>>> libsemigroups: Building testing/libsemigroups 2.7.1-r3 (using abuild 3.11.21-r0) started Tue, 29 Aug 2023 08:25:15 +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 (20230829.082516) OK: 356 MiB in 109 packages >>> libsemigroups: Cleaning up srcdir >>> libsemigroups: Cleaning up pkgdir >>> libsemigroups: Cleaning up tmpdir >>> libsemigroups: Fetching https://distfiles.alpinelinux.org/distfiles/edge//libsemigroups-2.7.1.tar.gz >>> libsemigroups: Fetching https://distfiles.alpinelinux.org/distfiles/edge//libsemigroups-2.7.1.tar.gz >>> libsemigroups: Checking sha512sums... libsemigroups-2.7.1.tar.gz: OK >>> libsemigroups: Unpacking /var/cache/distfiles/edge/libsemigroups-2.7.1.tar.gz... 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.1' 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 In file included from /usr/include/c++/13.1.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.1.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.1.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.1.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-sims1.o 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.1' ./test_all --use-colour yes --order lex --abort [quick] Filters: [quick] Action 001: row and column basis orbits for BMat8 . . . 29μs Action 002: row and column basis orbits for BMat8 . . . 1358μs Action 003: add generators after enumeration . . . 1385μs Action 004: multipliers for BMat8 row and column orbits . . . 2914μs Action 005: orbits for regular boolean mat monoid 5 . . . 206ms Action 007: partial perm image orbit . . . 208μs Action 008: partial perm image orbit . . . 46ms Action 009: partial perm image orbit . . . 52ms Action 010: partial perm image orbit . . . 54ms Action 011: permutation on integers . . . 11μs Action 012: permutation on sets, arrays . . . 112μs Action 013: permutation on tuples, arrays . . . 10ms Action 014: permutation on sets, vectors . . . 134μs Action 015: permutation on tuples, vectors . . . 14ms Action 016: misc . . . 1560μs Action 017: partial perm image orbit . . . 36μs Action 018: permutation on tuples, arrays (360360) . . . 155ms Action 019: orbits for regular BMat8 monoid 5 with stop/start . . . 243ms Action 021: orbits for regular boolean mat monoid 5 (BMat<5> [...] . . . 399ms ActionDigraph 000: constructor with 1 default arg . . . 21μs ActionDigraph 001: constructor with 0 default args . . . 33μs ActionDigraph 002: add nodes . . . 13μs ActionDigraph 003: add edges . . . 223μs ActionDigraph 004: strongly connected components - cycles . . . 33μs ActionDigraph 005: strongly connected components - no edges . . . 29ms ActionDigraph 006: strongly connected components - disjoint cycles . . . 1526μs ActionDigraph 007: strongly connected components - complete graphs . . . 653μs ActionDigraph 008: exceptions . . . 86μs ActionDigraph 009: spanning forest - complete graphs . . . 3869μs ActionDigraph 010: spanning forest - disjoint cycles . . . 108μs ActionDigraph 011: restrict . . . 5000ns ActionDigraph 012: remove_edge_nc . . . 4000ns ActionDigraph 013: scc large cycle . . . 15ms ActionDigraph 014: random . . . 22μs ActionDigraph 015: reserve . . . 5000ns ActionDigraph 016: default constructors . . . 9000ns ActionDigraph 017: scc iterators . . . 1061μs ActionDigraph 018: iterator to edges . . . 995μs ActionDigraph 019: root of scc . . . 309μs ActionDigraph 020: cbegin/end_panislo - 100 node path . . . 688μs ActionDigraph 021: cbegin/end_pislo . . . 49μs ActionDigraph 022: cbegin/end_pani(s)lo - 100 node cycle . . . 730μs ActionDigraph 023: cbegin/cend_pilo - tree 14 nodes . . . 57μs ActionDigraph 024: cbegin/end_pstilo - Cayley digraph . . . 194ms ActionDigraph 025: cbegin_pstilo - Tsalakou . . . 429μs ActionDigraph 026: cbegin/end_pstislo - Cayley digraph . . . 181ms ActionDigraph 027: cbegin/end_pstislo - Cayley digraph . . . 156μs ActionDigraph 028: path iterators corner cases . . . 106μs ActionDigraph 029: reverse node iterator . . . 5000ns ActionDigraph 030: pstilo corner case . . . 38μs ActionDigraph 031: number_of_paths corner cases . . . 381μs ActionDigraph 032: number_of_paths acyclic digraph . . . 47ms ActionDigraph 033: number_of_paths binary tree . . . 361ms ActionDigraph 034: number_of_paths large binary tree . . . 101ms ActionDigraph 035: number_of_paths 400 node random digraph . . . 1074μs ActionDigraph 036: number_of_paths 10 node acyclic digraph . . . 28μs ActionDigraph 037: number_of_paths node digraph . . . 2562μs ActionDigraph 038: random/random_acyclic exceptions . . . 67μs ActionDigraph 039: unsafe (next) neighbour . . . 45μs ActionDigraph 040: number_of_egdes incident to a node . . . 51μ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 . . . 9000ns ActionDigraph 045: operator<< . . . 9000ns Array2 044: all . . . 36μs BMat8 001: transpose . . . 19μs BMat8 002: multiplication . . . 12μs BMat8 003: identity matrix . . . 7000ns BMat8 004: random . . . 227μs BMat8 005: call operator . . . 10μs BMat8 006: operator<< . . . 9000ns BMat8 007: set . . . 40μs BMat8 008: row space basis . . . 544μs BMat8 009: col space basis . . . 579μs BMat8 010: row space basis . . . 947μs BMat8 011: number_of_rows, number_of_cols . . . 25μs BMat8 012: row_space, col_space . . . 154μs BMat8 013: rows . . . 25μs BMat8 014: one . . . 5000ns BMat8 015: vector constructor . . . 48μs BMat8 016: operator< . . . 7000ns BMat8 017: adapters . . . 12μs BMat8 018: one . . . 5000ns Bipartition 009: mem fns 1 . . . 26μs Bipartition 010: hash . . . 3000ns Bipartition 011: mem fns 2 . . . 14μs Bipartition 012: delete/copy . . . 4000ns Bipartition 013: degree 0 . . . 5000ns Bipartition 014: exceptions . . . 25μs Bipartition 015: convenience constructor . . . 218μs Bipartition 016: force copy constructor over move constructor . . . 9000ns Bipartition 017: adapters . . . 3000ns BitSet 000: size . . . 11μs BitSet 001: operator< . . . 5000ns BitSet 002: operator== . . . 7000ns BitSet 003: operator!= . . . 8000ns BitSet 004: operator&= . . . 11μs BitSet 005: & . . . 18μs BitSet 006: operator|= . . . 15μs BitSet 007: operator[] . . . 12μs BitSet 008: set(none) . . . 20μs BitSet 009: set(pos, value) . . . 24μs BitSet 010: set(first, last, value) . . . 19μs BitSet 011: reset(first, last) . . . 16μs BitSet 012: reset(pos) . . . 17μs BitSet 013: apply (iterate through set bits) . . . 31μs BitSet 014: std::hash . . . 3000ns BitSet 015: constructors . . . 12μs BitSet 016: max_size . . . 3000ns BitSet 017: insertion operators . . . 5000ns Blocks 001: empty blocks . . . 5000ns Blocks 002: non-empty blocks . . . 7000ns Blocks 003: left blocks of bipartition . . . 6000ns Blocks 004: right blocks of bipartition . . . 7000ns Blocks 005: copy [empty blocks] . . . 5000ns Blocks 006: copy [non-empty blocks] . . . 6000ns Blocks 007: hash value . . . 5000ns Blocks 008: operator< . . . 5000ns Congruence 000: left congruence on fp semigroup . . . 179μs Congruence 001: 2-sided congruence on fp semigroup . . . 312μs Congruence 002: left congruence on fp semigroup . . . 144μs Congruence 003: word_to_class_index for cong. on fp semigroup . . . 158μs Congruence 004: word_to_class_index for cong. on fp semigroup . . . 272μs Congruence 005: trivial congruence on non-fp semigroup . . . 304μs Congruence 006: 2-sided congruence on non-fp semigroup . . . 231μs Congruence 007: 2-sided congruence on fp semigroup . . . 389μs Congruence 008: 2-sided congruence on infinite fp semigroup . . . 233μs Congruence 009: 2-sided congruence on infinite fp semigroup . . . 291μs Congruence 010: 2-sided congruence on finite semigroup . . . 27ms Congruence 012: 2-sided congruence on finite semigroup . . . 2601μs Congruence 013: trivial 2-sided congruence on bicyclic monoid . . . 38ms Congruence 014: non-trivial 2-sided congruence on bicyclic monoid . . . 239μs Congruence 015: 2-sided congruence on free abelian monoid . . . 271μs Congruence 016: example where TC works but KB doesn't . . . 416μs Congruence 017: 2-sided congruence on finite semigroup . . . 232μs Congruence 018: infinite fp semigroup from GAP library . . . 342μs Congruence 019: 2-sided cong. on fp semigroup with infinite [...] . . . 194μs Congruence 020: trivial cong. on an fp semigroup . . .  -- with compute size 212μs  -- with don't compute size 176μs Congruence 021: duplicate generators . . . 351μs Congruence 022: non-trivial classes . . . 929μs Congruence 023: right congruence on finite semigroup . . . 178ms Congruence 024: redundant generating pairs . . . 55μs Congruence 025: 2-sided cong. on free semigroup . . . 57μs Congruence 026: is_quotient_obviously_(in)finite . . . 645μs Congruence 027: less . . . 165μs Congruence 028: 2-sided congruences of BMat8 semigroup . . . 95ms Congruence 029: left congruence on finite semigroup . . . 357μs Congruence 030: right congruence on finite semigroup . . . 323μs Congruence 031: right congruence on finite semigroup . . . 252μs Congruence 032: contains . . . 94μs Congruence 033: stellar_monoid S2 . . . 332μs Congruence 034: stellar_monoid S3 . . . 450μs Congruence 035: stellar_monoid S4 . . . 1093μs Congruence 036: stellar_monoid S5 . . . 4991μs Congruence 037: stellar_monoid S6 . . . 44ms Congruence 038: stellar_monoid S7 . . . 632ms Congruence 039: left cong. on an f.p. semigroup . . . 770μs Congruence 040: 2-sided cong. on infinite f.p. semigroup . . . 117μs Congruence 041: 2-sided congruence constructed from type only . . . 204μs Congruence 042: const_contains . . . 359μs Congruence 043: no winner . . . 4112μs Congruence 044: congruence over smalloverlap . . . 5128μs CongruenceByPairs 001: (cong) 2-sided cong. on finite semigroup . . . 261μs CongruenceByPairs 002: (cong) left congruence on finite semigroup . . . 101μs CongruenceByPairs 003: (cong) right congruence on finite semigroup . . . 102μs CongruenceByPairs 004: (cong) trivial congruence on finite s [...] . . . 88μs CongruenceByPairs 005: (cong) trivial left congruence on fin [...] . . . 82μs CongruenceByPairs 006: (cong) trivial right congruence on fi [...] . . . 70μs CongruenceByPairs 007: (cong) universal congruence on finite [...] . . . 294μs CongruenceByPairs 009: (cong) 2-sided congruence on finite s [...] . . . 374ms CongruenceByPairs 010: (cong) left congruence on big finite [...] . . . 21ms CongruenceByPairs 011: (cong) left congruence on TCE . . . 161μs CongruenceByPairs 012: (cong) is_quotient_obviously_finite . . . 74μs CongruenceByPairs 013: (cong) class_index_to_word/quotient . . .  -- with right congruence 4714μs  -- with left congruence 847μs  -- with 2-sided congruence 4523μs CongruenceByPairs 014: (cong) const_word_to_class_index . . .  -- with right congruence 39μs  -- with left congruence 25μs  -- with 2-sided congruence 24μs CongruenceByPairs 015: (cong) size non-Element* . . . 22ms CongruenceInterface 000: add_pair . . .  -- with ToddCoxeter 86μs  -- with KnuthBendix 126μs  -- with CongruenceByPairs 101μs  -- with Congruence 252μs CongruenceInterface 001: contains/const_contains . . .  -- with ToddCoxeter and no parent 79μs  -- with KnuthBendix and no parent 104μs  -- with Congruence and parent 264μs  -- with CongruenceByPairs and parent 90μs CongruenceInterface 002: less . . .  -- with ToddCoxeter 71μs  -- with KnuthBendix 123μs  -- with CongruenceByPairs 89μs  -- with Congruence 237μs CongruenceInterface 003: is_quotient_obviously_(in)finite . . .  -- with ToddCoxeter 64μs  -- with KnuthBendix 106μs CongruenceInterface 004: is_quotient_obviously_(in)finite . . .  -- with CongruenceByPairs 96μs  -- with Congruence 218μs CongruenceInterface 005: parent_froidure_pin . . .  -- with ToddCoxeter 26μs  -- with KnuthBendix 18μs CongruenceInterface 006: parent_froidure_pin . . .  -- with CongruenceByPairs 85μs  -- with Congruence 210μs CongruenceInterface 007: cbegin/cend_ntc . . .  -- with ToddCoxeter 228μs  -- with KnuthBendix 1437μs CongruenceInterface 008: cbegin/cend_ntc . . .  -- with CongruenceByPairs 182μs  -- with Congruence 292μs CongruenceInterface 009: quotient is immutable . . .  -- with ToddCoxeter 63μs  -- with KnuthBendix 98μs  -- with Congruence 133μs CongruenceInterface 010: no generating pairs added . . .  -- with KnuthBendix and common behaviour 3832μs  -- with Congruence and common behaviour 4113μs  -- with ToddCoxeter 53μs CongruenceInterface 011: nr generators not set . . .  -- with ToddCoxeter 62μs  -- with KnuthBendix 59μs  -- with Congruence 59μs CongruenceInterface 012: no generating pairs . . . 141μs ConstIteratorStateless 001: ? . . . 4000ns ConstIteratorStateless 002: ? . . . 3000ns Constants 001: Undefined . . . 14μs Constants 002: PositiveInfinity . . . 10μs Constants 003: NegativeInfinity . . . 8000ns Constants 004: LimitMax . . . 8000ns Duf 004: unite . . . 27μs Duf 006: compress . . . 8000ns Duf 008: resize . . . 19μs Duf 009: resize . . . 6000ns Duf 010: big chain . . . 12ms Duf 012: empty table . . . 4000ns Duf 014: join . . . 7000ns Duf 016: contains . . . 15μ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 . . . 10μs DynamicArray2 004: default constructor with 0 default args . . . 5000ns DynamicArray2 005: copy constructor with 1 default args . . . 10μs DynamicArray2 006: copy constructor with 0 default args . . . 8000ns DynamicArray2 007: add_rows . . . 7000ns DynamicArray2 008: add_rows . . . 6000ns DynamicArray2 009: add_cols . . . 15μs DynamicArray2 010: set/get . . . 34μs DynamicArray2 011: append 1/2 . . . 102μs DynamicArray2 012: append 2/2 . . . 188μs DynamicArray2 013: count . . . 19μs DynamicArray2 014: clear . . . 5000ns DynamicArray2 015: begin_row and end_row . . . 47μs DynamicArray2 016: cbegin_row and cend_row . . . 13μs DynamicArray2 017: iterator operator++ (postfix) . . . 167μs DynamicArray2 018: iterator operator++ (prefix) . . . 1101μs DynamicArray2 019: iterator operator-- (postfix) . . . 216μs DynamicArray2 020: iterator operator-- (prefix) . . . 218μs DynamicArray2 021: operator= . . . 8000ns DynamicArray2 022: operator== and operator!= . . . 167μs DynamicArray2 023: empty and clear . . . 7000ns DynamicArray2 024: max_size . . . 3000ns DynamicArray2 025: swap . . . 36μs DynamicArray2 026: iterator arithmetic . . . 990μs DynamicArray2 027: iterator comparison . . . 6000ns DynamicArray2 028: iterator operator= . . . 4000ns DynamicArray2 029: iterator operator[] . . . 44μs DynamicArray2 030: iterator operator-> . . . 15μs DynamicArray2 031: const_iterator operator++/-- . . . 142μs DynamicArray2 032: const_iterator operator++/-- . . . 3000ns DynamicArray2 033: column iterators . . . 12μs DynamicArray2 034: column iterator arithmetic . . . 3956μs DynamicArray2 035: iterator assignment constructor . . . 985μs DynamicArray2 036: reserve method . . . 86μs DynamicArray2 037: erase column . . . 7000ns 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 . . . 11μs FelschTree 000: previously failing example . . . 20μs Forest 001: test forest . . . 53μs FpSemigroup 001: Renner monoid type B2 (E. G. presentation), q = 1 . . . 560μs FpSemigroup 002: Renner monoid type B2 (E. G. presentation), q = 0 . . . 526μs FpSemigroup 003: Renner monoid type B3 (E. G. presentation), q = 1 . . . 90ms FpSemigroup 004: Renner monoid type B3 (E. G. presentation), q = 0 . . . 90ms FpSemigroup 005: Renner monoid type B2 (Gay-Hivert presentat [...] . . . 529μs FpSemigroup 006: Renner monoid type B2 (Gay-Hivert presentat [...] . . . 541μs FpSemigroup 007: Renner monoid type B3 (Gay-Hivert presentat [...] . . . 2341μs FpSemigroup 008: Renner monoid type B3 (Gay-Hivert presentat [...] . . . 2261μs FpSemigroup 009: Renner monoid type B4 (Gay-Hivert presentat [...] . . . 142ms FpSemigroup 010: Renner monoid type B4 (Gay-Hivert presentat [...] . . . 210ms FpSemigroup 013: Renner monoid type D2 (E. G. presentation), q = 1 . . . 741μs FpSemigroup 014: Renner monoid type D2 (E. G. presentation), q = 0 . . . 705μs FpSemigroup 015: Renner monoid type D3 (E. G. presentation), q = 1 . . . 2966μs FpSemigroup 016: Renner monoid type D3 (E. G. presentation), q = 0 . . . 3069μs FpSemigroup 017: Renner monoid type D4 (E. G. presentation), q = 1 . . . 979ms FpSemigroup 018: Renner monoid type D4 (E. G. presentation), q = 0 . . . 976ms FpSemigroup 019: Renner monoid type D2 (Gay-Hivert presentat [...] . . . 824μs FpSemigroup 020: Renner monoid type D2 (Gay-Hivert presentat [...] . . . 754μs FpSemigroup 021: Renner monoid type D3 (Gay-Hivert presentat [...] . . . 2970μs FpSemigroup 022: Renner monoid type D3 (Gay-Hivert presentat [...] . . . 3036μs FpSemigroup 023: Renner monoid type D4 (Gay-Hivert presentat [...] . . . 56ms FpSemigroup 024: Renner monoid type D4 (Gay-Hivert presentat [...] . . . 62ms FpSemigroup 029: Rook monoid R5, q = 0 . . . 3636μs FpSemigroup 030: Rook monoid R5, q = 1 . . . 3488μs FpSemigroup 031: Rook monoid R6, q = 0 . . . 28ms FpSemigroup 032: Rook monoid R6, q = 1 . . . 28ms FpSemigroup 033: normal_form . . . 120μs FpSemigroup 034: for a finite semigroup . . . 352μs FpSemigroup 035: finite fp semigroup, dihedral group of order 6 . . . 264μs FpSemigroup 036: finite fp semigroup, size 16 . . . 400μs FpSemigroup 037: finite fp semigroup, size 16 . . . 647μs FpSemigroup 038: fp semigroup, size 240 . . . 539μs FpSemigroup 039: add_rule . . . 104μs FpSemigroup 040: add_rule . . . 98μs FpSemigroup 041: equal_to . . . 144μs FpSemigroup 042: cbegin/cend_rules . . . 38μs FpSemigroup 043: semigroup of size 3 . . . 244μs FpSemigroup 044: run_for/until . . . 2483μs FpSemigroup 045: constructors . . . 121μs FpSemigroup 046: set_inverses . . . 103μs FpSemigroup 047: smalloverlap . . . 4946μs FpSemigroup 048: quaternion group Q8 . . . 241μ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 [...] . . . 299μs FpSemigroupInterface 000: run with no alphabet . . .  -- with ToddCoxeter 45μs  -- with KnuthBendix 20μs  -- with FpSemigroup 22μs FpSemigroupInterface 001: equal_to . . .  -- with ToddCoxeter and human readable alphabet 932μs  -- with KnuthBendix and human readable alphabet 3018μs  -- with FpSemigroup and human readable alphabet 1869μs  -- with FpSemigroupByPairs 1391μs FpSemigroupInterface 002: normal_form . . .  -- with ToddCoxeter 95μs  -- with KnuthBendix 131μs  -- with FpSemigroup 236μs FpSemigroupInterface 003: set_alphabet (1/2) . . .  -- with ToddCoxeter 52μs  -- with KnuthBendix 40μs  -- with FpSemigroup 43μs FpSemigroupInterface 004: set_alphabet (2/2) . . . 585μs FpSemigroupInterface 005: add_rule after finished . . .  -- with ToddCoxeter and human readable alphabet 77μs  -- with KnuthBendix and human readable alphabet 103μs  -- with FpSemigroup and human readable alphabet 169μs  -- with FpSemigroupByPairs 594μs FpSemigroupInterface 006: add_rule with equal words (1/2) . . .  -- with ToddCoxeter and human readable alphabet 126μs  -- with KnuthBendix and human readable alphabet 200μs  -- with FpSemigroup and human readable alphabet 246μs  -- with FpSemigroupByPairs 129μs FpSemigroupInterface 007: add_rule with equal words (2/2) . . .  -- with ToddCoxeter 17μs  -- with KnuthBendix 13μs  -- with FpSemigroup 17μs FpSemigroupInterface 008: add_rule with word_type . . .  -- with ToddCoxeter 31μs  -- with KnuthBendix 23μs  -- with FpSemigroup 50μs FpSemigroupInterface 009: add_rule with empty word (1/2) . . .  -- with ToddCoxeter 22μs  -- with FpSemigroup 28μs FpSemigroupInterface 010: add_rule with empty word (1/2) . . . 11μs FpSemigroupInterface 011: add_rules (1/3) . . .  -- with ToddCoxeter 31μs  -- with KnuthBendix 19μs  -- with FpSemigroup 29μs FpSemigroupInterface 012: add_rules (2/3) . . . 252μs FpSemigroupInterface 013: add_rules (3/3) . . .  -- with ToddCoxeter 25μs  -- with KnuthBendix 21μs  -- with FpSemigroup 43μs FpSemigroupInterface 014: set_identity (1/3) . . .  -- with ToddCoxeter 59μs  -- with KnuthBendix 57μs  -- with FpSemigroup 84μs FpSemigroupInterface 015: set_identity (2/3) . . . 165μs FpSemigroupInterface 016: set_identity (3/3) . . .  -- with ToddCoxeter 41μs  -- with KnuthBendix 38μs  -- with FpSemigroup 69μs FpSemigroupInterface 017: identity . . .  -- with ToddCoxeter 18μs  -- with KnuthBendix 15μs  -- with FpSemigroup 24μs FpSemigroupInterface 018: set_inverses + inverses (1/2) . . .  -- with ToddCoxeter 81μs  -- with KnuthBendix 66μs  -- with FpSemigroup 111μs FpSemigroupInterface 019: set_inverses + inverses (2/2) . . . 188μs FpSemigroupInterface 020: is_obviously_infinite (1/2) . . .  -- with ToddCoxeter 80μs  -- with KnuthBendix 128μs  -- with FpSemigroup 211μs FpSemigroupInterface 021: is_obviously_infinite (2/2) . . . 29μs FpSemigroupInterface 022: is_obviously_finite (1/2) . . .  -- with ToddCoxeter 77μs  -- with KnuthBendix 122μs  -- with FpSemigroup 173μs FpSemigroupInterface 023: is_obviously_finite (2/2) . . . 18μs FpSemigroupInterface 024: to_gap_string (1/3) . . .  -- with ToddCoxeter 25μs  -- with KnuthBendix 16μs  -- with FpSemigroup 45μs FpSemigroupInterface 025: to_gap_string (2/3) . . . 12μs FpSemigroupInterface 026: to_gap_string (3/3) . . . 16μs FroidurePin 015: (BMat8) regular boolean mat monoid 4 . . . 61ms FroidurePin 016: (BMat8) exception zero generators given . . . 5000ns FroidurePin 017: (BMat8) exception word_to_element . . . 33μs FroidurePin 018: (BMat8) exception prefix . . . 862μs FroidurePin 019: (BMat8) exception suffix . . . 8000ns FroidurePin 020: (BMat8) exception first_letter . . . 1460μs FroidurePin 021: (BMat8) exception final_letter . . . 8000ns FroidurePin 022: (BMat8) exception current_length . . . 840μs FroidurePin 023: (BMat8) exception product_by_reduction . . . 1465μs FroidurePin 024: (BMat8) exception fast_product . . . 885μs FroidurePin 025: (BMat8) exception is_idempotent . . . 32ms FroidurePin 026: (BMat8) copy constructor . . .  -- with fully enumerated 36ms  -- with partially enumerated 26ms  -- with not enumerated 23ms FroidurePin 027: (BMat8) cbegin/end_rules . . . 27μs FroidurePin 031: (integers) . . . 181μs FroidurePin 039: (pairs of integers) non-trivial user type . . . 26μs FroidurePin 055: (tropical max-plus semiring matrices) . . . 206μs FroidurePin 061: projective max plus matrix . . . 708μs FroidurePin 062: projective max plus matrix . . . 17μs FroidurePin> 009: small example 2 . . . 37μs FroidurePin> 005: small example 1 . . . 92μs FroidurePin> 007: regular bmat monoid 4 . . . 58ms FroidurePin> 011: small example 3 . . . 527μs FroidurePin> 006: small example 1 . . . 112μs FroidurePin> 008: regular bmat monoid 4 . . . 61ms FroidurePin> 010: small example 2 . . . 21μs FroidurePin> 012: small example 3 . . . 595μs FroidurePin 000: small example 1 . . . 114μs FroidurePin 001: default constructed . . . 67μs FroidurePin 002: small example 2 . . . 40μs FroidurePin 004: exception: is_idempotent . . . 108μs FroidurePin> 033: Example 000 . . . 481μs FroidurePin> 035: Example 001 . . . 25μs FroidurePin> 032: Example 000 . . . 422μs FroidurePin> 034: Example 001 . . . 22μs FroidurePin 036: exception: current_position . . . 83μs FroidurePin 037: exception: word_to_element . . . 59μs FroidurePin 038: exception: prefix, suffix, first_letter . . . 12ms FroidurePin> 040: Example 000 . . . 250μs FroidurePin> 041: Example 000 . . . 45μs FroidurePin> 046: Example 005 . . . 129μs FroidurePin> 047: Example 005 . . . 128μs FroidurePin> 048: Example 005 . . . 119μs FroidurePin> 044: Example 004 . . . 19μs FroidurePin> 045: Example 004 . . . 21μs FroidurePin> 049: Example 006 . . . 723μs FroidurePin> 050: Example 006 . . . 841μs FroidurePin> 051: Example 006 . . . 860μs FroidurePin> 052: Example 007 . . . 109μs FroidurePin> 053: Example 007 . . . 127μs FroidurePin> 054: Example 007 . . . 123μs FroidurePin 056: example 1 . . . 142μs FroidurePin 057: example 2 . . . 115μs FroidurePin> 058: . . . 510μs FroidurePin> 059: . . . 41μs FroidurePin> 060: exceptions: add_generator(s) . . . 29μs FroidurePin> 065: no exception zero generators given . . . 14μs FroidurePin> 066: exception generators of different [...] . . . 43μs FroidurePin> 067: exception current_position . . . 31μs FroidurePin> 068: exception word_to_element . . . 31μs FroidurePin> 069: exception gens . . . 488μs FroidurePin> 070: exception prefix . . . 15ms FroidurePin> 071: exception suffix . . . 40ms FroidurePin> 072: exception first_letter . . . 27μs FroidurePin> 073: exception final_letter . . . 23μs FroidurePin> 074: exception current_length . . . 23μs FroidurePin> 075: exception product_by_reduction . . . 219μs FroidurePin> 076: exception fast_product . . . 553μs FroidurePin> 077: exception current_position . . . 578μs FroidurePin> 078: exception is_idempotent . . . 442μs FroidurePin> 079: exception add_generators . . . 20μs FroidurePin> 080: multithread number_of_idempotents . . . 370μs FroidurePin> 081: small semigroup . . . 14μs FroidurePin> 082: large semigroup . . . 5417μs FroidurePin> 083: at, position, current_* . . . 5452μs FroidurePin> 084: run . . . 4930μs FroidurePin> 085: run [many stops and starts] . . . 4952μs FroidurePin> 086: factorisation, length [1 element] . . . 5190μs FroidurePin> 087: factorisation, products [all elements] . . . 6397μs FroidurePin> 088: first/final letter, prefix, suffi [...] . . . 5219μs FroidurePin> 089: current_position [standard] . . . 17μs FroidurePin> 090: current_position [duplicate gens] . . . 10ms FroidurePin> 091: current_position [after add_generators] . . . 5782μs FroidurePin> 092: cbegin_idempotents/cend [1 thread] . . . 5680μs FroidurePin> 093: idempotent_cend/cbegin [1 thread] . . . 5665μs FroidurePin> 094: is_idempotent [1 thread] . . . 5484μs FroidurePin> 096: finished, started . . . 5271μs FroidurePin> 097: current_position . . . 1256μs FroidurePin> 098: sorted_position, sorted_at . . . 7099μs FroidurePin> 099: right/left Cayley graph . . . 22ms FroidurePin> 100: iterator . . . 7600μs FroidurePin> 101: reverse iterator . . . 7636μs FroidurePin> 102: iterator arithmetic . . . 22ms FroidurePin> 103: iterator sorted . . . 18ms FroidurePin> 104: iterator sorted arithmetic . . . 24ms FroidurePin> 105: copy [not enumerated] . . . 5387μs FroidurePin> 106: copy_closure [not enumerated] . . . 34ms FroidurePin> 107: copy_add_generators [not enumerated] . . . 29ms FroidurePin> 108: copy [partly enumerated] . . . 5794μs FroidurePin> 109: copy_closure [partly enumerated] . . . 9811μs FroidurePin> 110: copy_add_generators [partly enumerated] . . . 6053μs FroidurePin> 111: copy [fully enumerated] . . . 8061μs FroidurePin> 112: copy_closure [fully enumerated] . . . 10ms FroidurePin> 113: copy_add_generators [fully enumerated] . . . 8470μs FroidurePin> 114: relations [duplicate gens] . . . 163μs FroidurePin> 115: relations . . . 7304μs FroidurePin> 116: relations [copy_closure, duplicat [...] . . . 9774μs FroidurePin> 117: relations [copy_add_generators, d [...] . . . 10ms FroidurePin> 118: relations [from copy, not enumerated] . . . 6182μs FroidurePin> 119: relations [from copy, partly enum [...] . . . 11ms FroidurePin> 120: relations [from copy, fully enumerated] . . . 10ms FroidurePin> 121: relations [from copy_closure, not [...] . . . 10ms FroidurePin> 122: relations [from copy_add_generato [...] . . . 6532μs FroidurePin> 123: relations [from copy_closure, par [...] . . . 9519μs FroidurePin> 124: relations [from copy_add_generato [...] . . . 7549μs FroidurePin> 125: relations [from copy_closure, ful [...] . . . 11ms FroidurePin> 126: relations [from copy_add_generato [...] . . . 9955μs FroidurePin> 127: add_generators [duplicate generators] . . . 263μs FroidurePin> 128: add_generators [incremental 1] . . . 299μs FroidurePin> 129: add_generators [incremental 2] . . . 345μs FroidurePin> 130: closure [duplicate generators] . . . 161μs FroidurePin> 131: closure . . . 61μs FroidurePin> 132: factorisation . . . 10μs FroidurePin> 134: minimal_factorisation . . . 33μs FroidurePin> 135: batch_size (for an extremely larg [...] . . . 9000ns FroidurePin> 137: exception: generators of differen [...] . . . 15μs FroidurePin> 138: exception: current_position . . . 25μs FroidurePin> 139: exception: word_to_element . . . 23μs FroidurePin> 140: exception: gens, current_position . . . 639μs FroidurePin> 141: exception: add_generators . . . 23μs KBE 000: constructors . . . 28μs KBE 001: test . . . 49μs KBE 002: factorisation . . . 36μs KBE 003: swap . . . 17μs KBE 004: adapters . . . 16μs KBE 005: conversions . . . 16μs Kambites 000: (fpsemi) MT test 4 (std::string) . . . 4852μs Kambites 001: (fpsemi) MT test 4 (MultiStringView) . . . 5967μs Kambites 002: (fpsemi) number_of_pieces (std::string) . . . 99μs Kambites 003: (fpsemi) number_of_pieces (MultiStringView) . . . 83μs Kambites 004: (fpsemi) small_overlap_class (std::string) . . . 3218μs Kambites 005: (fpsemi) small_overlap_class (MultiStringView) . . . 3172μs Kambites 006: (fpsemi) random (std::string) . . . 8000μs Kambites 007: (fpsemi) random (MultiStringView) . . . 7859μ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) . . . 46μ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 [...] . . . 37ms Kambites 015: (fpsemi) smalloverlap/gap/test.gi:63 (std::string) . . . 26ms Kambites 016: (fpsemi) smalloverlap/gap/test.gi:63 (MultiStr [...] . . . 40ms Kambites 017: (fpsemi) smalloverlap/gap/test.gi:70 (std::string) . . . 94ms Kambites 018: (fpsemi) smalloverlap/gap/test.gi:70 (MultiStr [...] . . . 148ms Kambites 021: (fpsemi) code coverage (std::string) . . . 21μs Kambites 022: (fpsemi) code coverage (MultiStringView) . . . 15μs Kambites 023: (fpsemi) prefix (std::string) . . . 45μs Kambites 024: (fpsemi) prefix (MultiStringView) . . . 77μs Kambites 025: (fpsemi) normal_form (Example 3.15) (std::string) . . . 47μs Kambites 026: (fpsemi) normal_form (Example 3.15) (MultiStri [...] . . . 77μs Kambites 027: (fpsemi) normal_form (Example 3.16) (std::string) . . . 33μs Kambites 028: (fpsemi) normal_form (Example 3.16) (MultiStri [...] . . . 53μs Kambites 029: (fpsemi) normal_form (Example 3.16) more exhau [...] . . . 48ms Kambites 030: (fpsemi) normal_form (Example 3.16) more exhau [...] . . . 59ms Kambites 031: (fpsemi) small presentation (std::string) . . . 53μs Kambites 032: (fpsemi) small presentation (MultiStringView) . . . 27μs Kambites 033: (fpsemi) non-smalloverlap (std::string) . . . 56μs Kambites 034: (fpsemi) non-smalloverlap (MultiStringView) . . . 45μs Kambites 035: (fpsemi) MT test 3 (std::string) . . . 41μs Kambites 036: (fpsemi) MT test 3 (MultiStringView) . . . 38μs Kambites 037: (fpsemi) MT test 5 (std::string) . . . 16μs Kambites 038: (fpsemi) MT test 5 (MultiStringView) . . . 16μs Kambites 039: (fpsemi) MT test 6 (std::string) . . . 25μs Kambites 040: (fpsemi) MT test 6 (MultiStringView) . . . 33μs Kambites 041: (fpsemi) MT test 10 (std::string) . . . 21μs Kambites 042: (fpsemi) MT test 10 (MultiStringView) . . . 29μs Kambites 043: (fpsemi) MT test 13 (std::string) . . . 15μs Kambites 044: (fpsemi) MT test 13 (MultiStringView) . . . 17μs Kambites 045: (fpsemi) MT test 14 (std::string) . . . 13μs Kambites 046: (fpsemi) MT test 14 (MultiStringView) . . . 16μs Kambites 047: (fpsemi) MT test 15 (std::string) . . . 21μs Kambites 048: (fpsemi) MT test 15 (MultiStringView) . . . 23μs Kambites 049: (fpsemi) MT test 16 (std::string) . . . 23μs Kambites 050: (fpsemi) MT test 16 (MultiStringView) . . . 26μs Kambites 051: (fpsemi) MT test 17 (std::string) . . . 84μs Kambites 052: (fpsemi) MT test 17 (MultiStringView) . . . 75μs Kambites 053: (fpsemi) weak C(4) not strong x 1 (std::string) . . . 317μs Kambites 054: (fpsemi) weak C(4) not strong x 1 (MultiStringView) . . . 513μs Kambites 055: (fpsemi) weak C(4) not strong x 2 (std::string) . . . 319μs Kambites 056: (fpsemi) weak C(4) not strong x 2 (MultiStringView) . . . 526μs Kambites 057: (fpsemi) weak C(4) not strong x 3 (std::string) . . . 282μs Kambites 058: (fpsemi) weak C(4) not strong x 3 (MultiStringView) . . . 286μs Kambites 059: (fpsemi) weak C(4) not strong x 4 (std::string) . . . 39μs Kambites 060: (fpsemi) weak C(4) not strong x 4 (MultiStringView) . . . 59μ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) . . . 20μs Kambites 064: (fpsemi) weak C(4) not strong x 6 (MultiStringView) . . . 24μ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) . . . 1518ms Kambites 068: (fpsemi) long words (MultiStringView) . . . 42ms Kambites 075: (cong) example 1 . . . 54μs Kambites 076: (cong) example 2 . . . 155μs Kambites 077: (cong) code coverage . . . 5099μs Kambites 078: (cong) large number of rules . . . 195ms KnuthBendix 000: (fpsemi) confluent fp semigroup 1 (infinite) . . . 141μs KnuthBendix 001: (fpsemi) confluent fp semigroup 2 (infinite) . . . 110μs KnuthBendix 002: (fpsemi) confluent fp semigroup 3 (infinite) . . . 63μs KnuthBendix 003: (fpsemi) non-confluent fp semigroup from wi [...] . . . 127μs KnuthBendix 004: (fpsemi) Example 5.1 in Sims (infinite) . . . 97μs KnuthBendix 005: (fpsemi) Example 5.1 in Sims (infinite) . . . 87μs KnuthBendix 006: (fpsemi) Example 5.3 in Sims . . . 106μs KnuthBendix 007: (fpsemi) Example 5.4 in Sims . . . 114μs KnuthBendix 008: (fpsemi) Example 6.4 in Sims (size 168) . . . 11ms KnuthBendix 009: (fpsemi) . . . 58ms KnuthBendix 010: (fpsemi) SL(2, 7) from Chapter 3, Propositi [...] . . . 116ms KnuthBendix 011: (fpsemi) F(2, 5) - Chapter 9, Section 1 in [...] . . . 395μs KnuthBendix 012: (fpsemi) Reinis example 1 . . . 240μs KnuthBendix 013: redundant_rule (std::string) . . . 100ms KnuthBendix 014: redundant_rule (word_type) . . . 10ms KnuthBendix 019: (fpsemi) C(4) monoid . . . 29μs KnuthBendix 020: (cong) Chinese monoid . . . 182μs KnuthBendix 021: (from kbmag/standalone/kb_data/f25monoid) . . . 452μs KnuthBendix 022: (from kbmag/standalone/kb_data/degen4a) . . . 45ms KnuthBendix 023: (from kbmag/standalone/kb_data/torus) . . . 2557μs KnuthBendix 024: (from kbmag/standalone/kb_data/3a6) . . . 334ms KnuthBendix 025: (from kbmag/standalone/kb_data/f2) . . . 72μs KnuthBendix 026: (from kbmag/standalone/kb_data/s16) . . . 97ms KnuthBendix 027: (from kbmag/standalone/kb_data/a4monoid) . . . 60μs KnuthBendix 028: (from kbmag/standalone/kb_data/degen3) . . . 13μs KnuthBendix 029: (from kbmag/standalone/kb_data/ab1) . . . 25μs KnuthBendix 030: (from kbmag/standalone/kb_data/degen2) . . . 7000ns KnuthBendix 031: (from kbmag/standalone/kb_data/f25) . . . 396μs KnuthBendix 032: (from kbmag/standalone/kb_data/237) . . . 578μs KnuthBendix 033: (from kbmag/standalone/kb_data/c2) . . . 8000ns KnuthBendix 034: (from kbmag/standalone/kb_data/cosets) . . . 220μs KnuthBendix 035: Example 5.1 in Sims (KnuthBendix 09 again) . . . 44μs KnuthBendix 036: (from kbmag/standalone/kb_data/nilp2) . . . 28μs KnuthBendix 037: Example 6.4 in Sims . . . 20ms KnuthBendix 038: KnuthBendix 071 again . . . 739μs KnuthBendix 039: Example 5.4 in Sims (KnuthBendix 11 again) [...] . . . 213μs KnuthBendix 040: Example 5.4 in Sims (KnuthBendix 11 again) [...] . . . 121μs KnuthBendix 041: operator<< . . . 60μs KnuthBendix 042: confluence_interval . . . 9000ns KnuthBendix 043: max_overlap . . . 8000ns KnuthBendix 044: (fpsemi) (from kbmag/standalone/kb_data/d22 [...] . . . 1162μs KnuthBendix 045: (fpsemi) (from kbmag/standalone/kb_data/d22 [...] . . . 2135μs KnuthBendix 046: (fpsemi) small example . . . 1041μs KnuthBendix 047: code coverage . . . 91μs KnuthBendix 048: small overlap 1 . . . 57μs KnuthBendix 049: (from kbmag/standalone/kb_data/s9) . . . 1914μs KnuthBendix 050: (fpsemi) Chapter 11, Lemma 1.8 (q = 6, r = [...] . . . 622μs KnuthBendix 051: (fpsemi) Chapter 11, Section 2 (q = 6, r = [...] . . . 138μs KnuthBendix 052: (fpsemi) Chapter 8, Theorem 4.2 in NR (infinite) . . . 292μs KnuthBendix 053: (fpsemi) equal_to fp semigroup . . . 41μs KnuthBendix 054: (fpsemi) equal_to free semigroup . . . 39μs KnuthBendix 055: (fpsemi) from GAP smalloverlap gap/test.gi [...] . . . 351μs KnuthBendix 056: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 555μs KnuthBendix 057: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 519μs KnuthBendix 058: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 1381μs KnuthBendix 059: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 3256μs KnuthBendix 060: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 32μs KnuthBendix 061: (fpsemi) Von Dyck (2,3,7) group (infinite) . . . 527μs KnuthBendix 062: (fpsemi) Von Dyck (2,3,7) group - different [...] . . . 6099μs KnuthBendix 063: (fpsemi) rewriting system from KnuthBendixC [...] . . . 329μs KnuthBendix 064: (fpsemi) rewriting system from Congruence 20 . . . 24μs KnuthBendix 065: (fpsemi) (from kbmag/standalone/kb_data/ab2) . . . 70μs KnuthBendix 066: (fpsemi) (from kbmag/standalone/kb_data/d22 [...] . . . 1229μs KnuthBendix 067: (fpsemi) (from kbmag/standalone/kb_data/degen1) . . . 30μs KnuthBendix 068: (fpsemi) (from kbmag/standalone/kb_data/s4) . . . 336μs KnuthBendix 069: (fpsemi) fp semigroup (infinite) . . . 42μs KnuthBendix 070: (fpsemi) Chapter 11, Section 1 (q = 4, r = [...] . . . 2508μs KnuthBendix 071: (fpsemi) Chapter 11, Section 1 (q = 8, r = [...] . . . 164ms KnuthBendix 072: (fpsemi) Chapter 7, Theorem 3.9 in NR (size 240) . . . 5118μs KnuthBendix 073: (fpsemi) F(2, 5) - Chapter 9, Section 1 in [...] . . . 402μs KnuthBendix 074: (fpsemi) F(2, 6) - Chapter 9, Section 1 in NR . . . 398μs KnuthBendix 075: (fpsemi) Chapter 10, Section 4 in NR (infinite) . . . 887μs KnuthBendix 076: (fpsemi) Sym(5) from Chapter 3, Proposition [...] . . . 4241μs KnuthBendix 077: (fpsemi) SL(2, 7) from Chapter 3, Propositi [...] . . . 114ms KnuthBendix 078: (fpsemi) bicyclic monoid (infinite) . . . 56μs KnuthBendix 079: (fpsemi) plactic monoid of degree 2 (infinite) . . . 55μs KnuthBendix 080: (fpsemi) example before Chapter 7, Proposit [...] . . . 48μs KnuthBendix 081: (fpsemi) Chapter 7, Theorem 3.6 in NR (size 243) . . . 1090μs KnuthBendix 082: (fpsemi) finite semigroup (size 99) . . . 300μs KnuthBendix 096: Sorouhesh . . . 397μs KnuthBendix 097: (fpsemi) transformation semigroup (size 4) . . . 67μs KnuthBendix 098: (fpsemi) transformation semigroup (size 9) . . . 54μs KnuthBendix 099: (fpsemi) transformation semigroup (size 88) . . . 1073μs KnuthBendix 100: internal_string_to_word . . . 26μs KnuthBendix 101: (fpsemi) construct from shared_ptr . . . 1081μs KnuthBendix 102: internal_string_to_word . . . 1061μs KnuthBendix 103: (cong) free semigroup congruence (5 classes) . . . 78μs KnuthBendix 104: free semigroup congruence (6 classes) . . . 220μs KnuthBendix 105: (cong) free semigroup congruence (16 classes) . . . 281μs KnuthBendix 106: (cong) free semigroup congruence (6 classes) . . . 394μs KnuthBendix 107: (cong) free semigroup congruence (240 classes) . . . 5048μs KnuthBendix 108: (cong) free semigroup congruence (240 classes) . . . 5050μs KnuthBendix 109: (cong) less . . . 5706μs KnuthBendix 110: (cong) less . . . 278ms KnuthBendix 111: (cong) constructors . . . 406ms KnuthBendix 112: (cong) const_contains/contains . . . 226μs KnuthBendix 113: (cong) is_quotient_obviously_finite . . . 21μs KnuthBendix 114: (cong) class_index_to_word . . . 214μs KnuthBendix 115: (cong) quotient_froidure_pin . . . 153μs KnuthBendix 116: (cong) set_number_of_generators . . . 21μs KnuthBendix 117: (cong) number of classes when obv-inf . . . 42μs KnuthBendixCongruenceByPairs 016: non-trivial congruence on [...] . . . 163μs KnuthBendixCongruenceByPairs 017: non-trivial congruence on [...] . . . 146μs KnuthBendixCongruenceByPairs 018: non-trivial congruence on [...] . . . 192μs KnuthBendixCongruenceByPairs 019: non-trivial congruence on [...] . . . 191μs KnuthBendixCongruenceByPairs 020: trivial congruence on a fi [...] . . . 180μs KnuthBendixCongruenceByPairs 021: universal congruence on a [...] . . . 559μs KnuthBendixCongruenceByPairs 022: left congruence on a finit [...] . . . 250μs KnuthBendixCongruenceByPairs 023: finite group, Chapter 11, [...] . . . 6105μs KnuthBendixCongruenceByPairs 024: right congruence on infini [...] . . . 275μs KnuthBendixCongruenceByPairs 025: finite fp semigroup, dihed [...] . . . 245μs KnuthBendixCongruenceByPairs 026: finite fp semigroup, size 16 . . . 287μs KnuthBendixCongruenceByPairs 027: finite fp semigroup, size 16 . . . 1042μs KnuthBendixCongruenceByPairs 028: infinite fp semigroup with [...] . . . 61μs Konieczny 000: test000> . . . 980μs Konieczny 001: test000> . . . 710μs Konieczny 002: test001> . . . 9610μs Konieczny 003: test001> . . . 7540μs Konieczny 006: exceptions . . . 37μs Konieczny 007: code coverage . . . 12ms Konieczny 008: code coverage . . . 11ms Konieczny 009: regular elements and idempotents . . . 142ms Konieczny 010: regular D-class 01 . . . 810μs Konieczny 011: regular D-class 02 . . . 7301μs Konieczny 012: regular D-class 04: contains . . . 22ms Konieczny 013: non-regular D-classes 01 . . . 780μs Konieczny 014: RegularDClass . . . 491μs Konieczny 015: full bmat monoid 4 . . . 31ms Konieczny 017: regular generated bmat monoid 4 idempotents . . . 67ms Konieczny 019: my favourite example . . . 65ms Konieczny 020: another large example . . . 12ms Konieczny 021: my favourite example transposed . . . 51ms Konieczny 024: exceptions . . . 841μs Konieczny 025: 0-parameter constructor . . . 13ms Konieczny 026: non-regular D-classes 02 . . . 7894μs Konieczny 028: partial perm . . . 114ms Konieczny 029: symmetric inverse monoid n = 8 . . . 19ms Konieczny 030: exceptions . . . 146ms Konieczny 031: transformations . . . 655μs Konieczny 032: transformations - JDM favourite example . . . 74ms Konieczny 033: transformations - large example . . . 188ms Konieczny 034: transformations - large example with stop . . . 189ms Konieczny 035: transformations - large example with run_until . . . 191ms Konieczny 036: transformations - large example with stop in Action . . . 191ms Konieczny 037: exceptions . . . 71μs Konieczny 038: transformations: contains . . . 415μs Konieczny 040: transformations - destructor coverage . . . 145ms Konieczny 041: current_number_D_classes . . . 146ms Konieczny 042: add_generator . . . 27μs Konieczny 043: add_generator . . . 13μs Matrix 000: BMat<2> . . . 107μs Matrix 001: BMat<> . . . 61μs Matrix 002: BMat<3> + BMat<> . . . 6000ns Matrix 003: BMat<2> + BMat<> . . . 6000ns Matrix 004: BMat<3> . . . 6000ns Matrix 005: BMat<> . . . 8000ns Matrix 006: BMat<3> row_basis . . . 30μs Matrix 007: BMat<> row_basis . . . 27μs Matrix 008: IntMat<3> . . . 8000ns Matrix 009: IntMat<> . . . 11μs Matrix 010: IntMat code cov . . . 3000ns Matrix 011: MaxPlusMat<3> . . . 7000ns Matrix 012: MaxPlusMat<> . . . 9000ns Matrix 013: MaxPlusMat code cov . . . 2000ns Matrix 014: MinPlusMat<3> . . . 8000ns Matrix 015: MinPlusMat<> . . . 12μs Matrix 016: MinPlusMat code cov . . . 2000ns Matrix 017: MaxPlusTruncMat<5, 2> . . . 10μs Matrix 018: MaxPlusTruncMat<5> . . . 12μs Matrix 019: MaxPlusTruncMat<> . . . 25μs Matrix 020: MaxPlusTruncMat<5, 4> . . . 16μs Matrix 021: MaxPlusTruncMat<5> . . . 11μs Matrix 022: MaxPlusTruncMat<> . . . 11μs Matrix 023: MaxPlusTruncMat<33, 3> . . . 23μs Matrix 024: MaxPlusTruncMat<33> . . . 17μs Matrix 025: MaxPlusTruncMat<> . . . 16μs Matrix 026: MaxPlusMat code cov . . . 3000ns Matrix 027: MinPlusTruncMat<33, 3> . . . 16μs Matrix 028: MinPlusTruncMat<33> . . . 18μs Matrix 029: MinPlusTruncMat<> . . . 24μs Matrix 030: NTPMat<0, 3, 3, 3> . . . 8000ns Matrix 031: NTPMat<0, 3> . . . 11μs Matrix 032: NTPMat<> . . . 20μs Matrix 033: NTPMat<0, 10, 4, 4> . . . 16μs Matrix 034: NTPMat<0, 10> . . . 12μs Matrix 035: NTPMat<> . . . 11μs Matrix 036: NTPMat<0, 10, 4, 4> . . . 11μ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> . . . 9000ns Matrix 041: NTPMat<> . . . 7000ns Matrix 042: ProjMaxPlusMat<3> . . . 54μs Matrix 043: ProjMaxPlusMat<> . . . 38μs Matrix 044: exceptions . . . 19μs Matrix 045: code coverage . . . 21μs MultiStringView 000: catch all . . . 48μs MultiStringView 001: is_prefix . . . 8000ns 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) . . . 6000ns MultiStringView 007: copy assignment (short assigned to short) . . . 5000ns MultiStringView 008: move assignment (short assigned to long) . . . 5000ns MultiStringView 009: move assignment (short assigned to short) . . . 5000ns MultiStringView 010: code coverage . . . 13μs MultiStringView 011: pop_front . . . 25μs MultiStringView 012: append . . . 6000ns MultiStringView 013: operators . . . 8000ns MultiStringView 014: maximum_common_suffix . . . 6000ns MultiStringView 015: deep tests . . . 3000ns ObviouslyInfinite 011: Multiple rule additions . . . 34μ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 . . . 4000ns 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 . . . 4000ns ObviouslyInfinite 020: Finite semigroup . . . 6000ns PBR 001: universal product with convenience constructor . . . 32μs PBR 002: universal product . . . 8000ns PBR 003: product [bigger than previous] . . . 17μs PBR 004: hash . . . 3000ns PBR 005: delete/copy . . . 9000ns PBR 006: exceptions . . . 99μs PBR 007: operators . . . 39μs PBR 008: to_string . . . 9000ns PBR 009: identity . . . 24μs PBR 010: adapters . . . 3000ns Pool 000: initial . . . 18μs Pool 001: bmat . . . 17μs Pool 002: PoolGuard . . . 10μs Pool 003: transformation products . . . 7000ns Presentation 000: vectors of ints . . . 72μs Presentation 001: strings . . . 46μs Presentation 002: constructors (word_type) . . . 13μs Presentation 003: constructors (StaticVector1) . . . 31μs Presentation 004: constructors (std::string) . . . 15μs Presentation 005: alphabet + letters (word_type) . . . 81μs Presentation 006: alphabet + letters (std::string) . . . 23μs Presentation 007: contains_empty_word . . . 4000ns Presentation 008: validate_rules throws . . . 25μs Presentation 009: helpers add_rule(s) . . . 54μs Presentation 010: helpers add_rule(s) (std::string) . . . 14μs Presentation 011: helpers add_identity_rules (std::vector/St [...] . . . 22μs Presentation 012: helpers add_identity_rules (std::string) . . . 13μs Presentation 013: helpers add_inverse_rules (all) . . . 110μs Presentation 014: helpers add_inverse_rules (std::string) . . . 33μs Presentation 015: helpers remove_duplicate_rules . . . 37μs Presentation 016: helpers reduce_complements . . . 87μs Presentation 017: helpers sort_each_rule . . . 33μs Presentation 018: helpers sort_rules . . . 35μs Presentation 019: helpers longest_common_subword/replace_subword . . . 335μs Presentation 020: helpers redundant_rule . . . 10ms Presentation 021: helpers shortlex_compare_concat . . . 5000ns Presentation 022: helpers remove_trivial_rules . . . 57μs Presentation 023: helpers replace_subword (existing, replacement) . . . 35μs Presentation 024: helpers longest_rule . . . 64μs Presentation 025: helpers longest_rule_length . . . 54μs Presentation 026: helpers remove_redundant_generators . . . 64μs Presentation 027: helpers reverse . . . 11μs Presentation 028: in_alphabet . . . 15μs Presentation 029: replace_subword with empty word . . . 10μs Presentation 030: helpers replace_word . . . 20μs Presentation 031: clear . . . 4000ns Presentation 032: letter . . . 18μs Presentation 033: normalize_alphabet . . . 8000ns Presentation 034: longest_common_subword issue . . . 309μs Presentation 035: helpers add_zero_rules (std::vector/Static [...] . . . 23μs Presentation 036: helpers add_zero_rules (std::string) . . . 13μs Presentation 037: make_semigroup . . . 42μs Presentation 038: greedy_reduce_length . . . 199μs Presentation 039: aaaaaaaab = aaaaaaaaab strong compression . . . 26μs Presentation 040: change_alphabet . . . 39μs Presentation 041: sort_rules bug . . . 150μs Presentation 042: first_unused_letter/letter . . . 97μs Presentation 043: case where strong compression doesn't work . . . 15μs Presentation 044: proof that . . . 21μs Presentation 045: decompression . . . 7000ns Race 001: run_for . . . 10ms Race 002: run_until . . . 10ms Race 003: exceptions . . . 10ms Race 004: iterators . . . 4000ns 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 . . . 1003μs Runner 005: run_until . . . 2347μs Runner 006: kill . . . 4000ns Runner 007: copy constructor . . . 10ms Runner 008: report . . . 20ms Runner 009: run_until with function pointer . . . 4000ns SchreierSims 001: trivial perm. group (degree 1) . . . 13μs SchreierSims 002: trivial perm. group (degree 2) . . . 12μs SchreierSims 003: trivial perm. group (degree 500) . . . 160μs SchreierSims 004: symmetric perm. group (degree 5) . . . 20μs SchreierSims 005: symmetric perm. group (degree 8) . . . 24μs SchreierSims 006: symmetric perm. group (degree 9) . . . 44μs SchreierSims 007: alternating perm. group (degree 12) . . . 58μs SchreierSims 008: symmetric perm. group (degree 16) . . . 440μs SchreierSims 009: alternating perm. group (degree 15) . . . 240μs SchreierSims 010: alternating perm. group (degree 16) . . . 503μs SchreierSims 011: dihedral perm. group (order 10) . . . 5000ns SchreierSims 012: dihedral perm. group (order 200) . . . 900μs SchreierSims 013: perm. group T (order 12) . . . 6000ns SchreierSims 014: quaternion perm. group (order 8) . . . 8000ns SchreierSims 015: perm. group (order 84129611558952960) . . . 108ms SchreierSims 016: perm. group SL(3, 5) (order 372000) . . . 733μs SchreierSims 017: perm. group PSL(4, 8) (order 34558531338240) . . . 44ms SchreierSims 018: perm. Mathieu group M11 (order 7920) . . . 48μs SchreierSims 019: perm. Mathieu group M24 (order 244823040) . . . 115μs SchreierSims 020: perm. Janko Group J1 (order 175560) . . . 1691μs SchreierSims 021: perm. Hall-Janko group (order 604800) . . . 244μs SchreierSims 022: perm. Hall-Janko group (alt.) (order 604800) . . . 10ms SchreierSims 023: perm. Conway group Co3 (order 495766656000) . . . 4099μs SchreierSims 024: perm. Conway group Co3 (alt.) (order 49576 [...] . . . 7665μs SchreierSims 025: perm. Suzuki group (order 448345497600) . . . 42ms SchreierSims 027: perm. Held group (order 4030387200) . . . 67ms SchreierSims 028: perm. group C2 x C2 x C2 (order 8) . . . 14μ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) . . . 41μs SchreierSims 031: perm. group C3 x D8 x A5 (order 1440) . . . 42μs SchreierSims 032: perm. group GL(4, 3) (order 24261120) . . . 388μs SchreierSims 033: perm. group PSL(3, 7) (order 1876896) . . . 549μs SchreierSims 037: symmetric perm. group (degree 5) . . . 16μs SchreierSims 038: alternating perm. group (degree 17) . . . 2610μs SchreierSims 039: exceptions . . . 62μs SchreierSims 040: exceptions . . . 25μs SchreierSims 041: trivial group . . . 18μs SchreierSims 042: A17 bug . . . 2233μs SchreierSims 043: orbits_lookup test . . . 319μs SchreierSims 044: transversal_element and inversal_element test . . . 779μs SchreierSimsHelper 001: trivial perm. group intersection (de [...] . . . 15μs SchreierSimsHelper 002: trivial perm. group intersection (de [...] . . . 14μs SchreierSimsHelper 003: cyclic group intersection (degree 13) . . . 23μs SchreierSimsHelper 004: D10 and Z5 intersection . . . 15μs SchreierSimsHelper 005: D8 and Q8 intersection . . . 26μs SchreierSimsHelper 006: primitive on 8 points intersection . . . 61μs SchreierSimsHelper 007: primitive on 8 points intersection ( [...] . . . 54μs SchreierSimsHelper 008: A13 and PGL(2, 11) intersection . . . 501μs SchreierSimsHelper 009: A13 and PGL(2, 11) intersection (swa [...] . . . 484μs SchreierSimsHelper 012: 3^3:13 and 3^3.2.A(4) intersection . . . 96μs SchreierSimsHelper 015: 3^3(S(4) x 2) and ASL(3, 3) intersection . . . 162μs SchreierSimsHelper 016: 7^2:3 x Q(8) and 7^2:D(2*6) intersection . . . 237μs SchreierSimsHelper 018: D(2*53) and 53:13 intersection . . . 147μs SchreierSimsHelper 019: 2^6:(7 x D_14) and PSL(2, 6)^2.4 int [...] . . . 1366μs SchreierSimsHelper 020: 2^6:(S_3 x GL(3, 2)) and 2.6:Alt(7) [...] . . . 4567μs SchreierSimsHelper 022: PSL(2, 127) and AGL(1, 2^7) intersection . . . 7330μs SchreierSimsHelper 023: PSL(3, 4).2 and PSL(3, 4).2 (nontriv [...] . . . 1408μs SchreierSimsHelper 024: PSL(3, 4).Sym(3) and PSL(3, 4).2 int [...] . . . 1144μs SchreierSimsHelper 025: 3^4:5:4 and D_16:4 intersection . . . 623μs Sims1 000: fp example 1 . . . 540μs Sims1 001: fp example 2 . . . 1548μs Sims1 002: ToddCoxeter failing example . . . 14ms Sims1 003: ToddCoxeter failing example . . . 662μs Sims1 004: partition_monoid(2) right . . . 4860μs Sims1 006: full_transformation_monoid(3) right . . . 6629μs Sims1 007: full_transformation_monoid(3) left . . . 3742μs Sims1 009: rook_monoid(2, 1) . . . 79μs Sims1 010: symmetric_inverse_monoid(2) from FroidurePin . . . 78μs Sims1 011: symmetric_inverse_monoid(3) . . . 5495μs Sims1 014: temperley_lieb_monoid(3) from presentation . . . 50μs Sims1 015: temperley_lieb_monoid(4) from presentation . . . 621μs Sims1 016: fp semigroup containing given pairs #1 . . . 203μs Sims1 017: fp semigroup containing given pairs #2 . . . 198μs Sims1 018: fp semigroup containing given pairs #3 . . . 331μs Sims1 019: ToddCoxeter failing example . . . 1169μs Sims1 020: fp example 2 . . . 1538μs Sims1 021: exceptions . . . 124μs Sims1 027: from https://mathoverflow.net/questions/423541/ . . . 22ms Sims1 028: from https://mathoverflow.net/questions/423541/ . . . 15ms Sims1 030: presentation with one free generator . . . 193μs Sims1 031: presentation with non-zero index generators . . . 47μs Sims1 032: presentation with empty word . . . 7504μs Sims1 033: constructors . . . 1052μs Sims1 034: split_at . . . 172μs Sims1 035: stats . . . 71μs Sims1 036: check iterator requirements . . . 89μs Sims1 040: TransitiveGroup(10, 32) - minimal rep . . . 2925μs Sims1 043: rectangular_band(2, 2) - with and without identity . . . 120μs Sims1 044: trivial group - minimal o.r.c. rep . . . 62μs Sims1 045: right zero semigroup - minimal o.r.c. rep . . . 1182μs Sims1 046: semigroup with faithful non-strictly cyclic actio [...] . . . 412μs Sims1 068: RepOrc . . . 24ms Sims1 069: fp example 1 . . . 306μ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 1030μs (188ns 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 . . . 1094μs Sims1 072: symmetric_group(n) for n = 4 . . . 799μs Sims1 073: corner case no generators + no relations . . . 44μs Sims1 076: uninitialized RepOrc . . . 11μs SmallestInteger 001: . . . 5000ns StaticTriVector2 045: all . . . 11μs StaticVector2 043: all . . . 10μs Stephen 000: basic test 1 . . . 154μs Stephen 001: basic test 2 . . . 92μs Stephen 002: full transf monoid . . . 15ms Stephen 003: from step_hen 002 . . . 39μs Stephen 004: from step_hen 003 . . . 121μs Stephen 005: from step_hen 004 . . . 34μs Stephen 006: from step_hen 005 . . . 83μs Stephen 008: C(4) monoid normal form (test_case_knuth_bendix_055) . . . 137μs Stephen 009: C(4) monoid normal form (test_case_gap_smallove [...] . . . 62μ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 . . . 332μs Stephen 011: C(4) monoid normal form (test_case_gap_smallove [...] . . . 203μs Stephen 012: C(4) monoid normal form (test_case_gap_smallove [...] . . . 199μs Stephen 013: C(4) monoid equal to (test_case_gap_smalloverlap_70) . . . 106μs Stephen 014: C(4) monoid normal form (test_case_ex_3_13_14) . . . 269μs Stephen 015: C(4) monoid normal form (test_case_ex_3_15) . . . 377μs Stephen 016: C(4) monoid normal form (test_case_ex_3_16) . . . 235μs Stephen 017: C(4) monoid normal form (test_case_mt_3) . . . 126μs Stephen 018: C(4) monoid normal form (test_case_mt_5) . . . 81μs Stephen 019: C(4) monoid normal form (test_case_mt_6) . . . 293μs Stephen 020: C(4) monoid normal form (test_case_mt_10) . . . 101μs Stephen 021: C(4) monoid normal form (test_case_mt_13) . . . 73μs Stephen 022: C(4) monoid normal form (test_case_mt_14) . . . 71μs Stephen 023: C(4) monoid normal form (test_case_mt_15) . . . 72μs Stephen 024: C(4) monoid normal form (test_case_mt_16) . . . 135μs Stephen 025: C(4) monoid normal form (test_case_mt_17) . . . 255μs Stephen 026: C(4) monoid normal form (test_case_weak_1) . . . 254μs Stephen 027: C(4) monoid normal form (test_case_weak_2) . . . 135μs Stephen 028: C(4) monoid normal form (test_case_weak_3) . . . 184μs Stephen 029: C(4) monoid normal form (test_case_weak_4) . . . 178μs Stephen 030: C(4) monoid normal form (test_case_weak_5) . . . 78μs Stephen 031: Test behaviour when uninitialised . . . 121μs Suf 005: unite . . . 16μs Suf 007: compress . . . 6000ns Suf 011: big chain . . . 11ms Suf 013: empty table . . . 3000ns Suf 015: join . . . 6000ns Suf 017: contains . . . 15μ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 849μs  -- with HLT + standardise + full lookahead + no save 762μs  -- with HLT + no standardise + partial lookahead + no save 756μs  -- with HLT + standardise + partial lookahead + no save 759μs  -- with HLT + no standardise + full lookahead + save 782μs  -- with HLT + standardise + full lookahead + save 777μs  -- with HLT + no standardise + partial lookahead + save 769μs  -- with HLT + standardise + partial lookahead + save 763μs  -- with Felsch + no standardisation 751μs  -- with Felsch + standardisation 747μs  -- with random strategy 771μs  -- with Rc style + full lookahead 770μs  -- with Rc style + partial lookahead 771μs  -- with R/C style 774μs  -- with CR style 765μs  -- with Cr style 765μs ToddCoxeter 001: small 2-sided congruence . . .  -- with HLT + no standardise + full lookahead + no save 4120μs  -- with HLT + standardise + full lookahead + no save 4035μs  -- with HLT + no standardise + partial lookahead + no save 4066μs  -- with HLT + standardise + partial lookahead + no save 4027μs  -- with HLT + no standardise + full lookahead + save 3846μs  -- with HLT + standardise + full lookahead + save 3812μs  -- with HLT + no standardise + partial lookahead + save 3784μs  -- with HLT + standardise + partial lookahead + save 3798μs  -- with Felsch + no standardisation 3813μs  -- with Felsch + standardisation 3980μs  -- with random strategy 3844μs  -- with Rc style + full lookahead 3806μs  -- with Rc style + partial lookahead 3872μs  -- with R/C style 3809μs  -- with CR style 3845μs  -- with Cr style 3805μs ToddCoxeter 003: constructed from FroidurePin . . .  -- with Felsch + no standardisation 219ms  -- with Felsch + standardisation 218ms  -- with HLT + no standardise + full lookahead + no save 65ms  -- with HLT + standardise + full lookahead + no save 64ms  -- with HLT + no standardise + partial lookahead + no save 64ms  -- with HLT + standardise + partial lookahead + no save 64ms  -- with HLT + no standardise + full lookahead + save 224ms  -- with HLT + standardise + full lookahead + save 225ms  -- with HLT + no standardise + partial lookahead + save 221ms  -- with HLT + standardise + partial lookahead + save 220ms  -- with random strategy 217ms  -- with Rc style + full lookahead 214ms  -- with Rc style + partial lookahead 214ms  -- with R/C style 65ms  -- with CR style 214ms  -- with Cr style 214ms ToddCoxeter 004: 2-sided congruence from FroidurePin . . .  -- with HLT + no standardise + full lookahead + no save 225μs  -- with HLT + standardise + full lookahead + no save 177μs  -- with HLT + no standardise + partial lookahead + no save 168μs  -- with HLT + standardise + partial lookahead + no save 171μs  -- with HLT + save (throws) 208μs  -- with Felsch (throws) 174μs  -- with random strategy 175μs ToddCoxeter 005: non-trivial two-sided from relations . . .  -- with HLT + no standardise + full lookahead + no save 38μs  -- with HLT + standardise + full lookahead + no save 26μs  -- with HLT + no standardise + partial lookahead + no save 25μs  -- with HLT + standardise + partial lookahead + no save 24μs  -- with HLT + no standardise + full lookahead + save 35μs  -- with HLT + standardise + full lookahead + save 33μs  -- with HLT + no standardise + partial lookahead + save 31μs  -- with HLT + standardise + partial lookahead + save 30μs  -- with Felsch + no standardisation 27μs  -- with Felsch + standardisation 26μs  -- with random strategy 29μs  -- with Rc style + full lookahead 26μs  -- with Rc style + partial lookahead 25μs  -- with R/C style 26μs  -- with CR style 28μs  -- with Cr style 27μs ToddCoxeter 006: small right cong. on free semigroup . . .  -- with HLT + no standardise + full lookahead + no save 26μs  -- with HLT + standardise + full lookahead + no save 22μs  -- with HLT + no standardise + partial lookahead + no save 19μs  -- with HLT + standardise + partial lookahead + no save 19μs  -- with HLT + no standardise + full lookahead + save 24μs  -- with HLT + standardise + full lookahead + save 24μs  -- with HLT + no standardise + partial lookahead + save 21μs  -- with HLT + standardise + partial lookahead + save 21μs  -- with Felsch + no standardisation 21μs  -- with Felsch + standardisation 22μs  -- with random strategy 24μs  -- with Rc style + full lookahead 20μs  -- with Rc style + partial lookahead 20μs  -- with R/C style 21μs  -- with CR style 22μs  -- with Cr style 22μs ToddCoxeter 007: left cong. on free semigroup . . .  -- with HLT + no standardise + full lookahead + no save 27μs  -- with HLT + standardise + full lookahead + no save 23μ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 24μs  -- with HLT + standardise + full lookahead + save 25μs  -- with HLT + no standardise + partial lookahead + save 25μs  -- with HLT + standardise + partial lookahead + save 24μs  -- with Felsch + no standardisation 24μs  -- with Felsch + standardisation 25μs  -- with random strategy 28μs  -- with Rc style + full lookahead 25μs  -- with Rc style + partial lookahead 26μs  -- with R/C style 26μs  -- with CR style 27μs  -- with Cr style 28μs ToddCoxeter 008: for small fp semigroup . . .  -- with HLT + no standardise + full lookahead + no save 24μ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 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 21μs  -- with Felsch + no standardisation 21μs  -- with Felsch + standardisation 21μs  -- with random strategy 25μs  -- with Rc style + full lookahead 21μs  -- with Rc style + partial lookahead 21μs  -- with R/C style 22μs  -- with CR style 23μs  -- with Cr style 23μs ToddCoxeter 009: 2-sided cong. trans. semigroup . . .  -- with HLT + no standardise + full lookahead + no save 186μs  -- with HLT + standardise + full lookahead + no save 170μs  -- with HLT + no standardise + partial lookahead + no save 157μs  -- with HLT + standardise + partial lookahead + no save 161μs  -- with HLT + no standardise + full lookahead + save 510μs  -- with HLT + standardise + full lookahead + save 510μs  -- with HLT + no standardise + partial lookahead + save 504μs  -- with HLT + standardise + partial lookahead + save 538μs  -- with Felsch + no standardisation 468μs  -- with Felsch + standardisation 449μs  -- with random strategy 175μs  -- with Rc style + full lookahead 177μs  -- with Rc style + partial lookahead 168μs  -- with R/C style 184μs  -- with CR style 458μs  -- with Cr style 459μs ToddCoxeter 010: left congruence on transformation semigroup . . .  -- with HLT + no standardise + full lookahead + no save 189μs  -- with HLT + standardise + full lookahead + no save 199μs  -- with HLT + no standardise + partial lookahead + no save 187μs  -- with HLT + standardise + partial lookahead + no save 196μs  -- with HLT + no standardise + full lookahead + save 553μs  -- with HLT + standardise + full lookahead + save 540μs  -- with HLT + no standardise + partial lookahead + save 531μs  -- with HLT + standardise + partial lookahead + save 546μs  -- with Felsch + no standardisation 458μs  -- with Felsch + standardisation 449μs  -- with random strategy 598μs  -- with Rc style + full lookahead 224μs  -- with Rc style + partial lookahead 221μs  -- with R/C style 262μs  -- with CR style 492μs  -- with Cr style 492μs ToddCoxeter 011: right cong. trans. semigroup . . .  -- with HLT + no standardise + full lookahead + no save 207μs  -- with HLT + standardise + full lookahead + no save 203μs  -- with HLT + no standardise + partial lookahead + no save 192μs  -- with HLT + standardise + partial lookahead + no save 200μs  -- with HLT + no standardise + full lookahead + save 510μs  -- with HLT + standardise + full lookahead + save 519μs  -- with HLT + no standardise + partial lookahead + save 508μs  -- with HLT + standardise + partial lookahead + save 519μs  -- with Felsch + no standardisation 392μs  -- with Felsch + standardisation 418μs  -- with random strategy 250μs  -- with Rc style + full lookahead 230μs  -- with Rc style + partial lookahead 228μs  -- with R/C style 271μs  -- with CR style 433μs  -- with Cr style 433μs ToddCoxeter 012: trans. semigroup (size 88) . . .  -- with HLT + no standardise + full lookahead + no save 152μs  -- with HLT + standardise + full lookahead + no save 145μs  -- with HLT + no standardise + partial lookahead + no save 158μs  -- with HLT + standardise + partial lookahead + no save 142μs  -- with HLT + save (throws) 151μs  -- with Felsch (throws) 146μs  -- with random strategy 154μs ToddCoxeter 013: left cong. on trans. semigroup (size 88) . . .  -- with HLT + no standardise + full lookahead + no save 170μs  -- with HLT + standardise + full lookahead + no save 174μs  -- with HLT + no standardise + partial lookahead + no save 164μs  -- with HLT + standardise + partial lookahead + no save 172μs  -- with HLT + no standardise + full lookahead + save 518μs  -- with HLT + standardise + full lookahead + save 523μs  -- with HLT + no standardise + partial lookahead + save 512μs  -- with HLT + standardise + partial lookahead + save 522μs  -- with Felsch + no standardisation 439μs  -- with Felsch + standardisation 427μs  -- with random strategy 222μs  -- with Rc style + full lookahead 201μs  -- with Rc style + partial lookahead 201μs  -- with R/C style 237μs  -- with CR style 469μs  -- with Cr style 471μs ToddCoxeter 014: right cong. on trans. semigroup (size 88) . . .  -- with HLT + no standardise + full lookahead + no save 176μs  -- with HLT + standardise + full lookahead + no save 182μs  -- with HLT + no standardise + partial lookahead + no save 167μs  -- with HLT + standardise + partial lookahead + no save 177μs  -- with HLT + no standardise + full lookahead + save 487μs  -- with HLT + standardise + full lookahead + save 492μs  -- with HLT + no standardise + partial lookahead + save 482μs  -- with HLT + standardise + partial lookahead + save 494μs  -- with Felsch + no standardisation 377μs  -- with Felsch + standardisation 397μs  -- with random strategy 231μs  -- with Rc style + full lookahead 208μs  -- with Rc style + partial lookahead 208μs  -- with R/C style 245μs  -- with CR style 409μs  -- with Cr style 407μs ToddCoxeter 015: finite fp-semigroup, dihedral group of order 6 . . .  -- with HLT + no standardise + full lookahead + no save 52μs  -- with HLT + standardise + full lookahead + no save 48μs  -- with HLT + no standardise + partial lookahead + no save 42μs  -- with HLT + standardise + partial lookahead + no save 46μs  -- with HLT + no standardise + full lookahead + save 59μs  -- with HLT + standardise + full lookahead + save 57μs  -- with HLT + no standardise + partial lookahead + save 55μs  -- with HLT + standardise + partial lookahead + save 56μs  -- with Felsch + no standardisation 51μs  -- with Felsch + standardisation 49μs  -- with random strategy 55μs  -- with Rc style + full lookahead 45μs  -- with Rc style + partial lookahead 44μs  -- with R/C style 46μs  -- with CR style 51μs  -- with Cr style 50μs ToddCoxeter 016: finite fp-semigroup, size 16 . . .  -- with HLT + no standardise + full lookahead + no save 50μs  -- with HLT + standardise + full lookahead + no save 47μs  -- with HLT + no standardise + partial lookahead + no save 43μs  -- with HLT + standardise + partial lookahead + no save 45μs  -- with HLT + no standardise + full lookahead + save 108μs  -- with HLT + standardise + full lookahead + save 108μs  -- with HLT + no standardise + partial lookahead + save 104μs  -- with HLT + standardise + partial lookahead + save 112μs  -- with Felsch + no standardisation 94μs  -- with Felsch + standardisation 90μs  -- with random strategy 103μs  -- with Rc style + full lookahead 50μs  -- with Rc style + partial lookahead 62μs  -- with R/C style 61μs  -- with CR style 97μs  -- with Cr style 97μs ToddCoxeter 017: finite fp-semigroup, size 16 . . .  -- with HLT + no standardise + full lookahead + no save 142μs  -- with HLT + standardise + full lookahead + no save 138μs  -- with HLT + no standardise + partial lookahead + no save 131μs  -- with HLT + standardise + partial lookahead + no save 136μs  -- with HLT + no standardise + full lookahead + save 325μs  -- with HLT + standardise + full lookahead + save 329μs  -- with HLT + no standardise + partial lookahead + save 322μs  -- with HLT + standardise + partial lookahead + save 329μs  -- with Felsch + no standardisation 298μs  -- with Felsch + standardisation 295μs  -- with random strategy 335μs  -- with Rc style + full lookahead 146μs  -- with Rc style + partial lookahead 142μs  -- with R/C style 152μs  -- with CR style 305μs  -- with Cr style 304μs ToddCoxeter 018: test lookahead . . .  -- with HLT + no standardise + full lookahead + no save 308μs  -- with HLT + standardise + full lookahead + no save 308μs  -- with HLT + no standardise + partial lookahead + no save 280μs  -- with HLT + standardise + partial lookahead + no save 287μs  -- with HLT + no standardise + full lookahead + save 492μs  -- with HLT + standardise + full lookahead + save 497μs  -- with HLT + no standardise + partial lookahead + save 486μs  -- with HLT + standardise + partial lookahead + save 501μs ToddCoxeter 019: non-trivial left cong. from semigroup . . .  -- with HLT + no standardise + full lookahead + no save 114μs  -- with HLT + standardise + full lookahead + no save 123μs  -- with HLT + no standardise + partial lookahead + no save 108μs  -- with HLT + standardise + partial lookahead + no save 114μs  -- with HLT + save (throws) 114μs  -- with Felsch (throws) 114μs  -- with random strategy 134μ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 11μs  -- with HLT + no standardise + partial lookahead + no save 10μs  -- with HLT + standardise + partial lookahead + no save 10μ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 10μs  -- with Felsch + standardisation 10μs  -- with random strategy 10μs ToddCoxeter 021: calling run when obviously infinite . . .  -- with HLT + no standardise + full lookahead + no save 32μs  -- with HLT + standardise + full lookahead + no save 20μs  -- with HLT + no standardise + partial lookahead + no save 20μ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 20μs  -- with HLT + no standardise + partial lookahead + save 19μs  -- with HLT + standardise + partial lookahead + save 19μs  -- with Felsch + no standardisation 19μs  -- with Felsch + standardisation 19μs  -- with random strategy 19μs ToddCoxeter 022: stellar_monoid S3 . . .  -- with HLT + no standardise + full lookahead + no save 82μs  -- with HLT + standardise + full lookahead + no save 75μs  -- with HLT + no standardise + partial lookahead + no save 67μs  -- with HLT + standardise + partial lookahead + no save 72μs  -- with HLT + no standardise + full lookahead + save 161μs  -- with HLT + standardise + full lookahead + save 162μs  -- with HLT + no standardise + partial lookahead + save 155μs  -- with HLT + standardise + partial lookahead + save 164μs  -- with Felsch + no standardisation 134μs  -- with Felsch + standardisation 131μs  -- with random strategy 146μs  -- with Rc style + full lookahead 77μs  -- with Rc style + partial lookahead 75μs  -- with R/C style 84μs  -- with CR style 138μs  -- with Cr style 142μs ToddCoxeter 023: finite semigroup (size 5) . . .  -- with HLT + no standardise + full lookahead + no save 22μs  -- with HLT + standardise + full lookahead + no save 19μs  -- with HLT + no standardise + partial lookahead + no save 18μs  -- with HLT + standardise + partial lookahead + no save 18μs  -- with HLT + no standardise + full lookahead + save 22μs  -- with HLT + standardise + full lookahead + save 21μs  -- with HLT + no standardise + partial lookahead + save 20μs  -- with HLT + standardise + partial lookahead + save 20μs  -- with Felsch + no standardisation 20μs  -- with Felsch + standardisation 21μs  -- with random strategy 21μs  -- with Rc style + full lookahead 19μs  -- with Rc style + partial lookahead 18μs  -- with R/C style 20μs  -- with CR style 21μs  -- with Cr style 20μs ToddCoxeter 024: exceptions . . .  -- with HLT + no standardise + full lookahead + no save 103μs  -- with HLT + standardise + full lookahead + no save 91μs  -- with HLT + no standardise + partial lookahead + no save 89μs  -- with HLT + standardise + partial lookahead + no save 90μs  -- with HLT + no standardise + full lookahead + save 92μs  -- with HLT + standardise + full lookahead + save 93μs  -- with HLT + no standardise + partial lookahead + save 91μs  -- with HLT + standardise + partial lookahead + save 91μs  -- with Felsch + no standardisation 92μs  -- with Felsch + standardisation 91μs  -- with random strategy 92μs  -- with Rc style + full lookahead 91μs  -- with Rc style + partial lookahead 90μs  -- with R/C style 91μs  -- with CR style 92μs  -- with Cr style 93μs ToddCoxeter 025: obviously infinite . . .  -- with HLT + no standardise + full lookahead + no save 29μs  -- with HLT + standardise + full lookahead + no save 31μs  -- with HLT + no standardise + partial lookahead + no save 25μs  -- with HLT + standardise + partial lookahead + no save 25μs  -- with HLT + no standardise + full lookahead + save 25μs  -- with HLT + standardise + full lookahead + save 25μs  -- with HLT + no standardise + partial lookahead + save 25μs  -- with HLT + standardise + partial lookahead + save 25μs  -- with Felsch + no standardisation 25μs  -- with Felsch + standardisation 25μs  -- with random strategy 25μs ToddCoxeter 026: exceptions . . .  -- with HLT + no standardise + full lookahead + no save 68μs  -- with HLT + standardise + full lookahead + no save 52μs  -- with HLT + no standardise + partial lookahead + no save 51μs  -- with HLT + standardise + partial lookahead + no save 51μs  -- with HLT + no standardise + full lookahead + save 54μs  -- with HLT + standardise + full lookahead + save 53μs  -- with HLT + no standardise + partial lookahead + save 52μs  -- with HLT + standardise + partial lookahead + save 52μs  -- with Felsch + no standardisation 54μs  -- with Felsch + standardisation 54μs  -- with random strategy 56μs  -- with Rc style + full lookahead 51μs  -- with Rc style + partial lookahead 51μs  -- with R/C style 52μs  -- with CR style 54μs  -- with Cr style 54μs ToddCoxeter 027: empty . . . 46μs ToddCoxeter 028: congruence of fpsemigroup::ToddCoxeter . . .  -- with HLT + no standardise + full lookahead + no save 97μs  -- with HLT + standardise + full lookahead + no save 67μs  -- with HLT + no standardise + partial lookahead + no save 64μs  -- with HLT + standardise + partial lookahead + no save 64μs  -- with HLT + save (throws) 70μs  -- with Felsch (throws) 68μs  -- with random strategy 70μs  -- with HLT + no standardise + full lookahead + save 67μs  -- with HLT + standardise + full lookahead + save 67μs  -- with HLT + no standardise + partial lookahead + save 67μs  -- with HLT + standardise + partial lookahead + save 67μs  -- with Felsch + no standardisation 67μs  -- with Felsch + standardisation 66μs  -- with Rc style + full lookahead 64μs  -- with Rc style + partial lookahead 64μs  -- with R/C style 64μs  -- with CR style 67μs  -- with Cr style 66μs ToddCoxeter 029: !KnuthBendix.started() . . .  -- with HLT + no standardise + full lookahead + no save and 2-sided 58μs  -- with HLT + standardise + full lookahead + no save and 2-sided 33μs  -- with HLT + no standardise + partial lookahead + no save and 2-sided 31μs  -- with HLT + standardise + partial lookahead + no save and 2-sided 31μs  -- with HLT + no standardise + full lookahead + save and 2-sided 34μs  -- with HLT + standardise + full lookahead + save and 2-sided 34μs  -- with HLT + no standardise + partial lookahead + save and 2-sided 33μs  -- with HLT + standardise + partial lookahead + save and 2-sided 33μs  -- with Felsch + no standardisation and 2-sided 32μs  -- with Felsch + standardisation and 2-sided 32μs  -- with random strategy and 2-sided 34μs  -- with HLT + no standardise + full lookahead + no save and left 37μs  -- with HLT + standardise + full lookahead + no save and left 31μs  -- with HLT + no standardise + partial lookahead + no save and left 31μs  -- with HLT + standardise + partial lookahead + no save and left 31μs  -- with HLT + no standardise + full lookahead + save and left 37μs  -- with HLT + standardise + full lookahead + save and left 36μs  -- with HLT + no standardise + partial lookahead + save and left 35μs  -- with HLT + standardise + partial lookahead + save and left 35μs  -- with Felsch + no standardisation and left 35μs  -- with Felsch + standardisation and left 35μs  -- with random strategy and left 33μs  -- with HLT + no standardise + full lookahead + no save and right 32μs  -- with HLT + standardise + full lookahead + no save and right 30μs  -- with HLT + no standardise + partial lookahead + no save and right 30μs  -- with HLT + standardise + partial lookahead + no save and right 30μs  -- with HLT + no standardise + full lookahead + save and right 35μs  -- with HLT + standardise + full lookahead + save and right 35μs  -- with HLT + no standardise + partial lookahead + save and right 35μs  -- with HLT + standardise + partial lookahead + save and right 35μs  -- with Felsch + no standardisation and right 35μs  -- with Felsch + standardisation and right 35μs  -- with random strategy and right 38μs ToddCoxeter 030: KnuthBendix.finished() . . .  -- with HLT + no standardise + full lookahead + no save and 2-sided 119μs  -- with HLT + standardise + full lookahead + no save and 2-sided 88μs  -- with HLT + no standardise + partial lookahead + no save and 2-sided 85μs  -- with HLT + standardise + partial lookahead + no save and 2-sided 84μs  -- with HLT + no standardise + full lookahead + save and 2-sided 87μs  -- with HLT + standardise + full lookahead + save and 2-sided 87μs  -- with HLT + no standardise + partial lookahead + save and 2-sided 86μs  -- with HLT + standardise + partial lookahead + save and 2-sided 86μs  -- with Felsch + no standardisation and 2-sided 83μs  -- with Felsch + standardisation and 2-sided 206μs  -- with random strategy and 2-sided 89μs  -- with HLT + no standardise + full lookahead + no save and left 90μs  -- with HLT + standardise + full lookahead + no save and left 87μs  -- with HLT + no standardise + partial lookahead + no save and left 85μs  -- with HLT + standardise + partial lookahead + no save and left 86μs  -- with HLT + no standardise + full lookahead + save and left 91μs  -- with HLT + standardise + full lookahead + save and left 91μs  -- with HLT + no standardise + partial lookahead + save and left 90μs  -- with HLT + standardise + partial lookahead + save and left 90μs  -- with Felsch + no standardisation and left 89μs  -- with Felsch + standardisation and left 90μs  -- with random strategy and left 92μs  -- with HLT + no standardise + full lookahead + no save and right 106μs  -- with HLT + standardise + full lookahead + no save and right 131μs  -- with HLT + no standardise + partial lookahead + no save and right 131μs  -- with HLT + standardise + partial lookahead + no save and right 131μs  -- with HLT + no standardise + full lookahead + save and right 136μs  -- with HLT + standardise + full lookahead + save and right 136μs  -- with HLT + no standardise + partial lookahead + save and right 135μs  -- with HLT + standardise + partial lookahead + save and right 135μs  -- with Felsch + no standardisation and right 120μs  -- with Felsch + standardisation and right 127μs  -- with random strategy and right 154μs ToddCoxeter 031: KnuthBendix.finished() . . .  -- with HLT + no standardise + full lookahead + no save and 2-sided 67μs  -- with HLT + standardise + full lookahead + no save and 2-sided 52μs  -- with HLT + no standardise + partial lookahead + no save and 2-sided 49μs  -- with HLT + standardise + partial lookahead + no save and 2-sided 49μs  -- with HLT + no standardise + full lookahead + save and 2-sided 51μs  -- with HLT + standardise + full lookahead + save and 2-sided 51μs  -- with HLT + no standardise + partial lookahead + save and 2-sided 50μs  -- with HLT + standardise + partial lookahead + save and 2-sided 50μs  -- with Felsch + no standardisation and 2-sided 47μs  -- with Felsch + standardisation and 2-sided 47μs  -- with random strategy and 2-sided 51μs  -- with Rc style + full lookahead and 2-sided 52μs  -- with Rc style + partial lookahead and 2-sided 51μs  -- with R/C style and 2-sided 49μs  -- with CR style and 2-sided 50μs  -- with Cr style and 2-sided 53μs  -- with HLT + no standardise + full lookahead + no save and left 54μs  -- with HLT + standardise + full lookahead + no save and left 50μs  -- with HLT + no standardise + partial lookahead + no save and left 50μs  -- with HLT + standardise + partial lookahead + no save and left 49μs  -- with HLT + no standardise + full lookahead + save and left 54μs  -- with HLT + standardise + full lookahead + save and left 54μs  -- with HLT + no standardise + partial lookahead + save and left 54μs  -- with HLT + standardise + partial lookahead + save and left 54μs  -- with Felsch + no standardisation and left 52μs  -- with Felsch + standardisation and left 53μs  -- with random strategy and left 59μs  -- with Rc style + full lookahead and left 54μs  -- with Rc style + partial lookahead and left 53μs  -- with R/C style and left 50μs  -- with CR style and left 55μs  -- with Cr style and left 57μs  -- with HLT + no standardise + full lookahead + no save and right 58μs  -- with HLT + standardise + full lookahead + no save and right 51μs  -- with HLT + no standardise + partial lookahead + no save and right 50μs  -- with HLT + standardise + partial lookahead + no save and right 50μs  -- with HLT + no standardise + full lookahead + save and right 55μs  -- with HLT + standardise + full lookahead + save and right 56μs  -- with HLT + no standardise + partial lookahead + save and right 55μs  -- with HLT + standardise + partial lookahead + save and right 56μs  -- with Felsch + no standardisation and right 58μs  -- with Felsch + standardisation and right 53μs  -- with random strategy and right 58μs  -- with Rc style + full lookahead and right 53μs  -- with Rc style + partial lookahead and right 53μs  -- with R/C style and right 50μs  -- with CR style and right 54μs  -- with Cr style and right 57μs ToddCoxeter 032: prefill . . . 93μs ToddCoxeter 033: congruence of ToddCoxeter . . .  -- with HLT + no standardise + full lookahead + no save 28μs  -- with HLT + standardise + full lookahead + no save 24μ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 25μs  -- with HLT + standardise + full lookahead + save 24μs  -- with HLT + no standardise + partial lookahead + save 24μs  -- with HLT + standardise + partial lookahead + save 24μs  -- with random strategy 27μs ToddCoxeter 034: congruence of ToddCoxeter . . .  -- with HLT + no standardise + full lookahead + no save 105μs  -- with HLT + standardise + full lookahead + no save 98μs  -- with HLT + no standardise + partial lookahead + no save 109μs  -- with HLT + standardise + partial lookahead + no save 146μs  -- with HLT + save (throws) 121μs  -- with Felsch (throws) 106μs  -- with random strategy 104μs ToddCoxeter 035: congruence on FpSemigroup . . .  -- with HLT + no standardise + full lookahead + no save 272μs  -- with HLT + standardise + full lookahead + no save 226μs  -- with HLT + no standardise + partial lookahead + no save 217μs  -- with HLT + standardise + partial lookahead + no save 214μs  -- with HLT + no standardise + full lookahead + save 240μs  -- with HLT + standardise + full lookahead + save 237μs  -- with HLT + no standardise + partial lookahead + save 236μs  -- with HLT + standardise + partial lookahead + save 235μs  -- with Felsch + no standardisation 234μs  -- with Felsch + standardisation 232μs  -- with random strategy 250μs  -- with Rc style + full lookahead 216μs  -- with Rc style + partial lookahead 213μs  -- with R/C style 213μs  -- with CR style 233μs  -- with Cr style 234μs ToddCoxeter 036: exceptions . . . 63μs ToddCoxeter 037: copy constructor . . . 20μs ToddCoxeter 038: simplify . . . 83μs ToddCoxeter 039: stylic_monoid . . . 592ms ToddCoxeter 041: some finite classes . . . 569μs ToddCoxeter 043: symmetric_group(7, Coxeter + Moser) . . . 132ms ToddCoxeter 044: Option exceptions . . . 46μs ToddCoxeter 045: Options operator<< . . . 421μs ToddCoxeter 046: Easdown-East-FitzGerald DualSymInv(5) . . .  -- with HLT + no standardise + full lookahead + no save 132ms  -- with HLT + standardise + full lookahead + no save 145ms  -- with HLT + no standardise + partial lookahead + no save 129ms  -- with HLT + standardise + partial lookahead + no save 144ms  -- with HLT + no standardise + full lookahead + save 130ms  -- with HLT + standardise + full lookahead + save 130ms  -- with HLT + no standardise + partial lookahead + save 130ms  -- with HLT + standardise + partial lookahead + save 129ms  -- with Felsch + no standardisation 139ms  -- with Felsch + standardisation 139ms  -- with random strategy 139ms  -- with R/C style 140ms  -- with Rc style + full lookahead 146ms  -- with Rc style + partial lookahead 147ms ToddCoxeter 047: uniform_block_bijection_monoid(3) (FitzGerald) . . .  -- with HLT + no standardise + full lookahead + no save 77μs  -- with HLT + standardise + full lookahead + no save 76μs  -- with HLT + no standardise + partial lookahead + no save 61μs  -- with HLT + standardise + partial lookahead + no save 64μs  -- with HLT + no standardise + full lookahead + save 151μs  -- with HLT + standardise + full lookahead + save 155μs  -- with HLT + no standardise + partial lookahead + save 153μs  -- with HLT + standardise + partial lookahead + save 145μs  -- with Felsch + no standardisation 104μs  -- with Felsch + standardisation 99μs  -- with random strategy 112μs  -- with R/C style 73μs  -- with Rc style + full lookahead 67μs  -- with Rc style + partial lookahead 66μs ToddCoxeter 048: stellar_monoid(7) (Gay-Hivert) . . . 140ms ToddCoxeter 049: partition_monoid(4) (East) . . .  -- with HLT + no standardise + full lookahead + no save 24ms  -- with HLT + standardise + full lookahead + no save 25ms  -- with HLT + no standardise + partial lookahead + no save 24ms  -- with HLT + standardise + partial lookahead + no save 25ms  -- with HLT + no standardise + full lookahead + save 50ms  -- with HLT + standardise + full lookahead + save 52ms  -- with HLT + no standardise + partial lookahead + save 51ms  -- with HLT + standardise + partial lookahead + save 52ms  -- with Felsch + no standardisation 59ms  -- with Felsch + standardisation 59ms  -- with random strategy 63ms  -- with R/C style 29ms  -- with Rc style + full lookahead 65ms  -- with Rc style + partial lookahead 65ms ToddCoxeter 050: singular_brauer_monoid(6) (Maltcev + Mazorchuk) . . . 415ms ToddCoxeter 051: orientation_preserving_monoid(6) (Ruskuc + [...] . . .  -- with HLT + no standardise + full lookahead + no save 18ms ToddCoxeter 052: orientation_reversing_monoid(5) (Ruskuc + [...] . . .  -- with HLT + no standardise + full lookahead + no save 5233μs ToddCoxeter 053: temperley_lieb_monoid(10) (East) . . . 28ms ToddCoxeter 063: add_rule . . .  -- with HLT + no standardise + full lookahead + no save 71μs  -- with HLT + standardise + full lookahead + no save 44μs  -- with HLT + no standardise + partial lookahead + no save 42μs  -- with HLT + standardise + partial lookahead + no save 40μs  -- with HLT + no standardise + full lookahead + save 46μs  -- with HLT + standardise + full lookahead + save 44μs  -- with HLT + no standardise + partial lookahead + save 44μs  -- with HLT + standardise + partial lookahead + save 44μs  -- with Felsch + no standardisation 44μs  -- with Felsch + standardisation 43μs  -- with random strategy 45μs  -- with Rc style + full lookahead 42μs  -- with Rc style + partial lookahead 41μs  -- with R/C style 43μs  -- with CR style 49μs  -- with Cr style 45μs  -- with R/C + Felsch lookahead 47μs  -- with HLT + Felsch lookahead + save 43μs  -- with Cr + small number of f_defs 47μs  -- with Rc + small number of deductions 42μs  -- with Felsch + v2 + no preferred defs 45μs  -- with Felsch + v2 + immediate no stack 44μs  -- with Felsch + v1 + immediate no stack 44μs  -- with Felsch + v1 + immediate yes stack 43μs  -- with large collapse 43μs ToddCoxeter 064: (from kbmag/standalone/kb_data/s4) (KnuthB [...] . . .  -- with HLT + no standardise + full lookahead + no save 277μs ToddCoxeter 066: test validate . . . 80μs ToddCoxeter 067: add_rules after construct. from semigroup . . .  -- with HLT + no standardise + full lookahead + no save 343μs  -- with HLT + standardise + full lookahead + no save 307μs  -- with HLT + no standardise + partial lookahead + no save 297μs  -- with HLT + standardise + partial lookahead + no save 294μs  -- with HLT + save (throws) 300μs  -- with Felsch (throws) 311μs  -- with random strategy 298μs ToddCoxeter 068: Sym(5) from Chapter 3, Proposition 1.1 in NR . . .  -- with Deduction policy == purge_from_top 680μs  -- with Deduction policy == purge_all 632μs  -- with Deduction policy == discard_all_if_no_space 649μs  -- with HLT + no standardise + full lookahead + no save 682μs  -- with HLT + standardise + full lookahead + no save 908μs  -- with HLT + no standardise + partial lookahead + no save 679μs  -- with HLT + standardise + partial lookahead + no save 908μs  -- with HLT + no standardise + full lookahead + save 1044μs  -- with HLT + standardise + full lookahead + save 1038μs  -- with HLT + no standardise + partial lookahead + save 1036μs  -- with HLT + standardise + partial lookahead + save 1048μs  -- with Felsch + no standardisation 689μs  -- with Felsch + standardisation 683μs  -- with random strategy 734μs  -- with Rc style + full lookahead 1385μs  -- with Rc style + partial lookahead 1389μs  -- with R/C style 765μs  -- with CR style 730μs  -- with Cr style 722μs ToddCoxeter 069: Chapter 7, Theorem 3.6 in NR (size 243) . . .  -- with HLT + no standardise + full lookahead + no save 374μs  -- with HLT + standardise + full lookahead + no save 422μs  -- with HLT + no standardise + partial lookahead + no save 379μs  -- with HLT + standardise + partial lookahead + no save 446μs  -- with HLT + no standardise + full lookahead + save 492μs  -- with HLT + standardise + full lookahead + save 525μs  -- with HLT + no standardise + partial lookahead + save 474μs  -- with HLT + standardise + partial lookahead + save 503μs  -- with Felsch + no standardisation 2472μs  -- with Felsch + standardisation 2464μs  -- with random strategy 549μs  -- with Rc style + full lookahead 422μs  -- with Rc style + partial lookahead 406μs  -- with R/C style 452μs  -- with CR style 2492μs  -- with Cr style 2477μs ToddCoxeter 070: finite semigroup (size 99) . . .  -- with HLT + no standardise + full lookahead + no save 152μs  -- with HLT + standardise + full lookahead + no save 163μs  -- with HLT + no standardise + partial lookahead + no save 141μs  -- with HLT + standardise + partial lookahead + no save 155μs  -- with HLT + no standardise + full lookahead + save 192μs  -- with HLT + standardise + full lookahead + save 207μs  -- with HLT + no standardise + partial lookahead + save 194μs  -- with HLT + standardise + partial lookahead + save 204μs  -- with Felsch + no standardisation 464μs  -- with Felsch + standardisation 439μs  -- with random strategy 505μs  -- with Rc style + full lookahead 159μs  -- with Rc style + partial lookahead 157μs  -- with R/C style 174μs  -- with CR style 445μs  -- with Cr style 450μs ToddCoxeter 080: KnuthBendix 098 . . .  -- with HLT + no standardise + full lookahead + no save 530ms  -- with HLT + standardise + full lookahead + no save 578ms  -- with HLT + no standardise + partial lookahead + no save 525ms  -- with HLT + standardise + partial lookahead + no save 575ms  -- with HLT + no standardise + full lookahead + save 350ms  -- with HLT + standardise + full lookahead + save 366ms  -- with HLT + no standardise + partial lookahead + save 352ms  -- with HLT + standardise + partial lookahead + save 356ms  -- with Felsch + no standardisation 337ms  -- with Felsch + standardisation 336ms  -- with random strategy 355ms  -- with Rc style + full lookahead 336ms  -- with Rc style + partial lookahead 333ms  -- with R/C style 534ms  -- with CR style 336ms  -- with Cr style 336ms ToddCoxeter 084: Campbell-Reza 1 . . .  -- with HLT + no standardise + full lookahead + no save 136μs  -- with HLT + standardise + full lookahead + no save 72μs  -- with HLT + no standardise + partial lookahead + no save 64μs  -- with HLT + standardise + partial lookahead + no save 66μs  -- with HLT + no standardise + full lookahead + save 78μs  -- with HLT + standardise + full lookahead + save 75μs  -- with HLT + no standardise + partial lookahead + save 72μs  -- with HLT + standardise + partial lookahead + save 86μs  -- with Felsch + no standardisation 79μs  -- with Felsch + standardisation 82μs  -- with random strategy 70μs  -- with Rc style + full lookahead 70μs  -- with Rc style + partial lookahead 63μs  -- with R/C style 68μs  -- with CR style 86μs  -- with Cr style 85μs ToddCoxeter 085: Renner monoid type D4 (Gay-Hivert), q = 1 . . .  -- with HLT + no standardise + full lookahead + no save 163ms  -- with HLT + standardise + full lookahead + no save 99ms  -- with HLT + no standardise + partial lookahead + no save 99ms  -- with HLT + standardise + partial lookahead + no save 98ms  -- with HLT + no standardise + full lookahead + save 98ms  -- with HLT + standardise + full lookahead + save 98ms  -- with HLT + no standardise + partial lookahead + save 98ms  -- with HLT + standardise + partial lookahead + save 98ms  -- with Felsch + no standardisation 98ms  -- with Felsch + standardisation 98ms  -- with random strategy 103ms  -- with Rc style + full lookahead 99ms  -- with Rc style + partial lookahead 99ms  -- with R/C style 98ms  -- with CR style 98ms  -- with Cr style 98ms ToddCoxeter 086: trivial semigroup . . . 206ms ToddCoxeter 092: ACE --- perf602p5 - HLT . . .  -- with HLT + no standardise + full lookahead + no save 25ms  -- with HLT + standardise + full lookahead + no save 25ms  -- with HLT + no standardise + partial lookahead + no save 26ms  -- with HLT + standardise + partial lookahead + no save 26ms  -- with HLT + no standardise + full lookahead + save 13ms  -- with HLT + standardise + full lookahead + save 13ms  -- with HLT + no standardise + partial lookahead + save 13ms  -- with HLT + standardise + partial lookahead + save 13ms  -- with random strategy 26ms  -- with Felsch + no standardisation 10ms  -- with Felsch + standardisation 10ms ToddCoxeter 094: ACE --- C5 - HLT . . .  -- with HLT + no standardise + full lookahead + no save 54μs  -- with HLT + standardise + full lookahead + no save 50μs  -- with HLT + no standardise + partial lookahead + no save 45μs  -- with HLT + standardise + partial lookahead + no save 43μs  -- with HLT + no standardise + full lookahead + save 58μs  -- with HLT + standardise + full lookahead + save 57μs  -- with HLT + no standardise + partial lookahead + save 56μs  -- with HLT + standardise + partial lookahead + save 55μs  -- with random strategy 50μs  -- with Felsch + no standardisation 54μs  -- with Felsch + standardisation 53μs ToddCoxeter 095: ACE --- A5-C5 . . .  -- with HLT + no standardise + full lookahead + no save 63μs  -- with HLT + standardise + full lookahead + no save 83μs  -- with HLT + no standardise + partial lookahead + no save 61μs  -- with HLT + standardise + partial lookahead + no save 80μs  -- with HLT + no standardise + full lookahead + save 96μs  -- with HLT + standardise + full lookahead + save 94μs  -- with HLT + no standardise + partial lookahead + save 92μs  -- with HLT + standardise + partial lookahead + save 91μs  -- with random strategy 70μs  -- with Felsch + no standardisation 78μs  -- with Felsch + standardisation 78μs ToddCoxeter 096: ACE --- A5 . . .  -- with HLT + no standardise + full lookahead + no save 204μs  -- with HLT + standardise + full lookahead + no save 200μs  -- with HLT + no standardise + partial lookahead + no save 156μs  -- with HLT + standardise + partial lookahead + no save 201μs  -- with HLT + no standardise + full lookahead + save 298μs  -- with HLT + standardise + full lookahead + save 311μs  -- with HLT + no standardise + partial lookahead + save 290μs  -- with HLT + standardise + partial lookahead + save 306μs  -- with random strategy 329μs  -- with Felsch + no standardisation 214μs  -- with Felsch + standardisation 222μs ToddCoxeter 098: relation ordering . . .  -- with Felsch + no standardisation 431μs  -- with Felsch + standardisation 431μs  -- with HLT + no standardise + full lookahead + no save 222μs  -- with HLT + standardise + full lookahead + no save 221μs  -- with HLT + no standardise + partial lookahead + no save 218μs  -- with HLT + standardise + partial lookahead + no save 279μs  -- with HLT + no standardise + full lookahead + save 477μs  -- with HLT + standardise + full lookahead + save 452μs  -- with HLT + no standardise + partial lookahead + save 462μs  -- with HLT + standardise + partial lookahead + save 474μs  -- with random strategy 278μs ToddCoxeter 099: short circuit size in obviously infinite . . . 8000ns ToddCoxeter 101: http://brauer.maths.qmul.ac.uk/Atlas/spor/M [...] . . . 369ms ToddCoxeter 108: http://brauer.maths.qmul.ac.uk/Atlas/lin/L3 [...] . . . 332ms ToddCoxeter 110: to_gap_string . . . 102μs ToddCoxeter 111: partition_monoid(2) . . . 45μs ToddCoxeter 112: brauer_monoid(4) (Kudryavtseva + Mazorchuk) . . . 313μs ToddCoxeter 113: symmetric_inverse_monoid . . . 13ms ToddCoxeter 116: symmetric_group(7, Burnside + Miller) . . . 309ms UF 001: constructor by size . . . 8000ns UF 002: copy constructor . . . 17μs UF 003: find . . . 10μs Ukkonen 000: basic tests . . . 42ms Ukkonen 001: maximal_piece_prefix 1 . . . 27μs Ukkonen 002: maximal_piece_prefix 2 . . . 26μs Ukkonen 003: maximal_piece_prefix 3 . . . 155μs Ukkonen 004: number_of_pieces . . . 50μs Ukkonen 005: traverse . . . 12μs Ukkonen 006: dot . . . 144μs Ukkonen 007: strings . . . 35μs Ukkonen 008: dfs #01 . . . 24μs Ukkonen 009: dfs #02 . . . 20μs Ukkonen 010: dfs #03 . . . 17μs Ukkonen 011: dfs #04 . . . 54μs Ukkonen 012: dfs #05 . . . 33μs Ukkonen 013: dfs #06 . . . 31μs Ukkonen 014: dfs #07 . . . 69μs Ukkonen 015: dfs #08 . . . 47μs Ukkonen 016: dfs #09 . . . 67μs Ukkonen 017: dfs #10 . . . 17μs Ukkonen 018: pieces . . . 24μs Ukkonen 019: code coverage . . . 30μs Ukkonen 020: code coverage . . . 3000ns action_digraph_helper 015: detail::to_string . . . 18μs action_digraph_helper 016: make . . . 39μs action_digraph_helper 017: is_connected . . . 117μs action_digraph_helper 018: is_strictly_cyclic . . . 6981μs follow_path 012: 20 node path . . . 13μs fpsemi-examples 002: full_transformation_monoid author except . . . 22μs fpsemi-examples 003: full_transformation_monoid degree except . . . 11μs fpsemi-examples 005: partial_transformation_monoid author except . . . 18μs fpsemi-examples 006: partial_transformation_monoid degree except . . . 13μs fpsemi-examples 007: symmetric_inverse_monoid(5) . . . 13ms fpsemi-examples 008: symmetric_group auth except . . . 16μs fpsemi-examples 009: symmetric_group degree except . . . 12μs fpsemi-examples 010: symmetric_group(6) Burnside + Miller . . . 19ms fpsemi-examples 011: dual_symmetric_inverse_monoid(5) . . . 130ms fpsemi-examples 012: dual_symmetric_inverse_monoid auth except . . . 18μs fpsemi-examples 013: dual_symmetric_inverse_monoid degree except . . . 11μ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 . . . 57μs fpsemi-examples 020: partition_monoid degree except . . . 53μs fpsemi-examples 022: monogenic_semigroup(4, 9) . . . 16μs fpsemi-examples 023: fibonacci_semigroup(2, 5) . . . 72μs fpsemi-examples 024: temperley_lieb_monoid(10) . . . 32ms fpsemi-examples 025: singular_brauer_monoid(6) . . . 303ms fpsemi-examples 026: orientation_preserving_monoid(6) . . . 18ms fpsemi-examples 027: orientation_reversing_monoid(5) . . . 5071μs fpsemi-examples 028: chinese_monoid(3) . . . 132μs fpsemi-examples 029: plactic_monoid(3) . . . 89μs fpsemi-examples 030: stylic_monoid(3) . . . 1043μs fpsemi-examples 031: symmetric_group(6) Carmichael . . . 11ms fpsemi-examples 032: symmetric_group(6) Moore index 0 . . . 7920μs fpsemi-examples 033: symmetric_group(6) Coxeter + Moser . . . 5241μs fpsemi-examples 034: test for the rook monoid . . . 215μ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 . . . 235μs fpsemi-examples 039: chinese_monoid degree except . . . 17μs fpsemi-examples 040: monogenic_semigroup degree except . . . 17μs fpsemi-examples 041: rectangular_band degree except . . . 30μs fpsemi-examples 042: stellar_monoid degree except . . . 15μs fpsemi-examples 043: plactic_monoid degree except . . . 14μs fpsemi-examples 044: stylic_monoid degree except . . . 13μs fpsemi-examples 045: temperley_lieb_monoid degree except . . . 20μs fpsemi-examples 046: singular_brauer_monoid degree except . . . 21μs fpsemi-examples 047: orientation_preserving_monoid degree except . . . 22μs fpsemi-examples 048: orientation_reversing_monoid degree except . . . 23μs fpsemi-examples 049: test default values . . . 2351μs fpsemi-examples 052: not_symmetric_group(5) Guralnick + Kant [...] . . . 2473μs fpsemi-examples 053: order_preserving_monoid(5) . . . 563μs fpsemi-examples 055: order_preserving_monoid degree except . . . 26μs fpsemi-examples 056: cyclic_inverse_monoid(4) Fernandes 1 . . . 199μs fpsemi-examples 057: cyclic_inverse_monoid(8) Fernandes index 1 . . . 14ms fpsemi-examples 058: cyclic_inverse_monoid Fernandes index 0 . . . 19ms fpsemi-examples 059: order_preserving_cyclic_inverse_monoid(4) . . . 119μs fpsemi-examples 060: order_preserving_cyclic_inverse_monoid(10) . . . 22ms fpsemi-examples 061: cyclic_inverse_monoid degree except . . . 53μs fpsemi-examples 062: cyclic_inverse_monoid author except . . . 20μs fpsemi-examples 063: order_preserving_monoid degree except . . . 20μs fpsemi-examples 064: symmetric_group index except . . . 20μs fpsemi-examples 065: symmetric_group(7) Moore index 1 . . . 5103μs fpsemi-examples 066: order_preserving_cyclic_inverse_monoid(10) . . . 22ms fpsemi-examples 067: partial_isometries_cycle_graph_monoid(5) . . . 540μs fpsemi-examples 068: partial_isometries_cycle_graph_monoid(10) . . . 176ms fpsemi-examples 069: partial_isometries_cycle_graph_monoid d [...] . . . 33μs fpsemi-examples 070: partial_isometries_cycle_graph_monoid(4) . . . 199μs freeband_equal_to 001: . . . 733μs is_acyclic 000: 2-cycle . . . 8000ns is_acyclic 001: 1-cycle . . . 4000ns is_acyclic 002: multi-digraph . . . 6000ns is_acyclic 003: complete digraph 100 . . . 67μs is_acyclic 004: acyclic digraph with 20000 nodes . . . 1949μs is_acyclic 006: for a node . . . 654μs is_acyclic 007: for a node . . . 8000ns is_reachable 008: acyclic 20 node digraph . . . 30μs is_reachable 009: 100 node path . . . 6483μs is_reachable 010: 100 node cycle . . . 6504μs is_reachable 011: 20 node clique . . . 277μs last_node_on_path_nc 014: 20 node path . . . 9000ns make 000: from FroidurePin . . . 363μs make 001: from FroidurePin and alphabet . . . 443μs make 002: presentation from presentation . . . 139μ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 . . . 1086μs make> 001: from ActionDigraph (exceptions) . . . 24μs number_of_words 001: . . . 6000ns operator"" _w 003: literal . . . 7000ns silo 000: alphabet: a, min: 0, max: 10 . . . 24μs silo 001: corner cases . . . 14μs silo 002: alphabet: ab, min: 1, max: 4 . . . 30μs silo 003: alphabet: abc, min: 0, max: 13 . . . 63ms silo 004: code coverage . . . 13μs sislo 005: alphabet: a, min: 0, max: 10 . . . 21μs sislo 006: corner cases . . . 39μs sislo 007: alphabet: ab, min: 1, max: 4 . . . 41μs sislo 008: alphabet: abc, min: 0, max: 13 . . . 53ms sislo 009: code coverage . . . 14μs string 000: detail::is_suffix . . . 6000ns string 001: detail::is_prefix . . . 6000ns string 002: detail::maximum_common_suffix . . . 5000ns string 003: detail::group_digits . . . 13μs string_to_word 002: . . . 6000ns validate_label 013: 20 node path . . . 24μs wilo 001: corner cases . . . 19μs wilo 002: letters: 2, min: 1, max: 4 . . . 18μs wilo 003: letters: 2, min: 1, max: 4 . . . 30μs wilo 004: letters: 3, min: 0, max: 10 . . . 12ms wilo 005: letters: 3, min: 0, max: 13 . . . 141ms wilo 006: forward iterator requirements . . . 125ms wilo 007: more corner cases . . . 24μs wilo 008: starting at a given word 1 . . . 86μs wilo 009: starting at a given word 2 . . . 10μs wilo 010: code coverage . . . 10μs wislo 000: n: 2, min; 1, max: 4 . . . 13μs wislo 001: corner cases . . . 22μs wislo 002: n: 3, min; 0, max: 10 . . . 3653μs wislo 003: n: 3, min; 0, max: 13 . . . 118ms wislo 004: lex + sort . . . 659ms wislo 005: code coverage . . . 16μ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.1' ./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' /usr/bin/install -c -m 644 libsemigroups.pc '/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' 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 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' /usr/bin/install -c -m 644 extern/textflowcpp/TextFlow.hpp '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups/textflowcpp' 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; }; }) /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 || { 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.1' >>> 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.1-r3 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.1-r3.apk >>> libsemigroups-static*: Tracing dependencies... >>> libsemigroups-static*: Package size: 5.8 MB >>> libsemigroups-static*: Compressing data... >>> libsemigroups-static*: Create checksum... >>> libsemigroups-static*: Create libsemigroups-static-2.7.1-r3.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.9 MB >>> libsemigroups*: Compressing data... >>> libsemigroups*: Create checksum... >>> libsemigroups*: Create libsemigroups-2.7.1-r3.apk >>> libsemigroups: Build complete at Tue, 29 Aug 2023 08:29:15 +0000 elapsed time 0h 4m 0s >>> libsemigroups: Cleaning up srcdir >>> libsemigroups: Cleaning up pkgdir >>> libsemigroups: Uninstalling dependencies... (1/4) Purging .makedepends-libsemigroups (20230829.082516) (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: 345 MiB in 105 packages >>> libsemigroups: Updating the testing/s390x repository index... >>> libsemigroups: Signing the index...