>>> libsemigroups: Building testing/libsemigroups 2.7.1-r2 (using abuild 3.11.21-r0) started Tue, 01 Aug 2023 12:31:50 +0000 >>> libsemigroups: Checking sanity of /home/buildozer/aports/testing/libsemigroups/APKBUILD... >>> WARNING: libsemigroups: No maintainer >>> libsemigroups: Analyzing dependencies... >>> libsemigroups: Installing for build: build-base eigen-dev fmt-dev (1/4) Installing eigen-dev (3.4.0-r9) (2/4) Installing fmt (9.1.0-r1) (3/4) Installing fmt-dev (9.1.0-r1) (4/4) Installing .makedepends-libsemigroups (20230801.123152) OK: 387 MiB in 109 packages >>> libsemigroups: Cleaning up srcdir >>> libsemigroups: Cleaning up pkgdir >>> libsemigroups: Cleaning up tmpdir >>> libsemigroups: Fetching https://distfiles.alpinelinux.org/distfiles/edge/libsemigroups-2.7.1.tar.gz % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 2485k 100 2485k 0 0 16.1M 0 --:--:-- --:--:-- --:--:-- 16.2M >>> libsemigroups: Fetching https://distfiles.alpinelinux.org/distfiles/edge/libsemigroups-2.7.1.tar.gz >>> libsemigroups: Checking sha512sums... libsemigroups-2.7.1.tar.gz: OK >>> libsemigroups: Unpacking /var/cache/distfiles/edge/libsemigroups-2.7.1.tar.gz... checking build system type... x86_64-alpine-linux-musl checking host system type... x86_64-alpine-linux-musl checking target system type... x86_64-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 x86_64-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 x86_64-alpine-linux-musl-ar... no checking for x86_64-alpine-linux-musl-lib... no checking for x86_64-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/x86_64-alpine-linux-musl/bin/ld checking if the linker (/usr/x86_64-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 x86_64-alpine-linux-musl file names to x86_64-alpine-linux-musl format... func_convert_file_noop checking how to convert x86_64-alpine-linux-musl file names to toolchain format... func_convert_file_noop checking for /usr/x86_64-alpine-linux-musl/bin/ld option to reload object files... -r checking for x86_64-alpine-linux-musl-file... no checking for file... file checking for x86_64-alpine-linux-musl-objdump... no checking for objdump... objdump checking how to recognize dependent libraries... pass_all checking for x86_64-alpine-linux-musl-dlltool... no checking for dlltool... no checking how to associate runtime and link libraries... printf %s\n checking for x86_64-alpine-linux-musl-ar... ar checking for archiver @FILE support... @ checking for x86_64-alpine-linux-musl-strip... no checking for strip... strip checking for x86_64-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 x86_64-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/x86_64-alpine-linux-musl/bin/ld -m elf_x86_64) 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/x86_64-alpine-linux-musl/bin/ld -m elf_x86_64 checking if the linker (/usr/x86_64-alpine-linux-musl/bin/ld -m elf_x86_64) is GNU ld... yes checking whether the g++ linker (/usr/x86_64-alpine-linux-musl/bin/ld -m elf_x86_64) 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/x86_64-alpine-linux-musl/bin/ld -m elf_x86_64) 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 *... 8 checking for GNU libc compatible malloc... yes checking for gettimeofday... yes checking for memset... yes checking for pow... yes checking for sqrt... yes checking whether to enable debug mode... no checking whether to enable verbose mode... no checking whether enable compiler warnings... no checking whether to enable stats mode... yes checking whether to enable backward mode... yes checking for execinfo.h... no configure: WARNING: backward enabled but execinfo.h not found, disabling backward! checking whether to build with code coverage support... no checking whether to enable HPCombi... yes checking for ./extern/HPCombi/VERSION... yes checking the required version of HPCombi... 0.0.6 checking the version of HPCombi that's present... 0.0.6 checking whether C++ compiler accepts -mavx... yes checking whether C++ compiler accepts -flax-vector-conversions... yes checking for x86intrin.h... yes checking for _mm_blendv_epi8... yes checking for _mm_cmpeq_epi8... yes checking for _mm_cmpestri... yes checking for _mm_cmpestrm... yes checking for _mm_cmplt_epi8... yes checking for _mm_extract_epi64... yes checking for _mm_max_epi8... yes checking for _mm_max_epu8... yes checking for _mm_min_epi8... yes checking for _mm_min_epu8... yes checking for _mm_movemask_epi8... yes checking for _mm_popcnt_u32... yes checking for _mm_set_epi64x... yes checking for _mm_shuffle_epi8... yes checking for _mm_slli_epi32... yes checking for HPCOMBI_CONSTEXPR_FUN_ARGS... yes checking for x86_64-alpine-linux-musl-pkg-config... no checking for pkg-config... /usr/bin/pkg-config checking pkg-config is at least version 0.9.0... yes checking whether to enable fmt... yes checking whether to use external fmt... yes checking for fmt >= 8.1.1... yes checking whether to enable eigen... yes checking whether to use external eigen... yes checking for eigen3 >= 3.3.7... yes checking for __builtin_popcountl... yes checking for __builtin_clzll... yes checking whether to try and use __builtin_popcntl... yes checking whether to try and use __builtin_clzlll... yes checking that generated files are newer than configure... done configure: creating ./config.status config.status: creating Makefile config.status: creating libsemigroups.pc config.status: creating config/config.h config.status: executing depfiles commands config.status: executing include/libsemigroups/config.hpp commands config.status: creating include/libsemigroups/config.hpp - prefix LIBSEMIGROUPS for config/config.h defines config.status: executing libtool commands CXX src/libsemigroups_la-bipart.lo CXX src/libsemigroups_la-bmat8.lo CXX src/libsemigroups_la-cong-intf.lo CXX src/libsemigroups_la-cong-pair.lo CXX src/libsemigroups_la-cong.lo CXX src/libsemigroups_la-constants.lo CXX src/libsemigroups_la-coset.lo CXX src/libsemigroups_la-exception.lo CXX src/libsemigroups_la-felsch-tree.lo CXX src/libsemigroups_la-forest.lo CXX src/libsemigroups_la-fpsemi-examples.lo CXX src/libsemigroups_la-fpsemi-intf.lo CXX src/libsemigroups_la-fpsemi.lo CXX src/libsemigroups_la-freeband.lo CXX src/libsemigroups_la-froidure-pin-base.lo CXX src/libsemigroups_la-kambites.lo CXX src/libsemigroups_la-knuth-bendix.lo CXX src/libsemigroups_la-make-present.lo CXX src/libsemigroups_la-node-manager.lo CXX src/libsemigroups_la-obvinf.lo CXX src/libsemigroups_la-pbr.lo CXX src/libsemigroups_la-race.lo CXX src/libsemigroups_la-report.lo CXX src/libsemigroups_la-runner.lo CXX src/libsemigroups_la-siso.lo CXX src/libsemigroups_la-string.lo CXX src/libsemigroups_la-stephen.lo CXX src/libsemigroups_la-timer.lo CXX src/libsemigroups_la-todd-coxeter.lo CXX src/libsemigroups_la-ukkonen.lo CXX src/libsemigroups_la-wilo.lo CXX src/libsemigroups_la-wislo.lo CXX src/libsemigroups_la-word.lo CXXLD libsemigroups.la make test_all make[1]: Entering directory '/home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.1' CXX tests/bmat-data.o CXX tests/test-action.o CXX tests/test-bipart.o CXX tests/test-bitset.o CXX tests/test-bmat8.o CXX tests/test-cong-intf.o CXX tests/test-cong-pair.o CXX tests/test-cong.o CXX tests/test-constants.o CXX tests/test-containers.o CXX tests/test-digraph-helper.o CXX tests/test-digraph.o CXX tests/test-felsch-tree.o CXX tests/test-forest.o CXX tests/test-fpsemi.o CXX tests/test-fpsemi-examples-1.o CXX tests/test-fpsemi-examples-2.o CXX tests/test-fpsemi-examples-3.o CXX tests/test-fpsemi-intf.o CXX tests/test-freeband.o CXX tests/test-froidure-pin-bipart.o CXX tests/test-froidure-pin-bmat8.o CXX tests/test-froidure-pin-bmat.o CXX tests/test-froidure-pin-integers.o CXX tests/test-froidure-pin-intmat.o CXX tests/test-froidure-pin-intpairs.o CXX tests/test-froidure-pin-matrix.o CXX tests/test-froidure-pin-maxplustrunc.o CXX tests/test-froidure-pin-pbr.o CXX tests/test-froidure-pin-pperm.o CXX tests/test-froidure-pin-projmaxplus.o CXX tests/test-froidure-pin-transf.o CXX tests/test-hpcombi.o CXX tests/test-iterator.o CXX tests/test-kambites.o CXX tests/test-kbe.o CXX tests/test-knuth-bendix-1.o CXX tests/test-knuth-bendix-2.o CXX tests/test-knuth-bendix-3.o CXX tests/test-knuth-bendix-4.o CXX tests/test-knuth-bendix-5.o CXX tests/test-knuth-bendix-6.o CXX tests/test-konieczny-bmat8-1.o CXX tests/test-konieczny-bmat8-2.o CXX tests/test-konieczny-bmat8-3.o CXX tests/test-konieczny-transf.o CXX tests/test-konieczny-bmat.o CXX tests/test-konieczny-pperm.o CXX tests/test-main.o CXX tests/test-make-present.o CXX tests/test-make-froidure-pin.o CXX tests/test-matrix.o CXX tests/test-obvinf.o CXX tests/test-order.o CXX tests/test-pbr.o CXX tests/test-pool.o CXX tests/test-present.o CXX tests/test-race.o CXX tests/test-runner.o CXX tests/test-schreier-sims.o CXX tests/test-schreier-sims-helper.o CXX tests/test-sims1.o CXX tests/test-siso.o CXX tests/test-stephen.o CXX tests/test-string.o CXX tests/test-string-view.o CXX tests/test-timer.o CXX tests/test-todd-coxeter.o CXX tests/test-types.o CXX tests/test-uf.o CXX tests/test-ukkonen.o CXX tests/test-wilo.o CXX tests/test-wislo.o CXX tests/test-word.o In file included from /usr/include/c++/13.1.1/algorithm:61, from tests/test-matrix.cpp:17: In function 'void std::__final_insertion_sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = libsemigroups::StaticRowView*; _Compare = __gnu_cxx::__ops::_Iter_comp_iter >():: >]', inlined from 'void std::__sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = libsemigroups::StaticRowView*; _Compare = __gnu_cxx::__ops::_Iter_comp_iter >():: >]' at /usr/include/c++/13.1.1/bits/stl_algo.h:1950:31, inlined from 'void std::sort(_RAIter, _RAIter, _Compare) [with _RAIter = libsemigroups::StaticRowView*; _Compare = libsemigroups::{anonymous}::test_BMat000 >()::]' at /usr/include/c++/13.1.1/bits/stl_algo.h:4894:18, inlined from 'void libsemigroups::{anonymous}::test_BMat000() [with Mat = libsemigroups::StaticMatrix]' at tests/test-matrix.cpp:166:18: /usr/include/c++/13.1.1/bits/stl_algo.h:1859:32: warning: array subscript 16 is outside array bounds of 'libsemigroups::detail::StaticVector1, 2> [1]' [-Warray-bounds=] 1859 | std::__insertion_sort(__first, __first + int(_S_threshold), __comp); | ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ tests/test-matrix.cpp: In function 'void libsemigroups::{anonymous}::test_BMat000() [with Mat = libsemigroups::StaticMatrix]': tests/test-matrix.cpp:160:14: note: at offset 128 into object 'r' of size 24 160 | auto r = matrix_helpers::rows(m); | ^ CXXLD test_all make[1]: Leaving directory '/home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.1' ./test_all --use-colour yes --order lex --abort [quick] Filters: [quick] Action 001: row and column basis orbits for BMat8 . . . 63μs Action 002: row and column basis orbits for BMat8 . . . 1893μs Action 003: add generators after enumeration . . . 1914μs Action 004: multipliers for BMat8 row and column orbits . . . 4593μs Action 005: orbits for regular boolean mat monoid 5 . . . 287ms Action 007: partial perm image orbit . . . 250μs Action 008: partial perm image orbit . . . 56ms Action 009: partial perm image orbit . . . 65ms Action 010: partial perm image orbit . . . 69ms Action 011: permutation on integers . . . 18μs Action 012: permutation on sets, arrays . . . 120μs Action 013: permutation on tuples, arrays . . . 12ms Action 014: permutation on sets, vectors . . . 176μs Action 015: permutation on tuples, vectors . . . 18ms Action 016: misc . . . 1894μs Action 017: partial perm image orbit . . . 40μs Action 018: permutation on tuples, arrays (360360) . . . 200ms Action 019: orbits for regular BMat8 monoid 5 with stop/start . . . 291ms Action 021: orbits for regular boolean mat monoid 5 (BMat<5> [...] . . . 373ms ActionDigraph 000: constructor with 1 default arg . . . 28μs ActionDigraph 001: constructor with 0 default args . . . 36μs ActionDigraph 002: add nodes . . . 22μs ActionDigraph 003: add edges . . . 268μs ActionDigraph 004: strongly connected components - cycles . . . 50μs ActionDigraph 005: strongly connected components - no edges . . . 37ms ActionDigraph 006: strongly connected components - disjoint cycles . . . 2099μs ActionDigraph 007: strongly connected components - complete graphs . . . 1180μs ActionDigraph 008: exceptions . . . 53μs ActionDigraph 009: spanning forest - complete graphs . . . 4531μs ActionDigraph 010: spanning forest - disjoint cycles . . . 117μs ActionDigraph 011: restrict . . . 12μs ActionDigraph 012: remove_edge_nc . . . 10μs ActionDigraph 013: scc large cycle . . . 19ms ActionDigraph 014: random . . . 25μs ActionDigraph 015: reserve . . . 11μs ActionDigraph 016: default constructors . . . 20μs ActionDigraph 017: scc iterators . . . 1668μs ActionDigraph 018: iterator to edges . . . 731μs ActionDigraph 019: root of scc . . . 382μs ActionDigraph 020: cbegin/end_panislo - 100 node path . . . 1080μs ActionDigraph 021: cbegin/end_pislo . . . 46μs ActionDigraph 022: cbegin/end_pani(s)lo - 100 node cycle . . . 1924μs ActionDigraph 023: cbegin/cend_pilo - tree 14 nodes . . . 79μs ActionDigraph 024: cbegin/end_pstilo - Cayley digraph . . . 232ms ActionDigraph 025: cbegin_pstilo - Tsalakou . . . 389μs ActionDigraph 026: cbegin/end_pstislo - Cayley digraph . . . 229ms ActionDigraph 027: cbegin/end_pstislo - Cayley digraph . . . 220μs ActionDigraph 028: path iterators corner cases . . . 147μs ActionDigraph 029: reverse node iterator . . . 12μs ActionDigraph 030: pstilo corner case . . . 66μs ActionDigraph 031: number_of_paths corner cases . . . 63μs ActionDigraph 032: number_of_paths acyclic digraph . . . 10ms ActionDigraph 033: number_of_paths binary tree . . . 648ms ActionDigraph 034: number_of_paths large binary tree . . . 114ms ActionDigraph 035: number_of_paths 400 node random digraph . . . 778μs ActionDigraph 036: number_of_paths 10 node acyclic digraph . . . 91μs ActionDigraph 037: number_of_paths node digraph . . . 4037μs ActionDigraph 038: random/random_acyclic exceptions . . . 103μs ActionDigraph 039: unsafe (next) neighbour . . . 62μs ActionDigraph 040: number_of_egdes incident to a node . . . 439μs ActionDigraph 041: number_of_paths (matrix) . . . 24ms ActionDigraph 042: number_of_paths (matrix) . . . 14μs ActionDigraph 043: swap_edge_nc . . . 11μs ActionDigraph 044: detail::pow for non-square Eigen matrix . . . 20μs ActionDigraph 045: operator<< . . . 15μs Array2 044: all . . . 56μs BMat8 001: transpose . . . 23μs BMat8 002: multiplication . . . 19μs BMat8 003: identity matrix . . . 14μs BMat8 004: random . . . 264μs BMat8 005: call operator . . . 19μs BMat8 006: operator<< . . . 16μs BMat8 007: set . . . 51μs BMat8 008: row space basis . . . 892μs BMat8 009: col space basis . . . 890μs BMat8 010: row space basis . . . 1499μs BMat8 011: number_of_rows, number_of_cols . . . 41μs BMat8 012: row_space, col_space . . . 229μs BMat8 013: rows . . . 42μs BMat8 014: one . . . 12μs BMat8 015: vector constructor . . . 70μs BMat8 016: operator< . . . 14μs BMat8 017: adapters . . . 21μs BMat8 018: one . . . 11μs Bipartition 009: mem fns 1 . . . 40μs Bipartition 010: hash . . . 9000ns Bipartition 011: mem fns 2 . . . 22μs Bipartition 012: delete/copy . . . 10μs Bipartition 013: degree 0 . . . 11μs Bipartition 014: exceptions . . . 45μs Bipartition 015: convenience constructor . . . 180μs Bipartition 016: force copy constructor over move constructor . . . 17μs Bipartition 017: adapters . . . 9000ns BitSet 000: size . . . 11μs BitSet 001: operator< . . . 11μs BitSet 002: operator== . . . 18μs BitSet 003: operator!= . . . 13μs BitSet 004: operator&= . . . 14μs BitSet 005: & . . . 17μs BitSet 006: operator|= . . . 18μs BitSet 007: operator[] . . . 18μs BitSet 008: set(none) . . . 24μs BitSet 009: set(pos, value) . . . 19μs BitSet 010: set(first, last, value) . . . 22μs BitSet 011: reset(first, last) . . . 20μs BitSet 012: reset(pos) . . . 20μs BitSet 013: apply (iterate through set bits) . . . 25μs BitSet 014: std::hash . . . 9000ns BitSet 015: constructors . . . 19μs BitSet 016: max_size . . . 9000ns BitSet 017: insertion operators . . . 12μs Blocks 001: empty blocks . . . 13μs Blocks 002: non-empty blocks . . . 13μs Blocks 003: left blocks of bipartition . . . 13μs Blocks 004: right blocks of bipartition . . . 13μs Blocks 005: copy [empty blocks] . . . 11μs Blocks 006: copy [non-empty blocks] . . . 13μs Blocks 007: hash value . . . 13μs Blocks 008: operator< . . . 12μs Congruence 000: left congruence on fp semigroup . . . 132μs Congruence 001: 2-sided congruence on fp semigroup . . . 535μs Congruence 002: left congruence on fp semigroup . . . 254μs Congruence 003: word_to_class_index for cong. on fp semigroup . . . 263μs Congruence 004: word_to_class_index for cong. on fp semigroup . . . 645μs Congruence 005: trivial congruence on non-fp semigroup . . . 353μs Congruence 006: 2-sided congruence on non-fp semigroup . . . 309μs Congruence 007: 2-sided congruence on fp semigroup . . . 745μs Congruence 008: 2-sided congruence on infinite fp semigroup . . . 473μs Congruence 009: 2-sided congruence on infinite fp semigroup . . . 541μs Congruence 010: 2-sided congruence on finite semigroup . . . 50ms Congruence 012: 2-sided congruence on finite semigroup . . . 3795μs Congruence 013: trivial 2-sided congruence on bicyclic monoid . . . 22ms Congruence 014: non-trivial 2-sided congruence on bicyclic monoid . . . 327μs Congruence 015: 2-sided congruence on free abelian monoid . . . 460μs Congruence 016: example where TC works but KB doesn't . . . 716μs Congruence 017: 2-sided congruence on finite semigroup . . . 404μs Congruence 018: infinite fp semigroup from GAP library . . . 705μs Congruence 019: 2-sided cong. on fp semigroup with infinite [...] . . . 364μs Congruence 020: trivial cong. on an fp semigroup . . .  -- with compute size 344μs  -- with don't compute size 343μs Congruence 021: duplicate generators . . . 473μs Congruence 022: non-trivial classes . . . 1178μs Congruence 023: right congruence on finite semigroup . . . 321ms Congruence 024: redundant generating pairs . . . 121μs Congruence 025: 2-sided cong. on free semigroup . . . 91μs Congruence 026: is_quotient_obviously_(in)finite . . . 1067μs Congruence 027: less . . . 464μs Congruence 028: 2-sided congruences of BMat8 semigroup . . . 182ms Congruence 029: left congruence on finite semigroup . . . 658μs Congruence 030: right congruence on finite semigroup . . . 757μs Congruence 031: right congruence on finite semigroup . . . 1167μs Congruence 032: contains . . . 306μs Congruence 033: stellar_monoid S2 . . . 850μs Congruence 034: stellar_monoid S3 . . . 981μs Congruence 035: stellar_monoid S4 . . . 2096μs Congruence 036: stellar_monoid S5 . . . 8791μs Congruence 037: stellar_monoid S6 . . . 81ms Congruence 038: stellar_monoid S7 . . . 848ms Congruence 039: left cong. on an f.p. semigroup . . . 1423μs Congruence 040: 2-sided cong. on infinite f.p. semigroup . . . 208μs Congruence 041: 2-sided congruence constructed from type only . . . 440μs Congruence 042: const_contains . . . 809μs Congruence 043: no winner . . . 10ms Congruence 044: congruence over smalloverlap . . . 14ms CongruenceByPairs 001: (cong) 2-sided cong. on finite semigroup . . . 684μs CongruenceByPairs 002: (cong) left congruence on finite semigroup . . . 276μs CongruenceByPairs 003: (cong) right congruence on finite semigroup . . . 269μs CongruenceByPairs 004: (cong) trivial congruence on finite s [...] . . . 214μs CongruenceByPairs 005: (cong) trivial left congruence on fin [...] . . . 184μs CongruenceByPairs 006: (cong) trivial right congruence on fi [...] . . . 180μs CongruenceByPairs 007: (cong) universal congruence on finite [...] . . . 860μs CongruenceByPairs 009: (cong) 2-sided congruence on finite s [...] . . . 769ms CongruenceByPairs 010: (cong) left congruence on big finite [...] . . . 31ms CongruenceByPairs 011: (cong) left congruence on TCE . . . 152μs CongruenceByPairs 012: (cong) is_quotient_obviously_finite . . . 82μs CongruenceByPairs 013: (cong) class_index_to_word/quotient . . .  -- with right congruence 8388μs  -- with left congruence 1178μs  -- with 2-sided congruence 6322μs CongruenceByPairs 014: (cong) const_word_to_class_index . . .  -- with right congruence 46μs  -- with left congruence 41μs  -- with 2-sided congruence 37μs CongruenceByPairs 015: (cong) size non-Element* . . . 28ms CongruenceInterface 000: add_pair . . .  -- with ToddCoxeter 79μs  -- with KnuthBendix 127μs  -- with CongruenceByPairs 100μs  -- with Congruence 478μs CongruenceInterface 001: contains/const_contains . . .  -- with ToddCoxeter and no parent 97μs  -- with KnuthBendix and no parent 109μs  -- with Congruence and parent 402μs  -- with CongruenceByPairs and parent 86μs CongruenceInterface 002: less . . .  -- with ToddCoxeter 75μs  -- with KnuthBendix 136μs  -- with CongruenceByPairs 91μs  -- with Congruence 369μs CongruenceInterface 003: is_quotient_obviously_(in)finite . . .  -- with ToddCoxeter 62μs  -- with KnuthBendix 105μs CongruenceInterface 004: is_quotient_obviously_(in)finite . . .  -- with CongruenceByPairs 94μs  -- with Congruence 284μs CongruenceInterface 005: parent_froidure_pin . . .  -- with ToddCoxeter 45μs  -- with KnuthBendix 30μs CongruenceInterface 006: parent_froidure_pin . . .  -- with CongruenceByPairs 93μs  -- with Congruence 298μs CongruenceInterface 007: cbegin/cend_ntc . . .  -- with ToddCoxeter 252μs  -- with KnuthBendix 1028μs CongruenceInterface 008: cbegin/cend_ntc . . .  -- with CongruenceByPairs 209μs  -- with Congruence 407μs CongruenceInterface 009: quotient is immutable . . .  -- with ToddCoxeter 77μs  -- with KnuthBendix 110μs  -- with Congruence 221μs CongruenceInterface 010: no generating pairs added . . .  -- with KnuthBendix and common behaviour 5423μs  -- with Congruence and common behaviour 5541μs  -- with ToddCoxeter 64μs CongruenceInterface 011: nr generators not set . . .  -- with ToddCoxeter 83μs  -- with KnuthBendix 83μs  -- with Congruence 79μs CongruenceInterface 012: no generating pairs . . . 171μs ConstIteratorStateless 001: ? . . . 10μs ConstIteratorStateless 002: ? . . . 9000ns Constants 001: Undefined . . . 19μs Constants 002: PositiveInfinity . . . 15μs Constants 003: NegativeInfinity . . . 14μs Constants 004: LimitMax . . . 14μs Duf 004: unite . . . 29μs Duf 006: compress . . . 15μs Duf 008: resize . . . 18μs Duf 009: resize . . . 13μs Duf 010: big chain . . . 16ms Duf 012: empty table . . . 11μs Duf 014: join . . . 12μs Duf 016: contains . . . 25μs Duf 018: swap . . . 28μs DynamicArray2 001: default constructor with 3 default args . . . 10μs DynamicArray2 002: default constructor with 2 default args . . . 10μs DynamicArray2 003: default constructor with 1 default args . . . 11μs DynamicArray2 004: default constructor with 0 default args . . . 11μs DynamicArray2 005: copy constructor with 1 default args . . . 17μs DynamicArray2 006: copy constructor with 0 default args . . . 19μs DynamicArray2 007: add_rows . . . 14μs DynamicArray2 008: add_rows . . . 12μs DynamicArray2 009: add_cols . . . 31μs DynamicArray2 010: set/get . . . 49μs DynamicArray2 011: append 1/2 . . . 123μs DynamicArray2 012: append 2/2 . . . 207μs DynamicArray2 013: count . . . 29μs DynamicArray2 014: clear . . . 11μs DynamicArray2 015: begin_row and end_row . . . 62μs DynamicArray2 016: cbegin_row and cend_row . . . 22μs DynamicArray2 017: iterator operator++ (postfix) . . . 234μs DynamicArray2 018: iterator operator++ (prefix) . . . 1469μs DynamicArray2 019: iterator operator-- (postfix) . . . 302μs DynamicArray2 020: iterator operator-- (prefix) . . . 298μs DynamicArray2 021: operator= . . . 15μs DynamicArray2 022: operator== and operator!= . . . 256μs DynamicArray2 023: empty and clear . . . 13μs DynamicArray2 024: max_size . . . 10μs DynamicArray2 025: swap . . . 52μs DynamicArray2 026: iterator arithmetic . . . 1191μs DynamicArray2 027: iterator comparison . . . 14μs DynamicArray2 028: iterator operator= . . . 11μs DynamicArray2 029: iterator operator[] . . . 64μs DynamicArray2 030: iterator operator-> . . . 23μs DynamicArray2 031: const_iterator operator++/-- . . . 209μs DynamicArray2 032: const_iterator operator++/-- . . . 9000ns DynamicArray2 033: column iterators . . . 21μs DynamicArray2 034: column iterator arithmetic . . . 4706μs DynamicArray2 035: iterator assignment constructor . . . 1299μs DynamicArray2 036: reserve method . . . 93μs DynamicArray2 037: erase column . . . 15μs DynamicArray2 038: swap_rows . . . 12μs DynamicArray2 039: apply_row_permutation . . . 12μs DynamicArray2 040: swap . . . 11μs DynamicArray2 041: shrink_rows_to . . . 16μs DynamicArray2 042: shrink_rows_to - for range . . . 16μs FastestBMat 046: check no throw . . . 16μs FelschTree 000: previously failing example . . . 26μs Forest 001: test forest . . . 53μs FpSemigroup 001: Renner monoid type B2 (E. G. presentation), q = 1 . . . 808μs FpSemigroup 002: Renner monoid type B2 (E. G. presentation), q = 0 . . . 792μs FpSemigroup 003: Renner monoid type B3 (E. G. presentation), q = 1 . . . 61ms FpSemigroup 004: Renner monoid type B3 (E. G. presentation), q = 0 . . . 63ms FpSemigroup 005: Renner monoid type B2 (Gay-Hivert presentat [...] . . . 804μs FpSemigroup 006: Renner monoid type B2 (Gay-Hivert presentat [...] . . . 792μs FpSemigroup 007: Renner monoid type B3 (Gay-Hivert presentat [...] . . . 3481μs FpSemigroup 008: Renner monoid type B3 (Gay-Hivert presentat [...] . . . 6026μs FpSemigroup 009: Renner monoid type B4 (Gay-Hivert presentat [...] . . . 364ms FpSemigroup 010: Renner monoid type B4 (Gay-Hivert presentat [...] . . . 434ms FpSemigroup 013: Renner monoid type D2 (E. G. presentation), q = 1 . . . 1408μs FpSemigroup 014: Renner monoid type D2 (E. G. presentation), q = 0 . . . 1479μs FpSemigroup 015: Renner monoid type D3 (E. G. presentation), q = 1 . . . 5997μs FpSemigroup 016: Renner monoid type D3 (E. G. presentation), q = 0 . . . 5426μs FpSemigroup 017: Renner monoid type D4 (E. G. presentation), q = 1 . . . 535ms FpSemigroup 018: Renner monoid type D4 (E. G. presentation), q = 0 . . . 526ms FpSemigroup 019: Renner monoid type D2 (Gay-Hivert presentat [...] . . . 1832μs FpSemigroup 020: Renner monoid type D2 (Gay-Hivert presentat [...] . . . 1735μs FpSemigroup 021: Renner monoid type D3 (Gay-Hivert presentat [...] . . . 6398μs FpSemigroup 022: Renner monoid type D3 (Gay-Hivert presentat [...] . . . 5459μs FpSemigroup 023: Renner monoid type D4 (Gay-Hivert presentat [...] . . . 109ms FpSemigroup 024: Renner monoid type D4 (Gay-Hivert presentat [...] . . . 124ms FpSemigroup 029: Rook monoid R5, q = 0 . . . 7948μs FpSemigroup 030: Rook monoid R5, q = 1 . . . 8019μs FpSemigroup 031: Rook monoid R6, q = 0 . . . 56ms FpSemigroup 032: Rook monoid R6, q = 1 . . . 55ms FpSemigroup 033: normal_form . . . 432μs FpSemigroup 034: for a finite semigroup . . . 1099μs FpSemigroup 035: finite fp semigroup, dihedral group of order 6 . . . 838μs FpSemigroup 036: finite fp semigroup, size 16 . . . 1166μs FpSemigroup 037: finite fp semigroup, size 16 . . . 1852μs FpSemigroup 038: fp semigroup, size 240 . . . 1359μs FpSemigroup 039: add_rule . . . 468μs FpSemigroup 040: add_rule . . . 269μs FpSemigroup 041: equal_to . . . 452μs FpSemigroup 042: cbegin/cend_rules . . . 149μs FpSemigroup 043: semigroup of size 3 . . . 647μs FpSemigroup 044: run_for/until . . . 3386μs FpSemigroup 045: constructors . . . 330μs FpSemigroup 046: set_inverses . . . 289μs FpSemigroup 047: smalloverlap . . . 17ms FpSemigroup 048: quaternion group Q8 . . . 723μs FpSemigroup 049: symmetric group Coxeter presentation . . . 19ms FpSemigroupByPairs 029: (fpsemi) 2-sided congruence on finit [...] . . . 938μs FpSemigroupByPairs 030: (fpsemi) 2-sided congruence on finit [...] . . . 908μs FpSemigroupInterface 000: run with no alphabet . . .  -- with ToddCoxeter 128μs  -- with KnuthBendix 78μs  -- with FpSemigroup 90μs FpSemigroupInterface 001: equal_to . . .  -- with ToddCoxeter and human readable alphabet 2375μs  -- with KnuthBendix and human readable alphabet 7149μs  -- with FpSemigroup and human readable alphabet 6517μs  -- with FpSemigroupByPairs 4028μs FpSemigroupInterface 002: normal_form . . .  -- with ToddCoxeter 268μs  -- with KnuthBendix 376μs  -- with FpSemigroup 676μs FpSemigroupInterface 003: set_alphabet (1/2) . . .  -- with ToddCoxeter 178μs  -- with KnuthBendix 137μs  -- with FpSemigroup 153μs FpSemigroupInterface 004: set_alphabet (2/2) . . . 1605μs FpSemigroupInterface 005: add_rule after finished . . .  -- with ToddCoxeter and human readable alphabet 231μs  -- with KnuthBendix and human readable alphabet 309μs  -- with FpSemigroup and human readable alphabet 574μs  -- with FpSemigroupByPairs 1575μs FpSemigroupInterface 006: add_rule with equal words (1/2) . . .  -- with ToddCoxeter and human readable alphabet 348μs  -- with KnuthBendix and human readable alphabet 465μs  -- with FpSemigroup and human readable alphabet 595μs  -- with FpSemigroupByPairs 331μs FpSemigroupInterface 007: add_rule with equal words (2/2) . . .  -- with ToddCoxeter 72μs  -- with KnuthBendix 62μs  -- with FpSemigroup 73μs FpSemigroupInterface 008: add_rule with word_type . . .  -- with ToddCoxeter 112μs  -- with KnuthBendix 113μs  -- with FpSemigroup 150μs FpSemigroupInterface 009: add_rule with empty word (1/2) . . .  -- with ToddCoxeter 91μs  -- with FpSemigroup 94μs FpSemigroupInterface 010: add_rule with empty word (1/2) . . . 51μs FpSemigroupInterface 011: add_rules (1/3) . . .  -- with ToddCoxeter 110μs  -- with KnuthBendix 89μs  -- with FpSemigroup 101μs FpSemigroupInterface 012: add_rules (2/3) . . . 651μs FpSemigroupInterface 013: add_rules (3/3) . . .  -- with ToddCoxeter 78μs  -- with KnuthBendix 64μs  -- with FpSemigroup 131μs FpSemigroupInterface 014: set_identity (1/3) . . .  -- with ToddCoxeter 190μs  -- with KnuthBendix 173μs  -- with FpSemigroup 259μs FpSemigroupInterface 015: set_identity (2/3) . . . 396μs FpSemigroupInterface 016: set_identity (3/3) . . .  -- with ToddCoxeter 134μs  -- with KnuthBendix 156μs  -- with FpSemigroup 200μs FpSemigroupInterface 017: identity . . .  -- with ToddCoxeter 73μs  -- with KnuthBendix 59μs  -- with FpSemigroup 69μs FpSemigroupInterface 018: set_inverses + inverses (1/2) . . .  -- with ToddCoxeter 218μs  -- with KnuthBendix 209μs  -- with FpSemigroup 322μs FpSemigroupInterface 019: set_inverses + inverses (2/2) . . . 448μs FpSemigroupInterface 020: is_obviously_infinite (1/2) . . .  -- with ToddCoxeter 235μs  -- with KnuthBendix 317μs  -- with FpSemigroup 561μs FpSemigroupInterface 021: is_obviously_infinite (2/2) . . . 84μs FpSemigroupInterface 022: is_obviously_finite (1/2) . . .  -- with ToddCoxeter 241μs  -- with KnuthBendix 280μs  -- with FpSemigroup 541μs FpSemigroupInterface 023: is_obviously_finite (2/2) . . . 61μs FpSemigroupInterface 024: to_gap_string (1/3) . . .  -- with ToddCoxeter 57μs  -- with KnuthBendix 46μs  -- with FpSemigroup 103μs FpSemigroupInterface 025: to_gap_string (2/3) . . . 32μs FpSemigroupInterface 026: to_gap_string (3/3) . . . 50μs FroidurePin 015: (BMat8) regular boolean mat monoid 4 . . . 125ms FroidurePin 016: (BMat8) exception zero generators given . . . 19μs FroidurePin 017: (BMat8) exception word_to_element . . . 121μs FroidurePin 018: (BMat8) exception prefix . . . 2478μs FroidurePin 019: (BMat8) exception suffix . . . 27μs FroidurePin 020: (BMat8) exception first_letter . . . 1223μs FroidurePin 021: (BMat8) exception final_letter . . . 26μs FroidurePin 022: (BMat8) exception current_length . . . 1221μs FroidurePin 023: (BMat8) exception product_by_reduction . . . 1605μs FroidurePin 024: (BMat8) exception fast_product . . . 1663μs FroidurePin 025: (BMat8) exception is_idempotent . . . 62ms FroidurePin 026: (BMat8) copy constructor . . .  -- with fully enumerated 72ms  -- with partially enumerated 54ms  -- with not enumerated 49ms FroidurePin 027: (BMat8) cbegin/end_rules . . . 67μs FroidurePin 031: (integers) . . . 210μs FroidurePin 039: (pairs of integers) non-trivial user type . . . 37μs FroidurePin 055: (tropical max-plus semiring matrices) . . . 315μs FroidurePin 061: projective max plus matrix . . . 1218μs FroidurePin 062: projective max plus matrix . . . 43μs FroidurePin> 009: small example 2 . . . 55μs FroidurePin> 005: small example 1 . . . 141μs FroidurePin> 007: regular bmat monoid 4 . . . 85ms FroidurePin> 011: small example 3 . . . 660μs FroidurePin> 006: small example 1 . . . 191μs FroidurePin> 008: regular bmat monoid 4 . . . 110ms FroidurePin> 010: small example 2 . . . 57μs FroidurePin> 012: small example 3 . . . 895μs FroidurePin 000: small example 1 . . . 196μs FroidurePin 001: default constructed . . . 131μs FroidurePin 002: small example 2 . . . 60μs FroidurePin 004: exception: is_idempotent . . . 170μs FroidurePin> 033: Example 000 . . . 866μs FroidurePin> 035: Example 001 . . . 54μs FroidurePin> 032: Example 000 . . . 656μs FroidurePin> 034: Example 001 . . . 45μs FroidurePin 036: exception: current_position . . . 214μs FroidurePin 037: exception: word_to_element . . . 81μs FroidurePin 038: exception: prefix, suffix, first_letter . . . 21ms FroidurePin> 040: Example 000 . . . 92μs FroidurePin> 041: Example 000 . . . 74μs FroidurePin> 046: Example 005 . . . 193μs FroidurePin> 047: Example 005 . . . 210μs FroidurePin> 048: Example 005 . . . 204μs FroidurePin> 044: Example 004 . . . 36μs FroidurePin> 045: Example 004 . . . 37μs FroidurePin> 049: Example 006 . . . 1306μs FroidurePin> 050: Example 006 . . . 1558μs FroidurePin> 051: Example 006 . . . 1605μs FroidurePin> 052: Example 007 . . . 168μs FroidurePin> 053: Example 007 . . . 190μs FroidurePin> 054: Example 007 . . . 203μs FroidurePin 056: example 1 . . . 276μs FroidurePin 057: example 2 . . . 228μs FroidurePin> 058: . . . 809μs FroidurePin> 059: . . . 61μs FroidurePin> 060: exceptions: add_generator(s) . . . 66μs FroidurePin> 065: no exception zero generators given . . . 33μs FroidurePin> 066: exception generators of different [...] . . . 79μs FroidurePin> 067: exception current_position . . . 52μs FroidurePin> 068: exception word_to_element . . . 50μs FroidurePin> 069: exception gens . . . 679μs FroidurePin> 070: exception prefix . . . 21ms FroidurePin> 071: exception suffix . . . 54ms FroidurePin> 072: exception first_letter . . . 55μs FroidurePin> 073: exception final_letter . . . 47μs FroidurePin> 074: exception current_length . . . 95μs FroidurePin> 075: exception product_by_reduction . . . 1025μs FroidurePin> 076: exception fast_product . . . 468μs FroidurePin> 077: exception current_position . . . 670μs FroidurePin> 078: exception is_idempotent . . . 737μs FroidurePin> 079: exception add_generators . . . 49μs FroidurePin> 080: multithread number_of_idempotents . . . 630μs FroidurePin> 081: small semigroup . . . 34μs FroidurePin> 082: large semigroup . . . 9611μs FroidurePin> 083: at, position, current_* . . . 9717μs FroidurePin> 084: run . . . 8956μs FroidurePin> 085: run [many stops and starts] . . . 9123μs FroidurePin> 086: factorisation, length [1 element] . . . 9243μs FroidurePin> 087: factorisation, products [all elements] . . . 9460μs FroidurePin> 088: first/final letter, prefix, suffi [...] . . . 6714μs FroidurePin> 089: current_position [standard] . . . 25μs FroidurePin> 090: current_position [duplicate gens] . . . 14ms FroidurePin> 091: current_position [after add_generators] . . . 7613μs FroidurePin> 092: cbegin_idempotents/cend [1 thread] . . . 7813μs FroidurePin> 093: idempotent_cend/cbegin [1 thread] . . . 7474μs FroidurePin> 094: is_idempotent [1 thread] . . . 7033μs FroidurePin> 096: finished, started . . . 6774μs FroidurePin> 097: current_position . . . 1562μs FroidurePin> 098: sorted_position, sorted_at . . . 8474μs FroidurePin> 099: right/left Cayley graph . . . 31ms FroidurePin> 100: iterator . . . 10ms FroidurePin> 101: reverse iterator . . . 10ms FroidurePin> 102: iterator arithmetic . . . 27ms FroidurePin> 103: iterator sorted . . . 23ms FroidurePin> 104: iterator sorted arithmetic . . . 30ms FroidurePin> 105: copy [not enumerated] . . . 7087μs FroidurePin> 106: copy_closure [not enumerated] . . . 44ms FroidurePin> 107: copy_add_generators [not enumerated] . . . 40ms FroidurePin> 108: copy [partly enumerated] . . . 7504μs FroidurePin> 109: copy_closure [partly enumerated] . . . 11ms FroidurePin> 110: copy_add_generators [partly enumerated] . . . 7631μs FroidurePin> 111: copy [fully enumerated] . . . 10ms FroidurePin> 112: copy_closure [fully enumerated] . . . 12ms FroidurePin> 113: copy_add_generators [fully enumerated] . . . 10ms FroidurePin> 114: relations [duplicate gens] . . . 190μs FroidurePin> 115: relations . . . 9232μs FroidurePin> 116: relations [copy_closure, duplicat [...] . . . 12ms FroidurePin> 117: relations [copy_add_generators, d [...] . . . 12ms FroidurePin> 118: relations [from copy, not enumerated] . . . 8009μs FroidurePin> 119: relations [from copy, partly enum [...] . . . 15ms FroidurePin> 120: relations [from copy, fully enumerated] . . . 13ms FroidurePin> 121: relations [from copy_closure, not [...] . . . 13ms FroidurePin> 122: relations [from copy_add_generato [...] . . . 8036μs FroidurePin> 123: relations [from copy_closure, par [...] . . . 12ms FroidurePin> 124: relations [from copy_add_generato [...] . . . 9627μs FroidurePin> 125: relations [from copy_closure, ful [...] . . . 14ms FroidurePin> 126: relations [from copy_add_generato [...] . . . 12ms FroidurePin> 127: add_generators [duplicate generators] . . . 388μs FroidurePin> 128: add_generators [incremental 1] . . . 455μs FroidurePin> 129: add_generators [incremental 2] . . . 472μs FroidurePin> 130: closure [duplicate generators] . . . 228μs FroidurePin> 131: closure . . . 98μs FroidurePin> 132: factorisation . . . 22μs FroidurePin> 134: minimal_factorisation . . . 54μs FroidurePin> 135: batch_size (for an extremely larg [...] . . . 20μs FroidurePin> 137: exception: generators of differen [...] . . . 24μs FroidurePin> 138: exception: current_position . . . 37μs FroidurePin> 139: exception: word_to_element . . . 52μs FroidurePin> 140: exception: gens, current_position . . . 947μs FroidurePin> 141: exception: add_generators . . . 30μs HPCombi 000: Transf16 . . . 25μs HPCombi 001: One specialisation . . . 10μs HPCombi 002: One specialisation . . . 11μs HPCombi 003: Swap specialisation . . . 10μs HPCombi 004: Swap specialisation . . . 10μs HPCombi 005: Inverse specialisation . . . 9000ns HPCombi 006: ImageRightAction . . . 12μs HPCombi 007: ImageLeft/RightAction . . . 15μs HPCombi 008: Product . . . 10μs HPCombi 009: Degree/Complexity . . . 10μs KBE 000: constructors . . . 41μs KBE 001: test . . . 62μs KBE 002: factorisation . . . 50μs KBE 003: swap . . . 31μs KBE 004: adapters . . . 27μs KBE 005: conversions . . . 27μs Kambites 000: (fpsemi) MT test 4 (std::string) . . . 6933μs Kambites 001: (fpsemi) MT test 4 (MultiStringView) . . . 7693μs Kambites 002: (fpsemi) number_of_pieces (std::string) . . . 121μs Kambites 003: (fpsemi) number_of_pieces (MultiStringView) . . . 107μs Kambites 004: (fpsemi) small_overlap_class (std::string) . . . 3939μs Kambites 005: (fpsemi) small_overlap_class (MultiStringView) . . . 3915μs Kambites 006: (fpsemi) random (std::string) . . . 11ms Kambites 007: (fpsemi) random (MultiStringView) . . . 10ms Kambites 008: (fpsemi) KnuthBendix 055 (std::string) . . . 17ms Kambites 009: (fpsemi) KnuthBendix 055 (MultiStringView) . . . 19ms Kambites 010: (fpsemi) smalloverlap/gap/test.gi:85 (std::string) . . . 72μs Kambites 011: (fpsemi) smalloverlap/gap/test.gi:85 (MultiStr [...] . . . 64μs Kambites 012: (fpsemi) free semigroup . . . 12μs Kambites 013: (fpsemi) smalloverlap/gap/test.gi:49 (std::string) . . . 37ms Kambites 014: (fpsemi) smalloverlap/gap/test.gi:49 (MultiStr [...] . . . 48ms Kambites 015: (fpsemi) smalloverlap/gap/test.gi:63 (std::string) . . . 39ms Kambites 016: (fpsemi) smalloverlap/gap/test.gi:63 (MultiStr [...] . . . 52ms Kambites 017: (fpsemi) smalloverlap/gap/test.gi:70 (std::string) . . . 142ms Kambites 018: (fpsemi) smalloverlap/gap/test.gi:70 (MultiStr [...] . . . 197ms Kambites 021: (fpsemi) code coverage (std::string) . . . 51μs Kambites 022: (fpsemi) code coverage (MultiStringView) . . . 32μs Kambites 023: (fpsemi) prefix (std::string) . . . 71μs Kambites 024: (fpsemi) prefix (MultiStringView) . . . 102μs Kambites 025: (fpsemi) normal_form (Example 3.15) (std::string) . . . 74μs Kambites 026: (fpsemi) normal_form (Example 3.15) (MultiStri [...] . . . 99μs Kambites 027: (fpsemi) normal_form (Example 3.16) (std::string) . . . 53μs Kambites 028: (fpsemi) normal_form (Example 3.16) (MultiStri [...] . . . 72μs Kambites 029: (fpsemi) normal_form (Example 3.16) more exhau [...] . . . 72ms Kambites 030: (fpsemi) normal_form (Example 3.16) more exhau [...] . . . 77ms Kambites 031: (fpsemi) small presentation (std::string) . . . 83μs Kambites 032: (fpsemi) small presentation (MultiStringView) . . . 43μs Kambites 033: (fpsemi) non-smalloverlap (std::string) . . . 49μs Kambites 034: (fpsemi) non-smalloverlap (MultiStringView) . . . 47μs Kambites 035: (fpsemi) MT test 3 (std::string) . . . 50μs Kambites 036: (fpsemi) MT test 3 (MultiStringView) . . . 49μs Kambites 037: (fpsemi) MT test 5 (std::string) . . . 29μs Kambites 038: (fpsemi) MT test 5 (MultiStringView) . . . 29μs Kambites 039: (fpsemi) MT test 6 (std::string) . . . 43μs Kambites 040: (fpsemi) MT test 6 (MultiStringView) . . . 51μs Kambites 041: (fpsemi) MT test 10 (std::string) . . . 39μs Kambites 042: (fpsemi) MT test 10 (MultiStringView) . . . 45μs Kambites 043: (fpsemi) MT test 13 (std::string) . . . 28μs Kambites 044: (fpsemi) MT test 13 (MultiStringView) . . . 30μs Kambites 045: (fpsemi) MT test 14 (std::string) . . . 28μs Kambites 046: (fpsemi) MT test 14 (MultiStringView) . . . 29μs Kambites 047: (fpsemi) MT test 15 (std::string) . . . 40μs Kambites 048: (fpsemi) MT test 15 (MultiStringView) . . . 40μs Kambites 049: (fpsemi) MT test 16 (std::string) . . . 42μs Kambites 050: (fpsemi) MT test 16 (MultiStringView) . . . 43μs Kambites 051: (fpsemi) MT test 17 (std::string) . . . 131μs Kambites 052: (fpsemi) MT test 17 (MultiStringView) . . . 114μs Kambites 053: (fpsemi) weak C(4) not strong x 1 (std::string) . . . 659μs Kambites 054: (fpsemi) weak C(4) not strong x 1 (MultiStringView) . . . 707μs Kambites 055: (fpsemi) weak C(4) not strong x 2 (std::string) . . . 657μs Kambites 056: (fpsemi) weak C(4) not strong x 2 (MultiStringView) . . . 673μs Kambites 057: (fpsemi) weak C(4) not strong x 3 (std::string) . . . 467μs Kambites 058: (fpsemi) weak C(4) not strong x 3 (MultiStringView) . . . 457μs Kambites 059: (fpsemi) weak C(4) not strong x 4 (std::string) . . . 59μs Kambites 060: (fpsemi) weak C(4) not strong x 4 (MultiStringView) . . . 81μs Kambites 061: (fpsemi) weak C(4) not strong x 5 (std::string) . . . 25μs Kambites 062: (fpsemi) weak C(4) not strong x 5 (MultiStringView) . . . 22μs Kambites 063: (fpsemi) weak C(4) not strong x 6 (std::string) . . . 35μs Kambites 064: (fpsemi) weak C(4) not strong x 6 (MultiStringView) . . . 38μs Kambites 065: (fpsemi) Konovalov example (std::string) . . . 23μs Kambites 066: (fpsemi) Konovalov example (MultiStringView) . . . 21μs Kambites 067: (fpsemi) long words (std::string) . . . 752ms Kambites 068: (fpsemi) long words (MultiStringView) . . . 46ms Kambites 075: (cong) example 1 . . . 42μs Kambites 076: (cong) example 2 . . . 98μs Kambites 077: (cong) code coverage . . . 7175μs Kambites 078: (cong) large number of rules . . . 283ms KnuthBendix 000: (fpsemi) confluent fp semigroup 1 (infinite) . . . 84μs KnuthBendix 001: (fpsemi) confluent fp semigroup 2 (infinite) . . . 98μs KnuthBendix 002: (fpsemi) confluent fp semigroup 3 (infinite) . . . 70μs KnuthBendix 003: (fpsemi) non-confluent fp semigroup from wi [...] . . . 139μs KnuthBendix 004: (fpsemi) Example 5.1 in Sims (infinite) . . . 123μs KnuthBendix 005: (fpsemi) Example 5.1 in Sims (infinite) . . . 116μs KnuthBendix 006: (fpsemi) Example 5.3 in Sims . . . 94μs KnuthBendix 007: (fpsemi) Example 5.4 in Sims . . . 102μs KnuthBendix 008: (fpsemi) Example 6.4 in Sims (size 168) . . . 7029μs KnuthBendix 009: (fpsemi) . . . 48ms KnuthBendix 010: (fpsemi) SL(2, 7) from Chapter 3, Propositi [...] . . . 69ms KnuthBendix 011: (fpsemi) F(2, 5) - Chapter 9, Section 1 in [...] . . . 370μs KnuthBendix 012: (fpsemi) Reinis example 1 . . . 214μs KnuthBendix 013: redundant_rule (std::string) . . . 100ms KnuthBendix 014: redundant_rule (word_type) . . . 10ms KnuthBendix 019: (fpsemi) C(4) monoid . . . 46μs KnuthBendix 020: (cong) Chinese monoid . . . 129μs KnuthBendix 021: (from kbmag/standalone/kb_data/f25monoid) . . . 428μs KnuthBendix 022: (from kbmag/standalone/kb_data/degen4a) . . . 42ms KnuthBendix 023: (from kbmag/standalone/kb_data/torus) . . . 2832μs KnuthBendix 024: (from kbmag/standalone/kb_data/3a6) . . . 219ms KnuthBendix 025: (from kbmag/standalone/kb_data/f2) . . . 60μs KnuthBendix 026: (from kbmag/standalone/kb_data/s16) . . . 57ms KnuthBendix 027: (from kbmag/standalone/kb_data/a4monoid) . . . 64μs KnuthBendix 028: (from kbmag/standalone/kb_data/degen3) . . . 32μs KnuthBendix 029: (from kbmag/standalone/kb_data/ab1) . . . 32μs KnuthBendix 030: (from kbmag/standalone/kb_data/degen2) . . . 27μs KnuthBendix 031: (from kbmag/standalone/kb_data/f25) . . . 367μs KnuthBendix 032: (from kbmag/standalone/kb_data/237) . . . 859μs KnuthBendix 033: (from kbmag/standalone/kb_data/c2) . . . 26μs KnuthBendix 034: (from kbmag/standalone/kb_data/cosets) . . . 185μs KnuthBendix 035: Example 5.1 in Sims (KnuthBendix 09 again) . . . 51μs KnuthBendix 036: (from kbmag/standalone/kb_data/nilp2) . . . 36μs KnuthBendix 037: Example 6.4 in Sims . . . 11ms KnuthBendix 038: KnuthBendix 071 again . . . 544μs KnuthBendix 039: Example 5.4 in Sims (KnuthBendix 11 again) [...] . . . 177μs KnuthBendix 040: Example 5.4 in Sims (KnuthBendix 11 again) [...] . . . 120μs KnuthBendix 041: operator<< . . . 48μs KnuthBendix 042: confluence_interval . . . 26μs KnuthBendix 043: max_overlap . . . 25μs KnuthBendix 044: (fpsemi) (from kbmag/standalone/kb_data/d22 [...] . . . 984μs KnuthBendix 045: (fpsemi) (from kbmag/standalone/kb_data/d22 [...] . . . 1788μs KnuthBendix 046: (fpsemi) small example . . . 629μs KnuthBendix 047: code coverage . . . 73μs KnuthBendix 048: small overlap 1 . . . 60μs KnuthBendix 049: (from kbmag/standalone/kb_data/s9) . . . 1250μs KnuthBendix 050: (fpsemi) Chapter 11, Lemma 1.8 (q = 6, r = [...] . . . 480μs KnuthBendix 051: (fpsemi) Chapter 11, Section 2 (q = 6, r = [...] . . . 117μs KnuthBendix 052: (fpsemi) Chapter 8, Theorem 4.2 in NR (infinite) . . . 202μs KnuthBendix 053: (fpsemi) equal_to fp semigroup . . . 55μs KnuthBendix 054: (fpsemi) equal_to free semigroup . . . 61μs KnuthBendix 055: (fpsemi) from GAP smalloverlap gap/test.gi [...] . . . 353μs KnuthBendix 056: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 620μs KnuthBendix 057: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 620μs KnuthBendix 058: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 1691μs KnuthBendix 059: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 3944μs KnuthBendix 060: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 44μs KnuthBendix 061: (fpsemi) Von Dyck (2,3,7) group (infinite) . . . 443μs KnuthBendix 062: (fpsemi) Von Dyck (2,3,7) group - different [...] . . . 3841μs KnuthBendix 063: (fpsemi) rewriting system from KnuthBendixC [...] . . . 313μs KnuthBendix 064: (fpsemi) rewriting system from Congruence 20 . . . 39μs KnuthBendix 065: (fpsemi) (from kbmag/standalone/kb_data/ab2) . . . 92μs KnuthBendix 066: (fpsemi) (from kbmag/standalone/kb_data/d22 [...] . . . 1096μs KnuthBendix 067: (fpsemi) (from kbmag/standalone/kb_data/degen1) . . . 48μs KnuthBendix 068: (fpsemi) (from kbmag/standalone/kb_data/s4) . . . 276μs KnuthBendix 069: (fpsemi) fp semigroup (infinite) . . . 55μs KnuthBendix 070: (fpsemi) Chapter 11, Section 1 (q = 4, r = [...] . . . 1529μs KnuthBendix 071: (fpsemi) Chapter 11, Section 1 (q = 8, r = [...] . . . 92ms KnuthBendix 072: (fpsemi) Chapter 7, Theorem 3.9 in NR (size 240) . . . 2920μs KnuthBendix 073: (fpsemi) F(2, 5) - Chapter 9, Section 1 in [...] . . . 393μs KnuthBendix 074: (fpsemi) F(2, 6) - Chapter 9, Section 1 in NR . . . 370μs KnuthBendix 075: (fpsemi) Chapter 10, Section 4 in NR (infinite) . . . 740μs KnuthBendix 076: (fpsemi) Sym(5) from Chapter 3, Proposition [...] . . . 2450μs KnuthBendix 077: (fpsemi) SL(2, 7) from Chapter 3, Propositi [...] . . . 68ms KnuthBendix 078: (fpsemi) bicyclic monoid (infinite) . . . 55μs KnuthBendix 079: (fpsemi) plactic monoid of degree 2 (infinite) . . . 72μs KnuthBendix 080: (fpsemi) example before Chapter 7, Proposit [...] . . . 54μs KnuthBendix 081: (fpsemi) Chapter 7, Theorem 3.6 in NR (size 243) . . . 694μs KnuthBendix 082: (fpsemi) finite semigroup (size 99) . . . 232μs KnuthBendix 096: Sorouhesh . . . 348μs KnuthBendix 097: (fpsemi) transformation semigroup (size 4) . . . 67μs KnuthBendix 098: (fpsemi) transformation semigroup (size 9) . . . 64μs KnuthBendix 099: (fpsemi) transformation semigroup (size 88) . . . 685μs KnuthBendix 100: internal_string_to_word . . . 48μs KnuthBendix 101: (fpsemi) construct from shared_ptr . . . 652μs KnuthBendix 102: internal_string_to_word . . . 680μs KnuthBendix 103: (cong) free semigroup congruence (5 classes) . . . 87μs KnuthBendix 104: free semigroup congruence (6 classes) . . . 228μs KnuthBendix 105: (cong) free semigroup congruence (16 classes) . . . 289μs KnuthBendix 106: (cong) free semigroup congruence (6 classes) . . . 384μs KnuthBendix 107: (cong) free semigroup congruence (240 classes) . . . 2871μs KnuthBendix 108: (cong) free semigroup congruence (240 classes) . . . 2820μs KnuthBendix 109: (cong) less . . . 3418μs KnuthBendix 110: (cong) less . . . 162ms KnuthBendix 111: (cong) constructors . . . 232ms KnuthBendix 112: (cong) const_contains/contains . . . 161μs KnuthBendix 113: (cong) is_quotient_obviously_finite . . . 33μs KnuthBendix 114: (cong) class_index_to_word . . . 189μs KnuthBendix 115: (cong) quotient_froidure_pin . . . 151μs KnuthBendix 116: (cong) set_number_of_generators . . . 33μs KnuthBendix 117: (cong) number of classes when obv-inf . . . 49μs KnuthBendixCongruenceByPairs 016: non-trivial congruence on [...] . . . 175μs KnuthBendixCongruenceByPairs 017: non-trivial congruence on [...] . . . 163μs KnuthBendixCongruenceByPairs 018: non-trivial congruence on [...] . . . 224μs KnuthBendixCongruenceByPairs 019: non-trivial congruence on [...] . . . 223μs KnuthBendixCongruenceByPairs 020: trivial congruence on a fi [...] . . . 170μs KnuthBendixCongruenceByPairs 021: universal congruence on a [...] . . . 492μs KnuthBendixCongruenceByPairs 022: left congruence on a finit [...] . . . 239μs KnuthBendixCongruenceByPairs 023: finite group, Chapter 11, [...] . . . 3716μs KnuthBendixCongruenceByPairs 024: right congruence on infini [...] . . . 277μs KnuthBendixCongruenceByPairs 025: finite fp semigroup, dihed [...] . . . 281μs KnuthBendixCongruenceByPairs 026: finite fp semigroup, size 16 . . . 291μs KnuthBendixCongruenceByPairs 027: finite fp semigroup, size 16 . . . 846μs KnuthBendixCongruenceByPairs 028: infinite fp semigroup with [...] . . . 80μs Konieczny 000: test000> . . . 1080μs Konieczny 001: test000> . . . 759μs Konieczny 002: test001> . . . 11ms Konieczny 003: test001> . . . 8108μs Konieczny 006: exceptions . . . 41μs Konieczny 007: code coverage . . . 13ms Konieczny 008: code coverage . . . 10ms Konieczny 009: regular elements and idempotents . . . 90ms Konieczny 010: regular D-class 01 . . . 1039μs Konieczny 011: regular D-class 02 . . . 10ms Konieczny 012: regular D-class 04: contains . . . 37ms Konieczny 013: non-regular D-classes 01 . . . 1072μs Konieczny 014: RegularDClass . . . 641μs Konieczny 015: full bmat monoid 4 . . . 44ms Konieczny 017: regular generated bmat monoid 4 idempotents . . . 89ms Konieczny 019: my favourite example . . . 95ms Konieczny 020: another large example . . . 8670μs Konieczny 021: my favourite example transposed . . . 75ms Konieczny 024: exceptions . . . 1128μs Konieczny 025: 0-parameter constructor . . . 19ms Konieczny 026: non-regular D-classes 02 . . . 11ms Konieczny 028: partial perm . . . 104ms Konieczny 029: symmetric inverse monoid n = 8 . . . 19ms Konieczny 030: exceptions . . . 209ms Konieczny 031: transformations . . . 488μs Konieczny 032: transformations - JDM favourite example . . . 47ms Konieczny 033: transformations - large example . . . 278ms Konieczny 034: transformations - large example with stop . . . 279ms Konieczny 035: transformations - large example with run_until . . . 280ms Konieczny 036: transformations - large example with stop in Action . . . 280ms Konieczny 037: exceptions . . . 48μs Konieczny 038: transformations: contains . . . 583μs Konieczny 040: transformations - destructor coverage . . . 102ms Konieczny 041: current_number_D_classes . . . 102ms Konieczny 042: add_generator . . . 16μs Konieczny 043: add_generator . . . 19μs Matrix 000: BMat<2> . . . 79μs Matrix 001: BMat<> . . . 70μ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 . . . 39μs Matrix 007: BMat<> row_basis . . . 35μs Matrix 008: IntMat<3> . . . 15μs Matrix 009: IntMat<> . . . 17μ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<> . . . 18μs Matrix 016: MinPlusMat code cov . . . 9000ns Matrix 017: MaxPlusTruncMat<5, 2> . . . 15μs Matrix 018: MaxPlusTruncMat<5> . . . 19μs Matrix 019: MaxPlusTruncMat<> . . . 27μs Matrix 020: MaxPlusTruncMat<5, 4> . . . 16μs Matrix 021: MaxPlusTruncMat<5> . . . 18μs Matrix 022: MaxPlusTruncMat<> . . . 18μs Matrix 023: MaxPlusTruncMat<33, 3> . . . 27μs Matrix 024: MaxPlusTruncMat<33> . . . 25μs Matrix 025: MaxPlusTruncMat<> . . . 26μs Matrix 026: MaxPlusMat code cov . . . 10μs Matrix 027: MinPlusTruncMat<33, 3> . . . 27μs Matrix 028: MinPlusTruncMat<33> . . . 27μs Matrix 029: MinPlusTruncMat<> . . . 34μs Matrix 030: NTPMat<0, 3, 3, 3> . . . 15μs Matrix 031: NTPMat<0, 3> . . . 16μs Matrix 032: NTPMat<> . . . 35μs Matrix 033: NTPMat<0, 10, 4, 4> . . . 23μs Matrix 034: NTPMat<0, 10> . . . 20μs Matrix 035: NTPMat<> . . . 19μs Matrix 036: NTPMat<0, 10, 4, 4> . . . 20μs Matrix 037: NTPMat<0, 10> . . . 17μs Matrix 038: NTPMat<> . . . 18μs Matrix 039: NTPMat<33, 2, 3, 3> . . . 15μs Matrix 040: NTPMat<33, 2> . . . 14μs Matrix 041: NTPMat<> . . . 14μs Matrix 042: ProjMaxPlusMat<3> . . . 66μs Matrix 043: ProjMaxPlusMat<> . . . 52μs Matrix 044: exceptions . . . 33μs Matrix 045: code coverage . . . 31μs MultiStringView 000: catch all . . . 43μs MultiStringView 001: is_prefix . . . 13μs MultiStringView 002: erase . . . 15μs MultiStringView 003: iterators . . . 11μs MultiStringView 004: constructors (long) . . . 19μs MultiStringView 005: constructors (short) . . . 22μs MultiStringView 006: copy assignment (short assigned to long) . . . 13μs MultiStringView 007: copy assignment (short assigned to short) . . . 13μ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 . . . 19μs MultiStringView 011: pop_front . . . 42μs MultiStringView 012: append . . . 14μs MultiStringView 013: operators . . . 14μs MultiStringView 014: maximum_common_suffix . . . 14μs MultiStringView 015: deep tests . . . 10μs ObviouslyInfinite 011: Multiple rule additions . . . 40μs ObviouslyInfinite 012: A power of the generator 'b' does not [...] . . . 12μs ObviouslyInfinite 013: Preserves the number of occurrences o [...] . . . 12μs ObviouslyInfinite 014: Less relations than generators . . . 11μs ObviouslyInfinite 015: Relations preserve length . . . 13μs ObviouslyInfinite 016: Matrix has non empty kernel . . . 14μs ObviouslyInfinite 017: Free product of trivial semigroups . . . 11μs ObviouslyInfinite 018: Another free product . . . 12μs ObviouslyInfinite 019: Infinite but not obviously so . . . 13μs ObviouslyInfinite 020: Finite semigroup . . . 15μs PBR 001: universal product with convenience constructor . . . 42μs PBR 002: universal product . . . 18μs PBR 003: product [bigger than previous] . . . 27μs PBR 004: hash . . . 10μs PBR 005: delete/copy . . . 18μs PBR 006: exceptions . . . 129μs PBR 007: operators . . . 70μs PBR 008: to_string . . . 17μs PBR 009: identity . . . 45μs PBR 010: adapters . . . 9000ns Pool 000: initial . . . 22μs Pool 001: bmat . . . 22μs Pool 002: PoolGuard . . . 18μs Pool 003: transformation products . . . 14μs Presentation 000: vectors of ints . . . 68μs Presentation 001: strings . . . 58μs Presentation 002: constructors (word_type) . . . 21μs Presentation 003: constructors (StaticVector1) . . . 27μs Presentation 004: constructors (std::string) . . . 21μs Presentation 005: alphabet + letters (word_type) . . . 113μs Presentation 006: alphabet + letters (std::string) . . . 34μs Presentation 007: contains_empty_word . . . 12μs Presentation 008: validate_rules throws . . . 37μs Presentation 009: helpers add_rule(s) . . . 70μs Presentation 010: helpers add_rule(s) (std::string) . . . 26μs Presentation 011: helpers add_identity_rules (std::vector/St [...] . . . 35μs Presentation 012: helpers add_identity_rules (std::string) . . . 23μs Presentation 013: helpers add_inverse_rules (all) . . . 147μs Presentation 014: helpers add_inverse_rules (std::string) . . . 35μs Presentation 015: helpers remove_duplicate_rules . . . 58μs Presentation 016: helpers reduce_complements . . . 98μs Presentation 017: helpers sort_each_rule . . . 52μs Presentation 018: helpers sort_rules . . . 55μs Presentation 019: helpers longest_common_subword/replace_subword . . . 210μs Presentation 020: helpers redundant_rule . . . 5392μs Presentation 021: helpers shortlex_compare_concat . . . 11μs Presentation 022: helpers remove_trivial_rules . . . 56μs Presentation 023: helpers replace_subword (existing, replacement) . . . 47μs Presentation 024: helpers longest_rule . . . 85μs Presentation 025: helpers longest_rule_length . . . 75μs Presentation 026: helpers remove_redundant_generators . . . 97μs Presentation 027: helpers reverse . . . 20μs Presentation 028: in_alphabet . . . 24μs Presentation 029: replace_subword with empty word . . . 19μs Presentation 030: helpers replace_word . . . 36μs Presentation 031: clear . . . 11μs Presentation 032: letter . . . 29μs Presentation 033: normalize_alphabet . . . 15μs Presentation 034: longest_common_subword issue . . . 274μs Presentation 035: helpers add_zero_rules (std::vector/Static [...] . . . 39μs Presentation 036: helpers add_zero_rules (std::string) . . . 22μs Presentation 037: make_semigroup . . . 41μs Presentation 038: greedy_reduce_length . . . 180μs Presentation 039: aaaaaaaab = aaaaaaaaab strong compression . . . 48μs Presentation 040: change_alphabet . . . 59μs Presentation 041: sort_rules bug . . . 229μs Presentation 042: first_unused_letter/letter . . . 152μs Presentation 043: case where strong compression doesn't work . . . 30μs Presentation 044: proof that . . . 35μs Presentation 045: decompression . . . 17μ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 . . . 1011μs Runner 002: run_for . . . 192ms Runner 003: run_for . . . 25ms Runner 004: started . . . 1028μs Runner 005: run_until . . . 10ms Runner 006: kill . . . 28μs Runner 007: copy constructor . . . 10ms Runner 008: report . . . 20ms Runner 009: run_until with function pointer . . . 27μs SchreierSims 001: trivial perm. group (degree 1) . . . 49μs SchreierSims 002: trivial perm. group (degree 2) . . . 28μs SchreierSims 003: trivial perm. group (degree 500) . . . 348μs SchreierSims 004: symmetric perm. group (degree 5) . . . 49μs SchreierSims 005: symmetric perm. group (degree 8) . . . 46μs SchreierSims 006: symmetric perm. group (degree 9) . . . 58μs SchreierSims 007: alternating perm. group (degree 12) . . . 87μs SchreierSims 008: symmetric perm. group (degree 16) . . . 353μs SchreierSims 009: alternating perm. group (degree 15) . . . 197μs SchreierSims 010: alternating perm. group (degree 16) . . . 412μs SchreierSims 011: dihedral perm. group (order 10) . . . 31μs SchreierSims 012: dihedral perm. group (order 200) . . . 2241μs SchreierSims 013: perm. group T (order 12) . . . 29μs SchreierSims 014: quaternion perm. group (order 8) . . . 32μs SchreierSims 015: perm. group (order 84129611558952960) . . . 266ms SchreierSims 016: perm. group SL(3, 5) (order 372000) . . . 1385μs SchreierSims 017: perm. group PSL(4, 8) (order 34558531338240) . . . 106ms SchreierSims 018: perm. Mathieu group M11 (order 7920) . . . 100μs SchreierSims 019: perm. Mathieu group M24 (order 244823040) . . . 281μs SchreierSims 020: perm. Janko Group J1 (order 175560) . . . 3060μs SchreierSims 021: perm. Hall-Janko group (order 604800) . . . 466μs SchreierSims 022: perm. Hall-Janko group (alt.) (order 604800) . . . 25ms SchreierSims 023: perm. Conway group Co3 (order 495766656000) . . . 8721μs SchreierSims 024: perm. Conway group Co3 (alt.) (order 49576 [...] . . . 15ms SchreierSims 025: perm. Suzuki group (order 448345497600) . . . 88ms SchreierSims 027: perm. Held group (order 4030387200) . . . 128ms SchreierSims 028: perm. group C2 x C2 x C2 (order 8) . . . 27μs SchreierSims 029: perm. group C2 x C2 x C2 x C2 (order 16) . . . 34μs SchreierSims 030: perm. group (S5 x S5) : C2 (order 28800) . . . 63μs SchreierSims 031: perm. group C3 x D8 x A5 (order 1440) . . . 62μs SchreierSims 032: perm. group GL(4, 3) (order 24261120) . . . 639μs SchreierSims 033: perm. group PSL(3, 7) (order 1876896) . . . 747μs SchreierSims 037: symmetric perm. group (degree 5) . . . 27μs SchreierSims 038: alternating perm. group (degree 17) . . . 3390μs SchreierSims 039: exceptions . . . 78μs SchreierSims 040: exceptions . . . 40μs SchreierSims 041: trivial group . . . 31μs SchreierSims 042: A17 bug . . . 3038μs SchreierSims 043: orbits_lookup test . . . 479μs SchreierSims 044: transversal_element and inversal_element test . . . 1131μs SchreierSimsHelper 001: trivial perm. group intersection (de [...] . . . 26μs SchreierSimsHelper 002: trivial perm. group intersection (de [...] . . . 18μs SchreierSimsHelper 003: cyclic group intersection (degree 13) . . . 33μs SchreierSimsHelper 004: D10 and Z5 intersection . . . 26μs SchreierSimsHelper 005: D8 and Q8 intersection . . . 18μs SchreierSimsHelper 006: primitive on 8 points intersection . . . 30μs SchreierSimsHelper 007: primitive on 8 points intersection ( [...] . . . 27μs SchreierSimsHelper 008: A13 and PGL(2, 11) intersection . . . 147μs SchreierSimsHelper 009: A13 and PGL(2, 11) intersection (swa [...] . . . 139μs SchreierSimsHelper 012: 3^3:13 and 3^3.2.A(4) intersection . . . 156μs SchreierSimsHelper 015: 3^3(S(4) x 2) and ASL(3, 3) intersection . . . 334μs SchreierSimsHelper 016: 7^2:3 x Q(8) and 7^2:D(2*6) intersection . . . 404μs SchreierSimsHelper 018: D(2*53) and 53:13 intersection . . . 230μs SchreierSimsHelper 019: 2^6:(7 x D_14) and PSL(2, 6)^2.4 int [...] . . . 1983μs SchreierSimsHelper 020: 2^6:(S_3 x GL(3, 2)) and 2.6:Alt(7) [...] . . . 5006μs SchreierSimsHelper 022: PSL(2, 127) and AGL(1, 2^7) intersection . . . 8274μs SchreierSimsHelper 023: PSL(3, 4).2 and PSL(3, 4).2 (nontriv [...] . . . 1698μs SchreierSimsHelper 024: PSL(3, 4).Sym(3) and PSL(3, 4).2 int [...] . . . 1810μs SchreierSimsHelper 025: 3^4:5:4 and D_16:4 intersection . . . 997μs Sims1 000: fp example 1 . . . 1154μs Sims1 001: fp example 2 . . . 1563μs Sims1 002: ToddCoxeter failing example . . . 11ms Sims1 003: ToddCoxeter failing example . . . 597μs Sims1 004: partition_monoid(2) right . . . 5014μs Sims1 006: full_transformation_monoid(3) right . . . 5458μs Sims1 007: full_transformation_monoid(3) left . . . 3037μs Sims1 009: rook_monoid(2, 1) . . . 89μs Sims1 010: symmetric_inverse_monoid(2) from FroidurePin . . . 86μs Sims1 011: symmetric_inverse_monoid(3) . . . 5371μs Sims1 014: temperley_lieb_monoid(3) from presentation . . . 115μs Sims1 015: temperley_lieb_monoid(4) from presentation . . . 654μs Sims1 016: fp semigroup containing given pairs #1 . . . 308μs Sims1 017: fp semigroup containing given pairs #2 . . . 306μs Sims1 018: fp semigroup containing given pairs #3 . . . 476μs Sims1 019: ToddCoxeter failing example . . . 1096μs Sims1 020: fp example 2 . . . 1790μs Sims1 021: exceptions . . . 241μs Sims1 027: from https://mathoverflow.net/questions/423541/ . . . 20ms Sims1 028: from https://mathoverflow.net/questions/423541/ . . . 14ms Sims1 030: presentation with one free generator . . . 190μs Sims1 031: presentation with non-zero index generators . . . 66μs Sims1 032: presentation with empty word . . . 6508μs Sims1 033: constructors . . . 974μs Sims1 034: split_at . . . 180μs Sims1 035: stats . . . 86μs Sims1 036: check iterator requirements . . . 116μs Sims1 040: TransitiveGroup(10, 32) - minimal rep . . . 2791μs Sims1 043: rectangular_band(2, 2) - with and without identity . . . 159μs Sims1 044: trivial group - minimal o.r.c. rep . . . 100μs Sims1 045: right zero semigroup - minimal o.r.c. rep . . . 1656μs Sims1 046: semigroup with faithful non-strictly cyclic actio [...] . . . 793μs Sims1 068: RepOrc . . . 26ms Sims1 069: fp example 1 . . . 381μ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 963μs (175ns 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 . . . 1050μs Sims1 072: symmetric_group(n) for n = 4 . . . 1401μs Sims1 073: corner case no generators + no relations . . . 60μs Sims1 076: uninitialized RepOrc . . . 24μs SmallestInteger 001: . . . 10μs StaticTriVector2 045: all . . . 17μs StaticVector2 043: all . . . 17μs Stephen 000: basic test 1 . . . 174μs Stephen 001: basic test 2 . . . 113μs Stephen 002: full transf monoid . . . 12ms Stephen 003: from step_hen 002 . . . 48μs Stephen 004: from step_hen 003 . . . 174μs Stephen 005: from step_hen 004 . . . 37μs Stephen 006: from step_hen 005 . . . 90μs Stephen 008: C(4) monoid normal form (test_case_knuth_bendix_055) . . . 174μs Stephen 009: C(4) monoid normal form (test_case_gap_smallove [...] . . . 80μs Stephen 010: code coverage . . . 253μs Stephen 011: C(4) monoid normal form (test_case_gap_smallove [...] . . . 226μs Stephen 012: C(4) monoid normal form (test_case_gap_smallove [...] . . . 200μs Stephen 013: C(4) monoid equal to (test_case_gap_smalloverlap_70) . . . 96μs Stephen 014: C(4) monoid normal form (test_case_ex_3_13_14) . . . 269μs Stephen 015: C(4) monoid normal form (test_case_ex_3_15) . . . 325μs Stephen 016: C(4) monoid normal form (test_case_ex_3_16) . . . 250μs Stephen 017: C(4) monoid normal form (test_case_mt_3) . . . 137μs Stephen 018: C(4) monoid normal form (test_case_mt_5) . . . 87μs Stephen 019: C(4) monoid normal form (test_case_mt_6) . . . 277μs Stephen 020: C(4) monoid normal form (test_case_mt_10) . . . 124μs Stephen 021: C(4) monoid normal form (test_case_mt_13) . . . 91μs Stephen 022: C(4) monoid normal form (test_case_mt_14) . . . 91μs Stephen 023: C(4) monoid normal form (test_case_mt_15) . . . 93μs Stephen 024: C(4) monoid normal form (test_case_mt_16) . . . 144μs Stephen 025: C(4) monoid normal form (test_case_mt_17) . . . 266μs Stephen 026: C(4) monoid normal form (test_case_weak_1) . . . 195μs Stephen 027: C(4) monoid normal form (test_case_weak_2) . . . 149μs Stephen 028: C(4) monoid normal form (test_case_weak_3) . . . 200μs Stephen 029: C(4) monoid normal form (test_case_weak_4) . . . 199μs Stephen 030: C(4) monoid normal form (test_case_weak_5) . . . 100μs Stephen 031: Test behaviour when uninitialised . . . 132μs Suf 005: unite . . . 20μs Suf 007: compress . . . 12μs Suf 011: big chain . . . 14ms Suf 013: empty table . . . 10μs Suf 015: join . . . 12μs Suf 017: contains . . . 25μs Suf 019: swap . . . 28μs Timer 001: string method (1 argument) . . . 20μs Timer 002: string method (0 arguments) . . . 10ms Timer 003: reset/elapsed method . . . 20ms Timer 004: operator<< . . . 11μs ToddCoxeter 000: small 2-sided congruence . . .  -- with HLT + no standardise + full lookahead + no save 1048μs  -- with HLT + standardise + full lookahead + no save 1002μs  -- with HLT + no standardise + partial lookahead + no save 1002μs  -- with HLT + standardise + partial lookahead + no save 998μs  -- with HLT + no standardise + full lookahead + save 1021μs  -- with HLT + standardise + full lookahead + save 1013μs  -- with HLT + no standardise + partial lookahead + save 1028μs  -- with HLT + standardise + partial lookahead + save 1012μs  -- with Felsch + no standardisation 994μs  -- with Felsch + standardisation 1003μs  -- with random strategy 1003μs  -- with Rc style + full lookahead 990μs  -- with Rc style + partial lookahead 1003μs  -- with R/C style 994μs  -- with CR style 1003μs  -- with Cr style 997μs ToddCoxeter 001: small 2-sided congruence . . .  -- with HLT + no standardise + full lookahead + no save 4974μs  -- with HLT + standardise + full lookahead + no save 4938μs  -- with HLT + no standardise + partial lookahead + no save 4952μs  -- with HLT + standardise + partial lookahead + no save 4916μs  -- with HLT + no standardise + full lookahead + save 4852μs  -- with HLT + standardise + full lookahead + save 4829μs  -- with HLT + no standardise + partial lookahead + save 5191μs  -- with HLT + standardise + partial lookahead + save 4827μs  -- with Felsch + no standardisation 4839μs  -- with Felsch + standardisation 4813μs  -- with random strategy 4827μs  -- with Rc style + full lookahead 4843μs  -- with Rc style + partial lookahead 4828μs  -- with R/C style 4826μs  -- with CR style 4815μs  -- with Cr style 4829μs ToddCoxeter 003: constructed from FroidurePin . . .  -- with Felsch + no standardisation 241ms  -- with Felsch + standardisation 241ms  -- with HLT + no standardise + full lookahead + no save 84ms  -- with HLT + standardise + full lookahead + no save 84ms  -- with HLT + no standardise + partial lookahead + no save 84ms  -- with HLT + standardise + partial lookahead + no save 84ms  -- with HLT + no standardise + full lookahead + save 249ms  -- with HLT + standardise + full lookahead + save 251ms  -- with HLT + no standardise + partial lookahead + save 251ms  -- with HLT + standardise + partial lookahead + save 250ms  -- with random strategy 245ms  -- with Rc style + full lookahead 244ms  -- with Rc style + partial lookahead 245ms  -- with R/C style 89ms  -- with CR style 242ms  -- with Cr style 243ms ToddCoxeter 004: 2-sided congruence from FroidurePin . . .  -- with HLT + no standardise + full lookahead + no save 204μs  -- with HLT + standardise + full lookahead + no save 171μs  -- with HLT + no standardise + partial lookahead + no save 161μs  -- with HLT + standardise + partial lookahead + no save 161μs  -- with HLT + save (throws) 208μs  -- with Felsch (throws) 170μs  -- with random strategy 163μs ToddCoxeter 005: non-trivial two-sided from relations . . .  -- with HLT + no standardise + full lookahead + no save 64μs  -- with HLT + standardise + full lookahead + no save 41μs  -- with HLT + no standardise + partial lookahead + no save 39μs  -- with HLT + standardise + partial lookahead + no save 38μs  -- with HLT + no standardise + full lookahead + save 53μs  -- with HLT + standardise + full lookahead + save 50μs  -- with HLT + no standardise + partial lookahead + save 49μs  -- with HLT + standardise + partial lookahead + save 48μs  -- with Felsch + no standardisation 46μs  -- with Felsch + standardisation 43μs  -- with random strategy 46μs  -- with Rc style + full lookahead 42μs  -- with Rc style + partial lookahead 40μs  -- with R/C style 40μs  -- with CR style 44μs  -- with Cr style 43μs ToddCoxeter 006: small right cong. on free semigroup . . .  -- with HLT + no standardise + full lookahead + no save 48μs  -- with HLT + standardise + full lookahead + no save 33μs  -- with HLT + no standardise + partial lookahead + no save 30μs  -- with HLT + standardise + partial lookahead + no save 31μs  -- with HLT + no standardise + full lookahead + save 38μs  -- with HLT + standardise + full lookahead + save 35μs  -- with HLT + no standardise + partial lookahead + save 33μs  -- with HLT + standardise + partial lookahead + save 34μs  -- with Felsch + no standardisation 34μs  -- with Felsch + standardisation 36μs  -- with random strategy 36μs  -- with Rc style + full lookahead 33μs  -- with Rc style + partial lookahead 31μs  -- with R/C style 32μs  -- with CR style 38μs  -- with Cr style 35μs ToddCoxeter 007: left cong. on free semigroup . . .  -- with HLT + no standardise + full lookahead + no save 42μs  -- with HLT + standardise + full lookahead + no save 35μs  -- with HLT + no standardise + partial lookahead + no save 34μs  -- with HLT + standardise + partial lookahead + no save 34μs  -- with HLT + no standardise + full lookahead + save 39μs  -- with HLT + standardise + full lookahead + save 38μs  -- with HLT + no standardise + partial lookahead + save 40μs  -- with HLT + standardise + partial lookahead + save 37μs  -- with Felsch + no standardisation 36μs  -- with Felsch + standardisation 57μs  -- with random strategy 42μs  -- with Rc style + full lookahead 37μs  -- with Rc style + partial lookahead 36μs  -- with R/C style 41μs  -- with CR style 40μs  -- with Cr style 39μs ToddCoxeter 008: for small fp semigroup . . .  -- with HLT + no standardise + full lookahead + no save 36μs  -- with HLT + standardise + full lookahead + no save 31μs  -- with HLT + no standardise + partial lookahead + no save 30μs  -- with HLT + standardise + partial lookahead + no save 32μs  -- with HLT + no standardise + full lookahead + save 35μs  -- with HLT + standardise + full lookahead + save 35μs  -- with HLT + no standardise + partial lookahead + save 34μs  -- with HLT + standardise + partial lookahead + save 34μs  -- with Felsch + no standardisation 34μs  -- with Felsch + standardisation 34μs  -- with random strategy 37μs  -- with Rc style + full lookahead 33μs  -- with Rc style + partial lookahead 33μs  -- with R/C style 33μs  -- with CR style 36μs  -- with Cr style 38μs ToddCoxeter 009: 2-sided cong. trans. semigroup . . .  -- with HLT + no standardise + full lookahead + no save 222μs  -- with HLT + standardise + full lookahead + no save 207μs  -- with HLT + no standardise + partial lookahead + no save 198μs  -- with HLT + standardise + partial lookahead + no save 201μs  -- with HLT + no standardise + full lookahead + save 546μs  -- with HLT + standardise + full lookahead + save 539μs  -- with HLT + no standardise + partial lookahead + save 536μs  -- with HLT + standardise + partial lookahead + save 532μs  -- with Felsch + no standardisation 474μs  -- with Felsch + standardisation 473μs  -- with random strategy 223μs  -- with Rc style + full lookahead 210μs  -- with Rc style + partial lookahead 207μs  -- with R/C style 213μs  -- with CR style 484μs  -- with Cr style 478μs ToddCoxeter 010: left congruence on transformation semigroup . . .  -- with HLT + no standardise + full lookahead + no save 235μs  -- with HLT + standardise + full lookahead + no save 239μs  -- with HLT + no standardise + partial lookahead + no save 224μs  -- with HLT + standardise + partial lookahead + no save 234μs  -- with HLT + no standardise + full lookahead + save 578μs  -- with HLT + standardise + full lookahead + save 578μs  -- with HLT + no standardise + partial lookahead + save 562μs  -- with HLT + standardise + partial lookahead + save 578μs  -- with Felsch + no standardisation 510μs  -- with Felsch + standardisation 481μs  -- with random strategy 624μs  -- with Rc style + full lookahead 261μs  -- with Rc style + partial lookahead 256μs  -- with R/C style 276μs  -- with CR style 526μs  -- with Cr style 527μs ToddCoxeter 011: right cong. trans. semigroup . . .  -- with HLT + no standardise + full lookahead + no save 242μs  -- with HLT + standardise + full lookahead + no save 246μs  -- with HLT + no standardise + partial lookahead + no save 231μs  -- with HLT + standardise + partial lookahead + no save 239μs  -- with HLT + no standardise + full lookahead + save 561μs  -- with HLT + standardise + full lookahead + save 553μs  -- with HLT + no standardise + partial lookahead + save 534μs  -- with HLT + standardise + partial lookahead + save 553μs  -- with Felsch + no standardisation 421μs  -- with Felsch + standardisation 442μs  -- with random strategy 279μs  -- with Rc style + full lookahead 263μs  -- with Rc style + partial lookahead 259μs  -- with R/C style 285μs  -- with CR style 447μs  -- with Cr style 435μs ToddCoxeter 012: trans. semigroup (size 88) . . .  -- with HLT + no standardise + full lookahead + no save 153μs  -- with HLT + standardise + full lookahead + no save 151μs  -- with HLT + no standardise + partial lookahead + no save 141μs  -- with HLT + standardise + partial lookahead + no save 141μs  -- with HLT + save (throws) 153μs  -- with Felsch (throws) 149μs  -- with random strategy 160μs ToddCoxeter 013: left cong. on trans. semigroup (size 88) . . .  -- with HLT + no standardise + full lookahead + no save 204μs  -- with HLT + standardise + full lookahead + no save 209μs  -- with HLT + no standardise + partial lookahead + no save 194μs  -- with HLT + standardise + partial lookahead + no save 206μs  -- with HLT + no standardise + full lookahead + save 559μs  -- with HLT + standardise + full lookahead + save 549μs  -- with HLT + no standardise + partial lookahead + save 538μs  -- with HLT + standardise + partial lookahead + save 547μs  -- with Felsch + no standardisation 479μs  -- with Felsch + standardisation 455μs  -- with random strategy 248μs  -- with Rc style + full lookahead 233μs  -- with Rc style + partial lookahead 228μs  -- with R/C style 250μs  -- with CR style 508μs  -- with Cr style 494μs ToddCoxeter 014: right 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 201μs  -- with HLT + standardise + partial lookahead + no save 208μs  -- with HLT + no standardise + full lookahead + save 527μs  -- with HLT + standardise + full lookahead + save 525μs  -- with HLT + no standardise + partial lookahead + save 504μs  -- with HLT + standardise + partial lookahead + save 515μs  -- with Felsch + no standardisation 398μs  -- with Felsch + standardisation 406μs  -- with random strategy 250μs  -- with Rc style + full lookahead 233μs  -- with Rc style + partial lookahead 230μs  -- with R/C style 255μs  -- with CR style 417μs  -- with Cr style 403μs ToddCoxeter 015: finite fp-semigroup, dihedral group of order 6 . . .  -- with HLT + no standardise + full lookahead + no save 77μs  -- with HLT + standardise + full lookahead + no save 66μs  -- with HLT + no standardise + partial lookahead + no save 60μs  -- with HLT + standardise + partial lookahead + no save 62μs  -- with HLT + no standardise + full lookahead + save 84μs  -- with HLT + standardise + full lookahead + save 79μs  -- with HLT + no standardise + partial lookahead + save 74μs  -- with HLT + standardise + partial lookahead + save 78μs  -- with Felsch + no standardisation 71μs  -- with Felsch + standardisation 74μs  -- with random strategy 75μs  -- with Rc style + full lookahead 63μs  -- with Rc style + partial lookahead 59μs  -- with R/C style 60μs  -- with CR style 69μs  -- with Cr style 68μs ToddCoxeter 016: finite fp-semigroup, size 16 . . .  -- with HLT + no standardise + full lookahead + no save 71μs  -- with HLT + standardise + full lookahead + no save 66μs  -- with HLT + no standardise + partial lookahead + no save 61μs  -- with HLT + standardise + partial lookahead + no save 63μs  -- with HLT + no standardise + full lookahead + save 133μs  -- with HLT + standardise + full lookahead + save 132μs  -- with HLT + no standardise + partial lookahead + save 128μs  -- with HLT + standardise + partial lookahead + save 126μs  -- with Felsch + no standardisation 121μs  -- with Felsch + standardisation 112μs  -- with random strategy 119μs  -- with Rc style + full lookahead 68μs  -- with Rc style + partial lookahead 64μs  -- with R/C style 72μs  -- with CR style 115μs  -- with Cr style 112μs ToddCoxeter 017: finite fp-semigroup, size 16 . . .  -- with HLT + no standardise + full lookahead + no save 173μs  -- with HLT + standardise + full lookahead + no save 161μs  -- with HLT + no standardise + partial lookahead + no save 151μs  -- with HLT + standardise + partial lookahead + no save 156μs  -- with HLT + no standardise + full lookahead + save 325μs  -- with HLT + standardise + full lookahead + save 348μs  -- with HLT + no standardise + partial lookahead + save 313μs  -- with HLT + standardise + partial lookahead + save 319μs  -- with Felsch + no standardisation 298μs  -- with Felsch + standardisation 292μs  -- with random strategy 314μs  -- with Rc style + full lookahead 165μs  -- with Rc style + partial lookahead 160μs  -- with R/C style 169μs  -- with CR style 293μs  -- with Cr style 288μs ToddCoxeter 018: test lookahead . . .  -- with HLT + no standardise + full lookahead + no save 286μs  -- with HLT + standardise + full lookahead + no save 288μs  -- with HLT + no standardise + partial lookahead + no save 250μs  -- with HLT + standardise + partial lookahead + no save 263μs  -- with HLT + no standardise + full lookahead + save 474μs  -- with HLT + standardise + full lookahead + save 476μs  -- with HLT + no standardise + partial lookahead + save 460μs  -- with HLT + standardise + partial lookahead + save 466μs ToddCoxeter 019: non-trivial left cong. from semigroup . . .  -- with HLT + no standardise + full lookahead + no save 143μs  -- with HLT + standardise + full lookahead + no save 141μs  -- with HLT + no standardise + partial lookahead + no save 129μs  -- with HLT + standardise + partial lookahead + no save 133μs  -- with HLT + save (throws) 139μs  -- with Felsch (throws) 147μs  -- with random strategy 144μs ToddCoxeter 020: 2-sided cong. on free semigroup . . .  -- with HLT + no standardise + full lookahead + no save 25μs  -- with HLT + standardise + full lookahead + no save 19μs  -- with HLT + no standardise + partial lookahead + no save 19μs  -- with HLT + standardise + partial lookahead + no save 18μs  -- with HLT + no standardise + full lookahead + save 18μs  -- with HLT + standardise + full lookahead + save 18μs  -- with HLT + no standardise + partial lookahead + save 18μs  -- with HLT + standardise + partial lookahead + save 18μs  -- with Felsch + no standardisation 18μs  -- with Felsch + standardisation 19μs  -- with random strategy 18μs ToddCoxeter 021: calling run when obviously infinite . . .  -- with HLT + no standardise + full lookahead + no save 50μs  -- with HLT + standardise + full lookahead + no save 30μs  -- with HLT + no standardise + partial lookahead + no save 29μs  -- with HLT + standardise + partial lookahead + no save 29μs  -- with HLT + no standardise + full lookahead + save 28μs  -- with HLT + standardise + full lookahead + save 28μs  -- with HLT + no standardise + partial lookahead + save 28μs  -- with HLT + standardise + partial lookahead + save 28μs  -- with Felsch + no standardisation 27μs  -- with Felsch + standardisation 29μs  -- with random strategy 28μs ToddCoxeter 022: stellar_monoid S3 . . .  -- with HLT + no standardise + full lookahead + no save 128μs  -- with HLT + standardise + full lookahead + no save 125μs  -- with HLT + no standardise + partial lookahead + no save 115μs  -- with HLT + standardise + partial lookahead + no save 120μs  -- with HLT + no standardise + full lookahead + save 217μs  -- with HLT + standardise + full lookahead + save 214μs  -- with HLT + no standardise + partial lookahead + save 201μs  -- with HLT + standardise + partial lookahead + save 206μs  -- with Felsch + no standardisation 195μs  -- with Felsch + standardisation 185μs  -- with random strategy 191μs  -- with Rc style + full lookahead 126μs  -- with Rc style + partial lookahead 123μs  -- with R/C style 128μs  -- with CR style 198μs  -- with Cr style 184μs ToddCoxeter 023: finite semigroup (size 5) . . .  -- with HLT + no standardise + full lookahead + no save 40μs  -- with HLT + standardise + full lookahead + no save 31μs  -- with HLT + no standardise + partial lookahead + no save 30μs  -- with HLT + standardise + partial lookahead + no save 31μs  -- with HLT + no standardise + full lookahead + save 36μs  -- with HLT + standardise + full lookahead + save 34μs  -- with HLT + no standardise + partial lookahead + save 33μs  -- with HLT + standardise + partial lookahead + save 33μs  -- with Felsch + no standardisation 33μs  -- with Felsch + standardisation 34μs  -- with random strategy 33μs  -- with Rc style + full lookahead 31μs  -- with Rc style + partial lookahead 30μs  -- with R/C style 31μs  -- with CR style 36μs  -- with Cr style 34μs ToddCoxeter 024: exceptions . . .  -- with HLT + no standardise + full lookahead + no save 181μs  -- with HLT + standardise + full lookahead + no save 163μs  -- with HLT + no standardise + partial lookahead + no save 160μs  -- with HLT + standardise + partial lookahead + no save 159μs  -- with HLT + no standardise + full lookahead + save 165μs  -- with HLT + standardise + full lookahead + save 163μs  -- with HLT + no standardise + partial lookahead + save 162μs  -- with HLT + standardise + partial lookahead + save 162μs  -- with Felsch + no standardisation 163μs  -- with Felsch + standardisation 164μs  -- with random strategy 162μs  -- with Rc style + full lookahead 159μs  -- with Rc style + partial lookahead 160μs  -- with R/C style 159μs  -- with CR style 172μs  -- with Cr style 164μs ToddCoxeter 025: obviously infinite . . .  -- with HLT + no standardise + full lookahead + no save 43μs  -- with HLT + standardise + full lookahead + no save 36μs  -- with HLT + no standardise + partial lookahead + no save 34μs  -- with HLT + standardise + partial lookahead + no save 34μs  -- with HLT + no standardise + full lookahead + save 36μs  -- with HLT + standardise + full lookahead + save 34μs  -- with HLT + no standardise + partial lookahead + save 34μs  -- with HLT + standardise + partial lookahead + save 34μs  -- with Felsch + no standardisation 34μs  -- with Felsch + standardisation 34μs  -- with random strategy 34μs ToddCoxeter 026: exceptions . . .  -- with HLT + no standardise + full lookahead + no save 91μs  -- with HLT + standardise + full lookahead + no save 76μs  -- with HLT + no standardise + partial lookahead + no save 73μs  -- with HLT + standardise + partial lookahead + no save 72μs  -- with HLT + no standardise + full lookahead + save 83μs  -- with HLT + standardise + full lookahead + save 79μs  -- with HLT + no standardise + partial lookahead + save 83μs  -- with HLT + standardise + partial lookahead + save 78μs  -- with Felsch + no standardisation 77μs  -- with Felsch + standardisation 79μs  -- with random strategy 80μs  -- with Rc style + full lookahead 76μs  -- with Rc style + partial lookahead 75μs  -- with R/C style 75μs  -- with CR style 79μs  -- with Cr style 81μs ToddCoxeter 027: empty . . . 47μs ToddCoxeter 028: congruence of fpsemigroup::ToddCoxeter . . .  -- with HLT + no standardise + full lookahead + no save 168μs  -- with HLT + standardise + full lookahead + no save 145μs  -- with HLT + no standardise + partial lookahead + no save 143μs  -- with HLT + standardise + partial lookahead + no save 141μs  -- with HLT + save (throws) 155μs  -- with Felsch (throws) 154μs  -- with random strategy 159μs  -- with HLT + no standardise + full lookahead + save 156μs  -- with HLT + standardise + full lookahead + save 158μs  -- with HLT + no standardise + partial lookahead + save 154μs  -- with HLT + standardise + partial lookahead + save 151μs  -- with Felsch + no standardisation 149μs  -- with Felsch + standardisation 150μs  -- with Rc style + full lookahead 135μs  -- with Rc style + partial lookahead 135μs  -- with R/C style 138μs  -- with CR style 138μs  -- with Cr style 137μs ToddCoxeter 029: !KnuthBendix.started() . . .  -- with HLT + no standardise + full lookahead + no save and 2-sided 76μs  -- with HLT + standardise + full lookahead + no save and 2-sided 59μs  -- with HLT + no standardise + partial lookahead + no save and 2-sided 54μs  -- with HLT + standardise + partial lookahead + no save and 2-sided 52μs  -- with HLT + no standardise + full lookahead + save and 2-sided 59μs  -- with HLT + standardise + full lookahead + save and 2-sided 57μs  -- with HLT + no standardise + partial lookahead + save and 2-sided 57μs  -- with HLT + standardise + partial lookahead + save and 2-sided 56μs  -- with Felsch + no standardisation and 2-sided 55μs  -- with Felsch + standardisation and 2-sided 54μs  -- with random strategy and 2-sided 57μs  -- with HLT + no standardise + full lookahead + no save and left 64μs  -- with HLT + standardise + full lookahead + no save and left 55μs  -- with HLT + no standardise + partial lookahead + no save and left 53μs  -- with HLT + standardise + partial lookahead + no save and left 52μs  -- with HLT + no standardise + full lookahead + save and left 64μs  -- with HLT + standardise + full lookahead + save and left 60μs  -- with HLT + no standardise + partial lookahead + save and left 58μs  -- with HLT + standardise + partial lookahead + save and left 58μs  -- with Felsch + no standardisation and left 57μs  -- with Felsch + standardisation and left 56μs  -- with random strategy and left 54μs  -- with HLT + no standardise + full lookahead + no save and right 53μs  -- with HLT + standardise + full lookahead + no save and right 50μs  -- with HLT + no standardise + partial lookahead + no save and right 52μs  -- with HLT + standardise + partial lookahead + no save and right 50μs  -- with HLT + no standardise + full lookahead + save and right 64μs  -- with HLT + standardise + full lookahead + save and right 57μs  -- with HLT + no standardise + partial lookahead + save and right 56μs  -- with HLT + standardise + partial lookahead + save and right 57μs  -- with Felsch + no standardisation and right 55μs  -- with Felsch + standardisation and right 55μs  -- with random strategy and right 59μs ToddCoxeter 030: KnuthBendix.finished() . . .  -- with HLT + no standardise + full lookahead + no save and 2-sided 148μs  -- with HLT + standardise + full lookahead + no save and 2-sided 124μs  -- with HLT + no standardise + partial lookahead + no save and 2-sided 122μs  -- with HLT + standardise + partial lookahead + no save and 2-sided 118μs  -- with HLT + no standardise + full lookahead + save and 2-sided 122μs  -- with HLT + standardise + full lookahead + save and 2-sided 121μs  -- with HLT + no standardise + partial lookahead + save and 2-sided 247μs  -- with HLT + standardise + partial lookahead + save and 2-sided 126μs  -- with Felsch + no standardisation and 2-sided 116μs  -- with Felsch + standardisation and 2-sided 115μs  -- with random strategy and 2-sided 118μs  -- with HLT + no standardise + full lookahead + no save and left 121μs  -- with HLT + standardise + full lookahead + no save and left 117μs  -- with HLT + no standardise + partial lookahead + no save and left 119μs  -- with HLT + standardise + partial lookahead + no save and left 116μs  -- with HLT + no standardise + full lookahead + save and left 125μs  -- with HLT + standardise + full lookahead + save and left 126μs  -- with HLT + no standardise + partial lookahead + save and left 126μs  -- with HLT + standardise + partial lookahead + save and left 122μs  -- with Felsch + no standardisation and left 119μs  -- with Felsch + standardisation and left 119μs  -- with random strategy and left 132μs  -- with HLT + no standardise + full lookahead + no save and right 138μs  -- with HLT + standardise + full lookahead + no save and right 153μs  -- with HLT + no standardise + partial lookahead + no save and right 152μs  -- with HLT + standardise + partial lookahead + no save and right 154μs  -- with HLT + no standardise + full lookahead + save and right 161μs  -- with HLT + standardise + full lookahead + save and right 159μs  -- with HLT + no standardise + partial lookahead + save and right 157μs  -- with HLT + standardise + partial lookahead + save and right 159μs  -- with Felsch + no standardisation and right 148μs  -- with Felsch + standardisation and right 148μs  -- with random strategy and right 174μs ToddCoxeter 031: KnuthBendix.finished() . . .  -- with HLT + no standardise + full lookahead + no save and 2-sided 106μs  -- with HLT + standardise + full lookahead + no save and 2-sided 91μs  -- with HLT + no standardise + partial lookahead + no save and 2-sided 89μs  -- with HLT + standardise + partial lookahead + no save and 2-sided 90μs  -- with HLT + no standardise + full lookahead + save and 2-sided 94μs  -- with HLT + standardise + full lookahead + save and 2-sided 92μs  -- with HLT + no standardise + partial lookahead + save and 2-sided 91μs  -- with HLT + standardise + partial lookahead + save and 2-sided 89μs  -- with Felsch + no standardisation and 2-sided 90μs  -- with Felsch + standardisation and 2-sided 85μs  -- with random strategy and 2-sided 90μs  -- with Rc style + full lookahead and 2-sided 90μs  -- with Rc style + partial lookahead and 2-sided 89μs  -- with R/C style and 2-sided 84μs  -- with CR style and 2-sided 89μs  -- with Cr style and 2-sided 103μs  -- with HLT + no standardise + full lookahead + no save and left 92μs  -- with HLT + standardise + full lookahead + no save and left 87μs  -- with HLT + no standardise + partial lookahead + no save and left 86μs  -- with HLT + standardise + partial lookahead + no save and left 84μs  -- with HLT + no standardise + full lookahead + save and left 92μs  -- with HLT + standardise + full lookahead + save and left 92μs  -- with HLT + no standardise + partial lookahead + save and left 91μs  -- with HLT + standardise + partial lookahead + save and left 91μs  -- with Felsch + no standardisation and left 88μs  -- with Felsch + standardisation and left 92μs  -- with random strategy and left 101μs  -- with Rc style + full lookahead and left 90μs  -- with Rc style + partial lookahead and left 89μs  -- with R/C style and left 84μs  -- with CR style and left 91μs  -- with Cr style and left 95μs  -- with HLT + no standardise + full lookahead + no save and right 99μs  -- with HLT + standardise + full lookahead + no save and right 84μs  -- with HLT + no standardise + partial lookahead + no save and right 83μs  -- with HLT + standardise + partial lookahead + no save and right 83μs  -- with HLT + no standardise + full lookahead + save and right 89μs  -- with HLT + standardise + full lookahead + save and right 92μs  -- with HLT + no standardise + partial lookahead + save and right 90μs  -- with HLT + standardise + partial lookahead + save and right 89μs  -- with Felsch + no standardisation and right 86μs  -- with Felsch + standardisation and right 87μs  -- with random strategy and right 99μs  -- with Rc style + full lookahead and right 89μs  -- with Rc style + partial lookahead and right 88μs  -- with R/C style and right 84μs  -- with CR style and right 90μs  -- with Cr style and right 93μs ToddCoxeter 032: prefill . . . 131μs ToddCoxeter 033: congruence of ToddCoxeter . . .  -- with HLT + no standardise + full lookahead + no save 54μs  -- with HLT + standardise + full lookahead + no save 38μs  -- with HLT + no standardise + partial lookahead + no save 37μs  -- with HLT + standardise + partial lookahead + no save 36μs  -- with HLT + no standardise + full lookahead + save 42μs  -- with HLT + standardise + full lookahead + save 40μs  -- with HLT + no standardise + partial lookahead + save 39μs  -- with HLT + standardise + partial lookahead + save 38μs  -- with random strategy 39μs ToddCoxeter 034: congruence of ToddCoxeter . . .  -- with HLT + no standardise + full lookahead + no save 454μs  -- with HLT + standardise + full lookahead + no save 133μs  -- with HLT + no standardise + partial lookahead + no save 102μs  -- with HLT + standardise + partial lookahead + no save 100μs  -- with HLT + save (throws) 111μs  -- with Felsch (throws) 108μs  -- with random strategy 109μs ToddCoxeter 035: congruence on FpSemigroup . . .  -- with HLT + no standardise + full lookahead + no save 291μs  -- with HLT + standardise + full lookahead + no save 268μs  -- with HLT + no standardise + partial lookahead + no save 252μs  -- with HLT + standardise + partial lookahead + no save 253μs  -- with HLT + no standardise + full lookahead + save 309μs  -- with HLT + standardise + full lookahead + save 300μs  -- with HLT + no standardise + partial lookahead + save 303μs  -- with HLT + standardise + partial lookahead + save 297μs  -- with Felsch + no standardisation 293μs  -- with Felsch + standardisation 289μs  -- with random strategy 299μs  -- with Rc style + full lookahead 248μs  -- with Rc style + partial lookahead 248μs  -- with R/C style 246μs  -- with CR style 298μs  -- with Cr style 294μs ToddCoxeter 036: exceptions . . . 80μs ToddCoxeter 037: copy constructor . . . 36μs ToddCoxeter 038: simplify . . . 142μs ToddCoxeter 039: stylic_monoid . . . 733ms ToddCoxeter 041: some finite classes . . . 451μs ToddCoxeter 043: symmetric_group(7, Coxeter + Moser) . . . 134ms ToddCoxeter 044: Option exceptions . . . 62μs ToddCoxeter 045: Options operator<< . . . 529μs ToddCoxeter 046: Easdown-East-FitzGerald DualSymInv(5) . . .  -- with HLT + no standardise + full lookahead + no save 158ms  -- with HLT + standardise + full lookahead + no save 175ms  -- with HLT + no standardise + partial lookahead + no save 157ms  -- with HLT + standardise + partial lookahead + no save 175ms  -- with HLT + no standardise + full lookahead + save 125ms  -- with HLT + standardise + full lookahead + save 125ms  -- with HLT + no standardise + partial lookahead + save 125ms  -- with HLT + standardise + partial lookahead + save 125ms  -- with Felsch + no standardisation 136ms  -- with Felsch + standardisation 137ms  -- with random strategy 162ms  -- with R/C style 166ms  -- with Rc style + full lookahead 143ms  -- with Rc style + partial lookahead 142ms ToddCoxeter 047: uniform_block_bijection_monoid(3) (FitzGerald) . . .  -- with HLT + no standardise + full lookahead + no save 89μs  -- with HLT + standardise + full lookahead + no save 82μs  -- with HLT + no standardise + partial lookahead + no save 72μs  -- with HLT + standardise + partial lookahead + no save 78μs  -- with HLT + no standardise + full lookahead + save 174μs  -- with HLT + standardise + full lookahead + save 161μs  -- with HLT + no standardise + partial lookahead + save 153μs  -- with HLT + standardise + partial lookahead + save 156μs  -- with Felsch + no standardisation 127μs  -- with Felsch + standardisation 125μs  -- with random strategy 126μs  -- with R/C style 85μs  -- with Rc style + full lookahead 77μs  -- with Rc style + partial lookahead 75μs ToddCoxeter 048: stellar_monoid(7) (Gay-Hivert) . . . 139ms ToddCoxeter 049: partition_monoid(4) (East) . . .  -- with HLT + no standardise + full lookahead + no save 27ms  -- with HLT + standardise + full lookahead + no save 28ms  -- with HLT + no standardise + partial lookahead + no save 27ms  -- with HLT + standardise + partial lookahead + no save 28ms  -- with HLT + no standardise + full lookahead + save 48ms  -- with HLT + standardise + full lookahead + save 51ms  -- with HLT + no standardise + partial lookahead + save 48ms  -- with HLT + standardise + partial lookahead + save 50ms  -- with Felsch + no standardisation 57ms  -- with Felsch + standardisation 56ms  -- with random strategy 59ms  -- with R/C style 30ms  -- with Rc style + full lookahead 61ms  -- with Rc style + partial lookahead 61ms ToddCoxeter 050: singular_brauer_monoid(6) (Maltcev + Mazorchuk) . . . 533ms ToddCoxeter 051: orientation_preserving_monoid(6) (Ruskuc + [...] . . .  -- with HLT + no standardise + full lookahead + no save 22ms ToddCoxeter 052: orientation_reversing_monoid(5) (Ruskuc + [...] . . .  -- with HLT + no standardise + full lookahead + no save 6031μs ToddCoxeter 053: temperley_lieb_monoid(10) (East) . . . 34ms ToddCoxeter 063: add_rule . . .  -- with HLT + no standardise + full lookahead + no save 81μs  -- with HLT + standardise + full lookahead + no save 60μs  -- with HLT + no standardise + partial lookahead + no save 57μs  -- with HLT + standardise + partial lookahead + no save 57μs  -- with HLT + no standardise + full lookahead + save 63μs  -- with HLT + standardise + full lookahead + save 62μs  -- with HLT + no standardise + partial lookahead + save 64μs  -- with HLT + standardise + partial lookahead + save 61μs  -- with Felsch + no standardisation 61μs  -- with Felsch + standardisation 60μs  -- with random strategy 61μs  -- with Rc style + full lookahead 58μs  -- with Rc style + partial lookahead 57μs  -- with R/C style 57μs  -- with CR style 61μs  -- with Cr style 61μs  -- with R/C + Felsch lookahead 63μs  -- with HLT + Felsch lookahead + save 64μs  -- with Cr + small number of f_defs 63μs  -- with Rc + small number of deductions 57μs  -- with Felsch + v2 + no preferred defs 59μs  -- with Felsch + v2 + immediate no stack 61μs  -- with Felsch + v1 + immediate no stack 61μs  -- with Felsch + v1 + immediate yes stack 60μs  -- with large collapse 57μs ToddCoxeter 064: (from kbmag/standalone/kb_data/s4) (KnuthB [...] . . .  -- with HLT + no standardise + full lookahead + no save 224μs ToddCoxeter 066: test validate . . . 68μs ToddCoxeter 067: add_rules after construct. from semigroup . . .  -- with HLT + no standardise + full lookahead + no save 343μs  -- with HLT + standardise + full lookahead + no save 321μs  -- with HLT + no standardise + partial lookahead + no save 311μs  -- with HLT + standardise + partial lookahead + no save 313μs  -- with HLT + save (throws) 314μs  -- with Felsch (throws) 309μs  -- with random strategy 300μs ToddCoxeter 068: Sym(5) from Chapter 3, Proposition 1.1 in NR . . .  -- with Deduction policy == purge_from_top 623μs  -- with Deduction policy == purge_all 565μs  -- with Deduction policy == discard_all_if_no_space 572μs  -- with HLT + no standardise + full lookahead + no save 693μs  -- with HLT + standardise + full lookahead + no save 958μs  -- with HLT + no standardise + partial lookahead + no save 673μs  -- with HLT + standardise + partial lookahead + no save 936μs  -- with HLT + no standardise + full lookahead + save 988μs  -- with HLT + standardise + full lookahead + save 993μs  -- with HLT + no standardise + partial lookahead + save 945μs  -- with HLT + standardise + partial lookahead + save 995μs  -- with Felsch + no standardisation 629μs  -- with Felsch + standardisation 611μs  -- with random strategy 657μs  -- with Rc style + full lookahead 1391μs  -- with Rc style + partial lookahead 1342μs  -- with R/C style 746μs  -- with CR style 670μs  -- with Cr style 666μs ToddCoxeter 069: Chapter 7, Theorem 3.6 in NR (size 243) . . .  -- with HLT + no standardise + full lookahead + no save 299μs  -- with HLT + standardise + full lookahead + no save 359μs  -- with HLT + no standardise + partial lookahead + no save 286μs  -- with HLT + standardise + partial lookahead + no save 346μs  -- with HLT + no standardise + full lookahead + save 427μs  -- with HLT + standardise + full lookahead + save 452μs  -- with HLT + no standardise + partial lookahead + save 420μs  -- with HLT + standardise + partial lookahead + save 454μs  -- with Felsch + no standardisation 2027μs  -- with Felsch + standardisation 2146μs  -- with random strategy 461μs  -- with Rc style + full lookahead 322μs  -- with Rc style + partial lookahead 312μs  -- with R/C style 326μs  -- with CR style 2063μs  -- with Cr style 2032μs ToddCoxeter 070: finite semigroup (size 99) . . .  -- with HLT + no standardise + full lookahead + no save 141μs  -- with HLT + standardise + full lookahead + no save 141μs  -- with HLT + no standardise + partial lookahead + no save 119μs  -- with HLT + standardise + partial lookahead + no save 141μs  -- with HLT + no standardise + full lookahead + save 193μs  -- with HLT + standardise + full lookahead + save 194μs  -- with HLT + no standardise + partial lookahead + save 175μs  -- with HLT + standardise + partial lookahead + save 189μs  -- with Felsch + no standardisation 372μs  -- with Felsch + standardisation 366μs  -- with random strategy 374μs  -- with Rc style + full lookahead 134μs  -- with Rc style + partial lookahead 129μs  -- with R/C style 129μs  -- with CR style 374μs  -- with Cr style 376μs ToddCoxeter 080: KnuthBendix 098 . . .  -- with HLT + no standardise + full lookahead + no save 466ms  -- with HLT + standardise + full lookahead + no save 546ms  -- with HLT + no standardise + partial lookahead + no save 466ms  -- with HLT + standardise + partial lookahead + no save 554ms  -- with HLT + no standardise + full lookahead + save 349ms  -- with HLT + standardise + full lookahead + save 340ms  -- with HLT + no standardise + partial lookahead + save 337ms  -- with HLT + standardise + partial lookahead + save 354ms  -- with Felsch + no standardisation 313ms  -- with Felsch + standardisation 317ms  -- with random strategy 337ms  -- with Rc style + full lookahead 314ms  -- with Rc style + partial lookahead 323ms  -- with R/C style 470ms  -- with CR style 320ms  -- with Cr style 315ms ToddCoxeter 084: Campbell-Reza 1 . . .  -- with HLT + no standardise + full lookahead + no save 115μs  -- with HLT + standardise + full lookahead + no save 85μs  -- with HLT + no standardise + partial lookahead + no save 81μs  -- with HLT + standardise + partial lookahead + no save 81μs  -- with HLT + no standardise + full lookahead + save 94μs  -- with HLT + standardise + full lookahead + save 88μs  -- with HLT + no standardise + partial lookahead + save 84μs  -- with HLT + standardise + partial lookahead + save 84μs  -- with Felsch + no standardisation 93μs  -- with Felsch + standardisation 90μs  -- with random strategy 78μs  -- with Rc style + full lookahead 75μs  -- with Rc style + partial lookahead 73μs  -- with R/C style 76μs  -- with CR style 93μs  -- with Cr style 90μs ToddCoxeter 085: Renner monoid type D4 (Gay-Hivert), q = 1 . . .  -- with HLT + no standardise + full lookahead + no save 164ms  -- with HLT + standardise + full lookahead + no save 113ms  -- with HLT + no standardise + partial lookahead + no save 112ms  -- with HLT + standardise + partial lookahead + no save 113ms  -- with HLT + no standardise + full lookahead + save 113ms  -- with HLT + standardise + full lookahead + save 113ms  -- with HLT + no standardise + partial lookahead + save 113ms  -- with HLT + standardise + partial lookahead + save 112ms  -- with Felsch + no standardisation 114ms  -- with Felsch + standardisation 113ms  -- with random strategy 112ms  -- with Rc style + full lookahead 113ms  -- with Rc style + partial lookahead 112ms  -- with R/C style 113ms  -- with CR style 112ms  -- with Cr style 112ms ToddCoxeter 086: trivial semigroup . . . 278ms ToddCoxeter 092: ACE --- perf602p5 - HLT . . .  -- with HLT + no standardise + full lookahead + no save 32ms  -- with HLT + standardise + full lookahead + no save 31ms  -- with HLT + no standardise + partial lookahead + no save 32ms  -- with HLT + standardise + partial lookahead + no save 31ms  -- with HLT + no standardise + full lookahead + save 14ms  -- with HLT + standardise + full lookahead + save 14ms  -- with HLT + no standardise + partial lookahead + save 13ms  -- with HLT + standardise + partial lookahead + save 14ms  -- with random strategy 32ms  -- with Felsch + no standardisation 10ms  -- with Felsch + standardisation 10ms ToddCoxeter 094: ACE --- C5 - HLT . . .  -- with HLT + no standardise + full lookahead + no save 107μs  -- with HLT + standardise + full lookahead + no save 94μs  -- with HLT + no standardise + partial lookahead + no save 92μs  -- with HLT + standardise + partial lookahead + no save 91μs  -- with HLT + no standardise + full lookahead + save 113μs  -- with HLT + standardise + full lookahead + save 117μs  -- with HLT + no standardise + partial lookahead + save 109μs  -- with HLT + standardise + partial lookahead + save 109μs  -- with random strategy 97μs  -- with Felsch + no standardisation 106μs  -- with Felsch + standardisation 102μs ToddCoxeter 095: ACE --- A5-C5 . . .  -- with HLT + no standardise + full lookahead + no save 111μs  -- with HLT + standardise + full lookahead + no save 120μs  -- with HLT + no standardise + partial lookahead + no save 104μs  -- with HLT + standardise + partial lookahead + no save 116μs  -- with HLT + no standardise + full lookahead + save 149μs  -- with HLT + standardise + full lookahead + save 147μs  -- with HLT + no standardise + partial lookahead + save 142μs  -- with HLT + standardise + partial lookahead + save 144μs  -- with random strategy 115μs  -- with Felsch + no standardisation 132μs  -- with Felsch + standardisation 128μs ToddCoxeter 096: ACE --- A5 . . .  -- with HLT + no standardise + full lookahead + no save 215μs  -- with HLT + standardise + full lookahead + no save 228μs  -- with HLT + no standardise + partial lookahead + no save 172μs  -- with HLT + standardise + partial lookahead + no save 221μs  -- with HLT + no standardise + full lookahead + save 325μs  -- with HLT + standardise + full lookahead + save 337μs  -- with HLT + no standardise + partial lookahead + save 313μs  -- with HLT + standardise + partial lookahead + save 327μs  -- with random strategy 351μs  -- with Felsch + no standardisation 255μs  -- with Felsch + standardisation 246μs ToddCoxeter 098: relation ordering . . .  -- with Felsch + no standardisation 490μs  -- with Felsch + standardisation 468μs  -- with HLT + no standardise + full lookahead + no save 263μs  -- with HLT + standardise + full lookahead + no save 261μs  -- with HLT + no standardise + partial lookahead + no save 248μs  -- with HLT + standardise + partial lookahead + no save 250μs  -- with HLT + no standardise + full lookahead + save 500μs  -- with HLT + standardise + full lookahead + save 501μs  -- with HLT + no standardise + partial lookahead + save 495μs  -- with HLT + standardise + partial lookahead + save 505μs  -- with random strategy 295μs ToddCoxeter 099: short circuit size in obviously infinite . . . 17μs ToddCoxeter 101: http://brauer.maths.qmul.ac.uk/Atlas/spor/M [...] . . . 529ms ToddCoxeter 108: http://brauer.maths.qmul.ac.uk/Atlas/lin/L3 [...] . . . 478ms ToddCoxeter 110: to_gap_string . . . 99μs ToddCoxeter 111: partition_monoid(2) . . . 64μs ToddCoxeter 112: brauer_monoid(4) (Kudryavtseva + Mazorchuk) . . . 321μs ToddCoxeter 113: symmetric_inverse_monoid . . . 15ms ToddCoxeter 116: symmetric_group(7, Burnside + Miller) . . . 387ms UF 001: constructor by size . . . 14μs UF 002: copy constructor . . . 19μs UF 003: find . . . 15μs Ukkonen 000: basic tests . . . 61ms Ukkonen 001: maximal_piece_prefix 1 . . . 35μs Ukkonen 002: maximal_piece_prefix 2 . . . 40μs Ukkonen 003: maximal_piece_prefix 3 . . . 207μs Ukkonen 004: number_of_pieces . . . 70μs Ukkonen 005: traverse . . . 21μs Ukkonen 006: dot . . . 168μs Ukkonen 007: strings . . . 59μs Ukkonen 008: dfs #01 . . . 34μs Ukkonen 009: dfs #02 . . . 32μs Ukkonen 010: dfs #03 . . . 29μs Ukkonen 011: dfs #04 . . . 97μs Ukkonen 012: dfs #05 . . . 64μs Ukkonen 013: dfs #06 . . . 49μs Ukkonen 014: dfs #07 . . . 109μs Ukkonen 015: dfs #08 . . . 71μs Ukkonen 016: dfs #09 . . . 96μs Ukkonen 017: dfs #10 . . . 29μs Ukkonen 018: pieces . . . 36μs Ukkonen 019: code coverage . . . 43μs Ukkonen 020: code coverage . . . 10μs action_digraph_helper 015: detail::to_string . . . 23μs action_digraph_helper 016: make . . . 34μs action_digraph_helper 017: is_connected . . . 146μs action_digraph_helper 018: is_strictly_cyclic . . . 9412μs follow_path 012: 20 node path . . . 20μs fpsemi-examples 002: full_transformation_monoid author except . . . 26μs fpsemi-examples 003: full_transformation_monoid degree except . . . 18μs fpsemi-examples 005: partial_transformation_monoid author except . . . 19μs fpsemi-examples 006: partial_transformation_monoid degree except . . . 17μs fpsemi-examples 007: symmetric_inverse_monoid(5) . . . 14ms fpsemi-examples 008: symmetric_group auth except . . . 25μs fpsemi-examples 009: symmetric_group degree except . . . 18μs fpsemi-examples 010: symmetric_group(6) Burnside + Miller . . . 22ms fpsemi-examples 011: dual_symmetric_inverse_monoid(5) . . . 158ms fpsemi-examples 012: dual_symmetric_inverse_monoid auth except . . . 33μs fpsemi-examples 013: dual_symmetric_inverse_monoid degree except . . . 18μs fpsemi-examples 014: uniform_block_bijection_monoid(5) . . . 10ms fpsemi-examples 015: uniform_block_bijection_monoid auth except . . . 23μs fpsemi-examples 016: uniform_block_bijection_monoid degree except . . . 25μs fpsemi-examples 019: partition_monoid auth except . . . 29μs fpsemi-examples 020: partition_monoid degree except . . . 26μs fpsemi-examples 022: monogenic_semigroup(4, 9) . . . 31μs fpsemi-examples 023: fibonacci_semigroup(2, 5) . . . 76μs fpsemi-examples 024: temperley_lieb_monoid(10) . . . 40ms fpsemi-examples 025: singular_brauer_monoid(6) . . . 367ms fpsemi-examples 026: orientation_preserving_monoid(6) . . . 21ms fpsemi-examples 027: orientation_reversing_monoid(5) . . . 5688μs fpsemi-examples 028: chinese_monoid(3) . . . 125μs fpsemi-examples 029: plactic_monoid(3) . . . 92μs fpsemi-examples 030: stylic_monoid(3) . . . 808μs fpsemi-examples 031: symmetric_group(6) Carmichael . . . 13ms fpsemi-examples 032: symmetric_group(6) Moore index 0 . . . 9308μs fpsemi-examples 033: symmetric_group(6) Coxeter + Moser . . . 5180μs fpsemi-examples 034: test for the rook monoid . . . 238μs fpsemi-examples 035: alternating_group(7) Moore . . . 20ms fpsemi-examples 036: alternating_group auth except . . . 54μs fpsemi-examples 037: alternating_group degree except . . . 18μs fpsemi-examples 038: partial_transformation_monoid(3) Machine . . . 290μs fpsemi-examples 039: chinese_monoid degree except . . . 28μs fpsemi-examples 040: monogenic_semigroup degree except . . . 26μs fpsemi-examples 041: rectangular_band degree except . . . 39μs fpsemi-examples 042: stellar_monoid degree except . . . 23μs fpsemi-examples 043: plactic_monoid degree except . . . 23μs fpsemi-examples 044: stylic_monoid degree except . . . 23μs fpsemi-examples 045: temperley_lieb_monoid degree except . . . 29μs fpsemi-examples 046: singular_brauer_monoid degree except . . . 28μs fpsemi-examples 047: orientation_preserving_monoid degree except . . . 29μs fpsemi-examples 048: orientation_reversing_monoid degree except . . . 28μs fpsemi-examples 049: test default values . . . 2703μs fpsemi-examples 052: not_symmetric_group(5) Guralnick + Kant [...] . . . 2428μs fpsemi-examples 053: order_preserving_monoid(5) . . . 533μs fpsemi-examples 055: order_preserving_monoid degree except . . . 67μs fpsemi-examples 056: cyclic_inverse_monoid(4) Fernandes 1 . . . 207μs fpsemi-examples 057: cyclic_inverse_monoid(8) Fernandes index 1 . . . 14ms fpsemi-examples 058: cyclic_inverse_monoid Fernandes index 0 . . . 21ms fpsemi-examples 059: order_preserving_cyclic_inverse_monoid(4) . . . 131μs fpsemi-examples 060: order_preserving_cyclic_inverse_monoid(10) . . . 25ms fpsemi-examples 061: cyclic_inverse_monoid degree except . . . 64μs fpsemi-examples 062: cyclic_inverse_monoid author except . . . 26μs fpsemi-examples 063: order_preserving_monoid degree except . . . 29μs fpsemi-examples 064: symmetric_group index except . . . 26μs fpsemi-examples 065: symmetric_group(7) Moore index 1 . . . 5523μs fpsemi-examples 066: order_preserving_cyclic_inverse_monoid(10) . . . 26ms fpsemi-examples 067: partial_isometries_cycle_graph_monoid(5) . . . 532μs fpsemi-examples 068: partial_isometries_cycle_graph_monoid(10) . . . 227ms fpsemi-examples 069: partial_isometries_cycle_graph_monoid d [...] . . . 37μs fpsemi-examples 070: partial_isometries_cycle_graph_monoid(4) . . . 232μs freeband_equal_to 001: . . . 914μs is_acyclic 000: 2-cycle . . . 12μs is_acyclic 001: 1-cycle . . . 10μs is_acyclic 002: multi-digraph . . . 13μs is_acyclic 003: complete digraph 100 . . . 89μs is_acyclic 004: acyclic digraph with 20000 nodes . . . 1975μs is_acyclic 006: for a node . . . 856μs is_acyclic 007: for a node . . . 17μs is_reachable 008: acyclic 20 node digraph . . . 63μs is_reachable 009: 100 node path . . . 9525μs is_reachable 010: 100 node cycle . . . 9018μs is_reachable 011: 20 node clique . . . 363μs last_node_on_path_nc 014: 20 node path . . . 15μs make 000: from FroidurePin . . . 430μs make 001: from FroidurePin and alphabet . . . 523μs make 002: presentation from presentation . . . 180μs make 003: presentation from presentation and alphabet . . . 41μs make 004: argument checks issue . . . 92μs make 005: use human readable alphabet for make . . . 19μs make> 000: from ActionDigraph . . . 1333μs make> 001: from ActionDigraph (exceptions) . . . 39μs number_of_words 001: . . . 17μs operator"" _w 003: literal . . . 13μs silo 000: alphabet: a, min: 0, max: 10 . . . 32μs silo 001: corner cases . . . 25μs silo 002: alphabet: ab, min: 1, max: 4 . . . 41μs silo 003: alphabet: abc, min: 0, max: 13 . . . 77ms silo 004: code coverage . . . 26μs sislo 005: alphabet: a, min: 0, max: 10 . . . 39μs sislo 006: corner cases . . . 63μs sislo 007: alphabet: ab, min: 1, max: 4 . . . 82μs sislo 008: alphabet: abc, min: 0, max: 13 . . . 75ms sislo 009: code coverage . . . 27μs string 000: detail::is_suffix . . . 13μs string 001: detail::is_prefix . . . 12μs string 002: detail::maximum_common_suffix . . . 11μs string 003: detail::group_digits . . . 19μs string_to_word 002: . . . 12μs validate_label 013: 20 node path . . . 42μs wilo 001: corner cases . . . 36μs wilo 002: letters: 2, min: 1, max: 4 . . . 48μs wilo 003: letters: 2, min: 1, max: 4 . . . 48μs wilo 004: letters: 3, min: 0, max: 10 . . . 13ms wilo 005: letters: 3, min: 0, max: 13 . . . 151ms wilo 006: forward iterator requirements . . . 149ms wilo 007: more corner cases . . . 53μs wilo 008: starting at a given word 1 . . . 137μs wilo 009: starting at a given word 2 . . . 19μs wilo 010: code coverage . . . 18μs wislo 000: n: 2, min; 1, max: 4 . . . 23μs wislo 001: corner cases . . . 37μs wislo 002: n: 3, min; 0, max: 10 . . . 4171μs wislo 003: n: 3, min; 0, max: 13 . . . 148ms wislo 004: lex + sort . . . 438ms wislo 005: code coverage . . . 24μs =============================================================================== All tests passed (1290401 assertions in 1201 test cases) >>> libsemigroups: Entering fakeroot... make[1]: Entering directory '/home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.1' ./config/install-sh -c -d '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib' ./config/install-sh -c -d '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups/backward-cpp' /bin/sh ./libtool --mode=install /usr/bin/install -c libsemigroups.la '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib' /usr/bin/install -c -m 644 extern/backward-cpp/backward.hpp '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups/backward-cpp' ./config/install-sh -c -d '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups/HPCombi/include/fallback' ./config/install-sh -c -d '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups/HPCombi/include' ./config/install-sh -c -d '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/pkgconfig' /usr/bin/install -c -m 644 extern/HPCombi/include/fallback/gcdlcm.hpp extern/HPCombi/include/fallback/seq.hpp '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups/HPCombi/include/fallback' ./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/HPCombi/include/bmat8.hpp extern/HPCombi/include/bmat8_impl.hpp extern/HPCombi/include/epu.hpp extern/HPCombi/include/epu_impl.hpp extern/HPCombi/include/hpcombi.hpp extern/HPCombi/include/perm16.hpp extern/HPCombi/include/perm16_impl.hpp extern/HPCombi/include/perm_generic.hpp extern/HPCombi/include/perm_generic_impl.hpp extern/HPCombi/include/power.hpp extern/HPCombi/include/testtools.hpp extern/HPCombi/include/vect16.hpp extern/HPCombi/include/vect_generic.hpp '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups/HPCombi/include' /usr/bin/install -c -m 644 include/libsemigroups/action.hpp include/libsemigroups/adapters.hpp include/libsemigroups/bipart.hpp include/libsemigroups/bitset.hpp include/libsemigroups/bmat8.hpp include/libsemigroups/bmat.hpp include/libsemigroups/bruidhinn-traits.hpp include/libsemigroups/config.hpp include/libsemigroups/cong-intf.hpp include/libsemigroups/cong-pair-impl.hpp include/libsemigroups/cong-pair.hpp include/libsemigroups/cong-wrap.hpp include/libsemigroups/cong.hpp include/libsemigroups/constants.hpp include/libsemigroups/containers.hpp include/libsemigroups/coset.hpp include/libsemigroups/debug.hpp include/libsemigroups/deprecated.hpp include/libsemigroups/digraph-helper.hpp include/libsemigroups/digraph-with-sources.hpp include/libsemigroups/digraph-with-sources.tpp include/libsemigroups/digraph.hpp include/libsemigroups/exception.hpp include/libsemigroups/fastest-bmat.hpp include/libsemigroups/felsch-tree.hpp include/libsemigroups/felsch-digraph.hpp include/libsemigroups/felsch-digraph.tpp include/libsemigroups/forest.hpp include/libsemigroups/fpsemi-examples.hpp include/libsemigroups/fpsemi-intf.hpp include/libsemigroups/fpsemi.hpp include/libsemigroups/freeband.hpp include/libsemigroups/froidure-pin-base.hpp include/libsemigroups/froidure-pin-impl.hpp include/libsemigroups/froidure-pin.hpp include/libsemigroups/function-ref.hpp include/libsemigroups/hpcombi.hpp include/libsemigroups/int-range.hpp include/libsemigroups/iterator.hpp include/libsemigroups/kambites.hpp '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups' libtool: install: /usr/bin/install -c .libs/libsemigroups.so.2.0.0 /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/libsemigroups.so.2.0.0 /usr/bin/install -c -m 644 extern/textflowcpp/TextFlow.hpp '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups/textflowcpp' libtool: install: (cd /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib && { ln -s -f libsemigroups.so.2.0.0 libsemigroups.so.2 || { rm -f libsemigroups.so.2 && ln -s libsemigroups.so.2.0.0 libsemigroups.so.2; }; }) /usr/bin/install -c -m 644 include/libsemigroups/kbe.hpp include/libsemigroups/knuth-bendix.hpp include/libsemigroups/konieczny.hpp include/libsemigroups/libsemigroups.hpp include/libsemigroups/make-froidure-pin.hpp include/libsemigroups/make-present.hpp include/libsemigroups/matrix.hpp include/libsemigroups/node-manager.hpp include/libsemigroups/obvinf.hpp include/libsemigroups/order.hpp include/libsemigroups/pbr.hpp include/libsemigroups/pool.hpp include/libsemigroups/present.hpp include/libsemigroups/present.tpp include/libsemigroups/race.hpp include/libsemigroups/report.hpp include/libsemigroups/runner.hpp include/libsemigroups/schreier-sims.hpp include/libsemigroups/schreier-sims-helper.hpp include/libsemigroups/sims1.hpp include/libsemigroups/sims1.tpp include/libsemigroups/siso.hpp include/libsemigroups/stl.hpp include/libsemigroups/stephen.hpp include/libsemigroups/string-view.hpp include/libsemigroups/string.hpp include/libsemigroups/tce.hpp include/libsemigroups/timer.hpp include/libsemigroups/todd-coxeter-digraph.hpp include/libsemigroups/todd-coxeter-digraph.tpp include/libsemigroups/todd-coxeter.hpp include/libsemigroups/transf.hpp include/libsemigroups/types.hpp include/libsemigroups/uf.hpp include/libsemigroups/ukkonen.hpp include/libsemigroups/ukkonen.tpp include/libsemigroups/wilo.hpp include/libsemigroups/wislo.hpp include/libsemigroups/word.hpp '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups' libtool: install: (cd /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib && { ln -s -f libsemigroups.so.2.0.0 libsemigroups.so || { rm -f libsemigroups.so && ln -s libsemigroups.so.2.0.0 libsemigroups.so; }; }) libtool: install: /usr/bin/install -c .libs/libsemigroups.lai /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/libsemigroups.la libtool: install: /usr/bin/install -c .libs/libsemigroups.a /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/libsemigroups.a libtool: install: chmod 644 /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/libsemigroups.a libtool: install: ranlib /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/libsemigroups.a libtool: warning: remember to run 'libtool --finish /usr/lib' make[1]: Leaving directory '/home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.1' >>> libsemigroups-static*: Running split function static... >>> libsemigroups-static*: Preparing subpackage libsemigroups-static... >>> libsemigroups-static*: Stripping binaries >>> libsemigroups-static*: Running postcheck for libsemigroups-static >>> libsemigroups-dev*: Running split function dev... >>> libsemigroups-dev*: Preparing subpackage libsemigroups-dev... >>> libsemigroups-dev*: Stripping binaries >>> libsemigroups-dev*: Running postcheck for libsemigroups-dev >>> libsemigroups*: Running postcheck for libsemigroups >>> libsemigroups*: Preparing package libsemigroups... >>> libsemigroups*: Stripping binaries >>> libsemigroups-dev*: Scanning shared objects >>> libsemigroups-static*: Scanning shared objects >>> libsemigroups*: Scanning shared objects >>> libsemigroups-dev*: Tracing dependencies... libsemigroups=2.7.1-r2 pc:eigen3 pc:fmt pkgconfig >>> libsemigroups-dev*: Package size: 2.3 MB >>> libsemigroups-dev*: Compressing data... >>> libsemigroups-dev*: Create checksum... >>> libsemigroups-dev*: Create libsemigroups-dev-2.7.1-r2.apk >>> libsemigroups-static*: Tracing dependencies... >>> libsemigroups-static*: Package size: 5.7 MB >>> libsemigroups-static*: Compressing data... >>> libsemigroups-static*: Create checksum... >>> libsemigroups-static*: Create libsemigroups-static-2.7.1-r2.apk >>> libsemigroups*: Tracing dependencies... so:libc.musl-x86_64.so.1 so:libfmt.so.9 so:libgcc_s.so.1 so:libstdc++.so.6 >>> libsemigroups*: Package size: 1.8 MB >>> libsemigroups*: Compressing data... >>> libsemigroups*: Create checksum... >>> libsemigroups*: Create libsemigroups-2.7.1-r2.apk >>> libsemigroups: Build complete at Tue, 01 Aug 2023 12:35:35 +0000 elapsed time 0h 3m 45s >>> libsemigroups: Cleaning up srcdir >>> libsemigroups: Cleaning up pkgdir >>> libsemigroups: Uninstalling dependencies... (1/4) Purging .makedepends-libsemigroups (20230801.123152) (2/4) Purging eigen-dev (3.4.0-r9) (3/4) Purging fmt-dev (9.1.0-r1) (4/4) Purging fmt (9.1.0-r1) OK: 377 MiB in 105 packages >>> libsemigroups: Updating the testing/x86_64 repository index... >>> libsemigroups: Signing the index...