>>> libsemigroups: Building testing/libsemigroups 2.7.3-r2 (using abuild 3.18.0_rc5-r1) started Tue, 29 Sep 2026 13:44:43 +0000 >>> libsemigroups: Validating /home/buildozer/aports/testing/libsemigroups/APKBUILD... >>> WARNING: libsemigroups: No maintainer >>> libsemigroups: Analyzing dependencies... >>> libsemigroups: Installing for build: build-base eigen-dev fmt-dev (1/4) Installing eigen-dev (3.4.0-r10) (2/4) Installing fmt (12.2.0-r0) (3/4) Installing fmt-dev (12.2.0-r0) (4/4) Installing .makedepends-libsemigroups (20260929.134444) OK: 280.7 MiB in 107 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 /var/cache/distfiles/libsemigroups-2.7.3.tar.gz: OK /home/buildozer/aports/testing/libsemigroups/001-gcc-15.patch: OK >>> libsemigroups: Fetching https://distfiles.alpinelinux.org/distfiles/edge/libsemigroups-2.7.3.tar.gz /var/cache/distfiles/libsemigroups-2.7.3.tar.gz: OK /home/buildozer/aports/testing/libsemigroups/001-gcc-15.patch: OK >>> libsemigroups: Unpacking /var/cache/distfiles/libsemigroups-2.7.3.tar.gz... tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.xattr.com.apple.lastuseddate#PS' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' >>> libsemigroups: 001-gcc-15.patch patching file include/libsemigroups/sims1.tpp checking build system type... loongarch64-alpine-linux-musl checking host system type... loongarch64-alpine-linux-musl checking target system type... loongarch64-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 loongarch64-alpine-linux-musl-gcc... cc checking whether the C compiler works... yes checking for C compiler default output file name... a.out checking for suffix of executables... checking whether we are cross compiling... no checking for suffix of object files... o checking whether the compiler supports GNU C... yes checking whether cc accepts -g... yes checking for cc option to enable C11 features... none needed checking whether cc understands -c and -o together... yes checking dependency style of cc... gcc3 checking for loongarch64-alpine-linux-musl-ar... no checking for loongarch64-alpine-linux-musl-lib... no checking for loongarch64-alpine-linux-musl-link... no checking for ar... ar checking the archiver (ar) interface... ar checking whether the compiler supports GNU C++... yes checking whether c++ accepts -g... yes checking for c++ option to enable C++11 features... none needed checking dependency style of c++... gcc3 checking whether c++ supports C++14 features by default... yes checking for a sed that does not truncate output... /bin/sed checking how to run the C preprocessor... cc -E checking for grep that handles long lines and -e... /bin/grep checking for egrep... /bin/grep -E checking whether cc is Clang... no checking whether pthreads work with "-pthread" and "-lpthread"... yes checking for joinable pthread attribute... PTHREAD_CREATE_JOINABLE checking whether more special flags are required for pthreads... no checking for PTHREAD_PRIO_INHERIT... yes checking for pthread_create in -lpthread... yes checking whether to enable maintainer-specific portions of Makefiles... no checking whether ln -s works... yes checking how to print strings... printf checking for a sed that does not truncate output... (cached) /bin/sed checking for fgrep... /bin/grep -F checking for ld used by cc... /usr/loongarch64-alpine-linux-musl/bin/ld checking if the linker (/usr/loongarch64-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 loongarch64-alpine-linux-musl file names to loongarch64-alpine-linux-musl format... func_convert_file_noop checking how to convert loongarch64-alpine-linux-musl file names to toolchain format... func_convert_file_noop checking for /usr/loongarch64-alpine-linux-musl/bin/ld option to reload object files... -r checking for loongarch64-alpine-linux-musl-file... no checking for file... file checking for loongarch64-alpine-linux-musl-objdump... no checking for objdump... objdump checking how to recognize dependent libraries... pass_all checking for loongarch64-alpine-linux-musl-dlltool... no checking for dlltool... no checking how to associate runtime and link libraries... printf %s\n checking for loongarch64-alpine-linux-musl-ar... ar checking for archiver @FILE support... @ checking for loongarch64-alpine-linux-musl-strip... no checking for strip... strip checking for loongarch64-alpine-linux-musl-ranlib... no checking for ranlib... ranlib checking command to parse /usr/bin/nm -B output from cc object... ok checking for sysroot... no checking for a working dd... /bin/dd checking how to truncate binary pipes... /bin/dd bs=4096 count=1 checking for loongarch64-alpine-linux-musl-mt... no checking for mt... no checking if : is a manifest tool... no checking for stdio.h... yes checking for stdlib.h... yes checking for string.h... yes checking for inttypes.h... yes checking for stdint.h... yes checking for strings.h... yes checking for sys/stat.h... yes checking for sys/types.h... yes checking for unistd.h... yes checking for dlfcn.h... yes checking for objdir... .libs checking if cc supports -fno-rtti -fno-exceptions... no checking for cc option to produce PIC... -fPIC -DPIC checking if cc PIC flag -fPIC -DPIC works... yes checking if cc static flag -static works... yes checking if cc supports -c -o file.o... yes checking if cc supports -c -o file.o... (cached) yes checking whether the cc linker (/usr/loongarch64-alpine-linux-musl/bin/ld) supports shared libraries... yes checking whether -lc should be explicitly linked in... no checking dynamic linker characteristics... GNU/Linux ld.so checking how to hardcode library paths into programs... immediate checking whether stripping libraries is possible... yes checking if libtool supports shared libraries... yes checking whether to build shared libraries... yes checking whether to build static libraries... yes checking how to run the C++ preprocessor... c++ -E checking for ld used by c++... /usr/loongarch64-alpine-linux-musl/bin/ld checking if the linker (/usr/loongarch64-alpine-linux-musl/bin/ld) is GNU ld... yes checking whether the c++ linker (/usr/loongarch64-alpine-linux-musl/bin/ld) supports shared libraries... yes checking for c++ option to produce PIC... -fPIC -DPIC checking if c++ PIC flag -fPIC -DPIC works... yes checking if c++ static flag -static works... yes checking if c++ supports -c -o file.o... yes checking if c++ supports -c -o file.o... (cached) yes checking whether the c++ linker (/usr/loongarch64-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 *... 8 checking for GNU libc compatible malloc... yes checking for gettimeofday... yes checking for memset... yes checking for pow... yes checking for sqrt... yes checking whether to enable debug mode... no checking whether to enable verbose mode... no checking whether enable compiler warnings... no checking whether to enable stats mode... yes checking whether to enable backward mode... yes checking for execinfo.h... no configure: WARNING: backward enabled but execinfo.h not found, disabling backward! checking whether to build with code coverage support... no checking whether to enable HPCombi... yes checking for ./extern/HPCombi/VERSION... yes checking the required version of HPCombi... 0.0.6 checking the version of HPCombi that's present... 0.0.6 checking whether C++ compiler accepts -mavx... no configure: WARNING: flag -mavx not supported, HPCombi is disabled checking for loongarch64-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++/15.2.0/algorithm:63, from tests/test-matrix.cpp:17: In function 'void std::__final_insertion_sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = libsemigroups::StaticRowView*; _Compare = __gnu_cxx::__ops::_Iter_comp_iter >():: >]', inlined from 'void std::__sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = libsemigroups::StaticRowView*; _Compare = __gnu_cxx::__ops::_Iter_comp_iter >():: >]' at /usr/include/c++/15.2.0/bits/stl_algo.h:1909:31, inlined from 'void std::sort(_RAIter, _RAIter, _Compare) [with _RAIter = libsemigroups::StaticRowView*; _Compare = libsemigroups::{anonymous}::test_BMat000 >()::]' at /usr/include/c++/15.2.0/bits/stl_algo.h:4874:18, inlined from 'void libsemigroups::{anonymous}::test_BMat000() [with Mat = libsemigroups::StaticMatrix]' at tests/test-matrix.cpp:166:18: /usr/include/c++/15.2.0/bits/stl_algo.h:1818:32: warning: array subscript 16 is outside array bounds of 'libsemigroups::detail::StaticVector1, 2> [1]' [-Warray-bounds=] 1818 | std::__insertion_sort(__first, __first + int(_S_threshold), __comp); | ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ tests/test-matrix.cpp: In function 'void libsemigroups::{anonymous}::test_BMat000() [with Mat = libsemigroups::StaticMatrix]': tests/test-matrix.cpp:160:14: note: at offset 128 into object 'r' of size 24 160 | auto r = matrix_helpers::rows(m); | ^ 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 . . . 91μs Action 002: row and column basis orbits for BMat8 . . . 2128μs Action 003: add generators after enumeration . . . 2164μs Action 004: multipliers for BMat8 row and column orbits . . . 4681μs Action 005: orbits for regular boolean mat monoid 5 . . . 370ms Action 007: partial perm image orbit . . . 293μs Action 008: partial perm image orbit . . . 78ms Action 009: partial perm image orbit . . . 88ms Action 010: partial perm image orbit . . . 87ms Action 011: permutation on integers . . . 25μs Action 012: permutation on sets, arrays . . . 166μs Action 013: permutation on tuples, arrays . . . 17ms Action 014: permutation on sets, vectors . . . 241μs Action 015: permutation on tuples, vectors . . . 27ms Action 016: misc . . . 2868μs Action 017: partial perm image orbit . . . 73μs Action 018: permutation on tuples, arrays (360360) . . . 247ms Action 019: orbits for regular BMat8 monoid 5 with stop/start . . . 382ms Action 021: orbits for regular boolean mat monoid 5 (BMat<5> [...] . . . 488ms ActionDigraph 000: constructor with 1 default arg . . . 33μs ActionDigraph 001: constructor with 0 default args . . . 44μs ActionDigraph 002: add nodes . . . 23μs ActionDigraph 003: add edges . . . 387μs ActionDigraph 004: strongly connected components - cycles . . . 44μs ActionDigraph 005: strongly connected components - no edges . . . 47ms ActionDigraph 006: strongly connected components - disjoint cycles . . . 1835μs ActionDigraph 007: strongly connected components - complete graphs . . . 958μs ActionDigraph 008: exceptions . . . 79μs ActionDigraph 009: spanning forest - complete graphs . . . 3795μs ActionDigraph 010: spanning forest - disjoint cycles . . . 113μs ActionDigraph 011: restrict . . . 19μs ActionDigraph 012: remove_edge_nc . . . 9000ns ActionDigraph 013: scc large cycle . . . 18ms ActionDigraph 014: random . . . 32μs ActionDigraph 015: reserve . . . 11μs ActionDigraph 016: default constructors . . . 19μs ActionDigraph 017: scc iterators . . . 1965μs ActionDigraph 018: iterator to edges . . . 932μs ActionDigraph 019: root of scc . . . 409μs ActionDigraph 020: cbegin/end_panislo - 100 node path . . . 771μs ActionDigraph 021: cbegin/end_pislo . . . 66μs ActionDigraph 022: cbegin/end_pani(s)lo - 100 node cycle . . . 706μs ActionDigraph 023: cbegin/cend_pilo - tree 14 nodes . . . 111μs ActionDigraph 024: cbegin/end_pstilo - Cayley digraph . . . 268ms ActionDigraph 025: cbegin_pstilo - Tsalakou . . . 736μs ActionDigraph 026: cbegin/end_pstislo - Cayley digraph . . . 288ms ActionDigraph 027: cbegin/end_pstislo - Cayley digraph . . . 350μs ActionDigraph 028: path iterators corner cases . . . 340μs ActionDigraph 029: reverse node iterator . . . 11μs ActionDigraph 030: pstilo corner case . . . 60μs ActionDigraph 031: number_of_paths corner cases . . . 105μs ActionDigraph 032: number_of_paths acyclic digraph . . . 15ms ActionDigraph 033: number_of_paths binary tree . . . 506ms ActionDigraph 034: number_of_paths large binary tree . . . 149ms ActionDigraph 035: number_of_paths 400 node random digraph . . . 1494μs ActionDigraph 036: number_of_paths 10 node acyclic digraph . . . 76μs ActionDigraph 037: number_of_paths node digraph . . . 3366μs ActionDigraph 038: random/random_acyclic exceptions . . . 164μs ActionDigraph 039: unsafe (next) neighbour . . . 81μs ActionDigraph 040: number_of_egdes incident to a node . . . 80μs ActionDigraph 041: number_of_paths (matrix) . . . 32ms ActionDigraph 042: number_of_paths (matrix) . . . 14μs ActionDigraph 043: swap_edge_nc . . . 11μs ActionDigraph 044: detail::pow for non-square Eigen matrix . . . 27μs ActionDigraph 045: operator<< . . . 24μs Array2 044: all . . . 80μs BMat8 001: transpose . . . 34μs BMat8 002: multiplication . . . 21μs BMat8 003: identity matrix . . . 14μs BMat8 004: random . . . 347μs BMat8 005: call operator . . . 21μs BMat8 006: operator<< . . . 19μs BMat8 007: set . . . 78μs BMat8 008: row space basis . . . 820μs BMat8 009: col space basis . . . 820μs BMat8 010: row space basis . . . 1834μs BMat8 011: number_of_rows, number_of_cols . . . 61μs BMat8 012: row_space, col_space . . . 239μs BMat8 013: rows . . . 52μs BMat8 014: one . . . 11μs BMat8 015: vector constructor . . . 126μs BMat8 016: operator< . . . 13μs BMat8 017: adapters . . . 22μs BMat8 018: one . . . 10μs Bipartition 009: mem fns 1 . . . 63μs Bipartition 010: hash . . . 6000ns Bipartition 011: mem fns 2 . . . 40μs Bipartition 012: delete/copy . . . 10μs Bipartition 013: degree 0 . . . 9000ns Bipartition 014: exceptions . . . 43μs Bipartition 015: convenience constructor . . . 303μs Bipartition 016: force copy constructor over move constructor . . . 21μs Bipartition 017: adapters . . . 7000ns BitSet 000: size . . . 10μs BitSet 001: operator< . . . 8000ns BitSet 002: operator== . . . 18μs BitSet 003: operator!= . . . 11μs BitSet 004: operator&= . . . 12μs BitSet 005: & . . . 16μs BitSet 006: operator|= . . . 20μs BitSet 007: operator[] . . . 23μs BitSet 008: set(none) . . . 32μs BitSet 009: set(pos, value) . . . 25μs BitSet 010: set(first, last, value) . . . 32μs BitSet 011: reset(first, last) . . . 30μs BitSet 012: reset(pos) . . . 30μs BitSet 013: apply (iterate through set bits) . . . 41μs BitSet 014: std::hash . . . 5000ns BitSet 015: constructors . . . 19μs BitSet 016: max_size . . . 7000ns BitSet 017: insertion operators . . . 14μs Blocks 001: empty blocks . . . 14μs Blocks 002: non-empty blocks . . . 16μs Blocks 003: left blocks of bipartition . . . 15μs Blocks 004: right blocks of bipartition . . . 14μs Blocks 005: copy [empty blocks] . . . 10μs Blocks 006: copy [non-empty blocks] . . . 14μs Blocks 007: hash value . . . 16μs Blocks 008: operator< . . . 11μs Congruence 000: left congruence on fp semigroup . . . 282μs Congruence 001: 2-sided congruence on fp semigroup . . . 815μs Congruence 002: left congruence on fp semigroup . . . 272μs Congruence 003: word_to_class_index for cong. on fp semigroup . . . 320μs Congruence 004: word_to_class_index for cong. on fp semigroup . . . 656μs Congruence 005: trivial congruence on non-fp semigroup . . . 468μs Congruence 006: 2-sided congruence on non-fp semigroup . . . 405μs Congruence 007: 2-sided congruence on fp semigroup . . . 897μs Congruence 008: 2-sided congruence on infinite fp semigroup . . . 446μs Congruence 009: 2-sided congruence on infinite fp semigroup . . . 587μs Congruence 010: 2-sided congruence on finite semigroup . . . 50ms Congruence 012: 2-sided congruence on finite semigroup . . . 4162μs Congruence 013: trivial 2-sided congruence on bicyclic monoid . . . 28ms Congruence 014: non-trivial 2-sided congruence on bicyclic monoid . . . 429μs Congruence 015: 2-sided congruence on free abelian monoid . . . 492μs Congruence 016: example where TC works but KB doesn't . . . 678μs Congruence 017: 2-sided congruence on finite semigroup . . . 425μs Congruence 018: infinite fp semigroup from GAP library . . . 721μs Congruence 019: 2-sided cong. on fp semigroup with infinite [...] . . . 393μs Congruence 020: trivial cong. on an fp semigroup . . .  -- with compute size 414μs  -- with don't compute size 344μs Congruence 021: duplicate generators . . . 525μs Congruence 022: non-trivial classes . . . 1266μs Congruence 023: right congruence on finite semigroup . . . 369ms Congruence 024: redundant generating pairs . . . 154μs Congruence 025: 2-sided cong. on free semigroup . . . 75μs Congruence 026: is_quotient_obviously_(in)finite . . . 874μs Congruence 027: less . . . 367μs Congruence 028: 2-sided congruences of BMat8 semigroup . . . 170ms Congruence 029: left congruence on finite semigroup . . . 694μs Congruence 030: right congruence on finite semigroup . . . 578μs Congruence 031: right congruence on finite semigroup . . . 473μs Congruence 032: contains . . . 231μs Congruence 033: stellar_monoid S2 . . . 725μs Congruence 034: stellar_monoid S3 . . . 981μs Congruence 035: stellar_monoid S4 . . . 1864μs Congruence 036: stellar_monoid S5 . . . 7679μs Congruence 037: stellar_monoid S6 . . . 66ms Congruence 038: stellar_monoid S7 . . . 815ms Congruence 039: left cong. on an f.p. semigroup . . . 1668μs Congruence 040: 2-sided cong. on infinite f.p. semigroup . . . 214μs Congruence 041: 2-sided congruence constructed from type only . . . 591μs Congruence 042: const_contains . . . 615μs Congruence 043: no winner . . . 7183μs Congruence 044: congruence over smalloverlap . . . 10ms CongruenceByPairs 001: (cong) 2-sided cong. on finite semigroup . . . 510μs CongruenceByPairs 002: (cong) left congruence on finite semigroup . . . 133μs CongruenceByPairs 003: (cong) right congruence on finite semigroup . . . 133μs CongruenceByPairs 004: (cong) trivial congruence on finite s [...] . . . 160μs CongruenceByPairs 005: (cong) trivial left congruence on fin [...] . . . 99μs CongruenceByPairs 006: (cong) trivial right congruence on fi [...] . . . 86μs CongruenceByPairs 007: (cong) universal congruence on finite [...] . . . 508μs CongruenceByPairs 009: (cong) 2-sided congruence on finite s [...] . . . 780ms CongruenceByPairs 010: (cong) left congruence on big finite [...] . . . 42ms CongruenceByPairs 011: (cong) left congruence on TCE . . . 287μs CongruenceByPairs 012: (cong) is_quotient_obviously_finite . . . 86μs CongruenceByPairs 013: (cong) class_index_to_word/quotient . . .  -- with right congruence 12ms  -- with left congruence 1529μs  -- with 2-sided congruence 8227μs CongruenceByPairs 014: (cong) const_word_to_class_index . . .  -- with right congruence 43μs  -- with left congruence 30μs  -- with 2-sided congruence 29μs CongruenceByPairs 015: (cong) size non-Element* . . . 39ms CongruenceInterface 000: add_pair . . .  -- with ToddCoxeter 116μs  -- with KnuthBendix 244μs  -- with CongruenceByPairs 121μs  -- with Congruence 514μs CongruenceInterface 001: contains/const_contains . . .  -- with ToddCoxeter and no parent 116μs  -- with KnuthBendix and no parent 145μs  -- with Congruence and parent 448μs  -- with CongruenceByPairs and parent 103μs CongruenceInterface 002: less . . .  -- with ToddCoxeter 88μs  -- with KnuthBendix 182μs  -- with CongruenceByPairs 96μs  -- with Congruence 552μs CongruenceInterface 003: is_quotient_obviously_(in)finite . . .  -- with ToddCoxeter 68μs  -- with KnuthBendix 174μs CongruenceInterface 004: is_quotient_obviously_(in)finite . . .  -- with CongruenceByPairs 116μs  -- with Congruence 398μs CongruenceInterface 005: parent_froidure_pin . . .  -- with ToddCoxeter 38μs  -- with KnuthBendix 20μs CongruenceInterface 006: parent_froidure_pin . . .  -- with CongruenceByPairs 108μs  -- with Congruence 436μs CongruenceInterface 007: cbegin/cend_ntc . . .  -- with ToddCoxeter 354μs  -- with KnuthBendix 1647μs CongruenceInterface 008: cbegin/cend_ntc . . .  -- with CongruenceByPairs 214μs  -- with Congruence 503μs CongruenceInterface 009: quotient is immutable . . .  -- with ToddCoxeter 83μs  -- with KnuthBendix 141μs  -- with Congruence 302μs CongruenceInterface 010: no generating pairs added . . .  -- with KnuthBendix and common behaviour 6705μs  -- with Congruence and common behaviour 6883μs  -- with ToddCoxeter 104μs CongruenceInterface 011: nr generators not set . . .  -- with ToddCoxeter 131μs  -- with KnuthBendix 107μs  -- with Congruence 109μs CongruenceInterface 012: no generating pairs . . . 174μs ConstIteratorStateless 001: ? . . . 8000ns ConstIteratorStateless 002: ? . . . 8000ns Constants 001: Undefined . . . 13μs Constants 002: PositiveInfinity . . . 16μs Constants 003: NegativeInfinity . . . 23μs Constants 004: LimitMax . . . 13μs Duf 004: unite . . . 51μs Duf 006: compress . . . 18μs Duf 008: resize . . . 34μs Duf 009: resize . . . 13μs Duf 010: big chain . . . 18ms Duf 012: empty table . . . 9000ns Duf 014: join . . . 14μs Duf 016: contains . . . 29μs Duf 018: swap . . . 35μs DynamicArray2 001: default constructor with 3 default args . . . 15μs DynamicArray2 002: default constructor with 2 default args . . . 7000ns DynamicArray2 003: default constructor with 1 default args . . . 9000ns DynamicArray2 004: default constructor with 0 default args . . . 7000ns DynamicArray2 005: copy constructor with 1 default args . . . 9000ns DynamicArray2 006: copy constructor with 0 default args . . . 17μs DynamicArray2 007: add_rows . . . 14μs DynamicArray2 008: add_rows . . . 11μs DynamicArray2 009: add_cols . . . 40μs DynamicArray2 010: set/get . . . 40μs DynamicArray2 011: append 1/2 . . . 89μs DynamicArray2 012: append 2/2 . . . 185μs DynamicArray2 013: count . . . 31μs DynamicArray2 014: clear . . . 8000ns DynamicArray2 015: begin_row and end_row . . . 59μs DynamicArray2 016: cbegin_row and cend_row . . . 22μs DynamicArray2 017: iterator operator++ (postfix) . . . 252μs DynamicArray2 018: iterator operator++ (prefix) . . . 1521μs DynamicArray2 019: iterator operator-- (postfix) . . . 315μs DynamicArray2 020: iterator operator-- (prefix) . . . 322μs DynamicArray2 021: operator= . . . 14μs DynamicArray2 022: operator== and operator!= . . . 235μs DynamicArray2 023: empty and clear . . . 11μs DynamicArray2 024: max_size . . . 7000ns DynamicArray2 025: swap . . . 36μs DynamicArray2 026: iterator arithmetic . . . 1423μs DynamicArray2 027: iterator comparison . . . 12μs DynamicArray2 028: iterator operator= . . . 8000ns DynamicArray2 029: iterator operator[] . . . 77μs DynamicArray2 030: iterator operator-> . . . 16μs DynamicArray2 031: const_iterator operator++/-- . . . 231μs DynamicArray2 032: const_iterator operator++/-- . . . 7000ns DynamicArray2 033: column iterators . . . 25μs DynamicArray2 034: column iterator arithmetic . . . 5560μs DynamicArray2 035: iterator assignment constructor . . . 1550μs DynamicArray2 036: reserve method . . . 44μs DynamicArray2 037: erase column . . . 14μs DynamicArray2 038: swap_rows . . . 12μs DynamicArray2 039: apply_row_permutation . . . 11μs DynamicArray2 040: swap . . . 9000ns DynamicArray2 041: shrink_rows_to . . . 22μs DynamicArray2 042: shrink_rows_to - for range . . . 28μs FastestBMat 046: check no throw . . . 21μs FelschTree 000: previously failing example . . . 41μs Forest 001: test forest . . . 91μs FpSemigroup 001: Renner monoid type B2 (E. G. presentation), q = 1 . . . 912μs FpSemigroup 002: Renner monoid type B2 (E. G. presentation), q = 0 . . . 841μs FpSemigroup 003: Renner monoid type B3 (E. G. presentation), q = 1 . . . 91ms FpSemigroup 004: Renner monoid type B3 (E. G. presentation), q = 0 . . . 92ms FpSemigroup 005: Renner monoid type B2 (Gay-Hivert presentat [...] . . . 832μs FpSemigroup 006: Renner monoid type B2 (Gay-Hivert presentat [...] . . . 852μs FpSemigroup 007: Renner monoid type B3 (Gay-Hivert presentat [...] . . . 3655μs FpSemigroup 008: Renner monoid type B3 (Gay-Hivert presentat [...] . . . 3522μs FpSemigroup 009: Renner monoid type B4 (Gay-Hivert presentat [...] . . . 260ms FpSemigroup 010: Renner monoid type B4 (Gay-Hivert presentat [...] . . . 424ms FpSemigroup 013: Renner monoid type D2 (E. G. presentation), q = 1 . . . 1056μs FpSemigroup 014: Renner monoid type D2 (E. G. presentation), q = 0 . . . 1077μs FpSemigroup 015: Renner monoid type D3 (E. G. presentation), q = 1 . . . 4466μs FpSemigroup 016: Renner monoid type D3 (E. G. presentation), q = 0 . . . 4459μs FpSemigroup 017: Renner monoid type D4 (E. G. presentation), q = 1 . . . 1031ms FpSemigroup 018: Renner monoid type D4 (E. G. presentation), q = 0 . . . 1027ms FpSemigroup 019: Renner monoid type D2 (Gay-Hivert presentat [...] . . . 1152μs FpSemigroup 020: Renner monoid type D2 (Gay-Hivert presentat [...] . . . 1062μs FpSemigroup 021: Renner monoid type D3 (Gay-Hivert presentat [...] . . . 4606μs FpSemigroup 022: Renner monoid type D3 (Gay-Hivert presentat [...] . . . 4529μs FpSemigroup 023: Renner monoid type D4 (Gay-Hivert presentat [...] . . . 89ms FpSemigroup 024: Renner monoid type D4 (Gay-Hivert presentat [...] . . . 99ms FpSemigroup 029: Rook monoid R5, q = 0 . . . 5383μs FpSemigroup 030: Rook monoid R5, q = 1 . . . 5292μs FpSemigroup 031: Rook monoid R6, q = 0 . . . 42ms FpSemigroup 032: Rook monoid R6, q = 1 . . . 42ms FpSemigroup 033: normal_form . . . 292μs FpSemigroup 034: for a finite semigroup . . . 629μs FpSemigroup 035: finite fp semigroup, dihedral group of order 6 . . . 499μs FpSemigroup 036: finite fp semigroup, size 16 . . . 556μs FpSemigroup 037: finite fp semigroup, size 16 . . . 1056μs FpSemigroup 038: fp semigroup, size 240 . . . 841μs FpSemigroup 039: add_rule . . . 292μs FpSemigroup 040: add_rule . . . 158μs FpSemigroup 041: equal_to . . . 336μs FpSemigroup 042: cbegin/cend_rules . . . 58μs FpSemigroup 043: semigroup of size 3 . . . 424μs FpSemigroup 044: run_for/until . . . 2628μs FpSemigroup 045: constructors . . . 325μs FpSemigroup 046: set_inverses . . . 263μs FpSemigroup 047: smalloverlap . . . 9991μs FpSemigroup 048: quaternion group Q8 . . . 495μs FpSemigroup 049: symmetric group Coxeter presentation . . . 33ms FpSemigroupByPairs 029: (fpsemi) 2-sided congruence on finit [...] . . . 536μs FpSemigroupByPairs 030: (fpsemi) 2-sided congruence on finit [...] . . . 419μs FpSemigroupInterface 000: run with no alphabet . . .  -- with ToddCoxeter 74μs  -- with KnuthBendix 24μs  -- with FpSemigroup 32μs FpSemigroupInterface 001: equal_to . . .  -- with ToddCoxeter and human readable alphabet 1773μs  -- with KnuthBendix and human readable alphabet 3779μs  -- with FpSemigroup and human readable alphabet 3960μs  -- with FpSemigroupByPairs 3376μs FpSemigroupInterface 002: normal_form . . .  -- with ToddCoxeter 176μs  -- with KnuthBendix 199μs  -- with FpSemigroup 499μs FpSemigroupInterface 003: set_alphabet (1/2) . . .  -- with ToddCoxeter 106μs  -- with KnuthBendix 71μs  -- with FpSemigroup 83μs FpSemigroupInterface 004: set_alphabet (2/2) . . . 970μs FpSemigroupInterface 005: add_rule after finished . . .  -- with ToddCoxeter and human readable alphabet 129μs  -- with KnuthBendix and human readable alphabet 171μs  -- with FpSemigroup and human readable alphabet 419μs  -- with FpSemigroupByPairs 923μs FpSemigroupInterface 006: add_rule with equal words (1/2) . . .  -- with ToddCoxeter and human readable alphabet 151μs  -- with KnuthBendix and human readable alphabet 211μs  -- with FpSemigroup and human readable alphabet 259μs  -- with FpSemigroupByPairs 128μs FpSemigroupInterface 007: add_rule with equal words (2/2) . . .  -- with ToddCoxeter 22μs  -- with KnuthBendix 14μs  -- with FpSemigroup 22μs FpSemigroupInterface 008: add_rule with word_type . . .  -- with ToddCoxeter 53μs  -- with KnuthBendix 37μs  -- with FpSemigroup 102μs FpSemigroupInterface 009: add_rule with empty word (1/2) . . .  -- with ToddCoxeter 39μs  -- with FpSemigroup 50μs FpSemigroupInterface 010: add_rule with empty word (1/2) . . . 12μs FpSemigroupInterface 011: add_rules (1/3) . . .  -- with ToddCoxeter 45μs  -- with KnuthBendix 29μs  -- with FpSemigroup 56μs FpSemigroupInterface 012: add_rules (2/3) . . . 282μs FpSemigroupInterface 013: add_rules (3/3) . . .  -- with ToddCoxeter 25μs  -- with KnuthBendix 19μs  -- with FpSemigroup 101μs FpSemigroupInterface 014: set_identity (1/3) . . .  -- with ToddCoxeter 120μs  -- with KnuthBendix 94μs  -- with FpSemigroup 159μs FpSemigroupInterface 015: set_identity (2/3) . . . 200μs FpSemigroupInterface 016: set_identity (3/3) . . .  -- with ToddCoxeter 68μs  -- with KnuthBendix 58μs  -- with FpSemigroup 133μs FpSemigroupInterface 017: identity . . .  -- with ToddCoxeter 42μs  -- with KnuthBendix 20μs  -- with FpSemigroup 41μs FpSemigroupInterface 018: set_inverses + inverses (1/2) . . .  -- with ToddCoxeter 168μs  -- with KnuthBendix 138μs  -- with FpSemigroup 224μs FpSemigroupInterface 019: set_inverses + inverses (2/2) . . . 266μs FpSemigroupInterface 020: is_obviously_infinite (1/2) . . .  -- with ToddCoxeter 128μs  -- with KnuthBendix 219μs  -- with FpSemigroup 408μs FpSemigroupInterface 021: is_obviously_infinite (2/2) . . . 67μs FpSemigroupInterface 022: is_obviously_finite (1/2) . . .  -- with ToddCoxeter 101μs  -- with KnuthBendix 218μs  -- with FpSemigroup 389μs FpSemigroupInterface 023: is_obviously_finite (2/2) . . . 33μs FpSemigroupInterface 024: to_gap_string (1/3) . . .  -- with ToddCoxeter 35μs  -- with KnuthBendix 21μs  -- with FpSemigroup 90μs FpSemigroupInterface 025: to_gap_string (2/3) . . . 14μs FpSemigroupInterface 026: to_gap_string (3/3) . . . 29μs FroidurePin 015: (BMat8) regular boolean mat monoid 4 . . . 102ms FroidurePin 016: (BMat8) exception zero generators given . . . 20μs FroidurePin 017: (BMat8) exception word_to_element . . . 119μs FroidurePin 018: (BMat8) exception prefix . . . 2198μs FroidurePin 019: (BMat8) exception suffix . . . 18μs FroidurePin 020: (BMat8) exception first_letter . . . 2250μs FroidurePin 021: (BMat8) exception final_letter . . . 23μs FroidurePin 022: (BMat8) exception current_length . . . 2160μs FroidurePin 023: (BMat8) exception product_by_reduction . . . 2226μs FroidurePin 024: (BMat8) exception fast_product . . . 2428μs FroidurePin 025: (BMat8) exception is_idempotent . . . 59ms FroidurePin 026: (BMat8) copy constructor . . .  -- with fully enumerated 65ms  -- with partially enumerated 50ms  -- with not enumerated 47ms FroidurePin 027: (BMat8) cbegin/end_rules . . . 101μs FroidurePin 031: (integers) . . . 233μs FroidurePin 039: (pairs of integers) non-trivial user type . . . 57μs FroidurePin 055: (tropical max-plus semiring matrices) . . . 361μs FroidurePin 061: projective max plus matrix . . . 1345μs FroidurePin 062: projective max plus matrix . . . 41μs FroidurePin> 009: small example 2 . . . 96μs FroidurePin> 005: small example 1 . . . 213μs FroidurePin> 007: regular bmat monoid 4 . . . 91ms FroidurePin> 011: small example 3 . . . 647μs FroidurePin> 006: small example 1 . . . 245μs FroidurePin> 008: regular bmat monoid 4 . . . 108ms FroidurePin> 010: small example 2 . . . 63μs FroidurePin> 012: small example 3 . . . 788μs FroidurePin 000: small example 1 . . . 318μs FroidurePin 001: default constructed . . . 133μs FroidurePin 002: small example 2 . . . 53μs FroidurePin 004: exception: is_idempotent . . . 226μs FroidurePin> 033: Example 000 . . . 989μs FroidurePin> 035: Example 001 . . . 64μs FroidurePin> 032: Example 000 . . . 728μs FroidurePin> 034: Example 001 . . . 53μs FroidurePin 036: exception: current_position . . . 233μs FroidurePin 037: exception: word_to_element . . . 87μs FroidurePin 038: exception: prefix, suffix, first_letter . . . 28ms FroidurePin> 040: Example 000 . . . 126μs FroidurePin> 041: Example 000 . . . 113μs FroidurePin> 046: Example 005 . . . 217μs FroidurePin> 047: Example 005 . . . 232μs FroidurePin> 048: Example 005 . . . 232μs FroidurePin> 044: Example 004 . . . 60μs FroidurePin> 045: Example 004 . . . 69μs FroidurePin> 049: Example 006 . . . 1194μs FroidurePin> 050: Example 006 . . . 1407μs FroidurePin> 051: Example 006 . . . 1435μs FroidurePin> 052: Example 007 . . . 176μs FroidurePin> 053: Example 007 . . . 194μs FroidurePin> 054: Example 007 . . . 192μs FroidurePin 056: example 1 . . . 350μs FroidurePin 057: example 2 . . . 161μs FroidurePin> 058: . . . 834μs FroidurePin> 059: . . . 63μs FroidurePin> 060: exceptions: add_generator(s) . . . 84μs FroidurePin> 065: no exception zero generators given . . . 29μs FroidurePin> 066: exception generators of different [...] . . . 89μs FroidurePin> 067: exception current_position . . . 59μs FroidurePin> 068: exception word_to_element . . . 56μs FroidurePin> 069: exception gens . . . 687μs FroidurePin> 070: exception prefix . . . 34ms FroidurePin> 071: exception suffix . . . 89ms FroidurePin> 072: exception first_letter . . . 67μs FroidurePin> 073: exception final_letter . . . 56μs FroidurePin> 074: exception current_length . . . 56μs FroidurePin> 075: exception product_by_reduction . . . 581μs FroidurePin> 076: exception fast_product . . . 604μs FroidurePin> 077: exception current_position . . . 660μs FroidurePin> 078: exception is_idempotent . . . 751μs FroidurePin> 079: exception add_generators . . . 57μs FroidurePin> 080: multithread number_of_idempotents . . . 655μs FroidurePin> 081: small semigroup . . . 37μs FroidurePin> 082: large semigroup . . . 9124μs FroidurePin> 083: at, position, current_* . . . 9180μs FroidurePin> 084: run . . . 9063μs FroidurePin> 085: run [many stops and starts] . . . 9258μs FroidurePin> 086: factorisation, length [1 element] . . . 8840μs FroidurePin> 087: factorisation, products [all elements] . . . 12ms FroidurePin> 088: first/final letter, prefix, suffi [...] . . . 8923μs FroidurePin> 089: current_position [standard] . . . 29μs FroidurePin> 090: current_position [duplicate gens] . . . 16ms FroidurePin> 091: current_position [after add_generators] . . . 9088μs FroidurePin> 092: cbegin_idempotents/cend [1 thread] . . . 9882μs FroidurePin> 093: idempotent_cend/cbegin [1 thread] . . . 9783μs FroidurePin> 094: is_idempotent [1 thread] . . . 9926μs FroidurePin> 096: finished, started . . . 8944μs FroidurePin> 097: current_position . . . 1809μs FroidurePin> 098: sorted_position, sorted_at . . . 10ms FroidurePin> 099: right/left Cayley graph . . . 47ms FroidurePin> 100: iterator . . . 13ms FroidurePin> 101: reverse iterator . . . 13ms FroidurePin> 102: iterator arithmetic . . . 40ms FroidurePin> 103: iterator sorted . . . 46ms FroidurePin> 104: iterator sorted arithmetic . . . 46ms FroidurePin> 105: copy [not enumerated] . . . 9199μs FroidurePin> 106: copy_closure [not enumerated] . . . 50ms FroidurePin> 107: copy_add_generators [not enumerated] . . . 47ms FroidurePin> 108: copy [partly enumerated] . . . 9692μs FroidurePin> 109: copy_closure [partly enumerated] . . . 13ms FroidurePin> 110: copy_add_generators [partly enumerated] . . . 9853μs FroidurePin> 111: copy [fully enumerated] . . . 13ms FroidurePin> 112: copy_closure [fully enumerated] . . . 13ms FroidurePin> 113: copy_add_generators [fully enumerated] . . . 12ms FroidurePin> 114: relations [duplicate gens] . . . 235μs FroidurePin> 115: relations . . . 13ms FroidurePin> 116: relations [copy_closure, duplicat [...] . . . 14ms FroidurePin> 117: relations [copy_add_generators, d [...] . . . 14ms FroidurePin> 118: relations [from copy, not enumerated] . . . 10ms FroidurePin> 119: relations [from copy, partly enum [...] . . . 19ms FroidurePin> 120: relations [from copy, fully enumerated] . . . 19ms FroidurePin> 121: relations [from copy_closure, not [...] . . . 16ms FroidurePin> 122: relations [from copy_add_generato [...] . . . 10ms FroidurePin> 123: relations [from copy_closure, par [...] . . . 14ms FroidurePin> 124: relations [from copy_add_generato [...] . . . 13ms FroidurePin> 125: relations [from copy_closure, ful [...] . . . 17ms FroidurePin> 126: relations [from copy_add_generato [...] . . . 16ms FroidurePin> 127: add_generators [duplicate generators] . . . 372μs FroidurePin> 128: add_generators [incremental 1] . . . 399μs FroidurePin> 129: add_generators [incremental 2] . . . 521μs FroidurePin> 130: closure [duplicate generators] . . . 254μs FroidurePin> 131: closure . . . 97μs FroidurePin> 132: factorisation . . . 24μs FroidurePin> 134: minimal_factorisation . . . 66μs FroidurePin> 135: batch_size (for an extremely larg [...] . . . 23μs FroidurePin> 137: exception: generators of differen [...] . . . 32μs FroidurePin> 138: exception: current_position . . . 53μs FroidurePin> 139: exception: word_to_element . . . 55μs FroidurePin> 140: exception: gens, current_position . . . 876μs FroidurePin> 141: exception: add_generators . . . 36μs KBE 000: constructors . . . 103μs KBE 001: test . . . 149μs KBE 002: factorisation . . . 62μs KBE 003: swap . . . 40μs KBE 004: adapters . . . 35μs KBE 005: conversions . . . 37μs Kambites 000: (fpsemi) MT test 4 (std::string) . . . 9637μs Kambites 001: (fpsemi) MT test 4 (MultiStringView) . . . 9560μs Kambites 002: (fpsemi) number_of_pieces (std::string) . . . 177μs Kambites 003: (fpsemi) number_of_pieces (MultiStringView) . . . 165μs Kambites 004: (fpsemi) small_overlap_class (std::string) . . . 4524μs Kambites 005: (fpsemi) small_overlap_class (MultiStringView) . . . 4499μs Kambites 006: (fpsemi) random (std::string) . . . 13ms Kambites 007: (fpsemi) random (MultiStringView) . . . 13ms Kambites 008: (fpsemi) KnuthBendix 055 (std::string) . . . 24ms Kambites 009: (fpsemi) KnuthBendix 055 (MultiStringView) . . . 24ms Kambites 010: (fpsemi) smalloverlap/gap/test.gi:85 (std::string) . . . 117μs Kambites 011: (fpsemi) smalloverlap/gap/test.gi:85 (MultiStr [...] . . . 83μs Kambites 012: (fpsemi) free semigroup . . . 11μs Kambites 013: (fpsemi) smalloverlap/gap/test.gi:49 (std::string) . . . 53ms Kambites 014: (fpsemi) smalloverlap/gap/test.gi:49 (MultiStr [...] . . . 60ms Kambites 015: (fpsemi) smalloverlap/gap/test.gi:63 (std::string) . . . 56ms Kambites 016: (fpsemi) smalloverlap/gap/test.gi:63 (MultiStr [...] . . . 67ms Kambites 017: (fpsemi) smalloverlap/gap/test.gi:70 (std::string) . . . 219ms Kambites 018: (fpsemi) smalloverlap/gap/test.gi:70 (MultiStr [...] . . . 263ms Kambites 021: (fpsemi) code coverage (std::string) . . . 204μs Kambites 022: (fpsemi) code coverage (MultiStringView) . . . 91μs Kambites 023: (fpsemi) prefix (std::string) . . . 120μs Kambites 024: (fpsemi) prefix (MultiStringView) . . . 156μs Kambites 025: (fpsemi) normal_form (Example 3.15) (std::string) . . . 100μs Kambites 026: (fpsemi) normal_form (Example 3.15) (MultiStri [...] . . . 112μs Kambites 027: (fpsemi) normal_form (Example 3.16) (std::string) . . . 64μs Kambites 028: (fpsemi) normal_form (Example 3.16) (MultiStri [...] . . . 86μs Kambites 029: (fpsemi) normal_form (Example 3.16) more exhau [...] . . . 109ms Kambites 030: (fpsemi) normal_form (Example 3.16) more exhau [...] . . . 95ms Kambites 031: (fpsemi) small presentation (std::string) . . . 166μs Kambites 032: (fpsemi) small presentation (MultiStringView) . . . 63μs Kambites 033: (fpsemi) non-smalloverlap (std::string) . . . 106μs Kambites 034: (fpsemi) non-smalloverlap (MultiStringView) . . . 81μs Kambites 035: (fpsemi) MT test 3 (std::string) . . . 85μs Kambites 036: (fpsemi) MT test 3 (MultiStringView) . . . 66μs Kambites 037: (fpsemi) MT test 5 (std::string) . . . 30μs Kambites 038: (fpsemi) MT test 5 (MultiStringView) . . . 30μs Kambites 039: (fpsemi) MT test 6 (std::string) . . . 49μs Kambites 040: (fpsemi) MT test 6 (MultiStringView) . . . 53μs Kambites 041: (fpsemi) MT test 10 (std::string) . . . 43μs Kambites 042: (fpsemi) MT test 10 (MultiStringView) . . . 47μs Kambites 043: (fpsemi) MT test 13 (std::string) . . . 30μs Kambites 044: (fpsemi) MT test 13 (MultiStringView) . . . 33μs Kambites 045: (fpsemi) MT test 14 (std::string) . . . 30μs Kambites 046: (fpsemi) MT test 14 (MultiStringView) . . . 29μs Kambites 047: (fpsemi) MT test 15 (std::string) . . . 76μs Kambites 048: (fpsemi) MT test 15 (MultiStringView) . . . 56μs Kambites 049: (fpsemi) MT test 16 (std::string) . . . 60μs Kambites 050: (fpsemi) MT test 16 (MultiStringView) . . . 61μs Kambites 051: (fpsemi) MT test 17 (std::string) . . . 259μs Kambites 052: (fpsemi) MT test 17 (MultiStringView) . . . 135μs Kambites 053: (fpsemi) weak C(4) not strong x 1 (std::string) . . . 716μs Kambites 054: (fpsemi) weak C(4) not strong x 1 (MultiStringView) . . . 819μs Kambites 055: (fpsemi) weak C(4) not strong x 2 (std::string) . . . 695μs Kambites 056: (fpsemi) weak C(4) not strong x 2 (MultiStringView) . . . 834μs Kambites 057: (fpsemi) weak C(4) not strong x 3 (std::string) . . . 641μs Kambites 058: (fpsemi) weak C(4) not strong x 3 (MultiStringView) . . . 551μs Kambites 059: (fpsemi) weak C(4) not strong x 4 (std::string) . . . 91μs Kambites 060: (fpsemi) weak C(4) not strong x 4 (MultiStringView) . . . 119μs Kambites 061: (fpsemi) weak C(4) not strong x 5 (std::string) . . . 32μs Kambites 062: (fpsemi) weak C(4) not strong x 5 (MultiStringView) . . . 24μs Kambites 063: (fpsemi) weak C(4) not strong x 6 (std::string) . . . 60μs Kambites 064: (fpsemi) weak C(4) not strong x 6 (MultiStringView) . . . 57μs Kambites 065: (fpsemi) Konovalov example (std::string) . . . 36μs Kambites 066: (fpsemi) Konovalov example (MultiStringView) . . . 34μs Kambites 067: (fpsemi) long words (std::string) . . . 1811ms Kambites 068: (fpsemi) long words (MultiStringView) . . . 52ms Kambites 075: (cong) example 1 . . . 62μs Kambites 076: (cong) example 2 . . . 185μs Kambites 077: (cong) code coverage . . . 8763μs Kambites 078: (cong) large number of rules . . . 345ms KnuthBendix 000: (fpsemi) confluent fp semigroup 1 (infinite) . . . 263μs KnuthBendix 001: (fpsemi) confluent fp semigroup 2 (infinite) . . . 225μs KnuthBendix 002: (fpsemi) confluent fp semigroup 3 (infinite) . . . 101μs KnuthBendix 003: (fpsemi) non-confluent fp semigroup from wi [...] . . . 191μs KnuthBendix 004: (fpsemi) Example 5.1 in Sims (infinite) . . . 175μs KnuthBendix 005: (fpsemi) Example 5.1 in Sims (infinite) . . . 149μs KnuthBendix 006: (fpsemi) Example 5.3 in Sims . . . 137μs KnuthBendix 007: (fpsemi) Example 5.4 in Sims . . . 144μs KnuthBendix 008: (fpsemi) Example 6.4 in Sims (size 168) . . . 11ms KnuthBendix 009: (fpsemi) . . . 60ms KnuthBendix 010: (fpsemi) SL(2, 7) from Chapter 3, Propositi [...] . . . 114ms KnuthBendix 011: (fpsemi) F(2, 5) - Chapter 9, Section 1 in [...] . . . 531μs KnuthBendix 012: (fpsemi) Reinis example 1 . . . 233μs KnuthBendix 013: redundant_rule (std::string) . . . 100ms KnuthBendix 014: redundant_rule (word_type) . . . 10ms KnuthBendix 019: (fpsemi) C(4) monoid . . . 43μs KnuthBendix 020: (cong) Chinese monoid . . . 185μs KnuthBendix 021: (from kbmag/standalone/kb_data/f25monoid) . . . 615μs KnuthBendix 022: (from kbmag/standalone/kb_data/degen4a) . . . 55ms KnuthBendix 023: (from kbmag/standalone/kb_data/torus) . . . 3432μs KnuthBendix 024: (from kbmag/standalone/kb_data/3a6) . . . 342ms KnuthBendix 025: (from kbmag/standalone/kb_data/f2) . . . 69μs KnuthBendix 026: (from kbmag/standalone/kb_data/s16) . . . 183ms KnuthBendix 027: (from kbmag/standalone/kb_data/a4monoid) . . . 70μs KnuthBendix 028: (from kbmag/standalone/kb_data/degen3) . . . 27μs KnuthBendix 029: (from kbmag/standalone/kb_data/ab1) . . . 25μs KnuthBendix 030: (from kbmag/standalone/kb_data/degen2) . . . 17μs KnuthBendix 031: (from kbmag/standalone/kb_data/f25) . . . 521μs KnuthBendix 032: (from kbmag/standalone/kb_data/237) . . . 684μs KnuthBendix 033: (from kbmag/standalone/kb_data/c2) . . . 16μs KnuthBendix 034: (from kbmag/standalone/kb_data/cosets) . . . 235μs KnuthBendix 035: Example 5.1 in Sims (KnuthBendix 09 again) . . . 56μs KnuthBendix 036: (from kbmag/standalone/kb_data/nilp2) . . . 28μs KnuthBendix 037: Example 6.4 in Sims . . . 18ms KnuthBendix 038: KnuthBendix 071 again . . . 761μs KnuthBendix 039: Example 5.4 in Sims (KnuthBendix 11 again) [...] . . . 243μs KnuthBendix 040: Example 5.4 in Sims (KnuthBendix 11 again) [...] . . . 171μs KnuthBendix 041: operator<< . . . 64μs KnuthBendix 042: confluence_interval . . . 14μs KnuthBendix 043: max_overlap . . . 12μs KnuthBendix 044: (fpsemi) (from kbmag/standalone/kb_data/d22 [...] . . . 1748μs KnuthBendix 045: (fpsemi) (from kbmag/standalone/kb_data/d22 [...] . . . 2930μs KnuthBendix 046: (fpsemi) small example . . . 861μs KnuthBendix 047: code coverage . . . 77μs KnuthBendix 048: small overlap 1 . . . 44μs KnuthBendix 049: (from kbmag/standalone/kb_data/s9) . . . 1997μs KnuthBendix 050: (fpsemi) Chapter 11, Lemma 1.8 (q = 6, r = [...] . . . 684μs KnuthBendix 051: (fpsemi) Chapter 11, Section 2 (q = 6, r = [...] . . . 145μs KnuthBendix 052: (fpsemi) Chapter 8, Theorem 4.2 in NR (infinite) . . . 259μs KnuthBendix 053: (fpsemi) equal_to fp semigroup . . . 49μs KnuthBendix 054: (fpsemi) equal_to free semigroup . . . 61μs KnuthBendix 055: (fpsemi) from GAP smalloverlap gap/test.gi [...] . . . 514μs KnuthBendix 056: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 889μs KnuthBendix 057: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 879μs KnuthBendix 058: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 2465μs KnuthBendix 059: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 5887μs KnuthBendix 060: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 30μs KnuthBendix 061: (fpsemi) Von Dyck (2,3,7) group (infinite) . . . 633μs KnuthBendix 062: (fpsemi) Von Dyck (2,3,7) group - different [...] . . . 5694μs KnuthBendix 063: (fpsemi) rewriting system from KnuthBendixC [...] . . . 433μs KnuthBendix 064: (fpsemi) rewriting system from Congruence 20 . . . 30μs KnuthBendix 065: (fpsemi) (from kbmag/standalone/kb_data/ab2) . . . 108μs KnuthBendix 066: (fpsemi) (from kbmag/standalone/kb_data/d22 [...] . . . 1819μs KnuthBendix 067: (fpsemi) (from kbmag/standalone/kb_data/degen1) . . . 71μs KnuthBendix 068: (fpsemi) (from kbmag/standalone/kb_data/s4) . . . 382μs KnuthBendix 069: (fpsemi) fp semigroup (infinite) . . . 50μs KnuthBendix 070: (fpsemi) Chapter 11, Section 1 (q = 4, r = [...] . . . 2154μs KnuthBendix 071: (fpsemi) Chapter 11, Section 1 (q = 8, r = [...] . . . 132ms KnuthBendix 072: (fpsemi) Chapter 7, Theorem 3.9 in NR (size 240) . . . 4353μs KnuthBendix 073: (fpsemi) F(2, 5) - Chapter 9, Section 1 in [...] . . . 543μs KnuthBendix 074: (fpsemi) F(2, 6) - Chapter 9, Section 1 in NR . . . 583μs KnuthBendix 075: (fpsemi) Chapter 10, Section 4 in NR (infinite) . . . 1133μs KnuthBendix 076: (fpsemi) Sym(5) from Chapter 3, Proposition [...] . . . 3584μs KnuthBendix 077: (fpsemi) SL(2, 7) from Chapter 3, Propositi [...] . . . 113ms KnuthBendix 078: (fpsemi) bicyclic monoid (infinite) . . . 57μs KnuthBendix 079: (fpsemi) plactic monoid of degree 2 (infinite) . . . 78μs KnuthBendix 080: (fpsemi) example before Chapter 7, Proposit [...] . . . 66μs KnuthBendix 081: (fpsemi) Chapter 7, Theorem 3.6 in NR (size 243) . . . 937μs KnuthBendix 082: (fpsemi) finite semigroup (size 99) . . . 292μs KnuthBendix 096: Sorouhesh . . . 445μs KnuthBendix 097: (fpsemi) transformation semigroup (size 4) . . . 109μs KnuthBendix 098: (fpsemi) transformation semigroup (size 9) . . . 70μs KnuthBendix 099: (fpsemi) transformation semigroup (size 88) . . . 849μs KnuthBendix 100: internal_string_to_word . . . 39μs KnuthBendix 101: (fpsemi) construct from shared_ptr . . . 965μs KnuthBendix 102: internal_string_to_word . . . 1274μs KnuthBendix 103: (cong) free semigroup congruence (5 classes) . . . 91μs KnuthBendix 104: free semigroup congruence (6 classes) . . . 426μs KnuthBendix 105: (cong) free semigroup congruence (16 classes) . . . 582μs KnuthBendix 106: (cong) free semigroup congruence (6 classes) . . . 953μs KnuthBendix 107: (cong) free semigroup congruence (240 classes) . . . 4741μs KnuthBendix 108: (cong) free semigroup congruence (240 classes) . . . 4240μs KnuthBendix 109: (cong) less . . . 5105μs KnuthBendix 110: (cong) less . . . 243ms KnuthBendix 111: (cong) constructors . . . 388ms KnuthBendix 112: (cong) const_contains/contains . . . 233μs KnuthBendix 113: (cong) is_quotient_obviously_finite . . . 22μs KnuthBendix 114: (cong) class_index_to_word . . . 261μs KnuthBendix 115: (cong) quotient_froidure_pin . . . 170μs KnuthBendix 116: (cong) set_number_of_generators . . . 30μs KnuthBendix 117: (cong) number of classes when obv-inf . . . 43μs KnuthBendixCongruenceByPairs 016: non-trivial congruence on [...] . . . 290μs KnuthBendixCongruenceByPairs 017: non-trivial congruence on [...] . . . 305μs KnuthBendixCongruenceByPairs 018: non-trivial congruence on [...] . . . 643μs KnuthBendixCongruenceByPairs 019: non-trivial congruence on [...] . . . 644μs KnuthBendixCongruenceByPairs 020: trivial congruence on a fi [...] . . . 277μs KnuthBendixCongruenceByPairs 021: universal congruence on a [...] . . . 807μs KnuthBendixCongruenceByPairs 022: left congruence on a finit [...] . . . 396μs KnuthBendixCongruenceByPairs 023: finite group, Chapter 11, [...] . . . 6163μs KnuthBendixCongruenceByPairs 024: right congruence on infini [...] . . . 461μs KnuthBendixCongruenceByPairs 025: finite fp semigroup, dihed [...] . . . 531μs KnuthBendixCongruenceByPairs 026: finite fp semigroup, size 16 . . . 588μs KnuthBendixCongruenceByPairs 027: finite fp semigroup, size 16 . . . 1677μs KnuthBendixCongruenceByPairs 028: infinite fp semigroup with [...] . . . 82μs Konieczny 000: test000> . . . 1594μs Konieczny 001: test000> . . . 1161μs Konieczny 002: test001> . . . 13ms Konieczny 003: test001> . . . 11ms Konieczny 006: exceptions . . . 58μs Konieczny 007: code coverage . . . 16ms Konieczny 008: code coverage . . . 14ms Konieczny 009: regular elements and idempotents . . . 233ms Konieczny 010: regular D-class 01 . . . 1209μs Konieczny 011: regular D-class 02 . . . 10ms Konieczny 012: regular D-class 04: contains . . . 37ms Konieczny 013: non-regular D-classes 01 . . . 1251μs Konieczny 014: RegularDClass . . . 781μs Konieczny 015: full bmat monoid 4 . . . 47ms Konieczny 017: regular generated bmat monoid 4 idempotents . . . 73ms Konieczny 019: my favourite example . . . 105ms Konieczny 020: another large example . . . 19ms Konieczny 021: my favourite example transposed . . . 86ms Konieczny 024: exceptions . . . 1375μs Konieczny 025: 0-parameter constructor . . . 22ms Konieczny 026: non-regular D-classes 02 . . . 12ms Konieczny 028: partial perm . . . 190ms Konieczny 029: symmetric inverse monoid n = 8 . . . 35ms Konieczny 030: exceptions . . . 249ms Konieczny 031: transformations . . . 1338μs Konieczny 032: transformations - JDM favourite example . . . 139ms Konieczny 033: transformations - large example . . . 358ms Konieczny 034: transformations - large example with stop . . . 364ms Konieczny 035: transformations - large example with run_until . . . 362ms Konieczny 036: transformations - large example with stop in Action . . . 364ms Konieczny 037: exceptions . . . 75μs Konieczny 038: transformations: contains . . . 809μs Konieczny 040: transformations - destructor coverage . . . 268ms Konieczny 041: current_number_D_classes . . . 274ms Konieczny 042: add_generator . . . 52μs Konieczny 043: add_generator . . . 25μs Matrix 000: BMat<2> . . . 125μs Matrix 001: BMat<> . . . 113μs Matrix 002: BMat<3> + BMat<> . . . 19μs Matrix 003: BMat<2> + BMat<> . . . 15μs Matrix 004: BMat<3> . . . 11μs Matrix 005: BMat<> . . . 21μs Matrix 006: BMat<3> row_basis . . . 62μs Matrix 007: BMat<> row_basis . . . 63μs Matrix 008: IntMat<3> . . . 13μs Matrix 009: IntMat<> . . . 36μs Matrix 010: IntMat code cov . . . 8000ns Matrix 011: MaxPlusMat<3> . . . 13μs Matrix 012: MaxPlusMat<> . . . 23μs Matrix 013: MaxPlusMat code cov . . . 5000ns Matrix 014: MinPlusMat<3> . . . 15μs Matrix 015: MinPlusMat<> . . . 38μs Matrix 016: MinPlusMat code cov . . . 5000ns Matrix 017: MaxPlusTruncMat<5, 2> . . . 23μs Matrix 018: MaxPlusTruncMat<5> . . . 29μs Matrix 019: MaxPlusTruncMat<> . . . 53μs Matrix 020: MaxPlusTruncMat<5, 4> . . . 30μs Matrix 021: MaxPlusTruncMat<5> . . . 30μs Matrix 022: MaxPlusTruncMat<> . . . 27μs Matrix 023: MaxPlusTruncMat<33, 3> . . . 42μs Matrix 024: MaxPlusTruncMat<33> . . . 46μs Matrix 025: MaxPlusTruncMat<> . . . 51μs Matrix 026: MaxPlusMat code cov . . . 6000ns Matrix 027: MinPlusTruncMat<33, 3> . . . 39μs Matrix 028: MinPlusTruncMat<33> . . . 53μs Matrix 029: MinPlusTruncMat<> . . . 67μs Matrix 030: NTPMat<0, 3, 3, 3> . . . 15μs Matrix 031: NTPMat<0, 3> . . . 23μs Matrix 032: NTPMat<> . . . 58μs Matrix 033: NTPMat<0, 10, 4, 4> . . . 31μs Matrix 034: NTPMat<0, 10> . . . 32μs Matrix 035: NTPMat<> . . . 25μs Matrix 036: NTPMat<0, 10, 4, 4> . . . 21μs Matrix 037: NTPMat<0, 10> . . . 22μs Matrix 038: NTPMat<> . . . 21μs Matrix 039: NTPMat<33, 2, 3, 3> . . . 14μs Matrix 040: NTPMat<33, 2> . . . 16μs Matrix 041: NTPMat<> . . . 19μs Matrix 042: ProjMaxPlusMat<3> . . . 129μs Matrix 043: ProjMaxPlusMat<> . . . 112μs Matrix 044: exceptions . . . 56μs Matrix 045: code coverage . . . 45μs MultiStringView 000: catch all . . . 68μs MultiStringView 001: is_prefix . . . 18μs MultiStringView 002: erase . . . 18μs MultiStringView 003: iterators . . . 9000ns MultiStringView 004: constructors (long) . . . 46μs MultiStringView 005: constructors (short) . . . 29μs MultiStringView 006: copy assignment (short assigned to long) . . . 15μs MultiStringView 007: copy assignment (short assigned to short) . . . 17μs MultiStringView 008: move assignment (short assigned to long) . . . 16μs MultiStringView 009: move assignment (short assigned to short) . . . 13μs MultiStringView 010: code coverage . . . 23μs MultiStringView 011: pop_front . . . 47μs MultiStringView 012: append . . . 16μs MultiStringView 013: operators . . . 14μs MultiStringView 014: maximum_common_suffix . . . 16μs MultiStringView 015: deep tests . . . 8000ns ObviouslyInfinite 011: Multiple rule additions . . . 75μs ObviouslyInfinite 012: A power of the generator 'b' does not [...] . . . 10μs ObviouslyInfinite 013: Preserves the number of occurrences o [...] . . . 10μs ObviouslyInfinite 014: Less relations than generators . . . 9000ns ObviouslyInfinite 015: Relations preserve length . . . 9000ns ObviouslyInfinite 016: Matrix has non empty kernel . . . 11μs ObviouslyInfinite 017: Free product of trivial semigroups . . . 22μs ObviouslyInfinite 018: Another free product . . . 13μs ObviouslyInfinite 019: Infinite but not obviously so . . . 10μs ObviouslyInfinite 020: Finite semigroup . . . 13μs PBR 001: universal product with convenience constructor . . . 80μs PBR 002: universal product . . . 19μs PBR 003: product [bigger than previous] . . . 35μs PBR 004: hash . . . 8000ns PBR 005: delete/copy . . . 26μs PBR 006: exceptions . . . 215μs PBR 007: operators . . . 76μs PBR 008: to_string . . . 22μs PBR 009: identity . . . 49μs PBR 010: adapters . . . 7000ns Pool 000: initial . . . 31μs Pool 001: bmat . . . 39μs Pool 002: PoolGuard . . . 24μs Pool 003: transformation products . . . 16μs Presentation 000: vectors of ints . . . 131μs Presentation 001: strings . . . 100μs Presentation 002: constructors (word_type) . . . 31μs Presentation 003: constructors (StaticVector1) . . . 51μs Presentation 004: constructors (std::string) . . . 32μs Presentation 005: alphabet + letters (word_type) . . . 179μs Presentation 006: alphabet + letters (std::string) . . . 49μs Presentation 007: contains_empty_word . . . 12μs Presentation 008: validate_rules throws . . . 62μs Presentation 009: helpers add_rule(s) . . . 124μs Presentation 010: helpers add_rule(s) (std::string) . . . 38μs Presentation 011: helpers add_identity_rules (std::vector/St [...] . . . 64μs Presentation 012: helpers add_identity_rules (std::string) . . . 32μs Presentation 013: helpers add_inverse_rules (all) . . . 266μs Presentation 014: helpers add_inverse_rules (std::string) . . . 25μs Presentation 015: helpers remove_duplicate_rules . . . 93μs Presentation 016: helpers reduce_complements . . . 178μs Presentation 017: helpers sort_each_rule . . . 70μs Presentation 018: helpers sort_rules . . . 78μs Presentation 019: helpers longest_common_subword/replace_subword . . . 357μs Presentation 020: helpers redundant_rule . . . 8742μs Presentation 021: helpers shortlex_compare_concat . . . 10μs Presentation 022: helpers remove_trivial_rules . . . 91μs Presentation 023: helpers replace_subword (existing, replacement) . . . 76μs Presentation 024: helpers longest_rule . . . 145μs Presentation 025: helpers longest_rule_length . . . 124μs Presentation 026: helpers remove_redundant_generators . . . 122μs Presentation 027: helpers reverse . . . 29μs Presentation 028: in_alphabet . . . 34μs Presentation 029: replace_subword with empty word . . . 24μs Presentation 030: helpers replace_word . . . 37μs Presentation 031: clear . . . 9000ns Presentation 032: letter . . . 82μs Presentation 033: normalize_alphabet . . . 17μs Presentation 034: longest_common_subword issue . . . 412μs Presentation 035: helpers add_zero_rules (std::vector/Static [...] . . . 63μs Presentation 036: helpers add_zero_rules (std::string) . . . 31μs Presentation 037: make_semigroup . . . 50μs Presentation 038: greedy_reduce_length . . . 250μs Presentation 039: aaaaaaaab = aaaaaaaaab strong compression . . . 68μs Presentation 040: change_alphabet . . . 103μs Presentation 041: sort_rules bug . . . 286μs Presentation 042: first_unused_letter/letter . . . 203μs Presentation 043: case where strong compression doesn't work . . . 32μs Presentation 044: proof that . . . 48μs Presentation 045: decompression . . . 18μs Race 001: run_for . . . 10ms Race 002: run_until . . . 10ms Race 003: exceptions . . . 10ms Race 004: iterators . . . 12μs Race 005: find_runner . . . 14μ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 . . . 1013μs Runner 005: run_until . . . 101ms Runner 006: kill . . . 10μs Runner 007: copy constructor . . . 10ms Runner 008: report . . . 20ms Runner 009: run_until with function pointer . . . 13μs SchreierSims 001: trivial perm. group (degree 1) . . . 18μs SchreierSims 002: trivial perm. group (degree 2) . . . 17μs SchreierSims 003: trivial perm. group (degree 500) . . . 101μs SchreierSims 004: symmetric perm. group (degree 5) . . . 39μs SchreierSims 005: symmetric perm. group (degree 8) . . . 80μs SchreierSims 006: symmetric perm. group (degree 9) . . . 69μs SchreierSims 007: alternating perm. group (degree 12) . . . 105μs SchreierSims 008: symmetric perm. group (degree 16) . . . 3537μs SchreierSims 009: alternating perm. group (degree 15) . . . 380μs SchreierSims 010: alternating perm. group (degree 16) . . . 3924μs SchreierSims 011: dihedral perm. group (order 10) . . . 14μs SchreierSims 012: dihedral perm. group (order 200) . . . 977μs SchreierSims 013: perm. group T (order 12) . . . 15μs SchreierSims 014: quaternion perm. group (order 8) . . . 20μs SchreierSims 015: perm. group (order 84129611558952960) . . . 278ms SchreierSims 016: perm. group SL(3, 5) (order 372000) . . . 1339μs SchreierSims 017: perm. group PSL(4, 8) (order 34558531338240) . . . 116ms SchreierSims 018: perm. Mathieu group M11 (order 7920) . . . 132μs SchreierSims 019: perm. Mathieu group M24 (order 244823040) . . . 262μs SchreierSims 020: perm. Janko Group J1 (order 175560) . . . 2538μs SchreierSims 021: perm. Hall-Janko group (order 604800) . . . 471μs SchreierSims 022: perm. Hall-Janko group (alt.) (order 604800) . . . 25ms SchreierSims 023: perm. Conway group Co3 (order 495766656000) . . . 7738μs SchreierSims 024: perm. Conway group Co3 (alt.) (order 49576 [...] . . . 17ms SchreierSims 025: perm. Suzuki group (order 448345497600) . . . 86ms SchreierSims 027: perm. Held group (order 4030387200) . . . 158ms SchreierSims 028: perm. group C2 x C2 x C2 (order 8) . . . 57μs SchreierSims 029: perm. group C2 x C2 x C2 x C2 (order 16) . . . 66μs SchreierSims 030: perm. group (S5 x S5) : C2 (order 28800) . . . 98μs SchreierSims 031: perm. group C3 x D8 x A5 (order 1440) . . . 99μs SchreierSims 032: perm. group GL(4, 3) (order 24261120) . . . 947μs SchreierSims 033: perm. group PSL(3, 7) (order 1876896) . . . 857μs SchreierSims 037: symmetric perm. group (degree 5) . . . 51μs SchreierSims 038: alternating perm. group (degree 17) . . . 4119μs SchreierSims 039: exceptions . . . 123μs SchreierSims 040: exceptions . . . 60μs SchreierSims 041: trivial group . . . 55μs SchreierSims 042: A17 bug . . . 3537μs SchreierSims 043: orbits_lookup test . . . 732μs SchreierSims 044: transversal_element and inversal_element test . . . 1737μs SchreierSimsHelper 001: trivial perm. group intersection (de [...] . . . 27μs SchreierSimsHelper 002: trivial perm. group intersection (de [...] . . . 37μs SchreierSimsHelper 003: cyclic group intersection (degree 13) . . . 62μs SchreierSimsHelper 004: D10 and Z5 intersection . . . 63μs SchreierSimsHelper 005: D8 and Q8 intersection . . . 47μs SchreierSimsHelper 006: primitive on 8 points intersection . . . 423μs SchreierSimsHelper 007: primitive on 8 points intersection ( [...] . . . 250μs SchreierSimsHelper 008: A13 and PGL(2, 11) intersection . . . 653μs SchreierSimsHelper 009: A13 and PGL(2, 11) intersection (swa [...] . . . 654μs SchreierSimsHelper 012: 3^3:13 and 3^3.2.A(4) intersection . . . 252μs SchreierSimsHelper 015: 3^3(S(4) x 2) and ASL(3, 3) intersection . . . 467μs SchreierSimsHelper 016: 7^2:3 x Q(8) and 7^2:D(2*6) intersection . . . 598μs SchreierSimsHelper 018: D(2*53) and 53:13 intersection . . . 342μs SchreierSimsHelper 019: 2^6:(7 x D_14) and PSL(2, 6)^2.4 int [...] . . . 2552μs SchreierSimsHelper 020: 2^6:(S_3 x GL(3, 2)) and 2.6:Alt(7) [...] . . . 7967μs SchreierSimsHelper 022: PSL(2, 127) and AGL(1, 2^7) intersection . . . 13ms SchreierSimsHelper 023: PSL(3, 4).2 and PSL(3, 4).2 (nontriv [...] . . . 2318μs SchreierSimsHelper 024: PSL(3, 4).Sym(3) and PSL(3, 4).2 int [...] . . . 3186μs SchreierSimsHelper 025: 3^4:5:4 and D_16:4 intersection . . . 1478μs Sims1 000: fp example 1 . . . 1386μs Sims1 001: fp example 2 . . . 3028μs Sims1 002: ToddCoxeter failing example . . . 32ms Sims1 003: ToddCoxeter failing example . . . 1350μs Sims1 004: partition_monoid(2) right . . . 10ms Sims1 006: full_transformation_monoid(3) right . . . 11ms Sims1 007: full_transformation_monoid(3) left . . . 6647μs Sims1 009: rook_monoid(2, 1) . . . 135μs Sims1 010: symmetric_inverse_monoid(2) from FroidurePin . . . 157μs Sims1 011: symmetric_inverse_monoid(3) . . . 11ms Sims1 014: temperley_lieb_monoid(3) from presentation . . . 94μs Sims1 015: temperley_lieb_monoid(4) from presentation . . . 1284μs Sims1 016: fp semigroup containing given pairs #1 . . . 436μs Sims1 017: fp semigroup containing given pairs #2 . . . 444μs Sims1 018: fp semigroup containing given pairs #3 . . . 782μs Sims1 019: ToddCoxeter failing example . . . 1567μs Sims1 020: fp example 2 . . . 3102μs Sims1 021: exceptions . . . 281μs Sims1 027: from https://mathoverflow.net/questions/423541/ . . . 51ms Sims1 028: from https://mathoverflow.net/questions/423541/ . . . 38ms Sims1 030: presentation with one free generator . . . 385μs Sims1 031: presentation with non-zero index generators . . . 73μs Sims1 032: presentation with empty word . . . 18ms Sims1 033: constructors . . . 2420μs Sims1 034: split_at . . . 423μs Sims1 035: stats . . . 112μs Sims1 036: check iterator requirements . . . 187μs Sims1 040: TransitiveGroup(10, 32) - minimal rep . . . 5297μs Sims1 043: rectangular_band(2, 2) - with and without identity . . . 270μs Sims1 044: trivial group - minimal o.r.c. rep . . . 105μs Sims1 045: right zero semigroup - minimal o.r.c. rep . . . 2311μs Sims1 046: semigroup with faithful non-strictly cyclic actio [...] . . . 794μs Sims1 068: RepOrc . . . 30ms Sims1 069: fp example 1 . . . 913μ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 2944μs (537ns 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 . . . 3125μs Sims1 072: symmetric_group(n) for n = 4 . . . 1521μs Sims1 073: corner case no generators + no relations . . . 100μs Sims1 076: uninitialized RepOrc . . . 27μs SmallestInteger 001: . . . 8000ns StaticTriVector2 045: all . . . 18μs StaticVector2 043: all . . . 17μs Stephen 000: basic test 1 . . . 343μs Stephen 001: basic test 2 . . . 215μs Stephen 002: full transf monoid . . . 19ms Stephen 003: from step_hen 002 . . . 80μs Stephen 004: from step_hen 003 . . . 211μs Stephen 005: from step_hen 004 . . . 42μs Stephen 006: from step_hen 005 . . . 114μs Stephen 008: C(4) monoid normal form (test_case_knuth_bendix_055) . . . 200μs Stephen 009: C(4) monoid normal form (test_case_gap_smallove [...] . . . 116μs Stephen 010: code coverage . . . 278μs Stephen 011: C(4) monoid normal form (test_case_gap_smallove [...] . . . 306μs Stephen 012: C(4) monoid normal form (test_case_gap_smallove [...] . . . 231μs Stephen 013: C(4) monoid equal to (test_case_gap_smalloverlap_70) . . . 90μs Stephen 014: C(4) monoid normal form (test_case_ex_3_13_14) . . . 440μs Stephen 015: C(4) monoid normal form (test_case_ex_3_15) . . . 479μs Stephen 016: C(4) monoid normal form (test_case_ex_3_16) . . . 414μs Stephen 017: C(4) monoid normal form (test_case_mt_3) . . . 189μs Stephen 018: C(4) monoid normal form (test_case_mt_5) . . . 119μs Stephen 019: C(4) monoid normal form (test_case_mt_6) . . . 342μs Stephen 020: C(4) monoid normal form (test_case_mt_10) . . . 134μs Stephen 021: C(4) monoid normal form (test_case_mt_13) . . . 104μs Stephen 022: C(4) monoid normal form (test_case_mt_14) . . . 97μs Stephen 023: C(4) monoid normal form (test_case_mt_15) . . . 103μs Stephen 024: C(4) monoid normal form (test_case_mt_16) . . . 119μs Stephen 025: C(4) monoid normal form (test_case_mt_17) . . . 337μs Stephen 026: C(4) monoid normal form (test_case_weak_1) . . . 308μs Stephen 027: C(4) monoid normal form (test_case_weak_2) . . . 205μs Stephen 028: C(4) monoid normal form (test_case_weak_3) . . . 282μs Stephen 029: C(4) monoid normal form (test_case_weak_4) . . . 272μs Stephen 030: C(4) monoid normal form (test_case_weak_5) . . . 135μs Stephen 031: Test behaviour when uninitialised . . . 275μs Suf 005: unite . . . 39μs Suf 007: compress . . . 12μs Suf 011: big chain . . . 17ms Suf 013: empty table . . . 7000ns Suf 015: join . . . 13μs Suf 017: contains . . . 33μs Suf 019: swap . . . 36μs Timer 001: string method (1 argument) . . . 36μs Timer 002: string method (0 arguments) . . . 10ms Timer 003: reset/elapsed method . . . 20ms Timer 004: operator<< . . . 8000ns ToddCoxeter 000: small 2-sided congruence . . .  -- with HLT + no standardise + full lookahead + no save 1637μs  -- with HLT + standardise + full lookahead + no save 1402μs  -- with HLT + no standardise + partial lookahead + no save 1382μs  -- with HLT + standardise + partial lookahead + no save 1381μs  -- with HLT + no standardise + full lookahead + save 1429μs  -- with HLT + standardise + full lookahead + save 1404μs  -- with HLT + no standardise + partial lookahead + save 1407μs  -- with HLT + standardise + partial lookahead + save 1401μs  -- with Felsch + no standardisation 1399μs  -- with Felsch + standardisation 1387μs  -- with random strategy 1417μs  -- with Rc style + full lookahead 1395μs  -- with Rc style + partial lookahead 1379μs  -- with R/C style 1386μs  -- with CR style 1394μs  -- with Cr style 1397μs ToddCoxeter 001: small 2-sided congruence . . .  -- with HLT + no standardise + full lookahead + no save 6676μs  -- with HLT + standardise + full lookahead + no save 6630μs  -- with HLT + no standardise + partial lookahead + no save 6616μs  -- with HLT + standardise + partial lookahead + no save 6613μs  -- with HLT + no standardise + full lookahead + save 6634μs  -- with HLT + standardise + full lookahead + save 6616μs  -- with HLT + no standardise + partial lookahead + save 6636μs  -- with HLT + standardise + partial lookahead + save 6606μs  -- with Felsch + no standardisation 6604μs  -- with Felsch + standardisation 6622μs  -- with random strategy 6611μs  -- with Rc style + full lookahead 6629μs  -- with Rc style + partial lookahead 6571μs  -- with R/C style 6498μs  -- with CR style 6515μs  -- with Cr style 6491μs ToddCoxeter 003: constructed from FroidurePin . . .  -- with Felsch + no standardisation 378ms  -- with Felsch + standardisation 379ms  -- with HLT + no standardise + full lookahead + no save 113ms  -- with HLT + standardise + full lookahead + no save 112ms  -- with HLT + no standardise + partial lookahead + no save 113ms  -- with HLT + standardise + partial lookahead + no save 113ms  -- with HLT + no standardise + full lookahead + save 394ms  -- with HLT + standardise + full lookahead + save 394ms  -- with HLT + no standardise + partial lookahead + save 393ms  -- with HLT + standardise + partial lookahead + save 394ms  -- with random strategy 309ms  -- with Rc style + full lookahead 385ms  -- with Rc style + partial lookahead 385ms  -- with R/C style 126ms  -- with CR style 385ms  -- with Cr style 384ms ToddCoxeter 004: 2-sided congruence from FroidurePin . . .  -- with HLT + no standardise + full lookahead + no save 381μs  -- with HLT + standardise + full lookahead + no save 247μs  -- with HLT + no standardise + partial lookahead + no save 229μs  -- with HLT + standardise + partial lookahead + no save 238μs  -- with HLT + save (throws) 334μs  -- with Felsch (throws) 259μs  -- with random strategy 259μs ToddCoxeter 005: non-trivial two-sided from relations . . .  -- with HLT + no standardise + full lookahead + no save 77μs  -- with HLT + standardise + full lookahead + no save 46μs  -- with HLT + no standardise + partial lookahead + no save 42μs  -- with HLT + standardise + partial lookahead + no save 41μs  -- with HLT + no standardise + full lookahead + save 68μs  -- with HLT + standardise + full lookahead + save 54μs  -- with HLT + no standardise + partial lookahead + save 50μs  -- with HLT + standardise + partial lookahead + save 51μs  -- with Felsch + no standardisation 47μs  -- with Felsch + standardisation 47μs  -- with random strategy 52μs  -- with Rc style + full lookahead 48μs  -- with Rc style + partial lookahead 44μs  -- with R/C style 47μs  -- with CR style 50μs  -- with Cr style 48μs ToddCoxeter 006: small right cong. on free semigroup . . .  -- with HLT + no standardise + full lookahead + no save 45μs  -- with HLT + standardise + full lookahead + no save 39μs  -- with HLT + no standardise + partial lookahead + no save 34μs  -- with HLT + standardise + partial lookahead + no save 36μs  -- with HLT + no standardise + full lookahead + save 43μs  -- with HLT + standardise + full lookahead + save 39μs  -- with HLT + no standardise + partial lookahead + save 38μs  -- with HLT + standardise + partial lookahead + save 38μs  -- with Felsch + no standardisation 38μs  -- with Felsch + standardisation 40μs  -- with random strategy 42μs  -- with Rc style + full lookahead 36μs  -- with Rc style + partial lookahead 35μs  -- with R/C style 36μs  -- with CR style 40μs  -- with Cr style 40μs ToddCoxeter 007: left cong. on free semigroup . . .  -- with HLT + no standardise + full lookahead + no save 60μs  -- with HLT + standardise + full lookahead + no save 41μs  -- with HLT + no standardise + partial lookahead + no save 39μs  -- with HLT + standardise + partial lookahead + no save 39μs  -- with HLT + no standardise + full lookahead + save 45μs  -- with HLT + standardise + full lookahead + save 44μs  -- with HLT + no standardise + partial lookahead + save 44μs  -- with HLT + standardise + partial lookahead + save 44μs  -- with Felsch + no standardisation 43μs  -- with Felsch + standardisation 49μs  -- with random strategy 50μs  -- with Rc style + full lookahead 45μs  -- with Rc style + partial lookahead 45μs  -- with R/C style 48μs  -- with CR style 50μs  -- with Cr style 51μs ToddCoxeter 008: for small fp semigroup . . .  -- with HLT + no standardise + full lookahead + no save 45μs  -- with HLT + standardise + full lookahead + no save 36μs  -- with HLT + no standardise + partial lookahead + no save 34μs  -- with HLT + standardise + partial lookahead + no save 43μs  -- with HLT + no standardise + full lookahead + save 41μs  -- with HLT + standardise + full lookahead + save 40μs  -- with HLT + no standardise + partial lookahead + save 39μs  -- with HLT + standardise + partial lookahead + save 38μs  -- with Felsch + no standardisation 38μs  -- with Felsch + standardisation 38μs  -- with random strategy 43μs  -- with Rc style + full lookahead 38μs  -- with Rc style + partial lookahead 38μs  -- with R/C style 38μs  -- with CR style 41μs  -- with Cr style 43μs ToddCoxeter 009: 2-sided cong. trans. semigroup . . .  -- with HLT + no standardise + full lookahead + no save 397μs  -- with HLT + standardise + full lookahead + no save 319μs  -- with HLT + no standardise + partial lookahead + no save 295μs  -- with HLT + standardise + partial lookahead + no save 296μs  -- with HLT + no standardise + full lookahead + save 784μs  -- with HLT + standardise + full lookahead + save 774μs  -- with HLT + no standardise + partial lookahead + save 766μs  -- with HLT + standardise + partial lookahead + save 775μs  -- with Felsch + no standardisation 669μs  -- with Felsch + standardisation 692μs  -- with random strategy 350μs  -- with Rc style + full lookahead 334μs  -- with Rc style + partial lookahead 321μs  -- with R/C style 339μs  -- with CR style 688μs  -- with Cr style 695μs ToddCoxeter 010: left congruence on transformation semigroup . . .  -- with HLT + no standardise + full lookahead + no save 340μs  -- with HLT + standardise + full lookahead + no save 340μs  -- with HLT + no standardise + partial lookahead + no save 315μs  -- with HLT + standardise + partial lookahead + no save 330μs  -- with HLT + no standardise + full lookahead + save 803μs  -- with HLT + standardise + full lookahead + save 802μs  -- with HLT + no standardise + partial lookahead + save 781μs  -- with HLT + standardise + partial lookahead + save 788μs  -- with Felsch + no standardisation 670μs  -- with Felsch + standardisation 655μs  -- with random strategy 868μs  -- with Rc style + full lookahead 377μs  -- with Rc style + partial lookahead 368μs  -- with R/C style 432μs  -- with CR style 720μs  -- with Cr style 715μs ToddCoxeter 011: right cong. trans. semigroup . . .  -- with HLT + no standardise + full lookahead + no save 351μs  -- with HLT + standardise + full lookahead + no save 343μs  -- with HLT + no standardise + partial lookahead + no save 324μs  -- with HLT + standardise + partial lookahead + no save 341μs  -- with HLT + no standardise + full lookahead + save 758μs  -- with HLT + standardise + full lookahead + save 772μs  -- with HLT + no standardise + partial lookahead + save 752μs  -- with HLT + standardise + partial lookahead + save 780μs  -- with Felsch + no standardisation 573μs  -- with Felsch + standardisation 616μs  -- with random strategy 409μs  -- with Rc style + full lookahead 394μs  -- with Rc style + partial lookahead 382μs  -- with R/C style 448μs  -- with CR style 623μs  -- with Cr style 629μs ToddCoxeter 012: trans. semigroup (size 88) . . .  -- with HLT + no standardise + full lookahead + no save 185μs  -- with HLT + standardise + full lookahead + no save 164μs  -- with HLT + no standardise + partial lookahead + no save 167μs  -- with HLT + standardise + partial lookahead + no save 162μs  -- with HLT + save (throws) 184μs  -- with Felsch (throws) 173μs  -- with random strategy 183μs ToddCoxeter 013: left cong. on trans. semigroup (size 88) . . .  -- with HLT + no standardise + full lookahead + no save 280μs  -- with HLT + standardise + full lookahead + no save 274μs  -- with HLT + no standardise + partial lookahead + no save 256μs  -- with HLT + standardise + partial lookahead + no save 266μs  -- with HLT + no standardise + full lookahead + save 733μs  -- with HLT + standardise + full lookahead + save 740μs  -- with HLT + no standardise + partial lookahead + save 723μs  -- with HLT + standardise + partial lookahead + save 736μs  -- with Felsch + no standardisation 616μs  -- with Felsch + standardisation 596μs  -- with random strategy 341μs  -- with Rc style + full lookahead 317μs  -- with Rc style + partial lookahead 323μs  -- with R/C style 370μs  -- with CR style 661μs  -- with Cr style 652μs ToddCoxeter 014: right cong. on trans. semigroup (size 88) . . .  -- with HLT + no standardise + full lookahead + no save 294μs  -- with HLT + standardise + full lookahead + no save 284μs  -- with HLT + no standardise + partial lookahead + no save 269μs  -- with HLT + standardise + partial lookahead + no save 276μs  -- with HLT + no standardise + full lookahead + save 705μs  -- with HLT + standardise + full lookahead + save 709μs  -- with HLT + no standardise + partial lookahead + save 694μs  -- with HLT + standardise + partial lookahead + save 698μs  -- with Felsch + no standardisation 519μs  -- with Felsch + standardisation 542μs  -- with random strategy 354μs  -- with Rc style + full lookahead 330μs  -- with Rc style + partial lookahead 326μs  -- with R/C style 393μs  -- with CR style 564μs  -- with Cr style 567μs ToddCoxeter 015: finite fp-semigroup, dihedral group of order 6 . . .  -- with HLT + no standardise + full lookahead + no save 89μs  -- with HLT + standardise + full lookahead + no save 77μs  -- with HLT + no standardise + partial lookahead + no save 67μs  -- with HLT + standardise + partial lookahead + no save 71μs  -- with HLT + no standardise + full lookahead + save 95μs  -- with HLT + standardise + full lookahead + save 97μs  -- with HLT + no standardise + partial lookahead + save 87μs  -- with HLT + standardise + partial lookahead + save 88μs  -- with Felsch + no standardisation 83μs  -- with Felsch + standardisation 78μs  -- with random strategy 86μs  -- with Rc style + full lookahead 72μs  -- with Rc style + partial lookahead 69μs  -- with R/C style 71μs  -- with CR style 81μs  -- with Cr style 80μs ToddCoxeter 016: finite fp-semigroup, size 16 . . .  -- with HLT + no standardise + full lookahead + no save 94μs  -- with HLT + standardise + full lookahead + no save 78μs  -- with HLT + no standardise + partial lookahead + no save 74μs  -- with HLT + standardise + partial lookahead + no save 73μs  -- with HLT + no standardise + full lookahead + save 160μs  -- with HLT + standardise + full lookahead + save 156μs  -- with HLT + no standardise + partial lookahead + save 148μs  -- with HLT + standardise + partial lookahead + save 152μs  -- with Felsch + no standardisation 143μs  -- with Felsch + standardisation 128μs  -- with random strategy 142μs  -- with Rc style + full lookahead 80μs  -- with Rc style + partial lookahead 77μs  -- with R/C style 87μs  -- with CR style 136μs  -- with Cr style 135μs ToddCoxeter 017: finite fp-semigroup, size 16 . . .  -- with HLT + no standardise + full lookahead + no save 202μs  -- with HLT + standardise + full lookahead + no save 174μs  -- with HLT + no standardise + partial lookahead + no save 160μs  -- with HLT + standardise + partial lookahead + no save 166μs  -- with HLT + no standardise + full lookahead + save 368μs  -- with HLT + standardise + full lookahead + save 377μs  -- with HLT + no standardise + partial lookahead + save 351μs  -- with HLT + standardise + partial lookahead + save 353μs  -- with Felsch + no standardisation 325μs  -- with Felsch + standardisation 296μs  -- with random strategy 350μs  -- with Rc style + full lookahead 182μs  -- with Rc style + partial lookahead 173μs  -- with R/C style 185μs  -- with CR style 318μs  -- with Cr style 311μs ToddCoxeter 018: test lookahead . . .  -- with HLT + no standardise + full lookahead + no save 473μs  -- with HLT + standardise + full lookahead + no save 476μs  -- with HLT + no standardise + partial lookahead + no save 418μs  -- with HLT + standardise + partial lookahead + no save 445μs  -- with HLT + no standardise + full lookahead + save 694μs  -- with HLT + standardise + full lookahead + save 684μs  -- with HLT + no standardise + partial lookahead + save 828μs  -- with HLT + standardise + partial lookahead + save 684μs ToddCoxeter 019: non-trivial left cong. from semigroup . . .  -- with HLT + no standardise + full lookahead + no save 172μs  -- with HLT + standardise + full lookahead + no save 162μs  -- with HLT + no standardise + partial lookahead + no save 149μs  -- with HLT + standardise + partial lookahead + no save 156μs  -- with HLT + save (throws) 185μs  -- with Felsch (throws) 163μs  -- with random strategy 176μs ToddCoxeter 020: 2-sided cong. on free semigroup . . .  -- with HLT + no standardise + full lookahead + no save 26μs  -- with HLT + standardise + full lookahead + no save 18μs  -- with HLT + no standardise + partial lookahead + no save 18μs  -- with HLT + standardise + partial lookahead + no save 18μs  -- with HLT + no standardise + full lookahead + save 18μs  -- with HLT + standardise + full lookahead + save 18μs  -- with HLT + no standardise + partial lookahead + save 18μs  -- with HLT + standardise + partial lookahead + save 17μs  -- with Felsch + no standardisation 17μs  -- with Felsch + standardisation 18μs  -- with random strategy 18μs ToddCoxeter 021: calling run when obviously infinite . . .  -- with HLT + no standardise + full lookahead + no save 62μs  -- with HLT + standardise + full lookahead + no save 41μs  -- with HLT + no standardise + partial lookahead + no save 40μs  -- with HLT + standardise + partial lookahead + no save 40μs  -- with HLT + no standardise + full lookahead + save 41μs  -- with HLT + standardise + full lookahead + save 41μs  -- with HLT + no standardise + partial lookahead + save 41μs  -- with HLT + standardise + partial lookahead + save 39μs  -- with Felsch + no standardisation 39μs  -- with Felsch + standardisation 41μs  -- with random strategy 39μs ToddCoxeter 022: stellar_monoid S3 . . .  -- with HLT + no standardise + full lookahead + no save 162μs  -- with HLT + standardise + full lookahead + no save 128μs  -- with HLT + no standardise + partial lookahead + no save 117μs  -- with HLT + standardise + partial lookahead + no save 123μs  -- with HLT + no standardise + full lookahead + save 248μs  -- with HLT + standardise + full lookahead + save 235μs  -- with HLT + no standardise + partial lookahead + save 223μs  -- with HLT + standardise + partial lookahead + save 230μs  -- with Felsch + no standardisation 220μs  -- with Felsch + standardisation 201μs  -- with random strategy 211μs  -- with Rc style + full lookahead 131μs  -- with Rc style + partial lookahead 125μs  -- with R/C style 136μs  -- with CR style 215μs  -- with Cr style 205μs ToddCoxeter 023: finite semigroup (size 5) . . .  -- with HLT + no standardise + full lookahead + no save 41μs  -- with HLT + standardise + full lookahead + no save 34μs  -- with HLT + no standardise + partial lookahead + no save 31μs  -- with HLT + standardise + partial lookahead + no save 34μs  -- with HLT + no standardise + full lookahead + save 40μs  -- with HLT + standardise + full lookahead + save 37μs  -- with HLT + no standardise + partial lookahead + save 36μs  -- with HLT + standardise + partial lookahead + save 36μs  -- with Felsch + no standardisation 36μs  -- with Felsch + standardisation 37μs  -- with random strategy 36μs  -- with Rc style + full lookahead 34μs  -- with Rc style + partial lookahead 33μs  -- with R/C style 42μs  -- with CR style 40μs  -- with Cr style 37μs ToddCoxeter 024: exceptions . . .  -- with HLT + no standardise + full lookahead + no save 213μs  -- with HLT + standardise + full lookahead + no save 174μs  -- with HLT + no standardise + partial lookahead + no save 171μs  -- with HLT + standardise + partial lookahead + no save 170μs  -- with HLT + no standardise + full lookahead + save 183μs  -- with HLT + standardise + full lookahead + save 175μs  -- with HLT + no standardise + partial lookahead + save 175μs  -- with HLT + standardise + partial lookahead + save 175μs  -- with Felsch + no standardisation 174μs  -- with Felsch + standardisation 181μs  -- with random strategy 178μs  -- with Rc style + full lookahead 184μs  -- with Rc style + partial lookahead 174μs  -- with R/C style 174μs  -- with CR style 179μs  -- with Cr style 184μs ToddCoxeter 025: obviously infinite . . .  -- with HLT + no standardise + full lookahead + no save 52μs  -- with HLT + standardise + full lookahead + no save 44μs  -- with HLT + no standardise + partial lookahead + no save 43μs  -- with HLT + standardise + partial lookahead + no save 43μs  -- with HLT + no standardise + full lookahead + save 46μs  -- with HLT + standardise + full lookahead + save 43μs  -- with HLT + no standardise + partial lookahead + save 44μs  -- with HLT + standardise + partial lookahead + save 44μs  -- with Felsch + no standardisation 43μs  -- with Felsch + standardisation 43μs  -- with random strategy 43μs ToddCoxeter 026: exceptions . . .  -- with HLT + no standardise + full lookahead + no save 133μs  -- with HLT + standardise + full lookahead + no save 105μs  -- with HLT + no standardise + partial lookahead + no save 109μs  -- with HLT + standardise + partial lookahead + no save 100μs  -- with HLT + no standardise + full lookahead + save 110μs  -- with HLT + standardise + full lookahead + save 104μs  -- with HLT + no standardise + partial lookahead + save 104μs  -- with HLT + standardise + partial lookahead + save 105μs  -- with Felsch + no standardisation 104μs  -- with Felsch + standardisation 105μs  -- with random strategy 115μs  -- with Rc style + full lookahead 103μs  -- with Rc style + partial lookahead 102μs  -- with R/C style 102μs  -- with CR style 106μs  -- with Cr style 109μs ToddCoxeter 027: empty . . . 48μs ToddCoxeter 028: congruence of fpsemigroup::ToddCoxeter . . .  -- with HLT + no standardise + full lookahead + no save 213μs  -- with HLT + standardise + full lookahead + no save 149μs  -- with HLT + no standardise + partial lookahead + no save 140μs  -- with HLT + standardise + partial lookahead + no save 139μs  -- with HLT + save (throws) 148μs  -- with Felsch (throws) 148μs  -- with random strategy 151μs  -- with HLT + no standardise + full lookahead + save 142μs  -- with HLT + standardise + full lookahead + save 155μs  -- with HLT + no standardise + partial lookahead + save 143μs  -- with HLT + standardise + partial lookahead + save 145μs  -- with Felsch + no standardisation 144μs  -- with Felsch + standardisation 144μs  -- with Rc style + full lookahead 143μs  -- with Rc style + partial lookahead 148μs  -- with R/C style 140μs  -- with CR style 144μs  -- with Cr style 143μs ToddCoxeter 029: !KnuthBendix.started() . . .  -- with HLT + no standardise + full lookahead + no save and 2-sided 127μs  -- with HLT + standardise + full lookahead + no save and 2-sided 63μs  -- with HLT + no standardise + partial lookahead + no save and 2-sided 57μs  -- with HLT + standardise + partial lookahead + no save and 2-sided 58μs  -- with HLT + no standardise + full lookahead + save and 2-sided 64μs  -- with HLT + standardise + full lookahead + save and 2-sided 71μs  -- with HLT + no standardise + partial lookahead + save and 2-sided 63μs  -- with HLT + standardise + partial lookahead + save and 2-sided 62μs  -- with Felsch + no standardisation and 2-sided 60μs  -- with Felsch + standardisation and 2-sided 60μs  -- with random strategy and 2-sided 64μs  -- with HLT + no standardise + full lookahead + no save and left 63μs  -- with HLT + standardise + full lookahead + no save and left 62μs  -- with HLT + no standardise + partial lookahead + no save and left 58μs  -- with HLT + standardise + partial lookahead + no save and left 57μs  -- with HLT + no standardise + full lookahead + save and left 67μs  -- with HLT + standardise + full lookahead + save and left 66μs  -- with HLT + no standardise + partial lookahead + save and left 66μs  -- with HLT + standardise + partial lookahead + save and left 64μs  -- with Felsch + no standardisation and left 64μs  -- with Felsch + standardisation and left 66μs  -- with random strategy and left 63μs  -- with HLT + no standardise + full lookahead + no save and right 61μs  -- with HLT + standardise + full lookahead + no save and right 57μs  -- with HLT + no standardise + partial lookahead + no save and right 58μs  -- with HLT + standardise + partial lookahead + no save and right 56μs  -- with HLT + no standardise + full lookahead + save and right 66μs  -- with HLT + standardise + full lookahead + save and right 64μs  -- with HLT + no standardise + partial lookahead + save and right 64μs  -- with HLT + standardise + partial lookahead + save and right 64μs  -- with Felsch + no standardisation and right 64μs  -- with Felsch + standardisation and right 64μs  -- with random strategy and right 69μs ToddCoxeter 030: KnuthBendix.finished() . . .  -- with HLT + no standardise + full lookahead + no save and 2-sided 263μs  -- with HLT + standardise + full lookahead + no save and 2-sided 146μs  -- with HLT + no standardise + partial lookahead + no save and 2-sided 144μs  -- with HLT + standardise + partial lookahead + no save and 2-sided 138μs  -- with HLT + no standardise + full lookahead + save and 2-sided 147μs  -- with HLT + standardise + full lookahead + save and 2-sided 143μs  -- with HLT + no standardise + partial lookahead + save and 2-sided 154μs  -- with HLT + standardise + partial lookahead + save and 2-sided 143μs  -- with Felsch + no standardisation and 2-sided 137μs  -- with Felsch + standardisation and 2-sided 309μs  -- with random strategy and 2-sided 163μs  -- with HLT + no standardise + full lookahead + no save and left 169μs  -- with HLT + standardise + full lookahead + no save and left 149μs  -- with HLT + no standardise + partial lookahead + no save and left 148μs  -- with HLT + standardise + partial lookahead + no save and left 144μs  -- with HLT + no standardise + full lookahead + save and left 156μs  -- with HLT + standardise + full lookahead + save and left 154μs  -- with HLT + no standardise + partial lookahead + save and left 161μs  -- with HLT + standardise + partial lookahead + save and left 154μs  -- with Felsch + no standardisation and left 150μs  -- with Felsch + standardisation and left 149μs  -- with random strategy and left 158μs  -- with HLT + no standardise + full lookahead + no save and right 149μs  -- with HLT + standardise + full lookahead + no save and right 144μs  -- with HLT + no standardise + partial lookahead + no save and right 146μs  -- with HLT + standardise + partial lookahead + no save and right 149μs  -- with HLT + no standardise + full lookahead + save and right 155μs  -- with HLT + standardise + full lookahead + save and right 153μs  -- with HLT + no standardise + partial lookahead + save and right 153μs  -- with HLT + standardise + partial lookahead + save and right 154μs  -- with Felsch + no standardisation and right 160μs  -- with Felsch + standardisation and right 151μs  -- with random strategy and right 162μs ToddCoxeter 031: KnuthBendix.finished() . . .  -- with HLT + no standardise + full lookahead + no save and 2-sided 135μs  -- with HLT + standardise + full lookahead + no save and 2-sided 100μs  -- with HLT + no standardise + partial lookahead + no save and 2-sided 97μs  -- with HLT + standardise + partial lookahead + no save and 2-sided 100μs  -- with HLT + no standardise + full lookahead + save and 2-sided 115μs  -- with HLT + standardise + full lookahead + save and 2-sided 104μs  -- with HLT + no standardise + partial lookahead + save and 2-sided 101μs  -- with HLT + standardise + partial lookahead + save and 2-sided 101μs  -- with Felsch + no standardisation and 2-sided 98μs  -- with Felsch + standardisation and 2-sided 96μs  -- with random strategy and 2-sided 104μs  -- with Rc style + full lookahead and 2-sided 104μs  -- with Rc style + partial lookahead and 2-sided 103μs  -- with R/C style and 2-sided 106μs  -- with CR style and 2-sided 107μs  -- with Cr style and 2-sided 104μs  -- with HLT + no standardise + full lookahead + no save and left 116μs  -- with HLT + standardise + full lookahead + no save and left 103μs  -- with HLT + no standardise + partial lookahead + no save and left 102μs  -- with HLT + standardise + partial lookahead + no save and left 101μs  -- with HLT + no standardise + full lookahead + save and left 110μs  -- with HLT + standardise + full lookahead + save and left 111μs  -- with HLT + no standardise + partial lookahead + save and left 120μs  -- with HLT + standardise + partial lookahead + save and left 110μs  -- with Felsch + no standardisation and left 107μs  -- with Felsch + standardisation and left 106μs  -- with random strategy and left 123μs  -- with Rc style + full lookahead and left 111μs  -- with Rc style + partial lookahead and left 107μs  -- with R/C style and left 103μs  -- with CR style and left 119μs  -- with Cr style and left 117μs  -- with HLT + no standardise + full lookahead + no save and right 109μs  -- with HLT + standardise + full lookahead + no save and right 115μs  -- with HLT + no standardise + partial lookahead + no save and right 104μs  -- with HLT + standardise + partial lookahead + no save and right 104μs  -- with HLT + no standardise + full lookahead + save and right 113μs  -- with HLT + standardise + full lookahead + save and right 120μs  -- with HLT + no standardise + partial lookahead + save and right 123μs  -- with HLT + standardise + partial lookahead + save and right 115μs  -- with Felsch + no standardisation and right 108μs  -- with Felsch + standardisation and right 107μs  -- with random strategy and right 117μs  -- with Rc style + full lookahead and right 108μs  -- with Rc style + partial lookahead and right 108μs  -- with R/C style and right 104μs  -- with CR style and right 110μs  -- with Cr style and right 124μs ToddCoxeter 032: prefill . . . 197μs ToddCoxeter 033: congruence of ToddCoxeter . . .  -- with HLT + no standardise + full lookahead + no save 55μs  -- with HLT + standardise + full lookahead + no save 43μs  -- with HLT + no standardise + partial lookahead + no save 40μs  -- with HLT + standardise + partial lookahead + no save 40μs  -- with HLT + no standardise + full lookahead + save 47μs  -- with HLT + standardise + full lookahead + save 45μs  -- with HLT + no standardise + partial lookahead + save 44μs  -- with HLT + standardise + partial lookahead + save 43μs  -- with random strategy 46μs ToddCoxeter 034: congruence of ToddCoxeter . . .  -- with HLT + no standardise + full lookahead + no save 144μs  -- with HLT + standardise + full lookahead + no save 126μs  -- with HLT + no standardise + partial lookahead + no save 121μs  -- with HLT + standardise + partial lookahead + no save 118μs  -- with HLT + save (throws) 138μs  -- with Felsch (throws) 133μs  -- with random strategy 135μs ToddCoxeter 035: congruence on FpSemigroup . . .  -- with HLT + no standardise + full lookahead + no save 385μs  -- with HLT + standardise + full lookahead + no save 283μs  -- with HLT + no standardise + partial lookahead + no save 274μs  -- with HLT + standardise + partial lookahead + no save 280μs  -- with HLT + no standardise + full lookahead + save 315μs  -- with HLT + standardise + full lookahead + save 303μs  -- with HLT + no standardise + partial lookahead + save 310μs  -- with HLT + standardise + partial lookahead + save 303μs  -- with Felsch + no standardisation 297μs  -- with Felsch + standardisation 294μs  -- with random strategy 319μs  -- with Rc style + full lookahead 274μs  -- with Rc style + partial lookahead 272μs  -- with R/C style 281μs  -- with CR style 301μs  -- with Cr style 311μs ToddCoxeter 036: exceptions . . . 119μs ToddCoxeter 037: copy constructor . . . 50μs ToddCoxeter 038: simplify . . . 156μs ToddCoxeter 039: stylic_monoid . . . 933ms ToddCoxeter 041: some finite classes . . . 685μs ToddCoxeter 043: symmetric_group(7, Coxeter + Moser) . . . 177ms ToddCoxeter 044: Option exceptions . . . 95μs ToddCoxeter 045: Options operator<< . . . 740μs ToddCoxeter 046: Easdown-East-FitzGerald DualSymInv(5) . . .  -- with HLT + no standardise + full lookahead + no save 199ms  -- with HLT + standardise + full lookahead + no save 222ms  -- with HLT + no standardise + partial lookahead + no save 199ms  -- with HLT + standardise + partial lookahead + no save 223ms  -- with HLT + no standardise + full lookahead + save 172ms  -- with HLT + standardise + full lookahead + save 171ms  -- with HLT + no standardise + partial lookahead + save 172ms  -- with HLT + standardise + partial lookahead + save 171ms  -- with Felsch + no standardisation 191ms  -- with Felsch + standardisation 191ms  -- with random strategy 215ms  -- with R/C style 212ms  -- with Rc style + full lookahead 208ms  -- with Rc style + partial lookahead 201ms ToddCoxeter 047: uniform_block_bijection_monoid(3) (FitzGerald) . . .  -- with HLT + no standardise + full lookahead + no save 131μs  -- with HLT + standardise + full lookahead + no save 118μs  -- with HLT + no standardise + partial lookahead + no save 90μs  -- with HLT + standardise + partial lookahead + no save 93μs  -- with HLT + no standardise + full lookahead + save 216μs  -- with HLT + standardise + full lookahead + save 199μs  -- with HLT + no standardise + partial lookahead + save 191μs  -- with HLT + standardise + partial lookahead + save 201μs  -- with Felsch + no standardisation 156μs  -- with Felsch + standardisation 150μs  -- with random strategy 165μs  -- with R/C style 105μs  -- with Rc style + full lookahead 92μs  -- with Rc style + partial lookahead 92μs ToddCoxeter 048: stellar_monoid(7) (Gay-Hivert) . . . 185ms ToddCoxeter 049: partition_monoid(4) (East) . . .  -- with HLT + no standardise + full lookahead + no save 34ms  -- with HLT + standardise + full lookahead + no save 35ms  -- with HLT + no standardise + partial lookahead + no save 34ms  -- with HLT + standardise + partial lookahead + no save 35ms  -- with HLT + no standardise + full lookahead + save 66ms  -- with HLT + standardise + full lookahead + save 68ms  -- with HLT + no standardise + partial lookahead + save 66ms  -- with HLT + standardise + partial lookahead + save 69ms  -- with Felsch + no standardisation 79ms  -- with Felsch + standardisation 79ms  -- with random strategy 38ms  -- with R/C style 40ms  -- with Rc style + full lookahead 86ms  -- with Rc style + partial lookahead 86ms ToddCoxeter 050: singular_brauer_monoid(6) (Maltcev + Mazorchuk) . . . 708ms ToddCoxeter 051: orientation_preserving_monoid(6) (Ruskuc + [...] . . .  -- with HLT + no standardise + full lookahead + no save 27ms ToddCoxeter 052: orientation_reversing_monoid(5) (Ruskuc + [...] . . .  -- with HLT + no standardise + full lookahead + no save 6838μs ToddCoxeter 053: temperley_lieb_monoid(10) (East) . . . 39ms ToddCoxeter 063: add_rule . . .  -- with HLT + no standardise + full lookahead + no save 134μs  -- with HLT + standardise + full lookahead + no save 77μs  -- with HLT + no standardise + partial lookahead + no save 73μs  -- with HLT + standardise + partial lookahead + no save 73μs  -- with HLT + no standardise + full lookahead + save 82μs  -- with HLT + standardise + full lookahead + save 79μs  -- with HLT + no standardise + partial lookahead + save 79μs  -- with HLT + standardise + partial lookahead + save 79μs  -- with Felsch + no standardisation 78μs  -- with Felsch + standardisation 77μs  -- with random strategy 91μs  -- with Rc style + full lookahead 77μs  -- with Rc style + partial lookahead 74μs  -- with R/C style 74μs  -- with CR style 79μs  -- with Cr style 78μs  -- with R/C + Felsch lookahead 84μs  -- with HLT + Felsch lookahead + save 79μs  -- with Cr + small number of f_defs 82μs  -- with Rc + small number of deductions 75μs  -- with Felsch + v2 + no preferred defs 77μs  -- with Felsch + v2 + immediate no stack 94μs  -- with Felsch + v1 + immediate no stack 80μs  -- with Felsch + v1 + immediate yes stack 80μs  -- with large collapse 75μs ToddCoxeter 064: (from kbmag/standalone/kb_data/s4) (KnuthB [...] . . .  -- with HLT + no standardise + full lookahead + no save 444μs ToddCoxeter 066: test validate . . . 133μs ToddCoxeter 067: add_rules after construct. from semigroup . . .  -- with HLT + no standardise + full lookahead + no save 471μs  -- with HLT + standardise + full lookahead + no save 359μs  -- with HLT + no standardise + partial lookahead + no save 343μs  -- with HLT + standardise + partial lookahead + no save 352μs  -- with HLT + save (throws) 373μs  -- with Felsch (throws) 368μs  -- with random strategy 374μs ToddCoxeter 068: Sym(5) from Chapter 3, Proposition 1.1 in NR . . .  -- with Deduction policy == purge_from_top 895μs  -- with Deduction policy == purge_all 811μs  -- with Deduction policy == discard_all_if_no_space 795μs  -- with HLT + no standardise + full lookahead + no save 841μs  -- with HLT + standardise + full lookahead + no save 1110μs  -- with HLT + no standardise + partial lookahead + no save 812μs  -- with HLT + standardise + partial lookahead + no save 1095μs  -- with HLT + no standardise + full lookahead + save 1341μs  -- with HLT + standardise + full lookahead + save 1330μs  -- with HLT + no standardise + partial lookahead + save 1295μs  -- with HLT + standardise + partial lookahead + save 1337μs  -- with Felsch + no standardisation 876μs  -- with Felsch + standardisation 853μs  -- with random strategy 1357μs  -- with Rc style + full lookahead 1793μs  -- with Rc style + partial lookahead 1790μs  -- with R/C style 903μs  -- with CR style 927μs  -- with Cr style 896μs ToddCoxeter 069: Chapter 7, Theorem 3.6 in NR (size 243) . . .  -- with HLT + no standardise + full lookahead + no save 470μs  -- with HLT + standardise + full lookahead + no save 505μs  -- with HLT + no standardise + partial lookahead + no save 446μs  -- with HLT + standardise + partial lookahead + no save 510μs  -- with HLT + no standardise + full lookahead + save 616μs  -- with HLT + standardise + full lookahead + save 644μs  -- with HLT + no standardise + partial lookahead + save 595μs  -- with HLT + standardise + partial lookahead + save 641μs  -- with Felsch + no standardisation 3078μs  -- with Felsch + standardisation 3086μs  -- with random strategy 3001μs  -- with Rc style + full lookahead 451μs  -- with Rc style + partial lookahead 447μs  -- with R/C style 460μs  -- with CR style 2949μs  -- with Cr style 2946μs ToddCoxeter 070: finite semigroup (size 99) . . .  -- with HLT + no standardise + full lookahead + no save 209μs  -- with HLT + standardise + full lookahead + no save 201μs  -- with HLT + no standardise + partial lookahead + no save 177μs  -- with HLT + standardise + partial lookahead + no save 193μs  -- with HLT + no standardise + full lookahead + save 248μs  -- with HLT + standardise + full lookahead + save 271μs  -- with HLT + no standardise + partial lookahead + save 241μs  -- with HLT + standardise + partial lookahead + save 261μs  -- with Felsch + no standardisation 540μs  -- with Felsch + standardisation 534μs  -- with random strategy 259μs  -- with Rc style + full lookahead 180μs  -- with Rc style + partial lookahead 179μs  -- with R/C style 188μs  -- with CR style 533μs  -- with Cr style 518μs ToddCoxeter 080: KnuthBendix 098 . . .  -- with HLT + no standardise + full lookahead + no save 629ms  -- with HLT + standardise + full lookahead + no save 753ms  -- with HLT + no standardise + partial lookahead + no save 633ms  -- with HLT + standardise + partial lookahead + no save 704ms  -- with HLT + no standardise + full lookahead + save 440ms  -- with HLT + standardise + full lookahead + save 440ms  -- with HLT + no standardise + partial lookahead + save 439ms  -- with HLT + standardise + partial lookahead + save 440ms  -- with Felsch + no standardisation 416ms  -- with Felsch + standardisation 416ms  -- with random strategy 657ms  -- with Rc style + full lookahead 411ms  -- with Rc style + partial lookahead 410ms  -- with R/C style 623ms  -- with CR style 416ms  -- with Cr style 417ms ToddCoxeter 084: Campbell-Reza 1 . . .  -- with HLT + no standardise + full lookahead + no save 257μs  -- with HLT + standardise + full lookahead + no save 119μs  -- with HLT + no standardise + partial lookahead + no save 104μs  -- with HLT + standardise + partial lookahead + no save 104μs  -- with HLT + no standardise + full lookahead + save 129μs  -- with HLT + standardise + full lookahead + save 118μs  -- with HLT + no standardise + partial lookahead + save 115μs  -- with HLT + standardise + partial lookahead + save 116μs  -- with Felsch + no standardisation 150μs  -- with Felsch + standardisation 120μs  -- with random strategy 113μs  -- with Rc style + full lookahead 104μs  -- with Rc style + partial lookahead 98μs  -- with R/C style 103μs  -- with CR style 123μs  -- with Cr style 131μs ToddCoxeter 085: Renner monoid type D4 (Gay-Hivert), q = 1 . . .  -- with HLT + no standardise + full lookahead + no save 223ms  -- with HLT + standardise + full lookahead + no save 161ms  -- with HLT + no standardise + partial lookahead + no save 160ms  -- with HLT + standardise + partial lookahead + no save 160ms  -- with HLT + no standardise + full lookahead + save 160ms  -- with HLT + standardise + full lookahead + save 160ms  -- with HLT + no standardise + partial lookahead + save 160ms  -- with HLT + standardise + partial lookahead + save 160ms  -- with Felsch + no standardisation 160ms  -- with Felsch + standardisation 160ms  -- with random strategy 160ms  -- with Rc style + full lookahead 160ms  -- with Rc style + partial lookahead 160ms  -- with R/C style 161ms  -- with CR style 160ms  -- with Cr style 160ms ToddCoxeter 086: trivial semigroup . . . 303ms ToddCoxeter 092: ACE --- perf602p5 - HLT . . .  -- with HLT + no standardise + full lookahead + no save 38ms  -- with HLT + standardise + full lookahead + no save 38ms  -- with HLT + no standardise + partial lookahead + no save 38ms  -- with HLT + standardise + partial lookahead + no save 38ms  -- with HLT + no standardise + full lookahead + save 18ms  -- with HLT + standardise + full lookahead + save 18ms  -- with HLT + no standardise + partial lookahead + save 18ms  -- with HLT + standardise + partial lookahead + save 18ms  -- with random strategy 19ms  -- with Felsch + no standardisation 14ms  -- with Felsch + standardisation 14ms ToddCoxeter 094: ACE --- C5 - HLT . . .  -- with HLT + no standardise + full lookahead + no save 107μs  -- with HLT + standardise + full lookahead + no save 84μs  -- with HLT + no standardise + partial lookahead + no save 85μs  -- with HLT + standardise + partial lookahead + no save 79μs  -- with HLT + no standardise + full lookahead + save 106μs  -- with HLT + standardise + full lookahead + save 101μs  -- with HLT + no standardise + partial lookahead + save 100μs  -- with HLT + standardise + partial lookahead + save 98μs  -- with random strategy 90μs  -- with Felsch + no standardisation 96μs  -- with Felsch + standardisation 94μs ToddCoxeter 095: ACE --- A5-C5 . . .  -- with HLT + no standardise + full lookahead + no save 109μs  -- with HLT + standardise + full lookahead + no save 108μs  -- with HLT + no standardise + partial lookahead + no save 99μs  -- with HLT + standardise + partial lookahead + no save 103μs  -- with HLT + no standardise + full lookahead + save 152μs  -- with HLT + standardise + full lookahead + save 150μs  -- with HLT + no standardise + partial lookahead + save 147μs  -- with HLT + standardise + partial lookahead + save 156μs  -- with random strategy 159μs  -- with Felsch + no standardisation 128μs  -- with Felsch + standardisation 127μs ToddCoxeter 096: ACE --- A5 . . .  -- with HLT + no standardise + full lookahead + no save 280μs  -- with HLT + standardise + full lookahead + no save 250μs  -- with HLT + no standardise + partial lookahead + no save 181μs  -- with HLT + standardise + partial lookahead + no save 236μs  -- with HLT + no standardise + full lookahead + save 378μs  -- with HLT + standardise + full lookahead + save 398μs  -- with HLT + no standardise + partial lookahead + save 371μs  -- with HLT + standardise + partial lookahead + save 392μs  -- with random strategy 397μs  -- with Felsch + no standardisation 284μs  -- with Felsch + standardisation 287μs ToddCoxeter 098: relation ordering . . .  -- with Felsch + no standardisation 677μs  -- with Felsch + standardisation 642μs  -- with HLT + no standardise + full lookahead + no save 274μs  -- with HLT + standardise + full lookahead + no save 267μs  -- with HLT + no standardise + partial lookahead + no save 256μs  -- with HLT + standardise + partial lookahead + no save 255μs  -- with HLT + no standardise + full lookahead + save 660μs  -- with HLT + standardise + full lookahead + save 654μs  -- with HLT + no standardise + partial lookahead + save 676μs  -- with HLT + standardise + partial lookahead + save 664μs  -- with random strategy 308μs ToddCoxeter 099: short circuit size in obviously infinite . . . 17μs ToddCoxeter 101: http://brauer.maths.qmul.ac.uk/Atlas/spor/M [...] . . . 834ms ToddCoxeter 108: http://brauer.maths.qmul.ac.uk/Atlas/lin/L3 [...] . . . 591ms ToddCoxeter 110: to_gap_string . . . 234μs ToddCoxeter 111: partition_monoid(2) . . . 139μs ToddCoxeter 112: brauer_monoid(4) (Kudryavtseva + Mazorchuk) . . . 384μs ToddCoxeter 113: symmetric_inverse_monoid . . . 18ms ToddCoxeter 116: symmetric_group(7, Burnside + Miller) . . . 493ms UF 001: constructor by size . . . 20μs UF 002: copy constructor . . . 34μs UF 003: find . . . 14μs Ukkonen 000: basic tests . . . 94ms Ukkonen 001: maximal_piece_prefix 1 . . . 38μs Ukkonen 002: maximal_piece_prefix 2 . . . 48μs Ukkonen 003: maximal_piece_prefix 3 . . . 345μs Ukkonen 004: number_of_pieces . . . 100μs Ukkonen 005: traverse . . . 22μs Ukkonen 006: dot . . . 270μs Ukkonen 007: strings . . . 83μs Ukkonen 008: dfs #01 . . . 53μs Ukkonen 009: dfs #02 . . . 37μs Ukkonen 010: dfs #03 . . . 33μs Ukkonen 011: dfs #04 . . . 80μs Ukkonen 012: dfs #05 . . . 69μs Ukkonen 013: dfs #06 . . . 54μs Ukkonen 014: dfs #07 . . . 124μs Ukkonen 015: dfs #08 . . . 75μs Ukkonen 016: dfs #09 . . . 109μs Ukkonen 017: dfs #10 . . . 31μs Ukkonen 018: pieces . . . 50μs Ukkonen 019: code coverage . . . 58μs Ukkonen 020: code coverage . . . 8000ns action_digraph_helper 015: detail::to_string . . . 43μs action_digraph_helper 016: make . . . 63μs action_digraph_helper 017: is_connected . . . 170μs action_digraph_helper 018: is_strictly_cyclic . . . 7602μs follow_path 012: 20 node path . . . 24μs fpsemi-examples 002: full_transformation_monoid author except . . . 58μs fpsemi-examples 003: full_transformation_monoid degree except . . . 28μs fpsemi-examples 005: partial_transformation_monoid author except . . . 37μs fpsemi-examples 006: partial_transformation_monoid degree except . . . 32μs fpsemi-examples 007: symmetric_inverse_monoid(5) . . . 18ms fpsemi-examples 008: symmetric_group auth except . . . 50μs fpsemi-examples 009: symmetric_group degree except . . . 30μs fpsemi-examples 010: symmetric_group(6) Burnside + Miller . . . 27ms fpsemi-examples 011: dual_symmetric_inverse_monoid(5) . . . 199ms fpsemi-examples 012: dual_symmetric_inverse_monoid auth except . . . 51μs fpsemi-examples 013: dual_symmetric_inverse_monoid degree except . . . 27μs fpsemi-examples 014: uniform_block_bijection_monoid(5) . . . 13ms fpsemi-examples 015: uniform_block_bijection_monoid auth except . . . 42μs fpsemi-examples 016: uniform_block_bijection_monoid degree except . . . 23μs fpsemi-examples 019: partition_monoid auth except . . . 129μs fpsemi-examples 020: partition_monoid degree except . . . 124μs fpsemi-examples 022: monogenic_semigroup(4, 9) . . . 41μs fpsemi-examples 023: fibonacci_semigroup(2, 5) . . . 76μs fpsemi-examples 024: temperley_lieb_monoid(10) . . . 46ms fpsemi-examples 025: singular_brauer_monoid(6) . . . 472ms fpsemi-examples 026: orientation_preserving_monoid(6) . . . 27ms fpsemi-examples 027: orientation_reversing_monoid(5) . . . 6783μs fpsemi-examples 028: chinese_monoid(3) . . . 289μs fpsemi-examples 029: plactic_monoid(3) . . . 147μs fpsemi-examples 030: stylic_monoid(3) . . . 1235μs fpsemi-examples 031: symmetric_group(6) Carmichael . . . 15ms fpsemi-examples 032: symmetric_group(6) Moore index 0 . . . 10ms fpsemi-examples 033: symmetric_group(6) Coxeter + Moser . . . 6345μs fpsemi-examples 034: test for the rook monoid . . . 271μs fpsemi-examples 035: alternating_group(7) Moore . . . 25ms fpsemi-examples 036: alternating_group auth except . . . 57μs fpsemi-examples 037: alternating_group degree except . . . 22μs fpsemi-examples 038: partial_transformation_monoid(3) Machine . . . 281μs fpsemi-examples 039: chinese_monoid degree except . . . 42μs fpsemi-examples 040: monogenic_semigroup degree except . . . 48μs fpsemi-examples 041: rectangular_band degree except . . . 69μs fpsemi-examples 042: stellar_monoid degree except . . . 38μs fpsemi-examples 043: plactic_monoid degree except . . . 33μs fpsemi-examples 044: stylic_monoid degree except . . . 33μs fpsemi-examples 045: temperley_lieb_monoid degree except . . . 47μs fpsemi-examples 046: singular_brauer_monoid degree except . . . 52μs fpsemi-examples 047: orientation_preserving_monoid degree except . . . 55μs fpsemi-examples 048: orientation_reversing_monoid degree except . . . 59μs fpsemi-examples 049: test default values . . . 3167μs fpsemi-examples 052: not_symmetric_group(5) Guralnick + Kant [...] . . . 5409μs fpsemi-examples 053: order_preserving_monoid(5) . . . 606μs fpsemi-examples 055: order_preserving_monoid degree except . . . 71μs fpsemi-examples 056: cyclic_inverse_monoid(4) Fernandes 1 . . . 202μs fpsemi-examples 057: cyclic_inverse_monoid(8) Fernandes index 1 . . . 21ms fpsemi-examples 058: cyclic_inverse_monoid Fernandes index 0 . . . 25ms fpsemi-examples 059: order_preserving_cyclic_inverse_monoid(4) . . . 141μs fpsemi-examples 060: order_preserving_cyclic_inverse_monoid(10) . . . 30ms fpsemi-examples 061: cyclic_inverse_monoid degree except . . . 112μs fpsemi-examples 062: cyclic_inverse_monoid author except . . . 52μs fpsemi-examples 063: order_preserving_monoid degree except . . . 49μs fpsemi-examples 064: symmetric_group index except . . . 49μs fpsemi-examples 065: symmetric_group(7) Moore index 1 . . . 6470μs fpsemi-examples 066: order_preserving_cyclic_inverse_monoid(10) . . . 30ms fpsemi-examples 067: partial_isometries_cycle_graph_monoid(5) . . . 693μs fpsemi-examples 068: partial_isometries_cycle_graph_monoid(10) . . . 309ms fpsemi-examples 069: partial_isometries_cycle_graph_monoid d [...] . . . 75μs fpsemi-examples 070: partial_isometries_cycle_graph_monoid(4) . . . 278μs freeband_equal_to 001: . . . 658μs is_acyclic 000: 2-cycle . . . 16μs is_acyclic 001: 1-cycle . . . 9000ns is_acyclic 002: multi-digraph . . . 16μs is_acyclic 003: complete digraph 100 . . . 110μs is_acyclic 004: acyclic digraph with 20000 nodes . . . 1864μs is_acyclic 006: for a node . . . 1029μs is_acyclic 007: for a node . . . 19μs is_reachable 008: acyclic 20 node digraph . . . 66μs is_reachable 009: 100 node path . . . 11ms is_reachable 010: 100 node cycle . . . 11ms is_reachable 011: 20 node clique . . . 455μs last_node_on_path_nc 014: 20 node path . . . 16μs make 000: from FroidurePin . . . 617μs make 001: from FroidurePin and alphabet . . . 680μs make 002: presentation from presentation . . . 351μs make 003: presentation from presentation and alphabet . . . 67μs make 004: argument checks issue . . . 151μs make 005: use human readable alphabet for make . . . 20μs make> 000: from ActionDigraph . . . 1760μs make> 001: from ActionDigraph (exceptions) . . . 78μs number_of_words 001: . . . 12μs operator"" _w 003: literal . . . 14μs silo 000: alphabet: a, min: 0, max: 10 . . . 62μs silo 001: corner cases . . . 28μs silo 002: alphabet: ab, min: 1, max: 4 . . . 64μs silo 003: alphabet: abc, min: 0, max: 13 . . . 99ms silo 004: code coverage . . . 43μs sislo 005: alphabet: a, min: 0, max: 10 . . . 58μs sislo 006: corner cases . . . 68μs sislo 007: alphabet: ab, min: 1, max: 4 . . . 84μs sislo 008: alphabet: abc, min: 0, max: 13 . . . 97ms sislo 009: code coverage . . . 41μs string 000: detail::is_suffix . . . 11μs string 001: detail::is_prefix . . . 12μs string 002: detail::maximum_common_suffix . . . 12μs string 003: detail::group_digits . . . 37μs string_to_word 002: . . . 12μs validate_label 013: 20 node path . . . 64μs wilo 001: corner cases . . . 48μs wilo 002: letters: 2, min: 1, max: 4 . . . 39μs wilo 003: letters: 2, min: 1, max: 4 . . . 60μs wilo 004: letters: 3, min: 0, max: 10 . . . 19ms wilo 005: letters: 3, min: 0, max: 13 . . . 333ms wilo 006: forward iterator requirements . . . 334ms wilo 007: more corner cases . . . 93μs wilo 008: starting at a given word 1 . . . 157μs wilo 009: starting at a given word 2 . . . 21μs wilo 010: code coverage . . . 23μs wislo 000: n: 2, min; 1, max: 4 . . . 39μs wislo 001: corner cases . . . 50μs wislo 002: n: 3, min; 0, max: 10 . . . 5858μs wislo 003: n: 3, min; 0, max: 13 . . . 211ms wislo 004: lex + sort . . . 742ms wislo 005: code coverage . . . 54μs =============================================================================== All tests passed (1290346 assertions in 1191 test cases) >>> libsemigroups: Entering fakeroot... make[1]: Entering directory '/home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.3' ./config/install-sh -c -d '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib' ./config/install-sh -c -d '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups/backward-cpp' /bin/sh ./libtool --mode=install /usr/bin/install -c libsemigroups.la '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib' /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*: Scanning shared objects >>> libsemigroups-static*: Scanning shared objects >>> libsemigroups-dev*: Scanning shared objects >>> libsemigroups*: Tracing dependencies... so:libc.musl-loongarch64.so.1 so:libfmt.so.12 so:libgcc_s.so.1 so:libstdc++.so.6 >>> libsemigroups*: Package size: 1.8 MB >>> libsemigroups*: Compressing data... >>> libsemigroups*: Create checksum... >>> libsemigroups*: Create libsemigroups-2.7.3-r2.apk >>> libsemigroups-static*: Tracing dependencies... libsemigroups-dev >>> libsemigroups-static*: Package size: 14.3 MB >>> libsemigroups-static*: Compressing data... >>> libsemigroups-static*: Create checksum... >>> libsemigroups-static*: Create libsemigroups-static-2.7.3-r2.apk >>> libsemigroups-dev*: Tracing dependencies... libsemigroups=2.7.3-r2 pc:eigen3 pc:fmt pkgconfig >>> libsemigroups-dev*: Package size: 1.9 MB >>> libsemigroups-dev*: Compressing data... >>> libsemigroups-dev*: Create checksum... >>> libsemigroups-dev*: Create libsemigroups-dev-2.7.3-r2.apk >>> libsemigroups: Build complete at Tue, 29 Sep 2026 13:49:05 +0000 elapsed time 0h 4m 22s >>> libsemigroups: Cleaning up srcdir >>> libsemigroups: Cleaning up pkgdir >>> libsemigroups: Cleaning up tmpdir >>> libsemigroups: Uninstalling dependencies... (1/4) Purging .makedepends-libsemigroups (20260929.134444) (2/4) Purging eigen-dev (3.4.0-r10) (3/4) Purging fmt-dev (12.2.0-r0) (4/4) Purging fmt (12.2.0-r0) OK: 270.2 MiB in 103 packages >>> libsemigroups: Updating the testing/loongarch64 repository index... >>> libsemigroups: Signing the index...