>>> libsemigroups: Building testing/libsemigroups 2.7.1-r0 (using abuild 3.10.0-r0) started Fri, 31 Mar 2023 00:13:08 +0000 >>> libsemigroups: Checking sanity of /home/buildozer/aports/testing/libsemigroups/APKBUILD... >>> libsemigroups: Analyzing dependencies... >>> libsemigroups: Installing for build: build-base eigen-dev fmt-dev (1/4) Installing eigen-dev (3.4.0-r8) (2/4) Installing fmt (9.1.0-r0) (3/4) Installing fmt-dev (9.1.0-r0) (4/4) Installing .makedepends-libsemigroups (20230331.001309) OK: 302 MiB in 100 packages >>> libsemigroups: Cleaning up srcdir >>> libsemigroups: Cleaning up pkgdir >>> libsemigroups: Fetching https://distfiles.alpinelinux.org/distfiles/edge/libsemigroups-2.7.1.tar.gz % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 0 0 0 0 0 0 0 0 --:--:-- 0:00:01 --:--:-- 0 0 0 0 0 0 0 0 0 --:--:-- 0:00:02 --:--:-- 0 0 0 0 0 0 0 0 0 --:--:-- 0:00:03 --:--:-- 0 0 146 0 0 0 0 0 0 --:--:-- 0:00:03 --:--:-- 0 curl: (22) The requested URL returned error: 404 >>> libsemigroups: Fetching https://github.com/libsemigroups/libsemigroups/releases/download/v2.7.1/libsemigroups-2.7.1.tar.gz % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 0 0 0 0 0 0 0 0 --:--:-- 0:00:01 --:--:-- 0 0 0 0 0 0 0 0 0 --:--:-- 0:00:02 --:--:-- 0 0 0 0 0 0 0 0 0 --:--:-- 0:00:02 --:--:-- 0 0 0 0 0 0 0 0 0 --:--:-- 0:00:02 --:--:-- 0 0 0 0 0 0 0 0 0 --:--:-- 0:00:04 --:--:-- 0 0 0 0 0 0 0 0 0 --:--:-- 0:00:05 --:--:-- 0 100 2485k 100 2485k 0 0 454k 0 0:00:05 0:00:05 --:--:-- 944k >>> libsemigroups: Fetching https://distfiles.alpinelinux.org/distfiles/edge/libsemigroups-2.7.1.tar.gz >>> libsemigroups: Checking sha512sums... libsemigroups-2.7.1.tar.gz: OK >>> libsemigroups: Unpacking /var/cache/distfiles/libsemigroups-2.7.1.tar.gz... checking build system type... powerpc64le-alpine-linux-musl checking host system type... powerpc64le-alpine-linux-musl checking target system type... powerpc64le-alpine-linux-musl checking for a BSD-compatible install... /usr/bin/install -c checking whether build environment is sane... yes checking for a race-free mkdir -p... ./config/install-sh -c -d checking for gawk... no checking for mawk... no checking for nawk... no checking for awk... awk checking whether make sets $(MAKE)... yes checking whether make supports nested variables... yes checking how to create a pax tar archive... gnutar checking whether make supports nested variables... (cached) yes checking whether make supports the include directive... yes (GNU style) checking for powerpc64le-alpine-linux-musl-gcc... gcc checking whether the C compiler works... yes checking for C compiler default output file name... a.out checking for suffix of executables... checking whether we are cross compiling... no checking for suffix of object files... o checking whether the compiler supports GNU C... yes checking whether gcc accepts -g... yes checking for gcc option to enable C11 features... none needed checking whether gcc understands -c and -o together... yes checking dependency style of gcc... gcc3 checking for powerpc64le-alpine-linux-musl-ar... no checking for powerpc64le-alpine-linux-musl-lib... no checking for powerpc64le-alpine-linux-musl-link... no checking for ar... ar checking the archiver (ar) interface... ar checking whether the compiler supports GNU C++... yes checking whether g++ accepts -g... yes checking for g++ option to enable C++11 features... none needed checking dependency style of g++... gcc3 checking whether g++ supports C++14 features by default... yes checking for a sed that does not truncate output... /bin/sed checking how to run the C preprocessor... gcc -E checking for grep that handles long lines and -e... /bin/grep checking for egrep... /bin/grep -E checking whether gcc is Clang... no checking whether pthreads work with "-pthread" and "-lpthread"... yes checking for joinable pthread attribute... PTHREAD_CREATE_JOINABLE checking whether more special flags are required for pthreads... no checking for PTHREAD_PRIO_INHERIT... yes checking for pthread_create in -lpthread... yes checking whether to enable maintainer-specific portions of Makefiles... no checking whether ln -s works... yes checking how to print strings... printf checking for a sed that does not truncate output... (cached) /bin/sed checking for fgrep... /bin/grep -F checking for ld used by gcc... /usr/powerpc64le-alpine-linux-musl/bin/ld checking if the linker (/usr/powerpc64le-alpine-linux-musl/bin/ld) is GNU ld... yes checking for BSD- or MS-compatible name lister (nm)... /usr/bin/nm -B checking the name lister (/usr/bin/nm -B) interface... BSD nm checking the maximum length of command line arguments... 98304 checking how to convert powerpc64le-alpine-linux-musl file names to powerpc64le-alpine-linux-musl format... func_convert_file_noop checking how to convert powerpc64le-alpine-linux-musl file names to toolchain format... func_convert_file_noop checking for /usr/powerpc64le-alpine-linux-musl/bin/ld option to reload object files... -r checking for powerpc64le-alpine-linux-musl-file... no checking for file... file checking for powerpc64le-alpine-linux-musl-objdump... no checking for objdump... objdump checking how to recognize dependent libraries... pass_all checking for powerpc64le-alpine-linux-musl-dlltool... no checking for dlltool... no checking how to associate runtime and link libraries... printf %s\n checking for powerpc64le-alpine-linux-musl-ar... ar checking for archiver @FILE support... @ checking for powerpc64le-alpine-linux-musl-strip... no checking for strip... strip checking for powerpc64le-alpine-linux-musl-ranlib... no checking for ranlib... ranlib checking command to parse /usr/bin/nm -B output from gcc object... ok checking for sysroot... no checking for a working dd... /bin/dd checking how to truncate binary pipes... /bin/dd bs=4096 count=1 checking for powerpc64le-alpine-linux-musl-mt... no checking for mt... no checking if : is a manifest tool... no checking for stdio.h... yes checking for stdlib.h... yes checking for string.h... yes checking for inttypes.h... yes checking for stdint.h... yes checking for strings.h... yes checking for sys/stat.h... yes checking for sys/types.h... yes checking for unistd.h... yes checking for dlfcn.h... yes checking for objdir... .libs checking if gcc supports -fno-rtti -fno-exceptions... no checking for gcc option to produce PIC... -fPIC -DPIC checking if gcc PIC flag -fPIC -DPIC works... yes checking if gcc static flag -static works... yes checking if gcc supports -c -o file.o... yes checking if gcc supports -c -o file.o... (cached) yes checking whether the gcc linker (/usr/powerpc64le-alpine-linux-musl/bin/ld) supports shared libraries... yes checking whether -lc should be explicitly linked in... no checking dynamic linker characteristics... GNU/Linux ld.so checking how to hardcode library paths into programs... immediate checking whether stripping libraries is possible... yes checking if libtool supports shared libraries... yes checking whether to build shared libraries... yes checking whether to build static libraries... yes checking how to run the C++ preprocessor... g++ -E checking for ld used by g++... /usr/powerpc64le-alpine-linux-musl/bin/ld checking if the linker (/usr/powerpc64le-alpine-linux-musl/bin/ld) is GNU ld... yes checking whether the g++ linker (/usr/powerpc64le-alpine-linux-musl/bin/ld) supports shared libraries... yes checking for g++ option to produce PIC... -fPIC -DPIC checking if g++ PIC flag -fPIC -DPIC works... yes checking if g++ static flag -static works... yes checking if g++ supports -c -o file.o... yes checking if g++ supports -c -o file.o... (cached) yes checking whether the g++ linker (/usr/powerpc64le-alpine-linux-musl/bin/ld) supports shared libraries... yes checking dynamic linker characteristics... (cached) GNU/Linux ld.so checking how to hardcode library paths into programs... immediate checking for limits.h... yes checking for stdint.h... (cached) yes checking for stdlib.h... (cached) yes checking for sys/time.h... yes checking for unistd.h... (cached) yes checking for pthread.h... yes checking for _Bool... yes checking for stdbool.h that conforms to C99... yes checking for inline... inline checking for int64_t... yes checking for size_t... yes checking for uint64_t... yes checking for ptrdiff_t... yes checking size of void *... 8 checking for GNU libc compatible malloc... yes checking for gettimeofday... yes checking for memset... yes checking for pow... yes checking for sqrt... yes checking whether to enable debug mode... no checking whether to enable verbose mode... no checking whether enable compiler warnings... no checking whether to enable stats mode... yes checking whether to enable backward mode... yes checking for execinfo.h... no configure: WARNING: backward enabled but execinfo.h not found, disabling backward! checking whether to build with code coverage support... no checking whether to enable HPCombi... yes checking for ./extern/HPCombi/VERSION... yes checking the required version of HPCombi... 0.0.6 checking the version of HPCombi that's present... 0.0.6 checking whether C++ compiler accepts -mavx... no configure: WARNING: flag -mavx not supported, HPCombi is disabled checking for powerpc64le-alpine-linux-musl-pkg-config... no checking for pkg-config... /usr/bin/pkg-config checking pkg-config is at least version 0.9.0... yes checking whether to enable fmt... yes checking whether to use external fmt... yes checking for fmt >= 8.1.1... yes checking whether to enable eigen... yes checking whether to use external eigen... yes checking for eigen3 >= 3.3.7... yes checking for __builtin_popcountl... yes checking for __builtin_clzll... yes checking whether to try and use __builtin_popcntl... yes checking whether to try and use __builtin_clzlll... yes checking that generated files are newer than configure... done configure: creating ./config.status config.status: creating Makefile config.status: creating libsemigroups.pc config.status: creating config/config.h config.status: executing depfiles commands config.status: executing include/libsemigroups/config.hpp commands config.status: creating include/libsemigroups/config.hpp - prefix LIBSEMIGROUPS for config/config.h defines config.status: executing libtool commands CXX src/libsemigroups_la-bipart.lo CXX src/libsemigroups_la-bmat8.lo CXX src/libsemigroups_la-cong-intf.lo CXX src/libsemigroups_la-cong-pair.lo CXX src/libsemigroups_la-cong.lo CXX src/libsemigroups_la-constants.lo CXX src/libsemigroups_la-coset.lo CXX src/libsemigroups_la-exception.lo CXX src/libsemigroups_la-felsch-tree.lo CXX src/libsemigroups_la-forest.lo CXX src/libsemigroups_la-fpsemi-examples.lo CXX src/libsemigroups_la-fpsemi-intf.lo CXX src/libsemigroups_la-fpsemi.lo CXX src/libsemigroups_la-freeband.lo CXX src/libsemigroups_la-froidure-pin-base.lo CXX src/libsemigroups_la-kambites.lo CXX src/libsemigroups_la-knuth-bendix.lo CXX src/libsemigroups_la-make-present.lo CXX src/libsemigroups_la-node-manager.lo CXX src/libsemigroups_la-obvinf.lo CXX src/libsemigroups_la-pbr.lo CXX src/libsemigroups_la-race.lo CXX src/libsemigroups_la-report.lo CXX src/libsemigroups_la-runner.lo CXX src/libsemigroups_la-siso.lo CXX src/libsemigroups_la-string.lo CXX src/libsemigroups_la-stephen.lo CXX src/libsemigroups_la-timer.lo CXX src/libsemigroups_la-todd-coxeter.lo CXX src/libsemigroups_la-ukkonen.lo CXX src/libsemigroups_la-wilo.lo CXX src/libsemigroups_la-wislo.lo CXX src/libsemigroups_la-word.lo In file included from /usr/include/eigen3/Eigen/Core:350, from /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.1/include/libsemigroups/digraph.hpp:58, from /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.1/include/libsemigroups/digraph-with-sources.hpp:41, from /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.1/include/libsemigroups/stephen.hpp:30, from src/stephen.cpp:22: In member function 'void Eigen::internal::gebp_kernel::operator()(const DataMapper&, const double*, const double*, Index, Index, Index, double, Index, Index, Index, Index) [with Index = long int; DataMapper = Eigen::internal::blas_data_mapper; int mr = 4; int nr = 4; bool ConjugateLhs = false; bool ConjugateRhs = false]', inlined from 'static void Eigen::internal::general_matrix_matrix_product::run(Index, Index, Index, const LhsScalar*, Index, const RhsScalar*, Index, ResScalar*, Index, Index, ResScalar, Eigen::internal::level3_blocking&, Eigen::internal::GemmParallelInfo*) [with Index = long int; LhsScalar = double; int LhsStorageOrder = 0; bool ConjugateLhs = false; RhsScalar = double; int RhsStorageOrder = 0; bool ConjugateRhs = false; int ResInnerStride = 1]' at /usr/include/eigen3/Eigen/src/Core/products/GeneralMatrixMatrix.h:198:15: /usr/include/eigen3/Eigen/src/Core/arch/AltiVec/MatrixProduct.h:2808:34: warning: builtin '__builtin_cpu_supports' needs GLIBC (2.23 and newer) that exports hardware capability bits 2808 | if (__builtin_cpu_supports ("arch_3_1") && __builtin_cpu_supports ("mma")){ | ~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ /usr/include/eigen3/Eigen/src/Core/arch/AltiVec/MatrixProduct.h:2808:73: warning: builtin '__builtin_cpu_supports' needs GLIBC (2.23 and newer) that exports hardware capability bits 2808 | if (__builtin_cpu_supports ("arch_3_1") && __builtin_cpu_supports ("mma")){ | ~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~ In file included from /usr/include/eigen3/Eigen/Core:350, from /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.1/include/libsemigroups/digraph.hpp:58, from /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.1/include/libsemigroups/knuth-bendix.hpp:34, from src/knuth-bendix.cpp:19: In member function 'void Eigen::internal::gebp_kernel::operator()(const DataMapper&, const double*, const double*, Index, Index, Index, double, Index, Index, Index, Index) [with Index = long int; DataMapper = Eigen::internal::blas_data_mapper; int mr = 4; int nr = 4; bool ConjugateLhs = false; bool ConjugateRhs = false]', inlined from 'static void Eigen::internal::general_matrix_matrix_product::run(Index, Index, Index, const LhsScalar*, Index, const RhsScalar*, Index, ResScalar*, Index, Index, ResScalar, Eigen::internal::level3_blocking&, Eigen::internal::GemmParallelInfo*) [with Index = long int; LhsScalar = double; int LhsStorageOrder = 0; bool ConjugateLhs = false; RhsScalar = double; int RhsStorageOrder = 0; bool ConjugateRhs = false; int ResInnerStride = 1]' at /usr/include/eigen3/Eigen/src/Core/products/GeneralMatrixMatrix.h:198:15: /usr/include/eigen3/Eigen/src/Core/arch/AltiVec/MatrixProduct.h:2808:34: warning: builtin '__builtin_cpu_supports' needs GLIBC (2.23 and newer) that exports hardware capability bits 2808 | if (__builtin_cpu_supports ("arch_3_1") && __builtin_cpu_supports ("mma")){ | ~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ /usr/include/eigen3/Eigen/src/Core/arch/AltiVec/MatrixProduct.h:2808:73: warning: builtin '__builtin_cpu_supports' needs GLIBC (2.23 and newer) that exports hardware capability bits 2808 | if (__builtin_cpu_supports ("arch_3_1") && __builtin_cpu_supports ("mma")){ | ~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~ CXXLD libsemigroups.la make test_all make[1]: Entering directory '/home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.1' CXX tests/bmat-data.o CXX tests/test-action.o CXX tests/test-bipart.o CXX tests/test-bitset.o CXX tests/test-bmat8.o CXX tests/test-cong-intf.o CXX tests/test-cong-pair.o CXX tests/test-cong.o CXX tests/test-constants.o CXX tests/test-containers.o CXX tests/test-digraph-helper.o CXX tests/test-digraph.o CXX tests/test-felsch-tree.o CXX tests/test-forest.o CXX tests/test-fpsemi.o CXX tests/test-fpsemi-examples-1.o CXX tests/test-fpsemi-examples-2.o CXX tests/test-fpsemi-examples-3.o CXX tests/test-fpsemi-intf.o CXX tests/test-freeband.o CXX tests/test-froidure-pin-bipart.o CXX tests/test-froidure-pin-bmat8.o CXX tests/test-froidure-pin-bmat.o CXX tests/test-froidure-pin-integers.o CXX tests/test-froidure-pin-intmat.o CXX tests/test-froidure-pin-intpairs.o CXX tests/test-froidure-pin-matrix.o CXX tests/test-froidure-pin-maxplustrunc.o CXX tests/test-froidure-pin-pbr.o CXX tests/test-froidure-pin-pperm.o CXX tests/test-froidure-pin-projmaxplus.o CXX tests/test-froidure-pin-transf.o CXX tests/test-hpcombi.o CXX tests/test-iterator.o CXX tests/test-kambites.o CXX tests/test-kbe.o CXX tests/test-knuth-bendix-1.o CXX tests/test-knuth-bendix-2.o CXX tests/test-knuth-bendix-3.o CXX tests/test-knuth-bendix-4.o CXX tests/test-knuth-bendix-5.o CXX tests/test-knuth-bendix-6.o CXX tests/test-konieczny-bmat8-1.o CXX tests/test-konieczny-bmat8-2.o CXX tests/test-konieczny-bmat8-3.o CXX tests/test-konieczny-transf.o CXX tests/test-konieczny-bmat.o CXX tests/test-konieczny-pperm.o CXX tests/test-main.o CXX tests/test-make-present.o CXX tests/test-make-froidure-pin.o CXX tests/test-matrix.o CXX tests/test-obvinf.o CXX tests/test-order.o CXX tests/test-pbr.o CXX tests/test-pool.o CXX tests/test-present.o CXX tests/test-race.o CXX tests/test-runner.o CXX tests/test-schreier-sims.o CXX tests/test-schreier-sims-helper.o CXX tests/test-sims1.o CXX tests/test-siso.o CXX tests/test-stephen.o CXX tests/test-string.o CXX tests/test-string-view.o CXX tests/test-timer.o CXX tests/test-todd-coxeter.o CXX tests/test-types.o CXX tests/test-uf.o CXX tests/test-ukkonen.o CXX tests/test-wilo.o CXX tests/test-wislo.o CXX tests/test-word.o In file included from /usr/include/eigen3/Eigen/Core:350, from /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.1/include/libsemigroups/digraph.hpp:58, from /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.1/include/libsemigroups/knuth-bendix.hpp:34, from tests/test-knuth-bendix-4.cpp:48: In member function 'void Eigen::internal::gebp_kernel::operator()(const DataMapper&, const double*, const double*, Index, Index, Index, double, Index, Index, Index, Index) [with Index = long int; DataMapper = Eigen::internal::blas_data_mapper; int mr = 4; int nr = 4; bool ConjugateLhs = false; bool ConjugateRhs = false]', inlined from 'static void Eigen::internal::general_matrix_matrix_product::run(Index, Index, Index, const LhsScalar*, Index, const RhsScalar*, Index, ResScalar*, Index, Index, ResScalar, Eigen::internal::level3_blocking&, Eigen::internal::GemmParallelInfo*) [with Index = long int; LhsScalar = double; int LhsStorageOrder = 0; bool ConjugateLhs = false; RhsScalar = double; int RhsStorageOrder = 0; bool ConjugateRhs = false; int ResInnerStride = 1]' at /usr/include/eigen3/Eigen/src/Core/products/GeneralMatrixMatrix.h:198:15: /usr/include/eigen3/Eigen/src/Core/arch/AltiVec/MatrixProduct.h:2808:34: warning: builtin '__builtin_cpu_supports' needs GLIBC (2.23 and newer) that exports hardware capability bits 2808 | if (__builtin_cpu_supports ("arch_3_1") && __builtin_cpu_supports ("mma")){ | ~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ /usr/include/eigen3/Eigen/src/Core/arch/AltiVec/MatrixProduct.h:2808:73: warning: builtin '__builtin_cpu_supports' needs GLIBC (2.23 and newer) that exports hardware capability bits 2808 | if (__builtin_cpu_supports ("arch_3_1") && __builtin_cpu_supports ("mma")){ | ~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~ In file included from /usr/include/eigen3/Eigen/Core:350, from /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.1/include/libsemigroups/digraph.hpp:58, from tests/test-stephen.cpp:40: In member function 'void Eigen::internal::gebp_kernel::operator()(const DataMapper&, const double*, const double*, Index, Index, Index, double, Index, Index, Index, Index) [with Index = long int; DataMapper = Eigen::internal::blas_data_mapper; int mr = 4; int nr = 4; bool ConjugateLhs = false; bool ConjugateRhs = false]', inlined from 'static void Eigen::internal::general_matrix_matrix_product::run(Index, Index, Index, const LhsScalar*, Index, const RhsScalar*, Index, ResScalar*, Index, Index, ResScalar, Eigen::internal::level3_blocking&, Eigen::internal::GemmParallelInfo*) [with Index = long int; LhsScalar = double; int LhsStorageOrder = 0; bool ConjugateLhs = false; RhsScalar = double; int RhsStorageOrder = 0; bool ConjugateRhs = false; int ResInnerStride = 1]' at /usr/include/eigen3/Eigen/src/Core/products/GeneralMatrixMatrix.h:198:15: /usr/include/eigen3/Eigen/src/Core/arch/AltiVec/MatrixProduct.h:2808:34: warning: builtin '__builtin_cpu_supports' needs GLIBC (2.23 and newer) that exports hardware capability bits 2808 | if (__builtin_cpu_supports ("arch_3_1") && __builtin_cpu_supports ("mma")){ | ~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ /usr/include/eigen3/Eigen/src/Core/arch/AltiVec/MatrixProduct.h:2808:73: warning: builtin '__builtin_cpu_supports' needs GLIBC (2.23 and newer) that exports hardware capability bits 2808 | if (__builtin_cpu_supports ("arch_3_1") && __builtin_cpu_supports ("mma")){ | ~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~ In file included from /usr/include/eigen3/Eigen/Core:350, from /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.1/include/libsemigroups/digraph.hpp:58, from /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.1/include/libsemigroups/knuth-bendix.hpp:34, from /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.1/include/libsemigroups/kbe.hpp:34, from tests/test-knuth-bendix-1.cpp:53: In member function 'void Eigen::internal::gebp_kernel::operator()(const DataMapper&, const double*, const double*, Index, Index, Index, double, Index, Index, Index, Index) [with Index = long int; DataMapper = Eigen::internal::blas_data_mapper; int mr = 4; int nr = 4; bool ConjugateLhs = false; bool ConjugateRhs = false]', inlined from 'static void Eigen::internal::general_matrix_matrix_product::run(Index, Index, Index, const LhsScalar*, Index, const RhsScalar*, Index, ResScalar*, Index, Index, ResScalar, Eigen::internal::level3_blocking&, Eigen::internal::GemmParallelInfo*) [with Index = long int; LhsScalar = double; int LhsStorageOrder = 0; bool ConjugateLhs = false; RhsScalar = double; int RhsStorageOrder = 0; bool ConjugateRhs = false; int ResInnerStride = 1]' at /usr/include/eigen3/Eigen/src/Core/products/GeneralMatrixMatrix.h:198:15: /usr/include/eigen3/Eigen/src/Core/arch/AltiVec/MatrixProduct.h:2808:34: warning: builtin '__builtin_cpu_supports' needs GLIBC (2.23 and newer) that exports hardware capability bits 2808 | if (__builtin_cpu_supports ("arch_3_1") && __builtin_cpu_supports ("mma")){ | ~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ /usr/include/eigen3/Eigen/src/Core/arch/AltiVec/MatrixProduct.h:2808:73: warning: builtin '__builtin_cpu_supports' needs GLIBC (2.23 and newer) that exports hardware capability bits 2808 | if (__builtin_cpu_supports ("arch_3_1") && __builtin_cpu_supports ("mma")){ | ~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~ In file included from /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++/12.2.1/algorithm:61, from tests/test-matrix.cpp:17: In function 'void std::__final_insertion_sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = libsemigroups::StaticRowView*; _Compare = __gnu_cxx::__ops::_Iter_comp_iter >():: >]', inlined from 'void std::__sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = libsemigroups::StaticRowView*; _Compare = __gnu_cxx::__ops::_Iter_comp_iter >():: >]' at /usr/include/c++/12.2.1/bits/stl_algo.h:1940:31, inlined from 'void std::sort(_RAIter, _RAIter, _Compare) [with _RAIter = libsemigroups::StaticRowView*; _Compare = libsemigroups::{anonymous}::test_BMat000 >()::]' at /usr/include/c++/12.2.1/bits/stl_algo.h:4853:18, inlined from 'void libsemigroups::{anonymous}::test_BMat000() [with Mat = libsemigroups::StaticMatrix]' at tests/test-matrix.cpp:166:18: /usr/include/c++/12.2.1/bits/stl_algo.h:1849:32: warning: array subscript 16 is outside array bounds of 'libsemigroups::detail::StaticVector1, 2> [1]' [-Warray-bounds] 1849 | std::__insertion_sort(__first, __first + int(_S_threshold), __comp); | ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ tests/test-matrix.cpp: In function 'void libsemigroups::{anonymous}::test_BMat000() [with Mat = libsemigroups::StaticMatrix]': tests/test-matrix.cpp:160:14: note: at offset 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 . . . 39μs Action 002: row and column basis orbits for BMat8 . . . 2073μs Action 003: add generators after enumeration . . . 2065μs Action 004: multipliers for BMat8 row and column orbits . . . 4381μs Action 005: orbits for regular boolean mat monoid 5 . . . 355ms Action 007: partial perm image orbit . . . 379μs Action 008: partial perm image orbit . . . 98ms Action 009: partial perm image orbit . . . 103ms Action 010: partial perm image orbit . . . 106ms Action 011: permutation on integers . . . 27μs Action 012: permutation on sets, arrays . . . 246μs Action 013: permutation on tuples, arrays . . . 26ms Action 014: permutation on sets, vectors . . . 324μs Action 015: permutation on tuples, vectors . . . 35ms Action 016: misc . . . 17ms Action 017: partial perm image orbit . . . 68μs Action 018: permutation on tuples, arrays (360360) . . . 347ms Action 019: orbits for regular BMat8 monoid 5 with stop/start . . . 474ms Action 021: orbits for regular boolean mat monoid 5 (BMat<5> [...] . . . 650ms ActionDigraph 000: constructor with 1 default arg . . . 17μs ActionDigraph 001: constructor with 0 default args . . . 52μs ActionDigraph 002: add nodes . . . 31μs ActionDigraph 003: add edges . . . 252μs ActionDigraph 004: strongly connected components - cycles . . . 31μs ActionDigraph 005: strongly connected components - no edges . . . 50ms ActionDigraph 006: strongly connected components - disjoint cycles . . . 1416μs ActionDigraph 007: strongly connected components - complete graphs . . . 669μs ActionDigraph 008: exceptions . . . 102μs ActionDigraph 009: spanning forest - complete graphs . . . 3278μs ActionDigraph 010: spanning forest - disjoint cycles . . . 111μs ActionDigraph 011: restrict . . . 12μs ActionDigraph 012: remove_edge_nc . . . 12μs ActionDigraph 013: scc large cycle . . . 9465μs ActionDigraph 014: random . . . 21μs ActionDigraph 015: reserve . . . 13μs ActionDigraph 016: default constructors . . . 18μs ActionDigraph 017: scc iterators . . . 907μs ActionDigraph 018: iterator to edges . . . 587μs ActionDigraph 019: root of scc . . . 235μs ActionDigraph 020: cbegin/end_panislo - 100 node path . . . 663μs ActionDigraph 021: cbegin/end_pislo . . . 59μs ActionDigraph 022: cbegin/end_pani(s)lo - 100 node cycle . . . 708μs ActionDigraph 023: cbegin/cend_pilo - tree 14 nodes . . . 108μs ActionDigraph 024: cbegin/end_pstilo - Cayley digraph . . . 232ms ActionDigraph 025: cbegin_pstilo - Tsalakou . . . 399μs ActionDigraph 026: cbegin/end_pstislo - Cayley digraph . . . 237ms ActionDigraph 027: cbegin/end_pstislo - Cayley digraph . . . 254μs ActionDigraph 028: path iterators corner cases . . . 288μs ActionDigraph 029: reverse node iterator . . . 13μs ActionDigraph 030: pstilo corner case . . . 40μs ActionDigraph 031: number_of_paths corner cases . . . 89μs ActionDigraph 032: number_of_paths acyclic digraph . . . 14ms ActionDigraph 033: number_of_paths binary tree . . . 534ms ActionDigraph 034: number_of_paths large binary tree . . . 86ms ActionDigraph 035: number_of_paths 400 node random digraph . . . 1025μs ActionDigraph 036: number_of_paths 10 node acyclic digraph . . . 39μs ActionDigraph 037: number_of_paths node digraph . . . 2710μs ActionDigraph 038: random/random_acyclic exceptions . . . 172μs ActionDigraph 039: unsafe (next) neighbour . . . 46μs ActionDigraph 040: number_of_egdes incident to a node . . . 49μs ActionDigraph 041: number_of_paths (matrix) . . . 25ms ActionDigraph 042: number_of_paths (matrix) . . . 17μs ActionDigraph 043: swap_edge_nc . . . 12μs ActionDigraph 044: detail::pow for non-square Eigen matrix . . . 30μs ActionDigraph 045: operator<< . . . 17μs Array2 044: all . . . 62μs BMat8 001: transpose . . . 23μs BMat8 002: multiplication . . . 24μs BMat8 003: identity matrix . . . 18μs BMat8 004: random . . . 135μs BMat8 005: call operator . . . 23μs BMat8 006: operator<< . . . 24μs BMat8 007: set . . . 99μs BMat8 008: row space basis . . . 769μs BMat8 009: col space basis . . . 771μs BMat8 010: row space basis . . . 1276μs BMat8 011: number_of_rows, number_of_cols . . . 46μs BMat8 012: row_space, col_space . . . 272μs BMat8 013: rows . . . 55μs BMat8 014: one . . . 14μs BMat8 015: vector constructor . . . 161μs BMat8 016: operator< . . . 17μs BMat8 017: adapters . . . 25μ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 . . . 53μs Bipartition 015: convenience constructor . . . 408μs Bipartition 016: force copy constructor over move constructor . . . 19μs Bipartition 017: adapters . . . 11μs BitSet 000: size . . . 14μs BitSet 001: operator< . . . 13μs BitSet 002: operator== . . . 15μs BitSet 003: operator!= . . . 15μs BitSet 004: operator&= . . . 17μs BitSet 005: & . . . 21μs BitSet 006: operator|= . . . 24μs BitSet 007: operator[] . . . 22μs BitSet 008: set(none) . . . 25μs BitSet 009: set(pos, value) . . . 24μs BitSet 010: set(first, last, value) . . . 28μs BitSet 011: reset(first, last) . . . 27μs BitSet 012: reset(pos) . . . 26μs BitSet 013: apply (iterate through set bits) . . . 32μs BitSet 014: std::hash . . . 10μs BitSet 015: constructors . . . 24μs BitSet 016: max_size . . . 11μs BitSet 017: insertion operators . . . 16μs Blocks 001: empty blocks . . . 15μs Blocks 002: non-empty blocks . . . 15μs Blocks 003: left blocks of bipartition . . . 15μs Blocks 004: right blocks of bipartition . . . 16μs Blocks 005: copy [empty blocks] . . . 13μs Blocks 006: copy [non-empty blocks] . . . 16μs Blocks 007: hash value . . . 15μs Blocks 008: operator< . . . 14μs Congruence 000: left congruence on fp semigroup . . . 108μs Congruence 001: 2-sided congruence on fp semigroup . . . 891μs Congruence 002: left congruence on fp semigroup . . . 644μs Congruence 003: word_to_class_index for cong. on fp semigroup . . . 800μs Congruence 004: word_to_class_index for cong. on fp semigroup . . . 451μs Congruence 005: trivial congruence on non-fp semigroup . . . 474μs Congruence 006: 2-sided congruence on non-fp semigroup . . . 365μs Congruence 007: 2-sided congruence on fp semigroup . . . 602μs Congruence 008: 2-sided congruence on infinite fp semigroup . . . 320μs Congruence 009: 2-sided congruence on infinite fp semigroup . . . 542μs Congruence 010: 2-sided congruence on finite semigroup . . . 54ms Congruence 012: 2-sided congruence on finite semigroup . . . 4671μs Congruence 013: trivial 2-sided congruence on bicyclic monoid . . . 33ms Congruence 014: non-trivial 2-sided congruence on bicyclic monoid . . . 356μs Congruence 015: 2-sided congruence on free abelian monoid . . . 877μs Congruence 016: example where TC works but KB doesn't . . . 586μs Congruence 017: 2-sided congruence on finite semigroup . . . 388μs Congruence 018: infinite fp semigroup from GAP library . . . 599μs Congruence 019: 2-sided cong. on fp semigroup with infinite [...] . . . 277μs Congruence 020: trivial cong. on an fp semigroup . . .  -- with compute size 317μs  -- with don't compute size 318μs Congruence 021: duplicate generators . . . 512μs Congruence 022: non-trivial classes . . . 1572μs Congruence 023: right congruence on finite semigroup . . . 256ms Congruence 024: redundant generating pairs . . . 86μs Congruence 025: 2-sided cong. on free semigroup . . . 66μs Congruence 026: is_quotient_obviously_(in)finite . . . 840μs Congruence 027: less . . . 775μs Congruence 028: 2-sided congruences of BMat8 semigroup . . . 147ms Congruence 029: left congruence on finite semigroup . . . 1082μs Congruence 030: right congruence on finite semigroup . . . 1008μs Congruence 031: right congruence on finite semigroup . . . 476μs Congruence 032: contains . . . 131μs Congruence 033: stellar_monoid S2 . . . 443μs Congruence 034: stellar_monoid S3 . . . 810μs Congruence 035: stellar_monoid S4 . . . 1821μs Congruence 036: stellar_monoid S5 . . . 10ms Congruence 037: stellar_monoid S6 . . . 85ms Congruence 038: stellar_monoid S7 . . . 831ms Congruence 039: left cong. on an f.p. semigroup . . . 1092μs Congruence 040: 2-sided cong. on infinite f.p. semigroup . . . 145μs Congruence 041: 2-sided congruence constructed from type only . . . 817μs Congruence 042: const_contains . . . 985μs Congruence 043: no winner . . . 4804μs Congruence 044: congruence over smalloverlap . . . 6562μs CongruenceByPairs 001: (cong) 2-sided cong. on finite semigroup . . . 448μs CongruenceByPairs 002: (cong) left congruence on finite semigroup . . . 138μs CongruenceByPairs 003: (cong) right congruence on finite semigroup . . . 136μs CongruenceByPairs 004: (cong) trivial congruence on finite s [...] . . . 100μs CongruenceByPairs 005: (cong) trivial left congruence on fin [...] . . . 90μs CongruenceByPairs 006: (cong) trivial right congruence on fi [...] . . . 91μs CongruenceByPairs 007: (cong) universal congruence on finite [...] . . . 481μs CongruenceByPairs 009: (cong) 2-sided congruence on finite s [...] . . . 664ms CongruenceByPairs 010: (cong) left congruence on big finite [...] . . . 34ms CongruenceByPairs 011: (cong) left congruence on TCE . . . 288μ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 1402μs  -- with 2-sided congruence 8473μs CongruenceByPairs 014: (cong) const_word_to_class_index . . .  -- with right congruence 43μs  -- with left congruence 39μs  -- with 2-sided congruence 39μs CongruenceByPairs 015: (cong) size non-Element* . . . 24ms CongruenceInterface 000: add_pair . . .  -- with ToddCoxeter 187μs  -- with KnuthBendix 256μs  -- with CongruenceByPairs 194μs  -- with Congruence 1160μs CongruenceInterface 001: contains/const_contains . . .  -- with ToddCoxeter and no parent 196μs  -- with KnuthBendix and no parent 212μs  -- with Congruence and parent 1080μs  -- with CongruenceByPairs and parent 154μs CongruenceInterface 002: less . . .  -- with ToddCoxeter 152μs  -- with KnuthBendix 233μs  -- with CongruenceByPairs 157μs  -- with Congruence 521μs CongruenceInterface 003: is_quotient_obviously_(in)finite . . .  -- with ToddCoxeter 125μs  -- with KnuthBendix 207μs CongruenceInterface 004: is_quotient_obviously_(in)finite . . .  -- with CongruenceByPairs 163μs  -- with Congruence 465μs CongruenceInterface 005: parent_froidure_pin . . .  -- with ToddCoxeter 42μs  -- with KnuthBendix 38μs CongruenceInterface 006: parent_froidure_pin . . .  -- with CongruenceByPairs 155μs  -- with Congruence 510μs CongruenceInterface 007: cbegin/cend_ntc . . .  -- with ToddCoxeter 271μs  -- with KnuthBendix 1895μs CongruenceInterface 008: cbegin/cend_ntc . . .  -- with CongruenceByPairs 196μs  -- with Congruence 451μs CongruenceInterface 009: quotient is immutable . . .  -- with ToddCoxeter 133μs  -- with KnuthBendix 182μs  -- with Congruence 371μs CongruenceInterface 010: no generating pairs added . . .  -- with KnuthBendix and common behaviour 4552μs  -- with Congruence and common behaviour 4780μs  -- with ToddCoxeter 133μs CongruenceInterface 011: nr generators not set . . .  -- with ToddCoxeter 218μs  -- with KnuthBendix 213μs  -- with Congruence 222μs CongruenceInterface 012: no generating pairs . . . 171μs ConstIteratorStateless 001: ? . . . 12μs ConstIteratorStateless 002: ? . . . 11μs Constants 001: Undefined . . . 20μs Constants 002: PositiveInfinity . . . 20μs Constants 003: NegativeInfinity . . . 18μs Constants 004: LimitMax . . . 17μs Duf 004: unite . . . 27μs Duf 006: compress . . . 18μs Duf 008: resize . . . 24μs Duf 009: resize . . . 15μs Duf 010: big chain . . . 21ms Duf 012: empty table . . . 12μs Duf 014: join . . . 15μs Duf 016: contains . . . 32μs Duf 018: swap . . . 37μs DynamicArray2 001: default constructor with 3 default args . . . 13μ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 . . . 12μs DynamicArray2 006: copy constructor with 0 default args . . . 16μs DynamicArray2 007: add_rows . . . 15μs DynamicArray2 008: add_rows . . . 14μs DynamicArray2 009: add_cols . . . 16μs DynamicArray2 010: set/get . . . 27μs DynamicArray2 011: append 1/2 . . . 49μs DynamicArray2 012: append 2/2 . . . 73μs DynamicArray2 013: count . . . 23μs DynamicArray2 014: clear . . . 12μs DynamicArray2 015: begin_row and end_row . . . 67μs DynamicArray2 016: cbegin_row and cend_row . . . 29μs DynamicArray2 017: iterator operator++ (postfix) . . . 271μs DynamicArray2 018: iterator operator++ (prefix) . . . 1815μs DynamicArray2 019: iterator operator-- (postfix) . . . 355μs DynamicArray2 020: iterator operator-- (prefix) . . . 353μs DynamicArray2 021: operator= . . . 16μs DynamicArray2 022: operator== and operator!= . . . 240μs DynamicArray2 023: empty and clear . . . 15μs DynamicArray2 024: max_size . . . 11μs DynamicArray2 025: swap . . . 34μs DynamicArray2 026: iterator arithmetic . . . 1593μs DynamicArray2 027: iterator comparison . . . 15μs DynamicArray2 028: iterator operator= . . . 13μs DynamicArray2 029: iterator operator[] . . . 89μs DynamicArray2 030: iterator operator-> . . . 12μs DynamicArray2 031: const_iterator operator++/-- . . . 229μs DynamicArray2 032: const_iterator operator++/-- . . . 11μs DynamicArray2 033: column iterators . . . 28μs DynamicArray2 034: column iterator arithmetic . . . 6589μs DynamicArray2 035: iterator assignment constructor . . . 1855μs DynamicArray2 036: reserve method . . . 39μs DynamicArray2 037: erase column . . . 18μs DynamicArray2 038: swap_rows . . . 14μs DynamicArray2 039: apply_row_permutation . . . 14μs DynamicArray2 040: swap . . . 13μs DynamicArray2 041: shrink_rows_to . . . 18μs DynamicArray2 042: shrink_rows_to - for range . . . 18μs FastestBMat 046: check no throw . . . 14μs FelschTree 000: previously failing example . . . 32μs Forest 001: test forest . . . 79μs FpSemigroup 001: Renner monoid type B2 (E. G. presentation), q = 1 . . . 1092μs FpSemigroup 002: Renner monoid type B2 (E. G. presentation), q = 0 . . . 1021μs FpSemigroup 003: Renner monoid type B3 (E. G. presentation), q = 1 . . . 227ms FpSemigroup 004: Renner monoid type B3 (E. G. presentation), q = 0 . . . 160ms FpSemigroup 005: Renner monoid type B2 (Gay-Hivert presentat [...] . . . 1200μs FpSemigroup 006: Renner monoid type B2 (Gay-Hivert presentat [...] . . . 945μs FpSemigroup 007: Renner monoid type B3 (Gay-Hivert presentat [...] . . . 5909μs FpSemigroup 008: Renner monoid type B3 (Gay-Hivert presentat [...] . . . 4334μs FpSemigroup 009: Renner monoid type B4 (Gay-Hivert presentat [...] . . . 241ms FpSemigroup 010: Renner monoid type B4 (Gay-Hivert presentat [...] . . . 357ms FpSemigroup 013: Renner monoid type D2 (E. G. presentation), q = 1 . . . 1454μs FpSemigroup 014: Renner monoid type D2 (E. G. presentation), q = 0 . . . 1185μs FpSemigroup 015: Renner monoid type D3 (E. G. presentation), q = 1 . . . 5073μs FpSemigroup 016: Renner monoid type D3 (E. G. presentation), q = 0 . . . 5678μs FpSemigroup 017: Renner monoid type D4 (E. G. presentation), q = 1 . . . 3573ms FpSemigroup 018: Renner monoid type D4 (E. G. presentation), q = 0 . . . 3600ms FpSemigroup 019: Renner monoid type D2 (Gay-Hivert presentat [...] . . . 1319μs FpSemigroup 020: Renner monoid type D2 (Gay-Hivert presentat [...] . . . 1111μs FpSemigroup 021: Renner monoid type D3 (Gay-Hivert presentat [...] . . . 6779μs FpSemigroup 022: Renner monoid type D3 (Gay-Hivert presentat [...] . . . 5627μs FpSemigroup 023: Renner monoid type D4 (Gay-Hivert presentat [...] . . . 110ms FpSemigroup 024: Renner monoid type D4 (Gay-Hivert presentat [...] . . . 119ms FpSemigroup 029: Rook monoid R5, q = 0 . . . 6302μs FpSemigroup 030: Rook monoid R5, q = 1 . . . 6507μs FpSemigroup 031: Rook monoid R6, q = 0 . . . 62ms FpSemigroup 032: Rook monoid R6, q = 1 . . . 66ms FpSemigroup 033: normal_form . . . 318μs FpSemigroup 034: for a finite semigroup . . . 552μs FpSemigroup 035: finite fp semigroup, dihedral group of order 6 . . . 495μs FpSemigroup 036: finite fp semigroup, size 16 . . . 685μs FpSemigroup 037: finite fp semigroup, size 16 . . . 1115μs FpSemigroup 038: fp semigroup, size 240 . . . 1223μs FpSemigroup 039: add_rule . . . 269μs FpSemigroup 040: add_rule . . . 148μs FpSemigroup 041: equal_to . . . 305μs FpSemigroup 042: cbegin/cend_rules . . . 67μs FpSemigroup 043: semigroup of size 3 . . . 412μs FpSemigroup 044: run_for/until . . . 2388μs FpSemigroup 045: constructors . . . 257μs FpSemigroup 046: set_inverses . . . 171μs FpSemigroup 047: smalloverlap . . . 7764μs FpSemigroup 048: quaternion group Q8 . . . 551μs FpSemigroup 049: symmetric group Coxeter presentation . . . 115ms FpSemigroupByPairs 029: (fpsemi) 2-sided congruence on finit [...] . . . 840μs FpSemigroupByPairs 030: (fpsemi) 2-sided congruence on finit [...] . . . 803μs FpSemigroupInterface 000: run with no alphabet . . .  -- with ToddCoxeter 109μs  -- with KnuthBendix 74μs  -- with FpSemigroup 92μs FpSemigroupInterface 001: equal_to . . .  -- with ToddCoxeter and human readable alphabet 3867μs  -- with KnuthBendix and human readable alphabet 10ms  -- with FpSemigroup and human readable alphabet 7709μs  -- with FpSemigroupByPairs 3721μs FpSemigroupInterface 002: normal_form . . .  -- with ToddCoxeter 220μs  -- with KnuthBendix 250μs  -- with FpSemigroup 864μs FpSemigroupInterface 003: set_alphabet (1/2) . . .  -- with ToddCoxeter 145μs  -- with KnuthBendix 128μs  -- with FpSemigroup 140μs FpSemigroupInterface 004: set_alphabet (2/2) . . . 1491μs FpSemigroupInterface 005: add_rule after finished . . .  -- with ToddCoxeter and human readable alphabet 213μs  -- with KnuthBendix and human readable alphabet 242μs  -- with FpSemigroup and human readable alphabet 734μs  -- with FpSemigroupByPairs 1403μs FpSemigroupInterface 006: add_rule with equal words (1/2) . . .  -- with ToddCoxeter and human readable alphabet 146μs  -- with KnuthBendix and human readable alphabet 250μs  -- with FpSemigroup and human readable alphabet 283μs  -- with FpSemigroupByPairs 128μs FpSemigroupInterface 007: add_rule with equal words (2/2) . . .  -- with ToddCoxeter 26μs  -- with KnuthBendix 21μs  -- with FpSemigroup 33μs FpSemigroupInterface 008: add_rule with word_type . . .  -- with ToddCoxeter 64μs  -- with KnuthBendix 59μs  -- with FpSemigroup 88μs FpSemigroupInterface 009: add_rule with empty word (1/2) . . .  -- with ToddCoxeter 53μs  -- with FpSemigroup 61μs FpSemigroupInterface 010: add_rule with empty word (1/2) . . . 16μs FpSemigroupInterface 011: add_rules (1/3) . . .  -- with ToddCoxeter 52μs  -- with KnuthBendix 46μs  -- with FpSemigroup 58μs FpSemigroupInterface 012: add_rules (2/3) . . . 262μs FpSemigroupInterface 013: add_rules (3/3) . . .  -- with ToddCoxeter 30μs  -- with KnuthBendix 26μs  -- with FpSemigroup 62μs FpSemigroupInterface 014: set_identity (1/3) . . .  -- with ToddCoxeter 154μs  -- with KnuthBendix 153μs  -- with FpSemigroup 190μs FpSemigroupInterface 015: set_identity (2/3) . . . 180μs FpSemigroupInterface 016: set_identity (3/3) . . .  -- with ToddCoxeter 93μs  -- with KnuthBendix 93μs  -- with FpSemigroup 134μs FpSemigroupInterface 017: identity . . .  -- with ToddCoxeter 39μs  -- with KnuthBendix 34μs  -- with FpSemigroup 44μs FpSemigroupInterface 018: set_inverses + inverses (1/2) . . .  -- with ToddCoxeter 244μs  -- with KnuthBendix 244μs  -- with FpSemigroup 294μs FpSemigroupInterface 019: set_inverses + inverses (2/2) . . . 334μs FpSemigroupInterface 020: is_obviously_infinite (1/2) . . .  -- with ToddCoxeter 165μs  -- with KnuthBendix 222μs  -- with FpSemigroup 488μs FpSemigroupInterface 021: is_obviously_infinite (2/2) . . . 38μs FpSemigroupInterface 022: is_obviously_finite (1/2) . . .  -- with ToddCoxeter 156μs  -- with KnuthBendix 211μs  -- with FpSemigroup 728μs FpSemigroupInterface 023: is_obviously_finite (2/2) . . . 33μs FpSemigroupInterface 024: to_gap_string (1/3) . . .  -- with ToddCoxeter 31μs  -- with KnuthBendix 29μs  -- with FpSemigroup 64μs FpSemigroupInterface 025: to_gap_string (2/3) . . . 18μs FpSemigroupInterface 026: to_gap_string (3/3) . . . 30μs FroidurePin 015: (BMat8) regular boolean mat monoid 4 . . . 73ms FroidurePin 016: (BMat8) exception zero generators given . . . 18μs FroidurePin 017: (BMat8) exception word_to_element . . . 102μs FroidurePin 018: (BMat8) exception prefix . . . 4022μs FroidurePin 019: (BMat8) exception suffix . . . 25μs FroidurePin 020: (BMat8) exception first_letter . . . 3963μs FroidurePin 021: (BMat8) exception final_letter . . . 25μs FroidurePin 022: (BMat8) exception current_length . . . 3983μs FroidurePin 023: (BMat8) exception product_by_reduction . . . 4238μs FroidurePin 024: (BMat8) exception fast_product . . . 3473μs FroidurePin 025: (BMat8) exception is_idempotent . . . 40ms FroidurePin 026: (BMat8) copy constructor . . .  -- with fully enumerated 38ms  -- with partially enumerated 28ms  -- with not enumerated 26ms FroidurePin 027: (BMat8) cbegin/end_rules . . . 62μs FroidurePin 031: (integers) . . . 128μs FroidurePin 039: (pairs of integers) non-trivial user type . . . 25μs FroidurePin 055: (tropical max-plus semiring matrices) . . . 255μs FroidurePin 061: projective max plus matrix . . . 1038μs FroidurePin 062: projective max plus matrix . . . 40μs FroidurePin> 009: small example 2 . . . 44μs FroidurePin> 005: small example 1 . . . 129μs FroidurePin> 007: regular bmat monoid 4 . . . 58ms FroidurePin> 011: small example 3 . . . 474μs FroidurePin> 006: small example 1 . . . 152μs FroidurePin> 008: regular bmat monoid 4 . . . 71ms FroidurePin> 010: small example 2 . . . 46μs FroidurePin> 012: small example 3 . . . 557μs FroidurePin 000: small example 1 . . . 164μs FroidurePin 001: default constructed . . . 128μs FroidurePin 002: small example 2 . . . 55μs FroidurePin 004: exception: is_idempotent . . . 321μs FroidurePin> 033: Example 000 . . . 710μs FroidurePin> 035: Example 001 . . . 46μs FroidurePin> 032: Example 000 . . . 604μs FroidurePin> 034: Example 001 . . . 43μs FroidurePin 036: exception: current_position . . . 186μs FroidurePin 037: exception: word_to_element . . . 118μs FroidurePin 038: exception: prefix, suffix, first_letter . . . 48ms FroidurePin> 040: Example 000 . . . 66μs FroidurePin> 041: Example 000 . . . 64μs FroidurePin> 046: Example 005 . . . 147μs FroidurePin> 047: Example 005 . . . 174μs FroidurePin> 048: Example 005 . . . 166μs FroidurePin> 044: Example 004 . . . 33μs FroidurePin> 045: Example 004 . . . 34μs FroidurePin> 049: Example 006 . . . 933μs FroidurePin> 050: Example 006 . . . 1070μs FroidurePin> 051: Example 006 . . . 1065μs FroidurePin> 052: Example 007 . . . 117μs FroidurePin> 053: Example 007 . . . 129μs FroidurePin> 054: Example 007 . . . 129μs FroidurePin 056: example 1 . . . 198μs FroidurePin 057: example 2 . . . 155μs FroidurePin> 058: . . . 566μs FroidurePin> 059: . . . 56μs FroidurePin> 060: exceptions: add_generator(s) . . . 85μs FroidurePin> 065: no exception zero generators given . . . 19μs FroidurePin> 066: exception generators of different [...] . . . 63μs FroidurePin> 067: exception current_position . . . 64μs FroidurePin> 068: exception word_to_element . . . 73μs FroidurePin> 069: exception gens . . . 774μs FroidurePin> 070: exception prefix . . . 58ms FroidurePin> 071: exception suffix . . . 150ms FroidurePin> 072: exception first_letter . . . 83μs FroidurePin> 073: exception final_letter . . . 80μs FroidurePin> 074: exception current_length . . . 79μs FroidurePin> 075: exception product_by_reduction . . . 999μs FroidurePin> 076: exception fast_product . . . 1046μs FroidurePin> 077: exception current_position . . . 750μs FroidurePin> 078: exception is_idempotent . . . 661μs FroidurePin> 079: exception add_generators . . . 50μs FroidurePin> 080: multithread number_of_idempotents . . . 1191μs FroidurePin> 081: small semigroup . . . 32μs FroidurePin> 082: large semigroup . . . 5382μs FroidurePin> 083: at, position, current_* . . . 5429μs FroidurePin> 084: run . . . 5337μs FroidurePin> 085: run [many stops and starts] . . . 5532μs FroidurePin> 086: factorisation, length [1 element] . . . 5144μs FroidurePin> 087: factorisation, products [all elements] . . . 8239μs FroidurePin> 088: first/final letter, prefix, suffi [...] . . . 5270μs FroidurePin> 089: current_position [standard] . . . 28μs FroidurePin> 090: current_position [duplicate gens] . . . 8450μs FroidurePin> 091: current_position [after add_generators] . . . 5310μs FroidurePin> 092: cbegin_idempotents/cend [1 thread] . . . 5931μs FroidurePin> 093: idempotent_cend/cbegin [1 thread] . . . 5921μs FroidurePin> 094: is_idempotent [1 thread] . . . 6139μs FroidurePin> 096: finished, started . . . 5243μs FroidurePin> 097: current_position . . . 1185μs FroidurePin> 098: sorted_position, sorted_at . . . 6489μs FroidurePin> 099: right/left Cayley graph . . . 36ms FroidurePin> 100: iterator . . . 9584μs FroidurePin> 101: reverse iterator . . . 9599μs FroidurePin> 102: iterator arithmetic . . . 40ms FroidurePin> 103: iterator sorted . . . 36ms FroidurePin> 104: iterator sorted arithmetic . . . 45ms FroidurePin> 105: copy [not enumerated] . . . 5456μs FroidurePin> 106: copy_closure [not enumerated] . . . 34ms FroidurePin> 107: copy_add_generators [not enumerated] . . . 32ms FroidurePin> 108: copy [partly enumerated] . . . 5858μs FroidurePin> 109: copy_closure [partly enumerated] . . . 8635μs FroidurePin> 110: copy_add_generators [partly enumerated] . . . 5825μs FroidurePin> 111: copy [fully enumerated] . . . 8518μs FroidurePin> 112: copy_closure [fully enumerated] . . . 8592μs FroidurePin> 113: copy_add_generators [fully enumerated] . . . 7971μs FroidurePin> 114: relations [duplicate gens] . . . 174μs FroidurePin> 115: relations . . . 8814μs FroidurePin> 116: relations [copy_closure, duplicat [...] . . . 8819μs FroidurePin> 117: relations [copy_add_generators, d [...] . . . 8897μs FroidurePin> 118: relations [from copy, not enumerated] . . . 7022μs FroidurePin> 119: relations [from copy, partly enum [...] . . . 12ms FroidurePin> 120: relations [from copy, fully enumerated] . . . 13ms FroidurePin> 121: relations [from copy_closure, not [...] . . . 11ms FroidurePin> 122: relations [from copy_add_generato [...] . . . 7015μs FroidurePin> 123: relations [from copy_closure, par [...] . . . 9861μs FroidurePin> 124: relations [from copy_add_generato [...] . . . 8557μs FroidurePin> 125: relations [from copy_closure, ful [...] . . . 12ms FroidurePin> 126: relations [from copy_add_generato [...] . . . 11ms FroidurePin> 127: add_generators [duplicate generators] . . . 254μs FroidurePin> 128: add_generators [incremental 1] . . . 263μs FroidurePin> 129: add_generators [incremental 2] . . . 334μs FroidurePin> 130: closure [duplicate generators] . . . 189μs FroidurePin> 131: closure . . . 94μs FroidurePin> 132: factorisation . . . 27μs FroidurePin> 134: minimal_factorisation . . . 77μs FroidurePin> 135: batch_size (for an extremely larg [...] . . . 26μs FroidurePin> 137: exception: generators of differen [...] . . . 44μs FroidurePin> 138: exception: current_position . . . 66μs FroidurePin> 139: exception: word_to_element . . . 72μs FroidurePin> 140: exception: gens, current_position . . . 1085μs FroidurePin> 141: exception: add_generators . . . 43μs KBE 000: constructors . . . 51μs KBE 001: test . . . 85μs KBE 002: factorisation . . . 67μs KBE 003: swap . . . 47μs KBE 004: adapters . . . 45μs KBE 005: conversions . . . 45μs Kambites 000: (fpsemi) MT test 4 (std::string) . . . 6039μs Kambites 001: (fpsemi) MT test 4 (MultiStringView) . . . 6014μs Kambites 002: (fpsemi) number_of_pieces (std::string) . . . 113μs Kambites 003: (fpsemi) number_of_pieces (MultiStringView) . . . 105μs Kambites 004: (fpsemi) small_overlap_class (std::string) . . . 3657μs Kambites 005: (fpsemi) small_overlap_class (MultiStringView) . . . 3600μ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) . . . 95μs Kambites 011: (fpsemi) smalloverlap/gap/test.gi:85 (MultiStr [...] . . . 81μ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 [...] . . . 43ms Kambites 015: (fpsemi) smalloverlap/gap/test.gi:63 (std::string) . . . 38ms Kambites 016: (fpsemi) smalloverlap/gap/test.gi:63 (MultiStr [...] . . . 47ms Kambites 017: (fpsemi) smalloverlap/gap/test.gi:70 (std::string) . . . 140ms Kambites 018: (fpsemi) smalloverlap/gap/test.gi:70 (MultiStr [...] . . . 173ms Kambites 021: (fpsemi) code coverage (std::string) . . . 48μs Kambites 022: (fpsemi) code coverage (MultiStringView) . . . 36μs Kambites 023: (fpsemi) prefix (std::string) . . . 74μs Kambites 024: (fpsemi) prefix (MultiStringView) . . . 98μs Kambites 025: (fpsemi) normal_form (Example 3.15) (std::string) . . . 79μs Kambites 026: (fpsemi) normal_form (Example 3.15) (MultiStri [...] . . . 91μs Kambites 027: (fpsemi) normal_form (Example 3.16) (std::string) . . . 58μs Kambites 028: (fpsemi) normal_form (Example 3.16) (MultiStri [...] . . . 73μs Kambites 029: (fpsemi) normal_form (Example 3.16) more exhau [...] . . . 104ms Kambites 030: (fpsemi) normal_form (Example 3.16) more exhau [...] . . . 97ms Kambites 031: (fpsemi) small presentation (std::string) . . . 96μs Kambites 032: (fpsemi) small presentation (MultiStringView) . . . 79μs Kambites 033: (fpsemi) non-smalloverlap (std::string) . . . 86μs Kambites 034: (fpsemi) non-smalloverlap (MultiStringView) . . . 87μs Kambites 035: (fpsemi) MT test 3 (std::string) . . . 55μ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) . . . 45μs Kambites 040: (fpsemi) MT test 6 (MultiStringView) . . . 49μs Kambites 041: (fpsemi) MT test 10 (std::string) . . . 42μs Kambites 042: (fpsemi) MT test 10 (MultiStringView) . . . 45μs Kambites 043: (fpsemi) MT test 13 (std::string) . . . 31μs Kambites 044: (fpsemi) MT test 13 (MultiStringView) . . . 32μs Kambites 045: (fpsemi) MT test 14 (std::string) . . . 30μs Kambites 046: (fpsemi) MT test 14 (MultiStringView) . . . 31μs Kambites 047: (fpsemi) MT test 15 (std::string) . . . 42μs Kambites 048: (fpsemi) MT test 15 (MultiStringView) . . . 42μs Kambites 049: (fpsemi) MT test 16 (std::string) . . . 43μs Kambites 050: (fpsemi) MT test 16 (MultiStringView) . . . 46μs Kambites 051: (fpsemi) MT test 17 (std::string) . . . 120μs Kambites 052: (fpsemi) MT test 17 (MultiStringView) . . . 104μs Kambites 053: (fpsemi) weak C(4) not strong x 1 (std::string) . . . 648μs Kambites 054: (fpsemi) weak C(4) not strong x 1 (MultiStringView) . . . 688μs Kambites 055: (fpsemi) weak C(4) not strong x 2 (std::string) . . . 640μs Kambites 056: (fpsemi) weak C(4) not strong x 2 (MultiStringView) . . . 690μs Kambites 057: (fpsemi) weak C(4) not strong x 3 (std::string) . . . 626μs Kambites 058: (fpsemi) weak C(4) not strong x 3 (MultiStringView) . . . 589μs Kambites 059: (fpsemi) weak C(4) not strong x 4 (std::string) . . . 75μs Kambites 060: (fpsemi) weak C(4) not strong x 4 (MultiStringView) . . . 86μs Kambites 061: (fpsemi) weak C(4) not strong x 5 (std::string) . . . 38μs Kambites 062: (fpsemi) weak C(4) not strong x 5 (MultiStringView) . . . 36μs Kambites 063: (fpsemi) weak C(4) not strong x 6 (std::string) . . . 49μs Kambites 064: (fpsemi) weak C(4) not strong x 6 (MultiStringView) . . . 51μs Kambites 065: (fpsemi) Konovalov example (std::string) . . . 36μs Kambites 066: (fpsemi) Konovalov example (MultiStringView) . . . 36μs Kambites 067: (fpsemi) long words (std::string) . . . 1583ms Kambites 068: (fpsemi) long words (MultiStringView) . . . 32ms Kambites 075: (cong) example 1 . . . 46μs Kambites 076: (cong) example 2 . . . 137μs Kambites 077: (cong) code coverage . . . 5653μs Kambites 078: (cong) large number of rules . . . 246ms KnuthBendix 000: (fpsemi) confluent fp semigroup 1 (infinite) . . . 146μs KnuthBendix 001: (fpsemi) confluent fp semigroup 2 (infinite) . . . 139μs KnuthBendix 002: (fpsemi) confluent fp semigroup 3 (infinite) . . . 110μs KnuthBendix 003: (fpsemi) non-confluent fp semigroup from wi [...] . . . 201μs KnuthBendix 004: (fpsemi) Example 5.1 in Sims (infinite) . . . 181μs KnuthBendix 005: (fpsemi) Example 5.1 in Sims (infinite) . . . 177μs KnuthBendix 006: (fpsemi) Example 5.3 in Sims . . . 166μs KnuthBendix 007: (fpsemi) Example 5.4 in Sims . . . 207μs KnuthBendix 008: (fpsemi) Example 6.4 in Sims (size 168) . . . 12ms KnuthBendix 009: (fpsemi) . . . 53ms KnuthBendix 010: (fpsemi) SL(2, 7) from Chapter 3, Propositi [...] . . . 126ms KnuthBendix 011: (fpsemi) F(2, 5) - Chapter 9, Section 1 in [...] . . . 734μs KnuthBendix 012: (fpsemi) Reinis example 1 . . . 238μs KnuthBendix 013: redundant_rule (std::string) . . . 100ms KnuthBendix 014: redundant_rule (word_type) . . . 10ms KnuthBendix 019: (fpsemi) C(4) monoid . . . 42μs KnuthBendix 020: (cong) Chinese monoid . . . 212μs KnuthBendix 021: (from kbmag/standalone/kb_data/f25monoid) . . . 842μs KnuthBendix 022: (from kbmag/standalone/kb_data/degen4a) . . . 79ms KnuthBendix 023: (from kbmag/standalone/kb_data/torus) . . . 3108μs KnuthBendix 024: (from kbmag/standalone/kb_data/3a6) . . . 358ms KnuthBendix 025: (from kbmag/standalone/kb_data/f2) . . . 69μs KnuthBendix 026: (from kbmag/standalone/kb_data/s16) . . . 209ms KnuthBendix 027: (from kbmag/standalone/kb_data/a4monoid) . . . 77μs KnuthBendix 028: (from kbmag/standalone/kb_data/degen3) . . . 29μs KnuthBendix 029: (from kbmag/standalone/kb_data/ab1) . . . 28μs KnuthBendix 030: (from kbmag/standalone/kb_data/degen2) . . . 21μs KnuthBendix 031: (from kbmag/standalone/kb_data/f25) . . . 705μs KnuthBendix 032: (from kbmag/standalone/kb_data/237) . . . 857μs KnuthBendix 033: (from kbmag/standalone/kb_data/c2) . . . 20μs KnuthBendix 034: (from kbmag/standalone/kb_data/cosets) . . . 308μs KnuthBendix 035: Example 5.1 in Sims (KnuthBendix 09 again) . . . 84μs KnuthBendix 036: (from kbmag/standalone/kb_data/nilp2) . . . 42μs KnuthBendix 037: Example 6.4 in Sims . . . 21ms KnuthBendix 038: KnuthBendix 071 again . . . 1003μs KnuthBendix 039: Example 5.4 in Sims (KnuthBendix 11 again) [...] . . . 329μs KnuthBendix 040: Example 5.4 in Sims (KnuthBendix 11 again) [...] . . . 263μs KnuthBendix 041: operator<< . . . 80μs KnuthBendix 042: confluence_interval . . . 24μs KnuthBendix 043: max_overlap . . . 24μs KnuthBendix 044: (fpsemi) (from kbmag/standalone/kb_data/d22 [...] . . . 2326μs KnuthBendix 045: (fpsemi) (from kbmag/standalone/kb_data/d22 [...] . . . 4249μs KnuthBendix 046: (fpsemi) small example . . . 1142μs KnuthBendix 047: code coverage . . . 86μs KnuthBendix 048: small overlap 1 . . . 57μs KnuthBendix 049: (from kbmag/standalone/kb_data/s9) . . . 2627μs KnuthBendix 050: (fpsemi) Chapter 11, Lemma 1.8 (q = 6, r = [...] . . . 787μs KnuthBendix 051: (fpsemi) Chapter 11, Section 2 (q = 6, r = [...] . . . 173μs KnuthBendix 052: (fpsemi) Chapter 8, Theorem 4.2 in NR (infinite) . . . 322μs KnuthBendix 053: (fpsemi) equal_to fp semigroup . . . 64μs KnuthBendix 054: (fpsemi) equal_to free semigroup . . . 55μs KnuthBendix 055: (fpsemi) from GAP smalloverlap gap/test.gi [...] . . . 360μs KnuthBendix 056: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 630μs KnuthBendix 057: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 629μs KnuthBendix 058: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 1704μs KnuthBendix 059: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 4001μs KnuthBendix 060: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 34μs KnuthBendix 061: (fpsemi) Von Dyck (2,3,7) group (infinite) . . . 817μs KnuthBendix 062: (fpsemi) Von Dyck (2,3,7) group - different [...] . . . 7559μs KnuthBendix 063: (fpsemi) rewriting system from KnuthBendixC [...] . . . 512μs KnuthBendix 064: (fpsemi) rewriting system from Congruence 20 . . . 36μs KnuthBendix 065: (fpsemi) (from kbmag/standalone/kb_data/ab2) . . . 128μs KnuthBendix 066: (fpsemi) (from kbmag/standalone/kb_data/d22 [...] . . . 2313μs KnuthBendix 067: (fpsemi) (from kbmag/standalone/kb_data/degen1) . . . 81μs KnuthBendix 068: (fpsemi) (from kbmag/standalone/kb_data/s4) . . . 501μs KnuthBendix 069: (fpsemi) fp semigroup (infinite) . . . 69μs KnuthBendix 070: (fpsemi) Chapter 11, Section 1 (q = 4, r = [...] . . . 2712μs KnuthBendix 071: (fpsemi) Chapter 11, Section 1 (q = 8, r = [...] . . . 148ms KnuthBendix 072: (fpsemi) Chapter 7, Theorem 3.9 in NR (size 240) . . . 5502μs KnuthBendix 073: (fpsemi) F(2, 5) - Chapter 9, Section 1 in [...] . . . 803μs KnuthBendix 074: (fpsemi) F(2, 6) - Chapter 9, Section 1 in NR . . . 855μs KnuthBendix 075: (fpsemi) Chapter 10, Section 4 in NR (infinite) . . . 1600μs KnuthBendix 076: (fpsemi) Sym(5) from Chapter 3, Proposition [...] . . . 4845μs KnuthBendix 077: (fpsemi) SL(2, 7) from Chapter 3, Propositi [...] . . . 142ms KnuthBendix 078: (fpsemi) bicyclic monoid (infinite) . . . 61μs KnuthBendix 079: (fpsemi) plactic monoid of degree 2 (infinite) . . . 101μs KnuthBendix 080: (fpsemi) example before Chapter 7, Proposit [...] . . . 64μs KnuthBendix 081: (fpsemi) Chapter 7, Theorem 3.6 in NR (size 243) . . . 1317μs KnuthBendix 082: (fpsemi) finite semigroup (size 99) . . . 421μs KnuthBendix 096: Sorouhesh . . . 575μs KnuthBendix 097: (fpsemi) transformation semigroup (size 4) . . . 81μs KnuthBendix 098: (fpsemi) transformation semigroup (size 9) . . . 76μs KnuthBendix 099: (fpsemi) transformation semigroup (size 88) . . . 1059μs KnuthBendix 100: internal_string_to_word . . . 54μs KnuthBendix 101: (fpsemi) construct from shared_ptr . . . 1161μs KnuthBendix 102: internal_string_to_word . . . 1560μs KnuthBendix 103: (cong) free semigroup congruence (5 classes) . . . 110μs KnuthBendix 104: free semigroup congruence (6 classes) . . . 584μs KnuthBendix 105: (cong) free semigroup congruence (16 classes) . . . 731μs KnuthBendix 106: (cong) free semigroup congruence (6 classes) . . . 1180μs KnuthBendix 107: (cong) free semigroup congruence (240 classes) . . . 6428μs KnuthBendix 108: (cong) free semigroup congruence (240 classes) . . . 5785μs KnuthBendix 109: (cong) less . . . 7490μs KnuthBendix 110: (cong) less . . . 295ms KnuthBendix 111: (cong) constructors . . . 459ms KnuthBendix 112: (cong) const_contains/contains . . . 302μs KnuthBendix 113: (cong) is_quotient_obviously_finite . . . 30μs KnuthBendix 114: (cong) class_index_to_word . . . 328μs KnuthBendix 115: (cong) quotient_froidure_pin . . . 240μs KnuthBendix 116: (cong) set_number_of_generators . . . 39μs KnuthBendix 117: (cong) number of classes when obv-inf . . . 67μs KnuthBendixCongruenceByPairs 016: non-trivial congruence on [...] . . . 288μs KnuthBendixCongruenceByPairs 017: non-trivial congruence on [...] . . . 373μs KnuthBendixCongruenceByPairs 018: non-trivial congruence on [...] . . . 776μs KnuthBendixCongruenceByPairs 019: non-trivial congruence on [...] . . . 784μs KnuthBendixCongruenceByPairs 020: trivial congruence on a fi [...] . . . 327μs KnuthBendixCongruenceByPairs 021: universal congruence on a [...] . . . 877μs KnuthBendixCongruenceByPairs 022: left congruence on a finit [...] . . . 444μs KnuthBendixCongruenceByPairs 023: finite group, Chapter 11, [...] . . . 8092μs KnuthBendixCongruenceByPairs 024: right congruence on infini [...] . . . 597μs KnuthBendixCongruenceByPairs 025: finite fp semigroup, dihed [...] . . . 686μs KnuthBendixCongruenceByPairs 026: finite fp semigroup, size 16 . . . 711μs KnuthBendixCongruenceByPairs 027: finite fp semigroup, size 16 . . . 1799μs KnuthBendixCongruenceByPairs 028: infinite fp semigroup with [...] . . . 96μs Konieczny 000: test000> . . . 1182μs Konieczny 001: test000> . . . 957μs Konieczny 002: test001> . . . 13ms Konieczny 003: test001> . . . 10ms Konieczny 006: exceptions . . . 51μs Konieczny 007: code coverage . . . 14ms Konieczny 008: code coverage . . . 11ms Konieczny 009: regular elements and idempotents . . . 194ms Konieczny 010: regular D-class 01 . . . 1043μs Konieczny 011: regular D-class 02 . . . 9500μs Konieczny 012: regular D-class 04: contains . . . 27ms Konieczny 013: non-regular D-classes 01 . . . 1059μs Konieczny 014: RegularDClass . . . 643μs Konieczny 015: full bmat monoid 4 . . . 41ms Konieczny 017: regular generated bmat monoid 4 idempotents . . . 81ms Konieczny 019: my favourite example . . . 76ms Konieczny 020: another large example . . . 15ms Konieczny 021: my favourite example transposed . . . 64ms Konieczny 024: exceptions . . . 1197μs Konieczny 025: 0-parameter constructor . . . 17ms Konieczny 026: non-regular D-classes 02 . . . 10ms Konieczny 028: partial perm . . . 176ms Konieczny 029: symmetric inverse monoid n = 8 . . . 31ms Konieczny 030: exceptions . . . 229ms Konieczny 031: transformations . . . 1252μs Konieczny 032: transformations - JDM favourite example . . . 139ms Konieczny 033: transformations - large example . . . 309ms Konieczny 034: transformations - large example with stop . . . 360ms Konieczny 035: transformations - large example with run_until . . . 320ms Konieczny 036: transformations - large example with stop in Action . . . 318ms Konieczny 037: exceptions . . . 82μs Konieczny 038: transformations: contains . . . 875μs Konieczny 040: transformations - destructor coverage . . . 242ms Konieczny 041: current_number_D_classes . . . 237ms Konieczny 042: add_generator . . . 43μs Konieczny 043: add_generator . . . 31μs Matrix 000: BMat<2> . . . 87μs Matrix 001: BMat<> . . . 95μs Matrix 002: BMat<3> + BMat<> . . . 14μs Matrix 003: BMat<2> + BMat<> . . . 13μs Matrix 004: BMat<3> . . . 13μs Matrix 005: BMat<> . . . 16μs Matrix 006: BMat<3> row_basis . . . 44μs Matrix 007: BMat<> row_basis . . . 51μs Matrix 008: IntMat<3> . . . 16μs Matrix 009: IntMat<> . . . 20μs Matrix 010: IntMat code cov . . . 12μ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<> . . . 22μs Matrix 016: MinPlusMat code cov . . . 10μs Matrix 017: MaxPlusTruncMat<5, 2> . . . 17μs Matrix 018: MaxPlusTruncMat<5> . . . 20μs Matrix 019: MaxPlusTruncMat<> . . . 37μs Matrix 020: MaxPlusTruncMat<5, 4> . . . 19μs Matrix 021: MaxPlusTruncMat<5> . . . 20μs Matrix 022: MaxPlusTruncMat<> . . . 20μs Matrix 023: MaxPlusTruncMat<33, 3> . . . 40μs Matrix 024: MaxPlusTruncMat<33> . . . 40μs Matrix 025: MaxPlusTruncMat<> . . . 40μs Matrix 026: MaxPlusMat code cov . . . 10μs Matrix 027: MinPlusTruncMat<33, 3> . . . 42μs Matrix 028: MinPlusTruncMat<33> . . . 52μs Matrix 029: MinPlusTruncMat<> . . . 56μs Matrix 030: NTPMat<0, 3, 3, 3> . . . 18μs Matrix 031: NTPMat<0, 3> . . . 19μs Matrix 032: NTPMat<> . . . 49μs Matrix 033: NTPMat<0, 10, 4, 4> . . . 28μs Matrix 034: NTPMat<0, 10> . . . 23μs Matrix 035: NTPMat<> . . . 22μs Matrix 036: NTPMat<0, 10, 4, 4> . . . 22μs Matrix 037: NTPMat<0, 10> . . . 20μs Matrix 038: NTPMat<> . . . 21μs Matrix 039: NTPMat<33, 2, 3, 3> . . . 18μs Matrix 040: NTPMat<33, 2> . . . 16μs Matrix 041: NTPMat<> . . . 16μs Matrix 042: ProjMaxPlusMat<3> . . . 127μs Matrix 043: ProjMaxPlusMat<> . . . 81μs Matrix 044: exceptions . . . 69μs Matrix 045: code coverage . . . 63μs MultiStringView 000: catch all . . . 37μs MultiStringView 001: is_prefix . . . 15μs MultiStringView 002: erase . . . 17μs MultiStringView 003: iterators . . . 13μs MultiStringView 004: constructors (long) . . . 21μ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) . . . 14μ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 . . . 15μs MultiStringView 015: deep tests . . . 11μs ObviouslyInfinite 011: Multiple rule additions . . . 40μs ObviouslyInfinite 012: A power of the generator 'b' does not [...] . . . 13μs ObviouslyInfinite 013: Preserves the number of occurrences o [...] . . . 13μs ObviouslyInfinite 014: Less relations than generators . . . 13μs ObviouslyInfinite 015: Relations preserve length . . . 14μs ObviouslyInfinite 016: Matrix has non empty kernel . . . 14μs ObviouslyInfinite 017: Free product of trivial semigroups . . . 13μs ObviouslyInfinite 018: Another free product . . . 15μs ObviouslyInfinite 019: Infinite but not obviously so . . . 14μs ObviouslyInfinite 020: Finite semigroup . . . 17μs PBR 001: universal product with convenience constructor . . . 50μs PBR 002: universal product . . . 21μs PBR 003: product [bigger than previous] . . . 28μs PBR 004: hash . . . 12μs PBR 005: delete/copy . . . 21μs PBR 006: exceptions . . . 257μs PBR 007: operators . . . 67μs PBR 008: to_string . . . 30μs PBR 009: identity . . . 49μs PBR 010: adapters . . . 10μs Pool 000: initial . . . 35μs Pool 001: bmat . . . 34μs Pool 002: PoolGuard . . . 31μs Pool 003: transformation products . . . 15μs Presentation 000: vectors of ints . . . 116μs Presentation 001: strings . . . 122μs Presentation 002: constructors (word_type) . . . 24μs Presentation 003: constructors (StaticVector1) . . . 27μs Presentation 004: constructors (std::string) . . . 25μs Presentation 005: alphabet + letters (word_type) . . . 191μs Presentation 006: alphabet + letters (std::string) . . . 63μs Presentation 007: contains_empty_word . . . 13μs Presentation 008: validate_rules throws . . . 79μs Presentation 009: helpers add_rule(s) . . . 155μs Presentation 010: helpers add_rule(s) (std::string) . . . 57μs Presentation 011: helpers add_identity_rules (std::vector/St [...] . . . 64μs Presentation 012: helpers add_identity_rules (std::string) . . . 36μs Presentation 013: helpers add_inverse_rules (all) . . . 336μs Presentation 014: helpers add_inverse_rules (std::string) . . . 20μs Presentation 015: helpers remove_duplicate_rules . . . 96μs Presentation 016: helpers reduce_complements . . . 181μs Presentation 017: helpers sort_each_rule . . . 101μs Presentation 018: helpers sort_rules . . . 104μs Presentation 019: helpers longest_common_subword/replace_subword . . . 198μs Presentation 020: helpers redundant_rule . . . 20ms Presentation 021: helpers shortlex_compare_concat . . . 12μs Presentation 022: helpers remove_trivial_rules . . . 102μs Presentation 023: helpers replace_subword (existing, replacement) . . . 57μs Presentation 024: helpers longest_rule . . . 202μs Presentation 025: helpers longest_rule_length . . . 188μs Presentation 026: helpers remove_redundant_generators . . . 154μs Presentation 027: helpers reverse . . . 23μs Presentation 028: in_alphabet . . . 29μs Presentation 029: replace_subword with empty word . . . 30μs Presentation 030: helpers replace_word . . . 42μs Presentation 031: clear . . . 13μs Presentation 032: letter . . . 52μs Presentation 033: normalize_alphabet . . . 17μs Presentation 034: longest_common_subword issue . . . 232μs Presentation 035: helpers add_zero_rules (std::vector/Static [...] . . . 66μs Presentation 036: helpers add_zero_rules (std::string) . . . 36μs Presentation 037: make_semigroup . . . 51μs Presentation 038: greedy_reduce_length . . . 158μs Presentation 039: aaaaaaaab = aaaaaaaaab strong compression . . . 51μs Presentation 040: change_alphabet . . . 105μs Presentation 041: sort_rules bug . . . 212μs Presentation 042: first_unused_letter/letter . . . 226μs Presentation 043: case where strong compression doesn't work . . . 32μs Presentation 044: proof that . . . 52μs Presentation 045: decompression . . . 20μs Race 001: run_for . . . 10ms Race 002: run_until . . . 10ms Race 003: exceptions . . . 10ms Race 004: iterators . . . 15μs Race 005: find_runner . . . 16μs Race 006: run_func . . . 26ms Race 007: run_func . . . 10ms Race 008: run_func . . . 10ms Runner 000: run_for . . . 10ms Runner 001: run_for . . . 1018μs Runner 002: run_for . . . 191ms Runner 003: run_for . . . 25ms Runner 004: started . . . 1026μs Runner 005: run_until . . . 124ms Runner 006: kill . . . 15μs Runner 007: copy constructor . . . 10ms Runner 008: report . . . 20ms Runner 009: run_until with function pointer . . . 15μs SchreierSims 001: trivial perm. group (degree 1) . . . 20μs SchreierSims 002: trivial perm. group (degree 2) . . . 14μs SchreierSims 003: trivial perm. group (degree 500) . . . 70μs SchreierSims 004: symmetric perm. group (degree 5) . . . 24μs SchreierSims 005: symmetric perm. group (degree 8) . . . 46μs SchreierSims 006: symmetric perm. group (degree 9) . . . 67μs SchreierSims 007: alternating perm. group (degree 12) . . . 107μs SchreierSims 008: symmetric perm. group (degree 16) . . . 979μs SchreierSims 009: alternating perm. group (degree 15) . . . 488μs SchreierSims 010: alternating perm. group (degree 16) . . . 1095μs SchreierSims 011: dihedral perm. group (order 10) . . . 17μs SchreierSims 012: dihedral perm. group (order 200) . . . 598μs SchreierSims 013: perm. group T (order 12) . . . 18μs SchreierSims 014: quaternion perm. group (order 8) . . . 21μs SchreierSims 015: perm. group (order 84129611558952960) . . . 219ms SchreierSims 016: perm. group SL(3, 5) (order 372000) . . . 922μs SchreierSims 017: perm. group PSL(4, 8) (order 34558531338240) . . . 95ms SchreierSims 018: perm. Mathieu group M11 (order 7920) . . . 90μs SchreierSims 019: perm. Mathieu group M24 (order 244823040) . . . 234μs SchreierSims 020: perm. Janko Group J1 (order 175560) . . . 1923μs SchreierSims 021: perm. Hall-Janko group (order 604800) . . . 308μs SchreierSims 022: perm. Hall-Janko group (alt.) (order 604800) . . . 20ms SchreierSims 023: perm. Conway group Co3 (order 495766656000) . . . 6337μs SchreierSims 024: perm. Conway group Co3 (alt.) (order 49576 [...] . . . 12ms SchreierSims 025: perm. Suzuki group (order 448345497600) . . . 65ms SchreierSims 027: perm. Held group (order 4030387200) . . . 174ms SchreierSims 028: perm. group C2 x C2 x C2 (order 8) . . . 31μs SchreierSims 029: perm. group C2 x C2 x C2 x C2 (order 16) . . . 42μs SchreierSims 030: perm. group (S5 x S5) : C2 (order 28800) . . . 76μs SchreierSims 031: perm. group C3 x D8 x A5 (order 1440) . . . 78μs SchreierSims 032: perm. group GL(4, 3) (order 24261120) . . . 692μs SchreierSims 033: perm. group PSL(3, 7) (order 1876896) . . . 724μs SchreierSims 037: symmetric perm. group (degree 5) . . . 35μs SchreierSims 038: alternating perm. group (degree 17) . . . 5843μs SchreierSims 039: exceptions . . . 184μs SchreierSims 040: exceptions . . . 88μs SchreierSims 041: trivial group . . . 62μs SchreierSims 042: A17 bug . . . 5187μs SchreierSims 043: orbits_lookup test . . . 624μs SchreierSims 044: transversal_element and inversal_element test . . . 3166μs SchreierSimsHelper 001: trivial perm. group intersection (de [...] . . . 19μs SchreierSimsHelper 002: trivial perm. group intersection (de [...] . . . 23μs SchreierSimsHelper 003: cyclic group intersection (degree 13) . . . 35μs SchreierSimsHelper 004: D10 and Z5 intersection . . . 36μs SchreierSimsHelper 005: D8 and Q8 intersection . . . 34μs SchreierSimsHelper 006: primitive on 8 points intersection . . . 115μs SchreierSimsHelper 007: primitive on 8 points intersection ( [...] . . . 107μs SchreierSimsHelper 008: A13 and PGL(2, 11) intersection . . . 985μs SchreierSimsHelper 009: A13 and PGL(2, 11) intersection (swa [...] . . . 987μs SchreierSimsHelper 012: 3^3:13 and 3^3.2.A(4) intersection . . . 174μs SchreierSimsHelper 015: 3^3(S(4) x 2) and ASL(3, 3) intersection . . . 370μs SchreierSimsHelper 016: 7^2:3 x Q(8) and 7^2:D(2*6) intersection . . . 395μs SchreierSimsHelper 018: D(2*53) and 53:13 intersection . . . 224μs SchreierSimsHelper 019: 2^6:(7 x D_14) and PSL(2, 6)^2.4 int [...] . . . 1505μs SchreierSimsHelper 020: 2^6:(S_3 x GL(3, 2)) and 2.6:Alt(7) [...] . . . 4632μs SchreierSimsHelper 022: PSL(2, 127) and AGL(1, 2^7) intersection . . . 10ms SchreierSimsHelper 023: PSL(3, 4).2 and PSL(3, 4).2 (nontriv [...] . . . 1692μs SchreierSimsHelper 024: PSL(3, 4).Sym(3) and PSL(3, 4).2 int [...] . . . 2105μs SchreierSimsHelper 025: 3^4:5:4 and D_16:4 intersection . . . 1134μs Sims1 000: fp example 1 . . . 1084μs Sims1 001: fp example 2 . . . 2726μs Sims1 002: ToddCoxeter failing example . . . 26ms Sims1 003: ToddCoxeter failing example . . . 1083μs Sims1 004: partition_monoid(2) right . . . 8694μs Sims1 006: full_transformation_monoid(3) right . . . 10ms Sims1 007: full_transformation_monoid(3) left . . . 5737μs Sims1 009: rook_monoid(2, 1) . . . 132μs Sims1 010: symmetric_inverse_monoid(2) from FroidurePin . . . 128μs Sims1 011: symmetric_inverse_monoid(3) . . . 10ms Sims1 014: temperley_lieb_monoid(3) from presentation . . . 103μs Sims1 015: temperley_lieb_monoid(4) from presentation . . . 1204μs Sims1 016: fp semigroup containing given pairs #1 . . . 457μs Sims1 017: fp semigroup containing given pairs #2 . . . 468μs Sims1 018: fp semigroup containing given pairs #3 . . . 811μs Sims1 019: ToddCoxeter failing example . . . 1290μs Sims1 020: fp example 2 . . . 3274μs Sims1 021: exceptions . . . 469μs Sims1 027: from https://mathoverflow.net/questions/423541/ . . . 45ms Sims1 028: from https://mathoverflow.net/questions/423541/ . . . 34ms Sims1 030: presentation with one free generator . . . 349μs Sims1 031: presentation with non-zero index generators . . . 82μs Sims1 032: presentation with empty word . . . 15ms Sims1 033: constructors . . . 2075μs Sims1 034: split_at . . . 382μs Sims1 035: stats . . . 117μs Sims1 036: check iterator requirements . . . 196μs Sims1 040: TransitiveGroup(10, 32) - minimal rep . . . 4431μs Sims1 043: rectangular_band(2, 2) - with and without identity . . . 282μs Sims1 044: trivial group - minimal o.r.c. rep . . . 125μs Sims1 045: right zero semigroup - minimal o.r.c. rep . . . 2798μs Sims1 046: semigroup with faithful non-strictly cyclic actio [...] . . . 866μs Sims1 068: RepOrc . . . 24ms Sims1 069: fp example 1 . . . 882μ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 5405μs (986ns 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 . . . 5483μs Sims1 072: symmetric_group(n) for n = 4 . . . 1479μs Sims1 073: corner case no generators + no relations . . . 171μs Sims1 076: uninitialized RepOrc . . . 28μs SmallestInteger 001: . . . 14μs StaticTriVector2 045: all . . . 22μs StaticVector2 043: all . . . 21μs Stephen 000: basic test 1 . . . 291μs Stephen 001: basic test 2 . . . 191μs Stephen 002: full transf monoid . . . 15ms Stephen 003: from step_hen 002 . . . 98μs Stephen 004: from step_hen 003 . . . 257μs Stephen 005: from step_hen 004 . . . 54μs Stephen 006: from step_hen 005 . . . 168μs Stephen 008: C(4) monoid normal form (test_case_knuth_bendix_055) . . . 231μs Stephen 009: C(4) monoid normal form (test_case_gap_smallove [...] . . . 170μ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 . . . 290μs Stephen 011: C(4) monoid normal form (test_case_gap_smallove [...] . . . 544μs Stephen 012: C(4) monoid normal form (test_case_gap_smallove [...] . . . 367μs Stephen 013: C(4) monoid equal to (test_case_gap_smalloverlap_70) . . . 159μs Stephen 014: C(4) monoid normal form (test_case_ex_3_13_14) . . . 743μs Stephen 015: C(4) monoid normal form (test_case_ex_3_15) . . . 973μs Stephen 016: C(4) monoid normal form (test_case_ex_3_16) . . . 603μs Stephen 017: C(4) monoid normal form (test_case_mt_3) . . . 288μs Stephen 018: C(4) monoid normal form (test_case_mt_5) . . . 203μs Stephen 019: C(4) monoid normal form (test_case_mt_6) . . . 539μs Stephen 020: C(4) monoid normal form (test_case_mt_10) . . . 186μs Stephen 021: C(4) monoid normal form (test_case_mt_13) . . . 175μs Stephen 022: C(4) monoid normal form (test_case_mt_14) . . . 171μs Stephen 023: C(4) monoid normal form (test_case_mt_15) . . . 175μs Stephen 024: C(4) monoid normal form (test_case_mt_16) . . . 181μs Stephen 025: C(4) monoid normal form (test_case_mt_17) . . . 486μs Stephen 026: C(4) monoid normal form (test_case_weak_1) . . . 695μs Stephen 027: C(4) monoid normal form (test_case_weak_2) . . . 336μs Stephen 028: C(4) monoid normal form (test_case_weak_3) . . . 346μs Stephen 029: C(4) monoid normal form (test_case_weak_4) . . . 346μs Stephen 030: C(4) monoid normal form (test_case_weak_5) . . . 186μs Stephen 031: Test behaviour when uninitialised . . . 531μs Suf 005: unite . . . 25μs Suf 007: compress . . . 16μs Suf 011: big chain . . . 23ms Suf 013: empty table . . . 12μs Suf 015: join . . . 15μs Suf 017: contains . . . 37μs Suf 019: swap . . . 41μs Timer 001: string method (1 argument) . . . 49μs Timer 002: string method (0 arguments) . . . 10ms Timer 003: reset/elapsed method . . . 20ms Timer 004: operator<< . . . 25μs ToddCoxeter 000: small 2-sided congruence . . .  -- with HLT + no standardise + full lookahead + no save 2563μs  -- with HLT + standardise + full lookahead + no save 2520μs  -- with HLT + no standardise + partial lookahead + no save 2504μs  -- with HLT + standardise + partial lookahead + no save 2474μs  -- with HLT + no standardise + full lookahead + save 2518μs  -- with HLT + standardise + full lookahead + save 2499μs  -- with HLT + no standardise + partial lookahead + save 2512μs  -- with HLT + standardise + partial lookahead + save 2462μs  -- with Felsch + no standardisation 2170μs  -- with Felsch + standardisation 1551μs  -- with random strategy 1594μs  -- with Rc style + full lookahead 1583μs  -- with Rc style + partial lookahead 1619μs  -- with R/C style 1648μs  -- with CR style 1625μs  -- with Cr style 1601μs ToddCoxeter 001: small 2-sided congruence . . .  -- with HLT + no standardise + full lookahead + no save 6152μs  -- with HLT + standardise + full lookahead + no save 6107μs  -- with HLT + no standardise + partial lookahead + no save 6082μs  -- with HLT + standardise + partial lookahead + no save 5382μs  -- with HLT + no standardise + full lookahead + save 5390μs  -- with HLT + standardise + full lookahead + save 5385μs  -- with HLT + no standardise + partial lookahead + save 5379μs  -- with HLT + standardise + partial lookahead + save 5371μs  -- with Felsch + no standardisation 5384μs  -- with Felsch + standardisation 5375μs  -- with random strategy 5385μs  -- with Rc style + full lookahead 5378μs  -- with Rc style + partial lookahead 5528μs  -- with R/C style 5545μs  -- with CR style 5519μs  -- with Cr style 5537μs ToddCoxeter 003: constructed from FroidurePin . . .  -- with Felsch + no standardisation 252ms  -- with Felsch + standardisation 256ms  -- with HLT + no standardise + full lookahead + no save 79ms  -- with HLT + standardise + full lookahead + no save 76ms  -- with HLT + no standardise + partial lookahead + no save 77ms  -- with HLT + standardise + partial lookahead + no save 70ms  -- with HLT + no standardise + full lookahead + save 234ms  -- with HLT + standardise + full lookahead + save 234ms  -- with HLT + no standardise + partial lookahead + save 234ms  -- with HLT + standardise + partial lookahead + save 234ms  -- with random strategy 233ms  -- with Rc style + full lookahead 229ms  -- with Rc style + partial lookahead 229ms  -- with R/C style 75ms  -- with CR style 229ms  -- with Cr style 229ms ToddCoxeter 004: 2-sided congruence from FroidurePin . . .  -- with HLT + no standardise + full lookahead + no save 292μs  -- with HLT + standardise + full lookahead + no save 257μs  -- with HLT + no standardise + partial lookahead + no save 273μs  -- with HLT + standardise + partial lookahead + no save 252μs  -- with HLT + save (throws) 285μs  -- with Felsch (throws) 268μs  -- with random strategy 280μs ToddCoxeter 005: non-trivial two-sided from relations . . .  -- with HLT + no standardise + full lookahead + no save 87μs  -- with HLT + standardise + full lookahead + no save 72μs  -- with HLT + no standardise + partial lookahead + no save 69μs  -- with HLT + standardise + partial lookahead + no save 70μs  -- with HLT + no standardise + full lookahead + save 84μs  -- with HLT + standardise + full lookahead + save 80μs  -- with HLT + no standardise + partial lookahead + save 79μs  -- with HLT + standardise + partial lookahead + save 78μs  -- with Felsch + no standardisation 71μs  -- with Felsch + standardisation 70μs  -- with random strategy 80μs  -- with Rc style + full lookahead 73μs  -- with Rc style + partial lookahead 73μs  -- with R/C style 75μs  -- with CR style 74μs  -- with Cr style 73μs ToddCoxeter 006: small right cong. on free semigroup . . .  -- with HLT + no standardise + full lookahead + no save 64μs  -- with HLT + standardise + full lookahead + no save 59μs  -- with HLT + no standardise + partial lookahead + no save 58μs  -- with HLT + standardise + partial lookahead + no save 58μs  -- with HLT + no standardise + full lookahead + save 63μs  -- with HLT + standardise + full lookahead + save 62μs  -- with HLT + no standardise + partial lookahead + save 63μs  -- with HLT + standardise + partial lookahead + save 60μs  -- with Felsch + no standardisation 60μs  -- with Felsch + standardisation 63μs  -- with random strategy 71μs  -- with Rc style + full lookahead 62μs  -- with Rc style + partial lookahead 62μs  -- with R/C style 66μs  -- with CR style 64μs  -- with Cr style 64μs ToddCoxeter 007: left cong. on free semigroup . . .  -- with HLT + no standardise + full lookahead + no save 74μs  -- with HLT + standardise + full lookahead + no save 66μs  -- with HLT + no standardise + partial lookahead + no save 64μs  -- with HLT + standardise + partial lookahead + no save 67μs  -- with HLT + no standardise + full lookahead + save 70μs  -- with HLT + standardise + full lookahead + save 69μs  -- with HLT + no standardise + partial lookahead + save 69μs  -- with HLT + standardise + partial lookahead + save 69μs  -- with Felsch + no standardisation 68μs  -- with Felsch + standardisation 71μs  -- with random strategy 82μs  -- with Rc style + full lookahead 73μs  -- with Rc style + partial lookahead 73μs  -- with R/C style 78μs  -- with CR style 78μs  -- with Cr style 78μs ToddCoxeter 008: for small fp semigroup . . .  -- with HLT + no standardise + full lookahead + no save 64μs  -- with HLT + standardise + full lookahead + no save 58μs  -- with HLT + no standardise + partial lookahead + no save 56μs  -- with HLT + standardise + partial lookahead + no save 57μs  -- with HLT + no standardise + full lookahead + save 62μs  -- with HLT + standardise + full lookahead + save 61μs  -- with HLT + no standardise + partial lookahead + save 60μs  -- with HLT + standardise + partial lookahead + save 61μs  -- with Felsch + no standardisation 60μs  -- with Felsch + standardisation 61μs  -- with random strategy 73μs  -- with Rc style + full lookahead 64μs  -- with Rc style + partial lookahead 63μs  -- with R/C style 68μs  -- with CR style 67μs  -- with Cr style 67μs ToddCoxeter 009: 2-sided cong. trans. semigroup . . .  -- with HLT + no standardise + full lookahead + no save 313μs  -- with HLT + standardise + full lookahead + no save 299μs  -- with HLT + no standardise + partial lookahead + no save 291μs  -- with HLT + standardise + partial lookahead + no save 294μs  -- with HLT + no standardise + full lookahead + save 697μs  -- with HLT + standardise + full lookahead + save 685μs  -- with HLT + no standardise + partial lookahead + save 675μs  -- with HLT + standardise + partial lookahead + save 690μs  -- with Felsch + no standardisation 664μs  -- with Felsch + standardisation 652μs  -- with random strategy 336μs  -- with Rc style + full lookahead 318μs  -- with Rc style + partial lookahead 315μs  -- with R/C style 337μs  -- with CR style 678μs  -- with Cr style 671μ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 348μs  -- with HLT + no standardise + partial lookahead + no save 336μs  -- with HLT + standardise + partial lookahead + no save 343μs  -- with HLT + no standardise + full lookahead + save 782μs  -- with HLT + standardise + full lookahead + save 779μs  -- with HLT + no standardise + partial lookahead + save 763μs  -- with HLT + standardise + partial lookahead + save 771μs  -- with Felsch + no standardisation 692μs  -- with Felsch + standardisation 677μs  -- with random strategy 902μs  -- with Rc style + full lookahead 407μs  -- with Rc style + partial lookahead 403μs  -- with R/C style 464μs  -- with CR style 753μs  -- with Cr style 744μs ToddCoxeter 011: right cong. trans. semigroup . . .  -- with HLT + no standardise + full lookahead + no save 355μs  -- with HLT + standardise + full lookahead + no save 356μs  -- with HLT + no standardise + partial lookahead + no save 343μs  -- with HLT + standardise + partial lookahead + no save 355μs  -- with HLT + no standardise + full lookahead + save 772μs  -- with HLT + standardise + full lookahead + save 765μs  -- with HLT + no standardise + partial lookahead + save 752μs  -- with HLT + standardise + partial lookahead + save 760μs  -- with Felsch + no standardisation 607μs  -- with Felsch + standardisation 628μs  -- with random strategy 483μs  -- with Rc style + full lookahead 417μs  -- with Rc style + partial lookahead 414μs  -- with R/C style 481μs  -- with CR style 671μs  -- with Cr style 665μs ToddCoxeter 012: trans. semigroup (size 88) . . .  -- with HLT + no standardise + full lookahead + no save 201μs  -- with HLT + standardise + full lookahead + no save 196μs  -- with HLT + no standardise + partial lookahead + no save 192μs  -- with HLT + standardise + partial lookahead + no save 194μs  -- with HLT + save (throws) 216μs  -- with Felsch (throws) 209μs  -- with random strategy 241μs ToddCoxeter 013: left cong. on trans. semigroup (size 88) . . .  -- with HLT + no standardise + full lookahead + no save 290μs  -- with HLT + standardise + full lookahead + no save 293μs  -- with HLT + no standardise + partial lookahead + no save 283μs  -- with HLT + standardise + partial lookahead + no save 290μs  -- with HLT + no standardise + full lookahead + save 734μs  -- with HLT + standardise + full lookahead + save 728μs  -- with HLT + no standardise + partial lookahead + save 712μs  -- with HLT + standardise + partial lookahead + save 724μs  -- with Felsch + no standardisation 641μs  -- with Felsch + standardisation 618μs  -- with random strategy 409μs  -- with Rc style + full lookahead 354μs  -- with Rc style + partial lookahead 354μs  -- with R/C style 416μs  -- with CR style 701μs  -- with Cr style 691μs ToddCoxeter 014: right cong. on trans. semigroup (size 88) . . .  -- with HLT + no standardise + full lookahead + no save 296μs  -- with HLT + standardise + full lookahead + no save 299μs  -- with HLT + no standardise + partial lookahead + no save 285μs  -- with HLT + standardise + partial lookahead + no save 296μs  -- with HLT + no standardise + full lookahead + save 710μs  -- with HLT + standardise + full lookahead + save 706μs  -- with HLT + no standardise + partial lookahead + save 693μs  -- with HLT + standardise + partial lookahead + save 699μs  -- with Felsch + no standardisation 552μs  -- with Felsch + standardisation 572μs  -- with random strategy 410μs  -- with Rc style + full lookahead 361μs  -- with Rc style + partial lookahead 358μs  -- with R/C style 425μs  -- with CR style 623μs  -- with Cr style 608μs ToddCoxeter 015: finite fp-semigroup, dihedral group of order 6 . . .  -- with HLT + no standardise + full lookahead + no save 128μs  -- with HLT + standardise + full lookahead + no save 124μs  -- with HLT + no standardise + partial lookahead + no save 117μs  -- with HLT + standardise + partial lookahead + no save 121μs  -- with HLT + no standardise + full lookahead + save 139μs  -- with HLT + standardise + full lookahead + save 135μs  -- with HLT + no standardise + partial lookahead + save 135μs  -- with HLT + standardise + partial lookahead + save 134μs  -- with Felsch + no standardisation 123μs  -- with Felsch + standardisation 121μs  -- with random strategy 137μs  -- with Rc style + full lookahead 122μs  -- with Rc style + partial lookahead 121μs  -- with R/C style 127μs  -- with CR style 128μs  -- with Cr style 125μs ToddCoxeter 016: finite fp-semigroup, size 16 . . .  -- with HLT + no standardise + full lookahead + no save 139μs  -- with HLT + standardise + full lookahead + no save 132μs  -- with HLT + no standardise + partial lookahead + no save 126μs  -- with HLT + standardise + partial lookahead + no save 128μs  -- with HLT + no standardise + full lookahead + save 231μs  -- with HLT + standardise + full lookahead + save 231μs  -- with HLT + no standardise + partial lookahead + save 225μs  -- with HLT + standardise + partial lookahead + save 227μs  -- with Felsch + no standardisation 209μs  -- with Felsch + standardisation 203μs  -- with random strategy 239μs  -- with Rc style + full lookahead 143μs  -- with Rc style + partial lookahead 141μs  -- with R/C style 155μs  -- with CR style 216μs  -- with Cr style 215μ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 170μs  -- with HLT + no standardise + partial lookahead + no save 162μs  -- with HLT + standardise + partial lookahead + no save 168μs  -- with HLT + no standardise + full lookahead + save 381μs  -- with HLT + standardise + full lookahead + save 380μs  -- with HLT + no standardise + partial lookahead + save 371μs  -- with HLT + standardise + partial lookahead + save 375μs  -- with Felsch + no standardisation 321μs  -- with Felsch + standardisation 315μs  -- with random strategy 358μs  -- with Rc style + full lookahead 179μs  -- with Rc style + partial lookahead 181μs  -- with R/C style 194μs  -- with CR style 334μs  -- with Cr style 332μs ToddCoxeter 018: test lookahead . . .  -- with HLT + no standardise + full lookahead + no save 662μs  -- with HLT + standardise + full lookahead + no save 659μs  -- with HLT + no standardise + partial lookahead + no save 602μs  -- with HLT + standardise + partial lookahead + no save 610μs  -- with HLT + no standardise + full lookahead + save 777μs  -- with HLT + standardise + full lookahead + save 774μs  -- with HLT + no standardise + partial lookahead + save 757μs  -- with HLT + standardise + partial lookahead + save 766μs ToddCoxeter 019: non-trivial left cong. from semigroup . . .  -- with HLT + no standardise + full lookahead + no save 207μs  -- with HLT + standardise + full lookahead + no save 208μs  -- with HLT + no standardise + partial lookahead + no save 198μs  -- with HLT + standardise + partial lookahead + no save 205μs  -- with HLT + save (throws) 223μs  -- with Felsch (throws) 219μs  -- with random strategy 297μs ToddCoxeter 020: 2-sided cong. on free semigroup . . .  -- with HLT + no standardise + full lookahead + no save 38μs  -- with HLT + standardise + full lookahead + no save 32μs  -- with HLT + no standardise + partial lookahead + no save 32μs  -- with HLT + standardise + partial lookahead + no save 32μs  -- with HLT + no standardise + full lookahead + save 32μs  -- with HLT + standardise + full lookahead + save 32μs  -- with HLT + no standardise + partial lookahead + save 32μs  -- with HLT + standardise + partial lookahead + save 32μs  -- with Felsch + no standardisation 32μs  -- with Felsch + standardisation 32μs  -- with random strategy 31μs ToddCoxeter 021: calling run when obviously infinite . . .  -- with HLT + no standardise + full lookahead + no save 82μs  -- with HLT + standardise + full lookahead + no save 74μs  -- with HLT + no standardise + partial lookahead + no save 72μs  -- with HLT + standardise + partial lookahead + no save 74μs  -- with HLT + no standardise + full lookahead + save 72μs  -- with HLT + standardise + full lookahead + save 73μs  -- with HLT + no standardise + partial lookahead + save 73μs  -- with HLT + standardise + partial lookahead + save 73μs  -- with Felsch + no standardisation 71μs  -- with Felsch + standardisation 71μs  -- with random strategy 71μs ToddCoxeter 022: stellar_monoid S3 . . .  -- with HLT + no standardise + full lookahead + no save 186μs  -- with HLT + standardise + full lookahead + no save 188μs  -- with HLT + no standardise + partial lookahead + no save 171μs  -- with HLT + standardise + partial lookahead + no save 175μs  -- with HLT + no standardise + full lookahead + save 314μs  -- with HLT + standardise + full lookahead + save 311μs  -- with HLT + no standardise + partial lookahead + save 300μs  -- with HLT + standardise + partial lookahead + save 303μs  -- with Felsch + no standardisation 268μs  -- with Felsch + standardisation 263μs  -- with random strategy 310μs  -- with Rc style + full lookahead 194μs  -- with Rc style + partial lookahead 192μs  -- with R/C style 215μs  -- with CR style 287μs  -- with Cr style 284μs ToddCoxeter 023: finite semigroup (size 5) . . .  -- with HLT + no standardise + full lookahead + no save 62μs  -- with HLT + standardise + full lookahead + no save 55μs  -- with HLT + no standardise + partial lookahead + no save 55μs  -- with HLT + standardise + partial lookahead + no save 55μs  -- with HLT + no standardise + full lookahead + save 60μs  -- with HLT + standardise + full lookahead + save 60μs  -- with HLT + no standardise + partial lookahead + save 59μs  -- with HLT + standardise + partial lookahead + save 58μs  -- with Felsch + no standardisation 58μs  -- with Felsch + standardisation 61μs  -- with random strategy 66μs  -- with Rc style + full lookahead 60μs  -- with Rc style + partial lookahead 59μs  -- with R/C style 64μs  -- with CR style 62μs  -- with Cr style 63μs ToddCoxeter 024: exceptions . . .  -- with HLT + no standardise + full lookahead + no save 298μs  -- with HLT + standardise + full lookahead + no save 283μs  -- with HLT + no standardise + partial lookahead + no save 280μs  -- with HLT + standardise + partial lookahead + no save 280μs  -- with HLT + no standardise + full lookahead + save 285μs  -- with HLT + standardise + full lookahead + save 284μs  -- with HLT + no standardise + partial lookahead + save 283μs  -- with HLT + standardise + partial lookahead + save 282μs  -- with Felsch + no standardisation 281μs  -- with Felsch + standardisation 281μs  -- with random strategy 285μs  -- with Rc style + full lookahead 283μs  -- with Rc style + partial lookahead 281μs  -- with R/C style 282μs  -- with CR style 283μs  -- with Cr style 287μs ToddCoxeter 025: obviously infinite . . .  -- with HLT + no standardise + full lookahead + no save 79μs  -- with HLT + standardise + full lookahead + no save 74μs  -- with HLT + no standardise + partial lookahead + no save 74μs  -- with HLT + standardise + partial lookahead + no save 74μs  -- with HLT + no standardise + full lookahead + save 74μs  -- with HLT + standardise + full lookahead + save 79μs  -- with HLT + no standardise + partial lookahead + save 75μs  -- with HLT + standardise + partial lookahead + save 74μs  -- with Felsch + no standardisation 74μs  -- with Felsch + standardisation 74μs  -- with random strategy 74μs ToddCoxeter 026: exceptions . . .  -- with HLT + no standardise + full lookahead + no save 175μs  -- with HLT + standardise + full lookahead + no save 165μs  -- with HLT + no standardise + partial lookahead + no save 163μs  -- with HLT + standardise + partial lookahead + no save 162μs  -- with HLT + no standardise + full lookahead + save 166μs  -- with HLT + standardise + full lookahead + save 164μs  -- with HLT + no standardise + partial lookahead + save 163μs  -- with HLT + standardise + partial lookahead + save 165μs  -- with Felsch + no standardisation 162μs  -- with Felsch + standardisation 165μs  -- with random strategy 177μs  -- with Rc style + full lookahead 165μs  -- with Rc style + partial lookahead 164μs  -- with R/C style 169μs  -- with CR style 167μs  -- with Cr style 167μs ToddCoxeter 027: empty . . . 49μs ToddCoxeter 028: congruence of fpsemigroup::ToddCoxeter . . .  -- with HLT + no standardise + full lookahead + no save 232μs  -- with HLT + standardise + full lookahead + no save 208μs  -- with HLT + no standardise + partial lookahead + no save 204μs  -- with HLT + standardise + partial lookahead + no save 206μs  -- with HLT + save (throws) 225μs  -- with Felsch (throws) 221μs  -- with random strategy 224μs  -- with HLT + no standardise + full lookahead + save 206μs  -- with HLT + standardise + full lookahead + save 207μs  -- with HLT + no standardise + partial lookahead + save 207μs  -- with HLT + standardise + partial lookahead + save 206μs  -- with Felsch + no standardisation 208μs  -- with Felsch + standardisation 207μs  -- with Rc style + full lookahead 200μs  -- with Rc style + partial lookahead 200μs  -- with R/C style 203μs  -- with CR style 201μs  -- with Cr style 203μs ToddCoxeter 029: !KnuthBendix.started() . . .  -- with HLT + no standardise + full lookahead + no save and 2-sided 107μs  -- with HLT + standardise + full lookahead + no save and 2-sided 87μs  -- with HLT + no standardise + partial lookahead + no save and 2-sided 86μs  -- with HLT + standardise + partial lookahead + no save and 2-sided 85μs  -- with HLT + no standardise + full lookahead + save and 2-sided 91μs  -- with HLT + standardise + full lookahead + save and 2-sided 89μs  -- with HLT + no standardise + partial lookahead + save and 2-sided 89μs  -- with HLT + standardise + partial lookahead + save and 2-sided 89μs  -- with Felsch + no standardisation and 2-sided 86μs  -- with Felsch + standardisation and 2-sided 85μs  -- with random strategy and 2-sided 94μs  -- with HLT + no standardise + full lookahead + no save and left 89μs  -- with HLT + standardise + full lookahead + no save and left 84μs  -- with HLT + no standardise + partial lookahead + no save and left 84μs  -- with HLT + standardise + partial lookahead + no save and left 85μs  -- with HLT + no standardise + full lookahead + save and left 96μs  -- with HLT + standardise + full lookahead + save and left 96μs  -- with HLT + no standardise + partial lookahead + save and left 96μs  -- with HLT + standardise + partial lookahead + save and left 97μs  -- with Felsch + no standardisation and left 94μs  -- with Felsch + standardisation and left 94μs  -- with random strategy and left 93μs  -- with HLT + no standardise + full lookahead + no save and right 88μs  -- with HLT + standardise + full lookahead + no save and right 84μs  -- with HLT + no standardise + partial lookahead + no save and right 84μs  -- with HLT + standardise + partial lookahead + no save and right 84μs  -- with HLT + no standardise + full lookahead + save and right 94μs  -- with HLT + standardise + full lookahead + save and right 106μs  -- with HLT + no standardise + partial lookahead + save and right 95μs  -- with HLT + standardise + partial lookahead + save and right 94μs  -- with Felsch + no standardisation and right 95μs  -- with Felsch + standardisation and right 94μs  -- with random strategy and right 103μs ToddCoxeter 030: KnuthBendix.finished() . . .  -- with HLT + no standardise + full lookahead + no save and 2-sided 209μs  -- with HLT + standardise + full lookahead + no save and 2-sided 188μs  -- with HLT + no standardise + partial lookahead + no save and 2-sided 185μs  -- with HLT + standardise + partial lookahead + no save and 2-sided 184μs  -- with HLT + no standardise + full lookahead + save and 2-sided 187μs  -- with HLT + standardise + full lookahead + save and 2-sided 187μs  -- with HLT + no standardise + partial lookahead + save and 2-sided 187μs  -- with HLT + standardise + partial lookahead + save and 2-sided 187μs  -- with Felsch + no standardisation and 2-sided 180μs  -- with Felsch + standardisation and 2-sided 241μs  -- with random strategy and 2-sided 195μs  -- with HLT + no standardise + full lookahead + no save and left 201μs  -- with HLT + standardise + full lookahead + no save and left 196μs  -- with HLT + no standardise + partial lookahead + no save and left 196μs  -- with HLT + standardise + partial lookahead + no save and left 194μs  -- with HLT + no standardise + full lookahead + save and left 207μs  -- with HLT + standardise + full lookahead + save and left 207μs  -- with HLT + no standardise + partial lookahead + save and left 206μs  -- with HLT + standardise + partial lookahead + save and left 206μs  -- with Felsch + no standardisation and left 205μs  -- with Felsch + standardisation and left 202μs  -- with random strategy and left 214μs  -- with HLT + no standardise + full lookahead + no save and right 200μs  -- with HLT + standardise + full lookahead + no save and right 196μs  -- with HLT + no standardise + partial lookahead + no save and right 194μs  -- with HLT + standardise + partial lookahead + no save and right 194μs  -- with HLT + no standardise + full lookahead + save and right 205μs  -- with HLT + standardise + full lookahead + save and right 206μs  -- with HLT + no standardise + partial lookahead + save and right 206μs  -- with HLT + standardise + partial lookahead + save and right 205μs  -- with Felsch + no standardisation and right 202μs  -- with Felsch + standardisation and right 202μs  -- with random strategy and right 217μs ToddCoxeter 031: KnuthBendix.finished() . . .  -- with HLT + no standardise + full lookahead + no save and 2-sided 149μs  -- with HLT + standardise + full lookahead + no save and 2-sided 135μs  -- with HLT + no standardise + partial lookahead + no save and 2-sided 133μs  -- with HLT + standardise + partial lookahead + no save and 2-sided 133μs  -- with HLT + no standardise + full lookahead + save and 2-sided 137μs  -- with HLT + standardise + full lookahead + save and 2-sided 137μs  -- with HLT + no standardise + partial lookahead + save and 2-sided 136μs  -- with HLT + standardise + partial lookahead + save and 2-sided 136μs  -- with Felsch + no standardisation and 2-sided 128μs  -- with Felsch + standardisation and 2-sided 129μs  -- with random strategy and 2-sided 144μs  -- with Rc style + full lookahead and 2-sided 141μs  -- with Rc style + partial lookahead and 2-sided 141μs  -- with R/C style and 2-sided 136μs  -- with CR style and 2-sided 134μs  -- with Cr style and 2-sided 139μs  -- with HLT + no standardise + full lookahead + no save and left 151μs  -- with HLT + standardise + full lookahead + no save and left 150μs  -- with HLT + no standardise + partial lookahead + no save and left 146μs  -- with HLT + standardise + partial lookahead + no save and left 144μs  -- with HLT + no standardise + full lookahead + save and left 157μs  -- with HLT + standardise + full lookahead + save and left 156μs  -- with HLT + no standardise + partial lookahead + save and left 154μs  -- with HLT + standardise + partial lookahead + save and left 154μs  -- with Felsch + no standardisation and left 149μs  -- with Felsch + standardisation and left 150μs  -- with random strategy and left 166μs  -- with Rc style + full lookahead and left 155μs  -- with Rc style + partial lookahead and left 154μs  -- with R/C style and left 149μs  -- with CR style and left 155μs  -- with Cr style and left 164μs  -- with HLT + no standardise + full lookahead + no save and right 157μs  -- with HLT + standardise + full lookahead + no save and right 147μs  -- with HLT + no standardise + partial lookahead + no save and right 146μs  -- with HLT + standardise + partial lookahead + no save and right 146μs  -- with HLT + no standardise + full lookahead + save and right 156μs  -- with HLT + standardise + full lookahead + save and right 156μs  -- with HLT + no standardise + partial lookahead + save and right 156μs  -- with HLT + standardise + partial lookahead + save and right 156μs  -- with Felsch + no standardisation and right 153μs  -- with Felsch + standardisation and right 153μs  -- with random strategy and right 170μs  -- with Rc style + full lookahead and right 161μs  -- with Rc style + partial lookahead and right 159μs  -- with R/C style and right 154μs  -- with CR style and right 160μs  -- with Cr style and right 165μs ToddCoxeter 032: prefill . . . 325μs ToddCoxeter 033: congruence of ToddCoxeter . . .  -- with HLT + no standardise + full lookahead + no save 78μs  -- with HLT + standardise + full lookahead + no save 72μ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 73μs  -- with HLT + standardise + full lookahead + save 71μs  -- with HLT + no standardise + partial lookahead + save 71μs  -- with HLT + standardise + partial lookahead + save 70μs  -- with random strategy 84μs ToddCoxeter 034: congruence of ToddCoxeter . . .  -- with HLT + no standardise + full lookahead + no save 147μs  -- with HLT + standardise + full lookahead + no save 140μs  -- with HLT + no standardise + partial lookahead + no save 139μs  -- with HLT + standardise + partial lookahead + no save 138μs  -- with HLT + save (throws) 161μs  -- with Felsch (throws) 156μs  -- with random strategy 161μs ToddCoxeter 035: congruence on FpSemigroup . . .  -- with HLT + no standardise + full lookahead + no save 387μs  -- with HLT + standardise + full lookahead + no save 359μs  -- with HLT + no standardise + partial lookahead + no save 356μs  -- with HLT + standardise + partial lookahead + no save 354μs  -- with HLT + no standardise + full lookahead + save 392μs  -- with HLT + standardise + full lookahead + save 390μs  -- with HLT + no standardise + partial lookahead + save 389μs  -- with HLT + standardise + partial lookahead + save 402μs  -- with Felsch + no standardisation 383μs  -- with Felsch + standardisation 386μs  -- with random strategy 398μs  -- with Rc style + full lookahead 356μs  -- with Rc style + partial lookahead 355μs  -- with R/C style 357μs  -- with CR style 387μs  -- with Cr style 388μs ToddCoxeter 036: exceptions . . . 125μs ToddCoxeter 037: copy constructor . . . 46μs ToddCoxeter 038: simplify . . . 199μs ToddCoxeter 039: stylic_monoid . . . 733ms ToddCoxeter 041: some finite classes . . . 653μs ToddCoxeter 043: symmetric_group(7, Coxeter + Moser) . . . 214ms ToddCoxeter 044: Option exceptions . . . 125μs ToddCoxeter 045: Options operator<< . . . 1093μs ToddCoxeter 046: Easdown-East-FitzGerald DualSymInv(5) . . .  -- with HLT + no standardise + full lookahead + no save 191ms  -- with HLT + standardise + full lookahead + no save 207ms  -- with HLT + no standardise + partial lookahead + no save 191ms  -- with HLT + standardise + partial lookahead + no save 207ms  -- with HLT + no standardise + full lookahead + save 183ms  -- with HLT + standardise + full lookahead + save 181ms  -- with HLT + no standardise + partial lookahead + save 183ms  -- with HLT + standardise + partial lookahead + save 181ms  -- with Felsch + no standardisation 207ms  -- with Felsch + standardisation 207ms  -- with random strategy 234ms  -- with R/C style 208ms  -- with Rc style + full lookahead 218ms  -- with Rc style + partial lookahead 218ms ToddCoxeter 047: uniform_block_bijection_monoid(3) (FitzGerald) . . .  -- with HLT + no standardise + full lookahead + no save 156μs  -- with HLT + standardise + full lookahead + no save 151μs  -- with HLT + no standardise + partial lookahead + no save 146μs  -- with HLT + standardise + partial lookahead + no save 148μs  -- with HLT + no standardise + full lookahead + save 257μs  -- with HLT + standardise + full lookahead + save 250μs  -- with HLT + no standardise + partial lookahead + save 244μs  -- with HLT + standardise + partial lookahead + save 244μs  -- with Felsch + no standardisation 193μs  -- with Felsch + standardisation 196μs  -- with random strategy 219μs  -- with R/C style 174μs  -- with Rc style + full lookahead 157μs  -- with Rc style + partial lookahead 156μs ToddCoxeter 048: stellar_monoid(7) (Gay-Hivert) . . . 194ms ToddCoxeter 049: partition_monoid(4) (East) . . .  -- with HLT + no standardise + full lookahead + no save 36ms  -- with HLT + standardise + full lookahead + no save 37ms  -- with HLT + no standardise + partial lookahead + no save 36ms  -- with HLT + standardise + partial lookahead + no save 37ms  -- with HLT + no standardise + full lookahead + save 71ms  -- with HLT + standardise + full lookahead + save 73ms  -- with HLT + no standardise + partial lookahead + save 71ms  -- with HLT + standardise + partial lookahead + save 73ms  -- with Felsch + no standardisation 87ms  -- with Felsch + standardisation 87ms  -- with random strategy 45ms  -- with R/C style 45ms  -- with Rc style + full lookahead 96ms  -- with Rc style + partial lookahead 96ms ToddCoxeter 050: singular_brauer_monoid(6) (Maltcev + Mazorchuk) . . . 466ms ToddCoxeter 051: orientation_preserving_monoid(6) (Ruskuc + [...] . . .  -- with HLT + no standardise + full lookahead + no save 27ms ToddCoxeter 052: orientation_reversing_monoid(5) (Ruskuc + [...] . . .  -- with HLT + no standardise + full lookahead + no save 6748μs ToddCoxeter 053: temperley_lieb_monoid(10) (East) . . . 34ms ToddCoxeter 063: add_rule . . .  -- with HLT + no standardise + full lookahead + no save 144μs  -- with HLT + standardise + full lookahead + no save 126μs  -- with HLT + no standardise + partial lookahead + no save 123μs  -- with HLT + standardise + partial lookahead + no save 123μs  -- with HLT + no standardise + full lookahead + save 128μs  -- with HLT + standardise + full lookahead + save 128μs  -- with HLT + no standardise + partial lookahead + save 126μs  -- with HLT + standardise + partial lookahead + save 126μs  -- with Felsch + no standardisation 126μs  -- with Felsch + standardisation 139μs  -- with random strategy 140μs  -- with Rc style + full lookahead 127μs  -- with Rc style + partial lookahead 128μs  -- with R/C style 131μs  -- with CR style 132μs  -- with Cr style 129μs  -- with R/C + Felsch lookahead 140μs  -- with HLT + Felsch lookahead + save 124μs  -- with Cr + small number of f_defs 134μs  -- with Rc + small number of deductions 128μs  -- with Felsch + v2 + no preferred defs 126μs  -- with Felsch + v2 + immediate no stack 128μs  -- with Felsch + v1 + immediate no stack 128μs  -- with Felsch + v1 + immediate yes stack 128μs  -- with large collapse 129μs ToddCoxeter 064: (from kbmag/standalone/kb_data/s4) (KnuthB [...] . . .  -- with HLT + no standardise + full lookahead + no save 385μs ToddCoxeter 066: test validate . . . 67μ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 392μs  -- with HLT + no standardise + partial lookahead + no save 386μs  -- with HLT + standardise + partial lookahead + no save 389μs  -- with HLT + save (throws) 409μs  -- with Felsch (throws) 406μs  -- with random strategy 432μs ToddCoxeter 068: Sym(5) from Chapter 3, Proposition 1.1 in NR . . .  -- with Deduction policy == purge_from_top 1123μs  -- with Deduction policy == purge_all 1114μs  -- with Deduction policy == discard_all_if_no_space 1142μs  -- with HLT + no standardise + full lookahead + no save 1088μs  -- with HLT + standardise + full lookahead + no save 1334μs  -- with HLT + no standardise + partial lookahead + no save 1074μs  -- with HLT + standardise + partial lookahead + no save 1324μs  -- with HLT + no standardise + full lookahead + save 1571μs  -- with HLT + standardise + full lookahead + save 1552μs  -- with HLT + no standardise + partial lookahead + save 1526μs  -- with HLT + standardise + partial lookahead + save 1537μs  -- with Felsch + no standardisation 1077μs  -- with Felsch + standardisation 1059μs  -- with random strategy 1695μs  -- with Rc style + full lookahead 2191μs  -- with Rc style + partial lookahead 2177μs  -- with R/C style 1258μs  -- with CR style 1167μs  -- with Cr style 1147μs ToddCoxeter 069: Chapter 7, Theorem 3.6 in NR (size 243) . . .  -- with HLT + no standardise + full lookahead + no save 1044μs  -- with HLT + standardise + full lookahead + no save 1110μs  -- with HLT + no standardise + partial lookahead + no save 1029μs  -- with HLT + standardise + partial lookahead + no save 1106μs  -- with HLT + no standardise + full lookahead + save 903μs  -- with HLT + standardise + full lookahead + save 914μs  -- with HLT + no standardise + partial lookahead + save 878μs  -- with HLT + standardise + partial lookahead + save 920μs  -- with Felsch + no standardisation 5051μs  -- with Felsch + standardisation 5097μs  -- with random strategy 6470μs  -- with Rc style + full lookahead 1164μs  -- with Rc style + partial lookahead 1163μs  -- with R/C style 1281μs  -- with CR style 5100μs  -- with Cr style 5064μs ToddCoxeter 070: finite semigroup (size 99) . . .  -- with HLT + no standardise + full lookahead + no save 450μs  -- with HLT + standardise + full lookahead + no save 458μs  -- with HLT + no standardise + partial lookahead + no save 439μs  -- with HLT + standardise + partial lookahead + no save 456μs  -- with HLT + no standardise + full lookahead + save 390μs  -- with HLT + standardise + full lookahead + save 397μs  -- with HLT + no standardise + partial lookahead + save 379μs  -- with HLT + standardise + partial lookahead + save 392μs  -- with Felsch + no standardisation 941μs  -- with Felsch + standardisation 928μs  -- with random strategy 500μs  -- with Rc style + full lookahead 496μs  -- with Rc style + partial lookahead 492μs  -- with R/C style 542μs  -- with CR style 970μs  -- with Cr style 954μs ToddCoxeter 080: KnuthBendix 098 . . .  -- with HLT + no standardise + full lookahead + no save 1369ms  -- with HLT + standardise + full lookahead + no save 1247ms  -- with HLT + no standardise + partial lookahead + no save 1369ms  -- with HLT + standardise + partial lookahead + no save 1245ms  -- with HLT + no standardise + full lookahead + save 609ms  -- with HLT + standardise + full lookahead + save 611ms  -- with HLT + no standardise + partial lookahead + save 609ms  -- with HLT + standardise + partial lookahead + save 612ms  -- with Felsch + no standardisation 587ms  -- with Felsch + standardisation 586ms  -- with random strategy 1549ms  -- with Rc style + full lookahead 579ms  -- with Rc style + partial lookahead 579ms  -- with R/C style 1364ms  -- with CR style 592ms  -- with Cr style 590ms ToddCoxeter 084: Campbell-Reza 1 . . .  -- with HLT + no standardise + full lookahead + no save 164μs  -- with HLT + standardise + full lookahead + no save 137μs  -- with HLT + no standardise + partial lookahead + no save 123μs  -- with HLT + standardise + partial lookahead + no save 133μs  -- with HLT + no standardise + full lookahead + save 144μs  -- with HLT + standardise + full lookahead + save 147μs  -- with HLT + no standardise + partial lookahead + save 140μs  -- with HLT + standardise + partial lookahead + save 141μs  -- with Felsch + no standardisation 154μs  -- with Felsch + standardisation 152μs  -- with random strategy 143μs  -- with Rc style + full lookahead 129μs  -- with Rc style + partial lookahead 129μs  -- with R/C style 138μs  -- with CR style 159μs  -- with Cr style 159μs ToddCoxeter 085: Renner monoid type D4 (Gay-Hivert), q = 1 . . .  -- with HLT + no standardise + full lookahead + no save 151ms  -- with HLT + standardise + full lookahead + no save 151ms  -- with HLT + no standardise + partial lookahead + no save 151ms  -- with HLT + standardise + partial lookahead + no save 149ms  -- with HLT + no standardise + full lookahead + save 150ms  -- with HLT + standardise + full lookahead + save 150ms  -- with HLT + no standardise + partial lookahead + save 150ms  -- with HLT + standardise + partial lookahead + save 150ms  -- with Felsch + no standardisation 150ms  -- with Felsch + standardisation 150ms  -- with random strategy 151ms  -- with Rc style + full lookahead 150ms  -- with Rc style + partial lookahead 151ms  -- with R/C style 150ms  -- with CR style 150ms  -- with Cr style 150ms ToddCoxeter 086: trivial semigroup . . . 240ms ToddCoxeter 092: ACE --- perf602p5 - HLT . . .  -- with HLT + no standardise + full lookahead + no save 28ms  -- with HLT + standardise + full lookahead + no save 27ms  -- with HLT + no standardise + partial lookahead + no save 28ms  -- with HLT + standardise + partial lookahead + no save 27ms  -- with HLT + no standardise + full lookahead + save 21ms  -- with HLT + standardise + full lookahead + save 22ms  -- with HLT + no standardise + partial lookahead + save 21ms  -- with HLT + standardise + partial lookahead + save 21ms  -- with random strategy 22ms  -- with Felsch + no standardisation 17ms  -- with Felsch + standardisation 17ms ToddCoxeter 094: ACE --- C5 - HLT . . .  -- with HLT + no standardise + full lookahead + no save 136μs  -- with HLT + standardise + full lookahead + no save 124μs  -- with HLT + no standardise + partial lookahead + no save 124μs  -- with HLT + standardise + partial lookahead + no save 122μs  -- with HLT + no standardise + full lookahead + save 145μs  -- with HLT + standardise + full lookahead + save 144μs  -- with HLT + no standardise + partial lookahead + save 145μs  -- with HLT + standardise + partial lookahead + save 143μs  -- with random strategy 142μs  -- with Felsch + no standardisation 134μs  -- with Felsch + standardisation 134μs ToddCoxeter 095: ACE --- A5-C5 . . .  -- with HLT + no standardise + full lookahead + no save 165μs  -- with HLT + standardise + full lookahead + no save 171μs  -- with HLT + no standardise + partial lookahead + no save 157μs  -- with HLT + standardise + partial lookahead + no save 168μs  -- with HLT + no standardise + full lookahead + save 204μs  -- with HLT + standardise + full lookahead + save 204μs  -- with HLT + no standardise + partial lookahead + save 203μs  -- with HLT + standardise + partial lookahead + save 202μs  -- with random strategy 227μs  -- with Felsch + no standardisation 178μs  -- with Felsch + standardisation 176μs ToddCoxeter 096: ACE --- A5 . . .  -- with HLT + no standardise + full lookahead + no save 353μs  -- with HLT + standardise + full lookahead + no save 386μs  -- with HLT + no standardise + partial lookahead + no save 324μs  -- with HLT + standardise + partial lookahead + no save 380μs  -- with HLT + no standardise + full lookahead + save 497μs  -- with HLT + standardise + full lookahead + save 497μs  -- with HLT + no standardise + partial lookahead + save 487μs  -- with HLT + standardise + partial lookahead + save 496μs  -- with random strategy 571μs  -- with Felsch + no standardisation 386μs  -- with Felsch + standardisation 381μs ToddCoxeter 098: relation ordering . . .  -- with Felsch + no standardisation 704μs  -- with Felsch + standardisation 681μs  -- with HLT + no standardise + full lookahead + no save 312μs  -- with HLT + standardise + full lookahead + no save 311μs  -- with HLT + no standardise + partial lookahead + no save 310μs  -- with HLT + standardise + partial lookahead + no save 309μs  -- with HLT + no standardise + full lookahead + save 751μs  -- with HLT + standardise + full lookahead + save 738μs  -- with HLT + no standardise + partial lookahead + save 736μs  -- with HLT + standardise + partial lookahead + save 751μs  -- with random strategy 351μs ToddCoxeter 099: short circuit size in obviously infinite . . . 20μs ToddCoxeter 101: http://brauer.maths.qmul.ac.uk/Atlas/spor/M [...] . . . 555ms ToddCoxeter 108: http://brauer.maths.qmul.ac.uk/Atlas/lin/L3 [...] . . . 490ms ToddCoxeter 110: to_gap_string . . . 112μs ToddCoxeter 111: partition_monoid(2) . . . 80μs ToddCoxeter 112: brauer_monoid(4) (Kudryavtseva + Mazorchuk) . . . 453μs ToddCoxeter 113: symmetric_inverse_monoid . . . 19ms ToddCoxeter 116: symmetric_group(7, Burnside + Miller) . . . 422ms UF 001: constructor by size . . . 15μs UF 002: copy constructor . . . 27μs UF 003: find . . . 19μs Ukkonen 000: basic tests . . . 104ms Ukkonen 001: maximal_piece_prefix 1 . . . 38μs Ukkonen 002: maximal_piece_prefix 2 . . . 47μs Ukkonen 003: maximal_piece_prefix 3 . . . 387μs Ukkonen 004: number_of_pieces . . . 93μs Ukkonen 005: traverse . . . 26μs Ukkonen 006: dot . . . 226μs Ukkonen 007: strings . . . 68μs Ukkonen 008: dfs #01 . . . 41μs Ukkonen 009: dfs #02 . . . 40μs Ukkonen 010: dfs #03 . . . 36μs Ukkonen 011: dfs #04 . . . 88μs Ukkonen 012: dfs #05 . . . 66μs Ukkonen 013: dfs #06 . . . 61μs Ukkonen 014: dfs #07 . . . 103μs Ukkonen 015: dfs #08 . . . 82μs Ukkonen 016: dfs #09 . . . 103μs Ukkonen 017: dfs #10 . . . 35μs Ukkonen 018: pieces . . . 45μs Ukkonen 019: code coverage . . . 57μs Ukkonen 020: code coverage . . . 11μs action_digraph_helper 015: detail::to_string . . . 24μs action_digraph_helper 016: make . . . 52μs action_digraph_helper 017: is_connected . . . 110μs action_digraph_helper 018: is_strictly_cyclic . . . 6819μs follow_path 012: 20 node path . . . 25μs fpsemi-examples 002: full_transformation_monoid author except . . . 45μs fpsemi-examples 003: full_transformation_monoid degree except . . . 38μs fpsemi-examples 005: partial_transformation_monoid author except . . . 47μs fpsemi-examples 006: partial_transformation_monoid degree except . . . 45μs fpsemi-examples 007: symmetric_inverse_monoid(5) . . . 19ms fpsemi-examples 008: symmetric_group auth except . . . 50μs fpsemi-examples 009: symmetric_group degree except . . . 45μs fpsemi-examples 010: symmetric_group(6) Burnside + Miller . . . 28ms fpsemi-examples 011: dual_symmetric_inverse_monoid(5) . . . 193ms fpsemi-examples 012: dual_symmetric_inverse_monoid auth except . . . 55μs fpsemi-examples 013: dual_symmetric_inverse_monoid degree except . . . 44μs fpsemi-examples 014: uniform_block_bijection_monoid(5) . . . 17ms fpsemi-examples 015: uniform_block_bijection_monoid auth except . . . 40μs fpsemi-examples 016: uniform_block_bijection_monoid degree except . . . 34μs fpsemi-examples 019: partition_monoid auth except . . . 166μs fpsemi-examples 020: partition_monoid degree except . . . 162μs fpsemi-examples 022: monogenic_semigroup(4, 9) . . . 45μs fpsemi-examples 023: fibonacci_semigroup(2, 5) . . . 108μs fpsemi-examples 024: temperley_lieb_monoid(10) . . . 38ms fpsemi-examples 025: singular_brauer_monoid(6) . . . 314ms fpsemi-examples 026: orientation_preserving_monoid(6) . . . 27ms fpsemi-examples 027: orientation_reversing_monoid(5) . . . 6772μs fpsemi-examples 028: chinese_monoid(3) . . . 200μs fpsemi-examples 029: plactic_monoid(3) . . . 172μs fpsemi-examples 030: stylic_monoid(3) . . . 1615μs fpsemi-examples 031: symmetric_group(6) Carmichael . . . 14ms fpsemi-examples 032: symmetric_group(6) Moore index 0 . . . 11ms fpsemi-examples 033: symmetric_group(6) Coxeter + Moser . . . 9067μs fpsemi-examples 034: test for the rook monoid . . . 376μs fpsemi-examples 035: alternating_group(7) Moore . . . 35ms fpsemi-examples 036: alternating_group auth except . . . 44μs fpsemi-examples 037: alternating_group degree except . . . 32μs fpsemi-examples 038: partial_transformation_monoid(3) Machine . . . 302μs fpsemi-examples 039: chinese_monoid degree except . . . 50μs fpsemi-examples 040: monogenic_semigroup degree except . . . 58μs fpsemi-examples 041: rectangular_band degree except . . . 92μs fpsemi-examples 042: stellar_monoid degree except . . . 52μs fpsemi-examples 043: plactic_monoid degree except . . . 49μs fpsemi-examples 044: stylic_monoid degree except . . . 47μs fpsemi-examples 045: temperley_lieb_monoid degree except . . . 69μs fpsemi-examples 046: singular_brauer_monoid degree except . . . 84μs fpsemi-examples 047: orientation_preserving_monoid degree except . . . 78μs fpsemi-examples 048: orientation_reversing_monoid degree except . . . 84μs fpsemi-examples 049: test default values . . . 4408μs fpsemi-examples 052: not_symmetric_group(5) Guralnick + Kant [...] . . . 3854μs fpsemi-examples 053: order_preserving_monoid(5) . . . 1034μs fpsemi-examples 055: order_preserving_monoid degree except . . . 75μs fpsemi-examples 056: cyclic_inverse_monoid(4) Fernandes 1 . . . 255μs fpsemi-examples 057: cyclic_inverse_monoid(8) Fernandes index 1 . . . 16ms fpsemi-examples 058: cyclic_inverse_monoid Fernandes index 0 . . . 30ms fpsemi-examples 059: order_preserving_cyclic_inverse_monoid(4) . . . 203μs fpsemi-examples 060: order_preserving_cyclic_inverse_monoid(10) . . . 32ms fpsemi-examples 061: cyclic_inverse_monoid degree except . . . 163μs fpsemi-examples 062: cyclic_inverse_monoid author except . . . 62μs fpsemi-examples 063: order_preserving_monoid degree except . . . 72μs fpsemi-examples 064: symmetric_group index except . . . 69μs fpsemi-examples 065: symmetric_group(7) Moore index 1 . . . 8603μs fpsemi-examples 066: order_preserving_cyclic_inverse_monoid(10) . . . 32ms fpsemi-examples 067: partial_isometries_cycle_graph_monoid(5) . . . 836μs fpsemi-examples 068: partial_isometries_cycle_graph_monoid(10) . . . 223ms fpsemi-examples 069: partial_isometries_cycle_graph_monoid d [...] . . . 92μs fpsemi-examples 070: partial_isometries_cycle_graph_monoid(4) . . . 322μs freeband_equal_to 001: . . . 672μs is_acyclic 000: 2-cycle . . . 13μs is_acyclic 001: 1-cycle . . . 11μs is_acyclic 002: multi-digraph . . . 14μs is_acyclic 003: complete digraph 100 . . . 54μs is_acyclic 004: acyclic digraph with 20000 nodes . . . 987μs is_acyclic 006: for a node . . . 931μs is_acyclic 007: for a node . . . 19μs is_reachable 008: acyclic 20 node digraph . . . 66μs is_reachable 009: 100 node path . . . 11ms is_reachable 010: 100 node cycle . . . 12ms is_reachable 011: 20 node clique . . . 466μs last_node_on_path_nc 014: 20 node path . . . 18μs make 000: from FroidurePin . . . 437μs make 001: from FroidurePin and alphabet . . . 587μs make 002: presentation from presentation . . . 406μs make 003: presentation from presentation and alphabet . . . 83μs make 004: argument checks issue . . . 226μs make 005: use human readable alphabet for make . . . 20μs make> 000: from ActionDigraph . . . 1131μs make> 001: from ActionDigraph (exceptions) . . . 71μs number_of_words 001: . . . 13μs operator"" _w 003: literal . . . 15μs silo 000: alphabet: a, min: 0, max: 10 . . . 45μs silo 001: corner cases . . . 32μs silo 002: alphabet: ab, min: 1, max: 4 . . . 56μs silo 003: alphabet: abc, min: 0, max: 13 . . . 94ms silo 004: code coverage . . . 27μs sislo 005: alphabet: a, min: 0, max: 10 . . . 39μs sislo 006: corner cases . . . 53μs sislo 007: alphabet: ab, min: 1, max: 4 . . . 87μs sislo 008: alphabet: abc, min: 0, max: 13 . . . 91ms sislo 009: code coverage . . . 26μs string 000: detail::is_suffix . . . 14μs string 001: detail::is_prefix . . . 13μs string 002: detail::maximum_common_suffix . . . 13μs string 003: detail::group_digits . . . 22μs string_to_word 002: . . . 13μs validate_label 013: 20 node path . . . 43μs wilo 001: corner cases . . . 42μs wilo 002: letters: 2, min: 1, max: 4 . . . 39μs wilo 003: letters: 2, min: 1, max: 4 . . . 64μs wilo 004: letters: 3, min: 0, max: 10 . . . 21ms wilo 005: letters: 3, min: 0, max: 13 . . . 138ms wilo 006: forward iterator requirements . . . 138ms wilo 007: more corner cases . . . 53μs wilo 008: starting at a given word 1 . . . 137μs wilo 009: starting at a given word 2 . . . 24μs wilo 010: code coverage . . . 21μs wislo 000: n: 2, min; 1, max: 4 . . . 29μs wislo 001: corner cases . . . 46μs wislo 002: n: 3, min; 0, max: 10 . . . 4556μs wislo 003: n: 3, min; 0, max: 13 . . . 130ms wislo 004: lex + sort . . . 378ms wislo 005: code coverage . . . 28μs =============================================================================== All tests passed (1290346 assertions in 1191 test cases) >>> libsemigroups: Entering fakeroot... make[1]: Entering directory '/home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.1' ./config/install-sh -c -d '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib' ./config/install-sh -c -d '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups/backward-cpp' /bin/sh ./libtool --mode=install /usr/bin/install -c libsemigroups.la '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib' /usr/bin/install -c -m 644 extern/backward-cpp/backward.hpp '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups/backward-cpp' ./config/install-sh -c -d '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/pkgconfig' /usr/bin/install -c -m 644 libsemigroups.pc '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/pkgconfig' ./config/install-sh -c -d '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups' ./config/install-sh -c -d '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups/textflowcpp' libtool: install: /usr/bin/install -c .libs/libsemigroups.so.2.0.0 /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/libsemigroups.so.2.0.0 libtool: install: (cd /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib && { ln -s -f libsemigroups.so.2.0.0 libsemigroups.so.2 || { rm -f libsemigroups.so.2 && ln -s libsemigroups.so.2.0.0 libsemigroups.so.2; }; }) libtool: install: (cd /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib && { ln -s -f libsemigroups.so.2.0.0 libsemigroups.so || { rm -f libsemigroups.so && ln -s libsemigroups.so.2.0.0 libsemigroups.so; }; }) /usr/bin/install -c -m 644 include/libsemigroups/action.hpp include/libsemigroups/adapters.hpp include/libsemigroups/bipart.hpp include/libsemigroups/bitset.hpp include/libsemigroups/bmat8.hpp include/libsemigroups/bmat.hpp include/libsemigroups/bruidhinn-traits.hpp include/libsemigroups/config.hpp include/libsemigroups/cong-intf.hpp include/libsemigroups/cong-pair-impl.hpp include/libsemigroups/cong-pair.hpp include/libsemigroups/cong-wrap.hpp include/libsemigroups/cong.hpp include/libsemigroups/constants.hpp include/libsemigroups/containers.hpp include/libsemigroups/coset.hpp include/libsemigroups/debug.hpp include/libsemigroups/deprecated.hpp include/libsemigroups/digraph-helper.hpp include/libsemigroups/digraph-with-sources.hpp include/libsemigroups/digraph-with-sources.tpp include/libsemigroups/digraph.hpp include/libsemigroups/exception.hpp include/libsemigroups/fastest-bmat.hpp include/libsemigroups/felsch-tree.hpp include/libsemigroups/felsch-digraph.hpp include/libsemigroups/felsch-digraph.tpp include/libsemigroups/forest.hpp include/libsemigroups/fpsemi-examples.hpp include/libsemigroups/fpsemi-intf.hpp include/libsemigroups/fpsemi.hpp include/libsemigroups/freeband.hpp include/libsemigroups/froidure-pin-base.hpp include/libsemigroups/froidure-pin-impl.hpp include/libsemigroups/froidure-pin.hpp include/libsemigroups/function-ref.hpp include/libsemigroups/hpcombi.hpp include/libsemigroups/int-range.hpp include/libsemigroups/iterator.hpp include/libsemigroups/kambites.hpp '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups' /usr/bin/install -c -m 644 extern/textflowcpp/TextFlow.hpp '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups/textflowcpp' libtool: install: /usr/bin/install -c .libs/libsemigroups.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-r0 pc:eigen3 pc:fmt pkgconfig >>> libsemigroups-dev*: Package size: 2.1 MB >>> libsemigroups-dev*: Compressing data... >>> libsemigroups-dev*: Create checksum... >>> libsemigroups-dev*: Create libsemigroups-dev-2.7.1-r0.apk >>> libsemigroups-static*: Tracing dependencies... >>> libsemigroups-static*: Package size: 5.9 MB >>> libsemigroups-static*: Compressing data... >>> libsemigroups-static*: Create checksum... >>> libsemigroups-static*: Create libsemigroups-static-2.7.1-r0.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-r0.apk >>> libsemigroups: Build complete at Fri, 31 Mar 2023 00:16:44 +0000 elapsed time 0h 3m 36s >>> libsemigroups: Cleaning up srcdir >>> libsemigroups: Cleaning up pkgdir >>> libsemigroups: Uninstalling dependencies... (1/4) Purging .makedepends-libsemigroups (20230331.001309) (2/4) Purging eigen-dev (3.4.0-r8) (3/4) Purging fmt-dev (9.1.0-r0) (4/4) Purging fmt (9.1.0-r0) OK: 292 MiB in 96 packages >>> libsemigroups: Updating the testing/ppc64le repository index... >>> libsemigroups: Signing the index...