>>> libsemigroups: Building testing/libsemigroups 2.6.2-r0 (using abuild 3.10.0-r0) started Mon, 27 Feb 2023 14:02:00 +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 (20230227.140201) OK: 302 MiB in 99 packages >>> libsemigroups: Cleaning up srcdir >>> libsemigroups: Cleaning up pkgdir >>> libsemigroups: Fetching https://distfiles.alpinelinux.org/distfiles/edge/libsemigroups-2.6.2.tar.gz % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 0 0 0 0 0 0 0 0 --:--:-- 0:00:01 --:--:-- 0 0 0 0 0 0 0 0 0 --:--:-- 0:00:02 --:--:-- 0 0 146 0 0 0 0 0 0 --:--:-- 0:00:03 --:--:-- 0 curl: (22) The requested URL returned error: 404 >>> libsemigroups: Fetching https://github.com/libsemigroups/libsemigroups/releases/download/v2.6.2/libsemigroups-2.6.2.tar.gz % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 0 0 0 0 0 0 0 0 --:--:-- 0:00:01 --:--:-- 0 0 0 0 0 0 0 0 0 --:--:-- 0:00:02 --:--:-- 0 0 0 0 0 0 0 0 0 --:--:-- 0:00:02 --:--:-- 0 0 0 0 0 0 0 0 0 --:--:-- 0:00:03 --:--:-- 0 0 0 0 0 0 0 0 0 --:--:-- 0:00:04 --:--:-- 0 100 2471k 100 2471k 0 0 452k 0 0:00:05 0:00:05 --:--:-- 1277k >>> libsemigroups: Fetching https://distfiles.alpinelinux.org/distfiles/edge/libsemigroups-2.6.2.tar.gz >>> libsemigroups: Checking sha512sums... libsemigroups-2.6.2.tar.gz: OK >>> libsemigroups: Unpacking /var/cache/distfiles/libsemigroups-2.6.2.tar.gz... tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' checking build system type... powerpc64le-alpine-linux-musl checking host system type... powerpc64le-alpine-linux-musl checking target system type... powerpc64le-alpine-linux-musl checking for a BSD-compatible install... /usr/bin/install -c checking whether build environment is sane... yes checking for a race-free mkdir -p... ./config/install-sh -c -d checking for gawk... no checking for mawk... no checking for nawk... no checking for awk... awk checking whether make sets $(MAKE)... yes checking whether make supports nested variables... yes checking how to create a pax tar archive... gnutar checking whether make supports nested variables... (cached) yes checking whether make supports the include directive... yes (GNU style) checking for powerpc64le-alpine-linux-musl-gcc... gcc checking whether the C compiler works... yes checking for C compiler default output file name... a.out checking for suffix of executables... checking whether we are cross compiling... no checking for suffix of object files... o checking whether the compiler supports GNU C... yes checking whether gcc accepts -g... yes checking for gcc option to enable C11 features... none needed checking whether gcc understands -c and -o together... yes checking dependency style of gcc... gcc3 checking for powerpc64le-alpine-linux-musl-ar... no checking for powerpc64le-alpine-linux-musl-lib... no checking for powerpc64le-alpine-linux-musl-link... no checking for ar... ar checking the archiver (ar) interface... ar checking whether the compiler supports GNU C++... yes checking whether g++ accepts -g... yes checking for g++ option to enable C++11 features... none needed checking dependency style of g++... gcc3 checking whether g++ supports C++14 features by default... yes checking for a sed that does not truncate output... /bin/sed checking how to run the C preprocessor... gcc -E checking for grep that handles long lines and -e... /bin/grep checking for egrep... /bin/grep -E checking whether gcc is Clang... no checking whether pthreads work with "-pthread" and "-lpthread"... yes checking for joinable pthread attribute... PTHREAD_CREATE_JOINABLE checking whether more special flags are required for pthreads... no checking for PTHREAD_PRIO_INHERIT... yes checking for pthread_create in -lpthread... yes checking whether to enable maintainer-specific portions of Makefiles... no checking whether ln -s works... yes checking how to print strings... printf checking for a sed that does not truncate output... (cached) /bin/sed checking for fgrep... /bin/grep -F checking for ld used by gcc... /usr/powerpc64le-alpine-linux-musl/bin/ld checking if the linker (/usr/powerpc64le-alpine-linux-musl/bin/ld) is GNU ld... yes checking for BSD- or MS-compatible name lister (nm)... /usr/bin/nm -B checking the name lister (/usr/bin/nm -B) interface... BSD nm checking the maximum length of command line arguments... 98304 checking how to convert powerpc64le-alpine-linux-musl file names to powerpc64le-alpine-linux-musl format... func_convert_file_noop checking how to convert powerpc64le-alpine-linux-musl file names to toolchain format... func_convert_file_noop checking for /usr/powerpc64le-alpine-linux-musl/bin/ld option to reload object files... -r checking for powerpc64le-alpine-linux-musl-file... no checking for file... file checking for powerpc64le-alpine-linux-musl-objdump... no checking for objdump... objdump checking how to recognize dependent libraries... pass_all checking for powerpc64le-alpine-linux-musl-dlltool... no checking for dlltool... no checking how to associate runtime and link libraries... printf %s\n checking for powerpc64le-alpine-linux-musl-ar... ar checking for archiver @FILE support... @ checking for powerpc64le-alpine-linux-musl-strip... no checking for strip... strip checking for powerpc64le-alpine-linux-musl-ranlib... no checking for ranlib... ranlib checking command to parse /usr/bin/nm -B output from gcc object... ok checking for sysroot... no checking for a working dd... /bin/dd checking how to truncate binary pipes... /bin/dd bs=4096 count=1 checking for powerpc64le-alpine-linux-musl-mt... no checking for mt... no checking if : is a manifest tool... no checking for stdio.h... yes checking for stdlib.h... yes checking for string.h... yes checking for inttypes.h... yes checking for stdint.h... yes checking for strings.h... yes checking for sys/stat.h... yes checking for sys/types.h... yes checking for unistd.h... yes checking for dlfcn.h... yes checking for objdir... .libs checking if gcc supports -fno-rtti -fno-exceptions... no checking for gcc option to produce PIC... -fPIC -DPIC checking if gcc PIC flag -fPIC -DPIC works... yes checking if gcc static flag -static works... yes checking if gcc supports -c -o file.o... yes checking if gcc supports -c -o file.o... (cached) yes checking whether the gcc linker (/usr/powerpc64le-alpine-linux-musl/bin/ld) supports shared libraries... yes checking whether -lc should be explicitly linked in... no checking dynamic linker characteristics... GNU/Linux ld.so checking how to hardcode library paths into programs... immediate checking whether stripping libraries is possible... yes checking if libtool supports shared libraries... yes checking whether to build shared libraries... yes checking whether to build static libraries... yes checking how to run the C++ preprocessor... g++ -E checking for ld used by g++... /usr/powerpc64le-alpine-linux-musl/bin/ld checking if the linker (/usr/powerpc64le-alpine-linux-musl/bin/ld) is GNU ld... yes checking whether the g++ linker (/usr/powerpc64le-alpine-linux-musl/bin/ld) supports shared libraries... yes checking for g++ option to produce PIC... -fPIC -DPIC checking if g++ PIC flag -fPIC -DPIC works... yes checking if g++ static flag -static works... yes checking if g++ supports -c -o file.o... yes checking if g++ supports -c -o file.o... (cached) yes checking whether the g++ linker (/usr/powerpc64le-alpine-linux-musl/bin/ld) supports shared libraries... yes checking dynamic linker characteristics... (cached) GNU/Linux ld.so checking how to hardcode library paths into programs... immediate checking for limits.h... yes checking for stdint.h... (cached) yes checking for stdlib.h... (cached) yes checking for sys/time.h... yes checking for unistd.h... (cached) yes checking for pthread.h... yes checking for _Bool... yes checking for stdbool.h that conforms to C99... yes checking for inline... inline checking for int64_t... yes checking for size_t... yes checking for uint64_t... yes checking for ptrdiff_t... yes checking size of void *... 8 checking for GNU libc compatible malloc... yes checking for gettimeofday... yes checking for memset... yes checking for pow... yes checking for sqrt... yes checking whether to enable debug mode... no checking whether to enable verbose mode... no checking whether enable compiler warnings... no checking whether to enable stats mode... yes checking whether to enable backward mode... yes checking for execinfo.h... no configure: WARNING: backward enabled but execinfo.h not found, disabling backward! checking whether to build with code coverage support... no checking whether to enable HPCombi... yes checking for ./extern/HPCombi/VERSION... yes checking the required version of HPCombi... 0.0.6 checking the version of HPCombi that's present... 0.0.6 checking whether C++ compiler accepts -mavx... no configure: WARNING: flag -mavx not supported, HPCombi is disabled checking for powerpc64le-alpine-linux-musl-pkg-config... no checking for pkg-config... /usr/bin/pkg-config checking pkg-config is at least version 0.9.0... yes checking whether to enable fmt... yes checking whether to use external fmt... yes checking for fmt >= 8.1.1... yes checking whether to enable eigen... yes checking whether to use external eigen... yes checking for eigen3 >= 3.3.7... yes checking for __builtin_popcountl... yes checking for __builtin_clzll... yes checking whether to try and use __builtin_popcntl... yes checking whether to try and use __builtin_clzlll... yes checking that generated files are newer than configure... done configure: creating ./config.status config.status: creating Makefile config.status: creating libsemigroups.pc config.status: creating config/config.h config.status: executing depfiles commands config.status: executing include/libsemigroups/config.hpp commands config.status: creating include/libsemigroups/config.hpp - prefix LIBSEMIGROUPS for config/config.h defines config.status: executing libtool commands CXX src/libsemigroups_la-bipart.lo CXX src/libsemigroups_la-bmat8.lo CXX src/libsemigroups_la-cong-intf.lo CXX src/libsemigroups_la-cong-pair.lo CXX src/libsemigroups_la-cong.lo CXX src/libsemigroups_la-constants.lo CXX src/libsemigroups_la-coset.lo CXX src/libsemigroups_la-exception.lo CXX src/libsemigroups_la-felsch-tree.lo CXX src/libsemigroups_la-forest.lo CXX src/libsemigroups_la-fpsemi-examples.lo CXX src/libsemigroups_la-fpsemi-intf.lo CXX src/libsemigroups_la-fpsemi.lo CXX src/libsemigroups_la-freeband.lo CXX src/libsemigroups_la-froidure-pin-base.lo CXX src/libsemigroups_la-kambites.lo CXX src/libsemigroups_la-knuth-bendix.lo CXX src/libsemigroups_la-make-present.lo CXX src/libsemigroups_la-node-manager.lo CXX src/libsemigroups_la-obvinf.lo CXX src/libsemigroups_la-pbr.lo CXX src/libsemigroups_la-race.lo CXX src/libsemigroups_la-report.lo CXX src/libsemigroups_la-runner.lo CXX src/libsemigroups_la-siso.lo CXX src/libsemigroups_la-string.lo CXX src/libsemigroups_la-stephen.lo CXX src/libsemigroups_la-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.2/include/libsemigroups/digraph.hpp:58, from /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.6.2/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")){ | ~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~ In file included from /usr/include/eigen3/Eigen/Core:350, from /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.6.2/include/libsemigroups/digraph.hpp:58, from /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.6.2/include/libsemigroups/digraph-with-sources.hpp:41, from /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.6.2/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")){ | ~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~ CXXLD libsemigroups.la make test_all make[1]: Entering directory '/home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.6.2' CXX tests/bmat-data.o CXX tests/test-action.o CXX tests/test-bipart.o CXX tests/test-bitset.o CXX tests/test-bmat8.o CXX tests/test-cong-intf.o CXX tests/test-cong-pair.o CXX tests/test-cong.o CXX tests/test-constants.o CXX tests/test-containers.o CXX tests/test-digraph-helper.o CXX tests/test-digraph.o CXX tests/test-felsch-tree.o CXX tests/test-forest.o CXX tests/test-fpsemi.o CXX tests/test-fpsemi-examples-1.o CXX tests/test-fpsemi-examples-2.o CXX tests/test-fpsemi-examples-3.o CXX tests/test-fpsemi-intf.o CXX tests/test-freeband.o CXX tests/test-froidure-pin-bipart.o CXX tests/test-froidure-pin-bmat8.o CXX tests/test-froidure-pin-bmat.o CXX tests/test-froidure-pin-integers.o CXX tests/test-froidure-pin-intmat.o CXX tests/test-froidure-pin-intpairs.o CXX tests/test-froidure-pin-matrix.o CXX tests/test-froidure-pin-maxplustrunc.o CXX tests/test-froidure-pin-pbr.o CXX tests/test-froidure-pin-pperm.o CXX tests/test-froidure-pin-projmaxplus.o CXX tests/test-froidure-pin-transf.o CXX tests/test-hpcombi.o CXX tests/test-iterator.o CXX tests/test-kambites.o CXX tests/test-kbe.o CXX tests/test-knuth-bendix-1.o CXX tests/test-knuth-bendix-2.o CXX tests/test-knuth-bendix-3.o CXX tests/test-knuth-bendix-4.o CXX tests/test-knuth-bendix-5.o CXX tests/test-knuth-bendix-6.o CXX tests/test-konieczny-bmat8-1.o CXX tests/test-konieczny-bmat8-2.o CXX tests/test-konieczny-bmat8-3.o CXX tests/test-konieczny-transf.o CXX tests/test-konieczny-bmat.o CXX tests/test-konieczny-pperm.o CXX tests/test-main.o CXX tests/test-make-present.o CXX tests/test-make-froidure-pin.o CXX tests/test-matrix.o CXX tests/test-obvinf.o CXX tests/test-order.o CXX tests/test-pbr.o CXX tests/test-pool.o CXX tests/test-present.o CXX tests/test-race.o CXX tests/test-runner.o CXX tests/test-schreier-sims.o CXX tests/test-schreier-sims-helper.o CXX tests/test-sims1.o CXX tests/test-siso.o CXX tests/test-stephen.o CXX tests/test-string.o CXX tests/test-string-view.o CXX tests/test-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.2/include/libsemigroups/digraph.hpp:58, from /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.6.2/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.2/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.2/include/libsemigroups/digraph.hpp:58, from /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.6.2/include/libsemigroups/knuth-bendix.hpp:34, from /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.6.2/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.2/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.2/include/libsemigroups/digraph.hpp:58, from /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.6.2/include/libsemigroups/knuth-bendix.hpp:34, from /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.6.2/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.2' ./test_all --use-colour yes --order lex --abort [quick] Filters: [quick] Action 001: row and column basis orbits for BMat8 . . . 39μs Action 002: row and column basis orbits for BMat8 . . . 2037μs Action 003: add generators after enumeration . . . 2047μs Action 004: multipliers for BMat8 row and column orbits . . . 4302μs Action 005: orbits for regular boolean mat monoid 5 . . . 358ms Action 007: partial perm image orbit . . . 378μs Action 008: partial perm image orbit . . . 99ms 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 . . . 250μs Action 013: permutation on tuples, arrays . . . 26ms Action 014: permutation on sets, vectors . . . 324μs Action 015: permutation on tuples, vectors . . . 34ms Action 016: misc . . . 17ms Action 017: partial perm image orbit . . . 67μs Action 018: permutation on tuples, arrays (360360) . . . 342ms Action 019: orbits for regular BMat8 monoid 5 with stop/start . . . 473ms Action 021: orbits for regular boolean mat monoid 5 (BMat<5> [...] . . . 645ms ActionDigraph 000: constructor with 1 default arg . . . 16μs ActionDigraph 001: constructor with 0 default args . . . 53μs ActionDigraph 002: add nodes . . . 31μs ActionDigraph 003: add edges . . . 503μs ActionDigraph 004: strongly connected components - cycles . . . 31μs ActionDigraph 005: strongly connected components - no edges . . . 50ms ActionDigraph 006: strongly connected components - disjoint cycles . . . 1442μs ActionDigraph 007: strongly connected components - complete graphs . . . 617μs ActionDigraph 008: exceptions . . . 99μs ActionDigraph 009: spanning forest - complete graphs . . . 3223μ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 . . . 9511μs ActionDigraph 014: random . . . 22μs ActionDigraph 015: reserve . . . 13μs ActionDigraph 016: default constructors . . . 18μs ActionDigraph 017: scc iterators . . . 867μs ActionDigraph 018: iterator to edges . . . 594μs ActionDigraph 019: root of scc . . . 253μs ActionDigraph 020: cbegin/end_panislo - 100 node path . . . 660μs ActionDigraph 021: cbegin/end_pislo . . . 57μs ActionDigraph 022: cbegin/end_pani(s)lo - 100 node cycle . . . 702μs ActionDigraph 023: cbegin/cend_pilo - tree 14 nodes . . . 107μs ActionDigraph 024: cbegin/end_pstilo - Cayley digraph . . . 231ms ActionDigraph 025: cbegin_pstilo - Tsalakou . . . 398μs ActionDigraph 026: cbegin/end_pstislo - Cayley digraph . . . 237ms ActionDigraph 027: cbegin/end_pstislo - Cayley digraph . . . 248μs ActionDigraph 028: path iterators corner cases . . . 289μs ActionDigraph 029: reverse node iterator . . . 13μs ActionDigraph 030: pstilo corner case . . . 38μs ActionDigraph 031: number_of_paths corner cases . . . 90μs ActionDigraph 032: number_of_paths acyclic digraph . . . 14ms 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 . . . 1044μs ActionDigraph 036: number_of_paths 10 node acyclic digraph . . . 39μs ActionDigraph 037: number_of_paths node digraph . . . 2589μs ActionDigraph 038: random/random_acyclic exceptions . . . 171μs ActionDigraph 039: unsafe (next) neighbour . . . 47μs ActionDigraph 040: number_of_egdes incident to a node . . . 53μs ActionDigraph 041: number_of_paths (matrix) . . . 25ms ActionDigraph 042: number_of_paths (matrix) . . . 16μs ActionDigraph 043: swap_edge_nc . . . 12μs ActionDigraph 044: detail::pow for non-square Eigen matrix . . . 30μs ActionDigraph 045: operator<< . . . 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 . . . 135μs BMat8 005: call operator . . . 23μs BMat8 006: operator<< . . . 25μs BMat8 007: set . . . 99μs BMat8 008: row space basis . . . 775μs BMat8 009: col space basis . . . 769μs BMat8 010: row space basis . . . 1257μs BMat8 011: number_of_rows, number_of_cols . . . 45μs BMat8 012: row_space, col_space . . . 279μs BMat8 013: rows . . . 55μs BMat8 014: one . . . 14μs BMat8 015: vector constructor . . . 160μs BMat8 016: operator< . . . 17μs BMat8 017: adapters . . . 24μs BMat8 018: one . . . 14μs Bipartition 009: mem fns 1 . . . 34μs Bipartition 010: hash . . . 10μs Bipartition 011: mem fns 2 . . . 27μs Bipartition 012: delete/copy . . . 11μs Bipartition 013: degree 0 . . . 13μs Bipartition 014: exceptions . . . 53μs Bipartition 015: convenience constructor . . . 390μs Bipartition 016: force copy constructor over move constructor . . . 20μs Bipartition 017: adapters . . . 10μs BitSet 000: size . . . 14μs BitSet 001: operator< . . . 13μs BitSet 002: operator== . . . 15μs BitSet 003: operator!= . . . 14μs BitSet 004: operator&= . . . 17μs BitSet 005: & . . . 21μs BitSet 006: operator|= . . . 23μs BitSet 007: operator[] . . . 23μs BitSet 008: set(none) . . . 23μ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) . . . 26μs BitSet 013: apply (iterate through set bits) . . . 32μs BitSet 014: std::hash . . . 10μs BitSet 015: constructors . . . 24μs BitSet 016: max_size . . . 10μs BitSet 017: insertion operators . . . 16μs Blocks 001: empty blocks . . . 14μs Blocks 002: non-empty blocks . . . 15μs Blocks 003: left blocks of bipartition . . . 15μs Blocks 004: right blocks of bipartition . . . 16μs Blocks 005: copy [empty blocks] . . . 13μs Blocks 006: copy [non-empty blocks] . . . 15μs Blocks 007: hash value . . . 14μs Blocks 008: operator< . . . 14μs Congruence 000: left congruence on fp semigroup . . . 107μs Congruence 001: 2-sided congruence on fp semigroup . . . 889μs Congruence 002: left congruence on fp semigroup . . . 814μs Congruence 003: word_to_class_index for cong. on fp semigroup . . . 725μs Congruence 004: word_to_class_index for cong. on fp semigroup . . . 452μs Congruence 005: trivial congruence on non-fp semigroup . . . 476μs Congruence 006: 2-sided congruence on non-fp semigroup . . . 367μs Congruence 007: 2-sided congruence on fp semigroup . . . 657μs Congruence 008: 2-sided congruence on infinite fp semigroup . . . 351μs Congruence 009: 2-sided congruence on infinite fp semigroup . . . 422μs Congruence 010: 2-sided congruence on finite semigroup . . . 47ms Congruence 012: 2-sided congruence on finite semigroup . . . 5794μs Congruence 013: trivial 2-sided congruence on bicyclic monoid . . . 33ms Congruence 014: non-trivial 2-sided congruence on bicyclic monoid . . . 365μs Congruence 015: 2-sided congruence on free abelian monoid . . . 411μs Congruence 016: example where TC works but KB doesn't . . . 572μs Congruence 017: 2-sided congruence on finite semigroup . . . 385μs Congruence 018: infinite fp semigroup from GAP library . . . 571μs Congruence 019: 2-sided cong. on fp semigroup with infinite [...] . . . 301μs Congruence 020: trivial cong. on an fp semigroup . . .  -- with compute size 315μs  -- with don't compute size 297μs Congruence 021: duplicate generators . . . 479μs Congruence 022: non-trivial classes . . . 1503μs Congruence 023: right congruence on finite semigroup . . . 252ms Congruence 024: redundant generating pairs . . . 81μs Congruence 025: 2-sided cong. on free semigroup . . . 63μs Congruence 026: is_quotient_obviously_(in)finite . . . 843μs Congruence 027: less . . . 827μs Congruence 028: 2-sided congruences of BMat8 semigroup . . . 145ms Congruence 029: left congruence on finite semigroup . . . 1149μs Congruence 030: right congruence on finite semigroup . . . 887μs Congruence 031: right congruence on finite semigroup . . . 491μs Congruence 032: contains . . . 129μs Congruence 033: stellar_monoid S2 . . . 450μs Congruence 034: stellar_monoid S3 . . . 836μs Congruence 035: stellar_monoid S4 . . . 1907μs Congruence 036: stellar_monoid S5 . . . 10ms Congruence 037: stellar_monoid S6 . . . 85ms Congruence 038: stellar_monoid S7 . . . 825ms Congruence 039: left cong. on an f.p. semigroup . . . 2072μs Congruence 040: 2-sided cong. on infinite f.p. semigroup . . . 146μs Congruence 041: 2-sided congruence constructed from type only . . . 869μs Congruence 042: const_contains . . . 894μs Congruence 043: no winner . . . 4635μs Congruence 044: congruence over smalloverlap . . . 7053μs CongruenceByPairs 001: (cong) 2-sided cong. on finite semigroup . . . 462μs CongruenceByPairs 002: (cong) left congruence on finite semigroup . . . 144μs CongruenceByPairs 003: (cong) right congruence on finite semigroup . . . 140μs CongruenceByPairs 004: (cong) trivial congruence on finite s [...] . . . 104μs CongruenceByPairs 005: (cong) trivial left congruence on fin [...] . . . 95μs CongruenceByPairs 006: (cong) trivial right congruence on fi [...] . . . 92μs CongruenceByPairs 007: (cong) universal congruence on finite [...] . . . 496μs CongruenceByPairs 009: (cong) 2-sided congruence on finite s [...] . . . 666ms CongruenceByPairs 010: (cong) left congruence on big finite [...] . . . 34ms CongruenceByPairs 011: (cong) left congruence on TCE . . . 287μs CongruenceByPairs 012: (cong) is_quotient_obviously_finite . . . 145μs CongruenceByPairs 013: (cong) class_index_to_word/quotient . . .  -- with right congruence 11ms  -- with left congruence 1427μs  -- with 2-sided congruence 8466μs CongruenceByPairs 014: (cong) const_word_to_class_index . . .  -- with right congruence 44μs  -- with left congruence 40μs  -- with 2-sided congruence 38μs CongruenceByPairs 015: (cong) size non-Element* . . . 24ms CongruenceInterface 000: add_pair . . .  -- with ToddCoxeter 186μs  -- with KnuthBendix 254μs  -- with CongruenceByPairs 192μs  -- with Congruence 1096μs CongruenceInterface 001: contains/const_contains . . .  -- with ToddCoxeter and no parent 197μs  -- with KnuthBendix and no parent 213μs  -- with Congruence and parent 884μs  -- with CongruenceByPairs and parent 150μs CongruenceInterface 002: less . . .  -- with ToddCoxeter 152μs  -- with KnuthBendix 232μs  -- with CongruenceByPairs 156μs  -- with Congruence 470μs CongruenceInterface 003: is_quotient_obviously_(in)finite . . .  -- with ToddCoxeter 122μs  -- with KnuthBendix 209μs CongruenceInterface 004: is_quotient_obviously_(in)finite . . .  -- with CongruenceByPairs 161μs  -- with Congruence 471μs CongruenceInterface 005: parent_froidure_pin . . .  -- with ToddCoxeter 42μs  -- with KnuthBendix 38μs CongruenceInterface 006: parent_froidure_pin . . .  -- with CongruenceByPairs 153μs  -- with Congruence 508μs CongruenceInterface 007: cbegin/cend_ntc . . .  -- with ToddCoxeter 281μs  -- with KnuthBendix 1903μs CongruenceInterface 008: cbegin/cend_ntc . . .  -- with CongruenceByPairs 197μs  -- with Congruence 473μs CongruenceInterface 009: quotient is immutable . . .  -- with ToddCoxeter 132μs  -- with KnuthBendix 179μs  -- with Congruence 282μs CongruenceInterface 010: no generating pairs added . . .  -- with KnuthBendix and common behaviour 4347μs  -- with Congruence and common behaviour 4589μs  -- with ToddCoxeter 133μs CongruenceInterface 011: nr generators not set . . .  -- with ToddCoxeter 218μs  -- with KnuthBendix 222μs  -- with Congruence 221μs CongruenceInterface 012: no generating pairs . . . 172μs ConstIteratorStateless 001: ? . . . 12μs ConstIteratorStateless 002: ? . . . 12μs Constants 001: Undefined . . . 19μs Constants 002: PositiveInfinity . . . 20μs Constants 003: NegativeInfinity . . . 18μs Constants 004: LimitMax . . . 18μs Duf 004: unite . . . 27μs Duf 006: compress . . . 19μs Duf 008: resize . . . 23μs Duf 009: resize . . . 15μs Duf 010: big chain . . . 22ms Duf 012: empty table . . . 12μs Duf 014: join . . . 16μs Duf 016: contains . . . 33μs Duf 018: swap . . . 38μs DynamicArray2 001: default constructor with 3 default args . . . 14μs DynamicArray2 002: default constructor with 2 default args . . . 12μs DynamicArray2 003: default constructor with 1 default args . . . 14μs DynamicArray2 004: default constructor with 0 default args . . . 13μs DynamicArray2 005: copy constructor with 1 default args . . . 13μs DynamicArray2 006: copy constructor with 0 default args . . . 16μs DynamicArray2 007: add_rows . . . 16μs DynamicArray2 008: add_rows . . . 14μs DynamicArray2 009: add_cols . . . 17μs DynamicArray2 010: set/get . . . 30μs DynamicArray2 011: append 1/2 . . . 55μs DynamicArray2 012: append 2/2 . . . 81μs DynamicArray2 013: count . . . 24μs DynamicArray2 014: clear . . . 13μs DynamicArray2 015: begin_row and end_row . . . 72μs DynamicArray2 016: cbegin_row and cend_row . . . 31μs DynamicArray2 017: iterator operator++ (postfix) . . . 287μs DynamicArray2 018: iterator operator++ (prefix) . . . 1929μs DynamicArray2 019: iterator operator-- (postfix) . . . 376μs DynamicArray2 020: iterator operator-- (prefix) . . . 374μs DynamicArray2 021: operator= . . . 17μs DynamicArray2 022: operator== and operator!= . . . 266μs DynamicArray2 023: empty and clear . . . 15μs DynamicArray2 024: max_size . . . 11μs DynamicArray2 025: swap . . . 35μs DynamicArray2 026: iterator arithmetic . . . 1595μs DynamicArray2 027: iterator comparison . . . 14μs DynamicArray2 028: iterator operator= . . . 12μs DynamicArray2 029: iterator operator[] . . . 89μs DynamicArray2 030: iterator operator-> . . . 12μs DynamicArray2 031: const_iterator operator++/-- . . . 227μs DynamicArray2 032: const_iterator operator++/-- . . . 11μs DynamicArray2 033: column iterators . . . 27μs DynamicArray2 034: column iterator arithmetic . . . 6577μs DynamicArray2 035: iterator assignment constructor . . . 1872μs DynamicArray2 036: reserve method . . . 42μs DynamicArray2 037: erase column . . . 18μs DynamicArray2 038: swap_rows . . . 14μs DynamicArray2 039: apply_row_permutation . . . 13μs DynamicArray2 040: swap . . . 13μs DynamicArray2 041: shrink_rows_to . . . 18μs DynamicArray2 042: shrink_rows_to - for range . . . 19μs FastestBMat 046: check no throw . . . 14μs FelschTree 000: previously failing example . . . 30μs Forest 001: test forest . . . 79μs FpSemigroup 001: Renner monoid type B2 (E. G. presentation), q = 1 . . . 1003μs FpSemigroup 002: Renner monoid type B2 (E. G. presentation), q = 0 . . . 913μs FpSemigroup 003: Renner monoid type B3 (E. G. presentation), q = 1 . . . 225ms FpSemigroup 004: Renner monoid type B3 (E. G. presentation), q = 0 . . . 236ms FpSemigroup 005: Renner monoid type B2 (Gay-Hivert presentat [...] . . . 1239μs FpSemigroup 006: Renner monoid type B2 (Gay-Hivert presentat [...] . . . 1539μs FpSemigroup 007: Renner monoid type B3 (Gay-Hivert presentat [...] . . . 4865μs FpSemigroup 008: Renner monoid type B3 (Gay-Hivert presentat [...] . . . 4806μs FpSemigroup 009: Renner monoid type B4 (Gay-Hivert presentat [...] . . . 252ms FpSemigroup 010: Renner monoid type B4 (Gay-Hivert presentat [...] . . . 371ms FpSemigroup 013: Renner monoid type D2 (E. G. presentation), q = 1 . . . 1515μs FpSemigroup 014: Renner monoid type D2 (E. G. presentation), q = 0 . . . 1333μs FpSemigroup 015: Renner monoid type D3 (E. G. presentation), q = 1 . . . 4990μs FpSemigroup 016: Renner monoid type D3 (E. G. presentation), q = 0 . . . 5770μs FpSemigroup 017: Renner monoid type D4 (E. G. presentation), q = 1 . . . 3606ms FpSemigroup 018: Renner monoid type D4 (E. G. presentation), q = 0 . . . 3665ms FpSemigroup 019: Renner monoid type D2 (Gay-Hivert presentat [...] . . . 1727μs FpSemigroup 020: Renner monoid type D2 (Gay-Hivert presentat [...] . . . 1849μs FpSemigroup 021: Renner monoid type D3 (Gay-Hivert presentat [...] . . . 6889μs FpSemigroup 022: Renner monoid type D3 (Gay-Hivert presentat [...] . . . 6795μs FpSemigroup 023: Renner monoid type D4 (Gay-Hivert presentat [...] . . . 115ms FpSemigroup 024: Renner monoid type D4 (Gay-Hivert presentat [...] . . . 113ms FpSemigroup 029: Rook monoid R5, q = 0 . . . 7221μs FpSemigroup 030: Rook monoid R5, q = 1 . . . 6381μs FpSemigroup 031: Rook monoid R6, q = 0 . . . 64ms FpSemigroup 032: Rook monoid R6, q = 1 . . . 57ms FpSemigroup 033: normal_form . . . 259μs FpSemigroup 034: for a finite semigroup . . . 634μs FpSemigroup 035: finite fp semigroup, dihedral group of order 6 . . . 538μs FpSemigroup 036: finite fp semigroup, size 16 . . . 751μs FpSemigroup 037: finite fp semigroup, size 16 . . . 1248μs FpSemigroup 038: fp semigroup, size 240 . . . 1026μs FpSemigroup 039: add_rule . . . 257μs FpSemigroup 040: add_rule . . . 166μs FpSemigroup 041: equal_to . . . 274μs FpSemigroup 042: cbegin/cend_rules . . . 74μs FpSemigroup 043: semigroup of size 3 . . . 404μs FpSemigroup 044: run_for/until . . . 2452μs FpSemigroup 045: constructors . . . 254μs FpSemigroup 046: set_inverses . . . 187μs FpSemigroup 047: smalloverlap . . . 8733μs FpSemigroup 048: quaternion group Q8 . . . 543μs FpSemigroup 049: symmetric group Coxeter presentation . . . 114ms FpSemigroupByPairs 029: (fpsemi) 2-sided congruence on finit [...] . . . 486μs FpSemigroupByPairs 030: (fpsemi) 2-sided congruence on finit [...] . . . 458μs FpSemigroupInterface 000: run with no alphabet . . .  -- with ToddCoxeter 67μs  -- with KnuthBendix 42μs  -- with FpSemigroup 53μs FpSemigroupInterface 001: equal_to . . .  -- with ToddCoxeter and human readable alphabet 2184μs  -- with KnuthBendix and human readable alphabet 5824μs  -- with FpSemigroup and human readable alphabet 4809μs  -- with FpSemigroupByPairs 3968μs FpSemigroupInterface 002: normal_form . . .  -- with ToddCoxeter 348μs  -- with KnuthBendix 400μs  -- with FpSemigroup 792μs FpSemigroupInterface 003: set_alphabet (1/2) . . .  -- with ToddCoxeter 132μs  -- with KnuthBendix 121μs  -- with FpSemigroup 133μs FpSemigroupInterface 004: set_alphabet (2/2) . . . 1410μs FpSemigroupInterface 005: add_rule after finished . . .  -- with ToddCoxeter and human readable alphabet 198μs  -- with KnuthBendix and human readable alphabet 230μs  -- with FpSemigroup and human readable alphabet 541μs  -- with FpSemigroupByPairs 1357μs FpSemigroupInterface 006: add_rule with equal words (1/2) . . .  -- with ToddCoxeter and human readable alphabet 141μs  -- with KnuthBendix and human readable alphabet 236μs  -- with FpSemigroup and human readable alphabet 283μs  -- with FpSemigroupByPairs 129μs FpSemigroupInterface 007: add_rule with equal words (2/2) . . .  -- with ToddCoxeter 26μs  -- with KnuthBendix 21μs  -- with FpSemigroup 33μs FpSemigroupInterface 008: add_rule with word_type . . .  -- with ToddCoxeter 64μs  -- with KnuthBendix 58μs  -- with FpSemigroup 89μs FpSemigroupInterface 009: add_rule with empty word (1/2) . . .  -- with ToddCoxeter 52μs  -- with FpSemigroup 59μs FpSemigroupInterface 010: add_rule with empty word (1/2) . . . 17μs FpSemigroupInterface 011: add_rules (1/3) . . .  -- with ToddCoxeter 51μs  -- with KnuthBendix 45μs  -- with FpSemigroup 56μs FpSemigroupInterface 012: add_rules (2/3) . . . 270μs FpSemigroupInterface 013: add_rules (3/3) . . .  -- with ToddCoxeter 30μs  -- with KnuthBendix 27μs  -- with FpSemigroup 62μs FpSemigroupInterface 014: set_identity (1/3) . . .  -- with ToddCoxeter 152μs  -- with KnuthBendix 150μs  -- with FpSemigroup 188μs FpSemigroupInterface 015: set_identity (2/3) . . . 176μs FpSemigroupInterface 016: set_identity (3/3) . . .  -- with ToddCoxeter 92μs  -- with KnuthBendix 106μs  -- with FpSemigroup 138μs FpSemigroupInterface 017: identity . . .  -- with ToddCoxeter 40μs  -- with KnuthBendix 34μs  -- with FpSemigroup 44μs FpSemigroupInterface 018: set_inverses + inverses (1/2) . . .  -- with ToddCoxeter 240μs  -- with KnuthBendix 239μs  -- with FpSemigroup 293μs FpSemigroupInterface 019: set_inverses + inverses (2/2) . . . 334μs FpSemigroupInterface 020: is_obviously_infinite (1/2) . . .  -- with ToddCoxeter 163μs  -- with KnuthBendix 223μs  -- with FpSemigroup 480μs FpSemigroupInterface 021: is_obviously_infinite (2/2) . . . 37μs FpSemigroupInterface 022: is_obviously_finite (1/2) . . .  -- with ToddCoxeter 153μs  -- with KnuthBendix 212μs  -- with FpSemigroup 470μs FpSemigroupInterface 023: is_obviously_finite (2/2) . . . 33μs FpSemigroupInterface 024: to_gap_string (1/3) . . .  -- with ToddCoxeter 31μs  -- with KnuthBendix 28μs  -- with FpSemigroup 64μs FpSemigroupInterface 025: to_gap_string (2/3) . . . 18μs FpSemigroupInterface 026: to_gap_string (3/3) . . . 30μs FroidurePin 015: (BMat8) regular boolean mat monoid 4 . . . 66ms FroidurePin 016: (BMat8) exception zero generators given . . . 17μs FroidurePin 017: (BMat8) exception word_to_element . . . 92μs FroidurePin 018: (BMat8) exception prefix . . . 3739μs FroidurePin 019: (BMat8) exception suffix . . . 24μs FroidurePin 020: (BMat8) exception first_letter . . . 3602μs FroidurePin 021: (BMat8) exception final_letter . . . 22μs FroidurePin 022: (BMat8) exception current_length . . . 3734μs FroidurePin 023: (BMat8) exception product_by_reduction . . . 3942μs FroidurePin 024: (BMat8) exception fast_product . . . 3114μ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 . . . 61μs FroidurePin 031: (integers) . . . 123μs FroidurePin 039: (pairs of integers) non-trivial user type . . . 24μs FroidurePin 055: (tropical max-plus semiring matrices) . . . 253μs FroidurePin 061: projective max plus matrix . . . 1013μs FroidurePin 062: projective max plus matrix . . . 39μs FroidurePin> 009: small example 2 . . . 42μs FroidurePin> 005: small example 1 . . . 127μs FroidurePin> 007: regular bmat monoid 4 . . . 57ms FroidurePin> 011: small example 3 . . . 474μs FroidurePin> 006: small example 1 . . . 153μs FroidurePin> 008: regular bmat monoid 4 . . . 70ms FroidurePin> 010: small example 2 . . . 46μs FroidurePin> 012: small example 3 . . . 557μs FroidurePin 000: small example 1 . . . 160μs FroidurePin 001: default constructed . . . 129μs FroidurePin 002: small example 2 . . . 55μs FroidurePin 004: exception: is_idempotent . . . 322μs FroidurePin> 033: Example 000 . . . 705μs FroidurePin> 035: Example 001 . . . 45μs FroidurePin> 032: Example 000 . . . 574μs FroidurePin> 034: Example 001 . . . 42μs FroidurePin 036: exception: current_position . . . 185μs FroidurePin 037: exception: word_to_element . . . 119μs FroidurePin 038: exception: prefix, suffix, first_letter . . . 48ms FroidurePin> 040: Example 000 . . . 64μs FroidurePin> 041: Example 000 . . . 64μs FroidurePin> 046: Example 005 . . . 147μ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 . . . 931μs FroidurePin> 050: Example 006 . . . 1073μs FroidurePin> 051: Example 006 . . . 1063μs FroidurePin> 052: Example 007 . . . 117μs FroidurePin> 053: Example 007 . . . 128μs FroidurePin> 054: Example 007 . . . 131μs FroidurePin 056: example 1 . . . 196μs FroidurePin 057: example 2 . . . 155μs FroidurePin> 058: . . . 570μs FroidurePin> 059: . . . 56μs FroidurePin> 060: exceptions: add_generator(s) . . . 84μs FroidurePin> 065: no exception zero generators given . . . 19μs FroidurePin> 066: exception generators of different [...] . . . 63μs FroidurePin> 067: exception current_position . . . 63μs FroidurePin> 068: exception word_to_element . . . 71μs FroidurePin> 069: exception gens . . . 743μs FroidurePin> 070: exception prefix . . . 59ms FroidurePin> 071: exception suffix . . . 151ms FroidurePin> 072: exception first_letter . . . 84μs FroidurePin> 073: exception final_letter . . . 80μs FroidurePin> 074: exception current_length . . . 80μs FroidurePin> 075: exception product_by_reduction . . . 1018μs FroidurePin> 076: exception fast_product . . . 1119μs FroidurePin> 077: exception current_position . . . 747μs FroidurePin> 078: exception is_idempotent . . . 670μs FroidurePin> 079: exception add_generators . . . 51μs FroidurePin> 080: multithread number_of_idempotents . . . 1015μs FroidurePin> 081: small semigroup . . . 32μs FroidurePin> 082: large semigroup . . . 5357μs FroidurePin> 083: at, position, current_* . . . 5426μs FroidurePin> 084: run . . . 5340μs FroidurePin> 085: run [many stops and starts] . . . 5508μs FroidurePin> 086: factorisation, length [1 element] . . . 5160μs FroidurePin> 087: factorisation, products [all elements] . . . 8241μs FroidurePin> 088: first/final letter, prefix, suffi [...] . . . 5239μs FroidurePin> 089: current_position [standard] . . . 28μs FroidurePin> 090: current_position [duplicate gens] . . . 8543μs FroidurePin> 091: current_position [after add_generators] . . . 5313μs FroidurePin> 092: cbegin_idempotents/cend [1 thread] . . . 5948μs FroidurePin> 093: idempotent_cend/cbegin [1 thread] . . . 5935μs FroidurePin> 094: is_idempotent [1 thread] . . . 6140μs FroidurePin> 096: finished, started . . . 5255μs FroidurePin> 097: current_position . . . 1193μs FroidurePin> 098: sorted_position, sorted_at . . . 6511μs FroidurePin> 099: right/left Cayley graph . . . 36ms FroidurePin> 100: iterator . . . 9609μs FroidurePin> 101: reverse iterator . . . 9515μs FroidurePin> 102: iterator arithmetic . . . 40ms FroidurePin> 103: iterator sorted . . . 36ms FroidurePin> 104: iterator sorted arithmetic . . . 45ms FroidurePin> 105: copy [not enumerated] . . . 5368μs FroidurePin> 106: copy_closure [not enumerated] . . . 34ms FroidurePin> 107: copy_add_generators [not enumerated] . . . 31ms FroidurePin> 108: copy [partly enumerated] . . . 5897μs FroidurePin> 109: copy_closure [partly enumerated] . . . 8686μs FroidurePin> 110: copy_add_generators [partly enumerated] . . . 5818μs FroidurePin> 111: copy [fully enumerated] . . . 8534μs FroidurePin> 112: copy_closure [fully enumerated] . . . 8585μs FroidurePin> 113: copy_add_generators [fully enumerated] . . . 7951μs FroidurePin> 114: relations [duplicate gens] . . . 173μs FroidurePin> 115: relations . . . 8786μs FroidurePin> 116: relations [copy_closure, duplicat [...] . . . 8802μs FroidurePin> 117: relations [copy_add_generators, d [...] . . . 8828μs FroidurePin> 118: relations [from copy, not enumerated] . . . 6948μ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 [...] . . . 6959μs FroidurePin> 123: relations [from copy_closure, par [...] . . . 9869μs FroidurePin> 124: relations [from copy_add_generato [...] . . . 8477μs FroidurePin> 125: relations [from copy_closure, ful [...] . . . 12ms FroidurePin> 126: relations [from copy_add_generato [...] . . . 11ms FroidurePin> 127: add_generators [duplicate generators] . . . 254μs FroidurePin> 128: add_generators [incremental 1] . . . 267μs FroidurePin> 129: add_generators [incremental 2] . . . 337μs FroidurePin> 130: closure [duplicate generators] . . . 189μs FroidurePin> 131: closure . . . 96μs FroidurePin> 132: factorisation . . . 26μs FroidurePin> 134: minimal_factorisation . . . 74μs FroidurePin> 135: batch_size (for an extremely larg [...] . . . 26μs FroidurePin> 137: exception: generators of differen [...] . . . 44μs FroidurePin> 138: exception: current_position . . . 67μs FroidurePin> 139: exception: word_to_element . . . 72μs FroidurePin> 140: exception: gens, current_position . . . 1074μs FroidurePin> 141: exception: add_generators . . . 43μs KBE 000: constructors . . . 50μs KBE 001: test . . . 85μs KBE 002: factorisation . . . 67μs KBE 003: swap . . . 46μs KBE 004: adapters . . . 44μs KBE 005: conversions . . . 44μs Kambites 000: (fpsemi) MT test 4 (std::string) . . . 6096μs Kambites 001: (fpsemi) MT test 4 (MultiStringView) . . . 5940μs Kambites 002: (fpsemi) number_of_pieces (std::string) . . . 120μs Kambites 003: (fpsemi) number_of_pieces (MultiStringView) . . . 109μs Kambites 004: (fpsemi) small_overlap_class (std::string) . . . 3100μs Kambites 005: (fpsemi) small_overlap_class (MultiStringView) . . . 3052μ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) . . . 90μs Kambites 011: (fpsemi) smalloverlap/gap/test.gi:85 (MultiStr [...] . . . 82μs Kambites 012: (fpsemi) free semigroup . . . 16μs Kambites 013: (fpsemi) smalloverlap/gap/test.gi:49 (std::string) . . . 34ms Kambites 014: (fpsemi) smalloverlap/gap/test.gi:49 (MultiStr [...] . . . 42ms Kambites 015: (fpsemi) smalloverlap/gap/test.gi:63 (std::string) . . . 38ms Kambites 016: (fpsemi) smalloverlap/gap/test.gi:63 (MultiStr [...] . . . 49ms Kambites 017: (fpsemi) smalloverlap/gap/test.gi:70 (std::string) . . . 140ms Kambites 018: (fpsemi) smalloverlap/gap/test.gi:70 (MultiStr [...] . . . 167ms Kambites 021: (fpsemi) code coverage (std::string) . . . 50μs Kambites 022: (fpsemi) code coverage (MultiStringView) . . . 35μs Kambites 023: (fpsemi) prefix (std::string) . . . 75μs Kambites 024: (fpsemi) prefix (MultiStringView) . . . 98μs Kambites 025: (fpsemi) normal_form (Example 3.15) (std::string) . . . 81μs Kambites 026: (fpsemi) normal_form (Example 3.15) (MultiStri [...] . . . 99μs Kambites 027: (fpsemi) normal_form (Example 3.16) (std::string) . . . 60μs Kambites 028: (fpsemi) normal_form (Example 3.16) (MultiStri [...] . . . 73μ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) . . . 98μs Kambites 032: (fpsemi) small presentation (MultiStringView) . . . 82μs Kambites 033: (fpsemi) non-smalloverlap (std::string) . . . 87μs Kambites 034: (fpsemi) non-smalloverlap (MultiStringView) . . . 89μs Kambites 035: (fpsemi) MT test 3 (std::string) . . . 56μs Kambites 036: (fpsemi) MT test 3 (MultiStringView) . . . 53μs Kambites 037: (fpsemi) MT test 5 (std::string) . . . 32μ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) . . . 31μs Kambites 045: (fpsemi) MT test 14 (std::string) . . . 30μs Kambites 046: (fpsemi) MT test 14 (MultiStringView) . . . 31μs Kambites 047: (fpsemi) MT test 15 (std::string) . . . 41μs Kambites 048: (fpsemi) MT test 15 (MultiStringView) . . . 41μs Kambites 049: (fpsemi) MT test 16 (std::string) . . . 42μs Kambites 050: (fpsemi) MT test 16 (MultiStringView) . . . 44μs Kambites 051: (fpsemi) MT test 17 (std::string) . . . 112μs Kambites 052: (fpsemi) MT test 17 (MultiStringView) . . . 96μs Kambites 053: (fpsemi) weak C(4) not strong x 1 (std::string) . . . 646μs Kambites 054: (fpsemi) weak C(4) not strong x 1 (MultiStringView) . . . 679μs Kambites 055: (fpsemi) weak C(4) not strong x 2 (std::string) . . . 642μs Kambites 056: (fpsemi) weak C(4) not strong x 2 (MultiStringView) . . . 678μs Kambites 057: (fpsemi) weak C(4) not strong x 3 (std::string) . . . 626μs Kambites 058: (fpsemi) weak C(4) not strong x 3 (MultiStringView) . . . 584μ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) . . . 84μs Kambites 061: (fpsemi) weak C(4) not strong x 5 (std::string) . . . 37μs Kambites 062: (fpsemi) weak C(4) not strong x 5 (MultiStringView) . . . 36μs Kambites 063: (fpsemi) weak C(4) not strong x 6 (std::string) . . . 49μs Kambites 064: (fpsemi) weak C(4) not strong x 6 (MultiStringView) . . . 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) . . . 1561ms Kambites 068: (fpsemi) long words (MultiStringView) . . . 30ms Kambites 075: (cong) example 1 . . . 47μs Kambites 076: (cong) example 2 . . . 129μs Kambites 077: (cong) code coverage . . . 5655μs Kambites 078: (cong) large number of rules . . . 225ms 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 [...] . . . 207μs KnuthBendix 004: (fpsemi) Example 5.1 in Sims (infinite) . . . 177μs KnuthBendix 005: (fpsemi) Example 5.1 in Sims (infinite) . . . 172μs KnuthBendix 006: (fpsemi) Example 5.3 in Sims . . . 165μs KnuthBendix 007: (fpsemi) Example 5.4 in Sims . . . 199μs KnuthBendix 008: (fpsemi) Example 6.4 in Sims (size 168) . . . 12ms KnuthBendix 009: (fpsemi) . . . 51ms KnuthBendix 010: (fpsemi) SL(2, 7) from Chapter 3, Propositi [...] . . . 132ms KnuthBendix 011: (fpsemi) F(2, 5) - Chapter 9, Section 1 in [...] . . . 720μs KnuthBendix 012: (fpsemi) Reinis example 1 . . . 237μs KnuthBendix 013: redundant_rule (std::string) . . . 100ms KnuthBendix 014: redundant_rule (word_type) . . . 10ms KnuthBendix 019: (fpsemi) C(4) monoid . . . 39μs KnuthBendix 020: (cong) Chinese monoid . . . 188μs KnuthBendix 021: (from kbmag/standalone/kb_data/f25monoid) . . . 799μs KnuthBendix 022: (from kbmag/standalone/kb_data/degen4a) . . . 73ms KnuthBendix 023: (from kbmag/standalone/kb_data/torus) . . . 2933μs KnuthBendix 024: (from kbmag/standalone/kb_data/3a6) . . . 348ms KnuthBendix 025: (from kbmag/standalone/kb_data/f2) . . . 61μs KnuthBendix 026: (from kbmag/standalone/kb_data/s16) . . . 219ms KnuthBendix 027: (from kbmag/standalone/kb_data/a4monoid) . . . 87μs KnuthBendix 028: (from kbmag/standalone/kb_data/degen3) . . . 34μs KnuthBendix 029: (from kbmag/standalone/kb_data/ab1) . . . 32μs KnuthBendix 030: (from kbmag/standalone/kb_data/degen2) . . . 24μs KnuthBendix 031: (from kbmag/standalone/kb_data/f25) . . . 818μs KnuthBendix 032: (from kbmag/standalone/kb_data/237) . . . 980μs KnuthBendix 033: (from kbmag/standalone/kb_data/c2) . . . 22μs KnuthBendix 034: (from kbmag/standalone/kb_data/cosets) . . . 349μs KnuthBendix 035: Example 5.1 in Sims (KnuthBendix 09 again) . . . 97μs KnuthBendix 036: (from kbmag/standalone/kb_data/nilp2) . . . 48μs KnuthBendix 037: Example 6.4 in Sims . . . 23ms KnuthBendix 038: KnuthBendix 071 again . . . 1094μs KnuthBendix 039: Example 5.4 in Sims (KnuthBendix 11 again) [...] . . . 359μs KnuthBendix 040: Example 5.4 in Sims (KnuthBendix 11 again) [...] . . . 286μs KnuthBendix 041: operator<< . . . 84μs KnuthBendix 042: confluence_interval . . . 25μs KnuthBendix 043: max_overlap . . . 25μs KnuthBendix 044: (fpsemi) (from kbmag/standalone/kb_data/d22 [...] . . . 2493μs KnuthBendix 045: (fpsemi) (from kbmag/standalone/kb_data/d22 [...] . . . 4599μs KnuthBendix 046: (fpsemi) small example . . . 1248μs KnuthBendix 047: code coverage . . . 90μs KnuthBendix 048: small overlap 1 . . . 63μs KnuthBendix 049: (from kbmag/standalone/kb_data/s9) . . . 3131μs KnuthBendix 050: (fpsemi) Chapter 11, Lemma 1.8 (q = 6, r = [...] . . . 864μs KnuthBendix 051: (fpsemi) Chapter 11, Section 2 (q = 6, r = [...] . . . 195μs KnuthBendix 052: (fpsemi) Chapter 8, Theorem 4.2 in NR (infinite) . . . 359μs KnuthBendix 053: (fpsemi) equal_to fp semigroup . . . 72μs KnuthBendix 054: (fpsemi) equal_to free semigroup . . . 62μs KnuthBendix 055: (fpsemi) from GAP smalloverlap gap/test.gi [...] . . . 407μs KnuthBendix 056: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 713μs KnuthBendix 057: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 710μs KnuthBendix 058: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 1924μs KnuthBendix 059: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 4482μs KnuthBendix 060: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 39μs KnuthBendix 061: (fpsemi) Von Dyck (2,3,7) group (infinite) . . . 920μs KnuthBendix 062: (fpsemi) Von Dyck (2,3,7) group - different [...] . . . 8561μs KnuthBendix 063: (fpsemi) rewriting system from KnuthBendixC [...] . . . 577μs KnuthBendix 064: (fpsemi) rewriting system from Congruence 20 . . . 39μs KnuthBendix 065: (fpsemi) (from kbmag/standalone/kb_data/ab2) . . . 145μs KnuthBendix 066: (fpsemi) (from kbmag/standalone/kb_data/d22 [...] . . . 2577μs KnuthBendix 067: (fpsemi) (from kbmag/standalone/kb_data/degen1) . . . 91μs KnuthBendix 068: (fpsemi) (from kbmag/standalone/kb_data/s4) . . . 591μs KnuthBendix 069: (fpsemi) fp semigroup (infinite) . . . 78μs KnuthBendix 070: (fpsemi) Chapter 11, Section 1 (q = 4, r = [...] . . . 3066μs KnuthBendix 071: (fpsemi) Chapter 11, Section 1 (q = 8, r = [...] . . . 151ms KnuthBendix 072: (fpsemi) Chapter 7, Theorem 3.9 in NR (size 240) . . . 5113μs KnuthBendix 073: (fpsemi) F(2, 5) - Chapter 9, Section 1 in [...] . . . 729μ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) . . . 1433μs KnuthBendix 076: (fpsemi) Sym(5) from Chapter 3, Proposition [...] . . . 4613μs KnuthBendix 077: (fpsemi) SL(2, 7) from Chapter 3, Propositi [...] . . . 129ms KnuthBendix 078: (fpsemi) bicyclic monoid (infinite) . . . 53μs KnuthBendix 079: (fpsemi) plactic monoid of degree 2 (infinite) . . . 88μs KnuthBendix 080: (fpsemi) example before Chapter 7, Proposit [...] . . . 53μs KnuthBendix 081: (fpsemi) Chapter 7, Theorem 3.6 in NR (size 243) . . . 1148μs KnuthBendix 082: (fpsemi) finite semigroup (size 99) . . . 357μs KnuthBendix 096: Sorouhesh . . . 495μs KnuthBendix 097: (fpsemi) transformation semigroup (size 4) . . . 67μs KnuthBendix 098: (fpsemi) transformation semigroup (size 9) . . . 64μs KnuthBendix 099: (fpsemi) transformation semigroup (size 88) . . . 926μs KnuthBendix 100: internal_string_to_word . . . 47μs KnuthBendix 101: (fpsemi) construct from shared_ptr . . . 1091μs KnuthBendix 102: internal_string_to_word . . . 1349μs KnuthBendix 103: (cong) free semigroup congruence (5 classes) . . . 94μs KnuthBendix 104: free semigroup congruence (6 classes) . . . 497μs KnuthBendix 105: (cong) free semigroup congruence (16 classes) . . . 629μs KnuthBendix 106: (cong) free semigroup congruence (6 classes) . . . 1016μs KnuthBendix 107: (cong) free semigroup congruence (240 classes) . . . 5603μs KnuthBendix 108: (cong) free semigroup congruence (240 classes) . . . 5003μs KnuthBendix 109: (cong) less . . . 6478μs KnuthBendix 110: (cong) less . . . 299ms KnuthBendix 111: (cong) constructors . . . 489ms KnuthBendix 112: (cong) const_contains/contains . . . 324μs KnuthBendix 113: (cong) is_quotient_obviously_finite . . . 32μs KnuthBendix 114: (cong) class_index_to_word . . . 349μs KnuthBendix 115: (cong) quotient_froidure_pin . . . 248μs KnuthBendix 116: (cong) set_number_of_generators . . . 41μs KnuthBendix 117: (cong) number of classes when obv-inf . . . 70μs KnuthBendixCongruenceByPairs 016: non-trivial congruence on [...] . . . 299μs KnuthBendixCongruenceByPairs 017: non-trivial congruence on [...] . . . 396μs KnuthBendixCongruenceByPairs 018: non-trivial congruence on [...] . . . 827μs KnuthBendixCongruenceByPairs 019: non-trivial congruence on [...] . . . 836μs KnuthBendixCongruenceByPairs 020: trivial congruence on a fi [...] . . . 346μs KnuthBendixCongruenceByPairs 021: universal congruence on a [...] . . . 935μs KnuthBendixCongruenceByPairs 022: left congruence on a finit [...] . . . 476μs KnuthBendixCongruenceByPairs 023: finite group, Chapter 11, [...] . . . 8549μs KnuthBendixCongruenceByPairs 024: right congruence on infini [...] . . . 635μs KnuthBendixCongruenceByPairs 025: finite fp semigroup, dihed [...] . . . 732μs KnuthBendixCongruenceByPairs 026: finite fp semigroup, size 16 . . . 776μs KnuthBendixCongruenceByPairs 027: finite fp semigroup, size 16 . . . 1913μs KnuthBendixCongruenceByPairs 028: infinite fp semigroup with [...] . . . 104μs Konieczny 000: test000> . . . 1255μs Konieczny 001: test000> . . . 1006μs Konieczny 002: test001> . . . 13ms Konieczny 003: test001> . . . 11ms Konieczny 006: exceptions . . . 62μs Konieczny 007: code coverage . . . 16ms Konieczny 008: code coverage . . . 13ms Konieczny 009: regular elements and idempotents . . . 221ms Konieczny 010: regular D-class 01 . . . 1127μs Konieczny 011: regular D-class 02 . . . 10ms Konieczny 012: regular D-class 04: contains . . . 29ms Konieczny 013: non-regular D-classes 01 . . . 1172μs Konieczny 014: RegularDClass . . . 714μs Konieczny 015: full bmat monoid 4 . . . 46ms Konieczny 017: regular generated bmat monoid 4 idempotents . . . 90ms Konieczny 019: my favourite example . . . 88ms Konieczny 020: another large example . . . 17ms Konieczny 021: my favourite example transposed . . . 74ms Konieczny 024: exceptions . . . 1370μs Konieczny 025: 0-parameter constructor . . . 19ms Konieczny 026: non-regular D-classes 02 . . . 11ms Konieczny 028: partial perm . . . 199ms Konieczny 029: symmetric inverse monoid n = 8 . . . 33ms Konieczny 030: exceptions . . . 241ms Konieczny 031: transformations . . . 1342μs Konieczny 032: transformations - JDM favourite example . . . 138ms Konieczny 033: transformations - large example . . . 313ms Konieczny 034: transformations - large example with stop . . . 318ms Konieczny 035: transformations - large example with run_until . . . 329ms Konieczny 036: transformations - large example with stop in Action . . . 347ms Konieczny 037: exceptions . . . 88μs Konieczny 038: transformations: contains . . . 979μs Konieczny 040: transformations - destructor coverage . . . 290ms Konieczny 041: current_number_D_classes . . . 272ms Konieczny 042: add_generator . . . 50μs Konieczny 043: add_generator . . . 35μs Matrix 000: BMat<2> . . . 98μs Matrix 001: BMat<> . . . 105μs Matrix 002: BMat<3> + BMat<> . . . 15μs Matrix 003: BMat<2> + BMat<> . . . 15μs Matrix 004: BMat<3> . . . 15μs Matrix 005: BMat<> . . . 18μs Matrix 006: BMat<3> row_basis . . . 49μs Matrix 007: BMat<> row_basis . . . 56μs Matrix 008: IntMat<3> . . . 18μs Matrix 009: IntMat<> . . . 23μs Matrix 010: IntMat code cov . . . 13μs Matrix 011: MaxPlusMat<3> . . . 16μs Matrix 012: MaxPlusMat<> . . . 18μs Matrix 013: MaxPlusMat code cov . . . 11μs Matrix 014: MinPlusMat<3> . . . 21μs Matrix 015: MinPlusMat<> . . . 24μs Matrix 016: MinPlusMat code cov . . . 11μs Matrix 017: MaxPlusTruncMat<5, 2> . . . 18μs Matrix 018: MaxPlusTruncMat<5> . . . 23μs Matrix 019: MaxPlusTruncMat<> . . . 41μs Matrix 020: MaxPlusTruncMat<5, 4> . . . 22μs Matrix 021: MaxPlusTruncMat<5> . . . 23μs Matrix 022: MaxPlusTruncMat<> . . . 23μs Matrix 023: MaxPlusTruncMat<33, 3> . . . 44μs Matrix 024: MaxPlusTruncMat<33> . . . 44μs Matrix 025: MaxPlusTruncMat<> . . . 44μs Matrix 026: MaxPlusMat code cov . . . 12μs Matrix 027: MinPlusTruncMat<33, 3> . . . 46μs Matrix 028: MinPlusTruncMat<33> . . . 58μs Matrix 029: MinPlusTruncMat<> . . . 62μs Matrix 030: NTPMat<0, 3, 3, 3> . . . 20μs Matrix 031: NTPMat<0, 3> . . . 21μs Matrix 032: NTPMat<> . . . 55μs Matrix 033: NTPMat<0, 10, 4, 4> . . . 31μs Matrix 034: NTPMat<0, 10> . . . 25μs Matrix 035: NTPMat<> . . . 25μs Matrix 036: NTPMat<0, 10, 4, 4> . . . 24μs Matrix 037: NTPMat<0, 10> . . . 22μs Matrix 038: NTPMat<> . . . 22μs Matrix 039: NTPMat<33, 2, 3, 3> . . . 20μs Matrix 040: NTPMat<33, 2> . . . 19μs Matrix 041: NTPMat<> . . . 17μs Matrix 042: ProjMaxPlusMat<3> . . . 139μs Matrix 043: ProjMaxPlusMat<> . . . 92μs Matrix 044: exceptions . . . 76μs Matrix 045: code coverage . . . 70μs MultiStringView 000: catch all . . . 40μs MultiStringView 001: is_prefix . . . 17μs MultiStringView 002: erase . . . 20μs MultiStringView 003: iterators . . . 15μs MultiStringView 004: constructors (long) . . . 23μs MultiStringView 005: constructors (short) . . . 18μs MultiStringView 006: copy assignment (short assigned to long) . . . 15μs MultiStringView 007: copy assignment (short assigned to short) . . . 15μs MultiStringView 008: move assignment (short assigned to long) . . . 16μs MultiStringView 009: move assignment (short assigned to short) . . . 15μs MultiStringView 010: code coverage . . . 25μs MultiStringView 011: pop_front . . . 45μs MultiStringView 012: append . . . 17μs MultiStringView 013: operators . . . 19μs MultiStringView 014: maximum_common_suffix . . . 16μs MultiStringView 015: deep tests . . . 12μs ObviouslyInfinite 011: Multiple rule additions . . . 44μs ObviouslyInfinite 012: A power of the generator 'b' does not [...] . . . 15μs ObviouslyInfinite 013: Preserves the number of occurrences o [...] . . . 15μs ObviouslyInfinite 014: Less relations than generators . . . 14μs ObviouslyInfinite 015: Relations preserve length . . . 16μs ObviouslyInfinite 016: Matrix has non empty kernel . . . 16μs ObviouslyInfinite 017: Free product of trivial semigroups . . . 14μs ObviouslyInfinite 018: Another free product . . . 17μs ObviouslyInfinite 019: Infinite but not obviously so . . . 16μs ObviouslyInfinite 020: Finite semigroup . . . 19μs PBR 001: universal product with convenience constructor . . . 55μs PBR 002: universal product . . . 24μs PBR 003: product [bigger than previous] . . . 30μs PBR 004: hash . . . 13μs PBR 005: delete/copy . . . 24μs PBR 006: exceptions . . . 285μs PBR 007: operators . . . 74μs PBR 008: to_string . . . 33μs PBR 009: identity . . . 49μs PBR 010: adapters . . . 12μs Pool 000: initial . . . 39μs Pool 001: bmat . . . 37μs Pool 002: PoolGuard . . . 34μs Pool 003: transformation products . . . 17μs Presentation 000: vectors of ints . . . 128μs Presentation 001: strings . . . 137μs Presentation 002: constructors (word_type) . . . 30μs Presentation 003: constructors (StaticVector1) . . . 30μs Presentation 004: constructors (std::string) . . . 25μs Presentation 005: alphabet + letters (word_type) . . . 213μs Presentation 006: alphabet + letters (std::string) . . . 70μs Presentation 007: contains_empty_word . . . 14μs Presentation 008: validate_rules throws . . . 87μs Presentation 009: helpers add_rule(s) . . . 174μs Presentation 010: helpers add_rule(s) (std::string) . . . 64μs Presentation 011: helpers add_identity_rules (std::vector/St [...] . . . 70μs Presentation 012: helpers add_identity_rules (std::string) . . . 40μs Presentation 013: helpers add_inverse_rules (all) . . . 370μs Presentation 014: helpers add_inverse_rules (std::string) . . . 22μs Presentation 015: helpers remove_duplicate_rules . . . 107μs Presentation 016: helpers reduce_complements . . . 198μs Presentation 017: helpers sort_each_rule . . . 112μs Presentation 018: helpers sort_rules . . . 116μs Presentation 019: helpers longest_common_subword/replace_subword . . . 229μs Presentation 020: helpers redundant_rule . . . 20ms Presentation 021: helpers shortlex_compare_concat . . . 12μs Presentation 022: helpers remove_trivial_rules . . . 102μs Presentation 023: helpers replace_subword (existing, replacement) . . . 57μs Presentation 024: helpers longest_rule . . . 203μs Presentation 025: helpers longest_rule_length . . . 187μs Presentation 026: helpers remove_redundant_generators . . . 163μs Presentation 027: helpers reverse . . . 23μs Presentation 028: in_alphabet . . . 28μs Presentation 029: replace_subword with empty word . . . 30μs Presentation 030: helpers replace_word . . . 43μs Presentation 031: clear . . . 12μs Presentation 032: letter . . . 51μs Presentation 033: normalize_alphabet . . . 16μs Presentation 034: longest_common_subword issue . . . 226μs Presentation 035: helpers add_zero_rules (std::vector/Static [...] . . . 64μs Presentation 036: helpers add_zero_rules (std::string) . . . 36μs Presentation 037: make_semigroup . . . 53μs Presentation 038: greedy_reduce_length . . . 157μs Presentation 040: change_alphabet . . . 104μs Presentation 042: first_unused_letter/letter . . . 224μs Race 001: run_for . . . 10ms Race 002: run_until . . . 10ms Race 003: exceptions . . . 10ms Race 004: iterators . . . 17μs Race 005: find_runner . . . 16μs Race 006: run_func . . . 25ms Race 007: run_func . . . 10ms Race 008: run_func . . . 10ms Runner 000: run_for . . . 10ms Runner 001: run_for . . . 1018μs Runner 002: run_for . . . 191ms Runner 003: run_for . . . 25ms Runner 004: started . . . 1026μs Runner 005: run_until . . . 111ms 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) . . . 16μs SchreierSims 002: trivial perm. group (degree 2) . . . 13μs SchreierSims 003: trivial perm. group (degree 500) . . . 49μs SchreierSims 004: symmetric perm. group (degree 5) . . . 22μs SchreierSims 005: symmetric perm. group (degree 8) . . . 40μs SchreierSims 006: symmetric perm. group (degree 9) . . . 56μs SchreierSims 007: alternating perm. group (degree 12) . . . 94μs SchreierSims 008: symmetric perm. group (degree 16) . . . 862μs SchreierSims 009: alternating perm. group (degree 15) . . . 437μs SchreierSims 010: alternating perm. group (degree 16) . . . 1005μs SchreierSims 011: dihedral perm. group (order 10) . . . 15μs SchreierSims 012: dihedral perm. group (order 200) . . . 515μs SchreierSims 013: perm. group T (order 12) . . . 17μs SchreierSims 014: quaternion perm. group (order 8) . . . 18μs SchreierSims 015: perm. group (order 84129611558952960) . . . 205ms SchreierSims 016: perm. group SL(3, 5) (order 372000) . . . 851μs SchreierSims 017: perm. group PSL(4, 8) (order 34558531338240) . . . 82ms SchreierSims 018: perm. Mathieu group M11 (order 7920) . . . 78μs SchreierSims 019: perm. Mathieu group M24 (order 244823040) . . . 197μs SchreierSims 020: perm. Janko Group J1 (order 175560) . . . 1652μs SchreierSims 021: perm. Hall-Janko group (order 604800) . . . 268μs SchreierSims 022: perm. Hall-Janko group (alt.) (order 604800) . . . 19ms SchreierSims 023: perm. Conway group Co3 (order 495766656000) . . . 5830μ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) . . . 128ms SchreierSims 028: perm. group C2 x C2 x C2 (order 8) . . . 29μs SchreierSims 029: perm. group C2 x C2 x C2 x C2 (order 16) . . . 39μs SchreierSims 030: perm. group (S5 x S5) : C2 (order 28800) . . . 71μs SchreierSims 031: perm. group C3 x D8 x A5 (order 1440) . . . 71μs SchreierSims 032: perm. group GL(4, 3) (order 24261120) . . . 652μs SchreierSims 033: perm. group PSL(3, 7) (order 1876896) . . . 690μs SchreierSims 037: symmetric perm. group (degree 5) . . . 32μs SchreierSims 038: alternating perm. group (degree 17) . . . 5866μs SchreierSims 039: exceptions . . . 179μs SchreierSims 040: exceptions . . . 102μs SchreierSims 041: trivial group . . . 62μs SchreierSims 042: A17 bug . . . 5153μs SchreierSims 043: orbits_lookup test . . . 631μs SchreierSims 044: transversal_element and inversal_element test . . . 3120μs SchreierSimsHelper 001: trivial perm. group intersection (de [...] . . . 17μs SchreierSimsHelper 002: trivial perm. group intersection (de [...] . . . 23μs SchreierSimsHelper 003: cyclic group intersection (degree 13) . . . 35μs SchreierSimsHelper 004: D10 and Z5 intersection . . . 37μs SchreierSimsHelper 005: D8 and Q8 intersection . . . 36μs SchreierSimsHelper 006: primitive on 8 points intersection . . . 111μs SchreierSimsHelper 007: primitive on 8 points intersection ( [...] . . . 108μs SchreierSimsHelper 008: A13 and PGL(2, 11) intersection . . . 1016μs SchreierSimsHelper 009: A13 and PGL(2, 11) intersection (swa [...] . . . 1003μs SchreierSimsHelper 012: 3^3:13 and 3^3.2.A(4) intersection . . . 176μs SchreierSimsHelper 015: 3^3(S(4) x 2) and ASL(3, 3) intersection . . . 359μs SchreierSimsHelper 016: 7^2:3 x Q(8) and 7^2:D(2*6) intersection . . . 395μs SchreierSimsHelper 018: D(2*53) and 53:13 intersection . . . 226μs SchreierSimsHelper 019: 2^6:(7 x D_14) and PSL(2, 6)^2.4 int [...] . . . 1542μs SchreierSimsHelper 020: 2^6:(S_3 x GL(3, 2)) and 2.6:Alt(7) [...] . . . 4696μs SchreierSimsHelper 022: PSL(2, 127) and AGL(1, 2^7) intersection . . . 10ms SchreierSimsHelper 023: PSL(3, 4).2 and PSL(3, 4).2 (nontriv [...] . . . 1694μs SchreierSimsHelper 024: PSL(3, 4).Sym(3) and PSL(3, 4).2 int [...] . . . 2056μs SchreierSimsHelper 025: 3^4:5:4 and D_16:4 intersection . . . 1137μs Sims1 000: fp example 1 . . . 1074μs Sims1 001: fp example 2 . . . 2713μs Sims1 002: ToddCoxeter failing example . . . 26ms Sims1 003: ToddCoxeter failing example . . . 1076μs Sims1 004: partition_monoid(2) right . . . 8695μs Sims1 006: full_transformation_monoid(3) right . . . 10ms Sims1 007: full_transformation_monoid(3) left . . . 5752μs Sims1 009: rook_monoid(2, 1) . . . 131μs Sims1 010: symmetric_inverse_monoid(2) from FroidurePin . . . 127μs Sims1 011: symmetric_inverse_monoid(3) . . . 10ms Sims1 014: temperley_lieb_monoid(3) from presentation . . . 100μs Sims1 015: temperley_lieb_monoid(4) from presentation . . . 1202μs Sims1 016: fp semigroup containing given pairs #1 . . . 445μs Sims1 017: fp semigroup containing given pairs #2 . . . 455μs Sims1 018: fp semigroup containing given pairs #3 . . . 800μs Sims1 019: ToddCoxeter failing example . . . 1277μs Sims1 020: fp example 2 . . . 3038μs Sims1 021: exceptions . . . 455μs Sims1 027: from https://mathoverflow.net/questions/423541/ . . . 44ms Sims1 028: from https://mathoverflow.net/questions/423541/ . . . 34ms Sims1 030: presentation with one free generator . . . 345μs Sims1 031: presentation with non-zero index generators . . . 79μs Sims1 032: presentation with empty word . . . 15ms Sims1 033: constructors . . . 2066μs Sims1 034: split_at . . . 383μs Sims1 035: stats . . . 116μs Sims1 036: check iterator requirements . . . 193μs Sims1 040: TransitiveGroup(10, 32) - minimal rep . . . 4394μs Sims1 043: rectangular_band(2, 2) - with and without identity . . . 273μs Sims1 044: trivial group - minimal o.r.c. rep . . . 123μs Sims1 045: right zero semigroup - minimal o.r.c. rep . . . 2774μs Sims1 046: semigroup with faithful non-strictly cyclic actio [...] . . . 849μs Sims1 068: RepOrc . . . 24ms Sims1 069: fp example 1 . . . 877μ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 5385μs (983ns 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 . . . 5454μs Sims1 072: symmetric_group(n) for n = 4 . . . 1651μs Sims1 073: corner case no generators + no relations . . . 167μs Sims1 076: uninitialized RepOrc . . . 30μs SmallestInteger 001: . . . 15μs StaticTriVector2 045: all . . . 23μs StaticVector2 043: all . . . 21μs Stephen 000: basic test 1 . . . 282μs Stephen 001: basic test 2 . . . 192μs Stephen 002: full transf monoid . . . 15ms Stephen 003: from step_hen 002 . . . 97μs Stephen 004: from step_hen 003 . . . 262μs Stephen 005: from step_hen 004 . . . 53μs Stephen 006: from step_hen 005 . . . 168μs Stephen 008: C(4) monoid normal form (test_case_knuth_bendix_055) . . . 233μs Stephen 009: C(4) monoid normal form (test_case_gap_smallove [...] . . . 167μs #0: Stephen: ------------------------------------------------------------ #0: Stephen: nodes | defined | killed | diff | #0: Stephen: ------------------------------------------------------------ #0: Stephen: 13 | +25 | -12 | +13 | (0s) #0: Stephen: 13 | +0 | -0 | +0 | (0s) Stephen 010: code coverage . . . 281μs Stephen 011: C(4) monoid normal form (test_case_gap_smallove [...] . . . 546μs Stephen 012: C(4) monoid normal form (test_case_gap_smallove [...] . . . 371μs Stephen 013: C(4) monoid equal to (test_case_gap_smalloverlap_70) . . . 159μs Stephen 014: C(4) monoid normal form (test_case_ex_3_13_14) . . . 748μs Stephen 015: C(4) monoid normal form (test_case_ex_3_15) . . . 1000μs Stephen 016: C(4) monoid normal form (test_case_ex_3_16) . . . 603μs Stephen 017: C(4) monoid normal form (test_case_mt_3) . . . 290μs Stephen 018: C(4) monoid normal form (test_case_mt_5) . . . 198μs Stephen 019: C(4) monoid normal form (test_case_mt_6) . . . 555μs Stephen 020: C(4) monoid normal form (test_case_mt_10) . . . 191μs Stephen 021: C(4) monoid normal form (test_case_mt_13) . . . 182μs Stephen 022: C(4) monoid normal form (test_case_mt_14) . . . 183μs Stephen 023: C(4) monoid normal form (test_case_mt_15) . . . 188μs Stephen 024: C(4) monoid normal form (test_case_mt_16) . . . 190μs Stephen 025: C(4) monoid normal form (test_case_mt_17) . . . 513μs Stephen 026: C(4) monoid normal form (test_case_weak_1) . . . 724μs Stephen 027: C(4) monoid normal form (test_case_weak_2) . . . 349μs Stephen 028: C(4) monoid normal form (test_case_weak_3) . . . 354μs Stephen 029: C(4) monoid normal form (test_case_weak_4) . . . 353μs Stephen 030: C(4) monoid normal form (test_case_weak_5) . . . 191μs Stephen 031: Test behaviour when uninitialised . . . 554μs Suf 005: unite . . . 28μs Suf 007: compress . . . 16μs Suf 011: big chain . . . 24ms Suf 013: empty table . . . 12μs Suf 015: join . . . 15μs Suf 017: contains . . . 35μs Suf 019: swap . . . 39μs SuffixTree 000: basic tests . . . 102ms SuffixTree 001: maximal_piece_prefix 1 . . . 37μs SuffixTree 002: maximal_piece_prefix 2 . . . 31μs SuffixTree 003: maximal_piece_prefix 3 . . . 305μs SuffixTree 004: number_of_pieces . . . 44μs SuffixTree 005: traverse . . . 22μs SuffixTree 006: tikz . . . 749μs SuffixTree 007: strings . . . 186μ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 . . . 98μs SuffixTree 016: dfs #08 . . . 77μs SuffixTree 017: dfs #09 . . . 96μs SuffixTree 018: dfs #10 . . . 33μs Timer 001: string method (1 argument) . . . 43μs Timer 002: string method (0 arguments) . . . 10ms Timer 003: reset/elapsed method . . . 20ms Timer 004: operator<< . . . 22μs ToddCoxeter 000: small 2-sided congruence . . .  -- with HLT + no standardise + full lookahead + no save 2280μs  -- with HLT + standardise + full lookahead + no save 2219μs  -- with HLT + no standardise + partial lookahead + no save 2161μs  -- with HLT + standardise + partial lookahead + no save 2201μs  -- with HLT + no standardise + full lookahead + save 2228μs  -- with HLT + standardise + full lookahead + save 2219μs  -- with HLT + no standardise + partial lookahead + save 2218μs  -- with HLT + standardise + partial lookahead + save 1862μs  -- with Felsch + no standardisation 1738μs  -- with Felsch + standardisation 1702μs  -- with random strategy 1758μs  -- with Rc style + full lookahead 1749μs  -- with Rc style + partial lookahead 1794μs  -- with R/C style 1810μs  -- with CR style 1782μs  -- with Cr style 1788μs ToddCoxeter 001: small 2-sided congruence . . .  -- with HLT + no standardise + full lookahead + no save 6876μs  -- with HLT + standardise + full lookahead + no save 6812μs  -- with HLT + no standardise + partial lookahead + no save 5586μs  -- with HLT + standardise + partial lookahead + no save 5445μs  -- with HLT + no standardise + full lookahead + save 5465μs  -- with HLT + standardise + full lookahead + save 5477μs  -- with HLT + no standardise + partial lookahead + save 5461μs  -- with HLT + standardise + partial lookahead + save 5472μs  -- with Felsch + no standardisation 5751μs  -- with Felsch + standardisation 5847μs  -- with random strategy 5842μs  -- with Rc style + full lookahead 5840μs  -- with Rc style + partial lookahead 5865μs  -- with R/C style 5844μs  -- with CR style 5863μs  -- with Cr style 5842μs ToddCoxeter 003: constructed from FroidurePin . . .  -- with Felsch + no standardisation 262ms  -- with Felsch + standardisation 260ms  -- with HLT + no standardise + full lookahead + no save 79ms  -- with HLT + standardise + full lookahead + no save 77ms  -- with HLT + no standardise + partial lookahead + no save 70ms  -- with HLT + standardise + partial lookahead + no save 68ms  -- with HLT + no standardise + full lookahead + save 252ms  -- with HLT + standardise + full lookahead + save 255ms  -- with HLT + no standardise + partial lookahead + save 240ms  -- with HLT + standardise + partial lookahead + save 235ms  -- with random strategy 231ms  -- with Rc style + full lookahead 228ms  -- with Rc style + partial lookahead 228ms  -- with R/C style 75ms  -- with CR style 228ms  -- with Cr style 235ms ToddCoxeter 004: 2-sided congruence from FroidurePin . . .  -- with HLT + no standardise + full lookahead + no save 306μs  -- with HLT + standardise + full lookahead + no save 271μs  -- with HLT + no standardise + partial lookahead + no save 281μs  -- with HLT + standardise + partial lookahead + no save 267μs  -- with HLT + save (throws) 300μs  -- with Felsch (throws) 284μs  -- with random strategy 297μs ToddCoxeter 005: non-trivial two-sided from relations . . .  -- with HLT + no standardise + full lookahead + no save 101μs  -- with HLT + standardise + full lookahead + no save 86μs  -- with HLT + no standardise + partial lookahead + no save 85μs  -- with HLT + standardise + partial lookahead + no save 84μs  -- with HLT + no standardise + full lookahead + save 99μs  -- with HLT + standardise + full lookahead + save 97μs  -- with HLT + no standardise + partial lookahead + save 95μs  -- with HLT + standardise + partial lookahead + save 95μs  -- with Felsch + no standardisation 86μs  -- with Felsch + standardisation 85μs  -- with random strategy 95μs  -- with Rc style + full lookahead 86μs  -- with Rc style + partial lookahead 88μs  -- with R/C style 90μs  -- with CR style 88μs  -- with Cr style 88μs ToddCoxeter 006: small right cong. on free semigroup . . .  -- with HLT + no standardise + full lookahead + no save 69μs  -- with HLT + standardise + full lookahead + no save 62μs  -- with HLT + no standardise + partial lookahead + no save 60μs  -- with HLT + standardise + partial lookahead + no save 62μs  -- with HLT + no standardise + full lookahead + save 66μs  -- with HLT + standardise + full lookahead + save 66μs  -- with HLT + no standardise + partial lookahead + save 64μs  -- with HLT + standardise + partial lookahead + save 66μs  -- with Felsch + no standardisation 64μs  -- with Felsch + standardisation 66μs  -- with random strategy 76μs  -- with Rc style + full lookahead 66μs  -- with Rc style + partial lookahead 64μs  -- with R/C style 69μs  -- with CR style 70μs  -- with Cr style 68μs ToddCoxeter 007: left cong. on free semigroup . . .  -- with HLT + no standardise + full lookahead + no save 76μs  -- with HLT + standardise + full lookahead + no save 69μs  -- with HLT + no standardise + partial lookahead + no save 68μs  -- with HLT + standardise + partial lookahead + no save 69μs  -- with HLT + no standardise + full lookahead + save 73μs  -- with HLT + standardise + full lookahead + save 73μs  -- with HLT + no standardise + partial lookahead + save 74μs  -- with HLT + standardise + partial lookahead + save 73μs  -- with Felsch + no standardisation 72μs  -- with Felsch + standardisation 76μs  -- with random strategy 86μs  -- with Rc style + full lookahead 77μs  -- with Rc style + partial lookahead 76μs  -- with R/C style 81μs  -- with CR style 80μs  -- with Cr style 80μs ToddCoxeter 008: for small fp semigroup . . .  -- with HLT + no standardise + full lookahead + no save 67μs  -- with HLT + standardise + full lookahead + no save 62μs  -- with HLT + no standardise + partial lookahead + no save 60μs  -- with HLT + standardise + partial lookahead + no save 63μs  -- with HLT + no standardise + full lookahead + save 67μs  -- with HLT + standardise + full lookahead + save 66μs  -- with HLT + no standardise + partial lookahead + save 66μs  -- with HLT + standardise + partial lookahead + save 64μs  -- with Felsch + no standardisation 64μs  -- with Felsch + standardisation 64μs  -- with random strategy 78μs  -- with Rc style + full lookahead 69μs  -- with Rc style + partial lookahead 68μs  -- with R/C style 72μs  -- with CR style 72μs  -- with Cr style 73μs ToddCoxeter 009: 2-sided cong. trans. semigroup . . .  -- with HLT + no standardise + full lookahead + no save 329μs  -- with HLT + standardise + full lookahead + no save 315μs  -- with HLT + no standardise + partial lookahead + no save 309μs  -- with HLT + standardise + partial lookahead + no save 309μs  -- with HLT + no standardise + full lookahead + save 738μs  -- with HLT + standardise + full lookahead + save 725μs  -- with HLT + no standardise + partial lookahead + save 722μs  -- with HLT + standardise + partial lookahead + save 719μs  -- with Felsch + no standardisation 700μs  -- with Felsch + standardisation 684μs  -- with random strategy 352μs  -- with Rc style + full lookahead 334μs  -- with Rc style + partial lookahead 331μs  -- with R/C style 355μs  -- with CR style 710μs  -- with Cr style 705μs ToddCoxeter 010: left congruence on transformation semigroup . . .  -- with HLT + no standardise + full lookahead + no save 363μs  -- with HLT + standardise + full lookahead + no save 367μs  -- with HLT + no standardise + partial lookahead + no save 356μs  -- with HLT + standardise + partial lookahead + no save 368μs  -- with HLT + no standardise + full lookahead + save 833μs  -- with HLT + standardise + full lookahead + save 829μs  -- with HLT + no standardise + partial lookahead + save 813μs  -- with HLT + standardise + partial lookahead + save 828μs  -- with Felsch + no standardisation 730μs  -- with Felsch + standardisation 709μs  -- with random strategy 947μs  -- with Rc style + full lookahead 435μs  -- with Rc style + partial lookahead 441μs  -- with R/C style 509μs  -- with CR style 823μs  -- with Cr style 804μs ToddCoxeter 011: right cong. trans. semigroup . . .  -- with HLT + no standardise + full lookahead + no save 376μs  -- with HLT + standardise + full lookahead + no save 377μs  -- with HLT + no standardise + partial lookahead + no save 363μs  -- with HLT + standardise + partial lookahead + no save 374μs  -- with HLT + no standardise + full lookahead + save 809μs  -- with HLT + standardise + full lookahead + save 810μs  -- with HLT + no standardise + partial lookahead + save 792μs  -- with HLT + standardise + partial lookahead + save 820μs  -- with Felsch + no standardisation 643μs  -- with Felsch + standardisation 666μs  -- with random strategy 499μs  -- with Rc style + full lookahead 442μs  -- with Rc style + partial lookahead 439μs  -- with R/C style 508μs  -- with CR style 707μs  -- with Cr style 702μs ToddCoxeter 012: trans. semigroup (size 88) . . .  -- with HLT + no standardise + full lookahead + no save 212μs  -- with HLT + standardise + full lookahead + no save 208μs  -- with HLT + no standardise + partial lookahead + no save 204μs  -- with HLT + standardise + partial lookahead + no save 204μs  -- with HLT + save (throws) 231μs  -- with Felsch (throws) 221μs  -- with random strategy 255μs ToddCoxeter 013: left cong. on trans. semigroup (size 88) . . .  -- with HLT + no standardise + full lookahead + no save 308μs  -- with HLT + standardise + full lookahead + no save 318μs  -- with HLT + no standardise + partial lookahead + no save 306μs  -- with HLT + standardise + partial lookahead + no save 316μs  -- with HLT + no standardise + full lookahead + save 784μs  -- with HLT + standardise + full lookahead + save 773μs  -- with HLT + no standardise + partial lookahead + save 755μs  -- with HLT + standardise + partial lookahead + save 745μs  -- with Felsch + no standardisation 654μs  -- with Felsch + standardisation 629μs  -- with random strategy 409μs  -- with Rc style + full lookahead 359μs  -- with Rc style + partial lookahead 359μs  -- with R/C style 426μs  -- with CR style 715μs  -- with Cr style 711μs ToddCoxeter 014: right cong. on trans. semigroup (size 88) . . .  -- with HLT + no standardise + full lookahead + no save 305μs  -- with HLT + standardise + full lookahead + no save 309μs  -- with HLT + no standardise + partial lookahead + no save 297μs  -- with HLT + standardise + partial lookahead + no save 305μs  -- with HLT + no standardise + full lookahead + save 725μs  -- with HLT + standardise + full lookahead + save 724μs  -- with HLT + no standardise + partial lookahead + save 708μs  -- with HLT + standardise + partial lookahead + save 715μs  -- with Felsch + no standardisation 574μs  -- with Felsch + standardisation 585μs  -- with random strategy 421μs  -- with Rc style + full lookahead 366μs  -- with Rc style + partial lookahead 365μs  -- with R/C style 436μs  -- with CR style 624μs  -- with Cr style 619μs ToddCoxeter 015: finite fp-semigroup, dihedral group of order 6 . . .  -- with HLT + no standardise + full lookahead + no save 133μs  -- with HLT + standardise + full lookahead + no save 128μs  -- with HLT + no standardise + partial lookahead + no save 120μs  -- with HLT + standardise + partial lookahead + no save 126μs  -- with HLT + no standardise + full lookahead + save 144μs  -- with HLT + standardise + full lookahead + save 140μs  -- with HLT + no standardise + partial lookahead + save 138μs  -- with HLT + standardise + partial lookahead + save 139μs  -- with Felsch + no standardisation 125μs  -- with Felsch + standardisation 124μs  -- with random strategy 141μs  -- with Rc style + full lookahead 127μs  -- with Rc style + partial lookahead 125μs  -- with R/C style 129μs  -- with CR style 128μs  -- with Cr style 129μs ToddCoxeter 016: finite fp-semigroup, size 16 . . .  -- with HLT + no standardise + full lookahead + no save 142μs  -- with HLT + standardise + full lookahead + no save 138μs  -- with HLT + no standardise + partial lookahead + no save 134μs  -- with HLT + standardise + partial lookahead + no save 136μs  -- with HLT + no standardise + full lookahead + save 239μs  -- with HLT + standardise + full lookahead + save 240μs  -- with HLT + no standardise + partial lookahead + save 232μs  -- with HLT + standardise + partial lookahead + save 235μs  -- with Felsch + no standardisation 214μs  -- with Felsch + standardisation 209μs  -- with random strategy 246μs  -- with Rc style + full lookahead 148μs  -- with Rc style + partial lookahead 146μs  -- with R/C style 161μs  -- with CR style 221μs  -- with Cr style 221μs ToddCoxeter 017: finite fp-semigroup, size 16 . . .  -- with HLT + no standardise + full lookahead + no save 184μs  -- with HLT + standardise + full lookahead + no save 175μs  -- with HLT + no standardise + partial lookahead + no save 167μs  -- with HLT + standardise + partial lookahead + no save 171μs  -- with HLT + no standardise + full lookahead + save 396μs  -- with HLT + standardise + full lookahead + save 391μs  -- with HLT + no standardise + partial lookahead + save 382μs  -- with HLT + standardise + partial lookahead + save 389μs  -- with Felsch + no standardisation 330μs  -- with Felsch + standardisation 323μs  -- with random strategy 368μs  -- with Rc style + full lookahead 186μs  -- with Rc style + partial lookahead 183μs  -- with R/C style 198μs  -- with CR style 338μs  -- with Cr style 336μs ToddCoxeter 018: test lookahead . . .  -- with HLT + no standardise + full lookahead + no save 672μs  -- with HLT + standardise + full lookahead + no save 669μs  -- with HLT + no standardise + partial lookahead + no save 613μs  -- with HLT + standardise + partial lookahead + no save 622μs  -- with HLT + no standardise + full lookahead + save 794μs  -- with HLT + standardise + full lookahead + save 792μs  -- with HLT + no standardise + partial lookahead + save 773μs  -- with HLT + standardise + partial lookahead + save 785μs ToddCoxeter 019: non-trivial left cong. from semigroup . . .  -- with HLT + no standardise + full lookahead + no save 211μs  -- with HLT + standardise + full lookahead + no save 224μs  -- with HLT + no standardise + partial lookahead + no save 204μs  -- with HLT + standardise + partial lookahead + no save 210μs  -- with HLT + save (throws) 226μs  -- with Felsch (throws) 222μs  -- with random strategy 300μs ToddCoxeter 020: 2-sided cong. on free semigroup . . .  -- with HLT + no standardise + full lookahead + no save 39μs  -- with HLT + standardise + full lookahead + no save 33μs  -- with HLT + no standardise + partial lookahead + no save 34μs  -- with HLT + standardise + partial lookahead + no save 34μs  -- with HLT + no standardise + full lookahead + save 32μs  -- with HLT + standardise + full lookahead + save 32μs  -- with HLT + no standardise + partial lookahead + save 32μs  -- with HLT + standardise + partial lookahead + save 32μs  -- with Felsch + no standardisation 32μs  -- with Felsch + standardisation 32μs  -- with random strategy 31μs ToddCoxeter 021: calling run when obviously infinite . . .  -- with HLT + no standardise + full lookahead + no save 84μs  -- with HLT + standardise + full lookahead + no save 75μs  -- with HLT + no standardise + partial lookahead + no save 74μs  -- with HLT + standardise + partial lookahead + no save 74μs  -- with HLT + no standardise + full lookahead + save 73μs  -- with HLT + standardise + full lookahead + save 74μs  -- with HLT + no standardise + partial lookahead + save 73μs  -- with HLT + standardise + partial lookahead + save 75μs  -- with Felsch + no standardisation 73μs  -- with Felsch + standardisation 76μs  -- with random strategy 74μs ToddCoxeter 022: stellar_monoid S3 . . .  -- with HLT + no standardise + full lookahead + no save 189μs  -- with HLT + standardise + full lookahead + no save 181μs  -- with HLT + no standardise + partial lookahead + no save 172μs  -- with HLT + standardise + partial lookahead + no save 178μs  -- with HLT + no standardise + full lookahead + save 320μs  -- with HLT + standardise + full lookahead + save 318μs  -- with HLT + no standardise + partial lookahead + save 310μs  -- with HLT + standardise + partial lookahead + save 313μs  -- with Felsch + no standardisation 277μs  -- with Felsch + standardisation 269μs  -- with random strategy 316μs  -- with Rc style + full lookahead 198μs  -- with Rc style + partial lookahead 196μs  -- with R/C style 220μs  -- with CR style 291μs  -- with Cr style 290μs ToddCoxeter 023: finite semigroup (size 5) . . .  -- with HLT + no standardise + full lookahead + no save 63μs  -- with HLT + standardise + full lookahead + no save 56μs  -- with HLT + no standardise + partial lookahead + no save 55μs  -- with HLT + standardise + partial lookahead + no save 56μs  -- with HLT + no standardise + full lookahead + save 61μs  -- with HLT + standardise + full lookahead + save 60μs  -- with HLT + no standardise + partial lookahead + save 60μs  -- with HLT + standardise + partial lookahead + save 60μs  -- with Felsch + no standardisation 59μs  -- with Felsch + standardisation 61μs  -- with random strategy 68μs  -- with Rc style + full lookahead 61μs  -- with Rc style + partial lookahead 60μs  -- with R/C style 64μs  -- with CR style 64μs  -- with Cr style 63μ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 287μs  -- with HLT + standardise + partial lookahead + no save 286μs  -- with HLT + no standardise + full lookahead + save 289μs  -- with HLT + standardise + full lookahead + save 289μs  -- with HLT + no standardise + partial lookahead + save 300μs  -- with HLT + standardise + partial lookahead + save 289μs  -- with Felsch + no standardisation 287μs  -- with Felsch + standardisation 291μs  -- with random strategy 293μs  -- with Rc style + full lookahead 287μs  -- with Rc style + partial lookahead 287μs  -- with R/C style 290μs  -- with CR style 289μs  -- with Cr style 290μs ToddCoxeter 025: obviously infinite . . .  -- with HLT + no standardise + full lookahead + no save 80μs  -- with HLT + standardise + full lookahead + no save 75μs  -- with HLT + no standardise + partial lookahead + no save 74μs  -- with HLT + standardise + partial lookahead + no save 74μs  -- with HLT + no standardise + full lookahead + save 75μs  -- with HLT + standardise + full lookahead + save 74μs  -- with HLT + no standardise + partial lookahead + save 74μs  -- with HLT + standardise + partial lookahead + save 74μs  -- with Felsch + no standardisation 74μs  -- with Felsch + standardisation 74μs  -- with random strategy 74μs ToddCoxeter 026: exceptions . . .  -- with HLT + no standardise + full lookahead + no save 180μs  -- with HLT + standardise + full lookahead + no save 168μs  -- with HLT + no standardise + partial lookahead + no save 166μs  -- with HLT + standardise + partial lookahead + no save 166μs  -- with HLT + no standardise + full lookahead + save 174μs  -- with HLT + standardise + full lookahead + save 173μs  -- with HLT + no standardise + partial lookahead + save 171μs  -- with HLT + standardise + partial lookahead + save 172μs  -- with Felsch + no standardisation 169μs  -- with Felsch + standardisation 172μs  -- with random strategy 181μs  -- with Rc style + full lookahead 171μs  -- with Rc style + partial lookahead 171μs  -- with R/C style 176μs  -- with CR style 174μs  -- with Cr style 176μs ToddCoxeter 027: empty . . . 43μs ToddCoxeter 028: congruence of fpsemigroup::ToddCoxeter . . .  -- with HLT + no standardise + full lookahead + no save 230μs  -- with HLT + standardise + full lookahead + no save 212μs  -- with HLT + no standardise + partial lookahead + no save 209μs  -- with HLT + standardise + partial lookahead + no save 210μs  -- with HLT + save (throws) 230μs  -- with Felsch (throws) 224μs  -- with random strategy 229μs  -- with HLT + no standardise + full lookahead + save 211μs  -- with HLT + standardise + full lookahead + save 213μs  -- with HLT + no standardise + partial lookahead + save 211μs  -- with HLT + standardise + partial lookahead + save 210μs  -- with Felsch + no standardisation 210μs  -- with Felsch + standardisation 210μs  -- with Rc style + full lookahead 204μs  -- with Rc style + partial lookahead 224μs  -- with R/C style 215μs  -- with CR style 214μs  -- with Cr style 210μs ToddCoxeter 029: !KnuthBendix.started() . . .  -- with HLT + no standardise + full lookahead + no save and 2-sided 106μs  -- with HLT + standardise + full lookahead + no save and 2-sided 92μs  -- with HLT + no standardise + partial lookahead + no save and 2-sided 89μs  -- with HLT + standardise + partial lookahead + no save and 2-sided 88μs  -- with HLT + no standardise + full lookahead + save and 2-sided 93μs  -- with HLT + standardise + full lookahead + save and 2-sided 95μs  -- with HLT + no standardise + partial lookahead + save and 2-sided 92μs  -- with HLT + standardise + partial lookahead + save and 2-sided 90μs  -- with Felsch + no standardisation and 2-sided 88μs  -- with Felsch + standardisation and 2-sided 86μs  -- with random strategy and 2-sided 94μs  -- with HLT + no standardise + full lookahead + no save and left 91μs  -- with HLT + standardise + full lookahead + no save and left 88μs  -- with HLT + no standardise + partial lookahead + no save and left 84μs  -- with HLT + standardise + partial lookahead + no save and left 84μs  -- with HLT + no standardise + full lookahead + save and left 95μs  -- with HLT + standardise + full lookahead + save and left 95μs  -- with HLT + no standardise + partial lookahead + save and left 94μs  -- with HLT + standardise + partial lookahead + save and left 94μs  -- with Felsch + no standardisation and left 92μs  -- with Felsch + standardisation and left 93μ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 84μ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 94μ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 93μs  -- with Felsch + standardisation and right 92μs  -- with random strategy and right 100μs ToddCoxeter 030: KnuthBendix.finished() . . .  -- with HLT + no standardise + full lookahead + no save and 2-sided 209μs  -- with HLT + standardise + full lookahead + no save and 2-sided 188μs  -- with HLT + no standardise + partial lookahead + no save and 2-sided 185μs  -- with HLT + standardise + partial lookahead + no save and 2-sided 183μs  -- with HLT + no standardise + full lookahead + save and 2-sided 188μs  -- with HLT + standardise + full lookahead + save and 2-sided 190μs  -- with HLT + no standardise + partial lookahead + save and 2-sided 187μs  -- with HLT + standardise + partial lookahead + save and 2-sided 186μs  -- with Felsch + no standardisation and 2-sided 177μs  -- with Felsch + standardisation and 2-sided 179μs  -- with random strategy and 2-sided 192μs  -- with HLT + no standardise + full lookahead + no save and left 203μs  -- with HLT + standardise + full lookahead + no save and left 196μs  -- with HLT + no standardise + partial lookahead + no save and left 196μs  -- with HLT + standardise + partial lookahead + no save and left 194μs  -- with HLT + no standardise + full lookahead + save and left 206μs  -- with HLT + standardise + full lookahead + save and left 205μs  -- with HLT + no standardise + partial lookahead + save and left 206μs  -- with HLT + standardise + partial lookahead + save and left 205μs  -- with Felsch + no standardisation and left 201μs  -- with Felsch + standardisation and left 200μs  -- with random strategy and left 212μs  -- with HLT + no standardise + full lookahead + no save and right 199μs  -- with HLT + standardise + full lookahead + no save and right 200μs  -- with HLT + no standardise + partial lookahead + no save and right 195μs  -- with HLT + standardise + partial lookahead + no save and right 197μs  -- with HLT + no standardise + full lookahead + save and right 205μs  -- with HLT + standardise + full lookahead + save and right 205μs  -- with HLT + no standardise + partial lookahead + save and right 206μs  -- with HLT + standardise + partial lookahead + save and right 206μs  -- with Felsch + no standardisation and right 201μs  -- with Felsch + standardisation and right 201μs  -- with random strategy and right 217μs ToddCoxeter 031: KnuthBendix.finished() . . .  -- with HLT + no standardise + full lookahead + no save and 2-sided 147μs  -- with HLT + standardise + full lookahead + no save and 2-sided 135μs  -- with HLT + no standardise + partial lookahead + no save and 2-sided 133μs  -- with HLT + standardise + partial lookahead + no save and 2-sided 134μ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 135μs  -- with Felsch + no standardisation and 2-sided 128μs  -- with Felsch + standardisation and 2-sided 127μs  -- with random strategy and 2-sided 142μs  -- with Rc style + full lookahead and 2-sided 141μs  -- with Rc style + partial lookahead and 2-sided 140μs  -- with R/C style and 2-sided 135μs  -- with CR style and 2-sided 136μs  -- with Cr style and 2-sided 140μs  -- with HLT + no standardise + full lookahead + no save and left 149μs  -- with HLT + standardise + full lookahead + no save and left 144μs  -- with HLT + no standardise + partial lookahead + no save and left 144μs  -- with HLT + standardise + partial lookahead + no save and left 143μs  -- with HLT + no standardise + full lookahead + save and left 153μs  -- with HLT + standardise + full lookahead + save and left 158μs  -- with HLT + no standardise + partial lookahead + save and left 157μs  -- with HLT + standardise + partial lookahead + save and left 157μs  -- with Felsch + no standardisation and left 149μs  -- with Felsch + standardisation and left 152μs  -- with random strategy and left 168μs  -- with Rc style + full lookahead and left 154μs  -- with Rc style + partial lookahead and left 153μs  -- with R/C style and left 147μs  -- with CR style and left 154μs  -- with Cr style and left 162μs  -- with HLT + no standardise + full lookahead + no save and right 148μs  -- with HLT + standardise + full lookahead + no save and right 144μs  -- with HLT + no standardise + partial lookahead + no save and right 144μs  -- with HLT + standardise + partial lookahead + no save and right 144μs  -- with HLT + no standardise + full lookahead + save and right 154μs  -- with HLT + standardise + full lookahead + save and right 156μs  -- with HLT + no standardise + partial lookahead + save and right 154μs  -- with HLT + standardise + partial lookahead + save and right 154μs  -- with Felsch + no standardisation and right 150μs  -- with Felsch + standardisation and right 150μs  -- with random strategy and right 167μs  -- with Rc style + full lookahead and right 155μs  -- with Rc style + partial lookahead and right 155μs  -- with R/C style and right 148μs  -- with CR style and right 156μs  -- with Cr style and right 162μs ToddCoxeter 032: prefill . . . 326μs ToddCoxeter 033: congruence of ToddCoxeter . . .  -- with HLT + no standardise + full lookahead + no save 79μs  -- with HLT + standardise + full lookahead + no save 87μs  -- with HLT + no standardise + partial lookahead + no save 72μs  -- with HLT + standardise + partial lookahead + no save 71μs  -- with HLT + no standardise + full lookahead + save 74μs  -- with HLT + standardise + full lookahead + save 73μs  -- with HLT + no standardise + partial lookahead + save 73μs  -- with HLT + standardise + partial lookahead + save 72μs  -- with random strategy 86μs ToddCoxeter 034: congruence of ToddCoxeter . . .  -- with HLT + no standardise + full lookahead + no save 141μs  -- with HLT + standardise + full lookahead + no save 134μs  -- with HLT + no standardise + partial lookahead + no save 129μs  -- with HLT + standardise + partial lookahead + no save 129μs  -- with HLT + save (throws) 152μs  -- with Felsch (throws) 147μs  -- with random strategy 152μs ToddCoxeter 035: congruence on FpSemigroup . . .  -- with HLT + no standardise + full lookahead + no save 380μs  -- with HLT + standardise + full lookahead + no save 354μs  -- with HLT + no standardise + partial lookahead + no save 350μs  -- with HLT + standardise + partial lookahead + no save 347μs  -- with HLT + no standardise + full lookahead + save 389μs  -- with HLT + standardise + full lookahead + save 385μs  -- with HLT + no standardise + partial lookahead + save 382μs  -- with HLT + standardise + partial lookahead + save 382μs  -- with Felsch + no standardisation 377μs  -- with Felsch + standardisation 377μs  -- with random strategy 394μs  -- with Rc style + full lookahead 350μs  -- with Rc style + partial lookahead 349μs  -- with R/C style 352μs  -- with CR style 382μs  -- with Cr style 385μs ToddCoxeter 036: exceptions . . . 117μs ToddCoxeter 037: copy constructor . . . 45μs ToddCoxeter 038: simplify . . . 156μs ToddCoxeter 039: stylic_monoid . . . 741ms ToddCoxeter 041: some finite classes . . . 683μs ToddCoxeter 043: symmetric_group(7, Coxeter + Moser) . . . 213ms ToddCoxeter 044: Option exceptions . . . 135μs ToddCoxeter 045: Options operator<< . . . 1101μ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 198ms  -- with HLT + standardise + partial lookahead + no save 238ms  -- with HLT + no standardise + full lookahead + save 197ms  -- with HLT + standardise + full lookahead + save 230ms  -- with HLT + no standardise + partial lookahead + save 213ms  -- with HLT + standardise + partial lookahead + save 208ms  -- with Felsch + no standardisation 225ms  -- with Felsch + standardisation 241ms  -- with random strategy 226ms  -- with R/C style 207ms  -- with Rc style + full lookahead 216ms  -- with Rc style + partial lookahead 216ms ToddCoxeter 047: uniform_block_bijection_monoid(3) (FitzGerald) . . .  -- with HLT + no standardise + full lookahead + no save 156μs  -- with HLT + standardise + full lookahead + no save 160μs  -- with HLT + no standardise + partial lookahead + no save 144μs  -- with HLT + standardise + partial lookahead + no save 148μs  -- with HLT + no standardise + full lookahead + save 256μs  -- with HLT + standardise + full lookahead + save 248μs  -- with HLT + no standardise + partial lookahead + save 241μs  -- with HLT + standardise + partial lookahead + save 242μs  -- with Felsch + no standardisation 192μs  -- with Felsch + standardisation 191μs  -- with random strategy 218μs  -- with R/C style 169μs  -- with Rc style + full lookahead 157μs  -- with Rc style + partial lookahead 154μs ToddCoxeter 048: stellar_monoid(7) (Gay-Hivert) . . . 197ms ToddCoxeter 049: partition_monoid(4) (East) . . .  -- with HLT + no standardise + full lookahead + no save 42ms  -- with HLT + standardise + full lookahead + no save 42ms  -- with HLT + no standardise + partial lookahead + no save 39ms  -- with HLT + standardise + partial lookahead + no save 38ms  -- with HLT + no standardise + full lookahead + save 74ms  -- with HLT + standardise + full lookahead + save 77ms  -- with HLT + no standardise + partial lookahead + save 79ms  -- with HLT + standardise + partial lookahead + save 109ms  -- with Felsch + no standardisation 104ms  -- with Felsch + standardisation 101ms  -- with random strategy 53ms  -- with R/C style 52ms  -- with Rc style + full lookahead 111ms  -- with Rc style + partial lookahead 105ms ToddCoxeter 050: singular_brauer_monoid(6) (Maltcev + Mazorchuk) . . . 531ms ToddCoxeter 051: orientation_preserving_monoid(6) (Ruskuc + [...] . . .  -- with HLT + no standardise + full lookahead + no save 30ms ToddCoxeter 052: orientation_reversing_monoid(5) (Ruskuc + [...] . . .  -- with HLT + no standardise + full lookahead + no save 6799μs ToddCoxeter 053: temperley_lieb_monoid(10) (East) . . . 34ms ToddCoxeter 063: add_rule . . .  -- with HLT + no standardise + full lookahead + no save 148μs  -- with HLT + standardise + full lookahead + no save 125μ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 141μs  -- with HLT + standardise + full lookahead + save 134μs  -- with HLT + no standardise + partial lookahead + save 129μs  -- with HLT + standardise + partial lookahead + save 129μs  -- with Felsch + no standardisation 127μs  -- with Felsch + standardisation 127μs  -- with random strategy 139μs  -- with Rc style + full lookahead 128μs  -- with Rc style + partial lookahead 127μs  -- with R/C style 132μs  -- with CR style 131μ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 137μs  -- with Rc + small number of deductions 127μs  -- with Felsch + v2 + no preferred defs 127μs  -- with Felsch + v2 + immediate no stack 127μs  -- with Felsch + v1 + immediate no stack 129μs  -- with Felsch + v1 + immediate yes stack 126μs  -- with large collapse 132μs ToddCoxeter 064: (from kbmag/standalone/kb_data/s4) (KnuthB [...] . . .  -- with HLT + no standardise + full lookahead + no save 396μs ToddCoxeter 066: test validate . . . 73μs ToddCoxeter 067: add_rules after construct. from semigroup . . .  -- with HLT + no standardise + full lookahead + no save 421μ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 382μs  -- with HLT + save (throws) 409μs  -- with Felsch (throws) 403μs  -- with random strategy 434μs ToddCoxeter 068: Sym(5) from Chapter 3, Proposition 1.1 in NR . . .  -- with Deduction policy == purge_from_top 1136μs  -- with Deduction policy == purge_all 1125μs  -- with Deduction policy == discard_all_if_no_space 1144μs  -- with HLT + no standardise + full lookahead + no save 1079μs  -- with HLT + standardise + full lookahead + no save 1325μs  -- with HLT + no standardise + partial lookahead + no save 1061μs  -- with HLT + standardise + partial lookahead + no save 1326μs  -- with HLT + no standardise + full lookahead + save 1560μs  -- with HLT + standardise + full lookahead + save 1553μs  -- with HLT + no standardise + partial lookahead + save 1516μs  -- with HLT + standardise + partial lookahead + save 1539μs  -- with Felsch + no standardisation 1079μs  -- with Felsch + standardisation 1058μs  -- with random strategy 1708μs  -- with Rc style + full lookahead 2181μs  -- with Rc style + partial lookahead 2159μs  -- with R/C style 1243μs  -- with CR style 1167μs  -- with Cr style 1153μs ToddCoxeter 069: Chapter 7, Theorem 3.6 in NR (size 243) . . .  -- with HLT + no standardise + full lookahead + no save 1028μs  -- with HLT + standardise + full lookahead + no save 1110μs  -- with HLT + no standardise + partial lookahead + no save 1016μs  -- with HLT + standardise + partial lookahead + no save 1092μs  -- with HLT + no standardise + full lookahead + save 908μs  -- with HLT + standardise + full lookahead + save 928μs  -- with HLT + no standardise + partial lookahead + save 883μs  -- with HLT + standardise + partial lookahead + save 921μs  -- with Felsch + no standardisation 5049μs  -- with Felsch + standardisation 5092μs  -- with random strategy 6358μs  -- with Rc style + full lookahead 1128μs  -- with Rc style + partial lookahead 1118μs  -- with R/C style 1264μs  -- with CR style 5048μs  -- with Cr style 5017μs ToddCoxeter 070: finite semigroup (size 99) . . .  -- with HLT + no standardise + full lookahead + no save 448μs  -- with HLT + standardise + full lookahead + no save 458μs  -- with HLT + no standardise + partial lookahead + no save 435μs  -- with HLT + standardise + partial lookahead + no save 454μs  -- with HLT + no standardise + full lookahead + save 394μs  -- with HLT + standardise + full lookahead + save 401μs  -- with HLT + no standardise + partial lookahead + save 382μs  -- with HLT + standardise + partial lookahead + save 404μs  -- with Felsch + no standardisation 926μs  -- with Felsch + standardisation 921μs  -- with random strategy 490μs  -- with Rc style + full lookahead 484μs  -- with Rc style + partial lookahead 483μs  -- with R/C style 542μs  -- with CR style 952μs  -- with Cr style 940μs ToddCoxeter 080: KnuthBendix 098 . . .  -- with HLT + no standardise + full lookahead + no save 1333ms  -- with HLT + standardise + full lookahead + no save 1220ms  -- with HLT + no standardise + partial lookahead + no save 1335ms  -- with HLT + standardise + partial lookahead + no save 1215ms  -- with HLT + no standardise + full lookahead + save 606ms  -- with HLT + standardise + full lookahead + save 605ms  -- with HLT + no standardise + partial lookahead + save 604ms  -- with HLT + standardise + partial lookahead + save 605ms  -- with Felsch + no standardisation 584ms  -- with Felsch + standardisation 586ms  -- with random strategy 1533ms  -- with Rc style + full lookahead 583ms  -- with Rc style + partial lookahead 582ms  -- with R/C style 1368ms  -- with CR style 586ms  -- with Cr style 578ms ToddCoxeter 084: Campbell-Reza 1 . . .  -- with HLT + no standardise + full lookahead + no save 160μs  -- with HLT + standardise + full lookahead + no save 135μs  -- with HLT + no standardise + partial lookahead + no save 125μs  -- with HLT + standardise + partial lookahead + no save 133μs  -- with HLT + no standardise + full lookahead + save 143μs  -- with HLT + standardise + full lookahead + save 139μs  -- with HLT + no standardise + partial lookahead + save 138μs  -- with HLT + standardise + partial lookahead + save 136μs  -- with Felsch + no standardisation 151μs  -- with Felsch + standardisation 148μs  -- with random strategy 142μs  -- with Rc style + full lookahead 128μs  -- with Rc style + partial lookahead 128μs  -- with R/C style 141μs  -- with CR style 158μs  -- with Cr style 166μ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 150ms  -- with HLT + no standardise + full lookahead + save 150ms  -- with HLT + standardise + full lookahead + save 152ms  -- with HLT + no standardise + partial lookahead + save 151ms  -- with HLT + standardise + partial lookahead + save 150ms  -- with Felsch + no standardisation 151ms  -- with Felsch + standardisation 150ms  -- with random strategy 150ms  -- with Rc style + full lookahead 150ms  -- with Rc style + partial lookahead 150ms  -- with R/C style 150ms  -- with CR style 150ms  -- with Cr style 150ms ToddCoxeter 086: trivial semigroup . . . 240ms ToddCoxeter 092: ACE --- perf602p5 - HLT . . .  -- with HLT + no standardise + full lookahead + no save 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 126μs  -- with HLT + standardise + partial lookahead + no save 124μs  -- with HLT + no standardise + full lookahead + save 146μs  -- with HLT + standardise + full lookahead + save 144μs  -- with HLT + no standardise + partial lookahead + save 142μs  -- with HLT + standardise + partial lookahead + save 141μs  -- with random strategy 141μs  -- with Felsch + no standardisation 133μ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 171μs  -- with HLT + no standardise + partial lookahead + no save 160μs  -- with HLT + standardise + partial lookahead + no save 169μs  -- with HLT + no standardise + full lookahead + save 205μs  -- with HLT + standardise + full lookahead + save 205μs  -- with HLT + no standardise + partial lookahead + save 201μs  -- with HLT + standardise + partial lookahead + save 202μs  -- with random strategy 225μs  -- with Felsch + no standardisation 178μs  -- with Felsch + standardisation 176μs ToddCoxeter 096: ACE --- A5 . . .  -- with HLT + no standardise + full lookahead + no save 348μs  -- with HLT + standardise + full lookahead + no save 386μs  -- with HLT + no standardise + partial lookahead + no save 327μs  -- with HLT + standardise + partial lookahead + no save 383μs  -- with HLT + no standardise + full lookahead + save 501μs  -- with HLT + standardise + full lookahead + save 503μs  -- with HLT + no standardise + partial lookahead + save 490μs  -- with HLT + standardise + partial lookahead + save 497μs  -- with random strategy 573μs  -- with Felsch + no standardisation 389μs  -- with Felsch + standardisation 381μs ToddCoxeter 098: relation ordering . . .  -- with Felsch + no standardisation 708μs  -- with Felsch + standardisation 680μs  -- with HLT + no standardise + full lookahead + no save 314μs  -- with HLT + standardise + full lookahead + no save 314μs  -- with HLT + no standardise + partial lookahead + no save 312μs  -- with HLT + standardise + partial lookahead + no save 310μs  -- with HLT + no standardise + full lookahead + save 752μs  -- with HLT + standardise + full lookahead + save 745μs  -- with HLT + no standardise + partial lookahead + save 742μs  -- with HLT + standardise + partial lookahead + save 734μ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 [...] . . . 548ms ToddCoxeter 108: http://brauer.maths.qmul.ac.uk/Atlas/lin/L3 [...] . . . 486ms ToddCoxeter 110: to_gap_string . . . 108μs ToddCoxeter 111: partition_monoid(2) . . . 79μs ToddCoxeter 112: brauer_monoid(4) (Kudryavtseva + Mazorchuk) . . . 447μs ToddCoxeter 113: symmetric_inverse_monoid . . . 19ms ToddCoxeter 116: symmetric_group(7, Burnside + Miller) . . . 427ms UF 001: constructor by size . . . 15μs UF 002: copy constructor . . . 21μs UF 003: find . . . 19μs action_digraph_helper 015: detail::to_string . . . 24μs action_digraph_helper 016: make . . . 63μs action_digraph_helper 017: is_connected . . . 118μs action_digraph_helper 018: is_strictly_cyclic . . . 6523μs follow_path 012: 20 node path . . . 24μs fpsemi-examples 002: full_transformation_monoid author except . . . 46μs fpsemi-examples 003: full_transformation_monoid degree except . . . 38μs fpsemi-examples 005: partial_transformation_monoid author except . . . 48μs fpsemi-examples 006: partial_transformation_monoid degree except . . . 45μs fpsemi-examples 007: symmetric_inverse_monoid(5) . . . 19ms fpsemi-examples 008: symmetric_group auth except . . . 49μs fpsemi-examples 009: symmetric_group degree except . . . 45μs fpsemi-examples 010: symmetric_group(6) Burnside + Miller . . . 28ms fpsemi-examples 011: dual_symmetric_inverse_monoid(5) . . . 192ms fpsemi-examples 012: dual_symmetric_inverse_monoid auth except . . . 55μs fpsemi-examples 013: dual_symmetric_inverse_monoid degree except . . . 42μs fpsemi-examples 014: uniform_block_bijection_monoid(5) . . . 17ms fpsemi-examples 015: uniform_block_bijection_monoid auth except . . . 39μs fpsemi-examples 016: uniform_block_bijection_monoid degree except . . . 34μs fpsemi-examples 019: partition_monoid auth except . . . 167μs fpsemi-examples 020: partition_monoid degree except . . . 162μs fpsemi-examples 022: monogenic_semigroup(4, 9) . . . 45μs fpsemi-examples 023: fibonacci_semigroup(2, 5) . . . 108μs fpsemi-examples 024: temperley_lieb_monoid(10) . . . 38ms fpsemi-examples 025: singular_brauer_monoid(6) . . . 313ms fpsemi-examples 026: orientation_preserving_monoid(6) . . . 27ms fpsemi-examples 027: orientation_reversing_monoid(5) . . . 6779μs fpsemi-examples 028: chinese_monoid(3) . . . 199μs fpsemi-examples 029: plactic_monoid(3) . . . 172μs fpsemi-examples 030: stylic_monoid(3) . . . 1609μ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 . . . 8870μs fpsemi-examples 034: test for the rook monoid . . . 374μs fpsemi-examples 035: alternating_group(7) Moore . . . 34ms fpsemi-examples 036: alternating_group auth except . . . 43μs fpsemi-examples 037: alternating_group degree except . . . 32μs fpsemi-examples 038: partial_transformation_monoid(3) Machine . . . 300μs fpsemi-examples 039: chinese_monoid degree except . . . 50μs fpsemi-examples 040: monogenic_semigroup degree except . . . 57μs fpsemi-examples 041: rectangular_band degree except . . . 92μs fpsemi-examples 042: stellar_monoid degree except . . . 52μs fpsemi-examples 043: plactic_monoid degree except . . . 48μs fpsemi-examples 044: stylic_monoid degree except . . . 46μs fpsemi-examples 045: temperley_lieb_monoid degree except . . . 67μs fpsemi-examples 046: singular_brauer_monoid degree except . . . 85μs fpsemi-examples 047: orientation_preserving_monoid degree except . . . 78μs fpsemi-examples 048: orientation_reversing_monoid degree except . . . 84μs fpsemi-examples 049: test default values . . . 4377μs fpsemi-examples 052: not_symmetric_group(5) Guralnick + Kant [...] . . . 3814μs fpsemi-examples 053: order_preserving_monoid(5) . . . 1020μs fpsemi-examples 055: order_preserving_monoid degree except . . . 75μs fpsemi-examples 056: cyclic_inverse_monoid(4) Fernandes 1 . . . 254μ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) . . . 199μs fpsemi-examples 060: order_preserving_cyclic_inverse_monoid(10) . . . 31ms fpsemi-examples 061: cyclic_inverse_monoid degree except . . . 161μs fpsemi-examples 062: cyclic_inverse_monoid author except . . . 61μs fpsemi-examples 063: order_preserving_monoid degree except . . . 70μs fpsemi-examples 064: symmetric_group index except . . . 68μs fpsemi-examples 065: symmetric_group(7) Moore index 1 . . . 8469μs fpsemi-examples 066: order_preserving_cyclic_inverse_monoid(10) . . . 31ms fpsemi-examples 067: partial_isometries_cycle_graph_monoid(5) . . . 831μs fpsemi-examples 068: partial_isometries_cycle_graph_monoid(10) . . . 223ms fpsemi-examples 069: partial_isometries_cycle_graph_monoid d [...] . . . 93μs fpsemi-examples 070: partial_isometries_cycle_graph_monoid(4) . . . 326μs freeband_equal_to 001: . . . 670μs is_acyclic 000: 2-cycle . . . 12μs is_acyclic 001: 1-cycle . . . 11μs is_acyclic 002: multi-digraph . . . 13μs is_acyclic 003: complete digraph 100 . . . 54μs is_acyclic 004: acyclic digraph with 20000 nodes . . . 993μs is_acyclic 006: for a node . . . 979μs is_acyclic 007: for a node . . . 19μs is_reachable 008: acyclic 20 node digraph . . . 64μs is_reachable 009: 100 node path . . . 11ms is_reachable 010: 100 node cycle . . . 12ms is_reachable 011: 20 node clique . . . 456μs last_node_on_path_nc 014: 20 node path . . . 17μs make 000: from FroidurePin . . . 432μs make 001: from FroidurePin and alphabet . . . 569μs make 002: presentation from presentation . . . 388μs make 003: presentation from presentation and alphabet . . . 81μs make 004: argument checks issue . . . 225μs make 005: use human readable alphabet for make . . . 20μs make> 000: from ActionDigraph . . . 1128μs make> 001: from ActionDigraph (exceptions) . . . 70μs number_of_words 001: . . . 16μs operator"" _w 003: literal . . . 14μs silo 000: alphabet: a, min: 0, max: 10 . . . 42μs silo 001: corner cases . . . 32μs silo 002: alphabet: ab, min: 1, max: 4 . . . 53μs silo 003: alphabet: abc, min: 0, max: 13 . . . 91ms silo 004: code coverage . . . 26μs sislo 005: alphabet: a, min: 0, max: 10 . . . 37μs sislo 006: corner cases . . . 55μs sislo 007: alphabet: ab, min: 1, max: 4 . . . 89μs sislo 008: alphabet: abc, min: 0, max: 13 . . . 90ms sislo 009: code coverage . . . 25μs string 000: detail::is_suffix . . . 13μs string 001: detail::is_prefix . . . 14μs string 002: detail::maximum_common_suffix . . . 13μs string 003: detail::group_digits . . . 23μs string_to_word 002: . . . 13μs validate_label 013: 20 node path . . . 42μs wilo 001: corner cases . . . 38μs wilo 002: letters: 2, min: 1, max: 4 . . . 37μ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 . . . 54μs wilo 008: starting at a given word 1 . . . 134μ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 . . . 27μs wislo 001: corner cases . . . 46μs wislo 002: n: 3, min; 0, max: 10 . . . 4555μs wislo 003: n: 3, min; 0, max: 13 . . . 131ms wislo 004: lex + sort . . . 379ms wislo 005: code coverage . . . 28μs =============================================================================== All tests passed (1290083 assertions in 1184 test cases) >>> libsemigroups: Entering fakeroot... make[1]: Entering directory '/home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.6.2' ./config/install-sh -c -d '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib' ./config/install-sh -c -d '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups/backward-cpp' /bin/sh ./libtool --mode=install /usr/bin/install -c libsemigroups.la '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib' /usr/bin/install -c -m 644 extern/backward-cpp/backward.hpp '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups/backward-cpp' ./config/install-sh -c -d '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/pkgconfig' ./config/install-sh -c -d '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups' /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/textflowcpp' libtool: install: /usr/bin/install -c .libs/libsemigroups.so.2.0.0 /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/libsemigroups.so.2.0.0 libtool: install: (cd /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib && { ln -s -f libsemigroups.so.2.0.0 libsemigroups.so.2 || { rm -f libsemigroups.so.2 && ln -s libsemigroups.so.2.0.0 libsemigroups.so.2; }; }) /usr/bin/install -c -m 644 include/libsemigroups/action.hpp include/libsemigroups/adapters.hpp include/libsemigroups/bipart.hpp include/libsemigroups/bitset.hpp include/libsemigroups/bmat8.hpp include/libsemigroups/bmat.hpp include/libsemigroups/bruidhinn-traits.hpp include/libsemigroups/config.hpp include/libsemigroups/cong-intf.hpp include/libsemigroups/cong-pair-impl.hpp include/libsemigroups/cong-pair.hpp include/libsemigroups/cong-wrap.hpp include/libsemigroups/cong.hpp include/libsemigroups/constants.hpp include/libsemigroups/containers.hpp include/libsemigroups/coset.hpp include/libsemigroups/debug.hpp include/libsemigroups/deprecated.hpp include/libsemigroups/digraph-helper.hpp include/libsemigroups/digraph-with-sources.hpp include/libsemigroups/digraph-with-sources.tpp include/libsemigroups/digraph.hpp include/libsemigroups/exception.hpp include/libsemigroups/fastest-bmat.hpp include/libsemigroups/felsch-tree.hpp include/libsemigroups/felsch-digraph.hpp include/libsemigroups/felsch-digraph.tpp include/libsemigroups/forest.hpp include/libsemigroups/fpsemi-examples.hpp include/libsemigroups/fpsemi-intf.hpp include/libsemigroups/fpsemi.hpp include/libsemigroups/freeband.hpp include/libsemigroups/froidure-pin-base.hpp include/libsemigroups/froidure-pin-impl.hpp include/libsemigroups/froidure-pin.hpp include/libsemigroups/function-ref.hpp include/libsemigroups/hpcombi.hpp include/libsemigroups/int-range.hpp include/libsemigroups/iterator.hpp include/libsemigroups/kambites.hpp '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups' /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/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: /usr/bin/install -c .libs/libsemigroups.a /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/libsemigroups.a libtool: install: chmod 644 /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/libsemigroups.a libtool: install: ranlib /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/libsemigroups.a libtool: warning: remember to run 'libtool --finish /usr/lib' make[1]: Leaving directory '/home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.6.2' >>> 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.2-r0 pc:eigen3 pc:fmt pkgconfig >>> libsemigroups-dev*: Package size: 2.0 MB >>> libsemigroups-dev*: Compressing data... >>> libsemigroups-dev*: Create checksum... >>> libsemigroups-dev*: Create libsemigroups-dev-2.6.2-r0.apk >>> libsemigroups-static*: Tracing dependencies... >>> libsemigroups-static*: Package size: 5.9 MB >>> libsemigroups-static*: Compressing data... >>> libsemigroups-static*: Create checksum... >>> libsemigroups-static*: Create libsemigroups-static-2.6.2-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.2-r0.apk >>> libsemigroups: Build complete at Mon, 27 Feb 2023 14:05:35 +0000 elapsed time 0h 3m 35s >>> libsemigroups: Cleaning up srcdir >>> libsemigroups: Cleaning up pkgdir >>> libsemigroups: Uninstalling dependencies... (1/4) Purging .makedepends-libsemigroups (20230227.140201) (2/4) Purging eigen-dev (3.4.0-r8) (3/4) Purging fmt-dev (9.1.0-r0) (4/4) Purging fmt (9.1.0-r0) OK: 292 MiB in 95 packages >>> libsemigroups: Updating the testing/ppc64le repository index... >>> libsemigroups: Signing the index...