>>> libsemigroups: Building testing/libsemigroups 2.7.1-r2 (using abuild 3.11.21-r0) started Tue, 01 Aug 2023 11:13:17 +0000 >>> libsemigroups: Checking sanity of /home/buildozer/aports/testing/libsemigroups/APKBUILD... >>> WARNING: libsemigroups: No maintainer >>> libsemigroups: Analyzing dependencies... >>> libsemigroups: Installing for build: build-base eigen-dev fmt-dev (1/4) Installing eigen-dev (3.4.0-r9) (2/4) Installing fmt (9.1.0-r1) (3/4) Installing fmt-dev (9.1.0-r1) (4/4) Installing .makedepends-libsemigroups (20230801.111318) OK: 275 MiB in 111 packages >>> libsemigroups: Cleaning up srcdir >>> libsemigroups: Cleaning up pkgdir >>> libsemigroups: Cleaning up tmpdir >>> libsemigroups: Fetching https://distfiles.alpinelinux.org/distfiles/edge/libsemigroups-2.7.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-siso.o CXX tests/test-sims1.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 /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 . . . 38μs Action 002: row and column basis orbits for BMat8 . . . 2129μs Action 003: add generators after enumeration . . . 2136μs Action 004: multipliers for BMat8 row and column orbits . . . 4503μs Action 005: orbits for regular boolean mat monoid 5 . . . 362ms Action 007: partial perm image orbit . . . 345μs Action 008: partial perm image orbit . . . 90ms Action 009: partial perm image orbit . . . 94ms Action 010: partial perm image orbit . . . 98ms Action 011: permutation on integers . . . 26μs Action 012: permutation on sets, arrays . . . 252μs Action 013: permutation on tuples, arrays . . . 27ms Action 014: permutation on sets, vectors . . . 315μs Action 015: permutation on tuples, vectors . . . 34ms Action 016: misc . . . 3126μs Action 017: partial perm image orbit . . . 64μs Action 018: permutation on tuples, arrays (360360) . . . 375ms Action 019: orbits for regular BMat8 monoid 5 with stop/start . . . 469ms Action 021: orbits for regular boolean mat monoid 5 (BMat<5> [...] . . . 643ms ActionDigraph 000: constructor with 1 default arg . . . 17μs ActionDigraph 001: constructor with 0 default args . . . 56μs ActionDigraph 002: add nodes . . . 33μs ActionDigraph 003: add edges . . . 266μs ActionDigraph 004: strongly connected components - cycles . . . 28μs ActionDigraph 005: strongly connected components - no edges . . . 53ms ActionDigraph 006: strongly connected components - disjoint cycles . . . 1518μs ActionDigraph 007: strongly connected components - complete graphs . . . 733μs ActionDigraph 008: exceptions . . . 100μs ActionDigraph 009: spanning forest - complete graphs . . . 3006μs ActionDigraph 010: spanning forest - disjoint cycles . . . 116μs ActionDigraph 011: restrict . . . 12μs ActionDigraph 012: remove_edge_nc . . . 11μs ActionDigraph 013: scc large cycle . . . 10ms ActionDigraph 014: random . . . 21μs ActionDigraph 015: reserve . . . 12μs ActionDigraph 016: default constructors . . . 19μs ActionDigraph 017: scc iterators . . . 997μs ActionDigraph 018: iterator to edges . . . 531μs ActionDigraph 019: root of scc . . . 267μs ActionDigraph 020: cbegin/end_panislo - 100 node path . . . 650μs ActionDigraph 021: cbegin/end_pislo . . . 57μs ActionDigraph 022: cbegin/end_pani(s)lo - 100 node cycle . . . 706μs ActionDigraph 023: cbegin/cend_pilo - tree 14 nodes . . . 102μs ActionDigraph 024: cbegin/end_pstilo - Cayley digraph . . . 196ms ActionDigraph 025: cbegin_pstilo - Tsalakou . . . 383μs ActionDigraph 026: cbegin/end_pstislo - Cayley digraph . . . 200ms ActionDigraph 027: cbegin/end_pstislo - Cayley digraph . . . 247μs ActionDigraph 028: path iterators corner cases . . . 259μs ActionDigraph 029: reverse node iterator . . . 13μs ActionDigraph 030: pstilo corner case . . . 38μs ActionDigraph 031: number_of_paths corner cases . . . 84μs ActionDigraph 032: number_of_paths acyclic digraph . . . 13ms ActionDigraph 033: number_of_paths binary tree . . . 461ms ActionDigraph 034: number_of_paths large binary tree . . . 91ms ActionDigraph 035: number_of_paths 400 node random digraph . . . 1227μs ActionDigraph 036: number_of_paths 10 node acyclic digraph . . . 37μs ActionDigraph 037: number_of_paths node digraph . . . 2551μs ActionDigraph 038: random/random_acyclic exceptions . . . 169μs ActionDigraph 039: unsafe (next) neighbour . . . 43μs ActionDigraph 040: number_of_egdes incident to a node . . . 50μs ActionDigraph 041: number_of_paths (matrix) . . . 23ms ActionDigraph 042: number_of_paths (matrix) . . . 15μs ActionDigraph 043: swap_edge_nc . . . 12μs ActionDigraph 044: detail::pow for non-square Eigen matrix . . . 29μs ActionDigraph 045: operator<< . . . 16μs Array2 044: all . . . 58μs BMat8 001: transpose . . . 22μs BMat8 002: multiplication . . . 23μs BMat8 003: identity matrix . . . 17μs BMat8 004: random . . . 438μs BMat8 005: call operator . . . 24μs BMat8 006: operator<< . . . 22μs BMat8 007: set . . . 92μs BMat8 008: row space basis . . . 792μs BMat8 009: col space basis . . . 790μs BMat8 010: row space basis . . . 1263μs BMat8 011: number_of_rows, number_of_cols . . . 45μs BMat8 012: row_space, col_space . . . 262μs BMat8 013: rows . . . 54μs BMat8 014: one . . . 14μs BMat8 015: vector constructor . . . 152μs BMat8 016: operator< . . . 17μs BMat8 017: adapters . . . 24μs BMat8 018: one . . . 14μs Bipartition 009: mem fns 1 . . . 34μs Bipartition 010: hash . . . 10μs Bipartition 011: mem fns 2 . . . 26μs Bipartition 012: delete/copy . . . 11μs Bipartition 013: degree 0 . . . 13μs Bipartition 014: exceptions . . . 50μs Bipartition 015: convenience constructor . . . 380μs Bipartition 016: force copy constructor over move constructor . . . 20μs Bipartition 017: adapters . . . 10μs BitSet 000: size . . . 14μs BitSet 001: operator< . . . 13μs BitSet 002: operator== . . . 15μs BitSet 003: operator!= . . . 15μs BitSet 004: operator&= . . . 18μs BitSet 005: & . . . 24μs BitSet 006: operator|= . . . 26μs BitSet 007: operator[] . . . 24μs BitSet 008: set(none) . . . 25μs BitSet 009: set(pos, value) . . . 27μs BitSet 010: set(first, last, value) . . . 29μs BitSet 011: reset(first, last) . . . 29μs BitSet 012: reset(pos) . . . 28μs BitSet 013: apply (iterate through set bits) . . . 32μs BitSet 014: std::hash . . . 10μs BitSet 015: constructors . . . 25μ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 . . . 16μ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 . . . 881μs Congruence 002: left congruence on fp semigroup . . . 709μs Congruence 003: word_to_class_index for cong. on fp semigroup . . . 265μs Congruence 004: word_to_class_index for cong. on fp semigroup . . . 890μs Congruence 005: trivial congruence on non-fp semigroup . . . 373μs Congruence 006: 2-sided congruence on non-fp semigroup . . . 354μs Congruence 007: 2-sided congruence on fp semigroup . . . 587μs Congruence 008: 2-sided congruence on infinite fp semigroup . . . 237μs Congruence 009: 2-sided congruence on infinite fp semigroup . . . 430μs Congruence 010: 2-sided congruence on finite semigroup . . . 47ms Congruence 012: 2-sided congruence on finite semigroup . . . 2699μs Congruence 013: trivial 2-sided congruence on bicyclic monoid . . . 28ms Congruence 014: non-trivial 2-sided congruence on bicyclic monoid . . . 364μs Congruence 015: 2-sided congruence on free abelian monoid . . . 395μs Congruence 016: example where TC works but KB doesn't . . . 607μs Congruence 017: 2-sided congruence on finite semigroup . . . 408μs Congruence 018: infinite fp semigroup from GAP library . . . 631μs Congruence 019: 2-sided cong. on fp semigroup with infinite [...] . . . 333μs Congruence 020: trivial cong. on an fp semigroup . . .  -- with compute size 333μs  -- with don't compute size 331μs Congruence 021: duplicate generators . . . 528μs Congruence 022: non-trivial classes . . . 1619μs Congruence 023: right congruence on finite semigroup . . . 260ms Congruence 024: redundant generating pairs . . . 81μs Congruence 025: 2-sided cong. on free semigroup . . . 61μs Congruence 026: is_quotient_obviously_(in)finite . . . 1325μs Congruence 027: less . . . 755μs Congruence 028: 2-sided congruences of BMat8 semigroup . . . 150ms Congruence 029: left congruence on finite semigroup . . . 1115μs Congruence 030: right congruence on finite semigroup . . . 906μs Congruence 031: right congruence on finite semigroup . . . 734μs Congruence 032: contains . . . 124μs Congruence 033: stellar_monoid S2 . . . 432μs Congruence 034: stellar_monoid S3 . . . 720μs Congruence 035: stellar_monoid S4 . . . 1468μs Congruence 036: stellar_monoid S5 . . . 9418μs Congruence 037: stellar_monoid S6 . . . 94ms Congruence 038: stellar_monoid S7 . . . 826ms Congruence 039: left cong. on an f.p. semigroup . . . 1954μs Congruence 040: 2-sided cong. on infinite f.p. semigroup . . . 137μs Congruence 041: 2-sided congruence constructed from type only . . . 1058μs Congruence 042: const_contains . . . 1000μs Congruence 043: no winner . . . 4620μs Congruence 044: congruence over smalloverlap . . . 6593μs CongruenceByPairs 001: (cong) 2-sided cong. on finite semigroup . . . 418μs CongruenceByPairs 002: (cong) left congruence on finite semigroup . . . 134μs CongruenceByPairs 003: (cong) right congruence on finite semigroup . . . 131μs CongruenceByPairs 004: (cong) trivial congruence on finite s [...] . . . 102μs CongruenceByPairs 005: (cong) trivial left congruence on fin [...] . . . 88μs CongruenceByPairs 006: (cong) trivial right congruence on fi [...] . . . 87μs CongruenceByPairs 007: (cong) universal congruence on finite [...] . . . 460μs CongruenceByPairs 009: (cong) 2-sided congruence on finite s [...] . . . 580ms CongruenceByPairs 010: (cong) left congruence on big finite [...] . . . 32ms CongruenceByPairs 011: (cong) left congruence on TCE . . . 272μs CongruenceByPairs 012: (cong) is_quotient_obviously_finite . . . 146μs CongruenceByPairs 013: (cong) class_index_to_word/quotient . . .  -- with right congruence 11ms  -- with left congruence 1325μs  -- with 2-sided congruence 7615μs CongruenceByPairs 014: (cong) const_word_to_class_index . . .  -- with right congruence 41μs  -- with left congruence 38μs  -- with 2-sided congruence 37μs CongruenceByPairs 015: (cong) size non-Element* . . . 23ms CongruenceInterface 000: add_pair . . .  -- with ToddCoxeter 165μs  -- with KnuthBendix 232μs  -- with CongruenceByPairs 182μs  -- with Congruence 1082μs CongruenceInterface 001: contains/const_contains . . .  -- with ToddCoxeter and no parent 182μs  -- with KnuthBendix and no parent 194μs  -- with Congruence and parent 1074μs  -- with CongruenceByPairs and parent 152μs CongruenceInterface 002: less . . .  -- with ToddCoxeter 147μs  -- with KnuthBendix 217μs  -- with CongruenceByPairs 157μs  -- with Congruence 458μs CongruenceInterface 003: is_quotient_obviously_(in)finite . . .  -- with ToddCoxeter 124μs  -- with KnuthBendix 203μs CongruenceInterface 004: is_quotient_obviously_(in)finite . . .  -- with CongruenceByPairs 163μs  -- with Congruence 469μs CongruenceInterface 005: parent_froidure_pin . . .  -- with ToddCoxeter 38μs  -- with KnuthBendix 34μs CongruenceInterface 006: parent_froidure_pin . . .  -- with CongruenceByPairs 156μs  -- with Congruence 455μs CongruenceInterface 007: cbegin/cend_ntc . . .  -- with ToddCoxeter 266μs  -- with KnuthBendix 1851μs CongruenceInterface 008: cbegin/cend_ntc . . .  -- with CongruenceByPairs 188μs  -- with Congruence 518μs CongruenceInterface 009: quotient is immutable . . .  -- with ToddCoxeter 135μs  -- with KnuthBendix 173μs  -- with Congruence 739μs CongruenceInterface 010: no generating pairs added . . .  -- with KnuthBendix and common behaviour 4434μs  -- with Congruence and common behaviour 4570μs  -- with ToddCoxeter 129μs CongruenceInterface 011: nr generators not set . . .  -- with ToddCoxeter 204μs  -- with KnuthBendix 197μs  -- with Congruence 203μs CongruenceInterface 012: no generating pairs . . . 166μs ConstIteratorStateless 001: ? . . . 12μs ConstIteratorStateless 002: ? . . . 11μs Constants 001: Undefined . . . 20μs Constants 002: PositiveInfinity . . . 20μs Constants 003: NegativeInfinity . . . 19μs Constants 004: LimitMax . . . 18μs Duf 004: unite . . . 27μs Duf 006: compress . . . 18μs Duf 008: resize . . . 22μs Duf 009: resize . . . 14μs Duf 010: big chain . . . 24ms Duf 012: empty table . . . 11μs Duf 014: join . . . 14μs Duf 016: contains . . . 29μs Duf 018: swap . . . 34μs DynamicArray2 001: default constructor with 3 default args . . . 11μs DynamicArray2 002: default constructor with 2 default args . . . 11μs DynamicArray2 003: default constructor with 1 default args . . . 13μs DynamicArray2 004: default constructor with 0 default args . . . 12μs DynamicArray2 005: copy constructor with 1 default args . . . 13μs DynamicArray2 006: copy constructor with 0 default args . . . 15μs DynamicArray2 007: add_rows . . . 15μs DynamicArray2 008: add_rows . . . 13μs DynamicArray2 009: add_cols . . . 15μs DynamicArray2 010: set/get . . . 27μs DynamicArray2 011: append 1/2 . . . 47μs DynamicArray2 012: append 2/2 . . . 66μs DynamicArray2 013: count . . . 21μs DynamicArray2 014: clear . . . 12μs DynamicArray2 015: begin_row and end_row . . . 74μs DynamicArray2 016: cbegin_row and cend_row . . . 31μs DynamicArray2 017: iterator operator++ (postfix) . . . 304μs DynamicArray2 018: iterator operator++ (prefix) . . . 2040μs DynamicArray2 019: iterator operator-- (postfix) . . . 397μs DynamicArray2 020: iterator operator-- (prefix) . . . 397μs DynamicArray2 021: operator= . . . 16μs DynamicArray2 022: operator== and operator!= . . . 267μs DynamicArray2 023: empty and clear . . . 15μs DynamicArray2 024: max_size . . . 11μs DynamicArray2 025: swap . . . 35μs DynamicArray2 026: iterator arithmetic . . . 1819μs DynamicArray2 027: iterator comparison . . . 15μs DynamicArray2 028: iterator operator= . . . 12μs DynamicArray2 029: iterator operator[] . . . 98μs DynamicArray2 030: iterator operator-> . . . 12μs DynamicArray2 031: const_iterator operator++/-- . . . 257μs DynamicArray2 032: const_iterator operator++/-- . . . 11μs DynamicArray2 033: column iterators . . . 29μs DynamicArray2 034: column iterator arithmetic . . . 7458μs DynamicArray2 035: iterator assignment constructor . . . 2111μs DynamicArray2 036: reserve method . . . 33μs DynamicArray2 037: erase column . . . 18μs DynamicArray2 038: swap_rows . . . 13μs DynamicArray2 039: apply_row_permutation . . . 13μs DynamicArray2 040: swap . . . 13μs DynamicArray2 041: shrink_rows_to . . . 17μs DynamicArray2 042: shrink_rows_to - for range . . . 18μs FastestBMat 046: check no throw . . . 13μs FelschTree 000: previously failing example . . . 29μs Forest 001: test forest . . . 77μs FpSemigroup 001: Renner monoid type B2 (E. G. presentation), q = 1 . . . 1217μs FpSemigroup 002: Renner monoid type B2 (E. G. presentation), q = 0 . . . 1383μs FpSemigroup 003: Renner monoid type B3 (E. G. presentation), q = 1 . . . 170ms FpSemigroup 004: Renner monoid type B3 (E. G. presentation), q = 0 . . . 163ms FpSemigroup 005: Renner monoid type B2 (Gay-Hivert presentat [...] . . . 1714μs FpSemigroup 006: Renner monoid type B2 (Gay-Hivert presentat [...] . . . 1185μs FpSemigroup 007: Renner monoid type B3 (Gay-Hivert presentat [...] . . . 8016μs FpSemigroup 008: Renner monoid type B3 (Gay-Hivert presentat [...] . . . 6838μs FpSemigroup 009: Renner monoid type B4 (Gay-Hivert presentat [...] . . . 259ms FpSemigroup 010: Renner monoid type B4 (Gay-Hivert presentat [...] . . . 388ms FpSemigroup 013: Renner monoid type D2 (E. G. presentation), q = 1 . . . 1762μs FpSemigroup 014: Renner monoid type D2 (E. G. presentation), q = 0 . . . 1576μs FpSemigroup 015: Renner monoid type D3 (E. G. presentation), q = 1 . . . 7155μs FpSemigroup 016: Renner monoid type D3 (E. G. presentation), q = 0 . . . 5906μs FpSemigroup 017: Renner monoid type D4 (E. G. presentation), q = 1 . . . 3539ms FpSemigroup 018: Renner monoid type D4 (E. G. presentation), q = 0 . . . 3554ms FpSemigroup 019: Renner monoid type D2 (Gay-Hivert presentat [...] . . . 1623μs FpSemigroup 020: Renner monoid type D2 (Gay-Hivert presentat [...] . . . 1520μs FpSemigroup 021: Renner monoid type D3 (Gay-Hivert presentat [...] . . . 5589μs FpSemigroup 022: Renner monoid type D3 (Gay-Hivert presentat [...] . . . 6912μs FpSemigroup 023: Renner monoid type D4 (Gay-Hivert presentat [...] . . . 118ms FpSemigroup 024: Renner monoid type D4 (Gay-Hivert presentat [...] . . . 131ms FpSemigroup 029: Rook monoid R5, q = 0 . . . 8459μs FpSemigroup 030: Rook monoid R5, q = 1 . . . 8126μs FpSemigroup 031: Rook monoid R6, q = 0 . . . 62ms FpSemigroup 032: Rook monoid R6, q = 1 . . . 64ms FpSemigroup 033: normal_form . . . 269μs FpSemigroup 034: for a finite semigroup . . . 580μs FpSemigroup 035: finite fp semigroup, dihedral group of order 6 . . . 510μs FpSemigroup 036: finite fp semigroup, size 16 . . . 1254μs FpSemigroup 037: finite fp semigroup, size 16 . . . 1287μs FpSemigroup 038: fp semigroup, size 240 . . . 1291μs FpSemigroup 039: add_rule . . . 280μs FpSemigroup 040: add_rule . . . 151μs FpSemigroup 041: equal_to . . . 261μs FpSemigroup 042: cbegin/cend_rules . . . 68μs FpSemigroup 043: semigroup of size 3 . . . 423μs FpSemigroup 044: run_for/until . . . 2416μs FpSemigroup 045: constructors . . . 255μs FpSemigroup 046: set_inverses . . . 173μs FpSemigroup 047: smalloverlap . . . 8248μs FpSemigroup 048: quaternion group Q8 . . . 541μs FpSemigroup 049: symmetric group Coxeter presentation . . . 113ms FpSemigroupByPairs 029: (fpsemi) 2-sided congruence on finit [...] . . . 787μs FpSemigroupByPairs 030: (fpsemi) 2-sided congruence on finit [...] . . . 754μs FpSemigroupInterface 000: run with no alphabet . . .  -- with ToddCoxeter 104μs  -- with KnuthBendix 70μs  -- with FpSemigroup 86μs FpSemigroupInterface 001: equal_to . . .  -- with ToddCoxeter and human readable alphabet 3872μs  -- with KnuthBendix and human readable alphabet 9859μs  -- with FpSemigroup and human readable alphabet 7502μs  -- with FpSemigroupByPairs 3372μs FpSemigroupInterface 002: normal_form . . .  -- with ToddCoxeter 204μs  -- with KnuthBendix 228μs  -- with FpSemigroup 837μs FpSemigroupInterface 003: set_alphabet (1/2) . . .  -- with ToddCoxeter 132μs  -- with KnuthBendix 119μs  -- with FpSemigroup 131μs FpSemigroupInterface 004: set_alphabet (2/2) . . . 1206μs FpSemigroupInterface 005: add_rule after finished . . .  -- with ToddCoxeter and human readable alphabet 193μs  -- with KnuthBendix and human readable alphabet 216μs  -- with FpSemigroup and human readable alphabet 723μs  -- with FpSemigroupByPairs 1168μs FpSemigroupInterface 006: add_rule with equal words (1/2) . . .  -- with ToddCoxeter and human readable alphabet 132μs  -- with KnuthBendix and human readable alphabet 225μs  -- with FpSemigroup and human readable alphabet 268μs  -- with FpSemigroupByPairs 122μs FpSemigroupInterface 007: add_rule with equal words (2/2) . . .  -- with ToddCoxeter 26μs  -- with KnuthBendix 21μs  -- with FpSemigroup 32μs FpSemigroupInterface 008: add_rule with word_type . . .  -- with ToddCoxeter 60μs  -- with KnuthBendix 55μs  -- with FpSemigroup 93μs FpSemigroupInterface 009: add_rule with empty word (1/2) . . .  -- with ToddCoxeter 49μs  -- with FpSemigroup 57μs FpSemigroupInterface 010: add_rule with empty word (1/2) . . . 16μs FpSemigroupInterface 011: add_rules (1/3) . . .  -- with ToddCoxeter 50μs  -- with KnuthBendix 47μs  -- with FpSemigroup 54μs FpSemigroupInterface 012: add_rules (2/3) . . . 255μs FpSemigroupInterface 013: add_rules (3/3) . . .  -- with ToddCoxeter 28μs  -- with KnuthBendix 27μs  -- with FpSemigroup 70μs FpSemigroupInterface 014: set_identity (1/3) . . .  -- with ToddCoxeter 139μs  -- with KnuthBendix 138μs  -- with FpSemigroup 181μs FpSemigroupInterface 015: set_identity (2/3) . . . 174μs FpSemigroupInterface 016: set_identity (3/3) . . .  -- with ToddCoxeter 80μs  -- with KnuthBendix 83μs  -- with FpSemigroup 131μs FpSemigroupInterface 017: identity . . .  -- with ToddCoxeter 38μs  -- with KnuthBendix 33μs  -- with FpSemigroup 42μs FpSemigroupInterface 018: set_inverses + inverses (1/2) . . .  -- with ToddCoxeter 210μs  -- with KnuthBendix 211μs  -- with FpSemigroup 270μs FpSemigroupInterface 019: set_inverses + inverses (2/2) . . . 305μs FpSemigroupInterface 020: is_obviously_infinite (1/2) . . .  -- with ToddCoxeter 166μs  -- with KnuthBendix 216μs  -- with FpSemigroup 491μs FpSemigroupInterface 021: is_obviously_infinite (2/2) . . . 35μs FpSemigroupInterface 022: is_obviously_finite (1/2) . . .  -- with ToddCoxeter 156μs  -- with KnuthBendix 203μs  -- with FpSemigroup 464μs FpSemigroupInterface 023: is_obviously_finite (2/2) . . . 32μs FpSemigroupInterface 024: to_gap_string (1/3) . . .  -- with ToddCoxeter 31μs  -- with KnuthBendix 28μs  -- with FpSemigroup 71μs FpSemigroupInterface 025: to_gap_string (2/3) . . . 18μs FpSemigroupInterface 026: to_gap_string (3/3) . . . 29μs FroidurePin 015: (BMat8) regular boolean mat monoid 4 . . . 67ms FroidurePin 016: (BMat8) exception zero generators given . . . 16μs FroidurePin 017: (BMat8) exception word_to_element . . . 84μs FroidurePin 018: (BMat8) exception prefix . . . 2930μs FroidurePin 019: (BMat8) exception suffix . . . 22μs FroidurePin 020: (BMat8) exception first_letter . . . 2866μs FroidurePin 021: (BMat8) exception final_letter . . . 21μs FroidurePin 022: (BMat8) exception current_length . . . 2865μs FroidurePin 023: (BMat8) exception product_by_reduction . . . 3396μs FroidurePin 024: (BMat8) exception fast_product . . . 3350μs FroidurePin 025: (BMat8) exception is_idempotent . . . 38ms FroidurePin 026: (BMat8) copy constructor . . .  -- with fully enumerated 35ms  -- with partially enumerated 27ms  -- with not enumerated 25ms FroidurePin 027: (BMat8) cbegin/end_rules . . . 56μs FroidurePin 031: (integers) . . . 124μs FroidurePin 039: (pairs of integers) non-trivial user type . . . 24μs FroidurePin 055: (tropical max-plus semiring matrices) . . . 234μs FroidurePin 061: projective max plus matrix . . . 977μs FroidurePin 062: projective max plus matrix . . . 38μs FroidurePin> 009: small example 2 . . . 39μs FroidurePin> 005: small example 1 . . . 120μs FroidurePin> 007: regular bmat monoid 4 . . . 57ms FroidurePin> 011: small example 3 . . . 433μs FroidurePin> 006: small example 1 . . . 142μs FroidurePin> 008: regular bmat monoid 4 . . . 70ms FroidurePin> 010: small example 2 . . . 43μs FroidurePin> 012: small example 3 . . . 530μs FroidurePin 000: small example 1 . . . 158μs FroidurePin 001: default constructed . . . 128μs FroidurePin 002: small example 2 . . . 55μs FroidurePin 004: exception: is_idempotent . . . 299μs FroidurePin> 033: Example 000 . . . 709μs FroidurePin> 035: Example 001 . . . 45μs FroidurePin> 032: Example 000 . . . 538μs FroidurePin> 034: Example 001 . . . 40μs FroidurePin 036: exception: current_position . . . 176μs FroidurePin 037: exception: word_to_element . . . 113μs FroidurePin 038: exception: prefix, suffix, first_letter . . . 44ms FroidurePin> 040: Example 000 . . . 63μs FroidurePin> 041: Example 000 . . . 62μs FroidurePin> 046: Example 005 . . . 152μs FroidurePin> 047: Example 005 . . . 173μs FroidurePin> 048: Example 005 . . . 169μs FroidurePin> 044: Example 004 . . . 31μs FroidurePin> 045: Example 004 . . . 32μs FroidurePin> 049: Example 006 . . . 871μs FroidurePin> 050: Example 006 . . . 1057μs FroidurePin> 051: Example 006 . . . 1076μs FroidurePin> 052: Example 007 . . . 112μs FroidurePin> 053: Example 007 . . . 127μs FroidurePin> 054: Example 007 . . . 127μs FroidurePin 056: example 1 . . . 188μs FroidurePin 057: example 2 . . . 149μs FroidurePin> 058: . . . 575μs FroidurePin> 059: . . . 55μs FroidurePin> 060: exceptions: add_generator(s) . . . 74μs FroidurePin> 065: no exception zero generators given . . . 18μs FroidurePin> 066: exception generators of different [...] . . . 60μs FroidurePin> 067: exception current_position . . . 61μs FroidurePin> 068: exception word_to_element . . . 67μs FroidurePin> 069: exception gens . . . 727μs FroidurePin> 070: exception prefix . . . 53ms FroidurePin> 071: exception suffix . . . 133ms FroidurePin> 072: exception first_letter . . . 75μs FroidurePin> 073: exception final_letter . . . 73μs FroidurePin> 074: exception current_length . . . 74μs FroidurePin> 075: exception product_by_reduction . . . 859μs FroidurePin> 076: exception fast_product . . . 982μs FroidurePin> 077: exception current_position . . . 702μs FroidurePin> 078: exception is_idempotent . . . 643μs FroidurePin> 079: exception add_generators . . . 47μs FroidurePin> 080: multithread number_of_idempotents . . . 1016μs FroidurePin> 081: small semigroup . . . 29μs FroidurePin> 082: large semigroup . . . 5144μs FroidurePin> 083: at, position, current_* . . . 5183μs FroidurePin> 084: run . . . 5154μs FroidurePin> 085: run [many stops and starts] . . . 5357μs FroidurePin> 086: factorisation, length [1 element] . . . 4946μs FroidurePin> 087: factorisation, products [all elements] . . . 8264μs FroidurePin> 088: first/final letter, prefix, suffi [...] . . . 5022μs FroidurePin> 089: current_position [standard] . . . 27μs FroidurePin> 090: current_position [duplicate gens] . . . 8271μs FroidurePin> 091: current_position [after add_generators] . . . 5281μs FroidurePin> 092: cbegin_idempotents/cend [1 thread] . . . 5716μs FroidurePin> 093: idempotent_cend/cbegin [1 thread] . . . 5699μs FroidurePin> 094: is_idempotent [1 thread] . . . 5912μs FroidurePin> 096: finished, started . . . 5025μs FroidurePin> 097: current_position . . . 1117μs FroidurePin> 098: sorted_position, sorted_at . . . 6305μs FroidurePin> 099: right/left Cayley graph . . . 35ms FroidurePin> 100: iterator . . . 9471μs FroidurePin> 101: reverse iterator . . . 9484μs FroidurePin> 102: iterator arithmetic . . . 43ms FroidurePin> 103: iterator sorted . . . 36ms FroidurePin> 104: iterator sorted arithmetic . . . 48ms FroidurePin> 105: copy [not enumerated] . . . 5152μs FroidurePin> 106: copy_closure [not enumerated] . . . 32ms FroidurePin> 107: copy_add_generators [not enumerated] . . . 29ms FroidurePin> 108: copy [partly enumerated] . . . 5623μs FroidurePin> 109: copy_closure [partly enumerated] . . . 8227μs FroidurePin> 110: copy_add_generators [partly enumerated] . . . 5514μs FroidurePin> 111: copy [fully enumerated] . . . 8040μs FroidurePin> 112: copy_closure [fully enumerated] . . . 8162μs FroidurePin> 113: copy_add_generators [fully enumerated] . . . 7562μs FroidurePin> 114: relations [duplicate gens] . . . 166μs FroidurePin> 115: relations . . . 8825μs FroidurePin> 116: relations [copy_closure, duplicat [...] . . . 8436μs FroidurePin> 117: relations [copy_add_generators, d [...] . . . 8466μs FroidurePin> 118: relations [from copy, not enumerated] . . . 6918μs FroidurePin> 119: relations [from copy, partly enum [...] . . . 11ms FroidurePin> 120: relations [from copy, fully enumerated] . . . 13ms FroidurePin> 121: relations [from copy_closure, not [...] . . . 11ms FroidurePin> 122: relations [from copy_add_generato [...] . . . 6873μs FroidurePin> 123: relations [from copy_closure, par [...] . . . 9586μs FroidurePin> 124: relations [from copy_add_generato [...] . . . 8358μs FroidurePin> 125: relations [from copy_closure, ful [...] . . . 11ms FroidurePin> 126: relations [from copy_add_generato [...] . . . 10ms FroidurePin> 127: add_generators [duplicate generators] . . . 250μs FroidurePin> 128: add_generators [incremental 1] . . . 268μs FroidurePin> 129: add_generators [incremental 2] . . . 324μs FroidurePin> 130: closure [duplicate generators] . . . 187μs FroidurePin> 131: closure . . . 100μs FroidurePin> 132: factorisation . . . 26μs FroidurePin> 134: minimal_factorisation . . . 67μs FroidurePin> 135: batch_size (for an extremely larg [...] . . . 25μs FroidurePin> 137: exception: generators of differen [...] . . . 41μs FroidurePin> 138: exception: current_position . . . 61μs FroidurePin> 139: exception: word_to_element . . . 68μs FroidurePin> 140: exception: gens, current_position . . . 1000μs FroidurePin> 141: exception: add_generators . . . 40μs KBE 000: constructors . . . 47μs KBE 001: test . . . 81μs KBE 002: factorisation . . . 64μs KBE 003: swap . . . 45μs KBE 004: adapters . . . 43μs KBE 005: conversions . . . 42μs Kambites 000: (fpsemi) MT test 4 (std::string) . . . 6094μs Kambites 001: (fpsemi) MT test 4 (MultiStringView) . . . 6133μs Kambites 002: (fpsemi) number_of_pieces (std::string) . . . 117μs Kambites 003: (fpsemi) number_of_pieces (MultiStringView) . . . 106μs Kambites 004: (fpsemi) small_overlap_class (std::string) . . . 3647μs Kambites 005: (fpsemi) small_overlap_class (MultiStringView) . . . 3615μs Kambites 006: (fpsemi) random (std::string) . . . 10ms 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) . . . 87μs Kambites 011: (fpsemi) smalloverlap/gap/test.gi:85 (MultiStr [...] . . . 77μs Kambites 012: (fpsemi) free semigroup . . . 16μs Kambites 013: (fpsemi) smalloverlap/gap/test.gi:49 (std::string) . . . 35ms Kambites 014: (fpsemi) smalloverlap/gap/test.gi:49 (MultiStr [...] . . . 44ms Kambites 015: (fpsemi) smalloverlap/gap/test.gi:63 (std::string) . . . 38ms Kambites 016: (fpsemi) smalloverlap/gap/test.gi:63 (MultiStr [...] . . . 50ms Kambites 017: (fpsemi) smalloverlap/gap/test.gi:70 (std::string) . . . 146ms Kambites 018: (fpsemi) smalloverlap/gap/test.gi:70 (MultiStr [...] . . . 184ms Kambites 021: (fpsemi) code coverage (std::string) . . . 62μs Kambites 022: (fpsemi) code coverage (MultiStringView) . . . 43μs Kambites 023: (fpsemi) prefix (std::string) . . . 74μs Kambites 024: (fpsemi) prefix (MultiStringView) . . . 101μs Kambites 025: (fpsemi) normal_form (Example 3.15) (std::string) . . . 77μs Kambites 026: (fpsemi) normal_form (Example 3.15) (MultiStri [...] . . . 103μs Kambites 027: (fpsemi) normal_form (Example 3.16) (std::string) . . . 56μs Kambites 028: (fpsemi) normal_form (Example 3.16) (MultiStri [...] . . . 78μs Kambites 029: (fpsemi) normal_form (Example 3.16) more exhau [...] . . . 96ms Kambites 030: (fpsemi) normal_form (Example 3.16) more exhau [...] . . . 94ms Kambites 031: (fpsemi) small presentation (std::string) . . . 88μs Kambites 032: (fpsemi) small presentation (MultiStringView) . . . 73μs Kambites 033: (fpsemi) non-smalloverlap (std::string) . . . 89μs Kambites 034: (fpsemi) non-smalloverlap (MultiStringView) . . . 90μs Kambites 035: (fpsemi) MT test 3 (std::string) . . . 54μs Kambites 036: (fpsemi) MT test 3 (MultiStringView) . . . 54μs Kambites 037: (fpsemi) MT test 5 (std::string) . . . 31μs Kambites 038: (fpsemi) MT test 5 (MultiStringView) . . . 31μs Kambites 039: (fpsemi) MT test 6 (std::string) . . . 44μs Kambites 040: (fpsemi) MT test 6 (MultiStringView) . . . 52μs Kambites 041: (fpsemi) MT test 10 (std::string) . . . 40μs Kambites 042: (fpsemi) MT test 10 (MultiStringView) . . . 48μs Kambites 043: (fpsemi) MT test 13 (std::string) . . . 31μs Kambites 044: (fpsemi) MT test 13 (MultiStringView) . . . 33μs Kambites 045: (fpsemi) MT test 14 (std::string) . . . 30μs Kambites 046: (fpsemi) MT test 14 (MultiStringView) . . . 32μs Kambites 047: (fpsemi) MT test 15 (std::string) . . . 50μs Kambites 048: (fpsemi) MT test 15 (MultiStringView) . . . 50μs Kambites 049: (fpsemi) MT test 16 (std::string) . . . 50μs Kambites 050: (fpsemi) MT test 16 (MultiStringView) . . . 52μs Kambites 051: (fpsemi) MT test 17 (std::string) . . . 112μs Kambites 052: (fpsemi) MT test 17 (MultiStringView) . . . 106μs Kambites 053: (fpsemi) weak C(4) not strong x 1 (std::string) . . . 642μs Kambites 054: (fpsemi) weak C(4) not strong x 1 (MultiStringView) . . . 771μs Kambites 055: (fpsemi) weak C(4) not strong x 2 (std::string) . . . 630μs Kambites 056: (fpsemi) weak C(4) not strong x 2 (MultiStringView) . . . 771μs Kambites 057: (fpsemi) weak C(4) not strong x 3 (std::string) . . . 604μs Kambites 058: (fpsemi) weak C(4) not strong x 3 (MultiStringView) . . . 569μs Kambites 059: (fpsemi) weak C(4) not strong x 4 (std::string) . . . 71μs Kambites 060: (fpsemi) weak C(4) not strong x 4 (MultiStringView) . . . 91μ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) . . . 48μs Kambites 064: (fpsemi) weak C(4) not strong x 6 (MultiStringView) . . . 50μs Kambites 065: (fpsemi) Konovalov example (std::string) . . . 35μs Kambites 066: (fpsemi) Konovalov example (MultiStringView) . . . 33μs Kambites 067: (fpsemi) long words (std::string) . . . 982ms Kambites 068: (fpsemi) long words (MultiStringView) . . . 43ms Kambites 075: (cong) example 1 . . . 35μs Kambites 076: (cong) example 2 . . . 116μs Kambites 077: (cong) code coverage . . . 5608μs Kambites 078: (cong) large number of rules . . . 237ms KnuthBendix 000: (fpsemi) confluent fp semigroup 1 (infinite) . . . 101μs KnuthBendix 001: (fpsemi) confluent fp semigroup 2 (infinite) . . . 120μs KnuthBendix 002: (fpsemi) confluent fp semigroup 3 (infinite) . . . 94μs KnuthBendix 003: (fpsemi) non-confluent fp semigroup from wi [...] . . . 175μs KnuthBendix 004: (fpsemi) Example 5.1 in Sims (infinite) . . . 159μs KnuthBendix 005: (fpsemi) Example 5.1 in Sims (infinite) . . . 165μs KnuthBendix 006: (fpsemi) Example 5.3 in Sims . . . 138μs KnuthBendix 007: (fpsemi) Example 5.4 in Sims . . . 172μs KnuthBendix 008: (fpsemi) Example 6.4 in Sims (size 168) . . . 11ms KnuthBendix 009: (fpsemi) . . . 49ms KnuthBendix 010: (fpsemi) SL(2, 7) from Chapter 3, Propositi [...] . . . 124ms KnuthBendix 011: (fpsemi) F(2, 5) - Chapter 9, Section 1 in [...] . . . 645μs KnuthBendix 012: (fpsemi) Reinis example 1 . . . 266μ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 . . . 192μs KnuthBendix 021: (from kbmag/standalone/kb_data/f25monoid) . . . 710μs KnuthBendix 022: (from kbmag/standalone/kb_data/degen4a) . . . 55ms KnuthBendix 023: (from kbmag/standalone/kb_data/torus) . . . 3268μs KnuthBendix 024: (from kbmag/standalone/kb_data/3a6) . . . 347ms KnuthBendix 025: (from kbmag/standalone/kb_data/f2) . . . 73μs KnuthBendix 026: (from kbmag/standalone/kb_data/s16) . . . 187ms KnuthBendix 027: (from kbmag/standalone/kb_data/a4monoid) . . . 72μs KnuthBendix 028: (from kbmag/standalone/kb_data/degen3) . . . 27μs KnuthBendix 029: (from kbmag/standalone/kb_data/ab1) . . . 34μs KnuthBendix 030: (from kbmag/standalone/kb_data/degen2) . . . 21μs KnuthBendix 031: (from kbmag/standalone/kb_data/f25) . . . 653μs KnuthBendix 032: (from kbmag/standalone/kb_data/237) . . . 812μs KnuthBendix 033: (from kbmag/standalone/kb_data/c2) . . . 19μs KnuthBendix 034: (from kbmag/standalone/kb_data/cosets) . . . 301μs KnuthBendix 035: Example 5.1 in Sims (KnuthBendix 09 again) . . . 85μs KnuthBendix 036: (from kbmag/standalone/kb_data/nilp2) . . . 47μs KnuthBendix 037: Example 6.4 in Sims . . . 20ms KnuthBendix 038: KnuthBendix 071 again . . . 923μs KnuthBendix 039: Example 5.4 in Sims (KnuthBendix 11 again) [...] . . . 323μs KnuthBendix 040: Example 5.4 in Sims (KnuthBendix 11 again) [...] . . . 237μs KnuthBendix 041: operator<< . . . 72μs KnuthBendix 042: confluence_interval . . . 22μs KnuthBendix 043: max_overlap . . . 21μs KnuthBendix 044: (fpsemi) (from kbmag/standalone/kb_data/d22 [...] . . . 2014μs KnuthBendix 045: (fpsemi) (from kbmag/standalone/kb_data/d22 [...] . . . 3458μs KnuthBendix 046: (fpsemi) small example . . . 1065μs KnuthBendix 047: code coverage . . . 75μs KnuthBendix 048: small overlap 1 . . . 60μs KnuthBendix 049: (from kbmag/standalone/kb_data/s9) . . . 2339μs KnuthBendix 050: (fpsemi) Chapter 11, Lemma 1.8 (q = 6, r = [...] . . . 714μs KnuthBendix 051: (fpsemi) Chapter 11, Section 2 (q = 6, r = [...] . . . 163μs KnuthBendix 052: (fpsemi) Chapter 8, Theorem 4.2 in NR (infinite) . . . 302μs KnuthBendix 053: (fpsemi) equal_to fp semigroup . . . 61μs KnuthBendix 054: (fpsemi) equal_to free semigroup . . . 50μs KnuthBendix 055: (fpsemi) from GAP smalloverlap gap/test.gi [...] . . . 419μs KnuthBendix 056: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 701μs KnuthBendix 057: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 698μs KnuthBendix 058: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 1847μs KnuthBendix 059: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 4436μs KnuthBendix 060: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 34μs KnuthBendix 061: (fpsemi) Von Dyck (2,3,7) group (infinite) . . . 754μs KnuthBendix 062: (fpsemi) Von Dyck (2,3,7) group - different [...] . . . 6607μs KnuthBendix 063: (fpsemi) rewriting system from KnuthBendixC [...] . . . 480μs KnuthBendix 064: (fpsemi) rewriting system from Congruence 20 . . . 34μs KnuthBendix 065: (fpsemi) (from kbmag/standalone/kb_data/ab2) . . . 120μs KnuthBendix 066: (fpsemi) (from kbmag/standalone/kb_data/d22 [...] . . . 2047μs KnuthBendix 067: (fpsemi) (from kbmag/standalone/kb_data/degen1) . . . 74μs KnuthBendix 068: (fpsemi) (from kbmag/standalone/kb_data/s4) . . . 469μs KnuthBendix 069: (fpsemi) fp semigroup (infinite) . . . 64μs KnuthBendix 070: (fpsemi) Chapter 11, Section 1 (q = 4, r = [...] . . . 2585μs KnuthBendix 071: (fpsemi) Chapter 11, Section 1 (q = 8, r = [...] . . . 146ms KnuthBendix 072: (fpsemi) Chapter 7, Theorem 3.9 in NR (size 240) . . . 5007μs KnuthBendix 073: (fpsemi) F(2, 5) - Chapter 9, Section 1 in [...] . . . 663μs KnuthBendix 074: (fpsemi) F(2, 6) - Chapter 9, Section 1 in NR . . . 725μs KnuthBendix 075: (fpsemi) Chapter 10, Section 4 in NR (infinite) . . . 1405μs KnuthBendix 076: (fpsemi) Sym(5) from Chapter 3, Proposition [...] . . . 4339μs KnuthBendix 077: (fpsemi) SL(2, 7) from Chapter 3, Propositi [...] . . . 122ms KnuthBendix 078: (fpsemi) bicyclic monoid (infinite) . . . 51μs KnuthBendix 079: (fpsemi) plactic monoid of degree 2 (infinite) . . . 84μs KnuthBendix 080: (fpsemi) example before Chapter 7, Proposit [...] . . . 64μs KnuthBendix 081: (fpsemi) Chapter 7, Theorem 3.6 in NR (size 243) . . . 1128μs KnuthBendix 082: (fpsemi) finite semigroup (size 99) . . . 349μs KnuthBendix 096: Sorouhesh . . . 476μs KnuthBendix 097: (fpsemi) transformation semigroup (size 4) . . . 64μs KnuthBendix 098: (fpsemi) transformation semigroup (size 9) . . . 64μs KnuthBendix 099: (fpsemi) transformation semigroup (size 88) . . . 901μs KnuthBendix 100: internal_string_to_word . . . 45μs KnuthBendix 101: (fpsemi) construct from shared_ptr . . . 985μs KnuthBendix 102: internal_string_to_word . . . 1330μs KnuthBendix 103: (cong) free semigroup congruence (5 classes) . . . 87μs KnuthBendix 104: free semigroup congruence (6 classes) . . . 479μs KnuthBendix 105: (cong) free semigroup congruence (16 classes) . . . 614μs KnuthBendix 106: (cong) free semigroup congruence (6 classes) . . . 980μs KnuthBendix 107: (cong) free semigroup congruence (240 classes) . . . 5465μs KnuthBendix 108: (cong) free semigroup congruence (240 classes) . . . 4884μs KnuthBendix 109: (cong) less . . . 6322μs KnuthBendix 110: (cong) less . . . 263ms KnuthBendix 111: (cong) constructors . . . 425ms KnuthBendix 112: (cong) const_contains/contains . . . 248μs KnuthBendix 113: (cong) is_quotient_obviously_finite . . . 28μs KnuthBendix 114: (cong) class_index_to_word . . . 285μs KnuthBendix 115: (cong) quotient_froidure_pin . . . 202μs KnuthBendix 116: (cong) set_number_of_generators . . . 34μs KnuthBendix 117: (cong) number of classes when obv-inf . . . 58μs KnuthBendixCongruenceByPairs 016: non-trivial congruence on [...] . . . 250μs KnuthBendixCongruenceByPairs 017: non-trivial congruence on [...] . . . 328μs KnuthBendixCongruenceByPairs 018: non-trivial congruence on [...] . . . 685μs KnuthBendixCongruenceByPairs 019: non-trivial congruence on [...] . . . 692μs KnuthBendixCongruenceByPairs 020: trivial congruence on a fi [...] . . . 292μs KnuthBendixCongruenceByPairs 021: universal congruence on a [...] . . . 784μs KnuthBendixCongruenceByPairs 022: left congruence on a finit [...] . . . 396μs KnuthBendixCongruenceByPairs 023: finite group, Chapter 11, [...] . . . 7142μs KnuthBendixCongruenceByPairs 024: right congruence on infini [...] . . . 527μs KnuthBendixCongruenceByPairs 025: finite fp semigroup, dihed [...] . . . 605μs KnuthBendixCongruenceByPairs 026: finite fp semigroup, size 16 . . . 635μs KnuthBendixCongruenceByPairs 027: finite fp semigroup, size 16 . . . 1608μs KnuthBendixCongruenceByPairs 028: infinite fp semigroup with [...] . . . 84μs Konieczny 000: test000> . . . 1034μs Konieczny 001: test000> . . . 817μs Konieczny 002: test001> . . . 11ms Konieczny 003: test001> . . . 9141μs Konieczny 006: exceptions . . . 44μs Konieczny 007: code coverage . . . 14ms Konieczny 008: code coverage . . . 10ms Konieczny 009: regular elements and idempotents . . . 191ms Konieczny 010: regular D-class 01 . . . 977μs Konieczny 011: regular D-class 02 . . . 9128μs Konieczny 012: regular D-class 04: contains . . . 27ms Konieczny 013: non-regular D-classes 01 . . . 1026μs Konieczny 014: RegularDClass . . . 632μs Konieczny 015: full bmat monoid 4 . . . 41ms Konieczny 017: regular generated bmat monoid 4 idempotents . . . 81ms Konieczny 019: my favourite example . . . 75ms Konieczny 020: another large example . . . 14ms Konieczny 021: my favourite example transposed . . . 62ms Konieczny 024: exceptions . . . 1139μs Konieczny 025: 0-parameter constructor . . . 16ms Konieczny 026: non-regular D-classes 02 . . . 10ms Konieczny 028: partial perm . . . 162ms Konieczny 029: symmetric inverse monoid n = 8 . . . 26ms Konieczny 030: exceptions . . . 206ms Konieczny 031: transformations . . . 1015μs Konieczny 032: transformations - JDM favourite example . . . 113ms Konieczny 033: transformations - large example . . . 265ms Konieczny 034: transformations - large example with stop . . . 266ms Konieczny 035: transformations - large example with run_until . . . 265ms Konieczny 036: transformations - large example with stop in Action . . . 266ms Konieczny 037: exceptions . . . 72μs Konieczny 038: transformations: contains . . . 759μs Konieczny 040: transformations - destructor coverage . . . 220ms Konieczny 041: current_number_D_classes . . . 222ms Konieczny 042: add_generator . . . 42μs Konieczny 043: add_generator . . . 30μs Matrix 000: BMat<2> . . . 82μs Matrix 001: BMat<> . . . 89μs Matrix 002: BMat<3> + BMat<> . . . 13μs Matrix 003: BMat<2> + BMat<> . . . 13μs Matrix 004: BMat<3> . . . 14μs Matrix 005: BMat<> . . . 15μs Matrix 006: BMat<3> row_basis . . . 45μs Matrix 007: BMat<> row_basis . . . 49μs Matrix 008: IntMat<3> . . . 17μs Matrix 009: IntMat<> . . . 19μs Matrix 010: IntMat code cov . . . 11μs Matrix 011: MaxPlusMat<3> . . . 15μs Matrix 012: MaxPlusMat<> . . . 17μs Matrix 013: MaxPlusMat code cov . . . 10μs Matrix 014: MinPlusMat<3> . . . 19μs Matrix 015: MinPlusMat<> . . . 21μs Matrix 016: MinPlusMat code cov . . . 10μs Matrix 017: MaxPlusTruncMat<5, 2> . . . 17μs Matrix 018: MaxPlusTruncMat<5> . . . 19μs Matrix 019: MaxPlusTruncMat<> . . . 34μs Matrix 020: MaxPlusTruncMat<5, 4> . . . 19μs Matrix 021: MaxPlusTruncMat<5> . . . 20μs Matrix 022: MaxPlusTruncMat<> . . . 21μs Matrix 023: MaxPlusTruncMat<33, 3> . . . 38μs Matrix 024: MaxPlusTruncMat<33> . . . 38μs Matrix 025: MaxPlusTruncMat<> . . . 37μs Matrix 026: MaxPlusMat code cov . . . 11μs Matrix 027: MinPlusTruncMat<33, 3> . . . 38μs Matrix 028: MinPlusTruncMat<33> . . . 40μs Matrix 029: MinPlusTruncMat<> . . . 53μs Matrix 030: NTPMat<0, 3, 3, 3> . . . 17μs Matrix 031: NTPMat<0, 3> . . . 17μs Matrix 032: NTPMat<> . . . 46μs Matrix 033: NTPMat<0, 10, 4, 4> . . . 28μs Matrix 034: NTPMat<0, 10> . . . 23μs Matrix 035: NTPMat<> . . . 23μs Matrix 036: NTPMat<0, 10, 4, 4> . . . 23μs Matrix 037: NTPMat<0, 10> . . . 22μs Matrix 038: NTPMat<> . . . 22μs Matrix 039: NTPMat<33, 2, 3, 3> . . . 17μs Matrix 040: NTPMat<33, 2> . . . 16μs Matrix 041: NTPMat<> . . . 15μs Matrix 042: ProjMaxPlusMat<3> . . . 107μs Matrix 043: ProjMaxPlusMat<> . . . 76μs Matrix 044: exceptions . . . 64μs Matrix 045: code coverage . . . 55μs MultiStringView 000: catch all . . . 39μs MultiStringView 001: is_prefix . . . 15μs MultiStringView 002: erase . . . 17μs MultiStringView 003: iterators . . . 13μs MultiStringView 004: constructors (long) . . . 20μs MultiStringView 005: constructors (short) . . . 16μ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) . . . 14μs MultiStringView 009: move assignment (short assigned to short) . . . 13μs MultiStringView 010: code coverage . . . 23μs MultiStringView 011: pop_front . . . 42μs MultiStringView 012: append . . . 15μs MultiStringView 013: operators . . . 17μs MultiStringView 014: maximum_common_suffix . . . 14μs MultiStringView 015: deep tests . . . 11μs ObviouslyInfinite 011: Multiple rule additions . . . 39μ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 . . . 12μs ObviouslyInfinite 018: Another free product . . . 15μs ObviouslyInfinite 019: Infinite but not obviously so . . . 14μs ObviouslyInfinite 020: Finite semigroup . . . 16μs PBR 001: universal product with convenience constructor . . . 49μs PBR 002: universal product . . . 31μs PBR 003: product [bigger than previous] . . . 27μs PBR 004: hash . . . 11μs PBR 005: delete/copy . . . 21μs PBR 006: exceptions . . . 243μs PBR 007: operators . . . 64μs PBR 008: to_string . . . 24μs PBR 009: identity . . . 43μs PBR 010: adapters . . . 10μs Pool 000: initial . . . 32μs Pool 001: bmat . . . 33μs Pool 002: PoolGuard . . . 30μs Pool 003: transformation products . . . 15μs Presentation 000: vectors of ints . . . 113μs Presentation 001: strings . . . 116μs Presentation 002: constructors (word_type) . . . 23μs Presentation 003: constructors (StaticVector1) . . . 27μs Presentation 004: constructors (std::string) . . . 24μs Presentation 005: alphabet + letters (word_type) . . . 199μs Presentation 006: alphabet + letters (std::string) . . . 68μs Presentation 007: contains_empty_word . . . 13μs Presentation 008: validate_rules throws . . . 72μs Presentation 009: helpers add_rule(s) . . . 135μs Presentation 010: helpers add_rule(s) (std::string) . . . 46μs Presentation 011: helpers add_identity_rules (std::vector/St [...] . . . 62μs Presentation 012: helpers add_identity_rules (std::string) . . . 35μs Presentation 013: helpers add_inverse_rules (all) . . . 295μs Presentation 014: helpers add_inverse_rules (std::string) . . . 19μs Presentation 015: helpers remove_duplicate_rules . . . 91μs Presentation 016: helpers reduce_complements . . . 157μs Presentation 017: helpers sort_each_rule . . . 94μs Presentation 018: helpers sort_rules . . . 95μs Presentation 019: helpers longest_common_subword/replace_subword . . . 192μs Presentation 020: helpers redundant_rule . . . 19ms Presentation 021: helpers shortlex_compare_concat . . . 12μs Presentation 022: helpers remove_trivial_rules . . . 95μs Presentation 023: helpers replace_subword (existing, replacement) . . . 50μs Presentation 024: helpers longest_rule . . . 190μs Presentation 025: helpers longest_rule_length . . . 172μs Presentation 026: helpers remove_redundant_generators . . . 142μs Presentation 027: helpers reverse . . . 23μs Presentation 028: in_alphabet . . . 28μs Presentation 029: replace_subword with empty word . . . 30μs Presentation 030: helpers replace_word . . . 41μs Presentation 031: clear . . . 12μs Presentation 032: letter . . . 48μs Presentation 033: normalize_alphabet . . . 16μs Presentation 034: longest_common_subword issue . . . 226μs Presentation 035: helpers add_zero_rules (std::vector/Static [...] . . . 63μs Presentation 036: helpers add_zero_rules (std::string) . . . 35μs Presentation 037: make_semigroup . . . 48μs Presentation 038: greedy_reduce_length . . . 155μs Presentation 039: aaaaaaaab = aaaaaaaaab strong compression . . . 48μs Presentation 040: change_alphabet . . . 105μs Presentation 041: sort_rules bug . . . 191μs Presentation 042: first_unused_letter/letter . . . 222μs Presentation 043: case where strong compression doesn't work . . . 30μs Presentation 044: proof that . . . 49μs Presentation 045: decompression . . . 19μ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 . . . 114ms 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) . . . 14μ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) . . . 23μs SchreierSims 005: symmetric perm. group (degree 8) . . . 36μs SchreierSims 006: symmetric perm. group (degree 9) . . . 50μs SchreierSims 007: alternating perm. group (degree 12) . . . 82μs SchreierSims 008: symmetric perm. group (degree 16) . . . 754μs SchreierSims 009: alternating perm. group (degree 15) . . . 383μs SchreierSims 010: alternating perm. group (degree 16) . . . 856μs SchreierSims 011: dihedral perm. group (order 10) . . . 14μs SchreierSims 012: dihedral perm. group (order 200) . . . 474μs SchreierSims 013: perm. group T (order 12) . . . 15μs SchreierSims 014: quaternion perm. group (order 8) . . . 18μs SchreierSims 015: perm. group (order 84129611558952960) . . . 212ms SchreierSims 016: perm. group SL(3, 5) (order 372000) . . . 708μs SchreierSims 017: perm. group PSL(4, 8) (order 34558531338240) . . . 88ms SchreierSims 018: perm. Mathieu group M11 (order 7920) . . . 73μs SchreierSims 019: perm. Mathieu group M24 (order 244823040) . . . 159μs SchreierSims 020: perm. Janko Group J1 (order 175560) . . . 1461μs SchreierSims 021: perm. Hall-Janko group (order 604800) . . . 237μs SchreierSims 022: perm. Hall-Janko group (alt.) (order 604800) . . . 15ms SchreierSims 023: perm. Conway group Co3 (order 495766656000) . . . 6151μs SchreierSims 024: perm. Conway group Co3 (alt.) (order 49576 [...] . . . 11ms SchreierSims 025: perm. Suzuki group (order 448345497600) . . . 53ms SchreierSims 027: perm. Held group (order 4030387200) . . . 105ms SchreierSims 028: perm. group C2 x C2 x C2 (order 8) . . . 25μs SchreierSims 029: perm. group C2 x C2 x C2 x C2 (order 16) . . . 37μs SchreierSims 030: perm. group (S5 x S5) : C2 (order 28800) . . . 71μs SchreierSims 031: perm. group C3 x D8 x A5 (order 1440) . . . 64μs SchreierSims 032: perm. group GL(4, 3) (order 24261120) . . . 470μs SchreierSims 033: perm. group PSL(3, 7) (order 1876896) . . . 560μs SchreierSims 037: symmetric perm. group (degree 5) . . . 28μs SchreierSims 038: alternating perm. group (degree 17) . . . 4482μs SchreierSims 039: exceptions . . . 147μs SchreierSims 040: exceptions . . . 73μs SchreierSims 041: trivial group . . . 52μs SchreierSims 042: A17 bug . . . 3722μs SchreierSims 043: orbits_lookup test . . . 488μs SchreierSims 044: transversal_element and inversal_element test . . . 2519μs SchreierSimsHelper 001: trivial perm. group intersection (de [...] . . . 15μs SchreierSimsHelper 002: trivial perm. group intersection (de [...] . . . 18μs SchreierSimsHelper 003: cyclic group intersection (degree 13) . . . 30μs SchreierSimsHelper 004: D10 and Z5 intersection . . . 29μs SchreierSimsHelper 005: D8 and Q8 intersection . . . 29μs SchreierSimsHelper 006: primitive on 8 points intersection . . . 79μs SchreierSimsHelper 007: primitive on 8 points intersection ( [...] . . . 77μs SchreierSimsHelper 008: A13 and PGL(2, 11) intersection . . . 784μs SchreierSimsHelper 009: A13 and PGL(2, 11) intersection (swa [...] . . . 767μs SchreierSimsHelper 012: 3^3:13 and 3^3.2.A(4) intersection . . . 126μs SchreierSimsHelper 015: 3^3(S(4) x 2) and ASL(3, 3) intersection . . . 240μs SchreierSimsHelper 016: 7^2:3 x Q(8) and 7^2:D(2*6) intersection . . . 281μs SchreierSimsHelper 018: D(2*53) and 53:13 intersection . . . 169μs SchreierSimsHelper 019: 2^6:(7 x D_14) and PSL(2, 6)^2.4 int [...] . . . 1345μs SchreierSimsHelper 020: 2^6:(S_3 x GL(3, 2)) and 2.6:Alt(7) [...] . . . 4379μs SchreierSimsHelper 022: PSL(2, 127) and AGL(1, 2^7) intersection . . . 8783μs SchreierSimsHelper 023: PSL(3, 4).2 and PSL(3, 4).2 (nontriv [...] . . . 1175μs SchreierSimsHelper 024: PSL(3, 4).Sym(3) and PSL(3, 4).2 int [...] . . . 1529μs SchreierSimsHelper 025: 3^4:5:4 and D_16:4 intersection . . . 793μs Sims1 000: fp example 1 . . . 2802μs Sims1 001: fp example 2 . . . 2404μs Sims1 002: ToddCoxeter failing example . . . 24ms Sims1 003: ToddCoxeter failing example . . . 955μs Sims1 004: partition_monoid(2) right . . . 7719μs Sims1 006: full_transformation_monoid(3) right . . . 8916μs Sims1 007: full_transformation_monoid(3) left . . . 5058μs Sims1 009: rook_monoid(2, 1) . . . 114μs Sims1 010: symmetric_inverse_monoid(2) from FroidurePin . . . 110μs Sims1 011: symmetric_inverse_monoid(3) . . . 9087μs Sims1 014: temperley_lieb_monoid(3) from presentation . . . 83μs Sims1 015: temperley_lieb_monoid(4) from presentation . . . 1054μs Sims1 016: fp semigroup containing given pairs #1 . . . 379μs Sims1 017: fp semigroup containing given pairs #2 . . . 387μs Sims1 018: fp semigroup containing given pairs #3 . . . 682μs Sims1 019: ToddCoxeter failing example . . . 1067μs Sims1 020: fp example 2 . . . 2557μs Sims1 021: exceptions . . . 353μs Sims1 027: from https://mathoverflow.net/questions/423541/ . . . 39ms Sims1 028: from https://mathoverflow.net/questions/423541/ . . . 30ms Sims1 030: presentation with one free generator . . . 306μs Sims1 031: presentation with non-zero index generators . . . 67μs Sims1 032: presentation with empty word . . . 13ms Sims1 033: constructors . . . 1781μs Sims1 034: split_at . . . 333μs Sims1 035: stats . . . 97μs Sims1 036: check iterator requirements . . . 160μs Sims1 040: TransitiveGroup(10, 32) - minimal rep . . . 3753μs Sims1 043: rectangular_band(2, 2) - with and without identity . . . 227μs Sims1 044: trivial group - minimal o.r.c. rep . . . 101μs Sims1 045: right zero semigroup - minimal o.r.c. rep . . . 2239μs Sims1 046: semigroup with faithful non-strictly cyclic actio [...] . . . 703μs Sims1 068: RepOrc . . . 20ms Sims1 069: fp example 1 . . . 758μ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 4806μs (877ns 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 . . . 4872μs Sims1 072: symmetric_group(n) for n = 4 . . . 2975μs Sims1 073: corner case no generators + no relations . . . 134μs Sims1 076: uninitialized RepOrc . . . 24μs SmallestInteger 001: . . . 12μs StaticTriVector2 045: all . . . 19μs StaticVector2 043: all . . . 19μs Stephen 000: basic test 1 . . . 240μs Stephen 001: basic test 2 . . . 163μs Stephen 002: full transf monoid . . . 15ms Stephen 003: from step_hen 002 . . . 89μs Stephen 004: from step_hen 003 . . . 235μs Stephen 005: from step_hen 004 . . . 47μs Stephen 006: from step_hen 005 . . . 149μs Stephen 008: C(4) monoid normal form (test_case_knuth_bendix_055) . . . 207μs Stephen 009: C(4) monoid normal form (test_case_gap_smallove [...] . . . 152μ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 . . . 250μs Stephen 011: C(4) monoid normal form (test_case_gap_smallove [...] . . . 499μs Stephen 012: C(4) monoid normal form (test_case_gap_smallove [...] . . . 339μ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) . . . 687μs Stephen 015: C(4) monoid normal form (test_case_ex_3_15) . . . 915μs Stephen 016: C(4) monoid normal form (test_case_ex_3_16) . . . 551μs Stephen 017: C(4) monoid normal form (test_case_mt_3) . . . 262μs Stephen 018: C(4) monoid normal form (test_case_mt_5) . . . 184μs Stephen 019: C(4) monoid normal form (test_case_mt_6) . . . 492μs Stephen 020: C(4) monoid normal form (test_case_mt_10) . . . 174μ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) . . . 164μs Stephen 024: C(4) monoid normal form (test_case_mt_16) . . . 171μs Stephen 025: C(4) monoid normal form (test_case_mt_17) . . . 463μs Stephen 026: C(4) monoid normal form (test_case_weak_1) . . . 665μs Stephen 027: C(4) monoid normal form (test_case_weak_2) . . . 315μs Stephen 028: C(4) monoid normal form (test_case_weak_3) . . . 324μs Stephen 029: C(4) monoid normal form (test_case_weak_4) . . . 319μs Stephen 030: C(4) monoid normal form (test_case_weak_5) . . . 170μs Stephen 031: Test behaviour when uninitialised . . . 466μs Suf 005: unite . . . 24μs Suf 007: compress . . . 15μs Suf 011: big chain . . . 23ms Suf 013: empty table . . . 10μs Suf 015: join . . . 14μs Suf 017: contains . . . 31μs Suf 019: swap . . . 35μs Timer 001: string method (1 argument) . . . 30μs Timer 002: string method (0 arguments) . . . 10ms Timer 003: reset/elapsed method . . . 20ms Timer 004: operator<< . . . 22μs ToddCoxeter 000: small 2-sided congruence . . .  -- with HLT + no standardise + full lookahead + no save 2362μs  -- with HLT + standardise + full lookahead + no save 2326μs  -- with HLT + no standardise + partial lookahead + no save 2293μs  -- with HLT + standardise + partial lookahead + no save 2305μs  -- with HLT + no standardise + full lookahead + save 2337μs  -- with HLT + standardise + full lookahead + save 2308μs  -- with HLT + no standardise + partial lookahead + save 2312μs  -- with HLT + standardise + partial lookahead + save 2311μs  -- with Felsch + no standardisation 1810μs  -- with Felsch + standardisation 1534μs  -- with random strategy 1584μs  -- with Rc style + full lookahead 1570μs  -- with Rc style + partial lookahead 1579μs  -- with R/C style 1585μs  -- with CR style 1553μs  -- with Cr style 1546μs ToddCoxeter 001: small 2-sided congruence . . .  -- with HLT + no standardise + full lookahead + no save 6119μs  -- with HLT + standardise + full lookahead + no save 5519μs  -- with HLT + no standardise + partial lookahead + no save 5171μs  -- with HLT + standardise + partial lookahead + no save 5173μs  -- with HLT + no standardise + full lookahead + save 5176μs  -- with HLT + standardise + full lookahead + save 5179μs  -- with HLT + no standardise + partial lookahead + save 5164μs  -- with HLT + standardise + partial lookahead + save 5160μs  -- with Felsch + no standardisation 5182μs  -- with Felsch + standardisation 5171μs  -- with random strategy 5180μs  -- with Rc style + full lookahead 5180μs  -- with Rc style + partial lookahead 5190μs  -- with R/C style 5183μs  -- with CR style 5188μs  -- with Cr style 5179μs ToddCoxeter 003: constructed from FroidurePin . . .  -- with Felsch + no standardisation 242ms  -- with Felsch + standardisation 242ms  -- with HLT + no standardise + full lookahead + no save 71ms  -- with HLT + standardise + full lookahead + no save 71ms  -- with HLT + no standardise + partial lookahead + no save 71ms  -- with HLT + standardise + partial lookahead + no save 71ms  -- with HLT + no standardise + full lookahead + save 254ms  -- with HLT + standardise + full lookahead + save 254ms  -- with HLT + no standardise + partial lookahead + save 255ms  -- with HLT + standardise + partial lookahead + save 255ms  -- with random strategy 248ms  -- with Rc style + full lookahead 245ms  -- with Rc style + partial lookahead 245ms  -- with R/C style 78ms  -- with CR style 244ms  -- with Cr style 244ms ToddCoxeter 004: 2-sided congruence from FroidurePin . . .  -- with HLT + no standardise + full lookahead + no save 276μs  -- with HLT + standardise + full lookahead + no save 248μs  -- with HLT + no standardise + partial lookahead + no save 241μs  -- with HLT + standardise + partial lookahead + no save 243μs  -- with HLT + save (throws) 271μs  -- with Felsch (throws) 256μs  -- with random strategy 271μs ToddCoxeter 005: non-trivial two-sided from relations . . .  -- with HLT + no standardise + full lookahead + no save 81μs  -- with HLT + standardise + full lookahead + no save 69μs  -- with HLT + no standardise + partial lookahead + no save 68μs  -- with HLT + standardise + partial lookahead + no save 69μs  -- with HLT + no standardise + full lookahead + save 83μs  -- with HLT + standardise + full lookahead + save 79μs  -- with HLT + no standardise + partial lookahead + save 78μs  -- with HLT + standardise + partial lookahead + save 77μs  -- with Felsch + no standardisation 69μs  -- with Felsch + standardisation 68μs  -- with random strategy 77μs  -- with Rc style + full lookahead 70μs  -- with Rc style + partial lookahead 70μs  -- with R/C style 72μs  -- with CR style 73μs  -- with Cr style 71μs ToddCoxeter 006: small right cong. on free semigroup . . .  -- with HLT + no standardise + full lookahead + no save 61μ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 61μs  -- with HLT + standardise + full lookahead + save 62μs  -- with HLT + no standardise + partial lookahead + save 60μs  -- with HLT + standardise + partial lookahead + save 59μs  -- with Felsch + no standardisation 58μs  -- with Felsch + standardisation 63μs  -- with random strategy 69μs  -- with Rc style + full lookahead 60μs  -- with Rc style + partial lookahead 59μs  -- with R/C style 63μs  -- with CR style 63μs  -- with Cr style 63μs ToddCoxeter 007: left cong. on free semigroup . . .  -- with HLT + no standardise + full lookahead + no save 69μs  -- with HLT + standardise + full lookahead + no save 63μs  -- with HLT + no standardise + partial lookahead + no save 62μs  -- with HLT + standardise + partial lookahead + no save 64μs  -- with HLT + no standardise + full lookahead + save 68μs  -- with HLT + standardise + full lookahead + save 68μs  -- with HLT + no standardise + partial lookahead + save 67μs  -- with HLT + standardise + partial lookahead + save 68μs  -- with Felsch + no standardisation 67μs  -- with Felsch + standardisation 70μs  -- with random strategy 80μs  -- with Rc style + full lookahead 70μs  -- with Rc style + partial lookahead 70μs  -- with R/C style 73μs  -- with CR style 75μs  -- with Cr style 76μs ToddCoxeter 008: for small fp semigroup . . .  -- with HLT + no standardise + full lookahead + no save 61μs  -- with HLT + standardise + full lookahead + no save 57μs  -- with HLT + no standardise + partial lookahead + no save 55μs  -- with HLT + standardise + partial lookahead + no save 56μ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 58μs  -- with Felsch + standardisation 61μs  -- with random strategy 72μs  -- with Rc style + full lookahead 62μs  -- with Rc style + partial lookahead 61μs  -- with R/C style 66μs  -- with CR style 64μs  -- with Cr style 64μs ToddCoxeter 009: 2-sided cong. trans. semigroup . . .  -- with HLT + no standardise + full lookahead + no save 300μs  -- with HLT + standardise + full lookahead + no save 290μs  -- with HLT + no standardise + partial lookahead + no save 279μs  -- with HLT + standardise + partial lookahead + no save 285μs  -- with HLT + no standardise + full lookahead + save 751μs  -- with HLT + standardise + full lookahead + save 743μs  -- with HLT + no standardise + partial lookahead + save 733μs  -- with HLT + standardise + partial lookahead + save 736μs  -- with Felsch + no standardisation 692μs  -- with Felsch + standardisation 685μs  -- with random strategy 322μs  -- with Rc style + full lookahead 307μs  -- with Rc style + partial lookahead 305μs  -- with R/C style 332μs  -- with CR style 711μs  -- with Cr style 706μs ToddCoxeter 010: left congruence on transformation semigroup . . .  -- with HLT + no standardise + full lookahead + no save 344μs  -- with HLT + standardise + full lookahead + no save 361μs  -- with HLT + no standardise + partial lookahead + no save 339μs  -- with HLT + standardise + partial lookahead + no save 357μs  -- with HLT + no standardise + full lookahead + save 862μs  -- with HLT + standardise + full lookahead + save 872μs  -- with HLT + no standardise + partial lookahead + save 845μs  -- with HLT + standardise + partial lookahead + save 861μs  -- with Felsch + no standardisation 734μs  -- with Felsch + standardisation 713μs  -- with random strategy 985μs  -- with Rc style + full lookahead 412μs  -- with Rc style + partial lookahead 409μs  -- with R/C style 492μs  -- with CR style 799μs  -- with Cr style 790μs ToddCoxeter 011: right cong. trans. semigroup . . .  -- with HLT + no standardise + full lookahead + no save 356μs  -- with HLT + standardise + full lookahead + no save 368μs  -- with HLT + no standardise + partial lookahead + no save 347μs  -- with HLT + standardise + partial lookahead + no save 364μs  -- with HLT + no standardise + full lookahead + save 838μs  -- with HLT + standardise + full lookahead + save 844μs  -- with HLT + no standardise + partial lookahead + save 820μs  -- with HLT + standardise + partial lookahead + save 840μs  -- with Felsch + no standardisation 642μs  -- with Felsch + standardisation 675μs  -- with random strategy 485μs  -- with Rc style + full lookahead 423μs  -- with Rc style + partial lookahead 422μs  -- with R/C style 494μs  -- with CR style 718μs  -- with Cr style 708μs ToddCoxeter 012: trans. semigroup (size 88) . . .  -- with HLT + no standardise + full lookahead + no save 197μs  -- with HLT + standardise + full lookahead + no save 192μs  -- with HLT + no standardise + partial lookahead + no save 188μs  -- with HLT + standardise + partial lookahead + no save 190μs  -- with HLT + save (throws) 206μs  -- with Felsch (throws) 203μs  -- with random strategy 234μs ToddCoxeter 013: left cong. on trans. semigroup (size 88) . . .  -- with HLT + no standardise + full lookahead + no save 284μs  -- with HLT + standardise + full lookahead + no save 293μs  -- with HLT + no standardise + partial lookahead + no save 276μs  -- with HLT + standardise + partial lookahead + no save 292μs  -- with HLT + no standardise + full lookahead + save 800μs  -- with HLT + standardise + full lookahead + save 811μs  -- with HLT + no standardise + partial lookahead + save 783μs  -- with HLT + standardise + partial lookahead + save 800μs  -- with Felsch + no standardisation 670μs  -- with Felsch + standardisation 651μs  -- with random strategy 405μs  -- with Rc style + full lookahead 349μs  -- with Rc style + partial lookahead 346μs  -- with R/C style 422μs  -- with CR style 737μs  -- with Cr style 730μs ToddCoxeter 014: right cong. on trans. semigroup (size 88) . . .  -- with HLT + no standardise + full lookahead + no save 302μs  -- with HLT + standardise + full lookahead + no save 313μs  -- with HLT + no standardise + partial lookahead + no save 291μs  -- with HLT + standardise + partial lookahead + no save 310μs  -- with HLT + no standardise + full lookahead + save 779μs  -- with HLT + standardise + full lookahead + save 792μs  -- with HLT + no standardise + partial lookahead + save 771μs  -- with HLT + standardise + partial lookahead + save 786μs  -- with Felsch + no standardisation 592μs  -- with Felsch + standardisation 626μs  -- with random strategy 429μs  -- with Rc style + full lookahead 369μs  -- with Rc style + partial lookahead 367μs  -- with R/C style 438μs  -- with CR style 658μs  -- with Cr style 662μs ToddCoxeter 015: finite fp-semigroup, dihedral group of order 6 . . .  -- with HLT + no standardise + full lookahead + no save 119μs  -- with HLT + standardise + full lookahead + no save 117μs  -- with HLT + no standardise + partial lookahead + no save 107μs  -- with HLT + standardise + partial lookahead + no save 115μs  -- with HLT + no standardise + full lookahead + save 132μs  -- with HLT + standardise + full lookahead + save 131μs  -- with HLT + no standardise + partial lookahead + save 128μs  -- with HLT + standardise + partial lookahead + save 129μs  -- with Felsch + no standardisation 112μs  -- with Felsch + standardisation 111μs  -- with random strategy 126μs  -- with Rc style + full lookahead 113μs  -- with Rc style + partial lookahead 111μs  -- with R/C style 117μs  -- with CR style 118μs  -- with Cr style 116μs ToddCoxeter 016: finite fp-semigroup, size 16 . . .  -- with HLT + no standardise + full lookahead + no save 108μs  -- with HLT + standardise + full lookahead + no save 107μs  -- with HLT + no standardise + partial lookahead + no save 100μs  -- with HLT + standardise + partial lookahead + no save 105μs  -- with HLT + no standardise + full lookahead + save 211μs  -- with HLT + standardise + full lookahead + save 213μs  -- with HLT + no standardise + partial lookahead + save 205μs  -- with HLT + standardise + partial lookahead + save 209μs  -- with Felsch + no standardisation 179μs  -- with Felsch + standardisation 172μs  -- with random strategy 202μs  -- with Rc style + full lookahead 115μs  -- with Rc style + partial lookahead 114μs  -- with R/C style 127μs  -- with CR style 188μs  -- with Cr style 186μs ToddCoxeter 017: finite fp-semigroup, size 16 . . .  -- with HLT + no standardise + full lookahead + no save 180μs  -- with HLT + standardise + full lookahead + no save 175μs  -- with HLT + no standardise + partial lookahead + no save 162μs  -- with HLT + standardise + partial lookahead + no save 173μs  -- with HLT + no standardise + full lookahead + save 410μs  -- with HLT + standardise + full lookahead + save 416μs  -- with HLT + no standardise + partial lookahead + save 402μs  -- with HLT + standardise + partial lookahead + save 410μs  -- with Felsch + no standardisation 329μs  -- with Felsch + standardisation 322μs  -- with random strategy 367μs  -- with Rc style + full lookahead 181μs  -- with Rc style + partial lookahead 179μs  -- with R/C style 195μs  -- with CR style 342μs  -- with Cr style 339μs ToddCoxeter 018: test lookahead . . .  -- with HLT + no standardise + full lookahead + no save 667μs  -- with HLT + standardise + full lookahead + no save 676μs  -- with HLT + no standardise + partial lookahead + no save 601μs  -- with HLT + standardise + partial lookahead + no save 617μs  -- with HLT + no standardise + full lookahead + save 837μs  -- with HLT + standardise + full lookahead + save 842μs  -- with HLT + no standardise + partial lookahead + save 821μs  -- with HLT + standardise + partial lookahead + save 837μs ToddCoxeter 019: non-trivial left cong. from semigroup . . .  -- with HLT + no standardise + full lookahead + no save 201μs  -- with HLT + standardise + full lookahead + no save 207μs  -- with HLT + no standardise + partial lookahead + no save 194μs  -- with HLT + standardise + partial lookahead + no save 200μs  -- with HLT + save (throws) 212μs  -- with Felsch (throws) 209μs  -- with random strategy 286μs ToddCoxeter 020: 2-sided cong. on free semigroup . . .  -- with HLT + no standardise + full lookahead + no save 35μs  -- with HLT + standardise + full lookahead + no save 31μs  -- with HLT + no standardise + partial lookahead + no save 30μs  -- with HLT + standardise + partial lookahead + no save 30μs  -- with HLT + no standardise + full lookahead + save 30μs  -- with HLT + standardise + full lookahead + save 30μs  -- with HLT + no standardise + partial lookahead + save 30μs  -- with HLT + standardise + partial lookahead + save 30μs  -- with Felsch + no standardisation 30μs  -- with Felsch + standardisation 30μs  -- with random strategy 30μs ToddCoxeter 021: calling run when obviously infinite . . .  -- with HLT + no standardise + full lookahead + no save 74μs  -- with HLT + standardise + full lookahead + no save 68μs  -- with HLT + no standardise + partial lookahead + no save 67μs  -- with HLT + standardise + partial lookahead + no save 67μs  -- with HLT + no standardise + full lookahead + save 66μs  -- with HLT + standardise + full lookahead + save 67μs  -- with HLT + no standardise + partial lookahead + save 66μs  -- with HLT + standardise + partial lookahead + save 66μs  -- with Felsch + no standardisation 66μs  -- with Felsch + standardisation 66μs  -- with random strategy 68μs ToddCoxeter 022: stellar_monoid S3 . . .  -- with HLT + no standardise + full lookahead + no save 170μs  -- with HLT + standardise + full lookahead + no save 170μs  -- with HLT + no standardise + partial lookahead + no save 156μs  -- with HLT + standardise + partial lookahead + no save 168μs  -- with HLT + no standardise + full lookahead + save 321μs  -- with HLT + standardise + full lookahead + save 325μs  -- with HLT + no standardise + partial lookahead + save 320μs  -- with HLT + standardise + partial lookahead + save 322μs  -- with Felsch + no standardisation 264μs  -- with Felsch + standardisation 257μs  -- with random strategy 305μs  -- with Rc style + full lookahead 181μs  -- with Rc style + partial lookahead 179μs  -- with R/C style 204μs  -- with CR style 282μs  -- with Cr style 281μs ToddCoxeter 023: finite semigroup (size 5) . . .  -- with HLT + no standardise + full lookahead + no save 59μs  -- with HLT + standardise + full lookahead + no save 54μs  -- with HLT + no standardise + partial lookahead + no save 52μs  -- with HLT + standardise + partial lookahead + no save 53μs  -- with HLT + no standardise + full lookahead + save 59μs  -- with HLT + standardise + full lookahead + save 58μs  -- with HLT + no standardise + partial lookahead + save 57μs  -- with HLT + standardise + partial lookahead + save 58μs  -- with Felsch + no standardisation 56μs  -- with Felsch + standardisation 60μs  -- with random strategy 64μs  -- with Rc style + full lookahead 59μs  -- with Rc style + partial lookahead 57μs  -- with R/C style 62μs  -- with CR style 61μs  -- with Cr style 60μs ToddCoxeter 024: exceptions . . .  -- with HLT + no standardise + full lookahead + no save 282μs  -- with HLT + standardise + full lookahead + no save 267μs  -- with HLT + no standardise + partial lookahead + no save 263μs  -- with HLT + standardise + partial lookahead + no save 263μs  -- with HLT + no standardise + full lookahead + save 270μs  -- with HLT + standardise + full lookahead + save 267μs  -- with HLT + no standardise + partial lookahead + save 267μs  -- with HLT + standardise + partial lookahead + save 266μs  -- with Felsch + no standardisation 265μs  -- with Felsch + standardisation 264μs  -- with random strategy 270μs  -- with Rc style + full lookahead 266μs  -- with Rc style + partial lookahead 265μs  -- with R/C style 266μs  -- with CR style 268μs  -- with Cr style 271μs ToddCoxeter 025: obviously infinite . . .  -- with HLT + no standardise + full lookahead + no save 73μs  -- with HLT + standardise + full lookahead + no save 69μs  -- with HLT + no standardise + partial lookahead + no save 70μs  -- with HLT + standardise + partial lookahead + no save 69μs  -- with HLT + no standardise + full lookahead + save 69μs  -- with HLT + standardise + full lookahead + save 69μs  -- with HLT + no standardise + partial lookahead + save 70μs  -- with HLT + standardise + partial lookahead + save 69μs  -- with Felsch + no standardisation 69μs  -- with Felsch + standardisation 69μs  -- with random strategy 69μs ToddCoxeter 026: exceptions . . .  -- with HLT + no standardise + full lookahead + no save 161μs  -- with HLT + standardise + full lookahead + no save 153μs  -- with HLT + no standardise + partial lookahead + no save 151μs  -- with HLT + standardise + partial lookahead + no save 151μs  -- with HLT + no standardise + full lookahead + save 158μs  -- with HLT + standardise + full lookahead + save 157μs  -- with HLT + no standardise + partial lookahead + save 156μs  -- with HLT + standardise + partial lookahead + save 159μs  -- with Felsch + no standardisation 155μs  -- with Felsch + standardisation 158μs  -- with random strategy 169μs  -- with Rc style + full lookahead 158μs  -- with Rc style + partial lookahead 157μs  -- with R/C style 160μs  -- with CR style 160μs  -- with Cr style 161μs ToddCoxeter 027: empty . . . 39μs ToddCoxeter 028: congruence of fpsemigroup::ToddCoxeter . . .  -- with HLT + no standardise + full lookahead + no save 210μs  -- with HLT + standardise + full lookahead + no save 193μs  -- with HLT + no standardise + partial lookahead + no save 191μs  -- with HLT + standardise + partial lookahead + no save 193μs  -- with HLT + save (throws) 207μs  -- with Felsch (throws) 204μs  -- with random strategy 209μs  -- with HLT + no standardise + full lookahead + save 193μs  -- with HLT + standardise + full lookahead + save 193μs  -- with HLT + no standardise + partial lookahead + save 194μs  -- with HLT + standardise + partial lookahead + save 193μs  -- with Felsch + no standardisation 193μs  -- with Felsch + standardisation 190μs  -- with Rc style + full lookahead 189μs  -- with Rc style + partial lookahead 190μs  -- with R/C style 191μs  -- with CR style 190μs  -- with Cr style 192μs ToddCoxeter 029: !KnuthBendix.started() . . .  -- with HLT + no standardise + full lookahead + no save and 2-sided 99μs  -- with HLT + standardise + full lookahead + no save and 2-sided 84μs  -- with HLT + no standardise + partial lookahead + no save and 2-sided 84μs  -- with HLT + standardise + partial lookahead + no save and 2-sided 83μs  -- with HLT + no standardise + full lookahead + save and 2-sided 87μs  -- with HLT + standardise + full lookahead + save and 2-sided 87μs  -- with HLT + no standardise + partial lookahead + save and 2-sided 85μs  -- with HLT + standardise + partial lookahead + save and 2-sided 87μs  -- with Felsch + no standardisation and 2-sided 82μs  -- with Felsch + standardisation and 2-sided 82μs  -- with random strategy and 2-sided 90μs  -- with HLT + no standardise + full lookahead + no save and left 84μs  -- with HLT + standardise + full lookahead + no save and left 80μs  -- with HLT + no standardise + partial lookahead + no save and left 80μs  -- with HLT + standardise + partial lookahead + no save and left 80μs  -- with HLT + no standardise + full lookahead + save and left 91μs  -- with HLT + standardise + full lookahead + save and left 92μs  -- with HLT + no standardise + partial lookahead + save and left 91μs  -- with HLT + standardise + partial lookahead + save and left 93μs  -- with Felsch + no standardisation and left 90μs  -- with Felsch + standardisation and left 89μs  -- with random strategy and left 89μs  -- with HLT + no standardise + full lookahead + no save and right 83μs  -- with HLT + standardise + full lookahead + no save and right 80μs  -- with HLT + no standardise + partial lookahead + no save and right 80μs  -- with HLT + standardise + partial lookahead + no save and right 79μs  -- with HLT + no standardise + full lookahead + save and right 90μs  -- with HLT + standardise + full lookahead + save and right 91μs  -- with HLT + no standardise + partial lookahead + save and right 90μs  -- with HLT + standardise + partial lookahead + save and right 90μs  -- with Felsch + no standardisation and right 91μs  -- with Felsch + standardisation and right 89μs  -- with random strategy and right 99μs ToddCoxeter 030: KnuthBendix.finished() . . .  -- with HLT + no standardise + full lookahead + no save and 2-sided 198μs  -- with HLT + standardise + full lookahead + no save and 2-sided 179μs  -- with HLT + no standardise + partial lookahead + no save and 2-sided 176μs  -- with HLT + standardise + partial lookahead + no save and 2-sided 174μs  -- with HLT + no standardise + full lookahead + save and 2-sided 180μs  -- with HLT + standardise + full lookahead + save and 2-sided 179μs  -- with HLT + no standardise + partial lookahead + save and 2-sided 179μs  -- with HLT + standardise + partial lookahead + save and 2-sided 178μs  -- with Felsch + no standardisation and 2-sided 182μs  -- with Felsch + standardisation and 2-sided 236μs  -- with random strategy and 2-sided 186μs  -- with HLT + no standardise + full lookahead + no save and left 189μs  -- with HLT + standardise + full lookahead + no save and left 186μs  -- with HLT + no standardise + partial lookahead + no save and left 184μs  -- with HLT + standardise + partial lookahead + no save and left 183μs  -- with HLT + no standardise + full lookahead + save and left 196μs  -- with HLT + standardise + full lookahead + save and left 196μs  -- with HLT + no standardise + partial lookahead + save and left 195μs  -- with HLT + standardise + partial lookahead + save and left 195μs  -- with Felsch + no standardisation and left 194μs  -- with Felsch + standardisation and left 191μs  -- with random strategy and left 203μs  -- with HLT + no standardise + full lookahead + no save and right 187μs  -- with HLT + standardise + full lookahead + no save and right 184μs  -- with HLT + no standardise + partial lookahead + no save and right 183μs  -- with HLT + standardise + partial lookahead + no save and right 182μs  -- with HLT + no standardise + full lookahead + save and right 195μs  -- with HLT + standardise + full lookahead + save and right 194μs  -- with HLT + no standardise + partial lookahead + save and right 194μs  -- with HLT + standardise + partial lookahead + save and right 194μs  -- with Felsch + no standardisation and right 190μs  -- with Felsch + standardisation and right 193μs  -- with random strategy and right 207μs ToddCoxeter 031: KnuthBendix.finished() . . .  -- with HLT + no standardise + full lookahead + no save and 2-sided 142μs  -- with HLT + standardise + full lookahead + no save and 2-sided 131μs  -- with HLT + no standardise + partial lookahead + no save and 2-sided 128μs  -- with HLT + standardise + partial lookahead + no save and 2-sided 128μs  -- with HLT + no standardise + full lookahead + save and 2-sided 134μs  -- with HLT + standardise + full lookahead + save and 2-sided 133μs  -- with HLT + no standardise + partial lookahead + save and 2-sided 131μs  -- with HLT + standardise + partial lookahead + save and 2-sided 132μs  -- with Felsch + no standardisation and 2-sided 124μs  -- with Felsch + standardisation and 2-sided 125μs  -- with random strategy and 2-sided 139μs  -- with Rc style + full lookahead and 2-sided 137μs  -- with Rc style + partial lookahead and 2-sided 135μs  -- with R/C style and 2-sided 132μs  -- with CR style and 2-sided 128μs  -- with Cr style and 2-sided 135μs  -- with HLT + no standardise + full lookahead + no save and left 142μs  -- with HLT + standardise + full lookahead + no save and left 137μs  -- with HLT + no standardise + partial lookahead + no save and left 136μs  -- with HLT + standardise + partial lookahead + no save and left 136μs  -- with HLT + no standardise + full lookahead + save and left 147μs  -- with HLT + standardise + full lookahead + save and left 148μs  -- with HLT + no standardise + partial lookahead + save and left 146μs  -- with HLT + standardise + partial lookahead + save and left 146μs  -- with Felsch + no standardisation and left 142μs  -- with Felsch + standardisation and left 141μs  -- with random strategy and left 158μs  -- with Rc style + full lookahead and left 146μs  -- with Rc style + partial lookahead and left 146μs  -- with R/C style and left 141μs  -- with CR style and left 147μs  -- with Cr style and left 155μs  -- with HLT + no standardise + full lookahead + no save and right 139μs  -- with HLT + standardise + full lookahead + no save and right 137μs  -- with HLT + no standardise + partial lookahead + no save and right 136μs  -- with HLT + standardise + partial lookahead + no save and right 140μs  -- with HLT + no standardise + full lookahead + save and right 148μs  -- with HLT + standardise + full lookahead + save and right 148μs  -- with HLT + no standardise + partial lookahead + save and right 147μs  -- with HLT + standardise + partial lookahead + save and right 148μs  -- with Felsch + no standardisation and right 142μs  -- with Felsch + standardisation and right 142μs  -- with random strategy and right 158μs  -- with Rc style + full lookahead and right 150μs  -- with Rc style + partial lookahead and right 147μs  -- with R/C style and right 142μs  -- with CR style and right 150μs  -- with Cr style and right 154μs ToddCoxeter 032: prefill . . . 304μs ToddCoxeter 033: congruence of ToddCoxeter . . .  -- with HLT + no standardise + full lookahead + no save 74μs  -- with HLT + standardise + full lookahead + no save 70μs  -- with HLT + no standardise + partial lookahead + no save 66μs  -- with HLT + standardise + partial lookahead + no save 66μs  -- with HLT + no standardise + full lookahead + save 71μs  -- with HLT + standardise + full lookahead + save 69μs  -- with HLT + no standardise + partial lookahead + save 69μs  -- with HLT + standardise + partial lookahead + save 68μs  -- with random strategy 81μs ToddCoxeter 034: congruence of ToddCoxeter . . .  -- with HLT + no standardise + full lookahead + no save 142μs  -- with HLT + standardise + full lookahead + no save 134μs  -- with HLT + no standardise + partial lookahead + no save 132μs  -- with HLT + standardise + partial lookahead + no save 131μs  -- with HLT + save (throws) 150μs  -- with Felsch (throws) 149μs  -- with random strategy 153μs ToddCoxeter 035: congruence on FpSemigroup . . .  -- with HLT + no standardise + full lookahead + no save 356μs  -- with HLT + standardise + full lookahead + no save 331μs  -- with HLT + no standardise + partial lookahead + no save 324μs  -- with HLT + standardise + partial lookahead + no save 323μs  -- with HLT + no standardise + full lookahead + save 360μs  -- with HLT + standardise + full lookahead + save 360μs  -- with HLT + no standardise + partial lookahead + save 356μs  -- with HLT + standardise + partial lookahead + save 358μs  -- with Felsch + no standardisation 353μs  -- with Felsch + standardisation 354μs  -- with random strategy 368μs  -- with Rc style + full lookahead 325μs  -- with Rc style + partial lookahead 326μs  -- with R/C style 325μs  -- with CR style 357μs  -- with Cr style 357μs ToddCoxeter 036: exceptions . . . 116μs ToddCoxeter 037: copy constructor . . . 43μs ToddCoxeter 038: simplify . . . 160μs ToddCoxeter 039: stylic_monoid . . . 879ms ToddCoxeter 041: some finite classes . . . 589μs ToddCoxeter 043: symmetric_group(7, Coxeter + Moser) . . . 237ms ToddCoxeter 044: Option exceptions . . . 114μs ToddCoxeter 045: Options operator<< . . . 807μs ToddCoxeter 046: Easdown-East-FitzGerald DualSymInv(5) . . .  -- with HLT + no standardise + full lookahead + no save 213ms  -- with HLT + standardise + full lookahead + no save 237ms  -- with HLT + no standardise + partial lookahead + no save 212ms  -- with HLT + standardise + partial lookahead + no save 235ms  -- with HLT + no standardise + full lookahead + save 216ms  -- with HLT + standardise + full lookahead + save 215ms  -- with HLT + no standardise + partial lookahead + save 216ms  -- with HLT + standardise + partial lookahead + save 215ms  -- with Felsch + no standardisation 225ms  -- with Felsch + standardisation 225ms  -- with random strategy 378ms  -- with R/C style 228ms  -- with Rc style + full lookahead 236ms  -- with Rc style + partial lookahead 235ms ToddCoxeter 047: uniform_block_bijection_monoid(3) (FitzGerald) . . .  -- with HLT + no standardise + full lookahead + no save 154μs  -- with HLT + standardise + full lookahead + no save 153μs  -- with HLT + no standardise + partial lookahead + no save 144μs  -- with HLT + standardise + partial lookahead + no save 150μs  -- with HLT + no standardise + full lookahead + save 276μs  -- with HLT + standardise + full lookahead + save 273μs  -- with HLT + no standardise + partial lookahead + save 267μs  -- with HLT + standardise + partial lookahead + save 268μs  -- with Felsch + no standardisation 195μs  -- with Felsch + standardisation 192μs  -- with random strategy 220μs  -- with R/C style 171μs  -- with Rc style + full lookahead 155μs  -- with Rc style + partial lookahead 157μs ToddCoxeter 048: stellar_monoid(7) (Gay-Hivert) . . . 211ms ToddCoxeter 049: partition_monoid(4) (East) . . .  -- with HLT + no standardise + full lookahead + no save 41ms  -- with HLT + standardise + full lookahead + no save 43ms  -- with HLT + no standardise + partial lookahead + no save 41ms  -- with HLT + standardise + partial lookahead + no save 42ms  -- with HLT + no standardise + full lookahead + save 83ms  -- with HLT + standardise + full lookahead + save 86ms  -- with HLT + no standardise + partial lookahead + save 83ms  -- with HLT + standardise + partial lookahead + save 86ms  -- with Felsch + no standardisation 97ms  -- with Felsch + standardisation 97ms  -- with random strategy 51ms  -- with R/C style 50ms  -- with Rc style + full lookahead 106ms  -- with Rc style + partial lookahead 106ms ToddCoxeter 050: singular_brauer_monoid(6) (Maltcev + Mazorchuk) . . . 540ms ToddCoxeter 051: orientation_preserving_monoid(6) (Ruskuc + [...] . . .  -- with HLT + no standardise + full lookahead + no save 30ms ToddCoxeter 052: orientation_reversing_monoid(5) (Ruskuc + [...] . . .  -- with HLT + no standardise + full lookahead + no save 7541μs ToddCoxeter 053: temperley_lieb_monoid(10) (East) . . . 40ms ToddCoxeter 063: add_rule . . .  -- with HLT + no standardise + full lookahead + no save 135μs  -- with HLT + standardise + full lookahead + no save 124μs  -- with HLT + no standardise + partial lookahead + no save 119μs  -- with HLT + standardise + partial lookahead + no save 118μs  -- with HLT + no standardise + full lookahead + save 124μs  -- with HLT + standardise + full lookahead + save 125μs  -- with HLT + no standardise + partial lookahead + save 121μs  -- with HLT + standardise + partial lookahead + save 124μs  -- with Felsch + no standardisation 122μs  -- with Felsch + standardisation 122μs  -- with random strategy 135μs  -- with Rc style + full lookahead 122μs  -- with Rc style + partial lookahead 125μs  -- with R/C style 126μs  -- with CR style 126μs  -- with Cr style 125μs  -- with R/C + Felsch lookahead 134μs  -- with HLT + Felsch lookahead + save 121μs  -- with Cr + small number of f_defs 129μs  -- with Rc + small number of deductions 123μs  -- with Felsch + v2 + no preferred defs 122μs  -- with Felsch + v2 + immediate no stack 123μs  -- with Felsch + v1 + immediate no stack 125μs  -- with Felsch + v1 + immediate yes stack 125μs  -- with large collapse 127μs ToddCoxeter 064: (from kbmag/standalone/kb_data/s4) (KnuthB [...] . . .  -- with HLT + no standardise + full lookahead + no save 382μs ToddCoxeter 066: test validate . . . 64μs ToddCoxeter 067: add_rules after construct. from semigroup . . .  -- with HLT + no standardise + full lookahead + no save 413μs  -- with HLT + standardise + full lookahead + no save 396μs  -- with HLT + no standardise + partial lookahead + no save 387μs  -- with HLT + standardise + partial lookahead + no save 387μs  -- with HLT + save (throws) 406μs  -- with Felsch (throws) 405μs  -- with random strategy 436μs ToddCoxeter 068: Sym(5) from Chapter 3, Proposition 1.1 in NR . . .  -- with Deduction policy == purge_from_top 1216μs  -- with Deduction policy == purge_all 1197μs  -- with Deduction policy == discard_all_if_no_space 1243μs  -- with HLT + no standardise + full lookahead + no save 1192μs  -- with HLT + standardise + full lookahead + no save 1514μs  -- with HLT + no standardise + partial lookahead + no save 1177μs  -- with HLT + standardise + partial lookahead + no save 1504μs  -- with HLT + no standardise + full lookahead + save 1814μs  -- with HLT + standardise + full lookahead + save 1854μs  -- with HLT + no standardise + partial lookahead + save 1795μs  -- with HLT + standardise + partial lookahead + save 1839μs  -- with Felsch + no standardisation 1202μs  -- with Felsch + standardisation 1183μs  -- with random strategy 1942μs  -- with Rc style + full lookahead 2356μs  -- with Rc style + partial lookahead 2339μs  -- with R/C style 1341μs  -- with CR style 1245μs  -- with Cr style 1235μs ToddCoxeter 069: Chapter 7, Theorem 3.6 in NR (size 243) . . .  -- with HLT + no standardise + full lookahead + no save 1072μs  -- with HLT + standardise + full lookahead + no save 1189μs  -- with HLT + no standardise + partial lookahead + no save 1060μs  -- with HLT + standardise + partial lookahead + no save 1174μs  -- with HLT + no standardise + full lookahead + save 1013μs  -- with HLT + standardise + full lookahead + save 1063μs  -- with HLT + no standardise + partial lookahead + save 989μs  -- with HLT + standardise + partial lookahead + save 1056μs  -- with Felsch + no standardisation 5481μs  -- with Felsch + standardisation 5565μs  -- with random strategy 6902μs  -- with Rc style + full lookahead 1190μs  -- with Rc style + partial lookahead 1182μs  -- with R/C style 1318μs  -- with CR style 5476μs  -- with Cr style 5504μs ToddCoxeter 070: finite semigroup (size 99) . . .  -- with HLT + no standardise + full lookahead + no save 467μs  -- with HLT + standardise + full lookahead + no save 485μs  -- with HLT + no standardise + partial lookahead + no save 449μs  -- with HLT + standardise + partial lookahead + no save 480μs  -- with HLT + no standardise + full lookahead + save 426μs  -- with HLT + standardise + full lookahead + save 449μs  -- with HLT + no standardise + partial lookahead + save 417μs  -- with HLT + standardise + partial lookahead + save 443μs  -- with Felsch + no standardisation 988μs  -- with Felsch + standardisation 1000μs  -- with random strategy 530μs  -- with Rc style + full lookahead 501μs  -- with Rc style + partial lookahead 497μs  -- with R/C style 555μs  -- with CR style 1024μs  -- with Cr style 1026μs ToddCoxeter 080: KnuthBendix 098 . . .  -- with HLT + no standardise + full lookahead + no save 1419ms  -- with HLT + standardise + full lookahead + no save 1426ms  -- with HLT + no standardise + partial lookahead + no save 1419ms  -- with HLT + standardise + partial lookahead + no save 1426ms  -- with HLT + no standardise + full lookahead + save 709ms  -- with HLT + standardise + full lookahead + save 706ms  -- with HLT + no standardise + partial lookahead + save 702ms  -- with HLT + standardise + partial lookahead + save 707ms  -- with Felsch + no standardisation 606ms  -- with Felsch + standardisation 608ms  -- with random strategy 1581ms  -- with Rc style + full lookahead 602ms  -- with Rc style + partial lookahead 601ms  -- with R/C style 1408ms  -- with CR style 605ms  -- with Cr style 608ms ToddCoxeter 084: Campbell-Reza 1 . . .  -- with HLT + no standardise + full lookahead + no save 153μs  -- with HLT + standardise + full lookahead + no save 133μs  -- with HLT + no standardise + partial lookahead + no save 118μs  -- with HLT + standardise + partial lookahead + no save 128μs  -- with HLT + no standardise + full lookahead + save 144μs  -- with HLT + standardise + full lookahead + save 141μs  -- with HLT + no standardise + partial lookahead + save 137μs  -- with HLT + standardise + partial lookahead + save 142μs  -- with Felsch + no standardisation 152μs  -- with Felsch + standardisation 150μs  -- with random strategy 139μs  -- with Rc style + full lookahead 127μs  -- with Rc style + partial lookahead 126μs  -- with R/C style 135μs  -- with CR style 158μs  -- with Cr style 156μs ToddCoxeter 085: Renner monoid type D4 (Gay-Hivert), q = 1 . . .  -- with HLT + no standardise + full lookahead + no save 155ms  -- with HLT + standardise + full lookahead + no save 154ms  -- with HLT + no standardise + partial lookahead + no save 154ms  -- with HLT + standardise + partial lookahead + no save 153ms  -- with HLT + no standardise + full lookahead + save 154ms  -- with HLT + standardise + full lookahead + save 154ms  -- with HLT + no standardise + partial lookahead + save 154ms  -- with HLT + standardise + partial lookahead + save 154ms  -- with Felsch + no standardisation 154ms  -- with Felsch + standardisation 154ms  -- with random strategy 154ms  -- with Rc style + full lookahead 154ms  -- with Rc style + partial lookahead 155ms  -- with R/C style 154ms  -- with CR style 155ms  -- with Cr style 154ms ToddCoxeter 086: trivial semigroup . . . 268ms ToddCoxeter 092: ACE --- perf602p5 - HLT . . .  -- with HLT + no standardise + full lookahead + no save 34ms  -- with HLT + standardise + full lookahead + no save 35ms  -- with HLT + no standardise + partial lookahead + no save 34ms  -- with HLT + standardise + partial lookahead + no save 35ms  -- with HLT + no standardise + full lookahead + save 25ms  -- with HLT + standardise + full lookahead + save 25ms  -- with HLT + no standardise + partial lookahead + save 25ms  -- with HLT + standardise + partial lookahead + save 25ms  -- with random strategy 26ms  -- with Felsch + no standardisation 18ms  -- with Felsch + standardisation 18ms ToddCoxeter 094: ACE --- C5 - HLT . . .  -- with HLT + no standardise + full lookahead + no save 122μs  -- with HLT + standardise + full lookahead + no save 111μs  -- with HLT + no standardise + partial lookahead + no save 112μs  -- with HLT + standardise + partial lookahead + no save 109μs  -- with HLT + no standardise + full lookahead + save 134μs  -- with HLT + standardise + full lookahead + save 134μs  -- with HLT + no standardise + partial lookahead + save 135μs  -- with HLT + standardise + partial lookahead + save 133μs  -- with random strategy 128μs  -- with Felsch + no standardisation 122μs  -- with Felsch + standardisation 121μs ToddCoxeter 095: ACE --- A5-C5 . . .  -- with HLT + no standardise + full lookahead + no save 151μs  -- with HLT + standardise + full lookahead + no save 171μs  -- with HLT + no standardise + partial lookahead + no save 148μs  -- with HLT + standardise + partial lookahead + no save 167μs  -- with HLT + no standardise + full lookahead + save 206μs  -- with HLT + standardise + full lookahead + save 205μs  -- with HLT + no standardise + partial lookahead + save 202μs  -- with HLT + standardise + partial lookahead + save 203μs  -- with random strategy 226μs  -- with Felsch + no standardisation 168μs  -- with Felsch + standardisation 167μs ToddCoxeter 096: ACE --- A5 . . .  -- with HLT + no standardise + full lookahead + no save 355μs  -- with HLT + standardise + full lookahead + no save 419μs  -- with HLT + no standardise + partial lookahead + no save 333μs  -- with HLT + standardise + partial lookahead + no save 412μs  -- with HLT + no standardise + full lookahead + save 569μs  -- with HLT + standardise + full lookahead + save 583μs  -- with HLT + no standardise + partial lookahead + save 561μs  -- with HLT + standardise + partial lookahead + save 590μs  -- with random strategy 663μs  -- with Felsch + no standardisation 421μs  -- with Felsch + standardisation 409μs ToddCoxeter 098: relation ordering . . .  -- with Felsch + no standardisation 734μs  -- with Felsch + standardisation 718μs  -- with HLT + no standardise + full lookahead + no save 321μs  -- with HLT + standardise + full lookahead + no save 319μs  -- with HLT + no standardise + partial lookahead + no save 317μs  -- with HLT + standardise + partial lookahead + no save 318μs  -- with HLT + no standardise + full lookahead + save 799μs  -- with HLT + standardise + full lookahead + save 798μs  -- with HLT + no standardise + partial lookahead + save 793μs  -- with HLT + standardise + partial lookahead + save 792μs  -- with random strategy 367μs ToddCoxeter 099: short circuit size in obviously infinite . . . 20μs ToddCoxeter 101: http://brauer.maths.qmul.ac.uk/Atlas/spor/M [...] . . . 608ms ToddCoxeter 108: http://brauer.maths.qmul.ac.uk/Atlas/lin/L3 [...] . . . 549ms ToddCoxeter 110: to_gap_string . . . 103μs ToddCoxeter 111: partition_monoid(2) . . . 94μs ToddCoxeter 112: brauer_monoid(4) (Kudryavtseva + Mazorchuk) . . . 487μs ToddCoxeter 113: symmetric_inverse_monoid . . . 21ms ToddCoxeter 116: symmetric_group(7, Burnside + Miller) . . . 472ms UF 001: constructor by size . . . 15μs UF 002: copy constructor . . . 22μs UF 003: find . . . 18μs Ukkonen 000: basic tests . . . 96ms Ukkonen 001: maximal_piece_prefix 1 . . . 45μs Ukkonen 002: maximal_piece_prefix 2 . . . 53μs Ukkonen 003: maximal_piece_prefix 3 . . . 363μs Ukkonen 004: number_of_pieces . . . 96μs Ukkonen 005: traverse . . . 32μs Ukkonen 006: dot . . . 214μs Ukkonen 007: strings . . . 71μs Ukkonen 008: dfs #01 . . . 47μs Ukkonen 009: dfs #02 . . . 45μs Ukkonen 010: dfs #03 . . . 41μs Ukkonen 011: dfs #04 . . . 97μs Ukkonen 012: dfs #05 . . . 76μs Ukkonen 013: dfs #06 . . . 72μs Ukkonen 014: dfs #07 . . . 106μs Ukkonen 015: dfs #08 . . . 87μs Ukkonen 016: dfs #09 . . . 117μs Ukkonen 017: dfs #10 . . . 40μs Ukkonen 018: pieces . . . 51μs Ukkonen 019: code coverage . . . 61μs Ukkonen 020: code coverage . . . 11μs action_digraph_helper 015: detail::to_string . . . 23μs action_digraph_helper 016: make . . . 48μs action_digraph_helper 017: is_connected . . . 86μs action_digraph_helper 018: is_strictly_cyclic . . . 6412μs follow_path 012: 20 node path . . . 25μs fpsemi-examples 002: full_transformation_monoid author except . . . 42μs fpsemi-examples 003: full_transformation_monoid degree except . . . 36μs fpsemi-examples 005: partial_transformation_monoid author except . . . 45μs fpsemi-examples 006: partial_transformation_monoid degree except . . . 43μs fpsemi-examples 007: symmetric_inverse_monoid(5) . . . 21ms fpsemi-examples 008: symmetric_group auth except . . . 40μs fpsemi-examples 009: symmetric_group degree except . . . 36μs fpsemi-examples 010: symmetric_group(6) Burnside + Miller . . . 30ms fpsemi-examples 011: dual_symmetric_inverse_monoid(5) . . . 212ms fpsemi-examples 012: dual_symmetric_inverse_monoid auth except . . . 45μs fpsemi-examples 013: dual_symmetric_inverse_monoid degree except . . . 36μs fpsemi-examples 014: uniform_block_bijection_monoid(5) . . . 19ms fpsemi-examples 015: uniform_block_bijection_monoid auth except . . . 37μs fpsemi-examples 016: uniform_block_bijection_monoid degree except . . . 33μs fpsemi-examples 019: partition_monoid auth except . . . 165μs fpsemi-examples 020: partition_monoid degree except . . . 163μs fpsemi-examples 022: monogenic_semigroup(4, 9) . . . 43μs fpsemi-examples 023: fibonacci_semigroup(2, 5) . . . 107μs fpsemi-examples 024: temperley_lieb_monoid(10) . . . 44ms fpsemi-examples 025: singular_brauer_monoid(6) . . . 374ms fpsemi-examples 026: orientation_preserving_monoid(6) . . . 30ms fpsemi-examples 027: orientation_reversing_monoid(5) . . . 7500μs fpsemi-examples 028: chinese_monoid(3) . . . 194μs fpsemi-examples 029: plactic_monoid(3) . . . 163μs fpsemi-examples 030: stylic_monoid(3) . . . 1550μs fpsemi-examples 031: symmetric_group(6) Carmichael . . . 16ms fpsemi-examples 032: symmetric_group(6) Moore index 0 . . . 12ms fpsemi-examples 033: symmetric_group(6) Coxeter + Moser . . . 9832μs fpsemi-examples 034: test for the rook monoid . . . 394μs fpsemi-examples 035: alternating_group(7) Moore . . . 38ms fpsemi-examples 036: alternating_group auth except . . . 41μs fpsemi-examples 037: alternating_group degree except . . . 31μs fpsemi-examples 038: partial_transformation_monoid(3) Machine . . . 312μs fpsemi-examples 039: chinese_monoid degree except . . . 47μs fpsemi-examples 040: monogenic_semigroup degree except . . . 53μs fpsemi-examples 041: rectangular_band degree except . . . 87μs fpsemi-examples 042: stellar_monoid degree except . . . 45μs fpsemi-examples 043: plactic_monoid degree except . . . 45μs fpsemi-examples 044: stylic_monoid degree except . . . 43μs fpsemi-examples 045: temperley_lieb_monoid degree except . . . 66μs fpsemi-examples 046: singular_brauer_monoid degree except . . . 69μs fpsemi-examples 047: orientation_preserving_monoid degree except . . . 70μs fpsemi-examples 048: orientation_reversing_monoid degree except . . . 77μs fpsemi-examples 049: test default values . . . 4001μs fpsemi-examples 052: not_symmetric_group(5) Guralnick + Kant [...] . . . 3717μs fpsemi-examples 053: order_preserving_monoid(5) . . . 1083μs fpsemi-examples 055: order_preserving_monoid degree except . . . 70μs fpsemi-examples 056: cyclic_inverse_monoid(4) Fernandes 1 . . . 264μs fpsemi-examples 057: cyclic_inverse_monoid(8) Fernandes index 1 . . . 18ms fpsemi-examples 058: cyclic_inverse_monoid Fernandes index 0 . . . 33ms fpsemi-examples 059: order_preserving_cyclic_inverse_monoid(4) . . . 204μs fpsemi-examples 060: order_preserving_cyclic_inverse_monoid(10) . . . 36ms fpsemi-examples 061: cyclic_inverse_monoid degree except . . . 157μs fpsemi-examples 062: cyclic_inverse_monoid author except . . . 60μs fpsemi-examples 063: order_preserving_monoid degree except . . . 66μs fpsemi-examples 064: symmetric_group index except . . . 61μs fpsemi-examples 065: symmetric_group(7) Moore index 1 . . . 9285μs fpsemi-examples 066: order_preserving_cyclic_inverse_monoid(10) . . . 36ms fpsemi-examples 067: partial_isometries_cycle_graph_monoid(5) . . . 889μs fpsemi-examples 068: partial_isometries_cycle_graph_monoid(10) . . . 251ms fpsemi-examples 069: partial_isometries_cycle_graph_monoid d [...] . . . 91μs fpsemi-examples 070: partial_isometries_cycle_graph_monoid(4) . . . 337μs freeband_equal_to 001: . . . 622μs is_acyclic 000: 2-cycle . . . 12μs is_acyclic 001: 1-cycle . . . 11μs is_acyclic 002: multi-digraph . . . 13μs is_acyclic 003: complete digraph 100 . . . 56μs is_acyclic 004: acyclic digraph with 20000 nodes . . . 1097μs is_acyclic 006: for a node . . . 943μs is_acyclic 007: for a node . . . 19μs is_reachable 008: acyclic 20 node digraph . . . 61μs is_reachable 009: 100 node path . . . 11ms is_reachable 010: 100 node cycle . . . 11ms is_reachable 011: 20 node clique . . . 454μs last_node_on_path_nc 014: 20 node path . . . 18μs make 000: from FroidurePin . . . 431μs make 001: from FroidurePin and alphabet . . . 580μs make 002: presentation from presentation . . . 321μs make 003: presentation from presentation and alphabet . . . 71μs make 004: argument checks issue . . . 213μs make 005: use human readable alphabet for make . . . 20μs make> 000: from ActionDigraph . . . 1079μs make> 001: from ActionDigraph (exceptions) . . . 68μs number_of_words 001: . . . 15μs operator"" _w 003: literal . . . 14μs silo 000: alphabet: a, min: 0, max: 10 . . . 40μs silo 001: corner cases . . . 30μs silo 002: alphabet: ab, min: 1, max: 4 . . . 51μs silo 003: alphabet: abc, min: 0, max: 13 . . . 82ms silo 004: code coverage . . . 25μs sislo 005: alphabet: a, min: 0, max: 10 . . . 36μs sislo 006: corner cases . . . 51μs sislo 007: alphabet: ab, min: 1, max: 4 . . . 80μs sislo 008: alphabet: abc, min: 0, max: 13 . . . 79ms sislo 009: code coverage . . . 25μs string 000: detail::is_suffix . . . 13μs string 001: detail::is_prefix . . . 14μs string 002: detail::maximum_common_suffix . . . 12μs string 003: detail::group_digits . . . 21μs string_to_word 002: . . . 14μs validate_label 013: 20 node path . . . 40μs wilo 001: corner cases . . . 37μs wilo 002: letters: 2, min: 1, max: 4 . . . 36μs wilo 003: letters: 2, min: 1, max: 4 . . . 58μs wilo 004: letters: 3, min: 0, max: 10 . . . 19ms wilo 005: letters: 3, min: 0, max: 13 . . . 125ms wilo 006: forward iterator requirements . . . 126ms wilo 007: more corner cases . . . 51μs wilo 008: starting at a given word 1 . . . 123μs wilo 009: starting at a given word 2 . . . 23μs wilo 010: code coverage . . . 21μs wislo 000: n: 2, min; 1, max: 4 . . . 26μs wislo 001: corner cases . . . 42μs wislo 002: n: 3, min; 0, max: 10 . . . 4105μs wislo 003: n: 3, min; 0, max: 13 . . . 118ms wislo 004: lex + sort . . . 364ms wislo 005: code coverage . . . 27μ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; }; }) /usr/bin/install -c -m 644 include/libsemigroups/action.hpp include/libsemigroups/adapters.hpp include/libsemigroups/bipart.hpp include/libsemigroups/bitset.hpp include/libsemigroups/bmat8.hpp include/libsemigroups/bmat.hpp include/libsemigroups/bruidhinn-traits.hpp include/libsemigroups/config.hpp include/libsemigroups/cong-intf.hpp include/libsemigroups/cong-pair-impl.hpp include/libsemigroups/cong-pair.hpp include/libsemigroups/cong-wrap.hpp include/libsemigroups/cong.hpp include/libsemigroups/constants.hpp include/libsemigroups/containers.hpp include/libsemigroups/coset.hpp include/libsemigroups/debug.hpp include/libsemigroups/deprecated.hpp include/libsemigroups/digraph-helper.hpp include/libsemigroups/digraph-with-sources.hpp include/libsemigroups/digraph-with-sources.tpp include/libsemigroups/digraph.hpp include/libsemigroups/exception.hpp include/libsemigroups/fastest-bmat.hpp include/libsemigroups/felsch-tree.hpp include/libsemigroups/felsch-digraph.hpp include/libsemigroups/felsch-digraph.tpp include/libsemigroups/forest.hpp include/libsemigroups/fpsemi-examples.hpp include/libsemigroups/fpsemi-intf.hpp include/libsemigroups/fpsemi.hpp include/libsemigroups/freeband.hpp include/libsemigroups/froidure-pin-base.hpp include/libsemigroups/froidure-pin-impl.hpp include/libsemigroups/froidure-pin.hpp include/libsemigroups/function-ref.hpp include/libsemigroups/hpcombi.hpp include/libsemigroups/int-range.hpp include/libsemigroups/iterator.hpp include/libsemigroups/kambites.hpp '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups' libtool: install: (cd /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib && { ln -s -f libsemigroups.so.2.0.0 libsemigroups.so || { 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' 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-r2 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-r2.apk >>> libsemigroups-static*: Tracing dependencies... >>> libsemigroups-static*: Package size: 6.2 MB >>> libsemigroups-static*: Compressing data... >>> libsemigroups-static*: Create checksum... >>> libsemigroups-static*: Create libsemigroups-static-2.7.1-r2.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-r2.apk >>> libsemigroups: Build complete at Tue, 01 Aug 2023 11:16:38 +0000 elapsed time 0h 3m 21s >>> libsemigroups: Cleaning up srcdir >>> libsemigroups: Cleaning up pkgdir >>> libsemigroups: Uninstalling dependencies... (1/4) Purging .makedepends-libsemigroups (20230801.111318) (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: 264 MiB in 107 packages >>> libsemigroups: Updating the testing/ppc64le repository index... >>> libsemigroups: Signing the index...