>>> libsemigroups: Building testing/libsemigroups 2.7.3-r2 (using abuild 3.18.0_rc5-r1) started Wed, 30 Sep 2026 21:13:34 +0000 >>> libsemigroups: Validating /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-r10) (2/4) Installing fmt (12.2.0-r0) (3/4) Installing fmt-dev (12.2.0-r0) (4/4) Installing .makedepends-libsemigroups (20260930.211338) OK: 402.9 MiB in 110 packages >>> libsemigroups: Cleaning up srcdir >>> libsemigroups: Cleaning up pkgdir >>> libsemigroups: Cleaning up tmpdir >>> libsemigroups: Fetching https://distfiles.alpinelinux.org/distfiles/edge/libsemigroups-2.7.3.tar.gz Connecting to distfiles.alpinelinux.org (172.105.82.32:443) saving to '/var/cache/distfiles/edge/libsemigroups-2.7.3.tar.gz.part' libsemigroups-2.7.3. 100% |********************************| 2484k 0:00:00 ETA '/var/cache/distfiles/edge/libsemigroups-2.7.3.tar.gz.part' saved /var/cache/distfiles/edge/libsemigroups-2.7.3.tar.gz: OK /home/buildozer/aports/testing/libsemigroups/001-gcc-15.patch: OK >>> libsemigroups: Fetching https://distfiles.alpinelinux.org/distfiles/edge/libsemigroups-2.7.3.tar.gz /var/cache/distfiles/edge/libsemigroups-2.7.3.tar.gz: OK /home/buildozer/aports/testing/libsemigroups/001-gcc-15.patch: OK >>> libsemigroups: Unpacking /var/cache/distfiles/edge/libsemigroups-2.7.3.tar.gz... tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.xattr.com.apple.lastuseddate#PS' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' >>> libsemigroups: 001-gcc-15.patch patching file include/libsemigroups/sims1.tpp checking build system type... riscv64-alpine-linux-musl checking host system type... riscv64-alpine-linux-musl checking target system type... riscv64-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 riscv64-alpine-linux-musl-gcc... cc 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 cc accepts -g... yes checking for cc option to enable C11 features... none needed checking whether cc understands -c and -o together... yes checking dependency style of cc... gcc3 checking for riscv64-alpine-linux-musl-ar... no checking for riscv64-alpine-linux-musl-lib... no checking for riscv64-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 c++ accepts -g... yes checking for c++ option to enable C++11 features... none needed checking dependency style of c++... gcc3 checking whether c++ 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... cc -E checking for grep that handles long lines and -e... /bin/grep checking for egrep... /bin/grep -E checking whether cc 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 cc... /usr/riscv64-alpine-linux-musl/bin/ld checking if the linker (/usr/riscv64-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 riscv64-alpine-linux-musl file names to riscv64-alpine-linux-musl format... func_convert_file_noop checking how to convert riscv64-alpine-linux-musl file names to toolchain format... func_convert_file_noop checking for /usr/riscv64-alpine-linux-musl/bin/ld option to reload object files... -r checking for riscv64-alpine-linux-musl-file... no checking for file... file checking for riscv64-alpine-linux-musl-objdump... no checking for objdump... objdump checking how to recognize dependent libraries... pass_all checking for riscv64-alpine-linux-musl-dlltool... no checking for dlltool... no checking how to associate runtime and link libraries... printf %s\n checking for riscv64-alpine-linux-musl-ar... ar checking for archiver @FILE support... @ checking for riscv64-alpine-linux-musl-strip... no checking for strip... strip checking for riscv64-alpine-linux-musl-ranlib... no checking for ranlib... ranlib checking command to parse /usr/bin/nm -B output from cc 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 riscv64-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 cc supports -fno-rtti -fno-exceptions... no checking for cc option to produce PIC... -fPIC -DPIC checking if cc PIC flag -fPIC -DPIC works... yes checking if cc static flag -static works... yes checking if cc supports -c -o file.o... yes checking if cc supports -c -o file.o... (cached) yes checking whether the cc linker (/usr/riscv64-alpine-linux-musl/bin/ld) supports shared libraries... yes checking whether -lc should be explicitly linked in... no checking dynamic linker characteristics... GNU/Linux ld.so checking how to hardcode library paths into programs... immediate checking whether stripping libraries is possible... yes checking if libtool supports shared libraries... yes checking whether to build shared libraries... yes checking whether to build static libraries... yes checking how to run the C++ preprocessor... c++ -E checking for ld used by c++... /usr/riscv64-alpine-linux-musl/bin/ld checking if the linker (/usr/riscv64-alpine-linux-musl/bin/ld) is GNU ld... yes checking whether the c++ linker (/usr/riscv64-alpine-linux-musl/bin/ld) supports shared libraries... yes checking for c++ option to produce PIC... -fPIC -DPIC checking if c++ PIC flag -fPIC -DPIC works... yes checking if c++ static flag -static works... yes checking if c++ supports -c -o file.o... yes checking if c++ supports -c -o file.o... (cached) yes checking whether the c++ linker (/usr/riscv64-alpine-linux-musl/bin/ld) supports shared libraries... yes checking dynamic linker characteristics... (cached) GNU/Linux ld.so checking how to hardcode library paths into programs... immediate checking for limits.h... yes checking for stdint.h... (cached) yes checking for stdlib.h... (cached) yes checking for sys/time.h... yes checking for unistd.h... (cached) yes checking for pthread.h... yes checking for _Bool... yes checking for stdbool.h that conforms to C99... yes checking for inline... inline checking for int64_t... yes checking for size_t... yes checking for uint64_t... yes checking for ptrdiff_t... yes checking size of void *... 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... no configure: WARNING: flag -mavx not supported, HPCombi is disabled checking for riscv64-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-pair.lo CXX src/libsemigroups_la-cong-intf.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.3' 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-4.o CXX tests/test-knuth-bendix-3.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-pbr.o CXX tests/test-order.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++/15.2.0/algorithm:63, 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++/15.2.0/bits/stl_algo.h:1909:31, inlined from 'void std::sort(_RAIter, _RAIter, _Compare) [with _RAIter = libsemigroups::StaticRowView*; _Compare = libsemigroups::{anonymous}::test_BMat000 >()::]' at /usr/include/c++/15.2.0/bits/stl_algo.h:4874:18, inlined from 'void libsemigroups::{anonymous}::test_BMat000() [with Mat = libsemigroups::StaticMatrix]' at tests/test-matrix.cpp:166:18: /usr/include/c++/15.2.0/bits/stl_algo.h:1818:32: warning: array subscript 16 is outside array bounds of 'libsemigroups::detail::StaticVector1, 2> [1]' [-Warray-bounds=] 1818 | 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.3' ./test_all --use-colour yes --order lex --abort [quick] Filters: [quick] Action 001: row and column basis orbits for BMat8 . . . 12ms Action 002: row and column basis orbits for BMat8 . . . 6162μs Action 003: add generators after enumeration . . . 6373μs Action 004: multipliers for BMat8 row and column orbits . . . 13ms Action 005: orbits for regular boolean mat monoid 5 . . . 1534ms Action 007: partial perm image orbit . . . 2063μs Action 008: partial perm image orbit . . . 319ms Action 009: partial perm image orbit . . . 412ms Action 010: partial perm image orbit . . . 451ms Action 011: permutation on integers . . . 68μs Action 012: permutation on sets, arrays . . . 660μs Action 013: permutation on tuples, arrays . . . 93ms Action 014: permutation on sets, vectors . . . 885μs Action 015: permutation on tuples, vectors . . . 126ms Action 016: misc . . . 24ms Action 017: partial perm image orbit . . . 211μs Action 018: permutation on tuples, arrays (360360) . . . 1663ms Action 019: orbits for regular BMat8 monoid 5 with stop/start . . . 1758ms Action 021: orbits for regular boolean mat monoid 5 (BMat<5> [...] . . . 2699ms ActionDigraph 000: constructor with 1 default arg . . . 4284μs ActionDigraph 001: constructor with 0 default args . . . 441μs ActionDigraph 002: add nodes . . . 77μs ActionDigraph 003: add edges . . . 9547μs ActionDigraph 004: strongly connected components - cycles . . . 11ms ActionDigraph 005: strongly connected components - no edges . . . 221ms ActionDigraph 006: strongly connected components - disjoint cycles . . . 23ms ActionDigraph 007: strongly connected components - complete graphs . . . 8243μs ActionDigraph 008: exceptions . . . 308μs ActionDigraph 009: spanning forest - complete graphs . . . 75ms ActionDigraph 010: spanning forest - disjoint cycles . . . 2400μs ActionDigraph 011: restrict . . . 167μs ActionDigraph 012: remove_edge_nc . . . 53μs ActionDigraph 013: scc large cycle . . . 201ms ActionDigraph 014: random . . . 3832μs ActionDigraph 015: reserve . . . 37μs ActionDigraph 016: default constructors . . . 60μs ActionDigraph 017: scc iterators . . . 21ms ActionDigraph 018: iterator to edges . . . 4604μs ActionDigraph 019: root of scc . . . 3708μs ActionDigraph 020: cbegin/end_panislo - 100 node path . . . 14ms ActionDigraph 021: cbegin/end_pislo . . . 233μs ActionDigraph 022: cbegin/end_pani(s)lo - 100 node cycle . . . 29ms ActionDigraph 023: cbegin/cend_pilo - tree 14 nodes . . . 324μs ActionDigraph 024: cbegin/end_pstilo - Cayley digraph . . . 1932ms ActionDigraph 025: cbegin_pstilo - Tsalakou . . . 41ms ActionDigraph 026: cbegin/end_pstislo - Cayley digraph . . . 2152ms ActionDigraph 027: cbegin/end_pstislo - Cayley digraph . . . 659μs ActionDigraph 028: path iterators corner cases . . . 894μs ActionDigraph 029: reverse node iterator . . . 74μs ActionDigraph 030: pstilo corner case . . . 1192μs ActionDigraph 031: number_of_paths corner cases . . . 9594μs ActionDigraph 032: number_of_paths acyclic digraph . . . 1441ms ActionDigraph 033: number_of_paths binary tree . . . 3918ms ActionDigraph 034: number_of_paths large binary tree . . . 626ms ActionDigraph 035: number_of_paths 400 node random digraph . . . 4649μs ActionDigraph 036: number_of_paths 10 node acyclic digraph . . . 318μs ActionDigraph 037: number_of_paths node digraph . . . 35ms ActionDigraph 038: random/random_acyclic exceptions . . . 920μs ActionDigraph 039: unsafe (next) neighbour . . . 416μs ActionDigraph 040: number_of_egdes incident to a node . . . 442μs ActionDigraph 041: number_of_paths (matrix) . . . 184ms ActionDigraph 042: number_of_paths (matrix) . . . 64μs ActionDigraph 043: swap_edge_nc . . . 42μs ActionDigraph 044: detail::pow for non-square Eigen matrix . . . 166μs ActionDigraph 045: operator<< . . . 74μs Array2 044: all . . . 3852μs BMat8 001: transpose . . . 248μs BMat8 002: multiplication . . . 62μs BMat8 003: identity matrix . . . 50μs BMat8 004: random . . . 4895μs BMat8 005: call operator . . . 88μs BMat8 006: operator<< . . . 78μs BMat8 007: set . . . 3818μs BMat8 008: row space basis . . . 1599μs BMat8 009: col space basis . . . 1833μs BMat8 010: row space basis . . . 4936μs BMat8 011: number_of_rows, number_of_cols . . . 404μs BMat8 012: row_space, col_space . . . 962μs BMat8 013: rows . . . 418μs BMat8 014: one . . . 45μs BMat8 015: vector constructor . . . 633μs BMat8 016: operator< . . . 66μs BMat8 017: adapters . . . 66μs BMat8 018: one . . . 61μs Bipartition 009: mem fns 1 . . . 3859μs Bipartition 010: hash . . . 42μs Bipartition 011: mem fns 2 . . . 86μs Bipartition 012: delete/copy . . . 49μs Bipartition 013: degree 0 . . . 48μs Bipartition 014: exceptions . . . 252μs Bipartition 015: convenience constructor . . . 2820μs Bipartition 016: force copy constructor over move constructor . . . 80μs Bipartition 017: adapters . . . 64μs BitSet 000: size . . . 33μs BitSet 001: operator< . . . 38μs BitSet 002: operator== . . . 64μs BitSet 003: operator!= . . . 36μs BitSet 004: operator&= . . . 3731μs BitSet 005: & . . . 55μs BitSet 006: operator|= . . . 72μs BitSet 007: operator[] . . . 95μs BitSet 008: set(none) . . . 84μs BitSet 009: set(pos, value) . . . 72μs BitSet 010: set(first, last, value) . . . 112μs BitSet 011: reset(first, last) . . . 62μs BitSet 012: reset(pos) . . . 67μs BitSet 013: apply (iterate through set bits) . . . 143μs BitSet 014: std::hash . . . 17μs BitSet 015: constructors . . . 57μs BitSet 016: max_size . . . 54μs BitSet 017: insertion operators . . . 43μs Blocks 001: empty blocks . . . 50μs Blocks 002: non-empty blocks . . . 34μs Blocks 003: left blocks of bipartition . . . 68μs Blocks 004: right blocks of bipartition . . . 52μs Blocks 005: copy [empty blocks] . . . 35μs Blocks 006: copy [non-empty blocks] . . . 85μs Blocks 007: hash value . . . 42μs Blocks 008: operator< . . . 36μs Congruence 000: left congruence on fp semigroup . . . 40ms Congruence 001: 2-sided congruence on fp semigroup . . . 20ms Congruence 002: left congruence on fp semigroup . . . 11ms Congruence 003: word_to_class_index for cong. on fp semigroup . . . 11ms Congruence 004: word_to_class_index for cong. on fp semigroup . . . 10ms Congruence 005: trivial congruence on non-fp semigroup . . . 14ms Congruence 006: 2-sided congruence on non-fp semigroup . . . 7792μs Congruence 007: 2-sided congruence on fp semigroup . . . 30ms Congruence 008: 2-sided congruence on infinite fp semigroup . . . 8916μs Congruence 009: 2-sided congruence on infinite fp semigroup . . . 11ms Congruence 010: 2-sided congruence on finite semigroup . . . 296ms Congruence 012: 2-sided congruence on finite semigroup . . . 34ms Congruence 013: trivial 2-sided congruence on bicyclic monoid . . . 162ms Congruence 014: non-trivial 2-sided congruence on bicyclic monoid . . . 5172μs Congruence 015: 2-sided congruence on free abelian monoid . . . 4851μs Congruence 016: example where TC works but KB doesn't . . . 12ms Congruence 017: 2-sided congruence on finite semigroup . . . 7084μs Congruence 018: infinite fp semigroup from GAP library . . . 13ms Congruence 019: 2-sided cong. on fp semigroup with infinite [...] . . . 5834μs Congruence 020: trivial cong. on an fp semigroup . . .  -- with compute size 7376μs  -- with don't compute size 4741μs Congruence 021: duplicate generators . . . 14ms Congruence 022: non-trivial classes . . . 10ms Congruence 023: right congruence on finite semigroup . . . 4700ms Congruence 024: redundant generating pairs . . . 1277μs Congruence 025: 2-sided cong. on free semigroup . . . 8613μs Congruence 026: is_quotient_obviously_(in)finite . . . 17ms Congruence 027: less . . . 8219μs Congruence 028: 2-sided congruences of BMat8 semigroup . . . 1467ms Congruence 029: left congruence on finite semigroup . . . 5395μs Congruence 030: right congruence on finite semigroup . . . 8368μs Congruence 031: right congruence on finite semigroup . . . 13ms Congruence 032: contains . . . 1655μs Congruence 033: stellar_monoid S2 . . . 10ms Congruence 034: stellar_monoid S3 . . . 20ms Congruence 035: stellar_monoid S4 . . . 34ms Congruence 036: stellar_monoid S5 . . . 103ms Congruence 037: stellar_monoid S6 . . . 500ms Congruence 038: stellar_monoid S7 . . . 7772ms Congruence 039: left cong. on an f.p. semigroup . . . 13ms Congruence 040: 2-sided cong. on infinite f.p. semigroup . . . 2383μs Congruence 041: 2-sided congruence constructed from type only . . . 3936μs Congruence 042: const_contains . . . 10ms Congruence 043: no winner . . . 74ms Congruence 044: congruence over smalloverlap . . . 102ms CongruenceByPairs 001: (cong) 2-sided cong. on finite semigroup . . . 5782μs CongruenceByPairs 002: (cong) left congruence on finite semigroup . . . 3038μs CongruenceByPairs 003: (cong) right congruence on finite semigroup . . . 2966μs CongruenceByPairs 004: (cong) trivial congruence on finite s [...] . . . 6524μs CongruenceByPairs 005: (cong) trivial left congruence on fin [...] . . . 1965μs CongruenceByPairs 006: (cong) trivial right congruence on fi [...] . . . 1793μs CongruenceByPairs 007: (cong) universal congruence on finite [...] . . . 7277μs CongruenceByPairs 009: (cong) 2-sided congruence on finite s [...] . . . 6466ms CongruenceByPairs 010: (cong) left congruence on big finite [...] . . . 361ms CongruenceByPairs 011: (cong) left congruence on TCE . . . 2350μs CongruenceByPairs 012: (cong) is_quotient_obviously_finite . . . 1890μs CongruenceByPairs 013: (cong) class_index_to_word/quotient . . .  -- with right congruence 56ms  -- with left congruence 16ms  -- with 2-sided congruence 49ms CongruenceByPairs 014: (cong) const_word_to_class_index . . .  -- with right congruence 242μs  -- with left congruence 221μs  -- with 2-sided congruence 129μs CongruenceByPairs 015: (cong) size non-Element* . . . 369ms CongruenceInterface 000: add_pair . . .  -- with ToddCoxeter 1137μs  -- with KnuthBendix 1971μs  -- with CongruenceByPairs 1640μs  -- with Congruence 14ms CongruenceInterface 001: contains/const_contains . . .  -- with ToddCoxeter and no parent 972μs  -- with KnuthBendix and no parent 667μs  -- with Congruence and parent 17ms  -- with CongruenceByPairs and parent 1013μs CongruenceInterface 002: less . . .  -- with ToddCoxeter 985μs  -- with KnuthBendix 1270μs  -- with CongruenceByPairs 1346μs  -- with Congruence 12ms CongruenceInterface 003: is_quotient_obviously_(in)finite . . .  -- with ToddCoxeter 728μs  -- with KnuthBendix 2272μs CongruenceInterface 004: is_quotient_obviously_(in)finite . . .  -- with CongruenceByPairs 1357μs  -- with Congruence 9010μs CongruenceInterface 005: parent_froidure_pin . . .  -- with ToddCoxeter 613μs  -- with KnuthBendix 132μs CongruenceInterface 006: parent_froidure_pin . . .  -- with CongruenceByPairs 1453μs  -- with Congruence 8783μs CongruenceInterface 007: cbegin/cend_ntc . . .  -- with ToddCoxeter 3715μs  -- with KnuthBendix 9982μs CongruenceInterface 008: cbegin/cend_ntc . . .  -- with CongruenceByPairs 2395μs  -- with Congruence 16ms CongruenceInterface 009: quotient is immutable . . .  -- with ToddCoxeter 1092μs  -- with KnuthBendix 1129μs  -- with Congruence 14ms CongruenceInterface 010: no generating pairs added . . .  -- with KnuthBendix and common behaviour 72ms  -- with Congruence and common behaviour 56ms  -- with ToddCoxeter 899μs CongruenceInterface 011: nr generators not set . . .  -- with ToddCoxeter 1152μs  -- with KnuthBendix 938μs  -- with Congruence 939μs CongruenceInterface 012: no generating pairs . . . 2419μs ConstIteratorStateless 001: ? . . . 297μs ConstIteratorStateless 002: ? . . . 45μs Constants 001: Undefined . . . 3839μs Constants 002: PositiveInfinity . . . 49μs Constants 003: NegativeInfinity . . . 61μs Constants 004: LimitMax . . . 64μs Duf 004: unite . . . 13ms Duf 006: compress . . . 69μs Duf 008: resize . . . 142μs Duf 009: resize . . . 39μs Duf 010: big chain . . . 63ms Duf 012: empty table . . . 59μs Duf 014: join . . . 59μs Duf 016: contains . . . 111μs Duf 018: swap . . . 127μs DynamicArray2 001: default constructor with 3 default args . . . 322μs DynamicArray2 002: default constructor with 2 default args . . . 22μs DynamicArray2 003: default constructor with 1 default args . . . 44μs DynamicArray2 004: default constructor with 0 default args . . . 47μs DynamicArray2 005: copy constructor with 1 default args . . . 45μs DynamicArray2 006: copy constructor with 0 default args . . . 4357μs DynamicArray2 007: add_rows . . . 70μs DynamicArray2 008: add_rows . . . 37μs DynamicArray2 009: add_cols . . . 43μs DynamicArray2 010: set/get . . . 572μs DynamicArray2 011: append 1/2 . . . 1497μs DynamicArray2 012: append 2/2 . . . 7216μs DynamicArray2 013: count . . . 600μs DynamicArray2 014: clear . . . 60μs DynamicArray2 015: begin_row and end_row . . . 163μs DynamicArray2 016: cbegin_row and cend_row . . . 94μs DynamicArray2 017: iterator operator++ (postfix) . . . 639μs DynamicArray2 018: iterator operator++ (prefix) . . . 4100μs DynamicArray2 019: iterator operator-- (postfix) . . . 810μs DynamicArray2 020: iterator operator-- (prefix) . . . 814μs DynamicArray2 021: operator= . . . 91μs DynamicArray2 022: operator== and operator!= . . . 1154μs DynamicArray2 023: empty and clear . . . 61μs DynamicArray2 024: max_size . . . 25μs DynamicArray2 025: swap . . . 501μs DynamicArray2 026: iterator arithmetic . . . 4243μs DynamicArray2 027: iterator comparison . . . 97μs DynamicArray2 028: iterator operator= . . . 68μs DynamicArray2 029: iterator operator[] . . . 215μs DynamicArray2 030: iterator operator-> . . . 415μs DynamicArray2 031: const_iterator operator++/-- . . . 633μs DynamicArray2 032: const_iterator operator++/-- . . . 34μs DynamicArray2 033: column iterators . . . 75μs DynamicArray2 034: column iterator arithmetic . . . 15ms DynamicArray2 035: iterator assignment constructor . . . 4768μs DynamicArray2 036: reserve method . . . 1025μs DynamicArray2 037: erase column . . . 62μs DynamicArray2 038: swap_rows . . . 30μs DynamicArray2 039: apply_row_permutation . . . 30μs DynamicArray2 040: swap . . . 30μs DynamicArray2 041: shrink_rows_to . . . 57μs DynamicArray2 042: shrink_rows_to - for range . . . 53μs FastestBMat 046: check no throw . . . 4584μs FelschTree 000: previously failing example . . . 128μs Forest 001: test forest . . . 340μs FpSemigroup 001: Renner monoid type B2 (E. G. presentation), q = 1 . . . 16ms FpSemigroup 002: Renner monoid type B2 (E. G. presentation), q = 0 . . . 8337μs FpSemigroup 003: Renner monoid type B3 (E. G. presentation), q = 1 . . . 483ms FpSemigroup 004: Renner monoid type B3 (E. G. presentation), q = 0 . . . 440ms FpSemigroup 005: Renner monoid type B2 (Gay-Hivert presentat [...] . . . 9276μs FpSemigroup 006: Renner monoid type B2 (Gay-Hivert presentat [...] . . . 10ms FpSemigroup 007: Renner monoid type B3 (Gay-Hivert presentat [...] . . . 42ms FpSemigroup 008: Renner monoid type B3 (Gay-Hivert presentat [...] . . . 33ms FpSemigroup 009: Renner monoid type B4 (Gay-Hivert presentat [...] . . . 2048ms FpSemigroup 010: Renner monoid type B4 (Gay-Hivert presentat [...] . . . 3168ms FpSemigroup 013: Renner monoid type D2 (E. G. presentation), q = 1 . . . 13ms FpSemigroup 014: Renner monoid type D2 (E. G. presentation), q = 0 . . . 30ms FpSemigroup 015: Renner monoid type D3 (E. G. presentation), q = 1 . . . 70ms FpSemigroup 016: Renner monoid type D3 (E. G. presentation), q = 0 . . . 85ms FpSemigroup 017: Renner monoid type D4 (E. G. presentation), q = 1 . . . 5260ms FpSemigroup 018: Renner monoid type D4 (E. G. presentation), q = 0 . . . 5267ms FpSemigroup 019: Renner monoid type D2 (Gay-Hivert presentat [...] . . . 13ms FpSemigroup 020: Renner monoid type D2 (Gay-Hivert presentat [...] . . . 16ms FpSemigroup 021: Renner monoid type D3 (Gay-Hivert presentat [...] . . . 54ms FpSemigroup 022: Renner monoid type D3 (Gay-Hivert presentat [...] . . . 62ms FpSemigroup 023: Renner monoid type D4 (Gay-Hivert presentat [...] . . . 526ms FpSemigroup 024: Renner monoid type D4 (Gay-Hivert presentat [...] . . . 493ms FpSemigroup 029: Rook monoid R5, q = 0 . . . 54ms FpSemigroup 030: Rook monoid R5, q = 1 . . . 53ms FpSemigroup 031: Rook monoid R6, q = 0 . . . 248ms FpSemigroup 032: Rook monoid R6, q = 1 . . . 235ms FpSemigroup 033: normal_form . . . 2082μs FpSemigroup 034: for a finite semigroup . . . 5567μs FpSemigroup 035: finite fp semigroup, dihedral group of order 6 . . . 6480μs FpSemigroup 036: finite fp semigroup, size 16 . . . 10ms FpSemigroup 037: finite fp semigroup, size 16 . . . 10ms FpSemigroup 038: fp semigroup, size 240 . . . 12ms FpSemigroup 039: add_rule . . . 15ms FpSemigroup 040: add_rule . . . 819μs FpSemigroup 041: equal_to . . . 7985μs FpSemigroup 042: cbegin/cend_rules . . . 617μs FpSemigroup 043: semigroup of size 3 . . . 7896μs FpSemigroup 044: run_for/until . . . 10ms FpSemigroup 045: constructors . . . 4895μs FpSemigroup 046: set_inverses . . . 1249μs FpSemigroup 047: smalloverlap . . . 89ms FpSemigroup 048: quaternion group Q8 . . . 8900μs FpSemigroup 049: symmetric group Coxeter presentation . . . 179ms FpSemigroupByPairs 029: (fpsemi) 2-sided congruence on finit [...] . . . 3916μs FpSemigroupByPairs 030: (fpsemi) 2-sided congruence on finit [...] . . . 4445μs FpSemigroupInterface 000: run with no alphabet . . .  -- with ToddCoxeter 936μs  -- with KnuthBendix 147μs  -- with FpSemigroup 538μs FpSemigroupInterface 001: equal_to . . .  -- with ToddCoxeter and human readable alphabet 10ms  -- with KnuthBendix and human readable alphabet 9701μs  -- with FpSemigroup and human readable alphabet 16ms  -- with FpSemigroupByPairs 21ms FpSemigroupInterface 002: normal_form . . .  -- with ToddCoxeter 846μs  -- with KnuthBendix 1326μs  -- with FpSemigroup 4730μs FpSemigroupInterface 003: set_alphabet (1/2) . . .  -- with ToddCoxeter 794μs  -- with KnuthBendix 326μs  -- with FpSemigroup 810μs FpSemigroupInterface 004: set_alphabet (2/2) . . . 6135μs FpSemigroupInterface 005: add_rule after finished . . .  -- with ToddCoxeter and human readable alphabet 830μs  -- with KnuthBendix and human readable alphabet 1310μs  -- with FpSemigroup and human readable alphabet 6006μs  -- with FpSemigroupByPairs 5892μs FpSemigroupInterface 006: add_rule with equal words (1/2) . . .  -- with ToddCoxeter and human readable alphabet 2985μs  -- with KnuthBendix and human readable alphabet 2674μs  -- with FpSemigroup and human readable alphabet 3453μs  -- with FpSemigroupByPairs 2400μs FpSemigroupInterface 007: add_rule with equal words (2/2) . . .  -- with ToddCoxeter 460μs  -- with KnuthBendix 92μs  -- with FpSemigroup 443μs FpSemigroupInterface 008: add_rule with word_type . . .  -- with ToddCoxeter 665μs  -- with KnuthBendix 212μs  -- with FpSemigroup 679μs FpSemigroupInterface 009: add_rule with empty word (1/2) . . .  -- with ToddCoxeter 543μs  -- with FpSemigroup 608μs FpSemigroupInterface 010: add_rule with empty word (1/2) . . . 52μs FpSemigroupInterface 011: add_rules (1/3) . . .  -- with ToddCoxeter 575μs  -- with KnuthBendix 168μs  -- with FpSemigroup 622μs FpSemigroupInterface 012: add_rules (2/3) . . . 4432μs FpSemigroupInterface 013: add_rules (3/3) . . .  -- with ToddCoxeter 440μs  -- with KnuthBendix 78μs  -- with FpSemigroup 579μs FpSemigroupInterface 014: set_identity (1/3) . . .  -- with ToddCoxeter 968μs  -- with KnuthBendix 686μs  -- with FpSemigroup 1078μs FpSemigroupInterface 015: set_identity (2/3) . . . 1980μs FpSemigroupInterface 016: set_identity (3/3) . . .  -- with ToddCoxeter 605μs  -- with KnuthBendix 592μs  -- with FpSemigroup 1076μs FpSemigroupInterface 017: identity . . .  -- with ToddCoxeter 517μs  -- with KnuthBendix 128μs  -- with FpSemigroup 497μs FpSemigroupInterface 018: set_inverses + inverses (1/2) . . .  -- with ToddCoxeter 965μs  -- with KnuthBendix 888μs  -- with FpSemigroup 1463μs FpSemigroupInterface 019: set_inverses + inverses (2/2) . . . 2246μs FpSemigroupInterface 020: is_obviously_infinite (1/2) . . .  -- with ToddCoxeter 1169μs  -- with KnuthBendix 958μs  -- with FpSemigroup 10ms FpSemigroupInterface 021: is_obviously_infinite (2/2) . . . 123μs FpSemigroupInterface 022: is_obviously_finite (1/2) . . .  -- with ToddCoxeter 1214μs  -- with KnuthBendix 1018μs  -- with FpSemigroup 10ms FpSemigroupInterface 023: is_obviously_finite (2/2) . . . 165μs FpSemigroupInterface 024: to_gap_string (1/3) . . .  -- with ToddCoxeter 517μs  -- with KnuthBendix 123μs  -- with FpSemigroup 626μs FpSemigroupInterface 025: to_gap_string (2/3) . . . 60μs FpSemigroupInterface 026: to_gap_string (3/3) . . . 117μs FroidurePin 015: (BMat8) regular boolean mat monoid 4 . . . 705ms FroidurePin 016: (BMat8) exception zero generators given . . . 41μs FroidurePin 017: (BMat8) exception word_to_element . . . 1000μs FroidurePin 018: (BMat8) exception prefix . . . 110ms FroidurePin 019: (BMat8) exception suffix . . . 89μs FroidurePin 020: (BMat8) exception first_letter . . . 78ms FroidurePin 021: (BMat8) exception final_letter . . . 76μs FroidurePin 022: (BMat8) exception current_length . . . 81ms FroidurePin 023: (BMat8) exception product_by_reduction . . . 7751μs FroidurePin 024: (BMat8) exception fast_product . . . 7434μs FroidurePin 025: (BMat8) exception is_idempotent . . . 383ms FroidurePin 026: (BMat8) copy constructor . . .  -- with fully enumerated 515ms  -- with partially enumerated 401ms  -- with not enumerated 395ms FroidurePin 027: (BMat8) cbegin/end_rules . . . 4035μs FroidurePin 031: (integers) . . . 11ms FroidurePin 039: (pairs of integers) non-trivial user type . . . 7913μs FroidurePin 055: (tropical max-plus semiring matrices) . . . 15ms FroidurePin 061: projective max plus matrix . . . 20ms FroidurePin 062: projective max plus matrix . . . 170μs FroidurePin> 009: small example 2 . . . 4317μs FroidurePin> 005: small example 1 . . . 1373μs FroidurePin> 007: regular bmat monoid 4 . . . 686ms FroidurePin> 011: small example 3 . . . 8797μs FroidurePin> 006: small example 1 . . . 3738μs FroidurePin> 008: regular bmat monoid 4 . . . 811ms FroidurePin> 010: small example 2 . . . 243μs FroidurePin> 012: small example 3 . . . 8624μs FroidurePin 000: small example 1 . . . 637μs FroidurePin 001: default constructed . . . 636μs FroidurePin 002: small example 2 . . . 198μs FroidurePin 004: exception: is_idempotent . . . 9942μs FroidurePin> 033: Example 000 . . . 14ms FroidurePin> 035: Example 001 . . . 252μs FroidurePin> 032: Example 000 . . . 5582μs FroidurePin> 034: Example 001 . . . 195μs FroidurePin 036: exception: current_position . . . 3245μs FroidurePin 037: exception: word_to_element . . . 1337μs FroidurePin 038: exception: prefix, suffix, first_letter . . . 1030ms FroidurePin> 040: Example 000 . . . 13ms FroidurePin> 041: Example 000 . . . 5115μs FroidurePin> 046: Example 005 . . . 10ms FroidurePin> 047: Example 005 . . . 1941μs FroidurePin> 048: Example 005 . . . 1807μs FroidurePin> 044: Example 004 . . . 121μs FroidurePin> 045: Example 004 . . . 126μs FroidurePin> 049: Example 006 . . . 13ms FroidurePin> 050: Example 006 . . . 14ms FroidurePin> 051: Example 006 . . . 15ms FroidurePin> 052: Example 007 . . . 2933μs FroidurePin> 053: Example 007 . . . 3223μs FroidurePin> 054: Example 007 . . . 3301μs FroidurePin 056: example 1 . . . 6107μs FroidurePin 057: example 2 . . . 1676μs FroidurePin> 058: . . . 6958μs FroidurePin> 059: . . . 733μs FroidurePin> 060: exceptions: add_generator(s) . . . 1264μs FroidurePin> 065: no exception zero generators given . . . 4159μs FroidurePin> 066: exception generators of different [...] . . . 14ms FroidurePin> 067: exception current_position . . . 659μs FroidurePin> 068: exception word_to_element . . . 312μs FroidurePin> 069: exception gens . . . 8912μs FroidurePin> 070: exception prefix . . . 1455ms FroidurePin> 071: exception suffix . . . 3786ms FroidurePin> 072: exception first_letter . . . 1887μs FroidurePin> 073: exception final_letter . . . 1777μs FroidurePin> 074: exception current_length . . . 3028μs FroidurePin> 075: exception product_by_reduction . . . 43ms FroidurePin> 076: exception fast_product . . . 22ms FroidurePin> 077: exception current_position . . . 14ms FroidurePin> 078: exception is_idempotent . . . 8177μs FroidurePin> 079: exception add_generators . . . 264μs FroidurePin> 080: multithread number_of_idempotents . . . 16ms FroidurePin> 081: small semigroup . . . 4801μs FroidurePin> 082: large semigroup . . . 65ms FroidurePin> 083: at, position, current_* . . . 70ms FroidurePin> 084: run . . . 64ms FroidurePin> 085: run [many stops and starts] . . . 73ms FroidurePin> 086: factorisation, length [1 element] . . . 68ms FroidurePin> 087: factorisation, products [all elements] . . . 81ms FroidurePin> 088: first/final letter, prefix, suffi [...] . . . 61ms FroidurePin> 089: current_position [standard] . . . 565μs FroidurePin> 090: current_position [duplicate gens] . . . 94ms FroidurePin> 091: current_position [after add_generators] . . . 68ms FroidurePin> 092: cbegin_idempotents/cend [1 thread] . . . 70ms FroidurePin> 093: idempotent_cend/cbegin [1 thread] . . . 70ms FroidurePin> 094: is_idempotent [1 thread] . . . 68ms FroidurePin> 096: finished, started . . . 65ms FroidurePin> 097: current_position . . . 19ms FroidurePin> 098: sorted_position, sorted_at . . . 72ms FroidurePin> 099: right/left Cayley graph . . . 215ms FroidurePin> 100: iterator . . . 87ms FroidurePin> 101: reverse iterator . . . 85ms FroidurePin> 102: iterator arithmetic . . . 153ms FroidurePin> 103: iterator sorted . . . 211ms FroidurePin> 104: iterator sorted arithmetic . . . 176ms FroidurePin> 105: copy [not enumerated] . . . 68ms FroidurePin> 106: copy_closure [not enumerated] . . . 365ms FroidurePin> 107: copy_add_generators [not enumerated] . . . 372ms FroidurePin> 108: copy [partly enumerated] . . . 80ms FroidurePin> 109: copy_closure [partly enumerated] . . . 119ms FroidurePin> 110: copy_add_generators [partly enumerated] . . . 81ms FroidurePin> 111: copy [fully enumerated] . . . 103ms FroidurePin> 112: copy_closure [fully enumerated] . . . 113ms FroidurePin> 113: copy_add_generators [fully enumerated] . . . 106ms FroidurePin> 114: relations [duplicate gens] . . . 3326μs FroidurePin> 115: relations . . . 90ms FroidurePin> 116: relations [copy_closure, duplicat [...] . . . 118ms FroidurePin> 117: relations [copy_add_generators, d [...] . . . 123ms FroidurePin> 118: relations [from copy, not enumerated] . . . 72ms FroidurePin> 119: relations [from copy, partly enum [...] . . . 131ms FroidurePin> 120: relations [from copy, fully enumerated] . . . 116ms FroidurePin> 121: relations [from copy_closure, not [...] . . . 118ms FroidurePin> 122: relations [from copy_add_generato [...] . . . 71ms FroidurePin> 123: relations [from copy_closure, par [...] . . . 109ms FroidurePin> 124: relations [from copy_add_generato [...] . . . 94ms FroidurePin> 125: relations [from copy_closure, ful [...] . . . 132ms FroidurePin> 126: relations [from copy_add_generato [...] . . . 112ms FroidurePin> 127: add_generators [duplicate generators] . . . 4805μs FroidurePin> 128: add_generators [incremental 1] . . . 4951μs FroidurePin> 129: add_generators [incremental 2] . . . 7326μs FroidurePin> 130: closure [duplicate generators] . . . 2917μs FroidurePin> 131: closure . . . 1695μs FroidurePin> 132: factorisation . . . 108μs FroidurePin> 134: minimal_factorisation . . . 1000μs FroidurePin> 135: batch_size (for an extremely larg [...] . . . 116μs FroidurePin> 137: exception: generators of differen [...] . . . 500μs FroidurePin> 138: exception: current_position . . . 1013μs FroidurePin> 139: exception: word_to_element . . . 1112μs FroidurePin> 140: exception: gens, current_position . . . 38ms FroidurePin> 141: exception: add_generators . . . 586μs KBE 000: constructors . . . 428μs KBE 001: test . . . 318μs KBE 002: factorisation . . . 265μs KBE 003: swap . . . 232μs KBE 004: adapters . . . 166μs KBE 005: conversions . . . 187μs Kambites 000: (fpsemi) MT test 4 (std::string) . . . 61ms Kambites 001: (fpsemi) MT test 4 (MultiStringView) . . . 65ms Kambites 002: (fpsemi) number_of_pieces (std::string) . . . 1753μs Kambites 003: (fpsemi) number_of_pieces (MultiStringView) . . . 1656μs Kambites 004: (fpsemi) small_overlap_class (std::string) . . . 52ms Kambites 005: (fpsemi) small_overlap_class (MultiStringView) . . . 48ms Kambites 006: (fpsemi) random (std::string) . . . 91ms Kambites 007: (fpsemi) random (MultiStringView) . . . 103ms Kambites 008: (fpsemi) KnuthBendix 055 (std::string) . . . 144ms Kambites 009: (fpsemi) KnuthBendix 055 (MultiStringView) . . . 149ms Kambites 010: (fpsemi) smalloverlap/gap/test.gi:85 (std::string) . . . 339μs Kambites 011: (fpsemi) smalloverlap/gap/test.gi:85 (MultiStr [...] . . . 325μs Kambites 012: (fpsemi) free semigroup . . . 50μs Kambites 013: (fpsemi) smalloverlap/gap/test.gi:49 (std::string) . . . 288ms Kambites 014: (fpsemi) smalloverlap/gap/test.gi:49 (MultiStr [...] . . . 361ms Kambites 015: (fpsemi) smalloverlap/gap/test.gi:63 (std::string) . . . 282ms Kambites 016: (fpsemi) smalloverlap/gap/test.gi:63 (MultiStr [...] . . . 368ms Kambites 017: (fpsemi) smalloverlap/gap/test.gi:70 (std::string) . . . 914ms Kambites 018: (fpsemi) smalloverlap/gap/test.gi:70 (MultiStr [...] . . . 1175ms Kambites 021: (fpsemi) code coverage (std::string) . . . 171μs Kambites 022: (fpsemi) code coverage (MultiStringView) . . . 120μs Kambites 023: (fpsemi) prefix (std::string) . . . 337μs Kambites 024: (fpsemi) prefix (MultiStringView) . . . 346μs Kambites 025: (fpsemi) normal_form (Example 3.15) (std::string) . . . 285μs Kambites 026: (fpsemi) normal_form (Example 3.15) (MultiStri [...] . . . 421μs Kambites 027: (fpsemi) normal_form (Example 3.16) (std::string) . . . 215μs Kambites 028: (fpsemi) normal_form (Example 3.16) (MultiStri [...] . . . 269μs Kambites 029: (fpsemi) normal_form (Example 3.16) more exhau [...] . . . 228ms Kambites 030: (fpsemi) normal_form (Example 3.16) more exhau [...] . . . 214ms Kambites 031: (fpsemi) small presentation (std::string) . . . 1103μs Kambites 032: (fpsemi) small presentation (MultiStringView) . . . 1071μs Kambites 033: (fpsemi) non-smalloverlap (std::string) . . . 1005μs Kambites 034: (fpsemi) non-smalloverlap (MultiStringView) . . . 1117μs Kambites 035: (fpsemi) MT test 3 (std::string) . . . 244μs Kambites 036: (fpsemi) MT test 3 (MultiStringView) . . . 300μs Kambites 037: (fpsemi) MT test 5 (std::string) . . . 455μs Kambites 038: (fpsemi) MT test 5 (MultiStringView) . . . 119μs Kambites 039: (fpsemi) MT test 6 (std::string) . . . 148μs Kambites 040: (fpsemi) MT test 6 (MultiStringView) . . . 207μs Kambites 041: (fpsemi) MT test 10 (std::string) . . . 153μs Kambites 042: (fpsemi) MT test 10 (MultiStringView) . . . 144μs Kambites 043: (fpsemi) MT test 13 (std::string) . . . 120μs Kambites 044: (fpsemi) MT test 13 (MultiStringView) . . . 108μs Kambites 045: (fpsemi) MT test 14 (std::string) . . . 97μs Kambites 046: (fpsemi) MT test 14 (MultiStringView) . . . 168μs Kambites 047: (fpsemi) MT test 15 (std::string) . . . 202μs Kambites 048: (fpsemi) MT test 15 (MultiStringView) . . . 173μs Kambites 049: (fpsemi) MT test 16 (std::string) . . . 179μs Kambites 050: (fpsemi) MT test 16 (MultiStringView) . . . 164μs Kambites 051: (fpsemi) MT test 17 (std::string) . . . 1139μs Kambites 052: (fpsemi) MT test 17 (MultiStringView) . . . 1049μs Kambites 053: (fpsemi) weak C(4) not strong x 1 (std::string) . . . 1529μs Kambites 054: (fpsemi) weak C(4) not strong x 1 (MultiStringView) . . . 1990μs Kambites 055: (fpsemi) weak C(4) not strong x 2 (std::string) . . . 1491μs Kambites 056: (fpsemi) weak C(4) not strong x 2 (MultiStringView) . . . 1977μs Kambites 057: (fpsemi) weak C(4) not strong x 3 (std::string) . . . 1821μs Kambites 058: (fpsemi) weak C(4) not strong x 3 (MultiStringView) . . . 1746μs Kambites 059: (fpsemi) weak C(4) not strong x 4 (std::string) . . . 257μs Kambites 060: (fpsemi) weak C(4) not strong x 4 (MultiStringView) . . . 411μs Kambites 061: (fpsemi) weak C(4) not strong x 5 (std::string) . . . 133μs Kambites 062: (fpsemi) weak C(4) not strong x 5 (MultiStringView) . . . 76μs Kambites 063: (fpsemi) weak C(4) not strong x 6 (std::string) . . . 174μs Kambites 064: (fpsemi) weak C(4) not strong x 6 (MultiStringView) . . . 203μs Kambites 065: (fpsemi) Konovalov example (std::string) . . . 98μs Kambites 066: (fpsemi) Konovalov example (MultiStringView) . . . 79μs Kambites 067: (fpsemi) long words (std::string) . . . 19279ms Kambites 068: (fpsemi) long words (MultiStringView) . . . 123ms Kambites 075: (cong) example 1 . . . 583μs Kambites 076: (cong) example 2 . . . 1390μs Kambites 077: (cong) code coverage . . . 59ms Kambites 078: (cong) large number of rules . . . 2721ms KnuthBendix 000: (fpsemi) confluent fp semigroup 1 (infinite) . . . 789μs KnuthBendix 001: (fpsemi) confluent fp semigroup 2 (infinite) . . . 804μs KnuthBendix 002: (fpsemi) confluent fp semigroup 3 (infinite) . . . 754μs KnuthBendix 003: (fpsemi) non-confluent fp semigroup from wi [...] . . . 1028μs KnuthBendix 004: (fpsemi) Example 5.1 in Sims (infinite) . . . 1674μs KnuthBendix 005: (fpsemi) Example 5.1 in Sims (infinite) . . . 1508μs KnuthBendix 006: (fpsemi) Example 5.3 in Sims . . . 462μs KnuthBendix 007: (fpsemi) Example 5.4 in Sims . . . 808μs KnuthBendix 008: (fpsemi) Example 6.4 in Sims (size 168) . . . 29ms KnuthBendix 009: (fpsemi) . . . 389ms KnuthBendix 010: (fpsemi) SL(2, 7) from Chapter 3, Propositi [...] . . . 297ms KnuthBendix 011: (fpsemi) F(2, 5) - Chapter 9, Section 1 in [...] . . . 3603μs KnuthBendix 012: (fpsemi) Reinis example 1 . . . 583μs KnuthBendix 013: redundant_rule (std::string) . . . 102ms KnuthBendix 014: redundant_rule (word_type) . . . 11ms KnuthBendix 019: (fpsemi) C(4) monoid . . . 7943μs KnuthBendix 020: (cong) Chinese monoid . . . 5061μs KnuthBendix 021: (from kbmag/standalone/kb_data/f25monoid) . . . 2925μs KnuthBendix 022: (from kbmag/standalone/kb_data/degen4a) . . . 301ms KnuthBendix 023: (from kbmag/standalone/kb_data/torus) . . . 7486μs KnuthBendix 024: (from kbmag/standalone/kb_data/3a6) . . . 853ms KnuthBendix 025: (from kbmag/standalone/kb_data/f2) . . . 622μs KnuthBendix 026: (from kbmag/standalone/kb_data/s16) . . . 593ms KnuthBendix 027: (from kbmag/standalone/kb_data/a4monoid) . . . 275μs KnuthBendix 028: (from kbmag/standalone/kb_data/degen3) . . . 109μs KnuthBendix 029: (from kbmag/standalone/kb_data/ab1) . . . 113μs KnuthBendix 030: (from kbmag/standalone/kb_data/degen2) . . . 73μs KnuthBendix 031: (from kbmag/standalone/kb_data/f25) . . . 1552μs KnuthBendix 032: (from kbmag/standalone/kb_data/237) . . . 2603μs KnuthBendix 033: (from kbmag/standalone/kb_data/c2) . . . 87μs KnuthBendix 034: (from kbmag/standalone/kb_data/cosets) . . . 803μs KnuthBendix 035: Example 5.1 in Sims (KnuthBendix 09 again) . . . 230μs KnuthBendix 036: (from kbmag/standalone/kb_data/nilp2) . . . 571μs KnuthBendix 037: Example 6.4 in Sims . . . 37ms KnuthBendix 038: KnuthBendix 071 again . . . 2879μs KnuthBendix 039: Example 5.4 in Sims (KnuthBendix 11 again) [...] . . . 1262μs KnuthBendix 040: Example 5.4 in Sims (KnuthBendix 11 again) [...] . . . 625μs KnuthBendix 041: operator<< . . . 534μs KnuthBendix 042: confluence_interval . . . 76μs KnuthBendix 043: max_overlap . . . 85μs KnuthBendix 044: (fpsemi) (from kbmag/standalone/kb_data/d22 [...] . . . 6219μs KnuthBendix 045: (fpsemi) (from kbmag/standalone/kb_data/d22 [...] . . . 9377μs KnuthBendix 046: (fpsemi) small example . . . 3493μs KnuthBendix 047: code coverage . . . 683μs KnuthBendix 048: small overlap 1 . . . 189μs KnuthBendix 049: (from kbmag/standalone/kb_data/s9) . . . 6188μs KnuthBendix 050: (fpsemi) Chapter 11, Lemma 1.8 (q = 6, r = [...] . . . 6117μs KnuthBendix 051: (fpsemi) Chapter 11, Section 2 (q = 6, r = [...] . . . 517μs KnuthBendix 052: (fpsemi) Chapter 8, Theorem 4.2 in NR (infinite) . . . 4728μs KnuthBendix 053: (fpsemi) equal_to fp semigroup . . . 557μs KnuthBendix 054: (fpsemi) equal_to free semigroup . . . 3608μs KnuthBendix 055: (fpsemi) from GAP smalloverlap gap/test.gi [...] . . . 3807μs KnuthBendix 056: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 3111μs KnuthBendix 057: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 2658μs KnuthBendix 058: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 10ms KnuthBendix 059: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 15ms KnuthBendix 060: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 176μs KnuthBendix 061: (fpsemi) Von Dyck (2,3,7) group (infinite) . . . 3775μs KnuthBendix 062: (fpsemi) Von Dyck (2,3,7) group - different [...] . . . 15ms KnuthBendix 063: (fpsemi) rewriting system from KnuthBendixC [...] . . . 2052μs KnuthBendix 064: (fpsemi) rewriting system from Congruence 20 . . . 169μs KnuthBendix 065: (fpsemi) (from kbmag/standalone/kb_data/ab2) . . . 2010μs KnuthBendix 066: (fpsemi) (from kbmag/standalone/kb_data/d22 [...] . . . 6855μs KnuthBendix 067: (fpsemi) (from kbmag/standalone/kb_data/degen1) . . . 601μs KnuthBendix 068: (fpsemi) (from kbmag/standalone/kb_data/s4) . . . 4592μs KnuthBendix 069: (fpsemi) fp semigroup (infinite) . . . 630μs KnuthBendix 070: (fpsemi) Chapter 11, Section 1 (q = 4, r = [...] . . . 6952μs KnuthBendix 071: (fpsemi) Chapter 11, Section 1 (q = 8, r = [...] . . . 305ms KnuthBendix 072: (fpsemi) Chapter 7, Theorem 3.9 in NR (size 240) . . . 11ms KnuthBendix 073: (fpsemi) F(2, 5) - Chapter 9, Section 1 in [...] . . . 3242μs KnuthBendix 074: (fpsemi) F(2, 6) - Chapter 9, Section 1 in NR . . . 3185μs KnuthBendix 075: (fpsemi) Chapter 10, Section 4 in NR (infinite) . . . 4474μs KnuthBendix 076: (fpsemi) Sym(5) from Chapter 3, Proposition [...] . . . 10ms KnuthBendix 077: (fpsemi) SL(2, 7) from Chapter 3, Propositi [...] . . . 336ms KnuthBendix 078: (fpsemi) bicyclic monoid (infinite) . . . 257μs KnuthBendix 079: (fpsemi) plactic monoid of degree 2 (infinite) . . . 1275μs KnuthBendix 080: (fpsemi) example before Chapter 7, Proposit [...] . . . 618μs KnuthBendix 081: (fpsemi) Chapter 7, Theorem 3.6 in NR (size 243) . . . 3828μs KnuthBendix 082: (fpsemi) finite semigroup (size 99) . . . 954μs KnuthBendix 096: Sorouhesh . . . 2453μs KnuthBendix 097: (fpsemi) transformation semigroup (size 4) . . . 342μs KnuthBendix 098: (fpsemi) transformation semigroup (size 9) . . . 312μs KnuthBendix 099: (fpsemi) transformation semigroup (size 88) . . . 5184μs KnuthBendix 100: internal_string_to_word . . . 201μs KnuthBendix 101: (fpsemi) construct from shared_ptr . . . 5127μs KnuthBendix 102: internal_string_to_word . . . 7321μs KnuthBendix 103: (cong) free semigroup congruence (5 classes) . . . 5326μs KnuthBendix 104: free semigroup congruence (6 classes) . . . 3762μs KnuthBendix 105: (cong) free semigroup congruence (16 classes) . . . 4906μs KnuthBendix 106: (cong) free semigroup congruence (6 classes) . . . 6957μs KnuthBendix 107: (cong) free semigroup congruence (240 classes) . . . 11ms KnuthBendix 108: (cong) free semigroup congruence (240 classes) . . . 9581μs KnuthBendix 109: (cong) less . . . 19ms KnuthBendix 110: (cong) less . . . 576ms KnuthBendix 111: (cong) constructors . . . 992ms KnuthBendix 112: (cong) const_contains/contains . . . 1850μs KnuthBendix 113: (cong) is_quotient_obviously_finite . . . 103μs KnuthBendix 114: (cong) class_index_to_word . . . 2218μs KnuthBendix 115: (cong) quotient_froidure_pin . . . 1406μs KnuthBendix 116: (cong) set_number_of_generators . . . 157μs KnuthBendix 117: (cong) number of classes when obv-inf . . . 1299μs KnuthBendixCongruenceByPairs 016: non-trivial congruence on [...] . . . 1585μs KnuthBendixCongruenceByPairs 017: non-trivial congruence on [...] . . . 2487μs KnuthBendixCongruenceByPairs 018: non-trivial congruence on [...] . . . 4664μs KnuthBendixCongruenceByPairs 019: non-trivial congruence on [...] . . . 4956μs KnuthBendixCongruenceByPairs 020: trivial congruence on a fi [...] . . . 2352μs KnuthBendixCongruenceByPairs 021: universal congruence on a [...] . . . 5282μs KnuthBendixCongruenceByPairs 022: left congruence on a finit [...] . . . 3702μs KnuthBendixCongruenceByPairs 023: finite group, Chapter 11, [...] . . . 19ms KnuthBendixCongruenceByPairs 024: right congruence on infini [...] . . . 1937μs KnuthBendixCongruenceByPairs 025: finite fp semigroup, dihed [...] . . . 3879μs KnuthBendixCongruenceByPairs 026: finite fp semigroup, size 16 . . . 4291μs KnuthBendixCongruenceByPairs 027: finite fp semigroup, size 16 . . . 7630μs KnuthBendixCongruenceByPairs 028: infinite fp semigroup with [...] . . . 777μs Konieczny 000: test000> . . . 45ms Konieczny 001: test000> . . . 6101μs Konieczny 002: test001> . . . 71ms Konieczny 003: test001> . . . 61ms Konieczny 006: exceptions . . . 3992μs Konieczny 007: code coverage . . . 99ms Konieczny 008: code coverage . . . 115ms Konieczny 009: regular elements and idempotents . . . 995ms Konieczny 010: regular D-class 01 . . . 8884μs Konieczny 011: regular D-class 02 . . . 37ms Konieczny 012: regular D-class 04: contains . . . 179ms Konieczny 013: non-regular D-classes 01 . . . 8492μs Konieczny 014: RegularDClass . . . 4549μs Konieczny 015: full bmat monoid 4 . . . 187ms Konieczny 017: regular generated bmat monoid 4 idempotents . . . 204ms Konieczny 019: my favourite example . . . 353ms Konieczny 020: another large example . . . 85ms Konieczny 021: my favourite example transposed . . . 300ms Konieczny 024: exceptions . . . 8236μs Konieczny 025: 0-parameter constructor . . . 97ms Konieczny 026: non-regular D-classes 02 . . . 59ms Konieczny 028: partial perm . . . 1298ms Konieczny 029: symmetric inverse monoid n = 8 . . . 190ms Konieczny 030: exceptions . . . 1539ms Konieczny 031: transformations . . . 19ms Konieczny 032: transformations - JDM favourite example . . . 592ms Konieczny 033: transformations - large example . . . 2012ms Konieczny 034: transformations - large example with stop . . . 1972ms Konieczny 035: transformations - large example with run_until . . . 2172ms Konieczny 036: transformations - large example with stop in Action . . . 2179ms Konieczny 037: exceptions . . . 1388μs Konieczny 038: transformations: contains . . . 5950μs Konieczny 040: transformations - destructor coverage . . . 1310ms Konieczny 041: current_number_D_classes . . . 1329ms Konieczny 042: add_generator . . . 225μs Konieczny 043: add_generator . . . 132μs Matrix 000: BMat<2> . . . 15ms Matrix 001: BMat<> . . . 4738μs Matrix 002: BMat<3> + BMat<> . . . 60μs Matrix 003: BMat<2> + BMat<> . . . 73μs Matrix 004: BMat<3> . . . 55μs Matrix 005: BMat<> . . . 48μs Matrix 006: BMat<3> row_basis . . . 280μs Matrix 007: BMat<> row_basis . . . 231μs Matrix 008: IntMat<3> . . . 120μs Matrix 009: IntMat<> . . . 79μs Matrix 010: IntMat code cov . . . 33μs Matrix 011: MaxPlusMat<3> . . . 59μs Matrix 012: MaxPlusMat<> . . . 3788μs Matrix 013: MaxPlusMat code cov . . . 19μs Matrix 014: MinPlusMat<3> . . . 108μs Matrix 015: MinPlusMat<> . . . 157μs Matrix 016: MinPlusMat code cov . . . 49μs Matrix 017: MaxPlusTruncMat<5, 2> . . . 64μs Matrix 018: MaxPlusTruncMat<5> . . . 78μs Matrix 019: MaxPlusTruncMat<> . . . 221μs Matrix 020: MaxPlusTruncMat<5, 4> . . . 3871μs Matrix 021: MaxPlusTruncMat<5> . . . 109μs Matrix 022: MaxPlusTruncMat<> . . . 81μs Matrix 023: MaxPlusTruncMat<33, 3> . . . 899μs Matrix 024: MaxPlusTruncMat<33> . . . 233μs Matrix 025: MaxPlusTruncMat<> . . . 297μs Matrix 026: MaxPlusMat code cov . . . 53μs Matrix 027: MinPlusTruncMat<33, 3> . . . 208μs Matrix 028: MinPlusTruncMat<33> . . . 250μs Matrix 029: MinPlusTruncMat<> . . . 225μs Matrix 030: NTPMat<0, 3, 3, 3> . . . 47μs Matrix 031: NTPMat<0, 3> . . . 50μs Matrix 032: NTPMat<> . . . 234μs Matrix 033: NTPMat<0, 10, 4, 4> . . . 93μs Matrix 034: NTPMat<0, 10> . . . 111μs Matrix 035: NTPMat<> . . . 66μs Matrix 036: NTPMat<0, 10, 4, 4> . . . 88μs Matrix 037: NTPMat<0, 10> . . . 102μs Matrix 038: NTPMat<> . . . 79μs Matrix 039: NTPMat<33, 2, 3, 3> . . . 48μs Matrix 040: NTPMat<33, 2> . . . 85μs Matrix 041: NTPMat<> . . . 48μs Matrix 042: ProjMaxPlusMat<3> . . . 600μs Matrix 043: ProjMaxPlusMat<> . . . 365μs Matrix 044: exceptions . . . 244μs Matrix 045: code coverage . . . 225μs MultiStringView 000: catch all . . . 7572μs MultiStringView 001: is_prefix . . . 46μs MultiStringView 002: erase . . . 87μs MultiStringView 003: iterators . . . 60μs MultiStringView 004: constructors (long) . . . 104μs MultiStringView 005: constructors (short) . . . 102μs MultiStringView 006: copy assignment (short assigned to long) . . . 50μs MultiStringView 007: copy assignment (short assigned to short) . . . 47μs MultiStringView 008: move assignment (short assigned to long) . . . 60μs MultiStringView 009: move assignment (short assigned to short) . . . 56μs MultiStringView 010: code coverage . . . 76μs MultiStringView 011: pop_front . . . 3847μs MultiStringView 012: append . . . 84μs MultiStringView 013: operators . . . 43μs MultiStringView 014: maximum_common_suffix . . . 51μs MultiStringView 015: deep tests . . . 73μs ObviouslyInfinite 011: Multiple rule additions . . . 513μs ObviouslyInfinite 012: A power of the generator 'b' does not [...] . . . 334μs ObviouslyInfinite 013: Preserves the number of occurrences o [...] . . . 38μs ObviouslyInfinite 014: Less relations than generators . . . 64μs ObviouslyInfinite 015: Relations preserve length . . . 68μs ObviouslyInfinite 016: Matrix has non empty kernel . . . 59μs ObviouslyInfinite 017: Free product of trivial semigroups . . . 72μs ObviouslyInfinite 018: Another free product . . . 64μs ObviouslyInfinite 019: Infinite but not obviously so . . . 66μs ObviouslyInfinite 020: Finite semigroup . . . 44μs PBR 001: universal product with convenience constructor . . . 3863μs PBR 002: universal product . . . 62μs PBR 003: product [bigger than previous] . . . 92μs PBR 004: hash . . . 39μs PBR 005: delete/copy . . . 67μs PBR 006: exceptions . . . 1204μs PBR 007: operators . . . 265μs PBR 008: to_string . . . 124μs PBR 009: identity . . . 150μs PBR 010: adapters . . . 44μs Pool 000: initial . . . 171μs Pool 001: bmat . . . 439μs Pool 002: PoolGuard . . . 175μs Pool 003: transformation products . . . 72μs Presentation 000: vectors of ints . . . 8631μs Presentation 001: strings . . . 372μs Presentation 002: constructors (word_type) . . . 116μs Presentation 003: constructors (StaticVector1) . . . 3603μs Presentation 004: constructors (std::string) . . . 3726μs Presentation 005: alphabet + letters (word_type) . . . 7656μs Presentation 006: alphabet + letters (std::string) . . . 201μs Presentation 007: contains_empty_word . . . 36μs Presentation 008: validate_rules throws . . . 284μs Presentation 009: helpers add_rule(s) . . . 419μs Presentation 010: helpers add_rule(s) (std::string) . . . 183μs Presentation 011: helpers add_identity_rules (std::vector/St [...] . . . 257μs Presentation 012: helpers add_identity_rules (std::string) . . . 161μs Presentation 013: helpers add_inverse_rules (all) . . . 1468μs Presentation 014: helpers add_inverse_rules (std::string) . . . 160μs Presentation 015: helpers remove_duplicate_rules . . . 503μs Presentation 016: helpers reduce_complements . . . 825μs Presentation 017: helpers sort_each_rule . . . 395μs Presentation 018: helpers sort_rules . . . 468μs Presentation 019: helpers longest_common_subword/replace_subword . . . 4924μs Presentation 020: helpers redundant_rule . . . 34ms Presentation 021: helpers shortlex_compare_concat . . . 334μs Presentation 022: helpers remove_trivial_rules . . . 438μs Presentation 023: helpers replace_subword (existing, replacement) . . . 275μs Presentation 024: helpers longest_rule . . . 733μs Presentation 025: helpers longest_rule_length . . . 581μs Presentation 026: helpers remove_redundant_generators . . . 684μs Presentation 027: helpers reverse . . . 106μs Presentation 028: in_alphabet . . . 104μs Presentation 029: replace_subword with empty word . . . 149μs Presentation 030: helpers replace_word . . . 139μs Presentation 031: clear . . . 60μs Presentation 032: letter . . . 250μs Presentation 033: normalize_alphabet . . . 60μs Presentation 034: longest_common_subword issue . . . 4033μs Presentation 035: helpers add_zero_rules (std::vector/Static [...] . . . 290μs Presentation 036: helpers add_zero_rules (std::string) . . . 196μs Presentation 037: make_semigroup . . . 625μs Presentation 038: greedy_reduce_length . . . 2681μs Presentation 039: aaaaaaaab = aaaaaaaaab strong compression . . . 159μs Presentation 040: change_alphabet . . . 469μs Presentation 041: sort_rules bug . . . 958μs Presentation 042: first_unused_letter/letter . . . 844μs Presentation 043: case where strong compression doesn't work . . . 144μs Presentation 044: proof that . . . 256μs Presentation 045: decompression . . . 135μs Race 001: run_for . . . 10ms Race 002: run_until . . . 10ms Race 003: exceptions . . . 10ms Race 004: iterators . . . 46μs Race 005: find_runner . . . 43μs Race 006: run_func . . . 27ms Race 007: run_func . . . 10ms Race 008: run_func . . . 16ms Runner 000: run_for . . . 13ms Runner 001: run_for . . . 1066μs Runner 002: run_for . . . 200ms Runner 003: run_for . . . 25ms Runner 004: started . . . 1092μs Runner 005: run_until . . . 386ms Runner 006: kill . . . 60μs Runner 007: copy constructor . . . 10ms Runner 008: report . . . 20ms Runner 009: run_until with function pointer . . . 72μs SchreierSims 001: trivial perm. group (degree 1) . . . 3754μs SchreierSims 002: trivial perm. group (degree 2) . . . 3829μs SchreierSims 003: trivial perm. group (degree 500) . . . 1051μs SchreierSims 004: symmetric perm. group (degree 5) . . . 86μs SchreierSims 005: symmetric perm. group (degree 8) . . . 128μs SchreierSims 006: symmetric perm. group (degree 9) . . . 189μs SchreierSims 007: alternating perm. group (degree 12) . . . 4103μs SchreierSims 008: symmetric perm. group (degree 16) . . . 4888μs SchreierSims 009: alternating perm. group (degree 15) . . . 2228μs SchreierSims 010: alternating perm. group (degree 16) . . . 9804μs SchreierSims 011: dihedral perm. group (order 10) . . . 123μs SchreierSims 012: dihedral perm. group (order 200) . . . 9264μs SchreierSims 013: perm. group T (order 12) . . . 88μs SchreierSims 014: quaternion perm. group (order 8) . . . 114μs SchreierSims 015: perm. group (order 84129611558952960) . . . 1071ms SchreierSims 016: perm. group SL(3, 5) (order 372000) . . . 8405μs SchreierSims 017: perm. group PSL(4, 8) (order 34558531338240) . . . 483ms SchreierSims 018: perm. Mathieu group M11 (order 7920) . . . 7532μs SchreierSims 019: perm. Mathieu group M24 (order 244823040) . . . 1298μs SchreierSims 020: perm. Janko Group J1 (order 175560) . . . 19ms SchreierSims 021: perm. Hall-Janko group (order 604800) . . . 2248μs SchreierSims 022: perm. Hall-Janko group (alt.) (order 604800) . . . 94ms SchreierSims 023: perm. Conway group Co3 (order 495766656000) . . . 43ms SchreierSims 024: perm. Conway group Co3 (alt.) (order 49576 [...] . . . 77ms SchreierSims 025: perm. Suzuki group (order 448345497600) . . . 337ms SchreierSims 027: perm. Held group (order 4030387200) . . . 627ms SchreierSims 028: perm. group C2 x C2 x C2 (order 8) . . . 141μs SchreierSims 029: perm. group C2 x C2 x C2 x C2 (order 16) . . . 199μs SchreierSims 030: perm. group (S5 x S5) : C2 (order 28800) . . . 333μs SchreierSims 031: perm. group C3 x D8 x A5 (order 1440) . . . 318μs SchreierSims 032: perm. group GL(4, 3) (order 24261120) . . . 5078μs SchreierSims 033: perm. group PSL(3, 7) (order 1876896) . . . 8478μs SchreierSims 037: symmetric perm. group (degree 5) . . . 152μs SchreierSims 038: alternating perm. group (degree 17) . . . 25ms SchreierSims 039: exceptions . . . 651μs SchreierSims 040: exceptions . . . 344μs SchreierSims 041: trivial group . . . 290μs SchreierSims 042: A17 bug . . . 21ms SchreierSims 043: orbits_lookup test . . . 2770μs SchreierSims 044: transversal_element and inversal_element test . . . 8539μs SchreierSimsHelper 001: trivial perm. group intersection (de [...] . . . 3847μs SchreierSimsHelper 002: trivial perm. group intersection (de [...] . . . 419μs SchreierSimsHelper 003: cyclic group intersection (degree 13) . . . 3936μs SchreierSimsHelper 004: D10 and Z5 intersection . . . 159μs SchreierSimsHelper 005: D8 and Q8 intersection . . . 144μs SchreierSimsHelper 006: primitive on 8 points intersection . . . 315μs SchreierSimsHelper 007: primitive on 8 points intersection ( [...] . . . 284μs SchreierSimsHelper 008: A13 and PGL(2, 11) intersection . . . 4002μs SchreierSimsHelper 009: A13 and PGL(2, 11) intersection (swa [...] . . . 3514μs SchreierSimsHelper 012: 3^3:13 and 3^3.2.A(4) intersection . . . 661μs SchreierSimsHelper 015: 3^3(S(4) x 2) and ASL(3, 3) intersection . . . 1284μs SchreierSimsHelper 016: 7^2:3 x Q(8) and 7^2:D(2*6) intersection . . . 2066μs SchreierSimsHelper 018: D(2*53) and 53:13 intersection . . . 1594μs SchreierSimsHelper 019: 2^6:(7 x D_14) and PSL(2, 6)^2.4 int [...] . . . 11ms SchreierSimsHelper 020: 2^6:(S_3 x GL(3, 2)) and 2.6:Alt(7) [...] . . . 21ms SchreierSimsHelper 022: PSL(2, 127) and AGL(1, 2^7) intersection . . . 63ms SchreierSimsHelper 023: PSL(3, 4).2 and PSL(3, 4).2 (nontriv [...] . . . 22ms SchreierSimsHelper 024: PSL(3, 4).Sym(3) and PSL(3, 4).2 int [...] . . . 7437μs SchreierSimsHelper 025: 3^4:5:4 and D_16:4 intersection . . . 4364μs Sims1 000: fp example 1 . . . 17ms Sims1 001: fp example 2 . . . 14ms Sims1 002: ToddCoxeter failing example . . . 93ms Sims1 003: ToddCoxeter failing example . . . 5804μs Sims1 004: partition_monoid(2) right . . . 35ms Sims1 006: full_transformation_monoid(3) right . . . 35ms Sims1 007: full_transformation_monoid(3) left . . . 20ms Sims1 009: rook_monoid(2, 1) . . . 972μs Sims1 010: symmetric_inverse_monoid(2) from FroidurePin . . . 600μs Sims1 011: symmetric_inverse_monoid(3) . . . 38ms Sims1 014: temperley_lieb_monoid(3) from presentation . . . 424μs Sims1 015: temperley_lieb_monoid(4) from presentation . . . 5449μs Sims1 016: fp semigroup containing given pairs #1 . . . 1721μs Sims1 017: fp semigroup containing given pairs #2 . . . 1734μs Sims1 018: fp semigroup containing given pairs #3 . . . 3206μs Sims1 019: ToddCoxeter failing example . . . 16ms Sims1 020: fp example 2 . . . 12ms Sims1 021: exceptions . . . 1735μs Sims1 027: from https://mathoverflow.net/questions/423541/ . . . 147ms Sims1 028: from https://mathoverflow.net/questions/423541/ . . . 117ms Sims1 030: presentation with one free generator . . . 1594μs Sims1 031: presentation with non-zero index generators . . . 779μs Sims1 032: presentation with empty word . . . 49ms Sims1 033: constructors . . . 8989μs Sims1 034: split_at . . . 1867μs Sims1 035: stats . . . 1382μs Sims1 036: check iterator requirements . . . 1364μs Sims1 040: TransitiveGroup(10, 32) - minimal rep . . . 32ms Sims1 043: rectangular_band(2, 2) - with and without identity . . . 1046μs Sims1 044: trivial group - minimal o.r.c. rep . . . 1187μs Sims1 045: right zero semigroup - minimal o.r.c. rep . . . 11ms Sims1 046: semigroup with faithful non-strictly cyclic actio [...] . . . 6941μs Sims1 068: RepOrc . . . 313ms Sims1 069: fp example 1 . . . 2979μ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 8850μs (1615ns 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 . . . 9665μs Sims1 072: symmetric_group(n) for n = 4 . . . 20ms Sims1 073: corner case no generators + no relations . . . 469μs Sims1 076: uninitialized RepOrc . . . 136μs SmallestInteger 001: . . . 277μs StaticTriVector2 045: all . . . 290μs StaticVector2 043: all . . . 311μs Stephen 000: basic test 1 . . . 7746μs Stephen 001: basic test 2 . . . 601μs Stephen 002: full transf monoid . . . 78ms Stephen 003: from step_hen 002 . . . 338μs Stephen 004: from step_hen 003 . . . 976μs Stephen 005: from step_hen 004 . . . 649μs Stephen 006: from step_hen 005 . . . 961μs Stephen 008: C(4) monoid normal form (test_case_knuth_bendix_055) . . . 1330μs Stephen 009: C(4) monoid normal form (test_case_gap_smallove [...] . . . 497μs #0: Stephen: ------------------------------------------------------------ #0: Stephen: nodes | defined | killed | diff | #0: Stephen: ------------------------------------------------------------ #0: Stephen: 13 | +25 | -12 | +13 | (0s) #0: Stephen: 13 | +0 | -0 | +0 | (0s) #0: Stephen: 13 | +0 | -0 | +0 | (0s) #0: Stephen: 13 | +0 | -0 | +0 | (0s) #0: Stephen: 13 | +0 | -0 | +0 | (0s) #0: Stephen: 13 | +0 | -0 | +0 | (0s) #0: Stephen: 13 | +0 | -0 | +0 | (0s) #0: Stephen: 13 | +0 | -0 | +0 | (0s) #0: Stephen: 13 | +0 | -0 | +0 | (0s) Stephen 010: code coverage . . . 2459μs Stephen 011: C(4) monoid normal form (test_case_gap_smallove [...] . . . 1290μs Stephen 012: C(4) monoid normal form (test_case_gap_smallove [...] . . . 2328μs Stephen 013: C(4) monoid equal to (test_case_gap_smalloverlap_70) . . . 2646μs Stephen 014: C(4) monoid normal form (test_case_ex_3_13_14) . . . 1699μs Stephen 015: C(4) monoid normal form (test_case_ex_3_15) . . . 3065μs Stephen 016: C(4) monoid normal form (test_case_ex_3_16) . . . 1542μs Stephen 017: C(4) monoid normal form (test_case_mt_3) . . . 748μs Stephen 018: C(4) monoid normal form (test_case_mt_5) . . . 2699μs Stephen 019: C(4) monoid normal form (test_case_mt_6) . . . 4520μs Stephen 020: C(4) monoid normal form (test_case_mt_10) . . . 1816μs Stephen 021: C(4) monoid normal form (test_case_mt_13) . . . 557μs Stephen 022: C(4) monoid normal form (test_case_mt_14) . . . 531μs Stephen 023: C(4) monoid normal form (test_case_mt_15) . . . 562μs Stephen 024: C(4) monoid normal form (test_case_mt_16) . . . 2053μs Stephen 025: C(4) monoid normal form (test_case_mt_17) . . . 1811μs Stephen 026: C(4) monoid normal form (test_case_weak_1) . . . 3181μs Stephen 027: C(4) monoid normal form (test_case_weak_2) . . . 1309μs Stephen 028: C(4) monoid normal form (test_case_weak_3) . . . 3005μs Stephen 029: C(4) monoid normal form (test_case_weak_4) . . . 1213μs Stephen 030: C(4) monoid normal form (test_case_weak_5) . . . 630μs Stephen 031: Test behaviour when uninitialised . . . 1508μs Suf 005: unite . . . 93μs Suf 007: compress . . . 309μs Suf 011: big chain . . . 51ms Suf 013: empty table . . . 33μs Suf 015: join . . . 45μs Suf 017: contains . . . 120μs Suf 019: swap . . . 77μs Timer 001: string method (1 argument) . . . 364μs Timer 002: string method (0 arguments) . . . 10ms Timer 003: reset/elapsed method . . . 20ms Timer 004: operator<< . . . 30μs ToddCoxeter 000: small 2-sided congruence . . .  -- with HLT + no standardise + full lookahead + no save 14ms  -- with HLT + standardise + full lookahead + no save 3863μs  -- with HLT + no standardise + partial lookahead + no save 4026μs  -- with HLT + standardise + partial lookahead + no save 4034μs  -- with HLT + no standardise + full lookahead + save 4007μs  -- with HLT + standardise + full lookahead + save 4104μs  -- with HLT + no standardise + partial lookahead + save 4071μs  -- with HLT + standardise + partial lookahead + save 4065μs  -- with Felsch + no standardisation 3993μs  -- with Felsch + standardisation 3944μs  -- with random strategy 4219μs  -- with Rc style + full lookahead 3730μs  -- with Rc style + partial lookahead 3911μs  -- with R/C style 3848μs  -- with CR style 4015μs  -- with Cr style 4132μs ToddCoxeter 001: small 2-sided congruence . . .  -- with HLT + no standardise + full lookahead + no save 32ms  -- with HLT + standardise + full lookahead + no save 28ms  -- with HLT + no standardise + partial lookahead + no save 29ms  -- with HLT + standardise + partial lookahead + no save 26ms  -- with HLT + no standardise + full lookahead + save 22ms  -- with HLT + standardise + full lookahead + save 22ms  -- with HLT + no standardise + partial lookahead + save 21ms  -- with HLT + standardise + partial lookahead + save 23ms  -- with Felsch + no standardisation 22ms  -- with Felsch + standardisation 20ms  -- with random strategy 20ms  -- with Rc style + full lookahead 21ms  -- with Rc style + partial lookahead 19ms  -- with R/C style 20ms  -- with CR style 20ms  -- with Cr style 21ms ToddCoxeter 003: constructed from FroidurePin . . .  -- with Felsch + no standardisation 2157ms  -- with Felsch + standardisation 2144ms  -- with HLT + no standardise + full lookahead + no save 729ms  -- with HLT + standardise + full lookahead + no save 685ms  -- with HLT + no standardise + partial lookahead + no save 692ms  -- with HLT + standardise + partial lookahead + no save 682ms  -- with HLT + no standardise + full lookahead + save 2130ms  -- with HLT + standardise + full lookahead + save 2065ms  -- with HLT + no standardise + partial lookahead + save 2124ms  -- with HLT + standardise + partial lookahead + save 2531ms  -- with random strategy 1627ms  -- with Rc style + full lookahead 2125ms  -- with Rc style + partial lookahead 2133ms  -- with R/C style 752ms  -- with CR style 2087ms  -- with Cr style 2051ms ToddCoxeter 004: 2-sided congruence from FroidurePin . . .  -- with HLT + no standardise + full lookahead + no save 3575μs  -- with HLT + standardise + full lookahead + no save 2401μs  -- with HLT + no standardise + partial lookahead + no save 2237μs  -- with HLT + standardise + partial lookahead + no save 2252μs  -- with HLT + save (throws) 6386μs  -- with Felsch (throws) 2179μs  -- with random strategy 2222μs ToddCoxeter 005: non-trivial two-sided from relations . . .  -- with HLT + no standardise + full lookahead + no save 295μs  -- with HLT + standardise + full lookahead + no save 302μs  -- with HLT + no standardise + partial lookahead + no save 225μs  -- with HLT + standardise + partial lookahead + no save 231μs  -- with HLT + no standardise + full lookahead + save 285μs  -- with HLT + standardise + full lookahead + save 262μs  -- with HLT + no standardise + partial lookahead + save 271μs  -- with HLT + standardise + partial lookahead + save 232μs  -- with Felsch + no standardisation 207μs  -- with Felsch + standardisation 284μs  -- with random strategy 275μs  -- with Rc style + full lookahead 266μs  -- with Rc style + partial lookahead 220μs  -- with R/C style 279μs  -- with CR style 280μs  -- with Cr style 250μs ToddCoxeter 006: small right cong. on free semigroup . . .  -- with HLT + no standardise + full lookahead + no save 236μs  -- with HLT + standardise + full lookahead + no save 196μs  -- with HLT + no standardise + partial lookahead + no save 138μs  -- with HLT + standardise + partial lookahead + no save 143μs  -- with HLT + no standardise + full lookahead + save 225μs  -- with HLT + standardise + full lookahead + save 244μs  -- with HLT + no standardise + partial lookahead + save 303μs  -- with HLT + standardise + partial lookahead + save 257μs  -- with Felsch + no standardisation 229μs  -- with Felsch + standardisation 216μs  -- with random strategy 270μs  -- with Rc style + full lookahead 238μs  -- with Rc style + partial lookahead 207μs  -- with R/C style 212μs  -- with CR style 218μs  -- with Cr style 211μs ToddCoxeter 007: left cong. on free semigroup . . .  -- with HLT + no standardise + full lookahead + no save 355μs  -- with HLT + standardise + full lookahead + no save 371μs  -- with HLT + no standardise + partial lookahead + no save 275μs  -- with HLT + standardise + partial lookahead + no save 284μs  -- with HLT + no standardise + full lookahead + save 736μs  -- with HLT + standardise + full lookahead + save 683μs  -- with HLT + no standardise + partial lookahead + save 706μs  -- with HLT + standardise + partial lookahead + save 781μs  -- with Felsch + no standardisation 707μs  -- with Felsch + standardisation 688μs  -- with random strategy 742μs  -- with Rc style + full lookahead 326μs  -- with Rc style + partial lookahead 259μs  -- with R/C style 257μs  -- with CR style 800μs  -- with Cr style 731μs ToddCoxeter 008: for small fp semigroup . . .  -- with HLT + no standardise + full lookahead + no save 254μs  -- with HLT + standardise + full lookahead + no save 221μs  -- with HLT + no standardise + partial lookahead + no save 211μs  -- with HLT + standardise + partial lookahead + no save 208μs  -- with HLT + no standardise + full lookahead + save 236μs  -- with HLT + standardise + full lookahead + save 240μs  -- with HLT + no standardise + partial lookahead + save 259μs  -- with HLT + standardise + partial lookahead + save 224μs  -- with Felsch + no standardisation 284μs  -- with Felsch + standardisation 213μs  -- with random strategy 202μs  -- with Rc style + full lookahead 205μs  -- with Rc style + partial lookahead 193μs  -- with R/C style 223μs  -- with CR style 223μs  -- with Cr style 296μs ToddCoxeter 009: 2-sided cong. trans. semigroup . . .  -- with HLT + no standardise + full lookahead + no save 2489μs  -- with HLT + standardise + full lookahead + no save 2360μs  -- with HLT + no standardise + partial lookahead + no save 2410μs  -- with HLT + standardise + partial lookahead + no save 2200μs  -- with HLT + no standardise + full lookahead + save 3526μs  -- with HLT + standardise + full lookahead + save 3647μs  -- with HLT + no standardise + partial lookahead + save 3520μs  -- with HLT + standardise + partial lookahead + save 3576μs  -- with Felsch + no standardisation 3510μs  -- with Felsch + standardisation 3636μs  -- with random strategy 3908μs  -- with Rc style + full lookahead 2476μs  -- with Rc style + partial lookahead 2428μs  -- with R/C style 2577μs  -- with CR style 3774μs  -- with Cr style 3582μs ToddCoxeter 010: left congruence on transformation semigroup . . .  -- with HLT + no standardise + full lookahead + no save 1967μs  -- with HLT + standardise + full lookahead + no save 1968μs  -- with HLT + no standardise + partial lookahead + no save 1881μs  -- with HLT + standardise + partial lookahead + no save 2055μs  -- with HLT + no standardise + full lookahead + save 3755μs  -- with HLT + standardise + full lookahead + save 3736μs  -- with HLT + no standardise + partial lookahead + save 3719μs  -- with HLT + standardise + partial lookahead + save 3920μs  -- with Felsch + no standardisation 3418μs  -- with Felsch + standardisation 3391μs  -- with random strategy 2291μs  -- with Rc style + full lookahead 2287μs  -- with Rc style + partial lookahead 2159μs  -- with R/C style 2240μs  -- with CR style 3362μs  -- with Cr style 3587μs ToddCoxeter 011: right cong. trans. semigroup . . .  -- with HLT + no standardise + full lookahead + no save 2524μs  -- with HLT + standardise + full lookahead + no save 2730μs  -- with HLT + no standardise + partial lookahead + no save 2517μs  -- with HLT + standardise + partial lookahead + no save 2438μs  -- with HLT + no standardise + full lookahead + save 3891μs  -- with HLT + standardise + full lookahead + save 4008μs  -- with HLT + no standardise + partial lookahead + save 4129μs  -- with HLT + standardise + partial lookahead + save 3902μs  -- with Felsch + no standardisation 3535μs  -- with Felsch + standardisation 3564μs  -- with random strategy 4011μs  -- with Rc style + full lookahead 2841μs  -- with Rc style + partial lookahead 2776μs  -- with R/C style 2936μs  -- with CR style 3858μs  -- with Cr style 3856μs ToddCoxeter 012: trans. semigroup (size 88) . . .  -- with HLT + no standardise + full lookahead + no save 1951μs  -- with HLT + standardise + full lookahead + no save 2022μs  -- with HLT + no standardise + partial lookahead + no save 1962μs  -- with HLT + standardise + partial lookahead + no save 2103μs  -- with HLT + save (throws) 2172μs  -- with Felsch (throws) 2221μs  -- with random strategy 2050μs ToddCoxeter 013: left cong. on trans. semigroup (size 88) . . .  -- with HLT + no standardise + full lookahead + no save 1998μs  -- with HLT + standardise + full lookahead + no save 1974μs  -- with HLT + no standardise + partial lookahead + no save 1850μs  -- with HLT + standardise + partial lookahead + no save 1934μs  -- with HLT + no standardise + full lookahead + save 3400μs  -- with HLT + standardise + full lookahead + save 3223μs  -- with HLT + no standardise + partial lookahead + save 3225μs  -- with HLT + standardise + partial lookahead + save 3377μs  -- with Felsch + no standardisation 3175μs  -- with Felsch + standardisation 3188μs  -- with random strategy 1973μs  -- with Rc style + full lookahead 2098μs  -- with Rc style + partial lookahead 2058μs  -- with R/C style 2262μs  -- with CR style 3244μs  -- with Cr style 3331μs ToddCoxeter 014: right cong. on trans. semigroup (size 88) . . .  -- with HLT + no standardise + full lookahead + no save 2240μs  -- with HLT + standardise + full lookahead + no save 2337μs  -- with HLT + no standardise + partial lookahead + no save 2253μs  -- with HLT + standardise + partial lookahead + no save 2363μs  -- with HLT + no standardise + full lookahead + save 3735μs  -- with HLT + standardise + full lookahead + save 3448μs  -- with HLT + no standardise + partial lookahead + save 2981μs  -- with HLT + standardise + partial lookahead + save 3030μs  -- with Felsch + no standardisation 2620μs  -- with Felsch + standardisation 2731μs  -- with random strategy 2779μs  -- with Rc style + full lookahead 2185μs  -- with Rc style + partial lookahead 2124μs  -- with R/C style 2314μs  -- with CR style 2714μs  -- with Cr style 2926μs ToddCoxeter 015: finite fp-semigroup, dihedral group of order 6 . . .  -- with HLT + no standardise + full lookahead + no save 422μs  -- with HLT + standardise + full lookahead + no save 395μs  -- with HLT + no standardise + partial lookahead + no save 342μs  -- with HLT + standardise + partial lookahead + no save 348μs  -- with HLT + no standardise + full lookahead + save 443μs  -- with HLT + standardise + full lookahead + save 420μs  -- with HLT + no standardise + partial lookahead + save 459μs  -- with HLT + standardise + partial lookahead + save 405μs  -- with Felsch + no standardisation 372μs  -- with Felsch + standardisation 385μs  -- with random strategy 500μs  -- with Rc style + full lookahead 355μs  -- with Rc style + partial lookahead 389μs  -- with R/C style 372μs  -- with CR style 474μs  -- with Cr style 401μs ToddCoxeter 016: finite fp-semigroup, size 16 . . .  -- with HLT + no standardise + full lookahead + no save 380μs  -- with HLT + standardise + full lookahead + no save 374μs  -- with HLT + no standardise + partial lookahead + no save 348μs  -- with HLT + standardise + partial lookahead + no save 341μs  -- with HLT + no standardise + full lookahead + save 576μs  -- with HLT + standardise + full lookahead + save 587μs  -- with HLT + no standardise + partial lookahead + save 619μs  -- with HLT + standardise + partial lookahead + save 563μs  -- with Felsch + no standardisation 515μs  -- with Felsch + standardisation 501μs  -- with random strategy 573μs  -- with Rc style + full lookahead 389μs  -- with Rc style + partial lookahead 378μs  -- with R/C style 450μs  -- with CR style 564μs  -- with Cr style 560μs ToddCoxeter 017: finite fp-semigroup, size 16 . . .  -- with HLT + no standardise + full lookahead + no save 1108μs  -- with HLT + standardise + full lookahead + no save 1197μs  -- with HLT + no standardise + partial lookahead + no save 1091μs  -- with HLT + standardise + partial lookahead + no save 1108μs  -- with HLT + no standardise + full lookahead + save 3137μs  -- with HLT + standardise + full lookahead + save 2760μs  -- with HLT + no standardise + partial lookahead + save 2581μs  -- with HLT + standardise + partial lookahead + save 2722μs  -- with Felsch + no standardisation 2518μs  -- with Felsch + standardisation 2516μs  -- with random strategy 2602μs  -- with Rc style + full lookahead 1123μs  -- with Rc style + partial lookahead 1107μs  -- with R/C style 1084μs  -- with CR style 2491μs  -- with Cr style 2591μs ToddCoxeter 018: test lookahead . . .  -- with HLT + no standardise + full lookahead + no save 1628μs  -- with HLT + standardise + full lookahead + no save 1451μs  -- with HLT + no standardise + partial lookahead + no save 1361μs  -- with HLT + standardise + partial lookahead + no save 1418μs  -- with HLT + no standardise + full lookahead + save 1708μs  -- with HLT + standardise + full lookahead + save 1921μs  -- with HLT + no standardise + partial lookahead + save 1762μs  -- with HLT + standardise + partial lookahead + save 2445μs ToddCoxeter 019: non-trivial left cong. from semigroup . . .  -- with HLT + no standardise + full lookahead + no save 1896μs  -- with HLT + standardise + full lookahead + no save 1938μs  -- with HLT + no standardise + partial lookahead + no save 2004μs  -- with HLT + standardise + partial lookahead + no save 1984μs  -- with HLT + save (throws) 1965μs  -- with Felsch (throws) 2023μs  -- with random strategy 2108μs ToddCoxeter 020: 2-sided cong. on free semigroup . . .  -- with HLT + no standardise + full lookahead + no save 225μs  -- with HLT + standardise + full lookahead + no save 131μs  -- with HLT + no standardise + partial lookahead + no save 127μs  -- with HLT + standardise + partial lookahead + no save 128μs  -- with HLT + no standardise + full lookahead + save 108μs  -- with HLT + standardise + full lookahead + save 109μs  -- with HLT + no standardise + partial lookahead + save 108μs  -- with HLT + standardise + partial lookahead + save 91μs  -- with Felsch + no standardisation 100μs  -- with Felsch + standardisation 106μs  -- with random strategy 105μs ToddCoxeter 021: calling run when obviously infinite . . .  -- with HLT + no standardise + full lookahead + no save 373μs  -- with HLT + standardise + full lookahead + no save 290μs  -- with HLT + no standardise + partial lookahead + no save 328μs  -- with HLT + standardise + partial lookahead + no save 274μs  -- with HLT + no standardise + full lookahead + save 238μs  -- with HLT + standardise + full lookahead + save 225μs  -- with HLT + no standardise + partial lookahead + save 247μs  -- with HLT + standardise + partial lookahead + save 235μs  -- with Felsch + no standardisation 245μs  -- with Felsch + standardisation 238μs  -- with random strategy 273μs ToddCoxeter 022: stellar_monoid S3 . . .  -- with HLT + no standardise + full lookahead + no save 677μs  -- with HLT + standardise + full lookahead + no save 710μs  -- with HLT + no standardise + partial lookahead + no save 586μs  -- with HLT + standardise + partial lookahead + no save 593μs  -- with HLT + no standardise + full lookahead + save 932μs  -- with HLT + standardise + full lookahead + save 932μs  -- with HLT + no standardise + partial lookahead + save 1005μs  -- with HLT + standardise + partial lookahead + save 953μs  -- with Felsch + no standardisation 897μs  -- with Felsch + standardisation 893μs  -- with random strategy 756μs  -- with Rc style + full lookahead 645μs  -- with Rc style + partial lookahead 643μs  -- with R/C style 626μs  -- with CR style 889μs  -- with Cr style 976μs ToddCoxeter 023: finite semigroup (size 5) . . .  -- with HLT + no standardise + full lookahead + no save 232μs  -- with HLT + standardise + full lookahead + no save 194μs  -- with HLT + no standardise + partial lookahead + no save 207μs  -- with HLT + standardise + partial lookahead + no save 208μs  -- with HLT + no standardise + full lookahead + save 250μs  -- with HLT + standardise + full lookahead + save 242μs  -- with HLT + no standardise + partial lookahead + save 194μs  -- with HLT + standardise + partial lookahead + save 218μs  -- with Felsch + no standardisation 214μs  -- with Felsch + standardisation 192μs  -- with random strategy 223μs  -- with Rc style + full lookahead 257μs  -- with Rc style + partial lookahead 243μs  -- with R/C style 207μs  -- with CR style 253μs  -- with Cr style 255μs ToddCoxeter 024: exceptions . . .  -- with HLT + no standardise + full lookahead + no save 1142μs  -- with HLT + standardise + full lookahead + no save 1013μs  -- with HLT + no standardise + partial lookahead + no save 1084μs  -- with HLT + standardise + partial lookahead + no save 1053μs  -- with HLT + no standardise + full lookahead + save 1109μs  -- with HLT + standardise + full lookahead + save 1194μs  -- with HLT + no standardise + partial lookahead + save 1205μs  -- with HLT + standardise + partial lookahead + save 1296μs  -- with Felsch + no standardisation 1495μs  -- with Felsch + standardisation 1578μs  -- with random strategy 1369μs  -- with Rc style + full lookahead 1334μs  -- with Rc style + partial lookahead 1298μs  -- with R/C style 954μs  -- with CR style 1131μs  -- with Cr style 1071μs ToddCoxeter 025: obviously infinite . . .  -- with HLT + no standardise + full lookahead + no save 279μs  -- with HLT + standardise + full lookahead + no save 215μs  -- with HLT + no standardise + partial lookahead + no save 203μs  -- with HLT + standardise + partial lookahead + no save 209μs  -- with HLT + no standardise + full lookahead + save 219μs  -- with HLT + standardise + full lookahead + save 277μs  -- with HLT + no standardise + partial lookahead + save 224μs  -- with HLT + standardise + partial lookahead + save 296μs  -- with Felsch + no standardisation 221μs  -- with Felsch + standardisation 246μs  -- with random strategy 223μs ToddCoxeter 026: exceptions . . .  -- with HLT + no standardise + full lookahead + no save 730μs  -- with HLT + standardise + full lookahead + no save 711μs  -- with HLT + no standardise + partial lookahead + no save 761μs  -- with HLT + standardise + partial lookahead + no save 666μs  -- with HLT + no standardise + full lookahead + save 723μs  -- with HLT + standardise + full lookahead + save 737μs  -- with HLT + no standardise + partial lookahead + save 710μs  -- with HLT + standardise + partial lookahead + save 761μs  -- with Felsch + no standardisation 699μs  -- with Felsch + standardisation 679μs  -- with random strategy 725μs  -- with Rc style + full lookahead 664μs  -- with Rc style + partial lookahead 695μs  -- with R/C style 729μs  -- with CR style 783μs  -- with Cr style 736μs ToddCoxeter 027: empty . . . 1078μs ToddCoxeter 028: congruence of fpsemigroup::ToddCoxeter . . .  -- with HLT + no standardise + full lookahead + no save 1135μs  -- with HLT + standardise + full lookahead + no save 1049μs  -- with HLT + no standardise + partial lookahead + no save 1013μs  -- with HLT + standardise + partial lookahead + no save 1166μs  -- with HLT + save (throws) 1078μs  -- with Felsch (throws) 1215μs  -- with random strategy 1222μs  -- with HLT + no standardise + full lookahead + save 963μs  -- with HLT + standardise + full lookahead + save 977μs  -- with HLT + no standardise + partial lookahead + save 1146μs  -- with HLT + standardise + partial lookahead + save 1170μs  -- with Felsch + no standardisation 1031μs  -- with Felsch + standardisation 1057μs  -- with Rc style + full lookahead 1099μs  -- with Rc style + partial lookahead 918μs  -- with R/C style 969μs  -- with CR style 990μs  -- with Cr style 1090μs ToddCoxeter 029: !KnuthBendix.started() . . .  -- with HLT + no standardise + full lookahead + no save and 2-sided 524μs  -- with HLT + standardise + full lookahead + no save and 2-sided 401μs  -- with HLT + no standardise + partial lookahead + no save and 2-sided 452μs  -- with HLT + standardise + partial lookahead + no save and 2-sided 425μs  -- with HLT + no standardise + full lookahead + save and 2-sided 571μs  -- with HLT + standardise + full lookahead + save and 2-sided 497μs  -- with HLT + no standardise + partial lookahead + save and 2-sided 481μs  -- with HLT + standardise + partial lookahead + save and 2-sided 463μs  -- with Felsch + no standardisation and 2-sided 525μs  -- with Felsch + standardisation and 2-sided 444μs  -- with random strategy and 2-sided 490μs  -- with HLT + no standardise + full lookahead + no save and left 560μs  -- with HLT + standardise + full lookahead + no save and left 445μs  -- with HLT + no standardise + partial lookahead + no save and left 431μs  -- with HLT + standardise + partial lookahead + no save and left 369μs  -- with HLT + no standardise + full lookahead + save and left 401μs  -- with HLT + standardise + full lookahead + save and left 384μs  -- with HLT + no standardise + partial lookahead + save and left 373μs  -- with HLT + standardise + partial lookahead + save and left 425μs  -- with Felsch + no standardisation and left 514μs  -- with Felsch + standardisation and left 391μs  -- with random strategy and left 397μs  -- with HLT + no standardise + full lookahead + no save and right 527μs  -- with HLT + standardise + full lookahead + no save and right 382μs  -- with HLT + no standardise + partial lookahead + no save and right 378μs  -- with HLT + standardise + partial lookahead + no save and right 439μs  -- with HLT + no standardise + full lookahead + save and right 465μs  -- with HLT + standardise + full lookahead + save and right 423μs  -- with HLT + no standardise + partial lookahead + save and right 431μs  -- with HLT + standardise + partial lookahead + save and right 401μs  -- with Felsch + no standardisation and right 405μs  -- with Felsch + standardisation and right 453μs  -- with random strategy and right 385μs ToddCoxeter 030: KnuthBendix.finished() . . .  -- with HLT + no standardise + full lookahead + no save and 2-sided 982μs  -- with HLT + standardise + full lookahead + no save and 2-sided 819μs  -- with HLT + no standardise + partial lookahead + no save and 2-sided 804μs  -- with HLT + standardise + partial lookahead + no save and 2-sided 811μs  -- with HLT + no standardise + full lookahead + save and 2-sided 901μs  -- with HLT + standardise + full lookahead + save and 2-sided 804μs  -- with HLT + no standardise + partial lookahead + save and 2-sided 798μs  -- with HLT + standardise + partial lookahead + save and 2-sided 782μs  -- with Felsch + no standardisation and 2-sided 798μs  -- with Felsch + standardisation and 2-sided 2116μs  -- with random strategy and 2-sided 867μs  -- with HLT + no standardise + full lookahead + no save and left 864μs  -- with HLT + standardise + full lookahead + no save and left 882μs  -- with HLT + no standardise + partial lookahead + no save and left 867μs  -- with HLT + standardise + partial lookahead + no save and left 853μs  -- with HLT + no standardise + full lookahead + save and left 903μs  -- with HLT + standardise + full lookahead + save and left 1095μs  -- with HLT + no standardise + partial lookahead + save and left 952μs  -- with HLT + standardise + partial lookahead + save and left 898μs  -- with Felsch + no standardisation and left 845μs  -- with Felsch + standardisation and left 1016μs  -- with random strategy and left 945μs  -- with HLT + no standardise + full lookahead + no save and right 879μs  -- with HLT + standardise + full lookahead + no save and right 872μs  -- with HLT + no standardise + partial lookahead + no save and right 974μs  -- with HLT + standardise + partial lookahead + no save and right 934μs  -- with HLT + no standardise + full lookahead + save and right 1000μs  -- with HLT + standardise + full lookahead + save and right 1000μs  -- with HLT + no standardise + partial lookahead + save and right 993μs  -- with HLT + standardise + partial lookahead + save and right 960μs  -- with Felsch + no standardisation and right 931μs  -- with Felsch + standardisation and right 987μs  -- with random strategy and right 925μs ToddCoxeter 031: KnuthBendix.finished() . . .  -- with HLT + no standardise + full lookahead + no save and 2-sided 736μs  -- with HLT + standardise + full lookahead + no save and 2-sided 717μs  -- with HLT + no standardise + partial lookahead + no save and 2-sided 685μs  -- with HLT + standardise + partial lookahead + no save and 2-sided 765μs  -- with HLT + no standardise + full lookahead + save and 2-sided 723μs  -- with HLT + standardise + full lookahead + save and 2-sided 732μs  -- with HLT + no standardise + partial lookahead + save and 2-sided 763μs  -- with HLT + standardise + partial lookahead + save and 2-sided 763μs  -- with Felsch + no standardisation and 2-sided 681μs  -- with Felsch + standardisation and 2-sided 641μs  -- with random strategy and 2-sided 738μs  -- with Rc style + full lookahead and 2-sided 702μs  -- with Rc style + partial lookahead and 2-sided 728μs  -- with R/C style and 2-sided 723μs  -- with CR style and 2-sided 701μs  -- with Cr style and 2-sided 730μs  -- with HLT + no standardise + full lookahead + no save and left 773μs  -- with HLT + standardise + full lookahead + no save and left 815μs  -- with HLT + no standardise + partial lookahead + no save and left 754μs  -- with HLT + standardise + partial lookahead + no save and left 729μs  -- with HLT + no standardise + full lookahead + save and left 797μs  -- with HLT + standardise + full lookahead + save and left 822μs  -- with HLT + no standardise + partial lookahead + save and left 872μs  -- with HLT + standardise + partial lookahead + save and left 800μs  -- with Felsch + no standardisation and left 801μs  -- with Felsch + standardisation and left 766μs  -- with random strategy and left 924μs  -- with Rc style + full lookahead and left 803μs  -- with Rc style + partial lookahead and left 804μs  -- with R/C style and left 760μs  -- with CR style and left 759μs  -- with Cr style and left 973μs  -- with HLT + no standardise + full lookahead + no save and right 858μs  -- with HLT + standardise + full lookahead + no save and right 783μs  -- with HLT + no standardise + partial lookahead + no save and right 775μs  -- with HLT + standardise + partial lookahead + no save and right 841μs  -- with HLT + no standardise + full lookahead + save and right 835μs  -- with HLT + standardise + full lookahead + save and right 806μs  -- with HLT + no standardise + partial lookahead + save and right 794μs  -- with HLT + standardise + partial lookahead + save and right 868μs  -- with Felsch + no standardisation and right 807μs  -- with Felsch + standardisation and right 773μs  -- with random strategy and right 804μs  -- with Rc style + full lookahead and right 781μs  -- with Rc style + partial lookahead and right 859μs  -- with R/C style and right 795μs  -- with CR style and right 836μs  -- with Cr style and right 910μs ToddCoxeter 032: prefill . . . 1123μs ToddCoxeter 033: congruence of ToddCoxeter . . .  -- with HLT + no standardise + full lookahead + no save 407μs  -- with HLT + standardise + full lookahead + no save 352μs  -- with HLT + no standardise + partial lookahead + no save 273μs  -- with HLT + standardise + partial lookahead + no save 276μs  -- with HLT + no standardise + full lookahead + save 310μs  -- with HLT + standardise + full lookahead + save 292μs  -- with HLT + no standardise + partial lookahead + save 345μs  -- with HLT + standardise + partial lookahead + save 294μs  -- with random strategy 348μs ToddCoxeter 034: congruence of ToddCoxeter . . .  -- with HLT + no standardise + full lookahead + no save 2055μs  -- with HLT + standardise + full lookahead + no save 2124μs  -- with HLT + no standardise + partial lookahead + no save 1980μs  -- with HLT + standardise + partial lookahead + no save 2017μs  -- with HLT + save (throws) 2001μs  -- with Felsch (throws) 2124μs  -- with random strategy 2103μs ToddCoxeter 035: congruence on FpSemigroup . . .  -- with HLT + no standardise + full lookahead + no save 2040μs  -- with HLT + standardise + full lookahead + no save 2132μs  -- with HLT + no standardise + partial lookahead + no save 2439μs  -- with HLT + standardise + partial lookahead + no save 1996μs  -- with HLT + no standardise + full lookahead + save 1987μs  -- with HLT + standardise + full lookahead + save 2092μs  -- with HLT + no standardise + partial lookahead + save 1807μs  -- with HLT + standardise + partial lookahead + save 1702μs  -- with Felsch + no standardisation 1469μs  -- with Felsch + standardisation 1619μs  -- with random strategy 1512μs  -- with Rc style + full lookahead 1440μs  -- with Rc style + partial lookahead 1834μs  -- with R/C style 1290μs  -- with CR style 1472μs  -- with Cr style 1390μs ToddCoxeter 036: exceptions . . . 1143μs ToddCoxeter 037: copy constructor . . . 719μs ToddCoxeter 038: simplify . . . 1496μs ToddCoxeter 039: stylic_monoid . . . 3401ms ToddCoxeter 041: some finite classes . . . 2842μs ToddCoxeter 043: symmetric_group(7, Coxeter + Moser) . . . 445ms ToddCoxeter 044: Option exceptions . . . 442μs ToddCoxeter 045: Options operator<< . . . 3582μs ToddCoxeter 046: Easdown-East-FitzGerald DualSymInv(5) . . .  -- with HLT + no standardise + full lookahead + no save 1047ms  -- with HLT + standardise + full lookahead + no save 1162ms  -- with HLT + no standardise + partial lookahead + no save 982ms  -- with HLT + standardise + partial lookahead + no save 1151ms  -- with HLT + no standardise + full lookahead + save 433ms  -- with HLT + standardise + full lookahead + save 457ms  -- with HLT + no standardise + partial lookahead + save 423ms  -- with HLT + standardise + partial lookahead + save 460ms  -- with Felsch + no standardisation 563ms  -- with Felsch + standardisation 564ms  -- with random strategy 484ms  -- with R/C style 1026ms  -- with Rc style + full lookahead 570ms  -- with Rc style + partial lookahead 599ms ToddCoxeter 047: uniform_block_bijection_monoid(3) (FitzGerald) . . .  -- with HLT + no standardise + full lookahead + no save 512μs  -- with HLT + standardise + full lookahead + no save 469μs  -- with HLT + no standardise + partial lookahead + no save 454μs  -- with HLT + standardise + partial lookahead + no save 421μs  -- with HLT + no standardise + full lookahead + save 659μs  -- with HLT + standardise + full lookahead + save 1057μs  -- with HLT + no standardise + partial lookahead + save 743μs  -- with HLT + standardise + partial lookahead + save 672μs  -- with Felsch + no standardisation 552μs  -- with Felsch + standardisation 549μs  -- with random strategy 845μs  -- with R/C style 482μs  -- with Rc style + full lookahead 421μs  -- with Rc style + partial lookahead 440μs ToddCoxeter 048: stellar_monoid(7) (Gay-Hivert) . . . 469ms ToddCoxeter 049: partition_monoid(4) (East) . . .  -- with HLT + no standardise + full lookahead + no save 145ms  -- with HLT + standardise + full lookahead + no save 154ms  -- with HLT + no standardise + partial lookahead + no save 155ms  -- with HLT + standardise + partial lookahead + no save 165ms  -- with HLT + no standardise + full lookahead + save 172ms  -- with HLT + standardise + full lookahead + save 191ms  -- with HLT + no standardise + partial lookahead + save 181ms  -- with HLT + standardise + partial lookahead + save 195ms  -- with Felsch + no standardisation 233ms  -- with Felsch + standardisation 228ms  -- with random strategy 160ms  -- with R/C style 167ms  -- with Rc style + full lookahead 256ms  -- with Rc style + partial lookahead 245ms ToddCoxeter 050: singular_brauer_monoid(6) (Maltcev + Mazorchuk) . . . 3153ms ToddCoxeter 051: orientation_preserving_monoid(6) (Ruskuc + [...] . . .  -- with HLT + no standardise + full lookahead + no save 109ms ToddCoxeter 052: orientation_reversing_monoid(5) (Ruskuc + [...] . . .  -- with HLT + no standardise + full lookahead + no save 31ms ToddCoxeter 053: temperley_lieb_monoid(10) (East) . . . 120ms ToddCoxeter 063: add_rule . . .  -- with HLT + no standardise + full lookahead + no save 622μs  -- with HLT + standardise + full lookahead + no save 478μs  -- with HLT + no standardise + partial lookahead + no save 412μs  -- with HLT + standardise + partial lookahead + no save 411μs  -- with HLT + no standardise + full lookahead + save 550μs  -- with HLT + standardise + full lookahead + save 519μs  -- with HLT + no standardise + partial lookahead + save 491μs  -- with HLT + standardise + partial lookahead + save 456μs  -- with Felsch + no standardisation 510μs  -- with Felsch + standardisation 461μs  -- with random strategy 512μs  -- with Rc style + full lookahead 496μs  -- with Rc style + partial lookahead 468μs  -- with R/C style 450μs  -- with CR style 488μs  -- with Cr style 465μs  -- with R/C + Felsch lookahead 469μs  -- with HLT + Felsch lookahead + save 462μs  -- with Cr + small number of f_defs 492μs  -- with Rc + small number of deductions 490μs  -- with Felsch + v2 + no preferred defs 448μs  -- with Felsch + v2 + immediate no stack 437μs  -- with Felsch + v1 + immediate no stack 482μs  -- with Felsch + v1 + immediate yes stack 475μs  -- with large collapse 442μs ToddCoxeter 064: (from kbmag/standalone/kb_data/s4) (KnuthB [...] . . .  -- with HLT + no standardise + full lookahead + no save 1350μs ToddCoxeter 066: test validate . . . 3905μs ToddCoxeter 067: add_rules after construct. from semigroup . . .  -- with HLT + no standardise + full lookahead + no save 5254μs  -- with HLT + standardise + full lookahead + no save 5026μs  -- with HLT + no standardise + partial lookahead + no save 4660μs  -- with HLT + standardise + partial lookahead + no save 4818μs  -- with HLT + save (throws) 5405μs  -- with Felsch (throws) 5113μs  -- with random strategy 5373μs ToddCoxeter 068: Sym(5) from Chapter 3, Proposition 1.1 in NR . . .  -- with Deduction policy == purge_from_top 3389μs  -- with Deduction policy == purge_all 2639μs  -- with Deduction policy == discard_all_if_no_space 2878μs  -- with HLT + no standardise + full lookahead + no save 5015μs  -- with HLT + standardise + full lookahead + no save 6601μs  -- with HLT + no standardise + partial lookahead + no save 4857μs  -- with HLT + standardise + partial lookahead + no save 6590μs  -- with HLT + no standardise + full lookahead + save 3883μs  -- with HLT + standardise + full lookahead + save 3858μs  -- with HLT + no standardise + partial lookahead + save 4190μs  -- with HLT + standardise + partial lookahead + save 4101μs  -- with Felsch + no standardisation 2786μs  -- with Felsch + standardisation 2821μs  -- with random strategy 4071μs  -- with Rc style + full lookahead 7504μs  -- with Rc style + partial lookahead 7461μs  -- with R/C style 4845μs  -- with CR style 2888μs  -- with Cr style 2852μs ToddCoxeter 069: Chapter 7, Theorem 3.6 in NR (size 243) . . .  -- with HLT + no standardise + full lookahead + no save 2531μs  -- with HLT + standardise + full lookahead + no save 2446μs  -- with HLT + no standardise + partial lookahead + no save 2519μs  -- with HLT + standardise + partial lookahead + no save 2632μs  -- with HLT + no standardise + full lookahead + save 1760μs  -- with HLT + standardise + full lookahead + save 2025μs  -- with HLT + no standardise + partial lookahead + save 1836μs  -- with HLT + standardise + partial lookahead + save 2076μs  -- with Felsch + no standardisation 11ms  -- with Felsch + standardisation 10ms  -- with random strategy 2543μs  -- with Rc style + full lookahead 2344μs  -- with Rc style + partial lookahead 2343μs  -- with R/C style 2423μs  -- with CR style 10ms  -- with Cr style 10ms ToddCoxeter 070: finite semigroup (size 99) . . .  -- with HLT + no standardise + full lookahead + no save 798μs  -- with HLT + standardise + full lookahead + no save 807μs  -- with HLT + no standardise + partial lookahead + no save 777μs  -- with HLT + standardise + partial lookahead + no save 904μs  -- with HLT + no standardise + full lookahead + save 839μs  -- with HLT + standardise + full lookahead + save 910μs  -- with HLT + no standardise + partial lookahead + save 873μs  -- with HLT + standardise + partial lookahead + save 937μs  -- with Felsch + no standardisation 1780μs  -- with Felsch + standardisation 1974μs  -- with random strategy 804μs  -- with Rc style + full lookahead 789μs  -- with Rc style + partial lookahead 749μs  -- with R/C style 871μs  -- with CR style 1745μs  -- with Cr style 1825μs ToddCoxeter 080: KnuthBendix 098 . . .  -- with HLT + no standardise + full lookahead + no save 2379ms  -- with HLT + standardise + full lookahead + no save 2720ms  -- with HLT + no standardise + partial lookahead + no save 2837ms  -- with HLT + standardise + partial lookahead + no save 3078ms  -- with HLT + no standardise + full lookahead + save 1589ms  -- with HLT + standardise + full lookahead + save 1725ms  -- with HLT + no standardise + partial lookahead + save 1606ms  -- with HLT + standardise + partial lookahead + save 1557ms  -- with Felsch + no standardisation 1507ms  -- with Felsch + standardisation 1442ms  -- with random strategy 1451ms  -- with Rc style + full lookahead 1320ms  -- with Rc style + partial lookahead 1264ms  -- with R/C style 2429ms  -- with CR style 1207ms  -- with Cr style 1233ms ToddCoxeter 084: Campbell-Reza 1 . . .  -- with HLT + no standardise + full lookahead + no save 698μs  -- with HLT + standardise + full lookahead + no save 566μs  -- with HLT + no standardise + partial lookahead + no save 490μs  -- with HLT + standardise + partial lookahead + no save 482μs  -- with HLT + no standardise + full lookahead + save 610μs  -- with HLT + standardise + full lookahead + save 543μs  -- with HLT + no standardise + partial lookahead + save 658μs  -- with HLT + standardise + partial lookahead + save 574μs  -- with Felsch + no standardisation 583μs  -- with Felsch + standardisation 689μs  -- with random strategy 605μs  -- with Rc style + full lookahead 581μs  -- with Rc style + partial lookahead 587μs  -- with R/C style 576μs  -- with CR style 652μs  -- with Cr style 714μs ToddCoxeter 085: Renner monoid type D4 (Gay-Hivert), q = 1 . . .  -- with HLT + no standardise + full lookahead + no save 2647ms  -- with HLT + standardise + full lookahead + no save 2597ms  -- with HLT + no standardise + partial lookahead + no save 2611ms  -- with HLT + standardise + partial lookahead + no save 2761ms  -- with HLT + no standardise + full lookahead + save 2770ms  -- with HLT + standardise + full lookahead + save 2642ms  -- with HLT + no standardise + partial lookahead + save 2563ms  -- with HLT + standardise + partial lookahead + save 2582ms  -- with Felsch + no standardisation 2457ms  -- with Felsch + standardisation 2602ms  -- with random strategy 2818ms  -- with Rc style + full lookahead 3322ms  -- with Rc style + partial lookahead 3282ms  -- with R/C style 3302ms  -- with CR style 3262ms  -- with Cr style 3184ms ToddCoxeter 086: trivial semigroup . . . 1328ms ToddCoxeter 092: ACE --- perf602p5 - HLT . . .  -- with HLT + no standardise + full lookahead + no save 188ms  -- with HLT + standardise + full lookahead + no save 177ms  -- with HLT + no standardise + partial lookahead + no save 192ms  -- with HLT + standardise + partial lookahead + no save 173ms  -- with HLT + no standardise + full lookahead + save 57ms  -- with HLT + standardise + full lookahead + save 58ms  -- with HLT + no standardise + partial lookahead + save 59ms  -- with HLT + standardise + partial lookahead + save 59ms  -- with random strategy 192ms  -- with Felsch + no standardisation 48ms  -- with Felsch + standardisation 47ms ToddCoxeter 094: ACE --- C5 - HLT . . .  -- with HLT + no standardise + full lookahead + no save 669μs  -- with HLT + standardise + full lookahead + no save 567μs  -- with HLT + no standardise + partial lookahead + no save 550μs  -- with HLT + standardise + partial lookahead + no save 581μs  -- with HLT + no standardise + full lookahead + save 689μs  -- with HLT + standardise + full lookahead + save 639μs  -- with HLT + no standardise + partial lookahead + save 607μs  -- with HLT + standardise + partial lookahead + save 595μs  -- with random strategy 611μs  -- with Felsch + no standardisation 549μs  -- with Felsch + standardisation 622μs ToddCoxeter 095: ACE --- A5-C5 . . .  -- with HLT + no standardise + full lookahead + no save 606μs  -- with HLT + standardise + full lookahead + no save 629μs  -- with HLT + no standardise + partial lookahead + no save 575μs  -- with HLT + standardise + partial lookahead + no save 695μs  -- with HLT + no standardise + full lookahead + save 780μs  -- with HLT + standardise + full lookahead + save 823μs  -- with HLT + no standardise + partial lookahead + save 743μs  -- with HLT + standardise + partial lookahead + save 749μs  -- with random strategy 664μs  -- with Felsch + no standardisation 770μs  -- with Felsch + standardisation 607μs ToddCoxeter 096: ACE --- A5 . . .  -- with HLT + no standardise + full lookahead + no save 1563μs  -- with HLT + standardise + full lookahead + no save 2381μs  -- with HLT + no standardise + partial lookahead + no save 1562μs  -- with HLT + standardise + partial lookahead + no save 2234μs  -- with HLT + no standardise + full lookahead + save 1984μs  -- with HLT + standardise + full lookahead + save 2046μs  -- with HLT + no standardise + partial lookahead + save 2073μs  -- with HLT + standardise + partial lookahead + save 1986μs  -- with random strategy 1635μs  -- with Felsch + no standardisation 1294μs  -- with Felsch + standardisation 1717μs ToddCoxeter 098: relation ordering . . .  -- with Felsch + no standardisation 4632μs  -- with Felsch + standardisation 4967μs  -- with HLT + no standardise + full lookahead + no save 3163μs  -- with HLT + standardise + full lookahead + no save 3313μs  -- with HLT + no standardise + partial lookahead + no save 3132μs  -- with HLT + standardise + partial lookahead + no save 3220μs  -- with HLT + no standardise + full lookahead + save 4848μs  -- with HLT + standardise + full lookahead + save 4626μs  -- with HLT + no standardise + partial lookahead + save 5035μs  -- with HLT + standardise + partial lookahead + save 4386μs  -- with random strategy 5302μs ToddCoxeter 099: short circuit size in obviously infinite . . . 110μs ToddCoxeter 101: http://brauer.maths.qmul.ac.uk/Atlas/spor/M [...] . . . 2995ms ToddCoxeter 108: http://brauer.maths.qmul.ac.uk/Atlas/lin/L3 [...] . . . 3703ms ToddCoxeter 110: to_gap_string . . . 827μs ToddCoxeter 111: partition_monoid(2) . . . 335μs ToddCoxeter 112: brauer_monoid(4) (Kudryavtseva + Mazorchuk) . . . 2650μs ToddCoxeter 113: symmetric_inverse_monoid . . . 100ms ToddCoxeter 116: symmetric_group(7, Burnside + Miller) . . . 3283ms UF 001: constructor by size . . . 63μs UF 002: copy constructor . . . 102μs UF 003: find . . . 73μs Ukkonen 000: basic tests . . . 549ms Ukkonen 001: maximal_piece_prefix 1 . . . 210μs Ukkonen 002: maximal_piece_prefix 2 . . . 255μs Ukkonen 003: maximal_piece_prefix 3 . . . 1685μs Ukkonen 004: number_of_pieces . . . 473μs Ukkonen 005: traverse . . . 151μs Ukkonen 006: dot . . . 2934μs Ukkonen 007: strings . . . 499μs Ukkonen 008: dfs #01 . . . 286μs Ukkonen 009: dfs #02 . . . 246μs Ukkonen 010: dfs #03 . . . 172μs Ukkonen 011: dfs #04 . . . 528μs Ukkonen 012: dfs #05 . . . 369μs Ukkonen 013: dfs #06 . . . 257μs Ukkonen 014: dfs #07 . . . 921μs Ukkonen 015: dfs #08 . . . 390μs Ukkonen 016: dfs #09 . . . 948μs Ukkonen 017: dfs #10 . . . 195μs Ukkonen 018: pieces . . . 245μs Ukkonen 019: code coverage . . . 202μs Ukkonen 020: code coverage . . . 58μs action_digraph_helper 015: detail::to_string . . . 173μs action_digraph_helper 016: make . . . 835μs action_digraph_helper 017: is_connected . . . 1462μs action_digraph_helper 018: is_strictly_cyclic . . . 45ms follow_path 012: 20 node path . . . 146μs fpsemi-examples 002: full_transformation_monoid author except . . . 327μs fpsemi-examples 003: full_transformation_monoid degree except . . . 161μs fpsemi-examples 005: partial_transformation_monoid author except . . . 233μs fpsemi-examples 006: partial_transformation_monoid degree except . . . 278μs fpsemi-examples 007: symmetric_inverse_monoid(5) . . . 92ms fpsemi-examples 008: symmetric_group auth except . . . 283μs fpsemi-examples 009: symmetric_group degree except . . . 216μs fpsemi-examples 010: symmetric_group(6) Burnside + Miller . . . 152ms fpsemi-examples 011: dual_symmetric_inverse_monoid(5) . . . 1179ms fpsemi-examples 012: dual_symmetric_inverse_monoid auth except . . . 242μs fpsemi-examples 013: dual_symmetric_inverse_monoid degree except . . . 129μs fpsemi-examples 014: uniform_block_bijection_monoid(5) . . . 62ms fpsemi-examples 015: uniform_block_bijection_monoid auth except . . . 250μs fpsemi-examples 016: uniform_block_bijection_monoid degree except . . . 561μs fpsemi-examples 019: partition_monoid auth except . . . 497μs fpsemi-examples 020: partition_monoid degree except . . . 441μs fpsemi-examples 022: monogenic_semigroup(4, 9) . . . 599μs fpsemi-examples 023: fibonacci_semigroup(2, 5) . . . 470μs fpsemi-examples 024: temperley_lieb_monoid(10) . . . 156ms fpsemi-examples 025: singular_brauer_monoid(6) . . . 3343ms fpsemi-examples 026: orientation_preserving_monoid(6) . . . 139ms fpsemi-examples 027: orientation_reversing_monoid(5) . . . 43ms fpsemi-examples 028: chinese_monoid(3) . . . 1168μs fpsemi-examples 029: plactic_monoid(3) . . . 781μs fpsemi-examples 030: stylic_monoid(3) . . . 5097μs fpsemi-examples 031: symmetric_group(6) Carmichael . . . 90ms fpsemi-examples 032: symmetric_group(6) Moore index 0 . . . 67ms fpsemi-examples 033: symmetric_group(6) Coxeter + Moser . . . 31ms fpsemi-examples 034: test for the rook monoid . . . 2556μs fpsemi-examples 035: alternating_group(7) Moore . . . 129ms fpsemi-examples 036: alternating_group auth except . . . 265μs fpsemi-examples 037: alternating_group degree except . . . 114μs fpsemi-examples 038: partial_transformation_monoid(3) Machine . . . 2184μs fpsemi-examples 039: chinese_monoid degree except . . . 263μs fpsemi-examples 040: monogenic_semigroup degree except . . . 333μs fpsemi-examples 041: rectangular_band degree except . . . 373μs fpsemi-examples 042: stellar_monoid degree except . . . 253μs fpsemi-examples 043: plactic_monoid degree except . . . 266μs fpsemi-examples 044: stylic_monoid degree except . . . 325μs fpsemi-examples 045: temperley_lieb_monoid degree except . . . 302μs fpsemi-examples 046: singular_brauer_monoid degree except . . . 289μs fpsemi-examples 047: orientation_preserving_monoid degree except . . . 350μs fpsemi-examples 048: orientation_reversing_monoid degree except . . . 348μs fpsemi-examples 049: test default values . . . 23ms fpsemi-examples 052: not_symmetric_group(5) Guralnick + Kant [...] . . . 16ms fpsemi-examples 053: order_preserving_monoid(5) . . . 3757μs fpsemi-examples 055: order_preserving_monoid degree except . . . 338μs fpsemi-examples 056: cyclic_inverse_monoid(4) Fernandes 1 . . . 3518μs fpsemi-examples 057: cyclic_inverse_monoid(8) Fernandes index 1 . . . 82ms fpsemi-examples 058: cyclic_inverse_monoid Fernandes index 0 . . . 148ms fpsemi-examples 059: order_preserving_cyclic_inverse_monoid(4) . . . 1292μs fpsemi-examples 060: order_preserving_cyclic_inverse_monoid(10) . . . 156ms fpsemi-examples 061: cyclic_inverse_monoid degree except . . . 603μs fpsemi-examples 062: cyclic_inverse_monoid author except . . . 330μs fpsemi-examples 063: order_preserving_monoid degree except . . . 298μs fpsemi-examples 064: symmetric_group index except . . . 267μs fpsemi-examples 065: symmetric_group(7) Moore index 1 . . . 39ms fpsemi-examples 066: order_preserving_cyclic_inverse_monoid(10) . . . 150ms fpsemi-examples 067: partial_isometries_cycle_graph_monoid(5) . . . 3801μs fpsemi-examples 068: partial_isometries_cycle_graph_monoid(10) . . . 2047ms fpsemi-examples 069: partial_isometries_cycle_graph_monoid d [...] . . . 428μs fpsemi-examples 070: partial_isometries_cycle_graph_monoid(4) . . . 1971μs freeband_equal_to 001: . . . 13ms is_acyclic 000: 2-cycle . . . 64μs is_acyclic 001: 1-cycle . . . 47μs is_acyclic 002: multi-digraph . . . 62μs is_acyclic 003: complete digraph 100 . . . 1044μs is_acyclic 004: acyclic digraph with 20000 nodes . . . 34ms is_acyclic 006: for a node . . . 2633μs is_acyclic 007: for a node . . . 121μs is_reachable 008: acyclic 20 node digraph . . . 768μs is_reachable 009: 100 node path . . . 37ms is_reachable 010: 100 node cycle . . . 32ms is_reachable 011: 20 node clique . . . 1465μs last_node_on_path_nc 014: 20 node path . . . 88μs make 000: from FroidurePin . . . 5961μs make 001: from FroidurePin and alphabet . . . 6228μs make 002: presentation from presentation . . . 1974μs make 003: presentation from presentation and alphabet . . . 416μs make 004: argument checks issue . . . 630μs make 005: use human readable alphabet for make . . . 148μs make> 000: from ActionDigraph . . . 22ms make> 001: from ActionDigraph (exceptions) . . . 356μs number_of_words 001: . . . 44μs operator"" _w 003: literal . . . 64μs silo 000: alphabet: a, min: 0, max: 10 . . . 211μs silo 001: corner cases . . . 161μs silo 002: alphabet: ab, min: 1, max: 4 . . . 206μs silo 003: alphabet: abc, min: 0, max: 13 . . . 273ms silo 004: code coverage . . . 148μs sislo 005: alphabet: a, min: 0, max: 10 . . . 186μs sislo 006: corner cases . . . 364μs sislo 007: alphabet: ab, min: 1, max: 4 . . . 337μs sislo 008: alphabet: abc, min: 0, max: 13 . . . 237ms sislo 009: code coverage . . . 112μs string 000: detail::is_suffix . . . 77μs string 001: detail::is_prefix . . . 422μs string 002: detail::maximum_common_suffix . . . 77μs string 003: detail::group_digits . . . 112μs string_to_word 002: . . . 51μs validate_label 013: 20 node path . . . 234μs wilo 001: corner cases . . . 169μs wilo 002: letters: 2, min: 1, max: 4 . . . 166μs wilo 003: letters: 2, min: 1, max: 4 . . . 368μs wilo 004: letters: 3, min: 0, max: 10 . . . 78ms wilo 005: letters: 3, min: 0, max: 13 . . . 1272ms wilo 006: forward iterator requirements . . . 1402ms wilo 007: more corner cases . . . 831μs wilo 008: starting at a given word 1 . . . 1262μs wilo 009: starting at a given word 2 . . . 149μs wilo 010: code coverage . . . 107μs wislo 000: n: 2, min; 1, max: 4 . . . 159μs wislo 001: corner cases . . . 192μs wislo 002: n: 3, min; 0, max: 10 . . . 44ms wislo 003: n: 3, min; 0, max: 13 . . . 1409ms wislo 004: lex + sort . . . 3121ms wislo 005: code coverage . . . 136μs =============================================================================== All tests passed (1290346 assertions in 1191 test cases) >>> libsemigroups: Entering fakeroot... make[1]: Entering directory '/home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.3' ./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' 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 libtool: install: (cd /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib && { ln -s -f libsemigroups.so.2.0.0 libsemigroups.so.2 || { rm -f libsemigroups.so.2 && ln -s libsemigroups.so.2.0.0 libsemigroups.so.2; }; }) libtool: install: (cd /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib && { ln -s -f libsemigroups.so.2.0.0 libsemigroups.so || { rm -f libsemigroups.so && ln -s libsemigroups.so.2.0.0 libsemigroups.so; }; }) libtool: install: /usr/bin/install -c .libs/libsemigroups.lai /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/libsemigroups.la libtool: install: /usr/bin/install -c .libs/libsemigroups.a /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/libsemigroups.a ./config/install-sh -c -d '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/pkgconfig' 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 /usr/bin/install -c -m 644 libsemigroups.pc '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/pkgconfig' ./config/install-sh -c -d '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups' ./config/install-sh -c -d '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups/textflowcpp' /usr/bin/install -c -m 644 extern/textflowcpp/TextFlow.hpp '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups/textflowcpp' libtool: warning: remember to run 'libtool --finish /usr/lib' /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' /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' make[1]: Leaving directory '/home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.3' >>> libsemigroups-static*: Running split function static... 'usr/lib/libsemigroups.a' -> '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups-static/usr/lib/libsemigroups.a' >>> libsemigroups-static*: Preparing subpackage libsemigroups-static... >>> libsemigroups-static*: Stripping binaries libfakeroot internal error: payload not recognized! >>> libsemigroups-static*: Running postcheck for libsemigroups-static >>> libsemigroups-dev*: Running split function dev... libfakeroot internal error: payload not recognized! 'usr/include' -> '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups-dev/usr/include' 'usr/lib/pkgconfig' -> '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups-dev/usr/lib/pkgconfig' 'usr/lib/libsemigroups.so' -> '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups-dev/usr/lib/libsemigroups.so' >>> 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*: Scanning shared objects >>> libsemigroups-static*: Scanning shared objects >>> libsemigroups-dev*: Scanning shared objects >>> libsemigroups*: Tracing dependencies... so:libc.musl-riscv64.so.1 so:libfmt.so.12 so:libgcc_s.so.1 so:libstdc++.so.6 >>> libsemigroups*: Package size: 1.3 MB >>> libsemigroups*: Compressing data... >>> libsemigroups*: Create checksum... >>> libsemigroups*: Create libsemigroups-2.7.3-r2.apk >>> libsemigroups-static*: Tracing dependencies... libsemigroups-dev >>> libsemigroups-static*: Package size: 12.7 MB >>> libsemigroups-static*: Compressing data... >>> libsemigroups-static*: Create checksum... >>> libsemigroups-static*: Create libsemigroups-static-2.7.3-r2.apk >>> libsemigroups-dev*: Tracing dependencies... libsemigroups=2.7.3-r2 pc:eigen3 pc:fmt pkgconfig >>> libsemigroups-dev*: Package size: 1.9 MB >>> libsemigroups-dev*: Compressing data... >>> libsemigroups-dev*: Create checksum... >>> libsemigroups-dev*: Create libsemigroups-dev-2.7.3-r2.apk >>> libsemigroups: Build complete at Wed, 30 Sep 2026 21:41:33 +0000 elapsed time 0h 27m 59s >>> libsemigroups: Cleaning up srcdir >>> libsemigroups: Cleaning up pkgdir >>> libsemigroups: Cleaning up tmpdir >>> libsemigroups: Uninstalling dependencies... (1/4) Purging .makedepends-libsemigroups (20260930.211338) (2/4) Purging eigen-dev (3.4.0-r10) (3/4) Purging fmt-dev (12.2.0-r0) (4/4) Purging fmt (12.2.0-r0) OK: 392.4 MiB in 106 packages >>> libsemigroups: Updating the testing/riscv64 repository index... >>> libsemigroups: Signing the index...