>>> libsemigroups: Building testing/libsemigroups 2.7.3-r2 (using abuild 3.18.0_rc5-r1) started Tue, 29 Sep 2026 14:08:50 +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 (20260929.140852) OK: 437.5 MiB in 109 packages >>> libsemigroups: Cleaning up srcdir >>> libsemigroups: Cleaning up pkgdir >>> libsemigroups: Cleaning up tmpdir >>> libsemigroups: Fetching https://distfiles.alpinelinux.org/distfiles/edge/libsemigroups-2.7.3.tar.gz Connecting to distfiles.alpinelinux.org (172.105.82.32:443) wget: server returned error: HTTP/1.1 404 Not Found >>> libsemigroups: Fetching https://github.com/libsemigroups/libsemigroups/releases/download/v2.7.3/libsemigroups-2.7.3.tar.gz Connecting to github.com (140.82.121.3:443) Connecting to release-assets.githubusercontent.com (185.199.108.133: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... i586-alpine-linux-musl checking host system type... i586-alpine-linux-musl checking target system type... i586-alpine-linux-musl checking for a BSD-compatible install... /usr/bin/install -c checking whether build environment is sane... yes checking for a race-free mkdir -p... ./config/install-sh -c -d checking for gawk... no checking for mawk... no checking for nawk... no checking for awk... awk checking whether make sets $(MAKE)... yes checking whether make supports nested variables... yes checking how to create a pax tar archive... gnutar checking whether make supports nested variables... (cached) yes checking whether make supports the include directive... yes (GNU style) checking for i586-alpine-linux-musl-gcc... 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 i586-alpine-linux-musl-ar... no checking for i586-alpine-linux-musl-lib... no checking for i586-alpine-linux-musl-link... no checking for ar... ar checking the archiver (ar) interface... ar checking whether the compiler supports GNU C++... yes checking whether 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/i586-alpine-linux-musl/bin/ld checking if the linker (/usr/i586-alpine-linux-musl/bin/ld) is GNU ld... yes checking for BSD- or MS-compatible name lister (nm)... /usr/bin/nm -B checking the name lister (/usr/bin/nm -B) interface... BSD nm checking the maximum length of command line arguments... 98304 checking how to convert i586-alpine-linux-musl file names to i586-alpine-linux-musl format... func_convert_file_noop checking how to convert i586-alpine-linux-musl file names to toolchain format... func_convert_file_noop checking for /usr/i586-alpine-linux-musl/bin/ld option to reload object files... -r checking for i586-alpine-linux-musl-file... no checking for file... file checking for i586-alpine-linux-musl-objdump... no checking for objdump... objdump checking how to recognize dependent libraries... pass_all checking for i586-alpine-linux-musl-dlltool... no checking for dlltool... no checking how to associate runtime and link libraries... printf %s\n checking for i586-alpine-linux-musl-ar... ar checking for archiver @FILE support... @ checking for i586-alpine-linux-musl-strip... no checking for strip... strip checking for i586-alpine-linux-musl-ranlib... no checking for ranlib... ranlib checking command to parse /usr/bin/nm -B output from 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 i586-alpine-linux-musl-mt... no checking for mt... no checking if : is a manifest tool... no checking for stdio.h... yes checking for stdlib.h... yes checking for string.h... yes checking for inttypes.h... yes checking for stdint.h... yes checking for strings.h... yes checking for sys/stat.h... yes checking for sys/types.h... yes checking for unistd.h... yes checking for dlfcn.h... yes checking for objdir... .libs checking if 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/i586-alpine-linux-musl/bin/ld) supports shared libraries... yes checking whether -lc should be explicitly linked in... no checking dynamic linker characteristics... GNU/Linux ld.so checking how to hardcode library paths into programs... immediate checking whether stripping libraries is possible... yes checking if libtool supports shared libraries... yes checking whether to build shared libraries... yes checking whether to build static libraries... yes checking how to run the C++ preprocessor... c++ -E checking for ld used by c++... /usr/i586-alpine-linux-musl/bin/ld checking if the linker (/usr/i586-alpine-linux-musl/bin/ld) is GNU ld... yes checking whether the c++ linker (/usr/i586-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/i586-alpine-linux-musl/bin/ld) supports shared libraries... yes checking dynamic linker characteristics... (cached) GNU/Linux ld.so checking how to hardcode library paths into programs... immediate checking for limits.h... yes checking for stdint.h... (cached) yes checking for stdlib.h... (cached) yes checking for sys/time.h... yes checking for unistd.h... (cached) yes checking for pthread.h... yes checking for _Bool... yes checking for stdbool.h that conforms to C99... yes checking for inline... inline checking for int64_t... yes checking for size_t... yes checking for uint64_t... yes checking for ptrdiff_t... yes checking size of void *... 4 checking for GNU libc compatible malloc... yes checking for gettimeofday... yes checking for memset... yes checking for pow... yes checking for sqrt... yes checking whether to enable debug mode... no checking whether to enable verbose mode... no checking whether enable compiler warnings... no checking whether to enable stats mode... yes checking whether to enable backward mode... yes checking for execinfo.h... no configure: WARNING: backward enabled but execinfo.h not found, disabling backward! checking whether to build with code coverage support... no checking whether to enable HPCombi... yes checking for ./extern/HPCombi/VERSION... yes checking the required version of HPCombi... 0.0.6 checking the version of HPCombi that's present... 0.0.6 checking whether C++ compiler accepts -mavx... yes checking whether C++ compiler accepts -flax-vector-conversions... yes checking for x86intrin.h... yes checking for _mm_blendv_epi8... yes checking for _mm_cmpeq_epi8... yes checking for _mm_cmpestri... yes checking for _mm_cmpestrm... yes checking for _mm_cmplt_epi8... yes checking for _mm_extract_epi64... no configure: WARNING: compiler builtin not supported, HPCombi is disabled checking for i586-alpine-linux-musl-pkg-config... no checking for pkg-config... /usr/bin/pkg-config checking pkg-config is at least version 0.9.0... yes checking whether to enable fmt... yes checking whether to use external fmt... yes checking for fmt >= 8.1.1... yes checking whether to enable eigen... yes checking whether to use external eigen... yes checking for eigen3 >= 3.3.7... yes checking for __builtin_popcountl... yes checking for __builtin_clzll... yes checking whether to try and use __builtin_popcntl... yes checking whether to try and use __builtin_clzlll... yes checking that generated files are newer than configure... done configure: creating ./config.status config.status: creating Makefile config.status: creating libsemigroups.pc config.status: creating config/config.h config.status: executing depfiles commands config.status: executing include/libsemigroups/config.hpp commands config.status: creating include/libsemigroups/config.hpp - prefix LIBSEMIGROUPS for config/config.h defines config.status: executing libtool commands CXX src/libsemigroups_la-bipart.lo CXX src/libsemigroups_la-bmat8.lo CXX src/libsemigroups_la-cong-intf.lo CXX src/libsemigroups_la-cong-pair.lo CXX src/libsemigroups_la-cong.lo CXX src/libsemigroups_la-constants.lo CXX src/libsemigroups_la-coset.lo CXX src/libsemigroups_la-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-cong-intf.o CXX tests/test-bmat8.o CXX tests/test-cong-pair.o CXX tests/test-cong.o CXX tests/test-constants.o CXX tests/test-containers.o CXX tests/test-digraph-helper.o CXX tests/test-digraph.o CXX tests/test-felsch-tree.o CXX tests/test-forest.o CXX tests/test-fpsemi.o CXX tests/test-fpsemi-examples-1.o CXX tests/test-fpsemi-examples-2.o CXX tests/test-fpsemi-examples-3.o CXX tests/test-fpsemi-intf.o CXX tests/test-freeband.o CXX tests/test-froidure-pin-bipart.o CXX tests/test-froidure-pin-bmat8.o CXX tests/test-froidure-pin-bmat.o CXX tests/test-froidure-pin-integers.o CXX tests/test-froidure-pin-intmat.o CXX tests/test-froidure-pin-intpairs.o CXX tests/test-froidure-pin-matrix.o CXX tests/test-froidure-pin-maxplustrunc.o CXX tests/test-froidure-pin-pbr.o CXX tests/test-froidure-pin-pperm.o CXX tests/test-froidure-pin-projmaxplus.o CXX tests/test-froidure-pin-transf.o CXX tests/test-hpcombi.o CXX tests/test-iterator.o CXX tests/test-kambites.o CXX tests/test-kbe.o CXX tests/test-knuth-bendix-1.o CXX tests/test-knuth-bendix-2.o CXX tests/test-knuth-bendix-3.o CXX tests/test-knuth-bendix-4.o CXX tests/test-knuth-bendix-5.o CXX tests/test-knuth-bendix-6.o CXX tests/test-konieczny-bmat8-1.o CXX tests/test-konieczny-bmat8-2.o CXX tests/test-konieczny-bmat8-3.o CXX tests/test-konieczny-transf.o CXX tests/test-konieczny-bmat.o CXX tests/test-konieczny-pperm.o CXX tests/test-main.o CXX tests/test-make-present.o CXX tests/test-make-froidure-pin.o CXX tests/test-matrix.o CXX tests/test-obvinf.o CXX tests/test-order.o CXX tests/test-pbr.o CXX tests/test-pool.o CXX tests/test-present.o CXX tests/test-race.o CXX tests/test-runner.o CXX tests/test-schreier-sims.o CXX tests/test-schreier-sims-helper.o CXX tests/test-sims1.o CXX tests/test-siso.o CXX tests/test-stephen.o CXX tests/test-string.o CXX tests/test-string-view.o CXX tests/test-timer.o CXX tests/test-todd-coxeter.o CXX tests/test-types.o CXX tests/test-uf.o CXX tests/test-ukkonen.o CXX tests/test-wilo.o CXX tests/test-wislo.o CXX tests/test-word.o In file included from /usr/include/c++/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 64 into object 'r' of size 12 160 | auto r = matrix_helpers::rows(m); | ^ CXXLD test_all make[1]: Leaving directory '/home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.3' ./test_all --use-colour yes --order lex --abort [quick] Filters: [quick] Action 001: row and column basis orbits for BMat8 . . . 71μs Action 002: row and column basis orbits for BMat8 . . . 13ms Action 003: add generators after enumeration . . . 12ms Action 004: multipliers for BMat8 row and column orbits . . . 19ms Action 005: orbits for regular boolean mat monoid 5 . . .  Action 007: partial perm image orbit . . . 307μs Action 008: partial perm image orbit . . . 106ms Action 009: partial perm image orbit . . . 122ms Action 010: partial perm image orbit . . . 126ms Action 011: permutation on integers . . . 36μs Action 012: permutation on sets, arrays . . . 175μs Action 013: permutation on tuples, arrays . . . 18ms Action 014: permutation on sets, vectors . . . 284μs Action 015: permutation on tuples, vectors . . . 30ms Action 016: misc . . . 3650μs Action 017: partial perm image orbit . . . 72μs Action 018: permutation on tuples, arrays (360360) . . . 409ms Action 019: orbits for regular BMat8 monoid 5 with stop/start . . .  Action 021: orbits for regular boolean mat monoid 5 (BMat<5> [...] . . . 718ms ActionDigraph 000: constructor with 1 default arg . . . 29μs ActionDigraph 001: constructor with 0 default args . . . 70μs ActionDigraph 002: add nodes . . . 42μs ActionDigraph 003: add edges . . . 400μs ActionDigraph 004: strongly connected components - cycles . . . 54μs ActionDigraph 005: strongly connected components - no edges . . . 74ms ActionDigraph 006: strongly connected components - disjoint cycles . . . 2855μs ActionDigraph 007: strongly connected components - complete graphs . . . 1473μs ActionDigraph 008: exceptions . . . 108μs ActionDigraph 009: spanning forest - complete graphs . . . 5958μs ActionDigraph 010: spanning forest - disjoint cycles . . . 195μs ActionDigraph 011: restrict . . . 21μs ActionDigraph 012: remove_edge_nc . . . 16μs ActionDigraph 013: scc large cycle . . . 27ms ActionDigraph 014: random . . . 35μs ActionDigraph 015: reserve . . . 17μs ActionDigraph 016: default constructors . . . 31μs ActionDigraph 017: scc iterators . . . 2921μs ActionDigraph 018: iterator to edges . . . 1185μs ActionDigraph 019: root of scc . . . 588μs ActionDigraph 020: cbegin/end_panislo - 100 node path . . . 950μs ActionDigraph 021: cbegin/end_pislo . . . 75μs ActionDigraph 022: cbegin/end_pani(s)lo - 100 node cycle . . . 1033μs ActionDigraph 023: cbegin/cend_pilo - tree 14 nodes . . . 132μs ActionDigraph 024: cbegin/end_pstilo - Cayley digraph . . . 283ms ActionDigraph 025: cbegin_pstilo - Tsalakou . . . 579μs ActionDigraph 026: cbegin/end_pstislo - Cayley digraph . . . 290ms ActionDigraph 027: cbegin/end_pstislo - Cayley digraph . . . 322μs ActionDigraph 028: path iterators corner cases . . . 257μs ActionDigraph 029: reverse node iterator . . . 18μs ActionDigraph 030: pstilo corner case . . . 84μs ActionDigraph 031: number_of_paths corner cases . . . 98μs ActionDigraph 032: number_of_paths acyclic digraph . . . 18ms ActionDigraph 033: number_of_paths binary tree . . . 757ms ActionDigraph 034: number_of_paths large binary tree . . . 239ms ActionDigraph 035: number_of_paths 400 node random digraph . . . 992μs ActionDigraph 036: number_of_paths 10 node acyclic digraph . . . 69μs ActionDigraph 037: number_of_paths node digraph . . . 4287μs ActionDigraph 038: random/random_acyclic exceptions . . . 171μs ActionDigraph 039: unsafe (next) neighbour . . . 114μs ActionDigraph 040: number_of_egdes incident to a node . . . 124μs ActionDigraph 041: number_of_paths (matrix) . . . 42ms ActionDigraph 042: number_of_paths (matrix) . . . 27μs ActionDigraph 043: swap_edge_nc . . . 16μs ActionDigraph 044: detail::pow for non-square Eigen matrix . . . 47μs ActionDigraph 045: operator<< . . . 25μs Array2 044: all . . . 59μs BMat8 001: transpose . . . 28μs BMat8 002: multiplication . . . 28μs BMat8 003: identity matrix . . . 21μs BMat8 004: random . . . 478μs BMat8 005: call operator . . . 33μs BMat8 006: operator<< . . . 32μs BMat8 007: set . . . 88μs BMat8 008: row space basis . . . 1847μs BMat8 009: col space basis . . . 1879μs BMat8 010: row space basis . . . 24ms BMat8 011: number_of_rows, number_of_cols . . . 75μs BMat8 012: row_space, col_space . . . 432μs BMat8 013: rows . . . 71μs BMat8 014: one . . . 19μs BMat8 015: vector constructor . . . 150μs BMat8 016: operator< . . . 23μs BMat8 017: adapters . . . 36μs BMat8 018: one . . . 19μs Bipartition 009: mem fns 1 . . . 44μs Bipartition 010: hash . . . 13μs Bipartition 011: mem fns 2 . . . 35μs Bipartition 012: delete/copy . . . 15μs Bipartition 013: degree 0 . . . 17μs Bipartition 014: exceptions . . . 50μs Bipartition 015: convenience constructor . . . 339μs Bipartition 016: force copy constructor over move constructor . . . 28μs Bipartition 017: adapters . . . 14μs BitSet 000: size . . . 27μs BitSet 001: operator< . . . 16μs BitSet 002: operator== . . . 17μs BitSet 003: operator!= . . . 18μs BitSet 004: operator&= . . . 20μs BitSet 005: & . . . 24μs BitSet 006: operator|= . . . 25μs BitSet 007: operator[] . . . 24μs BitSet 008: set(none) . . . 33μs BitSet 009: set(pos, value) . . . 26μs BitSet 010: set(first, last, value) . . . 30μs BitSet 011: reset(first, last) . . . 27μs BitSet 012: reset(pos) . . . 28μs BitSet 013: apply (iterate through set bits) . . . 29μs BitSet 014: std::hash . . . 13μs BitSet 015: constructors . . . 31μs BitSet 016: max_size . . . 14μs BitSet 017: insertion operators . . . 19μs Blocks 001: empty blocks . . . 20μs Blocks 002: non-empty blocks . . . 20μs Blocks 003: left blocks of bipartition . . . 21μs Blocks 004: right blocks of bipartition . . . 29μs Blocks 005: copy [empty blocks] . . . 16μs Blocks 006: copy [non-empty blocks] . . . 19μs Blocks 007: hash value . . . 21μs Blocks 008: operator< . . . 18μs Congruence 000: left congruence on fp semigroup . . . 227μs Congruence 001: 2-sided congruence on fp semigroup . . . 725μs Congruence 002: left congruence on fp semigroup . . . 971μs Congruence 003: word_to_class_index for cong. on fp semigroup . . . 960μs Congruence 004: word_to_class_index for cong. on fp semigroup . . . 2086μs Congruence 005: trivial congruence on non-fp semigroup . . . 867μs Congruence 006: 2-sided congruence on non-fp semigroup . . . 985μs Congruence 007: 2-sided congruence on fp semigroup . . . 3167μs Congruence 008: 2-sided congruence on infinite fp semigroup . . . 911μs Congruence 009: 2-sided congruence on infinite fp semigroup . . . 843μs Congruence 010: 2-sided congruence on finite semigroup . . . 40ms Congruence 012: 2-sided congruence on finite semigroup . . . 4423μs Congruence 013: trivial 2-sided congruence on bicyclic monoid . . . 31ms Congruence 014: non-trivial 2-sided congruence on bicyclic monoid . . . 787μs Congruence 015: 2-sided congruence on free abelian monoid . . . 827μs Congruence 016: example where TC works but KB doesn't . . . 1258μs Congruence 017: 2-sided congruence on finite semigroup . . . 784μs Congruence 018: infinite fp semigroup from GAP library . . . 1059μs Congruence 019: 2-sided cong. on fp semigroup with infinite [...] . . . 826μs Congruence 020: trivial cong. on an fp semigroup . . .  -- with compute size 1039μs  -- with don't compute size 965μs Congruence 021: duplicate generators . . . 889μs Congruence 022: non-trivial classes . . . 1172μs Congruence 023: right congruence on finite semigroup . . . 522ms Congruence 024: redundant generating pairs . . . 163μs Congruence 025: 2-sided cong. on free semigroup . . . 124μs Congruence 026: is_quotient_obviously_(in)finite . . . 2394μs Congruence 027: less . . . 1076μs Congruence 028: 2-sided congruences of BMat8 semigroup . . .  Congruence 029: left congruence on finite semigroup . . . 1108μs Congruence 030: right congruence on finite semigroup . . . 937μs Congruence 031: right congruence on finite semigroup . . . 861μs Congruence 032: contains . . . 195μs Congruence 033: stellar_monoid S2 . . . 832μs Congruence 034: stellar_monoid S3 . . . 1927μs Congruence 035: stellar_monoid S4 . . . 2211μs Congruence 036: stellar_monoid S5 . . . 11ms Congruence 037: stellar_monoid S6 . . . 119ms Congruence 038: stellar_monoid S7 . . . 1347ms Congruence 039: left cong. on an f.p. semigroup . . . 2599μs Congruence 040: 2-sided cong. on infinite f.p. semigroup . . . 233μs Congruence 041: 2-sided congruence constructed from type only . . . 1607μs Congruence 042: const_contains . . . 1322μs Congruence 043: no winner . . . 9619μs Congruence 044: congruence over smalloverlap . . . 11ms CongruenceByPairs 001: (cong) 2-sided cong. on finite semigroup . . . 486μs CongruenceByPairs 002: (cong) left congruence on finite semigroup . . . 220μs CongruenceByPairs 003: (cong) right congruence on finite semigroup . . . 239μs CongruenceByPairs 004: (cong) trivial congruence on finite s [...] . . . 148μs CongruenceByPairs 005: (cong) trivial left congruence on fin [...] . . . 207μs CongruenceByPairs 006: (cong) trivial right congruence on fi [...] . . . 196μs CongruenceByPairs 007: (cong) universal congruence on finite [...] . . . 572μs CongruenceByPairs 009: (cong) 2-sided congruence on finite s [...] . . . 990ms CongruenceByPairs 010: (cong) left congruence on big finite [...] . . . 44ms CongruenceByPairs 011: (cong) left congruence on TCE . . . 380μs CongruenceByPairs 012: (cong) is_quotient_obviously_finite . . . 147μs CongruenceByPairs 013: (cong) class_index_to_word/quotient . . .  -- with right congruence 10ms  -- with left congruence 1697μs  -- with 2-sided congruence 8838μs CongruenceByPairs 014: (cong) const_word_to_class_index . . .  -- with right congruence 67μs  -- with left congruence 45μs  -- with 2-sided congruence 47μs CongruenceByPairs 015: (cong) size non-Element* . . . 42ms CongruenceInterface 000: add_pair . . .  -- with ToddCoxeter 203μs  -- with KnuthBendix 199μs  -- with CongruenceByPairs 227μs  -- with Congruence 594μs CongruenceInterface 001: contains/const_contains . . .  -- with ToddCoxeter and no parent 176μs  -- with KnuthBendix and no parent 154μs  -- with Congruence and parent 1365μs  -- with CongruenceByPairs and parent 156μs CongruenceInterface 002: less . . .  -- with ToddCoxeter 150μs  -- with KnuthBendix 204μs  -- with CongruenceByPairs 167μs  -- with Congruence 1118μs CongruenceInterface 003: is_quotient_obviously_(in)finite . . .  -- with ToddCoxeter 110μs  -- with KnuthBendix 157μs CongruenceInterface 004: is_quotient_obviously_(in)finite . . .  -- with CongruenceByPairs 181μs  -- with Congruence 534μs CongruenceInterface 005: parent_froidure_pin . . .  -- with ToddCoxeter 39μs  -- with KnuthBendix 28μs CongruenceInterface 006: parent_froidure_pin . . .  -- with CongruenceByPairs 153μs  -- with Congruence 816μs CongruenceInterface 007: cbegin/cend_ntc . . .  -- with ToddCoxeter 410μs  -- with KnuthBendix 1610μs CongruenceInterface 008: cbegin/cend_ntc . . .  -- with CongruenceByPairs 343μs  -- with Congruence 1474μs CongruenceInterface 009: quotient is immutable . . .  -- with ToddCoxeter 152μs  -- with KnuthBendix 160μs  -- with Congruence 631μs CongruenceInterface 010: no generating pairs added . . .  -- with KnuthBendix and common behaviour 9856μs  -- with Congruence and common behaviour 8568μs  -- with ToddCoxeter 128μs CongruenceInterface 011: nr generators not set . . .  -- with ToddCoxeter 159μs  -- with KnuthBendix 137μs  -- with Congruence 137μs CongruenceInterface 012: no generating pairs . . . 310μs ConstIteratorStateless 001: ? . . . 16μs ConstIteratorStateless 002: ? . . . 14μs Constants 001: Undefined . . . 30μs Constants 002: PositiveInfinity . . . 25μs Constants 003: NegativeInfinity . . . 22μs Constants 004: LimitMax . . . 21μs Duf 004: unite . . . 95μs Duf 006: compress . . . 24μs Duf 008: resize . . . 27μs Duf 009: resize . . . 18μs Duf 010: big chain . . . 30ms Duf 012: empty table . . . 19μs Duf 014: join . . . 21μs Duf 016: contains . . . 41μs Duf 018: swap . . . 44μs DynamicArray2 001: default constructor with 3 default args . . . 15μs DynamicArray2 002: default constructor with 2 default args . . . 14μs DynamicArray2 003: default constructor with 1 default args . . . 26μs DynamicArray2 004: default constructor with 0 default args . . . 16μs DynamicArray2 005: copy constructor with 1 default args . . . 16μs DynamicArray2 006: copy constructor with 0 default args . . . 21μs DynamicArray2 007: add_rows . . . 20μs DynamicArray2 008: add_rows . . . 19μs DynamicArray2 009: add_cols . . . 51μs DynamicArray2 010: set/get . . . 79μs DynamicArray2 011: append 1/2 . . . 134μs DynamicArray2 012: append 2/2 . . . 275μs DynamicArray2 013: count . . . 23μs DynamicArray2 014: clear . . . 17μs DynamicArray2 015: begin_row and end_row . . . 91μs DynamicArray2 016: cbegin_row and cend_row . . . 40μs DynamicArray2 017: iterator operator++ (postfix) . . . 405μs DynamicArray2 018: iterator operator++ (prefix) . . . 2528μs DynamicArray2 019: iterator operator-- (postfix) . . . 505μs DynamicArray2 020: iterator operator-- (prefix) . . . 530μs DynamicArray2 021: operator= . . . 23μs DynamicArray2 022: operator== and operator!= . . . 390μs DynamicArray2 023: empty and clear . . . 21μs DynamicArray2 024: max_size . . . 14μs DynamicArray2 025: swap . . . 50μs DynamicArray2 026: iterator arithmetic . . . 2183μs DynamicArray2 027: iterator comparison . . . 22μs DynamicArray2 028: iterator operator= . . . 17μs DynamicArray2 029: iterator operator[] . . . 117μs DynamicArray2 030: iterator operator-> . . . 44μs DynamicArray2 031: const_iterator operator++/-- . . . 343μs DynamicArray2 032: const_iterator operator++/-- . . . 15μs DynamicArray2 033: column iterators . . . 46μs DynamicArray2 034: column iterator arithmetic . . . 8758μs DynamicArray2 035: iterator assignment constructor . . . 2566μs DynamicArray2 036: reserve method . . . 88μs DynamicArray2 037: erase column . . . 23μs DynamicArray2 038: swap_rows . . . 19μs DynamicArray2 039: apply_row_permutation . . . 20μs DynamicArray2 040: swap . . . 17μs DynamicArray2 041: shrink_rows_to . . . 25μs DynamicArray2 042: shrink_rows_to - for range . . . 23μs FastestBMat 046: check no throw . . . 27μs FelschTree 000: previously failing example . . . 41μs Forest 001: test forest . . . 144μs FpSemigroup 001: Renner monoid type B2 (E. G. presentation), q = 1 . . . 3008μs FpSemigroup 002: Renner monoid type B2 (E. G. presentation), q = 0 . . . 1200μs FpSemigroup 003: Renner monoid type B3 (E. G. presentation), q = 1 . . . 101ms FpSemigroup 004: Renner monoid type B3 (E. G. presentation), q = 0 . . . 79ms FpSemigroup 005: Renner monoid type B2 (Gay-Hivert presentat [...] . . . 1758μs FpSemigroup 006: Renner monoid type B2 (Gay-Hivert presentat [...] . . . 1964μs FpSemigroup 007: Renner monoid type B3 (Gay-Hivert presentat [...] . . . 5352μs FpSemigroup 008: Renner monoid type B3 (Gay-Hivert presentat [...] . . . 5945μs FpSemigroup 009: Renner monoid type B4 (Gay-Hivert presentat [...] . . . 510ms FpSemigroup 010: Renner monoid type B4 (Gay-Hivert presentat [...] . . . 684ms FpSemigroup 013: Renner monoid type D2 (E. G. presentation), q = 1 . . . 2165μs FpSemigroup 014: Renner monoid type D2 (E. G. presentation), q = 0 . . . 1924μs FpSemigroup 015: Renner monoid type D3 (E. G. presentation), q = 1 . . . 8869μs FpSemigroup 016: Renner monoid type D3 (E. G. presentation), q = 0 . . . 6972μs FpSemigroup 017: Renner monoid type D4 (E. G. presentation), q = 1 . . . 797ms FpSemigroup 018: Renner monoid type D4 (E. G. presentation), q = 0 . . . 693ms FpSemigroup 019: Renner monoid type D2 (Gay-Hivert presentat [...] . . . 2017μs FpSemigroup 020: Renner monoid type D2 (Gay-Hivert presentat [...] . . . 1937μs FpSemigroup 021: Renner monoid type D3 (Gay-Hivert presentat [...] . . . 7814μs FpSemigroup 022: Renner monoid type D3 (Gay-Hivert presentat [...] . . . 7001μs FpSemigroup 023: Renner monoid type D4 (Gay-Hivert presentat [...] . . . 135ms FpSemigroup 024: Renner monoid type D4 (Gay-Hivert presentat [...] . . . 143ms FpSemigroup 029: Rook monoid R5, q = 0 . . . 8671μs FpSemigroup 030: Rook monoid R5, q = 1 . . . 8288μs FpSemigroup 031: Rook monoid R6, q = 0 . . . 99ms FpSemigroup 032: Rook monoid R6, q = 1 . . . 107ms FpSemigroup 033: normal_form . . . 439μs FpSemigroup 034: for a finite semigroup . . . 742μs FpSemigroup 035: finite fp semigroup, dihedral group of order 6 . . . 555μs FpSemigroup 036: finite fp semigroup, size 16 . . . 1173μs FpSemigroup 037: finite fp semigroup, size 16 . . . 1065μs FpSemigroup 038: fp semigroup, size 240 . . . 950μs FpSemigroup 039: add_rule . . . 844μs FpSemigroup 040: add_rule . . . 161μs FpSemigroup 041: equal_to . . . 321μs FpSemigroup 042: cbegin/cend_rules . . . 64μs FpSemigroup 043: semigroup of size 3 . . . 1262μs FpSemigroup 044: run_for/until . . . 4498μs FpSemigroup 045: constructors . . . 427μs FpSemigroup 046: set_inverses . . . 200μs FpSemigroup 047: smalloverlap . . . 11ms FpSemigroup 048: quaternion group Q8 . . . 1382μs FpSemigroup 049: symmetric group Coxeter presentation . . . 34ms FpSemigroupByPairs 029: (fpsemi) 2-sided congruence on finit [...] . . . 578μs FpSemigroupByPairs 030: (fpsemi) 2-sided congruence on finit [...] . . . 535μs FpSemigroupInterface 000: run with no alphabet . . .  -- with ToddCoxeter 105μs  -- with KnuthBendix 41μs  -- with FpSemigroup 51μs FpSemigroupInterface 001: equal_to . . .  -- with ToddCoxeter and human readable alphabet 2323μs  -- with KnuthBendix and human readable alphabet 5465μs  -- with FpSemigroup and human readable alphabet 5236μs  -- with FpSemigroupByPairs 3036μs FpSemigroupInterface 002: normal_form . . .  -- with ToddCoxeter 248μs  -- with KnuthBendix 262μs  -- with FpSemigroup 605μs FpSemigroupInterface 003: set_alphabet (1/2) . . .  -- with ToddCoxeter 134μs  -- with KnuthBendix 93μs  -- with FpSemigroup 109μs FpSemigroupInterface 004: set_alphabet (2/2) . . . 981μs FpSemigroupInterface 005: add_rule after finished . . .  -- with ToddCoxeter and human readable alphabet 190μs  -- with KnuthBendix and human readable alphabet 204μs  -- with FpSemigroup and human readable alphabet 497μs  -- with FpSemigroupByPairs 1180μs FpSemigroupInterface 006: add_rule with equal words (1/2) . . .  -- with ToddCoxeter and human readable alphabet 248μs  -- with KnuthBendix and human readable alphabet 322μs  -- with FpSemigroup and human readable alphabet 418μs  -- with FpSemigroupByPairs 238μs FpSemigroupInterface 007: add_rule with equal words (2/2) . . .  -- with ToddCoxeter 33μs  -- with KnuthBendix 28μs  -- with FpSemigroup 40μs FpSemigroupInterface 008: add_rule with word_type . . .  -- with ToddCoxeter 72μs  -- with KnuthBendix 52μs  -- with FpSemigroup 131μs FpSemigroupInterface 009: add_rule with empty word (1/2) . . .  -- with ToddCoxeter 53μs  -- with FpSemigroup 52μs FpSemigroupInterface 010: add_rule with empty word (1/2) . . . 21μs FpSemigroupInterface 011: add_rules (1/3) . . .  -- with ToddCoxeter 77μs  -- with KnuthBendix 51μs  -- with FpSemigroup 56μs FpSemigroupInterface 012: add_rules (2/3) . . . 471μs FpSemigroupInterface 013: add_rules (3/3) . . .  -- with ToddCoxeter 42μs  -- with KnuthBendix 34μs  -- with FpSemigroup 102μs FpSemigroupInterface 014: set_identity (1/3) . . .  -- with ToddCoxeter 142μs  -- with KnuthBendix 118μs  -- with FpSemigroup 198μs FpSemigroupInterface 015: set_identity (2/3) . . . 316μs FpSemigroupInterface 016: set_identity (3/3) . . .  -- with ToddCoxeter 94μs  -- with KnuthBendix 83μs  -- with FpSemigroup 162μs FpSemigroupInterface 017: identity . . .  -- with ToddCoxeter 46μs  -- with KnuthBendix 33μs  -- with FpSemigroup 40μs FpSemigroupInterface 018: set_inverses + inverses (1/2) . . .  -- with ToddCoxeter 196μs  -- with KnuthBendix 191μs  -- with FpSemigroup 305μs FpSemigroupInterface 019: set_inverses + inverses (2/2) . . . 422μs FpSemigroupInterface 020: is_obviously_infinite (1/2) . . .  -- with ToddCoxeter 250μs  -- with KnuthBendix 228μs  -- with FpSemigroup 577μs FpSemigroupInterface 021: is_obviously_infinite (2/2) . . . 57μs FpSemigroupInterface 022: is_obviously_finite (1/2) . . .  -- with ToddCoxeter 198μs  -- with KnuthBendix 197μs  -- with FpSemigroup 858μs FpSemigroupInterface 023: is_obviously_finite (2/2) . . . 46μs FpSemigroupInterface 024: to_gap_string (1/3) . . .  -- with ToddCoxeter 45μs  -- with KnuthBendix 36μs  -- with FpSemigroup 132μs FpSemigroupInterface 025: to_gap_string (2/3) . . . 27μs FpSemigroupInterface 026: to_gap_string (3/3) . . . 40μs FroidurePin 016: (BMat8) exception zero generators given . . . 28μs FroidurePin 017: (BMat8) exception word_to_element . . . 101μs FroidurePin 018: (BMat8) exception prefix . . . 2758μs FroidurePin 019: (BMat8) exception suffix . . . 37μs FroidurePin 020: (BMat8) exception first_letter . . . 2829μs FroidurePin 021: (BMat8) exception final_letter . . . 35μs FroidurePin 022: (BMat8) exception current_length . . . 2834μs FroidurePin 023: (BMat8) exception product_by_reduction . . . 2692μs FroidurePin 024: (BMat8) exception fast_product . . . 2704μs FroidurePin 025: (BMat8) exception is_idempotent . . .  FroidurePin 026: (BMat8) copy constructor . . .  -- with fully enumerated   -- with partially enumerated   -- with not enumerated  FroidurePin 027: (BMat8) cbegin/end_rules . . . 121μs FroidurePin 031: (integers) . . . 230μs FroidurePin 039: (pairs of integers) non-trivial user type . . . 45μs FroidurePin 055: (tropical max-plus semiring matrices) . . . 396μs FroidurePin 061: projective max plus matrix . . . 1585μs FroidurePin 062: projective max plus matrix . . . 48μs FroidurePin> 009: small example 2 . . . 59μs FroidurePin> 005: small example 1 . . . 176μs FroidurePin> 007: regular bmat monoid 4 . . . 125ms FroidurePin> 011: small example 3 . . . 793μs FroidurePin> 006: small example 1 . . . 244μs FroidurePin> 008: regular bmat monoid 4 . . . 164ms FroidurePin> 010: small example 2 . . . 72μs FroidurePin> 012: small example 3 . . . 1012μs FroidurePin 000: small example 1 . . . 255μs FroidurePin 001: default constructed . . . 204μs FroidurePin 002: small example 2 . . . 83μs FroidurePin 004: exception: is_idempotent . . . 246μs FroidurePin> 033: Example 000 . . . 4522μs FroidurePin> 035: Example 001 . . . 72μs FroidurePin> 032: Example 000 . . . 2406μs FroidurePin> 034: Example 001 . . . 80μs FroidurePin 036: exception: current_position . . . 179μs FroidurePin 037: exception: word_to_element . . . 95μs FroidurePin 038: exception: prefix, suffix, first_letter . . . 36ms FroidurePin> 040: Example 000 . . . 117μs FroidurePin> 041: Example 000 . . . 90μs FroidurePin> 046: Example 005 . . . 285μs FroidurePin> 047: Example 005 . . . 296μs FroidurePin> 048: Example 005 . . . 263μs FroidurePin> 044: Example 004 . . . 40μs FroidurePin> 045: Example 004 . . . 46μs FroidurePin> 049: Example 006 . . . 1479μs FroidurePin> 050: Example 006 . . . 1783μs FroidurePin> 051: Example 006 . . . 1772μs FroidurePin> 052: Example 007 . . . 180μs FroidurePin> 053: Example 007 . . . 203μs FroidurePin> 054: Example 007 . . . 206μs FroidurePin 056: example 1 . . . 290μs FroidurePin 057: example 2 . . . 246μs FroidurePin> 058: . . . 926μs FroidurePin> 059: . . . 69μs FroidurePin> 060: exceptions: add_generator(s) . . . 85μs FroidurePin> 065: no exception zero generators given . . . 22μs FroidurePin> 066: exception generators of different [...] . . . 78μs FroidurePin> 067: exception current_position . . . 63μs FroidurePin> 068: exception word_to_element . . . 59μs FroidurePin> 069: exception gens . . . 741μs FroidurePin> 070: exception prefix . . . 39ms FroidurePin> 071: exception suffix . . . 101ms FroidurePin> 072: exception first_letter . . . 119μs FroidurePin> 073: exception final_letter . . . 82μs FroidurePin> 074: exception current_length . . . 68μs FroidurePin> 075: exception product_by_reduction . . . 665μs FroidurePin> 076: exception fast_product . . . 673μs FroidurePin> 077: exception current_position . . . 799μs FroidurePin> 078: exception is_idempotent . . . 912μs FroidurePin> 079: exception add_generators . . . 66μs FroidurePin> 080: multithread number_of_idempotents . . . 813μs FroidurePin> 081: small semigroup . . . 41μs FroidurePin> 082: large semigroup . . . 10ms FroidurePin> 083: at, position, current_* . . . 10ms FroidurePin> 084: run . . . 9701μs FroidurePin> 085: run [many stops and starts] . . . 9834μs FroidurePin> 086: factorisation, length [1 element] . . . 9921μs FroidurePin> 087: factorisation, products [all elements] . . . 13ms FroidurePin> 088: first/final letter, prefix, suffi [...] . . . 9952μs FroidurePin> 089: current_position [standard] . . . 53μs FroidurePin> 090: current_position [duplicate gens] . . . 20ms FroidurePin> 091: current_position [after add_generators] . . . 12ms FroidurePin> 092: cbegin_idempotents/cend [1 thread] . . . 11ms FroidurePin> 093: idempotent_cend/cbegin [1 thread] . . . 11ms FroidurePin> 094: is_idempotent [1 thread] . . . 10ms FroidurePin> 096: finished, started . . . 9930μs FroidurePin> 097: current_position . . . 2115μs FroidurePin> 098: sorted_position, sorted_at . . . 12ms FroidurePin> 099: right/left Cayley graph . . . 54ms FroidurePin> 100: iterator . . . 16ms FroidurePin> 101: reverse iterator . . . 16ms FroidurePin> 102: iterator arithmetic . . . 52ms FroidurePin> 103: iterator sorted . . . 42ms FroidurePin> 104: iterator sorted arithmetic . . . 56ms FroidurePin> 105: copy [not enumerated] . . . 10ms FroidurePin> 106: copy_closure [not enumerated] . . . 69ms FroidurePin> 107: copy_add_generators [not enumerated] . . . 64ms FroidurePin> 108: copy [partly enumerated] . . . 11ms FroidurePin> 109: copy_closure [partly enumerated] . . . 18ms FroidurePin> 110: copy_add_generators [partly enumerated] . . . 10ms FroidurePin> 111: copy [fully enumerated] . . . 15ms FroidurePin> 112: copy_closure [fully enumerated] . . . 18ms FroidurePin> 113: copy_add_generators [fully enumerated] . . . 16ms FroidurePin> 114: relations [duplicate gens] . . . 290μs FroidurePin> 115: relations . . . 14ms FroidurePin> 116: relations [copy_closure, duplicat [...] . . . 19ms FroidurePin> 117: relations [copy_add_generators, d [...] . . . 20ms FroidurePin> 118: relations [from copy, not enumerated] . . . 12ms FroidurePin> 119: relations [from copy, partly enum [...] . . . 21ms FroidurePin> 120: relations [from copy, fully enumerated] . . . 22ms FroidurePin> 121: relations [from copy_closure, not [...] . . . 21ms FroidurePin> 122: relations [from copy_add_generato [...] . . . 12ms FroidurePin> 123: relations [from copy_closure, par [...] . . . 19ms FroidurePin> 124: relations [from copy_add_generato [...] . . . 15ms FroidurePin> 125: relations [from copy_closure, ful [...] . . . 23ms FroidurePin> 126: relations [from copy_add_generato [...] . . . 21ms FroidurePin> 127: add_generators [duplicate generators] . . . 515μs FroidurePin> 128: add_generators [incremental 1] . . . 584μs FroidurePin> 129: add_generators [incremental 2] . . . 682μs FroidurePin> 130: closure [duplicate generators] . . . 339μs FroidurePin> 131: closure . . . 140μs FroidurePin> 132: factorisation . . . 39μs FroidurePin> 134: minimal_factorisation . . . 85μs FroidurePin> 135: batch_size (for an extremely larg [...] . . . 32μs FroidurePin> 137: exception: generators of differen [...] . . . 42μs FroidurePin> 138: exception: current_position . . . 64μs FroidurePin> 139: exception: word_to_element . . . 77μs FroidurePin> 140: exception: gens, current_position . . . 1046μs FroidurePin> 141: exception: add_generators . . . 49μs KBE 000: constructors . . . 64μs KBE 001: test . . . 96μs KBE 002: factorisation . . . 68μs KBE 003: swap . . . 45μs KBE 004: adapters . . . 46μs KBE 005: conversions . . . 42μs Kambites 000: (fpsemi) MT test 4 (std::string) . . . 11ms Kambites 001: (fpsemi) MT test 4 (MultiStringView) . . . 12ms Kambites 002: (fpsemi) number_of_pieces (std::string) . . . 202μs Kambites 003: (fpsemi) number_of_pieces (MultiStringView) . . . 169μs Kambites 004: (fpsemi) small_overlap_class (std::string) . . . 5993μs Kambites 005: (fpsemi) small_overlap_class (MultiStringView) . . . 5935μs Kambites 006: (fpsemi) random (std::string) . . . 17ms Kambites 007: (fpsemi) random (MultiStringView) . . . 17ms Kambites 008: (fpsemi) KnuthBendix 055 (std::string) . . . 27ms Kambites 009: (fpsemi) KnuthBendix 055 (MultiStringView) . . . 33ms Kambites 010: (fpsemi) smalloverlap/gap/test.gi:85 (std::string) . . . 154μs Kambites 011: (fpsemi) smalloverlap/gap/test.gi:85 (MultiStr [...] . . . 122μs Kambites 012: (fpsemi) free semigroup . . . 22μs Kambites 013: (fpsemi) smalloverlap/gap/test.gi:49 (std::string) . . . 62ms Kambites 014: (fpsemi) smalloverlap/gap/test.gi:49 (MultiStr [...] . . . 87ms Kambites 015: (fpsemi) smalloverlap/gap/test.gi:63 (std::string) . . . 67ms Kambites 016: (fpsemi) smalloverlap/gap/test.gi:63 (MultiStr [...] . . . 99ms Kambites 017: (fpsemi) smalloverlap/gap/test.gi:70 (std::string) . . . 248ms Kambites 018: (fpsemi) smalloverlap/gap/test.gi:70 (MultiStr [...] . . . 363ms Kambites 021: (fpsemi) code coverage (std::string) . . . 99μs Kambites 022: (fpsemi) code coverage (MultiStringView) . . . 72μs Kambites 023: (fpsemi) prefix (std::string) . . . 114μs Kambites 024: (fpsemi) prefix (MultiStringView) . . . 188μs Kambites 025: (fpsemi) normal_form (Example 3.15) (std::string) . . . 117μs Kambites 026: (fpsemi) normal_form (Example 3.15) (MultiStri [...] . . . 414μs Kambites 027: (fpsemi) normal_form (Example 3.16) (std::string) . . . 86μs Kambites 028: (fpsemi) normal_form (Example 3.16) (MultiStri [...] . . . 125μs Kambites 029: (fpsemi) normal_form (Example 3.16) more exhau [...] . . . 153ms Kambites 030: (fpsemi) normal_form (Example 3.16) more exhau [...] . . . 168ms Kambites 031: (fpsemi) small presentation (std::string) . . . 128μs Kambites 032: (fpsemi) small presentation (MultiStringView) . . . 77μs Kambites 033: (fpsemi) non-smalloverlap (std::string) . . . 115μs Kambites 034: (fpsemi) non-smalloverlap (MultiStringView) . . . 105μs Kambites 035: (fpsemi) MT test 3 (std::string) . . . 90μs Kambites 036: (fpsemi) MT test 3 (MultiStringView) . . . 86μs Kambites 037: (fpsemi) MT test 5 (std::string) . . . 54μs Kambites 038: (fpsemi) MT test 5 (MultiStringView) . . . 61μs Kambites 039: (fpsemi) MT test 6 (std::string) . . . 74μs Kambites 040: (fpsemi) MT test 6 (MultiStringView) . . . 87μs Kambites 041: (fpsemi) MT test 10 (std::string) . . . 62μs Kambites 042: (fpsemi) MT test 10 (MultiStringView) . . . 77μs Kambites 043: (fpsemi) MT test 13 (std::string) . . . 43μs Kambites 044: (fpsemi) MT test 13 (MultiStringView) . . . 46μs Kambites 045: (fpsemi) MT test 14 (std::string) . . . 39μs Kambites 046: (fpsemi) MT test 14 (MultiStringView) . . . 43μs Kambites 047: (fpsemi) MT test 15 (std::string) . . . 89μs Kambites 048: (fpsemi) MT test 15 (MultiStringView) . . . 87μs Kambites 049: (fpsemi) MT test 16 (std::string) . . . 81μs Kambites 050: (fpsemi) MT test 16 (MultiStringView) . . . 98μs Kambites 051: (fpsemi) MT test 17 (std::string) . . . 192μs Kambites 052: (fpsemi) MT test 17 (MultiStringView) . . . 182μs Kambites 053: (fpsemi) weak C(4) not strong x 1 (std::string) . . . 975μs Kambites 054: (fpsemi) weak C(4) not strong x 1 (MultiStringView) . . . 1364μs Kambites 055: (fpsemi) weak C(4) not strong x 2 (std::string) . . . 971μs Kambites 056: (fpsemi) weak C(4) not strong x 2 (MultiStringView) . . . 1439μs Kambites 057: (fpsemi) weak C(4) not strong x 3 (std::string) . . . 935μs Kambites 058: (fpsemi) weak C(4) not strong x 3 (MultiStringView) . . . 964μs Kambites 059: (fpsemi) weak C(4) not strong x 4 (std::string) . . . 124μs Kambites 060: (fpsemi) weak C(4) not strong x 4 (MultiStringView) . . . 167μs Kambites 061: (fpsemi) weak C(4) not strong x 5 (std::string) . . . 41μs Kambites 062: (fpsemi) weak C(4) not strong x 5 (MultiStringView) . . . 38μs Kambites 063: (fpsemi) weak C(4) not strong x 6 (std::string) . . . 85μs Kambites 064: (fpsemi) weak C(4) not strong x 6 (MultiStringView) . . . 90μs Kambites 065: (fpsemi) Konovalov example (std::string) . . . 72μs Kambites 066: (fpsemi) Konovalov example (MultiStringView) . . . 56μs Kambites 067: (fpsemi) long words (std::string) . . . 928ms Kambites 068: (fpsemi) long words (MultiStringView) . . . 96ms Kambites 075: (cong) example 1 . . . 84μs Kambites 076: (cong) example 2 . . . 236μs Kambites 077: (cong) code coverage . . . 10ms Kambites 078: (cong) large number of rules . . . 438ms KnuthBendix 000: (fpsemi) confluent fp semigroup 1 (infinite) . . . 182μs KnuthBendix 001: (fpsemi) confluent fp semigroup 2 (infinite) . . . 188μs KnuthBendix 002: (fpsemi) confluent fp semigroup 3 (infinite) . . . 134μs KnuthBendix 003: (fpsemi) non-confluent fp semigroup from wi [...] . . . 220μs KnuthBendix 004: (fpsemi) Example 5.1 in Sims (infinite) . . . 233μs KnuthBendix 005: (fpsemi) Example 5.1 in Sims (infinite) . . . 209μs KnuthBendix 006: (fpsemi) Example 5.3 in Sims . . . 148μs KnuthBendix 007: (fpsemi) Example 5.4 in Sims . . . 163μs KnuthBendix 008: (fpsemi) Example 6.4 in Sims (size 168) . . . 11ms KnuthBendix 009: (fpsemi) . . . 75ms KnuthBendix 010: (fpsemi) SL(2, 7) from Chapter 3, Propositi [...] . . . 103ms KnuthBendix 011: (fpsemi) F(2, 5) - Chapter 9, Section 1 in [...] . . . 581μs KnuthBendix 012: (fpsemi) Reinis example 1 . . . 317μs KnuthBendix 013: redundant_rule (std::string) . . . 100ms KnuthBendix 014: redundant_rule (word_type) . . . 10ms KnuthBendix 019: (fpsemi) C(4) monoid . . . 55μs KnuthBendix 020: (cong) Chinese monoid . . . 214μs KnuthBendix 021: (from kbmag/standalone/kb_data/f25monoid) . . . 691μs KnuthBendix 022: (from kbmag/standalone/kb_data/degen4a) . . . 62ms KnuthBendix 023: (from kbmag/standalone/kb_data/torus) . . . 4521μs KnuthBendix 024: (from kbmag/standalone/kb_data/3a6) . . . 323ms KnuthBendix 025: (from kbmag/standalone/kb_data/f2) . . . 158μs KnuthBendix 026: (from kbmag/standalone/kb_data/s16) . . . 83ms KnuthBendix 027: (from kbmag/standalone/kb_data/a4monoid) . . . 106μs KnuthBendix 028: (from kbmag/standalone/kb_data/degen3) . . . 34μs KnuthBendix 029: (from kbmag/standalone/kb_data/ab1) . . . 41μs KnuthBendix 030: (from kbmag/standalone/kb_data/degen2) . . . 28μs KnuthBendix 031: (from kbmag/standalone/kb_data/f25) . . . 579μs KnuthBendix 032: (from kbmag/standalone/kb_data/237) . . . 781μs KnuthBendix 033: (from kbmag/standalone/kb_data/c2) . . . 26μs KnuthBendix 034: (from kbmag/standalone/kb_data/cosets) . . . 307μs KnuthBendix 035: Example 5.1 in Sims (KnuthBendix 09 again) . . . 81μs KnuthBendix 036: (from kbmag/standalone/kb_data/nilp2) . . . 63μs KnuthBendix 037: Example 6.4 in Sims . . . 17ms KnuthBendix 038: KnuthBendix 071 again . . . 945μs KnuthBendix 039: Example 5.4 in Sims (KnuthBendix 11 again) [...] . . . 250μs KnuthBendix 040: Example 5.4 in Sims (KnuthBendix 11 again) [...] . . . 180μs KnuthBendix 041: operator<< . . . 74μs KnuthBendix 042: confluence_interval . . . 23μs KnuthBendix 043: max_overlap . . . 22μs KnuthBendix 044: (fpsemi) (from kbmag/standalone/kb_data/d22 [...] . . . 1553μs KnuthBendix 045: (fpsemi) (from kbmag/standalone/kb_data/d22 [...] . . . 3001μs KnuthBendix 046: (fpsemi) small example . . . 938μs KnuthBendix 047: code coverage . . . 96μs KnuthBendix 048: small overlap 1 . . . 84μs KnuthBendix 049: (from kbmag/standalone/kb_data/s9) . . . 1951μs KnuthBendix 050: (fpsemi) Chapter 11, Lemma 1.8 (q = 6, r = [...] . . . 881μs KnuthBendix 051: (fpsemi) Chapter 11, Section 2 (q = 6, r = [...] . . . 166μs KnuthBendix 052: (fpsemi) Chapter 8, Theorem 4.2 in NR (infinite) . . . 284μs KnuthBendix 053: (fpsemi) equal_to fp semigroup . . . 94μs KnuthBendix 054: (fpsemi) equal_to free semigroup . . . 67μs KnuthBendix 055: (fpsemi) from GAP smalloverlap gap/test.gi [...] . . . 618μs KnuthBendix 056: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 994μs KnuthBendix 057: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 985μs KnuthBendix 058: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 2794μs KnuthBendix 059: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 7061μs KnuthBendix 060: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 70μs KnuthBendix 061: (fpsemi) Von Dyck (2,3,7) group (infinite) . . . 728μs KnuthBendix 062: (fpsemi) Von Dyck (2,3,7) group - different [...] . . . 5628μs KnuthBendix 063: (fpsemi) rewriting system from KnuthBendixC [...] . . . 567μs KnuthBendix 064: (fpsemi) rewriting system from Congruence 20 . . . 43μs KnuthBendix 065: (fpsemi) (from kbmag/standalone/kb_data/ab2) . . . 127μs KnuthBendix 066: (fpsemi) (from kbmag/standalone/kb_data/d22 [...] . . . 1678μs KnuthBendix 067: (fpsemi) (from kbmag/standalone/kb_data/degen1) . . . 89μs KnuthBendix 068: (fpsemi) (from kbmag/standalone/kb_data/s4) . . . 445μs KnuthBendix 069: (fpsemi) fp semigroup (infinite) . . . 91μs KnuthBendix 070: (fpsemi) Chapter 11, Section 1 (q = 4, r = [...] . . . 2295μs KnuthBendix 071: (fpsemi) Chapter 11, Section 1 (q = 8, r = [...] . . . 130ms KnuthBendix 072: (fpsemi) Chapter 7, Theorem 3.9 in NR (size 240) . . . 4393μs KnuthBendix 073: (fpsemi) F(2, 5) - Chapter 9, Section 1 in [...] . . . 601μs KnuthBendix 074: (fpsemi) F(2, 6) - Chapter 9, Section 1 in NR . . . 600μs KnuthBendix 075: (fpsemi) Chapter 10, Section 4 in NR (infinite) . . . 1124μs KnuthBendix 076: (fpsemi) Sym(5) from Chapter 3, Proposition [...] . . . 3833μs KnuthBendix 077: (fpsemi) SL(2, 7) from Chapter 3, Propositi [...] . . . 102ms KnuthBendix 078: (fpsemi) bicyclic monoid (infinite) . . . 89μs KnuthBendix 079: (fpsemi) plactic monoid of degree 2 (infinite) . . . 106μs KnuthBendix 080: (fpsemi) example before Chapter 7, Proposit [...] . . . 64μs KnuthBendix 081: (fpsemi) Chapter 7, Theorem 3.6 in NR (size 243) . . . 1039μs KnuthBendix 082: (fpsemi) finite semigroup (size 99) . . . 338μs KnuthBendix 096: Sorouhesh . . . 542μs KnuthBendix 097: (fpsemi) transformation semigroup (size 4) . . . 107μs KnuthBendix 098: (fpsemi) transformation semigroup (size 9) . . . 77μs KnuthBendix 099: (fpsemi) transformation semigroup (size 88) . . . 1003μs KnuthBendix 100: internal_string_to_word . . . 54μs KnuthBendix 101: (fpsemi) construct from shared_ptr . . . 961μs KnuthBendix 102: internal_string_to_word . . . 994μs KnuthBendix 103: (cong) free semigroup congruence (5 classes) . . . 109μs KnuthBendix 104: free semigroup congruence (6 classes) . . . 375μs KnuthBendix 105: (cong) free semigroup congruence (16 classes) . . . 429μs KnuthBendix 106: (cong) free semigroup congruence (6 classes) . . . 607μs KnuthBendix 107: (cong) free semigroup congruence (240 classes) . . . 4295μs KnuthBendix 108: (cong) free semigroup congruence (240 classes) . . . 4290μs KnuthBendix 109: (cong) less . . . 5329μs KnuthBendix 110: (cong) less . . . 239ms KnuthBendix 111: (cong) constructors . . . 339ms KnuthBendix 112: (cong) const_contains/contains . . . 286μs KnuthBendix 113: (cong) is_quotient_obviously_finite . . . 31μs KnuthBendix 114: (cong) class_index_to_word . . . 303μs KnuthBendix 115: (cong) quotient_froidure_pin . . . 204μs KnuthBendix 116: (cong) set_number_of_generators . . . 50μs KnuthBendix 117: (cong) number of classes when obv-inf . . . 85μs KnuthBendixCongruenceByPairs 016: non-trivial congruence on [...] . . . 275μs KnuthBendixCongruenceByPairs 017: non-trivial congruence on [...] . . . 287μs KnuthBendixCongruenceByPairs 018: non-trivial congruence on [...] . . . 419μs KnuthBendixCongruenceByPairs 019: non-trivial congruence on [...] . . . 428μs KnuthBendixCongruenceByPairs 020: trivial congruence on a fi [...] . . . 285μs KnuthBendixCongruenceByPairs 021: universal congruence on a [...] . . . 815μs KnuthBendixCongruenceByPairs 022: left congruence on a finit [...] . . . 403μs KnuthBendixCongruenceByPairs 023: finite group, Chapter 11, [...] . . . 5928μs KnuthBendixCongruenceByPairs 024: right congruence on infini [...] . . . 410μs KnuthBendixCongruenceByPairs 025: finite fp semigroup, dihed [...] . . . 455μs KnuthBendixCongruenceByPairs 026: finite fp semigroup, size 16 . . . 488μs KnuthBendixCongruenceByPairs 027: finite fp semigroup, size 16 . . . 1346μs KnuthBendixCongruenceByPairs 028: infinite fp semigroup with [...] . . . 103μs Konieczny 000: test000> . . . 2030μs Konieczny 001: test000> . . . 1123μs Konieczny 002: test001> . . . 19ms Konieczny 003: test001> . . . 13ms Konieczny 006: exceptions . . . 86μs Konieczny 007: code coverage . . . 25ms Konieczny 008: code coverage . . . 16ms Konieczny 009: regular elements and idempotents . . .  Konieczny 010: regular D-class 01 . . . 2429μs Konieczny 011: regular D-class 02 . . . 37ms Konieczny 012: regular D-class 04: contains . . . 2773ms Konieczny 013: non-regular D-classes 01 . . . 2516μs Konieczny 014: RegularDClass . . . 1536μs Konieczny 015: full bmat monoid 4 . . . 380ms Konieczny 017: regular generated bmat monoid 4 idempotents . . . 309ms Konieczny 019: my favourite example . . . 190ms Konieczny 020: another large example . . . 38ms Konieczny 021: my favourite example transposed . . . 293ms Konieczny 024: exceptions . . . 2551μs Konieczny 025: 0-parameter constructor . . . 45ms Konieczny 026: non-regular D-classes 02 . . . 39ms Konieczny 028: partial perm . . . 265ms Konieczny 029: symmetric inverse monoid n = 8 . . . 46ms Konieczny 030: exceptions . . . 345ms Konieczny 031: transformations . . . 1352μs Konieczny 032: transformations - JDM favourite example . . . 178ms Konieczny 033: transformations - large example . . . 489ms Konieczny 034: transformations - large example with stop . . . 483ms Konieczny 035: transformations - large example with run_until . . . 481ms Konieczny 036: transformations - large example with stop in Action . . . 480ms Konieczny 037: exceptions . . . 85μs Konieczny 038: transformations: contains . . . 899μs Konieczny 040: transformations - destructor coverage . . . 375ms Konieczny 041: current_number_D_classes . . . 377ms Konieczny 042: add_generator . . . 59μs Konieczny 043: add_generator . . . 33μs Matrix 000: BMat<2> . . . 155μs Matrix 001: BMat<> . . . 109μs Matrix 002: BMat<3> + BMat<> . . . 17μs Matrix 003: BMat<2> + BMat<> . . . 17μs Matrix 004: BMat<3> . . . 18μs Matrix 005: BMat<> . . . 22μs Matrix 006: BMat<3> row_basis . . . 50μs Matrix 007: BMat<> row_basis . . . 56μs Matrix 008: IntMat<3> . . . 21μs Matrix 009: IntMat<> . . . 27μs Matrix 010: IntMat code cov . . . 15μs Matrix 011: MaxPlusMat<3> . . . 20μs Matrix 012: MaxPlusMat<> . . . 22μs Matrix 013: MaxPlusMat code cov . . . 13μs Matrix 014: MinPlusMat<3> . . . 24μs Matrix 015: MinPlusMat<> . . . 27μs Matrix 016: MinPlusMat code cov . . . 13μs Matrix 017: MaxPlusTruncMat<5, 2> . . . 22μs Matrix 018: MaxPlusTruncMat<5> . . . 25μs Matrix 019: MaxPlusTruncMat<> . . . 48μs Matrix 020: MaxPlusTruncMat<5, 4> . . . 25μs Matrix 021: MaxPlusTruncMat<5> . . . 29μs Matrix 022: MaxPlusTruncMat<> . . . 28μs Matrix 023: MaxPlusTruncMat<33, 3> . . . 45μs Matrix 024: MaxPlusTruncMat<33> . . . 42μs Matrix 025: MaxPlusTruncMat<> . . . 41μs Matrix 026: MaxPlusMat code cov . . . 14μs Matrix 027: MinPlusTruncMat<33, 3> . . . 44μs Matrix 028: MinPlusTruncMat<33> . . . 46μs Matrix 029: MinPlusTruncMat<> . . . 56μs Matrix 030: NTPMat<0, 3, 3, 3> . . . 22μs Matrix 031: NTPMat<0, 3> . . . 25μs Matrix 032: NTPMat<> . . . 48μs Matrix 033: NTPMat<0, 10, 4, 4> . . . 34μs Matrix 034: NTPMat<0, 10> . . . 29μs Matrix 035: NTPMat<> . . . 28μs Matrix 036: NTPMat<0, 10, 4, 4> . . . 27μs Matrix 037: NTPMat<0, 10> . . . 26μs Matrix 038: NTPMat<> . . . 25μs Matrix 039: NTPMat<33, 2, 3, 3> . . . 22μs Matrix 040: NTPMat<33, 2> . . . 21μs Matrix 041: NTPMat<> . . . 22μs Matrix 042: ProjMaxPlusMat<3> . . . 152μs Matrix 043: ProjMaxPlusMat<> . . . 92μs Matrix 044: exceptions . . . 51μs Matrix 045: code coverage . . . 53μs MultiStringView 000: catch all . . . 56μs MultiStringView 001: is_prefix . . . 21μs MultiStringView 002: erase . . . 23μs MultiStringView 003: iterators . . . 17μs MultiStringView 004: constructors (long) . . . 32μs MultiStringView 005: constructors (short) . . . 26μs MultiStringView 006: copy assignment (short assigned to long) . . . 20μs MultiStringView 007: copy assignment (short assigned to short) . . . 19μs MultiStringView 008: move assignment (short assigned to long) . . . 19μs MultiStringView 009: move assignment (short assigned to short) . . . 19μs MultiStringView 010: code coverage . . . 29μs MultiStringView 011: pop_front . . . 61μs MultiStringView 012: append . . . 21μs MultiStringView 013: operators . . . 21μs MultiStringView 014: maximum_common_suffix . . . 20μs MultiStringView 015: deep tests . . . 15μs ObviouslyInfinite 011: Multiple rule additions . . . 60μs ObviouslyInfinite 012: A power of the generator 'b' does not [...] . . . 17μs ObviouslyInfinite 013: Preserves the number of occurrences o [...] . . . 17μs ObviouslyInfinite 014: Less relations than generators . . . 17μs ObviouslyInfinite 015: Relations preserve length . . . 18μs ObviouslyInfinite 016: Matrix has non empty kernel . . . 20μs ObviouslyInfinite 017: Free product of trivial semigroups . . . 16μs ObviouslyInfinite 018: Another free product . . . 19μs ObviouslyInfinite 019: Infinite but not obviously so . . . 18μs ObviouslyInfinite 020: Finite semigroup . . . 22μs PBR 001: universal product with convenience constructor . . . 56μs PBR 002: universal product . . . 25μs PBR 003: product [bigger than previous] . . . 36μs PBR 004: hash . . . 15μs PBR 005: delete/copy . . . 25μs PBR 006: exceptions . . . 184μs PBR 007: operators . . . 86μs PBR 008: to_string . . . 29μs PBR 009: identity . . . 61μs PBR 010: adapters . . . 14μs Pool 000: initial . . . 38μs Pool 001: bmat . . . 33μs Pool 002: PoolGuard . . . 28μs Pool 003: transformation products . . . 19μs Presentation 000: vectors of ints . . . 103μs Presentation 001: strings . . . 90μs Presentation 002: constructors (word_type) . . . 29μs Presentation 003: constructors (StaticVector1) . . . 40μs Presentation 004: constructors (std::string) . . . 31μs Presentation 005: alphabet + letters (word_type) . . . 148μs Presentation 006: alphabet + letters (std::string) . . . 49μs Presentation 007: contains_empty_word . . . 16μs Presentation 008: validate_rules throws . . . 57μs Presentation 009: helpers add_rule(s) . . . 122μs Presentation 010: helpers add_rule(s) (std::string) . . . 44μs Presentation 011: helpers add_identity_rules (std::vector/St [...] . . . 83μs Presentation 012: helpers add_identity_rules (std::string) . . . 56μs Presentation 013: helpers add_inverse_rules (all) . . . 316μs Presentation 014: helpers add_inverse_rules (std::string) . . . 56μs Presentation 015: helpers remove_duplicate_rules . . . 87μs Presentation 016: helpers reduce_complements . . . 207μs Presentation 017: helpers sort_each_rule . . . 75μs Presentation 018: helpers sort_rules . . . 77μs Presentation 019: helpers longest_common_subword/replace_subword . . . 383μs Presentation 020: helpers redundant_rule . . . 9058μs Presentation 021: helpers shortlex_compare_concat . . . 19μs Presentation 022: helpers remove_trivial_rules . . . 133μs Presentation 023: helpers replace_subword (existing, replacement) . . . 144μs Presentation 024: helpers longest_rule . . . 142μs Presentation 025: helpers longest_rule_length . . . 123μs Presentation 026: helpers remove_redundant_generators . . . 177μs Presentation 027: helpers reverse . . . 29μs Presentation 028: in_alphabet . . . 33μs Presentation 029: replace_subword with empty word . . . 29μs Presentation 030: helpers replace_word . . . 40μs Presentation 031: clear . . . 17μs Presentation 032: letter . . . 60μs Presentation 033: normalize_alphabet . . . 22μs Presentation 034: longest_common_subword issue . . . 454μs Presentation 035: helpers add_zero_rules (std::vector/Static [...] . . . 64μs Presentation 036: helpers add_zero_rules (std::string) . . . 38μs Presentation 037: make_semigroup . . . 68μs Presentation 038: greedy_reduce_length . . . 284μs Presentation 039: aaaaaaaab = aaaaaaaaab strong compression . . . 64μs Presentation 040: change_alphabet . . . 101μs Presentation 041: sort_rules bug . . . 337μs Presentation 042: first_unused_letter/letter . . . 259μs Presentation 043: case where strong compression doesn't work . . . 42μs Presentation 044: proof that . . . 64μs Presentation 045: decompression . . . 27μs Race 001: run_for . . . 10ms Race 002: run_until . . . 10ms Race 003: exceptions . . . 10ms Race 004: iterators . . . 21μs Race 005: find_runner . . . 18μs Race 006: run_func . . . 25ms Race 007: run_func . . . 10ms Race 008: run_func . . . 10ms Runner 000: run_for . . . 10ms Runner 001: run_for . . . 1021μs Runner 002: run_for . . . 191ms Runner 003: run_for . . . 25ms Runner 004: started . . . 1044μs Runner 005: run_until . . . 7578μs Runner 006: kill . . . 18μs Runner 007: copy constructor . . . 10ms Runner 008: report . . . 20ms Runner 009: run_until with function pointer . . . 27μs SchreierSims 001: trivial perm. group (degree 1) . . . 29μs SchreierSims 002: trivial perm. group (degree 2) . . . 27μs SchreierSims 003: trivial perm. group (degree 500) . . . 190μs SchreierSims 004: symmetric perm. group (degree 5) . . . 33μs SchreierSims 005: symmetric perm. group (degree 8) . . . 43μs SchreierSims 006: symmetric perm. group (degree 9) . . . 57μs SchreierSims 007: alternating perm. group (degree 12) . . . 89μs SchreierSims 008: symmetric perm. group (degree 16) . . . 753μs SchreierSims 009: alternating perm. group (degree 15) . . . 386μs SchreierSims 010: alternating perm. group (degree 16) . . . 844μs SchreierSims 011: dihedral perm. group (order 10) . . . 21μs SchreierSims 012: dihedral perm. group (order 200) . . . 1327μs SchreierSims 013: perm. group T (order 12) . . . 23μs SchreierSims 014: quaternion perm. group (order 8) . . . 27μs SchreierSims 015: perm. group (order 84129611558952960) . . . 300ms SchreierSims 016: perm. group SL(3, 5) (order 372000) . . . 1469μs SchreierSims 017: perm. group PSL(4, 8) (order 34558531338240) . . . 126ms SchreierSims 018: perm. Mathieu group M11 (order 7920) . . . 111μs SchreierSims 019: perm. Mathieu group M24 (order 244823040) . . . 247μs SchreierSims 020: perm. Janko Group J1 (order 175560) . . . 3492μs SchreierSims 021: perm. Hall-Janko group (order 604800) . . . 506μs SchreierSims 022: perm. Hall-Janko group (alt.) (order 604800) . . . 30ms SchreierSims 023: perm. Conway group Co3 (order 495766656000) . . . 9835μs SchreierSims 024: perm. Conway group Co3 (alt.) (order 49576 [...] . . . 20ms SchreierSims 025: perm. Suzuki group (order 448345497600) . . . 110ms SchreierSims 027: perm. Held group (order 4030387200) . . . 191ms SchreierSims 028: perm. group C2 x C2 x C2 (order 8) . . . 41μs SchreierSims 029: perm. group C2 x C2 x C2 x C2 (order 16) . . . 46μs SchreierSims 030: perm. group (S5 x S5) : C2 (order 28800) . . . 95μs SchreierSims 031: perm. group C3 x D8 x A5 (order 1440) . . . 96μs SchreierSims 032: perm. group GL(4, 3) (order 24261120) . . . 875μs SchreierSims 033: perm. group PSL(3, 7) (order 1876896) . . . 1200μs SchreierSims 037: symmetric perm. group (degree 5) . . . 41μs SchreierSims 038: alternating perm. group (degree 17) . . . 4051μs SchreierSims 039: exceptions . . . 138μs SchreierSims 040: exceptions . . . 66μs SchreierSims 041: trivial group . . . 48μs SchreierSims 042: A17 bug . . . 3732μs SchreierSims 043: orbits_lookup test . . . 783μs SchreierSims 044: transversal_element and inversal_element test . . . 2194μs SchreierSimsHelper 001: trivial perm. group intersection (de [...] . . . 28μs SchreierSimsHelper 002: trivial perm. group intersection (de [...] . . . 30μs SchreierSimsHelper 003: cyclic group intersection (degree 13) . . . 43μs SchreierSimsHelper 004: D10 and Z5 intersection . . . 48μs SchreierSimsHelper 005: D8 and Q8 intersection . . . 38μs SchreierSimsHelper 006: primitive on 8 points intersection . . . 83μs SchreierSimsHelper 007: primitive on 8 points intersection ( [...] . . . 80μs SchreierSimsHelper 008: A13 and PGL(2, 11) intersection . . . 726μs SchreierSimsHelper 009: A13 and PGL(2, 11) intersection (swa [...] . . . 718μs SchreierSimsHelper 012: 3^3:13 and 3^3.2.A(4) intersection . . . 231μs SchreierSimsHelper 015: 3^3(S(4) x 2) and ASL(3, 3) intersection . . . 419μs SchreierSimsHelper 016: 7^2:3 x Q(8) and 7^2:D(2*6) intersection . . . 570μs SchreierSimsHelper 018: D(2*53) and 53:13 intersection . . . 339μs SchreierSimsHelper 019: 2^6:(7 x D_14) and PSL(2, 6)^2.4 int [...] . . . 2653μs SchreierSimsHelper 020: 2^6:(S_3 x GL(3, 2)) and 2.6:Alt(7) [...] . . . 8433μs SchreierSimsHelper 022: PSL(2, 127) and AGL(1, 2^7) intersection . . . 13ms SchreierSimsHelper 023: PSL(3, 4).2 and PSL(3, 4).2 (nontriv [...] . . . 2813μs SchreierSimsHelper 024: PSL(3, 4).Sym(3) and PSL(3, 4).2 int [...] . . . 2923μs SchreierSimsHelper 025: 3^4:5:4 and D_16:4 intersection . . . 1497μs Sims1 000: fp example 1 . . . 2594μs Sims1 001: fp example 2 . . . 2695μs Sims1 002: ToddCoxeter failing example . . . 24ms Sims1 003: ToddCoxeter failing example . . . 1149μs Sims1 004: partition_monoid(2) right . . . 8637μs Sims1 006: full_transformation_monoid(3) right . . . 10ms Sims1 007: full_transformation_monoid(3) left . . . 5605μs Sims1 009: rook_monoid(2, 1) . . . 156μs Sims1 010: symmetric_inverse_monoid(2) from FroidurePin . . . 148μs Sims1 011: symmetric_inverse_monoid(3) . . . 8935μs Sims1 014: temperley_lieb_monoid(3) from presentation . . . 122μs Sims1 015: temperley_lieb_monoid(4) from presentation . . . 1084μs Sims1 016: fp semigroup containing given pairs #1 . . . 415μs Sims1 017: fp semigroup containing given pairs #2 . . . 415μs Sims1 018: fp semigroup containing given pairs #3 . . . 692μs Sims1 019: ToddCoxeter failing example . . . 1454μs Sims1 020: fp example 2 . . . 2818μs Sims1 021: exceptions . . . 330μs Sims1 027: from https://mathoverflow.net/questions/423541/ . . . 38ms Sims1 028: from https://mathoverflow.net/questions/423541/ . . . 26ms Sims1 030: presentation with one free generator . . . 355μs Sims1 031: presentation with non-zero index generators . . . 89μs Sims1 032: presentation with empty word . . . 12ms Sims1 033: constructors . . . 1911μs Sims1 034: split_at . . . 333μs Sims1 035: stats . . . 134μs Sims1 036: check iterator requirements . . . 188μs Sims1 040: TransitiveGroup(10, 32) - minimal rep . . . 4528μs Sims1 043: rectangular_band(2, 2) - with and without identity . . . 367μs Sims1 044: trivial group - minimal o.r.c. rep . . . 157μs Sims1 045: right zero semigroup - minimal o.r.c. rep . . . 2774μs Sims1 046: semigroup with faithful non-strictly cyclic actio [...] . . . 789μs Sims1 068: RepOrc . . . 37ms Sims1 069: fp example 1 . . . 753μ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 2031μs (370ns 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 . . . 2185μs Sims1 072: symmetric_group(n) for n = 4 . . . 1675μs Sims1 073: corner case no generators + no relations . . . 126μs Sims1 076: uninitialized RepOrc . . . 38μs SmallestInteger 001: . . . 16μs StaticTriVector2 045: all . . . 23μs StaticVector2 043: all . . . 24μs Stephen 000: basic test 1 . . . 323μs Stephen 001: basic test 2 . . . 186μs Stephen 002: full transf monoid . . . 18ms Stephen 003: from step_hen 002 . . . 95μs Stephen 004: from step_hen 003 . . . 259μs Stephen 005: from step_hen 004 . . . 59μs Stephen 006: from step_hen 005 . . . 157μs Stephen 008: C(4) monoid normal form (test_case_knuth_bendix_055) . . . 267μs Stephen 009: C(4) monoid normal form (test_case_gap_smallove [...] . . . 128μs Stephen 010: code coverage . . . 439μs Stephen 011: C(4) monoid normal form (test_case_gap_smallove [...] . . . 368μs Stephen 012: C(4) monoid normal form (test_case_gap_smallove [...] . . . 285μs Stephen 013: C(4) monoid equal to (test_case_gap_smalloverlap_70) . . . 113μs Stephen 014: C(4) monoid normal form (test_case_ex_3_13_14) . . . 492μs Stephen 015: C(4) monoid normal form (test_case_ex_3_15) . . . 548μs Stephen 016: C(4) monoid normal form (test_case_ex_3_16) . . . 437μs Stephen 017: C(4) monoid normal form (test_case_mt_3) . . . 238μs Stephen 018: C(4) monoid normal form (test_case_mt_5) . . . 149μs Stephen 019: C(4) monoid normal form (test_case_mt_6) . . . 407μs Stephen 020: C(4) monoid normal form (test_case_mt_10) . . . 162μs Stephen 021: C(4) monoid normal form (test_case_mt_13) . . . 161μs Stephen 022: C(4) monoid normal form (test_case_mt_14) . . . 147μs Stephen 023: C(4) monoid normal form (test_case_mt_15) . . . 154μs Stephen 024: C(4) monoid normal form (test_case_mt_16) . . . 175μs Stephen 025: C(4) monoid normal form (test_case_mt_17) . . . 415μs Stephen 026: C(4) monoid normal form (test_case_weak_1) . . . 329μs Stephen 027: C(4) monoid normal form (test_case_weak_2) . . . 244μs Stephen 028: C(4) monoid normal form (test_case_weak_3) . . . 296μs Stephen 029: C(4) monoid normal form (test_case_weak_4) . . . 306μs Stephen 030: C(4) monoid normal form (test_case_weak_5) . . . 167μs Stephen 031: Test behaviour when uninitialised . . . 259μs Suf 005: unite . . . 31μs Suf 007: compress . . . 18μs Suf 011: big chain . . . 29ms Suf 013: empty table . . . 16μs Suf 015: join . . . 18μs Suf 017: contains . . . 40μs Suf 019: swap . . . 42μs Timer 001: string method (1 argument) . . . 36μs Timer 002: string method (0 arguments) . . . 10ms Timer 003: reset/elapsed method . . . 20ms Timer 004: operator<< . . . 19μs ToddCoxeter 000: small 2-sided congruence . . .  -- with HLT + no standardise + full lookahead + no save 2104μs  -- with HLT + standardise + full lookahead + no save 4398μs  -- with HLT + no standardise + partial lookahead + no save 2258μs  -- with HLT + standardise + partial lookahead + no save 1808μs  -- with HLT + no standardise + full lookahead + save 1812μs  -- with HLT + standardise + full lookahead + save 1802μs  -- with HLT + no standardise + partial lookahead + save 1838μs  -- with HLT + standardise + partial lookahead + save 1813μs  -- with Felsch + no standardisation 1914μs  -- with Felsch + standardisation 1782μs  -- with random strategy 1887μs  -- with Rc style + full lookahead 1849μs  -- with Rc style + partial lookahead 1764μs  -- with R/C style 1801μs  -- with CR style 1822μs  -- with Cr style 1849μs ToddCoxeter 001: small 2-sided congruence . . .  -- with HLT + no standardise + full lookahead + no save 8035μs  -- with HLT + standardise + full lookahead + no save 7934μs  -- with HLT + no standardise + partial lookahead + no save 8052μs  -- with HLT + standardise + partial lookahead + no save 8424μs  -- with HLT + no standardise + full lookahead + save 7889μs  -- with HLT + standardise + full lookahead + save 7868μs  -- with HLT + no standardise + partial lookahead + save 7901μs  -- with HLT + standardise + partial lookahead + save 7868μs  -- with Felsch + no standardisation 8051μs  -- with Felsch + standardisation 7736μs  -- with random strategy 7692μs  -- with Rc style + full lookahead 7676μs  -- with Rc style + partial lookahead 7580μs  -- with R/C style 7498μs  -- with CR style 7604μs  -- with Cr style 7601μs ToddCoxeter 003: constructed from FroidurePin . . .  -- with Felsch + no standardisation   -- with Felsch + standardisation   -- with HLT + no standardise + full lookahead + no save   -- with HLT + standardise + full lookahead + no save   -- with HLT + no standardise + partial lookahead + no save   -- with HLT + standardise + partial lookahead + no save   -- with HLT + no standardise + full lookahead + save   -- with HLT + standardise + full lookahead + save   -- with HLT + no standardise + partial lookahead + save   -- with HLT + standardise + partial lookahead + save   -- with random strategy   -- with Rc style + full lookahead   -- with Rc style + partial lookahead   -- with R/C style   -- with CR style   -- with Cr style  ToddCoxeter 004: 2-sided congruence from FroidurePin . . .  -- with HLT + no standardise + full lookahead + no save 368μs  -- with HLT + standardise + full lookahead + no save 264μs  -- with HLT + no standardise + partial lookahead + no save 248μs  -- with HLT + standardise + partial lookahead + no save 246μs  -- with HLT + save (throws) 303μs  -- with Felsch (throws) 257μs  -- with random strategy 257μs ToddCoxeter 005: non-trivial two-sided from relations . . .  -- with HLT + no standardise + full lookahead + no save 91μs  -- with HLT + standardise + full lookahead + no save 70μs  -- with HLT + no standardise + partial lookahead + no save 79μs  -- with HLT + standardise + partial lookahead + no save 64μs  -- with HLT + no standardise + full lookahead + save 89μs  -- with HLT + standardise + full lookahead + save 83μs  -- with HLT + no standardise + partial lookahead + save 82μs  -- with HLT + standardise + partial lookahead + save 81μs  -- with Felsch + no standardisation 73μs  -- with Felsch + standardisation 72μs  -- with random strategy 77μs  -- with Rc style + full lookahead 70μs  -- with Rc style + partial lookahead 68μs  -- with R/C style 69μs  -- with CR style 75μs  -- with Cr style 73μs ToddCoxeter 006: small right cong. on free semigroup . . .  -- with HLT + no standardise + full lookahead + no save 61μs  -- with HLT + standardise + full lookahead + no save 54μs  -- with HLT + no standardise + partial lookahead + no save 52μs  -- with HLT + standardise + partial lookahead + no save 54μs  -- with HLT + no standardise + full lookahead + save 62μs  -- with HLT + standardise + full lookahead + save 60μs  -- with HLT + no standardise + partial lookahead + save 68μs  -- with HLT + standardise + partial lookahead + save 59μs  -- with Felsch + no standardisation 58μs  -- with Felsch + standardisation 59μs  -- with random strategy 62μs  -- with Rc style + full lookahead 54μs  -- with Rc style + partial lookahead 64μs  -- with R/C style 55μs  -- with CR style 61μs  -- with Cr style 56μs ToddCoxeter 007: left cong. on free semigroup . . .  -- with HLT + no standardise + full lookahead + no save 64μs  -- with HLT + standardise + full lookahead + no save 59μs  -- with HLT + no standardise + partial lookahead + no save 58μs  -- with HLT + standardise + partial lookahead + no save 58μs  -- with HLT + no standardise + full lookahead + save 67μs  -- with HLT + standardise + full lookahead + save 67μs  -- with HLT + no standardise + partial lookahead + save 64μs  -- with HLT + standardise + partial lookahead + save 64μs  -- with Felsch + no standardisation 64μs  -- with Felsch + standardisation 80μs  -- with random strategy 73μs  -- with Rc style + full lookahead 82μs  -- with Rc style + partial lookahead 70μs  -- with R/C style 71μs  -- with CR style 74μs  -- with Cr style 71μs ToddCoxeter 008: for small fp semigroup . . .  -- with HLT + no standardise + full lookahead + no save 63μs  -- with HLT + standardise + full lookahead + no save 55μs  -- with HLT + no standardise + partial lookahead + no save 63μs  -- with HLT + standardise + partial lookahead + no save 53μs  -- with HLT + no standardise + full lookahead + save 57μs  -- with HLT + standardise + full lookahead + save 55μs  -- with HLT + no standardise + partial lookahead + save 54μs  -- with HLT + standardise + partial lookahead + save 58μs  -- with Felsch + no standardisation 54μs  -- with Felsch + standardisation 52μs  -- with random strategy 53μs  -- with Rc style + full lookahead 54μs  -- with Rc style + partial lookahead 53μs  -- with R/C style 53μs  -- with CR style 57μs  -- with Cr style 59μs ToddCoxeter 009: 2-sided cong. trans. semigroup . . .  -- with HLT + no standardise + full lookahead + no save 346μs  -- with HLT + standardise + full lookahead + no save 326μs  -- with HLT + no standardise + partial lookahead + no save 298μs  -- with HLT + standardise + partial lookahead + no save 308μs  -- with HLT + no standardise + full lookahead + save 971μs  -- with HLT + standardise + full lookahead + save 915μs  -- with HLT + no standardise + partial lookahead + save 886μs  -- with HLT + standardise + partial lookahead + save 902μs  -- with Felsch + no standardisation 817μs  -- with Felsch + standardisation 754μs  -- with random strategy 921μs  -- with Rc style + full lookahead 346μs  -- with Rc style + partial lookahead 332μs  -- with R/C style 346μs  -- with CR style 769μs  -- with Cr style 777μs ToddCoxeter 010: left congruence on transformation semigroup . . .  -- with HLT + no standardise + full lookahead + no save 366μs  -- with HLT + standardise + full lookahead + no save 368μs  -- with HLT + no standardise + partial lookahead + no save 340μs  -- with HLT + standardise + partial lookahead + no save 374μs  -- with HLT + no standardise + full lookahead + save 958μs  -- with HLT + standardise + full lookahead + save 1036μs  -- with HLT + no standardise + partial lookahead + save 1015μs  -- with HLT + standardise + partial lookahead + save 988μs  -- with Felsch + no standardisation 800μs  -- with Felsch + standardisation 772μs  -- with random strategy 452μs  -- with Rc style + full lookahead 403μs  -- with Rc style + partial lookahead 411μs  -- with R/C style 697μs  -- with CR style 877μs  -- with Cr style 894μs ToddCoxeter 011: right cong. trans. semigroup . . .  -- with HLT + no standardise + full lookahead + no save 388μs  -- with HLT + standardise + full lookahead + no save 392μs  -- with HLT + no standardise + partial lookahead + no save 366μs  -- with HLT + standardise + partial lookahead + no save 399μs  -- with HLT + no standardise + full lookahead + save 944μs  -- with HLT + standardise + full lookahead + save 916μs  -- with HLT + no standardise + partial lookahead + save 909μs  -- with HLT + standardise + partial lookahead + save 970μs  -- with Felsch + no standardisation 693μs  -- with Felsch + standardisation 739μs  -- with random strategy 1016μs  -- with Rc style + full lookahead 449μs  -- with Rc style + partial lookahead 476μs  -- with R/C style 500μs  -- with CR style 788μs  -- with Cr style 787μs ToddCoxeter 012: trans. semigroup (size 88) . . .  -- with HLT + no standardise + full lookahead + no save 207μs  -- with HLT + standardise + full lookahead + no save 215μs  -- with HLT + no standardise + partial lookahead + no save 199μs  -- with HLT + standardise + partial lookahead + no save 201μs  -- with HLT + save (throws) 239μs  -- with Felsch (throws) 227μs  -- with random strategy 208μs ToddCoxeter 013: left cong. on trans. semigroup (size 88) . . .  -- with HLT + no standardise + full lookahead + no save 322μs  -- with HLT + standardise + full lookahead + no save 349μs  -- with HLT + no standardise + partial lookahead + no save 311μs  -- with HLT + standardise + partial lookahead + no save 333μs  -- with HLT + no standardise + full lookahead + save 937μs  -- with HLT + standardise + full lookahead + save 964μs  -- with HLT + no standardise + partial lookahead + save 938μs  -- with HLT + standardise + partial lookahead + save 967μs  -- with Felsch + no standardisation 771μs  -- with Felsch + standardisation 757μs  -- with random strategy 398μs  -- with Rc style + full lookahead 369μs  -- with Rc style + partial lookahead 382μs  -- with R/C style 427μs  -- with CR style 861μs  -- with Cr style 843μs ToddCoxeter 014: right cong. on trans. semigroup (size 88) . . .  -- with HLT + no standardise + full lookahead + no save 336μs  -- with HLT + standardise + full lookahead + no save 356μs  -- with HLT + no standardise + partial lookahead + no save 346μs  -- with HLT + standardise + partial lookahead + no save 362μs  -- with HLT + no standardise + full lookahead + save 910μs  -- with HLT + standardise + full lookahead + save 919μs  -- with HLT + no standardise + partial lookahead + save 910μs  -- with HLT + standardise + partial lookahead + save 966μs  -- with Felsch + no standardisation 686μs  -- with Felsch + standardisation 714μs  -- with random strategy 708μs  -- with Rc style + full lookahead 402μs  -- with Rc style + partial lookahead 392μs  -- with R/C style 455μs  -- with CR style 699μs  -- with Cr style 697μs ToddCoxeter 015: finite fp-semigroup, dihedral group of order 6 . . .  -- with HLT + no standardise + full lookahead + no save 127μs  -- with HLT + standardise + full lookahead + no save 116μs  -- with HLT + no standardise + partial lookahead + no save 120μs  -- with HLT + standardise + partial lookahead + no save 118μs  -- with HLT + no standardise + full lookahead + save 148μs  -- with HLT + standardise + full lookahead + save 140μs  -- with HLT + no standardise + partial lookahead + save 134μs  -- with HLT + standardise + partial lookahead + save 138μs  -- with Felsch + no standardisation 120μs  -- with Felsch + standardisation 134μs  -- with random strategy 137μs  -- with Rc style + full lookahead 116μs  -- with Rc style + partial lookahead 112μs  -- with R/C style 113μs  -- with CR style 133μs  -- with Cr style 132μs ToddCoxeter 016: finite fp-semigroup, size 16 . . .  -- with HLT + no standardise + full lookahead + no save 127μs  -- with HLT + standardise + full lookahead + no save 132μs  -- with HLT + no standardise + partial lookahead + no save 134μs  -- with HLT + standardise + partial lookahead + no save 148μs  -- with HLT + no standardise + full lookahead + save 241μs  -- with HLT + standardise + full lookahead + save 250μs  -- with HLT + no standardise + partial lookahead + save 244μs  -- with HLT + standardise + partial lookahead + save 243μs  -- with Felsch + no standardisation 215μs  -- with Felsch + standardisation 209μs  -- with random strategy 239μs  -- with Rc style + full lookahead 139μs  -- with Rc style + partial lookahead 128μs  -- with R/C style 133μs  -- with CR style 217μs  -- with Cr style 225μs ToddCoxeter 017: finite fp-semigroup, size 16 . . .  -- with HLT + no standardise + full lookahead + no save 225μs  -- with HLT + standardise + full lookahead + no save 218μs  -- with HLT + no standardise + partial lookahead + no save 204μs  -- with HLT + standardise + partial lookahead + no save 221μs  -- with HLT + no standardise + full lookahead + save 564μs  -- with HLT + standardise + full lookahead + save 556μs  -- with HLT + no standardise + partial lookahead + save 513μs  -- with HLT + standardise + partial lookahead + save 537μs  -- with Felsch + no standardisation 438μs  -- with Felsch + standardisation 451μs  -- with random strategy 479μs  -- with Rc style + full lookahead 236μs  -- with Rc style + partial lookahead 235μs  -- with R/C style 240μs  -- with CR style 450μs  -- with Cr style 488μs ToddCoxeter 018: test lookahead . . .  -- with HLT + no standardise + full lookahead + no save 542μs  -- with HLT + standardise + full lookahead + no save 571μs  -- with HLT + no standardise + partial lookahead + no save 477μs  -- with HLT + standardise + partial lookahead + no save 506μs  -- with HLT + no standardise + full lookahead + save 864μs  -- with HLT + standardise + full lookahead + save 885μs  -- with HLT + no standardise + partial lookahead + save 865μs  -- with HLT + standardise + partial lookahead + save 853μs ToddCoxeter 019: non-trivial left cong. from semigroup . . .  -- with HLT + no standardise + full lookahead + no save 198μs  -- with HLT + standardise + full lookahead + no save 173μs  -- with HLT + no standardise + partial lookahead + no save 156μs  -- with HLT + standardise + partial lookahead + no save 179μs  -- with HLT + save (throws) 214μs  -- with Felsch (throws) 175μs  -- with random strategy 188μs ToddCoxeter 020: 2-sided cong. on free semigroup . . .  -- with HLT + no standardise + full lookahead + no save 37μs  -- with HLT + standardise + full lookahead + no save 29μs  -- with HLT + no standardise + partial lookahead + no save 28μs  -- with HLT + standardise + partial lookahead + no save 27μs  -- with HLT + no standardise + full lookahead + save 27μs  -- with HLT + standardise + full lookahead + save 27μs  -- with HLT + no standardise + partial lookahead + save 27μs  -- with HLT + standardise + partial lookahead + save 27μs  -- with Felsch + no standardisation 26μs  -- with Felsch + standardisation 28μs  -- with random strategy 27μs ToddCoxeter 021: calling run when obviously infinite . . .  -- with HLT + no standardise + full lookahead + no save 61μs  -- with HLT + standardise + full lookahead + no save 73μs  -- with HLT + no standardise + partial lookahead + no save 47μs  -- with HLT + standardise + partial lookahead + no save 46μs  -- with HLT + no standardise + full lookahead + save 45μs  -- with HLT + standardise + full lookahead + save 44μs  -- with HLT + no standardise + partial lookahead + save 49μs  -- with HLT + standardise + partial lookahead + save 58μs  -- with Felsch + no standardisation 46μs  -- with Felsch + standardisation 48μs  -- with random strategy 45μs ToddCoxeter 022: stellar_monoid S3 . . .  -- with HLT + no standardise + full lookahead + no save 187μs  -- with HLT + standardise + full lookahead + no save 166μs  -- with HLT + no standardise + partial lookahead + no save 171μs  -- with HLT + standardise + partial lookahead + no save 188μs  -- with HLT + no standardise + full lookahead + save 374μs  -- with HLT + standardise + full lookahead + save 388μs  -- with HLT + no standardise + partial lookahead + save 366μs  -- with HLT + standardise + partial lookahead + save 373μs  -- with Felsch + no standardisation 279μs  -- with Felsch + standardisation 253μs  -- with random strategy 186μs  -- with Rc style + full lookahead 162μs  -- with Rc style + partial lookahead 157μs  -- with R/C style 179μs  -- with CR style 264μs  -- with Cr style 256μs ToddCoxeter 023: finite semigroup (size 5) . . .  -- with HLT + no standardise + full lookahead + no save 60μs  -- with HLT + standardise + full lookahead + no save 48μs  -- with HLT + no standardise + partial lookahead + no save 45μs  -- with HLT + standardise + partial lookahead + no save 48μs  -- with HLT + no standardise + full lookahead + save 69μs  -- with HLT + standardise + full lookahead + save 54μs  -- with HLT + no standardise + partial lookahead + save 56μs  -- with HLT + standardise + partial lookahead + save 56μs  -- with Felsch + no standardisation 53μs  -- with Felsch + standardisation 53μs  -- with random strategy 54μs  -- with Rc style + full lookahead 49μs  -- with Rc style + partial lookahead 45μs  -- with R/C style 47μs  -- with CR style 55μs  -- with Cr style 50μs ToddCoxeter 024: exceptions . . .  -- with HLT + no standardise + full lookahead + no save 240μs  -- with HLT + standardise + full lookahead + no save 211μs  -- with HLT + no standardise + partial lookahead + no save 191μs  -- with HLT + standardise + partial lookahead + no save 192μs  -- with HLT + no standardise + full lookahead + save 195μs  -- with HLT + standardise + full lookahead + save 221μs  -- with HLT + no standardise + partial lookahead + save 202μs  -- with HLT + standardise + partial lookahead + save 198μs  -- with Felsch + no standardisation 206μs  -- with Felsch + standardisation 211μs  -- with random strategy 238μs  -- with Rc style + full lookahead 204μs  -- with Rc style + partial lookahead 196μs  -- with R/C style 198μs  -- with CR style 202μs  -- with Cr style 218μs ToddCoxeter 025: obviously infinite . . .  -- with HLT + no standardise + full lookahead + no save 64μs  -- with HLT + standardise + full lookahead + no save 56μs  -- with HLT + no standardise + partial lookahead + no save 54μs  -- with HLT + standardise + partial lookahead + no save 53μs  -- with HLT + no standardise + full lookahead + save 56μs  -- with HLT + standardise + full lookahead + save 55μs  -- with HLT + no standardise + partial lookahead + save 54μs  -- with HLT + standardise + partial lookahead + save 54μs  -- with Felsch + no standardisation 56μs  -- with Felsch + standardisation 56μs  -- with random strategy 56μs ToddCoxeter 026: exceptions . . .  -- with HLT + no standardise + full lookahead + no save 163μs  -- with HLT + standardise + full lookahead + no save 129μs  -- with HLT + no standardise + partial lookahead + no save 121μs  -- with HLT + standardise + partial lookahead + no save 121μs  -- with HLT + no standardise + full lookahead + save 138μs  -- with HLT + standardise + full lookahead + save 132μs  -- with HLT + no standardise + partial lookahead + save 132μs  -- with HLT + standardise + partial lookahead + save 147μs  -- with Felsch + no standardisation 129μs  -- with Felsch + standardisation 129μs  -- with random strategy 137μs  -- with Rc style + full lookahead 128μs  -- with Rc style + partial lookahead 119μs  -- with R/C style 120μs  -- with CR style 137μs  -- with Cr style 129μs ToddCoxeter 027: empty . . . 119μs ToddCoxeter 028: congruence of fpsemigroup::ToddCoxeter . . .  -- with HLT + no standardise + full lookahead + no save 221μs  -- with HLT + standardise + full lookahead + no save 173μs  -- with HLT + no standardise + partial lookahead + no save 168μs  -- with HLT + standardise + partial lookahead + no save 188μs  -- with HLT + save (throws) 175μs  -- with Felsch (throws) 185μs  -- with random strategy 196μs  -- with HLT + no standardise + full lookahead + save 183μs  -- with HLT + standardise + full lookahead + save 212μs  -- with HLT + no standardise + partial lookahead + save 203μs  -- with HLT + standardise + partial lookahead + save 193μs  -- with Felsch + no standardisation 191μs  -- with Felsch + standardisation 194μs  -- with Rc style + full lookahead 189μs  -- with Rc style + partial lookahead 195μs  -- with R/C style 177μs  -- with CR style 182μs  -- with Cr style 183μs ToddCoxeter 029: !KnuthBendix.started() . . .  -- with HLT + no standardise + full lookahead + no save and 2-sided 119μs  -- with HLT + standardise + full lookahead + no save and 2-sided 93μs  -- with HLT + no standardise + partial lookahead + no save and 2-sided 84μs  -- with HLT + standardise + partial lookahead + no save and 2-sided 84μs  -- with HLT + no standardise + full lookahead + save and 2-sided 91μs  -- with HLT + standardise + full lookahead + save and 2-sided 96μs  -- with HLT + no standardise + partial lookahead + save and 2-sided 92μs  -- with HLT + standardise + partial lookahead + save and 2-sided 91μs  -- with Felsch + no standardisation and 2-sided 87μs  -- with Felsch + standardisation and 2-sided 98μs  -- with random strategy and 2-sided 95μs  -- with HLT + no standardise + full lookahead + no save and left 91μs  -- with HLT + standardise + full lookahead + no save and left 85μs  -- with HLT + no standardise + partial lookahead + no save and left 82μs  -- with HLT + standardise + partial lookahead + no save and left 97μs  -- with HLT + no standardise + full lookahead + save and left 100μs  -- with HLT + standardise + full lookahead + save and left 100μs  -- with HLT + no standardise + partial lookahead + save and left 97μs  -- with HLT + standardise + partial lookahead + save and left 99μs  -- with Felsch + no standardisation and left 113μs  -- with Felsch + standardisation and left 98μs  -- with random strategy and left 104μs  -- with HLT + no standardise + full lookahead + no save and right 93μs  -- with HLT + standardise + full lookahead + no save and right 85μs  -- with HLT + no standardise + partial lookahead + no save and right 84μs  -- with HLT + standardise + partial lookahead + no save and right 84μs  -- with HLT + no standardise + full lookahead + save and right 97μs  -- with HLT + standardise + full lookahead + save and right 100μs  -- with HLT + no standardise + partial lookahead + save and right 110μs  -- with HLT + standardise + partial lookahead + save and right 100μs  -- with Felsch + no standardisation and right 98μs  -- with Felsch + standardisation and right 92μs  -- with random strategy and right 85μs ToddCoxeter 030: KnuthBendix.finished() . . .  -- with HLT + no standardise + full lookahead + no save and 2-sided 238μs  -- with HLT + standardise + full lookahead + no save and 2-sided 198μs  -- with HLT + no standardise + partial lookahead + no save and 2-sided 207μs  -- with HLT + standardise + partial lookahead + no save and 2-sided 193μs  -- with HLT + no standardise + full lookahead + save and 2-sided 204μs  -- with HLT + standardise + full lookahead + save and 2-sided 204μs  -- with HLT + no standardise + partial lookahead + save and 2-sided 205μs  -- with HLT + standardise + partial lookahead + save and 2-sided 205μs  -- with Felsch + no standardisation and 2-sided 216μs  -- with Felsch + standardisation and 2-sided 197μs  -- with random strategy and 2-sided 237μs  -- with HLT + no standardise + full lookahead + no save and left 248μs  -- with HLT + standardise + full lookahead + no save and left 216μs  -- with HLT + no standardise + partial lookahead + no save and left 208μs  -- with HLT + standardise + partial lookahead + no save and left 213μs  -- with HLT + no standardise + full lookahead + save and left 228μs  -- with HLT + standardise + full lookahead + save and left 222μs  -- with HLT + no standardise + partial lookahead + save and left 220μs  -- with HLT + standardise + partial lookahead + save and left 218μs  -- with Felsch + no standardisation and left 224μs  -- with Felsch + standardisation and left 212μs  -- with random strategy and left 232μs  -- with HLT + no standardise + full lookahead + no save and right 227μs  -- with HLT + standardise + full lookahead + no save and right 218μs  -- with HLT + no standardise + partial lookahead + no save and right 207μs  -- with HLT + standardise + partial lookahead + no save and right 210μs  -- with HLT + no standardise + full lookahead + save and right 222μs  -- with HLT + standardise + full lookahead + save and right 233μs  -- with HLT + no standardise + partial lookahead + save and right 224μs  -- with HLT + standardise + partial lookahead + save and right 225μs  -- with Felsch + no standardisation and right 224μs  -- with Felsch + standardisation and right 242μs  -- with random strategy and right 223μs ToddCoxeter 031: KnuthBendix.finished() . . .  -- with HLT + no standardise + full lookahead + no save and 2-sided 172μs  -- with HLT + standardise + full lookahead + no save and 2-sided 155μs  -- with HLT + no standardise + partial lookahead + no save and 2-sided 146μs  -- with HLT + standardise + partial lookahead + no save and 2-sided 144μs  -- with HLT + no standardise + full lookahead + save and 2-sided 171μs  -- with HLT + standardise + full lookahead + save and 2-sided 156μs  -- with HLT + no standardise + partial lookahead + save and 2-sided 161μs  -- with HLT + standardise + partial lookahead + save and 2-sided 148μs  -- with Felsch + no standardisation and 2-sided 138μs  -- with Felsch + standardisation and 2-sided 139μs  -- with random strategy and 2-sided 168μs  -- with Rc style + full lookahead and 2-sided 152μs  -- with Rc style + partial lookahead and 2-sided 155μs  -- with R/C style and 2-sided 146μs  -- with CR style and 2-sided 148μs  -- with Cr style and 2-sided 155μs  -- with HLT + no standardise + full lookahead + no save and left 173μs  -- with HLT + standardise + full lookahead + no save and left 152μs  -- with HLT + no standardise + partial lookahead + no save and left 148μs  -- with HLT + standardise + partial lookahead + no save and left 142μs  -- with HLT + no standardise + full lookahead + save and left 157μs  -- with HLT + standardise + full lookahead + save and left 177μs  -- with HLT + no standardise + partial lookahead + save and left 175μs  -- with HLT + standardise + partial lookahead + save and left 166μs  -- with Felsch + no standardisation and left 157μs  -- with Felsch + standardisation and left 156μs  -- with random strategy and left 177μs  -- with Rc style + full lookahead and left 179μs  -- with Rc style + partial lookahead and left 160μs  -- with R/C style and left 151μs  -- with CR style and left 164μs  -- with Cr style and left 166μs  -- with HLT + no standardise + full lookahead + no save and right 154μs  -- with HLT + standardise + full lookahead + no save and right 162μs  -- with HLT + no standardise + partial lookahead + no save and right 161μs  -- with HLT + standardise + partial lookahead + no save and right 148μs  -- with HLT + no standardise + full lookahead + save and right 165μs  -- with HLT + standardise + full lookahead + save and right 165μs  -- with HLT + no standardise + partial lookahead + save and right 163μs  -- with HLT + standardise + partial lookahead + save and right 176μs  -- with Felsch + no standardisation and right 161μs  -- with Felsch + standardisation and right 157μs  -- with random strategy and right 160μs  -- with Rc style + full lookahead and right 160μs  -- with Rc style + partial lookahead and right 168μs  -- with R/C style and right 168μs  -- with CR style and right 162μs  -- with Cr style and right 166μs ToddCoxeter 032: prefill . . . 227μs ToddCoxeter 033: congruence of ToddCoxeter . . .  -- with HLT + no standardise + full lookahead + no save 74μs  -- with HLT + standardise + full lookahead + no save 61μs  -- with HLT + no standardise + partial lookahead + no save 58μs  -- with HLT + standardise + partial lookahead + no save 75μs  -- with HLT + no standardise + full lookahead + save 70μs  -- with HLT + standardise + full lookahead + save 68μs  -- with HLT + no standardise + partial lookahead + save 64μs  -- with HLT + standardise + partial lookahead + save 68μs  -- with random strategy 71μs ToddCoxeter 034: congruence of ToddCoxeter . . .  -- with HLT + no standardise + full lookahead + no save 174μs  -- with HLT + standardise + full lookahead + no save 202μs  -- with HLT + no standardise + partial lookahead + no save 162μs  -- with HLT + standardise + partial lookahead + no save 146μs  -- with HLT + save (throws) 170μs  -- with Felsch (throws) 161μs  -- with random strategy 167μs ToddCoxeter 035: congruence on FpSemigroup . . .  -- with HLT + no standardise + full lookahead + no save 451μs  -- with HLT + standardise + full lookahead + no save 398μs  -- with HLT + no standardise + partial lookahead + no save 388μs  -- with HLT + standardise + partial lookahead + no save 389μs  -- with HLT + no standardise + full lookahead + save 422μs  -- with HLT + standardise + full lookahead + save 456μs  -- with HLT + no standardise + partial lookahead + save 422μs  -- with HLT + standardise + partial lookahead + save 444μs  -- with Felsch + no standardisation 424μs  -- with Felsch + standardisation 435μs  -- with random strategy 411μs  -- with Rc style + full lookahead 382μs  -- with Rc style + partial lookahead 390μs  -- with R/C style 383μs  -- with CR style 448μs  -- with Cr style 431μs ToddCoxeter 036: exceptions . . . 160μs ToddCoxeter 037: copy constructor . . . 56μs ToddCoxeter 038: simplify . . . 189μs ToddCoxeter 039: stylic_monoid . . . 1590ms ToddCoxeter 041: some finite classes . . . 713μs ToddCoxeter 043: symmetric_group(7, Coxeter + Moser) . . . 274ms ToddCoxeter 044: Option exceptions . . . 149μs ToddCoxeter 045: Options operator<< . . . 1112μs ToddCoxeter 046: Easdown-East-FitzGerald DualSymInv(5) . . .  -- with HLT + no standardise + full lookahead + no save 467ms  -- with HLT + standardise + full lookahead + no save 523ms  -- with HLT + no standardise + partial lookahead + no save 457ms  -- with HLT + standardise + partial lookahead + no save 541ms  -- with HLT + no standardise + full lookahead + save 263ms  -- with HLT + standardise + full lookahead + save 264ms  -- with HLT + no standardise + partial lookahead + save 263ms  -- with HLT + standardise + partial lookahead + save 263ms  -- with Felsch + no standardisation 286ms  -- with Felsch + standardisation 283ms  -- with random strategy 290ms  -- with R/C style 476ms  -- with Rc style + full lookahead 300ms  -- with Rc style + partial lookahead 292ms ToddCoxeter 047: uniform_block_bijection_monoid(3) (FitzGerald) . . .  -- with HLT + no standardise + full lookahead + no save 211μs  -- with HLT + standardise + full lookahead + no save 160μs  -- with HLT + no standardise + partial lookahead + no save 155μs  -- with HLT + standardise + partial lookahead + no save 154μs  -- with HLT + no standardise + full lookahead + save 355μs  -- with HLT + standardise + full lookahead + save 354μs  -- with HLT + no standardise + partial lookahead + save 339μs  -- with HLT + standardise + partial lookahead + save 348μs  -- with Felsch + no standardisation 265μs  -- with Felsch + standardisation 259μs  -- with random strategy 174μs  -- with R/C style 158μs  -- with Rc style + full lookahead 171μs  -- with Rc style + partial lookahead 147μs ToddCoxeter 048: stellar_monoid(7) (Gay-Hivert) . . . 271ms ToddCoxeter 049: partition_monoid(4) (East) . . .  -- with HLT + no standardise + full lookahead + no save 62ms  -- with HLT + standardise + full lookahead + no save 64ms  -- with HLT + no standardise + partial lookahead + no save 61ms  -- with HLT + standardise + partial lookahead + no save 64ms  -- with HLT + no standardise + full lookahead + save 98ms  -- with HLT + standardise + full lookahead + save 103ms  -- with HLT + no standardise + partial lookahead + save 98ms  -- with HLT + standardise + partial lookahead + save 102ms  -- with Felsch + no standardisation 116ms  -- with Felsch + standardisation 117ms  -- with random strategy 102ms  -- with R/C style 70ms  -- with Rc style + full lookahead 127ms  -- with Rc style + partial lookahead 126ms ToddCoxeter 050: singular_brauer_monoid(6) (Maltcev + Mazorchuk) . . . 1057ms ToddCoxeter 051: orientation_preserving_monoid(6) (Ruskuc + [...] . . .  -- with HLT + no standardise + full lookahead + no save 51ms ToddCoxeter 052: orientation_reversing_monoid(5) (Ruskuc + [...] . . .  -- with HLT + no standardise + full lookahead + no save 12ms ToddCoxeter 053: temperley_lieb_monoid(10) (East) . . . 74ms ToddCoxeter 063: add_rule . . .  -- with HLT + no standardise + full lookahead + no save 185μs  -- with HLT + standardise + full lookahead + no save 121μs  -- with HLT + no standardise + partial lookahead + no save 111μs  -- with HLT + standardise + partial lookahead + no save 104μs  -- with HLT + no standardise + full lookahead + save 131μs  -- with HLT + standardise + full lookahead + save 114μs  -- with HLT + no standardise + partial lookahead + save 113μs  -- with HLT + standardise + partial lookahead + save 111μs  -- with Felsch + no standardisation 110μs  -- with Felsch + standardisation 112μs  -- with random strategy 113μs  -- with Rc style + full lookahead 105μs  -- with Rc style + partial lookahead 113μs  -- with R/C style 102μs  -- with CR style 109μs  -- with Cr style 117μs  -- with R/C + Felsch lookahead 114μs  -- with HLT + Felsch lookahead + save 119μs  -- with Cr + small number of f_defs 121μs  -- with Rc + small number of deductions 101μs  -- with Felsch + v2 + no preferred defs 124μs  -- with Felsch + v2 + immediate no stack 110μs  -- with Felsch + v1 + immediate no stack 111μs  -- with Felsch + v1 + immediate yes stack 113μs  -- with large collapse 105μs ToddCoxeter 064: (from kbmag/standalone/kb_data/s4) (KnuthB [...] . . .  -- with HLT + no standardise + full lookahead + no save 383μs ToddCoxeter 066: test validate . . . 91μs ToddCoxeter 067: add_rules after construct. from semigroup . . .  -- with HLT + no standardise + full lookahead + no save 524μs  -- with HLT + standardise + full lookahead + no save 485μs  -- with HLT + no standardise + partial lookahead + no save 480μs  -- with HLT + standardise + partial lookahead + no save 486μs  -- with HLT + save (throws) 509μs  -- with Felsch (throws) 492μs  -- with random strategy 525μs ToddCoxeter 068: Sym(5) from Chapter 3, Proposition 1.1 in NR . . .  -- with Deduction policy == purge_from_top 1229μs  -- with Deduction policy == purge_all 1182μs  -- with Deduction policy == discard_all_if_no_space 1186μs  -- with HLT + no standardise + full lookahead + no save 1457μs  -- with HLT + standardise + full lookahead + no save 2091μs  -- with HLT + no standardise + partial lookahead + no save 1442μs  -- with HLT + standardise + partial lookahead + no save 2036μs  -- with HLT + no standardise + full lookahead + save 2120μs  -- with HLT + standardise + full lookahead + save 2168μs  -- with HLT + no standardise + partial lookahead + save 2103μs  -- with HLT + standardise + partial lookahead + save 2158μs  -- with Felsch + no standardisation 1310μs  -- with Felsch + standardisation 1297μs  -- with random strategy 1353μs  -- with Rc style + full lookahead 2853μs  -- with Rc style + partial lookahead 2814μs  -- with R/C style 1577μs  -- with CR style 1354μs  -- with Cr style 1365μs ToddCoxeter 069: Chapter 7, Theorem 3.6 in NR (size 243) . . .  -- with HLT + no standardise + full lookahead + no save 705μs  -- with HLT + standardise + full lookahead + no save 808μs  -- with HLT + no standardise + partial lookahead + no save 670μs  -- with HLT + standardise + partial lookahead + no save 810μs  -- with HLT + no standardise + full lookahead + save 951μs  -- with HLT + standardise + full lookahead + save 1010μs  -- with HLT + no standardise + partial lookahead + save 922μs  -- with HLT + standardise + partial lookahead + save 1020μs  -- with Felsch + no standardisation 4667μs  -- with Felsch + standardisation 4710μs  -- with random strategy 1021μs  -- with Rc style + full lookahead 733μs  -- with Rc style + partial lookahead 721μs  -- with R/C style 755μs  -- with CR style 4718μs  -- with Cr style 4785μs ToddCoxeter 070: finite semigroup (size 99) . . .  -- with HLT + no standardise + full lookahead + no save 326μs  -- with HLT + standardise + full lookahead + no save 339μs  -- with HLT + no standardise + partial lookahead + no save 291μs  -- with HLT + standardise + partial lookahead + no save 332μs  -- with HLT + no standardise + full lookahead + save 414μs  -- with HLT + standardise + full lookahead + save 418μs  -- with HLT + no standardise + partial lookahead + save 379μs  -- with HLT + standardise + partial lookahead + save 428μs  -- with Felsch + no standardisation 851μs  -- with Felsch + standardisation 830μs  -- with random strategy 424μs  -- with Rc style + full lookahead 308μs  -- with Rc style + partial lookahead 312μs  -- with R/C style 328μs  -- with CR style 870μs  -- with Cr style 864μs ToddCoxeter 080: KnuthBendix 098 . . .  -- with HLT + no standardise + full lookahead + no save 1096ms  -- with HLT + standardise + full lookahead + no save 1292ms  -- with HLT + no standardise + partial lookahead + no save 1084ms  -- with HLT + standardise + partial lookahead + no save 1286ms  -- with HLT + no standardise + full lookahead + save 786ms  -- with HLT + standardise + full lookahead + save 785ms  -- with HLT + no standardise + partial lookahead + save 780ms  -- with HLT + standardise + partial lookahead + save 783ms  -- with Felsch + no standardisation 672ms  -- with Felsch + standardisation 675ms  -- with random strategy 1079ms  -- with Rc style + full lookahead 677ms  -- with Rc style + partial lookahead 674ms  -- with R/C style 1087ms  -- with CR style 688ms  -- with Cr style 682ms ToddCoxeter 084: Campbell-Reza 1 . . .  -- with HLT + no standardise + full lookahead + no save 220μs  -- with HLT + standardise + full lookahead + no save 161μs  -- with HLT + no standardise + partial lookahead + no save 146μs  -- with HLT + standardise + partial lookahead + no save 176μs  -- with HLT + no standardise + full lookahead + save 173μs  -- with HLT + standardise + full lookahead + save 161μs  -- with HLT + no standardise + partial lookahead + save 160μs  -- with HLT + standardise + partial lookahead + save 159μs  -- with Felsch + no standardisation 172μs  -- with Felsch + standardisation 173μs  -- with random strategy 141μs  -- with Rc style + full lookahead 136μs  -- with Rc style + partial lookahead 115μs  -- with R/C style 135μs  -- with CR style 165μs  -- with Cr style 168μs ToddCoxeter 085: Renner monoid type D4 (Gay-Hivert), q = 1 . . .  -- with HLT + no standardise + full lookahead + no save 198ms  -- with HLT + standardise + full lookahead + no save 200ms  -- with HLT + no standardise + partial lookahead + no save 202ms  -- with HLT + standardise + partial lookahead + no save 200ms  -- with HLT + no standardise + full lookahead + save 192ms  -- with HLT + standardise + full lookahead + save 193ms  -- with HLT + no standardise + partial lookahead + save 192ms  -- with HLT + standardise + partial lookahead + save 191ms  -- with Felsch + no standardisation 192ms  -- with Felsch + standardisation 192ms  -- with random strategy 193ms  -- with Rc style + full lookahead 195ms  -- with Rc style + partial lookahead 194ms  -- with R/C style 195ms  -- with CR style 194ms  -- with Cr style 195ms ToddCoxeter 086: trivial semigroup . . . 655ms ToddCoxeter 092: ACE --- perf602p5 - HLT . . .  -- with HLT + no standardise + full lookahead + no save 78ms  -- with HLT + standardise + full lookahead + no save 76ms  -- with HLT + no standardise + partial lookahead + no save 76ms  -- with HLT + standardise + partial lookahead + no save 75ms  -- with HLT + no standardise + full lookahead + save 30ms  -- with HLT + standardise + full lookahead + save 31ms  -- with HLT + no standardise + partial lookahead + save 30ms  -- with HLT + standardise + partial lookahead + save 31ms  -- with random strategy 32ms  -- with Felsch + no standardisation 23ms  -- with Felsch + standardisation 22ms ToddCoxeter 094: ACE --- C5 - HLT . . .  -- with HLT + no standardise + full lookahead + no save 175μs  -- with HLT + standardise + full lookahead + no save 151μs  -- with HLT + no standardise + partial lookahead + no save 123μs  -- with HLT + standardise + partial lookahead + no save 111μs  -- with HLT + no standardise + full lookahead + save 154μs  -- with HLT + standardise + full lookahead + save 144μs  -- with HLT + no standardise + partial lookahead + save 150μs  -- with HLT + standardise + partial lookahead + save 164μs  -- with random strategy 159μs  -- with Felsch + no standardisation 136μs  -- with Felsch + standardisation 132μs ToddCoxeter 095: ACE --- A5-C5 . . .  -- with HLT + no standardise + full lookahead + no save 150μs  -- with HLT + standardise + full lookahead + no save 159μs  -- with HLT + no standardise + partial lookahead + no save 151μs  -- with HLT + standardise + partial lookahead + no save 155μs  -- with HLT + no standardise + full lookahead + save 228μs  -- with HLT + standardise + full lookahead + save 228μs  -- with HLT + no standardise + partial lookahead + save 228μs  -- with HLT + standardise + partial lookahead + save 238μs  -- with random strategy 177μs  -- with Felsch + no standardisation 194μs  -- with Felsch + standardisation 193μs ToddCoxeter 096: ACE --- A5 . . .  -- with HLT + no standardise + full lookahead + no save 339μs  -- with HLT + standardise + full lookahead + no save 427μs  -- with HLT + no standardise + partial lookahead + no save 292μs  -- with HLT + standardise + partial lookahead + no save 433μs  -- with HLT + no standardise + full lookahead + save 635μs  -- with HLT + standardise + full lookahead + save 681μs  -- with HLT + no standardise + partial lookahead + save 664μs  -- with HLT + standardise + partial lookahead + save 673μs  -- with random strategy 486μs  -- with Felsch + no standardisation 433μs  -- with Felsch + standardisation 441μs ToddCoxeter 098: relation ordering . . .  -- with Felsch + no standardisation 977μs  -- with Felsch + standardisation 920μs  -- with HLT + no standardise + full lookahead + no save 464μs  -- with HLT + standardise + full lookahead + no save 458μs  -- with HLT + no standardise + partial lookahead + no save 483μs  -- with HLT + standardise + partial lookahead + no save 454μs  -- with HLT + no standardise + full lookahead + save 985μs  -- with HLT + standardise + full lookahead + save 992μs  -- with HLT + no standardise + partial lookahead + save 982μs  -- with HLT + standardise + partial lookahead + save 1003μs  -- with random strategy 505μs ToddCoxeter 099: short circuit size in obviously infinite . . . 27μs ToddCoxeter 101: http://brauer.maths.qmul.ac.uk/Atlas/spor/M [...] . . . 1260ms ToddCoxeter 108: http://brauer.maths.qmul.ac.uk/Atlas/lin/L3 [...] . . . 1414ms ToddCoxeter 110: to_gap_string . . . 111μs ToddCoxeter 111: partition_monoid(2) . . . 95μs ToddCoxeter 112: brauer_monoid(4) (Kudryavtseva + Mazorchuk) . . . 551μs ToddCoxeter 113: symmetric_inverse_monoid . . . 31ms ToddCoxeter 116: symmetric_group(7, Burnside + Miller) . . . 1043ms UF 001: constructor by size . . . 22μs UF 002: copy constructor . . . 28μs UF 003: find . . . 23μs Ukkonen 000: basic tests . . . 103ms Ukkonen 001: maximal_piece_prefix 1 . . . 58μs Ukkonen 002: maximal_piece_prefix 2 . . . 64μs Ukkonen 003: maximal_piece_prefix 3 . . . 403μs Ukkonen 004: number_of_pieces . . . 111μs Ukkonen 005: traverse . . . 34μs Ukkonen 006: dot . . . 252μs Ukkonen 007: strings . . . 80μs Ukkonen 008: dfs #01 . . . 49μs Ukkonen 009: dfs #02 . . . 57μs Ukkonen 010: dfs #03 . . . 44μs Ukkonen 011: dfs #04 . . . 115μs Ukkonen 012: dfs #05 . . . 81μs Ukkonen 013: dfs #06 . . . 74μs Ukkonen 014: dfs #07 . . . 159μs Ukkonen 015: dfs #08 . . . 105μs Ukkonen 016: dfs #09 . . . 152μs Ukkonen 017: dfs #10 . . . 44μs Ukkonen 018: pieces . . . 71μs Ukkonen 019: code coverage . . . 66μs Ukkonen 020: code coverage . . . 16μs action_digraph_helper 015: detail::to_string . . . 33μs action_digraph_helper 016: make . . . 53μs action_digraph_helper 017: is_connected . . . 222μs action_digraph_helper 018: is_strictly_cyclic . . . 15ms follow_path 012: 20 node path . . . 38μs fpsemi-examples 002: full_transformation_monoid author except . . . 71μs fpsemi-examples 003: full_transformation_monoid degree except . . . 32μs fpsemi-examples 005: partial_transformation_monoid author except . . . 35μs fpsemi-examples 006: partial_transformation_monoid degree except . . . 28μs fpsemi-examples 007: symmetric_inverse_monoid(5) . . . 31ms fpsemi-examples 008: symmetric_group auth except . . . 72μs fpsemi-examples 009: symmetric_group degree except . . . 32μs fpsemi-examples 010: symmetric_group(6) Burnside + Miller . . . 48ms fpsemi-examples 011: dual_symmetric_inverse_monoid(5) . . . 442ms fpsemi-examples 012: dual_symmetric_inverse_monoid auth except . . . 68μs fpsemi-examples 013: dual_symmetric_inverse_monoid degree except . . . 31μs fpsemi-examples 014: uniform_block_bijection_monoid(5) . . . 23ms fpsemi-examples 015: uniform_block_bijection_monoid auth except . . . 72μs fpsemi-examples 016: uniform_block_bijection_monoid degree except . . . 31μs fpsemi-examples 019: partition_monoid auth except . . . 49μs fpsemi-examples 020: partition_monoid degree except . . . 45μs fpsemi-examples 022: monogenic_semigroup(4, 9) . . . 74μs fpsemi-examples 023: fibonacci_semigroup(2, 5) . . . 127μs fpsemi-examples 024: temperley_lieb_monoid(10) . . . 89ms fpsemi-examples 025: singular_brauer_monoid(6) . . . 790ms fpsemi-examples 026: orientation_preserving_monoid(6) . . . 50ms fpsemi-examples 027: orientation_reversing_monoid(5) . . . 11ms fpsemi-examples 028: chinese_monoid(3) . . . 210μs fpsemi-examples 029: plactic_monoid(3) . . . 167μs fpsemi-examples 030: stylic_monoid(3) . . . 1263μs fpsemi-examples 031: symmetric_group(6) Carmichael . . . 28ms fpsemi-examples 032: symmetric_group(6) Moore index 0 . . . 21ms fpsemi-examples 033: symmetric_group(6) Coxeter + Moser . . . 11ms fpsemi-examples 034: test for the rook monoid . . . 471μs fpsemi-examples 035: alternating_group(7) Moore . . . 46ms fpsemi-examples 036: alternating_group auth except . . . 68μs fpsemi-examples 037: alternating_group degree except . . . 31μs fpsemi-examples 038: partial_transformation_monoid(3) Machine . . . 434μs fpsemi-examples 039: chinese_monoid degree except . . . 49μs fpsemi-examples 040: monogenic_semigroup degree except . . . 44μs fpsemi-examples 041: rectangular_band degree except . . . 71μs fpsemi-examples 042: stellar_monoid degree except . . . 41μs fpsemi-examples 043: plactic_monoid degree except . . . 38μs fpsemi-examples 044: stylic_monoid degree except . . . 37μs fpsemi-examples 045: temperley_lieb_monoid degree except . . . 47μs fpsemi-examples 046: singular_brauer_monoid degree except . . . 46μs fpsemi-examples 047: orientation_preserving_monoid degree except . . . 49μs fpsemi-examples 048: orientation_reversing_monoid degree except . . . 48μs fpsemi-examples 049: test default values . . . 5215μs fpsemi-examples 052: not_symmetric_group(5) Guralnick + Kant [...] . . . 4242μs fpsemi-examples 053: order_preserving_monoid(5) . . . 1033μs fpsemi-examples 055: order_preserving_monoid degree except . . . 84μs fpsemi-examples 056: cyclic_inverse_monoid(4) Fernandes 1 . . . 385μs fpsemi-examples 057: cyclic_inverse_monoid(8) Fernandes index 1 . . . 25ms fpsemi-examples 058: cyclic_inverse_monoid Fernandes index 0 . . . 45ms fpsemi-examples 059: order_preserving_cyclic_inverse_monoid(4) . . . 244μs fpsemi-examples 060: order_preserving_cyclic_inverse_monoid(10) . . . 57ms fpsemi-examples 061: cyclic_inverse_monoid degree except . . . 142μs fpsemi-examples 062: cyclic_inverse_monoid author except . . . 50μs fpsemi-examples 063: order_preserving_monoid degree except . . . 50μs fpsemi-examples 064: symmetric_group index except . . . 46μs fpsemi-examples 065: symmetric_group(7) Moore index 1 . . . 11ms fpsemi-examples 066: order_preserving_cyclic_inverse_monoid(10) . . . 56ms fpsemi-examples 067: partial_isometries_cycle_graph_monoid(5) . . . 1007μs fpsemi-examples 068: partial_isometries_cycle_graph_monoid(10) . . . 414ms fpsemi-examples 069: partial_isometries_cycle_graph_monoid d [...] . . . 89μs fpsemi-examples 070: partial_isometries_cycle_graph_monoid(4) . . . 487μs freeband_equal_to 001: . . . 835μs is_acyclic 000: 2-cycle . . . 18μs is_acyclic 001: 1-cycle . . . 16μs is_acyclic 002: multi-digraph . . . 20μs is_acyclic 003: complete digraph 100 . . . 117μs is_acyclic 004: acyclic digraph with 20000 nodes . . . 2466μs is_acyclic 006: for a node . . . 1379μs is_acyclic 007: for a node . . . 28μs is_reachable 008: acyclic 20 node digraph . . . 85μs is_reachable 009: 100 node path . . . 16ms is_reachable 010: 100 node cycle . . . 15ms is_reachable 011: 20 node clique . . . 657μs last_node_on_path_nc 014: 20 node path . . . 27μs make 000: from FroidurePin . . . 631μs make 001: from FroidurePin and alphabet . . . 808μs make 002: presentation from presentation . . . 303μs make 003: presentation from presentation and alphabet . . . 68μs make 004: argument checks issue . . . 152μs make 005: use human readable alphabet for make . . . 27μs make> 000: from ActionDigraph . . . 1900μs make> 001: from ActionDigraph (exceptions) . . . 74μs number_of_words 001: . . . 29μs operator"" _w 003: literal . . . 19μs silo 000: alphabet: a, min: 0, max: 10 . . . 57μs silo 001: corner cases . . . 38μs silo 002: alphabet: ab, min: 1, max: 4 . . . 61μs silo 003: alphabet: abc, min: 0, max: 13 . . . 107ms silo 004: code coverage . . . 37μs sislo 005: alphabet: a, min: 0, max: 10 . . . 48μs sislo 006: corner cases . . . 101μs sislo 007: alphabet: ab, min: 1, max: 4 . . . 112μs sislo 008: alphabet: abc, min: 0, max: 13 . . . 115ms sislo 009: code coverage . . . 37μs string 000: detail::is_suffix . . . 18μs string 001: detail::is_prefix . . . 18μs string 002: detail::maximum_common_suffix . . . 16μs string 003: detail::group_digits . . . 31μs string_to_word 002: . . . 17μs validate_label 013: 20 node path . . . 63μs wilo 001: corner cases . . . 47μs wilo 002: letters: 2, min: 1, max: 4 . . . 45μs wilo 003: letters: 2, min: 1, max: 4 . . . 70μs wilo 004: letters: 3, min: 0, max: 10 . . . 26ms wilo 005: letters: 3, min: 0, max: 13 . . . 201ms wilo 006: forward iterator requirements . . . 199ms wilo 007: more corner cases . . . 62μs wilo 008: starting at a given word 1 . . . 170μs wilo 009: starting at a given word 2 . . . 26μs wilo 010: code coverage . . . 27μs wislo 000: n: 2, min; 1, max: 4 . . . 31μs wislo 001: corner cases . . . 52μs wislo 002: n: 3, min; 0, max: 10 . . . 6474μs wislo 003: n: 3, min; 0, max: 13 . . . 193ms wislo 004: lex + sort . . . 602ms wislo 005: code coverage . . . 39μs =============================================================================== All tests passed (1226211 assertions in 1190 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' libfakeroot internal error: payload not recognized! ./config/install-sh -c -d '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/pkgconfig' 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; }; }) ./config/install-sh -c -d '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups' libtool: install: (cd /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib && { ln -s -f libsemigroups.so.2.0.0 libsemigroups.so || { rm -f libsemigroups.so && ln -s libsemigroups.so.2.0.0 libsemigroups.so; }; }) ./config/install-sh -c -d '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups/textflowcpp' /usr/bin/install -c -m 644 libsemigroups.pc '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/pkgconfig' libtool: install: /usr/bin/install -c .libs/libsemigroups.lai /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/libsemigroups.la /usr/bin/install -c -m 644 include/libsemigroups/action.hpp include/libsemigroups/adapters.hpp include/libsemigroups/bipart.hpp include/libsemigroups/bitset.hpp include/libsemigroups/bmat8.hpp include/libsemigroups/bmat.hpp include/libsemigroups/bruidhinn-traits.hpp include/libsemigroups/config.hpp include/libsemigroups/cong-intf.hpp include/libsemigroups/cong-pair-impl.hpp include/libsemigroups/cong-pair.hpp include/libsemigroups/cong-wrap.hpp include/libsemigroups/cong.hpp include/libsemigroups/constants.hpp include/libsemigroups/containers.hpp include/libsemigroups/coset.hpp include/libsemigroups/debug.hpp include/libsemigroups/deprecated.hpp include/libsemigroups/digraph-helper.hpp include/libsemigroups/digraph-with-sources.hpp include/libsemigroups/digraph-with-sources.tpp include/libsemigroups/digraph.hpp include/libsemigroups/exception.hpp include/libsemigroups/fastest-bmat.hpp include/libsemigroups/felsch-tree.hpp include/libsemigroups/felsch-digraph.hpp include/libsemigroups/felsch-digraph.tpp include/libsemigroups/forest.hpp include/libsemigroups/fpsemi-examples.hpp include/libsemigroups/fpsemi-intf.hpp include/libsemigroups/fpsemi.hpp include/libsemigroups/freeband.hpp include/libsemigroups/froidure-pin-base.hpp include/libsemigroups/froidure-pin-impl.hpp include/libsemigroups/froidure-pin.hpp include/libsemigroups/function-ref.hpp include/libsemigroups/hpcombi.hpp include/libsemigroups/int-range.hpp include/libsemigroups/iterator.hpp include/libsemigroups/kambites.hpp '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups' libtool: install: /usr/bin/install -c .libs/libsemigroups.a /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/libsemigroups.a /usr/bin/install -c -m 644 extern/textflowcpp/TextFlow.hpp '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups/textflowcpp' libtool: install: chmod 644 /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/libsemigroups.a /usr/bin/install -c -m 644 include/libsemigroups/kbe.hpp include/libsemigroups/knuth-bendix.hpp include/libsemigroups/konieczny.hpp include/libsemigroups/libsemigroups.hpp include/libsemigroups/make-froidure-pin.hpp include/libsemigroups/make-present.hpp include/libsemigroups/matrix.hpp include/libsemigroups/node-manager.hpp include/libsemigroups/obvinf.hpp include/libsemigroups/order.hpp include/libsemigroups/pbr.hpp include/libsemigroups/pool.hpp include/libsemigroups/present.hpp include/libsemigroups/present.tpp include/libsemigroups/race.hpp include/libsemigroups/report.hpp include/libsemigroups/runner.hpp include/libsemigroups/schreier-sims.hpp include/libsemigroups/schreier-sims-helper.hpp include/libsemigroups/sims1.hpp include/libsemigroups/sims1.tpp include/libsemigroups/siso.hpp include/libsemigroups/stl.hpp include/libsemigroups/stephen.hpp include/libsemigroups/string-view.hpp include/libsemigroups/string.hpp include/libsemigroups/tce.hpp include/libsemigroups/timer.hpp include/libsemigroups/todd-coxeter-digraph.hpp include/libsemigroups/todd-coxeter-digraph.tpp include/libsemigroups/todd-coxeter.hpp include/libsemigroups/transf.hpp include/libsemigroups/types.hpp include/libsemigroups/uf.hpp include/libsemigroups/ukkonen.hpp include/libsemigroups/ukkonen.tpp include/libsemigroups/wilo.hpp include/libsemigroups/wislo.hpp include/libsemigroups/word.hpp '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups' libtool: install: ranlib /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/libsemigroups.a libtool: warning: remember to run 'libtool --finish /usr/lib' make[1]: Leaving directory '/home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.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 >>> libsemigroups-static*: Running postcheck for libsemigroups-static >>> libsemigroups-dev*: Running split function dev... '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-x86.so.1 so:libfmt.so.12 so:libgcc_s.so.1 so:libstdc++.so.6 >>> libsemigroups*: Package size: 1.7 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: 4.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 Tue, 29 Sep 2026 14:27:19 +0000 elapsed time 0h 18m 29s >>> libsemigroups: Cleaning up srcdir >>> libsemigroups: Cleaning up pkgdir >>> libsemigroups: Cleaning up tmpdir >>> libsemigroups: Uninstalling dependencies... (1/4) Purging .makedepends-libsemigroups (20260929.140852) (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: 427.1 MiB in 105 packages >>> libsemigroups: Updating the testing/x86 repository index... >>> libsemigroups: Signing the index...