>>> libsemigroups: Building testing/libsemigroups 2.7.3-r1 (using abuild 3.14.1-r3) started Sat, 14 Dec 2024 18:58:44 +0000 >>> libsemigroups: Validating /home/buildozer/aports/testing/libsemigroups/APKBUILD... >>> WARNING: libsemigroups: No maintainer >>> libsemigroups: Analyzing dependencies... >>> libsemigroups: Installing for build: build-base eigen-dev fmt-dev (1/4) Installing eigen-dev (3.4.0-r10) (2/4) Installing fmt (11.0.2-r0) (3/4) Installing fmt-dev (11.0.2-r0) (4/4) Installing .makedepends-libsemigroups (20241214.185844) OK: 371 MiB in 109 packages >>> libsemigroups: Cleaning up srcdir >>> libsemigroups: Cleaning up pkgdir >>> libsemigroups: Cleaning up tmpdir >>> libsemigroups: Fetching https://distfiles.alpinelinux.org/distfiles/edge//libsemigroups-2.7.3.tar.gz % 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 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 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 2484k 100 2484k 0 0 3907k 0 --:--:-- --:--:-- --:--:-- 3907k >>> 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... s390x-alpine-linux-musl checking host system type... s390x-alpine-linux-musl checking target system type... s390x-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 s390x-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 s390x-alpine-linux-musl-ar... no checking for s390x-alpine-linux-musl-lib... no checking for s390x-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/s390x-alpine-linux-musl/bin/ld checking if the linker (/usr/s390x-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 s390x-alpine-linux-musl file names to s390x-alpine-linux-musl format... func_convert_file_noop checking how to convert s390x-alpine-linux-musl file names to toolchain format... func_convert_file_noop checking for /usr/s390x-alpine-linux-musl/bin/ld option to reload object files... -r checking for s390x-alpine-linux-musl-file... no checking for file... file checking for s390x-alpine-linux-musl-objdump... no checking for objdump... objdump checking how to recognize dependent libraries... pass_all checking for s390x-alpine-linux-musl-dlltool... no checking for dlltool... no checking how to associate runtime and link libraries... printf %s\n checking for s390x-alpine-linux-musl-ar... ar checking for archiver @FILE support... @ checking for s390x-alpine-linux-musl-strip... no checking for strip... strip checking for s390x-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 s390x-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/s390x-alpine-linux-musl/bin/ld -m elf64_s390) 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/s390x-alpine-linux-musl/bin/ld -m elf64_s390 checking if the linker (/usr/s390x-alpine-linux-musl/bin/ld -m elf64_s390) is GNU ld... yes checking whether the g++ linker (/usr/s390x-alpine-linux-musl/bin/ld -m elf64_s390) 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/s390x-alpine-linux-musl/bin/ld -m elf64_s390) supports shared libraries... yes checking dynamic linker characteristics... (cached) GNU/Linux ld.so checking how to hardcode library paths into programs... immediate checking for limits.h... yes checking for stdint.h... (cached) yes checking for stdlib.h... (cached) yes checking for sys/time.h... yes checking for unistd.h... (cached) yes checking for pthread.h... yes checking for _Bool... yes checking for stdbool.h that conforms to C99... yes checking for inline... inline checking for int64_t... yes checking for size_t... yes checking for uint64_t... yes checking for ptrdiff_t... yes checking size of void *... 8 checking for GNU libc compatible malloc... yes checking for gettimeofday... yes checking for memset... yes checking for pow... yes checking for sqrt... yes checking whether to enable debug mode... no checking whether to enable verbose mode... no checking whether enable compiler warnings... no checking whether to enable stats mode... yes checking whether to enable backward mode... yes checking for execinfo.h... no configure: WARNING: backward enabled but execinfo.h not found, disabling backward! checking whether to build with code coverage support... no checking whether to enable HPCombi... yes checking for ./extern/HPCombi/VERSION... yes checking the required version of HPCombi... 0.0.6 checking the version of HPCombi that's present... 0.0.6 checking whether C++ compiler accepts -mavx... no configure: WARNING: flag -mavx not supported, HPCombi is disabled checking for s390x-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 In file included from /usr/include/c++/14.2.0/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++/14.2.0/bits/stl_algo.h:1908:31, inlined from 'void std::sort(_RAIter, _RAIter, _Compare) [with _RAIter = libsemigroups::StaticRowView*; _Compare = libsemigroups::{anonymous}::test_BMat000 >()::]' at /usr/include/c++/14.2.0/bits/stl_algo.h:4804:18, inlined from 'void libsemigroups::{anonymous}::test_BMat000() [with Mat = libsemigroups::StaticMatrix]' at tests/test-matrix.cpp:166:18: /usr/include/c++/14.2.0/bits/stl_algo.h:1817:32: warning: array subscript 16 is outside array bounds of 'libsemigroups::detail::StaticVector1, 2> [1]' [-Warray-bounds=] 1817 | std::__insertion_sort(__first, __first + int(_S_threshold), __comp); | ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ tests/test-matrix.cpp: In function 'void libsemigroups::{anonymous}::test_BMat000() [with Mat = libsemigroups::StaticMatrix]': tests/test-matrix.cpp:160:14: note: at offset 128 into object 'r' of size 24 160 | auto r = matrix_helpers::rows(m); | ^ 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 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 . . . 32μs Action 002: row and column basis orbits for BMat8 . . . 1381μs Action 003: add generators after enumeration . . . 1340μs Action 004: multipliers for BMat8 row and column orbits . . . 2873μs Action 005: orbits for regular boolean mat monoid 5 . . . 197ms Action 007: partial perm image orbit . . . 201μs Action 008: partial perm image orbit . . . 47ms Action 009: partial perm image orbit . . . 53ms Action 010: partial perm image orbit . . . 52ms Action 011: permutation on integers . . . 9000ns Action 012: permutation on sets, arrays . . . 105μs Action 013: permutation on tuples, arrays . . . 11ms Action 014: permutation on sets, vectors . . . 132μs Action 015: permutation on tuples, vectors . . . 14ms Action 016: misc . . . 1317μs Action 017: partial perm image orbit . . . 37μs Action 018: permutation on tuples, arrays (360360) . . . 143ms Action 019: orbits for regular BMat8 monoid 5 with stop/start . . . 225ms Action 021: orbits for regular boolean mat monoid 5 (BMat<5> [...] . . . 375ms ActionDigraph 000: constructor with 1 default arg . . . 11μs ActionDigraph 001: constructor with 0 default args . . . 25μs ActionDigraph 002: add nodes . . . 12μs ActionDigraph 003: add edges . . . 174μs ActionDigraph 004: strongly connected components - cycles . . . 19μs ActionDigraph 005: strongly connected components - no edges . . . 26ms ActionDigraph 006: strongly connected components - disjoint cycles . . . 1329μs ActionDigraph 007: strongly connected components - complete graphs . . . 591μs ActionDigraph 008: exceptions . . . 58μs ActionDigraph 009: spanning forest - complete graphs . . . 3248μs ActionDigraph 010: spanning forest - disjoint cycles . . . 89μs ActionDigraph 011: restrict . . . 4000ns ActionDigraph 012: remove_edge_nc . . . 4000ns ActionDigraph 013: scc large cycle . . . 14ms ActionDigraph 014: random . . . 13μs ActionDigraph 015: reserve . . . 4000ns ActionDigraph 016: default constructors . . . 8000ns ActionDigraph 017: scc iterators . . . 1000μs ActionDigraph 018: iterator to edges . . . 759μs ActionDigraph 019: root of scc . . . 278μs ActionDigraph 020: cbegin/end_panislo - 100 node path . . . 533μs ActionDigraph 021: cbegin/end_pislo . . . 42μs ActionDigraph 022: cbegin/end_pani(s)lo - 100 node cycle . . . 579μs ActionDigraph 023: cbegin/cend_pilo - tree 14 nodes . . . 55μs ActionDigraph 024: cbegin/end_pstilo - Cayley digraph . . . 170ms ActionDigraph 025: cbegin_pstilo - Tsalakou . . . 331μs ActionDigraph 026: cbegin/end_pstislo - Cayley digraph . . . 149ms ActionDigraph 027: cbegin/end_pstislo - Cayley digraph . . . 149μs ActionDigraph 028: path iterators corner cases . . . 146μs ActionDigraph 029: reverse node iterator . . . 5000ns ActionDigraph 030: pstilo corner case . . . 32μs ActionDigraph 031: number_of_paths corner cases . . . 246μs ActionDigraph 032: number_of_paths acyclic digraph . . . 34ms ActionDigraph 033: number_of_paths binary tree . . . 309ms ActionDigraph 034: number_of_paths large binary tree . . . 103ms ActionDigraph 035: number_of_paths 400 node random digraph . . . 984μs ActionDigraph 036: number_of_paths 10 node acyclic digraph . . . 28μs ActionDigraph 037: number_of_paths node digraph . . . 3562μs ActionDigraph 038: random/random_acyclic exceptions . . . 98μs ActionDigraph 039: unsafe (next) neighbour . . . 42μs ActionDigraph 040: number_of_egdes incident to a node . . . 51μs ActionDigraph 041: number_of_paths (matrix) . . . 18ms ActionDigraph 042: number_of_paths (matrix) . . . 7000ns ActionDigraph 043: swap_edge_nc . . . 4000ns ActionDigraph 044: detail::pow for non-square Eigen matrix . . . 10μs ActionDigraph 045: operator<< . . . 10μs Array2 044: all . . . 34μs BMat8 001: transpose . . . 16μs BMat8 002: multiplication . . . 14μs BMat8 003: identity matrix . . . 7000ns BMat8 004: random . . . 185μs BMat8 005: call operator . . . 9000ns BMat8 006: operator<< . . . 9000ns BMat8 007: set . . . 39μs BMat8 008: row space basis . . . 460μs BMat8 009: col space basis . . . 492μs BMat8 010: row space basis . . . 913μs BMat8 011: number_of_rows, number_of_cols . . . 30μs BMat8 012: row_space, col_space . . . 155μs BMat8 013: rows . . . 26μs BMat8 014: one . . . 5000ns BMat8 015: vector constructor . . . 46μs BMat8 016: operator< . . . 7000ns BMat8 017: adapters . . . 11μs BMat8 018: one . . . 5000ns Bipartition 009: mem fns 1 . . . 31μs Bipartition 010: hash . . . 3000ns Bipartition 011: mem fns 2 . . . 14μs Bipartition 012: delete/copy . . . 4000ns Bipartition 013: degree 0 . . . 4000ns Bipartition 014: exceptions . . . 22μs Bipartition 015: convenience constructor . . . 134μs Bipartition 016: force copy constructor over move constructor . . . 8000ns Bipartition 017: adapters . . . 3000ns BitSet 000: size . . . 5000ns BitSet 001: operator< . . . 5000ns BitSet 002: operator== . . . 11μs BitSet 003: operator!= . . . 8000ns BitSet 004: operator&= . . . 10μs BitSet 005: & . . . 13μs BitSet 006: operator|= . . . 15μs BitSet 007: operator[] . . . 16μs BitSet 008: set(none) . . . 14μs BitSet 009: set(pos, value) . . . 14μs BitSet 010: set(first, last, value) . . . 18μs BitSet 011: reset(first, last) . . . 16μs BitSet 012: reset(pos) . . . 17μs BitSet 013: apply (iterate through set bits) . . . 16μs BitSet 014: std::hash . . . 2000ns BitSet 015: constructors . . . 13μs BitSet 016: max_size . . . 2000ns BitSet 017: insertion operators . . . 4000ns Blocks 001: empty blocks . . . 5000ns Blocks 002: non-empty blocks . . . 6000ns Blocks 003: left blocks of bipartition . . . 6000ns Blocks 004: right blocks of bipartition . . . 6000ns Blocks 005: copy [empty blocks] . . . 4000ns Blocks 006: copy [non-empty blocks] . . . 6000ns Blocks 007: hash value . . . 5000ns Blocks 008: operator< . . . 5000ns Congruence 000: left congruence on fp semigroup . . . 184μs Congruence 001: 2-sided congruence on fp semigroup . . . 225μs Congruence 002: left congruence on fp semigroup . . . 142μs Congruence 003: word_to_class_index for cong. on fp semigroup . . . 114μs Congruence 004: word_to_class_index for cong. on fp semigroup . . . 212μs Congruence 005: trivial congruence on non-fp semigroup . . . 229μs Congruence 006: 2-sided congruence on non-fp semigroup . . . 175μs Congruence 007: 2-sided congruence on fp semigroup . . . 310μs Congruence 008: 2-sided congruence on infinite fp semigroup . . . 165μs Congruence 009: 2-sided congruence on infinite fp semigroup . . . 203μs Congruence 010: 2-sided congruence on finite semigroup . . . 27ms Congruence 012: 2-sided congruence on finite semigroup . . . 2453μs Congruence 013: trivial 2-sided congruence on bicyclic monoid . . . 13ms Congruence 014: non-trivial 2-sided congruence on bicyclic monoid . . . 163μs Congruence 015: 2-sided congruence on free abelian monoid . . . 163μs Congruence 016: example where TC works but KB doesn't . . . 276μs Congruence 017: 2-sided congruence on finite semigroup . . . 184μs Congruence 018: infinite fp semigroup from GAP library . . . 372μs Congruence 019: 2-sided cong. on fp semigroup with infinite [...] . . . 132μs Congruence 020: trivial cong. on an fp semigroup . . .  -- with compute size 117μs  -- with don't compute size 114μs Congruence 021: duplicate generators . . . 272μs Congruence 022: non-trivial classes . . . 738μs Congruence 023: right congruence on finite semigroup . . . 185ms Congruence 024: redundant generating pairs . . . 45μs Congruence 025: 2-sided cong. on free semigroup . . . 48μs Congruence 026: is_quotient_obviously_(in)finite . . . 460μs Congruence 027: less . . . 120μs Congruence 028: 2-sided congruences of BMat8 semigroup . . . 87ms Congruence 029: left congruence on finite semigroup . . . 281μs Congruence 030: right congruence on finite semigroup . . . 271μs Congruence 031: right congruence on finite semigroup . . . 205μs Congruence 032: contains . . . 73μs Congruence 033: stellar_monoid S2 . . . 248μs Congruence 034: stellar_monoid S3 . . . 337μs Congruence 035: stellar_monoid S4 . . . 892μs Congruence 036: stellar_monoid S5 . . . 4540μs Congruence 037: stellar_monoid S6 . . . 41ms Congruence 038: stellar_monoid S7 . . . 450ms Congruence 039: left cong. on an f.p. semigroup . . . 537μs Congruence 040: 2-sided cong. on infinite f.p. semigroup . . . 90μs Congruence 041: 2-sided congruence constructed from type only . . . 187μs Congruence 042: const_contains . . . 277μs Congruence 043: no winner . . . 3742μs Congruence 044: congruence over smalloverlap . . . 4978μs CongruenceByPairs 001: (cong) 2-sided cong. on finite semigroup . . . 231μs CongruenceByPairs 002: (cong) left congruence on finite semigroup . . . 76μs CongruenceByPairs 003: (cong) right congruence on finite semigroup . . . 75μs CongruenceByPairs 004: (cong) trivial congruence on finite s [...] . . . 67μs CongruenceByPairs 005: (cong) trivial left congruence on fin [...] . . . 48μs CongruenceByPairs 006: (cong) trivial right congruence on fi [...] . . . 46μs CongruenceByPairs 007: (cong) universal congruence on finite [...] . . . 257μs CongruenceByPairs 009: (cong) 2-sided congruence on finite s [...] . . . 363ms CongruenceByPairs 010: (cong) left congruence on big finite [...] . . . 20ms CongruenceByPairs 011: (cong) left congruence on TCE . . . 127μs CongruenceByPairs 012: (cong) is_quotient_obviously_finite . . . 62μs CongruenceByPairs 013: (cong) class_index_to_word/quotient . . .  -- with right congruence 4707μs  -- with left congruence 749μs  -- with 2-sided congruence 4241μs CongruenceByPairs 014: (cong) const_word_to_class_index . . .  -- with right congruence 17μs  -- with left congruence 14μs  -- with 2-sided congruence 13μs CongruenceByPairs 015: (cong) size non-Element* . . . 20ms CongruenceInterface 000: add_pair . . .  -- with ToddCoxeter 120μs  -- with KnuthBendix 106μs  -- with CongruenceByPairs 76μs  -- with Congruence 229μs CongruenceInterface 001: contains/const_contains . . .  -- with ToddCoxeter and no parent 66μs  -- with KnuthBendix and no parent 76μs  -- with Congruence and parent 186μs  -- with CongruenceByPairs and parent 61μs CongruenceInterface 002: less . . .  -- with ToddCoxeter 54μs  -- with KnuthBendix 96μs  -- with CongruenceByPairs 64μs  -- with Congruence 175μs CongruenceInterface 003: is_quotient_obviously_(in)finite . . .  -- with ToddCoxeter 48μs  -- with KnuthBendix 90μs CongruenceInterface 004: is_quotient_obviously_(in)finite . . .  -- with CongruenceByPairs 69μs  -- with Congruence 147μs CongruenceInterface 005: parent_froidure_pin . . .  -- with ToddCoxeter 16μs  -- with KnuthBendix 9000ns CongruenceInterface 006: parent_froidure_pin . . .  -- with CongruenceByPairs 66μs  -- with Congruence 154μs CongruenceInterface 007: cbegin/cend_ntc . . .  -- with ToddCoxeter 165μs  -- with KnuthBendix 1207μs CongruenceInterface 008: cbegin/cend_ntc . . .  -- with CongruenceByPairs 120μs  -- with Congruence 213μs CongruenceInterface 009: quotient is immutable . . .  -- with ToddCoxeter 52μs  -- with KnuthBendix 78μs  -- with Congruence 92μs CongruenceInterface 010: no generating pairs added . . .  -- with KnuthBendix and common behaviour 3483μs  -- with Congruence and common behaviour 3504μs  -- with ToddCoxeter 41μs CongruenceInterface 011: nr generators not set . . .  -- with ToddCoxeter 55μs  -- with KnuthBendix 46μs  -- with Congruence 52μs CongruenceInterface 012: no generating pairs . . . 100μs ConstIteratorStateless 001: ? . . . 4000ns ConstIteratorStateless 002: ? . . . 3000ns Constants 001: Undefined . . . 8000ns Constants 002: PositiveInfinity . . . 16μs Constants 003: NegativeInfinity . . . 8000ns Constants 004: LimitMax . . . 7000ns Duf 004: unite . . . 27μs Duf 006: compress . . . 8000ns Duf 008: resize . . . 12μs Duf 009: resize . . . 7000ns Duf 010: big chain . . . 12ms Duf 012: empty table . . . 4000ns Duf 014: join . . . 7000ns Duf 016: contains . . . 14μs Duf 018: swap . . . 15μs DynamicArray2 001: default constructor with 3 default args . . . 8000ns DynamicArray2 002: default constructor with 2 default args . . . 3000ns DynamicArray2 003: default constructor with 1 default args . . . 9000ns DynamicArray2 004: default constructor with 0 default args . . . 5000ns DynamicArray2 005: copy constructor with 1 default args . . . 5000ns DynamicArray2 006: copy constructor with 0 default args . . . 10μs DynamicArray2 007: add_rows . . . 7000ns DynamicArray2 008: add_rows . . . 6000ns DynamicArray2 009: add_cols . . . 15μs DynamicArray2 010: set/get . . . 30μs DynamicArray2 011: append 1/2 . . . 94μs DynamicArray2 012: append 2/2 . . . 181μs DynamicArray2 013: count . . . 16μs DynamicArray2 014: clear . . . 4000ns DynamicArray2 015: begin_row and end_row . . . 37μs DynamicArray2 016: cbegin_row and cend_row . . . 13μs DynamicArray2 017: iterator operator++ (postfix) . . . 154μs DynamicArray2 018: iterator operator++ (prefix) . . . 1034μs DynamicArray2 019: iterator operator-- (postfix) . . . 200μs DynamicArray2 020: iterator operator-- (prefix) . . . 201μs DynamicArray2 021: operator= . . . 8000ns DynamicArray2 022: operator== and operator!= . . . 150μs DynamicArray2 023: empty and clear . . . 7000ns DynamicArray2 024: max_size . . . 3000ns DynamicArray2 025: swap . . . 29μs DynamicArray2 026: iterator arithmetic . . . 947μs DynamicArray2 027: iterator comparison . . . 7000ns DynamicArray2 028: iterator operator= . . . 5000ns DynamicArray2 029: iterator operator[] . . . 41μs DynamicArray2 030: iterator operator-> . . . 13μs DynamicArray2 031: const_iterator operator++/-- . . . 132μs DynamicArray2 032: const_iterator operator++/-- . . . 3000ns DynamicArray2 033: column iterators . . . 12μs DynamicArray2 034: column iterator arithmetic . . . 3730μs DynamicArray2 035: iterator assignment constructor . . . 899μs DynamicArray2 036: reserve method . . . 91μs DynamicArray2 037: erase column . . . 7000ns DynamicArray2 038: swap_rows . . . 6000ns DynamicArray2 039: apply_row_permutation . . . 5000ns DynamicArray2 040: swap . . . 5000ns DynamicArray2 041: shrink_rows_to . . . 9000ns DynamicArray2 042: shrink_rows_to - for range . . . 9000ns FastestBMat 046: check no throw . . . 10μs FelschTree 000: previously failing example . . . 17μs Forest 001: test forest . . . 39μs FpSemigroup 001: Renner monoid type B2 (E. G. presentation), q = 1 . . . 465μs FpSemigroup 002: Renner monoid type B2 (E. G. presentation), q = 0 . . . 453μs FpSemigroup 003: Renner monoid type B3 (E. G. presentation), q = 1 . . . 70ms FpSemigroup 004: Renner monoid type B3 (E. G. presentation), q = 0 . . . 71ms FpSemigroup 005: Renner monoid type B2 (Gay-Hivert presentat [...] . . . 438μs FpSemigroup 006: Renner monoid type B2 (Gay-Hivert presentat [...] . . . 452μs FpSemigroup 007: Renner monoid type B3 (Gay-Hivert presentat [...] . . . 2319μs FpSemigroup 008: Renner monoid type B3 (Gay-Hivert presentat [...] . . . 2211μs FpSemigroup 009: Renner monoid type B4 (Gay-Hivert presentat [...] . . . 154ms FpSemigroup 010: Renner monoid type B4 (Gay-Hivert presentat [...] . . . 236ms FpSemigroup 013: Renner monoid type D2 (E. G. presentation), q = 1 . . . 665μs FpSemigroup 014: Renner monoid type D2 (E. G. presentation), q = 0 . . . 619μs FpSemigroup 015: Renner monoid type D3 (E. G. presentation), q = 1 . . . 2852μs FpSemigroup 016: Renner monoid type D3 (E. G. presentation), q = 0 . . . 2820μs FpSemigroup 017: Renner monoid type D4 (E. G. presentation), q = 1 . . . 944ms FpSemigroup 018: Renner monoid type D4 (E. G. presentation), q = 0 . . . 944ms FpSemigroup 019: Renner monoid type D2 (Gay-Hivert presentat [...] . . . 706μs FpSemigroup 020: Renner monoid type D2 (Gay-Hivert presentat [...] . . . 612μs FpSemigroup 021: Renner monoid type D3 (Gay-Hivert presentat [...] . . . 2825μs FpSemigroup 022: Renner monoid type D3 (Gay-Hivert presentat [...] . . . 2820μs FpSemigroup 023: Renner monoid type D4 (Gay-Hivert presentat [...] . . . 58ms FpSemigroup 024: Renner monoid type D4 (Gay-Hivert presentat [...] . . . 64ms FpSemigroup 029: Rook monoid R5, q = 0 . . . 3288μs FpSemigroup 030: Rook monoid R5, q = 1 . . . 3365μs FpSemigroup 031: Rook monoid R6, q = 0 . . . 27ms FpSemigroup 032: Rook monoid R6, q = 1 . . . 26ms FpSemigroup 033: normal_form . . . 125μs FpSemigroup 034: for a finite semigroup . . . 305μs FpSemigroup 035: finite fp semigroup, dihedral group of order 6 . . . 202μs FpSemigroup 036: finite fp semigroup, size 16 . . . 364μs FpSemigroup 037: finite fp semigroup, size 16 . . . 572μs FpSemigroup 038: fp semigroup, size 240 . . . 450μs FpSemigroup 039: add_rule . . . 95μs FpSemigroup 040: add_rule . . . 63μs FpSemigroup 041: equal_to . . . 118μs FpSemigroup 042: cbegin/cend_rules . . . 25μs FpSemigroup 043: semigroup of size 3 . . . 168μs FpSemigroup 044: run_for/until . . . 2408μs FpSemigroup 045: constructors . . . 103μs FpSemigroup 046: set_inverses . . . 75μs FpSemigroup 047: smalloverlap . . . 4961μs FpSemigroup 048: quaternion group Q8 . . . 229μs FpSemigroup 049: symmetric group Coxeter presentation . . . 28ms FpSemigroupByPairs 029: (fpsemi) 2-sided congruence on finit [...] . . . 285μs FpSemigroupByPairs 030: (fpsemi) 2-sided congruence on finit [...] . . . 244μs FpSemigroupInterface 000: run with no alphabet . . .  -- with ToddCoxeter 41μs  -- with KnuthBendix 10μs  -- with FpSemigroup 18μs FpSemigroupInterface 001: equal_to . . .  -- with ToddCoxeter and human readable alphabet 895μs  -- with KnuthBendix and human readable alphabet 2386μs  -- with FpSemigroup and human readable alphabet 1854μs  -- with FpSemigroupByPairs 1291μs FpSemigroupInterface 002: normal_form . . .  -- with ToddCoxeter 80μs  -- with KnuthBendix 116μs  -- with FpSemigroup 181μs FpSemigroupInterface 003: set_alphabet (1/2) . . .  -- with ToddCoxeter 44μs  -- with KnuthBendix 32μs  -- with FpSemigroup 40μs FpSemigroupInterface 004: set_alphabet (2/2) . . . 528μs FpSemigroupInterface 005: add_rule after finished . . .  -- with ToddCoxeter and human readable alphabet 71μs  -- with KnuthBendix and human readable alphabet 94μs  -- with FpSemigroup and human readable alphabet 145μs  -- with FpSemigroupByPairs 525μs FpSemigroupInterface 006: add_rule with equal words (1/2) . . .  -- with ToddCoxeter and human readable alphabet 94μs  -- with KnuthBendix and human readable alphabet 153μs  -- with FpSemigroup and human readable alphabet 190μs  -- with FpSemigroupByPairs 88μs FpSemigroupInterface 007: add_rule with equal words (2/2) . . .  -- with ToddCoxeter 14μs  -- with KnuthBendix 7000ns  -- with FpSemigroup 15μs FpSemigroupInterface 008: add_rule with word_type . . .  -- with ToddCoxeter 23μs  -- with KnuthBendix 16μs  -- with FpSemigroup 37μs FpSemigroupInterface 009: add_rule with empty word (1/2) . . .  -- with ToddCoxeter 19μs  -- with FpSemigroup 23μs FpSemigroupInterface 010: add_rule with empty word (1/2) . . . 5000ns FpSemigroupInterface 011: add_rules (1/3) . . .  -- with ToddCoxeter 26μs  -- with KnuthBendix 12μs  -- with FpSemigroup 20μs FpSemigroupInterface 012: add_rules (2/3) . . . 186μs FpSemigroupInterface 013: add_rules (3/3) . . .  -- with ToddCoxeter 15μs  -- with KnuthBendix 9000ns  -- with FpSemigroup 32μs FpSemigroupInterface 014: set_identity (1/3) . . .  -- with ToddCoxeter 48μs  -- with KnuthBendix 45μs  -- with FpSemigroup 69μs FpSemigroupInterface 015: set_identity (2/3) . . . 108μs FpSemigroupInterface 016: set_identity (3/3) . . .  -- with ToddCoxeter 33μs  -- with KnuthBendix 28μs  -- with FpSemigroup 51μs FpSemigroupInterface 017: identity . . .  -- with ToddCoxeter 15μs  -- with KnuthBendix 9000ns  -- with FpSemigroup 21μs FpSemigroupInterface 018: set_inverses + inverses (1/2) . . .  -- with ToddCoxeter 67μs  -- with KnuthBendix 63μs  -- with FpSemigroup 94μs FpSemigroupInterface 019: set_inverses + inverses (2/2) . . . 136μs FpSemigroupInterface 020: is_obviously_infinite (1/2) . . .  -- with ToddCoxeter 75μs  -- with KnuthBendix 104μs  -- with FpSemigroup 143μs FpSemigroupInterface 021: is_obviously_infinite (2/2) . . . 20μs FpSemigroupInterface 022: is_obviously_finite (1/2) . . .  -- with ToddCoxeter 64μs  -- with KnuthBendix 98μs  -- with FpSemigroup 142μs FpSemigroupInterface 023: is_obviously_finite (2/2) . . . 11μs FpSemigroupInterface 024: to_gap_string (1/3) . . .  -- with ToddCoxeter 17μs  -- with KnuthBendix 9000ns  -- with FpSemigroup 33μs FpSemigroupInterface 025: to_gap_string (2/3) . . . 5000ns FpSemigroupInterface 026: to_gap_string (3/3) . . . 10μs FroidurePin 015: (BMat8) regular boolean mat monoid 4 . . . 61ms FroidurePin 016: (BMat8) exception zero generators given . . . 5000ns FroidurePin 017: (BMat8) exception word_to_element . . . 30μs FroidurePin 018: (BMat8) exception prefix . . . 1525μs FroidurePin 019: (BMat8) exception suffix . . . 9000ns FroidurePin 020: (BMat8) exception first_letter . . . 818μs FroidurePin 021: (BMat8) exception final_letter . . . 8000ns FroidurePin 022: (BMat8) exception current_length . . . 790μs FroidurePin 023: (BMat8) exception product_by_reduction . . . 803μs FroidurePin 024: (BMat8) exception fast_product . . . 858μs FroidurePin 025: (BMat8) exception is_idempotent . . . 29ms FroidurePin 026: (BMat8) copy constructor . . .  -- with fully enumerated 33ms  -- with partially enumerated 26ms  -- with not enumerated 23ms FroidurePin 027: (BMat8) cbegin/end_rules . . . 32μs FroidurePin 031: (integers) . . . 111μs FroidurePin 039: (pairs of integers) non-trivial user type . . . 15μs FroidurePin 055: (tropical max-plus semiring matrices) . . . 175μs FroidurePin 061: projective max plus matrix . . . 628μs FroidurePin 062: projective max plus matrix . . . 17μs FroidurePin> 009: small example 2 . . . 34μs FroidurePin> 005: small example 1 . . . 73μs FroidurePin> 007: regular bmat monoid 4 . . . 45ms FroidurePin> 011: small example 3 . . . 372μs FroidurePin> 006: small example 1 . . . 90μs FroidurePin> 008: regular bmat monoid 4 . . . 53ms FroidurePin> 010: small example 2 . . . 19μs FroidurePin> 012: small example 3 . . . 453μs FroidurePin 000: small example 1 . . . 168μs FroidurePin 001: default constructed . . . 66μs FroidurePin 002: small example 2 . . . 34μs FroidurePin 004: exception: is_idempotent . . . 100μs FroidurePin> 033: Example 000 . . . 469μs FroidurePin> 035: Example 001 . . . 26μs FroidurePin> 032: Example 000 . . . 336μs FroidurePin> 034: Example 001 . . . 19μs FroidurePin 036: exception: current_position . . . 89μs FroidurePin 037: exception: word_to_element . . . 54μs FroidurePin 038: exception: prefix, suffix, first_letter . . . 11ms FroidurePin> 040: Example 000 . . . 54μs FroidurePin> 041: Example 000 . . . 45μs FroidurePin> 046: Example 005 . . . 91μs FroidurePin> 047: Example 005 . . . 97μs FroidurePin> 048: Example 005 . . . 103μs FroidurePin> 044: Example 004 . . . 19μs FroidurePin> 045: Example 004 . . . 20μs FroidurePin> 049: Example 006 . . . 685μs FroidurePin> 050: Example 006 . . . 751μs FroidurePin> 051: Example 006 . . . 772μs FroidurePin> 052: Example 007 . . . 95μs FroidurePin> 053: Example 007 . . . 108μs FroidurePin> 054: Example 007 . . . 101μs FroidurePin 056: example 1 . . . 143μs FroidurePin 057: example 2 . . . 109μs FroidurePin> 058: . . . 427μs FroidurePin> 059: . . . 26μs FroidurePin> 060: exceptions: add_generator(s) . . . 26μs FroidurePin> 065: no exception zero generators given . . . 9000ns FroidurePin> 066: exception generators of different [...] . . . 35μs FroidurePin> 067: exception current_position . . . 28μs FroidurePin> 068: exception word_to_element . . . 23μs FroidurePin> 069: exception gens . . . 335μs FroidurePin> 070: exception prefix . . . 12ms FroidurePin> 071: exception suffix . . . 33ms FroidurePin> 072: exception first_letter . . . 23μs FroidurePin> 073: exception final_letter . . . 21μs FroidurePin> 074: exception current_length . . . 20μs FroidurePin> 075: exception product_by_reduction . . . 380μs FroidurePin> 076: exception fast_product . . . 409μs FroidurePin> 077: exception current_position . . . 324μs FroidurePin> 078: exception is_idempotent . . . 385μs FroidurePin> 079: exception add_generators . . . 18μs FroidurePin> 080: multithread number_of_idempotents . . . 294μs FroidurePin> 081: small semigroup . . . 13μs FroidurePin> 082: large semigroup . . . 5149μs FroidurePin> 083: at, position, current_* . . . 5215μs FroidurePin> 084: run . . . 4660μs FroidurePin> 085: run [many stops and starts] . . . 4691μs FroidurePin> 086: factorisation, length [1 element] . . . 4957μs FroidurePin> 087: factorisation, products [all elements] . . . 6097μs FroidurePin> 088: first/final letter, prefix, suffi [...] . . . 4970μs FroidurePin> 089: current_position [standard] . . . 12μs FroidurePin> 090: current_position [duplicate gens] . . . 10ms FroidurePin> 091: current_position [after add_generators] . . . 5446μs FroidurePin> 092: cbegin_idempotents/cend [1 thread] . . . 5535μs FroidurePin> 093: idempotent_cend/cbegin [1 thread] . . . 5458μs FroidurePin> 094: is_idempotent [1 thread] . . . 5188μs FroidurePin> 096: finished, started . . . 5020μs FroidurePin> 097: current_position . . . 1128μs FroidurePin> 098: sorted_position, sorted_at . . . 6597μs FroidurePin> 099: right/left Cayley graph . . . 22ms FroidurePin> 100: iterator . . . 7463μs FroidurePin> 101: reverse iterator . . . 7301μs FroidurePin> 102: iterator arithmetic . . . 20ms FroidurePin> 103: iterator sorted . . . 16ms FroidurePin> 104: iterator sorted arithmetic . . . 22ms FroidurePin> 105: copy [not enumerated] . . . 5277μs FroidurePin> 106: copy_closure [not enumerated] . . . 28ms FroidurePin> 107: copy_add_generators [not enumerated] . . . 24ms FroidurePin> 108: copy [partly enumerated] . . . 4841μs FroidurePin> 109: copy_closure [partly enumerated] . . . 7858μs FroidurePin> 110: copy_add_generators [partly enumerated] . . . 4957μs FroidurePin> 111: copy [fully enumerated] . . . 6739μs FroidurePin> 112: copy_closure [fully enumerated] . . . 8115μs FroidurePin> 113: copy_add_generators [fully enumerated] . . . 6926μs FroidurePin> 114: relations [duplicate gens] . . . 126μs FroidurePin> 115: relations . . . 6348μs FroidurePin> 116: relations [copy_closure, duplicat [...] . . . 8270μs FroidurePin> 117: relations [copy_add_generators, d [...] . . . 8615μs FroidurePin> 118: relations [from copy, not enumerated] . . . 5393μs FroidurePin> 119: relations [from copy, partly enum [...] . . . 9700μs FroidurePin> 120: relations [from copy, fully enumerated] . . . 9450μs FroidurePin> 121: relations [from copy_closure, not [...] . . . 9181μs FroidurePin> 122: relations [from copy_add_generato [...] . . . 5419μs FroidurePin> 123: relations [from copy_closure, par [...] . . . 8097μs FroidurePin> 124: relations [from copy_add_generato [...] . . . 6442μs FroidurePin> 125: relations [from copy_closure, ful [...] . . . 9560μs FroidurePin> 126: relations [from copy_add_generato [...] . . . 8550μs FroidurePin> 127: add_generators [duplicate generators] . . . 231μs FroidurePin> 128: add_generators [incremental 1] . . . 265μs FroidurePin> 129: add_generators [incremental 2] . . . 289μs FroidurePin> 130: closure [duplicate generators] . . . 145μs FroidurePin> 131: closure . . . 58μs FroidurePin> 132: factorisation . . . 11μs FroidurePin> 134: minimal_factorisation . . . 30μs FroidurePin> 135: batch_size (for an extremely larg [...] . . . 9000ns FroidurePin> 137: exception: generators of differen [...] . . . 13μs FroidurePin> 138: exception: current_position . . . 24μs FroidurePin> 139: exception: word_to_element . . . 23μs FroidurePin> 140: exception: gens, current_position . . . 617μs FroidurePin> 141: exception: add_generators . . . 20μs KBE 000: constructors . . . 26μs KBE 001: test . . . 46μs KBE 002: factorisation . . . 31μs KBE 003: swap . . . 16μs KBE 004: adapters . . . 15μs KBE 005: conversions . . . 15μs Kambites 000: (fpsemi) MT test 4 (std::string) . . . 4267μs Kambites 001: (fpsemi) MT test 4 (MultiStringView) . . . 5040μs Kambites 002: (fpsemi) number_of_pieces (std::string) . . . 83μs Kambites 003: (fpsemi) number_of_pieces (MultiStringView) . . . 72μs Kambites 004: (fpsemi) small_overlap_class (std::string) . . . 2687μs Kambites 005: (fpsemi) small_overlap_class (MultiStringView) . . . 2627μs Kambites 006: (fpsemi) random (std::string) . . . 7305μs Kambites 007: (fpsemi) random (MultiStringView) . . . 7298μs Kambites 008: (fpsemi) KnuthBendix 055 (std::string) . . . 11ms Kambites 009: (fpsemi) KnuthBendix 055 (MultiStringView) . . . 13ms Kambites 010: (fpsemi) smalloverlap/gap/test.gi:85 (std::string) . . . 48μs Kambites 011: (fpsemi) smalloverlap/gap/test.gi:85 (MultiStr [...] . . . 41μs Kambites 012: (fpsemi) free semigroup . . . 4000ns Kambites 013: (fpsemi) smalloverlap/gap/test.gi:49 (std::string) . . . 23ms Kambites 014: (fpsemi) smalloverlap/gap/test.gi:49 (MultiStr [...] . . . 31ms Kambites 015: (fpsemi) smalloverlap/gap/test.gi:63 (std::string) . . . 24ms Kambites 016: (fpsemi) smalloverlap/gap/test.gi:63 (MultiStr [...] . . . 35ms Kambites 017: (fpsemi) smalloverlap/gap/test.gi:70 (std::string) . . . 87ms Kambites 018: (fpsemi) smalloverlap/gap/test.gi:70 (MultiStr [...] . . . 137ms Kambites 021: (fpsemi) code coverage (std::string) . . . 24μs Kambites 022: (fpsemi) code coverage (MultiStringView) . . . 15μs Kambites 023: (fpsemi) prefix (std::string) . . . 47μs Kambites 024: (fpsemi) prefix (MultiStringView) . . . 74μs Kambites 025: (fpsemi) normal_form (Example 3.15) (std::string) . . . 48μs Kambites 026: (fpsemi) normal_form (Example 3.15) (MultiStri [...] . . . 73μs Kambites 027: (fpsemi) normal_form (Example 3.16) (std::string) . . . 34μs Kambites 028: (fpsemi) normal_form (Example 3.16) (MultiStri [...] . . . 51μs Kambites 029: (fpsemi) normal_form (Example 3.16) more exhau [...] . . . 47ms Kambites 030: (fpsemi) normal_form (Example 3.16) more exhau [...] . . . 58ms Kambites 031: (fpsemi) small presentation (std::string) . . . 55μs Kambites 032: (fpsemi) small presentation (MultiStringView) . . . 26μs Kambites 033: (fpsemi) non-smalloverlap (std::string) . . . 32μs Kambites 034: (fpsemi) non-smalloverlap (MultiStringView) . . . 29μs Kambites 035: (fpsemi) MT test 3 (std::string) . . . 30μs Kambites 036: (fpsemi) MT test 3 (MultiStringView) . . . 29μs Kambites 037: (fpsemi) MT test 5 (std::string) . . . 15μs Kambites 038: (fpsemi) MT test 5 (MultiStringView) . . . 15μs Kambites 039: (fpsemi) MT test 6 (std::string) . . . 25μs Kambites 040: (fpsemi) MT test 6 (MultiStringView) . . . 33μs Kambites 041: (fpsemi) MT test 10 (std::string) . . . 20μs Kambites 042: (fpsemi) MT test 10 (MultiStringView) . . . 29μs Kambites 043: (fpsemi) MT test 13 (std::string) . . . 15μs Kambites 044: (fpsemi) MT test 13 (MultiStringView) . . . 17μs Kambites 045: (fpsemi) MT test 14 (std::string) . . . 14μs Kambites 046: (fpsemi) MT test 14 (MultiStringView) . . . 15μs Kambites 047: (fpsemi) MT test 15 (std::string) . . . 22μs Kambites 048: (fpsemi) MT test 15 (MultiStringView) . . . 23μs Kambites 049: (fpsemi) MT test 16 (std::string) . . . 22μs Kambites 050: (fpsemi) MT test 16 (MultiStringView) . . . 26μs Kambites 051: (fpsemi) MT test 17 (std::string) . . . 75μs Kambites 052: (fpsemi) MT test 17 (MultiStringView) . . . 67μs Kambites 053: (fpsemi) weak C(4) not strong x 1 (std::string) . . . 295μs Kambites 054: (fpsemi) weak C(4) not strong x 1 (MultiStringView) . . . 464μs Kambites 055: (fpsemi) weak C(4) not strong x 2 (std::string) . . . 313μs Kambites 056: (fpsemi) weak C(4) not strong x 2 (MultiStringView) . . . 475μs Kambites 057: (fpsemi) weak C(4) not strong x 3 (std::string) . . . 280μs Kambites 058: (fpsemi) weak C(4) not strong x 3 (MultiStringView) . . . 285μs Kambites 059: (fpsemi) weak C(4) not strong x 4 (std::string) . . . 41μs Kambites 060: (fpsemi) weak C(4) not strong x 4 (MultiStringView) . . . 57μs Kambites 061: (fpsemi) weak C(4) not strong x 5 (std::string) . . . 13μs Kambites 062: (fpsemi) weak C(4) not strong x 5 (MultiStringView) . . . 11μs Kambites 063: (fpsemi) weak C(4) not strong x 6 (std::string) . . . 21μs Kambites 064: (fpsemi) weak C(4) not strong x 6 (MultiStringView) . . . 24μs Kambites 065: (fpsemi) Konovalov example (std::string) . . . 12μs Kambites 066: (fpsemi) Konovalov example (MultiStringView) . . . 11μs Kambites 067: (fpsemi) long words (std::string) . . . 1305ms Kambites 068: (fpsemi) long words (MultiStringView) . . . 40ms Kambites 075: (cong) example 1 . . . 46μs Kambites 076: (cong) example 2 . . . 129μs Kambites 077: (cong) code coverage . . . 4643μs Kambites 078: (cong) large number of rules . . . 191ms KnuthBendix 000: (fpsemi) confluent fp semigroup 1 (infinite) . . . 98μs KnuthBendix 001: (fpsemi) confluent fp semigroup 2 (infinite) . . . 64μs KnuthBendix 002: (fpsemi) confluent fp semigroup 3 (infinite) . . . 55μs KnuthBendix 003: (fpsemi) non-confluent fp semigroup from wi [...] . . . 104μs KnuthBendix 004: (fpsemi) Example 5.1 in Sims (infinite) . . . 85μs KnuthBendix 005: (fpsemi) Example 5.1 in Sims (infinite) . . . 75μs KnuthBendix 006: (fpsemi) Example 5.3 in Sims . . . 84μs KnuthBendix 007: (fpsemi) Example 5.4 in Sims . . . 95μs KnuthBendix 008: (fpsemi) Example 6.4 in Sims (size 168) . . . 9959μs KnuthBendix 009: (fpsemi) . . . 37ms KnuthBendix 010: (fpsemi) SL(2, 7) from Chapter 3, Propositi [...] . . . 102ms KnuthBendix 011: (fpsemi) F(2, 5) - Chapter 9, Section 1 in [...] . . . 326μs KnuthBendix 012: (fpsemi) Reinis example 1 . . . 168μs KnuthBendix 013: redundant_rule (std::string) . . . 100ms KnuthBendix 014: redundant_rule (word_type) . . . 10ms KnuthBendix 019: (fpsemi) C(4) monoid . . . 23μs KnuthBendix 020: (cong) Chinese monoid . . . 112μs KnuthBendix 021: (from kbmag/standalone/kb_data/f25monoid) . . . 375μs KnuthBendix 022: (from kbmag/standalone/kb_data/degen4a) . . . 42ms KnuthBendix 023: (from kbmag/standalone/kb_data/torus) . . . 2532μs KnuthBendix 024: (from kbmag/standalone/kb_data/3a6) . . . 303ms KnuthBendix 025: (from kbmag/standalone/kb_data/f2) . . . 45μs KnuthBendix 026: (from kbmag/standalone/kb_data/s16) . . . 72ms KnuthBendix 027: (from kbmag/standalone/kb_data/a4monoid) . . . 42μs KnuthBendix 028: (from kbmag/standalone/kb_data/degen3) . . . 12μs KnuthBendix 029: (from kbmag/standalone/kb_data/ab1) . . . 17μs KnuthBendix 030: (from kbmag/standalone/kb_data/degen2) . . . 8000ns KnuthBendix 031: (from kbmag/standalone/kb_data/f25) . . . 333μs KnuthBendix 032: (from kbmag/standalone/kb_data/237) . . . 467μs KnuthBendix 033: (from kbmag/standalone/kb_data/c2) . . . 7000ns KnuthBendix 034: (from kbmag/standalone/kb_data/cosets) . . . 176μs KnuthBendix 035: Example 5.1 in Sims (KnuthBendix 09 again) . . . 35μs KnuthBendix 036: (from kbmag/standalone/kb_data/nilp2) . . . 21μs KnuthBendix 037: Example 6.4 in Sims . . . 17ms KnuthBendix 038: KnuthBendix 071 again . . . 544μs KnuthBendix 039: Example 5.4 in Sims (KnuthBendix 11 again) [...] . . . 162μs KnuthBendix 040: Example 5.4 in Sims (KnuthBendix 11 again) [...] . . . 101μs KnuthBendix 041: operator<< . . . 45μs KnuthBendix 042: confluence_interval . . . 8000ns KnuthBendix 043: max_overlap . . . 7000ns KnuthBendix 044: (fpsemi) (from kbmag/standalone/kb_data/d22 [...] . . . 968μs KnuthBendix 045: (fpsemi) (from kbmag/standalone/kb_data/d22 [...] . . . 1806μs KnuthBendix 046: (fpsemi) small example . . . 864μs KnuthBendix 047: code coverage . . . 50μs KnuthBendix 048: small overlap 1 . . . 32μs KnuthBendix 049: (from kbmag/standalone/kb_data/s9) . . . 1374μs KnuthBendix 050: (fpsemi) Chapter 11, Lemma 1.8 (q = 6, r = [...] . . . 496μs KnuthBendix 051: (fpsemi) Chapter 11, Section 2 (q = 6, r = [...] . . . 106μs KnuthBendix 052: (fpsemi) Chapter 8, Theorem 4.2 in NR (infinite) . . . 224μs KnuthBendix 053: (fpsemi) equal_to fp semigroup . . . 33μs KnuthBendix 054: (fpsemi) equal_to free semigroup . . . 37μs KnuthBendix 055: (fpsemi) from GAP smalloverlap gap/test.gi [...] . . . 440μs KnuthBendix 056: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 659μs KnuthBendix 057: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 637μs KnuthBendix 058: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 1836μs KnuthBendix 059: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 4422μs KnuthBendix 060: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 37μs KnuthBendix 061: (fpsemi) Von Dyck (2,3,7) group (infinite) . . . 440μs KnuthBendix 062: (fpsemi) Von Dyck (2,3,7) group - different [...] . . . 5072μs KnuthBendix 063: (fpsemi) rewriting system from KnuthBendixC [...] . . . 298μs KnuthBendix 064: (fpsemi) rewriting system from Congruence 20 . . . 20μs KnuthBendix 065: (fpsemi) (from kbmag/standalone/kb_data/ab2) . . . 64μs KnuthBendix 066: (fpsemi) (from kbmag/standalone/kb_data/d22 [...] . . . 1015μs KnuthBendix 067: (fpsemi) (from kbmag/standalone/kb_data/degen1) . . . 32μs KnuthBendix 068: (fpsemi) (from kbmag/standalone/kb_data/s4) . . . 265μs KnuthBendix 069: (fpsemi) fp semigroup (infinite) . . . 35μs KnuthBendix 070: (fpsemi) Chapter 11, Section 1 (q = 4, r = [...] . . . 1928μs KnuthBendix 071: (fpsemi) Chapter 11, Section 1 (q = 8, r = [...] . . . 145ms KnuthBendix 072: (fpsemi) Chapter 7, Theorem 3.9 in NR (size 240) . . . 4640μs KnuthBendix 073: (fpsemi) F(2, 5) - Chapter 9, Section 1 in [...] . . . 350μs KnuthBendix 074: (fpsemi) F(2, 6) - Chapter 9, Section 1 in NR . . . 348μs KnuthBendix 075: (fpsemi) Chapter 10, Section 4 in NR (infinite) . . . 787μs KnuthBendix 076: (fpsemi) Sym(5) from Chapter 3, Proposition [...] . . . 3512μs KnuthBendix 077: (fpsemi) SL(2, 7) from Chapter 3, Propositi [...] . . . 99ms KnuthBendix 078: (fpsemi) bicyclic monoid (infinite) . . . 42μs KnuthBendix 079: (fpsemi) plactic monoid of degree 2 (infinite) . . . 48μs KnuthBendix 080: (fpsemi) example before Chapter 7, Proposit [...] . . . 38μs KnuthBendix 081: (fpsemi) Chapter 7, Theorem 3.6 in NR (size 243) . . . 924μs KnuthBendix 082: (fpsemi) finite semigroup (size 99) . . . 240μs KnuthBendix 096: Sorouhesh . . . 321μs KnuthBendix 097: (fpsemi) transformation semigroup (size 4) . . . 53μs KnuthBendix 098: (fpsemi) transformation semigroup (size 9) . . . 41μs KnuthBendix 099: (fpsemi) transformation semigroup (size 88) . . . 835μs KnuthBendix 100: internal_string_to_word . . . 21μs KnuthBendix 101: (fpsemi) construct from shared_ptr . . . 846μs KnuthBendix 102: internal_string_to_word . . . 848μs KnuthBendix 103: (cong) free semigroup congruence (5 classes) . . . 52μs KnuthBendix 104: free semigroup congruence (6 classes) . . . 173μs KnuthBendix 105: (cong) free semigroup congruence (16 classes) . . . 227μs KnuthBendix 106: (cong) free semigroup congruence (6 classes) . . . 327μs KnuthBendix 107: (cong) free semigroup congruence (240 classes) . . . 4316μs KnuthBendix 108: (cong) free semigroup congruence (240 classes) . . . 4233μs KnuthBendix 109: (cong) less . . . 4443μs KnuthBendix 110: (cong) less . . . 249ms KnuthBendix 111: (cong) constructors . . . 360ms KnuthBendix 112: (cong) const_contains/contains . . . 147μs KnuthBendix 113: (cong) is_quotient_obviously_finite . . . 16μs KnuthBendix 114: (cong) class_index_to_word . . . 150μs KnuthBendix 115: (cong) quotient_froidure_pin . . . 116μs KnuthBendix 116: (cong) set_number_of_generators . . . 16μs KnuthBendix 117: (cong) number of classes when obv-inf . . . 35μs KnuthBendixCongruenceByPairs 016: non-trivial congruence on [...] . . . 128μs KnuthBendixCongruenceByPairs 017: non-trivial congruence on [...] . . . 112μs KnuthBendixCongruenceByPairs 018: non-trivial congruence on [...] . . . 151μs KnuthBendixCongruenceByPairs 019: non-trivial congruence on [...] . . . 154μs KnuthBendixCongruenceByPairs 020: trivial congruence on a fi [...] . . . 128μs KnuthBendixCongruenceByPairs 021: universal congruence on a [...] . . . 436μs KnuthBendixCongruenceByPairs 022: left congruence on a finit [...] . . . 204μs KnuthBendixCongruenceByPairs 023: finite group, Chapter 11, [...] . . . 4952μs KnuthBendixCongruenceByPairs 024: right congruence on infini [...] . . . 241μs KnuthBendixCongruenceByPairs 025: finite fp semigroup, dihed [...] . . . 204μs KnuthBendixCongruenceByPairs 026: finite fp semigroup, size 16 . . . 240μs KnuthBendixCongruenceByPairs 027: finite fp semigroup, size 16 . . . 853μs KnuthBendixCongruenceByPairs 028: infinite fp semigroup with [...] . . . 41μs Konieczny 000: test000> . . . 835μs Konieczny 001: test000> . . . 568μs Konieczny 002: test001> . . . 7341μs Konieczny 003: test001> . . . 6041μs Konieczny 006: exceptions . . . 33μs Konieczny 007: code coverage . . . 9477μs Konieczny 008: code coverage . . . 8322μs Konieczny 009: regular elements and idempotents . . . 118ms Konieczny 010: regular D-class 01 . . . 677μs Konieczny 011: regular D-class 02 . . . 5703μs Konieczny 012: regular D-class 04: contains . . . 20ms Konieczny 013: non-regular D-classes 01 . . . 696μs Konieczny 014: RegularDClass . . . 441μs Konieczny 015: full bmat monoid 4 . . . 25ms Konieczny 017: regular generated bmat monoid 4 idempotents . . . 39ms Konieczny 019: my favourite example . . . 62ms Konieczny 020: another large example . . . 10ms Konieczny 021: my favourite example transposed . . . 48ms Konieczny 024: exceptions . . . 727μs Konieczny 025: 0-parameter constructor . . . 12ms Konieczny 026: non-regular D-classes 02 . . . 6917μs Konieczny 028: partial perm . . . 99ms Konieczny 029: symmetric inverse monoid n = 8 . . . 18ms Konieczny 030: exceptions . . . 136ms Konieczny 031: transformations . . . 594μs Konieczny 032: transformations - JDM favourite example . . . 65ms Konieczny 033: transformations - large example . . . 177ms Konieczny 034: transformations - large example with stop . . . 177ms Konieczny 035: transformations - large example with run_until . . . 178ms Konieczny 036: transformations - large example with stop in Action . . . 178ms Konieczny 037: exceptions . . . 44μs Konieczny 038: transformations: contains . . . 389μs Konieczny 040: transformations - destructor coverage . . . 138ms Konieczny 041: current_number_D_classes . . . 141ms Konieczny 042: add_generator . . . 27μs Konieczny 043: add_generator . . . 12μs Matrix 000: BMat<2> . . . 120μs Matrix 001: BMat<> . . . 60μs Matrix 002: BMat<3> + BMat<> . . . 5000ns Matrix 003: BMat<2> + BMat<> . . . 6000ns Matrix 004: BMat<3> . . . 9000ns Matrix 005: BMat<> . . . 7000ns Matrix 006: BMat<3> row_basis . . . 23μs Matrix 007: BMat<> row_basis . . . 33μs Matrix 008: IntMat<3> . . . 9000ns Matrix 009: IntMat<> . . . 13μs Matrix 010: IntMat code cov . . . 4000ns Matrix 011: MaxPlusMat<3> . . . 7000ns Matrix 012: MaxPlusMat<> . . . 10μs Matrix 013: MaxPlusMat code cov . . . 3000ns Matrix 014: MinPlusMat<3> . . . 9000ns Matrix 015: MinPlusMat<> . . . 14μs Matrix 016: MinPlusMat code cov . . . 2000ns Matrix 017: MaxPlusTruncMat<5, 2> . . . 16μs Matrix 018: MaxPlusTruncMat<5> . . . 12μs Matrix 019: MaxPlusTruncMat<> . . . 21μs Matrix 020: MaxPlusTruncMat<5, 4> . . . 12μs Matrix 021: MaxPlusTruncMat<5> . . . 13μs Matrix 022: MaxPlusTruncMat<> . . . 12μs Matrix 023: MaxPlusTruncMat<33, 3> . . . 23μs Matrix 024: MaxPlusTruncMat<33> . . . 18μs Matrix 025: MaxPlusTruncMat<> . . . 17μs Matrix 026: MaxPlusMat code cov . . . 3000ns Matrix 027: MinPlusTruncMat<33, 3> . . . 17μs Matrix 028: MinPlusTruncMat<33> . . . 19μs Matrix 029: MinPlusTruncMat<> . . . 23μs Matrix 030: NTPMat<0, 3, 3, 3> . . . 9000ns Matrix 031: NTPMat<0, 3> . . . 11μs Matrix 032: NTPMat<> . . . 22μs Matrix 033: NTPMat<0, 10, 4, 4> . . . 17μs Matrix 034: NTPMat<0, 10> . . . 16μs Matrix 035: NTPMat<> . . . 14μs Matrix 036: NTPMat<0, 10, 4, 4> . . . 12μs Matrix 037: NTPMat<0, 10> . . . 11μs Matrix 038: NTPMat<> . . . 12μs Matrix 039: NTPMat<33, 2, 3, 3> . . . 7000ns Matrix 040: NTPMat<33, 2> . . . 9000ns Matrix 041: NTPMat<> . . . 9000ns Matrix 042: ProjMaxPlusMat<3> . . . 61μs Matrix 043: ProjMaxPlusMat<> . . . 48μs Matrix 044: exceptions . . . 19μs Matrix 045: code coverage . . . 23μs MultiStringView 000: catch all . . . 49μs MultiStringView 001: is_prefix . . . 7000ns MultiStringView 002: erase . . . 9000ns MultiStringView 003: iterators . . . 5000ns MultiStringView 004: constructors (long) . . . 16μs MultiStringView 005: constructors (short) . . . 11μs MultiStringView 006: copy assignment (short assigned to long) . . . 7000ns MultiStringView 007: copy assignment (short assigned to short) . . . 6000ns MultiStringView 008: move assignment (short assigned to long) . . . 7000ns MultiStringView 009: move assignment (short assigned to short) . . . 6000ns MultiStringView 010: code coverage . . . 15μs MultiStringView 011: pop_front . . . 27μs MultiStringView 012: append . . . 7000ns MultiStringView 013: operators . . . 8000ns MultiStringView 014: maximum_common_suffix . . . 6000ns MultiStringView 015: deep tests . . . 3000ns ObviouslyInfinite 011: Multiple rule additions . . . 37μs ObviouslyInfinite 012: A power of the generator 'b' does not [...] . . . 4000ns ObviouslyInfinite 013: Preserves the number of occurrences o [...] . . . 5000ns ObviouslyInfinite 014: Less relations than generators . . . 4000ns ObviouslyInfinite 015: Relations preserve length . . . 4000ns ObviouslyInfinite 016: Matrix has non empty kernel . . . 5000ns ObviouslyInfinite 017: Free product of trivial semigroups . . . 4000ns ObviouslyInfinite 018: Another free product . . . 6000ns ObviouslyInfinite 019: Infinite but not obviously so . . . 5000ns ObviouslyInfinite 020: Finite semigroup . . . 6000ns PBR 001: universal product with convenience constructor . . . 34μs PBR 002: universal product . . . 9000ns PBR 003: product [bigger than previous] . . . 19μs PBR 004: hash . . . 4000ns PBR 005: delete/copy . . . 10μs PBR 006: exceptions . . . 94μs PBR 007: operators . . . 41μs PBR 008: to_string . . . 9000ns PBR 009: identity . . . 25μs PBR 010: adapters . . . 3000ns Pool 000: initial . . . 17μs Pool 001: bmat . . . 17μs Pool 002: PoolGuard . . . 10μs Pool 003: transformation products . . . 6000ns Presentation 000: vectors of ints . . . 71μs Presentation 001: strings . . . 47μs Presentation 002: constructors (word_type) . . . 14μs Presentation 003: constructors (StaticVector1) . . . 31μs Presentation 004: constructors (std::string) . . . 15μs Presentation 005: alphabet + letters (word_type) . . . 93μs Presentation 006: alphabet + letters (std::string) . . . 22μs Presentation 007: contains_empty_word . . . 6000ns Presentation 008: validate_rules throws . . . 23μs Presentation 009: helpers add_rule(s) . . . 54μs Presentation 010: helpers add_rule(s) (std::string) . . . 14μs Presentation 011: helpers add_identity_rules (std::vector/St [...] . . . 22μs Presentation 012: helpers add_identity_rules (std::string) . . . 13μs Presentation 013: helpers add_inverse_rules (all) . . . 111μs Presentation 014: helpers add_inverse_rules (std::string) . . . 26μs Presentation 015: helpers remove_duplicate_rules . . . 44μs Presentation 016: helpers reduce_complements . . . 71μs Presentation 017: helpers sort_each_rule . . . 33μs Presentation 018: helpers sort_rules . . . 34μs Presentation 019: helpers longest_common_subword/replace_subword . . . 191μs Presentation 020: helpers redundant_rule . . . 9264μs Presentation 021: helpers shortlex_compare_concat . . . 3000ns Presentation 022: helpers remove_trivial_rules . . . 47μs Presentation 023: helpers replace_subword (existing, replacement) . . . 34μs Presentation 024: helpers longest_rule . . . 63μs Presentation 025: helpers longest_rule_length . . . 52μs Presentation 026: helpers remove_redundant_generators . . . 61μs Presentation 027: helpers reverse . . . 11μs Presentation 028: in_alphabet . . . 13μs Presentation 029: replace_subword with empty word . . . 9000ns Presentation 030: helpers replace_word . . . 21μs Presentation 031: clear . . . 4000ns Presentation 032: letter . . . 16μs Presentation 033: normalize_alphabet . . . 7000ns Presentation 034: longest_common_subword issue . . . 196μs Presentation 035: helpers add_zero_rules (std::vector/Static [...] . . . 21μs Presentation 036: helpers add_zero_rules (std::string) . . . 11μs Presentation 037: make_semigroup . . . 31μs Presentation 038: greedy_reduce_length . . . 129μs Presentation 039: aaaaaaaab = aaaaaaaaab strong compression . . . 27μs Presentation 040: change_alphabet . . . 37μs Presentation 041: sort_rules bug . . . 127μs Presentation 042: first_unused_letter/letter . . . 95μs Presentation 043: case where strong compression doesn't work . . . 14μs Presentation 044: proof that . . . 22μs Presentation 045: decompression . . . 8000ns Race 001: run_for . . . 10ms Race 002: run_until . . . 10ms Race 003: exceptions . . . 10ms Race 004: iterators . . . 6000ns Race 005: find_runner . . . 5000ns Race 006: run_func . . . 25ms Race 007: run_func . . . 10ms Race 008: run_func . . . 10ms Runner 000: run_for . . . 10ms Runner 001: run_for . . . 1003μs Runner 002: run_for . . . 191ms Runner 003: run_for . . . 25ms Runner 004: started . . . 1005μs Runner 005: run_until . . . 2332μs Runner 006: kill . . . 4000ns Runner 007: copy constructor . . . 10ms Runner 008: report . . . 20ms Runner 009: run_until with function pointer . . . 5000ns SchreierSims 001: trivial perm. group (degree 1) . . . 22μs SchreierSims 002: trivial perm. group (degree 2) . . . 15μs SchreierSims 003: trivial perm. group (degree 500) . . . 184μs SchreierSims 004: symmetric perm. group (degree 5) . . . 28μs SchreierSims 005: symmetric perm. group (degree 8) . . . 35μs SchreierSims 006: symmetric perm. group (degree 9) . . . 39μs SchreierSims 007: alternating perm. group (degree 12) . . . 61μs SchreierSims 008: symmetric perm. group (degree 16) . . . 465μs SchreierSims 009: alternating perm. group (degree 15) . . . 235μs SchreierSims 010: alternating perm. group (degree 16) . . . 521μs SchreierSims 011: dihedral perm. group (order 10) . . . 6000ns SchreierSims 012: dihedral perm. group (order 200) . . . 954μs SchreierSims 013: perm. group T (order 12) . . . 6000ns SchreierSims 014: quaternion perm. group (order 8) . . . 9000ns SchreierSims 015: perm. group (order 84129611558952960) . . . 105ms SchreierSims 016: perm. group SL(3, 5) (order 372000) . . . 675μs SchreierSims 017: perm. group PSL(4, 8) (order 34558531338240) . . . 42ms SchreierSims 018: perm. Mathieu group M11 (order 7920) . . . 69μs SchreierSims 019: perm. Mathieu group M24 (order 244823040) . . . 111μs SchreierSims 020: perm. Janko Group J1 (order 175560) . . . 1172μs SchreierSims 021: perm. Hall-Janko group (order 604800) . . . 245μs SchreierSims 022: perm. Hall-Janko group (alt.) (order 604800) . . . 9548μs SchreierSims 023: perm. Conway group Co3 (order 495766656000) . . . 3453μs SchreierSims 024: perm. Conway group Co3 (alt.) (order 49576 [...] . . . 7295μs SchreierSims 025: perm. Suzuki group (order 448345497600) . . . 41ms SchreierSims 027: perm. Held group (order 4030387200) . . . 66ms SchreierSims 028: perm. group C2 x C2 x C2 (order 8) . . . 16μs SchreierSims 029: perm. group C2 x C2 x C2 x C2 (order 16) . . . 26μs SchreierSims 030: perm. group (S5 x S5) : C2 (order 28800) . . . 44μs SchreierSims 031: perm. group C3 x D8 x A5 (order 1440) . . . 42μs SchreierSims 032: perm. group GL(4, 3) (order 24261120) . . . 388μs SchreierSims 033: perm. group PSL(3, 7) (order 1876896) . . . 469μs SchreierSims 037: symmetric perm. group (degree 5) . . . 18μs SchreierSims 038: alternating perm. group (degree 17) . . . 2439μs SchreierSims 039: exceptions . . . 55μs SchreierSims 040: exceptions . . . 26μs SchreierSims 041: trivial group . . . 18μs SchreierSims 042: A17 bug . . . 2202μs SchreierSims 043: orbits_lookup test . . . 298μs SchreierSims 044: transversal_element and inversal_element test . . . 761μs SchreierSimsHelper 001: trivial perm. group intersection (de [...] . . . 11μs SchreierSimsHelper 002: trivial perm. group intersection (de [...] . . . 14μs SchreierSimsHelper 003: cyclic group intersection (degree 13) . . . 21μs SchreierSimsHelper 004: D10 and Z5 intersection . . . 23μs SchreierSimsHelper 005: D8 and Q8 intersection . . . 21μs SchreierSimsHelper 006: primitive on 8 points intersection . . . 52μs SchreierSimsHelper 007: primitive on 8 points intersection ( [...] . . . 50μs SchreierSimsHelper 008: A13 and PGL(2, 11) intersection . . . 471μs SchreierSimsHelper 009: A13 and PGL(2, 11) intersection (swa [...] . . . 480μs SchreierSimsHelper 012: 3^3:13 and 3^3.2.A(4) intersection . . . 98μs SchreierSimsHelper 015: 3^3(S(4) x 2) and ASL(3, 3) intersection . . . 162μs SchreierSimsHelper 016: 7^2:3 x Q(8) and 7^2:D(2*6) intersection . . . 239μs SchreierSimsHelper 018: D(2*53) and 53:13 intersection . . . 146μs SchreierSimsHelper 019: 2^6:(7 x D_14) and PSL(2, 6)^2.4 int [...] . . . 1634μs SchreierSimsHelper 020: 2^6:(S_3 x GL(3, 2)) and 2.6:Alt(7) [...] . . . 5526μs SchreierSimsHelper 022: PSL(2, 127) and AGL(1, 2^7) intersection . . . 6724μs SchreierSimsHelper 023: PSL(3, 4).2 and PSL(3, 4).2 (nontriv [...] . . . 1135μs SchreierSimsHelper 024: PSL(3, 4).Sym(3) and PSL(3, 4).2 int [...] . . . 1154μs SchreierSimsHelper 025: 3^4:5:4 and D_16:4 intersection . . . 626μs Sims1 000: fp example 1 . . . 524μs Sims1 001: fp example 2 . . . 1510μs Sims1 002: ToddCoxeter failing example . . . 13ms Sims1 003: ToddCoxeter failing example . . . 600μs Sims1 004: partition_monoid(2) right . . . 4898μs Sims1 006: full_transformation_monoid(3) right . . . 7009μs Sims1 007: full_transformation_monoid(3) left . . . 3896μs Sims1 009: rook_monoid(2, 1) . . . 70μs Sims1 010: symmetric_inverse_monoid(2) from FroidurePin . . . 69μs Sims1 011: symmetric_inverse_monoid(3) . . . 6574μs Sims1 014: temperley_lieb_monoid(3) from presentation . . . 45μs Sims1 015: temperley_lieb_monoid(4) from presentation . . . 630μs Sims1 016: fp semigroup containing given pairs #1 . . . 193μs Sims1 017: fp semigroup containing given pairs #2 . . . 197μs Sims1 018: fp semigroup containing given pairs #3 . . . 323μs Sims1 019: ToddCoxeter failing example . . . 823μs Sims1 020: fp example 2 . . . 1518μs Sims1 021: exceptions . . . 116μs Sims1 027: from https://mathoverflow.net/questions/423541/ . . . 22ms Sims1 028: from https://mathoverflow.net/questions/423541/ . . . 15ms Sims1 030: presentation with one free generator . . . 186μs Sims1 031: presentation with non-zero index generators . . . 40μs Sims1 032: presentation with empty word . . . 7273μs Sims1 033: constructors . . . 1008μs Sims1 034: split_at . . . 158μs Sims1 035: stats . . . 60μs Sims1 036: check iterator requirements . . . 90μs Sims1 040: TransitiveGroup(10, 32) - minimal rep . . . 2687μs Sims1 043: rectangular_band(2, 2) - with and without identity . . . 143μs Sims1 044: trivial group - minimal o.r.c. rep . . . 57μs Sims1 045: right zero semigroup - minimal o.r.c. rep . . . 1169μs Sims1 046: semigroup with faithful non-strictly cyclic actio [...] . . . 399μs Sims1 068: RepOrc . . . 24ms Sims1 069: fp example 1 . . . 298μ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 1010μs (184ns 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 . . . 1079μs Sims1 072: symmetric_group(n) for n = 4 . . . 766μs Sims1 073: corner case no generators + no relations . . . 37μs Sims1 076: uninitialized RepOrc . . . 12μs SmallestInteger 001: . . . 5000ns StaticTriVector2 045: all . . . 11μs StaticVector2 043: all . . . 10μs Stephen 000: basic test 1 . . . 161μs Stephen 001: basic test 2 . . . 98μs Stephen 002: full transf monoid . . . 14ms Stephen 003: from step_hen 002 . . . 36μs Stephen 004: from step_hen 003 . . . 123μs Stephen 005: from step_hen 004 . . . 26μs Stephen 006: from step_hen 005 . . . 78μs Stephen 008: C(4) monoid normal form (test_case_knuth_bendix_055) . . . 121μs Stephen 009: C(4) monoid normal form (test_case_gap_smallove [...] . . . 63μs Stephen 010: code coverage . . . 183μs Stephen 011: C(4) monoid normal form (test_case_gap_smallove [...] . . . 196μs Stephen 012: C(4) monoid normal form (test_case_gap_smallove [...] . . . 168μs Stephen 013: C(4) monoid equal to (test_case_gap_smalloverlap_70) . . . 77μs Stephen 014: C(4) monoid normal form (test_case_ex_3_13_14) . . . 270μs Stephen 015: C(4) monoid normal form (test_case_ex_3_15) . . . 349μs Stephen 016: C(4) monoid normal form (test_case_ex_3_16) . . . 235μs Stephen 017: C(4) monoid normal form (test_case_mt_3) . . . 114μs Stephen 018: C(4) monoid normal form (test_case_mt_5) . . . 91μs Stephen 019: C(4) monoid normal form (test_case_mt_6) . . . 244μs Stephen 020: C(4) monoid normal form (test_case_mt_10) . . . 85μs Stephen 021: C(4) monoid normal form (test_case_mt_13) . . . 64μs Stephen 022: C(4) monoid normal form (test_case_mt_14) . . . 64μs Stephen 023: C(4) monoid normal form (test_case_mt_15) . . . 67μs Stephen 024: C(4) monoid normal form (test_case_mt_16) . . . 89μs Stephen 025: C(4) monoid normal form (test_case_mt_17) . . . 217μs Stephen 026: C(4) monoid normal form (test_case_weak_1) . . . 232μs Stephen 027: C(4) monoid normal form (test_case_weak_2) . . . 128μs Stephen 028: C(4) monoid normal form (test_case_weak_3) . . . 168μs Stephen 029: C(4) monoid normal form (test_case_weak_4) . . . 160μs Stephen 030: C(4) monoid normal form (test_case_weak_5) . . . 77μs Stephen 031: Test behaviour when uninitialised . . . 107μs Suf 005: unite . . . 17μs Suf 007: compress . . . 6000ns Suf 011: big chain . . . 10ms Suf 013: empty table . . . 2000ns Suf 015: join . . . 7000ns Suf 017: contains . . . 15μs Suf 019: swap . . . 14μs Timer 001: string method (1 argument) . . . 14μs Timer 002: string method (0 arguments) . . . 10ms Timer 003: reset/elapsed method . . . 20ms Timer 004: operator<< . . . 4000ns ToddCoxeter 000: small 2-sided congruence . . .  -- with HLT + no standardise + full lookahead + no save 868μs  -- with HLT + standardise + full lookahead + no save 779μs  -- with HLT + no standardise + partial lookahead + no save 763μs  -- with HLT + standardise + partial lookahead + no save 761μs  -- with HLT + no standardise + full lookahead + save 803μs  -- with HLT + standardise + full lookahead + save 782μs  -- with HLT + no standardise + partial lookahead + save 786μs  -- with HLT + standardise + partial lookahead + save 783μs  -- with Felsch + no standardisation 775μs  -- with Felsch + standardisation 771μs  -- with random strategy 781μs  -- with Rc style + full lookahead 772μs  -- with Rc style + partial lookahead 768μs  -- with R/C style 821μs  -- with CR style 821μs  -- with Cr style 786μs ToddCoxeter 001: small 2-sided congruence . . .  -- with HLT + no standardise + full lookahead + no save 4000μs  -- with HLT + standardise + full lookahead + no save 3921μs  -- with HLT + no standardise + partial lookahead + no save 3927μs  -- with HLT + standardise + partial lookahead + no save 3930μs  -- with HLT + no standardise + full lookahead + save 3875μs  -- with HLT + standardise + full lookahead + save 3838μs  -- with HLT + no standardise + partial lookahead + save 3832μs  -- with HLT + standardise + partial lookahead + save 3824μs  -- with Felsch + no standardisation 3832μs  -- with Felsch + standardisation 3827μs  -- with random strategy 3832μs  -- with Rc style + full lookahead 3862μs  -- with Rc style + partial lookahead 3944μs  -- with R/C style 3845μs  -- with CR style 3845μs  -- with Cr style 3833μs ToddCoxeter 003: constructed from FroidurePin . . .  -- with Felsch + no standardisation 215ms  -- with Felsch + standardisation 212ms  -- with HLT + no standardise + full lookahead + no save 58ms  -- with HLT + standardise + full lookahead + no save 58ms  -- with HLT + no standardise + partial lookahead + no save 58ms  -- with HLT + standardise + partial lookahead + no save 58ms  -- with HLT + no standardise + full lookahead + save 220ms  -- with HLT + standardise + full lookahead + save 220ms  -- with HLT + no standardise + partial lookahead + save 220ms  -- with HLT + standardise + partial lookahead + save 220ms  -- with random strategy 217ms  -- with Rc style + full lookahead 213ms  -- with Rc style + partial lookahead 214ms  -- with R/C style 66ms  -- with CR style 213ms  -- with Cr style 214ms ToddCoxeter 004: 2-sided congruence from FroidurePin . . .  -- with HLT + no standardise + full lookahead + no save 191μs  -- with HLT + standardise + full lookahead + no save 139μs  -- with HLT + no standardise + partial lookahead + no save 129μs  -- with HLT + standardise + partial lookahead + no save 129μs  -- with HLT + save (throws) 179μs  -- with Felsch (throws) 139μs  -- with random strategy 140μs ToddCoxeter 005: non-trivial two-sided from relations . . .  -- with HLT + no standardise + full lookahead + no save 36μs  -- with HLT + standardise + full lookahead + no save 25μs  -- with HLT + no standardise + partial lookahead + no save 23μs  -- with HLT + standardise + partial lookahead + no save 23μs  -- with HLT + no standardise + full lookahead + save 35μs  -- with HLT + standardise + full lookahead + save 31μs  -- with HLT + no standardise + partial lookahead + save 29μs  -- with HLT + standardise + partial lookahead + save 29μs  -- with Felsch + no standardisation 26μs  -- with Felsch + standardisation 26μs  -- with random strategy 29μs  -- with Rc style + full lookahead 26μs  -- with Rc style + partial lookahead 24μs  -- with R/C style 28μs  -- with CR style 27μs  -- with Cr style 26μs ToddCoxeter 006: small right cong. on free semigroup . . .  -- with HLT + no standardise + full lookahead + no save 25μs  -- with HLT + standardise + full lookahead + no save 20μs  -- with HLT + no standardise + partial lookahead + no save 18μs  -- with HLT + standardise + partial lookahead + no save 18μs  -- with HLT + no standardise + full lookahead + save 23μs  -- with HLT + standardise + full lookahead + save 22μs  -- with HLT + no standardise + partial lookahead + save 21μs  -- with HLT + standardise + partial lookahead + save 20μs  -- with Felsch + no standardisation 27μs  -- with Felsch + standardisation 22μs  -- with random strategy 24μs  -- with Rc style + full lookahead 20μs  -- with Rc style + partial lookahead 19μs  -- with R/C style 20μs  -- with CR style 22μs  -- with Cr style 21μs ToddCoxeter 007: left cong. on free semigroup . . .  -- with HLT + no standardise + full lookahead + no save 27μs  -- with HLT + standardise + full lookahead + no save 22μs  -- with HLT + no standardise + partial lookahead + no save 21μs  -- with HLT + standardise + partial lookahead + no save 22μs  -- with HLT + no standardise + full lookahead + save 24μs  -- with HLT + standardise + full lookahead + save 24μs  -- with HLT + no standardise + partial lookahead + save 23μs  -- with HLT + standardise + partial lookahead + save 24μs  -- with Felsch + no standardisation 24μs  -- with Felsch + standardisation 25μs  -- with random strategy 28μs  -- with Rc style + full lookahead 24μs  -- with Rc style + partial lookahead 24μs  -- with R/C style 25μs  -- with CR style 27μs  -- with Cr style 27μs ToddCoxeter 008: for small fp semigroup . . .  -- with HLT + no standardise + full lookahead + no save 23μs  -- with HLT + standardise + full lookahead + no save 20μs  -- with HLT + no standardise + partial lookahead + no save 19μs  -- with HLT + standardise + partial lookahead + no save 19μs  -- with HLT + no standardise + full lookahead + save 28μs  -- with HLT + standardise + full lookahead + save 27μs  -- with HLT + no standardise + partial lookahead + save 26μs  -- with HLT + standardise + partial lookahead + save 26μs  -- with Felsch + no standardisation 26μs  -- with Felsch + standardisation 26μs  -- with random strategy 29μs  -- with Rc style + full lookahead 21μs  -- with Rc style + partial lookahead 21μs  -- with R/C style 22μs  -- with CR style 28μs  -- with Cr style 28μs ToddCoxeter 009: 2-sided cong. trans. semigroup . . .  -- with HLT + no standardise + full lookahead + no save 170μs  -- with HLT + standardise + full lookahead + no save 153μs  -- with HLT + no standardise + partial lookahead + no save 143μs  -- with HLT + standardise + partial lookahead + no save 146μs  -- with HLT + no standardise + full lookahead + save 495μs  -- with HLT + standardise + full lookahead + save 492μs  -- with HLT + no standardise + partial lookahead + save 486μs  -- with HLT + standardise + partial lookahead + save 487μs  -- with Felsch + no standardisation 422μs  -- with Felsch + standardisation 432μs  -- with random strategy 164μs  -- with Rc style + full lookahead 160μs  -- with Rc style + partial lookahead 155μs  -- with R/C style 170μs  -- with CR style 435μs  -- with Cr style 438μs ToddCoxeter 010: left congruence on transformation semigroup . . .  -- with HLT + no standardise + full lookahead + no save 178μs  -- with HLT + standardise + full lookahead + no save 185μs  -- with HLT + no standardise + partial lookahead + no save 175μs  -- with HLT + standardise + partial lookahead + no save 188μs  -- with HLT + no standardise + full lookahead + save 533μs  -- with HLT + standardise + full lookahead + save 547μs  -- with HLT + no standardise + partial lookahead + save 535μs  -- with HLT + standardise + partial lookahead + save 548μs  -- with Felsch + no standardisation 455μs  -- with Felsch + standardisation 446μs  -- with random strategy 598μs  -- with Rc style + full lookahead 216μs  -- with Rc style + partial lookahead 214μs  -- with R/C style 253μs  -- with CR style 492μs  -- with Cr style 494μs ToddCoxeter 011: right cong. trans. semigroup . . .  -- with HLT + no standardise + full lookahead + no save 190μs  -- with HLT + standardise + full lookahead + no save 190μs  -- with HLT + no standardise + partial lookahead + no save 181μs  -- with HLT + standardise + partial lookahead + no save 189μs  -- with HLT + no standardise + full lookahead + save 501μs  -- with HLT + standardise + full lookahead + save 512μs  -- with HLT + no standardise + partial lookahead + save 499μs  -- with HLT + standardise + partial lookahead + save 506μs  -- with Felsch + no standardisation 379μs  -- with Felsch + standardisation 407μs  -- with random strategy 242μs  -- with Rc style + full lookahead 220μs  -- with Rc style + partial lookahead 221μs  -- with R/C style 261μs  -- with CR style 418μs  -- with Cr style 419μs ToddCoxeter 012: trans. semigroup (size 88) . . .  -- with HLT + no standardise + full lookahead + no save 118μs  -- with HLT + standardise + full lookahead + no save 109μs  -- with HLT + no standardise + partial lookahead + no save 105μs  -- with HLT + standardise + partial lookahead + no save 110μs  -- with HLT + save (throws) 111μs  -- with Felsch (throws) 120μs  -- with random strategy 120μs ToddCoxeter 013: left cong. on trans. semigroup (size 88) . . .  -- with HLT + no standardise + full lookahead + no save 159μs  -- with HLT + standardise + full lookahead + no save 163μs  -- with HLT + no standardise + partial lookahead + no save 151μs  -- with HLT + standardise + partial lookahead + no save 161μs  -- with HLT + no standardise + full lookahead + save 506μs  -- with HLT + standardise + full lookahead + save 530μs  -- with HLT + no standardise + partial lookahead + save 505μs  -- with HLT + standardise + partial lookahead + save 519μs  -- with Felsch + no standardisation 430μs  -- with Felsch + standardisation 417μs  -- with random strategy 214μs  -- with Rc style + full lookahead 192μs  -- with Rc style + partial lookahead 190μs  -- with R/C style 229μs  -- with CR style 467μs  -- with Cr style 468μs ToddCoxeter 014: right cong. on trans. semigroup (size 88) . . .  -- with HLT + no standardise + full lookahead + no save 163μs  -- with HLT + standardise + full lookahead + no save 167μs  -- with HLT + no standardise + partial lookahead + no save 156μs  -- with HLT + standardise + partial lookahead + no save 164μs  -- with HLT + no standardise + full lookahead + save 478μs  -- with HLT + standardise + full lookahead + save 487μs  -- with HLT + no standardise + partial lookahead + save 473μs  -- with HLT + standardise + partial lookahead + save 479μs  -- with Felsch + no standardisation 357μs  -- with Felsch + standardisation 379μs  -- with random strategy 223μs  -- with Rc style + full lookahead 200μs  -- with Rc style + partial lookahead 200μs  -- with R/C style 238μs  -- with CR style 397μs  -- with Cr style 396μs ToddCoxeter 015: finite fp-semigroup, dihedral group of order 6 . . .  -- with HLT + no standardise + full lookahead + no save 51μs  -- with HLT + standardise + full lookahead + no save 47μs  -- with HLT + no standardise + partial lookahead + no save 42μs  -- with HLT + standardise + partial lookahead + no save 45μs  -- with HLT + no standardise + full lookahead + save 58μs  -- with HLT + standardise + full lookahead + save 56μs  -- with HLT + no standardise + partial lookahead + save 55μs  -- with HLT + standardise + partial lookahead + save 55μs  -- with Felsch + no standardisation 49μs  -- with Felsch + standardisation 47μs  -- with random strategy 53μs  -- with Rc style + full lookahead 45μs  -- with Rc style + partial lookahead 45μs  -- with R/C style 46μs  -- with CR style 49μs  -- with Cr style 49μs ToddCoxeter 016: finite fp-semigroup, size 16 . . .  -- with HLT + no standardise + full lookahead + no save 49μs  -- with HLT + standardise + full lookahead + no save 47μs  -- with HLT + no standardise + partial lookahead + no save 46μs  -- with HLT + standardise + partial lookahead + no save 45μs  -- with HLT + no standardise + full lookahead + save 106μs  -- with HLT + standardise + full lookahead + save 255μs  -- with HLT + no standardise + partial lookahead + save 103μs  -- with HLT + standardise + partial lookahead + save 106μs  -- with Felsch + no standardisation 92μs  -- with Felsch + standardisation 89μs  -- with random strategy 102μs  -- with Rc style + full lookahead 48μs  -- with Rc style + partial lookahead 48μs  -- with R/C style 54μs  -- with CR style 95μs  -- with Cr style 96μs ToddCoxeter 017: finite fp-semigroup, size 16 . . .  -- with HLT + no standardise + full lookahead + no save 119μs  -- with HLT + standardise + full lookahead + no save 114μs  -- with HLT + no standardise + partial lookahead + no save 108μs  -- with HLT + standardise + partial lookahead + no save 115μs  -- with HLT + no standardise + full lookahead + save 275μs  -- with HLT + standardise + full lookahead + save 276μs  -- with HLT + no standardise + partial lookahead + save 268μs  -- with HLT + standardise + partial lookahead + save 271μs  -- with Felsch + no standardisation 245μs  -- with Felsch + standardisation 240μs  -- with random strategy 273μs  -- with Rc style + full lookahead 118μs  -- with Rc style + partial lookahead 118μs  -- with R/C style 129μs  -- with CR style 255μs  -- with Cr style 253μs ToddCoxeter 018: test lookahead . . .  -- with HLT + no standardise + full lookahead + no save 320μs  -- with HLT + standardise + full lookahead + no save 347μs  -- with HLT + no standardise + partial lookahead + no save 295μs  -- with HLT + standardise + partial lookahead + no save 308μs  -- with HLT + no standardise + full lookahead + save 496μs  -- with HLT + standardise + full lookahead + save 496μs  -- with HLT + no standardise + partial lookahead + save 485μs  -- with HLT + standardise + partial lookahead + save 501μs ToddCoxeter 019: non-trivial left cong. from semigroup . . .  -- with HLT + no standardise + full lookahead + no save 102μs  -- with HLT + standardise + full lookahead + no save 99μs  -- with HLT + no standardise + partial lookahead + no save 89μs  -- with HLT + standardise + partial lookahead + no save 96μs  -- with HLT + save (throws) 98μs  -- with Felsch (throws) 93μs  -- with random strategy 115μs ToddCoxeter 020: 2-sided cong. on free semigroup . . .  -- with HLT + no standardise + full lookahead + no save 14μs  -- with HLT + standardise + full lookahead + no save 10μs  -- with HLT + no standardise + partial lookahead + no save 9000ns  -- with HLT + standardise + partial lookahead + no save 9000ns  -- with HLT + no standardise + full lookahead + save 9000ns  -- with HLT + standardise + full lookahead + save 9000ns  -- with HLT + no standardise + partial lookahead + save 9000ns  -- with HLT + standardise + partial lookahead + save 9000ns  -- with Felsch + no standardisation 9000ns  -- with Felsch + standardisation 9000ns  -- with random strategy 10μs ToddCoxeter 021: calling run when obviously infinite . . .  -- with HLT + no standardise + full lookahead + no save 33μs  -- with HLT + standardise + full lookahead + no save 19μs  -- with HLT + no standardise + partial lookahead + no save 19μs  -- with HLT + standardise + partial lookahead + no save 18μs  -- with HLT + no standardise + full lookahead + save 18μs  -- with HLT + standardise + full lookahead + save 19μs  -- with HLT + no standardise + partial lookahead + save 18μs  -- with HLT + standardise + partial lookahead + save 18μs  -- with Felsch + no standardisation 18μs  -- with Felsch + standardisation 18μs  -- with random strategy 18μs ToddCoxeter 022: stellar_monoid S3 . . .  -- with HLT + no standardise + full lookahead + no save 83μs  -- with HLT + standardise + full lookahead + no save 75μs  -- with HLT + no standardise + partial lookahead + no save 66μs  -- with HLT + standardise + partial lookahead + no save 71μs  -- with HLT + no standardise + full lookahead + save 163μs  -- with HLT + standardise + full lookahead + save 168μs  -- with HLT + no standardise + partial lookahead + save 159μs  -- with HLT + standardise + partial lookahead + save 163μs  -- with Felsch + no standardisation 136μs  -- with Felsch + standardisation 131μs  -- with random strategy 155μs  -- with Rc style + full lookahead 77μs  -- with Rc style + partial lookahead 75μs  -- with R/C style 82μs  -- with CR style 138μs  -- with Cr style 136μs ToddCoxeter 023: finite semigroup (size 5) . . .  -- with HLT + no standardise + full lookahead + no save 22μs  -- with HLT + standardise + full lookahead + no save 18μs  -- with HLT + no standardise + partial lookahead + no save 17μs  -- with HLT + standardise + partial lookahead + no save 17μs  -- with HLT + no standardise + full lookahead + save 21μs  -- with HLT + standardise + full lookahead + save 20μs  -- with HLT + no standardise + partial lookahead + save 19μs  -- with HLT + standardise + partial lookahead + save 19μs  -- with Felsch + no standardisation 19μs  -- with Felsch + standardisation 20μs  -- with random strategy 20μs  -- with Rc style + full lookahead 18μs  -- with Rc style + partial lookahead 18μs  -- with R/C style 19μs  -- with CR style 20μs  -- with Cr style 20μs ToddCoxeter 024: exceptions . . .  -- with HLT + no standardise + full lookahead + no save 102μs  -- with HLT + standardise + full lookahead + no save 89μs  -- with HLT + no standardise + partial lookahead + no save 87μs  -- with HLT + standardise + partial lookahead + no save 87μs  -- with HLT + no standardise + full lookahead + save 90μs  -- with HLT + standardise + full lookahead + save 89μs  -- with HLT + no standardise + partial lookahead + save 89μs  -- with HLT + standardise + partial lookahead + save 89μs  -- with Felsch + no standardisation 88μs  -- with Felsch + standardisation 88μs  -- with random strategy 90μs  -- with Rc style + full lookahead 89μs  -- with Rc style + partial lookahead 87μs  -- with R/C style 89μs  -- with CR style 89μs  -- with Cr style 89μs ToddCoxeter 025: obviously infinite . . .  -- with HLT + no standardise + full lookahead + no save 27μs  -- with HLT + standardise + full lookahead + no save 23μs  -- with HLT + no standardise + partial lookahead + no save 24μs  -- with HLT + standardise + partial lookahead + no save 23μs  -- with HLT + no standardise + full lookahead + save 23μs  -- with HLT + standardise + full lookahead + save 24μs  -- with HLT + no standardise + partial lookahead + save 25μs  -- with HLT + standardise + partial lookahead + save 25μs  -- with Felsch + no standardisation 24μs  -- with Felsch + standardisation 23μs  -- with random strategy 23μs ToddCoxeter 026: exceptions . . .  -- with HLT + no standardise + full lookahead + no save 64μs  -- with HLT + standardise + full lookahead + no save 50μs  -- with HLT + no standardise + partial lookahead + no save 49μs  -- with HLT + standardise + partial lookahead + no save 49μ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 51μs  -- with HLT + standardise + partial lookahead + save 50μs  -- with Felsch + no standardisation 51μs  -- with Felsch + standardisation 52μs  -- with random strategy 54μs  -- with Rc style + full lookahead 49μs  -- with Rc style + partial lookahead 49μs  -- with R/C style 50μs  -- with CR style 51μs  -- with Cr style 51μs ToddCoxeter 027: empty . . . 31μs ToddCoxeter 028: congruence of fpsemigroup::ToddCoxeter . . .  -- with HLT + no standardise + full lookahead + no save 96μs  -- with HLT + standardise + full lookahead + no save 66μs  -- with HLT + no standardise + partial lookahead + no save 64μs  -- with HLT + standardise + partial lookahead + no save 63μs  -- with HLT + save (throws) 66μs  -- with Felsch (throws) 68μs  -- with random strategy 68μs  -- with HLT + no standardise + full lookahead + save 64μs  -- with HLT + standardise + full lookahead + save 64μs  -- with HLT + no standardise + partial lookahead + save 64μs  -- with HLT + standardise + partial lookahead + save 64μs  -- with Felsch + no standardisation 64μs  -- with Felsch + standardisation 64μs  -- with Rc style + full lookahead 63μs  -- with Rc style + partial lookahead 63μs  -- with R/C style 63μs  -- with CR style 67μs  -- with Cr style 64μs ToddCoxeter 029: !KnuthBendix.started() . . .  -- with HLT + no standardise + full lookahead + no save and 2-sided 61μs  -- with HLT + standardise + full lookahead + no save and 2-sided 32μs  -- with HLT + no standardise + partial lookahead + no save and 2-sided 31μs  -- with HLT + standardise + partial lookahead + no save and 2-sided 30μs  -- with HLT + no standardise + full lookahead + save and 2-sided 34μs  -- with HLT + standardise + full lookahead + save and 2-sided 33μs  -- with HLT + no standardise + partial lookahead + save and 2-sided 31μs  -- with HLT + standardise + partial lookahead + save and 2-sided 32μs  -- with Felsch + no standardisation and 2-sided 32μs  -- with Felsch + standardisation and 2-sided 30μs  -- with random strategy and 2-sided 33μs  -- with HLT + no standardise + full lookahead + no save and left 34μs  -- with HLT + standardise + full lookahead + no save and left 29μs  -- with HLT + no standardise + partial lookahead + no save and left 29μs  -- with HLT + standardise + partial lookahead + no save and left 29μs  -- with HLT + no standardise + full lookahead + save and left 35μs  -- with HLT + standardise + full lookahead + save and left 34μs  -- with HLT + no standardise + partial lookahead + save and left 34μs  -- with HLT + standardise + partial lookahead + save and left 35μs  -- with Felsch + no standardisation and left 33μs  -- with Felsch + standardisation and left 33μs  -- with random strategy and left 31μs  -- with HLT + no standardise + full lookahead + no save and right 31μs  -- with HLT + standardise + full lookahead + no save and right 29μs  -- with HLT + no standardise + partial lookahead + no save and right 29μs  -- with HLT + standardise + partial lookahead + no save and right 28μs  -- with HLT + no standardise + full lookahead + save and right 34μs  -- with HLT + standardise + full lookahead + save and right 33μs  -- with HLT + no standardise + partial lookahead + save and right 33μs  -- with HLT + standardise + partial lookahead + save and right 34μs  -- with Felsch + no standardisation and right 34μs  -- with Felsch + standardisation and right 33μs  -- with random strategy and right 36μs ToddCoxeter 030: KnuthBendix.finished() . . .  -- with HLT + no standardise + full lookahead + no save and 2-sided 112μs  -- with HLT + standardise + full lookahead + no save and 2-sided 79μs  -- with HLT + no standardise + partial lookahead + no save and 2-sided 75μs  -- with HLT + standardise + partial lookahead + no save and 2-sided 74μs  -- with HLT + no standardise + full lookahead + save and 2-sided 77μs  -- with HLT + standardise + full lookahead + save and 2-sided 76μs  -- with HLT + no standardise + partial lookahead + save and 2-sided 76μs  -- with HLT + standardise + partial lookahead + save and 2-sided 76μs  -- with Felsch + no standardisation and 2-sided 72μs  -- with Felsch + standardisation and 2-sided 192μs  -- with random strategy and 2-sided 78μs  -- with HLT + no standardise + full lookahead + no save and left 79μs  -- with HLT + standardise + full lookahead + no save and left 79μs  -- with HLT + no standardise + partial lookahead + no save and left 76μs  -- with HLT + standardise + partial lookahead + no save and left 75μs  -- with HLT + no standardise + full lookahead + save and left 81μs  -- with HLT + standardise + full lookahead + save and left 80μs  -- with HLT + no standardise + partial lookahead + save and left 79μs  -- with HLT + standardise + partial lookahead + save and left 80μs  -- with Felsch + no standardisation and left 79μs  -- with Felsch + standardisation and left 78μs  -- with random strategy and left 82μs  -- with HLT + no standardise + full lookahead + no save and right 85μs  -- with HLT + standardise + full lookahead + no save and right 95μs  -- with HLT + no standardise + partial lookahead + no save and right 95μs  -- with HLT + standardise + partial lookahead + no save and right 95μs  -- with HLT + no standardise + full lookahead + save and right 102μs  -- with HLT + standardise + full lookahead + save and right 101μs  -- with HLT + no standardise + partial lookahead + save and right 102μs  -- with HLT + standardise + partial lookahead + save and right 103μs  -- with Felsch + no standardisation and right 96μs  -- with Felsch + standardisation and right 93μs  -- with random strategy and right 108μs ToddCoxeter 031: KnuthBendix.finished() . . .  -- with HLT + no standardise + full lookahead + no save and 2-sided 64μs  -- with HLT + standardise + full lookahead + no save and 2-sided 49μs  -- with HLT + no standardise + partial lookahead + no save and 2-sided 47μs  -- with HLT + standardise + partial lookahead + no save and 2-sided 46μs  -- with HLT + no standardise + full lookahead + save and 2-sided 49μs  -- with HLT + standardise + full lookahead + save and 2-sided 49μs  -- with HLT + no standardise + partial lookahead + save and 2-sided 48μs  -- with HLT + standardise + partial lookahead + save and 2-sided 48μs  -- with Felsch + no standardisation and 2-sided 45μs  -- with Felsch + standardisation and 2-sided 44μs  -- with random strategy and 2-sided 49μs  -- with Rc style + full lookahead and 2-sided 48μs  -- with Rc style + partial lookahead and 2-sided 49μs  -- with R/C style and 2-sided 50μs  -- with CR style and 2-sided 48μs  -- with Cr style and 2-sided 49μs  -- with HLT + no standardise + full lookahead + no save and left 51μs  -- with HLT + standardise + full lookahead + no save and left 47μs  -- with HLT + no standardise + partial lookahead + no save and left 100μs  -- with HLT + standardise + partial lookahead + no save and left 48μs  -- with HLT + no standardise + full lookahead + save and left 53μs  -- with HLT + standardise + full lookahead + save and left 51μs  -- with HLT + no standardise + partial lookahead + save and left 51μs  -- with HLT + standardise + partial lookahead + save and left 51μs  -- with Felsch + no standardisation and left 50μs  -- with Felsch + standardisation and left 49μs  -- with random strategy and left 55μs  -- with Rc style + full lookahead and left 50μs  -- with Rc style + partial lookahead and left 49μs  -- with R/C style and left 47μs  -- with CR style and left 52μs  -- with Cr style and left 54μs  -- with HLT + no standardise + full lookahead + no save and right 51μs  -- with HLT + standardise + full lookahead + no save and right 48μs  -- with HLT + no standardise + partial lookahead + no save and right 47μs  -- with HLT + standardise + partial lookahead + no save and right 47μs  -- with HLT + no standardise + full lookahead + save and right 51μs  -- with HLT + standardise + full lookahead + save and right 51μs  -- with HLT + no standardise + partial lookahead + save and right 51μs  -- with HLT + standardise + partial lookahead + save and right 51μs  -- with Felsch + no standardisation and right 50μs  -- with Felsch + standardisation and right 50μs  -- with random strategy and right 55μs  -- with Rc style + full lookahead and right 50μs  -- with Rc style + partial lookahead and right 50μs  -- with R/C style and right 48μs  -- with CR style and right 52μs  -- with Cr style and right 53μs ToddCoxeter 032: prefill . . . 87μs ToddCoxeter 033: congruence of ToddCoxeter . . .  -- with HLT + no standardise + full lookahead + no save 28μs  -- with HLT + standardise + full lookahead + no save 24μ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 25μs  -- with HLT + standardise + full lookahead + save 24μs  -- with HLT + no standardise + partial lookahead + save 24μs  -- with HLT + standardise + partial lookahead + save 24μs  -- with random strategy 26μs ToddCoxeter 034: congruence of ToddCoxeter . . .  -- with HLT + no standardise + full lookahead + no save 84μs  -- with HLT + standardise + full lookahead + no save 75μs  -- with HLT + no standardise + partial lookahead + no save 74μs  -- with HLT + standardise + partial lookahead + no save 74μs  -- with HLT + save (throws) 78μs  -- with Felsch (throws) 77μs  -- with random strategy 78μs ToddCoxeter 035: congruence on FpSemigroup . . .  -- with HLT + no standardise + full lookahead + no save 215μs  -- with HLT + standardise + full lookahead + no save 181μs  -- with HLT + no standardise + partial lookahead + no save 175μs  -- with HLT + standardise + partial lookahead + no save 174μs  -- with HLT + no standardise + full lookahead + save 195μs  -- with HLT + standardise + full lookahead + save 196μs  -- with HLT + no standardise + partial lookahead + save 193μs  -- with HLT + standardise + partial lookahead + save 195μs  -- with Felsch + no standardisation 193μs  -- with Felsch + standardisation 189μs  -- with random strategy 202μs  -- with Rc style + full lookahead 178μs  -- with Rc style + partial lookahead 174μs  -- with R/C style 173μs  -- with CR style 193μs  -- with Cr style 194μs ToddCoxeter 036: exceptions . . . 57μs ToddCoxeter 037: copy constructor . . . 19μs ToddCoxeter 038: simplify . . . 101μs ToddCoxeter 039: stylic_monoid . . . 612ms ToddCoxeter 041: some finite classes . . . 474μs ToddCoxeter 043: symmetric_group(7, Coxeter + Moser) . . . 132ms ToddCoxeter 044: Option exceptions . . . 42μs ToddCoxeter 045: Options operator<< . . . 403μs ToddCoxeter 046: Easdown-East-FitzGerald DualSymInv(5) . . .  -- with HLT + no standardise + full lookahead + no save 130ms  -- with HLT + standardise + full lookahead + no save 143ms  -- with HLT + no standardise + partial lookahead + no save 129ms  -- with HLT + standardise + partial lookahead + no save 143ms  -- with HLT + no standardise + full lookahead + save 131ms  -- with HLT + standardise + full lookahead + save 131ms  -- with HLT + no standardise + partial lookahead + save 132ms  -- with HLT + standardise + partial lookahead + save 131ms  -- with Felsch + no standardisation 139ms  -- with Felsch + standardisation 138ms  -- with random strategy 138ms  -- with R/C style 140ms  -- with Rc style + full lookahead 145ms  -- with Rc style + partial lookahead 146ms ToddCoxeter 047: uniform_block_bijection_monoid(3) (FitzGerald) . . .  -- with HLT + no standardise + full lookahead + no save 82μs  -- with HLT + standardise + full lookahead + no save 72μs  -- with HLT + no standardise + partial lookahead + no save 63μs  -- with HLT + standardise + partial lookahead + no save 64μs  -- with HLT + no standardise + full lookahead + save 155μs  -- with HLT + standardise + full lookahead + save 153μs  -- with HLT + no standardise + partial lookahead + save 151μs  -- with HLT + standardise + partial lookahead + save 146μs  -- with Felsch + no standardisation 102μs  -- with Felsch + standardisation 101μs  -- with random strategy 112μs  -- with R/C style 73μs  -- with Rc style + full lookahead 66μs  -- with Rc style + partial lookahead 64μs ToddCoxeter 048: stellar_monoid(7) (Gay-Hivert) . . . 138ms ToddCoxeter 049: partition_monoid(4) (East) . . .  -- with HLT + no standardise + full lookahead + no save 24ms  -- with HLT + standardise + full lookahead + no save 25ms  -- with HLT + no standardise + partial lookahead + no save 24ms  -- with HLT + standardise + partial lookahead + no save 25ms  -- with HLT + no standardise + full lookahead + save 51ms  -- with HLT + standardise + full lookahead + save 52ms  -- with HLT + no standardise + partial lookahead + save 50ms  -- with HLT + standardise + partial lookahead + save 52ms  -- with Felsch + no standardisation 59ms  -- with Felsch + standardisation 59ms  -- with random strategy 62ms  -- with R/C style 30ms  -- with Rc style + full lookahead 64ms  -- with Rc style + partial lookahead 65ms ToddCoxeter 050: singular_brauer_monoid(6) (Maltcev + Mazorchuk) . . . 411ms ToddCoxeter 051: orientation_preserving_monoid(6) (Ruskuc + [...] . . .  -- with HLT + no standardise + full lookahead + no save 18ms ToddCoxeter 052: orientation_reversing_monoid(5) (Ruskuc + [...] . . .  -- with HLT + no standardise + full lookahead + no save 5024μs ToddCoxeter 053: temperley_lieb_monoid(10) (East) . . . 28ms ToddCoxeter 063: add_rule . . .  -- with HLT + no standardise + full lookahead + no save 64μs  -- with HLT + standardise + full lookahead + no save 42μs  -- with HLT + no standardise + partial lookahead + no save 39μ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 42μs  -- with HLT + no standardise + partial lookahead + save 42μs  -- with HLT + standardise + partial lookahead + save 43μs  -- with Felsch + no standardisation 42μs  -- with Felsch + standardisation 41μs  -- with random strategy 42μs  -- with Rc style + full lookahead 40μs  -- with Rc style + partial lookahead 40μs  -- with R/C style 42μs  -- with CR style 43μs  -- with Cr style 43μs  -- with R/C + Felsch lookahead 45μs  -- with HLT + Felsch lookahead + save 41μs  -- with Cr + small number of f_defs 44μs  -- with Rc + small number of deductions 40μs  -- with Felsch + v2 + no preferred defs 43μs  -- with Felsch + v2 + immediate no stack 43μs  -- with Felsch + v1 + immediate no stack 44μs  -- with Felsch + v1 + immediate yes stack 41μs  -- with large collapse 45μs ToddCoxeter 064: (from kbmag/standalone/kb_data/s4) (KnuthB [...] . . .  -- with HLT + no standardise + full lookahead + no save 233μs ToddCoxeter 066: test validate . . . 62μs ToddCoxeter 067: add_rules after construct. from semigroup . . .  -- with HLT + no standardise + full lookahead + no save 259μs  -- with HLT + standardise + full lookahead + no save 226μs  -- with HLT + no standardise + partial lookahead + no save 223μs  -- with HLT + standardise + partial lookahead + no save 222μs  -- with HLT + save (throws) 230μs  -- with Felsch (throws) 230μs  -- with random strategy 230μs ToddCoxeter 068: Sym(5) from Chapter 3, Proposition 1.1 in NR . . .  -- with Deduction policy == purge_from_top 636μs  -- with Deduction policy == purge_all 599μs  -- with Deduction policy == discard_all_if_no_space 602μs  -- with HLT + no standardise + full lookahead + no save 608μs  -- with HLT + standardise + full lookahead + no save 841μs  -- with HLT + no standardise + partial lookahead + no save 607μs  -- with HLT + standardise + partial lookahead + no save 837μs  -- with HLT + no standardise + full lookahead + save 1018μs  -- with HLT + standardise + full lookahead + save 1034μs  -- with HLT + no standardise + partial lookahead + save 1013μs  -- with HLT + standardise + partial lookahead + save 1025μs  -- with Felsch + no standardisation 643μs  -- with Felsch + standardisation 642μs  -- with random strategy 699μs  -- with Rc style + full lookahead 1320μs  -- with Rc style + partial lookahead 1314μs  -- with R/C style 715μs  -- with CR style 680μs  -- with Cr style 702μs ToddCoxeter 069: Chapter 7, Theorem 3.6 in NR (size 243) . . .  -- with HLT + no standardise + full lookahead + no save 387μs  -- with HLT + standardise + full lookahead + no save 411μs  -- with HLT + no standardise + partial lookahead + no save 374μs  -- with HLT + standardise + partial lookahead + no save 409μs  -- with HLT + no standardise + full lookahead + save 470μs  -- with HLT + standardise + full lookahead + save 503μs  -- with HLT + no standardise + partial lookahead + save 460μs  -- with HLT + standardise + partial lookahead + save 492μs  -- with Felsch + no standardisation 2373μs  -- with Felsch + standardisation 2381μs  -- with random strategy 569μs  -- with Rc style + full lookahead 400μs  -- with Rc style + partial lookahead 396μs  -- with R/C style 457μs  -- with CR style 2459μs  -- with Cr style 2485μs ToddCoxeter 070: finite semigroup (size 99) . . .  -- with HLT + no standardise + full lookahead + no save 159μs  -- with HLT + standardise + full lookahead + no save 165μs  -- with HLT + no standardise + partial lookahead + no save 156μs  -- with HLT + standardise + partial lookahead + no save 167μs  -- with HLT + no standardise + full lookahead + save 198μs  -- with HLT + standardise + full lookahead + save 203μs  -- with HLT + no standardise + partial lookahead + save 187μs  -- with HLT + standardise + partial lookahead + save 202μs  -- with Felsch + no standardisation 433μs  -- with Felsch + standardisation 447μs  -- with random strategy 517μs  -- with Rc style + full lookahead 175μs  -- with Rc style + partial lookahead 173μs  -- with R/C style 173μs  -- with CR style 446μs  -- with Cr style 443μs ToddCoxeter 080: KnuthBendix 098 . . .  -- with HLT + no standardise + full lookahead + no save 521ms  -- with HLT + standardise + full lookahead + no save 574ms  -- with HLT + no standardise + partial lookahead + no save 519ms  -- with HLT + standardise + partial lookahead + no save 565ms  -- with HLT + no standardise + full lookahead + save 347ms  -- with HLT + standardise + full lookahead + save 348ms  -- with HLT + no standardise + partial lookahead + save 347ms  -- with HLT + standardise + partial lookahead + save 348ms  -- with Felsch + no standardisation 337ms  -- with Felsch + standardisation 332ms  -- with random strategy 349ms  -- with Rc style + full lookahead 331ms  -- with Rc style + partial lookahead 330ms  -- with R/C style 525ms  -- with CR style 336ms  -- with Cr style 332ms ToddCoxeter 084: Campbell-Reza 1 . . .  -- with HLT + no standardise + full lookahead + no save 123μs  -- with HLT + standardise + full lookahead + no save 64μs  -- with HLT + no standardise + partial lookahead + no save 57μs  -- with HLT + standardise + partial lookahead + no save 59μs  -- with HLT + no standardise + full lookahead + save 74μs  -- with HLT + standardise + full lookahead + save 67μs  -- with HLT + no standardise + partial lookahead + save 66μs  -- with HLT + standardise + partial lookahead + save 68μs  -- with Felsch + no standardisation 72μs  -- with Felsch + standardisation 70μs  -- with random strategy 63μs  -- with Rc style + full lookahead 60μs  -- with Rc style + partial lookahead 58μs  -- with R/C style 62μs  -- with CR style 72μs  -- with Cr style 71μs ToddCoxeter 085: Renner monoid type D4 (Gay-Hivert), q = 1 . . .  -- with HLT + no standardise + full lookahead + no save 127ms  -- with HLT + standardise + full lookahead + no save 92ms  -- with HLT + no standardise + partial lookahead + no save 91ms  -- with HLT + standardise + partial lookahead + no save 91ms  -- with HLT + no standardise + full lookahead + save 91ms  -- with HLT + standardise + full lookahead + save 91ms  -- with HLT + no standardise + partial lookahead + save 91ms  -- with HLT + standardise + partial lookahead + save 91ms  -- with Felsch + no standardisation 91ms  -- with Felsch + standardisation 91ms  -- with random strategy 92ms  -- with Rc style + full lookahead 91ms  -- with Rc style + partial lookahead 92ms  -- with R/C style 92ms  -- with CR style 93ms  -- with Cr style 91ms ToddCoxeter 086: trivial semigroup . . . 198ms ToddCoxeter 092: ACE --- perf602p5 - HLT . . .  -- with HLT + no standardise + full lookahead + no save 25ms  -- with HLT + standardise + full lookahead + no save 25ms  -- with HLT + no standardise + partial lookahead + no save 24ms  -- with HLT + standardise + partial lookahead + no save 25ms  -- with HLT + no standardise + full lookahead + save 13ms  -- with HLT + standardise + full lookahead + save 13ms  -- with HLT + no standardise + partial lookahead + save 13ms  -- with HLT + standardise + partial lookahead + save 13ms  -- with random strategy 25ms  -- with Felsch + no standardisation 10ms  -- with Felsch + standardisation 10ms ToddCoxeter 094: ACE --- C5 - HLT . . .  -- with HLT + no standardise + full lookahead + no save 52μs  -- with HLT + standardise + full lookahead + no save 44μs  -- with HLT + no standardise + partial lookahead + no save 43μs  -- with HLT + standardise + partial lookahead + no save 41μs  -- with HLT + no standardise + full lookahead + save 58μs  -- with HLT + standardise + full lookahead + save 57μs  -- with HLT + no standardise + partial lookahead + save 54μs  -- with HLT + standardise + partial lookahead + save 54μs  -- with random strategy 49μs  -- with Felsch + no standardisation 52μs  -- with Felsch + standardisation 74μs ToddCoxeter 095: ACE --- A5-C5 . . .  -- with HLT + no standardise + full lookahead + no save 64μs  -- with HLT + standardise + full lookahead + no save 79μs  -- with HLT + no standardise + partial lookahead + no save 59μs  -- with HLT + standardise + partial lookahead + no save 75μs  -- with HLT + no standardise + full lookahead + save 95μs  -- with HLT + standardise + full lookahead + save 92μs  -- with HLT + no standardise + partial lookahead + save 90μs  -- with HLT + standardise + partial lookahead + save 92μs  -- with random strategy 69μs  -- with Felsch + no standardisation 78μs  -- with Felsch + standardisation 76μs ToddCoxeter 096: ACE --- A5 . . .  -- with HLT + no standardise + full lookahead + no save 190μs  -- with HLT + standardise + full lookahead + no save 186μs  -- with HLT + no standardise + partial lookahead + no save 143μs  -- with HLT + standardise + partial lookahead + no save 182μs  -- with HLT + no standardise + full lookahead + save 284μs  -- with HLT + standardise + full lookahead + save 290μs  -- with HLT + no standardise + partial lookahead + save 274μs  -- with HLT + standardise + partial lookahead + save 294μs  -- with random strategy 313μs  -- with Felsch + no standardisation 198μs  -- with Felsch + standardisation 199μs ToddCoxeter 098: relation ordering . . .  -- with Felsch + no standardisation 406μs  -- with Felsch + standardisation 382μs  -- with HLT + no standardise + full lookahead + no save 185μs  -- with HLT + standardise + full lookahead + no save 184μs  -- with HLT + no standardise + partial lookahead + no save 185μs  -- with HLT + standardise + partial lookahead + no save 186μs  -- with HLT + no standardise + full lookahead + save 400μs  -- with HLT + standardise + full lookahead + save 399μs  -- with HLT + no standardise + partial lookahead + save 397μs  -- with HLT + standardise + partial lookahead + save 403μs  -- with random strategy 220μs ToddCoxeter 099: short circuit size in obviously infinite . . . 7000ns ToddCoxeter 101: http://brauer.maths.qmul.ac.uk/Atlas/spor/M [...] . . . 350ms ToddCoxeter 108: http://brauer.maths.qmul.ac.uk/Atlas/lin/L3 [...] . . . 312ms ToddCoxeter 110: to_gap_string . . . 92μs ToddCoxeter 111: partition_monoid(2) . . . 59μs ToddCoxeter 112: brauer_monoid(4) (Kudryavtseva + Mazorchuk) . . . 284μs ToddCoxeter 113: symmetric_inverse_monoid . . . 13ms ToddCoxeter 116: symmetric_group(7, Burnside + Miller) . . . 299ms UF 001: constructor by size . . . 8000ns UF 002: copy constructor . . . 15μs UF 003: find . . . 12μs Ukkonen 000: basic tests . . . 41ms Ukkonen 001: maximal_piece_prefix 1 . . . 21μs Ukkonen 002: maximal_piece_prefix 2 . . . 27μs Ukkonen 003: maximal_piece_prefix 3 . . . 158μs Ukkonen 004: number_of_pieces . . . 53μs Ukkonen 005: traverse . . . 13μs Ukkonen 006: dot . . . 142μs Ukkonen 007: strings . . . 38μs Ukkonen 008: dfs #01 . . . 23μs Ukkonen 009: dfs #02 . . . 19μs Ukkonen 010: dfs #03 . . . 18μs Ukkonen 011: dfs #04 . . . 52μs Ukkonen 012: dfs #05 . . . 32μs Ukkonen 013: dfs #06 . . . 31μs Ukkonen 014: dfs #07 . . . 64μs Ukkonen 015: dfs #08 . . . 45μs Ukkonen 016: dfs #09 . . . 62μs Ukkonen 017: dfs #10 . . . 17μs Ukkonen 018: pieces . . . 24μs Ukkonen 019: code coverage . . . 30μs Ukkonen 020: code coverage . . . 3000ns action_digraph_helper 015: detail::to_string . . . 19μs action_digraph_helper 016: make . . . 32μs action_digraph_helper 017: is_connected . . . 119μs action_digraph_helper 018: is_strictly_cyclic . . . 7608μs follow_path 012: 20 node path . . . 13μs fpsemi-examples 002: full_transformation_monoid author except . . . 24μs fpsemi-examples 003: full_transformation_monoid degree except . . . 13μs fpsemi-examples 005: partial_transformation_monoid author except . . . 19μs fpsemi-examples 006: partial_transformation_monoid degree except . . . 13μs fpsemi-examples 007: symmetric_inverse_monoid(5) . . . 13ms fpsemi-examples 008: symmetric_group auth except . . . 16μs fpsemi-examples 009: symmetric_group degree except . . . 12μs fpsemi-examples 010: symmetric_group(6) Burnside + Miller . . . 19ms fpsemi-examples 011: dual_symmetric_inverse_monoid(5) . . . 129ms fpsemi-examples 012: dual_symmetric_inverse_monoid auth except . . . 20μs fpsemi-examples 013: dual_symmetric_inverse_monoid degree except . . . 13μs fpsemi-examples 014: uniform_block_bijection_monoid(5) . . . 10ms fpsemi-examples 015: uniform_block_bijection_monoid auth except . . . 13μs fpsemi-examples 016: uniform_block_bijection_monoid degree except . . . 10μs fpsemi-examples 019: partition_monoid auth except . . . 64μs fpsemi-examples 020: partition_monoid degree except . . . 59μs fpsemi-examples 022: monogenic_semigroup(4, 9) . . . 18μs fpsemi-examples 023: fibonacci_semigroup(2, 5) . . . 57μs fpsemi-examples 024: temperley_lieb_monoid(10) . . . 32ms fpsemi-examples 025: singular_brauer_monoid(6) . . . 304ms fpsemi-examples 026: orientation_preserving_monoid(6) . . . 18ms fpsemi-examples 027: orientation_reversing_monoid(5) . . . 4896μs fpsemi-examples 028: chinese_monoid(3) . . . 121μs fpsemi-examples 029: plactic_monoid(3) . . . 77μs fpsemi-examples 030: stylic_monoid(3) . . . 880μs fpsemi-examples 031: symmetric_group(6) Carmichael . . . 11ms fpsemi-examples 032: symmetric_group(6) Moore index 0 . . . 7707μs fpsemi-examples 033: symmetric_group(6) Coxeter + Moser . . . 5108μs fpsemi-examples 034: test for the rook monoid . . . 198μs fpsemi-examples 035: alternating_group(7) Moore . . . 20ms fpsemi-examples 036: alternating_group auth except . . . 20μs fpsemi-examples 037: alternating_group degree except . . . 9000ns fpsemi-examples 038: partial_transformation_monoid(3) Machine . . . 211μs fpsemi-examples 039: chinese_monoid degree except . . . 15μs fpsemi-examples 040: monogenic_semigroup degree except . . . 17μs fpsemi-examples 041: rectangular_band degree except . . . 28μs fpsemi-examples 042: stellar_monoid degree except . . . 14μs fpsemi-examples 043: plactic_monoid degree except . . . 13μs fpsemi-examples 044: stylic_monoid degree except . . . 14μs fpsemi-examples 045: temperley_lieb_monoid degree except . . . 19μs fpsemi-examples 046: singular_brauer_monoid degree except . . . 20μs fpsemi-examples 047: orientation_preserving_monoid degree except . . . 23μs fpsemi-examples 048: orientation_reversing_monoid degree except . . . 24μs fpsemi-examples 049: test default values . . . 2363μs fpsemi-examples 052: not_symmetric_group(5) Guralnick + Kant [...] . . . 2549μs fpsemi-examples 053: order_preserving_monoid(5) . . . 519μs fpsemi-examples 055: order_preserving_monoid degree except . . . 23μs fpsemi-examples 056: cyclic_inverse_monoid(4) Fernandes 1 . . . 170μs fpsemi-examples 057: cyclic_inverse_monoid(8) Fernandes index 1 . . . 13ms fpsemi-examples 058: cyclic_inverse_monoid Fernandes index 0 . . . 19ms fpsemi-examples 059: order_preserving_cyclic_inverse_monoid(4) . . . 104μs fpsemi-examples 060: order_preserving_cyclic_inverse_monoid(10) . . . 22ms fpsemi-examples 061: cyclic_inverse_monoid degree except . . . 50μs fpsemi-examples 062: cyclic_inverse_monoid author except . . . 18μs fpsemi-examples 063: order_preserving_monoid degree except . . . 20μs fpsemi-examples 064: symmetric_group index except . . . 20μs fpsemi-examples 065: symmetric_group(7) Moore index 1 . . . 4906μs fpsemi-examples 066: order_preserving_cyclic_inverse_monoid(10) . . . 22ms fpsemi-examples 067: partial_isometries_cycle_graph_monoid(5) . . . 513μs fpsemi-examples 068: partial_isometries_cycle_graph_monoid(10) . . . 185ms fpsemi-examples 069: partial_isometries_cycle_graph_monoid d [...] . . . 34μs fpsemi-examples 070: partial_isometries_cycle_graph_monoid(4) . . . 193μs freeband_equal_to 001: . . . 545μs is_acyclic 000: 2-cycle . . . 6000ns is_acyclic 001: 1-cycle . . . 4000ns is_acyclic 002: multi-digraph . . . 6000ns is_acyclic 003: complete digraph 100 . . . 72μs is_acyclic 004: acyclic digraph with 20000 nodes . . . 1573μs is_acyclic 006: for a node . . . 632μs is_acyclic 007: for a node . . . 8000ns is_reachable 008: acyclic 20 node digraph . . . 26μs is_reachable 009: 100 node path . . . 6736μs is_reachable 010: 100 node cycle . . . 6844μs is_reachable 011: 20 node clique . . . 312μs last_node_on_path_nc 014: 20 node path . . . 7000ns make 000: from FroidurePin . . . 335μs make 001: from FroidurePin and alphabet . . . 393μs make 002: presentation from presentation . . . 128μs make 003: presentation from presentation and alphabet . . . 25μs make 004: argument checks issue . . . 64μs make 005: use human readable alphabet for make . . . 8000ns make> 000: from ActionDigraph . . . 907μs make> 001: from ActionDigraph (exceptions) . . . 25μs number_of_words 001: . . . 7000ns operator"" _w 003: literal . . . 6000ns silo 000: alphabet: a, min: 0, max: 10 . . . 32μs silo 001: corner cases . . . 14μs silo 002: alphabet: ab, min: 1, max: 4 . . . 31μs silo 003: alphabet: abc, min: 0, max: 13 . . . 61ms silo 004: code coverage . . . 12μs sislo 005: alphabet: a, min: 0, max: 10 . . . 19μs sislo 006: corner cases . . . 40μs sislo 007: alphabet: ab, min: 1, max: 4 . . . 42μs sislo 008: alphabet: abc, min: 0, max: 13 . . . 51ms sislo 009: code coverage . . . 12μs string 000: detail::is_suffix . . . 6000ns string 001: detail::is_prefix . . . 6000ns string 002: detail::maximum_common_suffix . . . 4000ns string 003: detail::group_digits . . . 13μs string_to_word 002: . . . 5000ns validate_label 013: 20 node path . . . 17μs wilo 001: corner cases . . . 26μs wilo 002: letters: 2, min: 1, max: 4 . . . 19μs wilo 003: letters: 2, min: 1, max: 4 . . . 31μs wilo 004: letters: 3, min: 0, max: 10 . . . 12ms wilo 005: letters: 3, min: 0, max: 13 . . . 132ms wilo 006: forward iterator requirements . . . 119ms wilo 007: more corner cases . . . 26μs wilo 008: starting at a given word 1 . . . 86μs wilo 009: starting at a given word 2 . . . 9000ns wilo 010: code coverage . . . 11μs wislo 000: n: 2, min; 1, max: 4 . . . 16μs wislo 001: corner cases . . . 21μs wislo 002: n: 3, min; 0, max: 10 . . . 3341μs wislo 003: n: 3, min; 0, max: 13 . . . 105ms wislo 004: lex + sort . . . 624ms wislo 005: code coverage . . . 17μs =============================================================================== All tests passed (1290346 assertions in 1191 test cases) >>> libsemigroups: Entering fakeroot... make[1]: Entering directory '/home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.3' ./config/install-sh -c -d '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib' ./config/install-sh -c -d '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups/backward-cpp' libfakeroot internal error: payload not recognized! /bin/sh ./libtool --mode=install /usr/bin/install -c libsemigroups.la '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib' /usr/bin/install -c -m 644 extern/backward-cpp/backward.hpp '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups/backward-cpp' libfakeroot internal error: payload not recognized! libfakeroot internal error: payload not recognized! ./config/install-sh -c -d '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/pkgconfig' libtool: install: /usr/bin/install -c .libs/libsemigroups.so.2.0.0 /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/libsemigroups.so.2.0.0 /usr/bin/install -c -m 644 libsemigroups.pc '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/pkgconfig' ./config/install-sh -c -d '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups' ./config/install-sh -c -d '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups/textflowcpp' 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/action.hpp include/libsemigroups/adapters.hpp include/libsemigroups/bipart.hpp include/libsemigroups/bitset.hpp include/libsemigroups/bmat8.hpp include/libsemigroups/bmat.hpp include/libsemigroups/bruidhinn-traits.hpp include/libsemigroups/config.hpp include/libsemigroups/cong-intf.hpp include/libsemigroups/cong-pair-impl.hpp include/libsemigroups/cong-pair.hpp include/libsemigroups/cong-wrap.hpp include/libsemigroups/cong.hpp include/libsemigroups/constants.hpp include/libsemigroups/containers.hpp include/libsemigroups/coset.hpp include/libsemigroups/debug.hpp include/libsemigroups/deprecated.hpp include/libsemigroups/digraph-helper.hpp include/libsemigroups/digraph-with-sources.hpp include/libsemigroups/digraph-with-sources.tpp include/libsemigroups/digraph.hpp include/libsemigroups/exception.hpp include/libsemigroups/fastest-bmat.hpp include/libsemigroups/felsch-tree.hpp include/libsemigroups/felsch-digraph.hpp include/libsemigroups/felsch-digraph.tpp include/libsemigroups/forest.hpp include/libsemigroups/fpsemi-examples.hpp include/libsemigroups/fpsemi-intf.hpp include/libsemigroups/fpsemi.hpp include/libsemigroups/freeband.hpp include/libsemigroups/froidure-pin-base.hpp include/libsemigroups/froidure-pin-impl.hpp include/libsemigroups/froidure-pin.hpp include/libsemigroups/function-ref.hpp include/libsemigroups/hpcombi.hpp include/libsemigroups/int-range.hpp include/libsemigroups/iterator.hpp include/libsemigroups/kambites.hpp '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups' libtool: install: /usr/bin/install -c .libs/libsemigroups.lai /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/libsemigroups.la /usr/bin/install -c -m 644 extern/textflowcpp/TextFlow.hpp '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups/textflowcpp' libtool: install: /usr/bin/install -c .libs/libsemigroups.a /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/libsemigroups.a /usr/bin/install -c -m 644 include/libsemigroups/kbe.hpp include/libsemigroups/knuth-bendix.hpp include/libsemigroups/konieczny.hpp include/libsemigroups/libsemigroups.hpp include/libsemigroups/make-froidure-pin.hpp include/libsemigroups/make-present.hpp include/libsemigroups/matrix.hpp include/libsemigroups/node-manager.hpp include/libsemigroups/obvinf.hpp include/libsemigroups/order.hpp include/libsemigroups/pbr.hpp include/libsemigroups/pool.hpp include/libsemigroups/present.hpp include/libsemigroups/present.tpp include/libsemigroups/race.hpp include/libsemigroups/report.hpp include/libsemigroups/runner.hpp include/libsemigroups/schreier-sims.hpp include/libsemigroups/schreier-sims-helper.hpp include/libsemigroups/sims1.hpp include/libsemigroups/sims1.tpp include/libsemigroups/siso.hpp include/libsemigroups/stl.hpp include/libsemigroups/stephen.hpp include/libsemigroups/string-view.hpp include/libsemigroups/string.hpp include/libsemigroups/tce.hpp include/libsemigroups/timer.hpp include/libsemigroups/todd-coxeter-digraph.hpp include/libsemigroups/todd-coxeter-digraph.tpp include/libsemigroups/todd-coxeter.hpp include/libsemigroups/transf.hpp include/libsemigroups/types.hpp include/libsemigroups/uf.hpp include/libsemigroups/ukkonen.hpp include/libsemigroups/ukkonen.tpp include/libsemigroups/wilo.hpp include/libsemigroups/wislo.hpp include/libsemigroups/word.hpp '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups' libtool: install: 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... './usr/lib/libsemigroups.a' -> '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups-static/./usr/lib/libsemigroups.a' >>> libsemigroups-static*: Preparing subpackage libsemigroups-static... >>> libsemigroups-static*: Stripping binaries >>> libsemigroups-static*: Running postcheck for libsemigroups-static >>> libsemigroups-dev*: Running split function dev... 'usr/include' -> '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups-dev/usr/include' 'usr/lib/pkgconfig' -> '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups-dev/usr/lib/pkgconfig' 'usr/lib/libsemigroups.so' -> '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups-dev/usr/lib/libsemigroups.so' >>> libsemigroups-dev*: Preparing subpackage libsemigroups-dev... >>> libsemigroups-dev*: Stripping binaries >>> libsemigroups-dev*: Running postcheck for libsemigroups-dev >>> libsemigroups*: Running postcheck for libsemigroups >>> libsemigroups*: Preparing package libsemigroups... >>> libsemigroups*: Stripping binaries >>> libsemigroups-dev*: Scanning shared objects >>> libsemigroups-static*: Scanning shared objects >>> libsemigroups*: Scanning shared objects >>> libsemigroups-dev*: Tracing dependencies... libsemigroups=2.7.3-r1 pc:eigen3 pc:fmt pkgconfig >>> libsemigroups-dev*: Package size: 1.9 MB >>> libsemigroups-dev*: Compressing data... >>> libsemigroups-dev*: Create checksum... >>> libsemigroups-dev*: Create libsemigroups-dev-2.7.3-r1.apk >>> libsemigroups-static*: Tracing dependencies... >>> libsemigroups-static*: Package size: 5.3 MB >>> libsemigroups-static*: Compressing data... >>> libsemigroups-static*: Create checksum... >>> libsemigroups-static*: Create libsemigroups-static-2.7.3-r1.apk >>> libsemigroups*: Tracing dependencies... so:libc.musl-s390x.so.1 so:libfmt.so.11 so:libgcc_s.so.1 so:libstdc++.so.6 >>> libsemigroups*: Package size: 1.9 MB >>> libsemigroups*: Compressing data... >>> libsemigroups*: Create checksum... >>> libsemigroups*: Create libsemigroups-2.7.3-r1.apk >>> libsemigroups: Build complete at Sat, 14 Dec 2024 19:02:41 +0000 elapsed time 0h 3m 57s >>> libsemigroups: Cleaning up srcdir >>> libsemigroups: Cleaning up pkgdir >>> libsemigroups: Uninstalling dependencies... (1/4) Purging .makedepends-libsemigroups (20241214.185844) (2/4) Purging eigen-dev (3.4.0-r10) (3/4) Purging fmt-dev (11.0.2-r0) (4/4) Purging fmt (11.0.2-r0) OK: 360 MiB in 105 packages >>> libsemigroups: Updating the testing/s390x repository index... >>> libsemigroups: Signing the index...