>>> libsemigroups: Building testing/libsemigroups 2.7.0-r0 (using abuild 3.10.0-r0) started Sun, 26 Mar 2023 18:10:41 +0000 >>> libsemigroups: Checking sanity of /home/buildozer/aports/testing/libsemigroups/APKBUILD... >>> libsemigroups: Analyzing dependencies... >>> libsemigroups: Installing for build: build-base eigen-dev fmt-dev (1/4) Installing eigen-dev (3.4.0-r8) (2/4) Installing fmt (9.1.0-r0) (3/4) Installing fmt-dev (9.1.0-r0) (4/4) Installing .makedepends-libsemigroups (20230326.181043) OK: 389 MiB in 108 packages >>> libsemigroups: Cleaning up srcdir >>> libsemigroups: Cleaning up pkgdir >>> libsemigroups: Fetching https://distfiles.alpinelinux.org/distfiles/edge/libsemigroups-2.7.0.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 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.0/libsemigroups-2.7.0.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 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 2484k 100 2484k 0 0 6807k 0 --:--:-- --:--:-- --:--:-- 6807k >>> libsemigroups: Fetching https://distfiles.alpinelinux.org/distfiles/edge/libsemigroups-2.7.0.tar.gz >>> libsemigroups: Checking sha512sums... libsemigroups-2.7.0.tar.gz: OK >>> libsemigroups: Unpacking /var/cache/distfiles/edge/libsemigroups-2.7.0.tar.gz... 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' 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' 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' 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' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' checking build system type... i586-alpine-linux-musl checking host system type... i586-alpine-linux-musl checking target system type... i586-alpine-linux-musl checking for a BSD-compatible install... /usr/bin/install -c checking whether build environment is sane... yes checking for a race-free mkdir -p... ./config/install-sh -c -d checking for gawk... no checking for mawk... no checking for nawk... no checking for awk... awk checking whether make sets $(MAKE)... yes checking whether make supports nested variables... yes checking how to create a pax tar archive... gnutar checking whether make supports nested variables... (cached) yes checking whether make supports the include directive... yes (GNU style) checking for i586-alpine-linux-musl-gcc... gcc checking whether the C compiler works... yes checking for C compiler default output file name... a.out checking for suffix of executables... checking whether we are cross compiling... no checking for suffix of object files... o checking whether the compiler supports GNU C... yes checking whether gcc accepts -g... yes checking for gcc option to enable C11 features... none needed checking whether gcc understands -c and -o together... yes checking dependency style of gcc... gcc3 checking for i586-alpine-linux-musl-ar... no checking for i586-alpine-linux-musl-lib... no checking for i586-alpine-linux-musl-link... no checking for ar... ar checking the archiver (ar) interface... ar checking whether the compiler supports GNU C++... yes checking whether g++ accepts -g... yes checking for g++ option to enable C++11 features... none needed checking dependency style of g++... gcc3 checking whether g++ supports C++14 features by default... yes checking for a sed that does not truncate output... /bin/sed checking how to run the C preprocessor... gcc -E checking for grep that handles long lines and -e... /bin/grep checking for egrep... /bin/grep -E checking whether gcc is Clang... no checking whether pthreads work with "-pthread" and "-lpthread"... yes checking for joinable pthread attribute... PTHREAD_CREATE_JOINABLE checking whether more special flags are required for pthreads... no checking for PTHREAD_PRIO_INHERIT... yes checking for pthread_create in -lpthread... yes checking whether to enable maintainer-specific portions of Makefiles... no checking whether ln -s works... yes checking how to print strings... printf checking for a sed that does not truncate output... (cached) /bin/sed checking for fgrep... /bin/grep -F checking for ld used by gcc... /usr/i586-alpine-linux-musl/bin/ld checking if the linker (/usr/i586-alpine-linux-musl/bin/ld) is GNU ld... yes checking for BSD- or MS-compatible name lister (nm)... /usr/bin/nm -B checking the name lister (/usr/bin/nm -B) interface... BSD nm checking the maximum length of command line arguments... 98304 checking how to convert i586-alpine-linux-musl file names to i586-alpine-linux-musl format... func_convert_file_noop checking how to convert i586-alpine-linux-musl file names to toolchain format... func_convert_file_noop checking for /usr/i586-alpine-linux-musl/bin/ld option to reload object files... -r checking for i586-alpine-linux-musl-file... no checking for file... file checking for i586-alpine-linux-musl-objdump... no checking for objdump... objdump checking how to recognize dependent libraries... pass_all checking for i586-alpine-linux-musl-dlltool... no checking for dlltool... no checking how to associate runtime and link libraries... printf %s\n checking for i586-alpine-linux-musl-ar... ar checking for archiver @FILE support... @ checking for i586-alpine-linux-musl-strip... no checking for strip... strip checking for i586-alpine-linux-musl-ranlib... no checking for ranlib... ranlib checking command to parse /usr/bin/nm -B output from gcc object... ok checking for sysroot... no checking for a working dd... /bin/dd checking how to truncate binary pipes... /bin/dd bs=4096 count=1 checking for i586-alpine-linux-musl-mt... no checking for mt... no checking if : is a manifest tool... no checking for stdio.h... yes checking for stdlib.h... yes checking for string.h... yes checking for inttypes.h... yes checking for stdint.h... yes checking for strings.h... yes checking for sys/stat.h... yes checking for sys/types.h... yes checking for unistd.h... yes checking for dlfcn.h... yes checking for objdir... .libs checking if gcc supports -fno-rtti -fno-exceptions... no checking for gcc option to produce PIC... -fPIC -DPIC checking if gcc PIC flag -fPIC -DPIC works... yes checking if gcc static flag -static works... yes checking if gcc supports -c -o file.o... yes checking if gcc supports -c -o file.o... (cached) yes checking whether the gcc linker (/usr/i586-alpine-linux-musl/bin/ld) supports shared libraries... yes checking whether -lc should be explicitly linked in... no checking dynamic linker characteristics... GNU/Linux ld.so checking how to hardcode library paths into programs... immediate checking whether stripping libraries is possible... yes checking if libtool supports shared libraries... yes checking whether to build shared libraries... yes checking whether to build static libraries... yes checking how to run the C++ preprocessor... g++ -E checking for ld used by g++... /usr/i586-alpine-linux-musl/bin/ld checking if the linker (/usr/i586-alpine-linux-musl/bin/ld) is GNU ld... yes checking whether the g++ linker (/usr/i586-alpine-linux-musl/bin/ld) supports shared libraries... yes checking for g++ option to produce PIC... -fPIC -DPIC checking if g++ PIC flag -fPIC -DPIC works... yes checking if g++ static flag -static works... yes checking if g++ supports -c -o file.o... yes checking if g++ supports -c -o file.o... (cached) yes checking whether the g++ linker (/usr/i586-alpine-linux-musl/bin/ld) supports shared libraries... yes checking dynamic linker characteristics... (cached) GNU/Linux ld.so checking how to hardcode library paths into programs... immediate checking for limits.h... yes checking for stdint.h... (cached) yes checking for stdlib.h... (cached) yes checking for sys/time.h... yes checking for unistd.h... (cached) yes checking for pthread.h... yes checking for _Bool... yes checking for stdbool.h that conforms to C99... yes checking for inline... inline checking for int64_t... yes checking for size_t... yes checking for uint64_t... yes checking for ptrdiff_t... yes checking size of void *... 4 checking for GNU libc compatible malloc... yes checking for gettimeofday... yes checking for memset... yes checking for pow... yes checking for sqrt... yes checking whether to enable debug mode... no checking whether to enable verbose mode... no checking whether enable compiler warnings... no checking whether to enable stats mode... yes checking whether to enable backward mode... yes checking for execinfo.h... no configure: WARNING: backward enabled but execinfo.h not found, disabling backward! checking whether to build with code coverage support... no checking whether to enable HPCombi... yes checking for ./extern/HPCombi/VERSION... yes checking the required version of HPCombi... 0.0.6 checking the version of HPCombi that's present... 0.0.6 checking whether C++ compiler accepts -mavx... yes checking whether C++ compiler accepts -flax-vector-conversions... yes checking for x86intrin.h... yes checking for _mm_blendv_epi8... yes checking for _mm_cmpeq_epi8... yes checking for _mm_cmpestri... yes checking for _mm_cmpestrm... yes checking for _mm_cmplt_epi8... yes checking for _mm_extract_epi64... no configure: WARNING: compiler builtin not supported, HPCombi is disabled checking for i586-alpine-linux-musl-pkg-config... no checking for pkg-config... /usr/bin/pkg-config checking pkg-config is at least version 0.9.0... yes checking whether to enable fmt... yes checking whether to use external fmt... yes checking for fmt >= 8.1.1... yes checking whether to enable eigen... yes checking whether to use external eigen... yes checking for eigen3 >= 3.3.7... yes checking for __builtin_popcountl... yes checking for __builtin_clzll... yes checking whether to try and use __builtin_popcntl... yes checking whether to try and use __builtin_clzlll... yes checking that generated files are newer than configure... done configure: creating ./config.status config.status: creating Makefile config.status: creating libsemigroups.pc config.status: creating config/config.h config.status: executing depfiles commands config.status: executing include/libsemigroups/config.hpp commands config.status: creating include/libsemigroups/config.hpp - prefix LIBSEMIGROUPS for config/config.h defines config.status: executing libtool commands CXX src/libsemigroups_la-bipart.lo CXX src/libsemigroups_la-bmat8.lo CXX src/libsemigroups_la-cong-intf.lo CXX src/libsemigroups_la-cong-pair.lo CXX src/libsemigroups_la-cong.lo CXX src/libsemigroups_la-constants.lo CXX src/libsemigroups_la-coset.lo CXX src/libsemigroups_la-exception.lo CXX src/libsemigroups_la-felsch-tree.lo CXX src/libsemigroups_la-forest.lo CXX src/libsemigroups_la-fpsemi-examples.lo CXX src/libsemigroups_la-fpsemi-intf.lo CXX src/libsemigroups_la-fpsemi.lo CXX src/libsemigroups_la-freeband.lo CXX src/libsemigroups_la-froidure-pin-base.lo CXX src/libsemigroups_la-kambites.lo CXX src/libsemigroups_la-knuth-bendix.lo CXX src/libsemigroups_la-make-present.lo CXX src/libsemigroups_la-node-manager.lo CXX src/libsemigroups_la-obvinf.lo CXX src/libsemigroups_la-pbr.lo CXX src/libsemigroups_la-race.lo CXX src/libsemigroups_la-report.lo CXX src/libsemigroups_la-runner.lo CXX src/libsemigroups_la-siso.lo CXX src/libsemigroups_la-string.lo CXX src/libsemigroups_la-stephen.lo CXX src/libsemigroups_la-timer.lo CXX src/libsemigroups_la-todd-coxeter.lo CXX src/libsemigroups_la-ukkonen.lo CXX src/libsemigroups_la-wilo.lo CXX src/libsemigroups_la-wislo.lo CXX src/libsemigroups_la-word.lo CXXLD libsemigroups.la make test_all make[1]: Entering directory '/home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.0' 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++/12.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++/12.2.1/bits/stl_algo.h:1940:31, inlined from 'void std::sort(_RAIter, _RAIter, _Compare) [with _RAIter = libsemigroups::StaticRowView*; _Compare = libsemigroups::{anonymous}::test_BMat000 >()::]' at /usr/include/c++/12.2.1/bits/stl_algo.h:4853:18, inlined from 'void libsemigroups::{anonymous}::test_BMat000() [with Mat = libsemigroups::StaticMatrix]' at tests/test-matrix.cpp:166:18: /usr/include/c++/12.2.1/bits/stl_algo.h:1849:32: warning: array subscript 16 is outside array bounds of 'libsemigroups::detail::StaticVector1, 2> [1]' [-Warray-bounds] 1849 | std::__insertion_sort(__first, __first + int(_S_threshold), __comp); | ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ tests/test-matrix.cpp: In function 'void libsemigroups::{anonymous}::test_BMat000() [with Mat = libsemigroups::StaticMatrix]': tests/test-matrix.cpp:160:14: note: at offset 64 into object 'r' of size 12 160 | auto r = matrix_helpers::rows(m); | ^ CXXLD test_all make[1]: Leaving directory '/home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.0' ./test_all --use-colour yes --order lex --abort [quick] Filters: [quick] Action 001: row and column basis orbits for BMat8 . . . 98μs Action 002: row and column basis orbits for BMat8 . . . 18ms Action 003: add generators after enumeration . . . 12ms Action 004: multipliers for BMat8 row and column orbits . . . 19ms Action 005: orbits for regular boolean mat monoid 5 . . . 710ms Action 007: partial perm image orbit . . . 262μs Action 008: partial perm image orbit . . . 66ms Action 009: partial perm image orbit . . . 73ms Action 010: partial perm image orbit . . . 73ms Action 011: permutation on integers . . . 20μs Action 012: permutation on sets, arrays . . . 115μs Action 013: permutation on tuples, arrays . . . 12ms Action 014: permutation on sets, vectors . . . 195μs Action 015: permutation on tuples, vectors . . . 18ms Action 016: misc . . . 9683μs Action 017: partial perm image orbit . . . 51μs Action 018: permutation on tuples, arrays (360360) . . . 175ms Action 019: orbits for regular BMat8 monoid 5 with stop/start . . . 407ms Action 021: orbits for regular boolean mat monoid 5 (BMat<5> [...] . . . 451ms ActionDigraph 000: constructor with 1 default arg . . . 20μs ActionDigraph 001: constructor with 0 default args . . . 45μs ActionDigraph 002: add nodes . . . 26μs ActionDigraph 003: add edges . . . 257μs ActionDigraph 004: strongly connected components - cycles . . . 36μs ActionDigraph 005: strongly connected components - no edges . . . 48ms ActionDigraph 006: strongly connected components - disjoint cycles . . . 1761μs ActionDigraph 007: strongly connected components - complete graphs . . . 921μs ActionDigraph 008: exceptions . . . 58μs ActionDigraph 009: spanning forest - complete graphs . . . 4734μs ActionDigraph 010: spanning forest - disjoint cycles . . . 135μs ActionDigraph 011: restrict . . . 12μs ActionDigraph 012: remove_edge_nc . . . 12μs ActionDigraph 013: scc large cycle . . . 16ms ActionDigraph 014: random . . . 30μs ActionDigraph 015: reserve . . . 10μs ActionDigraph 016: default constructors . . . 15μs ActionDigraph 017: scc iterators . . . 1428μs ActionDigraph 018: iterator to edges . . . 634μs ActionDigraph 019: root of scc . . . 384μs ActionDigraph 020: cbegin/end_panislo - 100 node path . . . 698μs ActionDigraph 021: cbegin/end_pislo . . . 76μs ActionDigraph 022: cbegin/end_pani(s)lo - 100 node cycle . . . 933μs ActionDigraph 023: cbegin/cend_pilo - tree 14 nodes . . . 97μs ActionDigraph 024: cbegin/end_pstilo - Cayley digraph . . . 205ms ActionDigraph 025: cbegin_pstilo - Tsalakou . . . 485μs ActionDigraph 026: cbegin/end_pstislo - Cayley digraph . . . 186ms ActionDigraph 027: cbegin/end_pstislo - Cayley digraph . . . 266μs ActionDigraph 028: path iterators corner cases . . . 195μs ActionDigraph 029: reverse node iterator . . . 12μs ActionDigraph 030: pstilo corner case . . . 53μs ActionDigraph 031: number_of_paths corner cases . . . 68μs ActionDigraph 032: number_of_paths acyclic digraph . . . 12ms ActionDigraph 033: number_of_paths binary tree . . . 505ms ActionDigraph 034: number_of_paths large binary tree . . . 161ms ActionDigraph 035: number_of_paths 400 node random digraph . . . 684μs ActionDigraph 036: number_of_paths 10 node acyclic digraph . . . 116μs ActionDigraph 037: number_of_paths node digraph . . . 4532μs ActionDigraph 038: random/random_acyclic exceptions . . . 121μs ActionDigraph 039: unsafe (next) neighbour . . . 97μs ActionDigraph 040: number_of_egdes incident to a node . . . 101μs ActionDigraph 041: number_of_paths (matrix) . . . 26ms ActionDigraph 042: number_of_paths (matrix) . . . 15μs ActionDigraph 043: swap_edge_nc . . . 12μs ActionDigraph 044: detail::pow for non-square Eigen matrix . . . 23μs ActionDigraph 045: operator<< . . . 18μs Array2 044: all . . . 53μs BMat8 001: transpose . . . 27μs BMat8 002: multiplication . . . 25μs BMat8 003: identity matrix . . . 15μs BMat8 004: random . . . 115μs BMat8 005: call operator . . . 21μs BMat8 006: operator<< . . . 20μs BMat8 007: set . . . 77μs BMat8 008: row space basis . . . 1551μs BMat8 009: col space basis . . . 1616μs BMat8 010: row space basis . . . 17ms BMat8 011: number_of_rows, number_of_cols . . . 48μs BMat8 012: row_space, col_space . . . 299μs BMat8 013: rows . . . 53μs BMat8 014: one . . . 12μs BMat8 015: vector constructor . . . 96μs BMat8 016: operator< . . . 15μs BMat8 017: adapters . . . 27μs BMat8 018: one . . . 12μs Bipartition 009: mem fns 1 . . . 38μs Bipartition 010: hash . . . 9000ns Bipartition 011: mem fns 2 . . . 25μs Bipartition 012: delete/copy . . . 10μs Bipartition 013: degree 0 . . . 12μs Bipartition 014: exceptions . . . 41μs Bipartition 015: convenience constructor . . . 268μs Bipartition 016: force copy constructor over move constructor . . . 19μs Bipartition 017: adapters . . . 10μs BitSet 000: size . . . 10μs BitSet 001: operator< . . . 10μs BitSet 002: operator== . . . 12μs BitSet 003: operator!= . . . 12μs BitSet 004: operator&= . . . 13μs BitSet 005: & . . . 23μs BitSet 006: operator|= . . . 18μs BitSet 007: operator[] . . . 16μs BitSet 008: set(none) . . . 19μs BitSet 009: set(pos, value) . . . 19μs BitSet 010: set(first, last, value) . . . 20μs BitSet 011: reset(first, last) . . . 20μs BitSet 012: reset(pos) . . . 19μs BitSet 013: apply (iterate through set bits) . . . 20μs BitSet 014: std::hash . . . 9000ns BitSet 015: constructors . . . 20μs BitSet 016: max_size . . . 9000ns BitSet 017: insertion operators . . . 15μs Blocks 001: empty blocks . . . 13μs Blocks 002: non-empty blocks . . . 13μs Blocks 003: left blocks of bipartition . . . 15μs Blocks 004: right blocks of bipartition . . . 15μs Blocks 005: copy [empty blocks] . . . 12μs Blocks 006: copy [non-empty blocks] . . . 13μs Blocks 007: hash value . . . 13μs Blocks 008: operator< . . . 12μs Congruence 000: left congruence on fp semigroup . . . 186μs Congruence 001: 2-sided congruence on fp semigroup . . . 386μs Congruence 002: left congruence on fp semigroup . . . 248μs Congruence 003: word_to_class_index for cong. on fp semigroup . . . 268μs Congruence 004: word_to_class_index for cong. on fp semigroup . . . 511μs Congruence 005: trivial congruence on non-fp semigroup . . . 335μs Congruence 006: 2-sided congruence on non-fp semigroup . . . 329μs Congruence 007: 2-sided congruence on fp semigroup . . . 582μs Congruence 008: 2-sided congruence on infinite fp semigroup . . . 299μs Congruence 009: 2-sided congruence on infinite fp semigroup . . . 492μs Congruence 010: 2-sided congruence on finite semigroup . . . 40ms Congruence 012: 2-sided congruence on finite semigroup . . . 3383μs Congruence 013: trivial 2-sided congruence on bicyclic monoid . . . 27ms Congruence 014: non-trivial 2-sided congruence on bicyclic monoid . . . 344μs Congruence 015: 2-sided congruence on free abelian monoid . . . 362μs Congruence 016: example where TC works but KB doesn't . . . 831μs Congruence 017: 2-sided congruence on finite semigroup . . . 487μs Congruence 018: infinite fp semigroup from GAP library . . . 607μs Congruence 019: 2-sided cong. on fp semigroup with infinite [...] . . . 308μs Congruence 020: trivial cong. on an fp semigroup . . .  -- with compute size 315μs  -- with don't compute size 322μs Congruence 021: duplicate generators . . . 389μs Congruence 022: non-trivial classes . . . 1340μs Congruence 023: right congruence on finite semigroup . . . 304ms Congruence 024: redundant generating pairs . . . 148μs Congruence 025: 2-sided cong. on free semigroup . . . 107μs Congruence 026: is_quotient_obviously_(in)finite . . . 1183μs Congruence 027: less . . . 416μs Congruence 028: 2-sided congruences of BMat8 semigroup . . . 389ms Congruence 029: left congruence on finite semigroup . . . 572μs Congruence 030: right congruence on finite semigroup . . . 582μs Congruence 031: right congruence on finite semigroup . . . 506μs Congruence 032: contains . . . 193μs Congruence 033: stellar_monoid S2 . . . 666μs Congruence 034: stellar_monoid S3 . . . 778μs Congruence 035: stellar_monoid S4 . . . 1472μs Congruence 036: stellar_monoid S5 . . . 7290μs Congruence 037: stellar_monoid S6 . . . 66ms Congruence 038: stellar_monoid S7 . . . 874ms Congruence 039: left cong. on an f.p. semigroup . . . 1626μs Congruence 040: 2-sided cong. on infinite f.p. semigroup . . . 257μs Congruence 041: 2-sided congruence constructed from type only . . . 525μs Congruence 042: const_contains . . . 605μs Congruence 043: no winner . . . 7779μs Congruence 044: congruence over smalloverlap . . . 11ms CongruenceByPairs 001: (cong) 2-sided cong. on finite semigroup . . . 643μs CongruenceByPairs 002: (cong) left congruence on finite semigroup . . . 286μs CongruenceByPairs 003: (cong) right congruence on finite semigroup . . . 266μs CongruenceByPairs 004: (cong) trivial congruence on finite s [...] . . . 191μs CongruenceByPairs 005: (cong) trivial left congruence on fin [...] . . . 167μs CongruenceByPairs 006: (cong) trivial right congruence on fi [...] . . . 163μs CongruenceByPairs 007: (cong) universal congruence on finite [...] . . . 733μs CongruenceByPairs 009: (cong) 2-sided congruence on finite s [...] . . . 796ms CongruenceByPairs 010: (cong) left congruence on big finite [...] . . . 31ms CongruenceByPairs 011: (cong) left congruence on TCE . . . 184μs CongruenceByPairs 012: (cong) is_quotient_obviously_finite . . . 96μs CongruenceByPairs 013: (cong) class_index_to_word/quotient . . .  -- with right congruence 9272μs  -- with left congruence 1229μs  -- with 2-sided congruence 6576μs CongruenceByPairs 014: (cong) const_word_to_class_index . . .  -- with right congruence 40μs  -- with left congruence 31μs  -- with 2-sided congruence 29μs CongruenceByPairs 015: (cong) size non-Element* . . . 28ms CongruenceInterface 000: add_pair . . .  -- with ToddCoxeter 101μs  -- with KnuthBendix 163μs  -- with CongruenceByPairs 126μs  -- with Congruence 491μs CongruenceInterface 001: contains/const_contains . . .  -- with ToddCoxeter and no parent 117μs  -- with KnuthBendix and no parent 128μs  -- with Congruence and parent 424μs  -- with CongruenceByPairs and parent 97μs CongruenceInterface 002: less . . .  -- with ToddCoxeter 92μs  -- with KnuthBendix 154μs  -- with CongruenceByPairs 102μs  -- with Congruence 478μs CongruenceInterface 003: is_quotient_obviously_(in)finite . . .  -- with ToddCoxeter 62μs  -- with KnuthBendix 124μs CongruenceInterface 004: is_quotient_obviously_(in)finite . . .  -- with CongruenceByPairs 112μs  -- with Congruence 444μs CongruenceInterface 005: parent_froidure_pin . . .  -- with ToddCoxeter 33μs  -- with KnuthBendix 21μs CongruenceInterface 006: parent_froidure_pin . . .  -- with CongruenceByPairs 114μs  -- with Congruence 411μs CongruenceInterface 007: cbegin/cend_ntc . . .  -- with ToddCoxeter 286μs  -- with KnuthBendix 1262μs CongruenceInterface 008: cbegin/cend_ntc . . .  -- with CongruenceByPairs 232μs  -- with Congruence 515μs CongruenceInterface 009: quotient is immutable . . .  -- with ToddCoxeter 95μs  -- with KnuthBendix 119μs  -- with Congruence 242μs CongruenceInterface 010: no generating pairs added . . .  -- with KnuthBendix and common behaviour 5035μs  -- with Congruence and common behaviour 5093μs  -- with ToddCoxeter 67μs CongruenceInterface 011: nr generators not set . . .  -- with ToddCoxeter 100μs  -- with KnuthBendix 91μs  -- with Congruence 92μs CongruenceInterface 012: no generating pairs . . . 174μs ConstIteratorStateless 001: ? . . . 10μs ConstIteratorStateless 002: ? . . . 10μs Constants 001: Undefined . . . 20μs Constants 002: PositiveInfinity . . . 16μs Constants 003: NegativeInfinity . . . 15μs Constants 004: LimitMax . . . 15μs Duf 004: unite . . . 31μs Duf 006: compress . . . 15μs Duf 008: resize . . . 19μs Duf 009: resize . . . 12μs Duf 010: big chain . . . 18ms Duf 012: empty table . . . 10μs Duf 014: join . . . 12μs Duf 016: contains . . . 27μs Duf 018: swap . . . 33μs DynamicArray2 001: default constructor with 3 default args . . . 15μs DynamicArray2 002: default constructor with 2 default args . . . 10μs DynamicArray2 003: default constructor with 1 default args . . . 15μs DynamicArray2 004: default constructor with 0 default args . . . 10μs DynamicArray2 005: copy constructor with 1 default args . . . 12μs DynamicArray2 006: copy constructor with 0 default args . . . 13μs DynamicArray2 007: add_rows . . . 13μs DynamicArray2 008: add_rows . . . 12μs DynamicArray2 009: add_cols . . . 31μs DynamicArray2 010: set/get . . . 40μs DynamicArray2 011: append 1/2 . . . 88μs DynamicArray2 012: append 2/2 . . . 154μs DynamicArray2 013: count . . . 15μs DynamicArray2 014: clear . . . 10μs DynamicArray2 015: begin_row and end_row . . . 55μs DynamicArray2 016: cbegin_row and cend_row . . . 25μs DynamicArray2 017: iterator operator++ (postfix) . . . 250μs DynamicArray2 018: iterator operator++ (prefix) . . . 1610μs DynamicArray2 019: iterator operator-- (postfix) . . . 315μs DynamicArray2 020: iterator operator-- (prefix) . . . 315μs DynamicArray2 021: operator= . . . 15μs DynamicArray2 022: operator== and operator!= . . . 239μs DynamicArray2 023: empty and clear . . . 13μs DynamicArray2 024: max_size . . . 10μs DynamicArray2 025: swap . . . 36μs DynamicArray2 026: iterator arithmetic . . . 1456μs DynamicArray2 027: iterator comparison . . . 13μs DynamicArray2 028: iterator operator= . . . 10μs DynamicArray2 029: iterator operator[] . . . 73μs DynamicArray2 030: iterator operator-> . . . 45μs DynamicArray2 031: const_iterator operator++/-- . . . 273μs DynamicArray2 032: const_iterator operator++/-- . . . 10μs DynamicArray2 033: column iterators . . . 24μs DynamicArray2 034: column iterator arithmetic . . . 5512μs DynamicArray2 035: iterator assignment constructor . . . 1544μs DynamicArray2 036: reserve method . . . 62μs DynamicArray2 037: erase column . . . 15μs DynamicArray2 038: swap_rows . . . 12μs DynamicArray2 039: apply_row_permutation . . . 12μs DynamicArray2 040: swap . . . 12μs DynamicArray2 041: shrink_rows_to . . . 15μs DynamicArray2 042: shrink_rows_to - for range . . . 15μs FastestBMat 046: check no throw . . . 19μs FelschTree 000: previously failing example . . . 29μs Forest 001: test forest . . . 72μs FpSemigroup 001: Renner monoid type B2 (E. G. presentation), q = 1 . . . 800μs FpSemigroup 002: Renner monoid type B2 (E. G. presentation), q = 0 . . . 840μs FpSemigroup 003: Renner monoid type B3 (E. G. presentation), q = 1 . . . 66ms FpSemigroup 004: Renner monoid type B3 (E. G. presentation), q = 0 . . . 61ms FpSemigroup 005: Renner monoid type B2 (Gay-Hivert presentat [...] . . . 1510μs FpSemigroup 006: Renner monoid type B2 (Gay-Hivert presentat [...] . . . 1240μs FpSemigroup 007: Renner monoid type B3 (Gay-Hivert presentat [...] . . . 4727μs FpSemigroup 008: Renner monoid type B3 (Gay-Hivert presentat [...] . . . 4765μs FpSemigroup 009: Renner monoid type B4 (Gay-Hivert presentat [...] . . . 308ms FpSemigroup 010: Renner monoid type B4 (Gay-Hivert presentat [...] . . . 503ms FpSemigroup 013: Renner monoid type D2 (E. G. presentation), q = 1 . . . 1273μs FpSemigroup 014: Renner monoid type D2 (E. G. presentation), q = 0 . . . 1222μs FpSemigroup 015: Renner monoid type D3 (E. G. presentation), q = 1 . . . 5215μs FpSemigroup 016: Renner monoid type D3 (E. G. presentation), q = 0 . . . 5170μs FpSemigroup 017: Renner monoid type D4 (E. G. presentation), q = 1 . . . 705ms FpSemigroup 018: Renner monoid type D4 (E. G. presentation), q = 0 . . . 766ms FpSemigroup 019: Renner monoid type D2 (Gay-Hivert presentat [...] . . . 1915μs FpSemigroup 020: Renner monoid type D2 (Gay-Hivert presentat [...] . . . 1876μs FpSemigroup 021: Renner monoid type D3 (Gay-Hivert presentat [...] . . . 6667μs FpSemigroup 022: Renner monoid type D3 (Gay-Hivert presentat [...] . . . 5636μs FpSemigroup 023: Renner monoid type D4 (Gay-Hivert presentat [...] . . . 112ms FpSemigroup 024: Renner monoid type D4 (Gay-Hivert presentat [...] . . . 120ms FpSemigroup 029: Rook monoid R5, q = 0 . . . 5636μs FpSemigroup 030: Rook monoid R5, q = 1 . . . 6741μs FpSemigroup 031: Rook monoid R6, q = 0 . . . 44ms FpSemigroup 032: Rook monoid R6, q = 1 . . . 63ms FpSemigroup 033: normal_form . . . 506μs FpSemigroup 034: for a finite semigroup . . . 1108μs FpSemigroup 035: finite fp semigroup, dihedral group of order 6 . . . 840μs FpSemigroup 036: finite fp semigroup, size 16 . . . 1252μs FpSemigroup 037: finite fp semigroup, size 16 . . . 1853μs FpSemigroup 038: fp semigroup, size 240 . . . 1428μs FpSemigroup 039: add_rule . . . 442μs FpSemigroup 040: add_rule . . . 284μs FpSemigroup 041: equal_to . . . 464μs FpSemigroup 042: cbegin/cend_rules . . . 128μs FpSemigroup 043: semigroup of size 3 . . . 804μs FpSemigroup 044: run_for/until . . . 3357μs FpSemigroup 045: constructors . . . 426μs FpSemigroup 046: set_inverses . . . 326μs FpSemigroup 047: smalloverlap . . . 16ms FpSemigroup 048: quaternion group Q8 . . . 761μs FpSemigroup 049: symmetric group Coxeter presentation . . . 33ms FpSemigroupByPairs 029: (fpsemi) 2-sided congruence on finit [...] . . . 561μs FpSemigroupByPairs 030: (fpsemi) 2-sided congruence on finit [...] . . . 503μs FpSemigroupInterface 000: run with no alphabet . . .  -- with ToddCoxeter 90μs  -- with KnuthBendix 33μs  -- with FpSemigroup 41μs FpSemigroupInterface 001: equal_to . . .  -- with ToddCoxeter and human readable alphabet 1951μs  -- with KnuthBendix and human readable alphabet 5564μs  -- with FpSemigroup and human readable alphabet 4354μs  -- with FpSemigroupByPairs 2958μs FpSemigroupInterface 002: normal_form . . .  -- with ToddCoxeter 189μs  -- with KnuthBendix 238μs  -- with FpSemigroup 496μs FpSemigroupInterface 003: set_alphabet (1/2) . . .  -- with ToddCoxeter 112μs  -- with KnuthBendix 87μs  -- with FpSemigroup 97μs FpSemigroupInterface 004: set_alphabet (2/2) . . . 1160μs FpSemigroupInterface 005: add_rule after finished . . .  -- with ToddCoxeter and human readable alphabet 145μs  -- with KnuthBendix and human readable alphabet 195μs  -- with FpSemigroup and human readable alphabet 389μs  -- with FpSemigroupByPairs 1164μs FpSemigroupInterface 006: add_rule with equal words (1/2) . . .  -- with ToddCoxeter and human readable alphabet 221μs  -- with KnuthBendix and human readable alphabet 299μs  -- with FpSemigroup and human readable alphabet 362μs  -- with FpSemigroupByPairs 200μs FpSemigroupInterface 007: add_rule with equal words (2/2) . . .  -- with ToddCoxeter 31μs  -- with KnuthBendix 24μs  -- with FpSemigroup 33μs FpSemigroupInterface 008: add_rule with word_type . . .  -- with ToddCoxeter 60μs  -- with KnuthBendix 46μs  -- with FpSemigroup 109μs FpSemigroupInterface 009: add_rule with empty word (1/2) . . .  -- with ToddCoxeter 43μs  -- with FpSemigroup 45μs FpSemigroupInterface 010: add_rule with empty word (1/2) . . . 20μs FpSemigroupInterface 011: add_rules (1/3) . . .  -- with ToddCoxeter 55μs  -- with KnuthBendix 45μs  -- with FpSemigroup 50μs FpSemigroupInterface 012: add_rules (2/3) . . . 433μs FpSemigroupInterface 013: add_rules (3/3) . . .  -- with ToddCoxeter 36μs  -- with KnuthBendix 27μs  -- with FpSemigroup 92μs FpSemigroupInterface 014: set_identity (1/3) . . .  -- with ToddCoxeter 138μs  -- with KnuthBendix 115μs  -- with FpSemigroup 182μs FpSemigroupInterface 015: set_identity (2/3) . . . 280μs FpSemigroupInterface 016: set_identity (3/3) . . .  -- with ToddCoxeter 88μs  -- with KnuthBendix 76μs  -- with FpSemigroup 148μs FpSemigroupInterface 017: identity . . .  -- with ToddCoxeter 38μs  -- with KnuthBendix 26μs  -- with FpSemigroup 34μs FpSemigroupInterface 018: set_inverses + inverses (1/2) . . .  -- with ToddCoxeter 180μs  -- with KnuthBendix 167μs  -- with FpSemigroup 262μs FpSemigroupInterface 019: set_inverses + inverses (2/2) . . . 357μs FpSemigroupInterface 020: is_obviously_infinite (1/2) . . .  -- with ToddCoxeter 157μs  -- with KnuthBendix 215μs  -- with FpSemigroup 398μs FpSemigroupInterface 021: is_obviously_infinite (2/2) . . . 46μs FpSemigroupInterface 022: is_obviously_finite (1/2) . . .  -- with ToddCoxeter 148μs  -- with KnuthBendix 213μs  -- with FpSemigroup 389μs FpSemigroupInterface 023: is_obviously_finite (2/2) . . . 43μs FpSemigroupInterface 024: to_gap_string (1/3) . . .  -- with ToddCoxeter 38μs  -- with KnuthBendix 31μs  -- with FpSemigroup 101μs FpSemigroupInterface 025: to_gap_string (2/3) . . . 23μs FpSemigroupInterface 026: to_gap_string (3/3) . . . 36μs FroidurePin 016: (BMat8) exception zero generators given . . . 25μs FroidurePin 017: (BMat8) exception word_to_element . . . 91μs FroidurePin 018: (BMat8) exception prefix . . . 2776μs FroidurePin 019: (BMat8) exception suffix . . . 31μs FroidurePin 020: (BMat8) exception first_letter . . . 2739μs FroidurePin 021: (BMat8) exception final_letter . . . 29μs FroidurePin 022: (BMat8) exception current_length . . . 2677μs FroidurePin 023: (BMat8) exception product_by_reduction . . . 2396μs FroidurePin 024: (BMat8) exception fast_product . . . 2579μs FroidurePin 025: (BMat8) exception is_idempotent . . . 706ms FroidurePin 026: (BMat8) copy constructor . . .  -- with fully enumerated 2103ms  -- with partially enumerated 480ms  -- with not enumerated 281ms FroidurePin 027: (BMat8) cbegin/end_rules . . . 62μs FroidurePin 031: (integers) . . . 157μs FroidurePin 039: (pairs of integers) non-trivial user type . . . 30μs FroidurePin 055: (tropical max-plus semiring matrices) . . . 277μs FroidurePin 061: projective max plus matrix . . . 1038μs FroidurePin 062: projective max plus matrix . . . 34μs FroidurePin> 009: small example 2 . . . 48μs FroidurePin> 005: small example 1 . . . 115μs FroidurePin> 007: regular bmat monoid 4 . . . 65ms FroidurePin> 011: small example 3 . . . 580μs FroidurePin> 006: small example 1 . . . 132μs FroidurePin> 008: regular bmat monoid 4 . . . 79ms FroidurePin> 010: small example 2 . . . 40μs FroidurePin> 012: small example 3 . . . 678μs FroidurePin 000: small example 1 . . . 146μs FroidurePin 001: default constructed . . . 115μs FroidurePin 002: small example 2 . . . 48μs FroidurePin 004: exception: is_idempotent . . . 165μs FroidurePin> 033: Example 000 . . . 3408μs FroidurePin> 035: Example 001 . . . 58μs FroidurePin> 032: Example 000 . . . 3494μs FroidurePin> 034: Example 001 . . . 38μs FroidurePin 036: exception: current_position . . . 126μs FroidurePin 037: exception: word_to_element . . . 69μs FroidurePin 038: exception: prefix, suffix, first_letter . . . 24ms FroidurePin> 040: Example 000 . . . 72μs FroidurePin> 041: Example 000 . . . 57μs FroidurePin> 046: Example 005 . . . 168μs FroidurePin> 047: Example 005 . . . 187μs FroidurePin> 048: Example 005 . . . 183μs FroidurePin> 044: Example 004 . . . 33μs FroidurePin> 045: Example 004 . . . 31μs FroidurePin> 049: Example 006 . . . 982μs FroidurePin> 050: Example 006 . . . 1196μs FroidurePin> 051: Example 006 . . . 1216μs FroidurePin> 052: Example 007 . . . 135μs FroidurePin> 053: Example 007 . . . 149μs FroidurePin> 054: Example 007 . . . 161μs FroidurePin 056: example 1 . . . 213μs FroidurePin 057: example 2 . . . 176μs FroidurePin> 058: . . . 605μs FroidurePin> 059: . . . 48μs FroidurePin> 060: exceptions: add_generator(s) . . . 60μs FroidurePin> 065: no exception zero generators given . . . 16μs FroidurePin> 066: exception generators of different [...] . . . 66μs FroidurePin> 067: exception current_position . . . 45μs FroidurePin> 068: exception word_to_element . . . 46μs FroidurePin> 069: exception gens . . . 585μs FroidurePin> 070: exception prefix . . . 30ms FroidurePin> 071: exception suffix . . . 73ms FroidurePin> 072: exception first_letter . . . 55μs FroidurePin> 073: exception final_letter . . . 50μs FroidurePin> 074: exception current_length . . . 48μs FroidurePin> 075: exception product_by_reduction . . . 435μs FroidurePin> 076: exception fast_product . . . 485μs FroidurePin> 077: exception current_position . . . 613μs FroidurePin> 078: exception is_idempotent . . . 631μs FroidurePin> 079: exception add_generators . . . 38μs FroidurePin> 080: multithread number_of_idempotents . . . 473μs FroidurePin> 081: small semigroup . . . 26μs FroidurePin> 082: large semigroup . . . 6412μs FroidurePin> 083: at, position, current_* . . . 6492μs FroidurePin> 084: run . . . 6204μs FroidurePin> 085: run [many stops and starts] . . . 6290μs FroidurePin> 086: factorisation, length [1 element] . . . 6134μs FroidurePin> 087: factorisation, products [all elements] . . . 8077μs FroidurePin> 088: first/final letter, prefix, suffi [...] . . . 6180μs FroidurePin> 089: current_position [standard] . . . 27μs FroidurePin> 090: current_position [duplicate gens] . . . 11ms FroidurePin> 091: current_position [after add_generators] . . . 6904μs FroidurePin> 092: cbegin_idempotents/cend [1 thread] . . . 6923μs FroidurePin> 093: idempotent_cend/cbegin [1 thread] . . . 6895μs FroidurePin> 094: is_idempotent [1 thread] . . . 6429μs FroidurePin> 096: finished, started . . . 6194μs FroidurePin> 097: current_position . . . 1479μs FroidurePin> 098: sorted_position, sorted_at . . . 7993μs FroidurePin> 099: right/left Cayley graph . . . 33ms FroidurePin> 100: iterator . . . 10ms FroidurePin> 101: reverse iterator . . . 10ms FroidurePin> 102: iterator arithmetic . . . 31ms FroidurePin> 103: iterator sorted . . . 25ms FroidurePin> 104: iterator sorted arithmetic . . . 34ms FroidurePin> 105: copy [not enumerated] . . . 6389μs FroidurePin> 106: copy_closure [not enumerated] . . . 40ms FroidurePin> 107: copy_add_generators [not enumerated] . . . 37ms FroidurePin> 108: copy [partly enumerated] . . . 6818μs FroidurePin> 109: copy_closure [partly enumerated] . . . 10ms FroidurePin> 110: copy_add_generators [partly enumerated] . . . 7007μs FroidurePin> 111: copy [fully enumerated] . . . 9969μs FroidurePin> 112: copy_closure [fully enumerated] . . . 10ms FroidurePin> 113: copy_add_generators [fully enumerated] . . . 10ms FroidurePin> 114: relations [duplicate gens] . . . 189μs FroidurePin> 115: relations . . . 8881μs FroidurePin> 116: relations [copy_closure, duplicat [...] . . . 11ms FroidurePin> 117: relations [copy_add_generators, d [...] . . . 11ms FroidurePin> 118: relations [from copy, not enumerated] . . . 7538μs FroidurePin> 119: relations [from copy, partly enum [...] . . . 13ms FroidurePin> 120: relations [from copy, fully enumerated] . . . 13ms FroidurePin> 121: relations [from copy_closure, not [...] . . . 12ms FroidurePin> 122: relations [from copy_add_generato [...] . . . 7479μs FroidurePin> 123: relations [from copy_closure, par [...] . . . 11ms FroidurePin> 124: relations [from copy_add_generato [...] . . . 9386μs FroidurePin> 125: relations [from copy_closure, ful [...] . . . 13ms FroidurePin> 126: relations [from copy_add_generato [...] . . . 12ms FroidurePin> 127: add_generators [duplicate generators] . . . 329μs FroidurePin> 128: add_generators [incremental 1] . . . 386μs FroidurePin> 129: add_generators [incremental 2] . . . 458μs FroidurePin> 130: closure [duplicate generators] . . . 215μs FroidurePin> 131: closure . . . 102μs FroidurePin> 132: factorisation . . . 24μs FroidurePin> 134: minimal_factorisation . . . 46μs FroidurePin> 135: batch_size (for an extremely larg [...] . . . 24μs FroidurePin> 137: exception: generators of differen [...] . . . 30μs FroidurePin> 138: exception: current_position . . . 46μs FroidurePin> 139: exception: word_to_element . . . 46μs FroidurePin> 140: exception: gens, current_position . . . 747μs FroidurePin> 141: exception: add_generators . . . 33μs KBE 000: constructors . . . 51μs KBE 001: test . . . 72μs KBE 002: factorisation . . . 50μs KBE 003: swap . . . 33μs KBE 004: adapters . . . 33μs KBE 005: conversions . . . 31μs Kambites 000: (fpsemi) MT test 4 (std::string) . . . 6540μs Kambites 001: (fpsemi) MT test 4 (MultiStringView) . . . 7365μs Kambites 002: (fpsemi) number_of_pieces (std::string) . . . 127μs Kambites 003: (fpsemi) number_of_pieces (MultiStringView) . . . 114μs Kambites 004: (fpsemi) small_overlap_class (std::string) . . . 3824μs Kambites 005: (fpsemi) small_overlap_class (MultiStringView) . . . 3791μs Kambites 006: (fpsemi) random (std::string) . . . 11ms Kambites 007: (fpsemi) random (MultiStringView) . . . 11ms Kambites 008: (fpsemi) KnuthBendix 055 (std::string) . . . 15ms Kambites 009: (fpsemi) KnuthBendix 055 (MultiStringView) . . . 18ms Kambites 010: (fpsemi) smalloverlap/gap/test.gi:85 (std::string) . . . 91μs Kambites 011: (fpsemi) smalloverlap/gap/test.gi:85 (MultiStr [...] . . . 77μs Kambites 012: (fpsemi) free semigroup . . . 12μ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 [...] . . . 53ms Kambites 017: (fpsemi) smalloverlap/gap/test.gi:70 (std::string) . . . 135ms Kambites 018: (fpsemi) smalloverlap/gap/test.gi:70 (MultiStr [...] . . . 195ms Kambites 021: (fpsemi) code coverage (std::string) . . . 72μs Kambites 022: (fpsemi) code coverage (MultiStringView) . . . 55μs Kambites 023: (fpsemi) prefix (std::string) . . . 73μs Kambites 024: (fpsemi) prefix (MultiStringView) . . . 109μs Kambites 025: (fpsemi) normal_form (Example 3.15) (std::string) . . . 74μs Kambites 026: (fpsemi) normal_form (Example 3.15) (MultiStri [...] . . . 102μs Kambites 027: (fpsemi) normal_form (Example 3.16) (std::string) . . . 53μs Kambites 028: (fpsemi) normal_form (Example 3.16) (MultiStri [...] . . . 77μs Kambites 029: (fpsemi) normal_form (Example 3.16) more exhau [...] . . . 95ms Kambites 030: (fpsemi) normal_form (Example 3.16) more exhau [...] . . . 96ms Kambites 031: (fpsemi) small presentation (std::string) . . . 117μs Kambites 032: (fpsemi) small presentation (MultiStringView) . . . 73μs Kambites 033: (fpsemi) non-smalloverlap (std::string) . . . 92μs Kambites 034: (fpsemi) non-smalloverlap (MultiStringView) . . . 74μs Kambites 035: (fpsemi) MT test 3 (std::string) . . . 55μs Kambites 036: (fpsemi) MT test 3 (MultiStringView) . . . 53μs Kambites 037: (fpsemi) MT test 5 (std::string) . . . 36μs Kambites 038: (fpsemi) MT test 5 (MultiStringView) . . . 43μs Kambites 039: (fpsemi) MT test 6 (std::string) . . . 43μs Kambites 040: (fpsemi) MT test 6 (MultiStringView) . . . 55μs Kambites 041: (fpsemi) MT test 10 (std::string) . . . 41μs Kambites 042: (fpsemi) MT test 10 (MultiStringView) . . . 48μs Kambites 043: (fpsemi) MT test 13 (std::string) . . . 31μs Kambites 044: (fpsemi) MT test 13 (MultiStringView) . . . 33μs Kambites 045: (fpsemi) MT test 14 (std::string) . . . 30μs Kambites 046: (fpsemi) MT test 14 (MultiStringView) . . . 31μs Kambites 047: (fpsemi) MT test 15 (std::string) . . . 58μs Kambites 048: (fpsemi) MT test 15 (MultiStringView) . . . 58μs Kambites 049: (fpsemi) MT test 16 (std::string) . . . 55μs Kambites 050: (fpsemi) MT test 16 (MultiStringView) . . . 62μs Kambites 051: (fpsemi) MT test 17 (std::string) . . . 128μs Kambites 052: (fpsemi) MT test 17 (MultiStringView) . . . 124μs Kambites 053: (fpsemi) weak C(4) not strong x 1 (std::string) . . . 604μs Kambites 054: (fpsemi) weak C(4) not strong x 1 (MultiStringView) . . . 747μs Kambites 055: (fpsemi) weak C(4) not strong x 2 (std::string) . . . 607μs Kambites 056: (fpsemi) weak C(4) not strong x 2 (MultiStringView) . . . 755μs Kambites 057: (fpsemi) weak C(4) not strong x 3 (std::string) . . . 565μs Kambites 058: (fpsemi) weak C(4) not strong x 3 (MultiStringView) . . . 568μs Kambites 059: (fpsemi) weak C(4) not strong x 4 (std::string) . . . 78μs Kambites 060: (fpsemi) weak C(4) not strong x 4 (MultiStringView) . . . 103μs Kambites 061: (fpsemi) weak C(4) not strong x 5 (std::string) . . . 29μs Kambites 062: (fpsemi) weak C(4) not strong x 5 (MultiStringView) . . . 24μs Kambites 063: (fpsemi) weak C(4) not strong x 6 (std::string) . . . 55μs Kambites 064: (fpsemi) weak C(4) not strong x 6 (MultiStringView) . . . 58μs Kambites 065: (fpsemi) Konovalov example (std::string) . . . 40μs Kambites 066: (fpsemi) Konovalov example (MultiStringView) . . . 36μs Kambites 067: (fpsemi) long words (std::string) . . . 1220ms Kambites 068: (fpsemi) long words (MultiStringView) . . . 47ms Kambites 075: (cong) example 1 . . . 72μs Kambites 076: (cong) example 2 . . . 174μs Kambites 077: (cong) code coverage . . . 6834μs Kambites 078: (cong) large number of rules . . . 247ms KnuthBendix 000: (fpsemi) confluent fp semigroup 1 (infinite) . . . 145μs KnuthBendix 001: (fpsemi) confluent fp semigroup 2 (infinite) . . . 136μs KnuthBendix 002: (fpsemi) confluent fp semigroup 3 (infinite) . . . 98μs KnuthBendix 003: (fpsemi) non-confluent fp semigroup from wi [...] . . . 160μs KnuthBendix 004: (fpsemi) Example 5.1 in Sims (infinite) . . . 132μs KnuthBendix 005: (fpsemi) Example 5.1 in Sims (infinite) . . . 125μs KnuthBendix 006: (fpsemi) Example 5.3 in Sims . . . 123μs KnuthBendix 007: (fpsemi) Example 5.4 in Sims . . . 127μs KnuthBendix 008: (fpsemi) Example 6.4 in Sims (size 168) . . . 8895μs KnuthBendix 009: (fpsemi) . . . 50ms KnuthBendix 010: (fpsemi) SL(2, 7) from Chapter 3, Propositi [...] . . . 83ms KnuthBendix 011: (fpsemi) F(2, 5) - Chapter 9, Section 1 in [...] . . . 453μs KnuthBendix 012: (fpsemi) Reinis example 1 . . . 178μs KnuthBendix 013: redundant_rule (std::string) . . . 100ms KnuthBendix 014: redundant_rule (word_type) . . . 10ms KnuthBendix 019: (fpsemi) C(4) monoid . . . 38μs KnuthBendix 020: (cong) Chinese monoid . . . 135μs KnuthBendix 021: (from kbmag/standalone/kb_data/f25monoid) . . . 527μs KnuthBendix 022: (from kbmag/standalone/kb_data/degen4a) . . . 56ms KnuthBendix 023: (from kbmag/standalone/kb_data/torus) . . . 2242μs KnuthBendix 024: (from kbmag/standalone/kb_data/3a6) . . . 256ms KnuthBendix 025: (from kbmag/standalone/kb_data/f2) . . . 58μs KnuthBendix 026: (from kbmag/standalone/kb_data/s16) . . . 70ms KnuthBendix 027: (from kbmag/standalone/kb_data/a4monoid) . . . 60μs KnuthBendix 028: (from kbmag/standalone/kb_data/degen3) . . . 24μs KnuthBendix 029: (from kbmag/standalone/kb_data/ab1) . . . 25μs KnuthBendix 030: (from kbmag/standalone/kb_data/degen2) . . . 16μs KnuthBendix 031: (from kbmag/standalone/kb_data/f25) . . . 458μs KnuthBendix 032: (from kbmag/standalone/kb_data/237) . . . 590μs KnuthBendix 033: (from kbmag/standalone/kb_data/c2) . . . 19μs KnuthBendix 034: (from kbmag/standalone/kb_data/cosets) . . . 222μs KnuthBendix 035: Example 5.1 in Sims (KnuthBendix 09 again) . . . 50μs KnuthBendix 036: (from kbmag/standalone/kb_data/nilp2) . . . 43μs KnuthBendix 037: Example 6.4 in Sims . . . 14ms KnuthBendix 038: KnuthBendix 071 again . . . 674μs KnuthBendix 039: Example 5.4 in Sims (KnuthBendix 11 again) [...] . . . 196μs KnuthBendix 040: Example 5.4 in Sims (KnuthBendix 11 again) [...] . . . 134μs KnuthBendix 041: operator<< . . . 58μs KnuthBendix 042: confluence_interval . . . 16μs KnuthBendix 043: max_overlap . . . 15μs KnuthBendix 044: (fpsemi) (from kbmag/standalone/kb_data/d22 [...] . . . 1281μs KnuthBendix 045: (fpsemi) (from kbmag/standalone/kb_data/d22 [...] . . . 2412μs KnuthBendix 046: (fpsemi) small example . . . 759μs KnuthBendix 047: code coverage . . . 68μs KnuthBendix 048: small overlap 1 . . . 50μs KnuthBendix 049: (from kbmag/standalone/kb_data/s9) . . . 1577μs KnuthBendix 050: (fpsemi) Chapter 11, Lemma 1.8 (q = 6, r = [...] . . . 681μs KnuthBendix 051: (fpsemi) Chapter 11, Section 2 (q = 6, r = [...] . . . 165μs KnuthBendix 052: (fpsemi) Chapter 8, Theorem 4.2 in NR (infinite) . . . 262μs KnuthBendix 053: (fpsemi) equal_to fp semigroup . . . 67μs KnuthBendix 054: (fpsemi) equal_to free semigroup . . . 58μs KnuthBendix 055: (fpsemi) from GAP smalloverlap gap/test.gi [...] . . . 311μs KnuthBendix 056: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 465μs KnuthBendix 057: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 460μs KnuthBendix 058: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 1325μs KnuthBendix 059: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 3132μs KnuthBendix 060: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 50μs KnuthBendix 061: (fpsemi) Von Dyck (2,3,7) group (infinite) . . . 590μs KnuthBendix 062: (fpsemi) Von Dyck (2,3,7) group - different [...] . . . 4773μs KnuthBendix 063: (fpsemi) rewriting system from KnuthBendixC [...] . . . 420μs KnuthBendix 064: (fpsemi) rewriting system from Congruence 20 . . . 33μs KnuthBendix 065: (fpsemi) (from kbmag/standalone/kb_data/ab2) . . . 96μs KnuthBendix 066: (fpsemi) (from kbmag/standalone/kb_data/d22 [...] . . . 1366μs KnuthBendix 067: (fpsemi) (from kbmag/standalone/kb_data/degen1) . . . 53μs KnuthBendix 068: (fpsemi) (from kbmag/standalone/kb_data/s4) . . . 339μs KnuthBendix 069: (fpsemi) fp semigroup (infinite) . . . 67μs KnuthBendix 070: (fpsemi) Chapter 11, Section 1 (q = 4, r = [...] . . . 1833μs KnuthBendix 071: (fpsemi) Chapter 11, Section 1 (q = 8, r = [...] . . . 107ms KnuthBendix 072: (fpsemi) Chapter 7, Theorem 3.9 in NR (size 240) . . . 3583μs KnuthBendix 073: (fpsemi) F(2, 5) - Chapter 9, Section 1 in [...] . . . 469μs KnuthBendix 074: (fpsemi) F(2, 6) - Chapter 9, Section 1 in NR . . . 453μs KnuthBendix 075: (fpsemi) Chapter 10, Section 4 in NR (infinite) . . . 857μs KnuthBendix 076: (fpsemi) Sym(5) from Chapter 3, Proposition [...] . . . 3070μs KnuthBendix 077: (fpsemi) SL(2, 7) from Chapter 3, Propositi [...] . . . 81ms KnuthBendix 078: (fpsemi) bicyclic monoid (infinite) . . . 50μs KnuthBendix 079: (fpsemi) plactic monoid of degree 2 (infinite) . . . 71μs KnuthBendix 080: (fpsemi) example before Chapter 7, Proposit [...] . . . 46μs KnuthBendix 081: (fpsemi) Chapter 7, Theorem 3.6 in NR (size 243) . . . 844μs KnuthBendix 082: (fpsemi) finite semigroup (size 99) . . . 255μs KnuthBendix 096: Sorouhesh . . . 413μs KnuthBendix 097: (fpsemi) transformation semigroup (size 4) . . . 62μs KnuthBendix 098: (fpsemi) transformation semigroup (size 9) . . . 57μs KnuthBendix 099: (fpsemi) transformation semigroup (size 88) . . . 774μs KnuthBendix 100: internal_string_to_word . . . 41μs KnuthBendix 101: (fpsemi) construct from shared_ptr . . . 764μs KnuthBendix 102: internal_string_to_word . . . 769μs KnuthBendix 103: (cong) free semigroup congruence (5 classes) . . . 85μs KnuthBendix 104: free semigroup congruence (6 classes) . . . 255μs KnuthBendix 105: (cong) free semigroup congruence (16 classes) . . . 329μs KnuthBendix 106: (cong) free semigroup congruence (6 classes) . . . 453μs KnuthBendix 107: (cong) free semigroup congruence (240 classes) . . . 3523μs KnuthBendix 108: (cong) free semigroup congruence (240 classes) . . . 3458μs KnuthBendix 109: (cong) less . . . 4189μs KnuthBendix 110: (cong) less . . . 188ms KnuthBendix 111: (cong) constructors . . . 271ms KnuthBendix 112: (cong) const_contains/contains . . . 213μs KnuthBendix 113: (cong) is_quotient_obviously_finite . . . 21μs KnuthBendix 114: (cong) class_index_to_word . . . 203μs KnuthBendix 115: (cong) quotient_froidure_pin . . . 147μs KnuthBendix 116: (cong) set_number_of_generators . . . 27μs KnuthBendix 117: (cong) number of classes when obv-inf . . . 64μs KnuthBendixCongruenceByPairs 016: non-trivial congruence on [...] . . . 191μs KnuthBendixCongruenceByPairs 017: non-trivial congruence on [...] . . . 184μs KnuthBendixCongruenceByPairs 018: non-trivial congruence on [...] . . . 290μs KnuthBendixCongruenceByPairs 019: non-trivial congruence on [...] . . . 282μs KnuthBendixCongruenceByPairs 020: trivial congruence on a fi [...] . . . 189μs KnuthBendixCongruenceByPairs 021: universal congruence on a [...] . . . 556μs KnuthBendixCongruenceByPairs 022: left congruence on a finit [...] . . . 273μs KnuthBendixCongruenceByPairs 023: finite group, Chapter 11, [...] . . . 4708μs KnuthBendixCongruenceByPairs 024: right congruence on infini [...] . . . 302μs KnuthBendixCongruenceByPairs 025: finite fp semigroup, dihed [...] . . . 342μs KnuthBendixCongruenceByPairs 026: finite fp semigroup, size 16 . . . 349μs KnuthBendixCongruenceByPairs 027: finite fp semigroup, size 16 . . . 1007μs KnuthBendixCongruenceByPairs 028: infinite fp semigroup with [...] . . . 72μs Konieczny 000: test000> . . . 1167μs Konieczny 001: test000> . . . 920μs Konieczny 002: test001> . . . 13ms Konieczny 003: test001> . . . 10ms Konieczny 006: exceptions . . . 46μs Konieczny 007: code coverage . . . 17ms Konieczny 008: code coverage . . . 13ms Konieczny 009: regular elements and idempotents . . . 1567ms Konieczny 010: regular D-class 01 . . . 1897μs Konieczny 011: regular D-class 02 . . . 31ms Konieczny 012: regular D-class 04: contains . . . 1980ms Konieczny 013: non-regular D-classes 01 . . . 1955μs Konieczny 014: RegularDClass . . . 1183μs Konieczny 015: full bmat monoid 4 . . . 279ms Konieczny 017: regular generated bmat monoid 4 idempotents . . . 304ms Konieczny 019: my favourite example . . . 187ms Konieczny 020: another large example . . . 33ms Konieczny 021: my favourite example transposed . . . 236ms Konieczny 024: exceptions . . . 2008μs Konieczny 025: 0-parameter constructor . . . 38ms Konieczny 026: non-regular D-classes 02 . . . 30ms Konieczny 028: partial perm . . . 178ms Konieczny 029: symmetric inverse monoid n = 8 . . . 31ms Konieczny 030: exceptions . . . 217ms Konieczny 031: transformations . . . 970μs Konieczny 032: transformations - JDM favourite example . . . 123ms Konieczny 033: transformations - large example . . . 292ms Konieczny 034: transformations - large example with stop . . . 292ms Konieczny 035: transformations - large example with run_until . . . 292ms Konieczny 036: transformations - large example with stop in Action . . . 293ms Konieczny 037: exceptions . . . 46μs Konieczny 038: transformations: contains . . . 622μs Konieczny 040: transformations - destructor coverage . . . 246ms Konieczny 041: current_number_D_classes . . . 246ms Konieczny 042: add_generator . . . 36μs Konieczny 043: add_generator . . . 25μs Matrix 000: BMat<2> . . . 101μs Matrix 001: BMat<> . . . 82μs Matrix 002: BMat<3> + BMat<> . . . 15μs Matrix 003: BMat<2> + BMat<> . . . 12μs Matrix 004: BMat<3> . . . 12μs Matrix 005: BMat<> . . . 13μs Matrix 006: BMat<3> row_basis . . . 38μs Matrix 007: BMat<> row_basis . . . 41μs Matrix 008: IntMat<3> . . . 15μs Matrix 009: IntMat<> . . . 19μs Matrix 010: IntMat code cov . . . 10μs Matrix 011: MaxPlusMat<3> . . . 13μs Matrix 012: MaxPlusMat<> . . . 15μs Matrix 013: MaxPlusMat code cov . . . 9000ns Matrix 014: MinPlusMat<3> . . . 16μs Matrix 015: MinPlusMat<> . . . 20μs Matrix 016: MinPlusMat code cov . . . 9000ns Matrix 017: MaxPlusTruncMat<5, 2> . . . 16μs Matrix 018: MaxPlusTruncMat<5> . . . 20μs Matrix 019: MaxPlusTruncMat<> . . . 30μs Matrix 020: MaxPlusTruncMat<5, 4> . . . 19μs Matrix 021: MaxPlusTruncMat<5> . . . 20μs Matrix 022: MaxPlusTruncMat<> . . . 19μs Matrix 023: MaxPlusTruncMat<33, 3> . . . 36μs Matrix 024: MaxPlusTruncMat<33> . . . 30μs Matrix 025: MaxPlusTruncMat<> . . . 29μs Matrix 026: MaxPlusMat code cov . . . 10μs Matrix 027: MinPlusTruncMat<33, 3> . . . 31μs Matrix 028: MinPlusTruncMat<33> . . . 36μs Matrix 029: MinPlusTruncMat<> . . . 41μs Matrix 030: NTPMat<0, 3, 3, 3> . . . 15μs Matrix 031: NTPMat<0, 3> . . . 21μs Matrix 032: NTPMat<> . . . 33μs Matrix 033: NTPMat<0, 10, 4, 4> . . . 25μs Matrix 034: NTPMat<0, 10> . . . 20μs Matrix 035: NTPMat<> . . . 20μs Matrix 036: NTPMat<0, 10, 4, 4> . . . 20μs Matrix 037: NTPMat<0, 10> . . . 19μs Matrix 038: NTPMat<> . . . 19μs Matrix 039: NTPMat<33, 2, 3, 3> . . . 15μs Matrix 040: NTPMat<33, 2> . . . 15μs Matrix 041: NTPMat<> . . . 13μs Matrix 042: ProjMaxPlusMat<3> . . . 92μs Matrix 043: ProjMaxPlusMat<> . . . 66μs Matrix 044: exceptions . . . 38μs Matrix 045: code coverage . . . 43μs MultiStringView 000: catch all . . . 40μs MultiStringView 001: is_prefix . . . 15μs MultiStringView 002: erase . . . 16μs MultiStringView 003: iterators . . . 12μs MultiStringView 004: constructors (long) . . . 26μs MultiStringView 005: constructors (short) . . . 15μs MultiStringView 006: copy assignment (short assigned to long) . . . 13μs MultiStringView 007: copy assignment (short assigned to short) . . . 12μs MultiStringView 008: move assignment (short assigned to long) . . . 13μs MultiStringView 009: move assignment (short assigned to short) . . . 12μs MultiStringView 010: code coverage . . . 20μs MultiStringView 011: pop_front . . . 43μs MultiStringView 012: append . . . 15μs MultiStringView 013: operators . . . 15μs MultiStringView 014: maximum_common_suffix . . . 13μs MultiStringView 015: deep tests . . . 10μs ObviouslyInfinite 011: Multiple rule additions . . . 41μ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 . . . 12μs ObviouslyInfinite 015: Relations preserve length . . . 12μs ObviouslyInfinite 016: Matrix has non empty kernel . . . 13μs ObviouslyInfinite 017: Free product of trivial semigroups . . . 12μs ObviouslyInfinite 018: Another free product . . . 13μs ObviouslyInfinite 019: Infinite but not obviously so . . . 12μs ObviouslyInfinite 020: Finite semigroup . . . 15μs PBR 001: universal product with convenience constructor . . . 48μs PBR 002: universal product . . . 19μs PBR 003: product [bigger than previous] . . . 27μs PBR 004: hash . . . 10μs PBR 005: delete/copy . . . 20μs PBR 006: exceptions . . . 146μs PBR 007: operators . . . 67μs PBR 008: to_string . . . 21μs PBR 009: identity . . . 43μs PBR 010: adapters . . . 9000ns Pool 000: initial . . . 25μs Pool 001: bmat . . . 24μs Pool 002: PoolGuard . . . 20μs Pool 003: transformation products . . . 13μs Presentation 000: vectors of ints . . . 77μs Presentation 001: strings . . . 80μs Presentation 002: constructors (word_type) . . . 27μs Presentation 003: constructors (StaticVector1) . . . 31μs Presentation 004: constructors (std::string) . . . 21μs Presentation 005: alphabet + letters (word_type) . . . 120μs Presentation 006: alphabet + letters (std::string) . . . 38μs Presentation 007: contains_empty_word . . . 12μs Presentation 008: validate_rules throws . . . 43μs Presentation 009: helpers add_rule(s) . . . 91μs Presentation 010: helpers add_rule(s) (std::string) . . . 36μ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) . . . 187μs Presentation 014: helpers add_inverse_rules (std::string) . . . 50μs Presentation 015: helpers remove_duplicate_rules . . . 82μs Presentation 016: helpers reduce_complements . . . 132μs Presentation 017: helpers sort_each_rule . . . 60μs Presentation 018: helpers sort_rules . . . 67μs Presentation 019: helpers longest_common_subword/replace_subword . . . 295μs Presentation 020: helpers redundant_rule . . . 5615μs Presentation 021: helpers shortlex_compare_concat . . . 12μs Presentation 022: helpers remove_trivial_rules . . . 67μs Presentation 023: helpers replace_subword (existing, replacement) . . . 95μs Presentation 024: helpers longest_rule . . . 110μs Presentation 025: helpers longest_rule_length . . . 96μs Presentation 026: helpers remove_redundant_generators . . . 146μs Presentation 027: helpers reverse . . . 21μs Presentation 028: in_alphabet . . . 26μs Presentation 029: replace_subword with empty word . . . 20μs Presentation 030: helpers replace_word . . . 36μs Presentation 031: clear . . . 12μs Presentation 032: letter . . . 34μs Presentation 033: normalize_alphabet . . . 15μs Presentation 034: longest_common_subword issue . . . 317μs Presentation 035: helpers add_zero_rules (std::vector/Static [...] . . . 63μs Presentation 036: helpers add_zero_rules (std::string) . . . 26μs Presentation 037: make_semigroup . . . 46μs Presentation 038: greedy_reduce_length . . . 199μs Presentation 039: aaaaaaaab = aaaaaaaaab strong compression . . . 55μs Presentation 040: change_alphabet . . . 74μs Presentation 042: first_unused_letter/letter . . . 177μs Presentation 043: case where strong compression doesn't work . . . 33μs Presentation 044: proof that . . . 43μs Presentation 045: decompression . . . 20μs Race 001: run_for . . . 10ms Race 002: run_until . . . 10ms Race 003: exceptions . . . 10ms Race 004: iterators . . . 12μs Race 005: find_runner . . . 12μ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 . . . 1010μs Runner 002: run_for . . . 192ms Runner 003: run_for . . . 25ms Runner 004: started . . . 1030μs Runner 005: run_until . . . 9235μs Runner 006: kill . . . 26μs Runner 007: copy constructor . . . 10ms Runner 008: report . . . 20ms Runner 009: run_until with function pointer . . . 27μs SchreierSims 001: trivial perm. group (degree 1) . . . 62μs SchreierSims 002: trivial perm. group (degree 2) . . . 29μs SchreierSims 003: trivial perm. group (degree 500) . . . 277μs SchreierSims 004: symmetric perm. group (degree 5) . . . 48μs SchreierSims 005: symmetric perm. group (degree 8) . . . 82μs SchreierSims 006: symmetric perm. group (degree 9) . . . 115μs SchreierSims 007: alternating perm. group (degree 12) . . . 212μs SchreierSims 008: symmetric perm. group (degree 16) . . . 1711μs SchreierSims 009: alternating perm. group (degree 15) . . . 833μs SchreierSims 010: alternating perm. group (degree 16) . . . 1920μs SchreierSims 011: dihedral perm. group (order 10) . . . 33μs SchreierSims 012: dihedral perm. group (order 200) . . . 2060μs SchreierSims 013: perm. group T (order 12) . . . 36μs SchreierSims 014: quaternion perm. group (order 8) . . . 38μs SchreierSims 015: perm. group (order 84129611558952960) . . . 321ms SchreierSims 016: perm. group SL(3, 5) (order 372000) . . . 1546μs SchreierSims 017: perm. group PSL(4, 8) (order 34558531338240) . . . 116ms SchreierSims 018: perm. Mathieu group M11 (order 7920) . . . 92μs SchreierSims 019: perm. Mathieu group M24 (order 244823040) . . . 293μs SchreierSims 020: perm. Janko Group J1 (order 175560) . . . 3141μs SchreierSims 021: perm. Hall-Janko group (order 604800) . . . 492μs SchreierSims 022: perm. Hall-Janko group (alt.) (order 604800) . . . 28ms SchreierSims 023: perm. Conway group Co3 (order 495766656000) . . . 9334μs SchreierSims 024: perm. Conway group Co3 (alt.) (order 49576 [...] . . . 18ms SchreierSims 025: perm. Suzuki group (order 448345497600) . . . 102ms SchreierSims 027: perm. Held group (order 4030387200) . . . 183ms SchreierSims 028: perm. group C2 x C2 x C2 (order 8) . . . 34μs SchreierSims 029: perm. group C2 x C2 x C2 x C2 (order 16) . . . 41μs SchreierSims 030: perm. group (S5 x S5) : C2 (order 28800) . . . 90μs SchreierSims 031: perm. group C3 x D8 x A5 (order 1440) . . . 88μs SchreierSims 032: perm. group GL(4, 3) (order 24261120) . . . 951μs SchreierSims 033: perm. group PSL(3, 7) (order 1876896) . . . 974μs SchreierSims 037: symmetric perm. group (degree 5) . . . 38μs SchreierSims 038: alternating perm. group (degree 17) . . . 5388μs SchreierSims 039: exceptions . . . 138μs SchreierSims 040: exceptions . . . 66μs SchreierSims 041: trivial group . . . 46μs SchreierSims 042: A17 bug . . . 4745μs SchreierSims 043: orbits_lookup test . . . 737μs SchreierSims 044: transversal_element and inversal_element test . . . 1536μs SchreierSimsHelper 001: trivial perm. group intersection (de [...] . . . 18μs SchreierSimsHelper 002: trivial perm. group intersection (de [...] . . . 25μs SchreierSimsHelper 003: cyclic group intersection (degree 13) . . . 38μs SchreierSimsHelper 004: D10 and Z5 intersection . . . 29μs SchreierSimsHelper 005: D8 and Q8 intersection . . . 26μs SchreierSimsHelper 006: primitive on 8 points intersection . . . 72μs SchreierSimsHelper 007: primitive on 8 points intersection ( [...] . . . 68μs SchreierSimsHelper 008: A13 and PGL(2, 11) intersection . . . 607μs SchreierSimsHelper 009: A13 and PGL(2, 11) intersection (swa [...] . . . 609μs SchreierSimsHelper 012: 3^3:13 and 3^3.2.A(4) intersection . . . 199μs SchreierSimsHelper 015: 3^3(S(4) x 2) and ASL(3, 3) intersection . . . 382μs SchreierSimsHelper 016: 7^2:3 x Q(8) and 7^2:D(2*6) intersection . . . 422μs SchreierSimsHelper 018: D(2*53) and 53:13 intersection . . . 253μs SchreierSimsHelper 019: 2^6:(7 x D_14) and PSL(2, 6)^2.4 int [...] . . . 1946μs SchreierSimsHelper 020: 2^6:(S_3 x GL(3, 2)) and 2.6:Alt(7) [...] . . . 6239μs SchreierSimsHelper 022: PSL(2, 127) and AGL(1, 2^7) intersection . . . 10ms SchreierSimsHelper 023: PSL(3, 4).2 and PSL(3, 4).2 (nontriv [...] . . . 2020μs SchreierSimsHelper 024: PSL(3, 4).Sym(3) and PSL(3, 4).2 int [...] . . . 2318μs SchreierSimsHelper 025: 3^4:5:4 and D_16:4 intersection . . . 1191μs Sims1 000: fp example 1 . . . 977μs Sims1 001: fp example 2 . . . 1734μs Sims1 002: ToddCoxeter failing example . . . 15ms Sims1 003: ToddCoxeter failing example . . . 688μs Sims1 004: partition_monoid(2) right . . . 6264μs Sims1 006: full_transformation_monoid(3) right . . . 7556μs Sims1 007: full_transformation_monoid(3) left . . . 4274μs Sims1 009: rook_monoid(2, 1) . . . 97μs Sims1 010: symmetric_inverse_monoid(2) from FroidurePin . . . 103μs Sims1 011: symmetric_inverse_monoid(3) . . . 10ms Sims1 014: temperley_lieb_monoid(3) from presentation . . . 103μs Sims1 015: temperley_lieb_monoid(4) from presentation . . . 800μs Sims1 016: fp semigroup containing given pairs #1 . . . 280μs Sims1 017: fp semigroup containing given pairs #2 . . . 282μs Sims1 018: fp semigroup containing given pairs #3 . . . 458μs Sims1 019: ToddCoxeter failing example . . . 973μs Sims1 020: fp example 2 . . . 3301μs Sims1 021: exceptions . . . 242μs Sims1 027: from https://mathoverflow.net/questions/423541/ . . . 29ms Sims1 028: from https://mathoverflow.net/questions/423541/ . . . 20ms Sims1 030: presentation with one free generator . . . 207μs Sims1 031: presentation with non-zero index generators . . . 60μs Sims1 032: presentation with empty word . . . 7945μs Sims1 033: constructors . . . 1082μs Sims1 034: split_at . . . 218μs Sims1 035: stats . . . 82μs Sims1 036: check iterator requirements . . . 134μs Sims1 040: TransitiveGroup(10, 32) - minimal rep . . . 3266μs Sims1 043: rectangular_band(2, 2) - with and without identity . . . 195μs Sims1 044: trivial group - minimal o.r.c. rep . . . 114μs Sims1 045: right zero semigroup - minimal o.r.c. rep . . . 1843μs Sims1 046: semigroup with faithful non-strictly cyclic actio [...] . . . 589μs Sims1 068: RepOrc . . . 36ms Sims1 069: fp example 1 . . . 451μ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 1210μs (220ns 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 . . . 1306μs Sims1 072: symmetric_group(n) for n = 4 . . . 1242μs Sims1 073: corner case no generators + no relations . . . 78μs Sims1 076: uninitialized RepOrc . . . 26μs SmallestInteger 001: . . . 12μs StaticTriVector2 045: all . . . 18μs StaticVector2 043: all . . . 18μs Stephen 000: basic test 1 . . . 242μs Stephen 001: basic test 2 . . . 145μs Stephen 002: full transf monoid . . . 13ms Stephen 003: from step_hen 002 . . . 58μs Stephen 004: from step_hen 003 . . . 173μs Stephen 005: from step_hen 004 . . . 43μs Stephen 006: from step_hen 005 . . . 106μs Stephen 008: C(4) monoid normal form (test_case_knuth_bendix_055) . . . 207μs Stephen 009: C(4) monoid normal form (test_case_gap_smallove [...] . . . 95μs Stephen 010: code coverage . . . 335μs Stephen 011: C(4) monoid normal form (test_case_gap_smallove [...] . . . 273μs Stephen 012: C(4) monoid normal form (test_case_gap_smallove [...] . . . 199μs Stephen 013: C(4) monoid equal to (test_case_gap_smalloverlap_70) . . . 77μs Stephen 014: C(4) monoid normal form (test_case_ex_3_13_14) . . . 348μs Stephen 015: C(4) monoid normal form (test_case_ex_3_15) . . . 371μs Stephen 016: C(4) monoid normal form (test_case_ex_3_16) . . . 315μs Stephen 017: C(4) monoid normal form (test_case_mt_3) . . . 145μs Stephen 018: C(4) monoid normal form (test_case_mt_5) . . . 107μs Stephen 019: C(4) monoid normal form (test_case_mt_6) . . . 270μs Stephen 020: C(4) monoid normal form (test_case_mt_10) . . . 106μs Stephen 021: C(4) monoid normal form (test_case_mt_13) . . . 107μs Stephen 022: C(4) monoid normal form (test_case_mt_14) . . . 106μs Stephen 023: C(4) monoid normal form (test_case_mt_15) . . . 109μs Stephen 024: C(4) monoid normal form (test_case_mt_16) . . . 125μs Stephen 025: C(4) monoid normal form (test_case_mt_17) . . . 288μs Stephen 026: C(4) monoid normal form (test_case_weak_1) . . . 229μs Stephen 027: C(4) monoid normal form (test_case_weak_2) . . . 171μs Stephen 028: C(4) monoid normal form (test_case_weak_3) . . . 204μs Stephen 029: C(4) monoid normal form (test_case_weak_4) . . . 205μs Stephen 030: C(4) monoid normal form (test_case_weak_5) . . . 115μs Stephen 031: Test behaviour when uninitialised . . . 186μs Suf 005: unite . . . 23μs Suf 007: compress . . . 12μs Suf 011: big chain . . . 17ms Suf 013: empty table . . . 10μs Suf 015: join . . . 12μs Suf 017: contains . . . 27μs Suf 019: swap . . . 30μs Timer 001: string method (1 argument) . . . 31μs Timer 002: string method (0 arguments) . . . 10ms Timer 003: reset/elapsed method . . . 20ms Timer 004: operator<< . . . 25μs ToddCoxeter 000: small 2-sided congruence . . .  -- with HLT + no standardise + full lookahead + no save 1311μs  -- with HLT + standardise + full lookahead + no save 1363μs  -- with HLT + no standardise + partial lookahead + no save 1253μs  -- with HLT + standardise + partial lookahead + no save 1304μs  -- with HLT + no standardise + full lookahead + save 1525μs  -- with HLT + standardise + full lookahead + save 1186μs  -- with HLT + no standardise + partial lookahead + save 1209μs  -- with HLT + standardise + partial lookahead + save 1206μs  -- with Felsch + no standardisation 1186μs  -- with Felsch + standardisation 1201μs  -- with random strategy 1247μs  -- with Rc style + full lookahead 1198μs  -- with Rc style + partial lookahead 1168μs  -- with R/C style 1188μs  -- with CR style 1229μs  -- with Cr style 1224μs ToddCoxeter 001: small 2-sided congruence . . .  -- with HLT + no standardise + full lookahead + no save 5687μs  -- with HLT + standardise + full lookahead + no save 5621μs  -- with HLT + no standardise + partial lookahead + no save 5582μs  -- with HLT + standardise + partial lookahead + no save 5938μs  -- with HLT + no standardise + full lookahead + save 5649μs  -- with HLT + standardise + full lookahead + save 5566μs  -- with HLT + no standardise + partial lookahead + save 5556μs  -- with HLT + standardise + partial lookahead + save 5594μs  -- with Felsch + no standardisation 5470μs  -- with Felsch + standardisation 5468μs  -- with random strategy 5461μs  -- with Rc style + full lookahead 5509μs  -- with Rc style + partial lookahead 5403μs  -- with R/C style 5386μs  -- with CR style 6167μs  -- with Cr style 6709μs ToddCoxeter 003: constructed from FroidurePin . . .  -- with Felsch + no standardisation 591ms  -- with Felsch + standardisation 600ms  -- with HLT + no standardise + full lookahead + no save 454ms  -- with HLT + standardise + full lookahead + no save 428ms  -- with HLT + no standardise + partial lookahead + no save 454ms  -- with HLT + standardise + partial lookahead + no save 440ms  -- with HLT + no standardise + full lookahead + save 579ms  -- with HLT + standardise + full lookahead + save 600ms  -- with HLT + no standardise + partial lookahead + save 604ms  -- with HLT + standardise + partial lookahead + save 589ms  -- with random strategy 596ms  -- with Rc style + full lookahead 601ms  -- with Rc style + partial lookahead 595ms  -- with R/C style 465ms  -- with CR style 634ms  -- with Cr style 595ms ToddCoxeter 004: 2-sided congruence from FroidurePin . . .  -- with HLT + no standardise + full lookahead + no save 233μs  -- with HLT + standardise + full lookahead + no save 181μs  -- with HLT + no standardise + partial lookahead + no save 170μs  -- with HLT + standardise + partial lookahead + no save 171μs  -- with HLT + save (throws) 209μs  -- with Felsch (throws) 507μs  -- with random strategy 178μ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 50μs  -- with HLT + no standardise + partial lookahead + no save 45μs  -- with HLT + standardise + partial lookahead + no save 45μs  -- with HLT + no standardise + full lookahead + save 60μs  -- with HLT + standardise + full lookahead + save 55μs  -- with HLT + no standardise + partial lookahead + save 53μs  -- with HLT + standardise + partial lookahead + save 55μs  -- with Felsch + no standardisation 50μs  -- with Felsch + standardisation 48μs  -- with random strategy 51μs  -- with Rc style + full lookahead 48μs  -- with Rc style + partial lookahead 45μs  -- with R/C style 55μs  -- with CR style 51μs  -- with Cr style 50μs ToddCoxeter 006: small right cong. on free semigroup . . .  -- with HLT + no standardise + full lookahead + no save 43μs  -- with HLT + standardise + full lookahead + no save 38μ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 43μs  -- with HLT + standardise + full lookahead + save 43μs  -- with HLT + no standardise + partial lookahead + save 38μs  -- with HLT + standardise + partial lookahead + save 38μs  -- with Felsch + no standardisation 38μs  -- with Felsch + standardisation 40μs  -- with random strategy 41μs  -- with Rc style + full lookahead 36μs  -- with Rc style + partial lookahead 40μs  -- with R/C style 36μs  -- with CR style 38μs  -- with Cr style 38μs ToddCoxeter 007: left cong. on free semigroup . . .  -- with HLT + no standardise + full lookahead + no save 48μs  -- with HLT + standardise + full lookahead + no save 40μs  -- with HLT + no standardise + partial lookahead + no save 38μs  -- with HLT + standardise + partial lookahead + no save 38μs  -- with HLT + no standardise + full lookahead + save 43μs  -- with HLT + standardise + full lookahead + save 43μs  -- with HLT + no standardise + partial lookahead + save 43μs  -- with HLT + standardise + partial lookahead + save 43μs  -- with Felsch + no standardisation 43μs  -- with Felsch + standardisation 45μs  -- with random strategy 48μs  -- with Rc style + full lookahead 46μs  -- with Rc style + partial lookahead 45μs  -- with R/C style 45μs  -- with CR style 46μs  -- with Cr style 46μs ToddCoxeter 008: for small fp semigroup . . .  -- with HLT + no standardise + full lookahead + no save 41μs  -- with HLT + standardise + full lookahead + no save 34μs  -- with HLT + no standardise + partial lookahead + no save 33μs  -- with HLT + standardise + partial lookahead + no save 33μs  -- with HLT + no standardise + full lookahead + save 38μs  -- with HLT + standardise + full lookahead + save 40μs  -- with HLT + no standardise + partial lookahead + save 38μs  -- with HLT + standardise + partial lookahead + save 38μs  -- with Felsch + no standardisation 38μs  -- with Felsch + standardisation 38μs  -- with random strategy 41μs  -- with Rc style + full lookahead 38μs  -- with Rc style + partial lookahead 36μs  -- with R/C style 36μs  -- with CR style 41μs  -- with Cr style 41μs ToddCoxeter 009: 2-sided cong. trans. semigroup . . .  -- with HLT + no standardise + full lookahead + no save 235μs  -- with HLT + standardise + full lookahead + no save 220μs  -- with HLT + no standardise + partial lookahead + no save 209μs  -- with HLT + standardise + partial lookahead + no save 229μs  -- with HLT + no standardise + full lookahead + save 598μs  -- with HLT + standardise + full lookahead + save 568μs  -- with HLT + no standardise + partial lookahead + save 560μs  -- with HLT + standardise + partial lookahead + save 559μs  -- with Felsch + no standardisation 524μs  -- with Felsch + standardisation 507μs  -- with random strategy 225μs  -- with Rc style + full lookahead 222μs  -- with Rc style + partial lookahead 222μs  -- with R/C style 228μs  -- with CR style 524μs  -- with Cr style 506μs ToddCoxeter 010: left congruence on transformation semigroup . . .  -- with HLT + no standardise + full lookahead + no save 246μs  -- with HLT + standardise + full lookahead + no save 250μs  -- with HLT + no standardise + partial lookahead + no save 235μs  -- with HLT + standardise + partial lookahead + no save 244μs  -- with HLT + no standardise + full lookahead + save 654μs  -- with HLT + standardise + full lookahead + save 613μs  -- with HLT + no standardise + partial lookahead + save 599μs  -- with HLT + standardise + partial lookahead + save 623μs  -- with Felsch + no standardisation 569μs  -- with Felsch + standardisation 536μs  -- with random strategy 680μs  -- with Rc style + full lookahead 273μs  -- with Rc style + partial lookahead 270μs  -- with R/C style 293μs  -- with CR style 578μs  -- with Cr style 551μs ToddCoxeter 011: right cong. trans. semigroup . . .  -- with HLT + no standardise + full lookahead + no save 259μs  -- with HLT + standardise + full lookahead + no save 264μs  -- with HLT + no standardise + partial lookahead + no save 250μs  -- with HLT + standardise + partial lookahead + no save 259μs  -- with HLT + no standardise + full lookahead + save 599μs  -- with HLT + standardise + full lookahead + save 609μs  -- with HLT + no standardise + partial lookahead + save 582μs  -- with HLT + standardise + partial lookahead + save 590μs  -- with Felsch + no standardisation 476μs  -- with Felsch + standardisation 476μs  -- with random strategy 297μs  -- with Rc style + full lookahead 309μs  -- with Rc style + partial lookahead 284μs  -- with R/C style 311μs  -- with CR style 496μs  -- with Cr style 476μs ToddCoxeter 012: trans. semigroup (size 88) . . .  -- with HLT + no standardise + full lookahead + no save 147μs  -- with HLT + standardise + full lookahead + no save 138μs  -- with HLT + no standardise + partial lookahead + no save 135μs  -- with HLT + standardise + partial lookahead + no save 143μs  -- with HLT + save (throws) 148μs  -- with Felsch (throws) 145μs  -- with random strategy 149μs ToddCoxeter 013: left cong. on trans. semigroup (size 88) . . .  -- with HLT + no standardise + full lookahead + no save 214μs  -- with HLT + standardise + full lookahead + no save 215μs  -- with HLT + no standardise + partial lookahead + no save 200μs  -- with HLT + standardise + partial lookahead + no save 211μs  -- with HLT + no standardise + full lookahead + save 586μs  -- with HLT + standardise + full lookahead + save 576μs  -- with HLT + no standardise + partial lookahead + save 559μs  -- with HLT + standardise + partial lookahead + save 582μs  -- with Felsch + no standardisation 522μs  -- with Felsch + standardisation 482μs  -- with random strategy 255μs  -- with Rc style + full lookahead 234μs  -- with Rc style + partial lookahead 233μs  -- with R/C style 259μs  -- with CR style 537μs  -- with Cr style 528μs ToddCoxeter 014: right cong. on trans. semigroup (size 88) . . .  -- with HLT + no standardise + full lookahead + no save 221μs  -- with HLT + standardise + full lookahead + no save 223μs  -- with HLT + no standardise + partial lookahead + no save 209μs  -- with HLT + standardise + partial lookahead + no save 219μs  -- with HLT + no standardise + full lookahead + save 578μs  -- with HLT + standardise + full lookahead + save 581μs  -- with HLT + no standardise + partial lookahead + save 549μs  -- with HLT + standardise + partial lookahead + save 559μs  -- with Felsch + no standardisation 427μs  -- with Felsch + standardisation 433μs  -- with random strategy 261μs  -- with Rc style + full lookahead 243μs  -- with Rc style + partial lookahead 242μs  -- with R/C style 264μs  -- with CR style 445μs  -- with Cr style 427μs ToddCoxeter 015: finite fp-semigroup, dihedral group of order 6 . . .  -- with HLT + no standardise + full lookahead + no save 86μs  -- with HLT + standardise + full lookahead + no save 77μs  -- with HLT + no standardise + partial lookahead + no save 69μs  -- with HLT + standardise + partial lookahead + no save 72μs  -- with HLT + no standardise + full lookahead + save 103μs  -- with HLT + standardise + full lookahead + save 93μs  -- with HLT + no standardise + partial lookahead + save 87μs  -- with HLT + standardise + partial lookahead + save 87μs  -- with Felsch + no standardisation 85μs  -- with Felsch + standardisation 80μs  -- with random strategy 90μs  -- with Rc style + full lookahead 73μs  -- with Rc style + partial lookahead 71μs  -- with R/C style 72μs  -- with CR style 83μs  -- with Cr style 81μs ToddCoxeter 016: finite fp-semigroup, size 16 . . .  -- with HLT + no standardise + full lookahead + no save 82μs  -- with HLT + standardise + full lookahead + no save 87μs  -- with HLT + no standardise + partial lookahead + no save 86μs  -- with HLT + standardise + partial lookahead + no save 74μs  -- with HLT + no standardise + full lookahead + save 155μs  -- with HLT + standardise + full lookahead + save 152μs  -- with HLT + no standardise + partial lookahead + save 144μs  -- with HLT + standardise + partial lookahead + save 152μs  -- with Felsch + no standardisation 139μs  -- with Felsch + standardisation 132μs  -- with random strategy 141μs  -- with Rc style + full lookahead 78μs  -- with Rc style + partial lookahead 77μs  -- with R/C style 81μs  -- with CR style 132μs  -- with Cr style 128μs ToddCoxeter 017: finite fp-semigroup, size 16 . . .  -- with HLT + no standardise + full lookahead + no save 157μs  -- with HLT + standardise + full lookahead + no save 154μs  -- with HLT + no standardise + partial lookahead + no save 141μs  -- with HLT + standardise + partial lookahead + no save 144μs  -- with HLT + no standardise + full lookahead + save 351μs  -- with HLT + standardise + full lookahead + save 337μs  -- with HLT + no standardise + partial lookahead + save 311μs  -- with HLT + standardise + partial lookahead + save 329μs  -- with Felsch + no standardisation 288μs  -- with Felsch + standardisation 277μs  -- with random strategy 311μs  -- with Rc style + full lookahead 160μs  -- with Rc style + partial lookahead 151μs  -- with R/C style 157μs  -- with CR style 295μs  -- with Cr style 284μs ToddCoxeter 018: test lookahead . . .  -- with HLT + no standardise + full lookahead + no save 317μs  -- with HLT + standardise + full lookahead + no save 311μs  -- with HLT + no standardise + partial lookahead + no save 280μs  -- with HLT + standardise + partial lookahead + no save 288μs  -- with HLT + no standardise + full lookahead + save 520μs  -- with HLT + standardise + full lookahead + save 514μs  -- with HLT + no standardise + partial lookahead + save 496μs  -- with HLT + standardise + partial lookahead + save 516μs ToddCoxeter 019: non-trivial left cong. from semigroup . . .  -- with HLT + no standardise + full lookahead + no save 137μs  -- with HLT + standardise + full lookahead + no save 134μs  -- with HLT + no standardise + partial lookahead + no save 123μs  -- with HLT + standardise + partial lookahead + no save 129μs  -- with HLT + save (throws) 139μs  -- with Felsch (throws) 132μs  -- with random strategy 137μs ToddCoxeter 020: 2-sided cong. on free semigroup . . .  -- with HLT + no standardise + full lookahead + no save 27μs  -- with HLT + standardise + full lookahead + no save 20μs  -- with HLT + no standardise + partial lookahead + no save 20μs  -- with HLT + standardise + partial lookahead + no save 20μs  -- with HLT + no standardise + full lookahead + save 20μs  -- with HLT + standardise + full lookahead + save 20μs  -- with HLT + no standardise + partial lookahead + save 20μs  -- with HLT + standardise + partial lookahead + save 20μs  -- with Felsch + no standardisation 20μs  -- with Felsch + standardisation 20μs  -- with random strategy 20μs ToddCoxeter 021: calling run when obviously infinite . . .  -- with HLT + no standardise + full lookahead + no save 55μs  -- with HLT + standardise + full lookahead + no save 36μs  -- with HLT + no standardise + partial lookahead + no save 34μs  -- with HLT + standardise + partial lookahead + no save 34μs  -- with HLT + no standardise + full lookahead + save 34μs  -- with HLT + standardise + full lookahead + save 34μ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 33μs  -- with random strategy 34μs ToddCoxeter 022: stellar_monoid S3 . . .  -- with HLT + no standardise + full lookahead + no save 131μs  -- with HLT + standardise + full lookahead + no save 121μs  -- with HLT + no standardise + partial lookahead + no save 112μs  -- with HLT + standardise + partial lookahead + no save 116μs  -- with HLT + no standardise + full lookahead + save 225μs  -- with HLT + standardise + full lookahead + save 222μs  -- with HLT + no standardise + partial lookahead + save 212μs  -- with HLT + standardise + partial lookahead + save 226μs  -- with Felsch + no standardisation 203μs  -- with Felsch + standardisation 189μs  -- with random strategy 202μs  -- with Rc style + full lookahead 124μs  -- with Rc style + partial lookahead 121μs  -- with R/C style 125μs  -- with CR style 194μs  -- with Cr style 187μs ToddCoxeter 023: finite semigroup (size 5) . . .  -- with HLT + no standardise + full lookahead + no save 43μs  -- with HLT + standardise + full lookahead + no save 33μs  -- with HLT + no standardise + partial lookahead + no save 33μs  -- with HLT + standardise + partial lookahead + no save 31μs  -- with HLT + no standardise + full lookahead + save 41μs  -- with HLT + standardise + full lookahead + save 38μs  -- with HLT + no standardise + partial lookahead + save 36μs  -- with HLT + standardise + partial lookahead + save 36μs  -- with Felsch + no standardisation 38μs  -- with Felsch + standardisation 38μs  -- with random strategy 38μs  -- with Rc style + full lookahead 36μs  -- with Rc style + partial lookahead 33μs  -- with R/C style 33μs  -- with CR style 38μs  -- with Cr style 36μs ToddCoxeter 024: exceptions . . .  -- with HLT + no standardise + full lookahead + no save 178μs  -- with HLT + standardise + full lookahead + no save 155μs  -- with HLT + no standardise + partial lookahead + no save 154μs  -- with HLT + standardise + partial lookahead + no save 153μs  -- with HLT + no standardise + full lookahead + save 158μs  -- with HLT + standardise + full lookahead + save 164μs  -- with HLT + no standardise + partial lookahead + save 160μs  -- with HLT + standardise + partial lookahead + save 156μs  -- with Felsch + no standardisation 155μs  -- with Felsch + standardisation 156μs  -- with random strategy 160μs  -- with Rc style + full lookahead 154μs  -- with Rc style + partial lookahead 154μs  -- with R/C style 155μs  -- with CR style 157μs  -- with Cr style 156μs ToddCoxeter 025: obviously infinite . . .  -- with HLT + no standardise + full lookahead + no save 53μs  -- with HLT + standardise + full lookahead + no save 41μs  -- with HLT + no standardise + partial lookahead + no save 41μs  -- with HLT + standardise + partial lookahead + no save 41μs  -- with HLT + no standardise + full lookahead + save 41μs  -- with HLT + standardise + full lookahead + save 43μs  -- with HLT + no standardise + partial lookahead + save 41μs  -- with HLT + standardise + partial lookahead + save 41μs  -- with Felsch + no standardisation 41μs  -- with Felsch + standardisation 41μs  -- with random strategy 41μs ToddCoxeter 026: exceptions . . .  -- with HLT + no standardise + full lookahead + no save 111μs  -- with HLT + standardise + full lookahead + no save 95μs  -- with HLT + no standardise + partial lookahead + no save 92μs  -- with HLT + standardise + partial lookahead + no save 92μs  -- with HLT + no standardise + full lookahead + save 100μs  -- with HLT + standardise + full lookahead + save 101μs  -- with HLT + no standardise + partial lookahead + save 97μs  -- with HLT + standardise + partial lookahead + save 97μs  -- with Felsch + no standardisation 98μs  -- with Felsch + standardisation 101μs  -- with random strategy 109μs  -- with Rc style + full lookahead 96μs  -- with Rc style + partial lookahead 95μs  -- with R/C style 92μs  -- with CR style 97μs  -- with Cr style 96μs ToddCoxeter 027: empty . . . 62μs ToddCoxeter 028: congruence of fpsemigroup::ToddCoxeter . . .  -- with HLT + no standardise + full lookahead + no save 167μs  -- with HLT + standardise + full lookahead + no save 132μs  -- with HLT + no standardise + partial lookahead + no save 128μs  -- with HLT + standardise + partial lookahead + no save 127μs  -- with HLT + save (throws) 135μs  -- with Felsch (throws) 134μs  -- with random strategy 136μs  -- with HLT + no standardise + full lookahead + save 129μs  -- with HLT + standardise + full lookahead + save 135μs  -- with HLT + no standardise + partial lookahead + save 144μs  -- with HLT + standardise + partial lookahead + save 132μs  -- with Felsch + no standardisation 129μs  -- with Felsch + standardisation 128μs  -- with Rc style + full lookahead 129μs  -- with Rc style + partial lookahead 121μs  -- with R/C style 121μs  -- with CR style 123μs  -- with Cr style 125μs ToddCoxeter 029: !KnuthBendix.started() . . .  -- with HLT + no standardise + full lookahead + no save and 2-sided 96μs  -- with HLT + standardise + full lookahead + no save and 2-sided 69μs  -- with HLT + no standardise + partial lookahead + no save and 2-sided 63μs  -- with HLT + standardise + partial lookahead + no save and 2-sided 60μs  -- with HLT + no standardise + full lookahead + save and 2-sided 67μs  -- with HLT + standardise + full lookahead + save and 2-sided 64μs  -- with HLT + no standardise + partial lookahead + save and 2-sided 63μs  -- with HLT + standardise + partial lookahead + save and 2-sided 62μs  -- with Felsch + no standardisation and 2-sided 62μs  -- with Felsch + standardisation and 2-sided 60μs  -- with random strategy and 2-sided 63μs  -- with HLT + no standardise + full lookahead + no save and left 63μs  -- with HLT + standardise + full lookahead + no save and left 58μs  -- with HLT + no standardise + partial lookahead + no save and left 60μs  -- with HLT + standardise + partial lookahead + no save and left 58μs  -- with HLT + no standardise + full lookahead + save and left 67μs  -- with HLT + standardise + full lookahead + save and left 67μs  -- with HLT + no standardise + partial lookahead + save and left 67μs  -- with HLT + standardise + partial lookahead + save and left 71μs  -- with Felsch + no standardisation and left 66μs  -- with Felsch + standardisation and left 64μs  -- with random strategy and left 62μs  -- with HLT + no standardise + full lookahead + no save and right 62μs  -- with HLT + standardise + full lookahead + no save and right 58μs  -- with HLT + no standardise + partial lookahead + no save and right 58μs  -- with HLT + standardise + partial lookahead + no save and right 60μs  -- with HLT + no standardise + full lookahead + save and right 67μs  -- with HLT + standardise + full lookahead + save and right 66μs  -- with HLT + no standardise + partial lookahead + save and right 66μs  -- with HLT + standardise + partial lookahead + save and right 64μs  -- with Felsch + no standardisation and right 64μs  -- with Felsch + standardisation and right 63μs  -- with random strategy and right 68μs ToddCoxeter 030: KnuthBendix.finished() . . .  -- with HLT + no standardise + full lookahead + no save and 2-sided 174μs  -- with HLT + standardise + full lookahead + no save and 2-sided 144μs  -- with HLT + no standardise + partial lookahead + no save and 2-sided 137μs  -- with HLT + standardise + partial lookahead + no save and 2-sided 139μs  -- with HLT + no standardise + full lookahead + save and 2-sided 143μs  -- with HLT + standardise + full lookahead + save and 2-sided 141μs  -- with HLT + no standardise + partial lookahead + save and 2-sided 139μs  -- with HLT + standardise + partial lookahead + save and 2-sided 148μs  -- with Felsch + no standardisation and 2-sided 135μs  -- with Felsch + standardisation and 2-sided 133μs  -- with random strategy and 2-sided 268μs  -- with HLT + no standardise + full lookahead + no save and left 147μs  -- with HLT + standardise + full lookahead + no save and left 142μs  -- with HLT + no standardise + partial lookahead + no save and left 139μs  -- with HLT + standardise + partial lookahead + no save and left 142μs  -- with HLT + no standardise + full lookahead + save and left 155μs  -- with HLT + standardise + full lookahead + save and left 152μs  -- with HLT + no standardise + partial lookahead + save and left 148μs  -- with HLT + standardise + partial lookahead + save and left 147μs  -- with Felsch + no standardisation and left 144μs  -- with Felsch + standardisation and left 144μs  -- with random strategy and left 148μs  -- with HLT + no standardise + full lookahead + no save and right 142μs  -- with HLT + standardise + full lookahead + no save and right 136μs  -- with HLT + no standardise + partial lookahead + no save and right 136μs  -- with HLT + standardise + partial lookahead + no save and right 135μs  -- with HLT + no standardise + full lookahead + save and right 146μs  -- with HLT + standardise + full lookahead + save and right 146μs  -- with HLT + no standardise + partial lookahead + save and right 154μs  -- with HLT + standardise + partial lookahead + save and right 147μs  -- with Felsch + no standardisation and right 144μs  -- with Felsch + standardisation and right 144μs  -- with random strategy and right 153μs ToddCoxeter 031: KnuthBendix.finished() . . .  -- with HLT + no standardise + full lookahead + no save and 2-sided 124μs  -- with HLT + standardise + full lookahead + no save and 2-sided 105μs  -- with HLT + no standardise + partial lookahead + no save and 2-sided 101μs  -- with HLT + standardise + partial lookahead + no save and 2-sided 101μs  -- with HLT + no standardise + full lookahead + save and 2-sided 110μs  -- with HLT + standardise + full lookahead + save and 2-sided 105μs  -- with HLT + no standardise + partial lookahead + save and 2-sided 109μs  -- with HLT + standardise + partial lookahead + save and 2-sided 103μs  -- with Felsch + no standardisation and 2-sided 96μs  -- with Felsch + standardisation and 2-sided 96μs  -- with random strategy and 2-sided 105μs  -- with Rc style + full lookahead and 2-sided 103μs  -- with Rc style + partial lookahead and 2-sided 101μs  -- with R/C style and 2-sided 97μs  -- with CR style and 2-sided 98μs  -- with Cr style and 2-sided 106μs  -- with HLT + no standardise + full lookahead + no save and left 109μs  -- with HLT + standardise + full lookahead + no save and left 103μs  -- with HLT + no standardise + partial lookahead + no save and left 100μs  -- with HLT + standardise + partial lookahead + no save and left 101μs  -- with HLT + no standardise + full lookahead + save and left 109μs  -- with HLT + standardise + full lookahead + save and left 109μs  -- with HLT + no standardise + partial lookahead + save and left 116μs  -- with HLT + standardise + partial lookahead + save and left 111μs  -- with Felsch + no standardisation and left 106μs  -- with Felsch + standardisation and left 105μs  -- with random strategy and left 114μs  -- with Rc style + full lookahead and left 110μs  -- with Rc style + partial lookahead and left 106μs  -- with R/C style and left 101μs  -- with CR style and left 109μs  -- with Cr style and left 115μs  -- with HLT + no standardise + full lookahead + no save and right 106μs  -- with HLT + standardise + full lookahead + no save and right 101μs  -- with HLT + no standardise + partial lookahead + no save and right 101μs  -- with HLT + standardise + partial lookahead + no save and right 100μs  -- with HLT + no standardise + full lookahead + save and right 109μs  -- with HLT + standardise + full lookahead + save and right 107μs  -- with HLT + no standardise + partial lookahead + save and right 111μs  -- with HLT + standardise + partial lookahead + save and right 109μs  -- with Felsch + no standardisation and right 106μs  -- with Felsch + standardisation and right 105μs  -- with random strategy and right 114μs  -- with Rc style + full lookahead and right 106μs  -- with Rc style + partial lookahead and right 106μs  -- with R/C style and right 101μs  -- with CR style and right 107μs  -- with Cr style and right 112μs ToddCoxeter 032: prefill . . . 147μs ToddCoxeter 033: congruence of ToddCoxeter . . .  -- with HLT + no standardise + full lookahead + no save 53μs  -- with HLT + standardise + full lookahead + no save 43μs  -- with HLT + no standardise + partial lookahead + no save 41μs  -- with HLT + standardise + partial lookahead + no save 41μs  -- with HLT + no standardise + full lookahead + save 55μs  -- with HLT + standardise + full lookahead + save 48μs  -- with HLT + no standardise + partial lookahead + save 46μs  -- with HLT + standardise + partial lookahead + save 46μs  -- with random strategy 46μs ToddCoxeter 034: congruence of ToddCoxeter . . .  -- with HLT + no standardise + full lookahead + no save 141μs  -- with HLT + standardise + full lookahead + no save 114μs  -- with HLT + no standardise + partial lookahead + no save 105μs  -- with HLT + standardise + partial lookahead + no save 102μs  -- with HLT + save (throws) 115μs  -- with Felsch (throws) 111μs  -- with random strategy 112μs ToddCoxeter 035: congruence on FpSemigroup . . .  -- with HLT + no standardise + full lookahead + no save 320μs  -- with HLT + standardise + full lookahead + no save 282μs  -- with HLT + no standardise + partial lookahead + no save 275μs  -- with HLT + standardise + partial lookahead + no save 273μs  -- with HLT + no standardise + full lookahead + save 304μs  -- with HLT + standardise + full lookahead + save 302μs  -- with HLT + no standardise + partial lookahead + save 306μs  -- with HLT + standardise + partial lookahead + save 308μs  -- with Felsch + no standardisation 302μs  -- with Felsch + standardisation 302μs  -- with random strategy 304μs  -- with Rc style + full lookahead 273μs  -- with Rc style + partial lookahead 270μs  -- with R/C style 273μs  -- with CR style 302μs  -- with Cr style 297μs ToddCoxeter 036: exceptions . . . 96μs ToddCoxeter 037: copy constructor . . . 38μs ToddCoxeter 038: simplify . . . 134μs ToddCoxeter 039: stylic_monoid . . . 821ms ToddCoxeter 041: some finite classes . . . 537μs ToddCoxeter 043: symmetric_group(7, Coxeter + Moser) . . . 150ms ToddCoxeter 044: Option exceptions . . . 101μs ToddCoxeter 045: Options operator<< . . . 805μs ToddCoxeter 046: Easdown-East-FitzGerald DualSymInv(5) . . .  -- with HLT + no standardise + full lookahead + no save 171ms  -- with HLT + standardise + full lookahead + no save 189ms  -- with HLT + no standardise + partial lookahead + no save 171ms  -- with HLT + standardise + partial lookahead + no save 189ms  -- with HLT + no standardise + full lookahead + save 134ms  -- with HLT + standardise + full lookahead + save 134ms  -- with HLT + no standardise + partial lookahead + save 135ms  -- with HLT + standardise + partial lookahead + save 135ms  -- with Felsch + no standardisation 150ms  -- with Felsch + standardisation 150ms  -- with random strategy 177ms  -- with R/C style 180ms  -- with Rc style + full lookahead 157ms  -- with Rc style + partial lookahead 156ms ToddCoxeter 047: uniform_block_bijection_monoid(3) (FitzGerald) . . .  -- with HLT + no standardise + full lookahead + no save 138μs  -- with HLT + standardise + full lookahead + no save 101μs  -- with HLT + no standardise + partial lookahead + no save 90μs  -- with HLT + standardise + partial lookahead + no save 95μs  -- with HLT + no standardise + full lookahead + save 212μs  -- with HLT + standardise + full lookahead + save 203μs  -- with HLT + no standardise + partial lookahead + save 195μs  -- with HLT + standardise + partial lookahead + save 196μs  -- with Felsch + no standardisation 167μs  -- with Felsch + standardisation 161μs  -- with random strategy 166μs  -- with R/C style 106μs  -- with Rc style + full lookahead 96μs  -- with Rc style + partial lookahead 96μs ToddCoxeter 048: stellar_monoid(7) (Gay-Hivert) . . . 160ms ToddCoxeter 049: partition_monoid(4) (East) . . .  -- with HLT + no standardise + full lookahead + no save 30ms  -- with HLT + standardise + full lookahead + no save 31ms  -- with HLT + no standardise + partial lookahead + no save 30ms  -- with HLT + standardise + partial lookahead + no save 31ms  -- with HLT + no standardise + full lookahead + save 53ms  -- with HLT + standardise + full lookahead + save 54ms  -- with HLT + no standardise + partial lookahead + save 53ms  -- with HLT + standardise + partial lookahead + save 55ms  -- with Felsch + no standardisation 63ms  -- with Felsch + standardisation 64ms  -- with random strategy 66ms  -- with R/C style 34ms  -- with Rc style + full lookahead 68ms  -- with Rc style + partial lookahead 68ms ToddCoxeter 050: singular_brauer_monoid(6) (Maltcev + Mazorchuk) . . . 528ms ToddCoxeter 051: orientation_preserving_monoid(6) (Ruskuc + [...] . . .  -- with HLT + no standardise + full lookahead + no save 24ms ToddCoxeter 052: orientation_reversing_monoid(5) (Ruskuc + [...] . . .  -- with HLT + no standardise + full lookahead + no save 6262μs ToddCoxeter 053: temperley_lieb_monoid(10) (East) . . . 39ms ToddCoxeter 063: add_rule . . .  -- with HLT + no standardise + full lookahead + no save 95μs  -- with HLT + standardise + full lookahead + no save 68μs  -- with HLT + no standardise + partial lookahead + no save 64μs  -- with HLT + standardise + partial lookahead + no save 64μs  -- with HLT + no standardise + full lookahead + save 72μs  -- with HLT + standardise + full lookahead + save 71μs  -- with HLT + no standardise + partial lookahead + save 68μs  -- with HLT + standardise + partial lookahead + save 68μs  -- with Felsch + no standardisation 72μs  -- with Felsch + standardisation 69μs  -- with random strategy 67μs  -- with Rc style + full lookahead 67μs  -- with Rc style + partial lookahead 64μs  -- with R/C style 66μs  -- with CR style 69μs  -- with Cr style 68μs  -- with R/C + Felsch lookahead 72μs  -- with HLT + Felsch lookahead + save 68μs  -- with Cr + small number of f_defs 72μs  -- with Rc + small number of deductions 67μs  -- with Felsch + v2 + no preferred defs 69μs  -- with Felsch + v2 + immediate no stack 72μs  -- with Felsch + v1 + immediate no stack 69μs  -- with Felsch + v1 + immediate yes stack 69μs  -- with large collapse 66μs ToddCoxeter 064: (from kbmag/standalone/kb_data/s4) (KnuthB [...] . . .  -- with HLT + no standardise + full lookahead + no save 279μs ToddCoxeter 066: test validate . . . 68μs ToddCoxeter 067: add_rules after construct. from semigroup . . .  -- with HLT + no standardise + full lookahead + no save 346μs  -- with HLT + standardise + full lookahead + no save 317μs  -- with HLT + no standardise + partial lookahead + no save 306μs  -- with HLT + standardise + partial lookahead + no save 304μs  -- with HLT + save (throws) 324μs  -- with Felsch (throws) 311μs  -- with random strategy 304μs ToddCoxeter 068: Sym(5) from Chapter 3, Proposition 1.1 in NR . . .  -- with Deduction policy == purge_from_top 702μs  -- with Deduction policy == purge_all 644μs  -- with Deduction policy == discard_all_if_no_space 675μs  -- with HLT + no standardise + full lookahead + no save 790μs  -- with HLT + standardise + full lookahead + no save 1103μs  -- with HLT + no standardise + partial lookahead + no save 775μs  -- with HLT + standardise + partial lookahead + no save 1072μs  -- with HLT + no standardise + full lookahead + save 1113μs  -- with HLT + standardise + full lookahead + save 1097μs  -- with HLT + no standardise + partial lookahead + save 1069μs  -- with HLT + standardise + partial lookahead + save 1083μs  -- with Felsch + no standardisation 733μs  -- with Felsch + standardisation 698μs  -- with random strategy 739μs  -- with Rc style + full lookahead 1520μs  -- with Rc style + partial lookahead 1498μs  -- with R/C style 849μs  -- with CR style 769μs  -- with Cr style 745μs ToddCoxeter 069: Chapter 7, Theorem 3.6 in NR (size 243) . . .  -- with HLT + no standardise + full lookahead + no save 380μs  -- with HLT + standardise + full lookahead + no save 435μs  -- with HLT + no standardise + partial lookahead + no save 362μs  -- with HLT + standardise + partial lookahead + no save 429μs  -- with HLT + no standardise + full lookahead + save 497μs  -- with HLT + standardise + full lookahead + save 552μs  -- with HLT + no standardise + partial lookahead + save 510μs  -- with HLT + standardise + partial lookahead + save 520μs  -- with Felsch + no standardisation 2400μs  -- with Felsch + standardisation 2436μs  -- with random strategy 541μs  -- with Rc style + full lookahead 420μs  -- with Rc style + partial lookahead 400μs  -- with R/C style 416μs  -- with CR style 2432μs  -- with Cr style 2416μs ToddCoxeter 070: finite semigroup (size 99) . . .  -- with HLT + no standardise + full lookahead + no save 177μs  -- with HLT + standardise + full lookahead + no save 185μs  -- with HLT + no standardise + partial lookahead + no save 162μs  -- with HLT + standardise + partial lookahead + no save 213μs  -- with HLT + no standardise + full lookahead + save 220μs  -- with HLT + standardise + full lookahead + save 220μs  -- with HLT + no standardise + partial lookahead + save 201μs  -- with HLT + standardise + partial lookahead + save 215μs  -- with Felsch + no standardisation 453μs  -- with Felsch + standardisation 447μs  -- with random strategy 465μs  -- with Rc style + full lookahead 180μs  -- with Rc style + partial lookahead 172μs  -- with R/C style 180μs  -- with CR style 465μs  -- with Cr style 449μs ToddCoxeter 080: KnuthBendix 098 . . .  -- with HLT + no standardise + full lookahead + no save 548ms  -- with HLT + standardise + full lookahead + no save 611ms  -- with HLT + no standardise + partial lookahead + no save 548ms  -- with HLT + standardise + partial lookahead + no save 613ms  -- with HLT + no standardise + full lookahead + save 380ms  -- with HLT + standardise + full lookahead + save 383ms  -- with HLT + no standardise + partial lookahead + save 380ms  -- with HLT + standardise + partial lookahead + save 380ms  -- with Felsch + no standardisation 364ms  -- with Felsch + standardisation 365ms  -- with random strategy 379ms  -- with Rc style + full lookahead 361ms  -- with Rc style + partial lookahead 361ms  -- with R/C style 547ms  -- with CR style 366ms  -- with Cr style 364ms ToddCoxeter 084: Campbell-Reza 1 . . .  -- with HLT + no standardise + full lookahead + no save 132μs  -- with HLT + standardise + full lookahead + no save 93μs  -- with HLT + no standardise + partial lookahead + no save 85μs  -- with HLT + standardise + partial lookahead + no save 85μs  -- with HLT + no standardise + full lookahead + save 107μs  -- with HLT + standardise + full lookahead + save 100μs  -- with HLT + no standardise + partial lookahead + save 95μs  -- with HLT + standardise + partial lookahead + save 95μs  -- with Felsch + no standardisation 103μs  -- with Felsch + standardisation 101μs  -- with random strategy 92μs  -- with Rc style + full lookahead 93μs  -- with Rc style + partial lookahead 82μs  -- with R/C style 82μs  -- with CR style 100μs  -- with Cr style 101μs ToddCoxeter 085: Renner monoid type D4 (Gay-Hivert), q = 1 . . .  -- with HLT + no standardise + full lookahead + no save 116ms  -- with HLT + standardise + full lookahead + no save 117ms  -- with HLT + no standardise + partial lookahead + no save 117ms  -- with HLT + standardise + partial lookahead + no save 117ms  -- with HLT + no standardise + full lookahead + save 116ms  -- with HLT + standardise + full lookahead + save 117ms  -- with HLT + no standardise + partial lookahead + save 117ms  -- with HLT + standardise + partial lookahead + save 117ms  -- with Felsch + no standardisation 116ms  -- with Felsch + standardisation 118ms  -- with random strategy 117ms  -- with Rc style + full lookahead 117ms  -- with Rc style + partial lookahead 117ms  -- with R/C style 117ms  -- with CR style 116ms  -- with Cr style 117ms ToddCoxeter 086: trivial semigroup . . . 310ms ToddCoxeter 092: ACE --- perf602p5 - HLT . . .  -- with HLT + no standardise + full lookahead + no save 33ms  -- with HLT + standardise + full lookahead + no save 33ms  -- with HLT + no standardise + partial lookahead + no save 33ms  -- with HLT + standardise + partial lookahead + no save 33ms  -- with HLT + no standardise + full lookahead + save 15ms  -- with HLT + standardise + full lookahead + save 15ms  -- with HLT + no standardise + partial lookahead + save 15ms  -- with HLT + standardise + partial lookahead + save 15ms  -- with random strategy 33ms  -- with Felsch + no standardisation 12ms  -- with Felsch + standardisation 12ms ToddCoxeter 094: ACE --- C5 - HLT . . .  -- with HLT + no standardise + full lookahead + no save 98μs  -- with HLT + standardise + full lookahead + no save 86μs  -- with HLT + no standardise + partial lookahead + no save 83μs  -- with HLT + standardise + partial lookahead + no save 86μs  -- with HLT + no standardise + full lookahead + save 106μs  -- with HLT + standardise + full lookahead + save 102μs  -- with HLT + no standardise + partial lookahead + save 101μs  -- with HLT + standardise + partial lookahead + save 101μs  -- with random strategy 92μs  -- with Felsch + no standardisation 100μs  -- with Felsch + standardisation 105μs ToddCoxeter 095: ACE --- A5-C5 . . .  -- with HLT + no standardise + full lookahead + no save 109μs  -- with HLT + standardise + full lookahead + no save 107μs  -- with HLT + no standardise + partial lookahead + no save 98μs  -- with HLT + standardise + partial lookahead + no save 106μ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 141μs  -- with HLT + standardise + partial lookahead + save 139μs  -- with random strategy 110μs  -- with Felsch + no standardisation 127μs  -- with Felsch + standardisation 125μs ToddCoxeter 096: ACE --- A5 . . .  -- with HLT + no standardise + full lookahead + no save 219μs  -- with HLT + standardise + full lookahead + no save 264μs  -- with HLT + no standardise + partial lookahead + no save 189μs  -- with HLT + standardise + partial lookahead + no save 261μs  -- with HLT + no standardise + full lookahead + save 368μs  -- with HLT + standardise + full lookahead + save 362μs  -- with HLT + no standardise + partial lookahead + save 386μs  -- with HLT + standardise + partial lookahead + save 364μs  -- with random strategy 380μs  -- with Felsch + no standardisation 262μs  -- with Felsch + standardisation 250μs ToddCoxeter 098: relation ordering . . .  -- with Felsch + no standardisation 594μs  -- with Felsch + standardisation 564μs  -- with HLT + no standardise + full lookahead + no save 315μs  -- with HLT + standardise + full lookahead + no save 348μs  -- with HLT + no standardise + partial lookahead + no save 308μs  -- with HLT + standardise + partial lookahead + no save 308μs  -- with HLT + no standardise + full lookahead + save 585μs  -- with HLT + standardise + full lookahead + save 585μs  -- with HLT + no standardise + partial lookahead + save 591μs  -- with HLT + standardise + partial lookahead + save 586μs  -- with random strategy 389μs ToddCoxeter 099: short circuit size in obviously infinite . . . 19μs ToddCoxeter 101: http://brauer.maths.qmul.ac.uk/Atlas/spor/M [...] . . . 610ms ToddCoxeter 108: http://brauer.maths.qmul.ac.uk/Atlas/lin/L3 [...] . . . 548ms ToddCoxeter 110: to_gap_string . . . 90μs ToddCoxeter 111: partition_monoid(2) . . . 72μs ToddCoxeter 112: brauer_monoid(4) (Kudryavtseva + Mazorchuk) . . . 378μs ToddCoxeter 113: symmetric_inverse_monoid . . . 16ms ToddCoxeter 116: symmetric_group(7, Burnside + Miller) . . . 408ms UF 001: constructor by size . . . 15μs UF 002: copy constructor . . . 20μs UF 003: find . . . 18μs Ukkonen 000: basic tests . . . 84ms Ukkonen 001: maximal_piece_prefix 1 . . . 36μs Ukkonen 002: maximal_piece_prefix 2 . . . 64μs Ukkonen 003: maximal_piece_prefix 3 . . . 366μs Ukkonen 004: number_of_pieces . . . 81μs Ukkonen 005: traverse . . . 24μs Ukkonen 006: dot . . . 191μs Ukkonen 007: strings . . . 60μs Ukkonen 008: dfs #01 . . . 38μs Ukkonen 009: dfs #02 . . . 33μs Ukkonen 010: dfs #03 . . . 31μs Ukkonen 011: dfs #04 . . . 88μs Ukkonen 012: dfs #05 . . . 64μs Ukkonen 013: dfs #06 . . . 53μs Ukkonen 014: dfs #07 . . . 114μs Ukkonen 015: dfs #08 . . . 78μs Ukkonen 016: dfs #09 . . . 107μs Ukkonen 017: dfs #10 . . . 31μs Ukkonen 018: pieces . . . 40μs Ukkonen 019: code coverage . . . 50μs Ukkonen 020: code coverage . . . 10μs action_digraph_helper 015: detail::to_string . . . 23μs action_digraph_helper 016: make . . . 50μs action_digraph_helper 017: is_connected . . . 189μs action_digraph_helper 018: is_strictly_cyclic . . . 13ms follow_path 012: 20 node path . . . 23μs fpsemi-examples 002: full_transformation_monoid author except . . . 33μs fpsemi-examples 003: full_transformation_monoid degree except . . . 23μs fpsemi-examples 005: partial_transformation_monoid author except . . . 25μs fpsemi-examples 006: partial_transformation_monoid degree except . . . 21μs fpsemi-examples 007: symmetric_inverse_monoid(5) . . . 16ms fpsemi-examples 008: symmetric_group auth except . . . 31μs fpsemi-examples 009: symmetric_group degree except . . . 25μs fpsemi-examples 010: symmetric_group(6) Burnside + Miller . . . 24ms fpsemi-examples 011: dual_symmetric_inverse_monoid(5) . . . 172ms fpsemi-examples 012: dual_symmetric_inverse_monoid auth except . . . 38μs fpsemi-examples 013: dual_symmetric_inverse_monoid degree except . . . 21μs fpsemi-examples 014: uniform_block_bijection_monoid(5) . . . 11ms fpsemi-examples 015: uniform_block_bijection_monoid auth except . . . 30μs fpsemi-examples 016: uniform_block_bijection_monoid degree except . . . 21μs fpsemi-examples 019: partition_monoid auth except . . . 46μs fpsemi-examples 020: partition_monoid degree except . . . 31μs fpsemi-examples 022: monogenic_semigroup(4, 9) . . . 36μs fpsemi-examples 023: fibonacci_semigroup(2, 5) . . . 72μs fpsemi-examples 024: temperley_lieb_monoid(10) . . . 46ms fpsemi-examples 025: singular_brauer_monoid(6) . . . 408ms fpsemi-examples 026: orientation_preserving_monoid(6) . . . 24ms fpsemi-examples 027: orientation_reversing_monoid(5) . . . 6281μs fpsemi-examples 028: chinese_monoid(3) . . . 154μs fpsemi-examples 029: plactic_monoid(3) . . . 116μs fpsemi-examples 030: stylic_monoid(3) . . . 982μs fpsemi-examples 031: symmetric_group(6) Carmichael . . . 14ms fpsemi-examples 032: symmetric_group(6) Moore index 0 . . . 10ms fpsemi-examples 033: symmetric_group(6) Coxeter + Moser . . . 6035μs fpsemi-examples 034: test for the rook monoid . . . 279μs fpsemi-examples 035: alternating_group(7) Moore . . . 23ms fpsemi-examples 036: alternating_group auth except . . . 43μs fpsemi-examples 037: alternating_group degree except . . . 20μs fpsemi-examples 038: partial_transformation_monoid(3) Machine . . . 284μs fpsemi-examples 039: chinese_monoid degree except . . . 33μs fpsemi-examples 040: monogenic_semigroup degree except . . . 33μs fpsemi-examples 041: rectangular_band degree except . . . 50μs fpsemi-examples 042: stellar_monoid degree except . . . 30μs fpsemi-examples 043: plactic_monoid degree except . . . 30μs fpsemi-examples 044: stylic_monoid degree except . . . 27μs fpsemi-examples 045: temperley_lieb_monoid degree except . . . 38μs fpsemi-examples 046: singular_brauer_monoid degree except . . . 36μs fpsemi-examples 047: orientation_preserving_monoid degree except . . . 36μs fpsemi-examples 048: orientation_reversing_monoid degree except . . . 36μs fpsemi-examples 049: test default values . . . 3761μs fpsemi-examples 052: not_symmetric_group(5) Guralnick + Kant [...] . . . 2648μs fpsemi-examples 053: order_preserving_monoid(5) . . . 614μs fpsemi-examples 055: order_preserving_monoid degree except . . . 46μs fpsemi-examples 056: cyclic_inverse_monoid(4) Fernandes 1 . . . 250μs fpsemi-examples 057: cyclic_inverse_monoid(8) Fernandes index 1 . . . 15ms fpsemi-examples 058: cyclic_inverse_monoid Fernandes index 0 . . . 25ms fpsemi-examples 059: order_preserving_cyclic_inverse_monoid(4) . . . 139μs fpsemi-examples 060: order_preserving_cyclic_inverse_monoid(10) . . . 28ms fpsemi-examples 061: cyclic_inverse_monoid degree except . . . 87μs fpsemi-examples 062: cyclic_inverse_monoid author except . . . 34μs fpsemi-examples 063: order_preserving_monoid degree except . . . 43μs fpsemi-examples 064: symmetric_group index except . . . 31μs fpsemi-examples 065: symmetric_group(7) Moore index 1 . . . 6285μs fpsemi-examples 066: order_preserving_cyclic_inverse_monoid(10) . . . 28ms fpsemi-examples 067: partial_isometries_cycle_graph_monoid(5) . . . 596μs fpsemi-examples 068: partial_isometries_cycle_graph_monoid(10) . . . 227ms fpsemi-examples 069: partial_isometries_cycle_graph_monoid d [...] . . . 45μs fpsemi-examples 070: partial_isometries_cycle_graph_monoid(4) . . . 288μs freeband_equal_to 001: . . . 656μs is_acyclic 000: 2-cycle . . . 12μs is_acyclic 001: 1-cycle . . . 10μs is_acyclic 002: multi-digraph . . . 13μs is_acyclic 003: complete digraph 100 . . . 85μs is_acyclic 004: acyclic digraph with 20000 nodes . . . 1582μs is_acyclic 006: for a node . . . 858μs is_acyclic 007: for a node . . . 18μs is_reachable 008: acyclic 20 node digraph . . . 43μs is_reachable 009: 100 node path . . . 10ms is_reachable 010: 100 node cycle . . . 10ms is_reachable 011: 20 node clique . . . 440μs last_node_on_path_nc 014: 20 node path . . . 15μs make 000: from FroidurePin . . . 409μs make 001: from FroidurePin and alphabet . . . 541μs make 002: presentation from presentation . . . 225μs make 003: presentation from presentation and alphabet . . . 51μs make 004: argument checks issue . . . 147μs make 005: use human readable alphabet for make . . . 19μs make> 000: from ActionDigraph . . . 1258μs make> 001: from ActionDigraph (exceptions) . . . 48μs number_of_words 001: . . . 19μs operator"" _w 003: literal . . . 13μs silo 000: alphabet: a, min: 0, max: 10 . . . 43μs silo 001: corner cases . . . 31μs silo 002: alphabet: ab, min: 1, max: 4 . . . 50μs silo 003: alphabet: abc, min: 0, max: 13 . . . 79ms silo 004: code coverage . . . 30μs sislo 005: alphabet: a, min: 0, max: 10 . . . 38μs sislo 006: corner cases . . . 81μs sislo 007: alphabet: ab, min: 1, max: 4 . . . 81μs sislo 008: alphabet: abc, min: 0, max: 13 . . . 80ms sislo 009: code coverage . . . 29μs string 000: detail::is_suffix . . . 16μs string 001: detail::is_prefix . . . 12μs string 002: detail::maximum_common_suffix . . . 23μs string 003: detail::group_digits . . . 25μs string_to_word 002: . . . 12μs validate_label 013: 20 node path . . . 50μs wilo 001: corner cases . . . 48μs wilo 002: letters: 2, min: 1, max: 4 . . . 31μs wilo 003: letters: 2, min: 1, max: 4 . . . 53μs wilo 004: letters: 3, min: 0, max: 10 . . . 18ms wilo 005: letters: 3, min: 0, max: 13 . . . 143ms wilo 006: forward iterator requirements . . . 144ms wilo 007: more corner cases . . . 53μs wilo 008: starting at a given word 1 . . . 149μs wilo 009: starting at a given word 2 . . . 20μs wilo 010: code coverage . . . 20μs wislo 000: n: 2, min; 1, max: 4 . . . 26μs wislo 001: corner cases . . . 41μs wislo 002: n: 3, min; 0, max: 10 . . . 4893μs wislo 003: n: 3, min; 0, max: 13 . . . 146ms wislo 004: lex + sort . . . 410ms wislo 005: code coverage . . . 27μs =============================================================================== All tests passed (1226077 assertions in 1189 test cases) >>> libsemigroups: Entering fakeroot... make[1]: Entering directory '/home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.0' ./config/install-sh -c -d '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib' ./config/install-sh -c -d '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups/backward-cpp' /bin/sh ./libtool --mode=install /usr/bin/install -c libsemigroups.la '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib' /usr/bin/install -c -m 644 extern/backward-cpp/backward.hpp '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups/backward-cpp' ./config/install-sh -c -d '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/pkgconfig' ./config/install-sh -c -d '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups' ./config/install-sh -c -d '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups/textflowcpp' /usr/bin/install -c -m 644 libsemigroups.pc '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/pkgconfig' /usr/bin/install -c -m 644 include/libsemigroups/action.hpp include/libsemigroups/adapters.hpp include/libsemigroups/bipart.hpp include/libsemigroups/bitset.hpp include/libsemigroups/bmat8.hpp include/libsemigroups/bmat.hpp include/libsemigroups/bruidhinn-traits.hpp include/libsemigroups/config.hpp include/libsemigroups/cong-intf.hpp include/libsemigroups/cong-pair-impl.hpp include/libsemigroups/cong-pair.hpp include/libsemigroups/cong-wrap.hpp include/libsemigroups/cong.hpp include/libsemigroups/constants.hpp include/libsemigroups/containers.hpp include/libsemigroups/coset.hpp include/libsemigroups/debug.hpp include/libsemigroups/deprecated.hpp include/libsemigroups/digraph-helper.hpp include/libsemigroups/digraph-with-sources.hpp include/libsemigroups/digraph-with-sources.tpp include/libsemigroups/digraph.hpp include/libsemigroups/exception.hpp include/libsemigroups/fastest-bmat.hpp include/libsemigroups/felsch-tree.hpp include/libsemigroups/felsch-digraph.hpp include/libsemigroups/felsch-digraph.tpp include/libsemigroups/forest.hpp include/libsemigroups/fpsemi-examples.hpp include/libsemigroups/fpsemi-intf.hpp include/libsemigroups/fpsemi.hpp include/libsemigroups/freeband.hpp include/libsemigroups/froidure-pin-base.hpp include/libsemigroups/froidure-pin-impl.hpp include/libsemigroups/froidure-pin.hpp include/libsemigroups/function-ref.hpp include/libsemigroups/hpcombi.hpp include/libsemigroups/int-range.hpp include/libsemigroups/iterator.hpp include/libsemigroups/kambites.hpp '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups' /usr/bin/install -c -m 644 extern/textflowcpp/TextFlow.hpp '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups/textflowcpp' libtool: install: /usr/bin/install -c .libs/libsemigroups.so.2.0.0 /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/libsemigroups.so.2.0.0 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.0' >>> 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.0-r0 pc:eigen3 pc:fmt pkgconfig >>> libsemigroups-dev*: Package size: 2.1 MB >>> libsemigroups-dev*: Compressing data... >>> libsemigroups-dev*: Create checksum... >>> libsemigroups-dev*: Create libsemigroups-dev-2.7.0-r0.apk >>> libsemigroups-static*: Tracing dependencies... >>> libsemigroups-static*: Package size: 4.6 MB >>> libsemigroups-static*: Compressing data... >>> libsemigroups-static*: Create checksum... >>> libsemigroups-static*: Create libsemigroups-static-2.7.0-r0.apk >>> libsemigroups*: Tracing dependencies... so:libc.musl-x86.so.1 so:libfmt.so.9 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.0-r0.apk >>> libsemigroups: Build complete at Sun, 26 Mar 2023 18:23:43 +0000 elapsed time 0h 13m 2s >>> libsemigroups: Cleaning up srcdir >>> libsemigroups: Cleaning up pkgdir >>> libsemigroups: Uninstalling dependencies... (1/4) Purging .makedepends-libsemigroups (20230326.181043) (2/4) Purging eigen-dev (3.4.0-r8) (3/4) Purging fmt-dev (9.1.0-r0) (4/4) Purging fmt (9.1.0-r0) OK: 379 MiB in 104 packages >>> libsemigroups: Updating the testing/x86 repository index... >>> libsemigroups: Signing the index...