>>> libsemigroups: Building testing/libsemigroups 2.7.3-r2 (using abuild 3.18.0_rc5-r1) started Wed, 30 Sep 2026 05:18:05 +0000 >>> libsemigroups: Validating /home/buildozer/aports/testing/libsemigroups/APKBUILD... >>> WARNING: libsemigroups: No maintainer >>> libsemigroups: Analyzing dependencies... >>> libsemigroups: Installing for build: build-base eigen-dev fmt-dev (1/4) Installing eigen-dev (3.4.0-r10) (2/4) Installing fmt (12.2.0-r0) (3/4) Installing fmt-dev (12.2.0-r0) (4/4) Installing .makedepends-libsemigroups (20260930.051805) OK: 398.0 MiB in 111 packages >>> libsemigroups: Cleaning up srcdir >>> libsemigroups: Cleaning up pkgdir >>> libsemigroups: Cleaning up tmpdir >>> libsemigroups: Fetching https://distfiles.alpinelinux.org/distfiles/edge//libsemigroups-2.7.3.tar.gz Connecting to distfiles.alpinelinux.org (172.105.82.32:443) saving to '/var/cache/distfiles/edge/libsemigroups-2.7.3.tar.gz.part' libsemigroups-2.7.3. 3% |* | 81672 0:00:30 ETA libsemigroups-2.7.3. 100% |********************************| 2484k 0:00:00 ETA '/var/cache/distfiles/edge/libsemigroups-2.7.3.tar.gz.part' saved /var/cache/distfiles/edge/libsemigroups-2.7.3.tar.gz: OK /home/buildozer/aports/testing/libsemigroups/001-gcc-15.patch: OK >>> libsemigroups: Fetching https://distfiles.alpinelinux.org/distfiles/edge//libsemigroups-2.7.3.tar.gz /var/cache/distfiles/edge/libsemigroups-2.7.3.tar.gz: OK /home/buildozer/aports/testing/libsemigroups/001-gcc-15.patch: OK >>> libsemigroups: Unpacking /var/cache/distfiles/edge/libsemigroups-2.7.3.tar.gz... tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.xattr.com.apple.lastuseddate#PS' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' >>> libsemigroups: 001-gcc-15.patch patching file include/libsemigroups/sims1.tpp checking build system type... 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... cc checking whether the C compiler works... yes checking for C compiler default output file name... a.out checking for suffix of executables... checking whether we are cross compiling... no checking for suffix of object files... o checking whether the compiler supports GNU C... yes checking whether cc accepts -g... yes checking for cc option to enable C11 features... none needed checking whether cc understands -c and -o together... yes checking dependency style of cc... gcc3 checking for 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 c++ accepts -g... yes checking for c++ option to enable C++11 features... none needed checking dependency style of c++... gcc3 checking whether c++ supports C++14 features by default... yes checking for a sed that does not truncate output... /bin/sed checking how to run the C preprocessor... cc -E checking for grep that handles long lines and -e... /bin/grep checking for egrep... /bin/grep -E checking whether cc is Clang... no checking whether pthreads work with "-pthread" and "-lpthread"... yes checking for joinable pthread attribute... PTHREAD_CREATE_JOINABLE checking whether more special flags are required for pthreads... no checking for PTHREAD_PRIO_INHERIT... yes checking for pthread_create in -lpthread... yes checking whether to enable maintainer-specific portions of Makefiles... no checking whether ln -s works... yes checking how to print strings... printf checking for a sed that does not truncate output... (cached) /bin/sed checking for fgrep... /bin/grep -F checking for ld used by cc... /usr/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 cc object... ok checking for sysroot... no checking for a working dd... /bin/dd checking how to truncate binary pipes... /bin/dd bs=4096 count=1 checking for 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 cc supports -fno-rtti -fno-exceptions... no checking for cc option to produce PIC... -fPIC -DPIC checking if cc PIC flag -fPIC -DPIC works... yes checking if cc static flag -static works... yes checking if cc supports -c -o file.o... yes checking if cc supports -c -o file.o... (cached) yes checking whether the cc linker (/usr/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... c++ -E checking for ld used by c++... /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 c++ linker (/usr/s390x-alpine-linux-musl/bin/ld -m elf64_s390) supports shared libraries... yes checking for c++ option to produce PIC... -fPIC -DPIC checking if c++ PIC flag -fPIC -DPIC works... yes checking if c++ static flag -static works... yes checking if c++ supports -c -o file.o... yes checking if c++ supports -c -o file.o... (cached) yes checking whether the c++ linker (/usr/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 CXX tests/test-stephen.o In file included from /usr/include/c++/15.2.0/algorithm:63, from tests/test-matrix.cpp:17: In function 'void std::__final_insertion_sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = libsemigroups::StaticRowView*; _Compare = __gnu_cxx::__ops::_Iter_comp_iter >():: >]', inlined from 'void std::__sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = libsemigroups::StaticRowView*; _Compare = __gnu_cxx::__ops::_Iter_comp_iter >():: >]' at /usr/include/c++/15.2.0/bits/stl_algo.h:1909:31, inlined from 'void std::sort(_RAIter, _RAIter, _Compare) [with _RAIter = libsemigroups::StaticRowView*; _Compare = libsemigroups::{anonymous}::test_BMat000 >()::]' at /usr/include/c++/15.2.0/bits/stl_algo.h:4874:18, inlined from 'void libsemigroups::{anonymous}::test_BMat000() [with Mat = libsemigroups::StaticMatrix]' at tests/test-matrix.cpp:166:18: /usr/include/c++/15.2.0/bits/stl_algo.h:1818:32: warning: array subscript 16 is outside array bounds of 'libsemigroups::detail::StaticVector1, 2> [1]' [-Warray-bounds=] 1818 | std::__insertion_sort(__first, __first + int(_S_threshold), __comp); | ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ tests/test-matrix.cpp: In function 'void libsemigroups::{anonymous}::test_BMat000() [with Mat = libsemigroups::StaticMatrix]': tests/test-matrix.cpp:160:14: note: at offset 128 into object 'r' of size 24 160 | auto r = matrix_helpers::rows(m); | ^ 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 . . . 29μs Action 002: row and column basis orbits for BMat8 . . . 1090μs Action 003: add generators after enumeration . . . 1086μs Action 004: multipliers for BMat8 row and column orbits . . . 2466μs Action 005: orbits for regular boolean mat monoid 5 . . . 165ms Action 007: partial perm image orbit . . . 154μs Action 008: partial perm image orbit . . . 40ms Action 009: partial perm image orbit . . . 51ms Action 010: partial perm image orbit . . . 42ms Action 011: permutation on integers . . . 9000ns Action 012: permutation on sets, arrays . . . 66μs Action 013: permutation on tuples, arrays . . . 14ms Action 014: permutation on sets, vectors . . . 102μs Action 015: permutation on tuples, vectors . . . 25ms Action 016: misc . . . 1442μs Action 017: partial perm image orbit . . . 38μs Action 018: permutation on tuples, arrays (360360) . . . 174ms Action 019: orbits for regular BMat8 monoid 5 with stop/start . . . 192ms Action 021: orbits for regular boolean mat monoid 5 (BMat<5> [...] . . . 424ms ActionDigraph 000: constructor with 1 default arg . . . 20μs ActionDigraph 001: constructor with 0 default args . . . 23μs ActionDigraph 002: add nodes . . . 12μs ActionDigraph 003: add edges . . . 195μs ActionDigraph 004: strongly connected components - cycles . . . 19μs ActionDigraph 005: strongly connected components - no edges . . . 35ms ActionDigraph 006: strongly connected components - disjoint cycles . . . 1167μs ActionDigraph 007: strongly connected components - complete graphs . . . 523μs ActionDigraph 008: exceptions . . . 50μs ActionDigraph 009: spanning forest - complete graphs . . . 4350μs ActionDigraph 010: spanning forest - disjoint cycles . . . 82μs ActionDigraph 011: restrict . . . 5000ns ActionDigraph 012: remove_edge_nc . . . 4000ns ActionDigraph 013: scc large cycle . . . 13ms ActionDigraph 014: random . . . 20μs ActionDigraph 015: reserve . . . 4000ns ActionDigraph 016: default constructors . . . 8000ns ActionDigraph 017: scc iterators . . . 3048μs ActionDigraph 018: iterator to edges . . . 947μs ActionDigraph 019: root of scc . . . 241μs ActionDigraph 020: cbegin/end_panislo - 100 node path . . . 494μs ActionDigraph 021: cbegin/end_pislo . . . 39μs ActionDigraph 022: cbegin/end_pani(s)lo - 100 node cycle . . . 519μs ActionDigraph 023: cbegin/cend_pilo - tree 14 nodes . . . 52μs ActionDigraph 024: cbegin/end_pstilo - Cayley digraph . . . 289ms ActionDigraph 025: cbegin_pstilo - Tsalakou . . . 317μs ActionDigraph 026: cbegin/end_pstislo - Cayley digraph . . . 305ms ActionDigraph 027: cbegin/end_pstislo - Cayley digraph . . . 148μs ActionDigraph 028: path iterators corner cases . . . 169μs ActionDigraph 029: reverse node iterator . . . 5000ns ActionDigraph 030: pstilo corner case . . . 29μs ActionDigraph 031: number_of_paths corner cases . . . 223μs ActionDigraph 032: number_of_paths acyclic digraph . . . 34ms ActionDigraph 033: number_of_paths binary tree . . . 473ms ActionDigraph 034: number_of_paths large binary tree . . . 183ms ActionDigraph 035: number_of_paths 400 node random digraph . . . 841μs ActionDigraph 036: number_of_paths 10 node acyclic digraph . . . 31μs ActionDigraph 037: number_of_paths node digraph . . . 3239μs ActionDigraph 038: random/random_acyclic exceptions . . . 100μs ActionDigraph 039: unsafe (next) neighbour . . . 40μs ActionDigraph 040: number_of_egdes incident to a node . . . 48μs ActionDigraph 041: number_of_paths (matrix) . . . 17ms ActionDigraph 042: number_of_paths (matrix) . . . 6000ns ActionDigraph 043: swap_edge_nc . . . 4000ns ActionDigraph 044: detail::pow for non-square Eigen matrix . . . 9000ns ActionDigraph 045: operator<< . . . 8000ns Array2 044: all . . . 36μs BMat8 001: transpose . . . 15μs BMat8 002: multiplication . . . 10μs BMat8 003: identity matrix . . . 6000ns BMat8 004: random . . . 191μs BMat8 005: call operator . . . 9000ns BMat8 006: operator<< . . . 9000ns BMat8 007: set . . . 32μs BMat8 008: row space basis . . . 428μs BMat8 009: col space basis . . . 457μs BMat8 010: row space basis . . . 838μs BMat8 011: number_of_rows, number_of_cols . . . 27μs BMat8 012: row_space, col_space . . . 145μs BMat8 013: rows . . . 24μs BMat8 014: one . . . 4000ns BMat8 015: vector constructor . . . 52μs BMat8 016: operator< . . . 7000ns BMat8 017: adapters . . . 10μs BMat8 018: one . . . 5000ns Bipartition 009: mem fns 1 . . . 29μs Bipartition 010: hash . . . 3000ns Bipartition 011: mem fns 2 . . . 13μs Bipartition 012: delete/copy . . . 3000ns Bipartition 013: degree 0 . . . 4000ns Bipartition 014: exceptions . . . 17μs Bipartition 015: convenience constructor . . . 117μs Bipartition 016: force copy constructor over move constructor . . . 7000ns Bipartition 017: adapters . . . 2000ns BitSet 000: size . . . 5000ns BitSet 001: operator< . . . 5000ns BitSet 002: operator== . . . 7000ns BitSet 003: operator!= . . . 11μs BitSet 004: operator&= . . . 10μs BitSet 005: & . . . 22ms BitSet 006: operator|= . . . 14μs BitSet 007: operator[] . . . 11μs BitSet 008: set(none) . . . 18μs BitSet 009: set(pos, value) . . . 13μs BitSet 010: set(first, last, value) . . . 16μs BitSet 011: reset(first, last) . . . 15μs BitSet 012: reset(pos) . . . 15μs BitSet 013: apply (iterate through set bits) . . . 15μs BitSet 014: std::hash . . . 2000ns BitSet 015: constructors . . . 12μs BitSet 016: max_size . . . 2000ns BitSet 017: insertion operators . . . 4000ns Blocks 001: empty blocks . . . 6000ns 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] . . . 5000ns Blocks 007: hash value . . . 5000ns Blocks 008: operator< . . . 4000ns Congruence 000: left congruence on fp semigroup . . . 160μs Congruence 001: 2-sided congruence on fp semigroup . . . 2266μs Congruence 002: left congruence on fp semigroup . . . 3679μs Congruence 003: word_to_class_index for cong. on fp semigroup . . . 1561μs Congruence 004: word_to_class_index for cong. on fp semigroup . . . 7744μs Congruence 005: trivial congruence on non-fp semigroup . . . 7471μs Congruence 006: 2-sided congruence on non-fp semigroup . . . 39ms Congruence 007: 2-sided congruence on fp semigroup . . . 830μs Congruence 008: 2-sided congruence on infinite fp semigroup . . . 2081μs Congruence 009: 2-sided congruence on infinite fp semigroup . . . 3803μs Congruence 010: 2-sided congruence on finite semigroup . . . 22ms Congruence 012: 2-sided congruence on finite semigroup . . . 7162μs Congruence 013: trivial 2-sided congruence on bicyclic monoid . . . 24ms Congruence 014: non-trivial 2-sided congruence on bicyclic monoid . . . 2321μs Congruence 015: 2-sided congruence on free abelian monoid . . . 1197μs Congruence 016: example where TC works but KB doesn't . . . 41ms Congruence 017: 2-sided congruence on finite semigroup . . . 10ms Congruence 018: infinite fp semigroup from GAP library . . . 6481μs Congruence 019: 2-sided cong. on fp semigroup with infinite [...] . . . 9789μs Congruence 020: trivial cong. on an fp semigroup . . .  -- with compute size 5288μs  -- with don't compute size 5620μs Congruence 021: duplicate generators . . . 5222μs Congruence 022: non-trivial classes . . . 12ms Congruence 023: right congruence on finite semigroup . . . 202ms Congruence 024: redundant generating pairs . . . 67μs Congruence 025: 2-sided cong. on free semigroup . . . 45μs Congruence 026: is_quotient_obviously_(in)finite . . . 1260μs Congruence 027: less . . . 1994μs Congruence 028: 2-sided congruences of BMat8 semigroup . . . 102ms Congruence 029: left congruence on finite semigroup . . . 2493μs Congruence 030: right congruence on finite semigroup . . . 2857μs Congruence 031: right congruence on finite semigroup . . . 1024μs Congruence 032: contains . . . 89μs Congruence 033: stellar_monoid S2 . . . 4529μs Congruence 034: stellar_monoid S3 . . . 2001μs Congruence 035: stellar_monoid S4 . . . 18ms Congruence 036: stellar_monoid S5 . . . 9060μs Congruence 037: stellar_monoid S6 . . . 52ms Congruence 038: stellar_monoid S7 . . . 405ms Congruence 039: left cong. on an f.p. semigroup . . . 7974μs Congruence 040: 2-sided cong. on infinite f.p. semigroup . . . 93μs Congruence 041: 2-sided congruence constructed from type only . . . 5238μs Congruence 042: const_contains . . . 6053μs Congruence 043: no winner . . . 8576μs Congruence 044: congruence over smalloverlap . . . 10ms CongruenceByPairs 001: (cong) 2-sided cong. on finite semigroup . . . 197μs CongruenceByPairs 002: (cong) left congruence on finite semigroup . . . 67μs CongruenceByPairs 003: (cong) right congruence on finite semigroup . . . 66μs CongruenceByPairs 004: (cong) trivial congruence on finite s [...] . . . 62μs CongruenceByPairs 005: (cong) trivial left congruence on fin [...] . . . 43μs CongruenceByPairs 006: (cong) trivial right congruence on fi [...] . . . 42μs CongruenceByPairs 007: (cong) universal congruence on finite [...] . . . 223μs CongruenceByPairs 009: (cong) 2-sided congruence on finite s [...] . . . 634ms CongruenceByPairs 010: (cong) left congruence on big finite [...] . . . 17ms CongruenceByPairs 011: (cong) left congruence on TCE . . . 162μs CongruenceByPairs 012: (cong) is_quotient_obviously_finite . . . 46μs CongruenceByPairs 013: (cong) class_index_to_word/quotient . . .  -- with right congruence 3085μs  -- with left congruence 624μs  -- with 2-sided congruence 3355μs CongruenceByPairs 014: (cong) const_word_to_class_index . . .  -- with right congruence 15μs  -- with left congruence 87μs  -- with 2-sided congruence 17μs CongruenceByPairs 015: (cong) size non-Element* . . . 21ms CongruenceInterface 000: add_pair . . .  -- with ToddCoxeter 105μs  -- with KnuthBendix 112μs  -- with CongruenceByPairs 73μs  -- with Congruence 2353μs CongruenceInterface 001: contains/const_contains . . .  -- with ToddCoxeter and no parent 48μs  -- with KnuthBendix and no parent 58μs  -- with Congruence and parent 5207μs  -- with CongruenceByPairs and parent 56μs CongruenceInterface 002: less . . .  -- with ToddCoxeter 45μs  -- with KnuthBendix 95μs  -- with CongruenceByPairs 50μs  -- with Congruence 7551μs CongruenceInterface 003: is_quotient_obviously_(in)finite . . .  -- with ToddCoxeter 43μs  -- with KnuthBendix 89μs CongruenceInterface 004: is_quotient_obviously_(in)finite . . .  -- with CongruenceByPairs 63μs  -- with Congruence 10ms CongruenceInterface 005: parent_froidure_pin . . .  -- with ToddCoxeter 18μs  -- with KnuthBendix 8000ns CongruenceInterface 006: parent_froidure_pin . . .  -- with CongruenceByPairs 52μs  -- with Congruence 5226μs CongruenceInterface 007: cbegin/cend_ntc . . .  -- with ToddCoxeter 160μs  -- with KnuthBendix 863μs CongruenceInterface 008: cbegin/cend_ntc . . .  -- with CongruenceByPairs 112μs  -- with Congruence 3361μs CongruenceInterface 009: quotient is immutable . . .  -- with ToddCoxeter 46μs  -- with KnuthBendix 69μs  -- with Congruence 399μs CongruenceInterface 010: no generating pairs added . . .  -- with KnuthBendix and common behaviour 3281μs  -- with Congruence and common behaviour 6493μs  -- with ToddCoxeter 49μs CongruenceInterface 011: nr generators not set . . .  -- with ToddCoxeter 54μs  -- with KnuthBendix 44μs  -- with Congruence 49μs CongruenceInterface 012: no generating pairs . . . 95μs ConstIteratorStateless 001: ? . . . 4000ns ConstIteratorStateless 002: ? . . . 7000ns Constants 001: Undefined . . . 10μs Constants 002: PositiveInfinity . . . 9000ns Constants 003: NegativeInfinity . . . 7000ns Constants 004: LimitMax . . . 9000ns Duf 004: unite . . . 19μs Duf 006: compress . . . 7000ns Duf 008: resize . . . 9000ns Duf 009: resize . . . 6000ns Duf 010: big chain . . . 11ms Duf 012: empty table . . . 4000ns Duf 014: join . . . 5000ns Duf 016: contains . . . 14μs Duf 018: swap . . . 13μs DynamicArray2 001: default constructor with 3 default args . . . 3000ns DynamicArray2 002: default constructor with 2 default args . . . 2000ns DynamicArray2 003: default constructor with 1 default args . . . 6000ns DynamicArray2 004: default constructor with 0 default args . . . 4000ns DynamicArray2 005: copy constructor with 1 default args . . . 4000ns DynamicArray2 006: copy constructor with 0 default args . . . 9000ns DynamicArray2 007: add_rows . . . 6000ns DynamicArray2 008: add_rows . . . 5000ns DynamicArray2 009: add_cols . . . 12μs DynamicArray2 010: set/get . . . 24μs DynamicArray2 011: append 1/2 . . . 83μs DynamicArray2 012: append 2/2 . . . 143μs DynamicArray2 013: count . . . 14μs DynamicArray2 014: clear . . . 4000ns DynamicArray2 015: begin_row and end_row . . . 34μs DynamicArray2 016: cbegin_row and cend_row . . . 11μs DynamicArray2 017: iterator operator++ (postfix) . . . 145μs DynamicArray2 018: iterator operator++ (prefix) . . . 1000μs DynamicArray2 019: iterator operator-- (postfix) . . . 193μs DynamicArray2 020: iterator operator-- (prefix) . . . 199μs DynamicArray2 021: operator= . . . 10μs DynamicArray2 022: operator== and operator!= . . . 149μs DynamicArray2 023: empty and clear . . . 6000ns DynamicArray2 024: max_size . . . 3000ns DynamicArray2 025: swap . . . 23μs DynamicArray2 026: iterator arithmetic . . . 867μs DynamicArray2 027: iterator comparison . . . 6000ns DynamicArray2 028: iterator operator= . . . 4000ns DynamicArray2 029: iterator operator[] . . . 40μs DynamicArray2 030: iterator operator-> . . . 11μs DynamicArray2 031: const_iterator operator++/-- . . . 124μs DynamicArray2 032: const_iterator operator++/-- . . . 3000ns DynamicArray2 033: column iterators . . . 11μs DynamicArray2 034: column iterator arithmetic . . . 3501μs DynamicArray2 035: iterator assignment constructor . . . 892μs DynamicArray2 036: reserve method . . . 40μs DynamicArray2 037: erase column . . . 6000ns DynamicArray2 038: swap_rows . . . 4000ns DynamicArray2 039: apply_row_permutation . . . 5000ns DynamicArray2 040: swap . . . 4000ns DynamicArray2 041: shrink_rows_to . . . 7000ns DynamicArray2 042: shrink_rows_to - for range . . . 9000ns FastestBMat 046: check no throw . . . 8000ns FelschTree 000: previously failing example . . . 14μs Forest 001: test forest . . . 36μs FpSemigroup 001: Renner monoid type B2 (E. G. presentation), q = 1 . . . 2637μs FpSemigroup 002: Renner monoid type B2 (E. G. presentation), q = 0 . . . 3084μs FpSemigroup 003: Renner monoid type B3 (E. G. presentation), q = 1 . . . 70ms FpSemigroup 004: Renner monoid type B3 (E. G. presentation), q = 0 . . . 49ms FpSemigroup 005: Renner monoid type B2 (Gay-Hivert presentat [...] . . . 4885μs FpSemigroup 006: Renner monoid type B2 (Gay-Hivert presentat [...] . . . 3063μs FpSemigroup 007: Renner monoid type B3 (Gay-Hivert presentat [...] . . . 4481μs FpSemigroup 008: Renner monoid type B3 (Gay-Hivert presentat [...] . . . 2265μs FpSemigroup 009: Renner monoid type B4 (Gay-Hivert presentat [...] . . . 154ms FpSemigroup 010: Renner monoid type B4 (Gay-Hivert presentat [...] . . . 237ms FpSemigroup 013: Renner monoid type D2 (E. G. presentation), q = 1 . . . 5715μs FpSemigroup 014: Renner monoid type D2 (E. G. presentation), q = 0 . . . 5487μs FpSemigroup 015: Renner monoid type D3 (E. G. presentation), q = 1 . . . 4103μs FpSemigroup 016: Renner monoid type D3 (E. G. presentation), q = 0 . . . 6520μs FpSemigroup 017: Renner monoid type D4 (E. G. presentation), q = 1 . . . 355ms FpSemigroup 018: Renner monoid type D4 (E. G. presentation), q = 0 . . . 382ms FpSemigroup 019: Renner monoid type D2 (Gay-Hivert presentat [...] . . . 5637μs FpSemigroup 020: Renner monoid type D2 (Gay-Hivert presentat [...] . . . 5341μs FpSemigroup 021: Renner monoid type D3 (Gay-Hivert presentat [...] . . . 3864μs FpSemigroup 022: Renner monoid type D3 (Gay-Hivert presentat [...] . . . 7471μs FpSemigroup 023: Renner monoid type D4 (Gay-Hivert presentat [...] . . . 83ms FpSemigroup 024: Renner monoid type D4 (Gay-Hivert presentat [...] . . . 75ms FpSemigroup 029: Rook monoid R5, q = 0 . . . 6336μs FpSemigroup 030: Rook monoid R5, q = 1 . . . 2739μs FpSemigroup 031: Rook monoid R6, q = 0 . . . 31ms FpSemigroup 032: Rook monoid R6, q = 1 . . . 27ms FpSemigroup 033: normal_form . . . 2431μs FpSemigroup 034: for a finite semigroup . . . 2952μs FpSemigroup 035: finite fp semigroup, dihedral group of order 6 . . . 1260μs FpSemigroup 036: finite fp semigroup, size 16 . . . 5235μs FpSemigroup 037: finite fp semigroup, size 16 . . . 3194μs FpSemigroup 038: fp semigroup, size 240 . . . 5298μs FpSemigroup 039: add_rule . . . 985μs FpSemigroup 040: add_rule . . . 60μs FpSemigroup 041: equal_to . . . 1379μs FpSemigroup 042: cbegin/cend_rules . . . 33μs FpSemigroup 043: semigroup of size 3 . . . 5524μs FpSemigroup 044: run_for/until . . . 8933μs FpSemigroup 045: constructors . . . 934μs FpSemigroup 046: set_inverses . . . 77μs FpSemigroup 047: smalloverlap . . . 9137μs FpSemigroup 048: quaternion group Q8 . . . 5227μs FpSemigroup 049: symmetric group Coxeter presentation . . . 26ms FpSemigroupByPairs 029: (fpsemi) 2-sided congruence on finit [...] . . . 230μs FpSemigroupByPairs 030: (fpsemi) 2-sided congruence on finit [...] . . . 197μs FpSemigroupInterface 000: run with no alphabet . . .  -- with ToddCoxeter 37μs  -- with KnuthBendix 9000ns  -- with FpSemigroup 14μs FpSemigroupInterface 001: equal_to . . .  -- with ToddCoxeter and human readable alphabet 809μs  -- with KnuthBendix and human readable alphabet 1874μs  -- with FpSemigroup and human readable alphabet 2740μs  -- with FpSemigroupByPairs 1116μs FpSemigroupInterface 002: normal_form . . .  -- with ToddCoxeter 59μs  -- with KnuthBendix 90μs  -- with FpSemigroup 5202μs FpSemigroupInterface 003: set_alphabet (1/2) . . .  -- with ToddCoxeter 42μs  -- with KnuthBendix 29μs  -- with FpSemigroup 36μs FpSemigroupInterface 004: set_alphabet (2/2) . . . 402μs FpSemigroupInterface 005: add_rule after finished . . .  -- with ToddCoxeter and human readable alphabet 52μs  -- with KnuthBendix and human readable alphabet 75μs  -- with FpSemigroup and human readable alphabet 3720μs  -- with FpSemigroupByPairs 403μs FpSemigroupInterface 006: add_rule with equal words (1/2) . . .  -- with ToddCoxeter and human readable alphabet 84μs  -- with KnuthBendix and human readable alphabet 128μs  -- with FpSemigroup and human readable alphabet 153μs  -- with FpSemigroupByPairs 72μs FpSemigroupInterface 007: add_rule with equal words (2/2) . . .  -- with ToddCoxeter 12μs  -- with KnuthBendix 5000ns  -- with FpSemigroup 12μs FpSemigroupInterface 008: add_rule with word_type . . .  -- with ToddCoxeter 20μs  -- with KnuthBendix 13μs  -- with FpSemigroup 32μs FpSemigroupInterface 009: add_rule with empty word (1/2) . . .  -- with ToddCoxeter 15μs  -- with FpSemigroup 20μs FpSemigroupInterface 010: add_rule with empty word (1/2) . . . 4000ns FpSemigroupInterface 011: add_rules (1/3) . . .  -- with ToddCoxeter 19μs  -- with KnuthBendix 10μs  -- with FpSemigroup 16μs FpSemigroupInterface 012: add_rules (2/3) . . . 156μs FpSemigroupInterface 013: add_rules (3/3) . . .  -- with ToddCoxeter 13μs  -- with KnuthBendix 7000ns  -- with FpSemigroup 28μs FpSemigroupInterface 014: set_identity (1/3) . . .  -- with ToddCoxeter 44μs  -- with KnuthBendix 40μs  -- with FpSemigroup 62μs FpSemigroupInterface 015: set_identity (2/3) . . . 97μs FpSemigroupInterface 016: set_identity (3/3) . . .  -- with ToddCoxeter 26μs  -- with KnuthBendix 23μs  -- with FpSemigroup 44μs FpSemigroupInterface 017: identity . . .  -- with ToddCoxeter 13μs  -- with KnuthBendix 7000ns  -- with FpSemigroup 15μs FpSemigroupInterface 018: set_inverses + inverses (1/2) . . .  -- with ToddCoxeter 62μs  -- with KnuthBendix 57μs  -- with FpSemigroup 83μs FpSemigroupInterface 019: set_inverses + inverses (2/2) . . . 116μs FpSemigroupInterface 020: is_obviously_infinite (1/2) . . .  -- with ToddCoxeter 52μs  -- with KnuthBendix 85μs  -- with FpSemigroup 6043μs FpSemigroupInterface 021: is_obviously_infinite (2/2) . . . 19μs FpSemigroupInterface 022: is_obviously_finite (1/2) . . .  -- with ToddCoxeter 51μs  -- with KnuthBendix 83μs  -- with FpSemigroup 359μs FpSemigroupInterface 023: is_obviously_finite (2/2) . . . 10μs FpSemigroupInterface 024: to_gap_string (1/3) . . .  -- with ToddCoxeter 15μs  -- with KnuthBendix 7000ns  -- with FpSemigroup 29μs FpSemigroupInterface 025: to_gap_string (2/3) . . . 5000ns FpSemigroupInterface 026: to_gap_string (3/3) . . . 8000ns FroidurePin 015: (BMat8) regular boolean mat monoid 4 . . . 53ms FroidurePin 016: (BMat8) exception zero generators given . . . 4000ns FroidurePin 017: (BMat8) exception word_to_element . . . 28μs FroidurePin 018: (BMat8) exception prefix . . . 1470μs FroidurePin 019: (BMat8) exception suffix . . . 7000ns FroidurePin 020: (BMat8) exception first_letter . . . 826μs FroidurePin 021: (BMat8) exception final_letter . . . 7000ns FroidurePin 022: (BMat8) exception current_length . . . 841μs FroidurePin 023: (BMat8) exception product_by_reduction . . . 896μs FroidurePin 024: (BMat8) exception fast_product . . . 1251μs FroidurePin 025: (BMat8) exception is_idempotent . . . 26ms FroidurePin 026: (BMat8) copy constructor . . .  -- with fully enumerated 30ms  -- with partially enumerated 22ms  -- with not enumerated 23ms FroidurePin 027: (BMat8) cbegin/end_rules . . . 25μs FroidurePin 031: (integers) . . . 98μs FroidurePin 039: (pairs of integers) non-trivial user type . . . 17μs FroidurePin 055: (tropical max-plus semiring matrices) . . . 145μs FroidurePin 061: projective max plus matrix . . . 569μs FroidurePin 062: projective max plus matrix . . . 15μs FroidurePin> 009: small example 2 . . . 28μs FroidurePin> 005: small example 1 . . . 64μs FroidurePin> 007: regular bmat monoid 4 . . . 87ms FroidurePin> 011: small example 3 . . . 341μs FroidurePin> 006: small example 1 . . . 85μs FroidurePin> 008: regular bmat monoid 4 . . . 54ms FroidurePin> 010: small example 2 . . . 20μs FroidurePin> 012: small example 3 . . . 398μs FroidurePin 000: small example 1 . . . 94μs FroidurePin 001: default constructed . . . 57μs FroidurePin 002: small example 2 . . . 25μs FroidurePin 004: exception: is_idempotent . . . 86μs FroidurePin> 033: Example 000 . . . 378μs FroidurePin> 035: Example 001 . . . 21μs FroidurePin> 032: Example 000 . . . 298μs FroidurePin> 034: Example 001 . . . 17μs FroidurePin 036: exception: current_position . . . 81μs FroidurePin 037: exception: word_to_element . . . 48μs FroidurePin 038: exception: prefix, suffix, first_letter . . . 11ms FroidurePin> 040: Example 000 . . . 47μs FroidurePin> 041: Example 000 . . . 35μs FroidurePin> 046: Example 005 . . . 90μs FroidurePin> 047: Example 005 . . . 89μs FroidurePin> 048: Example 005 . . . 90μs FroidurePin> 044: Example 004 . . . 16μs FroidurePin> 045: Example 004 . . . 17μs FroidurePin> 049: Example 006 . . . 578μs FroidurePin> 050: Example 006 . . . 656μs FroidurePin> 051: Example 006 . . . 681μs FroidurePin> 052: Example 007 . . . 87μs FroidurePin> 053: Example 007 . . . 92μs FroidurePin> 054: Example 007 . . . 86μs FroidurePin 056: example 1 . . . 115μs FroidurePin 057: example 2 . . . 94μs FroidurePin> 058: . . . 389μs FroidurePin> 059: . . . 23μs FroidurePin> 060: exceptions: add_generator(s) . . . 28μs FroidurePin> 065: no exception zero generators given . . . 10μs FroidurePin> 066: exception generators of different [...] . . . 34μs FroidurePin> 067: exception current_position . . . 21μs FroidurePin> 068: exception word_to_element . . . 21μs FroidurePin> 069: exception gens . . . 300μs FroidurePin> 070: exception prefix . . . 23ms FroidurePin> 071: exception suffix . . . 71ms FroidurePin> 072: exception first_letter . . . 28μs FroidurePin> 073: exception final_letter . . . 21μs FroidurePin> 074: exception current_length . . . 20μs FroidurePin> 075: exception product_by_reduction . . . 402μs FroidurePin> 076: exception fast_product . . . 393μs FroidurePin> 077: exception current_position . . . 298μs FroidurePin> 078: exception is_idempotent . . . 341μs FroidurePin> 079: exception add_generators . . . 18μs FroidurePin> 080: multithread number_of_idempotents . . . 13ms FroidurePin> 081: small semigroup . . . 19μs FroidurePin> 082: large semigroup . . . 23ms FroidurePin> 083: at, position, current_* . . . 4779μs FroidurePin> 084: run . . . 81ms FroidurePin> 085: run [many stops and starts] . . . 4309μs FroidurePin> 086: factorisation, length [1 element] . . . 4550μs FroidurePin> 087: factorisation, products [all elements] . . . 5684μs FroidurePin> 088: first/final letter, prefix, suffi [...] . . . 4495μs FroidurePin> 089: current_position [standard] . . . 11μs FroidurePin> 090: current_position [duplicate gens] . . . 14ms FroidurePin> 091: current_position [after add_generators] . . . 4876μs FroidurePin> 092: cbegin_idempotents/cend [1 thread] . . . 4958μs FroidurePin> 093: idempotent_cend/cbegin [1 thread] . . . 4832μs FroidurePin> 094: is_idempotent [1 thread] . . . 4611μs FroidurePin> 096: finished, started . . . 4472μs FroidurePin> 097: current_position . . . 1003μs FroidurePin> 098: sorted_position, sorted_at . . . 5977μs FroidurePin> 099: right/left Cayley graph . . . 19ms FroidurePin> 100: iterator . . . 6563μs FroidurePin> 101: reverse iterator . . . 8208μs FroidurePin> 102: iterator arithmetic . . . 22ms FroidurePin> 103: iterator sorted . . . 16ms FroidurePin> 104: iterator sorted arithmetic . . . 32ms FroidurePin> 105: copy [not enumerated] . . . 4668μs FroidurePin> 106: copy_closure [not enumerated] . . . 31ms FroidurePin> 107: copy_add_generators [not enumerated] . . . 41ms FroidurePin> 108: copy [partly enumerated] . . . 12ms FroidurePin> 109: copy_closure [partly enumerated] . . . 8057μs FroidurePin> 110: copy_add_generators [partly enumerated] . . . 15ms FroidurePin> 111: copy [fully enumerated] . . . 29ms FroidurePin> 112: copy_closure [fully enumerated] . . . 8333μs FroidurePin> 113: copy_add_generators [fully enumerated] . . . 13ms FroidurePin> 114: relations [duplicate gens] . . . 114μs FroidurePin> 115: relations . . . 16ms FroidurePin> 116: relations [copy_closure, duplicat [...] . . . 49ms FroidurePin> 117: relations [copy_add_generators, d [...] . . . 17ms FroidurePin> 118: relations [from copy, not enumerated] . . . 5303μs FroidurePin> 119: relations [from copy, partly enum [...] . . . 10ms FroidurePin> 120: relations [from copy, fully enumerated] . . . 24ms FroidurePin> 121: relations [from copy_closure, not [...] . . . 143ms FroidurePin> 122: relations [from copy_add_generato [...] . . . 5340μs FroidurePin> 123: relations [from copy_closure, par [...] . . . 8092μs FroidurePin> 124: relations [from copy_add_generato [...] . . . 6468μs FroidurePin> 125: relations [from copy_closure, ful [...] . . . 9552μs FroidurePin> 126: relations [from copy_add_generato [...] . . . 8450μs FroidurePin> 127: add_generators [duplicate generators] . . . 201μs FroidurePin> 128: add_generators [incremental 1] . . . 238μs FroidurePin> 129: add_generators [incremental 2] . . . 254μs FroidurePin> 130: closure [duplicate generators] . . . 115μs FroidurePin> 131: closure . . . 152μs FroidurePin> 132: factorisation . . . 10μs FroidurePin> 134: minimal_factorisation . . . 56μs FroidurePin> 135: batch_size (for an extremely larg [...] . . . 8000ns FroidurePin> 137: exception: generators of differen [...] . . . 16μs FroidurePin> 138: exception: current_position . . . 26μs FroidurePin> 139: exception: word_to_element . . . 22μs FroidurePin> 140: exception: gens, current_position . . . 519μs FroidurePin> 141: exception: add_generators . . . 19μs KBE 000: constructors . . . 32μs KBE 001: test . . . 43μs KBE 002: factorisation . . . 22μs KBE 003: swap . . . 14μs KBE 004: adapters . . . 13μs KBE 005: conversions . . . 12μs Kambites 000: (fpsemi) MT test 4 (std::string) . . . 4951μs Kambites 001: (fpsemi) MT test 4 (MultiStringView) . . . 5288μs Kambites 002: (fpsemi) number_of_pieces (std::string) . . . 78μs Kambites 003: (fpsemi) number_of_pieces (MultiStringView) . . . 67μs Kambites 004: (fpsemi) small_overlap_class (std::string) . . . 2705μs Kambites 005: (fpsemi) small_overlap_class (MultiStringView) . . . 2669μs Kambites 006: (fpsemi) random (std::string) . . . 6891μs Kambites 007: (fpsemi) random (MultiStringView) . . . 10ms Kambites 008: (fpsemi) KnuthBendix 055 (std::string) . . . 11ms Kambites 009: (fpsemi) KnuthBendix 055 (MultiStringView) . . . 12ms Kambites 010: (fpsemi) smalloverlap/gap/test.gi:85 (std::string) . . . 50μs Kambites 011: (fpsemi) smalloverlap/gap/test.gi:85 (MultiStr [...] . . . 38μs Kambites 012: (fpsemi) free semigroup . . . 4000ns Kambites 013: (fpsemi) smalloverlap/gap/test.gi:49 (std::string) . . . 24ms Kambites 014: (fpsemi) smalloverlap/gap/test.gi:49 (MultiStr [...] . . . 30ms Kambites 015: (fpsemi) smalloverlap/gap/test.gi:63 (std::string) . . . 33ms Kambites 016: (fpsemi) smalloverlap/gap/test.gi:63 (MultiStr [...] . . . 52ms Kambites 017: (fpsemi) smalloverlap/gap/test.gi:70 (std::string) . . . 159ms Kambites 018: (fpsemi) smalloverlap/gap/test.gi:70 (MultiStr [...] . . . 208ms Kambites 021: (fpsemi) code coverage (std::string) . . . 35μs Kambites 022: (fpsemi) code coverage (MultiStringView) . . . 22μs Kambites 023: (fpsemi) prefix (std::string) . . . 42μs Kambites 024: (fpsemi) prefix (MultiStringView) . . . 58μs Kambites 025: (fpsemi) normal_form (Example 3.15) (std::string) . . . 40μs Kambites 026: (fpsemi) normal_form (Example 3.15) (MultiStri [...] . . . 57μs Kambites 027: (fpsemi) normal_form (Example 3.16) (std::string) . . . 27μs Kambites 028: (fpsemi) normal_form (Example 3.16) (MultiStri [...] . . . 41μs Kambites 029: (fpsemi) normal_form (Example 3.16) more exhau [...] . . . 45ms Kambites 030: (fpsemi) normal_form (Example 3.16) more exhau [...] . . . 165ms Kambites 031: (fpsemi) small presentation (std::string) . . . 89μs Kambites 032: (fpsemi) small presentation (MultiStringView) . . . 25μs Kambites 033: (fpsemi) non-smalloverlap (std::string) . . . 33μs Kambites 034: (fpsemi) non-smalloverlap (MultiStringView) . . . 28μs Kambites 035: (fpsemi) MT test 3 (std::string) . . . 35μs Kambites 036: (fpsemi) MT test 3 (MultiStringView) . . . 28μs Kambites 037: (fpsemi) MT test 5 (std::string) . . . 15μs Kambites 038: (fpsemi) MT test 5 (MultiStringView) . . . 14μs Kambites 039: (fpsemi) MT test 6 (std::string) . . . 22μs Kambites 040: (fpsemi) MT test 6 (MultiStringView) . . . 26μs Kambites 041: (fpsemi) MT test 10 (std::string) . . . 17μs Kambites 042: (fpsemi) MT test 10 (MultiStringView) . . . 22μs Kambites 043: (fpsemi) MT test 13 (std::string) . . . 14μs Kambites 044: (fpsemi) MT test 13 (MultiStringView) . . . 14μs Kambites 045: (fpsemi) MT test 14 (std::string) . . . 12μs Kambites 046: (fpsemi) MT test 14 (MultiStringView) . . . 13μs Kambites 047: (fpsemi) MT test 15 (std::string) . . . 19μs Kambites 048: (fpsemi) MT test 15 (MultiStringView) . . . 20μs Kambites 049: (fpsemi) MT test 16 (std::string) . . . 20μs Kambites 050: (fpsemi) MT test 16 (MultiStringView) . . . 21μs Kambites 051: (fpsemi) MT test 17 (std::string) . . . 95μs Kambites 052: (fpsemi) MT test 17 (MultiStringView) . . . 62μs Kambites 053: (fpsemi) weak C(4) not strong x 1 (std::string) . . . 265μs Kambites 054: (fpsemi) weak C(4) not strong x 1 (MultiStringView) . . . 370μs Kambites 055: (fpsemi) weak C(4) not strong x 2 (std::string) . . . 257μs Kambites 056: (fpsemi) weak C(4) not strong x 2 (MultiStringView) . . . 381μs Kambites 057: (fpsemi) weak C(4) not strong x 3 (std::string) . . . 257μs Kambites 058: (fpsemi) weak C(4) not strong x 3 (MultiStringView) . . . 250μs Kambites 059: (fpsemi) weak C(4) not strong x 4 (std::string) . . . 31μs Kambites 060: (fpsemi) weak C(4) not strong x 4 (MultiStringView) . . . 45μs Kambites 061: (fpsemi) weak C(4) not strong x 5 (std::string) . . . 12μs Kambites 062: (fpsemi) weak C(4) not strong x 5 (MultiStringView) . . . 9000ns Kambites 063: (fpsemi) weak C(4) not strong x 6 (std::string) . . . 17μs Kambites 064: (fpsemi) weak C(4) not strong x 6 (MultiStringView) . . . 19μs Kambites 065: (fpsemi) Konovalov example (std::string) . . . 11μs Kambites 066: (fpsemi) Konovalov example (MultiStringView) . . . 10μs Kambites 067: (fpsemi) long words (std::string) . . . 2068ms Kambites 068: (fpsemi) long words (MultiStringView) . . . 35ms Kambites 075: (cong) example 1 . . . 41μs Kambites 076: (cong) example 2 . . . 108μs Kambites 077: (cong) code coverage . . . 4539μs Kambites 078: (cong) large number of rules . . . 243ms KnuthBendix 000: (fpsemi) confluent fp semigroup 1 (infinite) . . . 73μs KnuthBendix 001: (fpsemi) confluent fp semigroup 2 (infinite) . . . 71μs KnuthBendix 002: (fpsemi) confluent fp semigroup 3 (infinite) . . . 42μs KnuthBendix 003: (fpsemi) non-confluent fp semigroup from wi [...] . . . 93μs KnuthBendix 004: (fpsemi) Example 5.1 in Sims (infinite) . . . 77μs KnuthBendix 005: (fpsemi) Example 5.1 in Sims (infinite) . . . 64μs KnuthBendix 006: (fpsemi) Example 5.3 in Sims . . . 60μs KnuthBendix 007: (fpsemi) Example 5.4 in Sims . . . 71μs KnuthBendix 008: (fpsemi) Example 6.4 in Sims (size 168) . . . 17ms KnuthBendix 009: (fpsemi) . . . 138ms KnuthBendix 010: (fpsemi) SL(2, 7) from Chapter 3, Propositi [...] . . . 97ms KnuthBendix 011: (fpsemi) F(2, 5) - Chapter 9, Section 1 in [...] . . . 265μs KnuthBendix 012: (fpsemi) Reinis example 1 . . . 133μs KnuthBendix 013: redundant_rule (std::string) . . . 100ms KnuthBendix 014: redundant_rule (word_type) . . . 10ms KnuthBendix 019: (fpsemi) C(4) monoid . . . 28μs KnuthBendix 020: (cong) Chinese monoid . . . 98μs KnuthBendix 021: (from kbmag/standalone/kb_data/f25monoid) . . . 295μs KnuthBendix 022: (from kbmag/standalone/kb_data/degen4a) . . . 32ms KnuthBendix 023: (from kbmag/standalone/kb_data/torus) . . . 2168μs KnuthBendix 024: (from kbmag/standalone/kb_data/3a6) . . . 445ms KnuthBendix 025: (from kbmag/standalone/kb_data/f2) . . . 45μs KnuthBendix 026: (from kbmag/standalone/kb_data/s16) . . . 54ms KnuthBendix 027: (from kbmag/standalone/kb_data/a4monoid) . . . 35μs KnuthBendix 028: (from kbmag/standalone/kb_data/degen3) . . . 10μs KnuthBendix 029: (from kbmag/standalone/kb_data/ab1) . . . 9000ns KnuthBendix 030: (from kbmag/standalone/kb_data/degen2) . . . 6000ns KnuthBendix 031: (from kbmag/standalone/kb_data/f25) . . . 245μs KnuthBendix 032: (from kbmag/standalone/kb_data/237) . . . 337μs KnuthBendix 033: (from kbmag/standalone/kb_data/c2) . . . 5000ns KnuthBendix 034: (from kbmag/standalone/kb_data/cosets) . . . 119μs KnuthBendix 035: Example 5.1 in Sims (KnuthBendix 09 again) . . . 22μs KnuthBendix 036: (from kbmag/standalone/kb_data/nilp2) . . . 13μs KnuthBendix 037: Example 6.4 in Sims . . . 14ms KnuthBendix 038: KnuthBendix 071 again . . . 404μs KnuthBendix 039: Example 5.4 in Sims (KnuthBendix 11 again) [...] . . . 116μs KnuthBendix 040: Example 5.4 in Sims (KnuthBendix 11 again) [...] . . . 64μs KnuthBendix 041: operator<< . . . 42μs KnuthBendix 042: confluence_interval . . . 6000ns KnuthBendix 043: max_overlap . . . 5000ns KnuthBendix 044: (fpsemi) (from kbmag/standalone/kb_data/d22 [...] . . . 701μs KnuthBendix 045: (fpsemi) (from kbmag/standalone/kb_data/d22 [...] . . . 1317μs KnuthBendix 046: (fpsemi) small example . . . 586μs KnuthBendix 047: code coverage . . . 111μs KnuthBendix 048: small overlap 1 . . . 23μs KnuthBendix 049: (from kbmag/standalone/kb_data/s9) . . . 979μs KnuthBendix 050: (fpsemi) Chapter 11, Lemma 1.8 (q = 6, r = [...] . . . 361μs KnuthBendix 051: (fpsemi) Chapter 11, Section 2 (q = 6, r = [...] . . . 68μs KnuthBendix 052: (fpsemi) Chapter 8, Theorem 4.2 in NR (infinite) . . . 151μs KnuthBendix 053: (fpsemi) equal_to fp semigroup . . . 22μs KnuthBendix 054: (fpsemi) equal_to free semigroup . . . 27μs KnuthBendix 055: (fpsemi) from GAP smalloverlap gap/test.gi [...] . . . 391μs KnuthBendix 056: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 608μs KnuthBendix 057: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 624μs KnuthBendix 058: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 1834μs KnuthBendix 059: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 4027μs KnuthBendix 060: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 12μs KnuthBendix 061: (fpsemi) Von Dyck (2,3,7) group (infinite) . . . 322μs KnuthBendix 062: (fpsemi) Von Dyck (2,3,7) group - different [...] . . . 3402μs KnuthBendix 063: (fpsemi) rewriting system from KnuthBendixC [...] . . . 220μs KnuthBendix 064: (fpsemi) rewriting system from Congruence 20 . . . 11μs KnuthBendix 065: (fpsemi) (from kbmag/standalone/kb_data/ab2) . . . 69μs KnuthBendix 066: (fpsemi) (from kbmag/standalone/kb_data/d22 [...] . . . 723μs KnuthBendix 067: (fpsemi) (from kbmag/standalone/kb_data/degen1) . . . 24μs KnuthBendix 068: (fpsemi) (from kbmag/standalone/kb_data/s4) . . . 211μs KnuthBendix 069: (fpsemi) fp semigroup (infinite) . . . 23μs KnuthBendix 070: (fpsemi) Chapter 11, Section 1 (q = 4, r = [...] . . . 2646μs KnuthBendix 071: (fpsemi) Chapter 11, Section 1 (q = 8, r = [...] . . . 284ms KnuthBendix 072: (fpsemi) Chapter 7, Theorem 3.9 in NR (size 240) . . . 3721μs KnuthBendix 073: (fpsemi) F(2, 5) - Chapter 9, Section 1 in [...] . . . 281μs KnuthBendix 074: (fpsemi) F(2, 6) - Chapter 9, Section 1 in NR . . . 256μs KnuthBendix 075: (fpsemi) Chapter 10, Section 4 in NR (infinite) . . . 540μs KnuthBendix 076: (fpsemi) Sym(5) from Chapter 3, Proposition [...] . . . 2820μs KnuthBendix 077: (fpsemi) SL(2, 7) from Chapter 3, Propositi [...] . . . 78ms KnuthBendix 078: (fpsemi) bicyclic monoid (infinite) . . . 26μs KnuthBendix 079: (fpsemi) plactic monoid of degree 2 (infinite) . . . 44μs KnuthBendix 080: (fpsemi) example before Chapter 7, Proposit [...] . . . 27μs KnuthBendix 081: (fpsemi) Chapter 7, Theorem 3.6 in NR (size 243) . . . 627μs KnuthBendix 082: (fpsemi) finite semigroup (size 99) . . . 160μs KnuthBendix 096: Sorouhesh . . . 264μs KnuthBendix 097: (fpsemi) transformation semigroup (size 4) . . . 47μs KnuthBendix 098: (fpsemi) transformation semigroup (size 9) . . . 30μs KnuthBendix 099: (fpsemi) transformation semigroup (size 88) . . . 576μs KnuthBendix 100: internal_string_to_word . . . 16μs KnuthBendix 101: (fpsemi) construct from shared_ptr . . . 581μs KnuthBendix 102: internal_string_to_word . . . 583μs KnuthBendix 103: (cong) free semigroup congruence (5 classes) . . . 64μs KnuthBendix 104: free semigroup congruence (6 classes) . . . 175μs KnuthBendix 105: (cong) free semigroup congruence (16 classes) . . . 174μs KnuthBendix 106: (cong) free semigroup congruence (6 classes) . . . 259μs KnuthBendix 107: (cong) free semigroup congruence (240 classes) . . . 3191μs KnuthBendix 108: (cong) free semigroup congruence (240 classes) . . . 3151μs KnuthBendix 109: (cong) less . . . 4107μs KnuthBendix 110: (cong) less . . . 219ms KnuthBendix 111: (cong) constructors . . . 390ms KnuthBendix 112: (cong) const_contains/contains . . . 174μs KnuthBendix 113: (cong) is_quotient_obviously_finite . . . 9000ns KnuthBendix 114: (cong) class_index_to_word . . . 141μs KnuthBendix 115: (cong) quotient_froidure_pin . . . 84μs KnuthBendix 116: (cong) set_number_of_generators . . . 10μs KnuthBendix 117: (cong) number of classes when obv-inf . . . 29μs KnuthBendixCongruenceByPairs 016: non-trivial congruence on [...] . . . 105μs KnuthBendixCongruenceByPairs 017: non-trivial congruence on [...] . . . 101μs KnuthBendixCongruenceByPairs 018: non-trivial congruence on [...] . . . 134μs KnuthBendixCongruenceByPairs 019: non-trivial congruence on [...] . . . 128μs KnuthBendixCongruenceByPairs 020: trivial congruence on a fi [...] . . . 102μs KnuthBendixCongruenceByPairs 021: universal congruence on a [...] . . . 320μs KnuthBendixCongruenceByPairs 022: left congruence on a finit [...] . . . 169μs KnuthBendixCongruenceByPairs 023: finite group, Chapter 11, [...] . . . 3496μs KnuthBendixCongruenceByPairs 024: right congruence on infini [...] . . . 175μs KnuthBendixCongruenceByPairs 025: finite fp semigroup, dihed [...] . . . 161μs KnuthBendixCongruenceByPairs 026: finite fp semigroup, size 16 . . . 168μs KnuthBendixCongruenceByPairs 027: finite fp semigroup, size 16 . . . 545μs KnuthBendixCongruenceByPairs 028: infinite fp semigroup with [...] . . . 34μs Konieczny 000: test000> . . . 740μs Konieczny 001: test000> . . . 492μs Konieczny 002: test001> . . . 6990μs Konieczny 003: test001> . . . 5897μs Konieczny 006: exceptions . . . 22μs Konieczny 007: code coverage . . . 13ms Konieczny 008: code coverage . . . 7289μs Konieczny 009: regular elements and idempotents . . . 143ms Konieczny 010: regular D-class 01 . . . 625μs Konieczny 011: regular D-class 02 . . . 5391μs Konieczny 012: regular D-class 04: contains . . . 95ms Konieczny 013: non-regular D-classes 01 . . . 654μs Konieczny 014: RegularDClass . . . 395μs Konieczny 015: full bmat monoid 4 . . . 23ms Konieczny 017: regular generated bmat monoid 4 idempotents . . . 185ms Konieczny 019: my favourite example . . . 56ms Konieczny 020: another large example . . . 10ms Konieczny 021: my favourite example transposed . . . 46ms Konieczny 024: exceptions . . . 693μs Konieczny 025: 0-parameter constructor . . . 24ms Konieczny 026: non-regular D-classes 02 . . . 15ms Konieczny 028: partial perm . . . 95ms Konieczny 029: symmetric inverse monoid n = 8 . . . 46ms Konieczny 030: exceptions . . . 120ms Konieczny 031: transformations . . . 515μs Konieczny 032: transformations - JDM favourite example . . . 61ms Konieczny 033: transformations - large example . . . 391ms Konieczny 034: transformations - large example with stop . . . 195ms Konieczny 035: transformations - large example with run_until . . . 257ms Konieczny 036: transformations - large example with stop in Action . . . 171ms Konieczny 037: exceptions . . . 53μs Konieczny 038: transformations: contains . . . 352μs Konieczny 040: transformations - destructor coverage . . . 245ms Konieczny 041: current_number_D_classes . . . 286ms Konieczny 042: add_generator . . . 22μs Konieczny 043: add_generator . . . 11μs Matrix 000: BMat<2> . . . 99μs Matrix 001: BMat<> . . . 53μs Matrix 002: BMat<3> + BMat<> . . . 5000ns Matrix 003: BMat<2> + BMat<> . . . 5000ns Matrix 004: BMat<3> . . . 5000ns Matrix 005: BMat<> . . . 7000ns Matrix 006: BMat<3> row_basis . . . 21μs Matrix 007: BMat<> row_basis . . . 21μs Matrix 008: IntMat<3> . . . 8000ns Matrix 009: IntMat<> . . . 15μs Matrix 010: IntMat code cov . . . 4000ns Matrix 011: MaxPlusMat<3> . . . 6000ns Matrix 012: MaxPlusMat<> . . . 9000ns Matrix 013: MaxPlusMat code cov . . . 2000ns Matrix 014: MinPlusMat<3> . . . 8000ns Matrix 015: MinPlusMat<> . . . 13μs Matrix 016: MinPlusMat code cov . . . 2000ns Matrix 017: MaxPlusTruncMat<5, 2> . . . 11μs Matrix 018: MaxPlusTruncMat<5> . . . 10μs Matrix 019: MaxPlusTruncMat<> . . . 16μs Matrix 020: MaxPlusTruncMat<5, 4> . . . 9000ns Matrix 021: MaxPlusTruncMat<5> . . . 10μs Matrix 022: MaxPlusTruncMat<> . . . 10μs Matrix 023: MaxPlusTruncMat<33, 3> . . . 20μs Matrix 024: MaxPlusTruncMat<33> . . . 17μs Matrix 025: MaxPlusTruncMat<> . . . 17μs Matrix 026: MaxPlusMat code cov . . . 2000ns Matrix 027: MinPlusTruncMat<33, 3> . . . 15μs Matrix 028: MinPlusTruncMat<33> . . . 18μs Matrix 029: MinPlusTruncMat<> . . . 22μs Matrix 030: NTPMat<0, 3, 3, 3> . . . 7000ns Matrix 031: NTPMat<0, 3> . . . 10μs Matrix 032: NTPMat<> . . . 20μs Matrix 033: NTPMat<0, 10, 4, 4> . . . 13μs Matrix 034: NTPMat<0, 10> . . . 13μs Matrix 035: NTPMat<> . . . 10μs Matrix 036: NTPMat<0, 10, 4, 4> . . . 10μs Matrix 037: NTPMat<0, 10> . . . 9000ns Matrix 038: NTPMat<> . . . 9000ns Matrix 039: NTPMat<33, 2, 3, 3> . . . 6000ns Matrix 040: NTPMat<33, 2> . . . 7000ns Matrix 041: NTPMat<> . . . 7000ns Matrix 042: ProjMaxPlusMat<3> . . . 51μs Matrix 043: ProjMaxPlusMat<> . . . 37μs Matrix 044: exceptions . . . 19μs Matrix 045: code coverage . . . 21μs MultiStringView 000: catch all . . . 38μs MultiStringView 001: is_prefix . . . 6000ns MultiStringView 002: erase . . . 7000ns MultiStringView 003: iterators . . . 4000ns MultiStringView 004: constructors (long) . . . 13μs MultiStringView 005: constructors (short) . . . 9000ns MultiStringView 006: copy assignment (short assigned to long) . . . 5000ns MultiStringView 007: copy assignment (short assigned to short) . . . 6000ns MultiStringView 008: move assignment (short assigned to long) . . . 6000ns MultiStringView 009: move assignment (short assigned to short) . . . 5000ns MultiStringView 010: code coverage . . . 12μs MultiStringView 011: pop_front . . . 21μs MultiStringView 012: append . . . 6000ns MultiStringView 013: operators . . . 7000ns MultiStringView 014: maximum_common_suffix . . . 5000ns MultiStringView 015: deep tests . . . 3000ns ObviouslyInfinite 011: Multiple rule additions . . . 32μs ObviouslyInfinite 012: A power of the generator 'b' does not [...] . . . 4000ns ObviouslyInfinite 013: Preserves the number of occurrences o [...] . . . 4000ns ObviouslyInfinite 014: Less relations than generators . . . 3000ns ObviouslyInfinite 015: Relations preserve length . . . 4000ns ObviouslyInfinite 016: Matrix has non empty kernel . . . 4000ns ObviouslyInfinite 017: Free product of trivial semigroups . . . 4000ns ObviouslyInfinite 018: Another free product . . . 5000ns ObviouslyInfinite 019: Infinite but not obviously so . . . 4000ns ObviouslyInfinite 020: Finite semigroup . . . 5000ns PBR 001: universal product with convenience constructor . . . 27μs PBR 002: universal product . . . 8000ns PBR 003: product [bigger than previous] . . . 14μs PBR 004: hash . . . 3000ns PBR 005: delete/copy . . . 8000ns PBR 006: exceptions . . . 82μs PBR 007: operators . . . 36μs PBR 008: to_string . . . 8000ns PBR 009: identity . . . 23μs PBR 010: adapters . . . 2000ns Pool 000: initial . . . 19μs Pool 001: bmat . . . 14μs Pool 002: PoolGuard . . . 8000ns Pool 003: transformation products . . . 5000ns Presentation 000: vectors of ints . . . 50μs Presentation 001: strings . . . 42μs Presentation 002: constructors (word_type) . . . 14μs Presentation 003: constructors (StaticVector1) . . . 21μs Presentation 004: constructors (std::string) . . . 15μs Presentation 005: alphabet + letters (word_type) . . . 66μs Presentation 006: alphabet + letters (std::string) . . . 17μs Presentation 007: contains_empty_word . . . 4000ns Presentation 008: validate_rules throws . . . 23μs Presentation 009: helpers add_rule(s) . . . 46μs Presentation 010: helpers add_rule(s) (std::string) . . . 15μs Presentation 011: helpers add_identity_rules (std::vector/St [...] . . . 19μs Presentation 012: helpers add_identity_rules (std::string) . . . 11μs Presentation 013: helpers add_inverse_rules (all) . . . 99μs Presentation 014: helpers add_inverse_rules (std::string) . . . 15μs Presentation 015: helpers remove_duplicate_rules . . . 29μs Presentation 016: helpers reduce_complements . . . 77μs Presentation 017: helpers sort_each_rule . . . 26μs Presentation 018: helpers sort_rules . . . 27μs Presentation 019: helpers longest_common_subword/replace_subword . . . 145μs Presentation 020: helpers redundant_rule . . . 4322μs Presentation 021: helpers shortlex_compare_concat . . . 3000ns Presentation 022: helpers remove_trivial_rules . . . 32μs Presentation 023: helpers replace_subword (existing, replacement) . . . 29μs Presentation 024: helpers longest_rule . . . 53μs Presentation 025: helpers longest_rule_length . . . 45μs Presentation 026: helpers remove_redundant_generators . . . 46μs Presentation 027: helpers reverse . . . 9000ns Presentation 028: in_alphabet . . . 10μs Presentation 029: replace_subword with empty word . . . 7000ns Presentation 030: helpers replace_word . . . 16μs Presentation 031: clear . . . 3000ns Presentation 032: letter . . . 15μs Presentation 033: normalize_alphabet . . . 6000ns Presentation 034: longest_common_subword issue . . . 178μs Presentation 035: helpers add_zero_rules (std::vector/Static [...] . . . 17μs Presentation 036: helpers add_zero_rules (std::string) . . . 11μs Presentation 037: make_semigroup . . . 25μs Presentation 038: greedy_reduce_length . . . 105μs Presentation 039: aaaaaaaab = aaaaaaaaab strong compression . . . 23μs Presentation 040: change_alphabet . . . 34μs Presentation 041: sort_rules bug . . . 111μs Presentation 042: first_unused_letter/letter . . . 83μs Presentation 043: case where strong compression doesn't work . . . 12μs Presentation 044: proof that . . . 19μs Presentation 045: decompression . . . 6000ns Race 001: run_for . . . 10ms Race 002: run_until . . . 10ms Race 003: exceptions . . . 10ms Race 004: iterators . . . 3000ns Race 005: find_runner . . . 4000ns Race 006: run_func . . . 27ms Race 007: run_func . . . 10ms Race 008: run_func . . . 15ms Runner 000: run_for . . . 10ms Runner 001: run_for . . . 1003μs Runner 002: run_for . . . 212ms Runner 003: run_for . . . 25ms Runner 004: started . . . 1005μs Runner 005: run_until . . . 2200μs Runner 006: kill . . . 3000ns Runner 007: copy constructor . . . 10ms Runner 008: report . . . 20ms Runner 009: run_until with function pointer . . . 4000ns SchreierSims 001: trivial perm. group (degree 1) . . . 19μs SchreierSims 002: trivial perm. group (degree 2) . . . 10μs SchreierSims 003: trivial perm. group (degree 500) . . . 194μs SchreierSims 004: symmetric perm. group (degree 5) . . . 12μs SchreierSims 005: symmetric perm. group (degree 8) . . . 25μs SchreierSims 006: symmetric perm. group (degree 9) . . . 34μs SchreierSims 007: alternating perm. group (degree 12) . . . 54μs SchreierSims 008: symmetric perm. group (degree 16) . . . 414μs SchreierSims 009: alternating perm. group (degree 15) . . . 205μs SchreierSims 010: alternating perm. group (degree 16) . . . 467μs SchreierSims 011: dihedral perm. group (order 10) . . . 5000ns SchreierSims 012: dihedral perm. group (order 200) . . . 883μs SchreierSims 013: perm. group T (order 12) . . . 7000ns SchreierSims 014: quaternion perm. group (order 8) . . . 8000ns SchreierSims 015: perm. group (order 84129611558952960) . . . 96ms SchreierSims 016: perm. group SL(3, 5) (order 372000) . . . 596μs SchreierSims 017: perm. group PSL(4, 8) (order 34558531338240) . . . 39ms SchreierSims 018: perm. Mathieu group M11 (order 7920) . . . 51μs SchreierSims 019: perm. Mathieu group M24 (order 244823040) . . . 99μs SchreierSims 020: perm. Janko Group J1 (order 175560) . . . 1375μs SchreierSims 021: perm. Hall-Janko group (order 604800) . . . 215μs SchreierSims 022: perm. Hall-Janko group (alt.) (order 604800) . . . 8345μs SchreierSims 023: perm. Conway group Co3 (order 495766656000) . . . 3341μs SchreierSims 024: perm. Conway group Co3 (alt.) (order 49576 [...] . . . 6543μs SchreierSims 025: perm. Suzuki group (order 448345497600) . . . 46ms SchreierSims 027: perm. Held group (order 4030387200) . . . 60ms 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) . . . 39μs SchreierSims 031: perm. group C3 x D8 x A5 (order 1440) . . . 36μs SchreierSims 032: perm. group GL(4, 3) (order 24261120) . . . 356μs SchreierSims 033: perm. group PSL(3, 7) (order 1876896) . . . 408μs SchreierSims 037: symmetric perm. group (degree 5) . . . 15μs SchreierSims 038: alternating perm. group (degree 17) . . . 2277μs SchreierSims 039: exceptions . . . 48μs SchreierSims 040: exceptions . . . 23μs SchreierSims 041: trivial group . . . 16μs SchreierSims 042: A17 bug . . . 1874μs SchreierSims 043: orbits_lookup test . . . 270μs SchreierSims 044: transversal_element and inversal_element test . . . 708μs SchreierSimsHelper 001: trivial perm. group intersection (de [...] . . . 8000ns SchreierSimsHelper 002: trivial perm. group intersection (de [...] . . . 10μs SchreierSimsHelper 003: cyclic group intersection (degree 13) . . . 18μs SchreierSimsHelper 004: D10 and Z5 intersection . . . 18μs SchreierSimsHelper 005: D8 and Q8 intersection . . . 21μs SchreierSimsHelper 006: primitive on 8 points intersection . . . 48μs SchreierSimsHelper 007: primitive on 8 points intersection ( [...] . . . 43μs SchreierSimsHelper 008: A13 and PGL(2, 11) intersection . . . 420μs SchreierSimsHelper 009: A13 and PGL(2, 11) intersection (swa [...] . . . 3706μs SchreierSimsHelper 012: 3^3:13 and 3^3.2.A(4) intersection . . . 87μs SchreierSimsHelper 015: 3^3(S(4) x 2) and ASL(3, 3) intersection . . . 156μs SchreierSimsHelper 016: 7^2:3 x Q(8) and 7^2:D(2*6) intersection . . . 219μs SchreierSimsHelper 018: D(2*53) and 53:13 intersection . . . 131μs SchreierSimsHelper 019: 2^6:(7 x D_14) and PSL(2, 6)^2.4 int [...] . . . 1376μs SchreierSimsHelper 020: 2^6:(S_3 x GL(3, 2)) and 2.6:Alt(7) [...] . . . 110ms SchreierSimsHelper 022: PSL(2, 127) and AGL(1, 2^7) intersection . . . 9050μs SchreierSimsHelper 023: PSL(3, 4).2 and PSL(3, 4).2 (nontriv [...] . . . 1016μs SchreierSimsHelper 024: PSL(3, 4).Sym(3) and PSL(3, 4).2 int [...] . . . 1044μs SchreierSimsHelper 025: 3^4:5:4 and D_16:4 intersection . . . 583μs Sims1 000: fp example 1 . . . 9463μs Sims1 001: fp example 2 . . . 1254μs Sims1 002: ToddCoxeter failing example . . . 13ms Sims1 003: ToddCoxeter failing example . . . 527μs Sims1 004: partition_monoid(2) right . . . 12ms Sims1 006: full_transformation_monoid(3) right . . . 5884μs Sims1 007: full_transformation_monoid(3) left . . . 3170μs Sims1 009: rook_monoid(2, 1) . . . 62μs Sims1 010: symmetric_inverse_monoid(2) from FroidurePin . . . 60μs Sims1 011: symmetric_inverse_monoid(3) . . . 6021μs Sims1 014: temperley_lieb_monoid(3) from presentation . . . 43μs Sims1 015: temperley_lieb_monoid(4) from presentation . . . 546μs Sims1 016: fp semigroup containing given pairs #1 . . . 170μs Sims1 017: fp semigroup containing given pairs #2 . . . 171μs Sims1 018: fp semigroup containing given pairs #3 . . . 277μs Sims1 019: ToddCoxeter failing example . . . 762μs Sims1 020: fp example 2 . . . 1345μs Sims1 021: exceptions . . . 118μs Sims1 027: from https://mathoverflow.net/questions/423541/ . . . 23ms Sims1 028: from https://mathoverflow.net/questions/423541/ . . . 28ms Sims1 030: presentation with one free generator . . . 168μs Sims1 031: presentation with non-zero index generators . . . 35μs Sims1 032: presentation with empty word . . . 16ms Sims1 033: constructors . . . 871μs Sims1 034: split_at . . . 137μs Sims1 035: stats . . . 53μs Sims1 036: check iterator requirements . . . 80μs Sims1 040: TransitiveGroup(10, 32) - minimal rep . . . 2376μs Sims1 043: rectangular_band(2, 2) - with and without identity . . . 125μs Sims1 044: trivial group - minimal o.r.c. rep . . . 47μs Sims1 045: right zero semigroup - minimal o.r.c. rep . . . 2176μs Sims1 046: semigroup with faithful non-strictly cyclic actio [...] . . . 342μs Sims1 068: RepOrc . . . 33ms Sims1 069: fp example 1 . . . 270μ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 533μs (97ns 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 . . . 588μs Sims1 072: symmetric_group(n) for n = 4 . . . 9150μs Sims1 073: corner case no generators + no relations . . . 40μs Sims1 076: uninitialized RepOrc . . . 11μs SmallestInteger 001: . . . 4000ns StaticTriVector2 045: all . . . 9000ns StaticVector2 043: all . . . 9000ns Stephen 000: basic test 1 . . . 141μs Stephen 001: basic test 2 . . . 77μs Stephen 002: full transf monoid . . . 13ms Stephen 003: from step_hen 002 . . . 27μs Stephen 004: from step_hen 003 . . . 97μs Stephen 005: from step_hen 004 . . . 23μs Stephen 006: from step_hen 005 . . . 61μs Stephen 008: C(4) monoid normal form (test_case_knuth_bendix_055) . . . 99μs Stephen 009: C(4) monoid normal form (test_case_gap_smallove [...] . . . 46μs Stephen 010: code coverage . . . 162μs Stephen 011: C(4) monoid normal form (test_case_gap_smallove [...] . . . 134μs Stephen 012: C(4) monoid normal form (test_case_gap_smallove [...] . . . 124μs Stephen 013: C(4) monoid equal to (test_case_gap_smalloverlap_70) . . . 56μs Stephen 014: C(4) monoid normal form (test_case_ex_3_13_14) . . . 176μs Stephen 015: C(4) monoid normal form (test_case_ex_3_15) . . . 209μs Stephen 016: C(4) monoid normal form (test_case_ex_3_16) . . . 163μs Stephen 017: C(4) monoid normal form (test_case_mt_3) . . . 81μs Stephen 018: C(4) monoid normal form (test_case_mt_5) . . . 70μs Stephen 019: C(4) monoid normal form (test_case_mt_6) . . . 175μs Stephen 020: C(4) monoid normal form (test_case_mt_10) . . . 62μs Stephen 021: C(4) monoid normal form (test_case_mt_13) . . . 46μs Stephen 022: C(4) monoid normal form (test_case_mt_14) . . . 44μs Stephen 023: C(4) monoid normal form (test_case_mt_15) . . . 46μs Stephen 024: C(4) monoid normal form (test_case_mt_16) . . . 116μs Stephen 025: C(4) monoid normal form (test_case_mt_17) . . . 162μs Stephen 026: C(4) monoid normal form (test_case_weak_1) . . . 128μs Stephen 027: C(4) monoid normal form (test_case_weak_2) . . . 87μs Stephen 028: C(4) monoid normal form (test_case_weak_3) . . . 119μs Stephen 029: C(4) monoid normal form (test_case_weak_4) . . . 118μs Stephen 030: C(4) monoid normal form (test_case_weak_5) . . . 58μs Stephen 031: Test behaviour when uninitialised . . . 97μs Suf 005: unite . . . 14μs Suf 007: compress . . . 5000ns Suf 011: big chain . . . 11ms Suf 013: empty table . . . 2000ns Suf 015: join . . . 5000ns Suf 017: contains . . . 15μs Suf 019: swap . . . 14μs Timer 001: string method (1 argument) . . . 11μs Timer 002: string method (0 arguments) . . . 10ms Timer 003: reset/elapsed method . . . 23ms Timer 004: operator<< . . . 3000ns ToddCoxeter 000: small 2-sided congruence . . .  -- with HLT + no standardise + full lookahead + no save 817μs  -- with HLT + standardise + full lookahead + no save 720μs  -- with HLT + no standardise + partial lookahead + no save 703μs  -- with HLT + standardise + partial lookahead + no save 694μs  -- with HLT + no standardise + full lookahead + save 719μs  -- with HLT + standardise + full lookahead + save 713μs  -- with HLT + no standardise + partial lookahead + save 712μs  -- with HLT + standardise + partial lookahead + save 738μs  -- with Felsch + no standardisation 704μs  -- with Felsch + standardisation 698μs  -- with random strategy 705μs  -- with Rc style + full lookahead 692μs  -- with Rc style + partial lookahead 693μs  -- with R/C style 695μs  -- with CR style 732μs  -- with Cr style 703μs ToddCoxeter 001: small 2-sided congruence . . .  -- with HLT + no standardise + full lookahead + no save 3784μs  -- with HLT + standardise + full lookahead + no save 3728μs  -- with HLT + no standardise + partial lookahead + no save 3725μs  -- with HLT + standardise + partial lookahead + no save 3723μs  -- with HLT + no standardise + full lookahead + save 3696μs  -- with HLT + standardise + full lookahead + save 3621μs  -- with HLT + no standardise + partial lookahead + save 4211μs  -- with HLT + standardise + partial lookahead + save 3719μs  -- with Felsch + no standardisation 3677μs  -- with Felsch + standardisation 3618μs  -- with random strategy 3626μs  -- with Rc style + full lookahead 3632μs  -- with Rc style + partial lookahead 3634μs  -- with R/C style 3626μs  -- with CR style 3960μs  -- with Cr style 3721μs ToddCoxeter 003: constructed from FroidurePin . . .  -- with Felsch + no standardisation 232ms  -- with Felsch + standardisation 207ms  -- with HLT + no standardise + full lookahead + no save 60ms  -- with HLT + standardise + full lookahead + no save 177ms  -- with HLT + no standardise + partial lookahead + no save 106ms  -- with HLT + standardise + partial lookahead + no save 59ms  -- with HLT + no standardise + full lookahead + save 196ms  -- with HLT + standardise + full lookahead + save 265ms  -- with HLT + no standardise + partial lookahead + save 244ms  -- with HLT + standardise + partial lookahead + save 400ms  -- with random strategy 189ms  -- with Rc style + full lookahead 352ms  -- with Rc style + partial lookahead 200ms  -- with R/C style 74ms  -- with CR style 470ms  -- with Cr style 334ms ToddCoxeter 004: 2-sided congruence from FroidurePin . . .  -- with HLT + no standardise + full lookahead + no save 189μs  -- with HLT + standardise + full lookahead + no save 118μs  -- with HLT + no standardise + partial lookahead + no save 114μs  -- with HLT + standardise + partial lookahead + no save 114μs  -- with HLT + save (throws) 149μs  -- with Felsch (throws) 118μs  -- with random strategy 112μ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 20μs  -- with HLT + no standardise + partial lookahead + no save 18μs  -- with HLT + standardise + partial lookahead + no save 17μs  -- with HLT + no standardise + full lookahead + save 30μs  -- with HLT + standardise + full lookahead + save 24μs  -- with HLT + no standardise + partial lookahead + save 23μs  -- with HLT + standardise + partial lookahead + save 23μs  -- with Felsch + no standardisation 21μs  -- with Felsch + standardisation 20μs  -- with random strategy 22μs  -- with Rc style + full lookahead 19μs  -- with Rc style + partial lookahead 18μs  -- with R/C style 18μs  -- with CR style 20μs  -- with Cr style 21μs ToddCoxeter 006: small right cong. on free semigroup . . .  -- with HLT + no standardise + full lookahead + no save 19μs  -- with HLT + standardise + full lookahead + no save 14μs  -- with HLT + no standardise + partial lookahead + no save 13μs  -- with HLT + standardise + partial lookahead + no save 13μs  -- with HLT + no standardise + full lookahead + save 17μs  -- with HLT + standardise + full lookahead + save 16μs  -- with HLT + no standardise + partial lookahead + save 18μs  -- with HLT + standardise + partial lookahead + save 15μs  -- with Felsch + no standardisation 15μs  -- with Felsch + standardisation 16μs  -- with random strategy 16μs  -- with Rc style + full lookahead 13μs  -- with Rc style + partial lookahead 13μs  -- with R/C style 14μs  -- with CR style 15μs  -- with Cr style 15μs ToddCoxeter 007: left cong. on free semigroup . . .  -- with HLT + no standardise + full lookahead + no save 20μs  -- with HLT + standardise + full lookahead + no save 16μs  -- with HLT + no standardise + partial lookahead + no save 15μs  -- with HLT + standardise + partial lookahead + no save 15μs  -- with HLT + no standardise + full lookahead + save 18μs  -- with HLT + standardise + full lookahead + save 18μs  -- with HLT + no standardise + partial lookahead + save 17μs  -- with HLT + standardise + partial lookahead + save 17μs  -- with Felsch + no standardisation 18μs  -- with Felsch + standardisation 19μs  -- with random strategy 19μs  -- with Rc style + full lookahead 17μs  -- with Rc style + partial lookahead 17μs  -- with R/C style 17μs  -- with CR style 19μs  -- with Cr style 19μs ToddCoxeter 008: for small fp semigroup . . .  -- with HLT + no standardise + full lookahead + no save 18μs  -- with HLT + standardise + full lookahead + no save 14μs  -- with HLT + no standardise + partial lookahead + no save 13μs  -- with HLT + standardise + partial lookahead + no save 13μs  -- with HLT + no standardise + full lookahead + save 24μs  -- with HLT + standardise + full lookahead + save 22μs  -- with HLT + no standardise + partial lookahead + save 23μs  -- with HLT + standardise + partial lookahead + save 21μs  -- with Felsch + no standardisation 21μs  -- with Felsch + standardisation 21μs  -- with random strategy 22μs  -- with Rc style + full lookahead 15μs  -- with Rc style + partial lookahead 14μs  -- with R/C style 14μs  -- with CR style 21μs  -- with Cr style 24μs ToddCoxeter 009: 2-sided cong. trans. semigroup . . .  -- with HLT + no standardise + full lookahead + no save 148μs  -- with HLT + standardise + full lookahead + no save 126μs  -- with HLT + no standardise + partial lookahead + no save 119μs  -- with HLT + standardise + partial lookahead + no save 123μs  -- with HLT + no standardise + full lookahead + save 392μs  -- with HLT + standardise + full lookahead + save 384μs  -- with HLT + no standardise + partial lookahead + save 371μs  -- with HLT + standardise + partial lookahead + save 374μs  -- with Felsch + no standardisation 331μs  -- with Felsch + standardisation 331μs  -- with random strategy 132μs  -- with Rc style + full lookahead 128μs  -- with Rc style + partial lookahead 131μs  -- with R/C style 138μs  -- with CR style 330μs  -- with Cr style 334μs ToddCoxeter 010: left congruence on transformation semigroup . . .  -- with HLT + no standardise + full lookahead + no save 148μs  -- with HLT + standardise + full lookahead + no save 362μs  -- with HLT + no standardise + partial lookahead + no save 145μs  -- with HLT + standardise + partial lookahead + no save 149μs  -- with HLT + no standardise + full lookahead + save 415μs  -- with HLT + standardise + full lookahead + save 414μs  -- with HLT + no standardise + partial lookahead + save 405μs  -- with HLT + standardise + partial lookahead + save 405μs  -- with Felsch + no standardisation 353μs  -- with Felsch + standardisation 336μs  -- with random strategy 442μs  -- with Rc style + full lookahead 169μs  -- with Rc style + partial lookahead 169μs  -- with R/C style 195μs  -- with CR style 371μs  -- with Cr style 365μs ToddCoxeter 011: right cong. trans. semigroup . . .  -- with HLT + no standardise + full lookahead + no save 154μs  -- with HLT + standardise + full lookahead + no save 161μs  -- with HLT + no standardise + partial lookahead + no save 147μs  -- with HLT + standardise + partial lookahead + no save 157μs  -- with HLT + no standardise + full lookahead + save 396μs  -- with HLT + standardise + full lookahead + save 387μs  -- with HLT + no standardise + partial lookahead + save 378μs  -- with HLT + standardise + partial lookahead + save 383μs  -- with Felsch + no standardisation 290μs  -- with Felsch + standardisation 308μs  -- with random strategy 185μs  -- with Rc style + full lookahead 174μs  -- with Rc style + partial lookahead 173μs  -- with R/C style 203μs  -- with CR style 310μs  -- with Cr style 309μs ToddCoxeter 012: trans. semigroup (size 88) . . .  -- with HLT + no standardise + full lookahead + no save 99μs  -- with HLT + standardise + full lookahead + no save 94μs  -- with HLT + no standardise + partial lookahead + no save 91μs  -- with HLT + standardise + partial lookahead + no save 93μs  -- with HLT + save (throws) 98μs  -- with Felsch (throws) 101μs  -- with random strategy 95μs ToddCoxeter 013: left cong. on trans. semigroup (size 88) . . .  -- with HLT + no standardise + full lookahead + no save 131μs  -- with HLT + standardise + full lookahead + no save 135μs  -- with HLT + no standardise + partial lookahead + no save 123μs  -- with HLT + standardise + partial lookahead + no save 128μs  -- with HLT + no standardise + full lookahead + save 531μs  -- with HLT + standardise + full lookahead + save 396μs  -- with HLT + no standardise + partial lookahead + save 381μs  -- with HLT + standardise + partial lookahead + save 454μs  -- with Felsch + no standardisation 331μs  -- with Felsch + standardisation 320μs  -- with random strategy 160μs  -- with Rc style + full lookahead 149μs  -- with Rc style + partial lookahead 149μs  -- with R/C style 176μs  -- with CR style 353μs  -- with Cr style 347μs ToddCoxeter 014: right cong. on trans. semigroup (size 88) . . .  -- with HLT + no standardise + full lookahead + no save 132μs  -- with HLT + standardise + full lookahead + no save 136μs  -- with HLT + no standardise + partial lookahead + no save 127μs  -- with HLT + standardise + partial lookahead + no save 133μs  -- with HLT + no standardise + full lookahead + save 373μs  -- with HLT + standardise + full lookahead + save 367μs  -- with HLT + no standardise + partial lookahead + save 1578μs  -- with HLT + standardise + partial lookahead + save 372μs  -- with Felsch + no standardisation 272μs  -- with Felsch + standardisation 288μs  -- with random strategy 166μs  -- with Rc style + full lookahead 155μs  -- with Rc style + partial lookahead 154μs  -- with R/C style 180μs  -- with CR style 290μs  -- with Cr style 288μs ToddCoxeter 015: finite fp-semigroup, dihedral group of order 6 . . .  -- with HLT + no standardise + full lookahead + no save 40μs  -- with HLT + standardise + full lookahead + no save 37μs  -- with HLT + no standardise + partial lookahead + no save 32μs  -- with HLT + standardise + partial lookahead + no save 34μs  -- with HLT + no standardise + full lookahead + save 47μs  -- with HLT + standardise + full lookahead + save 44μs  -- with HLT + no standardise + partial lookahead + save 43μs  -- with HLT + standardise + partial lookahead + save 43μs  -- with Felsch + no standardisation 40μs  -- with Felsch + standardisation 38μs  -- with random strategy 41μs  -- with Rc style + full lookahead 33μs  -- with Rc style + partial lookahead 32μs  -- with R/C style 33μs  -- with CR style 39μs  -- with Cr style 38μs ToddCoxeter 016: finite fp-semigroup, size 16 . . .  -- with HLT + no standardise + full lookahead + no save 40μs  -- with HLT + standardise + full lookahead + no save 37μs  -- with HLT + no standardise + partial lookahead + no save 33μs  -- with HLT + standardise + partial lookahead + no save 35μs  -- with HLT + no standardise + full lookahead + save 85μs  -- with HLT + standardise + full lookahead + save 83μs  -- with HLT + no standardise + partial lookahead + save 79μs  -- with HLT + standardise + partial lookahead + save 80μs  -- with Felsch + no standardisation 72μs  -- with Felsch + standardisation 68μs  -- with random strategy 73μs  -- with Rc style + full lookahead 37μs  -- with Rc style + partial lookahead 36μs  -- with R/C style 40μs  -- with CR style 70μs  -- with Cr style 69μs ToddCoxeter 017: finite fp-semigroup, size 16 . . .  -- with HLT + no standardise + full lookahead + no save 107μs  -- with HLT + standardise + full lookahead + no save 97μs  -- with HLT + no standardise + partial lookahead + no save 92μs  -- with HLT + standardise + partial lookahead + no save 98μs  -- with HLT + no standardise + full lookahead + save 218μs  -- with HLT + standardise + full lookahead + save 218μs  -- with HLT + no standardise + partial lookahead + save 210μs  -- with HLT + standardise + partial lookahead + save 217μs  -- with Felsch + no standardisation 187μs  -- with Felsch + standardisation 182μs  -- with random strategy 205μs  -- with Rc style + full lookahead 98μs  -- with Rc style + partial lookahead 95μs  -- with R/C style 101μs  -- with CR style 191μs  -- with Cr style 190μs ToddCoxeter 018: test lookahead . . .  -- with HLT + no standardise + full lookahead + no save 336μs  -- with HLT + standardise + full lookahead + no save 214μs  -- with HLT + no standardise + partial lookahead + no save 193μs  -- with HLT + standardise + partial lookahead + no save 198μs  -- with HLT + no standardise + full lookahead + save 363μs  -- with HLT + standardise + full lookahead + save 358μs  -- with HLT + no standardise + partial lookahead + save 353μs  -- with HLT + standardise + partial lookahead + save 360μs ToddCoxeter 019: non-trivial left cong. from semigroup . . .  -- with HLT + no standardise + full lookahead + no save 77μs  -- with HLT + standardise + full lookahead + no save 78μs  -- with HLT + no standardise + partial lookahead + no save 73μs  -- with HLT + standardise + partial lookahead + no save 77μs  -- with HLT + save (throws) 80μs  -- with Felsch (throws) 77μs  -- with random strategy 80μs ToddCoxeter 020: 2-sided cong. on free semigroup . . .  -- with HLT + no standardise + full lookahead + no save 10μs  -- with HLT + standardise + full lookahead + no save 7000ns  -- with HLT + no standardise + partial lookahead + no save 8000ns  -- with HLT + standardise + partial lookahead + no save 7000ns  -- with HLT + no standardise + full lookahead + save 7000ns  -- with HLT + standardise + full lookahead + save 7000ns  -- with HLT + no standardise + partial lookahead + save 7000ns  -- with HLT + standardise + partial lookahead + save 7000ns  -- with Felsch + no standardisation 7000ns  -- with Felsch + standardisation 7000ns  -- with random strategy 7000ns ToddCoxeter 021: calling run when obviously infinite . . .  -- with HLT + no standardise + full lookahead + no save 28μs  -- with HLT + standardise + full lookahead + no save 16μs  -- with HLT + no standardise + partial lookahead + no save 16μs  -- with HLT + standardise + partial lookahead + no save 16μs  -- with HLT + no standardise + full lookahead + save 16μs  -- with HLT + standardise + full lookahead + save 16μs  -- with HLT + no standardise + partial lookahead + save 22μs  -- with HLT + standardise + partial lookahead + save 17μs  -- with Felsch + no standardisation 16μs  -- with Felsch + standardisation 15μs  -- with random strategy 15μs ToddCoxeter 022: stellar_monoid S3 . . .  -- with HLT + no standardise + full lookahead + no save 66μs  -- with HLT + standardise + full lookahead + no save 59μs  -- with HLT + no standardise + partial lookahead + no save 51μs  -- with HLT + standardise + partial lookahead + no save 55μs  -- with HLT + no standardise + full lookahead + save 1549μs  -- with HLT + standardise + full lookahead + save 132μs  -- with HLT + no standardise + partial lookahead + save 120μs  -- with HLT + standardise + partial lookahead + save 124μs  -- with Felsch + no standardisation 105μs  -- with Felsch + standardisation 99μs  -- with random strategy 105μs  -- with Rc style + full lookahead 55μs  -- with Rc style + partial lookahead 53μs  -- with R/C style 57μs  -- with CR style 101μs  -- with Cr style 101μs ToddCoxeter 023: finite semigroup (size 5) . . .  -- with HLT + no standardise + full lookahead + no save 16μs  -- with HLT + standardise + full lookahead + no save 13μs  -- with HLT + no standardise + partial lookahead + no save 12μs  -- with HLT + standardise + partial lookahead + no save 12μs  -- with HLT + no standardise + full lookahead + save 16μs  -- with HLT + standardise + full lookahead + save 15μs  -- with HLT + no standardise + partial lookahead + save 14μs  -- with HLT + standardise + partial lookahead + save 14μs  -- with Felsch + no standardisation 15μs  -- with Felsch + standardisation 15μs  -- with random strategy 13μs  -- with Rc style + full lookahead 13μs  -- with Rc style + partial lookahead 12μs  -- with R/C style 12μs  -- with CR style 14μs  -- with Cr style 14μs ToddCoxeter 024: exceptions . . .  -- with HLT + no standardise + full lookahead + no save 81μs  -- with HLT + standardise + full lookahead + no save 69μs  -- with HLT + no standardise + partial lookahead + no save 68μs  -- with HLT + standardise + partial lookahead + no save 69μs  -- with HLT + no standardise + full lookahead + save 70μs  -- with HLT + standardise + full lookahead + save 70μs  -- with HLT + no standardise + partial lookahead + save 69μs  -- with HLT + standardise + partial lookahead + save 70μs  -- with Felsch + no standardisation 70μs  -- with Felsch + standardisation 70μs  -- with random strategy 69μs  -- with Rc style + full lookahead 69μs  -- with Rc style + partial lookahead 68μs  -- with R/C style 69μs  -- with CR style 70μs  -- with Cr style 70μs ToddCoxeter 025: obviously infinite . . .  -- with HLT + no standardise + full lookahead + no save 20μs  -- with HLT + standardise + full lookahead + no save 17μ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 17μs  -- with HLT + standardise + full lookahead + save 17μs  -- with HLT + no standardise + partial lookahead + save 17μs  -- with HLT + standardise + partial lookahead + save 18μs  -- with Felsch + no standardisation 17μs  -- with Felsch + standardisation 18μs  -- with random strategy 17μs ToddCoxeter 026: exceptions . . .  -- with HLT + no standardise + full lookahead + no save 53μs  -- with HLT + standardise + full lookahead + no save 40μs  -- with HLT + no standardise + partial lookahead + no save 38μs  -- with HLT + standardise + partial lookahead + no save 39μs  -- with HLT + no standardise + full lookahead + save 42μs  -- with HLT + standardise + full lookahead + save 41μs  -- with HLT + no standardise + partial lookahead + save 40μs  -- with HLT + standardise + partial lookahead + save 40μs  -- with Felsch + no standardisation 40μs  -- with Felsch + standardisation 40μs  -- with random strategy 41μs  -- with Rc style + full lookahead 38μs  -- with Rc style + partial lookahead 38μs  -- with R/C style 38μs  -- with CR style 40μs  -- with Cr style 40μs ToddCoxeter 027: empty . . . 36μs ToddCoxeter 028: congruence of fpsemigroup::ToddCoxeter . . .  -- with HLT + no standardise + full lookahead + no save 78μs  -- with HLT + standardise + full lookahead + no save 53μs  -- with HLT + no standardise + partial lookahead + no save 51μs  -- with HLT + standardise + partial lookahead + no save 50μs  -- with HLT + save (throws) 54μs  -- with Felsch (throws) 54μs  -- with random strategy 54μs  -- with HLT + no standardise + full lookahead + save 53μs  -- with HLT + standardise + full lookahead + save 51μs  -- with HLT + no standardise + partial lookahead + save 51μs  -- with HLT + standardise + partial lookahead + save 51μs  -- with Felsch + no standardisation 52μs  -- with Felsch + standardisation 51μs  -- with Rc style + full lookahead 50μs  -- with Rc style + partial lookahead 49μs  -- with R/C style 49μs  -- with CR style 51μs  -- with Cr style 50μs ToddCoxeter 029: !KnuthBendix.started() . . .  -- with HLT + no standardise + full lookahead + no save and 2-sided 50μs  -- with HLT + standardise + full lookahead + no save and 2-sided 24μs  -- with HLT + no standardise + partial lookahead + no save and 2-sided 23μs  -- with HLT + standardise + partial lookahead + no save and 2-sided 22μs  -- with HLT + no standardise + full lookahead + save and 2-sided 26μs  -- with HLT + standardise + full lookahead + save and 2-sided 25μs  -- with HLT + no standardise + partial lookahead + save and 2-sided 24μs  -- with HLT + standardise + partial lookahead + save and 2-sided 24μs  -- with Felsch + no standardisation and 2-sided 24μs  -- with Felsch + standardisation and 2-sided 23μs  -- with random strategy and 2-sided 25μs  -- with HLT + no standardise + full lookahead + no save and left 26μs  -- with HLT + standardise + full lookahead + no save and left 22μs  -- with HLT + no standardise + partial lookahead + no save and left 22μs  -- with HLT + standardise + partial lookahead + no save and left 22μs  -- with HLT + no standardise + full lookahead + save and left 27μs  -- with HLT + standardise + full lookahead + save and left 26μs  -- with HLT + no standardise + partial lookahead + save and left 995μs  -- with HLT + standardise + partial lookahead + save and left 30μs  -- with Felsch + no standardisation and left 27μs  -- with Felsch + standardisation and left 27μs  -- with random strategy and left 24μs  -- with HLT + no standardise + full lookahead + no save and right 25μs  -- with HLT + standardise + full lookahead + no save and right 22μs  -- with HLT + no standardise + partial lookahead + no save and right 22μs  -- with HLT + standardise + partial lookahead + no save and right 21μs  -- with HLT + no standardise + full lookahead + save and right 26μs  -- with HLT + standardise + full lookahead + save and right 26μs  -- with HLT + no standardise + partial lookahead + save and right 26μs  -- with HLT + standardise + partial lookahead + save and right 26μs  -- with Felsch + no standardisation and right 26μs  -- with Felsch + standardisation and right 26μs  -- with random strategy and right 27μs ToddCoxeter 030: KnuthBendix.finished() . . .  -- with HLT + no standardise + full lookahead + no save and 2-sided 92μs  -- with HLT + standardise + full lookahead + no save and 2-sided 62μs  -- with HLT + no standardise + partial lookahead + no save and 2-sided 57μs  -- with HLT + standardise + partial lookahead + no save and 2-sided 55μs  -- with HLT + no standardise + full lookahead + save and 2-sided 58μs  -- with HLT + standardise + full lookahead + save and 2-sided 57μs  -- with HLT + no standardise + partial lookahead + save and 2-sided 56μs  -- with HLT + standardise + partial lookahead + save and 2-sided 56μs  -- with Felsch + no standardisation and 2-sided 54μs  -- with Felsch + standardisation and 2-sided 172μs  -- with random strategy and 2-sided 57μs  -- with HLT + no standardise + full lookahead + no save and left 59μs  -- with HLT + standardise + full lookahead + no save and left 56μs  -- with HLT + no standardise + partial lookahead + no save and left 55μs  -- with HLT + standardise + partial lookahead + no save and left 55μs  -- with HLT + no standardise + full lookahead + save and left 61μs  -- with HLT + standardise + full lookahead + save and left 60μs  -- with HLT + no standardise + partial lookahead + save and left 60μs  -- with HLT + standardise + partial lookahead + save and left 62μs  -- with Felsch + no standardisation and left 58μs  -- with Felsch + standardisation and left 58μs  -- with random strategy and left 61μs  -- with HLT + no standardise + full lookahead + no save and right 67μs  -- with HLT + standardise + full lookahead + no save and right 73μs  -- with HLT + no standardise + partial lookahead + no save and right 73μs  -- with HLT + standardise + partial lookahead + no save and right 71μs  -- with HLT + no standardise + full lookahead + save and right 78μs  -- with HLT + standardise + full lookahead + save and right 76μs  -- with HLT + no standardise + partial lookahead + save and right 80μs  -- with HLT + standardise + partial lookahead + save and right 76μs  -- with Felsch + no standardisation and right 70μs  -- with Felsch + standardisation and right 70μs  -- with random strategy and right 84μs ToddCoxeter 031: KnuthBendix.finished() . . .  -- with HLT + no standardise + full lookahead + no save and 2-sided 51μs  -- with HLT + standardise + full lookahead + no save and 2-sided 37μs  -- with HLT + no standardise + partial lookahead + no save and 2-sided 36μs  -- with HLT + standardise + partial lookahead + no save and 2-sided 35μs  -- with HLT + no standardise + full lookahead + save and 2-sided 38μs  -- with HLT + standardise + full lookahead + save and 2-sided 37μs  -- with HLT + no standardise + partial lookahead + save and 2-sided 36μs  -- with HLT + standardise + partial lookahead + save and 2-sided 39μs  -- with Felsch + no standardisation and 2-sided 35μs  -- with Felsch + standardisation and 2-sided 35μs  -- with random strategy and 2-sided 37μs  -- with Rc style + full lookahead and 2-sided 37μs  -- with Rc style + partial lookahead and 2-sided 36μs  -- with R/C style and 2-sided 35μs  -- with CR style and 2-sided 36μs  -- with Cr style and 2-sided 38μs  -- with HLT + no standardise + full lookahead + no save and left 41μs  -- with HLT + standardise + full lookahead + no save and left 37μs  -- with HLT + no standardise + partial lookahead + no save and left 36μs  -- with HLT + standardise + partial lookahead + no save and left 36μs  -- with HLT + no standardise + full lookahead + save and left 40μs  -- with HLT + standardise + full lookahead + save and left 39μs  -- with HLT + no standardise + partial lookahead + save and left 39μs  -- with HLT + standardise + partial lookahead + save and left 40μs  -- with Felsch + no standardisation and left 38μs  -- with Felsch + standardisation and left 38μs  -- with random strategy and left 42μs  -- with Rc style + full lookahead and left 38μs  -- with Rc style + partial lookahead and left 38μs  -- with R/C style and left 37μs  -- with CR style and left 40μs  -- with Cr style and left 42μs  -- with HLT + no standardise + full lookahead + no save and right 41μs  -- with HLT + standardise + full lookahead + no save and right 37μs  -- with HLT + no standardise + partial lookahead + no save and right 36μs  -- with HLT + standardise + partial lookahead + no save and right 36μs  -- with HLT + no standardise + full lookahead + save and right 40μs  -- with HLT + standardise + full lookahead + save and right 40μs  -- with HLT + no standardise + partial lookahead + save and right 40μs  -- with HLT + standardise + partial lookahead + save and right 40μs  -- with Felsch + no standardisation and right 38μs  -- with Felsch + standardisation and right 38μs  -- with random strategy and right 42μs  -- with Rc style + full lookahead and right 39μs  -- with Rc style + partial lookahead and right 39μs  -- with R/C style and right 37μs  -- with CR style and right 40μs  -- with Cr style and right 42μs ToddCoxeter 032: prefill . . . 81μs ToddCoxeter 033: congruence of ToddCoxeter . . .  -- with HLT + no standardise + full lookahead + no save 21μs  -- with HLT + standardise + full lookahead + no save 17μs  -- with HLT + no standardise + partial lookahead + no save 16μs  -- with HLT + standardise + partial lookahead + no save 17μs  -- with HLT + no standardise + full lookahead + save 19μs  -- with HLT + standardise + full lookahead + save 18μs  -- with HLT + no standardise + partial lookahead + save 18μs  -- with HLT + standardise + partial lookahead + save 18μs  -- with random strategy 18μs ToddCoxeter 034: congruence of ToddCoxeter . . .  -- with HLT + no standardise + full lookahead + no save 833μs  -- with HLT + standardise + full lookahead + no save 70μs  -- with HLT + no standardise + partial lookahead + no save 69μs  -- with HLT + standardise + partial lookahead + no save 64μs  -- with HLT + save (throws) 72μs  -- with Felsch (throws) 70μs  -- with random strategy 70μs ToddCoxeter 035: congruence on FpSemigroup . . .  -- with HLT + no standardise + full lookahead + no save 180μs  -- with HLT + standardise + full lookahead + no save 148μs  -- with HLT + no standardise + partial lookahead + no save 140μs  -- with HLT + standardise + partial lookahead + no save 137μs  -- with HLT + no standardise + full lookahead + save 157μs  -- with HLT + standardise + full lookahead + save 155μs  -- with HLT + no standardise + partial lookahead + save 151μs  -- with HLT + standardise + partial lookahead + save 150μs  -- with Felsch + no standardisation 147μs  -- with Felsch + standardisation 149μs  -- with random strategy 157μs  -- with Rc style + full lookahead 136μs  -- with Rc style + partial lookahead 136μs  -- with R/C style 134μs  -- with CR style 152μs  -- with Cr style 149μs ToddCoxeter 036: exceptions . . . 46μs ToddCoxeter 037: copy constructor . . . 17μs ToddCoxeter 038: simplify . . . 87μs ToddCoxeter 039: stylic_monoid . . . 698ms ToddCoxeter 041: some finite classes . . . 415μs ToddCoxeter 043: symmetric_group(7, Coxeter + Moser) . . . 160ms ToddCoxeter 044: Option exceptions . . . 61μs ToddCoxeter 045: Options operator<< . . . 366μs ToddCoxeter 046: Easdown-East-FitzGerald DualSymInv(5) . . .  -- with HLT + no standardise + full lookahead + no save 234ms  -- with HLT + standardise + full lookahead + no save 151ms  -- with HLT + no standardise + partial lookahead + no save 183ms  -- with HLT + standardise + partial lookahead + no save 184ms  -- with HLT + no standardise + full lookahead + save 164ms  -- with HLT + standardise + full lookahead + save 120ms  -- with HLT + no standardise + partial lookahead + save 123ms  -- with HLT + standardise + partial lookahead + save 222ms  -- with Felsch + no standardisation 128ms  -- with Felsch + standardisation 142ms  -- with random strategy 381ms  -- with R/C style 124ms  -- with Rc style + full lookahead 206ms  -- with Rc style + partial lookahead 196ms ToddCoxeter 047: uniform_block_bijection_monoid(3) (FitzGerald) . . .  -- with HLT + no standardise + full lookahead + no save 86μs  -- with HLT + standardise + full lookahead + no save 69μs  -- with HLT + no standardise + partial lookahead + no save 51μs  -- with HLT + standardise + partial lookahead + no save 54μs  -- with HLT + no standardise + full lookahead + save 131μs  -- with HLT + standardise + full lookahead + save 125μs  -- with HLT + no standardise + partial lookahead + save 117μs  -- with HLT + standardise + partial lookahead + save 135μs  -- with Felsch + no standardisation 86μs  -- with Felsch + standardisation 82μs  -- with random strategy 89μs  -- with R/C style 53μs  -- with Rc style + full lookahead 48μs  -- with Rc style + partial lookahead 48μs ToddCoxeter 048: stellar_monoid(7) (Gay-Hivert) . . . 134ms ToddCoxeter 049: partition_monoid(4) (East) . . .  -- with HLT + no standardise + full lookahead + no save 32ms  -- with HLT + standardise + full lookahead + no save 22ms  -- with HLT + no standardise + partial lookahead + no save 19ms  -- with HLT + standardise + partial lookahead + no save 24ms  -- with HLT + no standardise + full lookahead + save 45ms  -- with HLT + standardise + full lookahead + save 43ms  -- with HLT + no standardise + partial lookahead + save 144ms  -- with HLT + standardise + partial lookahead + save 82ms  -- with Felsch + no standardisation 71ms  -- with Felsch + standardisation 63ms  -- with random strategy 71ms  -- with R/C style 22ms  -- with Rc style + full lookahead 154ms  -- with Rc style + partial lookahead 73ms ToddCoxeter 050: singular_brauer_monoid(6) (Maltcev + Mazorchuk) . . . 430ms ToddCoxeter 051: orientation_preserving_monoid(6) (Ruskuc + [...] . . .  -- with HLT + no standardise + full lookahead + no save 14ms ToddCoxeter 052: orientation_reversing_monoid(5) (Ruskuc + [...] . . .  -- with HLT + no standardise + full lookahead + no save 4464μs ToddCoxeter 053: temperley_lieb_monoid(10) (East) . . . 26ms ToddCoxeter 063: add_rule . . .  -- with HLT + no standardise + full lookahead + no save 63μs  -- with HLT + standardise + full lookahead + no save 34μs  -- with HLT + no standardise + partial lookahead + no save 28μs  -- with HLT + standardise + partial lookahead + no save 28μs  -- with HLT + no standardise + full lookahead + save 34μs  -- with HLT + standardise + full lookahead + save 31μs  -- with HLT + no standardise + partial lookahead + save 31μs  -- with HLT + standardise + partial lookahead + save 30μs  -- with Felsch + no standardisation 31μs  -- with Felsch + standardisation 30μs  -- with random strategy 32μs  -- with Rc style + full lookahead 29μs  -- with Rc style + partial lookahead 28μs  -- with R/C style 28μs  -- with CR style 31μs  -- with Cr style 29μs  -- with R/C + Felsch lookahead 31μs  -- with HLT + Felsch lookahead + save 30μs  -- with Cr + small number of f_defs 31μs  -- with Rc + small number of deductions 28μs  -- with Felsch + v2 + no preferred defs 29μs  -- with Felsch + v2 + immediate no stack 31μs  -- with Felsch + v1 + immediate no stack 30μs  -- with Felsch + v1 + immediate yes stack 30μs  -- with large collapse 28μs ToddCoxeter 064: (from kbmag/standalone/kb_data/s4) (KnuthB [...] . . .  -- with HLT + no standardise + full lookahead + no save 184μs ToddCoxeter 066: test validate . . . 55μs ToddCoxeter 067: add_rules after construct. from semigroup . . .  -- with HLT + no standardise + full lookahead + no save 235μs  -- with HLT + standardise + full lookahead + no save 198μs  -- with HLT + no standardise + partial lookahead + no save 191μs  -- with HLT + standardise + partial lookahead + no save 189μs  -- with HLT + save (throws) 200μs  -- with Felsch (throws) 200μs  -- with random strategy 197μs ToddCoxeter 068: Sym(5) from Chapter 3, Proposition 1.1 in NR . . .  -- with Deduction policy == purge_from_top 542μs  -- with Deduction policy == purge_all 519μs  -- with Deduction policy == discard_all_if_no_space 458μs  -- with HLT + no standardise + full lookahead + no save 480μs  -- with HLT + standardise + full lookahead + no save 646μs  -- with HLT + no standardise + partial lookahead + no save 462μs  -- with HLT + standardise + partial lookahead + no save 650μs  -- with HLT + no standardise + full lookahead + save 822μs  -- with HLT + standardise + full lookahead + save 833μs  -- with HLT + no standardise + partial lookahead + save 810μs  -- with HLT + standardise + partial lookahead + save 825μs  -- with Felsch + no standardisation 524μs  -- with Felsch + standardisation 514μs  -- with random strategy 841μs  -- with Rc style + full lookahead 1069μs  -- with Rc style + partial lookahead 1076μs  -- with R/C style 531μs  -- with CR style 546μs  -- with Cr style 549μs ToddCoxeter 069: Chapter 7, Theorem 3.6 in NR (size 243) . . .  -- with HLT + no standardise + full lookahead + no save 196μs  -- with HLT + standardise + full lookahead + no save 234μs  -- with HLT + no standardise + partial lookahead + no save 1619μs  -- with HLT + standardise + partial lookahead + no save 237μs  -- with HLT + no standardise + full lookahead + save 343μs  -- with HLT + standardise + full lookahead + save 357μs  -- with HLT + no standardise + partial lookahead + save 330μs  -- with HLT + standardise + partial lookahead + save 349μs  -- with Felsch + no standardisation 1631μs  -- with Felsch + standardisation 10ms  -- with random strategy 1695μs  -- with Rc style + full lookahead 204μs  -- with Rc style + partial lookahead 203μs  -- with R/C style 212μs  -- with CR style 1677μs  -- with Cr style 1752μs ToddCoxeter 070: finite semigroup (size 99) . . .  -- with HLT + no standardise + full lookahead + no save 85μs  -- with HLT + standardise + full lookahead + no save 92μs  -- with HLT + no standardise + partial lookahead + no save 76μs  -- with HLT + standardise + partial lookahead + no save 89μs  -- with HLT + no standardise + full lookahead + save 136μs  -- with HLT + standardise + full lookahead + save 144μs  -- with HLT + no standardise + partial lookahead + save 132μs  -- with HLT + standardise + partial lookahead + save 142μs  -- with Felsch + no standardisation 296μs  -- with Felsch + standardisation 295μs  -- with random strategy 137μs  -- with Rc style + full lookahead 81μs  -- with Rc style + partial lookahead 79μs  -- with R/C style 85μs  -- with CR style 292μs  -- with Cr style 296μs ToddCoxeter 080: KnuthBendix 098 . . .  -- with HLT + no standardise + full lookahead + no save 437ms  -- with HLT + standardise + full lookahead + no save 565ms  -- with HLT + no standardise + partial lookahead + no save 344ms  -- with HLT + standardise + partial lookahead + no save 604ms  -- with HLT + no standardise + full lookahead + save 640ms  -- with HLT + standardise + full lookahead + save 397ms  -- with HLT + no standardise + partial lookahead + save 374ms  -- with HLT + standardise + partial lookahead + save 311ms  -- with Felsch + no standardisation 319ms  -- with Felsch + standardisation 402ms  -- with random strategy 626ms  -- with Rc style + full lookahead 561ms  -- with Rc style + partial lookahead 335ms  -- with R/C style 402ms  -- with CR style 311ms  -- with Cr style 445ms ToddCoxeter 084: Campbell-Reza 1 . . .  -- with HLT + no standardise + full lookahead + no save 142μs  -- with HLT + standardise + full lookahead + no save 74μs  -- with HLT + no standardise + partial lookahead + no save 52μs  -- with HLT + standardise + partial lookahead + no save 48μs  -- with HLT + no standardise + full lookahead + save 63μs  -- with HLT + standardise + full lookahead + save 56μs  -- with HLT + no standardise + partial lookahead + save 53μs  -- with HLT + standardise + partial lookahead + save 54μs  -- with Felsch + no standardisation 64μs  -- with Felsch + standardisation 57μs  -- with random strategy 48μs  -- with Rc style + full lookahead 46μs  -- with Rc style + partial lookahead 45μs  -- with R/C style 46μs  -- with CR style 56μs  -- with Cr style 54μs ToddCoxeter 085: Renner monoid type D4 (Gay-Hivert), q = 1 . . .  -- with HLT + no standardise + full lookahead + no save 142ms  -- with HLT + standardise + full lookahead + no save 92ms  -- with HLT + no standardise + partial lookahead + no save 160ms  -- with HLT + standardise + partial lookahead + no save 114ms  -- with HLT + no standardise + full lookahead + save 106ms  -- with HLT + standardise + full lookahead + save 80ms  -- with HLT + no standardise + partial lookahead + save 78ms  -- with HLT + standardise + partial lookahead + save 122ms  -- with Felsch + no standardisation 120ms  -- with Felsch + standardisation 123ms  -- with random strategy 82ms  -- with Rc style + full lookahead 295ms  -- with Rc style + partial lookahead 78ms  -- with R/C style 117ms  -- with CR style 91ms  -- with Cr style 108ms ToddCoxeter 086: trivial semigroup . . . 195ms ToddCoxeter 092: ACE --- perf602p5 - HLT . . .  -- with HLT + no standardise + full lookahead + no save 44ms  -- with HLT + standardise + full lookahead + no save 25ms  -- with HLT + no standardise + partial lookahead + no save 21ms  -- with HLT + standardise + partial lookahead + no save 21ms  -- with HLT + no standardise + full lookahead + save 44ms  -- with HLT + standardise + full lookahead + save 14ms  -- with HLT + no standardise + partial lookahead + save 11ms  -- with HLT + standardise + partial lookahead + save 11ms  -- with random strategy 23ms  -- with Felsch + no standardisation 8622μs  -- with Felsch + standardisation 8886μs ToddCoxeter 094: ACE --- C5 - HLT . . .  -- with HLT + no standardise + full lookahead + no save 52μs  -- with HLT + standardise + full lookahead + no save 38μs  -- with HLT + no standardise + partial lookahead + no save 37μs  -- with HLT + standardise + partial lookahead + no save 35μs  -- with HLT + no standardise + full lookahead + save 51μs  -- with HLT + standardise + full lookahead + save 48μs  -- with HLT + no standardise + partial lookahead + save 47μs  -- with HLT + standardise + partial lookahead + save 47μs  -- with random strategy 50μs  -- with Felsch + no standardisation 44μs  -- with Felsch + standardisation 43μs ToddCoxeter 095: ACE --- A5-C5 . . .  -- with HLT + no standardise + full lookahead + no save 50μs  -- with HLT + standardise + full lookahead + no save 57μs  -- with HLT + no standardise + partial lookahead + no save 46μs  -- with HLT + standardise + partial lookahead + no save 54μs  -- with HLT + no standardise + full lookahead + save 78μs  -- with HLT + standardise + full lookahead + save 76μs  -- with HLT + no standardise + partial lookahead + save 73μs  -- with HLT + standardise + partial lookahead + save 73μs  -- with random strategy 49μs  -- with Felsch + no standardisation 62μs  -- with Felsch + standardisation 60μs ToddCoxeter 096: ACE --- A5 . . .  -- with HLT + no standardise + full lookahead + no save 138μs  -- with HLT + standardise + full lookahead + no save 137μs  -- with HLT + no standardise + partial lookahead + no save 199μs  -- with HLT + standardise + partial lookahead + no save 131μs  -- with HLT + no standardise + full lookahead + save 224μs  -- with HLT + standardise + full lookahead + save 229μs  -- with HLT + no standardise + partial lookahead + save 222μs  -- with HLT + standardise + partial lookahead + save 228μs  -- with random strategy 266μs  -- with Felsch + no standardisation 155μs  -- with Felsch + standardisation 158μs ToddCoxeter 098: relation ordering . . .  -- with Felsch + no standardisation 346μs  -- with Felsch + standardisation 864μs  -- with HLT + no standardise + full lookahead + no save 158μs  -- with HLT + standardise + full lookahead + no save 152μs  -- with HLT + no standardise + partial lookahead + no save 151μs  -- with HLT + standardise + partial lookahead + no save 154μs  -- with HLT + no standardise + full lookahead + save 344μs  -- with HLT + standardise + full lookahead + save 343μs  -- with HLT + no standardise + partial lookahead + save 346μs  -- with HLT + standardise + partial lookahead + save 350μs  -- with random strategy 374μs ToddCoxeter 099: short circuit size in obviously infinite . . . 7000ns ToddCoxeter 101: http://brauer.maths.qmul.ac.uk/Atlas/spor/M [...] . . . 325ms ToddCoxeter 108: http://brauer.maths.qmul.ac.uk/Atlas/lin/L3 [...] . . . 328ms ToddCoxeter 110: to_gap_string . . . 89μs ToddCoxeter 111: partition_monoid(2) . . . 56μs ToddCoxeter 112: brauer_monoid(4) (Kudryavtseva + Mazorchuk) . . . 231μs ToddCoxeter 113: symmetric_inverse_monoid . . . 12ms ToddCoxeter 116: symmetric_group(7, Burnside + Miller) . . . 347ms UF 001: constructor by size . . . 8000ns UF 002: copy constructor . . . 14μs UF 003: find . . . 10μs Ukkonen 000: basic tests . . . 92ms Ukkonen 001: maximal_piece_prefix 1 . . . 22μs Ukkonen 002: maximal_piece_prefix 2 . . . 28μs Ukkonen 003: maximal_piece_prefix 3 . . . 153μs Ukkonen 004: number_of_pieces . . . 50μs Ukkonen 005: traverse . . . 11μs Ukkonen 006: dot . . . 151μs Ukkonen 007: strings . . . 38μs Ukkonen 008: dfs #01 . . . 20μs Ukkonen 009: dfs #02 . . . 17μs Ukkonen 010: dfs #03 . . . 16μs Ukkonen 011: dfs #04 . . . 46μs Ukkonen 012: dfs #05 . . . 34μs Ukkonen 013: dfs #06 . . . 29μs Ukkonen 014: dfs #07 . . . 58μs Ukkonen 015: dfs #08 . . . 45μs Ukkonen 016: dfs #09 . . . 57μs Ukkonen 017: dfs #10 . . . 16μs Ukkonen 018: pieces . . . 22μs Ukkonen 019: code coverage . . . 28μs Ukkonen 020: code coverage . . . 3000ns action_digraph_helper 015: detail::to_string . . . 17μs action_digraph_helper 016: make . . . 29μs action_digraph_helper 017: is_connected . . . 110μs action_digraph_helper 018: is_strictly_cyclic . . . 6210μs follow_path 012: 20 node path . . . 11μs fpsemi-examples 002: full_transformation_monoid author except . . . 25μs fpsemi-examples 003: full_transformation_monoid degree except . . . 11μs fpsemi-examples 005: partial_transformation_monoid author except . . . 16μs fpsemi-examples 006: partial_transformation_monoid degree except . . . 13μs fpsemi-examples 007: symmetric_inverse_monoid(5) . . . 14ms fpsemi-examples 008: symmetric_group auth except . . . 25μs fpsemi-examples 009: symmetric_group degree except . . . 12μs fpsemi-examples 010: symmetric_group(6) Burnside + Miller . . . 17ms fpsemi-examples 011: dual_symmetric_inverse_monoid(5) . . . 121ms fpsemi-examples 012: dual_symmetric_inverse_monoid auth except . . . 36μs fpsemi-examples 013: dual_symmetric_inverse_monoid degree except . . . 13μs fpsemi-examples 014: uniform_block_bijection_monoid(5) . . . 7657μs fpsemi-examples 015: uniform_block_bijection_monoid auth except . . . 13μs fpsemi-examples 016: uniform_block_bijection_monoid degree except . . . 9000ns fpsemi-examples 019: partition_monoid auth except . . . 56μs fpsemi-examples 020: partition_monoid degree except . . . 53μs fpsemi-examples 022: monogenic_semigroup(4, 9) . . . 14μs fpsemi-examples 023: fibonacci_semigroup(2, 5) . . . 46μs fpsemi-examples 024: temperley_lieb_monoid(10) . . . 26ms fpsemi-examples 025: singular_brauer_monoid(6) . . . 462ms fpsemi-examples 026: orientation_preserving_monoid(6) . . . 14ms fpsemi-examples 027: orientation_reversing_monoid(5) . . . 3897μs fpsemi-examples 028: chinese_monoid(3) . . . 106μs fpsemi-examples 029: plactic_monoid(3) . . . 63μs fpsemi-examples 030: stylic_monoid(3) . . . 573μs fpsemi-examples 031: symmetric_group(6) Carmichael . . . 9305μs fpsemi-examples 032: symmetric_group(6) Moore index 0 . . . 6131μs fpsemi-examples 033: symmetric_group(6) Coxeter + Moser . . . 3689μs fpsemi-examples 034: test for the rook monoid . . . 143μs fpsemi-examples 035: alternating_group(7) Moore . . . 14ms fpsemi-examples 036: alternating_group auth except . . . 52μs fpsemi-examples 037: alternating_group degree except . . . 9000ns fpsemi-examples 038: partial_transformation_monoid(3) Machine . . . 167μs fpsemi-examples 039: chinese_monoid degree except . . . 16μs fpsemi-examples 040: monogenic_semigroup degree except . . . 14μs fpsemi-examples 041: rectangular_band degree except . . . 25μs fpsemi-examples 042: stellar_monoid degree except . . . 12μs fpsemi-examples 043: plactic_monoid degree except . . . 12μs fpsemi-examples 044: stylic_monoid degree except . . . 12μs fpsemi-examples 045: temperley_lieb_monoid degree except . . . 17μs fpsemi-examples 046: singular_brauer_monoid degree except . . . 20μs fpsemi-examples 047: orientation_preserving_monoid degree except . . . 19μs fpsemi-examples 048: orientation_reversing_monoid degree except . . . 22μs fpsemi-examples 049: test default values . . . 2602μs fpsemi-examples 052: not_symmetric_group(5) Guralnick + Kant [...] . . . 2516μs fpsemi-examples 053: order_preserving_monoid(5) . . . 336μs fpsemi-examples 055: order_preserving_monoid degree except . . . 21μs fpsemi-examples 056: cyclic_inverse_monoid(4) Fernandes 1 . . . 131μs fpsemi-examples 057: cyclic_inverse_monoid(8) Fernandes index 1 . . . 25ms fpsemi-examples 058: cyclic_inverse_monoid Fernandes index 0 . . . 13ms fpsemi-examples 059: order_preserving_cyclic_inverse_monoid(4) . . . 77μs fpsemi-examples 060: order_preserving_cyclic_inverse_monoid(10) . . . 20ms fpsemi-examples 061: cyclic_inverse_monoid degree except . . . 52μs fpsemi-examples 062: cyclic_inverse_monoid author except . . . 18μs fpsemi-examples 063: order_preserving_monoid degree except . . . 19μs fpsemi-examples 064: symmetric_group index except . . . 20μs fpsemi-examples 065: symmetric_group(7) Moore index 1 . . . 3457μs fpsemi-examples 066: order_preserving_cyclic_inverse_monoid(10) . . . 16ms fpsemi-examples 067: partial_isometries_cycle_graph_monoid(5) . . . 378μs fpsemi-examples 068: partial_isometries_cycle_graph_monoid(10) . . . 212ms fpsemi-examples 069: partial_isometries_cycle_graph_monoid d [...] . . . 63μs fpsemi-examples 070: partial_isometries_cycle_graph_monoid(4) . . . 209μs freeband_equal_to 001: . . . 457μs is_acyclic 000: 2-cycle . . . 8000ns is_acyclic 001: 1-cycle . . . 3000ns is_acyclic 002: multi-digraph . . . 7000ns is_acyclic 003: complete digraph 100 . . . 68μs is_acyclic 004: acyclic digraph with 20000 nodes . . . 2656μs is_acyclic 006: for a node . . . 522μs is_acyclic 007: for a node . . . 9000ns is_reachable 008: acyclic 20 node digraph . . . 27μs is_reachable 009: 100 node path . . . 5584μs is_reachable 010: 100 node cycle . . . 5701μs is_reachable 011: 20 node clique . . . 239μs last_node_on_path_nc 014: 20 node path . . . 7000ns make 000: from FroidurePin . . . 303μs make 001: from FroidurePin and alphabet . . . 359μs make 002: presentation from presentation . . . 122μs make 003: presentation from presentation and alphabet . . . 22μs make 004: argument checks issue . . . 58μs make 005: use human readable alphabet for make . . . 7000ns make> 000: from ActionDigraph . . . 830μs make> 001: from ActionDigraph (exceptions) . . . 22μs number_of_words 001: . . . 6000ns operator"" _w 003: literal . . . 6000ns silo 000: alphabet: a, min: 0, max: 10 . . . 28μs silo 001: corner cases . . . 12μs silo 002: alphabet: ab, min: 1, max: 4 . . . 34μs silo 003: alphabet: abc, min: 0, max: 13 . . . 55ms silo 004: code coverage . . . 13μs sislo 005: alphabet: a, min: 0, max: 10 . . . 19μs sislo 006: corner cases . . . 35μs sislo 007: alphabet: ab, min: 1, max: 4 . . . 38μs sislo 008: alphabet: abc, min: 0, max: 13 . . . 52ms sislo 009: code coverage . . . 12μs string 000: detail::is_suffix . . . 5000ns string 001: detail::is_prefix . . . 5000ns string 002: detail::maximum_common_suffix . . . 5000ns string 003: detail::group_digits . . . 11μs string_to_word 002: . . . 6000ns validate_label 013: 20 node path . . . 33μs wilo 001: corner cases . . . 27μs wilo 002: letters: 2, min: 1, max: 4 . . . 17μs wilo 003: letters: 2, min: 1, max: 4 . . . 29μs wilo 004: letters: 3, min: 0, max: 10 . . . 10ms wilo 005: letters: 3, min: 0, max: 13 . . . 123ms wilo 006: forward iterator requirements . . . 116ms wilo 007: more corner cases . . . 25μs wilo 008: starting at a given word 1 . . . 76μs wilo 009: starting at a given word 2 . . . 9000ns wilo 010: code coverage . . . 9000ns wislo 000: n: 2, min; 1, max: 4 . . . 13μs wislo 001: corner cases . . . 21μs wislo 002: n: 3, min; 0, max: 10 . . . 3569μs wislo 003: n: 3, min; 0, max: 13 . . . 118ms wislo 004: lex + sort . . . 768ms 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' /bin/sh ./libtool --mode=install /usr/bin/install -c libsemigroups.la '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib' libtool: install: /usr/bin/install -c .libs/libsemigroups.so.2.0.0 /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/libsemigroups.so.2.0.0 libtool: install: (cd /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib && { ln -s -f libsemigroups.so.2.0.0 libsemigroups.so.2 || { rm -f libsemigroups.so.2 && ln -s libsemigroups.so.2.0.0 libsemigroups.so.2; }; }) /usr/bin/install -c -m 644 extern/backward-cpp/backward.hpp '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups/backward-cpp' libtool: install: (cd /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib && { ln -s -f libsemigroups.so.2.0.0 libsemigroups.so || { rm -f libsemigroups.so && ln -s libsemigroups.so.2.0.0 libsemigroups.so; }; }) libtool: install: /usr/bin/install -c .libs/libsemigroups.lai /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/libsemigroups.la libtool: install: /usr/bin/install -c .libs/libsemigroups.a /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/libsemigroups.a libtool: install: chmod 644 /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/libsemigroups.a libtool: install: ranlib /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/libsemigroups.a ./config/install-sh -c -d '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/pkgconfig' ./config/install-sh -c -d '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups' ./config/install-sh -c -d '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups/textflowcpp' libtool: warning: remember to run 'libtool --finish /usr/lib' /usr/bin/install -c -m 644 libsemigroups.pc '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/pkgconfig' /usr/bin/install -c -m 644 include/libsemigroups/action.hpp include/libsemigroups/adapters.hpp include/libsemigroups/bipart.hpp include/libsemigroups/bitset.hpp include/libsemigroups/bmat8.hpp include/libsemigroups/bmat.hpp include/libsemigroups/bruidhinn-traits.hpp include/libsemigroups/config.hpp include/libsemigroups/cong-intf.hpp include/libsemigroups/cong-pair-impl.hpp include/libsemigroups/cong-pair.hpp include/libsemigroups/cong-wrap.hpp include/libsemigroups/cong.hpp include/libsemigroups/constants.hpp include/libsemigroups/containers.hpp include/libsemigroups/coset.hpp include/libsemigroups/debug.hpp include/libsemigroups/deprecated.hpp include/libsemigroups/digraph-helper.hpp include/libsemigroups/digraph-with-sources.hpp include/libsemigroups/digraph-with-sources.tpp include/libsemigroups/digraph.hpp include/libsemigroups/exception.hpp include/libsemigroups/fastest-bmat.hpp include/libsemigroups/felsch-tree.hpp include/libsemigroups/felsch-digraph.hpp include/libsemigroups/felsch-digraph.tpp include/libsemigroups/forest.hpp include/libsemigroups/fpsemi-examples.hpp include/libsemigroups/fpsemi-intf.hpp include/libsemigroups/fpsemi.hpp include/libsemigroups/freeband.hpp include/libsemigroups/froidure-pin-base.hpp include/libsemigroups/froidure-pin-impl.hpp include/libsemigroups/froidure-pin.hpp include/libsemigroups/function-ref.hpp include/libsemigroups/hpcombi.hpp include/libsemigroups/int-range.hpp include/libsemigroups/iterator.hpp include/libsemigroups/kambites.hpp '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups' /usr/bin/install -c -m 644 include/libsemigroups/kbe.hpp include/libsemigroups/knuth-bendix.hpp include/libsemigroups/konieczny.hpp include/libsemigroups/libsemigroups.hpp include/libsemigroups/make-froidure-pin.hpp include/libsemigroups/make-present.hpp include/libsemigroups/matrix.hpp include/libsemigroups/node-manager.hpp include/libsemigroups/obvinf.hpp include/libsemigroups/order.hpp include/libsemigroups/pbr.hpp include/libsemigroups/pool.hpp include/libsemigroups/present.hpp include/libsemigroups/present.tpp include/libsemigroups/race.hpp include/libsemigroups/report.hpp include/libsemigroups/runner.hpp include/libsemigroups/schreier-sims.hpp include/libsemigroups/schreier-sims-helper.hpp include/libsemigroups/sims1.hpp include/libsemigroups/sims1.tpp include/libsemigroups/siso.hpp include/libsemigroups/stl.hpp include/libsemigroups/stephen.hpp include/libsemigroups/string-view.hpp include/libsemigroups/string.hpp include/libsemigroups/tce.hpp include/libsemigroups/timer.hpp include/libsemigroups/todd-coxeter-digraph.hpp include/libsemigroups/todd-coxeter-digraph.tpp include/libsemigroups/todd-coxeter.hpp include/libsemigroups/transf.hpp include/libsemigroups/types.hpp include/libsemigroups/uf.hpp include/libsemigroups/ukkonen.hpp include/libsemigroups/ukkonen.tpp include/libsemigroups/wilo.hpp include/libsemigroups/wislo.hpp include/libsemigroups/word.hpp '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups' /usr/bin/install -c -m 644 extern/textflowcpp/TextFlow.hpp '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups/textflowcpp' make[1]: Leaving directory '/home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.3' >>> libsemigroups-static*: Running split function static... 'usr/lib/libsemigroups.a' -> '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups-static/usr/lib/libsemigroups.a' >>> libsemigroups-static*: Preparing subpackage libsemigroups-static... >>> libsemigroups-static*: Stripping binaries >>> libsemigroups-static*: Running postcheck for libsemigroups-static >>> libsemigroups-dev*: Running split function dev... 'usr/include' -> '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups-dev/usr/include' 'usr/lib/pkgconfig' -> '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups-dev/usr/lib/pkgconfig' 'usr/lib/libsemigroups.so' -> '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups-dev/usr/lib/libsemigroups.so' >>> libsemigroups-dev*: Preparing subpackage libsemigroups-dev... >>> libsemigroups-dev*: Stripping binaries >>> libsemigroups-dev*: Running postcheck for libsemigroups-dev >>> libsemigroups*: Running postcheck for libsemigroups >>> libsemigroups*: Preparing package libsemigroups... >>> libsemigroups*: Stripping binaries >>> libsemigroups*: Scanning shared objects >>> libsemigroups-static*: Scanning shared objects >>> libsemigroups-dev*: Scanning shared objects >>> libsemigroups*: Tracing dependencies... so:libc.musl-s390x.so.1 so:libfmt.so.12 so:libgcc_s.so.1 so:libstdc++.so.6 >>> libsemigroups*: Package size: 1.8 MB >>> libsemigroups*: Compressing data... >>> libsemigroups*: Create checksum... >>> libsemigroups*: Create libsemigroups-2.7.3-r2.apk >>> libsemigroups-static*: Tracing dependencies... libsemigroups-dev >>> libsemigroups-static*: Package size: 5.6 MB >>> libsemigroups-static*: Compressing data... >>> libsemigroups-static*: Create checksum... >>> libsemigroups-static*: Create libsemigroups-static-2.7.3-r2.apk >>> libsemigroups-dev*: Tracing dependencies... libsemigroups=2.7.3-r2 pc:eigen3 pc:fmt pkgconfig >>> libsemigroups-dev*: Package size: 1.9 MB >>> libsemigroups-dev*: Compressing data... >>> libsemigroups-dev*: Create checksum... >>> libsemigroups-dev*: Create libsemigroups-dev-2.7.3-r2.apk >>> libsemigroups: Build complete at Wed, 30 Sep 2026 05:24:39 +0000 elapsed time 0h 6m 34s >>> libsemigroups: Cleaning up srcdir >>> libsemigroups: Cleaning up pkgdir >>> libsemigroups: Uninstalling dependencies... (1/4) Purging .makedepends-libsemigroups (20260930.051805) (2/4) Purging eigen-dev (3.4.0-r10) (3/4) Purging fmt-dev (12.2.0-r0) (4/4) Purging fmt (12.2.0-r0) OK: 387.5 MiB in 107 packages >>> libsemigroups: Updating the testing/s390x repository index... >>> libsemigroups: Signing the index...