>>> libsemigroups: Building testing/libsemigroups 2.5.1-r0 (using abuild 3.10.0-r0) started Sun, 25 Dec 2022 23:42:06 +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-r7) (2/4) Installing fmt (9.1.0-r0) (3/4) Installing fmt-dev (9.1.0-r0) (4/4) Installing .makedepends-libsemigroups (20221225.234207) OK: 388 MiB in 107 packages >>> libsemigroups: Cleaning up srcdir >>> libsemigroups: Cleaning up pkgdir >>> libsemigroups: Fetching https://distfiles.alpinelinux.org/distfiles/edge/libsemigroups-2.5.1.tar.gz % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 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.5.1/libsemigroups-2.5.1.tar.gz % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 1 2427k 1 48527 0 0 36647 0 0:01:07 0:00:01 0:01:06 36647 100 2427k 100 2427k 0 0 1285k 0 0:00:01 0:00:01 --:--:-- 4227k >>> libsemigroups: Fetching https://distfiles.alpinelinux.org/distfiles/edge/libsemigroups-2.5.1.tar.gz >>> libsemigroups: Checking sha512sums... libsemigroups-2.5.1.tar.gz: OK >>> libsemigroups: Unpacking /var/cache/distfiles/edge/libsemigroups-2.5.1.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' 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 -mavx... yes checking whether C++ compiler accepts -flax-vector-conversions... yes checking for x86intrin.h... yes checking for _mm_blendv_epi8... yes checking for _mm_cmpeq_epi8... yes checking for _mm_cmpestri... yes checking for _mm_cmpestrm... yes checking for _mm_cmplt_epi8... yes checking for _mm_extract_epi64... no configure: WARNING: compiler builtin not supported, HPCombi is disabled checking for i586-alpine-linux-musl-pkg-config... no checking for pkg-config... /usr/bin/pkg-config checking pkg-config is at least version 0.9.0... yes checking whether to enable fmt... yes checking whether to use external fmt... yes checking for fmt >= 8.1.1... yes checking whether to enable eigen... yes checking whether to use external eigen... yes checking for eigen3 >= 3.3.7... yes checking for __builtin_popcountl... yes checking for __builtin_clzll... yes checking whether to try and use __builtin_popcntl... yes checking whether to try and use __builtin_clzlll... yes checking that generated files are newer than configure... done configure: creating ./config.status config.status: creating Makefile config.status: creating libsemigroups.pc config.status: creating config/config.h config.status: executing depfiles commands config.status: executing include/libsemigroups/config.hpp commands config.status: creating include/libsemigroups/config.hpp - prefix LIBSEMIGROUPS for config/config.h defines config.status: executing libtool commands CXX src/libsemigroups_la-bipart.lo CXX src/libsemigroups_la-bmat8.lo CXX src/libsemigroups_la-cong-intf.lo CXX src/libsemigroups_la-cong-pair.lo CXX src/libsemigroups_la-cong.lo CXX src/libsemigroups_la-constants.lo CXX src/libsemigroups_la-coset.lo CXX src/libsemigroups_la-felsch-tree.lo CXX src/libsemigroups_la-forest.lo CXX src/libsemigroups_la-fpsemi-examples.lo CXX src/libsemigroups_la-fpsemi-intf.lo CXX src/libsemigroups_la-fpsemi.lo CXX src/libsemigroups_la-freeband.lo CXX src/libsemigroups_la-froidure-pin-base.lo CXX src/libsemigroups_la-kambites.lo CXX src/libsemigroups_la-knuth-bendix.lo CXX src/libsemigroups_la-make-present.lo CXX src/libsemigroups_la-node-manager.lo CXX src/libsemigroups_la-obvinf.lo CXX src/libsemigroups_la-pbr.lo CXX src/libsemigroups_la-race.lo CXX src/libsemigroups_la-report.lo CXX src/libsemigroups_la-runner.lo CXX src/libsemigroups_la-siso.lo CXX src/libsemigroups_la-string.lo CXX src/libsemigroups_la-stephen.lo CXX src/libsemigroups_la-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.5.1' CXX tests/bmat-data.o CXX tests/test-action.o CXX tests/test-bipart.o CXX tests/test-bitset.o CXX tests/test-bmat8.o CXX tests/test-cong-intf.o CXX tests/test-cong-pair.o CXX tests/test-cong.o CXX tests/test-constants.o CXX tests/test-containers.o CXX tests/test-digraph-helper.o CXX tests/test-digraph.o CXX tests/test-felsch-tree.o CXX tests/test-forest.o CXX tests/test-fpsemi.o CXX tests/test-fpsemi-examples-1.o CXX tests/test-fpsemi-examples-2.o CXX tests/test-fpsemi-examples-3.o CXX tests/test-fpsemi-intf.o CXX tests/test-freeband.o CXX tests/test-froidure-pin-bipart.o CXX tests/test-froidure-pin-bmat8.o CXX tests/test-froidure-pin-bmat.o CXX tests/test-froidure-pin-integers.o CXX tests/test-froidure-pin-intmat.o CXX tests/test-froidure-pin-intpairs.o CXX tests/test-froidure-pin-matrix.o CXX tests/test-froidure-pin-maxplustrunc.o CXX tests/test-froidure-pin-pbr.o CXX tests/test-froidure-pin-pperm.o CXX tests/test-froidure-pin-projmaxplus.o CXX tests/test-froidure-pin-transf.o CXX tests/test-hpcombi.o CXX tests/test-iterator.o CXX tests/test-kambites.o CXX tests/test-kbe.o CXX tests/test-knuth-bendix-1.o CXX tests/test-knuth-bendix-2.o CXX tests/test-knuth-bendix-3.o CXX tests/test-knuth-bendix-4.o CXX tests/test-knuth-bendix-5.o CXX tests/test-knuth-bendix-6.o CXX tests/test-konieczny-bmat8-1.o CXX tests/test-konieczny-bmat8-2.o CXX tests/test-konieczny-bmat8-3.o CXX tests/test-konieczny-transf.o CXX tests/test-konieczny-bmat.o CXX tests/test-konieczny-pperm.o CXX tests/test-main.o CXX tests/test-make-present.o CXX tests/test-make-froidure-pin.o CXX tests/test-matrix.o CXX tests/test-obvinf.o CXX tests/test-order.o CXX tests/test-pbr.o CXX tests/test-pool.o CXX tests/test-present.o CXX tests/test-race.o CXX tests/test-runner.o CXX tests/test-schreier-sims.o CXX tests/test-schreier-sims-helper.o CXX tests/test-sims1.o CXX tests/test-siso.o CXX tests/test-stephen.o CXX tests/test-string.o CXX tests/test-string-view.o CXX tests/test-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.5.1' ./test_all --use-colour yes --order lex --abort [quick] Filters: [quick] Action 001: row and column basis orbits for BMat8 . . . 92μs Action 002: row and column basis orbits for BMat8 . . . 16ms Action 003: add generators after enumeration . . . 12ms Action 004: multipliers for BMat8 row and column orbits . . . 17ms Action 005: orbits for regular boolean mat monoid 5 . . . 462ms Action 007: partial perm image orbit . . . 250μs Action 008: partial perm image orbit . . . 66ms Action 009: partial perm image orbit . . . 74ms Action 010: partial perm image orbit . . . 73ms Action 011: permutation on integers . . . 20μs Action 012: permutation on sets, arrays . . . 116μs Action 013: permutation on tuples, arrays . . . 12ms Action 014: permutation on sets, vectors . . . 181μs Action 015: permutation on tuples, vectors . . . 19ms Action 016: misc . . . 9567μs Action 017: partial perm image orbit . . . 53μs Action 018: permutation on tuples, arrays (360360) . . . 178ms Action 019: orbits for regular BMat8 monoid 5 with stop/start . . . 440ms Action 021: orbits for regular boolean mat monoid 5 (BMat<5> [...] . . . 453ms ActionDigraph 000: constructor with 1 default arg . . . 25μs ActionDigraph 001: constructor with 0 default args . . . 45μs ActionDigraph 002: add nodes . . . 26μs ActionDigraph 003: add edges . . . 313μs ActionDigraph 004: strongly connected components - cycles . . . 34μs ActionDigraph 005: strongly connected components - no edges . . . 49ms ActionDigraph 006: strongly connected components - disjoint cycles . . . 1804μs ActionDigraph 007: strongly connected components - complete graphs . . . 977μs ActionDigraph 008: exceptions . . . 64μs ActionDigraph 009: spanning forest - complete graphs . . . 5429μs ActionDigraph 010: spanning forest - disjoint cycles . . . 135μs ActionDigraph 011: restrict . . . 12μs ActionDigraph 012: remove_edge_nc . . . 10μs ActionDigraph 013: scc large cycle . . . 16ms ActionDigraph 014: random . . . 26μs ActionDigraph 015: reserve . . . 12μs ActionDigraph 016: default constructors . . . 16μs ActionDigraph 017: scc iterators . . . 1783μs ActionDigraph 018: iterator to edges . . . 662μs ActionDigraph 019: root of scc . . . 402μs ActionDigraph 020: cbegin/end_panislo - 100 node path . . . 617μs ActionDigraph 021: cbegin/end_pislo . . . 55μs ActionDigraph 022: cbegin/end_pani(s)lo - 100 node cycle . . . 848μs ActionDigraph 023: cbegin/cend_pilo - tree 14 nodes . . . 96μs ActionDigraph 024: cbegin/end_pstilo - Cayley digraph . . . 205ms ActionDigraph 025: cbegin_pstilo - Tsalakou . . . 444μs ActionDigraph 026: cbegin/end_pstislo - Cayley digraph . . . 201ms ActionDigraph 027: cbegin/end_pstislo - Cayley digraph . . . 225μs ActionDigraph 028: path iterators corner cases . . . 213μs ActionDigraph 029: reverse node iterator . . . 12μs ActionDigraph 030: pstilo corner case . . . 73μs ActionDigraph 031: number_of_paths corner cases . . . 74μs ActionDigraph 032: number_of_paths acyclic digraph . . . 13ms ActionDigraph 033: number_of_paths binary tree . . . 551ms ActionDigraph 034: number_of_paths large binary tree . . . 160ms ActionDigraph 035: number_of_paths 400 node random digraph . . . 715μs ActionDigraph 036: number_of_paths 10 node acyclic digraph . . . 50μs ActionDigraph 037: number_of_paths node digraph . . . 4479μs ActionDigraph 038: random/random_acyclic exceptions . . . 129μs ActionDigraph 039: unsafe (next) neighbour . . . 95μs ActionDigraph 040: number_of_egdes incident to a node . . . 101μs ActionDigraph 041: number_of_paths (matrix) . . . 27ms ActionDigraph 042: number_of_paths (matrix) . . . 15μs ActionDigraph 043: swap_edge_nc . . . 10μs ActionDigraph 044: detail::pow for non-square Eigen matrix . . . 25μs ActionDigraph 045: operator<< . . . 16μs Array2 044: all . . . 51μs BMat8 001: transpose . . . 29μs BMat8 002: multiplication . . . 25μs BMat8 003: identity matrix . . . 15μs BMat8 004: random . . . 131μs BMat8 005: call operator . . . 21μs BMat8 006: operator<< . . . 20μs BMat8 007: set . . . 80μs BMat8 008: row space basis . . . 1551μs BMat8 009: col space basis . . . 1613μs BMat8 010: row space basis . . . 17ms BMat8 011: number_of_rows, number_of_cols . . . 48μs BMat8 012: row_space, col_space . . . 297μs BMat8 013: rows . . . 51μs BMat8 014: one . . . 13μs BMat8 015: vector constructor . . . 102μs BMat8 016: operator< . . . 15μs BMat8 017: adapters . . . 27μs BMat8 018: one . . . 12μs Bipartition 009: mem fns 1 . . . 41μs Bipartition 010: hash . . . 10μs Bipartition 011: mem fns 2 . . . 25μs Bipartition 012: delete/copy . . . 10μs Bipartition 013: degree 0 . . . 12μs Bipartition 014: exceptions . . . 46μs Bipartition 015: convenience constructor . . . 291μs Bipartition 016: force copy constructor over move constructor . . . 20μs Bipartition 017: adapters . . . 10μs BitSet 000: size . . . 12μs BitSet 001: operator< . . . 10μs BitSet 002: operator== . . . 12μs BitSet 003: operator!= . . . 12μs BitSet 004: operator&= . . . 13μs BitSet 005: & . . . 21μs BitSet 006: operator|= . . . 18μs BitSet 007: operator[] . . . 18μs BitSet 008: set(none) . . . 19μs BitSet 009: set(pos, value) . . . 19μs BitSet 010: set(first, last, value) . . . 21μs BitSet 011: reset(first, last) . . . 20μs BitSet 012: reset(pos) . . . 20μs BitSet 013: apply (iterate through set bits) . . . 21μs BitSet 014: std::hash . . . 9000ns BitSet 015: constructors . . . 21μs BitSet 016: max_size . . . 10μs BitSet 017: insertion operators . . . 13μs Blocks 001: empty blocks . . . 15μ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 . . . 12μs Blocks 008: operator< . . . 12μs Congruence 000: left congruence on fp semigroup . . . 186μs Congruence 001: 2-sided congruence on fp semigroup . . . 429μs Congruence 002: left congruence on fp semigroup . . . 257μs Congruence 003: word_to_class_index for cong. on fp semigroup . . . 268μs Congruence 004: word_to_class_index for cong. on fp semigroup . . . 510μs Congruence 005: trivial congruence on non-fp semigroup . . . 427μs Congruence 006: 2-sided congruence on non-fp semigroup . . . 393μs Congruence 007: 2-sided congruence on fp semigroup . . . 515μs Congruence 008: 2-sided congruence on infinite fp semigroup . . . 366μs Congruence 009: 2-sided congruence on infinite fp semigroup . . . 395μs Congruence 010: 2-sided congruence on finite semigroup . . . 43ms Congruence 012: 2-sided congruence on finite semigroup . . . 3606μs Congruence 013: trivial 2-sided congruence on bicyclic monoid . . . 26ms Congruence 014: non-trivial 2-sided congruence on bicyclic monoid . . . 382μs Congruence 015: 2-sided congruence on free abelian monoid . . . 349μs Congruence 016: example where TC works but KB doesn't . . . 699μs Congruence 017: 2-sided congruence on finite semigroup . . . 563μs Congruence 018: infinite fp semigroup from GAP library . . . 608μs Congruence 019: 2-sided cong. on fp semigroup with infinite [...] . . . 295μs Congruence 020: trivial cong. on an fp semigroup . . .  -- with compute size 306μs  -- with don't compute size 340μs Congruence 021: duplicate generators . . . 476μs Congruence 022: non-trivial classes . . . 1358μs Congruence 023: right congruence on finite semigroup . . . 310ms Congruence 024: redundant generating pairs . . . 136μs Congruence 025: 2-sided cong. on free semigroup . . . 93μs Congruence 026: is_quotient_obviously_(in)finite . . . 1000μs Congruence 027: less . . . 355μs Congruence 028: 2-sided congruences of BMat8 semigroup . . . 638ms Congruence 029: left congruence on finite semigroup . . . 650μs Congruence 030: right congruence on finite semigroup . . . 693μs Congruence 031: right congruence on finite semigroup . . . 777μs Congruence 032: contains . . . 212μs Congruence 033: stellar_monoid S2 . . . 858μs Congruence 034: stellar_monoid S3 . . . 1172μs Congruence 035: stellar_monoid S4 . . . 1869μs Congruence 036: stellar_monoid S5 . . . 8496μs Congruence 037: stellar_monoid S6 . . . 82ms Congruence 038: stellar_monoid S7 . . . 820ms Congruence 039: left cong. on an f.p. semigroup . . . 1632μs Congruence 040: 2-sided cong. on infinite f.p. semigroup . . . 236μs Congruence 041: 2-sided congruence constructed from type only . . . 515μs Congruence 042: const_contains . . . 763μs Congruence 043: no winner . . . 7254μs Congruence 044: congruence over smalloverlap . . . 10ms CongruenceByPairs 001: (cong) 2-sided cong. on finite semigroup . . . 533μs CongruenceByPairs 002: (cong) left congruence on finite semigroup . . . 225μs CongruenceByPairs 003: (cong) right congruence on finite semigroup . . . 219μs CongruenceByPairs 004: (cong) trivial congruence on finite s [...] . . . 152μs CongruenceByPairs 005: (cong) trivial left congruence on fin [...] . . . 145μs CongruenceByPairs 006: (cong) trivial right congruence on fi [...] . . . 135μs CongruenceByPairs 007: (cong) universal congruence on finite [...] . . . 595μs CongruenceByPairs 009: (cong) 2-sided congruence on finite s [...] . . . 801ms CongruenceByPairs 010: (cong) left congruence on big finite [...] . . . 31ms CongruenceByPairs 011: (cong) left congruence on TCE . . . 183μs CongruenceByPairs 012: (cong) is_quotient_obviously_finite . . . 95μs CongruenceByPairs 013: (cong) class_index_to_word/quotient . . .  -- with right congruence 9563μs  -- with left congruence 1214μs  -- with 2-sided congruence 6492μ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 83μs  -- with KnuthBendix 142μs  -- with CongruenceByPairs 131μs  -- with Congruence 442μs CongruenceInterface 001: contains/const_contains . . .  -- with ToddCoxeter and no parent 124μs  -- with KnuthBendix and no parent 131μs  -- with Congruence and parent 407μs  -- with CongruenceByPairs and parent 101μs CongruenceInterface 002: less . . .  -- with ToddCoxeter 93μs  -- with KnuthBendix 157μs  -- with CongruenceByPairs 105μs  -- with Congruence 456μs CongruenceInterface 003: is_quotient_obviously_(in)finite . . .  -- with ToddCoxeter 60μs  -- with KnuthBendix 117μs CongruenceInterface 004: is_quotient_obviously_(in)finite . . .  -- with CongruenceByPairs 110μs  -- with Congruence 326μs CongruenceInterface 005: parent_froidure_pin . . .  -- with ToddCoxeter 31μs  -- with KnuthBendix 23μs CongruenceInterface 006: parent_froidure_pin . . .  -- with CongruenceByPairs 109μs  -- with Congruence 442μs CongruenceInterface 007: cbegin/cend_ntc . . .  -- with ToddCoxeter 279μs  -- with KnuthBendix 1221μs CongruenceInterface 008: cbegin/cend_ntc . . .  -- with CongruenceByPairs 228μs  -- with Congruence 476μs CongruenceInterface 009: quotient is immutable . . .  -- with ToddCoxeter 90μs  -- with KnuthBendix 123μs  -- with Congruence 273μs CongruenceInterface 010: no generating pairs added . . .  -- with KnuthBendix and common behaviour 4938μs  -- with Congruence and common behaviour 5080μs  -- with ToddCoxeter 76μs CongruenceInterface 011: nr generators not set . . .  -- with ToddCoxeter 154μs  -- with KnuthBendix 101μs  -- with Congruence 105μs CongruenceInterface 012: no generating pairs . . . 174μs ConstIteratorStateless 001: ? . . . 12μs ConstIteratorStateless 002: ? . . . 10μs Constants 001: Undefined . . . 20μs Constants 002: PositiveInfinity . . . 16μs Constants 003: NegativeInfinity . . . 15μs Constants 004: LimitMax . . . 15μs Duf 004: unite . . . 30μs Duf 006: compress . . . 15μs Duf 008: resize . . . 19μs Duf 009: resize . . . 12μs Duf 010: big chain . . . 18ms Duf 012: empty table . . . 27μs Duf 014: join . . . 12μs Duf 016: contains . . . 41μs Duf 018: swap . . . 48μs DynamicArray2 001: default constructor with 3 default args . . . 15μs DynamicArray2 002: default constructor with 2 default args . . . 10μs DynamicArray2 003: default constructor with 1 default args . . . 16μs DynamicArray2 004: default constructor with 0 default args . . . 12μs DynamicArray2 005: copy constructor with 1 default args . . . 12μs DynamicArray2 006: copy constructor with 0 default args . . . 15μs DynamicArray2 007: add_rows . . . 15μs DynamicArray2 008: add_rows . . . 13μs DynamicArray2 009: add_cols . . . 25μs DynamicArray2 010: set/get . . . 38μs DynamicArray2 011: append 1/2 . . . 91μs DynamicArray2 012: append 2/2 . . . 156μ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) . . . 246μs DynamicArray2 018: iterator operator++ (prefix) . . . 1551μs DynamicArray2 019: iterator operator-- (postfix) . . . 313μs DynamicArray2 020: iterator operator-- (prefix) . . . 313μs DynamicArray2 021: operator= . . . 15μs DynamicArray2 022: operator== and operator!= . . . 238μs DynamicArray2 023: empty and clear . . . 15μs DynamicArray2 024: max_size . . . 10μs DynamicArray2 025: swap . . . 36μs DynamicArray2 026: iterator arithmetic . . . 1361μs DynamicArray2 027: iterator comparison . . . 15μs DynamicArray2 028: iterator operator= . . . 12μs DynamicArray2 029: iterator operator[] . . . 74μs DynamicArray2 030: iterator operator-> . . . 24μs DynamicArray2 031: const_iterator operator++/-- . . . 212μs DynamicArray2 032: const_iterator operator++/-- . . . 10μs DynamicArray2 033: column iterators . . . 25μs DynamicArray2 034: column iterator arithmetic . . . 5513μs DynamicArray2 035: iterator assignment constructor . . . 1538μs DynamicArray2 036: reserve method . . . 60μs DynamicArray2 037: erase column . . . 16μs DynamicArray2 038: swap_rows . . . 13μs DynamicArray2 039: apply_row_permutation . . . 13μs DynamicArray2 040: swap . . . 12μs DynamicArray2 041: shrink_rows_to . . . 15μs DynamicArray2 042: shrink_rows_to - for range . . . 16μs FastestBMat 046: check no throw . . . 31μs FelschTree 000: previously failing example . . . 30μs Forest 001: test forest . . . 66μs FpSemigroup 001: Renner monoid type B2 (E. G. presentation), q = 1 . . . 955μs FpSemigroup 002: Renner monoid type B2 (E. G. presentation), q = 0 . . . 934μs FpSemigroup 003: Renner monoid type B3 (E. G. presentation), q = 1 . . . 64ms FpSemigroup 004: Renner monoid type B3 (E. G. presentation), q = 0 . . . 65ms FpSemigroup 005: Renner monoid type B2 (Gay-Hivert presentat [...] . . . 833μs FpSemigroup 006: Renner monoid type B2 (Gay-Hivert presentat [...] . . . 876μs FpSemigroup 007: Renner monoid type B3 (Gay-Hivert presentat [...] . . . 4367μs FpSemigroup 008: Renner monoid type B3 (Gay-Hivert presentat [...] . . . 4099μs FpSemigroup 009: Renner monoid type B4 (Gay-Hivert presentat [...] . . . 314ms FpSemigroup 010: Renner monoid type B4 (Gay-Hivert presentat [...] . . . 654ms FpSemigroup 013: Renner monoid type D2 (E. G. presentation), q = 1 . . . 2723μs FpSemigroup 014: Renner monoid type D2 (E. G. presentation), q = 0 . . . 2321μs FpSemigroup 015: Renner monoid type D3 (E. G. presentation), q = 1 . . . 8293μs FpSemigroup 016: Renner monoid type D3 (E. G. presentation), q = 0 . . . 7216μs FpSemigroup 017: Renner monoid type D4 (E. G. presentation), q = 1 . . . 708ms FpSemigroup 018: Renner monoid type D4 (E. G. presentation), q = 0 . . . 700ms FpSemigroup 019: Renner monoid type D2 (Gay-Hivert presentat [...] . . . 2138μs FpSemigroup 020: Renner monoid type D2 (Gay-Hivert presentat [...] . . . 1997μs FpSemigroup 021: Renner monoid type D3 (Gay-Hivert presentat [...] . . . 6906μs FpSemigroup 022: Renner monoid type D3 (Gay-Hivert presentat [...] . . . 5793μs FpSemigroup 023: Renner monoid type D4 (Gay-Hivert presentat [...] . . . 110ms FpSemigroup 024: Renner monoid type D4 (Gay-Hivert presentat [...] . . . 127ms FpSemigroup 029: Rook monoid R5, q = 0 . . . 9187μs FpSemigroup 030: Rook monoid R5, q = 1 . . . 6865μs FpSemigroup 031: Rook monoid R6, q = 0 . . . 55ms FpSemigroup 032: Rook monoid R6, q = 1 . . . 55ms FpSemigroup 033: normal_form . . . 531μs FpSemigroup 034: for a finite semigroup . . . 1312μs FpSemigroup 035: finite fp semigroup, dihedral group of order 6 . . . 952μs FpSemigroup 036: finite fp semigroup, size 16 . . . 1255μs FpSemigroup 037: finite fp semigroup, size 16 . . . 2145μs FpSemigroup 038: fp semigroup, size 240 . . . 1368μs FpSemigroup 039: add_rule . . . 550μs FpSemigroup 040: add_rule . . . 324μs FpSemigroup 041: equal_to . . . 538μs FpSemigroup 042: cbegin/cend_rules . . . 164μs FpSemigroup 043: semigroup of size 3 . . . 875μs FpSemigroup 044: run_for/until . . . 2991μs FpSemigroup 045: constructors . . . 485μs FpSemigroup 046: set_inverses . . . 369μs FpSemigroup 047: smalloverlap . . . 18ms FpSemigroup 048: quaternion group Q8 . . . 908μs FpSemigroup 049: symmetric group Coxeter presentation . . . 32ms FpSemigroupByPairs 029: (fpsemi) 2-sided congruence on finit [...] . . . 989μs FpSemigroupByPairs 030: (fpsemi) 2-sided congruence on finit [...] . . . 933μs FpSemigroupInterface 000: run with no alphabet . . .  -- with ToddCoxeter 135μs  -- with KnuthBendix 63μs  -- with FpSemigroup 77μs FpSemigroupInterface 001: equal_to . . .  -- with ToddCoxeter and human readable alphabet 3843μs  -- with KnuthBendix and human readable alphabet 8782μs  -- with FpSemigroup and human readable alphabet 8411μs  -- with FpSemigroupByPairs 5775μs FpSemigroupInterface 002: normal_form . . .  -- with ToddCoxeter 326μs  -- with KnuthBendix 427μs  -- with FpSemigroup 846μs FpSemigroupInterface 003: set_alphabet (1/2) . . .  -- with ToddCoxeter 206μs  -- with KnuthBendix 166μs  -- with FpSemigroup 184μs FpSemigroupInterface 004: set_alphabet (2/2) . . . 2040μs FpSemigroupInterface 005: add_rule after finished . . .  -- with ToddCoxeter and human readable alphabet 257μs  -- with KnuthBendix and human readable alphabet 348μs  -- with FpSemigroup and human readable alphabet 693μs  -- with FpSemigroupByPairs 1977μs FpSemigroupInterface 006: add_rule with equal words (1/2) . . .  -- with ToddCoxeter and human readable alphabet 373μs  -- with KnuthBendix and human readable alphabet 502μs  -- with FpSemigroup and human readable alphabet 627μs  -- with FpSemigroupByPairs 360μs FpSemigroupInterface 007: add_rule with equal words (2/2) . . .  -- with ToddCoxeter 53μs  -- with KnuthBendix 36μs  -- with FpSemigroup 62μs FpSemigroupInterface 008: add_rule with word_type . . .  -- with ToddCoxeter 107μs  -- with KnuthBendix 478μs  -- with FpSemigroup 216μs FpSemigroupInterface 009: add_rule with empty word (1/2) . . .  -- with ToddCoxeter 87μs  -- with FpSemigroup 87μs FpSemigroupInterface 010: add_rule with empty word (1/2) . . . 36μs FpSemigroupInterface 011: add_rules (1/3) . . .  -- with ToddCoxeter 97μs  -- with KnuthBendix 82μs  -- with FpSemigroup 96μs FpSemigroupInterface 012: add_rules (2/3) . . . 797μs FpSemigroupInterface 013: add_rules (3/3) . . .  -- with ToddCoxeter 66μs  -- with KnuthBendix 51μs  -- with FpSemigroup 171μs FpSemigroupInterface 014: set_identity (1/3) . . .  -- with ToddCoxeter 236μs  -- with KnuthBendix 266μs  -- with FpSemigroup 355μs FpSemigroupInterface 015: set_identity (2/3) . . . 473μs FpSemigroupInterface 016: set_identity (3/3) . . .  -- with ToddCoxeter 164μs  -- with KnuthBendix 146μs  -- with FpSemigroup 280μs FpSemigroupInterface 017: identity . . .  -- with ToddCoxeter 72μs  -- with KnuthBendix 53μs  -- with FpSemigroup 68μs FpSemigroupInterface 018: set_inverses + inverses (1/2) . . .  -- with ToddCoxeter 349μs  -- with KnuthBendix 335μs  -- with FpSemigroup 525μs FpSemigroupInterface 019: set_inverses + inverses (2/2) . . . 582μs FpSemigroupInterface 020: is_obviously_infinite (1/2) . . .  -- with ToddCoxeter 250μs  -- with KnuthBendix 348μs  -- with FpSemigroup 649μs FpSemigroupInterface 021: is_obviously_infinite (2/2) . . . 72μs FpSemigroupInterface 022: is_obviously_finite (1/2) . . .  -- with ToddCoxeter 238μs  -- with KnuthBendix 326μs  -- with FpSemigroup 675μs FpSemigroupInterface 023: is_obviously_finite (2/2) . . . 73μs FpSemigroupInterface 024: to_gap_string (1/3) . . .  -- with ToddCoxeter 66μs  -- with KnuthBendix 53μs  -- with FpSemigroup 178μs FpSemigroupInterface 025: to_gap_string (2/3) . . . 38μs FpSemigroupInterface 026: to_gap_string (3/3) . . . 63μs FroidurePin 016: (BMat8) exception zero generators given . . . 41μs FroidurePin 017: (BMat8) exception word_to_element . . . 151μs FroidurePin 018: (BMat8) exception prefix . . . 5066μs FroidurePin 019: (BMat8) exception suffix . . . 48μs FroidurePin 020: (BMat8) exception first_letter . . . 4845μs FroidurePin 021: (BMat8) exception final_letter . . . 45μs FroidurePin 022: (BMat8) exception current_length . . . 4258μs FroidurePin 023: (BMat8) exception product_by_reduction . . . 3755μs FroidurePin 024: (BMat8) exception fast_product . . . 3648μs FroidurePin 025: (BMat8) exception is_idempotent . . . 719ms FroidurePin 026: (BMat8) copy constructor . . .  -- with fully enumerated 2082ms  -- with partially enumerated 473ms  -- with not enumerated 281ms FroidurePin 027: (BMat8) cbegin/end_rules . . . 69μs FroidurePin 031: (integers) . . . 157μs FroidurePin 039: (pairs of integers) non-trivial user type . . . 31μs FroidurePin 055: (tropical max-plus semiring matrices) . . . 275μs FroidurePin 061: projective max plus matrix . . . 1062μs FroidurePin 062: projective max plus matrix . . . 36μs FroidurePin> 009: small example 2 . . . 46μs FroidurePin> 005: small example 1 . . . 119μs FroidurePin> 007: regular bmat monoid 4 . . . 65ms FroidurePin> 011: small example 3 . . . 590μs FroidurePin> 006: small example 1 . . . 134μs FroidurePin> 008: regular bmat monoid 4 . . . 77ms FroidurePin> 010: small example 2 . . . 40μs FroidurePin> 012: small example 3 . . . 681μs FroidurePin 000: small example 1 . . . 172μs FroidurePin 001: default constructed . . . 135μs FroidurePin 002: small example 2 . . . 50μs FroidurePin 004: exception: is_idempotent . . . 191μs FroidurePin> 033: Example 000 . . . 3493μs FroidurePin> 035: Example 001 . . . 45μs FroidurePin> 032: Example 000 . . . 3392μs FroidurePin> 034: Example 001 . . . 40μs FroidurePin 036: exception: current_position . . . 131μs FroidurePin 037: exception: word_to_element . . . 74μs FroidurePin 038: exception: prefix, suffix, first_letter . . . 27ms FroidurePin> 040: Example 000 . . . 73μs FroidurePin> 041: Example 000 . . . 58μs FroidurePin> 046: Example 005 . . . 162μs FroidurePin> 047: Example 005 . . . 182μs FroidurePin> 048: Example 005 . . . 248μs FroidurePin> 044: Example 004 . . . 45μs FroidurePin> 045: Example 004 . . . 48μs FroidurePin> 049: Example 006 . . . 1043μs FroidurePin> 050: Example 006 . . . 1235μs FroidurePin> 051: Example 006 . . . 1268μs FroidurePin> 052: Example 007 . . . 129μs FroidurePin> 053: Example 007 . . . 144μs FroidurePin> 054: Example 007 . . . 154μs FroidurePin 056: example 1 . . . 201μs FroidurePin 057: example 2 . . . 164μs FroidurePin> 058: . . . 589μs FroidurePin> 059: . . . 50μs FroidurePin> 060: exceptions: add_generator(s) . . . 63μs FroidurePin> 065: no exception zero generators given . . . 23μs FroidurePin> 066: exception generators of different [...] . . . 62μs FroidurePin> 067: exception current_position . . . 48μs FroidurePin> 068: exception word_to_element . . . 48μs FroidurePin> 069: exception gens . . . 613μs FroidurePin> 070: exception prefix . . . 32ms FroidurePin> 071: exception suffix . . . 83ms FroidurePin> 072: exception first_letter . . . 60μs FroidurePin> 073: exception final_letter . . . 55μs FroidurePin> 074: exception current_length . . . 51μs FroidurePin> 075: exception product_by_reduction . . . 496μs FroidurePin> 076: exception fast_product . . . 541μs FroidurePin> 077: exception current_position . . . 612μs FroidurePin> 078: exception is_idempotent . . . 658μs FroidurePin> 079: exception add_generators . . . 41μs FroidurePin> 080: multithread number_of_idempotents . . . 533μs FroidurePin> 081: small semigroup . . . 29μs FroidurePin> 082: large semigroup . . . 6483μs FroidurePin> 083: at, position, current_* . . . 6557μs FroidurePin> 084: run . . . 6339μs FroidurePin> 085: run [many stops and starts] . . . 6328μs FroidurePin> 086: factorisation, length [1 element] . . . 6205μs FroidurePin> 087: factorisation, products [all elements] . . . 8071μs FroidurePin> 088: first/final letter, prefix, suffi [...] . . . 6257μs FroidurePin> 089: current_position [standard] . . . 27μs FroidurePin> 090: current_position [duplicate gens] . . . 11ms FroidurePin> 091: current_position [after add_generators] . . . 6917μs FroidurePin> 092: cbegin_idempotents/cend [1 thread] . . . 6983μs FroidurePin> 093: idempotent_cend/cbegin [1 thread] . . . 6967μs FroidurePin> 094: is_idempotent [1 thread] . . . 6494μs FroidurePin> 096: finished, started . . . 6231μs FroidurePin> 097: current_position . . . 1446μs FroidurePin> 098: sorted_position, sorted_at . . . 8052μs FroidurePin> 099: right/left Cayley graph . . . 33ms FroidurePin> 100: iterator . . . 10ms FroidurePin> 101: reverse iterator . . . 10ms FroidurePin> 102: iterator arithmetic . . . 31ms FroidurePin> 103: iterator sorted . . . 25ms FroidurePin> 104: iterator sorted arithmetic . . . 34ms FroidurePin> 105: copy [not enumerated] . . . 6407μs FroidurePin> 106: copy_closure [not enumerated] . . . 40ms FroidurePin> 107: copy_add_generators [not enumerated] . . . 37ms FroidurePin> 108: copy [partly enumerated] . . . 6873μs FroidurePin> 109: copy_closure [partly enumerated] . . . 10ms FroidurePin> 110: copy_add_generators [partly enumerated] . . . 6976μs FroidurePin> 111: copy [fully enumerated] . . . 9972μs FroidurePin> 112: copy_closure [fully enumerated] . . . 10ms FroidurePin> 113: copy_add_generators [fully enumerated] . . . 9721μs FroidurePin> 114: relations [duplicate gens] . . . 194μs FroidurePin> 115: relations . . . 8899μs FroidurePin> 116: relations [copy_closure, duplicat [...] . . . 11ms FroidurePin> 117: relations [copy_add_generators, d [...] . . . 11ms FroidurePin> 118: relations [from copy, not enumerated] . . . 7557μ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 [...] . . . 7533μs FroidurePin> 123: relations [from copy_closure, par [...] . . . 11ms FroidurePin> 124: relations [from copy_add_generato [...] . . . 9653μs FroidurePin> 125: relations [from copy_closure, ful [...] . . . 13ms FroidurePin> 126: relations [from copy_add_generato [...] . . . 12ms FroidurePin> 127: add_generators [duplicate generators] . . . 326μs FroidurePin> 128: add_generators [incremental 1] . . . 389μs FroidurePin> 129: add_generators [incremental 2] . . . 541μs FroidurePin> 130: closure [duplicate generators] . . . 264μs FroidurePin> 131: closure . . . 103μs FroidurePin> 132: factorisation . . . 25μs FroidurePin> 134: minimal_factorisation . . . 48μs FroidurePin> 135: batch_size (for an extremely larg [...] . . . 24μs FroidurePin> 137: exception: generators of differen [...] . . . 30μs FroidurePin> 138: exception: current_position . . . 46μs FroidurePin> 139: exception: word_to_element . . . 48μs FroidurePin> 140: exception: gens, current_position . . . 823μs FroidurePin> 141: exception: add_generators . . . 36μs KBE 000: constructors . . . 58μs KBE 001: test . . . 72μs KBE 002: factorisation . . . 53μs KBE 003: swap . . . 33μs KBE 004: adapters . . . 33μs KBE 005: conversions . . . 31μs Kambites 000: (fpsemi) MT test 4 (std::string) . . . 7252μs Kambites 001: (fpsemi) MT test 4 (MultiStringView) . . . 8264μs Kambites 002: (fpsemi) number_of_pieces (std::string) . . . 129μs Kambites 003: (fpsemi) number_of_pieces (MultiStringView) . . . 116μs Kambites 004: (fpsemi) small_overlap_class (std::string) . . . 3438μs Kambites 005: (fpsemi) small_overlap_class (MultiStringView) . . . 3455μs Kambites 006: (fpsemi) random (std::string) . . . 11ms Kambites 007: (fpsemi) random (MultiStringView) . . . 11ms Kambites 008: (fpsemi) KnuthBendix 055 (std::string) . . . 17ms Kambites 009: (fpsemi) KnuthBendix 055 (MultiStringView) . . . 20ms Kambites 010: (fpsemi) smalloverlap/gap/test.gi:85 (std::string) . . . 98μs Kambites 011: (fpsemi) smalloverlap/gap/test.gi:85 (MultiStr [...] . . . 87μs Kambites 012: (fpsemi) free semigroup . . . 12μs Kambites 013: (fpsemi) smalloverlap/gap/test.gi:49 (std::string) . . . 38ms Kambites 014: (fpsemi) smalloverlap/gap/test.gi:49 (MultiStr [...] . . . 50ms Kambites 015: (fpsemi) smalloverlap/gap/test.gi:63 (std::string) . . . 41ms Kambites 016: (fpsemi) smalloverlap/gap/test.gi:63 (MultiStr [...] . . . 56ms Kambites 017: (fpsemi) smalloverlap/gap/test.gi:70 (std::string) . . . 145ms Kambites 018: (fpsemi) smalloverlap/gap/test.gi:70 (MultiStr [...] . . . 206ms Kambites 021: (fpsemi) code coverage (std::string) . . . 82μs Kambites 022: (fpsemi) code coverage (MultiStringView) . . . 48μs Kambites 023: (fpsemi) prefix (std::string) . . . 74μs Kambites 024: (fpsemi) prefix (MultiStringView) . . . 107μs Kambites 025: (fpsemi) normal_form (Example 3.15) (std::string) . . . 76μs Kambites 026: (fpsemi) normal_form (Example 3.15) (MultiStri [...] . . . 102μs Kambites 027: (fpsemi) normal_form (Example 3.16) (std::string) . . . 55μs Kambites 028: (fpsemi) normal_form (Example 3.16) (MultiStri [...] . . . 77μs Kambites 029: (fpsemi) normal_form (Example 3.16) more exhau [...] . . . 112ms Kambites 030: (fpsemi) normal_form (Example 3.16) more exhau [...] . . . 113ms Kambites 031: (fpsemi) small presentation (std::string) . . . 96μs Kambites 032: (fpsemi) small presentation (MultiStringView) . . . 55μs Kambites 033: (fpsemi) non-smalloverlap (std::string) . . . 87μs Kambites 034: (fpsemi) non-smalloverlap (MultiStringView) . . . 119μs Kambites 035: (fpsemi) MT test 3 (std::string) . . . 91μs Kambites 036: (fpsemi) MT test 3 (MultiStringView) . . . 67μs Kambites 037: (fpsemi) MT test 5 (std::string) . . . 31μs Kambites 038: (fpsemi) MT test 5 (MultiStringView) . . . 31μ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) . . . 41μs Kambites 042: (fpsemi) MT test 10 (MultiStringView) . . . 67μ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) . . . 67μ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) . . . 729μs Kambites 054: (fpsemi) weak C(4) not strong x 1 (MultiStringView) . . . 875μs Kambites 055: (fpsemi) weak C(4) not strong x 2 (std::string) . . . 723μs Kambites 056: (fpsemi) weak C(4) not strong x 2 (MultiStringView) . . . 882μs Kambites 057: (fpsemi) weak C(4) not strong x 3 (std::string) . . . 697μs Kambites 058: (fpsemi) weak C(4) not strong x 3 (MultiStringView) . . . 720μs Kambites 059: (fpsemi) weak C(4) not strong x 4 (std::string) . . . 77μs Kambites 060: (fpsemi) weak C(4) not strong x 4 (MultiStringView) . . . 106μ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) . . . 58μs Kambites 065: (fpsemi) Konovalov example (std::string) . . . 38μs Kambites 066: (fpsemi) Konovalov example (MultiStringView) . . . 36μs Kambites 067: (fpsemi) long words (std::string) . . . 1236ms Kambites 068: (fpsemi) long words (MultiStringView) . . . 47ms Kambites 075: (cong) example 1 . . . 53μs Kambites 076: (cong) example 2 . . . 136μs Kambites 077: (cong) code coverage . . . 7433μs Kambites 078: (cong) large number of rules . . . 227ms KnuthBendix 000: (fpsemi) confluent fp semigroup 1 (infinite) . . . 152μs KnuthBendix 001: (fpsemi) confluent fp semigroup 2 (infinite) . . . 124μs KnuthBendix 002: (fpsemi) confluent fp semigroup 3 (infinite) . . . 100μs KnuthBendix 003: (fpsemi) non-confluent fp semigroup from wi [...] . . . 166μs KnuthBendix 004: (fpsemi) Example 5.1 in Sims (infinite) . . . 137μs KnuthBendix 005: (fpsemi) Example 5.1 in Sims (infinite) . . . 133μs KnuthBendix 006: (fpsemi) Example 5.3 in Sims . . . 121μs KnuthBendix 007: (fpsemi) Example 5.4 in Sims . . . 129μs KnuthBendix 008: (fpsemi) Example 6.4 in Sims (size 168) . . . 8361μs KnuthBendix 009: (fpsemi) . . . 49ms KnuthBendix 010: (fpsemi) SL(2, 7) from Chapter 3, Propositi [...] . . . 84ms KnuthBendix 011: (fpsemi) F(2, 5) - Chapter 9, Section 1 in [...] . . . 456μs KnuthBendix 012: (fpsemi) Reinis example 1 . . . 180μs KnuthBendix 013: redundant_rule (std::string) . . . 100ms KnuthBendix 014: redundant_rule (word_type) . . . 10ms KnuthBendix 019: (fpsemi) C(4) monoid . . . 36μs KnuthBendix 020: (cong) Chinese monoid . . . 137μs KnuthBendix 021: (from kbmag/standalone/kb_data/f25monoid) . . . 538μs KnuthBendix 022: (from kbmag/standalone/kb_data/degen4a) . . . 55ms KnuthBendix 023: (from kbmag/standalone/kb_data/torus) . . . 2193μs KnuthBendix 024: (from kbmag/standalone/kb_data/3a6) . . . 259ms KnuthBendix 025: (from kbmag/standalone/kb_data/f2) . . . 55μs KnuthBendix 026: (from kbmag/standalone/kb_data/s16) . . . 72ms KnuthBendix 027: (from kbmag/standalone/kb_data/a4monoid) . . . 62μs KnuthBendix 028: (from kbmag/standalone/kb_data/degen3) . . . 21μs KnuthBendix 029: (from kbmag/standalone/kb_data/ab1) . . . 24μs KnuthBendix 030: (from kbmag/standalone/kb_data/degen2) . . . 15μs KnuthBendix 031: (from kbmag/standalone/kb_data/f25) . . . 473μs KnuthBendix 032: (from kbmag/standalone/kb_data/237) . . . 601μs KnuthBendix 033: (from kbmag/standalone/kb_data/c2) . . . 18μs KnuthBendix 034: (from kbmag/standalone/kb_data/cosets) . . . 229μs KnuthBendix 035: Example 5.1 in Sims (KnuthBendix 09 again) . . . 50μs KnuthBendix 036: (from kbmag/standalone/kb_data/nilp2) . . . 43μs KnuthBendix 037: Example 6.4 in Sims . . . 13ms KnuthBendix 038: KnuthBendix 071 again . . . 671μs KnuthBendix 039: Example 5.4 in Sims (KnuthBendix 11 again) [...] . . . 199μs KnuthBendix 040: Example 5.4 in Sims (KnuthBendix 11 again) [...] . . . 137μs KnuthBendix 041: operator<< . . . 50μs KnuthBendix 042: confluence_interval . . . 19μs KnuthBendix 043: max_overlap . . . 19μs KnuthBendix 044: (fpsemi) (from kbmag/standalone/kb_data/d22 [...] . . . 1276μs KnuthBendix 045: (fpsemi) (from kbmag/standalone/kb_data/d22 [...] . . . 2425μs KnuthBendix 046: (fpsemi) small example . . . 752μs KnuthBendix 047: code coverage . . . 62μs KnuthBendix 048: small overlap 1 . . . 50μs KnuthBendix 049: (from kbmag/standalone/kb_data/s9) . . . 1595μs KnuthBendix 050: (fpsemi) Chapter 11, Lemma 1.8 (q = 6, r = [...] . . . 684μs KnuthBendix 051: (fpsemi) Chapter 11, Section 2 (q = 6, r = [...] . . . 128μs KnuthBendix 052: (fpsemi) Chapter 8, Theorem 4.2 in NR (infinite) . . . 228μ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: [...] . . . 458μs KnuthBendix 057: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 451μs KnuthBendix 058: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 1294μs KnuthBendix 059: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 2954μs KnuthBendix 060: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 31μs KnuthBendix 061: (fpsemi) Von Dyck (2,3,7) group (infinite) . . . 649μs KnuthBendix 062: (fpsemi) Von Dyck (2,3,7) group - different [...] . . . 4845μs KnuthBendix 063: (fpsemi) rewriting system from KnuthBendixC [...] . . . 409μs KnuthBendix 064: (fpsemi) rewriting system from Congruence 20 . . . 31μs KnuthBendix 065: (fpsemi) (from kbmag/standalone/kb_data/ab2) . . . 96μs KnuthBendix 066: (fpsemi) (from kbmag/standalone/kb_data/d22 [...] . . . 1363μs KnuthBendix 067: (fpsemi) (from kbmag/standalone/kb_data/degen1) . . . 55μs KnuthBendix 068: (fpsemi) (from kbmag/standalone/kb_data/s4) . . . 346μs KnuthBendix 069: (fpsemi) fp semigroup (infinite) . . . 69μs KnuthBendix 070: (fpsemi) Chapter 11, Section 1 (q = 4, r = [...] . . . 1853μs KnuthBendix 071: (fpsemi) Chapter 11, Section 1 (q = 8, r = [...] . . . 110ms KnuthBendix 072: (fpsemi) Chapter 7, Theorem 3.9 in NR (size 240) . . . 3500μs KnuthBendix 073: (fpsemi) F(2, 5) - Chapter 9, Section 1 in [...] . . . 478μs KnuthBendix 074: (fpsemi) F(2, 6) - Chapter 9, Section 1 in NR . . . 469μs KnuthBendix 075: (fpsemi) Chapter 10, Section 4 in NR (infinite) . . . 868μs KnuthBendix 076: (fpsemi) Sym(5) from Chapter 3, Proposition [...] . . . 3030μs KnuthBendix 077: (fpsemi) SL(2, 7) from Chapter 3, Propositi [...] . . . 83ms KnuthBendix 078: (fpsemi) bicyclic monoid (infinite) . . . 50μs KnuthBendix 079: (fpsemi) plactic monoid of degree 2 (infinite) . . . 72μs KnuthBendix 080: (fpsemi) example before Chapter 7, Proposit [...] . . . 48μs KnuthBendix 081: (fpsemi) Chapter 7, Theorem 3.6 in NR (size 243) . . . 831μs KnuthBendix 082: (fpsemi) finite semigroup (size 99) . . . 255μs KnuthBendix 096: Sorouhesh . . . 492μs KnuthBendix 097: (fpsemi) transformation semigroup (size 4) . . . 88μs KnuthBendix 098: (fpsemi) transformation semigroup (size 9) . . . 74μs KnuthBendix 099: (fpsemi) transformation semigroup (size 88) . . . 791μs KnuthBendix 100: internal_string_to_word . . . 41μs KnuthBendix 101: (fpsemi) construct from shared_ptr . . . 777μs KnuthBendix 102: internal_string_to_word . . . 801μs KnuthBendix 103: (cong) free semigroup congruence (5 classes) . . . 85μs KnuthBendix 104: free semigroup congruence (6 classes) . . . 279μs KnuthBendix 105: (cong) free semigroup congruence (16 classes) . . . 322μs KnuthBendix 106: (cong) free semigroup congruence (6 classes) . . . 464μs KnuthBendix 107: (cong) free semigroup congruence (240 classes) . . . 3478μs KnuthBendix 108: (cong) free semigroup congruence (240 classes) . . . 3475μs KnuthBendix 109: (cong) less . . . 4179μs KnuthBendix 110: (cong) less . . . 191ms KnuthBendix 111: (cong) constructors . . . 274ms KnuthBendix 112: (cong) const_contains/contains . . . 222μs KnuthBendix 113: (cong) is_quotient_obviously_finite . . . 23μs KnuthBendix 114: (cong) class_index_to_word . . . 206μs KnuthBendix 115: (cong) quotient_froidure_pin . . . 151μs KnuthBendix 116: (cong) set_number_of_generators . . . 29μs KnuthBendix 117: (cong) number of classes when obv-inf . . . 66μs KnuthBendixCongruenceByPairs 016: non-trivial congruence on [...] . . . 191μs KnuthBendixCongruenceByPairs 017: non-trivial congruence on [...] . . . 185μs KnuthBendixCongruenceByPairs 018: non-trivial congruence on [...] . . . 286μs KnuthBendixCongruenceByPairs 019: non-trivial congruence on [...] . . . 297μs KnuthBendixCongruenceByPairs 020: trivial congruence on a fi [...] . . . 195μs KnuthBendixCongruenceByPairs 021: universal congruence on a [...] . . . 561μs KnuthBendixCongruenceByPairs 022: left congruence on a finit [...] . . . 270μs KnuthBendixCongruenceByPairs 023: finite group, Chapter 11, [...] . . . 4643μs KnuthBendixCongruenceByPairs 024: right congruence on infini [...] . . . 304μs KnuthBendixCongruenceByPairs 025: finite fp semigroup, dihed [...] . . . 315μs KnuthBendixCongruenceByPairs 026: finite fp semigroup, size 16 . . . 366μs KnuthBendixCongruenceByPairs 027: finite fp semigroup, size 16 . . . 997μs KnuthBendixCongruenceByPairs 028: infinite fp semigroup with [...] . . . 72μs Konieczny 000: test000> . . . 1201μs Konieczny 001: test000> . . . 970μs Konieczny 002: test001> . . . 13ms Konieczny 003: test001> . . . 10ms Konieczny 006: exceptions . . . 48μs Konieczny 007: code coverage . . . 17ms Konieczny 008: code coverage . . . 13ms Konieczny 009: regular elements and idempotents . . . 1573ms Konieczny 010: regular D-class 01 . . . 1940μs Konieczny 011: regular D-class 02 . . . 32ms Konieczny 012: regular D-class 04: contains . . . 1985ms Konieczny 013: non-regular D-classes 01 . . . 2011μs Konieczny 014: RegularDClass . . . 1214μs Konieczny 015: full bmat monoid 4 . . . 278ms Konieczny 017: regular generated bmat monoid 4 idempotents . . . 303ms Konieczny 019: my favourite example . . . 188ms Konieczny 020: another large example . . . 33ms Konieczny 021: my favourite example transposed . . . 235ms Konieczny 024: exceptions . . . 2028μs Konieczny 025: 0-parameter constructor . . . 38ms Konieczny 026: non-regular D-classes 02 . . . 30ms Konieczny 028: partial perm . . . 178ms Konieczny 029: symmetric inverse monoid n = 8 . . . 31ms Konieczny 030: exceptions . . . 218ms Konieczny 031: transformations . . . 992μs Konieczny 032: transformations - JDM favourite example . . . 125ms Konieczny 033: transformations - large example . . . 297ms Konieczny 034: transformations - large example with stop . . . 297ms Konieczny 035: transformations - large example with run_until . . . 297ms Konieczny 036: transformations - large example with stop in Action . . . 298ms Konieczny 037: exceptions . . . 46μs Konieczny 038: transformations: contains . . . 645μs Konieczny 040: transformations - destructor coverage . . . 247ms Konieczny 041: current_number_D_classes . . . 247ms Konieczny 042: add_generator . . . 38μs Konieczny 043: add_generator . . . 25μs Matrix 000: BMat<2> . . . 93μs Matrix 001: BMat<> . . . 86μs Matrix 002: BMat<3> + BMat<> . . . 12μs Matrix 003: BMat<2> + BMat<> . . . 12μs Matrix 004: BMat<3> . . . 13μs Matrix 005: BMat<> . . . 13μs Matrix 006: BMat<3> row_basis . . . 45μs Matrix 007: BMat<> row_basis . . . 43μs Matrix 008: IntMat<3> . . . 15μs Matrix 009: IntMat<> . . . 18μ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<> . . . 20μs Matrix 016: MinPlusMat code cov . . . 9000ns Matrix 017: MaxPlusTruncMat<5, 2> . . . 21μs Matrix 018: MaxPlusTruncMat<5> . . . 19μs Matrix 019: MaxPlusTruncMat<> . . . 31μs Matrix 020: MaxPlusTruncMat<5, 4> . . . 20μs Matrix 021: MaxPlusTruncMat<5> . . . 20μs Matrix 022: MaxPlusTruncMat<> . . . 19μs Matrix 023: MaxPlusTruncMat<33, 3> . . . 31μs Matrix 024: MaxPlusTruncMat<33> . . . 50μs Matrix 025: MaxPlusTruncMat<> . . . 46μs Matrix 026: MaxPlusMat code cov . . . 10μs Matrix 027: MinPlusTruncMat<33, 3> . . . 36μs Matrix 028: MinPlusTruncMat<33> . . . 38μs Matrix 029: MinPlusTruncMat<> . . . 43μs Matrix 030: NTPMat<0, 3, 3, 3> . . . 15μs Matrix 031: NTPMat<0, 3> . . . 21μs Matrix 032: NTPMat<> . . . 34μs Matrix 033: NTPMat<0, 10, 4, 4> . . . 25μs Matrix 034: NTPMat<0, 10> . . . 20μ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> . . . 15μs Matrix 040: NTPMat<33, 2> . . . 15μs Matrix 041: NTPMat<> . . . 15μs Matrix 042: ProjMaxPlusMat<3> . . . 95μs Matrix 043: ProjMaxPlusMat<> . . . 68μs Matrix 044: exceptions . . . 38μs Matrix 045: code coverage . . . 48μs MultiStringView 000: catch all . . . 48μs MultiStringView 001: is_prefix . . . 15μs MultiStringView 002: erase . . . 18μs MultiStringView 003: iterators . . . 12μs MultiStringView 004: constructors (long) . . . 20μs MultiStringView 005: constructors (short) . . . 16μ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) . . . 13μs MultiStringView 009: move assignment (short assigned to short) . . . 12μs MultiStringView 010: code coverage . . . 21μs MultiStringView 011: pop_front . . . 55μ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 . . . 55μs ObviouslyInfinite 012: A power of the generator 'b' does not [...] . . . 12μs ObviouslyInfinite 013: Preserves the number of occurrences o [...] . . . 12μs ObviouslyInfinite 014: Less relations than generators . . . 12μs ObviouslyInfinite 015: Relations preserve length . . . 13μs ObviouslyInfinite 016: Matrix has non empty kernel . . . 15μs ObviouslyInfinite 017: Free product of trivial semigroups . . . 12μs ObviouslyInfinite 018: Another free product . . . 15μs ObviouslyInfinite 019: Infinite but not obviously so . . . 13μs ObviouslyInfinite 020: Finite semigroup . . . 15μs PBR 001: universal product with convenience constructor . . . 46μs PBR 002: universal product . . . 20μs PBR 003: product [bigger than previous] . . . 30μs PBR 004: hash . . . 10μs PBR 005: delete/copy . . . 20μs PBR 006: exceptions . . . 171μs PBR 007: operators . . . 67μs PBR 008: to_string . . . 25μs PBR 009: identity . . . 45μs PBR 010: adapters . . . 10μs Pool 000: initial . . . 29μs Pool 001: bmat . . . 33μs Pool 002: PoolGuard . . . 24μs Pool 003: transformation products . . . 15μs Presentation 000: vectors of ints . . . 77μs Presentation 001: strings . . . 74μs Presentation 002: constructors (word_type) . . . 24μs Presentation 003: constructors (StaticVector1) . . . 23μs Presentation 004: constructors (std::string) . . . 31μs Presentation 005: alphabet + letters (word_type) . . . 125μs Presentation 006: alphabet + letters (std::string) . . . 41μs Presentation 007: contains_empty_word . . . 12μs Presentation 008: validate_rules throws . . . 50μs Presentation 009: helpers add_rule(s) . . . 96μs Presentation 010: helpers add_rule(s) (std::string) . . . 40μs Presentation 011: helpers add_identity_rules (std::vector/St [...] . . . 45μs Presentation 012: helpers add_identity_rules (std::string) . . . 29μs Presentation 013: helpers add_inverse_rules (all) . . . 202μs Presentation 014: helpers add_inverse_rules (std::string) . . . 38μs Presentation 015: helpers remove_duplicate_rules . . . 66μs Presentation 016: helpers reduce_complements . . . 134μs Presentation 017: helpers sort_each_rule . . . 67μs Presentation 018: helpers sort_rules . . . 71μs Presentation 019: helpers longest_common_subword/replace_subword . . . 306μs Presentation 020: helpers redundant_rule . . . 5514μs Presentation 021: helpers shortlex_compare_concat . . . 12μs Presentation 022: helpers remove_trivial_rules . . . 72μs Presentation 023: helpers replace_subword (existing, replacement) . . . 92μs Presentation 024: helpers longest_rule . . . 121μs Presentation 025: helpers longest_rule_length . . . 110μs Presentation 026: helpers remove_redundant_generators . . . 152μs Presentation 027: helpers reverse . . . 21μs Presentation 028: in_alphabet . . . 30μs Presentation 029: replace_subword with empty word . . . 25μs Presentation 030: helpers replace_word . . . 38μs Presentation 031: clear . . . 12μs Race 001: run_for . . . 10ms Race 002: run_until . . . 10ms Race 003: exceptions . . . 10ms Race 004: iterators . . . 12μs Race 005: find_runner . . . 12μs Race 006: run_func . . . 25ms Race 007: run_func . . . 10ms Race 008: run_func . . . 10ms Runner 000: run_for . . . 10ms Runner 001: run_for . . . 1012μs Runner 002: run_for . . . 192ms Runner 003: run_for . . . 25ms Runner 004: started . . . 1030μs Runner 005: run_until . . . 11ms Runner 006: kill . . . 41μs Runner 007: copy constructor . . . 10ms Runner 008: report . . . 20ms Runner 009: run_until with function pointer . . . 27μs SchreierSims 001: trivial perm. group (degree 1) . . . 58μs SchreierSims 002: trivial perm. group (degree 2) . . . 31μs SchreierSims 003: trivial perm. group (degree 500) . . . 257μs SchreierSims 004: symmetric perm. group (degree 5) . . . 48μs SchreierSims 005: symmetric perm. group (degree 8) . . . 85μs SchreierSims 006: symmetric perm. group (degree 9) . . . 116μs SchreierSims 007: alternating perm. group (degree 12) . . . 190μs SchreierSims 008: symmetric perm. group (degree 16) . . . 1608μs SchreierSims 009: alternating perm. group (degree 15) . . . 803μs SchreierSims 010: alternating perm. group (degree 16) . . . 1737μs SchreierSims 011: dihedral perm. group (order 10) . . . 34μs SchreierSims 012: dihedral perm. group (order 200) . . . 1981μs SchreierSims 013: perm. group T (order 12) . . . 34μs SchreierSims 014: quaternion perm. group (order 8) . . . 38μs SchreierSims 015: perm. group (order 84129611558952960) . . . 299ms SchreierSims 016: perm. group SL(3, 5) (order 372000) . . . 1544μs SchreierSims 017: perm. group PSL(4, 8) (order 34558531338240) . . . 115ms SchreierSims 018: perm. Mathieu group M11 (order 7920) . . . 92μs SchreierSims 019: perm. Mathieu group M24 (order 244823040) . . . 279μs SchreierSims 020: perm. Janko Group J1 (order 175560) . . . 3109μs SchreierSims 021: perm. Hall-Janko group (order 604800) . . . 501μs SchreierSims 022: perm. Hall-Janko group (alt.) (order 604800) . . . 29ms SchreierSims 023: perm. Conway group Co3 (order 495766656000) . . . 8855μs SchreierSims 024: perm. Conway group Co3 (alt.) (order 49576 [...] . . . 18ms SchreierSims 025: perm. Suzuki group (order 448345497600) . . . 103ms SchreierSims 027: perm. Held group (order 4030387200) . . . 184ms SchreierSims 028: perm. group C2 x C2 x C2 (order 8) . . . 36μs SchreierSims 029: perm. group C2 x C2 x C2 x C2 (order 16) . . . 45μs SchreierSims 030: perm. group (S5 x S5) : C2 (order 28800) . . . 91μs SchreierSims 031: perm. group C3 x D8 x A5 (order 1440) . . . 91μs SchreierSims 032: perm. group GL(4, 3) (order 24261120) . . . 1013μs SchreierSims 033: perm. group PSL(3, 7) (order 1876896) . . . 949μs SchreierSims 037: symmetric perm. group (degree 5) . . . 41μs SchreierSims 038: alternating perm. group (degree 17) . . . 4956μs SchreierSims 039: exceptions . . . 141μs SchreierSims 040: exceptions . . . 73μs SchreierSims 041: trivial group . . . 53μs SchreierSims 042: A17 bug . . . 4387μs SchreierSims 043: orbits_lookup test . . . 777μs SchreierSims 044: transversal_element and inversal_element test . . . 2243μs SchreierSimsHelper 001: trivial perm. group intersection (de [...] . . . 29μs SchreierSimsHelper 002: trivial perm. group intersection (de [...] . . . 34μs SchreierSimsHelper 003: cyclic group intersection (degree 13) . . . 48μs SchreierSimsHelper 004: D10 and Z5 intersection . . . 48μ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 . . . 872μs SchreierSimsHelper 009: A13 and PGL(2, 11) intersection (swa [...] . . . 895μs SchreierSimsHelper 012: 3^3:13 and 3^3.2.A(4) intersection . . . 253μs SchreierSimsHelper 015: 3^3(S(4) x 2) and ASL(3, 3) intersection . . . 493μs SchreierSimsHelper 016: 7^2:3 x Q(8) and 7^2:D(2*6) intersection . . . 589μs SchreierSimsHelper 018: D(2*53) and 53:13 intersection . . . 377μs SchreierSimsHelper 019: 2^6:(7 x D_14) and PSL(2, 6)^2.4 int [...] . . . 2511μs SchreierSimsHelper 020: 2^6:(S_3 x GL(3, 2)) and 2.6:Alt(7) [...] . . . 7719μs SchreierSimsHelper 022: PSL(2, 127) and AGL(1, 2^7) intersection . . . 11ms SchreierSimsHelper 023: PSL(3, 4).2 and PSL(3, 4).2 (nontriv [...] . . . 2033μs SchreierSimsHelper 024: PSL(3, 4).Sym(3) and PSL(3, 4).2 int [...] . . . 2514μs SchreierSimsHelper 025: 3^4:5:4 and D_16:4 intersection . . . 1283μs Sims1 000: fp example 1 . . . 1211μs Sims1 001: fp example 2 . . . 1905μs Sims1 002: ToddCoxeter failing example . . . 15ms Sims1 003: ToddCoxeter failing example . . . 720μs Sims1 004: partition_monoid(2) right . . . 5982μs Sims1 006: full_transformation_monoid(3) right . . . 7650μs Sims1 007: full_transformation_monoid(3) left . . . 4316μs Sims1 009: rook_monoid(2, 1) . . . 111μs Sims1 010: symmetric_inverse_monoid(2) from FroidurePin . . . 101μs Sims1 011: symmetric_inverse_monoid(3) . . . 10ms Sims1 014: temperley_lieb_monoid(3) from presentation . . . 82μs Sims1 015: temperley_lieb_monoid(4) from presentation . . . 828μs Sims1 016: fp semigroup containing given pairs #1 . . . 299μs Sims1 017: fp semigroup containing given pairs #2 . . . 291μs Sims1 018: fp semigroup containing given pairs #3 . . . 471μs Sims1 019: ToddCoxeter failing example . . . 1041μs Sims1 020: fp example 2 . . . 2112μs Sims1 021: exceptions . . . 239μs Sims1 027: from https://mathoverflow.net/questions/423541/ . . . 29ms Sims1 028: from https://mathoverflow.net/questions/423541/ . . . 21ms Sims1 030: presentation with one free generator . . . 253μs Sims1 031: presentation with non-zero index generators . . . 74μs Sims1 032: presentation with empty word . . . 8238μs Sims1 033: constructors . . . 1100μs Sims1 034: split_at . . . 277μs Sims1 035: stats . . . 87μs Sims1 036: check iterator requirements . . . 154μs Sims1 040: TransitiveGroup(10, 32) - minimal rep . . . 3334μs Sims1 043: rectangular_band(2, 2) - with and without identity . . . 224μs Sims1 044: trivial group - minimal o.r.c. rep . . . 114μs Sims1 045: right zero semigroup - minimal o.r.c. rep . . . 2442μs Sims1 046: semigroup with faithful non-strictly cyclic actio [...] . . . 724μs Sims1 068: RepOrc . . . 36ms Sims1 069: fp example 1 . . . 447μ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 1207μs (220ns 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 . . . 1283μs Sims1 072: symmetric_group(n) for n = 4 . . . 1330μs Sims1 073: corner case no generators + no relations . . . 88μs SmallestInteger 001: . . . 12μs StaticTriVector2 045: all . . . 18μs StaticVector2 043: all . . . 19μs Stephen 000: basic test 1 . . . 230μs Stephen 001: basic test 2 . . . 154μs Stephen 002: full transf monoid . . . 13ms Stephen 003: from step_hen 002 . . . 69μs Stephen 004: from step_hen 003 . . . 168μs Stephen 005: from step_hen 004 . . . 43μs Stephen 006: from step_hen 005 . . . 106μs Stephen 008: C(4) monoid normal form (test_case_knuth_bendix_055) . . . 205μs Stephen 009: C(4) monoid normal form (test_case_gap_smallove [...] . . . 95μs Stephen 010: code coverage . . . 295μs Stephen 011: C(4) monoid normal form (test_case_gap_smallove [...] . . . 293μs Stephen 012: C(4) monoid normal form (test_case_gap_smallove [...] . . . 196μs Stephen 013: C(4) monoid equal to (test_case_gap_smalloverlap_70) . . . 100μs Stephen 014: C(4) monoid normal form (test_case_ex_3_13_14) . . . 339μs Stephen 015: C(4) monoid normal form (test_case_ex_3_15) . . . 364μs Stephen 016: C(4) monoid normal form (test_case_ex_3_16) . . . 300μs Stephen 017: C(4) monoid normal form (test_case_mt_3) . . . 151μs Stephen 018: C(4) monoid normal form (test_case_mt_5) . . . 145μs Stephen 019: C(4) monoid normal form (test_case_mt_6) . . . 297μs Stephen 020: C(4) monoid normal form (test_case_mt_10) . . . 134μs Stephen 021: C(4) monoid normal form (test_case_mt_13) . . . 107μs Stephen 022: C(4) monoid normal form (test_case_mt_14) . . . 106μs Stephen 023: C(4) monoid normal form (test_case_mt_15) . . . 109μs Stephen 024: C(4) monoid normal form (test_case_mt_16) . . . 124μs Stephen 025: C(4) monoid normal form (test_case_mt_17) . . . 418μs Stephen 026: C(4) monoid normal form (test_case_weak_1) . . . 268μs Stephen 027: C(4) monoid normal form (test_case_weak_2) . . . 176μs Stephen 028: C(4) monoid normal form (test_case_weak_3) . . . 261μs Stephen 029: C(4) monoid normal form (test_case_weak_4) . . . 212μs Stephen 030: C(4) monoid normal form (test_case_weak_5) . . . 121μs Stephen 031: Test behaviour when uninitialised . . . 193μs Suf 005: unite . . . 23μs Suf 007: compress . . . 12μs Suf 011: big chain . . . 17ms 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 . . . 81ms SuffixTree 001: maximal_piece_prefix 1 . . . 57μs SuffixTree 002: maximal_piece_prefix 2 . . . 40μs SuffixTree 003: maximal_piece_prefix 3 . . . 261μs SuffixTree 004: number_of_pieces . . . 71μs SuffixTree 005: traverse . . . 20μs SuffixTree 006: tikz . . . 1095μs SuffixTree 007: strings . . . 123μs SuffixTree 008: dot . . . 76μs SuffixTree 009: dfs #01 . . . 64μs SuffixTree 010: dfs #02 . . . 62μs SuffixTree 011: dfs #03 . . . 53μs SuffixTree 012: dfs #04 . . . 131μs SuffixTree 013: dfs #05 . . . 78μs SuffixTree 014: dfs #06 . . . 78μs SuffixTree 015: dfs #07 . . . 129μs SuffixTree 016: dfs #08 . . . 95μs SuffixTree 017: dfs #09 . . . 125μs SuffixTree 018: dfs #10 . . . 51μs Timer 001: string method (1 argument) . . . 33μ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 1255μs  -- with HLT + standardise + full lookahead + no save 1209μs  -- with HLT + no standardise + partial lookahead + no save 1178μs  -- with HLT + standardise + partial lookahead + no save 1201μs  -- with HLT + no standardise + full lookahead + save 1247μs  -- with HLT + standardise + full lookahead + save 1242μs  -- with HLT + no standardise + partial lookahead + save 1325μs  -- with HLT + standardise + partial lookahead + save 1247μs  -- with Felsch + no standardisation 1224μs  -- with Felsch + standardisation 1250μs  -- with random strategy 1293μs  -- with Rc style + full lookahead 1487μs  -- with Rc style + partial lookahead 1186μs  -- with R/C style 1201μs  -- with CR style 1214μs  -- with Cr style 1180μs ToddCoxeter 001: small 2-sided congruence . . .  -- with HLT + no standardise + full lookahead + no save 5658μs  -- with HLT + standardise + full lookahead + no save 5605μs  -- with HLT + no standardise + partial lookahead + no save 5638μs  -- with HLT + standardise + partial lookahead + no save 5636μs  -- with HLT + no standardise + full lookahead + save 5589μs  -- with HLT + standardise + full lookahead + save 5644μs  -- with HLT + no standardise + partial lookahead + save 5622μs  -- with HLT + standardise + partial lookahead + save 5546μs  -- with Felsch + no standardisation 5551μs  -- with Felsch + standardisation 5550μs  -- with random strategy 5539μs  -- with Rc style + full lookahead 5494μs  -- with Rc style + partial lookahead 5412μs  -- with R/C style 5429μs  -- with CR style 5802μs  -- with Cr style 5532μs ToddCoxeter 003: constructed from FroidurePin . . .  -- with Felsch + no standardisation 558ms  -- with Felsch + standardisation 562ms  -- with HLT + no standardise + full lookahead + no save 400ms  -- with HLT + standardise + full lookahead + no save 396ms  -- with HLT + no standardise + partial lookahead + no save 394ms  -- with HLT + standardise + partial lookahead + no save 572ms  -- with HLT + no standardise + full lookahead + save 558ms  -- with HLT + standardise + full lookahead + save 559ms  -- with HLT + no standardise + partial lookahead + save 554ms  -- with HLT + standardise + partial lookahead + save 558ms  -- with random strategy 550ms  -- with Rc style + full lookahead 548ms  -- with Rc style + partial lookahead 562ms  -- with R/C style 422ms  -- with CR style 579ms  -- with Cr style 602ms ToddCoxeter 004: 2-sided congruence from FroidurePin . . .  -- with HLT + no standardise + full lookahead + no save 234μs  -- with HLT + standardise + full lookahead + no save 203μs  -- with HLT + no standardise + partial lookahead + no save 199μs  -- with HLT + standardise + partial lookahead + no save 196μs  -- with HLT + save (throws) 234μs  -- with Felsch (throws) 203μs  -- with random strategy 200μs ToddCoxeter 005: non-trivial two-sided from relations . . .  -- with HLT + no standardise + full lookahead + no save 63μs  -- with HLT + standardise + full lookahead + no save 48μ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 71μs  -- with HLT + standardise + full lookahead + save 62μs  -- with HLT + no standardise + partial lookahead + save 55μs  -- with HLT + standardise + partial lookahead + save 55μs  -- with Felsch + no standardisation 51μs  -- with Felsch + standardisation 50μs  -- with random strategy 55μs  -- with Rc style + full lookahead 48μs  -- with Rc style + partial lookahead 46μs  -- with R/C style 50μs  -- with CR style 55μs  -- with Cr style 53μs ToddCoxeter 006: small right cong. on free semigroup . . .  -- 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 36μs  -- with HLT + standardise + partial lookahead + no save 36μs  -- with HLT + no standardise + full lookahead + save 43μs  -- with HLT + standardise + full lookahead + save 41μs  -- with HLT + no standardise + partial lookahead + save 40μs  -- with HLT + standardise + partial lookahead + save 40μs  -- with Felsch + no standardisation 40μs  -- with Felsch + standardisation 46μs  -- with random strategy 43μs  -- with Rc style + full lookahead 38μs  -- with Rc style + partial lookahead 38μs  -- with R/C style 38μs  -- with CR style 41μs  -- with Cr style 41μs ToddCoxeter 007: left cong. on free semigroup . . .  -- with HLT + no standardise + full lookahead + no save 51μs  -- with HLT + standardise + full lookahead + no save 41μ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 46μs  -- with HLT + standardise + full lookahead + save 45μs  -- with HLT + no standardise + partial lookahead + save 48μs  -- with HLT + standardise + partial lookahead + save 45μs  -- with Felsch + no standardisation 43μs  -- with Felsch + standardisation 46μs  -- with random strategy 48μs  -- with Rc style + full lookahead 45μs  -- with Rc style + partial lookahead 43μs  -- with R/C style 43μs  -- with CR style 46μs  -- with Cr style 46μs ToddCoxeter 008: for small fp semigroup . . .  -- with HLT + no standardise + full lookahead + no save 46μs  -- with HLT + standardise + full lookahead + no save 38μs  -- with HLT + no standardise + partial lookahead + no save 36μ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 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 45μs  -- with Rc style + full lookahead 40μs  -- with Rc style + partial lookahead 41μs  -- with R/C style 38μs  -- with CR style 43μs  -- with Cr style 43μs ToddCoxeter 009: 2-sided cong. trans. semigroup . . .  -- with HLT + no standardise + full lookahead + no save 266μs  -- with HLT + standardise + full lookahead + no save 244μs  -- with HLT + no standardise + partial lookahead + no save 233μs  -- with HLT + standardise + partial lookahead + no save 242μs  -- with HLT + no standardise + full lookahead + save 630μs  -- with HLT + standardise + full lookahead + save 608μs  -- with HLT + no standardise + partial lookahead + save 599μs  -- with HLT + standardise + partial lookahead + save 604μs  -- with Felsch + no standardisation 577μs  -- with Felsch + standardisation 543μs  -- with random strategy 253μs  -- with Rc style + full lookahead 251μs  -- with Rc style + partial lookahead 255μs  -- with R/C style 253μs  -- with CR style 564μs  -- with Cr style 555μs ToddCoxeter 010: left congruence on transformation semigroup . . .  -- with HLT + no standardise + full lookahead + no save 257μs  -- with HLT + standardise + full lookahead + no save 261μs  -- with HLT + no standardise + partial lookahead + no save 243μs  -- with HLT + standardise + partial lookahead + no save 595μs  -- with HLT + no standardise + full lookahead + save 626μs  -- with HLT + standardise + full lookahead + save 623μs  -- with HLT + no standardise + partial lookahead + save 617μs  -- with HLT + standardise + partial lookahead + save 613μs  -- with Felsch + no standardisation 558μs  -- with Felsch + standardisation 524μs  -- with random strategy 675μs  -- with Rc style + full lookahead 277μs  -- with Rc style + partial lookahead 270μs  -- with R/C style 297μs  -- with CR style 586μs  -- with Cr style 567μs ToddCoxeter 011: right cong. trans. semigroup . . .  -- with HLT + no standardise + full lookahead + no save 271μs  -- with HLT + standardise + full lookahead + no save 266μs  -- with HLT + no standardise + partial lookahead + no save 253μs  -- with HLT + standardise + partial lookahead + no save 259μs  -- with HLT + no standardise + full lookahead + save 634μs  -- with HLT + standardise + full lookahead + save 638μs  -- with HLT + no standardise + partial lookahead + save 599μs  -- with HLT + standardise + partial lookahead + save 610μs  -- with Felsch + no standardisation 494μs  -- with Felsch + standardisation 506μs  -- with random strategy 304μs  -- with Rc style + full lookahead 317μs  -- with Rc style + partial lookahead 290μs  -- with R/C style 308μs  -- with CR style 519μs  -- with Cr style 498μs ToddCoxeter 012: trans. semigroup (size 88) . . .  -- with HLT + no standardise + full lookahead + no save 172μs  -- with HLT + standardise + full lookahead + no save 163μs  -- with HLT + no standardise + partial lookahead + no save 160μs  -- with HLT + standardise + partial lookahead + no save 160μs  -- with HLT + save (throws) 173μs  -- with Felsch (throws) 170μs  -- with random strategy 183μs ToddCoxeter 013: left cong. on trans. semigroup (size 88) . . .  -- with HLT + no standardise + full lookahead + no save 218μs  -- with HLT + standardise + full lookahead + no save 216μs  -- with HLT + no standardise + partial lookahead + no save 211μs  -- with HLT + standardise + partial lookahead + no save 214μs  -- with HLT + no standardise + full lookahead + save 591μs  -- with HLT + standardise + full lookahead + save 582μs  -- with HLT + no standardise + partial lookahead + save 563μs  -- with HLT + standardise + partial lookahead + save 569μs  -- with Felsch + no standardisation 519μs  -- with Felsch + standardisation 498μs  -- with random strategy 255μs  -- with Rc style + full lookahead 238μs  -- with Rc style + partial lookahead 232μs  -- with R/C style 259μs  -- with CR style 533μs  -- with Cr style 524μs ToddCoxeter 014: right cong. on trans. semigroup (size 88) . . .  -- with HLT + no standardise + full lookahead + no save 226μs  -- with HLT + standardise + full lookahead + no save 229μs  -- with HLT + no standardise + partial lookahead + no save 211μs  -- with HLT + standardise + partial lookahead + no save 230μs  -- with HLT + no standardise + full lookahead + save 581μs  -- with HLT + standardise + full lookahead + save 578μs  -- with HLT + no standardise + partial lookahead + save 560μs  -- with HLT + standardise + partial lookahead + save 573μs  -- with Felsch + no standardisation 453μs  -- with Felsch + standardisation 476μs  -- with random strategy 268μs  -- with Rc style + full lookahead 246μs  -- with Rc style + partial lookahead 246μs  -- with R/C style 273μs  -- with CR style 478μs  -- with Cr style 467μs ToddCoxeter 015: finite fp-semigroup, dihedral group of order 6 . . .  -- with HLT + no standardise + full lookahead + no save 103μs  -- with HLT + standardise + full lookahead + no save 96μs  -- with HLT + no standardise + partial lookahead + no save 90μs  -- with HLT + standardise + partial lookahead + no save 92μs  -- with HLT + no standardise + full lookahead + save 119μs  -- with HLT + standardise + full lookahead + save 120μs  -- with HLT + no standardise + partial lookahead + save 115μs  -- with HLT + standardise + partial lookahead + save 111μs  -- with Felsch + no standardisation 105μs  -- with Felsch + standardisation 101μs  -- with random strategy 116μs  -- with Rc style + full lookahead 95μs  -- with Rc style + partial lookahead 92μs  -- with R/C style 92μs  -- with CR style 106μs  -- with Cr style 103μs ToddCoxeter 016: finite fp-semigroup, size 16 . . .  -- with HLT + no standardise + full lookahead + no save 86μs  -- with HLT + standardise + full lookahead + no save 88μs  -- with HLT + no standardise + partial lookahead + no save 85μs  -- with HLT + standardise + partial lookahead + no save 76μs  -- with HLT + no standardise + full lookahead + save 160μs  -- with HLT + standardise + full lookahead + save 156μs  -- with HLT + no standardise + partial lookahead + save 147μs  -- with HLT + standardise + partial lookahead + save 152μs  -- with Felsch + no standardisation 143μs  -- with Felsch + standardisation 135μs  -- with random strategy 145μs  -- with Rc style + full lookahead 82μs  -- with Rc style + partial lookahead 80μs  -- with R/C style 86μs  -- with CR style 142μs  -- with Cr style 138μs ToddCoxeter 017: finite fp-semigroup, size 16 . . .  -- with HLT + no standardise + full lookahead + no save 174μs  -- with HLT + standardise + full lookahead + no save 167μs  -- with HLT + no standardise + partial lookahead + no save 157μs  -- with HLT + standardise + partial lookahead + no save 162μs  -- with HLT + no standardise + full lookahead + save 378μs  -- with HLT + standardise + full lookahead + save 360μs  -- with HLT + no standardise + partial lookahead + save 339μs  -- with HLT + standardise + partial lookahead + save 346μs  -- with Felsch + no standardisation 306μs  -- with Felsch + standardisation 284μs  -- with random strategy 319μs  -- with Rc style + full lookahead 161μs  -- with Rc style + partial lookahead 152μs  -- with R/C style 160μs  -- with CR style 286μs  -- with Cr style 295μs ToddCoxeter 018: test lookahead . . .  -- with HLT + no standardise + full lookahead + no save 319μs  -- with HLT + standardise + full lookahead + no save 313μs  -- with HLT + no standardise + partial lookahead + no save 286μs  -- with HLT + standardise + partial lookahead + no save 291μs  -- with HLT + no standardise + full lookahead + save 546μs  -- with HLT + standardise + full lookahead + save 519μs  -- with HLT + no standardise + partial lookahead + save 506μs  -- with HLT + standardise + partial lookahead + save 522μs ToddCoxeter 019: non-trivial left cong. from semigroup . . .  -- with HLT + no standardise + full lookahead + no save 141μs  -- with HLT + standardise + full lookahead + no save 143μs  -- with HLT + no standardise + partial lookahead + no save 126μs  -- with HLT + standardise + partial lookahead + no save 133μs  -- with HLT + save (throws) 142μs  -- with Felsch (throws) 136μs  -- with random strategy 145μ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 20μs  -- with HLT + no standardise + partial lookahead + no save 20μs  -- with HLT + standardise + partial lookahead + no save 20μs  -- with HLT + no standardise + full lookahead + save 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 21μ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 58μs  -- with HLT + standardise + full lookahead + no save 38μs  -- with HLT + no standardise + partial lookahead + no save 36μs  -- with HLT + standardise + partial lookahead + no save 36μ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 38μs  -- with Felsch + no standardisation 36μs  -- with Felsch + standardisation 36μs  -- with random strategy 36μs ToddCoxeter 022: stellar_monoid S3 . . .  -- with HLT + no standardise + full lookahead + no save 135μs  -- with HLT + standardise + full lookahead + no save 123μs  -- with HLT + no standardise + partial lookahead + no save 114μs  -- with HLT + standardise + partial lookahead + no save 120μs  -- with HLT + no standardise + full lookahead + save 231μs  -- with HLT + standardise + full lookahead + save 222μs  -- with HLT + no standardise + partial lookahead + save 209μs  -- with HLT + standardise + partial lookahead + save 221μs  -- with Felsch + no standardisation 203μs  -- with Felsch + standardisation 192μs  -- with random strategy 199μs  -- with Rc style + full lookahead 125μs  -- with Rc style + partial lookahead 124μs  -- with R/C style 129μs  -- with CR style 194μs  -- with Cr style 190μs ToddCoxeter 023: finite semigroup (size 5) . . .  -- with HLT + no standardise + full lookahead + no save 43μs  -- with HLT + standardise + full lookahead + no save 34μs  -- with HLT + no standardise + partial lookahead + no save 34μ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 38μs  -- with random strategy 38μs  -- with Rc style + full lookahead 36μs  -- with Rc style + partial lookahead 34μs  -- with R/C style 36μs  -- with CR style 40μs  -- with Cr style 38μs ToddCoxeter 024: exceptions . . .  -- with HLT + no standardise + full lookahead + no save 203μs  -- with HLT + standardise + full lookahead + no save 166μs  -- with HLT + no standardise + partial lookahead + no save 162μs  -- with HLT + standardise + partial lookahead + no save 164μs  -- with HLT + no standardise + full lookahead + save 168μs  -- with HLT + standardise + full lookahead + save 178μs  -- with HLT + no standardise + partial lookahead + save 167μs  -- with HLT + standardise + partial lookahead + save 167μs  -- with Felsch + no standardisation 172μs  -- with Felsch + standardisation 167μs  -- with random strategy 167μs  -- with Rc style + full lookahead 166μs  -- with Rc style + partial lookahead 164μs  -- with R/C style 171μs  -- with CR style 168μ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 43μs  -- with HLT + no standardise + full lookahead + save 40μ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 40μs ToddCoxeter 026: exceptions . . .  -- with HLT + no standardise + full lookahead + no save 128μs  -- with HLT + standardise + full lookahead + no save 101μs  -- with HLT + no standardise + partial lookahead + no save 100μs  -- with HLT + standardise + partial lookahead + no save 101μs  -- with HLT + no standardise + full lookahead + save 107μs  -- with HLT + standardise + full lookahead + save 106μs  -- with HLT + no standardise + partial lookahead + save 106μs  -- with HLT + standardise + partial lookahead + save 115μs  -- with Felsch + no standardisation 106μs  -- with Felsch + standardisation 106μs  -- with random strategy 110μs  -- with Rc style + full lookahead 101μs  -- with Rc style + partial lookahead 100μs  -- with R/C style 100μs  -- with CR style 109μs  -- with Cr style 105μs ToddCoxeter 027: empty . . . 60μs ToddCoxeter 028: congruence of fpsemigroup::ToddCoxeter . . .  -- with HLT + no standardise + full lookahead + no save 171μs  -- with HLT + standardise + full lookahead + no save 137μs  -- with HLT + no standardise + partial lookahead + no save 135μs  -- with HLT + standardise + partial lookahead + no save 133μs  -- with HLT + save (throws) 143μs  -- with Felsch (throws) 142μs  -- with random strategy 148μs  -- with HLT + no standardise + full lookahead + save 136μs  -- with HLT + standardise + full lookahead + save 141μs  -- with HLT + no standardise + partial lookahead + save 136μs  -- with HLT + standardise + partial lookahead + save 135μs  -- with Felsch + no standardisation 135μs  -- with Felsch + standardisation 135μs  -- with Rc style + full lookahead 128μs  -- with Rc style + partial lookahead 125μs  -- with R/C style 135μs  -- with CR style 133μs  -- with Cr style 129μs ToddCoxeter 029: !KnuthBendix.started() . . .  -- with HLT + no standardise + full lookahead + no save and 2-sided 93μs  -- with HLT + standardise + full lookahead + no save and 2-sided 67μs  -- with HLT + no standardise + partial lookahead + no save and 2-sided 62μs  -- with HLT + standardise + partial lookahead + no save and 2-sided 60μs  -- with HLT + no standardise + full lookahead + save and 2-sided 67μs  -- with HLT + standardise + full lookahead + save and 2-sided 66μs  -- with HLT + no standardise + partial lookahead + save and 2-sided 64μs  -- with HLT + standardise + partial lookahead + save and 2-sided 63μs  -- with Felsch + no standardisation and 2-sided 62μs  -- with Felsch + standardisation and 2-sided 62μs  -- with random strategy and 2-sided 66μs  -- with HLT + no standardise + full lookahead + no save and left 66μs  -- with HLT + standardise + full lookahead + no save and left 62μs  -- with HLT + no standardise + partial lookahead + no save and left 58μs  -- with HLT + standardise + partial lookahead + no save and left 57μs  -- with HLT + no standardise + full lookahead + save and left 68μs  -- with HLT + standardise + full lookahead + save and left 72μs  -- with HLT + no standardise + partial lookahead + save and left 68μs  -- with HLT + standardise + partial lookahead + save and left 67μs  -- with Felsch + no standardisation and left 67μs  -- with Felsch + standardisation and left 67μs  -- with random strategy and left 63μ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 60μs  -- with HLT + standardise + partial lookahead + no save and right 60μs  -- with HLT + no standardise + full lookahead + save and right 67μs  -- with HLT + standardise + full lookahead + save and right 67μs  -- with HLT + no standardise + partial lookahead + save and right 66μs  -- with HLT + standardise + partial lookahead + save and right 67μs  -- with Felsch + no standardisation and right 69μs  -- with Felsch + standardisation and right 67μs  -- with random strategy and right 72μs ToddCoxeter 030: KnuthBendix.finished() . . .  -- with HLT + no standardise + full lookahead + no save and 2-sided 189μs  -- with HLT + standardise + full lookahead + no save and 2-sided 145μs  -- with HLT + no standardise + partial lookahead + no save and 2-sided 154μs  -- with HLT + standardise + partial lookahead + no save and 2-sided 185μs  -- with HLT + no standardise + full lookahead + save and 2-sided 146μs  -- with HLT + standardise + full lookahead + save and 2-sided 144μs  -- with HLT + no standardise + partial lookahead + save and 2-sided 144μs  -- with HLT + standardise + partial lookahead + save and 2-sided 142μs  -- with Felsch + no standardisation and 2-sided 284μs  -- with Felsch + standardisation and 2-sided 189μs  -- with random strategy and 2-sided 156μs  -- with HLT + no standardise + full lookahead + no save and left 148μs  -- with HLT + standardise + full lookahead + no save and left 145μs  -- with HLT + no standardise + partial lookahead + no save and left 147μs  -- with HLT + standardise + partial lookahead + no save and left 144μs  -- with HLT + no standardise + full lookahead + save and left 155μs  -- with HLT + standardise + full lookahead + save and left 152μs  -- with HLT + no standardise + partial lookahead + save and left 151μs  -- with HLT + standardise + partial lookahead + save and left 153μs  -- with Felsch + no standardisation and left 147μs  -- with Felsch + standardisation and left 147μs  -- with random strategy and left 155μs  -- with HLT + no standardise + full lookahead + no save and right 161μs  -- with HLT + standardise + full lookahead + no save and right 142μs  -- with HLT + no standardise + partial lookahead + no save and right 139μs  -- with HLT + standardise + partial lookahead + no save and right 142μs  -- with HLT + no standardise + full lookahead + save and right 151μs  -- with HLT + standardise + full lookahead + save and right 149μ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 146μs  -- with Felsch + standardisation and right 144μs  -- with random strategy and right 154μs ToddCoxeter 031: KnuthBendix.finished() . . .  -- with HLT + no standardise + full lookahead + no save and 2-sided 126μ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 103μs  -- with HLT + standardise + partial lookahead + save and 2-sided 105μs  -- with Felsch + no standardisation and 2-sided 98μs  -- with Felsch + standardisation and 2-sided 96μs  -- with random strategy and 2-sided 106μs  -- with Rc style + full lookahead and 2-sided 103μs  -- with Rc style + partial lookahead and 2-sided 103μs  -- with R/C style and 2-sided 102μs  -- with CR style and 2-sided 109μs  -- with Cr style and 2-sided 105μs  -- with HLT + no standardise + full lookahead + no save and left 112μs  -- with HLT + standardise + full lookahead + no save and left 109μs  -- with HLT + no standardise + partial lookahead + no save and left 106μs  -- with HLT + standardise + partial lookahead + no save and left 106μs  -- with HLT + no standardise + full lookahead + save and left 115μs  -- with HLT + standardise + full lookahead + save and left 116μs  -- with HLT + no standardise + partial lookahead + save and left 116μs  -- with HLT + standardise + partial lookahead + save and left 116μs  -- with Felsch + no standardisation and left 111μs  -- with Felsch + standardisation and left 111μs  -- with random strategy and left 125μs  -- with Rc style + full lookahead and left 114μs  -- with Rc style + partial lookahead and left 111μs  -- with R/C style and left 106μs  -- with CR style and left 114μs  -- with Cr style and left 119μs  -- with HLT + no standardise + full lookahead + no save and right 111μs  -- with HLT + standardise + full lookahead + no save and right 106μs  -- with HLT + no standardise + partial lookahead + no save and right 103μs  -- with HLT + standardise + partial lookahead + no save and right 105μs  -- with HLT + no standardise + full lookahead + save and right 114μs  -- with HLT + standardise + full lookahead + save and right 116μs  -- with HLT + no standardise + partial lookahead + save and right 114μs  -- with HLT + standardise + partial lookahead + save and right 112μs  -- with Felsch + no standardisation and right 110μs  -- with Felsch + standardisation and right 109μs  -- with random strategy and right 126μs  -- with Rc style + full lookahead and right 112μs  -- with Rc style + partial lookahead and right 111μs  -- with R/C style and right 105μs  -- with CR style and right 111μs  -- with Cr style and right 117μs ToddCoxeter 032: prefill . . . 173μs ToddCoxeter 033: congruence of ToddCoxeter . . .  -- with HLT + no standardise + full lookahead + no save 55μs  -- with HLT + standardise + full lookahead + no save 45μs  -- with HLT + no standardise + partial lookahead + no save 43μ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 48μs  -- with HLT + no standardise + partial lookahead + save 48μs  -- with HLT + standardise + partial lookahead + save 46μs  -- with random strategy 48μs ToddCoxeter 034: congruence of ToddCoxeter . . .  -- with HLT + no standardise + full lookahead + no save 135μs  -- with HLT + standardise + full lookahead + no save 107μs  -- with HLT + no standardise + partial lookahead + no save 101μs  -- with HLT + standardise + partial lookahead + no save 101μs  -- with HLT + save (throws) 115μs  -- with Felsch (throws) 112μs  -- with random strategy 114μs ToddCoxeter 035: congruence on FpSemigroup . . .  -- with HLT + no standardise + full lookahead + no save 337μs  -- with HLT + standardise + full lookahead + no save 286μs  -- with HLT + no standardise + partial lookahead + no save 280μs  -- with HLT + standardise + partial lookahead + no save 286μs  -- with HLT + no standardise + full lookahead + save 315μs  -- with HLT + standardise + full lookahead + save 311μs  -- with HLT + no standardise + partial lookahead + save 306μs  -- with HLT + standardise + partial lookahead + save 308μs  -- with Felsch + no standardisation 302μs  -- with Felsch + standardisation 302μs  -- with random strategy 317μs  -- with Rc style + full lookahead 277μs  -- with Rc style + partial lookahead 273μs  -- with R/C style 275μs  -- with CR style 315μs  -- with Cr style 308μs ToddCoxeter 036: exceptions . . . 112μs ToddCoxeter 037: copy constructor . . . 41μs ToddCoxeter 038: simplify . . . 149μs ToddCoxeter 039: stylic_monoid . . . 819ms ToddCoxeter 041: some finite classes . . . 639μs ToddCoxeter 043: symmetric_group(7, Coxeter + Moser) . . . 148ms ToddCoxeter 044: Option exceptions . . . 119μs ToddCoxeter 045: Options operator<< . . . 821μs ToddCoxeter 046: Easdown-East-FitzGerald DualSymInv(5) . . .  -- with HLT + no standardise + full lookahead + no save 173ms  -- with HLT + standardise + full lookahead + no save 195ms  -- with HLT + no standardise + partial lookahead + no save 174ms  -- with HLT + standardise + partial lookahead + no save 193ms  -- 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 135ms  -- with Felsch + no standardisation 149ms  -- with Felsch + standardisation 149ms  -- with random strategy 178ms  -- with R/C style 181ms  -- with Rc style + full lookahead 155ms  -- with Rc style + partial lookahead 155ms ToddCoxeter 047: uniform_block_bijection_monoid(3) (FitzGerald) . . .  -- with HLT + no standardise + full lookahead + no save 115μs  -- with HLT + standardise + full lookahead + no save 100μs  -- with HLT + no standardise + partial lookahead + no save 90μs  -- with HLT + standardise + partial lookahead + no save 92μs  -- with HLT + no standardise + full lookahead + save 213μs  -- with HLT + standardise + full lookahead + save 203μs  -- with HLT + no standardise + partial lookahead + save 197μs  -- with HLT + standardise + partial lookahead + save 210μs  -- with Felsch + no standardisation 242μs  -- with Felsch + standardisation 234μs  -- with random strategy 184μs  -- with R/C style 106μs  -- with Rc style + full lookahead 96μs  -- with Rc style + partial lookahead 95μs ToddCoxeter 048: stellar_monoid(7) (Gay-Hivert) . . . 157ms ToddCoxeter 049: partition_monoid(4) (East) . . .  -- with HLT + no standardise + full lookahead + no save 29ms  -- with HLT + standardise + full lookahead + no save 31ms  -- with HLT + no standardise + partial lookahead + no save 29ms  -- with HLT + standardise + partial lookahead + no save 30ms  -- with HLT + no standardise + full lookahead + save 53ms  -- with HLT + standardise + full lookahead + save 56ms  -- with HLT + no standardise + partial lookahead + save 52ms  -- with HLT + standardise + partial lookahead + save 55ms  -- with Felsch + no standardisation 64ms  -- with Felsch + standardisation 64ms  -- with random strategy 65ms  -- with R/C style 34ms  -- with Rc style + full lookahead 68ms  -- with Rc style + partial lookahead 69ms ToddCoxeter 050: singular_brauer_monoid(6) (Maltcev + Mazorchuk) . . . 506ms ToddCoxeter 051: orientation_preserving_monoid(6) (Ruskuc + [...] . . .  -- with HLT + no standardise + full lookahead + no save 24ms ToddCoxeter 052: orientation_reversing_monoid(5) (Ruskuc + [...] . . .  -- with HLT + no standardise + full lookahead + no save 6217μs ToddCoxeter 053: temperley_lieb_monoid(10) (East) . . . 39ms ToddCoxeter 063: add_rule . . .  -- with HLT + no standardise + full lookahead + no save 103μs  -- with HLT + standardise + full lookahead + no save 73μs  -- with HLT + no standardise + partial lookahead + no save 68μs  -- with HLT + standardise + partial lookahead + no save 67μs  -- with HLT + no standardise + full lookahead + save 76μs  -- with HLT + standardise + full lookahead + save 74μs  -- with HLT + no standardise + partial lookahead + save 83μs  -- with HLT + standardise + partial lookahead + save 74μs  -- with Felsch + no standardisation 74μs  -- with Felsch + standardisation 72μs  -- with random strategy 72μs  -- with Rc style + full lookahead 69μs  -- with Rc style + partial lookahead 68μs  -- with R/C style 68μs  -- with CR style 73μs  -- with Cr style 72μs  -- with R/C + Felsch lookahead 80μs  -- with HLT + Felsch lookahead + save 76μs  -- with Cr + small number of f_defs 77μs  -- with Rc + small number of deductions 69μs  -- with Felsch + v2 + no preferred defs 72μs  -- with Felsch + v2 + immediate no stack 77μs  -- with Felsch + v1 + immediate no stack 73μs  -- with Felsch + v1 + immediate yes stack 72μs  -- with large collapse 68μs ToddCoxeter 064: (from kbmag/standalone/kb_data/s4) (KnuthB [...] . . .  -- with HLT + no standardise + full lookahead + no save 282μs ToddCoxeter 066: test validate . . . 58μs ToddCoxeter 067: add_rules after construct. from semigroup . . .  -- with HLT + no standardise + full lookahead + no save 353μs  -- with HLT + standardise + full lookahead + no save 317μs  -- with HLT + no standardise + partial lookahead + no save 313μs  -- with HLT + standardise + partial lookahead + no save 302μs  -- with HLT + save (throws) 319μs  -- with Felsch (throws) 313μs  -- with random strategy 297μs ToddCoxeter 068: Sym(5) from Chapter 3, Proposition 1.1 in NR . . .  -- with Deduction policy == purge_from_top 698μs  -- with Deduction policy == purge_all 650μs  -- with Deduction policy == discard_all_if_no_space 672μs  -- with HLT + no standardise + full lookahead + no save 775μs  -- with HLT + standardise + full lookahead + no save 1074μs  -- with HLT + no standardise + partial lookahead + no save 760μs  -- with HLT + standardise + partial lookahead + no save 1077μs  -- with HLT + no standardise + full lookahead + save 1121μs  -- with HLT + standardise + full lookahead + save 1090μs  -- with HLT + no standardise + partial lookahead + save 1087μs  -- with HLT + standardise + partial lookahead + save 1080μs  -- with Felsch + no standardisation 728μs  -- with Felsch + standardisation 698μs  -- with random strategy 747μs  -- with Rc style + full lookahead 1485μs  -- with Rc style + partial lookahead 1492μs  -- with R/C style 848μs  -- with CR style 761μs  -- with Cr style 734μ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 436μs  -- with HLT + no standardise + partial lookahead + no save 375μs  -- with HLT + standardise + partial lookahead + no save 429μs  -- with HLT + no standardise + full lookahead + save 498μs  -- with HLT + standardise + full lookahead + save 522μs  -- with HLT + no standardise + partial lookahead + save 489μs  -- with HLT + standardise + partial lookahead + save 516μs  -- with Felsch + no standardisation 2416μs  -- with Felsch + standardisation 2425μs  -- with random strategy 543μs  -- with Rc style + full lookahead 402μs  -- with Rc style + partial lookahead 391μs  -- with R/C style 409μs  -- with CR style 2426μ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 185μs  -- with HLT + no standardise + partial lookahead + no save 163μs  -- with HLT + standardise + partial lookahead + no save 180μs  -- with HLT + no standardise + full lookahead + save 218μs  -- with HLT + standardise + full lookahead + save 220μs  -- with HLT + no standardise + partial lookahead + save 199μs  -- with HLT + standardise + partial lookahead + save 216μs  -- with Felsch + no standardisation 469μs  -- with Felsch + standardisation 460μs  -- with random strategy 469μs  -- with Rc style + full lookahead 178μs  -- with Rc style + partial lookahead 175μs  -- with R/C style 181μs  -- with CR style 458μs  -- with Cr style 453μs ToddCoxeter 080: KnuthBendix 098 . . .  -- with HLT + no standardise + full lookahead + no save 541ms  -- with HLT + standardise + full lookahead + no save 602ms  -- with HLT + no standardise + partial lookahead + no save 542ms  -- with HLT + standardise + partial lookahead + no save 601ms  -- with HLT + no standardise + full lookahead + save 382ms  -- with HLT + standardise + full lookahead + save 381ms  -- with HLT + no standardise + partial lookahead + save 379ms  -- with HLT + standardise + partial lookahead + save 382ms  -- with Felsch + no standardisation 358ms  -- with Felsch + standardisation 362ms  -- with random strategy 380ms  -- with Rc style + full lookahead 353ms  -- with Rc style + partial lookahead 353ms  -- with R/C style 540ms  -- with CR style 359ms  -- with Cr style 356ms ToddCoxeter 084: Campbell-Reza 1 . . .  -- with HLT + no standardise + full lookahead + no save 151μs  -- with HLT + standardise + full lookahead + no save 97μs  -- with HLT + no standardise + partial lookahead + no save 91μs  -- with HLT + standardise + partial lookahead + no save 86μs  -- with HLT + no standardise + full lookahead + save 102μs  -- with HLT + standardise + full lookahead + save 97μs  -- with HLT + no standardise + partial lookahead + save 93μs  -- with HLT + standardise + partial lookahead + save 93μs  -- with Felsch + no standardisation 103μs  -- with Felsch + standardisation 98μs  -- with random strategy 97μs  -- with Rc style + full lookahead 87μs  -- with Rc style + partial lookahead 85μs  -- with R/C style 87μs  -- with CR style 105μs  -- with Cr style 106μs ToddCoxeter 085: Renner monoid type D4 (Gay-Hivert), q = 1 . . .  -- with HLT + no standardise + full lookahead + no save 117ms  -- with HLT + standardise + full lookahead + no save 117ms  -- with HLT + no standardise + partial lookahead + no save 117ms  -- with HLT + standardise + partial lookahead + no save 117ms  -- with HLT + no standardise + full lookahead + save 118ms  -- with HLT + standardise + full lookahead + save 117ms  -- with HLT + no standardise + partial lookahead + save 117ms  -- with HLT + standardise + partial lookahead + save 118ms  -- with Felsch + no standardisation 117ms  -- with Felsch + standardisation 118ms  -- with random strategy 121ms  -- with Rc style + full lookahead 118ms  -- with Rc style + partial lookahead 119ms  -- with R/C style 119ms  -- 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 32ms  -- 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 15ms  -- with HLT + no standardise + partial lookahead + save 15ms  -- with HLT + standardise + partial lookahead + save 16ms  -- with random strategy 33ms  -- with Felsch + no standardisation 12ms  -- with Felsch + standardisation 12ms ToddCoxeter 094: ACE --- C5 - HLT . . .  -- with HLT + no standardise + full lookahead + no save 117μs  -- with HLT + standardise + full lookahead + no save 106μs  -- with HLT + no standardise + partial lookahead + no save 106μs  -- with HLT + standardise + partial lookahead + no save 103μs  -- with HLT + no standardise + full lookahead + save 121μs  -- with HLT + standardise + full lookahead + save 116μs  -- with HLT + no standardise + partial lookahead + save 116μs  -- with HLT + standardise + partial lookahead + save 112μs  -- with random strategy 112μs  -- with Felsch + no standardisation 114μs  -- with Felsch + standardisation 109μs ToddCoxeter 095: ACE --- A5-C5 . . .  -- with HLT + no standardise + full lookahead + no save 128μs  -- with HLT + standardise + full lookahead + no save 129μs  -- with HLT + no standardise + partial lookahead + no save 123μs  -- with HLT + standardise + partial lookahead + no save 129μs  -- with HLT + no standardise + full lookahead + save 175μs  -- with HLT + standardise + full lookahead + save 170μs  -- with HLT + no standardise + partial lookahead + save 165μs  -- with HLT + standardise + partial lookahead + save 166μs  -- with random strategy 133μs  -- with Felsch + no standardisation 158μs  -- with Felsch + standardisation 149μs ToddCoxeter 096: ACE --- A5 . . .  -- with HLT + no standardise + full lookahead + no save 235μs  -- with HLT + standardise + full lookahead + no save 277μs  -- with HLT + no standardise + partial lookahead + no save 206μs  -- with HLT + standardise + partial lookahead + no save 273μs  -- with HLT + no standardise + full lookahead + save 378μs  -- with HLT + standardise + full lookahead + save 378μs  -- with HLT + no standardise + partial lookahead + save 364μs  -- with HLT + standardise + partial lookahead + save 375μs  -- with random strategy 398μs  -- with Felsch + no standardisation 295μs  -- with Felsch + standardisation 280μs ToddCoxeter 098: relation ordering . . .  -- with Felsch + no standardisation 600μs  -- with Felsch + standardisation 574μs  -- with HLT + no standardise + full lookahead + no save 331μs  -- with HLT + standardise + full lookahead + no save 322μs  -- with HLT + no standardise + partial lookahead + no save 319μs  -- with HLT + standardise + partial lookahead + no save 322μs  -- with HLT + no standardise + full lookahead + save 617μs  -- with HLT + standardise + full lookahead + save 607μs  -- with HLT + no standardise + partial lookahead + save 603μs  -- with HLT + standardise + partial lookahead + save 598μs  -- with random strategy 382μs ToddCoxeter 099: short circuit size in obviously infinite . . . 20μs ToddCoxeter 101: http://brauer.maths.qmul.ac.uk/Atlas/spor/M [...] . . . 595ms ToddCoxeter 108: http://brauer.maths.qmul.ac.uk/Atlas/lin/L3 [...] . . . 533ms ToddCoxeter 111: partition_monoid(2) . . . 91μs ToddCoxeter 112: brauer_monoid(4) (Kudryavtseva + Mazorchuk) . . . 375μs ToddCoxeter 113: symmetric_inverse_monoid . . . 16ms ToddCoxeter 116: symmetric_group(7, Burnside + Miller) . . . 407ms UF 001: constructor by size . . . 15μs UF 002: copy constructor . . . 20μs UF 003: find . . . 15μs action_digraph_helper 015: detail::to_string . . . 25μs action_digraph_helper 016: make . . . 58μs action_digraph_helper 017: is_connected . . . 206μs action_digraph_helper 018: is_strictly_cyclic . . . 13ms follow_path 012: 20 node path . . . 24μs fpsemi-examples 002: full_transformation_monoid author except . . . 36μs fpsemi-examples 003: full_transformation_monoid degree except . . . 24μs fpsemi-examples 005: partial_transformation_monoid author except . . . 26μs fpsemi-examples 006: partial_transformation_monoid degree except . . . 21μs fpsemi-examples 007: symmetric_inverse_monoid(5) . . . 16ms fpsemi-examples 008: symmetric_group auth except . . . 31μs fpsemi-examples 009: symmetric_group degree except . . . 23μs fpsemi-examples 010: symmetric_group(6) Burnside + Miller . . . 23ms fpsemi-examples 011: dual_symmetric_inverse_monoid(5) . . . 175ms fpsemi-examples 012: dual_symmetric_inverse_monoid auth except . . . 38μs fpsemi-examples 013: dual_symmetric_inverse_monoid degree except . . . 24μs fpsemi-examples 014: uniform_block_bijection_monoid(5) . . . 11ms fpsemi-examples 015: uniform_block_bijection_monoid auth except . . . 31μs fpsemi-examples 016: uniform_block_bijection_monoid degree except . . . 23μs fpsemi-examples 019: partition_monoid auth except . . . 41μs fpsemi-examples 020: partition_monoid degree except . . . 34μs fpsemi-examples 022: monogenic_semigroup(4, 9) . . . 36μs fpsemi-examples 023: fibonacci_semigroup(2, 5) . . . 95μs fpsemi-examples 024: temperley_lieb_monoid(10) . . . 46ms fpsemi-examples 025: singular_brauer_monoid(6) . . . 406ms fpsemi-examples 026: orientation_preserving_monoid(6) . . . 24ms fpsemi-examples 027: orientation_reversing_monoid(5) . . . 6290μs fpsemi-examples 028: chinese_monoid(3) . . . 154μs fpsemi-examples 029: plactic_monoid(3) . . . 119μs fpsemi-examples 030: stylic_monoid(3) . . . 994μs fpsemi-examples 031: symmetric_group(6) Carmichael . . . 14ms fpsemi-examples 032: symmetric_group(6) Moore . . . 10ms fpsemi-examples 033: symmetric_group(6) Coxeter + Moser . . . 5947μs fpsemi-examples 034: test for the rook monoid . . . 284μs fpsemi-examples 035: alternating_group(7) Moore . . . 23ms fpsemi-examples 036: alternating_group auth except . . . 55μs fpsemi-examples 037: alternating_group degree except . . . 23μs fpsemi-examples 038: partial_transformation_monoid(3) Machine . . . 299μs fpsemi-examples 039: chinese_monoid degree except . . . 38μs fpsemi-examples 040: monogenic_semigroup degree except . . . 33μs fpsemi-examples 041: rectangular_band degree except . . . 53μs fpsemi-examples 042: stellar_monoid degree except . . . 30μs fpsemi-examples 043: plactic_monoid degree except . . . 31μs fpsemi-examples 044: stylic_monoid degree except . . . 29μs fpsemi-examples 045: temperley_lieb_monoid degree except . . . 40μs fpsemi-examples 046: singular_brauer_monoid degree except . . . 41μs fpsemi-examples 047: orientation_preserving_monoid degree except . . . 41μs fpsemi-examples 048: orientation_reversing_monoid degree except . . . 41μs fpsemi-examples 049: test default values . . . 3663μs fpsemi-examples 052: not_symmetric_group(5) Guralnick + Kant [...] . . . 2661μs fpsemi-examples 053: order_preserving_monoid(5) . . . 613μs fpsemi-examples 055: order_preserving_monoid degree except . . . 48μs fpsemi-examples 056: cyclic_inverse_monoid(4) Fernandes 1 . . . 251μs fpsemi-examples 057: cyclic_inverse_monoid(8) Fernandes index 1 . . . 14ms fpsemi-examples 058: cyclic_inverse_monoid Fernandes index 0 . . . 24ms fpsemi-examples 059: order_preserving_cyclic_inverse_monoid(4) . . . 187μs fpsemi-examples 060: order_preserving_cyclic_inverse_monoid(10) . . . 28ms fpsemi-examples 061: cyclic_inverse_monoid degree except . . . 90μs fpsemi-examples 062: cyclic_inverse_monoid author except . . . 36μs fpsemi-examples 063: order_preserving_monoid degree except . . . 41μs freeband_equal_to 001: . . . 649μs is_acyclic 000: 2-cycle . . . 12μs is_acyclic 001: 1-cycle . . . 10μs is_acyclic 002: multi-digraph . . . 12μs is_acyclic 003: complete digraph 100 . . . 83μs is_acyclic 004: acyclic digraph with 20000 nodes . . . 1614μs is_acyclic 006: for a node . . . 836μs is_acyclic 007: for a node . . . 18μs is_reachable 008: acyclic 20 node digraph . . . 46μs is_reachable 009: 100 node path . . . 11ms is_reachable 010: 100 node cycle . . . 10ms is_reachable 011: 20 node clique . . . 438μs last_node_on_path_nc 014: 20 node path . . . 16μs make 000: from FroidurePin . . . 411μs make 001: from FroidurePin and alphabet . . . 536μs make 002: presentation from presentation . . . 248μs make 003: presentation from presentation and alphabet . . . 53μs make> 000: from ActionDigraph . . . 1244μs make> 001: from ActionDigraph (exceptions) . . . 53μs number_of_words 001: . . . 25μs silo 000: alphabet: a, min: 0, max: 10 . . . 48μs silo 001: corner cases . . . 30μs silo 002: alphabet: ab, min: 1, max: 4 . . . 50μs silo 003: alphabet: abc, min: 0, max: 13 . . . 77ms silo 004: code coverage . . . 33μs sislo 005: alphabet: a, min: 0, max: 10 . . . 41μs sislo 006: corner cases . . . 57μs sislo 007: alphabet: ab, min: 1, max: 4 . . . 86μs sislo 008: alphabet: abc, min: 0, max: 13 . . . 80ms sislo 009: code coverage . . . 30μ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 . . . 25μs string_to_word 002: . . . 12μs validate_label 013: 20 node path . . . 45μs wilo 001: corner cases . . . 43μs wilo 002: letters: 2, min: 1, max: 4 . . . 33μs wilo 003: letters: 2, min: 1, max: 4 . . . 55μs wilo 004: letters: 3, min: 0, max: 10 . . . 18ms wilo 005: letters: 3, min: 0, max: 13 . . . 143ms wilo 006: forward iterator requirements . . . 143ms wilo 007: more corner cases . . . 55μs wilo 008: starting at a given word 1 . . . 131μ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 . . . 25μs wislo 001: corner cases . . . 43μs wislo 002: n: 3, min; 0, max: 10 . . . 4788μs wislo 003: n: 3, min; 0, max: 13 . . . 144ms wislo 004: lex + sort . . . 404ms wislo 005: code coverage . . . 30μs =============================================================================== All tests passed (1225527 assertions in 1162 test cases) >>> libsemigroups: Entering fakeroot... make[1]: Entering directory '/home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.5.1' ./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' /usr/bin/install -c -m 644 libsemigroups.pc '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/pkgconfig' ./config/install-sh -c -d '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups/textflowcpp' /usr/bin/install -c -m 644 extern/textflowcpp/TextFlow.hpp '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups/textflowcpp' /usr/bin/install -c -m 644 include/libsemigroups/action.hpp include/libsemigroups/adapters.hpp include/libsemigroups/bipart.hpp include/libsemigroups/bitset.hpp include/libsemigroups/bmat8.hpp include/libsemigroups/bmat.hpp include/libsemigroups/bruidhinn-traits.hpp include/libsemigroups/config.hpp include/libsemigroups/cong-intf.hpp include/libsemigroups/cong-pair-impl.hpp include/libsemigroups/cong-pair.hpp include/libsemigroups/cong-wrap.hpp include/libsemigroups/cong.hpp include/libsemigroups/constants.hpp include/libsemigroups/containers.hpp include/libsemigroups/coset.hpp include/libsemigroups/debug.hpp include/libsemigroups/deprecated.hpp include/libsemigroups/digraph-helper.hpp include/libsemigroups/digraph-with-sources.hpp include/libsemigroups/digraph-with-sources.tpp include/libsemigroups/digraph.hpp include/libsemigroups/exception.hpp include/libsemigroups/fastest-bmat.hpp include/libsemigroups/felsch-tree.hpp include/libsemigroups/felsch-digraph.hpp include/libsemigroups/felsch-digraph.tpp include/libsemigroups/forest.hpp include/libsemigroups/fpsemi-examples.hpp include/libsemigroups/fpsemi-intf.hpp include/libsemigroups/fpsemi.hpp include/libsemigroups/freeband.hpp include/libsemigroups/froidure-pin-base.hpp include/libsemigroups/froidure-pin-impl.hpp include/libsemigroups/froidure-pin.hpp include/libsemigroups/function-ref.hpp include/libsemigroups/hpcombi.hpp include/libsemigroups/int-range.hpp include/libsemigroups/iterator.hpp include/libsemigroups/kambites.hpp '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups' libtool: install: /usr/bin/install -c .libs/libsemigroups.so.2.0.0 /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/libsemigroups.so.2.0.0 /usr/bin/install -c -m 644 include/libsemigroups/kbe.hpp include/libsemigroups/knuth-bendix.hpp include/libsemigroups/konieczny.hpp include/libsemigroups/libsemigroups.hpp include/libsemigroups/make-froidure-pin.hpp include/libsemigroups/make-present.hpp include/libsemigroups/matrix.hpp include/libsemigroups/node-manager.hpp include/libsemigroups/obvinf.hpp include/libsemigroups/order.hpp include/libsemigroups/pbr.hpp include/libsemigroups/pool.hpp include/libsemigroups/present.hpp include/libsemigroups/present.tpp include/libsemigroups/race.hpp include/libsemigroups/report.hpp include/libsemigroups/runner.hpp include/libsemigroups/schreier-sims.hpp include/libsemigroups/schreier-sims-helper.hpp include/libsemigroups/sims1.hpp include/libsemigroups/sims1.tpp include/libsemigroups/siso.hpp include/libsemigroups/stl.hpp include/libsemigroups/stephen.hpp include/libsemigroups/string-view.hpp include/libsemigroups/string.hpp include/libsemigroups/suffix-tree.hpp include/libsemigroups/tce.hpp include/libsemigroups/timer.hpp include/libsemigroups/todd-coxeter-digraph.hpp include/libsemigroups/todd-coxeter-digraph.tpp include/libsemigroups/todd-coxeter.hpp include/libsemigroups/transf.hpp include/libsemigroups/types.hpp include/libsemigroups/uf.hpp include/libsemigroups/wilo.hpp include/libsemigroups/wislo.hpp include/libsemigroups/word.hpp '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups' libtool: install: (cd /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib && { ln -s -f libsemigroups.so.2.0.0 libsemigroups.so.2 || { rm -f libsemigroups.so.2 && ln -s libsemigroups.so.2.0.0 libsemigroups.so.2; }; }) libtool: install: (cd /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib && { ln -s -f libsemigroups.so.2.0.0 libsemigroups.so || { rm -f libsemigroups.so && ln -s libsemigroups.so.2.0.0 libsemigroups.so; }; }) libtool: install: /usr/bin/install -c .libs/libsemigroups.lai /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/libsemigroups.la libtool: install: /usr/bin/install -c .libs/libsemigroups.a /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/libsemigroups.a libtool: install: chmod 644 /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/libsemigroups.a libtool: install: ranlib /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/libsemigroups.a libtool: warning: remember to run 'libtool --finish /usr/lib' make[1]: Leaving directory '/home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.5.1' >>> libsemigroups-static*: Running split function static... >>> libsemigroups-static*: Preparing subpackage libsemigroups-static... >>> libsemigroups-static*: Stripping binaries >>> libsemigroups-static*: Running postcheck for libsemigroups-static >>> libsemigroups-dev*: Running split function dev... >>> libsemigroups-dev*: Preparing subpackage libsemigroups-dev... >>> libsemigroups-dev*: Stripping binaries >>> libsemigroups-dev*: Running postcheck for libsemigroups-dev >>> libsemigroups*: Running postcheck for libsemigroups >>> libsemigroups*: Preparing package libsemigroups... >>> libsemigroups*: Stripping binaries >>> libsemigroups-dev*: Scanning shared objects >>> libsemigroups-static*: Scanning shared objects >>> libsemigroups*: Scanning shared objects >>> libsemigroups-dev*: Tracing dependencies... libsemigroups=2.5.1-r0 pc:eigen3 pc:fmt pkgconfig >>> libsemigroups-dev*: Package size: 1.9 MB >>> libsemigroups-dev*: Compressing data... >>> libsemigroups-dev*: Create checksum... >>> libsemigroups-dev*: Create libsemigroups-dev-2.5.1-r0.apk >>> libsemigroups-static*: Tracing dependencies... >>> libsemigroups-static*: Package size: 4.6 MB >>> libsemigroups-static*: Compressing data... >>> libsemigroups-static*: Create checksum... >>> libsemigroups-static*: Create libsemigroups-static-2.5.1-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.6 MB >>> libsemigroups*: Compressing data... >>> libsemigroups*: Create checksum... >>> libsemigroups*: Create libsemigroups-2.5.1-r0.apk >>> libsemigroups: Build complete at Sun, 25 Dec 2022 23:55:09 +0000 elapsed time 0h 13m 3s >>> libsemigroups: Cleaning up srcdir >>> libsemigroups: Cleaning up pkgdir >>> libsemigroups: Uninstalling dependencies... (1/4) Purging .makedepends-libsemigroups (20221225.234207) (2/4) Purging eigen-dev (3.4.0-r7) (3/4) Purging fmt-dev (9.1.0-r0) (4/4) Purging fmt (9.1.0-r0) OK: 378 MiB in 103 packages >>> libsemigroups: Updating the testing/x86 repository index... >>> libsemigroups: Signing the index...