>>> libsemigroups: Building testing/libsemigroups 2.7.3-r0 (using abuild 3.12.0-r2) started Mon, 22 Jan 2024 06:19:22 +0000 >>> libsemigroups: Checking sanity of /home/buildozer/aports/testing/libsemigroups/APKBUILD... >>> WARNING: libsemigroups: No maintainer >>> libsemigroups: Analyzing dependencies... >>> libsemigroups: Installing for build: build-base eigen-dev fmt-dev (1/4) Installing eigen-dev (3.4.0-r9) (2/4) Installing fmt (10.1.1-r0) (3/4) Installing fmt-dev (10.1.1-r0) (4/4) Installing .makedepends-libsemigroups (20240122.061924) OK: 390 MiB in 117 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 % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 0 146 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 curl: (22) The requested URL returned error: 404 >>> libsemigroups: Fetching https://github.com/libsemigroups/libsemigroups/releases/download/v2.7.3/libsemigroups-2.7.3.tar.gz % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 1 2484k 1 49143 0 0 59507 0 0:00:42 --:--:-- 0:00:42 59507 100 2484k 100 2484k 0 0 2903k 0 --:--:-- --:--:-- --:--:-- 82.0M >>> libsemigroups: Fetching https://distfiles.alpinelinux.org/distfiles/edge/libsemigroups-2.7.3.tar.gz >>> libsemigroups: Checking sha512sums... libsemigroups-2.7.3.tar.gz: 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' checking build system type... i586-alpine-linux-musl checking host system type... i586-alpine-linux-musl checking target system type... i586-alpine-linux-musl checking for a BSD-compatible install... /usr/bin/install -c checking whether build environment is sane... yes checking for a race-free mkdir -p... ./config/install-sh -c -d checking for gawk... no checking for mawk... no checking for nawk... no checking for awk... awk checking whether make sets $(MAKE)... yes checking whether make supports nested variables... yes checking how to create a pax tar archive... gnutar checking whether make supports nested variables... (cached) yes checking whether make supports the include directive... yes (GNU style) checking for i586-alpine-linux-musl-gcc... gcc checking whether the C compiler works... yes checking for C compiler default output file name... a.out checking for suffix of executables... checking whether we are cross compiling... no checking for suffix of object files... o checking whether the compiler supports GNU C... yes checking whether gcc accepts -g... yes checking for gcc option to enable C11 features... none needed checking whether gcc understands -c and -o together... yes checking dependency style of gcc... gcc3 checking for i586-alpine-linux-musl-ar... no checking for i586-alpine-linux-musl-lib... no checking for i586-alpine-linux-musl-link... no checking for ar... ar checking the archiver (ar) interface... ar checking whether the compiler supports GNU C++... yes checking whether g++ accepts -g... yes checking for g++ option to enable C++11 features... none needed checking dependency style of g++... gcc3 checking whether g++ supports C++14 features by default... yes checking for a sed that does not truncate output... /bin/sed checking how to run the C preprocessor... gcc -E checking for grep that handles long lines and -e... /bin/grep checking for egrep... /bin/grep -E checking whether gcc is Clang... no checking whether pthreads work with "-pthread" and "-lpthread"... yes checking for joinable pthread attribute... PTHREAD_CREATE_JOINABLE checking whether more special flags are required for pthreads... no checking for PTHREAD_PRIO_INHERIT... yes checking for pthread_create in -lpthread... yes checking whether to enable maintainer-specific portions of Makefiles... no checking whether ln -s works... yes checking how to print strings... printf checking for a sed that does not truncate output... (cached) /bin/sed checking for fgrep... /bin/grep -F checking for ld used by gcc... /usr/i586-alpine-linux-musl/bin/ld checking if the linker (/usr/i586-alpine-linux-musl/bin/ld) is GNU ld... yes checking for BSD- or MS-compatible name lister (nm)... /usr/bin/nm -B checking the name lister (/usr/bin/nm -B) interface... BSD nm checking the maximum length of command line arguments... 98304 checking how to convert i586-alpine-linux-musl file names to i586-alpine-linux-musl format... func_convert_file_noop checking how to convert i586-alpine-linux-musl file names to toolchain format... func_convert_file_noop checking for /usr/i586-alpine-linux-musl/bin/ld option to reload object files... -r checking for i586-alpine-linux-musl-file... no checking for file... file checking for i586-alpine-linux-musl-objdump... no checking for objdump... objdump checking how to recognize dependent libraries... pass_all checking for i586-alpine-linux-musl-dlltool... no checking for dlltool... no checking how to associate runtime and link libraries... printf %s\n checking for i586-alpine-linux-musl-ar... ar checking for archiver @FILE support... @ checking for i586-alpine-linux-musl-strip... no checking for strip... strip checking for i586-alpine-linux-musl-ranlib... no checking for ranlib... ranlib checking command to parse /usr/bin/nm -B output from gcc object... ok checking for sysroot... no checking for a working dd... /bin/dd checking how to truncate binary pipes... /bin/dd bs=4096 count=1 checking for i586-alpine-linux-musl-mt... no checking for mt... no checking if : is a manifest tool... no checking for stdio.h... yes checking for stdlib.h... yes checking for string.h... yes checking for inttypes.h... yes checking for stdint.h... yes checking for strings.h... yes checking for sys/stat.h... yes checking for sys/types.h... yes checking for unistd.h... yes checking for dlfcn.h... yes checking for objdir... .libs checking if gcc supports -fno-rtti -fno-exceptions... no checking for gcc option to produce PIC... -fPIC -DPIC checking if gcc PIC flag -fPIC -DPIC works... yes checking if gcc static flag -static works... yes checking if gcc supports -c -o file.o... yes checking if gcc supports -c -o file.o... (cached) yes checking whether the gcc linker (/usr/i586-alpine-linux-musl/bin/ld) supports shared libraries... yes checking whether -lc should be explicitly linked in... no checking dynamic linker characteristics... GNU/Linux ld.so checking how to hardcode library paths into programs... immediate checking whether stripping libraries is possible... yes checking if libtool supports shared libraries... yes checking whether to build shared libraries... yes checking whether to build static libraries... yes checking how to run the C++ preprocessor... g++ -E checking for ld used by g++... /usr/i586-alpine-linux-musl/bin/ld checking if the linker (/usr/i586-alpine-linux-musl/bin/ld) is GNU ld... yes checking whether the g++ linker (/usr/i586-alpine-linux-musl/bin/ld) supports shared libraries... yes checking for g++ option to produce PIC... -fPIC -DPIC checking if g++ PIC flag -fPIC -DPIC works... yes checking if g++ static flag -static works... yes checking if g++ supports -c -o file.o... yes checking if g++ supports -c -o file.o... (cached) yes checking whether the g++ linker (/usr/i586-alpine-linux-musl/bin/ld) supports shared libraries... yes checking dynamic linker characteristics... (cached) GNU/Linux ld.so checking how to hardcode library paths into programs... immediate checking for limits.h... yes checking for stdint.h... (cached) yes checking for stdlib.h... (cached) yes checking for sys/time.h... yes checking for unistd.h... (cached) yes checking for pthread.h... yes checking for _Bool... yes checking for stdbool.h that conforms to C99... yes checking for inline... inline checking for int64_t... yes checking for size_t... yes checking for uint64_t... yes checking for ptrdiff_t... yes checking size of void *... 4 checking for GNU libc compatible malloc... yes checking for gettimeofday... yes checking for memset... yes checking for pow... yes checking for sqrt... yes checking whether to enable debug mode... no checking whether to enable verbose mode... no checking whether enable compiler warnings... no checking whether to enable stats mode... yes checking whether to 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-bmat8.o CXX tests/test-cong-intf.o CXX tests/test-cong-pair.o CXX tests/test-cong.o CXX tests/test-constants.o CXX tests/test-containers.o CXX tests/test-digraph-helper.o CXX tests/test-digraph.o CXX tests/test-felsch-tree.o CXX tests/test-forest.o CXX tests/test-fpsemi.o CXX tests/test-fpsemi-examples-1.o CXX tests/test-fpsemi-examples-2.o CXX tests/test-fpsemi-examples-3.o CXX tests/test-fpsemi-intf.o CXX tests/test-freeband.o CXX tests/test-froidure-pin-bipart.o CXX tests/test-froidure-pin-bmat8.o CXX tests/test-froidure-pin-bmat.o CXX tests/test-froidure-pin-integers.o CXX tests/test-froidure-pin-intmat.o CXX tests/test-froidure-pin-intpairs.o CXX tests/test-froidure-pin-matrix.o CXX tests/test-froidure-pin-maxplustrunc.o CXX tests/test-froidure-pin-pbr.o CXX tests/test-froidure-pin-pperm.o CXX tests/test-froidure-pin-projmaxplus.o CXX tests/test-froidure-pin-transf.o CXX tests/test-hpcombi.o CXX tests/test-iterator.o CXX tests/test-kambites.o CXX tests/test-kbe.o CXX tests/test-knuth-bendix-1.o CXX tests/test-knuth-bendix-2.o CXX tests/test-knuth-bendix-3.o CXX tests/test-knuth-bendix-4.o CXX tests/test-knuth-bendix-5.o CXX tests/test-knuth-bendix-6.o CXX tests/test-konieczny-bmat8-1.o CXX tests/test-konieczny-bmat8-2.o CXX tests/test-konieczny-bmat8-3.o CXX tests/test-konieczny-transf.o CXX tests/test-konieczny-bmat.o CXX tests/test-konieczny-pperm.o CXX tests/test-main.o CXX tests/test-make-present.o CXX tests/test-make-froidure-pin.o CXX tests/test-matrix.o CXX tests/test-obvinf.o CXX tests/test-order.o CXX tests/test-pbr.o CXX tests/test-pool.o CXX tests/test-present.o CXX tests/test-race.o CXX tests/test-runner.o CXX tests/test-schreier-sims.o CXX tests/test-schreier-sims-helper.o CXX tests/test-sims1.o CXX tests/test-siso.o CXX tests/test-stephen.o CXX tests/test-string.o CXX tests/test-string-view.o CXX tests/test-timer.o CXX tests/test-todd-coxeter.o CXX tests/test-types.o CXX tests/test-uf.o CXX tests/test-ukkonen.o CXX tests/test-wilo.o CXX tests/test-wislo.o CXX tests/test-word.o In file included from /usr/include/c++/13.2.1/algorithm:61, from tests/test-matrix.cpp:17: In function 'void std::__final_insertion_sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = libsemigroups::StaticRowView*; _Compare = __gnu_cxx::__ops::_Iter_comp_iter >():: >]', inlined from 'void std::__sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = libsemigroups::StaticRowView*; _Compare = __gnu_cxx::__ops::_Iter_comp_iter >():: >]' at /usr/include/c++/13.2.1/bits/stl_algo.h:1950:31, inlined from 'void std::sort(_RAIter, _RAIter, _Compare) [with _RAIter = libsemigroups::StaticRowView*; _Compare = libsemigroups::{anonymous}::test_BMat000 >()::]' at /usr/include/c++/13.2.1/bits/stl_algo.h:4894:18, inlined from 'void libsemigroups::{anonymous}::test_BMat000() [with Mat = libsemigroups::StaticMatrix]' at tests/test-matrix.cpp:166:18: /usr/include/c++/13.2.1/bits/stl_algo.h:1859:32: warning: array subscript 16 is outside array bounds of 'libsemigroups::detail::StaticVector1, 2> [1]' [-Warray-bounds=] 1859 | std::__insertion_sort(__first, __first + int(_S_threshold), __comp); | ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ tests/test-matrix.cpp: In function 'void libsemigroups::{anonymous}::test_BMat000() [with Mat = libsemigroups::StaticMatrix]': tests/test-matrix.cpp:160:14: note: at offset 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 . . . 56μs Action 002: row and column basis orbits for BMat8 . . . 9412μs Action 003: add generators after enumeration . . . 8830μs Action 004: multipliers for BMat8 row and column orbits . . . 13ms Action 005: orbits for regular boolean mat monoid 5 . . .  Action 007: partial perm image orbit . . . 248μs Action 008: partial perm image orbit . . . 65ms Action 009: partial perm image orbit . . . 73ms Action 010: partial perm image orbit . . . 73ms Action 011: permutation on integers . . . 30μs Action 012: permutation on sets, arrays . . . 197μs Action 013: permutation on tuples, arrays . . . 12ms Action 014: permutation on sets, vectors . . . 245μs Action 015: permutation on tuples, vectors . . . 21ms Action 016: misc . . . 2264μs Action 017: partial perm image orbit . . . 53μs Action 018: permutation on tuples, arrays (360360) . . . 174ms Action 019: orbits for regular BMat8 monoid 5 with stop/start . . .  Action 021: orbits for regular boolean mat monoid 5 (BMat<5> [...] . . . 449ms ActionDigraph 000: constructor with 1 default arg . . . 29μs ActionDigraph 001: constructor with 0 default args . . . 63μs ActionDigraph 002: add nodes . . . 29μs ActionDigraph 003: add edges . . . 307μs ActionDigraph 004: strongly connected components - cycles . . . 36μs ActionDigraph 005: strongly connected components - no edges . . . 56ms ActionDigraph 006: strongly connected components - disjoint cycles . . . 2048μs ActionDigraph 007: strongly connected components - complete graphs . . . 1026μs ActionDigraph 008: exceptions . . . 99μs ActionDigraph 009: spanning forest - complete graphs . . . 4560μs ActionDigraph 010: spanning forest - disjoint cycles . . . 137μs ActionDigraph 011: restrict . . . 13μs ActionDigraph 012: remove_edge_nc . . . 12μs ActionDigraph 013: scc large cycle . . . 17ms ActionDigraph 014: random . . . 28μs ActionDigraph 015: reserve . . . 12μs ActionDigraph 016: default constructors . . . 18μs ActionDigraph 017: scc iterators . . . 1624μs ActionDigraph 018: iterator to edges . . . 619μs ActionDigraph 019: root of scc . . . 411μs ActionDigraph 020: cbegin/end_panislo - 100 node path . . . 703μs ActionDigraph 021: cbegin/end_pislo . . . 60μs ActionDigraph 022: cbegin/end_pani(s)lo - 100 node cycle . . . 989μs ActionDigraph 023: cbegin/cend_pilo - tree 14 nodes . . . 104μs ActionDigraph 024: cbegin/end_pstilo - Cayley digraph . . . 208ms ActionDigraph 025: cbegin_pstilo - Tsalakou . . . 512μs ActionDigraph 026: cbegin/end_pstislo - Cayley digraph . . . 207ms ActionDigraph 027: cbegin/end_pstislo - Cayley digraph . . . 280μs ActionDigraph 028: path iterators corner cases . . . 210μs ActionDigraph 029: reverse node iterator . . . 14μs ActionDigraph 030: pstilo corner case . . . 57μs ActionDigraph 031: number_of_paths corner cases . . . 78μs ActionDigraph 032: number_of_paths acyclic digraph . . . 14ms ActionDigraph 033: number_of_paths binary tree . . . 588ms ActionDigraph 034: number_of_paths large binary tree . . . 146ms ActionDigraph 035: number_of_paths 400 node random digraph . . . 785μs ActionDigraph 036: number_of_paths 10 node acyclic digraph . . . 52μs ActionDigraph 037: number_of_paths node digraph . . . 3435μs ActionDigraph 038: random/random_acyclic exceptions . . . 114μs ActionDigraph 039: unsafe (next) neighbour . . . 85μs ActionDigraph 040: number_of_egdes incident to a node . . . 108μs ActionDigraph 041: number_of_paths (matrix) . . . 27ms ActionDigraph 042: number_of_paths (matrix) . . . 18μs ActionDigraph 043: swap_edge_nc . . . 12μs ActionDigraph 044: detail::pow for non-square Eigen matrix . . . 25μs ActionDigraph 045: operator<< . . . 18μs Array2 044: all . . . 57μs BMat8 001: transpose . . . 30μs BMat8 002: multiplication . . . 24μs BMat8 003: identity matrix . . . 17μs BMat8 004: random . . . 327μs BMat8 005: call operator . . . 24μs BMat8 006: operator<< . . . 20μs BMat8 007: set . . . 68μs BMat8 008: row space basis . . . 1416μs BMat8 009: col space basis . . . 1356μs BMat8 010: row space basis . . . 16ms BMat8 011: number_of_rows, number_of_cols . . . 52μs BMat8 012: row_space, col_space . . . 307μs BMat8 013: rows . . . 56μs BMat8 014: one . . . 14μs BMat8 015: vector constructor . . . 95μs BMat8 016: operator< . . . 18μs BMat8 017: adapters . . . 28μs BMat8 018: one . . . 14μs Bipartition 009: mem fns 1 . . . 32μs Bipartition 010: hash . . . 9000ns Bipartition 011: mem fns 2 . . . 25μs Bipartition 012: delete/copy . . . 11μs Bipartition 013: degree 0 . . . 12μs Bipartition 014: exceptions . . . 47μs Bipartition 015: convenience constructor . . . 257μs Bipartition 016: force copy constructor over move constructor . . . 20μs Bipartition 017: adapters . . . 10μs BitSet 000: size . . . 12μs BitSet 001: operator< . . . 11μs BitSet 002: operator== . . . 13μs BitSet 003: operator!= . . . 13μs BitSet 004: operator&= . . . 14μs BitSet 005: & . . . 25μs BitSet 006: operator|= . . . 19μs BitSet 007: operator[] . . . 19μs BitSet 008: set(none) . . . 20μs BitSet 009: set(pos, value) . . . 20μs BitSet 010: set(first, last, value) . . . 23μs BitSet 011: reset(first, last) . . . 21μs BitSet 012: reset(pos) . . . 22μs BitSet 013: apply (iterate through set bits) . . . 43μs BitSet 014: std::hash . . . 10μs BitSet 015: constructors . . . 35μs BitSet 016: max_size . . . 10μs BitSet 017: insertion operators . . . 13μs Blocks 001: empty blocks . . . 14μs Blocks 002: non-empty blocks . . . 16μs Blocks 003: left blocks of bipartition . . . 15μs Blocks 004: right blocks of bipartition . . . 28μs Blocks 005: copy [empty blocks] . . . 13μs Blocks 006: copy [non-empty blocks] . . . 16μs Blocks 007: hash value . . . 26μs Blocks 008: operator< . . . 14μs Congruence 000: left congruence on fp semigroup . . . 175μs Congruence 001: 2-sided congruence on fp semigroup . . . 434μs Congruence 002: left congruence on fp semigroup . . . 315μs Congruence 003: word_to_class_index for cong. on fp semigroup . . . 356μs Congruence 004: word_to_class_index for cong. on fp semigroup . . . 616μs Congruence 005: trivial congruence on non-fp semigroup . . . 458μs Congruence 006: 2-sided congruence on non-fp semigroup . . . 388μs Congruence 007: 2-sided congruence on fp semigroup . . . 917μs Congruence 008: 2-sided congruence on infinite fp semigroup . . . 378μs Congruence 009: 2-sided congruence on infinite fp semigroup . . . 463μs Congruence 010: 2-sided congruence on finite semigroup . . . 56ms Congruence 012: 2-sided congruence on finite semigroup . . . 4382μs Congruence 013: trivial 2-sided congruence on bicyclic monoid . . . 25ms Congruence 014: non-trivial 2-sided congruence on bicyclic monoid . . . 539μs Congruence 015: 2-sided congruence on free abelian monoid . . . 414μs Congruence 016: example where TC works but KB doesn't . . . 661μs Congruence 017: 2-sided congruence on finite semigroup . . . 386μs Congruence 018: infinite fp semigroup from GAP library . . . 567μs Congruence 019: 2-sided cong. on fp semigroup with infinite [...] . . . 331μs Congruence 020: trivial cong. on an fp semigroup . . .  -- with compute size 427μs  -- with don't compute size 362μs Congruence 021: duplicate generators . . . 512μs Congruence 022: non-trivial classes . . . 1469μs Congruence 023: right congruence on finite semigroup . . . 396ms Congruence 024: redundant generating pairs . . . 113μs Congruence 025: 2-sided cong. on free semigroup . . . 83μs Congruence 026: is_quotient_obviously_(in)finite . . . 961μs Congruence 027: less . . . 373μs Congruence 028: 2-sided congruences of BMat8 semigroup . . .  Congruence 029: left congruence on finite semigroup . . . 595μs Congruence 030: right congruence on finite semigroup . . . 607μs Congruence 031: right congruence on finite semigroup . . . 528μs Congruence 032: contains . . . 152μs Congruence 033: stellar_monoid S2 . . . 488μs Congruence 034: stellar_monoid S3 . . . 917μs Congruence 035: stellar_monoid S4 . . . 1471μs Congruence 036: stellar_monoid S5 . . . 6829μs Congruence 037: stellar_monoid S6 . . . 57ms Congruence 038: stellar_monoid S7 . . . 734ms Congruence 039: left cong. on an f.p. semigroup . . . 1263μs Congruence 040: 2-sided cong. on infinite f.p. semigroup . . . 190μs Congruence 041: 2-sided congruence constructed from type only . . . 403μs Congruence 042: const_contains . . . 539μs Congruence 043: no winner . . . 5724μs Congruence 044: congruence over smalloverlap . . . 7988μs CongruenceByPairs 001: (cong) 2-sided cong. on finite semigroup . . . 429μs CongruenceByPairs 002: (cong) left congruence on finite semigroup . . . 163μs CongruenceByPairs 003: (cong) right congruence on finite semigroup . . . 160μs CongruenceByPairs 004: (cong) trivial congruence on finite s [...] . . . 125μs CongruenceByPairs 005: (cong) trivial left congruence on fin [...] . . . 104μs CongruenceByPairs 006: (cong) trivial right congruence on fi [...] . . . 97μs CongruenceByPairs 007: (cong) universal congruence on finite [...] . . . 436μs CongruenceByPairs 009: (cong) 2-sided congruence on finite s [...] . . . 610ms CongruenceByPairs 010: (cong) left congruence on big finite [...] . . . 30ms CongruenceByPairs 011: (cong) left congruence on TCE . . . 269μs CongruenceByPairs 012: (cong) is_quotient_obviously_finite . . . 103μs CongruenceByPairs 013: (cong) class_index_to_word/quotient . . .  -- with right congruence 9961μs  -- with left congruence 1225μs  -- with 2-sided congruence 6335μs CongruenceByPairs 014: (cong) const_word_to_class_index . . .  -- with right congruence 42μs  -- with left congruence 35μs  -- with 2-sided congruence 32μs CongruenceByPairs 015: (cong) size non-Element* . . . 30ms CongruenceInterface 000: add_pair . . .  -- with ToddCoxeter 102μs  -- with KnuthBendix 149μs  -- with CongruenceByPairs 132μs  -- with Congruence 400μs CongruenceInterface 001: contains/const_contains . . .  -- with ToddCoxeter and no parent 112μs  -- with KnuthBendix and no parent 116μs  -- with Congruence and parent 346μs  -- with CongruenceByPairs and parent 123μs CongruenceInterface 002: less . . .  -- with ToddCoxeter 143μs  -- with KnuthBendix 175μs  -- with CongruenceByPairs 113μs  -- with Congruence 408μs CongruenceInterface 003: is_quotient_obviously_(in)finite . . .  -- with ToddCoxeter 64μs  -- with KnuthBendix 145μs CongruenceInterface 004: is_quotient_obviously_(in)finite . . .  -- with CongruenceByPairs 118μs  -- with Congruence 315μs CongruenceInterface 005: parent_froidure_pin . . .  -- with ToddCoxeter 30μs  -- with KnuthBendix 21μs CongruenceInterface 006: parent_froidure_pin . . .  -- with CongruenceByPairs 110μs  -- with Congruence 326μs CongruenceInterface 007: cbegin/cend_ntc . . .  -- with ToddCoxeter 273μs  -- with KnuthBendix 1225μs CongruenceInterface 008: cbegin/cend_ntc . . .  -- with CongruenceByPairs 222μs  -- with Congruence 463μs CongruenceInterface 009: quotient is immutable . . .  -- with ToddCoxeter 93μs  -- with KnuthBendix 119μs  -- with Congruence 227μs CongruenceInterface 010: no generating pairs added . . .  -- with KnuthBendix and common behaviour 5024μs  -- with Congruence and common behaviour 5176μs  -- with ToddCoxeter 66μs CongruenceInterface 011: nr generators not set . . .  -- with ToddCoxeter 98μs  -- with KnuthBendix 89μs  -- with Congruence 91μs CongruenceInterface 012: no generating pairs . . . 178μs ConstIteratorStateless 001: ? . . . 11μs ConstIteratorStateless 002: ? . . . 10μs Constants 001: Undefined . . . 16μs Constants 002: PositiveInfinity . . . 18μs Constants 003: NegativeInfinity . . . 17μs Constants 004: LimitMax . . . 16μs Duf 004: unite . . . 37μs Duf 006: compress . . . 17μs Duf 008: resize . . . 21μs Duf 009: resize . . . 14μs Duf 010: big chain . . . 21ms Duf 012: empty table . . . 12μs Duf 014: join . . . 15μs Duf 016: contains . . . 30μs Duf 018: swap . . . 34μs DynamicArray2 001: default constructor with 3 default args . . . 18μs DynamicArray2 002: default constructor with 2 default args . . . 11μs DynamicArray2 003: default constructor with 1 default args . . . 18μs DynamicArray2 004: default constructor with 0 default args . . . 12μs DynamicArray2 005: copy constructor with 1 default args . . . 13μs DynamicArray2 006: copy constructor with 0 default args . . . 17μs DynamicArray2 007: add_rows . . . 16μs DynamicArray2 008: add_rows . . . 14μs DynamicArray2 009: add_cols . . . 29μs DynamicArray2 010: set/get . . . 42μs DynamicArray2 011: append 1/2 . . . 90μs DynamicArray2 012: append 2/2 . . . 156μs DynamicArray2 013: count . . . 19μs DynamicArray2 014: clear . . . 12μs DynamicArray2 015: begin_row and end_row . . . 66μs DynamicArray2 016: cbegin_row and cend_row . . . 29μs DynamicArray2 017: iterator operator++ (postfix) . . . 293μs DynamicArray2 018: iterator operator++ (prefix) . . . 1875μs DynamicArray2 019: iterator operator-- (postfix) . . . 372μs DynamicArray2 020: iterator operator-- (prefix) . . . 371μs DynamicArray2 021: operator= . . . 16μs DynamicArray2 022: operator== and operator!= . . . 278μs DynamicArray2 023: empty and clear . . . 16μs DynamicArray2 024: max_size . . . 11μs DynamicArray2 025: swap . . . 38μs DynamicArray2 026: iterator arithmetic . . . 1645μs DynamicArray2 027: iterator comparison . . . 15μs DynamicArray2 028: iterator operator= . . . 12μs DynamicArray2 029: iterator operator[] . . . 86μs DynamicArray2 030: iterator operator-> . . . 28μs DynamicArray2 031: const_iterator operator++/-- . . . 242μs DynamicArray2 032: const_iterator operator++/-- . . . 11μs DynamicArray2 033: column iterators . . . 27μs DynamicArray2 034: column iterator arithmetic . . . 6751μs DynamicArray2 035: iterator assignment constructor . . . 1739μs DynamicArray2 036: reserve method . . . 62μs DynamicArray2 037: erase column . . . 18μs DynamicArray2 038: swap_rows . . . 13μs DynamicArray2 039: apply_row_permutation . . . 14μs DynamicArray2 040: swap . . . 13μs DynamicArray2 041: shrink_rows_to . . . 17μs DynamicArray2 042: shrink_rows_to - for range . . . 16μs FastestBMat 046: check no throw . . . 23μs FelschTree 000: previously failing example . . . 33μs Forest 001: test forest . . . 75μs FpSemigroup 001: Renner monoid type B2 (E. G. presentation), q = 1 . . . 799μs FpSemigroup 002: Renner monoid type B2 (E. G. presentation), q = 0 . . . 685μs FpSemigroup 003: Renner monoid type B3 (E. G. presentation), q = 1 . . . 62ms FpSemigroup 004: Renner monoid type B3 (E. G. presentation), q = 0 . . . 62ms FpSemigroup 005: Renner monoid type B2 (Gay-Hivert presentat [...] . . . 804μs FpSemigroup 006: Renner monoid type B2 (Gay-Hivert presentat [...] . . . 720μs FpSemigroup 007: Renner monoid type B3 (Gay-Hivert presentat [...] . . . 3536μs FpSemigroup 008: Renner monoid type B3 (Gay-Hivert presentat [...] . . . 3678μs FpSemigroup 009: Renner monoid type B4 (Gay-Hivert presentat [...] . . . 239ms FpSemigroup 010: Renner monoid type B4 (Gay-Hivert presentat [...] . . . 391ms FpSemigroup 013: Renner monoid type D2 (E. G. presentation), q = 1 . . . 948μs FpSemigroup 014: Renner monoid type D2 (E. G. presentation), q = 0 . . . 867μs FpSemigroup 015: Renner monoid type D3 (E. G. presentation), q = 1 . . . 3910μs FpSemigroup 016: Renner monoid type D3 (E. G. presentation), q = 0 . . . 3789μs FpSemigroup 017: Renner monoid type D4 (E. G. presentation), q = 1 . . . 503ms FpSemigroup 018: Renner monoid type D4 (E. G. presentation), q = 0 . . . 501ms FpSemigroup 019: Renner monoid type D2 (Gay-Hivert presentat [...] . . . 1078μs FpSemigroup 020: Renner monoid type D2 (Gay-Hivert presentat [...] . . . 962μs FpSemigroup 021: Renner monoid type D3 (Gay-Hivert presentat [...] . . . 4060μs FpSemigroup 022: Renner monoid type D3 (Gay-Hivert presentat [...] . . . 3983μs FpSemigroup 023: Renner monoid type D4 (Gay-Hivert presentat [...] . . . 87ms FpSemigroup 024: Renner monoid type D4 (Gay-Hivert presentat [...] . . . 96ms FpSemigroup 029: Rook monoid R5, q = 0 . . . 4726μs FpSemigroup 030: Rook monoid R5, q = 1 . . . 4679μs FpSemigroup 031: Rook monoid R6, q = 0 . . . 39ms FpSemigroup 032: Rook monoid R6, q = 1 . . . 40ms FpSemigroup 033: normal_form . . . 308μs FpSemigroup 034: for a finite semigroup . . . 577μs FpSemigroup 035: finite fp semigroup, dihedral group of order 6 . . . 413μs FpSemigroup 036: finite fp semigroup, size 16 . . . 580μs FpSemigroup 037: finite fp semigroup, size 16 . . . 897μs FpSemigroup 038: fp semigroup, size 240 . . . 665μs FpSemigroup 039: add_rule . . . 259μs FpSemigroup 040: add_rule . . . 129μs FpSemigroup 041: equal_to . . . 225μs FpSemigroup 042: cbegin/cend_rules . . . 51μs FpSemigroup 043: semigroup of size 3 . . . 346μs FpSemigroup 044: run_for/until . . . 2598μs FpSemigroup 045: constructors . . . 270μs FpSemigroup 046: set_inverses . . . 162μs FpSemigroup 047: smalloverlap . . . 7865μs FpSemigroup 048: quaternion group Q8 . . . 467μs FpSemigroup 049: symmetric group Coxeter presentation . . . 16ms FpSemigroupByPairs 029: (fpsemi) 2-sided congruence on finit [...] . . . 430μs FpSemigroupByPairs 030: (fpsemi) 2-sided congruence on finit [...] . . . 389μs FpSemigroupInterface 000: run with no alphabet . . .  -- with ToddCoxeter 71μs  -- with KnuthBendix 25μs  -- with FpSemigroup 32μs FpSemigroupInterface 001: equal_to . . .  -- with ToddCoxeter and human readable alphabet 1563μs  -- with KnuthBendix and human readable alphabet 3447μs  -- with FpSemigroup and human readable alphabet 3606μs  -- with FpSemigroupByPairs 2232μs FpSemigroupInterface 002: normal_form . . .  -- with ToddCoxeter 155μs  -- with KnuthBendix 186μs  -- with FpSemigroup 428μs FpSemigroupInterface 003: set_alphabet (1/2) . . .  -- with ToddCoxeter 89μs  -- with KnuthBendix 64μs  -- with FpSemigroup 74μs FpSemigroupInterface 004: set_alphabet (2/2) . . . 817μs FpSemigroupInterface 005: add_rule after finished . . .  -- with ToddCoxeter and human readable alphabet 114μs  -- with KnuthBendix and human readable alphabet 155μs  -- with FpSemigroup and human readable alphabet 352μs  -- with FpSemigroupByPairs 761μs FpSemigroupInterface 006: add_rule with equal words (1/2) . . .  -- with ToddCoxeter and human readable alphabet 166μs  -- with KnuthBendix and human readable alphabet 229μs  -- with FpSemigroup and human readable alphabet 278μs  -- with FpSemigroupByPairs 166μs FpSemigroupInterface 007: add_rule with equal words (2/2) . . .  -- with ToddCoxeter 25μs  -- with KnuthBendix 19μs  -- with FpSemigroup 27μs FpSemigroupInterface 008: add_rule with word_type . . .  -- with ToddCoxeter 48μs  -- with KnuthBendix 36μs  -- with FpSemigroup 83μs FpSemigroupInterface 009: add_rule with empty word (1/2) . . .  -- with ToddCoxeter 62μs  -- with FpSemigroup 36μs FpSemigroupInterface 010: add_rule with empty word (1/2) . . . 16μs FpSemigroupInterface 011: add_rules (1/3) . . .  -- with ToddCoxeter 47μs  -- with KnuthBendix 33μs  -- with FpSemigroup 39μs FpSemigroupInterface 012: add_rules (2/3) . . . 353μs FpSemigroupInterface 013: add_rules (3/3) . . .  -- with ToddCoxeter 28μs  -- with KnuthBendix 23μs  -- with FpSemigroup 72μs FpSemigroupInterface 014: set_identity (1/3) . . .  -- with ToddCoxeter 91μs  -- with KnuthBendix 98μs  -- with FpSemigroup 139μs FpSemigroupInterface 015: set_identity (2/3) . . . 212μs FpSemigroupInterface 016: set_identity (3/3) . . .  -- with ToddCoxeter 63μs  -- with KnuthBendix 56μs  -- with FpSemigroup 114μs FpSemigroupInterface 017: identity . . .  -- with ToddCoxeter 30μs  -- with KnuthBendix 22μs  -- with FpSemigroup 29μs FpSemigroupInterface 018: set_inverses + inverses (1/2) . . .  -- with ToddCoxeter 138μs  -- with KnuthBendix 142μs  -- with FpSemigroup 202μs FpSemigroupInterface 019: set_inverses + inverses (2/2) . . . 265μs FpSemigroupInterface 020: is_obviously_infinite (1/2) . . .  -- with ToddCoxeter 144μs  -- with KnuthBendix 175μs  -- with FpSemigroup 356μs FpSemigroupInterface 021: is_obviously_infinite (2/2) . . . 61μs FpSemigroupInterface 022: is_obviously_finite (1/2) . . .  -- with ToddCoxeter 144μs  -- with KnuthBendix 160μs  -- with FpSemigroup 381μs FpSemigroupInterface 023: is_obviously_finite (2/2) . . . 34μs FpSemigroupInterface 024: to_gap_string (1/3) . . .  -- with ToddCoxeter 31μs  -- with KnuthBendix 25μs  -- with FpSemigroup 78μs FpSemigroupInterface 025: to_gap_string (2/3) . . . 18μs FpSemigroupInterface 026: to_gap_string (3/3) . . . 29μs FroidurePin 016: (BMat8) exception zero generators given . . . 19μs FroidurePin 017: (BMat8) exception word_to_element . . . 72μs FroidurePin 018: (BMat8) exception prefix . . . 1903μs FroidurePin 019: (BMat8) exception suffix . . . 24μs FroidurePin 020: (BMat8) exception first_letter . . . 1937μs FroidurePin 021: (BMat8) exception final_letter . . . 23μs FroidurePin 022: (BMat8) exception current_length . . . 1963μs FroidurePin 023: (BMat8) exception product_by_reduction . . . 1633μs FroidurePin 024: (BMat8) exception fast_product . . . 1773μ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 . . . 77μs FroidurePin 031: (integers) . . . 172μs FroidurePin 039: (pairs of integers) non-trivial user type . . . 28μs FroidurePin 055: (tropical max-plus semiring matrices) . . . 296μs FroidurePin 061: projective max plus matrix . . . 1084μs FroidurePin 062: projective max plus matrix . . . 36μs FroidurePin> 009: small example 2 . . . 48μs FroidurePin> 005: small example 1 . . . 115μs FroidurePin> 007: regular bmat monoid 4 . . . 70ms FroidurePin> 011: small example 3 . . . 565μs FroidurePin> 006: small example 1 . . . 170μs FroidurePin> 008: regular bmat monoid 4 . . . 90ms FroidurePin> 010: small example 2 . . . 58μs FroidurePin> 012: small example 3 . . . 719μs FroidurePin 000: small example 1 . . . 196μs FroidurePin 001: default constructed . . . 139μs FroidurePin 002: small example 2 . . . 53μs FroidurePin 004: exception: is_idempotent . . . 168μs FroidurePin> 033: Example 000 . . . 3387μs FroidurePin> 035: Example 001 . . . 46μs FroidurePin> 032: Example 000 . . . 1508μs FroidurePin> 034: Example 001 . . . 56μs FroidurePin 036: exception: current_position . . . 128μs FroidurePin 037: exception: word_to_element . . . 70μs FroidurePin 038: exception: prefix, suffix, first_letter . . . 24ms FroidurePin> 040: Example 000 . . . 77μs FroidurePin> 041: Example 000 . . . 67μs FroidurePin> 046: Example 005 . . . 171μs FroidurePin> 047: Example 005 . . . 182μs FroidurePin> 048: Example 005 . . . 187μs FroidurePin> 044: Example 004 . . . 30μs FroidurePin> 045: Example 004 . . . 33μs FroidurePin> 049: Example 006 . . . 1046μs FroidurePin> 050: Example 006 . . . 1281μs FroidurePin> 051: Example 006 . . . 1358μs FroidurePin> 052: Example 007 . . . 134μs FroidurePin> 053: Example 007 . . . 150μs FroidurePin> 054: Example 007 . . . 162μs FroidurePin 056: example 1 . . . 219μs FroidurePin 057: example 2 . . . 171μs FroidurePin> 058: . . . 654μs FroidurePin> 059: . . . 54μs FroidurePin> 060: exceptions: add_generator(s) . . . 59μs FroidurePin> 065: no exception zero generators given . . . 16μs FroidurePin> 066: exception generators of different [...] . . . 69μs FroidurePin> 067: exception current_position . . . 46μs FroidurePin> 068: exception word_to_element . . . 45μs FroidurePin> 069: exception gens . . . 606μs FroidurePin> 070: exception prefix . . . 22ms FroidurePin> 071: exception suffix . . . 54ms FroidurePin> 072: exception first_letter . . . 56μs FroidurePin> 073: exception final_letter . . . 67μs FroidurePin> 074: exception current_length . . . 43μs FroidurePin> 075: exception product_by_reduction . . . 410μs FroidurePin> 076: exception fast_product . . . 441μs FroidurePin> 077: exception current_position . . . 617μs FroidurePin> 078: exception is_idempotent . . . 631μs FroidurePin> 079: exception add_generators . . . 43μs FroidurePin> 080: multithread number_of_idempotents . . . 606μs FroidurePin> 081: small semigroup . . . 32μs FroidurePin> 082: large semigroup . . . 7045μs FroidurePin> 083: at, position, current_* . . . 6899μs FroidurePin> 084: run . . . 6614μs FroidurePin> 085: run [many stops and starts] . . . 6716μs FroidurePin> 086: factorisation, length [1 element] . . . 6586μs FroidurePin> 087: factorisation, products [all elements] . . . 8786μs FroidurePin> 088: first/final letter, prefix, suffi [...] . . . 6637μs FroidurePin> 089: current_position [standard] . . . 28μs FroidurePin> 090: current_position [duplicate gens] . . . 13ms FroidurePin> 091: current_position [after add_generators] . . . 7640μs FroidurePin> 092: cbegin_idempotents/cend [1 thread] . . . 7434μs FroidurePin> 093: idempotent_cend/cbegin [1 thread] . . . 7377μs FroidurePin> 094: is_idempotent [1 thread] . . . 6863μs FroidurePin> 096: finished, started . . . 6472μs FroidurePin> 097: current_position . . . 1443μs FroidurePin> 098: sorted_position, sorted_at . . . 8321μs FroidurePin> 099: right/left Cayley graph . . . 36ms FroidurePin> 100: iterator . . . 10ms FroidurePin> 101: reverse iterator . . . 10ms FroidurePin> 102: iterator arithmetic . . . 34ms FroidurePin> 103: iterator sorted . . . 26ms FroidurePin> 104: iterator sorted arithmetic . . . 37ms FroidurePin> 105: copy [not enumerated] . . . 6780μs FroidurePin> 106: copy_closure [not enumerated] . . . 44ms FroidurePin> 107: copy_add_generators [not enumerated] . . . 40ms FroidurePin> 108: copy [partly enumerated] . . . 7375μs FroidurePin> 109: copy_closure [partly enumerated] . . . 11ms FroidurePin> 110: copy_add_generators [partly enumerated] . . . 7416μs FroidurePin> 111: copy [fully enumerated] . . . 10ms FroidurePin> 112: copy_closure [fully enumerated] . . . 11ms FroidurePin> 113: copy_add_generators [fully enumerated] . . . 10ms FroidurePin> 114: relations [duplicate gens] . . . 198μs FroidurePin> 115: relations . . . 9205μs FroidurePin> 116: relations [copy_closure, duplicat [...] . . . 12ms FroidurePin> 117: relations [copy_add_generators, d [...] . . . 12ms FroidurePin> 118: relations [from copy, not enumerated] . . . 7877μs FroidurePin> 119: relations [from copy, partly enum [...] . . . 14ms FroidurePin> 120: relations [from copy, fully enumerated] . . . 14ms FroidurePin> 121: relations [from copy_closure, not [...] . . . 13ms FroidurePin> 122: relations [from copy_add_generato [...] . . . 7912μs FroidurePin> 123: relations [from copy_closure, par [...] . . . 12ms FroidurePin> 124: relations [from copy_add_generato [...] . . . 9840μs FroidurePin> 125: relations [from copy_closure, ful [...] . . . 14ms FroidurePin> 126: relations [from copy_add_generato [...] . . . 12ms FroidurePin> 127: add_generators [duplicate generators] . . . 345μs FroidurePin> 128: add_generators [incremental 1] . . . 418μs FroidurePin> 129: add_generators [incremental 2] . . . 484μs FroidurePin> 130: closure [duplicate generators] . . . 228μs FroidurePin> 131: closure . . . 106μs FroidurePin> 132: factorisation . . . 26μs FroidurePin> 134: minimal_factorisation . . . 71μs FroidurePin> 135: batch_size (for an extremely larg [...] . . . 25μs FroidurePin> 137: exception: generators of differen [...] . . . 29μs FroidurePin> 138: exception: current_position . . . 49μs FroidurePin> 139: exception: word_to_element . . . 47μs FroidurePin> 140: exception: gens, current_position . . . 766μs FroidurePin> 141: exception: add_generators . . . 36μs KBE 000: constructors . . . 54μs KBE 001: test . . . 73μs KBE 002: factorisation . . . 51μs KBE 003: swap . . . 35μs KBE 004: adapters . . . 34μs KBE 005: conversions . . . 32μs Kambites 000: (fpsemi) MT test 4 (std::string) . . . 7159μs Kambites 001: (fpsemi) MT test 4 (MultiStringView) . . . 8450μs Kambites 002: (fpsemi) number_of_pieces (std::string) . . . 125μs Kambites 003: (fpsemi) number_of_pieces (MultiStringView) . . . 113μs Kambites 004: (fpsemi) small_overlap_class (std::string) . . . 3857μs Kambites 005: (fpsemi) small_overlap_class (MultiStringView) . . . 3827μs Kambites 006: (fpsemi) random (std::string) . . . 11ms Kambites 007: (fpsemi) random (MultiStringView) . . . 11ms Kambites 008: (fpsemi) KnuthBendix 055 (std::string) . . . 17ms Kambites 009: (fpsemi) KnuthBendix 055 (MultiStringView) . . . 21ms Kambites 010: (fpsemi) smalloverlap/gap/test.gi:85 (std::string) . . . 92μs Kambites 011: (fpsemi) smalloverlap/gap/test.gi:85 (MultiStr [...] . . . 86μs Kambites 012: (fpsemi) free semigroup . . . 13μs Kambites 013: (fpsemi) smalloverlap/gap/test.gi:49 (std::string) . . . 39ms Kambites 014: (fpsemi) smalloverlap/gap/test.gi:49 (MultiStr [...] . . . 57ms Kambites 015: (fpsemi) smalloverlap/gap/test.gi:63 (std::string) . . . 41ms Kambites 016: (fpsemi) smalloverlap/gap/test.gi:63 (MultiStr [...] . . . 64ms Kambites 017: (fpsemi) smalloverlap/gap/test.gi:70 (std::string) . . . 151ms Kambites 018: (fpsemi) smalloverlap/gap/test.gi:70 (MultiStr [...] . . . 242ms Kambites 021: (fpsemi) code coverage (std::string) . . . 78μs Kambites 022: (fpsemi) code coverage (MultiStringView) . . . 51μs Kambites 023: (fpsemi) prefix (std::string) . . . 78μs Kambites 024: (fpsemi) prefix (MultiStringView) . . . 125μs Kambites 025: (fpsemi) normal_form (Example 3.15) (std::string) . . . 79μs Kambites 026: (fpsemi) normal_form (Example 3.15) (MultiStri [...] . . . 124μs Kambites 027: (fpsemi) normal_form (Example 3.16) (std::string) . . . 59μs Kambites 028: (fpsemi) normal_form (Example 3.16) (MultiStri [...] . . . 88μs Kambites 029: (fpsemi) normal_form (Example 3.16) more exhau [...] . . . 100ms Kambites 030: (fpsemi) normal_form (Example 3.16) more exhau [...] . . . 112ms Kambites 031: (fpsemi) small presentation (std::string) . . . 125μs Kambites 032: (fpsemi) small presentation (MultiStringView) . . . 58μs Kambites 033: (fpsemi) non-smalloverlap (std::string) . . . 76μs Kambites 034: (fpsemi) non-smalloverlap (MultiStringView) . . . 76μs Kambites 035: (fpsemi) MT test 3 (std::string) . . . 68μs Kambites 036: (fpsemi) MT test 3 (MultiStringView) . . . 63μs Kambites 037: (fpsemi) MT test 5 (std::string) . . . 33μs Kambites 038: (fpsemi) MT test 5 (MultiStringView) . . . 34μs Kambites 039: (fpsemi) MT test 6 (std::string) . . . 45μs Kambites 040: (fpsemi) MT test 6 (MultiStringView) . . . 61μs Kambites 041: (fpsemi) MT test 10 (std::string) . . . 42μs Kambites 042: (fpsemi) MT test 10 (MultiStringView) . . . 55μs Kambites 043: (fpsemi) MT test 13 (std::string) . . . 31μs Kambites 044: (fpsemi) MT test 13 (MultiStringView) . . . 34μs Kambites 045: (fpsemi) MT test 14 (std::string) . . . 29μs Kambites 046: (fpsemi) MT test 14 (MultiStringView) . . . 33μs Kambites 047: (fpsemi) MT test 15 (std::string) . . . 61μs Kambites 048: (fpsemi) MT test 15 (MultiStringView) . . . 62μs Kambites 049: (fpsemi) MT test 16 (std::string) . . . 76μs Kambites 050: (fpsemi) MT test 16 (MultiStringView) . . . 71μs Kambites 051: (fpsemi) MT test 17 (std::string) . . . 137μs Kambites 052: (fpsemi) MT test 17 (MultiStringView) . . . 128μs Kambites 053: (fpsemi) weak C(4) not strong x 1 (std::string) . . . 661μs Kambites 054: (fpsemi) weak C(4) not strong x 1 (MultiStringView) . . . 894μs Kambites 055: (fpsemi) weak C(4) not strong x 2 (std::string) . . . 659μs Kambites 056: (fpsemi) weak C(4) not strong x 2 (MultiStringView) . . . 935μs Kambites 057: (fpsemi) weak C(4) not strong x 3 (std::string) . . . 626μs Kambites 058: (fpsemi) weak C(4) not strong x 3 (MultiStringView) . . . 656μs Kambites 059: (fpsemi) weak C(4) not strong x 4 (std::string) . . . 81μs Kambites 060: (fpsemi) weak C(4) not strong x 4 (MultiStringView) . . . 116μs Kambites 061: (fpsemi) weak C(4) not strong x 5 (std::string) . . . 31μs Kambites 062: (fpsemi) weak C(4) not strong x 5 (MultiStringView) . . . 27μs Kambites 063: (fpsemi) weak C(4) not strong x 6 (std::string) . . . 55μs Kambites 064: (fpsemi) weak C(4) not strong x 6 (MultiStringView) . . . 63μs Kambites 065: (fpsemi) Konovalov example (std::string) . . . 40μs Kambites 066: (fpsemi) Konovalov example (MultiStringView) . . . 38μs Kambites 067: (fpsemi) long words (std::string) . . . 806ms Kambites 068: (fpsemi) long words (MultiStringView) . . . 62ms Kambites 075: (cong) example 1 . . . 57μs Kambites 076: (cong) example 2 . . . 154μs Kambites 077: (cong) code coverage . . . 7627μs Kambites 078: (cong) large number of rules . . . 261ms KnuthBendix 000: (fpsemi) confluent fp semigroup 1 (infinite) . . . 140μs KnuthBendix 001: (fpsemi) confluent fp semigroup 2 (infinite) . . . 123μs KnuthBendix 002: (fpsemi) confluent fp semigroup 3 (infinite) . . . 98μs KnuthBendix 003: (fpsemi) non-confluent fp semigroup from wi [...] . . . 160μs KnuthBendix 004: (fpsemi) Example 5.1 in Sims (infinite) . . . 134μs KnuthBendix 005: (fpsemi) Example 5.1 in Sims (infinite) . . . 126μs KnuthBendix 006: (fpsemi) Example 5.3 in Sims . . . 114μs KnuthBendix 007: (fpsemi) Example 5.4 in Sims . . . 125μs KnuthBendix 008: (fpsemi) Example 6.4 in Sims (size 168) . . . 8262μs KnuthBendix 009: (fpsemi) . . . 53ms KnuthBendix 010: (fpsemi) SL(2, 7) from Chapter 3, Propositi [...] . . . 82ms KnuthBendix 011: (fpsemi) F(2, 5) - Chapter 9, Section 1 in [...] . . . 442μs KnuthBendix 012: (fpsemi) Reinis example 1 . . . 256μs KnuthBendix 013: redundant_rule (std::string) . . . 100ms KnuthBendix 014: redundant_rule (word_type) . . . 10ms KnuthBendix 019: (fpsemi) C(4) monoid . . . 35μs KnuthBendix 020: (cong) Chinese monoid . . . 152μs KnuthBendix 021: (from kbmag/standalone/kb_data/f25monoid) . . . 525μs KnuthBendix 022: (from kbmag/standalone/kb_data/degen4a) . . . 52ms KnuthBendix 023: (from kbmag/standalone/kb_data/torus) . . . 3528μs KnuthBendix 024: (from kbmag/standalone/kb_data/3a6) . . . 257ms KnuthBendix 025: (from kbmag/standalone/kb_data/f2) . . . 71μs KnuthBendix 026: (from kbmag/standalone/kb_data/s16) . . . 68ms KnuthBendix 027: (from kbmag/standalone/kb_data/a4monoid) . . . 68μs KnuthBendix 028: (from kbmag/standalone/kb_data/degen3) . . . 24μs KnuthBendix 029: (from kbmag/standalone/kb_data/ab1) . . . 37μs KnuthBendix 030: (from kbmag/standalone/kb_data/degen2) . . . 18μs KnuthBendix 031: (from kbmag/standalone/kb_data/f25) . . . 449μs KnuthBendix 032: (from kbmag/standalone/kb_data/237) . . . 605μs KnuthBendix 033: (from kbmag/standalone/kb_data/c2) . . . 19μs KnuthBendix 034: (from kbmag/standalone/kb_data/cosets) . . . 219μs KnuthBendix 035: Example 5.1 in Sims (KnuthBendix 09 again) . . . 50μs KnuthBendix 036: (from kbmag/standalone/kb_data/nilp2) . . . 42μs KnuthBendix 037: Example 6.4 in Sims . . . 13ms KnuthBendix 038: KnuthBendix 071 again . . . 643μs KnuthBendix 039: Example 5.4 in Sims (KnuthBendix 11 again) [...] . . . 203μs KnuthBendix 040: Example 5.4 in Sims (KnuthBendix 11 again) [...] . . . 132μs KnuthBendix 041: operator<< . . . 46μs KnuthBendix 042: confluence_interval . . . 17μs KnuthBendix 043: max_overlap . . . 17μs KnuthBendix 044: (fpsemi) (from kbmag/standalone/kb_data/d22 [...] . . . 1229μs KnuthBendix 045: (fpsemi) (from kbmag/standalone/kb_data/d22 [...] . . . 2288μs KnuthBendix 046: (fpsemi) small example . . . 771μs KnuthBendix 047: code coverage . . . 84μs KnuthBendix 048: small overlap 1 . . . 51μs KnuthBendix 049: (from kbmag/standalone/kb_data/s9) . . . 1533μs KnuthBendix 050: (fpsemi) Chapter 11, Lemma 1.8 (q = 6, r = [...] . . . 650μs KnuthBendix 051: (fpsemi) Chapter 11, Section 2 (q = 6, r = [...] . . . 131μs KnuthBendix 052: (fpsemi) Chapter 8, Theorem 4.2 in NR (infinite) . . . 227μs KnuthBendix 053: (fpsemi) equal_to fp semigroup . . . 64μs KnuthBendix 054: (fpsemi) equal_to free semigroup . . . 58μs KnuthBendix 055: (fpsemi) from GAP smalloverlap gap/test.gi [...] . . . 425μs KnuthBendix 056: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 752μs KnuthBendix 057: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 717μs KnuthBendix 058: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 2126μs KnuthBendix 059: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 4934μs KnuthBendix 060: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 34μs KnuthBendix 061: (fpsemi) Von Dyck (2,3,7) group (infinite) . . . 535μs KnuthBendix 062: (fpsemi) Von Dyck (2,3,7) group - different [...] . . . 4675μs KnuthBendix 063: (fpsemi) rewriting system from KnuthBendixC [...] . . . 402μs KnuthBendix 064: (fpsemi) rewriting system from Congruence 20 . . . 32μs KnuthBendix 065: (fpsemi) (from kbmag/standalone/kb_data/ab2) . . . 97μs KnuthBendix 066: (fpsemi) (from kbmag/standalone/kb_data/d22 [...] . . . 1311μs KnuthBendix 067: (fpsemi) (from kbmag/standalone/kb_data/degen1) . . . 45μs KnuthBendix 068: (fpsemi) (from kbmag/standalone/kb_data/s4) . . . 338μs KnuthBendix 069: (fpsemi) fp semigroup (infinite) . . . 66μs KnuthBendix 070: (fpsemi) Chapter 11, Section 1 (q = 4, r = [...] . . . 1832μs KnuthBendix 071: (fpsemi) Chapter 11, Section 1 (q = 8, r = [...] . . . 105ms KnuthBendix 072: (fpsemi) Chapter 7, Theorem 3.9 in NR (size 240) . . . 3592μs KnuthBendix 073: (fpsemi) F(2, 5) - Chapter 9, Section 1 in [...] . . . 464μs KnuthBendix 074: (fpsemi) F(2, 6) - Chapter 9, Section 1 in NR . . . 447μs KnuthBendix 075: (fpsemi) Chapter 10, Section 4 in NR (infinite) . . . 867μs KnuthBendix 076: (fpsemi) Sym(5) from Chapter 3, Proposition [...] . . . 3046μs KnuthBendix 077: (fpsemi) SL(2, 7) from Chapter 3, Propositi [...] . . . 82ms KnuthBendix 078: (fpsemi) bicyclic monoid (infinite) . . . 66μs KnuthBendix 079: (fpsemi) plactic monoid of degree 2 (infinite) . . . 81μs KnuthBendix 080: (fpsemi) example before Chapter 7, Proposit [...] . . . 52μs KnuthBendix 081: (fpsemi) Chapter 7, Theorem 3.6 in NR (size 243) . . . 894μs KnuthBendix 082: (fpsemi) finite semigroup (size 99) . . . 278μs KnuthBendix 096: Sorouhesh . . . 433μs KnuthBendix 097: (fpsemi) transformation semigroup (size 4) . . . 99μs KnuthBendix 098: (fpsemi) transformation semigroup (size 9) . . . 76μs KnuthBendix 099: (fpsemi) transformation semigroup (size 88) . . . 801μs KnuthBendix 100: internal_string_to_word . . . 43μs KnuthBendix 101: (fpsemi) construct from shared_ptr . . . 761μs KnuthBendix 102: internal_string_to_word . . . 789μs KnuthBendix 103: (cong) free semigroup congruence (5 classes) . . . 88μs KnuthBendix 104: free semigroup congruence (6 classes) . . . 290μs KnuthBendix 105: (cong) free semigroup congruence (16 classes) . . . 344μs KnuthBendix 106: (cong) free semigroup congruence (6 classes) . . . 474μs KnuthBendix 107: (cong) free semigroup congruence (240 classes) . . . 3950μs KnuthBendix 108: (cong) free semigroup congruence (240 classes) . . . 3657μs KnuthBendix 109: (cong) less . . . 4315μs KnuthBendix 110: (cong) less . . . 188ms KnuthBendix 111: (cong) constructors . . . 276ms KnuthBendix 112: (cong) const_contains/contains . . . 242μs KnuthBendix 113: (cong) is_quotient_obviously_finite . . . 24μs KnuthBendix 114: (cong) class_index_to_word . . . 234μs KnuthBendix 115: (cong) quotient_froidure_pin . . . 157μs KnuthBendix 116: (cong) set_number_of_generators . . . 29μs KnuthBendix 117: (cong) number of classes when obv-inf . . . 68μs KnuthBendixCongruenceByPairs 016: non-trivial congruence on [...] . . . 197μs KnuthBendixCongruenceByPairs 017: non-trivial congruence on [...] . . . 190μs KnuthBendixCongruenceByPairs 018: non-trivial congruence on [...] . . . 289μs KnuthBendixCongruenceByPairs 019: non-trivial congruence on [...] . . . 325μs KnuthBendixCongruenceByPairs 020: trivial congruence on a fi [...] . . . 201μs KnuthBendixCongruenceByPairs 021: universal congruence on a [...] . . . 576μs KnuthBendixCongruenceByPairs 022: left congruence on a finit [...] . . . 288μs KnuthBendixCongruenceByPairs 023: finite group, Chapter 11, [...] . . . 4807μs KnuthBendixCongruenceByPairs 024: right congruence on infini [...] . . . 312μs KnuthBendixCongruenceByPairs 025: finite fp semigroup, dihed [...] . . . 366μs KnuthBendixCongruenceByPairs 026: finite fp semigroup, size 16 . . . 358μs KnuthBendixCongruenceByPairs 027: finite fp semigroup, size 16 . . . 1024μs KnuthBendixCongruenceByPairs 028: infinite fp semigroup with [...] . . . 75μs Konieczny 000: test000> . . . 1216μs Konieczny 001: test000> . . . 887μs Konieczny 002: test001> . . . 14ms Konieczny 003: test001> . . . 9384μs Konieczny 006: exceptions . . . 44μs Konieczny 007: code coverage . . . 17ms Konieczny 008: code coverage . . . 11ms Konieczny 009: regular elements and idempotents . . .  Konieczny 010: regular D-class 01 . . . 1612μs Konieczny 011: regular D-class 02 . . . 24ms Konieczny 012: regular D-class 04: contains . . . 1915ms Konieczny 013: non-regular D-classes 01 . . . 1683μs Konieczny 014: RegularDClass . . . 960μs Konieczny 015: full bmat monoid 4 . . . 252ms Konieczny 017: regular generated bmat monoid 4 idempotents . . . 204ms Konieczny 019: my favourite example . . . 137ms Konieczny 020: another large example . . . 25ms Konieczny 021: my favourite example transposed . . . 204ms Konieczny 024: exceptions . . . 1719μs Konieczny 025: 0-parameter constructor . . . 30ms Konieczny 026: non-regular D-classes 02 . . . 25ms Konieczny 028: partial perm . . . 185ms Konieczny 029: symmetric inverse monoid n = 8 . . . 30ms Konieczny 030: exceptions . . . 234ms Konieczny 031: transformations . . . 973μs Konieczny 032: transformations - JDM favourite example . . . 123ms Konieczny 033: transformations - large example . . . 319ms Konieczny 034: transformations - large example with stop . . . 317ms Konieczny 035: transformations - large example with run_until . . . 322ms Konieczny 036: transformations - large example with stop in Action . . . 330ms Konieczny 037: exceptions . . . 70μs Konieczny 038: transformations: contains . . . 750μs Konieczny 040: transformations - destructor coverage . . . 266ms Konieczny 041: current_number_D_classes . . . 268ms Konieczny 042: add_generator . . . 46μs Konieczny 043: add_generator . . . 28μs Matrix 000: BMat<2> . . . 118μs Matrix 001: BMat<> . . . 87μs Matrix 002: BMat<3> + BMat<> . . . 13μs Matrix 003: BMat<2> + BMat<> . . . 13μs Matrix 004: BMat<3> . . . 13μs Matrix 005: BMat<> . . . 15μs Matrix 006: BMat<3> row_basis . . . 43μs Matrix 007: BMat<> row_basis . . . 45μs Matrix 008: IntMat<3> . . . 18μs Matrix 009: IntMat<> . . . 19μs Matrix 010: IntMat code cov . . . 12μs Matrix 011: MaxPlusMat<3> . . . 15μs Matrix 012: MaxPlusMat<> . . . 16μs Matrix 013: MaxPlusMat code cov . . . 10μs Matrix 014: MinPlusMat<3> . . . 18μs Matrix 015: MinPlusMat<> . . . 21μs Matrix 016: MinPlusMat code cov . . . 9000ns Matrix 017: MaxPlusTruncMat<5, 2> . . . 18μs Matrix 018: MaxPlusTruncMat<5> . . . 20μs Matrix 019: MaxPlusTruncMat<> . . . 32μs Matrix 020: MaxPlusTruncMat<5, 4> . . . 20μs Matrix 021: MaxPlusTruncMat<5> . . . 22μs Matrix 022: MaxPlusTruncMat<> . . . 21μs Matrix 023: MaxPlusTruncMat<33, 3> . . . 34μs Matrix 024: MaxPlusTruncMat<33> . . . 31μs Matrix 025: MaxPlusTruncMat<> . . . 30μs Matrix 026: MaxPlusMat code cov . . . 10μs Matrix 027: MinPlusTruncMat<33, 3> . . . 32μs Matrix 028: MinPlusTruncMat<33> . . . 33μs Matrix 029: MinPlusTruncMat<> . . . 42μs Matrix 030: NTPMat<0, 3, 3, 3> . . . 16μs Matrix 031: NTPMat<0, 3> . . . 18μs Matrix 032: NTPMat<> . . . 34μs Matrix 033: NTPMat<0, 10, 4, 4> . . . 34μs Matrix 034: NTPMat<0, 10> . . . 31μs Matrix 035: NTPMat<> . . . 36μs Matrix 036: NTPMat<0, 10, 4, 4> . . . 33μs Matrix 037: NTPMat<0, 10> . . . 20μs Matrix 038: NTPMat<> . . . 20μs Matrix 039: NTPMat<33, 2, 3, 3> . . . 16μs Matrix 040: NTPMat<33, 2> . . . 17μs Matrix 041: NTPMat<> . . . 15μs Matrix 042: ProjMaxPlusMat<3> . . . 81μs Matrix 043: ProjMaxPlusMat<> . . . 68μs Matrix 044: exceptions . . . 37μs Matrix 045: code coverage . . . 39μs MultiStringView 000: catch all . . . 46μs MultiStringView 001: is_prefix . . . 16μs MultiStringView 002: erase . . . 17μs MultiStringView 003: iterators . . . 12μs MultiStringView 004: constructors (long) . . . 23μs MultiStringView 005: constructors (short) . . . 18μs MultiStringView 006: copy assignment (short assigned to long) . . . 14μs MultiStringView 007: copy assignment (short assigned to short) . . . 14μs MultiStringView 008: move assignment (short assigned to long) . . . 14μs MultiStringView 009: move assignment (short assigned to short) . . . 14μs MultiStringView 010: code coverage . . . 21μs MultiStringView 011: pop_front . . . 43μs MultiStringView 012: append . . . 16μs MultiStringView 013: operators . . . 17μs MultiStringView 014: maximum_common_suffix . . . 15μs MultiStringView 015: deep tests . . . 11μs ObviouslyInfinite 011: Multiple rule additions . . . 46μs ObviouslyInfinite 012: A power of the generator 'b' does not [...] . . . 13μs ObviouslyInfinite 013: Preserves the number of occurrences o [...] . . . 14μs ObviouslyInfinite 014: Less relations than generators . . . 12μs ObviouslyInfinite 015: Relations preserve length . . . 14μs ObviouslyInfinite 016: Matrix has non empty kernel . . . 16μs ObviouslyInfinite 017: Free product of trivial semigroups . . . 13μs ObviouslyInfinite 018: Another free product . . . 15μs ObviouslyInfinite 019: Infinite but not obviously so . . . 14μs ObviouslyInfinite 020: Finite semigroup . . . 17μs PBR 001: universal product with convenience constructor . . . 50μs PBR 002: universal product . . . 21μs PBR 003: product [bigger than previous] . . . 30μs PBR 004: hash . . . 11μs PBR 005: delete/copy . . . 20μs PBR 006: exceptions . . . 149μs PBR 007: operators . . . 73μs PBR 008: to_string . . . 21μs PBR 009: identity . . . 47μs PBR 010: adapters . . . 10μs Pool 000: initial . . . 28μs Pool 001: bmat . . . 26μs Pool 002: PoolGuard . . . 22μs Pool 003: transformation products . . . 15μs Presentation 000: vectors of ints . . . 87μs Presentation 001: strings . . . 70μs Presentation 002: constructors (word_type) . . . 24μs Presentation 003: constructors (StaticVector1) . . . 36μs Presentation 004: constructors (std::string) . . . 24μs Presentation 005: alphabet + letters (word_type) . . . 128μs Presentation 006: alphabet + letters (std::string) . . . 42μs Presentation 007: contains_empty_word . . . 13μs Presentation 008: validate_rules throws . . . 43μs Presentation 009: helpers add_rule(s) . . . 89μs Presentation 010: helpers add_rule(s) (std::string) . . . 34μs Presentation 011: helpers add_identity_rules (std::vector/St [...] . . . 43μs Presentation 012: helpers add_identity_rules (std::string) . . . 26μs Presentation 013: helpers add_inverse_rules (all) . . . 189μs Presentation 014: helpers add_inverse_rules (std::string) . . . 48μs Presentation 015: helpers remove_duplicate_rules . . . 63μs Presentation 016: helpers reduce_complements . . . 141μs Presentation 017: helpers sort_each_rule . . . 63μs Presentation 018: helpers sort_rules . . . 66μs Presentation 019: helpers longest_common_subword/replace_subword . . . 300μs Presentation 020: helpers redundant_rule . . . 7197μs Presentation 021: helpers shortlex_compare_concat . . . 13μs Presentation 022: helpers remove_trivial_rules . . . 72μs Presentation 023: helpers replace_subword (existing, replacement) . . . 103μs Presentation 024: helpers longest_rule . . . 111μs Presentation 025: helpers longest_rule_length . . . 97μs Presentation 026: helpers remove_redundant_generators . . . 148μs Presentation 027: helpers reverse . . . 23μs Presentation 028: in_alphabet . . . 28μs Presentation 029: replace_subword with empty word . . . 22μs Presentation 030: helpers replace_word . . . 41μs Presentation 031: clear . . . 13μs Presentation 032: letter . . . 36μs Presentation 033: normalize_alphabet . . . 17μs Presentation 034: longest_common_subword issue . . . 334μs Presentation 035: helpers add_zero_rules (std::vector/Static [...] . . . 46μs Presentation 036: helpers add_zero_rules (std::string) . . . 26μs Presentation 037: make_semigroup . . . 51μs Presentation 038: greedy_reduce_length . . . 204μs Presentation 039: aaaaaaaab = aaaaaaaaab strong compression . . . 58μs Presentation 040: change_alphabet . . . 71μs Presentation 041: sort_rules bug . . . 252μs Presentation 042: first_unused_letter/letter . . . 208μs Presentation 043: case where strong compression doesn't work . . . 35μs Presentation 044: proof that . . . 43μs Presentation 045: decompression . . . 20μs Race 001: run_for . . . 10ms Race 002: run_until . . . 10ms Race 003: exceptions . . . 10ms Race 004: iterators . . . 14μs Race 005: find_runner . . . 20μs Race 006: run_func . . . 25ms Race 007: run_func . . . 10ms Race 008: run_func . . . 10ms Runner 000: run_for . . . 10ms Runner 001: run_for . . . 1012μs Runner 002: run_for . . . 191ms Runner 003: run_for . . . 25ms Runner 004: started . . . 1015μs Runner 005: run_until . . . 4185μs Runner 006: kill . . . 11μs Runner 007: copy constructor . . . 10ms Runner 008: report . . . 20ms Runner 009: run_until with function pointer . . . 13μs SchreierSims 001: trivial perm. group (degree 1) . . . 28μs SchreierSims 002: trivial perm. group (degree 2) . . . 18μs SchreierSims 003: trivial perm. group (degree 500) . . . 135μs SchreierSims 004: symmetric perm. group (degree 5) . . . 34μs SchreierSims 005: symmetric perm. group (degree 8) . . . 40μs SchreierSims 006: symmetric perm. group (degree 9) . . . 54μs SchreierSims 007: alternating perm. group (degree 12) . . . 88μs SchreierSims 008: symmetric perm. group (degree 16) . . . 757μs SchreierSims 009: alternating perm. group (degree 15) . . . 362μs SchreierSims 010: alternating perm. group (degree 16) . . . 802μs SchreierSims 011: dihedral perm. group (order 10) . . . 15μs SchreierSims 012: dihedral perm. group (order 200) . . . 916μs SchreierSims 013: perm. group T (order 12) . . . 17μs SchreierSims 014: quaternion perm. group (order 8) . . . 19μs SchreierSims 015: perm. group (order 84129611558952960) . . . 205ms SchreierSims 016: perm. group SL(3, 5) (order 372000) . . . 1026μs SchreierSims 017: perm. group PSL(4, 8) (order 34558531338240) . . . 82ms SchreierSims 018: perm. Mathieu group M11 (order 7920) . . . 78μs SchreierSims 019: perm. Mathieu group M24 (order 244823040) . . . 206μs SchreierSims 020: perm. Janko Group J1 (order 175560) . . . 2343μs SchreierSims 021: perm. Hall-Janko group (order 604800) . . . 350μs SchreierSims 022: perm. Hall-Janko group (alt.) (order 604800) . . . 20ms SchreierSims 023: perm. Conway group Co3 (order 495766656000) . . . 6669μs SchreierSims 024: perm. Conway group Co3 (alt.) (order 49576 [...] . . . 13ms SchreierSims 025: perm. Suzuki group (order 448345497600) . . . 74ms SchreierSims 027: perm. Held group (order 4030387200) . . . 129ms SchreierSims 028: perm. group C2 x C2 x C2 (order 8) . . . 32μs SchreierSims 029: perm. group C2 x C2 x C2 x C2 (order 16) . . . 34μs SchreierSims 030: perm. group (S5 x S5) : C2 (order 28800) . . . 74μs SchreierSims 031: perm. group C3 x D8 x A5 (order 1440) . . . 75μs SchreierSims 032: perm. group GL(4, 3) (order 24261120) . . . 650μs SchreierSims 033: perm. group PSL(3, 7) (order 1876896) . . . 790μs SchreierSims 037: symmetric perm. group (degree 5) . . . 33μs SchreierSims 038: alternating perm. group (degree 17) . . . 3840μs SchreierSims 039: exceptions . . . 100μs SchreierSims 040: exceptions . . . 52μs SchreierSims 041: trivial group . . . 38μs SchreierSims 042: A17 bug . . . 3378μs SchreierSims 043: orbits_lookup test . . . 558μs SchreierSims 044: transversal_element and inversal_element test . . . 1545μs SchreierSimsHelper 001: trivial perm. group intersection (de [...] . . . 19μs SchreierSimsHelper 002: trivial perm. group intersection (de [...] . . . 20μs SchreierSimsHelper 003: cyclic group intersection (degree 13) . . . 35μs SchreierSimsHelper 004: D10 and Z5 intersection . . . 32μs SchreierSimsHelper 005: D8 and Q8 intersection . . . 29μs SchreierSimsHelper 006: primitive on 8 points intersection . . . 80μs SchreierSimsHelper 007: primitive on 8 points intersection ( [...] . . . 77μs SchreierSimsHelper 008: A13 and PGL(2, 11) intersection . . . 734μs SchreierSimsHelper 009: A13 and PGL(2, 11) intersection (swa [...] . . . 694μs SchreierSimsHelper 012: 3^3:13 and 3^3.2.A(4) intersection . . . 196μs SchreierSimsHelper 015: 3^3(S(4) x 2) and ASL(3, 3) intersection . . . 373μs SchreierSimsHelper 016: 7^2:3 x Q(8) and 7^2:D(2*6) intersection . . . 409μs SchreierSimsHelper 018: D(2*53) and 53:13 intersection . . . 264μs SchreierSimsHelper 019: 2^6:(7 x D_14) and PSL(2, 6)^2.4 int [...] . . . 2115μs SchreierSimsHelper 020: 2^6:(S_3 x GL(3, 2)) and 2.6:Alt(7) [...] . . . 5497μs SchreierSimsHelper 022: PSL(2, 127) and AGL(1, 2^7) intersection . . . 8623μs SchreierSimsHelper 023: PSL(3, 4).2 and PSL(3, 4).2 (nontriv [...] . . . 1696μs SchreierSimsHelper 024: PSL(3, 4).Sym(3) and PSL(3, 4).2 int [...] . . . 1900μs SchreierSimsHelper 025: 3^4:5:4 and D_16:4 intersection . . . 1087μs Sims1 000: fp example 1 . . . 987μs Sims1 001: fp example 2 . . . 1932μs Sims1 002: ToddCoxeter failing example . . . 16ms Sims1 003: ToddCoxeter failing example . . . 793μs Sims1 004: partition_monoid(2) right . . . 6093μs Sims1 006: full_transformation_monoid(3) right . . . 7041μs Sims1 007: full_transformation_monoid(3) left . . . 3908μs Sims1 009: rook_monoid(2, 1) . . . 109μs Sims1 010: symmetric_inverse_monoid(2) from FroidurePin . . . 109μs Sims1 011: symmetric_inverse_monoid(3) . . . 6555μs Sims1 014: temperley_lieb_monoid(3) from presentation . . . 81μs Sims1 015: temperley_lieb_monoid(4) from presentation . . . 779μs Sims1 016: fp semigroup containing given pairs #1 . . . 318μs Sims1 017: fp semigroup containing given pairs #2 . . . 327μs Sims1 018: fp semigroup containing given pairs #3 . . . 557μs Sims1 019: ToddCoxeter failing example . . . 1085μs Sims1 020: fp example 2 . . . 2388μs Sims1 021: exceptions . . . 248μs Sims1 027: from https://mathoverflow.net/questions/423541/ . . . 27ms Sims1 028: from https://mathoverflow.net/questions/423541/ . . . 19ms Sims1 030: presentation with one free generator . . . 257μs Sims1 031: presentation with non-zero index generators . . . 73μs Sims1 032: presentation with empty word . . . 9249μs Sims1 033: constructors . . . 1347μs Sims1 034: split_at . . . 267μs Sims1 035: stats . . . 138μs Sims1 036: check iterator requirements . . . 161μs Sims1 040: TransitiveGroup(10, 32) - minimal rep . . . 3375μs Sims1 043: rectangular_band(2, 2) - with and without identity . . . 215μs Sims1 044: trivial group - minimal o.r.c. rep . . . 128μs Sims1 045: right zero semigroup - minimal o.r.c. rep . . . 2163μs Sims1 046: semigroup with faithful non-strictly cyclic actio [...] . . . 862μs Sims1 068: RepOrc . . . 26ms Sims1 069: fp example 1 . . . 510μ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 1422μs (259ns 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 . . . 1518μs Sims1 072: symmetric_group(n) for n = 4 . . . 1105μs Sims1 073: corner case no generators + no relations . . . 103μs Sims1 076: uninitialized RepOrc . . . 31μs SmallestInteger 001: . . . 12μs StaticTriVector2 045: all . . . 19μs StaticVector2 043: all . . . 18μs Stephen 000: basic test 1 . . . 257μs Stephen 001: basic test 2 . . . 165μs Stephen 002: full transf monoid . . . 15ms Stephen 003: from step_hen 002 . . . 61μs Stephen 004: from step_hen 003 . . . 191μs Stephen 005: from step_hen 004 . . . 46μs Stephen 006: from step_hen 005 . . . 120μs Stephen 008: C(4) monoid normal form (test_case_knuth_bendix_055) . . . 211μs Stephen 009: C(4) monoid normal form (test_case_gap_smallove [...] . . . 104μs Stephen 010: code coverage . . . 305μs Stephen 011: C(4) monoid normal form (test_case_gap_smallove [...] . . . 293μs Stephen 012: C(4) monoid normal form (test_case_gap_smallove [...] . . . 216μs Stephen 013: C(4) monoid equal to (test_case_gap_smalloverlap_70) . . . 111μs Stephen 014: C(4) monoid normal form (test_case_ex_3_13_14) . . . 397μs Stephen 015: C(4) monoid normal form (test_case_ex_3_15) . . . 417μs Stephen 016: C(4) monoid normal form (test_case_ex_3_16) . . . 348μs Stephen 017: C(4) monoid normal form (test_case_mt_3) . . . 167μs Stephen 018: C(4) monoid normal form (test_case_mt_5) . . . 116μs Stephen 019: C(4) monoid normal form (test_case_mt_6) . . . 308μs Stephen 020: C(4) monoid normal form (test_case_mt_10) . . . 120μs Stephen 021: C(4) monoid normal form (test_case_mt_13) . . . 118μs Stephen 022: C(4) monoid normal form (test_case_mt_14) . . . 115μs Stephen 023: C(4) monoid normal form (test_case_mt_15) . . . 121μs Stephen 024: C(4) monoid normal form (test_case_mt_16) . . . 136μs Stephen 025: C(4) monoid normal form (test_case_mt_17) . . . 314μs Stephen 026: C(4) monoid normal form (test_case_weak_1) . . . 257μs Stephen 027: C(4) monoid normal form (test_case_weak_2) . . . 241μs Stephen 028: C(4) monoid normal form (test_case_weak_3) . . . 237μs Stephen 029: C(4) monoid normal form (test_case_weak_4) . . . 236μs Stephen 030: C(4) monoid normal form (test_case_weak_5) . . . 132μs Stephen 031: Test behaviour when uninitialised . . . 169μs Suf 005: unite . . . 24μs Suf 007: compress . . . 13μs Suf 011: big chain . . . 20ms Suf 013: empty table . . . 10μs Suf 015: join . . . 13μs Suf 017: contains . . . 30μs Suf 019: swap . . . 33μs Timer 001: string method (1 argument) . . . 29μs Timer 002: string method (0 arguments) . . . 10ms Timer 003: reset/elapsed method . . . 20ms Timer 004: operator<< . . . 13μs ToddCoxeter 000: small 2-sided congruence . . .  -- with HLT + no standardise + full lookahead + no save 1732μs  -- with HLT + standardise + full lookahead + no save 1770μs  -- with HLT + no standardise + partial lookahead + no save 1699μs  -- with HLT + standardise + partial lookahead + no save 1426μs  -- with HLT + no standardise + full lookahead + save 1479μs  -- with HLT + standardise + full lookahead + save 1440μs  -- with HLT + no standardise + partial lookahead + save 1759μs  -- with HLT + standardise + partial lookahead + save 1490μs  -- with Felsch + no standardisation 1440μs  -- with Felsch + standardisation 1487μs  -- with random strategy 1503μs  -- with Rc style + full lookahead 1450μs  -- with Rc style + partial lookahead 1428μs  -- with R/C style 1463μs  -- with CR style 1455μs  -- with Cr style 1448μs ToddCoxeter 001: small 2-sided congruence . . .  -- with HLT + no standardise + full lookahead + no save 6280μs  -- with HLT + standardise + full lookahead + no save 6205μs  -- with HLT + no standardise + partial lookahead + no save 6172μs  -- with HLT + standardise + partial lookahead + no save 6586μs  -- with HLT + no standardise + full lookahead + save 6193μs  -- with HLT + standardise + full lookahead + save 6168μs  -- with HLT + no standardise + partial lookahead + save 6238μs  -- with HLT + standardise + partial lookahead + save 6194μs  -- with Felsch + no standardisation 6125μs  -- with Felsch + standardisation 6063μs  -- with random strategy 6078μs  -- with Rc style + full lookahead 6055μs  -- with Rc style + partial lookahead 6040μs  -- with R/C style 5993μs  -- with CR style 6042μs  -- with Cr style 6061μ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 284μs  -- with HLT + standardise + full lookahead + no save 201μs  -- with HLT + no standardise + partial lookahead + no save 189μs  -- with HLT + standardise + partial lookahead + no save 190μs  -- with HLT + save (throws) 234μs  -- with Felsch (throws) 203μs  -- with random strategy 195μs ToddCoxeter 005: non-trivial two-sided from relations . . .  -- with HLT + no standardise + full lookahead + no save 68μs  -- with HLT + standardise + full lookahead + no save 52μs  -- with HLT + no standardise + partial lookahead + no save 48μs  -- with HLT + standardise + partial lookahead + no save 47μs  -- with HLT + no standardise + full lookahead + save 66μs  -- with HLT + standardise + full lookahead + save 60μs  -- with HLT + no standardise + partial lookahead + save 59μs  -- with HLT + standardise + partial lookahead + save 59μs  -- with Felsch + no standardisation 54μs  -- with Felsch + standardisation 55μs  -- with random strategy 57μs  -- with Rc style + full lookahead 50μs  -- with Rc style + partial lookahead 49μs  -- with R/C style 50μs  -- with CR style 54μs  -- with Cr style 54μs ToddCoxeter 006: small right cong. on free semigroup . . .  -- with HLT + no standardise + full lookahead + no save 46μs  -- with HLT + standardise + full lookahead + no save 39μs  -- with HLT + no standardise + partial lookahead + no save 38μs  -- with HLT + standardise + partial lookahead + no save 41μs  -- with HLT + no standardise + full lookahead + save 46μs  -- with HLT + standardise + full lookahead + save 43μs  -- with HLT + no standardise + partial lookahead + save 43μs  -- with HLT + standardise + partial lookahead + save 43μs  -- with Felsch + no standardisation 42μs  -- with Felsch + standardisation 58μs  -- with random strategy 47μs  -- with Rc style + full lookahead 41μs  -- with Rc style + partial lookahead 46μs  -- with R/C style 41μs  -- with CR style 50μs  -- with Cr style 45μs ToddCoxeter 007: left cong. on free semigroup . . .  -- with HLT + no standardise + full lookahead + no save 60μs  -- with HLT + standardise + full lookahead + no save 47μs  -- with HLT + no standardise + partial lookahead + no save 44μs  -- with HLT + standardise + partial lookahead + no save 56μs  -- with HLT + no standardise + full lookahead + save 50μs  -- with HLT + standardise + full lookahead + save 49μs  -- with HLT + no standardise + partial lookahead + save 47μs  -- with HLT + standardise + partial lookahead + save 49μs  -- with Felsch + no standardisation 47μs  -- with Felsch + standardisation 53μs  -- with random strategy 52μs  -- with Rc style + full lookahead 49μs  -- with Rc style + partial lookahead 49μs  -- with R/C style 50μs  -- with CR style 52μs  -- with Cr style 51μs ToddCoxeter 008: for small fp semigroup . . .  -- with HLT + no standardise + full lookahead + no save 52μs  -- with HLT + standardise + full lookahead + no save 39μs  -- with HLT + no standardise + partial lookahead + no save 37μs  -- with HLT + standardise + partial lookahead + no save 40μs  -- with HLT + no standardise + full lookahead + save 44μs  -- with HLT + standardise + full lookahead + save 43μs  -- with HLT + no standardise + partial lookahead + save 42μs  -- with HLT + standardise + partial lookahead + save 42μs  -- with Felsch + no standardisation 43μs  -- with Felsch + standardisation 41μs  -- with random strategy 46μs  -- with Rc style + full lookahead 42μs  -- with Rc style + partial lookahead 42μs  -- with R/C style 41μs  -- with CR style 45μs  -- with Cr style 47μs ToddCoxeter 009: 2-sided cong. trans. semigroup . . .  -- with HLT + no standardise + full lookahead + no save 287μs  -- with HLT + standardise + full lookahead + no save 243μs  -- with HLT + no standardise + partial lookahead + no save 261μs  -- with HLT + standardise + partial lookahead + no save 275μs  -- with HLT + no standardise + full lookahead + save 722μs  -- with HLT + standardise + full lookahead + save 665μs  -- with HLT + no standardise + partial lookahead + save 665μs  -- with HLT + standardise + partial lookahead + save 659μs  -- with Felsch + no standardisation 600μs  -- with Felsch + standardisation 614μs  -- with random strategy 255μs  -- with Rc style + full lookahead 250μs  -- with Rc style + partial lookahead 246μs  -- with R/C style 259μs  -- with CR style 601μs  -- with Cr style 591μs ToddCoxeter 010: left congruence on transformation semigroup . . .  -- with HLT + no standardise + full lookahead + no save 278μs  -- with HLT + standardise + full lookahead + no save 284μs  -- with HLT + no standardise + partial lookahead + no save 265μs  -- with HLT + standardise + partial lookahead + no save 314μs  -- with HLT + no standardise + full lookahead + save 705μs  -- with HLT + standardise + full lookahead + save 711μs  -- with HLT + no standardise + partial lookahead + save 690μs  -- with HLT + standardise + partial lookahead + save 703μs  -- with Felsch + no standardisation 661μs  -- with Felsch + standardisation 602μs  -- with random strategy 766μs  -- with Rc style + full lookahead 321μs  -- with Rc style + partial lookahead 320μs  -- with R/C style 342μs  -- with CR style 694μs  -- with Cr style 655μs ToddCoxeter 011: right cong. trans. semigroup . . .  -- with HLT + no standardise + full lookahead + no save 287μs  -- with HLT + standardise + full lookahead + no save 295μs  -- with HLT + no standardise + partial lookahead + no save 284μs  -- with HLT + standardise + partial lookahead + no save 289μs  -- with HLT + no standardise + full lookahead + save 689μs  -- with HLT + standardise + full lookahead + save 715μs  -- with HLT + no standardise + partial lookahead + save 681μs  -- with HLT + standardise + partial lookahead + save 687μs  -- with Felsch + no standardisation 533μs  -- with Felsch + standardisation 556μs  -- with random strategy 341μs  -- with Rc style + full lookahead 346μs  -- with Rc style + partial lookahead 355μs  -- with R/C style 355μs  -- with CR style 570μs  -- with Cr style 560μs ToddCoxeter 012: trans. semigroup (size 88) . . .  -- with HLT + no standardise + full lookahead + no save 163μs  -- with HLT + standardise + full lookahead + no save 155μs  -- with HLT + no standardise + partial lookahead + no save 152μs  -- with HLT + standardise + partial lookahead + no save 151μs  -- with HLT + save (throws) 167μs  -- with Felsch (throws) 163μs  -- with random strategy 168μs ToddCoxeter 013: left cong. on trans. semigroup (size 88) . . .  -- with HLT + no standardise + full lookahead + no save 235μs  -- with HLT + standardise + full lookahead + no save 280μs  -- with HLT + no standardise + partial lookahead + no save 226μs  -- with HLT + standardise + partial lookahead + no save 247μs  -- with HLT + no standardise + full lookahead + save 668μs  -- with HLT + standardise + full lookahead + save 678μs  -- with HLT + no standardise + partial lookahead + save 1007μs  -- with HLT + standardise + partial lookahead + save 704μs  -- with Felsch + no standardisation 593μs  -- with Felsch + standardisation 564μs  -- with random strategy 291μs  -- with Rc style + full lookahead 271μs  -- with Rc style + partial lookahead 277μs  -- with R/C style 304μs  -- with CR style 652μs  -- with Cr style 614μs ToddCoxeter 014: right cong. on trans. semigroup (size 88) . . .  -- with HLT + no standardise + full lookahead + no save 247μs  -- with HLT + standardise + full lookahead + no save 254μs  -- with HLT + no standardise + partial lookahead + no save 239μs  -- with HLT + standardise + partial lookahead + no save 250μs  -- with HLT + no standardise + full lookahead + save 646μs  -- with HLT + standardise + full lookahead + save 649μs  -- with HLT + no standardise + partial lookahead + save 663μs  -- with HLT + standardise + partial lookahead + save 646μs  -- with Felsch + no standardisation 497μs  -- with Felsch + standardisation 525μs  -- with random strategy 301μs  -- with Rc style + full lookahead 283μs  -- with Rc style + partial lookahead 279μs  -- with R/C style 316μs  -- with CR style 548μs  -- with Cr style 517μs ToddCoxeter 015: finite fp-semigroup, dihedral group of order 6 . . .  -- with HLT + no standardise + full lookahead + no save 91μs  -- with HLT + standardise + full lookahead + no save 85μs  -- with HLT + no standardise + partial lookahead + no save 77μs  -- with HLT + standardise + partial lookahead + no save 80μs  -- with HLT + no standardise + full lookahead + save 105μs  -- with HLT + standardise + full lookahead + save 102μs  -- with HLT + no standardise + partial lookahead + save 99μs  -- with HLT + standardise + partial lookahead + save 103μs  -- with Felsch + no standardisation 93μs  -- with Felsch + standardisation 89μs  -- with random strategy 96μs  -- with Rc style + full lookahead 81μs  -- with Rc style + partial lookahead 78μs  -- with R/C style 79μs  -- with CR style 90μs  -- with Cr style 89μs ToddCoxeter 016: finite fp-semigroup, size 16 . . .  -- with HLT + no standardise + full lookahead + no save 89μs  -- with HLT + standardise + full lookahead + no save 96μs  -- with HLT + no standardise + partial lookahead + no save 90μs  -- with HLT + standardise + partial lookahead + no save 82μs  -- with HLT + no standardise + full lookahead + save 170μs  -- with HLT + standardise + full lookahead + save 211μs  -- with HLT + no standardise + partial lookahead + save 161μs  -- with HLT + standardise + partial lookahead + save 169μs  -- with Felsch + no standardisation 152μs  -- with Felsch + standardisation 145μs  -- with random strategy 157μs  -- with Rc style + full lookahead 87μs  -- with Rc style + partial lookahead 85μs  -- with R/C style 96μs  -- with CR style 150μs  -- with Cr style 147μs ToddCoxeter 017: finite fp-semigroup, size 16 . . .  -- with HLT + no standardise + full lookahead + no save 163μs  -- with HLT + standardise + full lookahead + no save 154μs  -- with HLT + no standardise + partial lookahead + no save 141μs  -- with HLT + standardise + partial lookahead + no save 148μs  -- with HLT + no standardise + full lookahead + save 363μs  -- with HLT + standardise + full lookahead + save 358μs  -- with HLT + no standardise + partial lookahead + save 337μs  -- with HLT + standardise + partial lookahead + save 377μs  -- with Felsch + no standardisation 309μs  -- with Felsch + standardisation 300μs  -- with random strategy 321μs  -- with Rc style + full lookahead 165μs  -- with Rc style + partial lookahead 155μs  -- with R/C style 166μs  -- with CR style 307μs  -- with Cr style 307μs ToddCoxeter 018: test lookahead . . .  -- with HLT + no standardise + full lookahead + no save 360μs  -- with HLT + standardise + full lookahead + no save 355μs  -- with HLT + no standardise + partial lookahead + no save 355μs  -- with HLT + standardise + partial lookahead + no save 337μs  -- with HLT + no standardise + full lookahead + save 596μs  -- with HLT + standardise + full lookahead + save 595μs  -- with HLT + no standardise + partial lookahead + save 582μs  -- with HLT + standardise + partial lookahead + save 593μs ToddCoxeter 019: non-trivial left cong. from semigroup . . .  -- with HLT + no standardise + full lookahead + no save 151μs  -- with HLT + standardise + full lookahead + no save 150μs  -- with HLT + no standardise + partial lookahead + no save 146μs  -- with HLT + standardise + partial lookahead + no save 146μs  -- with HLT + save (throws) 151μs  -- with Felsch (throws) 146μs  -- with random strategy 157μs ToddCoxeter 020: 2-sided cong. on free semigroup . . .  -- with HLT + no standardise + full lookahead + no save 29μs  -- with HLT + standardise + full lookahead + no save 23μs  -- with HLT + no standardise + partial lookahead + no save 22μs  -- with HLT + standardise + partial lookahead + no save 22μs  -- with HLT + no standardise + full lookahead + save 22μs  -- with HLT + standardise + full lookahead + save 22μs  -- with HLT + no standardise + partial lookahead + save 21μs  -- with HLT + standardise + partial lookahead + save 21μs  -- with Felsch + no standardisation 21μs  -- with Felsch + standardisation 23μs  -- with random strategy 22μs ToddCoxeter 021: calling run when obviously infinite . . .  -- with HLT + no standardise + full lookahead + no save 49μs  -- with HLT + standardise + full lookahead + no save 36μs  -- with HLT + no standardise + partial lookahead + no save 35μs  -- with HLT + standardise + partial lookahead + no save 35μs  -- with HLT + no standardise + full lookahead + save 35μs  -- with HLT + standardise + full lookahead + save 35μs  -- with HLT + no standardise + partial lookahead + save 35μs  -- with HLT + standardise + partial lookahead + save 35μs  -- with Felsch + no standardisation 34μs  -- with Felsch + standardisation 36μs  -- with random strategy 34μs ToddCoxeter 022: stellar_monoid S3 . . .  -- with HLT + no standardise + full lookahead + no save 140μs  -- with HLT + standardise + full lookahead + no save 134μs  -- with HLT + no standardise + partial lookahead + no save 123μs  -- with HLT + standardise + partial lookahead + no save 129μs  -- with HLT + no standardise + full lookahead + save 254μs  -- with HLT + standardise + full lookahead + save 252μs  -- with HLT + no standardise + partial lookahead + save 238μs  -- with HLT + standardise + partial lookahead + save 246μs  -- with Felsch + no standardisation 225μs  -- with Felsch + standardisation 220μs  -- with random strategy 227μs  -- with Rc style + full lookahead 136μs  -- with Rc style + partial lookahead 133μs  -- with R/C style 140μs  -- with CR style 220μs  -- with Cr style 217μs ToddCoxeter 023: finite semigroup (size 5) . . .  -- with HLT + no standardise + full lookahead + no save 46μs  -- with HLT + standardise + full lookahead + no save 38μs  -- with HLT + no standardise + partial lookahead + no save 35μs  -- with HLT + standardise + partial lookahead + no save 39μs  -- with HLT + no standardise + full lookahead + save 44μs  -- with HLT + standardise + full lookahead + save 43μs  -- with HLT + no standardise + partial lookahead + save 43μs  -- with HLT + standardise + partial lookahead + save 42μs  -- with Felsch + no standardisation 43μs  -- with Felsch + standardisation 43μs  -- with random strategy 41μs  -- with Rc style + full lookahead 37μs  -- with Rc style + partial lookahead 37μs  -- with R/C style 37μs  -- with CR style 44μs  -- with Cr style 42μs ToddCoxeter 024: exceptions . . .  -- with HLT + no standardise + full lookahead + no save 192μs  -- with HLT + standardise + full lookahead + no save 168μs  -- with HLT + no standardise + partial lookahead + no save 167μs  -- with HLT + standardise + partial lookahead + no save 167μs  -- with HLT + no standardise + full lookahead + save 171μs  -- with HLT + standardise + full lookahead + save 170μs  -- with HLT + no standardise + partial lookahead + save 171μs  -- with HLT + standardise + partial lookahead + save 212μs  -- with Felsch + no standardisation 172μs  -- with Felsch + standardisation 175μs  -- with random strategy 173μs  -- with Rc style + full lookahead 169μs  -- with Rc style + partial lookahead 166μs  -- with R/C style 165μs  -- with CR style 173μs  -- with Cr style 171μs ToddCoxeter 025: obviously infinite . . .  -- with HLT + no standardise + full lookahead + no save 56μs  -- with HLT + standardise + full lookahead + no save 45μs  -- with HLT + no standardise + partial lookahead + no save 45μs  -- with HLT + standardise + partial lookahead + no save 45μs  -- with HLT + no standardise + full lookahead + save 47μs  -- with HLT + standardise + full lookahead + save 45μs  -- with HLT + no standardise + partial lookahead + save 45μs  -- with HLT + standardise + partial lookahead + save 45μs  -- with Felsch + no standardisation 47μs  -- with Felsch + standardisation 46μs  -- with random strategy 44μs ToddCoxeter 026: exceptions . . .  -- with HLT + no standardise + full lookahead + no save 121μs  -- with HLT + standardise + full lookahead + no save 101μs  -- with HLT + no standardise + partial lookahead + no save 97μs  -- with HLT + standardise + partial lookahead + no save 98μs  -- with HLT + no standardise + full lookahead + save 110μs  -- with HLT + standardise + full lookahead + save 107μs  -- with HLT + no standardise + partial lookahead + save 105μs  -- with HLT + standardise + partial lookahead + save 106μs  -- with Felsch + no standardisation 105μs  -- with Felsch + standardisation 106μs  -- with random strategy 119μs  -- with Rc style + full lookahead 102μs  -- with Rc style + partial lookahead 99μs  -- with R/C style 99μs  -- with CR style 103μs  -- with Cr style 106μs ToddCoxeter 027: empty . . . 60μs ToddCoxeter 028: congruence of fpsemigroup::ToddCoxeter . . .  -- with HLT + no standardise + full lookahead + no save 172μs  -- with HLT + standardise + full lookahead + no save 138μs  -- with HLT + no standardise + partial lookahead + no save 135μs  -- with HLT + standardise + partial lookahead + no save 134μs  -- with HLT + save (throws) 142μs  -- with Felsch (throws) 139μs  -- with random strategy 142μs  -- with HLT + no standardise + full lookahead + save 138μs  -- with HLT + standardise + full lookahead + save 141μs  -- with HLT + no standardise + partial lookahead + save 144μs  -- with HLT + standardise + partial lookahead + save 138μs  -- with Felsch + no standardisation 136μs  -- with Felsch + standardisation 134μs  -- with Rc style + full lookahead 129μs  -- with Rc style + partial lookahead 128μs  -- with R/C style 127μs  -- with CR style 131μs  -- with Cr style 139μs ToddCoxeter 029: !KnuthBendix.started() . . .  -- with HLT + no standardise + full lookahead + no save and 2-sided 94μs  -- with HLT + standardise + full lookahead + no save and 2-sided 70μs  -- with HLT + no standardise + partial lookahead + no save and 2-sided 64μs  -- with HLT + standardise + partial lookahead + no save and 2-sided 62μs  -- with HLT + no standardise + full lookahead + save and 2-sided 70μs  -- with HLT + standardise + full lookahead + save and 2-sided 69μs  -- with HLT + no standardise + partial lookahead + save and 2-sided 66μs  -- with HLT + standardise + partial lookahead + save and 2-sided 67μs  -- with Felsch + no standardisation and 2-sided 64μs  -- with Felsch + standardisation and 2-sided 64μs  -- with random strategy and 2-sided 69μs  -- with HLT + no standardise + full lookahead + no save and left 67μs  -- with HLT + standardise + full lookahead + no save and left 64μs  -- with HLT + no standardise + partial lookahead + no save and left 62μs  -- with HLT + standardise + partial lookahead + no save and left 61μs  -- with HLT + no standardise + full lookahead + save and left 73μs  -- with HLT + standardise + full lookahead + save and left 72μs  -- with HLT + no standardise + partial lookahead + save and left 71μs  -- with HLT + standardise + partial lookahead + save and left 71μs  -- with Felsch + no standardisation and left 71μs  -- with Felsch + standardisation and left 70μs  -- with random strategy and left 67μs  -- with HLT + no standardise + full lookahead + no save and right 64μs  -- with HLT + standardise + full lookahead + no save and right 61μs  -- with HLT + no standardise + partial lookahead + no save and right 64μs  -- with HLT + standardise + partial lookahead + no save and right 62μs  -- with HLT + no standardise + full lookahead + save and right 72μs  -- with HLT + standardise + full lookahead + save and right 71μs  -- with HLT + no standardise + partial lookahead + save and right 71μs  -- with HLT + standardise + partial lookahead + save and right 71μs  -- with Felsch + no standardisation and right 70μs  -- with Felsch + standardisation and right 69μs  -- with random strategy and right 74μs ToddCoxeter 030: KnuthBendix.finished() . . .  -- with HLT + no standardise + full lookahead + no save and 2-sided 179μs  -- with HLT + standardise + full lookahead + no save and 2-sided 147μs  -- with HLT + no standardise + partial lookahead + no save and 2-sided 146μs  -- with HLT + standardise + partial lookahead + no save and 2-sided 143μs  -- with HLT + no standardise + full lookahead + save and 2-sided 147μs  -- with HLT + standardise + full lookahead + save and 2-sided 157μs  -- with HLT + no standardise + partial lookahead + save and 2-sided 146μs  -- with HLT + standardise + partial lookahead + save and 2-sided 145μs  -- with Felsch + no standardisation and 2-sided 140μs  -- with Felsch + standardisation and 2-sided 138μs  -- with random strategy and 2-sided 156μs  -- with HLT + no standardise + full lookahead + no save and left 157μs  -- with HLT + standardise + full lookahead + no save and left 146μs  -- with HLT + no standardise + partial lookahead + no save and left 148μs  -- with HLT + standardise + partial lookahead + no save and left 143μs  -- with HLT + no standardise + full lookahead + save and left 155μs  -- with HLT + standardise + full lookahead + save and left 154μs  -- with HLT + no standardise + partial lookahead + save and left 152μs  -- with HLT + standardise + partial lookahead + save and left 153μs  -- with Felsch + no standardisation and left 148μs  -- with Felsch + standardisation and left 149μs  -- with random strategy and left 155μs  -- with HLT + no standardise + full lookahead + no save and right 145μs  -- with HLT + standardise + full lookahead + no save and right 141μs  -- with HLT + no standardise + partial lookahead + no save and right 141μs  -- with HLT + standardise + partial lookahead + no save and right 152μs  -- with HLT + no standardise + full lookahead + save and right 153μs  -- with HLT + standardise + full lookahead + save and right 153μs  -- with HLT + no standardise + partial lookahead + save and right 153μs  -- with HLT + standardise + partial lookahead + save and right 152μs  -- with Felsch + no standardisation and right 150μs  -- with Felsch + standardisation and right 147μs  -- with random strategy and right 157μs ToddCoxeter 031: KnuthBendix.finished() . . .  -- with HLT + no standardise + full lookahead + no save and 2-sided 121μs  -- with HLT + standardise + full lookahead + no save and 2-sided 108μs  -- with HLT + no standardise + partial lookahead + no save and 2-sided 105μs  -- with HLT + standardise + partial lookahead + no save and 2-sided 109μs  -- with HLT + no standardise + full lookahead + save and 2-sided 111μs  -- with HLT + standardise + full lookahead + save and 2-sided 109μs  -- with HLT + no standardise + partial lookahead + save and 2-sided 108μs  -- with HLT + standardise + partial lookahead + save and 2-sided 106μs  -- with Felsch + no standardisation and 2-sided 102μs  -- with Felsch + standardisation and 2-sided 101μs  -- with random strategy and 2-sided 108μs  -- with Rc style + full lookahead and 2-sided 108μs  -- with Rc style + partial lookahead and 2-sided 107μs  -- with R/C style and 2-sided 101μs  -- with CR style and 2-sided 107μs  -- with Cr style and 2-sided 110μs  -- with HLT + no standardise + full lookahead + no save and left 119μs  -- with HLT + standardise + full lookahead + no save and left 107μs  -- with HLT + no standardise + partial lookahead + no save and left 112μs  -- with HLT + standardise + partial lookahead + no save and left 105μs  -- with HLT + no standardise + full lookahead + save and left 114μs  -- with HLT + standardise + full lookahead + save and left 120μs  -- with HLT + no standardise + partial lookahead + save and left 113μs  -- with HLT + standardise + partial lookahead + save and left 113μs  -- with Felsch + no standardisation and left 109μs  -- with Felsch + standardisation and left 109μs  -- with random strategy and left 125μs  -- with Rc style + full lookahead and left 112μs  -- with Rc style + partial lookahead and left 110μs  -- with R/C style and left 106μs  -- with CR style and left 112μs  -- with Cr style and left 125μs  -- with HLT + no standardise + full lookahead + no save and right 108μs  -- with HLT + standardise + full lookahead + no save and right 106μs  -- with HLT + no standardise + partial lookahead + no save and right 104μs  -- with HLT + standardise + partial lookahead + no save and right 104μs  -- with HLT + no standardise + full lookahead + save and right 114μs  -- with HLT + standardise + full lookahead + save and right 117μs  -- with HLT + no standardise + partial lookahead + save and right 114μs  -- with HLT + standardise + partial lookahead + save and right 113μs  -- with Felsch + no standardisation and right 110μs  -- with Felsch + standardisation and right 109μs  -- with random strategy and right 121μs  -- with Rc style + full lookahead and right 113μs  -- with Rc style + partial lookahead and right 111μs  -- with R/C style and right 110μs  -- with CR style and right 121μs  -- with Cr style and right 119μs ToddCoxeter 032: prefill . . . 143μs ToddCoxeter 033: congruence of ToddCoxeter . . .  -- with HLT + no standardise + full lookahead + no save 57μs  -- with HLT + standardise + full lookahead + no save 47μs  -- with HLT + no standardise + partial lookahead + no save 45μs  -- with HLT + standardise + partial lookahead + no save 45μs  -- with HLT + no standardise + full lookahead + save 52μs  -- with HLT + standardise + full lookahead + save 51μs  -- with HLT + no standardise + partial lookahead + save 50μs  -- with HLT + standardise + partial lookahead + save 50μs  -- with random strategy 49μs ToddCoxeter 034: congruence of ToddCoxeter . . .  -- with HLT + no standardise + full lookahead + no save 162μs  -- with HLT + standardise + full lookahead + no save 134μs  -- with HLT + no standardise + partial lookahead + no save 131μs  -- with HLT + standardise + partial lookahead + no save 128μs  -- with HLT + save (throws) 141μs  -- with Felsch (throws) 139μs  -- with random strategy 140μs ToddCoxeter 035: congruence on FpSemigroup . . .  -- with HLT + no standardise + full lookahead + no save 339μs  -- with HLT + standardise + full lookahead + no save 303μs  -- with HLT + no standardise + partial lookahead + no save 293μs  -- with HLT + standardise + partial lookahead + no save 292μs  -- with HLT + no standardise + full lookahead + save 342μs  -- with HLT + standardise + full lookahead + save 329μs  -- with HLT + no standardise + partial lookahead + save 325μs  -- with HLT + standardise + partial lookahead + save 324μs  -- with Felsch + no standardisation 322μs  -- with Felsch + standardisation 320μs  -- with random strategy 330μs  -- with Rc style + full lookahead 291μs  -- with Rc style + partial lookahead 291μs  -- with R/C style 290μs  -- with CR style 347μs  -- with Cr style 325μs ToddCoxeter 036: exceptions . . . 104μs ToddCoxeter 037: copy constructor . . . 43μs ToddCoxeter 038: simplify . . . 146μs ToddCoxeter 039: stylic_monoid . . . 954ms ToddCoxeter 041: some finite classes . . . 616μs ToddCoxeter 043: symmetric_group(7, Coxeter + Moser) . . . 179ms ToddCoxeter 044: Option exceptions . . . 74μs ToddCoxeter 045: Options operator<< . . . 687μs ToddCoxeter 046: Easdown-East-FitzGerald DualSymInv(5) . . .  -- with HLT + no standardise + full lookahead + no save 203ms  -- with HLT + standardise + full lookahead + no save 225ms  -- with HLT + no standardise + partial lookahead + no save 202ms  -- with HLT + standardise + partial lookahead + no save 225ms  -- with HLT + no standardise + full lookahead + save 163ms  -- with HLT + standardise + full lookahead + save 165ms  -- with HLT + no standardise + partial lookahead + save 163ms  -- with HLT + standardise + partial lookahead + save 165ms  -- with Felsch + no standardisation 181ms  -- with Felsch + standardisation 182ms  -- with random strategy 209ms  -- with R/C style 213ms  -- with Rc style + full lookahead 187ms  -- with Rc style + partial lookahead 187ms ToddCoxeter 047: uniform_block_bijection_monoid(3) (FitzGerald) . . .  -- with HLT + no standardise + full lookahead + no save 115μs  -- with HLT + standardise + full lookahead + no save 109μs  -- with HLT + no standardise + partial lookahead + no save 97μs  -- with HLT + standardise + partial lookahead + no save 122μs  -- with HLT + no standardise + full lookahead + save 272μs  -- with HLT + standardise + full lookahead + save 257μs  -- with HLT + no standardise + partial lookahead + save 248μs  -- with HLT + standardise + partial lookahead + save 248μs  -- with Felsch + no standardisation 192μs  -- with Felsch + standardisation 180μs  -- with random strategy 180μs  -- with R/C style 114μs  -- with Rc style + full lookahead 104μs  -- with Rc style + partial lookahead 104μs ToddCoxeter 048: stellar_monoid(7) (Gay-Hivert) . . . 182ms ToddCoxeter 049: partition_monoid(4) (East) . . .  -- with HLT + no standardise + full lookahead + no save 34ms  -- with HLT + standardise + full lookahead + no save 36ms  -- with HLT + no standardise + partial lookahead + no save 35ms  -- with HLT + standardise + partial lookahead + no save 36ms  -- with HLT + no standardise + full lookahead + save 65ms  -- with HLT + standardise + full lookahead + save 67ms  -- with HLT + no standardise + partial lookahead + save 65ms  -- with HLT + standardise + partial lookahead + save 67ms  -- with Felsch + no standardisation 77ms  -- with Felsch + standardisation 77ms  -- with random strategy 39ms  -- with R/C style 39ms  -- with Rc style + full lookahead 84ms  -- with Rc style + partial lookahead 83ms ToddCoxeter 050: singular_brauer_monoid(6) (Maltcev + Mazorchuk) . . . 623ms ToddCoxeter 051: orientation_preserving_monoid(6) (Ruskuc + [...] . . .  -- with HLT + no standardise + full lookahead + no save 28ms ToddCoxeter 052: orientation_reversing_monoid(5) (Ruskuc + [...] . . .  -- with HLT + no standardise + full lookahead + no save 7162μs ToddCoxeter 053: temperley_lieb_monoid(10) (East) . . . 45ms ToddCoxeter 063: add_rule . . .  -- with HLT + no standardise + full lookahead + no save 134μs  -- with HLT + standardise + full lookahead + no save 84μs  -- with HLT + no standardise + partial lookahead + no save 76μs  -- with HLT + standardise + partial lookahead + no save 73μs  -- with HLT + no standardise + full lookahead + save 85μs  -- with HLT + standardise + full lookahead + save 80μs  -- with HLT + no standardise + partial lookahead + save 82μs  -- with HLT + standardise + partial lookahead + save 78μs  -- with Felsch + no standardisation 80μs  -- with Felsch + standardisation 78μs  -- with random strategy 84μs  -- with Rc style + full lookahead 74μs  -- with Rc style + partial lookahead 73μs  -- with R/C style 76μs  -- with CR style 79μs  -- with Cr style 79μs  -- with R/C + Felsch lookahead 81μs  -- with HLT + Felsch lookahead + save 81μs  -- with Cr + small number of f_defs 84μs  -- with Rc + small number of deductions 74μs  -- with Felsch + v2 + no preferred defs 94μs  -- with Felsch + v2 + immediate no stack 80μs  -- with Felsch + v1 + immediate no stack 79μs  -- with Felsch + v1 + immediate yes stack 78μs  -- with large collapse 74μs ToddCoxeter 064: (from kbmag/standalone/kb_data/s4) (KnuthB [...] . . .  -- with HLT + no standardise + full lookahead + no save 283μs ToddCoxeter 066: test validate . . . 64μs ToddCoxeter 067: add_rules after construct. from semigroup . . .  -- with HLT + no standardise + full lookahead + no save 375μs  -- with HLT + standardise + full lookahead + no save 348μs  -- with HLT + no standardise + partial lookahead + no save 340μs  -- with HLT + standardise + partial lookahead + no save 336μs  -- with HLT + save (throws) 350μs  -- with Felsch (throws) 358μs  -- with random strategy 351μs ToddCoxeter 068: Sym(5) from Chapter 3, Proposition 1.1 in NR . . .  -- with Deduction policy == purge_from_top 829μs  -- with Deduction policy == purge_all 786μs  -- with Deduction policy == discard_all_if_no_space 793μs  -- with HLT + no standardise + full lookahead + no save 898μs  -- with HLT + standardise + full lookahead + no save 1246μs  -- with HLT + no standardise + partial lookahead + no save 893μs  -- with HLT + standardise + partial lookahead + no save 1240μs  -- with HLT + no standardise + full lookahead + save 1340μs  -- with HLT + standardise + full lookahead + save 1367μs  -- with HLT + no standardise + partial lookahead + save 1321μs  -- with HLT + standardise + partial lookahead + save 1351μs  -- with Felsch + no standardisation 886μs  -- with Felsch + standardisation 850μs  -- with random strategy 1383μs  -- with Rc style + full lookahead 1792μs  -- with Rc style + partial lookahead 1781μs  -- with R/C style 966μs  -- with CR style 910μs  -- with Cr style 890μs ToddCoxeter 069: Chapter 7, Theorem 3.6 in NR (size 243) . . .  -- with HLT + no standardise + full lookahead + no save 421μs  -- with HLT + standardise + full lookahead + no save 487μs  -- with HLT + no standardise + partial lookahead + no save 418μs  -- with HLT + standardise + partial lookahead + no save 486μs  -- with HLT + no standardise + full lookahead + save 603μs  -- with HLT + standardise + full lookahead + save 640μs  -- with HLT + no standardise + partial lookahead + save 593μs  -- with HLT + standardise + partial lookahead + save 645μs  -- with Felsch + no standardisation 2915μs  -- with Felsch + standardisation 2956μs  -- with random strategy 3012μs  -- with Rc style + full lookahead 443μs  -- with Rc style + partial lookahead 440μs  -- with R/C style 461μs  -- with CR style 2923μs  -- with Cr style 2907μs ToddCoxeter 070: finite semigroup (size 99) . . .  -- with HLT + no standardise + full lookahead + no save 195μs  -- with HLT + standardise + full lookahead + no save 217μs  -- with HLT + no standardise + partial lookahead + no save 197μs  -- with HLT + standardise + partial lookahead + no save 209μs  -- with HLT + no standardise + full lookahead + save 259μs  -- with HLT + standardise + full lookahead + save 267μs  -- with HLT + no standardise + partial lookahead + save 244μs  -- with HLT + standardise + partial lookahead + save 262μs  -- with Felsch + no standardisation 547μs  -- with Felsch + standardisation 543μs  -- with random strategy 270μs  -- with Rc style + full lookahead 195μs  -- with Rc style + partial lookahead 193μs  -- with R/C style 205μs  -- with CR style 554μs  -- with Cr style 544μs ToddCoxeter 080: KnuthBendix 098 . . .  -- with HLT + no standardise + full lookahead + no save 648ms  -- with HLT + standardise + full lookahead + no save 772ms  -- with HLT + no standardise + partial lookahead + no save 644ms  -- with HLT + standardise + partial lookahead + no save 757ms  -- with HLT + no standardise + full lookahead + save 461ms  -- with HLT + standardise + full lookahead + save 470ms  -- with HLT + no standardise + partial lookahead + save 458ms  -- with HLT + standardise + partial lookahead + save 461ms  -- with Felsch + no standardisation 416ms  -- with Felsch + standardisation 417ms  -- with random strategy 651ms  -- with Rc style + full lookahead 415ms  -- with Rc style + partial lookahead 415ms  -- with R/C style 620ms  -- with CR style 417ms  -- with Cr style 416ms ToddCoxeter 084: Campbell-Reza 1 . . .  -- with HLT + no standardise + full lookahead + no save 161μs  -- with HLT + standardise + full lookahead + no save 107μs  -- with HLT + no standardise + partial lookahead + no save 98μs  -- with HLT + standardise + partial lookahead + no save 96μs  -- with HLT + no standardise + full lookahead + save 113μs  -- with HLT + standardise + full lookahead + save 108μs  -- with HLT + no standardise + partial lookahead + save 107μs  -- with HLT + standardise + partial lookahead + save 108μs  -- with Felsch + no standardisation 119μs  -- with Felsch + standardisation 111μs  -- with random strategy 96μs  -- with Rc style + full lookahead 92μs  -- with Rc style + partial lookahead 90μs  -- with R/C style 117μs  -- with CR style 126μs  -- with Cr style 111μs ToddCoxeter 085: Renner monoid type D4 (Gay-Hivert), q = 1 . . .  -- with HLT + no standardise + full lookahead + no save 134ms  -- with HLT + standardise + full lookahead + no save 134ms  -- with HLT + no standardise + partial lookahead + no save 132ms  -- with HLT + standardise + partial lookahead + no save 133ms  -- with HLT + no standardise + full lookahead + save 133ms  -- with HLT + standardise + full lookahead + save 131ms  -- with HLT + no standardise + partial lookahead + save 133ms  -- with HLT + standardise + partial lookahead + save 132ms  -- with Felsch + no standardisation 131ms  -- with Felsch + standardisation 134ms  -- with random strategy 132ms  -- with Rc style + full lookahead 130ms  -- with Rc style + partial lookahead 132ms  -- with R/C style 133ms  -- with CR style 131ms  -- with Cr style 133ms ToddCoxeter 086: trivial semigroup . . . 350ms ToddCoxeter 092: ACE --- perf602p5 - HLT . . .  -- with HLT + no standardise + full lookahead + no save 41ms  -- with HLT + standardise + full lookahead + no save 41ms  -- with HLT + no standardise + partial lookahead + no save 41ms  -- with HLT + standardise + partial lookahead + no save 41ms  -- with HLT + no standardise + full lookahead + save 19ms  -- with HLT + standardise + full lookahead + save 19ms  -- with HLT + no standardise + partial lookahead + save 19ms  -- with HLT + standardise + partial lookahead + save 19ms  -- with random strategy 20ms  -- with Felsch + no standardisation 15ms  -- with Felsch + standardisation 14ms ToddCoxeter 094: ACE --- C5 - HLT . . .  -- with HLT + no standardise + full lookahead + no save 102μs  -- with HLT + standardise + full lookahead + no save 88μs  -- with HLT + no standardise + partial lookahead + no save 89μs  -- with HLT + standardise + partial lookahead + no save 84μs  -- with HLT + no standardise + full lookahead + save 112μs  -- with HLT + standardise + full lookahead + save 110μs  -- with HLT + no standardise + partial lookahead + save 109μs  -- with HLT + standardise + partial lookahead + save 108μs  -- with random strategy 93μs  -- with Felsch + no standardisation 102μs  -- with Felsch + standardisation 100μs ToddCoxeter 095: ACE --- A5-C5 . . .  -- with HLT + no standardise + full lookahead + no save 112μs  -- with HLT + standardise + full lookahead + no save 115μs  -- with HLT + no standardise + partial lookahead + no save 107μs  -- with HLT + standardise + partial lookahead + no save 111μs  -- with HLT + no standardise + full lookahead + save 171μs  -- with HLT + standardise + full lookahead + save 161μs  -- with HLT + no standardise + partial lookahead + save 157μs  -- with HLT + standardise + partial lookahead + save 157μs  -- with random strategy 169μs  -- with Felsch + no standardisation 142μs  -- with Felsch + standardisation 136μs ToddCoxeter 096: ACE --- A5 . . .  -- with HLT + no standardise + full lookahead + no save 247μs  -- with HLT + standardise + full lookahead + no save 301μs  -- with HLT + no standardise + partial lookahead + no save 208μs  -- with HLT + standardise + partial lookahead + no save 289μs  -- with HLT + no standardise + full lookahead + save 421μs  -- with HLT + standardise + full lookahead + save 429μs  -- with HLT + no standardise + partial lookahead + save 412μs  -- with HLT + standardise + partial lookahead + save 422μs  -- with random strategy 428μs  -- with Felsch + no standardisation 300μs  -- with Felsch + standardisation 290μs ToddCoxeter 098: relation ordering . . .  -- with Felsch + no standardisation 642μs  -- with Felsch + standardisation 615μs  -- with HLT + no standardise + full lookahead + no save 310μs  -- with HLT + standardise + full lookahead + no save 312μs  -- with HLT + no standardise + partial lookahead + no save 300μs  -- with HLT + standardise + partial lookahead + no save 297μs  -- with HLT + no standardise + full lookahead + save 648μs  -- with HLT + standardise + full lookahead + save 646μs  -- with HLT + no standardise + partial lookahead + save 647μs  -- with HLT + standardise + partial lookahead + save 658μs  -- with random strategy 356μs ToddCoxeter 099: short circuit size in obviously infinite . . . 20μs ToddCoxeter 101: http://brauer.maths.qmul.ac.uk/Atlas/spor/M [...] . . . 666ms ToddCoxeter 108: http://brauer.maths.qmul.ac.uk/Atlas/lin/L3 [...] . . . 613ms ToddCoxeter 110: to_gap_string . . . 112μs ToddCoxeter 111: partition_monoid(2) . . . 80μs ToddCoxeter 112: brauer_monoid(4) (Kudryavtseva + Mazorchuk) . . . 418μs ToddCoxeter 113: symmetric_inverse_monoid . . . 18ms ToddCoxeter 116: symmetric_group(7, Burnside + Miller) . . . 468ms UF 001: constructor by size . . . 16μs UF 002: copy constructor . . . 21μs UF 003: find . . . 17μs Ukkonen 000: basic tests . . . 90ms Ukkonen 001: maximal_piece_prefix 1 . . . 38μs Ukkonen 002: maximal_piece_prefix 2 . . . 47μs Ukkonen 003: maximal_piece_prefix 3 . . . 320μs Ukkonen 004: number_of_pieces . . . 87μs Ukkonen 005: traverse . . . 24μs Ukkonen 006: dot . . . 190μs Ukkonen 007: strings . . . 60μs Ukkonen 008: dfs #01 . . . 40μs Ukkonen 009: dfs #02 . . . 36μs Ukkonen 010: dfs #03 . . . 33μs Ukkonen 011: dfs #04 . . . 87μs Ukkonen 012: dfs #05 . . . 63μs Ukkonen 013: dfs #06 . . . 56μs Ukkonen 014: dfs #07 . . . 116μs Ukkonen 015: dfs #08 . . . 80μs Ukkonen 016: dfs #09 . . . 117μs Ukkonen 017: dfs #10 . . . 33μs Ukkonen 018: pieces . . . 43μs Ukkonen 019: code coverage . . . 51μs Ukkonen 020: code coverage . . . 11μs action_digraph_helper 015: detail::to_string . . . 24μs action_digraph_helper 016: make . . . 47μs action_digraph_helper 017: is_connected . . . 173μs action_digraph_helper 018: is_strictly_cyclic . . . 12ms follow_path 012: 20 node path . . . 24μs fpsemi-examples 002: full_transformation_monoid author except . . . 41μs fpsemi-examples 003: full_transformation_monoid degree except . . . 20μs fpsemi-examples 005: partial_transformation_monoid author except . . . 25μs fpsemi-examples 006: partial_transformation_monoid degree except . . . 21μs fpsemi-examples 007: symmetric_inverse_monoid(5) . . . 18ms fpsemi-examples 008: symmetric_group auth except . . . 31μs fpsemi-examples 009: symmetric_group degree except . . . 22μs fpsemi-examples 010: symmetric_group(6) Burnside + Miller . . . 26ms fpsemi-examples 011: dual_symmetric_inverse_monoid(5) . . . 195ms fpsemi-examples 012: dual_symmetric_inverse_monoid auth except . . . 47μs fpsemi-examples 013: dual_symmetric_inverse_monoid degree except . . . 23μs fpsemi-examples 014: uniform_block_bijection_monoid(5) . . . 14ms fpsemi-examples 015: uniform_block_bijection_monoid auth except . . . 30μs fpsemi-examples 016: uniform_block_bijection_monoid degree except . . . 21μs fpsemi-examples 019: partition_monoid auth except . . . 36μs fpsemi-examples 020: partition_monoid degree except . . . 32μs fpsemi-examples 022: monogenic_semigroup(4, 9) . . . 40μs fpsemi-examples 023: fibonacci_semigroup(2, 5) . . . 82μs fpsemi-examples 024: temperley_lieb_monoid(10) . . . 54ms fpsemi-examples 025: singular_brauer_monoid(6) . . . 469ms fpsemi-examples 026: orientation_preserving_monoid(6) . . . 28ms fpsemi-examples 027: orientation_reversing_monoid(5) . . . 7141μs fpsemi-examples 028: chinese_monoid(3) . . . 155μs fpsemi-examples 029: plactic_monoid(3) . . . 117μs fpsemi-examples 030: stylic_monoid(3) . . . 963μs fpsemi-examples 031: symmetric_group(6) Carmichael . . . 16ms fpsemi-examples 032: symmetric_group(6) Moore index 0 . . . 12ms fpsemi-examples 033: symmetric_group(6) Coxeter + Moser . . . 6874μs fpsemi-examples 034: test for the rook monoid . . . 299μs fpsemi-examples 035: alternating_group(7) Moore . . . 27ms fpsemi-examples 036: alternating_group auth except . . . 53μs fpsemi-examples 037: alternating_group degree except . . . 23μs fpsemi-examples 038: partial_transformation_monoid(3) Machine . . . 307μs fpsemi-examples 039: chinese_monoid degree except . . . 35μs fpsemi-examples 040: monogenic_semigroup degree except . . . 31μs fpsemi-examples 041: rectangular_band degree except . . . 57μs fpsemi-examples 042: stellar_monoid degree except . . . 31μs fpsemi-examples 043: plactic_monoid degree except . . . 27μs fpsemi-examples 044: stylic_monoid degree except . . . 26μs fpsemi-examples 045: temperley_lieb_monoid degree except . . . 35μs fpsemi-examples 046: singular_brauer_monoid degree except . . . 35μs fpsemi-examples 047: orientation_preserving_monoid degree except . . . 34μs fpsemi-examples 048: orientation_reversing_monoid degree except . . . 34μs fpsemi-examples 049: test default values . . . 3995μs fpsemi-examples 052: not_symmetric_group(5) Guralnick + Kant [...] . . . 3094μs fpsemi-examples 053: order_preserving_monoid(5) . . . 677μs fpsemi-examples 055: order_preserving_monoid degree except . . . 44μs fpsemi-examples 056: cyclic_inverse_monoid(4) Fernandes 1 . . . 262μs fpsemi-examples 057: cyclic_inverse_monoid(8) Fernandes index 1 . . . 16ms fpsemi-examples 058: cyclic_inverse_monoid Fernandes index 0 . . . 28ms fpsemi-examples 059: order_preserving_cyclic_inverse_monoid(4) . . . 151μs fpsemi-examples 060: order_preserving_cyclic_inverse_monoid(10) . . . 33ms fpsemi-examples 061: cyclic_inverse_monoid degree except . . . 73μs fpsemi-examples 062: cyclic_inverse_monoid author except . . . 32μs fpsemi-examples 063: order_preserving_monoid degree except . . . 35μs fpsemi-examples 064: symmetric_group index except . . . 34μs fpsemi-examples 065: symmetric_group(7) Moore index 1 . . . 7122μs fpsemi-examples 066: order_preserving_cyclic_inverse_monoid(10) . . . 33ms fpsemi-examples 067: partial_isometries_cycle_graph_monoid(5) . . . 637μs fpsemi-examples 068: partial_isometries_cycle_graph_monoid(10) . . . 247ms fpsemi-examples 069: partial_isometries_cycle_graph_monoid d [...] . . . 45μs fpsemi-examples 070: partial_isometries_cycle_graph_monoid(4) . . . 306μs freeband_equal_to 001: . . . 678μs is_acyclic 000: 2-cycle . . . 13μs is_acyclic 001: 1-cycle . . . 11μs is_acyclic 002: multi-digraph . . . 14μs is_acyclic 003: complete digraph 100 . . . 71μs is_acyclic 004: acyclic digraph with 20000 nodes . . . 1590μs is_acyclic 006: for a node . . . 970μs is_acyclic 007: for a node . . . 20μs is_reachable 008: acyclic 20 node digraph . . . 45μs is_reachable 009: 100 node path . . . 12ms is_reachable 010: 100 node cycle . . . 11ms is_reachable 011: 20 node clique . . . 504μs last_node_on_path_nc 014: 20 node path . . . 18μs make 000: from FroidurePin . . . 435μs make 001: from FroidurePin and alphabet . . . 577μs make 002: presentation from presentation . . . 206μs make 003: presentation from presentation and alphabet . . . 49μs make 004: argument checks issue . . . 109μs make 005: use human readable alphabet for make . . . 20μs make> 000: from ActionDigraph . . . 1425μs make> 001: from ActionDigraph (exceptions) . . . 48μs number_of_words 001: . . . 21μs operator"" _w 003: literal . . . 15μs silo 000: alphabet: a, min: 0, max: 10 . . . 41μs silo 001: corner cases . . . 29μs silo 002: alphabet: ab, min: 1, max: 4 . . . 49μs silo 003: alphabet: abc, min: 0, max: 13 . . . 96ms silo 004: code coverage . . . 29μs sislo 005: alphabet: a, min: 0, max: 10 . . . 39μs sislo 006: corner cases . . . 80μs sislo 007: alphabet: ab, min: 1, max: 4 . . . 88μs sislo 008: alphabet: abc, min: 0, max: 13 . . . 91ms sislo 009: code coverage . . . 27μs string 000: detail::is_suffix . . . 14μs string 001: detail::is_prefix . . . 12μs string 002: detail::maximum_common_suffix . . . 11μs string 003: detail::group_digits . . . 25μs string_to_word 002: . . . 13μs validate_label 013: 20 node path . . . 55μs wilo 001: corner cases . . . 39μs wilo 002: letters: 2, min: 1, max: 4 . . . 36μs wilo 003: letters: 2, min: 1, max: 4 . . . 82μs wilo 004: letters: 3, min: 0, max: 10 . . . 20ms wilo 005: letters: 3, min: 0, max: 13 . . . 148ms wilo 006: forward iterator requirements . . . 147ms wilo 007: more corner cases . . . 54μs wilo 008: starting at a given word 1 . . . 148μs wilo 009: starting at a given word 2 . . . 21μs wilo 010: code coverage . . . 20μs wislo 000: n: 2, min; 1, max: 4 . . . 26μs wislo 001: corner cases . . . 46μs wislo 002: n: 3, min; 0, max: 10 . . . 5343μs wislo 003: n: 3, min; 0, max: 13 . . . 150ms wislo 004: lex + sort . . . 427ms wislo 005: code coverage . . . 29μ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' ./config/install-sh -c -d '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/pkgconfig' ./config/install-sh -c -d '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups' ./config/install-sh -c -d '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups/textflowcpp' /usr/bin/install -c -m 644 libsemigroups.pc '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/pkgconfig' libtool: install: /usr/bin/install -c .libs/libsemigroups.so.2.0.0 /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/libsemigroups.so.2.0.0 /usr/bin/install -c -m 644 include/libsemigroups/action.hpp include/libsemigroups/adapters.hpp include/libsemigroups/bipart.hpp include/libsemigroups/bitset.hpp include/libsemigroups/bmat8.hpp include/libsemigroups/bmat.hpp include/libsemigroups/bruidhinn-traits.hpp include/libsemigroups/config.hpp include/libsemigroups/cong-intf.hpp include/libsemigroups/cong-pair-impl.hpp include/libsemigroups/cong-pair.hpp include/libsemigroups/cong-wrap.hpp include/libsemigroups/cong.hpp include/libsemigroups/constants.hpp include/libsemigroups/containers.hpp include/libsemigroups/coset.hpp include/libsemigroups/debug.hpp include/libsemigroups/deprecated.hpp include/libsemigroups/digraph-helper.hpp include/libsemigroups/digraph-with-sources.hpp include/libsemigroups/digraph-with-sources.tpp include/libsemigroups/digraph.hpp include/libsemigroups/exception.hpp include/libsemigroups/fastest-bmat.hpp include/libsemigroups/felsch-tree.hpp include/libsemigroups/felsch-digraph.hpp include/libsemigroups/felsch-digraph.tpp include/libsemigroups/forest.hpp include/libsemigroups/fpsemi-examples.hpp include/libsemigroups/fpsemi-intf.hpp include/libsemigroups/fpsemi.hpp include/libsemigroups/freeband.hpp include/libsemigroups/froidure-pin-base.hpp include/libsemigroups/froidure-pin-impl.hpp include/libsemigroups/froidure-pin.hpp include/libsemigroups/function-ref.hpp include/libsemigroups/hpcombi.hpp include/libsemigroups/int-range.hpp include/libsemigroups/iterator.hpp include/libsemigroups/kambites.hpp '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups' /usr/bin/install -c -m 644 extern/textflowcpp/TextFlow.hpp '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups/textflowcpp' libtool: install: (cd /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib && { ln -s -f libsemigroups.so.2.0.0 libsemigroups.so.2 || { rm -f libsemigroups.so.2 && ln -s libsemigroups.so.2.0.0 libsemigroups.so.2; }; }) libtool: install: (cd /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib && { ln -s -f libsemigroups.so.2.0.0 libsemigroups.so || { rm -f libsemigroups.so && ln -s libsemigroups.so.2.0.0 libsemigroups.so; }; }) /usr/bin/install -c -m 644 include/libsemigroups/kbe.hpp include/libsemigroups/knuth-bendix.hpp include/libsemigroups/konieczny.hpp include/libsemigroups/libsemigroups.hpp include/libsemigroups/make-froidure-pin.hpp include/libsemigroups/make-present.hpp include/libsemigroups/matrix.hpp include/libsemigroups/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: /usr/bin/install -c .libs/libsemigroups.lai /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/libsemigroups.la libtool: install: /usr/bin/install -c .libs/libsemigroups.a /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/libsemigroups.a libtool: install: chmod 644 /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/libsemigroups.a libtool: install: ranlib /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/libsemigroups.a libtool: warning: remember to run 'libtool --finish /usr/lib' make[1]: Leaving directory '/home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.3' >>> libsemigroups-static*: Running split function static... >>> libsemigroups-static*: Preparing subpackage libsemigroups-static... >>> libsemigroups-static*: Stripping binaries >>> libsemigroups-static*: Running postcheck for libsemigroups-static >>> libsemigroups-dev*: Running split function dev... >>> libsemigroups-dev*: Preparing subpackage libsemigroups-dev... >>> libsemigroups-dev*: Stripping binaries >>> libsemigroups-dev*: Running postcheck for libsemigroups-dev >>> libsemigroups*: Running postcheck for libsemigroups >>> libsemigroups*: Preparing package libsemigroups... >>> libsemigroups*: Stripping binaries >>> libsemigroups-dev*: Scanning shared objects >>> libsemigroups-static*: Scanning shared objects >>> libsemigroups*: Scanning shared objects >>> libsemigroups-dev*: Tracing dependencies... libsemigroups=2.7.3-r0 pc:eigen3 pc:fmt pkgconfig >>> libsemigroups-dev*: Package size: 2.1 MB >>> libsemigroups-dev*: Compressing data... >>> libsemigroups-dev*: Create checksum... >>> libsemigroups-dev*: Create libsemigroups-dev-2.7.3-r0.apk >>> libsemigroups-static*: Tracing dependencies... >>> libsemigroups-static*: Package size: 4.5 MB >>> libsemigroups-static*: Compressing data... >>> libsemigroups-static*: Create checksum... >>> libsemigroups-static*: Create libsemigroups-static-2.7.3-r0.apk >>> libsemigroups*: Tracing dependencies... so:libc.musl-x86.so.1 so:libfmt.so.10 so:libgcc_s.so.1 so:libstdc++.so.6 >>> libsemigroups*: Package size: 1.6 MB >>> libsemigroups*: Compressing data... >>> libsemigroups*: Create checksum... >>> libsemigroups*: Create libsemigroups-2.7.3-r0.apk >>> libsemigroups: Build complete at Mon, 22 Jan 2024 06:32:32 +0000 elapsed time 0h 13m 10s >>> libsemigroups: Cleaning up srcdir >>> libsemigroups: Cleaning up pkgdir >>> libsemigroups: Uninstalling dependencies... (1/4) Purging .makedepends-libsemigroups (20240122.061924) (2/4) Purging eigen-dev (3.4.0-r9) (3/4) Purging fmt-dev (10.1.1-r0) (4/4) Purging fmt (10.1.1-r0) OK: 379 MiB in 113 packages >>> libsemigroups: Updating the testing/x86 repository index... >>> libsemigroups: Signing the index...