>>> libsemigroups: Building testing/libsemigroups 2.7.3-r0 (using abuild 3.12.0-r2) started Mon, 22 Jan 2024 06:19:22 +0000 >>> libsemigroups: Checking sanity of /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-r9) (2/4) Installing fmt (10.1.1-r0) (3/4) Installing fmt-dev (10.1.1-r0) (4/4) Installing .makedepends-libsemigroups (20240122.061924) OK: 388 MiB in 111 packages >>> libsemigroups: Cleaning up srcdir >>> libsemigroups: Cleaning up pkgdir >>> libsemigroups: Cleaning up tmpdir >>> libsemigroups: Fetching https://distfiles.alpinelinux.org/distfiles/edge/libsemigroups-2.7.3.tar.gz % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 0 146 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 3066k 0 --:--:-- --:--:-- --:--:-- 3066k >>> 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-constants.o CXX tests/test-containers.o CXX tests/test-digraph-helper.o CXX tests/test-digraph.o CXX tests/test-felsch-tree.o CXX tests/test-forest.o CXX tests/test-fpsemi.o CXX tests/test-fpsemi-examples-1.o CXX tests/test-fpsemi-examples-2.o CXX tests/test-fpsemi-examples-3.o CXX tests/test-fpsemi-intf.o CXX tests/test-freeband.o CXX tests/test-froidure-pin-bipart.o CXX tests/test-froidure-pin-bmat8.o CXX tests/test-froidure-pin-bmat.o CXX tests/test-froidure-pin-integers.o CXX tests/test-froidure-pin-intmat.o CXX tests/test-froidure-pin-intpairs.o CXX tests/test-froidure-pin-matrix.o CXX tests/test-froidure-pin-maxplustrunc.o CXX tests/test-froidure-pin-pbr.o CXX tests/test-froidure-pin-pperm.o CXX tests/test-froidure-pin-projmaxplus.o CXX tests/test-froidure-pin-transf.o CXX tests/test-hpcombi.o CXX tests/test-iterator.o CXX tests/test-kambites.o CXX tests/test-kbe.o CXX tests/test-knuth-bendix-1.o CXX tests/test-knuth-bendix-2.o CXX tests/test-knuth-bendix-3.o CXX tests/test-knuth-bendix-4.o CXX tests/test-knuth-bendix-5.o CXX tests/test-knuth-bendix-6.o CXX tests/test-konieczny-bmat8-1.o CXX tests/test-konieczny-bmat8-2.o CXX tests/test-konieczny-bmat8-3.o CXX tests/test-konieczny-transf.o CXX tests/test-konieczny-bmat.o CXX tests/test-konieczny-pperm.o CXX tests/test-main.o CXX tests/test-make-present.o CXX tests/test-make-froidure-pin.o CXX tests/test-matrix.o CXX tests/test-obvinf.o CXX tests/test-order.o CXX tests/test-pbr.o CXX tests/test-pool.o CXX tests/test-present.o CXX tests/test-race.o CXX tests/test-runner.o CXX tests/test-schreier-sims.o CXX tests/test-schreier-sims-helper.o CXX tests/test-sims1.o CXX tests/test-siso.o CXX tests/test-stephen.o CXX tests/test-string.o CXX tests/test-string-view.o CXX tests/test-timer.o CXX tests/test-todd-coxeter.o CXX tests/test-types.o CXX tests/test-uf.o CXX tests/test-ukkonen.o CXX tests/test-wilo.o CXX tests/test-wislo.o CXX tests/test-word.o In file included from /usr/include/c++/13.2.1/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++/13.2.1/bits/stl_algo.h:1950:31, inlined from 'void std::sort(_RAIter, _RAIter, _Compare) [with _RAIter = libsemigroups::StaticRowView*; _Compare = libsemigroups::{anonymous}::test_BMat000 >()::]' at /usr/include/c++/13.2.1/bits/stl_algo.h:4894:18, inlined from 'void libsemigroups::{anonymous}::test_BMat000() [with Mat = libsemigroups::StaticMatrix]' at tests/test-matrix.cpp:166:18: /usr/include/c++/13.2.1/bits/stl_algo.h:1859:32: warning: array subscript 16 is outside array bounds of 'libsemigroups::detail::StaticVector1, 2> [1]' [-Warray-bounds=] 1859 | 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 . . . 71μs Action 002: row and column basis orbits for BMat8 . . . 2371μs Action 003: add generators after enumeration . . . 2395μs Action 004: multipliers for BMat8 row and column orbits . . . 5273μs Action 005: orbits for regular boolean mat monoid 5 . . . 414ms Action 007: partial perm image orbit . . . 339μs Action 008: partial perm image orbit . . . 77ms Action 009: partial perm image orbit . . . 89ms Action 010: partial perm image orbit . . . 91ms Action 011: permutation on integers . . . 19μs Action 012: permutation on sets, arrays . . . 119μs Action 013: permutation on tuples, arrays . . . 13ms Action 014: permutation on sets, vectors . . . 175μs Action 015: permutation on tuples, vectors . . . 18ms Action 016: misc . . . 1746μs Action 017: partial perm image orbit . . . 43μs Action 018: permutation on tuples, arrays (360360) . . . 201ms Action 019: orbits for regular BMat8 monoid 5 with stop/start . . . 292ms Action 021: orbits for regular boolean mat monoid 5 (BMat<5> [...] . . . 379ms ActionDigraph 000: constructor with 1 default arg . . . 29μs ActionDigraph 001: constructor with 0 default args . . . 35μs ActionDigraph 002: add nodes . . . 23μs ActionDigraph 003: add edges . . . 288μs ActionDigraph 004: strongly connected components - cycles . . . 73μs ActionDigraph 005: strongly connected components - no edges . . . 36ms ActionDigraph 006: strongly connected components - disjoint cycles . . . 2056μs ActionDigraph 007: strongly connected components - complete graphs . . . 1135μs ActionDigraph 008: exceptions . . . 58μs ActionDigraph 009: spanning forest - complete graphs . . . 4562μs ActionDigraph 010: spanning forest - disjoint cycles . . . 118μs ActionDigraph 011: restrict . . . 12μs ActionDigraph 012: remove_edge_nc . . . 11μs ActionDigraph 013: scc large cycle . . . 19ms ActionDigraph 014: random . . . 21μs ActionDigraph 015: reserve . . . 12μs ActionDigraph 016: default constructors . . . 17μs ActionDigraph 017: scc iterators . . . 1642μs ActionDigraph 018: iterator to edges . . . 693μs ActionDigraph 019: root of scc . . . 383μs ActionDigraph 020: cbegin/end_panislo - 100 node path . . . 1067μs ActionDigraph 021: cbegin/end_pislo . . . 48μs ActionDigraph 022: cbegin/end_pani(s)lo - 100 node cycle . . . 1918μs ActionDigraph 023: cbegin/cend_pilo - tree 14 nodes . . . 95μs ActionDigraph 024: cbegin/end_pstilo - Cayley digraph . . . 231ms ActionDigraph 025: cbegin_pstilo - Tsalakou . . . 408μs ActionDigraph 026: cbegin/end_pstislo - Cayley digraph . . . 228ms ActionDigraph 027: cbegin/end_pstislo - Cayley digraph . . . 238μs ActionDigraph 028: path iterators corner cases . . . 164μs ActionDigraph 029: reverse node iterator . . . 13μs ActionDigraph 030: pstilo corner case . . . 69μs ActionDigraph 031: number_of_paths corner cases . . . 58μs ActionDigraph 032: number_of_paths acyclic digraph . . . 9901μs ActionDigraph 033: number_of_paths binary tree . . . 632ms ActionDigraph 034: number_of_paths large binary tree . . . 114ms ActionDigraph 035: number_of_paths 400 node random digraph . . . 808μs ActionDigraph 036: number_of_paths 10 node acyclic digraph . . . 93μs ActionDigraph 037: number_of_paths node digraph . . . 4729μs ActionDigraph 038: random/random_acyclic exceptions . . . 108μs ActionDigraph 039: unsafe (next) neighbour . . . 62μs ActionDigraph 040: number_of_egdes incident to a node . . . 68μs ActionDigraph 041: number_of_paths (matrix) . . . 24ms ActionDigraph 042: number_of_paths (matrix) . . . 14μs ActionDigraph 043: swap_edge_nc . . . 12μs ActionDigraph 044: detail::pow for non-square Eigen matrix . . . 22μs ActionDigraph 045: operator<< . . . 17μs Array2 044: all . . . 57μs BMat8 001: transpose . . . 26μs BMat8 002: multiplication . . . 20μs BMat8 003: identity matrix . . . 15μs BMat8 004: random . . . 253μs BMat8 005: call operator . . . 20μs BMat8 006: operator<< . . . 17μs BMat8 007: set . . . 52μs BMat8 008: row space basis . . . 669μs BMat8 009: col space basis . . . 697μs BMat8 010: row space basis . . . 1503μs BMat8 011: number_of_rows, number_of_cols . . . 54μs BMat8 012: row_space, col_space . . . 199μs BMat8 013: rows . . . 41μs BMat8 014: one . . . 13μs BMat8 015: vector constructor . . . 73μs BMat8 016: operator< . . . 15μs BMat8 017: adapters . . . 22μs BMat8 018: one . . . 12μs Bipartition 009: mem fns 1 . . . 41μs Bipartition 010: hash . . . 9000ns Bipartition 011: mem fns 2 . . . 24μs Bipartition 012: delete/copy . . . 10μs Bipartition 013: degree 0 . . . 12μs Bipartition 014: exceptions . . . 43μs Bipartition 015: convenience constructor . . . 196μs Bipartition 016: force copy constructor over move constructor . . . 18μs Bipartition 017: adapters . . . 9000ns BitSet 000: size . . . 13μs BitSet 001: operator< . . . 12μs BitSet 002: operator== . . . 13μs BitSet 003: operator!= . . . 14μs BitSet 004: operator&= . . . 15μs BitSet 005: & . . . 17μs BitSet 006: operator|= . . . 27μs BitSet 007: operator[] . . . 20μs BitSet 008: set(none) . . . 21μs BitSet 009: set(pos, value) . . . 22μs BitSet 010: set(first, last, value) . . . 30μs BitSet 011: reset(first, last) . . . 24μs BitSet 012: reset(pos) . . . 22μs BitSet 013: apply (iterate through set bits) . . . 28μs BitSet 014: std::hash . . . 9000ns BitSet 015: constructors . . . 20μs BitSet 016: max_size . . . 9000ns BitSet 017: insertion operators . . . 12μs Blocks 001: empty blocks . . . 13μs Blocks 002: non-empty blocks . . . 14μs Blocks 003: left blocks of bipartition . . . 15μs Blocks 004: right blocks of bipartition . . . 14μs Blocks 005: copy [empty blocks] . . . 11μs Blocks 006: copy [non-empty blocks] . . . 14μs Blocks 007: hash value . . . 13μs Blocks 008: operator< . . . 12μs Congruence 000: left congruence on fp semigroup . . . 152μs Congruence 001: 2-sided congruence on fp semigroup . . . 510μs Congruence 002: left congruence on fp semigroup . . . 254μs Congruence 003: word_to_class_index for cong. on fp semigroup . . . 225μs Congruence 004: word_to_class_index for cong. on fp semigroup . . . 647μs Congruence 005: trivial congruence on non-fp semigroup . . . 412μs Congruence 006: 2-sided congruence on non-fp semigroup . . . 367μs Congruence 007: 2-sided congruence on fp semigroup . . . 675μs Congruence 008: 2-sided congruence on infinite fp semigroup . . . 377μs Congruence 009: 2-sided congruence on infinite fp semigroup . . . 428μs Congruence 010: 2-sided congruence on finite semigroup . . . 45ms Congruence 012: 2-sided congruence on finite semigroup . . . 3078μs Congruence 013: trivial 2-sided congruence on bicyclic monoid . . . 22ms Congruence 014: non-trivial 2-sided congruence on bicyclic monoid . . . 327μs Congruence 015: 2-sided congruence on free abelian monoid . . . 454μs Congruence 016: example where TC works but KB doesn't . . . 724μs Congruence 017: 2-sided congruence on finite semigroup . . . 417μs Congruence 018: infinite fp semigroup from GAP library . . . 703μs Congruence 019: 2-sided cong. on fp semigroup with infinite [...] . . . 290μs Congruence 020: trivial cong. on an fp semigroup . . .  -- with compute size 333μs  -- with don't compute size 332μs Congruence 021: duplicate generators . . . 421μs Congruence 022: non-trivial classes . . . 1183μs Congruence 023: right congruence on finite semigroup . . . 322ms Congruence 024: redundant generating pairs . . . 226μs Congruence 025: 2-sided cong. on free semigroup . . . 185μs Congruence 026: is_quotient_obviously_(in)finite . . . 1991μs Congruence 027: less . . . 391μs Congruence 028: 2-sided congruences of BMat8 semigroup . . . 185ms Congruence 029: left congruence on finite semigroup . . . 838μs Congruence 030: right congruence on finite semigroup . . . 844μs Congruence 031: right congruence on finite semigroup . . . 589μs Congruence 032: contains . . . 191μs Congruence 033: stellar_monoid S2 . . . 754μs Congruence 034: stellar_monoid S3 . . . 1021μs Congruence 035: stellar_monoid S4 . . . 2009μs Congruence 036: stellar_monoid S5 . . . 8652μs Congruence 037: stellar_monoid S6 . . . 85ms Congruence 038: stellar_monoid S7 . . . 854ms Congruence 039: left cong. on an f.p. semigroup . . . 1387μs Congruence 040: 2-sided cong. on infinite f.p. semigroup . . . 213μs Congruence 041: 2-sided congruence constructed from type only . . . 506μs Congruence 042: const_contains . . . 708μs Congruence 043: no winner . . . 8849μs Congruence 044: congruence over smalloverlap . . . 12ms CongruenceByPairs 001: (cong) 2-sided cong. on finite semigroup . . . 581μs CongruenceByPairs 002: (cong) left congruence on finite semigroup . . . 233μs CongruenceByPairs 003: (cong) right congruence on finite semigroup . . . 228μs CongruenceByPairs 004: (cong) trivial congruence on finite s [...] . . . 186μs CongruenceByPairs 005: (cong) trivial left congruence on fin [...] . . . 153μs CongruenceByPairs 006: (cong) trivial right congruence on fi [...] . . . 150μs CongruenceByPairs 007: (cong) universal congruence on finite [...] . . . 700μs CongruenceByPairs 009: (cong) 2-sided congruence on finite s [...] . . . 831ms CongruenceByPairs 010: (cong) left congruence on big finite [...] . . . 31ms CongruenceByPairs 011: (cong) left congruence on TCE . . . 168μs CongruenceByPairs 012: (cong) is_quotient_obviously_finite . . . 83μs CongruenceByPairs 013: (cong) class_index_to_word/quotient . . .  -- with right congruence 8135μs  -- with left congruence 1183μs  -- with 2-sided congruence 6566μs CongruenceByPairs 014: (cong) const_word_to_class_index . . .  -- with right congruence 47μs  -- with left congruence 43μs  -- with 2-sided congruence 38μs CongruenceByPairs 015: (cong) size non-Element* . . . 28ms CongruenceInterface 000: add_pair . . .  -- with ToddCoxeter 89μs  -- with KnuthBendix 128μs  -- with CongruenceByPairs 101μs  -- with Congruence 490μs CongruenceInterface 001: contains/const_contains . . .  -- with ToddCoxeter and no parent 99μs  -- with KnuthBendix and no parent 108μs  -- with Congruence and parent 344μs  -- with CongruenceByPairs and parent 87μs CongruenceInterface 002: less . . .  -- with ToddCoxeter 77μs  -- with KnuthBendix 137μs  -- with CongruenceByPairs 127μs  -- with Congruence 374μs CongruenceInterface 003: is_quotient_obviously_(in)finite . . .  -- with ToddCoxeter 62μs  -- with KnuthBendix 106μs CongruenceInterface 004: is_quotient_obviously_(in)finite . . .  -- with CongruenceByPairs 96μs  -- with Congruence 299μs CongruenceInterface 005: parent_froidure_pin . . .  -- with ToddCoxeter 38μs  -- with KnuthBendix 28μs CongruenceInterface 006: parent_froidure_pin . . .  -- with CongruenceByPairs 87μs  -- with Congruence 324μs CongruenceInterface 007: cbegin/cend_ntc . . .  -- with ToddCoxeter 253μs  -- with KnuthBendix 1016μs CongruenceInterface 008: cbegin/cend_ntc . . .  -- with CongruenceByPairs 208μs  -- with Congruence 543μs CongruenceInterface 009: quotient is immutable . . .  -- with ToddCoxeter 75μs  -- with KnuthBendix 110μs  -- with Congruence 284μs CongruenceInterface 010: no generating pairs added . . .  -- with KnuthBendix and common behaviour 5453μs  -- with Congruence and common behaviour 5613μs  -- with ToddCoxeter 75μs CongruenceInterface 011: nr generators not set . . .  -- with ToddCoxeter 85μs  -- with KnuthBendix 84μs  -- with Congruence 81μs CongruenceInterface 012: no generating pairs . . . 174μs ConstIteratorStateless 001: ? . . . 11μs ConstIteratorStateless 002: ? . . . 10μs Constants 001: Undefined . . . 14μs Constants 002: PositiveInfinity . . . 16μs Constants 003: NegativeInfinity . . . 15μs Constants 004: LimitMax . . . 14μs Duf 004: unite . . . 37μs Duf 006: compress . . . 16μs Duf 008: resize . . . 20μs Duf 009: resize . . . 14μs Duf 010: big chain . . . 15ms Duf 012: empty table . . . 25μs Duf 014: join . . . 13μs Duf 016: contains . . . 26μs Duf 018: swap . . . 29μs DynamicArray2 001: default constructor with 3 default args . . . 11μs DynamicArray2 002: default constructor with 2 default args . . . 10μs DynamicArray2 003: default constructor with 1 default args . . . 20μs DynamicArray2 004: default constructor with 0 default args . . . 11μs DynamicArray2 005: copy constructor with 1 default args . . . 17μs DynamicArray2 006: copy constructor with 0 default args . . . 15μs DynamicArray2 007: add_rows . . . 20μs DynamicArray2 008: add_rows . . . 13μs DynamicArray2 009: add_cols . . . 33μs DynamicArray2 010: set/get . . . 49μs DynamicArray2 011: append 1/2 . . . 125μs DynamicArray2 012: append 2/2 . . . 204μs DynamicArray2 013: count . . . 30μs DynamicArray2 014: clear . . . 12μs DynamicArray2 015: begin_row and end_row . . . 57μs DynamicArray2 016: cbegin_row and cend_row . . . 22μs DynamicArray2 017: iterator operator++ (postfix) . . . 226μs DynamicArray2 018: iterator operator++ (prefix) . . . 1417μs DynamicArray2 019: iterator operator-- (postfix) . . . 300μs DynamicArray2 020: iterator operator-- (prefix) . . . 289μs DynamicArray2 021: operator= . . . 16μs DynamicArray2 022: operator== and operator!= . . . 259μs DynamicArray2 023: empty and clear . . . 15μs DynamicArray2 024: max_size . . . 11μs DynamicArray2 025: swap . . . 55μs DynamicArray2 026: iterator arithmetic . . . 1194μs DynamicArray2 027: iterator comparison . . . 14μs DynamicArray2 028: iterator operator= . . . 11μs DynamicArray2 029: iterator operator[] . . . 61μs DynamicArray2 030: iterator operator-> . . . 24μs DynamicArray2 031: const_iterator operator++/-- . . . 202μs DynamicArray2 032: const_iterator operator++/-- . . . 10μs DynamicArray2 033: column iterators . . . 22μs DynamicArray2 034: column iterator arithmetic . . . 4559μs DynamicArray2 035: iterator assignment constructor . . . 1633μs DynamicArray2 036: reserve method . . . 92μs DynamicArray2 037: erase column . . . 15μs DynamicArray2 038: swap_rows . . . 13μs DynamicArray2 039: apply_row_permutation . . . 12μs DynamicArray2 040: swap . . . 12μs DynamicArray2 041: shrink_rows_to . . . 16μs DynamicArray2 042: shrink_rows_to - for range . . . 16μs FastestBMat 046: check no throw . . . 19μs FelschTree 000: previously failing example . . . 28μs Forest 001: test forest . . . 54μs FpSemigroup 001: Renner monoid type B2 (E. G. presentation), q = 1 . . . 829μs FpSemigroup 002: Renner monoid type B2 (E. G. presentation), q = 0 . . . 794μs FpSemigroup 003: Renner monoid type B3 (E. G. presentation), q = 1 . . . 63ms FpSemigroup 004: Renner monoid type B3 (E. G. presentation), q = 0 . . . 59ms FpSemigroup 005: Renner monoid type B2 (Gay-Hivert presentat [...] . . . 1128μs FpSemigroup 006: Renner monoid type B2 (Gay-Hivert presentat [...] . . . 1182μs FpSemigroup 007: Renner monoid type B3 (Gay-Hivert presentat [...] . . . 4952μs FpSemigroup 008: Renner monoid type B3 (Gay-Hivert presentat [...] . . . 5132μs FpSemigroup 009: Renner monoid type B4 (Gay-Hivert presentat [...] . . . 362ms FpSemigroup 010: Renner monoid type B4 (Gay-Hivert presentat [...] . . . 435ms FpSemigroup 013: Renner monoid type D2 (E. G. presentation), q = 1 . . . 1510μs FpSemigroup 014: Renner monoid type D2 (E. G. presentation), q = 0 . . . 1477μs FpSemigroup 015: Renner monoid type D3 (E. G. presentation), q = 1 . . . 7479μs FpSemigroup 016: Renner monoid type D3 (E. G. presentation), q = 0 . . . 6185μs FpSemigroup 017: Renner monoid type D4 (E. G. presentation), q = 1 . . . 531ms FpSemigroup 018: Renner monoid type D4 (E. G. presentation), q = 0 . . . 524ms FpSemigroup 019: Renner monoid type D2 (Gay-Hivert presentat [...] . . . 1886μs FpSemigroup 020: Renner monoid type D2 (Gay-Hivert presentat [...] . . . 1771μs FpSemigroup 021: Renner monoid type D3 (Gay-Hivert presentat [...] . . . 6282μs FpSemigroup 022: Renner monoid type D3 (Gay-Hivert presentat [...] . . . 5282μs FpSemigroup 023: Renner monoid type D4 (Gay-Hivert presentat [...] . . . 108ms FpSemigroup 024: Renner monoid type D4 (Gay-Hivert presentat [...] . . . 135ms FpSemigroup 029: Rook monoid R5, q = 0 . . . 6605μs FpSemigroup 030: Rook monoid R5, q = 1 . . . 6439μs FpSemigroup 031: Rook monoid R6, q = 0 . . . 56ms FpSemigroup 032: Rook monoid R6, q = 1 . . . 56ms FpSemigroup 033: normal_form . . . 494μs FpSemigroup 034: for a finite semigroup . . . 1124μs FpSemigroup 035: finite fp semigroup, dihedral group of order 6 . . . 851μs FpSemigroup 036: finite fp semigroup, size 16 . . . 1211μs FpSemigroup 037: finite fp semigroup, size 16 . . . 1844μs FpSemigroup 038: fp semigroup, size 240 . . . 1170μs FpSemigroup 039: add_rule . . . 454μs FpSemigroup 040: add_rule . . . 268μs FpSemigroup 041: equal_to . . . 460μs FpSemigroup 042: cbegin/cend_rules . . . 152μs FpSemigroup 043: semigroup of size 3 . . . 657μs FpSemigroup 044: run_for/until . . . 3378μs FpSemigroup 045: constructors . . . 332μs FpSemigroup 046: set_inverses . . . 201μs FpSemigroup 047: smalloverlap . . . 16ms FpSemigroup 048: quaternion group Q8 . . . 702μs FpSemigroup 049: symmetric group Coxeter presentation . . . 19ms FpSemigroupByPairs 029: (fpsemi) 2-sided congruence on finit [...] . . . 975μs FpSemigroupByPairs 030: (fpsemi) 2-sided congruence on finit [...] . . . 894μs FpSemigroupInterface 000: run with no alphabet . . .  -- with ToddCoxeter 138μs  -- with KnuthBendix 79μs  -- with FpSemigroup 91μs FpSemigroupInterface 001: equal_to . . .  -- with ToddCoxeter and human readable alphabet 2359μs  -- with KnuthBendix and human readable alphabet 7148μs  -- with FpSemigroup and human readable alphabet 6147μs  -- with FpSemigroupByPairs 3792μs FpSemigroupInterface 002: normal_form . . .  -- with ToddCoxeter 280μs  -- with KnuthBendix 375μs  -- with FpSemigroup 709μs FpSemigroupInterface 003: set_alphabet (1/2) . . .  -- with ToddCoxeter 179μs  -- with KnuthBendix 137μs  -- with FpSemigroup 153μs FpSemigroupInterface 004: set_alphabet (2/2) . . . 1562μs FpSemigroupInterface 005: add_rule after finished . . .  -- with ToddCoxeter and human readable alphabet 231μs  -- with KnuthBendix and human readable alphabet 308μs  -- with FpSemigroup and human readable alphabet 562μs  -- with FpSemigroupByPairs 1531μs FpSemigroupInterface 006: add_rule with equal words (1/2) . . .  -- with ToddCoxeter and human readable alphabet 349μs  -- with KnuthBendix and human readable alphabet 447μs  -- with FpSemigroup and human readable alphabet 602μs  -- with FpSemigroupByPairs 352μs FpSemigroupInterface 007: add_rule with equal words (2/2) . . .  -- with ToddCoxeter 72μs  -- with KnuthBendix 60μs  -- with FpSemigroup 75μs FpSemigroupInterface 008: add_rule with word_type . . .  -- with ToddCoxeter 114μs  -- with KnuthBendix 96μs  -- with FpSemigroup 154μs FpSemigroupInterface 009: add_rule with empty word (1/2) . . .  -- with ToddCoxeter 93μs  -- with FpSemigroup 96μs FpSemigroupInterface 010: add_rule with empty word (1/2) . . . 53μs FpSemigroupInterface 011: add_rules (1/3) . . .  -- with ToddCoxeter 115μs  -- with KnuthBendix 89μs  -- with FpSemigroup 101μs FpSemigroupInterface 012: add_rules (2/3) . . . 658μs FpSemigroupInterface 013: add_rules (3/3) . . .  -- with ToddCoxeter 77μs  -- with KnuthBendix 64μs  -- with FpSemigroup 131μs FpSemigroupInterface 014: set_identity (1/3) . . .  -- with ToddCoxeter 191μs  -- with KnuthBendix 185μs  -- with FpSemigroup 276μs FpSemigroupInterface 015: set_identity (2/3) . . . 374μs FpSemigroupInterface 016: set_identity (3/3) . . .  -- with ToddCoxeter 126μs  -- with KnuthBendix 115μs  -- with FpSemigroup 201μs FpSemigroupInterface 017: identity . . .  -- with ToddCoxeter 85μs  -- with KnuthBendix 59μs  -- with FpSemigroup 72μs FpSemigroupInterface 018: set_inverses + inverses (1/2) . . .  -- with ToddCoxeter 225μs  -- with KnuthBendix 216μs  -- with FpSemigroup 326μs FpSemigroupInterface 019: set_inverses + inverses (2/2) . . . 454μs FpSemigroupInterface 020: is_obviously_infinite (1/2) . . .  -- with ToddCoxeter 234μs  -- with KnuthBendix 312μs  -- with FpSemigroup 633μs FpSemigroupInterface 021: is_obviously_infinite (2/2) . . . 84μs FpSemigroupInterface 022: is_obviously_finite (1/2) . . .  -- with ToddCoxeter 212μs  -- with KnuthBendix 274μs  -- with FpSemigroup 539μs FpSemigroupInterface 023: is_obviously_finite (2/2) . . . 73μs FpSemigroupInterface 024: to_gap_string (1/3) . . .  -- with ToddCoxeter 61μs  -- with KnuthBendix 48μs  -- with FpSemigroup 110μs FpSemigroupInterface 025: to_gap_string (2/3) . . . 33μs FpSemigroupInterface 026: to_gap_string (3/3) . . . 53μs FroidurePin 015: (BMat8) regular boolean mat monoid 4 . . . 130ms FroidurePin 016: (BMat8) exception zero generators given . . . 20μs FroidurePin 017: (BMat8) exception word_to_element . . . 129μs FroidurePin 018: (BMat8) exception prefix . . . 1258μs FroidurePin 019: (BMat8) exception suffix . . . 27μs FroidurePin 020: (BMat8) exception first_letter . . . 1216μs FroidurePin 021: (BMat8) exception final_letter . . . 25μs FroidurePin 022: (BMat8) exception current_length . . . 1214μs FroidurePin 023: (BMat8) exception product_by_reduction . . . 1608μs FroidurePin 024: (BMat8) exception fast_product . . . 1655μs FroidurePin 025: (BMat8) exception is_idempotent . . . 63ms FroidurePin 026: (BMat8) copy constructor . . .  -- with fully enumerated 74ms  -- with partially enumerated 54ms  -- with not enumerated 49ms FroidurePin 027: (BMat8) cbegin/end_rules . . . 74μs FroidurePin 031: (integers) . . . 216μs FroidurePin 039: (pairs of integers) non-trivial user type . . . 39μs FroidurePin 055: (tropical max-plus semiring matrices) . . . 323μs FroidurePin 061: projective max plus matrix . . . 1246μs FroidurePin 062: projective max plus matrix . . . 43μs FroidurePin> 009: small example 2 . . . 63μs FroidurePin> 005: small example 1 . . . 149μs FroidurePin> 007: regular bmat monoid 4 . . . 88ms FroidurePin> 011: small example 3 . . . 678μs FroidurePin> 006: small example 1 . . . 206μs FroidurePin> 008: regular bmat monoid 4 . . . 113ms FroidurePin> 010: small example 2 . . . 69μs FroidurePin> 012: small example 3 . . . 893μs FroidurePin 000: small example 1 . . . 208μs FroidurePin 001: default constructed . . . 132μs FroidurePin 002: small example 2 . . . 60μs FroidurePin 004: exception: is_idempotent . . . 174μs FroidurePin> 033: Example 000 . . . 886μs FroidurePin> 035: Example 001 . . . 64μs FroidurePin> 032: Example 000 . . . 672μs FroidurePin> 034: Example 001 . . . 47μs FroidurePin 036: exception: current_position . . . 147μs FroidurePin 037: exception: word_to_element . . . 79μs FroidurePin 038: exception: prefix, suffix, first_letter . . . 21ms FroidurePin> 040: Example 000 . . . 100μs FroidurePin> 041: Example 000 . . . 81μs FroidurePin> 046: Example 005 . . . 200μs FroidurePin> 047: Example 005 . . . 212μs FroidurePin> 048: Example 005 . . . 204μs FroidurePin> 044: Example 004 . . . 47μs FroidurePin> 045: Example 004 . . . 40μs FroidurePin> 049: Example 006 . . . 1300μs FroidurePin> 050: Example 006 . . . 1552μs FroidurePin> 051: Example 006 . . . 1571μs FroidurePin> 052: Example 007 . . . 172μs FroidurePin> 053: Example 007 . . . 192μs FroidurePin> 054: Example 007 . . . 214μs FroidurePin 056: example 1 . . . 276μs FroidurePin 057: example 2 . . . 235μs FroidurePin> 058: . . . 816μs FroidurePin> 059: . . . 62μs FroidurePin> 060: exceptions: add_generator(s) . . . 69μs FroidurePin> 065: no exception zero generators given . . . 38μs FroidurePin> 066: exception generators of different [...] . . . 81μs FroidurePin> 067: exception current_position . . . 54μs FroidurePin> 068: exception word_to_element . . . 52μs FroidurePin> 069: exception gens . . . 667μs FroidurePin> 070: exception prefix . . . 22ms FroidurePin> 071: exception suffix . . . 55ms FroidurePin> 072: exception first_letter . . . 57μs FroidurePin> 073: exception final_letter . . . 95μs FroidurePin> 074: exception current_length . . . 89μs FroidurePin> 075: exception product_by_reduction . . . 411μs FroidurePin> 076: exception fast_product . . . 465μs FroidurePin> 077: exception current_position . . . 668μs FroidurePin> 078: exception is_idempotent . . . 736μs FroidurePin> 079: exception add_generators . . . 49μs FroidurePin> 080: multithread number_of_idempotents . . . 617μs FroidurePin> 081: small semigroup . . . 37μs FroidurePin> 082: large semigroup . . . 9642μs FroidurePin> 083: at, position, current_* . . . 9795μs FroidurePin> 084: run . . . 9044μs FroidurePin> 085: run [many stops and starts] . . . 9177μs FroidurePin> 086: factorisation, length [1 element] . . . 9376μs FroidurePin> 087: factorisation, products [all elements] . . . 8567μs FroidurePin> 088: first/final letter, prefix, suffi [...] . . . 6849μs FroidurePin> 089: current_position [standard] . . . 32μs FroidurePin> 090: current_position [duplicate gens] . . . 15ms FroidurePin> 091: current_position [after add_generators] . . . 7632μs FroidurePin> 092: cbegin_idempotents/cend [1 thread] . . . 7496μs FroidurePin> 093: idempotent_cend/cbegin [1 thread] . . . 7545μs FroidurePin> 094: is_idempotent [1 thread] . . . 7042μs FroidurePin> 096: finished, started . . . 6840μs FroidurePin> 097: current_position . . . 1594μs FroidurePin> 098: sorted_position, sorted_at . . . 8494μs FroidurePin> 099: right/left Cayley graph . . . 31ms FroidurePin> 100: iterator . . . 10ms FroidurePin> 101: reverse iterator . . . 10ms FroidurePin> 102: iterator arithmetic . . . 27ms FroidurePin> 103: iterator sorted . . . 23ms FroidurePin> 104: iterator sorted arithmetic . . . 28ms FroidurePin> 105: copy [not enumerated] . . . 7023μs FroidurePin> 106: copy_closure [not enumerated] . . . 43ms FroidurePin> 107: copy_add_generators [not enumerated] . . . 40ms FroidurePin> 108: copy [partly enumerated] . . . 7532μs FroidurePin> 109: copy_closure [partly enumerated] . . . 11ms FroidurePin> 110: copy_add_generators [partly enumerated] . . . 7658μs FroidurePin> 111: copy [fully enumerated] . . . 10ms FroidurePin> 112: copy_closure [fully enumerated] . . . 11ms FroidurePin> 113: copy_add_generators [fully enumerated] . . . 10ms FroidurePin> 114: relations [duplicate gens] . . . 204μs FroidurePin> 115: relations . . . 9327μs FroidurePin> 116: relations [copy_closure, duplicat [...] . . . 12ms FroidurePin> 117: relations [copy_add_generators, d [...] . . . 13ms FroidurePin> 118: relations [from copy, not enumerated] . . . 8055μs FroidurePin> 119: relations [from copy, partly enum [...] . . . 14ms FroidurePin> 120: relations [from copy, fully enumerated] . . . 14ms FroidurePin> 121: relations [from copy_closure, not [...] . . . 13ms FroidurePin> 122: relations [from copy_add_generato [...] . . . 8128μs FroidurePin> 123: relations [from copy_closure, par [...] . . . 12ms FroidurePin> 124: relations [from copy_add_generato [...] . . . 9760μs FroidurePin> 125: relations [from copy_closure, ful [...] . . . 14ms FroidurePin> 126: relations [from copy_add_generato [...] . . . 12ms FroidurePin> 127: add_generators [duplicate generators] . . . 391μs FroidurePin> 128: add_generators [incremental 1] . . . 449μs FroidurePin> 129: add_generators [incremental 2] . . . 474μs FroidurePin> 130: closure [duplicate generators] . . . 227μs FroidurePin> 131: closure . . . 98μs FroidurePin> 132: factorisation . . . 22μs FroidurePin> 134: minimal_factorisation . . . 52μs FroidurePin> 135: batch_size (for an extremely larg [...] . . . 21μs FroidurePin> 137: exception: generators of differen [...] . . . 27μs FroidurePin> 138: exception: current_position . . . 61μs FroidurePin> 139: exception: word_to_element . . . 63μs FroidurePin> 140: exception: gens, current_position . . . 616μs FroidurePin> 141: exception: add_generators . . . 32μs HPCombi 000: Transf16 . . . 39μs HPCombi 001: One specialisation . . . 11μs HPCombi 002: One specialisation . . . 12μs HPCombi 003: Swap specialisation . . . 11μs HPCombi 004: Swap specialisation . . . 10μs HPCombi 005: Inverse specialisation . . . 9000ns HPCombi 006: ImageRightAction . . . 12μs HPCombi 007: ImageLeft/RightAction . . . 16μs HPCombi 008: Product . . . 11μs HPCombi 009: Degree/Complexity . . . 10μs KBE 000: constructors . . . 44μs KBE 001: test . . . 67μs KBE 002: factorisation . . . 43μs KBE 003: swap . . . 30μs KBE 004: adapters . . . 27μs KBE 005: conversions . . . 26μs Kambites 000: (fpsemi) MT test 4 (std::string) . . . 7010μs Kambites 001: (fpsemi) MT test 4 (MultiStringView) . . . 8122μs Kambites 002: (fpsemi) number_of_pieces (std::string) . . . 132μs Kambites 003: (fpsemi) number_of_pieces (MultiStringView) . . . 106μs Kambites 004: (fpsemi) small_overlap_class (std::string) . . . 3904μs Kambites 005: (fpsemi) small_overlap_class (MultiStringView) . . . 3877μs Kambites 006: (fpsemi) random (std::string) . . . 10ms Kambites 007: (fpsemi) random (MultiStringView) . . . 10ms Kambites 008: (fpsemi) KnuthBendix 055 (std::string) . . . 17ms Kambites 009: (fpsemi) KnuthBendix 055 (MultiStringView) . . . 19ms Kambites 010: (fpsemi) smalloverlap/gap/test.gi:85 (std::string) . . . 75μs Kambites 011: (fpsemi) smalloverlap/gap/test.gi:85 (MultiStr [...] . . . 68μs Kambites 012: (fpsemi) free semigroup . . . 13μs Kambites 013: (fpsemi) smalloverlap/gap/test.gi:49 (std::string) . . . 35ms Kambites 014: (fpsemi) smalloverlap/gap/test.gi:49 (MultiStr [...] . . . 47ms Kambites 015: (fpsemi) smalloverlap/gap/test.gi:63 (std::string) . . . 37ms Kambites 016: (fpsemi) smalloverlap/gap/test.gi:63 (MultiStr [...] . . . 51ms Kambites 017: (fpsemi) smalloverlap/gap/test.gi:70 (std::string) . . . 142ms Kambites 018: (fpsemi) smalloverlap/gap/test.gi:70 (MultiStr [...] . . . 199ms Kambites 021: (fpsemi) code coverage (std::string) . . . 61μs Kambites 022: (fpsemi) code coverage (MultiStringView) . . . 33μs Kambites 023: (fpsemi) prefix (std::string) . . . 74μs Kambites 024: (fpsemi) prefix (MultiStringView) . . . 106μs Kambites 025: (fpsemi) normal_form (Example 3.15) (std::string) . . . 74μs Kambites 026: (fpsemi) normal_form (Example 3.15) (MultiStri [...] . . . 99μs Kambites 027: (fpsemi) normal_form (Example 3.16) (std::string) . . . 53μs Kambites 028: (fpsemi) normal_form (Example 3.16) (MultiStri [...] . . . 72μs Kambites 029: (fpsemi) normal_form (Example 3.16) more exhau [...] . . . 74ms Kambites 030: (fpsemi) normal_form (Example 3.16) more exhau [...] . . . 78ms Kambites 031: (fpsemi) small presentation (std::string) . . . 92μs Kambites 032: (fpsemi) small presentation (MultiStringView) . . . 46μs Kambites 033: (fpsemi) non-smalloverlap (std::string) . . . 50μs Kambites 034: (fpsemi) non-smalloverlap (MultiStringView) . . . 48μs Kambites 035: (fpsemi) MT test 3 (std::string) . . . 50μs Kambites 036: (fpsemi) MT test 3 (MultiStringView) . . . 50μs Kambites 037: (fpsemi) MT test 5 (std::string) . . . 29μs Kambites 038: (fpsemi) MT test 5 (MultiStringView) . . . 29μs Kambites 039: (fpsemi) MT test 6 (std::string) . . . 46μs Kambites 040: (fpsemi) MT test 6 (MultiStringView) . . . 52μs Kambites 041: (fpsemi) MT test 10 (std::string) . . . 38μs Kambites 042: (fpsemi) MT test 10 (MultiStringView) . . . 45μs Kambites 043: (fpsemi) MT test 13 (std::string) . . . 29μs Kambites 044: (fpsemi) MT test 13 (MultiStringView) . . . 31μs Kambites 045: (fpsemi) MT test 14 (std::string) . . . 28μs Kambites 046: (fpsemi) MT test 14 (MultiStringView) . . . 31μs Kambites 047: (fpsemi) MT test 15 (std::string) . . . 39μs Kambites 048: (fpsemi) MT test 15 (MultiStringView) . . . 40μs Kambites 049: (fpsemi) MT test 16 (std::string) . . . 39μs Kambites 050: (fpsemi) MT test 16 (MultiStringView) . . . 42μs Kambites 051: (fpsemi) MT test 17 (std::string) . . . 128μs Kambites 052: (fpsemi) MT test 17 (MultiStringView) . . . 115μs Kambites 053: (fpsemi) weak C(4) not strong x 1 (std::string) . . . 557μs Kambites 054: (fpsemi) weak C(4) not strong x 1 (MultiStringView) . . . 682μs Kambites 055: (fpsemi) weak C(4) not strong x 2 (std::string) . . . 515μs Kambites 056: (fpsemi) weak C(4) not strong x 2 (MultiStringView) . . . 674μs Kambites 057: (fpsemi) weak C(4) not strong x 3 (std::string) . . . 481μs Kambites 058: (fpsemi) weak C(4) not strong x 3 (MultiStringView) . . . 468μs Kambites 059: (fpsemi) weak C(4) not strong x 4 (std::string) . . . 60μs Kambites 060: (fpsemi) weak C(4) not strong x 4 (MultiStringView) . . . 81μs Kambites 061: (fpsemi) weak C(4) not strong x 5 (std::string) . . . 27μs Kambites 062: (fpsemi) weak C(4) not strong x 5 (MultiStringView) . . . 22μs Kambites 063: (fpsemi) weak C(4) not strong x 6 (std::string) . . . 35μs Kambites 064: (fpsemi) weak C(4) not strong x 6 (MultiStringView) . . . 38μs Kambites 065: (fpsemi) Konovalov example (std::string) . . . 24μs Kambites 066: (fpsemi) Konovalov example (MultiStringView) . . . 21μs Kambites 067: (fpsemi) long words (std::string) . . . 770ms Kambites 068: (fpsemi) long words (MultiStringView) . . . 99ms Kambites 075: (cong) example 1 . . . 92μs Kambites 076: (cong) example 2 . . . 224μs Kambites 077: (cong) code coverage . . . 15ms Kambites 078: (cong) large number of rules . . . 419ms KnuthBendix 000: (fpsemi) confluent fp semigroup 1 (infinite) . . . 128μs KnuthBendix 001: (fpsemi) confluent fp semigroup 2 (infinite) . . . 114μs KnuthBendix 002: (fpsemi) confluent fp semigroup 3 (infinite) . . . 90μs KnuthBendix 003: (fpsemi) non-confluent fp semigroup from wi [...] . . . 190μs KnuthBendix 004: (fpsemi) Example 5.1 in Sims (infinite) . . . 172μs KnuthBendix 005: (fpsemi) Example 5.1 in Sims (infinite) . . . 164μs KnuthBendix 006: (fpsemi) Example 5.3 in Sims . . . 131μs KnuthBendix 007: (fpsemi) Example 5.4 in Sims . . . 137μs KnuthBendix 008: (fpsemi) Example 6.4 in Sims (size 168) . . . 9545μs KnuthBendix 009: (fpsemi) . . . 67ms KnuthBendix 010: (fpsemi) SL(2, 7) from Chapter 3, Propositi [...] . . . 94ms KnuthBendix 011: (fpsemi) F(2, 5) - Chapter 9, Section 1 in [...] . . . 506μs KnuthBendix 012: (fpsemi) Reinis example 1 . . . 298μs KnuthBendix 013: redundant_rule (std::string) . . . 100ms KnuthBendix 014: redundant_rule (word_type) . . . 10ms KnuthBendix 019: (fpsemi) C(4) monoid . . . 68μs KnuthBendix 020: (cong) Chinese monoid . . . 182μs KnuthBendix 021: (from kbmag/standalone/kb_data/f25monoid) . . . 496μs KnuthBendix 022: (from kbmag/standalone/kb_data/degen4a) . . . 42ms KnuthBendix 023: (from kbmag/standalone/kb_data/torus) . . . 2689μs KnuthBendix 024: (from kbmag/standalone/kb_data/3a6) . . . 217ms KnuthBendix 025: (from kbmag/standalone/kb_data/f2) . . . 63μs KnuthBendix 026: (from kbmag/standalone/kb_data/s16) . . . 58ms KnuthBendix 027: (from kbmag/standalone/kb_data/a4monoid) . . . 66μs KnuthBendix 028: (from kbmag/standalone/kb_data/degen3) . . . 35μs KnuthBendix 029: (from kbmag/standalone/kb_data/ab1) . . . 33μs KnuthBendix 030: (from kbmag/standalone/kb_data/degen2) . . . 28μs KnuthBendix 031: (from kbmag/standalone/kb_data/f25) . . . 366μs KnuthBendix 032: (from kbmag/standalone/kb_data/237) . . . 491μs KnuthBendix 033: (from kbmag/standalone/kb_data/c2) . . . 28μs KnuthBendix 034: (from kbmag/standalone/kb_data/cosets) . . . 180μs KnuthBendix 035: Example 5.1 in Sims (KnuthBendix 09 again) . . . 55μs KnuthBendix 036: (from kbmag/standalone/kb_data/nilp2) . . . 39μs KnuthBendix 037: Example 6.4 in Sims . . . 11ms KnuthBendix 038: KnuthBendix 071 again . . . 555μs KnuthBendix 039: Example 5.4 in Sims (KnuthBendix 11 again) [...] . . . 174μs KnuthBendix 040: Example 5.4 in Sims (KnuthBendix 11 again) [...] . . . 123μs KnuthBendix 041: operator<< . . . 51μs KnuthBendix 042: confluence_interval . . . 27μs KnuthBendix 043: max_overlap . . . 26μs KnuthBendix 044: (fpsemi) (from kbmag/standalone/kb_data/d22 [...] . . . 990μs KnuthBendix 045: (fpsemi) (from kbmag/standalone/kb_data/d22 [...] . . . 1795μs KnuthBendix 046: (fpsemi) small example . . . 649μs KnuthBendix 047: code coverage . . . 70μs KnuthBendix 048: small overlap 1 . . . 62μs KnuthBendix 049: (from kbmag/standalone/kb_data/s9) . . . 1251μs KnuthBendix 050: (fpsemi) Chapter 11, Lemma 1.8 (q = 6, r = [...] . . . 488μs KnuthBendix 051: (fpsemi) Chapter 11, Section 2 (q = 6, r = [...] . . . 118μs KnuthBendix 052: (fpsemi) Chapter 8, Theorem 4.2 in NR (infinite) . . . 211μs KnuthBendix 053: (fpsemi) equal_to fp semigroup . . . 56μs KnuthBendix 054: (fpsemi) equal_to free semigroup . . . 63μs KnuthBendix 055: (fpsemi) from GAP smalloverlap gap/test.gi [...] . . . 375μs KnuthBendix 056: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 648μs KnuthBendix 057: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 674μs KnuthBendix 058: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 1750μs KnuthBendix 059: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 4175μs KnuthBendix 060: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 54μs KnuthBendix 061: (fpsemi) Von Dyck (2,3,7) group (infinite) . . . 447μs KnuthBendix 062: (fpsemi) Von Dyck (2,3,7) group - different [...] . . . 3857μs KnuthBendix 063: (fpsemi) rewriting system from KnuthBendixC [...] . . . 315μs KnuthBendix 064: (fpsemi) rewriting system from Congruence 20 . . . 42μs KnuthBendix 065: (fpsemi) (from kbmag/standalone/kb_data/ab2) . . . 94μs KnuthBendix 066: (fpsemi) (from kbmag/standalone/kb_data/d22 [...] . . . 1057μs KnuthBendix 067: (fpsemi) (from kbmag/standalone/kb_data/degen1) . . . 52μs KnuthBendix 068: (fpsemi) (from kbmag/standalone/kb_data/s4) . . . 278μs KnuthBendix 069: (fpsemi) fp semigroup (infinite) . . . 57μs KnuthBendix 070: (fpsemi) Chapter 11, Section 1 (q = 4, r = [...] . . . 1512μs KnuthBendix 071: (fpsemi) Chapter 11, Section 1 (q = 8, r = [...] . . . 92ms KnuthBendix 072: (fpsemi) Chapter 7, Theorem 3.9 in NR (size 240) . . . 2950μs KnuthBendix 073: (fpsemi) F(2, 5) - Chapter 9, Section 1 in [...] . . . 409μs KnuthBendix 074: (fpsemi) F(2, 6) - Chapter 9, Section 1 in NR . . . 385μs KnuthBendix 075: (fpsemi) Chapter 10, Section 4 in NR (infinite) . . . 747μs KnuthBendix 076: (fpsemi) Sym(5) from Chapter 3, Proposition [...] . . . 2483μs KnuthBendix 077: (fpsemi) SL(2, 7) from Chapter 3, Propositi [...] . . . 68ms KnuthBendix 078: (fpsemi) bicyclic monoid (infinite) . . . 57μs KnuthBendix 079: (fpsemi) plactic monoid of degree 2 (infinite) . . . 75μs KnuthBendix 080: (fpsemi) example before Chapter 7, Proposit [...] . . . 58μs KnuthBendix 081: (fpsemi) Chapter 7, Theorem 3.6 in NR (size 243) . . . 711μs KnuthBendix 082: (fpsemi) finite semigroup (size 99) . . . 239μs KnuthBendix 096: Sorouhesh . . . 353μs KnuthBendix 097: (fpsemi) transformation semigroup (size 4) . . . 75μs KnuthBendix 098: (fpsemi) transformation semigroup (size 9) . . . 70μs KnuthBendix 099: (fpsemi) transformation semigroup (size 88) . . . 696μs KnuthBendix 100: internal_string_to_word . . . 50μs KnuthBendix 101: (fpsemi) construct from shared_ptr . . . 675μs KnuthBendix 102: internal_string_to_word . . . 700μs KnuthBendix 103: (cong) free semigroup congruence (5 classes) . . . 91μs KnuthBendix 104: free semigroup congruence (6 classes) . . . 246μs KnuthBendix 105: (cong) free semigroup congruence (16 classes) . . . 296μs KnuthBendix 106: (cong) free semigroup congruence (6 classes) . . . 391μs KnuthBendix 107: (cong) free semigroup congruence (240 classes) . . . 2902μs KnuthBendix 108: (cong) free semigroup congruence (240 classes) . . . 2837μs KnuthBendix 109: (cong) less . . . 3420μs KnuthBendix 110: (cong) less . . . 163ms KnuthBendix 111: (cong) constructors . . . 232ms KnuthBendix 112: (cong) const_contains/contains . . . 166μs KnuthBendix 113: (cong) is_quotient_obviously_finite . . . 35μs KnuthBendix 114: (cong) class_index_to_word . . . 192μs KnuthBendix 115: (cong) quotient_froidure_pin . . . 147μs KnuthBendix 116: (cong) set_number_of_generators . . . 35μs KnuthBendix 117: (cong) number of classes when obv-inf . . . 51μs KnuthBendixCongruenceByPairs 016: non-trivial congruence on [...] . . . 182μs KnuthBendixCongruenceByPairs 017: non-trivial congruence on [...] . . . 166μs KnuthBendixCongruenceByPairs 018: non-trivial congruence on [...] . . . 229μs KnuthBendixCongruenceByPairs 019: non-trivial congruence on [...] . . . 228μs KnuthBendixCongruenceByPairs 020: trivial congruence on a fi [...] . . . 177μs KnuthBendixCongruenceByPairs 021: universal congruence on a [...] . . . 512μs KnuthBendixCongruenceByPairs 022: left congruence on a finit [...] . . . 244μs KnuthBendixCongruenceByPairs 023: finite group, Chapter 11, [...] . . . 3733μs KnuthBendixCongruenceByPairs 024: right congruence on infini [...] . . . 281μs KnuthBendixCongruenceByPairs 025: finite fp semigroup, dihed [...] . . . 289μs KnuthBendixCongruenceByPairs 026: finite fp semigroup, size 16 . . . 297μs KnuthBendixCongruenceByPairs 027: finite fp semigroup, size 16 . . . 842μs KnuthBendixCongruenceByPairs 028: infinite fp semigroup with [...] . . . 83μs Konieczny 000: test000> . . . 1137μs Konieczny 001: test000> . . . 803μs Konieczny 002: test001> . . . 10ms Konieczny 003: test001> . . . 8083μs Konieczny 006: exceptions . . . 46μs Konieczny 007: code coverage . . . 13ms Konieczny 008: code coverage . . . 10ms Konieczny 009: regular elements and idempotents . . . 88ms Konieczny 010: regular D-class 01 . . . 1016μs Konieczny 011: regular D-class 02 . . . 8650μs Konieczny 012: regular D-class 04: contains . . . 30ms Konieczny 013: non-regular D-classes 01 . . . 1033μs Konieczny 014: RegularDClass . . . 608μs Konieczny 015: full bmat monoid 4 . . . 37ms Konieczny 017: regular generated bmat monoid 4 idempotents . . . 57ms Konieczny 019: my favourite example . . . 93ms Konieczny 020: another large example . . . 8532μs Konieczny 021: my favourite example transposed . . . 73ms Konieczny 024: exceptions . . . 1099μs Konieczny 025: 0-parameter constructor . . . 18ms Konieczny 026: non-regular D-classes 02 . . . 10ms Konieczny 028: partial perm . . . 102ms Konieczny 029: symmetric inverse monoid n = 8 . . . 19ms Konieczny 030: exceptions . . . 207ms Konieczny 031: transformations . . . 494μs Konieczny 032: transformations - JDM favourite example . . . 43ms Konieczny 033: transformations - large example . . . 280ms Konieczny 034: transformations - large example with stop . . . 281ms Konieczny 035: transformations - large example with run_until . . . 281ms Konieczny 036: transformations - large example with stop in Action . . . 282ms Konieczny 037: exceptions . . . 58μs Konieczny 038: transformations: contains . . . 599μs Konieczny 040: transformations - destructor coverage . . . 101ms Konieczny 041: current_number_D_classes . . . 101ms Konieczny 042: add_generator . . . 17μs Konieczny 043: add_generator . . . 12μs Matrix 000: BMat<2> . . . 101μs Matrix 001: BMat<> . . . 73μs Matrix 002: BMat<3> + BMat<> . . . 13μs Matrix 003: BMat<2> + BMat<> . . . 12μs Matrix 004: BMat<3> . . . 13μs Matrix 005: BMat<> . . . 14μs Matrix 006: BMat<3> row_basis . . . 52μs Matrix 007: BMat<> row_basis . . . 39μs Matrix 008: IntMat<3> . . . 16μs Matrix 009: IntMat<> . . . 20μs Matrix 010: IntMat code cov . . . 11μs Matrix 011: MaxPlusMat<3> . . . 16μs Matrix 012: MaxPlusMat<> . . . 17μs Matrix 013: MaxPlusMat code cov . . . 9000ns Matrix 014: MinPlusMat<3> . . . 17μs Matrix 015: MinPlusMat<> . . . 20μs Matrix 016: MinPlusMat code cov . . . 11μs Matrix 017: MaxPlusTruncMat<5, 2> . . . 19μs Matrix 018: MaxPlusTruncMat<5> . . . 22μs Matrix 019: MaxPlusTruncMat<> . . . 35μs Matrix 020: MaxPlusTruncMat<5, 4> . . . 18μs Matrix 021: MaxPlusTruncMat<5> . . . 20μs Matrix 022: MaxPlusTruncMat<> . . . 21μs Matrix 023: MaxPlusTruncMat<33, 3> . . . 31μs Matrix 024: MaxPlusTruncMat<33> . . . 28μs Matrix 025: MaxPlusTruncMat<> . . . 27μs Matrix 026: MaxPlusMat code cov . . . 10μs Matrix 027: MinPlusTruncMat<33, 3> . . . 29μs Matrix 028: MinPlusTruncMat<33> . . . 29μs Matrix 029: MinPlusTruncMat<> . . . 37μs Matrix 030: NTPMat<0, 3, 3, 3> . . . 15μs Matrix 031: NTPMat<0, 3> . . . 18μs Matrix 032: NTPMat<> . . . 32μs Matrix 033: NTPMat<0, 10, 4, 4> . . . 25μs Matrix 034: NTPMat<0, 10> . . . 20μs Matrix 035: NTPMat<> . . . 30μs Matrix 036: NTPMat<0, 10, 4, 4> . . . 19μs Matrix 037: NTPMat<0, 10> . . . 18μs Matrix 038: NTPMat<> . . . 19μs Matrix 039: NTPMat<33, 2, 3, 3> . . . 14μs Matrix 040: NTPMat<33, 2> . . . 15μs Matrix 041: NTPMat<> . . . 15μs Matrix 042: ProjMaxPlusMat<3> . . . 69μs Matrix 043: ProjMaxPlusMat<> . . . 59μs Matrix 044: exceptions . . . 34μs Matrix 045: code coverage . . . 33μs MultiStringView 000: catch all . . . 51μs MultiStringView 001: is_prefix . . . 15μs MultiStringView 002: erase . . . 17μs MultiStringView 003: iterators . . . 12μs MultiStringView 004: constructors (long) . . . 22μs MultiStringView 005: constructors (short) . . . 18μs MultiStringView 006: copy assignment (short assigned to long) . . . 14μs MultiStringView 007: copy assignment (short assigned to short) . . . 14μs MultiStringView 008: move assignment (short assigned to long) . . . 13μs MultiStringView 009: move assignment (short assigned to short) . . . 12μs MultiStringView 010: code coverage . . . 30μs MultiStringView 011: pop_front . . . 46μs MultiStringView 012: append . . . 15μs MultiStringView 013: operators . . . 15μs MultiStringView 014: maximum_common_suffix . . . 15μs MultiStringView 015: deep tests . . . 10μs ObviouslyInfinite 011: Multiple rule additions . . . 44μs ObviouslyInfinite 012: A power of the generator 'b' does not [...] . . . 12μ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 . . . 14μ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 . . . 16μs PBR 001: universal product with convenience constructor . . . 44μs PBR 002: universal product . . . 19μs PBR 003: product [bigger than previous] . . . 28μs PBR 004: hash . . . 10μs PBR 005: delete/copy . . . 19μs PBR 006: exceptions . . . 127μs PBR 007: operators . . . 70μs PBR 008: to_string . . . 18μs PBR 009: identity . . . 45μs PBR 010: adapters . . . 9000ns Pool 000: initial . . . 26μs Pool 001: bmat . . . 25μs Pool 002: PoolGuard . . . 20μs Pool 003: transformation products . . . 14μs Presentation 000: vectors of ints . . . 86μs Presentation 001: strings . . . 72μs Presentation 002: constructors (word_type) . . . 23μs Presentation 003: constructors (StaticVector1) . . . 37μs Presentation 004: constructors (std::string) . . . 23μs Presentation 005: alphabet + letters (word_type) . . . 115μs Presentation 006: alphabet + letters (std::string) . . . 36μs Presentation 007: contains_empty_word . . . 12μs Presentation 008: validate_rules throws . . . 39μs Presentation 009: helpers add_rule(s) . . . 78μs Presentation 010: helpers add_rule(s) (std::string) . . . 28μs Presentation 011: helpers add_identity_rules (std::vector/St [...] . . . 41μs Presentation 012: helpers add_identity_rules (std::string) . . . 25μs Presentation 013: helpers add_inverse_rules (all) . . . 156μs Presentation 014: helpers add_inverse_rules (std::string) . . . 38μs Presentation 015: helpers remove_duplicate_rules . . . 59μs Presentation 016: helpers reduce_complements . . . 110μs Presentation 017: helpers sort_each_rule . . . 54μs Presentation 018: helpers sort_rules . . . 59μs Presentation 019: helpers longest_common_subword/replace_subword . . . 220μs Presentation 020: helpers redundant_rule . . . 5361μs Presentation 021: helpers shortlex_compare_concat . . . 12μs Presentation 022: helpers remove_trivial_rules . . . 60μs Presentation 023: helpers replace_subword (existing, replacement) . . . 51μs Presentation 024: helpers longest_rule . . . 91μs Presentation 025: helpers longest_rule_length . . . 78μs Presentation 026: helpers remove_redundant_generators . . . 99μs Presentation 027: helpers reverse . . . 21μs Presentation 028: in_alphabet . . . 25μs Presentation 029: replace_subword with empty word . . . 21μs Presentation 030: helpers replace_word . . . 36μs Presentation 031: clear . . . 11μs Presentation 032: letter . . . 31μs Presentation 033: normalize_alphabet . . . 15μs Presentation 034: longest_common_subword issue . . . 280μs Presentation 035: helpers add_zero_rules (std::vector/Static [...] . . . 41μs Presentation 036: helpers add_zero_rules (std::string) . . . 23μs Presentation 037: make_semigroup . . . 44μs Presentation 038: greedy_reduce_length . . . 179μs Presentation 039: aaaaaaaab = aaaaaaaaab strong compression . . . 49μs Presentation 040: change_alphabet . . . 62μs Presentation 041: sort_rules bug . . . 226μs Presentation 042: first_unused_letter/letter . . . 153μs Presentation 043: case where strong compression doesn't work . . . 30μs Presentation 044: proof that . . . 37μs Presentation 045: decompression . . . 18μs Race 001: run_for . . . 10ms Race 002: run_until . . . 10ms Race 003: exceptions . . . 10ms Race 004: iterators . . . 13μs Race 005: find_runner . . . 21μs Race 006: run_func . . . 25ms Race 007: run_func . . . 10ms Race 008: run_func . . . 10ms Runner 000: run_for . . . 10ms Runner 001: run_for . . . 1011μs Runner 002: run_for . . . 192ms Runner 003: run_for . . . 25ms Runner 004: started . . . 1043μs Runner 005: run_until . . . 10ms Runner 006: kill . . . 29μs Runner 007: copy constructor . . . 10ms Runner 008: report . . . 20ms Runner 009: run_until with function pointer . . . 41μs SchreierSims 001: trivial perm. group (degree 1) . . . 47μs SchreierSims 002: trivial perm. group (degree 2) . . . 29μs SchreierSims 003: trivial perm. group (degree 500) . . . 349μs SchreierSims 004: symmetric perm. group (degree 5) . . . 49μs SchreierSims 005: symmetric perm. group (degree 8) . . . 48μs SchreierSims 006: symmetric perm. group (degree 9) . . . 58μs SchreierSims 007: alternating perm. group (degree 12) . . . 75μs SchreierSims 008: symmetric perm. group (degree 16) . . . 370μs SchreierSims 009: alternating perm. group (degree 15) . . . 198μs SchreierSims 010: alternating perm. group (degree 16) . . . 410μs SchreierSims 011: dihedral perm. group (order 10) . . . 30μs SchreierSims 012: dihedral perm. group (order 200) . . . 2215μs SchreierSims 013: perm. group T (order 12) . . . 30μs SchreierSims 014: quaternion perm. group (order 8) . . . 35μs SchreierSims 015: perm. group (order 84129611558952960) . . . 266ms SchreierSims 016: perm. group SL(3, 5) (order 372000) . . . 1381μs SchreierSims 017: perm. group PSL(4, 8) (order 34558531338240) . . . 105ms SchreierSims 018: perm. Mathieu group M11 (order 7920) . . . 96μs SchreierSims 019: perm. Mathieu group M24 (order 244823040) . . . 257μs SchreierSims 020: perm. Janko Group J1 (order 175560) . . . 3032μs SchreierSims 021: perm. Hall-Janko group (order 604800) . . . 456μs SchreierSims 022: perm. Hall-Janko group (alt.) (order 604800) . . . 25ms SchreierSims 023: perm. Conway group Co3 (order 495766656000) . . . 8381μs SchreierSims 024: perm. Conway group Co3 (alt.) (order 49576 [...] . . . 17ms SchreierSims 025: perm. Suzuki group (order 448345497600) . . . 89ms SchreierSims 027: perm. Held group (order 4030387200) . . . 128ms SchreierSims 028: perm. group C2 x C2 x C2 (order 8) . . . 29μs SchreierSims 029: perm. group C2 x C2 x C2 x C2 (order 16) . . . 39μs SchreierSims 030: perm. group (S5 x S5) : C2 (order 28800) . . . 64μs SchreierSims 031: perm. group C3 x D8 x A5 (order 1440) . . . 63μs SchreierSims 032: perm. group GL(4, 3) (order 24261120) . . . 644μs SchreierSims 033: perm. group PSL(3, 7) (order 1876896) . . . 724μs SchreierSims 037: symmetric perm. group (degree 5) . . . 29μs SchreierSims 038: alternating perm. group (degree 17) . . . 3450μs SchreierSims 039: exceptions . . . 92μs SchreierSims 040: exceptions . . . 42μs SchreierSims 041: trivial group . . . 31μs SchreierSims 042: A17 bug . . . 3051μs SchreierSims 043: orbits_lookup test . . . 479μs SchreierSims 044: transversal_element and inversal_element test . . . 1109μs SchreierSimsHelper 001: trivial perm. group intersection (de [...] . . . 18μs SchreierSimsHelper 002: trivial perm. group intersection (de [...] . . . 21μs SchreierSimsHelper 003: cyclic group intersection (degree 13) . . . 32μs SchreierSimsHelper 004: D10 and Z5 intersection . . . 30μs SchreierSimsHelper 005: D8 and Q8 intersection . . . 19μs SchreierSimsHelper 006: primitive on 8 points intersection . . . 30μs SchreierSimsHelper 007: primitive on 8 points intersection ( [...] . . . 27μs SchreierSimsHelper 008: A13 and PGL(2, 11) intersection . . . 147μs SchreierSimsHelper 009: A13 and PGL(2, 11) intersection (swa [...] . . . 139μs SchreierSimsHelper 012: 3^3:13 and 3^3.2.A(4) intersection . . . 155μs SchreierSimsHelper 015: 3^3(S(4) x 2) and ASL(3, 3) intersection . . . 321μs SchreierSimsHelper 016: 7^2:3 x Q(8) and 7^2:D(2*6) intersection . . . 392μs SchreierSimsHelper 018: D(2*53) and 53:13 intersection . . . 233μs SchreierSimsHelper 019: 2^6:(7 x D_14) and PSL(2, 6)^2.4 int [...] . . . 1601μs SchreierSimsHelper 020: 2^6:(S_3 x GL(3, 2)) and 2.6:Alt(7) [...] . . . 4974μs SchreierSimsHelper 022: PSL(2, 127) and AGL(1, 2^7) intersection . . . 8655μs SchreierSimsHelper 023: PSL(3, 4).2 and PSL(3, 4).2 (nontriv [...] . . . 1683μs SchreierSimsHelper 024: PSL(3, 4).Sym(3) and PSL(3, 4).2 int [...] . . . 1877μs SchreierSimsHelper 025: 3^4:5:4 and D_16:4 intersection . . . 1005μs Sims1 000: fp example 1 . . . 1143μs Sims1 001: fp example 2 . . . 1546μs Sims1 002: ToddCoxeter failing example . . . 11ms Sims1 003: ToddCoxeter failing example . . . 599μs Sims1 004: partition_monoid(2) right . . . 5051μs Sims1 006: full_transformation_monoid(3) right . . . 5492μs Sims1 007: full_transformation_monoid(3) left . . . 3050μs Sims1 009: rook_monoid(2, 1) . . . 89μs Sims1 010: symmetric_inverse_monoid(2) from FroidurePin . . . 91μs Sims1 011: symmetric_inverse_monoid(3) . . . 5342μs Sims1 014: temperley_lieb_monoid(3) from presentation . . . 105μs Sims1 015: temperley_lieb_monoid(4) from presentation . . . 593μs Sims1 016: fp semigroup containing given pairs #1 . . . 303μs Sims1 017: fp semigroup containing given pairs #2 . . . 305μs Sims1 018: fp semigroup containing given pairs #3 . . . 462μs Sims1 019: ToddCoxeter failing example . . . 1060μs Sims1 020: fp example 2 . . . 1872μs Sims1 021: exceptions . . . 185μs Sims1 027: from https://mathoverflow.net/questions/423541/ . . . 19ms Sims1 028: from https://mathoverflow.net/questions/423541/ . . . 14ms Sims1 030: presentation with one free generator . . . 190μs Sims1 031: presentation with non-zero index generators . . . 68μs Sims1 032: presentation with empty word . . . 6323μs Sims1 033: constructors . . . 959μs Sims1 034: split_at . . . 181μs Sims1 035: stats . . . 89μs Sims1 036: check iterator requirements . . . 117μs Sims1 040: TransitiveGroup(10, 32) - minimal rep . . . 2756μs Sims1 043: rectangular_band(2, 2) - with and without identity . . . 161μs Sims1 044: trivial group - minimal o.r.c. rep . . . 101μs Sims1 045: right zero semigroup - minimal o.r.c. rep . . . 1624μs Sims1 046: semigroup with faithful non-strictly cyclic actio [...] . . . 808μs Sims1 068: RepOrc . . . 25ms Sims1 069: fp example 1 . . . 399μ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 970μs (177ns 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 . . . 1073μs Sims1 072: symmetric_group(n) for n = 4 . . . 1283μs Sims1 073: corner case no generators + no relations . . . 63μs Sims1 076: uninitialized RepOrc . . . 25μs SmallestInteger 001: . . . 12μs StaticTriVector2 045: all . . . 19μs StaticVector2 043: all . . . 18μs Stephen 000: basic test 1 . . . 191μs Stephen 001: basic test 2 . . . 121μs Stephen 002: full transf monoid . . . 12ms Stephen 003: from step_hen 002 . . . 49μs Stephen 004: from step_hen 003 . . . 158μs Stephen 005: from step_hen 004 . . . 38μs Stephen 006: from step_hen 005 . . . 91μs Stephen 008: C(4) monoid normal form (test_case_knuth_bendix_055) . . . 169μs Stephen 009: C(4) monoid normal form (test_case_gap_smallove [...] . . . 81μs Stephen 010: code coverage . . . 262μs Stephen 011: C(4) monoid normal form (test_case_gap_smallove [...] . . . 226μs Stephen 012: C(4) monoid normal form (test_case_gap_smallove [...] . . . 201μs Stephen 013: C(4) monoid equal to (test_case_gap_smalloverlap_70) . . . 95μs Stephen 014: C(4) monoid normal form (test_case_ex_3_13_14) . . . 270μs Stephen 015: C(4) monoid normal form (test_case_ex_3_15) . . . 343μs Stephen 016: C(4) monoid normal form (test_case_ex_3_16) . . . 250μs Stephen 017: C(4) monoid normal form (test_case_mt_3) . . . 138μs Stephen 018: C(4) monoid normal form (test_case_mt_5) . . . 88μs Stephen 019: C(4) monoid normal form (test_case_mt_6) . . . 277μs Stephen 020: C(4) monoid normal form (test_case_mt_10) . . . 124μs Stephen 021: C(4) monoid normal form (test_case_mt_13) . . . 90μs Stephen 022: C(4) monoid normal form (test_case_mt_14) . . . 89μs Stephen 023: C(4) monoid normal form (test_case_mt_15) . . . 92μs Stephen 024: C(4) monoid normal form (test_case_mt_16) . . . 104μs Stephen 025: C(4) monoid normal form (test_case_mt_17) . . . 262μs Stephen 026: C(4) monoid normal form (test_case_weak_1) . . . 196μs Stephen 027: C(4) monoid normal form (test_case_weak_2) . . . 147μs Stephen 028: C(4) monoid normal form (test_case_weak_3) . . . 202μs Stephen 029: C(4) monoid normal form (test_case_weak_4) . . . 198μs Stephen 030: C(4) monoid normal form (test_case_weak_5) . . . 99μs Stephen 031: Test behaviour when uninitialised . . . 133μs Suf 005: unite . . . 22μs Suf 007: compress . . . 13μs Suf 011: big chain . . . 13ms Suf 013: empty table . . . 17μs Suf 015: join . . . 12μs Suf 017: contains . . . 26μs Suf 019: swap . . . 28μs Timer 001: string method (1 argument) . . . 22μs Timer 002: string method (0 arguments) . . . 10ms Timer 003: reset/elapsed method . . . 20ms Timer 004: operator<< . . . 10μs ToddCoxeter 000: small 2-sided congruence . . .  -- with HLT + no standardise + full lookahead + no save 1065μs  -- with HLT + standardise + full lookahead + no save 988μs  -- with HLT + no standardise + partial lookahead + no save 993μs  -- with HLT + standardise + partial lookahead + no save 984μs  -- with HLT + no standardise + full lookahead + save 1007μs  -- with HLT + standardise + full lookahead + save 1007μs  -- with HLT + no standardise + partial lookahead + save 999μs  -- with HLT + standardise + partial lookahead + save 994μs  -- with Felsch + no standardisation 995μs  -- with Felsch + standardisation 988μs  -- with random strategy 1005μs  -- with Rc style + full lookahead 982μs  -- with Rc style + partial lookahead 982μs  -- with R/C style 975μs  -- with CR style 988μs  -- with Cr style 992μs ToddCoxeter 001: small 2-sided congruence . . .  -- with HLT + no standardise + full lookahead + no save 5130μs  -- with HLT + standardise + full lookahead + no save 5168μs  -- with HLT + no standardise + partial lookahead + no save 5083μs  -- with HLT + standardise + partial lookahead + no save 5097μs  -- with HLT + no standardise + full lookahead + save 4991μs  -- with HLT + standardise + full lookahead + save 4982μs  -- with HLT + no standardise + partial lookahead + save 4960μs  -- with HLT + standardise + partial lookahead + save 4980μs  -- with Felsch + no standardisation 4979μs  -- with Felsch + standardisation 5377μs  -- with random strategy 4950μs  -- with Rc style + full lookahead 4963μs  -- with Rc style + partial lookahead 4962μs  -- with R/C style 4957μs  -- with CR style 5014μs  -- with Cr style 4961μs ToddCoxeter 003: constructed from FroidurePin . . .  -- with Felsch + no standardisation 243ms  -- with Felsch + standardisation 242ms  -- with HLT + no standardise + full lookahead + no save 84ms  -- with HLT + standardise + full lookahead + no save 84ms  -- with HLT + no standardise + partial lookahead + no save 83ms  -- with HLT + standardise + partial lookahead + no save 83ms  -- with HLT + no standardise + full lookahead + save 251ms  -- with HLT + standardise + full lookahead + save 251ms  -- with HLT + no standardise + partial lookahead + save 251ms  -- with HLT + standardise + partial lookahead + save 251ms  -- with random strategy 200ms  -- with Rc style + full lookahead 245ms  -- with Rc style + partial lookahead 245ms  -- with R/C style 91ms  -- with CR style 244ms  -- with Cr style 244ms ToddCoxeter 004: 2-sided congruence from FroidurePin . . .  -- with HLT + no standardise + full lookahead + no save 227μs  -- with HLT + standardise + full lookahead + no save 173μs  -- with HLT + no standardise + partial lookahead + no save 165μs  -- with HLT + standardise + partial lookahead + no save 162μs  -- with HLT + save (throws) 208μs  -- with Felsch (throws) 173μs  -- with random strategy 167μs ToddCoxeter 005: non-trivial two-sided from relations . . .  -- with HLT + no standardise + full lookahead + no save 60μs  -- with HLT + standardise + full lookahead + no save 42μs  -- with HLT + no standardise + partial lookahead + no save 39μs  -- with HLT + standardise + partial lookahead + no save 39μs  -- with HLT + no standardise + full lookahead + save 54μs  -- with HLT + standardise + full lookahead + save 49μs  -- with HLT + no standardise + partial lookahead + save 48μs  -- with HLT + standardise + partial lookahead + save 48μs  -- with Felsch + no standardisation 47μs  -- with Felsch + standardisation 42μs  -- with random strategy 46μs  -- with Rc style + full lookahead 41μs  -- with Rc style + partial lookahead 40μs  -- with R/C style 40μs  -- with CR style 44μs  -- with Cr style 44μs ToddCoxeter 006: small right cong. on free semigroup . . .  -- with HLT + no standardise + full lookahead + no save 41μs  -- with HLT + standardise + full lookahead + no save 33μs  -- with HLT + no standardise + partial lookahead + no save 30μs  -- with HLT + standardise + partial lookahead + no save 34μs  -- with HLT + no standardise + full lookahead + save 37μs  -- with HLT + standardise + full lookahead + save 35μs  -- with HLT + no standardise + partial lookahead + save 34μs  -- with HLT + standardise + partial lookahead + save 34μs  -- with Felsch + no standardisation 34μs  -- with Felsch + standardisation 37μs  -- with random strategy 36μs  -- with Rc style + full lookahead 32μs  -- with Rc style + partial lookahead 31μs  -- with R/C style 32μs  -- with CR style 37μs  -- with Cr style 34μs ToddCoxeter 007: left cong. on free semigroup . . .  -- with HLT + no standardise + full lookahead + no save 42μs  -- with HLT + standardise + full lookahead + no save 36μs  -- with HLT + no standardise + partial lookahead + no save 33μs  -- with HLT + standardise + partial lookahead + no save 34μs  -- with HLT + no standardise + full lookahead + save 39μs  -- with HLT + standardise + full lookahead + save 39μs  -- with HLT + no standardise + partial lookahead + save 38μs  -- with HLT + standardise + partial lookahead + save 38μs  -- with Felsch + no standardisation 37μs  -- with Felsch + standardisation 40μs  -- with random strategy 41μs  -- with Rc style + full lookahead 36μs  -- with Rc style + partial lookahead 47μs  -- with R/C style 37μs  -- with CR style 39μs  -- with Cr style 39μs ToddCoxeter 008: for small fp semigroup . . .  -- with HLT + no standardise + full lookahead + no save 36μs  -- with HLT + standardise + full lookahead + no save 31μs  -- with HLT + no standardise + partial lookahead + no save 35μs  -- with HLT + standardise + partial lookahead + no save 33μs  -- with HLT + no standardise + full lookahead + save 36μs  -- with HLT + standardise + full lookahead + save 35μs  -- with HLT + no standardise + partial lookahead + save 34μs  -- with HLT + standardise + partial lookahead + save 34μs  -- with Felsch + no standardisation 34μs  -- with Felsch + standardisation 34μs  -- with random strategy 37μs  -- with Rc style + full lookahead 34μs  -- with Rc style + partial lookahead 33μs  -- with R/C style 33μs  -- with CR style 37μs  -- with Cr style 39μs ToddCoxeter 009: 2-sided cong. trans. semigroup . . .  -- with HLT + no standardise + full lookahead + no save 230μs  -- with HLT + standardise + full lookahead + no save 207μs  -- with HLT + no standardise + partial lookahead + no save 196μs  -- with HLT + standardise + partial lookahead + no save 200μs  -- with HLT + no standardise + full lookahead + save 554μs  -- with HLT + standardise + full lookahead + save 544μs  -- with HLT + no standardise + partial lookahead + save 541μs  -- with HLT + standardise + partial lookahead + save 538μs  -- with Felsch + no standardisation 475μs  -- with Felsch + standardisation 465μs  -- with random strategy 214μs  -- with Rc style + full lookahead 224μs  -- with Rc style + partial lookahead 207μs  -- with R/C style 213μs  -- with CR style 486μs  -- with Cr style 481μs ToddCoxeter 010: left congruence on transformation semigroup . . .  -- with HLT + no standardise + full lookahead + no save 252μs  -- with HLT + standardise + full lookahead + no save 241μs  -- with HLT + no standardise + partial lookahead + no save 227μs  -- with HLT + standardise + partial lookahead + no save 237μs  -- with HLT + no standardise + full lookahead + save 587μs  -- with HLT + standardise + full lookahead + save 590μs  -- with HLT + no standardise + partial lookahead + save 569μs  -- with HLT + standardise + partial lookahead + save 591μs  -- with Felsch + no standardisation 510μs  -- with Felsch + standardisation 487μs  -- with random strategy 635μs  -- with Rc style + full lookahead 262μs  -- with Rc style + partial lookahead 257μs  -- with R/C style 280μs  -- with CR style 534μs  -- with Cr style 536μs ToddCoxeter 011: right cong. trans. semigroup . . .  -- with HLT + no standardise + full lookahead + no save 250μs  -- with HLT + standardise + full lookahead + no save 254μs  -- with HLT + no standardise + partial lookahead + no save 238μs  -- with HLT + standardise + partial lookahead + no save 256μs  -- with HLT + no standardise + full lookahead + save 575μs  -- with HLT + standardise + full lookahead + save 567μs  -- with HLT + no standardise + partial lookahead + save 552μs  -- with HLT + standardise + partial lookahead + save 568μs  -- with Felsch + no standardisation 426μs  -- with Felsch + standardisation 446μs  -- with random strategy 286μs  -- with Rc style + full lookahead 268μs  -- with Rc style + partial lookahead 265μs  -- with R/C style 293μs  -- with CR style 454μs  -- with Cr style 441μs ToddCoxeter 012: trans. semigroup (size 88) . . .  -- with HLT + no standardise + full lookahead + no save 179μs  -- with HLT + standardise + full lookahead + no save 146μs  -- with HLT + no standardise + partial lookahead + no save 141μs  -- with HLT + standardise + partial lookahead + no save 142μs  -- with HLT + save (throws) 156μs  -- with Felsch (throws) 150μs  -- with random strategy 152μs ToddCoxeter 013: left cong. on trans. semigroup (size 88) . . .  -- with HLT + no standardise + full lookahead + no save 205μs  -- with HLT + standardise + full lookahead + no save 215μs  -- with HLT + no standardise + partial lookahead + no save 211μs  -- with HLT + standardise + partial lookahead + no save 210μs  -- with HLT + no standardise + full lookahead + save 562μs  -- with HLT + standardise + full lookahead + save 558μs  -- with HLT + no standardise + partial lookahead + save 548μs  -- with HLT + standardise + partial lookahead + save 559μs  -- with Felsch + no standardisation 491μs  -- with Felsch + standardisation 462μs  -- with random strategy 252μs  -- with Rc style + full lookahead 236μs  -- with Rc style + partial lookahead 232μs  -- with R/C style 257μs  -- with CR style 514μs  -- with Cr style 515μs ToddCoxeter 014: right cong. on trans. semigroup (size 88) . . .  -- with HLT + no standardise + full lookahead + no save 215μs  -- with HLT + standardise + full lookahead + no save 218μs  -- with HLT + no standardise + partial lookahead + no save 206μs  -- with HLT + standardise + partial lookahead + no save 215μs  -- with HLT + no standardise + full lookahead + save 536μs  -- with HLT + standardise + full lookahead + save 536μs  -- with HLT + no standardise + partial lookahead + save 514μs  -- with HLT + standardise + partial lookahead + save 541μs  -- with Felsch + no standardisation 394μs  -- with Felsch + standardisation 407μs  -- with random strategy 253μs  -- with Rc style + full lookahead 237μs  -- with Rc style + partial lookahead 235μs  -- with R/C style 265μs  -- with CR style 424μs  -- with Cr style 407μs ToddCoxeter 015: finite fp-semigroup, dihedral group of order 6 . . .  -- with HLT + no standardise + full lookahead + no save 75μs  -- with HLT + standardise + full lookahead + no save 66μ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 89μs  -- with HLT + standardise + full lookahead + save 78μs  -- with HLT + no standardise + partial lookahead + save 75μs  -- with HLT + standardise + partial lookahead + save 77μs  -- with Felsch + no standardisation 72μs  -- with Felsch + standardisation 68μs  -- with random strategy 72μs  -- with Rc style + full lookahead 62μs  -- with Rc style + partial lookahead 59μs  -- with R/C style 60μs  -- with CR style 69μs  -- with Cr style 68μs ToddCoxeter 016: finite fp-semigroup, size 16 . . .  -- with HLT + no standardise + full lookahead + no save 71μs  -- with HLT + standardise + full lookahead + no save 64μs  -- with HLT + no standardise + partial lookahead + no save 62μs  -- with HLT + standardise + partial lookahead + no save 63μs  -- with HLT + no standardise + full lookahead + save 133μs  -- with HLT + standardise + full lookahead + save 129μs  -- with HLT + no standardise + partial lookahead + save 123μs  -- with HLT + standardise + partial lookahead + save 125μs  -- with Felsch + no standardisation 118μs  -- with Felsch + standardisation 111μs  -- with random strategy 119μs  -- with Rc style + full lookahead 72μs  -- with Rc style + partial lookahead 64μs  -- with R/C style 71μs  -- with CR style 116μs  -- with Cr style 114μs ToddCoxeter 017: finite fp-semigroup, size 16 . . .  -- with HLT + no standardise + full lookahead + no save 176μs  -- with HLT + standardise + full lookahead + no save 164μs  -- with HLT + no standardise + partial lookahead + no save 153μs  -- with HLT + standardise + partial lookahead + no save 157μs  -- with HLT + no standardise + full lookahead + save 337μs  -- with HLT + standardise + full lookahead + save 332μs  -- with HLT + no standardise + partial lookahead + save 319μs  -- with HLT + standardise + partial lookahead + save 324μs  -- with Felsch + no standardisation 307μs  -- with Felsch + standardisation 286μs  -- with random strategy 316μs  -- with Rc style + full lookahead 166μs  -- with Rc style + partial lookahead 162μs  -- with R/C style 170μs  -- with CR style 298μs  -- with Cr style 294μs ToddCoxeter 018: test lookahead . . .  -- with HLT + no standardise + full lookahead + no save 315μs  -- with HLT + standardise + full lookahead + no save 280μs  -- with HLT + no standardise + partial lookahead + no save 250μs  -- with HLT + standardise + partial lookahead + no save 263μs  -- with HLT + no standardise + full lookahead + save 475μs  -- with HLT + standardise + full lookahead + save 475μs  -- with HLT + no standardise + partial lookahead + save 456μs  -- with HLT + standardise + partial lookahead + save 480μs ToddCoxeter 019: non-trivial left cong. from semigroup . . .  -- with HLT + no standardise + full lookahead + no save 151μs  -- with HLT + standardise + full lookahead + no save 142μs  -- with HLT + no standardise + partial lookahead + no save 138μs  -- with HLT + standardise + partial lookahead + no save 135μs  -- with HLT + save (throws) 141μs  -- with Felsch (throws) 137μs  -- with random strategy 144μs ToddCoxeter 020: 2-sided cong. on free semigroup . . .  -- with HLT + no standardise + full lookahead + no save 25μs  -- with HLT + standardise + full lookahead + no save 19μs  -- with HLT + no standardise + partial lookahead + no save 18μs  -- with HLT + standardise + partial lookahead + no save 18μs  -- with HLT + no standardise + full lookahead + save 18μs  -- with HLT + standardise + full lookahead + save 18μs  -- with HLT + no standardise + partial lookahead + save 18μs  -- with HLT + standardise + partial lookahead + save 18μs  -- with Felsch + no standardisation 18μs  -- with Felsch + standardisation 19μs  -- with random strategy 18μs ToddCoxeter 021: calling run when obviously infinite . . .  -- with HLT + no standardise + full lookahead + no save 43μs  -- with HLT + standardise + full lookahead + no save 30μs  -- with HLT + no standardise + partial lookahead + no save 30μs  -- with HLT + standardise + partial lookahead + no save 29μs  -- with HLT + no standardise + full lookahead + save 28μs  -- with HLT + standardise + full lookahead + save 29μs  -- with HLT + no standardise + partial lookahead + save 28μs  -- with HLT + standardise + partial lookahead + save 28μs  -- with Felsch + no standardisation 28μs  -- with Felsch + standardisation 31μs  -- with random strategy 28μs ToddCoxeter 022: stellar_monoid S3 . . .  -- with HLT + no standardise + full lookahead + no save 133μs  -- with HLT + standardise + full lookahead + no save 125μs  -- with HLT + no standardise + partial lookahead + no save 115μs  -- with HLT + standardise + partial lookahead + no save 120μs  -- with HLT + no standardise + full lookahead + save 219μs  -- with HLT + standardise + full lookahead + save 216μs  -- with HLT + no standardise + partial lookahead + save 201μs  -- with HLT + standardise + partial lookahead + save 208μs  -- with Felsch + no standardisation 200μs  -- with Felsch + standardisation 187μs  -- with random strategy 200μs  -- with Rc style + full lookahead 125μs  -- with Rc style + partial lookahead 121μs  -- with R/C style 127μs  -- with CR style 188μs  -- with Cr style 186μs ToddCoxeter 023: finite semigroup (size 5) . . .  -- with HLT + no standardise + full lookahead + no save 40μs  -- with HLT + standardise + full lookahead + no save 31μs  -- with HLT + no standardise + partial lookahead + no save 30μs  -- with HLT + standardise + partial lookahead + no save 35μs  -- with HLT + no standardise + full lookahead + save 37μs  -- with HLT + standardise + full lookahead + save 35μs  -- with HLT + no standardise + partial lookahead + save 34μs  -- with HLT + standardise + partial lookahead + save 33μs  -- with Felsch + no standardisation 33μs  -- with Felsch + standardisation 35μs  -- with random strategy 33μs  -- with Rc style + full lookahead 31μs  -- with Rc style + partial lookahead 30μs  -- with R/C style 31μs  -- with CR style 36μs  -- with Cr style 34μs ToddCoxeter 024: exceptions . . .  -- with HLT + no standardise + full lookahead + no save 199μs  -- with HLT + standardise + full lookahead + no save 167μs  -- with HLT + no standardise + partial lookahead + no save 162μs  -- with HLT + standardise + partial lookahead + no save 162μs  -- with HLT + no standardise + full lookahead + save 166μs  -- with HLT + standardise + full lookahead + save 166μs  -- with HLT + no standardise + partial lookahead + save 165μs  -- with HLT + standardise + partial lookahead + save 164μs  -- with Felsch + no standardisation 162μs  -- with Felsch + standardisation 167μs  -- with random strategy 172μs  -- with Rc style + full lookahead 162μs  -- with Rc style + partial lookahead 161μs  -- with R/C style 161μs  -- with CR style 164μs  -- with Cr style 164μs ToddCoxeter 025: obviously infinite . . .  -- with HLT + no standardise + full lookahead + no save 56μs  -- with HLT + standardise + full lookahead + no save 36μs  -- with HLT + no standardise + partial lookahead + no save 35μs  -- with HLT + standardise + partial lookahead + no save 35μs  -- with HLT + no standardise + full lookahead + save 36μs  -- with HLT + standardise + full lookahead + save 34μs  -- with HLT + no standardise + partial lookahead + save 34μs  -- with HLT + standardise + partial lookahead + save 34μs  -- with Felsch + no standardisation 34μs  -- with Felsch + standardisation 34μs  -- with random strategy 34μs ToddCoxeter 026: exceptions . . .  -- with HLT + no standardise + full lookahead + no save 93μs  -- with HLT + standardise + full lookahead + no save 76μs  -- with HLT + no standardise + partial lookahead + no save 74μs  -- with HLT + standardise + partial lookahead + no save 74μs  -- with HLT + no standardise + full lookahead + save 104μs  -- with HLT + standardise + full lookahead + save 100μs  -- with HLT + no standardise + partial lookahead + save 98μs  -- with HLT + standardise + partial lookahead + save 97μs  -- with Felsch + no standardisation 97μs  -- with Felsch + standardisation 98μs  -- with random strategy 106μs  -- with Rc style + full lookahead 84μs  -- with Rc style + partial lookahead 76μs  -- with R/C style 77μs  -- with CR style 103μs  -- with Cr style 108μs ToddCoxeter 027: empty . . . 57μs ToddCoxeter 028: congruence of fpsemigroup::ToddCoxeter . . .  -- with HLT + no standardise + full lookahead + no save 149μs  -- with HLT + standardise + full lookahead + no save 111μs  -- with HLT + no standardise + partial lookahead + no save 119μs  -- with HLT + standardise + partial lookahead + no save 107μs  -- with HLT + save (throws) 113μs  -- with Felsch (throws) 112μs  -- with random strategy 115μs  -- with HLT + no standardise + full lookahead + save 111μs  -- with HLT + standardise + full lookahead + save 119μs  -- with HLT + no standardise + partial lookahead + save 112μs  -- with HLT + standardise + partial lookahead + save 109μs  -- with Felsch + no standardisation 107μs  -- with Felsch + standardisation 106μs  -- with Rc style + full lookahead 102μs  -- with Rc style + partial lookahead 101μs  -- with R/C style 101μs  -- with CR style 103μs  -- with Cr style 105μs ToddCoxeter 029: !KnuthBendix.started() . . .  -- with HLT + no standardise + full lookahead + no save and 2-sided 77μs  -- with HLT + standardise + full lookahead + no save and 2-sided 61μs  -- with HLT + no standardise + partial lookahead + no save and 2-sided 53μs  -- with HLT + standardise + partial lookahead + no save and 2-sided 52μs  -- with HLT + no standardise + full lookahead + save and 2-sided 58μs  -- with HLT + standardise + full lookahead + save and 2-sided 56μs  -- with HLT + no standardise + partial lookahead + save and 2-sided 57μs  -- with HLT + standardise + partial lookahead + save and 2-sided 56μs  -- with Felsch + no standardisation and 2-sided 54μs  -- with Felsch + standardisation and 2-sided 53μs  -- with random strategy and 2-sided 57μs  -- with HLT + no standardise + full lookahead + no save and left 64μs  -- with HLT + standardise + full lookahead + no save and left 54μs  -- with HLT + no standardise + partial lookahead + no save and left 52μs  -- with HLT + standardise + partial lookahead + no save and left 51μs  -- with HLT + no standardise + full lookahead + save and left 61μs  -- with HLT + standardise + full lookahead + save and left 59μs  -- with HLT + no standardise + partial lookahead + save and left 58μs  -- with HLT + standardise + partial lookahead + save and left 57μs  -- with Felsch + no standardisation and left 58μs  -- with Felsch + standardisation and left 56μs  -- with random strategy and left 54μs  -- with HLT + no standardise + full lookahead + no save and right 53μs  -- with HLT + standardise + full lookahead + no save and right 50μs  -- with HLT + no standardise + partial lookahead + no save and right 54μs  -- with HLT + standardise + partial lookahead + no save and right 50μs  -- with HLT + no standardise + full lookahead + save and right 57μs  -- with HLT + standardise + full lookahead + save and right 57μs  -- with HLT + no standardise + partial lookahead + save and right 56μs  -- with HLT + standardise + partial lookahead + save and right 57μs  -- with Felsch + no standardisation and right 56μs  -- with Felsch + standardisation and right 56μs  -- with random strategy and right 60μs ToddCoxeter 030: KnuthBendix.finished() . . .  -- with HLT + no standardise + full lookahead + no save and 2-sided 152μs  -- with HLT + standardise + full lookahead + no save and 2-sided 122μs  -- with HLT + no standardise + partial lookahead + no save and 2-sided 123μs  -- with HLT + standardise + partial lookahead + no save and 2-sided 116μs  -- with HLT + no standardise + full lookahead + save and 2-sided 121μs  -- with HLT + standardise + full lookahead + save and 2-sided 120μs  -- with HLT + no standardise + partial lookahead + save and 2-sided 247μs  -- with HLT + standardise + partial lookahead + save and 2-sided 119μs  -- with Felsch + no standardisation and 2-sided 115μs  -- with Felsch + standardisation and 2-sided 113μs  -- with random strategy and 2-sided 117μs  -- with HLT + no standardise + full lookahead + no save and left 127μs  -- with HLT + standardise + full lookahead + no save and left 116μs  -- with HLT + no standardise + partial lookahead + no save and left 116μs  -- with HLT + standardise + partial lookahead + no save and left 113μs  -- with HLT + no standardise + full lookahead + save and left 128μs  -- with HLT + standardise + full lookahead + save and left 124μs  -- with HLT + no standardise + partial lookahead + save and left 123μs  -- with HLT + standardise + partial lookahead + save and left 123μs  -- with Felsch + no standardisation and left 118μs  -- with Felsch + standardisation and left 127μs  -- with random strategy and left 124μs  -- with HLT + no standardise + full lookahead + no save and right 136μs  -- with HLT + standardise + full lookahead + no save and right 153μs  -- with HLT + no standardise + partial lookahead + no save and right 152μs  -- with HLT + standardise + partial lookahead + no save and right 153μs  -- with HLT + no standardise + full lookahead + save and right 160μs  -- with HLT + standardise + full lookahead + save and right 161μs  -- with HLT + no standardise + partial lookahead + save and right 159μs  -- with HLT + standardise + partial lookahead + save and right 159μs  -- with Felsch + no standardisation and right 149μs  -- with Felsch + standardisation and right 149μs  -- with random strategy and right 184μs ToddCoxeter 031: KnuthBendix.finished() . . .  -- with HLT + no standardise + full lookahead + no save and 2-sided 121μs  -- with HLT + standardise + full lookahead + no save and 2-sided 91μs  -- with HLT + no standardise + partial lookahead + no save and 2-sided 88μs  -- with HLT + standardise + partial lookahead + no save and 2-sided 93μs  -- with HLT + no standardise + full lookahead + save and 2-sided 93μs  -- with HLT + standardise + full lookahead + save and 2-sided 91μs  -- with HLT + no standardise + partial lookahead + save and 2-sided 90μs  -- with HLT + standardise + partial lookahead + save and 2-sided 89μs  -- with Felsch + no standardisation and 2-sided 85μs  -- with Felsch + standardisation and 2-sided 84μs  -- with random strategy and 2-sided 89μs  -- with Rc style + full lookahead and 2-sided 89μs  -- with Rc style + partial lookahead and 2-sided 87μs  -- with R/C style and 2-sided 92μs  -- with CR style and 2-sided 89μs  -- with Cr style and 2-sided 89μs  -- with HLT + no standardise + full lookahead + no save and left 118μs  -- with HLT + standardise + full lookahead + no save and left 86μs  -- with HLT + no standardise + partial lookahead + no save and left 84μs  -- with HLT + standardise + partial lookahead + no save and left 83μs  -- with HLT + no standardise + full lookahead + save and left 91μs  -- with HLT + standardise + full lookahead + save and left 92μs  -- with HLT + no standardise + partial lookahead + save and left 90μs  -- with HLT + standardise + partial lookahead + save and left 94μs  -- with Felsch + no standardisation and left 88μs  -- with Felsch + standardisation and left 87μs  -- with random strategy and left 98μs  -- with Rc style + full lookahead and left 89μs  -- with Rc style + partial lookahead and left 88μs  -- with R/C style and left 84μs  -- with CR style and left 90μs  -- with Cr style and left 94μs  -- with HLT + no standardise + full lookahead + no save and right 98μs  -- with HLT + standardise + full lookahead + no save and right 88μs  -- with HLT + no standardise + partial lookahead + no save and right 83μs  -- with HLT + standardise + partial lookahead + no save and right 82μs  -- with HLT + no standardise + full lookahead + save and right 88μs  -- with HLT + standardise + full lookahead + save and right 92μs  -- with HLT + no standardise + partial lookahead + save and right 89μs  -- with HLT + standardise + partial lookahead + save and right 89μs  -- with Felsch + no standardisation and right 86μs  -- with Felsch + standardisation and right 87μs  -- with random strategy and right 94μs  -- with Rc style + full lookahead and right 88μs  -- with Rc style + partial lookahead and right 86μs  -- with R/C style and right 83μs  -- with CR style and right 89μs  -- with Cr style and right 93μs ToddCoxeter 032: prefill . . . 144μs ToddCoxeter 033: congruence of ToddCoxeter . . .  -- with HLT + no standardise + full lookahead + no save 49μs  -- with HLT + standardise + full lookahead + no save 38μs  -- with HLT + no standardise + partial lookahead + no save 36μs  -- with HLT + standardise + partial lookahead + no save 40μs  -- with HLT + no standardise + full lookahead + save 42μs  -- with HLT + standardise + full lookahead + save 41μs  -- with HLT + no standardise + partial lookahead + save 39μs  -- with HLT + standardise + partial lookahead + save 39μs  -- with random strategy 39μs ToddCoxeter 034: congruence of ToddCoxeter . . .  -- with HLT + no standardise + full lookahead + no save 119μs  -- with HLT + standardise + full lookahead + no save 109μs  -- with HLT + no standardise + partial lookahead + no save 105μs  -- with HLT + standardise + partial lookahead + no save 102μs  -- with HLT + save (throws) 113μs  -- with Felsch (throws) 110μs  -- with random strategy 110μs ToddCoxeter 035: congruence on FpSemigroup . . .  -- with HLT + no standardise + full lookahead + no save 295μs  -- with HLT + standardise + full lookahead + no save 266μs  -- with HLT + no standardise + partial lookahead + no save 252μs  -- with HLT + standardise + partial lookahead + no save 252μs  -- with HLT + no standardise + full lookahead + save 303μs  -- with HLT + standardise + full lookahead + save 296μs  -- with HLT + no standardise + partial lookahead + save 300μs  -- with HLT + standardise + partial lookahead + save 297μs  -- with Felsch + no standardisation 290μs  -- with Felsch + standardisation 290μs  -- with random strategy 299μs  -- with Rc style + full lookahead 246μs  -- with Rc style + partial lookahead 245μs  -- with R/C style 245μs  -- with CR style 299μs  -- with Cr style 293μs ToddCoxeter 036: exceptions . . . 96μs ToddCoxeter 037: copy constructor . . . 37μs ToddCoxeter 038: simplify . . . 146μs ToddCoxeter 039: stylic_monoid . . . 742ms ToddCoxeter 041: some finite classes . . . 447μs ToddCoxeter 043: symmetric_group(7, Coxeter + Moser) . . . 135ms ToddCoxeter 044: Option exceptions . . . 60μs ToddCoxeter 045: Options operator<< . . . 532μs ToddCoxeter 046: Easdown-East-FitzGerald DualSymInv(5) . . .  -- with HLT + no standardise + full lookahead + no save 160ms  -- with HLT + standardise + full lookahead + no save 179ms  -- with HLT + no standardise + partial lookahead + no save 158ms  -- with HLT + standardise + partial lookahead + no save 178ms  -- with HLT + no standardise + full lookahead + save 125ms  -- with HLT + standardise + full lookahead + save 125ms  -- with HLT + no standardise + partial lookahead + save 125ms  -- with HLT + standardise + partial lookahead + save 126ms  -- with Felsch + no standardisation 137ms  -- with Felsch + standardisation 137ms  -- with random strategy 163ms  -- with R/C style 167ms  -- with Rc style + full lookahead 143ms  -- with Rc style + partial lookahead 143ms ToddCoxeter 047: uniform_block_bijection_monoid(3) (FitzGerald) . . .  -- with HLT + no standardise + full lookahead + no save 88μs  -- with HLT + standardise + full lookahead + no save 80μs  -- with HLT + no standardise + partial lookahead + no save 73μs  -- with HLT + standardise + partial lookahead + no save 76μs  -- with HLT + no standardise + full lookahead + save 167μs  -- with HLT + standardise + full lookahead + save 161μs  -- with HLT + no standardise + partial lookahead + save 153μs  -- with HLT + standardise + partial lookahead + save 160μs  -- with Felsch + no standardisation 126μs  -- with Felsch + standardisation 119μs  -- with random strategy 126μs  -- with R/C style 84μs  -- with Rc style + full lookahead 76μs  -- with Rc style + partial lookahead 74μs ToddCoxeter 048: stellar_monoid(7) (Gay-Hivert) . . . 141ms ToddCoxeter 049: partition_monoid(4) (East) . . .  -- with HLT + no standardise + full lookahead + no save 27ms  -- with HLT + standardise + full lookahead + no save 28ms  -- with HLT + no standardise + partial lookahead + no save 27ms  -- with HLT + standardise + partial lookahead + no save 28ms  -- with HLT + no standardise + full lookahead + save 48ms  -- with HLT + standardise + full lookahead + save 51ms  -- with HLT + no standardise + partial lookahead + save 48ms  -- with HLT + standardise + partial lookahead + save 50ms  -- with Felsch + no standardisation 58ms  -- with Felsch + standardisation 57ms  -- with random strategy 59ms  -- with R/C style 30ms  -- with Rc style + full lookahead 62ms  -- with Rc style + partial lookahead 62ms ToddCoxeter 050: singular_brauer_monoid(6) (Maltcev + Mazorchuk) . . . 533ms ToddCoxeter 051: orientation_preserving_monoid(6) (Ruskuc + [...] . . .  -- with HLT + no standardise + full lookahead + no save 22ms ToddCoxeter 052: orientation_reversing_monoid(5) (Ruskuc + [...] . . .  -- with HLT + no standardise + full lookahead + no save 5697μs ToddCoxeter 053: temperley_lieb_monoid(10) (East) . . . 34ms ToddCoxeter 063: add_rule . . .  -- with HLT + no standardise + full lookahead + no save 82μs  -- with HLT + standardise + full lookahead + no save 59μs  -- with HLT + no standardise + partial lookahead + no save 55μs  -- with HLT + standardise + partial lookahead + no save 55μs  -- with HLT + no standardise + full lookahead + save 62μs  -- with HLT + standardise + full lookahead + save 68μs  -- with HLT + no standardise + partial lookahead + save 63μs  -- with HLT + standardise + partial lookahead + save 60μs  -- with Felsch + no standardisation 60μs  -- with Felsch + standardisation 60μs  -- with random strategy 58μs  -- with Rc style + full lookahead 57μs  -- with Rc style + partial lookahead 56μs  -- with R/C style 56μs  -- with CR style 61μs  -- with Cr style 60μs  -- with R/C + Felsch lookahead 62μs  -- with HLT + Felsch lookahead + save 61μs  -- with Cr + small number of f_defs 63μs  -- with Rc + small number of deductions 55μs  -- with Felsch + v2 + no preferred defs 58μs  -- with Felsch + v2 + immediate no stack 60μs  -- with Felsch + v1 + immediate no stack 62μs  -- with Felsch + v1 + immediate yes stack 59μs  -- with large collapse 56μs ToddCoxeter 064: (from kbmag/standalone/kb_data/s4) (KnuthB [...] . . .  -- with HLT + no standardise + full lookahead + no save 231μs ToddCoxeter 066: test validate . . . 66μs ToddCoxeter 067: add_rules after construct. from semigroup . . .  -- with HLT + no standardise + full lookahead + no save 347μs  -- with HLT + standardise + full lookahead + no save 316μs  -- with HLT + no standardise + partial lookahead + no save 311μs  -- with HLT + standardise + partial lookahead + no save 299μs  -- with HLT + save (throws) 310μs  -- with Felsch (throws) 315μs  -- with random strategy 297μs ToddCoxeter 068: Sym(5) from Chapter 3, Proposition 1.1 in NR . . .  -- with Deduction policy == purge_from_top 615μs  -- with Deduction policy == purge_all 560μs  -- with Deduction policy == discard_all_if_no_space 574μs  -- with HLT + no standardise + full lookahead + no save 675μs  -- with HLT + standardise + full lookahead + no save 959μs  -- with HLT + no standardise + partial lookahead + no save 659μs  -- with HLT + standardise + partial lookahead + no save 916μs  -- with HLT + no standardise + full lookahead + save 987μs  -- with HLT + standardise + full lookahead + save 1011μs  -- with HLT + no standardise + partial lookahead + save 959μs  -- with HLT + standardise + partial lookahead + save 1005μs  -- with Felsch + no standardisation 661μs  -- with Felsch + standardisation 609μs  -- with random strategy 661μs  -- with Rc style + full lookahead 1372μs  -- with Rc style + partial lookahead 1345μs  -- with R/C style 760μs  -- with CR style 672μs  -- with Cr style 645μs ToddCoxeter 069: Chapter 7, Theorem 3.6 in NR (size 243) . . .  -- with HLT + no standardise + full lookahead + no save 302μs  -- with HLT + standardise + full lookahead + no save 361μs  -- with HLT + no standardise + partial lookahead + no save 287μs  -- with HLT + standardise + partial lookahead + no save 343μs  -- with HLT + no standardise + full lookahead + save 429μs  -- with HLT + standardise + full lookahead + save 451μs  -- with HLT + no standardise + partial lookahead + save 417μs  -- with HLT + standardise + partial lookahead + save 450μs  -- with Felsch + no standardisation 2043μs  -- with Felsch + standardisation 2030μs  -- with random strategy 462μs  -- with Rc style + full lookahead 369μs  -- with Rc style + partial lookahead 334μs  -- with R/C style 320μs  -- with CR style 2098μs  -- with Cr style 2020μs ToddCoxeter 070: finite semigroup (size 99) . . .  -- with HLT + no standardise + full lookahead + no save 137μs  -- with HLT + standardise + full lookahead + no save 143μs  -- with HLT + no standardise + partial lookahead + no save 118μs  -- with HLT + standardise + partial lookahead + no save 134μs  -- with HLT + no standardise + full lookahead + save 206μs  -- with HLT + standardise + full lookahead + save 242μs  -- with HLT + no standardise + partial lookahead + save 193μs  -- with HLT + standardise + partial lookahead + save 207μs  -- with Felsch + no standardisation 388μs  -- with Felsch + standardisation 378μs  -- with random strategy 392μs  -- with Rc style + full lookahead 133μs  -- with Rc style + partial lookahead 129μs  -- with R/C style 131μs  -- with CR style 386μs  -- with Cr style 394μs ToddCoxeter 080: KnuthBendix 098 . . .  -- with HLT + no standardise + full lookahead + no save 463ms  -- with HLT + standardise + full lookahead + no save 549ms  -- with HLT + no standardise + partial lookahead + no save 462ms  -- with HLT + standardise + partial lookahead + no save 557ms  -- with HLT + no standardise + full lookahead + save 349ms  -- with HLT + standardise + full lookahead + save 339ms  -- with HLT + no standardise + partial lookahead + save 342ms  -- with HLT + standardise + partial lookahead + save 363ms  -- with Felsch + no standardisation 316ms  -- with Felsch + standardisation 320ms  -- with random strategy 339ms  -- with Rc style + full lookahead 314ms  -- with Rc style + partial lookahead 327ms  -- with R/C style 474ms  -- with CR style 320ms  -- with Cr style 318ms ToddCoxeter 084: Campbell-Reza 1 . . .  -- with HLT + no standardise + full lookahead + no save 128μs  -- with HLT + standardise + full lookahead + no save 84μs  -- with HLT + no standardise + partial lookahead + no save 80μs  -- with HLT + standardise + partial lookahead + no save 79μs  -- with HLT + no standardise + full lookahead + save 93μs  -- with HLT + standardise + full lookahead + save 88μs  -- with HLT + no standardise + partial lookahead + save 86μs  -- with HLT + standardise + partial lookahead + save 86μs  -- with Felsch + no standardisation 93μs  -- with Felsch + standardisation 91μs  -- with random strategy 77μs  -- with Rc style + full lookahead 74μs  -- with Rc style + partial lookahead 72μs  -- with R/C style 75μs  -- with CR style 90μs  -- with Cr style 88μs ToddCoxeter 085: Renner monoid type D4 (Gay-Hivert), q = 1 . . .  -- with HLT + no standardise + full lookahead + no save 169ms  -- with HLT + standardise + full lookahead + no save 114ms  -- with HLT + no standardise + partial lookahead + no save 114ms  -- with HLT + standardise + partial lookahead + no save 114ms  -- with HLT + no standardise + full lookahead + save 115ms  -- with HLT + standardise + full lookahead + save 113ms  -- with HLT + no standardise + partial lookahead + save 114ms  -- with HLT + standardise + partial lookahead + save 113ms  -- with Felsch + no standardisation 116ms  -- with Felsch + standardisation 113ms  -- with random strategy 114ms  -- with Rc style + full lookahead 113ms  -- with Rc style + partial lookahead 113ms  -- with R/C style 113ms  -- with CR style 114ms  -- with Cr style 113ms ToddCoxeter 086: trivial semigroup . . . 278ms ToddCoxeter 092: ACE --- perf602p5 - HLT . . .  -- with HLT + no standardise + full lookahead + no save 32ms  -- with HLT + standardise + full lookahead + no save 31ms  -- with HLT + no standardise + partial lookahead + no save 32ms  -- with HLT + standardise + partial lookahead + no save 31ms  -- with HLT + no standardise + full lookahead + save 13ms  -- with HLT + standardise + full lookahead + save 14ms  -- with HLT + no standardise + partial lookahead + save 13ms  -- with HLT + standardise + partial lookahead + save 14ms  -- with random strategy 32ms  -- with Felsch + no standardisation 10ms  -- with Felsch + standardisation 10ms ToddCoxeter 094: ACE --- C5 - HLT . . .  -- with HLT + no standardise + full lookahead + no save 108μs  -- with HLT + standardise + full lookahead + no save 92μs  -- with HLT + no standardise + partial lookahead + no save 91μs  -- with HLT + standardise + partial lookahead + no save 87μs  -- with HLT + no standardise + full lookahead + save 109μs  -- with HLT + standardise + full lookahead + save 115μs  -- with HLT + no standardise + partial lookahead + save 111μs  -- with HLT + standardise + partial lookahead + save 106μs  -- with random strategy 96μs  -- with Felsch + no standardisation 103μs  -- with Felsch + standardisation 102μs ToddCoxeter 095: ACE --- A5-C5 . . .  -- with HLT + no standardise + full lookahead + no save 116μs  -- with HLT + standardise + full lookahead + no save 121μs  -- with HLT + no standardise + partial lookahead + no save 104μs  -- with HLT + standardise + partial lookahead + no save 115μs  -- with HLT + no standardise + full lookahead + save 149μs  -- with HLT + standardise + full lookahead + save 145μs  -- with HLT + no standardise + partial lookahead + save 140μs  -- with HLT + standardise + partial lookahead + save 143μs  -- with random strategy 113μs  -- with Felsch + no standardisation 131μs  -- with Felsch + standardisation 128μs ToddCoxeter 096: ACE --- A5 . . .  -- with HLT + no standardise + full lookahead + no save 210μs  -- with HLT + standardise + full lookahead + no save 228μs  -- with HLT + no standardise + partial lookahead + no save 176μs  -- with HLT + standardise + partial lookahead + no save 223μs  -- with HLT + no standardise + full lookahead + save 341μs  -- with HLT + standardise + full lookahead + save 338μs  -- with HLT + no standardise + partial lookahead + save 313μs  -- with HLT + standardise + partial lookahead + save 333μs  -- with random strategy 358μs  -- with Felsch + no standardisation 256μs  -- with Felsch + standardisation 243μs ToddCoxeter 098: relation ordering . . .  -- with Felsch + no standardisation 496μs  -- with Felsch + standardisation 471μs  -- with HLT + no standardise + full lookahead + no save 265μs  -- with HLT + standardise + full lookahead + no save 261μs  -- with HLT + no standardise + partial lookahead + no save 248μs  -- with HLT + standardise + partial lookahead + no save 248μs  -- with HLT + no standardise + full lookahead + save 499μs  -- with HLT + standardise + full lookahead + save 499μs  -- with HLT + no standardise + partial lookahead + save 495μs  -- with HLT + standardise + partial lookahead + save 512μs  -- with random strategy 294μs ToddCoxeter 099: short circuit size in obviously infinite . . . 18μs ToddCoxeter 101: http://brauer.maths.qmul.ac.uk/Atlas/spor/M [...] . . . 529ms ToddCoxeter 108: http://brauer.maths.qmul.ac.uk/Atlas/lin/L3 [...] . . . 481ms ToddCoxeter 110: to_gap_string . . . 106μs ToddCoxeter 111: partition_monoid(2) . . . 64μs ToddCoxeter 112: brauer_monoid(4) (Kudryavtseva + Mazorchuk) . . . 324μs ToddCoxeter 113: symmetric_inverse_monoid . . . 14ms ToddCoxeter 116: symmetric_group(7, Burnside + Miller) . . . 381ms UF 001: constructor by size . . . 16μs UF 002: copy constructor . . . 23μs UF 003: find . . . 16μs Ukkonen 000: basic tests . . . 56ms Ukkonen 001: maximal_piece_prefix 1 . . . 35μs Ukkonen 002: maximal_piece_prefix 2 . . . 39μs Ukkonen 003: maximal_piece_prefix 3 . . . 208μs Ukkonen 004: number_of_pieces . . . 74μs Ukkonen 005: traverse . . . 22μs Ukkonen 006: dot . . . 175μs Ukkonen 007: strings . . . 54μs Ukkonen 008: dfs #01 . . . 35μs Ukkonen 009: dfs #02 . . . 32μs Ukkonen 010: dfs #03 . . . 30μs Ukkonen 011: dfs #04 . . . 83μs Ukkonen 012: dfs #05 . . . 67μs Ukkonen 013: dfs #06 . . . 47μs Ukkonen 014: dfs #07 . . . 112μs Ukkonen 015: dfs #08 . . . 69μs Ukkonen 016: dfs #09 . . . 97μs Ukkonen 017: dfs #10 . . . 28μs Ukkonen 018: pieces . . . 36μs Ukkonen 019: code coverage . . . 66μs Ukkonen 020: code coverage . . . 10μs action_digraph_helper 015: detail::to_string . . . 28μs action_digraph_helper 016: make . . . 46μs action_digraph_helper 017: is_connected . . . 148μs action_digraph_helper 018: is_strictly_cyclic . . . 9617μs follow_path 012: 20 node path . . . 27μs fpsemi-examples 002: full_transformation_monoid author except . . . 28μs fpsemi-examples 003: full_transformation_monoid degree except . . . 18μs fpsemi-examples 005: partial_transformation_monoid author except . . . 20μs fpsemi-examples 006: partial_transformation_monoid degree except . . . 18μs fpsemi-examples 007: symmetric_inverse_monoid(5) . . . 14ms fpsemi-examples 008: symmetric_group auth except . . . 26μs fpsemi-examples 009: symmetric_group degree except . . . 18μs fpsemi-examples 010: symmetric_group(6) Burnside + Miller . . . 21ms fpsemi-examples 011: dual_symmetric_inverse_monoid(5) . . . 160ms fpsemi-examples 012: dual_symmetric_inverse_monoid auth except . . . 30μs fpsemi-examples 013: dual_symmetric_inverse_monoid degree except . . . 19μs fpsemi-examples 014: uniform_block_bijection_monoid(5) . . . 10ms fpsemi-examples 015: uniform_block_bijection_monoid auth except . . . 26μs fpsemi-examples 016: uniform_block_bijection_monoid degree except . . . 18μs fpsemi-examples 019: partition_monoid auth except . . . 30μs fpsemi-examples 020: partition_monoid degree except . . . 43μs fpsemi-examples 022: monogenic_semigroup(4, 9) . . . 33μs fpsemi-examples 023: fibonacci_semigroup(2, 5) . . . 77μs fpsemi-examples 024: temperley_lieb_monoid(10) . . . 40ms fpsemi-examples 025: singular_brauer_monoid(6) . . . 366ms fpsemi-examples 026: orientation_preserving_monoid(6) . . . 21ms fpsemi-examples 027: orientation_reversing_monoid(5) . . . 5700μs fpsemi-examples 028: chinese_monoid(3) . . . 131μs fpsemi-examples 029: plactic_monoid(3) . . . 91μs fpsemi-examples 030: stylic_monoid(3) . . . 801μs fpsemi-examples 031: symmetric_group(6) Carmichael . . . 12ms fpsemi-examples 032: symmetric_group(6) Moore index 0 . . . 9314μs fpsemi-examples 033: symmetric_group(6) Coxeter + Moser . . . 5146μs fpsemi-examples 034: test for the rook monoid . . . 244μs fpsemi-examples 035: alternating_group(7) Moore . . . 20ms fpsemi-examples 036: alternating_group auth except . . . 51μs fpsemi-examples 037: alternating_group degree except . . . 18μs fpsemi-examples 038: partial_transformation_monoid(3) Machine . . . 297μs fpsemi-examples 039: chinese_monoid degree except . . . 29μs fpsemi-examples 040: monogenic_semigroup degree except . . . 27μs fpsemi-examples 041: rectangular_band degree except . . . 39μs fpsemi-examples 042: stellar_monoid degree except . . . 24μs fpsemi-examples 043: plactic_monoid degree except . . . 24μs fpsemi-examples 044: stylic_monoid degree except . . . 23μs fpsemi-examples 045: temperley_lieb_monoid degree except . . . 30μs fpsemi-examples 046: singular_brauer_monoid degree except . . . 29μs fpsemi-examples 047: orientation_preserving_monoid degree except . . . 29μs fpsemi-examples 048: orientation_reversing_monoid degree except . . . 30μs fpsemi-examples 049: test default values . . . 2911μs fpsemi-examples 052: not_symmetric_group(5) Guralnick + Kant [...] . . . 2411μs fpsemi-examples 053: order_preserving_monoid(5) . . . 529μs fpsemi-examples 055: order_preserving_monoid degree except . . . 81μs fpsemi-examples 056: cyclic_inverse_monoid(4) Fernandes 1 . . . 216μs fpsemi-examples 057: cyclic_inverse_monoid(8) Fernandes index 1 . . . 15ms fpsemi-examples 058: cyclic_inverse_monoid Fernandes index 0 . . . 21ms fpsemi-examples 059: order_preserving_cyclic_inverse_monoid(4) . . . 135μs fpsemi-examples 060: order_preserving_cyclic_inverse_monoid(10) . . . 25ms fpsemi-examples 061: cyclic_inverse_monoid degree except . . . 62μs fpsemi-examples 062: cyclic_inverse_monoid author except . . . 27μs fpsemi-examples 063: order_preserving_monoid degree except . . . 28μs fpsemi-examples 064: symmetric_group index except . . . 26μs fpsemi-examples 065: symmetric_group(7) Moore index 1 . . . 5403μs fpsemi-examples 066: order_preserving_cyclic_inverse_monoid(10) . . . 25ms fpsemi-examples 067: partial_isometries_cycle_graph_monoid(5) . . . 544μs fpsemi-examples 068: partial_isometries_cycle_graph_monoid(10) . . . 233ms fpsemi-examples 069: partial_isometries_cycle_graph_monoid d [...] . . . 38μs fpsemi-examples 070: partial_isometries_cycle_graph_monoid(4) . . . 234μs freeband_equal_to 001: . . . 912μs is_acyclic 000: 2-cycle . . . 14μs is_acyclic 001: 1-cycle . . . 11μs is_acyclic 002: multi-digraph . . . 15μs is_acyclic 003: complete digraph 100 . . . 90μs is_acyclic 004: acyclic digraph with 20000 nodes . . . 1973μs is_acyclic 006: for a node . . . 861μs is_acyclic 007: for a node . . . 20μs is_reachable 008: acyclic 20 node digraph . . . 41μs is_reachable 009: 100 node path . . . 9374μs is_reachable 010: 100 node cycle . . . 9109μs is_reachable 011: 20 node clique . . . 368μs last_node_on_path_nc 014: 20 node path . . . 16μs make 000: from FroidurePin . . . 446μs make 001: from FroidurePin and alphabet . . . 534μs make 002: presentation from presentation . . . 186μs make 003: presentation from presentation and alphabet . . . 46μs make 004: argument checks issue . . . 95μs make 005: use human readable alphabet for make . . . 19μs make> 000: from ActionDigraph . . . 1325μs make> 001: from ActionDigraph (exceptions) . . . 43μs number_of_words 001: . . . 18μs operator"" _w 003: literal . . . 14μs silo 000: alphabet: a, min: 0, max: 10 . . . 35μs silo 001: corner cases . . . 26μs silo 002: alphabet: ab, min: 1, max: 4 . . . 43μs silo 003: alphabet: abc, min: 0, max: 13 . . . 79ms silo 004: code coverage . . . 31μs sislo 005: alphabet: a, min: 0, max: 10 . . . 41μs sislo 006: corner cases . . . 73μs sislo 007: alphabet: ab, min: 1, max: 4 . . . 84μs sislo 008: alphabet: abc, min: 0, max: 13 . . . 89ms sislo 009: code coverage . . . 33μs string 000: detail::is_suffix . . . 13μs string 001: detail::is_prefix . . . 13μs string 002: detail::maximum_common_suffix . . . 11μs string 003: detail::group_digits . . . 22μs string_to_word 002: . . . 14μs validate_label 013: 20 node path . . . 49μs wilo 001: corner cases . . . 38μs wilo 002: letters: 2, min: 1, max: 4 . . . 51μs wilo 003: letters: 2, min: 1, max: 4 . . . 49μs wilo 004: letters: 3, min: 0, max: 10 . . . 13ms wilo 005: letters: 3, min: 0, max: 13 . . . 152ms wilo 006: forward iterator requirements . . . 152ms wilo 007: more corner cases . . . 57μs wilo 008: starting at a given word 1 . . . 140μs wilo 009: starting at a given word 2 . . . 19μs wilo 010: code coverage . . . 19μs wislo 000: n: 2, min; 1, max: 4 . . . 26μs wislo 001: corner cases . . . 39μs wislo 002: n: 3, min; 0, max: 10 . . . 4367μs wislo 003: n: 3, min; 0, max: 13 . . . 151ms wislo 004: lex + sort . . . 442ms wislo 005: code coverage . . . 28μ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' /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' ./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/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 libsemigroups.pc '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/pkgconfig' /usr/bin/install -c -m 644 include/libsemigroups/action.hpp include/libsemigroups/adapters.hpp include/libsemigroups/bipart.hpp include/libsemigroups/bitset.hpp include/libsemigroups/bmat8.hpp include/libsemigroups/bmat.hpp include/libsemigroups/bruidhinn-traits.hpp include/libsemigroups/config.hpp include/libsemigroups/cong-intf.hpp include/libsemigroups/cong-pair-impl.hpp include/libsemigroups/cong-pair.hpp include/libsemigroups/cong-wrap.hpp include/libsemigroups/cong.hpp include/libsemigroups/constants.hpp include/libsemigroups/containers.hpp include/libsemigroups/coset.hpp include/libsemigroups/debug.hpp include/libsemigroups/deprecated.hpp include/libsemigroups/digraph-helper.hpp include/libsemigroups/digraph-with-sources.hpp include/libsemigroups/digraph-with-sources.tpp include/libsemigroups/digraph.hpp include/libsemigroups/exception.hpp include/libsemigroups/fastest-bmat.hpp include/libsemigroups/felsch-tree.hpp include/libsemigroups/felsch-digraph.hpp include/libsemigroups/felsch-digraph.tpp include/libsemigroups/forest.hpp include/libsemigroups/fpsemi-examples.hpp include/libsemigroups/fpsemi-intf.hpp include/libsemigroups/fpsemi.hpp include/libsemigroups/freeband.hpp include/libsemigroups/froidure-pin-base.hpp include/libsemigroups/froidure-pin-impl.hpp include/libsemigroups/froidure-pin.hpp include/libsemigroups/function-ref.hpp include/libsemigroups/hpcombi.hpp include/libsemigroups/int-range.hpp include/libsemigroups/iterator.hpp include/libsemigroups/kambites.hpp '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups' libtool: install: /usr/bin/install -c .libs/libsemigroups.so.2.0.0 /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/libsemigroups.so.2.0.0 /usr/bin/install -c -m 644 extern/textflowcpp/TextFlow.hpp '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups/textflowcpp' libtool: install: (cd /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib && { ln -s -f libsemigroups.so.2.0.0 libsemigroups.so.2 || { rm -f libsemigroups.so.2 && ln -s libsemigroups.so.2.0.0 libsemigroups.so.2; }; }) /usr/bin/install -c -m 644 include/libsemigroups/kbe.hpp include/libsemigroups/knuth-bendix.hpp include/libsemigroups/konieczny.hpp include/libsemigroups/libsemigroups.hpp include/libsemigroups/make-froidure-pin.hpp include/libsemigroups/make-present.hpp include/libsemigroups/matrix.hpp include/libsemigroups/node-manager.hpp include/libsemigroups/obvinf.hpp include/libsemigroups/order.hpp include/libsemigroups/pbr.hpp include/libsemigroups/pool.hpp include/libsemigroups/present.hpp include/libsemigroups/present.tpp include/libsemigroups/race.hpp include/libsemigroups/report.hpp include/libsemigroups/runner.hpp include/libsemigroups/schreier-sims.hpp include/libsemigroups/schreier-sims-helper.hpp include/libsemigroups/sims1.hpp include/libsemigroups/sims1.tpp include/libsemigroups/siso.hpp include/libsemigroups/stl.hpp include/libsemigroups/stephen.hpp include/libsemigroups/string-view.hpp include/libsemigroups/string.hpp include/libsemigroups/tce.hpp include/libsemigroups/timer.hpp include/libsemigroups/todd-coxeter-digraph.hpp include/libsemigroups/todd-coxeter-digraph.tpp include/libsemigroups/todd-coxeter.hpp include/libsemigroups/transf.hpp include/libsemigroups/types.hpp include/libsemigroups/uf.hpp include/libsemigroups/ukkonen.hpp include/libsemigroups/ukkonen.tpp include/libsemigroups/wilo.hpp include/libsemigroups/wislo.hpp include/libsemigroups/word.hpp '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups' libtool: install: (cd /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib && { ln -s -f libsemigroups.so.2.0.0 libsemigroups.so || { rm -f libsemigroups.so && ln -s libsemigroups.so.2.0.0 libsemigroups.so; }; }) libtool: install: /usr/bin/install -c .libs/libsemigroups.lai /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/libsemigroups.la libtool: install: /usr/bin/install -c .libs/libsemigroups.a /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/libsemigroups.a libtool: install: chmod 644 /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/libsemigroups.a libtool: install: ranlib /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/libsemigroups.a libtool: warning: remember to run 'libtool --finish /usr/lib' make[1]: Leaving directory '/home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.3' >>> libsemigroups-static*: Running split function static... >>> libsemigroups-static*: Preparing subpackage libsemigroups-static... >>> libsemigroups-static*: Stripping binaries >>> libsemigroups-static*: Running postcheck for libsemigroups-static >>> libsemigroups-dev*: Running split function dev... >>> 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-r0 pc:eigen3 pc:fmt pkgconfig >>> libsemigroups-dev*: Package size: 2.3 MB >>> libsemigroups-dev*: Compressing data... >>> libsemigroups-dev*: Create checksum... >>> libsemigroups-dev*: Create libsemigroups-dev-2.7.3-r0.apk >>> libsemigroups-static*: Tracing dependencies... >>> libsemigroups-static*: Package size: 5.4 MB >>> libsemigroups-static*: Compressing data... >>> libsemigroups-static*: Create checksum... >>> libsemigroups-static*: Create libsemigroups-static-2.7.3-r0.apk >>> libsemigroups*: Tracing dependencies... so:libc.musl-x86_64.so.1 so:libfmt.so.10 so:libgcc_s.so.1 so:libstdc++.so.6 >>> libsemigroups*: Package size: 1.7 MB >>> libsemigroups*: Compressing data... >>> libsemigroups*: Create checksum... >>> libsemigroups*: Create libsemigroups-2.7.3-r0.apk >>> libsemigroups: Build complete at Mon, 22 Jan 2024 06:23:09 +0000 elapsed time 0h 3m 47s >>> libsemigroups: Cleaning up srcdir >>> libsemigroups: Cleaning up pkgdir >>> libsemigroups: Uninstalling dependencies... (1/4) Purging .makedepends-libsemigroups (20240122.061924) (2/4) Purging eigen-dev (3.4.0-r9) (3/4) Purging fmt-dev (10.1.1-r0) (4/4) Purging fmt (10.1.1-r0) OK: 378 MiB in 107 packages >>> libsemigroups: Updating the testing/x86_64 repository index... >>> libsemigroups: Signing the index...