>>> libsemigroups: Building testing/libsemigroups 2.6.0-r0 (using abuild 3.10.0-r0) started Tue, 07 Feb 2023 06:38:34 +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 (20230207.063835) OK: 305 MiB in 100 packages >>> libsemigroups: Cleaning up srcdir >>> libsemigroups: Cleaning up pkgdir >>> libsemigroups: Fetching https://distfiles.alpinelinux.org/distfiles/edge/libsemigroups-2.6.0.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 146 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 curl: (22) The requested URL returned error: 404 >>> libsemigroups: Fetching https://github.com/libsemigroups/libsemigroups/releases/download/v2.6.0/libsemigroups-2.6.0.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 100 2435k 100 2435k 0 0 2077k 0 0:00:01 0:00:01 --:--:-- 8172k >>> libsemigroups: Fetching https://distfiles.alpinelinux.org/distfiles/edge/libsemigroups-2.6.0.tar.gz >>> libsemigroups: Checking sha512sums... libsemigroups-2.6.0.tar.gz: OK >>> libsemigroups: Unpacking /var/cache/distfiles/libsemigroups-2.6.0.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 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-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-suffix-tree.lo CXX src/libsemigroups_la-timer.lo CXX src/libsemigroups_la-todd-coxeter.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.6.0/include/libsemigroups/digraph.hpp:58, from /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.6.0/include/libsemigroups/digraph-with-sources.hpp:41, from /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.6.0/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.6.0/include/libsemigroups/digraph.hpp:58, from /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.6.0/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.6.0' CXX tests/bmat-data.o CXX tests/test-action.o CXX tests/test-bipart.o CXX tests/test-bitset.o CXX tests/test-bmat8.o CXX tests/test-cong-intf.o CXX tests/test-cong-pair.o CXX tests/test-cong.o CXX tests/test-constants.o CXX tests/test-containers.o CXX tests/test-digraph-helper.o CXX tests/test-digraph.o CXX tests/test-felsch-tree.o CXX tests/test-forest.o CXX tests/test-fpsemi.o CXX tests/test-fpsemi-examples-1.o CXX tests/test-fpsemi-examples-2.o CXX tests/test-fpsemi-examples-3.o CXX tests/test-fpsemi-intf.o CXX tests/test-freeband.o CXX tests/test-froidure-pin-bipart.o CXX tests/test-froidure-pin-bmat8.o CXX tests/test-froidure-pin-bmat.o CXX tests/test-froidure-pin-integers.o CXX tests/test-froidure-pin-intmat.o CXX tests/test-froidure-pin-intpairs.o CXX tests/test-froidure-pin-matrix.o CXX tests/test-froidure-pin-maxplustrunc.o CXX tests/test-froidure-pin-pbr.o CXX tests/test-froidure-pin-pperm.o CXX tests/test-froidure-pin-projmaxplus.o CXX tests/test-froidure-pin-transf.o CXX tests/test-hpcombi.o CXX tests/test-iterator.o CXX tests/test-kambites.o CXX tests/test-kbe.o CXX tests/test-knuth-bendix-1.o CXX tests/test-knuth-bendix-2.o CXX tests/test-knuth-bendix-3.o CXX tests/test-knuth-bendix-4.o CXX tests/test-knuth-bendix-5.o CXX tests/test-knuth-bendix-6.o CXX tests/test-konieczny-bmat8-1.o CXX tests/test-konieczny-bmat8-2.o CXX tests/test-konieczny-bmat8-3.o CXX tests/test-konieczny-transf.o CXX tests/test-konieczny-bmat.o CXX tests/test-konieczny-pperm.o CXX tests/test-main.o CXX tests/test-make-present.o CXX tests/test-make-froidure-pin.o CXX tests/test-matrix.o CXX tests/test-obvinf.o CXX tests/test-order.o CXX tests/test-pbr.o CXX tests/test-pool.o CXX tests/test-present.o CXX tests/test-race.o CXX tests/test-runner.o CXX tests/test-schreier-sims.o CXX tests/test-schreier-sims-helper.o CXX tests/test-siso.o CXX tests/test-sims1.o CXX tests/test-stephen.o CXX tests/test-string.o CXX tests/test-string-view.o CXX tests/test-suffix-tree.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-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.6.0/include/libsemigroups/digraph.hpp:58, from /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.6.0/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.6.0/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.6.0/include/libsemigroups/digraph.hpp:58, from /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.6.0/include/libsemigroups/knuth-bendix.hpp:34, from /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.6.0/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.6.0/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.6.0/include/libsemigroups/digraph.hpp:58, from /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.6.0/include/libsemigroups/knuth-bendix.hpp:34, from /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.6.0/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.6.0' ./test_all --use-colour yes --order lex --abort [quick] Filters: [quick] Action 001: row and column basis orbits for BMat8 . . . 38μs Action 002: row and column basis orbits for BMat8 . . . 2091μs Action 003: add generators after enumeration . . . 2086μs Action 004: multipliers for BMat8 row and column orbits . . . 4454μs Action 005: orbits for regular boolean mat monoid 5 . . . 351ms Action 007: partial perm image orbit . . . 378μ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 . . . 26μs Action 012: permutation on sets, arrays . . . 243μs Action 013: permutation on tuples, arrays . . . 25ms Action 014: permutation on sets, vectors . . . 323μs Action 015: permutation on tuples, vectors . . . 34ms Action 016: misc . . . 17ms Action 017: partial perm image orbit . . . 71μs Action 018: permutation on tuples, arrays (360360) . . . 354ms Action 019: orbits for regular BMat8 monoid 5 with stop/start . . . 467ms Action 021: orbits for regular boolean mat monoid 5 (BMat<5> [...] . . . 651ms ActionDigraph 000: constructor with 1 default arg . . . 17μs ActionDigraph 001: constructor with 0 default args . . . 53μs ActionDigraph 002: add nodes . . . 31μs ActionDigraph 003: add edges . . . 532μs ActionDigraph 004: strongly connected components - cycles . . . 31μs ActionDigraph 005: strongly connected components - no edges . . . 51ms ActionDigraph 006: strongly connected components - disjoint cycles . . . 1438μs ActionDigraph 007: strongly connected components - complete graphs . . . 613μs ActionDigraph 008: exceptions . . . 106μs ActionDigraph 009: spanning forest - complete graphs . . . 3215μs ActionDigraph 010: spanning forest - disjoint cycles . . . 110μs ActionDigraph 011: restrict . . . 12μs ActionDigraph 012: remove_edge_nc . . . 12μs ActionDigraph 013: scc large cycle . . . 9519μs ActionDigraph 014: random . . . 21μs ActionDigraph 015: reserve . . . 13μs ActionDigraph 016: default constructors . . . 18μs ActionDigraph 017: scc iterators . . . 844μs ActionDigraph 018: iterator to edges . . . 596μs ActionDigraph 019: root of scc . . . 247μs ActionDigraph 020: cbegin/end_panislo - 100 node path . . . 678μs ActionDigraph 021: cbegin/end_pislo . . . 58μs ActionDigraph 022: cbegin/end_pani(s)lo - 100 node cycle . . . 705μs ActionDigraph 023: cbegin/cend_pilo - tree 14 nodes . . . 107μs ActionDigraph 024: cbegin/end_pstilo - Cayley digraph . . . 233ms ActionDigraph 025: cbegin_pstilo - Tsalakou . . . 397μs ActionDigraph 026: cbegin/end_pstislo - Cayley digraph . . . 237ms ActionDigraph 027: cbegin/end_pstislo - Cayley digraph . . . 247μs ActionDigraph 028: path iterators corner cases . . . 299μs ActionDigraph 029: reverse node iterator . . . 13μs ActionDigraph 030: pstilo corner case . . . 38μs ActionDigraph 031: number_of_paths corner cases . . . 92μs ActionDigraph 032: number_of_paths acyclic digraph . . . 15ms ActionDigraph 033: number_of_paths binary tree . . . 533ms ActionDigraph 034: number_of_paths large binary tree . . . 85ms ActionDigraph 035: number_of_paths 400 node random digraph . . . 1021μs ActionDigraph 036: number_of_paths 10 node acyclic digraph . . . 38μs ActionDigraph 037: number_of_paths node digraph . . . 3028μs ActionDigraph 038: random/random_acyclic exceptions . . . 179μs ActionDigraph 039: unsafe (next) neighbour . . . 46μs ActionDigraph 040: number_of_egdes incident to a node . . . 51μ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 . . . 31μ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 . . . 17μs BMat8 004: random . . . 139μs BMat8 005: call operator . . . 23μs BMat8 006: operator<< . . . 24μs BMat8 007: set . . . 104μs BMat8 008: row space basis . . . 791μs BMat8 009: col space basis . . . 779μs BMat8 010: row space basis . . . 1249μs BMat8 011: number_of_rows, number_of_cols . . . 45μs BMat8 012: row_space, col_space . . . 269μs BMat8 013: rows . . . 55μs BMat8 014: one . . . 14μs BMat8 015: vector constructor . . . 169μ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 . . . 55μs Bipartition 015: convenience constructor . . . 402μ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== . . . 16μs BitSet 003: operator!= . . . 15μs BitSet 004: operator&= . . . 18μs BitSet 005: & . . . 21μs BitSet 006: operator|= . . . 25μs BitSet 007: operator[] . . . 22μs BitSet 008: set(none) . . . 24μs BitSet 009: set(pos, value) . . . 23μs BitSet 010: set(first, last, value) . . . 29μs BitSet 011: reset(first, last) . . . 26μs BitSet 012: reset(pos) . . . 27μs BitSet 013: apply (iterate through set bits) . . . 33μs BitSet 014: std::hash . . . 10μs BitSet 015: constructors . . . 24μs BitSet 016: max_size . . . 10μs BitSet 017: insertion operators . . . 15μs Blocks 001: empty blocks . . . 14μs Blocks 002: non-empty blocks . . . 15μs Blocks 003: left blocks of bipartition . . . 16μs Blocks 004: right blocks of bipartition . . . 16μs Blocks 005: copy [empty blocks] . . . 13μs Blocks 006: copy [non-empty blocks] . . . 15μs Blocks 007: hash value . . . 14μs Blocks 008: operator< . . . 15μs Congruence 000: left congruence on fp semigroup . . . 106μs Congruence 001: 2-sided congruence on fp semigroup . . . 889μs Congruence 002: left congruence on fp semigroup . . . 857μs Congruence 003: word_to_class_index for cong. on fp semigroup . . . 735μs Congruence 004: word_to_class_index for cong. on fp semigroup . . . 505μs Congruence 005: trivial congruence on non-fp semigroup . . . 481μs Congruence 006: 2-sided congruence on non-fp semigroup . . . 369μs Congruence 007: 2-sided congruence on fp semigroup . . . 652μs Congruence 008: 2-sided congruence on infinite fp semigroup . . . 326μs Congruence 009: 2-sided congruence on infinite fp semigroup . . . 459μs Congruence 010: 2-sided congruence on finite semigroup . . . 54ms Congruence 012: 2-sided congruence on finite semigroup . . . 3972μs Congruence 013: trivial 2-sided congruence on bicyclic monoid . . . 34ms Congruence 014: non-trivial 2-sided congruence on bicyclic monoid . . . 345μs Congruence 015: 2-sided congruence on free abelian monoid . . . 844μs Congruence 016: example where TC works but KB doesn't . . . 1063μs Congruence 017: 2-sided congruence on finite semigroup . . . 400μs Congruence 018: infinite fp semigroup from GAP library . . . 600μs Congruence 019: 2-sided cong. on fp semigroup with infinite [...] . . . 312μs Congruence 020: trivial cong. on an fp semigroup . . .  -- with compute size 320μs  -- with don't compute size 323μs Congruence 021: duplicate generators . . . 497μs Congruence 022: non-trivial classes . . . 1535μs Congruence 023: right congruence on finite semigroup . . . 255ms Congruence 024: redundant generating pairs . . . 93μs Congruence 025: 2-sided cong. on free semigroup . . . 64μs Congruence 026: is_quotient_obviously_(in)finite . . . 1419μs Congruence 027: less . . . 857μs Congruence 028: 2-sided congruences of BMat8 semigroup . . . 146ms Congruence 029: left congruence on finite semigroup . . . 542μs Congruence 030: right congruence on finite semigroup . . . 868μs Congruence 031: right congruence on finite semigroup . . . 487μs Congruence 032: contains . . . 135μs Congruence 033: stellar_monoid S2 . . . 882μs Congruence 034: stellar_monoid S3 . . . 852μs Congruence 035: stellar_monoid S4 . . . 1965μs Congruence 036: stellar_monoid S5 . . . 10ms Congruence 037: stellar_monoid S6 . . . 87ms Congruence 038: stellar_monoid S7 . . . 764ms Congruence 039: left cong. on an f.p. semigroup . . . 2056μs Congruence 040: 2-sided cong. on infinite f.p. semigroup . . . 147μs Congruence 041: 2-sided congruence constructed from type only . . . 1110μs Congruence 042: const_contains . . . 977μs Congruence 043: no winner . . . 4792μs Congruence 044: congruence over smalloverlap . . . 7121μs CongruenceByPairs 001: (cong) 2-sided cong. on finite semigroup . . . 444μs CongruenceByPairs 002: (cong) left congruence on finite semigroup . . . 137μs CongruenceByPairs 003: (cong) right congruence on finite semigroup . . . 136μs CongruenceByPairs 004: (cong) trivial congruence on finite s [...] . . . 103μs CongruenceByPairs 005: (cong) trivial left congruence on fin [...] . . . 90μs CongruenceByPairs 006: (cong) trivial right congruence on fi [...] . . . 88μs CongruenceByPairs 007: (cong) universal congruence on finite [...] . . . 478μs CongruenceByPairs 009: (cong) 2-sided congruence on finite s [...] . . . 657ms CongruenceByPairs 010: (cong) left congruence on big finite [...] . . . 34ms CongruenceByPairs 011: (cong) left congruence on TCE . . . 283μs CongruenceByPairs 012: (cong) is_quotient_obviously_finite . . . 146μs CongruenceByPairs 013: (cong) class_index_to_word/quotient . . .  -- with right congruence 12ms  -- with left congruence 1435μs  -- with 2-sided congruence 8491μs CongruenceByPairs 014: (cong) const_word_to_class_index . . .  -- with right congruence 43μs  -- with left congruence 39μs  -- with 2-sided congruence 38μs CongruenceByPairs 015: (cong) size non-Element* . . . 24ms CongruenceInterface 000: add_pair . . .  -- with ToddCoxeter 176μs  -- with KnuthBendix 254μs  -- with CongruenceByPairs 192μs  -- with Congruence 1105μs CongruenceInterface 001: contains/const_contains . . .  -- with ToddCoxeter and no parent 195μs  -- with KnuthBendix and no parent 215μs  -- with Congruence and parent 1105μs  -- with CongruenceByPairs and parent 150μs CongruenceInterface 002: less . . .  -- with ToddCoxeter 154μs  -- with KnuthBendix 233μs  -- with CongruenceByPairs 156μs  -- with Congruence 456μs CongruenceInterface 003: is_quotient_obviously_(in)finite . . .  -- with ToddCoxeter 124μs  -- with KnuthBendix 209μs CongruenceInterface 004: is_quotient_obviously_(in)finite . . .  -- with CongruenceByPairs 162μs  -- with Congruence 468μs CongruenceInterface 005: parent_froidure_pin . . .  -- with ToddCoxeter 43μs  -- with KnuthBendix 58μs CongruenceInterface 006: parent_froidure_pin . . .  -- with CongruenceByPairs 161μs  -- with Congruence 515μs CongruenceInterface 007: cbegin/cend_ntc . . .  -- with ToddCoxeter 281μs  -- with KnuthBendix 1958μs CongruenceInterface 008: cbegin/cend_ntc . . .  -- with CongruenceByPairs 206μs  -- with Congruence 538μs CongruenceInterface 009: quotient is immutable . . .  -- with ToddCoxeter 138μs  -- with KnuthBendix 190μs  -- with Congruence 369μs CongruenceInterface 010: no generating pairs added . . .  -- with KnuthBendix and common behaviour 4537μs  -- with Congruence and common behaviour 4678μs  -- with ToddCoxeter 131μs CongruenceInterface 011: nr generators not set . . .  -- with ToddCoxeter 228μs  -- with KnuthBendix 231μs  -- with Congruence 233μs CongruenceInterface 012: no generating pairs . . . 173μs ConstIteratorStateless 001: ? . . . 12μs ConstIteratorStateless 002: ? . . . 11μs Constants 001: Undefined . . . 19μs Constants 002: PositiveInfinity . . . 20μs Constants 003: NegativeInfinity . . . 18μs Constants 004: LimitMax . . . 17μs Duf 004: unite . . . 26μs Duf 006: compress . . . 18μs Duf 008: resize . . . 23μs Duf 009: resize . . . 15μs Duf 010: big chain . . . 21ms Duf 012: empty table . . . 11μs Duf 014: join . . . 15μs Duf 016: contains . . . 30μs Duf 018: swap . . . 36μs DynamicArray2 001: default constructor with 3 default args . . . 12μ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 . . . 15μs DynamicArray2 007: add_rows . . . 15μs DynamicArray2 008: add_rows . . . 14μs DynamicArray2 009: add_cols . . . 15μs DynamicArray2 010: set/get . . . 26μs DynamicArray2 011: append 1/2 . . . 49μs DynamicArray2 012: append 2/2 . . . 73μs DynamicArray2 013: count . . . 22μ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) . . . 270μs DynamicArray2 018: iterator operator++ (prefix) . . . 1817μs DynamicArray2 019: iterator operator-- (postfix) . . . 367μs DynamicArray2 020: iterator operator-- (prefix) . . . 362μs DynamicArray2 021: operator= . . . 16μs DynamicArray2 022: operator== and operator!= . . . 238μs DynamicArray2 023: empty and clear . . . 15μs DynamicArray2 024: max_size . . . 11μs DynamicArray2 025: swap . . . 35μs DynamicArray2 026: iterator arithmetic . . . 1611μs DynamicArray2 027: iterator comparison . . . 15μs DynamicArray2 028: iterator operator= . . . 12μ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 . . . 27μs DynamicArray2 034: column iterator arithmetic . . . 6604μs DynamicArray2 035: iterator assignment constructor . . . 1879μs DynamicArray2 036: reserve method . . . 39μs DynamicArray2 037: erase column . . . 18μs DynamicArray2 038: swap_rows . . . 14μs DynamicArray2 039: apply_row_permutation . . . 13μs DynamicArray2 040: swap . . . 12μs DynamicArray2 041: shrink_rows_to . . . 18μs DynamicArray2 042: shrink_rows_to - for range . . . 18μs FastestBMat 046: check no throw . . . 13μs FelschTree 000: previously failing example . . . 29μs Forest 001: test forest . . . 75μs FpSemigroup 001: Renner monoid type B2 (E. G. presentation), q = 1 . . . 1066μs FpSemigroup 002: Renner monoid type B2 (E. G. presentation), q = 0 . . . 1038μs FpSemigroup 003: Renner monoid type B3 (E. G. presentation), q = 1 . . . 226ms FpSemigroup 004: Renner monoid type B3 (E. G. presentation), q = 0 . . . 238ms FpSemigroup 005: Renner monoid type B2 (Gay-Hivert presentat [...] . . . 1510μs FpSemigroup 006: Renner monoid type B2 (Gay-Hivert presentat [...] . . . 1060μs FpSemigroup 007: Renner monoid type B3 (Gay-Hivert presentat [...] . . . 6984μs FpSemigroup 008: Renner monoid type B3 (Gay-Hivert presentat [...] . . . 5776μs FpSemigroup 009: Renner monoid type B4 (Gay-Hivert presentat [...] . . . 241ms FpSemigroup 010: Renner monoid type B4 (Gay-Hivert presentat [...] . . . 351ms FpSemigroup 013: Renner monoid type D2 (E. G. presentation), q = 1 . . . 1590μs FpSemigroup 014: Renner monoid type D2 (E. G. presentation), q = 0 . . . 1878μs FpSemigroup 015: Renner monoid type D3 (E. G. presentation), q = 1 . . . 5612μs FpSemigroup 016: Renner monoid type D3 (E. G. presentation), q = 0 . . . 5938μs FpSemigroup 017: Renner monoid type D4 (E. G. presentation), q = 1 . . . 3554ms FpSemigroup 018: Renner monoid type D4 (E. G. presentation), q = 0 . . . 3559ms FpSemigroup 019: Renner monoid type D2 (Gay-Hivert presentat [...] . . . 1647μs FpSemigroup 020: Renner monoid type D2 (Gay-Hivert presentat [...] . . . 1046μs FpSemigroup 021: Renner monoid type D3 (Gay-Hivert presentat [...] . . . 6764μs FpSemigroup 022: Renner monoid type D3 (Gay-Hivert presentat [...] . . . 6389μs FpSemigroup 023: Renner monoid type D4 (Gay-Hivert presentat [...] . . . 105ms FpSemigroup 024: Renner monoid type D4 (Gay-Hivert presentat [...] . . . 118ms FpSemigroup 029: Rook monoid R5, q = 0 . . . 7071μs FpSemigroup 030: Rook monoid R5, q = 1 . . . 7643μs FpSemigroup 031: Rook monoid R6, q = 0 . . . 65ms FpSemigroup 032: Rook monoid R6, q = 1 . . . 65ms FpSemigroup 033: normal_form . . . 294μs FpSemigroup 034: for a finite semigroup . . . 683μs FpSemigroup 035: finite fp semigroup, dihedral group of order 6 . . . 974μs FpSemigroup 036: finite fp semigroup, size 16 . . . 864μs FpSemigroup 037: finite fp semigroup, size 16 . . . 1416μs FpSemigroup 038: fp semigroup, size 240 . . . 1089μs FpSemigroup 039: add_rule . . . 304μs FpSemigroup 040: add_rule . . . 205μs FpSemigroup 041: equal_to . . . 307μs FpSemigroup 042: cbegin/cend_rules . . . 94μs FpSemigroup 043: semigroup of size 3 . . . 467μs FpSemigroup 044: run_for/until . . . 2503μs FpSemigroup 045: constructors . . . 197μs FpSemigroup 046: set_inverses . . . 148μs FpSemigroup 047: smalloverlap . . . 6636μs FpSemigroup 048: quaternion group Q8 . . . 454μs FpSemigroup 049: symmetric group Coxeter presentation . . . 113ms FpSemigroupByPairs 029: (fpsemi) 2-sided congruence on finit [...] . . . 840μs FpSemigroupByPairs 030: (fpsemi) 2-sided congruence on finit [...] . . . 804μs FpSemigroupInterface 000: run with no alphabet . . .  -- with ToddCoxeter 110μs  -- with KnuthBendix 76μs  -- with FpSemigroup 95μs FpSemigroupInterface 001: equal_to . . .  -- with ToddCoxeter and human readable alphabet 3819μs  -- with KnuthBendix and human readable alphabet 10ms  -- with FpSemigroup and human readable alphabet 7502μs  -- with FpSemigroupByPairs 4079μs FpSemigroupInterface 002: normal_form . . .  -- with ToddCoxeter 239μs  -- with KnuthBendix 272μs  -- with FpSemigroup 601μs FpSemigroupInterface 003: set_alphabet (1/2) . . .  -- with ToddCoxeter 163μs  -- with KnuthBendix 149μs  -- with FpSemigroup 164μs FpSemigroupInterface 004: set_alphabet (2/2) . . . 1622μs FpSemigroupInterface 005: add_rule after finished . . .  -- with ToddCoxeter and human readable alphabet 233μs  -- with KnuthBendix and human readable alphabet 269μs  -- with FpSemigroup and human readable alphabet 1034μs  -- with FpSemigroupByPairs 1570μs FpSemigroupInterface 006: add_rule with equal words (1/2) . . .  -- with ToddCoxeter and human readable alphabet 162μs  -- with KnuthBendix and human readable alphabet 275μs  -- with FpSemigroup and human readable alphabet 327μs  -- with FpSemigroupByPairs 149μs FpSemigroupInterface 007: add_rule with equal words (2/2) . . .  -- with ToddCoxeter 30μs  -- with KnuthBendix 24μs  -- with FpSemigroup 38μs FpSemigroupInterface 008: add_rule with word_type . . .  -- with ToddCoxeter 76μs  -- with KnuthBendix 70μs  -- with FpSemigroup 105μs FpSemigroupInterface 009: add_rule with empty word (1/2) . . .  -- with ToddCoxeter 62μs  -- with FpSemigroup 71μs FpSemigroupInterface 010: add_rule with empty word (1/2) . . . 19μs FpSemigroupInterface 011: add_rules (1/3) . . .  -- with ToddCoxeter 61μs  -- with KnuthBendix 55μs  -- with FpSemigroup 68μs FpSemigroupInterface 012: add_rules (2/3) . . . 308μs FpSemigroupInterface 013: add_rules (3/3) . . .  -- with ToddCoxeter 34μs  -- with KnuthBendix 32μs  -- with FpSemigroup 73μs FpSemigroupInterface 014: set_identity (1/3) . . .  -- with ToddCoxeter 192μs  -- with KnuthBendix 166μs  -- with FpSemigroup 206μs FpSemigroupInterface 015: set_identity (2/3) . . . 186μs FpSemigroupInterface 016: set_identity (3/3) . . .  -- with ToddCoxeter 99μs  -- with KnuthBendix 100μs  -- with FpSemigroup 145μs FpSemigroupInterface 017: identity . . .  -- with ToddCoxeter 42μs  -- with KnuthBendix 37μs  -- with FpSemigroup 48μs FpSemigroupInterface 018: set_inverses + inverses (1/2) . . .  -- with ToddCoxeter 265μs  -- with KnuthBendix 266μs  -- with FpSemigroup 320μs FpSemigroupInterface 019: set_inverses + inverses (2/2) . . . 361μs FpSemigroupInterface 020: is_obviously_infinite (1/2) . . .  -- with ToddCoxeter 171μs  -- with KnuthBendix 232μs  -- with FpSemigroup 490μs FpSemigroupInterface 021: is_obviously_infinite (2/2) . . . 39μs FpSemigroupInterface 022: is_obviously_finite (1/2) . . .  -- with ToddCoxeter 162μs  -- with KnuthBendix 218μs  -- with FpSemigroup 460μs FpSemigroupInterface 023: is_obviously_finite (2/2) . . . 34μs FpSemigroupInterface 024: to_gap_string (1/3) . . .  -- with ToddCoxeter 32μs  -- with KnuthBendix 30μs  -- with FpSemigroup 67μs FpSemigroupInterface 025: to_gap_string (2/3) . . . 19μs FpSemigroupInterface 026: to_gap_string (3/3) . . . 31μs FroidurePin 015: (BMat8) regular boolean mat monoid 4 . . . 72ms FroidurePin 016: (BMat8) exception zero generators given . . . 16μs FroidurePin 017: (BMat8) exception word_to_element . . . 92μs FroidurePin 018: (BMat8) exception prefix . . . 4014μs FroidurePin 019: (BMat8) exception suffix . . . 23μs FroidurePin 020: (BMat8) exception first_letter . . . 3907μs FroidurePin 021: (BMat8) exception final_letter . . . 23μs FroidurePin 022: (BMat8) exception current_length . . . 3899μs FroidurePin 023: (BMat8) exception product_by_reduction . . . 4081μs FroidurePin 024: (BMat8) exception fast_product . . . 3490μs FroidurePin 025: (BMat8) exception is_idempotent . . . 37ms FroidurePin 026: (BMat8) copy constructor . . .  -- with fully enumerated 36ms  -- with partially enumerated 27ms  -- with not enumerated 25ms FroidurePin 027: (BMat8) cbegin/end_rules . . . 62μs FroidurePin 031: (integers) . . . 125μs FroidurePin 039: (pairs of integers) non-trivial user type . . . 24μs FroidurePin 055: (tropical max-plus semiring matrices) . . . 247μs FroidurePin 061: projective max plus matrix . . . 1021μs FroidurePin 062: projective max plus matrix . . . 39μs FroidurePin> 009: small example 2 . . . 42μs FroidurePin> 005: small example 1 . . . 128μs FroidurePin> 007: regular bmat monoid 4 . . . 58ms FroidurePin> 011: small example 3 . . . 483μs FroidurePin> 006: small example 1 . . . 153μs FroidurePin> 008: regular bmat monoid 4 . . . 70ms FroidurePin> 010: small example 2 . . . 45μs FroidurePin> 012: small example 3 . . . 551μs FroidurePin 000: small example 1 . . . 159μs FroidurePin 001: default constructed . . . 131μs FroidurePin 002: small example 2 . . . 56μs FroidurePin 004: exception: is_idempotent . . . 348μs FroidurePin> 033: Example 000 . . . 713μs FroidurePin> 035: Example 001 . . . 48μs FroidurePin> 032: Example 000 . . . 585μs FroidurePin> 034: Example 001 . . . 42μs FroidurePin 036: exception: current_position . . . 192μs FroidurePin 037: exception: word_to_element . . . 126μs FroidurePin 038: exception: prefix, suffix, first_letter . . . 51ms FroidurePin> 040: Example 000 . . . 64μs FroidurePin> 041: Example 000 . . . 64μs FroidurePin> 046: Example 005 . . . 146μs FroidurePin> 047: Example 005 . . . 167μs FroidurePin> 048: Example 005 . . . 164μs FroidurePin> 044: Example 004 . . . 32μs FroidurePin> 045: Example 004 . . . 33μs FroidurePin> 049: Example 006 . . . 913μs FroidurePin> 050: Example 006 . . . 1070μs FroidurePin> 051: Example 006 . . . 1079μs FroidurePin> 052: Example 007 . . . 116μs FroidurePin> 053: Example 007 . . . 131μs FroidurePin> 054: Example 007 . . . 129μs FroidurePin 056: example 1 . . . 199μs FroidurePin 057: example 2 . . . 154μs FroidurePin> 058: . . . 565μs FroidurePin> 059: . . . 54μs FroidurePin> 060: exceptions: add_generator(s) . . . 87μs FroidurePin> 065: no exception zero generators given . . . 20μs FroidurePin> 066: exception generators of different [...] . . . 66μs FroidurePin> 067: exception current_position . . . 66μs FroidurePin> 068: exception word_to_element . . . 75μs FroidurePin> 069: exception gens . . . 777μs FroidurePin> 070: exception prefix . . . 64ms FroidurePin> 071: exception suffix . . . 163ms FroidurePin> 072: exception first_letter . . . 87μs FroidurePin> 073: exception final_letter . . . 84μs FroidurePin> 074: exception current_length . . . 84μs FroidurePin> 075: exception product_by_reduction . . . 1043μs FroidurePin> 076: exception fast_product . . . 1052μs FroidurePin> 077: exception current_position . . . 782μs FroidurePin> 078: exception is_idempotent . . . 688μs FroidurePin> 079: exception add_generators . . . 53μs FroidurePin> 080: multithread number_of_idempotents . . . 1010μs FroidurePin> 081: small semigroup . . . 31μs FroidurePin> 082: large semigroup . . . 5316μs FroidurePin> 083: at, position, current_* . . . 5384μs FroidurePin> 084: run . . . 5306μs FroidurePin> 085: run [many stops and starts] . . . 5479μs FroidurePin> 086: factorisation, length [1 element] . . . 5112μs FroidurePin> 087: factorisation, products [all elements] . . . 8083μs FroidurePin> 088: first/final letter, prefix, suffi [...] . . . 5208μs FroidurePin> 089: current_position [standard] . . . 27μs FroidurePin> 090: current_position [duplicate gens] . . . 8298μs FroidurePin> 091: current_position [after add_generators] . . . 5301μs FroidurePin> 092: cbegin_idempotents/cend [1 thread] . . . 5873μs FroidurePin> 093: idempotent_cend/cbegin [1 thread] . . . 5921μs FroidurePin> 094: is_idempotent [1 thread] . . . 6100μs FroidurePin> 096: finished, started . . . 5231μs FroidurePin> 097: current_position . . . 1185μs FroidurePin> 098: sorted_position, sorted_at . . . 6466μs FroidurePin> 099: right/left Cayley graph . . . 36ms FroidurePin> 100: iterator . . . 9546μs FroidurePin> 101: reverse iterator . . . 9578μs FroidurePin> 102: iterator arithmetic . . . 41ms FroidurePin> 103: iterator sorted . . . 36ms FroidurePin> 104: iterator sorted arithmetic . . . 46ms FroidurePin> 105: copy [not enumerated] . . . 5335μs FroidurePin> 106: copy_closure [not enumerated] . . . 34ms FroidurePin> 107: copy_add_generators [not enumerated] . . . 32ms FroidurePin> 108: copy [partly enumerated] . . . 5857μs FroidurePin> 109: copy_closure [partly enumerated] . . . 8647μs FroidurePin> 110: copy_add_generators [partly enumerated] . . . 5791μs FroidurePin> 111: copy [fully enumerated] . . . 8507μs FroidurePin> 112: copy_closure [fully enumerated] . . . 8572μs FroidurePin> 113: copy_add_generators [fully enumerated] . . . 7966μs FroidurePin> 114: relations [duplicate gens] . . . 170μs FroidurePin> 115: relations . . . 8905μs FroidurePin> 116: relations [copy_closure, duplicat [...] . . . 8788μs FroidurePin> 117: relations [copy_add_generators, d [...] . . . 8911μs FroidurePin> 118: relations [from copy, not enumerated] . . . 7043μs FroidurePin> 119: relations [from copy, partly enum [...] . . . 12ms FroidurePin> 120: relations [from copy, fully enumerated] . . . 13ms FroidurePin> 121: relations [from copy_closure, not [...] . . . 11ms FroidurePin> 122: relations [from copy_add_generato [...] . . . 6948μs FroidurePin> 123: relations [from copy_closure, par [...] . . . 9920μs FroidurePin> 124: relations [from copy_add_generato [...] . . . 8495μs FroidurePin> 125: relations [from copy_closure, ful [...] . . . 12ms FroidurePin> 126: relations [from copy_add_generato [...] . . . 11ms FroidurePin> 127: add_generators [duplicate generators] . . . 250μs FroidurePin> 128: add_generators [incremental 1] . . . 263μs FroidurePin> 129: add_generators [incremental 2] . . . 333μs FroidurePin> 130: closure [duplicate generators] . . . 188μs FroidurePin> 131: closure . . . 95μs FroidurePin> 132: factorisation . . . 27μs FroidurePin> 134: minimal_factorisation . . . 75μs FroidurePin> 135: batch_size (for an extremely larg [...] . . . 26μs FroidurePin> 137: exception: generators of differen [...] . . . 45μs FroidurePin> 138: exception: current_position . . . 69μs FroidurePin> 139: exception: word_to_element . . . 75μs FroidurePin> 140: exception: gens, current_position . . . 1159μs FroidurePin> 141: exception: add_generators . . . 45μs KBE 000: constructors . . . 50μs KBE 001: test . . . 86μs KBE 002: factorisation . . . 68μs KBE 003: swap . . . 48μs KBE 004: adapters . . . 45μs KBE 005: conversions . . . 45μs Kambites 000: (fpsemi) MT test 4 (std::string) . . . 6116μs Kambites 001: (fpsemi) MT test 4 (MultiStringView) . . . 5885μs Kambites 002: (fpsemi) number_of_pieces (std::string) . . . 120μs Kambites 003: (fpsemi) number_of_pieces (MultiStringView) . . . 108μs Kambites 004: (fpsemi) small_overlap_class (std::string) . . . 3130μs Kambites 005: (fpsemi) small_overlap_class (MultiStringView) . . . 3089μ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) . . . 15ms Kambites 010: (fpsemi) smalloverlap/gap/test.gi:85 (std::string) . . . 94μs Kambites 011: (fpsemi) smalloverlap/gap/test.gi:85 (MultiStr [...] . . . 79μ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 [...] . . . 41ms Kambites 015: (fpsemi) smalloverlap/gap/test.gi:63 (std::string) . . . 38ms Kambites 016: (fpsemi) smalloverlap/gap/test.gi:63 (MultiStr [...] . . . 46ms Kambites 017: (fpsemi) smalloverlap/gap/test.gi:70 (std::string) . . . 138ms Kambites 018: (fpsemi) smalloverlap/gap/test.gi:70 (MultiStr [...] . . . 167ms Kambites 021: (fpsemi) code coverage (std::string) . . . 48μs Kambites 022: (fpsemi) code coverage (MultiStringView) . . . 35μs Kambites 023: (fpsemi) prefix (std::string) . . . 74μs Kambites 024: (fpsemi) prefix (MultiStringView) . . . 96μs Kambites 025: (fpsemi) normal_form (Example 3.15) (std::string) . . . 78μs Kambites 026: (fpsemi) normal_form (Example 3.15) (MultiStri [...] . . . 90μs Kambites 027: (fpsemi) normal_form (Example 3.16) (std::string) . . . 58μs Kambites 028: (fpsemi) normal_form (Example 3.16) (MultiStri [...] . . . 72μs Kambites 029: (fpsemi) normal_form (Example 3.16) more exhau [...] . . . 105ms Kambites 030: (fpsemi) normal_form (Example 3.16) more exhau [...] . . . 95ms Kambites 031: (fpsemi) small presentation (std::string) . . . 99μs Kambites 032: (fpsemi) small presentation (MultiStringView) . . . 84μs Kambites 033: (fpsemi) non-smalloverlap (std::string) . . . 89μs Kambites 034: (fpsemi) non-smalloverlap (MultiStringView) . . . 91μs Kambites 035: (fpsemi) MT test 3 (std::string) . . . 56μ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) . . . 32μs Kambites 039: (fpsemi) MT test 6 (std::string) . . . 44μ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) . . . 44μs Kambites 043: (fpsemi) MT test 13 (std::string) . . . 31μs Kambites 044: (fpsemi) MT test 13 (MultiStringView) . . . 33μs Kambites 045: (fpsemi) MT test 14 (std::string) . . . 31μs Kambites 046: (fpsemi) MT test 14 (MultiStringView) . . . 32μ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) . . . 42μs Kambites 050: (fpsemi) MT test 16 (MultiStringView) . . . 45μs Kambites 051: (fpsemi) MT test 17 (std::string) . . . 114μs Kambites 052: (fpsemi) MT test 17 (MultiStringView) . . . 97μs Kambites 053: (fpsemi) weak C(4) not strong x 1 (std::string) . . . 647μs Kambites 054: (fpsemi) weak C(4) not strong x 1 (MultiStringView) . . . 676μs Kambites 055: (fpsemi) weak C(4) not strong x 2 (std::string) . . . 649μs Kambites 056: (fpsemi) weak C(4) not strong x 2 (MultiStringView) . . . 685μs Kambites 057: (fpsemi) weak C(4) not strong x 3 (std::string) . . . 632μs Kambites 058: (fpsemi) weak C(4) not strong x 3 (MultiStringView) . . . 581μ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) . . . 85μ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) . . . 48μs Kambites 064: (fpsemi) weak C(4) not strong x 6 (MultiStringView) . . . 50μs Kambites 065: (fpsemi) Konovalov example (std::string) . . . 37μs Kambites 066: (fpsemi) Konovalov example (MultiStringView) . . . 35μs Kambites 067: (fpsemi) long words (std::string) . . . 1572ms Kambites 068: (fpsemi) long words (MultiStringView) . . . 31ms Kambites 075: (cong) example 1 . . . 36μs Kambites 076: (cong) example 2 . . . 115μs Kambites 077: (cong) code coverage . . . 5622μs Kambites 078: (cong) large number of rules . . . 226ms KnuthBendix 000: (fpsemi) confluent fp semigroup 1 (infinite) . . . 145μs KnuthBendix 001: (fpsemi) confluent fp semigroup 2 (infinite) . . . 139μs KnuthBendix 002: (fpsemi) confluent fp semigroup 3 (infinite) . . . 108μs KnuthBendix 003: (fpsemi) non-confluent fp semigroup from wi [...] . . . 205μs KnuthBendix 004: (fpsemi) Example 5.1 in Sims (infinite) . . . 176μs KnuthBendix 005: (fpsemi) Example 5.1 in Sims (infinite) . . . 173μs KnuthBendix 006: (fpsemi) Example 5.3 in Sims . . . 161μs KnuthBendix 007: (fpsemi) Example 5.4 in Sims . . . 228μs KnuthBendix 008: (fpsemi) Example 6.4 in Sims (size 168) . . . 11ms KnuthBendix 009: (fpsemi) . . . 51ms KnuthBendix 010: (fpsemi) SL(2, 7) from Chapter 3, Propositi [...] . . . 124ms KnuthBendix 011: (fpsemi) F(2, 5) - Chapter 9, Section 1 in [...] . . . 720μs KnuthBendix 012: (fpsemi) Reinis example 1 . . . 230μs KnuthBendix 013: redundant_rule (std::string) . . . 100ms KnuthBendix 014: redundant_rule (word_type) . . . 10ms KnuthBendix 019: (fpsemi) C(4) monoid . . . 38μs KnuthBendix 020: (cong) Chinese monoid . . . 185μs KnuthBendix 021: (from kbmag/standalone/kb_data/f25monoid) . . . 764μs KnuthBendix 022: (from kbmag/standalone/kb_data/degen4a) . . . 73ms KnuthBendix 023: (from kbmag/standalone/kb_data/torus) . . . 3209μs KnuthBendix 024: (from kbmag/standalone/kb_data/3a6) . . . 347ms KnuthBendix 025: (from kbmag/standalone/kb_data/f2) . . . 61μs KnuthBendix 026: (from kbmag/standalone/kb_data/s16) . . . 190ms KnuthBendix 027: (from kbmag/standalone/kb_data/a4monoid) . . . 74μs KnuthBendix 028: (from kbmag/standalone/kb_data/degen3) . . . 29μs KnuthBendix 029: (from kbmag/standalone/kb_data/ab1) . . . 27μs KnuthBendix 030: (from kbmag/standalone/kb_data/degen2) . . . 20μs KnuthBendix 031: (from kbmag/standalone/kb_data/f25) . . . 698μs KnuthBendix 032: (from kbmag/standalone/kb_data/237) . . . 845μs KnuthBendix 033: (from kbmag/standalone/kb_data/c2) . . . 19μs KnuthBendix 034: (from kbmag/standalone/kb_data/cosets) . . . 298μs KnuthBendix 035: Example 5.1 in Sims (KnuthBendix 09 again) . . . 81μs KnuthBendix 036: (from kbmag/standalone/kb_data/nilp2) . . . 41μs KnuthBendix 037: Example 6.4 in Sims . . . 20ms KnuthBendix 038: KnuthBendix 071 again . . . 941μs KnuthBendix 039: Example 5.4 in Sims (KnuthBendix 11 again) [...] . . . 311μs KnuthBendix 040: Example 5.4 in Sims (KnuthBendix 11 again) [...] . . . 254μs KnuthBendix 041: operator<< . . . 75μs KnuthBendix 042: confluence_interval . . . 22μs KnuthBendix 043: max_overlap . . . 22μs KnuthBendix 044: (fpsemi) (from kbmag/standalone/kb_data/d22 [...] . . . 2157μs KnuthBendix 045: (fpsemi) (from kbmag/standalone/kb_data/d22 [...] . . . 3944μs KnuthBendix 046: (fpsemi) small example . . . 1067μs KnuthBendix 047: code coverage . . . 78μs KnuthBendix 048: small overlap 1 . . . 54μs KnuthBendix 049: (from kbmag/standalone/kb_data/s9) . . . 2478μs KnuthBendix 050: (fpsemi) Chapter 11, Lemma 1.8 (q = 6, r = [...] . . . 746μs KnuthBendix 051: (fpsemi) Chapter 11, Section 2 (q = 6, r = [...] . . . 169μs KnuthBendix 052: (fpsemi) Chapter 8, Theorem 4.2 in NR (infinite) . . . 313μs KnuthBendix 053: (fpsemi) equal_to fp semigroup . . . 63μs KnuthBendix 054: (fpsemi) equal_to free semigroup . . . 53μs KnuthBendix 055: (fpsemi) from GAP smalloverlap gap/test.gi [...] . . . 389μs KnuthBendix 056: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 654μs KnuthBendix 057: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 642μs KnuthBendix 058: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 1701μs KnuthBendix 059: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 3968μs KnuthBendix 060: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 34μs KnuthBendix 061: (fpsemi) Von Dyck (2,3,7) group (infinite) . . . 783μs KnuthBendix 062: (fpsemi) Von Dyck (2,3,7) group - different [...] . . . 7295μs KnuthBendix 063: (fpsemi) rewriting system from KnuthBendixC [...] . . . 497μs KnuthBendix 064: (fpsemi) rewriting system from Congruence 20 . . . 34μs KnuthBendix 065: (fpsemi) (from kbmag/standalone/kb_data/ab2) . . . 127μs KnuthBendix 066: (fpsemi) (from kbmag/standalone/kb_data/d22 [...] . . . 2219μs KnuthBendix 067: (fpsemi) (from kbmag/standalone/kb_data/degen1) . . . 82μs KnuthBendix 068: (fpsemi) (from kbmag/standalone/kb_data/s4) . . . 485μs KnuthBendix 069: (fpsemi) fp semigroup (infinite) . . . 68μs KnuthBendix 070: (fpsemi) Chapter 11, Section 1 (q = 4, r = [...] . . . 2621μs KnuthBendix 071: (fpsemi) Chapter 11, Section 1 (q = 8, r = [...] . . . 154ms KnuthBendix 072: (fpsemi) Chapter 7, Theorem 3.9 in NR (size 240) . . . 5122μs KnuthBendix 073: (fpsemi) F(2, 5) - Chapter 9, Section 1 in [...] . . . 730μs KnuthBendix 074: (fpsemi) F(2, 6) - Chapter 9, Section 1 in NR . . . 786μs KnuthBendix 075: (fpsemi) Chapter 10, Section 4 in NR (infinite) . . . 1418μs KnuthBendix 076: (fpsemi) Sym(5) from Chapter 3, Proposition [...] . . . 4439μs KnuthBendix 077: (fpsemi) SL(2, 7) from Chapter 3, Propositi [...] . . . 127ms KnuthBendix 078: (fpsemi) bicyclic monoid (infinite) . . . 55μs KnuthBendix 079: (fpsemi) plactic monoid of degree 2 (infinite) . . . 89μs KnuthBendix 080: (fpsemi) example before Chapter 7, Proposit [...] . . . 54μs KnuthBendix 081: (fpsemi) Chapter 7, Theorem 3.6 in NR (size 243) . . . 1132μs KnuthBendix 082: (fpsemi) finite semigroup (size 99) . . . 359μs KnuthBendix 096: Sorouhesh . . . 504μs KnuthBendix 097: (fpsemi) transformation semigroup (size 4) . . . 68μs KnuthBendix 098: (fpsemi) transformation semigroup (size 9) . . . 64μs KnuthBendix 099: (fpsemi) transformation semigroup (size 88) . . . 924μs KnuthBendix 100: internal_string_to_word . . . 47μs KnuthBendix 101: (fpsemi) construct from shared_ptr . . . 1013μs KnuthBendix 102: internal_string_to_word . . . 1358μs KnuthBendix 103: (cong) free semigroup congruence (5 classes) . . . 93μs KnuthBendix 104: free semigroup congruence (6 classes) . . . 500μs KnuthBendix 105: (cong) free semigroup congruence (16 classes) . . . 630μs KnuthBendix 106: (cong) free semigroup congruence (6 classes) . . . 1018μs KnuthBendix 107: (cong) free semigroup congruence (240 classes) . . . 5499μs KnuthBendix 108: (cong) free semigroup congruence (240 classes) . . . 4945μs KnuthBendix 109: (cong) less . . . 6465μs KnuthBendix 110: (cong) less . . . 266ms KnuthBendix 111: (cong) constructors . . . 427ms KnuthBendix 112: (cong) const_contains/contains . . . 266μs KnuthBendix 113: (cong) is_quotient_obviously_finite . . . 28μs KnuthBendix 114: (cong) class_index_to_word . . . 295μs KnuthBendix 115: (cong) quotient_froidure_pin . . . 213μs KnuthBendix 116: (cong) set_number_of_generators . . . 37μs KnuthBendix 117: (cong) number of classes when obv-inf . . . 61μs KnuthBendixCongruenceByPairs 016: non-trivial congruence on [...] . . . 259μs KnuthBendixCongruenceByPairs 017: non-trivial congruence on [...] . . . 341μs KnuthBendixCongruenceByPairs 018: non-trivial congruence on [...] . . . 710μs KnuthBendixCongruenceByPairs 019: non-trivial congruence on [...] . . . 731μs KnuthBendixCongruenceByPairs 020: trivial congruence on a fi [...] . . . 300μs KnuthBendixCongruenceByPairs 021: universal congruence on a [...] . . . 803μs KnuthBendixCongruenceByPairs 022: left congruence on a finit [...] . . . 411μs KnuthBendixCongruenceByPairs 023: finite group, Chapter 11, [...] . . . 7471μs KnuthBendixCongruenceByPairs 024: right congruence on infini [...] . . . 550μs KnuthBendixCongruenceByPairs 025: finite fp semigroup, dihed [...] . . . 631μs KnuthBendixCongruenceByPairs 026: finite fp semigroup, size 16 . . . 646μs KnuthBendixCongruenceByPairs 027: finite fp semigroup, size 16 . . . 1640μs KnuthBendixCongruenceByPairs 028: infinite fp semigroup with [...] . . . 89μs Konieczny 000: test000> . . . 1081μs Konieczny 001: test000> . . . 867μs Konieczny 002: test001> . . . 11ms Konieczny 003: test001> . . . 9851μs 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 . . . 1013μs Konieczny 011: regular D-class 02 . . . 9370μs Konieczny 012: regular D-class 04: contains . . . 27ms Konieczny 013: non-regular D-classes 01 . . . 1066μs Konieczny 014: RegularDClass . . . 647μ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 . . . 63ms Konieczny 024: exceptions . . . 1194μs Konieczny 025: 0-parameter constructor . . . 17ms Konieczny 026: non-regular D-classes 02 . . . 10ms Konieczny 028: partial perm . . . 175ms Konieczny 029: symmetric inverse monoid n = 8 . . . 30ms Konieczny 030: exceptions . . . 220ms Konieczny 031: transformations . . . 1093μs Konieczny 032: transformations - JDM favourite example . . . 117ms Konieczny 033: transformations - large example . . . 278ms Konieczny 034: transformations - large example with stop . . . 280ms Konieczny 035: transformations - large example with run_until . . . 280ms Konieczny 036: transformations - large example with stop in Action . . . 279ms Konieczny 037: exceptions . . . 77μs Konieczny 038: transformations: contains . . . 803μs Konieczny 040: transformations - destructor coverage . . . 235ms Konieczny 041: current_number_D_classes . . . 242ms Konieczny 042: add_generator . . . 44μs Konieczny 043: add_generator . . . 31μs Matrix 000: BMat<2> . . . 96μs Matrix 001: BMat<> . . . 96μs Matrix 002: BMat<3> + BMat<> . . . 13μs Matrix 003: BMat<2> + BMat<> . . . 13μs Matrix 004: BMat<3> . . . 14μs Matrix 005: BMat<> . . . 15μs Matrix 006: BMat<3> row_basis . . . 46μs Matrix 007: BMat<> row_basis . . . 53μ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> . . . 18μs Matrix 015: MinPlusMat<> . . . 22μs Matrix 016: MinPlusMat code cov . . . 10μs Matrix 017: MaxPlusTruncMat<5, 2> . . . 17μs Matrix 018: MaxPlusTruncMat<5> . . . 19μs Matrix 019: MaxPlusTruncMat<> . . . 38μs Matrix 020: MaxPlusTruncMat<5, 4> . . . 19μs Matrix 021: MaxPlusTruncMat<5> . . . 21μs Matrix 022: MaxPlusTruncMat<> . . . 20μs Matrix 023: MaxPlusTruncMat<33, 3> . . . 41μs Matrix 024: MaxPlusTruncMat<33> . . . 42μs Matrix 025: MaxPlusTruncMat<> . . . 42μs Matrix 026: MaxPlusMat code cov . . . 10μs Matrix 027: MinPlusTruncMat<33, 3> . . . 43μs Matrix 028: MinPlusTruncMat<33> . . . 54μs Matrix 029: MinPlusTruncMat<> . . . 60μs Matrix 030: NTPMat<0, 3, 3, 3> . . . 18μs Matrix 031: NTPMat<0, 3> . . . 20μs Matrix 032: NTPMat<> . . . 52μs Matrix 033: NTPMat<0, 10, 4, 4> . . . 29μs Matrix 034: NTPMat<0, 10> . . . 24μ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<> . . . 20μs Matrix 039: NTPMat<33, 2, 3, 3> . . . 17μs Matrix 040: NTPMat<33, 2> . . . 16μs Matrix 041: NTPMat<> . . . 15μs Matrix 042: ProjMaxPlusMat<3> . . . 121μs Matrix 043: ProjMaxPlusMat<> . . . 84μs Matrix 044: exceptions . . . 73μs Matrix 045: code coverage . . . 66μs MultiStringView 000: catch all . . . 37μs MultiStringView 001: is_prefix . . . 15μs MultiStringView 002: erase . . . 18μs MultiStringView 003: iterators . . . 13μs MultiStringView 004: constructors (long) . . . 22μs MultiStringView 005: constructors (short) . . . 17μs MultiStringView 006: copy assignment (short assigned to long) . . . 14μs MultiStringView 007: copy assignment (short assigned to short) . . . 14μs MultiStringView 008: move assignment (short assigned to long) . . . 14μs MultiStringView 009: move assignment (short assigned to short) . . . 14μs MultiStringView 010: code coverage . . . 23μs MultiStringView 011: pop_front . . . 44μ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 . . . 41μ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 . . . 14μ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 . . . 14μ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 . . . 270μs PBR 007: operators . . . 68μs PBR 008: to_string . . . 30μs PBR 009: identity . . . 45μs PBR 010: adapters . . . 10μs Pool 000: initial . . . 36μs Pool 001: bmat . . . 34μs Pool 002: PoolGuard . . . 32μs Pool 003: transformation products . . . 15μs Presentation 000: vectors of ints . . . 121μs Presentation 001: strings . . . 126μs Presentation 002: constructors (word_type) . . . 26μs Presentation 003: constructors (StaticVector1) . . . 27μs Presentation 004: constructors (std::string) . . . 23μs Presentation 005: alphabet + letters (word_type) . . . 190μs Presentation 006: alphabet + letters (std::string) . . . 64μs Presentation 007: contains_empty_word . . . 13μs Presentation 008: validate_rules throws . . . 82μs Presentation 009: helpers add_rule(s) . . . 165μs Presentation 010: helpers add_rule(s) (std::string) . . . 60μs Presentation 011: helpers add_identity_rules (std::vector/St [...] . . . 67μs Presentation 012: helpers add_identity_rules (std::string) . . . 38μs Presentation 013: helpers add_inverse_rules (all) . . . 354μs Presentation 014: helpers add_inverse_rules (std::string) . . . 20μs Presentation 015: helpers remove_duplicate_rules . . . 102μs Presentation 016: helpers reduce_complements . . . 183μs Presentation 017: helpers sort_each_rule . . . 105μs Presentation 018: helpers sort_rules . . . 109μs Presentation 019: helpers longest_common_subword/replace_subword . . . 204μs Presentation 020: helpers redundant_rule . . . 20ms Presentation 021: helpers shortlex_compare_concat . . . 13μs Presentation 022: helpers remove_trivial_rules . . . 106μs Presentation 023: helpers replace_subword (existing, replacement) . . . 57μs Presentation 024: helpers longest_rule . . . 218μs Presentation 025: helpers longest_rule_length . . . 204μs Presentation 026: helpers remove_redundant_generators . . . 164μs Presentation 027: helpers reverse . . . 24μs Presentation 028: in_alphabet . . . 29μs Presentation 029: replace_subword with empty word . . . 32μs Presentation 030: helpers replace_word . . . 42μs Presentation 031: clear . . . 13μs Presentation 032: letter . . . 55μs Presentation 033: normalize_alphabet . . . 17μs Presentation 034: longest_common_subword issue . . . 226μs Presentation 035: helpers add_zero_rules (std::vector/Static [...] . . . 68μs Presentation 036: helpers add_zero_rules (std::string) . . . 38μs Presentation 037: make_semigroup . . . 52μs Presentation 038: greedy_reduce_length . . . 158μs Presentation 040: change_alphabet . . . 109μs Presentation 042: first_unused_letter/letter . . . 232μs Race 001: run_for . . . 10ms Race 002: run_until . . . 10ms Race 003: exceptions . . . 10ms Race 004: iterators . . . 15μs Race 005: find_runner . . . 16μs Race 006: run_func . . . 26ms Race 007: run_func . . . 10ms Race 008: run_func . . . 10ms Runner 000: run_for . . . 10ms Runner 001: run_for . . . 1018μs Runner 002: run_for . . . 191ms Runner 003: run_for . . . 25ms Runner 004: started . . . 1026μs Runner 005: run_until . . . 112ms Runner 006: kill . . . 13μs Runner 007: copy constructor . . . 10ms Runner 008: report . . . 20ms Runner 009: run_until with function pointer . . . 13μs SchreierSims 001: trivial perm. group (degree 1) . . . 17μs SchreierSims 002: trivial perm. group (degree 2) . . . 13μs SchreierSims 003: trivial perm. group (degree 500) . . . 53μs SchreierSims 004: symmetric perm. group (degree 5) . . . 22μs SchreierSims 005: symmetric perm. group (degree 8) . . . 41μs SchreierSims 006: symmetric perm. group (degree 9) . . . 57μs SchreierSims 007: alternating perm. group (degree 12) . . . 91μs SchreierSims 008: symmetric perm. group (degree 16) . . . 913μs SchreierSims 009: alternating perm. group (degree 15) . . . 437μs SchreierSims 010: alternating perm. group (degree 16) . . . 995μs SchreierSims 011: dihedral perm. group (order 10) . . . 15μs SchreierSims 012: dihedral perm. group (order 200) . . . 508μs SchreierSims 013: perm. group T (order 12) . . . 16μs SchreierSims 014: quaternion perm. group (order 8) . . . 18μs SchreierSims 015: perm. group (order 84129611558952960) . . . 203ms SchreierSims 016: perm. group SL(3, 5) (order 372000) . . . 860μs SchreierSims 017: perm. group PSL(4, 8) (order 34558531338240) . . . 81ms SchreierSims 018: perm. Mathieu group M11 (order 7920) . . . 80μs SchreierSims 019: perm. Mathieu group M24 (order 244823040) . . . 197μs SchreierSims 020: perm. Janko Group J1 (order 175560) . . . 1666μs SchreierSims 021: perm. Hall-Janko group (order 604800) . . . 269μs SchreierSims 022: perm. Hall-Janko group (alt.) (order 604800) . . . 18ms SchreierSims 023: perm. Conway group Co3 (order 495766656000) . . . 5813μs SchreierSims 024: perm. Conway group Co3 (alt.) (order 49576 [...] . . . 11ms SchreierSims 025: perm. Suzuki group (order 448345497600) . . . 62ms SchreierSims 027: perm. Held group (order 4030387200) . . . 114ms SchreierSims 028: perm. group C2 x C2 x C2 (order 8) . . . 27μs SchreierSims 029: perm. group C2 x C2 x C2 x C2 (order 16) . . . 37μs SchreierSims 030: perm. group (S5 x S5) : C2 (order 28800) . . . 64μs SchreierSims 031: perm. group C3 x D8 x A5 (order 1440) . . . 64μs SchreierSims 032: perm. group GL(4, 3) (order 24261120) . . . 595μs SchreierSims 033: perm. group PSL(3, 7) (order 1876896) . . . 634μs SchreierSims 037: symmetric perm. group (degree 5) . . . 31μs SchreierSims 038: alternating perm. group (degree 17) . . . 5190μs SchreierSims 039: exceptions . . . 161μs SchreierSims 040: exceptions . . . 80μs SchreierSims 041: trivial group . . . 57μs SchreierSims 042: A17 bug . . . 4473μs SchreierSims 043: orbits_lookup test . . . 560μs SchreierSims 044: transversal_element and inversal_element test . . . 2920μs SchreierSimsHelper 001: trivial perm. group intersection (de [...] . . . 16μs SchreierSimsHelper 002: trivial perm. group intersection (de [...] . . . 20μs SchreierSimsHelper 003: cyclic group intersection (degree 13) . . . 32μs SchreierSimsHelper 004: D10 and Z5 intersection . . . 32μs SchreierSimsHelper 005: D8 and Q8 intersection . . . 31μs SchreierSimsHelper 006: primitive on 8 points intersection . . . 93μs SchreierSimsHelper 007: primitive on 8 points intersection ( [...] . . . 91μs SchreierSimsHelper 008: A13 and PGL(2, 11) intersection . . . 842μs SchreierSimsHelper 009: A13 and PGL(2, 11) intersection (swa [...] . . . 850μs SchreierSimsHelper 012: 3^3:13 and 3^3.2.A(4) intersection . . . 151μs SchreierSimsHelper 015: 3^3(S(4) x 2) and ASL(3, 3) intersection . . . 310μs SchreierSimsHelper 016: 7^2:3 x Q(8) and 7^2:D(2*6) intersection . . . 339μs SchreierSimsHelper 018: D(2*53) and 53:13 intersection . . . 193μs SchreierSimsHelper 019: 2^6:(7 x D_14) and PSL(2, 6)^2.4 int [...] . . . 1292μs SchreierSimsHelper 020: 2^6:(S_3 x GL(3, 2)) and 2.6:Alt(7) [...] . . . 3962μs SchreierSimsHelper 022: PSL(2, 127) and AGL(1, 2^7) intersection . . . 8649μs SchreierSimsHelper 023: PSL(3, 4).2 and PSL(3, 4).2 (nontriv [...] . . . 1461μs SchreierSimsHelper 024: PSL(3, 4).Sym(3) and PSL(3, 4).2 int [...] . . . 1798μs SchreierSimsHelper 025: 3^4:5:4 and D_16:4 intersection . . . 981μs Sims1 000: fp example 1 . . . 2357μs Sims1 001: fp example 2 . . . 2359μs Sims1 002: ToddCoxeter failing example . . . 23ms Sims1 003: ToddCoxeter failing example . . . 972μs Sims1 004: partition_monoid(2) right . . . 7531μs Sims1 006: full_transformation_monoid(3) right . . . 8708μs Sims1 007: full_transformation_monoid(3) left . . . 5032μs Sims1 009: rook_monoid(2, 1) . . . 113μs Sims1 010: symmetric_inverse_monoid(2) from FroidurePin . . . 114μs Sims1 011: symmetric_inverse_monoid(3) . . . 9180μs Sims1 014: temperley_lieb_monoid(3) from presentation . . . 87μs Sims1 015: temperley_lieb_monoid(4) from presentation . . . 1038μs Sims1 016: fp semigroup containing given pairs #1 . . . 389μs Sims1 017: fp semigroup containing given pairs #2 . . . 398μs Sims1 018: fp semigroup containing given pairs #3 . . . 697μs Sims1 019: ToddCoxeter failing example . . . 1113μs Sims1 020: fp example 2 . . . 2643μs Sims1 021: exceptions . . . 409μs Sims1 027: from https://mathoverflow.net/questions/423541/ . . . 38ms Sims1 028: from https://mathoverflow.net/questions/423541/ . . . 29ms Sims1 030: presentation with one free generator . . . 294μs Sims1 031: presentation with non-zero index generators . . . 69μs Sims1 032: presentation with empty word . . . 13ms Sims1 033: constructors . . . 1785μs Sims1 034: split_at . . . 333μs Sims1 035: stats . . . 100μs Sims1 036: check iterator requirements . . . 166μs Sims1 040: TransitiveGroup(10, 32) - minimal rep . . . 3834μs Sims1 043: rectangular_band(2, 2) - with and without identity . . . 234μs Sims1 044: trivial group - minimal o.r.c. rep . . . 105μs Sims1 045: right zero semigroup - minimal o.r.c. rep . . . 2405μs Sims1 046: semigroup with faithful non-strictly cyclic actio [...] . . . 739μs Sims1 068: RepOrc . . . 21ms Sims1 069: fp example 1 . . . 751μs #0: Sims1: using 0 additional threads #0: Sims1: finding congruences with at most 4 classes #0: Sims1: using 2 generators, and 0 short relations u = v with: #0: Sims1: |u| + |v| ∈ [0, 0] and ∑(|u| + |v|) = 0 #0: Sims1: found 5,477 congruences in 4684μs (855ns 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 . . . 4745μs Sims1 072: symmetric_group(n) for n = 4 . . . 2353μs Sims1 073: corner case no generators + no relations . . . 157μs SmallestInteger 001: . . . 13μs StaticTriVector2 045: all . . . 19μs StaticVector2 043: all . . . 19μs Stephen 000: basic test 1 . . . 250μs Stephen 001: basic test 2 . . . 168μs Stephen 002: full transf monoid . . . 14ms Stephen 003: from step_hen 002 . . . 90μs Stephen 004: from step_hen 003 . . . 237μs Stephen 005: from step_hen 004 . . . 50μs Stephen 006: from step_hen 005 . . . 153μs Stephen 008: C(4) monoid normal form (test_case_knuth_bendix_055) . . . 212μs Stephen 009: C(4) monoid normal form (test_case_gap_smallove [...] . . . 154μs #0: Stephen: ------------------------------------------------------------ #0: Stephen: nodes | defined | killed | diff | #0: Stephen: ------------------------------------------------------------ #0: Stephen: 13 | +25 | -12 | +13 | (0s) Stephen 010: code coverage . . . 253μs Stephen 011: C(4) monoid normal form (test_case_gap_smallove [...] . . . 492μs Stephen 012: C(4) monoid normal form (test_case_gap_smallove [...] . . . 337μs Stephen 013: C(4) monoid equal to (test_case_gap_smalloverlap_70) . . . 147μs Stephen 014: C(4) monoid normal form (test_case_ex_3_13_14) . . . 681μs Stephen 015: C(4) monoid normal form (test_case_ex_3_15) . . . 889μs Stephen 016: C(4) monoid normal form (test_case_ex_3_16) . . . 553μs Stephen 017: C(4) monoid normal form (test_case_mt_3) . . . 263μs Stephen 018: C(4) monoid normal form (test_case_mt_5) . . . 183μs Stephen 019: C(4) monoid normal form (test_case_mt_6) . . . 495μs Stephen 020: C(4) monoid normal form (test_case_mt_10) . . . 175μs Stephen 021: C(4) monoid normal form (test_case_mt_13) . . . 166μs Stephen 022: C(4) monoid normal form (test_case_mt_14) . . . 162μs Stephen 023: C(4) monoid normal form (test_case_mt_15) . . . 168μs Stephen 024: C(4) monoid normal form (test_case_mt_16) . . . 179μs Stephen 025: C(4) monoid normal form (test_case_mt_17) . . . 465μs Stephen 026: C(4) monoid normal form (test_case_weak_1) . . . 633μs Stephen 027: C(4) monoid normal form (test_case_weak_2) . . . 305μs Stephen 028: C(4) monoid normal form (test_case_weak_3) . . . 314μs Stephen 029: C(4) monoid normal form (test_case_weak_4) . . . 311μs Stephen 030: C(4) monoid normal form (test_case_weak_5) . . . 168μs Stephen 031: Test behaviour when uninitialised . . . 492μs Suf 005: unite . . . 23μs Suf 007: compress . . . 15μs Suf 011: big chain . . . 20ms Suf 013: empty table . . . 11μs Suf 015: join . . . 13μs Suf 017: contains . . . 32μs Suf 019: swap . . . 34μs SuffixTree 000: basic tests . . . 99ms SuffixTree 001: maximal_piece_prefix 1 . . . 37μs SuffixTree 002: maximal_piece_prefix 2 . . . 32μs SuffixTree 003: maximal_piece_prefix 3 . . . 309μs SuffixTree 004: number_of_pieces . . . 44μs SuffixTree 005: traverse . . . 22μs SuffixTree 006: tikz . . . 746μs SuffixTree 007: strings . . . 195μs SuffixTree 008: dot . . . 76μs SuffixTree 009: dfs #01 . . . 38μs SuffixTree 010: dfs #02 . . . 37μs SuffixTree 011: dfs #03 . . . 35μs SuffixTree 012: dfs #04 . . . 79μs SuffixTree 013: dfs #05 . . . 60μs SuffixTree 014: dfs #06 . . . 55μs SuffixTree 015: dfs #07 . . . 101μs SuffixTree 016: dfs #08 . . . 77μs SuffixTree 017: dfs #09 . . . 96μs SuffixTree 018: dfs #10 . . . 34μs Timer 001: string method (1 argument) . . . 44μs Timer 002: string method (0 arguments) . . . 10ms Timer 003: reset/elapsed method . . . 20ms Timer 004: operator<< . . . 21μs ToddCoxeter 000: small 2-sided congruence . . .  -- with HLT + no standardise + full lookahead + no save 2147μs  -- with HLT + standardise + full lookahead + no save 2089μs  -- with HLT + no standardise + partial lookahead + no save 2046μs  -- with HLT + standardise + partial lookahead + no save 2082μs  -- with HLT + no standardise + full lookahead + save 2102μs  -- with HLT + standardise + full lookahead + save 2096μs  -- with HLT + no standardise + partial lookahead + save 2046μs  -- with HLT + standardise + partial lookahead + save 1817μs  -- with Felsch + no standardisation 1785μs  -- with Felsch + standardisation 1783μs  -- with random strategy 1841μs  -- with Rc style + full lookahead 1816μs  -- with Rc style + partial lookahead 1868μs  -- with R/C style 1889μs  -- with CR style 1838μs  -- with Cr style 1845μs ToddCoxeter 001: small 2-sided congruence . . .  -- with HLT + no standardise + full lookahead + no save 6224μs  -- with HLT + standardise + full lookahead + no save 5452μs  -- with HLT + no standardise + partial lookahead + no save 5456μs  -- with HLT + standardise + partial lookahead + no save 5452μs  -- with HLT + no standardise + full lookahead + save 5473μs  -- with HLT + standardise + full lookahead + save 5476μs  -- with HLT + no standardise + partial lookahead + save 5470μs  -- with HLT + standardise + partial lookahead + save 5395μs  -- with Felsch + no standardisation 5366μs  -- with Felsch + standardisation 5373μs  -- with random strategy 5384μs  -- with Rc style + full lookahead 5380μs  -- with Rc style + partial lookahead 5368μs  -- with R/C style 5371μs  -- with CR style 5359μs  -- with Cr style 5369μs ToddCoxeter 003: constructed from FroidurePin . . .  -- with Felsch + no standardisation 227ms  -- with Felsch + standardisation 224ms  -- with HLT + no standardise + full lookahead + no save 68ms  -- with HLT + standardise + full lookahead + no save 68ms  -- with HLT + no standardise + partial lookahead + no save 68ms  -- with HLT + standardise + partial lookahead + no save 68ms  -- with HLT + no standardise + full lookahead + save 232ms  -- with HLT + standardise + full lookahead + save 232ms  -- with HLT + no standardise + partial lookahead + save 233ms  -- with HLT + standardise + partial lookahead + save 233ms  -- with random strategy 230ms  -- with Rc style + full lookahead 228ms  -- with Rc style + partial lookahead 227ms  -- with R/C style 75ms  -- with CR style 226ms  -- with Cr style 227ms ToddCoxeter 004: 2-sided congruence from FroidurePin . . .  -- with HLT + no standardise + full lookahead + no save 287μs  -- with HLT + standardise + full lookahead + no save 254μs  -- with HLT + no standardise + partial lookahead + no save 248μs  -- with HLT + standardise + partial lookahead + no save 250μs  -- with HLT + save (throws) 284μs  -- with Felsch (throws) 266μs  -- with random strategy 278μs ToddCoxeter 005: non-trivial two-sided from relations . . .  -- with HLT + no standardise + full lookahead + no save 93μs  -- with HLT + standardise + full lookahead + no save 84μs  -- with HLT + no standardise + partial lookahead + no save 79μs  -- with HLT + standardise + partial lookahead + no save 80μs  -- with HLT + no standardise + full lookahead + save 92μs  -- with HLT + standardise + full lookahead + save 89μs  -- with HLT + no standardise + partial lookahead + save 114μs  -- with HLT + standardise + partial lookahead + save 89μs  -- with Felsch + no standardisation 81μs  -- with Felsch + standardisation 80μs  -- with random strategy 91μs  -- with Rc style + full lookahead 82μs  -- with Rc style + partial lookahead 84μs  -- with R/C style 85μs  -- with CR style 83μs  -- with Cr style 83μs ToddCoxeter 006: small right cong. on free semigroup . . .  -- with HLT + no standardise + full lookahead + no save 66μs  -- with HLT + standardise + full lookahead + no save 59μs  -- with HLT + no standardise + partial lookahead + no save 57μs  -- with HLT + standardise + partial lookahead + no save 58μs  -- with HLT + no standardise + full lookahead + save 64μs  -- with HLT + standardise + full lookahead + save 63μs  -- with HLT + no standardise + partial lookahead + save 63μs  -- with HLT + standardise + partial lookahead + save 63μs  -- with Felsch + no standardisation 60μs  -- with Felsch + standardisation 63μs  -- with random strategy 71μs  -- with Rc style + full lookahead 63μs  -- with Rc style + partial lookahead 62μs  -- with R/C style 66μs  -- with CR style 64μs  -- with Cr style 64μs ToddCoxeter 007: left cong. on free semigroup . . .  -- with HLT + no standardise + full lookahead + no save 72μs  -- with HLT + standardise + full lookahead + no save 66μs  -- with HLT + no standardise + partial lookahead + no save 66μs  -- with HLT + standardise + partial lookahead + no save 64μs  -- with HLT + no standardise + full lookahead + save 69μs  -- with HLT + standardise + full lookahead + save 69μs  -- with HLT + no standardise + partial lookahead + save 69μs  -- with HLT + standardise + partial lookahead + save 69μs  -- with Felsch + no standardisation 67μs  -- with Felsch + standardisation 71μs  -- with random strategy 81μs  -- with Rc style + full lookahead 73μs  -- with Rc style + partial lookahead 74μs  -- with R/C style 78μs  -- with CR style 75μs  -- with Cr style 77μ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 57μs  -- with HLT + standardise + partial lookahead + no save 58μ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 62μs  -- with HLT + standardise + partial lookahead + save 61μs  -- with Felsch + no standardisation 62μs  -- with Felsch + standardisation 60μs  -- with random strategy 73μs  -- with Rc style + full lookahead 64μs  -- with Rc style + partial lookahead 64μs  -- with R/C style 69μs  -- with CR style 66μ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 298μs  -- with HLT + no standardise + partial lookahead + no save 290μs  -- with HLT + standardise + partial lookahead + no save 293μs  -- with HLT + no standardise + full lookahead + save 693μs  -- with HLT + standardise + full lookahead + save 688μs  -- with HLT + no standardise + partial lookahead + save 677μs  -- with HLT + standardise + partial lookahead + save 680μs  -- with Felsch + no standardisation 662μs  -- with Felsch + standardisation 648μs  -- with random strategy 347μs  -- with Rc style + full lookahead 317μs  -- with Rc style + partial lookahead 314μs  -- with R/C style 336μs  -- with CR style 677μs  -- with Cr style 671μs ToddCoxeter 010: left congruence on transformation semigroup . . .  -- with HLT + no standardise + full lookahead + no save 348μs  -- with HLT + standardise + full lookahead + no save 346μs  -- with HLT + no standardise + partial lookahead + no save 336μs  -- with HLT + standardise + partial lookahead + no save 344μs  -- with HLT + no standardise + full lookahead + save 783μs  -- with HLT + standardise + full lookahead + save 780μs  -- with HLT + no standardise + partial lookahead + save 764μs  -- with HLT + standardise + partial lookahead + save 775μs  -- with Felsch + no standardisation 693μs  -- with Felsch + standardisation 670μs  -- with random strategy 900μs  -- with Rc style + full lookahead 408μs  -- with Rc style + partial lookahead 409μs  -- with R/C style 467μs  -- with CR style 756μs  -- with Cr style 746μs ToddCoxeter 011: right cong. trans. semigroup . . .  -- with HLT + no standardise + full lookahead + no save 353μs  -- with HLT + standardise + full lookahead + no save 355μs  -- with HLT + no standardise + partial lookahead + no save 343μs  -- with HLT + standardise + partial lookahead + no save 354μs  -- with HLT + no standardise + full lookahead + save 765μs  -- with HLT + standardise + full lookahead + save 765μs  -- with HLT + no standardise + partial lookahead + save 749μs  -- with HLT + standardise + partial lookahead + save 757μs  -- with Felsch + no standardisation 605μs  -- with Felsch + standardisation 629μs  -- with random strategy 470μs  -- with Rc style + full lookahead 420μs  -- with Rc style + partial lookahead 418μs  -- with R/C style 485μs  -- with CR style 683μs  -- with Cr style 667μ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 195μs  -- with HLT + save (throws) 217μs  -- with Felsch (throws) 211μs  -- with random strategy 244μs ToddCoxeter 013: left cong. on trans. semigroup (size 88) . . .  -- with HLT + no standardise + full lookahead + no save 291μs  -- with HLT + standardise + full lookahead + no save 295μs  -- with HLT + no standardise + partial lookahead + no save 282μs  -- with HLT + standardise + partial lookahead + no save 290μs  -- with HLT + no standardise + full lookahead + save 730μs  -- with HLT + standardise + full lookahead + save 729μs  -- with HLT + no standardise + partial lookahead + save 714μs  -- with HLT + standardise + partial lookahead + save 723μs  -- with Felsch + no standardisation 641μs  -- with Felsch + standardisation 617μs  -- with random strategy 406μs  -- with Rc style + full lookahead 357μs  -- with Rc style + partial lookahead 353μs  -- with R/C style 422μs  -- with CR style 704μs  -- with Cr style 690μs ToddCoxeter 014: right cong. on trans. semigroup (size 88) . . .  -- with HLT + no standardise + full lookahead + no save 300μs  -- with HLT + standardise + full lookahead + no save 303μs  -- with HLT + no standardise + partial lookahead + no save 291μs  -- with HLT + standardise + partial lookahead + no save 299μs  -- with HLT + no standardise + full lookahead + save 709μs  -- with HLT + standardise + full lookahead + save 706μs  -- with HLT + no standardise + partial lookahead + save 692μs  -- with HLT + standardise + partial lookahead + save 701μs  -- with Felsch + no standardisation 551μs  -- with Felsch + standardisation 572μs  -- with random strategy 416μs  -- with Rc style + full lookahead 361μs  -- with Rc style + partial lookahead 359μs  -- with R/C style 427μs  -- with CR style 607μ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 125μs  -- with HLT + no standardise + partial lookahead + no save 116μs  -- with HLT + standardise + partial lookahead + no save 122μs  -- with HLT + no standardise + full lookahead + save 149μs  -- with HLT + standardise + full lookahead + save 138μ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 120μs  -- with random strategy 137μs  -- with Rc style + full lookahead 124μs  -- with Rc style + partial lookahead 122μs  -- with R/C style 128μs  -- with CR style 127μs  -- with Cr style 126μ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 133μs  -- with HLT + no standardise + partial lookahead + no save 128μs  -- with HLT + standardise + partial lookahead + no save 131μs  -- with HLT + no standardise + full lookahead + save 232μs  -- with HLT + standardise + full lookahead + save 231μs  -- with HLT + no standardise + partial lookahead + save 224μs  -- with HLT + standardise + partial lookahead + save 229μs  -- with Felsch + no standardisation 208μs  -- with Felsch + standardisation 202μs  -- with random strategy 237μs  -- with Rc style + full lookahead 143μs  -- with Rc style + partial lookahead 141μs  -- with R/C style 154μs  -- with CR style 215μs  -- with Cr style 213μs ToddCoxeter 017: finite fp-semigroup, size 16 . . .  -- with HLT + no standardise + full lookahead + no save 179μs  -- with HLT + standardise + full lookahead + no save 170μs  -- with HLT + no standardise + partial lookahead + no save 164μs  -- with HLT + standardise + partial lookahead + no save 166μs  -- with HLT + no standardise + full lookahead + save 382μs  -- with HLT + standardise + full lookahead + save 381μs  -- with HLT + no standardise + partial lookahead + save 372μs  -- with HLT + standardise + partial lookahead + save 377μs  -- with Felsch + no standardisation 320μs  -- with Felsch + standardisation 314μs  -- with random strategy 356μs  -- with Rc style + full lookahead 180μs  -- with Rc style + partial lookahead 178μs  -- with R/C style 195μs  -- with CR style 331μs  -- with Cr style 328μs ToddCoxeter 018: test lookahead . . .  -- with HLT + no standardise + full lookahead + no save 664μs  -- with HLT + standardise + full lookahead + no save 665μs  -- with HLT + no standardise + partial lookahead + no save 604μs  -- with HLT + standardise + partial lookahead + no save 612μs  -- with HLT + no standardise + full lookahead + save 778μs  -- with HLT + standardise + full lookahead + save 775μs  -- with HLT + no standardise + partial lookahead + save 756μs  -- with HLT + standardise + partial lookahead + save 768μ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 207μs  -- with HLT + no standardise + partial lookahead + no save 197μs  -- with HLT + standardise + partial lookahead + no save 204μs  -- with HLT + save (throws) 222μs  -- with Felsch (throws) 218μs  -- with random strategy 296μ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 33μs  -- with HLT + standardise + partial lookahead + no save 34μs  -- with HLT + no standardise + full lookahead + save 31μs  -- with HLT + standardise + full lookahead + save 31μs  -- with HLT + no standardise + partial lookahead + save 31μs  -- with HLT + standardise + partial lookahead + save 31μs  -- with Felsch + no standardisation 32μs  -- with Felsch + standardisation 31μs  -- with random strategy 31μs ToddCoxeter 021: calling run when obviously infinite . . .  -- with HLT + no standardise + full lookahead + no save 83μs  -- with HLT + standardise + full lookahead + no save 75μs  -- with HLT + no standardise + partial lookahead + no save 75μs  -- with HLT + standardise + partial lookahead + no save 75μs  -- with HLT + no standardise + full lookahead + save 74μs  -- with HLT + standardise + full lookahead + save 75μs  -- with HLT + no standardise + partial lookahead + save 74μs  -- with HLT + standardise + partial lookahead + save 75μs  -- with Felsch + no standardisation 74μs  -- with Felsch + standardisation 74μs  -- with random strategy 74μs ToddCoxeter 022: stellar_monoid S3 . . .  -- with HLT + no standardise + full lookahead + no save 184μs  -- with HLT + standardise + full lookahead + no save 177μs  -- with HLT + no standardise + partial lookahead + no save 168μs  -- with HLT + standardise + partial lookahead + no save 175μs  -- with HLT + no standardise + full lookahead + save 312μs  -- with HLT + standardise + full lookahead + save 310μs  -- with HLT + no standardise + partial lookahead + save 301μs  -- with HLT + standardise + partial lookahead + save 312μs  -- with Felsch + no standardisation 269μs  -- with Felsch + standardisation 259μs  -- with random strategy 309μs  -- with Rc style + full lookahead 192μs  -- with Rc style + partial lookahead 192μs  -- with R/C style 215μs  -- with CR style 286μs  -- with Cr style 282μs ToddCoxeter 023: finite semigroup (size 5) . . .  -- with HLT + no standardise + full lookahead + no save 63μ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 61μs  -- with HLT + standardise + full lookahead + save 59μs  -- with HLT + no standardise + partial lookahead + save 59μs  -- with HLT + standardise + partial lookahead + save 59μs  -- with Felsch + no standardisation 57μs  -- with Felsch + standardisation 61μs  -- with random strategy 67μs  -- with Rc style + full lookahead 60μs  -- with Rc style + partial lookahead 59μs  -- with R/C style 64μs  -- with CR style 63μs  -- with Cr style 62μs ToddCoxeter 024: exceptions . . .  -- with HLT + no standardise + full lookahead + no save 303μs  -- with HLT + standardise + full lookahead + no save 288μs  -- with HLT + no standardise + partial lookahead + no save 286μs  -- with HLT + standardise + partial lookahead + no save 286μs  -- with HLT + no standardise + full lookahead + save 291μs  -- with HLT + standardise + full lookahead + save 289μs  -- with HLT + no standardise + partial lookahead + save 287μs  -- with HLT + standardise + partial lookahead + save 288μs  -- with Felsch + no standardisation 287μs  -- with Felsch + standardisation 287μs  -- with random strategy 292μs  -- with Rc style + full lookahead 288μs  -- with Rc style + partial lookahead 288μs  -- with R/C style 289μs  -- with CR style 290μs  -- with Cr style 293μs ToddCoxeter 025: obviously infinite . . .  -- with HLT + no standardise + full lookahead + no save 78μs  -- with HLT + standardise + full lookahead + no save 73μs  -- with HLT + no standardise + partial lookahead + no save 73μs  -- with HLT + standardise + partial lookahead + no save 73μs  -- with HLT + no standardise + full lookahead + save 73μ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 73μs  -- with Felsch + standardisation 73μs  -- with random strategy 73μs ToddCoxeter 026: exceptions . . .  -- with HLT + no standardise + full lookahead + no save 179μs  -- with HLT + standardise + full lookahead + no save 167μs  -- with HLT + no standardise + partial lookahead + no save 166μs  -- with HLT + standardise + partial lookahead + no save 167μs  -- with HLT + no standardise + full lookahead + save 173μs  -- with HLT + standardise + full lookahead + save 173μs  -- with HLT + no standardise + partial lookahead + save 174μs  -- with HLT + standardise + partial lookahead + save 174μs  -- with Felsch + no standardisation 172μs  -- with Felsch + standardisation 174μs  -- with random strategy 184μs  -- with Rc style + full lookahead 173μs  -- with Rc style + partial lookahead 173μs  -- with R/C style 177μs  -- with CR style 175μs  -- with Cr style 176μs ToddCoxeter 027: empty . . . 40μs ToddCoxeter 028: congruence of fpsemigroup::ToddCoxeter . . .  -- with HLT + no standardise + full lookahead + no save 227μs  -- with HLT + standardise + full lookahead + no save 209μs  -- with HLT + no standardise + partial lookahead + no save 206μs  -- with HLT + standardise + partial lookahead + no save 208μs  -- with HLT + save (throws) 227μs  -- with Felsch (throws) 223μs  -- with random strategy 229μs  -- with HLT + no standardise + full lookahead + save 208μs  -- with HLT + standardise + full lookahead + save 208μs  -- with HLT + no standardise + partial lookahead + save 208μs  -- with HLT + standardise + partial lookahead + save 208μs  -- with Felsch + no standardisation 208μs  -- with Felsch + standardisation 207μs  -- with Rc style + full lookahead 201μs  -- with Rc style + partial lookahead 202μs  -- with R/C style 205μs  -- with CR style 204μs  -- with Cr style 203μs ToddCoxeter 029: !KnuthBendix.started() . . .  -- with HLT + no standardise + full lookahead + no save and 2-sided 105μs  -- with HLT + standardise + full lookahead + no save and 2-sided 88μs  -- with HLT + no standardise + partial lookahead + no save and 2-sided 86μs  -- with HLT + standardise + partial lookahead + no save and 2-sided 85μs  -- with HLT + no standardise + full lookahead + save and 2-sided 92μs  -- with HLT + standardise + full lookahead + save and 2-sided 93μs  -- with HLT + no standardise + partial lookahead + save and 2-sided 91μs  -- with HLT + standardise + partial lookahead + save and 2-sided 90μ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 96μs  -- with HLT + standardise + full lookahead + no save and left 86μs  -- with HLT + no standardise + partial lookahead + no save and left 84μs  -- with HLT + standardise + partial lookahead + no save and left 83μs  -- with HLT + no standardise + full lookahead + save and left 96μs  -- with HLT + standardise + full lookahead + save and left 95μs  -- with HLT + no standardise + partial lookahead + save and left 95μs  -- with HLT + standardise + partial lookahead + save and left 96μs  -- with Felsch + no standardisation and left 93μs  -- with Felsch + standardisation and left 94μs  -- with random strategy and left 92μ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 83μs  -- with HLT + standardise + partial lookahead + no save and right 83μs  -- with HLT + no standardise + full lookahead + save and right 94μs  -- with HLT + standardise + full lookahead + save and right 95μs  -- with HLT + no standardise + partial lookahead + save and right 93μs  -- with HLT + standardise + partial lookahead + save and right 93μs  -- with Felsch + no standardisation and right 95μs  -- with Felsch + standardisation and right 93μs  -- with random strategy and right 102μ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 184μs  -- with HLT + standardise + partial lookahead + no save and 2-sided 183μs  -- with HLT + no standardise + full lookahead + save and 2-sided 200μs  -- with HLT + standardise + full lookahead + save and 2-sided 248μ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 181μs  -- with Felsch + standardisation and 2-sided 181μs  -- with random strategy and 2-sided 192μs  -- with HLT + no standardise + full lookahead + no save and left 201μs  -- with HLT + standardise + full lookahead + no save and left 197μs  -- with HLT + no standardise + partial lookahead + no save and left 196μs  -- with HLT + standardise + partial lookahead + no save and left 195μs  -- with HLT + no standardise + full lookahead + save and left 208μs  -- with HLT + standardise + full lookahead + save and left 209μs  -- with HLT + no standardise + partial lookahead + save and left 207μs  -- with HLT + standardise + partial lookahead + save and left 208μs  -- with Felsch + no standardisation and left 205μs  -- with Felsch + standardisation and left 203μs  -- with random strategy and left 215μs  -- with HLT + no standardise + full lookahead + no save and right 201μs  -- with HLT + standardise + full lookahead + no save and right 196μs  -- with HLT + no standardise + partial lookahead + no save and right 195μs  -- with HLT + standardise + partial lookahead + no save and right 196μs  -- with HLT + no standardise + full lookahead + save and right 208μs  -- with HLT + standardise + full lookahead + save and right 208μs  -- with HLT + no standardise + partial lookahead + save and right 207μs  -- with HLT + standardise + partial lookahead + save and right 207μs  -- with Felsch + no standardisation and right 202μs  -- with Felsch + standardisation and right 205μs  -- with random strategy and right 218μs ToddCoxeter 031: KnuthBendix.finished() . . .  -- with HLT + no standardise + full lookahead + no save and 2-sided 148μs  -- with HLT + standardise + full lookahead + no save and 2-sided 136μs  -- with HLT + no standardise + partial lookahead + no save and 2-sided 133μs  -- with HLT + standardise + partial lookahead + no save and 2-sided 132μs  -- with HLT + no standardise + full lookahead + save and 2-sided 137μs  -- with HLT + standardise + full lookahead + save and 2-sided 136μs  -- with HLT + no standardise + partial lookahead + save and 2-sided 135μs  -- with HLT + standardise + partial lookahead + save and 2-sided 137μs  -- with Felsch + no standardisation and 2-sided 128μs  -- with Felsch + standardisation and 2-sided 129μs  -- with random strategy and 2-sided 143μs  -- with Rc style + full lookahead and 2-sided 141μs  -- with Rc style + partial lookahead and 2-sided 139μs  -- with R/C style and 2-sided 136μs  -- with CR style and 2-sided 134μs  -- with Cr style and 2-sided 141μs  -- with HLT + no standardise + full lookahead + no save and left 152μs  -- with HLT + standardise + full lookahead + no save and left 147μs  -- with HLT + no standardise + partial lookahead + no save and left 145μs  -- with HLT + standardise + partial lookahead + no save and left 147μs  -- with HLT + no standardise + full lookahead + save and left 158μs  -- with HLT + standardise + full lookahead + save and left 157μs  -- with HLT + no standardise + partial lookahead + save and left 156μs  -- with HLT + standardise + partial lookahead + save and left 156μs  -- with Felsch + no standardisation and left 151μs  -- with Felsch + standardisation and left 152μs  -- with random strategy and left 174μs  -- with Rc style + full lookahead and left 156μs  -- with Rc style + partial lookahead and left 156μs  -- with R/C style and left 151μs  -- with CR style and left 157μs  -- with Cr style and left 166μs  -- with HLT + no standardise + full lookahead + no save and right 152μs  -- with HLT + standardise + full lookahead + no save and right 147μs  -- with HLT + no standardise + partial lookahead + no save and right 147μs  -- with HLT + standardise + partial lookahead + no save and right 147μs  -- with HLT + no standardise + full lookahead + save and right 157μs  -- with HLT + standardise + full lookahead + save and right 157μ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 152μs  -- with random strategy and right 168μs  -- with Rc style + full lookahead and right 160μs  -- with Rc style + partial lookahead and right 157μs  -- with R/C style and right 152μs  -- with CR style and right 158μs  -- with Cr style and right 165μs ToddCoxeter 032: prefill . . . 333μs ToddCoxeter 033: congruence of ToddCoxeter . . .  -- with HLT + no standardise + full lookahead + no save 79μs  -- with HLT + standardise + full lookahead + no save 71μs  -- with HLT + no standardise + partial lookahead + no save 69μs  -- with HLT + standardise + partial lookahead + no save 69μs  -- with HLT + no standardise + full lookahead + save 72μs  -- with HLT + standardise + full lookahead + save 72μs  -- with HLT + no standardise + partial lookahead + save 70μs  -- with HLT + standardise + partial lookahead + save 70μs  -- with random strategy 85μs ToddCoxeter 034: congruence of ToddCoxeter . . .  -- with HLT + no standardise + full lookahead + no save 148μs  -- with HLT + standardise + full lookahead + no save 140μs  -- with HLT + no standardise + partial lookahead + no save 137μs  -- with HLT + standardise + partial lookahead + no save 137μs  -- with HLT + save (throws) 161μs  -- with Felsch (throws) 157μs  -- with random strategy 163μs ToddCoxeter 035: congruence on FpSemigroup . . .  -- with HLT + no standardise + full lookahead + no save 393μs  -- with HLT + standardise + full lookahead + no save 372μs  -- with HLT + no standardise + partial lookahead + no save 368μs  -- with HLT + standardise + partial lookahead + no save 366μs  -- with HLT + no standardise + full lookahead + save 406μs  -- with HLT + standardise + full lookahead + save 404μs  -- with HLT + no standardise + partial lookahead + save 402μs  -- with HLT + standardise + partial lookahead + save 402μs  -- with Felsch + no standardisation 397μs  -- with Felsch + standardisation 399μs  -- with random strategy 425μs  -- with Rc style + full lookahead 373μs  -- with Rc style + partial lookahead 371μs  -- with R/C style 372μs  -- with CR style 401μs  -- with Cr style 401μs ToddCoxeter 036: exceptions . . . 118μs ToddCoxeter 037: copy constructor . . . 43μs ToddCoxeter 038: simplify . . . 152μs ToddCoxeter 039: stylic_monoid . . . 738ms ToddCoxeter 041: some finite classes . . . 781μs ToddCoxeter 043: symmetric_group(7, Coxeter + Moser) . . . 213ms ToddCoxeter 044: Option exceptions . . . 133μs ToddCoxeter 045: Options operator<< . . . 1093μs ToddCoxeter 046: Easdown-East-FitzGerald DualSymInv(5) . . .  -- with HLT + no standardise + full lookahead + no save 192ms  -- with HLT + standardise + full lookahead + no save 208ms  -- with HLT + no standardise + partial lookahead + no save 192ms  -- with HLT + standardise + partial lookahead + no save 207ms  -- with HLT + no standardise + full lookahead + save 182ms  -- with HLT + standardise + full lookahead + save 180ms  -- with HLT + no standardise + partial lookahead + save 182ms  -- with HLT + standardise + partial lookahead + save 180ms  -- with Felsch + no standardisation 205ms  -- with Felsch + standardisation 205ms  -- with random strategy 219ms  -- with R/C style 209ms  -- with Rc style + full lookahead 215ms  -- with Rc style + partial lookahead 216ms ToddCoxeter 047: uniform_block_bijection_monoid(3) (FitzGerald) . . .  -- with HLT + no standardise + full lookahead + no save 158μs  -- with HLT + standardise + full lookahead + no save 152μs  -- with HLT + no standardise + partial lookahead + no save 144μs  -- with HLT + standardise + partial lookahead + no save 149μs  -- with HLT + no standardise + full lookahead + save 255μs  -- with HLT + standardise + full lookahead + save 248μs  -- with HLT + no standardise + partial lookahead + save 244μs  -- with HLT + standardise + partial lookahead + save 244μs  -- with Felsch + no standardisation 192μs  -- with Felsch + standardisation 190μs  -- with random strategy 216μs  -- with R/C style 170μs  -- with Rc style + full lookahead 156μs  -- with Rc style + partial lookahead 154μs ToddCoxeter 048: stellar_monoid(7) (Gay-Hivert) . . . 192ms ToddCoxeter 049: partition_monoid(4) (East) . . .  -- with HLT + no standardise + full lookahead + no save 37ms  -- with HLT + standardise + full lookahead + no save 37ms  -- with HLT + no standardise + partial lookahead + no save 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 86ms  -- with Felsch + standardisation 86ms  -- with random strategy 45ms  -- with R/C style 45ms  -- with Rc style + full lookahead 95ms  -- with Rc style + partial lookahead 95ms ToddCoxeter 050: singular_brauer_monoid(6) (Maltcev + Mazorchuk) . . . 462ms 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 6820μs ToddCoxeter 053: temperley_lieb_monoid(10) (East) . . . 34ms ToddCoxeter 063: add_rule . . .  -- with HLT + no standardise + full lookahead + no save 143μs  -- with HLT + standardise + full lookahead + no save 127μs  -- with HLT + no standardise + partial lookahead + no save 124μs  -- with HLT + standardise + partial lookahead + no save 123μs  -- with HLT + no standardise + full lookahead + save 129μs  -- with HLT + standardise + full lookahead + save 128μs  -- with HLT + no standardise + partial lookahead + save 128μs  -- with HLT + standardise + partial lookahead + save 126μs  -- with Felsch + no standardisation 127μs  -- with Felsch + standardisation 125μs  -- with random strategy 139μs  -- with Rc style + full lookahead 128μs  -- with Rc style + partial lookahead 142μs  -- with R/C style 133μs  -- with CR style 132μs  -- with Cr style 131μs  -- with R/C + Felsch lookahead 139μs  -- with HLT + Felsch lookahead + save 126μs  -- with Cr + small number of f_defs 135μs  -- with Rc + small number of deductions 127μ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 397μs ToddCoxeter 066: test validate . . . 69μs ToddCoxeter 067: add_rules after construct. from semigroup . . .  -- with HLT + no standardise + full lookahead + no save 416μs  -- with HLT + standardise + full lookahead + no save 395μs  -- with HLT + no standardise + partial lookahead + no save 386μs  -- with HLT + standardise + partial lookahead + no save 384μs  -- with HLT + save (throws) 417μs  -- with Felsch (throws) 407μs  -- with random strategy 433μs ToddCoxeter 068: Sym(5) from Chapter 3, Proposition 1.1 in NR . . .  -- with Deduction policy == purge_from_top 1131μs  -- with Deduction policy == purge_all 1120μs  -- with Deduction policy == discard_all_if_no_space 1144μs  -- with HLT + no standardise + full lookahead + no save 1082μs  -- with HLT + standardise + full lookahead + no save 1328μs  -- with HLT + no standardise + partial lookahead + no save 1068μs  -- with HLT + standardise + partial lookahead + no save 1318μs  -- with HLT + no standardise + full lookahead + save 1570μs  -- with HLT + standardise + full lookahead + save 1551μs  -- with HLT + no standardise + partial lookahead + save 1524μs  -- with HLT + standardise + partial lookahead + save 1543μs  -- with Felsch + no standardisation 1081μs  -- with Felsch + standardisation 1058μs  -- with random strategy 1696μs  -- with Rc style + full lookahead 2189μs  -- with Rc style + partial lookahead 2170μs  -- with R/C style 1265μs  -- with CR style 1159μs  -- with Cr style 1145μs ToddCoxeter 069: Chapter 7, Theorem 3.6 in NR (size 243) . . .  -- with HLT + no standardise + full lookahead + no save 1054μs  -- with HLT + standardise + full lookahead + no save 1117μs  -- with HLT + no standardise + partial lookahead + no save 1044μs  -- with HLT + standardise + partial lookahead + no save 1110μs  -- with HLT + no standardise + full lookahead + save 915μs  -- with HLT + standardise + full lookahead + save 932μs  -- with HLT + no standardise + partial lookahead + save 889μs  -- with HLT + standardise + partial lookahead + save 923μs  -- with Felsch + no standardisation 5094μs  -- with Felsch + standardisation 5131μs  -- with random strategy 6399μs  -- with Rc style + full lookahead 1162μs  -- with Rc style + partial lookahead 1153μs  -- with R/C style 1290μs  -- with CR style 5055μs  -- with Cr style 5027μs ToddCoxeter 070: finite semigroup (size 99) . . .  -- with HLT + no standardise + full lookahead + no save 451μs  -- with HLT + standardise + full lookahead + no save 458μs  -- with HLT + no standardise + partial lookahead + no save 438μs  -- with HLT + standardise + partial lookahead + no save 454μs  -- with HLT + no standardise + full lookahead + save 389μs  -- with HLT + standardise + full lookahead + save 397μs  -- with HLT + no standardise + partial lookahead + save 381μs  -- with HLT + standardise + partial lookahead + save 392μs  -- with Felsch + no standardisation 934μs  -- with Felsch + standardisation 923μs  -- with random strategy 497μs  -- with Rc style + full lookahead 497μs  -- with Rc style + partial lookahead 494μs  -- with R/C style 544μs  -- with CR style 962μs  -- with Cr style 950μs ToddCoxeter 080: KnuthBendix 098 . . .  -- with HLT + no standardise + full lookahead + no save 1373ms  -- with HLT + standardise + full lookahead + no save 1254ms  -- with HLT + no standardise + partial lookahead + no save 1378ms  -- with HLT + standardise + partial lookahead + no save 1252ms  -- with HLT + no standardise + full lookahead + save 608ms  -- with HLT + standardise + full lookahead + save 614ms  -- with HLT + no standardise + partial lookahead + save 606ms  -- with HLT + standardise + partial lookahead + save 610ms  -- with Felsch + no standardisation 578ms  -- with Felsch + standardisation 580ms  -- with random strategy 1518ms  -- with Rc style + full lookahead 578ms  -- with Rc style + partial lookahead 578ms  -- with R/C style 1362ms  -- with CR style 584ms  -- with Cr style 587ms ToddCoxeter 084: Campbell-Reza 1 . . .  -- with HLT + no standardise + full lookahead + no save 162μs  -- with HLT + standardise + full lookahead + no save 137μs  -- with HLT + no standardise + partial lookahead + no save 122μs  -- with HLT + standardise + partial lookahead + no save 129μs  -- with HLT + no standardise + full lookahead + save 144μs  -- with HLT + standardise + full lookahead + save 139μs  -- with HLT + no standardise + partial lookahead + save 137μs  -- with HLT + standardise + partial lookahead + save 140μs  -- with Felsch + no standardisation 153μs  -- with Felsch + standardisation 149μs  -- with random strategy 141μs  -- with Rc style + full lookahead 128μs  -- with Rc style + partial lookahead 128μs  -- with R/C style 138μs  -- with CR style 157μs  -- with Cr style 157μs ToddCoxeter 085: Renner monoid type D4 (Gay-Hivert), q = 1 . . .  -- with HLT + no standardise + full lookahead + no save 150ms  -- with HLT + standardise + full lookahead + no save 150ms  -- with HLT + no standardise + partial lookahead + no save 150ms  -- with HLT + standardise + partial lookahead + no save 149ms  -- with HLT + no standardise + full lookahead + save 149ms  -- with HLT + standardise + full lookahead + save 149ms  -- with HLT + no standardise + partial lookahead + save 149ms  -- with HLT + standardise + partial lookahead + save 150ms  -- with Felsch + no standardisation 149ms  -- with Felsch + standardisation 149ms  -- with random strategy 150ms  -- with Rc style + full lookahead 149ms  -- with Rc style + partial lookahead 149ms  -- with R/C style 150ms  -- with CR style 149ms  -- with Cr style 149ms ToddCoxeter 086: trivial semigroup . . . 247ms ToddCoxeter 092: ACE --- perf602p5 - HLT . . .  -- with HLT + no standardise + full lookahead + no save 29ms  -- with HLT + standardise + full lookahead + no save 28ms  -- with HLT + no standardise + partial lookahead + no save 28ms  -- with HLT + standardise + partial lookahead + no save 28ms  -- 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 22ms  -- 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 125μs  -- with HLT + no standardise + partial lookahead + no save 125μs  -- with HLT + standardise + partial lookahead + no save 123μ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 144μs  -- with HLT + standardise + partial lookahead + save 143μs  -- with random strategy 143μs  -- with Felsch + no standardisation 135μs  -- with Felsch + standardisation 133μs ToddCoxeter 095: ACE --- A5-C5 . . .  -- with HLT + no standardise + full lookahead + no save 164μs  -- with HLT + standardise + full lookahead + no save 170μ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 203μs  -- with HLT + standardise + full lookahead + save 204μs  -- with HLT + no standardise + partial lookahead + save 202μs  -- with HLT + standardise + partial lookahead + save 201μs  -- with random strategy 226μs  -- with Felsch + no standardisation 178μs  -- with Felsch + standardisation 175μs ToddCoxeter 096: ACE --- A5 . . .  -- with HLT + no standardise + full lookahead + no save 349μs  -- with HLT + standardise + full lookahead + no save 388μs  -- with HLT + no standardise + partial lookahead + no save 327μs  -- with HLT + standardise + partial lookahead + no save 384μs  -- with HLT + no standardise + full lookahead + save 506μs  -- with HLT + standardise + full lookahead + save 499μs  -- with HLT + no standardise + partial lookahead + save 488μs  -- with HLT + standardise + partial lookahead + save 492μs  -- with random strategy 568μs  -- with Felsch + no standardisation 388μs  -- with Felsch + standardisation 382μs ToddCoxeter 098: relation ordering . . .  -- with Felsch + no standardisation 713μs  -- with Felsch + standardisation 695μs  -- with HLT + no standardise + full lookahead + no save 313μs  -- with HLT + standardise + full lookahead + no save 315μs  -- with HLT + no standardise + partial lookahead + no save 310μs  -- with HLT + standardise + partial lookahead + no save 313μs  -- with HLT + no standardise + full lookahead + save 744μs  -- with HLT + standardise + full lookahead + save 740μs  -- with HLT + no standardise + partial lookahead + save 739μs  -- with HLT + standardise + partial lookahead + save 741μs  -- with random strategy 352μs ToddCoxeter 099: short circuit size in obviously infinite . . . 20μs ToddCoxeter 101: http://brauer.maths.qmul.ac.uk/Atlas/spor/M [...] . . . 557ms ToddCoxeter 108: http://brauer.maths.qmul.ac.uk/Atlas/lin/L3 [...] . . . 489ms ToddCoxeter 110: to_gap_string . . . 110μs ToddCoxeter 111: partition_monoid(2) . . . 81μs ToddCoxeter 112: brauer_monoid(4) (Kudryavtseva + Mazorchuk) . . . 455μs ToddCoxeter 113: symmetric_inverse_monoid . . . 19ms ToddCoxeter 116: symmetric_group(7, Burnside + Miller) . . . 423ms UF 001: constructor by size . . . 15μs UF 002: copy constructor . . . 22μs UF 003: find . . . 19μs action_digraph_helper 015: detail::to_string . . . 26μs action_digraph_helper 016: make . . . 66μs action_digraph_helper 017: is_connected . . . 120μs action_digraph_helper 018: is_strictly_cyclic . . . 5997μs follow_path 012: 20 node path . . . 24μs fpsemi-examples 002: full_transformation_monoid author except . . . 47μs fpsemi-examples 003: full_transformation_monoid degree except . . . 40μs fpsemi-examples 005: partial_transformation_monoid author except . . . 51μs fpsemi-examples 006: partial_transformation_monoid degree except . . . 47μs fpsemi-examples 007: symmetric_inverse_monoid(5) . . . 19ms fpsemi-examples 008: symmetric_group auth except . . . 51μs fpsemi-examples 009: symmetric_group degree except . . . 46μs fpsemi-examples 010: symmetric_group(6) Burnside + Miller . . . 28ms fpsemi-examples 011: dual_symmetric_inverse_monoid(5) . . . 192ms fpsemi-examples 012: dual_symmetric_inverse_monoid auth except . . . 57μs fpsemi-examples 013: dual_symmetric_inverse_monoid degree except . . . 45μs fpsemi-examples 014: uniform_block_bijection_monoid(5) . . . 17ms fpsemi-examples 015: uniform_block_bijection_monoid auth except . . . 41μs fpsemi-examples 016: uniform_block_bijection_monoid degree except . . . 36μs fpsemi-examples 019: partition_monoid auth except . . . 172μs fpsemi-examples 020: partition_monoid degree except . . . 164μs fpsemi-examples 022: monogenic_semigroup(4, 9) . . . 44μs fpsemi-examples 023: fibonacci_semigroup(2, 5) . . . 107μs fpsemi-examples 024: temperley_lieb_monoid(10) . . . 38ms fpsemi-examples 025: singular_brauer_monoid(6) . . . 315ms fpsemi-examples 026: orientation_preserving_monoid(6) . . . 27ms fpsemi-examples 027: orientation_reversing_monoid(5) . . . 6829μs fpsemi-examples 028: chinese_monoid(3) . . . 199μs fpsemi-examples 029: plactic_monoid(3) . . . 174μ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 . . . 8977μs fpsemi-examples 034: test for the rook monoid . . . 375μs fpsemi-examples 035: alternating_group(7) Moore . . . 34ms fpsemi-examples 036: alternating_group auth except . . . 45μs fpsemi-examples 037: alternating_group degree except . . . 33μs fpsemi-examples 038: partial_transformation_monoid(3) Machine . . . 308μs fpsemi-examples 039: chinese_monoid degree except . . . 54μs fpsemi-examples 040: monogenic_semigroup degree except . . . 60μs fpsemi-examples 041: rectangular_band degree except . . . 98μs fpsemi-examples 042: stellar_monoid degree except . . . 55μs fpsemi-examples 043: plactic_monoid degree except . . . 52μs fpsemi-examples 044: stylic_monoid degree except . . . 50μs fpsemi-examples 045: temperley_lieb_monoid degree except . . . 74μs fpsemi-examples 046: singular_brauer_monoid degree except . . . 91μs fpsemi-examples 047: orientation_preserving_monoid degree except . . . 83μs fpsemi-examples 048: orientation_reversing_monoid degree except . . . 90μs fpsemi-examples 049: test default values . . . 4491μs fpsemi-examples 052: not_symmetric_group(5) Guralnick + Kant [...] . . . 3910μs fpsemi-examples 053: order_preserving_monoid(5) . . . 1030μs fpsemi-examples 055: order_preserving_monoid degree except . . . 81μs fpsemi-examples 056: cyclic_inverse_monoid(4) Fernandes 1 . . . 259μ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) . . . 206μs fpsemi-examples 060: order_preserving_cyclic_inverse_monoid(10) . . . 32ms fpsemi-examples 061: cyclic_inverse_monoid degree except . . . 171μs fpsemi-examples 062: cyclic_inverse_monoid author except . . . 64μs fpsemi-examples 063: order_preserving_monoid degree except . . . 77μs fpsemi-examples 064: symmetric_group index except . . . 74μs fpsemi-examples 065: symmetric_group(7) Moore index 1 . . . 8602μs fpsemi-examples 066: order_preserving_cyclic_inverse_monoid(10) . . . 32ms fpsemi-examples 067: partial_isometries_cycle_graph_monoid(5) . . . 846μs fpsemi-examples 068: partial_isometries_cycle_graph_monoid(10) . . . 223ms fpsemi-examples 069: partial_isometries_cycle_graph_monoid d [...] . . . 100μs fpsemi-examples 070: partial_isometries_cycle_graph_monoid(4) . . . 332μs freeband_equal_to 001: . . . 690μ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 . . . 53μs is_acyclic 004: acyclic digraph with 20000 nodes . . . 1012μs is_acyclic 006: for a node . . . 942μs is_acyclic 007: for a node . . . 20μs is_reachable 008: acyclic 20 node digraph . . . 69μs is_reachable 009: 100 node path . . . 12ms is_reachable 010: 100 node cycle . . . 12ms is_reachable 011: 20 node clique . . . 460μs last_node_on_path_nc 014: 20 node path . . . 18μs make 000: from FroidurePin . . . 439μs make 001: from FroidurePin and alphabet . . . 568μs make 002: presentation from presentation . . . 407μs make 003: presentation from presentation and alphabet . . . 85μs make 004: argument checks issue . . . 233μs make 005: use human readable alphabet for make . . . 21μs make> 000: from ActionDigraph . . . 1129μs make> 001: from ActionDigraph (exceptions) . . . 76μs number_of_words 001: . . . 13μs operator"" _w 003: literal . . . 14μs silo 000: alphabet: a, min: 0, max: 10 . . . 44μs silo 001: corner cases . . . 31μs silo 002: alphabet: ab, min: 1, max: 4 . . . 59μs silo 003: alphabet: abc, min: 0, max: 13 . . . 93ms silo 004: code coverage . . . 26μs sislo 005: alphabet: a, min: 0, max: 10 . . . 39μs sislo 006: corner cases . . . 53μs sislo 007: alphabet: ab, min: 1, max: 4 . . . 87μs sislo 008: alphabet: abc, min: 0, max: 13 . . . 91ms sislo 009: code coverage . . . 25μs string 000: detail::is_suffix . . . 14μs string 001: detail::is_prefix . . . 14μ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 . . . 44μs wilo 001: corner cases . . . 57μs wilo 002: letters: 2, min: 1, max: 4 . . . 38μs wilo 003: letters: 2, min: 1, max: 4 . . . 62μs wilo 004: letters: 3, min: 0, max: 10 . . . 21ms wilo 005: letters: 3, min: 0, max: 13 . . . 136ms wilo 006: forward iterator requirements . . . 136ms wilo 007: more corner cases . . . 52μs wilo 008: starting at a given word 1 . . . 135μs wilo 009: starting at a given word 2 . . . 23μs wilo 010: code coverage . . . 21μs wislo 000: n: 2, min; 1, max: 4 . . . 28μs wislo 001: corner cases . . . 46μs wislo 002: n: 3, min; 0, max: 10 . . . 4602μs wislo 003: n: 3, min; 0, max: 13 . . . 132ms wislo 004: lex + sort . . . 381ms wislo 005: code coverage . . . 27μs =============================================================================== All tests passed (1290079 assertions in 1183 test cases) >>> libsemigroups: Entering fakeroot... make[1]: Entering directory '/home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.6.0' ./config/install-sh -c -d '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib' /bin/sh ./libtool --mode=install /usr/bin/install -c libsemigroups.la '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib' ./config/install-sh -c -d '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/pkgconfig' /usr/bin/install -c -m 644 libsemigroups.pc '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/pkgconfig' ./config/install-sh -c -d '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups' ./config/install-sh -c -d '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups/textflowcpp' libtool: install: /usr/bin/install -c .libs/libsemigroups.so.2.0.0 /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/libsemigroups.so.2.0.0 libtool: install: (cd /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib && { ln -s -f libsemigroups.so.2.0.0 libsemigroups.so.2 || { rm -f libsemigroups.so.2 && ln -s libsemigroups.so.2.0.0 libsemigroups.so.2; }; }) /usr/bin/install -c -m 644 extern/textflowcpp/TextFlow.hpp '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups/textflowcpp' libtool: install: (cd /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib && { ln -s -f libsemigroups.so.2.0.0 libsemigroups.so || { rm -f libsemigroups.so && ln -s libsemigroups.so.2.0.0 libsemigroups.so; }; }) libtool: install: /usr/bin/install -c .libs/libsemigroups.lai /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/libsemigroups.la /usr/bin/install -c -m 644 include/libsemigroups/action.hpp include/libsemigroups/adapters.hpp include/libsemigroups/bipart.hpp include/libsemigroups/bitset.hpp include/libsemigroups/bmat8.hpp include/libsemigroups/bmat.hpp include/libsemigroups/bruidhinn-traits.hpp include/libsemigroups/config.hpp include/libsemigroups/cong-intf.hpp include/libsemigroups/cong-pair-impl.hpp include/libsemigroups/cong-pair.hpp include/libsemigroups/cong-wrap.hpp include/libsemigroups/cong.hpp include/libsemigroups/constants.hpp include/libsemigroups/containers.hpp include/libsemigroups/coset.hpp include/libsemigroups/debug.hpp include/libsemigroups/deprecated.hpp include/libsemigroups/digraph-helper.hpp include/libsemigroups/digraph-with-sources.hpp include/libsemigroups/digraph-with-sources.tpp include/libsemigroups/digraph.hpp include/libsemigroups/exception.hpp include/libsemigroups/fastest-bmat.hpp include/libsemigroups/felsch-tree.hpp include/libsemigroups/felsch-digraph.hpp include/libsemigroups/felsch-digraph.tpp include/libsemigroups/forest.hpp include/libsemigroups/fpsemi-examples.hpp include/libsemigroups/fpsemi-intf.hpp include/libsemigroups/fpsemi.hpp include/libsemigroups/freeband.hpp include/libsemigroups/froidure-pin-base.hpp include/libsemigroups/froidure-pin-impl.hpp include/libsemigroups/froidure-pin.hpp include/libsemigroups/function-ref.hpp include/libsemigroups/hpcombi.hpp include/libsemigroups/int-range.hpp include/libsemigroups/iterator.hpp include/libsemigroups/kambites.hpp '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups' libtool: install: /usr/bin/install -c .libs/libsemigroups.a /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/libsemigroups.a libtool: install: chmod 644 /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/libsemigroups.a /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/suffix-tree.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/wilo.hpp include/libsemigroups/wislo.hpp include/libsemigroups/word.hpp '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups' 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.6.0' >>> 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.6.0-r0 pc:eigen3 pc:fmt pkgconfig >>> libsemigroups-dev*: Package size: 1.9 MB >>> libsemigroups-dev*: Compressing data... >>> libsemigroups-dev*: Create checksum... >>> libsemigroups-dev*: Create libsemigroups-dev-2.6.0-r0.apk >>> libsemigroups-static*: Tracing dependencies... >>> libsemigroups-static*: Package size: 6.0 MB >>> libsemigroups-static*: Compressing data... >>> libsemigroups-static*: Create checksum... >>> libsemigroups-static*: Create libsemigroups-static-2.6.0-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.6.0-r0.apk >>> libsemigroups: Build complete at Tue, 07 Feb 2023 06:41:57 +0000 elapsed time 0h 3m 23s >>> libsemigroups: Cleaning up srcdir >>> libsemigroups: Cleaning up pkgdir >>> libsemigroups: Uninstalling dependencies... (1/4) Purging .makedepends-libsemigroups (20230207.063835) (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: 294 MiB in 96 packages >>> libsemigroups: Updating the testing/ppc64le repository index... >>> libsemigroups: Signing the index...