>>> libsemigroups: Building testing/libsemigroups 2.4.1-r0 (using abuild 3.10.0-r0) started Sat, 10 Dec 2022 12:39:56 +0000 >>> libsemigroups: Checking sanity of /home/buildozer/aports/testing/libsemigroups/APKBUILD... >>> libsemigroups: Analyzing dependencies... >>> libsemigroups: Installing for build: build-base eigen-dev fmt-dev (1/4) Installing eigen-dev (3.4.0-r6) (2/4) Installing fmt (9.1.0-r0) (3/4) Installing fmt-dev (9.1.0-r0) (4/4) Installing .makedepends-libsemigroups (20221210.123958) OK: 390 MiB in 107 packages >>> libsemigroups: Cleaning up srcdir >>> libsemigroups: Cleaning up pkgdir >>> libsemigroups: Fetching https://distfiles.alpinelinux.org/distfiles/edge/libsemigroups-2.4.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.4.1/libsemigroups-2.4.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 100 2406k 100 2406k 0 0 2558k 0 --:--:-- --:--:-- --:--:-- 2558k >>> libsemigroups: Fetching https://distfiles.alpinelinux.org/distfiles/edge/libsemigroups-2.4.1.tar.gz >>> libsemigroups: Checking sha512sums... libsemigroups-2.4.1.tar.gz: OK >>> libsemigroups: Unpacking /var/cache/distfiles/edge/libsemigroups-2.4.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' 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' 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-obvinf.lo CXX src/libsemigroups_la-pbr.lo CXX src/libsemigroups_la-race.lo CXX src/libsemigroups_la-report.lo CXX src/libsemigroups_la-runner.lo CXX src/libsemigroups_la-siso.lo CXX src/libsemigroups_la-string.lo CXX src/libsemigroups_la-suffix-tree.lo CXX src/libsemigroups_la-timer.lo CXX src/libsemigroups_la-todd-coxeter.lo CXX src/libsemigroups_la-wilo.lo CXX src/libsemigroups_la-wislo.lo CXX src/libsemigroups_la-word.lo CXXLD libsemigroups.la make test_all make[1]: Entering directory '/home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.4.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-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.4.1' ./test_all --use-colour yes --order lex --abort [quick] Filters: [quick] Action 001: row and column basis orbits for BMat8 . . . 102μs Action 002: row and column basis orbits for BMat8 . . . 17ms 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 . . . 362ms Action 007: partial perm image orbit . . . 257μs Action 008: partial perm image orbit . . . 67ms Action 009: partial perm image orbit . . . 75ms Action 010: partial perm image orbit . . . 73ms Action 011: permutation on integers . . . 20μs Action 012: permutation on sets, arrays . . . 115μs Action 013: permutation on tuples, arrays . . . 12ms Action 014: permutation on sets, vectors . . . 181μs Action 015: permutation on tuples, vectors . . . 19ms Action 016: misc . . . 9596μs Action 017: partial perm image orbit . . . 55μs Action 018: permutation on tuples, arrays (360360) . . . 175ms Action 019: orbits for regular BMat8 monoid 5 with stop/start . . . 437ms Action 021: orbits for regular boolean mat monoid 5 (BMat<5> [...] . . . 452ms ActionDigraph 000: constructor with 1 default arg . . . 20μs ActionDigraph 001: constructor with 0 default args . . . 45μs ActionDigraph 002: add nodes . . . 26μs ActionDigraph 003: add edges . . . 320μs ActionDigraph 004: strongly connected components - cycles . . . 38μs ActionDigraph 005: strongly connected components - no edges . . . 49ms ActionDigraph 006: strongly connected components - disjoint cycles . . . 1850μs ActionDigraph 007: strongly connected components - complete graphs . . . 989μs ActionDigraph 008: exceptions . . . 64μs ActionDigraph 009: spanning forest - complete graphs . . . 4922μs ActionDigraph 010: spanning forest - disjoint cycles . . . 137μs ActionDigraph 011: restrict . . . 12μs ActionDigraph 012: remove_edge_nc . . . 10μs ActionDigraph 013: scc large cycle . . . 16ms ActionDigraph 014: random . . . 29μs ActionDigraph 015: reserve . . . 10μs ActionDigraph 016: default constructors . . . 16μs ActionDigraph 017: scc iterators . . . 1502μs ActionDigraph 018: iterator to edges . . . 643μs ActionDigraph 019: root of scc . . . 431μs ActionDigraph 020: cbegin/end_panislo - 100 node path . . . 582μs ActionDigraph 021: cbegin/end_pislo . . . 53μs ActionDigraph 022: cbegin/end_pani(s)lo - 100 node cycle . . . 858μs ActionDigraph 023: cbegin/cend_pilo - tree 14 nodes . . . 96μs ActionDigraph 024: cbegin/end_pstilo - Cayley digraph . . . 204ms ActionDigraph 025: cbegin_pstilo - Tsalakou . . . 447μs ActionDigraph 026: cbegin/end_pstislo - Cayley digraph . . . 188ms ActionDigraph 027: cbegin/end_pstislo - Cayley digraph . . . 232μs ActionDigraph 028: path iterators corner cases . . . 214μs ActionDigraph 029: reverse node iterator . . . 12μs ActionDigraph 030: pstilo corner case . . . 60μs ActionDigraph 031: number_of_paths corner cases . . . 71μs ActionDigraph 032: number_of_paths acyclic digraph . . . 13ms ActionDigraph 033: number_of_paths binary tree . . . 514ms ActionDigraph 034: number_of_paths large binary tree . . . 164ms ActionDigraph 035: number_of_paths 400 node random digraph . . . 717μs ActionDigraph 036: number_of_paths 10 node acyclic digraph . . . 50μs ActionDigraph 037: number_of_paths node digraph . . . 4825μs ActionDigraph 038: random/random_acyclic exceptions . . . 125μs ActionDigraph 039: unsafe (next) neighbour . . . 92μs ActionDigraph 040: number_of_egdes incident to a node . . . 100μ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 . . . 24μs ActionDigraph 045: operator<< . . . 18μs Array2 044: all . . . 57μs BMat8 001: transpose . . . 27μs BMat8 002: multiplication . . . 24μs BMat8 003: identity matrix . . . 16μs BMat8 004: random . . . 117μs BMat8 005: call operator . . . 21μs BMat8 006: operator<< . . . 20μs BMat8 007: set . . . 72μs BMat8 008: row space basis . . . 1613μs BMat8 009: col space basis . . . 1616μs BMat8 010: row space basis . . . 17ms BMat8 011: number_of_rows, number_of_cols . . . 48μs BMat8 012: row_space, col_space . . . 308μs BMat8 013: rows . . . 51μs BMat8 014: one . . . 12μ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 . . . 31μs Bipartition 010: hash . . . 9000ns Bipartition 011: mem fns 2 . . . 23μs Bipartition 012: delete/copy . . . 10μs Bipartition 013: degree 0 . . . 10μs Bipartition 014: exceptions . . . 43μs Bipartition 015: convenience constructor . . . 286μs Bipartition 016: force copy constructor over move constructor . . . 20μs Bipartition 017: adapters . . . 9000ns BitSet 000: size . . . 15μs BitSet 001: operator< . . . 10μs BitSet 002: operator== . . . 12μs BitSet 003: operator!= . . . 12μs BitSet 004: operator&= . . . 13μs BitSet 005: & . . . 15μs BitSet 006: operator|= . . . 16μs BitSet 007: operator[] . . . 23μs BitSet 008: set(none) . . . 19μs BitSet 009: set(pos, value) . . . 18μs BitSet 010: set(first, last, value) . . . 20μs BitSet 011: reset(first, last) . . . 20μs BitSet 012: reset(pos) . . . 20μs BitSet 013: apply (iterate through set bits) . . . 20μs BitSet 014: std::hash . . . 9000ns BitSet 015: constructors . . . 20μs BitSet 016: max_size . . . 9000ns BitSet 017: insertion operators . . . 13μs Blocks 001: empty blocks . . . 13μs Blocks 002: non-empty blocks . . . 13μs Blocks 003: left blocks of bipartition . . . 15μs Blocks 004: right blocks of bipartition . . . 15μs Blocks 005: copy [empty blocks] . . . 10μs Blocks 006: copy [non-empty blocks] . . . 12μs Blocks 007: hash value . . . 12μs Blocks 008: operator< . . . 12μs Congruence 000: left congruence on fp semigroup . . . 143μs Congruence 001: 2-sided congruence on fp semigroup . . . 362μs Congruence 002: left congruence on fp semigroup . . . 355μs Congruence 003: word_to_class_index for cong. on fp semigroup . . . 335μs Congruence 004: word_to_class_index for cong. on fp semigroup . . . 476μs Congruence 005: trivial congruence on non-fp semigroup . . . 380μs Congruence 006: 2-sided congruence on non-fp semigroup . . . 315μs Congruence 007: 2-sided congruence on fp semigroup . . . 571μs Congruence 008: 2-sided congruence on infinite fp semigroup . . . 299μs Congruence 009: 2-sided congruence on infinite fp semigroup . . . 371μs Congruence 010: 2-sided congruence on finite semigroup . . . 44ms Congruence 012: 2-sided congruence on finite semigroup . . . 4044μs Congruence 013: trivial 2-sided congruence on bicyclic monoid . . . 28ms Congruence 014: non-trivial 2-sided congruence on bicyclic monoid . . . 440μs Congruence 015: 2-sided congruence on free abelian monoid . . . 756μs Congruence 016: example where TC works but KB doesn't . . . 754μs Congruence 017: 2-sided congruence on finite semigroup . . . 500μs Congruence 018: infinite fp semigroup from GAP library . . . 608μs Congruence 019: 2-sided cong. on fp semigroup with infinite [...] . . . 389μs Congruence 020: trivial cong. on an fp semigroup . . .  -- with compute size 485μs  -- with don't compute size 484μs Congruence 021: duplicate generators . . . 598μs Congruence 022: non-trivial classes . . . 1659μs Congruence 023: right congruence on finite semigroup . . . 308ms Congruence 024: redundant generating pairs . . . 123μs Congruence 025: 2-sided cong. on free semigroup . . . 91μs Congruence 026: is_quotient_obviously_(in)finite . . . 1002μs Congruence 027: less . . . 400μs Congruence 028: 2-sided congruences of BMat8 semigroup . . . 440ms Congruence 029: left congruence on finite semigroup . . . 583μs Congruence 030: right congruence on finite semigroup . . . 604μs Congruence 031: right congruence on finite semigroup . . . 663μs Congruence 032: contains . . . 183μs Congruence 033: stellar_monoid S2 . . . 657μs Congruence 034: stellar_monoid S3 . . . 867μs Congruence 035: stellar_monoid S4 . . . 1623μs Congruence 036: stellar_monoid S5 . . . 7913μs Congruence 037: stellar_monoid S6 . . . 72ms Congruence 038: stellar_monoid S7 . . . 881ms Congruence 039: left cong. on an f.p. semigroup . . . 1464μs Congruence 040: 2-sided cong. on infinite f.p. semigroup . . . 242μs Congruence 041: 2-sided congruence constructed from type only . . . 648μs Congruence 042: const_contains . . . 805μs Congruence 043: no winner . . . 9093μs Congruence 044: congruence over smalloverlap . . . 11ms CongruenceByPairs 001: (cong) 2-sided cong. on finite semigroup . . . 604μs CongruenceByPairs 002: (cong) left congruence on finite semigroup . . . 255μs CongruenceByPairs 003: (cong) right congruence on finite semigroup . . . 248μs CongruenceByPairs 004: (cong) trivial congruence on finite s [...] . . . 182μs CongruenceByPairs 005: (cong) trivial left congruence on fin [...] . . . 164μs CongruenceByPairs 006: (cong) trivial right congruence on fi [...] . . . 162μs CongruenceByPairs 007: (cong) universal congruence on finite [...] . . . 759μs CongruenceByPairs 009: (cong) 2-sided congruence on finite s [...] . . . 780ms CongruenceByPairs 010: (cong) left congruence on big finite [...] . . . 31ms CongruenceByPairs 011: (cong) left congruence on TCE . . . 172μs CongruenceByPairs 012: (cong) is_quotient_obviously_finite . . . 96μs CongruenceByPairs 013: (cong) class_index_to_word/quotient . . .  -- with right congruence 9178μs  -- with left congruence 1203μs  -- with 2-sided congruence 6582μs CongruenceByPairs 014: (cong) const_word_to_class_index . . .  -- with right congruence 38μs  -- with left congruence 33μs  -- with 2-sided congruence 29μs CongruenceByPairs 015: (cong) size non-Element* . . . 27ms CongruenceInterface 000: add_pair . . .  -- with ToddCoxeter 98μs  -- with KnuthBendix 143μs  -- with CongruenceByPairs 121μs  -- with Congruence 447μs CongruenceInterface 001: contains/const_contains . . .  -- with ToddCoxeter and no parent 121μs  -- with KnuthBendix and no parent 126μs  -- with Congruence and parent 386μs  -- with CongruenceByPairs and parent 100μs CongruenceInterface 002: less . . .  -- with ToddCoxeter 92μs  -- with KnuthBendix 155μs  -- with CongruenceByPairs 105μs  -- with Congruence 402μs CongruenceInterface 003: is_quotient_obviously_(in)finite . . .  -- with ToddCoxeter 76μs  -- with KnuthBendix 121μs CongruenceInterface 004: is_quotient_obviously_(in)finite . . .  -- with CongruenceByPairs 112μs  -- with Congruence 413μs CongruenceInterface 005: parent_froidure_pin . . .  -- with ToddCoxeter 30μs  -- with KnuthBendix 21μs CongruenceInterface 006: parent_froidure_pin . . .  -- with CongruenceByPairs 103μs  -- with Congruence 493μs CongruenceInterface 007: cbegin/cend_ntc . . .  -- with ToddCoxeter 286μs  -- with KnuthBendix 1222μs CongruenceInterface 008: cbegin/cend_ntc . . .  -- with CongruenceByPairs 234μs  -- with Congruence 560μs CongruenceInterface 009: quotient is immutable . . .  -- with ToddCoxeter 91μs  -- with KnuthBendix 121μs  -- with Congruence 309μs CongruenceInterface 010: no generating pairs added . . .  -- with KnuthBendix and common behaviour 4897μs  -- with Congruence and common behaviour 5180μs  -- with ToddCoxeter 83μs CongruenceInterface 011: nr generators not set . . .  -- with ToddCoxeter 123μs  -- with KnuthBendix 116μs  -- with Congruence 120μs CongruenceInterface 012: no generating pairs . . . 185μs ConstIteratorStateless 001: ? . . . 10μ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 . . . 31μ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 . . . 24μs Duf 014: join . . . 15μs Duf 016: contains . . . 53μs Duf 018: swap . . . 46μ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 . . . 15μ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 . . . 12μs DynamicArray2 009: add_cols . . . 29μs DynamicArray2 010: set/get . . . 38μs DynamicArray2 011: append 1/2 . . . 87μs DynamicArray2 012: append 2/2 . . . 151μ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) . . . 250μs DynamicArray2 018: iterator operator++ (prefix) . . . 1569μs DynamicArray2 019: iterator operator-- (postfix) . . . 364μs DynamicArray2 020: iterator operator-- (prefix) . . . 315μs DynamicArray2 021: operator= . . . 15μs DynamicArray2 022: operator== and operator!= . . . 250μs DynamicArray2 023: empty and clear . . . 13μs DynamicArray2 024: max_size . . . 10μs DynamicArray2 025: swap . . . 38μs DynamicArray2 026: iterator arithmetic . . . 1358μs DynamicArray2 027: iterator comparison . . . 13μs DynamicArray2 028: iterator operator= . . . 12μs DynamicArray2 029: iterator operator[] . . . 74μs DynamicArray2 030: iterator operator-> . . . 25μs DynamicArray2 031: const_iterator operator++/-- . . . 213μs DynamicArray2 032: const_iterator operator++/-- . . . 10μs DynamicArray2 033: column iterators . . . 24μs DynamicArray2 034: column iterator arithmetic . . . 5819μs DynamicArray2 035: iterator assignment constructor . . . 1588μs DynamicArray2 036: reserve method . . . 60μs DynamicArray2 037: erase column . . . 15μs DynamicArray2 038: swap_rows . . . 12μs DynamicArray2 039: apply_row_permutation . . . 12μs DynamicArray2 040: swap . . . 10μs DynamicArray2 041: shrink_rows_to . . . 15μs DynamicArray2 042: shrink_rows_to - for range . . . 15μs FastestBMat 046: check no throw . . . 23μs FelschTree 000: previously failing example . . . 27μs Forest 001: test forest . . . 69μs FpSemigroup 001: Renner monoid type B2 (E. G. presentation), q = 1 . . . 1007μs FpSemigroup 002: Renner monoid type B2 (E. G. presentation), q = 0 . . . 960μs FpSemigroup 003: Renner monoid type B3 (E. G. presentation), q = 1 . . . 63ms FpSemigroup 004: Renner monoid type B3 (E. G. presentation), q = 0 . . . 70ms FpSemigroup 005: Renner monoid type B2 (Gay-Hivert presentat [...] . . . 1247μs FpSemigroup 006: Renner monoid type B2 (Gay-Hivert presentat [...] . . . 1265μs FpSemigroup 007: Renner monoid type B3 (Gay-Hivert presentat [...] . . . 4408μs FpSemigroup 008: Renner monoid type B3 (Gay-Hivert presentat [...] . . . 4364μs FpSemigroup 009: Renner monoid type B4 (Gay-Hivert presentat [...] . . . 314ms FpSemigroup 010: Renner monoid type B4 (Gay-Hivert presentat [...] . . . 516ms FpSemigroup 013: Renner monoid type D2 (E. G. presentation), q = 1 . . . 2288μs FpSemigroup 014: Renner monoid type D2 (E. G. presentation), q = 0 . . . 2174μs FpSemigroup 015: Renner monoid type D3 (E. G. presentation), q = 1 . . . 7104μs FpSemigroup 016: Renner monoid type D3 (E. G. presentation), q = 0 . . . 6246μs FpSemigroup 017: Renner monoid type D4 (E. G. presentation), q = 1 . . . 709ms FpSemigroup 018: Renner monoid type D4 (E. G. presentation), q = 0 . . . 702ms FpSemigroup 019: Renner monoid type D2 (Gay-Hivert presentat [...] . . . 1971μs FpSemigroup 020: Renner monoid type D2 (Gay-Hivert presentat [...] . . . 1747μs FpSemigroup 021: Renner monoid type D3 (Gay-Hivert presentat [...] . . . 6610μs FpSemigroup 022: Renner monoid type D3 (Gay-Hivert presentat [...] . . . 5697μs FpSemigroup 023: Renner monoid type D4 (Gay-Hivert presentat [...] . . . 111ms FpSemigroup 024: Renner monoid type D4 (Gay-Hivert presentat [...] . . . 125ms FpSemigroup 029: Rook monoid R5, q = 0 . . . 7459μs FpSemigroup 030: Rook monoid R5, q = 1 . . . 6313μs FpSemigroup 031: Rook monoid R6, q = 0 . . . 57ms FpSemigroup 032: Rook monoid R6, q = 1 . . . 56ms FpSemigroup 033: normal_form . . . 501μs FpSemigroup 034: for a finite semigroup . . . 1097μs FpSemigroup 035: finite fp semigroup, dihedral group of order 6 . . . 823μs FpSemigroup 036: finite fp semigroup, size 16 . . . 1224μs FpSemigroup 037: finite fp semigroup, size 16 . . . 1838μs FpSemigroup 038: fp semigroup, size 240 . . . 1278μs FpSemigroup 039: add_rule . . . 449μs FpSemigroup 040: add_rule . . . 255μs FpSemigroup 041: equal_to . . . 509μs FpSemigroup 042: cbegin/cend_rules . . . 127μs FpSemigroup 043: semigroup of size 3 . . . 748μs FpSemigroup 044: run_for/until . . . 2807μs FpSemigroup 045: constructors . . . 329μs FpSemigroup 046: set_inverses . . . 210μs FpSemigroup 047: smalloverlap . . . 16ms FpSemigroup 048: quaternion group Q8 . . . 742μs FpSemigroup 049: symmetric group Coxeter presentation . . . 33ms FpSemigroupByPairs 029: (fpsemi) 2-sided congruence on finit [...] . . . 912μs FpSemigroupByPairs 030: (fpsemi) 2-sided congruence on finit [...] . . . 925μs FpSemigroupInterface 000: run with no alphabet . . .  -- with ToddCoxeter 142μs  -- with KnuthBendix 63μs  -- with FpSemigroup 77μs FpSemigroupInterface 001: equal_to . . .  -- with ToddCoxeter and human readable alphabet 3750μs  -- with KnuthBendix and human readable alphabet 8666μs  -- with FpSemigroup and human readable alphabet 7894μs  -- with FpSemigroupByPairs 5577μs FpSemigroupInterface 002: normal_form . . .  -- with ToddCoxeter 306μs  -- with KnuthBendix 435μs  -- with FpSemigroup 836μs FpSemigroupInterface 003: set_alphabet (1/2) . . .  -- with ToddCoxeter 203μs  -- with KnuthBendix 162μs  -- with FpSemigroup 183μs FpSemigroupInterface 004: set_alphabet (2/2) . . . 2013μs FpSemigroupInterface 005: add_rule after finished . . .  -- with ToddCoxeter and human readable alphabet 251μs  -- with KnuthBendix and human readable alphabet 342μs  -- with FpSemigroup and human readable alphabet 619μs  -- with FpSemigroupByPairs 1956μs FpSemigroupInterface 006: add_rule with equal words (1/2) . . .  -- with ToddCoxeter and human readable alphabet 362μs  -- with KnuthBendix and human readable alphabet 492μs  -- with FpSemigroup and human readable alphabet 607μs  -- with FpSemigroupByPairs 329μs FpSemigroupInterface 007: add_rule with equal words (2/2) . . .  -- with ToddCoxeter 53μs  -- with KnuthBendix 41μs  -- with FpSemigroup 72μs FpSemigroupInterface 008: add_rule with word_type . . .  -- with ToddCoxeter 117μs  -- with KnuthBendix 82μs  -- with FpSemigroup 187μs FpSemigroupInterface 009: add_rule with empty word (1/2) . . .  -- with ToddCoxeter 81μs  -- with FpSemigroup 78μs FpSemigroupInterface 010: add_rule with empty word (1/2) . . . 33μs FpSemigroupInterface 011: add_rules (1/3) . . .  -- with ToddCoxeter 87μs  -- with KnuthBendix 73μs  -- with FpSemigroup 86μs FpSemigroupInterface 012: add_rules (2/3) . . . 733μs FpSemigroupInterface 013: add_rules (3/3) . . .  -- with ToddCoxeter 60μs  -- with KnuthBendix 48μs  -- with FpSemigroup 154μs FpSemigroupInterface 014: set_identity (1/3) . . .  -- with ToddCoxeter 219μs  -- with KnuthBendix 199μs  -- with FpSemigroup 317μs FpSemigroupInterface 015: set_identity (2/3) . . . 462μs FpSemigroupInterface 016: set_identity (3/3) . . .  -- with ToddCoxeter 152μs  -- with KnuthBendix 132μs  -- with FpSemigroup 259μs FpSemigroupInterface 017: identity . . .  -- with ToddCoxeter 69μs  -- with KnuthBendix 50μs  -- with FpSemigroup 62μs FpSemigroupInterface 018: set_inverses + inverses (1/2) . . .  -- with ToddCoxeter 319μs  -- with KnuthBendix 304μs  -- with FpSemigroup 471μs FpSemigroupInterface 019: set_inverses + inverses (2/2) . . . 600μs FpSemigroupInterface 020: is_obviously_infinite (1/2) . . .  -- with ToddCoxeter 229μs  -- with KnuthBendix 382μs  -- with FpSemigroup 555μs FpSemigroupInterface 021: is_obviously_infinite (2/2) . . . 72μs FpSemigroupInterface 022: is_obviously_finite (1/2) . . .  -- with ToddCoxeter 190μs  -- with KnuthBendix 313μs  -- with FpSemigroup 549μs FpSemigroupInterface 023: is_obviously_finite (2/2) . . . 68μs FpSemigroupInterface 024: to_gap_string (1/3) . . .  -- with ToddCoxeter 60μs  -- with KnuthBendix 48μs  -- with FpSemigroup 161μs FpSemigroupInterface 025: to_gap_string (2/3) . . . 36μs FpSemigroupInterface 026: to_gap_string (3/3) . . . 58μs FroidurePin 016: (BMat8) exception zero generators given . . . 38μs FroidurePin 017: (BMat8) exception word_to_element . . . 137μs FroidurePin 018: (BMat8) exception prefix . . . 5041μs FroidurePin 019: (BMat8) exception suffix . . . 46μs FroidurePin 020: (BMat8) exception first_letter . . . 4769μs FroidurePin 021: (BMat8) exception final_letter . . . 45μs FroidurePin 022: (BMat8) exception current_length . . . 4409μs FroidurePin 023: (BMat8) exception product_by_reduction . . . 3691μs FroidurePin 024: (BMat8) exception fast_product . . . 3531μs FroidurePin 025: (BMat8) exception is_idempotent . . . 718ms FroidurePin 026: (BMat8) copy constructor . . .  -- with fully enumerated 2751ms  -- with partially enumerated 488ms  -- with not enumerated 956ms FroidurePin 027: (BMat8) cbegin/end_rules . . . 63μs FroidurePin 031: (integers) . . . 154μs FroidurePin 039: (pairs of integers) non-trivial user type . . . 30μs FroidurePin 055: (tropical max-plus semiring matrices) . . . 282μs FroidurePin 061: projective max plus matrix . . . 1075μs FroidurePin 062: projective max plus matrix . . . 34μs FroidurePin> 009: small example 2 . . . 50μs FroidurePin> 005: small example 1 . . . 117μs FroidurePin> 007: regular bmat monoid 4 . . . 66ms FroidurePin> 011: small example 3 . . . 583μs FroidurePin> 006: small example 1 . . . 135μs FroidurePin> 008: regular bmat monoid 4 . . . 79ms FroidurePin> 010: small example 2 . . . 43μs FroidurePin> 012: small example 3 . . . 671μs FroidurePin 000: small example 1 . . . 154μs FroidurePin 001: default constructed . . . 116μs FroidurePin 002: small example 2 . . . 50μs FroidurePin 004: exception: is_idempotent . . . 186μs FroidurePin> 033: Example 000 . . . 3506μs FroidurePin> 035: Example 001 . . . 43μs FroidurePin> 032: Example 000 . . . 3197μs FroidurePin> 034: Example 001 . . . 38μs FroidurePin 036: exception: current_position . . . 131μs FroidurePin 037: exception: word_to_element . . . 77μs FroidurePin 038: exception: prefix, suffix, first_letter . . . 27ms FroidurePin> 040: Example 000 . . . 72μs FroidurePin> 041: Example 000 . . . 60μs FroidurePin> 046: Example 005 . . . 183μs FroidurePin> 047: Example 005 . . . 181μs FroidurePin> 048: Example 005 . . . 176μs FroidurePin> 044: Example 004 . . . 30μs FroidurePin> 045: Example 004 . . . 31μs FroidurePin> 049: Example 006 . . . 1003μs FroidurePin> 050: Example 006 . . . 1221μs FroidurePin> 051: Example 006 . . . 1297μs FroidurePin> 052: Example 007 . . . 127μs FroidurePin> 053: Example 007 . . . 147μs FroidurePin> 054: Example 007 . . . 154μs FroidurePin 056: example 1 . . . 195μs FroidurePin 057: example 2 . . . 157μs FroidurePin> 058: . . . 610μs FroidurePin> 059: . . . 50μs FroidurePin> 060: exceptions: add_generator(s) . . . 66μs FroidurePin> 065: no exception zero generators given . . . 15μs FroidurePin> 066: exception generators of different [...] . . . 68μs FroidurePin> 067: exception current_position . . . 48μs FroidurePin> 068: exception word_to_element . . . 50μs FroidurePin> 069: exception gens . . . 693μs FroidurePin> 070: exception prefix . . . 32ms FroidurePin> 071: exception suffix . . . 85ms FroidurePin> 072: exception first_letter . . . 58μs FroidurePin> 073: exception final_letter . . . 55μs FroidurePin> 074: exception current_length . . . 50μs FroidurePin> 075: exception product_by_reduction . . . 501μs FroidurePin> 076: exception fast_product . . . 528μs FroidurePin> 077: exception current_position . . . 605μs FroidurePin> 078: exception is_idempotent . . . 708μs FroidurePin> 079: exception add_generators . . . 41μs FroidurePin> 080: multithread number_of_idempotents . . . 449μs FroidurePin> 081: small semigroup . . . 33μs FroidurePin> 082: large semigroup . . . 6424μs FroidurePin> 083: at, position, current_* . . . 6622μs FroidurePin> 084: run . . . 6209μs FroidurePin> 085: run [many stops and starts] . . . 6341μs FroidurePin> 086: factorisation, length [1 element] . . . 6138μs FroidurePin> 087: factorisation, products [all elements] . . . 8045μs FroidurePin> 088: first/final letter, prefix, suffi [...] . . . 6224μs FroidurePin> 089: current_position [standard] . . . 26μs FroidurePin> 090: current_position [duplicate gens] . . . 12ms FroidurePin> 091: current_position [after add_generators] . . . 6962μs FroidurePin> 092: cbegin_idempotents/cend [1 thread] . . . 7030μs FroidurePin> 093: idempotent_cend/cbegin [1 thread] . . . 7024μs FroidurePin> 094: is_idempotent [1 thread] . . . 6514μs FroidurePin> 096: finished, started . . . 6313μs FroidurePin> 097: current_position . . . 1533μs FroidurePin> 098: sorted_position, sorted_at . . . 8319μs FroidurePin> 099: right/left Cayley graph . . . 34ms FroidurePin> 100: iterator . . . 10ms FroidurePin> 101: reverse iterator . . . 10ms FroidurePin> 102: iterator arithmetic . . . 32ms FroidurePin> 103: iterator sorted . . . 25ms FroidurePin> 104: iterator sorted arithmetic . . . 35ms FroidurePin> 105: copy [not enumerated] . . . 6333μ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] . . . 11ms FroidurePin> 110: copy_add_generators [partly enumerated] . . . 7041μs FroidurePin> 111: copy [fully enumerated] . . . 9678μs FroidurePin> 112: copy_closure [fully enumerated] . . . 10ms FroidurePin> 113: copy_add_generators [fully enumerated] . . . 9681μs FroidurePin> 114: relations [duplicate gens] . . . 190μs FroidurePin> 115: relations . . . 8815μs FroidurePin> 116: relations [copy_closure, duplicat [...] . . . 11ms FroidurePin> 117: relations [copy_add_generators, d [...] . . . 11ms FroidurePin> 118: relations [from copy, not enumerated] . . . 7470μ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 [...] . . . 7480μs FroidurePin> 123: relations [from copy_closure, par [...] . . . 11ms FroidurePin> 124: relations [from copy_add_generato [...] . . . 9395μs FroidurePin> 125: relations [from copy_closure, ful [...] . . . 13ms FroidurePin> 126: relations [from copy_add_generato [...] . . . 12ms FroidurePin> 127: add_generators [duplicate generators] . . . 337μs FroidurePin> 128: add_generators [incremental 1] . . . 447μs FroidurePin> 129: add_generators [incremental 2] . . . 464μs FroidurePin> 130: closure [duplicate generators] . . . 213μs FroidurePin> 131: closure . . . 101μs FroidurePin> 132: factorisation . . . 24μs FroidurePin> 134: minimal_factorisation . . . 53μs FroidurePin> 135: batch_size (for an extremely larg [...] . . . 23μs FroidurePin> 137: exception: generators of differen [...] . . . 31μs FroidurePin> 138: exception: current_position . . . 46μs FroidurePin> 139: exception: word_to_element . . . 46μs FroidurePin> 140: exception: gens, current_position . . . 792μs FroidurePin> 141: exception: add_generators . . . 36μs KBE 000: constructors . . . 45μs KBE 001: test . . . 111μs KBE 002: factorisation . . . 53μs KBE 003: swap . . . 34μs KBE 004: adapters . . . 33μs KBE 005: conversions . . . 31μs Kambites 000: (fpsemi) MT test 4 (std::string) . . . 6563μs Kambites 001: (fpsemi) MT test 4 (MultiStringView) . . . 7416μs Kambites 002: (fpsemi) number_of_pieces (std::string) . . . 162μs Kambites 003: (fpsemi) number_of_pieces (MultiStringView) . . . 116μs Kambites 004: (fpsemi) small_overlap_class (std::string) . . . 3331μs Kambites 005: (fpsemi) small_overlap_class (MultiStringView) . . . 3311μs Kambites 006: (fpsemi) random (std::string) . . . 11ms Kambites 007: (fpsemi) random (MultiStringView) . . . 11ms Kambites 008: (fpsemi) KnuthBendix 055 (std::string) . . . 15ms Kambites 009: (fpsemi) KnuthBendix 055 (MultiStringView) . . . 19ms Kambites 010: (fpsemi) smalloverlap/gap/test.gi:85 (std::string) . . . 87μs Kambites 011: (fpsemi) smalloverlap/gap/test.gi:85 (MultiStr [...] . . . 77μs Kambites 012: (fpsemi) free semigroup . . . 12μs Kambites 013: (fpsemi) smalloverlap/gap/test.gi:49 (std::string) . . . 35ms Kambites 014: (fpsemi) smalloverlap/gap/test.gi:49 (MultiStr [...] . . . 47ms Kambites 015: (fpsemi) smalloverlap/gap/test.gi:63 (std::string) . . . 38ms Kambites 016: (fpsemi) smalloverlap/gap/test.gi:63 (MultiStr [...] . . . 53ms Kambites 017: (fpsemi) smalloverlap/gap/test.gi:70 (std::string) . . . 135ms Kambites 018: (fpsemi) smalloverlap/gap/test.gi:70 (MultiStr [...] . . . 197ms Kambites 021: (fpsemi) code coverage (std::string) . . . 72μs Kambites 022: (fpsemi) code coverage (MultiStringView) . . . 53μs Kambites 023: (fpsemi) prefix (std::string) . . . 74μs Kambites 024: (fpsemi) prefix (MultiStringView) . . . 116μs Kambites 025: (fpsemi) normal_form (Example 3.15) (std::string) . . . 74μs Kambites 026: (fpsemi) normal_form (Example 3.15) (MultiStri [...] . . . 105μs Kambites 027: (fpsemi) normal_form (Example 3.16) (std::string) . . . 53μs Kambites 028: (fpsemi) normal_form (Example 3.16) (MultiStri [...] . . . 78μs Kambites 029: (fpsemi) normal_form (Example 3.16) more exhau [...] . . . 94ms Kambites 030: (fpsemi) normal_form (Example 3.16) more exhau [...] . . . 94ms Kambites 031: (fpsemi) small presentation (std::string) . . . 115μs Kambites 032: (fpsemi) small presentation (MultiStringView) . . . 55μs Kambites 033: (fpsemi) non-smalloverlap (std::string) . . . 82μs Kambites 034: (fpsemi) non-smalloverlap (MultiStringView) . . . 77μs Kambites 035: (fpsemi) MT test 3 (std::string) . . . 55μs Kambites 036: (fpsemi) MT test 3 (MultiStringView) . . . 55μs Kambites 037: (fpsemi) MT test 5 (std::string) . . . 31μs Kambites 038: (fpsemi) MT test 5 (MultiStringView) . . . 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) . . . 38μs Kambites 042: (fpsemi) MT test 10 (MultiStringView) . . . 48μs Kambites 043: (fpsemi) MT test 13 (std::string) . . . 30μs Kambites 044: (fpsemi) MT test 13 (MultiStringView) . . . 33μs Kambites 045: (fpsemi) MT test 14 (std::string) . . . 29μs Kambites 046: (fpsemi) MT test 14 (MultiStringView) . . . 31μs Kambites 047: (fpsemi) MT test 15 (std::string) . . . 58μs Kambites 048: (fpsemi) MT test 15 (MultiStringView) . . . 58μs Kambites 049: (fpsemi) MT test 16 (std::string) . . . 55μs Kambites 050: (fpsemi) MT test 16 (MultiStringView) . . . 64μs Kambites 051: (fpsemi) MT test 17 (std::string) . . . 123μs Kambites 052: (fpsemi) MT test 17 (MultiStringView) . . . 116μs Kambites 053: (fpsemi) weak C(4) not strong x 1 (std::string) . . . 595μs Kambites 054: (fpsemi) weak C(4) not strong x 1 (MultiStringView) . . . 764μs Kambites 055: (fpsemi) weak C(4) not strong x 2 (std::string) . . . 629μs Kambites 056: (fpsemi) weak C(4) not strong x 2 (MultiStringView) . . . 778μs Kambites 057: (fpsemi) weak C(4) not strong x 3 (std::string) . . . 555μs Kambites 058: (fpsemi) weak C(4) not strong x 3 (MultiStringView) . . . 585μs Kambites 059: (fpsemi) weak C(4) not strong x 4 (std::string) . . . 76μs Kambites 060: (fpsemi) weak C(4) not strong x 4 (MultiStringView) . . . 102μ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) . . . 57μ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) . . . 1201ms Kambites 068: (fpsemi) long words (MultiStringView) . . . 47ms Kambites 075: (cong) example 1 . . . 69μs Kambites 076: (cong) example 2 . . . 173μs Kambites 077: (cong) code coverage . . . 6670μs Kambites 078: (cong) large number of rules . . . 227ms KnuthBendix 000: (fpsemi) confluent fp semigroup 1 (infinite) . . . 137μs KnuthBendix 001: (fpsemi) confluent fp semigroup 2 (infinite) . . . 134μs KnuthBendix 002: (fpsemi) confluent fp semigroup 3 (infinite) . . . 101μs KnuthBendix 003: (fpsemi) non-confluent fp semigroup from wi [...] . . . 156μs KnuthBendix 004: (fpsemi) Example 5.1 in Sims (infinite) . . . 137μs KnuthBendix 005: (fpsemi) Example 5.1 in Sims (infinite) . . . 125μs KnuthBendix 006: (fpsemi) Example 5.3 in Sims . . . 116μs KnuthBendix 007: (fpsemi) Example 5.4 in Sims . . . 125μs KnuthBendix 008: (fpsemi) Example 6.4 in Sims (size 168) . . . 8467μs KnuthBendix 009: (fpsemi) . . . 49ms KnuthBendix 010: (fpsemi) SL(2, 7) from Chapter 3, Propositi [...] . . . 83ms KnuthBendix 011: (fpsemi) F(2, 5) - Chapter 9, Section 1 in [...] . . . 442μs KnuthBendix 012: (fpsemi) Reinis example 1 . . . 177μ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 . . . 133μs KnuthBendix 021: (from kbmag/standalone/kb_data/f25monoid) . . . 525μs KnuthBendix 022: (from kbmag/standalone/kb_data/degen4a) . . . 56ms KnuthBendix 023: (from kbmag/standalone/kb_data/torus) . . . 2196μs KnuthBendix 024: (from kbmag/standalone/kb_data/3a6) . . . 258ms KnuthBendix 025: (from kbmag/standalone/kb_data/f2) . . . 53μs KnuthBendix 026: (from kbmag/standalone/kb_data/s16) . . . 71ms KnuthBendix 027: (from kbmag/standalone/kb_data/a4monoid) . . . 71μs KnuthBendix 028: (from kbmag/standalone/kb_data/degen3) . . . 25μ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) . . . 456μs KnuthBendix 032: (from kbmag/standalone/kb_data/237) . . . 582μs KnuthBendix 033: (from kbmag/standalone/kb_data/c2) . . . 18μs KnuthBendix 034: (from kbmag/standalone/kb_data/cosets) . . . 226μ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 . . . 676μs KnuthBendix 039: Example 5.4 in Sims (KnuthBendix 11 again) [...] . . . 196μs KnuthBendix 040: Example 5.4 in Sims (KnuthBendix 11 again) [...] . . . 134μs KnuthBendix 041: operator<< . . . 63μs KnuthBendix 042: confluence_interval . . . 16μs KnuthBendix 043: max_overlap . . . 15μs KnuthBendix 044: (fpsemi) (from kbmag/standalone/kb_data/d22 [...] . . . 1273μs KnuthBendix 045: (fpsemi) (from kbmag/standalone/kb_data/d22 [...] . . . 2387μs KnuthBendix 046: (fpsemi) small example . . . 746μs KnuthBendix 047: code coverage . . . 63μs KnuthBendix 048: small overlap 1 . . . 50μs KnuthBendix 049: (from kbmag/standalone/kb_data/s9) . . . 1564μs KnuthBendix 050: (fpsemi) Chapter 11, Lemma 1.8 (q = 6, r = [...] . . . 670μs KnuthBendix 051: (fpsemi) Chapter 11, Section 2 (q = 6, r = [...] . . . 127μs KnuthBendix 052: (fpsemi) Chapter 8, Theorem 4.2 in NR (infinite) . . . 228μs KnuthBendix 053: (fpsemi) equal_to fp semigroup . . . 68μs KnuthBendix 054: (fpsemi) equal_to free semigroup . . . 55μs KnuthBendix 055: (fpsemi) from GAP smalloverlap gap/test.gi [...] . . . 291μs KnuthBendix 056: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 464μs KnuthBendix 057: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 456μs KnuthBendix 058: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 1294μs KnuthBendix 059: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 2988μs KnuthBendix 060: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 30μs KnuthBendix 061: (fpsemi) Von Dyck (2,3,7) group (infinite) . . . 538μs KnuthBendix 062: (fpsemi) Von Dyck (2,3,7) group - different [...] . . . 4746μs KnuthBendix 063: (fpsemi) rewriting system from KnuthBendixC [...] . . . 415μs KnuthBendix 064: (fpsemi) rewriting system from Congruence 20 . . . 31μs KnuthBendix 065: (fpsemi) (from kbmag/standalone/kb_data/ab2) . . . 121μs KnuthBendix 066: (fpsemi) (from kbmag/standalone/kb_data/d22 [...] . . . 1340μs KnuthBendix 067: (fpsemi) (from kbmag/standalone/kb_data/degen1) . . . 48μs KnuthBendix 068: (fpsemi) (from kbmag/standalone/kb_data/s4) . . . 337μs KnuthBendix 069: (fpsemi) fp semigroup (infinite) . . . 69μs KnuthBendix 070: (fpsemi) Chapter 11, Section 1 (q = 4, r = [...] . . . 2198μs KnuthBendix 071: (fpsemi) Chapter 11, Section 1 (q = 8, r = [...] . . . 108ms KnuthBendix 072: (fpsemi) Chapter 7, Theorem 3.9 in NR (size 240) . . . 3419μs KnuthBendix 073: (fpsemi) F(2, 5) - Chapter 9, Section 1 in [...] . . . 458μs KnuthBendix 074: (fpsemi) F(2, 6) - Chapter 9, Section 1 in NR . . . 449μs KnuthBendix 075: (fpsemi) Chapter 10, Section 4 in NR (infinite) . . . 893μs KnuthBendix 076: (fpsemi) Sym(5) from Chapter 3, Proposition [...] . . . 2968μs KnuthBendix 077: (fpsemi) SL(2, 7) from Chapter 3, Propositi [...] . . . 82ms KnuthBendix 078: (fpsemi) bicyclic monoid (infinite) . . . 67μs KnuthBendix 079: (fpsemi) plactic monoid of degree 2 (infinite) . . . 85μs KnuthBendix 080: (fpsemi) example before Chapter 7, Proposit [...] . . . 74μs KnuthBendix 081: (fpsemi) Chapter 7, Theorem 3.6 in NR (size 243) . . . 822μs KnuthBendix 082: (fpsemi) finite semigroup (size 99) . . . 253μs KnuthBendix 096: Sorouhesh . . . 393μs KnuthBendix 097: (fpsemi) transformation semigroup (size 4) . . . 68μs KnuthBendix 098: (fpsemi) transformation semigroup (size 9) . . . 72μs KnuthBendix 099: (fpsemi) transformation semigroup (size 88) . . . 821μs KnuthBendix 100: internal_string_to_word . . . 40μs KnuthBendix 101: (fpsemi) construct from shared_ptr . . . 809μs KnuthBendix 102: internal_string_to_word . . . 858μs KnuthBendix 103: (cong) free semigroup congruence (5 classes) . . . 110μs KnuthBendix 104: free semigroup congruence (6 classes) . . . 299μs KnuthBendix 105: (cong) free semigroup congruence (16 classes) . . . 353μs KnuthBendix 106: (cong) free semigroup congruence (6 classes) . . . 487μs KnuthBendix 107: (cong) free semigroup congruence (240 classes) . . . 3435μs KnuthBendix 108: (cong) free semigroup congruence (240 classes) . . . 3364μs KnuthBendix 109: (cong) less . . . 4135μs KnuthBendix 110: (cong) less . . . 192ms KnuthBendix 111: (cong) constructors . . . 274ms KnuthBendix 112: (cong) const_contains/contains . . . 242μs KnuthBendix 113: (cong) is_quotient_obviously_finite . . . 23μs KnuthBendix 114: (cong) class_index_to_word . . . 242μs KnuthBendix 115: (cong) quotient_froidure_pin . . . 165μs KnuthBendix 116: (cong) set_number_of_generators . . . 29μs KnuthBendix 117: (cong) number of classes when obv-inf . . . 72μs KnuthBendixCongruenceByPairs 016: non-trivial congruence on [...] . . . 186μs KnuthBendixCongruenceByPairs 017: non-trivial congruence on [...] . . . 186μs KnuthBendixCongruenceByPairs 018: non-trivial congruence on [...] . . . 284μs KnuthBendixCongruenceByPairs 019: non-trivial congruence on [...] . . . 282μs KnuthBendixCongruenceByPairs 020: trivial congruence on a fi [...] . . . 194μs KnuthBendixCongruenceByPairs 021: universal congruence on a [...] . . . 569μs KnuthBendixCongruenceByPairs 022: left congruence on a finit [...] . . . 277μs KnuthBendixCongruenceByPairs 023: finite group, Chapter 11, [...] . . . 4591μs KnuthBendixCongruenceByPairs 024: right congruence on infini [...] . . . 306μs KnuthBendixCongruenceByPairs 025: finite fp semigroup, dihed [...] . . . 309μs KnuthBendixCongruenceByPairs 026: finite fp semigroup, size 16 . . . 362μs KnuthBendixCongruenceByPairs 027: finite fp semigroup, size 16 . . . 1026μs KnuthBendixCongruenceByPairs 028: infinite fp semigroup with [...] . . . 72μs Konieczny 000: test000> . . . 1173μs Konieczny 001: test000> . . . 913μs Konieczny 002: test001> . . . 13ms Konieczny 003: test001> . . . 10ms Konieczny 006: exceptions . . . 48μs Konieczny 007: code coverage . . . 17ms Konieczny 008: code coverage . . . 14ms Konieczny 009: regular elements and idempotents . . . 2139ms Konieczny 010: regular D-class 01 . . . 1913μs Konieczny 011: regular D-class 02 . . . 31ms Konieczny 012: regular D-class 04: contains . . . 1984ms Konieczny 013: non-regular D-classes 01 . . . 1992μs Konieczny 014: RegularDClass . . . 1183μs Konieczny 015: full bmat monoid 4 . . . 277ms Konieczny 017: regular generated bmat monoid 4 idempotents . . . 302ms Konieczny 019: my favourite example . . . 187ms Konieczny 020: another large example . . . 33ms Konieczny 021: my favourite example transposed . . . 235ms Konieczny 024: exceptions . . . 2011μ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 . . . 32ms Konieczny 030: exceptions . . . 218ms Konieczny 031: transformations . . . 984μs Konieczny 032: transformations - JDM favourite example . . . 123ms Konieczny 033: transformations - large example . . . 289ms Konieczny 034: transformations - large example with stop . . . 290ms Konieczny 035: transformations - large example with run_until . . . 290ms Konieczny 036: transformations - large example with stop in Action . . . 289ms Konieczny 037: exceptions . . . 50μs Konieczny 038: transformations: contains . . . 632μs Konieczny 040: transformations - destructor coverage . . . 243ms Konieczny 041: current_number_D_classes . . . 245ms Konieczny 042: add_generator . . . 38μs Konieczny 043: add_generator . . . 25μs Matrix 000: BMat<2> . . . 98μs Matrix 001: BMat<> . . . 86μs Matrix 002: BMat<3> + BMat<> . . . 12μs Matrix 003: BMat<2> + BMat<> . . . 12μs Matrix 004: BMat<3> . . . 12μs Matrix 005: BMat<> . . . 13μs Matrix 006: BMat<3> row_basis . . . 40μs Matrix 007: BMat<> row_basis . . . 43μs Matrix 008: IntMat<3> . . . 15μs Matrix 009: IntMat<> . . . 19μs Matrix 010: IntMat code cov . . . 10μs Matrix 011: MaxPlusMat<3> . . . 13μs Matrix 012: MaxPlusMat<> . . . 15μs Matrix 013: MaxPlusMat code cov . . . 9000ns Matrix 014: MinPlusMat<3> . . . 16μs Matrix 015: MinPlusMat<> . . . 20μs Matrix 016: MinPlusMat code cov . . . 9000ns Matrix 017: MaxPlusTruncMat<5, 2> . . . 25μs Matrix 018: MaxPlusTruncMat<5> . . . 19μs Matrix 019: MaxPlusTruncMat<> . . . 31μs Matrix 020: MaxPlusTruncMat<5, 4> . . . 19μs Matrix 021: MaxPlusTruncMat<5> . . . 20μs Matrix 022: MaxPlusTruncMat<> . . . 19μs Matrix 023: MaxPlusTruncMat<33, 3> . . . 31μs Matrix 024: MaxPlusTruncMat<33> . . . 31μs Matrix 025: MaxPlusTruncMat<> . . . 30μs Matrix 026: MaxPlusMat code cov . . . 10μs Matrix 027: MinPlusTruncMat<33, 3> . . . 33μ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> . . . 16μs Matrix 032: NTPMat<> . . . 34μs Matrix 033: NTPMat<0, 10, 4, 4> . . . 26μs Matrix 034: NTPMat<0, 10> . . . 26μ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<> . . . 18μs Matrix 039: NTPMat<33, 2, 3, 3> . . . 16μs Matrix 040: NTPMat<33, 2> . . . 15μs Matrix 041: NTPMat<> . . . 15μs Matrix 042: ProjMaxPlusMat<3> . . . 92μs Matrix 043: ProjMaxPlusMat<> . . . 66μs Matrix 044: exceptions . . . 38μs Matrix 045: code coverage . . . 43μs MultiStringView 000: catch all . . . 45μs MultiStringView 001: is_prefix . . . 15μs MultiStringView 002: erase . . . 16μs MultiStringView 003: iterators . . . 12μs MultiStringView 004: constructors (long) . . . 20μs MultiStringView 005: constructors (short) . . . 15μs MultiStringView 006: copy assignment (short assigned to long) . . . 12μs MultiStringView 007: copy assignment (short assigned to short) . . . 12μs MultiStringView 008: move assignment (short assigned to long) . . . 12μs MultiStringView 009: move assignment (short assigned to short) . . . 12μs MultiStringView 010: code coverage . . . 20μs MultiStringView 011: pop_front . . . 66μs MultiStringView 012: append . . . 26μs MultiStringView 013: operators . . . 15μs MultiStringView 014: maximum_common_suffix . . . 13μs MultiStringView 015: deep tests . . . 10μs ObviouslyInfinite 011: Multiple rule additions . . . 38μs ObviouslyInfinite 012: A power of the generator 'b' does not [...] . . . 12μs ObviouslyInfinite 013: Preserves the number of occurences of [...] . . . 12μs ObviouslyInfinite 014: Less relations than generators . . . 10μs ObviouslyInfinite 015: Relations preserve length . . . 12μs ObviouslyInfinite 016: Matrix has non empty kernel . . . 13μs ObviouslyInfinite 017: Free product of trivial semigroups . . . 12μs ObviouslyInfinite 018: Another free product . . . 13μs ObviouslyInfinite 019: Infinite but not obviously so . . . 12μs ObviouslyInfinite 020: Finite semigroup . . . 15μs PBR 001: universal product with convenience constructor . . . 45μs PBR 002: universal product . . . 19μs PBR 003: product [bigger than previous] . . . 27μs PBR 004: hash . . . 10μs PBR 005: delete/copy . . . 19μs PBR 006: exceptions . . . 158μs PBR 007: operators . . . 67μs PBR 008: to_string . . . 21μs PBR 009: identity . . . 43μs PBR 010: adapters . . . 10μs Pool 000: initial . . . 26μs Pool 001: bmat . . . 25μs Pool 002: PoolGuard . . . 21μs Pool 003: transformation products . . . 13μs Presentation 000: vectors of ints . . . 83μs Presentation 001: strings . . . 73μs Presentation 002: constructors (word_type) . . . 23μs Presentation 003: constructors (StaticVector1) . . . 27μs Presentation 004: constructors (std::string) . . . 21μs Presentation 005: alphabet + letters (word_type) . . . 119μs Presentation 006: alphabet + letters (std::string) . . . 38μs Presentation 007: contains_empty_word . . . 12μs Presentation 008: validate_rules throws . . . 46μs Presentation 009: helpers add_rule(s) . . . 92μs Presentation 010: helpers add_rule(s) (std::string) . . . 38μs Presentation 011: helpers add_identity_rules (std::vector/St [...] . . . 43μs Presentation 012: helpers add_identity_rules (std::string) . . . 26μs Presentation 013: helpers add_inverse_rules (all) . . . 202μs Presentation 014: helpers add_inverse_rules (std::string) . . . 48μs Presentation 015: helpers remove_duplicate_rules . . . 67μs Presentation 016: helpers reduce_complements . . . 138μs Presentation 017: helpers sort_each_rule . . . 63μs Presentation 018: helpers sort_rules . . . 67μs Presentation 019: helpers longest_common_subword/replace_subword . . . 306μs Presentation 020: helpers redundant_rule . . . 5504μs Presentation 021: helpers shortlex_compare_concat . . . 12μs Presentation 022: helpers remove_trivial_rules . . . 71μs Presentation 023: helpers replace_subword (existing, replacement) . . . 101μs Presentation 024: helpers longest_rule . . . 119μs Presentation 025: helpers longest_rule_length . . . 105μs Presentation 026: helpers remove_redundant_generators . . . 154μs Presentation 027: helpers reverse . . . 21μs Presentation 028: in_alphabet . . . 23μs Presentation 029: replace_subword with empty word . . . 23μs Presentation 030: helpers replace_word . . . 38μ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 . . . 1010μs Runner 002: run_for . . . 192ms Runner 003: run_for . . . 25ms Runner 004: started . . . 1030μs Runner 005: run_until . . . 9227μs Runner 006: kill . . . 26μ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) . . . 64μs SchreierSims 002: trivial perm. group (degree 2) . . . 29μs SchreierSims 003: trivial perm. group (degree 500) . . . 291μs SchreierSims 004: symmetric perm. group (degree 5) . . . 48μs SchreierSims 005: symmetric perm. group (degree 8) . . . 82μs SchreierSims 006: symmetric perm. group (degree 9) . . . 134μs SchreierSims 007: alternating perm. group (degree 12) . . . 189μs SchreierSims 008: symmetric perm. group (degree 16) . . . 1719μs SchreierSims 009: alternating perm. group (degree 15) . . . 766μs SchreierSims 010: alternating perm. group (degree 16) . . . 1796μs SchreierSims 011: dihedral perm. group (order 10) . . . 33μs SchreierSims 012: dihedral perm. group (order 200) . . . 2053μs SchreierSims 013: perm. group T (order 12) . . . 36μs SchreierSims 014: quaternion perm. group (order 8) . . . 38μs SchreierSims 015: perm. group (order 84129611558952960) . . . 296ms SchreierSims 016: perm. group SL(3, 5) (order 372000) . . . 1528μs SchreierSims 017: perm. group PSL(4, 8) (order 34558531338240) . . . 115ms SchreierSims 018: perm. Mathieu group M11 (order 7920) . . . 98μs SchreierSims 019: perm. Mathieu group M24 (order 244823040) . . . 295μs SchreierSims 020: perm. Janko Group J1 (order 175560) . . . 3132μs SchreierSims 021: perm. Hall-Janko group (order 604800) . . . 510μs SchreierSims 022: perm. Hall-Janko group (alt.) (order 604800) . . . 29ms SchreierSims 023: perm. Conway group Co3 (order 495766656000) . . . 9017μs SchreierSims 024: perm. Conway group Co3 (alt.) (order 49576 [...] . . . 18ms SchreierSims 025: perm. Suzuki group (order 448345497600) . . . 90ms SchreierSims 027: perm. Held group (order 4030387200) . . . 138ms SchreierSims 028: perm. group C2 x C2 x C2 (order 8) . . . 26μs SchreierSims 029: perm. group C2 x C2 x C2 x C2 (order 16) . . . 31μs SchreierSims 030: perm. group (S5 x S5) : C2 (order 28800) . . . 66μs SchreierSims 031: perm. group C3 x D8 x A5 (order 1440) . . . 66μs SchreierSims 032: perm. group GL(4, 3) (order 24261120) . . . 742μs SchreierSims 033: perm. group PSL(3, 7) (order 1876896) . . . 720μs SchreierSims 037: symmetric perm. group (degree 5) . . . 29μs SchreierSims 038: alternating perm. group (degree 17) . . . 3943μs SchreierSims 039: exceptions . . . 109μs SchreierSims 040: exceptions . . . 51μs SchreierSims 041: trivial group . . . 36μs SchreierSims 042: A17 bug . . . 3481μs SchreierSims 043: orbits_lookup test . . . 580μs SchreierSims 044: transversal_element and inversal_element test . . . 1628μs SchreierSimsHelper 001: trivial perm. group intersection (de [...] . . . 19μs SchreierSimsHelper 002: trivial perm. group intersection (de [...] . . . 25μs SchreierSimsHelper 003: cyclic group intersection (degree 13) . . . 30μs SchreierSimsHelper 004: D10 and Z5 intersection . . . 46μs SchreierSimsHelper 005: D8 and Q8 intersection . . . 26μs SchreierSimsHelper 006: primitive on 8 points intersection . . . 71μs SchreierSimsHelper 007: primitive on 8 points intersection ( [...] . . . 67μs SchreierSimsHelper 008: A13 and PGL(2, 11) intersection . . . 610μs SchreierSimsHelper 009: A13 and PGL(2, 11) intersection (swa [...] . . . 600μs SchreierSimsHelper 012: 3^3:13 and 3^3.2.A(4) intersection . . . 184μs SchreierSimsHelper 015: 3^3(S(4) x 2) and ASL(3, 3) intersection . . . 348μs SchreierSimsHelper 016: 7^2:3 x Q(8) and 7^2:D(2*6) intersection . . . 471μs SchreierSimsHelper 018: D(2*53) and 53:13 intersection . . . 280μs SchreierSimsHelper 019: 2^6:(7 x D_14) and PSL(2, 6)^2.4 int [...] . . . 1979μs SchreierSimsHelper 020: 2^6:(S_3 x GL(3, 2)) and 2.6:Alt(7) [...] . . . 6303μs SchreierSimsHelper 022: PSL(2, 127) and AGL(1, 2^7) intersection . . . 10ms SchreierSimsHelper 023: PSL(3, 4).2 and PSL(3, 4).2 (nontriv [...] . . . 2024μs SchreierSimsHelper 024: PSL(3, 4).Sym(3) and PSL(3, 4).2 int [...] . . . 2314μs SchreierSimsHelper 025: 3^4:5:4 and D_16:4 intersection . . . 1191μs Sims1 000: fp example 1 . . . 947μs Sims1 001: fp example 2 . . . 1595μs Sims1 002: ToddCoxeter failing example . . . 12ms Sims1 003: ToddCoxeter failing example . . . 657μs Sims1 004: partition_monoid(2) right . . . 4995μs Sims1 006: full_transformation_monoid(3) right . . . 5566μs Sims1 007: full_transformation_monoid(3) left . . . 3122μs Sims1 009: rook_monoid(2, 1) . . . 92μs Sims1 010: symmetric_inverse_monoid(2) from FroidurePin . . . 102μs Sims1 011: symmetric_inverse_monoid(3) . . . 4832μs Sims1 014: temperley_lieb_monoid(3) from presentation . . . 78μs Sims1 015: temperley_lieb_monoid(4) from presentation . . . 640μs Sims1 016: fp semigroup containing given pairs #1 . . . 280μs Sims1 017: fp semigroup containing given pairs #2 . . . 284μs Sims1 018: fp semigroup containing given pairs #3 . . . 449μs Sims1 019: ToddCoxeter failing example . . . 960μs Sims1 020: fp example 2 . . . 2024μs Sims1 021: exceptions . . . 236μs Sims1 027: from https://mathoverflow.net/questions/423541/ . . . 20ms Sims1 028: from https://mathoverflow.net/questions/423541/ . . . 16ms Sims1 030: presentation with one free generator . . . 203μs Sims1 031: presentation with non-zero index generators . . . 60μs Sims1 032: presentation with empty word . . . 6735μs Sims1 033: constructors . . . 1013μs Sims1 034: split_at . . . 194μs Sims1 035: stats . . . 80μs Sims1 036: check iterator requirements . . . 126μs Sims1 040: TransitiveGroup(10, 32) - minimal rep . . . 2727μs Sims1 043: rectangular_band(2, 2) - with and without identity . . . 183μs Sims1 044: trivial group - minimal o.r.c. rep . . . 95μs Sims1 045: right zero semigroup - minimal o.r.c. rep . . . 1812μs Sims1 046: semigroup with faithful non-strictly cyclic actio [...] . . . 583μs Sims1 068: RepOrc . . . 22ms Sims1 069: fp example 1 . . . 407μs #0: Sims1: using 0 additional threads #0: Sims1: finding congruences with at most 4 classes #0: Sims1: using 2 generators, and 0 short relations u = v with: #0: Sims1: |u| + |v| ∈ [0, 0] and ∑(|u| + |v|) = 0 #0: Sims1: found 5,477 congruences in 1107μs (202ns 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 . . . 1178μs Sims1 072: symmetric_group(n) for n = 4 . . . 1178μs Sims1 073: corner case no generators + no relations . . . 87μs SmallestInteger 001: . . . 12μs StaticTriVector2 045: all . . . 19μs StaticVector2 043: all . . . 18μs Suf 005: unite . . . 23μs Suf 007: compress . . . 12μs Suf 011: big chain . . . 18ms Suf 013: empty table . . . 10μs Suf 015: join . . . 12μs Suf 017: contains . . . 29μs Suf 019: swap . . . 30μs SuffixTree 000: basic tests . . . 75ms SuffixTree 001: maximal_piece_prefix 1 . . . 53μs SuffixTree 002: maximal_piece_prefix 2 . . . 41μs SuffixTree 003: maximal_piece_prefix 3 . . . 255μs SuffixTree 004: number_of_pieces . . . 66μs SuffixTree 005: traverse . . . 20μs SuffixTree 006: tikz . . . 824μs SuffixTree 007: strings . . . 123μs SuffixTree 008: dot . . . 74μs SuffixTree 009: dfs #01 . . . 58μs SuffixTree 010: dfs #02 . . . 55μs SuffixTree 011: dfs #03 . . . 57μs SuffixTree 012: dfs #04 . . . 107μs SuffixTree 013: dfs #05 . . . 85μs SuffixTree 014: dfs #06 . . . 76μs SuffixTree 015: dfs #07 . . . 123μs SuffixTree 016: dfs #08 . . . 95μs SuffixTree 017: dfs #09 . . . 117μs SuffixTree 018: dfs #10 . . . 53μs Timer 001: string method (1 argument) . . . 41μ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 1250μs  -- with HLT + standardise + full lookahead + no save 1196μs  -- with HLT + no standardise + partial lookahead + no save 1160μs  -- with HLT + standardise + partial lookahead + no save 1198μs  -- with HLT + no standardise + full lookahead + save 1196μs  -- with HLT + standardise + full lookahead + save 1226μs  -- with HLT + no standardise + partial lookahead + save 1232μs  -- with HLT + standardise + partial lookahead + save 1227μs  -- with Felsch + no standardisation 1297μs  -- with Felsch + standardisation 1198μs  -- with random strategy 1263μs  -- with Rc style + full lookahead 1226μs  -- with Rc style + partial lookahead 1211μs  -- with R/C style 1232μs  -- with CR style 1291μs  -- with Cr style 1480μs ToddCoxeter 001: small 2-sided congruence . . .  -- with HLT + no standardise + full lookahead + no save 5657μs  -- with HLT + standardise + full lookahead + no save 5634μs  -- with HLT + no standardise + partial lookahead + no save 5643μs  -- with HLT + standardise + partial lookahead + no save 5657μs  -- with HLT + no standardise + full lookahead + save 5647μs  -- with HLT + standardise + full lookahead + save 5663μs  -- with HLT + no standardise + partial lookahead + save 5651μs  -- with HLT + standardise + partial lookahead + save 5631μs  -- with Felsch + no standardisation 5550μs  -- with Felsch + standardisation 5918μs  -- with random strategy 5564μs  -- with Rc style + full lookahead 5479μs  -- with Rc style + partial lookahead 5459μs  -- with R/C style 5461μs  -- with CR style 5494μs  -- with Cr style 5479μs ToddCoxeter 003: constructed from FroidurePin . . .  -- with Felsch + no standardisation 617ms  -- with Felsch + standardisation 1090ms  -- with HLT + no standardise + full lookahead + no save 473ms  -- with HLT + standardise + full lookahead + no save 1006ms  -- with HLT + no standardise + partial lookahead + no save 797ms  -- with HLT + standardise + partial lookahead + no save 1761ms  -- with HLT + no standardise + full lookahead + save 1276ms  -- with HLT + standardise + full lookahead + save 634ms  -- with HLT + no standardise + partial lookahead + save 647ms  -- with HLT + standardise + partial lookahead + save 619ms  -- with random strategy 893ms  -- with Rc style + full lookahead 622ms  -- with Rc style + partial lookahead 973ms  -- with R/C style 1153ms  -- with CR style 832ms  -- with Cr style 964ms ToddCoxeter 004: 2-sided congruence from FroidurePin . . .  -- with HLT + no standardise + full lookahead + no save 215μs  -- with HLT + standardise + full lookahead + no save 181μs  -- with HLT + no standardise + partial lookahead + no save 174μs  -- with HLT + standardise + partial lookahead + no save 178μs  -- with HLT + save (throws) 223μs  -- with Felsch (throws) 185μs  -- with random strategy 176μs ToddCoxeter 005: non-trivial two-sided from relations . . .  -- with HLT + no standardise + full lookahead + no save 58μs  -- with HLT + standardise + full lookahead + no save 46μ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 58μs  -- with HLT + standardise + full lookahead + save 57μs  -- with HLT + no standardise + partial lookahead + save 55μs  -- with HLT + standardise + partial lookahead + save 57μs  -- with Felsch + no standardisation 50μs  -- with Felsch + standardisation 48μs  -- with random strategy 53μs  -- with Rc style + full lookahead 46μs  -- with Rc style + partial lookahead 45μs  -- with R/C style 46μs  -- with CR style 50μs  -- with Cr style 48μs ToddCoxeter 006: small right cong. on free semigroup . . .  -- with HLT + no standardise + full lookahead + no save 43μs  -- with HLT + standardise + full lookahead + no save 36μs  -- with HLT + no standardise + partial lookahead + no save 36μ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 38μ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 40μs  -- with random strategy 41μs  -- with Rc style + full lookahead 36μs  -- with Rc style + partial lookahead 36μs  -- with R/C style 38μs  -- with CR style 40μs  -- with Cr style 38μs ToddCoxeter 007: left cong. on free semigroup . . .  -- with HLT + no standardise + full lookahead + no save 46μs  -- with HLT + standardise + full lookahead + no save 40μs  -- with HLT + no standardise + partial lookahead + no save 38μs  -- with HLT + standardise + partial lookahead + no save 38μs  -- with HLT + no standardise + full lookahead + save 45μs  -- with HLT + standardise + full lookahead + save 43μs  -- with HLT + no standardise + partial lookahead + save 46μs  -- with HLT + standardise + partial lookahead + save 43μs  -- with Felsch + no standardisation 45μs  -- with Felsch + standardisation 45μs  -- with random strategy 46μs  -- with Rc style + full lookahead 43μs  -- with Rc style + partial lookahead 41μs  -- with R/C style 41μs  -- with CR style 46μs  -- with Cr style 45μs ToddCoxeter 008: for small fp semigroup . . .  -- with HLT + no standardise + full lookahead + no save 41μs  -- with HLT + standardise + full lookahead + no save 36μs  -- with HLT + no standardise + partial lookahead + no save 33μ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 38μ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 43μs  -- with Rc style + full lookahead 382μs  -- with Rc style + partial lookahead 38μs  -- with R/C style 38μs  -- with CR style 45μs  -- with Cr style 41μs ToddCoxeter 009: 2-sided cong. trans. semigroup . . .  -- with HLT + no standardise + full lookahead + no save 246μs  -- with HLT + standardise + full lookahead + no save 215μs  -- with HLT + no standardise + partial lookahead + no save 206μs  -- with HLT + standardise + partial lookahead + no save 212μs  -- with HLT + no standardise + full lookahead + save 576μs  -- with HLT + standardise + full lookahead + save 561μs  -- with HLT + no standardise + partial lookahead + save 592μs  -- with HLT + standardise + partial lookahead + save 554μs  -- with Felsch + no standardisation 515μs  -- with Felsch + standardisation 494μs  -- with random strategy 231μs  -- with Rc style + full lookahead 222μs  -- with Rc style + partial lookahead 219μs  -- with R/C style 225μs  -- with CR style 525μs  -- with Cr style 506μs ToddCoxeter 010: left congruence on transformation semigroup . . .  -- with HLT + no standardise + full lookahead + no save 248μs  -- with HLT + standardise + full lookahead + no save 251μs  -- with HLT + no standardise + partial lookahead + no save 236μs  -- with HLT + standardise + partial lookahead + no save 248μs  -- with HLT + no standardise + full lookahead + save 612μs  -- with HLT + standardise + full lookahead + save 605μs  -- with HLT + no standardise + partial lookahead + save 596μs  -- with HLT + standardise + partial lookahead + save 600μs  -- with Felsch + no standardisation 552μs  -- with Felsch + standardisation 520μs  -- with random strategy 665μs  -- with Rc style + full lookahead 273μs  -- with Rc style + partial lookahead 266μs  -- with R/C style 304μs  -- with CR style 679μs  -- with Cr style 556μs ToddCoxeter 011: right cong. trans. semigroup . . .  -- with HLT + no standardise + full lookahead + no save 259μs  -- with HLT + standardise + full lookahead + no save 262μs  -- with HLT + no standardise + partial lookahead + no save 248μs  -- with HLT + standardise + partial lookahead + no save 257μs  -- with HLT + no standardise + full lookahead + save 601μs  -- with HLT + standardise + full lookahead + save 608μs  -- with HLT + no standardise + partial lookahead + save 578μs  -- with HLT + standardise + partial lookahead + save 578μs  -- with Felsch + no standardisation 460μs  -- with Felsch + standardisation 561μs  -- with random strategy 302μs  -- with Rc style + full lookahead 282μs  -- with Rc style + partial lookahead 297μs  -- with R/C style 306μs  -- with CR style 487μs  -- with Cr style 473μs ToddCoxeter 012: trans. semigroup (size 88) . . .  -- with HLT + no standardise + full lookahead + no save 171μs  -- with HLT + standardise + full lookahead + no save 139μs  -- with HLT + no standardise + partial lookahead + no save 135μs  -- with HLT + standardise + partial lookahead + no save 139μs  -- with HLT + save (throws) 151μs  -- with Felsch (throws) 146μs  -- with random strategy 152μs ToddCoxeter 013: left cong. on trans. semigroup (size 88) . . .  -- with HLT + no standardise + full lookahead + no save 210μs  -- with HLT + standardise + full lookahead + no save 213μs  -- with HLT + no standardise + partial lookahead + no save 197μs  -- with HLT + standardise + partial lookahead + no save 211μs  -- with HLT + no standardise + full lookahead + save 586μs  -- with HLT + standardise + full lookahead + save 574μs  -- with HLT + no standardise + partial lookahead + save 551μs  -- with HLT + standardise + partial lookahead + save 569μs  -- with Felsch + no standardisation 520μs  -- with Felsch + standardisation 492μs  -- with random strategy 257μs  -- with Rc style + full lookahead 236μs  -- with Rc style + partial lookahead 235μs  -- with R/C style 262μs  -- with CR style 540μs  -- with Cr style 522μs ToddCoxeter 014: right cong. on trans. semigroup (size 88) . . .  -- with HLT + no standardise + full lookahead + no save 222μs  -- with HLT + standardise + full lookahead + no save 226μs  -- with HLT + no standardise + partial lookahead + no save 215μs  -- with HLT + standardise + partial lookahead + no save 220μs  -- with HLT + no standardise + full lookahead + save 571μs  -- with HLT + standardise + full lookahead + save 550μs  -- with HLT + no standardise + partial lookahead + save 525μs  -- with HLT + standardise + partial lookahead + save 537μs  -- with Felsch + no standardisation 422μs  -- with Felsch + standardisation 436μs  -- with random strategy 271μs  -- with Rc style + full lookahead 259μs  -- with Rc style + partial lookahead 248μs  -- with R/C style 271μs  -- with CR style 447μs  -- with Cr style 429μs ToddCoxeter 015: finite fp-semigroup, dihedral group of order 6 . . .  -- with HLT + no standardise + full lookahead + no save 83μs  -- with HLT + standardise + full lookahead + no save 77μs  -- with HLT + no standardise + partial lookahead + no save 71μs  -- with HLT + standardise + partial lookahead + no save 73μs  -- with HLT + no standardise + full lookahead + save 96μs  -- with HLT + standardise + full lookahead + save 92μs  -- with HLT + no standardise + partial lookahead + save 90μs  -- with HLT + standardise + partial lookahead + save 92μs  -- with Felsch + no standardisation 86μs  -- with Felsch + standardisation 81μs  -- with random strategy 88μs  -- with Rc style + full lookahead 73μs  -- with Rc style + partial lookahead 72μs  -- with R/C style 72μs  -- with CR style 82μs  -- with Cr style 80μs ToddCoxeter 016: finite fp-semigroup, size 16 . . .  -- with HLT + no standardise + full lookahead + no save 82μs  -- with HLT + standardise + full lookahead + no save 76μs  -- with HLT + no standardise + partial lookahead + no save 72μs  -- with HLT + standardise + partial lookahead + no save 72μs  -- with HLT + no standardise + full lookahead + save 156μs  -- with HLT + standardise + full lookahead + save 149μs  -- with HLT + no standardise + partial lookahead + save 149μs  -- with HLT + standardise + partial lookahead + save 162μs  -- with Felsch + no standardisation 138μs  -- with Felsch + standardisation 131μs  -- with random strategy 141μs  -- with Rc style + full lookahead 78μs  -- with Rc style + partial lookahead 77μs  -- with R/C style 82μs  -- with CR style 132μs  -- with Cr style 131μs ToddCoxeter 017: finite fp-semigroup, size 16 . . .  -- with HLT + no standardise + full lookahead + no save 156μs  -- with HLT + standardise + full lookahead + no save 147μs  -- with HLT + no standardise + partial lookahead + no save 163μs  -- with HLT + standardise + partial lookahead + no save 143μs  -- with HLT + no standardise + full lookahead + save 349μs  -- with HLT + standardise + full lookahead + save 335μs  -- with HLT + no standardise + partial lookahead + save 308μs  -- with HLT + standardise + partial lookahead + save 353μs  -- with Felsch + no standardisation 288μs  -- with Felsch + standardisation 280μs  -- with random strategy 306μs  -- with Rc style + full lookahead 160μs  -- with Rc style + partial lookahead 148μs  -- with R/C style 157μs  -- with CR style 280μs  -- with Cr style 284μs ToddCoxeter 018: test lookahead . . .  -- with HLT + no standardise + full lookahead + no save 317μs  -- with HLT + standardise + full lookahead + no save 311μs  -- with HLT + no standardise + partial lookahead + no save 279μs  -- with HLT + standardise + partial lookahead + no save 304μs  -- with HLT + no standardise + full lookahead + save 519μs  -- with HLT + standardise + full lookahead + save 510μs  -- with HLT + no standardise + partial lookahead + save 493μs  -- with HLT + standardise + partial lookahead + save 501μs ToddCoxeter 019: non-trivial left cong. from semigroup . . .  -- with HLT + no standardise + full lookahead + no save 136μs  -- with HLT + standardise + full lookahead + no save 135μs  -- with HLT + no standardise + partial lookahead + no save 124μs  -- with HLT + standardise + partial lookahead + no save 131μs  -- with HLT + save (throws) 139μs  -- with Felsch (throws) 135μs  -- with random strategy 144μs ToddCoxeter 020: 2-sided cong. on free semigroup . . .  -- with HLT + no standardise + full lookahead + no save 26μ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 26μs  -- with HLT + no standardise + partial lookahead + save 20μs  -- with HLT + standardise + partial lookahead + save 20μs  -- with Felsch + no standardisation 20μs  -- with Felsch + standardisation 20μs  -- with random strategy 20μs ToddCoxeter 021: calling run when obviously infinite . . .  -- with HLT + no standardise + full lookahead + no save 48μs  -- with HLT + standardise + full lookahead + no save 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 34μs  -- with Felsch + no standardisation 36μs  -- with Felsch + standardisation 38μs  -- with random strategy 36μs ToddCoxeter 022: stellar_monoid S3 . . .  -- with HLT + no standardise + full lookahead + no save 132μs  -- with HLT + standardise + full lookahead + no save 124μs  -- with HLT + no standardise + partial lookahead + no save 112μs  -- with HLT + standardise + partial lookahead + no save 119μs  -- with HLT + no standardise + full lookahead + save 226μs  -- with HLT + standardise + full lookahead + save 222μs  -- with HLT + no standardise + partial lookahead + save 209μs  -- with HLT + standardise + partial lookahead + save 213μs  -- with Felsch + no standardisation 202μs  -- with Felsch + standardisation 189μs  -- with random strategy 197μs  -- with Rc style + full lookahead 128μs  -- with Rc style + partial lookahead 120μs  -- with R/C style 125μs  -- with CR style 192μs  -- with Cr style 204μ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 33μs  -- with HLT + standardise + partial lookahead + no save 34μ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 36μs  -- with Felsch + no standardisation 36μs  -- with Felsch + standardisation 36μs  -- with random strategy 36μs  -- with Rc style + full lookahead 34μs  -- with Rc style + partial lookahead 33μs  -- with R/C style 33μs  -- with CR style 40μs  -- with Cr style 38μs ToddCoxeter 024: exceptions . . .  -- with HLT + no standardise + full lookahead + no save 184μs  -- with HLT + standardise + full lookahead + no save 164μs  -- with HLT + no standardise + partial lookahead + no save 162μs  -- with HLT + standardise + partial lookahead + no save 162μs  -- with HLT + no standardise + full lookahead + save 167μs  -- with HLT + standardise + full lookahead + save 165μs  -- with HLT + no standardise + partial lookahead + save 167μs  -- with HLT + standardise + partial lookahead + save 164μs  -- with Felsch + no standardisation 165μs  -- with Felsch + standardisation 171μs  -- with random strategy 164μs  -- with Rc style + full lookahead 163μs  -- with Rc style + partial lookahead 162μs  -- with R/C style 161μs  -- with CR style 202μs  -- with Cr style 165μs ToddCoxeter 025: obviously infinite . . .  -- with HLT + no standardise + full lookahead + no save 48μs  -- with HLT + standardise + full lookahead + no save 41μs  -- with HLT + no standardise + partial lookahead + no save 41μs  -- with HLT + standardise + partial lookahead + no save 41μs  -- with HLT + no standardise + full lookahead + save 41μs  -- with HLT + standardise + full lookahead + save 41μs  -- with HLT + no standardise + partial lookahead + save 41μs  -- with HLT + standardise + partial lookahead + save 41μs  -- with Felsch + no standardisation 41μs  -- with Felsch + standardisation 41μs  -- with random strategy 40μs ToddCoxeter 026: exceptions . . .  -- with HLT + no standardise + full lookahead + no save 111μs  -- with HLT + standardise + full lookahead + no save 98μs  -- with HLT + no standardise + partial lookahead + no save 96μs  -- with HLT + standardise + partial lookahead + no save 96μs  -- with HLT + no standardise + full lookahead + save 107μs  -- with HLT + standardise + full lookahead + save 103μs  -- with HLT + no standardise + partial lookahead + save 101μs  -- with HLT + standardise + partial lookahead + save 102μs  -- with Felsch + no standardisation 101μs  -- with Felsch + standardisation 103μs  -- with random strategy 106μs  -- with Rc style + full lookahead 98μs  -- with Rc style + partial lookahead 98μs  -- with R/C style 98μs  -- with CR style 102μs  -- with Cr style 106μs ToddCoxeter 027: empty . . . 58μs ToddCoxeter 028: congruence of fpsemigroup::ToddCoxeter . . .  -- with HLT + no standardise + full lookahead + no save 158μs  -- with HLT + standardise + full lookahead + no save 135μs  -- with HLT + no standardise + partial lookahead + no save 132μs  -- with HLT + standardise + partial lookahead + no save 131μs  -- with HLT + save (throws) 154μs  -- with Felsch (throws) 138μs  -- with random strategy 138μs  -- with HLT + no standardise + full lookahead + save 133μs  -- with HLT + standardise + full lookahead + save 139μs  -- with HLT + no standardise + partial lookahead + save 135μs  -- with HLT + standardise + partial lookahead + save 132μs  -- with Felsch + no standardisation 132μs  -- with Felsch + standardisation 132μs  -- with Rc style + full lookahead 125μs  -- with Rc style + partial lookahead 125μs  -- with R/C style 125μs  -- with CR style 127μs  -- with Cr style 127μs ToddCoxeter 029: !KnuthBendix.started() . . .  -- with HLT + no standardise + full lookahead + no save and 2-sided 90μs  -- with HLT + standardise + full lookahead + no save and 2-sided 63μs  -- with HLT + no standardise + partial lookahead + no save and 2-sided 60μs  -- with HLT + standardise + partial lookahead + no save and 2-sided 58μs  -- with HLT + no standardise + full lookahead + save and 2-sided 64μs  -- with HLT + standardise + full lookahead + save and 2-sided 66μs  -- with HLT + no standardise + partial lookahead + save and 2-sided 63μs  -- with HLT + standardise + partial lookahead + save and 2-sided 62μs  -- with Felsch + no standardisation and 2-sided 62μs  -- with Felsch + standardisation and 2-sided 60μs  -- with random strategy and 2-sided 66μs  -- with HLT + no standardise + full lookahead + no save and left 63μ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 58μs  -- with HLT + no standardise + full lookahead + save and left 67μs  -- with HLT + standardise + full lookahead + save and left 68μs  -- with HLT + no standardise + partial lookahead + save and left 67μs  -- with HLT + standardise + partial lookahead + save and left 71μs  -- with Felsch + no standardisation and left 67μs  -- with Felsch + standardisation and left 63μs  -- with random strategy and left 62μs  -- with HLT + no standardise + full lookahead + no save and right 60μs  -- with HLT + standardise + full lookahead + no save and right 57μs  -- with HLT + no standardise + partial lookahead + no save and right 60μs  -- with HLT + standardise + partial lookahead + no save and right 57μs  -- with HLT + no standardise + full lookahead + save and right 64μs  -- with HLT + standardise + full lookahead + save and right 64μs  -- with HLT + no standardise + partial lookahead + save and right 63μs  -- with HLT + standardise + partial lookahead + save and right 64μs  -- with Felsch + no standardisation and right 64μs  -- with Felsch + standardisation and right 63μs  -- with random strategy and right 67μs ToddCoxeter 030: KnuthBendix.finished() . . .  -- with HLT + no standardise + full lookahead + no save and 2-sided 173μs  -- with HLT + standardise + full lookahead + no save and 2-sided 142μs  -- with HLT + no standardise + partial lookahead + no save and 2-sided 143μs  -- with HLT + standardise + partial lookahead + no save and 2-sided 136μs  -- with HLT + no standardise + full lookahead + save and 2-sided 141μs  -- with HLT + standardise + full lookahead + save and 2-sided 142μs  -- with HLT + no standardise + partial lookahead + save and 2-sided 138μs  -- with HLT + standardise + partial lookahead + save and 2-sided 139μs  -- with Felsch + no standardisation and 2-sided 134μs  -- with Felsch + standardisation and 2-sided 132μs  -- with random strategy and 2-sided 139μs  -- with HLT + no standardise + full lookahead + no save and left 147μs  -- with HLT + standardise + full lookahead + no save and left 143μs  -- with HLT + no standardise + partial lookahead + no save and left 143μs  -- with HLT + standardise + partial lookahead + no save and left 141μs  -- with HLT + no standardise + full lookahead + save and left 160μ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 149μs  -- with Felsch + no standardisation and left 271μs  -- with Felsch + standardisation and left 148μs  -- with random strategy and left 153μs  -- with HLT + no standardise + full lookahead + no save and right 145μs  -- with HLT + standardise + full lookahead + no save and right 139μ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 152μ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 145μs  -- with Felsch + standardisation and right 145μs  -- with random strategy and right 153μs ToddCoxeter 031: KnuthBendix.finished() . . .  -- with HLT + no standardise + full lookahead + no save and 2-sided 116μs  -- with HLT + standardise + full lookahead + no save and 2-sided 101μs  -- with HLT + no standardise + partial lookahead + no save and 2-sided 98μs  -- with HLT + standardise + partial lookahead + no save and 2-sided 120μs  -- with HLT + no standardise + full lookahead + save and 2-sided 120μs  -- with HLT + standardise + full lookahead + save and 2-sided 103μs  -- with HLT + no standardise + partial lookahead + save and 2-sided 102μs  -- with HLT + standardise + partial lookahead + save and 2-sided 102μs  -- with Felsch + no standardisation and 2-sided 96μs  -- with Felsch + standardisation and 2-sided 95μs  -- with random strategy and 2-sided 102μs  -- with Rc style + full lookahead and 2-sided 102μs  -- with Rc style + partial lookahead and 2-sided 101μs  -- with R/C style and 2-sided 96μs  -- with CR style and 2-sided 100μs  -- with Cr style and 2-sided 101μs  -- with HLT + no standardise + full lookahead + no save and left 111μs  -- with HLT + standardise + full lookahead + no save and left 105μs  -- with HLT + no standardise + partial lookahead + no save and left 103μs  -- with HLT + standardise + partial lookahead + no save and left 102μs  -- with HLT + no standardise + full lookahead + save and left 111μs  -- with HLT + standardise + full lookahead + save and left 111μs  -- with HLT + no standardise + partial lookahead + save and left 110μs  -- with HLT + standardise + partial lookahead + save and left 111μs  -- with Felsch + no standardisation and left 106μs  -- with Felsch + standardisation and left 106μs  -- with random strategy and left 120μs  -- with Rc style + full lookahead and left 110μs  -- with Rc style + partial lookahead and left 115μs  -- with R/C style and left 103μs  -- with CR style and left 110μs  -- with Cr style and left 115μs  -- with HLT + no standardise + full lookahead + no save and right 107μs  -- with HLT + standardise + full lookahead + no save and right 111μs  -- with HLT + no standardise + partial lookahead + no save and right 101μs  -- with HLT + standardise + partial lookahead + no save and right 101μs  -- with HLT + no standardise + full lookahead + save and right 111μs  -- with HLT + standardise + full lookahead + save and right 112μs  -- with HLT + no standardise + partial lookahead + save and right 110μs  -- with HLT + standardise + partial lookahead + save and right 110μs  -- with Felsch + no standardisation and right 107μs  -- with Felsch + standardisation and right 106μs  -- with random strategy and right 116μs  -- with Rc style + full lookahead and right 110μs  -- with Rc style + partial lookahead and right 109μs  -- with R/C style and right 102μs  -- with CR style and right 109μs  -- with Cr style and right 114μs ToddCoxeter 032: prefill . . . 157μs ToddCoxeter 033: congruence of ToddCoxeter . . .  -- with HLT + no standardise + full lookahead + no save 51μs  -- with HLT + standardise + full lookahead + no save 43μs  -- with HLT + no standardise + partial lookahead + no save 41μs  -- with HLT + standardise + partial lookahead + no save 41μs  -- with HLT + no standardise + full lookahead + save 46μs  -- with HLT + standardise + full lookahead + save 46μs  -- with HLT + no standardise + partial lookahead + save 50μs  -- with HLT + standardise + partial lookahead + save 46μs  -- with random strategy 46μs ToddCoxeter 034: congruence of ToddCoxeter . . .  -- with HLT + no standardise + full lookahead + no save 116μs  -- with HLT + standardise + full lookahead + no save 109μs  -- with HLT + no standardise + partial lookahead + no save 116μs  -- with HLT + standardise + partial lookahead + no save 124μs  -- with HLT + save (throws) 119μs  -- with Felsch (throws) 115μs  -- with random strategy 116μs ToddCoxeter 035: congruence on FpSemigroup . . .  -- with HLT + no standardise + full lookahead + no save 320μs  -- with HLT + standardise + full lookahead + no save 284μs  -- with HLT + no standardise + partial lookahead + no save 279μs  -- with HLT + standardise + partial lookahead + no save 273μs  -- with HLT + no standardise + full lookahead + save 309μs  -- with HLT + standardise + full lookahead + save 308μs  -- with HLT + no standardise + partial lookahead + save 302μs  -- with HLT + standardise + partial lookahead + save 300μs  -- with Felsch + no standardisation 299μs  -- with Felsch + standardisation 299μs  -- with random strategy 311μs  -- with Rc style + full lookahead 277μs  -- with Rc style + partial lookahead 271μs  -- with R/C style 273μs  -- with CR style 304μs  -- with Cr style 304μs ToddCoxeter 036: exceptions . . . 95μs ToddCoxeter 037: copy constructor . . . 40μs ToddCoxeter 038: simplify . . . 131μs ToddCoxeter 039: stylic_monoid . . . 829ms ToddCoxeter 041: some finite classes . . . 531μs ToddCoxeter 043: symmetric_group(7, Coxeter + Moser) . . . 148ms ToddCoxeter 044: Option exceptions . . . 80μs ToddCoxeter 045: Options operator<< . . . 872μs ToddCoxeter 046: Easdown-East-FitzGerald DualSymInv(5) . . .  -- with HLT + no standardise + full lookahead + no save 174ms  -- with HLT + standardise + full lookahead + no save 190ms  -- with HLT + no standardise + partial lookahead + no save 172ms  -- with HLT + standardise + partial lookahead + no save 192ms  -- with HLT + no standardise + full lookahead + save 133ms  -- with HLT + standardise + full lookahead + save 133ms  -- with HLT + no standardise + partial lookahead + save 133ms  -- with HLT + standardise + partial lookahead + save 135ms  -- with Felsch + no standardisation 148ms  -- with Felsch + standardisation 149ms  -- with random strategy 179ms  -- with R/C style 179ms  -- with Rc style + full lookahead 155ms  -- with Rc style + partial lookahead 154ms ToddCoxeter 047: uniform_block_bijection_monoid(3) (FitzGerald) . . .  -- with HLT + no standardise + full lookahead + no save 106μs  -- with HLT + standardise + full lookahead + no save 97μs  -- with HLT + no standardise + partial lookahead + no save 87μs  -- with HLT + standardise + partial lookahead + no save 92μs  -- with HLT + no standardise + full lookahead + save 211μs  -- with HLT + standardise + full lookahead + save 203μs  -- with HLT + no standardise + partial lookahead + save 195μs  -- with HLT + standardise + partial lookahead + save 195μs  -- with Felsch + no standardisation 170μs  -- with Felsch + standardisation 163μs  -- with random strategy 162μs  -- with R/C style 103μs  -- with Rc style + full lookahead 95μs  -- with Rc style + partial lookahead 93μs ToddCoxeter 048: stellar_monoid(7) (Gay-Hivert) . . . 155ms ToddCoxeter 049: partition_monoid(4) (East) . . .  -- with HLT + no standardise + full lookahead + no save 30ms  -- with HLT + standardise + full lookahead + no save 31ms  -- with HLT + no standardise + partial lookahead + no save 29ms  -- with HLT + standardise + partial lookahead + no save 31ms  -- with HLT + no standardise + full lookahead + save 52ms  -- with HLT + standardise + full lookahead + save 54ms  -- with HLT + no standardise + partial lookahead + save 53ms  -- with HLT + standardise + partial lookahead + save 55ms  -- with Felsch + no standardisation 63ms  -- with Felsch + standardisation 64ms  -- with random strategy 65ms  -- with R/C style 34ms  -- with Rc style + full lookahead 68ms  -- with Rc style + partial lookahead 68ms ToddCoxeter 050: singular_brauer_monoid(6) (Maltcev + Mazorchuk) . . . 511ms 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 6350μs ToddCoxeter 053: temperley_lieb_monoid(10) (East) . . . 39ms ToddCoxeter 063: add_rule . . .  -- with HLT + no standardise + full lookahead + no save 95μs  -- with HLT + standardise + full lookahead + no save 69μs  -- with HLT + no standardise + partial lookahead + no save 67μs  -- with HLT + standardise + partial lookahead + no save 66μs  -- with HLT + no standardise + full lookahead + save 73μs  -- with HLT + standardise + full lookahead + save 72μs  -- with HLT + no standardise + partial lookahead + save 78μs  -- with HLT + standardise + partial lookahead + save 72μs  -- with Felsch + no standardisation 72μs  -- with Felsch + standardisation 71μs  -- with random strategy 71μs  -- with Rc style + full lookahead 67μs  -- with Rc style + partial lookahead 67μs  -- with R/C style 67μs  -- with CR style 72μs  -- with Cr style 71μs  -- with R/C + Felsch lookahead 74μs  -- with HLT + Felsch lookahead + save 72μs  -- with Cr + small number of f_defs 82μs  -- with Rc + small number of deductions 67μs  -- with Felsch + v2 + no preferred defs 69μs  -- with Felsch + v2 + immediate no stack 72μs  -- with Felsch + v1 + immediate no stack 71μs  -- with Felsch + v1 + immediate yes stack 71μs  -- with large collapse 67μs ToddCoxeter 064: (from kbmag/standalone/kb_data/s4) (KnuthB [...] . . .  -- with HLT + no standardise + full lookahead + no save 277μs ToddCoxeter 066: test validate . . . 72μs ToddCoxeter 067: add_rules after construct. from semigroup . . .  -- with HLT + no standardise + full lookahead + no save 357μs  -- with HLT + standardise + full lookahead + no save 335μs  -- with HLT + no standardise + partial lookahead + no save 326μs  -- with HLT + standardise + partial lookahead + no save 326μs  -- with HLT + save (throws) 337μs  -- with Felsch (throws) 339μs  -- with random strategy 317μs ToddCoxeter 068: Sym(5) from Chapter 3, Proposition 1.1 in NR . . .  -- with Deduction policy == purge_from_top 684μs  -- with Deduction policy == purge_all 636μs  -- with Deduction policy == discard_all_if_no_space 676μs  -- with HLT + no standardise + full lookahead + no save 809μs  -- with HLT + standardise + full lookahead + no save 1092μs  -- with HLT + no standardise + partial lookahead + no save 770μs  -- with HLT + standardise + partial lookahead + no save 1108μs  -- with HLT + no standardise + full lookahead + save 1123μs  -- with HLT + standardise + full lookahead + save 1110μs  -- with HLT + no standardise + partial lookahead + save 1061μs  -- with HLT + standardise + partial lookahead + save 1095μs  -- with Felsch + no standardisation 733μs  -- with Felsch + standardisation 701μs  -- with random strategy 746μs  -- with Rc style + full lookahead 1500μs  -- with Rc style + partial lookahead 1484μs  -- with R/C style 863μs  -- with CR style 764μs  -- with Cr style 736μs ToddCoxeter 069: Chapter 7, Theorem 3.6 in NR (size 243) . . .  -- with HLT + no standardise + full lookahead + no save 380μs  -- with HLT + standardise + full lookahead + no save 438μs  -- with HLT + no standardise + partial lookahead + no save 375μs  -- with HLT + standardise + partial lookahead + no save 444μs  -- with HLT + no standardise + full lookahead + save 500μs  -- with HLT + standardise + full lookahead + save 524μs  -- with HLT + no standardise + partial lookahead + save 487μs  -- with HLT + standardise + partial lookahead + save 514μs  -- with Felsch + no standardisation 2441μs  -- with Felsch + standardisation 2471μs  -- with random strategy 537μs  -- with Rc style + full lookahead 407μs  -- with Rc style + partial lookahead 397μs  -- with R/C style 415μs  -- with CR style 2474μs  -- with Cr style 2492μs ToddCoxeter 070: finite semigroup (size 99) . . .  -- with HLT + no standardise + full lookahead + no save 174μs  -- with HLT + standardise + full lookahead + no save 186μs  -- with HLT + no standardise + partial lookahead + no save 161μs  -- with HLT + standardise + partial lookahead + no save 181μ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 201μs  -- with HLT + standardise + partial lookahead + save 216μs  -- with Felsch + no standardisation 464μs  -- with Felsch + standardisation 451μs  -- with random strategy 519μs  -- with Rc style + full lookahead 180μs  -- with Rc style + partial lookahead 177μs  -- with R/C style 193μs  -- with CR style 476μs  -- with Cr style 458μs ToddCoxeter 080: KnuthBendix 098 . . .  -- with HLT + no standardise + full lookahead + no save 548ms  -- with HLT + standardise + full lookahead + no save 609ms  -- with HLT + no standardise + partial lookahead + no save 544ms  -- with HLT + standardise + partial lookahead + no save 605ms  -- with HLT + no standardise + full lookahead + save 382ms  -- with HLT + standardise + full lookahead + save 379ms  -- with HLT + no standardise + partial lookahead + save 375ms  -- with HLT + standardise + partial lookahead + save 379ms  -- with Felsch + no standardisation 358ms  -- with Felsch + standardisation 357ms  -- with random strategy 378ms  -- with Rc style + full lookahead 354ms  -- with Rc style + partial lookahead 351ms  -- with R/C style 548ms  -- with CR style 355ms  -- with Cr style 357ms ToddCoxeter 084: Campbell-Reza 1 . . .  -- with HLT + no standardise + full lookahead + no save 127μs  -- with HLT + standardise + full lookahead + no save 92μs  -- with HLT + no standardise + partial lookahead + no save 87μs  -- with HLT + standardise + partial lookahead + no save 86μs  -- with HLT + no standardise + full lookahead + save 103μs  -- with HLT + standardise + full lookahead + save 101μs  -- with HLT + no standardise + partial lookahead + save 96μs  -- with HLT + standardise + partial lookahead + save 95μs  -- with Felsch + no standardisation 102μs  -- with Felsch + standardisation 97μs  -- with random strategy 87μs  -- with Rc style + full lookahead 82μs  -- with Rc style + partial lookahead 82μs  -- with R/C style 85μs  -- with CR style 101μs  -- with Cr style 98μ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 118ms  -- with HLT + no standardise + partial lookahead + no save 117ms  -- with HLT + standardise + partial lookahead + no save 118ms  -- with HLT + no standardise + full lookahead + save 119ms  -- with HLT + standardise + full lookahead + save 117ms  -- with HLT + no standardise + partial lookahead + save 118ms  -- with HLT + standardise + partial lookahead + save 118ms  -- with Felsch + no standardisation 117ms  -- with Felsch + standardisation 118ms  -- with random strategy 118ms  -- with Rc style + full lookahead 117ms  -- with Rc style + partial lookahead 117ms  -- with R/C style 119ms  -- with CR style 117ms  -- with Cr style 118ms ToddCoxeter 086: trivial semigroup . . . 320ms ToddCoxeter 092: ACE --- perf602p5 - HLT . . .  -- with HLT + no standardise + full lookahead + no save 34ms  -- with HLT + standardise + full lookahead + no save 33ms  -- with HLT + no standardise + partial lookahead + no save 33ms  -- with HLT + standardise + partial lookahead + no save 32ms  -- with HLT + no standardise + full lookahead + save 15ms  -- with HLT + standardise + full lookahead + save 16ms  -- with HLT + no standardise + partial lookahead + save 16ms  -- 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 96μs  -- with HLT + standardise + full lookahead + no save 86μs  -- with HLT + no standardise + partial lookahead + no save 86μs  -- with HLT + standardise + partial lookahead + no save 83μs  -- with HLT + no standardise + full lookahead + save 106μs  -- with HLT + standardise + full lookahead + save 102μs  -- with HLT + no standardise + partial lookahead + save 100μs  -- with HLT + standardise + partial lookahead + save 98μs  -- with random strategy 90μs  -- with Felsch + no standardisation 96μs  -- with Felsch + standardisation 95μs ToddCoxeter 095: ACE --- A5-C5 . . .  -- with HLT + no standardise + full lookahead + no save 107μ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 105μs  -- with HLT + no standardise + full lookahead + save 146μs  -- with HLT + standardise + full lookahead + save 144μs  -- with HLT + no standardise + partial lookahead + save 143μs  -- with HLT + standardise + partial lookahead + save 144μs  -- with random strategy 112μs  -- with Felsch + no standardisation 127μs  -- with Felsch + standardisation 124μs ToddCoxeter 096: ACE --- A5 . . .  -- with HLT + no standardise + full lookahead + no save 234μs  -- with HLT + standardise + full lookahead + no save 273μs  -- with HLT + no standardise + partial lookahead + no save 194μs  -- with HLT + standardise + partial lookahead + no save 257μs  -- with HLT + no standardise + full lookahead + save 360μs  -- with HLT + standardise + full lookahead + save 364μs  -- with HLT + no standardise + partial lookahead + save 346μs  -- with HLT + standardise + partial lookahead + save 358μs  -- with random strategy 382μs  -- with Felsch + no standardisation 268μs  -- with Felsch + standardisation 250μs ToddCoxeter 098: relation ordering . . .  -- with Felsch + no standardisation 589μs  -- with Felsch + standardisation 560μs  -- with HLT + no standardise + full lookahead + no save 326μs  -- with HLT + standardise + full lookahead + no save 317μs  -- with HLT + no standardise + partial lookahead + no save 317μs  -- with HLT + standardise + partial lookahead + no save 311μs  -- with HLT + no standardise + full lookahead + save 592μs  -- with HLT + standardise + full lookahead + save 594μs  -- with HLT + no standardise + partial lookahead + save 590μs  -- with HLT + standardise + partial lookahead + save 583μs  -- with random strategy 378μs ToddCoxeter 099: short circuit size in obviously infinite . . . 19μs ToddCoxeter 101: http://brauer.maths.qmul.ac.uk/Atlas/spor/M [...] . . . 622ms ToddCoxeter 108: http://brauer.maths.qmul.ac.uk/Atlas/lin/L3 [...] . . . 544ms ToddCoxeter 111: partition_monoid(2) . . . 73μs ToddCoxeter 112: brauer_monoid(4) (Kudryavtseva + Mazorchuk) . . . 373μs ToddCoxeter 113: symmetric_inverse_monoid . . . 16ms ToddCoxeter 116: symmetric_group(7, Burnside + Miller) . . . 415ms 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 . . . 76μs action_digraph_helper 017: is_connected . . . 193μs action_digraph_helper 018: is_strictly_cyclic . . . 13ms follow_path 012: 20 node path . . . 23μs fpsemi-examples 002: full_transformation_monoid author except . . . 33μs fpsemi-examples 003: full_transformation_monoid degree except . . . 23μs fpsemi-examples 005: partial_transformation_monoid author except . . . 25μ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 . . . 29μs fpsemi-examples 009: symmetric_group degree except . . . 21μs fpsemi-examples 010: symmetric_group(6) Burnside + Miller . . . 23ms fpsemi-examples 011: dual_symmetric_inverse_monoid(5) . . . 173ms fpsemi-examples 012: dual_symmetric_inverse_monoid auth except . . . 40μs fpsemi-examples 013: dual_symmetric_inverse_monoid degree except . . . 23μs fpsemi-examples 014: uniform_block_bijection_monoid(5) . . . 12ms fpsemi-examples 015: uniform_block_bijection_monoid auth except . . . 31μs fpsemi-examples 016: uniform_block_bijection_monoid degree except . . . 21μs fpsemi-examples 019: partition_monoid auth except . . . 38μs fpsemi-examples 020: partition_monoid degree except . . . 33μs fpsemi-examples 022: monogenic_semigroup(4, 9) . . . 34μs fpsemi-examples 023: fibonacci_semigroup(2, 5) . . . 72μ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) . . . 6289μs fpsemi-examples 028: chinese_monoid(3) . . . 138μs fpsemi-examples 029: plactic_monoid(3) . . . 115μs fpsemi-examples 030: stylic_monoid(3) . . . 981μ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 . . . 5926μs fpsemi-examples 034: test for the rook monoid . . . 273μs fpsemi-examples 035: alternating_group(7) Moore . . . 23ms fpsemi-examples 036: alternating_group auth except . . . 50μs fpsemi-examples 037: alternating_group degree except . . . 21μs fpsemi-examples 038: partial_transformation_monoid(3) Machine . . . 286μs fpsemi-examples 039: chinese_monoid degree except . . . 34μs fpsemi-examples 040: monogenic_semigroup degree except . . . 33μs fpsemi-examples 041: rectangular_band degree except . . . 51μ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 . . . 30μs fpsemi-examples 045: temperley_lieb_monoid degree except . . . 38μs fpsemi-examples 046: singular_brauer_monoid degree except . . . 38μs fpsemi-examples 047: orientation_preserving_monoid degree except . . . 40μs fpsemi-examples 048: orientation_preserving_monoid degree except . . . 38μs fpsemi-examples 049: test default values . . . 3712μs fpsemi-examples 052: not_symmetric_group(5) Guralnick + Kant [...] . . . 2665μs freeband_equal_to 001: . . . 657μ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 . . . 1634μs is_acyclic 006: for a node . . . 930μs is_acyclic 007: for a node . . . 19μs is_reachable 008: acyclic 20 node digraph . . . 53μs is_reachable 009: 100 node path . . . 11ms is_reachable 010: 100 node cycle . . . 10ms is_reachable 011: 20 node clique . . . 440μs last_node_on_path_nc 014: 20 node path . . . 20μs make 000: from FroidurePin . . . 473μs make 001: from FroidurePin and alphabet . . . 525μs make 002: presentation from presentation . . . 241μs make 003: presentation from presentation and alphabet . . . 50μs make> 000: from ActionDigraph . . . 1248μs make> 001: from ActionDigraph (exceptions) . . . 53μs number_of_words 001: . . . 20μs silo 000: alphabet: a, min: 0, max: 10 . . . 43μs silo 001: corner cases . . . 29μs silo 002: alphabet: ab, min: 1, max: 4 . . . 48μs silo 003: alphabet: abc, min: 0, max: 13 . . . 78ms silo 004: code coverage . . . 30μs sislo 005: alphabet: a, min: 0, max: 10 . . . 41μs sislo 006: corner cases . . . 53μs sislo 007: alphabet: ab, min: 1, max: 4 . . . 80μs sislo 008: alphabet: abc, min: 0, max: 13 . . . 82ms sislo 009: code coverage . . . 41μ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 . . . 19μs string_to_word 002: . . . 12μs validate_label 013: 20 node path . . . 50μ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 . . . 142ms wilo 007: more corner cases . . . 57μs wilo 008: starting at a given word 1 . . . 154μs wilo 009: starting at a given word 2 . . . 20μs wilo 010: code coverage . . . 19μs wislo 000: n: 2, min; 1, max: 4 . . . 24μs wislo 001: corner cases . . . 41μs wislo 002: n: 3, min; 0, max: 10 . . . 4741μs wislo 003: n: 3, min; 0, max: 13 . . . 143ms wislo 004: lex + sort . . . 407ms wislo 005: code coverage . . . 29μs =============================================================================== All tests passed (1225203 assertions in 1120 test cases) >>> libsemigroups: Entering fakeroot... make[1]: Entering directory '/home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.4.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' ./config/install-sh -c -d '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups/textflowcpp' /usr/bin/install -c -m 644 libsemigroups.pc '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/pkgconfig' /usr/bin/install -c -m 644 extern/textflowcpp/TextFlow.hpp '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups/textflowcpp' libtool: install: /usr/bin/install -c .libs/libsemigroups.so.2.0.0 /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/libsemigroups.so.2.0.0 /usr/bin/install -c -m 644 include/libsemigroups/action.hpp include/libsemigroups/adapters.hpp include/libsemigroups/bipart.hpp include/libsemigroups/bitset.hpp include/libsemigroups/bmat8.hpp include/libsemigroups/bmat.hpp include/libsemigroups/bruidhinn-traits.hpp include/libsemigroups/config.hpp include/libsemigroups/cong-intf.hpp include/libsemigroups/cong-pair-impl.hpp include/libsemigroups/cong-pair.hpp include/libsemigroups/cong-wrap.hpp include/libsemigroups/cong.hpp include/libsemigroups/constants.hpp include/libsemigroups/containers.hpp include/libsemigroups/coset.hpp include/libsemigroups/debug.hpp include/libsemigroups/deprecated.hpp include/libsemigroups/digraph-helper.hpp include/libsemigroups/digraph-with-sources.hpp include/libsemigroups/digraph-with-sources.tpp include/libsemigroups/digraph.hpp include/libsemigroups/exception.hpp include/libsemigroups/fastest-bmat.hpp include/libsemigroups/felsch-tree.hpp include/libsemigroups/felsch-digraph.hpp include/libsemigroups/felsch-digraph.tpp include/libsemigroups/forest.hpp include/libsemigroups/fpsemi-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: (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; }; }) /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/obvinf.hpp include/libsemigroups/order.hpp include/libsemigroups/pbr.hpp include/libsemigroups/pool.hpp include/libsemigroups/present.hpp include/libsemigroups/present.tpp include/libsemigroups/race.hpp include/libsemigroups/report.hpp include/libsemigroups/runner.hpp include/libsemigroups/schreier-sims.hpp include/libsemigroups/schreier-sims-helper.hpp include/libsemigroups/sims1.hpp include/libsemigroups/sims1.tpp include/libsemigroups/siso.hpp include/libsemigroups/stl.hpp include/libsemigroups/string-view.hpp include/libsemigroups/string.hpp include/libsemigroups/suffix-tree.hpp include/libsemigroups/tce.hpp include/libsemigroups/timer.hpp include/libsemigroups/todd-coxeter.hpp include/libsemigroups/transf.hpp include/libsemigroups/types.hpp include/libsemigroups/uf.hpp include/libsemigroups/wilo.hpp include/libsemigroups/wislo.hpp include/libsemigroups/word.hpp '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups' libtool: install: /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.4.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.4.1-r0 pc:eigen3 pc:fmt pkgconfig >>> libsemigroups-dev*: Package size: 1.8 MB >>> libsemigroups-dev*: Compressing data... >>> libsemigroups-dev*: Create checksum... >>> libsemigroups-dev*: Create libsemigroups-dev-2.4.1-r0.apk >>> libsemigroups-static*: Tracing dependencies... >>> libsemigroups-static*: Package size: 4.2 MB >>> libsemigroups-static*: Compressing data... >>> libsemigroups-static*: Create checksum... >>> libsemigroups-static*: Create libsemigroups-static-2.4.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.5 MB >>> libsemigroups*: Compressing data... >>> libsemigroups*: Create checksum... >>> libsemigroups*: Create libsemigroups-2.4.1-r0.apk >>> libsemigroups: Build complete at Sat, 10 Dec 2022 12:53:03 +0000 elapsed time 0h 13m 7s >>> libsemigroups: Cleaning up srcdir >>> libsemigroups: Cleaning up pkgdir >>> libsemigroups: Uninstalling dependencies... (1/4) Purging .makedepends-libsemigroups (20221210.123958) (2/4) Purging eigen-dev (3.4.0-r6) (3/4) Purging fmt-dev (9.1.0-r0) (4/4) Purging fmt (9.1.0-r0) OK: 380 MiB in 103 packages >>> libsemigroups: Updating the testing/x86 repository index... >>> libsemigroups: Signing the index...