>>> libsemigroups: Building testing/libsemigroups 2.7.1-r2 (using abuild 3.11.21-r0) started Tue, 01 Aug 2023 11:25:04 +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 (9.1.0-r1) (3/4) Installing fmt-dev (9.1.0-r1) (4/4) Installing .makedepends-libsemigroups (20230801.112505) 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 1 2485k 1 49134 0 0 348k 0 0:00:07 --:--:-- 0:00:07 347k 100 2485k 100 2485k 0 0 10.7M 0 --:--:-- --:--:-- --:--:-- 10.7M >>> 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-wilo.lo CXX src/libsemigroups_la-wislo.lo CXX src/libsemigroups_la-word.lo CXXLD libsemigroups.la make test_all make[1]: Entering directory '/home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.1' CXX tests/bmat-data.o CXX tests/test-action.o CXX tests/test-bipart.o CXX tests/test-bitset.o CXX tests/test-bmat8.o CXX tests/test-cong-intf.o CXX tests/test-cong-pair.o CXX tests/test-cong.o CXX tests/test-constants.o CXX tests/test-containers.o CXX tests/test-digraph-helper.o CXX tests/test-digraph.o CXX tests/test-felsch-tree.o CXX tests/test-forest.o CXX tests/test-fpsemi.o CXX tests/test-fpsemi-examples-1.o CXX tests/test-fpsemi-examples-2.o CXX tests/test-fpsemi-examples-3.o CXX tests/test-fpsemi-intf.o CXX tests/test-freeband.o CXX tests/test-froidure-pin-bipart.o CXX tests/test-froidure-pin-bmat8.o CXX tests/test-froidure-pin-bmat.o CXX tests/test-froidure-pin-integers.o CXX tests/test-froidure-pin-intmat.o CXX tests/test-froidure-pin-intpairs.o CXX tests/test-froidure-pin-matrix.o CXX tests/test-froidure-pin-maxplustrunc.o CXX tests/test-froidure-pin-pbr.o CXX tests/test-froidure-pin-pperm.o CXX tests/test-froidure-pin-projmaxplus.o CXX tests/test-froidure-pin-transf.o CXX tests/test-hpcombi.o CXX tests/test-iterator.o CXX tests/test-kambites.o CXX tests/test-kbe.o CXX tests/test-knuth-bendix-1.o CXX tests/test-knuth-bendix-2.o CXX tests/test-knuth-bendix-3.o CXX tests/test-knuth-bendix-4.o CXX tests/test-knuth-bendix-5.o CXX tests/test-knuth-bendix-6.o CXX tests/test-konieczny-bmat8-1.o CXX tests/test-konieczny-bmat8-2.o CXX tests/test-konieczny-bmat8-3.o CXX tests/test-konieczny-transf.o CXX tests/test-konieczny-bmat.o CXX tests/test-konieczny-pperm.o CXX tests/test-main.o CXX tests/test-make-present.o CXX tests/test-make-froidure-pin.o CXX tests/test-matrix.o CXX tests/test-obvinf.o CXX tests/test-order.o CXX tests/test-pbr.o CXX tests/test-pool.o CXX tests/test-present.o CXX tests/test-race.o CXX tests/test-runner.o CXX tests/test-schreier-sims.o CXX tests/test-schreier-sims-helper.o 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 . . . 113μs Action 002: row and column basis orbits for BMat8 . . . 22ms Action 003: add generators after enumeration . . . 18ms Action 004: multipliers for BMat8 row and column orbits . . . 17ms Action 005: orbits for regular boolean mat monoid 5 . . .  Action 007: partial perm image orbit . . . 227μs Action 008: partial perm image orbit . . . 61ms Action 009: partial perm image orbit . . . 68ms Action 010: partial perm image orbit . . . 68ms Action 011: permutation on integers . . . 21μs Action 012: permutation on sets, arrays . . . 113μs Action 013: permutation on tuples, arrays . . . 11ms Action 014: permutation on sets, vectors . . . 182μs Action 015: permutation on tuples, vectors . . . 18ms Action 016: misc . . . 2297μs Action 017: partial perm image orbit . . . 48μ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> [...] . . . 426ms ActionDigraph 000: constructor with 1 default arg . . . 30μs ActionDigraph 001: constructor with 0 default args . . . 48μs ActionDigraph 002: add nodes . . . 29μs ActionDigraph 003: add edges . . . 309μs ActionDigraph 004: strongly connected components - cycles . . . 36μs ActionDigraph 005: strongly connected components - no edges . . . 49ms ActionDigraph 006: strongly connected components - disjoint cycles . . . 1915μs ActionDigraph 007: strongly connected components - complete graphs . . . 984μs ActionDigraph 008: exceptions . . . 67μs ActionDigraph 009: spanning forest - complete graphs . . . 4131μs ActionDigraph 010: spanning forest - disjoint cycles . . . 138μs ActionDigraph 011: restrict . . . 15μs ActionDigraph 012: remove_edge_nc . . . 12μs ActionDigraph 013: scc large cycle . . . 17ms ActionDigraph 014: random . . . 32μs ActionDigraph 015: reserve . . . 13μs ActionDigraph 016: default constructors . . . 18μs ActionDigraph 017: scc iterators . . . 1560μs ActionDigraph 018: iterator to edges . . . 608μs ActionDigraph 019: root of scc . . . 406μs ActionDigraph 020: cbegin/end_panislo - 100 node path . . . 608μs ActionDigraph 021: cbegin/end_pislo . . . 54μs ActionDigraph 022: cbegin/end_pani(s)lo - 100 node cycle . . . 879μs ActionDigraph 023: cbegin/cend_pilo - tree 14 nodes . . . 90μs ActionDigraph 024: cbegin/end_pstilo - Cayley digraph . . . 185ms ActionDigraph 025: cbegin_pstilo - Tsalakou . . . 482μs ActionDigraph 026: cbegin/end_pstislo - Cayley digraph . . . 181ms ActionDigraph 027: cbegin/end_pstislo - Cayley digraph . . . 259μs ActionDigraph 028: path iterators corner cases . . . 210μs ActionDigraph 029: reverse node iterator . . . 13μs ActionDigraph 030: pstilo corner case . . . 53μs ActionDigraph 031: number_of_paths corner cases . . . 89μs ActionDigraph 032: number_of_paths acyclic digraph . . . 11ms ActionDigraph 033: number_of_paths binary tree . . . 460ms ActionDigraph 034: number_of_paths large binary tree . . . 140ms ActionDigraph 035: number_of_paths 400 node random digraph . . . 788μs ActionDigraph 036: number_of_paths 10 node acyclic digraph . . . 52μs ActionDigraph 037: number_of_paths node digraph . . . 2616μs ActionDigraph 038: random/random_acyclic exceptions . . . 114μs ActionDigraph 039: unsafe (next) neighbour . . . 87μs ActionDigraph 040: number_of_egdes incident to a node . . . 96μs ActionDigraph 041: number_of_paths (matrix) . . . 24ms ActionDigraph 042: number_of_paths (matrix) . . . 17μs ActionDigraph 043: swap_edge_nc . . . 13μs ActionDigraph 044: detail::pow for non-square Eigen matrix . . . 24μs ActionDigraph 045: operator<< . . . 20μs Array2 044: all . . . 64μs BMat8 001: transpose . . . 30μs BMat8 002: multiplication . . . 23μs BMat8 003: identity matrix . . . 17μs BMat8 004: random . . . 353μs BMat8 005: call operator . . . 23μs BMat8 006: operator<< . . . 20μs BMat8 007: set . . . 64μs BMat8 008: row space basis . . . 1317μs BMat8 009: col space basis . . . 1342μs BMat8 010: row space basis . . . 17ms BMat8 011: number_of_rows, number_of_cols . . . 51μs BMat8 012: row_space, col_space . . . 272μs BMat8 013: rows . . . 50μs BMat8 014: one . . . 13μs BMat8 015: vector constructor . . . 90μs BMat8 016: operator< . . . 17μs BMat8 017: adapters . . . 26μs BMat8 018: one . . . 14μs Bipartition 009: mem fns 1 . . . 32μs Bipartition 010: hash . . . 9000ns Bipartition 011: mem fns 2 . . . 26μs Bipartition 012: delete/copy . . . 10μs Bipartition 013: degree 0 . . . 13μs Bipartition 014: exceptions . . . 51μs Bipartition 015: convenience constructor . . . 256μs Bipartition 016: force copy constructor over move constructor . . . 21μs Bipartition 017: adapters . . . 10μs BitSet 000: size . . . 20μs BitSet 001: operator< . . . 13μs BitSet 002: operator== . . . 13μs BitSet 003: operator!= . . . 13μs BitSet 004: operator&= . . . 14μs BitSet 005: & . . . 17μs BitSet 006: operator|= . . . 18μs BitSet 007: operator[] . . . 25μs BitSet 008: set(none) . . . 21μs BitSet 009: set(pos, value) . . . 20μs BitSet 010: set(first, last, value) . . . 29μs BitSet 011: reset(first, last) . . . 23μs BitSet 012: reset(pos) . . . 20μs BitSet 013: apply (iterate through set bits) . . . 23μs BitSet 014: std::hash . . . 9000ns BitSet 015: constructors . . . 22μs BitSet 016: max_size . . . 9000ns BitSet 017: insertion operators . . . 16μs Blocks 001: empty blocks . . . 15μs Blocks 002: non-empty blocks . . . 16μs Blocks 003: left blocks of bipartition . . . 16μs Blocks 004: right blocks of bipartition . . . 17μs Blocks 005: copy [empty blocks] . . . 13μs Blocks 006: copy [non-empty blocks] . . . 15μs Blocks 007: hash value . . . 14μs Blocks 008: operator< . . . 13μs Congruence 000: left congruence on fp semigroup . . . 188μs Congruence 001: 2-sided congruence on fp semigroup . . . 385μs Congruence 002: left congruence on fp semigroup . . . 253μs Congruence 003: word_to_class_index for cong. on fp semigroup . . . 345μs Congruence 004: word_to_class_index for cong. on fp semigroup . . . 740μs Congruence 005: trivial congruence on non-fp semigroup . . . 415μs Congruence 006: 2-sided congruence on non-fp semigroup . . . 350μs Congruence 007: 2-sided congruence on fp semigroup . . . 700μs Congruence 008: 2-sided congruence on infinite fp semigroup . . . 373μs Congruence 009: 2-sided congruence on infinite fp semigroup . . . 504μs Congruence 010: 2-sided congruence on finite semigroup . . . 48ms Congruence 012: 2-sided congruence on finite semigroup . . . 3562μs Congruence 013: trivial 2-sided congruence on bicyclic monoid . . . 26ms Congruence 014: non-trivial 2-sided congruence on bicyclic monoid . . . 486μs Congruence 015: 2-sided congruence on free abelian monoid . . . 562μs Congruence 016: example where TC works but KB doesn't . . . 762μs Congruence 017: 2-sided congruence on finite semigroup . . . 472μs Congruence 018: infinite fp semigroup from GAP library . . . 674μs Congruence 019: 2-sided cong. on fp semigroup with infinite [...] . . . 429μs Congruence 020: trivial cong. on an fp semigroup . . .  -- with compute size 477μs  -- with don't compute size 354μs Congruence 021: duplicate generators . . . 506μs Congruence 022: non-trivial classes . . . 1337μs Congruence 023: right congruence on finite semigroup . . . 413ms Congruence 024: redundant generating pairs . . . 253μs Congruence 025: 2-sided cong. on free semigroup . . . 198μs Congruence 026: is_quotient_obviously_(in)finite . . . 2014μs Congruence 027: less . . . 408μs Congruence 028: 2-sided congruences of BMat8 semigroup . . .  Congruence 029: left congruence on finite semigroup . . . 590μs Congruence 030: right congruence on finite semigroup . . . 552μs Congruence 031: right congruence on finite semigroup . . . 642μs Congruence 032: contains . . . 211μs Congruence 033: stellar_monoid S2 . . . 643μs Congruence 034: stellar_monoid S3 . . . 1021μs Congruence 035: stellar_monoid S4 . . . 1784μs Congruence 036: stellar_monoid S5 . . . 8526μs Congruence 037: stellar_monoid S6 . . . 92ms Congruence 038: stellar_monoid S7 . . . 1013ms Congruence 039: left cong. on an f.p. semigroup . . . 1724μs Congruence 040: 2-sided cong. on infinite f.p. semigroup . . . 265μs Congruence 041: 2-sided congruence constructed from type only . . . 694μs Congruence 042: const_contains . . . 905μs Congruence 043: no winner . . . 7797μs Congruence 044: congruence over smalloverlap . . . 12ms CongruenceByPairs 001: (cong) 2-sided cong. on finite semigroup . . . 608μs CongruenceByPairs 002: (cong) left congruence on finite semigroup . . . 254μs CongruenceByPairs 003: (cong) right congruence on finite semigroup . . . 250μs CongruenceByPairs 004: (cong) trivial congruence on finite s [...] . . . 201μ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 [...] . . . 671μs CongruenceByPairs 009: (cong) 2-sided congruence on finite s [...] . . . 742ms CongruenceByPairs 010: (cong) left congruence on big finite [...] . . . 29ms CongruenceByPairs 011: (cong) left congruence on TCE . . . 174μs CongruenceByPairs 012: (cong) is_quotient_obviously_finite . . . 97μs CongruenceByPairs 013: (cong) class_index_to_word/quotient . . .  -- with right congruence 9852μs  -- with left congruence 1118μs  -- with 2-sided congruence 6109μs CongruenceByPairs 014: (cong) const_word_to_class_index . . .  -- with right congruence 39μs  -- with left congruence 32μs  -- with 2-sided congruence 28μs CongruenceByPairs 015: (cong) size non-Element* . . . 26ms CongruenceInterface 000: add_pair . . .  -- with ToddCoxeter 81μs  -- with KnuthBendix 132μs  -- with CongruenceByPairs 120μs  -- with Congruence 420μs CongruenceInterface 001: contains/const_contains . . .  -- with ToddCoxeter and no parent 120μs  -- with KnuthBendix and no parent 137μs  -- with Congruence and parent 396μs  -- with CongruenceByPairs and parent 102μs CongruenceInterface 002: less . . .  -- with ToddCoxeter 94μs  -- with KnuthBendix 143μs  -- with CongruenceByPairs 109μs  -- with Congruence 389μs CongruenceInterface 003: is_quotient_obviously_(in)finite . . .  -- with ToddCoxeter 64μs  -- with KnuthBendix 110μs CongruenceInterface 004: is_quotient_obviously_(in)finite . . .  -- with CongruenceByPairs 115μs  -- with Congruence 339μs CongruenceInterface 005: parent_froidure_pin . . .  -- with ToddCoxeter 31μs  -- with KnuthBendix 21μs CongruenceInterface 006: parent_froidure_pin . . .  -- with CongruenceByPairs 106μs  -- with Congruence 335μs CongruenceInterface 007: cbegin/cend_ntc . . .  -- with ToddCoxeter 270μs  -- with KnuthBendix 1177μs CongruenceInterface 008: cbegin/cend_ntc . . .  -- with CongruenceByPairs 223μs  -- with Congruence 469μs CongruenceInterface 009: quotient is immutable . . .  -- with ToddCoxeter 90μs  -- with KnuthBendix 113μs  -- with Congruence 295μs CongruenceInterface 010: no generating pairs added . . .  -- with KnuthBendix and common behaviour 4654μs  -- with Congruence and common behaviour 4864μs  -- with ToddCoxeter 69μs CongruenceInterface 011: nr generators not set . . .  -- with ToddCoxeter 98μs  -- with KnuthBendix 85μs  -- with Congruence 87μs CongruenceInterface 012: no generating pairs . . . 165μs ConstIteratorStateless 001: ? . . . 12μs ConstIteratorStateless 002: ? . . . 12μs Constants 001: Undefined . . . 23μs Constants 002: PositiveInfinity . . . 19μs Constants 003: NegativeInfinity . . . 17μs Constants 004: LimitMax . . . 16μs Duf 004: unite . . . 36μs Duf 006: compress . . . 17μs Duf 008: resize . . . 21μs Duf 009: resize . . . 15μs Duf 010: big chain . . . 20ms Duf 012: empty table . . . 13μs Duf 014: join . . . 15μs Duf 016: contains . . . 29μs Duf 018: swap . . . 30μs DynamicArray2 001: default constructor with 3 default args . . . 11μs DynamicArray2 002: default constructor with 2 default args . . . 12μs DynamicArray2 003: default constructor with 1 default args . . . 21μs DynamicArray2 004: default constructor with 0 default args . . . 15μs DynamicArray2 005: copy constructor with 1 default args . . . 19μs DynamicArray2 006: copy constructor with 0 default args . . . 16μs DynamicArray2 007: add_rows . . . 17μs DynamicArray2 008: add_rows . . . 14μs DynamicArray2 009: add_cols . . . 28μs DynamicArray2 010: set/get . . . 41μs DynamicArray2 011: append 1/2 . . . 88μs DynamicArray2 012: append 2/2 . . . 189μs DynamicArray2 013: count . . . 18μs DynamicArray2 014: clear . . . 12μs DynamicArray2 015: begin_row and end_row . . . 62μs DynamicArray2 016: cbegin_row and cend_row . . . 28μs DynamicArray2 017: iterator operator++ (postfix) . . . 270μs DynamicArray2 018: iterator operator++ (prefix) . . . 1695μs DynamicArray2 019: iterator operator-- (postfix) . . . 346μs DynamicArray2 020: iterator operator-- (prefix) . . . 344μs DynamicArray2 021: operator= . . . 18μs DynamicArray2 022: operator== and operator!= . . . 266μs DynamicArray2 023: empty and clear . . . 18μs DynamicArray2 024: max_size . . . 11μs DynamicArray2 025: swap . . . 45μs DynamicArray2 026: iterator arithmetic . . . 1490μs DynamicArray2 027: iterator comparison . . . 15μs DynamicArray2 028: iterator operator= . . . 14μs DynamicArray2 029: iterator operator[] . . . 81μs DynamicArray2 030: iterator operator-> . . . 27μs DynamicArray2 031: const_iterator operator++/-- . . . 227μs DynamicArray2 032: const_iterator operator++/-- . . . 11μs DynamicArray2 033: column iterators . . . 28μs DynamicArray2 034: column iterator arithmetic . . . 5982μs DynamicArray2 035: iterator assignment constructor . . . 1707μs DynamicArray2 036: reserve method . . . 61μs DynamicArray2 037: erase column . . . 18μs DynamicArray2 038: swap_rows . . . 14μs DynamicArray2 039: apply_row_permutation . . . 32μs DynamicArray2 040: swap . . . 14μs DynamicArray2 041: shrink_rows_to . . . 17μs DynamicArray2 042: shrink_rows_to - for range . . . 25μs FastestBMat 046: check no throw . . . 22μs FelschTree 000: previously failing example . . . 32μs Forest 001: test forest . . . 76μs FpSemigroup 001: Renner monoid type B2 (E. G. presentation), q = 1 . . . 875μs FpSemigroup 002: Renner monoid type B2 (E. G. presentation), q = 0 . . . 816μs FpSemigroup 003: Renner monoid type B3 (E. G. presentation), q = 1 . . . 63ms FpSemigroup 004: Renner monoid type B3 (E. G. presentation), q = 0 . . . 62ms FpSemigroup 005: Renner monoid type B2 (Gay-Hivert presentat [...] . . . 801μs FpSemigroup 006: Renner monoid type B2 (Gay-Hivert presentat [...] . . . 830μs FpSemigroup 007: Renner monoid type B3 (Gay-Hivert presentat [...] . . . 4362μs FpSemigroup 008: Renner monoid type B3 (Gay-Hivert presentat [...] . . . 4733μs FpSemigroup 009: Renner monoid type B4 (Gay-Hivert presentat [...] . . . 337ms FpSemigroup 010: Renner monoid type B4 (Gay-Hivert presentat [...] . . . 589ms FpSemigroup 013: Renner monoid type D2 (E. G. presentation), q = 1 . . . 1426μs FpSemigroup 014: Renner monoid type D2 (E. G. presentation), q = 0 . . . 1518μs FpSemigroup 015: Renner monoid type D3 (E. G. presentation), q = 1 . . . 7133μs FpSemigroup 016: Renner monoid type D3 (E. G. presentation), q = 0 . . . 6506μs FpSemigroup 017: Renner monoid type D4 (E. G. presentation), q = 1 . . . 760ms FpSemigroup 018: Renner monoid type D4 (E. G. presentation), q = 0 . . . 796ms FpSemigroup 019: Renner monoid type D2 (Gay-Hivert presentat [...] . . . 1774μs FpSemigroup 020: Renner monoid type D2 (Gay-Hivert presentat [...] . . . 1789μs FpSemigroup 021: Renner monoid type D3 (Gay-Hivert presentat [...] . . . 6945μs FpSemigroup 022: Renner monoid type D3 (Gay-Hivert presentat [...] . . . 5686μs FpSemigroup 023: Renner monoid type D4 (Gay-Hivert presentat [...] . . . 133ms FpSemigroup 024: Renner monoid type D4 (Gay-Hivert presentat [...] . . . 141ms FpSemigroup 029: Rook monoid R5, q = 0 . . . 8934μs FpSemigroup 030: Rook monoid R5, q = 1 . . . 6993μs FpSemigroup 031: Rook monoid R6, q = 0 . . . 63ms FpSemigroup 032: Rook monoid R6, q = 1 . . . 69ms FpSemigroup 033: normal_form . . . 458μs FpSemigroup 034: for a finite semigroup . . . 1076μs FpSemigroup 035: finite fp semigroup, dihedral group of order 6 . . . 831μs FpSemigroup 036: finite fp semigroup, size 16 . . . 1110μs FpSemigroup 037: finite fp semigroup, size 16 . . . 1869μs FpSemigroup 038: fp semigroup, size 240 . . . 1433μs FpSemigroup 039: add_rule . . . 509μs FpSemigroup 040: add_rule . . . 305μs FpSemigroup 041: equal_to . . . 497μs FpSemigroup 042: cbegin/cend_rules . . . 126μs FpSemigroup 043: semigroup of size 3 . . . 760μs FpSemigroup 044: run_for/until . . . 3758μs FpSemigroup 045: constructors . . . 494μs FpSemigroup 046: set_inverses . . . 319μs FpSemigroup 047: smalloverlap . . . 16ms FpSemigroup 048: quaternion group Q8 . . . 807μs FpSemigroup 049: symmetric group Coxeter presentation . . . 26ms FpSemigroupByPairs 029: (fpsemi) 2-sided congruence on finit [...] . . . 935μs FpSemigroupByPairs 030: (fpsemi) 2-sided congruence on finit [...] . . . 882μs FpSemigroupInterface 000: run with no alphabet . . .  -- with ToddCoxeter 128μs  -- with KnuthBendix 60μs  -- with FpSemigroup 72μs FpSemigroupInterface 001: equal_to . . .  -- with ToddCoxeter and human readable alphabet 3386μs  -- with KnuthBendix and human readable alphabet 7767μs  -- with FpSemigroup and human readable alphabet 7601μs  -- with FpSemigroupByPairs 5157μs FpSemigroupInterface 002: normal_form . . .  -- with ToddCoxeter 345μs  -- with KnuthBendix 418μs  -- with FpSemigroup 919μs FpSemigroupInterface 003: set_alphabet (1/2) . . .  -- with ToddCoxeter 179μs  -- with KnuthBendix 138μs  -- with FpSemigroup 154μs FpSemigroupInterface 004: set_alphabet (2/2) . . . 1608μs FpSemigroupInterface 005: add_rule after finished . . .  -- with ToddCoxeter and human readable alphabet 241μs  -- with KnuthBendix and human readable alphabet 319μs  -- with FpSemigroup and human readable alphabet 690μs  -- with FpSemigroupByPairs 1561μs FpSemigroupInterface 006: add_rule with equal words (1/2) . . .  -- with ToddCoxeter and human readable alphabet 346μs  -- with KnuthBendix and human readable alphabet 477μs  -- with FpSemigroup and human readable alphabet 630μs  -- with FpSemigroupByPairs 330μs FpSemigroupInterface 007: add_rule with equal words (2/2) . . .  -- with ToddCoxeter 53μs  -- with KnuthBendix 43μs  -- with FpSemigroup 56μs FpSemigroupInterface 008: add_rule with word_type . . .  -- with ToddCoxeter 101μs  -- with KnuthBendix 81μs  -- with FpSemigroup 174μs FpSemigroupInterface 009: add_rule with empty word (1/2) . . .  -- with ToddCoxeter 76μs  -- with FpSemigroup 77μs FpSemigroupInterface 010: add_rule with empty word (1/2) . . . 33μs FpSemigroupInterface 011: add_rules (1/3) . . .  -- with ToddCoxeter 101μs  -- with KnuthBendix 73μs  -- with FpSemigroup 81μs FpSemigroupInterface 012: add_rules (2/3) . . . 680μs FpSemigroupInterface 013: add_rules (3/3) . . .  -- with ToddCoxeter 59μs  -- with KnuthBendix 49μs  -- with FpSemigroup 146μs FpSemigroupInterface 014: set_identity (1/3) . . .  -- with ToddCoxeter 189μs  -- with KnuthBendix 171μs  -- with FpSemigroup 308μs FpSemigroupInterface 015: set_identity (2/3) . . . 431μs FpSemigroupInterface 016: set_identity (3/3) . . .  -- with ToddCoxeter 131μs  -- with KnuthBendix 115μs  -- with FpSemigroup 224μs FpSemigroupInterface 017: identity . . .  -- with ToddCoxeter 64μs  -- with KnuthBendix 47μs  -- with FpSemigroup 60μs FpSemigroupInterface 018: set_inverses + inverses (1/2) . . .  -- with ToddCoxeter 257μs  -- with KnuthBendix 247μs  -- with FpSemigroup 407μs FpSemigroupInterface 019: set_inverses + inverses (2/2) . . . 556μs FpSemigroupInterface 020: is_obviously_infinite (1/2) . . .  -- with ToddCoxeter 327μs  -- with KnuthBendix 329μs  -- with FpSemigroup 706μs FpSemigroupInterface 021: is_obviously_infinite (2/2) . . . 74μs FpSemigroupInterface 022: is_obviously_finite (1/2) . . .  -- with ToddCoxeter 257μs  -- with KnuthBendix 305μs  -- with FpSemigroup 693μs FpSemigroupInterface 023: is_obviously_finite (2/2) . . . 68μs FpSemigroupInterface 024: to_gap_string (1/3) . . .  -- with ToddCoxeter 61μs  -- with KnuthBendix 49μs  -- with FpSemigroup 150μs FpSemigroupInterface 025: to_gap_string (2/3) . . . 37μs FpSemigroupInterface 026: to_gap_string (3/3) . . . 60μs FroidurePin 016: (BMat8) exception zero generators given . . . 41μs FroidurePin 017: (BMat8) exception word_to_element . . . 164μs FroidurePin 018: (BMat8) exception prefix . . . 3800μs FroidurePin 019: (BMat8) exception suffix . . . 46μs FroidurePin 020: (BMat8) exception first_letter . . . 3802μs FroidurePin 021: (BMat8) exception final_letter . . . 46μs FroidurePin 022: (BMat8) exception current_length . . . 3720μs FroidurePin 023: (BMat8) exception product_by_reduction . . . 3009μs FroidurePin 024: (BMat8) exception fast_product . . . 2947μ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 . . . 71μs FroidurePin 031: (integers) . . . 164μs FroidurePin 039: (pairs of integers) non-trivial user type . . . 39μs FroidurePin 055: (tropical max-plus semiring matrices) . . . 287μs FroidurePin 061: projective max plus matrix . . . 1043μs FroidurePin 062: projective max plus matrix . . . 37μs FroidurePin> 009: small example 2 . . . 55μs FroidurePin> 005: small example 1 . . . 144μs FroidurePin> 007: regular bmat monoid 4 . . . 63ms FroidurePin> 011: small example 3 . . . 513μs FroidurePin> 006: small example 1 . . . 158μs FroidurePin> 008: regular bmat monoid 4 . . . 80ms FroidurePin> 010: small example 2 . . . 43μs FroidurePin> 012: small example 3 . . . 662μs FroidurePin 000: small example 1 . . . 186μs FroidurePin 001: default constructed . . . 136μs FroidurePin 002: small example 2 . . . 52μs FroidurePin 004: exception: is_idempotent . . . 168μs FroidurePin> 033: Example 000 . . . 2904μs FroidurePin> 035: Example 001 . . . 44μs FroidurePin> 032: Example 000 . . . 1416μs FroidurePin> 034: Example 001 . . . 54μs FroidurePin 036: exception: current_position . . . 129μs FroidurePin 037: exception: word_to_element . . . 70μs FroidurePin 038: exception: prefix, suffix, first_letter . . . 22ms FroidurePin> 040: Example 000 . . . 88μs FroidurePin> 041: Example 000 . . . 68μs FroidurePin> 046: Example 005 . . . 162μs FroidurePin> 047: Example 005 . . . 170μs FroidurePin> 048: Example 005 . . . 173μs FroidurePin> 044: Example 004 . . . 40μs FroidurePin> 045: Example 004 . . . 37μs FroidurePin> 049: Example 006 . . . 944μs FroidurePin> 050: Example 006 . . . 1199μs FroidurePin> 051: Example 006 . . . 1191μs FroidurePin> 052: Example 007 . . . 128μs FroidurePin> 053: Example 007 . . . 145μs FroidurePin> 054: Example 007 . . . 152μs FroidurePin 056: example 1 . . . 199μs FroidurePin 057: example 2 . . . 169μs FroidurePin> 058: . . . 628μs FroidurePin> 059: . . . 53μs FroidurePin> 060: exceptions: add_generator(s) . . . 59μs FroidurePin> 065: no exception zero generators given . . . 25μs FroidurePin> 066: exception generators of different [...] . . . 78μs FroidurePin> 067: exception current_position . . . 48μs FroidurePin> 068: exception word_to_element . . . 48μs FroidurePin> 069: exception gens . . . 541μs FroidurePin> 070: exception prefix . . . 21ms FroidurePin> 071: exception suffix . . . 50ms FroidurePin> 072: exception first_letter . . . 51μs FroidurePin> 073: exception final_letter . . . 45μs FroidurePin> 074: exception current_length . . . 42μs FroidurePin> 075: exception product_by_reduction . . . 380μs FroidurePin> 076: exception fast_product . . . 431μs FroidurePin> 077: exception current_position . . . 541μs FroidurePin> 078: exception is_idempotent . . . 597μs FroidurePin> 079: exception add_generators . . . 42μs FroidurePin> 080: multithread number_of_idempotents . . . 444μs FroidurePin> 081: small semigroup . . . 28μs FroidurePin> 082: large semigroup . . . 6374μs FroidurePin> 083: at, position, current_* . . . 6425μs FroidurePin> 084: run . . . 6139μs FroidurePin> 085: run [many stops and starts] . . . 6216μs FroidurePin> 086: factorisation, length [1 element] . . . 6062μs FroidurePin> 087: factorisation, products [all elements] . . . 8135μs FroidurePin> 088: first/final letter, prefix, suffi [...] . . . 6086μs FroidurePin> 089: current_position [standard] . . . 27μs FroidurePin> 090: current_position [duplicate gens] . . . 12ms FroidurePin> 091: current_position [after add_generators] . . . 7194μs FroidurePin> 092: cbegin_idempotents/cend [1 thread] . . . 7196μs FroidurePin> 093: idempotent_cend/cbegin [1 thread] . . . 6841μs FroidurePin> 094: is_idempotent [1 thread] . . . 6417μs FroidurePin> 096: finished, started . . . 6117μs FroidurePin> 097: current_position . . . 1420μs FroidurePin> 098: sorted_position, sorted_at . . . 7848μs FroidurePin> 099: right/left Cayley graph . . . 33ms FroidurePin> 100: iterator . . . 10ms FroidurePin> 101: reverse iterator . . . 10ms FroidurePin> 102: iterator arithmetic . . . 33ms FroidurePin> 103: iterator sorted . . . 26ms FroidurePin> 104: iterator sorted arithmetic . . . 36ms FroidurePin> 105: copy [not enumerated] . . . 6357μs FroidurePin> 106: copy_closure [not enumerated] . . . 39ms FroidurePin> 107: copy_add_generators [not enumerated] . . . 36ms FroidurePin> 108: copy [partly enumerated] . . . 6785μs FroidurePin> 109: copy_closure [partly enumerated] . . . 10ms FroidurePin> 110: copy_add_generators [partly enumerated] . . . 6873μs FroidurePin> 111: copy [fully enumerated] . . . 9296μs FroidurePin> 112: copy_closure [fully enumerated] . . . 10ms FroidurePin> 113: copy_add_generators [fully enumerated] . . . 9645μs FroidurePin> 114: relations [duplicate gens] . . . 195μs FroidurePin> 115: relations . . . 8810μs FroidurePin> 116: relations [copy_closure, duplicat [...] . . . 11ms FroidurePin> 117: relations [copy_add_generators, d [...] . . . 11ms FroidurePin> 118: relations [from copy, not enumerated] . . . 7431μ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 [...] . . . 7468μs FroidurePin> 123: relations [from copy_closure, par [...] . . . 11ms FroidurePin> 124: relations [from copy_add_generato [...] . . . 9161μs FroidurePin> 125: relations [from copy_closure, ful [...] . . . 13ms FroidurePin> 126: relations [from copy_add_generato [...] . . . 11ms FroidurePin> 127: add_generators [duplicate generators] . . . 334μs FroidurePin> 128: add_generators [incremental 1] . . . 411μs FroidurePin> 129: add_generators [incremental 2] . . . 468μs FroidurePin> 130: closure [duplicate generators] . . . 232μs FroidurePin> 131: closure . . . 101μs FroidurePin> 132: factorisation . . . 25μs FroidurePin> 134: minimal_factorisation . . . 44μs FroidurePin> 135: batch_size (for an extremely larg [...] . . . 24μs FroidurePin> 137: exception: generators of differen [...] . . . 28μs FroidurePin> 138: exception: current_position . . . 44μs FroidurePin> 139: exception: word_to_element . . . 44μs FroidurePin> 140: exception: gens, current_position . . . 710μs FroidurePin> 141: exception: add_generators . . . 33μs KBE 000: constructors . . . 50μs KBE 001: test . . . 73μs KBE 002: factorisation . . . 49μs KBE 003: swap . . . 33μs KBE 004: adapters . . . 32μs KBE 005: conversions . . . 31μs Kambites 000: (fpsemi) MT test 4 (std::string) . . . 6378μs Kambites 001: (fpsemi) MT test 4 (MultiStringView) . . . 7622μs Kambites 002: (fpsemi) number_of_pieces (std::string) . . . 120μs Kambites 003: (fpsemi) number_of_pieces (MultiStringView) . . . 114μs Kambites 004: (fpsemi) small_overlap_class (std::string) . . . 3681μs Kambites 005: (fpsemi) small_overlap_class (MultiStringView) . . . 3687μs Kambites 006: (fpsemi) random (std::string) . . . 10ms Kambites 007: (fpsemi) random (MultiStringView) . . . 10ms Kambites 008: (fpsemi) KnuthBendix 055 (std::string) . . . 16ms Kambites 009: (fpsemi) KnuthBendix 055 (MultiStringView) . . . 19ms Kambites 010: (fpsemi) smalloverlap/gap/test.gi:85 (std::string) . . . 85μs Kambites 011: (fpsemi) smalloverlap/gap/test.gi:85 (MultiStr [...] . . . 80μs Kambites 012: (fpsemi) free semigroup . . . 13μs Kambites 013: (fpsemi) smalloverlap/gap/test.gi:49 (std::string) . . . 34ms Kambites 014: (fpsemi) smalloverlap/gap/test.gi:49 (MultiStr [...] . . . 50ms Kambites 015: (fpsemi) smalloverlap/gap/test.gi:63 (std::string) . . . 38ms Kambites 016: (fpsemi) smalloverlap/gap/test.gi:63 (MultiStr [...] . . . 57ms Kambites 017: (fpsemi) smalloverlap/gap/test.gi:70 (std::string) . . . 138ms Kambites 018: (fpsemi) smalloverlap/gap/test.gi:70 (MultiStr [...] . . . 212ms Kambites 021: (fpsemi) code coverage (std::string) . . . 79μs Kambites 022: (fpsemi) code coverage (MultiStringView) . . . 48μs Kambites 023: (fpsemi) prefix (std::string) . . . 83μs Kambites 024: (fpsemi) prefix (MultiStringView) . . . 125μs Kambites 025: (fpsemi) normal_form (Example 3.15) (std::string) . . . 80μs Kambites 026: (fpsemi) normal_form (Example 3.15) (MultiStri [...] . . . 121μs Kambites 027: (fpsemi) normal_form (Example 3.16) (std::string) . . . 58μ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) . . . 90μs Kambites 032: (fpsemi) small presentation (MultiStringView) . . . 52μs Kambites 033: (fpsemi) non-smalloverlap (std::string) . . . 72μs Kambites 034: (fpsemi) non-smalloverlap (MultiStringView) . . . 72μs Kambites 035: (fpsemi) MT test 3 (std::string) . . . 58μs Kambites 036: (fpsemi) MT test 3 (MultiStringView) . . . 58μs Kambites 037: (fpsemi) MT test 5 (std::string) . . . 32μs Kambites 038: (fpsemi) MT test 5 (MultiStringView) . . . 33μs Kambites 039: (fpsemi) MT test 6 (std::string) . . . 44μs Kambites 040: (fpsemi) MT test 6 (MultiStringView) . . . 61μs Kambites 041: (fpsemi) MT test 10 (std::string) . . . 40μs Kambites 042: (fpsemi) MT test 10 (MultiStringView) . . . 52μs Kambites 043: (fpsemi) MT test 13 (std::string) . . . 36μs Kambites 044: (fpsemi) MT test 13 (MultiStringView) . . . 34μs Kambites 045: (fpsemi) MT test 14 (std::string) . . . 30μs Kambites 046: (fpsemi) MT test 14 (MultiStringView) . . . 33μs Kambites 047: (fpsemi) MT test 15 (std::string) . . . 59μs Kambites 048: (fpsemi) MT test 15 (MultiStringView) . . . 59μ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) . . . 120μs Kambites 052: (fpsemi) MT test 17 (MultiStringView) . . . 116μs Kambites 053: (fpsemi) weak C(4) not strong x 1 (std::string) . . . 602μs Kambites 054: (fpsemi) weak C(4) not strong x 1 (MultiStringView) . . . 853μs Kambites 055: (fpsemi) weak C(4) not strong x 2 (std::string) . . . 593μs Kambites 056: (fpsemi) weak C(4) not strong x 2 (MultiStringView) . . . 872μs Kambites 057: (fpsemi) weak C(4) not strong x 3 (std::string) . . . 561μs Kambites 058: (fpsemi) weak C(4) not strong x 3 (MultiStringView) . . . 602μs Kambites 059: (fpsemi) weak C(4) not strong x 4 (std::string) . . . 88μ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) . . . 31μ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) . . . 55μs Kambites 064: (fpsemi) weak C(4) not strong x 6 (MultiStringView) . . . 60μs Kambites 065: (fpsemi) Konovalov example (std::string) . . . 39μs Kambites 066: (fpsemi) Konovalov example (MultiStringView) . . . 35μs Kambites 067: (fpsemi) long words (std::string) . . . 774ms Kambites 068: (fpsemi) long words (MultiStringView) . . . 63ms Kambites 075: (cong) example 1 . . . 56μs Kambites 076: (cong) example 2 . . . 137μs Kambites 077: (cong) code coverage . . . 6635μs Kambites 078: (cong) large number of rules . . . 246ms KnuthBendix 000: (fpsemi) confluent fp semigroup 1 (infinite) . . . 138μs KnuthBendix 001: (fpsemi) confluent fp semigroup 2 (infinite) . . . 134μs KnuthBendix 002: (fpsemi) confluent fp semigroup 3 (infinite) . . . 93μs KnuthBendix 003: (fpsemi) non-confluent fp semigroup from wi [...] . . . 150μs KnuthBendix 004: (fpsemi) Example 5.1 in Sims (infinite) . . . 125μs KnuthBendix 005: (fpsemi) Example 5.1 in Sims (infinite) . . . 116μs KnuthBendix 006: (fpsemi) Example 5.3 in Sims . . . 107μs KnuthBendix 007: (fpsemi) Example 5.4 in Sims . . . 121μs KnuthBendix 008: (fpsemi) Example 6.4 in Sims (size 168) . . . 8018μs KnuthBendix 009: (fpsemi) . . . 50ms KnuthBendix 010: (fpsemi) SL(2, 7) from Chapter 3, Propositi [...] . . . 80ms KnuthBendix 011: (fpsemi) F(2, 5) - Chapter 9, Section 1 in [...] . . . 421μs KnuthBendix 012: (fpsemi) Reinis example 1 . . . 259μs KnuthBendix 013: redundant_rule (std::string) . . . 100ms KnuthBendix 014: redundant_rule (word_type) . . . 10ms KnuthBendix 019: (fpsemi) C(4) monoid . . . 40μs KnuthBendix 020: (cong) Chinese monoid . . . 137μs KnuthBendix 021: (from kbmag/standalone/kb_data/f25monoid) . . . 508μs KnuthBendix 022: (from kbmag/standalone/kb_data/degen4a) . . . 51ms KnuthBendix 023: (from kbmag/standalone/kb_data/torus) . . . 3434μs KnuthBendix 024: (from kbmag/standalone/kb_data/3a6) . . . 250ms KnuthBendix 025: (from kbmag/standalone/kb_data/f2) . . . 55μs KnuthBendix 026: (from kbmag/standalone/kb_data/s16) . . . 66ms KnuthBendix 027: (from kbmag/standalone/kb_data/a4monoid) . . . 60μs KnuthBendix 028: (from kbmag/standalone/kb_data/degen3) . . . 24μs KnuthBendix 029: (from kbmag/standalone/kb_data/ab1) . . . 43μs KnuthBendix 030: (from kbmag/standalone/kb_data/degen2) . . . 18μs KnuthBendix 031: (from kbmag/standalone/kb_data/f25) . . . 435μs KnuthBendix 032: (from kbmag/standalone/kb_data/237) . . . 563μs KnuthBendix 033: (from kbmag/standalone/kb_data/c2) . . . 19μs KnuthBendix 034: (from kbmag/standalone/kb_data/cosets) . . . 212μs KnuthBendix 035: Example 5.1 in Sims (KnuthBendix 09 again) . . . 48μs KnuthBendix 036: (from kbmag/standalone/kb_data/nilp2) . . . 40μs KnuthBendix 037: Example 6.4 in Sims . . . 13ms KnuthBendix 038: KnuthBendix 071 again . . . 629μs KnuthBendix 039: Example 5.4 in Sims (KnuthBendix 11 again) [...] . . . 186μs KnuthBendix 040: Example 5.4 in Sims (KnuthBendix 11 again) [...] . . . 125μs KnuthBendix 041: operator<< . . . 53μs KnuthBendix 042: confluence_interval . . . 16μs KnuthBendix 043: max_overlap . . . 16μs KnuthBendix 044: (fpsemi) (from kbmag/standalone/kb_data/d22 [...] . . . 1193μs KnuthBendix 045: (fpsemi) (from kbmag/standalone/kb_data/d22 [...] . . . 2287μs KnuthBendix 046: (fpsemi) small example . . . 747μs KnuthBendix 047: code coverage . . . 62μs KnuthBendix 048: small overlap 1 . . . 52μs KnuthBendix 049: (from kbmag/standalone/kb_data/s9) . . . 1470μs KnuthBendix 050: (fpsemi) Chapter 11, Lemma 1.8 (q = 6, r = [...] . . . 635μs KnuthBendix 051: (fpsemi) Chapter 11, Section 2 (q = 6, r = [...] . . . 129μs KnuthBendix 052: (fpsemi) Chapter 8, Theorem 4.2 in NR (infinite) . . . 230μs KnuthBendix 053: (fpsemi) equal_to fp semigroup . . . 63μs KnuthBendix 054: (fpsemi) equal_to free semigroup . . . 60μs KnuthBendix 055: (fpsemi) from GAP smalloverlap gap/test.gi [...] . . . 440μs KnuthBendix 056: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 719μs KnuthBendix 057: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 723μs KnuthBendix 058: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 2119μs KnuthBendix 059: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 4937μs KnuthBendix 060: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 34μs KnuthBendix 061: (fpsemi) Von Dyck (2,3,7) group (infinite) . . . 519μs KnuthBendix 062: (fpsemi) Von Dyck (2,3,7) group - different [...] . . . 4487μs KnuthBendix 063: (fpsemi) rewriting system from KnuthBendixC [...] . . . 379μs KnuthBendix 064: (fpsemi) rewriting system from Congruence 20 . . . 33μs KnuthBendix 065: (fpsemi) (from kbmag/standalone/kb_data/ab2) . . . 94μs KnuthBendix 066: (fpsemi) (from kbmag/standalone/kb_data/d22 [...] . . . 1268μs KnuthBendix 067: (fpsemi) (from kbmag/standalone/kb_data/degen1) . . . 46μs KnuthBendix 068: (fpsemi) (from kbmag/standalone/kb_data/s4) . . . 323μs KnuthBendix 069: (fpsemi) fp semigroup (infinite) . . . 64μs KnuthBendix 070: (fpsemi) Chapter 11, Section 1 (q = 4, r = [...] . . . 1752μs KnuthBendix 071: (fpsemi) Chapter 11, Section 1 (q = 8, r = [...] . . . 104ms KnuthBendix 072: (fpsemi) Chapter 7, Theorem 3.9 in NR (size 240) . . . 3344μs KnuthBendix 073: (fpsemi) F(2, 5) - Chapter 9, Section 1 in [...] . . . 445μs KnuthBendix 074: (fpsemi) F(2, 6) - Chapter 9, Section 1 in NR . . . 434μs KnuthBendix 075: (fpsemi) Chapter 10, Section 4 in NR (infinite) . . . 843μs KnuthBendix 076: (fpsemi) Sym(5) from Chapter 3, Proposition [...] . . . 2855μs KnuthBendix 077: (fpsemi) SL(2, 7) from Chapter 3, Propositi [...] . . . 79ms KnuthBendix 078: (fpsemi) bicyclic monoid (infinite) . . . 52μs KnuthBendix 079: (fpsemi) plactic monoid of degree 2 (infinite) . . . 77μs KnuthBendix 080: (fpsemi) example before Chapter 7, Proposit [...] . . . 46μs KnuthBendix 081: (fpsemi) Chapter 7, Theorem 3.6 in NR (size 243) . . . 814μs KnuthBendix 082: (fpsemi) finite semigroup (size 99) . . . 255μs KnuthBendix 096: Sorouhesh . . . 389μs KnuthBendix 097: (fpsemi) transformation semigroup (size 4) . . . 68μs KnuthBendix 098: (fpsemi) transformation semigroup (size 9) . . . 58μs KnuthBendix 099: (fpsemi) transformation semigroup (size 88) . . . 758μs KnuthBendix 100: internal_string_to_word . . . 40μs KnuthBendix 101: (fpsemi) construct from shared_ptr . . . 764μs KnuthBendix 102: internal_string_to_word . . . 752μs KnuthBendix 103: (cong) free semigroup congruence (5 classes) . . . 73μs KnuthBendix 104: free semigroup congruence (6 classes) . . . 254μs KnuthBendix 105: (cong) free semigroup congruence (16 classes) . . . 309μs KnuthBendix 106: (cong) free semigroup congruence (6 classes) . . . 432μs KnuthBendix 107: (cong) free semigroup congruence (240 classes) . . . 3296μs KnuthBendix 108: (cong) free semigroup congruence (240 classes) . . . 3318μs KnuthBendix 109: (cong) less . . . 3916μs KnuthBendix 110: (cong) less . . . 184ms KnuthBendix 111: (cong) constructors . . . 263ms KnuthBendix 112: (cong) const_contains/contains . . . 180μs KnuthBendix 113: (cong) is_quotient_obviously_finite . . . 22μs KnuthBendix 114: (cong) class_index_to_word . . . 196μs KnuthBendix 115: (cong) quotient_froidure_pin . . . 141μs KnuthBendix 116: (cong) set_number_of_generators . . . 28μs KnuthBendix 117: (cong) number of classes when obv-inf . . . 59μs KnuthBendixCongruenceByPairs 016: non-trivial congruence on [...] . . . 197μs KnuthBendixCongruenceByPairs 017: non-trivial congruence on [...] . . . 179μs KnuthBendixCongruenceByPairs 018: non-trivial congruence on [...] . . . 265μs KnuthBendixCongruenceByPairs 019: non-trivial congruence on [...] . . . 265μs KnuthBendixCongruenceByPairs 020: trivial congruence on a fi [...] . . . 198μs KnuthBendixCongruenceByPairs 021: universal congruence on a [...] . . . 554μs KnuthBendixCongruenceByPairs 022: left congruence on a finit [...] . . . 287μs KnuthBendixCongruenceByPairs 023: finite group, Chapter 11, [...] . . . 4398μs KnuthBendixCongruenceByPairs 024: right congruence on infini [...] . . . 289μs KnuthBendixCongruenceByPairs 025: finite fp semigroup, dihed [...] . . . 309μs KnuthBendixCongruenceByPairs 026: finite fp semigroup, size 16 . . . 332μs KnuthBendixCongruenceByPairs 027: finite fp semigroup, size 16 . . . 969μs KnuthBendixCongruenceByPairs 028: infinite fp semigroup with [...] . . . 75μs Konieczny 000: test000> . . . 1152μs Konieczny 001: test000> . . . 765μs Konieczny 002: test001> . . . 12ms Konieczny 003: test001> . . . 8436μs Konieczny 006: exceptions . . . 53μs Konieczny 007: code coverage . . . 16ms Konieczny 008: code coverage . . . 10ms Konieczny 009: regular elements and idempotents . . .  Konieczny 010: regular D-class 01 . . . 1558μs Konieczny 011: regular D-class 02 . . . 26ms Konieczny 012: regular D-class 04: contains . . . 1971ms Konieczny 013: non-regular D-classes 01 . . . 1611μs Konieczny 014: RegularDClass . . . 964μs Konieczny 015: full bmat monoid 4 . . . 260ms Konieczny 017: regular generated bmat monoid 4 idempotents . . . 257ms Konieczny 019: my favourite example . . . 132ms Konieczny 020: another large example . . . 26ms Konieczny 021: my favourite example transposed . . . 198ms Konieczny 024: exceptions . . . 1642μs Konieczny 025: 0-parameter constructor . . . 30ms Konieczny 026: non-regular D-classes 02 . . . 26ms Konieczny 028: partial perm . . . 166ms Konieczny 029: symmetric inverse monoid n = 8 . . . 28ms Konieczny 030: exceptions . . . 211ms Konieczny 031: transformations . . . 960μs Konieczny 032: transformations - JDM favourite example . . . 122ms Konieczny 033: transformations - large example . . . 291ms Konieczny 034: transformations - large example with stop . . . 292ms Konieczny 035: transformations - large example with run_until . . . 292ms Konieczny 036: transformations - large example with stop in Action . . . 292ms Konieczny 037: exceptions . . . 48μs Konieczny 038: transformations: contains . . . 605μs Konieczny 040: transformations - destructor coverage . . . 240ms Konieczny 041: current_number_D_classes . . . 242ms Konieczny 042: add_generator . . . 42μs Konieczny 043: add_generator . . . 25μs Matrix 000: BMat<2> . . . 107μs Matrix 001: BMat<> . . . 92μs Matrix 002: BMat<3> + BMat<> . . . 15μs Matrix 003: BMat<2> + BMat<> . . . 13μs Matrix 004: BMat<3> . . . 16μs Matrix 005: BMat<> . . . 15μs Matrix 006: BMat<3> row_basis . . . 52μs Matrix 007: BMat<> row_basis . . . 45μs Matrix 008: IntMat<3> . . . 19μs Matrix 009: IntMat<> . . . 20μs Matrix 010: IntMat code cov . . . 12μs Matrix 011: MaxPlusMat<3> . . . 17μs Matrix 012: MaxPlusMat<> . . . 18μs Matrix 013: MaxPlusMat code cov . . . 9000ns Matrix 014: MinPlusMat<3> . . . 19μs Matrix 015: MinPlusMat<> . . . 22μs Matrix 016: MinPlusMat code cov . . . 9000ns Matrix 017: MaxPlusTruncMat<5, 2> . . . 21μs Matrix 018: MaxPlusTruncMat<5> . . . 22μs Matrix 019: MaxPlusTruncMat<> . . . 34μs Matrix 020: MaxPlusTruncMat<5, 4> . . . 21μs Matrix 021: MaxPlusTruncMat<5> . . . 22μs Matrix 022: MaxPlusTruncMat<> . . . 21μs Matrix 023: MaxPlusTruncMat<33, 3> . . . 35μs Matrix 024: MaxPlusTruncMat<33> . . . 32μs Matrix 025: MaxPlusTruncMat<> . . . 30μs Matrix 026: MaxPlusMat code cov . . . 10μs Matrix 027: MinPlusTruncMat<33, 3> . . . 34μs Matrix 028: MinPlusTruncMat<33> . . . 34μs Matrix 029: MinPlusTruncMat<> . . . 43μs Matrix 030: NTPMat<0, 3, 3, 3> . . . 17μs Matrix 031: NTPMat<0, 3> . . . 18μs Matrix 032: NTPMat<> . . . 37μs Matrix 033: NTPMat<0, 10, 4, 4> . . . 27μs Matrix 034: NTPMat<0, 10> . . . 23μs Matrix 035: NTPMat<> . . . 29μs Matrix 036: NTPMat<0, 10, 4, 4> . . . 21μs Matrix 037: NTPMat<0, 10> . . . 20μs Matrix 038: NTPMat<> . . . 21μs Matrix 039: NTPMat<33, 2, 3, 3> . . . 16μs Matrix 040: NTPMat<33, 2> . . . 19μs Matrix 041: NTPMat<> . . . 16μs Matrix 042: ProjMaxPlusMat<3> . . . 78μs Matrix 043: ProjMaxPlusMat<> . . . 69μs Matrix 044: exceptions . . . 37μs Matrix 045: code coverage . . . 40μs MultiStringView 000: catch all . . . 49μs MultiStringView 001: is_prefix . . . 16μs MultiStringView 002: erase . . . 18μs MultiStringView 003: iterators . . . 12μs MultiStringView 004: constructors (long) . . . 24μs MultiStringView 005: constructors (short) . . . 18μs MultiStringView 006: copy assignment (short assigned to long) . . . 15μs MultiStringView 007: copy assignment (short assigned to short) . . . 15μs MultiStringView 008: move assignment (short assigned to long) . . . 15μs MultiStringView 009: move assignment (short assigned to short) . . . 15μs MultiStringView 010: code coverage . . . 22μs MultiStringView 011: pop_front . . . 53μs MultiStringView 012: append . . . 16μs MultiStringView 013: operators . . . 16μs MultiStringView 014: maximum_common_suffix . . . 15μs MultiStringView 015: deep tests . . . 10μs ObviouslyInfinite 011: Multiple rule additions . . . 43μs ObviouslyInfinite 012: A power of the generator 'b' does not [...] . . . 13μs ObviouslyInfinite 013: Preserves the number of occurrences o [...] . . . 13μs ObviouslyInfinite 014: Less relations than generators . . . 12μs ObviouslyInfinite 015: Relations preserve length . . . 13μs ObviouslyInfinite 016: Matrix has non empty kernel . . . 15μs ObviouslyInfinite 017: Free product of trivial semigroups . . . 12μs ObviouslyInfinite 018: Another free product . . . 14μs ObviouslyInfinite 019: Infinite but not obviously so . . . 14μs ObviouslyInfinite 020: Finite semigroup . . . 15μs PBR 001: universal product with convenience constructor . . . 47μs PBR 002: universal product . . . 20μs PBR 003: product [bigger than previous] . . . 29μs PBR 004: hash . . . 11μs PBR 005: delete/copy . . . 19μs PBR 006: exceptions . . . 161μs PBR 007: operators . . . 64μs PBR 008: to_string . . . 21μs PBR 009: identity . . . 42μs PBR 010: adapters . . . 10μs Pool 000: initial . . . 27μs Pool 001: bmat . . . 27μs Pool 002: PoolGuard . . . 23μs Pool 003: transformation products . . . 15μs Presentation 000: vectors of ints . . . 91μs Presentation 001: strings . . . 77μs Presentation 002: constructors (word_type) . . . 24μs Presentation 003: constructors (StaticVector1) . . . 38μs Presentation 004: constructors (std::string) . . . 31μs Presentation 005: alphabet + letters (word_type) . . . 128μs Presentation 006: alphabet + letters (std::string) . . . 41μs Presentation 007: contains_empty_word . . . 14μs Presentation 008: validate_rules throws . . . 46μs Presentation 009: helpers add_rule(s) . . . 90μs Presentation 010: helpers add_rule(s) (std::string) . . . 34μs Presentation 011: helpers add_identity_rules (std::vector/St [...] . . . 45μs Presentation 012: helpers add_identity_rules (std::string) . . . 28μs Presentation 013: helpers add_inverse_rules (all) . . . 183μs Presentation 014: helpers add_inverse_rules (std::string) . . . 47μs Presentation 015: helpers remove_duplicate_rules . . . 63μs Presentation 016: helpers reduce_complements . . . 124μs Presentation 017: helpers sort_each_rule . . . 62μs Presentation 018: helpers sort_rules . . . 68μs Presentation 019: helpers longest_common_subword/replace_subword . . . 287μs Presentation 020: helpers redundant_rule . . . 6635μs Presentation 021: helpers shortlex_compare_concat . . . 13μs Presentation 022: helpers remove_trivial_rules . . . 68μs Presentation 023: helpers replace_subword (existing, replacement) . . . 98μs Presentation 024: helpers longest_rule . . . 110μs Presentation 025: helpers longest_rule_length . . . 95μs Presentation 026: helpers remove_redundant_generators . . . 142μs Presentation 027: helpers reverse . . . 22μs Presentation 028: in_alphabet . . . 29μs Presentation 029: replace_subword with empty word . . . 23μs Presentation 030: helpers replace_word . . . 37μs Presentation 031: clear . . . 13μs Presentation 032: letter . . . 36μs Presentation 033: normalize_alphabet . . . 17μs Presentation 034: longest_common_subword issue . . . 321μs Presentation 035: helpers add_zero_rules (std::vector/Static [...] . . . 44μs Presentation 036: helpers add_zero_rules (std::string) . . . 25μs Presentation 037: make_semigroup . . . 45μs Presentation 038: greedy_reduce_length . . . 185μs Presentation 039: aaaaaaaab = aaaaaaaaab strong compression . . . 55μs Presentation 040: change_alphabet . . . 70μs Presentation 041: sort_rules bug . . . 241μs Presentation 042: first_unused_letter/letter . . . 181μs Presentation 043: case where strong compression doesn't work . . . 34μs Presentation 044: proof that . . . 43μs Presentation 045: decompression . . . 20μs Race 001: run_for . . . 10ms Race 002: run_until . . . 10ms Race 003: exceptions . . . 10ms Race 004: iterators . . . 13μs Race 005: find_runner . . . 14μ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 . . . 1038μ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 . . . 29μs SchreierSims 001: trivial perm. group (degree 1) . . . 55μs SchreierSims 002: trivial perm. group (degree 2) . . . 41μs SchreierSims 003: trivial perm. group (degree 500) . . . 273μs SchreierSims 004: symmetric perm. group (degree 5) . . . 76μs SchreierSims 005: symmetric perm. group (degree 8) . . . 90μs SchreierSims 006: symmetric perm. group (degree 9) . . . 124μs SchreierSims 007: alternating perm. group (degree 12) . . . 212μs SchreierSims 008: symmetric perm. group (degree 16) . . . 1646μs SchreierSims 009: alternating perm. group (degree 15) . . . 858μs SchreierSims 010: alternating perm. group (degree 16) . . . 1770μs SchreierSims 011: dihedral perm. group (order 10) . . . 41μs SchreierSims 012: dihedral perm. group (order 200) . . . 1831μs SchreierSims 013: perm. group T (order 12) . . . 37μs SchreierSims 014: quaternion perm. group (order 8) . . . 40μs SchreierSims 015: perm. group (order 84129611558952960) . . . 270ms SchreierSims 016: perm. group SL(3, 5) (order 372000) . . . 1328μs SchreierSims 017: perm. group PSL(4, 8) (order 34558531338240) . . . 107ms SchreierSims 018: perm. Mathieu group M11 (order 7920) . . . 97μs SchreierSims 019: perm. Mathieu group M24 (order 244823040) . . . 254μs SchreierSims 020: perm. Janko Group J1 (order 175560) . . . 2824μ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) . . . 8283μs SchreierSims 024: perm. Conway group Co3 (alt.) (order 49576 [...] . . . 16ms SchreierSims 025: perm. Suzuki group (order 448345497600) . . . 72ms SchreierSims 027: perm. Held group (order 4030387200) . . . 125ms SchreierSims 028: perm. group C2 x C2 x C2 (order 8) . . . 32μs SchreierSims 029: perm. group C2 x C2 x C2 x C2 (order 16) . . . 34μs SchreierSims 030: perm. group (S5 x S5) : C2 (order 28800) . . . 72μs SchreierSims 031: perm. group C3 x D8 x A5 (order 1440) . . . 71μs SchreierSims 032: perm. group GL(4, 3) (order 24261120) . . . 628μs SchreierSims 033: perm. group PSL(3, 7) (order 1876896) . . . 747μs SchreierSims 037: symmetric perm. group (degree 5) . . . 33μs SchreierSims 038: alternating perm. group (degree 17) . . . 3647μs SchreierSims 039: exceptions . . . 107μs SchreierSims 040: exceptions . . . 50μs SchreierSims 041: trivial group . . . 39μs SchreierSims 042: A17 bug . . . 3220μs SchreierSims 043: orbits_lookup test . . . 523μs SchreierSims 044: transversal_element and inversal_element test . . . 1440μs SchreierSimsHelper 001: trivial perm. group intersection (de [...] . . . 22μs SchreierSimsHelper 002: trivial perm. group intersection (de [...] . . . 24μs SchreierSimsHelper 003: cyclic group intersection (degree 13) . . . 44μs SchreierSimsHelper 004: D10 and Z5 intersection . . . 35μs SchreierSimsHelper 005: D8 and Q8 intersection . . . 30μs SchreierSimsHelper 006: primitive on 8 points intersection . . . 75μs SchreierSimsHelper 007: primitive on 8 points intersection ( [...] . . . 74μs SchreierSimsHelper 008: A13 and PGL(2, 11) intersection . . . 677μs SchreierSimsHelper 009: A13 and PGL(2, 11) intersection (swa [...] . . . 665μs SchreierSimsHelper 012: 3^3:13 and 3^3.2.A(4) intersection . . . 182μs SchreierSimsHelper 015: 3^3(S(4) x 2) and ASL(3, 3) intersection . . . 356μs SchreierSimsHelper 016: 7^2:3 x Q(8) and 7^2:D(2*6) intersection . . . 388μs SchreierSimsHelper 018: D(2*53) and 53:13 intersection . . . 245μs SchreierSimsHelper 019: 2^6:(7 x D_14) and PSL(2, 6)^2.4 int [...] . . . 1601μs SchreierSimsHelper 020: 2^6:(S_3 x GL(3, 2)) and 2.6:Alt(7) [...] . . . 4926μs SchreierSimsHelper 022: PSL(2, 127) and AGL(1, 2^7) intersection . . . 8267μs SchreierSimsHelper 023: PSL(3, 4).2 and PSL(3, 4).2 (nontriv [...] . . . 1602μs SchreierSimsHelper 024: PSL(3, 4).Sym(3) and PSL(3, 4).2 int [...] . . . 1832μs SchreierSimsHelper 025: 3^4:5:4 and D_16:4 intersection . . . 1025μs Sims1 000: fp example 1 . . . 1015μs Sims1 001: fp example 2 . . . 1838μs Sims1 002: ToddCoxeter failing example . . . 16ms Sims1 003: ToddCoxeter failing example . . . 750μs Sims1 004: partition_monoid(2) right . . . 6090μs Sims1 006: full_transformation_monoid(3) right . . . 6608μs Sims1 007: full_transformation_monoid(3) left . . . 3679μs Sims1 009: rook_monoid(2, 1) . . . 98μs Sims1 010: symmetric_inverse_monoid(2) from FroidurePin . . . 105μs Sims1 011: symmetric_inverse_monoid(3) . . . 5958μs Sims1 014: temperley_lieb_monoid(3) from presentation . . . 73μs Sims1 015: temperley_lieb_monoid(4) from presentation . . . 739μs Sims1 016: fp semigroup containing given pairs #1 . . . 285μs Sims1 017: fp semigroup containing given pairs #2 . . . 277μs Sims1 018: fp semigroup containing given pairs #3 . . . 464μs Sims1 019: ToddCoxeter failing example . . . 960μs Sims1 020: fp example 2 . . . 1901μs Sims1 021: exceptions . . . 219μs Sims1 027: from https://mathoverflow.net/questions/423541/ . . . 25ms Sims1 028: from https://mathoverflow.net/questions/423541/ . . . 18ms Sims1 030: presentation with one free generator . . . 229μs Sims1 031: presentation with non-zero index generators . . . 60μs Sims1 032: presentation with empty word . . . 8333μs Sims1 033: constructors . . . 1199μs Sims1 034: split_at . . . 235μs Sims1 035: stats . . . 85μs Sims1 036: check iterator requirements . . . 127μs Sims1 040: TransitiveGroup(10, 32) - minimal rep . . . 2967μs Sims1 043: rectangular_band(2, 2) - with and without identity . . . 180μs Sims1 044: trivial group - minimal o.r.c. rep . . . 108μs Sims1 045: right zero semigroup - minimal o.r.c. rep . . . 1737μs Sims1 046: semigroup with faithful non-strictly cyclic actio [...] . . . 720μs Sims1 068: RepOrc . . . 24ms Sims1 069: fp example 1 . . . 469μ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 1336μs (243ns 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 . . . 1428μs Sims1 072: symmetric_group(n) for n = 4 . . . 1604μs Sims1 073: corner case no generators + no relations . . . 77μs Sims1 076: uninitialized RepOrc . . . 27μs SmallestInteger 001: . . . 12μs StaticTriVector2 045: all . . . 20μs StaticVector2 043: all . . . 20μs Stephen 000: basic test 1 . . . 214μs Stephen 001: basic test 2 . . . 139μs Stephen 002: full transf monoid . . . 14ms Stephen 003: from step_hen 002 . . . 56μs Stephen 004: from step_hen 003 . . . 163μs Stephen 005: from step_hen 004 . . . 41μs Stephen 006: from step_hen 005 . . . 105μs Stephen 008: C(4) monoid normal form (test_case_knuth_bendix_055) . . . 183μs Stephen 009: C(4) monoid normal form (test_case_gap_smallove [...] . . . 91μs Stephen 010: code coverage . . . 271μs Stephen 011: C(4) monoid normal form (test_case_gap_smallove [...] . . . 290μs Stephen 012: C(4) monoid normal form (test_case_gap_smallove [...] . . . 193μs Stephen 013: C(4) monoid equal to (test_case_gap_smalloverlap_70) . . . 76μs Stephen 014: C(4) monoid normal form (test_case_ex_3_13_14) . . . 337μs Stephen 015: C(4) monoid normal form (test_case_ex_3_15) . . . 372μs Stephen 016: C(4) monoid normal form (test_case_ex_3_16) . . . 299μs Stephen 017: C(4) monoid normal form (test_case_mt_3) . . . 141μs Stephen 018: C(4) monoid normal form (test_case_mt_5) . . . 99μs Stephen 019: C(4) monoid normal form (test_case_mt_6) . . . 272μs Stephen 020: C(4) monoid normal form (test_case_mt_10) . . . 104μs Stephen 021: C(4) monoid normal form (test_case_mt_13) . . . 105μs Stephen 022: C(4) monoid normal form (test_case_mt_14) . . . 100μs Stephen 023: C(4) monoid normal form (test_case_mt_15) . . . 110μs Stephen 024: C(4) monoid normal form (test_case_mt_16) . . . 120μs Stephen 025: C(4) monoid normal form (test_case_mt_17) . . . 270μs Stephen 026: C(4) monoid normal form (test_case_weak_1) . . . 227μs Stephen 027: C(4) monoid normal form (test_case_weak_2) . . . 202μs Stephen 028: C(4) monoid normal form (test_case_weak_3) . . . 206μs Stephen 029: C(4) monoid normal form (test_case_weak_4) . . . 198μs Stephen 030: C(4) monoid normal form (test_case_weak_5) . . . 113μs Stephen 031: Test behaviour when uninitialised . . . 170μs Suf 005: unite . . . 24μs Suf 007: compress . . . 15μs Suf 011: big chain . . . 19ms Suf 013: empty table . . . 10μs Suf 015: join . . . 14μs Suf 017: contains . . . 28μs Suf 019: swap . . . 28μs Timer 001: string method (1 argument) . . . 27μs Timer 002: string method (0 arguments) . . . 10ms Timer 003: reset/elapsed method . . . 20ms Timer 004: operator<< . . . 11μs ToddCoxeter 000: small 2-sided congruence . . .  -- with HLT + no standardise + full lookahead + no save 1327μs  -- with HLT + standardise + full lookahead + no save 1409μs  -- with HLT + no standardise + partial lookahead + no save 1315μs  -- with HLT + standardise + partial lookahead + no save 1131μs  -- with HLT + no standardise + full lookahead + save 1158μs  -- with HLT + standardise + full lookahead + save 1142μs  -- with HLT + no standardise + partial lookahead + save 1148μs  -- with HLT + standardise + partial lookahead + save 1186μs  -- with Felsch + no standardisation 1140μs  -- with Felsch + standardisation 1172μs  -- with random strategy 1206μs  -- with Rc style + full lookahead 1143μs  -- with Rc style + partial lookahead 1136μs  -- with R/C style 1159μs  -- with CR style 1149μs  -- with Cr style 1152μs ToddCoxeter 001: small 2-sided congruence . . .  -- with HLT + no standardise + full lookahead + no save 5507μs  -- with HLT + standardise + full lookahead + no save 5470μs  -- with HLT + no standardise + partial lookahead + no save 5446μs  -- with HLT + standardise + partial lookahead + no save 5656μs  -- with HLT + no standardise + full lookahead + save 5401μs  -- with HLT + standardise + full lookahead + save 5400μs  -- with HLT + no standardise + partial lookahead + save 5418μs  -- with HLT + standardise + partial lookahead + save 5434μs  -- with Felsch + no standardisation 5712μs  -- with Felsch + standardisation 5342μs  -- with random strategy 5341μs  -- with Rc style + full lookahead 5328μs  -- with Rc style + partial lookahead 5301μs  -- with R/C style 5275μs  -- with CR style 5291μs  -- with Cr style 5276μ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 228μ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 166μs  -- with HLT + save (throws) 220μs  -- with Felsch (throws) 180μs  -- with random strategy 174μs ToddCoxeter 005: non-trivial two-sided from relations . . .  -- with HLT + no standardise + full lookahead + no save 62μ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 44μs  -- with HLT + no standardise + full lookahead + save 60μs  -- with HLT + standardise + full lookahead + save 57μs  -- with HLT + no standardise + partial lookahead + save 55μs  -- with HLT + standardise + partial lookahead + save 54μ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 45μs  -- with R/C style 50μ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 37μs  -- with HLT + no standardise + partial lookahead + no save 35μs  -- with HLT + standardise + partial lookahead + no save 37μs  -- with HLT + no standardise + full lookahead + save 43μs  -- with HLT + standardise + full lookahead + save 41μs  -- with HLT + no standardise + partial lookahead + save 39μs  -- with HLT + standardise + partial lookahead + save 51μs  -- with Felsch + no standardisation 39μs  -- with Felsch + standardisation 41μs  -- with random strategy 42μs  -- with Rc style + full lookahead 36μs  -- with Rc style + partial lookahead 35μs  -- with R/C style 36μs  -- with CR style 42μs  -- with Cr style 39μs ToddCoxeter 007: left cong. on free semigroup . . .  -- 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 38μs  -- with HLT + standardise + partial lookahead + no save 38μ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 44μs  -- with Felsch + no standardisation 43μs  -- with Felsch + standardisation 47μs  -- with random strategy 47μs  -- with Rc style + full lookahead 45μs  -- with Rc style + partial lookahead 43μs  -- with R/C style 45μs  -- with CR style 48μs  -- with Cr style 46μs ToddCoxeter 008: for small fp semigroup . . .  -- 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 35μ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 46μs  -- with HLT + no standardise + partial lookahead + save 40μs  -- with HLT + standardise + partial lookahead + save 38μs  -- with Felsch + no standardisation 38μs  -- with Felsch + standardisation 38μs  -- with random strategy 42μs  -- with Rc style + full lookahead 38μs  -- with Rc style + partial lookahead 38μs  -- with R/C style 37μ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 246μs  -- with HLT + standardise + full lookahead + no save 218μs  -- with HLT + no standardise + partial lookahead + no save 207μs  -- with HLT + standardise + partial lookahead + no save 210μs  -- with HLT + no standardise + full lookahead + save 661μs  -- with HLT + standardise + full lookahead + save 635μs  -- with HLT + no standardise + partial lookahead + save 625μs  -- with HLT + standardise + partial lookahead + save 638μs  -- with Felsch + no standardisation 554μs  -- with Felsch + standardisation 541μs  -- with random strategy 226μs  -- with Rc style + full lookahead 222μs  -- with Rc style + partial lookahead 219μs  -- with R/C style 232μs  -- with CR style 567μs  -- with Cr style 562μs ToddCoxeter 010: left congruence on transformation semigroup . . .  -- with HLT + no standardise + full lookahead + no save 250μ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 673μs  -- with HLT + standardise + full lookahead + save 680μs  -- with HLT + no standardise + partial lookahead + save 670μs  -- with HLT + standardise + partial lookahead + save 675μs  -- with Felsch + no standardisation 587μs  -- with Felsch + standardisation 564μs  -- with random strategy 738μs  -- with Rc style + full lookahead 278μs  -- with Rc style + partial lookahead 284μs  -- with R/C style 322μs  -- with CR style 634μs  -- with Cr style 614μs ToddCoxeter 011: right cong. trans. semigroup . . .  -- with HLT + no standardise + full lookahead + no save 267μs  -- with HLT + standardise + full lookahead + no save 269μs  -- with HLT + no standardise + partial lookahead + no save 252μs  -- with HLT + standardise + partial lookahead + no save 266μs  -- with HLT + no standardise + full lookahead + save 681μs  -- with HLT + standardise + full lookahead + save 674μs  -- with HLT + no standardise + partial lookahead + save 652μs  -- with HLT + standardise + partial lookahead + save 669μs  -- with Felsch + no standardisation 500μs  -- with Felsch + standardisation 527μs  -- with random strategy 325μs  -- with Rc style + full lookahead 297μs  -- with Rc style + partial lookahead 316μs  -- with R/C style 332μs  -- with CR style 539μs  -- with Cr style 531μs ToddCoxeter 012: trans. semigroup (size 88) . . .  -- with HLT + no standardise + full lookahead + no save 155μs  -- with HLT + standardise + full lookahead + no save 137μs  -- with HLT + no standardise + partial lookahead + no save 132μs  -- with HLT + standardise + partial lookahead + no save 133μs  -- with HLT + save (throws) 148μs  -- with Felsch (throws) 143μs  -- with random strategy 149μs ToddCoxeter 013: left cong. on trans. semigroup (size 88) . . .  -- with HLT + no standardise + full lookahead + no save 233μs  -- with HLT + standardise + full lookahead + no save 223μs  -- with HLT + no standardise + partial lookahead + no save 206μs  -- with HLT + standardise + partial lookahead + no save 217μs  -- with HLT + no standardise + full lookahead + save 643μs  -- with HLT + standardise + full lookahead + save 645μs  -- with HLT + no standardise + partial lookahead + save 625μs  -- with HLT + standardise + partial lookahead + save 652μs  -- with Felsch + no standardisation 555μs  -- with Felsch + standardisation 533μs  -- with random strategy 271μs  -- with Rc style + full lookahead 247μs  -- with Rc style + partial lookahead 245μs  -- with R/C style 278μs  -- with CR style 586μs  -- with Cr style 586μs ToddCoxeter 014: right cong. on trans. semigroup (size 88) . . .  -- with HLT + no standardise + full lookahead + no save 229μs  -- with HLT + standardise + full lookahead + no save 233μs  -- with HLT + no standardise + partial lookahead + no save 218μs  -- with HLT + standardise + partial lookahead + no save 228μs  -- with HLT + no standardise + full lookahead + save 622μs  -- with HLT + standardise + full lookahead + save 625μs  -- with HLT + no standardise + partial lookahead + save 608μs  -- with HLT + standardise + partial lookahead + save 629μs  -- with Felsch + no standardisation 460μs  -- with Felsch + standardisation 485μs  -- with random strategy 287μs  -- with Rc style + full lookahead 268μs  -- with Rc style + partial lookahead 250μs  -- with R/C style 290μs  -- with CR style 497μs  -- with Cr style 490μ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 79μs  -- with HLT + no standardise + partial lookahead + no save 71μs  -- with HLT + standardise + partial lookahead + no save 74μ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 92μs  -- with HLT + standardise + partial lookahead + save 94μs  -- with Felsch + no standardisation 90μs  -- with Felsch + standardisation 82μs  -- with random strategy 88μs  -- with Rc style + full lookahead 74μs  -- with Rc style + partial lookahead 72μs  -- with R/C style 73μs  -- with CR style 84μ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 79μs  -- with HLT + no standardise + partial lookahead + no save 83μs  -- with HLT + standardise + partial lookahead + no save 87μs  -- with HLT + no standardise + full lookahead + save 162μs  -- with HLT + standardise + full lookahead + save 163μs  -- with HLT + no standardise + partial lookahead + save 154μs  -- with HLT + standardise + partial lookahead + save 158μs  -- with Felsch + no standardisation 142μs  -- with Felsch + standardisation 137μs  -- with random strategy 148μs  -- with Rc style + full lookahead 81μs  -- with Rc style + partial lookahead 79μs  -- with R/C style 89μs  -- with CR style 150μs  -- with Cr style 141μs ToddCoxeter 017: finite fp-semigroup, size 16 . . .  -- with HLT + no standardise + full lookahead + no save 152μs  -- with HLT + standardise + full lookahead + no save 143μs  -- with HLT + no standardise + partial lookahead + no save 129μs  -- with HLT + standardise + partial lookahead + no save 138μs  -- with HLT + no standardise + full lookahead + save 351μs  -- with HLT + standardise + full lookahead + save 346μs  -- with HLT + no standardise + partial lookahead + save 325μs  -- with HLT + standardise + partial lookahead + save 332μs  -- with Felsch + no standardisation 292μs  -- with Felsch + standardisation 287μs  -- with random strategy 314μs  -- with Rc style + full lookahead 154μs  -- with Rc style + partial lookahead 153μs  -- with R/C style 158μs  -- with CR style 293μs  -- with Cr style 294μs ToddCoxeter 018: test lookahead . . .  -- with HLT + no standardise + full lookahead + no save 346μs  -- with HLT + standardise + full lookahead + no save 345μs  -- with HLT + no standardise + partial lookahead + no save 308μs  -- with HLT + standardise + partial lookahead + no save 324μs  -- with HLT + no standardise + full lookahead + save 591μs  -- with HLT + standardise + full lookahead + save 603μs  -- with HLT + no standardise + partial lookahead + save 578μs  -- with HLT + standardise + partial lookahead + save 590μs ToddCoxeter 019: non-trivial left cong. from semigroup . . .  -- with HLT + no standardise + full lookahead + no save 135μ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 127μs  -- with HLT + save (throws) 132μs  -- with Felsch (throws) 128μs  -- with random strategy 139μs ToddCoxeter 020: 2-sided cong. on free semigroup . . .  -- with HLT + no standardise + full lookahead + no save 28μ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 19μs  -- with HLT + no standardise + full lookahead + save 20μs  -- with HLT + standardise + full lookahead + save 20μ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 48μs  -- with HLT + standardise + full lookahead + no save 34μs  -- with HLT + no standardise + partial lookahead + no save 33μs  -- with HLT + standardise + partial lookahead + no save 33μs  -- with HLT + no standardise + full lookahead + save 34μs  -- with HLT + standardise + full lookahead + save 33μs  -- with HLT + no standardise + partial lookahead + save 34μs  -- with HLT + standardise + partial lookahead + save 33μs  -- with Felsch + no standardisation 34μs  -- with Felsch + standardisation 35μs  -- with random strategy 33μs ToddCoxeter 022: stellar_monoid S3 . . .  -- with HLT + no standardise + full lookahead + no save 133μs  -- with HLT + standardise + full lookahead + no save 127μs  -- with HLT + no standardise + partial lookahead + no save 121μs  -- with HLT + standardise + partial lookahead + no save 122μs  -- with HLT + no standardise + full lookahead + save 246μs  -- with HLT + standardise + full lookahead + save 243μs  -- with HLT + no standardise + partial lookahead + save 227μs  -- with HLT + standardise + partial lookahead + save 236μs  -- with Felsch + no standardisation 545μs  -- with Felsch + standardisation 199μs  -- with random strategy 211μs  -- with Rc style + full lookahead 125μs  -- with Rc style + partial lookahead 122μ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 34μs  -- with HLT + no standardise + partial lookahead + no save 32μs  -- with HLT + standardise + partial lookahead + no save 35μs  -- with HLT + no standardise + full lookahead + save 40μs  -- with HLT + standardise + full lookahead + save 39μs  -- with HLT + no standardise + partial lookahead + save 39μs  -- with HLT + standardise + partial lookahead + save 41μs  -- with Felsch + no standardisation 39μs  -- with Felsch + standardisation 39μs  -- with random strategy 37μs  -- with Rc style + full lookahead 34μs  -- with Rc style + partial lookahead 33μs  -- with R/C style 34μs  -- with CR style 42μs  -- with Cr style 38μs ToddCoxeter 024: exceptions . . .  -- with HLT + no standardise + full lookahead + no save 179μs  -- with HLT + standardise + full lookahead + no save 159μs  -- with HLT + no standardise + partial lookahead + no save 152μs  -- with HLT + standardise + partial lookahead + no save 151μs  -- with HLT + no standardise + full lookahead + save 157μs  -- with HLT + standardise + full lookahead + save 156μs  -- with HLT + no standardise + partial lookahead + save 156μs  -- with HLT + standardise + partial lookahead + save 154μs  -- with Felsch + no standardisation 156μs  -- with Felsch + standardisation 158μs  -- with random strategy 158μs  -- with Rc style + full lookahead 155μs  -- with Rc style + partial lookahead 152μs  -- with R/C style 152μs  -- with CR style 158μs  -- with Cr style 157μs ToddCoxeter 025: obviously infinite . . .  -- with HLT + no standardise + full lookahead + no save 46μs  -- with HLT + standardise + full lookahead + no save 39μ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 40μs  -- with HLT + standardise + full lookahead + save 39μs  -- with HLT + no standardise + partial lookahead + save 49μ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 115μs  -- with HLT + standardise + full lookahead + no save 95μs  -- with HLT + no standardise + partial lookahead + no save 91μs  -- with HLT + standardise + partial lookahead + no save 92μs  -- with HLT + no standardise + full lookahead + save 104μs  -- with HLT + standardise + full lookahead + save 99μs  -- with HLT + no standardise + partial lookahead + save 98μs  -- with HLT + standardise + partial lookahead + save 99μs  -- with Felsch + no standardisation 98μs  -- with Felsch + standardisation 99μs  -- with random strategy 102μs  -- with Rc style + full lookahead 96μs  -- with Rc style + partial lookahead 92μs  -- with R/C style 91μs  -- with CR style 95μs  -- with Cr style 98μs ToddCoxeter 027: empty . . . 57μs ToddCoxeter 028: congruence of fpsemigroup::ToddCoxeter . . .  -- with HLT + no standardise + full lookahead + no save 164μs  -- with HLT + standardise + full lookahead + no save 128μs  -- with HLT + no standardise + partial lookahead + no save 124μs  -- with HLT + standardise + partial lookahead + no save 124μs  -- with HLT + save (throws) 129μs  -- with Felsch (throws) 128μs  -- with random strategy 132μs  -- with HLT + no standardise + full lookahead + save 127μs  -- with HLT + standardise + full lookahead + save 131μs  -- with HLT + no standardise + partial lookahead + save 135μs  -- with HLT + standardise + partial lookahead + save 126μs  -- with Felsch + no standardisation 124μs  -- with Felsch + standardisation 123μs  -- with Rc style + full lookahead 119μs  -- with Rc style + partial lookahead 118μs  -- with R/C style 118μs  -- with CR style 121μs  -- with Cr style 121μs ToddCoxeter 029: !KnuthBendix.started() . . .  -- with HLT + no standardise + full lookahead + no save and 2-sided 87μ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 58μs  -- with HLT + no standardise + full lookahead + save and 2-sided 64μs  -- with HLT + standardise + full lookahead + save and 2-sided 64μs  -- with HLT + no standardise + partial lookahead + save and 2-sided 62μs  -- with HLT + standardise + partial lookahead + save and 2-sided 62μs  -- with Felsch + no standardisation and 2-sided 66μs  -- with Felsch + standardisation and 2-sided 60μ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 63μs  -- with HLT + no standardise + partial lookahead + no save and left 58μs  -- with HLT + standardise + partial lookahead + no save and left 56μs  -- with HLT + no standardise + full lookahead + save and left 68μs  -- with HLT + standardise + full lookahead + save and left 68μ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 64μs  -- with Felsch + standardisation and left 64μs  -- with random strategy and left 62μs  -- with HLT + no standardise + full lookahead + no save and right 61μs  -- with HLT + standardise + full lookahead + no save and right 56μs  -- with HLT + no standardise + partial lookahead + no save and right 59μ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 66μs  -- with Felsch + no standardisation and right 64μs  -- with Felsch + standardisation and right 64μs  -- with random strategy and right 78μs ToddCoxeter 030: KnuthBendix.finished() . . .  -- with HLT + no standardise + full lookahead + no save and 2-sided 172μs  -- with HLT + standardise + full lookahead + no save and 2-sided 139μs  -- with HLT + no standardise + partial lookahead + no save and 2-sided 138μs  -- with HLT + standardise + partial lookahead + no save and 2-sided 133μs  -- with HLT + no standardise + full lookahead + save and 2-sided 138μs  -- with HLT + standardise + full lookahead + save and 2-sided 137μs  -- with HLT + no standardise + partial lookahead + save and 2-sided 137μs  -- with HLT + standardise + partial lookahead + save and 2-sided 136μs  -- with Felsch + no standardisation and 2-sided 129μs  -- with Felsch + standardisation and 2-sided 128μs  -- with random strategy and 2-sided 146μs  -- with HLT + no standardise + full lookahead + no save and left 141μs  -- with HLT + standardise + full lookahead + no save and left 135μs  -- with HLT + no standardise + partial lookahead + no save and left 134μs  -- with HLT + standardise + partial lookahead + no save and left 135μs  -- with HLT + no standardise + full lookahead + save and left 145μs  -- with HLT + standardise + full lookahead + save and left 145μs  -- with HLT + no standardise + partial lookahead + save and left 143μs  -- with HLT + standardise + partial lookahead + save and left 143μs  -- with Felsch + no standardisation and left 140μs  -- with Felsch + standardisation and left 145μs  -- with random strategy and left 154μs  -- with HLT + no standardise + full lookahead + no save and right 137μs  -- with HLT + standardise + full lookahead + no save and right 132μs  -- with HLT + no standardise + partial lookahead + no save and right 132μs  -- with HLT + standardise + partial lookahead + no save and right 135μs  -- with HLT + no standardise + full lookahead + save and right 142μs  -- with HLT + standardise + full lookahead + save and right 144μs  -- with HLT + no standardise + partial lookahead + save and right 142μs  -- with HLT + standardise + partial lookahead + save and right 142μs  -- with Felsch + no standardisation and right 139μs  -- with Felsch + standardisation and right 137μs  -- with random strategy and right 146μs ToddCoxeter 031: KnuthBendix.finished() . . .  -- with HLT + no standardise + full lookahead + no save and 2-sided 118μs  -- with HLT + standardise + full lookahead + no save and 2-sided 102μs  -- with HLT + no standardise + partial lookahead + no save and 2-sided 99μs  -- with HLT + standardise + partial lookahead + no save and 2-sided 101μs  -- with HLT + no standardise + full lookahead + save and 2-sided 105μs  -- with HLT + standardise + full lookahead + save and 2-sided 104μs  -- with HLT + no standardise + partial lookahead + save and 2-sided 102μs  -- with HLT + standardise + partial lookahead + save and 2-sided 102μs  -- with Felsch + no standardisation and 2-sided 96μs  -- with Felsch + standardisation and 2-sided 95μs  -- with random strategy and 2-sided 102μs  -- with Rc style + full lookahead and 2-sided 102μs  -- with Rc style + partial lookahead and 2-sided 103μs  -- with R/C style and 2-sided 96μs  -- with CR style and 2-sided 109μs  -- with Cr style and 2-sided 105μs  -- with HLT + no standardise + full lookahead + no save and left 107μs  -- with HLT + standardise + full lookahead + no save and left 100μs  -- with HLT + no standardise + partial lookahead + no save and left 99μs  -- with HLT + standardise + partial lookahead + no save and left 99μs  -- with HLT + no standardise + full lookahead + save and left 107μs  -- with HLT + standardise + full lookahead + save and left 107μ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 103μs  -- with random strategy and left 115μs  -- with Rc style + full lookahead and left 106μs  -- with Rc style + partial lookahead and left 104μs  -- with R/C style and left 101μs  -- with CR style and left 107μs  -- with Cr style and left 111μs  -- with HLT + no standardise + full lookahead + no save and right 102μs  -- with HLT + standardise + full lookahead + no save and right 100μs  -- with HLT + no standardise + partial lookahead + no save and right 99μs  -- with HLT + standardise + partial lookahead + no save and right 99μs  -- with HLT + no standardise + full lookahead + save and right 113μs  -- with HLT + standardise + full lookahead + save and right 111μs  -- with HLT + no standardise + partial lookahead + save and right 108μs  -- with HLT + standardise + partial lookahead + save and right 108μs  -- with Felsch + no standardisation and right 104μs  -- with Felsch + standardisation and right 103μs  -- with random strategy and right 114μs  -- with Rc style + full lookahead and right 107μs  -- with Rc style + partial lookahead and right 113μs  -- with R/C style and right 100μs  -- with CR style and right 108μs  -- with Cr style and right 111μs ToddCoxeter 032: prefill . . . 144μs ToddCoxeter 033: congruence of ToddCoxeter . . .  -- with HLT + no standardise + full lookahead + no save 53μ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 45μ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 140μs  -- with HLT + standardise + full lookahead + no save 132μs  -- with HLT + no standardise + partial lookahead + no save 120μs  -- with HLT + standardise + partial lookahead + no save 119μs  -- with HLT + save (throws) 129μs  -- with Felsch (throws) 128μs  -- with random strategy 129μs ToddCoxeter 035: congruence on FpSemigroup . . .  -- with HLT + no standardise + full lookahead + no save 328μs  -- with HLT + standardise + full lookahead + no save 286μs  -- with HLT + no standardise + partial lookahead + no save 279μs  -- with HLT + standardise + partial lookahead + no save 277μs  -- with HLT + no standardise + full lookahead + save 321μs  -- with HLT + standardise + full lookahead + save 309μs  -- with HLT + no standardise + partial lookahead + save 308μs  -- with HLT + standardise + partial lookahead + save 306μs  -- with Felsch + no standardisation 300μs  -- with Felsch + standardisation 300μs  -- with random strategy 309μs  -- with Rc style + full lookahead 275μs  -- with Rc style + partial lookahead 272μs  -- with R/C style 272μs  -- with CR style 304μs  -- with Cr style 315μs ToddCoxeter 036: exceptions . . . 98μs ToddCoxeter 037: copy constructor . . . 41μs ToddCoxeter 038: simplify . . . 137μs ToddCoxeter 039: stylic_monoid . . . 936ms ToddCoxeter 041: some finite classes . . . 515μs ToddCoxeter 043: symmetric_group(7, Coxeter + Moser) . . . 180ms ToddCoxeter 044: Option exceptions . . . 72μs ToddCoxeter 045: Options operator<< . . . 606μs ToddCoxeter 046: Easdown-East-FitzGerald DualSymInv(5) . . .  -- with HLT + no standardise + full lookahead + no save 201ms  -- with HLT + standardise + full lookahead + no save 224ms  -- with HLT + no standardise + partial lookahead + no save 200ms  -- with HLT + standardise + partial lookahead + no save 224ms  -- with HLT + no standardise + full lookahead + save 166ms  -- with HLT + standardise + full lookahead + save 166ms  -- with HLT + no standardise + partial lookahead + save 165ms  -- with HLT + standardise + partial lookahead + save 166ms  -- with Felsch + no standardisation 180ms  -- with Felsch + standardisation 181ms  -- with random strategy 211ms  -- with R/C style 210ms  -- with Rc style + full lookahead 188ms  -- with Rc style + partial lookahead 187ms ToddCoxeter 047: uniform_block_bijection_monoid(3) (FitzGerald) . . .  -- with HLT + no standardise + full lookahead + no save 107μs  -- with HLT + standardise + full lookahead + no save 100μs  -- with HLT + no standardise + partial lookahead + no save 89μs  -- with HLT + standardise + partial lookahead + no save 113μs  -- with HLT + no standardise + full lookahead + save 257μs  -- with HLT + standardise + full lookahead + save 257μs  -- with HLT + no standardise + partial lookahead + save 243μs  -- with HLT + standardise + partial lookahead + save 240μs  -- with Felsch + no standardisation 182μs  -- with Felsch + standardisation 168μs  -- with random strategy 169μs  -- with R/C style 106μs  -- with Rc style + full lookahead 95μs  -- with Rc style + partial lookahead 93μs ToddCoxeter 048: stellar_monoid(7) (Gay-Hivert) . . . 182ms 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 34ms  -- with HLT + standardise + partial lookahead + no save 36ms  -- with HLT + no standardise + full lookahead + save 65ms  -- with HLT + standardise + full lookahead + save 68ms  -- with HLT + no standardise + partial lookahead + save 65ms  -- with HLT + standardise + partial lookahead + save 68ms  -- with Felsch + no standardisation 77ms  -- with Felsch + standardisation 78ms  -- with random strategy 38ms  -- with R/C style 39ms  -- with Rc style + full lookahead 84ms  -- with Rc style + partial lookahead 83ms ToddCoxeter 050: singular_brauer_monoid(6) (Maltcev + Mazorchuk) . . . 590ms ToddCoxeter 051: orientation_preserving_monoid(6) (Ruskuc + [...] . . .  -- with HLT + no standardise + full lookahead + no save 27ms ToddCoxeter 052: orientation_reversing_monoid(5) (Ruskuc + [...] . . .  -- with HLT + no standardise + full lookahead + no save 7021μs ToddCoxeter 053: temperley_lieb_monoid(10) (East) . . . 44ms ToddCoxeter 063: add_rule . . .  -- with HLT + no standardise + full lookahead + no save 97μ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 64μs  -- with HLT + no standardise + full lookahead + save 71μs  -- with HLT + standardise + full lookahead + save 71μs  -- with HLT + no standardise + partial lookahead + save 72μs  -- with HLT + standardise + partial lookahead + save 87μs  -- with Felsch + no standardisation 72μs  -- with Felsch + standardisation 68μs  -- with random strategy 74μs  -- with Rc style + full lookahead 66μs  -- with Rc style + partial lookahead 64μs  -- with R/C style 66μs  -- with CR style 70μs  -- with Cr style 69μs  -- with R/C + Felsch lookahead 72μs  -- with HLT + Felsch lookahead + save 70μs  -- with Cr + small number of f_defs 74μs  -- with Rc + small number of deductions 67μs  -- with Felsch + v2 + no preferred defs 69μs  -- with Felsch + v2 + immediate no stack 70μs  -- with Felsch + v1 + immediate no stack 69μ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 276μs ToddCoxeter 066: test validate . . . 59μs ToddCoxeter 067: add_rules after construct. from semigroup . . .  -- with HLT + no standardise + full lookahead + no save 363μs  -- with HLT + standardise + full lookahead + no save 322μs  -- with HLT + no standardise + partial lookahead + no save 308μs  -- with HLT + standardise + partial lookahead + no save 317μs  -- with HLT + save (throws) 321μs  -- with Felsch (throws) 316μs  -- with random strategy 323μs ToddCoxeter 068: Sym(5) from Chapter 3, Proposition 1.1 in NR . . .  -- with Deduction policy == purge_from_top 822μs  -- with Deduction policy == purge_all 778μs  -- with Deduction policy == discard_all_if_no_space 784μs  -- with HLT + no standardise + full lookahead + no save 923μs  -- with HLT + standardise + full lookahead + no save 1218μs  -- with HLT + no standardise + partial lookahead + no save 857μs  -- with HLT + standardise + partial lookahead + no save 1271μs  -- with HLT + no standardise + full lookahead + save 1330μs  -- with HLT + standardise + full lookahead + save 1368μs  -- with HLT + no standardise + partial lookahead + save 1319μs  -- with HLT + standardise + partial lookahead + save 1352μs  -- with Felsch + no standardisation 869μs  -- with Felsch + standardisation 850μs  -- with random strategy 1376μs  -- with Rc style + full lookahead 1789μs  -- with Rc style + partial lookahead 1780μs  -- with R/C style 952μs  -- with CR style 903μs  -- with Cr style 890μs ToddCoxeter 069: Chapter 7, Theorem 3.6 in NR (size 243) . . .  -- with HLT + no standardise + full lookahead + no save 410μs  -- with HLT + standardise + full lookahead + no save 490μs  -- with HLT + no standardise + partial lookahead + no save 396μs  -- with HLT + standardise + partial lookahead + no save 480μs  -- with HLT + no standardise + full lookahead + save 601μs  -- with HLT + standardise + full lookahead + save 647μs  -- with HLT + no standardise + partial lookahead + save 592μs  -- with HLT + standardise + partial lookahead + save 651μs  -- with Felsch + no standardisation 2898μs  -- with Felsch + standardisation 2941μs  -- with random strategy 3338μs  -- with Rc style + full lookahead 452μs  -- with Rc style + partial lookahead 440μs  -- with R/C style 458μs  -- with CR style 2937μs  -- with Cr style 2931μs ToddCoxeter 070: finite semigroup (size 99) . . .  -- with HLT + no standardise + full lookahead + no save 191μs  -- with HLT + standardise + full lookahead + no save 213μs  -- with HLT + no standardise + partial lookahead + no save 177μs  -- with HLT + standardise + partial lookahead + no save 204μs  -- with HLT + no standardise + full lookahead + save 257μs  -- with HLT + standardise + full lookahead + save 266μs  -- with HLT + no standardise + partial lookahead + save 240μs  -- with HLT + standardise + partial lookahead + save 261μs  -- with Felsch + no standardisation 543μs  -- with Felsch + standardisation 541μs  -- with random strategy 274μs  -- with Rc style + full lookahead 194μs  -- with Rc style + partial lookahead 188μs  -- with R/C style 196μs  -- with CR style 552μs  -- with Cr style 537μs ToddCoxeter 080: KnuthBendix 098 . . .  -- with HLT + no standardise + full lookahead + no save 613ms  -- with HLT + standardise + full lookahead + no save 741ms  -- with HLT + no standardise + partial lookahead + no save 615ms  -- with HLT + standardise + partial lookahead + no save 739ms  -- with HLT + no standardise + full lookahead + save 457ms  -- with HLT + standardise + full lookahead + save 457ms  -- with HLT + no standardise + partial lookahead + save 456ms  -- with HLT + standardise + partial lookahead + save 457ms  -- with Felsch + no standardisation 422ms  -- with Felsch + standardisation 420ms  -- with random strategy 654ms  -- with Rc style + full lookahead 412ms  -- with Rc style + partial lookahead 410ms  -- with R/C style 622ms  -- with CR style 419ms  -- with Cr style 415ms ToddCoxeter 084: Campbell-Reza 1 . . .  -- with HLT + no standardise + full lookahead + no save 139μs  -- with HLT + standardise + full lookahead + no save 96μs  -- with HLT + no standardise + partial lookahead + no save 87μs  -- with HLT + standardise + partial lookahead + no save 87μs  -- with HLT + no standardise + full lookahead + save 103μs  -- with HLT + standardise + full lookahead + save 100μs  -- with HLT + no standardise + partial lookahead + save 100μs  -- with HLT + standardise + partial lookahead + save 101μs  -- with Felsch + no standardisation 110μs  -- with Felsch + standardisation 102μs  -- with random strategy 88μs  -- with Rc style + full lookahead 83μs  -- with Rc style + partial lookahead 81μs  -- with R/C style 88μs  -- with CR style 104μs  -- with Cr style 101μ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 122ms  -- with HLT + no standardise + partial lookahead + no save 122ms  -- with HLT + standardise + partial lookahead + no save 123ms  -- 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 122ms  -- 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 123ms  -- with Cr style 123ms ToddCoxeter 086: trivial semigroup . . . 344ms 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 19ms  -- with HLT + standardise + partial lookahead + save 19ms  -- with random strategy 20ms  -- 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 78μs  -- with HLT + standardise + partial lookahead + no save 75μs  -- with HLT + no standardise + full lookahead + save 101μs  -- with HLT + standardise + full lookahead + save 100μs  -- with HLT + no standardise + partial lookahead + save 104μs  -- with HLT + standardise + partial lookahead + save 99μs  -- with random strategy 84μs  -- with Felsch + no standardisation 92μs  -- with Felsch + standardisation 89μs ToddCoxeter 095: ACE --- A5-C5 . . .  -- with HLT + no standardise + full lookahead + no save 102μs  -- with HLT + standardise + full lookahead + no save 104μs  -- with HLT + no standardise + partial lookahead + no save 98μs  -- with HLT + standardise + partial lookahead + no save 101μ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 145μs  -- with HLT + standardise + partial lookahead + save 145μs  -- with random strategy 157μs  -- with Felsch + no standardisation 127μs  -- with Felsch + standardisation 125μs ToddCoxeter 096: ACE --- A5 . . .  -- with HLT + no standardise + full lookahead + no save 233μs  -- with HLT + standardise + full lookahead + no save 284μs  -- with HLT + no standardise + partial lookahead + no save 200μs  -- with HLT + standardise + partial lookahead + no save 275μs  -- with HLT + no standardise + full lookahead + save 409μs  -- with HLT + standardise + full lookahead + save 420μs  -- with HLT + no standardise + partial lookahead + save 396μs  -- with HLT + standardise + partial lookahead + save 415μs  -- with random strategy 417μs  -- with Felsch + no standardisation 289μs  -- with Felsch + standardisation 279μs ToddCoxeter 098: relation ordering . . .  -- with Felsch + no standardisation 629μs  -- with Felsch + standardisation 591μs  -- with HLT + no standardise + full lookahead + no save 282μs  -- with HLT + standardise + full lookahead + no save 279μs  -- with HLT + no standardise + partial lookahead + no save 274μs  -- with HLT + standardise + partial lookahead + no save 273μs  -- with HLT + no standardise + full lookahead + save 619μs  -- with HLT + standardise + full lookahead + save 618μs  -- with HLT + no standardise + partial lookahead + save 627μs  -- with HLT + standardise + partial lookahead + save 625μs  -- with random strategy 329μs ToddCoxeter 099: short circuit size in obviously infinite . . . 20μs ToddCoxeter 101: http://brauer.maths.qmul.ac.uk/Atlas/spor/M [...] . . . 665ms ToddCoxeter 108: http://brauer.maths.qmul.ac.uk/Atlas/lin/L3 [...] . . . 605ms ToddCoxeter 110: to_gap_string . . . 97μs ToddCoxeter 111: partition_monoid(2) . . . 73μs ToddCoxeter 112: brauer_monoid(4) (Kudryavtseva + Mazorchuk) . . . 386μs ToddCoxeter 113: symmetric_inverse_monoid . . . 18ms ToddCoxeter 116: symmetric_group(7, Burnside + Miller) . . . 475ms UF 001: constructor by size . . . 16μs UF 002: copy constructor . . . 23μs UF 003: find . . . 17μs Ukkonen 000: basic tests . . . 72ms Ukkonen 001: maximal_piece_prefix 1 . . . 45μs Ukkonen 002: maximal_piece_prefix 2 . . . 45μs Ukkonen 003: maximal_piece_prefix 3 . . . 267μs Ukkonen 004: number_of_pieces . . . 79μs Ukkonen 005: traverse . . . 24μs Ukkonen 006: dot . . . 187μs Ukkonen 007: strings . . . 62μs Ukkonen 008: dfs #01 . . . 39μs Ukkonen 009: dfs #02 . . . 34μs Ukkonen 010: dfs #03 . . . 31μs Ukkonen 011: dfs #04 . . . 83μs Ukkonen 012: dfs #05 . . . 60μs Ukkonen 013: dfs #06 . . . 53μs Ukkonen 014: dfs #07 . . . 113μs Ukkonen 015: dfs #08 . . . 81μs Ukkonen 016: dfs #09 . . . 108μs Ukkonen 017: dfs #10 . . . 33μs Ukkonen 018: pieces . . . 41μs Ukkonen 019: code coverage . . . 49μs Ukkonen 020: code coverage . . . 10μs action_digraph_helper 015: detail::to_string . . . 27μs action_digraph_helper 016: make . . . 44μs action_digraph_helper 017: is_connected . . . 180μs action_digraph_helper 018: is_strictly_cyclic . . . 12ms follow_path 012: 20 node path . . . 25μs fpsemi-examples 002: full_transformation_monoid author except . . . 35μs fpsemi-examples 003: full_transformation_monoid degree except . . . 21μs fpsemi-examples 005: partial_transformation_monoid author except . . . 26μs fpsemi-examples 006: partial_transformation_monoid degree except . . . 22μs fpsemi-examples 007: symmetric_inverse_monoid(5) . . . 18ms fpsemi-examples 008: symmetric_group auth except . . . 32μs fpsemi-examples 009: symmetric_group degree except . . . 23μs fpsemi-examples 010: symmetric_group(6) Burnside + Miller . . . 26ms fpsemi-examples 011: dual_symmetric_inverse_monoid(5) . . . 201ms fpsemi-examples 012: dual_symmetric_inverse_monoid auth except . . . 34μs fpsemi-examples 013: dual_symmetric_inverse_monoid degree except . . . 22μs fpsemi-examples 014: uniform_block_bijection_monoid(5) . . . 14ms fpsemi-examples 015: uniform_block_bijection_monoid auth except . . . 29μs fpsemi-examples 016: uniform_block_bijection_monoid degree except . . . 22μs fpsemi-examples 019: partition_monoid auth except . . . 37μs fpsemi-examples 020: partition_monoid degree except . . . 33μs fpsemi-examples 022: monogenic_semigroup(4, 9) . . . 37μs fpsemi-examples 023: fibonacci_semigroup(2, 5) . . . 77μs fpsemi-examples 024: temperley_lieb_monoid(10) . . . 53ms fpsemi-examples 025: singular_brauer_monoid(6) . . . 461ms fpsemi-examples 026: orientation_preserving_monoid(6) . . . 27ms fpsemi-examples 027: orientation_reversing_monoid(5) . . . 7068μs fpsemi-examples 028: chinese_monoid(3) . . . 152μs fpsemi-examples 029: plactic_monoid(3) . . . 110μs fpsemi-examples 030: stylic_monoid(3) . . . 918μ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 . . . 6879μs fpsemi-examples 034: test for the rook monoid . . . 294μs fpsemi-examples 035: alternating_group(7) Moore . . . 27ms fpsemi-examples 036: alternating_group auth except . . . 35μs fpsemi-examples 037: alternating_group degree except . . . 22μs fpsemi-examples 038: partial_transformation_monoid(3) Machine . . . 284μs fpsemi-examples 039: chinese_monoid degree except . . . 35μs fpsemi-examples 040: monogenic_semigroup degree except . . . 34μs fpsemi-examples 041: rectangular_band degree except . . . 49μs fpsemi-examples 042: stellar_monoid degree except . . . 30μs fpsemi-examples 043: plactic_monoid degree except . . . 28μs fpsemi-examples 044: stylic_monoid degree except . . . 27μs fpsemi-examples 045: temperley_lieb_monoid degree except . . . 35μs fpsemi-examples 046: singular_brauer_monoid degree except . . . 36μs fpsemi-examples 047: orientation_preserving_monoid degree except . . . 35μs fpsemi-examples 048: orientation_reversing_monoid degree except . . . 35μs fpsemi-examples 049: test default values . . . 3217μs fpsemi-examples 052: not_symmetric_group(5) Guralnick + Kant [...] . . . 3055μs fpsemi-examples 053: order_preserving_monoid(5) . . . 661μs fpsemi-examples 055: order_preserving_monoid degree except . . . 44μ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) . . . 141μs fpsemi-examples 060: order_preserving_cyclic_inverse_monoid(10) . . . 33ms fpsemi-examples 061: cyclic_inverse_monoid degree except . . . 74μs fpsemi-examples 062: cyclic_inverse_monoid author except . . . 33μs fpsemi-examples 063: order_preserving_monoid degree except . . . 34μs fpsemi-examples 064: symmetric_group index except . . . 33μs fpsemi-examples 065: symmetric_group(7) Moore index 1 . . . 7206μs fpsemi-examples 066: order_preserving_cyclic_inverse_monoid(10) . . . 33ms fpsemi-examples 067: partial_isometries_cycle_graph_monoid(5) . . . 622μs fpsemi-examples 068: partial_isometries_cycle_graph_monoid(10) . . . 246ms fpsemi-examples 069: partial_isometries_cycle_graph_monoid d [...] . . . 44μs fpsemi-examples 070: partial_isometries_cycle_graph_monoid(4) . . . 291μs freeband_equal_to 001: . . . 615μs is_acyclic 000: 2-cycle . . . 15μs is_acyclic 001: 1-cycle . . . 12μs is_acyclic 002: multi-digraph . . . 15μs is_acyclic 003: complete digraph 100 . . . 71μs is_acyclic 004: acyclic digraph with 20000 nodes . . . 1576μs is_acyclic 006: for a node . . . 886μs is_acyclic 007: for a node . . . 20μs is_reachable 008: acyclic 20 node digraph . . . 47μs is_reachable 009: 100 node path . . . 10ms is_reachable 010: 100 node cycle . . . 10ms is_reachable 011: 20 node clique . . . 445μs last_node_on_path_nc 014: 20 node path . . . 18μs make 000: from FroidurePin . . . 410μs make 001: from FroidurePin and alphabet . . . 538μs make 002: presentation from presentation . . . 213μs make 003: presentation from presentation and alphabet . . . 49μs make 004: argument checks issue . . . 112μs make 005: use human readable alphabet for make . . . 20μs make> 000: from ActionDigraph . . . 1297μs make> 001: from ActionDigraph (exceptions) . . . 46μs number_of_words 001: . . . 20μs operator"" _w 003: literal . . . 15μs silo 000: alphabet: a, min: 0, max: 10 . . . 47μs silo 001: corner cases . . . 29μs silo 002: alphabet: ab, min: 1, max: 4 . . . 45μs silo 003: alphabet: abc, min: 0, max: 13 . . . 95ms silo 004: code coverage . . . 32μs sislo 005: alphabet: a, min: 0, max: 10 . . . 37μs sislo 006: corner cases . . . 81μs sislo 007: alphabet: ab, min: 1, max: 4 . . . 79μs sislo 008: alphabet: abc, min: 0, max: 13 . . . 88ms sislo 009: code coverage . . . 28μs string 000: detail::is_suffix . . . 14μs string 001: detail::is_prefix . . . 13μs string 002: detail::maximum_common_suffix . . . 12μs string 003: detail::group_digits . . . 24μs string_to_word 002: . . . 15μs validate_label 013: 20 node path . . . 58μs wilo 001: corner cases . . . 47μs wilo 002: letters: 2, min: 1, max: 4 . . . 33μs wilo 003: letters: 2, min: 1, max: 4 . . . 51μs wilo 004: letters: 3, min: 0, max: 10 . . . 17ms wilo 005: letters: 3, min: 0, max: 13 . . . 130ms wilo 006: forward iterator requirements . . . 129ms wilo 007: more corner cases . . . 51μs wilo 008: starting at a given word 1 . . . 120μs wilo 009: starting at a given word 2 . . . 19μs wilo 010: code coverage . . . 20μs wislo 000: n: 2, min; 1, max: 4 . . . 27μs wislo 001: corner cases . . . 40μs wislo 002: n: 3, min; 0, max: 10 . . . 4288μs wislo 003: n: 3, min; 0, max: 13 . . . 130ms wislo 004: lex + sort . . . 410ms wislo 005: code coverage . . . 32μ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' 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 extern/textflowcpp/TextFlow.hpp '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups/textflowcpp' libtool: install: (cd /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib && { ln -s -f libsemigroups.so.2.0.0 libsemigroups.so.2 || { rm -f libsemigroups.so.2 && ln -s libsemigroups.so.2.0.0 libsemigroups.so.2; }; }) /usr/bin/install -c -m 644 include/libsemigroups/kbe.hpp include/libsemigroups/knuth-bendix.hpp include/libsemigroups/konieczny.hpp include/libsemigroups/libsemigroups.hpp include/libsemigroups/make-froidure-pin.hpp include/libsemigroups/make-present.hpp include/libsemigroups/matrix.hpp include/libsemigroups/node-manager.hpp include/libsemigroups/obvinf.hpp include/libsemigroups/order.hpp include/libsemigroups/pbr.hpp include/libsemigroups/pool.hpp include/libsemigroups/present.hpp include/libsemigroups/present.tpp include/libsemigroups/race.hpp include/libsemigroups/report.hpp include/libsemigroups/runner.hpp include/libsemigroups/schreier-sims.hpp include/libsemigroups/schreier-sims-helper.hpp include/libsemigroups/sims1.hpp include/libsemigroups/sims1.tpp include/libsemigroups/siso.hpp include/libsemigroups/stl.hpp include/libsemigroups/stephen.hpp include/libsemigroups/string-view.hpp include/libsemigroups/string.hpp include/libsemigroups/tce.hpp include/libsemigroups/timer.hpp include/libsemigroups/todd-coxeter-digraph.hpp include/libsemigroups/todd-coxeter-digraph.tpp include/libsemigroups/todd-coxeter.hpp include/libsemigroups/transf.hpp include/libsemigroups/types.hpp include/libsemigroups/uf.hpp include/libsemigroups/ukkonen.hpp include/libsemigroups/ukkonen.tpp include/libsemigroups/wilo.hpp include/libsemigroups/wislo.hpp include/libsemigroups/word.hpp '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups' libtool: install: (cd /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib && { ln -s -f libsemigroups.so.2.0.0 libsemigroups.so || { rm -f libsemigroups.so && ln -s libsemigroups.so.2.0.0 libsemigroups.so; }; }) libtool: install: /usr/bin/install -c .libs/libsemigroups.lai /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/libsemigroups.la libtool: install: /usr/bin/install -c .libs/libsemigroups.a /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/libsemigroups.a libtool: install: chmod 644 /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/libsemigroups.a libtool: install: ranlib /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/libsemigroups.a libtool: warning: remember to run 'libtool --finish /usr/lib' make[1]: Leaving directory '/home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.1' >>> libsemigroups-static*: Running split function static... >>> libsemigroups-static*: Preparing subpackage libsemigroups-static... >>> libsemigroups-static*: Stripping binaries >>> libsemigroups-static*: Running postcheck for libsemigroups-static >>> libsemigroups-dev*: Running split function dev... >>> libsemigroups-dev*: Preparing subpackage libsemigroups-dev... >>> libsemigroups-dev*: Stripping binaries >>> libsemigroups-dev*: Running postcheck for libsemigroups-dev >>> libsemigroups*: Running postcheck for libsemigroups >>> libsemigroups*: Preparing package libsemigroups... >>> libsemigroups*: Stripping binaries >>> libsemigroups-dev*: Scanning shared objects >>> libsemigroups-static*: Scanning shared objects >>> libsemigroups*: Scanning shared objects >>> libsemigroups-dev*: Tracing dependencies... libsemigroups=2.7.1-r2 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-r2.apk >>> libsemigroups-static*: Tracing dependencies... >>> libsemigroups-static*: Package size: 4.8 MB >>> libsemigroups-static*: Compressing data... >>> libsemigroups-static*: Create checksum... >>> libsemigroups-static*: Create libsemigroups-static-2.7.1-r2.apk >>> libsemigroups*: Tracing dependencies... so:libc.musl-x86.so.1 so:libfmt.so.9 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-r2.apk >>> libsemigroups: Build complete at Tue, 01 Aug 2023 11:38:10 +0000 elapsed time 0h 13m 6s >>> libsemigroups: Cleaning up srcdir >>> libsemigroups: Cleaning up pkgdir >>> libsemigroups: Uninstalling dependencies... (1/4) Purging .makedepends-libsemigroups (20230801.112505) (2/4) Purging eigen-dev (3.4.0-r9) (3/4) Purging fmt-dev (9.1.0-r1) (4/4) Purging fmt (9.1.0-r1) OK: 379 MiB in 110 packages >>> libsemigroups: Updating the testing/x86 repository index... >>> libsemigroups: Signing the index...