>>> libsemigroups: Building testing/libsemigroups 2.7.3-r0 (using abuild 3.12.0-r2) started Mon, 22 Jan 2024 06:19:25 +0000 >>> libsemigroups: Checking sanity of /home/buildozer/aports/testing/libsemigroups/APKBUILD... >>> WARNING: libsemigroups: No maintainer >>> libsemigroups: Analyzing dependencies... >>> libsemigroups: Installing for build: build-base eigen-dev fmt-dev (1/4) Installing eigen-dev (3.4.0-r9) (2/4) Installing fmt (10.1.1-r0) (3/4) Installing fmt-dev (10.1.1-r0) (4/4) Installing .makedepends-libsemigroups (20240122.061926) OK: 356 MiB in 111 packages >>> libsemigroups: Cleaning up srcdir >>> libsemigroups: Cleaning up pkgdir >>> libsemigroups: Cleaning up tmpdir >>> libsemigroups: Fetching https://distfiles.alpinelinux.org/distfiles/edge//libsemigroups-2.7.3.tar.gz % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 0 146 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 curl: (22) The requested URL returned error: 404 >>> libsemigroups: Fetching https://github.com/libsemigroups/libsemigroups/releases/download/v2.7.3/libsemigroups-2.7.3.tar.gz % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 2484k 100 2484k 0 0 3508k 0 --:--:-- --:--:-- --:--:-- 3508k >>> libsemigroups: Fetching https://distfiles.alpinelinux.org/distfiles/edge//libsemigroups-2.7.3.tar.gz >>> libsemigroups: Checking sha512sums... libsemigroups-2.7.3.tar.gz: OK >>> libsemigroups: Unpacking /var/cache/distfiles/edge/libsemigroups-2.7.3.tar.gz... tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.xattr.com.apple.lastuseddate#PS' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' checking build system type... s390x-alpine-linux-musl checking host system type... s390x-alpine-linux-musl checking target system type... s390x-alpine-linux-musl checking for a BSD-compatible install... /usr/bin/install -c checking whether build environment is sane... yes checking for a race-free mkdir -p... ./config/install-sh -c -d checking for gawk... no checking for mawk... no checking for nawk... no checking for awk... awk checking whether make sets $(MAKE)... yes checking whether make supports nested variables... yes checking how to create a pax tar archive... gnutar checking whether make supports nested variables... (cached) yes checking whether make supports the include directive... yes (GNU style) checking for s390x-alpine-linux-musl-gcc... gcc checking whether the C compiler works... yes checking for C compiler default output file name... a.out checking for suffix of executables... checking whether we are cross compiling... no checking for suffix of object files... o checking whether the compiler supports GNU C... yes checking whether gcc accepts -g... yes checking for gcc option to enable C11 features... none needed checking whether gcc understands -c and -o together... yes checking dependency style of gcc... gcc3 checking for s390x-alpine-linux-musl-ar... no checking for s390x-alpine-linux-musl-lib... no checking for s390x-alpine-linux-musl-link... no checking for ar... ar checking the archiver (ar) interface... ar checking whether the compiler supports GNU C++... yes checking whether g++ accepts -g... yes checking for g++ option to enable C++11 features... none needed checking dependency style of g++... gcc3 checking whether g++ supports C++14 features by default... yes checking for a sed that does not truncate output... /bin/sed checking how to run the C preprocessor... gcc -E checking for grep that handles long lines and -e... /bin/grep checking for egrep... /bin/grep -E checking whether gcc is Clang... no checking whether pthreads work with "-pthread" and "-lpthread"... yes checking for joinable pthread attribute... PTHREAD_CREATE_JOINABLE checking whether more special flags are required for pthreads... no checking for PTHREAD_PRIO_INHERIT... yes checking for pthread_create in -lpthread... yes checking whether to enable maintainer-specific portions of Makefiles... no checking whether ln -s works... yes checking how to print strings... printf checking for a sed that does not truncate output... (cached) /bin/sed checking for fgrep... /bin/grep -F checking for ld used by gcc... /usr/s390x-alpine-linux-musl/bin/ld checking if the linker (/usr/s390x-alpine-linux-musl/bin/ld) is GNU ld... yes checking for BSD- or MS-compatible name lister (nm)... /usr/bin/nm -B checking the name lister (/usr/bin/nm -B) interface... BSD nm checking the maximum length of command line arguments... 98304 checking how to convert s390x-alpine-linux-musl file names to s390x-alpine-linux-musl format... func_convert_file_noop checking how to convert s390x-alpine-linux-musl file names to toolchain format... func_convert_file_noop checking for /usr/s390x-alpine-linux-musl/bin/ld option to reload object files... -r checking for s390x-alpine-linux-musl-file... no checking for file... file checking for s390x-alpine-linux-musl-objdump... no checking for objdump... objdump checking how to recognize dependent libraries... pass_all checking for s390x-alpine-linux-musl-dlltool... no checking for dlltool... no checking how to associate runtime and link libraries... printf %s\n checking for s390x-alpine-linux-musl-ar... ar checking for archiver @FILE support... @ checking for s390x-alpine-linux-musl-strip... no checking for strip... strip checking for s390x-alpine-linux-musl-ranlib... no checking for ranlib... ranlib checking command to parse /usr/bin/nm -B output from gcc object... ok checking for sysroot... no checking for a working dd... /bin/dd checking how to truncate binary pipes... /bin/dd bs=4096 count=1 checking for s390x-alpine-linux-musl-mt... no checking for mt... no checking if : is a manifest tool... no checking for stdio.h... yes checking for stdlib.h... yes checking for string.h... yes checking for inttypes.h... yes checking for stdint.h... yes checking for strings.h... yes checking for sys/stat.h... yes checking for sys/types.h... yes checking for unistd.h... yes checking for dlfcn.h... yes checking for objdir... .libs checking if gcc supports -fno-rtti -fno-exceptions... no checking for gcc option to produce PIC... -fPIC -DPIC checking if gcc PIC flag -fPIC -DPIC works... yes checking if gcc static flag -static works... yes checking if gcc supports -c -o file.o... yes checking if gcc supports -c -o file.o... (cached) yes checking whether the gcc linker (/usr/s390x-alpine-linux-musl/bin/ld -m elf64_s390) supports shared libraries... yes checking whether -lc should be explicitly linked in... no checking dynamic linker characteristics... GNU/Linux ld.so checking how to hardcode library paths into programs... immediate checking whether stripping libraries is possible... yes checking if libtool supports shared libraries... yes checking whether to build shared libraries... yes checking whether to build static libraries... yes checking how to run the C++ preprocessor... g++ -E checking for ld used by g++... /usr/s390x-alpine-linux-musl/bin/ld -m elf64_s390 checking if the linker (/usr/s390x-alpine-linux-musl/bin/ld -m elf64_s390) is GNU ld... yes checking whether the g++ linker (/usr/s390x-alpine-linux-musl/bin/ld -m elf64_s390) supports shared libraries... yes checking for g++ option to produce PIC... -fPIC -DPIC checking if g++ PIC flag -fPIC -DPIC works... yes checking if g++ static flag -static works... yes checking if g++ supports -c -o file.o... yes checking if g++ supports -c -o file.o... (cached) yes checking whether the g++ linker (/usr/s390x-alpine-linux-musl/bin/ld -m elf64_s390) supports shared libraries... yes checking dynamic linker characteristics... (cached) GNU/Linux ld.so checking how to hardcode library paths into programs... immediate checking for limits.h... yes checking for stdint.h... (cached) yes checking for stdlib.h... (cached) yes checking for sys/time.h... yes checking for unistd.h... (cached) yes checking for pthread.h... yes checking for _Bool... yes checking for stdbool.h that conforms to C99... yes checking for inline... inline checking for int64_t... yes checking for size_t... yes checking for uint64_t... yes checking for ptrdiff_t... yes checking size of void *... 8 checking for GNU libc compatible malloc... yes checking for gettimeofday... yes checking for memset... yes checking for pow... yes checking for sqrt... yes checking whether to enable debug mode... no checking whether to enable verbose mode... no checking whether enable compiler warnings... no checking whether to enable stats mode... yes checking whether to enable backward mode... yes checking for execinfo.h... no configure: WARNING: backward enabled but execinfo.h not found, disabling backward! checking whether to build with code coverage support... no checking whether to enable HPCombi... yes checking for ./extern/HPCombi/VERSION... yes checking the required version of HPCombi... 0.0.6 checking the version of HPCombi that's present... 0.0.6 checking whether C++ compiler accepts -mavx... no configure: WARNING: flag -mavx not supported, HPCombi is disabled checking for s390x-alpine-linux-musl-pkg-config... no checking for pkg-config... /usr/bin/pkg-config checking pkg-config is at least version 0.9.0... yes checking whether to enable fmt... yes checking whether to use external fmt... yes checking for fmt >= 8.1.1... yes checking whether to enable eigen... yes checking whether to use external eigen... yes checking for eigen3 >= 3.3.7... yes checking for __builtin_popcountl... yes checking for __builtin_clzll... yes checking whether to try and use __builtin_popcntl... yes checking whether to try and use __builtin_clzlll... yes checking that generated files are newer than configure... done configure: creating ./config.status config.status: creating Makefile config.status: creating libsemigroups.pc config.status: creating config/config.h config.status: executing depfiles commands config.status: executing include/libsemigroups/config.hpp commands config.status: creating include/libsemigroups/config.hpp - prefix LIBSEMIGROUPS for config/config.h defines config.status: executing libtool commands CXX src/libsemigroups_la-bipart.lo CXX src/libsemigroups_la-bmat8.lo CXX src/libsemigroups_la-cong-intf.lo CXX src/libsemigroups_la-cong-pair.lo CXX src/libsemigroups_la-cong.lo CXX src/libsemigroups_la-constants.lo CXX src/libsemigroups_la-coset.lo CXX src/libsemigroups_la-exception.lo CXX src/libsemigroups_la-felsch-tree.lo CXX src/libsemigroups_la-forest.lo CXX src/libsemigroups_la-fpsemi-examples.lo CXX src/libsemigroups_la-fpsemi-intf.lo CXX src/libsemigroups_la-fpsemi.lo CXX src/libsemigroups_la-freeband.lo CXX src/libsemigroups_la-froidure-pin-base.lo CXX src/libsemigroups_la-kambites.lo CXX src/libsemigroups_la-knuth-bendix.lo CXX src/libsemigroups_la-make-present.lo CXX src/libsemigroups_la-node-manager.lo CXX src/libsemigroups_la-obvinf.lo CXX src/libsemigroups_la-pbr.lo CXX src/libsemigroups_la-race.lo CXX src/libsemigroups_la-report.lo CXX src/libsemigroups_la-runner.lo CXX src/libsemigroups_la-siso.lo CXX src/libsemigroups_la-string.lo CXX src/libsemigroups_la-stephen.lo CXX src/libsemigroups_la-timer.lo CXX src/libsemigroups_la-todd-coxeter.lo CXX src/libsemigroups_la-ukkonen.lo CXX src/libsemigroups_la-wilo.lo CXX src/libsemigroups_la-wislo.lo CXX src/libsemigroups_la-word.lo CXXLD libsemigroups.la make test_all make[1]: Entering directory '/home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.3' CXX tests/bmat-data.o CXX tests/test-action.o CXX tests/test-bipart.o CXX tests/test-bitset.o CXX tests/test-bmat8.o CXX tests/test-cong-intf.o CXX tests/test-cong-pair.o CXX tests/test-cong.o CXX tests/test-constants.o CXX tests/test-containers.o CXX tests/test-digraph-helper.o CXX tests/test-digraph.o CXX tests/test-felsch-tree.o CXX tests/test-forest.o CXX tests/test-fpsemi.o CXX tests/test-fpsemi-examples-1.o CXX tests/test-fpsemi-examples-2.o CXX tests/test-fpsemi-examples-3.o CXX tests/test-fpsemi-intf.o CXX tests/test-freeband.o CXX tests/test-froidure-pin-bipart.o CXX tests/test-froidure-pin-bmat8.o CXX tests/test-froidure-pin-bmat.o CXX tests/test-froidure-pin-integers.o CXX tests/test-froidure-pin-intmat.o CXX tests/test-froidure-pin-intpairs.o CXX tests/test-froidure-pin-matrix.o CXX tests/test-froidure-pin-maxplustrunc.o CXX tests/test-froidure-pin-pbr.o CXX tests/test-froidure-pin-pperm.o CXX tests/test-froidure-pin-projmaxplus.o CXX tests/test-froidure-pin-transf.o CXX tests/test-hpcombi.o CXX tests/test-iterator.o CXX tests/test-kambites.o CXX tests/test-kbe.o CXX tests/test-knuth-bendix-1.o CXX tests/test-knuth-bendix-2.o CXX tests/test-knuth-bendix-3.o CXX tests/test-knuth-bendix-4.o CXX tests/test-knuth-bendix-5.o CXX tests/test-knuth-bendix-6.o CXX tests/test-konieczny-bmat8-1.o CXX tests/test-konieczny-bmat8-2.o CXX tests/test-konieczny-bmat8-3.o CXX tests/test-konieczny-transf.o CXX tests/test-konieczny-bmat.o CXX tests/test-konieczny-pperm.o CXX tests/test-main.o CXX tests/test-make-present.o CXX tests/test-make-froidure-pin.o CXX tests/test-matrix.o CXX tests/test-obvinf.o CXX tests/test-order.o CXX tests/test-pbr.o CXX tests/test-pool.o CXX tests/test-present.o CXX tests/test-race.o CXX tests/test-runner.o CXX tests/test-schreier-sims.o CXX tests/test-schreier-sims-helper.o CXX tests/test-sims1.o In file included from /usr/include/c++/13.2.1/algorithm:61, from tests/test-matrix.cpp:17: In function 'void std::__final_insertion_sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = libsemigroups::StaticRowView*; _Compare = __gnu_cxx::__ops::_Iter_comp_iter >():: >]', inlined from 'void std::__sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = libsemigroups::StaticRowView*; _Compare = __gnu_cxx::__ops::_Iter_comp_iter >():: >]' at /usr/include/c++/13.2.1/bits/stl_algo.h:1950:31, inlined from 'void std::sort(_RAIter, _RAIter, _Compare) [with _RAIter = libsemigroups::StaticRowView*; _Compare = libsemigroups::{anonymous}::test_BMat000 >()::]' at /usr/include/c++/13.2.1/bits/stl_algo.h:4894:18, inlined from 'void libsemigroups::{anonymous}::test_BMat000() [with Mat = libsemigroups::StaticMatrix]' at tests/test-matrix.cpp:166:18: /usr/include/c++/13.2.1/bits/stl_algo.h:1859:32: warning: array subscript 16 is outside array bounds of 'libsemigroups::detail::StaticVector1, 2> [1]' [-Warray-bounds=] 1859 | std::__insertion_sort(__first, __first + int(_S_threshold), __comp); | ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ tests/test-matrix.cpp: In function 'void libsemigroups::{anonymous}::test_BMat000() [with Mat = libsemigroups::StaticMatrix]': tests/test-matrix.cpp:160:14: note: at offset 128 into object 'r' of size 24 160 | auto r = matrix_helpers::rows(m); | ^ CXX tests/test-siso.o CXX tests/test-stephen.o CXX tests/test-string.o CXX tests/test-string-view.o CXX tests/test-timer.o CXX tests/test-todd-coxeter.o CXX tests/test-types.o CXX tests/test-uf.o CXX tests/test-ukkonen.o CXX tests/test-wilo.o CXX tests/test-wislo.o CXX tests/test-word.o CXXLD test_all make[1]: Leaving directory '/home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.3' ./test_all --use-colour yes --order lex --abort [quick] Filters: [quick] Action 001: row and column basis orbits for BMat8 . . . 41μs Action 002: row and column basis orbits for BMat8 . . . 1338μs Action 003: add generators after enumeration . . . 1352μs Action 004: multipliers for BMat8 row and column orbits . . . 2917μs Action 005: orbits for regular boolean mat monoid 5 . . . 214ms Action 007: partial perm image orbit . . . 227μs Action 008: partial perm image orbit . . . 47ms Action 009: partial perm image orbit . . . 57ms Action 010: partial perm image orbit . . . 55ms Action 011: permutation on integers . . . 11μs Action 012: permutation on sets, arrays . . . 106μs Action 013: permutation on tuples, arrays . . . 11ms Action 014: permutation on sets, vectors . . . 142μs Action 015: permutation on tuples, vectors . . . 14ms Action 016: misc . . . 1669μs Action 017: partial perm image orbit . . . 38μs Action 018: permutation on tuples, arrays (360360) . . . 146ms Action 019: orbits for regular BMat8 monoid 5 with stop/start . . . 239ms Action 021: orbits for regular boolean mat monoid 5 (BMat<5> [...] . . . 399ms ActionDigraph 000: constructor with 1 default arg . . . 20μs ActionDigraph 001: constructor with 0 default args . . . 33μs ActionDigraph 002: add nodes . . . 14μs ActionDigraph 003: add edges . . . 231μs ActionDigraph 004: strongly connected components - cycles . . . 28μs ActionDigraph 005: strongly connected components - no edges . . . 29ms ActionDigraph 006: strongly connected components - disjoint cycles . . . 1512μs ActionDigraph 007: strongly connected components - complete graphs . . . 654μs ActionDigraph 008: exceptions . . . 72μs ActionDigraph 009: spanning forest - complete graphs . . . 3942μs ActionDigraph 010: spanning forest - disjoint cycles . . . 146μs ActionDigraph 011: restrict . . . 6000ns ActionDigraph 012: remove_edge_nc . . . 4000ns ActionDigraph 013: scc large cycle . . . 15ms ActionDigraph 014: random . . . 20μs ActionDigraph 015: reserve . . . 5000ns ActionDigraph 016: default constructors . . . 9000ns ActionDigraph 017: scc iterators . . . 1100μs ActionDigraph 018: iterator to edges . . . 1028μs ActionDigraph 019: root of scc . . . 327μs ActionDigraph 020: cbegin/end_panislo - 100 node path . . . 738μs ActionDigraph 021: cbegin/end_pislo . . . 42μs ActionDigraph 022: cbegin/end_pani(s)lo - 100 node cycle . . . 838μs ActionDigraph 023: cbegin/cend_pilo - tree 14 nodes . . . 59μs ActionDigraph 024: cbegin/end_pstilo - Cayley digraph . . . 198ms ActionDigraph 025: cbegin_pstilo - Tsalakou . . . 440μs ActionDigraph 026: cbegin/end_pstislo - Cayley digraph . . . 186ms ActionDigraph 027: cbegin/end_pstislo - Cayley digraph . . . 167μs ActionDigraph 028: path iterators corner cases . . . 143μs ActionDigraph 029: reverse node iterator . . . 6000ns ActionDigraph 030: pstilo corner case . . . 44μs ActionDigraph 031: number_of_paths corner cases . . . 394μs ActionDigraph 032: number_of_paths acyclic digraph . . . 49ms ActionDigraph 033: number_of_paths binary tree . . . 374ms ActionDigraph 034: number_of_paths large binary tree . . . 100ms ActionDigraph 035: number_of_paths 400 node random digraph . . . 1092μs ActionDigraph 036: number_of_paths 10 node acyclic digraph . . . 30μs ActionDigraph 037: number_of_paths node digraph . . . 2813μs ActionDigraph 038: random/random_acyclic exceptions . . . 77μs ActionDigraph 039: unsafe (next) neighbour . . . 47μs ActionDigraph 040: number_of_egdes incident to a node . . . 52μs ActionDigraph 041: number_of_paths (matrix) . . . 19ms ActionDigraph 042: number_of_paths (matrix) . . . 6000ns ActionDigraph 043: swap_edge_nc . . . 4000ns ActionDigraph 044: detail::pow for non-square Eigen matrix . . . 10μs ActionDigraph 045: operator<< . . . 10μs Array2 044: all . . . 48μs BMat8 001: transpose . . . 20μs BMat8 002: multiplication . . . 12μs BMat8 003: identity matrix . . . 7000ns BMat8 004: random . . . 217μs BMat8 005: call operator . . . 10μs BMat8 006: operator<< . . . 10μs BMat8 007: set . . . 47μs BMat8 008: row space basis . . . 549μs BMat8 009: col space basis . . . 589μs BMat8 010: row space basis . . . 959μs BMat8 011: number_of_rows, number_of_cols . . . 30μs BMat8 012: row_space, col_space . . . 155μs BMat8 013: rows . . . 25μs BMat8 014: one . . . 5000ns BMat8 015: vector constructor . . . 50μs BMat8 016: operator< . . . 7000ns BMat8 017: adapters . . . 12μs BMat8 018: one . . . 5000ns Bipartition 009: mem fns 1 . . . 30μs Bipartition 010: hash . . . 3000ns Bipartition 011: mem fns 2 . . . 15μs Bipartition 012: delete/copy . . . 4000ns Bipartition 013: degree 0 . . . 5000ns Bipartition 014: exceptions . . . 24μs Bipartition 015: convenience constructor . . . 219μs Bipartition 016: force copy constructor over move constructor . . . 9000ns Bipartition 017: adapters . . . 3000ns BitSet 000: size . . . 12μs BitSet 001: operator< . . . 5000ns BitSet 002: operator== . . . 8000ns BitSet 003: operator!= . . . 8000ns BitSet 004: operator&= . . . 10μs BitSet 005: & . . . 14μs BitSet 006: operator|= . . . 19μs BitSet 007: operator[] . . . 13μs BitSet 008: set(none) . . . 14μs BitSet 009: set(pos, value) . . . 14μs BitSet 010: set(first, last, value) . . . 23μs BitSet 011: reset(first, last) . . . 15μs BitSet 012: reset(pos) . . . 16μs BitSet 013: apply (iterate through set bits) . . . 19μs BitSet 014: std::hash . . . 3000ns BitSet 015: constructors . . . 11μs BitSet 016: max_size . . . 3000ns BitSet 017: insertion operators . . . 5000ns Blocks 001: empty blocks . . . 6000ns Blocks 002: non-empty blocks . . . 6000ns Blocks 003: left blocks of bipartition . . . 7000ns Blocks 004: right blocks of bipartition . . . 7000ns Blocks 005: copy [empty blocks] . . . 5000ns Blocks 006: copy [non-empty blocks] . . . 7000ns Blocks 007: hash value . . . 5000ns Blocks 008: operator< . . . 5000ns Congruence 000: left congruence on fp semigroup . . . 170μs Congruence 001: 2-sided congruence on fp semigroup . . . 325μs Congruence 002: left congruence on fp semigroup . . . 151μs Congruence 003: word_to_class_index for cong. on fp semigroup . . . 124μs Congruence 004: word_to_class_index for cong. on fp semigroup . . . 266μs Congruence 005: trivial congruence on non-fp semigroup . . . 283μs Congruence 006: 2-sided congruence on non-fp semigroup . . . 230μs Congruence 007: 2-sided congruence on fp semigroup . . . 347μs Congruence 008: 2-sided congruence on infinite fp semigroup . . . 231μs Congruence 009: 2-sided congruence on infinite fp semigroup . . . 278μs Congruence 010: 2-sided congruence on finite semigroup . . . 25ms Congruence 012: 2-sided congruence on finite semigroup . . . 2642μs Congruence 013: trivial 2-sided congruence on bicyclic monoid . . . 39ms Congruence 014: non-trivial 2-sided congruence on bicyclic monoid . . . 231μs Congruence 015: 2-sided congruence on free abelian monoid . . . 274μs Congruence 016: example where TC works but KB doesn't . . . 390μs Congruence 017: 2-sided congruence on finite semigroup . . . 231μs Congruence 018: infinite fp semigroup from GAP library . . . 344μs Congruence 019: 2-sided cong. on fp semigroup with infinite [...] . . . 184μs Congruence 020: trivial cong. on an fp semigroup . . .  -- with compute size 181μs  -- with don't compute size 161μs Congruence 021: duplicate generators . . . 351μs Congruence 022: non-trivial classes . . . 929μs Congruence 023: right congruence on finite semigroup . . . 184ms Congruence 024: redundant generating pairs . . . 79μs Congruence 025: 2-sided cong. on free semigroup . . . 71μs Congruence 026: is_quotient_obviously_(in)finite . . . 738μs Congruence 027: less . . . 164μs Congruence 028: 2-sided congruences of BMat8 semigroup . . . 97ms Congruence 029: left congruence on finite semigroup . . . 1039μs Congruence 030: right congruence on finite semigroup . . . 363μs Congruence 031: right congruence on finite semigroup . . . 273μs Congruence 032: contains . . . 139μs Congruence 033: stellar_monoid S2 . . . 349μs Congruence 034: stellar_monoid S3 . . . 436μs Congruence 035: stellar_monoid S4 . . . 1093μs Congruence 036: stellar_monoid S5 . . . 5072μs Congruence 037: stellar_monoid S6 . . . 44ms Congruence 038: stellar_monoid S7 . . . 648ms Congruence 039: left cong. on an f.p. semigroup . . . 865μs Congruence 040: 2-sided cong. on infinite f.p. semigroup . . . 122μs Congruence 041: 2-sided congruence constructed from type only . . . 242μs Congruence 042: const_contains . . . 375μs Congruence 043: no winner . . . 4099μs Congruence 044: congruence over smalloverlap . . . 5174μs CongruenceByPairs 001: (cong) 2-sided cong. on finite semigroup . . . 267μs CongruenceByPairs 002: (cong) left congruence on finite semigroup . . . 109μs CongruenceByPairs 003: (cong) right congruence on finite semigroup . . . 107μs CongruenceByPairs 004: (cong) trivial congruence on finite s [...] . . . 106μs CongruenceByPairs 005: (cong) trivial left congruence on fin [...] . . . 73μs CongruenceByPairs 006: (cong) trivial right congruence on fi [...] . . . 72μs CongruenceByPairs 007: (cong) universal congruence on finite [...] . . . 310μs CongruenceByPairs 009: (cong) 2-sided congruence on finite s [...] . . . 369ms CongruenceByPairs 010: (cong) left congruence on big finite [...] . . . 21ms CongruenceByPairs 011: (cong) left congruence on TCE . . . 232μs CongruenceByPairs 012: (cong) is_quotient_obviously_finite . . . 75μs CongruenceByPairs 013: (cong) class_index_to_word/quotient . . .  -- with right congruence 4793μs  -- with left congruence 838μs  -- with 2-sided congruence 4322μs CongruenceByPairs 014: (cong) const_word_to_class_index . . .  -- with right congruence 18μs  -- with left congruence 15μs  -- with 2-sided congruence 14μs CongruenceByPairs 015: (cong) size non-Element* . . . 22ms CongruenceInterface 000: add_pair . . .  -- with ToddCoxeter 100μs  -- with KnuthBendix 168μs  -- with CongruenceByPairs 96μs  -- with Congruence 342μs CongruenceInterface 001: contains/const_contains . . .  -- with ToddCoxeter and no parent 80μs  -- with KnuthBendix and no parent 93μs  -- with Congruence and parent 223μs  -- with CongruenceByPairs and parent 72μs CongruenceInterface 002: less . . .  -- with ToddCoxeter 66μs  -- with KnuthBendix 119μs  -- with CongruenceByPairs 81μs  -- with Congruence 232μs CongruenceInterface 003: is_quotient_obviously_(in)finite . . .  -- with ToddCoxeter 59μs  -- with KnuthBendix 125μs CongruenceInterface 004: is_quotient_obviously_(in)finite . . .  -- with CongruenceByPairs 95μs  -- with Congruence 199μs CongruenceInterface 005: parent_froidure_pin . . .  -- with ToddCoxeter 21μs  -- with KnuthBendix 9000ns CongruenceInterface 006: parent_froidure_pin . . .  -- with CongruenceByPairs 83μs  -- with Congruence 205μs CongruenceInterface 007: cbegin/cend_ntc . . .  -- with ToddCoxeter 232μs  -- with KnuthBendix 1515μs CongruenceInterface 008: cbegin/cend_ntc . . .  -- with CongruenceByPairs 177μs  -- with Congruence 347μs CongruenceInterface 009: quotient is immutable . . .  -- with ToddCoxeter 60μs  -- with KnuthBendix 98μs  -- with Congruence 134μs CongruenceInterface 010: no generating pairs added . . .  -- with KnuthBendix and common behaviour 3691μs  -- with Congruence and common behaviour 3943μs  -- with ToddCoxeter 49μs CongruenceInterface 011: nr generators not set . . .  -- with ToddCoxeter 60μs  -- with KnuthBendix 49μs  -- with Congruence 58μs CongruenceInterface 012: no generating pairs . . . 137μs ConstIteratorStateless 001: ? . . . 4000ns ConstIteratorStateless 002: ? . . . 4000ns Constants 001: Undefined . . . 7000ns Constants 002: PositiveInfinity . . . 10μs Constants 003: NegativeInfinity . . . 8000ns Constants 004: LimitMax . . . 14μs Duf 004: unite . . . 30μs Duf 006: compress . . . 15μs Duf 008: resize . . . 17μs Duf 009: resize . . . 6000ns Duf 010: big chain . . . 13ms Duf 012: empty table . . . 4000ns Duf 014: join . . . 7000ns Duf 016: contains . . . 14μs Duf 018: swap . . . 14μs DynamicArray2 001: default constructor with 3 default args . . . 4000ns DynamicArray2 002: default constructor with 2 default args . . . 3000ns DynamicArray2 003: default constructor with 1 default args . . . 12μs DynamicArray2 004: default constructor with 0 default args . . . 4000ns DynamicArray2 005: copy constructor with 1 default args . . . 11μs DynamicArray2 006: copy constructor with 0 default args . . . 8000ns DynamicArray2 007: add_rows . . . 8000ns DynamicArray2 008: add_rows . . . 6000ns DynamicArray2 009: add_cols . . . 14μs DynamicArray2 010: set/get . . . 43μs DynamicArray2 011: append 1/2 . . . 101μs DynamicArray2 012: append 2/2 . . . 187μs DynamicArray2 013: count . . . 19μs DynamicArray2 014: clear . . . 4000ns DynamicArray2 015: begin_row and end_row . . . 41μs DynamicArray2 016: cbegin_row and cend_row . . . 14μs DynamicArray2 017: iterator operator++ (postfix) . . . 204μs DynamicArray2 018: iterator operator++ (prefix) . . . 1104μs DynamicArray2 019: iterator operator-- (postfix) . . . 220μs DynamicArray2 020: iterator operator-- (prefix) . . . 239μs DynamicArray2 021: operator= . . . 8000ns DynamicArray2 022: operator== and operator!= . . . 162μs DynamicArray2 023: empty and clear . . . 7000ns DynamicArray2 024: max_size . . . 3000ns DynamicArray2 025: swap . . . 37μs DynamicArray2 026: iterator arithmetic . . . 1028μs DynamicArray2 027: iterator comparison . . . 17μs DynamicArray2 028: iterator operator= . . . 4000ns DynamicArray2 029: iterator operator[] . . . 44μs DynamicArray2 030: iterator operator-> . . . 18μs DynamicArray2 031: const_iterator operator++/-- . . . 141μs DynamicArray2 032: const_iterator operator++/-- . . . 3000ns DynamicArray2 033: column iterators . . . 13μs DynamicArray2 034: column iterator arithmetic . . . 4223μs DynamicArray2 035: iterator assignment constructor . . . 981μs DynamicArray2 036: reserve method . . . 90μs DynamicArray2 037: erase column . . . 8000ns DynamicArray2 038: swap_rows . . . 6000ns DynamicArray2 039: apply_row_permutation . . . 5000ns DynamicArray2 040: swap . . . 5000ns DynamicArray2 041: shrink_rows_to . . . 9000ns DynamicArray2 042: shrink_rows_to - for range . . . 10μs FastestBMat 046: check no throw . . . 14μs FelschTree 000: previously failing example . . . 21μs Forest 001: test forest . . . 49μs FpSemigroup 001: Renner monoid type B2 (E. G. presentation), q = 1 . . . 591μs FpSemigroup 002: Renner monoid type B2 (E. G. presentation), q = 0 . . . 562μs FpSemigroup 003: Renner monoid type B3 (E. G. presentation), q = 1 . . . 90ms FpSemigroup 004: Renner monoid type B3 (E. G. presentation), q = 0 . . . 92ms FpSemigroup 005: Renner monoid type B2 (Gay-Hivert presentat [...] . . . 596μs FpSemigroup 006: Renner monoid type B2 (Gay-Hivert presentat [...] . . . 570μs FpSemigroup 007: Renner monoid type B3 (Gay-Hivert presentat [...] . . . 2376μs FpSemigroup 008: Renner monoid type B3 (Gay-Hivert presentat [...] . . . 2323μs FpSemigroup 009: Renner monoid type B4 (Gay-Hivert presentat [...] . . . 144ms FpSemigroup 010: Renner monoid type B4 (Gay-Hivert presentat [...] . . . 213ms FpSemigroup 013: Renner monoid type D2 (E. G. presentation), q = 1 . . . 763μs FpSemigroup 014: Renner monoid type D2 (E. G. presentation), q = 0 . . . 677μs FpSemigroup 015: Renner monoid type D3 (E. G. presentation), q = 1 . . . 3025μs FpSemigroup 016: Renner monoid type D3 (E. G. presentation), q = 0 . . . 3073μs FpSemigroup 017: Renner monoid type D4 (E. G. presentation), q = 1 . . . 975ms FpSemigroup 018: Renner monoid type D4 (E. G. presentation), q = 0 . . . 973ms FpSemigroup 019: Renner monoid type D2 (Gay-Hivert presentat [...] . . . 825μs FpSemigroup 020: Renner monoid type D2 (Gay-Hivert presentat [...] . . . 764μs FpSemigroup 021: Renner monoid type D3 (Gay-Hivert presentat [...] . . . 3118μs FpSemigroup 022: Renner monoid type D3 (Gay-Hivert presentat [...] . . . 3103μs FpSemigroup 023: Renner monoid type D4 (Gay-Hivert presentat [...] . . . 57ms FpSemigroup 024: Renner monoid type D4 (Gay-Hivert presentat [...] . . . 64ms FpSemigroup 029: Rook monoid R5, q = 0 . . . 3639μs FpSemigroup 030: Rook monoid R5, q = 1 . . . 3598μs FpSemigroup 031: Rook monoid R6, q = 0 . . . 28ms FpSemigroup 032: Rook monoid R6, q = 1 . . . 28ms FpSemigroup 033: normal_form . . . 124μs FpSemigroup 034: for a finite semigroup . . . 363μs FpSemigroup 035: finite fp semigroup, dihedral group of order 6 . . . 282μs FpSemigroup 036: finite fp semigroup, size 16 . . . 408μs FpSemigroup 037: finite fp semigroup, size 16 . . . 666μs FpSemigroup 038: fp semigroup, size 240 . . . 524μs FpSemigroup 039: add_rule . . . 107μs FpSemigroup 040: add_rule . . . 110μs FpSemigroup 041: equal_to . . . 144μs FpSemigroup 042: cbegin/cend_rules . . . 36μs FpSemigroup 043: semigroup of size 3 . . . 238μs FpSemigroup 044: run_for/until . . . 2484μs FpSemigroup 045: constructors . . . 124μs FpSemigroup 046: set_inverses . . . 104μs FpSemigroup 047: smalloverlap . . . 5137μs FpSemigroup 048: quaternion group Q8 . . . 259μs FpSemigroup 049: symmetric group Coxeter presentation . . . 29ms FpSemigroupByPairs 029: (fpsemi) 2-sided congruence on finit [...] . . . 336μs FpSemigroupByPairs 030: (fpsemi) 2-sided congruence on finit [...] . . . 329μs FpSemigroupInterface 000: run with no alphabet . . .  -- with ToddCoxeter 56μs  -- with KnuthBendix 11μs  -- with FpSemigroup 23μs FpSemigroupInterface 001: equal_to . . .  -- with ToddCoxeter and human readable alphabet 961μs  -- with KnuthBendix and human readable alphabet 2771μs  -- with FpSemigroup and human readable alphabet 1916μs  -- with FpSemigroupByPairs 1389μs FpSemigroupInterface 002: normal_form . . .  -- with ToddCoxeter 91μs  -- with KnuthBendix 131μs  -- with FpSemigroup 206μs FpSemigroupInterface 003: set_alphabet (1/2) . . .  -- with ToddCoxeter 52μs  -- with KnuthBendix 33μs  -- with FpSemigroup 44μs FpSemigroupInterface 004: set_alphabet (2/2) . . . 582μs FpSemigroupInterface 005: add_rule after finished . . .  -- with ToddCoxeter and human readable alphabet 80μs  -- with KnuthBendix and human readable alphabet 111μs  -- with FpSemigroup and human readable alphabet 167μs  -- with FpSemigroupByPairs 577μs FpSemigroupInterface 006: add_rule with equal words (1/2) . . .  -- with ToddCoxeter and human readable alphabet 121μs  -- with KnuthBendix and human readable alphabet 200μs  -- with FpSemigroup and human readable alphabet 247μs  -- with FpSemigroupByPairs 117μs FpSemigroupInterface 007: add_rule with equal words (2/2) . . .  -- with ToddCoxeter 17μs  -- with KnuthBendix 7000ns  -- with FpSemigroup 17μs FpSemigroupInterface 008: add_rule with word_type . . .  -- with ToddCoxeter 31μs  -- with KnuthBendix 17μs  -- with FpSemigroup 50μs FpSemigroupInterface 009: add_rule with empty word (1/2) . . .  -- with ToddCoxeter 21μs  -- with FpSemigroup 30μs FpSemigroupInterface 010: add_rule with empty word (1/2) . . . 5000ns FpSemigroupInterface 011: add_rules (1/3) . . .  -- with ToddCoxeter 32μs  -- with KnuthBendix 13μs  -- with FpSemigroup 30μs FpSemigroupInterface 012: add_rules (2/3) . . . 255μs FpSemigroupInterface 013: add_rules (3/3) . . .  -- with ToddCoxeter 25μs  -- with KnuthBendix 16μs  -- with FpSemigroup 45μs FpSemigroupInterface 014: set_identity (1/3) . . .  -- with ToddCoxeter 61μs  -- with KnuthBendix 57μs  -- with FpSemigroup 86μs FpSemigroupInterface 015: set_identity (2/3) . . . 154μs FpSemigroupInterface 016: set_identity (3/3) . . .  -- with ToddCoxeter 42μs  -- with KnuthBendix 39μs  -- with FpSemigroup 69μs FpSemigroupInterface 017: identity . . .  -- with ToddCoxeter 18μs  -- with KnuthBendix 9000ns  -- with FpSemigroup 25μs FpSemigroupInterface 018: set_inverses + inverses (1/2) . . .  -- with ToddCoxeter 78μs  -- with KnuthBendix 68μs  -- with FpSemigroup 111μs FpSemigroupInterface 019: set_inverses + inverses (2/2) . . . 176μs FpSemigroupInterface 020: is_obviously_infinite (1/2) . . .  -- with ToddCoxeter 83μs  -- with KnuthBendix 127μs  -- with FpSemigroup 179μs FpSemigroupInterface 021: is_obviously_infinite (2/2) . . . 21μs FpSemigroupInterface 022: is_obviously_finite (1/2) . . .  -- with ToddCoxeter 76μs  -- with KnuthBendix 120μs  -- with FpSemigroup 167μs FpSemigroupInterface 023: is_obviously_finite (2/2) . . . 11μs FpSemigroupInterface 024: to_gap_string (1/3) . . .  -- with ToddCoxeter 25μs  -- with KnuthBendix 9000ns  -- with FpSemigroup 46μs FpSemigroupInterface 025: to_gap_string (2/3) . . . 6000ns FpSemigroupInterface 026: to_gap_string (3/3) . . . 10μs FroidurePin 015: (BMat8) regular boolean mat monoid 4 . . . 62ms FroidurePin 016: (BMat8) exception zero generators given . . . 5000ns FroidurePin 017: (BMat8) exception word_to_element . . . 36μs FroidurePin 018: (BMat8) exception prefix . . . 846μs FroidurePin 019: (BMat8) exception suffix . . . 8000ns FroidurePin 020: (BMat8) exception first_letter . . . 1485μs FroidurePin 021: (BMat8) exception final_letter . . . 8000ns FroidurePin 022: (BMat8) exception current_length . . . 848μs FroidurePin 023: (BMat8) exception product_by_reduction . . . 1509μs FroidurePin 024: (BMat8) exception fast_product . . . 905μs FroidurePin 025: (BMat8) exception is_idempotent . . . 31ms FroidurePin 026: (BMat8) copy constructor . . .  -- with fully enumerated 34ms  -- with partially enumerated 28ms  -- with not enumerated 24ms FroidurePin 027: (BMat8) cbegin/end_rules . . . 32μs FroidurePin 031: (integers) . . . 141μs FroidurePin 039: (pairs of integers) non-trivial user type . . . 25μs FroidurePin 055: (tropical max-plus semiring matrices) . . . 224μs FroidurePin 061: projective max plus matrix . . . 698μs FroidurePin 062: projective max plus matrix . . . 17μs FroidurePin> 009: small example 2 . . . 42μs FroidurePin> 005: small example 1 . . . 93μs FroidurePin> 007: regular bmat monoid 4 . . . 61ms FroidurePin> 011: small example 3 . . . 528μs FroidurePin> 006: small example 1 . . . 108μs FroidurePin> 008: regular bmat monoid 4 . . . 61ms FroidurePin> 010: small example 2 . . . 30μs FroidurePin> 012: small example 3 . . . 616μs FroidurePin 000: small example 1 . . . 140μs FroidurePin 001: default constructed . . . 68μs FroidurePin 002: small example 2 . . . 38μs FroidurePin 004: exception: is_idempotent . . . 117μs FroidurePin> 033: Example 000 . . . 510μs FroidurePin> 035: Example 001 . . . 25μs FroidurePin> 032: Example 000 . . . 370μs FroidurePin> 034: Example 001 . . . 20μs FroidurePin 036: exception: current_position . . . 88μs FroidurePin 037: exception: word_to_element . . . 53μs FroidurePin 038: exception: prefix, suffix, first_letter . . . 12ms FroidurePin> 040: Example 000 . . . 89μs FroidurePin> 041: Example 000 . . . 52μs FroidurePin> 046: Example 005 . . . 120μs FroidurePin> 047: Example 005 . . . 137μs FroidurePin> 048: Example 005 . . . 123μs FroidurePin> 044: Example 004 . . . 18μs FroidurePin> 045: Example 004 . . . 27μs FroidurePin> 049: Example 006 . . . 739μs FroidurePin> 050: Example 006 . . . 878μs FroidurePin> 051: Example 006 . . . 875μs FroidurePin> 052: Example 007 . . . 120μs FroidurePin> 053: Example 007 . . . 128μs FroidurePin> 054: Example 007 . . . 124μs FroidurePin 056: example 1 . . . 157μs FroidurePin 057: example 2 . . . 120μs FroidurePin> 058: . . . 499μs FroidurePin> 059: . . . 41μs FroidurePin> 060: exceptions: add_generator(s) . . . 29μs FroidurePin> 065: no exception zero generators given . . . 15μs FroidurePin> 066: exception generators of different [...] . . . 53μs FroidurePin> 067: exception current_position . . . 34μs FroidurePin> 068: exception word_to_element . . . 32μs FroidurePin> 069: exception gens . . . 558μs FroidurePin> 070: exception prefix . . . 15ms FroidurePin> 071: exception suffix . . . 41ms FroidurePin> 072: exception first_letter . . . 31μs FroidurePin> 073: exception final_letter . . . 23μs FroidurePin> 074: exception current_length . . . 22μs FroidurePin> 075: exception product_by_reduction . . . 236μs FroidurePin> 076: exception fast_product . . . 596μs FroidurePin> 077: exception current_position . . . 614μs FroidurePin> 078: exception is_idempotent . . . 459μs FroidurePin> 079: exception add_generators . . . 19μs FroidurePin> 080: multithread number_of_idempotents . . . 445μs FroidurePin> 081: small semigroup . . . 17μs FroidurePin> 082: large semigroup . . . 5654μs FroidurePin> 083: at, position, current_* . . . 5760μs FroidurePin> 084: run . . . 4978μs FroidurePin> 085: run [many stops and starts] . . . 4969μs FroidurePin> 086: factorisation, length [1 element] . . . 5246μs FroidurePin> 087: factorisation, products [all elements] . . . 6660μs FroidurePin> 088: first/final letter, prefix, suffi [...] . . . 5313μs FroidurePin> 089: current_position [standard] . . . 13μs FroidurePin> 090: current_position [duplicate gens] . . . 11ms FroidurePin> 091: current_position [after add_generators] . . . 5797μs FroidurePin> 092: cbegin_idempotents/cend [1 thread] . . . 6195μs FroidurePin> 093: idempotent_cend/cbegin [1 thread] . . . 5908μs FroidurePin> 094: is_idempotent [1 thread] . . . 5508μs FroidurePin> 096: finished, started . . . 5418μs FroidurePin> 097: current_position . . . 1334μs FroidurePin> 098: sorted_position, sorted_at . . . 6971μs FroidurePin> 099: right/left Cayley graph . . . 24ms FroidurePin> 100: iterator . . . 7810μs FroidurePin> 101: reverse iterator . . . 7708μs FroidurePin> 102: iterator arithmetic . . . 23ms FroidurePin> 103: iterator sorted . . . 17ms FroidurePin> 104: iterator sorted arithmetic . . . 25ms FroidurePin> 105: copy [not enumerated] . . . 5447μs FroidurePin> 106: copy_closure [not enumerated] . . . 35ms FroidurePin> 107: copy_add_generators [not enumerated] . . . 30ms FroidurePin> 108: copy [partly enumerated] . . . 6149μs FroidurePin> 109: copy_closure [partly enumerated] . . . 9584μs FroidurePin> 110: copy_add_generators [partly enumerated] . . . 6559μs FroidurePin> 111: copy [fully enumerated] . . . 8201μs FroidurePin> 112: copy_closure [fully enumerated] . . . 9577μs FroidurePin> 113: copy_add_generators [fully enumerated] . . . 8347μs FroidurePin> 114: relations [duplicate gens] . . . 156μs FroidurePin> 115: relations . . . 7203μs FroidurePin> 116: relations [copy_closure, duplicat [...] . . . 9840μs FroidurePin> 117: relations [copy_add_generators, d [...] . . . 11ms FroidurePin> 118: relations [from copy, not enumerated] . . . 6327μs FroidurePin> 119: relations [from copy, partly enum [...] . . . 11ms FroidurePin> 120: relations [from copy, fully enumerated] . . . 11ms FroidurePin> 121: relations [from copy_closure, not [...] . . . 10ms FroidurePin> 122: relations [from copy_add_generato [...] . . . 6423μs FroidurePin> 123: relations [from copy_closure, par [...] . . . 9736μs FroidurePin> 124: relations [from copy_add_generato [...] . . . 7705μs FroidurePin> 125: relations [from copy_closure, ful [...] . . . 11ms FroidurePin> 126: relations [from copy_add_generato [...] . . . 10ms FroidurePin> 127: add_generators [duplicate generators] . . . 281μs FroidurePin> 128: add_generators [incremental 1] . . . 310μs FroidurePin> 129: add_generators [incremental 2] . . . 358μs FroidurePin> 130: closure [duplicate generators] . . . 164μs FroidurePin> 131: closure . . . 61μs FroidurePin> 132: factorisation . . . 11μs FroidurePin> 134: minimal_factorisation . . . 68μs FroidurePin> 135: batch_size (for an extremely larg [...] . . . 9000ns FroidurePin> 137: exception: generators of differen [...] . . . 15μs FroidurePin> 138: exception: current_position . . . 29μs FroidurePin> 139: exception: word_to_element . . . 25μs FroidurePin> 140: exception: gens, current_position . . . 680μs FroidurePin> 141: exception: add_generators . . . 24μs KBE 000: constructors . . . 39μs KBE 001: test . . . 60μs KBE 002: factorisation . . . 34μs KBE 003: swap . . . 17μs KBE 004: adapters . . . 17μs KBE 005: conversions . . . 16μs Kambites 000: (fpsemi) MT test 4 (std::string) . . . 4932μs Kambites 001: (fpsemi) MT test 4 (MultiStringView) . . . 5898μs Kambites 002: (fpsemi) number_of_pieces (std::string) . . . 93μs Kambites 003: (fpsemi) number_of_pieces (MultiStringView) . . . 84μs Kambites 004: (fpsemi) small_overlap_class (std::string) . . . 3312μs Kambites 005: (fpsemi) small_overlap_class (MultiStringView) . . . 3374μs Kambites 006: (fpsemi) random (std::string) . . . 7945μs Kambites 007: (fpsemi) random (MultiStringView) . . . 8055μs Kambites 008: (fpsemi) KnuthBendix 055 (std::string) . . . 12ms Kambites 009: (fpsemi) KnuthBendix 055 (MultiStringView) . . . 14ms Kambites 010: (fpsemi) smalloverlap/gap/test.gi:85 (std::string) . . . 50μs Kambites 011: (fpsemi) smalloverlap/gap/test.gi:85 (MultiStr [...] . . . 42μs Kambites 012: (fpsemi) free semigroup . . . 5000ns Kambites 013: (fpsemi) smalloverlap/gap/test.gi:49 (std::string) . . . 26ms Kambites 014: (fpsemi) smalloverlap/gap/test.gi:49 (MultiStr [...] . . . 36ms Kambites 015: (fpsemi) smalloverlap/gap/test.gi:63 (std::string) . . . 26ms Kambites 016: (fpsemi) smalloverlap/gap/test.gi:63 (MultiStr [...] . . . 39ms Kambites 017: (fpsemi) smalloverlap/gap/test.gi:70 (std::string) . . . 96ms Kambites 018: (fpsemi) smalloverlap/gap/test.gi:70 (MultiStr [...] . . . 150ms Kambites 021: (fpsemi) code coverage (std::string) . . . 39μs Kambites 022: (fpsemi) code coverage (MultiStringView) . . . 18μs Kambites 023: (fpsemi) prefix (std::string) . . . 47μs Kambites 024: (fpsemi) prefix (MultiStringView) . . . 80μs Kambites 025: (fpsemi) normal_form (Example 3.15) (std::string) . . . 47μs Kambites 026: (fpsemi) normal_form (Example 3.15) (MultiStri [...] . . . 75μs Kambites 027: (fpsemi) normal_form (Example 3.16) (std::string) . . . 33μs Kambites 028: (fpsemi) normal_form (Example 3.16) (MultiStri [...] . . . 54μs Kambites 029: (fpsemi) normal_form (Example 3.16) more exhau [...] . . . 49ms Kambites 030: (fpsemi) normal_form (Example 3.16) more exhau [...] . . . 59ms Kambites 031: (fpsemi) small presentation (std::string) . . . 69μs Kambites 032: (fpsemi) small presentation (MultiStringView) . . . 28μs Kambites 033: (fpsemi) non-smalloverlap (std::string) . . . 72μs Kambites 034: (fpsemi) non-smalloverlap (MultiStringView) . . . 46μs Kambites 035: (fpsemi) MT test 3 (std::string) . . . 46μs Kambites 036: (fpsemi) MT test 3 (MultiStringView) . . . 40μs Kambites 037: (fpsemi) MT test 5 (std::string) . . . 17μs Kambites 038: (fpsemi) MT test 5 (MultiStringView) . . . 18μs Kambites 039: (fpsemi) MT test 6 (std::string) . . . 25μs Kambites 040: (fpsemi) MT test 6 (MultiStringView) . . . 34μs Kambites 041: (fpsemi) MT test 10 (std::string) . . . 21μs Kambites 042: (fpsemi) MT test 10 (MultiStringView) . . . 30μs Kambites 043: (fpsemi) MT test 13 (std::string) . . . 16μs Kambites 044: (fpsemi) MT test 13 (MultiStringView) . . . 18μs Kambites 045: (fpsemi) MT test 14 (std::string) . . . 15μs Kambites 046: (fpsemi) MT test 14 (MultiStringView) . . . 17μs Kambites 047: (fpsemi) MT test 15 (std::string) . . . 23μs Kambites 048: (fpsemi) MT test 15 (MultiStringView) . . . 24μs Kambites 049: (fpsemi) MT test 16 (std::string) . . . 24μs Kambites 050: (fpsemi) MT test 16 (MultiStringView) . . . 27μs Kambites 051: (fpsemi) MT test 17 (std::string) . . . 86μs Kambites 052: (fpsemi) MT test 17 (MultiStringView) . . . 84μs Kambites 053: (fpsemi) weak C(4) not strong x 1 (std::string) . . . 327μs Kambites 054: (fpsemi) weak C(4) not strong x 1 (MultiStringView) . . . 528μs Kambites 055: (fpsemi) weak C(4) not strong x 2 (std::string) . . . 325μs Kambites 056: (fpsemi) weak C(4) not strong x 2 (MultiStringView) . . . 528μs Kambites 057: (fpsemi) weak C(4) not strong x 3 (std::string) . . . 305μs Kambites 058: (fpsemi) weak C(4) not strong x 3 (MultiStringView) . . . 298μs Kambites 059: (fpsemi) weak C(4) not strong x 4 (std::string) . . . 40μs Kambites 060: (fpsemi) weak C(4) not strong x 4 (MultiStringView) . . . 68μs Kambites 061: (fpsemi) weak C(4) not strong x 5 (std::string) . . . 14μs Kambites 062: (fpsemi) weak C(4) not strong x 5 (MultiStringView) . . . 11μs Kambites 063: (fpsemi) weak C(4) not strong x 6 (std::string) . . . 21μs Kambites 064: (fpsemi) weak C(4) not strong x 6 (MultiStringView) . . . 25μs Kambites 065: (fpsemi) Konovalov example (std::string) . . . 13μs Kambites 066: (fpsemi) Konovalov example (MultiStringView) . . . 11μs Kambites 067: (fpsemi) long words (std::string) . . . 1513ms Kambites 068: (fpsemi) long words (MultiStringView) . . . 42ms Kambites 075: (cong) example 1 . . . 48μs Kambites 076: (cong) example 2 . . . 152μs Kambites 077: (cong) code coverage . . . 5440μs Kambites 078: (cong) large number of rules . . . 193ms KnuthBendix 000: (fpsemi) confluent fp semigroup 1 (infinite) . . . 127μs KnuthBendix 001: (fpsemi) confluent fp semigroup 2 (infinite) . . . 83μs KnuthBendix 002: (fpsemi) confluent fp semigroup 3 (infinite) . . . 61μs KnuthBendix 003: (fpsemi) non-confluent fp semigroup from wi [...] . . . 128μs KnuthBendix 004: (fpsemi) Example 5.1 in Sims (infinite) . . . 99μs KnuthBendix 005: (fpsemi) Example 5.1 in Sims (infinite) . . . 88μs KnuthBendix 006: (fpsemi) Example 5.3 in Sims . . . 107μs KnuthBendix 007: (fpsemi) Example 5.4 in Sims . . . 121μs KnuthBendix 008: (fpsemi) Example 6.4 in Sims (size 168) . . . 11ms KnuthBendix 009: (fpsemi) . . . 60ms KnuthBendix 010: (fpsemi) SL(2, 7) from Chapter 3, Propositi [...] . . . 116ms KnuthBendix 011: (fpsemi) F(2, 5) - Chapter 9, Section 1 in [...] . . . 385μs KnuthBendix 012: (fpsemi) Reinis example 1 . . . 247μs KnuthBendix 013: redundant_rule (std::string) . . . 100ms KnuthBendix 014: redundant_rule (word_type) . . . 10ms KnuthBendix 019: (fpsemi) C(4) monoid . . . 23μs KnuthBendix 020: (cong) Chinese monoid . . . 128μs KnuthBendix 021: (from kbmag/standalone/kb_data/f25monoid) . . . 437μs KnuthBendix 022: (from kbmag/standalone/kb_data/degen4a) . . . 45ms KnuthBendix 023: (from kbmag/standalone/kb_data/torus) . . . 2595μs KnuthBendix 024: (from kbmag/standalone/kb_data/3a6) . . . 332ms KnuthBendix 025: (from kbmag/standalone/kb_data/f2) . . . 66μs KnuthBendix 026: (from kbmag/standalone/kb_data/s16) . . . 96ms KnuthBendix 027: (from kbmag/standalone/kb_data/a4monoid) . . . 49μs KnuthBendix 028: (from kbmag/standalone/kb_data/degen3) . . . 12μs KnuthBendix 029: (from kbmag/standalone/kb_data/ab1) . . . 22μs KnuthBendix 030: (from kbmag/standalone/kb_data/degen2) . . . 7000ns KnuthBendix 031: (from kbmag/standalone/kb_data/f25) . . . 386μs KnuthBendix 032: (from kbmag/standalone/kb_data/237) . . . 560μs KnuthBendix 033: (from kbmag/standalone/kb_data/c2) . . . 7000ns KnuthBendix 034: (from kbmag/standalone/kb_data/cosets) . . . 216μs KnuthBendix 035: Example 5.1 in Sims (KnuthBendix 09 again) . . . 43μs KnuthBendix 036: (from kbmag/standalone/kb_data/nilp2) . . . 27μs KnuthBendix 037: Example 6.4 in Sims . . . 20ms KnuthBendix 038: KnuthBendix 071 again . . . 675μs KnuthBendix 039: Example 5.4 in Sims (KnuthBendix 11 again) [...] . . . 204μs KnuthBendix 040: Example 5.4 in Sims (KnuthBendix 11 again) [...] . . . 117μs KnuthBendix 041: operator<< . . . 54μs KnuthBendix 042: confluence_interval . . . 8000ns KnuthBendix 043: max_overlap . . . 7000ns KnuthBendix 044: (fpsemi) (from kbmag/standalone/kb_data/d22 [...] . . . 1191μs KnuthBendix 045: (fpsemi) (from kbmag/standalone/kb_data/d22 [...] . . . 2249μs KnuthBendix 046: (fpsemi) small example . . . 1039μs KnuthBendix 047: code coverage . . . 63μs KnuthBendix 048: small overlap 1 . . . 50μs KnuthBendix 049: (from kbmag/standalone/kb_data/s9) . . . 1836μs KnuthBendix 050: (fpsemi) Chapter 11, Lemma 1.8 (q = 6, r = [...] . . . 606μs KnuthBendix 051: (fpsemi) Chapter 11, Section 2 (q = 6, r = [...] . . . 134μs KnuthBendix 052: (fpsemi) Chapter 8, Theorem 4.2 in NR (infinite) . . . 281μs KnuthBendix 053: (fpsemi) equal_to fp semigroup . . . 39μs KnuthBendix 054: (fpsemi) equal_to free semigroup . . . 37μs KnuthBendix 055: (fpsemi) from GAP smalloverlap gap/test.gi [...] . . . 352μs KnuthBendix 056: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 541μs KnuthBendix 057: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 515μs KnuthBendix 058: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 1403μs KnuthBendix 059: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 3293μs KnuthBendix 060: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 31μs KnuthBendix 061: (fpsemi) Von Dyck (2,3,7) group (infinite) . . . 515μs KnuthBendix 062: (fpsemi) Von Dyck (2,3,7) group - different [...] . . . 6150μs KnuthBendix 063: (fpsemi) rewriting system from KnuthBendixC [...] . . . 332μs KnuthBendix 064: (fpsemi) rewriting system from Congruence 20 . . . 24μs KnuthBendix 065: (fpsemi) (from kbmag/standalone/kb_data/ab2) . . . 69μs KnuthBendix 066: (fpsemi) (from kbmag/standalone/kb_data/d22 [...] . . . 1233μs KnuthBendix 067: (fpsemi) (from kbmag/standalone/kb_data/degen1) . . . 31μs KnuthBendix 068: (fpsemi) (from kbmag/standalone/kb_data/s4) . . . 336μs KnuthBendix 069: (fpsemi) fp semigroup (infinite) . . . 41μs KnuthBendix 070: (fpsemi) Chapter 11, Section 1 (q = 4, r = [...] . . . 2499μs KnuthBendix 071: (fpsemi) Chapter 11, Section 1 (q = 8, r = [...] . . . 164ms KnuthBendix 072: (fpsemi) Chapter 7, Theorem 3.9 in NR (size 240) . . . 5192μs KnuthBendix 073: (fpsemi) F(2, 5) - Chapter 9, Section 1 in [...] . . . 394μs KnuthBendix 074: (fpsemi) F(2, 6) - Chapter 9, Section 1 in NR . . . 388μs KnuthBendix 075: (fpsemi) Chapter 10, Section 4 in NR (infinite) . . . 898μs KnuthBendix 076: (fpsemi) Sym(5) from Chapter 3, Proposition [...] . . . 4231μs KnuthBendix 077: (fpsemi) SL(2, 7) from Chapter 3, Propositi [...] . . . 113ms KnuthBendix 078: (fpsemi) bicyclic monoid (infinite) . . . 53μs KnuthBendix 079: (fpsemi) plactic monoid of degree 2 (infinite) . . . 54μs KnuthBendix 080: (fpsemi) example before Chapter 7, Proposit [...] . . . 44μs KnuthBendix 081: (fpsemi) Chapter 7, Theorem 3.6 in NR (size 243) . . . 1068μs KnuthBendix 082: (fpsemi) finite semigroup (size 99) . . . 300μs KnuthBendix 096: Sorouhesh . . . 408μs KnuthBendix 097: (fpsemi) transformation semigroup (size 4) . . . 64μs KnuthBendix 098: (fpsemi) transformation semigroup (size 9) . . . 51μs KnuthBendix 099: (fpsemi) transformation semigroup (size 88) . . . 1062μs KnuthBendix 100: internal_string_to_word . . . 20μs KnuthBendix 101: (fpsemi) construct from shared_ptr . . . 1109μs KnuthBendix 102: internal_string_to_word . . . 1068μs KnuthBendix 103: (cong) free semigroup congruence (5 classes) . . . 63μs KnuthBendix 104: free semigroup congruence (6 classes) . . . 187μs KnuthBendix 105: (cong) free semigroup congruence (16 classes) . . . 285μs KnuthBendix 106: (cong) free semigroup congruence (6 classes) . . . 392μs KnuthBendix 107: (cong) free semigroup congruence (240 classes) . . . 4931μs KnuthBendix 108: (cong) free semigroup congruence (240 classes) . . . 4915μs KnuthBendix 109: (cong) less . . . 5751μs KnuthBendix 110: (cong) less . . . 278ms KnuthBendix 111: (cong) constructors . . . 403ms KnuthBendix 112: (cong) const_contains/contains . . . 214μs KnuthBendix 113: (cong) is_quotient_obviously_finite . . . 24μs KnuthBendix 114: (cong) class_index_to_word . . . 208μs KnuthBendix 115: (cong) quotient_froidure_pin . . . 149μs KnuthBendix 116: (cong) set_number_of_generators . . . 20μs KnuthBendix 117: (cong) number of classes when obv-inf . . . 43μs KnuthBendixCongruenceByPairs 016: non-trivial congruence on [...] . . . 163μs KnuthBendixCongruenceByPairs 017: non-trivial congruence on [...] . . . 145μs KnuthBendixCongruenceByPairs 018: non-trivial congruence on [...] . . . 186μs KnuthBendixCongruenceByPairs 019: non-trivial congruence on [...] . . . 187μs KnuthBendixCongruenceByPairs 020: trivial congruence on a fi [...] . . . 185μs KnuthBendixCongruenceByPairs 021: universal congruence on a [...] . . . 557μs KnuthBendixCongruenceByPairs 022: left congruence on a finit [...] . . . 248μs KnuthBendixCongruenceByPairs 023: finite group, Chapter 11, [...] . . . 6045μs KnuthBendixCongruenceByPairs 024: right congruence on infini [...] . . . 269μs KnuthBendixCongruenceByPairs 025: finite fp semigroup, dihed [...] . . . 241μs KnuthBendixCongruenceByPairs 026: finite fp semigroup, size 16 . . . 285μs KnuthBendixCongruenceByPairs 027: finite fp semigroup, size 16 . . . 1056μs KnuthBendixCongruenceByPairs 028: infinite fp semigroup with [...] . . . 61μs Konieczny 000: test000> . . . 971μs Konieczny 001: test000> . . . 695μs Konieczny 002: test001> . . . 9371μs Konieczny 003: test001> . . . 7618μs Konieczny 006: exceptions . . . 41μs Konieczny 007: code coverage . . . 12ms Konieczny 008: code coverage . . . 11ms Konieczny 009: regular elements and idempotents . . . 126ms Konieczny 010: regular D-class 01 . . . 767μs Konieczny 011: regular D-class 02 . . . 5754μs Konieczny 012: regular D-class 04: contains . . . 21ms Konieczny 013: non-regular D-classes 01 . . . 745μs Konieczny 014: RegularDClass . . . 470μs Konieczny 015: full bmat monoid 4 . . . 26ms Konieczny 017: regular generated bmat monoid 4 idempotents . . . 41ms Konieczny 019: my favourite example . . . 64ms Konieczny 020: another large example . . . 11ms Konieczny 021: my favourite example transposed . . . 49ms Konieczny 024: exceptions . . . 817μs Konieczny 025: 0-parameter constructor . . . 13ms Konieczny 026: non-regular D-classes 02 . . . 7259μs Konieczny 028: partial perm . . . 111ms Konieczny 029: symmetric inverse monoid n = 8 . . . 19ms Konieczny 030: exceptions . . . 145ms Konieczny 031: transformations . . . 626μs Konieczny 032: transformations - JDM favourite example . . . 68ms Konieczny 033: transformations - large example . . . 190ms Konieczny 034: transformations - large example with stop . . . 187ms Konieczny 035: transformations - large example with run_until . . . 186ms Konieczny 036: transformations - large example with stop in Action . . . 189ms Konieczny 037: exceptions . . . 70μs Konieczny 038: transformations: contains . . . 425μs Konieczny 040: transformations - destructor coverage . . . 148ms Konieczny 041: current_number_D_classes . . . 152ms Konieczny 042: add_generator . . . 30μs Konieczny 043: add_generator . . . 13μs Matrix 000: BMat<2> . . . 143μs Matrix 001: BMat<> . . . 61μs Matrix 002: BMat<3> + BMat<> . . . 6000ns Matrix 003: BMat<2> + BMat<> . . . 8000ns Matrix 004: BMat<3> . . . 6000ns Matrix 005: BMat<> . . . 6000ns Matrix 006: BMat<3> row_basis . . . 33μs Matrix 007: BMat<> row_basis . . . 26μs Matrix 008: IntMat<3> . . . 8000ns Matrix 009: IntMat<> . . . 12μs Matrix 010: IntMat code cov . . . 4000ns Matrix 011: MaxPlusMat<3> . . . 7000ns Matrix 012: MaxPlusMat<> . . . 11μs Matrix 013: MaxPlusMat code cov . . . 2000ns Matrix 014: MinPlusMat<3> . . . 9000ns Matrix 015: MinPlusMat<> . . . 13μs Matrix 016: MinPlusMat code cov . . . 2000ns Matrix 017: MaxPlusTruncMat<5, 2> . . . 18μs Matrix 018: MaxPlusTruncMat<5> . . . 12μs Matrix 019: MaxPlusTruncMat<> . . . 25μs Matrix 020: MaxPlusTruncMat<5, 4> . . . 11μs Matrix 021: MaxPlusTruncMat<5> . . . 12μs Matrix 022: MaxPlusTruncMat<> . . . 11μs Matrix 023: MaxPlusTruncMat<33, 3> . . . 24μs Matrix 024: MaxPlusTruncMat<33> . . . 18μs Matrix 025: MaxPlusTruncMat<> . . . 19μs Matrix 026: MaxPlusMat code cov . . . 3000ns Matrix 027: MinPlusTruncMat<33, 3> . . . 16μs Matrix 028: MinPlusTruncMat<33> . . . 20μs Matrix 029: MinPlusTruncMat<> . . . 25μs Matrix 030: NTPMat<0, 3, 3, 3> . . . 10μs Matrix 031: NTPMat<0, 3> . . . 11μs Matrix 032: NTPMat<> . . . 20μs Matrix 033: NTPMat<0, 10, 4, 4> . . . 20μs Matrix 034: NTPMat<0, 10> . . . 12μs Matrix 035: NTPMat<> . . . 11μs Matrix 036: NTPMat<0, 10, 4, 4> . . . 12μs Matrix 037: NTPMat<0, 10> . . . 10μs Matrix 038: NTPMat<> . . . 10μs Matrix 039: NTPMat<33, 2, 3, 3> . . . 7000ns Matrix 040: NTPMat<33, 2> . . . 8000ns Matrix 041: NTPMat<> . . . 9000ns Matrix 042: ProjMaxPlusMat<3> . . . 56μs Matrix 043: ProjMaxPlusMat<> . . . 41μs Matrix 044: exceptions . . . 21μs Matrix 045: code coverage . . . 22μs MultiStringView 000: catch all . . . 49μs MultiStringView 001: is_prefix . . . 7000ns MultiStringView 002: erase . . . 9000ns MultiStringView 003: iterators . . . 4000ns MultiStringView 004: constructors (long) . . . 12μs MultiStringView 005: constructors (short) . . . 8000ns MultiStringView 006: copy assignment (short assigned to long) . . . 7000ns MultiStringView 007: copy assignment (short assigned to short) . . . 6000ns MultiStringView 008: move assignment (short assigned to long) . . . 6000ns MultiStringView 009: move assignment (short assigned to short) . . . 5000ns MultiStringView 010: code coverage . . . 17μs MultiStringView 011: pop_front . . . 28μs MultiStringView 012: append . . . 7000ns MultiStringView 013: operators . . . 11μs MultiStringView 014: maximum_common_suffix . . . 7000ns MultiStringView 015: deep tests . . . 3000ns ObviouslyInfinite 011: Multiple rule additions . . . 38μs ObviouslyInfinite 012: A power of the generator 'b' does not [...] . . . 4000ns ObviouslyInfinite 013: Preserves the number of occurrences o [...] . . . 4000ns ObviouslyInfinite 014: Less relations than generators . . . 4000ns ObviouslyInfinite 015: Relations preserve length . . . 5000ns ObviouslyInfinite 016: Matrix has non empty kernel . . . 5000ns ObviouslyInfinite 017: Free product of trivial semigroups . . . 4000ns ObviouslyInfinite 018: Another free product . . . 5000ns ObviouslyInfinite 019: Infinite but not obviously so . . . 5000ns ObviouslyInfinite 020: Finite semigroup . . . 6000ns PBR 001: universal product with convenience constructor . . . 35μs PBR 002: universal product . . . 9000ns PBR 003: product [bigger than previous] . . . 20μs PBR 004: hash . . . 3000ns PBR 005: delete/copy . . . 10μs PBR 006: exceptions . . . 100μs PBR 007: operators . . . 41μs PBR 008: to_string . . . 10μs PBR 009: identity . . . 24μs PBR 010: adapters . . . 5000ns Pool 000: initial . . . 20μs Pool 001: bmat . . . 15μs Pool 002: PoolGuard . . . 10μs Pool 003: transformation products . . . 6000ns Presentation 000: vectors of ints . . . 78μs Presentation 001: strings . . . 52μs Presentation 002: constructors (word_type) . . . 17μs Presentation 003: constructors (StaticVector1) . . . 38μs Presentation 004: constructors (std::string) . . . 22μs Presentation 005: alphabet + letters (word_type) . . . 87μs Presentation 006: alphabet + letters (std::string) . . . 25μs Presentation 007: contains_empty_word . . . 6000ns Presentation 008: validate_rules throws . . . 28μs Presentation 009: helpers add_rule(s) . . . 57μs Presentation 010: helpers add_rule(s) (std::string) . . . 15μs Presentation 011: helpers add_identity_rules (std::vector/St [...] . . . 23μs Presentation 012: helpers add_identity_rules (std::string) . . . 13μs Presentation 013: helpers add_inverse_rules (all) . . . 111μs Presentation 014: helpers add_inverse_rules (std::string) . . . 27μs Presentation 015: helpers remove_duplicate_rules . . . 46μs Presentation 016: helpers reduce_complements . . . 78μs Presentation 017: helpers sort_each_rule . . . 33μs Presentation 018: helpers sort_rules . . . 40μs Presentation 019: helpers longest_common_subword/replace_subword . . . 333μs Presentation 020: helpers redundant_rule . . . 10ms Presentation 021: helpers shortlex_compare_concat . . . 4000ns Presentation 022: helpers remove_trivial_rules . . . 39μs Presentation 023: helpers replace_subword (existing, replacement) . . . 33μs Presentation 024: helpers longest_rule . . . 66μs Presentation 025: helpers longest_rule_length . . . 56μs Presentation 026: helpers remove_redundant_generators . . . 64μs Presentation 027: helpers reverse . . . 10μs Presentation 028: in_alphabet . . . 14μs Presentation 029: replace_subword with empty word . . . 9000ns Presentation 030: helpers replace_word . . . 19μs Presentation 031: clear . . . 4000ns Presentation 032: letter . . . 20μs Presentation 033: normalize_alphabet . . . 6000ns Presentation 034: longest_common_subword issue . . . 282μs Presentation 035: helpers add_zero_rules (std::vector/Static [...] . . . 22μs Presentation 036: helpers add_zero_rules (std::string) . . . 12μs Presentation 037: make_semigroup . . . 39μs Presentation 038: greedy_reduce_length . . . 184μs Presentation 039: aaaaaaaab = aaaaaaaaab strong compression . . . 29μs Presentation 040: change_alphabet . . . 37μs Presentation 041: sort_rules bug . . . 162μs Presentation 042: first_unused_letter/letter . . . 97μs Presentation 043: case where strong compression doesn't work . . . 15μs Presentation 044: proof that . . . 24μs Presentation 045: decompression . . . 8000ns Race 001: run_for . . . 10ms Race 002: run_until . . . 10ms Race 003: exceptions . . . 10ms Race 004: iterators . . . 5000ns Race 005: find_runner . . . 5000ns Race 006: run_func . . . 25ms Race 007: run_func . . . 10ms Race 008: run_func . . . 10ms Runner 000: run_for . . . 10ms Runner 001: run_for . . . 1003μs Runner 002: run_for . . . 191ms Runner 003: run_for . . . 25ms Runner 004: started . . . 1007μs Runner 005: run_until . . . 2390μs Runner 006: kill . . . 4000ns Runner 007: copy constructor . . . 10ms Runner 008: report . . . 20ms Runner 009: run_until with function pointer . . . 5000ns SchreierSims 001: trivial perm. group (degree 1) . . . 28μs SchreierSims 002: trivial perm. group (degree 2) . . . 13μs SchreierSims 003: trivial perm. group (degree 500) . . . 235μs SchreierSims 004: symmetric perm. group (degree 5) . . . 29μs SchreierSims 005: symmetric perm. group (degree 8) . . . 26μs SchreierSims 006: symmetric perm. group (degree 9) . . . 45μs SchreierSims 007: alternating perm. group (degree 12) . . . 78μs SchreierSims 008: symmetric perm. group (degree 16) . . . 460μs SchreierSims 009: alternating perm. group (degree 15) . . . 247μs SchreierSims 010: alternating perm. group (degree 16) . . . 518μs SchreierSims 011: dihedral perm. group (order 10) . . . 12μs SchreierSims 012: dihedral perm. group (order 200) . . . 1026μs SchreierSims 013: perm. group T (order 12) . . . 6000ns SchreierSims 014: quaternion perm. group (order 8) . . . 9000ns SchreierSims 015: perm. group (order 84129611558952960) . . . 113ms SchreierSims 016: perm. group SL(3, 5) (order 372000) . . . 802μs SchreierSims 017: perm. group PSL(4, 8) (order 34558531338240) . . . 46ms SchreierSims 018: perm. Mathieu group M11 (order 7920) . . . 53μs SchreierSims 019: perm. Mathieu group M24 (order 244823040) . . . 129μs SchreierSims 020: perm. Janko Group J1 (order 175560) . . . 1729μs SchreierSims 021: perm. Hall-Janko group (order 604800) . . . 252μs SchreierSims 022: perm. Hall-Janko group (alt.) (order 604800) . . . 11ms SchreierSims 023: perm. Conway group Co3 (order 495766656000) . . . 4283μs SchreierSims 024: perm. Conway group Co3 (alt.) (order 49576 [...] . . . 7979μs SchreierSims 025: perm. Suzuki group (order 448345497600) . . . 44ms SchreierSims 027: perm. Held group (order 4030387200) . . . 66ms SchreierSims 028: perm. group C2 x C2 x C2 (order 8) . . . 16μs SchreierSims 029: perm. group C2 x C2 x C2 x C2 (order 16) . . . 26μs SchreierSims 030: perm. group (S5 x S5) : C2 (order 28800) . . . 43μs SchreierSims 031: perm. group C3 x D8 x A5 (order 1440) . . . 44μs SchreierSims 032: perm. group GL(4, 3) (order 24261120) . . . 396μs SchreierSims 033: perm. group PSL(3, 7) (order 1876896) . . . 546μs SchreierSims 037: symmetric perm. group (degree 5) . . . 17μs SchreierSims 038: alternating perm. group (degree 17) . . . 2635μs SchreierSims 039: exceptions . . . 58μs SchreierSims 040: exceptions . . . 27μs SchreierSims 041: trivial group . . . 22μs SchreierSims 042: A17 bug . . . 2289μs SchreierSims 043: orbits_lookup test . . . 325μs SchreierSims 044: transversal_element and inversal_element test . . . 828μs SchreierSimsHelper 001: trivial perm. group intersection (de [...] . . . 13μs SchreierSimsHelper 002: trivial perm. group intersection (de [...] . . . 14μs SchreierSimsHelper 003: cyclic group intersection (degree 13) . . . 20μs SchreierSimsHelper 004: D10 and Z5 intersection . . . 26μs SchreierSimsHelper 005: D8 and Q8 intersection . . . 33μs SchreierSimsHelper 006: primitive on 8 points intersection . . . 62μs SchreierSimsHelper 007: primitive on 8 points intersection ( [...] . . . 57μs SchreierSimsHelper 008: A13 and PGL(2, 11) intersection . . . 492μs SchreierSimsHelper 009: A13 and PGL(2, 11) intersection (swa [...] . . . 500μs SchreierSimsHelper 012: 3^3:13 and 3^3.2.A(4) intersection . . . 95μs SchreierSimsHelper 015: 3^3(S(4) x 2) and ASL(3, 3) intersection . . . 169μs SchreierSimsHelper 016: 7^2:3 x Q(8) and 7^2:D(2*6) intersection . . . 247μs SchreierSimsHelper 018: D(2*53) and 53:13 intersection . . . 150μs SchreierSimsHelper 019: 2^6:(7 x D_14) and PSL(2, 6)^2.4 int [...] . . . 1671μs SchreierSimsHelper 020: 2^6:(S_3 x GL(3, 2)) and 2.6:Alt(7) [...] . . . 5839μs SchreierSimsHelper 022: PSL(2, 127) and AGL(1, 2^7) intersection . . . 7512μs SchreierSimsHelper 023: PSL(3, 4).2 and PSL(3, 4).2 (nontriv [...] . . . 1503μs SchreierSimsHelper 024: PSL(3, 4).Sym(3) and PSL(3, 4).2 int [...] . . . 1180μs SchreierSimsHelper 025: 3^4:5:4 and D_16:4 intersection . . . 621μs Sims1 000: fp example 1 . . . 621μs Sims1 001: fp example 2 . . . 1742μs Sims1 002: ToddCoxeter failing example . . . 14ms Sims1 003: ToddCoxeter failing example . . . 724μs Sims1 004: partition_monoid(2) right . . . 5262μs Sims1 006: full_transformation_monoid(3) right . . . 6769μs Sims1 007: full_transformation_monoid(3) left . . . 3862μs Sims1 009: rook_monoid(2, 1) . . . 92μs Sims1 010: symmetric_inverse_monoid(2) from FroidurePin . . . 82μs Sims1 011: symmetric_inverse_monoid(3) . . . 5881μs Sims1 014: temperley_lieb_monoid(3) from presentation . . . 53μs Sims1 015: temperley_lieb_monoid(4) from presentation . . . 659μs Sims1 016: fp semigroup containing given pairs #1 . . . 207μs Sims1 017: fp semigroup containing given pairs #2 . . . 213μs Sims1 018: fp semigroup containing given pairs #3 . . . 345μs Sims1 019: ToddCoxeter failing example . . . 1233μs Sims1 020: fp example 2 . . . 1601μs Sims1 021: exceptions . . . 128μs Sims1 027: from https://mathoverflow.net/questions/423541/ . . . 22ms Sims1 028: from https://mathoverflow.net/questions/423541/ . . . 16ms Sims1 030: presentation with one free generator . . . 207μs Sims1 031: presentation with non-zero index generators . . . 51μs Sims1 032: presentation with empty word . . . 7993μs Sims1 033: constructors . . . 1146μs Sims1 034: split_at . . . 181μs Sims1 035: stats . . . 81μs Sims1 036: check iterator requirements . . . 93μs Sims1 040: TransitiveGroup(10, 32) - minimal rep . . . 3052μs Sims1 043: rectangular_band(2, 2) - with and without identity . . . 127μs Sims1 044: trivial group - minimal o.r.c. rep . . . 69μs Sims1 045: right zero semigroup - minimal o.r.c. rep . . . 1222μs Sims1 046: semigroup with faithful non-strictly cyclic actio [...] . . . 435μs Sims1 068: RepOrc . . . 25ms Sims1 069: fp example 1 . . . 319μs #0: Sims1: using 0 additional threads #0: Sims1: finding congruences with at most 4 classes #0: Sims1: using 2 generators, and 0 short relations u = v with: #0: Sims1: |u| + |v| ∈ [0, 0] and ∑(|u| + |v|) = 0 #0: Sims1: found 5,477 congruences in 1143μs (208ns per congruence)! #0: Sims1: total number of nodes in search tree was 7,304 #0: Sims1: max. number of pending definitions was 16 Sims1 071: FreeSemigroup(2) up to index 4 . . . 1203μs Sims1 072: symmetric_group(n) for n = 4 . . . 913μs Sims1 073: corner case no generators + no relations . . . 41μs Sims1 076: uninitialized RepOrc . . . 15μs SmallestInteger 001: . . . 6000ns StaticTriVector2 045: all . . . 12μs StaticVector2 043: all . . . 11μs Stephen 000: basic test 1 . . . 160μs Stephen 001: basic test 2 . . . 100μs Stephen 002: full transf monoid . . . 17ms Stephen 003: from step_hen 002 . . . 40μs Stephen 004: from step_hen 003 . . . 126μs Stephen 005: from step_hen 004 . . . 40μs Stephen 006: from step_hen 005 . . . 89μs Stephen 008: C(4) monoid normal form (test_case_knuth_bendix_055) . . . 147μs Stephen 009: C(4) monoid normal form (test_case_gap_smallove [...] . . . 66μs #0: Stephen: ------------------------------------------------------------ #0: Stephen: nodes | defined | killed | diff | #0: Stephen: ------------------------------------------------------------ #0: Stephen: 13 | +25 | -12 | +13 | (0s) #0: Stephen: 13 | +0 | -0 | +0 | (0s) Stephen 010: code coverage . . . 302μs Stephen 011: C(4) monoid normal form (test_case_gap_smallove [...] . . . 206μs Stephen 012: C(4) monoid normal form (test_case_gap_smallove [...] . . . 209μs Stephen 013: C(4) monoid equal to (test_case_gap_smalloverlap_70) . . . 120μs Stephen 014: C(4) monoid normal form (test_case_ex_3_13_14) . . . 303μs Stephen 015: C(4) monoid normal form (test_case_ex_3_15) . . . 400μs Stephen 016: C(4) monoid normal form (test_case_ex_3_16) . . . 240μs Stephen 017: C(4) monoid normal form (test_case_mt_3) . . . 127μs Stephen 018: C(4) monoid normal form (test_case_mt_5) . . . 80μs Stephen 019: C(4) monoid normal form (test_case_mt_6) . . . 319μs Stephen 020: C(4) monoid normal form (test_case_mt_10) . . . 116μs Stephen 021: C(4) monoid normal form (test_case_mt_13) . . . 83μs Stephen 022: C(4) monoid normal form (test_case_mt_14) . . . 72μs Stephen 023: C(4) monoid normal form (test_case_mt_15) . . . 75μs Stephen 024: C(4) monoid normal form (test_case_mt_16) . . . 131μs Stephen 025: C(4) monoid normal form (test_case_mt_17) . . . 252μs Stephen 026: C(4) monoid normal form (test_case_weak_1) . . . 263μs Stephen 027: C(4) monoid normal form (test_case_weak_2) . . . 128μs Stephen 028: C(4) monoid normal form (test_case_weak_3) . . . 176μs Stephen 029: C(4) monoid normal form (test_case_weak_4) . . . 179μs Stephen 030: C(4) monoid normal form (test_case_weak_5) . . . 77μs Stephen 031: Test behaviour when uninitialised . . . 125μs Suf 005: unite . . . 18μs Suf 007: compress . . . 6000ns Suf 011: big chain . . . 11ms Suf 013: empty table . . . 3000ns Suf 015: join . . . 6000ns Suf 017: contains . . . 16μs Suf 019: swap . . . 15μs Timer 001: string method (1 argument) . . . 13μs Timer 002: string method (0 arguments) . . . 10ms Timer 003: reset/elapsed method . . . 20ms Timer 004: operator<< . . . 4000ns ToddCoxeter 000: small 2-sided congruence . . .  -- with HLT + no standardise + full lookahead + no save 867μs  -- with HLT + standardise + full lookahead + no save 810μs  -- with HLT + no standardise + partial lookahead + no save 815μs  -- with HLT + standardise + partial lookahead + no save 826μs  -- with HLT + no standardise + full lookahead + save 825μs  -- with HLT + standardise + full lookahead + save 804μs  -- with HLT + no standardise + partial lookahead + save 798μs  -- with HLT + standardise + partial lookahead + save 795μs  -- with Felsch + no standardisation 783μs  -- with Felsch + standardisation 772μs  -- with random strategy 793μs  -- with Rc style + full lookahead 776μs  -- with Rc style + partial lookahead 765μs  -- with R/C style 770μs  -- with CR style 769μs  -- with Cr style 766μs ToddCoxeter 001: small 2-sided congruence . . .  -- with HLT + no standardise + full lookahead + no save 4278μs  -- with HLT + standardise + full lookahead + no save 4232μs  -- with HLT + no standardise + partial lookahead + no save 4231μs  -- with HLT + standardise + partial lookahead + no save 4179μs  -- with HLT + no standardise + full lookahead + save 3996μs  -- with HLT + standardise + full lookahead + save 4001μs  -- with HLT + no standardise + partial lookahead + save 3922μs  -- with HLT + standardise + partial lookahead + save 3941μs  -- with Felsch + no standardisation 3917μs  -- with Felsch + standardisation 3972μs  -- with random strategy 3970μs  -- with Rc style + full lookahead 3911μs  -- with Rc style + partial lookahead 3920μs  -- with R/C style 3930μs  -- with CR style 3902μs  -- with Cr style 3933μs ToddCoxeter 003: constructed from FroidurePin . . .  -- with Felsch + no standardisation 230ms  -- with Felsch + standardisation 223ms  -- with HLT + no standardise + full lookahead + no save 68ms  -- with HLT + standardise + full lookahead + no save 66ms  -- with HLT + no standardise + partial lookahead + no save 63ms  -- with HLT + standardise + partial lookahead + no save 63ms  -- with HLT + no standardise + full lookahead + save 233ms  -- with HLT + standardise + full lookahead + save 234ms  -- with HLT + no standardise + partial lookahead + save 233ms  -- with HLT + standardise + partial lookahead + save 235ms  -- with random strategy 228ms  -- with Rc style + full lookahead 227ms  -- with Rc style + partial lookahead 225ms  -- with R/C style 69ms  -- with CR style 222ms  -- with Cr style 225ms ToddCoxeter 004: 2-sided congruence from FroidurePin . . .  -- with HLT + no standardise + full lookahead + no save 283μs  -- with HLT + standardise + full lookahead + no save 198μs  -- with HLT + no standardise + partial lookahead + no save 189μs  -- with HLT + standardise + partial lookahead + no save 190μs  -- with HLT + save (throws) 240μs  -- with Felsch (throws) 196μs  -- with random strategy 196μs ToddCoxeter 005: non-trivial two-sided from relations . . .  -- with HLT + no standardise + full lookahead + no save 51μs  -- with HLT + standardise + full lookahead + no save 30μs  -- with HLT + no standardise + partial lookahead + no save 25μs  -- with HLT + standardise + partial lookahead + no save 26μs  -- with HLT + no standardise + full lookahead + save 38μs  -- with HLT + standardise + full lookahead + save 35μs  -- with HLT + no standardise + partial lookahead + save 30μs  -- with HLT + standardise + partial lookahead + save 33μs  -- with Felsch + no standardisation 27μs  -- with Felsch + standardisation 29μs  -- with random strategy 29μs  -- with Rc style + full lookahead 29μs  -- with Rc style + partial lookahead 25μs  -- with R/C style 28μs  -- with CR style 27μs  -- with Cr style 29μs ToddCoxeter 006: small right cong. on free semigroup . . .  -- with HLT + no standardise + full lookahead + no save 27μs  -- with HLT + standardise + full lookahead + no save 20μs  -- with HLT + no standardise + partial lookahead + no save 19μs  -- with HLT + standardise + partial lookahead + no save 21μs  -- with HLT + no standardise + full lookahead + save 24μs  -- with HLT + standardise + full lookahead + save 21μs  -- with HLT + no standardise + partial lookahead + save 23μs  -- with HLT + standardise + partial lookahead + save 21μs  -- with Felsch + no standardisation 23μs  -- with Felsch + standardisation 22μs  -- with random strategy 25μs  -- with Rc style + full lookahead 23μs  -- with Rc style + partial lookahead 20μs  -- with R/C style 23μs  -- with CR style 22μs  -- with Cr style 21μs ToddCoxeter 007: left cong. on free semigroup . . .  -- with HLT + no standardise + full lookahead + no save 33μs  -- with HLT + standardise + full lookahead + no save 25μs  -- with HLT + no standardise + partial lookahead + no save 22μs  -- with HLT + standardise + partial lookahead + no save 22μs  -- with HLT + no standardise + full lookahead + save 26μs  -- with HLT + standardise + full lookahead + save 24μs  -- with HLT + no standardise + partial lookahead + save 42μs  -- with HLT + standardise + partial lookahead + save 25μs  -- with Felsch + no standardisation 26μs  -- with Felsch + standardisation 25μs  -- with random strategy 30μs  -- with Rc style + full lookahead 24μs  -- with Rc style + partial lookahead 29μs  -- with R/C style 27μs  -- with CR style 30μs  -- with Cr style 28μs ToddCoxeter 008: for small fp semigroup . . .  -- with HLT + no standardise + full lookahead + no save 26μs  -- with HLT + standardise + full lookahead + no save 20μs  -- with HLT + no standardise + partial lookahead + no save 30μs  -- with HLT + standardise + partial lookahead + no save 19μs  -- with HLT + no standardise + full lookahead + save 22μs  -- with HLT + standardise + full lookahead + save 22μs  -- with HLT + no standardise + partial lookahead + save 21μs  -- with HLT + standardise + partial lookahead + save 23μs  -- with Felsch + no standardisation 21μs  -- with Felsch + standardisation 21μs  -- with random strategy 27μs  -- with Rc style + full lookahead 21μs  -- with Rc style + partial lookahead 24μs  -- with R/C style 28μs  -- with CR style 32μs  -- with Cr style 23μs ToddCoxeter 009: 2-sided cong. trans. semigroup . . .  -- with HLT + no standardise + full lookahead + no save 199μs  -- with HLT + standardise + full lookahead + no save 168μs  -- with HLT + no standardise + partial lookahead + no save 168μs  -- with HLT + standardise + partial lookahead + no save 168μs  -- with HLT + no standardise + full lookahead + save 537μs  -- with HLT + standardise + full lookahead + save 542μs  -- with HLT + no standardise + partial lookahead + save 518μs  -- with HLT + standardise + partial lookahead + save 522μs  -- with Felsch + no standardisation 462μs  -- with Felsch + standardisation 469μs  -- with random strategy 182μs  -- with Rc style + full lookahead 177μs  -- with Rc style + partial lookahead 175μs  -- with R/C style 187μs  -- with CR style 471μs  -- with Cr style 471μs ToddCoxeter 010: left congruence on transformation semigroup . . .  -- with HLT + no standardise + full lookahead + no save 205μs  -- with HLT + standardise + full lookahead + no save 214μs  -- with HLT + no standardise + partial lookahead + no save 195μs  -- with HLT + standardise + partial lookahead + no save 208μs  -- with HLT + no standardise + full lookahead + save 559μs  -- with HLT + standardise + full lookahead + save 570μs  -- with HLT + no standardise + partial lookahead + save 573μs  -- with HLT + standardise + partial lookahead + save 586μs  -- with Felsch + no standardisation 494μs  -- with Felsch + standardisation 474μs  -- with random strategy 632μs  -- with Rc style + full lookahead 248μs  -- with Rc style + partial lookahead 232μs  -- with R/C style 273μs  -- with CR style 509μs  -- with Cr style 510μs ToddCoxeter 011: right cong. trans. semigroup . . .  -- with HLT + no standardise + full lookahead + no save 208μs  -- with HLT + standardise + full lookahead + no save 213μs  -- with HLT + no standardise + partial lookahead + no save 201μs  -- with HLT + standardise + partial lookahead + no save 209μs  -- with HLT + no standardise + full lookahead + save 531μs  -- with HLT + standardise + full lookahead + save 541μs  -- with HLT + no standardise + partial lookahead + save 522μs  -- with HLT + standardise + partial lookahead + save 540μs  -- with Felsch + no standardisation 407μs  -- with Felsch + standardisation 435μs  -- with random strategy 261μs  -- with Rc style + full lookahead 243μs  -- with Rc style + partial lookahead 250μs  -- with R/C style 292μs  -- with CR style 459μs  -- with Cr style 463μs ToddCoxeter 012: trans. semigroup (size 88) . . .  -- with HLT + no standardise + full lookahead + no save 168μs  -- with HLT + standardise + full lookahead + no save 176μs  -- with HLT + no standardise + partial lookahead + no save 158μs  -- with HLT + standardise + partial lookahead + no save 173μs  -- with HLT + save (throws) 177μs  -- with Felsch (throws) 182μs  -- with random strategy 183μs ToddCoxeter 013: left cong. on trans. semigroup (size 88) . . .  -- with HLT + no standardise + full lookahead + no save 176μs  -- with HLT + standardise + full lookahead + no save 183μs  -- with HLT + no standardise + partial lookahead + no save 173μs  -- with HLT + standardise + partial lookahead + no save 181μs  -- with HLT + no standardise + full lookahead + save 538μs  -- with HLT + standardise + full lookahead + save 542μs  -- with HLT + no standardise + partial lookahead + save 528μs  -- with HLT + standardise + partial lookahead + save 539μs  -- with Felsch + no standardisation 457μs  -- with Felsch + standardisation 437μs  -- with random strategy 235μs  -- with Rc style + full lookahead 208μs  -- with Rc style + partial lookahead 210μs  -- with R/C style 247μs  -- with CR style 486μs  -- with Cr style 487μs ToddCoxeter 014: right cong. on trans. semigroup (size 88) . . .  -- with HLT + no standardise + full lookahead + no save 190μs  -- with HLT + standardise + full lookahead + no save 207μs  -- with HLT + no standardise + partial lookahead + no save 227μs  -- with HLT + standardise + partial lookahead + no save 223μs  -- with HLT + no standardise + full lookahead + save 528μs  -- with HLT + standardise + full lookahead + save 518μs  -- with HLT + no standardise + partial lookahead + save 542μs  -- with HLT + standardise + partial lookahead + save 533μs  -- with Felsch + no standardisation 395μs  -- with Felsch + standardisation 413μs  -- with random strategy 244μs  -- with Rc style + full lookahead 216μs  -- with Rc style + partial lookahead 219μs  -- with R/C style 256μs  -- with CR style 428μs  -- with Cr style 418μs ToddCoxeter 015: finite fp-semigroup, dihedral group of order 6 . . .  -- with HLT + no standardise + full lookahead + no save 56μs  -- with HLT + standardise + full lookahead + no save 49μs  -- with HLT + no standardise + partial lookahead + no save 45μs  -- with HLT + standardise + partial lookahead + no save 48μs  -- with HLT + no standardise + full lookahead + save 62μs  -- with HLT + standardise + full lookahead + save 59μs  -- with HLT + no standardise + partial lookahead + save 59μs  -- with HLT + standardise + partial lookahead + save 58μs  -- with Felsch + no standardisation 53μs  -- with Felsch + standardisation 51μs  -- with random strategy 57μs  -- with Rc style + full lookahead 48μs  -- with Rc style + partial lookahead 45μs  -- with R/C style 48μs  -- with CR style 52μs  -- with Cr style 52μs ToddCoxeter 016: finite fp-semigroup, size 16 . . .  -- with HLT + no standardise + full lookahead + no save 53μs  -- with HLT + standardise + full lookahead + no save 51μs  -- with HLT + no standardise + partial lookahead + no save 46μs  -- with HLT + standardise + partial lookahead + no save 46μs  -- with HLT + no standardise + full lookahead + save 113μs  -- with HLT + standardise + full lookahead + save 114μs  -- with HLT + no standardise + partial lookahead + save 108μs  -- with HLT + standardise + partial lookahead + save 111μs  -- with Felsch + no standardisation 96μs  -- with Felsch + standardisation 95μs  -- with random strategy 107μs  -- with Rc style + full lookahead 53μs  -- with Rc style + partial lookahead 51μs  -- with R/C style 57μs  -- with CR style 99μs  -- with Cr style 100μs ToddCoxeter 017: finite fp-semigroup, size 16 . . .  -- with HLT + no standardise + full lookahead + no save 154μs  -- with HLT + standardise + full lookahead + no save 148μs  -- with HLT + no standardise + partial lookahead + no save 143μs  -- with HLT + standardise + partial lookahead + no save 155μs  -- with HLT + no standardise + full lookahead + save 351μs  -- with HLT + standardise + full lookahead + save 346μs  -- with HLT + no standardise + partial lookahead + save 363μs  -- with HLT + standardise + partial lookahead + save 364μs  -- with Felsch + no standardisation 327μs  -- with Felsch + standardisation 320μs  -- with random strategy 365μs  -- with Rc style + full lookahead 151μs  -- with Rc style + partial lookahead 161μs  -- with R/C style 168μs  -- with CR style 335μs  -- with Cr style 322μs ToddCoxeter 018: test lookahead . . .  -- with HLT + no standardise + full lookahead + no save 320μs  -- with HLT + standardise + full lookahead + no save 321μs  -- with HLT + no standardise + partial lookahead + no save 293μs  -- with HLT + standardise + partial lookahead + no save 300μs  -- with HLT + no standardise + full lookahead + save 509μs  -- with HLT + standardise + full lookahead + save 510μs  -- with HLT + no standardise + partial lookahead + save 504μs  -- with HLT + standardise + partial lookahead + save 528μs ToddCoxeter 019: non-trivial left cong. from semigroup . . .  -- with HLT + no standardise + full lookahead + no save 124μs  -- with HLT + standardise + full lookahead + no save 123μs  -- with HLT + no standardise + partial lookahead + no save 115μs  -- with HLT + standardise + partial lookahead + no save 120μs  -- with HLT + save (throws) 122μs  -- with Felsch (throws) 119μs  -- with random strategy 142μs ToddCoxeter 020: 2-sided cong. on free semigroup . . .  -- with HLT + no standardise + full lookahead + no save 14μs  -- with HLT + standardise + full lookahead + no save 10μs  -- with HLT + no standardise + partial lookahead + no save 10μs  -- with HLT + standardise + partial lookahead + no save 12μs  -- with HLT + no standardise + full lookahead + save 10μs  -- with HLT + standardise + full lookahead + save 10μs  -- with HLT + no standardise + partial lookahead + save 10μs  -- with HLT + standardise + partial lookahead + save 10μs  -- with Felsch + no standardisation 12μs  -- with Felsch + standardisation 10μs  -- with random strategy 9000ns ToddCoxeter 021: calling run when obviously infinite . . .  -- with HLT + no standardise + full lookahead + no save 35μs  -- with HLT + standardise + full lookahead + no save 21μs  -- with HLT + no standardise + partial lookahead + no save 22μs  -- with HLT + standardise + partial lookahead + no save 20μs  -- with HLT + no standardise + full lookahead + save 19μs  -- with HLT + standardise + full lookahead + save 22μs  -- with HLT + no standardise + partial lookahead + save 20μs  -- with HLT + standardise + partial lookahead + save 19μs  -- with Felsch + no standardisation 22μs  -- with Felsch + standardisation 19μs  -- with random strategy 19μs ToddCoxeter 022: stellar_monoid S3 . . .  -- with HLT + no standardise + full lookahead + no save 86μs  -- with HLT + standardise + full lookahead + no save 78μs  -- with HLT + no standardise + partial lookahead + no save 70μs  -- with HLT + standardise + partial lookahead + no save 77μs  -- with HLT + no standardise + full lookahead + save 171μs  -- with HLT + standardise + full lookahead + save 171μs  -- with HLT + no standardise + partial lookahead + save 165μs  -- with HLT + standardise + partial lookahead + save 185μs  -- with Felsch + no standardisation 137μs  -- with Felsch + standardisation 141μs  -- with random strategy 150μs  -- with Rc style + full lookahead 93μs  -- with Rc style + partial lookahead 78μs  -- with R/C style 90μs  -- with CR style 142μs  -- with Cr style 146μs ToddCoxeter 023: finite semigroup (size 5) . . .  -- with HLT + no standardise + full lookahead + no save 23μs  -- with HLT + standardise + full lookahead + no save 19μs  -- with HLT + no standardise + partial lookahead + no save 20μs  -- with HLT + standardise + partial lookahead + no save 17μs  -- with HLT + no standardise + full lookahead + save 22μs  -- with HLT + standardise + full lookahead + save 24μs  -- with HLT + no standardise + partial lookahead + save 75μs  -- with HLT + standardise + partial lookahead + save 20μs  -- with Felsch + no standardisation 20μs  -- with Felsch + standardisation 23μs  -- with random strategy 21μs  -- with Rc style + full lookahead 19μs  -- with Rc style + partial lookahead 21μs  -- with R/C style 20μs  -- with CR style 23μs  -- with Cr style 21μs ToddCoxeter 024: exceptions . . .  -- with HLT + no standardise + full lookahead + no save 122μs  -- with HLT + standardise + full lookahead + no save 96μs  -- with HLT + no standardise + partial lookahead + no save 92μs  -- with HLT + standardise + partial lookahead + no save 100μs  -- with HLT + no standardise + full lookahead + save 95μs  -- with HLT + standardise + full lookahead + save 96μs  -- with HLT + no standardise + partial lookahead + save 95μs  -- with HLT + standardise + partial lookahead + save 94μs  -- with Felsch + no standardisation 97μs  -- with Felsch + standardisation 93μs  -- with random strategy 97μs  -- with Rc style + full lookahead 94μs  -- with Rc style + partial lookahead 95μs  -- with R/C style 95μs  -- with CR style 95μs  -- with Cr style 97μs ToddCoxeter 025: obviously infinite . . .  -- with HLT + no standardise + full lookahead + no save 29μs  -- with HLT + standardise + full lookahead + no save 27μs  -- with HLT + no standardise + partial lookahead + no save 25μs  -- with HLT + standardise + partial lookahead + no save 27μs  -- with HLT + no standardise + full lookahead + save 25μs  -- with HLT + standardise + full lookahead + save 27μs  -- with HLT + no standardise + partial lookahead + save 25μs  -- with HLT + standardise + partial lookahead + save 27μs  -- with Felsch + no standardisation 25μs  -- with Felsch + standardisation 27μs  -- with random strategy 25μs ToddCoxeter 026: exceptions . . .  -- with HLT + no standardise + full lookahead + no save 69μs  -- with HLT + standardise + full lookahead + no save 56μs  -- with HLT + no standardise + partial lookahead + no save 54μs  -- with HLT + standardise + partial lookahead + no save 53μs  -- with HLT + no standardise + full lookahead + save 56μs  -- with HLT + standardise + full lookahead + save 55μs  -- with HLT + no standardise + partial lookahead + save 55μs  -- with HLT + standardise + partial lookahead + save 55μs  -- with Felsch + no standardisation 54μs  -- with Felsch + standardisation 55μs  -- with random strategy 58μs  -- with Rc style + full lookahead 54μs  -- with Rc style + partial lookahead 54μs  -- with R/C style 52μs  -- with CR style 54μs  -- with Cr style 56μs ToddCoxeter 027: empty . . . 55μs ToddCoxeter 028: congruence of fpsemigroup::ToddCoxeter . . .  -- with HLT + no standardise + full lookahead + no save 100μs  -- with HLT + standardise + full lookahead + no save 69μs  -- with HLT + no standardise + partial lookahead + no save 69μs  -- with HLT + standardise + partial lookahead + no save 67μs  -- with HLT + save (throws) 71μs  -- with Felsch (throws) 71μs  -- with random strategy 72μs  -- with HLT + no standardise + full lookahead + save 69μs  -- with HLT + standardise + full lookahead + save 71μs  -- with HLT + no standardise + partial lookahead + save 68μs  -- with HLT + standardise + partial lookahead + save 70μs  -- with Felsch + no standardisation 69μs  -- with Felsch + standardisation 69μs  -- with Rc style + full lookahead 68μs  -- with Rc style + partial lookahead 69μs  -- with R/C style 68μs  -- with CR style 68μs  -- with Cr style 68μs ToddCoxeter 029: !KnuthBendix.started() . . .  -- with HLT + no standardise + full lookahead + no save and 2-sided 67μs  -- with HLT + standardise + full lookahead + no save and 2-sided 36μs  -- with HLT + no standardise + partial lookahead + no save and 2-sided 33μs  -- with HLT + standardise + partial lookahead + no save and 2-sided 32μs  -- with HLT + no standardise + full lookahead + save and 2-sided 37μs  -- with HLT + standardise + full lookahead + save and 2-sided 34μs  -- with HLT + no standardise + partial lookahead + save and 2-sided 36μs  -- with HLT + standardise + partial lookahead + save and 2-sided 36μs  -- with Felsch + no standardisation and 2-sided 33μs  -- with Felsch + standardisation and 2-sided 34μs  -- with random strategy and 2-sided 34μs  -- with HLT + no standardise + full lookahead + no save and left 40μs  -- with HLT + standardise + full lookahead + no save and left 34μs  -- with HLT + no standardise + partial lookahead + no save and left 31μs  -- with HLT + standardise + partial lookahead + no save and left 33μs  -- with HLT + no standardise + full lookahead + save and left 37μs  -- with HLT + standardise + full lookahead + save and left 39μs  -- with HLT + no standardise + partial lookahead + save and left 38μs  -- with HLT + standardise + partial lookahead + save and left 36μs  -- with Felsch + no standardisation and left 38μs  -- with Felsch + standardisation and left 39μs  -- with random strategy and left 34μs  -- with HLT + no standardise + full lookahead + no save and right 35μs  -- with HLT + standardise + full lookahead + no save and right 30μs  -- with HLT + no standardise + partial lookahead + no save and right 32μs  -- with HLT + standardise + partial lookahead + no save and right 30μs  -- with HLT + no standardise + full lookahead + save and right 38μs  -- with HLT + standardise + full lookahead + save and right 38μs  -- with HLT + no standardise + partial lookahead + save and right 36μs  -- with HLT + standardise + partial lookahead + save and right 38μs  -- with Felsch + no standardisation and right 37μs  -- with Felsch + standardisation and right 35μs  -- with random strategy and right 40μs ToddCoxeter 030: KnuthBendix.finished() . . .  -- with HLT + no standardise + full lookahead + no save and 2-sided 125μs  -- with HLT + standardise + full lookahead + no save and 2-sided 93μs  -- with HLT + no standardise + partial lookahead + no save and 2-sided 89μs  -- with HLT + standardise + partial lookahead + no save and 2-sided 95μs  -- with HLT + no standardise + full lookahead + save and 2-sided 93μs  -- with HLT + standardise + full lookahead + save and 2-sided 89μs  -- with HLT + no standardise + partial lookahead + save and 2-sided 91μs  -- with HLT + standardise + partial lookahead + save and 2-sided 90μs  -- with Felsch + no standardisation and 2-sided 89μs  -- with Felsch + standardisation and 2-sided 227μs  -- with random strategy and 2-sided 95μs  -- with HLT + no standardise + full lookahead + no save and left 95μs  -- with HLT + standardise + full lookahead + no save and left 89μs  -- with HLT + no standardise + partial lookahead + no save and left 91μs  -- with HLT + standardise + partial lookahead + no save and left 88μs  -- with HLT + no standardise + full lookahead + save and left 97μs  -- with HLT + standardise + full lookahead + save and left 95μs  -- with HLT + no standardise + partial lookahead + save and left 96μs  -- with HLT + standardise + partial lookahead + save and left 94μs  -- with Felsch + no standardisation and left 94μs  -- with Felsch + standardisation and left 109μs  -- with random strategy and left 97μs  -- with HLT + no standardise + full lookahead + no save and right 112μs  -- with HLT + standardise + full lookahead + no save and right 136μs  -- with HLT + no standardise + partial lookahead + no save and right 136μs  -- with HLT + standardise + partial lookahead + no save and right 201μs  -- with HLT + no standardise + full lookahead + save and right 155μs  -- with HLT + standardise + full lookahead + save and right 148μs  -- with HLT + no standardise + partial lookahead + save and right 142μs  -- with HLT + standardise + partial lookahead + save and right 142μs  -- with Felsch + no standardisation and right 211μs  -- with Felsch + standardisation and right 141μs  -- with random strategy and right 202μs ToddCoxeter 031: KnuthBendix.finished() . . .  -- with HLT + no standardise + full lookahead + no save and 2-sided 84μs  -- with HLT + standardise + full lookahead + no save and 2-sided 75μs  -- with HLT + no standardise + partial lookahead + no save and 2-sided 57μs  -- with HLT + standardise + partial lookahead + no save and 2-sided 54μs  -- with HLT + no standardise + full lookahead + save and 2-sided 56μs  -- with HLT + standardise + full lookahead + save and 2-sided 57μs  -- with HLT + no standardise + partial lookahead + save and 2-sided 54μs  -- with HLT + standardise + partial lookahead + save and 2-sided 54μs  -- with Felsch + no standardisation and 2-sided 51μs  -- with Felsch + standardisation and 2-sided 50μs  -- with random strategy and 2-sided 56μs  -- with Rc style + full lookahead and 2-sided 55μs  -- with Rc style + partial lookahead and 2-sided 53μs  -- with R/C style and 2-sided 52μs  -- with CR style and 2-sided 53μs  -- with Cr style and 2-sided 55μs  -- with HLT + no standardise + full lookahead + no save and left 60μs  -- with HLT + standardise + full lookahead + no save and left 53μs  -- with HLT + no standardise + partial lookahead + no save and left 52μs  -- with HLT + standardise + partial lookahead + no save and left 52μs  -- with HLT + no standardise + full lookahead + save and left 57μs  -- with HLT + standardise + full lookahead + save and left 57μs  -- with HLT + no standardise + partial lookahead + save and left 58μs  -- with HLT + standardise + partial lookahead + save and left 57μs  -- with Felsch + no standardisation and left 55μs  -- with Felsch + standardisation and left 52μs  -- with random strategy and left 61μs  -- with Rc style + full lookahead and left 56μs  -- with Rc style + partial lookahead and left 53μs  -- with R/C style and left 53μs  -- with CR style and left 57μs  -- with Cr style and left 60μs  -- with HLT + no standardise + full lookahead + no save and right 62μs  -- with HLT + standardise + full lookahead + no save and right 53μs  -- with HLT + no standardise + partial lookahead + no save and right 53μs  -- with HLT + standardise + partial lookahead + no save and right 52μs  -- with HLT + no standardise + full lookahead + save and right 58μs  -- with HLT + standardise + full lookahead + save and right 58μs  -- with HLT + no standardise + partial lookahead + save and right 57μs  -- with HLT + standardise + partial lookahead + save and right 58μs  -- with Felsch + no standardisation and right 55μs  -- with Felsch + standardisation and right 55μs  -- with random strategy and right 60μs  -- with Rc style + full lookahead and right 56μs  -- with Rc style + partial lookahead and right 55μs  -- with R/C style and right 53μs  -- with CR style and right 57μs  -- with Cr style and right 59μs ToddCoxeter 032: prefill . . . 92μs ToddCoxeter 033: congruence of ToddCoxeter . . .  -- with HLT + no standardise + full lookahead + no save 29μs  -- with HLT + standardise + full lookahead + no save 25μs  -- with HLT + no standardise + partial lookahead + no save 23μs  -- with HLT + standardise + partial lookahead + no save 23μs  -- with HLT + no standardise + full lookahead + save 28μs  -- with HLT + standardise + full lookahead + save 25μs  -- with HLT + no standardise + partial lookahead + save 27μs  -- with HLT + standardise + partial lookahead + save 24μs  -- with random strategy 29μs ToddCoxeter 034: congruence of ToddCoxeter . . .  -- with HLT + no standardise + full lookahead + no save 115μs  -- with HLT + standardise + full lookahead + no save 108μs  -- with HLT + no standardise + partial lookahead + no save 103μs  -- with HLT + standardise + partial lookahead + no save 106μs  -- with HLT + save (throws) 111μs  -- with Felsch (throws) 110μs  -- with random strategy 108μs ToddCoxeter 035: congruence on FpSemigroup . . .  -- with HLT + no standardise + full lookahead + no save 271μs  -- with HLT + standardise + full lookahead + no save 237μs  -- with HLT + no standardise + partial lookahead + no save 230μs  -- with HLT + standardise + partial lookahead + no save 227μs  -- with HLT + no standardise + full lookahead + save 252μs  -- with HLT + standardise + full lookahead + save 250μs  -- with HLT + no standardise + partial lookahead + save 250μs  -- with HLT + standardise + partial lookahead + save 248μs  -- with Felsch + no standardisation 248μs  -- with Felsch + standardisation 248μs  -- with random strategy 261μs  -- with Rc style + full lookahead 227μs  -- with Rc style + partial lookahead 240μs  -- with R/C style 230μs  -- with CR style 245μs  -- with Cr style 250μs ToddCoxeter 036: exceptions . . . 81μs ToddCoxeter 037: copy constructor . . . 21μs ToddCoxeter 038: simplify . . . 88μs ToddCoxeter 039: stylic_monoid . . . 624ms ToddCoxeter 041: some finite classes . . . 592μs ToddCoxeter 043: symmetric_group(7, Coxeter + Moser) . . . 136ms ToddCoxeter 044: Option exceptions . . . 85μs ToddCoxeter 045: Options operator<< . . . 475μs ToddCoxeter 046: Easdown-East-FitzGerald DualSymInv(5) . . .  -- with HLT + no standardise + full lookahead + no save 139ms  -- with HLT + standardise + full lookahead + no save 152ms  -- with HLT + no standardise + partial lookahead + no save 139ms  -- with HLT + standardise + partial lookahead + no save 152ms  -- with HLT + no standardise + full lookahead + save 135ms  -- with HLT + standardise + full lookahead + save 134ms  -- with HLT + no standardise + partial lookahead + save 135ms  -- with HLT + standardise + partial lookahead + save 133ms  -- with Felsch + no standardisation 143ms  -- with Felsch + standardisation 144ms  -- with random strategy 151ms  -- with R/C style 150ms  -- with Rc style + full lookahead 151ms  -- with Rc style + partial lookahead 150ms ToddCoxeter 047: uniform_block_bijection_monoid(3) (FitzGerald) . . .  -- with HLT + no standardise + full lookahead + no save 86μs  -- with HLT + standardise + full lookahead + no save 75μs  -- with HLT + no standardise + partial lookahead + no save 64μs  -- with HLT + standardise + partial lookahead + no save 67μs  -- with HLT + no standardise + full lookahead + save 159μs  -- with HLT + standardise + full lookahead + save 164μs  -- with HLT + no standardise + partial lookahead + save 157μs  -- with HLT + standardise + partial lookahead + save 153μs  -- with Felsch + no standardisation 107μs  -- with Felsch + standardisation 108μs  -- with random strategy 117μs  -- with R/C style 75μs  -- with Rc style + full lookahead 68μs  -- with Rc style + partial lookahead 69μs ToddCoxeter 048: stellar_monoid(7) (Gay-Hivert) . . . 143ms ToddCoxeter 049: partition_monoid(4) (East) . . .  -- with HLT + no standardise + full lookahead + no save 25ms  -- with HLT + standardise + full lookahead + no save 26ms  -- with HLT + no standardise + partial lookahead + no save 25ms  -- with HLT + standardise + partial lookahead + no save 26ms  -- with HLT + no standardise + full lookahead + save 52ms  -- with HLT + standardise + full lookahead + save 53ms  -- with HLT + no standardise + partial lookahead + save 51ms  -- with HLT + standardise + partial lookahead + save 53ms  -- with Felsch + no standardisation 60ms  -- with Felsch + standardisation 60ms  -- with random strategy 63ms  -- with R/C style 31ms  -- with Rc style + full lookahead 66ms  -- with Rc style + partial lookahead 65ms ToddCoxeter 050: singular_brauer_monoid(6) (Maltcev + Mazorchuk) . . . 432ms ToddCoxeter 051: orientation_preserving_monoid(6) (Ruskuc + [...] . . .  -- with HLT + no standardise + full lookahead + no save 19ms ToddCoxeter 052: orientation_reversing_monoid(5) (Ruskuc + [...] . . .  -- with HLT + no standardise + full lookahead + no save 5371μs ToddCoxeter 053: temperley_lieb_monoid(10) (East) . . . 29ms ToddCoxeter 063: add_rule . . .  -- with HLT + no standardise + full lookahead + no save 79μs  -- with HLT + standardise + full lookahead + no save 50μs  -- with HLT + no standardise + partial lookahead + no save 46μs  -- with HLT + standardise + partial lookahead + no save 41μs  -- with HLT + no standardise + full lookahead + save 49μs  -- with HLT + standardise + full lookahead + save 47μs  -- with HLT + no standardise + partial lookahead + save 44μs  -- with HLT + standardise + partial lookahead + save 47μs  -- with Felsch + no standardisation 46μs  -- with Felsch + standardisation 45μs  -- with random strategy 48μs  -- with Rc style + full lookahead 42μs  -- with Rc style + partial lookahead 44μs  -- with R/C style 46μs  -- with CR style 46μs  -- with Cr style 46μs  -- with R/C + Felsch lookahead 50μs  -- with HLT + Felsch lookahead + save 43μs  -- with Cr + small number of f_defs 49μs  -- with Rc + small number of deductions 73μs  -- with Felsch + v2 + no preferred defs 46μs  -- with Felsch + v2 + immediate no stack 48μs  -- with Felsch + v1 + immediate no stack 46μs  -- with Felsch + v1 + immediate yes stack 44μs  -- with large collapse 46μs ToddCoxeter 064: (from kbmag/standalone/kb_data/s4) (KnuthB [...] . . .  -- with HLT + no standardise + full lookahead + no save 276μs ToddCoxeter 066: test validate . . . 64μs ToddCoxeter 067: add_rules after construct. from semigroup . . .  -- with HLT + no standardise + full lookahead + no save 373μs  -- with HLT + standardise + full lookahead + no save 332μs  -- with HLT + no standardise + partial lookahead + no save 313μs  -- with HLT + standardise + partial lookahead + no save 323μs  -- with HLT + save (throws) 333μs  -- with Felsch (throws) 328μs  -- with random strategy 329μs ToddCoxeter 068: Sym(5) from Chapter 3, Proposition 1.1 in NR . . .  -- with Deduction policy == purge_from_top 692μs  -- with Deduction policy == purge_all 658μs  -- with Deduction policy == discard_all_if_no_space 655μs  -- with HLT + no standardise + full lookahead + no save 701μs  -- with HLT + standardise + full lookahead + no save 944μs  -- with HLT + no standardise + partial lookahead + no save 694μs  -- with HLT + standardise + partial lookahead + no save 935μs  -- with HLT + no standardise + full lookahead + save 1046μs  -- with HLT + standardise + full lookahead + save 1083μs  -- with HLT + no standardise + partial lookahead + save 1072μs  -- with HLT + standardise + partial lookahead + save 1055μs  -- with Felsch + no standardisation 672μs  -- with Felsch + standardisation 668μs  -- with random strategy 735μs  -- with Rc style + full lookahead 1418μs  -- with Rc style + partial lookahead 1413μs  -- with R/C style 842μs  -- with CR style 829μs  -- with Cr style 784μs ToddCoxeter 069: Chapter 7, Theorem 3.6 in NR (size 243) . . .  -- with HLT + no standardise + full lookahead + no save 407μs  -- with HLT + standardise + full lookahead + no save 444μs  -- with HLT + no standardise + partial lookahead + no save 385μs  -- with HLT + standardise + partial lookahead + no save 440μs  -- with HLT + no standardise + full lookahead + save 495μs  -- with HLT + standardise + full lookahead + save 521μs  -- with HLT + no standardise + partial lookahead + save 484μs  -- with HLT + standardise + partial lookahead + save 519μs  -- with Felsch + no standardisation 2514μs  -- with Felsch + standardisation 2557μs  -- with random strategy 581μs  -- with Rc style + full lookahead 433μs  -- with Rc style + partial lookahead 431μs  -- with R/C style 464μs  -- with CR style 2534μs  -- with Cr style 2535μs ToddCoxeter 070: finite semigroup (size 99) . . .  -- with HLT + no standardise + full lookahead + no save 157μs  -- with HLT + standardise + full lookahead + no save 165μs  -- with HLT + no standardise + partial lookahead + no save 151μs  -- with HLT + standardise + partial lookahead + no save 163μs  -- with HLT + no standardise + full lookahead + save 205μs  -- with HLT + standardise + full lookahead + save 223μs  -- with HLT + no standardise + partial lookahead + save 196μs  -- with HLT + standardise + partial lookahead + save 223μs  -- with Felsch + no standardisation 446μs  -- with Felsch + standardisation 463μs  -- with random strategy 531μs  -- with Rc style + full lookahead 166μs  -- with Rc style + partial lookahead 163μs  -- with R/C style 178μs  -- with CR style 451μs  -- with Cr style 450μs ToddCoxeter 080: KnuthBendix 098 . . .  -- with HLT + no standardise + full lookahead + no save 560ms  -- with HLT + standardise + full lookahead + no save 630ms  -- with HLT + no standardise + partial lookahead + no save 565ms  -- with HLT + standardise + partial lookahead + no save 629ms  -- with HLT + no standardise + full lookahead + save 372ms  -- with HLT + standardise + full lookahead + save 373ms  -- with HLT + no standardise + partial lookahead + save 370ms  -- with HLT + standardise + partial lookahead + save 372ms  -- with Felsch + no standardisation 359ms  -- with Felsch + standardisation 363ms  -- with random strategy 373ms  -- with Rc style + full lookahead 348ms  -- with Rc style + partial lookahead 346ms  -- with R/C style 557ms  -- with CR style 348ms  -- with Cr style 353ms ToddCoxeter 084: Campbell-Reza 1 . . .  -- with HLT + no standardise + full lookahead + no save 175μs  -- with HLT + standardise + full lookahead + no save 79μs  -- with HLT + no standardise + partial lookahead + no save 68μs  -- with HLT + standardise + partial lookahead + no save 71μs  -- with HLT + no standardise + full lookahead + save 84μs  -- with HLT + standardise + full lookahead + save 77μs  -- with HLT + no standardise + partial lookahead + save 78μs  -- with HLT + standardise + partial lookahead + save 76μs  -- with Felsch + no standardisation 83μs  -- with Felsch + standardisation 80μs  -- with random strategy 72μs  -- with Rc style + full lookahead 68μs  -- with Rc style + partial lookahead 66μs  -- with R/C style 69μs  -- with CR style 84μs  -- with Cr style 81μs ToddCoxeter 085: Renner monoid type D4 (Gay-Hivert), q = 1 . . .  -- with HLT + no standardise + full lookahead + no save 196ms  -- with HLT + standardise + full lookahead + no save 103ms  -- with HLT + no standardise + partial lookahead + no save 103ms  -- with HLT + standardise + partial lookahead + no save 102ms  -- with HLT + no standardise + full lookahead + save 103ms  -- with HLT + standardise + full lookahead + save 102ms  -- with HLT + no standardise + partial lookahead + save 102ms  -- with HLT + standardise + partial lookahead + save 102ms  -- with Felsch + no standardisation 102ms  -- with Felsch + standardisation 102ms  -- with random strategy 102ms  -- with Rc style + full lookahead 103ms  -- with Rc style + partial lookahead 102ms  -- with R/C style 102ms  -- with CR style 102ms  -- with Cr style 106ms ToddCoxeter 086: trivial semigroup . . . 219ms ToddCoxeter 092: ACE --- perf602p5 - HLT . . .  -- with HLT + no standardise + full lookahead + no save 26ms  -- with HLT + standardise + full lookahead + no save 27ms  -- with HLT + no standardise + partial lookahead + no save 26ms  -- with HLT + standardise + partial lookahead + no save 27ms  -- with HLT + no standardise + full lookahead + save 14ms  -- with HLT + standardise + full lookahead + save 14ms  -- with HLT + no standardise + partial lookahead + save 14ms  -- with HLT + standardise + partial lookahead + save 14ms  -- with random strategy 27ms  -- with Felsch + no standardisation 11ms  -- with Felsch + standardisation 11ms ToddCoxeter 094: ACE --- C5 - HLT . . .  -- with HLT + no standardise + full lookahead + no save 60μs  -- with HLT + standardise + full lookahead + no save 49μs  -- with HLT + no standardise + partial lookahead + no save 46μs  -- with HLT + standardise + partial lookahead + no save 47μs  -- with HLT + no standardise + full lookahead + save 64μs  -- with HLT + standardise + full lookahead + save 61μs  -- with HLT + no standardise + partial lookahead + save 61μs  -- with HLT + standardise + partial lookahead + save 60μs  -- with random strategy 55μs  -- with Felsch + no standardisation 57μs  -- with Felsch + standardisation 56μs ToddCoxeter 095: ACE --- A5-C5 . . .  -- with HLT + no standardise + full lookahead + no save 67μs  -- with HLT + standardise + full lookahead + no save 87μs  -- with HLT + no standardise + partial lookahead + no save 66μs  -- with HLT + standardise + partial lookahead + no save 81μs  -- with HLT + no standardise + full lookahead + save 102μs  -- with HLT + standardise + full lookahead + save 99μs  -- with HLT + no standardise + partial lookahead + save 98μs  -- with HLT + standardise + partial lookahead + save 96μs  -- with random strategy 72μs  -- with Felsch + no standardisation 79μs  -- with Felsch + standardisation 81μs ToddCoxeter 096: ACE --- A5 . . .  -- with HLT + no standardise + full lookahead + no save 203μs  -- with HLT + standardise + full lookahead + no save 206μs  -- with HLT + no standardise + partial lookahead + no save 153μs  -- with HLT + standardise + partial lookahead + no save 201μs  -- with HLT + no standardise + full lookahead + save 297μs  -- with HLT + standardise + full lookahead + save 306μs  -- with HLT + no standardise + partial lookahead + save 297μs  -- with HLT + standardise + partial lookahead + save 307μs  -- with random strategy 349μs  -- with Felsch + no standardisation 217μs  -- with Felsch + standardisation 223μs ToddCoxeter 098: relation ordering . . .  -- with Felsch + no standardisation 464μs  -- with Felsch + standardisation 432μs  -- with HLT + no standardise + full lookahead + no save 239μs  -- with HLT + standardise + full lookahead + no save 231μs  -- with HLT + no standardise + partial lookahead + no save 230μs  -- with HLT + standardise + partial lookahead + no save 227μs  -- with HLT + no standardise + full lookahead + save 454μs  -- with HLT + standardise + full lookahead + save 451μs  -- with HLT + no standardise + partial lookahead + save 474μs  -- with HLT + standardise + partial lookahead + save 455μs  -- with random strategy 291μs ToddCoxeter 099: short circuit size in obviously infinite . . . 8000ns ToddCoxeter 101: http://brauer.maths.qmul.ac.uk/Atlas/spor/M [...] . . . 424ms ToddCoxeter 108: http://brauer.maths.qmul.ac.uk/Atlas/lin/L3 [...] . . . 349ms ToddCoxeter 110: to_gap_string . . . 149μs ToddCoxeter 111: partition_monoid(2) . . . 70μs ToddCoxeter 112: brauer_monoid(4) (Kudryavtseva + Mazorchuk) . . . 352μs ToddCoxeter 113: symmetric_inverse_monoid . . . 13ms ToddCoxeter 116: symmetric_group(7, Burnside + Miller) . . . 325ms UF 001: constructor by size . . . 9000ns UF 002: copy constructor . . . 17μs UF 003: find . . . 10μs Ukkonen 000: basic tests . . . 42ms Ukkonen 001: maximal_piece_prefix 1 . . . 25μs Ukkonen 002: maximal_piece_prefix 2 . . . 29μs Ukkonen 003: maximal_piece_prefix 3 . . . 159μs Ukkonen 004: number_of_pieces . . . 54μs Ukkonen 005: traverse . . . 12μs Ukkonen 006: dot . . . 175μs Ukkonen 007: strings . . . 37μs Ukkonen 008: dfs #01 . . . 25μs Ukkonen 009: dfs #02 . . . 20μs Ukkonen 010: dfs #03 . . . 19μs Ukkonen 011: dfs #04 . . . 56μs Ukkonen 012: dfs #05 . . . 34μs Ukkonen 013: dfs #06 . . . 34μs Ukkonen 014: dfs #07 . . . 73μs Ukkonen 015: dfs #08 . . . 50μs Ukkonen 016: dfs #09 . . . 72μs Ukkonen 017: dfs #10 . . . 20μs Ukkonen 018: pieces . . . 24μs Ukkonen 019: code coverage . . . 33μs Ukkonen 020: code coverage . . . 3000ns action_digraph_helper 015: detail::to_string . . . 21μs action_digraph_helper 016: make . . . 46μs action_digraph_helper 017: is_connected . . . 132μs action_digraph_helper 018: is_strictly_cyclic . . . 7552μs follow_path 012: 20 node path . . . 14μs fpsemi-examples 002: full_transformation_monoid author except . . . 31μs fpsemi-examples 003: full_transformation_monoid degree except . . . 12μs fpsemi-examples 005: partial_transformation_monoid author except . . . 17μs fpsemi-examples 006: partial_transformation_monoid degree except . . . 16μs fpsemi-examples 007: symmetric_inverse_monoid(5) . . . 13ms fpsemi-examples 008: symmetric_group auth except . . . 15μs fpsemi-examples 009: symmetric_group degree except . . . 14μs fpsemi-examples 010: symmetric_group(6) Burnside + Miller . . . 20ms fpsemi-examples 011: dual_symmetric_inverse_monoid(5) . . . 139ms fpsemi-examples 012: dual_symmetric_inverse_monoid auth except . . . 20μs fpsemi-examples 013: dual_symmetric_inverse_monoid degree except . . . 12μs fpsemi-examples 014: uniform_block_bijection_monoid(5) . . . 10ms fpsemi-examples 015: uniform_block_bijection_monoid auth except . . . 13μs fpsemi-examples 016: uniform_block_bijection_monoid degree except . . . 10μs fpsemi-examples 019: partition_monoid auth except . . . 60μs fpsemi-examples 020: partition_monoid degree except . . . 57μs fpsemi-examples 022: monogenic_semigroup(4, 9) . . . 19μs fpsemi-examples 023: fibonacci_semigroup(2, 5) . . . 79μs fpsemi-examples 024: temperley_lieb_monoid(10) . . . 34ms fpsemi-examples 025: singular_brauer_monoid(6) . . . 317ms fpsemi-examples 026: orientation_preserving_monoid(6) . . . 19ms fpsemi-examples 027: orientation_reversing_monoid(5) . . . 5210μs fpsemi-examples 028: chinese_monoid(3) . . . 143μs fpsemi-examples 029: plactic_monoid(3) . . . 93μs fpsemi-examples 030: stylic_monoid(3) . . . 1089μs fpsemi-examples 031: symmetric_group(6) Carmichael . . . 11ms fpsemi-examples 032: symmetric_group(6) Moore index 0 . . . 8253μs fpsemi-examples 033: symmetric_group(6) Coxeter + Moser . . . 5562μs fpsemi-examples 034: test for the rook monoid . . . 224μs fpsemi-examples 035: alternating_group(7) Moore . . . 20ms fpsemi-examples 036: alternating_group auth except . . . 37μs fpsemi-examples 037: alternating_group degree except . . . 10μs fpsemi-examples 038: partial_transformation_monoid(3) Machine . . . 242μs fpsemi-examples 039: chinese_monoid degree except . . . 18μs fpsemi-examples 040: monogenic_semigroup degree except . . . 17μs fpsemi-examples 041: rectangular_band degree except . . . 33μs fpsemi-examples 042: stellar_monoid degree except . . . 14μs fpsemi-examples 043: plactic_monoid degree except . . . 16μs fpsemi-examples 044: stylic_monoid degree except . . . 12μs fpsemi-examples 045: temperley_lieb_monoid degree except . . . 20μs fpsemi-examples 046: singular_brauer_monoid degree except . . . 22μs fpsemi-examples 047: orientation_preserving_monoid degree except . . . 22μs fpsemi-examples 048: orientation_reversing_monoid degree except . . . 25μs fpsemi-examples 049: test default values . . . 2482μs fpsemi-examples 052: not_symmetric_group(5) Guralnick + Kant [...] . . . 2586μs fpsemi-examples 053: order_preserving_monoid(5) . . . 533μs fpsemi-examples 055: order_preserving_monoid degree except . . . 23μs fpsemi-examples 056: cyclic_inverse_monoid(4) Fernandes 1 . . . 197μs fpsemi-examples 057: cyclic_inverse_monoid(8) Fernandes index 1 . . . 15ms fpsemi-examples 058: cyclic_inverse_monoid Fernandes index 0 . . . 20ms fpsemi-examples 059: order_preserving_cyclic_inverse_monoid(4) . . . 136μs fpsemi-examples 060: order_preserving_cyclic_inverse_monoid(10) . . . 23ms fpsemi-examples 061: cyclic_inverse_monoid degree except . . . 68μs fpsemi-examples 062: cyclic_inverse_monoid author except . . . 21μs fpsemi-examples 063: order_preserving_monoid degree except . . . 21μs fpsemi-examples 064: symmetric_group index except . . . 21μs fpsemi-examples 065: symmetric_group(7) Moore index 1 . . . 5199μs fpsemi-examples 066: order_preserving_cyclic_inverse_monoid(10) . . . 23ms fpsemi-examples 067: partial_isometries_cycle_graph_monoid(5) . . . 567μs fpsemi-examples 068: partial_isometries_cycle_graph_monoid(10) . . . 184ms fpsemi-examples 069: partial_isometries_cycle_graph_monoid d [...] . . . 73μs fpsemi-examples 070: partial_isometries_cycle_graph_monoid(4) . . . 266μs freeband_equal_to 001: . . . 800μs is_acyclic 000: 2-cycle . . . 9000ns is_acyclic 001: 1-cycle . . . 4000ns is_acyclic 002: multi-digraph . . . 6000ns is_acyclic 003: complete digraph 100 . . . 77μs is_acyclic 004: acyclic digraph with 20000 nodes . . . 2036μs is_acyclic 006: for a node . . . 674μs is_acyclic 007: for a node . . . 14μs is_reachable 008: acyclic 20 node digraph . . . 30μs is_reachable 009: 100 node path . . . 6901μs is_reachable 010: 100 node cycle . . . 6744μs is_reachable 011: 20 node clique . . . 289μs last_node_on_path_nc 014: 20 node path . . . 8000ns make 000: from FroidurePin . . . 408μs make 001: from FroidurePin and alphabet . . . 488μs make 002: presentation from presentation . . . 143μs make 003: presentation from presentation and alphabet . . . 28μs make 004: argument checks issue . . . 66μs make 005: use human readable alphabet for make . . . 8000ns make> 000: from ActionDigraph . . . 1163μs make> 001: from ActionDigraph (exceptions) . . . 25μs number_of_words 001: . . . 9000ns operator"" _w 003: literal . . . 7000ns silo 000: alphabet: a, min: 0, max: 10 . . . 25μs silo 001: corner cases . . . 14μs silo 002: alphabet: ab, min: 1, max: 4 . . . 35μs silo 003: alphabet: abc, min: 0, max: 13 . . . 66ms silo 004: code coverage . . . 18μs sislo 005: alphabet: a, min: 0, max: 10 . . . 25μs sislo 006: corner cases . . . 43μs sislo 007: alphabet: ab, min: 1, max: 4 . . . 46μs sislo 008: alphabet: abc, min: 0, max: 13 . . . 54ms sislo 009: code coverage . . . 11μs string 000: detail::is_suffix . . . 6000ns string 001: detail::is_prefix . . . 5000ns string 002: detail::maximum_common_suffix . . . 4000ns string 003: detail::group_digits . . . 15μs string_to_word 002: . . . 7000ns validate_label 013: 20 node path . . . 49μs wilo 001: corner cases . . . 20μs wilo 002: letters: 2, min: 1, max: 4 . . . 32μs wilo 003: letters: 2, min: 1, max: 4 . . . 32μs wilo 004: letters: 3, min: 0, max: 10 . . . 13ms wilo 005: letters: 3, min: 0, max: 13 . . . 148ms wilo 006: forward iterator requirements . . . 160ms wilo 007: more corner cases . . . 36μs wilo 008: starting at a given word 1 . . . 101μs wilo 009: starting at a given word 2 . . . 13μs wilo 010: code coverage . . . 10μs wislo 000: n: 2, min; 1, max: 4 . . . 16μs wislo 001: corner cases . . . 27μs wislo 002: n: 3, min; 0, max: 10 . . . 3812μs wislo 003: n: 3, min; 0, max: 13 . . . 119ms wislo 004: lex + sort . . . 685ms wislo 005: code coverage . . . 19μs =============================================================================== All tests passed (1290346 assertions in 1191 test cases) >>> libsemigroups: Entering fakeroot... make[1]: Entering directory '/home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.3' ./config/install-sh -c -d '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib' ./config/install-sh -c -d '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups/backward-cpp' /bin/sh ./libtool --mode=install /usr/bin/install -c libsemigroups.la '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib' /usr/bin/install -c -m 644 extern/backward-cpp/backward.hpp '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups/backward-cpp' ./config/install-sh -c -d '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/pkgconfig' ./config/install-sh -c -d '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups' ./config/install-sh -c -d '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups/textflowcpp' /usr/bin/install -c -m 644 include/libsemigroups/action.hpp include/libsemigroups/adapters.hpp include/libsemigroups/bipart.hpp include/libsemigroups/bitset.hpp include/libsemigroups/bmat8.hpp include/libsemigroups/bmat.hpp include/libsemigroups/bruidhinn-traits.hpp include/libsemigroups/config.hpp include/libsemigroups/cong-intf.hpp include/libsemigroups/cong-pair-impl.hpp include/libsemigroups/cong-pair.hpp include/libsemigroups/cong-wrap.hpp include/libsemigroups/cong.hpp include/libsemigroups/constants.hpp include/libsemigroups/containers.hpp include/libsemigroups/coset.hpp include/libsemigroups/debug.hpp include/libsemigroups/deprecated.hpp include/libsemigroups/digraph-helper.hpp include/libsemigroups/digraph-with-sources.hpp include/libsemigroups/digraph-with-sources.tpp include/libsemigroups/digraph.hpp include/libsemigroups/exception.hpp include/libsemigroups/fastest-bmat.hpp include/libsemigroups/felsch-tree.hpp include/libsemigroups/felsch-digraph.hpp include/libsemigroups/felsch-digraph.tpp include/libsemigroups/forest.hpp include/libsemigroups/fpsemi-examples.hpp include/libsemigroups/fpsemi-intf.hpp include/libsemigroups/fpsemi.hpp include/libsemigroups/freeband.hpp include/libsemigroups/froidure-pin-base.hpp include/libsemigroups/froidure-pin-impl.hpp include/libsemigroups/froidure-pin.hpp include/libsemigroups/function-ref.hpp include/libsemigroups/hpcombi.hpp include/libsemigroups/int-range.hpp include/libsemigroups/iterator.hpp include/libsemigroups/kambites.hpp '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups' libtool: install: /usr/bin/install -c .libs/libsemigroups.so.2.0.0 /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/libsemigroups.so.2.0.0 /usr/bin/install -c -m 644 libsemigroups.pc '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/pkgconfig' /usr/bin/install -c -m 644 extern/textflowcpp/TextFlow.hpp '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups/textflowcpp' /usr/bin/install -c -m 644 include/libsemigroups/kbe.hpp include/libsemigroups/knuth-bendix.hpp include/libsemigroups/konieczny.hpp include/libsemigroups/libsemigroups.hpp include/libsemigroups/make-froidure-pin.hpp include/libsemigroups/make-present.hpp include/libsemigroups/matrix.hpp include/libsemigroups/node-manager.hpp include/libsemigroups/obvinf.hpp include/libsemigroups/order.hpp include/libsemigroups/pbr.hpp include/libsemigroups/pool.hpp include/libsemigroups/present.hpp include/libsemigroups/present.tpp include/libsemigroups/race.hpp include/libsemigroups/report.hpp include/libsemigroups/runner.hpp include/libsemigroups/schreier-sims.hpp include/libsemigroups/schreier-sims-helper.hpp include/libsemigroups/sims1.hpp include/libsemigroups/sims1.tpp include/libsemigroups/siso.hpp include/libsemigroups/stl.hpp include/libsemigroups/stephen.hpp include/libsemigroups/string-view.hpp include/libsemigroups/string.hpp include/libsemigroups/tce.hpp include/libsemigroups/timer.hpp include/libsemigroups/todd-coxeter-digraph.hpp include/libsemigroups/todd-coxeter-digraph.tpp include/libsemigroups/todd-coxeter.hpp include/libsemigroups/transf.hpp include/libsemigroups/types.hpp include/libsemigroups/uf.hpp include/libsemigroups/ukkonen.hpp include/libsemigroups/ukkonen.tpp include/libsemigroups/wilo.hpp include/libsemigroups/wislo.hpp include/libsemigroups/word.hpp '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups' libtool: install: (cd /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib && { ln -s -f libsemigroups.so.2.0.0 libsemigroups.so.2 || { rm -f libsemigroups.so.2 && ln -s libsemigroups.so.2.0.0 libsemigroups.so.2; }; }) libtool: install: (cd /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib && { ln -s -f libsemigroups.so.2.0.0 libsemigroups.so || { rm -f libsemigroups.so && ln -s libsemigroups.so.2.0.0 libsemigroups.so; }; }) libtool: install: /usr/bin/install -c .libs/libsemigroups.lai /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/libsemigroups.la libtool: install: /usr/bin/install -c .libs/libsemigroups.a /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/libsemigroups.a libtool: install: chmod 644 /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/libsemigroups.a libtool: install: ranlib /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/libsemigroups.a libtool: warning: remember to run 'libtool --finish /usr/lib' make[1]: Leaving directory '/home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.3' >>> libsemigroups-static*: Running split function static... >>> libsemigroups-static*: Preparing subpackage libsemigroups-static... >>> libsemigroups-static*: Stripping binaries >>> libsemigroups-static*: Running postcheck for libsemigroups-static >>> libsemigroups-dev*: Running split function dev... >>> libsemigroups-dev*: Preparing subpackage libsemigroups-dev... >>> libsemigroups-dev*: Stripping binaries >>> libsemigroups-dev*: Running postcheck for libsemigroups-dev >>> libsemigroups*: Running postcheck for libsemigroups >>> libsemigroups*: Preparing package libsemigroups... >>> libsemigroups*: Stripping binaries >>> libsemigroups-dev*: Scanning shared objects >>> libsemigroups-static*: Scanning shared objects >>> libsemigroups*: Scanning shared objects >>> libsemigroups-dev*: Tracing dependencies... libsemigroups=2.7.3-r0 pc:eigen3 pc:fmt pkgconfig >>> libsemigroups-dev*: Package size: 2.1 MB >>> libsemigroups-dev*: Compressing data... >>> libsemigroups-dev*: Create checksum... >>> libsemigroups-dev*: Create libsemigroups-dev-2.7.3-r0.apk >>> libsemigroups-static*: Tracing dependencies... >>> libsemigroups-static*: Package size: 5.6 MB >>> libsemigroups-static*: Compressing data... >>> libsemigroups-static*: Create checksum... >>> libsemigroups-static*: Create libsemigroups-static-2.7.3-r0.apk >>> libsemigroups*: Tracing dependencies... so:libc.musl-s390x.so.1 so:libfmt.so.10 so:libgcc_s.so.1 so:libstdc++.so.6 >>> libsemigroups*: Package size: 1.8 MB >>> libsemigroups*: Compressing data... >>> libsemigroups*: Create checksum... >>> libsemigroups*: Create libsemigroups-2.7.3-r0.apk >>> libsemigroups: Build complete at Mon, 22 Jan 2024 06:23:30 +0000 elapsed time 0h 4m 5s >>> libsemigroups: Cleaning up srcdir >>> libsemigroups: Cleaning up pkgdir >>> libsemigroups: Uninstalling dependencies... (1/4) Purging .makedepends-libsemigroups (20240122.061926) (2/4) Purging eigen-dev (3.4.0-r9) (3/4) Purging fmt-dev (10.1.1-r0) (4/4) Purging fmt (10.1.1-r0) OK: 346 MiB in 107 packages >>> libsemigroups: Updating the testing/s390x repository index... >>> libsemigroups: Signing the index...