>>> libsemigroups: Building testing/libsemigroups 2.7.1-r1 (using abuild 3.11.0-r1) started Mon, 15 May 2023 20:47:49 +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.204750) OK: 268 MiB in 103 packages >>> libsemigroups: Cleaning up srcdir >>> libsemigroups: Cleaning up pkgdir >>> libsemigroups: Fetching https://distfiles.alpinelinux.org/distfiles/edge/libsemigroups-2.7.1.tar.gz >>> 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/libsemigroups-2.7.1.tar.gz... checking build system type... powerpc64le-alpine-linux-musl checking host system type... powerpc64le-alpine-linux-musl checking target system type... powerpc64le-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 powerpc64le-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 powerpc64le-alpine-linux-musl-ar... no checking for powerpc64le-alpine-linux-musl-lib... no checking for powerpc64le-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/powerpc64le-alpine-linux-musl/bin/ld checking if the linker (/usr/powerpc64le-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 powerpc64le-alpine-linux-musl file names to powerpc64le-alpine-linux-musl format... func_convert_file_noop checking how to convert powerpc64le-alpine-linux-musl file names to toolchain format... func_convert_file_noop checking for /usr/powerpc64le-alpine-linux-musl/bin/ld option to reload object files... -r checking for powerpc64le-alpine-linux-musl-file... no checking for file... file checking for powerpc64le-alpine-linux-musl-objdump... no checking for objdump... objdump checking how to recognize dependent libraries... pass_all checking for powerpc64le-alpine-linux-musl-dlltool... no checking for dlltool... no checking how to associate runtime and link libraries... printf %s\n checking for powerpc64le-alpine-linux-musl-ar... ar checking for archiver @FILE support... @ checking for powerpc64le-alpine-linux-musl-strip... no checking for strip... strip checking for powerpc64le-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 powerpc64le-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/powerpc64le-alpine-linux-musl/bin/ld) supports shared libraries... yes checking whether -lc should be explicitly linked in... no checking dynamic linker characteristics... GNU/Linux ld.so checking how to hardcode library paths into programs... immediate checking whether stripping libraries is possible... yes checking if libtool supports shared libraries... yes checking whether to build shared libraries... yes checking whether to build static libraries... yes checking how to run the C++ preprocessor... g++ -E checking for ld used by g++... /usr/powerpc64le-alpine-linux-musl/bin/ld checking if the linker (/usr/powerpc64le-alpine-linux-musl/bin/ld) is GNU ld... yes checking whether the g++ linker (/usr/powerpc64le-alpine-linux-musl/bin/ld) supports shared libraries... yes checking for g++ option to produce PIC... -fPIC -DPIC checking if g++ PIC flag -fPIC -DPIC works... yes checking if g++ static flag -static works... yes checking if g++ supports -c -o file.o... yes checking if g++ supports -c -o file.o... (cached) yes checking whether the g++ linker (/usr/powerpc64le-alpine-linux-musl/bin/ld) supports shared libraries... yes checking dynamic linker characteristics... (cached) GNU/Linux ld.so checking how to hardcode library paths into programs... immediate checking for limits.h... yes checking for stdint.h... (cached) yes checking for stdlib.h... (cached) yes checking for sys/time.h... yes checking for unistd.h... (cached) yes checking for pthread.h... yes checking for _Bool... yes checking for stdbool.h that conforms to C99... yes checking for inline... inline checking for int64_t... yes checking for size_t... yes checking for uint64_t... yes checking for ptrdiff_t... yes checking size of void *... 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... no configure: WARNING: flag -mavx not supported, HPCombi is disabled checking for powerpc64le-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 In file included from /usr/include/eigen3/Eigen/Core:350, from /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.1/include/libsemigroups/digraph.hpp:58, from /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.1/include/libsemigroups/digraph-with-sources.hpp:41, from /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.1/include/libsemigroups/stephen.hpp:30, from src/stephen.cpp:22: In member function 'void Eigen::internal::gebp_kernel::operator()(const DataMapper&, const double*, const double*, Index, Index, Index, double, Index, Index, Index, Index) [with Index = long int; DataMapper = Eigen::internal::blas_data_mapper; int mr = 4; int nr = 4; bool ConjugateLhs = false; bool ConjugateRhs = false]', inlined from 'static void Eigen::internal::general_matrix_matrix_product::run(Index, Index, Index, const LhsScalar*, Index, const RhsScalar*, Index, ResScalar*, Index, Index, ResScalar, Eigen::internal::level3_blocking&, Eigen::internal::GemmParallelInfo*) [with Index = long int; LhsScalar = double; int LhsStorageOrder = 0; bool ConjugateLhs = false; RhsScalar = double; int RhsStorageOrder = 0; bool ConjugateRhs = false; int ResInnerStride = 1]' at /usr/include/eigen3/Eigen/src/Core/products/GeneralMatrixMatrix.h:198:15: /usr/include/eigen3/Eigen/src/Core/arch/AltiVec/MatrixProduct.h:2808:34: warning: builtin '__builtin_cpu_supports' needs GLIBC (2.23 and newer) that exports hardware capability bits 2808 | if (__builtin_cpu_supports ("arch_3_1") && __builtin_cpu_supports ("mma")){ | ~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ /usr/include/eigen3/Eigen/src/Core/arch/AltiVec/MatrixProduct.h:2808:73: warning: builtin '__builtin_cpu_supports' needs GLIBC (2.23 and newer) that exports hardware capability bits 2808 | if (__builtin_cpu_supports ("arch_3_1") && __builtin_cpu_supports ("mma")){ | ~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~ In file included from /usr/include/eigen3/Eigen/Core:350, from /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.1/include/libsemigroups/digraph.hpp:58, from /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.1/include/libsemigroups/knuth-bendix.hpp:34, from src/knuth-bendix.cpp:19: In member function 'void Eigen::internal::gebp_kernel::operator()(const DataMapper&, const double*, const double*, Index, Index, Index, double, Index, Index, Index, Index) [with Index = long int; DataMapper = Eigen::internal::blas_data_mapper; int mr = 4; int nr = 4; bool ConjugateLhs = false; bool ConjugateRhs = false]', inlined from 'static void Eigen::internal::general_matrix_matrix_product::run(Index, Index, Index, const LhsScalar*, Index, const RhsScalar*, Index, ResScalar*, Index, Index, ResScalar, Eigen::internal::level3_blocking&, Eigen::internal::GemmParallelInfo*) [with Index = long int; LhsScalar = double; int LhsStorageOrder = 0; bool ConjugateLhs = false; RhsScalar = double; int RhsStorageOrder = 0; bool ConjugateRhs = false; int ResInnerStride = 1]' at /usr/include/eigen3/Eigen/src/Core/products/GeneralMatrixMatrix.h:198:15: /usr/include/eigen3/Eigen/src/Core/arch/AltiVec/MatrixProduct.h:2808:34: warning: builtin '__builtin_cpu_supports' needs GLIBC (2.23 and newer) that exports hardware capability bits 2808 | if (__builtin_cpu_supports ("arch_3_1") && __builtin_cpu_supports ("mma")){ | ~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ /usr/include/eigen3/Eigen/src/Core/arch/AltiVec/MatrixProduct.h:2808:73: warning: builtin '__builtin_cpu_supports' needs GLIBC (2.23 and newer) that exports hardware capability bits 2808 | if (__builtin_cpu_supports ("arch_3_1") && __builtin_cpu_supports ("mma")){ | ~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~ 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 /usr/include/eigen3/Eigen/Core:350, from /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.1/include/libsemigroups/digraph.hpp:58, from /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.1/include/libsemigroups/knuth-bendix.hpp:34, from tests/test-knuth-bendix-4.cpp:48: In member function 'void Eigen::internal::gebp_kernel::operator()(const DataMapper&, const double*, const double*, Index, Index, Index, double, Index, Index, Index, Index) [with Index = long int; DataMapper = Eigen::internal::blas_data_mapper; int mr = 4; int nr = 4; bool ConjugateLhs = false; bool ConjugateRhs = false]', inlined from 'static void Eigen::internal::general_matrix_matrix_product::run(Index, Index, Index, const LhsScalar*, Index, const RhsScalar*, Index, ResScalar*, Index, Index, ResScalar, Eigen::internal::level3_blocking&, Eigen::internal::GemmParallelInfo*) [with Index = long int; LhsScalar = double; int LhsStorageOrder = 0; bool ConjugateLhs = false; RhsScalar = double; int RhsStorageOrder = 0; bool ConjugateRhs = false; int ResInnerStride = 1]' at /usr/include/eigen3/Eigen/src/Core/products/GeneralMatrixMatrix.h:198:15: /usr/include/eigen3/Eigen/src/Core/arch/AltiVec/MatrixProduct.h:2808:34: warning: builtin '__builtin_cpu_supports' needs GLIBC (2.23 and newer) that exports hardware capability bits 2808 | if (__builtin_cpu_supports ("arch_3_1") && __builtin_cpu_supports ("mma")){ | ~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ /usr/include/eigen3/Eigen/src/Core/arch/AltiVec/MatrixProduct.h:2808:73: warning: builtin '__builtin_cpu_supports' needs GLIBC (2.23 and newer) that exports hardware capability bits 2808 | if (__builtin_cpu_supports ("arch_3_1") && __builtin_cpu_supports ("mma")){ | ~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~ In file included from /usr/include/eigen3/Eigen/Core:350, from /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.1/include/libsemigroups/digraph.hpp:58, from tests/test-stephen.cpp:40: In member function 'void Eigen::internal::gebp_kernel::operator()(const DataMapper&, const double*, const double*, Index, Index, Index, double, Index, Index, Index, Index) [with Index = long int; DataMapper = Eigen::internal::blas_data_mapper; int mr = 4; int nr = 4; bool ConjugateLhs = false; bool ConjugateRhs = false]', inlined from 'static void Eigen::internal::general_matrix_matrix_product::run(Index, Index, Index, const LhsScalar*, Index, const RhsScalar*, Index, ResScalar*, Index, Index, ResScalar, Eigen::internal::level3_blocking&, Eigen::internal::GemmParallelInfo*) [with Index = long int; LhsScalar = double; int LhsStorageOrder = 0; bool ConjugateLhs = false; RhsScalar = double; int RhsStorageOrder = 0; bool ConjugateRhs = false; int ResInnerStride = 1]' at /usr/include/eigen3/Eigen/src/Core/products/GeneralMatrixMatrix.h:198:15: /usr/include/eigen3/Eigen/src/Core/arch/AltiVec/MatrixProduct.h:2808:34: warning: builtin '__builtin_cpu_supports' needs GLIBC (2.23 and newer) that exports hardware capability bits 2808 | if (__builtin_cpu_supports ("arch_3_1") && __builtin_cpu_supports ("mma")){ | ~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ /usr/include/eigen3/Eigen/src/Core/arch/AltiVec/MatrixProduct.h:2808:73: warning: builtin '__builtin_cpu_supports' needs GLIBC (2.23 and newer) that exports hardware capability bits 2808 | if (__builtin_cpu_supports ("arch_3_1") && __builtin_cpu_supports ("mma")){ | ~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~ In file included from /usr/include/eigen3/Eigen/Core:350, from /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.1/include/libsemigroups/digraph.hpp:58, from /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.1/include/libsemigroups/knuth-bendix.hpp:34, from /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.1/include/libsemigroups/kbe.hpp:34, from tests/test-knuth-bendix-1.cpp:53: In member function 'void Eigen::internal::gebp_kernel::operator()(const DataMapper&, const double*, const double*, Index, Index, Index, double, Index, Index, Index, Index) [with Index = long int; DataMapper = Eigen::internal::blas_data_mapper; int mr = 4; int nr = 4; bool ConjugateLhs = false; bool ConjugateRhs = false]', inlined from 'static void Eigen::internal::general_matrix_matrix_product::run(Index, Index, Index, const LhsScalar*, Index, const RhsScalar*, Index, ResScalar*, Index, Index, ResScalar, Eigen::internal::level3_blocking&, Eigen::internal::GemmParallelInfo*) [with Index = long int; LhsScalar = double; int LhsStorageOrder = 0; bool ConjugateLhs = false; RhsScalar = double; int RhsStorageOrder = 0; bool ConjugateRhs = false; int ResInnerStride = 1]' at /usr/include/eigen3/Eigen/src/Core/products/GeneralMatrixMatrix.h:198:15: /usr/include/eigen3/Eigen/src/Core/arch/AltiVec/MatrixProduct.h:2808:34: warning: builtin '__builtin_cpu_supports' needs GLIBC (2.23 and newer) that exports hardware capability bits 2808 | if (__builtin_cpu_supports ("arch_3_1") && __builtin_cpu_supports ("mma")){ | ~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ /usr/include/eigen3/Eigen/src/Core/arch/AltiVec/MatrixProduct.h:2808:73: warning: builtin '__builtin_cpu_supports' needs GLIBC (2.23 and newer) that exports hardware capability bits 2808 | if (__builtin_cpu_supports ("arch_3_1") && __builtin_cpu_supports ("mma")){ | ~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~ 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/eigen3/Eigen/Core:350, from /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.1/include/libsemigroups/digraph.hpp:58, from tests/test-digraph.cpp:31: In member function 'void Eigen::internal::gebp_kernel::operator()(const DataMapper&, const double*, const double*, Index, Index, Index, double, Index, Index, Index, Index) [with Index = long int; DataMapper = Eigen::internal::blas_data_mapper; int mr = 4; int nr = 4; bool ConjugateLhs = false; bool ConjugateRhs = false]', inlined from 'static void Eigen::internal::general_matrix_matrix_product::run(Index, Index, Index, const LhsScalar*, Index, const RhsScalar*, Index, ResScalar*, Index, Index, ResScalar, Eigen::internal::level3_blocking&, Eigen::internal::GemmParallelInfo*) [with Index = long int; LhsScalar = double; int LhsStorageOrder = 0; bool ConjugateLhs = false; RhsScalar = double; int RhsStorageOrder = 0; bool ConjugateRhs = false; int ResInnerStride = 1]' at /usr/include/eigen3/Eigen/src/Core/products/GeneralMatrixMatrix.h:198:15: /usr/include/eigen3/Eigen/src/Core/arch/AltiVec/MatrixProduct.h:2808:34: warning: builtin '__builtin_cpu_supports' needs GLIBC (2.23 and newer) that exports hardware capability bits 2808 | if (__builtin_cpu_supports ("arch_3_1") && __builtin_cpu_supports ("mma")){ | ~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ /usr/include/eigen3/Eigen/src/Core/arch/AltiVec/MatrixProduct.h:2808:73: warning: builtin '__builtin_cpu_supports' needs GLIBC (2.23 and newer) that exports hardware capability bits 2808 | if (__builtin_cpu_supports ("arch_3_1") && __builtin_cpu_supports ("mma")){ | ~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~ In file included from /usr/include/eigen3/Eigen/Core:350, from /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.1/include/libsemigroups/digraph.hpp:58, from /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.1/include/libsemigroups/knuth-bendix.hpp:34, from /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.1/include/libsemigroups/fpsemi.hpp:31, from tests/test-todd-coxeter.cpp:46: In member function 'void Eigen::internal::gebp_kernel::operator()(const DataMapper&, const double*, const double*, Index, Index, Index, double, Index, Index, Index, Index) [with Index = long int; DataMapper = Eigen::internal::blas_data_mapper; int mr = 4; int nr = 4; bool ConjugateLhs = false; bool ConjugateRhs = false]', inlined from 'static void Eigen::internal::general_matrix_matrix_product::run(Index, Index, Index, const LhsScalar*, Index, const RhsScalar*, Index, ResScalar*, Index, Index, ResScalar, Eigen::internal::level3_blocking&, Eigen::internal::GemmParallelInfo*) [with Index = long int; LhsScalar = double; int LhsStorageOrder = 0; bool ConjugateLhs = false; RhsScalar = double; int RhsStorageOrder = 0; bool ConjugateRhs = false; int ResInnerStride = 1]' at /usr/include/eigen3/Eigen/src/Core/products/GeneralMatrixMatrix.h:198:15: /usr/include/eigen3/Eigen/src/Core/arch/AltiVec/MatrixProduct.h:2808:34: warning: builtin '__builtin_cpu_supports' needs GLIBC (2.23 and newer) that exports hardware capability bits 2808 | if (__builtin_cpu_supports ("arch_3_1") && __builtin_cpu_supports ("mma")){ | ~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ /usr/include/eigen3/Eigen/src/Core/arch/AltiVec/MatrixProduct.h:2808:73: warning: builtin '__builtin_cpu_supports' needs GLIBC (2.23 and newer) that exports hardware capability bits 2808 | if (__builtin_cpu_supports ("arch_3_1") && __builtin_cpu_supports ("mma")){ | ~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~ 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 . . . 36μs Action 002: row and column basis orbits for BMat8 . . . 1948μs Action 003: add generators after enumeration . . . 1951μs Action 004: multipliers for BMat8 row and column orbits . . . 4228μs Action 005: orbits for regular boolean mat monoid 5 . . . 356ms Action 007: partial perm image orbit . . . 350μs Action 008: partial perm image orbit . . . 91ms Action 009: partial perm image orbit . . . 96ms Action 010: partial perm image orbit . . . 99ms Action 011: permutation on integers . . . 25μs Action 012: permutation on sets, arrays . . . 241μs Action 013: permutation on tuples, arrays . . . 25ms Action 014: permutation on sets, vectors . . . 323μs Action 015: permutation on tuples, vectors . . . 34ms Action 016: misc . . . 3152μs Action 017: partial perm image orbit . . . 64μs Action 018: permutation on tuples, arrays (360360) . . . 339ms Action 019: orbits for regular BMat8 monoid 5 with stop/start . . . 476ms Action 021: orbits for regular boolean mat monoid 5 (BMat<5> [...] . . . 639ms ActionDigraph 000: constructor with 1 default arg . . . 17μs ActionDigraph 001: constructor with 0 default args . . . 62μs ActionDigraph 002: add nodes . . . 36μs ActionDigraph 003: add edges . . . 282μs ActionDigraph 004: strongly connected components - cycles . . . 29μs ActionDigraph 005: strongly connected components - no edges . . . 60ms ActionDigraph 006: strongly connected components - disjoint cycles . . . 1422μs ActionDigraph 007: strongly connected components - complete graphs . . . 678μs ActionDigraph 008: exceptions . . . 98μs ActionDigraph 009: spanning forest - complete graphs . . . 3116μs ActionDigraph 010: spanning forest - disjoint cycles . . . 126μs ActionDigraph 011: restrict . . . 12μs ActionDigraph 012: remove_edge_nc . . . 11μs ActionDigraph 013: scc large cycle . . . 9288μs ActionDigraph 014: random . . . 21μs ActionDigraph 015: reserve . . . 12μs ActionDigraph 016: default constructors . . . 19μs ActionDigraph 017: scc iterators . . . 831μs ActionDigraph 018: iterator to edges . . . 602μs ActionDigraph 019: root of scc . . . 248μs ActionDigraph 020: cbegin/end_panislo - 100 node path . . . 666μs ActionDigraph 021: cbegin/end_pislo . . . 59μs ActionDigraph 022: cbegin/end_pani(s)lo - 100 node cycle . . . 691μs ActionDigraph 023: cbegin/cend_pilo - tree 14 nodes . . . 109μs ActionDigraph 024: cbegin/end_pstilo - Cayley digraph . . . 225ms ActionDigraph 025: cbegin_pstilo - Tsalakou . . . 398μs ActionDigraph 026: cbegin/end_pstislo - Cayley digraph . . . 238ms ActionDigraph 027: cbegin/end_pstislo - Cayley digraph . . . 257μs ActionDigraph 028: path iterators corner cases . . . 303μs ActionDigraph 029: reverse node iterator . . . 13μs ActionDigraph 030: pstilo corner case . . . 40μs ActionDigraph 031: number_of_paths corner cases . . . 91μs ActionDigraph 032: number_of_paths acyclic digraph . . . 14ms ActionDigraph 033: number_of_paths binary tree . . . 496ms ActionDigraph 034: number_of_paths large binary tree . . . 85ms ActionDigraph 035: number_of_paths 400 node random digraph . . . 1026μs ActionDigraph 036: number_of_paths 10 node acyclic digraph . . . 38μs ActionDigraph 037: number_of_paths node digraph . . . 2568μs ActionDigraph 038: random/random_acyclic exceptions . . . 175μs ActionDigraph 039: unsafe (next) neighbour . . . 46μs ActionDigraph 040: number_of_egdes incident to a node . . . 53μs ActionDigraph 041: number_of_paths (matrix) . . . 25ms ActionDigraph 042: number_of_paths (matrix) . . . 16μs ActionDigraph 043: swap_edge_nc . . . 12μs ActionDigraph 044: detail::pow for non-square Eigen matrix . . . 30μs ActionDigraph 045: operator<< . . . 16μs Array2 044: all . . . 61μs BMat8 001: transpose . . . 23μs BMat8 002: multiplication . . . 24μs BMat8 003: identity matrix . . . 18μs BMat8 004: random . . . 387μs BMat8 005: call operator . . . 26μs BMat8 006: operator<< . . . 22μs BMat8 007: set . . . 96μs BMat8 008: row space basis . . . 833μs BMat8 009: col space basis . . . 827μs BMat8 010: row space basis . . . 1249μs BMat8 011: number_of_rows, number_of_cols . . . 49μs BMat8 012: row_space, col_space . . . 280μs BMat8 013: rows . . . 57μs BMat8 014: one . . . 15μs BMat8 015: vector constructor . . . 160μs BMat8 016: operator< . . . 18μs BMat8 017: adapters . . . 26μs BMat8 018: one . . . 14μs Bipartition 009: mem fns 1 . . . 35μs Bipartition 010: hash . . . 10μs Bipartition 011: mem fns 2 . . . 27μs Bipartition 012: delete/copy . . . 11μs Bipartition 013: degree 0 . . . 13μs Bipartition 014: exceptions . . . 57μs Bipartition 015: convenience constructor . . . 397μs Bipartition 016: force copy constructor over move constructor . . . 21μs Bipartition 017: adapters . . . 10μs BitSet 000: size . . . 14μs BitSet 001: operator< . . . 14μs BitSet 002: operator== . . . 16μs BitSet 003: operator!= . . . 16μs BitSet 004: operator&= . . . 19μs BitSet 005: & . . . 26μs BitSet 006: operator|= . . . 26μs BitSet 007: operator[] . . . 25μs BitSet 008: set(none) . . . 28μs BitSet 009: set(pos, value) . . . 29μs BitSet 010: set(first, last, value) . . . 34μs BitSet 011: reset(first, last) . . . 31μs BitSet 012: reset(pos) . . . 30μs BitSet 013: apply (iterate through set bits) . . . 33μs BitSet 014: std::hash . . . 10μs BitSet 015: constructors . . . 27μs BitSet 016: max_size . . . 10μs BitSet 017: insertion operators . . . 14μs Blocks 001: empty blocks . . . 14μs Blocks 002: non-empty blocks . . . 15μs Blocks 003: left blocks of bipartition . . . 16μs Blocks 004: right blocks of bipartition . . . 17μs Blocks 005: copy [empty blocks] . . . 13μs Blocks 006: copy [non-empty blocks] . . . 15μs Blocks 007: hash value . . . 15μs Blocks 008: operator< . . . 14μs Congruence 000: left congruence on fp semigroup . . . 102μs Congruence 001: 2-sided congruence on fp semigroup . . . 918μs Congruence 002: left congruence on fp semigroup . . . 719μs Congruence 003: word_to_class_index for cong. on fp semigroup . . . 714μs Congruence 004: word_to_class_index for cong. on fp semigroup . . . 442μs Congruence 005: trivial congruence on non-fp semigroup . . . 469μs Congruence 006: 2-sided congruence on non-fp semigroup . . . 364μs Congruence 007: 2-sided congruence on fp semigroup . . . 638μs Congruence 008: 2-sided congruence on infinite fp semigroup . . . 318μs Congruence 009: 2-sided congruence on infinite fp semigroup . . . 412μs Congruence 010: 2-sided congruence on finite semigroup . . . 53ms Congruence 012: 2-sided congruence on finite semigroup . . . 4693μs Congruence 013: trivial 2-sided congruence on bicyclic monoid . . . 34ms Congruence 014: non-trivial 2-sided congruence on bicyclic monoid . . . 361μs Congruence 015: 2-sided congruence on free abelian monoid . . . 395μs Congruence 016: example where TC works but KB doesn't . . . 631μs Congruence 017: 2-sided congruence on finite semigroup . . . 355μs Congruence 018: infinite fp semigroup from GAP library . . . 581μs Congruence 019: 2-sided cong. on fp semigroup with infinite [...] . . . 275μs Congruence 020: trivial cong. on an fp semigroup . . .  -- with compute size 322μs  -- with don't compute size 300μs Congruence 021: duplicate generators . . . 488μs Congruence 022: non-trivial classes . . . 1540μs Congruence 023: right congruence on finite semigroup . . . 248ms Congruence 024: redundant generating pairs . . . 79μs Congruence 025: 2-sided cong. on free semigroup . . . 62μs Congruence 026: is_quotient_obviously_(in)finite . . . 1221μs Congruence 027: less . . . 778μs Congruence 028: 2-sided congruences of BMat8 semigroup . . . 147ms Congruence 029: left congruence on finite semigroup . . . 1094μs Congruence 030: right congruence on finite semigroup . . . 962μs Congruence 031: right congruence on finite semigroup . . . 427μs Congruence 032: contains . . . 128μs Congruence 033: stellar_monoid S2 . . . 425μs Congruence 034: stellar_monoid S3 . . . 700μs Congruence 035: stellar_monoid S4 . . . 1483μs Congruence 036: stellar_monoid S5 . . . 8710μs Congruence 037: stellar_monoid S6 . . . 85ms Congruence 038: stellar_monoid S7 . . . 793ms Congruence 039: left cong. on an f.p. semigroup . . . 2045μs Congruence 040: 2-sided cong. on infinite f.p. semigroup . . . 141μs Congruence 041: 2-sided congruence constructed from type only . . . 1066μs Congruence 042: const_contains . . . 942μs Congruence 043: no winner . . . 4866μs Congruence 044: congruence over smalloverlap . . . 6731μs CongruenceByPairs 001: (cong) 2-sided cong. on finite semigroup . . . 458μs CongruenceByPairs 002: (cong) left congruence on finite semigroup . . . 141μs CongruenceByPairs 003: (cong) right congruence on finite semigroup . . . 140μs CongruenceByPairs 004: (cong) trivial congruence on finite s [...] . . . 105μs CongruenceByPairs 005: (cong) trivial left congruence on fin [...] . . . 94μs CongruenceByPairs 006: (cong) trivial right congruence on fi [...] . . . 92μs CongruenceByPairs 007: (cong) universal congruence on finite [...] . . . 497μs CongruenceByPairs 009: (cong) 2-sided congruence on finite s [...] . . . 644ms CongruenceByPairs 010: (cong) left congruence on big finite [...] . . . 34ms CongruenceByPairs 011: (cong) left congruence on TCE . . . 279μs CongruenceByPairs 012: (cong) is_quotient_obviously_finite . . . 146μs CongruenceByPairs 013: (cong) class_index_to_word/quotient . . .  -- with right congruence 12ms  -- with left congruence 1400μs  -- with 2-sided congruence 8332μs CongruenceByPairs 014: (cong) const_word_to_class_index . . .  -- with right congruence 43μs  -- with left congruence 40μs  -- with 2-sided congruence 39μs CongruenceByPairs 015: (cong) size non-Element* . . . 23ms CongruenceInterface 000: add_pair . . .  -- with ToddCoxeter 167μs  -- with KnuthBendix 241μs  -- with CongruenceByPairs 183μs  -- with Congruence 1116μs CongruenceInterface 001: contains/const_contains . . .  -- with ToddCoxeter and no parent 185μs  -- with KnuthBendix and no parent 206μs  -- with Congruence and parent 1029μs  -- with CongruenceByPairs and parent 151μs CongruenceInterface 002: less . . .  -- with ToddCoxeter 147μs  -- with KnuthBendix 229μs  -- with CongruenceByPairs 158μs  -- with Congruence 714μs CongruenceInterface 003: is_quotient_obviously_(in)finite . . .  -- with ToddCoxeter 124μs  -- with KnuthBendix 210μs CongruenceInterface 004: is_quotient_obviously_(in)finite . . .  -- with CongruenceByPairs 163μs  -- with Congruence 473μs CongruenceInterface 005: parent_froidure_pin . . .  -- with ToddCoxeter 41μs  -- with KnuthBendix 37μs CongruenceInterface 006: parent_froidure_pin . . .  -- with CongruenceByPairs 154μs  -- with Congruence 463μs CongruenceInterface 007: cbegin/cend_ntc . . .  -- with ToddCoxeter 271μs  -- with KnuthBendix 1912μs CongruenceInterface 008: cbegin/cend_ntc . . .  -- with CongruenceByPairs 196μs  -- with Congruence 412μs CongruenceInterface 009: quotient is immutable . . .  -- with ToddCoxeter 134μs  -- with KnuthBendix 182μs  -- with Congruence 243μs CongruenceInterface 010: no generating pairs added . . .  -- with KnuthBendix and common behaviour 4323μs  -- with Congruence and common behaviour 4470μs  -- with ToddCoxeter 128μs CongruenceInterface 011: nr generators not set . . .  -- with ToddCoxeter 198μs  -- with KnuthBendix 197μs  -- with Congruence 203μs CongruenceInterface 012: no generating pairs . . . 162μs ConstIteratorStateless 001: ? . . . 12μs ConstIteratorStateless 002: ? . . . 11μs Constants 001: Undefined . . . 20μs Constants 002: PositiveInfinity . . . 21μs Constants 003: NegativeInfinity . . . 19μs Constants 004: LimitMax . . . 18μs Duf 004: unite . . . 27μs Duf 006: compress . . . 17μs Duf 008: resize . . . 23μs Duf 009: resize . . . 15μs Duf 010: big chain . . . 26ms Duf 012: empty table . . . 12μs Duf 014: join . . . 16μs Duf 016: contains . . . 32μs Duf 018: swap . . . 38μs DynamicArray2 001: default constructor with 3 default args . . . 12μs DynamicArray2 002: default constructor with 2 default args . . . 12μs DynamicArray2 003: default constructor with 1 default args . . . 14μs DynamicArray2 004: default constructor with 0 default args . . . 12μs DynamicArray2 005: copy constructor with 1 default args . . . 14μs DynamicArray2 006: copy constructor with 0 default args . . . 16μs DynamicArray2 007: add_rows . . . 16μs DynamicArray2 008: add_rows . . . 15μs DynamicArray2 009: add_cols . . . 16μs DynamicArray2 010: set/get . . . 27μs DynamicArray2 011: append 1/2 . . . 50μs DynamicArray2 012: append 2/2 . . . 74μs DynamicArray2 013: count . . . 23μs DynamicArray2 014: clear . . . 13μs DynamicArray2 015: begin_row and end_row . . . 88μs DynamicArray2 016: cbegin_row and cend_row . . . 36μs DynamicArray2 017: iterator operator++ (postfix) . . . 356μs DynamicArray2 018: iterator operator++ (prefix) . . . 2401μs DynamicArray2 019: iterator operator-- (postfix) . . . 465μs DynamicArray2 020: iterator operator-- (prefix) . . . 472μs DynamicArray2 021: operator= . . . 17μs DynamicArray2 022: operator== and operator!= . . . 299μs DynamicArray2 023: empty and clear . . . 17μs DynamicArray2 024: max_size . . . 12μs DynamicArray2 025: swap . . . 36μs DynamicArray2 026: iterator arithmetic . . . 2049μs DynamicArray2 027: iterator comparison . . . 15μs DynamicArray2 028: iterator operator= . . . 12μs DynamicArray2 029: iterator operator[] . . . 111μs DynamicArray2 030: iterator operator-> . . . 12μs DynamicArray2 031: const_iterator operator++/-- . . . 288μs DynamicArray2 032: const_iterator operator++/-- . . . 11μs DynamicArray2 033: column iterators . . . 32μs DynamicArray2 034: column iterator arithmetic . . . 8483μs DynamicArray2 035: iterator assignment constructor . . . 2374μs DynamicArray2 036: reserve method . . . 37μs DynamicArray2 037: erase column . . . 19μs DynamicArray2 038: swap_rows . . . 14μs DynamicArray2 039: apply_row_permutation . . . 14μs DynamicArray2 040: swap . . . 13μs DynamicArray2 041: shrink_rows_to . . . 19μs DynamicArray2 042: shrink_rows_to - for range . . . 19μs FastestBMat 046: check no throw . . . 14μs FelschTree 000: previously failing example . . . 30μs Forest 001: test forest . . . 84μs FpSemigroup 001: Renner monoid type B2 (E. G. presentation), q = 1 . . . 1053μs FpSemigroup 002: Renner monoid type B2 (E. G. presentation), q = 0 . . . 1071μs FpSemigroup 003: Renner monoid type B3 (E. G. presentation), q = 1 . . . 240ms FpSemigroup 004: Renner monoid type B3 (E. G. presentation), q = 0 . . . 230ms FpSemigroup 005: Renner monoid type B2 (Gay-Hivert presentat [...] . . . 1529μs FpSemigroup 006: Renner monoid type B2 (Gay-Hivert presentat [...] . . . 1011μs FpSemigroup 007: Renner monoid type B3 (Gay-Hivert presentat [...] . . . 5121μs FpSemigroup 008: Renner monoid type B3 (Gay-Hivert presentat [...] . . . 5860μs FpSemigroup 009: Renner monoid type B4 (Gay-Hivert presentat [...] . . . 243ms FpSemigroup 010: Renner monoid type B4 (Gay-Hivert presentat [...] . . . 358ms FpSemigroup 013: Renner monoid type D2 (E. G. presentation), q = 1 . . . 1912μs FpSemigroup 014: Renner monoid type D2 (E. G. presentation), q = 0 . . . 1980μs FpSemigroup 015: Renner monoid type D3 (E. G. presentation), q = 1 . . . 6416μs FpSemigroup 016: Renner monoid type D3 (E. G. presentation), q = 0 . . . 6389μs FpSemigroup 017: Renner monoid type D4 (E. G. presentation), q = 1 . . . 3564ms FpSemigroup 018: Renner monoid type D4 (E. G. presentation), q = 0 . . . 3563ms FpSemigroup 019: Renner monoid type D2 (Gay-Hivert presentat [...] . . . 1636μs FpSemigroup 020: Renner monoid type D2 (Gay-Hivert presentat [...] . . . 1069μs FpSemigroup 021: Renner monoid type D3 (Gay-Hivert presentat [...] . . . 7105μs FpSemigroup 022: Renner monoid type D3 (Gay-Hivert presentat [...] . . . 6217μs FpSemigroup 023: Renner monoid type D4 (Gay-Hivert presentat [...] . . . 113ms FpSemigroup 024: Renner monoid type D4 (Gay-Hivert presentat [...] . . . 112ms FpSemigroup 029: Rook monoid R5, q = 0 . . . 6488μs FpSemigroup 030: Rook monoid R5, q = 1 . . . 6885μs FpSemigroup 031: Rook monoid R6, q = 0 . . . 59ms FpSemigroup 032: Rook monoid R6, q = 1 . . . 63ms FpSemigroup 033: normal_form . . . 285μs FpSemigroup 034: for a finite semigroup . . . 589μs FpSemigroup 035: finite fp semigroup, dihedral group of order 6 . . . 462μs FpSemigroup 036: finite fp semigroup, size 16 . . . 689μs FpSemigroup 037: finite fp semigroup, size 16 . . . 1091μs FpSemigroup 038: fp semigroup, size 240 . . . 917μs FpSemigroup 039: add_rule . . . 250μs FpSemigroup 040: add_rule . . . 155μs FpSemigroup 041: equal_to . . . 311μs FpSemigroup 042: cbegin/cend_rules . . . 70μs FpSemigroup 043: semigroup of size 3 . . . 357μs FpSemigroup 044: run_for/until . . . 2399μs FpSemigroup 045: constructors . . . 228μs FpSemigroup 046: set_inverses . . . 176μs FpSemigroup 047: smalloverlap . . . 8530μs FpSemigroup 048: quaternion group Q8 . . . 521μs FpSemigroup 049: symmetric group Coxeter presentation . . . 112ms FpSemigroupByPairs 029: (fpsemi) 2-sided congruence on finit [...] . . . 829μs FpSemigroupByPairs 030: (fpsemi) 2-sided congruence on finit [...] . . . 794μs FpSemigroupInterface 000: run with no alphabet . . .  -- with ToddCoxeter 106μs  -- with KnuthBendix 71μs  -- with FpSemigroup 89μs FpSemigroupInterface 001: equal_to . . .  -- with ToddCoxeter and human readable alphabet 3923μs  -- with KnuthBendix and human readable alphabet 10ms  -- with FpSemigroup and human readable alphabet 5101μs  -- with FpSemigroupByPairs 3345μs FpSemigroupInterface 002: normal_form . . .  -- with ToddCoxeter 209μs  -- with KnuthBendix 239μs  -- with FpSemigroup 772μs FpSemigroupInterface 003: set_alphabet (1/2) . . .  -- with ToddCoxeter 134μs  -- with KnuthBendix 122μs  -- with FpSemigroup 134μs FpSemigroupInterface 004: set_alphabet (2/2) . . . 1226μs FpSemigroupInterface 005: add_rule after finished . . .  -- with ToddCoxeter and human readable alphabet 196μs  -- with KnuthBendix and human readable alphabet 227μs  -- with FpSemigroup and human readable alphabet 510μs  -- with FpSemigroupByPairs 1184μs FpSemigroupInterface 006: add_rule with equal words (1/2) . . .  -- with ToddCoxeter and human readable alphabet 138μs  -- with KnuthBendix and human readable alphabet 236μs  -- with FpSemigroup and human readable alphabet 281μs  -- with FpSemigroupByPairs 125μs FpSemigroupInterface 007: add_rule with equal words (2/2) . . .  -- with ToddCoxeter 27μs  -- with KnuthBendix 21μs  -- with FpSemigroup 34μs FpSemigroupInterface 008: add_rule with word_type . . .  -- with ToddCoxeter 63μs  -- with KnuthBendix 59μs  -- with FpSemigroup 88μs FpSemigroupInterface 009: add_rule with empty word (1/2) . . .  -- with ToddCoxeter 52μs  -- with FpSemigroup 59μs FpSemigroupInterface 010: add_rule with empty word (1/2) . . . 16μs FpSemigroupInterface 011: add_rules (1/3) . . .  -- with ToddCoxeter 50μs  -- with KnuthBendix 45μs  -- with FpSemigroup 56μs FpSemigroupInterface 012: add_rules (2/3) . . . 259μs FpSemigroupInterface 013: add_rules (3/3) . . .  -- with ToddCoxeter 29μs  -- with KnuthBendix 28μs  -- with FpSemigroup 62μs FpSemigroupInterface 014: set_identity (1/3) . . .  -- with ToddCoxeter 143μs  -- with KnuthBendix 143μs  -- with FpSemigroup 181μs FpSemigroupInterface 015: set_identity (2/3) . . . 171μs FpSemigroupInterface 016: set_identity (3/3) . . .  -- with ToddCoxeter 77μs  -- with KnuthBendix 78μs  -- with FpSemigroup 124μs FpSemigroupInterface 017: identity . . .  -- with ToddCoxeter 39μs  -- with KnuthBendix 34μs  -- with FpSemigroup 44μs FpSemigroupInterface 018: set_inverses + inverses (1/2) . . .  -- with ToddCoxeter 229μs  -- with KnuthBendix 228μs  -- with FpSemigroup 280μs FpSemigroupInterface 019: set_inverses + inverses (2/2) . . . 322μs FpSemigroupInterface 020: is_obviously_infinite (1/2) . . .  -- with ToddCoxeter 167μs  -- with KnuthBendix 223μs  -- with FpSemigroup 486μs FpSemigroupInterface 021: is_obviously_infinite (2/2) . . . 37μs FpSemigroupInterface 022: is_obviously_finite (1/2) . . .  -- with ToddCoxeter 156μs  -- with KnuthBendix 212μs  -- with FpSemigroup 421μs FpSemigroupInterface 023: is_obviously_finite (2/2) . . . 33μs FpSemigroupInterface 024: to_gap_string (1/3) . . .  -- with ToddCoxeter 33μs  -- with KnuthBendix 29μs  -- with FpSemigroup 64μs FpSemigroupInterface 025: to_gap_string (2/3) . . . 18μs FpSemigroupInterface 026: to_gap_string (3/3) . . . 30μs FroidurePin 015: (BMat8) regular boolean mat monoid 4 . . . 68ms FroidurePin 016: (BMat8) exception zero generators given . . . 16μs FroidurePin 017: (BMat8) exception word_to_element . . . 89μs FroidurePin 018: (BMat8) exception prefix . . . 2837μs FroidurePin 019: (BMat8) exception suffix . . . 23μs FroidurePin 020: (BMat8) exception first_letter . . . 2761μs FroidurePin 021: (BMat8) exception final_letter . . . 22μs FroidurePin 022: (BMat8) exception current_length . . . 2749μs FroidurePin 023: (BMat8) exception product_by_reduction . . . 3598μs FroidurePin 024: (BMat8) exception fast_product . . . 3097μs FroidurePin 025: (BMat8) exception is_idempotent . . . 40ms FroidurePin 026: (BMat8) copy constructor . . .  -- with fully enumerated 35ms  -- with partially enumerated 27ms  -- with not enumerated 25ms FroidurePin 027: (BMat8) cbegin/end_rules . . . 59μs FroidurePin 031: (integers) . . . 124μs FroidurePin 039: (pairs of integers) non-trivial user type . . . 24μs FroidurePin 055: (tropical max-plus semiring matrices) . . . 248μs FroidurePin 061: projective max plus matrix . . . 1031μs FroidurePin 062: projective max plus matrix . . . 40μs FroidurePin> 009: small example 2 . . . 42μs FroidurePin> 005: small example 1 . . . 122μs FroidurePin> 007: regular bmat monoid 4 . . . 56ms FroidurePin> 011: small example 3 . . . 440μs FroidurePin> 006: small example 1 . . . 150μs FroidurePin> 008: regular bmat monoid 4 . . . 70ms FroidurePin> 010: small example 2 . . . 46μs FroidurePin> 012: small example 3 . . . 552μs FroidurePin 000: small example 1 . . . 157μs FroidurePin 001: default constructed . . . 128μs FroidurePin 002: small example 2 . . . 56μs FroidurePin 004: exception: is_idempotent . . . 317μs FroidurePin> 033: Example 000 . . . 742μs FroidurePin> 035: Example 001 . . . 46μs FroidurePin> 032: Example 000 . . . 570μs FroidurePin> 034: Example 001 . . . 42μs FroidurePin 036: exception: current_position . . . 184μs FroidurePin 037: exception: word_to_element . . . 118μs FroidurePin 038: exception: prefix, suffix, first_letter . . . 46ms FroidurePin> 040: Example 000 . . . 63μs FroidurePin> 041: Example 000 . . . 67μs FroidurePin> 046: Example 005 . . . 145μs FroidurePin> 047: Example 005 . . . 164μs FroidurePin> 048: Example 005 . . . 166μs FroidurePin> 044: Example 004 . . . 32μs FroidurePin> 045: Example 004 . . . 36μs FroidurePin> 049: Example 006 . . . 904μs FroidurePin> 050: Example 006 . . . 1062μs FroidurePin> 051: Example 006 . . . 1057μs FroidurePin> 052: Example 007 . . . 114μs FroidurePin> 053: Example 007 . . . 129μs FroidurePin> 054: Example 007 . . . 132μs FroidurePin 056: example 1 . . . 196μs FroidurePin 057: example 2 . . . 152μs FroidurePin> 058: . . . 596μs FroidurePin> 059: . . . 56μs FroidurePin> 060: exceptions: add_generator(s) . . . 76μs FroidurePin> 065: no exception zero generators given . . . 19μs FroidurePin> 066: exception generators of different [...] . . . 61μs FroidurePin> 067: exception current_position . . . 63μs FroidurePin> 068: exception word_to_element . . . 70μs FroidurePin> 069: exception gens . . . 783μs FroidurePin> 070: exception prefix . . . 44ms FroidurePin> 071: exception suffix . . . 145ms FroidurePin> 072: exception first_letter . . . 68μs FroidurePin> 073: exception final_letter . . . 66μs FroidurePin> 074: exception current_length . . . 64μs FroidurePin> 075: exception product_by_reduction . . . 913μs FroidurePin> 076: exception fast_product . . . 1016μs FroidurePin> 077: exception current_position . . . 751μs FroidurePin> 078: exception is_idempotent . . . 685μs FroidurePin> 079: exception add_generators . . . 49μs FroidurePin> 080: multithread number_of_idempotents . . . 1018μs FroidurePin> 081: small semigroup . . . 31μs FroidurePin> 082: large semigroup . . . 5292μs FroidurePin> 083: at, position, current_* . . . 5362μs FroidurePin> 084: run . . . 5339μs FroidurePin> 085: run [many stops and starts] . . . 5493μs FroidurePin> 086: factorisation, length [1 element] . . . 5108μs FroidurePin> 087: factorisation, products [all elements] . . . 8461μs FroidurePin> 088: first/final letter, prefix, suffi [...] . . . 5248μs FroidurePin> 089: current_position [standard] . . . 28μs FroidurePin> 090: current_position [duplicate gens] . . . 8398μs FroidurePin> 091: current_position [after add_generators] . . . 5305μs FroidurePin> 092: cbegin_idempotents/cend [1 thread] . . . 5923μs FroidurePin> 093: idempotent_cend/cbegin [1 thread] . . . 5955μs FroidurePin> 094: is_idempotent [1 thread] . . . 6036μs FroidurePin> 096: finished, started . . . 5227μs FroidurePin> 097: current_position . . . 1181μs FroidurePin> 098: sorted_position, sorted_at . . . 6442μs FroidurePin> 099: right/left Cayley graph . . . 39ms FroidurePin> 100: iterator . . . 10ms FroidurePin> 101: reverse iterator . . . 10ms FroidurePin> 102: iterator arithmetic . . . 48ms FroidurePin> 103: iterator sorted . . . 39ms FroidurePin> 104: iterator sorted arithmetic . . . 54ms FroidurePin> 105: copy [not enumerated] . . . 5355μs FroidurePin> 106: copy_closure [not enumerated] . . . 34ms FroidurePin> 107: copy_add_generators [not enumerated] . . . 31ms FroidurePin> 108: copy [partly enumerated] . . . 5812μs FroidurePin> 109: copy_closure [partly enumerated] . . . 8644μs FroidurePin> 110: copy_add_generators [partly enumerated] . . . 5747μs FroidurePin> 111: copy [fully enumerated] . . . 8493μs FroidurePin> 112: copy_closure [fully enumerated] . . . 8600μs FroidurePin> 113: copy_add_generators [fully enumerated] . . . 7971μs FroidurePin> 114: relations [duplicate gens] . . . 170μs FroidurePin> 115: relations . . . 9014μs FroidurePin> 116: relations [copy_closure, duplicat [...] . . . 8770μs FroidurePin> 117: relations [copy_add_generators, d [...] . . . 8858μs FroidurePin> 118: relations [from copy, not enumerated] . . . 7043μs FroidurePin> 119: relations [from copy, partly enum [...] . . . 12ms FroidurePin> 120: relations [from copy, fully enumerated] . . . 14ms FroidurePin> 121: relations [from copy_closure, not [...] . . . 11ms FroidurePin> 122: relations [from copy_add_generato [...] . . . 7088μs FroidurePin> 123: relations [from copy_closure, par [...] . . . 9974μs FroidurePin> 124: relations [from copy_add_generato [...] . . . 8646μs FroidurePin> 125: relations [from copy_closure, ful [...] . . . 12ms FroidurePin> 126: relations [from copy_add_generato [...] . . . 11ms FroidurePin> 127: add_generators [duplicate generators] . . . 252μs FroidurePin> 128: add_generators [incremental 1] . . . 265μs FroidurePin> 129: add_generators [incremental 2] . . . 327μs FroidurePin> 130: closure [duplicate generators] . . . 188μs FroidurePin> 131: closure . . . 94μs FroidurePin> 132: factorisation . . . 26μs FroidurePin> 134: minimal_factorisation . . . 70μs FroidurePin> 135: batch_size (for an extremely larg [...] . . . 25μs FroidurePin> 137: exception: generators of differen [...] . . . 43μs FroidurePin> 138: exception: current_position . . . 64μs FroidurePin> 139: exception: word_to_element . . . 71μs FroidurePin> 140: exception: gens, current_position . . . 1107μs FroidurePin> 141: exception: add_generators . . . 42μs KBE 000: constructors . . . 49μs KBE 001: test . . . 83μs KBE 002: factorisation . . . 67μs KBE 003: swap . . . 47μs KBE 004: adapters . . . 45μs KBE 005: conversions . . . 45μs Kambites 000: (fpsemi) MT test 4 (std::string) . . . 6082μs Kambites 001: (fpsemi) MT test 4 (MultiStringView) . . . 6213μs Kambites 002: (fpsemi) number_of_pieces (std::string) . . . 113μs Kambites 003: (fpsemi) number_of_pieces (MultiStringView) . . . 102μs Kambites 004: (fpsemi) small_overlap_class (std::string) . . . 3566μs Kambites 005: (fpsemi) small_overlap_class (MultiStringView) . . . 3535μs Kambites 006: (fpsemi) random (std::string) . . . 11ms Kambites 007: (fpsemi) random (MultiStringView) . . . 10ms Kambites 008: (fpsemi) KnuthBendix 055 (std::string) . . . 15ms Kambites 009: (fpsemi) KnuthBendix 055 (MultiStringView) . . . 16ms Kambites 010: (fpsemi) smalloverlap/gap/test.gi:85 (std::string) . . . 92μs Kambites 011: (fpsemi) smalloverlap/gap/test.gi:85 (MultiStr [...] . . . 81μs Kambites 012: (fpsemi) free semigroup . . . 15μs Kambites 013: (fpsemi) smalloverlap/gap/test.gi:49 (std::string) . . . 35ms Kambites 014: (fpsemi) smalloverlap/gap/test.gi:49 (MultiStr [...] . . . 43ms Kambites 015: (fpsemi) smalloverlap/gap/test.gi:63 (std::string) . . . 38ms Kambites 016: (fpsemi) smalloverlap/gap/test.gi:63 (MultiStr [...] . . . 48ms Kambites 017: (fpsemi) smalloverlap/gap/test.gi:70 (std::string) . . . 139ms Kambites 018: (fpsemi) smalloverlap/gap/test.gi:70 (MultiStr [...] . . . 177ms Kambites 021: (fpsemi) code coverage (std::string) . . . 48μs Kambites 022: (fpsemi) code coverage (MultiStringView) . . . 34μs Kambites 023: (fpsemi) prefix (std::string) . . . 79μs Kambites 024: (fpsemi) prefix (MultiStringView) . . . 96μs Kambites 025: (fpsemi) normal_form (Example 3.15) (std::string) . . . 86μs Kambites 026: (fpsemi) normal_form (Example 3.15) (MultiStri [...] . . . 96μs Kambites 027: (fpsemi) normal_form (Example 3.16) (std::string) . . . 61μs Kambites 028: (fpsemi) normal_form (Example 3.16) (MultiStri [...] . . . 74μs Kambites 029: (fpsemi) normal_form (Example 3.16) more exhau [...] . . . 108ms Kambites 030: (fpsemi) normal_form (Example 3.16) more exhau [...] . . . 97ms Kambites 031: (fpsemi) small presentation (std::string) . . . 97μs Kambites 032: (fpsemi) small presentation (MultiStringView) . . . 78μs Kambites 033: (fpsemi) non-smalloverlap (std::string) . . . 84μs Kambites 034: (fpsemi) non-smalloverlap (MultiStringView) . . . 87μs Kambites 035: (fpsemi) MT test 3 (std::string) . . . 57μs Kambites 036: (fpsemi) MT test 3 (MultiStringView) . . . 54μs Kambites 037: (fpsemi) MT test 5 (std::string) . . . 32μs Kambites 038: (fpsemi) MT test 5 (MultiStringView) . . . 31μ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) . . . 44μs Kambites 042: (fpsemi) MT test 10 (MultiStringView) . . . 46μs Kambites 043: (fpsemi) MT test 13 (std::string) . . . 31μs Kambites 044: (fpsemi) MT test 13 (MultiStringView) . . . 32μs Kambites 045: (fpsemi) MT test 14 (std::string) . . . 30μs Kambites 046: (fpsemi) MT test 14 (MultiStringView) . . . 32μs Kambites 047: (fpsemi) MT test 15 (std::string) . . . 43μs Kambites 048: (fpsemi) MT test 15 (MultiStringView) . . . 42μs Kambites 049: (fpsemi) MT test 16 (std::string) . . . 42μs Kambites 050: (fpsemi) MT test 16 (MultiStringView) . . . 45μs Kambites 051: (fpsemi) MT test 17 (std::string) . . . 116μs Kambites 052: (fpsemi) MT test 17 (MultiStringView) . . . 102μs Kambites 053: (fpsemi) weak C(4) not strong x 1 (std::string) . . . 667μs Kambites 054: (fpsemi) weak C(4) not strong x 1 (MultiStringView) . . . 750μs Kambites 055: (fpsemi) weak C(4) not strong x 2 (std::string) . . . 651μs Kambites 056: (fpsemi) weak C(4) not strong x 2 (MultiStringView) . . . 754μs Kambites 057: (fpsemi) weak C(4) not strong x 3 (std::string) . . . 647μs Kambites 058: (fpsemi) weak C(4) not strong x 3 (MultiStringView) . . . 611μs Kambites 059: (fpsemi) weak C(4) not strong x 4 (std::string) . . . 68μs Kambites 060: (fpsemi) weak C(4) not strong x 4 (MultiStringView) . . . 79μs Kambites 061: (fpsemi) weak C(4) not strong x 5 (std::string) . . . 29μs Kambites 062: (fpsemi) weak C(4) not strong x 5 (MultiStringView) . . . 28μs Kambites 063: (fpsemi) weak C(4) not strong x 6 (std::string) . . . 42μs Kambites 064: (fpsemi) weak C(4) not strong x 6 (MultiStringView) . . . 42μs Kambites 065: (fpsemi) Konovalov example (std::string) . . . 29μs Kambites 066: (fpsemi) Konovalov example (MultiStringView) . . . 27μs Kambites 067: (fpsemi) long words (std::string) . . . 1561ms Kambites 068: (fpsemi) long words (MultiStringView) . . . 37ms Kambites 075: (cong) example 1 . . . 36μs Kambites 076: (cong) example 2 . . . 113μs Kambites 077: (cong) code coverage . . . 5620μs Kambites 078: (cong) large number of rules . . . 241ms KnuthBendix 000: (fpsemi) confluent fp semigroup 1 (infinite) . . . 108μs KnuthBendix 001: (fpsemi) confluent fp semigroup 2 (infinite) . . . 120μs KnuthBendix 002: (fpsemi) confluent fp semigroup 3 (infinite) . . . 100μs KnuthBendix 003: (fpsemi) non-confluent fp semigroup from wi [...] . . . 183μs KnuthBendix 004: (fpsemi) Example 5.1 in Sims (infinite) . . . 170μs KnuthBendix 005: (fpsemi) Example 5.1 in Sims (infinite) . . . 165μs KnuthBendix 006: (fpsemi) Example 5.3 in Sims . . . 147μs KnuthBendix 007: (fpsemi) Example 5.4 in Sims . . . 182μs KnuthBendix 008: (fpsemi) Example 6.4 in Sims (size 168) . . . 12ms KnuthBendix 009: (fpsemi) . . . 51ms KnuthBendix 010: (fpsemi) SL(2, 7) from Chapter 3, Propositi [...] . . . 125ms KnuthBendix 011: (fpsemi) F(2, 5) - Chapter 9, Section 1 in [...] . . . 726μs KnuthBendix 012: (fpsemi) Reinis example 1 . . . 210μs KnuthBendix 013: redundant_rule (std::string) . . . 100ms KnuthBendix 014: redundant_rule (word_type) . . . 10ms KnuthBendix 019: (fpsemi) C(4) monoid . . . 37μs KnuthBendix 020: (cong) Chinese monoid . . . 198μs KnuthBendix 021: (from kbmag/standalone/kb_data/f25monoid) . . . 793μs KnuthBendix 022: (from kbmag/standalone/kb_data/degen4a) . . . 73ms KnuthBendix 023: (from kbmag/standalone/kb_data/torus) . . . 2965μs KnuthBendix 024: (from kbmag/standalone/kb_data/3a6) . . . 348ms KnuthBendix 025: (from kbmag/standalone/kb_data/f2) . . . 77μs KnuthBendix 026: (from kbmag/standalone/kb_data/s16) . . . 190ms KnuthBendix 027: (from kbmag/standalone/kb_data/a4monoid) . . . 74μs KnuthBendix 028: (from kbmag/standalone/kb_data/degen3) . . . 29μs KnuthBendix 029: (from kbmag/standalone/kb_data/ab1) . . . 36μs KnuthBendix 030: (from kbmag/standalone/kb_data/degen2) . . . 21μs KnuthBendix 031: (from kbmag/standalone/kb_data/f25) . . . 728μs KnuthBendix 032: (from kbmag/standalone/kb_data/237) . . . 861μs KnuthBendix 033: (from kbmag/standalone/kb_data/c2) . . . 20μs KnuthBendix 034: (from kbmag/standalone/kb_data/cosets) . . . 313μs KnuthBendix 035: Example 5.1 in Sims (KnuthBendix 09 again) . . . 92μs KnuthBendix 036: (from kbmag/standalone/kb_data/nilp2) . . . 49μs KnuthBendix 037: Example 6.4 in Sims . . . 21ms KnuthBendix 038: KnuthBendix 071 again . . . 980μs KnuthBendix 039: Example 5.4 in Sims (KnuthBendix 11 again) [...] . . . 341μs KnuthBendix 040: Example 5.4 in Sims (KnuthBendix 11 again) [...] . . . 250μs KnuthBendix 041: operator<< . . . 73μs KnuthBendix 042: confluence_interval . . . 23μs KnuthBendix 043: max_overlap . . . 22μs KnuthBendix 044: (fpsemi) (from kbmag/standalone/kb_data/d22 [...] . . . 2201μs KnuthBendix 045: (fpsemi) (from kbmag/standalone/kb_data/d22 [...] . . . 3968μs KnuthBendix 046: (fpsemi) small example . . . 1091μs KnuthBendix 047: code coverage . . . 78μs KnuthBendix 048: small overlap 1 . . . 63μs KnuthBendix 049: (from kbmag/standalone/kb_data/s9) . . . 2534μs KnuthBendix 050: (fpsemi) Chapter 11, Lemma 1.8 (q = 6, r = [...] . . . 774μs KnuthBendix 051: (fpsemi) Chapter 11, Section 2 (q = 6, r = [...] . . . 183μs KnuthBendix 052: (fpsemi) Chapter 8, Theorem 4.2 in NR (infinite) . . . 315μs KnuthBendix 053: (fpsemi) equal_to fp semigroup . . . 63μs KnuthBendix 054: (fpsemi) equal_to free semigroup . . . 54μs KnuthBendix 055: (fpsemi) from GAP smalloverlap gap/test.gi [...] . . . 381μs KnuthBendix 056: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 641μs KnuthBendix 057: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 649μs KnuthBendix 058: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 1686μs KnuthBendix 059: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 3998μs KnuthBendix 060: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 35μs KnuthBendix 061: (fpsemi) Von Dyck (2,3,7) group (infinite) . . . 804μs KnuthBendix 062: (fpsemi) Von Dyck (2,3,7) group - different [...] . . . 7302μs KnuthBendix 063: (fpsemi) rewriting system from KnuthBendixC [...] . . . 506μs KnuthBendix 064: (fpsemi) rewriting system from Congruence 20 . . . 35μs KnuthBendix 065: (fpsemi) (from kbmag/standalone/kb_data/ab2) . . . 129μs KnuthBendix 066: (fpsemi) (from kbmag/standalone/kb_data/d22 [...] . . . 2223μs KnuthBendix 067: (fpsemi) (from kbmag/standalone/kb_data/degen1) . . . 77μs KnuthBendix 068: (fpsemi) (from kbmag/standalone/kb_data/s4) . . . 491μs KnuthBendix 069: (fpsemi) fp semigroup (infinite) . . . 68μs KnuthBendix 070: (fpsemi) Chapter 11, Section 1 (q = 4, r = [...] . . . 2652μs KnuthBendix 071: (fpsemi) Chapter 11, Section 1 (q = 8, r = [...] . . . 170ms KnuthBendix 072: (fpsemi) Chapter 7, Theorem 3.9 in NR (size 240) . . . 5069μs KnuthBendix 073: (fpsemi) F(2, 5) - Chapter 9, Section 1 in [...] . . . 744μs KnuthBendix 074: (fpsemi) F(2, 6) - Chapter 9, Section 1 in NR . . . 805μs KnuthBendix 075: (fpsemi) Chapter 10, Section 4 in NR (infinite) . . . 1443μs KnuthBendix 076: (fpsemi) Sym(5) from Chapter 3, Proposition [...] . . . 4510μs KnuthBendix 077: (fpsemi) SL(2, 7) from Chapter 3, Propositi [...] . . . 123ms KnuthBendix 078: (fpsemi) bicyclic monoid (infinite) . . . 63μs KnuthBendix 079: (fpsemi) plactic monoid of degree 2 (infinite) . . . 91μs KnuthBendix 080: (fpsemi) example before Chapter 7, Proposit [...] . . . 57μs KnuthBendix 081: (fpsemi) Chapter 7, Theorem 3.6 in NR (size 243) . . . 1150μs KnuthBendix 082: (fpsemi) finite semigroup (size 99) . . . 362μs KnuthBendix 096: Sorouhesh . . . 494μs KnuthBendix 097: (fpsemi) transformation semigroup (size 4) . . . 67μs KnuthBendix 098: (fpsemi) transformation semigroup (size 9) . . . 68μs KnuthBendix 099: (fpsemi) transformation semigroup (size 88) . . . 920μs KnuthBendix 100: internal_string_to_word . . . 47μs KnuthBendix 101: (fpsemi) construct from shared_ptr . . . 1006μs KnuthBendix 102: internal_string_to_word . . . 1352μs KnuthBendix 103: (cong) free semigroup congruence (5 classes) . . . 92μs KnuthBendix 104: free semigroup congruence (6 classes) . . . 508μs KnuthBendix 105: (cong) free semigroup congruence (16 classes) . . . 634μs KnuthBendix 106: (cong) free semigroup congruence (6 classes) . . . 1021μs KnuthBendix 107: (cong) free semigroup congruence (240 classes) . . . 5558μs KnuthBendix 108: (cong) free semigroup congruence (240 classes) . . . 4983μs KnuthBendix 109: (cong) less . . . 6534μs KnuthBendix 110: (cong) less . . . 267ms KnuthBendix 111: (cong) constructors . . . 428ms KnuthBendix 112: (cong) const_contains/contains . . . 261μs KnuthBendix 113: (cong) is_quotient_obviously_finite . . . 29μs KnuthBendix 114: (cong) class_index_to_word . . . 298μs KnuthBendix 115: (cong) quotient_froidure_pin . . . 217μs KnuthBendix 116: (cong) set_number_of_generators . . . 35μs KnuthBendix 117: (cong) number of classes when obv-inf . . . 61μs KnuthBendixCongruenceByPairs 016: non-trivial congruence on [...] . . . 259μs KnuthBendixCongruenceByPairs 017: non-trivial congruence on [...] . . . 343μs KnuthBendixCongruenceByPairs 018: non-trivial congruence on [...] . . . 712μs KnuthBendixCongruenceByPairs 019: non-trivial congruence on [...] . . . 720μs KnuthBendixCongruenceByPairs 020: trivial congruence on a fi [...] . . . 302μs KnuthBendixCongruenceByPairs 021: universal congruence on a [...] . . . 809μs KnuthBendixCongruenceByPairs 022: left congruence on a finit [...] . . . 409μs KnuthBendixCongruenceByPairs 023: finite group, Chapter 11, [...] . . . 7376μs KnuthBendixCongruenceByPairs 024: right congruence on infini [...] . . . 554μs KnuthBendixCongruenceByPairs 025: finite fp semigroup, dihed [...] . . . 638μs KnuthBendixCongruenceByPairs 026: finite fp semigroup, size 16 . . . 653μs KnuthBendixCongruenceByPairs 027: finite fp semigroup, size 16 . . . 1658μs KnuthBendixCongruenceByPairs 028: infinite fp semigroup with [...] . . . 90μs Konieczny 000: test000> . . . 1086μs Konieczny 001: test000> . . . 887μs Konieczny 002: test001> . . . 11ms Konieczny 003: test001> . . . 9637μs Konieczny 006: exceptions . . . 50μs Konieczny 007: code coverage . . . 14ms Konieczny 008: code coverage . . . 11ms Konieczny 009: regular elements and idempotents . . . 191ms Konieczny 010: regular D-class 01 . . . 1000μs Konieczny 011: regular D-class 02 . . . 9115μs Konieczny 012: regular D-class 04: contains . . . 27ms Konieczny 013: non-regular D-classes 01 . . . 1056μs Konieczny 014: RegularDClass . . . 641μs Konieczny 015: full bmat monoid 4 . . . 40ms Konieczny 017: regular generated bmat monoid 4 idempotents . . . 80ms Konieczny 019: my favourite example . . . 76ms Konieczny 020: another large example . . . 15ms Konieczny 021: my favourite example transposed . . . 63ms Konieczny 024: exceptions . . . 1180μs Konieczny 025: 0-parameter constructor . . . 16ms Konieczny 026: non-regular D-classes 02 . . . 10ms Konieczny 028: partial perm . . . 167ms Konieczny 029: symmetric inverse monoid n = 8 . . . 27ms Konieczny 030: exceptions . . . 217ms Konieczny 031: transformations . . . 1087μs Konieczny 032: transformations - JDM favourite example . . . 122ms Konieczny 033: transformations - large example . . . 276ms Konieczny 034: transformations - large example with stop . . . 278ms Konieczny 035: transformations - large example with run_until . . . 278ms Konieczny 036: transformations - large example with stop in Action . . . 280ms Konieczny 037: exceptions . . . 73μs Konieczny 038: transformations: contains . . . 798μs Konieczny 040: transformations - destructor coverage . . . 232ms Konieczny 041: current_number_D_classes . . . 241ms Konieczny 042: add_generator . . . 45μs Konieczny 043: add_generator . . . 32μs Matrix 000: BMat<2> . . . 86μs Matrix 001: BMat<> . . . 96μs Matrix 002: BMat<3> + BMat<> . . . 13μs Matrix 003: BMat<2> + BMat<> . . . 13μs Matrix 004: BMat<3> . . . 14μs Matrix 005: BMat<> . . . 17μs Matrix 006: BMat<3> row_basis . . . 45μs Matrix 007: BMat<> row_basis . . . 52μs Matrix 008: IntMat<3> . . . 18μs Matrix 009: IntMat<> . . . 22μs Matrix 010: IntMat code cov . . . 12μs Matrix 011: MaxPlusMat<3> . . . 16μs Matrix 012: MaxPlusMat<> . . . 18μs Matrix 013: MaxPlusMat code cov . . . 10μs Matrix 014: MinPlusMat<3> . . . 21μs Matrix 015: MinPlusMat<> . . . 21μs Matrix 016: MinPlusMat code cov . . . 10μs Matrix 017: MaxPlusTruncMat<5, 2> . . . 17μs Matrix 018: MaxPlusTruncMat<5> . . . 20μs Matrix 019: MaxPlusTruncMat<> . . . 38μs Matrix 020: MaxPlusTruncMat<5, 4> . . . 19μs Matrix 021: MaxPlusTruncMat<5> . . . 21μs Matrix 022: MaxPlusTruncMat<> . . . 21μs Matrix 023: MaxPlusTruncMat<33, 3> . . . 40μs Matrix 024: MaxPlusTruncMat<33> . . . 39μs Matrix 025: MaxPlusTruncMat<> . . . 39μs Matrix 026: MaxPlusMat code cov . . . 11μs Matrix 027: MinPlusTruncMat<33, 3> . . . 42μs Matrix 028: MinPlusTruncMat<33> . . . 42μs Matrix 029: MinPlusTruncMat<> . . . 57μs Matrix 030: NTPMat<0, 3, 3, 3> . . . 18μs Matrix 031: NTPMat<0, 3> . . . 19μs Matrix 032: NTPMat<> . . . 61μs Matrix 033: NTPMat<0, 10, 4, 4> . . . 31μs Matrix 034: NTPMat<0, 10> . . . 24μs Matrix 035: NTPMat<> . . . 24μs Matrix 036: NTPMat<0, 10, 4, 4> . . . 25μs Matrix 037: NTPMat<0, 10> . . . 21μs Matrix 038: NTPMat<> . . . 22μs Matrix 039: NTPMat<33, 2, 3, 3> . . . 19μs Matrix 040: NTPMat<33, 2> . . . 16μs Matrix 041: NTPMat<> . . . 16μs Matrix 042: ProjMaxPlusMat<3> . . . 125μs Matrix 043: ProjMaxPlusMat<> . . . 80μs Matrix 044: exceptions . . . 51μs Matrix 045: code coverage . . . 59μs MultiStringView 000: catch all . . . 41μs MultiStringView 001: is_prefix . . . 15μs MultiStringView 002: erase . . . 18μs MultiStringView 003: iterators . . . 14μs MultiStringView 004: constructors (long) . . . 21μs MultiStringView 005: constructors (short) . . . 17μs MultiStringView 006: copy assignment (short assigned to long) . . . 14μs MultiStringView 007: copy assignment (short assigned to short) . . . 14μs MultiStringView 008: move assignment (short assigned to long) . . . 15μs MultiStringView 009: move assignment (short assigned to short) . . . 15μs MultiStringView 010: code coverage . . . 25μs MultiStringView 011: pop_front . . . 42μs MultiStringView 012: append . . . 16μs MultiStringView 013: operators . . . 18μs MultiStringView 014: maximum_common_suffix . . . 15μs MultiStringView 015: deep tests . . . 11μs ObviouslyInfinite 011: Multiple rule additions . . . 40μs ObviouslyInfinite 012: A power of the generator 'b' does not [...] . . . 13μs ObviouslyInfinite 013: Preserves the number of occurrences o [...] . . . 13μs ObviouslyInfinite 014: Less relations than generators . . . 13μs ObviouslyInfinite 015: Relations preserve length . . . 14μs ObviouslyInfinite 016: Matrix has non empty kernel . . . 14μs ObviouslyInfinite 017: Free product of trivial semigroups . . . 13μs ObviouslyInfinite 018: Another free product . . . 15μs ObviouslyInfinite 019: Infinite but not obviously so . . . 14μs ObviouslyInfinite 020: Finite semigroup . . . 17μs PBR 001: universal product with convenience constructor . . . 51μs PBR 002: universal product . . . 20μs PBR 003: product [bigger than previous] . . . 28μs PBR 004: hash . . . 12μs PBR 005: delete/copy . . . 22μs PBR 006: exceptions . . . 253μs PBR 007: operators . . . 67μs PBR 008: to_string . . . 24μs PBR 009: identity . . . 45μs PBR 010: adapters . . . 10μs Pool 000: initial . . . 36μs Pool 001: bmat . . . 35μs Pool 002: PoolGuard . . . 32μs Pool 003: transformation products . . . 16μs Presentation 000: vectors of ints . . . 120μs Presentation 001: strings . . . 124μs Presentation 002: constructors (word_type) . . . 25μs Presentation 003: constructors (StaticVector1) . . . 27μs Presentation 004: constructors (std::string) . . . 24μs Presentation 005: alphabet + letters (word_type) . . . 207μs Presentation 006: alphabet + letters (std::string) . . . 70μs Presentation 007: contains_empty_word . . . 13μs Presentation 008: validate_rules throws . . . 75μs Presentation 009: helpers add_rule(s) . . . 143μs Presentation 010: helpers add_rule(s) (std::string) . . . 48μs Presentation 011: helpers add_identity_rules (std::vector/St [...] . . . 64μs Presentation 012: helpers add_identity_rules (std::string) . . . 37μs Presentation 013: helpers add_inverse_rules (all) . . . 318μs Presentation 014: helpers add_inverse_rules (std::string) . . . 19μs Presentation 015: helpers remove_duplicate_rules . . . 94μs Presentation 016: helpers reduce_complements . . . 169μs Presentation 017: helpers sort_each_rule . . . 99μs Presentation 018: helpers sort_rules . . . 102μs Presentation 019: helpers longest_common_subword/replace_subword . . . 198μs Presentation 020: helpers redundant_rule . . . 20ms Presentation 021: helpers shortlex_compare_concat . . . 13μs Presentation 022: helpers remove_trivial_rules . . . 98μs Presentation 023: helpers replace_subword (existing, replacement) . . . 54μs Presentation 024: helpers longest_rule . . . 200μs Presentation 025: helpers longest_rule_length . . . 182μs Presentation 026: helpers remove_redundant_generators . . . 151μs Presentation 027: helpers reverse . . . 24μs Presentation 028: in_alphabet . . . 30μs Presentation 029: replace_subword with empty word . . . 30μs Presentation 030: helpers replace_word . . . 43μs Presentation 031: clear . . . 13μs Presentation 032: letter . . . 52μs Presentation 033: normalize_alphabet . . . 17μs Presentation 034: longest_common_subword issue . . . 229μs Presentation 035: helpers add_zero_rules (std::vector/Static [...] . . . 64μs Presentation 036: helpers add_zero_rules (std::string) . . . 36μs Presentation 037: make_semigroup . . . 50μs Presentation 038: greedy_reduce_length . . . 156μs Presentation 039: aaaaaaaab = aaaaaaaaab strong compression . . . 51μs Presentation 040: change_alphabet . . . 111μs Presentation 041: sort_rules bug . . . 215μs Presentation 042: first_unused_letter/letter . . . 244μs Presentation 043: case where strong compression doesn't work . . . 32μs Presentation 044: proof that . . . 51μs Presentation 045: decompression . . . 20μs Race 001: run_for . . . 10ms Race 002: run_until . . . 10ms Race 003: exceptions . . . 10ms Race 004: iterators . . . 15μs Race 005: find_runner . . . 16μs Race 006: run_func . . . 26ms Race 007: run_func . . . 10ms Race 008: run_func . . . 10ms Runner 000: run_for . . . 10ms Runner 001: run_for . . . 1018μs Runner 002: run_for . . . 191ms Runner 003: run_for . . . 25ms Runner 004: started . . . 1026μs Runner 005: run_until . . . 112ms Runner 006: kill . . . 13μs Runner 007: copy constructor . . . 10ms Runner 008: report . . . 20ms Runner 009: run_until with function pointer . . . 13μs SchreierSims 001: trivial perm. group (degree 1) . . . 15μs SchreierSims 002: trivial perm. group (degree 2) . . . 13μs SchreierSims 003: trivial perm. group (degree 500) . . . 45μs SchreierSims 004: symmetric perm. group (degree 5) . . . 21μs SchreierSims 005: symmetric perm. group (degree 8) . . . 38μs SchreierSims 006: symmetric perm. group (degree 9) . . . 54μs SchreierSims 007: alternating perm. group (degree 12) . . . 83μs SchreierSims 008: symmetric perm. group (degree 16) . . . 773μs SchreierSims 009: alternating perm. group (degree 15) . . . 398μs SchreierSims 010: alternating perm. group (degree 16) . . . 901μs SchreierSims 011: dihedral perm. group (order 10) . . . 15μs SchreierSims 012: dihedral perm. group (order 200) . . . 545μs SchreierSims 013: perm. group T (order 12) . . . 15μs SchreierSims 014: quaternion perm. group (order 8) . . . 19μs SchreierSims 015: perm. group (order 84129611558952960) . . . 202ms SchreierSims 016: perm. group SL(3, 5) (order 372000) . . . 642μs SchreierSims 017: perm. group PSL(4, 8) (order 34558531338240) . . . 84ms SchreierSims 018: perm. Mathieu group M11 (order 7920) . . . 82μs SchreierSims 019: perm. Mathieu group M24 (order 244823040) . . . 157μs SchreierSims 020: perm. Janko Group J1 (order 175560) . . . 1644μs SchreierSims 021: perm. Hall-Janko group (order 604800) . . . 213μs SchreierSims 022: perm. Hall-Janko group (alt.) (order 604800) . . . 18ms SchreierSims 023: perm. Conway group Co3 (order 495766656000) . . . 5763μs SchreierSims 024: perm. Conway group Co3 (alt.) (order 49576 [...] . . . 11ms SchreierSims 025: perm. Suzuki group (order 448345497600) . . . 58ms SchreierSims 027: perm. Held group (order 4030387200) . . . 114ms SchreierSims 028: perm. group C2 x C2 x C2 (order 8) . . . 26μs SchreierSims 029: perm. group C2 x C2 x C2 x C2 (order 16) . . . 38μs SchreierSims 030: perm. group (S5 x S5) : C2 (order 28800) . . . 64μs SchreierSims 031: perm. group C3 x D8 x A5 (order 1440) . . . 66μs SchreierSims 032: perm. group GL(4, 3) (order 24261120) . . . 447μs SchreierSims 033: perm. group PSL(3, 7) (order 1876896) . . . 629μs SchreierSims 037: symmetric perm. group (degree 5) . . . 30μs SchreierSims 038: alternating perm. group (degree 17) . . . 4531μs SchreierSims 039: exceptions . . . 152μs SchreierSims 040: exceptions . . . 76μs SchreierSims 041: trivial group . . . 53μs SchreierSims 042: A17 bug . . . 4098μs SchreierSims 043: orbits_lookup test . . . 473μs SchreierSims 044: transversal_element and inversal_element test . . . 2589μs SchreierSimsHelper 001: trivial perm. group intersection (de [...] . . . 16μs SchreierSimsHelper 002: trivial perm. group intersection (de [...] . . . 18μs SchreierSimsHelper 003: cyclic group intersection (degree 13) . . . 31μs SchreierSimsHelper 004: D10 and Z5 intersection . . . 29μs SchreierSimsHelper 005: D8 and Q8 intersection . . . 29μs SchreierSimsHelper 006: primitive on 8 points intersection . . . 91μs SchreierSimsHelper 007: primitive on 8 points intersection ( [...] . . . 88μs SchreierSimsHelper 008: A13 and PGL(2, 11) intersection . . . 757μs SchreierSimsHelper 009: A13 and PGL(2, 11) intersection (swa [...] . . . 730μs SchreierSimsHelper 012: 3^3:13 and 3^3.2.A(4) intersection . . . 123μs SchreierSimsHelper 015: 3^3(S(4) x 2) and ASL(3, 3) intersection . . . 235μs SchreierSimsHelper 016: 7^2:3 x Q(8) and 7^2:D(2*6) intersection . . . 248μs SchreierSimsHelper 018: D(2*53) and 53:13 intersection . . . 159μs SchreierSimsHelper 019: 2^6:(7 x D_14) and PSL(2, 6)^2.4 int [...] . . . 1143μs SchreierSimsHelper 020: 2^6:(S_3 x GL(3, 2)) and 2.6:Alt(7) [...] . . . 3584μs SchreierSimsHelper 022: PSL(2, 127) and AGL(1, 2^7) intersection . . . 8332μs SchreierSimsHelper 023: PSL(3, 4).2 and PSL(3, 4).2 (nontriv [...] . . . 1164μs SchreierSimsHelper 024: PSL(3, 4).Sym(3) and PSL(3, 4).2 int [...] . . . 1368μs SchreierSimsHelper 025: 3^4:5:4 and D_16:4 intersection . . . 743μs Sims1 000: fp example 1 . . . 2782μs Sims1 001: fp example 2 . . . 2342μs Sims1 002: ToddCoxeter failing example . . . 22ms Sims1 003: ToddCoxeter failing example . . . 962μs Sims1 004: partition_monoid(2) right . . . 7771μs Sims1 006: full_transformation_monoid(3) right . . . 8619μs Sims1 007: full_transformation_monoid(3) left . . . 4905μs Sims1 009: rook_monoid(2, 1) . . . 114μs Sims1 010: symmetric_inverse_monoid(2) from FroidurePin . . . 112μs Sims1 011: symmetric_inverse_monoid(3) . . . 8902μs Sims1 014: temperley_lieb_monoid(3) from presentation . . . 86μs Sims1 015: temperley_lieb_monoid(4) from presentation . . . 1030μs Sims1 016: fp semigroup containing given pairs #1 . . . 388μs Sims1 017: fp semigroup containing given pairs #2 . . . 398μs Sims1 018: fp semigroup containing given pairs #3 . . . 691μs Sims1 019: ToddCoxeter failing example . . . 1073μs Sims1 020: fp example 2 . . . 2684μs Sims1 021: exceptions . . . 373μs Sims1 027: from https://mathoverflow.net/questions/423541/ . . . 38ms Sims1 028: from https://mathoverflow.net/questions/423541/ . . . 29ms Sims1 030: presentation with one free generator . . . 302μs Sims1 031: presentation with non-zero index generators . . . 70μs Sims1 032: presentation with empty word . . . 13ms Sims1 033: constructors . . . 1752μs Sims1 034: split_at . . . 349μs Sims1 035: stats . . . 100μs Sims1 036: check iterator requirements . . . 167μs Sims1 040: TransitiveGroup(10, 32) - minimal rep . . . 3730μs Sims1 043: rectangular_band(2, 2) - with and without identity . . . 239μs Sims1 044: trivial group - minimal o.r.c. rep . . . 107μs Sims1 045: right zero semigroup - minimal o.r.c. rep . . . 2373μs Sims1 046: semigroup with faithful non-strictly cyclic actio [...] . . . 758μs Sims1 068: RepOrc . . . 20ms Sims1 069: fp example 1 . . . 751μ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 4654μs (849ns 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 . . . 4722μs Sims1 072: symmetric_group(n) for n = 4 . . . 2325μs Sims1 073: corner case no generators + no relations . . . 140μs Sims1 076: uninitialized RepOrc . . . 25μs SmallestInteger 001: . . . 12μs StaticTriVector2 045: all . . . 21μs StaticVector2 043: all . . . 20μs Stephen 000: basic test 1 . . . 253μs Stephen 001: basic test 2 . . . 163μs Stephen 002: full transf monoid . . . 12ms Stephen 003: from step_hen 002 . . . 89μs Stephen 004: from step_hen 003 . . . 236μs Stephen 005: from step_hen 004 . . . 49μs Stephen 006: from step_hen 005 . . . 152μs Stephen 008: C(4) monoid normal form (test_case_knuth_bendix_055) . . . 209μs Stephen 009: C(4) monoid normal form (test_case_gap_smallove [...] . . . 153μs #0: Stephen: ------------------------------------------------------------ #0: Stephen: nodes | defined | killed | diff | #0: Stephen: ------------------------------------------------------------ #0: Stephen: 13 | +25 | -12 | +13 | (0s) #0: Stephen: 13 | +0 | -0 | +0 | (0s) Stephen 010: code coverage . . . 263μs Stephen 011: C(4) monoid normal form (test_case_gap_smallove [...] . . . 492μs Stephen 012: C(4) monoid normal form (test_case_gap_smallove [...] . . . 330μs Stephen 013: C(4) monoid equal to (test_case_gap_smalloverlap_70) . . . 143μs Stephen 014: C(4) monoid normal form (test_case_ex_3_13_14) . . . 670μs Stephen 015: C(4) monoid normal form (test_case_ex_3_15) . . . 896μs Stephen 016: C(4) monoid normal form (test_case_ex_3_16) . . . 541μs Stephen 017: C(4) monoid normal form (test_case_mt_3) . . . 257μs Stephen 018: C(4) monoid normal form (test_case_mt_5) . . . 181μs Stephen 019: C(4) monoid normal form (test_case_mt_6) . . . 488μs Stephen 020: C(4) monoid normal form (test_case_mt_10) . . . 173μs Stephen 021: C(4) monoid normal form (test_case_mt_13) . . . 163μs Stephen 022: C(4) monoid normal form (test_case_mt_14) . . . 161μs Stephen 023: C(4) monoid normal form (test_case_mt_15) . . . 163μs Stephen 024: C(4) monoid normal form (test_case_mt_16) . . . 169μs Stephen 025: C(4) monoid normal form (test_case_mt_17) . . . 456μs Stephen 026: C(4) monoid normal form (test_case_weak_1) . . . 650μs Stephen 027: C(4) monoid normal form (test_case_weak_2) . . . 314μs Stephen 028: C(4) monoid normal form (test_case_weak_3) . . . 326μs Stephen 029: C(4) monoid normal form (test_case_weak_4) . . . 320μs Stephen 030: C(4) monoid normal form (test_case_weak_5) . . . 173μs Stephen 031: Test behaviour when uninitialised . . . 483μs Suf 005: unite . . . 25μs Suf 007: compress . . . 15μs Suf 011: big chain . . . 26ms Suf 013: empty table . . . 11μs Suf 015: join . . . 14μs Suf 017: contains . . . 34μs Suf 019: swap . . . 37μs Timer 001: string method (1 argument) . . . 32μs Timer 002: string method (0 arguments) . . . 10ms Timer 003: reset/elapsed method . . . 20ms Timer 004: operator<< . . . 16μs ToddCoxeter 000: small 2-sided congruence . . .  -- with HLT + no standardise + full lookahead + no save 2481μs  -- with HLT + standardise + full lookahead + no save 2403μs  -- with HLT + no standardise + partial lookahead + no save 2394μs  -- with HLT + standardise + partial lookahead + no save 2397μs  -- with HLT + no standardise + full lookahead + save 2422μs  -- with HLT + standardise + full lookahead + save 2418μs  -- with HLT + no standardise + partial lookahead + save 2409μs  -- with HLT + standardise + partial lookahead + save 2399μs  -- with Felsch + no standardisation 1954μs  -- with Felsch + standardisation 1349μs  -- with random strategy 1391μs  -- with Rc style + full lookahead 1386μs  -- with Rc style + partial lookahead 1380μs  -- with R/C style 1396μs  -- with CR style 1362μs  -- with Cr style 1368μs ToddCoxeter 001: small 2-sided congruence . . .  -- with HLT + no standardise + full lookahead + no save 5433μs  -- with HLT + standardise + full lookahead + no save 5406μs  -- with HLT + no standardise + partial lookahead + no save 5393μs  -- with HLT + standardise + partial lookahead + no save 5398μs  -- with HLT + no standardise + full lookahead + save 5388μs  -- with HLT + standardise + full lookahead + save 5417μs  -- with HLT + no standardise + partial lookahead + save 5395μs  -- with HLT + standardise + partial lookahead + save 5390μs  -- with Felsch + no standardisation 5379μs  -- with Felsch + standardisation 5408μs  -- with random strategy 5414μs  -- with Rc style + full lookahead 5419μs  -- with Rc style + partial lookahead 5414μs  -- with R/C style 5421μs  -- with CR style 5414μs  -- with Cr style 5404μs ToddCoxeter 003: constructed from FroidurePin . . .  -- with Felsch + no standardisation 223ms  -- with Felsch + standardisation 222ms  -- with HLT + no standardise + full lookahead + no save 68ms  -- with HLT + standardise + full lookahead + no save 68ms  -- with HLT + no standardise + partial lookahead + no save 68ms  -- with HLT + standardise + partial lookahead + no save 68ms  -- with HLT + no standardise + full lookahead + save 231ms  -- with HLT + standardise + full lookahead + save 231ms  -- with HLT + no standardise + partial lookahead + save 232ms  -- with HLT + standardise + partial lookahead + save 231ms  -- with random strategy 229ms  -- with Rc style + full lookahead 224ms  -- with Rc style + partial lookahead 224ms  -- with R/C style 74ms  -- with CR style 225ms  -- with Cr style 225ms ToddCoxeter 004: 2-sided congruence from FroidurePin . . .  -- with HLT + no standardise + full lookahead + no save 287μs  -- with HLT + standardise + full lookahead + no save 257μs  -- with HLT + no standardise + partial lookahead + no save 248μs  -- with HLT + standardise + partial lookahead + no save 272μs  -- with HLT + save (throws) 287μs  -- with Felsch (throws) 267μs  -- with random strategy 279μs ToddCoxeter 005: non-trivial two-sided from relations . . .  -- with HLT + no standardise + full lookahead + no save 86μs  -- with HLT + standardise + full lookahead + no save 72μs  -- with HLT + no standardise + partial lookahead + no save 70μs  -- with HLT + standardise + partial lookahead + no save 71μs  -- with HLT + no standardise + full lookahead + save 84μs  -- with HLT + standardise + full lookahead + save 80μs  -- with HLT + no standardise + partial lookahead + save 78μs  -- with HLT + standardise + partial lookahead + save 78μs  -- with Felsch + no standardisation 71μs  -- with Felsch + standardisation 70μs  -- with random strategy 81μs  -- with Rc style + full lookahead 73μs  -- with Rc style + partial lookahead 73μs  -- with R/C style 76μs  -- with CR style 75μs  -- with Cr style 73μs ToddCoxeter 006: small right cong. on free semigroup . . .  -- with HLT + no standardise + full lookahead + no save 64μs  -- with HLT + standardise + full lookahead + no save 58μs  -- with HLT + no standardise + partial lookahead + no save 57μs  -- with HLT + standardise + partial lookahead + no save 58μs  -- with HLT + no standardise + full lookahead + save 63μs  -- with HLT + standardise + full lookahead + save 63μs  -- with HLT + no standardise + partial lookahead + save 61μs  -- with HLT + standardise + partial lookahead + save 60μs  -- with Felsch + no standardisation 60μs  -- with Felsch + standardisation 64μs  -- with random strategy 72μs  -- with Rc style + full lookahead 62μs  -- with Rc style + partial lookahead 62μs  -- with R/C style 66μs  -- with CR style 64μs  -- with Cr style 64μs ToddCoxeter 007: left cong. on free semigroup . . .  -- with HLT + no standardise + full lookahead + no save 72μs  -- with HLT + standardise + full lookahead + no save 66μs  -- with HLT + no standardise + partial lookahead + no save 66μs  -- with HLT + standardise + partial lookahead + no save 67μs  -- with HLT + no standardise + full lookahead + save 70μs  -- with HLT + standardise + full lookahead + save 71μs  -- with HLT + no standardise + partial lookahead + save 70μs  -- with HLT + standardise + partial lookahead + save 70μs  -- with Felsch + no standardisation 69μs  -- with Felsch + standardisation 71μs  -- with random strategy 82μs  -- with Rc style + full lookahead 73μs  -- with Rc style + partial lookahead 74μs  -- with R/C style 78μs  -- with CR style 79μs  -- with Cr style 79μs ToddCoxeter 008: for small fp semigroup . . .  -- with HLT + no standardise + full lookahead + no save 64μs  -- with HLT + standardise + full lookahead + no save 59μs  -- with HLT + no standardise + partial lookahead + no save 57μs  -- with HLT + standardise + partial lookahead + no save 58μs  -- with HLT + no standardise + full lookahead + save 63μs  -- with HLT + standardise + full lookahead + save 62μs  -- with HLT + no standardise + partial lookahead + save 62μs  -- with HLT + standardise + partial lookahead + save 62μs  -- with Felsch + no standardisation 61μs  -- with Felsch + standardisation 63μs  -- with random strategy 75μs  -- with Rc style + full lookahead 64μs  -- with Rc style + partial lookahead 64μs  -- with R/C style 70μs  -- with CR style 68μs  -- with Cr style 69μs ToddCoxeter 009: 2-sided cong. trans. semigroup . . .  -- with HLT + no standardise + full lookahead + no save 305μs  -- with HLT + standardise + full lookahead + no save 291μs  -- with HLT + no standardise + partial lookahead + no save 282μs  -- with HLT + standardise + partial lookahead + no save 284μs  -- with HLT + no standardise + full lookahead + save 682μs  -- with HLT + standardise + full lookahead + save 667μs  -- with HLT + no standardise + partial lookahead + save 658μs  -- with HLT + standardise + partial lookahead + save 662μs  -- with Felsch + no standardisation 654μs  -- with Felsch + standardisation 635μs  -- with random strategy 326μs  -- with Rc style + full lookahead 307μs  -- with Rc style + partial lookahead 307μs  -- with R/C style 328μs  -- with CR style 658μs  -- with Cr style 656μs ToddCoxeter 010: left congruence on transformation semigroup . . .  -- with HLT + no standardise + full lookahead + no save 343μs  -- with HLT + standardise + full lookahead + no save 350μs  -- with HLT + no standardise + partial lookahead + no save 334μs  -- with HLT + standardise + partial lookahead + no save 346μs  -- with HLT + no standardise + full lookahead + save 777μs  -- with HLT + standardise + full lookahead + save 778μs  -- with HLT + no standardise + partial lookahead + save 761μs  -- with HLT + standardise + partial lookahead + save 767μs  -- with Felsch + no standardisation 690μs  -- with Felsch + standardisation 668μs  -- with random strategy 897μs  -- with Rc style + full lookahead 409μs  -- with Rc style + partial lookahead 403μs  -- with R/C style 467μs  -- with CR style 750μs  -- with Cr style 740μs ToddCoxeter 011: right cong. trans. semigroup . . .  -- with HLT + no standardise + full lookahead + no save 355μs  -- with HLT + standardise + full lookahead + no save 358μs  -- with HLT + no standardise + partial lookahead + no save 344μs  -- with HLT + standardise + partial lookahead + no save 354μs  -- with HLT + no standardise + full lookahead + save 764μs  -- with HLT + standardise + full lookahead + save 763μs  -- with HLT + no standardise + partial lookahead + save 743μs  -- with HLT + standardise + partial lookahead + save 755μs  -- with Felsch + no standardisation 603μs  -- with Felsch + standardisation 621μs  -- with random strategy 471μs  -- with Rc style + full lookahead 432μs  -- with Rc style + partial lookahead 416μs  -- with R/C style 485μs  -- with CR style 665μs  -- with Cr style 664μs ToddCoxeter 012: trans. semigroup (size 88) . . .  -- with HLT + no standardise + full lookahead + no save 203μs  -- with HLT + standardise + full lookahead + no save 196μs  -- with HLT + no standardise + partial lookahead + no save 192μs  -- with HLT + standardise + partial lookahead + no save 196μs  -- with HLT + save (throws) 213μs  -- with Felsch (throws) 208μs  -- with random strategy 240μs ToddCoxeter 013: left cong. on trans. semigroup (size 88) . . .  -- with HLT + no standardise + full lookahead + no save 281μs  -- with HLT + standardise + full lookahead + no save 284μs  -- with HLT + no standardise + partial lookahead + no save 272μs  -- with HLT + standardise + partial lookahead + no save 283μs  -- with HLT + no standardise + full lookahead + save 717μs  -- with HLT + standardise + full lookahead + save 712μs  -- with HLT + no standardise + partial lookahead + save 696μs  -- with HLT + standardise + partial lookahead + save 706μs  -- with Felsch + no standardisation 622μs  -- with Felsch + standardisation 600μs  -- with random strategy 393μs  -- with Rc style + full lookahead 345μs  -- with Rc style + partial lookahead 341μs  -- with R/C style 407μs  -- with CR style 687μs  -- with Cr style 680μs ToddCoxeter 014: right cong. on trans. semigroup (size 88) . . .  -- with HLT + no standardise + full lookahead + no save 299μs  -- with HLT + standardise + full lookahead + no save 301μs  -- with HLT + no standardise + partial lookahead + no save 286μs  -- with HLT + standardise + partial lookahead + no save 297μs  -- with HLT + no standardise + full lookahead + save 704μs  -- with HLT + standardise + full lookahead + save 702μs  -- with HLT + no standardise + partial lookahead + save 687μs  -- with HLT + standardise + partial lookahead + save 695μs  -- with Felsch + no standardisation 547μs  -- with Felsch + standardisation 568μs  -- with random strategy 414μs  -- with Rc style + full lookahead 363μs  -- with Rc style + partial lookahead 360μs  -- with R/C style 428μs  -- with CR style 607μs  -- with Cr style 613μs ToddCoxeter 015: finite fp-semigroup, dihedral group of order 6 . . .  -- with HLT + no standardise + full lookahead + no save 121μs  -- with HLT + standardise + full lookahead + no save 117μs  -- with HLT + no standardise + partial lookahead + no save 108μs  -- with HLT + standardise + partial lookahead + no save 114μs  -- with HLT + no standardise + full lookahead + save 129μs  -- with HLT + standardise + full lookahead + save 127μs  -- with HLT + no standardise + partial lookahead + save 125μs  -- with HLT + standardise + partial lookahead + save 125μs  -- with Felsch + no standardisation 113μs  -- with Felsch + standardisation 112μs  -- with random strategy 127μs  -- with Rc style + full lookahead 114μs  -- with Rc style + partial lookahead 113μs  -- with R/C style 118μs  -- with CR style 119μs  -- with Cr style 117μs ToddCoxeter 016: finite fp-semigroup, size 16 . . .  -- with HLT + no standardise + full lookahead + no save 112μs  -- with HLT + standardise + full lookahead + no save 105μs  -- with HLT + no standardise + partial lookahead + no save 100μs  -- with HLT + standardise + partial lookahead + no save 103μs  -- with HLT + no standardise + full lookahead + save 199μs  -- with HLT + standardise + full lookahead + save 196μs  -- with HLT + no standardise + partial lookahead + save 189μs  -- with HLT + standardise + partial lookahead + save 193μs  -- with Felsch + no standardisation 175μs  -- with Felsch + standardisation 168μs  -- with random strategy 198μs  -- with Rc style + full lookahead 117μs  -- with Rc style + partial lookahead 114μs  -- with R/C style 127μs  -- with CR style 181μs  -- with Cr style 179μs ToddCoxeter 017: finite fp-semigroup, size 16 . . .  -- with HLT + no standardise + full lookahead + no save 178μs  -- with HLT + standardise + full lookahead + no save 169μs  -- with HLT + no standardise + partial lookahead + no save 163μs  -- with HLT + standardise + partial lookahead + no save 170μs  -- with HLT + no standardise + full lookahead + save 380μs  -- with HLT + standardise + full lookahead + save 379μs  -- with HLT + no standardise + partial lookahead + save 369μs  -- with HLT + standardise + partial lookahead + save 373μs  -- with Felsch + no standardisation 317μs  -- with Felsch + standardisation 312μs  -- with random strategy 355μs  -- with Rc style + full lookahead 180μs  -- with Rc style + partial lookahead 177μs  -- with R/C style 193μs  -- with CR style 329μs  -- with Cr style 328μs ToddCoxeter 018: test lookahead . . .  -- with HLT + no standardise + full lookahead + no save 648μs  -- with HLT + standardise + full lookahead + no save 645μs  -- with HLT + no standardise + partial lookahead + no save 585μs  -- with HLT + standardise + partial lookahead + no save 595μs  -- with HLT + no standardise + full lookahead + save 759μs  -- with HLT + standardise + full lookahead + save 754μs  -- with HLT + no standardise + partial lookahead + save 736μs  -- with HLT + standardise + partial lookahead + save 743μs ToddCoxeter 019: non-trivial left cong. from semigroup . . .  -- with HLT + no standardise + full lookahead + no save 206μs  -- with HLT + standardise + full lookahead + no save 208μs  -- with HLT + no standardise + partial lookahead + no save 199μs  -- with HLT + standardise + partial lookahead + no save 203μs  -- with HLT + save (throws) 218μs  -- with Felsch (throws) 215μs  -- with random strategy 293μs ToddCoxeter 020: 2-sided cong. on free semigroup . . .  -- with HLT + no standardise + full lookahead + no save 37μs  -- with HLT + standardise + full lookahead + no save 32μs  -- with HLT + no standardise + partial lookahead + no save 32μs  -- with HLT + standardise + partial lookahead + no save 32μs  -- with HLT + no standardise + full lookahead + save 32μs  -- with HLT + standardise + full lookahead + save 32μs  -- with HLT + no standardise + partial lookahead + save 32μs  -- with HLT + standardise + partial lookahead + save 31μs  -- with Felsch + no standardisation 32μs  -- with Felsch + standardisation 32μs  -- with random strategy 31μs ToddCoxeter 021: calling run when obviously infinite . . .  -- with HLT + no standardise + full lookahead + no save 80μs  -- with HLT + standardise + full lookahead + no save 72μs  -- with HLT + no standardise + partial lookahead + no save 71μs  -- with HLT + standardise + partial lookahead + no save 72μs  -- with HLT + no standardise + full lookahead + save 71μs  -- with HLT + standardise + full lookahead + save 71μs  -- with HLT + no standardise + partial lookahead + save 70μs  -- with HLT + standardise + partial lookahead + save 71μs  -- with Felsch + no standardisation 70μs  -- with Felsch + standardisation 69μs  -- with random strategy 69μs ToddCoxeter 022: stellar_monoid S3 . . .  -- with HLT + no standardise + full lookahead + no save 172μs  -- with HLT + standardise + full lookahead + no save 164μs  -- with HLT + no standardise + partial lookahead + no save 157μs  -- with HLT + standardise + partial lookahead + no save 162μs  -- with HLT + no standardise + full lookahead + save 297μs  -- with HLT + standardise + full lookahead + save 293μs  -- with HLT + no standardise + partial lookahead + save 284μs  -- with HLT + standardise + partial lookahead + save 287μs  -- with Felsch + no standardisation 265μs  -- with Felsch + standardisation 247μs  -- with random strategy 295μs  -- with Rc style + full lookahead 183μs  -- with Rc style + partial lookahead 180μs  -- with R/C style 205μs  -- with CR style 271μs  -- with Cr style 267μs ToddCoxeter 023: finite semigroup (size 5) . . .  -- with HLT + no standardise + full lookahead + no save 62μs  -- with HLT + standardise + full lookahead + no save 56μs  -- with HLT + no standardise + partial lookahead + no save 55μs  -- with HLT + standardise + partial lookahead + no save 55μs  -- with HLT + no standardise + full lookahead + save 60μs  -- with HLT + standardise + full lookahead + save 60μs  -- with HLT + no standardise + partial lookahead + save 59μs  -- with HLT + standardise + partial lookahead + save 59μs  -- with Felsch + no standardisation 57μs  -- with Felsch + standardisation 61μs  -- with random strategy 66μs  -- with Rc style + full lookahead 61μs  -- with Rc style + partial lookahead 60μs  -- with R/C style 64μs  -- with CR style 62μs  -- with Cr style 63μs ToddCoxeter 024: exceptions . . .  -- with HLT + no standardise + full lookahead + no save 297μs  -- with HLT + standardise + full lookahead + no save 281μs  -- with HLT + no standardise + partial lookahead + no save 279μs  -- with HLT + standardise + partial lookahead + no save 279μs  -- with HLT + no standardise + full lookahead + save 285μs  -- with HLT + standardise + full lookahead + save 282μs  -- with HLT + no standardise + partial lookahead + save 280μs  -- with HLT + standardise + partial lookahead + save 280μs  -- with Felsch + no standardisation 279μs  -- with Felsch + standardisation 281μs  -- with random strategy 285μs  -- with Rc style + full lookahead 281μs  -- with Rc style + partial lookahead 281μs  -- with R/C style 283μs  -- with CR style 283μs  -- with Cr style 286μs ToddCoxeter 025: obviously infinite . . .  -- with HLT + no standardise + full lookahead + no save 80μs  -- with HLT + standardise + full lookahead + no save 74μs  -- with HLT + no standardise + partial lookahead + no save 74μs  -- with HLT + standardise + partial lookahead + no save 74μs  -- with HLT + no standardise + full lookahead + save 74μs  -- with HLT + standardise + full lookahead + save 74μs  -- with HLT + no standardise + partial lookahead + save 75μs  -- with HLT + standardise + partial lookahead + save 74μs  -- with Felsch + no standardisation 74μs  -- with Felsch + standardisation 74μs  -- with random strategy 74μs ToddCoxeter 026: exceptions . . .  -- with HLT + no standardise + full lookahead + no save 172μs  -- with HLT + standardise + full lookahead + no save 163μs  -- with HLT + no standardise + partial lookahead + no save 161μs  -- with HLT + standardise + partial lookahead + no save 161μs  -- with HLT + no standardise + full lookahead + save 165μs  -- with HLT + standardise + full lookahead + save 165μs  -- with HLT + no standardise + partial lookahead + save 164μs  -- with HLT + standardise + partial lookahead + save 162μs  -- with Felsch + no standardisation 169μs  -- with Felsch + standardisation 166μs  -- with random strategy 176μs  -- with Rc style + full lookahead 165μs  -- with Rc style + partial lookahead 164μs  -- with R/C style 168μs  -- with CR style 166μs  -- with Cr style 167μs ToddCoxeter 027: empty . . . 41μs ToddCoxeter 028: congruence of fpsemigroup::ToddCoxeter . . .  -- with HLT + no standardise + full lookahead + no save 220μs  -- with HLT + standardise + full lookahead + no save 203μs  -- with HLT + no standardise + partial lookahead + no save 200μs  -- with HLT + standardise + partial lookahead + no save 202μs  -- with HLT + save (throws) 218μs  -- with Felsch (throws) 216μs  -- with random strategy 220μs  -- with HLT + no standardise + full lookahead + save 202μs  -- with HLT + standardise + full lookahead + save 203μs  -- with HLT + no standardise + partial lookahead + save 203μs  -- with HLT + standardise + partial lookahead + save 202μs  -- with Felsch + no standardisation 204μs  -- with Felsch + standardisation 203μs  -- with Rc style + full lookahead 199μs  -- with Rc style + partial lookahead 200μs  -- with R/C style 199μs  -- with CR style 201μs  -- with Cr style 201μs ToddCoxeter 029: !KnuthBendix.started() . . .  -- with HLT + no standardise + full lookahead + no save and 2-sided 105μs  -- with HLT + standardise + full lookahead + no save and 2-sided 88μs  -- with HLT + no standardise + partial lookahead + no save and 2-sided 86μs  -- with HLT + standardise + partial lookahead + no save and 2-sided 85μs  -- with HLT + no standardise + full lookahead + save and 2-sided 91μs  -- with HLT + standardise + full lookahead + save and 2-sided 90μs  -- with HLT + no standardise + partial lookahead + save and 2-sided 88μs  -- with HLT + standardise + partial lookahead + save and 2-sided 92μs  -- with Felsch + no standardisation and 2-sided 86μs  -- with Felsch + standardisation and 2-sided 86μs  -- with random strategy and 2-sided 94μs  -- with HLT + no standardise + full lookahead + no save and left 89μs  -- with HLT + standardise + full lookahead + no save and left 85μs  -- with HLT + no standardise + partial lookahead + no save and left 84μs  -- with HLT + standardise + partial lookahead + no save and left 85μs  -- with HLT + no standardise + full lookahead + save and left 96μs  -- with HLT + standardise + full lookahead + save and left 96μs  -- with HLT + no standardise + partial lookahead + save and left 95μs  -- with HLT + standardise + partial lookahead + save and left 97μs  -- with Felsch + no standardisation and left 95μs  -- with Felsch + standardisation and left 95μs  -- with random strategy and left 94μs  -- with HLT + no standardise + full lookahead + no save and right 88μs  -- with HLT + standardise + full lookahead + no save and right 84μs  -- with HLT + no standardise + partial lookahead + no save and right 84μs  -- with HLT + standardise + partial lookahead + no save and right 84μs  -- with HLT + no standardise + full lookahead + save and right 94μs  -- with HLT + standardise + full lookahead + save and right 95μs  -- with HLT + no standardise + partial lookahead + save and right 94μs  -- with HLT + standardise + partial lookahead + save and right 94μs  -- with Felsch + no standardisation and right 96μs  -- with Felsch + standardisation and right 94μs  -- with random strategy and right 103μs ToddCoxeter 030: KnuthBendix.finished() . . .  -- with HLT + no standardise + full lookahead + no save and 2-sided 209μs  -- with HLT + standardise + full lookahead + no save and 2-sided 189μs  -- with HLT + no standardise + partial lookahead + no save and 2-sided 186μs  -- with HLT + standardise + partial lookahead + no save and 2-sided 183μs  -- with HLT + no standardise + full lookahead + save and 2-sided 189μs  -- with HLT + standardise + full lookahead + save and 2-sided 188μs  -- with HLT + no standardise + partial lookahead + save and 2-sided 187μs  -- with HLT + standardise + partial lookahead + save and 2-sided 198μs  -- with Felsch + no standardisation and 2-sided 184μs  -- with Felsch + standardisation and 2-sided 242μs  -- with random strategy and 2-sided 197μs  -- with HLT + no standardise + full lookahead + no save and left 200μs  -- with HLT + standardise + full lookahead + no save and left 196μs  -- with HLT + no standardise + partial lookahead + no save and left 196μs  -- with HLT + standardise + partial lookahead + no save and left 194μs  -- with HLT + no standardise + full lookahead + save and left 208μs  -- with HLT + standardise + full lookahead + save and left 209μs  -- with HLT + no standardise + partial lookahead + save and left 206μs  -- with HLT + standardise + partial lookahead + save and left 206μs  -- with Felsch + no standardisation and left 204μs  -- with Felsch + standardisation and left 203μs  -- with random strategy and left 214μs  -- with HLT + no standardise + full lookahead + no save and right 199μs  -- with HLT + standardise + full lookahead + no save and right 195μs  -- with HLT + no standardise + partial lookahead + no save and right 194μs  -- with HLT + standardise + partial lookahead + no save and right 194μs  -- with HLT + no standardise + full lookahead + save and right 205μs  -- with HLT + standardise + full lookahead + save and right 206μs  -- with HLT + no standardise + partial lookahead + save and right 206μs  -- with HLT + standardise + partial lookahead + save and right 206μs  -- with Felsch + no standardisation and right 201μs  -- with Felsch + standardisation and right 204μs  -- with random strategy and right 217μs ToddCoxeter 031: KnuthBendix.finished() . . .  -- with HLT + no standardise + full lookahead + no save and 2-sided 149μs  -- with HLT + standardise + full lookahead + no save and 2-sided 137μs  -- with HLT + no standardise + partial lookahead + no save and 2-sided 134μs  -- with HLT + standardise + partial lookahead + no save and 2-sided 135μs  -- with HLT + no standardise + full lookahead + save and 2-sided 138μs  -- with HLT + standardise + full lookahead + save and 2-sided 139μs  -- with HLT + no standardise + partial lookahead + save and 2-sided 137μs  -- with HLT + standardise + partial lookahead + save and 2-sided 138μs  -- with Felsch + no standardisation and 2-sided 129μs  -- with Felsch + standardisation and 2-sided 132μs  -- with random strategy and 2-sided 144μs  -- with Rc style + full lookahead and 2-sided 143μs  -- with Rc style + partial lookahead and 2-sided 141μs  -- with R/C style and 2-sided 137μs  -- with CR style and 2-sided 136μs  -- with Cr style and 2-sided 141μs  -- with HLT + no standardise + full lookahead + no save and left 150μs  -- with HLT + standardise + full lookahead + no save and left 144μs  -- with HLT + no standardise + partial lookahead + no save and left 145μs  -- with HLT + standardise + partial lookahead + no save and left 144μs  -- with HLT + no standardise + full lookahead + save and left 155μs  -- with HLT + standardise + full lookahead + save and left 154μs  -- with HLT + no standardise + partial lookahead + save and left 155μs  -- with HLT + standardise + partial lookahead + save and left 154μs  -- with Felsch + no standardisation and left 151μs  -- with Felsch + standardisation and left 149μs  -- with random strategy and left 166μs  -- with Rc style + full lookahead and left 155μs  -- with Rc style + partial lookahead and left 153μs  -- with R/C style and left 148μs  -- with CR style and left 159μs  -- with Cr style and left 164μs  -- with HLT + no standardise + full lookahead + no save and right 149μs  -- with HLT + standardise + full lookahead + no save and right 145μs  -- with HLT + no standardise + partial lookahead + no save and right 144μs  -- with HLT + standardise + partial lookahead + no save and right 144μs  -- with HLT + no standardise + full lookahead + save and right 154μs  -- with HLT + standardise + full lookahead + save and right 154μs  -- with HLT + no standardise + partial lookahead + save and right 155μs  -- with HLT + standardise + partial lookahead + save and right 155μs  -- with Felsch + no standardisation and right 150μs  -- with Felsch + standardisation and right 150μs  -- with random strategy and right 167μs  -- with Rc style + full lookahead and right 158μs  -- with Rc style + partial lookahead and right 156μs  -- with R/C style and right 150μs  -- with CR style and right 157μs  -- with Cr style and right 163μs ToddCoxeter 032: prefill . . . 316μs ToddCoxeter 033: congruence of ToddCoxeter . . .  -- with HLT + no standardise + full lookahead + no save 78μs  -- with HLT + standardise + full lookahead + no save 73μs  -- with HLT + no standardise + partial lookahead + no save 69μs  -- with HLT + standardise + partial lookahead + no save 69μs  -- with HLT + no standardise + full lookahead + save 75μs  -- with HLT + standardise + full lookahead + save 71μs  -- with HLT + no standardise + partial lookahead + save 71μs  -- with HLT + standardise + partial lookahead + save 71μs  -- with random strategy 85μs ToddCoxeter 034: congruence of ToddCoxeter . . .  -- with HLT + no standardise + full lookahead + no save 148μs  -- with HLT + standardise + full lookahead + no save 140μs  -- with HLT + no standardise + partial lookahead + no save 137μs  -- with HLT + standardise + partial lookahead + no save 136μs  -- with HLT + save (throws) 157μs  -- with Felsch (throws) 152μs  -- with random strategy 160μs ToddCoxeter 035: congruence on FpSemigroup . . .  -- with HLT + no standardise + full lookahead + no save 372μs  -- with HLT + standardise + full lookahead + no save 344μs  -- with HLT + no standardise + partial lookahead + no save 339μs  -- with HLT + standardise + partial lookahead + no save 336μs  -- with HLT + no standardise + full lookahead + save 373μs  -- with HLT + standardise + full lookahead + save 371μs  -- with HLT + no standardise + partial lookahead + save 368μs  -- with HLT + standardise + partial lookahead + save 369μs  -- with Felsch + no standardisation 364μs  -- with Felsch + standardisation 365μs  -- with random strategy 379μs  -- with Rc style + full lookahead 338μs  -- with Rc style + partial lookahead 338μs  -- with R/C style 351μs  -- with CR style 369μs  -- with Cr style 370μs ToddCoxeter 036: exceptions . . . 122μs ToddCoxeter 037: copy constructor . . . 45μs ToddCoxeter 038: simplify . . . 153μs ToddCoxeter 039: stylic_monoid . . . 734ms ToddCoxeter 041: some finite classes . . . 617μs ToddCoxeter 043: symmetric_group(7, Coxeter + Moser) . . . 213ms ToddCoxeter 044: Option exceptions . . . 119μs ToddCoxeter 045: Options operator<< . . . 878μs ToddCoxeter 046: Easdown-East-FitzGerald DualSymInv(5) . . .  -- with HLT + no standardise + full lookahead + no save 193ms  -- with HLT + standardise + full lookahead + no save 208ms  -- with HLT + no standardise + partial lookahead + no save 193ms  -- with HLT + standardise + partial lookahead + no save 208ms  -- with HLT + no standardise + full lookahead + save 179ms  -- with HLT + standardise + full lookahead + save 177ms  -- with HLT + no standardise + partial lookahead + save 179ms  -- with HLT + standardise + partial lookahead + save 177ms  -- with Felsch + no standardisation 204ms  -- with Felsch + standardisation 204ms  -- with random strategy 222ms  -- with R/C style 209ms  -- with Rc style + full lookahead 215ms  -- with Rc style + partial lookahead 215ms ToddCoxeter 047: uniform_block_bijection_monoid(3) (FitzGerald) . . .  -- with HLT + no standardise + full lookahead + no save 164μs  -- with HLT + standardise + full lookahead + no save 152μs  -- with HLT + no standardise + partial lookahead + no save 145μs  -- with HLT + standardise + partial lookahead + no save 149μs  -- with HLT + no standardise + full lookahead + save 250μs  -- with HLT + standardise + full lookahead + save 246μs  -- with HLT + no standardise + partial lookahead + save 238μs  -- with HLT + standardise + partial lookahead + save 240μs  -- with Felsch + no standardisation 191μs  -- with Felsch + standardisation 187μs  -- with random strategy 215μs  -- with R/C style 171μs  -- with Rc style + full lookahead 157μs  -- with Rc style + partial lookahead 156μs ToddCoxeter 048: stellar_monoid(7) (Gay-Hivert) . . . 191ms ToddCoxeter 049: partition_monoid(4) (East) . . .  -- with HLT + no standardise + full lookahead + no save 37ms  -- with HLT + standardise + full lookahead + no save 37ms  -- with HLT + no standardise + partial lookahead + no save 37ms  -- with HLT + standardise + partial lookahead + no save 37ms  -- with HLT + no standardise + full lookahead + save 70ms  -- with HLT + standardise + full lookahead + save 71ms  -- with HLT + no standardise + partial lookahead + save 70ms  -- with HLT + standardise + partial lookahead + save 71ms  -- with Felsch + no standardisation 86ms  -- with Felsch + standardisation 86ms  -- with random strategy 46ms  -- with R/C style 45ms  -- with Rc style + full lookahead 95ms  -- with Rc style + partial lookahead 95ms ToddCoxeter 050: singular_brauer_monoid(6) (Maltcev + Mazorchuk) . . . 466ms ToddCoxeter 051: orientation_preserving_monoid(6) (Ruskuc + [...] . . .  -- with HLT + no standardise + full lookahead + no save 27ms ToddCoxeter 052: orientation_reversing_monoid(5) (Ruskuc + [...] . . .  -- with HLT + no standardise + full lookahead + no save 6806μs ToddCoxeter 053: temperley_lieb_monoid(10) (East) . . . 34ms ToddCoxeter 063: add_rule . . .  -- with HLT + no standardise + full lookahead + no save 143μs  -- with HLT + standardise + full lookahead + no save 128μs  -- with HLT + no standardise + partial lookahead + no save 125μs  -- with HLT + standardise + partial lookahead + no save 125μs  -- with HLT + no standardise + full lookahead + save 128μs  -- with HLT + standardise + full lookahead + save 128μs  -- with HLT + no standardise + partial lookahead + save 127μs  -- with HLT + standardise + partial lookahead + save 128μs  -- with Felsch + no standardisation 128μs  -- with Felsch + standardisation 127μs  -- with random strategy 139μs  -- with Rc style + full lookahead 128μs  -- with Rc style + partial lookahead 129μs  -- with R/C style 133μs  -- with CR style 132μs  -- with Cr style 129μs  -- with R/C + Felsch lookahead 140μs  -- with HLT + Felsch lookahead + save 125μs  -- with Cr + small number of f_defs 136μs  -- with Rc + small number of deductions 128μs  -- with Felsch + v2 + no preferred defs 127μs  -- with Felsch + v2 + immediate no stack 128μs  -- with Felsch + v1 + immediate no stack 128μs  -- with Felsch + v1 + immediate yes stack 128μs  -- with large collapse 133μs ToddCoxeter 064: (from kbmag/standalone/kb_data/s4) (KnuthB [...] . . .  -- with HLT + no standardise + full lookahead + no save 386μs ToddCoxeter 066: test validate . . . 66μs ToddCoxeter 067: add_rules after construct. from semigroup . . .  -- with HLT + no standardise + full lookahead + no save 427μs  -- with HLT + standardise + full lookahead + no save 407μs  -- with HLT + no standardise + partial lookahead + no save 397μs  -- with HLT + standardise + partial lookahead + no save 395μs  -- with HLT + save (throws) 417μs  -- with Felsch (throws) 415μs  -- with random strategy 442μs ToddCoxeter 068: Sym(5) from Chapter 3, Proposition 1.1 in NR . . .  -- with Deduction policy == purge_from_top 1167μs  -- with Deduction policy == purge_all 1149μs  -- with Deduction policy == discard_all_if_no_space 1172μs  -- with HLT + no standardise + full lookahead + no save 1114μs  -- with HLT + standardise + full lookahead + no save 1358μs  -- with HLT + no standardise + partial lookahead + no save 1098μs  -- with HLT + standardise + partial lookahead + no save 1358μs  -- with HLT + no standardise + full lookahead + save 1566μs  -- with HLT + standardise + full lookahead + save 1555μs  -- with HLT + no standardise + partial lookahead + save 1528μs  -- with HLT + standardise + partial lookahead + save 1552μs  -- with Felsch + no standardisation 1108μs  -- with Felsch + standardisation 1078μs  -- with random strategy 1676μs  -- with Rc style + full lookahead 2161μs  -- with Rc style + partial lookahead 2142μs  -- with R/C style 1282μs  -- with CR style 1140μs  -- with Cr style 1120μs ToddCoxeter 069: Chapter 7, Theorem 3.6 in NR (size 243) . . .  -- with HLT + no standardise + full lookahead + no save 1055μs  -- with HLT + standardise + full lookahead + no save 1123μs  -- with HLT + no standardise + partial lookahead + no save 1037μs  -- with HLT + standardise + partial lookahead + no save 1117μs  -- with HLT + no standardise + full lookahead + save 899μs  -- with HLT + standardise + full lookahead + save 913μs  -- with HLT + no standardise + partial lookahead + save 886μs  -- with HLT + standardise + partial lookahead + save 911μs  -- with Felsch + no standardisation 4972μs  -- with Felsch + standardisation 5011μs  -- with random strategy 6317μs  -- with Rc style + full lookahead 1153μs  -- with Rc style + partial lookahead 1148μs  -- with R/C style 1312μs  -- with CR style 4947μs  -- with Cr style 4976μs ToddCoxeter 070: finite semigroup (size 99) . . .  -- with HLT + no standardise + full lookahead + no save 456μs  -- with HLT + standardise + full lookahead + no save 466μs  -- with HLT + no standardise + partial lookahead + no save 444μs  -- with HLT + standardise + partial lookahead + no save 463μs  -- with HLT + no standardise + full lookahead + save 389μs  -- with HLT + standardise + full lookahead + save 397μs  -- with HLT + no standardise + partial lookahead + save 378μs  -- with HLT + standardise + partial lookahead + save 393μs  -- with Felsch + no standardisation 911μs  -- with Felsch + standardisation 916μs  -- with random strategy 495μs  -- with Rc style + full lookahead 495μs  -- with Rc style + partial lookahead 492μs  -- with R/C style 545μs  -- with CR style 942μs  -- with Cr style 948μs ToddCoxeter 080: KnuthBendix 098 . . .  -- with HLT + no standardise + full lookahead + no save 1383ms  -- with HLT + standardise + full lookahead + no save 1256ms  -- with HLT + no standardise + partial lookahead + no save 1386ms  -- with HLT + standardise + partial lookahead + no save 1255ms  -- with HLT + no standardise + full lookahead + save 603ms  -- with HLT + standardise + full lookahead + save 603ms  -- with HLT + no standardise + partial lookahead + save 601ms  -- with HLT + standardise + partial lookahead + save 604ms  -- with Felsch + no standardisation 580ms  -- with Felsch + standardisation 581ms  -- with random strategy 1357ms  -- with Rc style + full lookahead 577ms  -- with Rc style + partial lookahead 578ms  -- with R/C style 1370ms  -- with CR style 582ms  -- with Cr style 581ms ToddCoxeter 084: Campbell-Reza 1 . . .  -- with HLT + no standardise + full lookahead + no save 161μs  -- with HLT + standardise + full lookahead + no save 135μs  -- with HLT + no standardise + partial lookahead + no save 122μs  -- with HLT + standardise + partial lookahead + no save 132μs  -- with HLT + no standardise + full lookahead + save 143μs  -- with HLT + standardise + full lookahead + save 140μs  -- with HLT + no standardise + partial lookahead + save 138μs  -- with HLT + standardise + partial lookahead + save 142μs  -- with Felsch + no standardisation 152μs  -- with Felsch + standardisation 150μs  -- with random strategy 143μs  -- with Rc style + full lookahead 132μs  -- with Rc style + partial lookahead 129μs  -- with R/C style 139μs  -- with CR style 159μs  -- with Cr style 158μs ToddCoxeter 085: Renner monoid type D4 (Gay-Hivert), q = 1 . . .  -- with HLT + no standardise + full lookahead + no save 149ms  -- with HLT + standardise + full lookahead + no save 149ms  -- with HLT + no standardise + partial lookahead + no save 150ms  -- with HLT + standardise + partial lookahead + no save 148ms  -- with HLT + no standardise + full lookahead + save 149ms  -- with HLT + standardise + full lookahead + save 149ms  -- with HLT + no standardise + partial lookahead + save 149ms  -- with HLT + standardise + partial lookahead + save 149ms  -- with Felsch + no standardisation 149ms  -- with Felsch + standardisation 149ms  -- with random strategy 149ms  -- with Rc style + full lookahead 149ms  -- with Rc style + partial lookahead 149ms  -- with R/C style 149ms  -- with CR style 149ms  -- with Cr style 149ms ToddCoxeter 086: trivial semigroup . . . 243ms ToddCoxeter 092: ACE --- perf602p5 - HLT . . .  -- with HLT + no standardise + full lookahead + no save 29ms  -- with HLT + standardise + full lookahead + no save 28ms  -- with HLT + no standardise + partial lookahead + no save 29ms  -- with HLT + standardise + partial lookahead + no save 28ms  -- with HLT + no standardise + full lookahead + save 21ms  -- with HLT + standardise + full lookahead + save 21ms  -- with HLT + no standardise + partial lookahead + save 21ms  -- with HLT + standardise + partial lookahead + save 21ms  -- with random strategy 22ms  -- with Felsch + no standardisation 17ms  -- with Felsch + standardisation 17ms ToddCoxeter 094: ACE --- C5 - HLT . . .  -- with HLT + no standardise + full lookahead + no save 127μs  -- with HLT + standardise + full lookahead + no save 116μs  -- with HLT + no standardise + partial lookahead + no save 115μs  -- with HLT + standardise + partial lookahead + no save 113μs  -- with HLT + no standardise + full lookahead + save 136μs  -- with HLT + standardise + full lookahead + save 134μs  -- with HLT + no standardise + partial lookahead + save 135μs  -- with HLT + standardise + partial lookahead + save 132μs  -- with random strategy 133μs  -- with Felsch + no standardisation 123μs  -- with Felsch + standardisation 123μs ToddCoxeter 095: ACE --- A5-C5 . . .  -- with HLT + no standardise + full lookahead + no save 155μs  -- with HLT + standardise + full lookahead + no save 170μs  -- with HLT + no standardise + partial lookahead + no save 151μs  -- with HLT + standardise + partial lookahead + no save 168μs  -- with HLT + no standardise + full lookahead + save 196μs  -- with HLT + standardise + full lookahead + save 193μs  -- with HLT + no standardise + partial lookahead + save 192μs  -- with HLT + standardise + partial lookahead + save 191μs  -- with random strategy 215μs  -- with Felsch + no standardisation 166μs  -- with Felsch + standardisation 166μs ToddCoxeter 096: ACE --- A5 . . .  -- with HLT + no standardise + full lookahead + no save 349μs  -- with HLT + standardise + full lookahead + no save 391μs  -- with HLT + no standardise + partial lookahead + no save 328μs  -- with HLT + standardise + partial lookahead + no save 386μs  -- with HLT + no standardise + full lookahead + save 495μs  -- with HLT + standardise + full lookahead + save 497μs  -- with HLT + no standardise + partial lookahead + save 487μs  -- with HLT + standardise + partial lookahead + save 503μs  -- with random strategy 566μs  -- with Felsch + no standardisation 387μs  -- with Felsch + standardisation 378μs ToddCoxeter 098: relation ordering . . .  -- with Felsch + no standardisation 715μs  -- with Felsch + standardisation 689μs  -- with HLT + no standardise + full lookahead + no save 328μs  -- with HLT + standardise + full lookahead + no save 329μs  -- with HLT + no standardise + partial lookahead + no save 321μs  -- with HLT + standardise + partial lookahead + no save 324μs  -- with HLT + no standardise + full lookahead + save 751μs  -- with HLT + standardise + full lookahead + save 748μs  -- with HLT + no standardise + partial lookahead + save 746μs  -- with HLT + standardise + partial lookahead + save 750μs  -- with random strategy 375μs ToddCoxeter 099: short circuit size in obviously infinite . . . 20μs ToddCoxeter 101: http://brauer.maths.qmul.ac.uk/Atlas/spor/M [...] . . . 559ms ToddCoxeter 108: http://brauer.maths.qmul.ac.uk/Atlas/lin/L3 [...] . . . 489ms ToddCoxeter 110: to_gap_string . . . 110μs ToddCoxeter 111: partition_monoid(2) . . . 98μs ToddCoxeter 112: brauer_monoid(4) (Kudryavtseva + Mazorchuk) . . . 478μs ToddCoxeter 113: symmetric_inverse_monoid . . . 19ms ToddCoxeter 116: symmetric_group(7, Burnside + Miller) . . . 422ms UF 001: constructor by size . . . 15μs UF 002: copy constructor . . . 22μs UF 003: find . . . 20μs Ukkonen 000: basic tests . . . 106ms Ukkonen 001: maximal_piece_prefix 1 . . . 46μs Ukkonen 002: maximal_piece_prefix 2 . . . 54μs Ukkonen 003: maximal_piece_prefix 3 . . . 406μs Ukkonen 004: number_of_pieces . . . 101μs Ukkonen 005: traverse . . . 33μs Ukkonen 006: dot . . . 224μs Ukkonen 007: strings . . . 75μs Ukkonen 008: dfs #01 . . . 48μs Ukkonen 009: dfs #02 . . . 46μs Ukkonen 010: dfs #03 . . . 42μs Ukkonen 011: dfs #04 . . . 98μs Ukkonen 012: dfs #05 . . . 79μs Ukkonen 013: dfs #06 . . . 74μs Ukkonen 014: dfs #07 . . . 105μs Ukkonen 015: dfs #08 . . . 87μs Ukkonen 016: dfs #09 . . . 118μs Ukkonen 017: dfs #10 . . . 41μs Ukkonen 018: pieces . . . 53μs Ukkonen 019: code coverage . . . 64μs Ukkonen 020: code coverage . . . 11μs action_digraph_helper 015: detail::to_string . . . 24μs action_digraph_helper 016: make . . . 56μs action_digraph_helper 017: is_connected . . . 90μs action_digraph_helper 018: is_strictly_cyclic . . . 5959μs follow_path 012: 20 node path . . . 27μs fpsemi-examples 002: full_transformation_monoid author except . . . 43μs fpsemi-examples 003: full_transformation_monoid degree except . . . 37μs fpsemi-examples 005: partial_transformation_monoid author except . . . 46μs fpsemi-examples 006: partial_transformation_monoid degree except . . . 43μs fpsemi-examples 007: symmetric_inverse_monoid(5) . . . 19ms fpsemi-examples 008: symmetric_group auth except . . . 43μs fpsemi-examples 009: symmetric_group degree except . . . 38μs fpsemi-examples 010: symmetric_group(6) Burnside + Miller . . . 28ms fpsemi-examples 011: dual_symmetric_inverse_monoid(5) . . . 193ms fpsemi-examples 012: dual_symmetric_inverse_monoid auth except . . . 48μs fpsemi-examples 013: dual_symmetric_inverse_monoid degree except . . . 38μs fpsemi-examples 014: uniform_block_bijection_monoid(5) . . . 17ms fpsemi-examples 015: uniform_block_bijection_monoid auth except . . . 37μs fpsemi-examples 016: uniform_block_bijection_monoid degree except . . . 34μs fpsemi-examples 019: partition_monoid auth except . . . 167μs fpsemi-examples 020: partition_monoid degree except . . . 162μs fpsemi-examples 022: monogenic_semigroup(4, 9) . . . 44μs fpsemi-examples 023: fibonacci_semigroup(2, 5) . . . 109μs fpsemi-examples 024: temperley_lieb_monoid(10) . . . 39ms fpsemi-examples 025: singular_brauer_monoid(6) . . . 314ms fpsemi-examples 026: orientation_preserving_monoid(6) . . . 27ms fpsemi-examples 027: orientation_reversing_monoid(5) . . . 6804μs fpsemi-examples 028: chinese_monoid(3) . . . 195μs fpsemi-examples 029: plactic_monoid(3) . . . 172μs fpsemi-examples 030: stylic_monoid(3) . . . 1617μs fpsemi-examples 031: symmetric_group(6) Carmichael . . . 14ms fpsemi-examples 032: symmetric_group(6) Moore index 0 . . . 11ms fpsemi-examples 033: symmetric_group(6) Coxeter + Moser . . . 9216μs fpsemi-examples 034: test for the rook monoid . . . 381μs fpsemi-examples 035: alternating_group(7) Moore . . . 35ms fpsemi-examples 036: alternating_group auth except . . . 42μs fpsemi-examples 037: alternating_group degree except . . . 31μs fpsemi-examples 038: partial_transformation_monoid(3) Machine . . . 302μs fpsemi-examples 039: chinese_monoid degree except . . . 49μs fpsemi-examples 040: monogenic_semigroup degree except . . . 57μs fpsemi-examples 041: rectangular_band degree except . . . 92μs fpsemi-examples 042: stellar_monoid degree except . . . 51μs fpsemi-examples 043: plactic_monoid degree except . . . 48μs fpsemi-examples 044: stylic_monoid degree except . . . 46μs fpsemi-examples 045: temperley_lieb_monoid degree except . . . 69μs fpsemi-examples 046: singular_brauer_monoid degree except . . . 86μs fpsemi-examples 047: orientation_preserving_monoid degree except . . . 75μs fpsemi-examples 048: orientation_reversing_monoid degree except . . . 82μs fpsemi-examples 049: test default values . . . 4323μs fpsemi-examples 052: not_symmetric_group(5) Guralnick + Kant [...] . . . 3805μs fpsemi-examples 053: order_preserving_monoid(5) . . . 1050μs fpsemi-examples 055: order_preserving_monoid degree except . . . 73μs fpsemi-examples 056: cyclic_inverse_monoid(4) Fernandes 1 . . . 255μs fpsemi-examples 057: cyclic_inverse_monoid(8) Fernandes index 1 . . . 16ms fpsemi-examples 058: cyclic_inverse_monoid Fernandes index 0 . . . 31ms fpsemi-examples 059: order_preserving_cyclic_inverse_monoid(4) . . . 204μs fpsemi-examples 060: order_preserving_cyclic_inverse_monoid(10) . . . 33ms fpsemi-examples 061: cyclic_inverse_monoid degree except . . . 165μs fpsemi-examples 062: cyclic_inverse_monoid author except . . . 62μs fpsemi-examples 063: order_preserving_monoid degree except . . . 71μs fpsemi-examples 064: symmetric_group index except . . . 67μs fpsemi-examples 065: symmetric_group(7) Moore index 1 . . . 8748μs fpsemi-examples 066: order_preserving_cyclic_inverse_monoid(10) . . . 32ms fpsemi-examples 067: partial_isometries_cycle_graph_monoid(5) . . . 839μs fpsemi-examples 068: partial_isometries_cycle_graph_monoid(10) . . . 224ms fpsemi-examples 069: partial_isometries_cycle_graph_monoid d [...] . . . 97μs fpsemi-examples 070: partial_isometries_cycle_graph_monoid(4) . . . 325μs freeband_equal_to 001: . . . 680μs is_acyclic 000: 2-cycle . . . 13μs is_acyclic 001: 1-cycle . . . 11μs is_acyclic 002: multi-digraph . . . 14μs is_acyclic 003: complete digraph 100 . . . 51μs is_acyclic 004: acyclic digraph with 20000 nodes . . . 943μs is_acyclic 006: for a node . . . 938μs is_acyclic 007: for a node . . . 19μs is_reachable 008: acyclic 20 node digraph . . . 64μs is_reachable 009: 100 node path . . . 12ms is_reachable 010: 100 node cycle . . . 12ms is_reachable 011: 20 node clique . . . 458μs last_node_on_path_nc 014: 20 node path . . . 19μs make 000: from FroidurePin . . . 438μs make 001: from FroidurePin and alphabet . . . 576μs make 002: presentation from presentation . . . 339μs make 003: presentation from presentation and alphabet . . . 75μs make 004: argument checks issue . . . 233μs make 005: use human readable alphabet for make . . . 20μs make> 000: from ActionDigraph . . . 1111μs make> 001: from ActionDigraph (exceptions) . . . 72μs number_of_words 001: . . . 16μs operator"" _w 003: literal . . . 15μs silo 000: alphabet: a, min: 0, max: 10 . . . 41μs silo 001: corner cases . . . 31μs silo 002: alphabet: ab, min: 1, max: 4 . . . 56μs silo 003: alphabet: abc, min: 0, max: 13 . . . 97ms silo 004: code coverage . . . 26μs sislo 005: alphabet: a, min: 0, max: 10 . . . 39μs sislo 006: corner cases . . . 53μs sislo 007: alphabet: ab, min: 1, max: 4 . . . 86μs sislo 008: alphabet: abc, min: 0, max: 13 . . . 93ms sislo 009: code coverage . . . 26μs string 000: detail::is_suffix . . . 14μs string 001: detail::is_prefix . . . 14μs string 002: detail::maximum_common_suffix . . . 12μs string 003: detail::group_digits . . . 23μs string_to_word 002: . . . 14μs validate_label 013: 20 node path . . . 40μs wilo 001: corner cases . . . 39μs wilo 002: letters: 2, min: 1, max: 4 . . . 38μs wilo 003: letters: 2, min: 1, max: 4 . . . 63μs wilo 004: letters: 3, min: 0, max: 10 . . . 21ms wilo 005: letters: 3, min: 0, max: 13 . . . 134ms wilo 006: forward iterator requirements . . . 136ms wilo 007: more corner cases . . . 54μs wilo 008: starting at a given word 1 . . . 141μs wilo 009: starting at a given word 2 . . . 24μs wilo 010: code coverage . . . 21μs wislo 000: n: 2, min; 1, max: 4 . . . 28μs wislo 001: corner cases . . . 46μs wislo 002: n: 3, min; 0, max: 10 . . . 4559μs wislo 003: n: 3, min; 0, max: 13 . . . 129ms wislo 004: lex + sort . . . 375ms wislo 005: code coverage . . . 30μs =============================================================================== All tests passed (1290346 assertions in 1191 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/lib/pkgconfig' /usr/bin/install -c -m 644 libsemigroups.pc '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/pkgconfig' ./config/install-sh -c -d '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups' ./config/install-sh -c -d '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups/textflowcpp' libtool: install: /usr/bin/install -c .libs/libsemigroups.so.2.0.0 /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/libsemigroups.so.2.0.0 libtool: install: (cd /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib && { ln -s -f libsemigroups.so.2.0.0 libsemigroups.so.2 || { rm -f libsemigroups.so.2 && ln -s libsemigroups.so.2.0.0 libsemigroups.so.2; }; }) 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 extern/textflowcpp/TextFlow.hpp '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups/textflowcpp' /usr/bin/install -c -m 644 include/libsemigroups/action.hpp include/libsemigroups/adapters.hpp include/libsemigroups/bipart.hpp include/libsemigroups/bitset.hpp include/libsemigroups/bmat8.hpp include/libsemigroups/bmat.hpp include/libsemigroups/bruidhinn-traits.hpp include/libsemigroups/config.hpp include/libsemigroups/cong-intf.hpp include/libsemigroups/cong-pair-impl.hpp include/libsemigroups/cong-pair.hpp include/libsemigroups/cong-wrap.hpp include/libsemigroups/cong.hpp include/libsemigroups/constants.hpp include/libsemigroups/containers.hpp include/libsemigroups/coset.hpp include/libsemigroups/debug.hpp include/libsemigroups/deprecated.hpp include/libsemigroups/digraph-helper.hpp include/libsemigroups/digraph-with-sources.hpp include/libsemigroups/digraph-with-sources.tpp include/libsemigroups/digraph.hpp include/libsemigroups/exception.hpp include/libsemigroups/fastest-bmat.hpp include/libsemigroups/felsch-tree.hpp include/libsemigroups/felsch-digraph.hpp include/libsemigroups/felsch-digraph.tpp include/libsemigroups/forest.hpp include/libsemigroups/fpsemi-examples.hpp include/libsemigroups/fpsemi-intf.hpp include/libsemigroups/fpsemi.hpp include/libsemigroups/freeband.hpp include/libsemigroups/froidure-pin-base.hpp include/libsemigroups/froidure-pin-impl.hpp include/libsemigroups/froidure-pin.hpp include/libsemigroups/function-ref.hpp include/libsemigroups/hpcombi.hpp include/libsemigroups/int-range.hpp include/libsemigroups/iterator.hpp include/libsemigroups/kambites.hpp '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups' libtool: install: /usr/bin/install -c .libs/libsemigroups.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 /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: 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.1 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.9 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-ppc64le.so.1 so:libfmt.so.9 so:libgcc_s.so.1 so:libstdc++.so.6 >>> libsemigroups*: Package size: 2.0 MB >>> libsemigroups*: Compressing data... >>> libsemigroups*: Create checksum... >>> libsemigroups*: Create libsemigroups-2.7.1-r1.apk >>> libsemigroups: Build complete at Mon, 15 May 2023 20:51:14 +0000 elapsed time 0h 3m 25s >>> libsemigroups: Cleaning up srcdir >>> libsemigroups: Cleaning up pkgdir >>> libsemigroups: Uninstalling dependencies... (1/4) Purging .makedepends-libsemigroups (20230515.204750) (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: 257 MiB in 99 packages >>> libsemigroups: Updating the testing/ppc64le repository index... >>> libsemigroups: Signing the index...