>>> libsemigroups: Building testing/libsemigroups 2.7.3-r2 (using abuild 3.18.0_rc5-r1) started Tue, 29 Sep 2026 15:19:20 +0000 >>> libsemigroups: Validating /home/buildozer/aports/testing/libsemigroups/APKBUILD... >>> WARNING: libsemigroups: No maintainer >>> libsemigroups: Analyzing dependencies... >>> libsemigroups: Installing for build: build-base eigen-dev fmt-dev (1/4) Installing eigen-dev (3.4.0-r10) (2/4) Installing fmt (12.2.0-r0) (3/4) Installing fmt-dev (12.2.0-r0) (4/4) Installing .makedepends-libsemigroups (20260929.151920) OK: 452.3 MiB in 111 packages >>> libsemigroups: Cleaning up srcdir >>> libsemigroups: Cleaning up pkgdir >>> libsemigroups: Cleaning up tmpdir >>> libsemigroups: Fetching https://distfiles.alpinelinux.org/distfiles/edge/libsemigroups-2.7.3.tar.gz Connecting to distfiles.alpinelinux.org (172.105.82.32:443) wget: server returned error: HTTP/1.1 404 Not Found >>> libsemigroups: Fetching https://github.com/libsemigroups/libsemigroups/releases/download/v2.7.3/libsemigroups-2.7.3.tar.gz Connecting to github.com (140.82.121.3:443) Connecting to release-assets.githubusercontent.com (185.199.110.133:443) saving to '/var/cache/distfiles/edge/libsemigroups-2.7.3.tar.gz.part' libsemigroups-2.7.3. 100% |********************************| 2484k 0:00:00 ETA '/var/cache/distfiles/edge/libsemigroups-2.7.3.tar.gz.part' saved /var/cache/distfiles/edge/libsemigroups-2.7.3.tar.gz: OK /home/buildozer/aports/testing/libsemigroups/001-gcc-15.patch: OK >>> libsemigroups: Fetching https://distfiles.alpinelinux.org/distfiles/edge/libsemigroups-2.7.3.tar.gz /var/cache/distfiles/edge/libsemigroups-2.7.3.tar.gz: OK /home/buildozer/aports/testing/libsemigroups/001-gcc-15.patch: OK >>> libsemigroups: Unpacking /var/cache/distfiles/edge/libsemigroups-2.7.3.tar.gz... tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.xattr.com.apple.lastuseddate#PS' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' >>> libsemigroups: 001-gcc-15.patch patching file include/libsemigroups/sims1.tpp checking build system type... x86_64-alpine-linux-musl checking host system type... x86_64-alpine-linux-musl checking target system type... x86_64-alpine-linux-musl checking for a BSD-compatible install... /usr/bin/install -c checking whether build environment is sane... yes checking for a race-free mkdir -p... ./config/install-sh -c -d checking for gawk... no checking for mawk... no checking for nawk... no checking for awk... awk checking whether make sets $(MAKE)... yes checking whether make supports nested variables... yes checking how to create a pax tar archive... gnutar checking whether make supports nested variables... (cached) yes checking whether make supports the include directive... yes (GNU style) checking for x86_64-alpine-linux-musl-gcc... cc checking whether the C compiler works... yes checking for C compiler default output file name... a.out checking for suffix of executables... checking whether we are cross compiling... no checking for suffix of object files... o checking whether the compiler supports GNU C... yes checking whether cc accepts -g... yes checking for cc option to enable C11 features... none needed checking whether cc understands -c and -o together... yes checking dependency style of cc... gcc3 checking for x86_64-alpine-linux-musl-ar... no checking for x86_64-alpine-linux-musl-lib... no checking for x86_64-alpine-linux-musl-link... no checking for ar... ar checking the archiver (ar) interface... ar checking whether the compiler supports GNU C++... yes checking whether c++ accepts -g... yes checking for c++ option to enable C++11 features... none needed checking dependency style of c++... gcc3 checking whether c++ supports C++14 features by default... yes checking for a sed that does not truncate output... /bin/sed checking how to run the C preprocessor... cc -E checking for grep that handles long lines and -e... /bin/grep checking for egrep... /bin/grep -E checking whether cc is Clang... no checking whether pthreads work with "-pthread" and "-lpthread"... yes checking for joinable pthread attribute... PTHREAD_CREATE_JOINABLE checking whether more special flags are required for pthreads... no checking for PTHREAD_PRIO_INHERIT... yes checking for pthread_create in -lpthread... yes checking whether to enable maintainer-specific portions of Makefiles... no checking whether ln -s works... yes checking how to print strings... printf checking for a sed that does not truncate output... (cached) /bin/sed checking for fgrep... /bin/grep -F checking for ld used by cc... /usr/x86_64-alpine-linux-musl/bin/ld checking if the linker (/usr/x86_64-alpine-linux-musl/bin/ld) is GNU ld... yes checking for BSD- or MS-compatible name lister (nm)... /usr/bin/nm -B checking the name lister (/usr/bin/nm -B) interface... BSD nm checking the maximum length of command line arguments... 98304 checking how to convert x86_64-alpine-linux-musl file names to x86_64-alpine-linux-musl format... func_convert_file_noop checking how to convert x86_64-alpine-linux-musl file names to toolchain format... func_convert_file_noop checking for /usr/x86_64-alpine-linux-musl/bin/ld option to reload object files... -r checking for x86_64-alpine-linux-musl-file... no checking for file... file checking for x86_64-alpine-linux-musl-objdump... no checking for objdump... objdump checking how to recognize dependent libraries... pass_all checking for x86_64-alpine-linux-musl-dlltool... no checking for dlltool... no checking how to associate runtime and link libraries... printf %s\n checking for x86_64-alpine-linux-musl-ar... ar checking for archiver @FILE support... @ checking for x86_64-alpine-linux-musl-strip... no checking for strip... strip checking for x86_64-alpine-linux-musl-ranlib... no checking for ranlib... ranlib checking command to parse /usr/bin/nm -B output from cc object... ok checking for sysroot... no checking for a working dd... /bin/dd checking how to truncate binary pipes... /bin/dd bs=4096 count=1 checking for x86_64-alpine-linux-musl-mt... no checking for mt... no checking if : is a manifest tool... no checking for stdio.h... yes checking for stdlib.h... yes checking for string.h... yes checking for inttypes.h... yes checking for stdint.h... yes checking for strings.h... yes checking for sys/stat.h... yes checking for sys/types.h... yes checking for unistd.h... yes checking for dlfcn.h... yes checking for objdir... .libs checking if cc supports -fno-rtti -fno-exceptions... no checking for cc option to produce PIC... -fPIC -DPIC checking if cc PIC flag -fPIC -DPIC works... yes checking if cc static flag -static works... yes checking if cc supports -c -o file.o... yes checking if cc supports -c -o file.o... (cached) yes checking whether the cc linker (/usr/x86_64-alpine-linux-musl/bin/ld -m elf_x86_64) supports shared libraries... yes checking whether -lc should be explicitly linked in... no checking dynamic linker characteristics... GNU/Linux ld.so checking how to hardcode library paths into programs... immediate checking whether stripping libraries is possible... yes checking if libtool supports shared libraries... yes checking whether to build shared libraries... yes checking whether to build static libraries... yes checking how to run the C++ preprocessor... c++ -E checking for ld used by c++... /usr/x86_64-alpine-linux-musl/bin/ld -m elf_x86_64 checking if the linker (/usr/x86_64-alpine-linux-musl/bin/ld -m elf_x86_64) is GNU ld... yes checking whether the c++ linker (/usr/x86_64-alpine-linux-musl/bin/ld -m elf_x86_64) supports shared libraries... yes checking for c++ option to produce PIC... -fPIC -DPIC checking if c++ PIC flag -fPIC -DPIC works... yes checking if c++ static flag -static works... yes checking if c++ supports -c -o file.o... yes checking if c++ supports -c -o file.o... (cached) yes checking whether the c++ linker (/usr/x86_64-alpine-linux-musl/bin/ld -m elf_x86_64) supports shared libraries... yes checking dynamic linker characteristics... (cached) GNU/Linux ld.so checking how to hardcode library paths into programs... immediate checking for limits.h... yes checking for stdint.h... (cached) yes checking for stdlib.h... (cached) yes checking for sys/time.h... yes checking for unistd.h... (cached) yes checking for pthread.h... yes checking for _Bool... yes checking for stdbool.h that conforms to C99... yes checking for inline... inline checking for int64_t... yes checking for size_t... yes checking for uint64_t... yes checking for ptrdiff_t... yes checking size of void *... 8 checking for GNU libc compatible malloc... yes checking for gettimeofday... yes checking for memset... yes checking for pow... yes checking for sqrt... yes checking whether to enable debug mode... no checking whether to enable verbose mode... no checking whether enable compiler warnings... no checking whether to enable stats mode... yes checking whether to enable backward mode... yes checking for execinfo.h... no configure: WARNING: backward enabled but execinfo.h not found, disabling backward! checking whether to build with code coverage support... no checking whether to enable HPCombi... yes checking for ./extern/HPCombi/VERSION... yes checking the required version of HPCombi... 0.0.6 checking the version of HPCombi that's present... 0.0.6 checking whether C++ compiler accepts -mavx... yes checking whether C++ compiler accepts -flax-vector-conversions... yes checking for x86intrin.h... yes checking for _mm_blendv_epi8... yes checking for _mm_cmpeq_epi8... yes checking for _mm_cmpestri... yes checking for _mm_cmpestrm... yes checking for _mm_cmplt_epi8... yes checking for _mm_extract_epi64... yes checking for _mm_max_epi8... yes checking for _mm_max_epu8... yes checking for _mm_min_epi8... yes checking for _mm_min_epu8... yes checking for _mm_movemask_epi8... yes checking for _mm_popcnt_u32... yes checking for _mm_set_epi64x... yes checking for _mm_shuffle_epi8... yes checking for _mm_slli_epi32... yes checking for HPCOMBI_CONSTEXPR_FUN_ARGS... yes checking for x86_64-alpine-linux-musl-pkg-config... no checking for pkg-config... /usr/bin/pkg-config checking pkg-config is at least version 0.9.0... yes checking whether to enable fmt... yes checking whether to use external fmt... yes checking for fmt >= 8.1.1... yes checking whether to enable eigen... yes checking whether to use external eigen... yes checking for eigen3 >= 3.3.7... yes checking for __builtin_popcountl... yes checking for __builtin_clzll... yes checking whether to try and use __builtin_popcntl... yes checking whether to try and use __builtin_clzlll... yes checking that generated files are newer than configure... done configure: creating ./config.status config.status: creating Makefile config.status: creating libsemigroups.pc config.status: creating config/config.h config.status: executing depfiles commands config.status: executing include/libsemigroups/config.hpp commands config.status: creating include/libsemigroups/config.hpp - prefix LIBSEMIGROUPS for config/config.h defines config.status: executing libtool commands CXX src/libsemigroups_la-bipart.lo CXX src/libsemigroups_la-bmat8.lo CXX src/libsemigroups_la-cong-intf.lo CXX src/libsemigroups_la-cong-pair.lo CXX src/libsemigroups_la-cong.lo CXX src/libsemigroups_la-constants.lo CXX src/libsemigroups_la-coset.lo CXX src/libsemigroups_la-exception.lo CXX src/libsemigroups_la-felsch-tree.lo CXX src/libsemigroups_la-forest.lo CXX src/libsemigroups_la-fpsemi-examples.lo CXX src/libsemigroups_la-fpsemi-intf.lo CXX src/libsemigroups_la-fpsemi.lo CXX src/libsemigroups_la-freeband.lo CXX src/libsemigroups_la-froidure-pin-base.lo CXX src/libsemigroups_la-kambites.lo CXX src/libsemigroups_la-knuth-bendix.lo CXX src/libsemigroups_la-make-present.lo CXX src/libsemigroups_la-node-manager.lo CXX src/libsemigroups_la-obvinf.lo CXX src/libsemigroups_la-pbr.lo CXX src/libsemigroups_la-race.lo CXX src/libsemigroups_la-report.lo CXX src/libsemigroups_la-runner.lo CXX src/libsemigroups_la-siso.lo CXX src/libsemigroups_la-string.lo CXX src/libsemigroups_la-stephen.lo CXX src/libsemigroups_la-timer.lo CXX src/libsemigroups_la-todd-coxeter.lo CXX src/libsemigroups_la-ukkonen.lo CXX src/libsemigroups_la-wilo.lo CXX src/libsemigroups_la-wislo.lo CXX src/libsemigroups_la-word.lo CXXLD libsemigroups.la make test_all make[1]: Entering directory '/home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.3' CXX tests/bmat-data.o CXX tests/test-action.o CXX tests/test-bipart.o CXX tests/test-bitset.o CXX tests/test-bmat8.o CXX tests/test-cong-intf.o CXX tests/test-cong-pair.o CXX tests/test-cong.o CXX tests/test-constants.o CXX tests/test-containers.o CXX tests/test-digraph-helper.o CXX tests/test-digraph.o CXX tests/test-felsch-tree.o CXX tests/test-forest.o CXX tests/test-fpsemi.o CXX tests/test-fpsemi-examples-1.o CXX tests/test-fpsemi-examples-2.o CXX tests/test-fpsemi-examples-3.o CXX tests/test-fpsemi-intf.o CXX tests/test-freeband.o CXX tests/test-froidure-pin-bipart.o CXX tests/test-froidure-pin-bmat8.o CXX tests/test-froidure-pin-bmat.o CXX tests/test-froidure-pin-integers.o CXX tests/test-froidure-pin-intmat.o CXX tests/test-froidure-pin-intpairs.o CXX tests/test-froidure-pin-matrix.o CXX tests/test-froidure-pin-maxplustrunc.o CXX tests/test-froidure-pin-pbr.o CXX tests/test-froidure-pin-pperm.o CXX tests/test-froidure-pin-projmaxplus.o CXX tests/test-froidure-pin-transf.o CXX tests/test-hpcombi.o CXX tests/test-iterator.o CXX tests/test-kambites.o CXX tests/test-kbe.o CXX tests/test-knuth-bendix-1.o CXX tests/test-knuth-bendix-2.o CXX tests/test-knuth-bendix-3.o CXX tests/test-knuth-bendix-4.o CXX tests/test-knuth-bendix-5.o CXX tests/test-knuth-bendix-6.o CXX tests/test-konieczny-bmat8-1.o CXX tests/test-konieczny-bmat8-2.o CXX tests/test-konieczny-bmat8-3.o CXX tests/test-konieczny-transf.o CXX tests/test-konieczny-bmat.o CXX tests/test-konieczny-pperm.o CXX tests/test-main.o CXX tests/test-make-present.o CXX tests/test-make-froidure-pin.o CXX tests/test-matrix.o CXX tests/test-obvinf.o CXX tests/test-order.o CXX tests/test-pbr.o CXX tests/test-pool.o CXX tests/test-present.o CXX tests/test-race.o CXX tests/test-runner.o CXX tests/test-schreier-sims.o CXX tests/test-schreier-sims-helper.o CXX tests/test-sims1.o CXX tests/test-siso.o CXX tests/test-stephen.o CXX tests/test-string.o CXX tests/test-string-view.o CXX tests/test-timer.o CXX tests/test-todd-coxeter.o CXX tests/test-types.o CXX tests/test-uf.o CXX tests/test-ukkonen.o CXX tests/test-wilo.o CXX tests/test-wislo.o CXX tests/test-word.o In file included from /usr/include/c++/15.2.0/algorithm:63, from tests/test-matrix.cpp:17: In function 'void std::__final_insertion_sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = libsemigroups::StaticRowView*; _Compare = __gnu_cxx::__ops::_Iter_comp_iter >():: >]', inlined from 'void std::__sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = libsemigroups::StaticRowView*; _Compare = __gnu_cxx::__ops::_Iter_comp_iter >():: >]' at /usr/include/c++/15.2.0/bits/stl_algo.h:1909:31, inlined from 'void std::sort(_RAIter, _RAIter, _Compare) [with _RAIter = libsemigroups::StaticRowView*; _Compare = libsemigroups::{anonymous}::test_BMat000 >()::]' at /usr/include/c++/15.2.0/bits/stl_algo.h:4874:18, inlined from 'void libsemigroups::{anonymous}::test_BMat000() [with Mat = libsemigroups::StaticMatrix]' at tests/test-matrix.cpp:166:18: /usr/include/c++/15.2.0/bits/stl_algo.h:1818:32: warning: array subscript 16 is outside array bounds of 'libsemigroups::detail::StaticVector1, 2> [1]' [-Warray-bounds=] 1818 | std::__insertion_sort(__first, __first + int(_S_threshold), __comp); | ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ tests/test-matrix.cpp: In function 'void libsemigroups::{anonymous}::test_BMat000() [with Mat = libsemigroups::StaticMatrix]': tests/test-matrix.cpp:160:14: note: at offset 128 into object 'r' of size 24 160 | auto r = matrix_helpers::rows(m); | ^ CXXLD test_all make[1]: Leaving directory '/home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.3' ./test_all --use-colour yes --order lex --abort [quick] Filters: [quick] Action 001: row and column basis orbits for BMat8 . . . 68μs Action 002: row and column basis orbits for BMat8 . . . 1638μs Action 003: add generators after enumeration . . . 1594μs Action 004: multipliers for BMat8 row and column orbits . . . 3394μs Action 005: orbits for regular boolean mat monoid 5 . . . 221ms Action 007: partial perm image orbit . . . 188μs Action 008: partial perm image orbit . . . 45ms Action 009: partial perm image orbit . . . 52ms Action 010: partial perm image orbit . . . 57ms Action 011: permutation on integers . . . 21μs Action 012: permutation on sets, arrays . . . 74μs Action 013: permutation on tuples, arrays . . . 10ms Action 014: permutation on sets, vectors . . . 111μs Action 015: permutation on tuples, vectors . . . 14ms Action 016: misc . . . 1591μs Action 017: partial perm image orbit . . . 30μs Action 018: permutation on tuples, arrays (360360) . . . 153ms Action 019: orbits for regular BMat8 monoid 5 with stop/start . . . 219ms Action 021: orbits for regular boolean mat monoid 5 (BMat<5> [...] . . . 301ms ActionDigraph 000: constructor with 1 default arg . . . 20μs ActionDigraph 001: constructor with 0 default args . . . 23μs ActionDigraph 002: add nodes . . . 15μs ActionDigraph 003: add edges . . . 207μs ActionDigraph 004: strongly connected components - cycles . . . 28μs ActionDigraph 005: strongly connected components - no edges . . . 23ms ActionDigraph 006: strongly connected components - disjoint cycles . . . 1515μs ActionDigraph 007: strongly connected components - complete graphs . . . 685μs ActionDigraph 008: exceptions . . . 38μs ActionDigraph 009: spanning forest - complete graphs . . . 3675μs ActionDigraph 010: spanning forest - disjoint cycles . . . 110μs ActionDigraph 011: restrict . . . 10μs ActionDigraph 012: remove_edge_nc . . . 9000ns ActionDigraph 013: scc large cycle . . . 15ms ActionDigraph 014: random . . . 19μs ActionDigraph 015: reserve . . . 9000ns ActionDigraph 016: default constructors . . . 13μs ActionDigraph 017: scc iterators . . . 1447μs ActionDigraph 018: iterator to edges . . . 596μs ActionDigraph 019: root of scc . . . 302μs ActionDigraph 020: cbegin/end_panislo - 100 node path . . . 907μs ActionDigraph 021: cbegin/end_pislo . . . 36μs ActionDigraph 022: cbegin/end_pani(s)lo - 100 node cycle . . . 1859μs ActionDigraph 023: cbegin/cend_pilo - tree 14 nodes . . . 59μs ActionDigraph 024: cbegin/end_pstilo - Cayley digraph . . . 179ms ActionDigraph 025: cbegin_pstilo - Tsalakou . . . 370μs ActionDigraph 026: cbegin/end_pstislo - Cayley digraph . . . 177ms ActionDigraph 027: cbegin/end_pstislo - Cayley digraph . . . 180μs ActionDigraph 028: path iterators corner cases . . . 152μs ActionDigraph 029: reverse node iterator . . . 10μs ActionDigraph 030: pstilo corner case . . . 60μs ActionDigraph 031: number_of_paths corner cases . . . 71μs ActionDigraph 032: number_of_paths acyclic digraph . . . 30ms ActionDigraph 033: number_of_paths binary tree . . . 1902ms ActionDigraph 034: number_of_paths large binary tree . . . 84ms ActionDigraph 035: number_of_paths 400 node random digraph . . . 695μs ActionDigraph 036: number_of_paths 10 node acyclic digraph . . . 61μs ActionDigraph 037: number_of_paths node digraph . . . 2806μs ActionDigraph 038: random/random_acyclic exceptions . . . 64μs ActionDigraph 039: unsafe (next) neighbour . . . 62μs ActionDigraph 040: number_of_egdes incident to a node . . . 52μs ActionDigraph 041: number_of_paths (matrix) . . . 18ms ActionDigraph 042: number_of_paths (matrix) . . . 41μs ActionDigraph 043: swap_edge_nc . . . 10μs ActionDigraph 044: detail::pow for non-square Eigen matrix . . . 20μs ActionDigraph 045: operator<< . . . 13μs Array2 044: all . . . 37μs BMat8 001: transpose . . . 16μs BMat8 002: multiplication . . . 15μs BMat8 003: identity matrix . . . 12μs BMat8 004: random . . . 223μs BMat8 005: call operator . . . 15μs BMat8 006: operator<< . . . 33μs BMat8 007: set . . . 41μs BMat8 008: row space basis . . . 494μs BMat8 009: col space basis . . . 491μs BMat8 010: row space basis . . . 1020μs BMat8 011: number_of_rows, number_of_cols . . . 29μs BMat8 012: row_space, col_space . . . 141μs BMat8 013: rows . . . 31μs BMat8 014: one . . . 10μs BMat8 015: vector constructor . . . 57μs BMat8 016: operator< . . . 11μs BMat8 017: adapters . . . 16μs BMat8 018: one . . . 10μs Bipartition 009: mem fns 1 . . . 31μs Bipartition 010: hash . . . 8000ns Bipartition 011: mem fns 2 . . . 18μs Bipartition 012: delete/copy . . . 8000ns Bipartition 013: degree 0 . . . 9000ns Bipartition 014: exceptions . . . 22μs Bipartition 015: convenience constructor . . . 125μs Bipartition 016: force copy constructor over move constructor . . . 14μs Bipartition 017: adapters . . . 8000ns BitSet 000: size . . . 9000ns BitSet 001: operator< . . . 9000ns BitSet 002: operator== . . . 11μs BitSet 003: operator!= . . . 12μs BitSet 004: operator&= . . . 18μs BitSet 005: & . . . 14μs BitSet 006: operator|= . . . 15μs BitSet 007: operator[] . . . 15μs BitSet 008: set(none) . . . 20μs BitSet 009: set(pos, value) . . . 16μs BitSet 010: set(first, last, value) . . . 18μs BitSet 011: reset(first, last) . . . 17μs BitSet 012: reset(pos) . . . 17μs BitSet 013: apply (iterate through set bits) . . . 43μs BitSet 014: std::hash . . . 8000ns BitSet 015: constructors . . . 15μs BitSet 016: max_size . . . 8000ns BitSet 017: insertion operators . . . 10μs Blocks 001: empty blocks . . . 11μs Blocks 002: non-empty blocks . . . 10μs Blocks 003: left blocks of bipartition . . . 11μs Blocks 004: right blocks of bipartition . . . 11μs Blocks 005: copy [empty blocks] . . . 9000ns Blocks 006: copy [non-empty blocks] . . . 10μs Blocks 007: hash value . . . 10μs Blocks 008: operator< . . . 10μs Congruence 000: left congruence on fp semigroup . . . 171μs Congruence 001: 2-sided congruence on fp semigroup . . . 392μs Congruence 002: left congruence on fp semigroup . . . 194μs Congruence 003: word_to_class_index for cong. on fp semigroup . . . 257μs Congruence 004: word_to_class_index for cong. on fp semigroup . . . 555μs Congruence 005: trivial congruence on non-fp semigroup . . . 283μs Congruence 006: 2-sided congruence on non-fp semigroup . . . 330μs Congruence 007: 2-sided congruence on fp semigroup . . . 651μs Congruence 008: 2-sided congruence on infinite fp semigroup . . . 342μs Congruence 009: 2-sided congruence on infinite fp semigroup . . . 399μs Congruence 010: 2-sided congruence on finite semigroup . . . 41ms Congruence 012: 2-sided congruence on finite semigroup . . . 3045μs Congruence 013: trivial 2-sided congruence on bicyclic monoid . . . 20ms Congruence 014: non-trivial 2-sided congruence on bicyclic monoid . . . 315μs Congruence 015: 2-sided congruence on free abelian monoid . . . 341μs Congruence 016: example where TC works but KB doesn't . . . 644μs Congruence 017: 2-sided congruence on finite semigroup . . . 339μs Congruence 018: infinite fp semigroup from GAP library . . . 560μs Congruence 019: 2-sided cong. on fp semigroup with infinite [...] . . . 287μs Congruence 020: trivial cong. on an fp semigroup . . .  -- with compute size 284μs  -- with don't compute size 336μs Congruence 021: duplicate generators . . . 420μs Congruence 022: non-trivial classes . . . 1136μs Congruence 023: right congruence on finite semigroup . . . 275ms Congruence 024: redundant generating pairs . . . 98μs Congruence 025: 2-sided cong. on free semigroup . . . 75μs Congruence 026: is_quotient_obviously_(in)finite . . . 794μs Congruence 027: less . . . 292μs Congruence 028: 2-sided congruences of BMat8 semigroup . . . 143ms Congruence 029: left congruence on finite semigroup . . . 482μs Congruence 030: right congruence on finite semigroup . . . 506μs Congruence 031: right congruence on finite semigroup . . . 447μs Congruence 032: contains . . . 143μs Congruence 033: stellar_monoid S2 . . . 416μs Congruence 034: stellar_monoid S3 . . . 655μs Congruence 035: stellar_monoid S4 . . . 1781μs Congruence 036: stellar_monoid S5 . . . 6228μs Congruence 037: stellar_monoid S6 . . . 51ms Congruence 038: stellar_monoid S7 . . . 601ms Congruence 039: left cong. on an f.p. semigroup . . . 877μs Congruence 040: 2-sided cong. on infinite f.p. semigroup . . . 143μs Congruence 041: 2-sided congruence constructed from type only . . . 551μs Congruence 042: const_contains . . . 667μs Congruence 043: no winner . . . 4928μs Congruence 044: congruence over smalloverlap . . . 6205μs CongruenceByPairs 001: (cong) 2-sided cong. on finite semigroup . . . 257μs CongruenceByPairs 002: (cong) left congruence on finite semigroup . . . 110μs CongruenceByPairs 003: (cong) right congruence on finite semigroup . . . 108μs CongruenceByPairs 004: (cong) trivial congruence on finite s [...] . . . 82μs CongruenceByPairs 005: (cong) trivial left congruence on fin [...] . . . 99μs CongruenceByPairs 006: (cong) trivial right congruence on fi [...] . . . 77μs CongruenceByPairs 007: (cong) universal congruence on finite [...] . . . 343μs CongruenceByPairs 009: (cong) 2-sided congruence on finite s [...] . . . 474ms CongruenceByPairs 010: (cong) left congruence on big finite [...] . . . 25ms CongruenceByPairs 011: (cong) left congruence on TCE . . . 143μs CongruenceByPairs 012: (cong) is_quotient_obviously_finite . . . 84μs CongruenceByPairs 013: (cong) class_index_to_word/quotient . . .  -- with right congruence 4779μs  -- with left congruence 906μs  -- with 2-sided congruence 4819μs CongruenceByPairs 014: (cong) const_word_to_class_index . . .  -- with right congruence 40μs  -- with left congruence 36μs  -- with 2-sided congruence 30μs CongruenceByPairs 015: (cong) size non-Element* . . . 23ms CongruenceInterface 000: add_pair . . .  -- with ToddCoxeter 76μs  -- with KnuthBendix 102μs  -- with CongruenceByPairs 124μs  -- with Congruence 335μs CongruenceInterface 001: contains/const_contains . . .  -- with ToddCoxeter and no parent 97μs  -- with KnuthBendix and no parent 111μs  -- with Congruence and parent 304μs  -- with CongruenceByPairs and parent 102μs CongruenceInterface 002: less . . .  -- with ToddCoxeter 86μs  -- with KnuthBendix 126μs  -- with CongruenceByPairs 108μs  -- with Congruence 349μs CongruenceInterface 003: is_quotient_obviously_(in)finite . . .  -- with ToddCoxeter 64μs  -- with KnuthBendix 102μs CongruenceInterface 004: is_quotient_obviously_(in)finite . . .  -- with CongruenceByPairs 126μs  -- with Congruence 274μs CongruenceInterface 005: parent_froidure_pin . . .  -- with ToddCoxeter 47μs  -- with KnuthBendix 28μs CongruenceInterface 006: parent_froidure_pin . . .  -- with CongruenceByPairs 91μs  -- with Congruence 333μs CongruenceInterface 007: cbegin/cend_ntc . . .  -- with ToddCoxeter 253μs  -- with KnuthBendix 857μs CongruenceInterface 008: cbegin/cend_ntc . . .  -- with CongruenceByPairs 203μs  -- with Congruence 392μs CongruenceInterface 009: quotient is immutable . . .  -- with ToddCoxeter 82μs  -- with KnuthBendix 94μs  -- with Congruence 288μs CongruenceInterface 010: no generating pairs added . . .  -- with KnuthBendix and common behaviour 4325μs  -- with Congruence and common behaviour 4371μs  -- with ToddCoxeter 56μs CongruenceInterface 011: nr generators not set . . .  -- with ToddCoxeter 90μs  -- with KnuthBendix 71μs  -- with Congruence 64μs CongruenceInterface 012: no generating pairs . . . 166μs ConstIteratorStateless 001: ? . . . 9000ns ConstIteratorStateless 002: ? . . . 8000ns Constants 001: Undefined . . . 16μs Constants 002: PositiveInfinity . . . 13μs Constants 003: NegativeInfinity . . . 11μs Constants 004: LimitMax . . . 11μs Duf 004: unite . . . 25μs Duf 006: compress . . . 14μs Duf 008: resize . . . 14μs Duf 009: resize . . . 11μs Duf 010: big chain . . . 10ms Duf 012: empty table . . . 10μs Duf 014: join . . . 12μs Duf 016: contains . . . 22μs Duf 018: swap . . . 24μs DynamicArray2 001: default constructor with 3 default args . . . 9000ns DynamicArray2 002: default constructor with 2 default args . . . 9000ns DynamicArray2 003: default constructor with 1 default args . . . 10μs DynamicArray2 004: default constructor with 0 default args . . . 9000ns DynamicArray2 005: copy constructor with 1 default args . . . 11μs DynamicArray2 006: copy constructor with 0 default args . . . 32μs DynamicArray2 007: add_rows . . . 32μs DynamicArray2 008: add_rows . . . 10μs DynamicArray2 009: add_cols . . . 26μs DynamicArray2 010: set/get . . . 41μs DynamicArray2 011: append 1/2 . . . 110μs DynamicArray2 012: append 2/2 . . . 200μs DynamicArray2 013: count . . . 25μs DynamicArray2 014: clear . . . 10μs DynamicArray2 015: begin_row and end_row . . . 43μs DynamicArray2 016: cbegin_row and cend_row . . . 17μs DynamicArray2 017: iterator operator++ (postfix) . . . 166μs DynamicArray2 018: iterator operator++ (prefix) . . . 871μs DynamicArray2 019: iterator operator-- (postfix) . . . 214μs DynamicArray2 020: iterator operator-- (prefix) . . . 189μs DynamicArray2 021: operator= . . . 12μs DynamicArray2 022: operator== and operator!= . . . 177μs DynamicArray2 023: empty and clear . . . 11μs DynamicArray2 024: max_size . . . 8000ns DynamicArray2 025: swap . . . 48μs DynamicArray2 026: iterator arithmetic . . . 760μs DynamicArray2 027: iterator comparison . . . 11μs DynamicArray2 028: iterator operator= . . . 9000ns DynamicArray2 029: iterator operator[] . . . 37μs DynamicArray2 030: iterator operator-> . . . 26μs DynamicArray2 031: const_iterator operator++/-- . . . 124μs DynamicArray2 032: const_iterator operator++/-- . . . 8000ns DynamicArray2 033: column iterators . . . 15μs DynamicArray2 034: column iterator arithmetic . . . 2858μs DynamicArray2 035: iterator assignment constructor . . . 795μs DynamicArray2 036: reserve method . . . 58μs DynamicArray2 037: erase column . . . 11μs DynamicArray2 038: swap_rows . . . 10μs DynamicArray2 039: apply_row_permutation . . . 9000ns DynamicArray2 040: swap . . . 9000ns DynamicArray2 041: shrink_rows_to . . . 12μs DynamicArray2 042: shrink_rows_to - for range . . . 13μs FastestBMat 046: check no throw . . . 14μs FelschTree 000: previously failing example . . . 32μs Forest 001: test forest . . . 37μs FpSemigroup 001: Renner monoid type B2 (E. G. presentation), q = 1 . . . 721μs FpSemigroup 002: Renner monoid type B2 (E. G. presentation), q = 0 . . . 747μs FpSemigroup 003: Renner monoid type B3 (E. G. presentation), q = 1 . . . 47ms FpSemigroup 004: Renner monoid type B3 (E. G. presentation), q = 0 . . . 39ms FpSemigroup 005: Renner monoid type B2 (Gay-Hivert presentat [...] . . . 719μs FpSemigroup 006: Renner monoid type B2 (Gay-Hivert presentat [...] . . . 709μs FpSemigroup 007: Renner monoid type B3 (Gay-Hivert presentat [...] . . . 4041μs FpSemigroup 008: Renner monoid type B3 (Gay-Hivert presentat [...] . . . 2807μs FpSemigroup 009: Renner monoid type B4 (Gay-Hivert presentat [...] . . . 231ms FpSemigroup 010: Renner monoid type B4 (Gay-Hivert presentat [...] . . . 292ms FpSemigroup 013: Renner monoid type D2 (E. G. presentation), q = 1 . . . 1195μs FpSemigroup 014: Renner monoid type D2 (E. G. presentation), q = 0 . . . 1256μs FpSemigroup 015: Renner monoid type D3 (E. G. presentation), q = 1 . . . 3956μs FpSemigroup 016: Renner monoid type D3 (E. G. presentation), q = 0 . . . 4475μs FpSemigroup 017: Renner monoid type D4 (E. G. presentation), q = 1 . . . 306ms FpSemigroup 018: Renner monoid type D4 (E. G. presentation), q = 0 . . . 357ms FpSemigroup 019: Renner monoid type D2 (Gay-Hivert presentat [...] . . . 1622μs FpSemigroup 020: Renner monoid type D2 (Gay-Hivert presentat [...] . . . 1347μs FpSemigroup 021: Renner monoid type D3 (Gay-Hivert presentat [...] . . . 5389μs FpSemigroup 022: Renner monoid type D3 (Gay-Hivert presentat [...] . . . 5558μs FpSemigroup 023: Renner monoid type D4 (Gay-Hivert presentat [...] . . . 91ms FpSemigroup 024: Renner monoid type D4 (Gay-Hivert presentat [...] . . . 96ms FpSemigroup 029: Rook monoid R5, q = 0 . . . 6330μs FpSemigroup 030: Rook monoid R5, q = 1 . . . 6053μs FpSemigroup 031: Rook monoid R6, q = 0 . . . 46ms FpSemigroup 032: Rook monoid R6, q = 1 . . . 47ms FpSemigroup 033: normal_form . . . 349μs FpSemigroup 034: for a finite semigroup . . . 805μs FpSemigroup 035: finite fp semigroup, dihedral group of order 6 . . . 646μs FpSemigroup 036: finite fp semigroup, size 16 . . . 886μs FpSemigroup 037: finite fp semigroup, size 16 . . . 1253μs FpSemigroup 038: fp semigroup, size 240 . . . 1239μs FpSemigroup 039: add_rule . . . 377μs FpSemigroup 040: add_rule . . . 223μs FpSemigroup 041: equal_to . . . 329μs FpSemigroup 042: cbegin/cend_rules . . . 108μs FpSemigroup 043: semigroup of size 3 . . . 588μs FpSemigroup 044: run_for/until . . . 2864μs FpSemigroup 045: constructors . . . 222μs FpSemigroup 046: set_inverses . . . 125μs FpSemigroup 047: smalloverlap . . . 6617μs FpSemigroup 048: quaternion group Q8 . . . 388μs FpSemigroup 049: symmetric group Coxeter presentation . . . 15ms FpSemigroupByPairs 029: (fpsemi) 2-sided congruence on finit [...] . . . 331μs FpSemigroupByPairs 030: (fpsemi) 2-sided congruence on finit [...] . . . 360μs FpSemigroupInterface 000: run with no alphabet . . .  -- with ToddCoxeter 64μs  -- with KnuthBendix 28μs  -- with FpSemigroup 32μs FpSemigroupInterface 001: equal_to . . .  -- with ToddCoxeter and human readable alphabet 851μs  -- with KnuthBendix and human readable alphabet 2316μs  -- with FpSemigroup and human readable alphabet 2221μs  -- with FpSemigroupByPairs 1374μs FpSemigroupInterface 002: normal_form . . .  -- with ToddCoxeter 129μs  -- with KnuthBendix 141μs  -- with FpSemigroup 305μs FpSemigroupInterface 003: set_alphabet (1/2) . . .  -- with ToddCoxeter 75μs  -- with KnuthBendix 66μs  -- with FpSemigroup 63μs FpSemigroupInterface 004: set_alphabet (2/2) . . . 620μs FpSemigroupInterface 005: add_rule after finished . . .  -- with ToddCoxeter and human readable alphabet 100μs  -- with KnuthBendix and human readable alphabet 139μs  -- with FpSemigroup and human readable alphabet 275μs  -- with FpSemigroupByPairs 597μs FpSemigroupInterface 006: add_rule with equal words (1/2) . . .  -- with ToddCoxeter and human readable alphabet 161μs  -- with KnuthBendix and human readable alphabet 195μs  -- with FpSemigroup and human readable alphabet 231μs  -- with FpSemigroupByPairs 124μs FpSemigroupInterface 007: add_rule with equal words (2/2) . . .  -- with ToddCoxeter 34μs  -- with KnuthBendix 26μs  -- with FpSemigroup 30μs FpSemigroupInterface 008: add_rule with word_type . . .  -- with ToddCoxeter 46μs  -- with KnuthBendix 37μs  -- with FpSemigroup 58μs FpSemigroupInterface 009: add_rule with empty word (1/2) . . .  -- with ToddCoxeter 37μs  -- with FpSemigroup 43μs FpSemigroupInterface 010: add_rule with empty word (1/2) . . . 24μs FpSemigroupInterface 011: add_rules (1/3) . . .  -- with ToddCoxeter 44μs  -- with KnuthBendix 38μs  -- with FpSemigroup 41μs FpSemigroupInterface 012: add_rules (2/3) . . . 231μs FpSemigroupInterface 013: add_rules (3/3) . . .  -- with ToddCoxeter 33μs  -- with KnuthBendix 27μs  -- with FpSemigroup 51μs FpSemigroupInterface 014: set_identity (1/3) . . .  -- with ToddCoxeter 90μs  -- with KnuthBendix 67μs  -- with FpSemigroup 99μs FpSemigroupInterface 015: set_identity (2/3) . . . 174μs FpSemigroupInterface 016: set_identity (3/3) . . .  -- with ToddCoxeter 62μs  -- with KnuthBendix 51μs  -- with FpSemigroup 100μs FpSemigroupInterface 017: identity . . .  -- with ToddCoxeter 32μs  -- with KnuthBendix 24μs  -- with FpSemigroup 29μs FpSemigroupInterface 018: set_inverses + inverses (1/2) . . .  -- with ToddCoxeter 86μs  -- with KnuthBendix 81μs  -- with FpSemigroup 132μs FpSemigroupInterface 019: set_inverses + inverses (2/2) . . . 174μs FpSemigroupInterface 020: is_obviously_infinite (1/2) . . .  -- with ToddCoxeter 128μs  -- with KnuthBendix 128μs  -- with FpSemigroup 304μs FpSemigroupInterface 021: is_obviously_infinite (2/2) . . . 38μs FpSemigroupInterface 022: is_obviously_finite (1/2) . . .  -- with ToddCoxeter 100μs  -- with KnuthBendix 128μs  -- with FpSemigroup 277μs FpSemigroupInterface 023: is_obviously_finite (2/2) . . . 37μs FpSemigroupInterface 024: to_gap_string (1/3) . . .  -- with ToddCoxeter 40μs  -- with KnuthBendix 30μs  -- with FpSemigroup 66μs FpSemigroupInterface 025: to_gap_string (2/3) . . . 26μs FpSemigroupInterface 026: to_gap_string (3/3) . . . 34μs FroidurePin 015: (BMat8) regular boolean mat monoid 4 . . . 79ms FroidurePin 016: (BMat8) exception zero generators given . . . 12μs FroidurePin 017: (BMat8) exception word_to_element . . . 49μs FroidurePin 018: (BMat8) exception prefix . . . 862μs FroidurePin 019: (BMat8) exception suffix . . . 15μs FroidurePin 020: (BMat8) exception first_letter . . . 859μs FroidurePin 021: (BMat8) exception final_letter . . . 15μs FroidurePin 022: (BMat8) exception current_length . . . 840μs FroidurePin 023: (BMat8) exception product_by_reduction . . . 774μs FroidurePin 024: (BMat8) exception fast_product . . . 832μs FroidurePin 025: (BMat8) exception is_idempotent . . . 35ms FroidurePin 026: (BMat8) copy constructor . . .  -- with fully enumerated 44ms  -- with partially enumerated 31ms  -- with not enumerated 28ms FroidurePin 027: (BMat8) cbegin/end_rules . . . 37μs FroidurePin 031: (integers) . . . 135μs FroidurePin 039: (pairs of integers) non-trivial user type . . . 24μs FroidurePin 055: (tropical max-plus semiring matrices) . . . 174μs FroidurePin 061: projective max plus matrix . . . 725μs FroidurePin 062: projective max plus matrix . . . 25μs FroidurePin> 009: small example 2 . . . 33μs FroidurePin> 005: small example 1 . . . 86μs FroidurePin> 007: regular bmat monoid 4 . . . 49ms FroidurePin> 011: small example 3 . . . 370μs FroidurePin> 006: small example 1 . . . 108μs FroidurePin> 008: regular bmat monoid 4 . . . 63ms FroidurePin> 010: small example 2 . . . 31μs FroidurePin> 012: small example 3 . . . 517μs FroidurePin 000: small example 1 . . . 128μs FroidurePin 001: default constructed . . . 79μs FroidurePin 002: small example 2 . . . 47μs FroidurePin 004: exception: is_idempotent . . . 95μs FroidurePin> 033: Example 000 . . . 552μs FroidurePin> 035: Example 001 . . . 35μs FroidurePin> 032: Example 000 . . . 397μs FroidurePin> 034: Example 001 . . . 27μs FroidurePin 036: exception: current_position . . . 78μs FroidurePin 037: exception: word_to_element . . . 39μs FroidurePin 038: exception: prefix, suffix, first_letter . . . 10ms FroidurePin> 040: Example 000 . . . 52μs FroidurePin> 041: Example 000 . . . 54μs FroidurePin> 046: Example 005 . . . 144μs FroidurePin> 047: Example 005 . . . 131μs FroidurePin> 048: Example 005 . . . 128μs FroidurePin> 044: Example 004 . . . 21μs FroidurePin> 045: Example 004 . . . 22μs FroidurePin> 049: Example 006 . . . 734μs FroidurePin> 050: Example 006 . . . 840μs FroidurePin> 051: Example 006 . . . 885μs FroidurePin> 052: Example 007 . . . 98μs FroidurePin> 053: Example 007 . . . 103μs FroidurePin> 054: Example 007 . . . 116μs FroidurePin 056: example 1 . . . 153μs FroidurePin 057: example 2 . . . 117μs FroidurePin> 058: . . . 510μs FroidurePin> 059: . . . 37μs FroidurePin> 060: exceptions: add_generator(s) . . . 41μs FroidurePin> 065: no exception zero generators given . . . 12μs FroidurePin> 066: exception generators of different [...] . . . 42μs FroidurePin> 067: exception current_position . . . 30μs FroidurePin> 068: exception word_to_element . . . 29μs FroidurePin> 069: exception gens . . . 337μs FroidurePin> 070: exception prefix . . . 13ms FroidurePin> 071: exception suffix . . . 81ms FroidurePin> 072: exception first_letter . . . 68μs FroidurePin> 073: exception final_letter . . . 56μs FroidurePin> 074: exception current_length . . . 30μs FroidurePin> 075: exception product_by_reduction . . . 200μs FroidurePin> 076: exception fast_product . . . 216μs FroidurePin> 077: exception current_position . . . 336μs FroidurePin> 078: exception is_idempotent . . . 409μs FroidurePin> 079: exception add_generators . . . 28μs FroidurePin> 080: multithread number_of_idempotents . . . 505μs FroidurePin> 081: small semigroup . . . 22μs FroidurePin> 082: large semigroup . . . 5824μs FroidurePin> 083: at, position, current_* . . . 5828μs FroidurePin> 084: run . . . 5337μs FroidurePin> 085: run [many stops and starts] . . . 5383μs FroidurePin> 086: factorisation, length [1 element] . . . 5541μs FroidurePin> 087: factorisation, products [all elements] . . . 6538μs FroidurePin> 088: first/final letter, prefix, suffi [...] . . . 5521μs FroidurePin> 089: current_position [standard] . . . 21μs FroidurePin> 090: current_position [duplicate gens] . . . 11ms FroidurePin> 091: current_position [after add_generators] . . . 6343μs FroidurePin> 092: cbegin_idempotents/cend [1 thread] . . . 6044μs FroidurePin> 093: idempotent_cend/cbegin [1 thread] . . . 6085μs FroidurePin> 094: is_idempotent [1 thread] . . . 5764μs FroidurePin> 096: finished, started . . . 5906μs FroidurePin> 097: current_position . . . 1304μs FroidurePin> 098: sorted_position, sorted_at . . . 7276μs FroidurePin> 099: right/left Cayley graph . . . 22ms FroidurePin> 100: iterator . . . 7893μs FroidurePin> 101: reverse iterator . . . 8015μs FroidurePin> 102: iterator arithmetic . . . 17ms FroidurePin> 103: iterator sorted . . . 17ms FroidurePin> 104: iterator sorted arithmetic . . . 20ms FroidurePin> 105: copy [not enumerated] . . . 5709μs FroidurePin> 106: copy_closure [not enumerated] . . . 36ms FroidurePin> 107: copy_add_generators [not enumerated] . . . 32ms FroidurePin> 108: copy [partly enumerated] . . . 6102μs FroidurePin> 109: copy_closure [partly enumerated] . . . 10ms FroidurePin> 110: copy_add_generators [partly enumerated] . . . 6288μs FroidurePin> 111: copy [fully enumerated] . . . 8444μs FroidurePin> 112: copy_closure [fully enumerated] . . . 10ms FroidurePin> 113: copy_add_generators [fully enumerated] . . . 8716μs FroidurePin> 114: relations [duplicate gens] . . . 158μs FroidurePin> 115: relations . . . 7296μs FroidurePin> 116: relations [copy_closure, duplicat [...] . . . 10ms FroidurePin> 117: relations [copy_add_generators, d [...] . . . 11ms FroidurePin> 118: relations [from copy, not enumerated] . . . 6437μs FroidurePin> 119: relations [from copy, partly enum [...] . . . 11ms FroidurePin> 120: relations [from copy, fully enumerated] . . . 11ms FroidurePin> 121: relations [from copy_closure, not [...] . . . 10ms FroidurePin> 122: relations [from copy_add_generato [...] . . . 6458μs FroidurePin> 123: relations [from copy_closure, par [...] . . . 10ms FroidurePin> 124: relations [from copy_add_generato [...] . . . 7834μs FroidurePin> 125: relations [from copy_closure, ful [...] . . . 11ms FroidurePin> 126: relations [from copy_add_generato [...] . . . 10ms FroidurePin> 127: add_generators [duplicate generators] . . . 319μs FroidurePin> 128: add_generators [incremental 1] . . . 359μs FroidurePin> 129: add_generators [incremental 2] . . . 382μs FroidurePin> 130: closure [duplicate generators] . . . 190μs FroidurePin> 131: closure . . . 72μs FroidurePin> 132: factorisation . . . 17μs FroidurePin> 134: minimal_factorisation . . . 34μs FroidurePin> 135: batch_size (for an extremely larg [...] . . . 17μs FroidurePin> 137: exception: generators of differen [...] . . . 34μs FroidurePin> 138: exception: current_position . . . 46μs FroidurePin> 139: exception: word_to_element . . . 30μs FroidurePin> 140: exception: gens, current_position . . . 388μs FroidurePin> 141: exception: add_generators . . . 30μs HPCombi 000: Transf16 . . . 24μs HPCombi 001: One specialisation . . . 8000ns HPCombi 002: One specialisation . . . 9000ns HPCombi 003: Swap specialisation . . . 8000ns HPCombi 004: Swap specialisation . . . 8000ns HPCombi 005: Inverse specialisation . . . 8000ns HPCombi 006: ImageRightAction . . . 10μs HPCombi 007: ImageLeft/RightAction . . . 12μs HPCombi 008: Product . . . 9000ns HPCombi 009: Degree/Complexity . . . 8000ns KBE 000: constructors . . . 49μs KBE 001: test . . . 70μs KBE 002: factorisation . . . 48μs KBE 003: swap . . . 35μs KBE 004: adapters . . . 34μs KBE 005: conversions . . . 33μs Kambites 000: (fpsemi) MT test 4 (std::string) . . . 5222μs Kambites 001: (fpsemi) MT test 4 (MultiStringView) . . . 5943μs Kambites 002: (fpsemi) number_of_pieces (std::string) . . . 114μs Kambites 003: (fpsemi) number_of_pieces (MultiStringView) . . . 104μs Kambites 004: (fpsemi) small_overlap_class (std::string) . . . 3541μs Kambites 005: (fpsemi) small_overlap_class (MultiStringView) . . . 3539μs Kambites 006: (fpsemi) random (std::string) . . . 9006μs Kambites 007: (fpsemi) random (MultiStringView) . . . 9365μs Kambites 008: (fpsemi) KnuthBendix 055 (std::string) . . . 12ms Kambites 009: (fpsemi) KnuthBendix 055 (MultiStringView) . . . 14ms Kambites 010: (fpsemi) smalloverlap/gap/test.gi:85 (std::string) . . . 60μs Kambites 011: (fpsemi) smalloverlap/gap/test.gi:85 (MultiStr [...] . . . 47μs Kambites 012: (fpsemi) free semigroup . . . 11μs Kambites 013: (fpsemi) smalloverlap/gap/test.gi:49 (std::string) . . . 26ms Kambites 014: (fpsemi) smalloverlap/gap/test.gi:49 (MultiStr [...] . . . 35ms Kambites 015: (fpsemi) smalloverlap/gap/test.gi:63 (std::string) . . . 27ms Kambites 016: (fpsemi) smalloverlap/gap/test.gi:63 (MultiStr [...] . . . 38ms Kambites 017: (fpsemi) smalloverlap/gap/test.gi:70 (std::string) . . . 99ms Kambites 018: (fpsemi) smalloverlap/gap/test.gi:70 (MultiStr [...] . . . 143ms Kambites 021: (fpsemi) code coverage (std::string) . . . 61μs Kambites 022: (fpsemi) code coverage (MultiStringView) . . . 40μs Kambites 023: (fpsemi) prefix (std::string) . . . 60μs Kambites 024: (fpsemi) prefix (MultiStringView) . . . 79μs Kambites 025: (fpsemi) normal_form (Example 3.15) (std::string) . . . 48μs Kambites 026: (fpsemi) normal_form (Example 3.15) (MultiStri [...] . . . 70μs Kambites 027: (fpsemi) normal_form (Example 3.16) (std::string) . . . 35μs Kambites 028: (fpsemi) normal_form (Example 3.16) (MultiStri [...] . . . 52μs Kambites 029: (fpsemi) normal_form (Example 3.16) more exhau [...] . . . 45ms Kambites 030: (fpsemi) normal_form (Example 3.16) more exhau [...] . . . 52ms Kambites 031: (fpsemi) small presentation (std::string) . . . 58μs Kambites 032: (fpsemi) small presentation (MultiStringView) . . . 32μs Kambites 033: (fpsemi) non-smalloverlap (std::string) . . . 36μs Kambites 034: (fpsemi) non-smalloverlap (MultiStringView) . . . 34μs Kambites 035: (fpsemi) MT test 3 (std::string) . . . 37μs Kambites 036: (fpsemi) MT test 3 (MultiStringView) . . . 36μs Kambites 037: (fpsemi) MT test 5 (std::string) . . . 22μs Kambites 038: (fpsemi) MT test 5 (MultiStringView) . . . 21μs Kambites 039: (fpsemi) MT test 6 (std::string) . . . 30μs Kambites 040: (fpsemi) MT test 6 (MultiStringView) . . . 38μs Kambites 041: (fpsemi) MT test 10 (std::string) . . . 26μs Kambites 042: (fpsemi) MT test 10 (MultiStringView) . . . 30μs Kambites 043: (fpsemi) MT test 13 (std::string) . . . 21μs Kambites 044: (fpsemi) MT test 13 (MultiStringView) . . . 22μs Kambites 045: (fpsemi) MT test 14 (std::string) . . . 22μs Kambites 046: (fpsemi) MT test 14 (MultiStringView) . . . 22μs Kambites 047: (fpsemi) MT test 15 (std::string) . . . 29μs Kambites 048: (fpsemi) MT test 15 (MultiStringView) . . . 28μs Kambites 049: (fpsemi) MT test 16 (std::string) . . . 28μs Kambites 050: (fpsemi) MT test 16 (MultiStringView) . . . 31μs Kambites 051: (fpsemi) MT test 17 (std::string) . . . 106μs Kambites 052: (fpsemi) MT test 17 (MultiStringView) . . . 95μs Kambites 053: (fpsemi) weak C(4) not strong x 1 (std::string) . . . 348μs Kambites 054: (fpsemi) weak C(4) not strong x 1 (MultiStringView) . . . 457μs Kambites 055: (fpsemi) weak C(4) not strong x 2 (std::string) . . . 321μs Kambites 056: (fpsemi) weak C(4) not strong x 2 (MultiStringView) . . . 459μs Kambites 057: (fpsemi) weak C(4) not strong x 3 (std::string) . . . 271μs Kambites 058: (fpsemi) weak C(4) not strong x 3 (MultiStringView) . . . 305μs Kambites 059: (fpsemi) weak C(4) not strong x 4 (std::string) . . . 43μs Kambites 060: (fpsemi) weak C(4) not strong x 4 (MultiStringView) . . . 59μs Kambites 061: (fpsemi) weak C(4) not strong x 5 (std::string) . . . 20μs Kambites 062: (fpsemi) weak C(4) not strong x 5 (MultiStringView) . . . 16μs Kambites 063: (fpsemi) weak C(4) not strong x 6 (std::string) . . . 27μs Kambites 064: (fpsemi) weak C(4) not strong x 6 (MultiStringView) . . . 27μs Kambites 065: (fpsemi) Konovalov example (std::string) . . . 18μs Kambites 066: (fpsemi) Konovalov example (MultiStringView) . . . 16μs Kambites 067: (fpsemi) long words (std::string) . . . 1323ms Kambites 068: (fpsemi) long words (MultiStringView) . . . 30ms Kambites 075: (cong) example 1 . . . 48μs Kambites 076: (cong) example 2 . . . 108μs Kambites 077: (cong) code coverage . . . 5501μs Kambites 078: (cong) large number of rules . . . 227ms KnuthBendix 000: (fpsemi) confluent fp semigroup 1 (infinite) . . . 102μs KnuthBendix 001: (fpsemi) confluent fp semigroup 2 (infinite) . . . 88μs KnuthBendix 002: (fpsemi) confluent fp semigroup 3 (infinite) . . . 85μs KnuthBendix 003: (fpsemi) non-confluent fp semigroup from wi [...] . . . 131μs KnuthBendix 004: (fpsemi) Example 5.1 in Sims (infinite) . . . 108μs KnuthBendix 005: (fpsemi) Example 5.1 in Sims (infinite) . . . 101μs KnuthBendix 006: (fpsemi) Example 5.3 in Sims . . . 87μs KnuthBendix 007: (fpsemi) Example 5.4 in Sims . . . 101μs KnuthBendix 008: (fpsemi) Example 6.4 in Sims (size 168) . . . 6016μs KnuthBendix 009: (fpsemi) . . . 37ms KnuthBendix 010: (fpsemi) SL(2, 7) from Chapter 3, Propositi [...] . . . 72ms KnuthBendix 011: (fpsemi) F(2, 5) - Chapter 9, Section 1 in [...] . . . 302μs KnuthBendix 012: (fpsemi) Reinis example 1 . . . 131μs KnuthBendix 013: redundant_rule (std::string) . . . 100ms KnuthBendix 014: redundant_rule (word_type) . . . 10ms KnuthBendix 019: (fpsemi) C(4) monoid . . . 54μs KnuthBendix 020: (cong) Chinese monoid . . . 101μs KnuthBendix 021: (from kbmag/standalone/kb_data/f25monoid) . . . 344μs KnuthBendix 022: (from kbmag/standalone/kb_data/degen4a) . . . 34ms KnuthBendix 023: (from kbmag/standalone/kb_data/torus) . . . 2132μs KnuthBendix 024: (from kbmag/standalone/kb_data/3a6) . . . 180ms KnuthBendix 025: (from kbmag/standalone/kb_data/f2) . . . 51μs KnuthBendix 026: (from kbmag/standalone/kb_data/s16) . . . 45ms KnuthBendix 027: (from kbmag/standalone/kb_data/a4monoid) . . . 58μs KnuthBendix 028: (from kbmag/standalone/kb_data/degen3) . . . 29μs KnuthBendix 029: (from kbmag/standalone/kb_data/ab1) . . . 27μs KnuthBendix 030: (from kbmag/standalone/kb_data/degen2) . . . 21μs KnuthBendix 031: (from kbmag/standalone/kb_data/f25) . . . 301μs KnuthBendix 032: (from kbmag/standalone/kb_data/237) . . . 357μs KnuthBendix 033: (from kbmag/standalone/kb_data/c2) . . . 23μs KnuthBendix 034: (from kbmag/standalone/kb_data/cosets) . . . 142μs KnuthBendix 035: Example 5.1 in Sims (KnuthBendix 09 again) . . . 45μs KnuthBendix 036: (from kbmag/standalone/kb_data/nilp2) . . . 31μs KnuthBendix 037: Example 6.4 in Sims . . . 9017μs KnuthBendix 038: KnuthBendix 071 again . . . 430μs KnuthBendix 039: Example 5.4 in Sims (KnuthBendix 11 again) [...] . . . 157μs KnuthBendix 040: Example 5.4 in Sims (KnuthBendix 11 again) [...] . . . 101μs KnuthBendix 041: operator<< . . . 49μs KnuthBendix 042: confluence_interval . . . 23μs KnuthBendix 043: max_overlap . . . 21μs KnuthBendix 044: (fpsemi) (from kbmag/standalone/kb_data/d22 [...] . . . 827μs KnuthBendix 045: (fpsemi) (from kbmag/standalone/kb_data/d22 [...] . . . 1507μs KnuthBendix 046: (fpsemi) small example . . . 529μs KnuthBendix 047: code coverage . . . 62μs KnuthBendix 048: small overlap 1 . . . 55μs KnuthBendix 049: (from kbmag/standalone/kb_data/s9) . . . 936μs KnuthBendix 050: (fpsemi) Chapter 11, Lemma 1.8 (q = 6, r = [...] . . . 418μs KnuthBendix 051: (fpsemi) Chapter 11, Section 2 (q = 6, r = [...] . . . 108μs KnuthBendix 052: (fpsemi) Chapter 8, Theorem 4.2 in NR (infinite) . . . 173μs KnuthBendix 053: (fpsemi) equal_to fp semigroup . . . 49μs KnuthBendix 054: (fpsemi) equal_to free semigroup . . . 47μs KnuthBendix 055: (fpsemi) from GAP smalloverlap gap/test.gi [...] . . . 345μs KnuthBendix 056: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 623μs KnuthBendix 057: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 623μs KnuthBendix 058: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 2037μs KnuthBendix 059: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 4807μs KnuthBendix 060: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 48μs KnuthBendix 061: (fpsemi) Von Dyck (2,3,7) group (infinite) . . . 379μs KnuthBendix 062: (fpsemi) Von Dyck (2,3,7) group - different [...] . . . 3065μs KnuthBendix 063: (fpsemi) rewriting system from KnuthBendixC [...] . . . 277μs KnuthBendix 064: (fpsemi) rewriting system from Congruence 20 . . . 36μs KnuthBendix 065: (fpsemi) (from kbmag/standalone/kb_data/ab2) . . . 89μs KnuthBendix 066: (fpsemi) (from kbmag/standalone/kb_data/d22 [...] . . . 872μs KnuthBendix 067: (fpsemi) (from kbmag/standalone/kb_data/degen1) . . . 44μs KnuthBendix 068: (fpsemi) (from kbmag/standalone/kb_data/s4) . . . 340μs KnuthBendix 069: (fpsemi) fp semigroup (infinite) . . . 49μs KnuthBendix 070: (fpsemi) Chapter 11, Section 1 (q = 4, r = [...] . . . 1176μs KnuthBendix 071: (fpsemi) Chapter 11, Section 1 (q = 8, r = [...] . . . 63ms KnuthBendix 072: (fpsemi) Chapter 7, Theorem 3.9 in NR (size 240) . . . 2382μs KnuthBendix 073: (fpsemi) F(2, 5) - Chapter 9, Section 1 in [...] . . . 299μs KnuthBendix 074: (fpsemi) F(2, 6) - Chapter 9, Section 1 in NR . . . 295μs KnuthBendix 075: (fpsemi) Chapter 10, Section 4 in NR (infinite) . . . 523μs KnuthBendix 076: (fpsemi) Sym(5) from Chapter 3, Proposition [...] . . . 1915μs KnuthBendix 077: (fpsemi) SL(2, 7) from Chapter 3, Propositi [...] . . . 52ms KnuthBendix 078: (fpsemi) bicyclic monoid (infinite) . . . 47μs KnuthBendix 079: (fpsemi) plactic monoid of degree 2 (infinite) . . . 69μs KnuthBendix 080: (fpsemi) example before Chapter 7, Proposit [...] . . . 46μs KnuthBendix 081: (fpsemi) Chapter 7, Theorem 3.6 in NR (size 243) . . . 536μs KnuthBendix 082: (fpsemi) finite semigroup (size 99) . . . 179μs KnuthBendix 096: Sorouhesh . . . 276μs KnuthBendix 097: (fpsemi) transformation semigroup (size 4) . . . 73μs KnuthBendix 098: (fpsemi) transformation semigroup (size 9) . . . 68μs KnuthBendix 099: (fpsemi) transformation semigroup (size 88) . . . 501μs KnuthBendix 100: internal_string_to_word . . . 45μs KnuthBendix 101: (fpsemi) construct from shared_ptr . . . 494μs KnuthBendix 102: internal_string_to_word . . . 521μs KnuthBendix 103: (cong) free semigroup congruence (5 classes) . . . 86μs KnuthBendix 104: free semigroup congruence (6 classes) . . . 195μs KnuthBendix 105: (cong) free semigroup congruence (16 classes) . . . 238μs KnuthBendix 106: (cong) free semigroup congruence (6 classes) . . . 303μs KnuthBendix 107: (cong) free semigroup congruence (240 classes) . . . 2444μs KnuthBendix 108: (cong) free semigroup congruence (240 classes) . . . 2304μs KnuthBendix 109: (cong) less . . . 2591μs KnuthBendix 110: (cong) less . . . 149ms KnuthBendix 111: (cong) constructors . . . 189ms KnuthBendix 112: (cong) const_contains/contains . . . 169μs KnuthBendix 113: (cong) is_quotient_obviously_finite . . . 27μs KnuthBendix 114: (cong) class_index_to_word . . . 156μs KnuthBendix 115: (cong) quotient_froidure_pin . . . 121μs KnuthBendix 116: (cong) set_number_of_generators . . . 41μs KnuthBendix 117: (cong) number of classes when obv-inf . . . 54μs KnuthBendixCongruenceByPairs 016: non-trivial congruence on [...] . . . 149μs KnuthBendixCongruenceByPairs 017: non-trivial congruence on [...] . . . 129μs KnuthBendixCongruenceByPairs 018: non-trivial congruence on [...] . . . 188μs KnuthBendixCongruenceByPairs 019: non-trivial congruence on [...] . . . 176μs KnuthBendixCongruenceByPairs 020: trivial congruence on a fi [...] . . . 142μs KnuthBendixCongruenceByPairs 021: universal congruence on a [...] . . . 361μs KnuthBendixCongruenceByPairs 022: left congruence on a finit [...] . . . 212μs KnuthBendixCongruenceByPairs 023: finite group, Chapter 11, [...] . . . 3056μs KnuthBendixCongruenceByPairs 024: right congruence on infini [...] . . . 214μs KnuthBendixCongruenceByPairs 025: finite fp semigroup, dihed [...] . . . 215μs KnuthBendixCongruenceByPairs 026: finite fp semigroup, size 16 . . . 207μs KnuthBendixCongruenceByPairs 027: finite fp semigroup, size 16 . . . 599μs KnuthBendixCongruenceByPairs 028: infinite fp semigroup with [...] . . . 62μs Konieczny 000: test000> . . . 872μs Konieczny 001: test000> . . . 607μs Konieczny 002: test001> . . . 8222μs Konieczny 003: test001> . . . 5938μs Konieczny 006: exceptions . . . 43μs Konieczny 007: code coverage . . . 9822μs Konieczny 008: code coverage . . . 7978μs Konieczny 009: regular elements and idempotents . . . 71ms Konieczny 010: regular D-class 01 . . . 731μs Konieczny 011: regular D-class 02 . . . 6210μs Konieczny 012: regular D-class 04: contains . . . 23ms Konieczny 013: non-regular D-classes 01 . . . 767μs Konieczny 014: RegularDClass . . . 487μs Konieczny 015: full bmat monoid 4 . . . 27ms Konieczny 017: regular generated bmat monoid 4 idempotents . . . 39ms Konieczny 019: my favourite example . . . 65ms Konieczny 020: another large example . . . 6964μs Konieczny 021: my favourite example transposed . . . 52ms Konieczny 024: exceptions . . . 806μs Konieczny 025: 0-parameter constructor . . . 13ms Konieczny 026: non-regular D-classes 02 . . . 7981μs Konieczny 028: partial perm . . . 84ms Konieczny 029: symmetric inverse monoid n = 8 . . . 15ms Konieczny 030: exceptions . . . 157ms Konieczny 031: transformations . . . 378μs Konieczny 032: transformations - JDM favourite example . . . 34ms Konieczny 033: transformations - large example . . . 210ms Konieczny 034: transformations - large example with stop . . . 212ms Konieczny 035: transformations - large example with run_until . . . 211ms Konieczny 036: transformations - large example with stop in Action . . . 212ms Konieczny 037: exceptions . . . 33μs Konieczny 038: transformations: contains . . . 450μs Konieczny 040: transformations - destructor coverage . . . 83ms Konieczny 041: current_number_D_classes . . . 83ms Konieczny 042: add_generator . . . 13μs Konieczny 043: add_generator . . . 10μs Matrix 000: BMat<2> . . . 68μs Matrix 001: BMat<> . . . 50μs Matrix 002: BMat<3> + BMat<> . . . 14μs Matrix 003: BMat<2> + BMat<> . . . 10μs Matrix 004: BMat<3> . . . 10μs Matrix 005: BMat<> . . . 12μs Matrix 006: BMat<3> row_basis . . . 32μs Matrix 007: BMat<> row_basis . . . 30μs Matrix 008: IntMat<3> . . . 12μs Matrix 009: IntMat<> . . . 15μs Matrix 010: IntMat code cov . . . 9000ns Matrix 011: MaxPlusMat<3> . . . 11μs Matrix 012: MaxPlusMat<> . . . 12μs Matrix 013: MaxPlusMat code cov . . . 8000ns Matrix 014: MinPlusMat<3> . . . 13μs Matrix 015: MinPlusMat<> . . . 17μs Matrix 016: MinPlusMat code cov . . . 8000ns Matrix 017: MaxPlusTruncMat<5, 2> . . . 13μs Matrix 018: MaxPlusTruncMat<5> . . . 15μs Matrix 019: MaxPlusTruncMat<> . . . 23μs Matrix 020: MaxPlusTruncMat<5, 4> . . . 14μs Matrix 021: MaxPlusTruncMat<5> . . . 15μs Matrix 022: MaxPlusTruncMat<> . . . 15μs Matrix 023: MaxPlusTruncMat<33, 3> . . . 22μs Matrix 024: MaxPlusTruncMat<33> . . . 20μs Matrix 025: MaxPlusTruncMat<> . . . 20μs Matrix 026: MaxPlusMat code cov . . . 8000ns Matrix 027: MinPlusTruncMat<33, 3> . . . 20μs Matrix 028: MinPlusTruncMat<33> . . . 21μs Matrix 029: MinPlusTruncMat<> . . . 26μs Matrix 030: NTPMat<0, 3, 3, 3> . . . 12μs Matrix 031: NTPMat<0, 3> . . . 14μs Matrix 032: NTPMat<> . . . 24μs Matrix 033: NTPMat<0, 10, 4, 4> . . . 17μs Matrix 034: NTPMat<0, 10> . . . 16μs Matrix 035: NTPMat<> . . . 15μs Matrix 036: NTPMat<0, 10, 4, 4> . . . 13μs Matrix 037: NTPMat<0, 10> . . . 14μs Matrix 038: NTPMat<> . . . 14μs Matrix 039: NTPMat<33, 2, 3, 3> . . . 12μs Matrix 040: NTPMat<33, 2> . . . 12μs Matrix 041: NTPMat<> . . . 12μs Matrix 042: ProjMaxPlusMat<3> . . . 52μs Matrix 043: ProjMaxPlusMat<> . . . 43μs Matrix 044: exceptions . . . 24μs Matrix 045: code coverage . . . 24μs MultiStringView 000: catch all . . . 32μs MultiStringView 001: is_prefix . . . 18μs MultiStringView 002: erase . . . 12μs MultiStringView 003: iterators . . . 9000ns MultiStringView 004: constructors (long) . . . 17μs MultiStringView 005: constructors (short) . . . 13μs MultiStringView 006: copy assignment (short assigned to long) . . . 10μs MultiStringView 007: copy assignment (short assigned to short) . . . 10μs MultiStringView 008: move assignment (short assigned to long) . . . 10μs MultiStringView 009: move assignment (short assigned to short) . . . 10μs MultiStringView 010: code coverage . . . 15μs MultiStringView 011: pop_front . . . 34μs MultiStringView 012: append . . . 11μs MultiStringView 013: operators . . . 12μs MultiStringView 014: maximum_common_suffix . . . 11μs MultiStringView 015: deep tests . . . 8000ns ObviouslyInfinite 011: Multiple rule additions . . . 46μs ObviouslyInfinite 012: A power of the generator 'b' does not [...] . . . 11μs ObviouslyInfinite 013: Preserves the number of occurrences o [...] . . . 11μs ObviouslyInfinite 014: Less relations than generators . . . 10μs ObviouslyInfinite 015: Relations preserve length . . . 11μs ObviouslyInfinite 016: Matrix has non empty kernel . . . 11μs ObviouslyInfinite 017: Free product of trivial semigroups . . . 10μs ObviouslyInfinite 018: Another free product . . . 11μs ObviouslyInfinite 019: Infinite but not obviously so . . . 12μs ObviouslyInfinite 020: Finite semigroup . . . 13μs PBR 001: universal product with convenience constructor . . . 34μs PBR 002: universal product . . . 16μs PBR 003: product [bigger than previous] . . . 23μs PBR 004: hash . . . 10μs PBR 005: delete/copy . . . 20μs PBR 006: exceptions . . . 93μs PBR 007: operators . . . 57μs PBR 008: to_string . . . 15μs PBR 009: identity . . . 36μs PBR 010: adapters . . . 8000ns Pool 000: initial . . . 19μs Pool 001: bmat . . . 19μs Pool 002: PoolGuard . . . 15μs Pool 003: transformation products . . . 12μs Presentation 000: vectors of ints . . . 62μs Presentation 001: strings . . . 48μs Presentation 002: constructors (word_type) . . . 18μs Presentation 003: constructors (StaticVector1) . . . 27μs Presentation 004: constructors (std::string) . . . 18μs Presentation 005: alphabet + letters (word_type) . . . 70μs Presentation 006: alphabet + letters (std::string) . . . 24μs Presentation 007: contains_empty_word . . . 10μs Presentation 008: validate_rules throws . . . 29μs Presentation 009: helpers add_rule(s) . . . 59μs Presentation 010: helpers add_rule(s) (std::string) . . . 21μs Presentation 011: helpers add_identity_rules (std::vector/St [...] . . . 28μs Presentation 012: helpers add_identity_rules (std::string) . . . 18μs Presentation 013: helpers add_inverse_rules (all) . . . 122μs Presentation 014: helpers add_inverse_rules (std::string) . . . 33μs Presentation 015: helpers remove_duplicate_rules . . . 38μs Presentation 016: helpers reduce_complements . . . 69μs Presentation 017: helpers sort_each_rule . . . 33μs Presentation 018: helpers sort_rules . . . 34μs Presentation 019: helpers longest_common_subword/replace_subword . . . 255μs Presentation 020: helpers redundant_rule . . . 3989μs Presentation 021: helpers shortlex_compare_concat . . . 9000ns Presentation 022: helpers remove_trivial_rules . . . 44μs Presentation 023: helpers replace_subword (existing, replacement) . . . 38μs Presentation 024: helpers longest_rule . . . 59μs Presentation 025: helpers longest_rule_length . . . 48μs Presentation 026: helpers remove_redundant_generators . . . 61μs Presentation 027: helpers reverse . . . 16μs Presentation 028: in_alphabet . . . 17μs Presentation 029: replace_subword with empty word . . . 15μs Presentation 030: helpers replace_word . . . 23μs Presentation 031: clear . . . 9000ns Presentation 032: letter . . . 27μs Presentation 033: normalize_alphabet . . . 12μs Presentation 034: longest_common_subword issue . . . 235μs Presentation 035: helpers add_zero_rules (std::vector/Static [...] . . . 31μs Presentation 036: helpers add_zero_rules (std::string) . . . 17μs Presentation 037: make_semigroup . . . 40μs Presentation 038: greedy_reduce_length . . . 148μs Presentation 039: aaaaaaaab = aaaaaaaaab strong compression . . . 34μs Presentation 040: change_alphabet . . . 47μs Presentation 041: sort_rules bug . . . 160μs Presentation 042: first_unused_letter/letter . . . 108μs Presentation 043: case where strong compression doesn't work . . . 22μs Presentation 044: proof that . . . 26μs Presentation 045: decompression . . . 13μs Race 001: run_for . . . 10ms Race 002: run_until . . . 10ms Race 003: exceptions . . . 10ms Race 004: iterators . . . 10μs Race 005: find_runner . . . 10μ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 . . . 1020μs Runner 002: run_for . . . 192ms Runner 003: run_for . . . 25ms Runner 004: started . . . 1028μs Runner 005: run_until . . . 8428μs Runner 006: kill . . . 25μs Runner 007: copy constructor . . . 10ms Runner 008: report . . . 20ms Runner 009: run_until with function pointer . . . 25μs SchreierSims 001: trivial perm. group (degree 1) . . . 59μs SchreierSims 002: trivial perm. group (degree 2) . . . 26μs SchreierSims 003: trivial perm. group (degree 500) . . . 359μs SchreierSims 004: symmetric perm. group (degree 5) . . . 45μs SchreierSims 005: symmetric perm. group (degree 8) . . . 44μs SchreierSims 006: symmetric perm. group (degree 9) . . . 54μs SchreierSims 007: alternating perm. group (degree 12) . . . 64μs SchreierSims 008: symmetric perm. group (degree 16) . . . 329μs SchreierSims 009: alternating perm. group (degree 15) . . . 179μs SchreierSims 010: alternating perm. group (degree 16) . . . 388μs SchreierSims 011: dihedral perm. group (order 10) . . . 29μs SchreierSims 012: dihedral perm. group (order 200) . . . 2075μs SchreierSims 013: perm. group T (order 12) . . . 28μs SchreierSims 014: quaternion perm. group (order 8) . . . 32μs SchreierSims 015: perm. group (order 84129611558952960) . . . 157ms SchreierSims 016: perm. group SL(3, 5) (order 372000) . . . 693μs SchreierSims 017: perm. group PSL(4, 8) (order 34558531338240) . . . 54ms SchreierSims 018: perm. Mathieu group M11 (order 7920) . . . 61μs SchreierSims 019: perm. Mathieu group M24 (order 244823040) . . . 115μs SchreierSims 020: perm. Janko Group J1 (order 175560) . . . 1844μs SchreierSims 021: perm. Hall-Janko group (order 604800) . . . 235μs SchreierSims 022: perm. Hall-Janko group (alt.) (order 604800) . . . 13ms SchreierSims 023: perm. Conway group Co3 (order 495766656000) . . . 4737μs SchreierSims 024: perm. Conway group Co3 (alt.) (order 49576 [...] . . . 8604μs SchreierSims 025: perm. Suzuki group (order 448345497600) . . . 56ms SchreierSims 027: perm. Held group (order 4030387200) . . . 97ms SchreierSims 028: perm. group C2 x C2 x C2 (order 8) . . . 23μs SchreierSims 029: perm. group C2 x C2 x C2 x C2 (order 16) . . . 27μs SchreierSims 030: perm. group (S5 x S5) : C2 (order 28800) . . . 46μs SchreierSims 031: perm. group C3 x D8 x A5 (order 1440) . . . 44μs SchreierSims 032: perm. group GL(4, 3) (order 24261120) . . . 361μs SchreierSims 033: perm. group PSL(3, 7) (order 1876896) . . . 546μs SchreierSims 037: symmetric perm. group (degree 5) . . . 21μs SchreierSims 038: alternating perm. group (degree 17) . . . 2502μs SchreierSims 039: exceptions . . . 55μs SchreierSims 040: exceptions . . . 29μs SchreierSims 041: trivial group . . . 21μs SchreierSims 042: A17 bug . . . 2228μs SchreierSims 043: orbits_lookup test . . . 293μs SchreierSims 044: transversal_element and inversal_element test . . . 674μs SchreierSimsHelper 001: trivial perm. group intersection (de [...] . . . 17μs SchreierSimsHelper 002: trivial perm. group intersection (de [...] . . . 20μs SchreierSimsHelper 003: cyclic group intersection (degree 13) . . . 26μs SchreierSimsHelper 004: D10 and Z5 intersection . . . 25μs SchreierSimsHelper 005: D8 and Q8 intersection . . . 33μs SchreierSimsHelper 006: primitive on 8 points intersection . . . 32μs SchreierSimsHelper 007: primitive on 8 points intersection ( [...] . . . 29μs SchreierSimsHelper 008: A13 and PGL(2, 11) intersection . . . 113μs SchreierSimsHelper 009: A13 and PGL(2, 11) intersection (swa [...] . . . 107μs SchreierSimsHelper 012: 3^3:13 and 3^3.2.A(4) intersection . . . 94μs SchreierSimsHelper 015: 3^3(S(4) x 2) and ASL(3, 3) intersection . . . 179μs SchreierSimsHelper 016: 7^2:3 x Q(8) and 7^2:D(2*6) intersection . . . 250μs SchreierSimsHelper 018: D(2*53) and 53:13 intersection . . . 160μs SchreierSimsHelper 019: 2^6:(7 x D_14) and PSL(2, 6)^2.4 int [...] . . . 1095μs SchreierSimsHelper 020: 2^6:(S_3 x GL(3, 2)) and 2.6:Alt(7) [...] . . . 3402μs SchreierSimsHelper 022: PSL(2, 127) and AGL(1, 2^7) intersection . . . 5822μs SchreierSimsHelper 023: PSL(3, 4).2 and PSL(3, 4).2 (nontriv [...] . . . 1157μs SchreierSimsHelper 024: PSL(3, 4).Sym(3) and PSL(3, 4).2 int [...] . . . 1094μs SchreierSimsHelper 025: 3^4:5:4 and D_16:4 intersection . . . 568μs Sims1 000: fp example 1 . . . 817μs Sims1 001: fp example 2 . . . 1249μs Sims1 002: ToddCoxeter failing example . . . 9273μs Sims1 003: ToddCoxeter failing example . . . 501μs Sims1 004: partition_monoid(2) right . . . 3840μs Sims1 006: full_transformation_monoid(3) right . . . 4442μs Sims1 007: full_transformation_monoid(3) left . . . 2552μs Sims1 009: rook_monoid(2, 1) . . . 82μs Sims1 010: symmetric_inverse_monoid(2) from FroidurePin . . . 70μs Sims1 011: symmetric_inverse_monoid(3) . . . 4067μs Sims1 014: temperley_lieb_monoid(3) from presentation . . . 69μs Sims1 015: temperley_lieb_monoid(4) from presentation . . . 496μs Sims1 016: fp semigroup containing given pairs #1 . . . 241μs Sims1 017: fp semigroup containing given pairs #2 . . . 228μs Sims1 018: fp semigroup containing given pairs #3 . . . 374μs Sims1 019: ToddCoxeter failing example . . . 1025μs Sims1 020: fp example 2 . . . 1290μs Sims1 021: exceptions . . . 115μs Sims1 027: from https://mathoverflow.net/questions/423541/ . . . 15ms Sims1 028: from https://mathoverflow.net/questions/423541/ . . . 10ms Sims1 030: presentation with one free generator . . . 156μs Sims1 031: presentation with non-zero index generators . . . 51μs Sims1 032: presentation with empty word . . . 4790μs Sims1 033: constructors . . . 819μs Sims1 034: split_at . . . 149μs Sims1 035: stats . . . 88μs Sims1 036: check iterator requirements . . . 87μs Sims1 040: TransitiveGroup(10, 32) - minimal rep . . . 2171μs Sims1 043: rectangular_band(2, 2) - with and without identity . . . 119μs Sims1 044: trivial group - minimal o.r.c. rep . . . 85μs Sims1 045: right zero semigroup - minimal o.r.c. rep . . . 1054μs Sims1 046: semigroup with faithful non-strictly cyclic actio [...] . . . 531μs Sims1 068: RepOrc . . . 20ms Sims1 069: fp example 1 . . . 289μ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 724μs (132ns 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 . . . 786μs Sims1 072: symmetric_group(n) for n = 4 . . . 1455μs Sims1 073: corner case no generators + no relations . . . 50μs Sims1 076: uninitialized RepOrc . . . 21μs SmallestInteger 001: . . . 10μs StaticTriVector2 045: all . . . 16μs StaticVector2 043: all . . . 15μs Stephen 000: basic test 1 . . . 140μs Stephen 001: basic test 2 . . . 92μs Stephen 002: full transf monoid . . . 11ms Stephen 003: from step_hen 002 . . . 82μs Stephen 004: from step_hen 003 . . . 166μs Stephen 005: from step_hen 004 . . . 40μs Stephen 006: from step_hen 005 . . . 81μs Stephen 008: C(4) monoid normal form (test_case_knuth_bendix_055) . . . 129μs Stephen 009: C(4) monoid normal form (test_case_gap_smallove [...] . . . 59μs Stephen 010: code coverage . . . 198μs Stephen 011: C(4) monoid normal form (test_case_gap_smallove [...] . . . 195μ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) . . . 81μs Stephen 014: C(4) monoid normal form (test_case_ex_3_13_14) . . . 217μs Stephen 015: C(4) monoid normal form (test_case_ex_3_15) . . . 236μs Stephen 016: C(4) monoid normal form (test_case_ex_3_16) . . . 222μs Stephen 017: C(4) monoid normal form (test_case_mt_3) . . . 115μs Stephen 018: C(4) monoid normal form (test_case_mt_5) . . . 101μs Stephen 019: C(4) monoid normal form (test_case_mt_6) . . . 228μs Stephen 020: C(4) monoid normal form (test_case_mt_10) . . . 100μs Stephen 021: C(4) monoid normal form (test_case_mt_13) . . . 69μs Stephen 022: C(4) monoid normal form (test_case_mt_14) . . . 64μs Stephen 023: C(4) monoid normal form (test_case_mt_15) . . . 70μs Stephen 024: C(4) monoid normal form (test_case_mt_16) . . . 121μs Stephen 025: C(4) monoid normal form (test_case_mt_17) . . . 238μs Stephen 026: C(4) monoid normal form (test_case_weak_1) . . . 178μs Stephen 027: C(4) monoid normal form (test_case_weak_2) . . . 107μs Stephen 028: C(4) monoid normal form (test_case_weak_3) . . . 157μs Stephen 029: C(4) monoid normal form (test_case_weak_4) . . . 149μs Stephen 030: C(4) monoid normal form (test_case_weak_5) . . . 87μs Stephen 031: Test behaviour when uninitialised . . . 100μs Suf 005: unite . . . 20μs Suf 007: compress . . . 12μs Suf 011: big chain . . . 9495μs Suf 013: empty table . . . 8000ns Suf 015: join . . . 10μs Suf 017: contains . . . 20μs Suf 019: swap . . . 21μs Timer 001: string method (1 argument) . . . 16μs Timer 002: string method (0 arguments) . . . 10ms Timer 003: reset/elapsed method . . . 20ms Timer 004: operator<< . . . 9000ns ToddCoxeter 000: small 2-sided congruence . . .  -- with HLT + no standardise + full lookahead + no save 799μs  -- with HLT + standardise + full lookahead + no save 728μs  -- with HLT + no standardise + partial lookahead + no save 680μs  -- with HLT + standardise + partial lookahead + no save 677μs  -- with HLT + no standardise + full lookahead + save 692μs  -- with HLT + standardise + full lookahead + save 767μs  -- with HLT + no standardise + partial lookahead + save 728μs  -- with HLT + standardise + partial lookahead + save 685μs  -- with Felsch + no standardisation 689μs  -- with Felsch + standardisation 679μs  -- with random strategy 692μs  -- with Rc style + full lookahead 674μs  -- with Rc style + partial lookahead 674μs  -- with R/C style 684μs  -- with CR style 678μs  -- with Cr style 690μs ToddCoxeter 001: small 2-sided congruence . . .  -- with HLT + no standardise + full lookahead + no save 4170μs  -- with HLT + standardise + full lookahead + no save 4139μs  -- with HLT + no standardise + partial lookahead + no save 4170μs  -- with HLT + standardise + partial lookahead + no save 4149μs  -- with HLT + no standardise + full lookahead + save 4031μs  -- with HLT + standardise + full lookahead + save 3963μs  -- with HLT + no standardise + partial lookahead + save 3902μs  -- with HLT + standardise + partial lookahead + save 3895μs  -- with Felsch + no standardisation 3896μs  -- with Felsch + standardisation 3874μs  -- with random strategy 3887μs  -- with Rc style + full lookahead 3882μs  -- with Rc style + partial lookahead 3882μs  -- with R/C style 3872μs  -- with CR style 4001μs  -- with Cr style 3870μs ToddCoxeter 003: constructed from FroidurePin . . .  -- with Felsch + no standardisation 229ms  -- with Felsch + standardisation 226ms  -- with HLT + no standardise + full lookahead + no save 77ms  -- with HLT + standardise + full lookahead + no save 76ms  -- with HLT + no standardise + partial lookahead + no save 77ms  -- with HLT + standardise + partial lookahead + no save 78ms  -- with HLT + no standardise + full lookahead + save 233ms  -- with HLT + standardise + full lookahead + save 233ms  -- with HLT + no standardise + partial lookahead + save 233ms  -- with HLT + standardise + partial lookahead + save 234ms  -- with random strategy 232ms  -- with Rc style + full lookahead 229ms  -- with Rc style + partial lookahead 228ms  -- with R/C style 82ms  -- with CR style 228ms  -- with Cr style 228ms ToddCoxeter 004: 2-sided congruence from FroidurePin . . .  -- with HLT + no standardise + full lookahead + no save 155μs  -- with HLT + standardise + full lookahead + no save 133μs  -- with HLT + no standardise + partial lookahead + no save 115μs  -- with HLT + standardise + partial lookahead + no save 120μs  -- with HLT + save (throws) 148μs  -- with Felsch (throws) 123μs  -- with random strategy 116μs ToddCoxeter 005: non-trivial two-sided from relations . . .  -- with HLT + no standardise + full lookahead + no save 55μs  -- with HLT + standardise + full lookahead + no save 33μs  -- with HLT + no standardise + partial lookahead + no save 31μs  -- with HLT + standardise + partial lookahead + no save 30μs  -- with HLT + no standardise + full lookahead + save 63μs  -- with HLT + standardise + full lookahead + save 41μs  -- with HLT + no standardise + partial lookahead + save 37μs  -- with HLT + standardise + partial lookahead + save 36μs  -- with Felsch + no standardisation 34μs  -- with Felsch + standardisation 34μs  -- with random strategy 35μs  -- with Rc style + full lookahead 33μs  -- with Rc style + partial lookahead 31μs  -- with R/C style 30μs  -- with CR style 34μs  -- with Cr style 33μs ToddCoxeter 006: small right cong. on free semigroup . . .  -- with HLT + no standardise + full lookahead + no save 33μs  -- with HLT + standardise + full lookahead + no save 27μs  -- with HLT + no standardise + partial lookahead + no save 26μs  -- with HLT + standardise + partial lookahead + no save 28μs  -- with HLT + no standardise + full lookahead + save 30μs  -- with HLT + standardise + full lookahead + save 27μs  -- with HLT + no standardise + partial lookahead + save 26μs  -- with HLT + standardise + partial lookahead + save 26μs  -- with Felsch + no standardisation 26μs  -- with Felsch + standardisation 27μs  -- with random strategy 28μs  -- with Rc style + full lookahead 26μs  -- with Rc style + partial lookahead 24μs  -- with R/C style 25μs  -- with CR style 29μs  -- with Cr style 26μs ToddCoxeter 007: left cong. on free semigroup . . .  -- with HLT + no standardise + full lookahead + no save 43μs  -- with HLT + standardise + full lookahead + no save 28μs  -- with HLT + no standardise + partial lookahead + no save 26μs  -- with HLT + standardise + partial lookahead + no save 26μs  -- with HLT + no standardise + full lookahead + save 31μs  -- with HLT + standardise + full lookahead + save 30μs  -- with HLT + no standardise + partial lookahead + save 29μs  -- with HLT + standardise + partial lookahead + save 28μs  -- with Felsch + no standardisation 28μs  -- with Felsch + standardisation 32μs  -- with random strategy 31μs  -- with Rc style + full lookahead 29μs  -- with Rc style + partial lookahead 27μs  -- with R/C style 28μs  -- with CR style 31μs  -- with Cr style 29μs ToddCoxeter 008: for small fp semigroup . . .  -- with HLT + no standardise + full lookahead + no save 29μs  -- with HLT + standardise + full lookahead + no save 25μs  -- with HLT + no standardise + partial lookahead + no save 24μs  -- with HLT + standardise + partial lookahead + no save 24μs  -- with HLT + no standardise + full lookahead + save 28μs  -- with HLT + standardise + full lookahead + save 27μs  -- with HLT + no standardise + partial lookahead + save 26μs  -- with HLT + standardise + partial lookahead + save 26μs  -- with Felsch + no standardisation 27μs  -- with Felsch + standardisation 26μs  -- with random strategy 29μs  -- with Rc style + full lookahead 26μs  -- with Rc style + partial lookahead 25μs  -- with R/C style 26μs  -- with CR style 28μs  -- with Cr style 37μs ToddCoxeter 009: 2-sided cong. trans. semigroup . . .  -- with HLT + no standardise + full lookahead + no save 186μs  -- with HLT + standardise + full lookahead + no save 174μs  -- with HLT + no standardise + partial lookahead + no save 161μs  -- with HLT + standardise + partial lookahead + no save 163μs  -- with HLT + no standardise + full lookahead + save 467μs  -- with HLT + standardise + full lookahead + save 432μs  -- with HLT + no standardise + partial lookahead + save 434μs  -- with HLT + standardise + partial lookahead + save 429μs  -- with Felsch + no standardisation 371μs  -- with Felsch + standardisation 376μs  -- with random strategy 164μs  -- with Rc style + full lookahead 158μs  -- with Rc style + partial lookahead 162μs  -- with R/C style 174μs  -- with CR style 388μs  -- with Cr style 378μs ToddCoxeter 010: left congruence on transformation semigroup . . .  -- with HLT + no standardise + full lookahead + no save 180μs  -- with HLT + standardise + full lookahead + no save 200μs  -- with HLT + no standardise + partial lookahead + no save 172μs  -- with HLT + standardise + partial lookahead + no save 179μs  -- with HLT + no standardise + full lookahead + save 454μs  -- with HLT + standardise + full lookahead + save 522μs  -- with HLT + no standardise + partial lookahead + save 456μs  -- with HLT + standardise + partial lookahead + save 472μs  -- with Felsch + no standardisation 399μs  -- with Felsch + standardisation 397μs  -- with random strategy 501μs  -- with Rc style + full lookahead 203μs  -- with Rc style + partial lookahead 208μs  -- with R/C style 223μs  -- with CR style 421μs  -- with Cr style 433μs ToddCoxeter 011: right cong. trans. semigroup . . .  -- with HLT + no standardise + full lookahead + no save 187μs  -- with HLT + standardise + full lookahead + no save 188μs  -- with HLT + no standardise + partial lookahead + no save 176μs  -- with HLT + standardise + partial lookahead + no save 189μs  -- with HLT + no standardise + full lookahead + save 439μs  -- with HLT + standardise + full lookahead + save 450μs  -- with HLT + no standardise + partial lookahead + save 446μs  -- with HLT + standardise + partial lookahead + save 449μs  -- with Felsch + no standardisation 339μs  -- with Felsch + standardisation 356μs  -- with random strategy 218μs  -- with Rc style + full lookahead 203μs  -- with Rc style + partial lookahead 237μs  -- with R/C style 236μs  -- with CR style 359μs  -- with Cr style 364μs ToddCoxeter 012: trans. semigroup (size 88) . . .  -- with HLT + no standardise + full lookahead + no save 119μs  -- with HLT + standardise + full lookahead + no save 108μs  -- with HLT + no standardise + partial lookahead + no save 104μs  -- with HLT + standardise + partial lookahead + no save 103μs  -- with HLT + save (throws) 114μs  -- with Felsch (throws) 109μs  -- with random strategy 117μs ToddCoxeter 013: left cong. on trans. semigroup (size 88) . . .  -- with HLT + no standardise + full lookahead + no save 153μs  -- with HLT + standardise + full lookahead + no save 157μs  -- with HLT + no standardise + partial lookahead + no save 146μs  -- with HLT + standardise + partial lookahead + no save 154μs  -- with HLT + no standardise + full lookahead + save 443μs  -- with HLT + standardise + full lookahead + save 459μs  -- with HLT + no standardise + partial lookahead + save 438μs  -- with HLT + standardise + partial lookahead + save 448μs  -- with Felsch + no standardisation 377μs  -- with Felsch + standardisation 372μs  -- with random strategy 192μs  -- with Rc style + full lookahead 179μs  -- with Rc style + partial lookahead 184μs  -- with R/C style 210μs  -- with CR style 399μs  -- with Cr style 400μs ToddCoxeter 014: right cong. on trans. semigroup (size 88) . . .  -- with HLT + no standardise + full lookahead + no save 171μs  -- with HLT + standardise + full lookahead + no save 165μs  -- with HLT + no standardise + partial lookahead + no save 154μs  -- with HLT + standardise + partial lookahead + no save 159μs  -- with HLT + no standardise + full lookahead + save 414μs  -- with HLT + standardise + full lookahead + save 433μs  -- with HLT + no standardise + partial lookahead + save 416μs  -- with HLT + standardise + partial lookahead + save 433μs  -- with Felsch + no standardisation 307μs  -- with Felsch + standardisation 323μs  -- with random strategy 200μs  -- with Rc style + full lookahead 184μs  -- with Rc style + partial lookahead 178μs  -- with R/C style 208μs  -- with CR style 337μs  -- with Cr style 331μs ToddCoxeter 015: finite fp-semigroup, dihedral group of order 6 . . .  -- with HLT + no standardise + full lookahead + no save 72μs  -- with HLT + standardise + full lookahead + no save 54μs  -- with HLT + no standardise + partial lookahead + no save 47μs  -- with HLT + standardise + partial lookahead + no save 49μs  -- with HLT + no standardise + full lookahead + save 67μs  -- with HLT + standardise + full lookahead + save 63μs  -- with HLT + no standardise + partial lookahead + save 59μs  -- with HLT + standardise + partial lookahead + save 62μs  -- with Felsch + no standardisation 57μs  -- with Felsch + standardisation 53μs  -- with random strategy 58μs  -- with Rc style + full lookahead 51μs  -- with Rc style + partial lookahead 48μs  -- with R/C style 48μs  -- with CR style 56μs  -- with Cr style 53μs ToddCoxeter 016: finite fp-semigroup, size 16 . . .  -- with HLT + no standardise + full lookahead + no save 59μs  -- with HLT + standardise + full lookahead + no save 54μs  -- with HLT + no standardise + partial lookahead + no save 49μs  -- with HLT + standardise + partial lookahead + no save 50μs  -- with HLT + no standardise + full lookahead + save 109μs  -- with HLT + standardise + full lookahead + save 107μs  -- with HLT + no standardise + partial lookahead + save 101μs  -- with HLT + standardise + partial lookahead + save 110μs  -- with Felsch + no standardisation 100μs  -- with Felsch + standardisation 89μs  -- with random strategy 95μs  -- with Rc style + full lookahead 56μs  -- with Rc style + partial lookahead 53μs  -- with R/C style 58μs  -- with CR style 97μs  -- with Cr style 92μs ToddCoxeter 017: finite fp-semigroup, size 16 . . .  -- with HLT + no standardise + full lookahead + no save 160μs  -- with HLT + standardise + full lookahead + no save 150μs  -- with HLT + no standardise + partial lookahead + no save 127μs  -- with HLT + standardise + partial lookahead + no save 128μs  -- with HLT + no standardise + full lookahead + save 279μs  -- with HLT + standardise + full lookahead + save 294μs  -- with HLT + no standardise + partial lookahead + save 306μs  -- with HLT + standardise + partial lookahead + save 293μs  -- with Felsch + no standardisation 270μs  -- with Felsch + standardisation 268μs  -- with random strategy 310μs  -- with Rc style + full lookahead 145μs  -- with Rc style + partial lookahead 155μs  -- with R/C style 143μs  -- with CR style 266μs  -- with Cr style 272μs ToddCoxeter 018: test lookahead . . .  -- with HLT + no standardise + full lookahead + no save 254μs  -- with HLT + standardise + full lookahead + no save 247μs  -- with HLT + no standardise + partial lookahead + no save 231μs  -- with HLT + standardise + partial lookahead + no save 229μs  -- with HLT + no standardise + full lookahead + save 406μs  -- with HLT + standardise + full lookahead + save 423μs  -- with HLT + no standardise + partial lookahead + save 400μs  -- with HLT + standardise + partial lookahead + save 414μs ToddCoxeter 019: non-trivial left cong. from semigroup . . .  -- with HLT + no standardise + full lookahead + no save 120μs  -- with HLT + standardise + full lookahead + no save 112μs  -- with HLT + no standardise + partial lookahead + no save 101μs  -- with HLT + standardise + partial lookahead + no save 104μs  -- with HLT + save (throws) 110μs  -- with Felsch (throws) 107μs  -- with random strategy 111μs ToddCoxeter 020: 2-sided cong. on free semigroup . . .  -- with HLT + no standardise + full lookahead + no save 20μs  -- with HLT + standardise + full lookahead + no save 15μs  -- with HLT + no standardise + partial lookahead + no save 14μs  -- with HLT + standardise + partial lookahead + no save 14μs  -- with HLT + no standardise + full lookahead + save 14μs  -- with HLT + standardise + full lookahead + save 14μs  -- with HLT + no standardise + partial lookahead + save 14μs  -- with HLT + standardise + partial lookahead + save 14μs  -- with Felsch + no standardisation 14μs  -- with Felsch + standardisation 24μs  -- with random strategy 13μs ToddCoxeter 021: calling run when obviously infinite . . .  -- with HLT + no standardise + full lookahead + no save 34μs  -- with HLT + standardise + full lookahead + no save 21μs  -- with HLT + no standardise + partial lookahead + no save 20μs  -- with HLT + standardise + partial lookahead + no save 19μs  -- with HLT + no standardise + full lookahead + save 20μs  -- with HLT + standardise + full lookahead + save 19μs  -- with HLT + no standardise + partial lookahead + save 19μs  -- with HLT + standardise + partial lookahead + save 19μs  -- with Felsch + no standardisation 18μs  -- with Felsch + standardisation 21μs  -- with random strategy 19μs ToddCoxeter 022: stellar_monoid S3 . . .  -- with HLT + no standardise + full lookahead + no save 103μs  -- with HLT + standardise + full lookahead + no save 87μs  -- with HLT + no standardise + partial lookahead + no save 77μs  -- with HLT + standardise + partial lookahead + no save 81μs  -- with HLT + no standardise + full lookahead + save 162μs  -- with HLT + standardise + full lookahead + save 167μs  -- with HLT + no standardise + partial lookahead + save 152μs  -- with HLT + standardise + partial lookahead + save 156μs  -- with Felsch + no standardisation 147μs  -- with Felsch + standardisation 134μs  -- with random strategy 141μs  -- with Rc style + full lookahead 87μs  -- with Rc style + partial lookahead 83μs  -- with R/C style 95μs  -- with CR style 145μs  -- with Cr style 138μs ToddCoxeter 023: finite semigroup (size 5) . . .  -- with HLT + no standardise + full lookahead + no save 33μs  -- with HLT + standardise + full lookahead + no save 26μs  -- with HLT + no standardise + partial lookahead + no save 24μs  -- with HLT + standardise + partial lookahead + no save 24μs  -- with HLT + no standardise + full lookahead + save 28μs  -- with HLT + standardise + full lookahead + save 27μs  -- with HLT + no standardise + partial lookahead + save 25μs  -- with HLT + standardise + partial lookahead + save 25μs  -- with Felsch + no standardisation 29μs  -- with Felsch + standardisation 26μs  -- with random strategy 26μs  -- with Rc style + full lookahead 24μs  -- with Rc style + partial lookahead 24μs  -- with R/C style 24μs  -- with CR style 27μs  -- with Cr style 25μs ToddCoxeter 024: exceptions . . .  -- with HLT + no standardise + full lookahead + no save 117μs  -- with HLT + standardise + full lookahead + no save 107μs  -- with HLT + no standardise + partial lookahead + no save 91μs  -- with HLT + standardise + partial lookahead + no save 90μs  -- with HLT + no standardise + full lookahead + save 94μs  -- with HLT + standardise + full lookahead + save 92μs  -- with HLT + no standardise + partial lookahead + save 92μs  -- with HLT + standardise + partial lookahead + save 91μs  -- with Felsch + no standardisation 91μs  -- with Felsch + standardisation 98μs  -- with random strategy 102μs  -- with Rc style + full lookahead 96μs  -- with Rc style + partial lookahead 83μs  -- with R/C style 83μs  -- with CR style 86μs  -- with Cr style 86μs ToddCoxeter 025: obviously infinite . . .  -- with HLT + no standardise + full lookahead + no save 29μs  -- with HLT + standardise + full lookahead + no save 24μs  -- with HLT + no standardise + partial lookahead + no save 24μs  -- with HLT + standardise + partial lookahead + no save 23μs  -- with HLT + no standardise + full lookahead + save 24μs  -- with HLT + standardise + full lookahead + save 22μs  -- with HLT + no standardise + partial lookahead + save 22μs  -- with HLT + standardise + partial lookahead + save 21μs  -- with Felsch + no standardisation 21μs  -- with Felsch + standardisation 21μs  -- with random strategy 21μs ToddCoxeter 026: exceptions . . .  -- with HLT + no standardise + full lookahead + no save 100μs  -- with HLT + standardise + full lookahead + no save 94μs  -- with HLT + no standardise + partial lookahead + no save 92μs  -- with HLT + standardise + partial lookahead + no save 84μs  -- with HLT + no standardise + full lookahead + save 93μs  -- with HLT + standardise + full lookahead + save 90μs  -- with HLT + no standardise + partial lookahead + save 88μs  -- with HLT + standardise + partial lookahead + save 87μs  -- with Felsch + no standardisation 88μs  -- with Felsch + standardisation 88μs  -- with random strategy 83μs  -- with Rc style + full lookahead 86μs  -- with Rc style + partial lookahead 91μs  -- with R/C style 96μs  -- with CR style 83μs  -- with Cr style 84μs ToddCoxeter 027: empty . . . 36μs ToddCoxeter 028: congruence of fpsemigroup::ToddCoxeter . . .  -- with HLT + no standardise + full lookahead + no save 108μs  -- with HLT + standardise + full lookahead + no save 80μs  -- with HLT + no standardise + partial lookahead + no save 88μs  -- with HLT + standardise + partial lookahead + no save 80μs  -- with HLT + save (throws) 85μs  -- with Felsch (throws) 84μs  -- with random strategy 87μs  -- with HLT + no standardise + full lookahead + save 91μs  -- with HLT + standardise + full lookahead + save 93μs  -- with HLT + no standardise + partial lookahead + save 86μs  -- with HLT + standardise + partial lookahead + save 83μs  -- with Felsch + no standardisation 82μs  -- with Felsch + standardisation 81μs  -- with Rc style + full lookahead 80μs  -- with Rc style + partial lookahead 78μs  -- with R/C style 82μs  -- with CR style 75μs  -- with Cr style 74μs ToddCoxeter 029: !KnuthBendix.started() . . .  -- with HLT + no standardise + full lookahead + no save and 2-sided 75μs  -- with HLT + standardise + full lookahead + no save and 2-sided 53μs  -- with HLT + no standardise + partial lookahead + no save and 2-sided 41μs  -- with HLT + standardise + partial lookahead + no save and 2-sided 39μs  -- with HLT + no standardise + full lookahead + save and 2-sided 45μs  -- with HLT + standardise + full lookahead + save and 2-sided 49μs  -- with HLT + no standardise + partial lookahead + save and 2-sided 43μs  -- with HLT + standardise + partial lookahead + save and 2-sided 42μs  -- with Felsch + no standardisation and 2-sided 41μs  -- with Felsch + standardisation and 2-sided 40μs  -- with random strategy and 2-sided 42μs  -- with HLT + no standardise + full lookahead + no save and left 55μs  -- with HLT + standardise + full lookahead + no save and left 44μs  -- with HLT + no standardise + partial lookahead + no save and left 39μs  -- with HLT + standardise + partial lookahead + no save and left 40μs  -- with HLT + no standardise + full lookahead + save and left 47μs  -- with HLT + standardise + full lookahead + save and left 47μs  -- with HLT + no standardise + partial lookahead + save and left 47μs  -- with HLT + standardise + partial lookahead + save and left 44μs  -- with Felsch + no standardisation and left 43μs  -- with Felsch + standardisation and left 43μs  -- with random strategy and left 42μs  -- with HLT + no standardise + full lookahead + no save and right 56μs  -- with HLT + standardise + full lookahead + no save and right 35μs  -- with HLT + no standardise + partial lookahead + no save and right 37μs  -- with HLT + standardise + partial lookahead + no save and right 35μs  -- with HLT + no standardise + full lookahead + save and right 40μs  -- with HLT + standardise + full lookahead + save and right 40μs  -- with HLT + no standardise + partial lookahead + save and right 40μs  -- with HLT + standardise + partial lookahead + save and right 40μs  -- with Felsch + no standardisation and right 39μs  -- with Felsch + standardisation and right 39μs  -- with random strategy and right 42μs ToddCoxeter 030: KnuthBendix.finished() . . .  -- with HLT + no standardise + full lookahead + no save and 2-sided 117μs  -- with HLT + standardise + full lookahead + no save and 2-sided 94μs  -- with HLT + no standardise + partial lookahead + no save and 2-sided 91μs  -- with HLT + standardise + partial lookahead + no save and 2-sided 88μs  -- with HLT + no standardise + full lookahead + save and 2-sided 98μs  -- with HLT + standardise + full lookahead + save and 2-sided 93μs  -- with HLT + no standardise + partial lookahead + save and 2-sided 202μs  -- with HLT + standardise + partial lookahead + save and 2-sided 91μs  -- with Felsch + no standardisation and 2-sided 88μs  -- with Felsch + standardisation and 2-sided 85μs  -- with random strategy and 2-sided 89μs  -- with HLT + no standardise + full lookahead + no save and left 92μs  -- with HLT + standardise + full lookahead + no save and left 96μs  -- with HLT + no standardise + partial lookahead + no save and left 98μs  -- with HLT + standardise + partial lookahead + no save and left 113μs  -- with HLT + no standardise + full lookahead + save and left 105μs  -- with HLT + standardise + full lookahead + save and left 103μs  -- with HLT + no standardise + partial lookahead + save and left 103μs  -- with HLT + standardise + partial lookahead + save and left 103μs  -- with Felsch + no standardisation and left 102μs  -- with Felsch + standardisation and left 102μs  -- with random strategy and left 106μs  -- with HLT + no standardise + full lookahead + no save and right 117μs  -- with HLT + standardise + full lookahead + no save and right 138μs  -- with HLT + no standardise + partial lookahead + no save and right 121μs  -- with HLT + standardise + partial lookahead + no save and right 124μs  -- with HLT + no standardise + full lookahead + save and right 128μs  -- with HLT + standardise + full lookahead + save and right 127μs  -- with HLT + no standardise + partial lookahead + save and right 125μs  -- with HLT + standardise + partial lookahead + save and right 126μs  -- with Felsch + no standardisation and right 124μs  -- with Felsch + standardisation and right 118μs  -- with random strategy and right 136μs ToddCoxeter 031: KnuthBendix.finished() . . .  -- with HLT + no standardise + full lookahead + no save and 2-sided 82μs  -- with HLT + standardise + full lookahead + no save and 2-sided 68μs  -- with HLT + no standardise + partial lookahead + no save and 2-sided 64μs  -- with HLT + standardise + partial lookahead + no save and 2-sided 66μs  -- with HLT + no standardise + full lookahead + save and 2-sided 68μs  -- with HLT + standardise + full lookahead + save and 2-sided 67μs  -- with HLT + no standardise + partial lookahead + save and 2-sided 64μs  -- with HLT + standardise + partial lookahead + save and 2-sided 64μs  -- with Felsch + no standardisation and 2-sided 62μs  -- with Felsch + standardisation and 2-sided 84μs  -- with random strategy and 2-sided 67μs  -- with Rc style + full lookahead and 2-sided 66μs  -- with Rc style + partial lookahead and 2-sided 64μs  -- with R/C style and 2-sided 62μs  -- with CR style and 2-sided 68μs  -- with Cr style and 2-sided 66μs  -- with HLT + no standardise + full lookahead + no save and left 70μs  -- with HLT + standardise + full lookahead + no save and left 64μs  -- with HLT + no standardise + partial lookahead + no save and left 63μs  -- with HLT + standardise + partial lookahead + no save and left 63μs  -- with HLT + no standardise + full lookahead + save and left 68μs  -- with HLT + standardise + full lookahead + save and left 69μs  -- with HLT + no standardise + partial lookahead + save and left 68μs  -- with HLT + standardise + partial lookahead + save and left 76μs  -- with Felsch + no standardisation and left 67μs  -- with Felsch + standardisation and left 64μs  -- with random strategy and left 80μs  -- with Rc style + full lookahead and left 69μs  -- with Rc style + partial lookahead and left 67μs  -- with R/C style and left 64μs  -- with CR style and left 68μs  -- with Cr style and left 71μs  -- with HLT + no standardise + full lookahead + no save and right 77μs  -- with HLT + standardise + full lookahead + no save and right 64μs  -- with HLT + no standardise + partial lookahead + no save and right 63μs  -- with HLT + standardise + partial lookahead + no save and right 63μs  -- with HLT + no standardise + full lookahead + save and right 74μs  -- with HLT + standardise + full lookahead + save and right 71μs  -- with HLT + no standardise + partial lookahead + save and right 68μs  -- with HLT + standardise + partial lookahead + save and right 68μs  -- with Felsch + no standardisation and right 66μs  -- with Felsch + standardisation and right 66μs  -- with random strategy and right 71μs  -- with Rc style + full lookahead and right 72μs  -- with Rc style + partial lookahead and right 67μs  -- with R/C style and right 63μs  -- with CR style and right 68μs  -- with Cr style and right 71μs ToddCoxeter 032: prefill . . . 85μs ToddCoxeter 033: congruence of ToddCoxeter . . .  -- with HLT + no standardise + full lookahead + no save 36μs  -- with HLT + standardise + full lookahead + no save 35μs  -- with HLT + no standardise + partial lookahead + no save 26μs  -- with HLT + standardise + partial lookahead + no save 25μs  -- with HLT + no standardise + full lookahead + save 29μs  -- with HLT + standardise + full lookahead + save 28μs  -- with HLT + no standardise + partial lookahead + save 27μs  -- with HLT + standardise + partial lookahead + save 27μs  -- with random strategy 28μs ToddCoxeter 034: congruence of ToddCoxeter . . .  -- with HLT + no standardise + full lookahead + no save 85μs  -- with HLT + standardise + full lookahead + no save 76μs  -- with HLT + no standardise + partial lookahead + no save 69μs  -- with HLT + standardise + partial lookahead + no save 68μs  -- with HLT + save (throws) 77μs  -- with Felsch (throws) 74μs  -- with random strategy 74μs ToddCoxeter 035: congruence on FpSemigroup . . .  -- with HLT + no standardise + full lookahead + no save 237μs  -- with HLT + standardise + full lookahead + no save 210μs  -- with HLT + no standardise + partial lookahead + no save 198μs  -- with HLT + standardise + partial lookahead + no save 203μs  -- with HLT + no standardise + full lookahead + save 224μs  -- with HLT + standardise + full lookahead + save 232μs  -- with HLT + no standardise + partial lookahead + save 221μs  -- with HLT + standardise + partial lookahead + save 220μs  -- with Felsch + no standardisation 212μs  -- with Felsch + standardisation 210μs  -- with random strategy 210μs  -- with Rc style + full lookahead 185μs  -- with Rc style + partial lookahead 183μs  -- with R/C style 181μs  -- with CR style 210μs  -- with Cr style 206μs ToddCoxeter 036: exceptions . . . 64μs ToddCoxeter 037: copy constructor . . . 31μs ToddCoxeter 038: simplify . . . 127μs ToddCoxeter 039: stylic_monoid . . . 583ms ToddCoxeter 041: some finite classes . . . 322μs ToddCoxeter 043: symmetric_group(7, Coxeter + Moser) . . . 113ms ToddCoxeter 044: Option exceptions . . . 45μs ToddCoxeter 045: Options operator<< . . . 332μs ToddCoxeter 046: Easdown-East-FitzGerald DualSymInv(5) . . .  -- with HLT + no standardise + full lookahead + no save 140ms  -- with HLT + standardise + full lookahead + no save 155ms  -- with HLT + no standardise + partial lookahead + no save 139ms  -- with HLT + standardise + partial lookahead + no save 156ms  -- with HLT + no standardise + full lookahead + save 103ms  -- with HLT + standardise + full lookahead + save 103ms  -- with HLT + no standardise + partial lookahead + save 103ms  -- with HLT + standardise + partial lookahead + save 104ms  -- with Felsch + no standardisation 110ms  -- with Felsch + standardisation 111ms  -- with random strategy 144ms  -- with R/C style 147ms  -- with Rc style + full lookahead 115ms  -- with Rc style + partial lookahead 115ms ToddCoxeter 047: uniform_block_bijection_monoid(3) (FitzGerald) . . .  -- with HLT + no standardise + full lookahead + no save 86μs  -- with HLT + standardise + full lookahead + no save 67μs  -- with HLT + no standardise + partial lookahead + no save 59μs  -- with HLT + standardise + partial lookahead + no save 63μs  -- with HLT + no standardise + full lookahead + save 147μs  -- with HLT + standardise + full lookahead + save 142μs  -- with HLT + no standardise + partial lookahead + save 139μs  -- with HLT + standardise + partial lookahead + save 128μs  -- with Felsch + no standardisation 105μs  -- with Felsch + standardisation 99μs  -- with random strategy 102μs  -- with R/C style 71μs  -- with Rc style + full lookahead 62μs  -- with Rc style + partial lookahead 59μs ToddCoxeter 048: stellar_monoid(7) (Gay-Hivert) . . . 110ms ToddCoxeter 049: partition_monoid(4) (East) . . .  -- with HLT + no standardise + full lookahead + no save 23ms  -- with HLT + standardise + full lookahead + no save 24ms  -- with HLT + no standardise + partial lookahead + no save 23ms  -- with HLT + standardise + partial lookahead + no save 25ms  -- with HLT + no standardise + full lookahead + save 40ms  -- with HLT + standardise + full lookahead + save 42ms  -- with HLT + no standardise + partial lookahead + save 41ms  -- with HLT + standardise + partial lookahead + save 42ms  -- with Felsch + no standardisation 46ms  -- with Felsch + standardisation 47ms  -- with random strategy 48ms  -- with R/C style 26ms  -- with Rc style + full lookahead 50ms  -- with Rc style + partial lookahead 50ms ToddCoxeter 050: singular_brauer_monoid(6) (Maltcev + Mazorchuk) . . . 468ms ToddCoxeter 051: orientation_preserving_monoid(6) (Ruskuc + [...] . . .  -- with HLT + no standardise + full lookahead + no save 18ms ToddCoxeter 052: orientation_reversing_monoid(5) (Ruskuc + [...] . . .  -- with HLT + no standardise + full lookahead + no save 4852μs ToddCoxeter 053: temperley_lieb_monoid(10) (East) . . . 26ms ToddCoxeter 063: add_rule . . .  -- with HLT + no standardise + full lookahead + no save 83μs  -- with HLT + standardise + full lookahead + no save 48μs  -- with HLT + no standardise + partial lookahead + no save 43μs  -- with HLT + standardise + partial lookahead + no save 42μs  -- with HLT + no standardise + full lookahead + save 48μs  -- with HLT + standardise + full lookahead + save 47μs  -- with HLT + no standardise + partial lookahead + save 47μs  -- with HLT + standardise + partial lookahead + save 45μs  -- with Felsch + no standardisation 45μs  -- with Felsch + standardisation 44μs  -- with random strategy 44μs  -- with Rc style + full lookahead 44μs  -- with Rc style + partial lookahead 42μs  -- with R/C style 43μs  -- with CR style 45μs  -- with Cr style 45μs  -- with R/C + Felsch lookahead 47μs  -- with HLT + Felsch lookahead + save 45μs  -- with Cr + small number of f_defs 47μs  -- with Rc + small number of deductions 42μs  -- with Felsch + v2 + no preferred defs 51μs  -- with Felsch + v2 + immediate no stack 46μs  -- with Felsch + v1 + immediate no stack 54μs  -- with Felsch + v1 + immediate yes stack 41μs  -- with large collapse 39μs ToddCoxeter 064: (from kbmag/standalone/kb_data/s4) (KnuthB [...] . . .  -- with HLT + no standardise + full lookahead + no save 191μs ToddCoxeter 066: test validate . . . 46μs ToddCoxeter 067: add_rules after construct. from semigroup . . .  -- with HLT + no standardise + full lookahead + no save 280μs  -- with HLT + standardise + full lookahead + no save 253μs  -- with HLT + no standardise + partial lookahead + no save 264μs  -- with HLT + standardise + partial lookahead + no save 250μs  -- with HLT + save (throws) 245μs  -- with Felsch (throws) 235μs  -- with random strategy 240μs ToddCoxeter 068: Sym(5) from Chapter 3, Proposition 1.1 in NR . . .  -- with Deduction policy == purge_from_top 515μs  -- with Deduction policy == purge_all 465μs  -- with Deduction policy == discard_all_if_no_space 496μs  -- with HLT + no standardise + full lookahead + no save 628μs  -- with HLT + standardise + full lookahead + no save 827μs  -- with HLT + no standardise + partial lookahead + no save 605μs  -- with HLT + standardise + partial lookahead + no save 812μs  -- with HLT + no standardise + full lookahead + save 861μs  -- with HLT + standardise + full lookahead + save 884μs  -- with HLT + no standardise + partial lookahead + save 863μs  -- with HLT + standardise + partial lookahead + save 893μs  -- with Felsch + no standardisation 553μs  -- with Felsch + standardisation 544μs  -- with random strategy 597μs  -- with Rc style + full lookahead 1194μs  -- with Rc style + partial lookahead 1168μs  -- with R/C style 673μs  -- with CR style 582μs  -- with Cr style 565μs ToddCoxeter 069: Chapter 7, Theorem 3.6 in NR (size 243) . . .  -- with HLT + no standardise + full lookahead + no save 255μs  -- with HLT + standardise + full lookahead + no save 302μs  -- with HLT + no standardise + partial lookahead + no save 242μs  -- with HLT + standardise + partial lookahead + no save 286μs  -- with HLT + no standardise + full lookahead + save 374μs  -- with HLT + standardise + full lookahead + save 381μs  -- with HLT + no standardise + partial lookahead + save 376μs  -- with HLT + standardise + partial lookahead + save 384μs  -- with Felsch + no standardisation 1577μs  -- with Felsch + standardisation 1548μs  -- with random strategy 365μs  -- with Rc style + full lookahead 257μs  -- with Rc style + partial lookahead 237μs  -- with R/C style 250μs  -- with CR style 1542μs  -- with Cr style 1530μs ToddCoxeter 070: finite semigroup (size 99) . . .  -- with HLT + no standardise + full lookahead + no save 102μs  -- with HLT + standardise + full lookahead + no save 114μs  -- with HLT + no standardise + partial lookahead + no save 91μs  -- with HLT + standardise + partial lookahead + no save 102μs  -- with HLT + no standardise + full lookahead + save 148μs  -- with HLT + standardise + full lookahead + save 149μs  -- with HLT + no standardise + partial lookahead + save 132μs  -- with HLT + standardise + partial lookahead + save 145μs  -- with Felsch + no standardisation 281μs  -- with Felsch + standardisation 273μs  -- with random strategy 279μs  -- with Rc style + full lookahead 100μs  -- with Rc style + partial lookahead 100μs  -- with R/C style 98μs  -- with CR style 286μs  -- with Cr style 273μs ToddCoxeter 080: KnuthBendix 098 . . .  -- with HLT + no standardise + full lookahead + no save 391ms  -- with HLT + standardise + full lookahead + no save 491ms  -- with HLT + no standardise + partial lookahead + no save 430ms  -- with HLT + standardise + partial lookahead + no save 794ms  -- with HLT + no standardise + full lookahead + save 291ms  -- with HLT + standardise + full lookahead + save 280ms  -- with HLT + no standardise + partial lookahead + save 284ms  -- with HLT + standardise + partial lookahead + save 297ms  -- with Felsch + no standardisation 258ms  -- with Felsch + standardisation 266ms  -- with random strategy 280ms  -- with Rc style + full lookahead 252ms  -- with Rc style + partial lookahead 266ms  -- with R/C style 402ms  -- with CR style 263ms  -- with Cr style 261ms ToddCoxeter 084: Campbell-Reza 1 . . .  -- with HLT + no standardise + full lookahead + no save 105μs  -- with HLT + standardise + full lookahead + no save 72μs  -- with HLT + no standardise + partial lookahead + no save 67μs  -- with HLT + standardise + partial lookahead + no save 64μs  -- with HLT + no standardise + full lookahead + save 76μs  -- with HLT + standardise + full lookahead + save 68μs  -- with HLT + no standardise + partial lookahead + save 67μs  -- with HLT + standardise + partial lookahead + save 77μs  -- with Felsch + no standardisation 74μs  -- with Felsch + standardisation 71μs  -- with random strategy 62μs  -- with Rc style + full lookahead 60μs  -- with Rc style + partial lookahead 57μs  -- with R/C style 59μs  -- with CR style 73μs  -- with Cr style 72μs ToddCoxeter 085: Renner monoid type D4 (Gay-Hivert), q = 1 . . .  -- with HLT + no standardise + full lookahead + no save 131ms  -- with HLT + standardise + full lookahead + no save 85ms  -- with HLT + no standardise + partial lookahead + no save 83ms  -- with HLT + standardise + partial lookahead + no save 83ms  -- with HLT + no standardise + full lookahead + save 83ms  -- with HLT + standardise + full lookahead + save 84ms  -- with HLT + no standardise + partial lookahead + save 82ms  -- with HLT + standardise + partial lookahead + save 83ms  -- with Felsch + no standardisation 83ms  -- with Felsch + standardisation 82ms  -- with random strategy 82ms  -- with Rc style + full lookahead 84ms  -- with Rc style + partial lookahead 83ms  -- with R/C style 82ms  -- with CR style 83ms  -- with Cr style 83ms ToddCoxeter 086: trivial semigroup . . . 218ms ToddCoxeter 092: ACE --- perf602p5 - HLT . . .  -- with HLT + no standardise + full lookahead + no save 27ms  -- with HLT + standardise + full lookahead + no save 27ms  -- with HLT + no standardise + partial lookahead + no save 28ms  -- with HLT + standardise + partial lookahead + no save 27ms  -- with HLT + no standardise + full lookahead + save 11ms  -- with HLT + standardise + full lookahead + save 11ms  -- with HLT + no standardise + partial lookahead + save 11ms  -- with HLT + standardise + partial lookahead + save 11ms  -- with random strategy 27ms  -- with Felsch + no standardisation 9306μs  -- with Felsch + standardisation 8742μs ToddCoxeter 094: ACE --- C5 - HLT . . .  -- with HLT + no standardise + full lookahead + no save 84μs  -- with HLT + standardise + full lookahead + no save 56μs  -- with HLT + no standardise + partial lookahead + no save 54μs  -- with HLT + standardise + partial lookahead + no save 49μs  -- with HLT + no standardise + full lookahead + save 69μs  -- with HLT + standardise + full lookahead + save 71μs  -- with HLT + no standardise + partial lookahead + save 64μs  -- with HLT + standardise + partial lookahead + save 63μs  -- with random strategy 56μs  -- with Felsch + no standardisation 63μs  -- with Felsch + standardisation 60μs ToddCoxeter 095: ACE --- A5-C5 . . .  -- with HLT + no standardise + full lookahead + no save 98μs  -- with HLT + standardise + full lookahead + no save 100μs  -- with HLT + no standardise + partial lookahead + no save 93μs  -- with HLT + standardise + partial lookahead + no save 96μs  -- with HLT + no standardise + full lookahead + save 124μs  -- with HLT + standardise + full lookahead + save 121μs  -- with HLT + no standardise + partial lookahead + save 117μs  -- with HLT + standardise + partial lookahead + save 117μs  -- with random strategy 102μs  -- with Felsch + no standardisation 116μs  -- with Felsch + standardisation 105μs ToddCoxeter 096: ACE --- A5 . . .  -- with HLT + no standardise + full lookahead + no save 158μs  -- with HLT + standardise + full lookahead + no save 172μs  -- with HLT + no standardise + partial lookahead + no save 128μs  -- with HLT + standardise + partial lookahead + no save 164μs  -- with HLT + no standardise + full lookahead + save 253μs  -- with HLT + standardise + full lookahead + save 263μs  -- with HLT + no standardise + partial lookahead + save 244μs  -- with HLT + standardise + partial lookahead + save 254μs  -- with random strategy 269μs  -- with Felsch + no standardisation 204μs  -- with Felsch + standardisation 186μs ToddCoxeter 098: relation ordering . . .  -- with Felsch + no standardisation 394μs  -- with Felsch + standardisation 389μs  -- with HLT + no standardise + full lookahead + no save 204μs  -- with HLT + standardise + full lookahead + no save 196μs  -- with HLT + no standardise + partial lookahead + no save 190μs  -- with HLT + standardise + partial lookahead + no save 191μs  -- with HLT + no standardise + full lookahead + save 425μs  -- with HLT + standardise + full lookahead + save 409μs  -- with HLT + no standardise + partial lookahead + save 420μs  -- with HLT + standardise + partial lookahead + save 418μs  -- with random strategy 219μs ToddCoxeter 099: short circuit size in obviously infinite . . . 15μs ToddCoxeter 101: http://brauer.maths.qmul.ac.uk/Atlas/spor/M [...] . . . 451ms ToddCoxeter 108: http://brauer.maths.qmul.ac.uk/Atlas/lin/L3 [...] . . . 398ms ToddCoxeter 110: to_gap_string . . . 66μs ToddCoxeter 111: partition_monoid(2) . . . 75μs ToddCoxeter 112: brauer_monoid(4) (Kudryavtseva + Mazorchuk) . . . 301μs ToddCoxeter 113: symmetric_inverse_monoid . . . 13ms ToddCoxeter 116: symmetric_group(7, Burnside + Miller) . . . 339ms UF 001: constructor by size . . . 11μs UF 002: copy constructor . . . 16μs UF 003: find . . . 12μs Ukkonen 000: basic tests . . . 36ms Ukkonen 001: maximal_piece_prefix 1 . . . 27μs Ukkonen 002: maximal_piece_prefix 2 . . . 31μs Ukkonen 003: maximal_piece_prefix 3 . . . 138μs Ukkonen 004: number_of_pieces . . . 53μs Ukkonen 005: traverse . . . 19μs Ukkonen 006: dot . . . 138μs Ukkonen 007: strings . . . 38μs Ukkonen 008: dfs #01 . . . 26μs Ukkonen 009: dfs #02 . . . 25μs Ukkonen 010: dfs #03 . . . 23μs Ukkonen 011: dfs #04 . . . 60μs Ukkonen 012: dfs #05 . . . 36μs Ukkonen 013: dfs #06 . . . 33μs Ukkonen 014: dfs #07 . . . 81μs Ukkonen 015: dfs #08 . . . 48μs Ukkonen 016: dfs #09 . . . 81μs Ukkonen 017: dfs #10 . . . 22μs Ukkonen 018: pieces . . . 28μs Ukkonen 019: code coverage . . . 35μs Ukkonen 020: code coverage . . . 8000ns action_digraph_helper 015: detail::to_string . . . 18μs action_digraph_helper 016: make . . . 33μs action_digraph_helper 017: is_connected . . . 118μs action_digraph_helper 018: is_strictly_cyclic . . . 5732μs follow_path 012: 20 node path . . . 15μs fpsemi-examples 002: full_transformation_monoid author except . . . 25μs fpsemi-examples 003: full_transformation_monoid degree except . . . 14μs fpsemi-examples 005: partial_transformation_monoid author except . . . 15μs fpsemi-examples 006: partial_transformation_monoid degree except . . . 13μs fpsemi-examples 007: symmetric_inverse_monoid(5) . . . 13ms fpsemi-examples 008: symmetric_group auth except . . . 22μs fpsemi-examples 009: symmetric_group degree except . . . 15μs fpsemi-examples 010: symmetric_group(6) Burnside + Miller . . . 19ms fpsemi-examples 011: dual_symmetric_inverse_monoid(5) . . . 140ms fpsemi-examples 012: dual_symmetric_inverse_monoid auth except . . . 21μs fpsemi-examples 013: dual_symmetric_inverse_monoid degree except . . . 14μs fpsemi-examples 014: uniform_block_bijection_monoid(5) . . . 9239μs fpsemi-examples 015: uniform_block_bijection_monoid auth except . . . 22μs fpsemi-examples 016: uniform_block_bijection_monoid degree except . . . 13μs fpsemi-examples 019: partition_monoid auth except . . . 43μs fpsemi-examples 020: partition_monoid degree except . . . 21μs fpsemi-examples 022: monogenic_semigroup(4, 9) . . . 36μs fpsemi-examples 023: fibonacci_semigroup(2, 5) . . . 64μs fpsemi-examples 024: temperley_lieb_monoid(10) . . . 31ms fpsemi-examples 025: singular_brauer_monoid(6) . . . 320ms fpsemi-examples 026: orientation_preserving_monoid(6) . . . 18ms fpsemi-examples 027: orientation_reversing_monoid(5) . . . 4842μs fpsemi-examples 028: chinese_monoid(3) . . . 98μs fpsemi-examples 029: plactic_monoid(3) . . . 71μs fpsemi-examples 030: stylic_monoid(3) . . . 593μs fpsemi-examples 031: symmetric_group(6) Carmichael . . . 11ms fpsemi-examples 032: symmetric_group(6) Moore index 0 . . . 7915μs fpsemi-examples 033: symmetric_group(6) Coxeter + Moser . . . 4445μs fpsemi-examples 034: test for the rook monoid . . . 208μs fpsemi-examples 035: alternating_group(7) Moore . . . 17ms fpsemi-examples 036: alternating_group auth except . . . 23μs fpsemi-examples 037: alternating_group degree except . . . 14μs fpsemi-examples 038: partial_transformation_monoid(3) Machine . . . 240μs fpsemi-examples 039: chinese_monoid degree except . . . 24μs fpsemi-examples 040: monogenic_semigroup degree except . . . 20μs fpsemi-examples 041: rectangular_band degree except . . . 30μs fpsemi-examples 042: stellar_monoid degree except . . . 18μs fpsemi-examples 043: plactic_monoid degree except . . . 18μs fpsemi-examples 044: stylic_monoid degree except . . . 17μs fpsemi-examples 045: temperley_lieb_monoid degree except . . . 22μs fpsemi-examples 046: singular_brauer_monoid degree except . . . 22μs fpsemi-examples 047: orientation_preserving_monoid degree except . . . 21μs fpsemi-examples 048: orientation_reversing_monoid degree except . . . 22μs fpsemi-examples 049: test default values . . . 2099μs fpsemi-examples 052: not_symmetric_group(5) Guralnick + Kant [...] . . . 1970μs fpsemi-examples 053: order_preserving_monoid(5) . . . 491μs fpsemi-examples 055: order_preserving_monoid degree except . . . 29μs fpsemi-examples 056: cyclic_inverse_monoid(4) Fernandes 1 . . . 187μs fpsemi-examples 057: cyclic_inverse_monoid(8) Fernandes index 1 . . . 11ms fpsemi-examples 058: cyclic_inverse_monoid Fernandes index 0 . . . 18ms fpsemi-examples 059: order_preserving_cyclic_inverse_monoid(4) . . . 119μs fpsemi-examples 060: order_preserving_cyclic_inverse_monoid(10) . . . 21ms fpsemi-examples 061: cyclic_inverse_monoid degree except . . . 46μs fpsemi-examples 062: cyclic_inverse_monoid author except . . . 19μs fpsemi-examples 063: order_preserving_monoid degree except . . . 20μs fpsemi-examples 064: symmetric_group index except . . . 20μs fpsemi-examples 065: symmetric_group(7) Moore index 1 . . . 4553μs fpsemi-examples 066: order_preserving_cyclic_inverse_monoid(10) . . . 21ms fpsemi-examples 067: partial_isometries_cycle_graph_monoid(5) . . . 473μs fpsemi-examples 068: partial_isometries_cycle_graph_monoid(10) . . . 189ms fpsemi-examples 069: partial_isometries_cycle_graph_monoid d [...] . . . 29μs fpsemi-examples 070: partial_isometries_cycle_graph_monoid(4) . . . 199μs freeband_equal_to 001: . . . 652μs is_acyclic 000: 2-cycle . . . 11μs is_acyclic 001: 1-cycle . . . 9000ns is_acyclic 002: multi-digraph . . . 12μs is_acyclic 003: complete digraph 100 . . . 86μs is_acyclic 004: acyclic digraph with 20000 nodes . . . 1675μs is_acyclic 006: for a node . . . 604μs is_acyclic 007: for a node . . . 13μs is_reachable 008: acyclic 20 node digraph . . . 31μs is_reachable 009: 100 node path . . . 6284μs is_reachable 010: 100 node cycle . . . 6185μs is_reachable 011: 20 node clique . . . 296μs last_node_on_path_nc 014: 20 node path . . . 12μs make 000: from FroidurePin . . . 350μs make 001: from FroidurePin and alphabet . . . 435μs make 002: presentation from presentation . . . 128μs make 003: presentation from presentation and alphabet . . . 29μs make 004: argument checks issue . . . 60μs make 005: use human readable alphabet for make . . . 14μs make> 000: from ActionDigraph . . . 1094μs make> 001: from ActionDigraph (exceptions) . . . 31μs number_of_words 001: . . . 15μs operator"" _w 003: literal . . . 10μs silo 000: alphabet: a, min: 0, max: 10 . . . 30μs silo 001: corner cases . . . 18μs silo 002: alphabet: ab, min: 1, max: 4 . . . 30μs silo 003: alphabet: abc, min: 0, max: 13 . . . 50ms silo 004: code coverage . . . 21μs sislo 005: alphabet: a, min: 0, max: 10 . . . 32μs sislo 006: corner cases . . . 38μs sislo 007: alphabet: ab, min: 1, max: 4 . . . 59μs sislo 008: alphabet: abc, min: 0, max: 13 . . . 44ms sislo 009: code coverage . . . 16μs string 000: detail::is_suffix . . . 10μs string 001: detail::is_prefix . . . 10μs string 002: detail::maximum_common_suffix . . . 9000ns string 003: detail::group_digits . . . 16μs string_to_word 002: . . . 10μs validate_label 013: 20 node path . . . 31μs wilo 001: corner cases . . . 31μs wilo 002: letters: 2, min: 1, max: 4 . . . 22μs wilo 003: letters: 2, min: 1, max: 4 . . . 35μs wilo 004: letters: 3, min: 0, max: 10 . . . 9725μs wilo 005: letters: 3, min: 0, max: 13 . . . 136ms wilo 006: forward iterator requirements . . . 132ms wilo 007: more corner cases . . . 45μs wilo 008: starting at a given word 1 . . . 99μs wilo 009: starting at a given word 2 . . . 15μs wilo 010: code coverage . . . 15μs wislo 000: n: 2, min; 1, max: 4 . . . 20μs wislo 001: corner cases . . . 30μs wislo 002: n: 3, min; 0, max: 10 . . . 3337μs wislo 003: n: 3, min; 0, max: 13 . . . 125ms wislo 004: lex + sort . . . 429ms wislo 005: code coverage . . . 23μs =============================================================================== All tests passed (1290401 assertions in 1201 test cases) >>> libsemigroups: Entering fakeroot... make[1]: Entering directory '/home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.3' ./config/install-sh -c -d '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib' ./config/install-sh -c -d '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups/backward-cpp' /bin/sh ./libtool --mode=install /usr/bin/install -c libsemigroups.la '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib' /usr/bin/install -c -m 644 extern/backward-cpp/backward.hpp '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups/backward-cpp' ./config/install-sh -c -d '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups/HPCombi/include/fallback' ./config/install-sh -c -d '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups/HPCombi/include' ./config/install-sh -c -d '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/pkgconfig' /usr/bin/install -c -m 644 extern/HPCombi/include/fallback/gcdlcm.hpp extern/HPCombi/include/fallback/seq.hpp '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups/HPCombi/include/fallback' ./config/install-sh -c -d '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups' ./config/install-sh -c -d '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups/textflowcpp' /usr/bin/install -c -m 644 libsemigroups.pc '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/pkgconfig' /usr/bin/install -c -m 644 extern/HPCombi/include/bmat8.hpp extern/HPCombi/include/bmat8_impl.hpp extern/HPCombi/include/epu.hpp extern/HPCombi/include/epu_impl.hpp extern/HPCombi/include/hpcombi.hpp extern/HPCombi/include/perm16.hpp extern/HPCombi/include/perm16_impl.hpp extern/HPCombi/include/perm_generic.hpp extern/HPCombi/include/perm_generic_impl.hpp extern/HPCombi/include/power.hpp extern/HPCombi/include/testtools.hpp extern/HPCombi/include/vect16.hpp extern/HPCombi/include/vect_generic.hpp '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups/HPCombi/include' libtool: install: /usr/bin/install -c .libs/libsemigroups.so.2.0.0 /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/libsemigroups.so.2.0.0 /usr/bin/install -c -m 644 include/libsemigroups/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: (cd /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib && { ln -s -f libsemigroups.so.2.0.0 libsemigroups.so.2 || { rm -f libsemigroups.so.2 && ln -s libsemigroups.so.2.0.0 libsemigroups.so.2; }; }) libtool: install: (cd /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib && { ln -s -f libsemigroups.so.2.0.0 libsemigroups.so || { rm -f libsemigroups.so && ln -s libsemigroups.so.2.0.0 libsemigroups.so; }; }) /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: /usr/bin/install -c .libs/libsemigroups.lai /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/libsemigroups.la libtool: install: /usr/bin/install -c .libs/libsemigroups.a /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/libsemigroups.a libtool: install: chmod 644 /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/libsemigroups.a libtool: install: ranlib /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/libsemigroups.a libtool: warning: remember to run 'libtool --finish /usr/lib' make[1]: Leaving directory '/home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.3' >>> libsemigroups-static*: Running split function static... 'usr/lib/libsemigroups.a' -> '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups-static/usr/lib/libsemigroups.a' >>> libsemigroups-static*: Preparing subpackage libsemigroups-static... >>> libsemigroups-static*: Stripping binaries >>> libsemigroups-static*: Running postcheck for libsemigroups-static >>> libsemigroups-dev*: Running split function dev... 'usr/include' -> '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups-dev/usr/include' 'usr/lib/pkgconfig' -> '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups-dev/usr/lib/pkgconfig' 'usr/lib/libsemigroups.so' -> '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups-dev/usr/lib/libsemigroups.so' >>> libsemigroups-dev*: Preparing subpackage libsemigroups-dev... >>> libsemigroups-dev*: Stripping binaries >>> libsemigroups-dev*: Running postcheck for libsemigroups-dev >>> libsemigroups*: Running postcheck for libsemigroups >>> libsemigroups*: Preparing package libsemigroups... >>> libsemigroups*: Stripping binaries >>> libsemigroups*: Scanning shared objects >>> libsemigroups-static*: Scanning shared objects >>> libsemigroups-dev*: Scanning shared objects >>> libsemigroups*: Tracing dependencies... so:libc.musl-x86_64.so.1 so:libfmt.so.12 so:libgcc_s.so.1 so:libstdc++.so.6 >>> libsemigroups*: Package size: 2.0 MB >>> libsemigroups*: Compressing data... >>> libsemigroups*: Create checksum... >>> libsemigroups*: Create libsemigroups-2.7.3-r2.apk >>> libsemigroups-static*: Tracing dependencies... libsemigroups-dev >>> libsemigroups-static*: Package size: 5.7 MB >>> libsemigroups-static*: Compressing data... >>> libsemigroups-static*: Create checksum... >>> libsemigroups-static*: Create libsemigroups-static-2.7.3-r2.apk >>> libsemigroups-dev*: Tracing dependencies... libsemigroups=2.7.3-r2 pc:eigen3 pc:fmt pkgconfig >>> libsemigroups-dev*: Package size: 2.0 MB >>> libsemigroups-dev*: Compressing data... >>> libsemigroups-dev*: Create checksum... >>> libsemigroups-dev*: Create libsemigroups-dev-2.7.3-r2.apk >>> libsemigroups: Build complete at Tue, 29 Sep 2026 15:22:09 +0000 elapsed time 0h 2m 49s >>> libsemigroups: Cleaning up srcdir >>> libsemigroups: Cleaning up pkgdir >>> libsemigroups: Cleaning up tmpdir >>> libsemigroups: Uninstalling dependencies... (1/4) Purging .makedepends-libsemigroups (20260929.151920) (2/4) Purging eigen-dev (3.4.0-r10) (3/4) Purging fmt-dev (12.2.0-r0) (4/4) Purging fmt (12.2.0-r0) OK: 441.9 MiB in 107 packages >>> libsemigroups: Updating the testing/x86_64 repository index... >>> libsemigroups: Signing the index...