>>> libsemigroups: Building testing/libsemigroups 2.7.3-r1 (using abuild 3.14.1-r3) started Sat, 14 Dec 2024 19:21:35 +0000 >>> libsemigroups: Validating /home/buildozer/aports/testing/libsemigroups/APKBUILD... >>> WARNING: libsemigroups: No maintainer >>> libsemigroups: Analyzing dependencies... >>> libsemigroups: Installing for build: build-base eigen-dev fmt-dev (1/4) Installing eigen-dev (3.4.0-r10) (2/4) Installing fmt (11.0.2-r0) (3/4) Installing fmt-dev (11.0.2-r0) (4/4) Installing .makedepends-libsemigroups (20241214.192137) OK: 289 MiB in 112 packages >>> libsemigroups: Cleaning up srcdir >>> libsemigroups: Cleaning up pkgdir >>> libsemigroups: Cleaning up tmpdir >>> libsemigroups: Fetching https://distfiles.alpinelinux.org/distfiles/edge/libsemigroups-2.7.3.tar.gz >>> libsemigroups: Fetching https://distfiles.alpinelinux.org/distfiles/edge/libsemigroups-2.7.3.tar.gz >>> libsemigroups: Checking sha512sums... libsemigroups-2.7.3.tar.gz: OK >>> libsemigroups: Unpacking /var/cache/distfiles/libsemigroups-2.7.3.tar.gz... tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.xattr.com.apple.lastuseddate#PS' 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' 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-timer.lo CXX src/libsemigroups_la-todd-coxeter.lo CXX src/libsemigroups_la-ukkonen.lo CXX src/libsemigroups_la-wilo.lo CXX src/libsemigroups_la-wislo.lo CXX src/libsemigroups_la-word.lo In file included from /usr/include/eigen3/Eigen/Core:350, from /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.3/include/libsemigroups/digraph.hpp:58, from /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.3/include/libsemigroups/knuth-bendix.hpp:34, from src/knuth-bendix.cpp:19: In member function 'void Eigen::internal::gebp_kernel::operator()(const DataMapper&, const double*, const double*, Index, Index, Index, double, Index, Index, Index, Index) [with Index = long int; DataMapper = Eigen::internal::blas_data_mapper; int mr = 4; int nr = 4; bool ConjugateLhs = false; bool ConjugateRhs = false]', inlined from 'static void Eigen::internal::general_matrix_matrix_product::run(Index, Index, Index, const LhsScalar*, Index, const RhsScalar*, Index, ResScalar*, Index, Index, ResScalar, Eigen::internal::level3_blocking&, Eigen::internal::GemmParallelInfo*) [with Index = long int; LhsScalar = double; int LhsStorageOrder = 0; bool ConjugateLhs = false; RhsScalar = double; int RhsStorageOrder = 0; bool ConjugateRhs = false; int ResInnerStride = 1]' at /usr/include/eigen3/Eigen/src/Core/products/GeneralMatrixMatrix.h:198:15: /usr/include/eigen3/Eigen/src/Core/arch/AltiVec/MatrixProduct.h:2808:34: warning: builtin '__builtin_cpu_supports' needs GLIBC (2.23 and newer) that exports hardware capability bits 2808 | if (__builtin_cpu_supports ("arch_3_1") && __builtin_cpu_supports ("mma")){ | ~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ /usr/include/eigen3/Eigen/src/Core/arch/AltiVec/MatrixProduct.h:2808:73: warning: builtin '__builtin_cpu_supports' needs GLIBC (2.23 and newer) that exports hardware capability bits 2808 | if (__builtin_cpu_supports ("arch_3_1") && __builtin_cpu_supports ("mma")){ | ~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~ CXXLD libsemigroups.la make test_all make[1]: Entering directory '/home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.3' CXX tests/bmat-data.o CXX tests/test-action.o CXX tests/test-bipart.o CXX tests/test-bitset.o CXX tests/test-bmat8.o CXX tests/test-cong-intf.o CXX tests/test-cong-pair.o CXX tests/test-cong.o CXX tests/test-constants.o CXX tests/test-containers.o CXX tests/test-digraph-helper.o CXX tests/test-digraph.o CXX tests/test-felsch-tree.o CXX tests/test-forest.o CXX tests/test-fpsemi.o CXX tests/test-fpsemi-examples-1.o CXX tests/test-fpsemi-examples-2.o CXX tests/test-fpsemi-examples-3.o CXX tests/test-fpsemi-intf.o CXX tests/test-freeband.o CXX tests/test-froidure-pin-bipart.o CXX tests/test-froidure-pin-bmat8.o CXX tests/test-froidure-pin-bmat.o CXX tests/test-froidure-pin-integers.o CXX tests/test-froidure-pin-intmat.o CXX tests/test-froidure-pin-intpairs.o CXX tests/test-froidure-pin-matrix.o CXX tests/test-froidure-pin-maxplustrunc.o CXX tests/test-froidure-pin-pbr.o CXX tests/test-froidure-pin-pperm.o CXX tests/test-froidure-pin-projmaxplus.o CXX tests/test-froidure-pin-transf.o CXX tests/test-hpcombi.o CXX tests/test-iterator.o CXX tests/test-kambites.o CXX tests/test-kbe.o CXX tests/test-knuth-bendix-1.o CXX tests/test-knuth-bendix-2.o CXX tests/test-knuth-bendix-3.o CXX tests/test-knuth-bendix-4.o CXX tests/test-knuth-bendix-5.o CXX tests/test-knuth-bendix-6.o CXX tests/test-konieczny-bmat8-1.o CXX tests/test-konieczny-bmat8-2.o CXX tests/test-konieczny-bmat8-3.o CXX tests/test-konieczny-transf.o CXX tests/test-konieczny-bmat.o CXX tests/test-konieczny-pperm.o CXX tests/test-main.o CXX tests/test-make-present.o CXX tests/test-make-froidure-pin.o CXX tests/test-matrix.o CXX tests/test-obvinf.o CXX tests/test-order.o CXX tests/test-pbr.o CXX tests/test-pool.o CXX tests/test-present.o CXX tests/test-race.o CXX tests/test-runner.o CXX tests/test-schreier-sims.o CXX tests/test-schreier-sims-helper.o CXX tests/test-sims1.o CXX tests/test-siso.o CXX tests/test-stephen.o CXX tests/test-string.o CXX tests/test-string-view.o CXX tests/test-timer.o CXX tests/test-todd-coxeter.o CXX tests/test-types.o CXX tests/test-uf.o CXX tests/test-ukkonen.o CXX tests/test-wilo.o CXX tests/test-wislo.o CXX tests/test-word.o In file included from /usr/include/eigen3/Eigen/Core:350, from /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.3/include/libsemigroups/digraph.hpp:58, from /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.3/include/libsemigroups/knuth-bendix.hpp:34, from tests/test-knuth-bendix-4.cpp:48: In member function 'void Eigen::internal::gebp_kernel::operator()(const DataMapper&, const double*, const double*, Index, Index, Index, double, Index, Index, Index, Index) [with Index = long int; DataMapper = Eigen::internal::blas_data_mapper; int mr = 4; int nr = 4; bool ConjugateLhs = false; bool ConjugateRhs = false]', inlined from 'static void Eigen::internal::general_matrix_matrix_product::run(Index, Index, Index, const LhsScalar*, Index, const RhsScalar*, Index, ResScalar*, Index, Index, ResScalar, Eigen::internal::level3_blocking&, Eigen::internal::GemmParallelInfo*) [with Index = long int; LhsScalar = double; int LhsStorageOrder = 0; bool ConjugateLhs = false; RhsScalar = double; int RhsStorageOrder = 0; bool ConjugateRhs = false; int ResInnerStride = 1]' at /usr/include/eigen3/Eigen/src/Core/products/GeneralMatrixMatrix.h:198:15: /usr/include/eigen3/Eigen/src/Core/arch/AltiVec/MatrixProduct.h:2808:34: warning: builtin '__builtin_cpu_supports' needs GLIBC (2.23 and newer) that exports hardware capability bits 2808 | if (__builtin_cpu_supports ("arch_3_1") && __builtin_cpu_supports ("mma")){ | ~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ /usr/include/eigen3/Eigen/src/Core/arch/AltiVec/MatrixProduct.h:2808:73: warning: builtin '__builtin_cpu_supports' needs GLIBC (2.23 and newer) that exports hardware capability bits 2808 | if (__builtin_cpu_supports ("arch_3_1") && __builtin_cpu_supports ("mma")){ | ~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~ In file included from /usr/include/eigen3/Eigen/Core:350, from /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.3/include/libsemigroups/digraph.hpp:58, from tests/test-stephen.cpp:40: In member function 'void Eigen::internal::gebp_kernel::operator()(const DataMapper&, const double*, const double*, Index, Index, Index, double, Index, Index, Index, Index) [with Index = long int; DataMapper = Eigen::internal::blas_data_mapper; int mr = 4; int nr = 4; bool ConjugateLhs = false; bool ConjugateRhs = false]', inlined from 'static void Eigen::internal::general_matrix_matrix_product::run(Index, Index, Index, const LhsScalar*, Index, const RhsScalar*, Index, ResScalar*, Index, Index, ResScalar, Eigen::internal::level3_blocking&, Eigen::internal::GemmParallelInfo*) [with Index = long int; LhsScalar = double; int LhsStorageOrder = 0; bool ConjugateLhs = false; RhsScalar = double; int RhsStorageOrder = 0; bool ConjugateRhs = false; int ResInnerStride = 1]' at /usr/include/eigen3/Eigen/src/Core/products/GeneralMatrixMatrix.h:198:15: /usr/include/eigen3/Eigen/src/Core/arch/AltiVec/MatrixProduct.h:2808:34: warning: builtin '__builtin_cpu_supports' needs GLIBC (2.23 and newer) that exports hardware capability bits 2808 | if (__builtin_cpu_supports ("arch_3_1") && __builtin_cpu_supports ("mma")){ | ~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ /usr/include/eigen3/Eigen/src/Core/arch/AltiVec/MatrixProduct.h:2808:73: warning: builtin '__builtin_cpu_supports' needs GLIBC (2.23 and newer) that exports hardware capability bits 2808 | if (__builtin_cpu_supports ("arch_3_1") && __builtin_cpu_supports ("mma")){ | ~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~ In file included from /usr/include/eigen3/Eigen/Core:350, from /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.3/include/libsemigroups/digraph.hpp:58, from /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.3/include/libsemigroups/knuth-bendix.hpp:34, from /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.3/include/libsemigroups/kbe.hpp:34, from tests/test-knuth-bendix-1.cpp:53: In member function 'void Eigen::internal::gebp_kernel::operator()(const DataMapper&, const double*, const double*, Index, Index, Index, double, Index, Index, Index, Index) [with Index = long int; DataMapper = Eigen::internal::blas_data_mapper; int mr = 4; int nr = 4; bool ConjugateLhs = false; bool ConjugateRhs = false]', inlined from 'static void Eigen::internal::general_matrix_matrix_product::run(Index, Index, Index, const LhsScalar*, Index, const RhsScalar*, Index, ResScalar*, Index, Index, ResScalar, Eigen::internal::level3_blocking&, Eigen::internal::GemmParallelInfo*) [with Index = long int; LhsScalar = double; int LhsStorageOrder = 0; bool ConjugateLhs = false; RhsScalar = double; int RhsStorageOrder = 0; bool ConjugateRhs = false; int ResInnerStride = 1]' at /usr/include/eigen3/Eigen/src/Core/products/GeneralMatrixMatrix.h:198:15: /usr/include/eigen3/Eigen/src/Core/arch/AltiVec/MatrixProduct.h:2808:34: warning: builtin '__builtin_cpu_supports' needs GLIBC (2.23 and newer) that exports hardware capability bits 2808 | if (__builtin_cpu_supports ("arch_3_1") && __builtin_cpu_supports ("mma")){ | ~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ /usr/include/eigen3/Eigen/src/Core/arch/AltiVec/MatrixProduct.h:2808:73: warning: builtin '__builtin_cpu_supports' needs GLIBC (2.23 and newer) that exports hardware capability bits 2808 | if (__builtin_cpu_supports ("arch_3_1") && __builtin_cpu_supports ("mma")){ | ~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~ In file included from /usr/include/eigen3/Eigen/Core:350, from /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.3/include/libsemigroups/digraph.hpp:58, from tests/test-digraph.cpp:31: In member function 'void Eigen::internal::gebp_kernel::operator()(const DataMapper&, const double*, const double*, Index, Index, Index, double, Index, Index, Index, Index) [with Index = long int; DataMapper = Eigen::internal::blas_data_mapper; int mr = 4; int nr = 4; bool ConjugateLhs = false; bool ConjugateRhs = false]', inlined from 'static void Eigen::internal::general_matrix_matrix_product::run(Index, Index, Index, const LhsScalar*, Index, const RhsScalar*, Index, ResScalar*, Index, Index, ResScalar, Eigen::internal::level3_blocking&, Eigen::internal::GemmParallelInfo*) [with Index = long int; LhsScalar = double; int LhsStorageOrder = 0; bool ConjugateLhs = false; RhsScalar = double; int RhsStorageOrder = 0; bool ConjugateRhs = false; int ResInnerStride = 1]' at /usr/include/eigen3/Eigen/src/Core/products/GeneralMatrixMatrix.h:198:15: /usr/include/eigen3/Eigen/src/Core/arch/AltiVec/MatrixProduct.h:2808:34: warning: builtin '__builtin_cpu_supports' needs GLIBC (2.23 and newer) that exports hardware capability bits 2808 | if (__builtin_cpu_supports ("arch_3_1") && __builtin_cpu_supports ("mma")){ | ~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ /usr/include/eigen3/Eigen/src/Core/arch/AltiVec/MatrixProduct.h:2808:73: warning: builtin '__builtin_cpu_supports' needs GLIBC (2.23 and newer) that exports hardware capability bits 2808 | if (__builtin_cpu_supports ("arch_3_1") && __builtin_cpu_supports ("mma")){ | ~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~ In file included from /usr/include/eigen3/Eigen/Core:350, from /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.3/include/libsemigroups/digraph.hpp:58, from /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.3/include/libsemigroups/knuth-bendix.hpp:34, from /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.3/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++/14.2.0/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++/14.2.0/bits/stl_algo.h:1908:31, inlined from 'void std::sort(_RAIter, _RAIter, _Compare) [with _RAIter = libsemigroups::StaticRowView*; _Compare = libsemigroups::{anonymous}::test_BMat000 >()::]' at /usr/include/c++/14.2.0/bits/stl_algo.h:4804:18, inlined from 'void libsemigroups::{anonymous}::test_BMat000() [with Mat = libsemigroups::StaticMatrix]' at tests/test-matrix.cpp:166:18: /usr/include/c++/14.2.0/bits/stl_algo.h:1817:32: warning: array subscript 16 is outside array bounds of 'libsemigroups::detail::StaticVector1, 2> [1]' [-Warray-bounds=] 1817 | std::__insertion_sort(__first, __first + int(_S_threshold), __comp); | ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ tests/test-matrix.cpp: In function 'void libsemigroups::{anonymous}::test_BMat000() [with Mat = libsemigroups::StaticMatrix]': tests/test-matrix.cpp:160:14: note: at offset 128 into object 'r' of size 24 160 | auto r = matrix_helpers::rows(m); | ^ CXXLD test_all make[1]: Leaving directory '/home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.3' ./test_all --use-colour yes --order lex --abort [quick] Filters: [quick] Action 001: row and column basis orbits for BMat8 . . . 59μs Action 002: row and column basis orbits for BMat8 . . . 2387μs Action 003: add generators after enumeration . . . 1983μs Action 004: multipliers for BMat8 row and column orbits . . . 4132μs Action 005: orbits for regular boolean mat monoid 5 . . . 340ms Action 007: partial perm image orbit . . . 347μs Action 008: partial perm image orbit . . . 87ms Action 009: partial perm image orbit . . . 92ms Action 010: partial perm image orbit . . . 97ms Action 011: permutation on integers . . . 24μs Action 012: permutation on sets, arrays . . . 252μs Action 013: permutation on tuples, arrays . . . 25ms Action 014: permutation on sets, vectors . . . 310μs Action 015: permutation on tuples, vectors . . . 32ms Action 016: misc . . . 3084μs Action 017: partial perm image orbit . . . 62μs Action 018: permutation on tuples, arrays (360360) . . . 358ms Action 019: orbits for regular BMat8 monoid 5 with stop/start . . . 441ms Action 021: orbits for regular boolean mat monoid 5 (BMat<5> [...] . . . 608ms ActionDigraph 000: constructor with 1 default arg . . . 16μs ActionDigraph 001: constructor with 0 default args . . . 52μs ActionDigraph 002: add nodes . . . 30μs ActionDigraph 003: add edges . . . 265μs ActionDigraph 004: strongly connected components - cycles . . . 29μs ActionDigraph 005: strongly connected components - no edges . . . 50ms ActionDigraph 006: strongly connected components - disjoint cycles . . . 1480μs ActionDigraph 007: strongly connected components - complete graphs . . . 723μs ActionDigraph 008: exceptions . . . 102μs ActionDigraph 009: spanning forest - complete graphs . . . 2902μs ActionDigraph 010: spanning forest - disjoint cycles . . . 110μs ActionDigraph 011: restrict . . . 11μs ActionDigraph 012: remove_edge_nc . . . 10μs ActionDigraph 013: scc large cycle . . . 10ms ActionDigraph 014: random . . . 20μs ActionDigraph 015: reserve . . . 11μs ActionDigraph 016: default constructors . . . 16μs ActionDigraph 017: scc iterators . . . 998μs ActionDigraph 018: iterator to edges . . . 534μs ActionDigraph 019: root of scc . . . 265μs ActionDigraph 020: cbegin/end_panislo - 100 node path . . . 611μs ActionDigraph 021: cbegin/end_pislo . . . 55μs ActionDigraph 022: cbegin/end_pani(s)lo - 100 node cycle . . . 603μs ActionDigraph 023: cbegin/cend_pilo - tree 14 nodes . . . 98μs ActionDigraph 024: cbegin/end_pstilo - Cayley digraph . . . 184ms ActionDigraph 025: cbegin_pstilo - Tsalakou . . . 382μs ActionDigraph 026: cbegin/end_pstislo - Cayley digraph . . . 196ms ActionDigraph 027: cbegin/end_pstislo - Cayley digraph . . . 238μs ActionDigraph 028: path iterators corner cases . . . 264μs ActionDigraph 029: reverse node iterator . . . 12μs ActionDigraph 030: pstilo corner case . . . 37μs ActionDigraph 031: number_of_paths corner cases . . . 84μs ActionDigraph 032: number_of_paths acyclic digraph . . . 13ms ActionDigraph 033: number_of_paths binary tree . . . 457ms ActionDigraph 034: number_of_paths large binary tree . . . 87ms ActionDigraph 035: number_of_paths 400 node random digraph . . . 968μs ActionDigraph 036: number_of_paths 10 node acyclic digraph . . . 36μs ActionDigraph 037: number_of_paths node digraph . . . 2574μs ActionDigraph 038: random/random_acyclic exceptions . . . 170μs ActionDigraph 039: unsafe (next) neighbour . . . 44μs ActionDigraph 040: number_of_egdes incident to a node . . . 51μs ActionDigraph 041: number_of_paths (matrix) . . . 23ms ActionDigraph 042: number_of_paths (matrix) . . . 15μs ActionDigraph 043: swap_edge_nc . . . 10μs ActionDigraph 044: detail::pow for non-square Eigen matrix . . . 29μs ActionDigraph 045: operator<< . . . 15μs Array2 044: all . . . 59μs BMat8 001: transpose . . . 22μs BMat8 002: multiplication . . . 21μs BMat8 003: identity matrix . . . 16μs BMat8 004: random . . . 364μs BMat8 005: call operator . . . 23μs BMat8 006: operator<< . . . 22μs BMat8 007: set . . . 92μs BMat8 008: row space basis . . . 778μs BMat8 009: col space basis . . . 770μs BMat8 010: row space basis . . . 1244μs BMat8 011: number_of_rows, number_of_cols . . . 44μs BMat8 012: row_space, col_space . . . 257μs BMat8 013: rows . . . 51μs BMat8 014: one . . . 13μs BMat8 015: vector constructor . . . 153μs BMat8 016: operator< . . . 16μs BMat8 017: adapters . . . 24μs BMat8 018: one . . . 13μs Bipartition 009: mem fns 1 . . . 32μs Bipartition 010: hash . . . 9000ns Bipartition 011: mem fns 2 . . . 26μs Bipartition 012: delete/copy . . . 10μs Bipartition 013: degree 0 . . . 12μs Bipartition 014: exceptions . . . 51μs Bipartition 015: convenience constructor . . . 371μs Bipartition 016: force copy constructor over move constructor . . . 19μs Bipartition 017: adapters . . . 9000ns BitSet 000: size . . . 14μs BitSet 001: operator< . . . 12μs BitSet 002: operator== . . . 14μs BitSet 003: operator!= . . . 14μs BitSet 004: operator&= . . . 16μs BitSet 005: & . . . 23μs BitSet 006: operator|= . . . 22μs BitSet 007: operator[] . . . 22μs BitSet 008: set(none) . . . 23μs BitSet 009: set(pos, value) . . . 25μs BitSet 010: set(first, last, value) . . . 28μs BitSet 011: reset(first, last) . . . 27μs BitSet 012: reset(pos) . . . 26μs BitSet 013: apply (iterate through set bits) . . . 29μs BitSet 014: std::hash . . . 9000ns BitSet 015: constructors . . . 49μs BitSet 016: max_size . . . 9000ns BitSet 017: insertion operators . . . 13μs Blocks 001: empty blocks . . . 13μs Blocks 002: non-empty blocks . . . 14μs Blocks 003: left blocks of bipartition . . . 14μs Blocks 004: right blocks of bipartition . . . 15μs Blocks 005: copy [empty blocks] . . . 12μs Blocks 006: copy [non-empty blocks] . . . 14μs Blocks 007: hash value . . . 14μs Blocks 008: operator< . . . 13μs Congruence 000: left congruence on fp semigroup . . . 101μs Congruence 001: 2-sided congruence on fp semigroup . . . 876μs Congruence 002: left congruence on fp semigroup . . . 680μs Congruence 003: word_to_class_index for cong. on fp semigroup . . . 790μs Congruence 004: word_to_class_index for cong. on fp semigroup . . . 442μs Congruence 005: trivial congruence on non-fp semigroup . . . 446μs Congruence 006: 2-sided congruence on non-fp semigroup . . . 360μs Congruence 007: 2-sided congruence on fp semigroup . . . 598μs Congruence 008: 2-sided congruence on infinite fp semigroup . . . 331μs Congruence 009: 2-sided congruence on infinite fp semigroup . . . 403μs Congruence 010: 2-sided congruence on finite semigroup . . . 53ms Congruence 012: 2-sided congruence on finite semigroup . . . 3692μs Congruence 013: trivial 2-sided congruence on bicyclic monoid . . . 36ms Congruence 014: non-trivial 2-sided congruence on bicyclic monoid . . . 450μs Congruence 015: 2-sided congruence on free abelian monoid . . . 376μs Congruence 016: example where TC works but KB doesn't . . . 542μs Congruence 017: 2-sided congruence on finite semigroup . . . 371μs Congruence 018: infinite fp semigroup from GAP library . . . 556μs Congruence 019: 2-sided cong. on fp semigroup with infinite [...] . . . 352μs Congruence 020: trivial cong. on an fp semigroup . . .  -- with compute size 320μs  -- with don't compute size 291μs Congruence 021: duplicate generators . . . 469μs Congruence 022: non-trivial classes . . . 1510μs Congruence 023: right congruence on finite semigroup . . . 258ms Congruence 024: redundant generating pairs . . . 75μs Congruence 025: 2-sided cong. on free semigroup . . . 58μs Congruence 026: is_quotient_obviously_(in)finite . . . 1305μs Congruence 027: less . . . 720μs Congruence 028: 2-sided congruences of BMat8 semigroup . . . 156ms Congruence 029: left congruence on finite semigroup . . . 840μs Congruence 030: right congruence on finite semigroup . . . 990μs Congruence 031: right congruence on finite semigroup . . . 786μs Congruence 032: contains . . . 123μs Congruence 033: stellar_monoid S2 . . . 446μs Congruence 034: stellar_monoid S3 . . . 833μs Congruence 035: stellar_monoid S4 . . . 1930μs Congruence 036: stellar_monoid S5 . . . 11ms Congruence 037: stellar_monoid S6 . . . 88ms Congruence 038: stellar_monoid S7 . . . 827ms Congruence 039: left cong. on an f.p. semigroup . . . 2154μs Congruence 040: 2-sided cong. on infinite f.p. semigroup . . . 146μs Congruence 041: 2-sided congruence constructed from type only . . . 985μs Congruence 042: const_contains . . . 977μs Congruence 043: no winner . . . 4653μs Congruence 044: congruence over smalloverlap . . . 7149μs CongruenceByPairs 001: (cong) 2-sided cong. on finite semigroup . . . 408μs CongruenceByPairs 002: (cong) left congruence on finite semigroup . . . 132μs CongruenceByPairs 003: (cong) right congruence on finite semigroup . . . 128μs CongruenceByPairs 004: (cong) trivial congruence on finite s [...] . . . 98μs CongruenceByPairs 005: (cong) trivial left congruence on fin [...] . . . 85μs CongruenceByPairs 006: (cong) trivial right congruence on fi [...] . . . 85μs CongruenceByPairs 007: (cong) universal congruence on finite [...] . . . 459μs CongruenceByPairs 009: (cong) 2-sided congruence on finite s [...] . . . 576ms CongruenceByPairs 010: (cong) left congruence on big finite [...] . . . 31ms CongruenceByPairs 011: (cong) left congruence on TCE . . . 265μs CongruenceByPairs 012: (cong) is_quotient_obviously_finite . . . 137μs CongruenceByPairs 013: (cong) class_index_to_word/quotient . . .  -- with right congruence 11ms  -- with left congruence 1307μs  -- with 2-sided congruence 7474μs CongruenceByPairs 014: (cong) const_word_to_class_index . . .  -- with right congruence 39μs  -- with left congruence 36μs  -- with 2-sided congruence 35μs CongruenceByPairs 015: (cong) size non-Element* . . . 23ms CongruenceInterface 000: add_pair . . .  -- with ToddCoxeter 169μs  -- with KnuthBendix 236μs  -- with CongruenceByPairs 181μs  -- with Congruence 1057μs CongruenceInterface 001: contains/const_contains . . .  -- with ToddCoxeter and no parent 178μs  -- with KnuthBendix and no parent 189μs  -- with Congruence and parent 818μs  -- with CongruenceByPairs and parent 143μs CongruenceInterface 002: less . . .  -- with ToddCoxeter 141μs  -- with KnuthBendix 212μs  -- with CongruenceByPairs 149μs  -- with Congruence 444μs CongruenceInterface 003: is_quotient_obviously_(in)finite . . .  -- with ToddCoxeter 117μs  -- with KnuthBendix 197μs CongruenceInterface 004: is_quotient_obviously_(in)finite . . .  -- with CongruenceByPairs 153μs  -- with Congruence 997μs CongruenceInterface 005: parent_froidure_pin . . .  -- with ToddCoxeter 38μs  -- with KnuthBendix 34μs CongruenceInterface 006: parent_froidure_pin . . .  -- with CongruenceByPairs 145μs  -- with Congruence 497μs CongruenceInterface 007: cbegin/cend_ntc . . .  -- with ToddCoxeter 268μs  -- with KnuthBendix 1749μs CongruenceInterface 008: cbegin/cend_ntc . . .  -- with CongruenceByPairs 186μs  -- with Congruence 505μs CongruenceInterface 009: quotient is immutable . . .  -- with ToddCoxeter 127μs  -- with KnuthBendix 166μs  -- with Congruence 343μs CongruenceInterface 010: no generating pairs added . . .  -- with KnuthBendix and common behaviour 4285μs  -- with Congruence and common behaviour 4574μs  -- with ToddCoxeter 133μs CongruenceInterface 011: nr generators not set . . .  -- with ToddCoxeter 200μs  -- with KnuthBendix 199μs  -- with Congruence 205μs CongruenceInterface 012: no generating pairs . . . 163μs ConstIteratorStateless 001: ? . . . 11μs ConstIteratorStateless 002: ? . . . 10μs Constants 001: Undefined . . . 22μs Constants 002: PositiveInfinity . . . 20μs Constants 003: NegativeInfinity . . . 17μs Constants 004: LimitMax . . . 16μs Duf 004: unite . . . 26μs Duf 006: compress . . . 17μs Duf 008: resize . . . 21μs Duf 009: resize . . . 14μs Duf 010: big chain . . . 22ms Duf 012: empty table . . . 11μs Duf 014: join . . . 13μs Duf 016: contains . . . 63μs Duf 018: swap . . . 35μs DynamicArray2 001: default constructor with 3 default args . . . 11μs DynamicArray2 002: default constructor with 2 default args . . . 10μs DynamicArray2 003: default constructor with 1 default args . . . 12μs DynamicArray2 004: default constructor with 0 default args . . . 11μs DynamicArray2 005: copy constructor with 1 default args . . . 13μs DynamicArray2 006: copy constructor with 0 default args . . . 15μs DynamicArray2 007: add_rows . . . 15μs DynamicArray2 008: add_rows . . . 12μs DynamicArray2 009: add_cols . . . 23μs DynamicArray2 010: set/get . . . 27μs DynamicArray2 011: append 1/2 . . . 49μs DynamicArray2 012: append 2/2 . . . 78μs DynamicArray2 013: count . . . 23μs DynamicArray2 014: clear . . . 11μs DynamicArray2 015: begin_row and end_row . . . 69μs DynamicArray2 016: cbegin_row and cend_row . . . 30μs DynamicArray2 017: iterator operator++ (postfix) . . . 292μs DynamicArray2 018: iterator operator++ (prefix) . . . 1915μs DynamicArray2 019: iterator operator-- (postfix) . . . 377μs DynamicArray2 020: iterator operator-- (prefix) . . . 376μs DynamicArray2 021: operator= . . . 15μs DynamicArray2 022: operator== and operator!= . . . 262μs DynamicArray2 023: empty and clear . . . 14μs DynamicArray2 024: max_size . . . 10μs DynamicArray2 025: swap . . . 31μs DynamicArray2 026: iterator arithmetic . . . 1679μs DynamicArray2 027: iterator comparison . . . 14μs DynamicArray2 028: iterator operator= . . . 11μs DynamicArray2 029: iterator operator[] . . . 91μs DynamicArray2 030: iterator operator-> . . . 11μs DynamicArray2 031: const_iterator operator++/-- . . . 248μs DynamicArray2 032: const_iterator operator++/-- . . . 10μs DynamicArray2 033: column iterators . . . 27μs DynamicArray2 034: column iterator arithmetic . . . 6896μs DynamicArray2 035: iterator assignment constructor . . . 1952μs DynamicArray2 036: reserve method . . . 35μs DynamicArray2 037: erase column . . . 17μs DynamicArray2 038: swap_rows . . . 12μs DynamicArray2 039: apply_row_permutation . . . 13μs DynamicArray2 040: swap . . . 11μs DynamicArray2 041: shrink_rows_to . . . 16μs DynamicArray2 042: shrink_rows_to - for range . . . 17μs FastestBMat 046: check no throw . . . 12μs FelschTree 000: previously failing example . . . 28μs Forest 001: test forest . . . 74μs FpSemigroup 001: Renner monoid type B2 (E. G. presentation), q = 1 . . . 1023μs FpSemigroup 002: Renner monoid type B2 (E. G. presentation), q = 0 . . . 1491μs FpSemigroup 003: Renner monoid type B3 (E. G. presentation), q = 1 . . . 235ms FpSemigroup 004: Renner monoid type B3 (E. G. presentation), q = 0 . . . 176ms FpSemigroup 005: Renner monoid type B2 (Gay-Hivert presentat [...] . . . 976μs FpSemigroup 006: Renner monoid type B2 (Gay-Hivert presentat [...] . . . 959μs FpSemigroup 007: Renner monoid type B3 (Gay-Hivert presentat [...] . . . 6458μs FpSemigroup 008: Renner monoid type B3 (Gay-Hivert presentat [...] . . . 5963μs FpSemigroup 009: Renner monoid type B4 (Gay-Hivert presentat [...] . . . 264ms FpSemigroup 010: Renner monoid type B4 (Gay-Hivert presentat [...] . . . 364ms FpSemigroup 013: Renner monoid type D2 (E. G. presentation), q = 1 . . . 1803μs FpSemigroup 014: Renner monoid type D2 (E. G. presentation), q = 0 . . . 1571μs FpSemigroup 015: Renner monoid type D3 (E. G. presentation), q = 1 . . . 5250μs FpSemigroup 016: Renner monoid type D3 (E. G. presentation), q = 0 . . . 6551μs FpSemigroup 017: Renner monoid type D4 (E. G. presentation), q = 1 . . . 3136ms FpSemigroup 018: Renner monoid type D4 (E. G. presentation), q = 0 . . . 3127ms FpSemigroup 019: Renner monoid type D2 (Gay-Hivert presentat [...] . . . 1424μs FpSemigroup 020: Renner monoid type D2 (Gay-Hivert presentat [...] . . . 1518μs FpSemigroup 021: Renner monoid type D3 (Gay-Hivert presentat [...] . . . 7044μs FpSemigroup 022: Renner monoid type D3 (Gay-Hivert presentat [...] . . . 6364μs FpSemigroup 023: Renner monoid type D4 (Gay-Hivert presentat [...] . . . 118ms FpSemigroup 024: Renner monoid type D4 (Gay-Hivert presentat [...] . . . 134ms FpSemigroup 029: Rook monoid R5, q = 0 . . . 11ms FpSemigroup 030: Rook monoid R5, q = 1 . . . 8446μs FpSemigroup 031: Rook monoid R6, q = 0 . . . 70ms FpSemigroup 032: Rook monoid R6, q = 1 . . . 67ms FpSemigroup 033: normal_form . . . 766μs FpSemigroup 034: for a finite semigroup . . . 1137μs FpSemigroup 035: finite fp semigroup, dihedral group of order 6 . . . 832μs FpSemigroup 036: finite fp semigroup, size 16 . . . 1034μs FpSemigroup 037: finite fp semigroup, size 16 . . . 1077μs FpSemigroup 038: fp semigroup, size 240 . . . 1089μs FpSemigroup 039: add_rule . . . 232μs FpSemigroup 040: add_rule . . . 128μs FpSemigroup 041: equal_to . . . 274μs FpSemigroup 042: cbegin/cend_rules . . . 59μs FpSemigroup 043: semigroup of size 3 . . . 297μs FpSemigroup 044: run_for/until . . . 2743μs FpSemigroup 045: constructors . . . 245μs FpSemigroup 046: set_inverses . . . 141μs FpSemigroup 047: smalloverlap . . . 7376μs FpSemigroup 048: quaternion group Q8 . . . 443μs FpSemigroup 049: symmetric group Coxeter presentation . . . 111ms FpSemigroupByPairs 029: (fpsemi) 2-sided congruence on finit [...] . . . 773μs FpSemigroupByPairs 030: (fpsemi) 2-sided congruence on finit [...] . . . 732μs FpSemigroupInterface 000: run with no alphabet . . .  -- with ToddCoxeter 103μs  -- with KnuthBendix 67μs  -- with FpSemigroup 83μs FpSemigroupInterface 001: equal_to . . .  -- with ToddCoxeter and human readable alphabet 3765μs  -- with KnuthBendix and human readable alphabet 9866μs  -- with FpSemigroup and human readable alphabet 5649μs  -- with FpSemigroupByPairs 4211μs FpSemigroupInterface 002: normal_form . . .  -- with ToddCoxeter 250μs  -- with KnuthBendix 283μs  -- with FpSemigroup 1120μs FpSemigroupInterface 003: set_alphabet (1/2) . . .  -- with ToddCoxeter 167μs  -- with KnuthBendix 152μs  -- with FpSemigroup 168μs FpSemigroupInterface 004: set_alphabet (2/2) . . . 1499μs FpSemigroupInterface 005: add_rule after finished . . .  -- with ToddCoxeter and human readable alphabet 239μs  -- with KnuthBendix and human readable alphabet 282μs  -- with FpSemigroup and human readable alphabet 777μs  -- with FpSemigroupByPairs 1165μs FpSemigroupInterface 006: add_rule with equal words (1/2) . . .  -- with ToddCoxeter and human readable alphabet 134μs  -- with KnuthBendix and human readable alphabet 224μs  -- with FpSemigroup and human readable alphabet 270μs  -- with FpSemigroupByPairs 123μs FpSemigroupInterface 007: add_rule with equal words (2/2) . . .  -- with ToddCoxeter 25μs  -- with KnuthBendix 20μs  -- with FpSemigroup 31μs FpSemigroupInterface 008: add_rule with word_type . . .  -- with ToddCoxeter 60μs  -- with KnuthBendix 56μs  -- with FpSemigroup 85μs FpSemigroupInterface 009: add_rule with empty word (1/2) . . .  -- with ToddCoxeter 50μs  -- with FpSemigroup 57μs FpSemigroupInterface 010: add_rule with empty word (1/2) . . . 15μs FpSemigroupInterface 011: add_rules (1/3) . . .  -- with ToddCoxeter 51μs  -- with KnuthBendix 42μs  -- with FpSemigroup 53μs FpSemigroupInterface 012: add_rules (2/3) . . . 256μs FpSemigroupInterface 013: add_rules (3/3) . . .  -- with ToddCoxeter 27μs  -- with KnuthBendix 25μs  -- with FpSemigroup 60μs FpSemigroupInterface 014: set_identity (1/3) . . .  -- with ToddCoxeter 143μs  -- with KnuthBendix 138μs  -- with FpSemigroup 178μs FpSemigroupInterface 015: set_identity (2/3) . . . 175μs FpSemigroupInterface 016: set_identity (3/3) . . .  -- with ToddCoxeter 83μs  -- with KnuthBendix 84μs  -- with FpSemigroup 124μs FpSemigroupInterface 017: identity . . .  -- with ToddCoxeter 37μs  -- with KnuthBendix 33μs  -- with FpSemigroup 42μs FpSemigroupInterface 018: set_inverses + inverses (1/2) . . .  -- with ToddCoxeter 217μs  -- with KnuthBendix 219μs  -- with FpSemigroup 271μs FpSemigroupInterface 019: set_inverses + inverses (2/2) . . . 317μs FpSemigroupInterface 020: is_obviously_infinite (1/2) . . .  -- with ToddCoxeter 163μs  -- with KnuthBendix 213μs  -- with FpSemigroup 755μs FpSemigroupInterface 021: is_obviously_infinite (2/2) . . . 35μs FpSemigroupInterface 022: is_obviously_finite (1/2) . . .  -- with ToddCoxeter 151μs  -- with KnuthBendix 201μs  -- with FpSemigroup 453μs FpSemigroupInterface 023: is_obviously_finite (2/2) . . . 31μs FpSemigroupInterface 024: to_gap_string (1/3) . . .  -- with ToddCoxeter 31μs  -- with KnuthBendix 27μs  -- with FpSemigroup 62μs FpSemigroupInterface 025: to_gap_string (2/3) . . . 16μs FpSemigroupInterface 026: to_gap_string (3/3) . . . 28μs FroidurePin 015: (BMat8) regular boolean mat monoid 4 . . . 73ms FroidurePin 016: (BMat8) exception zero generators given . . . 14μs FroidurePin 017: (BMat8) exception word_to_element . . . 85μs FroidurePin 018: (BMat8) exception prefix . . . 2768μs FroidurePin 019: (BMat8) exception suffix . . . 20μs FroidurePin 020: (BMat8) exception first_letter . . . 2708μs FroidurePin 021: (BMat8) exception final_letter . . . 21μs FroidurePin 022: (BMat8) exception current_length . . . 2761μs FroidurePin 023: (BMat8) exception product_by_reduction . . . 3500μs FroidurePin 024: (BMat8) exception fast_product . . . 3486μs FroidurePin 025: (BMat8) exception is_idempotent . . . 37ms FroidurePin 026: (BMat8) copy constructor . . .  -- with fully enumerated 35ms  -- with partially enumerated 27ms  -- with not enumerated 25ms FroidurePin 027: (BMat8) cbegin/end_rules . . . 56μs FroidurePin 031: (integers) . . . 121μs FroidurePin 039: (pairs of integers) non-trivial user type . . . 23μs FroidurePin 055: (tropical max-plus semiring matrices) . . . 234μs FroidurePin 061: projective max plus matrix . . . 973μs FroidurePin 062: projective max plus matrix . . . 35μs FroidurePin> 009: small example 2 . . . 40μs FroidurePin> 005: small example 1 . . . 119μs FroidurePin> 007: regular bmat monoid 4 . . . 61ms FroidurePin> 011: small example 3 . . . 472μs FroidurePin> 006: small example 1 . . . 144μs FroidurePin> 008: regular bmat monoid 4 . . . 71ms FroidurePin> 010: small example 2 . . . 41μs FroidurePin> 012: small example 3 . . . 556μs FroidurePin 000: small example 1 . . . 152μs FroidurePin 001: default constructed . . . 124μs FroidurePin 002: small example 2 . . . 51μs FroidurePin 004: exception: is_idempotent . . . 302μs FroidurePin> 033: Example 000 . . . 700μs FroidurePin> 035: Example 001 . . . 44μs FroidurePin> 032: Example 000 . . . 540μs FroidurePin> 034: Example 001 . . . 39μs FroidurePin 036: exception: current_position . . . 175μs FroidurePin 037: exception: word_to_element . . . 115μs FroidurePin 038: exception: prefix, suffix, first_letter . . . 45ms FroidurePin> 040: Example 000 . . . 59μs FroidurePin> 041: Example 000 . . . 64μs FroidurePin> 046: Example 005 . . . 138μs FroidurePin> 047: Example 005 . . . 160μs FroidurePin> 048: Example 005 . . . 160μs FroidurePin> 044: Example 004 . . . 28μs FroidurePin> 045: Example 004 . . . 31μs FroidurePin> 049: Example 006 . . . 850μs FroidurePin> 050: Example 006 . . . 1074μs FroidurePin> 051: Example 006 . . . 1060μs FroidurePin> 052: Example 007 . . . 109μs FroidurePin> 053: Example 007 . . . 124μs FroidurePin> 054: Example 007 . . . 126μs FroidurePin 056: example 1 . . . 189μs FroidurePin 057: example 2 . . . 146μs FroidurePin> 058: . . . 561μs FroidurePin> 059: . . . 51μs FroidurePin> 060: exceptions: add_generator(s) . . . 70μs FroidurePin> 065: no exception zero generators given . . . 17μs FroidurePin> 066: exception generators of different [...] . . . 58μs FroidurePin> 067: exception current_position . . . 77μs FroidurePin> 068: exception word_to_element . . . 67μs FroidurePin> 069: exception gens . . . 698μs FroidurePin> 070: exception prefix . . . 45ms FroidurePin> 071: exception suffix . . . 114ms FroidurePin> 072: exception first_letter . . . 67μs FroidurePin> 073: exception final_letter . . . 64μs FroidurePin> 074: exception current_length . . . 64μs FroidurePin> 075: exception product_by_reduction . . . 876μs FroidurePin> 076: exception fast_product . . . 906μs FroidurePin> 077: exception current_position . . . 669μs FroidurePin> 078: exception is_idempotent . . . 628μs FroidurePin> 079: exception add_generators . . . 46μs FroidurePin> 080: multithread number_of_idempotents . . . 952μs FroidurePin> 081: small semigroup . . . 27μs FroidurePin> 082: large semigroup . . . 5123μs FroidurePin> 083: at, position, current_* . . . 5181μs FroidurePin> 084: run . . . 5141μs FroidurePin> 085: run [many stops and starts] . . . 5294μs FroidurePin> 086: factorisation, length [1 element] . . . 4890μs FroidurePin> 087: factorisation, products [all elements] . . . 8156μs FroidurePin> 088: first/final letter, prefix, suffi [...] . . . 4989μs FroidurePin> 089: current_position [standard] . . . 24μs FroidurePin> 090: current_position [duplicate gens] . . . 8414μs FroidurePin> 091: current_position [after add_generators] . . . 5241μs FroidurePin> 092: cbegin_idempotents/cend [1 thread] . . . 5669μs FroidurePin> 093: idempotent_cend/cbegin [1 thread] . . . 5671μs FroidurePin> 094: is_idempotent [1 thread] . . . 5887μs FroidurePin> 096: finished, started . . . 5010μs FroidurePin> 097: current_position . . . 1114μs FroidurePin> 098: sorted_position, sorted_at . . . 6265μs FroidurePin> 099: right/left Cayley graph . . . 35ms FroidurePin> 100: iterator . . . 9275μs FroidurePin> 101: reverse iterator . . . 9302μs FroidurePin> 102: iterator arithmetic . . . 41ms FroidurePin> 103: iterator sorted . . . 35ms FroidurePin> 104: iterator sorted arithmetic . . . 46ms FroidurePin> 105: copy [not enumerated] . . . 5138μs FroidurePin> 106: copy_closure [not enumerated] . . . 32ms FroidurePin> 107: copy_add_generators [not enumerated] . . . 30ms FroidurePin> 108: copy [partly enumerated] . . . 5643μs FroidurePin> 109: copy_closure [partly enumerated] . . . 8220μs FroidurePin> 110: copy_add_generators [partly enumerated] . . . 5486μs FroidurePin> 111: copy [fully enumerated] . . . 7981μs FroidurePin> 112: copy_closure [fully enumerated] . . . 8167μs FroidurePin> 113: copy_add_generators [fully enumerated] . . . 7539μs FroidurePin> 114: relations [duplicate gens] . . . 199μs FroidurePin> 115: relations . . . 8734μs FroidurePin> 116: relations [copy_closure, duplicat [...] . . . 8414μs FroidurePin> 117: relations [copy_add_generators, d [...] . . . 8561μs FroidurePin> 118: relations [from copy, not enumerated] . . . 6811μs FroidurePin> 119: relations [from copy, partly enum [...] . . . 11ms FroidurePin> 120: relations [from copy, fully enumerated] . . . 13ms FroidurePin> 121: relations [from copy_closure, not [...] . . . 11ms FroidurePin> 122: relations [from copy_add_generato [...] . . . 6827μs FroidurePin> 123: relations [from copy_closure, par [...] . . . 9579μs FroidurePin> 124: relations [from copy_add_generato [...] . . . 8293μs FroidurePin> 125: relations [from copy_closure, ful [...] . . . 11ms FroidurePin> 126: relations [from copy_add_generato [...] . . . 10ms FroidurePin> 127: add_generators [duplicate generators] . . . 244μs FroidurePin> 128: add_generators [incremental 1] . . . 257μs FroidurePin> 129: add_generators [incremental 2] . . . 316μs FroidurePin> 130: closure [duplicate generators] . . . 177μs FroidurePin> 131: closure . . . 90μs FroidurePin> 132: factorisation . . . 24μs FroidurePin> 134: minimal_factorisation . . . 68μs FroidurePin> 135: batch_size (for an extremely larg [...] . . . 24μs FroidurePin> 137: exception: generators of differen [...] . . . 37μs FroidurePin> 138: exception: current_position . . . 69μs FroidurePin> 139: exception: word_to_element . . . 69μs FroidurePin> 140: exception: gens, current_position . . . 985μs FroidurePin> 141: exception: add_generators . . . 38μs KBE 000: constructors . . . 45μs KBE 001: test . . . 78μs KBE 002: factorisation . . . 61μs KBE 003: swap . . . 43μs KBE 004: adapters . . . 40μs KBE 005: conversions . . . 40μs Kambites 000: (fpsemi) MT test 4 (std::string) . . . 6203μs Kambites 001: (fpsemi) MT test 4 (MultiStringView) . . . 6246μs Kambites 002: (fpsemi) number_of_pieces (std::string) . . . 111μs Kambites 003: (fpsemi) number_of_pieces (MultiStringView) . . . 101μs Kambites 004: (fpsemi) small_overlap_class (std::string) . . . 3591μs Kambites 005: (fpsemi) small_overlap_class (MultiStringView) . . . 3559μs Kambites 006: (fpsemi) random (std::string) . . . 10ms Kambites 007: (fpsemi) random (MultiStringView) . . . 10ms Kambites 008: (fpsemi) KnuthBendix 055 (std::string) . . . 15ms Kambites 009: (fpsemi) KnuthBendix 055 (MultiStringView) . . . 16ms Kambites 010: (fpsemi) smalloverlap/gap/test.gi:85 (std::string) . . . 88μs Kambites 011: (fpsemi) smalloverlap/gap/test.gi:85 (MultiStr [...] . . . 77μs Kambites 012: (fpsemi) free semigroup . . . 15μs Kambites 013: (fpsemi) smalloverlap/gap/test.gi:49 (std::string) . . . 35ms Kambites 014: (fpsemi) smalloverlap/gap/test.gi:49 (MultiStr [...] . . . 44ms 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) . . . 146ms Kambites 018: (fpsemi) smalloverlap/gap/test.gi:70 (MultiStr [...] . . . 182ms Kambites 021: (fpsemi) code coverage (std::string) . . . 49μs Kambites 022: (fpsemi) code coverage (MultiStringView) . . . 34μs Kambites 023: (fpsemi) prefix (std::string) . . . 72μs Kambites 024: (fpsemi) prefix (MultiStringView) . . . 101μs Kambites 025: (fpsemi) normal_form (Example 3.15) (std::string) . . . 75μs Kambites 026: (fpsemi) normal_form (Example 3.15) (MultiStri [...] . . . 98μs Kambites 027: (fpsemi) normal_form (Example 3.16) (std::string) . . . 55μs Kambites 028: (fpsemi) normal_form (Example 3.16) (MultiStri [...] . . . 75μs Kambites 029: (fpsemi) normal_form (Example 3.16) more exhau [...] . . . 94ms Kambites 030: (fpsemi) normal_form (Example 3.16) more exhau [...] . . . 93ms Kambites 031: (fpsemi) small presentation (std::string) . . . 89μs Kambites 032: (fpsemi) small presentation (MultiStringView) . . . 73μs Kambites 033: (fpsemi) non-smalloverlap (std::string) . . . 79μs Kambites 034: (fpsemi) non-smalloverlap (MultiStringView) . . . 81μs Kambites 035: (fpsemi) MT test 3 (std::string) . . . 51μs Kambites 036: (fpsemi) MT test 3 (MultiStringView) . . . 51μs Kambites 037: (fpsemi) MT test 5 (std::string) . . . 29μs Kambites 038: (fpsemi) MT test 5 (MultiStringView) . . . 30μs Kambites 039: (fpsemi) MT test 6 (std::string) . . . 41μs Kambites 040: (fpsemi) MT test 6 (MultiStringView) . . . 49μs Kambites 041: (fpsemi) MT test 10 (std::string) . . . 40μs Kambites 042: (fpsemi) MT test 10 (MultiStringView) . . . 46μs Kambites 043: (fpsemi) MT test 13 (std::string) . . . 29μs Kambites 044: (fpsemi) MT test 13 (MultiStringView) . . . 32μs Kambites 045: (fpsemi) MT test 14 (std::string) . . . 28μs Kambites 046: (fpsemi) MT test 14 (MultiStringView) . . . 30μs Kambites 047: (fpsemi) MT test 15 (std::string) . . . 40μs Kambites 048: (fpsemi) MT test 15 (MultiStringView) . . . 40μs Kambites 049: (fpsemi) MT test 16 (std::string) . . . 40μs Kambites 050: (fpsemi) MT test 16 (MultiStringView) . . . 43μs Kambites 051: (fpsemi) MT test 17 (std::string) . . . 118μs Kambites 052: (fpsemi) MT test 17 (MultiStringView) . . . 109μs Kambites 053: (fpsemi) weak C(4) not strong x 1 (std::string) . . . 632μs Kambites 054: (fpsemi) weak C(4) not strong x 1 (MultiStringView) . . . 720μs Kambites 055: (fpsemi) weak C(4) not strong x 2 (std::string) . . . 621μs Kambites 056: (fpsemi) weak C(4) not strong x 2 (MultiStringView) . . . 751μs Kambites 057: (fpsemi) weak C(4) not strong x 3 (std::string) . . . 609μs Kambites 058: (fpsemi) weak C(4) not strong x 3 (MultiStringView) . . . 560μs Kambites 059: (fpsemi) weak C(4) not strong x 4 (std::string) . . . 73μs Kambites 060: (fpsemi) weak C(4) not strong x 4 (MultiStringView) . . . 91μs Kambites 061: (fpsemi) weak C(4) not strong x 5 (std::string) . . . 37μs Kambites 062: (fpsemi) weak C(4) not strong x 5 (MultiStringView) . . . 34μs Kambites 063: (fpsemi) weak C(4) not strong x 6 (std::string) . . . 48μs Kambites 064: (fpsemi) weak C(4) not strong x 6 (MultiStringView) . . . 51μs Kambites 065: (fpsemi) Konovalov example (std::string) . . . 35μs Kambites 066: (fpsemi) Konovalov example (MultiStringView) . . . 34μs Kambites 067: (fpsemi) long words (std::string) . . . 1049ms Kambites 068: (fpsemi) long words (MultiStringView) . . . 42ms Kambites 075: (cong) example 1 . . . 45μs Kambites 076: (cong) example 2 . . . 131μs Kambites 077: (cong) code coverage . . . 5612μs Kambites 078: (cong) large number of rules . . . 241ms KnuthBendix 000: (fpsemi) confluent fp semigroup 1 (infinite) . . . 142μs KnuthBendix 001: (fpsemi) confluent fp semigroup 2 (infinite) . . . 135μs KnuthBendix 002: (fpsemi) confluent fp semigroup 3 (infinite) . . . 105μs KnuthBendix 003: (fpsemi) non-confluent fp semigroup from wi [...] . . . 194μs KnuthBendix 004: (fpsemi) Example 5.1 in Sims (infinite) . . . 169μs KnuthBendix 005: (fpsemi) Example 5.1 in Sims (infinite) . . . 164μs KnuthBendix 006: (fpsemi) Example 5.3 in Sims . . . 154μs KnuthBendix 007: (fpsemi) Example 5.4 in Sims . . . 193μs KnuthBendix 008: (fpsemi) Example 6.4 in Sims (size 168) . . . 10ms KnuthBendix 009: (fpsemi) . . . 47ms KnuthBendix 010: (fpsemi) SL(2, 7) from Chapter 3, Propositi [...] . . . 115ms KnuthBendix 011: (fpsemi) F(2, 5) - Chapter 9, Section 1 in [...] . . . 655μs KnuthBendix 012: (fpsemi) Reinis example 1 . . . 207μ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 . . . 177μs KnuthBendix 021: (from kbmag/standalone/kb_data/f25monoid) . . . 688μs KnuthBendix 022: (from kbmag/standalone/kb_data/degen4a) . . . 54ms KnuthBendix 023: (from kbmag/standalone/kb_data/torus) . . . 3228μs KnuthBendix 024: (from kbmag/standalone/kb_data/3a6) . . . 329ms KnuthBendix 025: (from kbmag/standalone/kb_data/f2) . . . 58μs KnuthBendix 026: (from kbmag/standalone/kb_data/s16) . . . 188ms KnuthBendix 027: (from kbmag/standalone/kb_data/a4monoid) . . . 74μs KnuthBendix 028: (from kbmag/standalone/kb_data/degen3) . . . 27μs KnuthBendix 029: (from kbmag/standalone/kb_data/ab1) . . . 26μs KnuthBendix 030: (from kbmag/standalone/kb_data/degen2) . . . 19μs KnuthBendix 031: (from kbmag/standalone/kb_data/f25) . . . 631μs KnuthBendix 032: (from kbmag/standalone/kb_data/237) . . . 809μs KnuthBendix 033: (from kbmag/standalone/kb_data/c2) . . . 18μs KnuthBendix 034: (from kbmag/standalone/kb_data/cosets) . . . 283μs KnuthBendix 035: Example 5.1 in Sims (KnuthBendix 09 again) . . . 76μs KnuthBendix 036: (from kbmag/standalone/kb_data/nilp2) . . . 38μs KnuthBendix 037: Example 6.4 in Sims . . . 17ms KnuthBendix 038: KnuthBendix 071 again . . . 888μs KnuthBendix 039: Example 5.4 in Sims (KnuthBendix 11 again) [...] . . . 294μs KnuthBendix 040: Example 5.4 in Sims (KnuthBendix 11 again) [...] . . . 231μs KnuthBendix 041: operator<< . . . 67μs KnuthBendix 042: confluence_interval . . . 21μs KnuthBendix 043: max_overlap . . . 20μs KnuthBendix 044: (fpsemi) (from kbmag/standalone/kb_data/d22 [...] . . . 1957μs KnuthBendix 045: (fpsemi) (from kbmag/standalone/kb_data/d22 [...] . . . 3372μs KnuthBendix 046: (fpsemi) small example . . . 989μs KnuthBendix 047: code coverage . . . 69μs KnuthBendix 048: small overlap 1 . . . 52μs KnuthBendix 049: (from kbmag/standalone/kb_data/s9) . . . 2319μs KnuthBendix 050: (fpsemi) Chapter 11, Lemma 1.8 (q = 6, r = [...] . . . 688μs KnuthBendix 051: (fpsemi) Chapter 11, Section 2 (q = 6, r = [...] . . . 159μs KnuthBendix 052: (fpsemi) Chapter 8, Theorem 4.2 in NR (infinite) . . . 297μs KnuthBendix 053: (fpsemi) equal_to fp semigroup . . . 58μs KnuthBendix 054: (fpsemi) equal_to free semigroup . . . 50μs KnuthBendix 055: (fpsemi) from GAP smalloverlap gap/test.gi [...] . . . 473μs KnuthBendix 056: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 810μs KnuthBendix 057: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 800μs KnuthBendix 058: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 2234μs KnuthBendix 059: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 5236μs KnuthBendix 060: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 32μs KnuthBendix 061: (fpsemi) Von Dyck (2,3,7) group (infinite) . . . 758μs KnuthBendix 062: (fpsemi) Von Dyck (2,3,7) group - different [...] . . . 6290μs KnuthBendix 063: (fpsemi) rewriting system from KnuthBendixC [...] . . . 474μs KnuthBendix 064: (fpsemi) rewriting system from Congruence 20 . . . 32μs KnuthBendix 065: (fpsemi) (from kbmag/standalone/kb_data/ab2) . . . 118μs KnuthBendix 066: (fpsemi) (from kbmag/standalone/kb_data/d22 [...] . . . 2019μs KnuthBendix 067: (fpsemi) (from kbmag/standalone/kb_data/degen1) . . . 75μs KnuthBendix 068: (fpsemi) (from kbmag/standalone/kb_data/s4) . . . 464μs KnuthBendix 069: (fpsemi) fp semigroup (infinite) . . . 63μs KnuthBendix 070: (fpsemi) Chapter 11, Section 1 (q = 4, r = [...] . . . 2454μs KnuthBendix 071: (fpsemi) Chapter 11, Section 1 (q = 8, r = [...] . . . 134ms KnuthBendix 072: (fpsemi) Chapter 7, Theorem 3.9 in NR (size 240) . . . 4646μs KnuthBendix 073: (fpsemi) F(2, 5) - Chapter 9, Section 1 in [...] . . . 653μs KnuthBendix 074: (fpsemi) F(2, 6) - Chapter 9, Section 1 in NR . . . 712μs KnuthBendix 075: (fpsemi) Chapter 10, Section 4 in NR (infinite) . . . 1316μs KnuthBendix 076: (fpsemi) Sym(5) from Chapter 3, Proposition [...] . . . 4053μs KnuthBendix 077: (fpsemi) SL(2, 7) from Chapter 3, Propositi [...] . . . 114ms KnuthBendix 078: (fpsemi) bicyclic monoid (infinite) . . . 50μs KnuthBendix 079: (fpsemi) plactic monoid of degree 2 (infinite) . . . 84μs KnuthBendix 080: (fpsemi) example before Chapter 7, Proposit [...] . . . 54μs KnuthBendix 081: (fpsemi) Chapter 7, Theorem 3.6 in NR (size 243) . . . 1063μs KnuthBendix 082: (fpsemi) finite semigroup (size 99) . . . 340μs KnuthBendix 096: Sorouhesh . . . 467μs KnuthBendix 097: (fpsemi) transformation semigroup (size 4) . . . 64μs KnuthBendix 098: (fpsemi) transformation semigroup (size 9) . . . 63μs KnuthBendix 099: (fpsemi) transformation semigroup (size 88) . . . 845μs KnuthBendix 100: internal_string_to_word . . . 44μs KnuthBendix 101: (fpsemi) construct from shared_ptr . . . 928μs KnuthBendix 102: internal_string_to_word . . . 1275μs KnuthBendix 103: (cong) free semigroup congruence (5 classes) . . . 88μs KnuthBendix 104: free semigroup congruence (6 classes) . . . 468μs KnuthBendix 105: (cong) free semigroup congruence (16 classes) . . . 606μs KnuthBendix 106: (cong) free semigroup congruence (6 classes) . . . 971μs KnuthBendix 107: (cong) free semigroup congruence (240 classes) . . . 5063μs KnuthBendix 108: (cong) free semigroup congruence (240 classes) . . . 4515μs KnuthBendix 109: (cong) less . . . 5945μs KnuthBendix 110: (cong) less . . . 243ms KnuthBendix 111: (cong) constructors . . . 394ms KnuthBendix 112: (cong) const_contains/contains . . . 246μs KnuthBendix 113: (cong) is_quotient_obviously_finite . . . 26μs KnuthBendix 114: (cong) class_index_to_word . . . 281μs KnuthBendix 115: (cong) quotient_froidure_pin . . . 200μs KnuthBendix 116: (cong) set_number_of_generators . . . 33μs KnuthBendix 117: (cong) number of classes when obv-inf . . . 58μs KnuthBendixCongruenceByPairs 016: non-trivial congruence on [...] . . . 242μs KnuthBendixCongruenceByPairs 017: non-trivial congruence on [...] . . . 323μs KnuthBendixCongruenceByPairs 018: non-trivial congruence on [...] . . . 677μs KnuthBendixCongruenceByPairs 019: non-trivial congruence on [...] . . . 684μs KnuthBendixCongruenceByPairs 020: trivial congruence on a fi [...] . . . 288μs KnuthBendixCongruenceByPairs 021: universal congruence on a [...] . . . 766μs KnuthBendixCongruenceByPairs 022: left congruence on a finit [...] . . . 388μs KnuthBendixCongruenceByPairs 023: finite group, Chapter 11, [...] . . . 6761μs KnuthBendixCongruenceByPairs 024: right congruence on infini [...] . . . 515μs KnuthBendixCongruenceByPairs 025: finite fp semigroup, dihed [...] . . . 592μs KnuthBendixCongruenceByPairs 026: finite fp semigroup, size 16 . . . 622μs KnuthBendixCongruenceByPairs 027: finite fp semigroup, size 16 . . . 1594μs KnuthBendixCongruenceByPairs 028: infinite fp semigroup with [...] . . . 83μs Konieczny 000: test000> . . . 1051μs Konieczny 001: test000> . . . 835μs Konieczny 002: test001> . . . 11ms Konieczny 003: test001> . . . 9403μs Konieczny 006: exceptions . . . 48μs Konieczny 007: code coverage . . . 13ms Konieczny 008: code coverage . . . 11ms Konieczny 009: regular elements and idempotents . . . 169ms Konieczny 010: regular D-class 01 . . . 936μs Konieczny 011: regular D-class 02 . . . 7664μs Konieczny 012: regular D-class 04: contains . . . 25ms Konieczny 013: non-regular D-classes 01 . . . 985μs Konieczny 014: RegularDClass . . . 601μs Konieczny 015: full bmat monoid 4 . . . 34ms Konieczny 017: regular generated bmat monoid 4 idempotents . . . 53ms Konieczny 019: my favourite example . . . 73ms Konieczny 020: another large example . . . 13ms Konieczny 021: my favourite example transposed . . . 60ms Konieczny 024: exceptions . . . 1096μs Konieczny 025: 0-parameter constructor . . . 15ms Konieczny 026: non-regular D-classes 02 . . . 9330μs Konieczny 028: partial perm . . . 161ms Konieczny 029: symmetric inverse monoid n = 8 . . . 26ms Konieczny 030: exceptions . . . 205ms Konieczny 031: transformations . . . 964μs Konieczny 032: transformations - JDM favourite example . . . 111ms Konieczny 033: transformations - large example . . . 263ms Konieczny 034: transformations - large example with stop . . . 264ms Konieczny 035: transformations - large example with run_until . . . 263ms Konieczny 036: transformations - large example with stop in Action . . . 263ms Konieczny 037: exceptions . . . 69μs Konieczny 038: transformations: contains . . . 742μs Konieczny 040: transformations - destructor coverage . . . 216ms Konieczny 041: current_number_D_classes . . . 222ms Konieczny 042: add_generator . . . 42μs Konieczny 043: add_generator . . . 29μs Matrix 000: BMat<2> . . . 84μs Matrix 001: BMat<> . . . 87μs Matrix 002: BMat<3> + BMat<> . . . 11μs Matrix 003: BMat<2> + BMat<> . . . 11μs Matrix 004: BMat<3> . . . 13μs Matrix 005: BMat<> . . . 14μs Matrix 006: BMat<3> row_basis . . . 43μs Matrix 007: BMat<> row_basis . . . 48μs Matrix 008: IntMat<3> . . . 16μs Matrix 009: IntMat<> . . . 19μs Matrix 010: IntMat code cov . . . 11μs Matrix 011: MaxPlusMat<3> . . . 14μs Matrix 012: MaxPlusMat<> . . . 15μs Matrix 013: MaxPlusMat code cov . . . 9000ns Matrix 014: MinPlusMat<3> . . . 17μs Matrix 015: MinPlusMat<> . . . 20μs Matrix 016: MinPlusMat code cov . . . 9000ns Matrix 017: MaxPlusTruncMat<5, 2> . . . 17μs Matrix 018: MaxPlusTruncMat<5> . . . 18μs Matrix 019: MaxPlusTruncMat<> . . . 32μs Matrix 020: MaxPlusTruncMat<5, 4> . . . 17μs Matrix 021: MaxPlusTruncMat<5> . . . 18μs Matrix 022: MaxPlusTruncMat<> . . . 18μs Matrix 023: MaxPlusTruncMat<33, 3> . . . 37μs Matrix 024: MaxPlusTruncMat<33> . . . 38μs Matrix 025: MaxPlusTruncMat<> . . . 37μs Matrix 026: MaxPlusMat code cov . . . 9000ns Matrix 027: MinPlusTruncMat<33, 3> . . . 38μs Matrix 028: MinPlusTruncMat<33> . . . 39μs Matrix 029: MinPlusTruncMat<> . . . 53μs Matrix 030: NTPMat<0, 3, 3, 3> . . . 15μs Matrix 031: NTPMat<0, 3> . . . 16μs Matrix 032: NTPMat<> . . . 43μs Matrix 033: NTPMat<0, 10, 4, 4> . . . 26μs Matrix 034: NTPMat<0, 10> . . . 21μs Matrix 035: NTPMat<> . . . 20μs Matrix 036: NTPMat<0, 10, 4, 4> . . . 21μs Matrix 037: NTPMat<0, 10> . . . 19μs Matrix 038: NTPMat<> . . . 19μs Matrix 039: NTPMat<33, 2, 3, 3> . . . 17μs Matrix 040: NTPMat<33, 2> . . . 14μs Matrix 041: NTPMat<> . . . 15μs Matrix 042: ProjMaxPlusMat<3> . . . 111μs Matrix 043: ProjMaxPlusMat<> . . . 77μs Matrix 044: exceptions . . . 64μs Matrix 045: code coverage . . . 55μs MultiStringView 000: catch all . . . 37μs MultiStringView 001: is_prefix . . . 14μs MultiStringView 002: erase . . . 15μs MultiStringView 003: iterators . . . 11μs MultiStringView 004: constructors (long) . . . 21μs MultiStringView 005: constructors (short) . . . 16μs MultiStringView 006: copy assignment (short assigned to long) . . . 13μs MultiStringView 007: copy assignment (short assigned to short) . . . 12μs MultiStringView 008: move assignment (short assigned to long) . . . 13μs MultiStringView 009: move assignment (short assigned to short) . . . 12μs MultiStringView 010: code coverage . . . 21μs MultiStringView 011: pop_front . . . 39μs MultiStringView 012: append . . . 13μs MultiStringView 013: operators . . . 16μs MultiStringView 014: maximum_common_suffix . . . 13μs MultiStringView 015: deep tests . . . 9000ns ObviouslyInfinite 011: Multiple rule additions . . . 36μs ObviouslyInfinite 012: A power of the generator 'b' does not [...] . . . 12μs ObviouslyInfinite 013: Preserves the number of occurrences o [...] . . . 12μs ObviouslyInfinite 014: Less relations than generators . . . 11μs ObviouslyInfinite 015: Relations preserve length . . . 12μs ObviouslyInfinite 016: Matrix has non empty kernel . . . 13μs ObviouslyInfinite 017: Free product of trivial semigroups . . . 11μs ObviouslyInfinite 018: Another free product . . . 14μs ObviouslyInfinite 019: Infinite but not obviously so . . . 13μs ObviouslyInfinite 020: Finite semigroup . . . 15μs PBR 001: universal product with convenience constructor . . . 46μs PBR 002: universal product . . . 19μs PBR 003: product [bigger than previous] . . . 25μs PBR 004: hash . . . 10μs PBR 005: delete/copy . . . 20μs PBR 006: exceptions . . . 246μs PBR 007: operators . . . 61μs PBR 008: to_string . . . 22μs PBR 009: identity . . . 41μs PBR 010: adapters . . . 9000ns Pool 000: initial . . . 32μs Pool 001: bmat . . . 32μs Pool 002: PoolGuard . . . 29μs Pool 003: transformation products . . . 13μs Presentation 000: vectors of ints . . . 105μs Presentation 001: strings . . . 109μs Presentation 002: constructors (word_type) . . . 22μs Presentation 003: constructors (StaticVector1) . . . 25μs Presentation 004: constructors (std::string) . . . 22μs Presentation 005: alphabet + letters (word_type) . . . 187μs Presentation 006: alphabet + letters (std::string) . . . 60μs Presentation 007: contains_empty_word . . . 12μs Presentation 008: validate_rules throws . . . 70μs Presentation 009: helpers add_rule(s) . . . 133μs Presentation 010: helpers add_rule(s) (std::string) . . . 46μs Presentation 011: helpers add_identity_rules (std::vector/St [...] . . . 60μs Presentation 012: helpers add_identity_rules (std::string) . . . 34μs Presentation 013: helpers add_inverse_rules (all) . . . 303μs Presentation 014: helpers add_inverse_rules (std::string) . . . 19μs Presentation 015: helpers remove_duplicate_rules . . . 87μs Presentation 016: helpers reduce_complements . . . 156μs Presentation 017: helpers sort_each_rule . . . 91μs Presentation 018: helpers sort_rules . . . 93μs Presentation 019: helpers longest_common_subword/replace_subword . . . 185μs Presentation 020: helpers redundant_rule . . . 18ms Presentation 021: helpers shortlex_compare_concat . . . 10μs Presentation 022: helpers remove_trivial_rules . . . 94μs Presentation 023: helpers replace_subword (existing, replacement) . . . 49μs Presentation 024: helpers longest_rule . . . 188μs Presentation 025: helpers longest_rule_length . . . 171μs Presentation 026: helpers remove_redundant_generators . . . 139μs Presentation 027: helpers reverse . . . 20μs Presentation 028: in_alphabet . . . 26μs Presentation 029: replace_subword with empty word . . . 28μs Presentation 030: helpers replace_word . . . 38μs Presentation 031: clear . . . 11μs Presentation 032: letter . . . 47μs Presentation 033: normalize_alphabet . . . 15μs Presentation 034: longest_common_subword issue . . . 222μs Presentation 035: helpers add_zero_rules (std::vector/Static [...] . . . 62μs Presentation 036: helpers add_zero_rules (std::string) . . . 34μs Presentation 037: make_semigroup . . . 44μs Presentation 038: greedy_reduce_length . . . 151μs Presentation 039: aaaaaaaab = aaaaaaaaab strong compression . . . 45μs Presentation 040: change_alphabet . . . 98μs Presentation 041: sort_rules bug . . . 190μs Presentation 042: first_unused_letter/letter . . . 215μs Presentation 043: case where strong compression doesn't work . . . 28μs Presentation 044: proof that . . . 46μs Presentation 045: decompression . . . 18μs Race 001: run_for . . . 10ms Race 002: run_until . . . 10ms Race 003: exceptions . . . 10ms Race 004: iterators . . . 14μs Race 005: find_runner . . . 14μ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 . . . 1016μs Runner 002: run_for . . . 191ms Runner 003: run_for . . . 25ms Runner 004: started . . . 1023μs Runner 005: run_until . . . 114ms Runner 006: kill . . . 11μs Runner 007: copy constructor . . . 10ms Runner 008: report . . . 20ms Runner 009: run_until with function pointer . . . 12μs SchreierSims 001: trivial perm. group (degree 1) . . . 12μs SchreierSims 002: trivial perm. group (degree 2) . . . 13μs SchreierSims 003: trivial perm. group (degree 500) . . . 45μs SchreierSims 004: symmetric perm. group (degree 5) . . . 20μs SchreierSims 005: symmetric perm. group (degree 8) . . . 36μs SchreierSims 006: symmetric perm. group (degree 9) . . . 54μs SchreierSims 007: alternating perm. group (degree 12) . . . 88μs SchreierSims 008: symmetric perm. group (degree 16) . . . 817μs SchreierSims 009: alternating perm. group (degree 15) . . . 404μs SchreierSims 010: alternating perm. group (degree 16) . . . 930μs SchreierSims 011: dihedral perm. group (order 10) . . . 13μs SchreierSims 012: dihedral perm. group (order 200) . . . 475μs SchreierSims 013: perm. group T (order 12) . . . 15μs SchreierSims 014: quaternion perm. group (order 8) . . . 17μs SchreierSims 015: perm. group (order 84129611558952960) . . . 210ms SchreierSims 016: perm. group SL(3, 5) (order 372000) . . . 828μs SchreierSims 017: perm. group PSL(4, 8) (order 34558531338240) . . . 88ms SchreierSims 018: perm. Mathieu group M11 (order 7920) . . . 76μs SchreierSims 019: perm. Mathieu group M24 (order 244823040) . . . 183μs SchreierSims 020: perm. Janko Group J1 (order 175560) . . . 1467μs SchreierSims 021: perm. Hall-Janko group (order 604800) . . . 272μs SchreierSims 022: perm. Hall-Janko group (alt.) (order 604800) . . . 15ms SchreierSims 023: perm. Conway group Co3 (order 495766656000) . . . 5622μs SchreierSims 024: perm. Conway group Co3 (alt.) (order 49576 [...] . . . 11ms SchreierSims 025: perm. Suzuki group (order 448345497600) . . . 53ms SchreierSims 027: perm. Held group (order 4030387200) . . . 105ms SchreierSims 028: perm. group C2 x C2 x C2 (order 8) . . . 26μs SchreierSims 029: perm. group C2 x C2 x C2 x C2 (order 16) . . . 35μs SchreierSims 030: perm. group (S5 x S5) : C2 (order 28800) . . . 63μs SchreierSims 031: perm. group C3 x D8 x A5 (order 1440) . . . 64μs SchreierSims 032: perm. group GL(4, 3) (order 24261120) . . . 554μs SchreierSims 033: perm. group PSL(3, 7) (order 1876896) . . . 562μs SchreierSims 037: symmetric perm. group (degree 5) . . . 27μs SchreierSims 038: alternating perm. group (degree 17) . . . 4753μs SchreierSims 039: exceptions . . . 150μs SchreierSims 040: exceptions . . . 72μs SchreierSims 041: trivial group . . . 52μs SchreierSims 042: A17 bug . . . 4008μs SchreierSims 043: orbits_lookup test . . . 526μs SchreierSims 044: transversal_element and inversal_element test . . . 2583μs SchreierSimsHelper 001: trivial perm. group intersection (de [...] . . . 14μs SchreierSimsHelper 002: trivial perm. group intersection (de [...] . . . 17μs SchreierSimsHelper 003: cyclic group intersection (degree 13) . . . 29μs SchreierSimsHelper 004: D10 and Z5 intersection . . . 30μs SchreierSimsHelper 005: D8 and Q8 intersection . . . 26μs SchreierSimsHelper 006: primitive on 8 points intersection . . . 79μs SchreierSimsHelper 007: primitive on 8 points intersection ( [...] . . . 76μs SchreierSimsHelper 008: A13 and PGL(2, 11) intersection . . . 819μs SchreierSimsHelper 009: A13 and PGL(2, 11) intersection (swa [...] . . . 780μs SchreierSimsHelper 012: 3^3:13 and 3^3.2.A(4) intersection . . . 138μs SchreierSimsHelper 015: 3^3(S(4) x 2) and ASL(3, 3) intersection . . . 276μs SchreierSimsHelper 016: 7^2:3 x Q(8) and 7^2:D(2*6) intersection . . . 316μs SchreierSimsHelper 018: D(2*53) and 53:13 intersection . . . 188μs SchreierSimsHelper 019: 2^6:(7 x D_14) and PSL(2, 6)^2.4 int [...] . . . 1390μs SchreierSimsHelper 020: 2^6:(S_3 x GL(3, 2)) and 2.6:Alt(7) [...] . . . 4430μs SchreierSimsHelper 022: PSL(2, 127) and AGL(1, 2^7) intersection . . . 9002μs SchreierSimsHelper 023: PSL(3, 4).2 and PSL(3, 4).2 (nontriv [...] . . . 1405μs SchreierSimsHelper 024: PSL(3, 4).Sym(3) and PSL(3, 4).2 int [...] . . . 1776μs SchreierSimsHelper 025: 3^4:5:4 and D_16:4 intersection . . . 908μs Sims1 000: fp example 1 . . . 1991μs Sims1 001: fp example 2 . . . 2404μs Sims1 002: ToddCoxeter failing example . . . 23ms Sims1 003: ToddCoxeter failing example . . . 951μs Sims1 004: partition_monoid(2) right . . . 7725μs Sims1 006: full_transformation_monoid(3) right . . . 9136μs Sims1 007: full_transformation_monoid(3) left . . . 5225μs Sims1 009: rook_monoid(2, 1) . . . 113μs Sims1 010: symmetric_inverse_monoid(2) from FroidurePin . . . 109μs Sims1 011: symmetric_inverse_monoid(3) . . . 9107μs Sims1 014: temperley_lieb_monoid(3) from presentation . . . 80μs Sims1 015: temperley_lieb_monoid(4) from presentation . . . 1050μs Sims1 016: fp semigroup containing given pairs #1 . . . 367μs Sims1 017: fp semigroup containing given pairs #2 . . . 379μs Sims1 018: fp semigroup containing given pairs #3 . . . 668μs Sims1 019: ToddCoxeter failing example . . . 1066μs Sims1 020: fp example 2 . . . 2537μs Sims1 021: exceptions . . . 350μs Sims1 027: from https://mathoverflow.net/questions/423541/ . . . 38ms Sims1 028: from https://mathoverflow.net/questions/423541/ . . . 29ms Sims1 030: presentation with one free generator . . . 312μs Sims1 031: presentation with non-zero index generators . . . 64μs Sims1 032: presentation with empty word . . . 13ms Sims1 033: constructors . . . 1767μs Sims1 034: split_at . . . 328μs Sims1 035: stats . . . 93μs Sims1 036: check iterator requirements . . . 156μs Sims1 040: TransitiveGroup(10, 32) - minimal rep . . . 3732μs Sims1 043: rectangular_band(2, 2) - with and without identity . . . 232μs Sims1 044: trivial group - minimal o.r.c. rep . . . 99μs Sims1 045: right zero semigroup - minimal o.r.c. rep . . . 2178μs Sims1 046: semigroup with faithful non-strictly cyclic actio [...] . . . 683μs Sims1 068: RepOrc . . . 20ms Sims1 069: fp example 1 . . . 749μ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 4412μs (805ns 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 . . . 4475μs Sims1 072: symmetric_group(n) for n = 4 . . . 2240μs Sims1 073: corner case no generators + no relations . . . 135μs Sims1 076: uninitialized RepOrc . . . 23μs SmallestInteger 001: . . . 11μs StaticTriVector2 045: all . . . 17μs StaticVector2 043: all . . . 17μs Stephen 000: basic test 1 . . . 238μs Stephen 001: basic test 2 . . . 155μs Stephen 002: full transf monoid . . . 15ms Stephen 003: from step_hen 002 . . . 84μs Stephen 004: from step_hen 003 . . . 226μs Stephen 005: from step_hen 004 . . . 45μs Stephen 006: from step_hen 005 . . . 145μs Stephen 008: C(4) monoid normal form (test_case_knuth_bendix_055) . . . 199μs Stephen 009: C(4) monoid normal form (test_case_gap_smallove [...] . . . 143μs Stephen 010: code coverage . . . 215μs Stephen 011: C(4) monoid normal form (test_case_gap_smallove [...] . . . 472μs Stephen 012: C(4) monoid normal form (test_case_gap_smallove [...] . . . 324μs Stephen 013: C(4) monoid equal to (test_case_gap_smalloverlap_70) . . . 137μs Stephen 014: C(4) monoid normal form (test_case_ex_3_13_14) . . . 658μs Stephen 015: C(4) monoid normal form (test_case_ex_3_15) . . . 862μs Stephen 016: C(4) monoid normal form (test_case_ex_3_16) . . . 523μs Stephen 017: C(4) monoid normal form (test_case_mt_3) . . . 246μs Stephen 018: C(4) monoid normal form (test_case_mt_5) . . . 169μs Stephen 019: C(4) monoid normal form (test_case_mt_6) . . . 486μs Stephen 020: C(4) monoid normal form (test_case_mt_10) . . . 168μs Stephen 021: C(4) monoid normal form (test_case_mt_13) . . . 155μs Stephen 022: C(4) monoid normal form (test_case_mt_14) . . . 154μs Stephen 023: C(4) monoid normal form (test_case_mt_15) . . . 156μs Stephen 024: C(4) monoid normal form (test_case_mt_16) . . . 163μs Stephen 025: C(4) monoid normal form (test_case_mt_17) . . . 435μs Stephen 026: C(4) monoid normal form (test_case_weak_1) . . . 623μs Stephen 027: C(4) monoid normal form (test_case_weak_2) . . . 303μs Stephen 028: C(4) monoid normal form (test_case_weak_3) . . . 306μs Stephen 029: C(4) monoid normal form (test_case_weak_4) . . . 303μs Stephen 030: C(4) monoid normal form (test_case_weak_5) . . . 164μs Stephen 031: Test behaviour when uninitialised . . . 467μs Suf 005: unite . . . 23μs Suf 007: compress . . . 13μs Suf 011: big chain . . . 21ms Suf 013: empty table . . . 9000ns Suf 015: join . . . 12μs Suf 017: contains . . . 30μs Suf 019: swap . . . 33μs Timer 001: string method (1 argument) . . . 28μs Timer 002: string method (0 arguments) . . . 10ms Timer 003: reset/elapsed method . . . 20ms Timer 004: operator<< . . . 21μs ToddCoxeter 000: small 2-sided congruence . . .  -- with HLT + no standardise + full lookahead + no save 2336μs  -- with HLT + standardise + full lookahead + no save 2263μs  -- with HLT + no standardise + partial lookahead + no save 2227μs  -- with HLT + standardise + partial lookahead + no save 2234μs  -- with HLT + no standardise + full lookahead + save 2315μs  -- with HLT + standardise + full lookahead + save 2325μs  -- with HLT + no standardise + partial lookahead + save 2271μs  -- with HLT + standardise + partial lookahead + save 2275μs  -- with Felsch + no standardisation 2231μs  -- with Felsch + standardisation 2250μs  -- with random strategy 2318μs  -- with Rc style + full lookahead 2253μs  -- with Rc style + partial lookahead 2250μs  -- with R/C style 2294μs  -- with CR style 1486μs  -- with Cr style 1410μs ToddCoxeter 001: small 2-sided congruence . . .  -- with HLT + no standardise + full lookahead + no save 5817μs  -- with HLT + standardise + full lookahead + no save 5395μs  -- with HLT + no standardise + partial lookahead + no save 5246μs  -- with HLT + standardise + partial lookahead + no save 5257μs  -- with HLT + no standardise + full lookahead + save 5280μs  -- with HLT + standardise + full lookahead + save 5256μs  -- with HLT + no standardise + partial lookahead + save 5266μs  -- with HLT + standardise + partial lookahead + save 5250μs  -- with Felsch + no standardisation 5264μs  -- with Felsch + standardisation 5254μs  -- with random strategy 5264μs  -- with Rc style + full lookahead 5250μs  -- with Rc style + partial lookahead 5269μs  -- with R/C style 5263μs  -- with CR style 5275μs  -- with Cr style 5271μs ToddCoxeter 003: constructed from FroidurePin . . .  -- with Felsch + no standardisation 244ms  -- with Felsch + standardisation 244ms  -- with HLT + no standardise + full lookahead + no save 72ms  -- with HLT + standardise + full lookahead + no save 72ms  -- with HLT + no standardise + partial lookahead + no save 72ms  -- with HLT + standardise + partial lookahead + no save 73ms  -- with HLT + no standardise + full lookahead + save 256ms  -- with HLT + standardise + full lookahead + save 257ms  -- with HLT + no standardise + partial lookahead + save 256ms  -- with HLT + standardise + partial lookahead + save 258ms  -- with random strategy 253ms  -- with Rc style + full lookahead 249ms  -- with Rc style + partial lookahead 249ms  -- with R/C style 79ms  -- with CR style 249ms  -- with Cr style 249ms ToddCoxeter 004: 2-sided congruence from FroidurePin . . .  -- with HLT + no standardise + full lookahead + no save 276μs  -- with HLT + standardise + full lookahead + no save 243μs  -- with HLT + no standardise + partial lookahead + no save 237μs  -- with HLT + standardise + partial lookahead + no save 237μs  -- with HLT + save (throws) 271μs  -- with Felsch (throws) 254μs  -- with random strategy 264μs ToddCoxeter 005: non-trivial two-sided from relations . . .  -- with HLT + no standardise + full lookahead + no save 95μs  -- with HLT + standardise + full lookahead + no save 82μs  -- with HLT + no standardise + partial lookahead + no save 80μs  -- with HLT + standardise + partial lookahead + no save 80μs  -- with HLT + no standardise + full lookahead + save 97μs  -- with HLT + standardise + full lookahead + save 113μs  -- with HLT + no standardise + partial lookahead + save 92μs  -- with HLT + standardise + partial lookahead + save 91μs  -- with Felsch + no standardisation 82μs  -- with Felsch + standardisation 80μs  -- with random strategy 99μs  -- with Rc style + full lookahead 86μs  -- with Rc style + partial lookahead 83μs  -- with R/C style 85μs  -- with CR style 84μs  -- with Cr style 84μs ToddCoxeter 006: small right cong. on free semigroup . . .  -- with HLT + no standardise + full lookahead + no save 58μs  -- with HLT + standardise + full lookahead + no save 53μs  -- with HLT + no standardise + partial lookahead + no save 52μs  -- with HLT + standardise + partial lookahead + no save 53μs  -- with HLT + no standardise + full lookahead + save 59μs  -- with HLT + standardise + full lookahead + save 57μs  -- with HLT + no standardise + partial lookahead + save 56μs  -- with HLT + standardise + partial lookahead + save 56μs  -- with Felsch + no standardisation 55μs  -- with Felsch + standardisation 58μs  -- with random strategy 64μs  -- with Rc style + full lookahead 56μs  -- with Rc style + partial lookahead 56μs  -- with R/C style 59μs  -- with CR style 60μs  -- with Cr style 59μs ToddCoxeter 007: left cong. on free semigroup . . .  -- with HLT + no standardise + full lookahead + no save 64μs  -- with HLT + standardise + full lookahead + no save 60μs  -- with HLT + no standardise + partial lookahead + no save 59μs  -- with HLT + standardise + partial lookahead + no save 60μs  -- with HLT + no standardise + full lookahead + save 64μs  -- with HLT + standardise + full lookahead + save 64μs  -- with HLT + no standardise + partial lookahead + save 64μs  -- with HLT + standardise + partial lookahead + save 64μs  -- with Felsch + no standardisation 62μs  -- with Felsch + standardisation 66μs  -- with random strategy 75μs  -- with Rc style + full lookahead 67μs  -- with Rc style + partial lookahead 68μs  -- with R/C style 71μs  -- with CR style 71μs  -- with Cr style 71μs ToddCoxeter 008: for small fp semigroup . . .  -- with HLT + no standardise + full lookahead + no save 57μs  -- with HLT + standardise + full lookahead + no save 53μs  -- with HLT + no standardise + partial lookahead + no save 51μs  -- with HLT + standardise + partial lookahead + no save 52μs  -- with HLT + no standardise + full lookahead + save 56μs  -- with HLT + standardise + full lookahead + save 56μs  -- with HLT + no standardise + partial lookahead + save 56μs  -- with HLT + standardise + partial lookahead + save 56μs  -- with Felsch + no standardisation 55μs  -- with Felsch + standardisation 55μs  -- with random strategy 67μs  -- with Rc style + full lookahead 58μs  -- with Rc style + partial lookahead 58μs  -- with R/C style 62μs  -- with CR style 61μs  -- with Cr style 62μs ToddCoxeter 009: 2-sided cong. trans. semigroup . . .  -- with HLT + no standardise + full lookahead + no save 306μs  -- with HLT + standardise + full lookahead + no save 295μs  -- with HLT + no standardise + partial lookahead + no save 287μs  -- with HLT + standardise + partial lookahead + no save 291μs  -- with HLT + no standardise + full lookahead + save 757μs  -- with HLT + standardise + full lookahead + save 750μs  -- with HLT + no standardise + partial lookahead + save 740μs  -- with HLT + standardise + partial lookahead + save 744μs  -- with Felsch + no standardisation 698μs  -- with Felsch + standardisation 688μs  -- with random strategy 333μs  -- with Rc style + full lookahead 311μs  -- with Rc style + partial lookahead 312μs  -- with R/C style 335μs  -- with CR style 710μs  -- with Cr style 706μs ToddCoxeter 010: left congruence on transformation semigroup . . .  -- with HLT + no standardise + full lookahead + no save 341μs  -- with HLT + standardise + full lookahead + no save 353μs  -- with HLT + no standardise + partial lookahead + no save 333μs  -- with HLT + standardise + partial lookahead + no save 351μs  -- with HLT + no standardise + full lookahead + save 862μs  -- with HLT + standardise + full lookahead + save 866μs  -- with HLT + no standardise + partial lookahead + save 844μs  -- with HLT + standardise + partial lookahead + save 859μs  -- with Felsch + no standardisation 730μs  -- with Felsch + standardisation 706μs  -- with random strategy 992μs  -- with Rc style + full lookahead 408μs  -- with Rc style + partial lookahead 404μs  -- with R/C style 469μs  -- with CR style 793μs  -- with Cr style 786μs ToddCoxeter 011: right cong. trans. semigroup . . .  -- with HLT + no standardise + full lookahead + no save 351μs  -- with HLT + standardise + full lookahead + no save 363μs  -- with HLT + no standardise + partial lookahead + no save 342μs  -- with HLT + standardise + partial lookahead + no save 359μs  -- with HLT + no standardise + full lookahead + save 834μs  -- with HLT + standardise + full lookahead + save 840μs  -- with HLT + no standardise + partial lookahead + save 817μs  -- with HLT + standardise + partial lookahead + save 834μs  -- with Felsch + no standardisation 635μs  -- with Felsch + standardisation 669μs  -- with random strategy 472μs  -- with Rc style + full lookahead 428μs  -- with Rc style + partial lookahead 419μs  -- with R/C style 486μs  -- with CR style 697μs  -- with Cr style 694μs ToddCoxeter 012: trans. semigroup (size 88) . . .  -- with HLT + no standardise + full lookahead + no save 192μs  -- with HLT + standardise + full lookahead + no save 188μs  -- with HLT + no standardise + partial lookahead + no save 184μs  -- with HLT + standardise + partial lookahead + no save 186μs  -- with HLT + save (throws) 207μs  -- with Felsch (throws) 202μs  -- with random strategy 228μs ToddCoxeter 013: left cong. on trans. semigroup (size 88) . . .  -- with HLT + no standardise + full lookahead + no save 288μs  -- with HLT + standardise + full lookahead + no save 297μs  -- with HLT + no standardise + partial lookahead + no save 282μs  -- with HLT + standardise + partial lookahead + no save 295μs  -- with HLT + no standardise + full lookahead + save 810μs  -- with HLT + standardise + full lookahead + save 814μs  -- with HLT + no standardise + partial lookahead + save 790μs  -- with HLT + standardise + partial lookahead + save 807μs  -- with Felsch + no standardisation 680μs  -- with Felsch + standardisation 658μs  -- with random strategy 441μs  -- with Rc style + full lookahead 357μs  -- with Rc style + partial lookahead 352μs  -- with R/C style 419μs  -- with CR style 737μs  -- with Cr style 733μs ToddCoxeter 014: right cong. on trans. semigroup (size 88) . . .  -- with HLT + no standardise + full lookahead + no save 301μs  -- with HLT + standardise + full lookahead + no save 308μs  -- with HLT + no standardise + partial lookahead + no save 290μs  -- with HLT + standardise + partial lookahead + no save 304μs  -- with HLT + no standardise + full lookahead + save 779μs  -- with HLT + standardise + full lookahead + save 787μs  -- with HLT + no standardise + partial lookahead + save 765μs  -- with HLT + standardise + partial lookahead + save 780μs  -- with Felsch + no standardisation 581μs  -- with Felsch + standardisation 615μs  -- with random strategy 419μs  -- with Rc style + full lookahead 364μs  -- with Rc style + partial lookahead 361μs  -- with R/C style 430μs  -- with CR style 661μs  -- with Cr style 639μs ToddCoxeter 015: finite fp-semigroup, dihedral group of order 6 . . .  -- with HLT + no standardise + full lookahead + no save 120μs  -- with HLT + standardise + full lookahead + no save 119μs  -- with HLT + no standardise + partial lookahead + no save 109μs  -- with HLT + standardise + partial lookahead + no save 117μs  -- with HLT + no standardise + full lookahead + save 135μs  -- with HLT + standardise + full lookahead + save 134μs  -- with HLT + no standardise + partial lookahead + save 132μs  -- with HLT + standardise + partial lookahead + save 134μs  -- with Felsch + no standardisation 116μs  -- with Felsch + standardisation 113μs  -- with random strategy 128μs  -- with Rc style + full lookahead 116μs  -- with Rc style + partial lookahead 115μs  -- with R/C style 120μs  -- with CR style 118μs  -- with Cr style 118μs ToddCoxeter 016: finite fp-semigroup, size 16 . . .  -- with HLT + no standardise + full lookahead + no save 135μs  -- with HLT + standardise + full lookahead + no save 132μs  -- with HLT + no standardise + partial lookahead + no save 126μs  -- with HLT + standardise + partial lookahead + no save 128μs  -- with HLT + no standardise + full lookahead + save 244μs  -- with HLT + standardise + full lookahead + save 246μs  -- with HLT + no standardise + partial lookahead + save 239μs  -- with HLT + standardise + partial lookahead + save 242μs  -- with Felsch + no standardisation 209μs  -- with Felsch + standardisation 205μs  -- with random strategy 239μs  -- with Rc style + full lookahead 140μs  -- with Rc style + partial lookahead 139μs  -- with R/C style 152μs  -- with CR style 218μs  -- with Cr style 217μs ToddCoxeter 017: finite fp-semigroup, size 16 . . .  -- with HLT + no standardise + full lookahead + no save 170μs  -- with HLT + standardise + full lookahead + no save 166μs  -- with HLT + no standardise + partial lookahead + no save 155μs  -- with HLT + standardise + partial lookahead + no save 162μs  -- with HLT + no standardise + full lookahead + save 397μs  -- with HLT + standardise + full lookahead + save 398μs  -- with HLT + no standardise + partial lookahead + save 389μs  -- with HLT + standardise + partial lookahead + save 397μs  -- with Felsch + no standardisation 317μs  -- with Felsch + standardisation 312μs  -- with random strategy 354μs  -- with Rc style + full lookahead 171μs  -- with Rc style + partial lookahead 190μs  -- with R/C style 188μs  -- with CR style 329μs  -- with Cr style 329μs ToddCoxeter 018: test lookahead . . .  -- with HLT + no standardise + full lookahead + no save 661μs  -- with HLT + standardise + full lookahead + no save 664μs  -- with HLT + no standardise + partial lookahead + no save 603μs  -- with HLT + standardise + partial lookahead + no save 620μs  -- with HLT + no standardise + full lookahead + save 849μs  -- with HLT + standardise + full lookahead + save 851μs  -- with HLT + no standardise + partial lookahead + save 832μs  -- with HLT + standardise + partial lookahead + save 842μs ToddCoxeter 019: non-trivial left cong. from semigroup . . .  -- with HLT + no standardise + full lookahead + no save 195μs  -- with HLT + standardise + full lookahead + no save 198μs  -- with HLT + no standardise + partial lookahead + no save 186μs  -- with HLT + standardise + partial lookahead + no save 194μs  -- with HLT + save (throws) 208μs  -- with Felsch (throws) 204μs  -- with random strategy 275μs ToddCoxeter 020: 2-sided cong. on free semigroup . . .  -- with HLT + no standardise + full lookahead + no save 33μs  -- with HLT + standardise + full lookahead + no save 29μs  -- with HLT + no standardise + partial lookahead + no save 28μs  -- with HLT + standardise + partial lookahead + no save 28μs  -- with HLT + no standardise + full lookahead + save 28μs  -- with HLT + standardise + full lookahead + save 28μs  -- with HLT + no standardise + partial lookahead + save 28μs  -- with HLT + standardise + partial lookahead + save 28μs  -- with Felsch + no standardisation 27μs  -- with Felsch + standardisation 28μs  -- with random strategy 27μs ToddCoxeter 021: calling run when obviously infinite . . .  -- with HLT + no standardise + full lookahead + no save 73μs  -- with HLT + standardise + full lookahead + no save 66μs  -- with HLT + no standardise + partial lookahead + no save 64μs  -- with HLT + standardise + partial lookahead + no save 64μs  -- with HLT + no standardise + full lookahead + save 64μs  -- with HLT + standardise + full lookahead + save 64μs  -- with HLT + no standardise + partial lookahead + save 64μs  -- with HLT + standardise + partial lookahead + save 64μs  -- with Felsch + no standardisation 64μs  -- with Felsch + standardisation 64μs  -- with random strategy 64μs ToddCoxeter 022: stellar_monoid S3 . . .  -- 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 148μs  -- with HLT + standardise + partial lookahead + no save 156μs  -- with HLT + no standardise + full lookahead + save 311μs  -- with HLT + standardise + full lookahead + save 314μs  -- with HLT + no standardise + partial lookahead + save 300μs  -- with HLT + standardise + partial lookahead + save 309μs  -- with Felsch + no standardisation 254μs  -- with Felsch + standardisation 246μs  -- with random strategy 288μs  -- with Rc style + full lookahead 173μs  -- with Rc style + partial lookahead 169μs  -- with R/C style 192μs  -- with CR style 266μs  -- with Cr style 266μs ToddCoxeter 023: finite semigroup (size 5) . . .  -- with HLT + no standardise + full lookahead + no save 55μs  -- with HLT + standardise + full lookahead + no save 50μs  -- with HLT + no standardise + partial lookahead + no save 49μs  -- with HLT + standardise + partial lookahead + no save 50μs  -- with HLT + no standardise + full lookahead + save 56μs  -- with HLT + standardise + full lookahead + save 54μs  -- with HLT + no standardise + partial lookahead + save 54μs  -- with HLT + standardise + partial lookahead + save 54μs  -- with Felsch + no standardisation 52μs  -- with Felsch + standardisation 54μs  -- with random strategy 60μs  -- with Rc style + full lookahead 54μs  -- with Rc style + partial lookahead 54μs  -- with R/C style 57μs  -- with CR style 57μs  -- with Cr style 57μs ToddCoxeter 024: exceptions . . .  -- with HLT + no standardise + full lookahead + no save 274μs  -- with HLT + standardise + full lookahead + no save 261μs  -- with HLT + no standardise + partial lookahead + no save 259μs  -- with HLT + standardise + partial lookahead + no save 257μs  -- with HLT + no standardise + full lookahead + save 261μs  -- with HLT + standardise + full lookahead + save 261μs  -- with HLT + no standardise + partial lookahead + save 259μs  -- with HLT + standardise + partial lookahead + save 259μs  -- with Felsch + no standardisation 257μs  -- with Felsch + standardisation 259μs  -- with random strategy 264μs  -- with Rc style + full lookahead 259μs  -- with Rc style + partial lookahead 257μs  -- with R/C style 261μs  -- with CR style 262μs  -- with Cr style 261μs ToddCoxeter 025: obviously infinite . . .  -- with HLT + no standardise + full lookahead + no save 70μs  -- with HLT + standardise + full lookahead + no save 66μs  -- with HLT + no standardise + partial lookahead + no save 66μs  -- with HLT + standardise + partial lookahead + no save 66μs  -- with HLT + no standardise + full lookahead + save 66μs  -- with HLT + standardise + full lookahead + save 64μs  -- with HLT + no standardise + partial lookahead + save 66μs  -- with HLT + standardise + partial lookahead + save 66μs  -- with Felsch + no standardisation 66μs  -- with Felsch + standardisation 66μs  -- with random strategy 64μs ToddCoxeter 026: exceptions . . .  -- with HLT + no standardise + full lookahead + no save 158μs  -- with HLT + standardise + full lookahead + no save 161μs  -- with HLT + no standardise + partial lookahead + no save 148μs  -- with HLT + standardise + partial lookahead + no save 147μs  -- with HLT + no standardise + full lookahead + save 153μs  -- with HLT + standardise + full lookahead + save 151μs  -- with HLT + no standardise + partial lookahead + save 151μs  -- with HLT + standardise + partial lookahead + save 149μs  -- with Felsch + no standardisation 149μs  -- with Felsch + standardisation 151μs  -- with random strategy 160μs  -- with Rc style + full lookahead 150μs  -- with Rc style + partial lookahead 149μs  -- with R/C style 153μs  -- with CR style 153μs  -- with Cr style 154μs ToddCoxeter 027: empty . . . 49μs ToddCoxeter 028: congruence of fpsemigroup::ToddCoxeter . . .  -- with HLT + no standardise + full lookahead + no save 205μs  -- with HLT + standardise + full lookahead + no save 188μs  -- with HLT + no standardise + partial lookahead + no save 185μs  -- with HLT + standardise + partial lookahead + no save 186μs  -- with HLT + save (throws) 202μs  -- with Felsch (throws) 202μs  -- with random strategy 204μs  -- with HLT + no standardise + full lookahead + save 187μs  -- with HLT + standardise + full lookahead + save 188μs  -- with HLT + no standardise + partial lookahead + save 189μs  -- with HLT + standardise + partial lookahead + save 189μs  -- with Felsch + no standardisation 188μs  -- with Felsch + standardisation 187μs  -- with Rc style + full lookahead 183μs  -- with Rc style + partial lookahead 184μs  -- with R/C style 185μs  -- with CR style 185μs  -- with Cr style 184μs ToddCoxeter 029: !KnuthBendix.started() . . .  -- with HLT + no standardise + full lookahead + no save and 2-sided 95μs  -- with HLT + standardise + full lookahead + no save and 2-sided 79μs  -- with HLT + no standardise + partial lookahead + no save and 2-sided 77μs  -- with HLT + standardise + partial lookahead + no save and 2-sided 76μs  -- with HLT + no standardise + full lookahead + save and 2-sided 82μs  -- with HLT + standardise + full lookahead + save and 2-sided 81μs  -- with HLT + no standardise + partial lookahead + save and 2-sided 80μs  -- with HLT + standardise + partial lookahead + save and 2-sided 80μs  -- with Felsch + no standardisation and 2-sided 77μs  -- with Felsch + standardisation and 2-sided 76μs  -- with random strategy and 2-sided 83μs  -- with HLT + no standardise + full lookahead + no save and left 79μs  -- with HLT + standardise + full lookahead + no save and left 77μs  -- with HLT + no standardise + partial lookahead + no save and left 76μs  -- with HLT + standardise + partial lookahead + no save and left 76μs  -- with HLT + no standardise + full lookahead + save and left 87μs  -- with HLT + standardise + full lookahead + save and left 87μs  -- with HLT + no standardise + partial lookahead + save and left 86μs  -- with HLT + standardise + partial lookahead + save and left 87μs  -- with Felsch + no standardisation and left 85μs  -- with Felsch + standardisation and left 84μs  -- with random strategy and left 84μs  -- with HLT + no standardise + full lookahead + no save and right 78μs  -- with HLT + standardise + full lookahead + no save and right 74μs  -- with HLT + no standardise + partial lookahead + no save and right 76μs  -- with HLT + standardise + partial lookahead + no save and right 74μs  -- with HLT + no standardise + full lookahead + save and right 86μs  -- with HLT + standardise + full lookahead + save and right 85μs  -- with HLT + no standardise + partial lookahead + save and right 84μs  -- with HLT + standardise + partial lookahead + save and right 85μs  -- with Felsch + no standardisation and right 85μs  -- with Felsch + standardisation and right 83μs  -- with random strategy and right 92μs ToddCoxeter 030: KnuthBendix.finished() . . .  -- with HLT + no standardise + full lookahead + no save and 2-sided 192μs  -- with HLT + standardise + full lookahead + no save and 2-sided 171μs  -- with HLT + no standardise + partial lookahead + no save and 2-sided 170μs  -- with HLT + standardise + partial lookahead + no save and 2-sided 167μs  -- with HLT + no standardise + full lookahead + save and 2-sided 173μs  -- with HLT + standardise + full lookahead + save and 2-sided 171μs  -- with HLT + no standardise + partial lookahead + save and 2-sided 187μs  -- with HLT + standardise + partial lookahead + save and 2-sided 173μs  -- with Felsch + no standardisation and 2-sided 164μs  -- with Felsch + standardisation and 2-sided 229μs  -- with random strategy and 2-sided 178μs  -- with HLT + no standardise + full lookahead + no save and left 182μs  -- with HLT + standardise + full lookahead + no save and left 179μs  -- with HLT + no standardise + partial lookahead + no save and left 180μs  -- with HLT + standardise + partial lookahead + no save and left 179μs  -- with HLT + no standardise + full lookahead + save and left 190μs  -- with HLT + standardise + full lookahead + save and left 189μs  -- with HLT + no standardise + partial lookahead + save and left 188μs  -- with HLT + standardise + partial lookahead + save and left 189μs  -- with Felsch + no standardisation and left 185μs  -- with Felsch + standardisation and left 184μs  -- with random strategy and left 194μs  -- with HLT + no standardise + full lookahead + no save and right 181μs  -- with HLT + standardise + full lookahead + no save and right 176μs  -- with HLT + no standardise + partial lookahead + no save and right 177μs  -- with HLT + standardise + partial lookahead + no save and right 177μs  -- with HLT + no standardise + full lookahead + save and right 189μs  -- with HLT + standardise + full lookahead + save and right 188μs  -- with HLT + no standardise + partial lookahead + save and right 189μs  -- with HLT + standardise + partial lookahead + save and right 188μs  -- with Felsch + no standardisation and right 184μs  -- with Felsch + standardisation and right 183μs  -- with random strategy and right 197μs ToddCoxeter 031: KnuthBendix.finished() . . .  -- with HLT + no standardise + full lookahead + no save and 2-sided 136μs  -- with HLT + standardise + full lookahead + no save and 2-sided 123μs  -- with HLT + no standardise + partial lookahead + no save and 2-sided 121μs  -- with HLT + standardise + partial lookahead + no save and 2-sided 120μs  -- with HLT + no standardise + full lookahead + save and 2-sided 125μs  -- with HLT + standardise + full lookahead + save and 2-sided 125μs  -- with HLT + no standardise + partial lookahead + save and 2-sided 124μs  -- with HLT + standardise + partial lookahead + save and 2-sided 123μs  -- with Felsch + no standardisation and 2-sided 117μs  -- with Felsch + standardisation and 2-sided 115μs  -- with random strategy and 2-sided 128μs  -- with Rc style + full lookahead and 2-sided 127μs  -- with Rc style + partial lookahead and 2-sided 125μs  -- with R/C style and 2-sided 123μs  -- with CR style and 2-sided 122μs  -- with Cr style and 2-sided 126μs  -- with HLT + no standardise + full lookahead + no save and left 134μs  -- with HLT + standardise + full lookahead + no save and left 131μs  -- with HLT + no standardise + partial lookahead + no save and left 131μs  -- with HLT + standardise + partial lookahead + no save and left 129μs  -- with HLT + no standardise + full lookahead + save and left 140μs  -- with HLT + standardise + full lookahead + save and left 140μs  -- with HLT + no standardise + partial lookahead + save and left 139μs  -- with HLT + standardise + partial lookahead + save and left 139μs  -- with Felsch + no standardisation and left 136μs  -- with Felsch + standardisation and left 135μs  -- with random strategy and left 151μs  -- with Rc style + full lookahead and left 140μs  -- with Rc style + partial lookahead and left 139μs  -- with R/C style and left 134μs  -- with CR style and left 140μs  -- with Cr style and left 146μs  -- with HLT + no standardise + full lookahead + no save and right 141μs  -- with HLT + standardise + full lookahead + no save and right 133μs  -- with HLT + no standardise + partial lookahead + no save and right 165μs  -- with HLT + standardise + partial lookahead + no save and right 135μs  -- with HLT + no standardise + full lookahead + save and right 143μs  -- with HLT + standardise + full lookahead + save and right 145μs  -- with HLT + no standardise + partial lookahead + save and right 141μs  -- with HLT + standardise + partial lookahead + save and right 142μs  -- with Felsch + no standardisation and right 135μs  -- with Felsch + standardisation and right 134μs  -- with random strategy and right 149μs  -- with Rc style + full lookahead and right 139μs  -- with Rc style + partial lookahead and right 138μs  -- with R/C style and right 135μs  -- with CR style and right 140μs  -- with Cr style and right 145μs ToddCoxeter 032: prefill . . . 304μs ToddCoxeter 033: congruence of ToddCoxeter . . .  -- with HLT + no standardise + full lookahead + no save 71μs  -- with HLT + standardise + full lookahead + no save 66μs  -- with HLT + no standardise + partial lookahead + no save 63μs  -- with HLT + standardise + partial lookahead + no save 62μs  -- with HLT + no standardise + full lookahead + save 64μs  -- with HLT + standardise + full lookahead + save 64μs  -- with HLT + no standardise + partial lookahead + save 64μs  -- with HLT + standardise + partial lookahead + save 64μs  -- with random strategy 76μs ToddCoxeter 034: congruence of ToddCoxeter . . .  -- with HLT + no standardise + full lookahead + no save 139μs  -- with HLT + standardise + full lookahead + no save 132μs  -- with HLT + no standardise + partial lookahead + no save 131μs  -- with HLT + standardise + partial lookahead + no save 128μs  -- with HLT + save (throws) 148μs  -- with Felsch (throws) 147μs  -- with random strategy 150μs ToddCoxeter 035: congruence on FpSemigroup . . .  -- with HLT + no standardise + full lookahead + no save 367μs  -- with HLT + standardise + full lookahead + no save 342μs  -- with HLT + no standardise + partial lookahead + no save 337μs  -- with HLT + standardise + partial lookahead + no save 335μs  -- with HLT + no standardise + full lookahead + save 375μs  -- with HLT + standardise + full lookahead + save 374μs  -- with HLT + no standardise + partial lookahead + save 369μs  -- with HLT + standardise + partial lookahead + save 370μs  -- with Felsch + no standardisation 364μs  -- with Felsch + standardisation 365μs  -- with random strategy 386μs  -- with Rc style + full lookahead 339μs  -- with Rc style + partial lookahead 338μs  -- with R/C style 339μs  -- with CR style 370μs  -- with Cr style 371μs ToddCoxeter 036: exceptions . . . 137μs ToddCoxeter 037: copy constructor . . . 52μs ToddCoxeter 038: simplify . . . 144μs ToddCoxeter 039: stylic_monoid . . . 886ms ToddCoxeter 041: some finite classes . . . 584μs ToddCoxeter 043: symmetric_group(7, Coxeter + Moser) . . . 234ms ToddCoxeter 044: Option exceptions . . . 112μs ToddCoxeter 045: Options operator<< . . . 788μs ToddCoxeter 046: Easdown-East-FitzGerald DualSymInv(5) . . .  -- with HLT + no standardise + full lookahead + no save 205ms  -- with HLT + standardise + full lookahead + no save 227ms  -- with HLT + no standardise + partial lookahead + no save 204ms  -- with HLT + standardise + partial lookahead + no save 227ms  -- with HLT + no standardise + full lookahead + save 209ms  -- with HLT + standardise + full lookahead + save 208ms  -- with HLT + no standardise + partial lookahead + save 209ms  -- with HLT + standardise + partial lookahead + save 208ms  -- with Felsch + no standardisation 226ms  -- with Felsch + standardisation 225ms  -- with random strategy 375ms  -- with R/C style 220ms  -- with Rc style + full lookahead 236ms  -- with Rc style + partial lookahead 236ms ToddCoxeter 047: uniform_block_bijection_monoid(3) (FitzGerald) . . .  -- with HLT + no standardise + full lookahead + no save 146μs  -- with HLT + standardise + full lookahead + no save 144μs  -- with HLT + no standardise + partial lookahead + no save 133μs  -- with HLT + standardise + partial lookahead + no save 139μs  -- with HLT + no standardise + full lookahead + save 264μs  -- with HLT + standardise + full lookahead + save 261μs  -- with HLT + no standardise + partial lookahead + save 254μs  -- with HLT + standardise + partial lookahead + save 256μs  -- with Felsch + no standardisation 190μs  -- with Felsch + standardisation 188μs  -- with random strategy 212μs  -- with R/C style 161μs  -- with Rc style + full lookahead 147μs  -- with Rc style + partial lookahead 146μs ToddCoxeter 048: stellar_monoid(7) (Gay-Hivert) . . . 212ms ToddCoxeter 049: partition_monoid(4) (East) . . .  -- with HLT + no standardise + full lookahead + no save 39ms  -- with HLT + standardise + full lookahead + no save 41ms  -- with HLT + no standardise + partial lookahead + no save 39ms  -- with HLT + standardise + partial lookahead + no save 40ms  -- with HLT + no standardise + full lookahead + save 82ms  -- with HLT + standardise + full lookahead + save 85ms  -- with HLT + no standardise + partial lookahead + save 82ms  -- with HLT + standardise + partial lookahead + save 84ms  -- with Felsch + no standardisation 96ms  -- with Felsch + standardisation 96ms  -- with random strategy 49ms  -- with R/C style 47ms  -- with Rc style + full lookahead 105ms  -- with Rc style + partial lookahead 105ms ToddCoxeter 050: singular_brauer_monoid(6) (Maltcev + Mazorchuk) . . . 562ms ToddCoxeter 051: orientation_preserving_monoid(6) (Ruskuc + [...] . . .  -- with HLT + no standardise + full lookahead + no save 29ms ToddCoxeter 052: orientation_reversing_monoid(5) (Ruskuc + [...] . . .  -- with HLT + no standardise + full lookahead + no save 7200μs ToddCoxeter 053: temperley_lieb_monoid(10) (East) . . . 39ms ToddCoxeter 063: add_rule . . .  -- with HLT + no standardise + full lookahead + no save 129μs  -- with HLT + standardise + full lookahead + no save 114μs  -- with HLT + no standardise + partial lookahead + no save 112μs  -- with HLT + standardise + partial lookahead + no save 112μs  -- with HLT + no standardise + full lookahead + save 117μs  -- with HLT + standardise + full lookahead + save 117μs  -- with HLT + no standardise + partial lookahead + save 117μs  -- with HLT + standardise + partial lookahead + save 117μs  -- with Felsch + no standardisation 115μs  -- with Felsch + standardisation 114μs  -- with random strategy 126μs  -- with Rc style + full lookahead 115μs  -- with Rc style + partial lookahead 115μs  -- with R/C style 118μs  -- with CR style 118μs  -- with Cr style 117μs  -- with R/C + Felsch lookahead 126μs  -- with HLT + Felsch lookahead + save 116μs  -- with Cr + small number of f_defs 122μs  -- with Rc + small number of deductions 115μs  -- with Felsch + v2 + no preferred defs 113μs  -- with Felsch + v2 + immediate no stack 115μs  -- with Felsch + v1 + immediate no stack 116μs  -- with Felsch + v1 + immediate yes stack 114μs  -- with large collapse 118μs ToddCoxeter 064: (from kbmag/standalone/kb_data/s4) (KnuthB [...] . . .  -- with HLT + no standardise + full lookahead + no save 363μs ToddCoxeter 066: test validate . . . 62μs ToddCoxeter 067: add_rules after construct. from semigroup . . .  -- with HLT + no standardise + full lookahead + no save 392μs  -- with HLT + standardise + full lookahead + no save 369μs  -- with HLT + no standardise + partial lookahead + no save 366μs  -- with HLT + standardise + partial lookahead + no save 364μs  -- with HLT + save (throws) 385μs  -- with Felsch (throws) 382μs  -- with random strategy 409μs ToddCoxeter 068: Sym(5) from Chapter 3, Proposition 1.1 in NR . . .  -- with Deduction policy == purge_from_top 1158μs  -- with Deduction policy == purge_all 1146μs  -- with Deduction policy == discard_all_if_no_space 1152μs  -- with HLT + no standardise + full lookahead + no save 1111μs  -- with HLT + standardise + full lookahead + no save 1416μs  -- with HLT + no standardise + partial lookahead + no save 1098μs  -- with HLT + standardise + partial lookahead + no save 1403μs  -- with HLT + no standardise + full lookahead + save 1739μs  -- with HLT + standardise + full lookahead + save 1752μs  -- with HLT + no standardise + partial lookahead + save 1704μs  -- with HLT + standardise + partial lookahead + save 1741μs  -- with Felsch + no standardisation 1149μs  -- with Felsch + standardisation 1111μs  -- with random strategy 1872μs  -- with Rc style + full lookahead 2299μs  -- with Rc style + partial lookahead 2272μs  -- with R/C style 1280μs  -- with CR style 1211μs  -- with Cr style 1194μs ToddCoxeter 069: Chapter 7, Theorem 3.6 in NR (size 243) . . .  -- with HLT + no standardise + full lookahead + no save 994μs  -- with HLT + standardise + full lookahead + no save 1083μs  -- with HLT + no standardise + partial lookahead + no save 977μs  -- with HLT + standardise + partial lookahead + no save 1078μs  -- with HLT + no standardise + full lookahead + save 964μs  -- with HLT + standardise + full lookahead + save 1008μs  -- with HLT + no standardise + partial lookahead + save 948μs  -- with HLT + standardise + partial lookahead + save 1003μs  -- with Felsch + no standardisation 5200μs  -- with Felsch + standardisation 5247μs  -- with random strategy 6385μs  -- with Rc style + full lookahead 1096μs  -- with Rc style + partial lookahead 1091μs  -- with R/C style 1226μs  -- with CR style 5141μs  -- with Cr style 5146μs ToddCoxeter 070: finite semigroup (size 99) . . .  -- with HLT + no standardise + full lookahead + no save 426μs  -- with HLT + standardise + full lookahead + no save 448μs  -- with HLT + no standardise + partial lookahead + no save 418μs  -- with HLT + standardise + partial lookahead + no save 444μs  -- with HLT + no standardise + full lookahead + save 405μs  -- with HLT + standardise + full lookahead + save 424μs  -- with HLT + no standardise + partial lookahead + save 394μs  -- with HLT + standardise + partial lookahead + save 459μs  -- with Felsch + no standardisation 939μs  -- with Felsch + standardisation 947μs  -- with random strategy 495μs  -- with Rc style + full lookahead 463μs  -- with Rc style + partial lookahead 462μs  -- with R/C style 515μs  -- with CR style 1008μs  -- with Cr style 961μs ToddCoxeter 080: KnuthBendix 098 . . .  -- with HLT + no standardise + full lookahead + no save 1306ms  -- with HLT + standardise + full lookahead + no save 1324ms  -- with HLT + no standardise + partial lookahead + no save 1306ms  -- with HLT + standardise + partial lookahead + no save 1326ms  -- with HLT + no standardise + full lookahead + save 668ms  -- with HLT + standardise + full lookahead + save 671ms  -- with HLT + no standardise + partial lookahead + save 668ms  -- with HLT + standardise + partial lookahead + save 671ms  -- with Felsch + no standardisation 586ms  -- with Felsch + standardisation 587ms  -- with random strategy 1477ms  -- with Rc style + full lookahead 582ms  -- with Rc style + partial lookahead 582ms  -- with R/C style 1315ms  -- with CR style 586ms  -- with Cr style 588ms ToddCoxeter 084: Campbell-Reza 1 . . .  -- with HLT + no standardise + full lookahead + no save 153μs  -- with HLT + standardise + full lookahead + no save 127μs  -- with HLT + no standardise + partial lookahead + no save 116μs  -- with HLT + standardise + partial lookahead + no save 123μs  -- with HLT + no standardise + full lookahead + save 137μs  -- with HLT + standardise + full lookahead + save 134μs  -- with HLT + no standardise + partial lookahead + save 128μs  -- with HLT + standardise + partial lookahead + save 131μs  -- with Felsch + no standardisation 143μs  -- with Felsch + standardisation 140μs  -- with random strategy 129μs  -- with Rc style + full lookahead 120μs  -- with Rc style + partial lookahead 120μs  -- with R/C style 127μs  -- with CR style 149μs  -- with Cr style 147μs ToddCoxeter 085: Renner monoid type D4 (Gay-Hivert), q = 1 . . .  -- with HLT + no standardise + full lookahead + no save 151ms  -- with HLT + standardise + full lookahead + no save 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 150ms  -- with HLT + no standardise + partial lookahead + save 150ms  -- with HLT + standardise + partial lookahead + save 150ms  -- with Felsch + no standardisation 150ms  -- with Felsch + standardisation 150ms  -- with random strategy 150ms  -- with Rc style + full lookahead 151ms  -- with Rc style + partial lookahead 150ms  -- with R/C style 150ms  -- with CR style 150ms  -- with Cr style 150ms ToddCoxeter 086: trivial semigroup . . . 250ms ToddCoxeter 092: ACE --- perf602p5 - HLT . . .  -- with HLT + no standardise + full lookahead + no save 34ms  -- with HLT + standardise + full lookahead + no save 35ms  -- with HLT + no standardise + partial lookahead + no save 34ms  -- with HLT + standardise + partial lookahead + no save 35ms  -- with HLT + no standardise + full lookahead + save 24ms  -- with HLT + standardise + full lookahead + save 24ms  -- with HLT + no standardise + partial lookahead + save 24ms  -- with HLT + standardise + partial lookahead + save 24ms  -- with random strategy 25ms  -- with Felsch + no standardisation 18ms  -- with Felsch + standardisation 18ms ToddCoxeter 094: ACE --- C5 - HLT . . .  -- with HLT + no standardise + full lookahead + no save 115μs  -- with HLT + standardise + full lookahead + no save 106μs  -- with HLT + no standardise + partial lookahead + no save 107μs  -- with HLT + standardise + partial lookahead + no save 104μs  -- with HLT + no standardise + full lookahead + save 128μs  -- with HLT + standardise + full lookahead + save 128μs  -- with HLT + no standardise + partial lookahead + save 125μs  -- with HLT + standardise + partial lookahead + save 125μs  -- with random strategy 120μs  -- with Felsch + no standardisation 115μs  -- with Felsch + standardisation 114μs ToddCoxeter 095: ACE --- A5-C5 . . .  -- with HLT + no standardise + full lookahead + no save 144μs  -- with HLT + standardise + full lookahead + no save 152μs  -- with HLT + no standardise + partial lookahead + no save 139μs  -- with HLT + standardise + partial lookahead + no save 150μs  -- with HLT + no standardise + full lookahead + save 195μs  -- with HLT + standardise + full lookahead + save 194μs  -- with HLT + no standardise + partial lookahead + save 191μs  -- with HLT + standardise + partial lookahead + save 192μs  -- with random strategy 213μs  -- with Felsch + no standardisation 160μs  -- with Felsch + standardisation 158μs ToddCoxeter 096: ACE --- A5 . . .  -- with HLT + no standardise + full lookahead + no save 328μs  -- with HLT + standardise + full lookahead + no save 387μs  -- with HLT + no standardise + partial lookahead + no save 307μs  -- with HLT + standardise + partial lookahead + no save 382μs  -- with HLT + no standardise + full lookahead + save 542μs  -- with HLT + standardise + full lookahead + save 551μs  -- with HLT + no standardise + partial lookahead + save 529μs  -- with HLT + standardise + partial lookahead + save 560μs  -- with random strategy 605μs  -- with Felsch + no standardisation 382μs  -- with Felsch + standardisation 378μs ToddCoxeter 098: relation ordering . . .  -- with Felsch + no standardisation 705μs  -- with Felsch + standardisation 686μs  -- with HLT + no standardise + full lookahead + no save 298μs  -- with HLT + standardise + full lookahead + no save 296μs  -- with HLT + no standardise + partial lookahead + no save 291μs  -- with HLT + standardise + partial lookahead + no save 293μs  -- with HLT + no standardise + full lookahead + save 767μs  -- with HLT + standardise + full lookahead + save 767μs  -- with HLT + no standardise + partial lookahead + save 762μs  -- with HLT + standardise + partial lookahead + save 763μs  -- with random strategy 331μs ToddCoxeter 099: short circuit size in obviously infinite . . . 18μs ToddCoxeter 101: http://brauer.maths.qmul.ac.uk/Atlas/spor/M [...] . . . 587ms ToddCoxeter 108: http://brauer.maths.qmul.ac.uk/Atlas/lin/L3 [...] . . . 532ms ToddCoxeter 110: to_gap_string . . . 101μs ToddCoxeter 111: partition_monoid(2) . . . 75μs ToddCoxeter 112: brauer_monoid(4) (Kudryavtseva + Mazorchuk) . . . 450μs ToddCoxeter 113: symmetric_inverse_monoid . . . 20ms ToddCoxeter 116: symmetric_group(7, Burnside + Miller) . . . 476ms UF 001: constructor by size . . . 14μs UF 002: copy constructor . . . 21μs UF 003: find . . . 17μs Ukkonen 000: basic tests . . . 101ms Ukkonen 001: maximal_piece_prefix 1 . . . 36μs Ukkonen 002: maximal_piece_prefix 2 . . . 45μs Ukkonen 003: maximal_piece_prefix 3 . . . 348μs Ukkonen 004: number_of_pieces . . . 86μs Ukkonen 005: traverse . . . 23μs Ukkonen 006: dot . . . 199μs Ukkonen 007: strings . . . 64μs Ukkonen 008: dfs #01 . . . 39μs Ukkonen 009: dfs #02 . . . 37μs Ukkonen 010: dfs #03 . . . 34μs Ukkonen 011: dfs #04 . . . 85μs Ukkonen 012: dfs #05 . . . 62μs Ukkonen 013: dfs #06 . . . 58μs Ukkonen 014: dfs #07 . . . 100μs Ukkonen 015: dfs #08 . . . 77μs Ukkonen 016: dfs #09 . . . 101μs Ukkonen 017: dfs #10 . . . 33μs Ukkonen 018: pieces . . . 44μs Ukkonen 019: code coverage . . . 53μs Ukkonen 020: code coverage . . . 10μs action_digraph_helper 015: detail::to_string . . . 21μs action_digraph_helper 016: make . . . 45μs action_digraph_helper 017: is_connected . . . 94μs action_digraph_helper 018: is_strictly_cyclic . . . 6102μs follow_path 012: 20 node path . . . 24μs fpsemi-examples 002: full_transformation_monoid author except . . . 42μs fpsemi-examples 003: full_transformation_monoid degree except . . . 36μs fpsemi-examples 005: partial_transformation_monoid author except . . . 45μs fpsemi-examples 006: partial_transformation_monoid degree except . . . 43μs fpsemi-examples 007: symmetric_inverse_monoid(5) . . . 21ms fpsemi-examples 008: symmetric_group auth except . . . 41μs fpsemi-examples 009: symmetric_group degree except . . . 36μs fpsemi-examples 010: symmetric_group(6) Burnside + Miller . . . 29ms fpsemi-examples 011: dual_symmetric_inverse_monoid(5) . . . 205ms fpsemi-examples 012: dual_symmetric_inverse_monoid auth except . . . 48μs fpsemi-examples 013: dual_symmetric_inverse_monoid degree except . . . 37μs fpsemi-examples 014: uniform_block_bijection_monoid(5) . . . 18ms fpsemi-examples 015: uniform_block_bijection_monoid auth except . . . 36μs fpsemi-examples 016: uniform_block_bijection_monoid degree except . . . 32μs fpsemi-examples 019: partition_monoid auth except . . . 167μs fpsemi-examples 020: partition_monoid degree except . . . 165μs fpsemi-examples 022: monogenic_semigroup(4, 9) . . . 41μs fpsemi-examples 023: fibonacci_semigroup(2, 5) . . . 101μs fpsemi-examples 024: temperley_lieb_monoid(10) . . . 44ms fpsemi-examples 025: singular_brauer_monoid(6) . . . 389ms fpsemi-examples 026: orientation_preserving_monoid(6) . . . 28ms fpsemi-examples 027: orientation_reversing_monoid(5) . . . 7253μs fpsemi-examples 028: chinese_monoid(3) . . . 184μs fpsemi-examples 029: plactic_monoid(3) . . . 159μs fpsemi-examples 030: stylic_monoid(3) . . . 1485μs fpsemi-examples 031: symmetric_group(6) Carmichael . . . 16ms fpsemi-examples 032: symmetric_group(6) Moore index 0 . . . 11ms fpsemi-examples 033: symmetric_group(6) Coxeter + Moser . . . 9471μs fpsemi-examples 034: test for the rook monoid . . . 376μs fpsemi-examples 035: alternating_group(7) Moore . . . 36ms fpsemi-examples 036: alternating_group auth except . . . 40μs fpsemi-examples 037: alternating_group degree except . . . 29μs fpsemi-examples 038: partial_transformation_monoid(3) Machine . . . 307μs fpsemi-examples 039: chinese_monoid degree except . . . 47μs fpsemi-examples 040: monogenic_semigroup degree except . . . 54μs fpsemi-examples 041: rectangular_band degree except . . . 90μs fpsemi-examples 042: stellar_monoid degree except . . . 46μs fpsemi-examples 043: plactic_monoid degree except . . . 45μs fpsemi-examples 044: stylic_monoid degree except . . . 43μs fpsemi-examples 045: temperley_lieb_monoid degree except . . . 62μs fpsemi-examples 046: singular_brauer_monoid degree except . . . 72μs fpsemi-examples 047: orientation_preserving_monoid degree except . . . 72μs fpsemi-examples 048: orientation_reversing_monoid degree except . . . 79μs fpsemi-examples 049: test default values . . . 3888μs fpsemi-examples 052: not_symmetric_group(5) Guralnick + Kant [...] . . . 3745μs fpsemi-examples 053: order_preserving_monoid(5) . . . 1029μs fpsemi-examples 055: order_preserving_monoid degree except . . . 72μs fpsemi-examples 056: cyclic_inverse_monoid(4) Fernandes 1 . . . 254μs fpsemi-examples 057: cyclic_inverse_monoid(8) Fernandes index 1 . . . 18ms fpsemi-examples 058: cyclic_inverse_monoid Fernandes index 0 . . . 33ms fpsemi-examples 059: order_preserving_cyclic_inverse_monoid(4) . . . 194μs fpsemi-examples 060: order_preserving_cyclic_inverse_monoid(10) . . . 35ms fpsemi-examples 061: cyclic_inverse_monoid degree except . . . 159μs fpsemi-examples 062: cyclic_inverse_monoid author except . . . 59μs fpsemi-examples 063: order_preserving_monoid degree except . . . 68μs fpsemi-examples 064: symmetric_group index except . . . 63μs fpsemi-examples 065: symmetric_group(7) Moore index 1 . . . 9125μs fpsemi-examples 066: order_preserving_cyclic_inverse_monoid(10) . . . 35ms fpsemi-examples 067: partial_isometries_cycle_graph_monoid(5) . . . 872μs fpsemi-examples 068: partial_isometries_cycle_graph_monoid(10) . . . 255ms fpsemi-examples 069: partial_isometries_cycle_graph_monoid d [...] . . . 89μs fpsemi-examples 070: partial_isometries_cycle_graph_monoid(4) . . . 331μs freeband_equal_to 001: . . . 614μs is_acyclic 000: 2-cycle . . . 12μs is_acyclic 001: 1-cycle . . . 10μs is_acyclic 002: multi-digraph . . . 12μs is_acyclic 003: complete digraph 100 . . . 70μs is_acyclic 004: acyclic digraph with 20000 nodes . . . 1037μs is_acyclic 006: for a node . . . 920μs is_acyclic 007: for a node . . . 17μs is_reachable 008: acyclic 20 node digraph . . . 61μs is_reachable 009: 100 node path . . . 11ms is_reachable 010: 100 node cycle . . . 11ms is_reachable 011: 20 node clique . . . 442μs last_node_on_path_nc 014: 20 node path . . . 17μs make 000: from FroidurePin . . . 428μs make 001: from FroidurePin and alphabet . . . 578μs make 002: presentation from presentation . . . 324μs make 003: presentation from presentation and alphabet . . . 69μs make 004: argument checks issue . . . 212μs make 005: use human readable alphabet for make . . . 18μs make> 000: from ActionDigraph . . . 1078μs make> 001: from ActionDigraph (exceptions) . . . 67μs number_of_words 001: . . . 12μs operator"" _w 003: literal . . . 13μs silo 000: alphabet: a, min: 0, max: 10 . . . 38μs silo 001: corner cases . . . 29μs silo 002: alphabet: ab, min: 1, max: 4 . . . 51μs silo 003: alphabet: abc, min: 0, max: 13 . . . 79ms silo 004: code coverage . . . 24μs sislo 005: alphabet: a, min: 0, max: 10 . . . 35μs sislo 006: corner cases . . . 50μs sislo 007: alphabet: ab, min: 1, max: 4 . . . 79μs sislo 008: alphabet: abc, min: 0, max: 13 . . . 80ms sislo 009: code coverage . . . 23μs string 000: detail::is_suffix . . . 13μs string 001: detail::is_prefix . . . 12μs string 002: detail::maximum_common_suffix . . . 11μs string 003: detail::group_digits . . . 21μs string_to_word 002: . . . 12μs validate_label 013: 20 node path . . . 40μs wilo 001: corner cases . . . 35μs wilo 002: letters: 2, min: 1, max: 4 . . . 35μs wilo 003: letters: 2, min: 1, max: 4 . . . 58μs wilo 004: letters: 3, min: 0, max: 10 . . . 19ms wilo 005: letters: 3, min: 0, max: 13 . . . 127ms wilo 006: forward iterator requirements . . . 128ms wilo 007: more corner cases . . . 50μs wilo 008: starting at a given word 1 . . . 123μs wilo 009: starting at a given word 2 . . . 22μs wilo 010: code coverage . . . 19μs wislo 000: n: 2, min; 1, max: 4 . . . 26μs wislo 001: corner cases . . . 42μs wislo 002: n: 3, min; 0, max: 10 . . . 4198μs wislo 003: n: 3, min; 0, max: 13 . . . 119ms wislo 004: lex + sort . . . 369ms wislo 005: code coverage . . . 27μs =============================================================================== All tests passed (1290346 assertions in 1191 test cases) >>> libsemigroups: Entering fakeroot... make[1]: Entering directory '/home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.3' ./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' libfakeroot internal error: payload not recognized! /bin/sh ./libtool --mode=install /usr/bin/install -c libsemigroups.la '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib' /usr/bin/install -c -m 644 extern/backward-cpp/backward.hpp '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups/backward-cpp' ./config/install-sh -c -d '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/pkgconfig' /usr/bin/install -c -m 644 libsemigroups.pc '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/pkgconfig' ./config/install-sh -c -d '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups' ./config/install-sh -c -d '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups/textflowcpp' libtool: install: /usr/bin/install -c .libs/libsemigroups.so.2.0.0 /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/libsemigroups.so.2.0.0 libtool: install: (cd /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib && { ln -s -f libsemigroups.so.2.0.0 libsemigroups.so.2 || { rm -f libsemigroups.so.2 && ln -s libsemigroups.so.2.0.0 libsemigroups.so.2; }; }) /usr/bin/install -c -m 644 include/libsemigroups/action.hpp include/libsemigroups/adapters.hpp include/libsemigroups/bipart.hpp include/libsemigroups/bitset.hpp include/libsemigroups/bmat8.hpp include/libsemigroups/bmat.hpp include/libsemigroups/bruidhinn-traits.hpp include/libsemigroups/config.hpp include/libsemigroups/cong-intf.hpp include/libsemigroups/cong-pair-impl.hpp include/libsemigroups/cong-pair.hpp include/libsemigroups/cong-wrap.hpp include/libsemigroups/cong.hpp include/libsemigroups/constants.hpp include/libsemigroups/containers.hpp include/libsemigroups/coset.hpp include/libsemigroups/debug.hpp include/libsemigroups/deprecated.hpp include/libsemigroups/digraph-helper.hpp include/libsemigroups/digraph-with-sources.hpp include/libsemigroups/digraph-with-sources.tpp include/libsemigroups/digraph.hpp include/libsemigroups/exception.hpp include/libsemigroups/fastest-bmat.hpp include/libsemigroups/felsch-tree.hpp include/libsemigroups/felsch-digraph.hpp include/libsemigroups/felsch-digraph.tpp include/libsemigroups/forest.hpp include/libsemigroups/fpsemi-examples.hpp include/libsemigroups/fpsemi-intf.hpp include/libsemigroups/fpsemi.hpp include/libsemigroups/freeband.hpp include/libsemigroups/froidure-pin-base.hpp include/libsemigroups/froidure-pin-impl.hpp include/libsemigroups/froidure-pin.hpp include/libsemigroups/function-ref.hpp include/libsemigroups/hpcombi.hpp include/libsemigroups/int-range.hpp include/libsemigroups/iterator.hpp include/libsemigroups/kambites.hpp '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups' libtool: install: (cd /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib && { ln -s -f libsemigroups.so.2.0.0 libsemigroups.so || { rm -f libsemigroups.so && ln -s libsemigroups.so.2.0.0 libsemigroups.so; }; }) /usr/bin/install -c -m 644 extern/textflowcpp/TextFlow.hpp '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups/textflowcpp' libtool: install: /usr/bin/install -c .libs/libsemigroups.lai /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/libsemigroups.la /usr/bin/install -c -m 644 include/libsemigroups/kbe.hpp include/libsemigroups/knuth-bendix.hpp include/libsemigroups/konieczny.hpp include/libsemigroups/libsemigroups.hpp include/libsemigroups/make-froidure-pin.hpp include/libsemigroups/make-present.hpp include/libsemigroups/matrix.hpp include/libsemigroups/node-manager.hpp include/libsemigroups/obvinf.hpp include/libsemigroups/order.hpp include/libsemigroups/pbr.hpp include/libsemigroups/pool.hpp include/libsemigroups/present.hpp include/libsemigroups/present.tpp include/libsemigroups/race.hpp include/libsemigroups/report.hpp include/libsemigroups/runner.hpp include/libsemigroups/schreier-sims.hpp include/libsemigroups/schreier-sims-helper.hpp include/libsemigroups/sims1.hpp include/libsemigroups/sims1.tpp include/libsemigroups/siso.hpp include/libsemigroups/stl.hpp include/libsemigroups/stephen.hpp include/libsemigroups/string-view.hpp include/libsemigroups/string.hpp include/libsemigroups/tce.hpp include/libsemigroups/timer.hpp include/libsemigroups/todd-coxeter-digraph.hpp include/libsemigroups/todd-coxeter-digraph.tpp include/libsemigroups/todd-coxeter.hpp include/libsemigroups/transf.hpp include/libsemigroups/types.hpp include/libsemigroups/uf.hpp include/libsemigroups/ukkonen.hpp include/libsemigroups/ukkonen.tpp include/libsemigroups/wilo.hpp include/libsemigroups/wislo.hpp include/libsemigroups/word.hpp '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups' libtool: install: /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.7.3' >>> libsemigroups-static*: Running split function static... './usr/lib/libsemigroups.a' -> '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups-static/./usr/lib/libsemigroups.a' >>> libsemigroups-static*: Preparing subpackage libsemigroups-static... >>> libsemigroups-static*: Stripping binaries >>> libsemigroups-static*: Running postcheck for libsemigroups-static >>> libsemigroups-dev*: Running split function dev... 'usr/include' -> '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups-dev/usr/include' 'usr/lib/pkgconfig' -> '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups-dev/usr/lib/pkgconfig' 'usr/lib/libsemigroups.so' -> '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups-dev/usr/lib/libsemigroups.so' >>> libsemigroups-dev*: Preparing subpackage libsemigroups-dev... >>> libsemigroups-dev*: Stripping binaries >>> libsemigroups-dev*: Running postcheck for libsemigroups-dev >>> libsemigroups*: Running postcheck for libsemigroups >>> libsemigroups*: Preparing package libsemigroups... >>> libsemigroups*: Stripping binaries >>> libsemigroups-dev*: Scanning shared objects >>> libsemigroups-static*: Scanning shared objects >>> libsemigroups*: Scanning shared objects >>> libsemigroups-dev*: Tracing dependencies... libsemigroups=2.7.3-r1 pc:eigen3 pc:fmt pkgconfig >>> libsemigroups-dev*: Package size: 1.9 MB >>> libsemigroups-dev*: Compressing data... >>> libsemigroups-dev*: Create checksum... >>> libsemigroups-dev*: Create libsemigroups-dev-2.7.3-r1.apk >>> libsemigroups-static*: Tracing dependencies... >>> libsemigroups-static*: Package size: 5.6 MB >>> libsemigroups-static*: Compressing data... >>> libsemigroups-static*: Create checksum... >>> libsemigroups-static*: Create libsemigroups-static-2.7.3-r1.apk >>> libsemigroups*: Tracing dependencies... so:libc.musl-ppc64le.so.1 so:libfmt.so.11 so:libgcc_s.so.1 so:libstdc++.so.6 >>> libsemigroups*: Package size: 1.9 MB >>> libsemigroups*: Compressing data... >>> libsemigroups*: Create checksum... >>> libsemigroups*: Create libsemigroups-2.7.3-r1.apk >>> libsemigroups: Build complete at Sat, 14 Dec 2024 19:25:03 +0000 elapsed time 0h 3m 28s >>> libsemigroups: Cleaning up srcdir >>> libsemigroups: Cleaning up pkgdir >>> libsemigroups: Uninstalling dependencies... (1/4) Purging .makedepends-libsemigroups (20241214.192137) (2/4) Purging eigen-dev (3.4.0-r10) (3/4) Purging fmt-dev (11.0.2-r0) (4/4) Purging fmt (11.0.2-r0) OK: 279 MiB in 108 packages >>> libsemigroups: Updating the testing/ppc64le repository index... >>> libsemigroups: Signing the index...