>>> libsemigroups: Building testing/libsemigroups 2.7.3-r1 (using abuild 3.14.1-r3) started Sat, 14 Dec 2024 21:20:09 +0000 >>> libsemigroups: Validating /home/buildozer/aports/testing/libsemigroups/APKBUILD... >>> WARNING: libsemigroups: No maintainer >>> libsemigroups: Analyzing dependencies... >>> libsemigroups: Installing for build: build-base eigen-dev fmt-dev (1/4) Installing eigen-dev (3.4.0-r10) (2/4) Installing fmt (11.0.2-r0) (3/4) Installing fmt-dev (11.0.2-r0) (4/4) Installing .makedepends-libsemigroups (20241214.212010) OK: 410 MiB in 110 packages >>> libsemigroups: Cleaning up srcdir >>> libsemigroups: Cleaning up pkgdir >>> libsemigroups: Cleaning up tmpdir >>> libsemigroups: Fetching https://distfiles.alpinelinux.org/distfiles/edge/libsemigroups-2.7.3.tar.gz % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 curl: (22) The requested URL returned error: 404 >>> libsemigroups: Fetching https://github.com/libsemigroups/libsemigroups/releases/download/v2.7.3/libsemigroups-2.7.3.tar.gz % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 2484k 100 2484k 0 0 4970k 0 --:--:-- --:--:-- --:--:-- 4970k >>> libsemigroups: Fetching https://distfiles.alpinelinux.org/distfiles/edge/libsemigroups-2.7.3.tar.gz >>> libsemigroups: Checking sha512sums... libsemigroups-2.7.3.tar.gz: OK >>> libsemigroups: Unpacking /var/cache/distfiles/edge/libsemigroups-2.7.3.tar.gz... tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.xattr.com.apple.lastuseddate#PS' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' checking build system type... x86_64-alpine-linux-musl checking host system type... x86_64-alpine-linux-musl checking target system type... x86_64-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 x86_64-alpine-linux-musl-gcc... gcc checking whether the C compiler works... yes checking for C compiler default output file name... a.out checking for suffix of executables... checking whether we are cross compiling... no checking for suffix of object files... o checking whether the compiler supports GNU C... yes checking whether gcc accepts -g... yes checking for gcc option to enable C11 features... none needed checking whether gcc understands -c and -o together... yes checking dependency style of gcc... gcc3 checking for x86_64-alpine-linux-musl-ar... no checking for x86_64-alpine-linux-musl-lib... no checking for x86_64-alpine-linux-musl-link... no checking for ar... ar checking the archiver (ar) interface... ar checking whether the compiler supports GNU C++... yes checking whether g++ accepts -g... yes checking for g++ option to enable C++11 features... none needed checking dependency style of g++... gcc3 checking whether g++ supports C++14 features by default... yes checking for a sed that does not truncate output... /bin/sed checking how to run the C preprocessor... gcc -E checking for grep that handles long lines and -e... /bin/grep checking for egrep... /bin/grep -E checking whether gcc is Clang... no checking whether pthreads work with "-pthread" and "-lpthread"... yes checking for joinable pthread attribute... PTHREAD_CREATE_JOINABLE checking whether more special flags are required for pthreads... no checking for PTHREAD_PRIO_INHERIT... yes checking for pthread_create in -lpthread... yes checking whether to enable maintainer-specific portions of Makefiles... no checking whether ln -s works... yes checking how to print strings... printf checking for a sed that does not truncate output... (cached) /bin/sed checking for fgrep... /bin/grep -F checking for ld used by gcc... /usr/x86_64-alpine-linux-musl/bin/ld checking if the linker (/usr/x86_64-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 x86_64-alpine-linux-musl file names to x86_64-alpine-linux-musl format... func_convert_file_noop checking how to convert x86_64-alpine-linux-musl file names to toolchain format... func_convert_file_noop checking for /usr/x86_64-alpine-linux-musl/bin/ld option to reload object files... -r checking for x86_64-alpine-linux-musl-file... no checking for file... file checking for x86_64-alpine-linux-musl-objdump... no checking for objdump... objdump checking how to recognize dependent libraries... pass_all checking for x86_64-alpine-linux-musl-dlltool... no checking for dlltool... no checking how to associate runtime and link libraries... printf %s\n checking for x86_64-alpine-linux-musl-ar... ar checking for archiver @FILE support... @ checking for x86_64-alpine-linux-musl-strip... no checking for strip... strip checking for x86_64-alpine-linux-musl-ranlib... no checking for ranlib... ranlib checking command to parse /usr/bin/nm -B output from gcc object... ok checking for sysroot... no checking for a working dd... /bin/dd checking how to truncate binary pipes... /bin/dd bs=4096 count=1 checking for x86_64-alpine-linux-musl-mt... no checking for mt... no checking if : is a manifest tool... no checking for stdio.h... yes checking for stdlib.h... yes checking for string.h... yes checking for inttypes.h... yes checking for stdint.h... yes checking for strings.h... yes checking for sys/stat.h... yes checking for sys/types.h... yes checking for unistd.h... yes checking for dlfcn.h... yes checking for objdir... .libs checking if gcc supports -fno-rtti -fno-exceptions... no checking for gcc option to produce PIC... -fPIC -DPIC checking if gcc PIC flag -fPIC -DPIC works... yes checking if gcc static flag -static works... yes checking if gcc supports -c -o file.o... yes checking if gcc supports -c -o file.o... (cached) yes checking whether the gcc linker (/usr/x86_64-alpine-linux-musl/bin/ld -m elf_x86_64) supports shared libraries... yes checking whether -lc should be explicitly linked in... no checking dynamic linker characteristics... GNU/Linux ld.so checking how to hardcode library paths into programs... immediate checking whether stripping libraries is possible... yes checking if libtool supports shared libraries... yes checking whether to build shared libraries... yes checking whether to build static libraries... yes checking how to run the C++ preprocessor... g++ -E checking for ld used by g++... /usr/x86_64-alpine-linux-musl/bin/ld -m elf_x86_64 checking if the linker (/usr/x86_64-alpine-linux-musl/bin/ld -m elf_x86_64) is GNU ld... yes checking whether the g++ linker (/usr/x86_64-alpine-linux-musl/bin/ld -m elf_x86_64) supports shared libraries... yes checking for g++ option to produce PIC... -fPIC -DPIC checking if g++ PIC flag -fPIC -DPIC works... yes checking if g++ static flag -static works... yes checking if g++ supports -c -o file.o... yes checking if g++ supports -c -o file.o... (cached) yes checking whether the g++ linker (/usr/x86_64-alpine-linux-musl/bin/ld -m elf_x86_64) 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... yes checking whether C++ compiler accepts -flax-vector-conversions... yes checking for x86intrin.h... yes checking for _mm_blendv_epi8... yes checking for _mm_cmpeq_epi8... yes checking for _mm_cmpestri... yes checking for _mm_cmpestrm... yes checking for _mm_cmplt_epi8... yes checking for _mm_extract_epi64... yes checking for _mm_max_epi8... yes checking for _mm_max_epu8... yes checking for _mm_min_epi8... yes checking for _mm_min_epu8... yes checking for _mm_movemask_epi8... yes checking for _mm_popcnt_u32... yes checking for _mm_set_epi64x... yes checking for _mm_shuffle_epi8... yes checking for _mm_slli_epi32... yes checking for HPCOMBI_CONSTEXPR_FUN_ARGS... yes checking for x86_64-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-containers.o CXX tests/test-constants.o CXX tests/test-digraph-helper.o CXX tests/test-digraph.o CXX tests/test-felsch-tree.o CXX tests/test-forest.o CXX tests/test-fpsemi.o CXX tests/test-fpsemi-examples-1.o CXX tests/test-fpsemi-examples-2.o CXX tests/test-fpsemi-examples-3.o CXX tests/test-fpsemi-intf.o CXX tests/test-freeband.o CXX tests/test-froidure-pin-bipart.o CXX tests/test-froidure-pin-bmat8.o CXX tests/test-froidure-pin-bmat.o CXX tests/test-froidure-pin-integers.o CXX tests/test-froidure-pin-intmat.o CXX tests/test-froidure-pin-intpairs.o CXX tests/test-froidure-pin-matrix.o CXX tests/test-froidure-pin-maxplustrunc.o CXX tests/test-froidure-pin-pbr.o CXX tests/test-froidure-pin-pperm.o CXX tests/test-froidure-pin-projmaxplus.o CXX tests/test-froidure-pin-transf.o CXX tests/test-hpcombi.o CXX tests/test-iterator.o CXX tests/test-kambites.o CXX tests/test-kbe.o CXX tests/test-knuth-bendix-1.o CXX tests/test-knuth-bendix-2.o CXX tests/test-knuth-bendix-3.o CXX tests/test-knuth-bendix-4.o CXX tests/test-knuth-bendix-5.o CXX tests/test-knuth-bendix-6.o CXX tests/test-konieczny-bmat8-1.o CXX tests/test-konieczny-bmat8-2.o CXX tests/test-konieczny-bmat8-3.o CXX tests/test-konieczny-transf.o CXX tests/test-konieczny-bmat.o CXX tests/test-konieczny-pperm.o CXX tests/test-main.o CXX tests/test-make-present.o CXX tests/test-make-froidure-pin.o CXX tests/test-matrix.o CXX tests/test-obvinf.o CXX tests/test-order.o CXX tests/test-pbr.o CXX tests/test-pool.o CXX tests/test-present.o CXX tests/test-race.o CXX tests/test-runner.o CXX tests/test-schreier-sims.o CXX tests/test-schreier-sims-helper.o CXX tests/test-sims1.o CXX tests/test-siso.o CXX tests/test-stephen.o CXX tests/test-string.o CXX tests/test-string-view.o CXX tests/test-timer.o CXX tests/test-todd-coxeter.o CXX tests/test-types.o CXX tests/test-uf.o CXX tests/test-ukkonen.o CXX tests/test-wilo.o CXX tests/test-wislo.o CXX tests/test-word.o In file included from /usr/include/c++/14.2.0/algorithm:61, from tests/test-matrix.cpp:17: In function 'void std::__final_insertion_sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = libsemigroups::StaticRowView*; _Compare = __gnu_cxx::__ops::_Iter_comp_iter >():: >]', inlined from 'void std::__sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = libsemigroups::StaticRowView*; _Compare = __gnu_cxx::__ops::_Iter_comp_iter >():: >]' at /usr/include/c++/14.2.0/bits/stl_algo.h:1908:31, inlined from 'void std::sort(_RAIter, _RAIter, _Compare) [with _RAIter = libsemigroups::StaticRowView*; _Compare = libsemigroups::{anonymous}::test_BMat000 >()::]' at /usr/include/c++/14.2.0/bits/stl_algo.h:4804:18, inlined from 'void libsemigroups::{anonymous}::test_BMat000() [with Mat = libsemigroups::StaticMatrix]' at tests/test-matrix.cpp:166:18: /usr/include/c++/14.2.0/bits/stl_algo.h:1817:32: warning: array subscript 16 is outside array bounds of 'libsemigroups::detail::StaticVector1, 2> [1]' [-Warray-bounds=] 1817 | std::__insertion_sort(__first, __first + int(_S_threshold), __comp); | ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ tests/test-matrix.cpp: In function 'void libsemigroups::{anonymous}::test_BMat000() [with Mat = libsemigroups::StaticMatrix]': tests/test-matrix.cpp:160:14: note: at offset 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 . . . 87μs Action 002: row and column basis orbits for BMat8 . . . 1708μs Action 003: add generators after enumeration . . . 2159μs Action 004: multipliers for BMat8 row and column orbits . . . 3617μs Action 005: orbits for regular boolean mat monoid 5 . . . 233ms Action 007: partial perm image orbit . . . 205μs Action 008: partial perm image orbit . . . 46ms Action 009: partial perm image orbit . . . 53ms Action 010: partial perm image orbit . . . 58ms Action 011: permutation on integers . . . 17μs Action 012: permutation on sets, arrays . . . 98μs Action 013: permutation on tuples, arrays . . . 11ms Action 014: permutation on sets, vectors . . . 139μs Action 015: permutation on tuples, vectors . . . 15ms Action 016: misc . . . 1557μs Action 017: partial perm image orbit . . . 33μs Action 018: permutation on tuples, arrays (360360) . . . 167ms Action 019: orbits for regular BMat8 monoid 5 with stop/start . . . 224ms Action 021: orbits for regular boolean mat monoid 5 (BMat<5> [...] . . . 312ms ActionDigraph 000: constructor with 1 default arg . . . 29μs ActionDigraph 001: constructor with 0 default args . . . 26μs ActionDigraph 002: add nodes . . . 18μs ActionDigraph 003: add edges . . . 221μs ActionDigraph 004: strongly connected components - cycles . . . 50μs ActionDigraph 005: strongly connected components - no edges . . . 26ms ActionDigraph 006: strongly connected components - disjoint cycles . . . 1643μs ActionDigraph 007: strongly connected components - complete graphs . . . 949μs ActionDigraph 008: exceptions . . . 48μs ActionDigraph 009: spanning forest - complete graphs . . . 3698μs ActionDigraph 010: spanning forest - disjoint cycles . . . 99μs ActionDigraph 011: restrict . . . 12μs ActionDigraph 012: remove_edge_nc . . . 10μs ActionDigraph 013: scc large cycle . . . 17ms ActionDigraph 014: random . . . 22μs ActionDigraph 015: reserve . . . 10μs ActionDigraph 016: default constructors . . . 14μs ActionDigraph 017: scc iterators . . . 1329μs ActionDigraph 018: iterator to edges . . . 531μs ActionDigraph 019: root of scc . . . 315μs ActionDigraph 020: cbegin/end_panislo - 100 node path . . . 888μs ActionDigraph 021: cbegin/end_pislo . . . 38μs ActionDigraph 022: cbegin/end_pani(s)lo - 100 node cycle . . . 1570μs ActionDigraph 023: cbegin/cend_pilo - tree 14 nodes . . . 62μs ActionDigraph 024: cbegin/end_pstilo - Cayley digraph . . . 195ms ActionDigraph 025: cbegin_pstilo - Tsalakou . . . 368μs ActionDigraph 026: cbegin/end_pstislo - Cayley digraph . . . 192ms ActionDigraph 027: cbegin/end_pstislo - Cayley digraph . . . 189μs ActionDigraph 028: path iterators corner cases . . . 126μs ActionDigraph 029: reverse node iterator . . . 12μs ActionDigraph 030: pstilo corner case . . . 64μs ActionDigraph 031: number_of_paths corner cases . . . 45μs ActionDigraph 032: number_of_paths acyclic digraph . . . 6758μs ActionDigraph 033: number_of_paths binary tree . . . 470ms ActionDigraph 034: number_of_paths large binary tree . . . 89ms ActionDigraph 035: number_of_paths 400 node random digraph . . . 563μs ActionDigraph 036: number_of_paths 10 node acyclic digraph . . . 92μs ActionDigraph 037: number_of_paths node digraph . . . 3905μs ActionDigraph 038: random/random_acyclic exceptions . . . 66μs ActionDigraph 039: unsafe (next) neighbour . . . 54μs ActionDigraph 040: number_of_egdes incident to a node . . . 57μs ActionDigraph 041: number_of_paths (matrix) . . . 20ms ActionDigraph 042: number_of_paths (matrix) . . . 15μs ActionDigraph 043: swap_edge_nc . . . 11μs ActionDigraph 044: detail::pow for non-square Eigen matrix . . . 20μs ActionDigraph 045: operator<< . . . 26μs Array2 044: all . . . 50μs BMat8 001: transpose . . . 25μs BMat8 002: multiplication . . . 19μs BMat8 003: identity matrix . . . 14μs BMat8 004: random . . . 225μs BMat8 005: call operator . . . 17μs BMat8 006: operator<< . . . 17μs BMat8 007: set . . . 50μs BMat8 008: row space basis . . . 518μs BMat8 009: col space basis . . . 485μs BMat8 010: row space basis . . . 1036μs BMat8 011: number_of_rows, number_of_cols . . . 33μs BMat8 012: row_space, col_space . . . 149μs BMat8 013: rows . . . 32μs BMat8 014: one . . . 11μs BMat8 015: vector constructor . . . 52μs BMat8 016: operator< . . . 13μs BMat8 017: adapters . . . 17μs BMat8 018: one . . . 11μs Bipartition 009: mem fns 1 . . . 32μs Bipartition 010: hash . . . 9000ns Bipartition 011: mem fns 2 . . . 20μs Bipartition 012: delete/copy . . . 10μs Bipartition 013: degree 0 . . . 10μs Bipartition 014: exceptions . . . 31μs Bipartition 015: convenience constructor . . . 136μs Bipartition 016: force copy constructor over move constructor . . . 15μs Bipartition 017: adapters . . . 9000ns BitSet 000: size . . . 11μs BitSet 001: operator< . . . 17μs BitSet 002: operator== . . . 12μs BitSet 003: operator!= . . . 12μs BitSet 004: operator&= . . . 14μs BitSet 005: & . . . 17μs BitSet 006: operator|= . . . 18μs BitSet 007: operator[] . . . 22μs BitSet 008: set(none) . . . 17μs BitSet 009: set(pos, value) . . . 17μs BitSet 010: set(first, last, value) . . . 20μs BitSet 011: reset(first, last) . . . 19μs BitSet 012: reset(pos) . . . 18μs BitSet 013: apply (iterate through set bits) . . . 22μs BitSet 014: std::hash . . . 9000ns BitSet 015: constructors . . . 19μs BitSet 016: max_size . . . 9000ns BitSet 017: insertion operators . . . 11μs Blocks 001: empty blocks . . . 12μs Blocks 002: non-empty blocks . . . 12μs Blocks 003: left blocks of bipartition . . . 12μs Blocks 004: right blocks of bipartition . . . 12μs Blocks 005: copy [empty blocks] . . . 11μs Blocks 006: copy [non-empty blocks] . . . 12μs Blocks 007: hash value . . . 12μs Blocks 008: operator< . . . 11μs Congruence 000: left congruence on fp semigroup . . . 177μs Congruence 001: 2-sided congruence on fp semigroup . . . 387μs Congruence 002: left congruence on fp semigroup . . . 253μs Congruence 003: word_to_class_index for cong. on fp semigroup . . . 236μs Congruence 004: word_to_class_index for cong. on fp semigroup . . . 539μs Congruence 005: trivial congruence on non-fp semigroup . . . 386μs Congruence 006: 2-sided congruence on non-fp semigroup . . . 325μs Congruence 007: 2-sided congruence on fp semigroup . . . 609μs Congruence 008: 2-sided congruence on infinite fp semigroup . . . 388μs Congruence 009: 2-sided congruence on infinite fp semigroup . . . 406μs Congruence 010: 2-sided congruence on finite semigroup . . . 42ms Congruence 012: 2-sided congruence on finite semigroup . . . 3388μs Congruence 013: trivial 2-sided congruence on bicyclic monoid . . . 16ms Congruence 014: non-trivial 2-sided congruence on bicyclic monoid . . . 345μs Congruence 015: 2-sided congruence on free abelian monoid . . . 402μs Congruence 016: example where TC works but KB doesn't . . . 676μs Congruence 017: 2-sided congruence on finite semigroup . . . 308μs Congruence 018: infinite fp semigroup from GAP library . . . 515μs Congruence 019: 2-sided cong. on fp semigroup with infinite [...] . . . 313μs Congruence 020: trivial cong. on an fp semigroup . . .  -- with compute size 287μs  -- with don't compute size 250μs Congruence 021: duplicate generators . . . 417μs Congruence 022: non-trivial classes . . . 929μs Congruence 023: right congruence on finite semigroup . . . 274ms Congruence 024: redundant generating pairs . . . 95μs Congruence 025: 2-sided cong. on free semigroup . . . 74μs Congruence 026: is_quotient_obviously_(in)finite . . . 789μs Congruence 027: less . . . 280μs Congruence 028: 2-sided congruences of BMat8 semigroup . . . 128ms Congruence 029: left congruence on finite semigroup . . . 486μs Congruence 030: right congruence on finite semigroup . . . 433μs Congruence 031: right congruence on finite semigroup . . . 398μs Congruence 032: contains . . . 149μs Congruence 033: stellar_monoid S2 . . . 416μs Congruence 034: stellar_monoid S3 . . . 695μs Congruence 035: stellar_monoid S4 . . . 1675μs Congruence 036: stellar_monoid S5 . . . 7552μs Congruence 037: stellar_monoid S6 . . . 50ms Congruence 038: stellar_monoid S7 . . . 599ms Congruence 039: left cong. on an f.p. semigroup . . . 1026μs Congruence 040: 2-sided cong. on infinite f.p. semigroup . . . 157μs Congruence 041: 2-sided congruence constructed from type only . . . 333μs Congruence 042: const_contains . . . 427μs Congruence 043: no winner . . . 6235μs Congruence 044: congruence over smalloverlap . . . 6575μs CongruenceByPairs 001: (cong) 2-sided cong. on finite semigroup . . . 281μs CongruenceByPairs 002: (cong) left congruence on finite semigroup . . . 122μs CongruenceByPairs 003: (cong) right congruence on finite semigroup . . . 117μs CongruenceByPairs 004: (cong) trivial congruence on finite s [...] . . . 94μs CongruenceByPairs 005: (cong) trivial left congruence on fin [...] . . . 73μs CongruenceByPairs 006: (cong) trivial right congruence on fi [...] . . . 71μs CongruenceByPairs 007: (cong) universal congruence on finite [...] . . . 323μs CongruenceByPairs 009: (cong) 2-sided congruence on finite s [...] . . . 476ms CongruenceByPairs 010: (cong) left congruence on big finite [...] . . . 25ms CongruenceByPairs 011: (cong) left congruence on TCE . . . 148μs CongruenceByPairs 012: (cong) is_quotient_obviously_finite . . . 77μs CongruenceByPairs 013: (cong) class_index_to_word/quotient . . .  -- with right congruence 5880μs  -- with left congruence 923μs  -- with 2-sided congruence 4825μs CongruenceByPairs 014: (cong) const_word_to_class_index . . .  -- with right congruence 43μs  -- with left congruence 36μs  -- with 2-sided congruence 30μs CongruenceByPairs 015: (cong) size non-Element* . . . 24ms CongruenceInterface 000: add_pair . . .  -- with ToddCoxeter 86μs  -- with KnuthBendix 110μs  -- with CongruenceByPairs 99μs  -- with Congruence 344μs CongruenceInterface 001: contains/const_contains . . .  -- with ToddCoxeter and no parent 90μs  -- with KnuthBendix and no parent 106μs  -- with Congruence and parent 320μs  -- with CongruenceByPairs and parent 85μs CongruenceInterface 002: less . . .  -- with ToddCoxeter 86μs  -- with KnuthBendix 120μs  -- with CongruenceByPairs 87μs  -- with Congruence 448μs CongruenceInterface 003: is_quotient_obviously_(in)finite . . .  -- with ToddCoxeter 70μs  -- with KnuthBendix 201μs CongruenceInterface 004: is_quotient_obviously_(in)finite . . .  -- with CongruenceByPairs 100μs  -- with Congruence 347μs CongruenceInterface 005: parent_froidure_pin . . .  -- with ToddCoxeter 42μs  -- with KnuthBendix 28μs CongruenceInterface 006: parent_froidure_pin . . .  -- with CongruenceByPairs 91μs  -- with Congruence 395μs CongruenceInterface 007: cbegin/cend_ntc . . .  -- with ToddCoxeter 265μs  -- with KnuthBendix 848μs CongruenceInterface 008: cbegin/cend_ntc . . .  -- with CongruenceByPairs 186μs  -- with Congruence 416μs CongruenceInterface 009: quotient is immutable . . .  -- with ToddCoxeter 82μs  -- with KnuthBendix 106μs  -- with Congruence 306μs CongruenceInterface 010: no generating pairs added . . .  -- with KnuthBendix and common behaviour 4736μs  -- with Congruence and common behaviour 5218μs  -- with ToddCoxeter 61μs CongruenceInterface 011: nr generators not set . . .  -- with ToddCoxeter 70μs  -- with KnuthBendix 89μs  -- with Congruence 58μs CongruenceInterface 012: no generating pairs . . . 152μs ConstIteratorStateless 001: ? . . . 18μs ConstIteratorStateless 002: ? . . . 9000ns Constants 001: Undefined . . . 12μs Constants 002: PositiveInfinity . . . 14μs Constants 003: NegativeInfinity . . . 13μs Constants 004: LimitMax . . . 14μs Duf 004: unite . . . 43μs Duf 006: compress . . . 14μs Duf 008: resize . . . 17μs Duf 009: resize . . . 11μs Duf 010: big chain . . . 11ms Duf 012: empty table . . . 12μs Duf 014: join . . . 12μs Duf 016: contains . . . 21μs Duf 018: swap . . . 23μs DynamicArray2 001: default constructor with 3 default args . . . 17μs DynamicArray2 002: default constructor with 2 default args . . . 10μs DynamicArray2 003: default constructor with 1 default args . . . 11μs DynamicArray2 004: default constructor with 0 default args . . . 10μs DynamicArray2 005: copy constructor with 1 default args . . . 11μs DynamicArray2 006: copy constructor with 0 default args . . . 30μs DynamicArray2 007: add_rows . . . 18μs DynamicArray2 008: add_rows . . . 12μs DynamicArray2 009: add_cols . . . 32μs DynamicArray2 010: set/get . . . 44μs DynamicArray2 011: append 1/2 . . . 112μs DynamicArray2 012: append 2/2 . . . 197μs DynamicArray2 013: count . . . 25μs DynamicArray2 014: clear . . . 10μs DynamicArray2 015: begin_row and end_row . . . 41μs DynamicArray2 016: cbegin_row and cend_row . . . 17μs DynamicArray2 017: iterator operator++ (postfix) . . . 158μs DynamicArray2 018: iterator operator++ (prefix) . . . 1003μs DynamicArray2 019: iterator operator-- (postfix) . . . 209μs DynamicArray2 020: iterator operator-- (prefix) . . . 208μs DynamicArray2 021: operator= . . . 14μs DynamicArray2 022: operator== and operator!= . . . 185μs DynamicArray2 023: empty and clear . . . 12μs DynamicArray2 024: max_size . . . 9000ns DynamicArray2 025: swap . . . 48μs DynamicArray2 026: iterator arithmetic . . . 770μs DynamicArray2 027: iterator comparison . . . 12μs DynamicArray2 028: iterator operator= . . . 10μs DynamicArray2 029: iterator operator[] . . . 44μs DynamicArray2 030: iterator operator-> . . . 22μs DynamicArray2 031: const_iterator operator++/-- . . . 140μs DynamicArray2 032: const_iterator operator++/-- . . . 9000ns DynamicArray2 033: column iterators . . . 17μs DynamicArray2 034: column iterator arithmetic . . . 2852μs DynamicArray2 035: iterator assignment constructor . . . 781μs DynamicArray2 036: reserve method . . . 93μs DynamicArray2 037: erase column . . . 13μs DynamicArray2 038: swap_rows . . . 12μs DynamicArray2 039: apply_row_permutation . . . 11μs DynamicArray2 040: swap . . . 10μs DynamicArray2 041: shrink_rows_to . . . 15μs DynamicArray2 042: shrink_rows_to - for range . . . 14μs FastestBMat 046: check no throw . . . 18μs FelschTree 000: previously failing example . . . 36μs Forest 001: test forest . . . 40μs FpSemigroup 001: Renner monoid type B2 (E. G. presentation), q = 1 . . . 815μs FpSemigroup 002: Renner monoid type B2 (E. G. presentation), q = 0 . . . 852μs FpSemigroup 003: Renner monoid type B3 (E. G. presentation), q = 1 . . . 39ms FpSemigroup 004: Renner monoid type B3 (E. G. presentation), q = 0 . . . 39ms FpSemigroup 005: Renner monoid type B2 (Gay-Hivert presentat [...] . . . 692μs FpSemigroup 006: Renner monoid type B2 (Gay-Hivert presentat [...] . . . 730μs FpSemigroup 007: Renner monoid type B3 (Gay-Hivert presentat [...] . . . 3344μs FpSemigroup 008: Renner monoid type B3 (Gay-Hivert presentat [...] . . . 2832μs FpSemigroup 009: Renner monoid type B4 (Gay-Hivert presentat [...] . . . 239ms FpSemigroup 010: Renner monoid type B4 (Gay-Hivert presentat [...] . . . 307ms FpSemigroup 013: Renner monoid type D2 (E. G. presentation), q = 1 . . . 1165μs FpSemigroup 014: Renner monoid type D2 (E. G. presentation), q = 0 . . . 1231μs FpSemigroup 015: Renner monoid type D3 (E. G. presentation), q = 1 . . . 3975μs FpSemigroup 016: Renner monoid type D3 (E. G. presentation), q = 0 . . . 4460μs FpSemigroup 017: Renner monoid type D4 (E. G. presentation), q = 1 . . . 372ms FpSemigroup 018: Renner monoid type D4 (E. G. presentation), q = 0 . . . 378ms FpSemigroup 019: Renner monoid type D2 (Gay-Hivert presentat [...] . . . 1531μs FpSemigroup 020: Renner monoid type D2 (Gay-Hivert presentat [...] . . . 1361μs FpSemigroup 021: Renner monoid type D3 (Gay-Hivert presentat [...] . . . 5009μs FpSemigroup 022: Renner monoid type D3 (Gay-Hivert presentat [...] . . . 5107μs FpSemigroup 023: Renner monoid type D4 (Gay-Hivert presentat [...] . . . 93ms FpSemigroup 024: Renner monoid type D4 (Gay-Hivert presentat [...] . . . 101ms FpSemigroup 029: Rook monoid R5, q = 0 . . . 7218μs FpSemigroup 030: Rook monoid R5, q = 1 . . . 6399μs FpSemigroup 031: Rook monoid R6, q = 0 . . . 50ms FpSemigroup 032: Rook monoid R6, q = 1 . . . 45ms FpSemigroup 033: normal_form . . . 355μs FpSemigroup 034: for a finite semigroup . . . 814μs FpSemigroup 035: finite fp semigroup, dihedral group of order 6 . . . 570μs FpSemigroup 036: finite fp semigroup, size 16 . . . 833μs FpSemigroup 037: finite fp semigroup, size 16 . . . 1323μs FpSemigroup 038: fp semigroup, size 240 . . . 1214μs FpSemigroup 039: add_rule . . . 343μs FpSemigroup 040: add_rule . . . 222μs FpSemigroup 041: equal_to . . . 293μs FpSemigroup 042: cbegin/cend_rules . . . 103μs FpSemigroup 043: semigroup of size 3 . . . 485μs FpSemigroup 044: run_for/until . . . 3247μs FpSemigroup 045: constructors . . . 358μs FpSemigroup 046: set_inverses . . . 645μs FpSemigroup 047: smalloverlap . . . 14ms FpSemigroup 048: quaternion group Q8 . . . 629μs FpSemigroup 049: symmetric group Coxeter presentation . . . 15ms FpSemigroupByPairs 029: (fpsemi) 2-sided congruence on finit [...] . . . 355μs FpSemigroupByPairs 030: (fpsemi) 2-sided congruence on finit [...] . . . 293μs FpSemigroupInterface 000: run with no alphabet . . .  -- with ToddCoxeter 63μs  -- with KnuthBendix 28μs  -- with FpSemigroup 32μs FpSemigroupInterface 001: equal_to . . .  -- with ToddCoxeter and human readable alphabet 815μs  -- with KnuthBendix and human readable alphabet 2439μs  -- with FpSemigroup and human readable alphabet 2269μs  -- with FpSemigroupByPairs 1467μs FpSemigroupInterface 002: normal_form . . .  -- with ToddCoxeter 119μs  -- with KnuthBendix 149μs  -- with FpSemigroup 394μs FpSemigroupInterface 003: set_alphabet (1/2) . . .  -- with ToddCoxeter 82μs  -- with KnuthBendix 57μs  -- with FpSemigroup 71μs FpSemigroupInterface 004: set_alphabet (2/2) . . . 650μs FpSemigroupInterface 005: add_rule after finished . . .  -- with ToddCoxeter and human readable alphabet 108μs  -- with KnuthBendix and human readable alphabet 123μs  -- with FpSemigroup and human readable alphabet 303μs  -- with FpSemigroupByPairs 622μs FpSemigroupInterface 006: add_rule with equal words (1/2) . . .  -- with ToddCoxeter and human readable alphabet 137μs  -- with KnuthBendix and human readable alphabet 200μs  -- with FpSemigroup and human readable alphabet 226μs  -- with FpSemigroupByPairs 123μs FpSemigroupInterface 007: add_rule with equal words (2/2) . . .  -- with ToddCoxeter 33μs  -- with KnuthBendix 26μs  -- with FpSemigroup 30μs FpSemigroupInterface 008: add_rule with word_type . . .  -- with ToddCoxeter 47μs  -- with KnuthBendix 36μs  -- with FpSemigroup 57μs FpSemigroupInterface 009: add_rule with empty word (1/2) . . .  -- with ToddCoxeter 38μs  -- with FpSemigroup 37μs FpSemigroupInterface 010: add_rule with empty word (1/2) . . . 22μs FpSemigroupInterface 011: add_rules (1/3) . . .  -- with ToddCoxeter 49μs  -- with KnuthBendix 35μs  -- with FpSemigroup 38μs FpSemigroupInterface 012: add_rules (2/3) . . . 259μs FpSemigroupInterface 013: add_rules (3/3) . . .  -- with ToddCoxeter 37μs  -- with KnuthBendix 28μs  -- with FpSemigroup 53μs FpSemigroupInterface 014: set_identity (1/3) . . .  -- with ToddCoxeter 76μs  -- with KnuthBendix 68μs  -- with FpSemigroup 97μs FpSemigroupInterface 015: set_identity (2/3) . . . 171μs FpSemigroupInterface 016: set_identity (3/3) . . .  -- with ToddCoxeter 64μs  -- with KnuthBendix 49μs  -- with FpSemigroup 82μs FpSemigroupInterface 017: identity . . .  -- with ToddCoxeter 32μs  -- with KnuthBendix 25μs  -- with FpSemigroup 30μs FpSemigroupInterface 018: set_inverses + inverses (1/2) . . .  -- with ToddCoxeter 120μs  -- with KnuthBendix 91μs  -- with FpSemigroup 173μs FpSemigroupInterface 019: set_inverses + inverses (2/2) . . . 186μs FpSemigroupInterface 020: is_obviously_infinite (1/2) . . .  -- with ToddCoxeter 118μs  -- with KnuthBendix 127μs  -- with FpSemigroup 304μs FpSemigroupInterface 021: is_obviously_infinite (2/2) . . . 40μs FpSemigroupInterface 022: is_obviously_finite (1/2) . . .  -- with ToddCoxeter 100μs  -- with KnuthBendix 133μs  -- with FpSemigroup 296μs FpSemigroupInterface 023: is_obviously_finite (2/2) . . . 41μs FpSemigroupInterface 024: to_gap_string (1/3) . . .  -- with ToddCoxeter 38μs  -- with KnuthBendix 29μs  -- with FpSemigroup 66μs FpSemigroupInterface 025: to_gap_string (2/3) . . . 25μs FpSemigroupInterface 026: to_gap_string (3/3) . . . 34μs FroidurePin 015: (BMat8) regular boolean mat monoid 4 . . . 85ms FroidurePin 016: (BMat8) exception zero generators given . . . 13μs FroidurePin 017: (BMat8) exception word_to_element . . . 57μs FroidurePin 018: (BMat8) exception prefix . . . 648μs FroidurePin 019: (BMat8) exception suffix . . . 17μs FroidurePin 020: (BMat8) exception first_letter . . . 633μs FroidurePin 021: (BMat8) exception final_letter . . . 17μs FroidurePin 022: (BMat8) exception current_length . . . 624μs FroidurePin 023: (BMat8) exception product_by_reduction . . . 800μs FroidurePin 024: (BMat8) exception fast_product . . . 839μs FroidurePin 025: (BMat8) exception is_idempotent . . . 37ms FroidurePin 026: (BMat8) copy constructor . . .  -- with fully enumerated 46ms  -- with partially enumerated 34ms  -- with not enumerated 31ms FroidurePin 027: (BMat8) cbegin/end_rules . . . 51μs FroidurePin 031: (integers) . . . 129μs FroidurePin 039: (pairs of integers) non-trivial user type . . . 33μs FroidurePin 055: (tropical max-plus semiring matrices) . . . 192μs FroidurePin 061: projective max plus matrix . . . 723μs FroidurePin 062: projective max plus matrix . . . 26μs FroidurePin> 009: small example 2 . . . 45μs FroidurePin> 005: small example 1 . . . 92μs FroidurePin> 007: regular bmat monoid 4 . . . 52ms FroidurePin> 011: small example 3 . . . 400μs FroidurePin> 006: small example 1 . . . 112μs FroidurePin> 008: regular bmat monoid 4 . . . 68ms FroidurePin> 010: small example 2 . . . 34μs FroidurePin> 012: small example 3 . . . 528μs FroidurePin 000: small example 1 . . . 134μs FroidurePin 001: default constructed . . . 84μs FroidurePin 002: small example 2 . . . 36μs FroidurePin 004: exception: is_idempotent . . . 92μs FroidurePin> 033: Example 000 . . . 526μs FroidurePin> 035: Example 001 . . . 33μs FroidurePin> 032: Example 000 . . . 421μs FroidurePin> 034: Example 001 . . . 28μs FroidurePin 036: exception: current_position . . . 85μs FroidurePin 037: exception: word_to_element . . . 42μs FroidurePin 038: exception: prefix, suffix, first_letter . . . 10ms FroidurePin> 040: Example 000 . . . 70μs FroidurePin> 041: Example 000 . . . 50μs FroidurePin> 046: Example 005 . . . 118μs FroidurePin> 047: Example 005 . . . 124μs FroidurePin> 048: Example 005 . . . 128μs FroidurePin> 044: Example 004 . . . 23μs FroidurePin> 045: Example 004 . . . 24μs FroidurePin> 049: Example 006 . . . 764μs FroidurePin> 050: Example 006 . . . 926μs FroidurePin> 051: Example 006 . . . 902μs FroidurePin> 052: Example 007 . . . 102μs FroidurePin> 053: Example 007 . . . 107μs FroidurePin> 054: Example 007 . . . 116μs FroidurePin 056: example 1 . . . 174μs FroidurePin 057: example 2 . . . 125μs FroidurePin> 058: . . . 492μs FroidurePin> 059: . . . 36μs FroidurePin> 060: exceptions: add_generator(s) . . . 40μs FroidurePin> 065: no exception zero generators given . . . 14μs FroidurePin> 066: exception generators of different [...] . . . 61μs FroidurePin> 067: exception current_position . . . 37μs FroidurePin> 068: exception word_to_element . . . 30μs FroidurePin> 069: exception gens . . . 332μs FroidurePin> 070: exception prefix . . . 10ms FroidurePin> 071: exception suffix . . . 84ms FroidurePin> 072: exception first_letter . . . 63μs FroidurePin> 073: exception final_letter . . . 55μs FroidurePin> 074: exception current_length . . . 29μs FroidurePin> 075: exception product_by_reduction . . . 207μs FroidurePin> 076: exception fast_product . . . 227μs FroidurePin> 077: exception current_position . . . 336μs FroidurePin> 078: exception is_idempotent . . . 410μs FroidurePin> 079: exception add_generators . . . 28μs FroidurePin> 080: multithread number_of_idempotents . . . 966μs FroidurePin> 081: small semigroup . . . 24μs FroidurePin> 082: large semigroup . . . 6095μs FroidurePin> 083: at, position, current_* . . . 6659μs FroidurePin> 084: run . . . 5614μs FroidurePin> 085: run [many stops and starts] . . . 5968μs FroidurePin> 086: factorisation, length [1 element] . . . 5883μs FroidurePin> 087: factorisation, products [all elements] . . . 6923μs FroidurePin> 088: first/final letter, prefix, suffi [...] . . . 5894μs FroidurePin> 089: current_position [standard] . . . 23μs FroidurePin> 090: current_position [duplicate gens] . . . 12ms FroidurePin> 091: current_position [after add_generators] . . . 6559μs FroidurePin> 092: cbegin_idempotents/cend [1 thread] . . . 6356μs FroidurePin> 093: idempotent_cend/cbegin [1 thread] . . . 6372μs FroidurePin> 094: is_idempotent [1 thread] . . . 6022μs FroidurePin> 096: finished, started . . . 5854μs FroidurePin> 097: current_position . . . 1312μs FroidurePin> 098: sorted_position, sorted_at . . . 7237μs FroidurePin> 099: right/left Cayley graph . . . 24ms FroidurePin> 100: iterator . . . 8281μs FroidurePin> 101: reverse iterator . . . 8333μs FroidurePin> 102: iterator arithmetic . . . 18ms FroidurePin> 103: iterator sorted . . . 18ms FroidurePin> 104: iterator sorted arithmetic . . . 20ms FroidurePin> 105: copy [not enumerated] . . . 5960μs FroidurePin> 106: copy_closure [not enumerated] . . . 38ms FroidurePin> 107: copy_add_generators [not enumerated] . . . 35ms FroidurePin> 108: copy [partly enumerated] . . . 6378μs FroidurePin> 109: copy_closure [partly enumerated] . . . 10ms FroidurePin> 110: copy_add_generators [partly enumerated] . . . 6664μs FroidurePin> 111: copy [fully enumerated] . . . 8868μs FroidurePin> 112: copy_closure [fully enumerated] . . . 10ms FroidurePin> 113: copy_add_generators [fully enumerated] . . . 9187μs FroidurePin> 114: relations [duplicate gens] . . . 161μs FroidurePin> 115: relations . . . 7646μs FroidurePin> 116: relations [copy_closure, duplicat [...] . . . 10ms FroidurePin> 117: relations [copy_add_generators, d [...] . . . 11ms FroidurePin> 118: relations [from copy, not enumerated] . . . 6763μs FroidurePin> 119: relations [from copy, partly enum [...] . . . 12ms FroidurePin> 120: relations [from copy, fully enumerated] . . . 11ms FroidurePin> 121: relations [from copy_closure, not [...] . . . 11ms FroidurePin> 122: relations [from copy_add_generato [...] . . . 6747μs FroidurePin> 123: relations [from copy_closure, par [...] . . . 10ms FroidurePin> 124: relations [from copy_add_generato [...] . . . 8163μs FroidurePin> 125: relations [from copy_closure, ful [...] . . . 12ms FroidurePin> 126: relations [from copy_add_generato [...] . . . 10ms FroidurePin> 127: add_generators [duplicate generators] . . . 333μs FroidurePin> 128: add_generators [incremental 1] . . . 366μs FroidurePin> 129: add_generators [incremental 2] . . . 373μs FroidurePin> 130: closure [duplicate generators] . . . 183μs FroidurePin> 131: closure . . . 70μs FroidurePin> 132: factorisation . . . 18μs FroidurePin> 134: minimal_factorisation . . . 34μs FroidurePin> 135: batch_size (for an extremely larg [...] . . . 17μs FroidurePin> 137: exception: generators of differen [...] . . . 34μs FroidurePin> 138: exception: current_position . . . 49μs FroidurePin> 139: exception: word_to_element . . . 31μs FroidurePin> 140: exception: gens, current_position . . . 411μs FroidurePin> 141: exception: add_generators . . . 24μs HPCombi 000: Transf16 . . . 23μs HPCombi 001: One specialisation . . . 17μs HPCombi 002: One specialisation . . . 10μs HPCombi 003: Swap specialisation . . . 10μs HPCombi 004: Swap specialisation . . . 9000ns HPCombi 005: Inverse specialisation . . . 9000ns HPCombi 006: ImageRightAction . . . 11μs HPCombi 007: ImageLeft/RightAction . . . 13μs HPCombi 008: Product . . . 9000ns HPCombi 009: Degree/Complexity . . . 9000ns KBE 000: constructors . . . 36μs KBE 001: test . . . 53μs KBE 002: factorisation . . . 33μs KBE 003: swap . . . 23μs KBE 004: adapters . . . 20μs KBE 005: conversions . . . 20μs Kambites 000: (fpsemi) MT test 4 (std::string) . . . 5991μs Kambites 001: (fpsemi) MT test 4 (MultiStringView) . . . 6473μs Kambites 002: (fpsemi) number_of_pieces (std::string) . . . 114μs Kambites 003: (fpsemi) number_of_pieces (MultiStringView) . . . 98μs Kambites 004: (fpsemi) small_overlap_class (std::string) . . . 3416μs Kambites 005: (fpsemi) small_overlap_class (MultiStringView) . . . 3323μs Kambites 006: (fpsemi) random (std::string) . . . 9403μs Kambites 007: (fpsemi) random (MultiStringView) . . . 9174μs Kambites 008: (fpsemi) KnuthBendix 055 (std::string) . . . 14ms Kambites 009: (fpsemi) KnuthBendix 055 (MultiStringView) . . . 16ms Kambites 010: (fpsemi) smalloverlap/gap/test.gi:85 (std::string) . . . 61μs Kambites 011: (fpsemi) smalloverlap/gap/test.gi:85 (MultiStr [...] . . . 53μs Kambites 012: (fpsemi) free semigroup . . . 12μs Kambites 013: (fpsemi) smalloverlap/gap/test.gi:49 (std::string) . . . 29ms Kambites 014: (fpsemi) smalloverlap/gap/test.gi:49 (MultiStr [...] . . . 37ms Kambites 015: (fpsemi) smalloverlap/gap/test.gi:63 (std::string) . . . 32ms Kambites 016: (fpsemi) smalloverlap/gap/test.gi:63 (MultiStr [...] . . . 41ms Kambites 017: (fpsemi) smalloverlap/gap/test.gi:70 (std::string) . . . 120ms Kambites 018: (fpsemi) smalloverlap/gap/test.gi:70 (MultiStr [...] . . . 160ms Kambites 021: (fpsemi) code coverage (std::string) . . . 52μs Kambites 022: (fpsemi) code coverage (MultiStringView) . . . 29μs Kambites 023: (fpsemi) prefix (std::string) . . . 60μs Kambites 024: (fpsemi) prefix (MultiStringView) . . . 84μs Kambites 025: (fpsemi) normal_form (Example 3.15) (std::string) . . . 59μs Kambites 026: (fpsemi) normal_form (Example 3.15) (MultiStri [...] . . . 74μs Kambites 027: (fpsemi) normal_form (Example 3.16) (std::string) . . . 42μs Kambites 028: (fpsemi) normal_form (Example 3.16) (MultiStri [...] . . . 57μs Kambites 029: (fpsemi) normal_form (Example 3.16) more exhau [...] . . . 55ms Kambites 030: (fpsemi) normal_form (Example 3.16) more exhau [...] . . . 58ms Kambites 031: (fpsemi) small presentation (std::string) . . . 76μs Kambites 032: (fpsemi) small presentation (MultiStringView) . . . 34μs Kambites 033: (fpsemi) non-smalloverlap (std::string) . . . 38μs Kambites 034: (fpsemi) non-smalloverlap (MultiStringView) . . . 37μs Kambites 035: (fpsemi) MT test 3 (std::string) . . . 41μs Kambites 036: (fpsemi) MT test 3 (MultiStringView) . . . 38μs Kambites 037: (fpsemi) MT test 5 (std::string) . . . 24μs Kambites 038: (fpsemi) MT test 5 (MultiStringView) . . . 24μs Kambites 039: (fpsemi) MT test 6 (std::string) . . . 36μs Kambites 040: (fpsemi) MT test 6 (MultiStringView) . . . 40μs Kambites 041: (fpsemi) MT test 10 (std::string) . . . 29μs Kambites 042: (fpsemi) MT test 10 (MultiStringView) . . . 34μs Kambites 043: (fpsemi) MT test 13 (std::string) . . . 23μs Kambites 044: (fpsemi) MT test 13 (MultiStringView) . . . 24μs Kambites 045: (fpsemi) MT test 14 (std::string) . . . 24μs Kambites 046: (fpsemi) MT test 14 (MultiStringView) . . . 24μs Kambites 047: (fpsemi) MT test 15 (std::string) . . . 32μs Kambites 048: (fpsemi) MT test 15 (MultiStringView) . . . 30μs Kambites 049: (fpsemi) MT test 16 (std::string) . . . 32μs Kambites 050: (fpsemi) MT test 16 (MultiStringView) . . . 33μs Kambites 051: (fpsemi) MT test 17 (std::string) . . . 113μs Kambites 052: (fpsemi) MT test 17 (MultiStringView) . . . 95μs Kambites 053: (fpsemi) weak C(4) not strong x 1 (std::string) . . . 412μs Kambites 054: (fpsemi) weak C(4) not strong x 1 (MultiStringView) . . . 519μs Kambites 055: (fpsemi) weak C(4) not strong x 2 (std::string) . . . 397μs Kambites 056: (fpsemi) weak C(4) not strong x 2 (MultiStringView) . . . 519μs Kambites 057: (fpsemi) weak C(4) not strong x 3 (std::string) . . . 370μs Kambites 058: (fpsemi) weak C(4) not strong x 3 (MultiStringView) . . . 350μs Kambites 059: (fpsemi) weak C(4) not strong x 4 (std::string) . . . 49μs Kambites 060: (fpsemi) weak C(4) not strong x 4 (MultiStringView) . . . 63μs Kambites 061: (fpsemi) weak C(4) not strong x 5 (std::string) . . . 22μs Kambites 062: (fpsemi) weak C(4) not strong x 5 (MultiStringView) . . . 18μs Kambites 063: (fpsemi) weak C(4) not strong x 6 (std::string) . . . 30μs Kambites 064: (fpsemi) weak C(4) not strong x 6 (MultiStringView) . . . 31μs Kambites 065: (fpsemi) Konovalov example (std::string) . . . 20μs Kambites 066: (fpsemi) Konovalov example (MultiStringView) . . . 17μs Kambites 067: (fpsemi) long words (std::string) . . . 675ms Kambites 068: (fpsemi) long words (MultiStringView) . . . 34ms Kambites 075: (cong) example 1 . . . 55μs Kambites 076: (cong) example 2 . . . 109μs Kambites 077: (cong) code coverage . . . 6352μs Kambites 078: (cong) large number of rules . . . 250ms KnuthBendix 000: (fpsemi) confluent fp semigroup 1 (infinite) . . . 111μs KnuthBendix 001: (fpsemi) confluent fp semigroup 2 (infinite) . . . 103μs KnuthBendix 002: (fpsemi) confluent fp semigroup 3 (infinite) . . . 77μs KnuthBendix 003: (fpsemi) non-confluent fp semigroup from wi [...] . . . 129μs KnuthBendix 004: (fpsemi) Example 5.1 in Sims (infinite) . . . 108μs KnuthBendix 005: (fpsemi) Example 5.1 in Sims (infinite) . . . 100μs KnuthBendix 006: (fpsemi) Example 5.3 in Sims . . . 90μs KnuthBendix 007: (fpsemi) Example 5.4 in Sims . . . 101μs KnuthBendix 008: (fpsemi) Example 6.4 in Sims (size 168) . . . 5847μs KnuthBendix 009: (fpsemi) . . . 39ms KnuthBendix 010: (fpsemi) SL(2, 7) from Chapter 3, Propositi [...] . . . 61ms KnuthBendix 011: (fpsemi) F(2, 5) - Chapter 9, Section 1 in [...] . . . 286μs KnuthBendix 012: (fpsemi) Reinis example 1 . . . 135μs KnuthBendix 013: redundant_rule (std::string) . . . 100ms KnuthBendix 014: redundant_rule (word_type) . . . 10ms KnuthBendix 019: (fpsemi) C(4) monoid . . . 47μs KnuthBendix 020: (cong) Chinese monoid . . . 103μs KnuthBendix 021: (from kbmag/standalone/kb_data/f25monoid) . . . 340μs KnuthBendix 022: (from kbmag/standalone/kb_data/degen4a) . . . 34ms KnuthBendix 023: (from kbmag/standalone/kb_data/torus) . . . 1927μs KnuthBendix 024: (from kbmag/standalone/kb_data/3a6) . . . 194ms KnuthBendix 025: (from kbmag/standalone/kb_data/f2) . . . 53μs KnuthBendix 026: (from kbmag/standalone/kb_data/s16) . . . 54ms KnuthBendix 027: (from kbmag/standalone/kb_data/a4monoid) . . . 55μs KnuthBendix 028: (from kbmag/standalone/kb_data/degen3) . . . 28μs KnuthBendix 029: (from kbmag/standalone/kb_data/ab1) . . . 28μs KnuthBendix 030: (from kbmag/standalone/kb_data/degen2) . . . 25μs KnuthBendix 031: (from kbmag/standalone/kb_data/f25) . . . 282μs KnuthBendix 032: (from kbmag/standalone/kb_data/237) . . . 377μs KnuthBendix 033: (from kbmag/standalone/kb_data/c2) . . . 24μs KnuthBendix 034: (from kbmag/standalone/kb_data/cosets) . . . 145μs KnuthBendix 035: Example 5.1 in Sims (KnuthBendix 09 again) . . . 45μs KnuthBendix 036: (from kbmag/standalone/kb_data/nilp2) . . . 31μs KnuthBendix 037: Example 6.4 in Sims . . . 9196μs KnuthBendix 038: KnuthBendix 071 again . . . 438μs KnuthBendix 039: Example 5.4 in Sims (KnuthBendix 11 again) [...] . . . 161μs KnuthBendix 040: Example 5.4 in Sims (KnuthBendix 11 again) [...] . . . 106μs KnuthBendix 041: operator<< . . . 57μs KnuthBendix 042: confluence_interval . . . 24μs KnuthBendix 043: max_overlap . . . 23μs KnuthBendix 044: (fpsemi) (from kbmag/standalone/kb_data/d22 [...] . . . 818μs KnuthBendix 045: (fpsemi) (from kbmag/standalone/kb_data/d22 [...] . . . 1472μs KnuthBendix 046: (fpsemi) small example . . . 546μs KnuthBendix 047: code coverage . . . 57μs KnuthBendix 048: small overlap 1 . . . 54μs KnuthBendix 049: (from kbmag/standalone/kb_data/s9) . . . 1011μs KnuthBendix 050: (fpsemi) Chapter 11, Lemma 1.8 (q = 6, r = [...] . . . 419μs KnuthBendix 051: (fpsemi) Chapter 11, Section 2 (q = 6, r = [...] . . . 105μs KnuthBendix 052: (fpsemi) Chapter 8, Theorem 4.2 in NR (infinite) . . . 179μs KnuthBendix 053: (fpsemi) equal_to fp semigroup . . . 51μs KnuthBendix 054: (fpsemi) equal_to free semigroup . . . 50μs KnuthBendix 055: (fpsemi) from GAP smalloverlap gap/test.gi [...] . . . 354μs KnuthBendix 056: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 591μs KnuthBendix 057: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 582μs KnuthBendix 058: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 1610μs KnuthBendix 059: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 3629μs KnuthBendix 060: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 49μs KnuthBendix 061: (fpsemi) Von Dyck (2,3,7) group (infinite) . . . 382μs KnuthBendix 062: (fpsemi) Von Dyck (2,3,7) group - different [...] . . . 3040μs KnuthBendix 063: (fpsemi) rewriting system from KnuthBendixC [...] . . . 287μs KnuthBendix 064: (fpsemi) rewriting system from Congruence 20 . . . 37μs KnuthBendix 065: (fpsemi) (from kbmag/standalone/kb_data/ab2) . . . 94μs KnuthBendix 066: (fpsemi) (from kbmag/standalone/kb_data/d22 [...] . . . 883μs KnuthBendix 067: (fpsemi) (from kbmag/standalone/kb_data/degen1) . . . 45μs KnuthBendix 068: (fpsemi) (from kbmag/standalone/kb_data/s4) . . . 358μs KnuthBendix 069: (fpsemi) fp semigroup (infinite) . . . 51μs KnuthBendix 070: (fpsemi) Chapter 11, Section 1 (q = 4, r = [...] . . . 1273μs KnuthBendix 071: (fpsemi) Chapter 11, Section 1 (q = 8, r = [...] . . . 73ms KnuthBendix 072: (fpsemi) Chapter 7, Theorem 3.9 in NR (size 240) . . . 2358μs KnuthBendix 073: (fpsemi) F(2, 5) - Chapter 9, Section 1 in [...] . . . 297μs KnuthBendix 074: (fpsemi) F(2, 6) - Chapter 9, Section 1 in NR . . . 284μs KnuthBendix 075: (fpsemi) Chapter 10, Section 4 in NR (infinite) . . . 530μs KnuthBendix 076: (fpsemi) Sym(5) from Chapter 3, Proposition [...] . . . 1938μs KnuthBendix 077: (fpsemi) SL(2, 7) from Chapter 3, Propositi [...] . . . 76ms KnuthBendix 078: (fpsemi) bicyclic monoid (infinite) . . . 49μs KnuthBendix 079: (fpsemi) plactic monoid of degree 2 (infinite) . . . 62μs KnuthBendix 080: (fpsemi) example before Chapter 7, Proposit [...] . . . 49μs KnuthBendix 081: (fpsemi) Chapter 7, Theorem 3.6 in NR (size 243) . . . 549μs KnuthBendix 082: (fpsemi) finite semigroup (size 99) . . . 183μs KnuthBendix 096: Sorouhesh . . . 270μs KnuthBendix 097: (fpsemi) transformation semigroup (size 4) . . . 74μs KnuthBendix 098: (fpsemi) transformation semigroup (size 9) . . . 60μs KnuthBendix 099: (fpsemi) transformation semigroup (size 88) . . . 570μs KnuthBendix 100: internal_string_to_word . . . 44μs KnuthBendix 101: (fpsemi) construct from shared_ptr . . . 553μs KnuthBendix 102: internal_string_to_word . . . 572μs KnuthBendix 103: (cong) free semigroup congruence (5 classes) . . . 82μs KnuthBendix 104: free semigroup congruence (6 classes) . . . 192μs KnuthBendix 105: (cong) free semigroup congruence (16 classes) . . . 250μs KnuthBendix 106: (cong) free semigroup congruence (6 classes) . . . 317μs KnuthBendix 107: (cong) free semigroup congruence (240 classes) . . . 2391μs KnuthBendix 108: (cong) free semigroup congruence (240 classes) . . . 2700μs KnuthBendix 109: (cong) less . . . 2684μs KnuthBendix 110: (cong) less . . . 140ms KnuthBendix 111: (cong) constructors . . . 215ms KnuthBendix 112: (cong) const_contains/contains . . . 158μs KnuthBendix 113: (cong) is_quotient_obviously_finite . . . 30μs KnuthBendix 114: (cong) class_index_to_word . . . 155μs KnuthBendix 115: (cong) quotient_froidure_pin . . . 121μs KnuthBendix 116: (cong) set_number_of_generators . . . 34μs KnuthBendix 117: (cong) number of classes when obv-inf . . . 52μs KnuthBendixCongruenceByPairs 016: non-trivial congruence on [...] . . . 143μs KnuthBendixCongruenceByPairs 017: non-trivial congruence on [...] . . . 131μs KnuthBendixCongruenceByPairs 018: non-trivial congruence on [...] . . . 182μs KnuthBendixCongruenceByPairs 019: non-trivial congruence on [...] . . . 181μs KnuthBendixCongruenceByPairs 020: trivial congruence on a fi [...] . . . 145μs KnuthBendixCongruenceByPairs 021: universal congruence on a [...] . . . 400μs KnuthBendixCongruenceByPairs 022: left congruence on a finit [...] . . . 205μs KnuthBendixCongruenceByPairs 023: finite group, Chapter 11, [...] . . . 3036μs KnuthBendixCongruenceByPairs 024: right congruence on infini [...] . . . 211μs KnuthBendixCongruenceByPairs 025: finite fp semigroup, dihed [...] . . . 230μs KnuthBendixCongruenceByPairs 026: finite fp semigroup, size 16 . . . 221μs KnuthBendixCongruenceByPairs 027: finite fp semigroup, size 16 . . . 624μs KnuthBendixCongruenceByPairs 028: infinite fp semigroup with [...] . . . 60μs Konieczny 000: test000> . . . 838μs Konieczny 001: test000> . . . 594μs Konieczny 002: test001> . . . 8691μs Konieczny 003: test001> . . . 6207μs Konieczny 006: exceptions . . . 41μs Konieczny 007: code coverage . . . 9856μs Konieczny 008: code coverage . . . 7797μs Konieczny 009: regular elements and idempotents . . . 73ms Konieczny 010: regular D-class 01 . . . 749μs Konieczny 011: regular D-class 02 . . . 6339μs Konieczny 012: regular D-class 04: contains . . . 24ms Konieczny 013: non-regular D-classes 01 . . . 785μs Konieczny 014: RegularDClass . . . 496μs Konieczny 015: full bmat monoid 4 . . . 27ms Konieczny 017: regular generated bmat monoid 4 idempotents . . . 39ms Konieczny 019: my favourite example . . . 66ms Konieczny 020: another large example . . . 6849μs Konieczny 021: my favourite example transposed . . . 52ms Konieczny 024: exceptions . . . 806μs Konieczny 025: 0-parameter constructor . . . 13ms Konieczny 026: non-regular D-classes 02 . . . 7889μs Konieczny 028: partial perm . . . 80ms Konieczny 029: symmetric inverse monoid n = 8 . . . 16ms Konieczny 030: exceptions . . . 155ms Konieczny 031: transformations . . . 384μs Konieczny 032: transformations - JDM favourite example . . . 35ms Konieczny 033: transformations - large example . . . 212ms Konieczny 034: transformations - large example with stop . . . 213ms Konieczny 035: transformations - large example with run_until . . . 213ms Konieczny 036: transformations - large example with stop in Action . . . 212ms Konieczny 037: exceptions . . . 34μs Konieczny 038: transformations: contains . . . 459μs Konieczny 040: transformations - destructor coverage . . . 80ms Konieczny 041: current_number_D_classes . . . 80ms Konieczny 042: add_generator . . . 15μs Konieczny 043: add_generator . . . 12μs Matrix 000: BMat<2> . . . 77μs Matrix 001: BMat<> . . . 64μs Matrix 002: BMat<3> + BMat<> . . . 11μs Matrix 003: BMat<2> + BMat<> . . . 11μs Matrix 004: BMat<3> . . . 12μs Matrix 005: BMat<> . . . 13μs Matrix 006: BMat<3> row_basis . . . 36μs Matrix 007: BMat<> row_basis . . . 28μs Matrix 008: IntMat<3> . . . 13μs Matrix 009: IntMat<> . . . 17μs Matrix 010: IntMat code cov . . . 10μs Matrix 011: MaxPlusMat<3> . . . 25μs Matrix 012: MaxPlusMat<> . . . 14μs Matrix 013: MaxPlusMat code cov . . . 9000ns Matrix 014: MinPlusMat<3> . . . 14μs Matrix 015: MinPlusMat<> . . . 18μs Matrix 016: MinPlusMat code cov . . . 9000ns Matrix 017: MaxPlusTruncMat<5, 2> . . . 14μs Matrix 018: MaxPlusTruncMat<5> . . . 16μs Matrix 019: MaxPlusTruncMat<> . . . 25μs Matrix 020: MaxPlusTruncMat<5, 4> . . . 16μs Matrix 021: MaxPlusTruncMat<5> . . . 24μs Matrix 022: MaxPlusTruncMat<> . . . 16μs Matrix 023: MaxPlusTruncMat<33, 3> . . . 26μs Matrix 024: MaxPlusTruncMat<33> . . . 22μs Matrix 025: MaxPlusTruncMat<> . . . 22μs Matrix 026: MaxPlusMat code cov . . . 9000ns Matrix 027: MinPlusTruncMat<33, 3> . . . 22μs Matrix 028: MinPlusTruncMat<33> . . . 25μs Matrix 029: MinPlusTruncMat<> . . . 28μs Matrix 030: NTPMat<0, 3, 3, 3> . . . 13μs Matrix 031: NTPMat<0, 3> . . . 21μs Matrix 032: NTPMat<> . . . 24μs Matrix 033: NTPMat<0, 10, 4, 4> . . . 20μs Matrix 034: NTPMat<0, 10> . . . 18μs Matrix 035: NTPMat<> . . . 17μs Matrix 036: NTPMat<0, 10, 4, 4> . . . 16μs Matrix 037: NTPMat<0, 10> . . . 14μs Matrix 038: NTPMat<> . . . 15μs Matrix 039: NTPMat<33, 2, 3, 3> . . . 14μs Matrix 040: NTPMat<33, 2> . . . 13μs Matrix 041: NTPMat<> . . . 13μs Matrix 042: ProjMaxPlusMat<3> . . . 56μs Matrix 043: ProjMaxPlusMat<> . . . 45μs Matrix 044: exceptions . . . 26μs Matrix 045: code coverage . . . 27μs MultiStringView 000: catch all . . . 46μs MultiStringView 001: is_prefix . . . 13μs MultiStringView 002: erase . . . 14μs MultiStringView 003: iterators . . . 11μs MultiStringView 004: constructors (long) . . . 19μs MultiStringView 005: constructors (short) . . . 15μs MultiStringView 006: copy assignment (short assigned to long) . . . 12μs MultiStringView 007: copy assignment (short assigned to short) . . . 12μs MultiStringView 008: move assignment (short assigned to long) . . . 12μs MultiStringView 009: move assignment (short assigned to short) . . . 12μs MultiStringView 010: code coverage . . . 16μs MultiStringView 011: pop_front . . . 38μs MultiStringView 012: append . . . 12μs MultiStringView 013: operators . . . 13μs MultiStringView 014: maximum_common_suffix . . . 12μs MultiStringView 015: deep tests . . . 9000ns ObviouslyInfinite 011: Multiple rule additions . . . 45μs ObviouslyInfinite 012: A power of the generator 'b' does not [...] . . . 11μs ObviouslyInfinite 013: Preserves the number of occurrences o [...] . . . 12μs ObviouslyInfinite 014: Less relations than generators . . . 11μs ObviouslyInfinite 015: Relations preserve length . . . 12μs ObviouslyInfinite 016: Matrix has non empty kernel . . . 13μs ObviouslyInfinite 017: Free product of trivial semigroups . . . 11μs ObviouslyInfinite 018: Another free product . . . 13μs ObviouslyInfinite 019: Infinite but not obviously so . . . 13μs ObviouslyInfinite 020: Finite semigroup . . . 14μs PBR 001: universal product with convenience constructor . . . 39μs PBR 002: universal product . . . 17μs PBR 003: product [bigger than previous] . . . 25μs PBR 004: hash . . . 11μs PBR 005: delete/copy . . . 17μs PBR 006: exceptions . . . 100μs PBR 007: operators . . . 61μs PBR 008: to_string . . . 16μs PBR 009: identity . . . 40μs PBR 010: adapters . . . 9000ns Pool 000: initial . . . 29μs Pool 001: bmat . . . 21μs Pool 002: PoolGuard . . . 17μs Pool 003: transformation products . . . 13μs Presentation 000: vectors of ints . . . 63μs Presentation 001: strings . . . 42μs Presentation 002: constructors (word_type) . . . 20μs Presentation 003: constructors (StaticVector1) . . . 32μs Presentation 004: constructors (std::string) . . . 19μs Presentation 005: alphabet + letters (word_type) . . . 103μs Presentation 006: alphabet + letters (std::string) . . . 27μs Presentation 007: contains_empty_word . . . 11μs Presentation 008: validate_rules throws . . . 32μs Presentation 009: helpers add_rule(s) . . . 60μs Presentation 010: helpers add_rule(s) (std::string) . . . 22μs Presentation 011: helpers add_identity_rules (std::vector/St [...] . . . 40μs Presentation 012: helpers add_identity_rules (std::string) . . . 19μs Presentation 013: helpers add_inverse_rules (all) . . . 111μs Presentation 014: helpers add_inverse_rules (std::string) . . . 36μs Presentation 015: helpers remove_duplicate_rules . . . 42μs Presentation 016: helpers reduce_complements . . . 78μs Presentation 017: helpers sort_each_rule . . . 39μs Presentation 018: helpers sort_rules . . . 41μs Presentation 019: helpers longest_common_subword/replace_subword . . . 228μs Presentation 020: helpers redundant_rule . . . 4166μs Presentation 021: helpers shortlex_compare_concat . . . 11μs Presentation 022: helpers remove_trivial_rules . . . 50μs Presentation 023: helpers replace_subword (existing, replacement) . . . 41μs Presentation 024: helpers longest_rule . . . 64μs Presentation 025: helpers longest_rule_length . . . 56μs Presentation 026: helpers remove_redundant_generators . . . 74μs Presentation 027: helpers reverse . . . 19μs Presentation 028: in_alphabet . . . 20μs Presentation 029: replace_subword with empty word . . . 17μs Presentation 030: helpers replace_word . . . 29μs Presentation 031: clear . . . 10μs Presentation 032: letter . . . 24μs Presentation 033: normalize_alphabet . . . 13μs Presentation 034: longest_common_subword issue . . . 300μs Presentation 035: helpers add_zero_rules (std::vector/Static [...] . . . 33μs Presentation 036: helpers add_zero_rules (std::string) . . . 18μs Presentation 037: make_semigroup . . . 55μs Presentation 038: greedy_reduce_length . . . 190μs Presentation 039: aaaaaaaab = aaaaaaaaab strong compression . . . 40μs Presentation 040: change_alphabet . . . 47μs Presentation 041: sort_rules bug . . . 171μs Presentation 042: first_unused_letter/letter . . . 111μs Presentation 043: case where strong compression doesn't work . . . 24μs Presentation 044: proof that . . . 29μs Presentation 045: decompression . . . 15μs Race 001: run_for . . . 10ms Race 002: run_until . . . 10ms Race 003: exceptions . . . 10ms Race 004: iterators . . . 11μs Race 005: find_runner . . . 11μs Race 006: run_func . . . 25ms Race 007: run_func . . . 10ms Race 008: run_func . . . 10ms Runner 000: run_for . . . 10ms Runner 001: run_for . . . 1012μs Runner 002: run_for . . . 191ms Runner 003: run_for . . . 25ms Runner 004: started . . . 1030μs Runner 005: run_until . . . 8396μs Runner 006: kill . . . 29μs Runner 007: copy constructor . . . 10ms Runner 008: report . . . 20ms Runner 009: run_until with function pointer . . . 31μs SchreierSims 001: trivial perm. group (degree 1) . . . 53μs SchreierSims 002: trivial perm. group (degree 2) . . . 39μs SchreierSims 003: trivial perm. group (degree 500) . . . 401μs SchreierSims 004: symmetric perm. group (degree 5) . . . 89μs SchreierSims 005: symmetric perm. group (degree 8) . . . 48μs SchreierSims 006: symmetric perm. group (degree 9) . . . 56μs SchreierSims 007: alternating perm. group (degree 12) . . . 68μs SchreierSims 008: symmetric perm. group (degree 16) . . . 327μs SchreierSims 009: alternating perm. group (degree 15) . . . 185μs SchreierSims 010: alternating perm. group (degree 16) . . . 382μs SchreierSims 011: dihedral perm. group (order 10) . . . 32μs SchreierSims 012: dihedral perm. group (order 200) . . . 2265μs SchreierSims 013: perm. group T (order 12) . . . 34μs SchreierSims 014: quaternion perm. group (order 8) . . . 35μs SchreierSims 015: perm. group (order 84129611558952960) . . . 160ms SchreierSims 016: perm. group SL(3, 5) (order 372000) . . . 794μs SchreierSims 017: perm. group PSL(4, 8) (order 34558531338240) . . . 56ms SchreierSims 018: perm. Mathieu group M11 (order 7920) . . . 55μs SchreierSims 019: perm. Mathieu group M24 (order 244823040) . . . 128μs SchreierSims 020: perm. Janko Group J1 (order 175560) . . . 1917μs SchreierSims 021: perm. Hall-Janko group (order 604800) . . . 276μs SchreierSims 022: perm. Hall-Janko group (alt.) (order 604800) . . . 14ms SchreierSims 023: perm. Conway group Co3 (order 495766656000) . . . 4922μs SchreierSims 024: perm. Conway group Co3 (alt.) (order 49576 [...] . . . 10ms SchreierSims 025: perm. Suzuki group (order 448345497600) . . . 64ms SchreierSims 027: perm. Held group (order 4030387200) . . . 107ms SchreierSims 028: perm. group C2 x C2 x C2 (order 8) . . . 28μs SchreierSims 029: perm. group C2 x C2 x C2 x C2 (order 16) . . . 31μs SchreierSims 030: perm. group (S5 x S5) : C2 (order 28800) . . . 52μs SchreierSims 031: perm. group C3 x D8 x A5 (order 1440) . . . 48μs SchreierSims 032: perm. group GL(4, 3) (order 24261120) . . . 464μs SchreierSims 033: perm. group PSL(3, 7) (order 1876896) . . . 580μs SchreierSims 037: symmetric perm. group (degree 5) . . . 24μs SchreierSims 038: alternating perm. group (degree 17) . . . 2741μs SchreierSims 039: exceptions . . . 60μs SchreierSims 040: exceptions . . . 33μs SchreierSims 041: trivial group . . . 24μs SchreierSims 042: A17 bug . . . 2412μs SchreierSims 043: orbits_lookup test . . . 338μs SchreierSims 044: transversal_element and inversal_element test . . . 839μs SchreierSimsHelper 001: trivial perm. group intersection (de [...] . . . 22μs SchreierSimsHelper 002: trivial perm. group intersection (de [...] . . . 20μs SchreierSimsHelper 003: cyclic group intersection (degree 13) . . . 35μs SchreierSimsHelper 004: D10 and Z5 intersection . . . 27μs SchreierSimsHelper 005: D8 and Q8 intersection . . . 27μs SchreierSimsHelper 006: primitive on 8 points intersection . . . 34μs SchreierSimsHelper 007: primitive on 8 points intersection ( [...] . . . 33μs SchreierSimsHelper 008: A13 and PGL(2, 11) intersection . . . 117μs SchreierSimsHelper 009: A13 and PGL(2, 11) intersection (swa [...] . . . 111μs SchreierSimsHelper 012: 3^3:13 and 3^3.2.A(4) intersection . . . 107μs SchreierSimsHelper 015: 3^3(S(4) x 2) and ASL(3, 3) intersection . . . 210μs SchreierSimsHelper 016: 7^2:3 x Q(8) and 7^2:D(2*6) intersection . . . 274μs SchreierSimsHelper 018: D(2*53) and 53:13 intersection . . . 172μs SchreierSimsHelper 019: 2^6:(7 x D_14) and PSL(2, 6)^2.4 int [...] . . . 1128μs SchreierSimsHelper 020: 2^6:(S_3 x GL(3, 2)) and 2.6:Alt(7) [...] . . . 3402μs SchreierSimsHelper 022: PSL(2, 127) and AGL(1, 2^7) intersection . . . 6237μs SchreierSimsHelper 023: PSL(3, 4).2 and PSL(3, 4).2 (nontriv [...] . . . 1342μs SchreierSimsHelper 024: PSL(3, 4).Sym(3) and PSL(3, 4).2 int [...] . . . 1311μs SchreierSimsHelper 025: 3^4:5:4 and D_16:4 intersection . . . 706μs Sims1 000: fp example 1 . . . 871μs Sims1 001: fp example 2 . . . 1182μs Sims1 002: ToddCoxeter failing example . . . 8844μs Sims1 003: ToddCoxeter failing example . . . 481μs Sims1 004: partition_monoid(2) right . . . 3680μs Sims1 006: full_transformation_monoid(3) right . . . 4292μs Sims1 007: full_transformation_monoid(3) left . . . 2394μs Sims1 009: rook_monoid(2, 1) . . . 87μs Sims1 010: symmetric_inverse_monoid(2) from FroidurePin . . . 71μs Sims1 011: symmetric_inverse_monoid(3) . . . 3937μs Sims1 014: temperley_lieb_monoid(3) from presentation . . . 81μs Sims1 015: temperley_lieb_monoid(4) from presentation . . . 463μs Sims1 016: fp semigroup containing given pairs #1 . . . 229μs Sims1 017: fp semigroup containing given pairs #2 . . . 229μs Sims1 018: fp semigroup containing given pairs #3 . . . 360μs Sims1 019: ToddCoxeter failing example . . . 950μs Sims1 020: fp example 2 . . . 1298μs Sims1 021: exceptions . . . 123μs Sims1 027: from https://mathoverflow.net/questions/423541/ . . . 15ms Sims1 028: from https://mathoverflow.net/questions/423541/ . . . 11ms Sims1 030: presentation with one free generator . . . 160μs Sims1 031: presentation with non-zero index generators . . . 53μs Sims1 032: presentation with empty word . . . 4759μs Sims1 033: constructors . . . 784μs Sims1 034: split_at . . . 149μs Sims1 035: stats . . . 87μs Sims1 036: check iterator requirements . . . 89μs Sims1 040: TransitiveGroup(10, 32) - minimal rep . . . 2335μs Sims1 043: rectangular_band(2, 2) - with and without identity . . . 121μs Sims1 044: trivial group - minimal o.r.c. rep . . . 79μs Sims1 045: right zero semigroup - minimal o.r.c. rep . . . 1151μs Sims1 046: semigroup with faithful non-strictly cyclic actio [...] . . . 640μs Sims1 068: RepOrc . . . 21ms Sims1 069: fp example 1 . . . 293μ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 715μs (130ns 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 . . . 775μs Sims1 072: symmetric_group(n) for n = 4 . . . 1230μs Sims1 073: corner case no generators + no relations . . . 66μs Sims1 076: uninitialized RepOrc . . . 27μs SmallestInteger 001: . . . 11μs StaticTriVector2 045: all . . . 18μs StaticVector2 043: all . . . 18μs Stephen 000: basic test 1 . . . 156μs Stephen 001: basic test 2 . . . 101μs Stephen 002: full transf monoid . . . 10ms Stephen 003: from step_hen 002 . . . 67μs Stephen 004: from step_hen 003 . . . 155μs Stephen 005: from step_hen 004 . . . 46μs Stephen 006: from step_hen 005 . . . 88μs Stephen 008: C(4) monoid normal form (test_case_knuth_bendix_055) . . . 140μs Stephen 009: C(4) monoid normal form (test_case_gap_smallove [...] . . . 66μs Stephen 010: code coverage . . . 239μs Stephen 011: C(4) monoid normal form (test_case_gap_smallove [...] . . . 188μs Stephen 012: C(4) monoid normal form (test_case_gap_smallove [...] . . . 175μs Stephen 013: C(4) monoid equal to (test_case_gap_smalloverlap_70) . . . 81μs Stephen 014: C(4) monoid normal form (test_case_ex_3_13_14) . . . 234μs Stephen 015: C(4) monoid normal form (test_case_ex_3_15) . . . 491μs Stephen 016: C(4) monoid normal form (test_case_ex_3_16) . . . 197μs Stephen 017: C(4) monoid normal form (test_case_mt_3) . . . 115μs Stephen 018: C(4) monoid normal form (test_case_mt_5) . . . 72μs Stephen 019: C(4) monoid normal form (test_case_mt_6) . . . 246μs Stephen 020: C(4) monoid normal form (test_case_mt_10) . . . 104μs Stephen 021: C(4) monoid normal form (test_case_mt_13) . . . 74μs Stephen 022: C(4) monoid normal form (test_case_mt_14) . . . 74μs Stephen 023: C(4) monoid normal form (test_case_mt_15) . . . 76μs Stephen 024: C(4) monoid normal form (test_case_mt_16) . . . 108μs Stephen 025: C(4) monoid normal form (test_case_mt_17) . . . 218μs Stephen 026: C(4) monoid normal form (test_case_weak_1) . . . 191μs Stephen 027: C(4) monoid normal form (test_case_weak_2) . . . 120μs Stephen 028: C(4) monoid normal form (test_case_weak_3) . . . 168μs Stephen 029: C(4) monoid normal form (test_case_weak_4) . . . 165μs Stephen 030: C(4) monoid normal form (test_case_weak_5) . . . 80μs Stephen 031: Test behaviour when uninitialised . . . 102μs Suf 005: unite . . . 20μs Suf 007: compress . . . 13μs Suf 011: big chain . . . 10ms Suf 013: empty table . . . 10μs Suf 015: join . . . 14μs Suf 017: contains . . . 23μs Suf 019: swap . . . 25μs Timer 001: string method (1 argument) . . . 19μs Timer 002: string method (0 arguments) . . . 10ms Timer 003: reset/elapsed method . . . 20ms Timer 004: operator<< . . . 30μs ToddCoxeter 000: small 2-sided congruence . . .  -- with HLT + no standardise + full lookahead + no save 1006μs  -- with HLT + standardise + full lookahead + no save 733μs  -- with HLT + no standardise + partial lookahead + no save 696μs  -- with HLT + standardise + partial lookahead + no save 673μs  -- with HLT + no standardise + full lookahead + save 685μs  -- with HLT + standardise + full lookahead + save 750μs  -- with HLT + no standardise + partial lookahead + save 737μs  -- with HLT + standardise + partial lookahead + save 739μs  -- with Felsch + no standardisation 737μs  -- with Felsch + standardisation 726μs  -- with random strategy 740μs  -- with Rc style + full lookahead 724μs  -- with Rc style + partial lookahead 727μs  -- with R/C style 722μs  -- with CR style 710μs  -- with Cr style 736μs ToddCoxeter 001: small 2-sided congruence . . .  -- with HLT + no standardise + full lookahead + no save 4304μs  -- with HLT + standardise + full lookahead + no save 4319μs  -- with HLT + no standardise + partial lookahead + no save 4707μs  -- with HLT + standardise + partial lookahead + no save 4263μs  -- with HLT + no standardise + full lookahead + save 4170μs  -- with HLT + standardise + full lookahead + save 4156μs  -- with HLT + no standardise + partial lookahead + save 4039μs  -- with HLT + standardise + partial lookahead + save 4022μs  -- with Felsch + no standardisation 4070μs  -- with Felsch + standardisation 4002μs  -- with random strategy 4034μs  -- with Rc style + full lookahead 3998μs  -- with Rc style + partial lookahead 3999μs  -- with R/C style 4022μs  -- with CR style 3996μs  -- with Cr style 4026μs ToddCoxeter 003: constructed from FroidurePin . . .  -- with Felsch + no standardisation 207ms  -- with Felsch + standardisation 205ms  -- with HLT + no standardise + full lookahead + no save 73ms  -- with HLT + standardise + full lookahead + no save 72ms  -- with HLT + no standardise + partial lookahead + no save 72ms  -- with HLT + standardise + partial lookahead + no save 72ms  -- with HLT + no standardise + full lookahead + save 213ms  -- with HLT + standardise + full lookahead + save 214ms  -- with HLT + no standardise + partial lookahead + save 214ms  -- with HLT + standardise + partial lookahead + save 214ms  -- with random strategy 212ms  -- with Rc style + full lookahead 210ms  -- with Rc style + partial lookahead 208ms  -- with R/C style 78ms  -- with CR style 209ms  -- with Cr style 209ms ToddCoxeter 004: 2-sided congruence from FroidurePin . . .  -- with HLT + no standardise + full lookahead + no save 165μs  -- with HLT + standardise + full lookahead + no save 127μs  -- with HLT + no standardise + partial lookahead + no save 117μs  -- with HLT + standardise + partial lookahead + no save 117μs  -- with HLT + save (throws) 159μs  -- with Felsch (throws) 126μs  -- with random strategy 121μs ToddCoxeter 005: non-trivial two-sided from relations . . .  -- with HLT + no standardise + full lookahead + no save 57μs  -- with HLT + standardise + full lookahead + no save 34μs  -- with HLT + no standardise + partial lookahead + no save 30μs  -- with HLT + standardise + partial lookahead + no save 30μs  -- with HLT + no standardise + full lookahead + save 44μs  -- with HLT + standardise + full lookahead + save 39μs  -- with HLT + no standardise + partial lookahead + save 37μs  -- with HLT + standardise + partial lookahead + save 37μs  -- with Felsch + no standardisation 37μs  -- with Felsch + standardisation 33μs  -- with random strategy 36μs  -- with Rc style + full lookahead 33μs  -- with Rc style + partial lookahead 31μs  -- with R/C style 31μs  -- with CR style 34μs  -- with Cr style 34μs ToddCoxeter 006: small right cong. on free semigroup . . .  -- with HLT + no standardise + full lookahead + no save 34μs  -- with HLT + standardise + full lookahead + no save 29μs  -- with HLT + no standardise + partial lookahead + no save 26μs  -- with HLT + standardise + partial lookahead + no save 29μs  -- with HLT + no standardise + full lookahead + save 31μs  -- with HLT + standardise + full lookahead + save 28μs  -- with HLT + no standardise + partial lookahead + save 27μs  -- with HLT + standardise + partial lookahead + save 26μs  -- with Felsch + no standardisation 27μs  -- with Felsch + standardisation 28μs  -- with random strategy 28μs  -- with Rc style + full lookahead 26μs  -- with Rc style + partial lookahead 25μs  -- with R/C style 25μs  -- with CR style 27μs  -- with Cr style 27μs ToddCoxeter 007: left cong. on free semigroup . . .  -- with HLT + no standardise + full lookahead + no save 37μs  -- with HLT + standardise + full lookahead + no save 29μs  -- with HLT + no standardise + partial lookahead + no save 28μs  -- with HLT + standardise + partial lookahead + no save 27μs  -- with HLT + no standardise + full lookahead + save 32μs  -- with HLT + standardise + full lookahead + save 30μs  -- with HLT + no standardise + partial lookahead + save 31μs  -- with HLT + standardise + partial lookahead + save 30μs  -- with Felsch + no standardisation 30μs  -- with Felsch + standardisation 31μs  -- with random strategy 36μs  -- with Rc style + full lookahead 30μs  -- with Rc style + partial lookahead 36μs  -- with R/C style 31μs  -- with CR style 31μs  -- with Cr style 39μs ToddCoxeter 008: for small fp semigroup . . .  -- with HLT + no standardise + full lookahead + no save 40μs  -- with HLT + standardise + full lookahead + no save 26μs  -- with HLT + no standardise + partial lookahead + no save 24μs  -- with HLT + standardise + partial lookahead + no save 26μs  -- with HLT + no standardise + full lookahead + save 29μs  -- with HLT + standardise + full lookahead + save 27μs  -- with HLT + no standardise + partial lookahead + save 26μs  -- with HLT + standardise + partial lookahead + save 26μs  -- with Felsch + no standardisation 27μs  -- with Felsch + standardisation 27μs  -- with random strategy 29μs  -- with Rc style + full lookahead 27μs  -- with Rc style + partial lookahead 26μs  -- with R/C style 26μs  -- with CR style 28μs  -- with Cr style 31μs ToddCoxeter 009: 2-sided cong. trans. semigroup . . .  -- with HLT + no standardise + full lookahead + no save 193μs  -- with HLT + standardise + full lookahead + no save 178μs  -- with HLT + no standardise + partial lookahead + no save 164μs  -- with HLT + standardise + partial lookahead + no save 166μs  -- with HLT + no standardise + full lookahead + save 434μs  -- with HLT + standardise + full lookahead + save 434μs  -- with HLT + no standardise + partial lookahead + save 431μs  -- with HLT + standardise + partial lookahead + save 433μs  -- with Felsch + no standardisation 506μs  -- with Felsch + standardisation 373μs  -- with random strategy 168μs  -- with Rc style + full lookahead 161μs  -- with Rc style + partial lookahead 165μs  -- with R/C style 174μs  -- with CR style 376μs  -- with Cr style 816μs ToddCoxeter 010: left congruence on transformation semigroup . . .  -- with HLT + no standardise + full lookahead + no save 181μs  -- with HLT + standardise + full lookahead + no save 182μs  -- with HLT + no standardise + partial lookahead + no save 170μs  -- with HLT + standardise + partial lookahead + no save 179μs  -- with HLT + no standardise + full lookahead + save 464μs  -- with HLT + standardise + full lookahead + save 468μs  -- with HLT + no standardise + partial lookahead + save 454μs  -- with HLT + standardise + partial lookahead + save 467μs  -- with Felsch + no standardisation 398μs  -- with Felsch + standardisation 387μs  -- with random strategy 496μs  -- with Rc style + full lookahead 211μs  -- with Rc style + partial lookahead 198μs  -- with R/C style 216μs  -- with CR style 417μs  -- with Cr style 420μs ToddCoxeter 011: right cong. trans. semigroup . . .  -- with HLT + no standardise + full lookahead + no save 188μs  -- with HLT + standardise + full lookahead + no save 191μs  -- with HLT + no standardise + partial lookahead + no save 176μs  -- with HLT + standardise + partial lookahead + no save 184μs  -- with HLT + no standardise + full lookahead + save 442μs  -- with HLT + standardise + full lookahead + save 452μs  -- with HLT + no standardise + partial lookahead + save 578μs  -- with HLT + standardise + partial lookahead + save 455μs  -- with Felsch + no standardisation 331μs  -- with Felsch + standardisation 357μs  -- with random strategy 219μs  -- with Rc style + full lookahead 205μs  -- with Rc style + partial lookahead 203μs  -- with R/C style 224μs  -- with CR style 352μs  -- with Cr style 353μs ToddCoxeter 012: trans. semigroup (size 88) . . .  -- with HLT + no standardise + full lookahead + no save 122μs  -- with HLT + standardise + full lookahead + no save 110μs  -- with HLT + no standardise + partial lookahead + no save 114μs  -- with HLT + standardise + partial lookahead + no save 109μs  -- with HLT + save (throws) 118μs  -- with Felsch (throws) 113μs  -- with random strategy 117μs ToddCoxeter 013: left cong. on trans. semigroup (size 88) . . .  -- with HLT + no standardise + full lookahead + no save 155μs  -- with HLT + standardise + full lookahead + no save 159μs  -- with HLT + no standardise + partial lookahead + no save 150μs  -- with HLT + standardise + partial lookahead + no save 155μs  -- with HLT + no standardise + full lookahead + save 432μs  -- with HLT + standardise + full lookahead + save 454μs  -- with HLT + no standardise + partial lookahead + save 435μs  -- with HLT + standardise + partial lookahead + save 445μs  -- with Felsch + no standardisation 376μs  -- with Felsch + standardisation 375μs  -- with random strategy 192μs  -- with Rc style + full lookahead 177μs  -- with Rc style + partial lookahead 177μs  -- with R/C style 197μs  -- with CR style 394μs  -- with Cr style 397μs ToddCoxeter 014: right cong. on trans. semigroup (size 88) . . .  -- with HLT + no standardise + full lookahead + no save 165μs  -- with HLT + standardise + full lookahead + no save 164μs  -- with HLT + no standardise + partial lookahead + no save 154μs  -- with HLT + standardise + partial lookahead + no save 159μs  -- with HLT + no standardise + full lookahead + save 412μs  -- with HLT + standardise + full lookahead + save 433μs  -- with HLT + no standardise + partial lookahead + save 415μs  -- with HLT + standardise + partial lookahead + save 427μs  -- with Felsch + no standardisation 305μs  -- with Felsch + standardisation 324μs  -- with random strategy 194μs  -- with Rc style + full lookahead 183μs  -- with Rc style + partial lookahead 181μs  -- with R/C style 206μs  -- with CR style 330μs  -- with Cr style 328μs ToddCoxeter 015: finite fp-semigroup, dihedral group of order 6 . . .  -- with HLT + no standardise + full lookahead + no save 74μs  -- with HLT + standardise + full lookahead + no save 55μs  -- with HLT + no standardise + partial lookahead + no save 47μs  -- with HLT + standardise + partial lookahead + no save 48μs  -- with HLT + no standardise + full lookahead + save 77μs  -- with HLT + standardise + full lookahead + save 64μs  -- with HLT + no standardise + partial lookahead + save 60μs  -- with HLT + standardise + partial lookahead + save 61μs  -- with Felsch + no standardisation 58μs  -- with Felsch + standardisation 54μs  -- with random strategy 58μs  -- with Rc style + full lookahead 51μs  -- with Rc style + partial lookahead 48μs  -- with R/C style 48μs  -- with CR style 57μs  -- with Cr style 54μs ToddCoxeter 016: finite fp-semigroup, size 16 . . .  -- with HLT + no standardise + full lookahead + no save 60μs  -- with HLT + standardise + full lookahead + no save 54μs  -- with HLT + no standardise + partial lookahead + no save 49μs  -- with HLT + standardise + partial lookahead + no save 56μs  -- with HLT + no standardise + full lookahead + save 112μs  -- with HLT + standardise + full lookahead + save 108μs  -- with HLT + no standardise + partial lookahead + save 102μs  -- with HLT + standardise + partial lookahead + save 104μs  -- with Felsch + no standardisation 100μs  -- with Felsch + standardisation 91μs  -- with random strategy 97μs  -- with Rc style + full lookahead 56μs  -- with Rc style + partial lookahead 52μs  -- with R/C style 56μs  -- with CR style 97μs  -- with Cr style 93μs ToddCoxeter 017: finite fp-semigroup, size 16 . . .  -- with HLT + no standardise + full lookahead + no save 151μs  -- with HLT + standardise + full lookahead + no save 137μs  -- with HLT + no standardise + partial lookahead + no save 126μs  -- with HLT + standardise + partial lookahead + no save 131μs  -- with HLT + no standardise + full lookahead + save 279μs  -- with HLT + standardise + full lookahead + save 290μs  -- with HLT + no standardise + partial lookahead + save 286μs  -- with HLT + standardise + partial lookahead + save 289μs  -- with Felsch + no standardisation 265μs  -- with Felsch + standardisation 255μs  -- with random strategy 287μs  -- with Rc style + full lookahead 142μs  -- with Rc style + partial lookahead 134μs  -- with R/C style 142μs  -- with CR style 261μs  -- with Cr style 268μs ToddCoxeter 018: test lookahead . . .  -- with HLT + no standardise + full lookahead + no save 247μs  -- with HLT + standardise + full lookahead + no save 239μs  -- with HLT + no standardise + partial lookahead + no save 213μs  -- with HLT + standardise + partial lookahead + no save 222μs  -- with HLT + no standardise + full lookahead + save 430μs  -- with HLT + standardise + full lookahead + save 417μs  -- with HLT + no standardise + partial lookahead + save 402μs  -- with HLT + standardise + partial lookahead + save 415μs ToddCoxeter 019: non-trivial left cong. from semigroup . . .  -- with HLT + no standardise + full lookahead + no save 122μs  -- with HLT + standardise + full lookahead + no save 116μs  -- with HLT + no standardise + partial lookahead + no save 105μs  -- with HLT + standardise + partial lookahead + no save 108μs  -- with HLT + save (throws) 114μs  -- with Felsch (throws) 112μs  -- with random strategy 117μs ToddCoxeter 020: 2-sided cong. on free semigroup . . .  -- with HLT + no standardise + full lookahead + no save 21μs  -- with HLT + standardise + full lookahead + no save 16μs  -- with HLT + no standardise + partial lookahead + no save 16μs  -- with HLT + standardise + partial lookahead + no save 16μs  -- with HLT + no standardise + full lookahead + save 16μs  -- with HLT + standardise + full lookahead + save 16μs  -- with HLT + no standardise + partial lookahead + save 15μs  -- with HLT + standardise + partial lookahead + save 24μs  -- with Felsch + no standardisation 15μs  -- with Felsch + standardisation 14μs  -- with random strategy 14μs ToddCoxeter 021: calling run when obviously infinite . . .  -- with HLT + no standardise + full lookahead + no save 33μs  -- with HLT + standardise + full lookahead + no save 22μs  -- with HLT + no standardise + partial lookahead + no save 21μs  -- with HLT + standardise + partial lookahead + no save 21μs  -- with HLT + no standardise + full lookahead + save 23μs  -- with HLT + standardise + full lookahead + save 21μs  -- with HLT + no standardise + partial lookahead + save 21μs  -- with HLT + standardise + partial lookahead + save 21μs  -- with Felsch + no standardisation 20μs  -- with Felsch + standardisation 22μs  -- with random strategy 20μs ToddCoxeter 022: stellar_monoid S3 . . .  -- with HLT + no standardise + full lookahead + no save 123μs  -- with HLT + standardise + full lookahead + no save 107μs  -- with HLT + no standardise + partial lookahead + no save 97μs  -- with HLT + standardise + partial lookahead + no save 111μs  -- with HLT + no standardise + full lookahead + save 189μs  -- with HLT + standardise + full lookahead + save 184μs  -- with HLT + no standardise + partial lookahead + save 174μs  -- with HLT + standardise + partial lookahead + save 180μs  -- with Felsch + no standardisation 169μs  -- with Felsch + standardisation 156μs  -- with random strategy 164μs  -- with Rc style + full lookahead 110μs  -- with Rc style + partial lookahead 103μs  -- with R/C style 105μs  -- with CR style 168μs  -- with Cr style 162μs ToddCoxeter 023: finite semigroup (size 5) . . .  -- with HLT + no standardise + full lookahead + no save 35μs  -- with HLT + standardise + full lookahead + no save 26μs  -- with HLT + no standardise + partial lookahead + no save 24μs  -- with HLT + standardise + partial lookahead + no save 23μs  -- with HLT + no standardise + full lookahead + save 29μs  -- with HLT + standardise + full lookahead + save 27μs  -- with HLT + no standardise + partial lookahead + save 26μs  -- with HLT + standardise + partial lookahead + save 26μs  -- with Felsch + no standardisation 26μs  -- with Felsch + standardisation 27μs  -- with random strategy 26μs  -- with Rc style + full lookahead 25μs  -- with Rc style + partial lookahead 24μs  -- with R/C style 24μs  -- with CR style 27μs  -- with Cr style 26μs ToddCoxeter 024: exceptions . . .  -- with HLT + no standardise + full lookahead + no save 155μs  -- with HLT + standardise + full lookahead + no save 131μs  -- with HLT + no standardise + partial lookahead + no save 129μs  -- with HLT + standardise + partial lookahead + no save 128μs  -- with HLT + no standardise + full lookahead + save 132μs  -- with HLT + standardise + full lookahead + save 132μs  -- with HLT + no standardise + partial lookahead + save 141μs  -- with HLT + standardise + partial lookahead + save 131μs  -- with Felsch + no standardisation 138μs  -- with Felsch + standardisation 127μs  -- with random strategy 121μs  -- with Rc style + full lookahead 121μs  -- with Rc style + partial lookahead 120μs  -- with R/C style 119μs  -- with CR style 123μs  -- with Cr style 122μs ToddCoxeter 025: obviously infinite . . .  -- with HLT + no standardise + full lookahead + no save 33μs  -- with HLT + standardise + full lookahead + no save 27μs  -- with HLT + no standardise + partial lookahead + no save 25μs  -- with HLT + standardise + partial lookahead + no save 26μs  -- with HLT + no standardise + full lookahead + save 26μs  -- with HLT + standardise + full lookahead + save 24μs  -- with HLT + no standardise + partial lookahead + save 24μs  -- with HLT + standardise + partial lookahead + save 24μs  -- with Felsch + no standardisation 24μs  -- with Felsch + standardisation 24μs  -- with random strategy 24μs ToddCoxeter 026: exceptions . . .  -- with HLT + no standardise + full lookahead + no save 124μs  -- with HLT + standardise + full lookahead + no save 99μs  -- with HLT + no standardise + partial lookahead + no save 96μs  -- with HLT + standardise + partial lookahead + no save 99μs  -- with HLT + no standardise + full lookahead + save 104μs  -- with HLT + standardise + full lookahead + save 101μs  -- with HLT + no standardise + partial lookahead + save 100μs  -- with HLT + standardise + partial lookahead + save 99μs  -- with Felsch + no standardisation 97μs  -- with Felsch + standardisation 99μs  -- with random strategy 93μs  -- with Rc style + full lookahead 97μs  -- with Rc style + partial lookahead 96μs  -- with R/C style 98μs  -- with CR style 91μs  -- with Cr style 93μs ToddCoxeter 027: empty . . . 70μs ToddCoxeter 028: congruence of fpsemigroup::ToddCoxeter . . .  -- with HLT + no standardise + full lookahead + no save 135μs  -- with HLT + standardise + full lookahead + no save 87μs  -- with HLT + no standardise + partial lookahead + no save 84μs  -- with HLT + standardise + partial lookahead + no save 81μs  -- with HLT + save (throws) 85μs  -- with Felsch (throws) 83μs  -- with random strategy 86μs  -- with HLT + no standardise + full lookahead + save 84μs  -- with HLT + standardise + full lookahead + save 92μs  -- with HLT + no standardise + partial lookahead + save 85μs  -- with HLT + standardise + partial lookahead + save 82μs  -- with Felsch + no standardisation 81μs  -- with Felsch + standardisation 81μs  -- with Rc style + full lookahead 82μs  -- with Rc style + partial lookahead 78μs  -- with R/C style 77μs  -- with CR style 80μs  -- with Cr style 80μs ToddCoxeter 029: !KnuthBendix.started() . . .  -- with HLT + no standardise + full lookahead + no save and 2-sided 67μs  -- with HLT + standardise + full lookahead + no save and 2-sided 45μs  -- with HLT + no standardise + partial lookahead + no save and 2-sided 40μs  -- with HLT + standardise + partial lookahead + no save and 2-sided 39μs  -- with HLT + no standardise + full lookahead + save and 2-sided 45μs  -- with HLT + standardise + full lookahead + save and 2-sided 44μs  -- with HLT + no standardise + partial lookahead + save and 2-sided 43μs  -- with HLT + standardise + partial lookahead + save and 2-sided 42μs  -- with Felsch + no standardisation and 2-sided 42μs  -- with Felsch + standardisation and 2-sided 41μs  -- with random strategy and 2-sided 44μs  -- with HLT + no standardise + full lookahead + no save and left 56μs  -- with HLT + standardise + full lookahead + no save and left 43μs  -- with HLT + no standardise + partial lookahead + no save and left 43μs  -- with HLT + standardise + partial lookahead + no save and left 40μs  -- with HLT + no standardise + full lookahead + save and left 48μs  -- with HLT + standardise + full lookahead + save and left 48μs  -- with HLT + no standardise + partial lookahead + save and left 47μs  -- with HLT + standardise + partial lookahead + save and left 44μs  -- with Felsch + no standardisation and left 44μs  -- with Felsch + standardisation and left 43μs  -- with random strategy and left 41μs  -- with HLT + no standardise + full lookahead + no save and right 41μs  -- with HLT + standardise + full lookahead + no save and right 38μs  -- with HLT + no standardise + partial lookahead + no save and right 39μs  -- with HLT + standardise + partial lookahead + no save and right 38μs  -- with HLT + no standardise + full lookahead + save and right 44μs  -- with HLT + standardise + full lookahead + save and right 44μs  -- with HLT + no standardise + partial lookahead + save and right 44μs  -- with HLT + standardise + partial lookahead + save and right 43μs  -- with Felsch + no standardisation and right 42μs  -- with Felsch + standardisation and right 43μs  -- with random strategy and right 45μs ToddCoxeter 030: KnuthBendix.finished() . . .  -- with HLT + no standardise + full lookahead + no save and 2-sided 137μs  -- with HLT + standardise + full lookahead + no save and 2-sided 101μs  -- with HLT + no standardise + partial lookahead + no save and 2-sided 102μs  -- with HLT + standardise + partial lookahead + no save and 2-sided 95μs  -- with HLT + no standardise + full lookahead + save and 2-sided 107μs  -- with HLT + standardise + full lookahead + save and 2-sided 90μs  -- with HLT + no standardise + partial lookahead + save and 2-sided 217μs  -- with HLT + standardise + partial lookahead + save and 2-sided 92μs  -- with Felsch + no standardisation and 2-sided 91μs  -- with Felsch + standardisation and 2-sided 86μs  -- with random strategy and 2-sided 88μs  -- with HLT + no standardise + full lookahead + no save and left 93μs  -- with HLT + standardise + full lookahead + no save and left 88μs  -- with HLT + no standardise + partial lookahead + no save and left 88μs  -- with HLT + standardise + partial lookahead + no save and left 86μs  -- with HLT + no standardise + full lookahead + save and left 95μs  -- with HLT + standardise + full lookahead + save and left 94μs  -- with HLT + no standardise + partial lookahead + save and left 93μs  -- with HLT + standardise + partial lookahead + save and left 92μs  -- with Felsch + no standardisation and left 107μs  -- with Felsch + standardisation and left 99μs  -- with random strategy and left 104μs  -- with HLT + no standardise + full lookahead + no save and right 119μs  -- with HLT + standardise + full lookahead + no save and right 134μs  -- with HLT + no standardise + partial lookahead + no save and right 129μs  -- with HLT + standardise + partial lookahead + no save and right 132μs  -- with HLT + no standardise + full lookahead + save and right 140μs  -- with HLT + standardise + full lookahead + save and right 141μs  -- with HLT + no standardise + partial lookahead + save and right 138μs  -- with HLT + standardise + partial lookahead + save and right 137μs  -- with Felsch + no standardisation and right 121μs  -- with Felsch + standardisation and right 120μs  -- with random strategy and right 140μs ToddCoxeter 031: KnuthBendix.finished() . . .  -- with HLT + no standardise + full lookahead + no save and 2-sided 98μs  -- with HLT + standardise + full lookahead + no save and 2-sided 73μs  -- with HLT + no standardise + partial lookahead + no save and 2-sided 69μs  -- with HLT + standardise + partial lookahead + no save and 2-sided 72μs  -- with HLT + no standardise + full lookahead + save and 2-sided 71μs  -- with HLT + standardise + full lookahead + save and 2-sided 70μs  -- with HLT + no standardise + partial lookahead + save and 2-sided 70μs  -- with HLT + standardise + partial lookahead + save and 2-sided 68μs  -- with Felsch + no standardisation and 2-sided 64μs  -- with Felsch + standardisation and 2-sided 70μs  -- with random strategy and 2-sided 71μs  -- with Rc style + full lookahead and 2-sided 69μs  -- with Rc style + partial lookahead and 2-sided 68μs  -- with R/C style and 2-sided 64μs  -- with CR style and 2-sided 70μs  -- with Cr style and 2-sided 70μs  -- with HLT + no standardise + full lookahead + no save and left 74μs  -- with HLT + standardise + full lookahead + no save and left 69μs  -- with HLT + no standardise + partial lookahead + no save and left 67μs  -- with HLT + standardise + partial lookahead + no save and left 67μs  -- with HLT + no standardise + full lookahead + save and left 74μs  -- with HLT + standardise + full lookahead + save and left 73μs  -- with HLT + no standardise + partial lookahead + save and left 73μs  -- with HLT + standardise + partial lookahead + save and left 73μs  -- with Felsch + no standardisation and left 71μs  -- with Felsch + standardisation and left 69μs  -- with random strategy and left 85μs  -- with Rc style + full lookahead and left 74μs  -- with Rc style + partial lookahead and left 72μs  -- with R/C style and left 68μs  -- with CR style and left 73μs  -- with Cr style and left 76μs  -- with HLT + no standardise + full lookahead + no save and right 83μs  -- with HLT + standardise + full lookahead + no save and right 69μs  -- with HLT + no standardise + partial lookahead + no save and right 67μs  -- with HLT + standardise + partial lookahead + no save and right 66μs  -- with HLT + no standardise + full lookahead + save and right 71μs  -- with HLT + standardise + full lookahead + save and right 172μs  -- with HLT + no standardise + partial lookahead + save and right 73μs  -- with HLT + standardise + partial lookahead + save and right 72μs  -- with Felsch + no standardisation and right 70μs  -- with Felsch + standardisation and right 69μs  -- with random strategy and right 76μs  -- with Rc style + full lookahead and right 78μs  -- with Rc style + partial lookahead and right 72μs  -- with R/C style and right 69μs  -- with CR style and right 74μs  -- with Cr style and right 76μs ToddCoxeter 032: prefill . . . 96μs ToddCoxeter 033: congruence of ToddCoxeter . . .  -- with HLT + no standardise + full lookahead + no save 40μs  -- with HLT + standardise + full lookahead + no save 30μs  -- with HLT + no standardise + partial lookahead + no save 29μs  -- with HLT + standardise + partial lookahead + no save 28μs  -- with HLT + no standardise + full lookahead + save 33μs  -- with HLT + standardise + full lookahead + save 31μs  -- with HLT + no standardise + partial lookahead + save 30μs  -- with HLT + standardise + partial lookahead + save 30μs  -- with random strategy 30μs ToddCoxeter 034: congruence of ToddCoxeter . . .  -- with HLT + no standardise + full lookahead + no save 94μs  -- with HLT + standardise + full lookahead + no save 83μs  -- with HLT + no standardise + partial lookahead + no save 77μs  -- with HLT + standardise + partial lookahead + no save 77μs  -- with HLT + save (throws) 88μs  -- with Felsch (throws) 84μs  -- with random strategy 83μs ToddCoxeter 035: congruence on FpSemigroup . . .  -- with HLT + no standardise + full lookahead + no save 256μs  -- with HLT + standardise + full lookahead + no save 233μs  -- with HLT + no standardise + partial lookahead + no save 222μs  -- with HLT + standardise + partial lookahead + no save 223μs  -- with HLT + no standardise + full lookahead + save 257μs  -- with HLT + standardise + full lookahead + save 267μs  -- with HLT + no standardise + partial lookahead + save 256μs  -- with HLT + standardise + partial lookahead + save 256μs  -- with Felsch + no standardisation 254μs  -- with Felsch + standardisation 254μs  -- with random strategy 259μs  -- with Rc style + full lookahead 218μs  -- with Rc style + partial lookahead 209μs  -- with R/C style 207μs  -- with CR style 242μs  -- with Cr style 242μs ToddCoxeter 036: exceptions . . . 69μs ToddCoxeter 037: copy constructor . . . 31μs ToddCoxeter 038: simplify . . . 125μs ToddCoxeter 039: stylic_monoid . . . 571ms ToddCoxeter 041: some finite classes . . . 365μs ToddCoxeter 043: symmetric_group(7, Coxeter + Moser) . . . 113ms ToddCoxeter 044: Option exceptions . . . 47μs ToddCoxeter 045: Options operator<< . . . 383μs ToddCoxeter 046: Easdown-East-FitzGerald DualSymInv(5) . . .  -- with HLT + no standardise + full lookahead + no save 142ms  -- with HLT + standardise + full lookahead + no save 157ms  -- with HLT + no standardise + partial lookahead + no save 141ms  -- with HLT + standardise + partial lookahead + no save 157ms  -- with HLT + no standardise + full lookahead + save 104ms  -- with HLT + standardise + full lookahead + save 104ms  -- with HLT + no standardise + partial lookahead + save 104ms  -- with HLT + standardise + partial lookahead + save 105ms  -- with Felsch + no standardisation 111ms  -- with Felsch + standardisation 111ms  -- with random strategy 145ms  -- with R/C style 148ms  -- with Rc style + full lookahead 115ms  -- with Rc style + partial lookahead 116ms ToddCoxeter 047: uniform_block_bijection_monoid(3) (FitzGerald) . . .  -- with HLT + no standardise + full lookahead + no save 85μs  -- with HLT + standardise + full lookahead + no save 68μs  -- with HLT + no standardise + partial lookahead + no save 60μs  -- with HLT + standardise + partial lookahead + no save 61μs  -- with HLT + no standardise + full lookahead + save 140μs  -- with HLT + standardise + full lookahead + save 141μs  -- with HLT + no standardise + partial lookahead + save 141μs  -- with HLT + standardise + partial lookahead + save 132μs  -- with Felsch + no standardisation 107μs  -- with Felsch + standardisation 99μs  -- with random strategy 103μs  -- with R/C style 70μs  -- with Rc style + full lookahead 63μs  -- with Rc style + partial lookahead 76μs ToddCoxeter 048: stellar_monoid(7) (Gay-Hivert) . . . 112ms ToddCoxeter 049: partition_monoid(4) (East) . . .  -- with HLT + no standardise + full lookahead + no save 24ms  -- with HLT + standardise + full lookahead + no save 24ms  -- with HLT + no standardise + partial lookahead + no save 23ms  -- with HLT + standardise + partial lookahead + no save 24ms  -- with HLT + no standardise + full lookahead + save 41ms  -- with HLT + standardise + full lookahead + save 42ms  -- with HLT + no standardise + partial lookahead + save 40ms  -- with HLT + standardise + partial lookahead + save 42ms  -- with Felsch + no standardisation 47ms  -- with Felsch + standardisation 47ms  -- with random strategy 49ms  -- with R/C style 26ms  -- with Rc style + full lookahead 50ms  -- with Rc style + partial lookahead 51ms ToddCoxeter 050: singular_brauer_monoid(6) (Maltcev + Mazorchuk) . . . 462ms ToddCoxeter 051: orientation_preserving_monoid(6) (Ruskuc + [...] . . .  -- with HLT + no standardise + full lookahead + no save 18ms ToddCoxeter 052: orientation_reversing_monoid(5) (Ruskuc + [...] . . .  -- with HLT + no standardise + full lookahead + no save 4895μs ToddCoxeter 053: temperley_lieb_monoid(10) (East) . . . 27ms ToddCoxeter 063: add_rule . . .  -- with HLT + no standardise + full lookahead + no save 79μs  -- with HLT + standardise + full lookahead + no save 48μ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 58μs  -- with HLT + standardise + full lookahead + save 48μs  -- with HLT + no standardise + partial lookahead + save 48μs  -- with HLT + standardise + partial lookahead + save 45μs  -- with Felsch + no standardisation 47μs  -- with Felsch + standardisation 45μs  -- with random strategy 45μs  -- with Rc style + full lookahead 48μs  -- with Rc style + partial lookahead 43μs  -- with R/C style 43μs  -- with CR style 46μs  -- with Cr style 45μs  -- with R/C + Felsch lookahead 47μs  -- with HLT + Felsch lookahead + save 47μs  -- with Cr + small number of f_defs 47μs  -- with Rc + small number of deductions 42μs  -- with Felsch + v2 + no preferred defs 44μs  -- with Felsch + v2 + immediate no stack 46μs  -- with Felsch + v1 + immediate no stack 54μs  -- with Felsch + v1 + immediate yes stack 42μs  -- with large collapse 40μs ToddCoxeter 064: (from kbmag/standalone/kb_data/s4) (KnuthB [...] . . .  -- with HLT + no standardise + full lookahead + no save 199μs ToddCoxeter 066: test validate . . . 46μs ToddCoxeter 067: add_rules after construct. from semigroup . . .  -- with HLT + no standardise + full lookahead + no save 291μs  -- with HLT + standardise + full lookahead + no save 269μs  -- with HLT + no standardise + partial lookahead + no save 254μs  -- with HLT + standardise + partial lookahead + no save 239μs  -- with HLT + save (throws) 241μs  -- with Felsch (throws) 236μs  -- with random strategy 230μs ToddCoxeter 068: Sym(5) from Chapter 3, Proposition 1.1 in NR . . .  -- with Deduction policy == purge_from_top 523μs  -- with Deduction policy == purge_all 496μs  -- with Deduction policy == discard_all_if_no_space 491μs  -- with HLT + no standardise + full lookahead + no save 614μs  -- with HLT + standardise + full lookahead + no save 830μs  -- with HLT + no standardise + partial lookahead + no save 603μs  -- with HLT + standardise + partial lookahead + no save 820μs  -- with HLT + no standardise + full lookahead + save 890μs  -- with HLT + standardise + full lookahead + save 914μs  -- with HLT + no standardise + partial lookahead + save 875μs  -- with HLT + standardise + partial lookahead + save 921μs  -- with Felsch + no standardisation 547μs  -- with Felsch + standardisation 534μs  -- with random strategy 585μs  -- with Rc style + full lookahead 1228μs  -- with Rc style + partial lookahead 1585μs  -- with R/C style 635μs  -- with CR style 572μs  -- with Cr style 573μs ToddCoxeter 069: Chapter 7, Theorem 3.6 in NR (size 243) . . .  -- with HLT + no standardise + full lookahead + no save 253μs  -- with HLT + standardise + full lookahead + no save 291μs  -- with HLT + no standardise + partial lookahead + no save 245μs  -- with HLT + standardise + partial lookahead + no save 287μs  -- with HLT + no standardise + full lookahead + save 376μs  -- with HLT + standardise + full lookahead + save 398μs  -- with HLT + no standardise + partial lookahead + save 363μs  -- with HLT + standardise + partial lookahead + save 392μs  -- with Felsch + no standardisation 1689μs  -- with Felsch + standardisation 1716μs  -- with random strategy 404μs  -- with Rc style + full lookahead 277μs  -- with Rc style + partial lookahead 259μs  -- with R/C style 267μs  -- with CR style 1576μs  -- with Cr style 1661μs ToddCoxeter 070: finite semigroup (size 99) . . .  -- with HLT + no standardise + full lookahead + no save 119μs  -- with HLT + standardise + full lookahead + no save 117μs  -- with HLT + no standardise + partial lookahead + no save 98μs  -- with HLT + standardise + partial lookahead + no save 109μs  -- with HLT + no standardise + full lookahead + save 155μs  -- with HLT + standardise + full lookahead + save 161μs  -- with HLT + no standardise + partial lookahead + save 142μs  -- with HLT + standardise + partial lookahead + save 154μs  -- with Felsch + no standardisation 301μs  -- with Felsch + standardisation 294μs  -- with random strategy 305μs  -- with Rc style + full lookahead 109μs  -- with Rc style + partial lookahead 112μs  -- with R/C style 106μs  -- with CR style 337μs  -- with Cr style 309μs ToddCoxeter 080: KnuthBendix 098 . . .  -- with HLT + no standardise + full lookahead + no save 440ms  -- with HLT + standardise + full lookahead + no save 474ms  -- with HLT + no standardise + partial lookahead + no save 449ms  -- with HLT + standardise + partial lookahead + no save 826ms  -- with HLT + no standardise + full lookahead + save 285ms  -- with HLT + standardise + full lookahead + save 278ms  -- with HLT + no standardise + partial lookahead + save 285ms  -- with HLT + standardise + partial lookahead + save 288ms  -- with Felsch + no standardisation 262ms  -- with Felsch + standardisation 258ms  -- with random strategy 281ms  -- with Rc style + full lookahead 256ms  -- with Rc style + partial lookahead 261ms  -- with R/C style 423ms  -- with CR style 267ms  -- with Cr style 258ms ToddCoxeter 084: Campbell-Reza 1 . . .  -- with HLT + no standardise + full lookahead + no save 115μs  -- with HLT + standardise + full lookahead + no save 74μs  -- with HLT + no standardise + partial lookahead + no save 71μs  -- with HLT + standardise + partial lookahead + no save 67μs  -- with HLT + no standardise + full lookahead + save 87μs  -- with HLT + standardise + full lookahead + save 71μs  -- with HLT + no standardise + partial lookahead + save 69μs  -- with HLT + standardise + partial lookahead + save 67μs  -- with Felsch + no standardisation 76μs  -- with Felsch + standardisation 71μs  -- with random strategy 63μs  -- with Rc style + full lookahead 59μs  -- with Rc style + partial lookahead 57μs  -- with R/C style 60μs  -- with CR style 74μs  -- with Cr style 73μs ToddCoxeter 085: Renner monoid type D4 (Gay-Hivert), q = 1 . . .  -- with HLT + no standardise + full lookahead + no save 135ms  -- with HLT + standardise + full lookahead + no save 82ms  -- with HLT + no standardise + partial lookahead + no save 83ms  -- with HLT + standardise + partial lookahead + no save 83ms  -- with HLT + no standardise + full lookahead + save 82ms  -- with HLT + standardise + full lookahead + save 83ms  -- with HLT + no standardise + partial lookahead + save 81ms  -- with HLT + standardise + partial lookahead + save 83ms  -- with Felsch + no standardisation 83ms  -- with Felsch + standardisation 81ms  -- with random strategy 81ms  -- with Rc style + full lookahead 81ms  -- with Rc style + partial lookahead 82ms  -- with R/C style 82ms  -- with CR style 83ms  -- with Cr style 82ms ToddCoxeter 086: trivial semigroup . . . 236ms ToddCoxeter 092: ACE --- perf602p5 - HLT . . .  -- with HLT + no standardise + full lookahead + no save 28ms  -- with HLT + standardise + full lookahead + no save 26ms  -- with HLT + no standardise + partial lookahead + no save 27ms  -- with HLT + standardise + partial lookahead + no save 27ms  -- with HLT + no standardise + full lookahead + save 11ms  -- with HLT + standardise + full lookahead + save 11ms  -- with HLT + no standardise + partial lookahead + save 11ms  -- with HLT + standardise + partial lookahead + save 11ms  -- with random strategy 28ms  -- with Felsch + no standardisation 8739μs  -- with Felsch + standardisation 8740μs ToddCoxeter 094: ACE --- C5 - HLT . . .  -- with HLT + no standardise + full lookahead + no save 93μs  -- with HLT + standardise + full lookahead + no save 73μs  -- with HLT + no standardise + partial lookahead + no save 71μs  -- with HLT + standardise + partial lookahead + no save 67μs  -- with HLT + no standardise + full lookahead + save 87μs  -- with HLT + standardise + full lookahead + save 85μs  -- with HLT + no standardise + partial lookahead + save 84μs  -- with HLT + standardise + partial lookahead + save 83μs  -- with random strategy 76μs  -- with Felsch + no standardisation 84μs  -- with Felsch + standardisation 80μs ToddCoxeter 095: ACE --- A5-C5 . . .  -- with HLT + no standardise + full lookahead + no save 116μs  -- with HLT + standardise + full lookahead + no save 123μs  -- with HLT + no standardise + partial lookahead + no save 103μs  -- with HLT + standardise + partial lookahead + no save 115μs  -- with HLT + no standardise + full lookahead + save 143μs  -- with HLT + standardise + full lookahead + save 142μs  -- with HLT + no standardise + partial lookahead + save 138μs  -- with HLT + standardise + partial lookahead + save 140μs  -- with random strategy 123μs  -- with Felsch + no standardisation 128μs  -- with Felsch + standardisation 125μs ToddCoxeter 096: ACE --- A5 . . .  -- with HLT + no standardise + full lookahead + no save 172μs  -- with HLT + standardise + full lookahead + no save 192μs  -- with HLT + no standardise + partial lookahead + no save 150μs  -- with HLT + standardise + partial lookahead + no save 185μs  -- with HLT + no standardise + full lookahead + save 275μs  -- with HLT + standardise + full lookahead + save 281μs  -- with HLT + no standardise + partial lookahead + save 267μs  -- with HLT + standardise + partial lookahead + save 275μs  -- with random strategy 294μs  -- with Felsch + no standardisation 217μs  -- with Felsch + standardisation 206μs ToddCoxeter 098: relation ordering . . .  -- with Felsch + no standardisation 438μs  -- with Felsch + standardisation 385μs  -- with HLT + no standardise + full lookahead + no save 220μs  -- with HLT + standardise + full lookahead + no save 211μs  -- with HLT + no standardise + partial lookahead + no save 209μs  -- with HLT + standardise + partial lookahead + no save 204μs  -- with HLT + no standardise + full lookahead + save 411μs  -- with HLT + standardise + full lookahead + save 414μs  -- with HLT + no standardise + partial lookahead + save 413μs  -- with HLT + standardise + partial lookahead + save 414μs  -- with random strategy 237μs ToddCoxeter 099: short circuit size in obviously infinite . . . 16μs ToddCoxeter 101: http://brauer.maths.qmul.ac.uk/Atlas/spor/M [...] . . . 487ms ToddCoxeter 108: http://brauer.maths.qmul.ac.uk/Atlas/lin/L3 [...] . . . 399ms ToddCoxeter 110: to_gap_string . . . 100μs ToddCoxeter 111: partition_monoid(2) . . . 85μs ToddCoxeter 112: brauer_monoid(4) (Kudryavtseva + Mazorchuk) . . . 308μs ToddCoxeter 113: symmetric_inverse_monoid . . . 13ms ToddCoxeter 116: symmetric_group(7, Burnside + Miller) . . . 330ms UF 001: constructor by size . . . 14μs UF 002: copy constructor . . . 19μs UF 003: find . . . 16μs Ukkonen 000: basic tests . . . 39ms Ukkonen 001: maximal_piece_prefix 1 . . . 30μs Ukkonen 002: maximal_piece_prefix 2 . . . 34μs Ukkonen 003: maximal_piece_prefix 3 . . . 168μs Ukkonen 004: number_of_pieces . . . 59μs Ukkonen 005: traverse . . . 18μs Ukkonen 006: dot . . . 143μs Ukkonen 007: strings . . . 43μs Ukkonen 008: dfs #01 . . . 27μs Ukkonen 009: dfs #02 . . . 26μs Ukkonen 010: dfs #03 . . . 25μs Ukkonen 011: dfs #04 . . . 68μs Ukkonen 012: dfs #05 . . . 40μs Ukkonen 013: dfs #06 . . . 35μs Ukkonen 014: dfs #07 . . . 93μs Ukkonen 015: dfs #08 . . . 54μs Ukkonen 016: dfs #09 . . . 81μs Ukkonen 017: dfs #10 . . . 24μs Ukkonen 018: pieces . . . 28μs Ukkonen 019: code coverage . . . 36μs Ukkonen 020: code coverage . . . 9000ns action_digraph_helper 015: detail::to_string . . . 21μs action_digraph_helper 016: make . . . 40μs action_digraph_helper 017: is_connected . . . 122μs action_digraph_helper 018: is_strictly_cyclic . . . 6952μs follow_path 012: 20 node path . . . 18μs fpsemi-examples 002: full_transformation_monoid author except . . . 25μs fpsemi-examples 003: full_transformation_monoid degree except . . . 16μs fpsemi-examples 005: partial_transformation_monoid author except . . . 20μs fpsemi-examples 006: partial_transformation_monoid degree except . . . 16μs fpsemi-examples 007: symmetric_inverse_monoid(5) . . . 13ms fpsemi-examples 008: symmetric_group auth except . . . 22μs fpsemi-examples 009: symmetric_group degree except . . . 16μs fpsemi-examples 010: symmetric_group(6) Burnside + Miller . . . 19ms fpsemi-examples 011: dual_symmetric_inverse_monoid(5) . . . 142ms fpsemi-examples 012: dual_symmetric_inverse_monoid auth except . . . 23μs fpsemi-examples 013: dual_symmetric_inverse_monoid degree except . . . 16μs fpsemi-examples 014: uniform_block_bijection_monoid(5) . . . 9221μs fpsemi-examples 015: uniform_block_bijection_monoid auth except . . . 22μs fpsemi-examples 016: uniform_block_bijection_monoid degree except . . . 16μs fpsemi-examples 019: partition_monoid auth except . . . 46μs fpsemi-examples 020: partition_monoid degree except . . . 22μs fpsemi-examples 022: monogenic_semigroup(4, 9) . . . 39μs fpsemi-examples 023: fibonacci_semigroup(2, 5) . . . 69μs fpsemi-examples 024: temperley_lieb_monoid(10) . . . 32ms fpsemi-examples 025: singular_brauer_monoid(6) . . . 306ms fpsemi-examples 026: orientation_preserving_monoid(6) . . . 18ms fpsemi-examples 027: orientation_reversing_monoid(5) . . . 4910μs fpsemi-examples 028: chinese_monoid(3) . . . 103μs fpsemi-examples 029: plactic_monoid(3) . . . 87μs fpsemi-examples 030: stylic_monoid(3) . . . 611μs fpsemi-examples 031: symmetric_group(6) Carmichael . . . 11ms fpsemi-examples 032: symmetric_group(6) Moore index 0 . . . 8010μs fpsemi-examples 033: symmetric_group(6) Coxeter + Moser . . . 4509μs fpsemi-examples 034: test for the rook monoid . . . 214μs fpsemi-examples 035: alternating_group(7) Moore . . . 17ms fpsemi-examples 036: alternating_group auth except . . . 22μs fpsemi-examples 037: alternating_group degree except . . . 16μs fpsemi-examples 038: partial_transformation_monoid(3) Machine . . . 289μs fpsemi-examples 039: chinese_monoid degree except . . . 25μs fpsemi-examples 040: monogenic_semigroup degree except . . . 22μs fpsemi-examples 041: rectangular_band degree except . . . 32μs fpsemi-examples 042: stellar_monoid degree except . . . 21μs fpsemi-examples 043: plactic_monoid degree except . . . 20μs fpsemi-examples 044: stylic_monoid degree except . . . 19μs fpsemi-examples 045: temperley_lieb_monoid degree except . . . 25μs fpsemi-examples 046: singular_brauer_monoid degree except . . . 24μs fpsemi-examples 047: orientation_preserving_monoid degree except . . . 24μs fpsemi-examples 048: orientation_reversing_monoid degree except . . . 24μs fpsemi-examples 049: test default values . . . 2236μs fpsemi-examples 052: not_symmetric_group(5) Guralnick + Kant [...] . . . 1951μs fpsemi-examples 053: order_preserving_monoid(5) . . . 479μs fpsemi-examples 055: order_preserving_monoid degree except . . . 31μs fpsemi-examples 056: cyclic_inverse_monoid(4) Fernandes 1 . . . 190μs fpsemi-examples 057: cyclic_inverse_monoid(8) Fernandes index 1 . . . 11ms fpsemi-examples 058: cyclic_inverse_monoid Fernandes index 0 . . . 18ms fpsemi-examples 059: order_preserving_cyclic_inverse_monoid(4) . . . 123μs fpsemi-examples 060: order_preserving_cyclic_inverse_monoid(10) . . . 21ms fpsemi-examples 061: cyclic_inverse_monoid degree except . . . 42μs fpsemi-examples 062: cyclic_inverse_monoid author except . . . 22μs fpsemi-examples 063: order_preserving_monoid degree except . . . 22μs fpsemi-examples 064: symmetric_group index except . . . 20μs fpsemi-examples 065: symmetric_group(7) Moore index 1 . . . 4539μs fpsemi-examples 066: order_preserving_cyclic_inverse_monoid(10) . . . 21ms fpsemi-examples 067: partial_isometries_cycle_graph_monoid(5) . . . 486μs fpsemi-examples 068: partial_isometries_cycle_graph_monoid(10) . . . 187ms fpsemi-examples 069: partial_isometries_cycle_graph_monoid d [...] . . . 30μs fpsemi-examples 070: partial_isometries_cycle_graph_monoid(4) . . . 208μs freeband_equal_to 001: . . . 771μs is_acyclic 000: 2-cycle . . . 12μs is_acyclic 001: 1-cycle . . . 11μs is_acyclic 002: multi-digraph . . . 13μs is_acyclic 003: complete digraph 100 . . . 94μs is_acyclic 004: acyclic digraph with 20000 nodes . . . 1794μs is_acyclic 006: for a node . . . 616μs is_acyclic 007: for a node . . . 15μs is_reachable 008: acyclic 20 node digraph . . . 33μs is_reachable 009: 100 node path . . . 6567μs is_reachable 010: 100 node cycle . . . 6445μs is_reachable 011: 20 node clique . . . 279μs last_node_on_path_nc 014: 20 node path . . . 13μs make 000: from FroidurePin . . . 390μs make 001: from FroidurePin and alphabet . . . 464μs make 002: presentation from presentation . . . 134μs make 003: presentation from presentation and alphabet . . . 32μs make 004: argument checks issue . . . 68μs make 005: use human readable alphabet for make . . . 16μs make> 000: from ActionDigraph . . . 1123μs make> 001: from ActionDigraph (exceptions) . . . 33μs number_of_words 001: . . . 19μs operator"" _w 003: literal . . . 12μs silo 000: alphabet: a, min: 0, max: 10 . . . 35μs silo 001: corner cases . . . 21μs silo 002: alphabet: ab, min: 1, max: 4 . . . 37μs silo 003: alphabet: abc, min: 0, max: 13 . . . 61ms silo 004: code coverage . . . 22μs sislo 005: alphabet: a, min: 0, max: 10 . . . 40μs sislo 006: corner cases . . . 44μs sislo 007: alphabet: ab, min: 1, max: 4 . . . 74μs sislo 008: alphabet: abc, min: 0, max: 13 . . . 59ms sislo 009: code coverage . . . 21μs string 000: detail::is_suffix . . . 11μs string 001: detail::is_prefix . . . 11μs string 002: detail::maximum_common_suffix . . . 10μs string 003: detail::group_digits . . . 20μs string_to_word 002: . . . 17μs validate_label 013: 20 node path . . . 33μs wilo 001: corner cases . . . 28μs wilo 002: letters: 2, min: 1, max: 4 . . . 28μs wilo 003: letters: 2, min: 1, max: 4 . . . 40μs wilo 004: letters: 3, min: 0, max: 10 . . . 10ms wilo 005: letters: 3, min: 0, max: 13 . . . 153ms wilo 006: forward iterator requirements . . . 150ms wilo 007: more corner cases . . . 54μs wilo 008: starting at a given word 1 . . . 124μs wilo 009: starting at a given word 2 . . . 17μs wilo 010: code coverage . . . 16μs wislo 000: n: 2, min; 1, max: 4 . . . 22μs wislo 001: corner cases . . . 31μs wislo 002: n: 3, min; 0, max: 10 . . . 4021μs wislo 003: n: 3, min; 0, max: 13 . . . 144ms wislo 004: lex + sort . . . 391ms wislo 005: code coverage . . . 25μs =============================================================================== All tests passed (1290401 assertions in 1201 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/include/libsemigroups/HPCombi/include/fallback' ./config/install-sh -c -d '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups/HPCombi/include' ./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 extern/HPCombi/include/fallback/gcdlcm.hpp extern/HPCombi/include/fallback/seq.hpp '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups/HPCombi/include/fallback' /usr/bin/install -c -m 644 libsemigroups.pc '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/pkgconfig' /usr/bin/install -c -m 644 extern/HPCombi/include/bmat8.hpp extern/HPCombi/include/bmat8_impl.hpp extern/HPCombi/include/epu.hpp extern/HPCombi/include/epu_impl.hpp extern/HPCombi/include/hpcombi.hpp extern/HPCombi/include/perm16.hpp extern/HPCombi/include/perm16_impl.hpp extern/HPCombi/include/perm_generic.hpp extern/HPCombi/include/perm_generic_impl.hpp extern/HPCombi/include/power.hpp extern/HPCombi/include/testtools.hpp extern/HPCombi/include/vect16.hpp extern/HPCombi/include/vect_generic.hpp '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups/HPCombi/include' /usr/bin/install -c -m 644 include/libsemigroups/action.hpp include/libsemigroups/adapters.hpp include/libsemigroups/bipart.hpp include/libsemigroups/bitset.hpp include/libsemigroups/bmat8.hpp include/libsemigroups/bmat.hpp include/libsemigroups/bruidhinn-traits.hpp include/libsemigroups/config.hpp include/libsemigroups/cong-intf.hpp include/libsemigroups/cong-pair-impl.hpp include/libsemigroups/cong-pair.hpp include/libsemigroups/cong-wrap.hpp include/libsemigroups/cong.hpp include/libsemigroups/constants.hpp include/libsemigroups/containers.hpp include/libsemigroups/coset.hpp include/libsemigroups/debug.hpp include/libsemigroups/deprecated.hpp include/libsemigroups/digraph-helper.hpp include/libsemigroups/digraph-with-sources.hpp include/libsemigroups/digraph-with-sources.tpp include/libsemigroups/digraph.hpp include/libsemigroups/exception.hpp include/libsemigroups/fastest-bmat.hpp include/libsemigroups/felsch-tree.hpp include/libsemigroups/felsch-digraph.hpp include/libsemigroups/felsch-digraph.tpp include/libsemigroups/forest.hpp include/libsemigroups/fpsemi-examples.hpp include/libsemigroups/fpsemi-intf.hpp include/libsemigroups/fpsemi.hpp include/libsemigroups/freeband.hpp include/libsemigroups/froidure-pin-base.hpp include/libsemigroups/froidure-pin-impl.hpp include/libsemigroups/froidure-pin.hpp include/libsemigroups/function-ref.hpp include/libsemigroups/hpcombi.hpp include/libsemigroups/int-range.hpp include/libsemigroups/iterator.hpp include/libsemigroups/kambites.hpp '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups' /usr/bin/install -c -m 644 extern/textflowcpp/TextFlow.hpp '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups/textflowcpp' libtool: install: /usr/bin/install -c .libs/libsemigroups.so.2.0.0 /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/libsemigroups.so.2.0.0 /usr/bin/install -c -m 644 include/libsemigroups/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.2 || { rm -f libsemigroups.so.2 && ln -s libsemigroups.so.2.0.0 libsemigroups.so.2; }; }) libtool: install: (cd /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib && { ln -s -f libsemigroups.so.2.0.0 libsemigroups.so || { rm -f libsemigroups.so && ln -s libsemigroups.so.2.0.0 libsemigroups.so; }; }) libtool: install: /usr/bin/install -c .libs/libsemigroups.lai /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/libsemigroups.la libtool: install: /usr/bin/install -c .libs/libsemigroups.a /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/libsemigroups.a libtool: install: chmod 644 /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/libsemigroups.a libtool: install: ranlib /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/libsemigroups.a libtool: warning: remember to run 'libtool --finish /usr/lib' make[1]: Leaving directory '/home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.3' >>> libsemigroups-static*: Running split function static... './usr/lib/libsemigroups.a' -> '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups-static/./usr/lib/libsemigroups.a' >>> libsemigroups-static*: Preparing subpackage libsemigroups-static... >>> libsemigroups-static*: Stripping binaries >>> libsemigroups-static*: Running postcheck for libsemigroups-static >>> libsemigroups-dev*: Running split function dev... 'usr/include' -> '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups-dev/usr/include' 'usr/lib/pkgconfig' -> '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups-dev/usr/lib/pkgconfig' 'usr/lib/libsemigroups.so' -> '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups-dev/usr/lib/libsemigroups.so' >>> libsemigroups-dev*: Preparing subpackage libsemigroups-dev... >>> libsemigroups-dev*: Stripping binaries >>> libsemigroups-dev*: Running postcheck for libsemigroups-dev >>> libsemigroups*: Running postcheck for libsemigroups >>> libsemigroups*: Preparing package libsemigroups... >>> libsemigroups*: Stripping binaries >>> libsemigroups-dev*: Scanning shared objects >>> libsemigroups-static*: Scanning shared objects >>> libsemigroups*: Scanning shared objects >>> libsemigroups-dev*: Tracing dependencies... libsemigroups=2.7.3-r1 pc:eigen3 pc:fmt pkgconfig >>> libsemigroups-dev*: Package size: 2.0 MB >>> libsemigroups-dev*: Compressing data... >>> libsemigroups-dev*: Create checksum... >>> libsemigroups-dev*: Create libsemigroups-dev-2.7.3-r1.apk >>> libsemigroups-static*: Tracing dependencies... >>> libsemigroups-static*: Package size: 5.3 MB >>> libsemigroups-static*: Compressing data... >>> libsemigroups-static*: Create checksum... >>> libsemigroups-static*: Create libsemigroups-static-2.7.3-r1.apk >>> libsemigroups*: Tracing dependencies... so:libc.musl-x86_64.so.1 so:libfmt.so.11 so:libgcc_s.so.1 so:libstdc++.so.6 >>> libsemigroups*: Package size: 1.9 MB >>> libsemigroups*: Compressing data... >>> libsemigroups*: Create checksum... >>> libsemigroups*: Create libsemigroups-2.7.3-r1.apk >>> libsemigroups: Build complete at Sat, 14 Dec 2024 21:22:53 +0000 elapsed time 0h 2m 44s >>> libsemigroups: Cleaning up srcdir >>> libsemigroups: Cleaning up pkgdir >>> libsemigroups: Uninstalling dependencies... (1/4) Purging .makedepends-libsemigroups (20241214.212010) (2/4) Purging eigen-dev (3.4.0-r10) (3/4) Purging fmt-dev (11.0.2-r0) (4/4) Purging fmt (11.0.2-r0) OK: 400 MiB in 106 packages >>> libsemigroups: Updating the testing/x86_64 repository index... >>> libsemigroups: Signing the index...