>>> libsemigroups: Building testing/libsemigroups 2.7.1-r3 (using abuild 3.11.21-r0) started Tue, 29 Aug 2023 07:35:14 +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.073516) OK: 389 MiB in 114 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 % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 2485k 100 2485k 0 0 14.1M 0 --:--:-- --:--:-- --:--:-- 14.1M >>> 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... i586-alpine-linux-musl checking host system type... i586-alpine-linux-musl checking target system type... i586-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 i586-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 i586-alpine-linux-musl-ar... no checking for i586-alpine-linux-musl-lib... no checking for i586-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/i586-alpine-linux-musl/bin/ld checking if the linker (/usr/i586-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 i586-alpine-linux-musl file names to i586-alpine-linux-musl format... func_convert_file_noop checking how to convert i586-alpine-linux-musl file names to toolchain format... func_convert_file_noop checking for /usr/i586-alpine-linux-musl/bin/ld option to reload object files... -r checking for i586-alpine-linux-musl-file... no checking for file... file checking for i586-alpine-linux-musl-objdump... no checking for objdump... objdump checking how to recognize dependent libraries... pass_all checking for i586-alpine-linux-musl-dlltool... no checking for dlltool... no checking how to associate runtime and link libraries... printf %s\n checking for i586-alpine-linux-musl-ar... ar checking for archiver @FILE support... @ checking for i586-alpine-linux-musl-strip... no checking for strip... strip checking for i586-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 i586-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/i586-alpine-linux-musl/bin/ld) 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/i586-alpine-linux-musl/bin/ld checking if the linker (/usr/i586-alpine-linux-musl/bin/ld) is GNU ld... yes checking whether the g++ linker (/usr/i586-alpine-linux-musl/bin/ld) 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/i586-alpine-linux-musl/bin/ld) 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 *... 4 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... yes checking whether C++ compiler accepts -flax-vector-conversions... yes checking for x86intrin.h... yes checking for _mm_blendv_epi8... yes checking for _mm_cmpeq_epi8... yes checking for _mm_cmpestri... yes checking for _mm_cmpestrm... yes checking for _mm_cmplt_epi8... yes checking for _mm_extract_epi64... no configure: WARNING: compiler builtin not supported, HPCombi is disabled checking for i586-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-wislo.lo CXX src/libsemigroups_la-wilo.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 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 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 64 into object 'r' of size 12 160 | auto r = matrix_helpers::rows(m); | ^ 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 . . . 47μs Action 002: row and column basis orbits for BMat8 . . . 9113μs Action 003: add generators after enumeration . . . 8196μs Action 004: multipliers for BMat8 row and column orbits . . . 13ms Action 005: orbits for regular boolean mat monoid 5 . . .  Action 007: partial perm image orbit . . . 234μs Action 008: partial perm image orbit . . . 62ms Action 009: partial perm image orbit . . . 69ms Action 010: partial perm image orbit . . . 69ms Action 011: permutation on integers . . . 29μs Action 012: permutation on sets, arrays . . . 116μs Action 013: permutation on tuples, arrays . . . 11ms Action 014: permutation on sets, vectors . . . 181μs Action 015: permutation on tuples, vectors . . . 18ms Action 016: misc . . . 2201μs Action 017: partial perm image orbit . . . 45μs Action 018: permutation on tuples, arrays (360360) . . . 169ms Action 019: orbits for regular BMat8 monoid 5 with stop/start . . .  Action 021: orbits for regular boolean mat monoid 5 (BMat<5> [...] . . . 434ms ActionDigraph 000: constructor with 1 default arg . . . 26μs ActionDigraph 001: constructor with 0 default args . . . 49μs ActionDigraph 002: add nodes . . . 29μs ActionDigraph 003: add edges . . . 295μs ActionDigraph 004: strongly connected components - cycles . . . 32μs ActionDigraph 005: strongly connected components - no edges . . . 52ms ActionDigraph 006: strongly connected components - disjoint cycles . . . 1900μs ActionDigraph 007: strongly connected components - complete graphs . . . 1007μs ActionDigraph 008: exceptions . . . 63μs ActionDigraph 009: spanning forest - complete graphs . . . 4070μs ActionDigraph 010: spanning forest - disjoint cycles . . . 134μs ActionDigraph 011: restrict . . . 13μs ActionDigraph 012: remove_edge_nc . . . 11μs ActionDigraph 013: scc large cycle . . . 17ms ActionDigraph 014: random . . . 29μs ActionDigraph 015: reserve . . . 12μs ActionDigraph 016: default constructors . . . 16μs ActionDigraph 017: scc iterators . . . 1567μs ActionDigraph 018: iterator to edges . . . 610μs ActionDigraph 019: root of scc . . . 394μs ActionDigraph 020: cbegin/end_panislo - 100 node path . . . 598μs ActionDigraph 021: cbegin/end_pislo . . . 53μs ActionDigraph 022: cbegin/end_pani(s)lo - 100 node cycle . . . 878μs ActionDigraph 023: cbegin/cend_pilo - tree 14 nodes . . . 90μs ActionDigraph 024: cbegin/end_pstilo - Cayley digraph . . . 186ms ActionDigraph 025: cbegin_pstilo - Tsalakou . . . 440μs ActionDigraph 026: cbegin/end_pstislo - Cayley digraph . . . 182ms ActionDigraph 027: cbegin/end_pstislo - Cayley digraph . . . 242μs ActionDigraph 028: path iterators corner cases . . . 182μs ActionDigraph 029: reverse node iterator . . . 13μs ActionDigraph 030: pstilo corner case . . . 51μs ActionDigraph 031: number_of_paths corner cases . . . 64μs ActionDigraph 032: number_of_paths acyclic digraph . . . 11ms ActionDigraph 033: number_of_paths binary tree . . . 465ms ActionDigraph 034: number_of_paths large binary tree . . . 140ms ActionDigraph 035: number_of_paths 400 node random digraph . . . 760μs ActionDigraph 036: number_of_paths 10 node acyclic digraph . . . 47μs ActionDigraph 037: number_of_paths node digraph . . . 3126μs ActionDigraph 038: random/random_acyclic exceptions . . . 111μs ActionDigraph 039: unsafe (next) neighbour . . . 85μs ActionDigraph 040: number_of_egdes incident to a node . . . 94μs ActionDigraph 041: number_of_paths (matrix) . . . 25ms ActionDigraph 042: number_of_paths (matrix) . . . 16μs ActionDigraph 043: swap_edge_nc . . . 11μs ActionDigraph 044: detail::pow for non-square Eigen matrix . . . 22μs ActionDigraph 045: operator<< . . . 19μs Array2 044: all . . . 60μs BMat8 001: transpose . . . 26μs BMat8 002: multiplication . . . 22μs BMat8 003: identity matrix . . . 16μs BMat8 004: random . . . 328μs BMat8 005: call operator . . . 23μs BMat8 006: operator<< . . . 19μs BMat8 007: set . . . 61μs BMat8 008: row space basis . . . 1318μs BMat8 009: col space basis . . . 1338μs BMat8 010: row space basis . . . 16ms BMat8 011: number_of_rows, number_of_cols . . . 47μs BMat8 012: row_space, col_space . . . 274μs BMat8 013: rows . . . 50μs BMat8 014: one . . . 14μs BMat8 015: vector constructor . . . 87μs BMat8 016: operator< . . . 16μs BMat8 017: adapters . . . 26μs BMat8 018: one . . . 13μs Bipartition 009: mem fns 1 . . . 31μs Bipartition 010: hash . . . 9000ns Bipartition 011: mem fns 2 . . . 24μs Bipartition 012: delete/copy . . . 11μs Bipartition 013: degree 0 . . . 12μs Bipartition 014: exceptions . . . 47μs Bipartition 015: convenience constructor . . . 242μs Bipartition 016: force copy constructor over move constructor . . . 20μs Bipartition 017: adapters . . . 10μs BitSet 000: size . . . 11μs BitSet 001: operator< . . . 11μs BitSet 002: operator== . . . 12μs BitSet 003: operator!= . . . 12μs BitSet 004: operator&= . . . 20μs BitSet 005: & . . . 18μs BitSet 006: operator|= . . . 19μs BitSet 007: operator[] . . . 18μs BitSet 008: set(none) . . . 19μs BitSet 009: set(pos, value) . . . 19μs BitSet 010: set(first, last, value) . . . 21μs BitSet 011: reset(first, last) . . . 20μs BitSet 012: reset(pos) . . . 20μs BitSet 013: apply (iterate through set bits) . . . 21μs BitSet 014: std::hash . . . 9000ns BitSet 015: constructors . . . 22μs BitSet 016: max_size . . . 9000ns BitSet 017: insertion operators . . . 13μs Blocks 001: empty blocks . . . 14μs Blocks 002: non-empty blocks . . . 20μs Blocks 003: left blocks of bipartition . . . 15μs Blocks 004: right blocks of bipartition . . . 15μs Blocks 005: copy [empty blocks] . . . 12μs Blocks 006: copy [non-empty blocks] . . . 14μs Blocks 007: hash value . . . 14μs Blocks 008: operator< . . . 13μs Congruence 000: left congruence on fp semigroup . . . 162μs Congruence 001: 2-sided congruence on fp semigroup . . . 539μs Congruence 002: left congruence on fp semigroup . . . 269μs Congruence 003: word_to_class_index for cong. on fp semigroup . . . 277μs Congruence 004: word_to_class_index for cong. on fp semigroup . . . 780μs Congruence 005: trivial congruence on non-fp semigroup . . . 385μs Congruence 006: 2-sided congruence on non-fp semigroup . . . 353μs Congruence 007: 2-sided congruence on fp semigroup . . . 639μs Congruence 008: 2-sided congruence on infinite fp semigroup . . . 476μs Congruence 009: 2-sided congruence on infinite fp semigroup . . . 515μs Congruence 010: 2-sided congruence on finite semigroup . . . 64ms Congruence 012: 2-sided congruence on finite semigroup . . . 3496μs Congruence 013: trivial 2-sided congruence on bicyclic monoid . . . 26ms Congruence 014: non-trivial 2-sided congruence on bicyclic monoid . . . 488μs Congruence 015: 2-sided congruence on free abelian monoid . . . 515μs Congruence 016: example where TC works but KB doesn't . . . 741μs Congruence 017: 2-sided congruence on finite semigroup . . . 459μs Congruence 018: infinite fp semigroup from GAP library . . . 756μs Congruence 019: 2-sided cong. on fp semigroup with infinite [...] . . . 383μs Congruence 020: trivial cong. on an fp semigroup . . .  -- with compute size 361μs  -- with don't compute size 340μs Congruence 021: duplicate generators . . . 453μs Congruence 022: non-trivial classes . . . 1231μs Congruence 023: right congruence on finite semigroup . . . 417ms Congruence 024: redundant generating pairs . . . 239μs Congruence 025: 2-sided cong. on free semigroup . . . 195μs Congruence 026: is_quotient_obviously_(in)finite . . . 2017μs Congruence 027: less . . . 406μs Congruence 028: 2-sided congruences of BMat8 semigroup . . .  Congruence 029: left congruence on finite semigroup . . . 554μs Congruence 030: right congruence on finite semigroup . . . 644μs Congruence 031: right congruence on finite semigroup . . . 573μs Congruence 032: contains . . . 186μs Congruence 033: stellar_monoid S2 . . . 645μs Congruence 034: stellar_monoid S3 . . . 931μs Congruence 035: stellar_monoid S4 . . . 1933μs Congruence 036: stellar_monoid S5 . . . 8696μs Congruence 037: stellar_monoid S6 . . . 91ms Congruence 038: stellar_monoid S7 . . . 949ms Congruence 039: left cong. on an f.p. semigroup . . . 1485μs Congruence 040: 2-sided cong. on infinite f.p. semigroup . . . 231μs Congruence 041: 2-sided congruence constructed from type only . . . 551μs Congruence 042: const_contains . . . 603μs Congruence 043: no winner . . . 7359μs Congruence 044: congruence over smalloverlap . . . 12ms CongruenceByPairs 001: (cong) 2-sided cong. on finite semigroup . . . 614μs CongruenceByPairs 002: (cong) left congruence on finite semigroup . . . 253μs CongruenceByPairs 003: (cong) right congruence on finite semigroup . . . 248μs CongruenceByPairs 004: (cong) trivial congruence on finite s [...] . . . 187μs CongruenceByPairs 005: (cong) trivial left congruence on fin [...] . . . 166μs CongruenceByPairs 006: (cong) trivial right congruence on fi [...] . . . 161μs CongruenceByPairs 007: (cong) universal congruence on finite [...] . . . 700μs CongruenceByPairs 009: (cong) 2-sided congruence on finite s [...] . . . 776ms CongruenceByPairs 010: (cong) left congruence on big finite [...] . . . 30ms CongruenceByPairs 011: (cong) left congruence on TCE . . . 168μs CongruenceByPairs 012: (cong) is_quotient_obviously_finite . . . 96μs CongruenceByPairs 013: (cong) class_index_to_word/quotient . . .  -- with right congruence 9541μs  -- with left congruence 1144μs  -- with 2-sided congruence 6076μs CongruenceByPairs 014: (cong) const_word_to_class_index . . .  -- with right congruence 38μs  -- with left congruence 31μs  -- with 2-sided congruence 28μs CongruenceByPairs 015: (cong) size non-Element* . . . 27ms CongruenceInterface 000: add_pair . . .  -- with ToddCoxeter 80μs  -- with KnuthBendix 129μs  -- with CongruenceByPairs 120μs  -- with Congruence 436μs CongruenceInterface 001: contains/const_contains . . .  -- with ToddCoxeter and no parent 115μs  -- with KnuthBendix and no parent 114μs  -- with Congruence and parent 380μs  -- with CongruenceByPairs and parent 103μs CongruenceInterface 002: less . . .  -- with ToddCoxeter 91μs  -- with KnuthBendix 144μs  -- with CongruenceByPairs 108μs  -- with Congruence 403μs CongruenceInterface 003: is_quotient_obviously_(in)finite . . .  -- with ToddCoxeter 62μs  -- with KnuthBendix 110μs CongruenceInterface 004: is_quotient_obviously_(in)finite . . .  -- with CongruenceByPairs 110μs  -- with Congruence 394μs CongruenceInterface 005: parent_froidure_pin . . .  -- with ToddCoxeter 30μs  -- with KnuthBendix 21μs CongruenceInterface 006: parent_froidure_pin . . .  -- with CongruenceByPairs 106μs  -- with Congruence 340μs CongruenceInterface 007: cbegin/cend_ntc . . .  -- with ToddCoxeter 266μs  -- with KnuthBendix 1149μs CongruenceInterface 008: cbegin/cend_ntc . . .  -- with CongruenceByPairs 218μs  -- with Congruence 460μs CongruenceInterface 009: quotient is immutable . . .  -- with ToddCoxeter 92μs  -- with KnuthBendix 115μs  -- with Congruence 265μs CongruenceInterface 010: no generating pairs added . . .  -- with KnuthBendix and common behaviour 4681μs  -- with Congruence and common behaviour 4845μs  -- with ToddCoxeter 66μs CongruenceInterface 011: nr generators not set . . .  -- with ToddCoxeter 94μs  -- with KnuthBendix 84μs  -- with Congruence 86μs CongruenceInterface 012: no generating pairs . . . 178μs ConstIteratorStateless 001: ? . . . 11μs ConstIteratorStateless 002: ? . . . 10μs Constants 001: Undefined . . . 15μs Constants 002: PositiveInfinity . . . 17μs Constants 003: NegativeInfinity . . . 16μs Constants 004: LimitMax . . . 15μs Duf 004: unite . . . 33μs Duf 006: compress . . . 15μs Duf 008: resize . . . 20μs Duf 009: resize . . . 14μs Duf 010: big chain . . . 20ms Duf 012: empty table . . . 11μs Duf 014: join . . . 14μs Duf 016: contains . . . 27μs Duf 018: swap . . . 30μs DynamicArray2 001: default constructor with 3 default args . . . 16μs DynamicArray2 002: default constructor with 2 default args . . . 10μs DynamicArray2 003: default constructor with 1 default args . . . 16μs DynamicArray2 004: default constructor with 0 default args . . . 12μs DynamicArray2 005: copy constructor with 1 default args . . . 12μs DynamicArray2 006: copy constructor with 0 default args . . . 15μs DynamicArray2 007: add_rows . . . 14μs DynamicArray2 008: add_rows . . . 13μs DynamicArray2 009: add_cols . . . 28μs DynamicArray2 010: set/get . . . 41μs DynamicArray2 011: append 1/2 . . . 87μs DynamicArray2 012: append 2/2 . . . 147μs DynamicArray2 013: count . . . 16μs DynamicArray2 014: clear . . . 11μs DynamicArray2 015: begin_row and end_row . . . 63μs DynamicArray2 016: cbegin_row and cend_row . . . 27μs DynamicArray2 017: iterator operator++ (postfix) . . . 278μs DynamicArray2 018: iterator operator++ (prefix) . . . 1781μs DynamicArray2 019: iterator operator-- (postfix) . . . 356μs DynamicArray2 020: iterator operator-- (prefix) . . . 354μs DynamicArray2 021: operator= . . . 16μs DynamicArray2 022: operator== and operator!= . . . 261μs DynamicArray2 023: empty and clear . . . 15μs DynamicArray2 024: max_size . . . 10μs DynamicArray2 025: swap . . . 37μs DynamicArray2 026: iterator arithmetic . . . 1565μs DynamicArray2 027: iterator comparison . . . 15μs DynamicArray2 028: iterator operator= . . . 11μs DynamicArray2 029: iterator operator[] . . . 82μs DynamicArray2 030: iterator operator-> . . . 26μs DynamicArray2 031: const_iterator operator++/-- . . . 231μs DynamicArray2 032: const_iterator operator++/-- . . . 10μs DynamicArray2 033: column iterators . . . 26μs DynamicArray2 034: column iterator arithmetic . . . 6254μs DynamicArray2 035: iterator assignment constructor . . . 1746μs DynamicArray2 036: reserve method . . . 61μs DynamicArray2 037: erase column . . . 17μs DynamicArray2 038: swap_rows . . . 13μs DynamicArray2 039: apply_row_permutation . . . 14μs DynamicArray2 040: swap . . . 12μs DynamicArray2 041: shrink_rows_to . . . 16μs DynamicArray2 042: shrink_rows_to - for range . . . 16μs FastestBMat 046: check no throw . . . 22μs FelschTree 000: previously failing example . . . 29μs Forest 001: test forest . . . 67μs FpSemigroup 001: Renner monoid type B2 (E. G. presentation), q = 1 . . . 913μs FpSemigroup 002: Renner monoid type B2 (E. G. presentation), q = 0 . . . 862μs FpSemigroup 003: Renner monoid type B3 (E. G. presentation), q = 1 . . . 63ms FpSemigroup 004: Renner monoid type B3 (E. G. presentation), q = 0 . . . 64ms FpSemigroup 005: Renner monoid type B2 (Gay-Hivert presentat [...] . . . 841μs FpSemigroup 006: Renner monoid type B2 (Gay-Hivert presentat [...] . . . 977μs FpSemigroup 007: Renner monoid type B3 (Gay-Hivert presentat [...] . . . 4484μs FpSemigroup 008: Renner monoid type B3 (Gay-Hivert presentat [...] . . . 4507μs FpSemigroup 009: Renner monoid type B4 (Gay-Hivert presentat [...] . . . 338ms FpSemigroup 010: Renner monoid type B4 (Gay-Hivert presentat [...] . . . 646ms FpSemigroup 013: Renner monoid type D2 (E. G. presentation), q = 1 . . . 2110μs FpSemigroup 014: Renner monoid type D2 (E. G. presentation), q = 0 . . . 2000μs FpSemigroup 015: Renner monoid type D3 (E. G. presentation), q = 1 . . . 7877μs FpSemigroup 016: Renner monoid type D3 (E. G. presentation), q = 0 . . . 7575μs FpSemigroup 017: Renner monoid type D4 (E. G. presentation), q = 1 . . . 708ms FpSemigroup 018: Renner monoid type D4 (E. G. presentation), q = 0 . . . 798ms FpSemigroup 019: Renner monoid type D2 (Gay-Hivert presentat [...] . . . 1869μs FpSemigroup 020: Renner monoid type D2 (Gay-Hivert presentat [...] . . . 1758μs FpSemigroup 021: Renner monoid type D3 (Gay-Hivert presentat [...] . . . 7779μs FpSemigroup 022: Renner monoid type D3 (Gay-Hivert presentat [...] . . . 7575μs FpSemigroup 023: Renner monoid type D4 (Gay-Hivert presentat [...] . . . 126ms FpSemigroup 024: Renner monoid type D4 (Gay-Hivert presentat [...] . . . 140ms FpSemigroup 029: Rook monoid R5, q = 0 . . . 8459μs FpSemigroup 030: Rook monoid R5, q = 1 . . . 7341μs FpSemigroup 031: Rook monoid R6, q = 0 . . . 64ms FpSemigroup 032: Rook monoid R6, q = 1 . . . 64ms FpSemigroup 033: normal_form . . . 445μs FpSemigroup 034: for a finite semigroup . . . 1065μs FpSemigroup 035: finite fp semigroup, dihedral group of order 6 . . . 838μs FpSemigroup 036: finite fp semigroup, size 16 . . . 1210μs FpSemigroup 037: finite fp semigroup, size 16 . . . 1754μs FpSemigroup 038: fp semigroup, size 240 . . . 1378μs FpSemigroup 039: add_rule . . . 519μs FpSemigroup 040: add_rule . . . 301μs FpSemigroup 041: equal_to . . . 424μs FpSemigroup 042: cbegin/cend_rules . . . 115μs FpSemigroup 043: semigroup of size 3 . . . 734μs FpSemigroup 044: run_for/until . . . 2846μs FpSemigroup 045: constructors . . . 414μs FpSemigroup 046: set_inverses . . . 327μs FpSemigroup 047: smalloverlap . . . 16ms FpSemigroup 048: quaternion group Q8 . . . 849μs FpSemigroup 049: symmetric group Coxeter presentation . . . 32ms FpSemigroupByPairs 029: (fpsemi) 2-sided congruence on finit [...] . . . 962μs FpSemigroupByPairs 030: (fpsemi) 2-sided congruence on finit [...] . . . 870μs FpSemigroupInterface 000: run with no alphabet . . .  -- with ToddCoxeter 139μs  -- with KnuthBendix 60μs  -- with FpSemigroup 71μs FpSemigroupInterface 001: equal_to . . .  -- with ToddCoxeter and human readable alphabet 3423μs  -- with KnuthBendix and human readable alphabet 7872μs  -- with FpSemigroup and human readable alphabet 7669μs  -- with FpSemigroupByPairs 5208μs FpSemigroupInterface 002: normal_form . . .  -- with ToddCoxeter 349μs  -- with KnuthBendix 442μs  -- with FpSemigroup 864μs FpSemigroupInterface 003: set_alphabet (1/2) . . .  -- with ToddCoxeter 194μs  -- with KnuthBendix 150μs  -- with FpSemigroup 167μs FpSemigroupInterface 004: set_alphabet (2/2) . . . 1788μs FpSemigroupInterface 005: add_rule after finished . . .  -- with ToddCoxeter and human readable alphabet 263μs  -- with KnuthBendix and human readable alphabet 347μs  -- with FpSemigroup and human readable alphabet 690μs  -- with FpSemigroupByPairs 1737μs FpSemigroupInterface 006: add_rule with equal words (1/2) . . .  -- with ToddCoxeter and human readable alphabet 375μs  -- with KnuthBendix and human readable alphabet 528μs  -- with FpSemigroup and human readable alphabet 637μs  -- with FpSemigroupByPairs 350μs FpSemigroupInterface 007: add_rule with equal words (2/2) . . .  -- with ToddCoxeter 59μs  -- with KnuthBendix 48μs  -- with FpSemigroup 62μs FpSemigroupInterface 008: add_rule with word_type . . .  -- with ToddCoxeter 109μs  -- with KnuthBendix 85μs  -- with FpSemigroup 190μs FpSemigroupInterface 009: add_rule with empty word (1/2) . . .  -- with ToddCoxeter 81μs  -- with FpSemigroup 83μs FpSemigroupInterface 010: add_rule with empty word (1/2) . . . 38μs FpSemigroupInterface 011: add_rules (1/3) . . .  -- with ToddCoxeter 127μs  -- with KnuthBendix 83μs  -- with FpSemigroup 88μs FpSemigroupInterface 012: add_rules (2/3) . . . 737μs FpSemigroupInterface 013: add_rules (3/3) . . .  -- with ToddCoxeter 64μs  -- with KnuthBendix 54μs  -- with FpSemigroup 162μs FpSemigroupInterface 014: set_identity (1/3) . . .  -- with ToddCoxeter 205μs  -- with KnuthBendix 183μs  -- with FpSemigroup 303μs FpSemigroupInterface 015: set_identity (2/3) . . . 456μs FpSemigroupInterface 016: set_identity (3/3) . . .  -- with ToddCoxeter 140μs  -- with KnuthBendix 123μs  -- with FpSemigroup 246μs FpSemigroupInterface 017: identity . . .  -- with ToddCoxeter 68μs  -- with KnuthBendix 71μs  -- with FpSemigroup 61μs FpSemigroupInterface 018: set_inverses + inverses (1/2) . . .  -- with ToddCoxeter 259μs  -- with KnuthBendix 248μs  -- with FpSemigroup 413μs FpSemigroupInterface 019: set_inverses + inverses (2/2) . . . 550μs FpSemigroupInterface 020: is_obviously_infinite (1/2) . . .  -- with ToddCoxeter 292μs  -- with KnuthBendix 358μs  -- with FpSemigroup 748μs FpSemigroupInterface 021: is_obviously_infinite (2/2) . . . 97μs FpSemigroupInterface 022: is_obviously_finite (1/2) . . .  -- with ToddCoxeter 283μs  -- with KnuthBendix 336μs  -- with FpSemigroup 640μs FpSemigroupInterface 023: is_obviously_finite (2/2) . . . 74μs FpSemigroupInterface 024: to_gap_string (1/3) . . .  -- with ToddCoxeter 66μs  -- with KnuthBendix 53μs  -- with FpSemigroup 302μs FpSemigroupInterface 025: to_gap_string (2/3) . . . 41μs FpSemigroupInterface 026: to_gap_string (3/3) . . . 62μs FroidurePin 016: (BMat8) exception zero generators given . . . 42μs FroidurePin 017: (BMat8) exception word_to_element . . . 136μs FroidurePin 018: (BMat8) exception prefix . . . 4093μs FroidurePin 019: (BMat8) exception suffix . . . 49μs FroidurePin 020: (BMat8) exception first_letter . . . 4009μs FroidurePin 021: (BMat8) exception final_letter . . . 45μs FroidurePin 022: (BMat8) exception current_length . . . 3714μs FroidurePin 023: (BMat8) exception product_by_reduction . . . 2991μs FroidurePin 024: (BMat8) exception fast_product . . . 2940μs FroidurePin 025: (BMat8) exception is_idempotent . . .  FroidurePin 026: (BMat8) copy constructor . . .  -- with fully enumerated   -- with partially enumerated   -- with not enumerated  FroidurePin 027: (BMat8) cbegin/end_rules . . . 61μs FroidurePin 031: (integers) . . . 155μs FroidurePin 039: (pairs of integers) non-trivial user type . . . 29μs FroidurePin 055: (tropical max-plus semiring matrices) . . . 278μs FroidurePin 061: projective max plus matrix . . . 1023μs FroidurePin 062: projective max plus matrix . . . 35μs FroidurePin> 009: small example 2 . . . 46μs FroidurePin> 005: small example 1 . . . 108μs FroidurePin> 007: regular bmat monoid 4 . . . 63ms FroidurePin> 011: small example 3 . . . 531μs FroidurePin> 006: small example 1 . . . 142μs FroidurePin> 008: regular bmat monoid 4 . . . 79ms FroidurePin> 010: small example 2 . . . 41μs FroidurePin> 012: small example 3 . . . 650μs FroidurePin 000: small example 1 . . . 164μs FroidurePin 001: default constructed . . . 131μs FroidurePin 002: small example 2 . . . 51μs FroidurePin 004: exception: is_idempotent . . . 158μs FroidurePin> 033: Example 000 . . . 2888μs FroidurePin> 035: Example 001 . . . 42μs FroidurePin> 032: Example 000 . . . 1378μs FroidurePin> 034: Example 001 . . . 54μs FroidurePin 036: exception: current_position . . . 118μs FroidurePin 037: exception: word_to_element . . . 66μs FroidurePin 038: exception: prefix, suffix, first_letter . . . 22ms FroidurePin> 040: Example 000 . . . 70μs FroidurePin> 041: Example 000 . . . 69μs FroidurePin> 046: Example 005 . . . 170μs FroidurePin> 047: Example 005 . . . 172μs FroidurePin> 048: Example 005 . . . 163μs FroidurePin> 044: Example 004 . . . 29μs FroidurePin> 045: Example 004 . . . 32μs FroidurePin> 049: Example 006 . . . 956μs FroidurePin> 050: Example 006 . . . 1185μs FroidurePin> 051: Example 006 . . . 1182μs FroidurePin> 052: Example 007 . . . 126μs FroidurePin> 053: Example 007 . . . 140μs FroidurePin> 054: Example 007 . . . 151μs FroidurePin 056: example 1 . . . 195μs FroidurePin 057: example 2 . . . 156μs FroidurePin> 058: . . . 601μs FroidurePin> 059: . . . 51μs FroidurePin> 060: exceptions: add_generator(s) . . . 54μs FroidurePin> 065: no exception zero generators given . . . 22μs FroidurePin> 066: exception generators of different [...] . . . 61μs FroidurePin> 067: exception current_position . . . 43μs FroidurePin> 068: exception word_to_element . . . 42μs FroidurePin> 069: exception gens . . . 535μs FroidurePin> 070: exception prefix . . . 20ms FroidurePin> 071: exception suffix . . . 49ms FroidurePin> 072: exception first_letter . . . 48μs FroidurePin> 073: exception final_letter . . . 42μs FroidurePin> 074: exception current_length . . . 40μs FroidurePin> 075: exception product_by_reduction . . . 371μs FroidurePin> 076: exception fast_product . . . 415μs FroidurePin> 077: exception current_position . . . 540μs FroidurePin> 078: exception is_idempotent . . . 590μs FroidurePin> 079: exception add_generators . . . 39μs FroidurePin> 080: multithread number_of_idempotents . . . 539μs FroidurePin> 081: small semigroup . . . 29μs FroidurePin> 082: large semigroup . . . 6450μs FroidurePin> 083: at, position, current_* . . . 6487μs FroidurePin> 084: run . . . 6225μs FroidurePin> 085: run [many stops and starts] . . . 6222μs FroidurePin> 086: factorisation, length [1 element] . . . 6197μs FroidurePin> 087: factorisation, products [all elements] . . . 8276μs FroidurePin> 088: first/final letter, prefix, suffi [...] . . . 6134μs FroidurePin> 089: current_position [standard] . . . 26μs FroidurePin> 090: current_position [duplicate gens] . . . 12ms FroidurePin> 091: current_position [after add_generators] . . . 7147μs FroidurePin> 092: cbegin_idempotents/cend [1 thread] . . . 7278μs FroidurePin> 093: idempotent_cend/cbegin [1 thread] . . . 6876μs FroidurePin> 094: is_idempotent [1 thread] . . . 6394μs FroidurePin> 096: finished, started . . . 6129μs FroidurePin> 097: current_position . . . 1417μs FroidurePin> 098: sorted_position, sorted_at . . . 7972μs FroidurePin> 099: right/left Cayley graph . . . 34ms FroidurePin> 100: iterator . . . 10ms FroidurePin> 101: reverse iterator . . . 10ms FroidurePin> 102: iterator arithmetic . . . 35ms FroidurePin> 103: iterator sorted . . . 25ms FroidurePin> 104: iterator sorted arithmetic . . . 36ms FroidurePin> 105: copy [not enumerated] . . . 6330μs FroidurePin> 106: copy_closure [not enumerated] . . . 39ms FroidurePin> 107: copy_add_generators [not enumerated] . . . 36ms FroidurePin> 108: copy [partly enumerated] . . . 6767μs FroidurePin> 109: copy_closure [partly enumerated] . . . 10ms FroidurePin> 110: copy_add_generators [partly enumerated] . . . 6864μs FroidurePin> 111: copy [fully enumerated] . . . 9304μs FroidurePin> 112: copy_closure [fully enumerated] . . . 10ms FroidurePin> 113: copy_add_generators [fully enumerated] . . . 9696μs FroidurePin> 114: relations [duplicate gens] . . . 181μs FroidurePin> 115: relations . . . 8805μs FroidurePin> 116: relations [copy_closure, duplicat [...] . . . 11ms FroidurePin> 117: relations [copy_add_generators, d [...] . . . 11ms FroidurePin> 118: relations [from copy, not enumerated] . . . 7427μs FroidurePin> 119: relations [from copy, partly enum [...] . . . 13ms FroidurePin> 120: relations [from copy, fully enumerated] . . . 13ms FroidurePin> 121: relations [from copy_closure, not [...] . . . 12ms FroidurePin> 122: relations [from copy_add_generato [...] . . . 7423μs FroidurePin> 123: relations [from copy_closure, par [...] . . . 11ms FroidurePin> 124: relations [from copy_add_generato [...] . . . 9209μs FroidurePin> 125: relations [from copy_closure, ful [...] . . . 13ms FroidurePin> 126: relations [from copy_add_generato [...] . . . 12ms FroidurePin> 127: add_generators [duplicate generators] . . . 334μs FroidurePin> 128: add_generators [incremental 1] . . . 405μs FroidurePin> 129: add_generators [incremental 2] . . . 459μs FroidurePin> 130: closure [duplicate generators] . . . 216μs FroidurePin> 131: closure . . . 99μs FroidurePin> 132: factorisation . . . 24μs FroidurePin> 134: minimal_factorisation . . . 46μs FroidurePin> 135: batch_size (for an extremely larg [...] . . . 23μs FroidurePin> 137: exception: generators of differen [...] . . . 27μs FroidurePin> 138: exception: current_position . . . 41μs FroidurePin> 139: exception: word_to_element . . . 42μs FroidurePin> 140: exception: gens, current_position . . . 676μs FroidurePin> 141: exception: add_generators . . . 32μs KBE 000: constructors . . . 44μs KBE 001: test . . . 67μs KBE 002: factorisation . . . 48μs KBE 003: swap . . . 31μs KBE 004: adapters . . . 32μs KBE 005: conversions . . . 32μs Kambites 000: (fpsemi) MT test 4 (std::string) . . . 6382μs Kambites 001: (fpsemi) MT test 4 (MultiStringView) . . . 7618μs Kambites 002: (fpsemi) number_of_pieces (std::string) . . . 121μs Kambites 003: (fpsemi) number_of_pieces (MultiStringView) . . . 109μs Kambites 004: (fpsemi) small_overlap_class (std::string) . . . 3677μs Kambites 005: (fpsemi) small_overlap_class (MultiStringView) . . . 3694μs Kambites 006: (fpsemi) random (std::string) . . . 10ms Kambites 007: (fpsemi) random (MultiStringView) . . . 11ms Kambites 008: (fpsemi) KnuthBendix 055 (std::string) . . . 15ms Kambites 009: (fpsemi) KnuthBendix 055 (MultiStringView) . . . 20ms Kambites 010: (fpsemi) smalloverlap/gap/test.gi:85 (std::string) . . . 81μs Kambites 011: (fpsemi) smalloverlap/gap/test.gi:85 (MultiStr [...] . . . 79μs Kambites 012: (fpsemi) free semigroup . . . 13μs Kambites 013: (fpsemi) smalloverlap/gap/test.gi:49 (std::string) . . . 35ms Kambites 014: (fpsemi) smalloverlap/gap/test.gi:49 (MultiStr [...] . . . 51ms Kambites 015: (fpsemi) smalloverlap/gap/test.gi:63 (std::string) . . . 38ms Kambites 016: (fpsemi) smalloverlap/gap/test.gi:63 (MultiStr [...] . . . 58ms Kambites 017: (fpsemi) smalloverlap/gap/test.gi:70 (std::string) . . . 139ms Kambites 018: (fpsemi) smalloverlap/gap/test.gi:70 (MultiStr [...] . . . 217ms Kambites 021: (fpsemi) code coverage (std::string) . . . 66μs Kambites 022: (fpsemi) code coverage (MultiStringView) . . . 46μs Kambites 023: (fpsemi) prefix (std::string) . . . 77μs Kambites 024: (fpsemi) prefix (MultiStringView) . . . 120μs Kambites 025: (fpsemi) normal_form (Example 3.15) (std::string) . . . 78μs Kambites 026: (fpsemi) normal_form (Example 3.15) (MultiStri [...] . . . 122μs Kambites 027: (fpsemi) normal_form (Example 3.16) (std::string) . . . 57μs Kambites 028: (fpsemi) normal_form (Example 3.16) (MultiStri [...] . . . 85μs Kambites 029: (fpsemi) normal_form (Example 3.16) more exhau [...] . . . 91ms Kambites 030: (fpsemi) normal_form (Example 3.16) more exhau [...] . . . 105ms Kambites 031: (fpsemi) small presentation (std::string) . . . 93μs Kambites 032: (fpsemi) small presentation (MultiStringView) . . . 51μs Kambites 033: (fpsemi) non-smalloverlap (std::string) . . . 72μs Kambites 034: (fpsemi) non-smalloverlap (MultiStringView) . . . 71μs Kambites 035: (fpsemi) MT test 3 (std::string) . . . 56μs Kambites 036: (fpsemi) MT test 3 (MultiStringView) . . . 56μs Kambites 037: (fpsemi) MT test 5 (std::string) . . . 32μs Kambites 038: (fpsemi) MT test 5 (MultiStringView) . . . 32μs Kambites 039: (fpsemi) MT test 6 (std::string) . . . 44μs Kambites 040: (fpsemi) MT test 6 (MultiStringView) . . . 59μs Kambites 041: (fpsemi) MT test 10 (std::string) . . . 41μs Kambites 042: (fpsemi) MT test 10 (MultiStringView) . . . 52μs Kambites 043: (fpsemi) MT test 13 (std::string) . . . 31μs Kambites 044: (fpsemi) MT test 13 (MultiStringView) . . . 33μs Kambites 045: (fpsemi) MT test 14 (std::string) . . . 29μs Kambites 046: (fpsemi) MT test 14 (MultiStringView) . . . 32μs Kambites 047: (fpsemi) MT test 15 (std::string) . . . 58μs Kambites 048: (fpsemi) MT test 15 (MultiStringView) . . . 58μs Kambites 049: (fpsemi) MT test 16 (std::string) . . . 56μs Kambites 050: (fpsemi) MT test 16 (MultiStringView) . . . 64μs Kambites 051: (fpsemi) MT test 17 (std::string) . . . 125μs Kambites 052: (fpsemi) MT test 17 (MultiStringView) . . . 121μs Kambites 053: (fpsemi) weak C(4) not strong x 1 (std::string) . . . 600μs Kambites 054: (fpsemi) weak C(4) not strong x 1 (MultiStringView) . . . 911μs Kambites 055: (fpsemi) weak C(4) not strong x 2 (std::string) . . . 595μs Kambites 056: (fpsemi) weak C(4) not strong x 2 (MultiStringView) . . . 862μs Kambites 057: (fpsemi) weak C(4) not strong x 3 (std::string) . . . 562μs Kambites 058: (fpsemi) weak C(4) not strong x 3 (MultiStringView) . . . 608μs Kambites 059: (fpsemi) weak C(4) not strong x 4 (std::string) . . . 85μs Kambites 060: (fpsemi) weak C(4) not strong x 4 (MultiStringView) . . . 115μs Kambites 061: (fpsemi) weak C(4) not strong x 5 (std::string) . . . 29μs Kambites 062: (fpsemi) weak C(4) not strong x 5 (MultiStringView) . . . 24μs Kambites 063: (fpsemi) weak C(4) not strong x 6 (std::string) . . . 53μs Kambites 064: (fpsemi) weak C(4) not strong x 6 (MultiStringView) . . . 60μs Kambites 065: (fpsemi) Konovalov example (std::string) . . . 56μs Kambites 066: (fpsemi) Konovalov example (MultiStringView) . . . 36μs Kambites 067: (fpsemi) long words (std::string) . . . 808ms Kambites 068: (fpsemi) long words (MultiStringView) . . . 63ms Kambites 075: (cong) example 1 . . . 45μs Kambites 076: (cong) example 2 . . . 121μs Kambites 077: (cong) code coverage . . . 6678μs Kambites 078: (cong) large number of rules . . . 249ms KnuthBendix 000: (fpsemi) confluent fp semigroup 1 (infinite) . . . 132μs KnuthBendix 001: (fpsemi) confluent fp semigroup 2 (infinite) . . . 115μs KnuthBendix 002: (fpsemi) confluent fp semigroup 3 (infinite) . . . 88μs KnuthBendix 003: (fpsemi) non-confluent fp semigroup from wi [...] . . . 147μs KnuthBendix 004: (fpsemi) Example 5.1 in Sims (infinite) . . . 122μs KnuthBendix 005: (fpsemi) Example 5.1 in Sims (infinite) . . . 115μs KnuthBendix 006: (fpsemi) Example 5.3 in Sims . . . 103μs KnuthBendix 007: (fpsemi) Example 5.4 in Sims . . . 119μs KnuthBendix 008: (fpsemi) Example 6.4 in Sims (size 168) . . . 8123μs KnuthBendix 009: (fpsemi) . . . 50ms KnuthBendix 010: (fpsemi) SL(2, 7) from Chapter 3, Propositi [...] . . . 82ms KnuthBendix 011: (fpsemi) F(2, 5) - Chapter 9, Section 1 in [...] . . . 418μs KnuthBendix 012: (fpsemi) Reinis example 1 . . . 253μs KnuthBendix 013: redundant_rule (std::string) . . . 100ms KnuthBendix 014: redundant_rule (word_type) . . . 10ms KnuthBendix 019: (fpsemi) C(4) monoid . . . 39μs KnuthBendix 020: (cong) Chinese monoid . . . 134μs KnuthBendix 021: (from kbmag/standalone/kb_data/f25monoid) . . . 492μs KnuthBendix 022: (from kbmag/standalone/kb_data/degen4a) . . . 51ms KnuthBendix 023: (from kbmag/standalone/kb_data/torus) . . . 3422μs KnuthBendix 024: (from kbmag/standalone/kb_data/3a6) . . . 254ms KnuthBendix 025: (from kbmag/standalone/kb_data/f2) . . . 53μs KnuthBendix 026: (from kbmag/standalone/kb_data/s16) . . . 67ms KnuthBendix 027: (from kbmag/standalone/kb_data/a4monoid) . . . 59μs KnuthBendix 028: (from kbmag/standalone/kb_data/degen3) . . . 22μs KnuthBendix 029: (from kbmag/standalone/kb_data/ab1) . . . 36μs KnuthBendix 030: (from kbmag/standalone/kb_data/degen2) . . . 17μs KnuthBendix 031: (from kbmag/standalone/kb_data/f25) . . . 456μs KnuthBendix 032: (from kbmag/standalone/kb_data/237) . . . 587μs KnuthBendix 033: (from kbmag/standalone/kb_data/c2) . . . 18μs KnuthBendix 034: (from kbmag/standalone/kb_data/cosets) . . . 211μs KnuthBendix 035: Example 5.1 in Sims (KnuthBendix 09 again) . . . 47μs KnuthBendix 036: (from kbmag/standalone/kb_data/nilp2) . . . 39μs KnuthBendix 037: Example 6.4 in Sims . . . 13ms KnuthBendix 038: KnuthBendix 071 again . . . 642μs KnuthBendix 039: Example 5.4 in Sims (KnuthBendix 11 again) [...] . . . 185μs KnuthBendix 040: Example 5.4 in Sims (KnuthBendix 11 again) [...] . . . 125μs KnuthBendix 041: operator<< . . . 43μs KnuthBendix 042: confluence_interval . . . 16μs KnuthBendix 043: max_overlap . . . 16μs KnuthBendix 044: (fpsemi) (from kbmag/standalone/kb_data/d22 [...] . . . 1199μs KnuthBendix 045: (fpsemi) (from kbmag/standalone/kb_data/d22 [...] . . . 2210μs KnuthBendix 046: (fpsemi) small example . . . 749μs KnuthBendix 047: code coverage . . . 64μs KnuthBendix 048: small overlap 1 . . . 49μs KnuthBendix 049: (from kbmag/standalone/kb_data/s9) . . . 1470μs KnuthBendix 050: (fpsemi) Chapter 11, Lemma 1.8 (q = 6, r = [...] . . . 628μs KnuthBendix 051: (fpsemi) Chapter 11, Section 2 (q = 6, r = [...] . . . 125μs KnuthBendix 052: (fpsemi) Chapter 8, Theorem 4.2 in NR (infinite) . . . 221μs KnuthBendix 053: (fpsemi) equal_to fp semigroup . . . 63μs KnuthBendix 054: (fpsemi) equal_to free semigroup . . . 54μs KnuthBendix 055: (fpsemi) from GAP smalloverlap gap/test.gi [...] . . . 420μs KnuthBendix 056: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 724μs KnuthBendix 057: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 710μs KnuthBendix 058: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 2153μs KnuthBendix 059: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 4954μs KnuthBendix 060: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 33μs KnuthBendix 061: (fpsemi) Von Dyck (2,3,7) group (infinite) . . . 510μs KnuthBendix 062: (fpsemi) Von Dyck (2,3,7) group - different [...] . . . 4481μs KnuthBendix 063: (fpsemi) rewriting system from KnuthBendixC [...] . . . 395μs KnuthBendix 064: (fpsemi) rewriting system from Congruence 20 . . . 31μs KnuthBendix 065: (fpsemi) (from kbmag/standalone/kb_data/ab2) . . . 91μs KnuthBendix 066: (fpsemi) (from kbmag/standalone/kb_data/d22 [...] . . . 1260μs KnuthBendix 067: (fpsemi) (from kbmag/standalone/kb_data/degen1) . . . 44μs KnuthBendix 068: (fpsemi) (from kbmag/standalone/kb_data/s4) . . . 324μs KnuthBendix 069: (fpsemi) fp semigroup (infinite) . . . 63μs KnuthBendix 070: (fpsemi) Chapter 11, Section 1 (q = 4, r = [...] . . . 1760μs KnuthBendix 071: (fpsemi) Chapter 11, Section 1 (q = 8, r = [...] . . . 106ms KnuthBendix 072: (fpsemi) Chapter 7, Theorem 3.9 in NR (size 240) . . . 3413μs KnuthBendix 073: (fpsemi) F(2, 5) - Chapter 9, Section 1 in [...] . . . 440μs KnuthBendix 074: (fpsemi) F(2, 6) - Chapter 9, Section 1 in NR . . . 425μs KnuthBendix 075: (fpsemi) Chapter 10, Section 4 in NR (infinite) . . . 842μs KnuthBendix 076: (fpsemi) Sym(5) from Chapter 3, Proposition [...] . . . 2868μs KnuthBendix 077: (fpsemi) SL(2, 7) from Chapter 3, Propositi [...] . . . 81ms KnuthBendix 078: (fpsemi) bicyclic monoid (infinite) . . . 63μs KnuthBendix 079: (fpsemi) plactic monoid of degree 2 (infinite) . . . 68μs KnuthBendix 080: (fpsemi) example before Chapter 7, Proposit [...] . . . 44μs KnuthBendix 081: (fpsemi) Chapter 7, Theorem 3.6 in NR (size 243) . . . 814μs KnuthBendix 082: (fpsemi) finite semigroup (size 99) . . . 250μs KnuthBendix 096: Sorouhesh . . . 387μs KnuthBendix 097: (fpsemi) transformation semigroup (size 4) . . . 60μs KnuthBendix 098: (fpsemi) transformation semigroup (size 9) . . . 56μs KnuthBendix 099: (fpsemi) transformation semigroup (size 88) . . . 741μs KnuthBendix 100: internal_string_to_word . . . 39μs KnuthBendix 101: (fpsemi) construct from shared_ptr . . . 767μs KnuthBendix 102: internal_string_to_word . . . 736μs KnuthBendix 103: (cong) free semigroup congruence (5 classes) . . . 71μs KnuthBendix 104: free semigroup congruence (6 classes) . . . 235μs KnuthBendix 105: (cong) free semigroup congruence (16 classes) . . . 299μs KnuthBendix 106: (cong) free semigroup congruence (6 classes) . . . 420μs KnuthBendix 107: (cong) free semigroup congruence (240 classes) . . . 3402μs KnuthBendix 108: (cong) free semigroup congruence (240 classes) . . . 3279μs KnuthBendix 109: (cong) less . . . 3979μs KnuthBendix 110: (cong) less . . . 186ms KnuthBendix 111: (cong) constructors . . . 269ms KnuthBendix 112: (cong) const_contains/contains . . . 177μs KnuthBendix 113: (cong) is_quotient_obviously_finite . . . 21μs KnuthBendix 114: (cong) class_index_to_word . . . 195μs KnuthBendix 115: (cong) quotient_froidure_pin . . . 141μs KnuthBendix 116: (cong) set_number_of_generators . . . 27μs KnuthBendix 117: (cong) number of classes when obv-inf . . . 61μs KnuthBendixCongruenceByPairs 016: non-trivial congruence on [...] . . . 179μs KnuthBendixCongruenceByPairs 017: non-trivial congruence on [...] . . . 172μs KnuthBendixCongruenceByPairs 018: non-trivial congruence on [...] . . . 255μs KnuthBendixCongruenceByPairs 019: non-trivial congruence on [...] . . . 263μs KnuthBendixCongruenceByPairs 020: trivial congruence on a fi [...] . . . 185μs KnuthBendixCongruenceByPairs 021: universal congruence on a [...] . . . 540μs KnuthBendixCongruenceByPairs 022: left congruence on a finit [...] . . . 259μs KnuthBendixCongruenceByPairs 023: finite group, Chapter 11, [...] . . . 4471μs KnuthBendixCongruenceByPairs 024: right congruence on infini [...] . . . 291μs KnuthBendixCongruenceByPairs 025: finite fp semigroup, dihed [...] . . . 300μs KnuthBendixCongruenceByPairs 026: finite fp semigroup, size 16 . . . 331μs KnuthBendixCongruenceByPairs 027: finite fp semigroup, size 16 . . . 969μs KnuthBendixCongruenceByPairs 028: infinite fp semigroup with [...] . . . 68μs Konieczny 000: test000> . . . 1099μs Konieczny 001: test000> . . . 747μs Konieczny 002: test001> . . . 12ms Konieczny 003: test001> . . . 8583μs Konieczny 006: exceptions . . . 55μs Konieczny 007: code coverage . . . 16ms Konieczny 008: code coverage . . . 10ms Konieczny 009: regular elements and idempotents . . .  Konieczny 010: regular D-class 01 . . . 1577μs Konieczny 011: regular D-class 02 . . . 26ms Konieczny 012: regular D-class 04: contains . . . 1975ms Konieczny 013: non-regular D-classes 01 . . . 1626μs Konieczny 014: RegularDClass . . . 971μs Konieczny 015: full bmat monoid 4 . . . 261ms Konieczny 017: regular generated bmat monoid 4 idempotents . . . 257ms Konieczny 019: my favourite example . . . 142ms Konieczny 020: another large example . . . 25ms Konieczny 021: my favourite example transposed . . . 207ms Konieczny 024: exceptions . . . 1666μs Konieczny 025: 0-parameter constructor . . . 30ms Konieczny 026: non-regular D-classes 02 . . . 26ms Konieczny 028: partial perm . . . 169ms Konieczny 029: symmetric inverse monoid n = 8 . . . 28ms Konieczny 030: exceptions . . . 215ms Konieczny 031: transformations . . . 905μs Konieczny 032: transformations - JDM favourite example . . . 121ms Konieczny 033: transformations - large example . . . 298ms Konieczny 034: transformations - large example with stop . . . 297ms Konieczny 035: transformations - large example with run_until . . . 295ms Konieczny 036: transformations - large example with stop in Action . . . 295ms Konieczny 037: exceptions . . . 50μs Konieczny 038: transformations: contains . . . 633μs Konieczny 040: transformations - destructor coverage . . . 239ms Konieczny 041: current_number_D_classes . . . 239ms Konieczny 042: add_generator . . . 37μs Konieczny 043: add_generator . . . 24μs Matrix 000: BMat<2> . . . 98μs Matrix 001: BMat<> . . . 77μs Matrix 002: BMat<3> + BMat<> . . . 12μs Matrix 003: BMat<2> + BMat<> . . . 12μs Matrix 004: BMat<3> . . . 13μs Matrix 005: BMat<> . . . 14μs Matrix 006: BMat<3> row_basis . . . 40μs Matrix 007: BMat<> row_basis . . . 46μs Matrix 008: IntMat<3> . . . 23μs Matrix 009: IntMat<> . . . 18μs Matrix 010: IntMat code cov . . . 11μs Matrix 011: MaxPlusMat<3> . . . 14μs Matrix 012: MaxPlusMat<> . . . 16μs Matrix 013: MaxPlusMat code cov . . . 9000ns Matrix 014: MinPlusMat<3> . . . 18μs Matrix 015: MinPlusMat<> . . . 19μs Matrix 016: MinPlusMat code cov . . . 9000ns Matrix 017: MaxPlusTruncMat<5, 2> . . . 18μs Matrix 018: MaxPlusTruncMat<5> . . . 19μs Matrix 019: MaxPlusTruncMat<> . . . 30μs Matrix 020: MaxPlusTruncMat<5, 4> . . . 19μs Matrix 021: MaxPlusTruncMat<5> . . . 20μs Matrix 022: MaxPlusTruncMat<> . . . 20μs Matrix 023: MaxPlusTruncMat<33, 3> . . . 32μs Matrix 024: MaxPlusTruncMat<33> . . . 28μs Matrix 025: MaxPlusTruncMat<> . . . 29μs Matrix 026: MaxPlusMat code cov . . . 10μs Matrix 027: MinPlusTruncMat<33, 3> . . . 30μs Matrix 028: MinPlusTruncMat<33> . . . 31μs Matrix 029: MinPlusTruncMat<> . . . 40μs Matrix 030: NTPMat<0, 3, 3, 3> . . . 15μs Matrix 031: NTPMat<0, 3> . . . 17μs Matrix 032: NTPMat<> . . . 32μs Matrix 033: NTPMat<0, 10, 4, 4> . . . 25μs Matrix 034: NTPMat<0, 10> . . . 20μs Matrix 035: NTPMat<> . . . 27μs Matrix 036: NTPMat<0, 10, 4, 4> . . . 20μs Matrix 037: NTPMat<0, 10> . . . 19μs Matrix 038: NTPMat<> . . . 19μs Matrix 039: NTPMat<33, 2, 3, 3> . . . 16μs Matrix 040: NTPMat<33, 2> . . . 16μs Matrix 041: NTPMat<> . . . 15μs Matrix 042: ProjMaxPlusMat<3> . . . 73μs Matrix 043: ProjMaxPlusMat<> . . . 62μs Matrix 044: exceptions . . . 35μs Matrix 045: code coverage . . . 37μs MultiStringView 000: catch all . . . 46μs MultiStringView 001: is_prefix . . . 15μs MultiStringView 002: erase . . . 16μs MultiStringView 003: iterators . . . 12μs MultiStringView 004: constructors (long) . . . 22μs MultiStringView 005: constructors (short) . . . 17μs MultiStringView 006: copy assignment (short assigned to long) . . . 14μs MultiStringView 007: copy assignment (short assigned to short) . . . 13μs MultiStringView 008: move assignment (short assigned to long) . . . 13μs MultiStringView 009: move assignment (short assigned to short) . . . 13μs MultiStringView 010: code coverage . . . 21μs MultiStringView 011: pop_front . . . 44μs MultiStringView 012: append . . . 15μs MultiStringView 013: operators . . . 15μs MultiStringView 014: maximum_common_suffix . . . 15μs MultiStringView 015: deep tests . . . 10μs ObviouslyInfinite 011: Multiple rule additions . . . 40μs ObviouslyInfinite 012: A power of the generator 'b' does not [...] . . . 12μs ObviouslyInfinite 013: Preserves the number of occurrences o [...] . . . 12μs ObviouslyInfinite 014: Less relations than generators . . . 12μs ObviouslyInfinite 015: Relations preserve length . . . 13μs ObviouslyInfinite 016: Matrix has non empty kernel . . . 14μs ObviouslyInfinite 017: Free product of trivial semigroups . . . 11μs ObviouslyInfinite 018: Another free product . . . 13μs ObviouslyInfinite 019: Infinite but not obviously so . . . 13μs ObviouslyInfinite 020: Finite semigroup . . . 15μs PBR 001: universal product with convenience constructor . . . 41μs PBR 002: universal product . . . 19μs PBR 003: product [bigger than previous] . . . 27μs PBR 004: hash . . . 10μs PBR 005: delete/copy . . . 18μs PBR 006: exceptions . . . 143μs PBR 007: operators . . . 63μs PBR 008: to_string . . . 20μs PBR 009: identity . . . 40μs PBR 010: adapters . . . 10μs Pool 000: initial . . . 25μs Pool 001: bmat . . . 24μs Pool 002: PoolGuard . . . 20μs Pool 003: transformation products . . . 14μs Presentation 000: vectors of ints . . . 81μs Presentation 001: strings . . . 67μs Presentation 002: constructors (word_type) . . . 27μs Presentation 003: constructors (StaticVector1) . . . 31μs Presentation 004: constructors (std::string) . . . 22μs Presentation 005: alphabet + letters (word_type) . . . 118μs Presentation 006: alphabet + letters (std::string) . . . 40μs Presentation 007: contains_empty_word . . . 12μs Presentation 008: validate_rules throws . . . 40μs Presentation 009: helpers add_rule(s) . . . 83μs Presentation 010: helpers add_rule(s) (std::string) . . . 31μs Presentation 011: helpers add_identity_rules (std::vector/St [...] . . . 42μs Presentation 012: helpers add_identity_rules (std::string) . . . 25μs Presentation 013: helpers add_inverse_rules (all) . . . 173μs Presentation 014: helpers add_inverse_rules (std::string) . . . 44μs Presentation 015: helpers remove_duplicate_rules . . . 58μs Presentation 016: helpers reduce_complements . . . 116μs Presentation 017: helpers sort_each_rule . . . 57μs Presentation 018: helpers sort_rules . . . 60μs Presentation 019: helpers longest_common_subword/replace_subword . . . 271μs Presentation 020: helpers redundant_rule . . . 6592μs Presentation 021: helpers shortlex_compare_concat . . . 12μs Presentation 022: helpers remove_trivial_rules . . . 64μs Presentation 023: helpers replace_subword (existing, replacement) . . . 95μs Presentation 024: helpers longest_rule . . . 104μs Presentation 025: helpers longest_rule_length . . . 89μs Presentation 026: helpers remove_redundant_generators . . . 135μs Presentation 027: helpers reverse . . . 21μs Presentation 028: in_alphabet . . . 26μs Presentation 029: replace_subword with empty word . . . 21μs Presentation 030: helpers replace_word . . . 36μs Presentation 031: clear . . . 13μs Presentation 032: letter . . . 34μs Presentation 033: normalize_alphabet . . . 15μs Presentation 034: longest_common_subword issue . . . 303μs Presentation 035: helpers add_zero_rules (std::vector/Static [...] . . . 42μs Presentation 036: helpers add_zero_rules (std::string) . . . 24μs Presentation 037: make_semigroup . . . 44μs Presentation 038: greedy_reduce_length . . . 184μs Presentation 039: aaaaaaaab = aaaaaaaaab strong compression . . . 52μs Presentation 040: change_alphabet . . . 66μs Presentation 041: sort_rules bug . . . 228μs Presentation 042: first_unused_letter/letter . . . 179μs Presentation 043: case where strong compression doesn't work . . . 32μs Presentation 044: proof that . . . 41μs Presentation 045: decompression . . . 19μs Race 001: run_for . . . 10ms Race 002: run_until . . . 10ms Race 003: exceptions . . . 10ms Race 004: iterators . . . 13μs Race 005: find_runner . . . 21μs Race 006: run_func . . . 25ms Race 007: run_func . . . 10ms Race 008: run_func . . . 10ms Runner 000: run_for . . . 10ms Runner 001: run_for . . . 1012μs Runner 002: run_for . . . 192ms Runner 003: run_for . . . 25ms Runner 004: started . . . 1031μs Runner 005: run_until . . . 10ms Runner 006: kill . . . 28μs Runner 007: copy constructor . . . 10ms Runner 008: report . . . 20ms Runner 009: run_until with function pointer . . . 28μs SchreierSims 001: trivial perm. group (degree 1) . . . 43μs SchreierSims 002: trivial perm. group (degree 2) . . . 40μs SchreierSims 003: trivial perm. group (degree 500) . . . 264μs SchreierSims 004: symmetric perm. group (degree 5) . . . 71μs SchreierSims 005: symmetric perm. group (degree 8) . . . 112μs SchreierSims 006: symmetric perm. group (degree 9) . . . 121μs SchreierSims 007: alternating perm. group (degree 12) . . . 211μs SchreierSims 008: symmetric perm. group (degree 16) . . . 1695μs SchreierSims 009: alternating perm. group (degree 15) . . . 858μs SchreierSims 010: alternating perm. group (degree 16) . . . 1828μs SchreierSims 011: dihedral perm. group (order 10) . . . 35μs SchreierSims 012: dihedral perm. group (order 200) . . . 1875μs SchreierSims 013: perm. group T (order 12) . . . 35μs SchreierSims 014: quaternion perm. group (order 8) . . . 38μs SchreierSims 015: perm. group (order 84129611558952960) . . . 293ms SchreierSims 016: perm. group SL(3, 5) (order 372000) . . . 1445μs SchreierSims 017: perm. group PSL(4, 8) (order 34558531338240) . . . 111ms SchreierSims 018: perm. Mathieu group M11 (order 7920) . . . 95μs SchreierSims 019: perm. Mathieu group M24 (order 244823040) . . . 289μs SchreierSims 020: perm. Janko Group J1 (order 175560) . . . 2823μs SchreierSims 021: perm. Hall-Janko group (order 604800) . . . 443μs SchreierSims 022: perm. Hall-Janko group (alt.) (order 604800) . . . 25ms SchreierSims 023: perm. Conway group Co3 (order 495766656000) . . . 8302μs SchreierSims 024: perm. Conway group Co3 (alt.) (order 49576 [...] . . . 17ms SchreierSims 025: perm. Suzuki group (order 448345497600) . . . 95ms SchreierSims 027: perm. Held group (order 4030387200) . . . 168ms SchreierSims 028: perm. group C2 x C2 x C2 (order 8) . . . 37μs SchreierSims 029: perm. group C2 x C2 x C2 x C2 (order 16) . . . 43μs SchreierSims 030: perm. group (S5 x S5) : C2 (order 28800) . . . 93μs SchreierSims 031: perm. group C3 x D8 x A5 (order 1440) . . . 93μs SchreierSims 032: perm. group GL(4, 3) (order 24261120) . . . 862μs SchreierSims 033: perm. group PSL(3, 7) (order 1876896) . . . 1011μs SchreierSims 037: symmetric perm. group (degree 5) . . . 40μs SchreierSims 038: alternating perm. group (degree 17) . . . 4978μs SchreierSims 039: exceptions . . . 124μs SchreierSims 040: exceptions . . . 63μs SchreierSims 041: trivial group . . . 48μs SchreierSims 042: A17 bug . . . 4389μs SchreierSims 043: orbits_lookup test . . . 684μs SchreierSims 044: transversal_element and inversal_element test . . . 1909μs SchreierSimsHelper 001: trivial perm. group intersection (de [...] . . . 30μs SchreierSimsHelper 002: trivial perm. group intersection (de [...] . . . 29μs SchreierSimsHelper 003: cyclic group intersection (degree 13) . . . 42μs SchreierSimsHelper 004: D10 and Z5 intersection . . . 48μs SchreierSimsHelper 005: D8 and Q8 intersection . . . 35μs SchreierSimsHelper 006: primitive on 8 points intersection . . . 102μs SchreierSimsHelper 007: primitive on 8 points intersection ( [...] . . . 98μs SchreierSimsHelper 008: A13 and PGL(2, 11) intersection . . . 903μs SchreierSimsHelper 009: A13 and PGL(2, 11) intersection (swa [...] . . . 900μs SchreierSimsHelper 012: 3^3:13 and 3^3.2.A(4) intersection . . . 246μs SchreierSimsHelper 015: 3^3(S(4) x 2) and ASL(3, 3) intersection . . . 456μs SchreierSimsHelper 016: 7^2:3 x Q(8) and 7^2:D(2*6) intersection . . . 536μs SchreierSimsHelper 018: D(2*53) and 53:13 intersection . . . 318μs SchreierSimsHelper 019: 2^6:(7 x D_14) and PSL(2, 6)^2.4 int [...] . . . 2249μs SchreierSimsHelper 020: 2^6:(S_3 x GL(3, 2)) and 2.6:Alt(7) [...] . . . 6987μs SchreierSimsHelper 022: PSL(2, 127) and AGL(1, 2^7) intersection . . . 11ms SchreierSimsHelper 023: PSL(3, 4).2 and PSL(3, 4).2 (nontriv [...] . . . 2213μs SchreierSimsHelper 024: PSL(3, 4).Sym(3) and PSL(3, 4).2 int [...] . . . 2559μs SchreierSimsHelper 025: 3^4:5:4 and D_16:4 intersection . . . 1390μs Sims1 000: fp example 1 . . . 1245μs Sims1 001: fp example 2 . . . 2470μs Sims1 002: ToddCoxeter failing example . . . 21ms Sims1 003: ToddCoxeter failing example . . . 984μs Sims1 004: partition_monoid(2) right . . . 7727μs Sims1 006: full_transformation_monoid(3) right . . . 8988μs Sims1 007: full_transformation_monoid(3) left . . . 5008μs Sims1 009: rook_monoid(2, 1) . . . 132μs Sims1 010: symmetric_inverse_monoid(2) from FroidurePin . . . 135μs Sims1 011: symmetric_inverse_monoid(3) . . . 8061μs Sims1 014: temperley_lieb_monoid(3) from presentation . . . 106μs Sims1 015: temperley_lieb_monoid(4) from presentation . . . 998μs Sims1 016: fp semigroup containing given pairs #1 . . . 392μs Sims1 017: fp semigroup containing given pairs #2 . . . 378μs Sims1 018: fp semigroup containing given pairs #3 . . . 628μs Sims1 019: ToddCoxeter failing example . . . 1289μs Sims1 020: fp example 2 . . . 2597μs Sims1 021: exceptions . . . 283μs Sims1 027: from https://mathoverflow.net/questions/423541/ . . . 35ms Sims1 028: from https://mathoverflow.net/questions/423541/ . . . 24ms Sims1 030: presentation with one free generator . . . 310μs Sims1 031: presentation with non-zero index generators . . . 81μs Sims1 032: presentation with empty word . . . 11ms Sims1 033: constructors . . . 1623μs Sims1 034: split_at . . . 309μs Sims1 035: stats . . . 120μs Sims1 036: check iterator requirements . . . 175μs Sims1 040: TransitiveGroup(10, 32) - minimal rep . . . 4044μs Sims1 043: rectangular_band(2, 2) - with and without identity . . . 247μs Sims1 044: trivial group - minimal o.r.c. rep . . . 145μs Sims1 045: right zero semigroup - minimal o.r.c. rep . . . 2368μs Sims1 046: semigroup with faithful non-strictly cyclic actio [...] . . . 982μs Sims1 068: RepOrc . . . 32ms Sims1 069: fp example 1 . . . 643μ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 1741μs (318ns 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 . . . 1833μs Sims1 072: symmetric_group(n) for n = 4 . . . 1607μs Sims1 073: corner case no generators + no relations . . . 97μs Sims1 076: uninitialized RepOrc . . . 34μs SmallestInteger 001: . . . 16μs StaticTriVector2 045: all . . . 24μs StaticVector2 043: all . . . 23μs Stephen 000: basic test 1 . . . 267μs Stephen 001: basic test 2 . . . 174μs Stephen 002: full transf monoid . . . 18ms Stephen 003: from step_hen 002 . . . 73μs Stephen 004: from step_hen 003 . . . 217μs Stephen 005: from step_hen 004 . . . 55μs Stephen 006: from step_hen 005 . . . 143μs Stephen 008: C(4) monoid normal form (test_case_knuth_bendix_055) . . . 247μs Stephen 009: C(4) monoid normal form (test_case_gap_smallove [...] . . . 121μs Stephen 010: code coverage . . . 357μs Stephen 011: C(4) monoid normal form (test_case_gap_smallove [...] . . . 349μs Stephen 012: C(4) monoid normal form (test_case_gap_smallove [...] . . . 261μs Stephen 013: C(4) monoid equal to (test_case_gap_smalloverlap_70) . . . 103μs Stephen 014: C(4) monoid normal form (test_case_ex_3_13_14) . . . 463μs Stephen 015: C(4) monoid normal form (test_case_ex_3_15) . . . 530μs Stephen 016: C(4) monoid normal form (test_case_ex_3_16) . . . 408μs Stephen 017: C(4) monoid normal form (test_case_mt_3) . . . 194μs Stephen 018: C(4) monoid normal form (test_case_mt_5) . . . 135μs Stephen 019: C(4) monoid normal form (test_case_mt_6) . . . 374μs Stephen 020: C(4) monoid normal form (test_case_mt_10) . . . 140μs Stephen 021: C(4) monoid normal form (test_case_mt_13) . . . 142μs Stephen 022: C(4) monoid normal form (test_case_mt_14) . . . 136μs Stephen 023: C(4) monoid normal form (test_case_mt_15) . . . 148μs Stephen 024: C(4) monoid normal form (test_case_mt_16) . . . 162μs Stephen 025: C(4) monoid normal form (test_case_mt_17) . . . 366μs Stephen 026: C(4) monoid normal form (test_case_weak_1) . . . 313μs Stephen 027: C(4) monoid normal form (test_case_weak_2) . . . 232μs Stephen 028: C(4) monoid normal form (test_case_weak_3) . . . 288μs Stephen 029: C(4) monoid normal form (test_case_weak_4) . . . 271μs Stephen 030: C(4) monoid normal form (test_case_weak_5) . . . 154μs Stephen 031: Test behaviour when uninitialised . . . 219μs Suf 005: unite . . . 29μs Suf 007: compress . . . 17μs Suf 011: big chain . . . 26ms Suf 013: empty table . . . 13μs Suf 015: join . . . 17μs Suf 017: contains . . . 36μs Suf 019: swap . . . 39μs Timer 001: string method (1 argument) . . . 37μs Timer 002: string method (0 arguments) . . . 10ms Timer 003: reset/elapsed method . . . 20ms Timer 004: operator<< . . . 16μs ToddCoxeter 000: small 2-sided congruence . . .  -- with HLT + no standardise + full lookahead + no save 1785μs  -- with HLT + standardise + full lookahead + no save 1885μs  -- with HLT + no standardise + partial lookahead + no save 1811μs  -- with HLT + standardise + partial lookahead + no save 1555μs  -- with HLT + no standardise + full lookahead + save 1586μs  -- with HLT + standardise + full lookahead + save 1567μs  -- with HLT + no standardise + partial lookahead + save 1590μs  -- with HLT + standardise + partial lookahead + save 1625μs  -- with Felsch + no standardisation 1575μs  -- with Felsch + standardisation 1617μs  -- with random strategy 1661μs  -- with Rc style + full lookahead 1586μs  -- with Rc style + partial lookahead 1566μs  -- with R/C style 1603μs  -- with CR style 1593μs  -- with Cr style 1582μs ToddCoxeter 001: small 2-sided congruence . . .  -- with HLT + no standardise + full lookahead + no save 7506μs  -- with HLT + standardise + full lookahead + no save 7450μs  -- with HLT + no standardise + partial lookahead + no save 8049μs  -- with HLT + standardise + partial lookahead + no save 9455μs  -- with HLT + no standardise + full lookahead + save 9019μs  -- with HLT + standardise + full lookahead + save 9034μs  -- with HLT + no standardise + partial lookahead + save 9036μs  -- with HLT + standardise + partial lookahead + save 9031μs  -- with Felsch + no standardisation 8912μs  -- with Felsch + standardisation 8936μs  -- with random strategy 8955μs  -- with Rc style + full lookahead 8910μs  -- with Rc style + partial lookahead 8765μs  -- with R/C style 8759μs  -- with CR style 8767μs  -- with Cr style 8851μs ToddCoxeter 003: constructed from FroidurePin . . .  -- with Felsch + no standardisation   -- with Felsch + standardisation   -- with HLT + no standardise + full lookahead + no save   -- with HLT + standardise + full lookahead + no save   -- with HLT + no standardise + partial lookahead + no save   -- with HLT + standardise + partial lookahead + no save   -- with HLT + no standardise + full lookahead + save   -- with HLT + standardise + full lookahead + save   -- with HLT + no standardise + partial lookahead + save   -- with HLT + standardise + partial lookahead + save   -- with random strategy   -- with Rc style + full lookahead   -- with Rc style + partial lookahead   -- with R/C style   -- with CR style   -- with Cr style  ToddCoxeter 004: 2-sided congruence from FroidurePin . . .  -- with HLT + no standardise + full lookahead + no save 211μs  -- with HLT + standardise + full lookahead + no save 176μs  -- with HLT + no standardise + partial lookahead + no save 165μs  -- with HLT + standardise + partial lookahead + no save 165μs  -- with HLT + save (throws) 217μs  -- with Felsch (throws) 179μs  -- with random strategy 173μs ToddCoxeter 005: non-trivial two-sided from relations . . .  -- with HLT + no standardise + full lookahead + no save 60μs  -- with HLT + standardise + full lookahead + no save 48μs  -- with HLT + no standardise + partial lookahead + no save 44μs  -- with HLT + standardise + partial lookahead + no save 43μs  -- with HLT + no standardise + full lookahead + save 59μs  -- with HLT + standardise + full lookahead + save 56μs  -- with HLT + no standardise + partial lookahead + save 56μs  -- with HLT + standardise + partial lookahead + save 55μs  -- with Felsch + no standardisation 49μs  -- with Felsch + standardisation 52μs  -- with random strategy 53μs  -- with Rc style + full lookahead 47μs  -- with Rc style + partial lookahead 46μs  -- with R/C style 45μs  -- with CR style 50μs  -- with Cr style 49μs ToddCoxeter 006: small right cong. on free semigroup . . .  -- with HLT + no standardise + full lookahead + no save 43μs  -- with HLT + standardise + full lookahead + no save 36μs  -- with HLT + no standardise + partial lookahead + no save 35μs  -- with HLT + standardise + partial lookahead + no save 38μs  -- with HLT + no standardise + full lookahead + save 42μs  -- with HLT + standardise + full lookahead + save 40μs  -- with HLT + no standardise + partial lookahead + save 39μs  -- with HLT + standardise + partial lookahead + save 39μs  -- with Felsch + no standardisation 38μs  -- with Felsch + standardisation 40μs  -- with random strategy 44μs  -- with Rc style + full lookahead 37μs  -- with Rc style + partial lookahead 35μs  -- with R/C style 36μs  -- with CR style 43μs  -- with Cr style 39μs ToddCoxeter 007: left cong. on free semigroup . . .  -- with HLT + no standardise + full lookahead + no save 46μs  -- with HLT + standardise + full lookahead + no save 40μs  -- with HLT + no standardise + partial lookahead + no save 39μs  -- with HLT + standardise + partial lookahead + no save 39μs  -- with HLT + no standardise + full lookahead + save 44μs  -- with HLT + standardise + full lookahead + save 44μs  -- with HLT + no standardise + partial lookahead + save 43μs  -- with HLT + standardise + partial lookahead + save 45μs  -- with Felsch + no standardisation 42μs  -- with Felsch + standardisation 47μs  -- with random strategy 52μs  -- with Rc style + full lookahead 46μs  -- with Rc style + partial lookahead 44μs  -- with R/C style 45μs  -- with CR style 48μs  -- with Cr style 47μs ToddCoxeter 008: for small fp semigroup . . .  -- with HLT + no standardise + full lookahead + no save 41μs  -- with HLT + standardise + full lookahead + no save 35μs  -- with HLT + no standardise + partial lookahead + no save 34μs  -- with HLT + standardise + partial lookahead + no save 38μs  -- with HLT + no standardise + full lookahead + save 40μs  -- with HLT + standardise + full lookahead + save 40μs  -- with HLT + no standardise + partial lookahead + save 39μs  -- with HLT + standardise + partial lookahead + save 39μs  -- with Felsch + no standardisation 39μs  -- with Felsch + standardisation 38μs  -- with random strategy 43μs  -- with Rc style + full lookahead 38μs  -- with Rc style + partial lookahead 38μs  -- with R/C style 38μs  -- with CR style 41μs  -- with Cr style 43μs ToddCoxeter 009: 2-sided cong. trans. semigroup . . .  -- with HLT + no standardise + full lookahead + no save 234μs  -- with HLT + standardise + full lookahead + no save 218μs  -- with HLT + no standardise + partial lookahead + no save 209μs  -- with HLT + standardise + partial lookahead + no save 225μs  -- with HLT + no standardise + full lookahead + save 658μs  -- with HLT + standardise + full lookahead + save 632μs  -- with HLT + no standardise + partial lookahead + save 626μs  -- with HLT + standardise + partial lookahead + save 627μs  -- with Felsch + no standardisation 556μs  -- with Felsch + standardisation 546μs  -- with random strategy 240μs  -- with Rc style + full lookahead 226μs  -- with Rc style + partial lookahead 220μs  -- with R/C style 232μs  -- with CR style 562μs  -- with Cr style 559μs ToddCoxeter 010: left congruence on transformation semigroup . . .  -- with HLT + no standardise + full lookahead + no save 248μs  -- with HLT + standardise + full lookahead + no save 257μs  -- with HLT + no standardise + partial lookahead + no save 237μs  -- with HLT + standardise + partial lookahead + no save 256μs  -- with HLT + no standardise + full lookahead + save 683μs  -- with HLT + standardise + full lookahead + save 684μs  -- with HLT + no standardise + partial lookahead + save 665μs  -- with HLT + standardise + partial lookahead + save 678μs  -- with Felsch + no standardisation 580μs  -- with Felsch + standardisation 592μs  -- with random strategy 753μs  -- with Rc style + full lookahead 285μs  -- with Rc style + partial lookahead 277μs  -- with R/C style 313μs  -- with CR style 621μs  -- with Cr style 617μs ToddCoxeter 011: right cong. trans. semigroup . . .  -- with HLT + no standardise + full lookahead + no save 268μs  -- with HLT + standardise + full lookahead + no save 269μs  -- with HLT + no standardise + partial lookahead + no save 248μs  -- with HLT + standardise + partial lookahead + no save 263μs  -- with HLT + no standardise + full lookahead + save 655μs  -- with HLT + standardise + full lookahead + save 659μs  -- with HLT + no standardise + partial lookahead + save 646μs  -- with HLT + standardise + partial lookahead + save 666μs  -- with Felsch + no standardisation 501μs  -- with Felsch + standardisation 525μs  -- with random strategy 313μs  -- with Rc style + full lookahead 321μs  -- with Rc style + partial lookahead 292μs  -- with R/C style 328μs  -- with CR style 539μs  -- with Cr style 538μs ToddCoxeter 012: trans. semigroup (size 88) . . .  -- with HLT + no standardise + full lookahead + no save 146μs  -- with HLT + standardise + full lookahead + no save 138μs  -- with HLT + no standardise + partial lookahead + no save 133μs  -- with HLT + standardise + partial lookahead + no save 143μs  -- with HLT + save (throws) 148μs  -- with Felsch (throws) 146μs  -- with random strategy 149μs ToddCoxeter 013: left cong. on trans. semigroup (size 88) . . .  -- with HLT + no standardise + full lookahead + no save 214μs  -- with HLT + standardise + full lookahead + no save 223μs  -- with HLT + no standardise + partial lookahead + no save 204μs  -- with HLT + standardise + partial lookahead + no save 218μs  -- with HLT + no standardise + full lookahead + save 640μs  -- with HLT + standardise + full lookahead + save 654μs  -- with HLT + no standardise + partial lookahead + save 627μs  -- with HLT + standardise + partial lookahead + save 651μs  -- with Felsch + no standardisation 556μs  -- with Felsch + standardisation 530μs  -- with random strategy 268μs  -- with Rc style + full lookahead 248μs  -- with Rc style + partial lookahead 253μs  -- with R/C style 279μs  -- with CR style 584μs  -- with Cr style 579μs ToddCoxeter 014: right cong. on trans. semigroup (size 88) . . .  -- with HLT + no standardise + full lookahead + no save 233μs  -- with HLT + standardise + full lookahead + no save 231μs  -- with HLT + no standardise + partial lookahead + no save 217μs  -- with HLT + standardise + partial lookahead + no save 227μs  -- with HLT + no standardise + full lookahead + save 619μs  -- with HLT + standardise + full lookahead + save 635μs  -- with HLT + no standardise + partial lookahead + save 617μs  -- with HLT + standardise + partial lookahead + save 643μs  -- with Felsch + no standardisation 460μs  -- with Felsch + standardisation 487μs  -- with random strategy 275μs  -- with Rc style + full lookahead 259μs  -- with Rc style + partial lookahead 261μs  -- with R/C style 292μs  -- with CR style 494μs  -- with Cr style 486μs ToddCoxeter 015: finite fp-semigroup, dihedral group of order 6 . . .  -- with HLT + no standardise + full lookahead + no save 87μs  -- with HLT + standardise + full lookahead + no save 82μs  -- with HLT + no standardise + partial lookahead + no save 71μs  -- with HLT + standardise + partial lookahead + no save 76μs  -- with HLT + no standardise + full lookahead + save 98μs  -- with HLT + standardise + full lookahead + save 95μs  -- with HLT + no standardise + partial lookahead + save 91μs  -- with HLT + standardise + partial lookahead + save 94μs  -- with Felsch + no standardisation 85μs  -- with Felsch + standardisation 82μs  -- with random strategy 88μs  -- with Rc style + full lookahead 76μs  -- with Rc style + partial lookahead 73μs  -- with R/C style 74μs  -- with CR style 83μs  -- with Cr style 82μs ToddCoxeter 016: finite fp-semigroup, size 16 . . .  -- with HLT + no standardise + full lookahead + no save 83μs  -- with HLT + standardise + full lookahead + no save 89μs  -- with HLT + no standardise + partial lookahead + no save 84μs  -- with HLT + standardise + partial lookahead + no save 76μs  -- with HLT + no standardise + full lookahead + save 170μs  -- with HLT + standardise + full lookahead + save 165μs  -- with HLT + no standardise + partial lookahead + save 154μs  -- with HLT + standardise + partial lookahead + save 157μs  -- with Felsch + no standardisation 141μs  -- with Felsch + standardisation 135μs  -- with random strategy 146μs  -- with Rc style + full lookahead 80μs  -- with Rc style + partial lookahead 78μs  -- with R/C style 89μs  -- with CR style 143μs  -- with Cr style 141μs ToddCoxeter 017: finite fp-semigroup, size 16 . . .  -- with HLT + no standardise + full lookahead + no save 149μs  -- with HLT + standardise + full lookahead + no save 143μs  -- with HLT + no standardise + partial lookahead + no save 131μs  -- with HLT + standardise + partial lookahead + no save 138μs  -- with HLT + no standardise + full lookahead + save 363μs  -- with HLT + standardise + full lookahead + save 343μs  -- with HLT + no standardise + partial lookahead + save 329μs  -- with HLT + standardise + partial lookahead + save 339μs  -- with Felsch + no standardisation 289μs  -- with Felsch + standardisation 284μs  -- with random strategy 309μs  -- with Rc style + full lookahead 181μs  -- with Rc style + partial lookahead 146μs  -- with R/C style 156μs  -- with CR style 289μs  -- with Cr style 291μs ToddCoxeter 018: test lookahead . . .  -- with HLT + no standardise + full lookahead + no save 346μs  -- with HLT + standardise + full lookahead + no save 348μs  -- with HLT + no standardise + partial lookahead + no save 309μs  -- with HLT + standardise + partial lookahead + no save 362μs  -- with HLT + no standardise + full lookahead + save 589μs  -- with HLT + standardise + full lookahead + save 592μs  -- with HLT + no standardise + partial lookahead + save 575μs  -- with HLT + standardise + partial lookahead + save 592μs ToddCoxeter 019: non-trivial left cong. from semigroup . . .  -- with HLT + no standardise + full lookahead + no save 134μs  -- with HLT + standardise + full lookahead + no save 132μs  -- with HLT + no standardise + partial lookahead + no save 119μs  -- with HLT + standardise + partial lookahead + no save 128μs  -- with HLT + save (throws) 146μs  -- with Felsch (throws) 131μs  -- with random strategy 139μs ToddCoxeter 020: 2-sided cong. on free semigroup . . .  -- with HLT + no standardise + full lookahead + no save 27μs  -- with HLT + standardise + full lookahead + no save 21μ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 20μs  -- with HLT + standardise + full lookahead + save 19μs  -- with HLT + no standardise + partial lookahead + save 20μs  -- with HLT + standardise + partial lookahead + save 20μs  -- with Felsch + no standardisation 19μs  -- with Felsch + standardisation 22μs  -- with random strategy 20μs ToddCoxeter 021: calling run when obviously infinite . . .  -- with HLT + no standardise + full lookahead + no save 49μs  -- with HLT + standardise + full lookahead + no save 35μs  -- with HLT + no standardise + partial lookahead + no save 34μs  -- with HLT + standardise + partial lookahead + no save 34μs  -- with HLT + no standardise + full lookahead + save 34μs  -- with HLT + standardise + full lookahead + save 34μs  -- with HLT + no standardise + partial lookahead + save 34μs  -- with HLT + standardise + partial lookahead + save 33μs  -- with Felsch + no standardisation 33μs  -- with Felsch + standardisation 35μs  -- with random strategy 33μs ToddCoxeter 022: stellar_monoid S3 . . .  -- with HLT + no standardise + full lookahead + no save 131μs  -- with HLT + standardise + full lookahead + no save 127μs  -- with HLT + no standardise + partial lookahead + no save 114μs  -- with HLT + standardise + partial lookahead + no save 123μs  -- with HLT + no standardise + full lookahead + save 245μs  -- with HLT + standardise + full lookahead + save 242μs  -- with HLT + no standardise + partial lookahead + save 227μs  -- with HLT + standardise + partial lookahead + save 234μs  -- with Felsch + no standardisation 209μs  -- with Felsch + standardisation 197μs  -- with random strategy 213μs  -- with Rc style + full lookahead 135μs  -- with Rc style + partial lookahead 123μs  -- with R/C style 129μs  -- with CR style 208μs  -- with Cr style 205μs ToddCoxeter 023: finite semigroup (size 5) . . .  -- with HLT + no standardise + full lookahead + no save 42μs  -- with HLT + standardise + full lookahead + no save 35μs  -- with HLT + no standardise + partial lookahead + no save 32μs  -- with HLT + standardise + partial lookahead + no save 36μs  -- with HLT + no standardise + full lookahead + save 41μs  -- with HLT + standardise + full lookahead + save 39μs  -- with HLT + no standardise + partial lookahead + save 39μs  -- with HLT + standardise + partial lookahead + save 39μs  -- with Felsch + no standardisation 39μs  -- with Felsch + standardisation 39μs  -- with random strategy 39μs  -- with Rc style + full lookahead 35μs  -- with Rc style + partial lookahead 33μs  -- with R/C style 35μs  -- with CR style 43μs  -- with Cr style 39μs ToddCoxeter 024: exceptions . . .  -- with HLT + no standardise + full lookahead + no save 176μs  -- with HLT + standardise + full lookahead + no save 158μs  -- with HLT + no standardise + partial lookahead + no save 156μs  -- with HLT + standardise + partial lookahead + no save 155μs  -- with HLT + no standardise + full lookahead + save 160μs  -- with HLT + standardise + full lookahead + save 159μs  -- with HLT + no standardise + partial lookahead + save 160μs  -- with HLT + standardise + partial lookahead + save 157μs  -- with Felsch + no standardisation 159μs  -- with Felsch + standardisation 164μs  -- with random strategy 161μs  -- with Rc style + full lookahead 194μs  -- with Rc style + partial lookahead 156μs  -- with R/C style 156μs  -- with CR style 162μs  -- with Cr style 160μs ToddCoxeter 025: obviously infinite . . .  -- with HLT + no standardise + full lookahead + no save 47μs  -- with HLT + standardise + full lookahead + no save 40μs  -- with HLT + no standardise + partial lookahead + no save 39μs  -- with HLT + standardise + partial lookahead + no save 39μs  -- with HLT + no standardise + full lookahead + save 41μs  -- with HLT + standardise + full lookahead + save 40μs  -- with HLT + no standardise + partial lookahead + save 39μs  -- with HLT + standardise + partial lookahead + save 39μs  -- with Felsch + no standardisation 41μs  -- with Felsch + standardisation 40μs  -- with random strategy 39μs ToddCoxeter 026: exceptions . . .  -- with HLT + no standardise + full lookahead + no save 111μs  -- with HLT + standardise + full lookahead + no save 96μs  -- with HLT + no standardise + partial lookahead + no save 91μs  -- with HLT + standardise + partial lookahead + no save 98μs  -- with HLT + no standardise + full lookahead + save 103μs  -- with HLT + standardise + full lookahead + save 101μs  -- with HLT + no standardise + partial lookahead + save 98μs  -- with HLT + standardise + partial lookahead + save 99μs  -- with Felsch + no standardisation 99μs  -- with Felsch + standardisation 100μs  -- with random strategy 101μs  -- with Rc style + full lookahead 95μs  -- with Rc style + partial lookahead 92μs  -- with R/C style 92μs  -- with CR style 96μs  -- with Cr style 101μs ToddCoxeter 027: empty . . . 57μs ToddCoxeter 028: congruence of fpsemigroup::ToddCoxeter . . .  -- with HLT + no standardise + full lookahead + no save 155μs  -- with HLT + standardise + full lookahead + no save 165μs  -- with HLT + no standardise + partial lookahead + no save 126μs  -- with HLT + standardise + partial lookahead + no save 126μs  -- with HLT + save (throws) 132μs  -- with Felsch (throws) 129μs  -- with random strategy 134μs  -- with HLT + no standardise + full lookahead + save 128μs  -- with HLT + standardise + full lookahead + save 134μs  -- with HLT + no standardise + partial lookahead + save 129μs  -- with HLT + standardise + partial lookahead + save 128μs  -- with Felsch + no standardisation 126μs  -- with Felsch + standardisation 124μs  -- with Rc style + full lookahead 120μs  -- with Rc style + partial lookahead 121μs  -- with R/C style 120μs  -- with CR style 123μs  -- with Cr style 124μs ToddCoxeter 029: !KnuthBendix.started() . . .  -- with HLT + no standardise + full lookahead + no save and 2-sided 82μs  -- with HLT + standardise + full lookahead + no save and 2-sided 64μs  -- with HLT + no standardise + partial lookahead + no save and 2-sided 59μs  -- with HLT + standardise + partial lookahead + no save and 2-sided 63μs  -- with HLT + no standardise + full lookahead + save and 2-sided 64μs  -- with HLT + standardise + full lookahead + save and 2-sided 63μs  -- with HLT + no standardise + partial lookahead + save and 2-sided 61μs  -- with HLT + standardise + partial lookahead + save and 2-sided 61μs  -- with Felsch + no standardisation and 2-sided 60μs  -- with Felsch + standardisation and 2-sided 59μs  -- with random strategy and 2-sided 63μs  -- with HLT + no standardise + full lookahead + no save and left 62μs  -- with HLT + standardise + full lookahead + no save and left 61μs  -- with HLT + no standardise + partial lookahead + no save and left 58μs  -- with HLT + standardise + partial lookahead + no save and left 57μs  -- with HLT + no standardise + full lookahead + save and left 75μs  -- with HLT + standardise + full lookahead + save and left 67μs  -- with HLT + no standardise + partial lookahead + save and left 66μs  -- with HLT + standardise + partial lookahead + save and left 66μs  -- with Felsch + no standardisation and left 66μs  -- with Felsch + standardisation and left 64μs  -- with random strategy and left 61μs  -- with HLT + no standardise + full lookahead + no save and right 60μs  -- with HLT + standardise + full lookahead + no save and right 56μs  -- with HLT + no standardise + partial lookahead + no save and right 62μs  -- with HLT + standardise + partial lookahead + no save and right 58μs  -- with HLT + no standardise + full lookahead + save and right 66μs  -- with HLT + standardise + full lookahead + save and right 64μs  -- with HLT + no standardise + partial lookahead + save and right 64μs  -- with HLT + standardise + partial lookahead + save and right 64μs  -- with Felsch + no standardisation and right 64μs  -- with Felsch + standardisation and right 63μs  -- with random strategy and right 69μs ToddCoxeter 030: KnuthBendix.finished() . . .  -- with HLT + no standardise + full lookahead + no save and 2-sided 161μs  -- with HLT + standardise + full lookahead + no save and 2-sided 136μs  -- with HLT + no standardise + partial lookahead + no save and 2-sided 136μs  -- with HLT + standardise + partial lookahead + no save and 2-sided 132μs  -- with HLT + no standardise + full lookahead + save and 2-sided 137μs  -- with HLT + standardise + full lookahead + save and 2-sided 136μs  -- with HLT + no standardise + partial lookahead + save and 2-sided 133μs  -- with HLT + standardise + partial lookahead + save and 2-sided 133μs  -- with Felsch + no standardisation and 2-sided 128μs  -- with Felsch + standardisation and 2-sided 127μs  -- with random strategy and 2-sided 146μs  -- with HLT + no standardise + full lookahead + no save and left 147μs  -- with HLT + standardise + full lookahead + no save and left 135μs  -- with HLT + no standardise + partial lookahead + no save and left 143μs  -- with HLT + standardise + partial lookahead + no save and left 134μs  -- with HLT + no standardise + full lookahead + save and left 143μs  -- with HLT + standardise + full lookahead + save and left 143μs  -- with HLT + no standardise + partial lookahead + save and left 141μs  -- with HLT + standardise + partial lookahead + save and left 140μs  -- with Felsch + no standardisation and left 138μs  -- with Felsch + standardisation and left 138μs  -- with random strategy and left 145μs  -- with HLT + no standardise + full lookahead + no save and right 134μ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 136μs  -- with HLT + no standardise + full lookahead + save and right 142μs  -- with HLT + standardise + full lookahead + save and right 142μs  -- with HLT + no standardise + partial lookahead + save and right 141μs  -- with HLT + standardise + partial lookahead + save and right 141μs  -- with Felsch + no standardisation and right 138μs  -- with Felsch + standardisation and right 137μs  -- with random strategy and right 147μs ToddCoxeter 031: KnuthBendix.finished() . . .  -- with HLT + no standardise + full lookahead + no save and 2-sided 115μs  -- with HLT + standardise + full lookahead + no save and 2-sided 101μs  -- with HLT + no standardise + partial lookahead + no save and 2-sided 98μs  -- with HLT + standardise + partial lookahead + no save and 2-sided 101μs  -- with HLT + no standardise + full lookahead + save and 2-sided 114μs  -- with HLT + standardise + full lookahead + save and 2-sided 107μs  -- with HLT + no standardise + partial lookahead + save and 2-sided 101μs  -- with HLT + standardise + partial lookahead + save and 2-sided 100μs  -- with Felsch + no standardisation and 2-sided 95μs  -- with Felsch + standardisation and 2-sided 94μs  -- with random strategy and 2-sided 101μs  -- with Rc style + full lookahead and 2-sided 101μs  -- with Rc style + partial lookahead and 2-sided 101μs  -- with R/C style and 2-sided 95μs  -- with CR style and 2-sided 102μs  -- with Cr style and 2-sided 103μs  -- with HLT + no standardise + full lookahead + no save and left 105μs  -- with HLT + standardise + full lookahead + no save and left 100μs  -- with HLT + no standardise + partial lookahead + no save and left 98μs  -- with HLT + standardise + partial lookahead + no save and left 98μs  -- with HLT + no standardise + full lookahead + save and left 106μs  -- with HLT + standardise + full lookahead + save and left 106μs  -- with HLT + no standardise + partial lookahead + save and left 106μs  -- with HLT + standardise + partial lookahead + save and left 106μs  -- with Felsch + no standardisation and left 103μs  -- with Felsch + standardisation and left 102μs  -- with random strategy and left 115μs  -- with Rc style + full lookahead and left 105μs  -- with Rc style + partial lookahead and left 103μs  -- with R/C style and left 100μs  -- with CR style and left 107μs  -- with Cr style and left 110μs  -- with HLT + no standardise + full lookahead + no save and right 101μs  -- with HLT + standardise + full lookahead + no save and right 98μs  -- with HLT + no standardise + partial lookahead + no save and right 104μs  -- with HLT + standardise + partial lookahead + no save and right 98μs  -- with HLT + no standardise + full lookahead + save and right 106μs  -- with HLT + standardise + full lookahead + save and right 111μs  -- with HLT + no standardise + partial lookahead + save and right 107μs  -- with HLT + standardise + partial lookahead + save and right 106μs  -- with Felsch + no standardisation and right 103μs  -- with Felsch + standardisation and right 102μs  -- with random strategy and right 114μs  -- with Rc style + full lookahead and right 106μs  -- with Rc style + partial lookahead and right 104μs  -- with R/C style and right 99μs  -- with CR style and right 106μs  -- with Cr style and right 111μs ToddCoxeter 032: prefill . . . 138μs ToddCoxeter 033: congruence of ToddCoxeter . . .  -- with HLT + no standardise + full lookahead + no save 54μs  -- with HLT + standardise + full lookahead + no save 43μs  -- with HLT + no standardise + partial lookahead + no save 41μs  -- with HLT + standardise + partial lookahead + no save 41μs  -- with HLT + no standardise + full lookahead + save 47μs  -- with HLT + standardise + full lookahead + save 46μs  -- with HLT + no standardise + partial lookahead + save 44μs  -- with HLT + standardise + partial lookahead + save 45μs  -- with random strategy 45μs ToddCoxeter 034: congruence of ToddCoxeter . . .  -- with HLT + no standardise + full lookahead + no save 148μs  -- with HLT + standardise + full lookahead + no save 124μs  -- with HLT + no standardise + partial lookahead + no save 119μs  -- with HLT + standardise + partial lookahead + no save 119μs  -- with HLT + save (throws) 131μs  -- with Felsch (throws) 128μs  -- with random strategy 129μs ToddCoxeter 035: congruence on FpSemigroup . . .  -- with HLT + no standardise + full lookahead + no save 333μs  -- with HLT + standardise + full lookahead + no save 289μs  -- with HLT + no standardise + partial lookahead + no save 280μs  -- with HLT + standardise + partial lookahead + no save 281μs  -- with HLT + no standardise + full lookahead + save 316μs  -- with HLT + standardise + full lookahead + save 312μs  -- with HLT + no standardise + partial lookahead + save 309μs  -- with HLT + standardise + partial lookahead + save 311μs  -- with Felsch + no standardisation 306μs  -- with Felsch + standardisation 320μs  -- with random strategy 327μs  -- with Rc style + full lookahead 279μs  -- with Rc style + partial lookahead 276μs  -- with R/C style 277μs  -- with CR style 313μs  -- with Cr style 313μs ToddCoxeter 036: exceptions . . . 96μs ToddCoxeter 037: copy constructor . . . 41μs ToddCoxeter 038: simplify . . . 128μs ToddCoxeter 039: stylic_monoid . . . 937ms ToddCoxeter 041: some finite classes . . . 488μs ToddCoxeter 043: symmetric_group(7, Coxeter + Moser) . . . 178ms ToddCoxeter 044: Option exceptions . . . 69μs ToddCoxeter 045: Options operator<< . . . 605μs ToddCoxeter 046: Easdown-East-FitzGerald DualSymInv(5) . . .  -- with HLT + no standardise + full lookahead + no save 195ms  -- with HLT + standardise + full lookahead + no save 217ms  -- with HLT + no standardise + partial lookahead + no save 194ms  -- with HLT + standardise + partial lookahead + no save 217ms  -- with HLT + no standardise + full lookahead + save 165ms  -- with HLT + standardise + full lookahead + save 166ms  -- with HLT + no standardise + partial lookahead + save 166ms  -- with HLT + standardise + partial lookahead + save 165ms  -- with Felsch + no standardisation 177ms  -- with Felsch + standardisation 177ms  -- with random strategy 201ms  -- with R/C style 204ms  -- with Rc style + full lookahead 184ms  -- with Rc style + partial lookahead 184ms ToddCoxeter 047: uniform_block_bijection_monoid(3) (FitzGerald) . . .  -- with HLT + no standardise + full lookahead + no save 106μs  -- with HLT + standardise + full lookahead + no save 99μs  -- with HLT + no standardise + partial lookahead + no save 88μs  -- with HLT + standardise + partial lookahead + no save 112μs  -- with HLT + no standardise + full lookahead + save 255μs  -- with HLT + standardise + full lookahead + save 248μs  -- with HLT + no standardise + partial lookahead + save 243μs  -- with HLT + standardise + partial lookahead + save 239μs  -- with Felsch + no standardisation 180μs  -- with Felsch + standardisation 169μs  -- with random strategy 171μs  -- with R/C style 105μs  -- with Rc style + full lookahead 96μs  -- with Rc style + partial lookahead 97μs ToddCoxeter 048: stellar_monoid(7) (Gay-Hivert) . . . 179ms ToddCoxeter 049: partition_monoid(4) (East) . . .  -- with HLT + no standardise + full lookahead + no save 34ms  -- with HLT + standardise + full lookahead + no save 36ms  -- with HLT + no standardise + partial lookahead + no save 35ms  -- with HLT + standardise + partial lookahead + no save 36ms  -- with HLT + no standardise + full lookahead + save 65ms  -- with HLT + standardise + full lookahead + save 67ms  -- with HLT + no standardise + partial lookahead + save 65ms  -- with HLT + standardise + partial lookahead + save 67ms  -- with Felsch + no standardisation 76ms  -- with Felsch + standardisation 75ms  -- with random strategy 78ms  -- with R/C style 39ms  -- with Rc style + full lookahead 82ms  -- with Rc style + partial lookahead 82ms ToddCoxeter 050: singular_brauer_monoid(6) (Maltcev + Mazorchuk) . . . 592ms ToddCoxeter 051: orientation_preserving_monoid(6) (Ruskuc + [...] . . .  -- with HLT + no standardise + full lookahead + no save 28ms ToddCoxeter 052: orientation_reversing_monoid(5) (Ruskuc + [...] . . .  -- with HLT + no standardise + full lookahead + no save 7039μs ToddCoxeter 053: temperley_lieb_monoid(10) (East) . . . 44ms ToddCoxeter 063: add_rule . . .  -- with HLT + no standardise + full lookahead + no save 94μs  -- with HLT + standardise + full lookahead + no save 68μ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 72μs  -- with HLT + standardise + full lookahead + save 72μs  -- with HLT + no standardise + partial lookahead + save 73μs  -- with HLT + standardise + partial lookahead + save 71μs  -- with Felsch + no standardisation 71μs  -- with Felsch + standardisation 71μs  -- with random strategy 69μs  -- with Rc style + full lookahead 66μs  -- with Rc style + partial lookahead 64μs  -- with R/C style 67μs  -- with CR style 71μs  -- with Cr style 71μs  -- with R/C + Felsch lookahead 73μs  -- with HLT + Felsch lookahead + save 72μs  -- with Cr + small number of f_defs 75μs  -- with Rc + small number of deductions 66μs  -- with Felsch + v2 + no preferred defs 70μs  -- with Felsch + v2 + immediate no stack 71μs  -- with Felsch + v1 + immediate no stack 70μs  -- with Felsch + v1 + immediate yes stack 70μs  -- with large collapse 64μs ToddCoxeter 064: (from kbmag/standalone/kb_data/s4) (KnuthB [...] . . .  -- with HLT + no standardise + full lookahead + no save 257μs ToddCoxeter 066: test validate . . . 67μs ToddCoxeter 067: add_rules after construct. from semigroup . . .  -- with HLT + no standardise + full lookahead + no save 349μs  -- with HLT + standardise + full lookahead + no save 319μs  -- with HLT + no standardise + partial lookahead + no save 304μs  -- with HLT + standardise + partial lookahead + no save 304μs  -- with HLT + save (throws) 318μs  -- with Felsch (throws) 316μs  -- with random strategy 304μs ToddCoxeter 068: Sym(5) from Chapter 3, Proposition 1.1 in NR . . .  -- with Deduction policy == purge_from_top 803μs  -- with Deduction policy == purge_all 761μs  -- with Deduction policy == discard_all_if_no_space 1101μs  -- with HLT + no standardise + full lookahead + no save 877μs  -- with HLT + standardise + full lookahead + no save 1237μs  -- with HLT + no standardise + partial lookahead + no save 860μs  -- with HLT + standardise + partial lookahead + no save 1208μs  -- with HLT + no standardise + full lookahead + save 1344μs  -- with HLT + standardise + full lookahead + save 1358μs  -- with HLT + no standardise + partial lookahead + save 1329μs  -- with HLT + standardise + partial lookahead + save 1357μs  -- with Felsch + no standardisation 847μs  -- with Felsch + standardisation 831μs  -- with random strategy 889μs  -- with Rc style + full lookahead 1751μs  -- with Rc style + partial lookahead 1761μs  -- with R/C style 951μs  -- with CR style 893μs  -- with Cr style 912μs ToddCoxeter 069: Chapter 7, Theorem 3.6 in NR (size 243) . . .  -- with HLT + no standardise + full lookahead + no save 415μs  -- with HLT + standardise + full lookahead + no save 487μs  -- with HLT + no standardise + partial lookahead + no save 400μs  -- with HLT + standardise + partial lookahead + no save 480μs  -- with HLT + no standardise + full lookahead + save 595μs  -- with HLT + standardise + full lookahead + save 653μs  -- with HLT + no standardise + partial lookahead + save 590μs  -- with HLT + standardise + partial lookahead + save 635μs  -- with Felsch + no standardisation 2880μs  -- with Felsch + standardisation 2910μs  -- with random strategy 640μs  -- with Rc style + full lookahead 438μs  -- with Rc style + partial lookahead 434μs  -- with R/C style 454μs  -- with CR style 2932μs  -- with Cr style 2903μs ToddCoxeter 070: finite semigroup (size 99) . . .  -- with HLT + no standardise + full lookahead + no save 193μs  -- with HLT + standardise + full lookahead + no save 217μs  -- with HLT + no standardise + partial lookahead + no save 179μs  -- with HLT + standardise + partial lookahead + no save 206μs  -- with HLT + no standardise + full lookahead + save 253μs  -- with HLT + standardise + full lookahead + save 264μs  -- with HLT + no standardise + partial lookahead + save 245μs  -- with HLT + standardise + partial lookahead + save 259μs  -- with Felsch + no standardisation 537μs  -- with Felsch + standardisation 534μs  -- with random strategy 554μs  -- with Rc style + full lookahead 195μs  -- with Rc style + partial lookahead 193μs  -- with R/C style 197μs  -- with CR style 543μs  -- with Cr style 541μs ToddCoxeter 080: KnuthBendix 098 . . .  -- with HLT + no standardise + full lookahead + no save 615ms  -- with HLT + standardise + full lookahead + no save 742ms  -- with HLT + no standardise + partial lookahead + no save 618ms  -- with HLT + standardise + partial lookahead + no save 742ms  -- with HLT + no standardise + full lookahead + save 456ms  -- with HLT + standardise + full lookahead + save 456ms  -- with HLT + no standardise + partial lookahead + save 450ms  -- with HLT + standardise + partial lookahead + save 454ms  -- with Felsch + no standardisation 406ms  -- with Felsch + standardisation 407ms  -- with random strategy 754ms  -- with Rc style + full lookahead 408ms  -- with Rc style + partial lookahead 402ms  -- with R/C style 618ms  -- with CR style 409ms  -- with Cr style 405ms ToddCoxeter 084: Campbell-Reza 1 . . .  -- with HLT + no standardise + full lookahead + no save 125μs  -- with HLT + standardise + full lookahead + no save 96μs  -- with HLT + no standardise + partial lookahead + no save 88μs  -- with HLT + standardise + partial lookahead + no save 94μs  -- with HLT + no standardise + full lookahead + save 103μs  -- with HLT + standardise + full lookahead + save 101μs  -- with HLT + no standardise + partial lookahead + save 99μs  -- with HLT + standardise + partial lookahead + save 101μs  -- with Felsch + no standardisation 110μs  -- with Felsch + standardisation 103μs  -- with random strategy 88μs  -- with Rc style + full lookahead 84μs  -- with Rc style + partial lookahead 82μs  -- with R/C style 89μs  -- with CR style 106μs  -- with Cr style 103μs ToddCoxeter 085: Renner monoid type D4 (Gay-Hivert), q = 1 . . .  -- with HLT + no standardise + full lookahead + no save 122ms  -- with HLT + standardise + full lookahead + no save 121ms  -- with HLT + no standardise + partial lookahead + no save 122ms  -- with HLT + standardise + partial lookahead + no save 122ms  -- with HLT + no standardise + full lookahead + save 122ms  -- with HLT + standardise + full lookahead + save 122ms  -- with HLT + no standardise + partial lookahead + save 122ms  -- with HLT + standardise + partial lookahead + save 122ms  -- with Felsch + no standardisation 121ms  -- with Felsch + standardisation 122ms  -- with random strategy 122ms  -- with Rc style + full lookahead 122ms  -- with Rc style + partial lookahead 122ms  -- with R/C style 123ms  -- with CR style 122ms  -- with Cr style 122ms ToddCoxeter 086: trivial semigroup . . . 343ms ToddCoxeter 092: ACE --- perf602p5 - HLT . . .  -- with HLT + no standardise + full lookahead + no save 40ms  -- with HLT + standardise + full lookahead + no save 40ms  -- with HLT + no standardise + partial lookahead + no save 40ms  -- with HLT + standardise + partial lookahead + no save 40ms  -- with HLT + no standardise + full lookahead + save 19ms  -- with HLT + standardise + full lookahead + save 19ms  -- with HLT + no standardise + partial lookahead + save 18ms  -- with HLT + standardise + partial lookahead + save 19ms  -- with random strategy 41ms  -- with Felsch + no standardisation 14ms  -- with Felsch + standardisation 14ms ToddCoxeter 094: ACE --- C5 - HLT . . .  -- with HLT + no standardise + full lookahead + no save 93μs  -- with HLT + standardise + full lookahead + no save 79μs  -- with HLT + no standardise + partial lookahead + no save 79μs  -- with HLT + standardise + partial lookahead + no save 76μs  -- with HLT + no standardise + full lookahead + save 102μs  -- with HLT + standardise + full lookahead + save 100μs  -- with HLT + no standardise + partial lookahead + save 99μs  -- with HLT + standardise + partial lookahead + save 98μs  -- with random strategy 104μs  -- with Felsch + no standardisation 93μs  -- with Felsch + standardisation 88μs ToddCoxeter 095: ACE --- A5-C5 . . .  -- with HLT + no standardise + full lookahead + no save 103μs  -- with HLT + standardise + full lookahead + no save 105μs  -- with HLT + no standardise + partial lookahead + no save 99μs  -- with HLT + standardise + partial lookahead + no save 102μs  -- with HLT + no standardise + full lookahead + save 151μs  -- with HLT + standardise + full lookahead + save 147μs  -- with HLT + no standardise + partial lookahead + save 144μs  -- with HLT + standardise + partial lookahead + save 145μs  -- with random strategy 107μs  -- with Felsch + no standardisation 127μs  -- with Felsch + standardisation 124μs ToddCoxeter 096: ACE --- A5 . . .  -- with HLT + no standardise + full lookahead + no save 229μs  -- with HLT + standardise + full lookahead + no save 291μs  -- with HLT + no standardise + partial lookahead + no save 195μs  -- with HLT + standardise + partial lookahead + no save 278μs  -- with HLT + no standardise + full lookahead + save 406μs  -- with HLT + standardise + full lookahead + save 418μs  -- with HLT + no standardise + partial lookahead + save 393μs  -- with HLT + standardise + partial lookahead + save 410μs  -- with random strategy 439μs  -- with Felsch + no standardisation 285μs  -- with Felsch + standardisation 273μs ToddCoxeter 098: relation ordering . . .  -- with Felsch + no standardisation 617μs  -- with Felsch + standardisation 583μs  -- with HLT + no standardise + full lookahead + no save 292μs  -- with HLT + standardise + full lookahead + no save 279μs  -- with HLT + no standardise + partial lookahead + no save 282μs  -- with HLT + standardise + partial lookahead + no save 275μs  -- with HLT + no standardise + full lookahead + save 617μs  -- with HLT + standardise + full lookahead + save 636μs  -- with HLT + no standardise + partial lookahead + save 623μs  -- with HLT + standardise + partial lookahead + save 624μs  -- with random strategy 671μs ToddCoxeter 099: short circuit size in obviously infinite . . . 20μs ToddCoxeter 101: http://brauer.maths.qmul.ac.uk/Atlas/spor/M [...] . . . 670ms ToddCoxeter 108: http://brauer.maths.qmul.ac.uk/Atlas/lin/L3 [...] . . . 610ms ToddCoxeter 110: to_gap_string . . . 89μs ToddCoxeter 111: partition_monoid(2) . . . 67μs ToddCoxeter 112: brauer_monoid(4) (Kudryavtseva + Mazorchuk) . . . 380μs ToddCoxeter 113: symmetric_inverse_monoid . . . 18ms ToddCoxeter 116: symmetric_group(7, Burnside + Miller) . . . 472ms UF 001: constructor by size . . . 16μs UF 002: copy constructor . . . 21μs UF 003: find . . . 17μs Ukkonen 000: basic tests . . . 72ms Ukkonen 001: maximal_piece_prefix 1 . . . 37μs Ukkonen 002: maximal_piece_prefix 2 . . . 44μs Ukkonen 003: maximal_piece_prefix 3 . . . 261μs Ukkonen 004: number_of_pieces . . . 77μs Ukkonen 005: traverse . . . 22μs Ukkonen 006: dot . . . 174μs Ukkonen 007: strings . . . 57μs Ukkonen 008: dfs #01 . . . 38μs Ukkonen 009: dfs #02 . . . 34μs Ukkonen 010: dfs #03 . . . 31μs Ukkonen 011: dfs #04 . . . 81μs Ukkonen 012: dfs #05 . . . 59μs Ukkonen 013: dfs #06 . . . 52μs Ukkonen 014: dfs #07 . . . 111μs Ukkonen 015: dfs #08 . . . 84μs Ukkonen 016: dfs #09 . . . 106μs Ukkonen 017: dfs #10 . . . 31μs Ukkonen 018: pieces . . . 40μs Ukkonen 019: code coverage . . . 48μs Ukkonen 020: code coverage . . . 10μs action_digraph_helper 015: detail::to_string . . . 25μs action_digraph_helper 016: make . . . 47μs action_digraph_helper 017: is_connected . . . 170μs action_digraph_helper 018: is_strictly_cyclic . . . 13ms follow_path 012: 20 node path . . . 25μs fpsemi-examples 002: full_transformation_monoid author except . . . 37μs fpsemi-examples 003: full_transformation_monoid degree except . . . 19μs fpsemi-examples 005: partial_transformation_monoid author except . . . 22μs fpsemi-examples 006: partial_transformation_monoid degree except . . . 21μs fpsemi-examples 007: symmetric_inverse_monoid(5) . . . 18ms fpsemi-examples 008: symmetric_group auth except . . . 30μs fpsemi-examples 009: symmetric_group degree except . . . 21μs fpsemi-examples 010: symmetric_group(6) Burnside + Miller . . . 26ms fpsemi-examples 011: dual_symmetric_inverse_monoid(5) . . . 195ms fpsemi-examples 012: dual_symmetric_inverse_monoid auth except . . . 34μs fpsemi-examples 013: dual_symmetric_inverse_monoid degree except . . . 21μs fpsemi-examples 014: uniform_block_bijection_monoid(5) . . . 14ms fpsemi-examples 015: uniform_block_bijection_monoid auth except . . . 35μs fpsemi-examples 016: uniform_block_bijection_monoid degree except . . . 20μs fpsemi-examples 019: partition_monoid auth except . . . 34μs fpsemi-examples 020: partition_monoid degree except . . . 31μs fpsemi-examples 022: monogenic_semigroup(4, 9) . . . 37μs fpsemi-examples 023: fibonacci_semigroup(2, 5) . . . 74μs fpsemi-examples 024: temperley_lieb_monoid(10) . . . 53ms fpsemi-examples 025: singular_brauer_monoid(6) . . . 463ms fpsemi-examples 026: orientation_preserving_monoid(6) . . . 27ms fpsemi-examples 027: orientation_reversing_monoid(5) . . . 7088μs fpsemi-examples 028: chinese_monoid(3) . . . 140μs fpsemi-examples 029: plactic_monoid(3) . . . 111μs fpsemi-examples 030: stylic_monoid(3) . . . 915μs fpsemi-examples 031: symmetric_group(6) Carmichael . . . 16ms fpsemi-examples 032: symmetric_group(6) Moore index 0 . . . 12ms fpsemi-examples 033: symmetric_group(6) Coxeter + Moser . . . 6859μs fpsemi-examples 034: test for the rook monoid . . . 285μs fpsemi-examples 035: alternating_group(7) Moore . . . 27ms fpsemi-examples 036: alternating_group auth except . . . 37μs fpsemi-examples 037: alternating_group degree except . . . 21μs fpsemi-examples 038: partial_transformation_monoid(3) Machine . . . 282μs fpsemi-examples 039: chinese_monoid degree except . . . 33μs fpsemi-examples 040: monogenic_semigroup degree except . . . 30μs fpsemi-examples 041: rectangular_band degree except . . . 44μs fpsemi-examples 042: stellar_monoid degree except . . . 28μs fpsemi-examples 043: plactic_monoid degree except . . . 26μs fpsemi-examples 044: stylic_monoid degree except . . . 25μs fpsemi-examples 045: temperley_lieb_monoid degree except . . . 33μs fpsemi-examples 046: singular_brauer_monoid degree except . . . 40μs fpsemi-examples 047: orientation_preserving_monoid degree except . . . 33μs fpsemi-examples 048: orientation_reversing_monoid degree except . . . 33μs fpsemi-examples 049: test default values . . . 3195μs fpsemi-examples 052: not_symmetric_group(5) Guralnick + Kant [...] . . . 3006μs fpsemi-examples 053: order_preserving_monoid(5) . . . 657μs fpsemi-examples 055: order_preserving_monoid degree except . . . 41μs fpsemi-examples 056: cyclic_inverse_monoid(4) Fernandes 1 . . . 248μs fpsemi-examples 057: cyclic_inverse_monoid(8) Fernandes index 1 . . . 16ms fpsemi-examples 058: cyclic_inverse_monoid Fernandes index 0 . . . 28ms fpsemi-examples 059: order_preserving_cyclic_inverse_monoid(4) . . . 139μs fpsemi-examples 060: order_preserving_cyclic_inverse_monoid(10) . . . 33ms fpsemi-examples 061: cyclic_inverse_monoid degree except . . . 71μs fpsemi-examples 062: cyclic_inverse_monoid author except . . . 31μs fpsemi-examples 063: order_preserving_monoid degree except . . . 33μs fpsemi-examples 064: symmetric_group index except . . . 32μs fpsemi-examples 065: symmetric_group(7) Moore index 1 . . . 7080μs fpsemi-examples 066: order_preserving_cyclic_inverse_monoid(10) . . . 33ms fpsemi-examples 067: partial_isometries_cycle_graph_monoid(5) . . . 628μs fpsemi-examples 068: partial_isometries_cycle_graph_monoid(10) . . . 247ms fpsemi-examples 069: partial_isometries_cycle_graph_monoid d [...] . . . 45μs fpsemi-examples 070: partial_isometries_cycle_graph_monoid(4) . . . 294μs freeband_equal_to 001: . . . 613μs is_acyclic 000: 2-cycle . . . 13μs is_acyclic 001: 1-cycle . . . 11μs is_acyclic 002: multi-digraph . . . 14μs is_acyclic 003: complete digraph 100 . . . 71μs is_acyclic 004: acyclic digraph with 20000 nodes . . . 1577μs is_acyclic 006: for a node . . . 896μs is_acyclic 007: for a node . . . 19μs is_reachable 008: acyclic 20 node digraph . . . 42μs is_reachable 009: 100 node path . . . 11ms is_reachable 010: 100 node cycle . . . 10ms is_reachable 011: 20 node clique . . . 453μs last_node_on_path_nc 014: 20 node path . . . 17μs make 000: from FroidurePin . . . 391μs make 001: from FroidurePin and alphabet . . . 535μs make 002: presentation from presentation . . . 196μs make 003: presentation from presentation and alphabet . . . 46μs make 004: argument checks issue . . . 108μs make 005: use human readable alphabet for make . . . 19μs make> 000: from ActionDigraph . . . 1300μs make> 001: from ActionDigraph (exceptions) . . . 47μs number_of_words 001: . . . 20μs operator"" _w 003: literal . . . 13μs silo 000: alphabet: a, min: 0, max: 10 . . . 41μs silo 001: corner cases . . . 27μs silo 002: alphabet: ab, min: 1, max: 4 . . . 44μs silo 003: alphabet: abc, min: 0, max: 13 . . . 92ms silo 004: code coverage . . . 25μs sislo 005: alphabet: a, min: 0, max: 10 . . . 34μs sislo 006: corner cases . . . 80μs sislo 007: alphabet: ab, min: 1, max: 4 . . . 73μs sislo 008: alphabet: abc, min: 0, max: 13 . . . 92ms sislo 009: code coverage . . . 23μs string 000: detail::is_suffix . . . 14μs string 001: detail::is_prefix . . . 12μs string 002: detail::maximum_common_suffix . . . 11μs string 003: detail::group_digits . . . 22μs string_to_word 002: . . . 13μs validate_label 013: 20 node path . . . 53μs wilo 001: corner cases . . . 32μs wilo 002: letters: 2, min: 1, max: 4 . . . 44μs wilo 003: letters: 2, min: 1, max: 4 . . . 51μs wilo 004: letters: 3, min: 0, max: 10 . . . 16ms wilo 005: letters: 3, min: 0, max: 13 . . . 132ms wilo 006: forward iterator requirements . . . 129ms wilo 007: more corner cases . . . 45μs wilo 008: starting at a given word 1 . . . 133μs wilo 009: starting at a given word 2 . . . 19μs wilo 010: code coverage . . . 19μs wislo 000: n: 2, min; 1, max: 4 . . . 23μs wislo 001: corner cases . . . 38μs wislo 002: n: 3, min; 0, max: 10 . . . 4351μs wislo 003: n: 3, min; 0, max: 13 . . . 132ms wislo 004: lex + sort . . . 414ms wislo 005: code coverage . . . 27μs =============================================================================== All tests passed (1226211 assertions in 1190 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' ./config/install-sh -c -d '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups' ./config/install-sh -c -d '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups/textflowcpp' /usr/bin/install -c -m 644 libsemigroups.pc '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/pkgconfig' /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: /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/kbe.hpp include/libsemigroups/knuth-bendix.hpp include/libsemigroups/konieczny.hpp include/libsemigroups/libsemigroups.hpp include/libsemigroups/make-froidure-pin.hpp include/libsemigroups/make-present.hpp include/libsemigroups/matrix.hpp include/libsemigroups/node-manager.hpp include/libsemigroups/obvinf.hpp include/libsemigroups/order.hpp include/libsemigroups/pbr.hpp include/libsemigroups/pool.hpp include/libsemigroups/present.hpp include/libsemigroups/present.tpp include/libsemigroups/race.hpp include/libsemigroups/report.hpp include/libsemigroups/runner.hpp include/libsemigroups/schreier-sims.hpp include/libsemigroups/schreier-sims-helper.hpp include/libsemigroups/sims1.hpp include/libsemigroups/sims1.tpp include/libsemigroups/siso.hpp include/libsemigroups/stl.hpp include/libsemigroups/stephen.hpp include/libsemigroups/string-view.hpp include/libsemigroups/string.hpp include/libsemigroups/tce.hpp include/libsemigroups/timer.hpp include/libsemigroups/todd-coxeter-digraph.hpp include/libsemigroups/todd-coxeter-digraph.tpp include/libsemigroups/todd-coxeter.hpp include/libsemigroups/transf.hpp include/libsemigroups/types.hpp include/libsemigroups/uf.hpp include/libsemigroups/ukkonen.hpp include/libsemigroups/ukkonen.tpp include/libsemigroups/wilo.hpp include/libsemigroups/wislo.hpp include/libsemigroups/word.hpp '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups' libtool: install: (cd /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib && { ln -s -f libsemigroups.so.2.0.0 libsemigroups.so.2 || { rm -f libsemigroups.so.2 && ln -s libsemigroups.so.2.0.0 libsemigroups.so.2; }; }) libtool: install: (cd /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib && { ln -s -f libsemigroups.so.2.0.0 libsemigroups.so || { rm -f libsemigroups.so && ln -s libsemigroups.so.2.0.0 libsemigroups.so; }; }) libtool: install: /usr/bin/install -c .libs/libsemigroups.lai /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/libsemigroups.la libtool: install: /usr/bin/install -c .libs/libsemigroups.a /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/libsemigroups.a libtool: install: chmod 644 /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/libsemigroups.a libtool: install: ranlib /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/libsemigroups.a libtool: warning: remember to run 'libtool --finish /usr/lib' make[1]: Leaving directory '/home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.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: 4.6 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-x86.so.1 so:libfmt.so.10 so:libgcc_s.so.1 so:libstdc++.so.6 >>> libsemigroups*: Package size: 1.7 MB >>> libsemigroups*: Compressing data... >>> libsemigroups*: Create checksum... >>> libsemigroups*: Create libsemigroups-2.7.1-r3.apk >>> libsemigroups: Build complete at Tue, 29 Aug 2023 07:48:22 +0000 elapsed time 0h 13m 8s >>> libsemigroups: Cleaning up srcdir >>> libsemigroups: Cleaning up pkgdir >>> libsemigroups: Uninstalling dependencies... (1/4) Purging .makedepends-libsemigroups (20230829.073516) (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: 379 MiB in 110 packages >>> libsemigroups: Updating the testing/x86 repository index... >>> libsemigroups: Signing the index...