>>> libsemigroups: Building testing/libsemigroups 2.3.2-r0 (using abuild 3.10.0_rc1-r2) started Sun, 13 Nov 2022 15:58:08 +0000 >>> libsemigroups: Checking sanity of /home/buildozer/aports/testing/libsemigroups/APKBUILD... >>> libsemigroups: Analyzing dependencies... >>> libsemigroups: Installing for build: build-base eigen-dev fmt-dev (1/4) Installing eigen-dev (3.4.0-r6) (2/4) Installing fmt (9.1.0-r0) (3/4) Installing fmt-dev (9.1.0-r0) (4/4) Installing .makedepends-libsemigroups (20221113.155809) OK: 390 MiB in 107 packages >>> libsemigroups: Cleaning up srcdir >>> libsemigroups: Cleaning up pkgdir >>> libsemigroups: Fetching https://distfiles.alpinelinux.org/distfiles/edge/libsemigroups-2.3.2.tar.gz % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 0 146 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 curl: (22) The requested URL returned error: 404 >>> libsemigroups: Fetching https://github.com/libsemigroups/libsemigroups/releases/download/v2.3.2/libsemigroups-2.3.2.tar.gz % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 24 2394k 24 585k 0 0 758k 0 0:00:03 --:--:-- 0:00:03 758k 100 2394k 100 2394k 0 0 2779k 0 --:--:-- --:--:-- --:--:-- 19.8M >>> libsemigroups: Fetching https://distfiles.alpinelinux.org/distfiles/edge/libsemigroups-2.3.2.tar.gz >>> libsemigroups: Checking sha512sums... libsemigroups-2.3.2.tar.gz: OK >>> libsemigroups: Unpacking /var/cache/distfiles/edge/libsemigroups-2.3.2.tar.gz... tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' checking build system type... 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 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 -march=avx... no configure: WARNING: flag -march=avx 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-felsch-tree.lo CXX src/libsemigroups_la-forest.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-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-suffix-tree.lo CXX src/libsemigroups_la-timer.lo CXX src/libsemigroups_la-todd-coxeter.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.3.2' CXX tests/bmat-data.o CXX tests/fpsemi-examples.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-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-string.o CXX tests/test-string-view.o CXX tests/test-suffix-tree.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-wilo.o CXX tests/test-wislo.o CXX tests/test-word.o In file included from /usr/include/c++/12.2.1/algorithm:61, from tests/test-matrix.cpp:17: In function 'void std::__final_insertion_sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = libsemigroups::StaticRowView*; _Compare = __gnu_cxx::__ops::_Iter_comp_iter >():: >]', inlined from 'void std::__sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = libsemigroups::StaticRowView*; _Compare = __gnu_cxx::__ops::_Iter_comp_iter >():: >]' at /usr/include/c++/12.2.1/bits/stl_algo.h:1940:31, inlined from 'void std::sort(_RAIter, _RAIter, _Compare) [with _RAIter = libsemigroups::StaticRowView*; _Compare = libsemigroups::{anonymous}::test_BMat000 >()::]' at /usr/include/c++/12.2.1/bits/stl_algo.h:4853:18, inlined from 'void libsemigroups::{anonymous}::test_BMat000() [with Mat = libsemigroups::StaticMatrix]' at tests/test-matrix.cpp:166:18: /usr/include/c++/12.2.1/bits/stl_algo.h:1849:32: warning: array subscript 16 is outside array bounds of 'libsemigroups::detail::StaticVector1, 2> [1]' [-Warray-bounds] 1849 | 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.3.2' ./test_all --use-colour yes --order lex --abort [quick] Filters: [quick] Action 001: row and column basis orbits for BMat8 . . . 125μs Action 002: row and column basis orbits for BMat8 . . . 23ms Action 003: add generators after enumeration . . . 14ms Action 004: multipliers for BMat8 row and column orbits . . . 17ms Action 005: orbits for regular boolean mat monoid 5 . . . 1225ms Action 007: partial perm image orbit . . . 244μs Action 008: partial perm image orbit . . . 67ms Action 009: partial perm image orbit . . . 74ms Action 010: partial perm image orbit . . . 74ms Action 011: permutation on integers . . . 21μs Action 012: permutation on sets, arrays . . . 115μs Action 013: permutation on tuples, arrays . . . 12ms Action 014: permutation on sets, vectors . . . 181μs Action 015: permutation on tuples, vectors . . . 18ms Action 016: misc . . . 9542μs Action 017: partial perm image orbit . . . 53μs Action 018: permutation on tuples, arrays (360360) . . . 176ms Action 019: orbits for regular BMat8 monoid 5 with stop/start . . . 1021ms Action 021: orbits for regular boolean mat monoid 5 (BMat<5> [...] . . . 451ms ActionDigraph 000: constructor with 1 default arg . . . 20μs ActionDigraph 001: constructor with 0 default args . . . 45μs ActionDigraph 002: add nodes . . . 25μs ActionDigraph 003: add edges . . . 324μs ActionDigraph 004: strongly connected components - cycles . . . 41μs ActionDigraph 005: strongly connected components - no edges . . . 48ms ActionDigraph 006: strongly connected components - disjoint cycles . . . 1825μs ActionDigraph 007: strongly connected components - complete graphs . . . 971μs ActionDigraph 008: exceptions . . . 64μs ActionDigraph 009: spanning forest - complete graphs . . . 4486μs ActionDigraph 010: spanning forest - disjoint cycles . . . 132μs ActionDigraph 011: restrict . . . 12μs ActionDigraph 012: remove_edge_nc . . . 15μs ActionDigraph 013: scc large cycle . . . 16ms ActionDigraph 014: random . . . 31μs ActionDigraph 015: reserve . . . 12μs ActionDigraph 016: default constructors . . . 16μs ActionDigraph 017: scc iterators . . . 1518μs ActionDigraph 018: iterator to edges . . . 648μs ActionDigraph 019: root of scc . . . 409μs ActionDigraph 020: cbegin/end_panislo - 100 node path . . . 555μs ActionDigraph 021: cbegin/end_pislo . . . 53μs ActionDigraph 022: cbegin/end_pani(s)lo - 100 node cycle . . . 1038μs ActionDigraph 023: cbegin/cend_pilo - tree 14 nodes . . . 95μs ActionDigraph 024: cbegin/end_pstilo - Cayley digraph . . . 203ms ActionDigraph 025: cbegin_pstilo - Tsalakou . . . 418μs ActionDigraph 026: cbegin/end_pstislo - Cayley digraph . . . 186ms ActionDigraph 027: cbegin/end_pstislo - Cayley digraph . . . 224μs ActionDigraph 028: path iterators corner cases . . . 211μs ActionDigraph 029: reverse node iterator . . . 12μs ActionDigraph 030: pstilo corner case . . . 66μs ActionDigraph 031: number_of_paths corner cases . . . 71μs ActionDigraph 032: number_of_paths acyclic digraph . . . 12ms ActionDigraph 033: number_of_paths binary tree . . . 509ms ActionDigraph 034: number_of_paths large binary tree . . . 159ms ActionDigraph 035: number_of_paths 400 node random digraph . . . 678μs ActionDigraph 036: number_of_paths 10 node acyclic digraph . . . 53μs ActionDigraph 037: number_of_paths node digraph . . . 4629μs ActionDigraph 038: random/random_acyclic exceptions . . . 133μs ActionDigraph 039: unsafe (next) neighbour . . . 92μs ActionDigraph 040: number_of_egdes incident to a node . . . 101μs ActionDigraph 041: number_of_paths (matrix) . . . 26ms ActionDigraph 042: number_of_paths (matrix) . . . 15μs ActionDigraph 043: swap_edge_nc . . . 12μs ActionDigraph 044: detail::pow for non-square Eigen matrix . . . 25μs ActionDigraph 045: operator<< . . . 18μs Array2 044: all . . . 60μs BMat8 001: transpose . . . 27μs BMat8 002: multiplication . . . 24μs BMat8 003: identity matrix . . . 16μs BMat8 004: random . . . 116μs BMat8 005: call operator . . . 21μs BMat8 006: operator<< . . . 20μs BMat8 007: set . . . 72μs BMat8 008: row space basis . . . 1572μs BMat8 009: col space basis . . . 1613μs BMat8 010: row space basis . . . 17ms BMat8 011: number_of_rows, number_of_cols . . . 50μs BMat8 012: row_space, col_space . . . 300μs BMat8 013: rows . . . 53μs BMat8 014: one . . . 12μs BMat8 015: vector constructor . . . 106μs BMat8 016: operator< . . . 16μs BMat8 017: adapters . . . 27μs BMat8 018: one . . . 12μs Bipartition 009: mem fns 1 . . . 31μs Bipartition 010: hash . . . 9000ns Bipartition 011: mem fns 2 . . . 24μs Bipartition 012: delete/copy . . . 10μs Bipartition 013: degree 0 . . . 12μs Bipartition 014: exceptions . . . 43μs Bipartition 015: convenience constructor . . . 288μs Bipartition 016: force copy constructor over move constructor . . . 19μs Bipartition 017: adapters . . . 10μs BitSet 000: size . . . 16μs BitSet 001: operator< . . . 10μs BitSet 002: operator== . . . 12μs BitSet 003: operator!= . . . 12μs BitSet 004: operator&= . . . 13μs BitSet 005: & . . . 16μs BitSet 006: operator|= . . . 16μs BitSet 007: operator[] . . . 18μs BitSet 008: set(none) . . . 24μs BitSet 009: set(pos, value) . . . 18μs BitSet 010: set(first, last, value) . . . 20μs BitSet 011: reset(first, last) . . . 20μs BitSet 012: reset(pos) . . . 20μs BitSet 013: apply (iterate through set bits) . . . 24μs BitSet 014: std::hash . . . 9000ns BitSet 015: constructors . . . 20μs BitSet 016: max_size . . . 10μs BitSet 017: insertion operators . . . 13μs Blocks 001: empty blocks . . . 13μs Blocks 002: non-empty blocks . . . 13μs Blocks 003: left blocks of bipartition . . . 15μs Blocks 004: right blocks of bipartition . . . 15μs Blocks 005: copy [empty blocks] . . . 12μs Blocks 006: copy [non-empty blocks] . . . 13μs Blocks 007: hash value . . . 13μs Blocks 008: operator< . . . 12μs Congruence 000: left congruence on fp semigroup . . . 145μs Congruence 001: 2-sided congruence on fp semigroup . . . 340μs Congruence 002: left congruence on fp semigroup . . . 240μs Congruence 003: word_to_class_index for cong. on fp semigroup . . . 333μs Congruence 004: word_to_class_index for cong. on fp semigroup . . . 478μs Congruence 005: trivial congruence on non-fp semigroup . . . 411μs Congruence 006: 2-sided congruence on non-fp semigroup . . . 400μs Congruence 007: 2-sided congruence on fp semigroup . . . 670μs Congruence 008: 2-sided congruence on infinite fp semigroup . . . 322μs Congruence 009: 2-sided congruence on infinite fp semigroup . . . 389μs Congruence 010: 2-sided congruence on finite semigroup . . . 36ms Congruence 012: 2-sided congruence on finite semigroup . . . 3402μs Congruence 013: trivial 2-sided congruence on bicyclic monoid . . . 27ms Congruence 014: non-trivial 2-sided congruence on bicyclic monoid . . . 335μs Congruence 015: 2-sided congruence on free abelian monoid . . . 340μs Congruence 016: example where TC works but KB doesn't . . . 634μs Congruence 017: 2-sided congruence on finite semigroup . . . 418μs Congruence 018: infinite fp semigroup from GAP library . . . 494μs Congruence 019: 2-sided cong. on fp semigroup with infinite [...] . . . 268μs Congruence 020: trivial cong. on an fp semigroup . . .  -- with compute size 271μs  -- with don't compute size 291μs Congruence 021: duplicate generators . . . 498μs Congruence 022: non-trivial classes . . . 1497μs Congruence 023: right congruence on finite semigroup . . . 423ms Congruence 024: redundant generating pairs . . . 222μs Congruence 025: 2-sided cong. on free semigroup . . . 184μs Congruence 026: is_quotient_obviously_(in)finite . . . 1994μs Congruence 027: less . . . 676μs Congruence 028: 2-sided congruences of BMat8 semigroup . . . 622ms Congruence 029: left congruence on finite semigroup . . . 545μs Congruence 030: right congruence on finite semigroup . . . 503μs Congruence 031: right congruence on finite semigroup . . . 614μs Congruence 032: contains . . . 161μs Congruence 033: Stellar S2 . . . 613μs Congruence 034: Stellar S3 . . . 884μs Congruence 035: Stellar S4 . . . 1569μs Congruence 036: Stellar S5 . . . 9124μs Congruence 037: Stellar S6 . . . 68ms Congruence 038: Stellar S7 . . . 860ms Congruence 039: left cong. on an f.p. semigroup . . . 1595μs Congruence 040: 2-sided cong. on infinite f.p. semigroup . . . 275μs Congruence 041: 2-sided congruence constructed from type only . . . 572μs Congruence 042: const_contains . . . 572μs Congruence 043: no winner . . . 7459μs Congruence 044: congruence over smalloverlap . . . 11ms CongruenceByPairs 001: (cong) 2-sided cong. on finite semigroup . . . 666μs CongruenceByPairs 002: (cong) left congruence on finite semigroup . . . 243μs CongruenceByPairs 003: (cong) right congruence on finite semigroup . . . 238μs CongruenceByPairs 004: (cong) trivial congruence on finite s [...] . . . 173μs CongruenceByPairs 005: (cong) trivial left congruence on fin [...] . . . 155μs CongruenceByPairs 006: (cong) trivial right congruence on fi [...] . . . 153μs CongruenceByPairs 007: (cong) universal congruence on finite [...] . . . 690μs CongruenceByPairs 009: (cong) 2-sided congruence on finite s [...] . . . 802ms CongruenceByPairs 010: (cong) left congruence on big finite [...] . . . 31ms CongruenceByPairs 011: (cong) left congruence on TCE . . . 162μs CongruenceByPairs 012: (cong) is_quotient_obviously_finite . . . 77μs CongruenceByPairs 013: (cong) class_index_to_word/quotient . . .  -- with right congruence 9190μs  -- with left congruence 1206μs  -- with 2-sided congruence 6629μs CongruenceByPairs 014: (cong) const_word_to_class_index . . .  -- with right congruence 40μs  -- with left congruence 33μs  -- with 2-sided congruence 30μs CongruenceByPairs 015: (cong) size non-Element* . . . 27ms CongruenceInterface 000: add_pair . . .  -- with ToddCoxeter 82μs  -- with KnuthBendix 138μs  -- with CongruenceByPairs 103μs  -- with Congruence 436μs CongruenceInterface 001: contains/const_contains . . .  -- with ToddCoxeter and no parent 105μs  -- with KnuthBendix and no parent 125μs  -- with Congruence and parent 375μs  -- with CongruenceByPairs and parent 85μs CongruenceInterface 002: less . . .  -- with ToddCoxeter 77μs  -- with KnuthBendix 153μs  -- with CongruenceByPairs 88μs  -- with Congruence 333μs CongruenceInterface 003: is_quotient_obviously_(in)finite . . .  -- with ToddCoxeter 96μs  -- with KnuthBendix 115μs CongruenceInterface 004: is_quotient_obviously_(in)finite . . .  -- with CongruenceByPairs 92μs  -- with Congruence 384μs CongruenceInterface 005: parent_froidure_pin . . .  -- with ToddCoxeter 31μs  -- with KnuthBendix 23μs CongruenceInterface 006: parent_froidure_pin . . .  -- with CongruenceByPairs 87μs  -- with Congruence 335μs CongruenceInterface 007: cbegin/cend_ntc . . .  -- with ToddCoxeter 268μs  -- with KnuthBendix 1211μs CongruenceInterface 008: cbegin/cend_ntc . . .  -- with CongruenceByPairs 218μs  -- with Congruence 501μs CongruenceInterface 009: quotient is immutable . . .  -- with ToddCoxeter 72μs  -- with KnuthBendix 119μs  -- with Congruence 242μs CongruenceInterface 010: no generating pairs added . . .  -- with KnuthBendix and common behaviour 5069μs  -- with Congruence and common behaviour 5269μs  -- with ToddCoxeter 67μs CongruenceInterface 011: nr generators not set . . .  -- with ToddCoxeter 110μs  -- with KnuthBendix 101μs  -- with Congruence 103μs CongruenceInterface 012: no generating pairs . . . 180μs ConstIteratorStateless 001: ? . . . 10μs ConstIteratorStateless 002: ? . . . 10μs Constants 001: Undefined . . . 13μs Constants 002: PositiveInfinity . . . 16μs Constants 003: NegativeInfinity . . . 15μs Constants 004: LimitMax . . . 15μs Duf 004: unite . . . 31μs Duf 006: compress . . . 20μs Duf 008: resize . . . 20μs Duf 009: resize . . . 12μs Duf 010: big chain . . . 18ms Duf 012: empty table . . . 10μs Duf 014: join . . . 13μs Duf 016: contains . . . 29μs Duf 018: swap . . . 33μs DynamicArray2 001: default constructor with 3 default args . . . 20μs DynamicArray2 002: default constructor with 2 default args . . . 10μs DynamicArray2 003: default constructor with 1 default args . . . 12μs DynamicArray2 004: default constructor with 0 default args . . . 10μs DynamicArray2 005: copy constructor with 1 default args . . . 12μs DynamicArray2 006: copy constructor with 0 default args . . . 15μs DynamicArray2 007: add_rows . . . 13μs DynamicArray2 008: add_rows . . . 12μs DynamicArray2 009: add_cols . . . 30μs DynamicArray2 010: set/get . . . 38μs DynamicArray2 011: append 1/2 . . . 87μs DynamicArray2 012: append 2/2 . . . 152μs DynamicArray2 013: count . . . 15μs DynamicArray2 014: clear . . . 10μs DynamicArray2 015: begin_row and end_row . . . 57μs DynamicArray2 016: cbegin_row and cend_row . . . 25μs DynamicArray2 017: iterator operator++ (postfix) . . . 255μs DynamicArray2 018: iterator operator++ (prefix) . . . 1575μs DynamicArray2 019: iterator operator-- (postfix) . . . 317μs DynamicArray2 020: iterator operator-- (prefix) . . . 313μs DynamicArray2 021: operator= . . . 15μs DynamicArray2 022: operator== and operator!= . . . 244μs DynamicArray2 023: empty and clear . . . 13μs DynamicArray2 024: max_size . . . 10μs DynamicArray2 025: swap . . . 34μs DynamicArray2 026: iterator arithmetic . . . 1355μs DynamicArray2 027: iterator comparison . . . 13μs DynamicArray2 028: iterator operator= . . . 10μs DynamicArray2 029: iterator operator[] . . . 73μs DynamicArray2 030: iterator operator-> . . . 27μs DynamicArray2 031: const_iterator operator++/-- . . . 212μs DynamicArray2 032: const_iterator operator++/-- . . . 10μs DynamicArray2 033: column iterators . . . 24μs DynamicArray2 034: column iterator arithmetic . . . 5465μs DynamicArray2 035: iterator assignment constructor . . . 1562μs DynamicArray2 036: reserve method . . . 77μs DynamicArray2 037: erase column . . . 15μs DynamicArray2 038: swap_rows . . . 12μs DynamicArray2 039: apply_row_permutation . . . 12μs DynamicArray2 040: swap . . . 12μs DynamicArray2 041: shrink_rows_to . . . 15μs DynamicArray2 042: shrink_rows_to - for range . . . 15μs FastestBMat 046: check no throw . . . 16μs FelschTree 000: previously failing example . . . 26μs Forest 001: test forest . . . 69μs FpSemigroup 001: Renner monoid type B2 (E. G. presentation), q = 1 . . . 979μs FpSemigroup 002: Renner monoid type B2 (E. G. presentation), q = 0 . . . 989μs FpSemigroup 003: Renner monoid type B3 (E. G. presentation), q = 1 . . . 65ms FpSemigroup 004: Renner monoid type B3 (E. G. presentation), q = 0 . . . 76ms FpSemigroup 005: Renner monoid type B2 (Gay-Hivert presentat [...] . . . 1255μs FpSemigroup 006: Renner monoid type B2 (Gay-Hivert presentat [...] . . . 1247μs FpSemigroup 007: Renner monoid type B3 (Gay-Hivert presentat [...] . . . 4729μs FpSemigroup 008: Renner monoid type B3 (Gay-Hivert presentat [...] . . . 4485μs FpSemigroup 009: Renner monoid type B4 (Gay-Hivert presentat [...] . . . 326ms FpSemigroup 010: Renner monoid type B4 (Gay-Hivert presentat [...] . . . 516ms FpSemigroup 013: Renner monoid type D2 (E. G. presentation), q = 1 . . . 2262μs FpSemigroup 014: Renner monoid type D2 (E. G. presentation), q = 0 . . . 2203μs FpSemigroup 015: Renner monoid type D3 (E. G. presentation), q = 1 . . . 6882μs FpSemigroup 016: Renner monoid type D3 (E. G. presentation), q = 0 . . . 5625μs FpSemigroup 017: Renner monoid type D4 (E. G. presentation), q = 1 . . . 735ms FpSemigroup 018: Renner monoid type D4 (E. G. presentation), q = 0 . . . 709ms FpSemigroup 019: Renner monoid type D2 (Gay-Hivert presentat [...] . . . 1985μs FpSemigroup 020: Renner monoid type D2 (Gay-Hivert presentat [...] . . . 1801μs FpSemigroup 021: Renner monoid type D3 (Gay-Hivert presentat [...] . . . 7104μs FpSemigroup 022: Renner monoid type D3 (Gay-Hivert presentat [...] . . . 6138μs FpSemigroup 023: Renner monoid type D4 (Gay-Hivert presentat [...] . . . 115ms FpSemigroup 024: Renner monoid type D4 (Gay-Hivert presentat [...] . . . 129ms FpSemigroup 029: Rook monoid R5, q = 0 . . . 6866μs FpSemigroup 030: Rook monoid R5, q = 1 . . . 7102μs FpSemigroup 031: Rook monoid R6, q = 0 . . . 63ms FpSemigroup 032: Rook monoid R6, q = 1 . . . 54ms FpSemigroup 033: normal_form . . . 397μs FpSemigroup 034: for a finite semigroup . . . 1054μs FpSemigroup 035: finite fp semigroup, dihedral group of order 6 . . . 794μs FpSemigroup 036: finite fp semigroup, size 16 . . . 1170μs FpSemigroup 037: finite fp semigroup, size 16 . . . 2443μs FpSemigroup 038: fp semigroup, size 240 . . . 1425μs FpSemigroup 039: add_rule . . . 524μs FpSemigroup 040: add_rule . . . 297μs FpSemigroup 041: equal_to . . . 536μs FpSemigroup 042: cbegin/cend_rules . . . 131μs FpSemigroup 043: semigroup of size 3 . . . 791μs FpSemigroup 044: run_for/until . . . 2860μs FpSemigroup 045: constructors . . . 340μs FpSemigroup 046: set_inverses . . . 215μs FpSemigroup 047: smalloverlap . . . 14ms FpSemigroup 048: quaternion group Q8 . . . 787μs FpSemigroup 049: symmetric group Coxeter presentation . . . 33ms FpSemigroupByPairs 029: (fpsemi) 2-sided congruence on finit [...] . . . 1012μs FpSemigroupByPairs 030: (fpsemi) 2-sided congruence on finit [...] . . . 939μs FpSemigroupInterface 000: run with no alphabet . . .  -- with ToddCoxeter 137μs  -- with KnuthBendix 63μs  -- with FpSemigroup 77μs FpSemigroupInterface 001: equal_to . . .  -- with ToddCoxeter and human readable alphabet 3595μs  -- with KnuthBendix and human readable alphabet 8139μs  -- with FpSemigroup and human readable alphabet 8271μs  -- with FpSemigroupByPairs 5650μs FpSemigroupInterface 002: normal_form . . .  -- with ToddCoxeter 304μs  -- with KnuthBendix 433μs  -- with FpSemigroup 788μs FpSemigroupInterface 003: set_alphabet (1/2) . . .  -- with ToddCoxeter 203μs  -- with KnuthBendix 164μs  -- with FpSemigroup 183μs FpSemigroupInterface 004: set_alphabet (2/2) . . . 2014μs FpSemigroupInterface 005: add_rule after finished . . .  -- with ToddCoxeter and human readable alphabet 250μs  -- with KnuthBendix and human readable alphabet 340μs  -- with FpSemigroup and human readable alphabet 640μs  -- with FpSemigroupByPairs 1962μs FpSemigroupInterface 006: add_rule with equal words (1/2) . . .  -- with ToddCoxeter and human readable alphabet 355μs  -- with KnuthBendix and human readable alphabet 476μs  -- with FpSemigroup and human readable alphabet 619μs  -- with FpSemigroupByPairs 344μs FpSemigroupInterface 007: add_rule with equal words (2/2) . . .  -- with ToddCoxeter 53μs  -- with KnuthBendix 43μs  -- with FpSemigroup 58μs FpSemigroupInterface 008: add_rule with word_type . . .  -- with ToddCoxeter 106μs  -- with KnuthBendix 83μs  -- with FpSemigroup 194μs FpSemigroupInterface 009: add_rule with empty word (1/2) . . .  -- with ToddCoxeter 82μs  -- with FpSemigroup 82μs FpSemigroupInterface 010: add_rule with empty word (1/2) . . . 33μs FpSemigroupInterface 011: add_rules (1/3) . . .  -- with ToddCoxeter 90μs  -- with KnuthBendix 76μs  -- with FpSemigroup 87μs FpSemigroupInterface 012: add_rules (2/3) . . . 714μs FpSemigroupInterface 013: add_rules (3/3) . . .  -- with ToddCoxeter 62μs  -- with KnuthBendix 50μs  -- with FpSemigroup 156μs FpSemigroupInterface 014: set_identity (1/3) . . .  -- with ToddCoxeter 222μs  -- with KnuthBendix 221μs  -- with FpSemigroup 324μs FpSemigroupInterface 015: set_identity (2/3) . . . 456μs FpSemigroupInterface 016: set_identity (3/3) . . .  -- with ToddCoxeter 152μs  -- with KnuthBendix 134μs  -- with FpSemigroup 259μs FpSemigroupInterface 017: identity . . .  -- with ToddCoxeter 68μs  -- with KnuthBendix 50μs  -- with FpSemigroup 63μs FpSemigroupInterface 018: set_inverses + inverses (1/2) . . .  -- with ToddCoxeter 320μs  -- with KnuthBendix 304μs  -- with FpSemigroup 473μs FpSemigroupInterface 019: set_inverses + inverses (2/2) . . . 623μs FpSemigroupInterface 020: is_obviously_infinite (1/2) . . .  -- with ToddCoxeter 213μs  -- with KnuthBendix 335μs  -- with FpSemigroup 565μs FpSemigroupInterface 021: is_obviously_infinite (2/2) . . . 72μs FpSemigroupInterface 022: is_obviously_finite (1/2) . . .  -- with ToddCoxeter 193μs  -- with KnuthBendix 320μs  -- with FpSemigroup 585μs FpSemigroupInterface 023: is_obviously_finite (2/2) . . . 69μs FpSemigroupInterface 024: to_gap_string (1/3) . . .  -- with ToddCoxeter 60μs  -- with KnuthBendix 50μs  -- with FpSemigroup 168μs FpSemigroupInterface 025: to_gap_string (2/3) . . . 55μs FpSemigroupInterface 026: to_gap_string (3/3) . . . 55μs FroidurePin 016: (BMat8) exception zero generators given . . . 38μs FroidurePin 017: (BMat8) exception word_to_element . . . 135μs FroidurePin 018: (BMat8) exception prefix . . . 4689μs FroidurePin 019: (BMat8) exception suffix . . . 46μs FroidurePin 020: (BMat8) exception first_letter . . . 4660μs FroidurePin 021: (BMat8) exception final_letter . . . 46μs FroidurePin 022: (BMat8) exception current_length . . . 4296μs FroidurePin 023: (BMat8) exception product_by_reduction . . . 3756μs FroidurePin 024: (BMat8) exception fast_product . . . 5035μs FroidurePin 025: (BMat8) exception is_idempotent . . . 492ms FroidurePin 026: (BMat8) copy constructor . . .  -- with fully enumerated 2079ms  -- with partially enumerated 467ms  -- with not enumerated 297ms FroidurePin 027: (BMat8) cbegin/end_rules . . . 58μs FroidurePin 031: (integers) . . . 145μs FroidurePin 039: (pairs of integers) non-trivial user type . . . 30μs FroidurePin 055: (tropical max-plus semiring matrices) . . . 282μs FroidurePin 061: projective max plus matrix . . . 1054μs FroidurePin 062: projective max plus matrix . . . 34μs FroidurePin> 009: small example 2 . . . 50μs FroidurePin> 005: small example 1 . . . 117μs FroidurePin> 007: regular bmat monoid 4 . . . 65ms FroidurePin> 011: small example 3 . . . 564μs FroidurePin> 006: small example 1 . . . 137μs FroidurePin> 008: regular bmat monoid 4 . . . 79ms FroidurePin> 010: small example 2 . . . 38μs FroidurePin> 012: small example 3 . . . 659μs FroidurePin 000: small example 1 . . . 146μs FroidurePin 001: default constructed . . . 115μs FroidurePin 002: small example 2 . . . 48μs FroidurePin 004: exception: is_idempotent . . . 185μs FroidurePin> 033: Example 000 . . . 3269μs FroidurePin> 035: Example 001 . . . 45μs FroidurePin> 032: Example 000 . . . 3125μs FroidurePin> 034: Example 001 . . . 41μs FroidurePin 036: exception: current_position . . . 133μs FroidurePin 037: exception: word_to_element . . . 77μs FroidurePin 038: exception: prefix, suffix, first_letter . . . 27ms FroidurePin> 040: Example 000 . . . 73μs FroidurePin> 041: Example 000 . . . 62μs FroidurePin> 046: Example 005 . . . 147μs FroidurePin> 047: Example 005 . . . 189μs FroidurePin> 048: Example 005 . . . 232μs FroidurePin> 044: Example 004 . . . 50μs FroidurePin> 045: Example 004 . . . 46μs FroidurePin> 049: Example 006 . . . 1005μs FroidurePin> 050: Example 006 . . . 1199μs FroidurePin> 051: Example 006 . . . 1237μs FroidurePin> 052: Example 007 . . . 121μs FroidurePin> 053: Example 007 . . . 135μs FroidurePin> 054: Example 007 . . . 151μs FroidurePin 056: example 1 . . . 192μs FroidurePin 057: example 2 . . . 163μs FroidurePin> 058: . . . 582μs FroidurePin> 059: . . . 50μs FroidurePin> 060: exceptions: add_generator(s) . . . 63μs FroidurePin> 065: no exception zero generators given . . . 15μs FroidurePin> 066: exception generators of different [...] . . . 62μs FroidurePin> 067: exception current_position . . . 48μs FroidurePin> 068: exception word_to_element . . . 50μs FroidurePin> 069: exception gens . . . 595μs FroidurePin> 070: exception prefix . . . 31ms FroidurePin> 071: exception suffix . . . 81ms FroidurePin> 072: exception first_letter . . . 58μs FroidurePin> 073: exception final_letter . . . 55μs FroidurePin> 074: exception current_length . . . 53μs FroidurePin> 075: exception product_by_reduction . . . 507μs FroidurePin> 076: exception fast_product . . . 527μs FroidurePin> 077: exception current_position . . . 595μs FroidurePin> 078: exception is_idempotent . . . 639μs FroidurePin> 079: exception add_generators . . . 41μs FroidurePin> 080: multithread number_of_idempotents . . . 537μs FroidurePin> 081: small semigroup . . . 29μs FroidurePin> 082: large semigroup . . . 6459μs FroidurePin> 083: at, position, current_* . . . 6553μs FroidurePin> 084: run . . . 6244μs FroidurePin> 085: run [many stops and starts] . . . 6283μs FroidurePin> 086: factorisation, length [1 element] . . . 6158μs FroidurePin> 087: factorisation, products [all elements] . . . 8030μs FroidurePin> 088: first/final letter, prefix, suffi [...] . . . 6183μs FroidurePin> 089: current_position [standard] . . . 27μs FroidurePin> 090: current_position [duplicate gens] . . . 11ms FroidurePin> 091: current_position [after add_generators] . . . 6891μs FroidurePin> 092: cbegin_idempotents/cend [1 thread] . . . 6955μs FroidurePin> 093: idempotent_cend/cbegin [1 thread] . . . 6947μs FroidurePin> 094: is_idempotent [1 thread] . . . 6487μs FroidurePin> 096: finished, started . . . 6219μs FroidurePin> 097: current_position . . . 1513μs FroidurePin> 098: sorted_position, sorted_at . . . 8198μs FroidurePin> 099: right/left Cayley graph . . . 33ms FroidurePin> 100: iterator . . . 10ms FroidurePin> 101: reverse iterator . . . 10ms FroidurePin> 102: iterator arithmetic . . . 32ms FroidurePin> 103: iterator sorted . . . 25ms FroidurePin> 104: iterator sorted arithmetic . . . 34ms FroidurePin> 105: copy [not enumerated] . . . 6393μs FroidurePin> 106: copy_closure [not enumerated] . . . 40ms FroidurePin> 107: copy_add_generators [not enumerated] . . . 37ms FroidurePin> 108: copy [partly enumerated] . . . 6871μs FroidurePin> 109: copy_closure [partly enumerated] . . . 10ms FroidurePin> 110: copy_add_generators [partly enumerated] . . . 7001μs FroidurePin> 111: copy [fully enumerated] . . . 10ms FroidurePin> 112: copy_closure [fully enumerated] . . . 10ms FroidurePin> 113: copy_add_generators [fully enumerated] . . . 9728μs FroidurePin> 114: relations [duplicate gens] . . . 185μs FroidurePin> 115: relations . . . 8897μs FroidurePin> 116: relations [copy_closure, duplicat [...] . . . 11ms FroidurePin> 117: relations [copy_add_generators, d [...] . . . 11ms FroidurePin> 118: relations [from copy, not enumerated] . . . 7552μ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 [...] . . . 7557μs FroidurePin> 123: relations [from copy_closure, par [...] . . . 11ms FroidurePin> 124: relations [from copy_add_generato [...] . . . 9629μs FroidurePin> 125: relations [from copy_closure, ful [...] . . . 13ms FroidurePin> 126: relations [from copy_add_generato [...] . . . 12ms FroidurePin> 127: add_generators [duplicate generators] . . . 315μs FroidurePin> 128: add_generators [incremental 1] . . . 373μs FroidurePin> 129: add_generators [incremental 2] . . . 445μs FroidurePin> 130: closure [duplicate generators] . . . 216μs FroidurePin> 131: closure . . . 116μs FroidurePin> 132: factorisation . . . 25μs FroidurePin> 134: minimal_factorisation . . . 58μs FroidurePin> 135: batch_size (for an extremely larg [...] . . . 25μs FroidurePin> 137: exception: generators of differen [...] . . . 30μs FroidurePin> 138: exception: current_position . . . 48μs FroidurePin> 139: exception: word_to_element . . . 48μs FroidurePin> 140: exception: gens, current_position . . . 882μs FroidurePin> 141: exception: add_generators . . . 36μs KBE 000: constructors . . . 46μs KBE 001: test . . . 71μs KBE 002: factorisation . . . 51μs KBE 003: swap . . . 33μs KBE 004: adapters . . . 33μs KBE 005: conversions . . . 33μs Kambites 000: (fpsemi) MT test 4 (std::string) . . . 6519μs Kambites 001: (fpsemi) MT test 4 (MultiStringView) . . . 7361μs Kambites 002: (fpsemi) number_of_pieces (std::string) . . . 132μs Kambites 003: (fpsemi) number_of_pieces (MultiStringView) . . . 119μs Kambites 004: (fpsemi) small_overlap_class (std::string) . . . 3467μs Kambites 005: (fpsemi) small_overlap_class (MultiStringView) . . . 3363μs Kambites 006: (fpsemi) random (std::string) . . . 11ms Kambites 007: (fpsemi) random (MultiStringView) . . . 11ms Kambites 008: (fpsemi) KnuthBendix 055 (std::string) . . . 15ms Kambites 009: (fpsemi) KnuthBendix 055 (MultiStringView) . . . 18ms Kambites 010: (fpsemi) smalloverlap/gap/test.gi:85 (std::string) . . . 90μs Kambites 011: (fpsemi) smalloverlap/gap/test.gi:85 (MultiStr [...] . . . 77μs Kambites 012: (fpsemi) free semigroup . . . 12μs Kambites 013: (fpsemi) smalloverlap/gap/test.gi:49 (std::string) . . . 35ms Kambites 014: (fpsemi) smalloverlap/gap/test.gi:49 (MultiStr [...] . . . 46ms Kambites 015: (fpsemi) smalloverlap/gap/test.gi:63 (std::string) . . . 37ms Kambites 016: (fpsemi) smalloverlap/gap/test.gi:63 (MultiStr [...] . . . 52ms Kambites 017: (fpsemi) smalloverlap/gap/test.gi:70 (std::string) . . . 135ms Kambites 018: (fpsemi) smalloverlap/gap/test.gi:70 (MultiStr [...] . . . 192ms Kambites 021: (fpsemi) code coverage (std::string) . . . 73μs Kambites 022: (fpsemi) code coverage (MultiStringView) . . . 57μs Kambites 023: (fpsemi) prefix (std::string) . . . 73μs Kambites 024: (fpsemi) prefix (MultiStringView) . . . 109μs Kambites 025: (fpsemi) normal_form (Example 3.15) (std::string) . . . 78μs Kambites 026: (fpsemi) normal_form (Example 3.15) (MultiStri [...] . . . 106μs Kambites 027: (fpsemi) normal_form (Example 3.16) (std::string) . . . 57μs Kambites 028: (fpsemi) normal_form (Example 3.16) (MultiStri [...] . . . 74μs Kambites 029: (fpsemi) normal_form (Example 3.16) more exhau [...] . . . 95ms Kambites 030: (fpsemi) normal_form (Example 3.16) more exhau [...] . . . 95ms Kambites 031: (fpsemi) small presentation (std::string) . . . 90μs Kambites 032: (fpsemi) small presentation (MultiStringView) . . . 53μs Kambites 033: (fpsemi) non-smalloverlap (std::string) . . . 82μs Kambites 034: (fpsemi) non-smalloverlap (MultiStringView) . . . 77μs Kambites 035: (fpsemi) MT test 3 (std::string) . . . 55μs Kambites 036: (fpsemi) MT test 3 (MultiStringView) . . . 55μs Kambites 037: (fpsemi) MT test 5 (std::string) . . . 31μs Kambites 038: (fpsemi) MT test 5 (MultiStringView) . . . 33μs Kambites 039: (fpsemi) MT test 6 (std::string) . . . 43μs Kambites 040: (fpsemi) MT test 6 (MultiStringView) . . . 55μs Kambites 041: (fpsemi) MT test 10 (std::string) . . . 40μs Kambites 042: (fpsemi) MT test 10 (MultiStringView) . . . 48μs Kambites 043: (fpsemi) MT test 13 (std::string) . . . 31μs Kambites 044: (fpsemi) MT test 13 (MultiStringView) . . . 33μs Kambites 045: (fpsemi) MT test 14 (std::string) . . . 30μs Kambites 046: (fpsemi) MT test 14 (MultiStringView) . . . 31μs Kambites 047: (fpsemi) MT test 15 (std::string) . . . 60μs Kambites 048: (fpsemi) MT test 15 (MultiStringView) . . . 60μs Kambites 049: (fpsemi) MT test 16 (std::string) . . . 58μs Kambites 050: (fpsemi) MT test 16 (MultiStringView) . . . 71μs Kambites 051: (fpsemi) MT test 17 (std::string) . . . 126μs Kambites 052: (fpsemi) MT test 17 (MultiStringView) . . . 120μs Kambites 053: (fpsemi) weak C(4) not strong x 1 (std::string) . . . 596μs Kambites 054: (fpsemi) weak C(4) not strong x 1 (MultiStringView) . . . 738μs Kambites 055: (fpsemi) weak C(4) not strong x 2 (std::string) . . . 599μs Kambites 056: (fpsemi) weak C(4) not strong x 2 (MultiStringView) . . . 742μs Kambites 057: (fpsemi) weak C(4) not strong x 3 (std::string) . . . 631μs Kambites 058: (fpsemi) weak C(4) not strong x 3 (MultiStringView) . . . 577μs Kambites 059: (fpsemi) weak C(4) not strong x 4 (std::string) . . . 78μs Kambites 060: (fpsemi) weak C(4) not strong x 4 (MultiStringView) . . . 105μs Kambites 061: (fpsemi) weak C(4) not strong x 5 (std::string) . . . 29μs Kambites 062: (fpsemi) weak C(4) not strong x 5 (MultiStringView) . . . 25μs Kambites 063: (fpsemi) weak C(4) not strong x 6 (std::string) . . . 53μs Kambites 064: (fpsemi) weak C(4) not strong x 6 (MultiStringView) . . . 60μs Kambites 065: (fpsemi) Konovalov example (std::string) . . . 41μs Kambites 066: (fpsemi) Konovalov example (MultiStringView) . . . 38μs Kambites 067: (fpsemi) long words (std::string) . . . 1232ms Kambites 068: (fpsemi) long words (MultiStringView) . . . 47ms Kambites 075: (cong) example 1 . . . 50μs Kambites 076: (cong) example 2 . . . 129μs Kambites 077: (cong) code coverage . . . 6688μs Kambites 078: (cong) large number of rules . . . 226ms KnuthBendix 000: (fpsemi) confluent fp semigroup 1 (infinite) . . . 128μs KnuthBendix 001: (fpsemi) confluent fp semigroup 2 (infinite) . . . 134μs KnuthBendix 002: (fpsemi) confluent fp semigroup 3 (infinite) . . . 98μs KnuthBendix 003: (fpsemi) non-confluent fp semigroup from wi [...] . . . 155μs KnuthBendix 004: (fpsemi) Example 5.1 in Sims (infinite) . . . 129μs KnuthBendix 005: (fpsemi) Example 5.1 in Sims (infinite) . . . 124μs KnuthBendix 006: (fpsemi) Example 5.3 in Sims . . . 114μs KnuthBendix 007: (fpsemi) Example 5.4 in Sims . . . 126μs KnuthBendix 008: (fpsemi) Example 6.4 in Sims (size 168) . . . 8267μs KnuthBendix 009: (fpsemi) . . . 50ms KnuthBendix 010: (fpsemi) SL(2, 7) from Chapter 3, Propositi [...] . . . 83ms KnuthBendix 011: (fpsemi) F(2, 5) - Chapter 9, Section 1 in [...] . . . 445μs KnuthBendix 012: (fpsemi) Reinis example 1 . . . 184μs KnuthBendix 013: redundant_rule (std::string) . . . 100ms KnuthBendix 014: redundant_rule (word_type) . . . 10ms KnuthBendix 019: (fpsemi) C(4) monoid . . . 38μs KnuthBendix 020: (cong) Chinese monoid . . . 128μs KnuthBendix 021: (from kbmag/standalone/kb_data/f25monoid) . . . 522μs KnuthBendix 022: (from kbmag/standalone/kb_data/degen4a) . . . 55ms KnuthBendix 023: (from kbmag/standalone/kb_data/torus) . . . 2138μs KnuthBendix 024: (from kbmag/standalone/kb_data/3a6) . . . 257ms KnuthBendix 025: (from kbmag/standalone/kb_data/f2) . . . 53μs KnuthBendix 026: (from kbmag/standalone/kb_data/s16) . . . 71ms KnuthBendix 027: (from kbmag/standalone/kb_data/a4monoid) . . . 58μs KnuthBendix 028: (from kbmag/standalone/kb_data/degen3) . . . 24μs KnuthBendix 029: (from kbmag/standalone/kb_data/ab1) . . . 24μs KnuthBendix 030: (from kbmag/standalone/kb_data/degen2) . . . 16μs KnuthBendix 031: (from kbmag/standalone/kb_data/f25) . . . 456μs KnuthBendix 032: (from kbmag/standalone/kb_data/237) . . . 580μs KnuthBendix 033: (from kbmag/standalone/kb_data/c2) . . . 19μs KnuthBendix 034: (from kbmag/standalone/kb_data/cosets) . . . 225μs KnuthBendix 035: Example 5.1 in Sims (KnuthBendix 09 again) . . . 50μs KnuthBendix 036: (from kbmag/standalone/kb_data/nilp2) . . . 45μs KnuthBendix 037: Example 6.4 in Sims . . . 13ms KnuthBendix 038: KnuthBendix 071 again . . . 657μs KnuthBendix 039: Example 5.4 in Sims (KnuthBendix 11 again) [...] . . . 191μs KnuthBendix 040: Example 5.4 in Sims (KnuthBendix 11 again) [...] . . . 133μs KnuthBendix 041: operator<< . . . 58μs KnuthBendix 042: confluence_interval . . . 18μs KnuthBendix 043: max_overlap . . . 16μs KnuthBendix 044: (fpsemi) (from kbmag/standalone/kb_data/d22 [...] . . . 1281μs KnuthBendix 045: (fpsemi) (from kbmag/standalone/kb_data/d22 [...] . . . 2396μs KnuthBendix 046: (fpsemi) small example . . . 723μs KnuthBendix 047: code coverage . . . 53μs KnuthBendix 048: small overlap 1 . . . 48μs KnuthBendix 049: (from kbmag/standalone/kb_data/s9) . . . 1557μs KnuthBendix 050: (fpsemi) Chapter 11, Lemma 1.8 (q = 6, r = [...] . . . 672μs KnuthBendix 051: (fpsemi) Chapter 11, Section 2 (q = 6, r = [...] . . . 127μs KnuthBendix 052: (fpsemi) Chapter 8, Theorem 4.2 in NR (infinite) . . . 226μs KnuthBendix 053: (fpsemi) equal_to fp semigroup . . . 67μs KnuthBendix 054: (fpsemi) equal_to free semigroup . . . 63μs KnuthBendix 055: (fpsemi) from GAP smalloverlap gap/test.gi [...] . . . 284μs KnuthBendix 056: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 460μs KnuthBendix 057: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 444μs KnuthBendix 058: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 1258μs KnuthBendix 059: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 2929μs KnuthBendix 060: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 31μs KnuthBendix 061: (fpsemi) Von Dyck (2,3,7) group (infinite) . . . 880μs KnuthBendix 062: (fpsemi) Von Dyck (2,3,7) group - different [...] . . . 4742μs KnuthBendix 063: (fpsemi) rewriting system from KnuthBendixC [...] . . . 402μs KnuthBendix 064: (fpsemi) rewriting system from Congruence 20 . . . 31μs KnuthBendix 065: (fpsemi) (from kbmag/standalone/kb_data/ab2) . . . 93μs KnuthBendix 066: (fpsemi) (from kbmag/standalone/kb_data/d22 [...] . . . 1335μs KnuthBendix 067: (fpsemi) (from kbmag/standalone/kb_data/degen1) . . . 46μs KnuthBendix 068: (fpsemi) (from kbmag/standalone/kb_data/s4) . . . 333μs KnuthBendix 069: (fpsemi) fp semigroup (infinite) . . . 66μs KnuthBendix 070: (fpsemi) Chapter 11, Section 1 (q = 4, r = [...] . . . 1840μs KnuthBendix 071: (fpsemi) Chapter 11, Section 1 (q = 8, r = [...] . . . 110ms KnuthBendix 072: (fpsemi) Chapter 7, Theorem 3.9 in NR (size 240) . . . 3412μs KnuthBendix 073: (fpsemi) F(2, 5) - Chapter 9, Section 1 in [...] . . . 462μs KnuthBendix 074: (fpsemi) F(2, 6) - Chapter 9, Section 1 in NR . . . 453μs KnuthBendix 075: (fpsemi) Chapter 10, Section 4 in NR (infinite) . . . 1222μs KnuthBendix 076: (fpsemi) Sym(5) from Chapter 3, Proposition [...] . . . 2945μs KnuthBendix 077: (fpsemi) SL(2, 7) from Chapter 3, Propositi [...] . . . 81ms KnuthBendix 078: (fpsemi) bicyclic monoid (infinite) . . . 48μs KnuthBendix 079: (fpsemi) plactic monoid of degree 2 (infinite) . . . 69μs KnuthBendix 080: (fpsemi) example before Chapter 7, Proposit [...] . . . 45μs KnuthBendix 081: (fpsemi) Chapter 7, Theorem 3.6 in NR (size 243) . . . 826μs KnuthBendix 082: (fpsemi) finite semigroup (size 99) . . . 253μs KnuthBendix 096: Sorouhesh . . . 395μs KnuthBendix 097: (fpsemi) transformation semigroup (size 4) . . . 62μs KnuthBendix 098: (fpsemi) transformation semigroup (size 9) . . . 58μs KnuthBendix 099: (fpsemi) transformation semigroup (size 88) . . . 805μs KnuthBendix 100: internal_string_to_word . . . 41μs KnuthBendix 101: (fpsemi) construct from shared_ptr . . . 779μs KnuthBendix 102: internal_string_to_word . . . 803μs KnuthBendix 103: (cong) free semigroup congruence (5 classes) . . . 73μs KnuthBendix 104: free semigroup congruence (6 classes) . . . 257μs KnuthBendix 105: (cong) free semigroup congruence (16 classes) . . . 322μs KnuthBendix 106: (cong) free semigroup congruence (6 classes) . . . 453μs KnuthBendix 107: (cong) free semigroup congruence (240 classes) . . . 3390μs KnuthBendix 108: (cong) free semigroup congruence (240 classes) . . . 3503μs KnuthBendix 109: (cong) less . . . 4158μs KnuthBendix 110: (cong) less . . . 190ms KnuthBendix 111: (cong) constructors . . . 276ms KnuthBendix 112: (cong) const_contains/contains . . . 220μs KnuthBendix 113: (cong) is_quotient_obviously_finite . . . 23μs KnuthBendix 114: (cong) class_index_to_word . . . 210μs KnuthBendix 115: (cong) quotient_froidure_pin . . . 149μs KnuthBendix 116: (cong) set_number_of_generators . . . 27μs KnuthBendix 117: (cong) number of classes when obv-inf . . . 67μs KnuthBendixCongruenceByPairs 016: non-trivial congruence on [...] . . . 203μs KnuthBendixCongruenceByPairs 017: non-trivial congruence on [...] . . . 184μs KnuthBendixCongruenceByPairs 018: non-trivial congruence on [...] . . . 280μs KnuthBendixCongruenceByPairs 019: non-trivial congruence on [...] . . . 282μs KnuthBendixCongruenceByPairs 020: trivial congruence on a fi [...] . . . 194μs KnuthBendixCongruenceByPairs 021: universal congruence on a [...] . . . 572μs KnuthBendixCongruenceByPairs 022: left congruence on a finit [...] . . . 293μs KnuthBendixCongruenceByPairs 023: finite group, Chapter 11, [...] . . . 4566μs KnuthBendixCongruenceByPairs 024: right congruence on infini [...] . . . 320μs KnuthBendixCongruenceByPairs 025: finite fp semigroup, dihed [...] . . . 335μs KnuthBendixCongruenceByPairs 026: finite fp semigroup, size 16 . . . 360μs KnuthBendixCongruenceByPairs 027: finite fp semigroup, size 16 . . . 1018μs KnuthBendixCongruenceByPairs 028: infinite fp semigroup with [...] . . . 88μs Konieczny 000: test000> . . . 1188μs Konieczny 001: test000> . . . 903μs Konieczny 002: test001> . . . 13ms Konieczny 003: test001> . . . 10ms Konieczny 006: exceptions . . . 48μs Konieczny 007: code coverage . . . 17ms Konieczny 008: code coverage . . . 14ms Konieczny 009: regular elements and idempotents . . . 1559ms Konieczny 010: regular D-class 01 . . . 1866μs Konieczny 011: regular D-class 02 . . . 31ms Konieczny 012: regular D-class 04: contains . . . 1980ms Konieczny 013: non-regular D-classes 01 . . . 2033μs Konieczny 014: RegularDClass . . . 1211μs Konieczny 015: full bmat monoid 4 . . . 277ms Konieczny 017: regular generated bmat monoid 4 idempotents . . . 303ms Konieczny 019: my favourite example . . . 187ms Konieczny 020: another large example . . . 33ms Konieczny 021: my favourite example transposed . . . 235ms Konieczny 024: exceptions . . . 1946μs Konieczny 025: 0-parameter constructor . . . 38ms Konieczny 026: non-regular D-classes 02 . . . 30ms Konieczny 028: partial perm . . . 177ms Konieczny 029: symmetric inverse monoid n = 8 . . . 31ms Konieczny 030: exceptions . . . 218ms Konieczny 031: transformations . . . 948μs Konieczny 032: transformations - JDM favourite example . . . 126ms Konieczny 033: transformations - large example . . . 290ms Konieczny 034: transformations - large example with stop . . . 290ms Konieczny 035: transformations - large example with run_until . . . 290ms Konieczny 036: transformations - large example with stop in Action . . . 291ms Konieczny 037: exceptions . . . 60μs Konieczny 038: transformations: contains . . . 627μs Konieczny 040: transformations - destructor coverage . . . 245ms Konieczny 041: current_number_D_classes . . . 246ms Matrix 000: BMat<2> . . . 100μs Matrix 001: BMat<> . . . 83μs Matrix 002: BMat<3> + BMat<> . . . 12μs Matrix 003: BMat<2> + BMat<> . . . 12μs Matrix 004: BMat<3> . . . 12μs Matrix 005: BMat<> . . . 13μs Matrix 006: BMat<3> row_basis . . . 40μs Matrix 007: BMat<> row_basis . . . 41μs Matrix 008: IntMat<3> . . . 15μs Matrix 009: IntMat<> . . . 19μs Matrix 010: IntMat code cov . . . 10μs Matrix 011: MaxPlusMat<3> . . . 13μs Matrix 012: MaxPlusMat<> . . . 15μs Matrix 013: MaxPlusMat code cov . . . 9000ns Matrix 014: MinPlusMat<3> . . . 16μs Matrix 015: MinPlusMat<> . . . 25μs Matrix 016: MinPlusMat code cov . . . 10μs Matrix 017: MaxPlusTruncMat<5, 2> . . . 38μs Matrix 018: MaxPlusTruncMat<5> . . . 20μs Matrix 019: MaxPlusTruncMat<> . . . 55μs Matrix 020: MaxPlusTruncMat<5, 4> . . . 20μs Matrix 021: MaxPlusTruncMat<5> . . . 23μs Matrix 022: MaxPlusTruncMat<> . . . 31μs Matrix 023: MaxPlusTruncMat<33, 3> . . . 48μs Matrix 024: MaxPlusTruncMat<33> . . . 38μs Matrix 025: MaxPlusTruncMat<> . . . 50μs Matrix 026: MaxPlusMat code cov . . . 21μs Matrix 027: MinPlusTruncMat<33, 3> . . . 46μs Matrix 028: MinPlusTruncMat<33> . . . 38μs Matrix 029: MinPlusTruncMat<> . . . 45μs Matrix 030: NTPMat<0, 3, 3, 3> . . . 15μs Matrix 031: NTPMat<0, 3> . . . 16μs Matrix 032: NTPMat<> . . . 34μs Matrix 033: NTPMat<0, 10, 4, 4> . . . 25μs Matrix 034: NTPMat<0, 10> . . . 27μs Matrix 035: NTPMat<> . . . 20μs Matrix 036: NTPMat<0, 10, 4, 4> . . . 20μs Matrix 037: NTPMat<0, 10> . . . 19μs Matrix 038: NTPMat<> . . . 19μs Matrix 039: NTPMat<33, 2, 3, 3> . . . 16μs Matrix 040: NTPMat<33, 2> . . . 15μs Matrix 041: NTPMat<> . . . 15μs Matrix 042: ProjMaxPlusMat<3> . . . 93μs Matrix 043: ProjMaxPlusMat<> . . . 67μs Matrix 044: exceptions . . . 38μs Matrix 045: code coverage . . . 43μs MultiStringView 000: catch all . . . 46μs MultiStringView 001: is_prefix . . . 15μs MultiStringView 002: erase . . . 15μs MultiStringView 003: iterators . . . 12μs MultiStringView 004: constructors (long) . . . 20μs MultiStringView 005: constructors (short) . . . 15μs MultiStringView 006: copy assignment (short assigned to long) . . . 13μs MultiStringView 007: copy assignment (short assigned to short) . . . 12μs MultiStringView 008: move assignment (short assigned to long) . . . 12μs MultiStringView 009: move assignment (short assigned to short) . . . 12μs MultiStringView 010: code coverage . . . 20μs MultiStringView 011: pop_front . . . 43μs MultiStringView 012: append . . . 15μs MultiStringView 013: operators . . . 15μs MultiStringView 014: maximum_common_suffix . . . 15μs MultiStringView 015: deep tests . . . 10μs ObviouslyInfinite 011: Multiple rule additions . . . 36μs ObviouslyInfinite 012: A power of the generator 'b' does not [...] . . . 12μs ObviouslyInfinite 013: Preserves the number of occurences of [...] . . . 12μs ObviouslyInfinite 014: Less relations than generators . . . 12μs ObviouslyInfinite 015: Relations preserve length . . . 12μs ObviouslyInfinite 016: Matrix has non empty kernel . . . 12μs ObviouslyInfinite 017: Free product of trivial semigroups . . . 12μs ObviouslyInfinite 018: Another free product . . . 13μs ObviouslyInfinite 019: Infinite but not obviously so . . . 12μs ObviouslyInfinite 020: Finite semigroup . . . 15μs PBR 001: universal product with convenience constructor . . . 43μs PBR 002: universal product . . . 19μs PBR 003: product [bigger than previous] . . . 27μs PBR 004: hash . . . 10μs PBR 005: delete/copy . . . 19μs PBR 006: exceptions . . . 152μs PBR 007: operators . . . 66μs PBR 008: to_string . . . 24μs PBR 009: identity . . . 43μs PBR 010: adapters . . . 10μs Pool 000: initial . . . 29μs Pool 001: bmat . . . 25μs Pool 002: PoolGuard . . . 21μs Pool 003: transformation products . . . 13μs Presentation 000: vectors of ints . . . 85μs Presentation 001: strings . . . 71μs Presentation 002: constructors (word_type) . . . 23μs Presentation 003: constructors (StaticVector1) . . . 29μs Presentation 004: constructors (std::string) . . . 21μs Presentation 005: alphabet + letters (word_type) . . . 124μs Presentation 006: alphabet + letters (std::string) . . . 40μs Presentation 007: contains_empty_word . . . 12μs Presentation 008: validate_rules throws . . . 46μs Presentation 009: helpers add_rule(s) . . . 92μs Presentation 010: helpers add_rule(s) (std::string) . . . 36μs Presentation 011: helpers add_identity_rules (std::vector/St [...] . . . 43μs Presentation 012: helpers add_identity_rules (std::string) . . . 26μs Presentation 013: helpers add_inverse_rules (all) . . . 200μs Presentation 014: helpers add_inverse_rules (std::string) . . . 48μs Presentation 015: helpers remove_duplicate_rules . . . 66μs Presentation 016: helpers reduce_complements . . . 126μs Presentation 017: helpers sort_each_rule . . . 63μs Presentation 018: helpers sort_rules . . . 69μs Presentation 019: helpers longest_common_subword/replace_subword . . . 302μs Presentation 020: helpers redundant_rule . . . 5454μs Presentation 021: helpers shortlex_compare_concat . . . 12μs Presentation 022: helpers remove_trivial_rules . . . 71μs Presentation 023: helpers replace_subword (existing, replacement) . . . 97μs Presentation 024: helpers longest_rule . . . 116μs Presentation 025: helpers longest_rule_length . . . 109μs Presentation 026: helpers remove_redundant_generators . . . 152μs Presentation 027: helpers reverse . . . 20μs Presentation 028: in_alphabet . . . 23μs Race 001: run_for . . . 10ms Race 002: run_until . . . 10ms Race 003: exceptions . . . 10ms Race 004: iterators . . . 12μs Race 005: find_runner . . . 13μ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 . . . 1010μs Runner 002: run_for . . . 191ms Runner 003: run_for . . . 25ms Runner 004: started . . . 1031μs Runner 005: run_until . . . 10ms Runner 006: kill . . . 29μs Runner 007: copy constructor . . . 10ms Runner 008: report . . . 20ms Runner 009: run_until with function pointer . . . 36μs SchreierSims 001: trivial perm. group (degree 1) . . . 68μs SchreierSims 002: trivial perm. group (degree 2) . . . 30μs SchreierSims 003: trivial perm. group (degree 500) . . . 275μs SchreierSims 004: symmetric perm. group (degree 5) . . . 48μs SchreierSims 005: symmetric perm. group (degree 8) . . . 82μs SchreierSims 006: symmetric perm. group (degree 9) . . . 115μs SchreierSims 007: alternating perm. group (degree 12) . . . 190μs SchreierSims 008: symmetric perm. group (degree 16) . . . 1623μs SchreierSims 009: alternating perm. group (degree 15) . . . 821μs SchreierSims 010: alternating perm. group (degree 16) . . . 1748μs SchreierSims 011: dihedral perm. group (order 10) . . . 33μs SchreierSims 012: dihedral perm. group (order 200) . . . 2033μs SchreierSims 013: perm. group T (order 12) . . . 38μs SchreierSims 014: quaternion perm. group (order 8) . . . 53μs SchreierSims 015: perm. group (order 84129611558952960) . . . 293ms SchreierSims 016: perm. group SL(3, 5) (order 372000) . . . 1533μs SchreierSims 017: perm. group PSL(4, 8) (order 34558531338240) . . . 116ms SchreierSims 018: perm. Mathieu group M11 (order 7920) . . . 92μs SchreierSims 019: perm. Mathieu group M24 (order 244823040) . . . 302μs SchreierSims 020: perm. Janko Group J1 (order 175560) . . . 3125μs SchreierSims 021: perm. Hall-Janko group (order 604800) . . . 513μs SchreierSims 022: perm. Hall-Janko group (alt.) (order 604800) . . . 28ms SchreierSims 023: perm. Conway group Co3 (order 495766656000) . . . 9010μs SchreierSims 024: perm. Conway group Co3 (alt.) (order 49576 [...] . . . 19ms SchreierSims 025: perm. Suzuki group (order 448345497600) . . . 103ms SchreierSims 027: perm. Held group (order 4030387200) . . . 185ms SchreierSims 028: perm. group C2 x C2 x C2 (order 8) . . . 33μs SchreierSims 029: perm. group C2 x C2 x C2 x C2 (order 16) . . . 41μs SchreierSims 030: perm. group (S5 x S5) : C2 (order 28800) . . . 90μs SchreierSims 031: perm. group C3 x D8 x A5 (order 1440) . . . 98μs SchreierSims 032: perm. group GL(4, 3) (order 24261120) . . . 987μs SchreierSims 033: perm. group PSL(3, 7) (order 1876896) . . . 942μs SchreierSims 037: symmetric perm. group (degree 5) . . . 40μs SchreierSims 038: alternating perm. group (degree 17) . . . 5013μs SchreierSims 039: exceptions . . . 136μs SchreierSims 040: exceptions . . . 87μs SchreierSims 041: trivial group . . . 53μs SchreierSims 042: A17 bug . . . 4388μs SchreierSims 043: orbits_lookup test . . . 773μs SchreierSims 044: transversal_element and inversal_element test . . . 2173μs SchreierSimsHelper 001: trivial perm. group intersection (de [...] . . . 24μs SchreierSimsHelper 002: trivial perm. group intersection (de [...] . . . 33μs SchreierSimsHelper 003: cyclic group intersection (degree 13) . . . 53μs SchreierSimsHelper 004: D10 and Z5 intersection . . . 41μs SchreierSimsHelper 005: D8 and Q8 intersection . . . 38μs SchreierSimsHelper 006: primitive on 8 points intersection . . . 101μs SchreierSimsHelper 007: primitive on 8 points intersection ( [...] . . . 96μs SchreierSimsHelper 008: A13 and PGL(2, 11) intersection . . . 840μs SchreierSimsHelper 009: A13 and PGL(2, 11) intersection (swa [...] . . . 832μs SchreierSimsHelper 012: 3^3:13 and 3^3.2.A(4) intersection . . . 250μs SchreierSimsHelper 015: 3^3(S(4) x 2) and ASL(3, 3) intersection . . . 482μs SchreierSimsHelper 016: 7^2:3 x Q(8) and 7^2:D(2*6) intersection . . . 598μs SchreierSimsHelper 018: D(2*53) and 53:13 intersection . . . 373μs SchreierSimsHelper 019: 2^6:(7 x D_14) and PSL(2, 6)^2.4 int [...] . . . 2517μs SchreierSimsHelper 020: 2^6:(S_3 x GL(3, 2)) and 2.6:Alt(7) [...] . . . 7879μs SchreierSimsHelper 022: PSL(2, 127) and AGL(1, 2^7) intersection . . . 15ms SchreierSimsHelper 023: PSL(3, 4).2 and PSL(3, 4).2 (nontriv [...] . . . 2050μs SchreierSimsHelper 024: PSL(3, 4).Sym(3) and PSL(3, 4).2 int [...] . . . 2333μs SchreierSimsHelper 025: 3^4:5:4 and D_16:4 intersection . . . 1217μs Sims1 000: fp example 1 . . . 946μs Sims1 001: fp example 2 . . . 1531μs Sims1 002: ToddCoxeter failing example . . . 13ms Sims1 003: ToddCoxeter failing example . . . 644μs Sims1 004: PartitionMonoid(2) right . . . 4752μs Sims1 006: FullTransformationMonoid(3) right . . . 5578μs Sims1 007: FullTransformationMonoid(3) left . . . 3196μs Sims1 009: RookMonoid(2, 1) . . . 146μs Sims1 010: SymmetricInverseMonoid(2) from FroidurePin . . . 134μs Sims1 011: SymmetricInverseMonoid(3) . . . 4872μs Sims1 014: TemperleyLieb(3) from presentation . . . 77μs Sims1 015: TemperleyLieb(4) from presentation . . . 672μs Sims1 016: fp semigroup containing given pairs #1 . . . 277μs Sims1 017: fp semigroup containing given pairs #2 . . . 270μs Sims1 018: fp semigroup containing given pairs #3 . . . 435μs Sims1 019: ToddCoxeter failing example . . . 961μs Sims1 020: fp example 2 . . . 2021μs Sims1 021: exceptions . . . 241μs Sims1 027: from https://mathoverflow.net/questions/423541/ . . . 20ms Sims1 028: from https://mathoverflow.net/questions/423541/ . . . 15ms Sims1 030: presentation with one free generator . . . 202μs Sims1 031: presentation with non-zero index generators . . . 58μs Sims1 032: presentation with empty word . . . 6687μs Sims1 033: constructors . . . 1015μs Sims1 034: split_at . . . 195μs Sims1 035: stats . . . 81μs Sims1 036: check iterator requirements . . . 126μs Sims1 040: TransitiveGroup(10, 32) - minimal rep . . . 2782μs Sims1 043: RectangularBand(2, 2) - with and without identity . . . 183μs Sims1 044: trivial group - minimal o.r.c. rep . . . 114μs Sims1 045: right zero semigroup - minimal o.r.c. rep . . . 1828μs Sims1 046: semigroup with faithful non-strictly cyclic actio [...] . . . 791μs Sims1 068: RepOrc . . . 22ms Sims1 069: fp example 1 . . . 407μ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 1131μs (206ns 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 . . . 1211μs Sims1 072: SymmetricGroup(n) for n = 3, 4 . . . 1529μs Sims1 073: corner case no generators + no relations . . . 105μs SmallestInteger 001: . . . 24μs StaticTriVector2 045: all . . . 18μs StaticVector2 043: all . . . 18μs Suf 005: unite . . . 23μs Suf 007: compress . . . 13μs Suf 011: big chain . . . 18ms Suf 013: empty table . . . 10μs Suf 015: join . . . 12μs Suf 017: contains . . . 27μs Suf 019: swap . . . 30μs SuffixTree 000: basic tests . . . 79ms SuffixTree 001: maximal_piece_prefix 1 . . . 58μs SuffixTree 002: maximal_piece_prefix 2 . . . 43μs SuffixTree 003: maximal_piece_prefix 3 . . . 353μs SuffixTree 004: number_of_pieces . . . 67μs SuffixTree 005: traverse . . . 20μs SuffixTree 006: tikz . . . 850μs SuffixTree 007: strings . . . 121μs SuffixTree 008: dot . . . 83μs SuffixTree 009: dfs #01 . . . 58μs SuffixTree 010: dfs #02 . . . 57μs SuffixTree 011: dfs #03 . . . 55μs SuffixTree 012: dfs #04 . . . 106μs SuffixTree 013: dfs #05 . . . 101μs SuffixTree 014: dfs #06 . . . 73μs SuffixTree 015: dfs #07 . . . 132μs SuffixTree 016: dfs #08 . . . 96μs SuffixTree 017: dfs #09 . . . 116μs SuffixTree 018: dfs #10 . . . 53μs Timer 001: string method (1 argument) . . . 40μs Timer 002: string method (0 arguments) . . . 10ms Timer 003: reset/elapsed method . . . 20ms Timer 004: operator<< . . . 12μs ToddCoxeter 000: small 2-sided congruence . . .  -- with HLT + no standardise + full lookahead + no save 1258μs  -- with HLT + standardise + full lookahead + no save 1203μs  -- with HLT + no standardise + partial lookahead + no save 1182μs  -- with HLT + standardise + partial lookahead + no save 1193μs  -- with HLT + no standardise + full lookahead + save 1242μs  -- with HLT + standardise + full lookahead + save 1235μs  -- with HLT + no standardise + partial lookahead + save 1211μs  -- with HLT + standardise + partial lookahead + save 1262μs  -- with Felsch + no standardisation 1428μs  -- with Felsch + standardisation 1178μs  -- with random strategy 1203μs  -- with Rc style + full lookahead 1175μs  -- with Rc style + partial lookahead 1177μs  -- with R/C style 1193μs  -- with CR style 1182μs  -- with Cr style 1188μs ToddCoxeter 001: small 2-sided congruence . . .  -- with HLT + no standardise + full lookahead + no save 5660μs  -- with HLT + standardise + full lookahead + no save 5622μs  -- with HLT + no standardise + partial lookahead + no save 5610μs  -- with HLT + standardise + partial lookahead + no save 5642μs  -- with HLT + no standardise + full lookahead + save 5634μs  -- with HLT + standardise + full lookahead + save 5641μs  -- with HLT + no standardise + partial lookahead + save 5636μs  -- with HLT + standardise + partial lookahead + save 5682μs  -- with Felsch + no standardisation 6354μs  -- with Felsch + standardisation 5544μs  -- with random strategy 5500μs  -- with Rc style + full lookahead 5458μs  -- with Rc style + partial lookahead 5428μs  -- with R/C style 5458μs  -- with CR style 5439μs  -- with Cr style 5480μs ToddCoxeter 003: constructed from FroidurePin . . .  -- with Felsch + no standardisation 558ms  -- with Felsch + standardisation 574ms  -- with HLT + no standardise + full lookahead + no save 417ms  -- with HLT + standardise + full lookahead + no save 418ms  -- with HLT + no standardise + partial lookahead + no save 426ms  -- with HLT + standardise + partial lookahead + no save 432ms  -- with HLT + no standardise + full lookahead + save 591ms  -- with HLT + standardise + full lookahead + save 577ms  -- with HLT + no standardise + partial lookahead + save 579ms  -- with HLT + standardise + partial lookahead + save 575ms  -- with random strategy 572ms  -- with Rc style + full lookahead 563ms  -- with Rc style + partial lookahead 584ms  -- with R/C style 427ms  -- with CR style 590ms  -- with Cr style 585ms ToddCoxeter 004: 2-sided congruence from FroidurePin . . .  -- with HLT + no standardise + full lookahead + no save 240μs  -- with HLT + standardise + full lookahead + no save 200μs  -- with HLT + no standardise + partial lookahead + no save 193μs  -- with HLT + standardise + partial lookahead + no save 193μs  -- with HLT + save (throws) 242μs  -- with Felsch (throws) 206μs  -- with random strategy 197μs ToddCoxeter 005: non-trivial two-sided from relations . . .  -- with HLT + no standardise + full lookahead + no save 58μs  -- with HLT + standardise + full lookahead + no save 53μs  -- with HLT + no standardise + partial lookahead + no save 45μs  -- with HLT + standardise + partial lookahead + no save 45μs  -- with HLT + no standardise + full lookahead + save 60μs  -- with HLT + standardise + full lookahead + save 55μs  -- with HLT + no standardise + partial lookahead + save 53μs  -- with HLT + standardise + partial lookahead + save 53μs  -- with Felsch + no standardisation 50μs  -- with Felsch + standardisation 48μs  -- with random strategy 58μs  -- with Rc style + full lookahead 48μs  -- with Rc style + partial lookahead 48μs  -- with R/C style 46μs  -- with CR style 50μs  -- with Cr style 50μs ToddCoxeter 006: small right cong. on free semigroup . . .  -- with HLT + no standardise + full lookahead + no save 43μs  -- with HLT + standardise + full lookahead + no save 36μs  -- with HLT + no standardise + partial lookahead + no save 34μs  -- with HLT + standardise + partial lookahead + no save 34μs  -- with HLT + no standardise + full lookahead + save 43μs  -- with HLT + standardise + full lookahead + save 40μs  -- with HLT + no standardise + partial lookahead + save 41μs  -- with HLT + standardise + partial lookahead + save 38μs  -- with Felsch + no standardisation 38μs  -- with Felsch + standardisation 41μs  -- with random strategy 43μs  -- with Rc style + full lookahead 36μs  -- with Rc style + partial lookahead 36μs  -- with R/C style 36μs  -- with CR style 40μs  -- with Cr style 38μs ToddCoxeter 007: left cong. on free semigroup . . .  -- with HLT + no standardise + full lookahead + no save 46μs  -- with HLT + standardise + full lookahead + no save 50μs  -- with HLT + no standardise + partial lookahead + no save 40μs  -- with HLT + standardise + partial lookahead + no save 38μs  -- with HLT + no standardise + full lookahead + save 45μs  -- with HLT + standardise + full lookahead + save 45μs  -- with HLT + no standardise + partial lookahead + save 43μs  -- with HLT + standardise + partial lookahead + save 43μs  -- with Felsch + no standardisation 43μs  -- with Felsch + standardisation 45μs  -- with random strategy 48μs  -- with Rc style + full lookahead 46μs  -- with Rc style + partial lookahead 48μs  -- with R/C style 46μs  -- with CR style 48μs  -- with Cr style 48μs ToddCoxeter 008: for small fp semigroup . . .  -- with HLT + no standardise + full lookahead + no save 43μs  -- with HLT + standardise + full lookahead + no save 36μs  -- with HLT + no standardise + partial lookahead + no save 34μs  -- with HLT + standardise + partial lookahead + no save 36μs  -- with HLT + no standardise + full lookahead + save 41μs  -- with HLT + standardise + full lookahead + save 40μs  -- with HLT + no standardise + partial lookahead + save 38μs  -- with HLT + standardise + partial lookahead + save 41μs  -- with Felsch + no standardisation 38μs  -- with Felsch + standardisation 38μs  -- with random strategy 41μs  -- with Rc style + full lookahead 38μs  -- with Rc style + partial lookahead 36μs  -- with R/C style 38μs  -- with CR style 41μs  -- with Cr style 41μs ToddCoxeter 009: 2-sided cong. trans. semigroup . . .  -- with HLT + no standardise + full lookahead + no save 277μs  -- with HLT + standardise + full lookahead + no save 253μs  -- with HLT + no standardise + partial lookahead + no save 248μs  -- with HLT + standardise + partial lookahead + no save 248μs  -- with HLT + no standardise + full lookahead + save 636μs  -- with HLT + standardise + full lookahead + save 630μs  -- with HLT + no standardise + partial lookahead + save 607μs  -- with HLT + standardise + partial lookahead + save 605μs  -- with Felsch + no standardisation 545μs  -- with Felsch + standardisation 524μs  -- with random strategy 266μs  -- with Rc style + full lookahead 264μs  -- with Rc style + partial lookahead 257μs  -- with R/C style 270μs  -- with CR style 547μs  -- with Cr style 532μs ToddCoxeter 010: left congruence on transformation semigroup . . .  -- with HLT + no standardise + full lookahead + no save 291μs  -- with HLT + standardise + full lookahead + no save 275μs  -- with HLT + no standardise + partial lookahead + no save 262μs  -- with HLT + standardise + partial lookahead + no save 271μs  -- with HLT + no standardise + full lookahead + save 662μs  -- with HLT + standardise + full lookahead + save 650μs  -- with HLT + no standardise + partial lookahead + save 631μs  -- with HLT + standardise + partial lookahead + save 639μs  -- with Felsch + no standardisation 586μs  -- with Felsch + standardisation 564μs  -- with random strategy 706μs  -- with Rc style + full lookahead 299μs  -- with Rc style + partial lookahead 293μs  -- with R/C style 319μs  -- with CR style 608μs  -- with Cr style 587μs ToddCoxeter 011: right cong. trans. semigroup . . .  -- with HLT + no standardise + full lookahead + no save 295μs  -- with HLT + standardise + full lookahead + no save 290μs  -- with HLT + no standardise + partial lookahead + no save 270μs  -- with HLT + standardise + partial lookahead + no save 284μs  -- with HLT + no standardise + full lookahead + save 632μs  -- with HLT + standardise + full lookahead + save 626μs  -- with HLT + no standardise + partial lookahead + save 607μs  -- with HLT + standardise + partial lookahead + save 627μs  -- with Felsch + no standardisation 492μs  -- with Felsch + standardisation 502μs  -- with random strategy 322μs  -- with Rc style + full lookahead 306μs  -- with Rc style + partial lookahead 302μs  -- with R/C style 342μs  -- with CR style 519μs  -- with Cr style 506μs ToddCoxeter 012: trans. semigroup (size 88) . . .  -- with HLT + no standardise + full lookahead + no save 168μs  -- with HLT + standardise + full lookahead + no save 161μs  -- with HLT + no standardise + partial lookahead + no save 156μs  -- with HLT + standardise + partial lookahead + no save 157μs  -- with HLT + save (throws) 173μs  -- with Felsch (throws) 170μs  -- with random strategy 173μs ToddCoxeter 013: left cong. on trans. semigroup (size 88) . . .  -- with HLT + no standardise + full lookahead + no save 232μs  -- with HLT + standardise + full lookahead + no save 244μs  -- with HLT + no standardise + partial lookahead + no save 223μs  -- with HLT + standardise + partial lookahead + no save 234μs  -- with HLT + no standardise + full lookahead + save 617μs  -- with HLT + standardise + full lookahead + save 616μs  -- with HLT + no standardise + partial lookahead + save 598μs  -- with HLT + standardise + partial lookahead + save 600μs  -- with Felsch + no standardisation 549μs  -- with Felsch + standardisation 515μs  -- with random strategy 277μs  -- with Rc style + full lookahead 259μs  -- with Rc style + partial lookahead 268μs  -- with R/C style 284μs  -- with CR style 563μs  -- with Cr style 546μs ToddCoxeter 014: right cong. on trans. semigroup (size 88) . . .  -- with HLT + no standardise + full lookahead + no save 246μs  -- with HLT + standardise + full lookahead + no save 248μs  -- with HLT + no standardise + partial lookahead + no save 231μs  -- with HLT + standardise + partial lookahead + no save 242μs  -- with HLT + no standardise + full lookahead + save 603μs  -- with HLT + standardise + full lookahead + save 591μs  -- with HLT + no standardise + partial lookahead + save 561μs  -- with HLT + standardise + partial lookahead + save 573μs  -- with Felsch + no standardisation 451μs  -- with Felsch + standardisation 464μs  -- with random strategy 284μs  -- with Rc style + full lookahead 266μs  -- with Rc style + partial lookahead 279μs  -- with R/C style 299μs  -- with CR style 471μs  -- with Cr style 458μs ToddCoxeter 015: finite fp-semigroup, dihedral group of order 6 . . .  -- with HLT + no standardise + full lookahead + no save 85μs  -- with HLT + standardise + full lookahead + no save 82μs  -- with HLT + no standardise + partial lookahead + no save 72μs  -- with HLT + standardise + partial lookahead + no save 73μs  -- with HLT + no standardise + full lookahead + save 96μs  -- with HLT + standardise + full lookahead + save 92μs  -- with HLT + no standardise + partial lookahead + save 91μs  -- with HLT + standardise + partial lookahead + save 90μs  -- with Felsch + no standardisation 83μs  -- with Felsch + standardisation 80μs  -- with random strategy 87μs  -- with Rc style + full lookahead 73μs  -- with Rc style + partial lookahead 69μs  -- with R/C style 76μs  -- with CR style 82μs  -- with Cr style 81μs ToddCoxeter 016: finite fp-semigroup, size 16 . . .  -- with HLT + no standardise + full lookahead + no save 90μs  -- with HLT + standardise + full lookahead + no save 78μs  -- with HLT + no standardise + partial lookahead + no save 71μs  -- with HLT + standardise + partial lookahead + no save 82μs  -- with HLT + no standardise + full lookahead + save 174μs  -- with HLT + standardise + full lookahead + save 152μs  -- with HLT + no standardise + partial lookahead + save 142μs  -- with HLT + standardise + partial lookahead + save 147μs  -- with Felsch + no standardisation 139μs  -- with Felsch + standardisation 131μs  -- with random strategy 137μs  -- with Rc style + full lookahead 80μs  -- with Rc style + partial lookahead 77μs  -- with R/C style 82μs  -- with CR style 132μs  -- with Cr style 127μs ToddCoxeter 017: finite fp-semigroup, size 16 . . .  -- with HLT + no standardise + full lookahead + no save 157μs  -- with HLT + standardise + full lookahead + no save 148μs  -- with HLT + no standardise + partial lookahead + no save 142μs  -- with HLT + standardise + partial lookahead + no save 144μs  -- with HLT + no standardise + full lookahead + save 346μs  -- with HLT + standardise + full lookahead + save 337μs  -- with HLT + no standardise + partial lookahead + save 311μs  -- with HLT + standardise + partial lookahead + save 322μs  -- with Felsch + no standardisation 286μs  -- with Felsch + standardisation 273μs  -- with random strategy 306μs  -- with Rc style + full lookahead 158μs  -- with Rc style + partial lookahead 151μs  -- with R/C style 162μs  -- with CR style 282μs  -- with Cr style 282μs ToddCoxeter 018: test lookahead . . .  -- with HLT + no standardise + full lookahead + no save 315μs  -- with HLT + standardise + full lookahead + no save 309μs  -- with HLT + no standardise + partial lookahead + no save 279μs  -- with HLT + standardise + partial lookahead + no save 293μs  -- with HLT + no standardise + full lookahead + save 519μs  -- with HLT + standardise + full lookahead + save 516μs  -- with HLT + no standardise + partial lookahead + save 496μs  -- with HLT + standardise + partial lookahead + save 507μs ToddCoxeter 019: non-trivial left cong. from semigroup . . .  -- with HLT + no standardise + full lookahead + no save 160μs  -- with HLT + standardise + full lookahead + no save 156μs  -- with HLT + no standardise + partial lookahead + no save 145μs  -- with HLT + standardise + partial lookahead + no save 149μs  -- with HLT + save (throws) 158μs  -- with Felsch (throws) 156μs  -- with random strategy 162μs ToddCoxeter 020: 2-sided cong. on free semigroup . . .  -- with HLT + no standardise + full lookahead + no save 27μs  -- with HLT + standardise + full lookahead + no save 27μs  -- with HLT + no standardise + partial lookahead + no save 20μs  -- with HLT + standardise + partial lookahead + no save 21μ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 20μs  -- with Felsch + standardisation 20μ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 36μs  -- with HLT + no standardise + partial lookahead + no save 36μs  -- with HLT + standardise + partial lookahead + no save 38μs  -- with HLT + no standardise + full lookahead + save 36μs  -- with HLT + standardise + full lookahead + save 36μs  -- with HLT + no standardise + partial lookahead + save 36μs  -- with HLT + standardise + partial lookahead + save 36μs  -- with Felsch + no standardisation 34μs  -- with Felsch + standardisation 34μs  -- with random strategy 34μs ToddCoxeter 022: Stellar S3 . . .  -- with HLT + no standardise + full lookahead + no save 162μs  -- with HLT + standardise + full lookahead + no save 154μs  -- with HLT + no standardise + partial lookahead + no save 144μs  -- with HLT + standardise + partial lookahead + no save 153μs  -- with HLT + no standardise + full lookahead + save 262μs  -- with HLT + standardise + full lookahead + save 257μs  -- with HLT + no standardise + partial lookahead + save 244μs  -- with HLT + standardise + partial lookahead + save 250μs  -- with Felsch + no standardisation 230μs  -- with Felsch + standardisation 218μs  -- with random strategy 232μs  -- with Rc style + full lookahead 154μs  -- with Rc style + partial lookahead 160μs  -- with R/C style 157μs  -- with CR style 232μs  -- with Cr style 223μs ToddCoxeter 023: finite semigroup (size 5) . . .  -- with HLT + no standardise + full lookahead + no save 45μ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 41μs  -- with HLT + standardise + full lookahead + save 40μs  -- with HLT + no standardise + partial lookahead + save 38μs  -- with HLT + standardise + partial lookahead + save 38μs  -- with Felsch + no standardisation 38μs  -- with Felsch + standardisation 43μs  -- with random strategy 40μs  -- with Rc style + full lookahead 36μs  -- with Rc style + partial lookahead 33μs  -- with R/C style 34μs  -- with CR style 43μs  -- with Cr style 38μs ToddCoxeter 024: exceptions . . .  -- with HLT + no standardise + full lookahead + no save 184μs  -- with HLT + standardise + full lookahead + no save 164μs  -- with HLT + no standardise + partial lookahead + no save 161μs  -- with HLT + standardise + partial lookahead + no save 160μs  -- with HLT + no standardise + full lookahead + save 170μs  -- with HLT + standardise + full lookahead + save 165μs  -- with HLT + no standardise + partial lookahead + save 165μs  -- with HLT + standardise + partial lookahead + save 163μs  -- with Felsch + no standardisation 165μs  -- with Felsch + standardisation 164μs  -- with random strategy 173μs  -- with Rc style + full lookahead 162μs  -- with Rc style + partial lookahead 163μs  -- with R/C style 161μs  -- with CR style 165μs  -- with Cr style 170μs ToddCoxeter 025: obviously infinite . . .  -- with HLT + no standardise + full lookahead + no save 48μs  -- with HLT + standardise + full lookahead + no save 41μ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 41μs  -- with HLT + standardise + full lookahead + save 41μs  -- with HLT + no standardise + partial lookahead + save 41μs  -- with HLT + standardise + partial lookahead + save 41μs  -- with Felsch + no standardisation 41μs  -- with Felsch + standardisation 41μs  -- with random strategy 43μs ToddCoxeter 026: exceptions . . .  -- with HLT + no standardise + full lookahead + no save 117μs  -- with HLT + standardise + full lookahead + no save 101μs  -- with HLT + no standardise + partial lookahead + no save 98μs  -- with HLT + standardise + partial lookahead + no save 97μs  -- with HLT + no standardise + full lookahead + save 106μs  -- with HLT + standardise + full lookahead + save 106μs  -- with HLT + no standardise + partial lookahead + save 103μs  -- with HLT + standardise + partial lookahead + save 105μs  -- with Felsch + no standardisation 106μs  -- with Felsch + standardisation 106μs  -- with random strategy 112μs  -- with Rc style + full lookahead 102μs  -- with Rc style + partial lookahead 101μs  -- with R/C style 100μs  -- with CR style 103μs  -- with Cr style 103μs ToddCoxeter 027: empty . . . 62μs ToddCoxeter 028: congruence of fpsemigroup::ToddCoxeter . . .  -- with HLT + no standardise + full lookahead + no save 163μs  -- with HLT + standardise + full lookahead + no save 135μs  -- with HLT + no standardise + partial lookahead + no save 132μs  -- with HLT + standardise + partial lookahead + no save 136μs  -- with HLT + save (throws) 139μs  -- with Felsch (throws) 137μs  -- with random strategy 142μs  -- with HLT + no standardise + full lookahead + save 134μs  -- with HLT + standardise + full lookahead + save 135μs  -- with HLT + no standardise + partial lookahead + save 136μs  -- with HLT + standardise + partial lookahead + save 134μs  -- with Felsch + no standardisation 132μs  -- with Felsch + standardisation 132μs  -- with Rc style + full lookahead 125μs  -- with Rc style + partial lookahead 127μs  -- with R/C style 125μs  -- with CR style 127μs  -- with Cr style 127μs ToddCoxeter 029: !KnuthBendix.started() . . .  -- with HLT + no standardise + full lookahead + no save and 2-sided 82μs  -- with HLT + standardise + full lookahead + no save and 2-sided 62μs  -- with HLT + no standardise + partial lookahead + no save and 2-sided 60μs  -- with HLT + standardise + partial lookahead + no save and 2-sided 58μs  -- with HLT + no standardise + full lookahead + save and 2-sided 66μs  -- with HLT + standardise + full lookahead + save and 2-sided 66μs  -- with HLT + no standardise + partial lookahead + save and 2-sided 63μs  -- with HLT + standardise + partial lookahead + save and 2-sided 68μs  -- with Felsch + no standardisation and 2-sided 62μs  -- with Felsch + standardisation and 2-sided 68μs  -- with random strategy and 2-sided 64μs  -- with HLT + no standardise + full lookahead + no save and left 63μs  -- with HLT + standardise + full lookahead + no save and left 58μs  -- with HLT + no standardise + partial lookahead + no save and left 58μs  -- with HLT + standardise + partial lookahead + no save and left 58μs  -- with HLT + no standardise + full lookahead + save and left 67μs  -- with HLT + standardise + full lookahead + save and left 67μs  -- with HLT + no standardise + partial lookahead + save and left 66μs  -- with HLT + standardise + partial lookahead + save and left 69μs  -- with Felsch + no standardisation and left 66μs  -- with Felsch + standardisation and left 66μs  -- with random strategy and left 62μs  -- with HLT + no standardise + full lookahead + no save and right 62μs  -- with HLT + standardise + full lookahead + no save and right 58μs  -- with HLT + no standardise + partial lookahead + no save and right 58μs  -- with HLT + standardise + partial lookahead + no save and right 58μs  -- with HLT + no standardise + full lookahead + save and right 64μs  -- with HLT + standardise + full lookahead + save and right 67μs  -- with HLT + no standardise + partial lookahead + save and right 67μs  -- with HLT + standardise + partial lookahead + save and right 66μs  -- with Felsch + no standardisation and right 68μs  -- with Felsch + standardisation and right 64μs  -- with random strategy and right 69μs ToddCoxeter 030: KnuthBendix.finished() . . .  -- with HLT + no standardise + full lookahead + no save and 2-sided 167μs  -- with HLT + standardise + full lookahead + no save and 2-sided 144μs  -- with HLT + no standardise + partial lookahead + no save and 2-sided 138μs  -- with HLT + standardise + partial lookahead + no save and 2-sided 136μs  -- with HLT + no standardise + full lookahead + save and 2-sided 142μs  -- with HLT + standardise + full lookahead + save and 2-sided 142μs  -- with HLT + no standardise + partial lookahead + save and 2-sided 139μs  -- with HLT + standardise + partial lookahead + save and 2-sided 137μs  -- with Felsch + no standardisation and 2-sided 135μs  -- with Felsch + standardisation and 2-sided 132μs  -- with random strategy and 2-sided 146μs  -- with HLT + no standardise + full lookahead + no save and left 148μs  -- with HLT + standardise + full lookahead + no save and left 143μs  -- with HLT + no standardise + partial lookahead + no save and left 143μs  -- with HLT + standardise + partial lookahead + no save and left 141μs  -- with HLT + no standardise + full lookahead + save and left 152μs  -- with HLT + standardise + full lookahead + save and left 149μs  -- with HLT + no standardise + partial lookahead + save and left 149μs  -- with HLT + standardise + partial lookahead + save and left 148μs  -- with Felsch + no standardisation and left 149μs  -- with Felsch + standardisation and left 266μs  -- with random strategy and left 157μs  -- with HLT + no standardise + full lookahead + no save and right 145μs  -- with HLT + standardise + full lookahead + no save and right 138μs  -- with HLT + no standardise + partial lookahead + no save and right 138μs  -- with HLT + standardise + partial lookahead + no save and right 137μs  -- with HLT + no standardise + full lookahead + save and right 147μs  -- with HLT + standardise + full lookahead + save and right 148μs  -- with HLT + no standardise + partial lookahead + save and right 148μs  -- with HLT + standardise + partial lookahead + save and right 147μs  -- with Felsch + no standardisation and right 145μs  -- with Felsch + standardisation and right 156μs  -- with random strategy and right 156μs ToddCoxeter 031: KnuthBendix.finished() . . .  -- with HLT + no standardise + full lookahead + no save and 2-sided 121μs  -- with HLT + standardise + full lookahead + no save and 2-sided 103μs  -- with HLT + no standardise + partial lookahead + no save and 2-sided 101μs  -- with HLT + standardise + partial lookahead + no save and 2-sided 101μs  -- with HLT + no standardise + full lookahead + save and 2-sided 106μs  -- with HLT + standardise + full lookahead + save and 2-sided 105μs  -- with HLT + no standardise + partial lookahead + save and 2-sided 102μs  -- with HLT + standardise + partial lookahead + save and 2-sided 101μs  -- with Felsch + no standardisation and 2-sided 96μs  -- with Felsch + standardisation and 2-sided 98μs  -- with random strategy and 2-sided 103μs  -- with Rc style + full lookahead and 2-sided 102μs  -- with Rc style + partial lookahead and 2-sided 101μs  -- with R/C style and 2-sided 96μs  -- with CR style and 2-sided 97μs  -- with Cr style and 2-sided 101μs  -- with HLT + no standardise + full lookahead + no save and left 110μs  -- with HLT + standardise + full lookahead + no save and left 105μs  -- with HLT + no standardise + partial lookahead + no save and left 102μs  -- with HLT + standardise + partial lookahead + no save and left 103μs  -- with HLT + no standardise + full lookahead + save and left 115μs  -- with HLT + standardise + full lookahead + save and left 111μs  -- with HLT + no standardise + partial lookahead + save and left 111μs  -- with HLT + standardise + partial lookahead + save and left 111μs  -- with Felsch + no standardisation and left 111μs  -- with Felsch + standardisation and left 107μs  -- with random strategy and left 116μs  -- with Rc style + full lookahead and left 117μs  -- with Rc style + partial lookahead and left 109μs  -- with R/C style and left 105μs  -- with CR style and left 111μs  -- with Cr style and left 121μs  -- with HLT + no standardise + full lookahead + no save and right 109μs  -- with HLT + standardise + full lookahead + no save and right 102μs  -- with HLT + no standardise + partial lookahead + no save and right 102μs  -- with HLT + standardise + partial lookahead + no save and right 102μs  -- with HLT + no standardise + full lookahead + save and right 111μs  -- with HLT + standardise + full lookahead + save and right 111μs  -- with HLT + no standardise + partial lookahead + save and right 111μs  -- with HLT + standardise + partial lookahead + save and right 111μs  -- with Felsch + no standardisation and right 107μs  -- with Felsch + standardisation and right 107μs  -- with random strategy and right 116μs  -- with Rc style + full lookahead and right 112μs  -- with Rc style + partial lookahead and right 110μs  -- with R/C style and right 105μs  -- with CR style and right 111μs  -- with Cr style and right 116μs ToddCoxeter 032: prefill . . . 154μs ToddCoxeter 033: congruence of ToddCoxeter . . .  -- with HLT + no standardise + full lookahead + no save 50μ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 48μ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 46μs ToddCoxeter 034: congruence of ToddCoxeter . . .  -- with HLT + no standardise + full lookahead + no save 138μs  -- with HLT + standardise + full lookahead + no save 147μs  -- with HLT + no standardise + partial lookahead + no save 125μs  -- with HLT + standardise + partial lookahead + no save 124μs  -- with HLT + save (throws) 135μs  -- with Felsch (throws) 135μs  -- with random strategy 137μs ToddCoxeter 035: congruence on FpSemigroup . . .  -- with HLT + no standardise + full lookahead + no save 317μ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 275μs  -- with HLT + no standardise + full lookahead + save 308μs  -- with HLT + standardise + full lookahead + save 306μs  -- with HLT + no standardise + partial lookahead + save 304μs  -- with HLT + standardise + partial lookahead + save 302μs  -- with Felsch + no standardisation 306μs  -- with Felsch + standardisation 302μs  -- with random strategy 308μs  -- with Rc style + full lookahead 275μs  -- with Rc style + partial lookahead 273μs  -- with R/C style 271μs  -- with CR style 304μs  -- with Cr style 299μs ToddCoxeter 036: exceptions . . . 112μs ToddCoxeter 037: copy constructor . . . 40μs ToddCoxeter 038: simplify . . . 138μs ToddCoxeter 039: Stylic monoid . . . 823ms ToddCoxeter 041: some finite classes . . . 541μs ToddCoxeter 043: SymmetricGroup2 . . . 147ms ToddCoxeter 044: Option exceptions . . . 101μs ToddCoxeter 045: Options operator<< . . . 828μs ToddCoxeter 046: Easdown-East-FitzGerald DualSymInv(5) . . .  -- with HLT + no standardise + full lookahead + no save 171ms  -- with HLT + standardise + full lookahead + no save 190ms  -- with HLT + no standardise + partial lookahead + no save 171ms  -- with HLT + standardise + partial lookahead + no save 190ms  -- with HLT + no standardise + full lookahead + save 134ms  -- with HLT + standardise + full lookahead + save 134ms  -- with HLT + no standardise + partial lookahead + save 134ms  -- with HLT + standardise + partial lookahead + save 134ms  -- with Felsch + no standardisation 146ms  -- with Felsch + standardisation 145ms  -- with random strategy 177ms  -- with R/C style 180ms  -- with Rc style + full lookahead 152ms  -- with Rc style + partial lookahead 152ms ToddCoxeter 047: FitzGerald UniformBlockBijection(3) . . .  -- with HLT + no standardise + full lookahead + no save 106μs  -- with HLT + standardise + full lookahead + no save 100μs  -- with HLT + no standardise + partial lookahead + no save 91μs  -- with HLT + standardise + partial lookahead + no save 96μs  -- with HLT + no standardise + full lookahead + save 214μs  -- with HLT + standardise + full lookahead + save 205μs  -- with HLT + no standardise + partial lookahead + save 200μs  -- with HLT + standardise + partial lookahead + save 197μs  -- with Felsch + no standardisation 168μs  -- with Felsch + standardisation 160μs  -- with random strategy 167μs  -- with R/C style 106μs  -- with Rc style + full lookahead 97μs  -- with Rc style + partial lookahead 100μs ToddCoxeter 048: Stellar(7) (Gay-Hivert) . . . 153ms ToddCoxeter 049: PartitionMonoid(4) (East) . . .  -- with HLT + no standardise + full lookahead + no save 30ms  -- with HLT + standardise + full lookahead + no save 31ms  -- with HLT + no standardise + partial lookahead + no save 30ms  -- with HLT + standardise + partial lookahead + no save 31ms  -- with HLT + no standardise + full lookahead + save 53ms  -- with HLT + standardise + full lookahead + save 55ms  -- with HLT + no standardise + partial lookahead + save 53ms  -- with HLT + standardise + partial lookahead + save 55ms  -- with Felsch + no standardisation 62ms  -- with Felsch + standardisation 62ms  -- with random strategy 64ms  -- with R/C style 34ms  -- with Rc style + full lookahead 67ms  -- with Rc style + partial lookahead 67ms ToddCoxeter 050: SingularBrauer(6) (Maltcev + Mazorchuk) . . . 512ms ToddCoxeter 051: OrientationPreserving(6) (Ruskuc + Arthur) . . .  -- with HLT + no standardise + full lookahead + no save 24ms  -- with HLT + standardise + full lookahead + no save 29ms  -- with HLT + no standardise + partial lookahead + no save 24ms  -- with HLT + standardise + partial lookahead + no save 29ms  -- with HLT + no standardise + full lookahead + save 60ms  -- with HLT + standardise + full lookahead + save 64ms  -- with HLT + no standardise + partial lookahead + save 60ms  -- with HLT + standardise + partial lookahead + save 64ms  -- with Felsch + no standardisation 145ms  -- with Felsch + standardisation 145ms  -- with random strategy 31ms  -- with R/C style 27ms  -- with Rc style + full lookahead 108ms  -- with Rc style + partial lookahead 108ms ToddCoxeter 052: OrientationReversing(5) (Ruskuc + Arthur) . . .  -- with HLT + no standardise + full lookahead + no save 6355μs  -- with HLT + standardise + full lookahead + no save 7562μs  -- with HLT + no standardise + partial lookahead + no save 6272μs  -- with HLT + standardise + partial lookahead + no save 7562μs  -- with HLT + no standardise + full lookahead + save 15ms  -- with HLT + standardise + full lookahead + save 16ms  -- with HLT + no standardise + partial lookahead + save 16ms  -- with HLT + standardise + partial lookahead + save 16ms  -- with Felsch + no standardisation 34ms  -- with Felsch + standardisation 34ms  -- with random strategy 16ms  -- with Rc style + full lookahead 19ms  -- with Rc style + partial lookahead 19ms  -- with R/C style 7333μs  -- with CR style 35ms  -- with Cr style 35ms ToddCoxeter 053: TemperleyLieb(10) (East) . . . 39ms ToddCoxeter 063: add_rule . . .  -- with HLT + no standardise + full lookahead + no save 92μs  -- with HLT + standardise + full lookahead + no save 69μs  -- with HLT + no standardise + partial lookahead + no save 64μs  -- with HLT + standardise + partial lookahead + no save 66μs  -- with HLT + no standardise + full lookahead + save 72μs  -- with HLT + standardise + full lookahead + save 72μs  -- with HLT + no standardise + partial lookahead + save 69μs  -- with HLT + standardise + partial lookahead + save 72μs  -- with Felsch + no standardisation 72μs  -- with Felsch + standardisation 68μs  -- with random strategy 68μs  -- with Rc style + full lookahead 67μs  -- with Rc style + partial lookahead 72μs  -- with R/C style 72μs  -- with CR style 96μs  -- with Cr style 103μs  -- with R/C + Felsch lookahead 103μs  -- with HLT + Felsch lookahead + save 67μs  -- with Cr + small number of f_defs 77μs  -- with Rc + small number of deductions 101μs  -- with Felsch + v2 + no preferred defs 103μs  -- with Felsch + v2 + immediate no stack 90μs  -- with Felsch + v1 + immediate no stack 69μs  -- with Felsch + v1 + immediate yes stack 69μs  -- with large collapse 66μs ToddCoxeter 064: (from kbmag/standalone/kb_data/s4) (KnuthB [...] . . .  -- with HLT + no standardise + full lookahead + no save 286μs ToddCoxeter 066: test validate . . . 60μs ToddCoxeter 067: add_rules after construct. from semigroup . . .  -- with HLT + no standardise + full lookahead + no save 371μs  -- with HLT + standardise + full lookahead + no save 344μs  -- with HLT + no standardise + partial lookahead + no save 337μs  -- with HLT + standardise + partial lookahead + no save 331μs  -- with HLT + save (throws) 344μs  -- with Felsch (throws) 340μs  -- with random strategy 326μs ToddCoxeter 068: Sym(5) from Chapter 3, Proposition 1.1 in NR . . .  -- with Deduction policy == purge_from_top 693μs  -- with Deduction policy == purge_all 643μs  -- with Deduction policy == discard_all_if_no_space 667μs  -- with HLT + no standardise + full lookahead + no save 788μs  -- with HLT + standardise + full lookahead + no save 1097μs  -- with HLT + no standardise + partial lookahead + no save 769μs  -- with HLT + standardise + partial lookahead + no save 1085μs  -- with HLT + no standardise + full lookahead + save 1128μs  -- with HLT + standardise + full lookahead + save 1095μs  -- with HLT + no standardise + partial lookahead + save 1080μs  -- with HLT + standardise + partial lookahead + save 1093μs  -- with Felsch + no standardisation 725μs  -- with Felsch + standardisation 689μs  -- with random strategy 742μs  -- with Rc style + full lookahead 1492μs  -- with Rc style + partial lookahead 1492μs  -- with R/C style 863μs  -- with CR style 748μs  -- with Cr style 724μs ToddCoxeter 069: Chapter 7, Theorem 3.6 in NR (size 243) . . .  -- with HLT + no standardise + full lookahead + no save 382μs  -- with HLT + standardise + full lookahead + no save 444μs  -- with HLT + no standardise + partial lookahead + no save 371μs  -- with HLT + standardise + partial lookahead + no save 429μs  -- with HLT + no standardise + full lookahead + save 501μs  -- with HLT + standardise + full lookahead + save 524μs  -- with HLT + no standardise + partial lookahead + save 482μs  -- with HLT + standardise + partial lookahead + save 523μs  -- with Felsch + no standardisation 2419μs  -- with Felsch + standardisation 2448μs  -- with random strategy 533μs  -- with Rc style + full lookahead 404μs  -- with Rc style + partial lookahead 402μs  -- with R/C style 429μs  -- with CR style 2477μs  -- with Cr style 2422μs ToddCoxeter 070: finite semigroup (size 99) . . .  -- with HLT + no standardise + full lookahead + no save 176μs  -- with HLT + standardise + full lookahead + no save 187μs  -- with HLT + no standardise + partial lookahead + no save 167μs  -- with HLT + standardise + partial lookahead + no save 185μs  -- with HLT + no standardise + full lookahead + save 222μs  -- with HLT + standardise + full lookahead + save 222μs  -- with HLT + no standardise + partial lookahead + save 203μs  -- with HLT + standardise + partial lookahead + save 220μs  -- with Felsch + no standardisation 469μs  -- with Felsch + standardisation 451μs  -- with random strategy 465μs  -- with Rc style + full lookahead 180μs  -- with Rc style + partial lookahead 174μs  -- with R/C style 187μs  -- with CR style 456μs  -- with Cr style 453μs ToddCoxeter 080: KnuthBendix 098 . . .  -- with HLT + no standardise + full lookahead + no save 546ms  -- with HLT + standardise + full lookahead + no save 609ms  -- with HLT + no standardise + partial lookahead + no save 545ms  -- with HLT + standardise + partial lookahead + no save 618ms  -- with HLT + no standardise + full lookahead + save 386ms  -- with HLT + standardise + full lookahead + save 396ms  -- with HLT + no standardise + partial lookahead + save 388ms  -- with HLT + standardise + partial lookahead + save 386ms  -- with Felsch + no standardisation 356ms  -- with Felsch + standardisation 355ms  -- with random strategy 383ms  -- with Rc style + full lookahead 352ms  -- with Rc style + partial lookahead 350ms  -- with R/C style 545ms  -- with CR style 357ms  -- with Cr style 357ms ToddCoxeter 084: Campbell-Reza 1 . . .  -- with HLT + no standardise + full lookahead + no save 147μs  -- with HLT + standardise + full lookahead + no save 116μs  -- with HLT + no standardise + partial lookahead + no save 106μs  -- with HLT + standardise + partial lookahead + no save 112μs  -- with HLT + no standardise + full lookahead + save 107μs  -- with HLT + standardise + full lookahead + save 101μs  -- with HLT + no standardise + partial lookahead + save 97μs  -- with HLT + standardise + partial lookahead + save 98μs  -- with Felsch + no standardisation 110μs  -- with Felsch + standardisation 102μs  -- with random strategy 107μs  -- with Rc style + full lookahead 106μs  -- with Rc style + partial lookahead 103μs  -- with R/C style 105μs  -- with CR style 111μs  -- with Cr style 102μs ToddCoxeter 085: Renner monoid type D4 (Gay-Hivert), q = 1 . . .  -- with HLT + no standardise + full lookahead + no save 118ms  -- with HLT + standardise + full lookahead + no save 118ms  -- with HLT + no standardise + partial lookahead + no save 118ms  -- with HLT + standardise + partial lookahead + no save 118ms  -- with HLT + no standardise + full lookahead + save 118ms  -- with HLT + standardise + full lookahead + save 118ms  -- with HLT + no standardise + partial lookahead + save 118ms  -- with HLT + standardise + partial lookahead + save 118ms  -- with Felsch + no standardisation 119ms  -- with Felsch + standardisation 118ms  -- with random strategy 118ms  -- with Rc style + full lookahead 118ms  -- with Rc style + partial lookahead 118ms  -- with R/C style 118ms  -- with CR style 118ms  -- with Cr style 118ms ToddCoxeter 086: trivial semigroup . . . 310ms ToddCoxeter 092: ACE --- perf602p5 - HLT . . .  -- with HLT + no standardise + full lookahead + no save 33ms  -- with HLT + standardise + full lookahead + no save 33ms  -- with HLT + no standardise + partial lookahead + no save 33ms  -- with HLT + standardise + partial lookahead + no save 32ms  -- with HLT + no standardise + full lookahead + save 15ms  -- with HLT + standardise + full lookahead + save 16ms  -- with HLT + no standardise + partial lookahead + save 15ms  -- with HLT + standardise + partial lookahead + save 16ms  -- with random strategy 34ms  -- with Felsch + no standardisation 12ms  -- with Felsch + standardisation 12ms ToddCoxeter 094: ACE --- C5 - HLT . . .  -- with HLT + no standardise + full lookahead + no save 100μs  -- with HLT + standardise + full lookahead + no save 87μs  -- with HLT + no standardise + partial lookahead + no save 87μs  -- with HLT + standardise + partial lookahead + no save 83μs  -- with HLT + no standardise + full lookahead + save 106μs  -- with HLT + standardise + full lookahead + save 106μs  -- with HLT + no standardise + partial lookahead + save 103μs  -- with HLT + standardise + partial lookahead + save 102μs  -- with random strategy 93μs  -- with Felsch + no standardisation 98μs  -- with Felsch + standardisation 96μs ToddCoxeter 095: ACE --- A5-C5 . . .  -- with HLT + no standardise + full lookahead + no save 127μ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 127μs  -- with HLT + no standardise + full lookahead + save 152μs  -- with HLT + standardise + full lookahead + save 145μs  -- with HLT + no standardise + partial lookahead + save 142μs  -- with HLT + standardise + partial lookahead + save 152μs  -- with random strategy 132μs  -- with Felsch + no standardisation 134μs  -- with Felsch + standardisation 127μs ToddCoxeter 096: ACE --- A5 . . .  -- with HLT + no standardise + full lookahead + no save 242μs  -- with HLT + standardise + full lookahead + no save 280μs  -- with HLT + no standardise + partial lookahead + no save 207μs  -- with HLT + standardise + partial lookahead + no save 273μs  -- with HLT + no standardise + full lookahead + save 375μs  -- with HLT + standardise + full lookahead + save 375μs  -- with HLT + no standardise + partial lookahead + save 358μs  -- with HLT + standardise + partial lookahead + save 371μs  -- with random strategy 402μs  -- with Felsch + no standardisation 282μs  -- with Felsch + standardisation 270μs ToddCoxeter 098: relation ordering . . .  -- with Felsch + no standardisation 585μs  -- with Felsch + standardisation 560μs  -- with HLT + no standardise + full lookahead + no save 322μs  -- with HLT + standardise + full lookahead + no save 315μs  -- with HLT + no standardise + partial lookahead + no save 311μs  -- with HLT + standardise + partial lookahead + no save 309μs  -- with HLT + no standardise + full lookahead + save 595μs  -- with HLT + standardise + full lookahead + save 590μs  -- with HLT + no standardise + partial lookahead + save 586μs  -- with HLT + standardise + partial lookahead + save 589μs  -- with random strategy 371μs ToddCoxeter 099: short circuit size in obviously infinite . . . 19μs ToddCoxeter 101: http://brauer.maths.qmul.ac.uk/Atlas/spor/M [...] . . . 622ms ToddCoxeter 108: http://brauer.maths.qmul.ac.uk/Atlas/lin/L3 [...] . . . 543ms ToddCoxeter 111: PartitionMonoid(2) . . . 76μs ToddCoxeter 112: Brauer(4) (Kudryavtseva + Mazorchuk) . . . 373μs ToddCoxeter 113: SymmetricInverseMonoid . . . 16ms UF 001: constructor by size . . . 19μs UF 002: copy constructor . . . 20μs UF 003: find . . . 34μs action_digraph_helper 015: detail::to_string . . . 41μs action_digraph_helper 016: make . . . 93μs action_digraph_helper 017: is_connected . . . 180μs action_digraph_helper 018: is_strictly_cyclic . . . 13ms follow_path 012: 20 node path . . . 23μs freeband_equal_to 001: . . . 656μs is_acyclic 000: 2-cycle . . . 12μs is_acyclic 001: 1-cycle . . . 10μs is_acyclic 002: multi-digraph . . . 13μs is_acyclic 003: complete digraph 100 . . . 86μs is_acyclic 004: acyclic digraph with 20000 nodes . . . 1623μs is_acyclic 006: for a node . . . 867μs is_acyclic 007: for a node . . . 19μs is_reachable 008: acyclic 20 node digraph . . . 46μs is_reachable 009: 100 node path . . . 10ms is_reachable 010: 100 node cycle . . . 10ms is_reachable 011: 20 node clique . . . 538μs last_node_on_path_nc 014: 20 node path . . . 16μs make 000: from FroidurePin . . . 467μs make 001: from FroidurePin and alphabet . . . 552μs make 002: presentation from presentation . . . 250μs make 003: presentation from presentation and alphabet . . . 50μs make> 000: from ActionDigraph . . . 1296μs make> 001: from ActionDigraph (exceptions) . . . 53μs number_of_words 001: . . . 24μs silo 000: alphabet: a, min: 0, max: 10 . . . 43μs silo 001: corner cases . . . 29μs silo 002: alphabet: ab, min: 1, max: 4 . . . 48μs silo 003: alphabet: abc, min: 0, max: 13 . . . 78ms silo 004: code coverage . . . 30μs sislo 005: alphabet: a, min: 0, max: 10 . . . 41μs sislo 006: corner cases . . . 53μs sislo 007: alphabet: ab, min: 1, max: 4 . . . 78μs sislo 008: alphabet: abc, min: 0, max: 13 . . . 80ms sislo 009: code coverage . . . 26μs string 000: detail::is_suffix . . . 12μs string 001: detail::is_prefix . . . 12μs string 002: detail::maximum_common_suffix . . . 12μs string 003: detail::group_digits . . . 18μs string_to_word 002: . . . 12μs validate_label 013: 20 node path . . . 51μs wilo 001: corner cases . . . 33μs wilo 002: letters: 2, min: 1, max: 4 . . . 31μs wilo 003: letters: 2, min: 1, max: 4 . . . 58μs wilo 004: letters: 3, min: 0, max: 10 . . . 18ms wilo 005: letters: 3, min: 0, max: 13 . . . 144ms wilo 006: forward iterator requirements . . . 142ms wilo 007: more corner cases . . . 58μs wilo 008: starting at a given word 1 . . . 145μs wilo 009: starting at a given word 2 . . . 20μs wilo 010: code coverage . . . 19μs wislo 000: n: 2, min; 1, max: 4 . . . 24μs wislo 001: corner cases . . . 45μs wislo 002: n: 3, min; 0, max: 10 . . . 4813μs wislo 003: n: 3, min; 0, max: 13 . . . 144ms wislo 004: lex + sort . . . 406ms wislo 005: code coverage . . . 27μs =============================================================================== All tests passed (1225110 assertions in 1070 test cases) >>> libsemigroups: Entering fakeroot... make[1]: Entering directory '/home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.3.2' ./config/install-sh -c -d '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib' /bin/sh ./libtool --mode=install /usr/bin/install -c libsemigroups.la '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib' ./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 extern/textflowcpp/TextFlow.hpp '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups/textflowcpp' libtool: install: /usr/bin/install -c .libs/libsemigroups.so.2.0.0 /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/libsemigroups.so.2.0.0 /usr/bin/install -c -m 644 include/libsemigroups/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-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 include/libsemigroups/kbe.hpp '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups' libtool: install: (cd /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib && { ln -s -f libsemigroups.so.2.0.0 libsemigroups.so.2 || { rm -f libsemigroups.so.2 && ln -s libsemigroups.so.2.0.0 libsemigroups.so.2; }; }) /usr/bin/install -c -m 644 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/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/string-view.hpp include/libsemigroups/string.hpp include/libsemigroups/suffix-tree.hpp include/libsemigroups/tce.hpp include/libsemigroups/timer.hpp include/libsemigroups/todd-coxeter.hpp include/libsemigroups/transf.hpp include/libsemigroups/types.hpp include/libsemigroups/uf.hpp 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.3.2' >>> 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.3.2-r0 pkgconfig >>> libsemigroups-dev*: Package size: 1.8 MB >>> libsemigroups-dev*: Compressing data... >>> libsemigroups-dev*: Create checksum... >>> libsemigroups-dev*: Create libsemigroups-dev-2.3.2-r0.apk >>> libsemigroups-static*: Tracing dependencies... >>> libsemigroups-static*: Package size: 3.9 MB >>> libsemigroups-static*: Compressing data... >>> libsemigroups-static*: Create checksum... >>> libsemigroups-static*: Create libsemigroups-static-2.3.2-r0.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.3 MB >>> libsemigroups*: Compressing data... >>> libsemigroups*: Create checksum... >>> libsemigroups*: Create libsemigroups-2.3.2-r0.apk >>> libsemigroups: Build complete at Sun, 13 Nov 2022 16:10:58 +0000 elapsed time 0h 12m 50s >>> libsemigroups: Cleaning up srcdir >>> libsemigroups: Cleaning up pkgdir >>> libsemigroups: Uninstalling dependencies... (1/4) Purging .makedepends-libsemigroups (20221113.155809) (2/4) Purging eigen-dev (3.4.0-r6) (3/4) Purging fmt-dev (9.1.0-r0) (4/4) Purging fmt (9.1.0-r0) OK: 380 MiB in 103 packages >>> libsemigroups: Updating the testing/x86 repository index... >>> libsemigroups: Signing the index...