>>> libsemigroups: Building testing/libsemigroups 2.7.3-r1 (using abuild 3.14.1-r3) started Sat, 14 Dec 2024 19:27:22 +0000 >>> libsemigroups: Validating /home/buildozer/aports/testing/libsemigroups/APKBUILD... >>> WARNING: libsemigroups: No maintainer >>> libsemigroups: Analyzing dependencies... >>> libsemigroups: Installing for build: build-base eigen-dev fmt-dev (1/4) Installing eigen-dev (3.4.0-r10) (2/4) Installing fmt (11.0.2-r0) (3/4) Installing fmt-dev (11.0.2-r0) (4/4) Installing .makedepends-libsemigroups (20241214.192723) OK: 415 MiB in 119 packages >>> libsemigroups: Cleaning up srcdir >>> libsemigroups: Cleaning up pkgdir >>> libsemigroups: Cleaning up tmpdir >>> libsemigroups: Fetching https://distfiles.alpinelinux.org/distfiles/edge/libsemigroups-2.7.3.tar.gz % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 curl: (22) The requested URL returned error: 404 >>> libsemigroups: Fetching https://github.com/libsemigroups/libsemigroups/releases/download/v2.7.3/libsemigroups-2.7.3.tar.gz % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 0 2484k 0 13771 0 0 16195 0 0:02:37 --:--:-- 0:02:37 16195 100 2484k 100 2484k 0 0 2817k 0 --:--:-- --:--:-- --:--:-- 77.8M >>> libsemigroups: Fetching https://distfiles.alpinelinux.org/distfiles/edge/libsemigroups-2.7.3.tar.gz >>> libsemigroups: Checking sha512sums... libsemigroups-2.7.3.tar.gz: OK >>> libsemigroups: Unpacking /var/cache/distfiles/edge/libsemigroups-2.7.3.tar.gz... tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.xattr.com.apple.lastuseddate#PS' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' checking build system type... i586-alpine-linux-musl checking host system type... i586-alpine-linux-musl checking target system type... i586-alpine-linux-musl checking for a BSD-compatible install... /usr/bin/install -c checking whether build environment is sane... yes checking for a race-free mkdir -p... ./config/install-sh -c -d checking for gawk... no checking for mawk... no checking for nawk... no checking for awk... awk checking whether make sets $(MAKE)... yes checking whether make supports nested variables... yes checking how to create a pax tar archive... gnutar checking whether make supports nested variables... (cached) yes checking whether make supports the include directive... yes (GNU style) checking for i586-alpine-linux-musl-gcc... gcc checking whether the C compiler works... yes checking for C compiler default output file name... a.out checking for suffix of executables... checking whether we are cross compiling... no checking for suffix of object files... o checking whether the compiler supports GNU C... yes checking whether gcc accepts -g... yes checking for gcc option to enable C11 features... none needed checking whether gcc understands -c and -o together... yes checking dependency style of gcc... gcc3 checking for i586-alpine-linux-musl-ar... no checking for i586-alpine-linux-musl-lib... no checking for i586-alpine-linux-musl-link... no checking for ar... ar checking the archiver (ar) interface... ar checking whether the compiler supports GNU C++... yes checking whether g++ accepts -g... yes checking for g++ option to enable C++11 features... none needed checking dependency style of g++... gcc3 checking whether g++ supports C++14 features by default... yes checking for a sed that does not truncate output... /bin/sed checking how to run the C preprocessor... gcc -E checking for grep that handles long lines and -e... /bin/grep checking for egrep... /bin/grep -E checking whether gcc is Clang... no checking whether pthreads work with "-pthread" and "-lpthread"... yes checking for joinable pthread attribute... PTHREAD_CREATE_JOINABLE checking whether more special flags are required for pthreads... no checking for PTHREAD_PRIO_INHERIT... yes checking for pthread_create in -lpthread... yes checking whether to enable maintainer-specific portions of Makefiles... no checking whether ln -s works... yes checking how to print strings... printf checking for a sed that does not truncate output... (cached) /bin/sed checking for fgrep... /bin/grep -F checking for ld used by gcc... /usr/i586-alpine-linux-musl/bin/ld checking if the linker (/usr/i586-alpine-linux-musl/bin/ld) is GNU ld... yes checking for BSD- or MS-compatible name lister (nm)... /usr/bin/nm -B checking the name lister (/usr/bin/nm -B) interface... BSD nm checking the maximum length of command line arguments... 98304 checking how to convert i586-alpine-linux-musl file names to i586-alpine-linux-musl format... func_convert_file_noop checking how to convert i586-alpine-linux-musl file names to toolchain format... func_convert_file_noop checking for /usr/i586-alpine-linux-musl/bin/ld option to reload object files... -r checking for i586-alpine-linux-musl-file... no checking for file... file checking for i586-alpine-linux-musl-objdump... no checking for objdump... objdump checking how to recognize dependent libraries... pass_all checking for i586-alpine-linux-musl-dlltool... no checking for dlltool... no checking how to associate runtime and link libraries... printf %s\n checking for i586-alpine-linux-musl-ar... ar checking for archiver @FILE support... @ checking for i586-alpine-linux-musl-strip... no checking for strip... strip checking for i586-alpine-linux-musl-ranlib... no checking for ranlib... ranlib checking command to parse /usr/bin/nm -B output from gcc object... ok checking for sysroot... no checking for a working dd... /bin/dd checking how to truncate binary pipes... /bin/dd bs=4096 count=1 checking for i586-alpine-linux-musl-mt... no checking for mt... no checking if : is a manifest tool... no checking for stdio.h... yes checking for stdlib.h... yes checking for string.h... yes checking for inttypes.h... yes checking for stdint.h... yes checking for strings.h... yes checking for sys/stat.h... yes checking for sys/types.h... yes checking for unistd.h... yes checking for dlfcn.h... yes checking for objdir... .libs checking if gcc supports -fno-rtti -fno-exceptions... no checking for gcc option to produce PIC... -fPIC -DPIC checking if gcc PIC flag -fPIC -DPIC works... yes checking if gcc static flag -static works... yes checking if gcc supports -c -o file.o... yes checking if gcc supports -c -o file.o... (cached) yes checking whether the gcc linker (/usr/i586-alpine-linux-musl/bin/ld) supports shared libraries... yes checking whether -lc should be explicitly linked in... no checking dynamic linker characteristics... GNU/Linux ld.so checking how to hardcode library paths into programs... immediate checking whether stripping libraries is possible... yes checking if libtool supports shared libraries... yes checking whether to build shared libraries... yes checking whether to build static libraries... yes checking how to run the C++ preprocessor... g++ -E checking for ld used by g++... /usr/i586-alpine-linux-musl/bin/ld checking if the linker (/usr/i586-alpine-linux-musl/bin/ld) is GNU ld... yes checking whether the g++ linker (/usr/i586-alpine-linux-musl/bin/ld) supports shared libraries... yes checking for g++ option to produce PIC... -fPIC -DPIC checking if g++ PIC flag -fPIC -DPIC works... yes checking if g++ static flag -static works... yes checking if g++ supports -c -o file.o... yes checking if g++ supports -c -o file.o... (cached) yes checking whether the g++ linker (/usr/i586-alpine-linux-musl/bin/ld) supports shared libraries... yes checking dynamic linker characteristics... (cached) GNU/Linux ld.so checking how to hardcode library paths into programs... immediate checking for limits.h... yes checking for stdint.h... (cached) yes checking for stdlib.h... (cached) yes checking for sys/time.h... yes checking for unistd.h... (cached) yes checking for pthread.h... yes checking for _Bool... yes checking for stdbool.h that conforms to C99... yes checking for inline... inline checking for int64_t... yes checking for size_t... yes checking for uint64_t... yes checking for ptrdiff_t... yes checking size of void *... 4 checking for GNU libc compatible malloc... yes checking for gettimeofday... yes checking for memset... yes checking for pow... yes checking for sqrt... yes checking whether to enable debug mode... no checking whether to enable verbose mode... no checking whether enable compiler warnings... no checking whether to enable stats mode... yes checking whether to enable backward mode... yes checking for execinfo.h... no configure: WARNING: backward enabled but execinfo.h not found, disabling backward! checking whether to build with code coverage support... no checking whether to enable HPCombi... yes checking for ./extern/HPCombi/VERSION... yes checking the required version of HPCombi... 0.0.6 checking the version of HPCombi that's present... 0.0.6 checking whether C++ compiler accepts -mavx... yes checking whether C++ compiler accepts -flax-vector-conversions... yes checking for x86intrin.h... yes checking for _mm_blendv_epi8... yes checking for _mm_cmpeq_epi8... yes checking for _mm_cmpestri... yes checking for _mm_cmpestrm... yes checking for _mm_cmplt_epi8... yes checking for _mm_extract_epi64... no configure: WARNING: compiler builtin not supported, HPCombi is disabled checking for i586-alpine-linux-musl-pkg-config... no checking for pkg-config... /usr/bin/pkg-config checking pkg-config is at least version 0.9.0... yes checking whether to enable fmt... yes checking whether to use external fmt... yes checking for fmt >= 8.1.1... yes checking whether to enable eigen... yes checking whether to use external eigen... yes checking for eigen3 >= 3.3.7... yes checking for __builtin_popcountl... yes checking for __builtin_clzll... yes checking whether to try and use __builtin_popcntl... yes checking whether to try and use __builtin_clzlll... yes checking that generated files are newer than configure... done configure: creating ./config.status config.status: creating Makefile config.status: creating libsemigroups.pc config.status: creating config/config.h config.status: executing depfiles commands config.status: executing include/libsemigroups/config.hpp commands config.status: creating include/libsemigroups/config.hpp - prefix LIBSEMIGROUPS for config/config.h defines config.status: executing libtool commands CXX src/libsemigroups_la-bipart.lo CXX src/libsemigroups_la-bmat8.lo CXX src/libsemigroups_la-cong-intf.lo CXX src/libsemigroups_la-cong-pair.lo CXX src/libsemigroups_la-cong.lo CXX src/libsemigroups_la-constants.lo CXX src/libsemigroups_la-coset.lo CXX src/libsemigroups_la-exception.lo CXX src/libsemigroups_la-felsch-tree.lo CXX src/libsemigroups_la-forest.lo CXX src/libsemigroups_la-fpsemi-examples.lo CXX src/libsemigroups_la-fpsemi-intf.lo CXX src/libsemigroups_la-fpsemi.lo CXX src/libsemigroups_la-freeband.lo CXX src/libsemigroups_la-froidure-pin-base.lo CXX src/libsemigroups_la-kambites.lo CXX src/libsemigroups_la-knuth-bendix.lo CXX src/libsemigroups_la-make-present.lo CXX src/libsemigroups_la-node-manager.lo CXX src/libsemigroups_la-obvinf.lo CXX src/libsemigroups_la-pbr.lo CXX src/libsemigroups_la-race.lo CXX src/libsemigroups_la-report.lo CXX src/libsemigroups_la-runner.lo CXX src/libsemigroups_la-siso.lo CXX src/libsemigroups_la-string.lo CXX src/libsemigroups_la-stephen.lo CXX src/libsemigroups_la-timer.lo CXX src/libsemigroups_la-todd-coxeter.lo CXX src/libsemigroups_la-ukkonen.lo CXX src/libsemigroups_la-wilo.lo CXX src/libsemigroups_la-wislo.lo CXX src/libsemigroups_la-word.lo CXXLD libsemigroups.la make test_all make[1]: Entering directory '/home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.3' CXX tests/bmat-data.o CXX tests/test-action.o CXX tests/test-bipart.o CXX tests/test-bitset.o CXX tests/test-bmat8.o CXX tests/test-cong-intf.o CXX tests/test-cong-pair.o CXX tests/test-cong.o CXX tests/test-constants.o CXX tests/test-containers.o CXX tests/test-digraph-helper.o CXX tests/test-digraph.o CXX tests/test-felsch-tree.o CXX tests/test-forest.o CXX tests/test-fpsemi.o CXX tests/test-fpsemi-examples-1.o CXX tests/test-fpsemi-examples-2.o CXX tests/test-fpsemi-examples-3.o CXX tests/test-fpsemi-intf.o CXX tests/test-freeband.o CXX tests/test-froidure-pin-bipart.o CXX tests/test-froidure-pin-bmat8.o CXX tests/test-froidure-pin-bmat.o CXX tests/test-froidure-pin-integers.o CXX tests/test-froidure-pin-intmat.o CXX tests/test-froidure-pin-intpairs.o CXX tests/test-froidure-pin-matrix.o CXX tests/test-froidure-pin-maxplustrunc.o CXX tests/test-froidure-pin-pbr.o CXX tests/test-froidure-pin-pperm.o CXX tests/test-froidure-pin-projmaxplus.o CXX tests/test-froidure-pin-transf.o CXX tests/test-hpcombi.o CXX tests/test-iterator.o CXX tests/test-kambites.o CXX tests/test-kbe.o CXX tests/test-knuth-bendix-1.o CXX tests/test-knuth-bendix-2.o CXX tests/test-knuth-bendix-3.o CXX tests/test-knuth-bendix-4.o CXX tests/test-knuth-bendix-5.o CXX tests/test-knuth-bendix-6.o CXX tests/test-konieczny-bmat8-1.o CXX tests/test-konieczny-bmat8-2.o CXX tests/test-konieczny-bmat8-3.o CXX tests/test-konieczny-transf.o CXX tests/test-konieczny-bmat.o CXX tests/test-konieczny-pperm.o CXX tests/test-main.o CXX tests/test-make-present.o CXX tests/test-make-froidure-pin.o CXX tests/test-matrix.o CXX tests/test-obvinf.o CXX tests/test-order.o CXX tests/test-pbr.o CXX tests/test-pool.o CXX tests/test-present.o CXX tests/test-race.o CXX tests/test-runner.o CXX tests/test-schreier-sims.o CXX tests/test-schreier-sims-helper.o CXX tests/test-sims1.o CXX tests/test-siso.o CXX tests/test-stephen.o CXX tests/test-string.o CXX tests/test-string-view.o CXX tests/test-timer.o CXX tests/test-todd-coxeter.o CXX tests/test-types.o CXX tests/test-uf.o CXX tests/test-ukkonen.o CXX tests/test-wilo.o CXX tests/test-wislo.o CXX tests/test-word.o In file included from /usr/include/c++/14.2.0/algorithm:61, from tests/test-matrix.cpp:17: In function 'void std::__final_insertion_sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = libsemigroups::StaticRowView*; _Compare = __gnu_cxx::__ops::_Iter_comp_iter >():: >]', inlined from 'void std::__sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = libsemigroups::StaticRowView*; _Compare = __gnu_cxx::__ops::_Iter_comp_iter >():: >]' at /usr/include/c++/14.2.0/bits/stl_algo.h:1908:31, inlined from 'void std::sort(_RAIter, _RAIter, _Compare) [with _RAIter = libsemigroups::StaticRowView*; _Compare = libsemigroups::{anonymous}::test_BMat000 >()::]' at /usr/include/c++/14.2.0/bits/stl_algo.h:4804:18, inlined from 'void libsemigroups::{anonymous}::test_BMat000() [with Mat = libsemigroups::StaticMatrix]' at tests/test-matrix.cpp:166:18: /usr/include/c++/14.2.0/bits/stl_algo.h:1817:32: warning: array subscript 16 is outside array bounds of 'libsemigroups::detail::StaticVector1, 2> [1]' [-Warray-bounds=] 1817 | std::__insertion_sort(__first, __first + int(_S_threshold), __comp); | ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ tests/test-matrix.cpp: In function 'void libsemigroups::{anonymous}::test_BMat000() [with Mat = libsemigroups::StaticMatrix]': tests/test-matrix.cpp:160:14: note: at offset 64 into object 'r' of size 12 160 | auto r = matrix_helpers::rows(m); | ^ CXXLD test_all make[1]: Leaving directory '/home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.3' ./test_all --use-colour yes --order lex --abort [quick] Filters: [quick] Action 001: row and column basis orbits for BMat8 . . . 54μs Action 002: row and column basis orbits for BMat8 . . . 8900μs Action 003: add generators after enumeration . . . 7531μs Action 004: multipliers for BMat8 row and column orbits . . . 11ms Action 005: orbits for regular boolean mat monoid 5 . . .  Action 007: partial perm image orbit . . . 189μs Action 008: partial perm image orbit . . . 48ms Action 009: partial perm image orbit . . . 55ms Action 010: partial perm image orbit . . . 56ms Action 011: permutation on integers . . . 18μs Action 012: permutation on sets, arrays . . . 111μs Action 013: permutation on tuples, arrays . . . 10ms Action 014: permutation on sets, vectors . . . 154μs Action 015: permutation on tuples, vectors . . . 16ms Action 016: misc . . . 2060μs Action 017: partial perm image orbit . . . 37μs Action 018: permutation on tuples, arrays (360360) . . . 148ms Action 019: orbits for regular BMat8 monoid 5 with stop/start . . .  Action 021: orbits for regular boolean mat monoid 5 (BMat<5> [...] . . . 329ms ActionDigraph 000: constructor with 1 default arg . . . 24μs ActionDigraph 001: constructor with 0 default args . . . 36μs ActionDigraph 002: add nodes . . . 22μs ActionDigraph 003: add edges . . . 216μs ActionDigraph 004: strongly connected components - cycles . . . 28μs ActionDigraph 005: strongly connected components - no edges . . . 35ms ActionDigraph 006: strongly connected components - disjoint cycles . . . 1479μs ActionDigraph 007: strongly connected components - complete graphs . . . 730μs ActionDigraph 008: exceptions . . . 53μs ActionDigraph 009: spanning forest - complete graphs . . . 3224μs ActionDigraph 010: spanning forest - disjoint cycles . . . 102μs ActionDigraph 011: restrict . . . 12μs ActionDigraph 012: remove_edge_nc . . . 10μs ActionDigraph 013: scc large cycle . . . 15ms ActionDigraph 014: random . . . 16μs ActionDigraph 015: reserve . . . 12μs ActionDigraph 016: default constructors . . . 16μs ActionDigraph 017: scc iterators . . . 1259μs ActionDigraph 018: iterator to edges . . . 440μs ActionDigraph 019: root of scc . . . 310μs ActionDigraph 020: cbegin/end_panislo - 100 node path . . . 486μs ActionDigraph 021: cbegin/end_pislo . . . 44μs ActionDigraph 022: cbegin/end_pani(s)lo - 100 node cycle . . . 522μs ActionDigraph 023: cbegin/cend_pilo - tree 14 nodes . . . 71μs ActionDigraph 024: cbegin/end_pstilo - Cayley digraph . . . 149ms ActionDigraph 025: cbegin_pstilo - Tsalakou . . . 329μs ActionDigraph 026: cbegin/end_pstislo - Cayley digraph . . . 130ms ActionDigraph 027: cbegin/end_pstislo - Cayley digraph . . . 190μs ActionDigraph 028: path iterators corner cases . . . 148μs ActionDigraph 029: reverse node iterator . . . 12μs ActionDigraph 030: pstilo corner case . . . 46μs ActionDigraph 031: number_of_paths corner cases . . . 53μs ActionDigraph 032: number_of_paths acyclic digraph . . . 8604μs ActionDigraph 033: number_of_paths binary tree . . . 349ms ActionDigraph 034: number_of_paths large binary tree . . . 113ms ActionDigraph 035: number_of_paths 400 node random digraph . . . 558μs ActionDigraph 036: number_of_paths 10 node acyclic digraph . . . 53μs ActionDigraph 037: number_of_paths node digraph . . . 2838μs ActionDigraph 038: random/random_acyclic exceptions . . . 74μs ActionDigraph 039: unsafe (next) neighbour . . . 73μs ActionDigraph 040: number_of_egdes incident to a node . . . 79μs ActionDigraph 041: number_of_paths (matrix) . . . 20ms ActionDigraph 042: number_of_paths (matrix) . . . 15μs ActionDigraph 043: swap_edge_nc . . . 11μs ActionDigraph 044: detail::pow for non-square Eigen matrix . . . 20μs ActionDigraph 045: operator<< . . . 16μs Array2 044: all . . . 50μs BMat8 001: transpose . . . 19μs BMat8 002: multiplication . . . 25μs BMat8 003: identity matrix . . . 14μs BMat8 004: random . . . 259μs BMat8 005: call operator . . . 18μs BMat8 006: operator<< . . . 18μs BMat8 007: set . . . 58μs BMat8 008: row space basis . . . 989μs BMat8 009: col space basis . . . 958μs BMat8 010: row space basis . . . 14ms BMat8 011: number_of_rows, number_of_cols . . . 38μs BMat8 012: row_space, col_space . . . 206μs BMat8 013: rows . . . 38μs BMat8 014: one . . . 12μs BMat8 015: vector constructor . . . 64μs BMat8 016: operator< . . . 15μs BMat8 017: adapters . . . 21μs BMat8 018: one . . . 12μs Bipartition 009: mem fns 1 . . . 30μs Bipartition 010: hash . . . 9000ns Bipartition 011: mem fns 2 . . . 21μs Bipartition 012: delete/copy . . . 10μs Bipartition 013: degree 0 . . . 28μs Bipartition 014: exceptions . . . 39μs Bipartition 015: convenience constructor . . . 199μs Bipartition 016: force copy constructor over move constructor . . . 28μs Bipartition 017: adapters . . . 10μs BitSet 000: size . . . 19μs BitSet 001: operator< . . . 11μs BitSet 002: operator== . . . 12μs BitSet 003: operator!= . . . 12μs BitSet 004: operator&= . . . 14μs BitSet 005: & . . . 16μs BitSet 006: operator|= . . . 16μs BitSet 007: operator[] . . . 18μs BitSet 008: set(none) . . . 27μs BitSet 009: set(pos, value) . . . 16μs BitSet 010: set(first, last, value) . . . 19μs BitSet 011: reset(first, last) . . . 17μs BitSet 012: reset(pos) . . . 18μs BitSet 013: apply (iterate through set bits) . . . 19μs BitSet 014: std::hash . . . 9000ns BitSet 015: constructors . . . 19μs BitSet 016: max_size . . . 9000ns BitSet 017: insertion operators . . . 13μs Blocks 001: empty blocks . . . 13μs Blocks 002: non-empty blocks . . . 13μs Blocks 003: left blocks of bipartition . . . 14μs Blocks 004: right blocks of bipartition . . . 13μs Blocks 005: copy [empty blocks] . . . 11μs Blocks 006: copy [non-empty blocks] . . . 14μs Blocks 007: hash value . . . 13μs Blocks 008: operator< . . . 12μs Congruence 000: left congruence on fp semigroup . . . 155μs Congruence 001: 2-sided congruence on fp semigroup . . . 363μs Congruence 002: left congruence on fp semigroup . . . 280μs Congruence 003: word_to_class_index for cong. on fp semigroup . . . 284μs Congruence 004: word_to_class_index for cong. on fp semigroup . . . 604μs Congruence 005: trivial congruence on non-fp semigroup . . . 379μs Congruence 006: 2-sided congruence on non-fp semigroup . . . 389μs Congruence 007: 2-sided congruence on fp semigroup . . . 677μs Congruence 008: 2-sided congruence on infinite fp semigroup . . . 417μs Congruence 009: 2-sided congruence on infinite fp semigroup . . . 409μs Congruence 010: 2-sided congruence on finite semigroup . . . 52ms Congruence 012: 2-sided congruence on finite semigroup . . . 4282μs Congruence 013: trivial 2-sided congruence on bicyclic monoid . . . 16ms Congruence 014: non-trivial 2-sided congruence on bicyclic monoid . . . 324μs Congruence 015: 2-sided congruence on free abelian monoid . . . 382μs Congruence 016: example where TC works but KB doesn't . . . 650μs Congruence 017: 2-sided congruence on finite semigroup . . . 346μs Congruence 018: infinite fp semigroup from GAP library . . . 512μs Congruence 019: 2-sided cong. on fp semigroup with infinite [...] . . . 335μs Congruence 020: trivial cong. on an fp semigroup . . .  -- with compute size 296μs  -- with don't compute size 201μs Congruence 021: duplicate generators . . . 404μs Congruence 022: non-trivial classes . . . 777μs Congruence 023: right congruence on finite semigroup . . . 279ms Congruence 024: redundant generating pairs . . . 99μs Congruence 025: 2-sided cong. on free semigroup . . . 87μs Congruence 026: is_quotient_obviously_(in)finite . . . 936μs Congruence 027: less . . . 256μs Congruence 028: 2-sided congruences of BMat8 semigroup . . .  Congruence 029: left congruence on finite semigroup . . . 521μs Congruence 030: right congruence on finite semigroup . . . 465μs Congruence 031: right congruence on finite semigroup . . . 440μs Congruence 032: contains . . . 126μs Congruence 033: stellar_monoid S2 . . . 392μs Congruence 034: stellar_monoid S3 . . . 887μs Congruence 035: stellar_monoid S4 . . . 1475μs Congruence 036: stellar_monoid S5 . . . 8801μs Congruence 037: stellar_monoid S6 . . . 53ms Congruence 038: stellar_monoid S7 . . . 602ms Congruence 039: left cong. on an f.p. semigroup . . . 824μs Congruence 040: 2-sided cong. on infinite f.p. semigroup . . . 152μs Congruence 041: 2-sided congruence constructed from type only . . . 339μs Congruence 042: const_contains . . . 714μs Congruence 043: no winner . . . 4556μs Congruence 044: congruence over smalloverlap . . . 5909μs CongruenceByPairs 001: (cong) 2-sided cong. on finite semigroup . . . 280μs CongruenceByPairs 002: (cong) left congruence on finite semigroup . . . 150μs CongruenceByPairs 003: (cong) right congruence on finite semigroup . . . 125μs CongruenceByPairs 004: (cong) trivial congruence on finite s [...] . . . 109μs CongruenceByPairs 005: (cong) trivial left congruence on fin [...] . . . 74μs CongruenceByPairs 006: (cong) trivial right congruence on fi [...] . . . 77μs CongruenceByPairs 007: (cong) universal congruence on finite [...] . . . 320μs CongruenceByPairs 009: (cong) 2-sided congruence on finite s [...] . . . 472ms CongruenceByPairs 010: (cong) left congruence on big finite [...] . . . 24ms CongruenceByPairs 011: (cong) left congruence on TCE . . . 137μs CongruenceByPairs 012: (cong) is_quotient_obviously_finite . . . 77μs CongruenceByPairs 013: (cong) class_index_to_word/quotient . . .  -- with right congruence 7230μs  -- with left congruence 920μs  -- with 2-sided congruence 5012μs CongruenceByPairs 014: (cong) const_word_to_class_index . . .  -- with right congruence 31μs  -- with left congruence 26μs  -- with 2-sided congruence 23μs CongruenceByPairs 015: (cong) size non-Element* . . . 22ms CongruenceInterface 000: add_pair . . .  -- with ToddCoxeter 84μs  -- with KnuthBendix 104μs  -- with CongruenceByPairs 97μs  -- with Congruence 432μs CongruenceInterface 001: contains/const_contains . . .  -- with ToddCoxeter and no parent 98μs  -- with KnuthBendix and no parent 99μs  -- with Congruence and parent 375μs  -- with CongruenceByPairs and parent 88μs CongruenceInterface 002: less . . .  -- with ToddCoxeter 85μs  -- with KnuthBendix 123μs  -- with CongruenceByPairs 84μs  -- with Congruence 391μs CongruenceInterface 003: is_quotient_obviously_(in)finite . . .  -- with ToddCoxeter 77μs  -- with KnuthBendix 96μs CongruenceInterface 004: is_quotient_obviously_(in)finite . . .  -- with CongruenceByPairs 87μs  -- with Congruence 364μs CongruenceInterface 005: parent_froidure_pin . . .  -- with ToddCoxeter 26μs  -- with KnuthBendix 18μs CongruenceInterface 006: parent_froidure_pin . . .  -- with CongruenceByPairs 91μs  -- with Congruence 475μs CongruenceInterface 007: cbegin/cend_ntc . . .  -- with ToddCoxeter 250μs  -- with KnuthBendix 814μs CongruenceInterface 008: cbegin/cend_ntc . . .  -- with CongruenceByPairs 173μs  -- with Congruence 422μs CongruenceInterface 009: quotient is immutable . . .  -- with ToddCoxeter 84μs  -- with KnuthBendix 99μs  -- with Congruence 301μs CongruenceInterface 010: no generating pairs added . . .  -- with KnuthBendix and common behaviour 3986μs  -- with Congruence and common behaviour 4148μs  -- with ToddCoxeter 53μs CongruenceInterface 011: nr generators not set . . .  -- with ToddCoxeter 71μs  -- with KnuthBendix 63μs  -- with Congruence 64μs CongruenceInterface 012: no generating pairs . . . 144μs ConstIteratorStateless 001: ? . . . 10μs ConstIteratorStateless 002: ? . . . 10μs Constants 001: Undefined . . . 22μs Constants 002: PositiveInfinity . . . 16μs Constants 003: NegativeInfinity . . . 14μs Constants 004: LimitMax . . . 14μs Duf 004: unite . . . 32μs Duf 006: compress . . . 15μs Duf 008: resize . . . 18μs Duf 009: resize . . . 13μs Duf 010: big chain . . . 13ms Duf 012: empty table . . . 13μs Duf 014: join . . . 13μs Duf 016: contains . . . 23μs Duf 018: swap . . . 24μs DynamicArray2 001: default constructor with 3 default args . . . 10μs DynamicArray2 002: default constructor with 2 default args . . . 10μs DynamicArray2 003: default constructor with 1 default args . . . 19μs DynamicArray2 004: default constructor with 0 default args . . . 11μs DynamicArray2 005: copy constructor with 1 default args . . . 18μs DynamicArray2 006: copy constructor with 0 default args . . . 14μs DynamicArray2 007: add_rows . . . 14μs DynamicArray2 008: add_rows . . . 12μs DynamicArray2 009: add_cols . . . 28μs DynamicArray2 010: set/get . . . 36μs DynamicArray2 011: append 1/2 . . . 76μs DynamicArray2 012: append 2/2 . . . 134μs DynamicArray2 013: count . . . 14μs DynamicArray2 014: clear . . . 11μs DynamicArray2 015: begin_row and end_row . . . 43μs DynamicArray2 016: cbegin_row and cend_row . . . 21μs DynamicArray2 017: iterator operator++ (postfix) . . . 191μs DynamicArray2 018: iterator operator++ (prefix) . . . 1228μs DynamicArray2 019: iterator operator-- (postfix) . . . 236μs DynamicArray2 020: iterator operator-- (prefix) . . . 234μs DynamicArray2 021: operator= . . . 15μs DynamicArray2 022: operator== and operator!= . . . 182μs DynamicArray2 023: empty and clear . . . 14μs DynamicArray2 024: max_size . . . 10μs DynamicArray2 025: swap . . . 32μs DynamicArray2 026: iterator arithmetic . . . 977μs DynamicArray2 027: iterator comparison . . . 13μs DynamicArray2 028: iterator operator= . . . 10μs DynamicArray2 029: iterator operator[] . . . 56μs DynamicArray2 030: iterator operator-> . . . 28μs DynamicArray2 031: const_iterator operator++/-- . . . 159μs DynamicArray2 032: const_iterator operator++/-- . . . 10μs DynamicArray2 033: column iterators . . . 20μs DynamicArray2 034: column iterator arithmetic . . . 4228μs DynamicArray2 035: iterator assignment constructor . . . 1118μs DynamicArray2 036: reserve method . . . 60μs DynamicArray2 037: erase column . . . 14μs DynamicArray2 038: swap_rows . . . 13μs DynamicArray2 039: apply_row_permutation . . . 12μs DynamicArray2 040: swap . . . 11μs DynamicArray2 041: shrink_rows_to . . . 15μs DynamicArray2 042: shrink_rows_to - for range . . . 14μs FastestBMat 046: check no throw . . . 20μs FelschTree 000: previously failing example . . . 25μs Forest 001: test forest . . . 51μs FpSemigroup 001: Renner monoid type B2 (E. G. presentation), q = 1 . . . 603μs FpSemigroup 002: Renner monoid type B2 (E. G. presentation), q = 0 . . . 740μs FpSemigroup 003: Renner monoid type B3 (E. G. presentation), q = 1 . . . 46ms FpSemigroup 004: Renner monoid type B3 (E. G. presentation), q = 0 . . . 45ms FpSemigroup 005: Renner monoid type B2 (Gay-Hivert presentat [...] . . . 664μs FpSemigroup 006: Renner monoid type B2 (Gay-Hivert presentat [...] . . . 764μs FpSemigroup 007: Renner monoid type B3 (Gay-Hivert presentat [...] . . . 3688μs FpSemigroup 008: Renner monoid type B3 (Gay-Hivert presentat [...] . . . 4481μs FpSemigroup 009: Renner monoid type B4 (Gay-Hivert presentat [...] . . . 259ms FpSemigroup 010: Renner monoid type B4 (Gay-Hivert presentat [...] . . . 388ms FpSemigroup 013: Renner monoid type D2 (E. G. presentation), q = 1 . . . 1288μs FpSemigroup 014: Renner monoid type D2 (E. G. presentation), q = 0 . . . 1184μs FpSemigroup 015: Renner monoid type D3 (E. G. presentation), q = 1 . . . 6752μs FpSemigroup 016: Renner monoid type D3 (E. G. presentation), q = 0 . . . 5812μs FpSemigroup 017: Renner monoid type D4 (E. G. presentation), q = 1 . . . 440ms FpSemigroup 018: Renner monoid type D4 (E. G. presentation), q = 0 . . . 431ms FpSemigroup 019: Renner monoid type D2 (Gay-Hivert presentat [...] . . . 1517μs FpSemigroup 020: Renner monoid type D2 (Gay-Hivert presentat [...] . . . 1659μs FpSemigroup 021: Renner monoid type D3 (Gay-Hivert presentat [...] . . . 8162μs FpSemigroup 022: Renner monoid type D3 (Gay-Hivert presentat [...] . . . 6348μs FpSemigroup 023: Renner monoid type D4 (Gay-Hivert presentat [...] . . . 104ms FpSemigroup 024: Renner monoid type D4 (Gay-Hivert presentat [...] . . . 113ms FpSemigroup 029: Rook monoid R5, q = 0 . . . 7988μs FpSemigroup 030: Rook monoid R5, q = 1 . . . 7457μs FpSemigroup 031: Rook monoid R6, q = 0 . . . 54ms FpSemigroup 032: Rook monoid R6, q = 1 . . . 50ms FpSemigroup 033: normal_form . . . 355μs FpSemigroup 034: for a finite semigroup . . . 840μs FpSemigroup 035: finite fp semigroup, dihedral group of order 6 . . . 642μs FpSemigroup 036: finite fp semigroup, size 16 . . . 807μs FpSemigroup 037: finite fp semigroup, size 16 . . . 1329μs FpSemigroup 038: fp semigroup, size 240 . . . 1092μs FpSemigroup 039: add_rule . . . 347μs FpSemigroup 040: add_rule . . . 266μs FpSemigroup 041: equal_to . . . 313μs FpSemigroup 042: cbegin/cend_rules . . . 91μs FpSemigroup 043: semigroup of size 3 . . . 512μs FpSemigroup 044: run_for/until . . . 3106μs FpSemigroup 045: constructors . . . 697μs FpSemigroup 046: set_inverses . . . 248μs FpSemigroup 047: smalloverlap . . . 14ms FpSemigroup 048: quaternion group Q8 . . . 600μs FpSemigroup 049: symmetric group Coxeter presentation . . . 18ms FpSemigroupByPairs 029: (fpsemi) 2-sided congruence on finit [...] . . . 713μs FpSemigroupByPairs 030: (fpsemi) 2-sided congruence on finit [...] . . . 667μs FpSemigroupInterface 000: run with no alphabet . . .  -- with ToddCoxeter 126μs  -- with KnuthBendix 50μs  -- with FpSemigroup 58μs FpSemigroupInterface 001: equal_to . . .  -- with ToddCoxeter and human readable alphabet 2569μs  -- with KnuthBendix and human readable alphabet 5761μs  -- with FpSemigroup and human readable alphabet 5692μs  -- with FpSemigroupByPairs 3818μs FpSemigroupInterface 002: normal_form . . .  -- with ToddCoxeter 273μs  -- with KnuthBendix 315μs  -- with FpSemigroup 576μs FpSemigroupInterface 003: set_alphabet (1/2) . . .  -- with ToddCoxeter 146μs  -- with KnuthBendix 109μs  -- with FpSemigroup 122μs FpSemigroupInterface 004: set_alphabet (2/2) . . . 1402μs FpSemigroupInterface 005: add_rule after finished . . .  -- with ToddCoxeter and human readable alphabet 224μs  -- with KnuthBendix and human readable alphabet 259μs  -- with FpSemigroup and human readable alphabet 544μs  -- with FpSemigroupByPairs 1393μs FpSemigroupInterface 006: add_rule with equal words (1/2) . . .  -- with ToddCoxeter and human readable alphabet 308μs  -- with KnuthBendix and human readable alphabet 414μs  -- with FpSemigroup and human readable alphabet 486μs  -- with FpSemigroupByPairs 285μs FpSemigroupInterface 007: add_rule with equal words (2/2) . . .  -- with ToddCoxeter 48μs  -- with KnuthBendix 38μs  -- with FpSemigroup 51μs FpSemigroupInterface 008: add_rule with word_type . . .  -- with ToddCoxeter 85μs  -- with KnuthBendix 66μs  -- with FpSemigroup 146μs FpSemigroupInterface 009: add_rule with empty word (1/2) . . .  -- with ToddCoxeter 62μs  -- with FpSemigroup 62μs FpSemigroupInterface 010: add_rule with empty word (1/2) . . . 31μs FpSemigroupInterface 011: add_rules (1/3) . . .  -- with ToddCoxeter 85μs  -- with KnuthBendix 58μs  -- with FpSemigroup 64μs FpSemigroupInterface 012: add_rules (2/3) . . . 663μs FpSemigroupInterface 013: add_rules (3/3) . . .  -- with ToddCoxeter 52μs  -- with KnuthBendix 44μs  -- with FpSemigroup 125μs FpSemigroupInterface 014: set_identity (1/3) . . .  -- with ToddCoxeter 156μs  -- with KnuthBendix 135μs  -- with FpSemigroup 220μs FpSemigroupInterface 015: set_identity (2/3) . . . 382μs FpSemigroupInterface 016: set_identity (3/3) . . .  -- with ToddCoxeter 105μs  -- with KnuthBendix 92μs  -- with FpSemigroup 182μs FpSemigroupInterface 017: identity . . .  -- with ToddCoxeter 55μs  -- with KnuthBendix 41μs  -- with FpSemigroup 51μs FpSemigroupInterface 018: set_inverses + inverses (1/2) . . .  -- with ToddCoxeter 203μs  -- with KnuthBendix 190μs  -- with FpSemigroup 332μs FpSemigroupInterface 019: set_inverses + inverses (2/2) . . . 503μs FpSemigroupInterface 020: is_obviously_infinite (1/2) . . .  -- with ToddCoxeter 252μs  -- with KnuthBendix 266μs  -- with FpSemigroup 486μs FpSemigroupInterface 021: is_obviously_infinite (2/2) . . . 59μs FpSemigroupInterface 022: is_obviously_finite (1/2) . . .  -- with ToddCoxeter 224μs  -- with KnuthBendix 250μs  -- with FpSemigroup 455μs FpSemigroupInterface 023: is_obviously_finite (2/2) . . . 56μs FpSemigroupInterface 024: to_gap_string (1/3) . . .  -- with ToddCoxeter 52μs  -- with KnuthBendix 42μs  -- with FpSemigroup 138μs FpSemigroupInterface 025: to_gap_string (2/3) . . . 33μs FpSemigroupInterface 026: to_gap_string (3/3) . . . 50μs FroidurePin 016: (BMat8) exception zero generators given . . . 39μs FroidurePin 017: (BMat8) exception word_to_element . . . 116μs FroidurePin 018: (BMat8) exception prefix . . . 2966μs FroidurePin 019: (BMat8) exception suffix . . . 43μs FroidurePin 020: (BMat8) exception first_letter . . . 2205μs FroidurePin 021: (BMat8) exception final_letter . . . 41μs FroidurePin 022: (BMat8) exception current_length . . . 2233μs FroidurePin 023: (BMat8) exception product_by_reduction . . . 2311μs FroidurePin 024: (BMat8) exception fast_product . . . 2366μs FroidurePin 025: (BMat8) exception is_idempotent . . .  FroidurePin 026: (BMat8) copy constructor . . .  -- with fully enumerated   -- with partially enumerated   -- with not enumerated  FroidurePin 027: (BMat8) cbegin/end_rules . . . 55μs FroidurePin 031: (integers) . . . 168μs FroidurePin 039: (pairs of integers) non-trivial user type . . . 32μs FroidurePin 055: (tropical max-plus semiring matrices) . . . 247μs FroidurePin 061: projective max plus matrix . . . 843μs FroidurePin 062: projective max plus matrix . . . 28μs FroidurePin> 009: small example 2 . . . 48μs FroidurePin> 005: small example 1 . . . 92μs FroidurePin> 007: regular bmat monoid 4 . . . 58ms FroidurePin> 011: small example 3 . . . 517μs FroidurePin> 006: small example 1 . . . 140μs FroidurePin> 008: regular bmat monoid 4 . . . 69ms FroidurePin> 010: small example 2 . . . 42μs FroidurePin> 012: small example 3 . . . 553μs FroidurePin 000: small example 1 . . . 150μs FroidurePin 001: default constructed . . . 106μs FroidurePin 002: small example 2 . . . 39μs FroidurePin 004: exception: is_idempotent . . . 113μs FroidurePin> 033: Example 000 . . . 2272μs FroidurePin> 035: Example 001 . . . 39μs FroidurePin> 032: Example 000 . . . 1141μs FroidurePin> 034: Example 001 . . . 45μs FroidurePin 036: exception: current_position . . . 101μs FroidurePin 037: exception: word_to_element . . . 52μs FroidurePin 038: exception: prefix, suffix, first_letter . . . 16ms FroidurePin> 040: Example 000 . . . 67μs FroidurePin> 041: Example 000 . . . 52μs FroidurePin> 046: Example 005 . . . 132μs FroidurePin> 047: Example 005 . . . 141μs FroidurePin> 048: Example 005 . . . 139μs FroidurePin> 044: Example 004 . . . 26μs FroidurePin> 045: Example 004 . . . 27μs FroidurePin> 049: Example 006 . . . 749μs FroidurePin> 050: Example 006 . . . 1377μs FroidurePin> 051: Example 006 . . . 922μs FroidurePin> 052: Example 007 . . . 100μs FroidurePin> 053: Example 007 . . . 107μs FroidurePin> 054: Example 007 . . . 115μs FroidurePin 056: example 1 . . . 163μs FroidurePin 057: example 2 . . . 120μs FroidurePin> 058: . . . 521μs FroidurePin> 059: . . . 61μs FroidurePin> 060: exceptions: add_generator(s) . . . 50μs FroidurePin> 065: no exception zero generators given . . . 24μs FroidurePin> 066: exception generators of different [...] . . . 64μs FroidurePin> 067: exception current_position . . . 46μs FroidurePin> 068: exception word_to_element . . . 38μs FroidurePin> 069: exception gens . . . 423μs FroidurePin> 070: exception prefix . . . 15ms FroidurePin> 071: exception suffix . . . 48ms FroidurePin> 072: exception first_letter . . . 39μs FroidurePin> 073: exception final_letter . . . 36μs FroidurePin> 074: exception current_length . . . 30μs FroidurePin> 075: exception product_by_reduction . . . 272μs FroidurePin> 076: exception fast_product . . . 297μs FroidurePin> 077: exception current_position . . . 368μs FroidurePin> 078: exception is_idempotent . . . 439μs FroidurePin> 079: exception add_generators . . . 33μs FroidurePin> 080: multithread number_of_idempotents . . . 433μs FroidurePin> 081: small semigroup . . . 28μs FroidurePin> 082: large semigroup . . . 5350μs FroidurePin> 083: at, position, current_* . . . 5422μs FroidurePin> 084: run . . . 5034μs FroidurePin> 085: run [many stops and starts] . . . 5198μs FroidurePin> 086: factorisation, length [1 element] . . . 5082μs FroidurePin> 087: factorisation, products [all elements] . . . 6531μs FroidurePin> 088: first/final letter, prefix, suffi [...] . . . 5184μs FroidurePin> 089: current_position [standard] . . . 22μs FroidurePin> 090: current_position [duplicate gens] . . . 10ms FroidurePin> 091: current_position [after add_generators] . . . 6005μs FroidurePin> 092: cbegin_idempotents/cend [1 thread] . . . 6197μs FroidurePin> 093: idempotent_cend/cbegin [1 thread] . . . 5588μs FroidurePin> 094: is_idempotent [1 thread] . . . 5226μs FroidurePin> 096: finished, started . . . 5125μs FroidurePin> 097: current_position . . . 1033μs FroidurePin> 098: sorted_position, sorted_at . . . 6449μs FroidurePin> 099: right/left Cayley graph . . . 25ms FroidurePin> 100: iterator . . . 7978μs FroidurePin> 101: reverse iterator . . . 7985μs FroidurePin> 102: iterator arithmetic . . . 23ms FroidurePin> 103: iterator sorted . . . 19ms FroidurePin> 104: iterator sorted arithmetic . . . 25ms FroidurePin> 105: copy [not enumerated] . . . 5141μs FroidurePin> 106: copy_closure [not enumerated] . . . 34ms FroidurePin> 107: copy_add_generators [not enumerated] . . . 31ms FroidurePin> 108: copy [partly enumerated] . . . 5667μs FroidurePin> 109: copy_closure [partly enumerated] . . . 8984μs FroidurePin> 110: copy_add_generators [partly enumerated] . . . 5704μs FroidurePin> 111: copy [fully enumerated] . . . 7678μs FroidurePin> 112: copy_closure [fully enumerated] . . . 9091μs FroidurePin> 113: copy_add_generators [fully enumerated] . . . 8638μs FroidurePin> 114: relations [duplicate gens] . . . 145μs FroidurePin> 115: relations . . . 7048μs FroidurePin> 116: relations [copy_closure, duplicat [...] . . . 9754μs FroidurePin> 117: relations [copy_add_generators, d [...] . . . 9825μs FroidurePin> 118: relations [from copy, not enumerated] . . . 6295μs FroidurePin> 119: relations [from copy, partly enum [...] . . . 10ms FroidurePin> 120: relations [from copy, fully enumerated] . . . 10ms FroidurePin> 121: relations [from copy_closure, not [...] . . . 10ms FroidurePin> 122: relations [from copy_add_generato [...] . . . 6121μs FroidurePin> 123: relations [from copy_closure, par [...] . . . 9524μs FroidurePin> 124: relations [from copy_add_generato [...] . . . 8135μs FroidurePin> 125: relations [from copy_closure, ful [...] . . . 11ms FroidurePin> 126: relations [from copy_add_generato [...] . . . 9904μs FroidurePin> 127: add_generators [duplicate generators] . . . 269μs FroidurePin> 128: add_generators [incremental 1] . . . 307μs FroidurePin> 129: add_generators [incremental 2] . . . 357μs FroidurePin> 130: closure [duplicate generators] . . . 170μs FroidurePin> 131: closure . . . 73μs FroidurePin> 132: factorisation . . . 20μs FroidurePin> 134: minimal_factorisation . . . 38μs FroidurePin> 135: batch_size (for an extremely larg [...] . . . 20μs FroidurePin> 137: exception: generators of differen [...] . . . 24μs FroidurePin> 138: exception: current_position . . . 39μs FroidurePin> 139: exception: word_to_element . . . 35μs FroidurePin> 140: exception: gens, current_position . . . 467μs FroidurePin> 141: exception: add_generators . . . 29μs KBE 000: constructors . . . 35μs KBE 001: test . . . 55μs KBE 002: factorisation . . . 37μs KBE 003: swap . . . 25μs KBE 004: adapters . . . 24μs KBE 005: conversions . . . 23μs Kambites 000: (fpsemi) MT test 4 (std::string) . . . 5287μs Kambites 001: (fpsemi) MT test 4 (MultiStringView) . . . 6567μs Kambites 002: (fpsemi) number_of_pieces (std::string) . . . 100μs Kambites 003: (fpsemi) number_of_pieces (MultiStringView) . . . 85μs Kambites 004: (fpsemi) small_overlap_class (std::string) . . . 2783μs Kambites 005: (fpsemi) small_overlap_class (MultiStringView) . . . 2825μs Kambites 006: (fpsemi) random (std::string) . . . 9365μs Kambites 007: (fpsemi) random (MultiStringView) . . . 9045μs Kambites 008: (fpsemi) KnuthBendix 055 (std::string) . . . 13ms Kambites 009: (fpsemi) KnuthBendix 055 (MultiStringView) . . . 15ms Kambites 010: (fpsemi) smalloverlap/gap/test.gi:85 (std::string) . . . 67μs Kambites 011: (fpsemi) smalloverlap/gap/test.gi:85 (MultiStr [...] . . . 69μs Kambites 012: (fpsemi) free semigroup . . . 12μs Kambites 013: (fpsemi) smalloverlap/gap/test.gi:49 (std::string) . . . 28ms Kambites 014: (fpsemi) smalloverlap/gap/test.gi:49 (MultiStr [...] . . . 39ms Kambites 015: (fpsemi) smalloverlap/gap/test.gi:63 (std::string) . . . 30ms Kambites 016: (fpsemi) smalloverlap/gap/test.gi:63 (MultiStr [...] . . . 44ms Kambites 017: (fpsemi) smalloverlap/gap/test.gi:70 (std::string) . . . 115ms Kambites 018: (fpsemi) smalloverlap/gap/test.gi:70 (MultiStr [...] . . . 169ms Kambites 021: (fpsemi) code coverage (std::string) . . . 57μs Kambites 022: (fpsemi) code coverage (MultiStringView) . . . 39μs Kambites 023: (fpsemi) prefix (std::string) . . . 62μs Kambites 024: (fpsemi) prefix (MultiStringView) . . . 92μs Kambites 025: (fpsemi) normal_form (Example 3.15) (std::string) . . . 62μs Kambites 026: (fpsemi) normal_form (Example 3.15) (MultiStri [...] . . . 91μs Kambites 027: (fpsemi) normal_form (Example 3.16) (std::string) . . . 45μs Kambites 028: (fpsemi) normal_form (Example 3.16) (MultiStri [...] . . . 64μs Kambites 029: (fpsemi) normal_form (Example 3.16) more exhau [...] . . . 72ms Kambites 030: (fpsemi) normal_form (Example 3.16) more exhau [...] . . . 80ms Kambites 031: (fpsemi) small presentation (std::string) . . . 86μs Kambites 032: (fpsemi) small presentation (MultiStringView) . . . 41μs Kambites 033: (fpsemi) non-smalloverlap (std::string) . . . 57μs Kambites 034: (fpsemi) non-smalloverlap (MultiStringView) . . . 57μs Kambites 035: (fpsemi) MT test 3 (std::string) . . . 44μs Kambites 036: (fpsemi) MT test 3 (MultiStringView) . . . 44μs Kambites 037: (fpsemi) MT test 5 (std::string) . . . 25μs Kambites 038: (fpsemi) MT test 5 (MultiStringView) . . . 25μs Kambites 039: (fpsemi) MT test 6 (std::string) . . . 34μs Kambites 040: (fpsemi) MT test 6 (MultiStringView) . . . 47μs Kambites 041: (fpsemi) MT test 10 (std::string) . . . 31μs Kambites 042: (fpsemi) MT test 10 (MultiStringView) . . . 38μs Kambites 043: (fpsemi) MT test 13 (std::string) . . . 24μs Kambites 044: (fpsemi) MT test 13 (MultiStringView) . . . 26μs Kambites 045: (fpsemi) MT test 14 (std::string) . . . 22μs Kambites 046: (fpsemi) MT test 14 (MultiStringView) . . . 25μs Kambites 047: (fpsemi) MT test 15 (std::string) . . . 50μs Kambites 048: (fpsemi) MT test 15 (MultiStringView) . . . 47μs Kambites 049: (fpsemi) MT test 16 (std::string) . . . 45μs Kambites 050: (fpsemi) MT test 16 (MultiStringView) . . . 54μs Kambites 051: (fpsemi) MT test 17 (std::string) . . . 101μs Kambites 052: (fpsemi) MT test 17 (MultiStringView) . . . 101μs Kambites 053: (fpsemi) weak C(4) not strong x 1 (std::string) . . . 456μs Kambites 054: (fpsemi) weak C(4) not strong x 1 (MultiStringView) . . . 763μs Kambites 055: (fpsemi) weak C(4) not strong x 2 (std::string) . . . 454μs Kambites 056: (fpsemi) weak C(4) not strong x 2 (MultiStringView) . . . 654μs Kambites 057: (fpsemi) weak C(4) not strong x 3 (std::string) . . . 440μs Kambites 058: (fpsemi) weak C(4) not strong x 3 (MultiStringView) . . . 459μs Kambites 059: (fpsemi) weak C(4) not strong x 4 (std::string) . . . 62μs Kambites 060: (fpsemi) weak C(4) not strong x 4 (MultiStringView) . . . 90μs Kambites 061: (fpsemi) weak C(4) not strong x 5 (std::string) . . . 25μs Kambites 062: (fpsemi) weak C(4) not strong x 5 (MultiStringView) . . . 20μs Kambites 063: (fpsemi) weak C(4) not strong x 6 (std::string) . . . 45μs Kambites 064: (fpsemi) weak C(4) not strong x 6 (MultiStringView) . . . 48μs Kambites 065: (fpsemi) Konovalov example (std::string) . . . 31μs Kambites 066: (fpsemi) Konovalov example (MultiStringView) . . . 28μs Kambites 067: (fpsemi) long words (std::string) . . . 529ms Kambites 068: (fpsemi) long words (MultiStringView) . . . 49ms Kambites 075: (cong) example 1 . . . 39μs Kambites 076: (cong) example 2 . . . 111μs Kambites 077: (cong) code coverage . . . 5605μs Kambites 078: (cong) large number of rules . . . 208ms KnuthBendix 000: (fpsemi) confluent fp semigroup 1 (infinite) . . . 96μs KnuthBendix 001: (fpsemi) confluent fp semigroup 2 (infinite) . . . 97μs KnuthBendix 002: (fpsemi) confluent fp semigroup 3 (infinite) . . . 73μs KnuthBendix 003: (fpsemi) non-confluent fp semigroup from wi [...] . . . 116μs KnuthBendix 004: (fpsemi) Example 5.1 in Sims (infinite) . . . 113μs KnuthBendix 005: (fpsemi) Example 5.1 in Sims (infinite) . . . 125μs KnuthBendix 006: (fpsemi) Example 5.3 in Sims . . . 95μs KnuthBendix 007: (fpsemi) Example 5.4 in Sims . . . 98μs KnuthBendix 008: (fpsemi) Example 6.4 in Sims (size 168) . . . 6084μs KnuthBendix 009: (fpsemi) . . . 36ms KnuthBendix 010: (fpsemi) SL(2, 7) from Chapter 3, Propositi [...] . . . 60ms KnuthBendix 011: (fpsemi) F(2, 5) - Chapter 9, Section 1 in [...] . . . 363μs KnuthBendix 012: (fpsemi) Reinis example 1 . . . 163μs KnuthBendix 013: redundant_rule (std::string) . . . 100ms KnuthBendix 014: redundant_rule (word_type) . . . 10ms KnuthBendix 019: (fpsemi) C(4) monoid . . . 31μs KnuthBendix 020: (cong) Chinese monoid . . . 123μs KnuthBendix 021: (from kbmag/standalone/kb_data/f25monoid) . . . 382μs KnuthBendix 022: (from kbmag/standalone/kb_data/degen4a) . . . 41ms KnuthBendix 023: (from kbmag/standalone/kb_data/torus) . . . 2608μs KnuthBendix 024: (from kbmag/standalone/kb_data/3a6) . . . 184ms KnuthBendix 025: (from kbmag/standalone/kb_data/f2) . . . 71μs KnuthBendix 026: (from kbmag/standalone/kb_data/s16) . . . 45ms KnuthBendix 027: (from kbmag/standalone/kb_data/a4monoid) . . . 48μs KnuthBendix 028: (from kbmag/standalone/kb_data/degen3) . . . 21μs KnuthBendix 029: (from kbmag/standalone/kb_data/ab1) . . . 27μs KnuthBendix 030: (from kbmag/standalone/kb_data/degen2) . . . 14μs KnuthBendix 031: (from kbmag/standalone/kb_data/f25) . . . 317μs KnuthBendix 032: (from kbmag/standalone/kb_data/237) . . . 427μs KnuthBendix 033: (from kbmag/standalone/kb_data/c2) . . . 16μs KnuthBendix 034: (from kbmag/standalone/kb_data/cosets) . . . 159μs KnuthBendix 035: Example 5.1 in Sims (KnuthBendix 09 again) . . . 39μs KnuthBendix 036: (from kbmag/standalone/kb_data/nilp2) . . . 34μs KnuthBendix 037: Example 6.4 in Sims . . . 9311μs KnuthBendix 038: KnuthBendix 071 again . . . 472μs KnuthBendix 039: Example 5.4 in Sims (KnuthBendix 11 again) [...] . . . 142μs KnuthBendix 040: Example 5.4 in Sims (KnuthBendix 11 again) [...] . . . 93μs KnuthBendix 041: operator<< . . . 42μs KnuthBendix 042: confluence_interval . . . 14μs KnuthBendix 043: max_overlap . . . 13μs KnuthBendix 044: (fpsemi) (from kbmag/standalone/kb_data/d22 [...] . . . 877μs KnuthBendix 045: (fpsemi) (from kbmag/standalone/kb_data/d22 [...] . . . 1724μs KnuthBendix 046: (fpsemi) small example . . . 503μs KnuthBendix 047: code coverage . . . 42μs KnuthBendix 048: small overlap 1 . . . 38μs KnuthBendix 049: (from kbmag/standalone/kb_data/s9) . . . 1052μs KnuthBendix 050: (fpsemi) Chapter 11, Lemma 1.8 (q = 6, r = [...] . . . 486μs KnuthBendix 051: (fpsemi) Chapter 11, Section 2 (q = 6, r = [...] . . . 97μs KnuthBendix 052: (fpsemi) Chapter 8, Theorem 4.2 in NR (infinite) . . . 158μs KnuthBendix 053: (fpsemi) equal_to fp semigroup . . . 53μs KnuthBendix 054: (fpsemi) equal_to free semigroup . . . 39μs KnuthBendix 055: (fpsemi) from GAP smalloverlap gap/test.gi [...] . . . 314μs KnuthBendix 056: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 524μs KnuthBendix 057: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 536μs KnuthBendix 058: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 1559μs KnuthBendix 059: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 3617μs KnuthBendix 060: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 27μs KnuthBendix 061: (fpsemi) Von Dyck (2,3,7) group (infinite) . . . 398μs KnuthBendix 062: (fpsemi) Von Dyck (2,3,7) group - different [...] . . . 3144μs KnuthBendix 063: (fpsemi) rewriting system from KnuthBendixC [...] . . . 294μs KnuthBendix 064: (fpsemi) rewriting system from Congruence 20 . . . 26μs KnuthBendix 065: (fpsemi) (from kbmag/standalone/kb_data/ab2) . . . 72μs KnuthBendix 066: (fpsemi) (from kbmag/standalone/kb_data/d22 [...] . . . 932μs KnuthBendix 067: (fpsemi) (from kbmag/standalone/kb_data/degen1) . . . 38μs KnuthBendix 068: (fpsemi) (from kbmag/standalone/kb_data/s4) . . . 236μs KnuthBendix 069: (fpsemi) fp semigroup (infinite) . . . 51μs KnuthBendix 070: (fpsemi) Chapter 11, Section 1 (q = 4, r = [...] . . . 1227μs KnuthBendix 071: (fpsemi) Chapter 11, Section 1 (q = 8, r = [...] . . . 71ms KnuthBendix 072: (fpsemi) Chapter 7, Theorem 3.9 in NR (size 240) . . . 2378μs KnuthBendix 073: (fpsemi) F(2, 5) - Chapter 9, Section 1 in [...] . . . 332μs KnuthBendix 074: (fpsemi) F(2, 6) - Chapter 9, Section 1 in NR . . . 324μs KnuthBendix 075: (fpsemi) Chapter 10, Section 4 in NR (infinite) . . . 604μs KnuthBendix 076: (fpsemi) Sym(5) from Chapter 3, Proposition [...] . . . 2088μs KnuthBendix 077: (fpsemi) SL(2, 7) from Chapter 3, Propositi [...] . . . 57ms KnuthBendix 078: (fpsemi) bicyclic monoid (infinite) . . . 64μs KnuthBendix 079: (fpsemi) plactic monoid of degree 2 (infinite) . . . 54μs KnuthBendix 080: (fpsemi) example before Chapter 7, Proposit [...] . . . 34μs KnuthBendix 081: (fpsemi) Chapter 7, Theorem 3.6 in NR (size 243) . . . 614μs KnuthBendix 082: (fpsemi) finite semigroup (size 99) . . . 186μs KnuthBendix 096: Sorouhesh . . . 294μs KnuthBendix 097: (fpsemi) transformation semigroup (size 4) . . . 51μs KnuthBendix 098: (fpsemi) transformation semigroup (size 9) . . . 46μs KnuthBendix 099: (fpsemi) transformation semigroup (size 88) . . . 508μs KnuthBendix 100: internal_string_to_word . . . 32μs KnuthBendix 101: (fpsemi) construct from shared_ptr . . . 506μs KnuthBendix 102: internal_string_to_word . . . 588μs KnuthBendix 103: (cong) free semigroup congruence (5 classes) . . . 57μs KnuthBendix 104: free semigroup congruence (6 classes) . . . 193μs KnuthBendix 105: (cong) free semigroup congruence (16 classes) . . . 218μs KnuthBendix 106: (cong) free semigroup congruence (6 classes) . . . 315μs KnuthBendix 107: (cong) free semigroup congruence (240 classes) . . . 2389μs KnuthBendix 108: (cong) free semigroup congruence (240 classes) . . . 2260μs KnuthBendix 109: (cong) less . . . 2900μs KnuthBendix 110: (cong) less . . . 136ms KnuthBendix 111: (cong) constructors . . . 195ms KnuthBendix 112: (cong) const_contains/contains . . . 194μs KnuthBendix 113: (cong) is_quotient_obviously_finite . . . 21μs KnuthBendix 114: (cong) class_index_to_word . . . 174μs KnuthBendix 115: (cong) quotient_froidure_pin . . . 128μs KnuthBendix 116: (cong) set_number_of_generators . . . 25μs KnuthBendix 117: (cong) number of classes when obv-inf . . . 64μs KnuthBendixCongruenceByPairs 016: non-trivial congruence on [...] . . . 144μs KnuthBendixCongruenceByPairs 017: non-trivial congruence on [...] . . . 132μs KnuthBendixCongruenceByPairs 018: non-trivial congruence on [...] . . . 203μs KnuthBendixCongruenceByPairs 019: non-trivial congruence on [...] . . . 201μs KnuthBendixCongruenceByPairs 020: trivial congruence on a fi [...] . . . 138μs KnuthBendixCongruenceByPairs 021: universal congruence on a [...] . . . 391μs KnuthBendixCongruenceByPairs 022: left congruence on a finit [...] . . . 246μs KnuthBendixCongruenceByPairs 023: finite group, Chapter 11, [...] . . . 3411μs KnuthBendixCongruenceByPairs 024: right congruence on infini [...] . . . 253μs KnuthBendixCongruenceByPairs 025: finite fp semigroup, dihed [...] . . . 233μs KnuthBendixCongruenceByPairs 026: finite fp semigroup, size 16 . . . 245μs KnuthBendixCongruenceByPairs 027: finite fp semigroup, size 16 . . . 667μs KnuthBendixCongruenceByPairs 028: infinite fp semigroup with [...] . . . 51μs Konieczny 000: test000> . . . 893μs Konieczny 001: test000> . . . 578μs Konieczny 002: test001> . . . 9609μs Konieczny 003: test001> . . . 6782μs Konieczny 006: exceptions . . . 48μs Konieczny 007: code coverage . . . 12ms Konieczny 008: code coverage . . . 8312μs Konieczny 009: regular elements and idempotents . . .  Konieczny 010: regular D-class 01 . . . 1120μs Konieczny 011: regular D-class 02 . . . 19ms Konieczny 012: regular D-class 04: contains . . . 1650ms Konieczny 013: non-regular D-classes 01 . . . 1207μs Konieczny 014: RegularDClass . . . 760μs Konieczny 015: full bmat monoid 4 . . . 211ms Konieczny 017: regular generated bmat monoid 4 idempotents . . . 161ms Konieczny 019: my favourite example . . . 95ms Konieczny 020: another large example . . . 18ms Konieczny 021: my favourite example transposed . . . 155ms Konieczny 024: exceptions . . . 1313μs Konieczny 025: 0-parameter constructor . . . 22ms Konieczny 026: non-regular D-classes 02 . . . 20ms Konieczny 028: partial perm . . . 130ms Konieczny 029: symmetric inverse monoid n = 8 . . . 22ms Konieczny 030: exceptions . . . 168ms Konieczny 031: transformations . . . 707μs Konieczny 032: transformations - JDM favourite example . . . 96ms Konieczny 033: transformations - large example . . . 231ms Konieczny 034: transformations - large example with stop . . . 228ms Konieczny 035: transformations - large example with run_until . . . 228ms Konieczny 036: transformations - large example with stop in Action . . . 229ms Konieczny 037: exceptions . . . 56μs Konieczny 038: transformations: contains . . . 450μs Konieczny 040: transformations - destructor coverage . . . 179ms Konieczny 041: current_number_D_classes . . . 181ms Konieczny 042: add_generator . . . 30μs Konieczny 043: add_generator . . . 20μs Matrix 000: BMat<2> . . . 101μs Matrix 001: BMat<> . . . 67μs Matrix 002: BMat<3> + BMat<> . . . 12μs Matrix 003: BMat<2> + BMat<> . . . 11μs Matrix 004: BMat<3> . . . 12μs Matrix 005: BMat<> . . . 14μs Matrix 006: BMat<3> row_basis . . . 30μs Matrix 007: BMat<> row_basis . . . 46μs Matrix 008: IntMat<3> . . . 14μs Matrix 009: IntMat<> . . . 17μs Matrix 010: IntMat code cov . . . 10μs Matrix 011: MaxPlusMat<3> . . . 13μs Matrix 012: MaxPlusMat<> . . . 15μs Matrix 013: MaxPlusMat code cov . . . 9000ns Matrix 014: MinPlusMat<3> . . . 15μs Matrix 015: MinPlusMat<> . . . 17μs Matrix 016: MinPlusMat code cov . . . 9000ns Matrix 017: MaxPlusTruncMat<5, 2> . . . 21μs Matrix 018: MaxPlusTruncMat<5> . . . 17μs Matrix 019: MaxPlusTruncMat<> . . . 27μs Matrix 020: MaxPlusTruncMat<5, 4> . . . 17μs Matrix 021: MaxPlusTruncMat<5> . . . 18μs Matrix 022: MaxPlusTruncMat<> . . . 17μs Matrix 023: MaxPlusTruncMat<33, 3> . . . 27μs Matrix 024: MaxPlusTruncMat<33> . . . 24μs Matrix 025: MaxPlusTruncMat<> . . . 25μs Matrix 026: MaxPlusMat code cov . . . 9000ns Matrix 027: MinPlusTruncMat<33, 3> . . . 26μs Matrix 028: MinPlusTruncMat<33> . . . 26μs Matrix 029: MinPlusTruncMat<> . . . 32μs Matrix 030: NTPMat<0, 3, 3, 3> . . . 13μs Matrix 031: NTPMat<0, 3> . . . 15μs Matrix 032: NTPMat<> . . . 27μs Matrix 033: NTPMat<0, 10, 4, 4> . . . 57μs Matrix 034: NTPMat<0, 10> . . . 20μs Matrix 035: NTPMat<> . . . 18μs Matrix 036: NTPMat<0, 10, 4, 4> . . . 18μs Matrix 037: NTPMat<0, 10> . . . 18μs Matrix 038: NTPMat<> . . . 17μs Matrix 039: NTPMat<33, 2, 3, 3> . . . 15μs Matrix 040: NTPMat<33, 2> . . . 14μs Matrix 041: NTPMat<> . . . 15μs Matrix 042: ProjMaxPlusMat<3> . . . 71μs Matrix 043: ProjMaxPlusMat<> . . . 75μs Matrix 044: exceptions . . . 29μs Matrix 045: code coverage . . . 30μs MultiStringView 000: catch all . . . 44μs MultiStringView 001: is_prefix . . . 14μs MultiStringView 002: erase . . . 15μs MultiStringView 003: iterators . . . 11μs MultiStringView 004: constructors (long) . . . 19μs MultiStringView 005: constructors (short) . . . 16μs MultiStringView 006: copy assignment (short assigned to long) . . . 13μs MultiStringView 007: copy assignment (short assigned to short) . . . 12μs MultiStringView 008: move assignment (short assigned to long) . . . 13μs MultiStringView 009: move assignment (short assigned to short) . . . 12μs MultiStringView 010: code coverage . . . 18μs MultiStringView 011: pop_front . . . 42μs MultiStringView 012: append . . . 13μs MultiStringView 013: operators . . . 14μs MultiStringView 014: maximum_common_suffix . . . 13μs MultiStringView 015: deep tests . . . 10μs ObviouslyInfinite 011: Multiple rule additions . . . 36μs ObviouslyInfinite 012: A power of the generator 'b' does not [...] . . . 12μs ObviouslyInfinite 013: Preserves the number of occurrences o [...] . . . 11μs ObviouslyInfinite 014: Less relations than generators . . . 11μs ObviouslyInfinite 015: Relations preserve length . . . 12μs ObviouslyInfinite 016: Matrix has non empty kernel . . . 13μs ObviouslyInfinite 017: Free product of trivial semigroups . . . 10μs ObviouslyInfinite 018: Another free product . . . 12μs ObviouslyInfinite 019: Infinite but not obviously so . . . 11μs ObviouslyInfinite 020: Finite semigroup . . . 13μs PBR 001: universal product with convenience constructor . . . 35μs PBR 002: universal product . . . 16μs PBR 003: product [bigger than previous] . . . 24μs PBR 004: hash . . . 10μs PBR 005: delete/copy . . . 16μs PBR 006: exceptions . . . 99μs PBR 007: operators . . . 51μs PBR 008: to_string . . . 18μs PBR 009: identity . . . 34μs PBR 010: adapters . . . 9000ns Pool 000: initial . . . 29μs Pool 001: bmat . . . 46μs Pool 002: PoolGuard . . . 22μs Pool 003: transformation products . . . 14μs Presentation 000: vectors of ints . . . 69μs Presentation 001: strings . . . 53μs Presentation 002: constructors (word_type) . . . 20μs Presentation 003: constructors (StaticVector1) . . . 32μs Presentation 004: constructors (std::string) . . . 19μs Presentation 005: alphabet + letters (word_type) . . . 131μs Presentation 006: alphabet + letters (std::string) . . . 30μs Presentation 007: contains_empty_word . . . 11μs Presentation 008: validate_rules throws . . . 34μs Presentation 009: helpers add_rule(s) . . . 62μs Presentation 010: helpers add_rule(s) (std::string) . . . 27μs Presentation 011: helpers add_identity_rules (std::vector/St [...] . . . 76μs Presentation 012: helpers add_identity_rules (std::string) . . . 38μs Presentation 013: helpers add_inverse_rules (all) . . . 194μs Presentation 014: helpers add_inverse_rules (std::string) . . . 73μs Presentation 015: helpers remove_duplicate_rules . . . 47μs Presentation 016: helpers reduce_complements . . . 96μs Presentation 017: helpers sort_each_rule . . . 44μs Presentation 018: helpers sort_rules . . . 47μs Presentation 019: helpers longest_common_subword/replace_subword . . . 213μs Presentation 020: helpers redundant_rule . . . 4865μs Presentation 021: helpers shortlex_compare_concat . . . 11μs Presentation 022: helpers remove_trivial_rules . . . 54μs Presentation 023: helpers replace_subword (existing, replacement) . . . 79μs Presentation 024: helpers longest_rule . . . 78μs Presentation 025: helpers longest_rule_length . . . 64μs Presentation 026: helpers remove_redundant_generators . . . 123μs Presentation 027: helpers reverse . . . 20μs Presentation 028: in_alphabet . . . 34μs Presentation 029: replace_subword with empty word . . . 20μs Presentation 030: helpers replace_word . . . 31μs Presentation 031: clear . . . 12μs Presentation 032: letter . . . 29μs Presentation 033: normalize_alphabet . . . 15μs Presentation 034: longest_common_subword issue . . . 272μs Presentation 035: helpers add_zero_rules (std::vector/Static [...] . . . 36μs Presentation 036: helpers add_zero_rules (std::string) . . . 21μs Presentation 037: make_semigroup . . . 36μs Presentation 038: greedy_reduce_length . . . 146μs Presentation 039: aaaaaaaab = aaaaaaaaab strong compression . . . 43μs Presentation 040: change_alphabet . . . 52μs Presentation 041: sort_rules bug . . . 182μs Presentation 042: first_unused_letter/letter . . . 128μs Presentation 043: case where strong compression doesn't work . . . 27μs Presentation 044: proof that . . . 34μs Presentation 045: decompression . . . 17μs Race 001: run_for . . . 10ms Race 002: run_until . . . 10ms Race 003: exceptions . . . 10ms Race 004: iterators . . . 13μs Race 005: find_runner . . . 13μs Race 006: run_func . . . 25ms Race 007: run_func . . . 10ms Race 008: run_func . . . 10ms Runner 000: run_for . . . 10ms Runner 001: run_for . . . 1011μs Runner 002: run_for . . . 191ms Runner 003: run_for . . . 25ms Runner 004: started . . . 1034μs Runner 005: run_until . . . 7605μs Runner 006: kill . . . 30μs Runner 007: copy constructor . . . 10ms Runner 008: report . . . 20ms Runner 009: run_until with function pointer . . . 31μs SchreierSims 001: trivial perm. group (degree 1) . . . 46μs SchreierSims 002: trivial perm. group (degree 2) . . . 53μs SchreierSims 003: trivial perm. group (degree 500) . . . 327μs SchreierSims 004: symmetric perm. group (degree 5) . . . 62μs SchreierSims 005: symmetric perm. group (degree 8) . . . 83μs SchreierSims 006: symmetric perm. group (degree 9) . . . 142μs SchreierSims 007: alternating perm. group (degree 12) . . . 188μs SchreierSims 008: symmetric perm. group (degree 16) . . . 1523μs SchreierSims 009: alternating perm. group (degree 15) . . . 1196μs SchreierSims 010: alternating perm. group (degree 16) . . . 1669μs SchreierSims 011: dihedral perm. group (order 10) . . . 36μs SchreierSims 012: dihedral perm. group (order 200) . . . 1977μs SchreierSims 013: perm. group T (order 12) . . . 40μs SchreierSims 014: quaternion perm. group (order 8) . . . 43μs SchreierSims 015: perm. group (order 84129611558952960) . . . 163ms SchreierSims 016: perm. group SL(3, 5) (order 372000) . . . 774μs SchreierSims 017: perm. group PSL(4, 8) (order 34558531338240) . . . 62ms SchreierSims 018: perm. Mathieu group M11 (order 7920) . . . 61μs SchreierSims 019: perm. Mathieu group M24 (order 244823040) . . . 154μs SchreierSims 020: perm. Janko Group J1 (order 175560) . . . 1719μs SchreierSims 021: perm. Hall-Janko group (order 604800) . . . 266μs SchreierSims 022: perm. Hall-Janko group (alt.) (order 604800) . . . 14ms SchreierSims 023: perm. Conway group Co3 (order 495766656000) . . . 5090μs SchreierSims 024: perm. Conway group Co3 (alt.) (order 49576 [...] . . . 10ms SchreierSims 025: perm. Suzuki group (order 448345497600) . . . 59ms SchreierSims 027: perm. Held group (order 4030387200) . . . 99ms SchreierSims 028: perm. group C2 x C2 x C2 (order 8) . . . 24μs SchreierSims 029: perm. group C2 x C2 x C2 x C2 (order 16) . . . 27μs SchreierSims 030: perm. group (S5 x S5) : C2 (order 28800) . . . 56μs SchreierSims 031: perm. group C3 x D8 x A5 (order 1440) . . . 56μs SchreierSims 032: perm. group GL(4, 3) (order 24261120) . . . 503μs SchreierSims 033: perm. group PSL(3, 7) (order 1876896) . . . 608μs SchreierSims 037: symmetric perm. group (degree 5) . . . 26μs SchreierSims 038: alternating perm. group (degree 17) . . . 2917μs SchreierSims 039: exceptions . . . 71μs SchreierSims 040: exceptions . . . 39μs SchreierSims 041: trivial group . . . 29μs SchreierSims 042: A17 bug . . . 2590μs SchreierSims 043: orbits_lookup test . . . 372μs SchreierSims 044: transversal_element and inversal_element test . . . 1002μs SchreierSimsHelper 001: trivial perm. group intersection (de [...] . . . 20μs SchreierSimsHelper 002: trivial perm. group intersection (de [...] . . . 20μs SchreierSimsHelper 003: cyclic group intersection (degree 13) . . . 27μs SchreierSimsHelper 004: D10 and Z5 intersection . . . 27μs SchreierSimsHelper 005: D8 and Q8 intersection . . . 23μs SchreierSimsHelper 006: primitive on 8 points intersection . . . 60μs SchreierSimsHelper 007: primitive on 8 points intersection ( [...] . . . 56μs SchreierSimsHelper 008: A13 and PGL(2, 11) intersection . . . 527μs SchreierSimsHelper 009: A13 and PGL(2, 11) intersection (swa [...] . . . 526μs SchreierSimsHelper 012: 3^3:13 and 3^3.2.A(4) intersection . . . 143μs SchreierSimsHelper 015: 3^3(S(4) x 2) and ASL(3, 3) intersection . . . 250μs SchreierSimsHelper 016: 7^2:3 x Q(8) and 7^2:D(2*6) intersection . . . 301μs SchreierSimsHelper 018: D(2*53) and 53:13 intersection . . . 183μs SchreierSimsHelper 019: 2^6:(7 x D_14) and PSL(2, 6)^2.4 int [...] . . . 1260μs SchreierSimsHelper 020: 2^6:(S_3 x GL(3, 2)) and 2.6:Alt(7) [...] . . . 3916μs SchreierSimsHelper 022: PSL(2, 127) and AGL(1, 2^7) intersection . . . 6175μs SchreierSimsHelper 023: PSL(3, 4).2 and PSL(3, 4).2 (nontriv [...] . . . 1295μs SchreierSimsHelper 024: PSL(3, 4).Sym(3) and PSL(3, 4).2 int [...] . . . 1374μs SchreierSimsHelper 025: 3^4:5:4 and D_16:4 intersection . . . 769μs Sims1 000: fp example 1 . . . 881μs Sims1 001: fp example 2 . . . 1421μs Sims1 002: ToddCoxeter failing example . . . 12ms Sims1 003: ToddCoxeter failing example . . . 616μs Sims1 004: partition_monoid(2) right . . . 4298μs Sims1 006: full_transformation_monoid(3) right . . . 5059μs Sims1 007: full_transformation_monoid(3) left . . . 2854μs Sims1 009: rook_monoid(2, 1) . . . 75μs Sims1 010: symmetric_inverse_monoid(2) from FroidurePin . . . 76μs Sims1 011: symmetric_inverse_monoid(3) . . . 4555μs Sims1 014: temperley_lieb_monoid(3) from presentation . . . 61μs Sims1 015: temperley_lieb_monoid(4) from presentation . . . 549μs Sims1 016: fp semigroup containing given pairs #1 . . . 205μs Sims1 017: fp semigroup containing given pairs #2 . . . 207μs Sims1 018: fp semigroup containing given pairs #3 . . . 347μs Sims1 019: ToddCoxeter failing example . . . 718μs Sims1 020: fp example 2 . . . 1483μs Sims1 021: exceptions . . . 162μs Sims1 027: from https://mathoverflow.net/questions/423541/ . . . 19ms Sims1 028: from https://mathoverflow.net/questions/423541/ . . . 13ms Sims1 030: presentation with one free generator . . . 173μs Sims1 031: presentation with non-zero index generators . . . 47μs Sims1 032: presentation with empty word . . . 6323μs Sims1 033: constructors . . . 918μs Sims1 034: split_at . . . 169μs Sims1 035: stats . . . 67μs Sims1 036: check iterator requirements . . . 95μs Sims1 040: TransitiveGroup(10, 32) - minimal rep . . . 2278μs Sims1 043: rectangular_band(2, 2) - with and without identity . . . 155μs Sims1 044: trivial group - minimal o.r.c. rep . . . 82μs Sims1 045: right zero semigroup - minimal o.r.c. rep . . . 1517μs Sims1 046: semigroup with faithful non-strictly cyclic actio [...] . . . 542μs Sims1 068: RepOrc . . . 19ms Sims1 069: fp example 1 . . . 351μ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 884μs (161ns 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 . . . 940μs Sims1 072: symmetric_group(n) for n = 4 . . . 1220μs Sims1 073: corner case no generators + no relations . . . 63μs Sims1 076: uninitialized RepOrc . . . 22μs SmallestInteger 001: . . . 12μs StaticTriVector2 045: all . . . 20μs StaticVector2 043: all . . . 17μs Stephen 000: basic test 1 . . . 178μs Stephen 001: basic test 2 . . . 113μs Stephen 002: full transf monoid . . . 11ms Stephen 003: from step_hen 002 . . . 46μs Stephen 004: from step_hen 003 . . . 139μs Stephen 005: from step_hen 004 . . . 36μs Stephen 006: from step_hen 005 . . . 89μs Stephen 008: C(4) monoid normal form (test_case_knuth_bendix_055) . . . 159μs Stephen 009: C(4) monoid normal form (test_case_gap_smallove [...] . . . 77μs Stephen 010: code coverage . . . 228μs Stephen 011: C(4) monoid normal form (test_case_gap_smallove [...] . . . 209μs Stephen 012: C(4) monoid normal form (test_case_gap_smallove [...] . . . 156μs Stephen 013: C(4) monoid equal to (test_case_gap_smalloverlap_70) . . . 63μs Stephen 014: C(4) monoid normal form (test_case_ex_3_13_14) . . . 277μs Stephen 015: C(4) monoid normal form (test_case_ex_3_15) . . . 293μs Stephen 016: C(4) monoid normal form (test_case_ex_3_16) . . . 247μs Stephen 017: C(4) monoid normal form (test_case_mt_3) . . . 119μs Stephen 018: C(4) monoid normal form (test_case_mt_5) . . . 84μs Stephen 019: C(4) monoid normal form (test_case_mt_6) . . . 220μs Stephen 020: C(4) monoid normal form (test_case_mt_10) . . . 90μs Stephen 021: C(4) monoid normal form (test_case_mt_13) . . . 93μs Stephen 022: C(4) monoid normal form (test_case_mt_14) . . . 88μs Stephen 023: C(4) monoid normal form (test_case_mt_15) . . . 101μs Stephen 024: C(4) monoid normal form (test_case_mt_16) . . . 102μs Stephen 025: C(4) monoid normal form (test_case_mt_17) . . . 226μs Stephen 026: C(4) monoid normal form (test_case_weak_1) . . . 183μs Stephen 027: C(4) monoid normal form (test_case_weak_2) . . . 138μs Stephen 028: C(4) monoid normal form (test_case_weak_3) . . . 168μs Stephen 029: C(4) monoid normal form (test_case_weak_4) . . . 167μs Stephen 030: C(4) monoid normal form (test_case_weak_5) . . . 93μs Stephen 031: Test behaviour when uninitialised . . . 128μs Suf 005: unite . . . 22μs Suf 007: compress . . . 14μs Suf 011: big chain . . . 13ms Suf 013: empty table . . . 9000ns Suf 015: join . . . 12μs Suf 017: contains . . . 23μs Suf 019: swap . . . 22μs Timer 001: string method (1 argument) . . . 23μs Timer 002: string method (0 arguments) . . . 10ms Timer 003: reset/elapsed method . . . 20ms Timer 004: operator<< . . . 11μs ToddCoxeter 000: small 2-sided congruence . . .  -- with HLT + no standardise + full lookahead + no save 1071μs  -- with HLT + standardise + full lookahead + no save 1070μs  -- with HLT + no standardise + partial lookahead + no save 1020μs  -- with HLT + standardise + partial lookahead + no save 926μs  -- with HLT + no standardise + full lookahead + save 871μs  -- with HLT + standardise + full lookahead + save 862μs  -- with HLT + no standardise + partial lookahead + save 863μs  -- with HLT + standardise + partial lookahead + save 900μs  -- with Felsch + no standardisation 868μs  -- with Felsch + standardisation 889μs  -- with random strategy 916μs  -- with Rc style + full lookahead 1294μs  -- with Rc style + partial lookahead 858μs  -- with R/C style 895μs  -- with CR style 881μs  -- with Cr style 867μs ToddCoxeter 001: small 2-sided congruence . . .  -- with HLT + no standardise + full lookahead + no save 4564μs  -- with HLT + standardise + full lookahead + no save 4523μs  -- with HLT + no standardise + partial lookahead + no save 4650μs  -- with HLT + standardise + partial lookahead + no save 4665μs  -- with HLT + no standardise + full lookahead + save 4498μs  -- with HLT + standardise + full lookahead + save 4481μs  -- with HLT + no standardise + partial lookahead + save 4511μs  -- with HLT + standardise + partial lookahead + save 4528μs  -- with Felsch + no standardisation 4380μs  -- with Felsch + standardisation 4499μs  -- with random strategy 4380μs  -- with Rc style + full lookahead 4440μs  -- with Rc style + partial lookahead 4370μs  -- with R/C style 4325μs  -- with CR style 4383μs  -- with Cr style 4342μs ToddCoxeter 003: constructed from FroidurePin . . .  -- with Felsch + no standardisation   -- with Felsch + standardisation   -- with HLT + no standardise + full lookahead + no save   -- with HLT + standardise + full lookahead + no save   -- with HLT + no standardise + partial lookahead + no save   -- with HLT + standardise + partial lookahead + no save   -- with HLT + no standardise + full lookahead + save   -- with HLT + standardise + full lookahead + save   -- with HLT + no standardise + partial lookahead + save   -- with HLT + standardise + partial lookahead + save   -- with random strategy   -- with Rc style + full lookahead   -- with Rc style + partial lookahead   -- with R/C style   -- with CR style   -- with Cr style  ToddCoxeter 004: 2-sided congruence from FroidurePin . . .  -- with HLT + no standardise + full lookahead + no save 175μs  -- with HLT + standardise + full lookahead + no save 134μs  -- with HLT + no standardise + partial lookahead + no save 125μs  -- with HLT + standardise + partial lookahead + no save 124μs  -- with HLT + save (throws) 168μs  -- with Felsch (throws) 139μs  -- with random strategy 129μs ToddCoxeter 005: non-trivial two-sided from relations . . .  -- with HLT + no standardise + full lookahead + no save 47μs  -- with HLT + standardise + full lookahead + no save 58μs  -- with HLT + no standardise + partial lookahead + no save 36μs  -- with HLT + standardise + partial lookahead + no save 35μs  -- with HLT + no standardise + full lookahead + save 49μs  -- with HLT + standardise + full lookahead + save 45μs  -- with HLT + no standardise + partial lookahead + save 43μs  -- with HLT + standardise + partial lookahead + save 53μs  -- with Felsch + no standardisation 38μs  -- with Felsch + standardisation 39μs  -- with random strategy 40μs  -- with Rc style + full lookahead 36μs  -- with Rc style + partial lookahead 34μs  -- with R/C style 34μs  -- with CR style 38μs  -- with Cr style 37μs ToddCoxeter 006: small right cong. on free semigroup . . .  -- with HLT + no standardise + full lookahead + no save 39μs  -- with HLT + standardise + full lookahead + no save 28μs  -- with HLT + no standardise + partial lookahead + no save 27μs  -- with HLT + standardise + partial lookahead + no save 29μs  -- with HLT + no standardise + full lookahead + save 33μs  -- with HLT + standardise + full lookahead + save 31μs  -- with HLT + no standardise + partial lookahead + save 30μs  -- with HLT + standardise + partial lookahead + save 30μs  -- with Felsch + no standardisation 30μs  -- with Felsch + standardisation 31μs  -- with random strategy 32μs  -- with Rc style + full lookahead 28μs  -- with Rc style + partial lookahead 27μs  -- with R/C style 27μs  -- with CR style 34μs  -- with Cr style 30μs ToddCoxeter 007: left cong. on free semigroup . . .  -- with HLT + no standardise + full lookahead + no save 38μs  -- with HLT + standardise + full lookahead + no save 32μs  -- with HLT + no standardise + partial lookahead + no save 30μs  -- with HLT + standardise + partial lookahead + no save 30μs  -- with HLT + no standardise + full lookahead + save 35μs  -- with HLT + standardise + full lookahead + save 34μs  -- with HLT + no standardise + partial lookahead + save 33μs  -- with HLT + standardise + partial lookahead + save 34μs  -- with Felsch + no standardisation 33μs  -- with Felsch + standardisation 36μs  -- with random strategy 37μs  -- with Rc style + full lookahead 36μs  -- with Rc style + partial lookahead 35μs  -- with R/C style 36μs  -- with CR style 38μs  -- with Cr style 37μs ToddCoxeter 008: for small fp semigroup . . .  -- with HLT + no standardise + full lookahead + no save 33μs  -- with HLT + standardise + full lookahead + no save 28μs  -- with HLT + no standardise + partial lookahead + no save 27μs  -- with HLT + standardise + partial lookahead + no save 28μs  -- with HLT + no standardise + full lookahead + save 31μs  -- with HLT + standardise + full lookahead + save 32μs  -- with HLT + no standardise + partial lookahead + save 30μs  -- with HLT + standardise + partial lookahead + save 30μs  -- with Felsch + no standardisation 31μs  -- with Felsch + standardisation 29μs  -- with random strategy 33μs  -- with Rc style + full lookahead 30μs  -- with Rc style + partial lookahead 29μs  -- with R/C style 29μs  -- with CR style 32μs  -- with Cr style 33μs ToddCoxeter 009: 2-sided cong. trans. semigroup . . .  -- with HLT + no standardise + full lookahead + no save 181μs  -- with HLT + standardise + full lookahead + no save 164μs  -- with HLT + no standardise + partial lookahead + no save 155μs  -- with HLT + standardise + partial lookahead + no save 168μs  -- with HLT + no standardise + full lookahead + save 545μs  -- with HLT + standardise + full lookahead + save 490μs  -- with HLT + no standardise + partial lookahead + save 487μs  -- with HLT + standardise + partial lookahead + save 488μs  -- with Felsch + no standardisation 427μs  -- with Felsch + standardisation 429μs  -- with random strategy 172μs  -- with Rc style + full lookahead 167μs  -- with Rc style + partial lookahead 163μs  -- with R/C style 199μs  -- with CR style 479μs  -- with Cr style 439μs ToddCoxeter 010: left congruence on transformation semigroup . . .  -- with HLT + no standardise + full lookahead + no save 190μs  -- with HLT + standardise + full lookahead + no save 193μs  -- with HLT + no standardise + partial lookahead + no save 178μs  -- with HLT + standardise + partial lookahead + no save 191μs  -- with HLT + no standardise + full lookahead + save 515μs  -- with HLT + standardise + full lookahead + save 526μs  -- with HLT + no standardise + partial lookahead + save 537μs  -- with HLT + standardise + partial lookahead + save 571μs  -- with Felsch + no standardisation 455μs  -- with Felsch + standardisation 452μs  -- with random strategy 571μs  -- with Rc style + full lookahead 213μs  -- with Rc style + partial lookahead 208μs  -- with R/C style 233μs  -- with CR style 481μs  -- with Cr style 530μs ToddCoxeter 011: right cong. trans. semigroup . . .  -- with HLT + no standardise + full lookahead + no save 198μs  -- with HLT + standardise + full lookahead + no save 200μs  -- with HLT + no standardise + partial lookahead + no save 186μs  -- with HLT + standardise + partial lookahead + no save 196μs  -- with HLT + no standardise + full lookahead + save 501μs  -- with HLT + standardise + full lookahead + save 513μs  -- with HLT + no standardise + partial lookahead + save 500μs  -- with HLT + standardise + partial lookahead + save 543μs  -- with Felsch + no standardisation 426μs  -- with Felsch + standardisation 407μs  -- with random strategy 236μs  -- with Rc style + full lookahead 242μs  -- with Rc style + partial lookahead 219μs  -- with R/C style 243μs  -- with CR style 410μs  -- with Cr style 409μs ToddCoxeter 012: trans. semigroup (size 88) . . .  -- with HLT + no standardise + full lookahead + no save 112μs  -- with HLT + standardise + full lookahead + no save 102μs  -- with HLT + no standardise + partial lookahead + no save 98μs  -- with HLT + standardise + partial lookahead + no save 99μs  -- with HLT + save (throws) 113μs  -- with Felsch (throws) 165μs  -- with random strategy 136μs ToddCoxeter 013: left cong. on trans. semigroup (size 88) . . .  -- with HLT + no standardise + full lookahead + no save 179μs  -- with HLT + standardise + full lookahead + no save 167μs  -- with HLT + no standardise + partial lookahead + no save 153μs  -- with HLT + standardise + partial lookahead + no save 163μs  -- with HLT + no standardise + full lookahead + save 488μs  -- with HLT + standardise + full lookahead + save 501μs  -- with HLT + no standardise + partial lookahead + save 488μs  -- with HLT + standardise + partial lookahead + save 508μs  -- with Felsch + no standardisation 450μs  -- with Felsch + standardisation 464μs  -- with random strategy 202μs  -- with Rc style + full lookahead 185μs  -- with Rc style + partial lookahead 181μs  -- with R/C style 207μs  -- with CR style 452μs  -- with Cr style 453μs ToddCoxeter 014: right cong. on trans. semigroup (size 88) . . .  -- with HLT + no standardise + full lookahead + no save 174μs  -- with HLT + standardise + full lookahead + no save 174μs  -- with HLT + no standardise + partial lookahead + no save 163μs  -- with HLT + standardise + partial lookahead + no save 170μs  -- with HLT + no standardise + full lookahead + save 505μs  -- with HLT + standardise + full lookahead + save 527μs  -- with HLT + no standardise + partial lookahead + save 484μs  -- with HLT + standardise + partial lookahead + save 499μs  -- with Felsch + no standardisation 356μs  -- with Felsch + standardisation 379μs  -- with random strategy 210μs  -- with Rc style + full lookahead 192μs  -- with Rc style + partial lookahead 189μs  -- with R/C style 218μs  -- with CR style 509μs  -- with Cr style 381μs ToddCoxeter 015: finite fp-semigroup, dihedral group of order 6 . . .  -- with HLT + no standardise + full lookahead + no save 67μs  -- with HLT + standardise + full lookahead + no save 61μs  -- with HLT + no standardise + partial lookahead + no save 53μs  -- with HLT + standardise + partial lookahead + no save 55μs  -- with HLT + no standardise + full lookahead + save 74μs  -- with HLT + standardise + full lookahead + save 71μs  -- with HLT + no standardise + partial lookahead + save 68μs  -- with HLT + standardise + partial lookahead + save 73μs  -- with Felsch + no standardisation 64μs  -- with Felsch + standardisation 61μs  -- with random strategy 64μs  -- with Rc style + full lookahead 57μs  -- with Rc style + partial lookahead 55μs  -- with R/C style 54μs  -- with CR style 63μs  -- with Cr style 61μs ToddCoxeter 016: finite fp-semigroup, size 16 . . .  -- with HLT + no standardise + full lookahead + no save 63μs  -- with HLT + standardise + full lookahead + no save 70μs  -- with HLT + no standardise + partial lookahead + no save 64μs  -- with HLT + standardise + partial lookahead + no save 56μs  -- with HLT + no standardise + full lookahead + save 123μs  -- with HLT + standardise + full lookahead + save 123μs  -- with HLT + no standardise + partial lookahead + save 117μs  -- with HLT + standardise + partial lookahead + save 119μs  -- with Felsch + no standardisation 110μs  -- with Felsch + standardisation 103μs  -- with random strategy 109μs  -- with Rc style + full lookahead 60μs  -- with Rc style + partial lookahead 59μs  -- with R/C style 63μs  -- with CR style 108μs  -- with Cr style 129μs ToddCoxeter 017: finite fp-semigroup, size 16 . . .  -- with HLT + no standardise + full lookahead + no save 123μs  -- with HLT + standardise + full lookahead + no save 120μs  -- with HLT + no standardise + partial lookahead + no save 95μs  -- with HLT + standardise + partial lookahead + no save 101μs  -- with HLT + no standardise + full lookahead + save 290μs  -- with HLT + standardise + full lookahead + save 284μs  -- with HLT + no standardise + partial lookahead + save 252μs  -- with HLT + standardise + partial lookahead + save 259μs  -- with Felsch + no standardisation 226μs  -- with Felsch + standardisation 219μs  -- with random strategy 238μs  -- with Rc style + full lookahead 117μs  -- with Rc style + partial lookahead 106μs  -- with R/C style 112μs  -- with CR style 221μs  -- with Cr style 227μs ToddCoxeter 018: test lookahead . . .  -- with HLT + no standardise + full lookahead + no save 300μs  -- with HLT + standardise + full lookahead + no save 297μs  -- with HLT + no standardise + partial lookahead + no save 230μs  -- with HLT + standardise + partial lookahead + no save 244μs  -- with HLT + no standardise + full lookahead + save 446μs  -- with HLT + standardise + full lookahead + save 454μs  -- with HLT + no standardise + partial lookahead + save 440μs  -- with HLT + standardise + partial lookahead + save 450μs ToddCoxeter 019: non-trivial left cong. from semigroup . . .  -- with HLT + no standardise + full lookahead + no save 103μs  -- with HLT + standardise + full lookahead + no save 98μs  -- with HLT + no standardise + partial lookahead + no save 88μs  -- with HLT + standardise + partial lookahead + no save 93μs  -- with HLT + save (throws) 99μs  -- with Felsch (throws) 116μs  -- with random strategy 109μs ToddCoxeter 020: 2-sided cong. on free semigroup . . .  -- with HLT + no standardise + full lookahead + no save 23μs  -- with HLT + standardise + full lookahead + no save 19μ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 27μs  -- with HLT + no standardise + partial lookahead + save 16μs  -- with HLT + standardise + partial lookahead + save 16μs  -- with Felsch + no standardisation 16μs  -- with Felsch + standardisation 16μs  -- with random strategy 16μs ToddCoxeter 021: calling run when obviously infinite . . .  -- with HLT + no standardise + full lookahead + no save 37μs  -- with HLT + standardise + full lookahead + no save 26μs  -- with HLT + no standardise + partial lookahead + no save 25μs  -- with HLT + standardise + partial lookahead + no save 25μs  -- with HLT + no standardise + full lookahead + save 25μs  -- with HLT + standardise + full lookahead + save 25μs  -- with HLT + no standardise + partial lookahead + save 25μs  -- with HLT + standardise + partial lookahead + save 25μs  -- with Felsch + no standardisation 25μs  -- with Felsch + standardisation 25μs  -- with random strategy 24μs ToddCoxeter 022: stellar_monoid S3 . . .  -- with HLT + no standardise + full lookahead + no save 101μs  -- with HLT + standardise + full lookahead + no save 95μs  -- with HLT + no standardise + partial lookahead + no save 85μs  -- with HLT + standardise + partial lookahead + no save 90μs  -- with HLT + no standardise + full lookahead + save 182μs  -- with HLT + standardise + full lookahead + save 182μs  -- with HLT + no standardise + partial lookahead + save 173μs  -- with HLT + standardise + partial lookahead + save 178μs  -- with Felsch + no standardisation 161μs  -- with Felsch + standardisation 150μs  -- with random strategy 159μs  -- with Rc style + full lookahead 95μs  -- with Rc style + partial lookahead 91μs  -- with R/C style 95μs  -- with CR style 159μs  -- with Cr style 156μs ToddCoxeter 023: finite semigroup (size 5) . . .  -- with HLT + no standardise + full lookahead + no save 34μs  -- with HLT + standardise + full lookahead + no save 27μs  -- with HLT + no standardise + partial lookahead + no save 25μs  -- with HLT + standardise + partial lookahead + no save 26μs  -- with HLT + no standardise + full lookahead + save 31μs  -- with HLT + standardise + full lookahead + save 30μs  -- with HLT + no standardise + partial lookahead + save 30μs  -- with HLT + standardise + partial lookahead + save 30μs  -- with Felsch + no standardisation 30μs  -- with Felsch + standardisation 30μs  -- with random strategy 32μs  -- with Rc style + full lookahead 28μs  -- with Rc style + partial lookahead 27μs  -- with R/C style 39μs  -- with CR style 35μs  -- with Cr style 43μs ToddCoxeter 024: exceptions . . .  -- with HLT + no standardise + full lookahead + no save 148μs  -- with HLT + standardise + full lookahead + no save 115μs  -- with HLT + no standardise + partial lookahead + no save 121μs  -- with HLT + standardise + partial lookahead + no save 105μs  -- with HLT + no standardise + full lookahead + save 116μs  -- with HLT + standardise + full lookahead + save 110μs  -- with HLT + no standardise + partial lookahead + save 110μs  -- with HLT + standardise + partial lookahead + save 108μs  -- with Felsch + no standardisation 109μs  -- with Felsch + standardisation 111μs  -- with random strategy 111μs  -- with Rc style + full lookahead 108μs  -- with Rc style + partial lookahead 107μs  -- with R/C style 106μs  -- with CR style 111μs  -- with Cr style 111μs ToddCoxeter 025: obviously infinite . . .  -- with HLT + no standardise + full lookahead + no save 36μs  -- with HLT + standardise + full lookahead + no save 31μs  -- with HLT + no standardise + partial lookahead + no save 30μs  -- with HLT + standardise + partial lookahead + no save 30μs  -- with HLT + no standardise + full lookahead + save 32μs  -- with HLT + standardise + full lookahead + save 30μs  -- with HLT + no standardise + partial lookahead + save 30μs  -- with HLT + standardise + partial lookahead + save 30μs  -- with Felsch + no standardisation 31μs  -- with Felsch + standardisation 31μs  -- with random strategy 30μs ToddCoxeter 026: exceptions . . .  -- with HLT + no standardise + full lookahead + no save 87μs  -- with HLT + standardise + full lookahead + no save 72μs  -- with HLT + no standardise + partial lookahead + no save 68μs  -- with HLT + standardise + partial lookahead + no save 68μs  -- with HLT + no standardise + full lookahead + save 77μ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 Felsch + no standardisation 74μs  -- with Felsch + standardisation 75μs  -- with random strategy 115μs  -- with Rc style + full lookahead 78μs  -- with Rc style + partial lookahead 76μs  -- with R/C style 104μs  -- with CR style 73μs  -- with Cr style 75μs ToddCoxeter 027: empty . . . 49μs ToddCoxeter 028: congruence of fpsemigroup::ToddCoxeter . . .  -- with HLT + no standardise + full lookahead + no save 119μs  -- with HLT + standardise + full lookahead + no save 95μs  -- with HLT + no standardise + partial lookahead + no save 89μs  -- with HLT + standardise + partial lookahead + no save 90μs  -- with HLT + save (throws) 94μs  -- with Felsch (throws) 92μs  -- with random strategy 96μs  -- with HLT + no standardise + full lookahead + save 94μs  -- with HLT + standardise + full lookahead + save 97μs  -- with HLT + no standardise + partial lookahead + save 94μs  -- with HLT + standardise + partial lookahead + save 93μs  -- with Felsch + no standardisation 92μs  -- with Felsch + standardisation 91μs  -- with Rc style + full lookahead 88μs  -- with Rc style + partial lookahead 87μs  -- with R/C style 85μs  -- with CR style 89μs  -- with Cr style 89μs ToddCoxeter 029: !KnuthBendix.started() . . .  -- with HLT + no standardise + full lookahead + no save and 2-sided 62μs  -- with HLT + standardise + full lookahead + no save and 2-sided 49μs  -- with HLT + no standardise + partial lookahead + no save and 2-sided 44μs  -- with HLT + standardise + partial lookahead + no save and 2-sided 43μs  -- with HLT + no standardise + full lookahead + save and 2-sided 47μs  -- with HLT + standardise + full lookahead + save and 2-sided 47μs  -- with HLT + no standardise + partial lookahead + save and 2-sided 45μs  -- with HLT + standardise + partial lookahead + save and 2-sided 45μs  -- with Felsch + no standardisation and 2-sided 44μs  -- with Felsch + standardisation and 2-sided 43μs  -- with random strategy and 2-sided 46μs  -- with HLT + no standardise + full lookahead + no save and left 48μs  -- with HLT + standardise + full lookahead + no save and left 44μs  -- with HLT + no standardise + partial lookahead + no save and left 42μs  -- with HLT + standardise + partial lookahead + no save and left 41μs  -- with HLT + no standardise + full lookahead + save and left 50μs  -- with HLT + standardise + full lookahead + save and left 50μs  -- with HLT + no standardise + partial lookahead + save and left 48μs  -- with HLT + standardise + partial lookahead + save and left 77μs  -- with Felsch + no standardisation and left 54μs  -- with Felsch + standardisation and left 52μs  -- with random strategy and left 49μs  -- with HLT + no standardise + full lookahead + no save and right 48μs  -- with HLT + standardise + full lookahead + no save and right 64μs  -- with HLT + no standardise + partial lookahead + no save and right 44μs  -- with HLT + standardise + partial lookahead + no save and right 42μs  -- with HLT + no standardise + full lookahead + save and right 49μs  -- with HLT + standardise + full lookahead + save and right 48μs  -- with HLT + no standardise + partial lookahead + save and right 48μs  -- with HLT + standardise + partial lookahead + save and right 47μs  -- with Felsch + no standardisation and right 47μs  -- with Felsch + standardisation and right 46μs  -- with random strategy and right 50μs ToddCoxeter 030: KnuthBendix.finished() . . .  -- with HLT + no standardise + full lookahead + no save and 2-sided 125μs  -- with HLT + standardise + full lookahead + no save and 2-sided 103μs  -- with HLT + no standardise + partial lookahead + no save and 2-sided 101μs  -- with HLT + standardise + partial lookahead + no save and 2-sided 97μs  -- with HLT + no standardise + full lookahead + save and 2-sided 102μs  -- with HLT + standardise + full lookahead + save and 2-sided 101μs  -- with HLT + no standardise + partial lookahead + save and 2-sided 99μs  -- with HLT + standardise + partial lookahead + save and 2-sided 98μs  -- with Felsch + no standardisation and 2-sided 96μs  -- with Felsch + standardisation and 2-sided 94μs  -- with random strategy and 2-sided 108μs  -- with HLT + no standardise + full lookahead + no save and left 106μs  -- with HLT + standardise + full lookahead + no save and left 101μs  -- with HLT + no standardise + partial lookahead + no save and left 102μs  -- with HLT + standardise + partial lookahead + no save and left 99μs  -- with HLT + no standardise + full lookahead + save and left 107μs  -- with HLT + standardise + full lookahead + save and left 108μs  -- with HLT + no standardise + partial lookahead + save and left 106μs  -- with HLT + standardise + partial lookahead + save and left 105μs  -- with Felsch + no standardisation and left 109μs  -- with Felsch + standardisation and left 103μs  -- with random strategy and left 108μs  -- with HLT + no standardise + full lookahead + no save and right 139μs  -- with HLT + standardise + full lookahead + no save and right 481μs  -- with HLT + no standardise + partial lookahead + no save and right 114μs  -- with HLT + standardise + partial lookahead + no save and right 113μs  -- with HLT + no standardise + full lookahead + save and right 119μs  -- with HLT + standardise + full lookahead + save and right 107μs  -- with HLT + no standardise + partial lookahead + save and right 105μs  -- with HLT + standardise + partial lookahead + save and right 106μs  -- with Felsch + no standardisation and right 104μs  -- with Felsch + standardisation and right 102μs  -- with random strategy and right 109μs ToddCoxeter 031: KnuthBendix.finished() . . .  -- with HLT + no standardise + full lookahead + no save and 2-sided 88μs  -- with HLT + standardise + full lookahead + no save and 2-sided 75μs  -- with HLT + no standardise + partial lookahead + no save and 2-sided 72μs  -- with HLT + standardise + partial lookahead + no save and 2-sided 71μs  -- with HLT + no standardise + full lookahead + save and 2-sided 73μs  -- with HLT + standardise + full lookahead + save and 2-sided 73μs  -- with HLT + no standardise + partial lookahead + save and 2-sided 72μs  -- with HLT + standardise + partial lookahead + save and 2-sided 71μs  -- with Felsch + no standardisation and 2-sided 70μs  -- with Felsch + standardisation and 2-sided 67μs  -- with random strategy and 2-sided 78μs  -- with Rc style + full lookahead and 2-sided 73μs  -- with Rc style + partial lookahead and 2-sided 72μs  -- with R/C style and 2-sided 68μs  -- with CR style and 2-sided 73μs  -- with Cr style and 2-sided 75μs  -- with HLT + no standardise + full lookahead + no save and left 80μs  -- with HLT + standardise + full lookahead + no save and left 74μs  -- with HLT + no standardise + partial lookahead + no save and left 70μs  -- with HLT + standardise + partial lookahead + no save and left 70μs  -- with HLT + no standardise + full lookahead + save and left 78μs  -- with HLT + standardise + full lookahead + save and left 112μs  -- with HLT + no standardise + partial lookahead + save and left 85μs  -- with HLT + standardise + partial lookahead + save and left 84μs  -- with Felsch + no standardisation and left 102μs  -- with Felsch + standardisation and left 75μs  -- with random strategy and left 87μs  -- with Rc style + full lookahead and left 78μs  -- with Rc style + partial lookahead and left 75μs  -- with R/C style and left 73μs  -- with CR style and left 78μs  -- with Cr style and left 82μs  -- with HLT + no standardise + full lookahead + no save and right 74μs  -- with HLT + standardise + full lookahead + no save and right 72μs  -- with HLT + no standardise + partial lookahead + no save and right 71μs  -- with HLT + standardise + partial lookahead + no save and right 73μs  -- with HLT + no standardise + full lookahead + save and right 79μs  -- with HLT + standardise + full lookahead + save and right 80μs  -- with HLT + no standardise + partial lookahead + save and right 79μs  -- with HLT + standardise + partial lookahead + save and right 79μs  -- with Felsch + no standardisation and right 76μs  -- with Felsch + standardisation and right 75μs  -- with random strategy and right 82μs  -- with Rc style + full lookahead and right 78μs  -- with Rc style + partial lookahead and right 76μs  -- with R/C style and right 72μs  -- with CR style and right 78μs  -- with Cr style and right 82μs ToddCoxeter 032: prefill . . . 104μs ToddCoxeter 033: congruence of ToddCoxeter . . .  -- with HLT + no standardise + full lookahead + no save 41μs  -- with HLT + standardise + full lookahead + no save 32μs  -- with HLT + no standardise + partial lookahead + no save 30μs  -- with HLT + standardise + partial lookahead + no save 30μs  -- with HLT + no standardise + full lookahead + save 35μs  -- with HLT + standardise + full lookahead + save 34μs  -- with HLT + no standardise + partial lookahead + save 32μs  -- with HLT + standardise + partial lookahead + save 32μs  -- with random strategy 33μs ToddCoxeter 034: congruence of ToddCoxeter . . .  -- with HLT + no standardise + full lookahead + no save 109μs  -- with HLT + standardise + full lookahead + no save 81μs  -- with HLT + no standardise + partial lookahead + no save 75μs  -- with HLT + standardise + partial lookahead + no save 74μs  -- with HLT + save (throws) 84μs  -- with Felsch (throws) 81μs  -- with random strategy 102μs ToddCoxeter 035: congruence on FpSemigroup . . .  -- with HLT + no standardise + full lookahead + no save 241μs  -- with HLT + standardise + full lookahead + no save 214μs  -- with HLT + no standardise + partial lookahead + no save 196μs  -- with HLT + standardise + partial lookahead + no save 194μs  -- with HLT + no standardise + full lookahead + save 226μs  -- with HLT + standardise + full lookahead + save 223μs  -- with HLT + no standardise + partial lookahead + save 220μs  -- with HLT + standardise + partial lookahead + save 246μs  -- with Felsch + no standardisation 238μs  -- with Felsch + standardisation 218μs  -- with random strategy 223μs  -- with Rc style + full lookahead 199μs  -- with Rc style + partial lookahead 197μs  -- with R/C style 195μs  -- with CR style 243μs  -- with Cr style 246μs ToddCoxeter 036: exceptions . . . 72μs ToddCoxeter 037: copy constructor . . . 32μs ToddCoxeter 038: simplify . . . 99μs ToddCoxeter 039: stylic_monoid . . . 678ms ToddCoxeter 041: some finite classes . . . 341μs ToddCoxeter 043: symmetric_group(7, Coxeter + Moser) . . . 142ms ToddCoxeter 044: Option exceptions . . . 58μs ToddCoxeter 045: Options operator<< . . . 464μs ToddCoxeter 046: Easdown-East-FitzGerald DualSymInv(5) . . .  -- with HLT + no standardise + full lookahead + no save 172ms  -- with HLT + standardise + full lookahead + no save 192ms  -- with HLT + no standardise + partial lookahead + no save 169ms  -- with HLT + standardise + partial lookahead + no save 191ms  -- with HLT + no standardise + full lookahead + save 132ms  -- with HLT + standardise + full lookahead + save 132ms  -- with HLT + no standardise + partial lookahead + save 133ms  -- with HLT + standardise + partial lookahead + save 132ms  -- with Felsch + no standardisation 147ms  -- with Felsch + standardisation 147ms  -- with random strategy 180ms  -- with R/C style 183ms  -- with Rc style + full lookahead 155ms  -- with Rc style + partial lookahead 152ms ToddCoxeter 047: uniform_block_bijection_monoid(3) (FitzGerald) . . .  -- with HLT + no standardise + full lookahead + no save 107μs  -- with HLT + standardise + full lookahead + no save 88μs  -- with HLT + no standardise + partial lookahead + no save 77μs  -- with HLT + standardise + partial lookahead + no save 77μs  -- with HLT + no standardise + full lookahead + save 186μs  -- with HLT + standardise + full lookahead + save 174μs  -- with HLT + no standardise + partial lookahead + save 171μs  -- with HLT + standardise + partial lookahead + save 197μs  -- with Felsch + no standardisation 147μs  -- with Felsch + standardisation 135μs  -- with random strategy 133μs  -- with R/C style 83μs  -- with Rc style + full lookahead 75μs  -- with Rc style + partial lookahead 73μs ToddCoxeter 048: stellar_monoid(7) (Gay-Hivert) . . . 145ms ToddCoxeter 049: partition_monoid(4) (East) . . .  -- with HLT + no standardise + full lookahead + no save 29ms  -- with HLT + standardise + full lookahead + no save 30ms  -- with HLT + no standardise + partial lookahead + no save 29ms  -- with HLT + standardise + partial lookahead + no save 29ms  -- with HLT + no standardise + full lookahead + save 52ms  -- with HLT + standardise + full lookahead + save 54ms  -- with HLT + no standardise + partial lookahead + save 52ms  -- with HLT + standardise + partial lookahead + save 56ms  -- with Felsch + no standardisation 62ms  -- with Felsch + standardisation 63ms  -- with random strategy 63ms  -- with R/C style 33ms  -- with Rc style + full lookahead 66ms  -- with Rc style + partial lookahead 67ms ToddCoxeter 050: singular_brauer_monoid(6) (Maltcev + Mazorchuk) . . . 461ms ToddCoxeter 051: orientation_preserving_monoid(6) (Ruskuc + [...] . . .  -- with HLT + no standardise + full lookahead + no save 23ms ToddCoxeter 052: orientation_reversing_monoid(5) (Ruskuc + [...] . . .  -- with HLT + no standardise + full lookahead + no save 5945μs ToddCoxeter 053: temperley_lieb_monoid(10) (East) . . . 33ms ToddCoxeter 063: add_rule . . .  -- with HLT + no standardise + full lookahead + no save 91μs  -- with HLT + standardise + full lookahead + no save 55μs  -- with HLT + no standardise + partial lookahead + no save 50μs  -- with HLT + standardise + partial lookahead + no save 49μs  -- with HLT + no standardise + full lookahead + save 54μs  -- with HLT + standardise + full lookahead + save 53μs  -- with HLT + no standardise + partial lookahead + save 55μs  -- with HLT + standardise + partial lookahead + save 51μs  -- with Felsch + no standardisation 53μs  -- with Felsch + standardisation 51μs  -- with random strategy 52μs  -- with Rc style + full lookahead 49μs  -- with Rc style + partial lookahead 48μs  -- with R/C style 49μs  -- with CR style 52μs  -- with Cr style 52μs  -- with R/C + Felsch lookahead 53μs  -- with HLT + Felsch lookahead + save 56μs  -- with Cr + small number of f_defs 56μs  -- with Rc + small number of deductions 48μs  -- with Felsch + v2 + no preferred defs 52μs  -- with Felsch + v2 + immediate no stack 53μs  -- with Felsch + v1 + immediate no stack 52μs  -- with Felsch + v1 + immediate yes stack 52μs  -- with large collapse 48μs ToddCoxeter 064: (from kbmag/standalone/kb_data/s4) (KnuthB [...] . . .  -- with HLT + no standardise + full lookahead + no save 200μs ToddCoxeter 066: test validate . . . 59μs ToddCoxeter 067: add_rules after construct. from semigroup . . .  -- with HLT + no standardise + full lookahead + no save 275μs  -- with HLT + standardise + full lookahead + no save 246μs  -- with HLT + no standardise + partial lookahead + no save 234μs  -- with HLT + standardise + partial lookahead + no save 235μs  -- with HLT + save (throws) 250μs  -- with Felsch (throws) 259μs  -- with random strategy 279μs ToddCoxeter 068: Sym(5) from Chapter 3, Proposition 1.1 in NR . . .  -- with Deduction policy == purge_from_top 655μs  -- with Deduction policy == purge_all 581μs  -- with Deduction policy == discard_all_if_no_space 643μs  -- with HLT + no standardise + full lookahead + no save 690μs  -- with HLT + standardise + full lookahead + no save 1051μs  -- with HLT + no standardise + partial lookahead + no save 671μs  -- with HLT + standardise + partial lookahead + no save 964μs  -- with HLT + no standardise + full lookahead + save 1018μs  -- with HLT + standardise + full lookahead + save 1112μs  -- with HLT + no standardise + partial lookahead + save 1006μs  -- with HLT + standardise + partial lookahead + save 1033μs  -- with Felsch + no standardisation 725μs  -- with Felsch + standardisation 705μs  -- with random strategy 693μs  -- with Rc style + full lookahead 1392μs  -- with Rc style + partial lookahead 1414μs  -- with R/C style 735μs  -- with CR style 696μs  -- with Cr style 749μs ToddCoxeter 069: Chapter 7, Theorem 3.6 in NR (size 243) . . .  -- with HLT + no standardise + full lookahead + no save 317μs  -- with HLT + standardise + full lookahead + no save 369μs  -- with HLT + no standardise + partial lookahead + no save 303μs  -- with HLT + standardise + partial lookahead + no save 365μs  -- with HLT + no standardise + full lookahead + save 449μs  -- with HLT + standardise + full lookahead + save 479μs  -- with HLT + no standardise + partial lookahead + save 448μs  -- with HLT + standardise + partial lookahead + save 577μs  -- with Felsch + no standardisation 2175μs  -- with Felsch + standardisation 2280μs  -- with random strategy 480μs  -- with Rc style + full lookahead 335μs  -- with Rc style + partial lookahead 330μs  -- with R/C style 342μs  -- with CR style 2305μs  -- with Cr style 2261μs ToddCoxeter 070: finite semigroup (size 99) . . .  -- with HLT + no standardise + full lookahead + no save 148μs  -- with HLT + standardise + full lookahead + no save 161μs  -- with HLT + no standardise + partial lookahead + no save 135μs  -- with HLT + standardise + partial lookahead + no save 153μs  -- with HLT + no standardise + full lookahead + save 193μs  -- with HLT + standardise + full lookahead + save 198μs  -- with HLT + no standardise + partial lookahead + save 183μs  -- with HLT + standardise + partial lookahead + save 194μs  -- with Felsch + no standardisation 407μs  -- with Felsch + standardisation 405μs  -- with random strategy 521μs  -- with Rc style + full lookahead 148μs  -- with Rc style + partial lookahead 144μs  -- with R/C style 147μs  -- with CR style 413μs  -- with Cr style 406μs ToddCoxeter 080: KnuthBendix 098 . . .  -- with HLT + no standardise + full lookahead + no save 562ms  -- with HLT + standardise + full lookahead + no save 641ms  -- with HLT + no standardise + partial lookahead + no save 539ms  -- with HLT + standardise + partial lookahead + no save 659ms  -- with HLT + no standardise + full lookahead + save 376ms  -- with HLT + standardise + full lookahead + save 378ms  -- with HLT + no standardise + partial lookahead + save 376ms  -- with HLT + standardise + partial lookahead + save 377ms  -- with Felsch + no standardisation 347ms  -- with Felsch + standardisation 344ms  -- with random strategy 373ms  -- with Rc style + full lookahead 333ms  -- with Rc style + partial lookahead 330ms  -- with R/C style 517ms  -- with CR style 335ms  -- with Cr style 331ms ToddCoxeter 084: Campbell-Reza 1 . . .  -- with HLT + no standardise + full lookahead + no save 104μs  -- with HLT + standardise + full lookahead + no save 73μs  -- with HLT + no standardise + partial lookahead + no save 71μs  -- with HLT + standardise + partial lookahead + no save 67μs  -- with HLT + no standardise + full lookahead + save 79μs  -- with HLT + standardise + full lookahead + save 77μs  -- with HLT + no standardise + partial lookahead + save 76μs  -- with HLT + standardise + partial lookahead + save 76μs  -- with Felsch + no standardisation 85μs  -- with Felsch + standardisation 79μs  -- with random strategy 66μs  -- with Rc style + full lookahead 64μs  -- with Rc style + partial lookahead 61μs  -- with R/C style 64μs  -- with CR style 80μs  -- with Cr style 77μs ToddCoxeter 085: Renner monoid type D4 (Gay-Hivert), q = 1 . . .  -- with HLT + no standardise + full lookahead + no save 99ms  -- with HLT + standardise + full lookahead + no save 98ms  -- with HLT + no standardise + partial lookahead + no save 101ms  -- with HLT + standardise + partial lookahead + no save 99ms  -- with HLT + no standardise + full lookahead + save 101ms  -- with HLT + standardise + full lookahead + save 101ms  -- with HLT + no standardise + partial lookahead + save 100ms  -- with HLT + standardise + partial lookahead + save 100ms  -- with Felsch + no standardisation 102ms  -- with Felsch + standardisation 100ms  -- with random strategy 99ms  -- with Rc style + full lookahead 99ms  -- with Rc style + partial lookahead 99ms  -- with R/C style 99ms  -- with CR style 100ms  -- with Cr style 102ms ToddCoxeter 086: trivial semigroup . . . 290ms ToddCoxeter 092: ACE --- perf602p5 - HLT . . .  -- with HLT + no standardise + full lookahead + no save 34ms  -- with HLT + standardise + full lookahead + no save 33ms  -- with HLT + no standardise + partial lookahead + no save 33ms  -- with HLT + standardise + partial lookahead + no save 33ms  -- with HLT + no standardise + full lookahead + save 15ms  -- with HLT + standardise + full lookahead + save 15ms  -- with HLT + no standardise + partial lookahead + save 14ms  -- with HLT + standardise + partial lookahead + save 15ms  -- with random strategy 33ms  -- with Felsch + no standardisation 11ms  -- with Felsch + standardisation 11ms ToddCoxeter 094: ACE --- C5 - HLT . . .  -- with HLT + no standardise + full lookahead + no save 74μs  -- with HLT + standardise + full lookahead + no save 60μs  -- with HLT + no standardise + partial lookahead + no save 60μs  -- with HLT + standardise + partial lookahead + no save 56μs  -- with HLT + no standardise + full lookahead + save 78μs  -- with HLT + standardise + full lookahead + save 75μs  -- with HLT + no standardise + partial lookahead + save 74μs  -- with HLT + standardise + partial lookahead + save 73μs  -- with random strategy 63μs  -- with Felsch + no standardisation 70μs  -- with Felsch + standardisation 67μs ToddCoxeter 095: ACE --- A5-C5 . . .  -- with HLT + no standardise + full lookahead + no save 79μs  -- with HLT + standardise + full lookahead + no save 79μs  -- with HLT + no standardise + partial lookahead + no save 72μs  -- with HLT + standardise + partial lookahead + no save 75μs  -- with HLT + no standardise + full lookahead + save 115μs  -- with HLT + standardise + full lookahead + save 112μs  -- with HLT + no standardise + partial lookahead + save 109μs  -- with HLT + standardise + partial lookahead + save 110μs  -- with random strategy 81μs  -- with Felsch + no standardisation 98μs  -- with Felsch + standardisation 95μs ToddCoxeter 096: ACE --- A5 . . .  -- with HLT + no standardise + full lookahead + no save 177μs  -- with HLT + standardise + full lookahead + no save 217μs  -- with HLT + no standardise + partial lookahead + no save 148μs  -- with HLT + standardise + partial lookahead + no save 206μs  -- with HLT + no standardise + full lookahead + save 329μs  -- with HLT + standardise + full lookahead + save 336μs  -- with HLT + no standardise + partial lookahead + save 296μs  -- with HLT + standardise + partial lookahead + save 310μs  -- with random strategy 326μs  -- with Felsch + no standardisation 216μs  -- with Felsch + standardisation 207μs ToddCoxeter 098: relation ordering . . .  -- with Felsch + no standardisation 483μs  -- with Felsch + standardisation 453μs  -- with HLT + no standardise + full lookahead + no save 227μs  -- with HLT + standardise + full lookahead + no save 220μs  -- with HLT + no standardise + partial lookahead + no save 272μs  -- with HLT + standardise + partial lookahead + no save 262μs  -- with HLT + no standardise + full lookahead + save 469μs  -- with HLT + standardise + full lookahead + save 477μs  -- with HLT + no standardise + partial lookahead + save 473μs  -- with HLT + standardise + partial lookahead + save 474μs  -- with random strategy 270μs ToddCoxeter 099: short circuit size in obviously infinite . . . 17μs ToddCoxeter 101: http://brauer.maths.qmul.ac.uk/Atlas/spor/M [...] . . . 605ms ToddCoxeter 108: http://brauer.maths.qmul.ac.uk/Atlas/lin/L3 [...] . . . 480ms ToddCoxeter 110: to_gap_string . . . 73μs ToddCoxeter 111: partition_monoid(2) . . . 58μs ToddCoxeter 112: brauer_monoid(4) (Kudryavtseva + Mazorchuk) . . . 287μs ToddCoxeter 113: symmetric_inverse_monoid . . . 15ms ToddCoxeter 116: symmetric_group(7, Burnside + Miller) . . . 388ms UF 001: constructor by size . . . 15μs UF 002: copy constructor . . . 19μs UF 003: find . . . 15μs Ukkonen 000: basic tests . . . 55ms Ukkonen 001: maximal_piece_prefix 1 . . . 31μs Ukkonen 002: maximal_piece_prefix 2 . . . 38μs Ukkonen 003: maximal_piece_prefix 3 . . . 213μs Ukkonen 004: number_of_pieces . . . 62μs Ukkonen 005: traverse . . . 20μs Ukkonen 006: dot . . . 140μs Ukkonen 007: strings . . . 50μs Ukkonen 008: dfs #01 . . . 32μs Ukkonen 009: dfs #02 . . . 29μs Ukkonen 010: dfs #03 . . . 25μs Ukkonen 011: dfs #04 . . . 64μs Ukkonen 012: dfs #05 . . . 47μs Ukkonen 013: dfs #06 . . . 40μs Ukkonen 014: dfs #07 . . . 93μs Ukkonen 015: dfs #08 . . . 60μs Ukkonen 016: dfs #09 . . . 87μs Ukkonen 017: dfs #10 . . . 27μs Ukkonen 018: pieces . . . 32μs Ukkonen 019: code coverage . . . 40μs Ukkonen 020: code coverage . . . 10μs action_digraph_helper 015: detail::to_string . . . 23μs action_digraph_helper 016: make . . . 36μs action_digraph_helper 017: is_connected . . . 137μs action_digraph_helper 018: is_strictly_cyclic . . . 9517μs follow_path 012: 20 node path . . . 20μs fpsemi-examples 002: full_transformation_monoid author except . . . 27μs fpsemi-examples 003: full_transformation_monoid degree except . . . 17μs fpsemi-examples 005: partial_transformation_monoid author except . . . 21μs fpsemi-examples 006: partial_transformation_monoid degree except . . . 17μs fpsemi-examples 007: symmetric_inverse_monoid(5) . . . 15ms fpsemi-examples 008: symmetric_group auth except . . . 26μs fpsemi-examples 009: symmetric_group degree except . . . 17μs fpsemi-examples 010: symmetric_group(6) Burnside + Miller . . . 22ms fpsemi-examples 011: dual_symmetric_inverse_monoid(5) . . . 171ms fpsemi-examples 012: dual_symmetric_inverse_monoid auth except . . . 27μs fpsemi-examples 013: dual_symmetric_inverse_monoid degree except . . . 18μs fpsemi-examples 014: uniform_block_bijection_monoid(5) . . . 11ms fpsemi-examples 015: uniform_block_bijection_monoid auth except . . . 24μs fpsemi-examples 016: uniform_block_bijection_monoid degree except . . . 17μs fpsemi-examples 019: partition_monoid auth except . . . 34μs fpsemi-examples 020: partition_monoid degree except . . . 24μs fpsemi-examples 022: monogenic_semigroup(4, 9) . . . 30μs fpsemi-examples 023: fibonacci_semigroup(2, 5) . . . 59μs fpsemi-examples 024: temperley_lieb_monoid(10) . . . 39ms fpsemi-examples 025: singular_brauer_monoid(6) . . . 348ms fpsemi-examples 026: orientation_preserving_monoid(6) . . . 22ms fpsemi-examples 027: orientation_reversing_monoid(5) . . . 5910μs fpsemi-examples 028: chinese_monoid(3) . . . 120μs fpsemi-examples 029: plactic_monoid(3) . . . 83μs fpsemi-examples 030: stylic_monoid(3) . . . 664μs fpsemi-examples 031: symmetric_group(6) Carmichael . . . 14ms fpsemi-examples 032: symmetric_group(6) Moore index 0 . . . 10ms fpsemi-examples 033: symmetric_group(6) Coxeter + Moser . . . 5592μs fpsemi-examples 034: test for the rook monoid . . . 219μs fpsemi-examples 035: alternating_group(7) Moore . . . 22ms fpsemi-examples 036: alternating_group auth except . . . 41μs fpsemi-examples 037: alternating_group degree except . . . 18μs fpsemi-examples 038: partial_transformation_monoid(3) Machine . . . 218μs fpsemi-examples 039: chinese_monoid degree except . . . 27μs fpsemi-examples 040: monogenic_semigroup degree except . . . 24μs fpsemi-examples 041: rectangular_band degree except . . . 36μs fpsemi-examples 042: stellar_monoid degree except . . . 23μs fpsemi-examples 043: plactic_monoid degree except . . . 20μs fpsemi-examples 044: stylic_monoid degree except . . . 21μs fpsemi-examples 045: temperley_lieb_monoid degree except . . . 27μs fpsemi-examples 046: singular_brauer_monoid degree except . . . 25μs fpsemi-examples 047: orientation_preserving_monoid degree except . . . 25μs fpsemi-examples 048: orientation_reversing_monoid degree except . . . 25μs fpsemi-examples 049: test default values . . . 2480μs fpsemi-examples 052: not_symmetric_group(5) Guralnick + Kant [...] . . . 2316μs fpsemi-examples 053: order_preserving_monoid(5) . . . 497μs fpsemi-examples 055: order_preserving_monoid degree except . . . 54μs fpsemi-examples 056: cyclic_inverse_monoid(4) Fernandes 1 . . . 222μs fpsemi-examples 057: cyclic_inverse_monoid(8) Fernandes index 1 . . . 13ms fpsemi-examples 058: cyclic_inverse_monoid Fernandes index 0 . . . 21ms fpsemi-examples 059: order_preserving_cyclic_inverse_monoid(4) . . . 108μs fpsemi-examples 060: order_preserving_cyclic_inverse_monoid(10) . . . 25ms fpsemi-examples 061: cyclic_inverse_monoid degree except . . . 51μs fpsemi-examples 062: cyclic_inverse_monoid author except . . . 26μs fpsemi-examples 063: order_preserving_monoid degree except . . . 27μs fpsemi-examples 064: symmetric_group index except . . . 25μs fpsemi-examples 065: symmetric_group(7) Moore index 1 . . . 5429μs fpsemi-examples 066: order_preserving_cyclic_inverse_monoid(10) . . . 25ms fpsemi-examples 067: partial_isometries_cycle_graph_monoid(5) . . . 473μs fpsemi-examples 068: partial_isometries_cycle_graph_monoid(10) . . . 200ms fpsemi-examples 069: partial_isometries_cycle_graph_monoid d [...] . . . 37μs fpsemi-examples 070: partial_isometries_cycle_graph_monoid(4) . . . 243μs freeband_equal_to 001: . . . 461μs is_acyclic 000: 2-cycle . . . 12μs is_acyclic 001: 1-cycle . . . 10μs is_acyclic 002: multi-digraph . . . 13μs is_acyclic 003: complete digraph 100 . . . 60μs is_acyclic 004: acyclic digraph with 20000 nodes . . . 1276μs is_acyclic 006: for a node . . . 652μs is_acyclic 007: for a node . . . 17μs is_reachable 008: acyclic 20 node digraph . . . 39μs is_reachable 009: 100 node path . . . 8118μs is_reachable 010: 100 node cycle . . . 7742μs is_reachable 011: 20 node clique . . . 340μs last_node_on_path_nc 014: 20 node path . . . 15μs make 000: from FroidurePin . . . 308μs make 001: from FroidurePin and alphabet . . . 443μs make 002: presentation from presentation . . . 156μs make 003: presentation from presentation and alphabet . . . 47μs make 004: argument checks issue . . . 82μs make 005: use human readable alphabet for make . . . 16μs make> 000: from ActionDigraph . . . 1000μs make> 001: from ActionDigraph (exceptions) . . . 38μs number_of_words 001: . . . 18μs operator"" _w 003: literal . . . 13μs silo 000: alphabet: a, min: 0, max: 10 . . . 38μs silo 001: corner cases . . . 23μs silo 002: alphabet: ab, min: 1, max: 4 . . . 36μs silo 003: alphabet: abc, min: 0, max: 13 . . . 64ms silo 004: code coverage . . . 21μs sislo 005: alphabet: a, min: 0, max: 10 . . . 29μs sislo 006: corner cases . . . 61μs sislo 007: alphabet: ab, min: 1, max: 4 . . . 63μs sislo 008: alphabet: abc, min: 0, max: 13 . . . 64ms sislo 009: code coverage . . . 19μs string 000: detail::is_suffix . . . 12μs string 001: detail::is_prefix . . . 12μs string 002: detail::maximum_common_suffix . . . 11μs string 003: detail::group_digits . . . 22μs string_to_word 002: . . . 11μs validate_label 013: 20 node path . . . 31μs wilo 001: corner cases . . . 36μs wilo 002: letters: 2, min: 1, max: 4 . . . 26μs wilo 003: letters: 2, min: 1, max: 4 . . . 41μs wilo 004: letters: 3, min: 0, max: 10 . . . 13ms wilo 005: letters: 3, min: 0, max: 13 . . . 115ms wilo 006: forward iterator requirements . . . 111ms wilo 007: more corner cases . . . 40μs wilo 008: starting at a given word 1 . . . 110μs wilo 009: starting at a given word 2 . . . 17μs wilo 010: code coverage . . . 17μs wislo 000: n: 2, min; 1, max: 4 . . . 22μs wislo 001: corner cases . . . 33μs wislo 002: n: 3, min; 0, max: 10 . . . 3476μs wislo 003: n: 3, min; 0, max: 13 . . . 113ms wislo 004: lex + sort . . . 323ms wislo 005: code coverage . . . 24μs =============================================================================== All tests passed (1226211 assertions in 1190 test cases) >>> libsemigroups: Entering fakeroot... make[1]: Entering directory '/home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.3' ./config/install-sh -c -d '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib' ./config/install-sh -c -d '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups/backward-cpp' /bin/sh ./libtool --mode=install /usr/bin/install -c libsemigroups.la '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib' /usr/bin/install -c -m 644 extern/backward-cpp/backward.hpp '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups/backward-cpp' ./config/install-sh -c -d '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/pkgconfig' ./config/install-sh -c -d '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups' ./config/install-sh -c -d '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups/textflowcpp' /usr/bin/install -c -m 644 libsemigroups.pc '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/pkgconfig' /usr/bin/install -c -m 644 include/libsemigroups/action.hpp include/libsemigroups/adapters.hpp include/libsemigroups/bipart.hpp include/libsemigroups/bitset.hpp include/libsemigroups/bmat8.hpp include/libsemigroups/bmat.hpp include/libsemigroups/bruidhinn-traits.hpp include/libsemigroups/config.hpp include/libsemigroups/cong-intf.hpp include/libsemigroups/cong-pair-impl.hpp include/libsemigroups/cong-pair.hpp include/libsemigroups/cong-wrap.hpp include/libsemigroups/cong.hpp include/libsemigroups/constants.hpp include/libsemigroups/containers.hpp include/libsemigroups/coset.hpp include/libsemigroups/debug.hpp include/libsemigroups/deprecated.hpp include/libsemigroups/digraph-helper.hpp include/libsemigroups/digraph-with-sources.hpp include/libsemigroups/digraph-with-sources.tpp include/libsemigroups/digraph.hpp include/libsemigroups/exception.hpp include/libsemigroups/fastest-bmat.hpp include/libsemigroups/felsch-tree.hpp include/libsemigroups/felsch-digraph.hpp include/libsemigroups/felsch-digraph.tpp include/libsemigroups/forest.hpp include/libsemigroups/fpsemi-examples.hpp include/libsemigroups/fpsemi-intf.hpp include/libsemigroups/fpsemi.hpp include/libsemigroups/freeband.hpp include/libsemigroups/froidure-pin-base.hpp include/libsemigroups/froidure-pin-impl.hpp include/libsemigroups/froidure-pin.hpp include/libsemigroups/function-ref.hpp include/libsemigroups/hpcombi.hpp include/libsemigroups/int-range.hpp include/libsemigroups/iterator.hpp include/libsemigroups/kambites.hpp '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups' libtool: install: /usr/bin/install -c .libs/libsemigroups.so.2.0.0 /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/libsemigroups.so.2.0.0 /usr/bin/install -c -m 644 extern/textflowcpp/TextFlow.hpp '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups/textflowcpp' libtool: install: (cd /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib && { ln -s -f libsemigroups.so.2.0.0 libsemigroups.so.2 || { rm -f libsemigroups.so.2 && ln -s libsemigroups.so.2.0.0 libsemigroups.so.2; }; }) /usr/bin/install -c -m 644 include/libsemigroups/kbe.hpp include/libsemigroups/knuth-bendix.hpp include/libsemigroups/konieczny.hpp include/libsemigroups/libsemigroups.hpp include/libsemigroups/make-froidure-pin.hpp include/libsemigroups/make-present.hpp include/libsemigroups/matrix.hpp include/libsemigroups/node-manager.hpp include/libsemigroups/obvinf.hpp include/libsemigroups/order.hpp include/libsemigroups/pbr.hpp include/libsemigroups/pool.hpp include/libsemigroups/present.hpp include/libsemigroups/present.tpp include/libsemigroups/race.hpp include/libsemigroups/report.hpp include/libsemigroups/runner.hpp include/libsemigroups/schreier-sims.hpp include/libsemigroups/schreier-sims-helper.hpp include/libsemigroups/sims1.hpp include/libsemigroups/sims1.tpp include/libsemigroups/siso.hpp include/libsemigroups/stl.hpp include/libsemigroups/stephen.hpp include/libsemigroups/string-view.hpp include/libsemigroups/string.hpp include/libsemigroups/tce.hpp include/libsemigroups/timer.hpp include/libsemigroups/todd-coxeter-digraph.hpp include/libsemigroups/todd-coxeter-digraph.tpp include/libsemigroups/todd-coxeter.hpp include/libsemigroups/transf.hpp include/libsemigroups/types.hpp include/libsemigroups/uf.hpp include/libsemigroups/ukkonen.hpp include/libsemigroups/ukkonen.tpp include/libsemigroups/wilo.hpp include/libsemigroups/wislo.hpp include/libsemigroups/word.hpp '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups' libtool: install: (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 libtool: warning: remember to run 'libtool --finish /usr/lib' make[1]: Leaving directory '/home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.3' >>> libsemigroups-static*: Running split function static... './usr/lib/libsemigroups.a' -> '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups-static/./usr/lib/libsemigroups.a' >>> libsemigroups-static*: Preparing subpackage libsemigroups-static... >>> libsemigroups-static*: Stripping binaries >>> libsemigroups-static*: Running postcheck for libsemigroups-static >>> libsemigroups-dev*: Running split function dev... 'usr/include' -> '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups-dev/usr/include' 'usr/lib/pkgconfig' -> '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups-dev/usr/lib/pkgconfig' 'usr/lib/libsemigroups.so' -> '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups-dev/usr/lib/libsemigroups.so' >>> libsemigroups-dev*: Preparing subpackage libsemigroups-dev... >>> libsemigroups-dev*: Stripping binaries >>> libsemigroups-dev*: Running postcheck for libsemigroups-dev >>> libsemigroups*: Running postcheck for libsemigroups >>> libsemigroups*: Preparing package libsemigroups... >>> libsemigroups*: Stripping binaries >>> libsemigroups-dev*: Scanning shared objects >>> libsemigroups-static*: Scanning shared objects >>> libsemigroups*: Scanning shared objects >>> libsemigroups-dev*: Tracing dependencies... libsemigroups=2.7.3-r1 pc:eigen3 pc:fmt pkgconfig >>> libsemigroups-dev*: Package size: 1.9 MB >>> libsemigroups-dev*: Compressing data... >>> libsemigroups-dev*: Create checksum... >>> libsemigroups-dev*: Create libsemigroups-dev-2.7.3-r1.apk >>> libsemigroups-static*: Tracing dependencies... >>> libsemigroups-static*: Package size: 4.4 MB >>> libsemigroups-static*: Compressing data... >>> libsemigroups-static*: Create checksum... >>> libsemigroups-static*: Create libsemigroups-static-2.7.3-r1.apk >>> libsemigroups*: Tracing dependencies... so:libc.musl-x86.so.1 so:libfmt.so.11 so:libgcc_s.so.1 so:libstdc++.so.6 >>> libsemigroups*: Package size: 1.7 MB >>> libsemigroups*: Compressing data... >>> libsemigroups*: Create checksum... >>> libsemigroups*: Create libsemigroups-2.7.3-r1.apk >>> libsemigroups: Build complete at Sat, 14 Dec 2024 19:38:02 +0000 elapsed time 0h 10m 40s >>> libsemigroups: Cleaning up srcdir >>> libsemigroups: Cleaning up pkgdir >>> libsemigroups: Uninstalling dependencies... (1/4) Purging .makedepends-libsemigroups (20241214.192723) (2/4) Purging eigen-dev (3.4.0-r10) (3/4) Purging fmt-dev (11.0.2-r0) (4/4) Purging fmt (11.0.2-r0) OK: 404 MiB in 115 packages >>> libsemigroups: Updating the testing/x86 repository index... >>> libsemigroups: Signing the index...