>>> libsemigroups: Building testing/libsemigroups 2.7.3-r2 (using abuild 3.18.0_rc5-r1) started Tue, 29 Sep 2026 16:24:48 +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 (12.2.0-r0) (3/4) Installing fmt-dev (12.2.0-r0) (4/4) Installing .makedepends-libsemigroups (20260929.162449) OK: 300.0 MiB in 110 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 Connecting to distfiles.alpinelinux.org (172.105.82.32:443) wget: server returned error: HTTP/1.1 404 Not Found >>> libsemigroups: Fetching https://github.com/libsemigroups/libsemigroups/releases/download/v2.7.3/libsemigroups-2.7.3.tar.gz Connecting to github.com (20.26.156.215:443) Connecting to release-assets.githubusercontent.com (185.199.109.133:443) saving to '/var/cache/distfiles/libsemigroups-2.7.3.tar.gz.part' libsemigroups-2.7.3. 100% |********************************| 2484k 0:00:00 ETA '/var/cache/distfiles/libsemigroups-2.7.3.tar.gz.part' saved /var/cache/distfiles/libsemigroups-2.7.3.tar.gz: OK /home/buildozer/aports/testing/libsemigroups/001-gcc-15.patch: OK >>> libsemigroups: Fetching https://distfiles.alpinelinux.org/distfiles/edge/libsemigroups-2.7.3.tar.gz /var/cache/distfiles/libsemigroups-2.7.3.tar.gz: OK /home/buildozer/aports/testing/libsemigroups/001-gcc-15.patch: 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' >>> libsemigroups: 001-gcc-15.patch patching file include/libsemigroups/sims1.tpp 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... cc 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 cc accepts -g... yes checking for cc option to enable C11 features... none needed checking whether cc understands -c and -o together... yes checking dependency style of cc... 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 c++ accepts -g... yes checking for c++ option to enable C++11 features... none needed checking dependency style of c++... gcc3 checking whether c++ 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... cc -E checking for grep that handles long lines and -e... /bin/grep checking for egrep... /bin/grep -E checking whether cc 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 cc... /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 cc 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 cc supports -fno-rtti -fno-exceptions... no checking for cc option to produce PIC... -fPIC -DPIC checking if cc PIC flag -fPIC -DPIC works... yes checking if cc static flag -static works... yes checking if cc supports -c -o file.o... yes checking if cc supports -c -o file.o... (cached) yes checking whether the cc 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... c++ -E checking for ld used by c++... /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 c++ linker (/usr/powerpc64le-alpine-linux-musl/bin/ld) supports shared libraries... yes checking for c++ option to produce PIC... -fPIC -DPIC checking if c++ PIC flag -fPIC -DPIC works... yes checking if c++ static flag -static works... yes checking if c++ supports -c -o file.o... yes checking if c++ supports -c -o file.o... (cached) yes checking whether the c++ 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++/15.2.0/algorithm:63, 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++/15.2.0/bits/stl_algo.h:1909:31, inlined from 'void std::sort(_RAIter, _RAIter, _Compare) [with _RAIter = libsemigroups::StaticRowView*; _Compare = libsemigroups::{anonymous}::test_BMat000 >()::]' at /usr/include/c++/15.2.0/bits/stl_algo.h:4874:18, inlined from 'void libsemigroups::{anonymous}::test_BMat000() [with Mat = libsemigroups::StaticMatrix]' at tests/test-matrix.cpp:166:18: /usr/include/c++/15.2.0/bits/stl_algo.h:1818:32: warning: array subscript 16 is outside array bounds of 'libsemigroups::detail::StaticVector1, 2> [1]' [-Warray-bounds=] 1818 | 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 . . . 92μs Action 002: row and column basis orbits for BMat8 . . . 4416μs Action 003: add generators after enumeration . . . 4431μs Action 004: multipliers for BMat8 row and column orbits . . . 10ms Action 005: orbits for regular boolean mat monoid 5 . . . 869ms Action 007: partial perm image orbit . . . 591μs Action 008: partial perm image orbit . . . 166ms Action 009: partial perm image orbit . . . 181ms Action 010: partial perm image orbit . . . 195ms Action 011: permutation on integers . . . 58μs Action 012: permutation on sets, arrays . . . 382μs Action 013: permutation on tuples, arrays . . . 35ms Action 014: permutation on sets, vectors . . . 707μs Action 015: permutation on tuples, vectors . . . 58ms Action 016: misc . . . 5925μs Action 017: partial perm image orbit . . . 155μs Action 018: permutation on tuples, arrays (360360) . . . 600ms Action 019: orbits for regular BMat8 monoid 5 with stop/start . . . 874ms Action 021: orbits for regular boolean mat monoid 5 (BMat<5> [...] . . . 1180ms ActionDigraph 000: constructor with 1 default arg . . . 39μs ActionDigraph 001: constructor with 0 default args . . . 133μs ActionDigraph 002: add nodes . . . 72μs ActionDigraph 003: add edges . . . 673μs ActionDigraph 004: strongly connected components - cycles . . . 83μs ActionDigraph 005: strongly connected components - no edges . . . 129ms ActionDigraph 006: strongly connected components - disjoint cycles . . . 4637μs ActionDigraph 007: strongly connected components - complete graphs . . . 2257μs ActionDigraph 008: exceptions . . . 255μs ActionDigraph 009: spanning forest - complete graphs . . . 8688μs ActionDigraph 010: spanning forest - disjoint cycles . . . 269μs ActionDigraph 011: restrict . . . 30μs ActionDigraph 012: remove_edge_nc . . . 29μs ActionDigraph 013: scc large cycle . . . 40ms ActionDigraph 014: random . . . 55μs ActionDigraph 015: reserve . . . 31μs ActionDigraph 016: default constructors . . . 45μs ActionDigraph 017: scc iterators . . . 3854μs ActionDigraph 018: iterator to edges . . . 2019μs ActionDigraph 019: root of scc . . . 861μs ActionDigraph 020: cbegin/end_panislo - 100 node path . . . 1736μs ActionDigraph 021: cbegin/end_pislo . . . 148μs ActionDigraph 022: cbegin/end_pani(s)lo - 100 node cycle . . . 1779μs ActionDigraph 023: cbegin/cend_pilo - tree 14 nodes . . . 266μs ActionDigraph 024: cbegin/end_pstilo - Cayley digraph . . . 684ms ActionDigraph 025: cbegin_pstilo - Tsalakou . . . 985μs ActionDigraph 026: cbegin/end_pstislo - Cayley digraph . . . 676ms ActionDigraph 027: cbegin/end_pstislo - Cayley digraph . . . 646μs ActionDigraph 028: path iterators corner cases . . . 678μs ActionDigraph 029: reverse node iterator . . . 34μs ActionDigraph 030: pstilo corner case . . . 109μs ActionDigraph 031: number_of_paths corner cases . . . 248μs ActionDigraph 032: number_of_paths acyclic digraph . . . 44ms ActionDigraph 033: number_of_paths binary tree . . . 1441ms ActionDigraph 034: number_of_paths large binary tree . . . 271ms ActionDigraph 035: number_of_paths 400 node random digraph . . . 2640μs ActionDigraph 036: number_of_paths 10 node acyclic digraph . . . 104μs ActionDigraph 037: number_of_paths node digraph . . . 7677μs ActionDigraph 038: random/random_acyclic exceptions . . . 417μs ActionDigraph 039: unsafe (next) neighbour . . . 131μs ActionDigraph 040: number_of_egdes incident to a node . . . 138μs ActionDigraph 041: number_of_paths (matrix) . . . 68ms ActionDigraph 042: number_of_paths (matrix) . . . 48μs ActionDigraph 043: swap_edge_nc . . . 32μs ActionDigraph 044: detail::pow for non-square Eigen matrix . . . 86μs ActionDigraph 045: operator<< . . . 48μs Array2 044: all . . . 142μs BMat8 001: transpose . . . 57μs BMat8 002: multiplication . . . 57μs BMat8 003: identity matrix . . . 43μs BMat8 004: random . . . 772μs BMat8 005: call operator . . . 59μs BMat8 006: operator<< . . . 52μs BMat8 007: set . . . 221μs BMat8 008: row space basis . . . 2242μs BMat8 009: col space basis . . . 2186μs BMat8 010: row space basis . . . 3487μs BMat8 011: number_of_rows, number_of_cols . . . 116μs BMat8 012: row_space, col_space . . . 715μs BMat8 013: rows . . . 134μs BMat8 014: one . . . 36μs BMat8 015: vector constructor . . . 415μs BMat8 016: operator< . . . 45μs BMat8 017: adapters . . . 63μs BMat8 018: one . . . 35μs Bipartition 009: mem fns 1 . . . 99μs Bipartition 010: hash . . . 25μs Bipartition 011: mem fns 2 . . . 71μs Bipartition 012: delete/copy . . . 28μs Bipartition 013: degree 0 . . . 35μs Bipartition 014: exceptions . . . 121μs Bipartition 015: convenience constructor . . . 916μs Bipartition 016: force copy constructor over move constructor . . . 52μs Bipartition 017: adapters . . . 28μs BitSet 000: size . . . 34μs BitSet 001: operator< . . . 34μs BitSet 002: operator== . . . 37μs BitSet 003: operator!= . . . 38μs BitSet 004: operator&= . . . 53μs BitSet 005: & . . . 60μs BitSet 006: operator|= . . . 60μs BitSet 007: operator[] . . . 54μs BitSet 008: set(none) . . . 68μs BitSet 009: set(pos, value) . . . 60μs BitSet 010: set(first, last, value) . . . 71μs BitSet 011: reset(first, last) . . . 66μs BitSet 012: reset(pos) . . . 64μs BitSet 013: apply (iterate through set bits) . . . 78μs BitSet 014: std::hash . . . 25μs BitSet 015: constructors . . . 61μs BitSet 016: max_size . . . 25μs BitSet 017: insertion operators . . . 36μs Blocks 001: empty blocks . . . 37μs Blocks 002: non-empty blocks . . . 39μs Blocks 003: left blocks of bipartition . . . 43μs Blocks 004: right blocks of bipartition . . . 44μs Blocks 005: copy [empty blocks] . . . 34μs Blocks 006: copy [non-empty blocks] . . . 39μs Blocks 007: hash value . . . 39μs Blocks 008: operator< . . . 41μs Congruence 000: left congruence on fp semigroup . . . 266μs Congruence 001: 2-sided congruence on fp semigroup . . . 3506μs Congruence 002: left congruence on fp semigroup . . . 9860μs Congruence 003: word_to_class_index for cong. on fp semigroup . . . 10ms Congruence 004: word_to_class_index for cong. on fp semigroup . . . 10ms Congruence 005: trivial congruence on non-fp semigroup . . . 612μs Congruence 006: 2-sided congruence on non-fp semigroup . . . 624μs Congruence 007: 2-sided congruence on fp semigroup . . . 1111μs Congruence 008: 2-sided congruence on infinite fp semigroup . . . 724μs Congruence 009: 2-sided congruence on infinite fp semigroup . . . 16ms Congruence 010: 2-sided congruence on finite semigroup . . . 107ms Congruence 012: 2-sided congruence on finite semigroup . . . 9141μs Congruence 013: trivial 2-sided congruence on bicyclic monoid . . . 63ms Congruence 014: non-trivial 2-sided congruence on bicyclic monoid . . . 810μs Congruence 015: 2-sided congruence on free abelian monoid . . . 731μs Congruence 016: example where TC works but KB doesn't . . . 1137μs Congruence 017: 2-sided congruence on finite semigroup . . . 626μs Congruence 018: infinite fp semigroup from GAP library . . . 16ms Congruence 019: 2-sided cong. on fp semigroup with infinite [...] . . . 661μs Congruence 020: trivial cong. on an fp semigroup . . .  -- with compute size 610μs  -- with don't compute size 568μs Congruence 021: duplicate generators . . . 898μs Congruence 022: non-trivial classes . . . 1785μs Congruence 023: right congruence on finite semigroup . . . 635ms Congruence 024: redundant generating pairs . . . 161μs Congruence 025: 2-sided cong. on free semigroup . . . 128μs Congruence 026: is_quotient_obviously_(in)finite . . . 1676μs Congruence 027: less . . . 17ms Congruence 028: 2-sided congruences of BMat8 semigroup . . . 373ms Congruence 029: left congruence on finite semigroup . . . 895μs Congruence 030: right congruence on finite semigroup . . . 848μs Congruence 031: right congruence on finite semigroup . . . 686μs Congruence 032: contains . . . 291μs Congruence 033: stellar_monoid S2 . . . 982μs Congruence 034: stellar_monoid S3 . . . 13ms Congruence 035: stellar_monoid S4 . . . 20ms Congruence 036: stellar_monoid S5 . . . 30ms Congruence 037: stellar_monoid S6 . . . 154ms Congruence 038: stellar_monoid S7 . . . 1685ms Congruence 039: left cong. on an f.p. semigroup . . . 1993μs Congruence 040: 2-sided cong. on infinite f.p. semigroup . . . 383μs Congruence 041: 2-sided congruence constructed from type only . . . 1039μs Congruence 042: const_contains . . . 804μs Congruence 043: no winner . . . 12ms Congruence 044: congruence over smalloverlap . . . 20ms CongruenceByPairs 001: (cong) 2-sided cong. on finite semigroup . . . 881μs CongruenceByPairs 002: (cong) left congruence on finite semigroup . . . 362μs CongruenceByPairs 003: (cong) right congruence on finite semigroup . . . 322μs CongruenceByPairs 004: (cong) trivial congruence on finite s [...] . . . 255μs CongruenceByPairs 005: (cong) trivial left congruence on fin [...] . . . 227μs CongruenceByPairs 006: (cong) trivial right congruence on fi [...] . . . 256μs CongruenceByPairs 007: (cong) universal congruence on finite [...] . . . 1082μs CongruenceByPairs 009: (cong) 2-sided congruence on finite s [...] . . . 1473ms CongruenceByPairs 010: (cong) left congruence on big finite [...] . . . 61ms CongruenceByPairs 011: (cong) left congruence on TCE . . . 462μs CongruenceByPairs 012: (cong) is_quotient_obviously_finite . . . 189μs CongruenceByPairs 013: (cong) class_index_to_word/quotient . . .  -- with right congruence 22ms  -- with left congruence 2497μs  -- with 2-sided congruence 13ms CongruenceByPairs 014: (cong) const_word_to_class_index . . .  -- with right congruence 97μs  -- with left congruence 73μs  -- with 2-sided congruence 74μs CongruenceByPairs 015: (cong) size non-Element* . . . 53ms CongruenceInterface 000: add_pair . . .  -- with ToddCoxeter 265μs  -- with KnuthBendix 439μs  -- with CongruenceByPairs 277μs  -- with Congruence 684μs CongruenceInterface 001: contains/const_contains . . .  -- with ToddCoxeter and no parent 264μs  -- with KnuthBendix and no parent 331μs  -- with Congruence and parent 541μs  -- with CongruenceByPairs and parent 206μs CongruenceInterface 002: less . . .  -- with ToddCoxeter 183μs  -- with KnuthBendix 381μs  -- with CongruenceByPairs 207μs  -- with Congruence 604μs CongruenceInterface 003: is_quotient_obviously_(in)finite . . .  -- with ToddCoxeter 157μs  -- with KnuthBendix 357μs CongruenceInterface 004: is_quotient_obviously_(in)finite . . .  -- with CongruenceByPairs 226μs  -- with Congruence 506μs CongruenceInterface 005: parent_froidure_pin . . .  -- with ToddCoxeter 71μs  -- with KnuthBendix 64μs CongruenceInterface 006: parent_froidure_pin . . .  -- with CongruenceByPairs 212μs  -- with Congruence 522μs CongruenceInterface 007: cbegin/cend_ntc . . .  -- with ToddCoxeter 533μs  -- with KnuthBendix 3376μs CongruenceInterface 008: cbegin/cend_ntc . . .  -- with CongruenceByPairs 379μs  -- with Congruence 717μs CongruenceInterface 009: quotient is immutable . . .  -- with ToddCoxeter 177μs  -- with KnuthBendix 292μs  -- with Congruence 313μs CongruenceInterface 010: no generating pairs added . . .  -- with KnuthBendix and common behaviour 9031μs  -- with Congruence and common behaviour 9138μs  -- with ToddCoxeter 276μs CongruenceInterface 011: nr generators not set . . .  -- with ToddCoxeter 356μs  -- with KnuthBendix 361μs  -- with Congruence 372μs CongruenceInterface 012: no generating pairs . . . 335μs ConstIteratorStateless 001: ? . . . 25μs ConstIteratorStateless 002: ? . . . 23μs Constants 001: Undefined . . . 42μs Constants 002: PositiveInfinity . . . 39μs Constants 003: NegativeInfinity . . . 36μs Constants 004: LimitMax . . . 34μs Duf 004: unite . . . 64μs Duf 006: compress . . . 36μs Duf 008: resize . . . 48μs Duf 009: resize . . . 30μs Duf 010: big chain . . . 39ms Duf 012: empty table . . . 24μs Duf 014: join . . . 31μs Duf 016: contains . . . 64μs Duf 018: swap . . . 73μs DynamicArray2 001: default constructor with 3 default args . . . 22μs DynamicArray2 002: default constructor with 2 default args . . . 22μs DynamicArray2 003: default constructor with 1 default args . . . 25μs DynamicArray2 004: default constructor with 0 default args . . . 23μs DynamicArray2 005: copy constructor with 1 default args . . . 33μs DynamicArray2 006: copy constructor with 0 default args . . . 46μs DynamicArray2 007: add_rows . . . 31μs DynamicArray2 008: add_rows . . . 28μs DynamicArray2 009: add_cols . . . 62μs DynamicArray2 010: set/get . . . 69μs DynamicArray2 011: append 1/2 . . . 128μs DynamicArray2 012: append 2/2 . . . 227μs DynamicArray2 013: count . . . 58μs DynamicArray2 014: clear . . . 25μs DynamicArray2 015: begin_row and end_row . . . 127μs DynamicArray2 016: cbegin_row and cend_row . . . 59μs DynamicArray2 017: iterator operator++ (postfix) . . . 555μs DynamicArray2 018: iterator operator++ (prefix) . . . 3581μs DynamicArray2 019: iterator operator-- (postfix) . . . 795μs DynamicArray2 020: iterator operator-- (prefix) . . . 732μs DynamicArray2 021: operator= . . . 34μs DynamicArray2 022: operator== and operator!= . . . 496μs DynamicArray2 023: empty and clear . . . 32μs DynamicArray2 024: max_size . . . 23μs DynamicArray2 025: swap . . . 63μs DynamicArray2 026: iterator arithmetic . . . 3352μs DynamicArray2 027: iterator comparison . . . 32μs DynamicArray2 028: iterator operator= . . . 25μs DynamicArray2 029: iterator operator[] . . . 180μs DynamicArray2 030: iterator operator-> . . . 27μs DynamicArray2 031: const_iterator operator++/-- . . . 474μs DynamicArray2 032: const_iterator operator++/-- . . . 23μs DynamicArray2 033: column iterators . . . 54μs DynamicArray2 034: column iterator arithmetic . . . 13ms DynamicArray2 035: iterator assignment constructor . . . 3781μs DynamicArray2 036: reserve method . . . 90μs DynamicArray2 037: erase column . . . 38μs DynamicArray2 038: swap_rows . . . 27μs DynamicArray2 039: apply_row_permutation . . . 29μs DynamicArray2 040: swap . . . 27μs DynamicArray2 041: shrink_rows_to . . . 41μs DynamicArray2 042: shrink_rows_to - for range . . . 42μs FastestBMat 046: check no throw . . . 35μs FelschTree 000: previously failing example . . . 58μs Forest 001: test forest . . . 166μs FpSemigroup 001: Renner monoid type B2 (E. G. presentation), q = 1 . . . 1505μs FpSemigroup 002: Renner monoid type B2 (E. G. presentation), q = 0 . . . 1450μs FpSemigroup 003: Renner monoid type B3 (E. G. presentation), q = 1 . . . 165ms FpSemigroup 004: Renner monoid type B3 (E. G. presentation), q = 0 . . . 154ms FpSemigroup 005: Renner monoid type B2 (Gay-Hivert presentat [...] . . . 1473μs FpSemigroup 006: Renner monoid type B2 (Gay-Hivert presentat [...] . . . 1220μs FpSemigroup 007: Renner monoid type B3 (Gay-Hivert presentat [...] . . . 5034μs FpSemigroup 008: Renner monoid type B3 (Gay-Hivert presentat [...] . . . 4868μs FpSemigroup 009: Renner monoid type B4 (Gay-Hivert presentat [...] . . . 328ms FpSemigroup 010: Renner monoid type B4 (Gay-Hivert presentat [...] . . . 507ms FpSemigroup 013: Renner monoid type D2 (E. G. presentation), q = 1 . . . 1958μs FpSemigroup 014: Renner monoid type D2 (E. G. presentation), q = 0 . . . 1846μs FpSemigroup 015: Renner monoid type D3 (E. G. presentation), q = 1 . . . 7169μs FpSemigroup 016: Renner monoid type D3 (E. G. presentation), q = 0 . . . 7373μs FpSemigroup 017: Renner monoid type D4 (E. G. presentation), q = 1 . . . 1604ms FpSemigroup 018: Renner monoid type D4 (E. G. presentation), q = 0 . . . 1298ms FpSemigroup 019: Renner monoid type D2 (Gay-Hivert presentat [...] . . . 1393μs FpSemigroup 020: Renner monoid type D2 (Gay-Hivert presentat [...] . . . 1231μs FpSemigroup 021: Renner monoid type D3 (Gay-Hivert presentat [...] . . . 4565μs FpSemigroup 022: Renner monoid type D3 (Gay-Hivert presentat [...] . . . 4566μs FpSemigroup 023: Renner monoid type D4 (Gay-Hivert presentat [...] . . . 80ms FpSemigroup 024: Renner monoid type D4 (Gay-Hivert presentat [...] . . . 91ms FpSemigroup 029: Rook monoid R5, q = 0 . . . 5443μs FpSemigroup 030: Rook monoid R5, q = 1 . . . 4724μs FpSemigroup 031: Rook monoid R6, q = 0 . . . 38ms FpSemigroup 032: Rook monoid R6, q = 1 . . . 37ms FpSemigroup 033: normal_form . . . 327μs FpSemigroup 034: for a finite semigroup . . . 604μs FpSemigroup 035: finite fp semigroup, dihedral group of order 6 . . . 453μs FpSemigroup 036: finite fp semigroup, size 16 . . . 685μs FpSemigroup 037: finite fp semigroup, size 16 . . . 1159μs FpSemigroup 038: fp semigroup, size 240 . . . 682μs FpSemigroup 039: add_rule . . . 267μs FpSemigroup 040: add_rule . . . 182μs FpSemigroup 041: equal_to . . . 254μs FpSemigroup 042: cbegin/cend_rules . . . 77μs FpSemigroup 043: semigroup of size 3 . . . 370μs FpSemigroup 044: run_for/until . . . 2445μs FpSemigroup 045: constructors . . . 262μs FpSemigroup 046: set_inverses . . . 190μs FpSemigroup 047: smalloverlap . . . 10ms FpSemigroup 048: quaternion group Q8 . . . 541μs FpSemigroup 049: symmetric group Coxeter presentation . . . 30ms FpSemigroupByPairs 029: (fpsemi) 2-sided congruence on finit [...] . . . 625μs FpSemigroupByPairs 030: (fpsemi) 2-sided congruence on finit [...] . . . 611μs FpSemigroupInterface 000: run with no alphabet . . .  -- with ToddCoxeter 104μs  -- with KnuthBendix 57μs  -- with FpSemigroup 72μs FpSemigroupInterface 001: equal_to . . .  -- with ToddCoxeter and human readable alphabet 3833μs  -- with KnuthBendix and human readable alphabet 7373μs  -- with FpSemigroup and human readable alphabet 7516μs  -- with FpSemigroupByPairs 3756μs FpSemigroupInterface 002: normal_form . . .  -- with ToddCoxeter 194μs  -- with KnuthBendix 239μs  -- with FpSemigroup 417μs FpSemigroupInterface 003: set_alphabet (1/2) . . .  -- with ToddCoxeter 165μs  -- with KnuthBendix 142μs  -- with FpSemigroup 151μs FpSemigroupInterface 004: set_alphabet (2/2) . . . 955μs FpSemigroupInterface 005: add_rule after finished . . .  -- with ToddCoxeter and human readable alphabet 159μs  -- with KnuthBendix and human readable alphabet 214μs  -- with FpSemigroup and human readable alphabet 306μs  -- with FpSemigroupByPairs 948μs FpSemigroupInterface 006: add_rule with equal words (1/2) . . .  -- with ToddCoxeter and human readable alphabet 151μs  -- with KnuthBendix and human readable alphabet 221μs  -- with FpSemigroup and human readable alphabet 273μs  -- with FpSemigroupByPairs 142μs FpSemigroupInterface 007: add_rule with equal words (2/2) . . .  -- with ToddCoxeter 25μs  -- with KnuthBendix 20μs  -- with FpSemigroup 28μs FpSemigroupInterface 008: add_rule with word_type . . .  -- with ToddCoxeter 64μs  -- with KnuthBendix 61μs  -- with FpSemigroup 92μs FpSemigroupInterface 009: add_rule with empty word (1/2) . . .  -- with ToddCoxeter 54μs  -- with FpSemigroup 58μs FpSemigroupInterface 010: add_rule with empty word (1/2) . . . 16μs FpSemigroupInterface 011: add_rules (1/3) . . .  -- with ToddCoxeter 56μs  -- with KnuthBendix 45μs  -- with FpSemigroup 54μs FpSemigroupInterface 012: add_rules (2/3) . . . 298μs FpSemigroupInterface 013: add_rules (3/3) . . .  -- with ToddCoxeter 27μs  -- with KnuthBendix 24μs  -- with FpSemigroup 60μs FpSemigroupInterface 014: set_identity (1/3) . . .  -- with ToddCoxeter 159μs  -- with KnuthBendix 152μs  -- with FpSemigroup 194μs FpSemigroupInterface 015: set_identity (2/3) . . . 194μs FpSemigroupInterface 016: set_identity (3/3) . . .  -- with ToddCoxeter 91μs  -- with KnuthBendix 88μs  -- with FpSemigroup 135μs FpSemigroupInterface 017: identity . . .  -- with ToddCoxeter 39μs  -- with KnuthBendix 34μs  -- with FpSemigroup 42μs FpSemigroupInterface 018: set_inverses + inverses (1/2) . . .  -- with ToddCoxeter 254μs  -- with KnuthBendix 247μs  -- with FpSemigroup 306μs FpSemigroupInterface 019: set_inverses + inverses (2/2) . . . 356μs FpSemigroupInterface 020: is_obviously_infinite (1/2) . . .  -- with ToddCoxeter 133μs  -- with KnuthBendix 204μs  -- with FpSemigroup 277μs FpSemigroupInterface 021: is_obviously_infinite (2/2) . . . 36μs FpSemigroupInterface 022: is_obviously_finite (1/2) . . .  -- with ToddCoxeter 118μs  -- with KnuthBendix 186μs  -- with FpSemigroup 255μs FpSemigroupInterface 023: is_obviously_finite (2/2) . . . 32μs FpSemigroupInterface 024: to_gap_string (1/3) . . .  -- with ToddCoxeter 31μs  -- with KnuthBendix 26μs  -- with FpSemigroup 63μs FpSemigroupInterface 025: to_gap_string (2/3) . . . 18μs FpSemigroupInterface 026: to_gap_string (3/3) . . . 29μs FroidurePin 015: (BMat8) regular boolean mat monoid 4 . . . 79ms FroidurePin 016: (BMat8) exception zero generators given . . . 19μs FroidurePin 017: (BMat8) exception word_to_element . . . 105μs FroidurePin 018: (BMat8) exception prefix . . . 4033μs FroidurePin 019: (BMat8) exception suffix . . . 25μs FroidurePin 020: (BMat8) exception first_letter . . . 3995μs FroidurePin 021: (BMat8) exception final_letter . . . 24μs FroidurePin 022: (BMat8) exception current_length . . . 3937μs FroidurePin 023: (BMat8) exception product_by_reduction . . . 4859μs FroidurePin 024: (BMat8) exception fast_product . . . 4833μs FroidurePin 025: (BMat8) exception is_idempotent . . . 44ms FroidurePin 026: (BMat8) copy constructor . . .  -- with fully enumerated 45ms  -- with partially enumerated 35ms  -- with not enumerated 33ms FroidurePin 027: (BMat8) cbegin/end_rules . . . 68μs FroidurePin 031: (integers) . . . 148μs FroidurePin 039: (pairs of integers) non-trivial user type . . . 25μs FroidurePin 055: (tropical max-plus semiring matrices) . . . 261μs FroidurePin 061: projective max plus matrix . . . 1145μs FroidurePin 062: projective max plus matrix . . . 34μs FroidurePin> 009: small example 2 . . . 41μs FroidurePin> 005: small example 1 . . . 136μs FroidurePin> 007: regular bmat monoid 4 . . . 72ms FroidurePin> 011: small example 3 . . . 528μs FroidurePin> 006: small example 1 . . . 176μs FroidurePin> 008: regular bmat monoid 4 . . . 95ms FroidurePin> 010: small example 2 . . . 51μs FroidurePin> 012: small example 3 . . . 694μs FroidurePin 000: small example 1 . . . 181μs FroidurePin 001: default constructed . . . 146μs FroidurePin 002: small example 2 . . . 60μs FroidurePin 004: exception: is_idempotent . . . 349μs FroidurePin> 033: Example 000 . . . 838μs FroidurePin> 035: Example 001 . . . 49μs FroidurePin> 032: Example 000 . . . 639μs FroidurePin> 034: Example 001 . . . 45μs FroidurePin 036: exception: current_position . . . 208μs FroidurePin 037: exception: word_to_element . . . 135μs FroidurePin 038: exception: prefix, suffix, first_letter . . . 58ms FroidurePin> 040: Example 000 . . . 79μs FroidurePin> 041: Example 000 . . . 75μs FroidurePin> 046: Example 005 . . . 168μs FroidurePin> 047: Example 005 . . . 195μs FroidurePin> 048: Example 005 . . . 193μs FroidurePin> 044: Example 004 . . . 32μs FroidurePin> 045: Example 004 . . . 36μs FroidurePin> 049: Example 006 . . . 1076μs FroidurePin> 050: Example 006 . . . 1280μs FroidurePin> 051: Example 006 . . . 1289μs FroidurePin> 052: Example 007 . . . 134μs FroidurePin> 053: Example 007 . . . 149μs FroidurePin> 054: Example 007 . . . 153μs FroidurePin 056: example 1 . . . 233μs FroidurePin 057: example 2 . . . 179μs FroidurePin> 058: . . . 666μs FroidurePin> 059: . . . 62μs FroidurePin> 060: exceptions: add_generator(s) . . . 93μs FroidurePin> 065: no exception zero generators given . . . 18μs FroidurePin> 066: exception generators of different [...] . . . 64μs FroidurePin> 067: exception current_position . . . 72μs FroidurePin> 068: exception word_to_element . . . 81μs FroidurePin> 069: exception gens . . . 866μs FroidurePin> 070: exception prefix . . . 65ms FroidurePin> 071: exception suffix . . . 162ms FroidurePin> 072: exception first_letter . . . 98μs FroidurePin> 073: exception final_letter . . . 88μs FroidurePin> 074: exception current_length . . . 87μs FroidurePin> 075: exception product_by_reduction . . . 1194μs FroidurePin> 076: exception fast_product . . . 1193μs FroidurePin> 077: exception current_position . . . 849μs FroidurePin> 078: exception is_idempotent . . . 776μs FroidurePin> 079: exception add_generators . . . 60μs FroidurePin> 080: multithread number_of_idempotents . . . 444μs FroidurePin> 081: small semigroup . . . 35μs FroidurePin> 082: large semigroup . . . 6271μs FroidurePin> 083: at, position, current_* . . . 6298μs FroidurePin> 084: run . . . 6177μs FroidurePin> 085: run [many stops and starts] . . . 6417μs FroidurePin> 086: factorisation, length [1 element] . . . 6001μs FroidurePin> 087: factorisation, products [all elements] . . . 9669μs FroidurePin> 088: first/final letter, prefix, suffi [...] . . . 6149μs FroidurePin> 089: current_position [standard] . . . 33μs FroidurePin> 090: current_position [duplicate gens] . . . 10ms FroidurePin> 091: current_position [after add_generators] . . . 6339μs FroidurePin> 092: cbegin_idempotents/cend [1 thread] . . . 6848μs FroidurePin> 093: idempotent_cend/cbegin [1 thread] . . . 6888μs FroidurePin> 094: is_idempotent [1 thread] . . . 7210μs FroidurePin> 096: finished, started . . . 6132μs FroidurePin> 097: current_position . . . 1391μs FroidurePin> 098: sorted_position, sorted_at . . . 7612μs FroidurePin> 099: right/left Cayley graph . . . 42ms FroidurePin> 100: iterator . . . 11ms FroidurePin> 101: reverse iterator . . . 11ms FroidurePin> 102: iterator arithmetic . . . 45ms FroidurePin> 103: iterator sorted . . . 42ms FroidurePin> 104: iterator sorted arithmetic . . . 51ms FroidurePin> 105: copy [not enumerated] . . . 6250μs FroidurePin> 106: copy_closure [not enumerated] . . . 39ms FroidurePin> 107: copy_add_generators [not enumerated] . . . 36ms FroidurePin> 108: copy [partly enumerated] . . . 6729μs FroidurePin> 109: copy_closure [partly enumerated] . . . 9864μs FroidurePin> 110: copy_add_generators [partly enumerated] . . . 6523μs FroidurePin> 111: copy [fully enumerated] . . . 9373μs FroidurePin> 112: copy_closure [fully enumerated] . . . 9853μs FroidurePin> 113: copy_add_generators [fully enumerated] . . . 9053μs FroidurePin> 114: relations [duplicate gens] . . . 198μs FroidurePin> 115: relations . . . 10ms FroidurePin> 116: relations [copy_closure, duplicat [...] . . . 9986μs FroidurePin> 117: relations [copy_add_generators, d [...] . . . 10ms FroidurePin> 118: relations [from copy, not enumerated] . . . 8177μs FroidurePin> 119: relations [from copy, partly enum [...] . . . 14ms FroidurePin> 120: relations [from copy, fully enumerated] . . . 15ms FroidurePin> 121: relations [from copy_closure, not [...] . . . 13ms FroidurePin> 122: relations [from copy_add_generato [...] . . . 8057μs FroidurePin> 123: relations [from copy_closure, par [...] . . . 11ms FroidurePin> 124: relations [from copy_add_generato [...] . . . 9703μs FroidurePin> 125: relations [from copy_closure, ful [...] . . . 13ms FroidurePin> 126: relations [from copy_add_generato [...] . . . 12ms FroidurePin> 127: add_generators [duplicate generators] . . . 288μs FroidurePin> 128: add_generators [incremental 1] . . . 301μs FroidurePin> 129: add_generators [incremental 2] . . . 369μs FroidurePin> 130: closure [duplicate generators] . . . 207μs FroidurePin> 131: closure . . . 98μs FroidurePin> 132: factorisation . . . 28μs FroidurePin> 134: minimal_factorisation . . . 79μs FroidurePin> 135: batch_size (for an extremely larg [...] . . . 28μs FroidurePin> 137: exception: generators of differen [...] . . . 47μs FroidurePin> 138: exception: current_position . . . 73μs FroidurePin> 139: exception: word_to_element . . . 81μs FroidurePin> 140: exception: gens, current_position . . . 1215μs FroidurePin> 141: exception: add_generators . . . 47μs KBE 000: constructors . . . 49μs KBE 001: test . . . 85μs KBE 002: factorisation . . . 64μs KBE 003: swap . . . 44μs KBE 004: adapters . . . 43μs KBE 005: conversions . . . 44μs Kambites 000: (fpsemi) MT test 4 (std::string) . . . 7182μs Kambites 001: (fpsemi) MT test 4 (MultiStringView) . . . 7623μs Kambites 002: (fpsemi) number_of_pieces (std::string) . . . 141μs Kambites 003: (fpsemi) number_of_pieces (MultiStringView) . . . 121μs Kambites 004: (fpsemi) small_overlap_class (std::string) . . . 4061μs Kambites 005: (fpsemi) small_overlap_class (MultiStringView) . . . 4012μs Kambites 006: (fpsemi) random (std::string) . . . 12ms Kambites 007: (fpsemi) random (MultiStringView) . . . 12ms Kambites 008: (fpsemi) KnuthBendix 055 (std::string) . . . 19ms Kambites 009: (fpsemi) KnuthBendix 055 (MultiStringView) . . . 20ms Kambites 010: (fpsemi) smalloverlap/gap/test.gi:85 (std::string) . . . 114μs Kambites 011: (fpsemi) smalloverlap/gap/test.gi:85 (MultiStr [...] . . . 96μs Kambites 012: (fpsemi) free semigroup . . . 15μs Kambites 013: (fpsemi) smalloverlap/gap/test.gi:49 (std::string) . . . 43ms Kambites 014: (fpsemi) smalloverlap/gap/test.gi:49 (MultiStr [...] . . . 52ms Kambites 015: (fpsemi) smalloverlap/gap/test.gi:63 (std::string) . . . 43ms Kambites 016: (fpsemi) smalloverlap/gap/test.gi:63 (MultiStr [...] . . . 58ms Kambites 017: (fpsemi) smalloverlap/gap/test.gi:70 (std::string) . . . 177ms Kambites 018: (fpsemi) smalloverlap/gap/test.gi:70 (MultiStr [...] . . . 226ms Kambites 021: (fpsemi) code coverage (std::string) . . . 55μs Kambites 022: (fpsemi) code coverage (MultiStringView) . . . 42μs Kambites 023: (fpsemi) prefix (std::string) . . . 85μs Kambites 024: (fpsemi) prefix (MultiStringView) . . . 123μs Kambites 025: (fpsemi) normal_form (Example 3.15) (std::string) . . . 93μs Kambites 026: (fpsemi) normal_form (Example 3.15) (MultiStri [...] . . . 146μs Kambites 027: (fpsemi) normal_form (Example 3.16) (std::string) . . . 67μs Kambites 028: (fpsemi) normal_form (Example 3.16) (MultiStri [...] . . . 96μs Kambites 029: (fpsemi) normal_form (Example 3.16) more exhau [...] . . . 112ms Kambites 030: (fpsemi) normal_form (Example 3.16) more exhau [...] . . . 112ms Kambites 031: (fpsemi) small presentation (std::string) . . . 117μs Kambites 032: (fpsemi) small presentation (MultiStringView) . . . 87μs Kambites 033: (fpsemi) non-smalloverlap (std::string) . . . 94μs Kambites 034: (fpsemi) non-smalloverlap (MultiStringView) . . . 100μs Kambites 035: (fpsemi) MT test 3 (std::string) . . . 66μs Kambites 036: (fpsemi) MT test 3 (MultiStringView) . . . 63μs Kambites 037: (fpsemi) MT test 5 (std::string) . . . 35μs Kambites 038: (fpsemi) MT test 5 (MultiStringView) . . . 36μs Kambites 039: (fpsemi) MT test 6 (std::string) . . . 48μs Kambites 040: (fpsemi) MT test 6 (MultiStringView) . . . 57μs Kambites 041: (fpsemi) MT test 10 (std::string) . . . 46μs Kambites 042: (fpsemi) MT test 10 (MultiStringView) . . . 53μs Kambites 043: (fpsemi) MT test 13 (std::string) . . . 35μs Kambites 044: (fpsemi) MT test 13 (MultiStringView) . . . 37μs Kambites 045: (fpsemi) MT test 14 (std::string) . . . 32μs Kambites 046: (fpsemi) MT test 14 (MultiStringView) . . . 34μs Kambites 047: (fpsemi) MT test 15 (std::string) . . . 47μs Kambites 048: (fpsemi) MT test 15 (MultiStringView) . . . 47μs Kambites 049: (fpsemi) MT test 16 (std::string) . . . 45μs Kambites 050: (fpsemi) MT test 16 (MultiStringView) . . . 50μs Kambites 051: (fpsemi) MT test 17 (std::string) . . . 136μs Kambites 052: (fpsemi) MT test 17 (MultiStringView) . . . 122μs Kambites 053: (fpsemi) weak C(4) not strong x 1 (std::string) . . . 721μs Kambites 054: (fpsemi) weak C(4) not strong x 1 (MultiStringView) . . . 872μs Kambites 055: (fpsemi) weak C(4) not strong x 2 (std::string) . . . 695μs Kambites 056: (fpsemi) weak C(4) not strong x 2 (MultiStringView) . . . 887μs Kambites 057: (fpsemi) weak C(4) not strong x 3 (std::string) . . . 696μs Kambites 058: (fpsemi) weak C(4) not strong x 3 (MultiStringView) . . . 672μs Kambites 059: (fpsemi) weak C(4) not strong x 4 (std::string) . . . 87μs Kambites 060: (fpsemi) weak C(4) not strong x 4 (MultiStringView) . . . 108μs Kambites 061: (fpsemi) weak C(4) not strong x 5 (std::string) . . . 44μs Kambites 062: (fpsemi) weak C(4) not strong x 5 (MultiStringView) . . . 42μs Kambites 063: (fpsemi) weak C(4) not strong x 6 (std::string) . . . 59μs Kambites 064: (fpsemi) weak C(4) not strong x 6 (MultiStringView) . . . 62μs Kambites 065: (fpsemi) Konovalov example (std::string) . . . 43μs Kambites 066: (fpsemi) Konovalov example (MultiStringView) . . . 43μs Kambites 067: (fpsemi) long words (std::string) . . . 1164ms Kambites 068: (fpsemi) long words (MultiStringView) . . . 47ms Kambites 075: (cong) example 1 . . . 42μs Kambites 076: (cong) example 2 . . . 132μs Kambites 077: (cong) code coverage . . . 6346μs Kambites 078: (cong) large number of rules . . . 301ms KnuthBendix 000: (fpsemi) confluent fp semigroup 1 (infinite) . . . 97μs KnuthBendix 001: (fpsemi) confluent fp semigroup 2 (infinite) . . . 109μs KnuthBendix 002: (fpsemi) confluent fp semigroup 3 (infinite) . . . 87μs KnuthBendix 003: (fpsemi) non-confluent fp semigroup from wi [...] . . . 186μs KnuthBendix 004: (fpsemi) Example 5.1 in Sims (infinite) . . . 166μs KnuthBendix 005: (fpsemi) Example 5.1 in Sims (infinite) . . . 157μs KnuthBendix 006: (fpsemi) Example 5.3 in Sims . . . 121μs KnuthBendix 007: (fpsemi) Example 5.4 in Sims . . . 149μs KnuthBendix 008: (fpsemi) Example 6.4 in Sims (size 168) . . . 10ms KnuthBendix 009: (fpsemi) . . . 46ms KnuthBendix 010: (fpsemi) SL(2, 7) from Chapter 3, Propositi [...] . . . 121ms KnuthBendix 011: (fpsemi) F(2, 5) - Chapter 9, Section 1 in [...] . . . 593μ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 . . . 38μs KnuthBendix 020: (cong) Chinese monoid . . . 184μs KnuthBendix 021: (from kbmag/standalone/kb_data/f25monoid) . . . 616μs KnuthBendix 022: (from kbmag/standalone/kb_data/degen4a) . . . 59ms KnuthBendix 023: (from kbmag/standalone/kb_data/torus) . . . 3713μs KnuthBendix 024: (from kbmag/standalone/kb_data/3a6) . . . 342ms KnuthBendix 025: (from kbmag/standalone/kb_data/f2) . . . 64μs KnuthBendix 026: (from kbmag/standalone/kb_data/s16) . . . 196ms KnuthBendix 027: (from kbmag/standalone/kb_data/a4monoid) . . . 69μs KnuthBendix 028: (from kbmag/standalone/kb_data/degen3) . . . 24μs KnuthBendix 029: (from kbmag/standalone/kb_data/ab1) . . . 24μs KnuthBendix 030: (from kbmag/standalone/kb_data/degen2) . . . 17μs KnuthBendix 031: (from kbmag/standalone/kb_data/f25) . . . 514μs KnuthBendix 032: (from kbmag/standalone/kb_data/237) . . . 687μs KnuthBendix 033: (from kbmag/standalone/kb_data/c2) . . . 16μs KnuthBendix 034: (from kbmag/standalone/kb_data/cosets) . . . 234μs KnuthBendix 035: Example 5.1 in Sims (KnuthBendix 09 again) . . . 58μs KnuthBendix 036: (from kbmag/standalone/kb_data/nilp2) . . . 32μs KnuthBendix 037: Example 6.4 in Sims . . . 17ms KnuthBendix 038: KnuthBendix 071 again . . . 782μs KnuthBendix 039: Example 5.4 in Sims (KnuthBendix 11 again) [...] . . . 244μs KnuthBendix 040: Example 5.4 in Sims (KnuthBendix 11 again) [...] . . . 174μs KnuthBendix 041: operator<< . . . 61μs KnuthBendix 042: confluence_interval . . . 19μs KnuthBendix 043: max_overlap . . . 18μs KnuthBendix 044: (fpsemi) (from kbmag/standalone/kb_data/d22 [...] . . . 1747μs KnuthBendix 045: (fpsemi) (from kbmag/standalone/kb_data/d22 [...] . . . 2999μs KnuthBendix 046: (fpsemi) small example . . . 886μs KnuthBendix 047: code coverage . . . 73μs KnuthBendix 048: small overlap 1 . . . 50μs KnuthBendix 049: (from kbmag/standalone/kb_data/s9) . . . 2110μs KnuthBendix 050: (fpsemi) Chapter 11, Lemma 1.8 (q = 6, r = [...] . . . 614μs KnuthBendix 051: (fpsemi) Chapter 11, Section 2 (q = 6, r = [...] . . . 136μs KnuthBendix 052: (fpsemi) Chapter 8, Theorem 4.2 in NR (infinite) . . . 259μs KnuthBendix 053: (fpsemi) equal_to fp semigroup . . . 51μs KnuthBendix 054: (fpsemi) equal_to free semigroup . . . 51μs KnuthBendix 055: (fpsemi) from GAP smalloverlap gap/test.gi [...] . . . 536μs KnuthBendix 056: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 927μs KnuthBendix 057: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 941μs KnuthBendix 058: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 2661μs KnuthBendix 059: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 6216μs KnuthBendix 060: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 30μs KnuthBendix 061: (fpsemi) Von Dyck (2,3,7) group (infinite) . . . 669μs KnuthBendix 062: (fpsemi) Von Dyck (2,3,7) group - different [...] . . . 5932μs KnuthBendix 063: (fpsemi) rewriting system from KnuthBendixC [...] . . . 430μs KnuthBendix 064: (fpsemi) rewriting system from Congruence 20 . . . 29μs KnuthBendix 065: (fpsemi) (from kbmag/standalone/kb_data/ab2) . . . 109μs KnuthBendix 066: (fpsemi) (from kbmag/standalone/kb_data/d22 [...] . . . 1823μs KnuthBendix 067: (fpsemi) (from kbmag/standalone/kb_data/degen1) . . . 91μs KnuthBendix 068: (fpsemi) (from kbmag/standalone/kb_data/s4) . . . 389μs KnuthBendix 069: (fpsemi) fp semigroup (infinite) . . . 56μs KnuthBendix 070: (fpsemi) Chapter 11, Section 1 (q = 4, r = [...] . . . 2211μs KnuthBendix 071: (fpsemi) Chapter 11, Section 1 (q = 8, r = [...] . . . 135ms KnuthBendix 072: (fpsemi) Chapter 7, Theorem 3.9 in NR (size 240) . . . 4278μs KnuthBendix 073: (fpsemi) F(2, 5) - Chapter 9, Section 1 in [...] . . . 547μs KnuthBendix 074: (fpsemi) F(2, 6) - Chapter 9, Section 1 in NR . . . 594μs KnuthBendix 075: (fpsemi) Chapter 10, Section 4 in NR (infinite) . . . 1177μs KnuthBendix 076: (fpsemi) Sym(5) from Chapter 3, Proposition [...] . . . 3699μs KnuthBendix 077: (fpsemi) SL(2, 7) from Chapter 3, Propositi [...] . . . 118ms KnuthBendix 078: (fpsemi) bicyclic monoid (infinite) . . . 54μs KnuthBendix 079: (fpsemi) plactic monoid of degree 2 (infinite) . . . 79μs KnuthBendix 080: (fpsemi) example before Chapter 7, Proposit [...] . . . 54μs KnuthBendix 081: (fpsemi) Chapter 7, Theorem 3.6 in NR (size 243) . . . 968μs KnuthBendix 082: (fpsemi) finite semigroup (size 99) . . . 300μs KnuthBendix 096: Sorouhesh . . . 453μs KnuthBendix 097: (fpsemi) transformation semigroup (size 4) . . . 69μs KnuthBendix 098: (fpsemi) transformation semigroup (size 9) . . . 61μs KnuthBendix 099: (fpsemi) transformation semigroup (size 88) . . . 841μs KnuthBendix 100: internal_string_to_word . . . 40μs KnuthBendix 101: (fpsemi) construct from shared_ptr . . . 928μs KnuthBendix 102: internal_string_to_word . . . 1326μs KnuthBendix 103: (cong) free semigroup congruence (5 classes) . . . 85μs KnuthBendix 104: free semigroup congruence (6 classes) . . . 453μs KnuthBendix 105: (cong) free semigroup congruence (16 classes) . . . 625μs KnuthBendix 106: (cong) free semigroup congruence (6 classes) . . . 995μs KnuthBendix 107: (cong) free semigroup congruence (240 classes) . . . 4753μs KnuthBendix 108: (cong) free semigroup congruence (240 classes) . . . 4129μs KnuthBendix 109: (cong) less . . . 5360μs KnuthBendix 110: (cong) less . . . 243ms KnuthBendix 111: (cong) constructors . . . 408ms KnuthBendix 112: (cong) const_contains/contains . . . 237μs KnuthBendix 113: (cong) is_quotient_obviously_finite . . . 22μs KnuthBendix 114: (cong) class_index_to_word . . . 248μs KnuthBendix 115: (cong) quotient_froidure_pin . . . 154μs KnuthBendix 116: (cong) set_number_of_generators . . . 32μs KnuthBendix 117: (cong) number of classes when obv-inf . . . 47μs KnuthBendixCongruenceByPairs 016: non-trivial congruence on [...] . . . 220μs KnuthBendixCongruenceByPairs 017: non-trivial congruence on [...] . . . 315μs KnuthBendixCongruenceByPairs 018: non-trivial congruence on [...] . . . 662μs KnuthBendixCongruenceByPairs 019: non-trivial congruence on [...] . . . 663μs KnuthBendixCongruenceByPairs 020: trivial congruence on a fi [...] . . . 272μs KnuthBendixCongruenceByPairs 021: universal congruence on a [...] . . . 693μs KnuthBendixCongruenceByPairs 022: left congruence on a finit [...] . . . 366μs KnuthBendixCongruenceByPairs 023: finite group, Chapter 11, [...] . . . 6070μs KnuthBendixCongruenceByPairs 024: right congruence on infini [...] . . . 449μs KnuthBendixCongruenceByPairs 025: finite fp semigroup, dihed [...] . . . 536μs KnuthBendixCongruenceByPairs 026: finite fp semigroup, size 16 . . . 612μs KnuthBendixCongruenceByPairs 027: finite fp semigroup, size 16 . . . 1541μs KnuthBendixCongruenceByPairs 028: infinite fp semigroup with [...] . . . 73μs Konieczny 000: test000> . . . 1102μs Konieczny 001: test000> . . . 867μs Konieczny 002: test001> . . . 11ms Konieczny 003: test001> . . . 10ms Konieczny 006: exceptions . . . 51μs Konieczny 007: code coverage . . . 14ms Konieczny 008: code coverage . . . 12ms Konieczny 009: regular elements and idempotents . . . 187ms Konieczny 010: regular D-class 01 . . . 1006μs Konieczny 011: regular D-class 02 . . . 8302μs Konieczny 012: regular D-class 04: contains . . . 28ms Konieczny 013: non-regular D-classes 01 . . . 1052μs Konieczny 014: RegularDClass . . . 645μs Konieczny 015: full bmat monoid 4 . . . 37ms Konieczny 017: regular generated bmat monoid 4 idempotents . . . 58ms Konieczny 019: my favourite example . . . 78ms Konieczny 020: another large example . . . 14ms Konieczny 021: my favourite example transposed . . . 64ms Konieczny 024: exceptions . . . 1154μs Konieczny 025: 0-parameter constructor . . . 16ms Konieczny 026: non-regular D-classes 02 . . . 9690μs Konieczny 028: partial perm . . . 180ms Konieczny 029: symmetric inverse monoid n = 8 . . . 27ms Konieczny 030: exceptions . . . 229ms Konieczny 031: transformations . . . 990μs Konieczny 032: transformations - JDM favourite example . . . 106ms Konieczny 033: transformations - large example . . . 296ms Konieczny 034: transformations - large example with stop . . . 329ms Konieczny 035: transformations - large example with run_until . . . 326ms Konieczny 036: transformations - large example with stop in Action . . . 318ms Konieczny 037: exceptions . . . 77μs Konieczny 038: transformations: contains . . . 829μs Konieczny 040: transformations - destructor coverage . . . 261ms Konieczny 041: current_number_D_classes . . . 264ms Konieczny 042: add_generator . . . 46μs Konieczny 043: add_generator . . . 30μs Matrix 000: BMat<2> . . . 91μs Matrix 001: BMat<> . . . 101μs Matrix 002: BMat<3> + BMat<> . . . 13μs Matrix 003: BMat<2> + BMat<> . . . 13μs Matrix 004: BMat<3> . . . 15μs Matrix 005: BMat<> . . . 16μs Matrix 006: BMat<3> row_basis . . . 48μs Matrix 007: BMat<> row_basis . . . 55μs Matrix 008: IntMat<3> . . . 17μs Matrix 009: IntMat<> . . . 25μs Matrix 010: IntMat code cov . . . 13μs Matrix 011: MaxPlusMat<3> . . . 16μs Matrix 012: MaxPlusMat<> . . . 18μs Matrix 013: MaxPlusMat code cov . . . 11μs Matrix 014: MinPlusMat<3> . . . 21μs Matrix 015: MinPlusMat<> . . . 25μs Matrix 016: MinPlusMat code cov . . . 10μs Matrix 017: MaxPlusTruncMat<5, 2> . . . 16μs Matrix 018: MaxPlusTruncMat<5> . . . 20μs Matrix 019: MaxPlusTruncMat<> . . . 46μs Matrix 020: MaxPlusTruncMat<5, 4> . . . 31μs Matrix 021: MaxPlusTruncMat<5> . . . 22μs Matrix 022: MaxPlusTruncMat<> . . . 23μs Matrix 023: MaxPlusTruncMat<33, 3> . . . 42μs Matrix 024: MaxPlusTruncMat<33> . . . 42μs Matrix 025: MaxPlusTruncMat<> . . . 42μs Matrix 026: MaxPlusMat code cov . . . 10μs Matrix 027: MinPlusTruncMat<33, 3> . . . 43μs Matrix 028: MinPlusTruncMat<33> . . . 44μs Matrix 029: MinPlusTruncMat<> . . . 59μs Matrix 030: NTPMat<0, 3, 3, 3> . . . 18μs Matrix 031: NTPMat<0, 3> . . . 21μs Matrix 032: NTPMat<> . . . 58μs Matrix 033: NTPMat<0, 10, 4, 4> . . . 29μs Matrix 034: NTPMat<0, 10> . . . 24μs Matrix 035: NTPMat<> . . . 24μs Matrix 036: NTPMat<0, 10, 4, 4> . . . 24μs Matrix 037: NTPMat<0, 10> . . . 21μs Matrix 038: NTPMat<> . . . 22μs Matrix 039: NTPMat<33, 2, 3, 3> . . . 18μs Matrix 040: NTPMat<33, 2> . . . 17μs Matrix 041: NTPMat<> . . . 17μs Matrix 042: ProjMaxPlusMat<3> . . . 132μs Matrix 043: ProjMaxPlusMat<> . . . 84μs Matrix 044: exceptions . . . 71μs Matrix 045: code coverage . . . 61μs MultiStringView 000: catch all . . . 43μs MultiStringView 001: is_prefix . . . 16μs MultiStringView 002: erase . . . 18μs MultiStringView 003: iterators . . . 13μs MultiStringView 004: constructors (long) . . . 24μs MultiStringView 005: constructors (short) . . . 19μs MultiStringView 006: copy assignment (short assigned to long) . . . 15μs MultiStringView 007: copy assignment (short assigned to short) . . . 14μs MultiStringView 008: move assignment (short assigned to long) . . . 15μs MultiStringView 009: move assignment (short assigned to short) . . . 15μs MultiStringView 010: code coverage . . . 24μs MultiStringView 011: pop_front . . . 46μs MultiStringView 012: append . . . 16μs MultiStringView 013: operators . . . 18μs MultiStringView 014: maximum_common_suffix . . . 15μs MultiStringView 015: deep tests . . . 11μs ObviouslyInfinite 011: Multiple rule additions . . . 42μs ObviouslyInfinite 012: A power of the generator 'b' does not [...] . . . 13μs ObviouslyInfinite 013: Preserves the number of occurrences o [...] . . . 15μs ObviouslyInfinite 014: Less relations than generators . . . 13μs ObviouslyInfinite 015: Relations preserve length . . . 14μs ObviouslyInfinite 016: Matrix has non empty kernel . . . 15μs ObviouslyInfinite 017: Free product of trivial semigroups . . . 13μs ObviouslyInfinite 018: Another free product . . . 16μs ObviouslyInfinite 019: Infinite but not obviously so . . . 15μs ObviouslyInfinite 020: Finite semigroup . . . 17μs PBR 001: universal product with convenience constructor . . . 55μs PBR 002: universal product . . . 23μs PBR 003: product [bigger than previous] . . . 29μs PBR 004: hash . . . 12μs PBR 005: delete/copy . . . 22μs PBR 006: exceptions . . . 287μs PBR 007: operators . . . 74μs PBR 008: to_string . . . 26μs PBR 009: identity . . . 52μs PBR 010: adapters . . . 10μs Pool 000: initial . . . 38μs Pool 001: bmat . . . 37μs Pool 002: PoolGuard . . . 34μs Pool 003: transformation products . . . 15μs Presentation 000: vectors of ints . . . 122μs Presentation 001: strings . . . 132μs Presentation 002: constructors (word_type) . . . 26μs Presentation 003: constructors (StaticVector1) . . . 25μs Presentation 004: constructors (std::string) . . . 27μs Presentation 005: alphabet + letters (word_type) . . . 200μs Presentation 006: alphabet + letters (std::string) . . . 67μs Presentation 007: contains_empty_word . . . 13μs Presentation 008: validate_rules throws . . . 80μs Presentation 009: helpers add_rule(s) . . . 174μs Presentation 010: helpers add_rule(s) (std::string) . . . 62μs Presentation 011: helpers add_identity_rules (std::vector/St [...] . . . 69μs Presentation 012: helpers add_identity_rules (std::string) . . . 39μs Presentation 013: helpers add_inverse_rules (all) . . . 404μs Presentation 014: helpers add_inverse_rules (std::string) . . . 21μs Presentation 015: helpers remove_duplicate_rules . . . 100μs Presentation 016: helpers reduce_complements . . . 171μs Presentation 017: helpers sort_each_rule . . . 98μs Presentation 018: helpers sort_rules . . . 101μs Presentation 019: helpers longest_common_subword/replace_subword . . . 201μs Presentation 020: helpers redundant_rule . . . 8938μs Presentation 021: helpers shortlex_compare_concat . . . 12μs Presentation 022: helpers remove_trivial_rules . . . 107μs Presentation 023: helpers replace_subword (existing, replacement) . . . 58μs Presentation 024: helpers longest_rule . . . 215μs Presentation 025: helpers longest_rule_length . . . 194μs Presentation 026: helpers remove_redundant_generators . . . 138μs Presentation 027: helpers reverse . . . 23μs Presentation 028: in_alphabet . . . 28μs Presentation 029: replace_subword with empty word . . . 33μs Presentation 030: helpers replace_word . . . 36μs Presentation 031: clear . . . 13μs Presentation 032: letter . . . 55μs Presentation 033: normalize_alphabet . . . 18μs Presentation 034: longest_common_subword issue . . . 262μs Presentation 035: helpers add_zero_rules (std::vector/Static [...] . . . 72μs Presentation 036: helpers add_zero_rules (std::string) . . . 41μs Presentation 037: make_semigroup . . . 47μs Presentation 038: greedy_reduce_length . . . 178μs Presentation 039: aaaaaaaab = aaaaaaaaab strong compression . . . 46μs Presentation 040: change_alphabet . . . 136μs Presentation 041: sort_rules bug . . . 212μs Presentation 042: first_unused_letter/letter . . . 256μs Presentation 043: case where strong compression doesn't work . . . 30μs Presentation 044: proof that . . . 53μs Presentation 045: decompression . . . 20μs Race 001: run_for . . . 10ms Race 002: run_until . . . 10ms Race 003: exceptions . . . 10ms Race 004: iterators . . . 15μs Race 005: find_runner . . . 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 . . . 1013μs Runner 002: run_for . . . 191ms Runner 003: run_for . . . 25ms Runner 004: started . . . 1024μs Runner 005: run_until . . . 163ms Runner 006: kill . . . 15μs Runner 007: copy constructor . . . 10ms Runner 008: report . . . 20ms Runner 009: run_until with function pointer . . . 13μs SchreierSims 001: trivial perm. group (degree 1) . . . 19μs SchreierSims 002: trivial perm. group (degree 2) . . . 15μs SchreierSims 003: trivial perm. group (degree 500) . . . 71μs SchreierSims 004: symmetric perm. group (degree 5) . . . 23μs SchreierSims 005: symmetric perm. group (degree 8) . . . 43μs SchreierSims 006: symmetric perm. group (degree 9) . . . 63μs SchreierSims 007: alternating perm. group (degree 12) . . . 100μs SchreierSims 008: symmetric perm. group (degree 16) . . . 883μs SchreierSims 009: alternating perm. group (degree 15) . . . 455μs SchreierSims 010: alternating perm. group (degree 16) . . . 1050μs SchreierSims 011: dihedral perm. group (order 10) . . . 16μs SchreierSims 012: dihedral perm. group (order 200) . . . 592μs SchreierSims 013: perm. group T (order 12) . . . 18μs SchreierSims 014: quaternion perm. group (order 8) . . . 19μs SchreierSims 015: perm. group (order 84129611558952960) . . . 411ms SchreierSims 016: perm. group SL(3, 5) (order 372000) . . . 1312μs SchreierSims 017: perm. group PSL(4, 8) (order 34558531338240) . . . 179ms SchreierSims 018: perm. Mathieu group M11 (order 7920) . . . 133μs SchreierSims 019: perm. Mathieu group M24 (order 244823040) . . . 277μs SchreierSims 020: perm. Janko Group J1 (order 175560) . . . 2821μs SchreierSims 021: perm. Hall-Janko group (order 604800) . . . 434μs SchreierSims 022: perm. Hall-Janko group (alt.) (order 604800) . . . 29ms SchreierSims 023: perm. Conway group Co3 (order 495766656000) . . . 10ms SchreierSims 024: perm. Conway group Co3 (alt.) (order 49576 [...] . . . 22ms SchreierSims 025: perm. Suzuki group (order 448345497600) . . . 102ms SchreierSims 027: perm. Held group (order 4030387200) . . . 204ms SchreierSims 028: perm. group C2 x C2 x C2 (order 8) . . . 46μs SchreierSims 029: perm. group C2 x C2 x C2 x C2 (order 16) . . . 61μs SchreierSims 030: perm. group (S5 x S5) : C2 (order 28800) . . . 109μs SchreierSims 031: perm. group C3 x D8 x A5 (order 1440) . . . 110μs SchreierSims 032: perm. group GL(4, 3) (order 24261120) . . . 857μs SchreierSims 033: perm. group PSL(3, 7) (order 1876896) . . . 1033μs SchreierSims 037: symmetric perm. group (degree 5) . . . 51μs SchreierSims 038: alternating perm. group (degree 17) . . . 5892μs SchreierSims 039: exceptions . . . 250μs SchreierSims 040: exceptions . . . 132μs SchreierSims 041: trivial group . . . 91μs SchreierSims 042: A17 bug . . . 5164μs SchreierSims 043: orbits_lookup test . . . 839μs SchreierSims 044: transversal_element and inversal_element test . . . 4279μs SchreierSimsHelper 001: trivial perm. group intersection (de [...] . . . 30μs SchreierSimsHelper 002: trivial perm. group intersection (de [...] . . . 29μs SchreierSimsHelper 003: cyclic group intersection (degree 13) . . . 54μs SchreierSimsHelper 004: D10 and Z5 intersection . . . 51μs SchreierSimsHelper 005: D8 and Q8 intersection . . . 44μs SchreierSimsHelper 006: primitive on 8 points intersection . . . 116μs SchreierSimsHelper 007: primitive on 8 points intersection ( [...] . . . 116μs SchreierSimsHelper 008: A13 and PGL(2, 11) intersection . . . 1056μs SchreierSimsHelper 009: A13 and PGL(2, 11) intersection (swa [...] . . . 1011μs SchreierSimsHelper 012: 3^3:13 and 3^3.2.A(4) intersection . . . 212μs SchreierSimsHelper 015: 3^3(S(4) x 2) and ASL(3, 3) intersection . . . 408μs SchreierSimsHelper 016: 7^2:3 x Q(8) and 7^2:D(2*6) intersection . . . 497μs SchreierSimsHelper 018: D(2*53) and 53:13 intersection . . . 303μs SchreierSimsHelper 019: 2^6:(7 x D_14) and PSL(2, 6)^2.4 int [...] . . . 2373μs SchreierSimsHelper 020: 2^6:(S_3 x GL(3, 2)) and 2.6:Alt(7) [...] . . . 7498μs SchreierSimsHelper 022: PSL(2, 127) and AGL(1, 2^7) intersection . . . 16ms SchreierSimsHelper 023: PSL(3, 4).2 and PSL(3, 4).2 (nontriv [...] . . . 2168μs SchreierSimsHelper 024: PSL(3, 4).Sym(3) and PSL(3, 4).2 int [...] . . . 2991μs SchreierSimsHelper 025: 3^4:5:4 and D_16:4 intersection . . . 1471μs Sims1 000: fp example 1 . . . 1521μs Sims1 001: fp example 2 . . . 4248μs Sims1 002: ToddCoxeter failing example . . . 39ms Sims1 003: ToddCoxeter failing example . . . 1644μs Sims1 004: partition_monoid(2) right . . . 13ms Sims1 006: full_transformation_monoid(3) right . . . 12ms Sims1 007: full_transformation_monoid(3) left . . . 6336μs Sims1 009: rook_monoid(2, 1) . . . 150μs Sims1 010: symmetric_inverse_monoid(2) from FroidurePin . . . 138μs Sims1 011: symmetric_inverse_monoid(3) . . . 12ms Sims1 014: temperley_lieb_monoid(3) from presentation . . . 116μs Sims1 015: temperley_lieb_monoid(4) from presentation . . . 1881μs Sims1 016: fp semigroup containing given pairs #1 . . . 776μs Sims1 017: fp semigroup containing given pairs #2 . . . 763μs Sims1 018: fp semigroup containing given pairs #3 . . . 1192μs Sims1 019: ToddCoxeter failing example . . . 1931μs Sims1 020: fp example 2 . . . 4234μs Sims1 021: exceptions . . . 592μs Sims1 027: from https://mathoverflow.net/questions/423541/ . . . 49ms Sims1 028: from https://mathoverflow.net/questions/423541/ . . . 36ms Sims1 030: presentation with one free generator . . . 388μs Sims1 031: presentation with non-zero index generators . . . 82μs Sims1 032: presentation with empty word . . . 16ms Sims1 033: constructors . . . 2228μs Sims1 034: split_at . . . 415μs Sims1 035: stats . . . 121μs Sims1 036: check iterator requirements . . . 205μs Sims1 040: TransitiveGroup(10, 32) - minimal rep . . . 4575μs Sims1 043: rectangular_band(2, 2) - with and without identity . . . 292μs Sims1 044: trivial group - minimal o.r.c. rep . . . 117μs Sims1 045: right zero semigroup - minimal o.r.c. rep . . . 2587μs Sims1 046: semigroup with faithful non-strictly cyclic actio [...] . . . 927μs Sims1 068: RepOrc . . . 24ms Sims1 069: fp example 1 . . . 960μ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 2977μs (543ns 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 . . . 3074μs Sims1 072: symmetric_group(n) for n = 4 . . . 1435μs Sims1 073: corner case no generators + no relations . . . 229μs Sims1 076: uninitialized RepOrc . . . 42μs SmallestInteger 001: . . . 19μs StaticTriVector2 045: all . . . 31μs StaticVector2 043: all . . . 30μs Stephen 000: basic test 1 . . . 415μs Stephen 001: basic test 2 . . . 236μs Stephen 002: full transf monoid . . . 26ms Stephen 003: from step_hen 002 . . . 110μs Stephen 004: from step_hen 003 . . . 329μs Stephen 005: from step_hen 004 . . . 77μs Stephen 006: from step_hen 005 . . . 264μs Stephen 008: C(4) monoid normal form (test_case_knuth_bendix_055) . . . 293μs Stephen 009: C(4) monoid normal form (test_case_gap_smallove [...] . . . 187μs Stephen 010: code coverage . . . 358μs Stephen 011: C(4) monoid normal form (test_case_gap_smallove [...] . . . 555μs Stephen 012: C(4) monoid normal form (test_case_gap_smallove [...] . . . 390μs Stephen 013: C(4) monoid equal to (test_case_gap_smalloverlap_70) . . . 154μs Stephen 014: C(4) monoid normal form (test_case_ex_3_13_14) . . . 675μs Stephen 015: C(4) monoid normal form (test_case_ex_3_15) . . . 797μs Stephen 016: C(4) monoid normal form (test_case_ex_3_16) . . . 598μs Stephen 017: C(4) monoid normal form (test_case_mt_3) . . . 281μs Stephen 018: C(4) monoid normal form (test_case_mt_5) . . . 206μs Stephen 019: C(4) monoid normal form (test_case_mt_6) . . . 574μs Stephen 020: C(4) monoid normal form (test_case_mt_10) . . . 202μs Stephen 021: C(4) monoid normal form (test_case_mt_13) . . . 174μs Stephen 022: C(4) monoid normal form (test_case_mt_14) . . . 169μs Stephen 023: C(4) monoid normal form (test_case_mt_15) . . . 178μs Stephen 024: C(4) monoid normal form (test_case_mt_16) . . . 196μs Stephen 025: C(4) monoid normal form (test_case_mt_17) . . . 506μs Stephen 026: C(4) monoid normal form (test_case_weak_1) . . . 568μs Stephen 027: C(4) monoid normal form (test_case_weak_2) . . . 369μs Stephen 028: C(4) monoid normal form (test_case_weak_3) . . . 392μs Stephen 029: C(4) monoid normal form (test_case_weak_4) . . . 407μs Stephen 030: C(4) monoid normal form (test_case_weak_5) . . . 233μs Stephen 031: Test behaviour when uninitialised . . . 832μs Suf 005: unite . . . 43μs Suf 007: compress . . . 24μs Suf 011: big chain . . . 32ms Suf 013: empty table . . . 18μs Suf 015: join . . . 23μs Suf 017: contains . . . 60μs Suf 019: swap . . . 64μs Timer 001: string method (1 argument) . . . 58μ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 2212μs  -- with HLT + standardise + full lookahead + no save 2153μs  -- with HLT + no standardise + partial lookahead + no save 2200μs  -- with HLT + standardise + partial lookahead + no save 2254μs  -- with HLT + no standardise + full lookahead + save 2207μs  -- with HLT + standardise + full lookahead + save 2305μs  -- with HLT + no standardise + partial lookahead + save 2271μs  -- with HLT + standardise + partial lookahead + save 2234μs  -- with Felsch + no standardisation 2288μs  -- with Felsch + standardisation 2275μs  -- with random strategy 2265μs  -- with Rc style + full lookahead 2251μs  -- with Rc style + partial lookahead 2191μs  -- with R/C style 2134μs  -- with CR style 2185μs  -- with Cr style 2152μs ToddCoxeter 001: small 2-sided congruence . . .  -- with HLT + no standardise + full lookahead + no save 8849μs  -- with HLT + standardise + full lookahead + no save 8928μs  -- with HLT + no standardise + partial lookahead + no save 8977μs  -- with HLT + standardise + partial lookahead + no save 9125μs  -- with HLT + no standardise + full lookahead + save 9080μs  -- with HLT + standardise + full lookahead + save 9634μs  -- with HLT + no standardise + partial lookahead + save 9119μs  -- with HLT + standardise + partial lookahead + save 9114μs  -- with Felsch + no standardisation 9034μs  -- with Felsch + standardisation 9067μs  -- with random strategy 8904μs  -- with Rc style + full lookahead 8888μs  -- with Rc style + partial lookahead 8838μs  -- with R/C style 9104μs  -- with CR style 8939μs  -- with Cr style 8915μs ToddCoxeter 003: constructed from FroidurePin . . .  -- with Felsch + no standardisation 459ms  -- with Felsch + standardisation 441ms  -- with HLT + no standardise + full lookahead + no save 120ms  -- with HLT + standardise + full lookahead + no save 121ms  -- with HLT + no standardise + partial lookahead + no save 122ms  -- with HLT + standardise + partial lookahead + no save 128ms  -- with HLT + no standardise + full lookahead + save 509ms  -- with HLT + standardise + full lookahead + save 468ms  -- with HLT + no standardise + partial lookahead + save 485ms  -- with HLT + standardise + partial lookahead + save 438ms  -- with random strategy 463ms  -- with Rc style + full lookahead 433ms  -- with Rc style + partial lookahead 435ms  -- with R/C style 134ms  -- with CR style 434ms  -- with Cr style 440ms ToddCoxeter 004: 2-sided congruence from FroidurePin . . .  -- with HLT + no standardise + full lookahead + no save 447μs  -- with HLT + standardise + full lookahead + no save 367μs  -- with HLT + no standardise + partial lookahead + no save 367μs  -- with HLT + standardise + partial lookahead + no save 361μs  -- with HLT + save (throws) 488μs  -- with Felsch (throws) 386μs  -- with random strategy 397μs ToddCoxeter 005: non-trivial two-sided from relations . . .  -- with HLT + no standardise + full lookahead + no save 108μs  -- with HLT + standardise + full lookahead + no save 88μs  -- with HLT + no standardise + partial lookahead + no save 83μs  -- with HLT + standardise + partial lookahead + no save 80μs  -- with HLT + no standardise + full lookahead + save 118μs  -- with HLT + standardise + full lookahead + save 104μs  -- with HLT + no standardise + partial lookahead + save 106μs  -- with HLT + standardise + partial lookahead + save 100μs  -- with Felsch + no standardisation 95μs  -- with Felsch + standardisation 91μs  -- with random strategy 102μs  -- with Rc style + full lookahead 85μs  -- with Rc style + partial lookahead 85μs  -- with R/C style 84μs  -- with CR style 91μs  -- with Cr style 98μs ToddCoxeter 006: small right cong. on free semigroup . . .  -- with HLT + no standardise + full lookahead + no save 76μs  -- with HLT + standardise + full lookahead + no save 67μs  -- with HLT + no standardise + partial lookahead + no save 67μs  -- with HLT + standardise + partial lookahead + no save 71μs  -- with HLT + no standardise + full lookahead + save 78μs  -- with HLT + standardise + full lookahead + save 83μs  -- with HLT + no standardise + partial lookahead + save 70μs  -- with HLT + standardise + partial lookahead + save 74μs  -- with Felsch + no standardisation 72μs  -- with Felsch + standardisation 75μs  -- with random strategy 90μs  -- with Rc style + full lookahead 72μs  -- with Rc style + partial lookahead 70μs  -- with R/C style 69μs  -- with CR style 75μs  -- with Cr style 77μs ToddCoxeter 007: left cong. on free semigroup . . .  -- with HLT + no standardise + full lookahead + no save 125μs  -- with HLT + standardise + full lookahead + no save 76μs  -- with HLT + no standardise + partial lookahead + no save 78μs  -- with HLT + standardise + partial lookahead + no save 75μs  -- with HLT + no standardise + full lookahead + save 89μs  -- with HLT + standardise + full lookahead + save 89μs  -- with HLT + no standardise + partial lookahead + save 89μs  -- with HLT + standardise + partial lookahead + save 86μs  -- with Felsch + no standardisation 84μs  -- with Felsch + standardisation 90μs  -- with random strategy 93μs  -- with Rc style + full lookahead 90μs  -- with Rc style + partial lookahead 89μs  -- with R/C style 86μs  -- with CR style 94μs  -- with Cr style 96μs ToddCoxeter 008: for small fp semigroup . . .  -- with HLT + no standardise + full lookahead + no save 80μs  -- with HLT + standardise + full lookahead + no save 66μs  -- with HLT + no standardise + partial lookahead + no save 70μs  -- with HLT + standardise + partial lookahead + no save 64μs  -- with HLT + no standardise + full lookahead + save 74μs  -- with HLT + standardise + full lookahead + save 78μs  -- with HLT + no standardise + partial lookahead + save 78μs  -- with HLT + standardise + partial lookahead + save 76μs  -- with Felsch + no standardisation 72μs  -- with Felsch + standardisation 73μs  -- with random strategy 72μs  -- with Rc style + full lookahead 71μs  -- with Rc style + partial lookahead 79μs  -- with R/C style 72μs  -- with CR style 79μs  -- with Cr style 82μs ToddCoxeter 009: 2-sided cong. trans. semigroup . . .  -- with HLT + no standardise + full lookahead + no save 490μs  -- with HLT + standardise + full lookahead + no save 447μs  -- with HLT + no standardise + partial lookahead + no save 442μs  -- with HLT + standardise + partial lookahead + no save 438μs  -- with HLT + no standardise + full lookahead + save 1152μs  -- with HLT + standardise + full lookahead + save 1147μs  -- with HLT + no standardise + partial lookahead + save 1145μs  -- with HLT + standardise + partial lookahead + save 1143μs  -- with Felsch + no standardisation 1096μs  -- with Felsch + standardisation 1036μs  -- with random strategy 1190μs  -- with Rc style + full lookahead 466μs  -- with Rc style + partial lookahead 455μs  -- with R/C style 487μs  -- with CR style 1072μs  -- with Cr style 1053μs ToddCoxeter 010: left congruence on transformation semigroup . . .  -- with HLT + no standardise + full lookahead + no save 501μs  -- with HLT + standardise + full lookahead + no save 510μs  -- with HLT + no standardise + partial lookahead + no save 488μs  -- with HLT + standardise + partial lookahead + no save 513μs  -- with HLT + no standardise + full lookahead + save 1286μs  -- with HLT + standardise + full lookahead + save 1341μs  -- with HLT + no standardise + partial lookahead + save 1262μs  -- with HLT + standardise + partial lookahead + save 1293μs  -- with Felsch + no standardisation 1087μs  -- with Felsch + standardisation 1061μs  -- with random strategy 586μs  -- with Rc style + full lookahead 552μs  -- with Rc style + partial lookahead 552μs  -- with R/C style 618μs  -- with CR style 1140μs  -- with Cr style 1209μs ToddCoxeter 011: right cong. trans. semigroup . . .  -- with HLT + no standardise + full lookahead + no save 519μs  -- with HLT + standardise + full lookahead + no save 535μs  -- with HLT + no standardise + partial lookahead + no save 510μs  -- with HLT + standardise + partial lookahead + no save 528μs  -- with HLT + no standardise + full lookahead + save 1252μs  -- with HLT + standardise + full lookahead + save 1255μs  -- with HLT + no standardise + partial lookahead + save 1234μs  -- with HLT + standardise + partial lookahead + save 1249μs  -- with Felsch + no standardisation 941μs  -- with Felsch + standardisation 1021μs  -- with random strategy 1321μs  -- with Rc style + full lookahead 588μs  -- with Rc style + partial lookahead 580μs  -- with R/C style 650μs  -- with CR style 1021μs  -- with Cr style 1000μs ToddCoxeter 012: trans. semigroup (size 88) . . .  -- with HLT + no standardise + full lookahead + no save 282μs  -- with HLT + standardise + full lookahead + no save 272μs  -- with HLT + no standardise + partial lookahead + no save 265μs  -- with HLT + standardise + partial lookahead + no save 267μs  -- with HLT + save (throws) 322μs  -- with Felsch (throws) 290μs  -- with random strategy 272μs ToddCoxeter 013: left cong. on trans. semigroup (size 88) . . .  -- with HLT + no standardise + full lookahead + no save 404μs  -- with HLT + standardise + full lookahead + no save 414μs  -- with HLT + no standardise + partial lookahead + no save 393μs  -- with HLT + standardise + partial lookahead + no save 421μs  -- with HLT + no standardise + full lookahead + save 1233μs  -- with HLT + standardise + full lookahead + save 1223μs  -- with HLT + no standardise + partial lookahead + save 1178μs  -- with HLT + standardise + partial lookahead + save 1204μs  -- with Felsch + no standardisation 1003μs  -- with Felsch + standardisation 980μs  -- with random strategy 497μs  -- with Rc style + full lookahead 468μs  -- with Rc style + partial lookahead 466μs  -- with R/C style 527μs  -- with CR style 1060μs  -- with Cr style 1100μs ToddCoxeter 014: right cong. on trans. semigroup (size 88) . . .  -- with HLT + no standardise + full lookahead + no save 427μs  -- with HLT + standardise + full lookahead + no save 430μs  -- with HLT + no standardise + partial lookahead + no save 404μs  -- with HLT + standardise + partial lookahead + no save 429μs  -- with HLT + no standardise + full lookahead + save 1177μs  -- with HLT + standardise + full lookahead + save 1154μs  -- with HLT + no standardise + partial lookahead + save 1125μs  -- with HLT + standardise + partial lookahead + save 1153μs  -- with Felsch + no standardisation 843μs  -- with Felsch + standardisation 901μs  -- with random strategy 902μs  -- with Rc style + full lookahead 487μs  -- with Rc style + partial lookahead 518μs  -- with R/C style 551μs  -- with CR style 917μs  -- with Cr style 905μs ToddCoxeter 015: finite fp-semigroup, dihedral group of order 6 . . .  -- with HLT + no standardise + full lookahead + no save 172μs  -- with HLT + standardise + full lookahead + no save 152μs  -- with HLT + no standardise + partial lookahead + no save 142μs  -- with HLT + standardise + partial lookahead + no save 153μs  -- with HLT + no standardise + full lookahead + save 196μs  -- with HLT + standardise + full lookahead + save 196μs  -- with HLT + no standardise + partial lookahead + save 190μs  -- with HLT + standardise + partial lookahead + save 191μs  -- with Felsch + no standardisation 173μs  -- with Felsch + standardisation 170μs  -- with random strategy 182μs  -- with Rc style + full lookahead 150μs  -- with Rc style + partial lookahead 149μs  -- with R/C style 149μs  -- with CR style 176μs  -- with Cr style 171μs ToddCoxeter 016: finite fp-semigroup, size 16 . . .  -- with HLT + no standardise + full lookahead + no save 206μs  -- with HLT + standardise + full lookahead + no save 203μs  -- with HLT + no standardise + partial lookahead + no save 190μs  -- with HLT + standardise + partial lookahead + no save 203μs  -- with HLT + no standardise + full lookahead + save 374μs  -- with HLT + standardise + full lookahead + save 387μs  -- with HLT + no standardise + partial lookahead + save 373μs  -- with HLT + standardise + partial lookahead + save 373μs  -- with Felsch + no standardisation 319μs  -- with Felsch + standardisation 318μs  -- with random strategy 358μs  -- with Rc style + full lookahead 211μs  -- with Rc style + partial lookahead 207μs  -- with R/C style 214μs  -- with CR style 368μs  -- with Cr style 328μs ToddCoxeter 017: finite fp-semigroup, size 16 . . .  -- with HLT + no standardise + full lookahead + no save 247μs  -- with HLT + standardise + full lookahead + no save 239μs  -- with HLT + no standardise + partial lookahead + no save 226μs  -- with HLT + standardise + partial lookahead + no save 244μs  -- with HLT + no standardise + full lookahead + save 605μs  -- with HLT + standardise + full lookahead + save 606μs  -- with HLT + no standardise + partial lookahead + save 588μs  -- with HLT + standardise + partial lookahead + save 609μs  -- with Felsch + no standardisation 483μs  -- with Felsch + standardisation 478μs  -- with random strategy 519μs  -- with Rc style + full lookahead 252μs  -- with Rc style + partial lookahead 243μs  -- with R/C style 264μs  -- with CR style 497μs  -- with Cr style 497μs ToddCoxeter 018: test lookahead . . .  -- with HLT + no standardise + full lookahead + no save 713μs  -- with HLT + standardise + full lookahead + no save 711μs  -- with HLT + no standardise + partial lookahead + no save 647μs  -- with HLT + standardise + partial lookahead + no save 703μs  -- with HLT + no standardise + full lookahead + save 1146μs  -- with HLT + standardise + full lookahead + save 1163μs  -- with HLT + no standardise + partial lookahead + save 1124μs  -- with HLT + standardise + partial lookahead + save 1152μs ToddCoxeter 019: non-trivial left cong. from semigroup . . .  -- with HLT + no standardise + full lookahead + no save 283μs  -- with HLT + standardise + full lookahead + no save 270μs  -- with HLT + no standardise + partial lookahead + no save 250μs  -- with HLT + standardise + partial lookahead + no save 263μs  -- with HLT + save (throws) 293μs  -- with Felsch (throws) 272μs  -- with random strategy 291μs ToddCoxeter 020: 2-sided cong. on free semigroup . . .  -- with HLT + no standardise + full lookahead + no save 46μs  -- with HLT + standardise + full lookahead + no save 37μs  -- with HLT + no standardise + partial lookahead + no save 35μs  -- with HLT + standardise + partial lookahead + no save 35μs  -- with HLT + no standardise + full lookahead + save 36μs  -- with HLT + standardise + full lookahead + save 36μs  -- with HLT + no standardise + partial lookahead + save 35μs  -- with HLT + standardise + partial lookahead + save 36μs  -- with Felsch + no standardisation 35μs  -- with Felsch + standardisation 36μs  -- with random strategy 41μs ToddCoxeter 021: calling run when obviously infinite . . .  -- with HLT + no standardise + full lookahead + no save 107μs  -- with HLT + standardise + full lookahead + no save 98μs  -- with HLT + no standardise + partial lookahead + no save 95μs  -- with HLT + standardise + partial lookahead + no save 99μs  -- with HLT + no standardise + full lookahead + save 96μs  -- with HLT + standardise + full lookahead + save 98μs  -- with HLT + no standardise + partial lookahead + save 99μs  -- with HLT + standardise + partial lookahead + save 94μs  -- with Felsch + no standardisation 98μs  -- with Felsch + standardisation 95μs  -- with random strategy 100μs ToddCoxeter 022: stellar_monoid S3 . . .  -- with HLT + no standardise + full lookahead + no save 229μs  -- with HLT + standardise + full lookahead + no save 209μs  -- with HLT + no standardise + partial lookahead + no save 197μs  -- with HLT + standardise + partial lookahead + no save 209μs  -- with HLT + no standardise + full lookahead + save 482μs  -- with HLT + standardise + full lookahead + save 450μs  -- with HLT + no standardise + partial lookahead + save 429μs  -- with HLT + standardise + partial lookahead + save 460μs  -- with Felsch + no standardisation 359μs  -- with Felsch + standardisation 350μs  -- with random strategy 237μs  -- with Rc style + full lookahead 211μs  -- with Rc style + partial lookahead 211μs  -- with R/C style 225μs  -- with CR style 370μs  -- with Cr style 366μs ToddCoxeter 023: finite semigroup (size 5) . . .  -- with HLT + no standardise + full lookahead + no save 70μs  -- with HLT + standardise + full lookahead + no save 62μs  -- with HLT + no standardise + partial lookahead + no save 61μs  -- with HLT + standardise + partial lookahead + no save 61μs  -- with HLT + no standardise + full lookahead + save 72μs  -- with HLT + standardise + full lookahead + save 73μs  -- with HLT + no standardise + partial lookahead + save 75μs  -- with HLT + standardise + partial lookahead + save 72μs  -- with Felsch + no standardisation 68μs  -- with Felsch + standardisation 71μs  -- with random strategy 67μs  -- with Rc style + full lookahead 67μs  -- with Rc style + partial lookahead 69μs  -- with R/C style 67μs  -- with CR style 72μs  -- with Cr style 72μs ToddCoxeter 024: exceptions . . .  -- with HLT + no standardise + full lookahead + no save 388μs  -- with HLT + standardise + full lookahead + no save 368μs  -- with HLT + no standardise + partial lookahead + no save 352μs  -- with HLT + standardise + partial lookahead + no save 361μs  -- with HLT + no standardise + full lookahead + save 363μs  -- with HLT + standardise + full lookahead + save 366μs  -- with HLT + no standardise + partial lookahead + save 362μs  -- with HLT + standardise + partial lookahead + save 372μs  -- with Felsch + no standardisation 371μs  -- with Felsch + standardisation 363μs  -- with random strategy 371μs  -- with Rc style + full lookahead 368μs  -- with Rc style + partial lookahead 418μs  -- with R/C style 364μs  -- with CR style 360μs  -- with Cr style 365μs ToddCoxeter 025: obviously infinite . . .  -- with HLT + no standardise + full lookahead + no save 91μs  -- with HLT + standardise + full lookahead + no save 82μs  -- with HLT + no standardise + partial lookahead + no save 82μs  -- with HLT + standardise + partial lookahead + no save 82μs  -- with HLT + no standardise + full lookahead + save 86μs  -- with HLT + standardise + full lookahead + save 87μs  -- with HLT + no standardise + partial lookahead + save 84μs  -- with HLT + standardise + partial lookahead + save 86μs  -- with Felsch + no standardisation 88μs  -- with Felsch + standardisation 88μs  -- with random strategy 86μs ToddCoxeter 026: exceptions . . .  -- with HLT + no standardise + full lookahead + no save 228μs  -- with HLT + standardise + full lookahead + no save 218μs  -- with HLT + no standardise + partial lookahead + no save 211μs  -- with HLT + standardise + partial lookahead + no save 207μs  -- with HLT + no standardise + full lookahead + save 216μs  -- with HLT + standardise + full lookahead + save 212μs  -- with HLT + no standardise + partial lookahead + save 215μs  -- with HLT + standardise + partial lookahead + save 216μs  -- with Felsch + no standardisation 219μs  -- with Felsch + standardisation 212μs  -- with random strategy 219μs  -- with Rc style + full lookahead 204μs  -- with Rc style + partial lookahead 209μs  -- with R/C style 210μs  -- with CR style 212μs  -- with Cr style 216μs ToddCoxeter 027: empty . . . 116μs ToddCoxeter 028: congruence of fpsemigroup::ToddCoxeter . . .  -- with HLT + no standardise + full lookahead + no save 309μs  -- with HLT + standardise + full lookahead + no save 266μs  -- with HLT + no standardise + partial lookahead + no save 266μs  -- with HLT + standardise + partial lookahead + no save 265μs  -- with HLT + save (throws) 294μs  -- with Felsch (throws) 291μs  -- with random strategy 286μs  -- with HLT + no standardise + full lookahead + save 275μs  -- with HLT + standardise + full lookahead + save 271μs  -- with HLT + no standardise + partial lookahead + save 335μs  -- with HLT + standardise + partial lookahead + save 272μs  -- with Felsch + no standardisation 296μs  -- with Felsch + standardisation 273μs  -- with Rc style + full lookahead 257μs  -- with Rc style + partial lookahead 267μs  -- with R/C style 259μs  -- with CR style 268μs  -- with Cr style 266μs ToddCoxeter 029: !KnuthBendix.started() . . .  -- with HLT + no standardise + full lookahead + no save and 2-sided 136μs  -- with HLT + standardise + full lookahead + no save and 2-sided 109μs  -- with HLT + no standardise + partial lookahead + no save and 2-sided 106μs  -- with HLT + standardise + partial lookahead + no save and 2-sided 110μs  -- with HLT + no standardise + full lookahead + save and 2-sided 117μs  -- with HLT + standardise + full lookahead + save and 2-sided 116μs  -- with HLT + no standardise + partial lookahead + save and 2-sided 114μs  -- with HLT + standardise + partial lookahead + save and 2-sided 116μs  -- with Felsch + no standardisation and 2-sided 112μs  -- with Felsch + standardisation and 2-sided 108μs  -- with random strategy and 2-sided 112μs  -- with HLT + no standardise + full lookahead + no save and left 114μs  -- with HLT + standardise + full lookahead + no save and left 108μs  -- with HLT + no standardise + partial lookahead + no save and left 107μs  -- with HLT + standardise + partial lookahead + no save and left 105μs  -- with HLT + no standardise + full lookahead + save and left 122μs  -- with HLT + standardise + full lookahead + save and left 128μs  -- with HLT + no standardise + partial lookahead + save and left 121μs  -- with HLT + standardise + partial lookahead + save and left 122μs  -- with Felsch + no standardisation and left 121μs  -- with Felsch + standardisation and left 124μs  -- with random strategy and left 128μs  -- with HLT + no standardise + full lookahead + no save and right 110μs  -- with HLT + standardise + full lookahead + no save and right 104μs  -- with HLT + no standardise + partial lookahead + no save and right 107μs  -- with HLT + standardise + partial lookahead + no save and right 106μs  -- with HLT + no standardise + full lookahead + save and right 118μs  -- with HLT + standardise + full lookahead + save and right 120μs  -- with HLT + no standardise + partial lookahead + save and right 124μs  -- with HLT + standardise + partial lookahead + save and right 118μs  -- with Felsch + no standardisation and right 119μs  -- with Felsch + standardisation and right 116μs  -- with random strategy and right 114μs ToddCoxeter 030: KnuthBendix.finished() . . .  -- with HLT + no standardise + full lookahead + no save and 2-sided 277μs  -- with HLT + standardise + full lookahead + no save and 2-sided 241μs  -- with HLT + no standardise + partial lookahead + no save and 2-sided 236μs  -- with HLT + standardise + partial lookahead + no save and 2-sided 238μs  -- with HLT + no standardise + full lookahead + save and 2-sided 242μs  -- with HLT + standardise + full lookahead + save and 2-sided 245μs  -- with HLT + no standardise + partial lookahead + save and 2-sided 241μs  -- with HLT + standardise + partial lookahead + save and 2-sided 244μs  -- with Felsch + no standardisation and 2-sided 233μs  -- with Felsch + standardisation and 2-sided 348μs  -- with random strategy and 2-sided 248μs  -- with HLT + no standardise + full lookahead + no save and left 275μs  -- with HLT + standardise + full lookahead + no save and left 255μs  -- with HLT + no standardise + partial lookahead + no save and left 252μs  -- with HLT + standardise + partial lookahead + no save and left 259μs  -- with HLT + no standardise + full lookahead + save and left 287μs  -- with HLT + standardise + full lookahead + save and left 279μs  -- with HLT + no standardise + partial lookahead + save and left 271μs  -- with HLT + standardise + partial lookahead + save and left 274μs  -- with Felsch + no standardisation and left 262μs  -- with Felsch + standardisation and left 268μs  -- with random strategy and left 288μs  -- with HLT + no standardise + full lookahead + no save and right 262μs  -- with HLT + standardise + full lookahead + no save and right 255μs  -- with HLT + no standardise + partial lookahead + no save and right 256μs  -- with HLT + standardise + partial lookahead + no save and right 259μs  -- with HLT + no standardise + full lookahead + save and right 272μs  -- with HLT + standardise + full lookahead + save and right 273μs  -- with HLT + no standardise + partial lookahead + save and right 271μs  -- with HLT + standardise + partial lookahead + save and right 276μs  -- with Felsch + no standardisation and right 264μs  -- with Felsch + standardisation and right 265μs  -- with random strategy and right 271μs ToddCoxeter 031: KnuthBendix.finished() . . .  -- with HLT + no standardise + full lookahead + no save and 2-sided 194μs  -- with HLT + standardise + full lookahead + no save and 2-sided 167μs  -- with HLT + no standardise + partial lookahead + no save and 2-sided 170μs  -- with HLT + standardise + partial lookahead + no save and 2-sided 163μs  -- with HLT + no standardise + full lookahead + save and 2-sided 179μs  -- with HLT + standardise + full lookahead + save and 2-sided 178μs  -- with HLT + no standardise + partial lookahead + save and 2-sided 172μs  -- with HLT + standardise + partial lookahead + save and 2-sided 175μs  -- with Felsch + no standardisation and 2-sided 164μs  -- with Felsch + standardisation and 2-sided 159μs  -- with random strategy and 2-sided 193μs  -- with Rc style + full lookahead and 2-sided 177μs  -- with Rc style + partial lookahead and 2-sided 177μs  -- with R/C style and 2-sided 172μs  -- with CR style and 2-sided 173μs  -- with Cr style and 2-sided 180μs  -- with HLT + no standardise + full lookahead + no save and left 197μs  -- with HLT + standardise + full lookahead + no save and left 182μs  -- with HLT + no standardise + partial lookahead + no save and left 187μs  -- with HLT + standardise + partial lookahead + no save and left 183μs  -- with HLT + no standardise + full lookahead + save and left 196μs  -- with HLT + standardise + full lookahead + save and left 203μs  -- with HLT + no standardise + partial lookahead + save and left 196μs  -- with HLT + standardise + partial lookahead + save and left 200μs  -- with Felsch + no standardisation and left 189μs  -- with Felsch + standardisation and left 211μs  -- with random strategy and left 216μs  -- with Rc style + full lookahead and left 197μs  -- with Rc style + partial lookahead and left 198μs  -- with R/C style and left 184μs  -- with CR style and left 202μs  -- with Cr style and left 210μs  -- with HLT + no standardise + full lookahead + no save and right 205μs  -- with HLT + standardise + full lookahead + no save and right 188μs  -- with HLT + no standardise + partial lookahead + no save and right 188μs  -- with HLT + standardise + partial lookahead + no save and right 188μs  -- with HLT + no standardise + full lookahead + save and right 202μs  -- with HLT + standardise + full lookahead + save and right 203μs  -- with HLT + no standardise + partial lookahead + save and right 204μs  -- with HLT + standardise + partial lookahead + save and right 205μs  -- with Felsch + no standardisation and right 195μs  -- with Felsch + standardisation and right 188μs  -- with random strategy and right 202μs  -- with Rc style + full lookahead and right 195μs  -- with Rc style + partial lookahead and right 195μs  -- with R/C style and right 187μs  -- with CR style and right 196μs  -- with Cr style and right 208μs ToddCoxeter 032: prefill . . . 479μs ToddCoxeter 033: congruence of ToddCoxeter . . .  -- with HLT + no standardise + full lookahead + no save 93μs  -- with HLT + standardise + full lookahead + no save 84μs  -- with HLT + no standardise + partial lookahead + no save 81μs  -- with HLT + standardise + partial lookahead + no save 79μs  -- with HLT + no standardise + full lookahead + save 92μs  -- with HLT + standardise + full lookahead + save 89μs  -- with HLT + no standardise + partial lookahead + save 87μs  -- with HLT + standardise + partial lookahead + save 87μs  -- with random strategy 94μs ToddCoxeter 034: congruence of ToddCoxeter . . .  -- with HLT + no standardise + full lookahead + no save 233μs  -- with HLT + standardise + full lookahead + no save 209μs  -- with HLT + no standardise + partial lookahead + no save 209μs  -- with HLT + standardise + partial lookahead + no save 206μs  -- with HLT + save (throws) 238μs  -- with Felsch (throws) 233μs  -- with random strategy 238μs ToddCoxeter 035: congruence on FpSemigroup . . .  -- with HLT + no standardise + full lookahead + no save 553μs  -- with HLT + standardise + full lookahead + no save 494μs  -- with HLT + no standardise + partial lookahead + no save 488μs  -- with HLT + standardise + partial lookahead + no save 505μs  -- with HLT + no standardise + full lookahead + save 560μs  -- with HLT + standardise + full lookahead + save 539μs  -- with HLT + no standardise + partial lookahead + save 540μs  -- with HLT + standardise + partial lookahead + save 543μs  -- with Felsch + no standardisation 542μs  -- with Felsch + standardisation 532μs  -- with random strategy 517μs  -- with Rc style + full lookahead 494μs  -- with Rc style + partial lookahead 497μs  -- with R/C style 494μs  -- with CR style 540μs  -- with Cr style 541μs ToddCoxeter 036: exceptions . . . 214μs ToddCoxeter 037: copy constructor . . . 90μs ToddCoxeter 038: simplify . . . 285μs ToddCoxeter 039: stylic_monoid . . . 1292ms ToddCoxeter 041: some finite classes . . . 687μs ToddCoxeter 043: symmetric_group(7, Coxeter + Moser) . . . 236ms ToddCoxeter 044: Option exceptions . . . 145μs ToddCoxeter 045: Options operator<< . . . 966μs ToddCoxeter 046: Easdown-East-FitzGerald DualSymInv(5) . . .  -- with HLT + no standardise + full lookahead + no save 196ms  -- with HLT + standardise + full lookahead + no save 232ms  -- with HLT + no standardise + partial lookahead + no save 196ms  -- with HLT + standardise + partial lookahead + no save 208ms  -- with HLT + no standardise + full lookahead + save 217ms  -- with HLT + standardise + full lookahead + save 214ms  -- with HLT + no standardise + partial lookahead + save 215ms  -- with HLT + standardise + partial lookahead + save 207ms  -- with Felsch + no standardisation 360ms  -- with Felsch + standardisation 363ms  -- with random strategy 362ms  -- with R/C style 323ms  -- with Rc style + full lookahead 370ms  -- with Rc style + partial lookahead 370ms ToddCoxeter 047: uniform_block_bijection_monoid(3) (FitzGerald) . . .  -- with HLT + no standardise + full lookahead + no save 221μs  -- with HLT + standardise + full lookahead + no save 187μs  -- with HLT + no standardise + partial lookahead + no save 164μs  -- with HLT + standardise + partial lookahead + no save 175μs  -- with HLT + no standardise + full lookahead + save 400μs  -- with HLT + standardise + full lookahead + save 397μs  -- with HLT + no standardise + partial lookahead + save 410μs  -- with HLT + standardise + partial lookahead + save 383μs  -- with Felsch + no standardisation 293μs  -- with Felsch + standardisation 285μs  -- with random strategy 205μs  -- with R/C style 188μs  -- with Rc style + full lookahead 177μs  -- with Rc style + partial lookahead 178μs ToddCoxeter 048: stellar_monoid(7) (Gay-Hivert) . . . 336ms ToddCoxeter 049: partition_monoid(4) (East) . . .  -- with HLT + no standardise + full lookahead + no save 55ms  -- with HLT + standardise + full lookahead + no save 58ms  -- with HLT + no standardise + partial lookahead + no save 54ms  -- with HLT + standardise + partial lookahead + no save 57ms  -- with HLT + no standardise + full lookahead + save 125ms  -- with HLT + standardise + full lookahead + save 130ms  -- with HLT + no standardise + partial lookahead + save 126ms  -- with HLT + standardise + partial lookahead + save 131ms  -- with Felsch + no standardisation 149ms  -- with Felsch + standardisation 151ms  -- with random strategy 131ms  -- with R/C style 62ms  -- with Rc style + full lookahead 163ms  -- with Rc style + partial lookahead 164ms ToddCoxeter 050: singular_brauer_monoid(6) (Maltcev + Mazorchuk) . . . 898ms ToddCoxeter 051: orientation_preserving_monoid(6) (Ruskuc + [...] . . .  -- with HLT + no standardise + full lookahead + no save 30ms ToddCoxeter 052: orientation_reversing_monoid(5) (Ruskuc + [...] . . .  -- with HLT + no standardise + full lookahead + no save 7304μs ToddCoxeter 053: temperley_lieb_monoid(10) (East) . . . 34ms ToddCoxeter 063: add_rule . . .  -- with HLT + no standardise + full lookahead + no save 138μs  -- with HLT + standardise + full lookahead + no save 104μs  -- with HLT + no standardise + partial lookahead + no save 96μs  -- with HLT + standardise + partial lookahead + no save 92μs  -- with HLT + no standardise + full lookahead + save 108μs  -- with HLT + standardise + full lookahead + save 103μs  -- with HLT + no standardise + partial lookahead + save 105μs  -- with HLT + standardise + partial lookahead + save 105μs  -- with Felsch + no standardisation 103μs  -- with Felsch + standardisation 103μs  -- with random strategy 101μs  -- with Rc style + full lookahead 100μs  -- with Rc style + partial lookahead 97μs  -- with R/C style 103μs  -- with CR style 100μs  -- with Cr style 104μs  -- with R/C + Felsch lookahead 107μs  -- with HLT + Felsch lookahead + save 98μs  -- with Cr + small number of f_defs 108μs  -- with Rc + small number of deductions 96μs  -- with Felsch + v2 + no preferred defs 100μs  -- with Felsch + v2 + immediate no stack 103μs  -- with Felsch + v1 + immediate no stack 101μs  -- with Felsch + v1 + immediate yes stack 101μs  -- with large collapse 99μs ToddCoxeter 064: (from kbmag/standalone/kb_data/s4) (KnuthB [...] . . .  -- with HLT + no standardise + full lookahead + no save 378μs ToddCoxeter 066: test validate . . . 77μs ToddCoxeter 067: add_rules after construct. from semigroup . . .  -- with HLT + no standardise + full lookahead + no save 425μs  -- with HLT + standardise + full lookahead + no save 405μs  -- with HLT + no standardise + partial lookahead + no save 391μs  -- with HLT + standardise + partial lookahead + no save 396μs  -- with HLT + save (throws) 421μs  -- with Felsch (throws) 432μs  -- with random strategy 420μs ToddCoxeter 068: Sym(5) from Chapter 3, Proposition 1.1 in NR . . .  -- with Deduction policy == purge_from_top 1213μs  -- with Deduction policy == purge_all 1176μs  -- with Deduction policy == discard_all_if_no_space 1141μs  -- with HLT + no standardise + full lookahead + no save 937μs  -- with HLT + standardise + full lookahead + no save 1239μs  -- with HLT + no standardise + partial lookahead + no save 927μs  -- with HLT + standardise + partial lookahead + no save 1233μs  -- with HLT + no standardise + full lookahead + save 1908μs  -- with HLT + standardise + full lookahead + save 1925μs  -- with HLT + no standardise + partial lookahead + save 1896μs  -- with HLT + standardise + partial lookahead + save 1927μs  -- with Felsch + no standardisation 1263μs  -- with Felsch + standardisation 1230μs  -- with random strategy 1286μs  -- with Rc style + full lookahead 2363μs  -- with Rc style + partial lookahead 2340μs  -- with R/C style 995μs  -- with CR style 1304μs  -- with Cr style 1271μs ToddCoxeter 069: Chapter 7, Theorem 3.6 in NR (size 243) . . .  -- with HLT + no standardise + full lookahead + no save 555μs  -- with HLT + standardise + full lookahead + no save 658μs  -- with HLT + no standardise + partial lookahead + no save 541μs  -- with HLT + standardise + partial lookahead + no save 646μs  -- with HLT + no standardise + full lookahead + save 833μs  -- with HLT + standardise + full lookahead + save 889μs  -- with HLT + no standardise + partial lookahead + save 816μs  -- with HLT + standardise + partial lookahead + save 886μs  -- with Felsch + no standardisation 4640μs  -- with Felsch + standardisation 4631μs  -- with random strategy 877μs  -- with Rc style + full lookahead 549μs  -- with Rc style + partial lookahead 538μs  -- with R/C style 556μs  -- with CR style 4470μs  -- with Cr style 4455μs ToddCoxeter 070: finite semigroup (size 99) . . .  -- with HLT + no standardise + full lookahead + no save 272μs  -- with HLT + standardise + full lookahead + no save 282μs  -- with HLT + no standardise + partial lookahead + no save 243μs  -- with HLT + standardise + partial lookahead + no save 273μs  -- with HLT + no standardise + full lookahead + save 352μs  -- with HLT + standardise + full lookahead + save 403μs  -- with HLT + no standardise + partial lookahead + save 338μs  -- with HLT + standardise + partial lookahead + save 367μs  -- with Felsch + no standardisation 811μs  -- with Felsch + standardisation 815μs  -- with random strategy 361μs  -- with Rc style + full lookahead 243μs  -- with Rc style + partial lookahead 244μs  -- with R/C style 254μs  -- with CR style 792μs  -- with Cr style 785μs ToddCoxeter 080: KnuthBendix 098 . . .  -- with HLT + no standardise + full lookahead + no save 547ms  -- with HLT + standardise + full lookahead + no save 710ms  -- with HLT + no standardise + partial lookahead + no save 533ms  -- with HLT + standardise + partial lookahead + no save 837ms  -- with HLT + no standardise + full lookahead + save 879ms  -- with HLT + standardise + full lookahead + save 829ms  -- with HLT + no standardise + partial lookahead + save 614ms  -- with HLT + standardise + partial lookahead + save 613ms  -- with Felsch + no standardisation 657ms  -- with Felsch + standardisation 1295ms  -- with random strategy 1278ms  -- with Rc style + full lookahead 994ms  -- with Rc style + partial lookahead 1034ms  -- with R/C style 881ms  -- with CR style 743ms  -- with Cr style 739ms ToddCoxeter 084: Campbell-Reza 1 . . .  -- with HLT + no standardise + full lookahead + no save 241μs  -- with HLT + standardise + full lookahead + no save 180μs  -- with HLT + no standardise + partial lookahead + no save 168μs  -- with HLT + standardise + partial lookahead + no save 175μs  -- with HLT + no standardise + full lookahead + save 206μs  -- with HLT + standardise + full lookahead + save 200μs  -- with HLT + no standardise + partial lookahead + save 196μs  -- with HLT + standardise + partial lookahead + save 209μs  -- with Felsch + no standardisation 215μs  -- with Felsch + standardisation 214μs  -- with random strategy 220μs  -- with Rc style + full lookahead 200μs  -- with Rc style + partial lookahead 173μs  -- with R/C style 179μs  -- with CR style 217μs  -- with Cr style 300μs ToddCoxeter 085: Renner monoid type D4 (Gay-Hivert), q = 1 . . .  -- with HLT + no standardise + full lookahead + no save 235ms  -- with HLT + standardise + full lookahead + no save 232ms  -- with HLT + no standardise + partial lookahead + no save 233ms  -- with HLT + standardise + partial lookahead + no save 229ms  -- with HLT + no standardise + full lookahead + save 230ms  -- with HLT + standardise + full lookahead + save 232ms  -- with HLT + no standardise + partial lookahead + save 231ms  -- with HLT + standardise + partial lookahead + save 231ms  -- with Felsch + no standardisation 230ms  -- with Felsch + standardisation 231ms  -- with random strategy 203ms  -- with Rc style + full lookahead 164ms  -- with Rc style + partial lookahead 164ms  -- with R/C style 164ms  -- with CR style 164ms  -- with Cr style 163ms ToddCoxeter 086: trivial semigroup . . . 299ms ToddCoxeter 092: ACE --- perf602p5 - HLT . . .  -- with HLT + no standardise + full lookahead + no save 35ms  -- with HLT + standardise + full lookahead + no save 37ms  -- with HLT + no standardise + partial lookahead + no save 36ms  -- with HLT + standardise + partial lookahead + no save 37ms  -- with HLT + no standardise + full lookahead + save 27ms  -- with HLT + standardise + full lookahead + save 28ms  -- with HLT + no standardise + partial lookahead + save 27ms  -- with HLT + standardise + partial lookahead + save 28ms  -- with random strategy 28ms  -- with Felsch + no standardisation 20ms  -- with Felsch + standardisation 20ms ToddCoxeter 094: ACE --- C5 - HLT . . .  -- with HLT + no standardise + full lookahead + no save 145μs  -- with HLT + standardise + full lookahead + no save 113μs  -- with HLT + no standardise + partial lookahead + no save 108μs  -- with HLT + standardise + partial lookahead + no save 106μs  -- with HLT + no standardise + full lookahead + save 147μs  -- with HLT + standardise + full lookahead + save 143μs  -- with HLT + no standardise + partial lookahead + save 140μs  -- with HLT + standardise + partial lookahead + save 140μs  -- with random strategy 116μs  -- with Felsch + no standardisation 128μs  -- with Felsch + standardisation 128μs ToddCoxeter 095: ACE --- A5-C5 . . .  -- with HLT + no standardise + full lookahead + no save 139μs  -- with HLT + standardise + full lookahead + no save 143μs  -- with HLT + no standardise + partial lookahead + no save 132μs  -- with HLT + standardise + partial lookahead + no save 138μs  -- with HLT + no standardise + full lookahead + save 216μs  -- with HLT + standardise + full lookahead + save 217μs  -- with HLT + no standardise + partial lookahead + save 213μs  -- with HLT + standardise + partial lookahead + save 213μs  -- with random strategy 153μs  -- with Felsch + no standardisation 175μs  -- with Felsch + standardisation 171μs ToddCoxeter 096: ACE --- A5 . . .  -- with HLT + no standardise + full lookahead + no save 256μs  -- with HLT + standardise + full lookahead + no save 318μs  -- with HLT + no standardise + partial lookahead + no save 233μs  -- with HLT + standardise + partial lookahead + no save 329μs  -- with HLT + no standardise + full lookahead + save 584μs  -- with HLT + standardise + full lookahead + save 600μs  -- with HLT + no standardise + partial lookahead + save 572μs  -- with HLT + standardise + partial lookahead + save 594μs  -- with random strategy 259μs  -- with Felsch + no standardisation 400μs  -- with Felsch + standardisation 396μs ToddCoxeter 098: relation ordering . . .  -- with Felsch + no standardisation 838μs  -- with Felsch + standardisation 821μs  -- with HLT + no standardise + full lookahead + no save 343μs  -- with HLT + standardise + full lookahead + no save 341μs  -- with HLT + no standardise + partial lookahead + no save 333μs  -- with HLT + standardise + partial lookahead + no save 348μs  -- with HLT + no standardise + full lookahead + save 914μs  -- with HLT + standardise + full lookahead + save 912μs  -- with HLT + no standardise + partial lookahead + save 901μs  -- with HLT + standardise + partial lookahead + save 934μs  -- with random strategy 368μs ToddCoxeter 099: short circuit size in obviously infinite . . . 22μs ToddCoxeter 101: http://brauer.maths.qmul.ac.uk/Atlas/spor/M [...] . . . 563ms ToddCoxeter 108: http://brauer.maths.qmul.ac.uk/Atlas/lin/L3 [...] . . . 625ms ToddCoxeter 110: to_gap_string . . . 117μs ToddCoxeter 111: partition_monoid(2) . . . 90μs ToddCoxeter 112: brauer_monoid(4) (Kudryavtseva + Mazorchuk) . . . 375μs ToddCoxeter 113: symmetric_inverse_monoid . . . 18ms ToddCoxeter 116: symmetric_group(7, Burnside + Miller) . . . 838ms UF 001: constructor by size . . . 24μs UF 002: copy constructor . . . 42μs UF 003: find . . . 42μs Ukkonen 000: basic tests . . . 198ms Ukkonen 001: maximal_piece_prefix 1 . . . 72μs Ukkonen 002: maximal_piece_prefix 2 . . . 83μs Ukkonen 003: maximal_piece_prefix 3 . . . 763μs Ukkonen 004: number_of_pieces . . . 157μs Ukkonen 005: traverse . . . 44μs Ukkonen 006: dot . . . 370μs Ukkonen 007: strings . . . 116μs Ukkonen 008: dfs #01 . . . 71μs Ukkonen 009: dfs #02 . . . 67μs Ukkonen 010: dfs #03 . . . 64μs Ukkonen 011: dfs #04 . . . 138μs Ukkonen 012: dfs #05 . . . 109μs Ukkonen 013: dfs #06 . . . 102μs Ukkonen 014: dfs #07 . . . 178μs Ukkonen 015: dfs #08 . . . 132μs Ukkonen 016: dfs #09 . . . 171μs Ukkonen 017: dfs #10 . . . 58μs Ukkonen 018: pieces . . . 93μs Ukkonen 019: code coverage . . . 92μs Ukkonen 020: code coverage . . . 20μs action_digraph_helper 015: detail::to_string . . . 37μs action_digraph_helper 016: make . . . 79μs action_digraph_helper 017: is_connected . . . 226μs action_digraph_helper 018: is_strictly_cyclic . . . 11ms follow_path 012: 20 node path . . . 44μs fpsemi-examples 002: full_transformation_monoid author except . . . 94μs fpsemi-examples 003: full_transformation_monoid degree except . . . 72μs fpsemi-examples 005: partial_transformation_monoid author except . . . 79μs fpsemi-examples 006: partial_transformation_monoid degree except . . . 77μs fpsemi-examples 007: symmetric_inverse_monoid(5) . . . 28ms fpsemi-examples 008: symmetric_group auth except . . . 89μs fpsemi-examples 009: symmetric_group degree except . . . 66μs fpsemi-examples 010: symmetric_group(6) Burnside + Miller . . . 39ms fpsemi-examples 011: dual_symmetric_inverse_monoid(5) . . . 328ms fpsemi-examples 012: dual_symmetric_inverse_monoid auth except . . . 89μs fpsemi-examples 013: dual_symmetric_inverse_monoid degree except . . . 62μs fpsemi-examples 014: uniform_block_bijection_monoid(5) . . . 22ms fpsemi-examples 015: uniform_block_bijection_monoid auth except . . . 88μs fpsemi-examples 016: uniform_block_bijection_monoid degree except . . . 61μs fpsemi-examples 019: partition_monoid auth except . . . 275μs fpsemi-examples 020: partition_monoid degree except . . . 273μs fpsemi-examples 022: monogenic_semigroup(4, 9) . . . 83μs fpsemi-examples 023: fibonacci_semigroup(2, 5) . . . 140μs fpsemi-examples 024: temperley_lieb_monoid(10) . . . 67ms fpsemi-examples 025: singular_brauer_monoid(6) . . . 644ms fpsemi-examples 026: orientation_preserving_monoid(6) . . . 45ms fpsemi-examples 027: orientation_reversing_monoid(5) . . . 10ms fpsemi-examples 028: chinese_monoid(3) . . . 343μs fpsemi-examples 029: plactic_monoid(3) . . . 263μs fpsemi-examples 030: stylic_monoid(3) . . . 2113μs fpsemi-examples 031: symmetric_group(6) Carmichael . . . 24ms fpsemi-examples 032: symmetric_group(6) Moore index 0 . . . 18ms fpsemi-examples 033: symmetric_group(6) Coxeter + Moser . . . 12ms fpsemi-examples 034: test for the rook monoid . . . 505μs fpsemi-examples 035: alternating_group(7) Moore . . . 42ms fpsemi-examples 036: alternating_group auth except . . . 82μs fpsemi-examples 037: alternating_group degree except . . . 51μs fpsemi-examples 038: partial_transformation_monoid(3) Machine . . . 444μs fpsemi-examples 039: chinese_monoid degree except . . . 78μs fpsemi-examples 040: monogenic_semigroup degree except . . . 97μs fpsemi-examples 041: rectangular_band degree except . . . 176μs fpsemi-examples 042: stellar_monoid degree except . . . 85μs fpsemi-examples 043: plactic_monoid degree except . . . 78μs fpsemi-examples 044: stylic_monoid degree except . . . 74μs fpsemi-examples 045: temperley_lieb_monoid degree except . . . 109μs fpsemi-examples 046: singular_brauer_monoid degree except . . . 123μs fpsemi-examples 047: orientation_preserving_monoid degree except . . . 121μs fpsemi-examples 048: orientation_reversing_monoid degree except . . . 134μs fpsemi-examples 049: test default values . . . 7194μs fpsemi-examples 052: not_symmetric_group(5) Guralnick + Kant [...] . . . 6201μs fpsemi-examples 053: order_preserving_monoid(5) . . . 982μs fpsemi-examples 055: order_preserving_monoid degree except . . . 137μs fpsemi-examples 056: cyclic_inverse_monoid(4) Fernandes 1 . . . 329μs fpsemi-examples 057: cyclic_inverse_monoid(8) Fernandes index 1 . . . 28ms fpsemi-examples 058: cyclic_inverse_monoid Fernandes index 0 . . . 38ms fpsemi-examples 059: order_preserving_cyclic_inverse_monoid(4) . . . 268μs fpsemi-examples 060: order_preserving_cyclic_inverse_monoid(10) . . . 45ms fpsemi-examples 061: cyclic_inverse_monoid degree except . . . 265μs fpsemi-examples 062: cyclic_inverse_monoid author except . . . 100μs fpsemi-examples 063: order_preserving_monoid degree except . . . 117μs fpsemi-examples 064: symmetric_group index except . . . 106μs fpsemi-examples 065: symmetric_group(7) Moore index 1 . . . 9883μs fpsemi-examples 066: order_preserving_cyclic_inverse_monoid(10) . . . 46ms fpsemi-examples 067: partial_isometries_cycle_graph_monoid(5) . . . 1078μs fpsemi-examples 068: partial_isometries_cycle_graph_monoid(10) . . . 501ms fpsemi-examples 069: partial_isometries_cycle_graph_monoid d [...] . . . 188μs fpsemi-examples 070: partial_isometries_cycle_graph_monoid(4) . . . 545μs freeband_equal_to 001: . . . 1283μs is_acyclic 000: 2-cycle . . . 25μs is_acyclic 001: 1-cycle . . . 22μs is_acyclic 002: multi-digraph . . . 30μs is_acyclic 003: complete digraph 100 . . . 161μs is_acyclic 004: acyclic digraph with 20000 nodes . . . 2606μs is_acyclic 006: for a node . . . 2096μs is_acyclic 007: for a node . . . 43μs is_reachable 008: acyclic 20 node digraph . . . 136μs is_reachable 009: 100 node path . . . 23ms is_reachable 010: 100 node cycle . . . 21ms is_reachable 011: 20 node clique . . . 808μs last_node_on_path_nc 014: 20 node path . . . 30μs make 000: from FroidurePin . . . 788μs make 001: from FroidurePin and alphabet . . . 1133μs make 002: presentation from presentation . . . 641μs make 003: presentation from presentation and alphabet . . . 131μs make 004: argument checks issue . . . 357μs make 005: use human readable alphabet for make . . . 36μs make> 000: from ActionDigraph . . . 2027μs make> 001: from ActionDigraph (exceptions) . . . 117μs number_of_words 001: . . . 23μs operator"" _w 003: literal . . . 24μs silo 000: alphabet: a, min: 0, max: 10 . . . 75μs silo 001: corner cases . . . 53μs silo 002: alphabet: ab, min: 1, max: 4 . . . 94μs silo 003: alphabet: abc, min: 0, max: 13 . . . 124ms silo 004: code coverage . . . 48μs sislo 005: alphabet: a, min: 0, max: 10 . . . 63μs sislo 006: corner cases . . . 87μs sislo 007: alphabet: ab, min: 1, max: 4 . . . 135μs sislo 008: alphabet: abc, min: 0, max: 13 . . . 123ms sislo 009: code coverage . . . 46μs string 000: detail::is_suffix . . . 21μs string 001: detail::is_prefix . . . 22μs string 002: detail::maximum_common_suffix . . . 48μs string 003: detail::group_digits . . . 36μs string_to_word 002: . . . 22μs validate_label 013: 20 node path . . . 75μs wilo 001: corner cases . . . 66μs wilo 002: letters: 2, min: 1, max: 4 . . . 61μs wilo 003: letters: 2, min: 1, max: 4 . . . 104μs wilo 004: letters: 3, min: 0, max: 10 . . . 33ms wilo 005: letters: 3, min: 0, max: 13 . . . 217ms wilo 006: forward iterator requirements . . . 216ms wilo 007: more corner cases . . . 87μs wilo 008: starting at a given word 1 . . . 199μs wilo 009: starting at a given word 2 . . . 41μs wilo 010: code coverage . . . 36μs wislo 000: n: 2, min; 1, max: 4 . . . 44μs wislo 001: corner cases . . . 72μs wislo 002: n: 3, min; 0, max: 10 . . . 7198μs wislo 003: n: 3, min; 0, max: 13 . . . 208ms wislo 004: lex + sort . . . 632ms wislo 005: code coverage . . . 48μ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' /bin/sh ./libtool --mode=install /usr/bin/install -c libsemigroups.la '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib' /usr/bin/install -c -m 644 extern/backward-cpp/backward.hpp '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups/backward-cpp' ./config/install-sh -c -d '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/pkgconfig' /usr/bin/install -c -m 644 libsemigroups.pc '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/pkgconfig' ./config/install-sh -c -d '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups' ./config/install-sh -c -d '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups/textflowcpp' libtool: install: /usr/bin/install -c .libs/libsemigroups.so.2.0.0 /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/libsemigroups.so.2.0.0 libtool: install: (cd /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib && { ln -s -f libsemigroups.so.2.0.0 libsemigroups.so.2 || { rm -f libsemigroups.so.2 && ln -s libsemigroups.so.2.0.0 libsemigroups.so.2; }; }) libtool: install: (cd /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib && { ln -s -f libsemigroups.so.2.0.0 libsemigroups.so || { rm -f libsemigroups.so && ln -s libsemigroups.so.2.0.0 libsemigroups.so; }; }) /usr/bin/install -c -m 644 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/action.hpp include/libsemigroups/adapters.hpp include/libsemigroups/bipart.hpp include/libsemigroups/bitset.hpp include/libsemigroups/bmat8.hpp include/libsemigroups/bmat.hpp include/libsemigroups/bruidhinn-traits.hpp include/libsemigroups/config.hpp include/libsemigroups/cong-intf.hpp include/libsemigroups/cong-pair-impl.hpp include/libsemigroups/cong-pair.hpp include/libsemigroups/cong-wrap.hpp include/libsemigroups/cong.hpp include/libsemigroups/constants.hpp include/libsemigroups/containers.hpp include/libsemigroups/coset.hpp include/libsemigroups/debug.hpp include/libsemigroups/deprecated.hpp include/libsemigroups/digraph-helper.hpp include/libsemigroups/digraph-with-sources.hpp include/libsemigroups/digraph-with-sources.tpp include/libsemigroups/digraph.hpp include/libsemigroups/exception.hpp include/libsemigroups/fastest-bmat.hpp include/libsemigroups/felsch-tree.hpp include/libsemigroups/felsch-digraph.hpp include/libsemigroups/felsch-digraph.tpp include/libsemigroups/forest.hpp include/libsemigroups/fpsemi-examples.hpp include/libsemigroups/fpsemi-intf.hpp include/libsemigroups/fpsemi.hpp include/libsemigroups/freeband.hpp include/libsemigroups/froidure-pin-base.hpp include/libsemigroups/froidure-pin-impl.hpp include/libsemigroups/froidure-pin.hpp include/libsemigroups/function-ref.hpp include/libsemigroups/hpcombi.hpp include/libsemigroups/int-range.hpp include/libsemigroups/iterator.hpp include/libsemigroups/kambites.hpp '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups' libtool: install: /usr/bin/install -c .libs/libsemigroups.a /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/libsemigroups.a libtool: install: chmod 644 /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/libsemigroups.a libtool: install: ranlib /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/libsemigroups.a /usr/bin/install -c -m 644 include/libsemigroups/kbe.hpp include/libsemigroups/knuth-bendix.hpp include/libsemigroups/konieczny.hpp include/libsemigroups/libsemigroups.hpp include/libsemigroups/make-froidure-pin.hpp include/libsemigroups/make-present.hpp include/libsemigroups/matrix.hpp include/libsemigroups/node-manager.hpp include/libsemigroups/obvinf.hpp include/libsemigroups/order.hpp include/libsemigroups/pbr.hpp include/libsemigroups/pool.hpp include/libsemigroups/present.hpp include/libsemigroups/present.tpp include/libsemigroups/race.hpp include/libsemigroups/report.hpp include/libsemigroups/runner.hpp include/libsemigroups/schreier-sims.hpp include/libsemigroups/schreier-sims-helper.hpp include/libsemigroups/sims1.hpp include/libsemigroups/sims1.tpp include/libsemigroups/siso.hpp include/libsemigroups/stl.hpp include/libsemigroups/stephen.hpp include/libsemigroups/string-view.hpp include/libsemigroups/string.hpp include/libsemigroups/tce.hpp include/libsemigroups/timer.hpp include/libsemigroups/todd-coxeter-digraph.hpp include/libsemigroups/todd-coxeter-digraph.tpp include/libsemigroups/todd-coxeter.hpp include/libsemigroups/transf.hpp include/libsemigroups/types.hpp include/libsemigroups/uf.hpp include/libsemigroups/ukkonen.hpp include/libsemigroups/ukkonen.tpp include/libsemigroups/wilo.hpp include/libsemigroups/wislo.hpp include/libsemigroups/word.hpp '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups' libtool: 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*: Scanning shared objects >>> libsemigroups-static*: Scanning shared objects >>> libsemigroups-dev*: Scanning shared objects >>> libsemigroups*: Tracing dependencies... so:libc.musl-ppc64le.so.1 so:libfmt.so.12 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-r2.apk >>> libsemigroups-static*: Tracing dependencies... libsemigroups-dev >>> libsemigroups-static*: Package size: 6.0 MB >>> libsemigroups-static*: Compressing data... >>> libsemigroups-static*: Create checksum... >>> libsemigroups-static*: Create libsemigroups-static-2.7.3-r2.apk >>> libsemigroups-dev*: Tracing dependencies... libsemigroups=2.7.3-r2 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-r2.apk >>> libsemigroups: Build complete at Tue, 29 Sep 2026 16:29:16 +0000 elapsed time 0h 4m 28s >>> libsemigroups: Cleaning up srcdir >>> libsemigroups: Cleaning up pkgdir >>> libsemigroups: Uninstalling dependencies... (1/4) Purging .makedepends-libsemigroups (20260929.162449) (2/4) Purging eigen-dev (3.4.0-r10) (3/4) Purging fmt-dev (12.2.0-r0) (4/4) Purging fmt (12.2.0-r0) OK: 289.5 MiB in 106 packages >>> libsemigroups: Updating the testing/ppc64le repository index... >>> libsemigroups: Signing the index...