>>> libsemigroups: Building testing/libsemigroups 2.7.1-r1 (using abuild 3.11.0-r1) started Mon, 15 May 2023 23:10:18 +0000 >>> libsemigroups: Checking sanity of /home/buildozer/aports/testing/libsemigroups/APKBUILD... >>> libsemigroups: Analyzing dependencies... >>> libsemigroups: Installing for build: build-base eigen-dev fmt-dev (1/4) Installing eigen-dev (3.4.0-r9) (2/4) Installing fmt (9.1.0-r1) (3/4) Installing fmt-dev (9.1.0-r1) (4/4) Installing .makedepends-libsemigroups (20230515.231019) OK: 384 MiB in 106 packages >>> libsemigroups: Cleaning up srcdir >>> libsemigroups: Cleaning up pkgdir >>> libsemigroups: Fetching https://distfiles.alpinelinux.org/distfiles/edge/libsemigroups-2.7.1.tar.gz % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 2485k 100 2485k 0 0 13.4M 0 --:--:-- --:--:-- --:--:-- 13.4M >>> libsemigroups: Fetching https://distfiles.alpinelinux.org/distfiles/edge/libsemigroups-2.7.1.tar.gz >>> libsemigroups: Checking sha512sums... libsemigroups-2.7.1.tar.gz: OK >>> libsemigroups: Unpacking /var/cache/distfiles/edge/libsemigroups-2.7.1.tar.gz... checking build system type... x86_64-alpine-linux-musl checking host system type... x86_64-alpine-linux-musl checking target system type... x86_64-alpine-linux-musl checking for a BSD-compatible install... /usr/bin/install -c checking whether build environment is sane... yes checking for a race-free mkdir -p... ./config/install-sh -c -d checking for gawk... no checking for mawk... no checking for nawk... no checking for awk... awk checking whether make sets $(MAKE)... yes checking whether make supports nested variables... yes checking how to create a pax tar archive... gnutar checking whether make supports nested variables... (cached) yes checking whether make supports the include directive... yes (GNU style) checking for x86_64-alpine-linux-musl-gcc... gcc checking whether the C compiler works... yes checking for C compiler default output file name... a.out checking for suffix of executables... checking whether we are cross compiling... no checking for suffix of object files... o checking whether the compiler supports GNU C... yes checking whether gcc accepts -g... yes checking for gcc option to enable C11 features... none needed checking whether gcc understands -c and -o together... yes checking dependency style of gcc... gcc3 checking for x86_64-alpine-linux-musl-ar... no checking for x86_64-alpine-linux-musl-lib... no checking for x86_64-alpine-linux-musl-link... no checking for ar... ar checking the archiver (ar) interface... ar checking whether the compiler supports GNU C++... yes checking whether g++ accepts -g... yes checking for g++ option to enable C++11 features... none needed checking dependency style of g++... gcc3 checking whether g++ supports C++14 features by default... yes checking for a sed that does not truncate output... /bin/sed checking how to run the C preprocessor... gcc -E checking for grep that handles long lines and -e... /bin/grep checking for egrep... /bin/grep -E checking whether gcc is Clang... no checking whether pthreads work with "-pthread" and "-lpthread"... yes checking for joinable pthread attribute... PTHREAD_CREATE_JOINABLE checking whether more special flags are required for pthreads... no checking for PTHREAD_PRIO_INHERIT... yes checking for pthread_create in -lpthread... yes checking whether to enable maintainer-specific portions of Makefiles... no checking whether ln -s works... yes checking how to print strings... printf checking for a sed that does not truncate output... (cached) /bin/sed checking for fgrep... /bin/grep -F checking for ld used by gcc... /usr/x86_64-alpine-linux-musl/bin/ld checking if the linker (/usr/x86_64-alpine-linux-musl/bin/ld) is GNU ld... yes checking for BSD- or MS-compatible name lister (nm)... /usr/bin/nm -B checking the name lister (/usr/bin/nm -B) interface... BSD nm checking the maximum length of command line arguments... 98304 checking how to convert x86_64-alpine-linux-musl file names to x86_64-alpine-linux-musl format... func_convert_file_noop checking how to convert x86_64-alpine-linux-musl file names to toolchain format... func_convert_file_noop checking for /usr/x86_64-alpine-linux-musl/bin/ld option to reload object files... -r checking for x86_64-alpine-linux-musl-file... no checking for file... file checking for x86_64-alpine-linux-musl-objdump... no checking for objdump... objdump checking how to recognize dependent libraries... pass_all checking for x86_64-alpine-linux-musl-dlltool... no checking for dlltool... no checking how to associate runtime and link libraries... printf %s\n checking for x86_64-alpine-linux-musl-ar... ar checking for archiver @FILE support... @ checking for x86_64-alpine-linux-musl-strip... no checking for strip... strip checking for x86_64-alpine-linux-musl-ranlib... no checking for ranlib... ranlib checking command to parse /usr/bin/nm -B output from gcc object... ok checking for sysroot... no checking for a working dd... /bin/dd checking how to truncate binary pipes... /bin/dd bs=4096 count=1 checking for x86_64-alpine-linux-musl-mt... no checking for mt... no checking if : is a manifest tool... no checking for stdio.h... yes checking for stdlib.h... yes checking for string.h... yes checking for inttypes.h... yes checking for stdint.h... yes checking for strings.h... yes checking for sys/stat.h... yes checking for sys/types.h... yes checking for unistd.h... yes checking for dlfcn.h... yes checking for objdir... .libs checking if gcc supports -fno-rtti -fno-exceptions... no checking for gcc option to produce PIC... -fPIC -DPIC checking if gcc PIC flag -fPIC -DPIC works... yes checking if gcc static flag -static works... yes checking if gcc supports -c -o file.o... yes checking if gcc supports -c -o file.o... (cached) yes checking whether the gcc linker (/usr/x86_64-alpine-linux-musl/bin/ld -m elf_x86_64) supports shared libraries... yes checking whether -lc should be explicitly linked in... no checking dynamic linker characteristics... GNU/Linux ld.so checking how to hardcode library paths into programs... immediate checking whether stripping libraries is possible... yes checking if libtool supports shared libraries... yes checking whether to build shared libraries... yes checking whether to build static libraries... yes checking how to run the C++ preprocessor... g++ -E checking for ld used by g++... /usr/x86_64-alpine-linux-musl/bin/ld -m elf_x86_64 checking if the linker (/usr/x86_64-alpine-linux-musl/bin/ld -m elf_x86_64) is GNU ld... yes checking whether the g++ linker (/usr/x86_64-alpine-linux-musl/bin/ld -m elf_x86_64) supports shared libraries... yes checking for g++ option to produce PIC... -fPIC -DPIC checking if g++ PIC flag -fPIC -DPIC works... yes checking if g++ static flag -static works... yes checking if g++ supports -c -o file.o... yes checking if g++ supports -c -o file.o... (cached) yes checking whether the g++ linker (/usr/x86_64-alpine-linux-musl/bin/ld -m elf_x86_64) supports shared libraries... yes checking dynamic linker characteristics... (cached) GNU/Linux ld.so checking how to hardcode library paths into programs... immediate checking for limits.h... yes checking for stdint.h... (cached) yes checking for stdlib.h... (cached) yes checking for sys/time.h... yes checking for unistd.h... (cached) yes checking for pthread.h... yes checking for _Bool... yes checking for stdbool.h that conforms to C99... yes checking for inline... inline checking for int64_t... yes checking for size_t... yes checking for uint64_t... yes checking for ptrdiff_t... yes checking size of void *... 8 checking for GNU libc compatible malloc... yes checking for gettimeofday... yes checking for memset... yes checking for pow... yes checking for sqrt... yes checking whether to enable debug mode... no checking whether to enable verbose mode... no checking whether enable compiler warnings... no checking whether to enable stats mode... yes checking whether to enable backward mode... yes checking for execinfo.h... no configure: WARNING: backward enabled but execinfo.h not found, disabling backward! checking whether to build with code coverage support... no checking whether to enable HPCombi... yes checking for ./extern/HPCombi/VERSION... yes checking the required version of HPCombi... 0.0.6 checking the version of HPCombi that's present... 0.0.6 checking whether C++ compiler accepts -mavx... yes checking whether C++ compiler accepts -flax-vector-conversions... yes checking for x86intrin.h... yes checking for _mm_blendv_epi8... yes checking for _mm_cmpeq_epi8... yes checking for _mm_cmpestri... yes checking for _mm_cmpestrm... yes checking for _mm_cmplt_epi8... yes checking for _mm_extract_epi64... yes checking for _mm_max_epi8... yes checking for _mm_max_epu8... yes checking for _mm_min_epi8... yes checking for _mm_min_epu8... yes checking for _mm_movemask_epi8... yes checking for _mm_popcnt_u32... yes checking for _mm_set_epi64x... yes checking for _mm_shuffle_epi8... yes checking for _mm_slli_epi32... yes checking for HPCOMBI_CONSTEXPR_FUN_ARGS... yes checking for x86_64-alpine-linux-musl-pkg-config... no checking for pkg-config... /usr/bin/pkg-config checking pkg-config is at least version 0.9.0... yes checking whether to enable fmt... yes checking whether to use external fmt... yes checking for fmt >= 8.1.1... yes checking whether to enable eigen... yes checking whether to use external eigen... yes checking for eigen3 >= 3.3.7... yes checking for __builtin_popcountl... yes checking for __builtin_clzll... yes checking whether to try and use __builtin_popcntl... yes checking whether to try and use __builtin_clzlll... yes checking that generated files are newer than configure... done configure: creating ./config.status config.status: creating Makefile config.status: creating libsemigroups.pc config.status: creating config/config.h config.status: executing depfiles commands config.status: executing include/libsemigroups/config.hpp commands config.status: creating include/libsemigroups/config.hpp - prefix LIBSEMIGROUPS for config/config.h defines config.status: executing libtool commands CXX src/libsemigroups_la-bipart.lo CXX src/libsemigroups_la-bmat8.lo CXX src/libsemigroups_la-cong-intf.lo CXX src/libsemigroups_la-cong-pair.lo CXX src/libsemigroups_la-cong.lo CXX src/libsemigroups_la-constants.lo CXX src/libsemigroups_la-coset.lo CXX src/libsemigroups_la-exception.lo CXX src/libsemigroups_la-felsch-tree.lo CXX src/libsemigroups_la-forest.lo CXX src/libsemigroups_la-fpsemi-examples.lo CXX src/libsemigroups_la-fpsemi-intf.lo CXX src/libsemigroups_la-fpsemi.lo CXX src/libsemigroups_la-freeband.lo CXX src/libsemigroups_la-froidure-pin-base.lo CXX src/libsemigroups_la-kambites.lo CXX src/libsemigroups_la-knuth-bendix.lo CXX src/libsemigroups_la-make-present.lo CXX src/libsemigroups_la-node-manager.lo CXX src/libsemigroups_la-obvinf.lo CXX src/libsemigroups_la-pbr.lo CXX src/libsemigroups_la-race.lo CXX src/libsemigroups_la-report.lo CXX src/libsemigroups_la-runner.lo CXX src/libsemigroups_la-siso.lo CXX src/libsemigroups_la-string.lo CXX src/libsemigroups_la-stephen.lo CXX src/libsemigroups_la-timer.lo CXX src/libsemigroups_la-todd-coxeter.lo CXX src/libsemigroups_la-ukkonen.lo CXX src/libsemigroups_la-wilo.lo CXX src/libsemigroups_la-wislo.lo CXX src/libsemigroups_la-word.lo CXXLD libsemigroups.la make test_all make[1]: Entering directory '/home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.1' 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 tests/test-make-present.cpp:29: In member function 'void libsemigroups::detail::StaticVector1::push_back(T) [with T = unsigned char; long unsigned int N = 3]', inlined from 'libsemigroups::detail::StaticVector1::StaticVector1(const It&, const It&) [with It = const int*; T = unsigned char; long unsigned int N = 3]' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.1/include/libsemigroups/containers.hpp:766:20, inlined from 'void std::__new_allocator<_Tp>::construct(_Up*, _Args&& ...) [with _Up = libsemigroups::detail::StaticVector1; _Args = {const int*&, const int*&}; _Tp = libsemigroups::detail::StaticVector1]' at /usr/include/c++/13.1.1/bits/new_allocator.h:187:4, inlined from 'static void std::allocator_traits >::construct(allocator_type&, _Up*, _Args&& ...) [with _Up = libsemigroups::detail::StaticVector1; _Args = {const int*&, const int*&}; _Tp = libsemigroups::detail::StaticVector1]' at /usr/include/c++/13.1.1/bits/alloc_traits.h:537:17, inlined from 'void std::vector<_Tp, _Alloc>::_M_realloc_insert(iterator, _Args&& ...) [with _Args = {const int*&, const int*&}; _Tp = libsemigroups::detail::StaticVector1; _Alloc = std::allocator >]' at /usr/include/c++/13.1.1/bits/vector.tcc:468:28: /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.1/include/libsemigroups/containers.hpp:796:23: warning: writing 1 byte into a region of size 0 [-Wstringop-overflow=] 796 | _array[_size] = x; | ~~~~~~~~~~~~~~^~~ In file included from /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.1/include/libsemigroups/string.hpp:25, from /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.1/include/libsemigroups/exception.hpp:26, from /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.1/include/libsemigroups/bipart.hpp:40, from tests/test-make-present.cpp:28: /usr/include/c++/13.1.1/array: In member function 'void std::vector<_Tp, _Alloc>::_M_realloc_insert(iterator, _Args&& ...) [with _Args = {const int*&, const int*&}; _Tp = libsemigroups::detail::StaticVector1; _Alloc = std::allocator >]': /usr/include/c++/13.1.1/array:109:55: note: at offset 3 into destination object 'std::array::_M_elems' of size 3 109 | typename __array_traits<_Tp, _Nm>::_Type _M_elems; | ^~~~~~~~ In member function 'void libsemigroups::detail::StaticVector1::push_back(T) [with T = unsigned char; long unsigned int N = 3]', inlined from 'libsemigroups::detail::StaticVector1::StaticVector1(const It&, const It&) [with It = const int*; T = unsigned char; long unsigned int N = 3]' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.1/include/libsemigroups/containers.hpp:766:20, inlined from 'void std::__new_allocator<_Tp>::construct(_Up*, _Args&& ...) [with _Up = libsemigroups::detail::StaticVector1; _Args = {const int*&, const int*&}; _Tp = libsemigroups::detail::StaticVector1]' at /usr/include/c++/13.1.1/bits/new_allocator.h:187:4, inlined from 'static void std::allocator_traits >::construct(allocator_type&, _Up*, _Args&& ...) [with _Up = libsemigroups::detail::StaticVector1; _Args = {const int*&, const int*&}; _Tp = libsemigroups::detail::StaticVector1]' at /usr/include/c++/13.1.1/bits/alloc_traits.h:537:17, inlined from 'void std::vector<_Tp, _Alloc>::emplace_back(_Args&& ...) [with _Args = {const int*&, const int*&}; _Tp = libsemigroups::detail::StaticVector1; _Alloc = std::allocator >]' at /usr/include/c++/13.1.1/bits/vector.tcc:117:30, inlined from 'libsemigroups::Presentation& libsemigroups::Presentation::add_rule(S, S, T, T) [with S = const int*; T = const int*; W = libsemigroups::detail::StaticVector1]' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.1/include/libsemigroups/present.hpp:271:25, inlined from 'void libsemigroups::presentation::add_rule(libsemigroups::Presentation&, std::initializer_list<_Value>, std::initializer_list<_Value>) [with W = libsemigroups::detail::StaticVector1; T = int]' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.1/include/libsemigroups/present.hpp:532:17: /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.1/include/libsemigroups/containers.hpp:796:23: warning: writing 1 byte into a region of size 0 [-Wstringop-overflow=] 796 | _array[_size] = x; | ~~~~~~~~~~~~~~^~~ /usr/include/c++/13.1.1/array: In function 'void libsemigroups::presentation::add_rule(libsemigroups::Presentation&, std::initializer_list<_Value>, std::initializer_list<_Value>) [with W = libsemigroups::detail::StaticVector1; T = int]': /usr/include/c++/13.1.1/array:109:55: note: at offset 3 into destination object 'std::array::_M_elems' of size 3 109 | typename __array_traits<_Tp, _Nm>::_Type _M_elems; | ^~~~~~~~ In member function 'void libsemigroups::detail::StaticVector1::push_back(T) [with T = unsigned char; long unsigned int N = 3]', inlined from 'libsemigroups::detail::StaticVector1::StaticVector1(const It&, const It&) [with It = const int*; T = unsigned char; long unsigned int N = 3]' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.1/include/libsemigroups/containers.hpp:766:20, inlined from 'void std::__new_allocator<_Tp>::construct(_Up*, _Args&& ...) [with _Up = libsemigroups::detail::StaticVector1; _Args = {const int*&, const int*&}; _Tp = libsemigroups::detail::StaticVector1]' at /usr/include/c++/13.1.1/bits/new_allocator.h:187:4, inlined from 'static void std::allocator_traits >::construct(allocator_type&, _Up*, _Args&& ...) [with _Up = libsemigroups::detail::StaticVector1; _Args = {const int*&, const int*&}; _Tp = libsemigroups::detail::StaticVector1]' at /usr/include/c++/13.1.1/bits/alloc_traits.h:537:17, inlined from 'void std::vector<_Tp, _Alloc>::emplace_back(_Args&& ...) [with _Args = {const int*&, const int*&}; _Tp = libsemigroups::detail::StaticVector1; _Alloc = std::allocator >]' at /usr/include/c++/13.1.1/bits/vector.tcc:117:30, inlined from 'libsemigroups::Presentation& libsemigroups::Presentation::add_rule(S, S, T, T) [with S = const int*; T = const int*; W = libsemigroups::detail::StaticVector1]' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.1/include/libsemigroups/present.hpp:272:25, inlined from 'void libsemigroups::presentation::add_rule(libsemigroups::Presentation&, std::initializer_list<_Value>, std::initializer_list<_Value>) [with W = libsemigroups::detail::StaticVector1; T = int]' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.1/include/libsemigroups/present.hpp:532:17: /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.1/include/libsemigroups/containers.hpp:796:23: warning: writing 1 byte into a region of size 0 [-Wstringop-overflow=] 796 | _array[_size] = x; | ~~~~~~~~~~~~~~^~~ /usr/include/c++/13.1.1/array: In function 'void libsemigroups::presentation::add_rule(libsemigroups::Presentation&, std::initializer_list<_Value>, std::initializer_list<_Value>) [with W = libsemigroups::detail::StaticVector1; T = int]': /usr/include/c++/13.1.1/array:109:55: note: at offset 3 into destination object 'std::array::_M_elems' of size 3 109 | typename __array_traits<_Tp, _Nm>::_Type _M_elems; | ^~~~~~~~ In file included from /usr/include/c++/13.1.1/algorithm:61, from tests/test-matrix.cpp:17: In function 'void std::__final_insertion_sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = libsemigroups::StaticRowView*; _Compare = __gnu_cxx::__ops::_Iter_comp_iter >():: >]', inlined from 'void std::__sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = libsemigroups::StaticRowView*; _Compare = __gnu_cxx::__ops::_Iter_comp_iter >():: >]' at /usr/include/c++/13.1.1/bits/stl_algo.h:1950:31, inlined from 'void std::sort(_RAIter, _RAIter, _Compare) [with _RAIter = libsemigroups::StaticRowView*; _Compare = libsemigroups::{anonymous}::test_BMat000 >()::]' at /usr/include/c++/13.1.1/bits/stl_algo.h:4894:18, inlined from 'void libsemigroups::{anonymous}::test_BMat000() [with Mat = libsemigroups::StaticMatrix]' at tests/test-matrix.cpp:166:18: /usr/include/c++/13.1.1/bits/stl_algo.h:1859:32: warning: array subscript 16 is outside array bounds of 'libsemigroups::detail::StaticVector1, 2> [1]' [-Warray-bounds=] 1859 | std::__insertion_sort(__first, __first + int(_S_threshold), __comp); | ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ tests/test-matrix.cpp: In function 'void libsemigroups::{anonymous}::test_BMat000() [with Mat = libsemigroups::StaticMatrix]': tests/test-matrix.cpp:160:14: note: at offset 128 into object 'r' of size 24 160 | auto r = matrix_helpers::rows(m); | ^ CXXLD test_all make[1]: Leaving directory '/home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.1' ./test_all --use-colour yes --order lex --abort [quick] Filters: [quick] Action 001: row and column basis orbits for BMat8 . . . 126μs Action 002: row and column basis orbits for BMat8 . . . 4338μs Action 003: add generators after enumeration . . . 3704μs Action 004: multipliers for BMat8 row and column orbits . . . 7093μs Action 005: orbits for regular boolean mat monoid 5 . . . 295ms Action 007: partial perm image orbit . . . 265μs Action 008: partial perm image orbit . . . 56ms Action 009: partial perm image orbit . . . 63ms Action 010: partial perm image orbit . . . 67ms Action 011: permutation on integers . . . 18μs Action 012: permutation on sets, arrays . . . 121μs Action 013: permutation on tuples, arrays . . . 11ms Action 014: permutation on sets, vectors . . . 179μs Action 015: permutation on tuples, vectors . . . 18ms Action 016: misc . . . 1890μs Action 017: partial perm image orbit . . . 43μs Action 018: permutation on tuples, arrays (360360) . . . 192ms Action 019: orbits for regular BMat8 monoid 5 with stop/start . . . 290ms Action 021: orbits for regular boolean mat monoid 5 (BMat<5> [...] . . . 369ms ActionDigraph 000: constructor with 1 default arg . . . 30μs ActionDigraph 001: constructor with 0 default args . . . 38μs ActionDigraph 002: add nodes . . . 23μs ActionDigraph 003: add edges . . . 269μs ActionDigraph 004: strongly connected components - cycles . . . 56μs ActionDigraph 005: strongly connected components - no edges . . . 38ms ActionDigraph 006: strongly connected components - disjoint cycles . . . 1914μs ActionDigraph 007: strongly connected components - complete graphs . . . 1002μs ActionDigraph 008: exceptions . . . 50μs ActionDigraph 009: spanning forest - complete graphs . . . 4635μs ActionDigraph 010: spanning forest - disjoint cycles . . . 112μs ActionDigraph 011: restrict . . . 12μs ActionDigraph 012: remove_edge_nc . . . 10μs ActionDigraph 013: scc large cycle . . . 18ms ActionDigraph 014: random . . . 27μs ActionDigraph 015: reserve . . . 11μs ActionDigraph 016: default constructors . . . 15μs ActionDigraph 017: scc iterators . . . 1230μs ActionDigraph 018: iterator to edges . . . 655μs ActionDigraph 019: root of scc . . . 342μs ActionDigraph 020: cbegin/end_panislo - 100 node path . . . 1119μs ActionDigraph 021: cbegin/end_pislo . . . 49μs ActionDigraph 022: cbegin/end_pani(s)lo - 100 node cycle . . . 1970μs ActionDigraph 023: cbegin/cend_pilo - tree 14 nodes . . . 82μs ActionDigraph 024: cbegin/end_pstilo - Cayley digraph . . . 251ms ActionDigraph 025: cbegin_pstilo - Tsalakou . . . 413μs ActionDigraph 026: cbegin/end_pstislo - Cayley digraph . . . 237ms ActionDigraph 027: cbegin/end_pstislo - Cayley digraph . . . 235μs ActionDigraph 028: path iterators corner cases . . . 154μs ActionDigraph 029: reverse node iterator . . . 12μs ActionDigraph 030: pstilo corner case . . . 72μs ActionDigraph 031: number_of_paths corner cases . . . 58μs ActionDigraph 032: number_of_paths acyclic digraph . . . 10ms ActionDigraph 033: number_of_paths binary tree . . . 670ms ActionDigraph 034: number_of_paths large binary tree . . . 107ms ActionDigraph 035: number_of_paths 400 node random digraph . . . 751μs ActionDigraph 036: number_of_paths 10 node acyclic digraph . . . 95μs ActionDigraph 037: number_of_paths node digraph . . . 4563μs ActionDigraph 038: random/random_acyclic exceptions . . . 109μs ActionDigraph 039: unsafe (next) neighbour . . . 63μs ActionDigraph 040: number_of_egdes incident to a node . . . 69μs ActionDigraph 041: number_of_paths (matrix) . . . 24ms ActionDigraph 042: number_of_paths (matrix) . . . 15μs ActionDigraph 043: swap_edge_nc . . . 11μs ActionDigraph 044: detail::pow for non-square Eigen matrix . . . 21μs ActionDigraph 045: operator<< . . . 16μs Array2 044: all . . . 53μs BMat8 001: transpose . . . 25μs BMat8 002: multiplication . . . 20μs BMat8 003: identity matrix . . . 14μs BMat8 004: random . . . 253μs BMat8 005: call operator . . . 19μs BMat8 006: operator<< . . . 16μs BMat8 007: set . . . 53μs BMat8 008: row space basis . . . 671μs BMat8 009: col space basis . . . 702μs BMat8 010: row space basis . . . 1504μs BMat8 011: number_of_rows, number_of_cols . . . 68μs BMat8 012: row_space, col_space . . . 205μs BMat8 013: rows . . . 43μs BMat8 014: one . . . 12μs BMat8 015: vector constructor . . . 79μs BMat8 016: operator< . . . 15μs BMat8 017: adapters . . . 21μs BMat8 018: one . . . 12μs Bipartition 009: mem fns 1 . . . 40μs Bipartition 010: hash . . . 10μs Bipartition 011: mem fns 2 . . . 23μs Bipartition 012: delete/copy . . . 10μs Bipartition 013: degree 0 . . . 12μs Bipartition 014: exceptions . . . 36μs Bipartition 015: convenience constructor . . . 196μs Bipartition 016: force copy constructor over move constructor . . . 17μs Bipartition 017: adapters . . . 9000ns BitSet 000: size . . . 11μs BitSet 001: operator< . . . 11μs BitSet 002: operator== . . . 13μs BitSet 003: operator!= . . . 18μs BitSet 004: operator&= . . . 15μs BitSet 005: & . . . 18μs BitSet 006: operator|= . . . 19μs BitSet 007: operator[] . . . 19μs BitSet 008: set(none) . . . 25μs BitSet 009: set(pos, value) . . . 21μs BitSet 010: set(first, last, value) . . . 22μs BitSet 011: reset(first, last) . . . 22μs BitSet 012: reset(pos) . . . 21μs BitSet 013: apply (iterate through set bits) . . . 26μs BitSet 014: std::hash . . . 9000ns BitSet 015: constructors . . . 20μs BitSet 016: max_size . . . 10μs BitSet 017: insertion operators . . . 12μs Blocks 001: empty blocks . . . 19μs Blocks 002: non-empty blocks . . . 14μs Blocks 003: left blocks of bipartition . . . 14μs Blocks 004: right blocks of bipartition . . . 14μs Blocks 005: copy [empty blocks] . . . 12μs Blocks 006: copy [non-empty blocks] . . . 13μs Blocks 007: hash value . . . 13μs Blocks 008: operator< . . . 13μs Congruence 000: left congruence on fp semigroup . . . 147μs Congruence 001: 2-sided congruence on fp semigroup . . . 521μs Congruence 002: left congruence on fp semigroup . . . 250μs Congruence 003: word_to_class_index for cong. on fp semigroup . . . 263μs Congruence 004: word_to_class_index for cong. on fp semigroup . . . 765μs Congruence 005: trivial congruence on non-fp semigroup . . . 418μs Congruence 006: 2-sided congruence on non-fp semigroup . . . 352μs Congruence 007: 2-sided congruence on fp semigroup . . . 589μs Congruence 008: 2-sided congruence on infinite fp semigroup . . . 362μs Congruence 009: 2-sided congruence on infinite fp semigroup . . . 422μs Congruence 010: 2-sided congruence on finite semigroup . . . 41ms Congruence 012: 2-sided congruence on finite semigroup . . . 3092μs Congruence 013: trivial 2-sided congruence on bicyclic monoid . . . 23ms Congruence 014: non-trivial 2-sided congruence on bicyclic monoid . . . 497μs Congruence 015: 2-sided congruence on free abelian monoid . . . 456μs Congruence 016: example where TC works but KB doesn't . . . 661μs Congruence 017: 2-sided congruence on finite semigroup . . . 464μs Congruence 018: infinite fp semigroup from GAP library . . . 566μs Congruence 019: 2-sided cong. on fp semigroup with infinite [...] . . . 371μs Congruence 020: trivial cong. on an fp semigroup . . .  -- with compute size 389μs  -- with don't compute size 289μs Congruence 021: duplicate generators . . . 359μs Congruence 022: non-trivial classes . . . 1166μs Congruence 023: right congruence on finite semigroup . . . 476ms Congruence 024: redundant generating pairs . . . 149μs Congruence 025: 2-sided cong. on free semigroup . . . 108μs Congruence 026: is_quotient_obviously_(in)finite . . . 1187μs Congruence 027: less . . . 386μs Congruence 028: 2-sided congruences of BMat8 semigroup . . . 192ms Congruence 029: left congruence on finite semigroup . . . 732μs Congruence 030: right congruence on finite semigroup . . . 641μs Congruence 031: right congruence on finite semigroup . . . 654μs Congruence 032: contains . . . 194μs Congruence 033: stellar_monoid S2 . . . 829μs Congruence 034: stellar_monoid S3 . . . 1203μs Congruence 035: stellar_monoid S4 . . . 2084μs Congruence 036: stellar_monoid S5 . . . 8733μs Congruence 037: stellar_monoid S6 . . . 76ms Congruence 038: stellar_monoid S7 . . . 773ms Congruence 039: left cong. on an f.p. semigroup . . . 1581μs Congruence 040: 2-sided cong. on infinite f.p. semigroup . . . 218μs Congruence 041: 2-sided congruence constructed from type only . . . 618μs Congruence 042: const_contains . . . 714μs Congruence 043: no winner . . . 8636μs Congruence 044: congruence over smalloverlap . . . 12ms CongruenceByPairs 001: (cong) 2-sided cong. on finite semigroup . . . 583μs CongruenceByPairs 002: (cong) left congruence on finite semigroup . . . 236μs CongruenceByPairs 003: (cong) right congruence on finite semigroup . . . 233μs CongruenceByPairs 004: (cong) trivial congruence on finite s [...] . . . 238μs CongruenceByPairs 005: (cong) trivial left congruence on fin [...] . . . 160μs CongruenceByPairs 006: (cong) trivial right congruence on fi [...] . . . 155μs CongruenceByPairs 007: (cong) universal congruence on finite [...] . . . 702μs CongruenceByPairs 009: (cong) 2-sided congruence on finite s [...] . . . 834ms CongruenceByPairs 010: (cong) left congruence on big finite [...] . . . 31ms CongruenceByPairs 011: (cong) left congruence on TCE . . . 155μs CongruenceByPairs 012: (cong) is_quotient_obviously_finite . . . 83μs CongruenceByPairs 013: (cong) class_index_to_word/quotient . . .  -- with right congruence 7960μs  -- with left congruence 1187μs  -- with 2-sided congruence 6465μs CongruenceByPairs 014: (cong) const_word_to_class_index . . .  -- with right congruence 49μs  -- with left congruence 44μs  -- with 2-sided congruence 39μs CongruenceByPairs 015: (cong) size non-Element* . . . 28ms CongruenceInterface 000: add_pair . . .  -- with ToddCoxeter 88μs  -- with KnuthBendix 131μs  -- with CongruenceByPairs 101μs  -- with Congruence 492μs CongruenceInterface 001: contains/const_contains . . .  -- with ToddCoxeter and no parent 98μs  -- with KnuthBendix and no parent 113μs  -- with Congruence and parent 400μs  -- with CongruenceByPairs and parent 87μs CongruenceInterface 002: less . . .  -- with ToddCoxeter 77μs  -- with KnuthBendix 142μs  -- with CongruenceByPairs 91μs  -- with Congruence 398μs CongruenceInterface 003: is_quotient_obviously_(in)finite . . .  -- with ToddCoxeter 64μs  -- with KnuthBendix 111μs CongruenceInterface 004: is_quotient_obviously_(in)finite . . .  -- with CongruenceByPairs 94μs  -- with Congruence 301μs CongruenceInterface 005: parent_froidure_pin . . .  -- with ToddCoxeter 38μs  -- with KnuthBendix 29μs CongruenceInterface 006: parent_froidure_pin . . .  -- with CongruenceByPairs 87μs  -- with Congruence 384μs CongruenceInterface 007: cbegin/cend_ntc . . .  -- with ToddCoxeter 257μs  -- with KnuthBendix 1124μs CongruenceInterface 008: cbegin/cend_ntc . . .  -- with CongruenceByPairs 210μs  -- with Congruence 403μs CongruenceInterface 009: quotient is immutable . . .  -- with ToddCoxeter 76μs  -- with KnuthBendix 115μs  -- with Congruence 341μs CongruenceInterface 010: no generating pairs added . . .  -- with KnuthBendix and common behaviour 5474μs  -- with Congruence and common behaviour 5624μs  -- with ToddCoxeter 68μs CongruenceInterface 011: nr generators not set . . .  -- with ToddCoxeter 86μs  -- with KnuthBendix 86μs  -- with Congruence 82μs CongruenceInterface 012: no generating pairs . . . 175μs ConstIteratorStateless 001: ? . . . 11μs ConstIteratorStateless 002: ? . . . 10μs Constants 001: Undefined . . . 14μs Constants 002: PositiveInfinity . . . 16μs Constants 003: NegativeInfinity . . . 14μs Constants 004: LimitMax . . . 14μs Duf 004: unite . . . 52μs Duf 006: compress . . . 16μs Duf 008: resize . . . 27μs Duf 009: resize . . . 13μs Duf 010: big chain . . . 16ms Duf 012: empty table . . . 11μs Duf 014: join . . . 13μs Duf 016: contains . . . 25μs Duf 018: swap . . . 29μs DynamicArray2 001: default constructor with 3 default args . . . 18μs DynamicArray2 002: default constructor with 2 default args . . . 22μs DynamicArray2 003: default constructor with 1 default args . . . 12μs DynamicArray2 004: default constructor with 0 default args . . . 11μs DynamicArray2 005: copy constructor with 1 default args . . . 17μs DynamicArray2 006: copy constructor with 0 default args . . . 15μs DynamicArray2 007: add_rows . . . 18μs DynamicArray2 008: add_rows . . . 13μs DynamicArray2 009: add_cols . . . 32μs DynamicArray2 010: set/get . . . 47μs DynamicArray2 011: append 1/2 . . . 120μs DynamicArray2 012: append 2/2 . . . 200μs DynamicArray2 013: count . . . 28μs DynamicArray2 014: clear . . . 11μs DynamicArray2 015: begin_row and end_row . . . 57μs DynamicArray2 016: cbegin_row and cend_row . . . 24μs DynamicArray2 017: iterator operator++ (postfix) . . . 238μs DynamicArray2 018: iterator operator++ (prefix) . . . 1458μs DynamicArray2 019: iterator operator-- (postfix) . . . 304μs DynamicArray2 020: iterator operator-- (prefix) . . . 307μs DynamicArray2 021: operator= . . . 15μs DynamicArray2 022: operator== and operator!= . . . 293μs DynamicArray2 023: empty and clear . . . 14μs DynamicArray2 024: max_size . . . 10μs DynamicArray2 025: swap . . . 52μs DynamicArray2 026: iterator arithmetic . . . 1226μs DynamicArray2 027: iterator comparison . . . 14μs DynamicArray2 028: iterator operator= . . . 11μs DynamicArray2 029: iterator operator[] . . . 63μs DynamicArray2 030: iterator operator-> . . . 23μs DynamicArray2 031: const_iterator operator++/-- . . . 200μs DynamicArray2 032: const_iterator operator++/-- . . . 9000ns DynamicArray2 033: column iterators . . . 22μs DynamicArray2 034: column iterator arithmetic . . . 5087μs DynamicArray2 035: iterator assignment constructor . . . 1512μs DynamicArray2 036: reserve method . . . 93μs DynamicArray2 037: erase column . . . 15μs DynamicArray2 038: swap_rows . . . 12μs DynamicArray2 039: apply_row_permutation . . . 12μs DynamicArray2 040: swap . . . 11μs DynamicArray2 041: shrink_rows_to . . . 16μs DynamicArray2 042: shrink_rows_to - for range . . . 16μs FastestBMat 046: check no throw . . . 21μs FelschTree 000: previously failing example . . . 28μs Forest 001: test forest . . . 55μs FpSemigroup 001: Renner monoid type B2 (E. G. presentation), q = 1 . . . 922μs FpSemigroup 002: Renner monoid type B2 (E. G. presentation), q = 0 . . . 957μs FpSemigroup 003: Renner monoid type B3 (E. G. presentation), q = 1 . . . 60ms FpSemigroup 004: Renner monoid type B3 (E. G. presentation), q = 0 . . . 62ms FpSemigroup 005: Renner monoid type B2 (Gay-Hivert presentat [...] . . . 1112μs FpSemigroup 006: Renner monoid type B2 (Gay-Hivert presentat [...] . . . 1130μs FpSemigroup 007: Renner monoid type B3 (Gay-Hivert presentat [...] . . . 4718μs FpSemigroup 008: Renner monoid type B3 (Gay-Hivert presentat [...] . . . 3757μs FpSemigroup 009: Renner monoid type B4 (Gay-Hivert presentat [...] . . . 347ms FpSemigroup 010: Renner monoid type B4 (Gay-Hivert presentat [...] . . . 442ms FpSemigroup 013: Renner monoid type D2 (E. G. presentation), q = 1 . . . 1473μs FpSemigroup 014: Renner monoid type D2 (E. G. presentation), q = 0 . . . 1378μs FpSemigroup 015: Renner monoid type D3 (E. G. presentation), q = 1 . . . 5315μs FpSemigroup 016: Renner monoid type D3 (E. G. presentation), q = 0 . . . 4624μs FpSemigroup 017: Renner monoid type D4 (E. G. presentation), q = 1 . . . 580ms FpSemigroup 018: Renner monoid type D4 (E. G. presentation), q = 0 . . . 563ms FpSemigroup 019: Renner monoid type D2 (Gay-Hivert presentat [...] . . . 1813μs FpSemigroup 020: Renner monoid type D2 (Gay-Hivert presentat [...] . . . 1693μs FpSemigroup 021: Renner monoid type D3 (Gay-Hivert presentat [...] . . . 6224μs FpSemigroup 022: Renner monoid type D3 (Gay-Hivert presentat [...] . . . 5269μs FpSemigroup 023: Renner monoid type D4 (Gay-Hivert presentat [...] . . . 110ms FpSemigroup 024: Renner monoid type D4 (Gay-Hivert presentat [...] . . . 117ms FpSemigroup 029: Rook monoid R5, q = 0 . . . 6128μs FpSemigroup 030: Rook monoid R5, q = 1 . . . 5361μs FpSemigroup 031: Rook monoid R6, q = 0 . . . 50ms FpSemigroup 032: Rook monoid R6, q = 1 . . . 52ms FpSemigroup 033: normal_form . . . 491μs FpSemigroup 034: for a finite semigroup . . . 1078μs FpSemigroup 035: finite fp semigroup, dihedral group of order 6 . . . 825μs FpSemigroup 036: finite fp semigroup, size 16 . . . 1170μs FpSemigroup 037: finite fp semigroup, size 16 . . . 1779μs FpSemigroup 038: fp semigroup, size 240 . . . 1189μs FpSemigroup 039: add_rule . . . 415μs FpSemigroup 040: add_rule . . . 278μs FpSemigroup 041: equal_to . . . 385μs FpSemigroup 042: cbegin/cend_rules . . . 136μs FpSemigroup 043: semigroup of size 3 . . . 603μs FpSemigroup 044: run_for/until . . . 3327μs FpSemigroup 045: constructors . . . 349μs FpSemigroup 046: set_inverses . . . 206μs FpSemigroup 047: smalloverlap . . . 12ms FpSemigroup 048: quaternion group Q8 . . . 744μs FpSemigroup 049: symmetric group Coxeter presentation . . . 25ms FpSemigroupByPairs 029: (fpsemi) 2-sided congruence on finit [...] . . . 961μs FpSemigroupByPairs 030: (fpsemi) 2-sided congruence on finit [...] . . . 895μs FpSemigroupInterface 000: run with no alphabet . . .  -- with ToddCoxeter 158μs  -- with KnuthBendix 81μs  -- with FpSemigroup 94μs FpSemigroupInterface 001: equal_to . . .  -- with ToddCoxeter and human readable alphabet 2596μs  -- with KnuthBendix and human readable alphabet 7986μs  -- with FpSemigroup and human readable alphabet 6316μs  -- with FpSemigroupByPairs 3908μs FpSemigroupInterface 002: normal_form . . .  -- with ToddCoxeter 271μs  -- with KnuthBendix 391μs  -- with FpSemigroup 724μs FpSemigroupInterface 003: set_alphabet (1/2) . . .  -- with ToddCoxeter 198μs  -- with KnuthBendix 140μs  -- with FpSemigroup 158μs FpSemigroupInterface 004: set_alphabet (2/2) . . . 1632μs FpSemigroupInterface 005: add_rule after finished . . .  -- with ToddCoxeter and human readable alphabet 239μs  -- with KnuthBendix and human readable alphabet 321μs  -- with FpSemigroup and human readable alphabet 589μs  -- with FpSemigroupByPairs 1597μs FpSemigroupInterface 006: add_rule with equal words (1/2) . . .  -- with ToddCoxeter and human readable alphabet 351μs  -- with KnuthBendix and human readable alphabet 478μs  -- with FpSemigroup and human readable alphabet 614μs  -- with FpSemigroupByPairs 338μs FpSemigroupInterface 007: add_rule with equal words (2/2) . . .  -- with ToddCoxeter 75μs  -- with KnuthBendix 64μs  -- with FpSemigroup 78μs FpSemigroupInterface 008: add_rule with word_type . . .  -- with ToddCoxeter 118μs  -- with KnuthBendix 98μs  -- with FpSemigroup 165μs FpSemigroupInterface 009: add_rule with empty word (1/2) . . .  -- with ToddCoxeter 127μs  -- with FpSemigroup 98μs FpSemigroupInterface 010: add_rule with empty word (1/2) . . . 53μs FpSemigroupInterface 011: add_rules (1/3) . . .  -- with ToddCoxeter 102μs  -- with KnuthBendix 91μs  -- with FpSemigroup 103μs FpSemigroupInterface 012: add_rules (2/3) . . . 662μs FpSemigroupInterface 013: add_rules (3/3) . . .  -- with ToddCoxeter 81μs  -- with KnuthBendix 66μs  -- with FpSemigroup 137μs FpSemigroupInterface 014: set_identity (1/3) . . .  -- with ToddCoxeter 200μs  -- with KnuthBendix 178μs  -- with FpSemigroup 270μs FpSemigroupInterface 015: set_identity (2/3) . . . 391μs FpSemigroupInterface 016: set_identity (3/3) . . .  -- with ToddCoxeter 138μs  -- with KnuthBendix 126μs  -- with FpSemigroup 254μs FpSemigroupInterface 017: identity . . .  -- with ToddCoxeter 76μs  -- with KnuthBendix 61μs  -- with FpSemigroup 73μs FpSemigroupInterface 018: set_inverses + inverses (1/2) . . .  -- with ToddCoxeter 227μs  -- with KnuthBendix 218μs  -- with FpSemigroup 331μs FpSemigroupInterface 019: set_inverses + inverses (2/2) . . . 456μs FpSemigroupInterface 020: is_obviously_infinite (1/2) . . .  -- with ToddCoxeter 238μs  -- with KnuthBendix 328μs  -- with FpSemigroup 599μs FpSemigroupInterface 021: is_obviously_infinite (2/2) . . . 85μs FpSemigroupInterface 022: is_obviously_finite (1/2) . . .  -- with ToddCoxeter 288μs  -- with KnuthBendix 299μs  -- with FpSemigroup 590μs FpSemigroupInterface 023: is_obviously_finite (2/2) . . . 64μs FpSemigroupInterface 024: to_gap_string (1/3) . . .  -- with ToddCoxeter 58μs  -- with KnuthBendix 46μs  -- with FpSemigroup 106μs FpSemigroupInterface 025: to_gap_string (2/3) . . . 31μs FpSemigroupInterface 026: to_gap_string (3/3) . . . 52μs FroidurePin 015: (BMat8) regular boolean mat monoid 4 . . . 131ms FroidurePin 016: (BMat8) exception zero generators given . . . 25μs FroidurePin 017: (BMat8) exception word_to_element . . . 147μs FroidurePin 018: (BMat8) exception prefix . . . 1655μs FroidurePin 019: (BMat8) exception suffix . . . 32μs FroidurePin 020: (BMat8) exception first_letter . . . 1610μs FroidurePin 021: (BMat8) exception final_letter . . . 31μs FroidurePin 022: (BMat8) exception current_length . . . 1593μs FroidurePin 023: (BMat8) exception product_by_reduction . . . 2059μs FroidurePin 024: (BMat8) exception fast_product . . . 1631μs FroidurePin 025: (BMat8) exception is_idempotent . . . 72ms FroidurePin 026: (BMat8) copy constructor . . .  -- with fully enumerated 71ms  -- with partially enumerated 52ms  -- with not enumerated 47ms FroidurePin 027: (BMat8) cbegin/end_rules . . . 70μs FroidurePin 031: (integers) . . . 211μs FroidurePin 039: (pairs of integers) non-trivial user type . . . 39μs FroidurePin 055: (tropical max-plus semiring matrices) . . . 317μs FroidurePin 061: projective max plus matrix . . . 1203μs FroidurePin 062: projective max plus matrix . . . 44μs FroidurePin> 009: small example 2 . . . 61μs FroidurePin> 005: small example 1 . . . 143μs FroidurePin> 007: regular bmat monoid 4 . . . 79ms FroidurePin> 011: small example 3 . . . 660μs FroidurePin> 006: small example 1 . . . 194μs FroidurePin> 008: regular bmat monoid 4 . . . 103ms FroidurePin> 010: small example 2 . . . 60μs FroidurePin> 012: small example 3 . . . 875μs FroidurePin 000: small example 1 . . . 200μs FroidurePin 001: default constructed . . . 133μs FroidurePin 002: small example 2 . . . 60μs FroidurePin 004: exception: is_idempotent . . . 184μs FroidurePin> 033: Example 000 . . . 853μs FroidurePin> 035: Example 001 . . . 54μs FroidurePin> 032: Example 000 . . . 694μs FroidurePin> 034: Example 001 . . . 46μs FroidurePin 036: exception: current_position . . . 143μs FroidurePin 037: exception: word_to_element . . . 81μs FroidurePin 038: exception: prefix, suffix, first_letter . . . 22ms FroidurePin> 040: Example 000 . . . 92μs FroidurePin> 041: Example 000 . . . 76μs FroidurePin> 046: Example 005 . . . 182μs FroidurePin> 047: Example 005 . . . 210μs FroidurePin> 048: Example 005 . . . 200μs FroidurePin> 044: Example 004 . . . 45μs FroidurePin> 045: Example 004 . . . 37μs FroidurePin> 049: Example 006 . . . 1275μs FroidurePin> 050: Example 006 . . . 1532μs FroidurePin> 051: Example 006 . . . 1571μs FroidurePin> 052: Example 007 . . . 170μs FroidurePin> 053: Example 007 . . . 187μs FroidurePin> 054: Example 007 . . . 206μs FroidurePin 056: example 1 . . . 273μs FroidurePin 057: example 2 . . . 223μs FroidurePin> 058: . . . 818μs FroidurePin> 059: . . . 64μs FroidurePin> 060: exceptions: add_generator(s) . . . 70μs FroidurePin> 065: no exception zero generators given . . . 21μs FroidurePin> 066: exception generators of different [...] . . . 73μs FroidurePin> 067: exception current_position . . . 55μs FroidurePin> 068: exception word_to_element . . . 52μs FroidurePin> 069: exception gens . . . 723μs FroidurePin> 070: exception prefix . . . 24ms FroidurePin> 071: exception suffix . . . 57ms FroidurePin> 072: exception first_letter . . . 61μs FroidurePin> 073: exception final_letter . . . 103μs FroidurePin> 074: exception current_length . . . 95μs FroidurePin> 075: exception product_by_reduction . . . 457μs FroidurePin> 076: exception fast_product . . . 512μs FroidurePin> 077: exception current_position . . . 726μs FroidurePin> 078: exception is_idempotent . . . 788μs FroidurePin> 079: exception add_generators . . . 56μs FroidurePin> 080: multithread number_of_idempotents . . . 687μs FroidurePin> 081: small semigroup . . . 37μs FroidurePin> 082: large semigroup . . . 9512μs FroidurePin> 083: at, position, current_* . . . 9634μs FroidurePin> 084: run . . . 9301μs FroidurePin> 085: run [many stops and starts] . . . 8996μs FroidurePin> 086: factorisation, length [1 element] . . . 9168μs FroidurePin> 087: factorisation, products [all elements] . . . 11ms FroidurePin> 088: first/final letter, prefix, suffi [...] . . . 9214μs FroidurePin> 089: current_position [standard] . . . 34μs FroidurePin> 090: current_position [duplicate gens] . . . 18ms FroidurePin> 091: current_position [after add_generators] . . . 10ms FroidurePin> 092: cbegin_idempotents/cend [1 thread] . . . 10ms FroidurePin> 093: idempotent_cend/cbegin [1 thread] . . . 10ms FroidurePin> 094: is_idempotent [1 thread] . . . 9614μs FroidurePin> 096: finished, started . . . 9288μs FroidurePin> 097: current_position . . . 2196μs FroidurePin> 098: sorted_position, sorted_at . . . 11ms FroidurePin> 099: right/left Cayley graph . . . 43ms FroidurePin> 100: iterator . . . 12ms FroidurePin> 101: reverse iterator . . . 10ms FroidurePin> 102: iterator arithmetic . . . 28ms FroidurePin> 103: iterator sorted . . . 23ms FroidurePin> 104: iterator sorted arithmetic . . . 31ms FroidurePin> 105: copy [not enumerated] . . . 6906μs FroidurePin> 106: copy_closure [not enumerated] . . . 44ms FroidurePin> 107: copy_add_generators [not enumerated] . . . 40ms FroidurePin> 108: copy [partly enumerated] . . . 7809μs FroidurePin> 109: copy_closure [partly enumerated] . . . 11ms FroidurePin> 110: copy_add_generators [partly enumerated] . . . 7545μs FroidurePin> 111: copy [fully enumerated] . . . 10ms FroidurePin> 112: copy_closure [fully enumerated] . . . 11ms FroidurePin> 113: copy_add_generators [fully enumerated] . . . 10ms FroidurePin> 114: relations [duplicate gens] . . . 200μs FroidurePin> 115: relations . . . 9141μs FroidurePin> 116: relations [copy_closure, duplicat [...] . . . 12ms FroidurePin> 117: relations [copy_add_generators, d [...] . . . 12ms FroidurePin> 118: relations [from copy, not enumerated] . . . 7915μs FroidurePin> 119: relations [from copy, partly enum [...] . . . 14ms FroidurePin> 120: relations [from copy, fully enumerated] . . . 14ms FroidurePin> 121: relations [from copy_closure, not [...] . . . 13ms FroidurePin> 122: relations [from copy_add_generato [...] . . . 7919μs FroidurePin> 123: relations [from copy_closure, par [...] . . . 11ms FroidurePin> 124: relations [from copy_add_generato [...] . . . 9545μs FroidurePin> 125: relations [from copy_closure, ful [...] . . . 14ms FroidurePin> 126: relations [from copy_add_generato [...] . . . 12ms FroidurePin> 127: add_generators [duplicate generators] . . . 403μs FroidurePin> 128: add_generators [incremental 1] . . . 427μs FroidurePin> 129: add_generators [incremental 2] . . . 451μs FroidurePin> 130: closure [duplicate generators] . . . 219μs FroidurePin> 131: closure . . . 96μs FroidurePin> 132: factorisation . . . 23μs FroidurePin> 134: minimal_factorisation . . . 52μs FroidurePin> 135: batch_size (for an extremely larg [...] . . . 22μs FroidurePin> 137: exception: generators of differen [...] . . . 26μs FroidurePin> 138: exception: current_position . . . 54μs FroidurePin> 139: exception: word_to_element . . . 62μs FroidurePin> 140: exception: gens, current_position . . . 661μs FroidurePin> 141: exception: add_generators . . . 32μs HPCombi 000: Transf16 . . . 26μs HPCombi 001: One specialisation . . . 10μs HPCombi 002: One specialisation . . . 11μs HPCombi 003: Swap specialisation . . . 10μs HPCombi 004: Swap specialisation . . . 10μs HPCombi 005: Inverse specialisation . . . 10μs HPCombi 006: ImageRightAction . . . 12μs HPCombi 007: ImageLeft/RightAction . . . 16μs HPCombi 008: Product . . . 10μs HPCombi 009: Degree/Complexity . . . 9000ns KBE 000: constructors . . . 45μs KBE 001: test . . . 64μs KBE 002: factorisation . . . 46μs KBE 003: swap . . . 32μs KBE 004: adapters . . . 29μs KBE 005: conversions . . . 28μs Kambites 000: (fpsemi) MT test 4 (std::string) . . . 7095μs Kambites 001: (fpsemi) MT test 4 (MultiStringView) . . . 7460μs Kambites 002: (fpsemi) number_of_pieces (std::string) . . . 119μs Kambites 003: (fpsemi) number_of_pieces (MultiStringView) . . . 114μs Kambites 004: (fpsemi) small_overlap_class (std::string) . . . 3917μs Kambites 005: (fpsemi) small_overlap_class (MultiStringView) . . . 3893μs Kambites 006: (fpsemi) random (std::string) . . . 10ms Kambites 007: (fpsemi) random (MultiStringView) . . . 10ms Kambites 008: (fpsemi) KnuthBendix 055 (std::string) . . . 17ms Kambites 009: (fpsemi) KnuthBendix 055 (MultiStringView) . . . 18ms Kambites 010: (fpsemi) smalloverlap/gap/test.gi:85 (std::string) . . . 96μs Kambites 011: (fpsemi) smalloverlap/gap/test.gi:85 (MultiStr [...] . . . 66μs Kambites 012: (fpsemi) free semigroup . . . 13μs Kambites 013: (fpsemi) smalloverlap/gap/test.gi:49 (std::string) . . . 38ms Kambites 014: (fpsemi) smalloverlap/gap/test.gi:49 (MultiStr [...] . . . 46ms Kambites 015: (fpsemi) smalloverlap/gap/test.gi:63 (std::string) . . . 39ms Kambites 016: (fpsemi) smalloverlap/gap/test.gi:63 (MultiStr [...] . . . 49ms Kambites 017: (fpsemi) smalloverlap/gap/test.gi:70 (std::string) . . . 146ms Kambites 018: (fpsemi) smalloverlap/gap/test.gi:70 (MultiStr [...] . . . 188ms Kambites 021: (fpsemi) code coverage (std::string) . . . 53μs Kambites 022: (fpsemi) code coverage (MultiStringView) . . . 31μs Kambites 023: (fpsemi) prefix (std::string) . . . 71μs Kambites 024: (fpsemi) prefix (MultiStringView) . . . 96μs Kambites 025: (fpsemi) normal_form (Example 3.15) (std::string) . . . 75μs Kambites 026: (fpsemi) normal_form (Example 3.15) (MultiStri [...] . . . 93μs Kambites 027: (fpsemi) normal_form (Example 3.16) (std::string) . . . 55μs Kambites 028: (fpsemi) normal_form (Example 3.16) (MultiStri [...] . . . 70μs Kambites 029: (fpsemi) normal_form (Example 3.16) more exhau [...] . . . 80ms Kambites 030: (fpsemi) normal_form (Example 3.16) more exhau [...] . . . 75ms Kambites 031: (fpsemi) small presentation (std::string) . . . 97μs Kambites 032: (fpsemi) small presentation (MultiStringView) . . . 46μs Kambites 033: (fpsemi) non-smalloverlap (std::string) . . . 50μs Kambites 034: (fpsemi) non-smalloverlap (MultiStringView) . . . 49μs Kambites 035: (fpsemi) MT test 3 (std::string) . . . 50μs Kambites 036: (fpsemi) MT test 3 (MultiStringView) . . . 48μs Kambites 037: (fpsemi) MT test 5 (std::string) . . . 29μs Kambites 038: (fpsemi) MT test 5 (MultiStringView) . . . 29μs Kambites 039: (fpsemi) MT test 6 (std::string) . . . 45μs Kambites 040: (fpsemi) MT test 6 (MultiStringView) . . . 49μs Kambites 041: (fpsemi) MT test 10 (std::string) . . . 39μs Kambites 042: (fpsemi) MT test 10 (MultiStringView) . . . 44μs Kambites 043: (fpsemi) MT test 13 (std::string) . . . 29μs Kambites 044: (fpsemi) MT test 13 (MultiStringView) . . . 31μs Kambites 045: (fpsemi) MT test 14 (std::string) . . . 28μs Kambites 046: (fpsemi) MT test 14 (MultiStringView) . . . 31μs Kambites 047: (fpsemi) MT test 15 (std::string) . . . 39μs Kambites 048: (fpsemi) MT test 15 (MultiStringView) . . . 39μs Kambites 049: (fpsemi) MT test 16 (std::string) . . . 41μs Kambites 050: (fpsemi) MT test 16 (MultiStringView) . . . 42μs Kambites 051: (fpsemi) MT test 17 (std::string) . . . 131μs Kambites 052: (fpsemi) MT test 17 (MultiStringView) . . . 115μs Kambites 053: (fpsemi) weak C(4) not strong x 1 (std::string) . . . 569μs Kambites 054: (fpsemi) weak C(4) not strong x 1 (MultiStringView) . . . 660μs Kambites 055: (fpsemi) weak C(4) not strong x 2 (std::string) . . . 528μs Kambites 056: (fpsemi) weak C(4) not strong x 2 (MultiStringView) . . . 655μs Kambites 057: (fpsemi) weak C(4) not strong x 3 (std::string) . . . 499μs Kambites 058: (fpsemi) weak C(4) not strong x 3 (MultiStringView) . . . 457μs Kambites 059: (fpsemi) weak C(4) not strong x 4 (std::string) . . . 60μs Kambites 060: (fpsemi) weak C(4) not strong x 4 (MultiStringView) . . . 74μs Kambites 061: (fpsemi) weak C(4) not strong x 5 (std::string) . . . 26μs Kambites 062: (fpsemi) weak C(4) not strong x 5 (MultiStringView) . . . 23μs Kambites 063: (fpsemi) weak C(4) not strong x 6 (std::string) . . . 36μs Kambites 064: (fpsemi) weak C(4) not strong x 6 (MultiStringView) . . . 38μs Kambites 065: (fpsemi) Konovalov example (std::string) . . . 23μs Kambites 066: (fpsemi) Konovalov example (MultiStringView) . . . 21μs Kambites 067: (fpsemi) long words (std::string) . . . 754ms Kambites 068: (fpsemi) long words (MultiStringView) . . . 39ms Kambites 075: (cong) example 1 . . . 44μs Kambites 076: (cong) example 2 . . . 103μs Kambites 077: (cong) code coverage . . . 7647μs Kambites 078: (cong) large number of rules . . . 282ms KnuthBendix 000: (fpsemi) confluent fp semigroup 1 (infinite) . . . 105μs KnuthBendix 001: (fpsemi) confluent fp semigroup 2 (infinite) . . . 92μs KnuthBendix 002: (fpsemi) confluent fp semigroup 3 (infinite) . . . 73μs KnuthBendix 003: (fpsemi) non-confluent fp semigroup from wi [...] . . . 142μs KnuthBendix 004: (fpsemi) Example 5.1 in Sims (infinite) . . . 128μs KnuthBendix 005: (fpsemi) Example 5.1 in Sims (infinite) . . . 122μs KnuthBendix 006: (fpsemi) Example 5.3 in Sims . . . 97μs KnuthBendix 007: (fpsemi) Example 5.4 in Sims . . . 105μs KnuthBendix 008: (fpsemi) Example 6.4 in Sims (size 168) . . . 7313μs KnuthBendix 009: (fpsemi) . . . 50ms KnuthBendix 010: (fpsemi) SL(2, 7) from Chapter 3, Propositi [...] . . . 73ms KnuthBendix 011: (fpsemi) F(2, 5) - Chapter 9, Section 1 in [...] . . . 390μs KnuthBendix 012: (fpsemi) Reinis example 1 . . . 197μs KnuthBendix 013: redundant_rule (std::string) . . . 100ms KnuthBendix 014: redundant_rule (word_type) . . . 10ms KnuthBendix 019: (fpsemi) C(4) monoid . . . 53μs KnuthBendix 020: (cong) Chinese monoid . . . 129μs KnuthBendix 021: (from kbmag/standalone/kb_data/f25monoid) . . . 458μs KnuthBendix 022: (from kbmag/standalone/kb_data/degen4a) . . . 46ms KnuthBendix 023: (from kbmag/standalone/kb_data/torus) . . . 2113μs KnuthBendix 024: (from kbmag/standalone/kb_data/3a6) . . . 228ms KnuthBendix 025: (from kbmag/standalone/kb_data/f2) . . . 60μs KnuthBendix 026: (from kbmag/standalone/kb_data/s16) . . . 60ms KnuthBendix 027: (from kbmag/standalone/kb_data/a4monoid) . . . 68μs KnuthBendix 028: (from kbmag/standalone/kb_data/degen3) . . . 35μs KnuthBendix 029: (from kbmag/standalone/kb_data/ab1) . . . 34μs KnuthBendix 030: (from kbmag/standalone/kb_data/degen2) . . . 29μs KnuthBendix 031: (from kbmag/standalone/kb_data/f25) . . . 389μs KnuthBendix 032: (from kbmag/standalone/kb_data/237) . . . 497μs KnuthBendix 033: (from kbmag/standalone/kb_data/c2) . . . 32μs KnuthBendix 034: (from kbmag/standalone/kb_data/cosets) . . . 187μs KnuthBendix 035: Example 5.1 in Sims (KnuthBendix 09 again) . . . 54μs KnuthBendix 036: (from kbmag/standalone/kb_data/nilp2) . . . 38μs KnuthBendix 037: Example 6.4 in Sims . . . 12ms KnuthBendix 038: KnuthBendix 071 again . . . 574μs KnuthBendix 039: Example 5.4 in Sims (KnuthBendix 11 again) [...] . . . 186μs KnuthBendix 040: Example 5.4 in Sims (KnuthBendix 11 again) [...] . . . 126μs KnuthBendix 041: operator<< . . . 51μs KnuthBendix 042: confluence_interval . . . 27μs KnuthBendix 043: max_overlap . . . 26μs KnuthBendix 044: (fpsemi) (from kbmag/standalone/kb_data/d22 [...] . . . 1039μs KnuthBendix 045: (fpsemi) (from kbmag/standalone/kb_data/d22 [...] . . . 1923μs KnuthBendix 046: (fpsemi) small example . . . 647μs KnuthBendix 047: code coverage . . . 76μs KnuthBendix 048: small overlap 1 . . . 63μs KnuthBendix 049: (from kbmag/standalone/kb_data/s9) . . . 1334μs KnuthBendix 050: (fpsemi) Chapter 11, Lemma 1.8 (q = 6, r = [...] . . . 506μs KnuthBendix 051: (fpsemi) Chapter 11, Section 2 (q = 6, r = [...] . . . 121μs KnuthBendix 052: (fpsemi) Chapter 8, Theorem 4.2 in NR (infinite) . . . 212μs KnuthBendix 053: (fpsemi) equal_to fp semigroup . . . 57μs KnuthBendix 054: (fpsemi) equal_to free semigroup . . . 69μs KnuthBendix 055: (fpsemi) from GAP smalloverlap gap/test.gi [...] . . . 294μs KnuthBendix 056: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 440μs KnuthBendix 057: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 443μs KnuthBendix 058: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 1291μs KnuthBendix 059: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 2884μs KnuthBendix 060: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 53μs KnuthBendix 061: (fpsemi) Von Dyck (2,3,7) group (infinite) . . . 459μs KnuthBendix 062: (fpsemi) Von Dyck (2,3,7) group - different [...] . . . 4186μs KnuthBendix 063: (fpsemi) rewriting system from KnuthBendixC [...] . . . 322μs KnuthBendix 064: (fpsemi) rewriting system from Congruence 20 . . . 43μs KnuthBendix 065: (fpsemi) (from kbmag/standalone/kb_data/ab2) . . . 99μs KnuthBendix 066: (fpsemi) (from kbmag/standalone/kb_data/d22 [...] . . . 1132μs KnuthBendix 067: (fpsemi) (from kbmag/standalone/kb_data/degen1) . . . 51μs KnuthBendix 068: (fpsemi) (from kbmag/standalone/kb_data/s4) . . . 295μs KnuthBendix 069: (fpsemi) fp semigroup (infinite) . . . 59μs KnuthBendix 070: (fpsemi) Chapter 11, Section 1 (q = 4, r = [...] . . . 1535μs KnuthBendix 071: (fpsemi) Chapter 11, Section 1 (q = 8, r = [...] . . . 96ms KnuthBendix 072: (fpsemi) Chapter 7, Theorem 3.9 in NR (size 240) . . . 3036μs KnuthBendix 073: (fpsemi) F(2, 5) - Chapter 9, Section 1 in [...] . . . 415μs KnuthBendix 074: (fpsemi) F(2, 6) - Chapter 9, Section 1 in NR . . . 388μs KnuthBendix 075: (fpsemi) Chapter 10, Section 4 in NR (infinite) . . . 744μs KnuthBendix 076: (fpsemi) Sym(5) from Chapter 3, Proposition [...] . . . 2587μs KnuthBendix 077: (fpsemi) SL(2, 7) from Chapter 3, Propositi [...] . . . 71ms KnuthBendix 078: (fpsemi) bicyclic monoid (infinite) . . . 57μs KnuthBendix 079: (fpsemi) plactic monoid of degree 2 (infinite) . . . 76μs KnuthBendix 080: (fpsemi) example before Chapter 7, Proposit [...] . . . 58μs KnuthBendix 081: (fpsemi) Chapter 7, Theorem 3.6 in NR (size 243) . . . 711μs KnuthBendix 082: (fpsemi) finite semigroup (size 99) . . . 248μs KnuthBendix 096: Sorouhesh . . . 357μs KnuthBendix 097: (fpsemi) transformation semigroup (size 4) . . . 85μs KnuthBendix 098: (fpsemi) transformation semigroup (size 9) . . . 69μs KnuthBendix 099: (fpsemi) transformation semigroup (size 88) . . . 716μs KnuthBendix 100: internal_string_to_word . . . 51μs KnuthBendix 101: (fpsemi) construct from shared_ptr . . . 680μs KnuthBendix 102: internal_string_to_word . . . 704μs KnuthBendix 103: (cong) free semigroup congruence (5 classes) . . . 92μs KnuthBendix 104: free semigroup congruence (6 classes) . . . 246μs KnuthBendix 105: (cong) free semigroup congruence (16 classes) . . . 305μs KnuthBendix 106: (cong) free semigroup congruence (6 classes) . . . 412μs KnuthBendix 107: (cong) free semigroup congruence (240 classes) . . . 3028μs KnuthBendix 108: (cong) free semigroup congruence (240 classes) . . . 2998μs KnuthBendix 109: (cong) less . . . 3525μs KnuthBendix 110: (cong) less . . . 169ms KnuthBendix 111: (cong) constructors . . . 243ms KnuthBendix 112: (cong) const_contains/contains . . . 172μs KnuthBendix 113: (cong) is_quotient_obviously_finite . . . 35μs KnuthBendix 114: (cong) class_index_to_word . . . 196μs KnuthBendix 115: (cong) quotient_froidure_pin . . . 150μs KnuthBendix 116: (cong) set_number_of_generators . . . 35μs KnuthBendix 117: (cong) number of classes when obv-inf . . . 58μs KnuthBendixCongruenceByPairs 016: non-trivial congruence on [...] . . . 184μs KnuthBendixCongruenceByPairs 017: non-trivial congruence on [...] . . . 171μs KnuthBendixCongruenceByPairs 018: non-trivial congruence on [...] . . . 238μs KnuthBendixCongruenceByPairs 019: non-trivial congruence on [...] . . . 246μs KnuthBendixCongruenceByPairs 020: trivial congruence on a fi [...] . . . 187μs KnuthBendixCongruenceByPairs 021: universal congruence on a [...] . . . 512μs KnuthBendixCongruenceByPairs 022: left congruence on a finit [...] . . . 253μs KnuthBendixCongruenceByPairs 023: finite group, Chapter 11, [...] . . . 3918μs KnuthBendixCongruenceByPairs 024: right congruence on infini [...] . . . 288μs KnuthBendixCongruenceByPairs 025: finite fp semigroup, dihed [...] . . . 294μs KnuthBendixCongruenceByPairs 026: finite fp semigroup, size 16 . . . 307μs KnuthBendixCongruenceByPairs 027: finite fp semigroup, size 16 . . . 873μs KnuthBendixCongruenceByPairs 028: infinite fp semigroup with [...] . . . 85μs Konieczny 000: test000> . . . 1087μs Konieczny 001: test000> . . . 805μs Konieczny 002: test001> . . . 10ms Konieczny 003: test001> . . . 8373μs Konieczny 006: exceptions . . . 42μs Konieczny 007: code coverage . . . 13ms Konieczny 008: code coverage . . . 10ms Konieczny 009: regular elements and idempotents . . . 90ms Konieczny 010: regular D-class 01 . . . 1049μs Konieczny 011: regular D-class 02 . . . 10ms Konieczny 012: regular D-class 04: contains . . . 32ms Konieczny 013: non-regular D-classes 01 . . . 1101μs Konieczny 014: RegularDClass . . . 637μs Konieczny 015: full bmat monoid 4 . . . 44ms Konieczny 017: regular generated bmat monoid 4 idempotents . . . 88ms Konieczny 019: my favourite example . . . 95ms Konieczny 020: another large example . . . 8737μs Konieczny 021: my favourite example transposed . . . 75ms Konieczny 024: exceptions . . . 1140μs Konieczny 025: 0-parameter constructor . . . 19ms Konieczny 026: non-regular D-classes 02 . . . 11ms Konieczny 028: partial perm . . . 101ms Konieczny 029: symmetric inverse monoid n = 8 . . . 19ms Konieczny 030: exceptions . . . 211ms Konieczny 031: transformations . . . 492μs Konieczny 032: transformations - JDM favourite example . . . 46ms Konieczny 033: transformations - large example . . . 269ms Konieczny 034: transformations - large example with stop . . . 272ms Konieczny 035: transformations - large example with run_until . . . 270ms Konieczny 036: transformations - large example with stop in Action . . . 272ms Konieczny 037: exceptions . . . 50μs Konieczny 038: transformations: contains . . . 619μs Konieczny 040: transformations - destructor coverage . . . 101ms Konieczny 041: current_number_D_classes . . . 101ms Konieczny 042: add_generator . . . 16μs Konieczny 043: add_generator . . . 12μs Matrix 000: BMat<2> . . . 77μs Matrix 001: BMat<> . . . 68μs Matrix 002: BMat<3> + BMat<> . . . 11μs Matrix 003: BMat<2> + BMat<> . . . 12μs Matrix 004: BMat<3> . . . 20μs Matrix 005: BMat<> . . . 14μs Matrix 006: BMat<3> row_basis . . . 58μs Matrix 007: BMat<> row_basis . . . 36μs Matrix 008: IntMat<3> . . . 15μs Matrix 009: IntMat<> . . . 18μs Matrix 010: IntMat code cov . . . 11μs Matrix 011: MaxPlusMat<3> . . . 14μs Matrix 012: MaxPlusMat<> . . . 15μs Matrix 013: MaxPlusMat code cov . . . 9000ns Matrix 014: MinPlusMat<3> . . . 16μs Matrix 015: MinPlusMat<> . . . 18μs Matrix 016: MinPlusMat code cov . . . 9000ns Matrix 017: MaxPlusTruncMat<5, 2> . . . 16μs Matrix 018: MaxPlusTruncMat<5> . . . 19μs Matrix 019: MaxPlusTruncMat<> . . . 30μs Matrix 020: MaxPlusTruncMat<5, 4> . . . 17μs Matrix 021: MaxPlusTruncMat<5> . . . 18μs Matrix 022: MaxPlusTruncMat<> . . . 18μs Matrix 023: MaxPlusTruncMat<33, 3> . . . 28μs Matrix 024: MaxPlusTruncMat<33> . . . 27μs Matrix 025: MaxPlusTruncMat<> . . . 27μs Matrix 026: MaxPlusMat code cov . . . 10μs Matrix 027: MinPlusTruncMat<33, 3> . . . 29μs Matrix 028: MinPlusTruncMat<33> . . . 29μs Matrix 029: MinPlusTruncMat<> . . . 36μs Matrix 030: NTPMat<0, 3, 3, 3> . . . 15μs Matrix 031: NTPMat<0, 3> . . . 17μs Matrix 032: NTPMat<> . . . 31μs Matrix 033: NTPMat<0, 10, 4, 4> . . . 24μs Matrix 034: NTPMat<0, 10> . . . 20μs Matrix 035: NTPMat<> . . . 19μs Matrix 036: NTPMat<0, 10, 4, 4> . . . 20μs Matrix 037: NTPMat<0, 10> . . . 18μs Matrix 038: NTPMat<> . . . 18μs Matrix 039: NTPMat<33, 2, 3, 3> . . . 15μs Matrix 040: NTPMat<33, 2> . . . 15μs Matrix 041: NTPMat<> . . . 15μs Matrix 042: ProjMaxPlusMat<3> . . . 74μs Matrix 043: ProjMaxPlusMat<> . . . 55μs Matrix 044: exceptions . . . 29μs Matrix 045: code coverage . . . 33μs MultiStringView 000: catch all . . . 43μs MultiStringView 001: is_prefix . . . 14μs MultiStringView 002: erase . . . 15μs MultiStringView 003: iterators . . . 11μs MultiStringView 004: constructors (long) . . . 20μs MultiStringView 005: constructors (short) . . . 16μs MultiStringView 006: copy assignment (short assigned to long) . . . 13μs MultiStringView 007: copy assignment (short assigned to short) . . . 13μs MultiStringView 008: move assignment (short assigned to long) . . . 13μs MultiStringView 009: move assignment (short assigned to short) . . . 13μs MultiStringView 010: code coverage . . . 20μs MultiStringView 011: pop_front . . . 39μs MultiStringView 012: append . . . 15μs MultiStringView 013: operators . . . 15μs MultiStringView 014: maximum_common_suffix . . . 14μs MultiStringView 015: deep tests . . . 10μs ObviouslyInfinite 011: Multiple rule additions . . . 42μs ObviouslyInfinite 012: A power of the generator 'b' does not [...] . . . 12μs ObviouslyInfinite 013: Preserves the number of occurrences o [...] . . . 12μs ObviouslyInfinite 014: Less relations than generators . . . 11μs ObviouslyInfinite 015: Relations preserve length . . . 14μs ObviouslyInfinite 016: Matrix has non empty kernel . . . 14μs ObviouslyInfinite 017: Free product of trivial semigroups . . . 11μs ObviouslyInfinite 018: Another free product . . . 13μs ObviouslyInfinite 019: Infinite but not obviously so . . . 13μs ObviouslyInfinite 020: Finite semigroup . . . 16μs PBR 001: universal product with convenience constructor . . . 44μs PBR 002: universal product . . . 19μs PBR 003: product [bigger than previous] . . . 28μs PBR 004: hash . . . 10μs PBR 005: delete/copy . . . 19μs PBR 006: exceptions . . . 117μs PBR 007: operators . . . 72μs PBR 008: to_string . . . 17μs PBR 009: identity . . . 44μs PBR 010: adapters . . . 9000ns Pool 000: initial . . . 23μs Pool 001: bmat . . . 23μs Pool 002: PoolGuard . . . 20μs Pool 003: transformation products . . . 14μs Presentation 000: vectors of ints . . . 72μs Presentation 001: strings . . . 66μs Presentation 002: constructors (word_type) . . . 22μs Presentation 003: constructors (StaticVector1) . . . 31μs Presentation 004: constructors (std::string) . . . 21μs Presentation 005: alphabet + letters (word_type) . . . 115μs Presentation 006: alphabet + letters (std::string) . . . 35μs Presentation 007: contains_empty_word . . . 11μs Presentation 008: validate_rules throws . . . 38μs Presentation 009: helpers add_rule(s) . . . 80μs Presentation 010: helpers add_rule(s) (std::string) . . . 28μs Presentation 011: helpers add_identity_rules (std::vector/St [...] . . . 37μs Presentation 012: helpers add_identity_rules (std::string) . . . 23μs Presentation 013: helpers add_inverse_rules (all) . . . 159μs Presentation 014: helpers add_inverse_rules (std::string) . . . 37μs Presentation 015: helpers remove_duplicate_rules . . . 57μs Presentation 016: helpers reduce_complements . . . 106μs Presentation 017: helpers sort_each_rule . . . 53μs Presentation 018: helpers sort_rules . . . 58μs Presentation 019: helpers longest_common_subword/replace_subword . . . 221μs Presentation 020: helpers redundant_rule . . . 5567μs Presentation 021: helpers shortlex_compare_concat . . . 11μs Presentation 022: helpers remove_trivial_rules . . . 61μs Presentation 023: helpers replace_subword (existing, replacement) . . . 50μs Presentation 024: helpers longest_rule . . . 90μs Presentation 025: helpers longest_rule_length . . . 78μs Presentation 026: helpers remove_redundant_generators . . . 100μs Presentation 027: helpers reverse . . . 21μs Presentation 028: in_alphabet . . . 25μs Presentation 029: replace_subword with empty word . . . 20μs Presentation 030: helpers replace_word . . . 38μs Presentation 031: clear . . . 11μs Presentation 032: letter . . . 31μs Presentation 033: normalize_alphabet . . . 15μs Presentation 034: longest_common_subword issue . . . 285μs Presentation 035: helpers add_zero_rules (std::vector/Static [...] . . . 40μs Presentation 036: helpers add_zero_rules (std::string) . . . 22μs Presentation 037: make_semigroup . . . 43μs Presentation 038: greedy_reduce_length . . . 186μs Presentation 039: aaaaaaaab = aaaaaaaaab strong compression . . . 56μs Presentation 040: change_alphabet . . . 63μs Presentation 041: sort_rules bug . . . 233μs Presentation 042: first_unused_letter/letter . . . 159μs Presentation 043: case where strong compression doesn't work . . . 31μs Presentation 044: proof that . . . 38μs Presentation 045: decompression . . . 18μs Race 001: run_for . . . 10ms Race 002: run_until . . . 10ms Race 003: exceptions . . . 10ms Race 004: iterators . . . 13μs Race 005: find_runner . . . 20μs Race 006: run_func . . . 25ms Race 007: run_func . . . 10ms Race 008: run_func . . . 10ms Runner 000: run_for . . . 10ms Runner 001: run_for . . . 1010μs Runner 002: run_for . . . 192ms Runner 003: run_for . . . 25ms Runner 004: started . . . 1030μs Runner 005: run_until . . . 9225μs Runner 006: kill . . . 29μs Runner 007: copy constructor . . . 10ms Runner 008: report . . . 20ms Runner 009: run_until with function pointer . . . 27μs SchreierSims 001: trivial perm. group (degree 1) . . . 58μs SchreierSims 002: trivial perm. group (degree 2) . . . 28μs SchreierSims 003: trivial perm. group (degree 500) . . . 330μs SchreierSims 004: symmetric perm. group (degree 5) . . . 58μs SchreierSims 005: symmetric perm. group (degree 8) . . . 44μs SchreierSims 006: symmetric perm. group (degree 9) . . . 55μs SchreierSims 007: alternating perm. group (degree 12) . . . 72μs SchreierSims 008: symmetric perm. group (degree 16) . . . 337μs SchreierSims 009: alternating perm. group (degree 15) . . . 191μs SchreierSims 010: alternating perm. group (degree 16) . . . 409μs SchreierSims 011: dihedral perm. group (order 10) . . . 30μs SchreierSims 012: dihedral perm. group (order 200) . . . 2289μs SchreierSims 013: perm. group T (order 12) . . . 30μs SchreierSims 014: quaternion perm. group (order 8) . . . 35μs SchreierSims 015: perm. group (order 84129611558952960) . . . 288ms SchreierSims 016: perm. group SL(3, 5) (order 372000) . . . 1421μs SchreierSims 017: perm. group PSL(4, 8) (order 34558531338240) . . . 116ms SchreierSims 018: perm. Mathieu group M11 (order 7920) . . . 96μs SchreierSims 019: perm. Mathieu group M24 (order 244823040) . . . 213μs SchreierSims 020: perm. Janko Group J1 (order 175560) . . . 3307μs SchreierSims 021: perm. Hall-Janko group (order 604800) . . . 461μs SchreierSims 022: perm. Hall-Janko group (alt.) (order 604800) . . . 29ms SchreierSims 023: perm. Conway group Co3 (order 495766656000) . . . 8898μs SchreierSims 024: perm. Conway group Co3 (alt.) (order 49576 [...] . . . 18ms SchreierSims 025: perm. Suzuki group (order 448345497600) . . . 93ms SchreierSims 027: perm. Held group (order 4030387200) . . . 140ms SchreierSims 028: perm. group C2 x C2 x C2 (order 8) . . . 28μs SchreierSims 029: perm. group C2 x C2 x C2 x C2 (order 16) . . . 33μs SchreierSims 030: perm. group (S5 x S5) : C2 (order 28800) . . . 60μs SchreierSims 031: perm. group C3 x D8 x A5 (order 1440) . . . 58μs SchreierSims 032: perm. group GL(4, 3) (order 24261120) . . . 633μs SchreierSims 033: perm. group PSL(3, 7) (order 1876896) . . . 672μs SchreierSims 037: symmetric perm. group (degree 5) . . . 26μs SchreierSims 038: alternating perm. group (degree 17) . . . 3040μs SchreierSims 039: exceptions . . . 78μs SchreierSims 040: exceptions . . . 42μs SchreierSims 041: trivial group . . . 33μs SchreierSims 042: A17 bug . . . 2664μs SchreierSims 043: orbits_lookup test . . . 408μs SchreierSims 044: transversal_element and inversal_element test . . . 1076μs SchreierSimsHelper 001: trivial perm. group intersection (de [...] . . . 25μs SchreierSimsHelper 002: trivial perm. group intersection (de [...] . . . 15μs SchreierSimsHelper 003: cyclic group intersection (degree 13) . . . 31μs SchreierSimsHelper 004: D10 and Z5 intersection . . . 26μs SchreierSimsHelper 005: D8 and Q8 intersection . . . 18μs SchreierSimsHelper 006: primitive on 8 points intersection . . . 29μs SchreierSimsHelper 007: primitive on 8 points intersection ( [...] . . . 26μs SchreierSimsHelper 008: A13 and PGL(2, 11) intersection . . . 141μs SchreierSimsHelper 009: A13 and PGL(2, 11) intersection (swa [...] . . . 133μs SchreierSimsHelper 012: 3^3:13 and 3^3.2.A(4) intersection . . . 132μs SchreierSimsHelper 015: 3^3(S(4) x 2) and ASL(3, 3) intersection . . . 247μs SchreierSimsHelper 016: 7^2:3 x Q(8) and 7^2:D(2*6) intersection . . . 325μs SchreierSimsHelper 018: D(2*53) and 53:13 intersection . . . 226μs SchreierSimsHelper 019: 2^6:(7 x D_14) and PSL(2, 6)^2.4 int [...] . . . 1500μs SchreierSimsHelper 020: 2^6:(S_3 x GL(3, 2)) and 2.6:Alt(7) [...] . . . 4700μs SchreierSimsHelper 022: PSL(2, 127) and AGL(1, 2^7) intersection . . . 7830μs SchreierSimsHelper 023: PSL(3, 4).2 and PSL(3, 4).2 (nontriv [...] . . . 1713μs SchreierSimsHelper 024: PSL(3, 4).Sym(3) and PSL(3, 4).2 int [...] . . . 1867μs SchreierSimsHelper 025: 3^4:5:4 and D_16:4 intersection . . . 993μs Sims1 000: fp example 1 . . . 1093μs Sims1 001: fp example 2 . . . 1481μs Sims1 002: ToddCoxeter failing example . . . 11ms Sims1 003: ToddCoxeter failing example . . . 558μs Sims1 004: partition_monoid(2) right . . . 4637μs Sims1 006: full_transformation_monoid(3) right . . . 4851μs Sims1 007: full_transformation_monoid(3) left . . . 2750μs Sims1 009: rook_monoid(2, 1) . . . 89μs Sims1 010: symmetric_inverse_monoid(2) from FroidurePin . . . 88μs Sims1 011: symmetric_inverse_monoid(3) . . . 5012μs Sims1 014: temperley_lieb_monoid(3) from presentation . . . 90μs Sims1 015: temperley_lieb_monoid(4) from presentation . . . 554μs Sims1 016: fp semigroup containing given pairs #1 . . . 323μs Sims1 017: fp semigroup containing given pairs #2 . . . 315μs Sims1 018: fp semigroup containing given pairs #3 . . . 465μs Sims1 019: ToddCoxeter failing example . . . 1080μs Sims1 020: fp example 2 . . . 1900μs Sims1 021: exceptions . . . 181μs Sims1 027: from https://mathoverflow.net/questions/423541/ . . . 18ms Sims1 028: from https://mathoverflow.net/questions/423541/ . . . 13ms Sims1 030: presentation with one free generator . . . 172μs Sims1 031: presentation with non-zero index generators . . . 75μs Sims1 032: presentation with empty word . . . 6305μs Sims1 033: constructors . . . 953μs Sims1 034: split_at . . . 178μs Sims1 035: stats . . . 87μs Sims1 036: check iterator requirements . . . 116μs Sims1 040: TransitiveGroup(10, 32) - minimal rep . . . 2703μs Sims1 043: rectangular_band(2, 2) - with and without identity . . . 163μs Sims1 044: trivial group - minimal o.r.c. rep . . . 102μs Sims1 045: right zero semigroup - minimal o.r.c. rep . . . 1699μs Sims1 046: semigroup with faithful non-strictly cyclic actio [...] . . . 814μs Sims1 068: RepOrc . . . 24ms Sims1 069: fp example 1 . . . 363μ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 944μs (172ns 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 . . . 1031μs Sims1 072: symmetric_group(n) for n = 4 . . . 1506μs Sims1 073: corner case no generators + no relations . . . 63μs Sims1 076: uninitialized RepOrc . . . 27μs SmallestInteger 001: . . . 11μs StaticTriVector2 045: all . . . 19μs StaticVector2 043: all . . . 17μs Stephen 000: basic test 1 . . . 190μs Stephen 001: basic test 2 . . . 123μs Stephen 002: full transf monoid . . . 12ms Stephen 003: from step_hen 002 . . . 49μs Stephen 004: from step_hen 003 . . . 158μs Stephen 005: from step_hen 004 . . . 38μs Stephen 006: from step_hen 005 . . . 87μs Stephen 008: C(4) monoid normal form (test_case_knuth_bendix_055) . . . 169μs Stephen 009: C(4) monoid normal form (test_case_gap_smallove [...] . . . 81μs Stephen 010: code coverage . . . 259μs Stephen 011: C(4) monoid normal form (test_case_gap_smallove [...] . . . 270μs Stephen 012: C(4) monoid normal form (test_case_gap_smallove [...] . . . 202μs Stephen 013: C(4) monoid equal to (test_case_gap_smalloverlap_70) . . . 98μs Stephen 014: C(4) monoid normal form (test_case_ex_3_13_14) . . . 273μs Stephen 015: C(4) monoid normal form (test_case_ex_3_15) . . . 326μs Stephen 016: C(4) monoid normal form (test_case_ex_3_16) . . . 250μs Stephen 017: C(4) monoid normal form (test_case_mt_3) . . . 139μs Stephen 018: C(4) monoid normal form (test_case_mt_5) . . . 91μs Stephen 019: C(4) monoid normal form (test_case_mt_6) . . . 278μs Stephen 020: C(4) monoid normal form (test_case_mt_10) . . . 128μs Stephen 021: C(4) monoid normal form (test_case_mt_13) . . . 92μs Stephen 022: C(4) monoid normal form (test_case_mt_14) . . . 93μs Stephen 023: C(4) monoid normal form (test_case_mt_15) . . . 95μs Stephen 024: C(4) monoid normal form (test_case_mt_16) . . . 107μs Stephen 025: C(4) monoid normal form (test_case_mt_17) . . . 273μs Stephen 026: C(4) monoid normal form (test_case_weak_1) . . . 194μs Stephen 027: C(4) monoid normal form (test_case_weak_2) . . . 151μs Stephen 028: C(4) monoid normal form (test_case_weak_3) . . . 236μs Stephen 029: C(4) monoid normal form (test_case_weak_4) . . . 207μs Stephen 030: C(4) monoid normal form (test_case_weak_5) . . . 102μs Stephen 031: Test behaviour when uninitialised . . . 136μs Suf 005: unite . . . 21μs Suf 007: compress . . . 13μs Suf 011: big chain . . . 14ms Suf 013: empty table . . . 10μs Suf 015: join . . . 12μs Suf 017: contains . . . 26μs Suf 019: swap . . . 29μs Timer 001: string method (1 argument) . . . 21μs Timer 002: string method (0 arguments) . . . 10ms Timer 003: reset/elapsed method . . . 20ms Timer 004: operator<< . . . 11μs ToddCoxeter 000: small 2-sided congruence . . .  -- with HLT + no standardise + full lookahead + no save 1053μs  -- with HLT + standardise + full lookahead + no save 980μs  -- with HLT + no standardise + partial lookahead + no save 972μs  -- with HLT + standardise + partial lookahead + no save 971μs  -- with HLT + no standardise + full lookahead + save 1003μs  -- with HLT + standardise + full lookahead + save 989μs  -- with HLT + no standardise + partial lookahead + save 982μs  -- with HLT + standardise + partial lookahead + save 1000μs  -- with Felsch + no standardisation 976μs  -- with Felsch + standardisation 980μs  -- with random strategy 1005μs  -- with Rc style + full lookahead 974μs  -- with Rc style + partial lookahead 969μs  -- with R/C style 971μs  -- with CR style 987μs  -- with Cr style 982μs ToddCoxeter 001: small 2-sided congruence . . .  -- with HLT + no standardise + full lookahead + no save 5104μs  -- with HLT + standardise + full lookahead + no save 5486μs  -- with HLT + no standardise + partial lookahead + no save 5097μs  -- with HLT + standardise + partial lookahead + no save 5051μs  -- with HLT + no standardise + full lookahead + save 5003μs  -- with HLT + standardise + full lookahead + save 4954μs  -- with HLT + no standardise + partial lookahead + save 4968μs  -- with HLT + standardise + partial lookahead + save 4957μs  -- with Felsch + no standardisation 4999μs  -- with Felsch + standardisation 4949μs  -- with random strategy 4958μs  -- with Rc style + full lookahead 4961μs  -- with Rc style + partial lookahead 4958μs  -- with R/C style 4950μs  -- with CR style 4976μs  -- with Cr style 4985μs ToddCoxeter 003: constructed from FroidurePin . . .  -- with Felsch + no standardisation 228ms  -- with Felsch + standardisation 226ms  -- with HLT + no standardise + full lookahead + no save 81ms  -- with HLT + standardise + full lookahead + no save 81ms  -- with HLT + no standardise + partial lookahead + no save 80ms  -- with HLT + standardise + partial lookahead + no save 80ms  -- with HLT + no standardise + full lookahead + save 232ms  -- with HLT + standardise + full lookahead + save 233ms  -- with HLT + no standardise + partial lookahead + save 232ms  -- with HLT + standardise + partial lookahead + save 232ms  -- with random strategy 231ms  -- with Rc style + full lookahead 228ms  -- with Rc style + partial lookahead 228ms  -- with R/C style 85ms  -- with CR style 227ms  -- with Cr style 228ms ToddCoxeter 004: 2-sided congruence from FroidurePin . . .  -- with HLT + no standardise + full lookahead + no save 211μs  -- with HLT + standardise + full lookahead + no save 169μs  -- with HLT + no standardise + partial lookahead + no save 160μs  -- with HLT + standardise + partial lookahead + no save 161μs  -- with HLT + save (throws) 197μs  -- with Felsch (throws) 170μs  -- with random strategy 171μs ToddCoxeter 005: non-trivial two-sided from relations . . .  -- with HLT + no standardise + full lookahead + no save 60μs  -- with HLT + standardise + full lookahead + no save 44μs  -- with HLT + no standardise + partial lookahead + no save 40μs  -- with HLT + standardise + partial lookahead + no save 39μs  -- with HLT + no standardise + full lookahead + save 54μs  -- with HLT + standardise + full lookahead + save 51μs  -- with HLT + no standardise + partial lookahead + save 49μs  -- with HLT + standardise + partial lookahead + save 48μs  -- with Felsch + no standardisation 48μs  -- with Felsch + standardisation 44μs  -- with random strategy 48μs  -- with Rc style + full lookahead 44μs  -- with Rc style + partial lookahead 42μs  -- with R/C style 42μs  -- with CR style 47μs  -- with Cr style 46μs ToddCoxeter 006: small right cong. on free semigroup . . .  -- with HLT + no standardise + full lookahead + no save 43μs  -- with HLT + standardise + full lookahead + no save 34μs  -- with HLT + no standardise + partial lookahead + no save 32μs  -- with HLT + standardise + partial lookahead + no save 33μs  -- with HLT + no standardise + full lookahead + save 43μs  -- with HLT + standardise + full lookahead + save 36μs  -- with HLT + no standardise + partial lookahead + save 36μs  -- with HLT + standardise + partial lookahead + save 35μs  -- with Felsch + no standardisation 35μs  -- with Felsch + standardisation 37μs  -- with random strategy 38μs  -- with Rc style + full lookahead 34μs  -- with Rc style + partial lookahead 33μs  -- with R/C style 39μs  -- with CR style 40μs  -- with Cr style 36μs ToddCoxeter 007: left cong. on free semigroup . . .  -- with HLT + no standardise + full lookahead + no save 44μs  -- with HLT + standardise + full lookahead + no save 37μs  -- with HLT + no standardise + partial lookahead + no save 36μs  -- with HLT + standardise + partial lookahead + no save 35μs  -- with HLT + no standardise + full lookahead + save 41μs  -- with HLT + standardise + full lookahead + save 40μs  -- with HLT + no standardise + partial lookahead + save 40μs  -- with HLT + standardise + partial lookahead + save 39μs  -- with Felsch + no standardisation 38μs  -- with Felsch + standardisation 42μs  -- with random strategy 43μs  -- with Rc style + full lookahead 39μs  -- with Rc style + partial lookahead 38μs  -- with R/C style 38μs  -- with CR style 51μs  -- with Cr style 41μs ToddCoxeter 008: for small fp semigroup . . .  -- with HLT + no standardise + full lookahead + no save 38μs  -- with HLT + standardise + full lookahead + no save 33μs  -- with HLT + no standardise + partial lookahead + no save 32μs  -- with HLT + standardise + partial lookahead + no save 34μs  -- with HLT + no standardise + full lookahead + save 37μs  -- with HLT + standardise + full lookahead + save 36μs  -- with HLT + no standardise + partial lookahead + save 36μs  -- with HLT + standardise + partial lookahead + save 36μs  -- with Felsch + no standardisation 35μs  -- with Felsch + standardisation 35μs  -- with random strategy 39μs  -- with Rc style + full lookahead 35μs  -- with Rc style + partial lookahead 35μs  -- with R/C style 34μs  -- with CR style 38μs  -- with Cr style 40μs ToddCoxeter 009: 2-sided cong. trans. semigroup . . .  -- with HLT + no standardise + full lookahead + no save 221μs  -- with HLT + standardise + full lookahead + no save 208μs  -- with HLT + no standardise + partial lookahead + no save 202μs  -- with HLT + standardise + partial lookahead + no save 201μs  -- with HLT + no standardise + full lookahead + save 517μs  -- with HLT + standardise + full lookahead + save 500μs  -- with HLT + no standardise + partial lookahead + save 491μs  -- with HLT + standardise + partial lookahead + save 505μs  -- with Felsch + no standardisation 455μs  -- with Felsch + standardisation 454μs  -- with random strategy 220μs  -- with Rc style + full lookahead 208μs  -- with Rc style + partial lookahead 206μs  -- with R/C style 211μs  -- with CR style 458μs  -- with Cr style 443μs ToddCoxeter 010: left congruence on transformation semigroup . . .  -- with HLT + no standardise + full lookahead + no save 231μs  -- with HLT + standardise + full lookahead + no save 233μs  -- with HLT + no standardise + partial lookahead + no save 220μs  -- with HLT + standardise + partial lookahead + no save 230μs  -- with HLT + no standardise + full lookahead + save 554μs  -- with HLT + standardise + full lookahead + save 532μs  -- with HLT + no standardise + partial lookahead + save 515μs  -- with HLT + standardise + partial lookahead + save 542μs  -- with Felsch + no standardisation 490μs  -- with Felsch + standardisation 467μs  -- with random strategy 595μs  -- with Rc style + full lookahead 257μs  -- with Rc style + partial lookahead 252μs  -- with R/C style 263μs  -- with CR style 503μs  -- with Cr style 486μs ToddCoxeter 011: right cong. trans. semigroup . . .  -- with HLT + no standardise + full lookahead + no save 238μs  -- with HLT + standardise + full lookahead + no save 243μs  -- with HLT + no standardise + partial lookahead + no save 228μs  -- with HLT + standardise + partial lookahead + no save 236μs  -- with HLT + no standardise + full lookahead + save 536μs  -- with HLT + standardise + full lookahead + save 519μs  -- with HLT + no standardise + partial lookahead + save 506μs  -- with HLT + standardise + partial lookahead + save 512μs  -- with Felsch + no standardisation 408μs  -- with Felsch + standardisation 419μs  -- with random strategy 267μs  -- with Rc style + full lookahead 253μs  -- with Rc style + partial lookahead 264μs  -- with R/C style 273μs  -- with CR style 428μs  -- with Cr style 407μs ToddCoxeter 012: trans. semigroup (size 88) . . .  -- with HLT + no standardise + full lookahead + no save 153μs  -- with HLT + standardise + full lookahead + no save 147μs  -- with HLT + no standardise + partial lookahead + no save 142μs  -- with HLT + standardise + partial lookahead + no save 143μs  -- with HLT + save (throws) 157μs  -- with Felsch (throws) 152μs  -- with random strategy 163μs ToddCoxeter 013: left cong. on trans. semigroup (size 88) . . .  -- with HLT + no standardise + full lookahead + no save 202μs  -- with HLT + standardise + full lookahead + no save 203μs  -- with HLT + no standardise + partial lookahead + no save 196μs  -- with HLT + standardise + partial lookahead + no save 198μs  -- with HLT + no standardise + full lookahead + save 522μs  -- with HLT + standardise + full lookahead + save 519μs  -- with HLT + no standardise + partial lookahead + save 491μs  -- with HLT + standardise + partial lookahead + save 501μs  -- with Felsch + no standardisation 459μs  -- with Felsch + standardisation 430μs  -- with random strategy 237μs  -- with Rc style + full lookahead 226μs  -- with Rc style + partial lookahead 235μs  -- with R/C style 240μs  -- with CR style 477μs  -- with Cr style 460μs ToddCoxeter 014: right cong. on trans. semigroup (size 88) . . .  -- with HLT + no standardise + full lookahead + no save 206μs  -- with HLT + standardise + full lookahead + no save 209μ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 492μs  -- with HLT + standardise + full lookahead + save 485μs  -- with HLT + no standardise + partial lookahead + save 483μs  -- with HLT + standardise + partial lookahead + save 475μs  -- with Felsch + no standardisation 374μs  -- with Felsch + standardisation 383μs  -- with random strategy 237μs  -- with Rc style + full lookahead 224μs  -- with Rc style + partial lookahead 221μs  -- with R/C style 253μs  -- with CR style 395μs  -- with Cr style 388μs ToddCoxeter 015: finite fp-semigroup, dihedral group of order 6 . . .  -- with HLT + no standardise + full lookahead + no save 79μs  -- with HLT + standardise + full lookahead + no save 66μs  -- with HLT + no standardise + partial lookahead + no save 60μs  -- with HLT + standardise + partial lookahead + no save 62μs  -- with HLT + no standardise + full lookahead + save 82μs  -- with HLT + standardise + full lookahead + save 79μs  -- with HLT + no standardise + partial lookahead + save 76μs  -- with HLT + standardise + partial lookahead + save 80μs  -- with Felsch + no standardisation 75μs  -- with Felsch + standardisation 69μs  -- with random strategy 73μs  -- with Rc style + full lookahead 62μs  -- with Rc style + partial lookahead 64μs  -- with R/C style 60μs  -- with CR style 70μs  -- with Cr style 68μs ToddCoxeter 016: finite fp-semigroup, size 16 . . .  -- with HLT + no standardise + full lookahead + no save 72μs  -- with HLT + standardise + full lookahead + no save 64μs  -- with HLT + no standardise + partial lookahead + no save 62μs  -- with HLT + standardise + partial lookahead + no save 63μs  -- with HLT + no standardise + full lookahead + save 131μs  -- with HLT + standardise + full lookahead + save 127μs  -- with HLT + no standardise + partial lookahead + save 120μs  -- with HLT + standardise + partial lookahead + save 128μs  -- with Felsch + no standardisation 121μs  -- with Felsch + standardisation 113μs  -- with random strategy 119μs  -- with Rc style + full lookahead 67μs  -- with Rc style + partial lookahead 64μs  -- with R/C style 70μs  -- with CR style 112μs  -- with Cr style 110μs ToddCoxeter 017: finite fp-semigroup, size 16 . . .  -- with HLT + no standardise + full lookahead + no save 184μs  -- with HLT + standardise + full lookahead + no save 175μs  -- with HLT + no standardise + partial lookahead + no save 160μs  -- with HLT + standardise + partial lookahead + no save 161μs  -- with HLT + no standardise + full lookahead + save 337μs  -- with HLT + standardise + full lookahead + save 335μs  -- with HLT + no standardise + partial lookahead + save 309μs  -- with HLT + standardise + partial lookahead + save 314μs  -- with Felsch + no standardisation 293μs  -- with Felsch + standardisation 288μs  -- with random strategy 321μs  -- with Rc style + full lookahead 174μs  -- with Rc style + partial lookahead 169μs  -- with R/C style 170μs  -- with CR style 294μs  -- with Cr style 287μs ToddCoxeter 018: test lookahead . . .  -- with HLT + no standardise + full lookahead + no save 268μs  -- with HLT + standardise + full lookahead + no save 259μs  -- with HLT + no standardise + partial lookahead + no save 234μs  -- with HLT + standardise + partial lookahead + no save 244μs  -- with HLT + no standardise + full lookahead + save 435μs  -- with HLT + standardise + full lookahead + save 427μs  -- with HLT + no standardise + partial lookahead + save 418μs  -- with HLT + standardise + partial lookahead + save 421μs ToddCoxeter 019: non-trivial left cong. from semigroup . . .  -- with HLT + no standardise + full lookahead + no save 154μs  -- with HLT + standardise + full lookahead + no save 145μs  -- with HLT + no standardise + partial lookahead + no save 134μs  -- with HLT + standardise + partial lookahead + no save 137μs  -- with HLT + save (throws) 144μs  -- with Felsch (throws) 139μs  -- with random strategy 147μs ToddCoxeter 020: 2-sided cong. on free semigroup . . .  -- with HLT + no standardise + full lookahead + no save 26μs  -- with HLT + standardise + full lookahead + no save 19μs  -- with HLT + no standardise + partial lookahead + no save 19μs  -- with HLT + standardise + partial lookahead + no save 19μs  -- with HLT + no standardise + full lookahead + save 18μs  -- with HLT + standardise + full lookahead + save 18μs  -- with HLT + no standardise + partial lookahead + save 18μs  -- with HLT + standardise + partial lookahead + save 18μs  -- with Felsch + no standardisation 18μs  -- with Felsch + standardisation 19μs  -- with random strategy 18μs ToddCoxeter 021: calling run when obviously infinite . . .  -- with HLT + no standardise + full lookahead + no save 46μs  -- with HLT + standardise + full lookahead + no save 31μs  -- with HLT + no standardise + partial lookahead + no save 30μs  -- with HLT + standardise + partial lookahead + no save 30μs  -- with HLT + no standardise + full lookahead + save 29μs  -- with HLT + standardise + full lookahead + save 29μs  -- with HLT + no standardise + partial lookahead + save 29μs  -- with HLT + standardise + partial lookahead + save 29μs  -- with Felsch + no standardisation 28μs  -- with Felsch + standardisation 31μs  -- with random strategy 29μs ToddCoxeter 022: stellar_monoid S3 . . .  -- with HLT + no standardise + full lookahead + no save 132μs  -- with HLT + standardise + full lookahead + no save 125μs  -- with HLT + no standardise + partial lookahead + no save 116μs  -- with HLT + standardise + partial lookahead + no save 121μs  -- with HLT + no standardise + full lookahead + save 214μs  -- with HLT + standardise + full lookahead + save 208μs  -- with HLT + no standardise + partial lookahead + save 203μs  -- with HLT + standardise + partial lookahead + save 198μs  -- with Felsch + no standardisation 198μs  -- with Felsch + standardisation 197μs  -- with random strategy 190μs  -- with Rc style + full lookahead 124μs  -- with Rc style + partial lookahead 122μs  -- with R/C style 131μs  -- with CR style 181μs  -- with Cr style 178μs ToddCoxeter 023: finite semigroup (size 5) . . .  -- with HLT + no standardise + full lookahead + no save 43μs  -- with HLT + standardise + full lookahead + no save 33μs  -- with HLT + no standardise + partial lookahead + no save 31μs  -- with HLT + standardise + partial lookahead + no save 32μs  -- with HLT + no standardise + full lookahead + save 38μs  -- with HLT + standardise + full lookahead + save 35μs  -- with HLT + no standardise + partial lookahead + save 35μs  -- with HLT + standardise + partial lookahead + save 35μs  -- with Felsch + no standardisation 35μs  -- with Felsch + standardisation 35μs  -- with random strategy 35μs  -- with Rc style + full lookahead 33μs  -- with Rc style + partial lookahead 31μs  -- with R/C style 32μs  -- with CR style 38μs  -- with Cr style 36μs ToddCoxeter 024: exceptions . . .  -- with HLT + no standardise + full lookahead + no save 198μs  -- with HLT + standardise + full lookahead + no save 177μs  -- with HLT + no standardise + partial lookahead + no save 175μs  -- with HLT + standardise + partial lookahead + no save 176μs  -- with HLT + no standardise + full lookahead + save 180μs  -- with HLT + standardise + full lookahead + save 179μs  -- with HLT + no standardise + partial lookahead + save 183μs  -- with HLT + standardise + partial lookahead + save 179μs  -- with Felsch + no standardisation 189μs  -- with Felsch + standardisation 179μs  -- with random strategy 177μs  -- with Rc style + full lookahead 176μs  -- with Rc style + partial lookahead 176μs  -- with R/C style 175μs  -- with CR style 178μs  -- with Cr style 178μs ToddCoxeter 025: obviously infinite . . .  -- with HLT + no standardise + full lookahead + no save 45μs  -- with HLT + standardise + full lookahead + no save 37μs  -- with HLT + no standardise + partial lookahead + no save 35μs  -- with HLT + standardise + partial lookahead + no save 36μs  -- with HLT + no standardise + full lookahead + save 38μs  -- with HLT + standardise + full lookahead + save 35μs  -- with HLT + no standardise + partial lookahead + save 35μs  -- with HLT + standardise + partial lookahead + save 35μs  -- with Felsch + no standardisation 35μs  -- with Felsch + standardisation 35μs  -- with random strategy 35μs ToddCoxeter 026: exceptions . . .  -- with HLT + no standardise + full lookahead + no save 99μs  -- with HLT + standardise + full lookahead + no save 82μs  -- with HLT + no standardise + partial lookahead + no save 80μs  -- with HLT + standardise + partial lookahead + no save 79μs  -- with HLT + no standardise + full lookahead + save 112μs  -- with HLT + standardise + full lookahead + save 113μs  -- with HLT + no standardise + partial lookahead + save 107μs  -- with HLT + standardise + partial lookahead + save 110μs  -- with Felsch + no standardisation 105μs  -- with Felsch + standardisation 108μs  -- with random strategy 115μs  -- with Rc style + full lookahead 86μs  -- with Rc style + partial lookahead 81μs  -- with R/C style 95μs  -- with CR style 114μs  -- with Cr style 118μs ToddCoxeter 027: empty . . . 48μs ToddCoxeter 028: congruence of fpsemigroup::ToddCoxeter . . .  -- with HLT + no standardise + full lookahead + no save 155μs  -- with HLT + standardise + full lookahead + no save 121μs  -- with HLT + no standardise + partial lookahead + no save 117μs  -- with HLT + standardise + partial lookahead + no save 115μs  -- with HLT + save (throws) 121μs  -- with Felsch (throws) 120μs  -- with random strategy 123μs  -- with HLT + no standardise + full lookahead + save 120μs  -- with HLT + standardise + full lookahead + save 124μs  -- with HLT + no standardise + partial lookahead + save 119μs  -- with HLT + standardise + partial lookahead + save 117μs  -- with Felsch + no standardisation 116μs  -- with Felsch + standardisation 114μs  -- with Rc style + full lookahead 110μs  -- with Rc style + partial lookahead 110μs  -- with R/C style 110μs  -- with CR style 123μs  -- with Cr style 113μs ToddCoxeter 029: !KnuthBendix.started() . . .  -- with HLT + no standardise + full lookahead + no save and 2-sided 79μs  -- with HLT + standardise + full lookahead + no save and 2-sided 63μs  -- with HLT + no standardise + partial lookahead + no save and 2-sided 57μs  -- with HLT + standardise + partial lookahead + no save and 2-sided 55μs  -- with HLT + no standardise + full lookahead + save and 2-sided 62μs  -- with HLT + standardise + full lookahead + save and 2-sided 61μs  -- with HLT + no standardise + partial lookahead + save and 2-sided 61μs  -- with HLT + standardise + partial lookahead + save and 2-sided 59μs  -- with Felsch + no standardisation and 2-sided 57μs  -- with Felsch + standardisation and 2-sided 71μs  -- with random strategy and 2-sided 62μs  -- with HLT + no standardise + full lookahead + no save and left 71μs  -- with HLT + standardise + full lookahead + no save and left 59μs  -- with HLT + no standardise + partial lookahead + no save and left 56μs  -- with HLT + standardise + partial lookahead + no save and left 56μs  -- with HLT + no standardise + full lookahead + save and left 64μs  -- with HLT + standardise + full lookahead + save and left 64μs  -- with HLT + no standardise + partial lookahead + save and left 62μs  -- with HLT + standardise + partial lookahead + save and left 61μs  -- with Felsch + no standardisation and left 61μs  -- with Felsch + standardisation and left 60μs  -- with random strategy and left 58μs  -- with HLT + no standardise + full lookahead + no save and right 57μs  -- with HLT + standardise + full lookahead + no save and right 54μs  -- with HLT + no standardise + partial lookahead + no save and right 56μs  -- with HLT + standardise + partial lookahead + no save and right 54μs  -- with HLT + no standardise + full lookahead + save and right 61μs  -- with HLT + standardise + full lookahead + save and right 61μs  -- with HLT + no standardise + partial lookahead + save and right 60μs  -- with HLT + standardise + partial lookahead + save and right 61μs  -- with Felsch + no standardisation and right 60μs  -- with Felsch + standardisation and right 60μs  -- with random strategy and right 64μs ToddCoxeter 030: KnuthBendix.finished() . . .  -- with HLT + no standardise + full lookahead + no save and 2-sided 154μs  -- with HLT + standardise + full lookahead + no save and 2-sided 129μs  -- with HLT + no standardise + partial lookahead + no save and 2-sided 129μs  -- with HLT + standardise + partial lookahead + no save and 2-sided 122μs  -- with HLT + no standardise + full lookahead + save and 2-sided 128μs  -- with HLT + standardise + full lookahead + save and 2-sided 127μs  -- with HLT + no standardise + partial lookahead + save and 2-sided 267μs  -- with HLT + standardise + partial lookahead + save and 2-sided 126μs  -- with Felsch + no standardisation and 2-sided 121μs  -- with Felsch + standardisation and 2-sided 121μs  -- with random strategy and 2-sided 124μs  -- with HLT + no standardise + full lookahead + no save and left 133μs  -- with HLT + standardise + full lookahead + no save and left 151μs  -- with HLT + no standardise + partial lookahead + no save and left 127μs  -- with HLT + standardise + partial lookahead + no save and left 122μs  -- with HLT + no standardise + full lookahead + save and left 131μs  -- with HLT + standardise + full lookahead + save and left 131μs  -- with HLT + no standardise + partial lookahead + save and left 128μs  -- with HLT + standardise + partial lookahead + save and left 129μs  -- with Felsch + no standardisation and left 125μs  -- with Felsch + standardisation and left 124μs  -- with random strategy and left 129μs  -- with HLT + no standardise + full lookahead + no save and right 145μs  -- with HLT + standardise + full lookahead + no save and right 162μs  -- with HLT + no standardise + partial lookahead + no save and right 159μs  -- with HLT + standardise + partial lookahead + no save and right 161μs  -- with HLT + no standardise + full lookahead + save and right 168μs  -- with HLT + standardise + full lookahead + save and right 168μs  -- with HLT + no standardise + partial lookahead + save and right 166μs  -- with HLT + standardise + partial lookahead + save and right 167μs  -- with Felsch + no standardisation and right 156μs  -- with Felsch + standardisation and right 155μs  -- with random strategy and right 193μs ToddCoxeter 031: KnuthBendix.finished() . . .  -- with HLT + no standardise + full lookahead + no save and 2-sided 126μs  -- with HLT + standardise + full lookahead + no save and 2-sided 96μs  -- with HLT + no standardise + partial lookahead + no save and 2-sided 93μs  -- with HLT + standardise + partial lookahead + no save and 2-sided 95μs  -- with HLT + no standardise + full lookahead + save and 2-sided 99μs  -- with HLT + standardise + full lookahead + save and 2-sided 97μs  -- with HLT + no standardise + partial lookahead + save and 2-sided 97μs  -- with HLT + standardise + partial lookahead + save and 2-sided 94μs  -- with Felsch + no standardisation and 2-sided 89μs  -- with Felsch + standardisation and 2-sided 88μs  -- with random strategy and 2-sided 96μs  -- with Rc style + full lookahead and 2-sided 94μs  -- with Rc style + partial lookahead and 2-sided 92μs  -- with R/C style and 2-sided 88μs  -- with CR style and 2-sided 93μs  -- with Cr style and 2-sided 94μs  -- with HLT + no standardise + full lookahead + no save and left 96μs  -- with HLT + standardise + full lookahead + no save and left 92μs  -- with HLT + no standardise + partial lookahead + no save and left 90μs  -- with HLT + standardise + partial lookahead + no save and left 89μs  -- with HLT + no standardise + full lookahead + save and left 98μs  -- with HLT + standardise + full lookahead + save and left 97μs  -- with HLT + no standardise + partial lookahead + save and left 96μs  -- with HLT + standardise + partial lookahead + save and left 96μs  -- with Felsch + no standardisation and left 94μs  -- with Felsch + standardisation and left 92μs  -- with random strategy and left 106μs  -- with Rc style + full lookahead and left 98μs  -- with Rc style + partial lookahead and left 95μs  -- with R/C style and left 90μs  -- with CR style and left 96μs  -- with Cr style and left 100μs  -- with HLT + no standardise + full lookahead + no save and right 118μs  -- with HLT + standardise + full lookahead + no save and right 92μs  -- with HLT + no standardise + partial lookahead + no save and right 89μs  -- with HLT + standardise + partial lookahead + no save and right 88μs  -- with HLT + no standardise + full lookahead + save and right 95μs  -- with HLT + standardise + full lookahead + save and right 98μs  -- with HLT + no standardise + partial lookahead + save and right 95μs  -- with HLT + standardise + partial lookahead + save and right 95μs  -- with Felsch + no standardisation and right 91μs  -- with Felsch + standardisation and right 92μs  -- with random strategy and right 101μs  -- with Rc style + full lookahead and right 94μs  -- with Rc style + partial lookahead and right 99μs  -- with R/C style and right 90μs  -- with CR style and right 95μs  -- with Cr style and right 100μs ToddCoxeter 032: prefill . . . 127μs ToddCoxeter 033: congruence of ToddCoxeter . . .  -- with HLT + no standardise + full lookahead + no save 50μs  -- with HLT + standardise + full lookahead + no save 39μs  -- with HLT + no standardise + partial lookahead + no save 38μs  -- with HLT + standardise + partial lookahead + no save 37μs  -- with HLT + no standardise + full lookahead + save 43μs  -- with HLT + standardise + full lookahead + save 43μs  -- with HLT + no standardise + partial lookahead + save 42μs  -- with HLT + standardise + partial lookahead + save 41μs  -- with random strategy 42μs ToddCoxeter 034: congruence of ToddCoxeter . . .  -- with HLT + no standardise + full lookahead + no save 118μs  -- with HLT + standardise + full lookahead + no save 116μs  -- with HLT + no standardise + partial lookahead + no save 105μs  -- with HLT + standardise + partial lookahead + no save 102μs  -- with HLT + save (throws) 113μs  -- with Felsch (throws) 111μs  -- with random strategy 111μs ToddCoxeter 035: congruence on FpSemigroup . . .  -- with HLT + no standardise + full lookahead + no save 298μs  -- with HLT + standardise + full lookahead + no save 283μs  -- with HLT + no standardise + partial lookahead + no save 263μs  -- with HLT + standardise + partial lookahead + no save 261μs  -- with HLT + no standardise + full lookahead + save 312μs  -- with HLT + standardise + full lookahead + save 304μs  -- with HLT + no standardise + partial lookahead + save 314μs  -- with HLT + standardise + partial lookahead + save 302μs  -- with Felsch + no standardisation 299μs  -- with Felsch + standardisation 296μs  -- with random strategy 307μs  -- with Rc style + full lookahead 257μs  -- with Rc style + partial lookahead 265μs  -- with R/C style 253μs  -- with CR style 305μs  -- with Cr style 311μs ToddCoxeter 036: exceptions . . . 81μs ToddCoxeter 037: copy constructor . . . 38μs ToddCoxeter 038: simplify . . . 147μs ToddCoxeter 039: stylic_monoid . . . 673ms ToddCoxeter 041: some finite classes . . . 473μs ToddCoxeter 043: symmetric_group(7, Coxeter + Moser) . . . 121ms ToddCoxeter 044: Option exceptions . . . 61μs ToddCoxeter 045: Options operator<< . . . 600μs ToddCoxeter 046: Easdown-East-FitzGerald DualSymInv(5) . . .  -- with HLT + no standardise + full lookahead + no save 137ms  -- with HLT + standardise + full lookahead + no save 150ms  -- with HLT + no standardise + partial lookahead + no save 136ms  -- with HLT + standardise + partial lookahead + no save 150ms  -- with HLT + no standardise + full lookahead + save 109ms  -- with HLT + standardise + full lookahead + save 109ms  -- with HLT + no standardise + partial lookahead + save 109ms  -- with HLT + standardise + partial lookahead + save 109ms  -- with Felsch + no standardisation 123ms  -- with Felsch + standardisation 122ms  -- with random strategy 141ms  -- with R/C style 143ms  -- with Rc style + full lookahead 127ms  -- with Rc style + partial lookahead 128ms ToddCoxeter 047: uniform_block_bijection_monoid(3) (FitzGerald) . . .  -- with HLT + no standardise + full lookahead + no save 90μs  -- with HLT + standardise + full lookahead + no save 80μs  -- with HLT + no standardise + partial lookahead + no save 73μs  -- with HLT + standardise + partial lookahead + no save 81μs  -- with HLT + no standardise + full lookahead + save 162μs  -- with HLT + standardise + full lookahead + save 151μs  -- with HLT + no standardise + partial lookahead + save 144μs  -- with HLT + standardise + partial lookahead + save 146μs  -- with Felsch + no standardisation 127μs  -- with Felsch + standardisation 120μs  -- with random strategy 123μs  -- with R/C style 84μs  -- with Rc style + full lookahead 78μs  -- with Rc style + partial lookahead 76μs ToddCoxeter 048: stellar_monoid(7) (Gay-Hivert) . . . 126ms ToddCoxeter 049: partition_monoid(4) (East) . . .  -- with HLT + no standardise + full lookahead + no save 24ms  -- with HLT + standardise + full lookahead + no save 24ms  -- with HLT + no standardise + partial lookahead + no save 24ms  -- with HLT + standardise + partial lookahead + no save 24ms  -- with HLT + no standardise + full lookahead + save 43ms  -- with HLT + standardise + full lookahead + save 44ms  -- with HLT + no standardise + partial lookahead + save 43ms  -- with HLT + standardise + partial lookahead + save 44ms  -- with Felsch + no standardisation 51ms  -- with Felsch + standardisation 51ms  -- with random strategy 53ms  -- with R/C style 27ms  -- with Rc style + full lookahead 55ms  -- with Rc style + partial lookahead 55ms ToddCoxeter 050: singular_brauer_monoid(6) (Maltcev + Mazorchuk) . . . 471ms ToddCoxeter 051: orientation_preserving_monoid(6) (Ruskuc + [...] . . .  -- with HLT + no standardise + full lookahead + no save 19ms ToddCoxeter 052: orientation_reversing_monoid(5) (Ruskuc + [...] . . .  -- with HLT + no standardise + full lookahead + no save 5108μs ToddCoxeter 053: temperley_lieb_monoid(10) (East) . . . 31ms ToddCoxeter 063: add_rule . . .  -- with HLT + no standardise + full lookahead + no save 86μs  -- with HLT + standardise + full lookahead + no save 63μs  -- with HLT + no standardise + partial lookahead + no save 59μs  -- with HLT + standardise + partial lookahead + no save 60μs  -- with HLT + no standardise + full lookahead + save 66μs  -- with HLT + standardise + full lookahead + save 64μs  -- with HLT + no standardise + partial lookahead + save 68μs  -- with HLT + standardise + partial lookahead + save 64μs  -- with Felsch + no standardisation 64μs  -- with Felsch + standardisation 64μs  -- with random strategy 64μs  -- with Rc style + full lookahead 61μs  -- with Rc style + partial lookahead 70μs  -- with R/C style 60μs  -- with CR style 64μs  -- with Cr style 64μs  -- with R/C + Felsch lookahead 67μs  -- with HLT + Felsch lookahead + save 69μs  -- with Cr + small number of f_defs 68μs  -- with Rc + small number of deductions 60μs  -- with Felsch + v2 + no preferred defs 63μs  -- with Felsch + v2 + immediate no stack 64μs  -- with Felsch + v1 + immediate no stack 64μs  -- with Felsch + v1 + immediate yes stack 64μs  -- with large collapse 60μs ToddCoxeter 064: (from kbmag/standalone/kb_data/s4) (KnuthB [...] . . .  -- with HLT + no standardise + full lookahead + no save 248μs ToddCoxeter 066: test validate . . . 60μs ToddCoxeter 067: add_rules after construct. from semigroup . . .  -- with HLT + no standardise + full lookahead + no save 342μs  -- with HLT + standardise + full lookahead + no save 323μs  -- with HLT + no standardise + partial lookahead + no save 315μs  -- with HLT + standardise + partial lookahead + no save 310μs  -- with HLT + save (throws) 315μs  -- with Felsch (throws) 314μs  -- with random strategy 305μs ToddCoxeter 068: Sym(5) from Chapter 3, Proposition 1.1 in NR . . .  -- with Deduction policy == purge_from_top 576μs  -- with Deduction policy == purge_all 519μs  -- with Deduction policy == discard_all_if_no_space 541μs  -- with HLT + no standardise + full lookahead + no save 615μs  -- with HLT + standardise + full lookahead + no save 855μs  -- with HLT + no standardise + partial lookahead + no save 608μs  -- with HLT + standardise + partial lookahead + no save 835μs  -- with HLT + no standardise + full lookahead + save 929μs  -- with HLT + standardise + full lookahead + save 888μs  -- with HLT + no standardise + partial lookahead + save 869μs  -- with HLT + standardise + partial lookahead + save 879μs  -- with Felsch + no standardisation 585μs  -- with Felsch + standardisation 563μs  -- with random strategy 602μs  -- with Rc style + full lookahead 1257μs  -- with Rc style + partial lookahead 1209μs  -- with R/C style 675μs  -- with CR style 618μs  -- with Cr style 593μs ToddCoxeter 069: Chapter 7, Theorem 3.6 in NR (size 243) . . .  -- with HLT + no standardise + full lookahead + no save 289μs  -- with HLT + standardise + full lookahead + no save 328μs  -- with HLT + no standardise + partial lookahead + no save 269μs  -- with HLT + standardise + partial lookahead + no save 313μs  -- with HLT + no standardise + full lookahead + save 381μs  -- with HLT + standardise + full lookahead + save 388μs  -- with HLT + no standardise + partial lookahead + save 370μs  -- with HLT + standardise + partial lookahead + save 392μs  -- with Felsch + no standardisation 1824μs  -- with Felsch + standardisation 1895μs  -- with random strategy 403μs  -- with Rc style + full lookahead 301μs  -- with Rc style + partial lookahead 294μs  -- with R/C style 302μs  -- with CR style 1841μs  -- with Cr style 1817μs ToddCoxeter 070: finite semigroup (size 99) . . .  -- with HLT + no standardise + full lookahead + no save 132μs  -- with HLT + standardise + full lookahead + no save 134μs  -- with HLT + no standardise + partial lookahead + no save 115μs  -- with HLT + standardise + partial lookahead + no save 125μs  -- with HLT + no standardise + full lookahead + save 193μs  -- with HLT + standardise + full lookahead + save 211μs  -- with HLT + no standardise + partial lookahead + save 180μs  -- with HLT + standardise + partial lookahead + save 187μs  -- with Felsch + no standardisation 355μs  -- with Felsch + standardisation 346μs  -- with random strategy 369μs  -- with Rc style + full lookahead 132μs  -- with Rc style + partial lookahead 127μs  -- with R/C style 125μs  -- with CR style 347μs  -- with Cr style 352μs ToddCoxeter 080: KnuthBendix 098 . . .  -- with HLT + no standardise + full lookahead + no save 423ms  -- with HLT + standardise + full lookahead + no save 449ms  -- with HLT + no standardise + partial lookahead + no save 428ms  -- with HLT + standardise + partial lookahead + no save 454ms  -- with HLT + no standardise + full lookahead + save 311ms  -- with HLT + standardise + full lookahead + save 304ms  -- with HLT + no standardise + partial lookahead + save 305ms  -- with HLT + standardise + partial lookahead + save 316ms  -- with Felsch + no standardisation 296ms  -- with Felsch + standardisation 294ms  -- with random strategy 301ms  -- with Rc style + full lookahead 290ms  -- with Rc style + partial lookahead 299ms  -- with R/C style 426ms  -- with CR style 293ms  -- with Cr style 293ms ToddCoxeter 084: Campbell-Reza 1 . . .  -- with HLT + no standardise + full lookahead + no save 128μs  -- with HLT + standardise + full lookahead + no save 87μs  -- with HLT + no standardise + partial lookahead + no save 84μs  -- with HLT + standardise + partial lookahead + no save 81μs  -- with HLT + no standardise + full lookahead + save 97μs  -- with HLT + standardise + full lookahead + save 89μs  -- with HLT + no standardise + partial lookahead + save 86μs  -- with HLT + standardise + partial lookahead + save 86μs  -- with Felsch + no standardisation 95μs  -- with Felsch + standardisation 90μs  -- with random strategy 79μs  -- with Rc style + full lookahead 77μs  -- with Rc style + partial lookahead 75μs  -- with R/C style 78μs  -- with CR style 93μs  -- with Cr style 90μs ToddCoxeter 085: Renner monoid type D4 (Gay-Hivert), q = 1 . . .  -- with HLT + no standardise + full lookahead + no save 163ms  -- with HLT + standardise + full lookahead + no save 108ms  -- with HLT + no standardise + partial lookahead + no save 108ms  -- with HLT + standardise + partial lookahead + no save 107ms  -- with HLT + no standardise + full lookahead + save 108ms  -- with HLT + standardise + full lookahead + save 107ms  -- with HLT + no standardise + partial lookahead + save 108ms  -- with HLT + standardise + partial lookahead + save 108ms  -- with Felsch + no standardisation 108ms  -- with Felsch + standardisation 108ms  -- with random strategy 107ms  -- with Rc style + full lookahead 107ms  -- with Rc style + partial lookahead 108ms  -- with R/C style 108ms  -- with CR style 108ms  -- with Cr style 108ms ToddCoxeter 086: trivial semigroup . . . 249ms ToddCoxeter 092: ACE --- perf602p5 - HLT . . .  -- with HLT + no standardise + full lookahead + no save 27ms  -- with HLT + standardise + full lookahead + no save 26ms  -- with HLT + no standardise + partial lookahead + no save 27ms  -- with HLT + standardise + partial lookahead + no save 26ms  -- with HLT + no standardise + full lookahead + save 12ms  -- with HLT + standardise + full lookahead + save 12ms  -- with HLT + no standardise + partial lookahead + save 12ms  -- with HLT + standardise + partial lookahead + save 12ms  -- with random strategy 27ms  -- with Felsch + no standardisation 10ms  -- with Felsch + standardisation 10ms ToddCoxeter 094: ACE --- C5 - HLT . . .  -- with HLT + no standardise + full lookahead + no save 116μs  -- with HLT + standardise + full lookahead + no save 98μs  -- with HLT + no standardise + partial lookahead + no save 97μs  -- with HLT + standardise + partial lookahead + no save 93μs  -- with HLT + no standardise + full lookahead + save 115μs  -- with HLT + standardise + full lookahead + save 112μs  -- with HLT + no standardise + partial lookahead + save 127μs  -- with HLT + standardise + partial lookahead + save 109μs  -- with random strategy 100μs  -- with Felsch + no standardisation 109μs  -- with Felsch + standardisation 105μs ToddCoxeter 095: ACE --- A5-C5 . . .  -- with HLT + no standardise + full lookahead + no save 113μs  -- with HLT + standardise + full lookahead + no save 121μs  -- with HLT + no standardise + partial lookahead + no save 107μs  -- with HLT + standardise + partial lookahead + no save 119μs  -- with HLT + no standardise + full lookahead + save 149μs  -- with HLT + standardise + full lookahead + save 146μs  -- with HLT + no standardise + partial lookahead + save 142μs  -- with HLT + standardise + partial lookahead + save 143μs  -- with random strategy 115μs  -- with Felsch + no standardisation 133μs  -- with Felsch + standardisation 128μs ToddCoxeter 096: ACE --- A5 . . .  -- with HLT + no standardise + full lookahead + no save 215μs  -- with HLT + standardise + full lookahead + no save 217μs  -- with HLT + no standardise + partial lookahead + no save 180μs  -- with HLT + standardise + partial lookahead + no save 211μs  -- with HLT + no standardise + full lookahead + save 311μs  -- with HLT + standardise + full lookahead + save 307μs  -- with HLT + no standardise + partial lookahead + save 291μs  -- with HLT + standardise + partial lookahead + save 301μs  -- with random strategy 323μs  -- with Felsch + no standardisation 248μs  -- with Felsch + standardisation 250μs ToddCoxeter 098: relation ordering . . .  -- with Felsch + no standardisation 485μs  -- with Felsch + standardisation 477μs  -- with HLT + no standardise + full lookahead + no save 268μs  -- with HLT + standardise + full lookahead + no save 259μs  -- with HLT + no standardise + partial lookahead + no save 257μs  -- with HLT + standardise + partial lookahead + no save 255μs  -- with HLT + no standardise + full lookahead + save 486μs  -- with HLT + standardise + full lookahead + save 487μs  -- with HLT + no standardise + partial lookahead + save 481μs  -- with HLT + standardise + partial lookahead + save 486μs  -- with random strategy 318μs ToddCoxeter 099: short circuit size in obviously infinite . . . 18μs ToddCoxeter 101: http://brauer.maths.qmul.ac.uk/Atlas/spor/M [...] . . . 477ms ToddCoxeter 108: http://brauer.maths.qmul.ac.uk/Atlas/lin/L3 [...] . . . 424ms ToddCoxeter 110: to_gap_string . . . 109μs ToddCoxeter 111: partition_monoid(2) . . . 66μs ToddCoxeter 112: brauer_monoid(4) (Kudryavtseva + Mazorchuk) . . . 325μs ToddCoxeter 113: symmetric_inverse_monoid . . . 13ms ToddCoxeter 116: symmetric_group(7, Burnside + Miller) . . . 335ms UF 001: constructor by size . . . 15μs UF 002: copy constructor . . . 20μs UF 003: find . . . 15μs Ukkonen 000: basic tests . . . 62ms Ukkonen 001: maximal_piece_prefix 1 . . . 36μs Ukkonen 002: maximal_piece_prefix 2 . . . 40μs Ukkonen 003: maximal_piece_prefix 3 . . . 225μs Ukkonen 004: number_of_pieces . . . 73μs Ukkonen 005: traverse . . . 22μs Ukkonen 006: dot . . . 201μs Ukkonen 007: strings . . . 52μs Ukkonen 008: dfs #01 . . . 35μs Ukkonen 009: dfs #02 . . . 32μs Ukkonen 010: dfs #03 . . . 29μs Ukkonen 011: dfs #04 . . . 83μs Ukkonen 012: dfs #05 . . . 69μs Ukkonen 013: dfs #06 . . . 49μs Ukkonen 014: dfs #07 . . . 110μs Ukkonen 015: dfs #08 . . . 69μs Ukkonen 016: dfs #09 . . . 96μs Ukkonen 017: dfs #10 . . . 29μs Ukkonen 018: pieces . . . 36μs Ukkonen 019: code coverage . . . 44μs Ukkonen 020: code coverage . . . 10μs action_digraph_helper 015: detail::to_string . . . 23μs action_digraph_helper 016: make . . . 37μs action_digraph_helper 017: is_connected . . . 146μs action_digraph_helper 018: is_strictly_cyclic . . . 10ms follow_path 012: 20 node path . . . 20μs fpsemi-examples 002: full_transformation_monoid author except . . . 27μs fpsemi-examples 003: full_transformation_monoid degree except . . . 24μs fpsemi-examples 005: partial_transformation_monoid author except . . . 21μs fpsemi-examples 006: partial_transformation_monoid degree except . . . 19μs fpsemi-examples 007: symmetric_inverse_monoid(5) . . . 13ms fpsemi-examples 008: symmetric_group auth except . . . 31μs fpsemi-examples 009: symmetric_group degree except . . . 19μs fpsemi-examples 010: symmetric_group(6) Burnside + Miller . . . 19ms fpsemi-examples 011: dual_symmetric_inverse_monoid(5) . . . 138ms fpsemi-examples 012: dual_symmetric_inverse_monoid auth except . . . 28μs fpsemi-examples 013: dual_symmetric_inverse_monoid degree except . . . 19μs fpsemi-examples 014: uniform_block_bijection_monoid(5) . . . 9582μs fpsemi-examples 015: uniform_block_bijection_monoid auth except . . . 25μs fpsemi-examples 016: uniform_block_bijection_monoid degree except . . . 18μs fpsemi-examples 019: partition_monoid auth except . . . 29μs fpsemi-examples 020: partition_monoid degree except . . . 45μs fpsemi-examples 022: monogenic_semigroup(4, 9) . . . 34μs fpsemi-examples 023: fibonacci_semigroup(2, 5) . . . 76μs fpsemi-examples 024: temperley_lieb_monoid(10) . . . 36ms fpsemi-examples 025: singular_brauer_monoid(6) . . . 336ms fpsemi-examples 026: orientation_preserving_monoid(6) . . . 19ms fpsemi-examples 027: orientation_reversing_monoid(5) . . . 5128μs fpsemi-examples 028: chinese_monoid(3) . . . 126μs fpsemi-examples 029: plactic_monoid(3) . . . 98μs fpsemi-examples 030: stylic_monoid(3) . . . 851μs fpsemi-examples 031: symmetric_group(6) Carmichael . . . 11ms fpsemi-examples 032: symmetric_group(6) Moore index 0 . . . 8276μs fpsemi-examples 033: symmetric_group(6) Coxeter + Moser . . . 4646μs fpsemi-examples 034: test for the rook monoid . . . 244μs fpsemi-examples 035: alternating_group(7) Moore . . . 18ms fpsemi-examples 036: alternating_group auth except . . . 38μs fpsemi-examples 037: alternating_group degree except . . . 18μs fpsemi-examples 038: partial_transformation_monoid(3) Machine . . . 287μs fpsemi-examples 039: chinese_monoid degree except . . . 29μs fpsemi-examples 040: monogenic_semigroup degree except . . . 26μs fpsemi-examples 041: rectangular_band degree except . . . 40μs fpsemi-examples 042: stellar_monoid degree except . . . 23μs fpsemi-examples 043: plactic_monoid degree except . . . 24μs fpsemi-examples 044: stylic_monoid degree except . . . 24μs fpsemi-examples 045: temperley_lieb_monoid degree except . . . 30μs fpsemi-examples 046: singular_brauer_monoid degree except . . . 30μs fpsemi-examples 047: orientation_preserving_monoid degree except . . . 29μs fpsemi-examples 048: orientation_reversing_monoid degree except . . . 30μs fpsemi-examples 049: test default values . . . 3113μs fpsemi-examples 052: not_symmetric_group(5) Guralnick + Kant [...] . . . 2258μs fpsemi-examples 053: order_preserving_monoid(5) . . . 501μs fpsemi-examples 055: order_preserving_monoid degree except . . . 70μs fpsemi-examples 056: cyclic_inverse_monoid(4) Fernandes 1 . . . 204μs fpsemi-examples 057: cyclic_inverse_monoid(8) Fernandes index 1 . . . 13ms fpsemi-examples 058: cyclic_inverse_monoid Fernandes index 0 . . . 19ms fpsemi-examples 059: order_preserving_cyclic_inverse_monoid(4) . . . 133μs fpsemi-examples 060: order_preserving_cyclic_inverse_monoid(10) . . . 23ms fpsemi-examples 061: cyclic_inverse_monoid degree except . . . 64μs fpsemi-examples 062: cyclic_inverse_monoid author except . . . 27μs fpsemi-examples 063: order_preserving_monoid degree except . . . 30μs fpsemi-examples 064: symmetric_group index except . . . 29μs fpsemi-examples 065: symmetric_group(7) Moore index 1 . . . 5123μs fpsemi-examples 066: order_preserving_cyclic_inverse_monoid(10) . . . 23ms fpsemi-examples 067: partial_isometries_cycle_graph_monoid(5) . . . 519μs fpsemi-examples 068: partial_isometries_cycle_graph_monoid(10) . . . 210ms fpsemi-examples 069: partial_isometries_cycle_graph_monoid d [...] . . . 40μs fpsemi-examples 070: partial_isometries_cycle_graph_monoid(4) . . . 230μs freeband_equal_to 001: . . . 891μs is_acyclic 000: 2-cycle . . . 12μs is_acyclic 001: 1-cycle . . . 10μs is_acyclic 002: multi-digraph . . . 13μs is_acyclic 003: complete digraph 100 . . . 86μs is_acyclic 004: acyclic digraph with 20000 nodes . . . 1897μs is_acyclic 006: for a node . . . 834μs is_acyclic 007: for a node . . . 17μs is_reachable 008: acyclic 20 node digraph . . . 38μs is_reachable 009: 100 node path . . . 9474μs is_reachable 010: 100 node cycle . . . 9315μs is_reachable 011: 20 node clique . . . 383μs last_node_on_path_nc 014: 20 node path . . . 16μs make 000: from FroidurePin . . . 422μs make 001: from FroidurePin and alphabet . . . 521μs make 002: presentation from presentation . . . 188μs make 003: presentation from presentation and alphabet . . . 47μs make 004: argument checks issue . . . 97μs make 005: use human readable alphabet for make . . . 19μs make> 000: from ActionDigraph . . . 1321μs make> 001: from ActionDigraph (exceptions) . . . 42μs number_of_words 001: . . . 18μs operator"" _w 003: literal . . . 13μs silo 000: alphabet: a, min: 0, max: 10 . . . 33μs silo 001: corner cases . . . 26μs silo 002: alphabet: ab, min: 1, max: 4 . . . 42μs silo 003: alphabet: abc, min: 0, max: 13 . . . 82ms silo 004: code coverage . . . 28μs sislo 005: alphabet: a, min: 0, max: 10 . . . 41μs sislo 006: corner cases . . . 77μs sislo 007: alphabet: ab, min: 1, max: 4 . . . 104μs sislo 008: alphabet: abc, min: 0, max: 13 . . . 82ms sislo 009: code coverage . . . 30μs string 000: detail::is_suffix . . . 12μs string 001: detail::is_prefix . . . 12μs string 002: detail::maximum_common_suffix . . . 11μs string 003: detail::group_digits . . . 21μs string_to_word 002: . . . 13μs validate_label 013: 20 node path . . . 42μs wilo 001: corner cases . . . 38μs wilo 002: letters: 2, min: 1, max: 4 . . . 48μs wilo 003: letters: 2, min: 1, max: 4 . . . 51μs wilo 004: letters: 3, min: 0, max: 10 . . . 14ms wilo 005: letters: 3, min: 0, max: 13 . . . 159ms wilo 006: forward iterator requirements . . . 157ms wilo 007: more corner cases . . . 55μs wilo 008: starting at a given word 1 . . . 150μs wilo 009: starting at a given word 2 . . . 19μs wilo 010: code coverage . . . 18μs wislo 000: n: 2, min; 1, max: 4 . . . 25μs wislo 001: corner cases . . . 40μs wislo 002: n: 3, min; 0, max: 10 . . . 4635μs wislo 003: n: 3, min; 0, max: 13 . . . 153ms wislo 004: lex + sort . . . 443ms wislo 005: code coverage . . . 26μ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.1' ./config/install-sh -c -d '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib' ./config/install-sh -c -d '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups/backward-cpp' /bin/sh ./libtool --mode=install /usr/bin/install -c libsemigroups.la '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib' /usr/bin/install -c -m 644 extern/backward-cpp/backward.hpp '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups/backward-cpp' ./config/install-sh -c -d '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups/HPCombi/include/fallback' ./config/install-sh -c -d '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups/HPCombi/include' ./config/install-sh -c -d '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/pkgconfig' /usr/bin/install -c -m 644 extern/HPCombi/include/fallback/gcdlcm.hpp extern/HPCombi/include/fallback/seq.hpp '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups/HPCombi/include/fallback' ./config/install-sh -c -d '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups' ./config/install-sh -c -d '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups/textflowcpp' /usr/bin/install -c -m 644 extern/HPCombi/include/bmat8.hpp extern/HPCombi/include/bmat8_impl.hpp extern/HPCombi/include/epu.hpp extern/HPCombi/include/epu_impl.hpp extern/HPCombi/include/hpcombi.hpp extern/HPCombi/include/perm16.hpp extern/HPCombi/include/perm16_impl.hpp extern/HPCombi/include/perm_generic.hpp extern/HPCombi/include/perm_generic_impl.hpp extern/HPCombi/include/power.hpp extern/HPCombi/include/testtools.hpp extern/HPCombi/include/vect16.hpp extern/HPCombi/include/vect_generic.hpp '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups/HPCombi/include' /usr/bin/install -c -m 644 libsemigroups.pc '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/pkgconfig' 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' libtool: install: (cd /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib && { ln -s -f libsemigroups.so.2.0.0 libsemigroups.so.2 || { rm -f libsemigroups.so.2 && ln -s libsemigroups.so.2.0.0 libsemigroups.so.2; }; }) /usr/bin/install -c -m 644 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 || { 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.1' >>> libsemigroups-static*: Running split function static... >>> libsemigroups-static*: Preparing subpackage libsemigroups-static... >>> libsemigroups-static*: Stripping binaries >>> libsemigroups-static*: Running postcheck for libsemigroups-static >>> libsemigroups-dev*: Running split function dev... >>> libsemigroups-dev*: Preparing subpackage libsemigroups-dev... >>> libsemigroups-dev*: Stripping binaries >>> libsemigroups-dev*: Running postcheck for libsemigroups-dev >>> libsemigroups*: Running postcheck for libsemigroups >>> libsemigroups*: Preparing package libsemigroups... >>> libsemigroups*: Stripping binaries >>> libsemigroups-dev*: Scanning shared objects >>> libsemigroups-static*: Scanning shared objects >>> libsemigroups*: Scanning shared objects >>> libsemigroups-dev*: Tracing dependencies... libsemigroups=2.7.1-r1 pc:eigen3 pc:fmt pkgconfig >>> libsemigroups-dev*: Package size: 2.3 MB >>> libsemigroups-dev*: Compressing data... >>> libsemigroups-dev*: Create checksum... >>> libsemigroups-dev*: Create libsemigroups-dev-2.7.1-r1.apk >>> libsemigroups-static*: Tracing dependencies... >>> libsemigroups-static*: Package size: 5.4 MB >>> libsemigroups-static*: Compressing data... >>> libsemigroups-static*: Create checksum... >>> libsemigroups-static*: Create libsemigroups-static-2.7.1-r1.apk >>> libsemigroups*: Tracing dependencies... so:libc.musl-x86_64.so.1 so:libfmt.so.9 so:libgcc_s.so.1 so:libstdc++.so.6 >>> libsemigroups*: Package size: 1.8 MB >>> libsemigroups*: Compressing data... >>> libsemigroups*: Create checksum... >>> libsemigroups*: Create libsemigroups-2.7.1-r1.apk >>> libsemigroups: Build complete at Mon, 15 May 2023 23:14:08 +0000 elapsed time 0h 3m 50s >>> libsemigroups: Cleaning up srcdir >>> libsemigroups: Cleaning up pkgdir >>> libsemigroups: Uninstalling dependencies... (1/4) Purging .makedepends-libsemigroups (20230515.231019) (2/4) Purging eigen-dev (3.4.0-r9) (3/4) Purging fmt-dev (9.1.0-r1) (4/4) Purging fmt (9.1.0-r1) OK: 374 MiB in 102 packages >>> libsemigroups: Updating the testing/x86_64 repository index... >>> libsemigroups: Signing the index...