>>> libsemigroups: Building testing/libsemigroups 2.5.0-r0 (using abuild 3.10.0-r0) started Thu, 15 Dec 2022 17:01:54 +0000 >>> libsemigroups: Checking sanity of /home/buildozer/aports/testing/libsemigroups/APKBUILD... >>> libsemigroups: Analyzing dependencies... >>> libsemigroups: Installing for build: build-base eigen-dev fmt-dev (1/4) Installing eigen-dev (3.4.0-r6) (2/4) Installing fmt (9.1.0-r0) (3/4) Installing fmt-dev (9.1.0-r0) (4/4) Installing .makedepends-libsemigroups (20221215.170155) OK: 304 MiB in 101 packages >>> libsemigroups: Cleaning up srcdir >>> libsemigroups: Cleaning up pkgdir >>> libsemigroups: Fetching https://distfiles.alpinelinux.org/distfiles/edge/libsemigroups-2.5.0.tar.gz % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 0 146 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 curl: (22) The requested URL returned error: 404 >>> libsemigroups: Fetching https://github.com/libsemigroups/libsemigroups/releases/download/v2.5.0/libsemigroups-2.5.0.tar.gz % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 0 2428k 0 11367 0 0 6719 0 0:06:10 0:00:01 0:06:09 6719 96 2428k 96 2351k 0 0 871k 0 0:00:02 0:00:02 --:--:-- 2328k 100 2428k 100 2428k 0 0 899k 0 0:00:02 0:00:02 --:--:-- 2401k >>> libsemigroups: Fetching https://distfiles.alpinelinux.org/distfiles/edge/libsemigroups-2.5.0.tar.gz >>> libsemigroups: Checking sha512sums... libsemigroups-2.5.0.tar.gz: OK >>> libsemigroups: Unpacking /var/cache/distfiles/libsemigroups-2.5.0.tar.gz... tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' checking build system type... powerpc64le-alpine-linux-musl checking host system type... powerpc64le-alpine-linux-musl checking target system type... powerpc64le-alpine-linux-musl checking for a BSD-compatible install... /usr/bin/install -c checking whether build environment is sane... yes checking for a race-free mkdir -p... ./config/install-sh -c -d checking for gawk... no checking for mawk... no checking for nawk... no checking for awk... awk checking whether make sets $(MAKE)... yes checking whether make supports nested variables... yes checking how to create a pax tar archive... gnutar checking whether make supports nested variables... (cached) yes checking whether make supports the include directive... yes (GNU style) checking for powerpc64le-alpine-linux-musl-gcc... gcc checking whether the C compiler works... yes checking for C compiler default output file name... a.out checking for suffix of executables... checking whether we are cross compiling... no checking for suffix of object files... o checking whether the compiler supports GNU C... yes checking whether gcc accepts -g... yes checking for gcc option to enable C11 features... none needed checking whether gcc understands -c and -o together... yes checking dependency style of gcc... gcc3 checking for powerpc64le-alpine-linux-musl-ar... no checking for powerpc64le-alpine-linux-musl-lib... no checking for powerpc64le-alpine-linux-musl-link... no checking for ar... ar checking the archiver (ar) interface... ar checking whether the compiler supports GNU C++... yes checking whether g++ accepts -g... yes checking for g++ option to enable C++11 features... none needed checking dependency style of g++... gcc3 checking whether g++ supports C++14 features by default... yes checking for a sed that does not truncate output... /bin/sed checking how to run the C preprocessor... gcc -E checking for grep that handles long lines and -e... /bin/grep checking for egrep... /bin/grep -E checking whether gcc is Clang... no checking whether pthreads work with "-pthread" and "-lpthread"... yes checking for joinable pthread attribute... PTHREAD_CREATE_JOINABLE checking whether more special flags are required for pthreads... no checking for PTHREAD_PRIO_INHERIT... yes checking for pthread_create in -lpthread... yes checking whether to enable maintainer-specific portions of Makefiles... no checking whether ln -s works... yes checking how to print strings... printf checking for a sed that does not truncate output... (cached) /bin/sed checking for fgrep... /bin/grep -F checking for ld used by gcc... /usr/powerpc64le-alpine-linux-musl/bin/ld checking if the linker (/usr/powerpc64le-alpine-linux-musl/bin/ld) is GNU ld... yes checking for BSD- or MS-compatible name lister (nm)... /usr/bin/nm -B checking the name lister (/usr/bin/nm -B) interface... BSD nm checking the maximum length of command line arguments... 98304 checking how to convert powerpc64le-alpine-linux-musl file names to powerpc64le-alpine-linux-musl format... func_convert_file_noop checking how to convert powerpc64le-alpine-linux-musl file names to toolchain format... func_convert_file_noop checking for /usr/powerpc64le-alpine-linux-musl/bin/ld option to reload object files... -r checking for powerpc64le-alpine-linux-musl-file... no checking for file... file checking for powerpc64le-alpine-linux-musl-objdump... no checking for objdump... objdump checking how to recognize dependent libraries... pass_all checking for powerpc64le-alpine-linux-musl-dlltool... no checking for dlltool... no checking how to associate runtime and link libraries... printf %s\n checking for powerpc64le-alpine-linux-musl-ar... ar checking for archiver @FILE support... @ checking for powerpc64le-alpine-linux-musl-strip... no checking for strip... strip checking for powerpc64le-alpine-linux-musl-ranlib... no checking for ranlib... ranlib checking command to parse /usr/bin/nm -B output from gcc object... ok checking for sysroot... no checking for a working dd... /bin/dd checking how to truncate binary pipes... /bin/dd bs=4096 count=1 checking for powerpc64le-alpine-linux-musl-mt... no checking for mt... no checking if : is a manifest tool... no checking for stdio.h... yes checking for stdlib.h... yes checking for string.h... yes checking for inttypes.h... yes checking for stdint.h... yes checking for strings.h... yes checking for sys/stat.h... yes checking for sys/types.h... yes checking for unistd.h... yes checking for dlfcn.h... yes checking for objdir... .libs checking if gcc supports -fno-rtti -fno-exceptions... no checking for gcc option to produce PIC... -fPIC -DPIC checking if gcc PIC flag -fPIC -DPIC works... yes checking if gcc static flag -static works... yes checking if gcc supports -c -o file.o... yes checking if gcc supports -c -o file.o... (cached) yes checking whether the gcc linker (/usr/powerpc64le-alpine-linux-musl/bin/ld) supports shared libraries... yes checking whether -lc should be explicitly linked in... no checking dynamic linker characteristics... GNU/Linux ld.so checking how to hardcode library paths into programs... immediate checking whether stripping libraries is possible... yes checking if libtool supports shared libraries... yes checking whether to build shared libraries... yes checking whether to build static libraries... yes checking how to run the C++ preprocessor... g++ -E checking for ld used by g++... /usr/powerpc64le-alpine-linux-musl/bin/ld checking if the linker (/usr/powerpc64le-alpine-linux-musl/bin/ld) is GNU ld... yes checking whether the g++ linker (/usr/powerpc64le-alpine-linux-musl/bin/ld) supports shared libraries... yes checking for g++ option to produce PIC... -fPIC -DPIC checking if g++ PIC flag -fPIC -DPIC works... yes checking if g++ static flag -static works... yes checking if g++ supports -c -o file.o... yes checking if g++ supports -c -o file.o... (cached) yes checking whether the g++ linker (/usr/powerpc64le-alpine-linux-musl/bin/ld) supports shared libraries... yes checking dynamic linker characteristics... (cached) GNU/Linux ld.so checking how to hardcode library paths into programs... immediate checking for limits.h... yes checking for stdint.h... (cached) yes checking for stdlib.h... (cached) yes checking for sys/time.h... yes checking for unistd.h... (cached) yes checking for pthread.h... yes checking for _Bool... yes checking for stdbool.h that conforms to C99... yes checking for inline... inline checking for int64_t... yes checking for size_t... yes checking for uint64_t... yes checking for ptrdiff_t... yes checking size of void *... 8 checking for GNU libc compatible malloc... yes checking for gettimeofday... yes checking for memset... yes checking for pow... yes checking for sqrt... yes checking whether to enable debug mode... no checking whether to enable verbose mode... no checking whether enable compiler warnings... no checking whether to enable stats mode... yes checking whether to build with code coverage support... no checking whether to enable HPCombi... yes checking for ./extern/HPCombi/VERSION... yes checking the required version of HPCombi... 0.0.6 checking the version of HPCombi that's present... 0.0.6 checking whether C++ compiler accepts -mavx... no configure: WARNING: flag -mavx not supported, HPCombi is disabled checking for powerpc64le-alpine-linux-musl-pkg-config... no checking for pkg-config... /usr/bin/pkg-config checking pkg-config is at least version 0.9.0... yes checking whether to enable fmt... yes checking whether to use external fmt... yes checking for fmt >= 8.1.1... yes checking whether to enable eigen... yes checking whether to use external eigen... yes checking for eigen3 >= 3.3.7... yes checking for __builtin_popcountl... yes checking for __builtin_clzll... yes checking whether to try and use __builtin_popcntl... yes checking whether to try and use __builtin_clzlll... yes checking that generated files are newer than configure... done configure: creating ./config.status config.status: creating Makefile config.status: creating libsemigroups.pc config.status: creating config/config.h config.status: executing depfiles commands config.status: executing include/libsemigroups/config.hpp commands config.status: creating include/libsemigroups/config.hpp - prefix LIBSEMIGROUPS for config/config.h defines config.status: executing libtool commands CXX src/libsemigroups_la-bipart.lo CXX src/libsemigroups_la-bmat8.lo CXX src/libsemigroups_la-cong-intf.lo CXX src/libsemigroups_la-cong-pair.lo CXX src/libsemigroups_la-cong.lo CXX src/libsemigroups_la-constants.lo CXX src/libsemigroups_la-coset.lo CXX src/libsemigroups_la-felsch-tree.lo CXX src/libsemigroups_la-forest.lo CXX src/libsemigroups_la-fpsemi-examples.lo CXX src/libsemigroups_la-fpsemi-intf.lo CXX src/libsemigroups_la-fpsemi.lo CXX src/libsemigroups_la-freeband.lo CXX src/libsemigroups_la-froidure-pin-base.lo CXX src/libsemigroups_la-kambites.lo CXX src/libsemigroups_la-knuth-bendix.lo CXX src/libsemigroups_la-make-present.lo CXX src/libsemigroups_la-node-manager.lo CXX src/libsemigroups_la-obvinf.lo CXX src/libsemigroups_la-pbr.lo CXX src/libsemigroups_la-race.lo CXX src/libsemigroups_la-report.lo CXX src/libsemigroups_la-runner.lo CXX src/libsemigroups_la-siso.lo CXX src/libsemigroups_la-string.lo CXX src/libsemigroups_la-stephen.lo CXX src/libsemigroups_la-suffix-tree.lo CXX src/libsemigroups_la-timer.lo CXX src/libsemigroups_la-todd-coxeter.lo CXX src/libsemigroups_la-wilo.lo CXX src/libsemigroups_la-wislo.lo CXX src/libsemigroups_la-word.lo In file included from /usr/include/eigen3/Eigen/Core:350, from /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.5.0/include/libsemigroups/digraph.hpp:58, from /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.5.0/include/libsemigroups/knuth-bendix.hpp:34, from src/knuth-bendix.cpp:19: In member function 'void Eigen::internal::gebp_kernel::operator()(const DataMapper&, const double*, const double*, Index, Index, Index, double, Index, Index, Index, Index) [with Index = long int; DataMapper = Eigen::internal::blas_data_mapper; int mr = 4; int nr = 4; bool ConjugateLhs = false; bool ConjugateRhs = false]', inlined from 'static void Eigen::internal::general_matrix_matrix_product::run(Index, Index, Index, const LhsScalar*, Index, const RhsScalar*, Index, ResScalar*, Index, Index, ResScalar, Eigen::internal::level3_blocking&, Eigen::internal::GemmParallelInfo*) [with Index = long int; LhsScalar = double; int LhsStorageOrder = 0; bool ConjugateLhs = false; RhsScalar = double; int RhsStorageOrder = 0; bool ConjugateRhs = false; int ResInnerStride = 1]' at /usr/include/eigen3/Eigen/src/Core/products/GeneralMatrixMatrix.h:198:15: /usr/include/eigen3/Eigen/src/Core/arch/AltiVec/MatrixProduct.h:2808:34: warning: builtin '__builtin_cpu_supports' needs GLIBC (2.23 and newer) that exports hardware capability bits 2808 | if (__builtin_cpu_supports ("arch_3_1") && __builtin_cpu_supports ("mma")){ | ~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ /usr/include/eigen3/Eigen/src/Core/arch/AltiVec/MatrixProduct.h:2808:73: warning: builtin '__builtin_cpu_supports' needs GLIBC (2.23 and newer) that exports hardware capability bits 2808 | if (__builtin_cpu_supports ("arch_3_1") && __builtin_cpu_supports ("mma")){ | ~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~ In file included from /usr/include/eigen3/Eigen/Core:350, from /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.5.0/include/libsemigroups/digraph.hpp:58, from /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.5.0/include/libsemigroups/digraph-with-sources.hpp:33, from /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.5.0/include/libsemigroups/stephen.hpp:30, from src/stephen.cpp:22: In member function 'void Eigen::internal::gebp_kernel::operator()(const DataMapper&, const double*, const double*, Index, Index, Index, double, Index, Index, Index, Index) [with Index = long int; DataMapper = Eigen::internal::blas_data_mapper; int mr = 4; int nr = 4; bool ConjugateLhs = false; bool ConjugateRhs = false]', inlined from 'static void Eigen::internal::general_matrix_matrix_product::run(Index, Index, Index, const LhsScalar*, Index, const RhsScalar*, Index, ResScalar*, Index, Index, ResScalar, Eigen::internal::level3_blocking&, Eigen::internal::GemmParallelInfo*) [with Index = long int; LhsScalar = double; int LhsStorageOrder = 0; bool ConjugateLhs = false; RhsScalar = double; int RhsStorageOrder = 0; bool ConjugateRhs = false; int ResInnerStride = 1]' at /usr/include/eigen3/Eigen/src/Core/products/GeneralMatrixMatrix.h:198:15: /usr/include/eigen3/Eigen/src/Core/arch/AltiVec/MatrixProduct.h:2808:34: warning: builtin '__builtin_cpu_supports' needs GLIBC (2.23 and newer) that exports hardware capability bits 2808 | if (__builtin_cpu_supports ("arch_3_1") && __builtin_cpu_supports ("mma")){ | ~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ /usr/include/eigen3/Eigen/src/Core/arch/AltiVec/MatrixProduct.h:2808:73: warning: builtin '__builtin_cpu_supports' needs GLIBC (2.23 and newer) that exports hardware capability bits 2808 | if (__builtin_cpu_supports ("arch_3_1") && __builtin_cpu_supports ("mma")){ | ~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~ CXXLD libsemigroups.la make test_all make[1]: Entering directory '/home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.5.0' CXX tests/bmat-data.o CXX tests/test-action.o CXX tests/test-bipart.o CXX tests/test-bitset.o CXX tests/test-bmat8.o CXX tests/test-cong-intf.o CXX tests/test-cong-pair.o CXX tests/test-cong.o CXX tests/test-constants.o CXX tests/test-containers.o CXX tests/test-digraph-helper.o CXX tests/test-digraph.o CXX tests/test-felsch-tree.o CXX tests/test-forest.o CXX tests/test-fpsemi.o CXX tests/test-fpsemi-examples-1.o CXX tests/test-fpsemi-examples-2.o CXX tests/test-fpsemi-examples-3.o CXX tests/test-fpsemi-intf.o CXX tests/test-freeband.o CXX tests/test-froidure-pin-bipart.o CXX tests/test-froidure-pin-bmat8.o CXX tests/test-froidure-pin-bmat.o CXX tests/test-froidure-pin-integers.o CXX tests/test-froidure-pin-intmat.o CXX tests/test-froidure-pin-intpairs.o CXX tests/test-froidure-pin-matrix.o CXX tests/test-froidure-pin-maxplustrunc.o CXX tests/test-froidure-pin-pbr.o CXX tests/test-froidure-pin-pperm.o CXX tests/test-froidure-pin-projmaxplus.o CXX tests/test-froidure-pin-transf.o CXX tests/test-hpcombi.o CXX tests/test-iterator.o CXX tests/test-kambites.o CXX tests/test-kbe.o CXX tests/test-knuth-bendix-1.o CXX tests/test-knuth-bendix-2.o CXX tests/test-knuth-bendix-3.o CXX tests/test-knuth-bendix-4.o CXX tests/test-knuth-bendix-5.o CXX tests/test-knuth-bendix-6.o CXX tests/test-konieczny-bmat8-1.o CXX tests/test-konieczny-bmat8-2.o CXX tests/test-konieczny-bmat8-3.o CXX tests/test-konieczny-bmat.o CXX tests/test-konieczny-pperm.o CXX tests/test-konieczny-transf.o CXX tests/test-main.o CXX tests/test-make-present.o CXX tests/test-matrix.o CXX tests/test-make-froidure-pin.o CXX tests/test-obvinf.o CXX tests/test-order.o CXX tests/test-pbr.o CXX tests/test-pool.o CXX tests/test-present.o CXX tests/test-race.o CXX tests/test-runner.o CXX tests/test-schreier-sims.o CXX tests/test-schreier-sims-helper.o CXX tests/test-sims1.o CXX tests/test-siso.o CXX tests/test-stephen.o CXX tests/test-string.o CXX tests/test-string-view.o CXX tests/test-suffix-tree.o CXX tests/test-timer.o CXX tests/test-todd-coxeter.o CXX tests/test-types.o CXX tests/test-uf.o CXX tests/test-wilo.o CXX tests/test-wislo.o CXX tests/test-word.o In file included from /usr/include/eigen3/Eigen/Core:350, from /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.5.0/include/libsemigroups/digraph.hpp:58, from /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.5.0/include/libsemigroups/knuth-bendix.hpp:34, from tests/test-knuth-bendix-4.cpp:48: In member function 'void Eigen::internal::gebp_kernel::operator()(const DataMapper&, const double*, const double*, Index, Index, Index, double, Index, Index, Index, Index) [with Index = long int; DataMapper = Eigen::internal::blas_data_mapper; int mr = 4; int nr = 4; bool ConjugateLhs = false; bool ConjugateRhs = false]', inlined from 'static void Eigen::internal::general_matrix_matrix_product::run(Index, Index, Index, const LhsScalar*, Index, const RhsScalar*, Index, ResScalar*, Index, Index, ResScalar, Eigen::internal::level3_blocking&, Eigen::internal::GemmParallelInfo*) [with Index = long int; LhsScalar = double; int LhsStorageOrder = 0; bool ConjugateLhs = false; RhsScalar = double; int RhsStorageOrder = 0; bool ConjugateRhs = false; int ResInnerStride = 1]' at /usr/include/eigen3/Eigen/src/Core/products/GeneralMatrixMatrix.h:198:15: /usr/include/eigen3/Eigen/src/Core/arch/AltiVec/MatrixProduct.h:2808:34: warning: builtin '__builtin_cpu_supports' needs GLIBC (2.23 and newer) that exports hardware capability bits 2808 | if (__builtin_cpu_supports ("arch_3_1") && __builtin_cpu_supports ("mma")){ | ~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ /usr/include/eigen3/Eigen/src/Core/arch/AltiVec/MatrixProduct.h:2808:73: warning: builtin '__builtin_cpu_supports' needs GLIBC (2.23 and newer) that exports hardware capability bits 2808 | if (__builtin_cpu_supports ("arch_3_1") && __builtin_cpu_supports ("mma")){ | ~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~ In file included from /usr/include/eigen3/Eigen/Core:350, from /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.5.0/include/libsemigroups/digraph.hpp:58, from tests/test-stephen.cpp:40: In member function 'void Eigen::internal::gebp_kernel::operator()(const DataMapper&, const double*, const double*, Index, Index, Index, double, Index, Index, Index, Index) [with Index = long int; DataMapper = Eigen::internal::blas_data_mapper; int mr = 4; int nr = 4; bool ConjugateLhs = false; bool ConjugateRhs = false]', inlined from 'static void Eigen::internal::general_matrix_matrix_product::run(Index, Index, Index, const LhsScalar*, Index, const RhsScalar*, Index, ResScalar*, Index, Index, ResScalar, Eigen::internal::level3_blocking&, Eigen::internal::GemmParallelInfo*) [with Index = long int; LhsScalar = double; int LhsStorageOrder = 0; bool ConjugateLhs = false; RhsScalar = double; int RhsStorageOrder = 0; bool ConjugateRhs = false; int ResInnerStride = 1]' at /usr/include/eigen3/Eigen/src/Core/products/GeneralMatrixMatrix.h:198:15: /usr/include/eigen3/Eigen/src/Core/arch/AltiVec/MatrixProduct.h:2808:34: warning: builtin '__builtin_cpu_supports' needs GLIBC (2.23 and newer) that exports hardware capability bits 2808 | if (__builtin_cpu_supports ("arch_3_1") && __builtin_cpu_supports ("mma")){ | ~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ /usr/include/eigen3/Eigen/src/Core/arch/AltiVec/MatrixProduct.h:2808:73: warning: builtin '__builtin_cpu_supports' needs GLIBC (2.23 and newer) that exports hardware capability bits 2808 | if (__builtin_cpu_supports ("arch_3_1") && __builtin_cpu_supports ("mma")){ | ~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~ In file included from /usr/include/eigen3/Eigen/Core:350, from /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.5.0/include/libsemigroups/digraph.hpp:58, from /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.5.0/include/libsemigroups/knuth-bendix.hpp:34, from /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.5.0/include/libsemigroups/kbe.hpp:34, from tests/test-knuth-bendix-1.cpp:53: In member function 'void Eigen::internal::gebp_kernel::operator()(const DataMapper&, const double*, const double*, Index, Index, Index, double, Index, Index, Index, Index) [with Index = long int; DataMapper = Eigen::internal::blas_data_mapper; int mr = 4; int nr = 4; bool ConjugateLhs = false; bool ConjugateRhs = false]', inlined from 'static void Eigen::internal::general_matrix_matrix_product::run(Index, Index, Index, const LhsScalar*, Index, const RhsScalar*, Index, ResScalar*, Index, Index, ResScalar, Eigen::internal::level3_blocking&, Eigen::internal::GemmParallelInfo*) [with Index = long int; LhsScalar = double; int LhsStorageOrder = 0; bool ConjugateLhs = false; RhsScalar = double; int RhsStorageOrder = 0; bool ConjugateRhs = false; int ResInnerStride = 1]' at /usr/include/eigen3/Eigen/src/Core/products/GeneralMatrixMatrix.h:198:15: /usr/include/eigen3/Eigen/src/Core/arch/AltiVec/MatrixProduct.h:2808:34: warning: builtin '__builtin_cpu_supports' needs GLIBC (2.23 and newer) that exports hardware capability bits 2808 | if (__builtin_cpu_supports ("arch_3_1") && __builtin_cpu_supports ("mma")){ | ~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ /usr/include/eigen3/Eigen/src/Core/arch/AltiVec/MatrixProduct.h:2808:73: warning: builtin '__builtin_cpu_supports' needs GLIBC (2.23 and newer) that exports hardware capability bits 2808 | if (__builtin_cpu_supports ("arch_3_1") && __builtin_cpu_supports ("mma")){ | ~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~ In file included from /usr/include/eigen3/Eigen/Core:350, from /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.5.0/include/libsemigroups/digraph.hpp:58, from tests/test-digraph.cpp:31: In member function 'void Eigen::internal::gebp_kernel::operator()(const DataMapper&, const double*, const double*, Index, Index, Index, double, Index, Index, Index, Index) [with Index = long int; DataMapper = Eigen::internal::blas_data_mapper; int mr = 4; int nr = 4; bool ConjugateLhs = false; bool ConjugateRhs = false]', inlined from 'static void Eigen::internal::general_matrix_matrix_product::run(Index, Index, Index, const LhsScalar*, Index, const RhsScalar*, Index, ResScalar*, Index, Index, ResScalar, Eigen::internal::level3_blocking&, Eigen::internal::GemmParallelInfo*) [with Index = long int; LhsScalar = double; int LhsStorageOrder = 0; bool ConjugateLhs = false; RhsScalar = double; int RhsStorageOrder = 0; bool ConjugateRhs = false; int ResInnerStride = 1]' at /usr/include/eigen3/Eigen/src/Core/products/GeneralMatrixMatrix.h:198:15: /usr/include/eigen3/Eigen/src/Core/arch/AltiVec/MatrixProduct.h:2808:34: warning: builtin '__builtin_cpu_supports' needs GLIBC (2.23 and newer) that exports hardware capability bits 2808 | if (__builtin_cpu_supports ("arch_3_1") && __builtin_cpu_supports ("mma")){ | ~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ /usr/include/eigen3/Eigen/src/Core/arch/AltiVec/MatrixProduct.h:2808:73: warning: builtin '__builtin_cpu_supports' needs GLIBC (2.23 and newer) that exports hardware capability bits 2808 | if (__builtin_cpu_supports ("arch_3_1") && __builtin_cpu_supports ("mma")){ | ~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~ In file included from /usr/include/eigen3/Eigen/Core:350, from /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.5.0/include/libsemigroups/digraph.hpp:58, from /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.5.0/include/libsemigroups/knuth-bendix.hpp:34, from /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.5.0/include/libsemigroups/fpsemi.hpp:31, from tests/test-todd-coxeter.cpp:46: In member function 'void Eigen::internal::gebp_kernel::operator()(const DataMapper&, const double*, const double*, Index, Index, Index, double, Index, Index, Index, Index) [with Index = long int; DataMapper = Eigen::internal::blas_data_mapper; int mr = 4; int nr = 4; bool ConjugateLhs = false; bool ConjugateRhs = false]', inlined from 'static void Eigen::internal::general_matrix_matrix_product::run(Index, Index, Index, const LhsScalar*, Index, const RhsScalar*, Index, ResScalar*, Index, Index, ResScalar, Eigen::internal::level3_blocking&, Eigen::internal::GemmParallelInfo*) [with Index = long int; LhsScalar = double; int LhsStorageOrder = 0; bool ConjugateLhs = false; RhsScalar = double; int RhsStorageOrder = 0; bool ConjugateRhs = false; int ResInnerStride = 1]' at /usr/include/eigen3/Eigen/src/Core/products/GeneralMatrixMatrix.h:198:15: /usr/include/eigen3/Eigen/src/Core/arch/AltiVec/MatrixProduct.h:2808:34: warning: builtin '__builtin_cpu_supports' needs GLIBC (2.23 and newer) that exports hardware capability bits 2808 | if (__builtin_cpu_supports ("arch_3_1") && __builtin_cpu_supports ("mma")){ | ~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ /usr/include/eigen3/Eigen/src/Core/arch/AltiVec/MatrixProduct.h:2808:73: warning: builtin '__builtin_cpu_supports' needs GLIBC (2.23 and newer) that exports hardware capability bits 2808 | if (__builtin_cpu_supports ("arch_3_1") && __builtin_cpu_supports ("mma")){ | ~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~ In file included from /usr/include/c++/12.2.1/algorithm:61, from tests/test-matrix.cpp:17: In function 'void std::__final_insertion_sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = libsemigroups::StaticRowView*; _Compare = __gnu_cxx::__ops::_Iter_comp_iter >():: >]', inlined from 'void std::__sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = libsemigroups::StaticRowView*; _Compare = __gnu_cxx::__ops::_Iter_comp_iter >():: >]' at /usr/include/c++/12.2.1/bits/stl_algo.h:1940:31, inlined from 'void std::sort(_RAIter, _RAIter, _Compare) [with _RAIter = libsemigroups::StaticRowView*; _Compare = libsemigroups::{anonymous}::test_BMat000 >()::]' at /usr/include/c++/12.2.1/bits/stl_algo.h:4853:18, inlined from 'void libsemigroups::{anonymous}::test_BMat000() [with Mat = libsemigroups::StaticMatrix]' at tests/test-matrix.cpp:166:18: /usr/include/c++/12.2.1/bits/stl_algo.h:1849:32: warning: array subscript 16 is outside array bounds of 'libsemigroups::detail::StaticVector1, 2> [1]' [-Warray-bounds] 1849 | std::__insertion_sort(__first, __first + int(_S_threshold), __comp); | ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ tests/test-matrix.cpp: In function 'void libsemigroups::{anonymous}::test_BMat000() [with Mat = libsemigroups::StaticMatrix]': tests/test-matrix.cpp:160:14: note: at offset 128 into object 'r' of size 24 160 | auto r = matrix_helpers::rows(m); | ^ CXXLD test_all make[1]: Leaving directory '/home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.5.0' ./test_all --use-colour yes --order lex --abort [quick] Filters: [quick] Action 001: row and column basis orbits for BMat8 . . . 43μs Action 002: row and column basis orbits for BMat8 . . . 2283μs Action 003: add generators after enumeration . . . 2321μs Action 004: multipliers for BMat8 row and column orbits . . . 4871μs Action 005: orbits for regular boolean mat monoid 5 . . . 413ms Action 007: partial perm image orbit . . . 442μs Action 008: partial perm image orbit . . . 115ms Action 009: partial perm image orbit . . . 119ms Action 010: partial perm image orbit . . . 124ms Action 011: permutation on integers . . . 31μs Action 012: permutation on sets, arrays . . . 288μs Action 013: permutation on tuples, arrays . . . 30ms Action 014: permutation on sets, vectors . . . 393μs Action 015: permutation on tuples, vectors . . . 40ms Action 016: misc . . . 20ms Action 017: partial perm image orbit . . . 82μs Action 018: permutation on tuples, arrays (360360) . . . 409ms Action 019: orbits for regular BMat8 monoid 5 with stop/start . . . 551ms Action 021: orbits for regular boolean mat monoid 5 (BMat<5> [...] . . . 722ms ActionDigraph 000: constructor with 1 default arg . . . 18μs ActionDigraph 001: constructor with 0 default args . . . 55μs ActionDigraph 002: add nodes . . . 32μs ActionDigraph 003: add edges . . . 546μs ActionDigraph 004: strongly connected components - cycles . . . 33μs ActionDigraph 005: strongly connected components - no edges . . . 56ms ActionDigraph 006: strongly connected components - disjoint cycles . . . 1642μs ActionDigraph 007: strongly connected components - complete graphs . . . 680μs ActionDigraph 008: exceptions . . . 132μs ActionDigraph 009: spanning forest - complete graphs . . . 3707μs ActionDigraph 010: spanning forest - disjoint cycles . . . 128μs ActionDigraph 011: restrict . . . 14μs ActionDigraph 012: remove_edge_nc . . . 13μs ActionDigraph 013: scc large cycle . . . 10ms ActionDigraph 014: random . . . 24μs ActionDigraph 015: reserve . . . 14μs ActionDigraph 016: default constructors . . . 21μs ActionDigraph 017: scc iterators . . . 1044μs ActionDigraph 018: iterator to edges . . . 702μs ActionDigraph 019: root of scc . . . 292μs ActionDigraph 020: cbegin/end_panislo - 100 node path . . . 833μs ActionDigraph 021: cbegin/end_pislo . . . 68μs ActionDigraph 022: cbegin/end_pani(s)lo - 100 node cycle . . . 775μs ActionDigraph 023: cbegin/cend_pilo - tree 14 nodes . . . 120μs ActionDigraph 024: cbegin/end_pstilo - Cayley digraph . . . 261ms ActionDigraph 025: cbegin_pstilo - Tsalakou . . . 448μs ActionDigraph 026: cbegin/end_pstislo - Cayley digraph . . . 266ms ActionDigraph 027: cbegin/end_pstislo - Cayley digraph . . . 268μs ActionDigraph 028: path iterators corner cases . . . 322μs ActionDigraph 029: reverse node iterator . . . 14μs ActionDigraph 030: pstilo corner case . . . 41μs ActionDigraph 031: number_of_paths corner cases . . . 101μs ActionDigraph 032: number_of_paths acyclic digraph . . . 15ms ActionDigraph 033: number_of_paths binary tree . . . 523ms ActionDigraph 034: number_of_paths large binary tree . . . 93ms ActionDigraph 035: number_of_paths 400 node random digraph . . . 1154μs ActionDigraph 036: number_of_paths 10 node acyclic digraph . . . 43μs ActionDigraph 037: number_of_paths node digraph . . . 2789μs ActionDigraph 038: random/random_acyclic exceptions . . . 201μs ActionDigraph 039: unsafe (next) neighbour . . . 55μs ActionDigraph 040: number_of_egdes incident to a node . . . 59μs ActionDigraph 041: number_of_paths (matrix) . . . 27ms ActionDigraph 042: number_of_paths (matrix) . . . 17μs ActionDigraph 043: swap_edge_nc . . . 13μs ActionDigraph 044: detail::pow for non-square Eigen matrix . . . 34μs ActionDigraph 045: operator<< . . . 18μs Array2 044: all . . . 64μs BMat8 001: transpose . . . 26μs BMat8 002: multiplication . . . 26μs BMat8 003: identity matrix . . . 19μs BMat8 004: random . . . 153μs BMat8 005: call operator . . . 26μs BMat8 006: operator<< . . . 26μs BMat8 007: set . . . 114μs BMat8 008: row space basis . . . 854μs BMat8 009: col space basis . . . 854μs BMat8 010: row space basis . . . 1371μs BMat8 011: number_of_rows, number_of_cols . . . 51μs BMat8 012: row_space, col_space . . . 302μs BMat8 013: rows . . . 60μs BMat8 014: one . . . 16μs BMat8 015: vector constructor . . . 184μs BMat8 016: operator< . . . 19μs BMat8 017: adapters . . . 26μs BMat8 018: one . . . 15μs Bipartition 009: mem fns 1 . . . 37μs Bipartition 010: hash . . . 11μs Bipartition 011: mem fns 2 . . . 28μs Bipartition 012: delete/copy . . . 12μs Bipartition 013: degree 0 . . . 14μs Bipartition 014: exceptions . . . 60μs Bipartition 015: convenience constructor . . . 428μs Bipartition 016: force copy constructor over move constructor . . . 21μs Bipartition 017: adapters . . . 11μs BitSet 000: size . . . 15μs BitSet 001: operator< . . . 14μs BitSet 002: operator== . . . 15μs BitSet 003: operator!= . . . 16μs BitSet 004: operator&= . . . 19μs BitSet 005: & . . . 22μs BitSet 006: operator|= . . . 25μs BitSet 007: operator[] . . . 24μs BitSet 008: set(none) . . . 24μs BitSet 009: set(pos, value) . . . 25μs BitSet 010: set(first, last, value) . . . 30μs BitSet 011: reset(first, last) . . . 27μs BitSet 012: reset(pos) . . . 29μs BitSet 013: apply (iterate through set bits) . . . 33μs BitSet 014: std::hash . . . 10μs BitSet 015: constructors . . . 25μs BitSet 016: max_size . . . 11μs BitSet 017: insertion operators . . . 17μs Blocks 001: empty blocks . . . 14μs Blocks 002: non-empty blocks . . . 16μs Blocks 003: left blocks of bipartition . . . 17μs Blocks 004: right blocks of bipartition . . . 17μs Blocks 005: copy [empty blocks] . . . 13μs Blocks 006: copy [non-empty blocks] . . . 16μs Blocks 007: hash value . . . 15μs Blocks 008: operator< . . . 15μs Congruence 000: left congruence on fp semigroup . . . 113μs Congruence 001: 2-sided congruence on fp semigroup . . . 949μs Congruence 002: left congruence on fp semigroup . . . 250μs Congruence 003: word_to_class_index for cong. on fp semigroup . . . 269μs Congruence 004: word_to_class_index for cong. on fp semigroup . . . 470μs Congruence 005: trivial congruence on non-fp semigroup . . . 491μs Congruence 006: 2-sided congruence on non-fp semigroup . . . 384μs Congruence 007: 2-sided congruence on fp semigroup . . . 621μs Congruence 008: 2-sided congruence on infinite fp semigroup . . . 357μs Congruence 009: 2-sided congruence on infinite fp semigroup . . . 451μs Congruence 010: 2-sided congruence on finite semigroup . . . 50ms Congruence 012: 2-sided congruence on finite semigroup . . . 3864μs Congruence 013: trivial 2-sided congruence on bicyclic monoid . . . 34ms Congruence 014: non-trivial 2-sided congruence on bicyclic monoid . . . 401μs Congruence 015: 2-sided congruence on free abelian monoid . . . 386μs Congruence 016: example where TC works but KB doesn't . . . 557μs Congruence 017: 2-sided congruence on finite semigroup . . . 399μs Congruence 018: infinite fp semigroup from GAP library . . . 624μs Congruence 019: 2-sided cong. on fp semigroup with infinite [...] . . . 279μs Congruence 020: trivial cong. on an fp semigroup . . .  -- with compute size 315μs  -- with don't compute size 313μs Congruence 021: duplicate generators . . . 509μs Congruence 022: non-trivial classes . . . 1536μs Congruence 023: right congruence on finite semigroup . . . 266ms Congruence 024: redundant generating pairs . . . 90μs Congruence 025: 2-sided cong. on free semigroup . . . 64μs Congruence 026: is_quotient_obviously_(in)finite . . . 1414μs Congruence 027: less . . . 627μs Congruence 028: 2-sided congruences of BMat8 semigroup . . . 149ms Congruence 029: left congruence on finite semigroup . . . 564μs Congruence 030: right congruence on finite semigroup . . . 547μs Congruence 031: right congruence on finite semigroup . . . 870μs Congruence 032: contains . . . 142μs Congruence 033: stellar_monoid S2 . . . 491μs Congruence 034: stellar_monoid S3 . . . 846μs Congruence 035: stellar_monoid S4 . . . 1981μs Congruence 036: stellar_monoid S5 . . . 10ms Congruence 037: stellar_monoid S6 . . . 75ms Congruence 038: stellar_monoid S7 . . . 763ms Congruence 039: left cong. on an f.p. semigroup . . . 1513μs Congruence 040: 2-sided cong. on infinite f.p. semigroup . . . 155μs Congruence 041: 2-sided congruence constructed from type only . . . 589μs Congruence 042: const_contains . . . 977μs Congruence 043: no winner . . . 4912μs Congruence 044: congruence over smalloverlap . . . 7515μs CongruenceByPairs 001: (cong) 2-sided cong. on finite semigroup . . . 466μs CongruenceByPairs 002: (cong) left congruence on finite semigroup . . . 146μs CongruenceByPairs 003: (cong) right congruence on finite semigroup . . . 143μs CongruenceByPairs 004: (cong) trivial congruence on finite s [...] . . . 105μs CongruenceByPairs 005: (cong) trivial left congruence on fin [...] . . . 95μs CongruenceByPairs 006: (cong) trivial right congruence on fi [...] . . . 93μs CongruenceByPairs 007: (cong) universal congruence on finite [...] . . . 506μs CongruenceByPairs 009: (cong) 2-sided congruence on finite s [...] . . . 717ms CongruenceByPairs 010: (cong) left congruence on big finite [...] . . . 38ms CongruenceByPairs 011: (cong) left congruence on TCE . . . 322μs CongruenceByPairs 012: (cong) is_quotient_obviously_finite . . . 162μs CongruenceByPairs 013: (cong) class_index_to_word/quotient . . .  -- with right congruence 12ms  -- with left congruence 1586μs  -- with 2-sided congruence 9336μs CongruenceByPairs 014: (cong) const_word_to_class_index . . .  -- with right congruence 49μs  -- with left congruence 44μs  -- with 2-sided congruence 43μs CongruenceByPairs 015: (cong) size non-Element* . . . 25ms CongruenceInterface 000: add_pair . . .  -- with ToddCoxeter 204μs  -- with KnuthBendix 278μs  -- with CongruenceByPairs 212μs  -- with Congruence 1145μs CongruenceInterface 001: contains/const_contains . . .  -- with ToddCoxeter and no parent 218μs  -- with KnuthBendix and no parent 234μs  -- with Congruence and parent 523μs  -- with CongruenceByPairs and parent 163μs CongruenceInterface 002: less . . .  -- with ToddCoxeter 168μs  -- with KnuthBendix 252μs  -- with CongruenceByPairs 168μs  -- with Congruence 420μs CongruenceInterface 003: is_quotient_obviously_(in)finite . . .  -- with ToddCoxeter 135μs  -- with KnuthBendix 229μs CongruenceInterface 004: is_quotient_obviously_(in)finite . . .  -- with CongruenceByPairs 178μs  -- with Congruence 496μs CongruenceInterface 005: parent_froidure_pin . . .  -- with ToddCoxeter 47μs  -- with KnuthBendix 43μs CongruenceInterface 006: parent_froidure_pin . . .  -- with CongruenceByPairs 168μs  -- with Congruence 527μs CongruenceInterface 007: cbegin/cend_ntc . . .  -- with ToddCoxeter 298μs  -- with KnuthBendix 2050μs CongruenceInterface 008: cbegin/cend_ntc . . .  -- with CongruenceByPairs 219μs  -- with Congruence 558μs CongruenceInterface 009: quotient is immutable . . .  -- with ToddCoxeter 145μs  -- with KnuthBendix 198μs  -- with Congruence 358μs CongruenceInterface 010: no generating pairs added . . .  -- with KnuthBendix and common behaviour 4747μs  -- with Congruence and common behaviour 4904μs  -- with ToddCoxeter 140μs CongruenceInterface 011: nr generators not set . . .  -- with ToddCoxeter 237μs  -- with KnuthBendix 241μs  -- with Congruence 244μs CongruenceInterface 012: no generating pairs . . . 179μs ConstIteratorStateless 001: ? . . . 13μs ConstIteratorStateless 002: ? . . . 12μs Constants 001: Undefined . . . 20μs Constants 002: PositiveInfinity . . . 21μs Constants 003: NegativeInfinity . . . 19μs Constants 004: LimitMax . . . 18μs Duf 004: unite . . . 27μs Duf 006: compress . . . 20μs Duf 008: resize . . . 23μs Duf 009: resize . . . 15μs Duf 010: big chain . . . 22ms Duf 012: empty table . . . 13μs Duf 014: join . . . 16μs Duf 016: contains . . . 34μs Duf 018: swap . . . 39μs DynamicArray2 001: default constructor with 3 default args . . . 14μs DynamicArray2 002: default constructor with 2 default args . . . 12μs DynamicArray2 003: default constructor with 1 default args . . . 14μs DynamicArray2 004: default constructor with 0 default args . . . 13μs DynamicArray2 005: copy constructor with 1 default args . . . 13μs DynamicArray2 006: copy constructor with 0 default args . . . 17μs DynamicArray2 007: add_rows . . . 16μs DynamicArray2 008: add_rows . . . 15μs DynamicArray2 009: add_cols . . . 18μs DynamicArray2 010: set/get . . . 30μs DynamicArray2 011: append 1/2 . . . 55μs DynamicArray2 012: append 2/2 . . . 82μs DynamicArray2 013: count . . . 18μs DynamicArray2 014: clear . . . 13μs DynamicArray2 015: begin_row and end_row . . . 74μs DynamicArray2 016: cbegin_row and cend_row . . . 32μs DynamicArray2 017: iterator operator++ (postfix) . . . 298μs DynamicArray2 018: iterator operator++ (prefix) . . . 1999μs DynamicArray2 019: iterator operator-- (postfix) . . . 394μs DynamicArray2 020: iterator operator-- (prefix) . . . 388μs DynamicArray2 021: operator= . . . 18μs DynamicArray2 022: operator== and operator!= . . . 259μs DynamicArray2 023: empty and clear . . . 16μs DynamicArray2 024: max_size . . . 12μs DynamicArray2 025: swap . . . 38μs DynamicArray2 026: iterator arithmetic . . . 1781μs DynamicArray2 027: iterator comparison . . . 16μs DynamicArray2 028: iterator operator= . . . 13μs DynamicArray2 029: iterator operator[] . . . 100μs DynamicArray2 030: iterator operator-> . . . 14μs DynamicArray2 031: const_iterator operator++/-- . . . 259μs DynamicArray2 032: const_iterator operator++/-- . . . 12μs DynamicArray2 033: column iterators . . . 31μs DynamicArray2 034: column iterator arithmetic . . . 7160μs DynamicArray2 035: iterator assignment constructor . . . 2043μs DynamicArray2 036: reserve method . . . 43μs DynamicArray2 037: erase column . . . 20μs DynamicArray2 038: swap_rows . . . 15μs DynamicArray2 039: apply_row_permutation . . . 15μs DynamicArray2 040: swap . . . 14μs DynamicArray2 041: shrink_rows_to . . . 20μs DynamicArray2 042: shrink_rows_to - for range . . . 21μs FastestBMat 046: check no throw . . . 15μs FelschTree 000: previously failing example . . . 33μs Forest 001: test forest . . . 90μs FpSemigroup 001: Renner monoid type B2 (E. G. presentation), q = 1 . . . 1558μs FpSemigroup 002: Renner monoid type B2 (E. G. presentation), q = 0 . . . 1057μs FpSemigroup 003: Renner monoid type B3 (E. G. presentation), q = 1 . . . 167ms FpSemigroup 004: Renner monoid type B3 (E. G. presentation), q = 0 . . . 168ms FpSemigroup 005: Renner monoid type B2 (Gay-Hivert presentat [...] . . . 1679μs FpSemigroup 006: Renner monoid type B2 (Gay-Hivert presentat [...] . . . 1052μs FpSemigroup 007: Renner monoid type B3 (Gay-Hivert presentat [...] . . . 5956μs FpSemigroup 008: Renner monoid type B3 (Gay-Hivert presentat [...] . . . 4960μs FpSemigroup 009: Renner monoid type B4 (Gay-Hivert presentat [...] . . . 230ms FpSemigroup 010: Renner monoid type B4 (Gay-Hivert presentat [...] . . . 350ms FpSemigroup 013: Renner monoid type D2 (E. G. presentation), q = 1 . . . 1565μs FpSemigroup 014: Renner monoid type D2 (E. G. presentation), q = 0 . . . 1393μs FpSemigroup 015: Renner monoid type D3 (E. G. presentation), q = 1 . . . 5068μs FpSemigroup 016: Renner monoid type D3 (E. G. presentation), q = 0 . . . 5520μs FpSemigroup 017: Renner monoid type D4 (E. G. presentation), q = 1 . . . 3662ms FpSemigroup 018: Renner monoid type D4 (E. G. presentation), q = 0 . . . 3734ms FpSemigroup 019: Renner monoid type D2 (Gay-Hivert presentat [...] . . . 1241μs FpSemigroup 020: Renner monoid type D2 (Gay-Hivert presentat [...] . . . 1133μs FpSemigroup 021: Renner monoid type D3 (Gay-Hivert presentat [...] . . . 6238μs FpSemigroup 022: Renner monoid type D3 (Gay-Hivert presentat [...] . . . 6091μs FpSemigroup 023: Renner monoid type D4 (Gay-Hivert presentat [...] . . . 93ms FpSemigroup 024: Renner monoid type D4 (Gay-Hivert presentat [...] . . . 109ms FpSemigroup 029: Rook monoid R5, q = 0 . . . 5932μs FpSemigroup 030: Rook monoid R5, q = 1 . . . 6813μs FpSemigroup 031: Rook monoid R6, q = 0 . . . 54ms FpSemigroup 032: Rook monoid R6, q = 1 . . . 55ms FpSemigroup 033: normal_form . . . 277μs FpSemigroup 034: for a finite semigroup . . . 690μs FpSemigroup 035: finite fp semigroup, dihedral group of order 6 . . . 524μs FpSemigroup 036: finite fp semigroup, size 16 . . . 777μs FpSemigroup 037: finite fp semigroup, size 16 . . . 1352μs FpSemigroup 038: fp semigroup, size 240 . . . 1065μs FpSemigroup 039: add_rule . . . 303μs FpSemigroup 040: add_rule . . . 134μs FpSemigroup 041: equal_to . . . 245μs FpSemigroup 042: cbegin/cend_rules . . . 59μs FpSemigroup 043: semigroup of size 3 . . . 328μs FpSemigroup 044: run_for/until . . . 2367μs FpSemigroup 045: constructors . . . 216μs FpSemigroup 046: set_inverses . . . 151μs FpSemigroup 047: smalloverlap . . . 6860μs FpSemigroup 048: quaternion group Q8 . . . 469μs FpSemigroup 049: symmetric group Coxeter presentation . . . 108ms FpSemigroupByPairs 029: (fpsemi) 2-sided congruence on finit [...] . . . 838μs FpSemigroupByPairs 030: (fpsemi) 2-sided congruence on finit [...] . . . 804μs FpSemigroupInterface 000: run with no alphabet . . .  -- with ToddCoxeter 111μs  -- with KnuthBendix 76μs  -- with FpSemigroup 95μs FpSemigroupInterface 001: equal_to . . .  -- with ToddCoxeter and human readable alphabet 3930μs  -- with KnuthBendix and human readable alphabet 10ms  -- with FpSemigroup and human readable alphabet 6083μs  -- with FpSemigroupByPairs 3751μs FpSemigroupInterface 002: normal_form . . .  -- with ToddCoxeter 224μs  -- with KnuthBendix 255μs  -- with FpSemigroup 474μs FpSemigroupInterface 003: set_alphabet (1/2) . . .  -- with ToddCoxeter 159μs  -- with KnuthBendix 138μs  -- with FpSemigroup 151μs FpSemigroupInterface 004: set_alphabet (2/2) . . . 1484μs FpSemigroupInterface 005: add_rule after finished . . .  -- with ToddCoxeter and human readable alphabet 215μs  -- with KnuthBendix and human readable alphabet 261μs  -- with FpSemigroup and human readable alphabet 519μs  -- with FpSemigroupByPairs 1435μs FpSemigroupInterface 006: add_rule with equal words (1/2) . . .  -- with ToddCoxeter and human readable alphabet 148μs  -- with KnuthBendix and human readable alphabet 250μs  -- with FpSemigroup and human readable alphabet 299μs  -- with FpSemigroupByPairs 135μs FpSemigroupInterface 007: add_rule with equal words (2/2) . . .  -- with ToddCoxeter 29μs  -- with KnuthBendix 22μs  -- with FpSemigroup 35μs FpSemigroupInterface 008: add_rule with word_type . . .  -- with ToddCoxeter 70μs  -- with KnuthBendix 64μs  -- with FpSemigroup 97μs FpSemigroupInterface 009: add_rule with empty word (1/2) . . .  -- with ToddCoxeter 57μs  -- with FpSemigroup 64μs FpSemigroupInterface 010: add_rule with empty word (1/2) . . . 17μs FpSemigroupInterface 011: add_rules (1/3) . . .  -- with ToddCoxeter 56μs  -- with KnuthBendix 50μs  -- with FpSemigroup 62μs FpSemigroupInterface 012: add_rules (2/3) . . . 283μs FpSemigroupInterface 013: add_rules (3/3) . . .  -- with ToddCoxeter 31μs  -- with KnuthBendix 28μs  -- with FpSemigroup 66μs FpSemigroupInterface 014: set_identity (1/3) . . .  -- with ToddCoxeter 170μs  -- with KnuthBendix 167μs  -- with FpSemigroup 208μs FpSemigroupInterface 015: set_identity (2/3) . . . 190μs FpSemigroupInterface 016: set_identity (3/3) . . .  -- with ToddCoxeter 102μs  -- with KnuthBendix 102μs  -- with FpSemigroup 148μs FpSemigroupInterface 017: identity . . .  -- with ToddCoxeter 44μs  -- with KnuthBendix 38μs  -- with FpSemigroup 49μs FpSemigroupInterface 018: set_inverses + inverses (1/2) . . .  -- with ToddCoxeter 268μs  -- with KnuthBendix 268μs  -- with FpSemigroup 325μs FpSemigroupInterface 019: set_inverses + inverses (2/2) . . . 368μs FpSemigroupInterface 020: is_obviously_infinite (1/2) . . .  -- with ToddCoxeter 176μs  -- with KnuthBendix 234μs  -- with FpSemigroup 481μs FpSemigroupInterface 021: is_obviously_infinite (2/2) . . . 41μs FpSemigroupInterface 022: is_obviously_finite (1/2) . . .  -- with ToddCoxeter 164μs  -- with KnuthBendix 222μs  -- with FpSemigroup 473μs FpSemigroupInterface 023: is_obviously_finite (2/2) . . . 36μs FpSemigroupInterface 024: to_gap_string (1/3) . . .  -- with ToddCoxeter 34μs  -- with KnuthBendix 31μs  -- with FpSemigroup 70μs FpSemigroupInterface 025: to_gap_string (2/3) . . . 20μs FpSemigroupInterface 026: to_gap_string (3/3) . . . 33μs FroidurePin 015: (BMat8) regular boolean mat monoid 4 . . . 71ms FroidurePin 016: (BMat8) exception zero generators given . . . 19μs FroidurePin 017: (BMat8) exception word_to_element . . . 106μs FroidurePin 018: (BMat8) exception prefix . . . 4333μs FroidurePin 019: (BMat8) exception suffix . . . 26μs FroidurePin 020: (BMat8) exception first_letter . . . 4263μs FroidurePin 021: (BMat8) exception final_letter . . . 24μs FroidurePin 022: (BMat8) exception current_length . . . 4098μs FroidurePin 023: (BMat8) exception product_by_reduction . . . 4340μs FroidurePin 024: (BMat8) exception fast_product . . . 3714μs FroidurePin 025: (BMat8) exception is_idempotent . . . 39ms FroidurePin 026: (BMat8) copy constructor . . .  -- with fully enumerated 37ms  -- with partially enumerated 28ms  -- with not enumerated 27ms FroidurePin 027: (BMat8) cbegin/end_rules . . . 66μs FroidurePin 031: (integers) . . . 132μs FroidurePin 039: (pairs of integers) non-trivial user type . . . 25μs FroidurePin 055: (tropical max-plus semiring matrices) . . . 262μs FroidurePin 061: projective max plus matrix . . . 1050μs FroidurePin 062: projective max plus matrix . . . 41μs FroidurePin> 009: small example 2 . . . 44μs FroidurePin> 005: small example 1 . . . 134μs FroidurePin> 007: regular bmat monoid 4 . . . 63ms FroidurePin> 011: small example 3 . . . 522μs FroidurePin> 006: small example 1 . . . 169μs FroidurePin> 008: regular bmat monoid 4 . . . 77ms FroidurePin> 010: small example 2 . . . 52μs FroidurePin> 012: small example 3 . . . 584μs FroidurePin 000: small example 1 . . . 176μs FroidurePin 001: default constructed . . . 138μs FroidurePin 002: small example 2 . . . 58μs FroidurePin 004: exception: is_idempotent . . . 382μs FroidurePin> 033: Example 000 . . . 760μs FroidurePin> 035: Example 001 . . . 51μs FroidurePin> 032: Example 000 . . . 612μs FroidurePin> 034: Example 001 . . . 44μs FroidurePin 036: exception: current_position . . . 203μs FroidurePin 037: exception: word_to_element . . . 132μs FroidurePin 038: exception: prefix, suffix, first_letter . . . 54ms FroidurePin> 040: Example 000 . . . 77μs FroidurePin> 041: Example 000 . . . 71μs FroidurePin> 046: Example 005 . . . 163μs FroidurePin> 047: Example 005 . . . 179μs FroidurePin> 048: Example 005 . . . 174μs FroidurePin> 044: Example 004 . . . 35μs FroidurePin> 045: Example 004 . . . 35μs FroidurePin> 049: Example 006 . . . 990μs FroidurePin> 050: Example 006 . . . 1131μs FroidurePin> 051: Example 006 . . . 1156μs FroidurePin> 052: Example 007 . . . 126μs FroidurePin> 053: Example 007 . . . 139μs FroidurePin> 054: Example 007 . . . 140μs FroidurePin 056: example 1 . . . 212μs FroidurePin 057: example 2 . . . 164μs FroidurePin> 058: . . . 604μs FroidurePin> 059: . . . 58μs FroidurePin> 060: exceptions: add_generator(s) . . . 92μs FroidurePin> 065: no exception zero generators given . . . 21μs FroidurePin> 066: exception generators of different [...] . . . 70μs FroidurePin> 067: exception current_position . . . 72μs FroidurePin> 068: exception word_to_element . . . 80μs FroidurePin> 069: exception gens . . . 823μs FroidurePin> 070: exception prefix . . . 67ms FroidurePin> 071: exception suffix . . . 170ms FroidurePin> 072: exception first_letter . . . 99μs FroidurePin> 073: exception final_letter . . . 87μs FroidurePin> 074: exception current_length . . . 86μs FroidurePin> 075: exception product_by_reduction . . . 1085μs FroidurePin> 076: exception fast_product . . . 1080μs FroidurePin> 077: exception current_position . . . 800μs FroidurePin> 078: exception is_idempotent . . . 736μs FroidurePin> 079: exception add_generators . . . 57μs FroidurePin> 080: multithread number_of_idempotents . . . 906μs FroidurePin> 081: small semigroup . . . 33μs FroidurePin> 082: large semigroup . . . 5556μs FroidurePin> 083: at, position, current_* . . . 5542μs FroidurePin> 084: run . . . 5468μs FroidurePin> 085: run [many stops and starts] . . . 5667μs FroidurePin> 086: factorisation, length [1 element] . . . 5193μs FroidurePin> 087: factorisation, products [all elements] . . . 8144μs FroidurePin> 088: first/final letter, prefix, suffi [...] . . . 5401μs FroidurePin> 089: current_position [standard] . . . 30μs FroidurePin> 090: current_position [duplicate gens] . . . 9069μs FroidurePin> 091: current_position [after add_generators] . . . 5644μs FroidurePin> 092: cbegin_idempotents/cend [1 thread] . . . 6257μs FroidurePin> 093: idempotent_cend/cbegin [1 thread] . . . 6284μs FroidurePin> 094: is_idempotent [1 thread] . . . 6386μs FroidurePin> 096: finished, started . . . 5447μs FroidurePin> 097: current_position . . . 1256μs FroidurePin> 098: sorted_position, sorted_at . . . 6906μs FroidurePin> 099: right/left Cayley graph . . . 37ms FroidurePin> 100: iterator . . . 10ms FroidurePin> 101: reverse iterator . . . 10ms FroidurePin> 102: iterator arithmetic . . . 42ms FroidurePin> 103: iterator sorted . . . 38ms FroidurePin> 104: iterator sorted arithmetic . . . 47ms FroidurePin> 105: copy [not enumerated] . . . 5780μs FroidurePin> 106: copy_closure [not enumerated] . . . 36ms FroidurePin> 107: copy_add_generators [not enumerated] . . . 33ms FroidurePin> 108: copy [partly enumerated] . . . 6271μs FroidurePin> 109: copy_closure [partly enumerated] . . . 9240μs FroidurePin> 110: copy_add_generators [partly enumerated] . . . 6148μs FroidurePin> 111: copy [fully enumerated] . . . 9127μs FroidurePin> 112: copy_closure [fully enumerated] . . . 9094μs FroidurePin> 113: copy_add_generators [fully enumerated] . . . 8455μs FroidurePin> 114: relations [duplicate gens] . . . 181μs FroidurePin> 115: relations . . . 9344μs FroidurePin> 116: relations [copy_closure, duplicat [...] . . . 9385μs FroidurePin> 117: relations [copy_add_generators, d [...] . . . 9447μs FroidurePin> 118: relations [from copy, not enumerated] . . . 7451μs FroidurePin> 119: relations [from copy, partly enum [...] . . . 12ms FroidurePin> 120: relations [from copy, fully enumerated] . . . 14ms FroidurePin> 121: relations [from copy_closure, not [...] . . . 12ms FroidurePin> 122: relations [from copy_add_generato [...] . . . 7497μs FroidurePin> 123: relations [from copy_closure, par [...] . . . 10ms FroidurePin> 124: relations [from copy_add_generato [...] . . . 9271μs FroidurePin> 125: relations [from copy_closure, ful [...] . . . 13ms FroidurePin> 126: relations [from copy_add_generato [...] . . . 12ms FroidurePin> 127: add_generators [duplicate generators] . . . 271μs FroidurePin> 128: add_generators [incremental 1] . . . 289μs FroidurePin> 129: add_generators [incremental 2] . . . 364μs FroidurePin> 130: closure [duplicate generators] . . . 199μs FroidurePin> 131: closure . . . 104μs FroidurePin> 132: factorisation . . . 29μs FroidurePin> 134: minimal_factorisation . . . 84μs FroidurePin> 135: batch_size (for an extremely larg [...] . . . 29μs FroidurePin> 137: exception: generators of differen [...] . . . 49μs FroidurePin> 138: exception: current_position . . . 75μs FroidurePin> 139: exception: word_to_element . . . 82μs FroidurePin> 140: exception: gens, current_position . . . 1292μs FroidurePin> 141: exception: add_generators . . . 49μs KBE 000: constructors . . . 54μs KBE 001: test . . . 91μs KBE 002: factorisation . . . 76μs KBE 003: swap . . . 50μs KBE 004: adapters . . . 50μs KBE 005: conversions . . . 50μs Kambites 000: (fpsemi) MT test 4 (std::string) . . . 6548μs Kambites 001: (fpsemi) MT test 4 (MultiStringView) . . . 6263μs Kambites 002: (fpsemi) number_of_pieces (std::string) . . . 128μs Kambites 003: (fpsemi) number_of_pieces (MultiStringView) . . . 116μs Kambites 004: (fpsemi) small_overlap_class (std::string) . . . 3280μs Kambites 005: (fpsemi) small_overlap_class (MultiStringView) . . . 3269μs Kambites 006: (fpsemi) random (std::string) . . . 11ms Kambites 007: (fpsemi) random (MultiStringView) . . . 11ms Kambites 008: (fpsemi) KnuthBendix 055 (std::string) . . . 17ms Kambites 009: (fpsemi) KnuthBendix 055 (MultiStringView) . . . 17ms Kambites 010: (fpsemi) smalloverlap/gap/test.gi:85 (std::string) . . . 109μs Kambites 011: (fpsemi) smalloverlap/gap/test.gi:85 (MultiStr [...] . . . 88μs Kambites 012: (fpsemi) free semigroup . . . 17μs Kambites 013: (fpsemi) smalloverlap/gap/test.gi:49 (std::string) . . . 37ms Kambites 014: (fpsemi) smalloverlap/gap/test.gi:49 (MultiStr [...] . . . 45ms Kambites 015: (fpsemi) smalloverlap/gap/test.gi:63 (std::string) . . . 41ms Kambites 016: (fpsemi) smalloverlap/gap/test.gi:63 (MultiStr [...] . . . 50ms Kambites 017: (fpsemi) smalloverlap/gap/test.gi:70 (std::string) . . . 151ms Kambites 018: (fpsemi) smalloverlap/gap/test.gi:70 (MultiStr [...] . . . 182ms Kambites 021: (fpsemi) code coverage (std::string) . . . 55μs Kambites 022: (fpsemi) code coverage (MultiStringView) . . . 40μs Kambites 023: (fpsemi) prefix (std::string) . . . 83μs Kambites 024: (fpsemi) prefix (MultiStringView) . . . 106μs Kambites 025: (fpsemi) normal_form (Example 3.15) (std::string) . . . 89μs Kambites 026: (fpsemi) normal_form (Example 3.15) (MultiStri [...] . . . 100μs Kambites 027: (fpsemi) normal_form (Example 3.16) (std::string) . . . 64μs Kambites 028: (fpsemi) normal_form (Example 3.16) (MultiStri [...] . . . 77μs Kambites 029: (fpsemi) normal_form (Example 3.16) more exhau [...] . . . 116ms Kambites 030: (fpsemi) normal_form (Example 3.16) more exhau [...] . . . 103ms Kambites 031: (fpsemi) small presentation (std::string) . . . 112μs Kambites 032: (fpsemi) small presentation (MultiStringView) . . . 90μs Kambites 033: (fpsemi) non-smalloverlap (std::string) . . . 95μs Kambites 034: (fpsemi) non-smalloverlap (MultiStringView) . . . 95μs Kambites 035: (fpsemi) MT test 3 (std::string) . . . 64μs Kambites 036: (fpsemi) MT test 3 (MultiStringView) . . . 58μs Kambites 037: (fpsemi) MT test 5 (std::string) . . . 35μs Kambites 038: (fpsemi) MT test 5 (MultiStringView) . . . 34μs Kambites 039: (fpsemi) MT test 6 (std::string) . . . 48μs Kambites 040: (fpsemi) MT test 6 (MultiStringView) . . . 53μs Kambites 041: (fpsemi) MT test 10 (std::string) . . . 45μs Kambites 042: (fpsemi) MT test 10 (MultiStringView) . . . 48μs Kambites 043: (fpsemi) MT test 13 (std::string) . . . 34μs Kambites 044: (fpsemi) MT test 13 (MultiStringView) . . . 34μs Kambites 045: (fpsemi) MT test 14 (std::string) . . . 32μs Kambites 046: (fpsemi) MT test 14 (MultiStringView) . . . 33μs Kambites 047: (fpsemi) MT test 15 (std::string) . . . 45μs Kambites 048: (fpsemi) MT test 15 (MultiStringView) . . . 45μs Kambites 049: (fpsemi) MT test 16 (std::string) . . . 47μs Kambites 050: (fpsemi) MT test 16 (MultiStringView) . . . 48μs Kambites 051: (fpsemi) MT test 17 (std::string) . . . 134μs Kambites 052: (fpsemi) MT test 17 (MultiStringView) . . . 104μs Kambites 053: (fpsemi) weak C(4) not strong x 1 (std::string) . . . 690μs Kambites 054: (fpsemi) weak C(4) not strong x 1 (MultiStringView) . . . 713μs Kambites 055: (fpsemi) weak C(4) not strong x 2 (std::string) . . . 683μs Kambites 056: (fpsemi) weak C(4) not strong x 2 (MultiStringView) . . . 723μs Kambites 057: (fpsemi) weak C(4) not strong x 3 (std::string) . . . 659μs Kambites 058: (fpsemi) weak C(4) not strong x 3 (MultiStringView) . . . 607μs Kambites 059: (fpsemi) weak C(4) not strong x 4 (std::string) . . . 79μs Kambites 060: (fpsemi) weak C(4) not strong x 4 (MultiStringView) . . . 90μs Kambites 061: (fpsemi) weak C(4) not strong x 5 (std::string) . . . 40μs Kambites 062: (fpsemi) weak C(4) not strong x 5 (MultiStringView) . . . 37μs Kambites 063: (fpsemi) weak C(4) not strong x 6 (std::string) . . . 53μs Kambites 064: (fpsemi) weak C(4) not strong x 6 (MultiStringView) . . . 54μs Kambites 065: (fpsemi) Konovalov example (std::string) . . . 39μs Kambites 066: (fpsemi) Konovalov example (MultiStringView) . . . 38μs Kambites 067: (fpsemi) long words (std::string) . . . 1665ms Kambites 068: (fpsemi) long words (MultiStringView) . . . 31ms Kambites 075: (cong) example 1 . . . 58μs Kambites 076: (cong) example 2 . . . 141μs Kambites 077: (cong) code coverage . . . 5715μs Kambites 078: (cong) large number of rules . . . 234ms KnuthBendix 000: (fpsemi) confluent fp semigroup 1 (infinite) . . . 108μs KnuthBendix 001: (fpsemi) confluent fp semigroup 2 (infinite) . . . 123μs KnuthBendix 002: (fpsemi) confluent fp semigroup 3 (infinite) . . . 103μs KnuthBendix 003: (fpsemi) non-confluent fp semigroup from wi [...] . . . 214μs KnuthBendix 004: (fpsemi) Example 5.1 in Sims (infinite) . . . 187μs KnuthBendix 005: (fpsemi) Example 5.1 in Sims (infinite) . . . 184μs KnuthBendix 006: (fpsemi) Example 5.3 in Sims . . . 151μs KnuthBendix 007: (fpsemi) Example 5.4 in Sims . . . 193μs KnuthBendix 008: (fpsemi) Example 6.4 in Sims (size 168) . . . 12ms KnuthBendix 009: (fpsemi) . . . 52ms KnuthBendix 010: (fpsemi) SL(2, 7) from Chapter 3, Propositi [...] . . . 126ms KnuthBendix 011: (fpsemi) F(2, 5) - Chapter 9, Section 1 in [...] . . . 757μs KnuthBendix 012: (fpsemi) Reinis example 1 . . . 230μs KnuthBendix 013: redundant_rule (std::string) . . . 100ms KnuthBendix 014: redundant_rule (word_type) . . . 10ms KnuthBendix 019: (fpsemi) C(4) monoid . . . 40μs KnuthBendix 020: (cong) Chinese monoid . . . 196μs KnuthBendix 021: (from kbmag/standalone/kb_data/f25monoid) . . . 775μs KnuthBendix 022: (from kbmag/standalone/kb_data/degen4a) . . . 73ms KnuthBendix 023: (from kbmag/standalone/kb_data/torus) . . . 3425μs KnuthBendix 024: (from kbmag/standalone/kb_data/3a6) . . . 347ms KnuthBendix 025: (from kbmag/standalone/kb_data/f2) . . . 66μs KnuthBendix 026: (from kbmag/standalone/kb_data/s16) . . . 190ms KnuthBendix 027: (from kbmag/standalone/kb_data/a4monoid) . . . 85μs KnuthBendix 028: (from kbmag/standalone/kb_data/degen3) . . . 28μs KnuthBendix 029: (from kbmag/standalone/kb_data/ab1) . . . 29μs KnuthBendix 030: (from kbmag/standalone/kb_data/degen2) . . . 20μs KnuthBendix 031: (from kbmag/standalone/kb_data/f25) . . . 703μs KnuthBendix 032: (from kbmag/standalone/kb_data/237) . . . 843μs KnuthBendix 033: (from kbmag/standalone/kb_data/c2) . . . 19μs KnuthBendix 034: (from kbmag/standalone/kb_data/cosets) . . . 310μs KnuthBendix 035: Example 5.1 in Sims (KnuthBendix 09 again) . . . 81μs KnuthBendix 036: (from kbmag/standalone/kb_data/nilp2) . . . 40μs KnuthBendix 037: Example 6.4 in Sims . . . 20ms KnuthBendix 038: KnuthBendix 071 again . . . 950μs KnuthBendix 039: Example 5.4 in Sims (KnuthBendix 11 again) [...] . . . 312μs KnuthBendix 040: Example 5.4 in Sims (KnuthBendix 11 again) [...] . . . 245μs KnuthBendix 041: operator<< . . . 78μs KnuthBendix 042: confluence_interval . . . 22μs KnuthBendix 043: max_overlap . . . 22μs KnuthBendix 044: (fpsemi) (from kbmag/standalone/kb_data/d22 [...] . . . 2161μs KnuthBendix 045: (fpsemi) (from kbmag/standalone/kb_data/d22 [...] . . . 3956μs KnuthBendix 046: (fpsemi) small example . . . 1066μs KnuthBendix 047: code coverage . . . 82μs KnuthBendix 048: small overlap 1 . . . 54μs KnuthBendix 049: (from kbmag/standalone/kb_data/s9) . . . 2489μs KnuthBendix 050: (fpsemi) Chapter 11, Lemma 1.8 (q = 6, r = [...] . . . 746μs KnuthBendix 051: (fpsemi) Chapter 11, Section 2 (q = 6, r = [...] . . . 168μs KnuthBendix 052: (fpsemi) Chapter 8, Theorem 4.2 in NR (infinite) . . . 309μs KnuthBendix 053: (fpsemi) equal_to fp semigroup . . . 61μs KnuthBendix 054: (fpsemi) equal_to free semigroup . . . 54μs KnuthBendix 055: (fpsemi) from GAP smalloverlap gap/test.gi [...] . . . 380μs KnuthBendix 056: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 630μs KnuthBendix 057: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 630μs KnuthBendix 058: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 1718μs KnuthBendix 059: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 4039μs KnuthBendix 060: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 37μs KnuthBendix 061: (fpsemi) Von Dyck (2,3,7) group (infinite) . . . 786μs KnuthBendix 062: (fpsemi) Von Dyck (2,3,7) group - different [...] . . . 7350μs KnuthBendix 063: (fpsemi) rewriting system from KnuthBendixC [...] . . . 501μs KnuthBendix 064: (fpsemi) rewriting system from Congruence 20 . . . 34μs KnuthBendix 065: (fpsemi) (from kbmag/standalone/kb_data/ab2) . . . 126μs KnuthBendix 066: (fpsemi) (from kbmag/standalone/kb_data/d22 [...] . . . 2207μs KnuthBendix 067: (fpsemi) (from kbmag/standalone/kb_data/degen1) . . . 91μs KnuthBendix 068: (fpsemi) (from kbmag/standalone/kb_data/s4) . . . 486μs KnuthBendix 069: (fpsemi) fp semigroup (infinite) . . . 67μs KnuthBendix 070: (fpsemi) Chapter 11, Section 1 (q = 4, r = [...] . . . 2611μs KnuthBendix 071: (fpsemi) Chapter 11, Section 1 (q = 8, r = [...] . . . 147ms KnuthBendix 072: (fpsemi) Chapter 7, Theorem 3.9 in NR (size 240) . . . 5033μs KnuthBendix 073: (fpsemi) F(2, 5) - Chapter 9, Section 1 in [...] . . . 743μs KnuthBendix 074: (fpsemi) F(2, 6) - Chapter 9, Section 1 in NR . . . 800μs KnuthBendix 075: (fpsemi) Chapter 10, Section 4 in NR (infinite) . . . 1467μs KnuthBendix 076: (fpsemi) Sym(5) from Chapter 3, Proposition [...] . . . 4435μs KnuthBendix 077: (fpsemi) SL(2, 7) from Chapter 3, Propositi [...] . . . 123ms KnuthBendix 078: (fpsemi) bicyclic monoid (infinite) . . . 58μs KnuthBendix 079: (fpsemi) plactic monoid of degree 2 (infinite) . . . 89μs KnuthBendix 080: (fpsemi) example before Chapter 7, Proposit [...] . . . 54μs KnuthBendix 081: (fpsemi) Chapter 7, Theorem 3.6 in NR (size 243) . . . 1132μs KnuthBendix 082: (fpsemi) finite semigroup (size 99) . . . 357μs KnuthBendix 096: Sorouhesh . . . 494μs KnuthBendix 097: (fpsemi) transformation semigroup (size 4) . . . 75μs KnuthBendix 098: (fpsemi) transformation semigroup (size 9) . . . 66μs KnuthBendix 099: (fpsemi) transformation semigroup (size 88) . . . 916μs KnuthBendix 100: internal_string_to_word . . . 48μs KnuthBendix 101: (fpsemi) construct from shared_ptr . . . 1006μs KnuthBendix 102: internal_string_to_word . . . 1353μs KnuthBendix 103: (cong) free semigroup congruence (5 classes) . . . 99μs KnuthBendix 104: free semigroup congruence (6 classes) . . . 513μs KnuthBendix 105: (cong) free semigroup congruence (16 classes) . . . 629μs KnuthBendix 106: (cong) free semigroup congruence (6 classes) . . . 1025μs KnuthBendix 107: (cong) free semigroup congruence (240 classes) . . . 5510μs KnuthBendix 108: (cong) free semigroup congruence (240 classes) . . . 4983μs KnuthBendix 109: (cong) less . . . 6440μs KnuthBendix 110: (cong) less . . . 270ms KnuthBendix 111: (cong) constructors . . . 427ms KnuthBendix 112: (cong) const_contains/contains . . . 289μs KnuthBendix 113: (cong) is_quotient_obviously_finite . . . 28μs KnuthBendix 114: (cong) class_index_to_word . . . 309μs KnuthBendix 115: (cong) quotient_froidure_pin . . . 218μs KnuthBendix 116: (cong) set_number_of_generators . . . 37μs KnuthBendix 117: (cong) number of classes when obv-inf . . . 61μs KnuthBendixCongruenceByPairs 016: non-trivial congruence on [...] . . . 266μs KnuthBendixCongruenceByPairs 017: non-trivial congruence on [...] . . . 341μs KnuthBendixCongruenceByPairs 018: non-trivial congruence on [...] . . . 710μs KnuthBendixCongruenceByPairs 019: non-trivial congruence on [...] . . . 720μs KnuthBendixCongruenceByPairs 020: trivial congruence on a fi [...] . . . 300μs KnuthBendixCongruenceByPairs 021: universal congruence on a [...] . . . 808μs KnuthBendixCongruenceByPairs 022: left congruence on a finit [...] . . . 410μs KnuthBendixCongruenceByPairs 023: finite group, Chapter 11, [...] . . . 7336μs KnuthBendixCongruenceByPairs 024: right congruence on infini [...] . . . 546μs KnuthBendixCongruenceByPairs 025: finite fp semigroup, dihed [...] . . . 629μs KnuthBendixCongruenceByPairs 026: finite fp semigroup, size 16 . . . 648μs KnuthBendixCongruenceByPairs 027: finite fp semigroup, size 16 . . . 1658μs KnuthBendixCongruenceByPairs 028: infinite fp semigroup with [...] . . . 89μs Konieczny 000: test000> . . . 1089μs Konieczny 001: test000> . . . 866μs Konieczny 002: test001> . . . 11ms Konieczny 003: test001> . . . 10ms Konieczny 006: exceptions . . . 61μs Konieczny 007: code coverage . . . 15ms Konieczny 008: code coverage . . . 12ms Konieczny 009: regular elements and idempotents . . . 195ms Konieczny 010: regular D-class 01 . . . 1028μs Konieczny 011: regular D-class 02 . . . 9384μs Konieczny 012: regular D-class 04: contains . . . 27ms Konieczny 013: non-regular D-classes 01 . . . 1086μs Konieczny 014: RegularDClass . . . 652μs Konieczny 015: full bmat monoid 4 . . . 50ms Konieczny 017: regular generated bmat monoid 4 idempotents . . . 82ms Konieczny 019: my favourite example . . . 76ms Konieczny 020: another large example . . . 15ms Konieczny 021: my favourite example transposed . . . 64ms Konieczny 024: exceptions . . . 1216μs Konieczny 025: 0-parameter constructor . . . 17ms Konieczny 026: non-regular D-classes 02 . . . 10ms Konieczny 028: partial perm . . . 177ms Konieczny 029: symmetric inverse monoid n = 8 . . . 30ms Konieczny 030: exceptions . . . 220ms Konieczny 031: transformations . . . 1064μs Konieczny 032: transformations - JDM favourite example . . . 122ms Konieczny 033: transformations - large example . . . 291ms Konieczny 034: transformations - large example with stop . . . 282ms Konieczny 035: transformations - large example with run_until . . . 281ms Konieczny 036: transformations - large example with stop in Action . . . 281ms Konieczny 037: exceptions . . . 77μs Konieczny 038: transformations: contains . . . 807μs Konieczny 040: transformations - destructor coverage . . . 240ms Konieczny 041: current_number_D_classes . . . 248ms Konieczny 042: add_generator . . . 44μs Konieczny 043: add_generator . . . 31μs Matrix 000: BMat<2> . . . 92μs Matrix 001: BMat<> . . . 97μs Matrix 002: BMat<3> + BMat<> . . . 14μs Matrix 003: BMat<2> + BMat<> . . . 13μs Matrix 004: BMat<3> . . . 14μs Matrix 005: BMat<> . . . 15μs Matrix 006: BMat<3> row_basis . . . 44μs Matrix 007: BMat<> row_basis . . . 52μs Matrix 008: IntMat<3> . . . 17μs Matrix 009: IntMat<> . . . 21μs Matrix 010: IntMat code cov . . . 12μs Matrix 011: MaxPlusMat<3> . . . 15μs Matrix 012: MaxPlusMat<> . . . 16μs Matrix 013: MaxPlusMat code cov . . . 10μs Matrix 014: MinPlusMat<3> . . . 19μs Matrix 015: MinPlusMat<> . . . 21μs Matrix 016: MinPlusMat code cov . . . 10μs Matrix 017: MaxPlusTruncMat<5, 2> . . . 18μs Matrix 018: MaxPlusTruncMat<5> . . . 20μs Matrix 019: MaxPlusTruncMat<> . . . 37μs Matrix 020: MaxPlusTruncMat<5, 4> . . . 19μs Matrix 021: MaxPlusTruncMat<5> . . . 21μs Matrix 022: MaxPlusTruncMat<> . . . 21μs Matrix 023: MaxPlusTruncMat<33, 3> . . . 40μs Matrix 024: MaxPlusTruncMat<33> . . . 43μs Matrix 025: MaxPlusTruncMat<> . . . 42μs Matrix 026: MaxPlusMat code cov . . . 11μs Matrix 027: MinPlusTruncMat<33, 3> . . . 43μs Matrix 028: MinPlusTruncMat<33> . . . 55μs Matrix 029: MinPlusTruncMat<> . . . 60μs Matrix 030: NTPMat<0, 3, 3, 3> . . . 17μs Matrix 031: NTPMat<0, 3> . . . 18μs Matrix 032: NTPMat<> . . . 52μs Matrix 033: NTPMat<0, 10, 4, 4> . . . 28μs Matrix 034: NTPMat<0, 10> . . . 23μs Matrix 035: NTPMat<> . . . 23μs Matrix 036: NTPMat<0, 10, 4, 4> . . . 21μs Matrix 037: NTPMat<0, 10> . . . 20μs Matrix 038: NTPMat<> . . . 21μs Matrix 039: NTPMat<33, 2, 3, 3> . . . 18μs Matrix 040: NTPMat<33, 2> . . . 17μs Matrix 041: NTPMat<> . . . 16μs Matrix 042: ProjMaxPlusMat<3> . . . 120μs Matrix 043: ProjMaxPlusMat<> . . . 84μs Matrix 044: exceptions . . . 71μs Matrix 045: code coverage . . . 67μs MultiStringView 000: catch all . . . 38μs MultiStringView 001: is_prefix . . . 15μs MultiStringView 002: erase . . . 17μs MultiStringView 003: iterators . . . 13μs MultiStringView 004: constructors (long) . . . 21μs MultiStringView 005: constructors (short) . . . 16μs MultiStringView 006: copy assignment (short assigned to long) . . . 15μs MultiStringView 007: copy assignment (short assigned to short) . . . 13μs MultiStringView 008: move assignment (short assigned to long) . . . 14μs MultiStringView 009: move assignment (short assigned to short) . . . 13μs MultiStringView 010: code coverage . . . 23μs MultiStringView 011: pop_front . . . 44μs MultiStringView 012: append . . . 16μs MultiStringView 013: operators . . . 18μs MultiStringView 014: maximum_common_suffix . . . 14μs MultiStringView 015: deep tests . . . 11μs ObviouslyInfinite 011: Multiple rule additions . . . 41μs ObviouslyInfinite 012: A power of the generator 'b' does not [...] . . . 13μs ObviouslyInfinite 013: Preserves the number of occurrences o [...] . . . 13μs ObviouslyInfinite 014: Less relations than generators . . . 13μs ObviouslyInfinite 015: Relations preserve length . . . 14μs ObviouslyInfinite 016: Matrix has non empty kernel . . . 14μs ObviouslyInfinite 017: Free product of trivial semigroups . . . 13μs ObviouslyInfinite 018: Another free product . . . 15μs ObviouslyInfinite 019: Infinite but not obviously so . . . 14μs ObviouslyInfinite 020: Finite semigroup . . . 17μs PBR 001: universal product with convenience constructor . . . 50μs PBR 002: universal product . . . 20μs PBR 003: product [bigger than previous] . . . 26μs PBR 004: hash . . . 12μs PBR 005: delete/copy . . . 21μs PBR 006: exceptions . . . 266μs PBR 007: operators . . . 67μs PBR 008: to_string . . . 29μs PBR 009: identity . . . 45μs PBR 010: adapters . . . 10μs Pool 000: initial . . . 37μs Pool 001: bmat . . . 35μs Pool 002: PoolGuard . . . 32μs Pool 003: transformation products . . . 15μs Presentation 000: vectors of ints . . . 121μs Presentation 001: strings . . . 127μs Presentation 002: constructors (word_type) . . . 24μs Presentation 003: constructors (StaticVector1) . . . 24μs Presentation 004: constructors (std::string) . . . 23μs Presentation 005: alphabet + letters (word_type) . . . 209μs Presentation 006: alphabet + letters (std::string) . . . 64μs Presentation 007: contains_empty_word . . . 13μs Presentation 008: validate_rules throws . . . 82μs Presentation 009: helpers add_rule(s) . . . 167μs Presentation 010: helpers add_rule(s) (std::string) . . . 61μs Presentation 011: helpers add_identity_rules (std::vector/St [...] . . . 67μs Presentation 012: helpers add_identity_rules (std::string) . . . 37μs Presentation 013: helpers add_inverse_rules (all) . . . 349μs Presentation 014: helpers add_inverse_rules (std::string) . . . 20μs Presentation 015: helpers remove_duplicate_rules . . . 107μs Presentation 016: helpers reduce_complements . . . 193μs Presentation 017: helpers sort_each_rule . . . 106μs Presentation 018: helpers sort_rules . . . 106μs Presentation 019: helpers longest_common_subword/replace_subword . . . 205μs Presentation 020: helpers redundant_rule . . . 20ms Presentation 021: helpers shortlex_compare_concat . . . 12μs Presentation 022: helpers remove_trivial_rules . . . 106μs Presentation 023: helpers replace_subword (existing, replacement) . . . 57μs Presentation 024: helpers longest_rule . . . 217μs Presentation 025: helpers longest_rule_length . . . 202μs Presentation 026: helpers remove_redundant_generators . . . 159μs Presentation 027: helpers reverse . . . 23μs Presentation 028: in_alphabet . . . 26μs Presentation 029: replace_subword with empty word . . . 32μs Presentation 030: helpers replace_word . . . 46μs Presentation 031: clear . . . 13μs Race 001: run_for . . . 10ms Race 002: run_until . . . 10ms Race 003: exceptions . . . 10ms Race 004: iterators . . . 15μs Race 005: find_runner . . . 16μs Race 006: run_func . . . 26ms Race 007: run_func . . . 10ms Race 008: run_func . . . 10ms Runner 000: run_for . . . 10ms Runner 001: run_for . . . 1018μs Runner 002: run_for . . . 191ms Runner 003: run_for . . . 25ms Runner 004: started . . . 1026μs Runner 005: run_until . . . 110ms Runner 006: kill . . . 14μ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) . . . 13μs SchreierSims 003: trivial perm. group (degree 500) . . . 68μs SchreierSims 004: symmetric perm. group (degree 5) . . . 22μs SchreierSims 005: symmetric perm. group (degree 8) . . . 40μs SchreierSims 006: symmetric perm. group (degree 9) . . . 60μs SchreierSims 007: alternating perm. group (degree 12) . . . 101μs SchreierSims 008: symmetric perm. group (degree 16) . . . 867μs SchreierSims 009: alternating perm. group (degree 15) . . . 445μs SchreierSims 010: alternating perm. group (degree 16) . . . 929μs SchreierSims 011: dihedral perm. group (order 10) . . . 15μs SchreierSims 012: dihedral perm. group (order 200) . . . 524μs SchreierSims 013: perm. group T (order 12) . . . 16μs SchreierSims 014: quaternion perm. group (order 8) . . . 18μs SchreierSims 015: perm. group (order 84129611558952960) . . . 204ms SchreierSims 016: perm. group SL(3, 5) (order 372000) . . . 872μs SchreierSims 017: perm. group PSL(4, 8) (order 34558531338240) . . . 82ms SchreierSims 018: perm. Mathieu group M11 (order 7920) . . . 85μs SchreierSims 019: perm. Mathieu group M24 (order 244823040) . . . 198μs SchreierSims 020: perm. Janko Group J1 (order 175560) . . . 1654μs SchreierSims 021: perm. Hall-Janko group (order 604800) . . . 263μs SchreierSims 022: perm. Hall-Janko group (alt.) (order 604800) . . . 18ms SchreierSims 023: perm. Conway group Co3 (order 495766656000) . . . 5828μs SchreierSims 024: perm. Conway group Co3 (alt.) (order 49576 [...] . . . 11ms SchreierSims 025: perm. Suzuki group (order 448345497600) . . . 61ms SchreierSims 027: perm. Held group (order 4030387200) . . . 116ms SchreierSims 028: perm. group C2 x C2 x C2 (order 8) . . . 28μs SchreierSims 029: perm. group C2 x C2 x C2 x C2 (order 16) . . . 37μs SchreierSims 030: perm. group (S5 x S5) : C2 (order 28800) . . . 64μs SchreierSims 031: perm. group C3 x D8 x A5 (order 1440) . . . 68μs SchreierSims 032: perm. group GL(4, 3) (order 24261120) . . . 590μs SchreierSims 033: perm. group PSL(3, 7) (order 1876896) . . . 637μs SchreierSims 037: symmetric perm. group (degree 5) . . . 30μs SchreierSims 038: alternating perm. group (degree 17) . . . 5033μs SchreierSims 039: exceptions . . . 161μs SchreierSims 040: exceptions . . . 79μs SchreierSims 041: trivial group . . . 56μs SchreierSims 042: A17 bug . . . 4553μs SchreierSims 043: orbits_lookup test . . . 557μs SchreierSims 044: transversal_element and inversal_element test . . . 2941μs SchreierSimsHelper 001: trivial perm. group intersection (de [...] . . . 16μs SchreierSimsHelper 002: trivial perm. group intersection (de [...] . . . 19μs SchreierSimsHelper 003: cyclic group intersection (degree 13) . . . 33μs SchreierSimsHelper 004: D10 and Z5 intersection . . . 32μs SchreierSimsHelper 005: D8 and Q8 intersection . . . 30μs SchreierSimsHelper 006: primitive on 8 points intersection . . . 99μs SchreierSimsHelper 007: primitive on 8 points intersection ( [...] . . . 91μs SchreierSimsHelper 008: A13 and PGL(2, 11) intersection . . . 831μs SchreierSimsHelper 009: A13 and PGL(2, 11) intersection (swa [...] . . . 847μs SchreierSimsHelper 012: 3^3:13 and 3^3.2.A(4) intersection . . . 149μs SchreierSimsHelper 015: 3^3(S(4) x 2) and ASL(3, 3) intersection . . . 308μs SchreierSimsHelper 016: 7^2:3 x Q(8) and 7^2:D(2*6) intersection . . . 351μs SchreierSimsHelper 018: D(2*53) and 53:13 intersection . . . 196μs SchreierSimsHelper 019: 2^6:(7 x D_14) and PSL(2, 6)^2.4 int [...] . . . 1299μs SchreierSimsHelper 020: 2^6:(S_3 x GL(3, 2)) and 2.6:Alt(7) [...] . . . 3986μs SchreierSimsHelper 022: PSL(2, 127) and AGL(1, 2^7) intersection . . . 8652μs SchreierSimsHelper 023: PSL(3, 4).2 and PSL(3, 4).2 (nontriv [...] . . . 1455μs SchreierSimsHelper 024: PSL(3, 4).Sym(3) and PSL(3, 4).2 int [...] . . . 1796μs SchreierSimsHelper 025: 3^4:5:4 and D_16:4 intersection . . . 984μs Sims1 000: fp example 1 . . . 1688μs Sims1 001: fp example 2 . . . 2344μs Sims1 002: ToddCoxeter failing example . . . 23ms Sims1 003: ToddCoxeter failing example . . . 956μs Sims1 004: partition_monoid(2) right . . . 7749μs Sims1 006: full_transformation_monoid(3) right . . . 8954μs Sims1 007: full_transformation_monoid(3) left . . . 5106μs Sims1 009: rook_monoid(2, 1) . . . 119μs Sims1 010: symmetric_inverse_monoid(2) from FroidurePin . . . 118μs Sims1 011: symmetric_inverse_monoid(3) . . . 9302μs Sims1 014: temperley_lieb_monoid(3) from presentation . . . 89μs Sims1 015: temperley_lieb_monoid(4) from presentation . . . 1034μs Sims1 016: fp semigroup containing given pairs #1 . . . 397μs Sims1 017: fp semigroup containing given pairs #2 . . . 404μs Sims1 018: fp semigroup containing given pairs #3 . . . 704μs Sims1 019: ToddCoxeter failing example . . . 1173μs Sims1 020: fp example 2 . . . 2862μs Sims1 021: exceptions . . . 409μs Sims1 027: from https://mathoverflow.net/questions/423541/ . . . 38ms Sims1 028: from https://mathoverflow.net/questions/423541/ . . . 29ms Sims1 030: presentation with one free generator . . . 298μs Sims1 031: presentation with non-zero index generators . . . 71μs Sims1 032: presentation with empty word . . . 13ms Sims1 033: constructors . . . 1772μs Sims1 034: split_at . . . 331μs Sims1 035: stats . . . 103μs Sims1 036: check iterator requirements . . . 172μs Sims1 040: TransitiveGroup(10, 32) - minimal rep . . . 3852μs Sims1 043: rectangular_band(2, 2) - with and without identity . . . 246μs Sims1 044: trivial group - minimal o.r.c. rep . . . 112μs Sims1 045: right zero semigroup - minimal o.r.c. rep . . . 2502μs Sims1 046: semigroup with faithful non-strictly cyclic actio [...] . . . 773μs Sims1 068: RepOrc . . . 21ms Sims1 069: fp example 1 . . . 752μ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 4659μs (850ns 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 . . . 4725μs Sims1 072: symmetric_group(n) for n = 4 . . . 1821μs Sims1 073: corner case no generators + no relations . . . 164μs SmallestInteger 001: . . . 12μs StaticTriVector2 045: all . . . 19μs StaticVector2 043: all . . . 19μs Stephen 000: basic test 1 . . . 248μs Stephen 001: basic test 2 . . . 166μs Stephen 002: full transf monoid . . . 13ms Stephen 003: from step_hen 002 . . . 87μs Stephen 004: from step_hen 003 . . . 224μs Stephen 005: from step_hen 004 . . . 45μs Stephen 006: from step_hen 005 . . . 144μs Stephen 008: C(4) monoid normal form (test_case_knuth_bendix_055) . . . 200μs Stephen 009: C(4) monoid normal form (test_case_gap_smallove [...] . . . 141μs #0: Stephen: ------------------------------------------------------------ #0: Stephen: nodes | defined | killed | diff | #0: Stephen: ------------------------------------------------------------ #0: Stephen: 13 | +25 | -12 | +13 | (0s) Stephen 010: code coverage . . . 241μs Stephen 011: C(4) monoid normal form (test_case_gap_smallove [...] . . . 464μs Stephen 012: C(4) monoid normal form (test_case_gap_smallove [...] . . . 316μs Stephen 013: C(4) monoid equal to (test_case_gap_smalloverlap_70) . . . 136μs Stephen 014: C(4) monoid normal form (test_case_ex_3_13_14) . . . 664μs Stephen 015: C(4) monoid normal form (test_case_ex_3_15) . . . 874μs Stephen 016: C(4) monoid normal form (test_case_ex_3_16) . . . 536μs Stephen 017: C(4) monoid normal form (test_case_mt_3) . . . 256μs Stephen 018: C(4) monoid normal form (test_case_mt_5) . . . 178μs Stephen 019: C(4) monoid normal form (test_case_mt_6) . . . 482μs Stephen 020: C(4) monoid normal form (test_case_mt_10) . . . 169μs Stephen 021: C(4) monoid normal form (test_case_mt_13) . . . 162μs Stephen 022: C(4) monoid normal form (test_case_mt_14) . . . 160μs Stephen 023: C(4) monoid normal form (test_case_mt_15) . . . 166μs Stephen 024: C(4) monoid normal form (test_case_mt_16) . . . 168μs Stephen 025: C(4) monoid normal form (test_case_mt_17) . . . 460μs Stephen 026: C(4) monoid normal form (test_case_weak_1) . . . 652μs Stephen 027: C(4) monoid normal form (test_case_weak_2) . . . 316μs Stephen 028: C(4) monoid normal form (test_case_weak_3) . . . 335μs Stephen 029: C(4) monoid normal form (test_case_weak_4) . . . 328μs Stephen 030: C(4) monoid normal form (test_case_weak_5) . . . 178μs Stephen 031: Test behaviour when uninitialised . . . 513μs Suf 005: unite . . . 25μs Suf 007: compress . . . 15μs Suf 011: big chain . . . 21ms Suf 013: empty table . . . 11μs Suf 015: join . . . 14μs Suf 017: contains . . . 32μs Suf 019: swap . . . 36μs SuffixTree 000: basic tests . . . 96ms SuffixTree 001: maximal_piece_prefix 1 . . . 39μs SuffixTree 002: maximal_piece_prefix 2 . . . 32μs SuffixTree 003: maximal_piece_prefix 3 . . . 322μs SuffixTree 004: number_of_pieces . . . 45μs SuffixTree 005: traverse . . . 22μs SuffixTree 006: tikz . . . 751μs SuffixTree 007: strings . . . 195μs SuffixTree 008: dot . . . 77μs SuffixTree 009: dfs #01 . . . 38μs SuffixTree 010: dfs #02 . . . 38μs SuffixTree 011: dfs #03 . . . 36μs SuffixTree 012: dfs #04 . . . 77μs SuffixTree 013: dfs #05 . . . 60μs SuffixTree 014: dfs #06 . . . 55μs SuffixTree 015: dfs #07 . . . 109μs SuffixTree 016: dfs #08 . . . 76μs SuffixTree 017: dfs #09 . . . 94μs SuffixTree 018: dfs #10 . . . 34μs Timer 001: string method (1 argument) . . . 44μs Timer 002: string method (0 arguments) . . . 10ms Timer 003: reset/elapsed method . . . 20ms Timer 004: operator<< . . . 24μs ToddCoxeter 000: small 2-sided congruence . . .  -- with HLT + no standardise + full lookahead + no save 2513μs  -- with HLT + standardise + full lookahead + no save 2426μs  -- with HLT + no standardise + partial lookahead + no save 2394μs  -- with HLT + standardise + partial lookahead + no save 2420μs  -- with HLT + no standardise + full lookahead + save 2427μs  -- with HLT + standardise + full lookahead + save 2373μs  -- with HLT + no standardise + partial lookahead + save 2363μs  -- with HLT + standardise + partial lookahead + save 2367μs  -- with Felsch + no standardisation 2360μs  -- with Felsch + standardisation 1997μs  -- with random strategy 1590μs  -- with Rc style + full lookahead 1599μs  -- with Rc style + partial lookahead 1633μs  -- with R/C style 1620μs  -- with CR style 1594μs  -- with Cr style 1596μs ToddCoxeter 001: small 2-sided congruence . . .  -- with HLT + no standardise + full lookahead + no save 6163μs  -- with HLT + standardise + full lookahead + no save 5827μs  -- with HLT + no standardise + partial lookahead + no save 5475μs  -- with HLT + standardise + partial lookahead + no save 5493μs  -- with HLT + no standardise + full lookahead + save 5456μs  -- with HLT + standardise + full lookahead + save 5474μs  -- with HLT + no standardise + partial lookahead + save 5463μs  -- with HLT + standardise + partial lookahead + save 5459μs  -- with Felsch + no standardisation 5465μs  -- with Felsch + standardisation 5448μs  -- with random strategy 5471μs  -- with Rc style + full lookahead 5462μs  -- with Rc style + partial lookahead 5466μs  -- with R/C style 5450μs  -- with CR style 5470μs  -- with Cr style 5446μs ToddCoxeter 003: constructed from FroidurePin . . .  -- with Felsch + no standardisation 226ms  -- with Felsch + standardisation 227ms  -- with HLT + no standardise + full lookahead + no save 69ms  -- with HLT + standardise + full lookahead + no save 69ms  -- with HLT + no standardise + partial lookahead + no save 69ms  -- with HLT + standardise + partial lookahead + no save 69ms  -- with HLT + no standardise + full lookahead + save 236ms  -- with HLT + standardise + full lookahead + save 235ms  -- with HLT + no standardise + partial lookahead + save 235ms  -- with HLT + standardise + partial lookahead + save 235ms  -- with random strategy 234ms  -- with Rc style + full lookahead 231ms  -- with Rc style + partial lookahead 231ms  -- with R/C style 75ms  -- with CR style 240ms  -- with Cr style 232ms ToddCoxeter 004: 2-sided congruence from FroidurePin . . .  -- with HLT + no standardise + full lookahead + no save 337μs  -- with HLT + standardise + full lookahead + no save 256μs  -- with HLT + no standardise + partial lookahead + no save 248μs  -- with HLT + standardise + partial lookahead + no save 248μs  -- with HLT + save (throws) 286μs  -- with Felsch (throws) 268μs  -- with random strategy 280μs ToddCoxeter 005: non-trivial two-sided from relations . . .  -- with HLT + no standardise + full lookahead + no save 145μs  -- with HLT + standardise + full lookahead + no save 114μs  -- with HLT + no standardise + partial lookahead + no save 83μs  -- with HLT + standardise + partial lookahead + no save 79μs  -- with HLT + no standardise + full lookahead + save 96μs  -- with HLT + standardise + full lookahead + save 92μs  -- with HLT + no standardise + partial lookahead + save 90μs  -- with HLT + standardise + partial lookahead + save 90μs  -- with Felsch + no standardisation 82μs  -- with Felsch + standardisation 80μs  -- with random strategy 92μs  -- with Rc style + full lookahead 85μs  -- with Rc style + partial lookahead 84μs  -- with R/C style 85μs  -- with CR style 85μs  -- with Cr style 87μs ToddCoxeter 006: small right cong. on free semigroup . . .  -- with HLT + no standardise + full lookahead + no save 66μs  -- with HLT + standardise + full lookahead + no save 59μs  -- with HLT + no standardise + partial lookahead + no save 57μs  -- with HLT + standardise + partial lookahead + no save 57μs  -- with HLT + no standardise + full lookahead + save 63μs  -- with HLT + standardise + full lookahead + save 62μs  -- with HLT + no standardise + partial lookahead + save 61μs  -- with HLT + standardise + partial lookahead + save 61μs  -- with Felsch + no standardisation 60μs  -- with Felsch + standardisation 62μs  -- with random strategy 71μs  -- with Rc style + full lookahead 62μs  -- with Rc style + partial lookahead 62μs  -- with R/C style 66μs  -- with CR style 64μs  -- with Cr style 64μs ToddCoxeter 007: left cong. on free semigroup . . .  -- with HLT + no standardise + full lookahead + no save 74μs  -- with HLT + standardise + full lookahead + no save 67μs  -- with HLT + no standardise + partial lookahead + no save 67μs  -- with HLT + standardise + partial lookahead + no save 64μs  -- with HLT + no standardise + full lookahead + save 69μs  -- with HLT + standardise + full lookahead + save 70μs  -- with HLT + no standardise + partial lookahead + save 69μs  -- with HLT + standardise + partial lookahead + save 69μs  -- with Felsch + no standardisation 68μs  -- with Felsch + standardisation 70μs  -- with random strategy 81μs  -- with Rc style + full lookahead 73μs  -- with Rc style + partial lookahead 73μs  -- with R/C style 76μs  -- with CR style 75μs  -- with Cr style 75μs ToddCoxeter 008: for small fp semigroup . . .  -- with HLT + no standardise + full lookahead + no save 64μs  -- with HLT + standardise + full lookahead + no save 58μs  -- with HLT + no standardise + partial lookahead + no save 57μs  -- with HLT + standardise + partial lookahead + no save 58μs  -- with HLT + no standardise + full lookahead + save 62μs  -- with HLT + standardise + full lookahead + save 63μs  -- with HLT + no standardise + partial lookahead + save 62μs  -- with HLT + standardise + partial lookahead + save 61μs  -- with Felsch + no standardisation 61μs  -- with Felsch + standardisation 61μs  -- with random strategy 73μs  -- with Rc style + full lookahead 64μs  -- with Rc style + partial lookahead 64μs  -- with R/C style 69μs  -- with CR style 67μs  -- with Cr style 68μs ToddCoxeter 009: 2-sided cong. trans. semigroup . . .  -- with HLT + no standardise + full lookahead + no save 319μs  -- with HLT + standardise + full lookahead + no save 300μs  -- with HLT + no standardise + partial lookahead + no save 292μs  -- with HLT + standardise + partial lookahead + no save 293μs  -- with HLT + no standardise + full lookahead + save 707μs  -- with HLT + standardise + full lookahead + save 683μs  -- with HLT + no standardise + partial lookahead + save 689μs  -- with HLT + standardise + partial lookahead + save 677μs  -- with Felsch + no standardisation 663μs  -- with Felsch + standardisation 651μs  -- with random strategy 332μs  -- with Rc style + full lookahead 316μs  -- with Rc style + partial lookahead 313μs  -- with R/C style 334μs  -- with CR style 675μs  -- with Cr style 667μs ToddCoxeter 010: left congruence on transformation semigroup . . .  -- with HLT + no standardise + full lookahead + no save 345μs  -- with HLT + standardise + full lookahead + no save 345μs  -- with HLT + no standardise + partial lookahead + no save 334μs  -- with HLT + standardise + partial lookahead + no save 343μs  -- with HLT + no standardise + full lookahead + save 780μs  -- with HLT + standardise + full lookahead + save 780μs  -- with HLT + no standardise + partial lookahead + save 761μs  -- with HLT + standardise + partial lookahead + save 772μs  -- with Felsch + no standardisation 711μs  -- with Felsch + standardisation 671μs  -- with random strategy 898μs  -- with Rc style + full lookahead 411μs  -- with Rc style + partial lookahead 407μs  -- with R/C style 471μs  -- with CR style 759μs  -- with Cr style 751μs ToddCoxeter 011: right cong. trans. semigroup . . .  -- with HLT + no standardise + full lookahead + no save 355μs  -- with HLT + standardise + full lookahead + no save 358μs  -- with HLT + no standardise + partial lookahead + no save 344μs  -- with HLT + standardise + partial lookahead + no save 354μs  -- with HLT + no standardise + full lookahead + save 763μs  -- with HLT + standardise + full lookahead + save 763μs  -- with HLT + no standardise + partial lookahead + save 744μs  -- with HLT + standardise + partial lookahead + save 756μs  -- with Felsch + no standardisation 617μs  -- with Felsch + standardisation 629μs  -- with random strategy 468μs  -- with Rc style + full lookahead 417μs  -- with Rc style + partial lookahead 415μs  -- with R/C style 482μs  -- with CR style 668μs  -- with Cr style 662μs ToddCoxeter 012: trans. semigroup (size 88) . . .  -- with HLT + no standardise + full lookahead + no save 201μs  -- with HLT + standardise + full lookahead + no save 195μs  -- with HLT + no standardise + partial lookahead + no save 193μs  -- with HLT + standardise + partial lookahead + no save 193μs  -- with HLT + save (throws) 223μs  -- with Felsch (throws) 213μs  -- with random strategy 244μs ToddCoxeter 013: left cong. on trans. semigroup (size 88) . . .  -- with HLT + no standardise + full lookahead + no save 292μs  -- with HLT + standardise + full lookahead + no save 296μs  -- with HLT + no standardise + partial lookahead + no save 284μs  -- with HLT + standardise + partial lookahead + no save 293μs  -- with HLT + no standardise + full lookahead + save 730μs  -- with HLT + standardise + full lookahead + save 728μs  -- with HLT + no standardise + partial lookahead + save 711μs  -- with HLT + standardise + partial lookahead + save 718μs  -- with Felsch + no standardisation 651μs  -- with Felsch + standardisation 617μs  -- with random strategy 406μs  -- with Rc style + full lookahead 356μs  -- with Rc style + partial lookahead 353μs  -- with R/C style 418μs  -- with CR style 700μs  -- with Cr style 693μs ToddCoxeter 014: right cong. on trans. semigroup (size 88) . . .  -- with HLT + no standardise + full lookahead + no save 296μs  -- with HLT + standardise + full lookahead + no save 299μs  -- with HLT + no standardise + partial lookahead + no save 286μs  -- with HLT + standardise + partial lookahead + no save 298μs  -- with HLT + no standardise + full lookahead + save 706μs  -- with HLT + standardise + full lookahead + save 703μs  -- with HLT + no standardise + partial lookahead + save 690μs  -- with HLT + standardise + partial lookahead + save 695μs  -- with Felsch + no standardisation 550μs  -- with Felsch + standardisation 570μs  -- with random strategy 414μs  -- with Rc style + full lookahead 362μs  -- with Rc style + partial lookahead 396μs  -- with R/C style 432μs  -- with CR style 613μs  -- with Cr style 607μs ToddCoxeter 015: finite fp-semigroup, dihedral group of order 6 . . .  -- with HLT + no standardise + full lookahead + no save 132μs  -- with HLT + standardise + full lookahead + no save 124μs  -- with HLT + no standardise + partial lookahead + no save 115μs  -- with HLT + standardise + partial lookahead + no save 121μs  -- with HLT + no standardise + full lookahead + save 138μs  -- with HLT + standardise + full lookahead + save 135μs  -- with HLT + no standardise + partial lookahead + save 133μs  -- with HLT + standardise + partial lookahead + save 133μs  -- with Felsch + no standardisation 121μs  -- with Felsch + standardisation 121μs  -- with random strategy 136μs  -- with Rc style + full lookahead 123μs  -- with Rc style + partial lookahead 120μs  -- with R/C style 126μs  -- with CR style 125μs  -- with Cr style 125μs ToddCoxeter 016: finite fp-semigroup, size 16 . . .  -- with HLT + no standardise + full lookahead + no save 138μs  -- with HLT + standardise + full lookahead + no save 132μs  -- with HLT + no standardise + partial lookahead + no save 127μs  -- with HLT + standardise + partial lookahead + no save 132μs  -- with HLT + no standardise + full lookahead + save 235μs  -- with HLT + standardise + full lookahead + save 232μs  -- with HLT + no standardise + partial lookahead + save 226μs  -- with HLT + standardise + partial lookahead + save 230μs  -- with Felsch + no standardisation 209μs  -- with Felsch + standardisation 205μs  -- with random strategy 238μs  -- with Rc style + full lookahead 143μs  -- with Rc style + partial lookahead 142μs  -- with R/C style 156μs  -- with CR style 216μs  -- with Cr style 218μs ToddCoxeter 017: finite fp-semigroup, size 16 . . .  -- with HLT + no standardise + full lookahead + no save 182μs  -- with HLT + standardise + full lookahead + no save 169μs  -- with HLT + no standardise + partial lookahead + no save 164μs  -- with HLT + standardise + partial lookahead + no save 164μs  -- with HLT + no standardise + full lookahead + save 380μs  -- with HLT + standardise + full lookahead + save 377μs  -- with HLT + no standardise + partial lookahead + save 368μs  -- with HLT + standardise + partial lookahead + save 376μs  -- with Felsch + no standardisation 320μs  -- with Felsch + standardisation 339μs  -- with random strategy 359μs  -- with Rc style + full lookahead 180μs  -- with Rc style + partial lookahead 178μs  -- with R/C style 194μs  -- with CR style 330μs  -- with Cr style 329μs ToddCoxeter 018: test lookahead . . .  -- with HLT + no standardise + full lookahead + no save 665μs  -- with HLT + standardise + full lookahead + no save 653μs  -- with HLT + no standardise + partial lookahead + no save 596μs  -- with HLT + standardise + partial lookahead + no save 606μs  -- with HLT + no standardise + full lookahead + save 777μs  -- with HLT + standardise + full lookahead + save 770μs  -- with HLT + no standardise + partial lookahead + save 754μs  -- with HLT + standardise + partial lookahead + save 761μs ToddCoxeter 019: non-trivial left cong. from semigroup . . .  -- with HLT + no standardise + full lookahead + no save 209μs  -- with HLT + standardise + full lookahead + no save 207μs  -- with HLT + no standardise + partial lookahead + no save 197μs  -- with HLT + standardise + partial lookahead + no save 204μs  -- with HLT + save (throws) 229μs  -- with Felsch (throws) 216μs  -- with random strategy 298μs ToddCoxeter 020: 2-sided cong. on free semigroup . . .  -- with HLT + no standardise + full lookahead + no save 38μs  -- with HLT + standardise + full lookahead + no save 32μs  -- with HLT + no standardise + partial lookahead + no save 32μs  -- with HLT + standardise + partial lookahead + no save 32μs  -- with HLT + no standardise + full lookahead + save 32μs  -- with HLT + standardise + full lookahead + save 32μs  -- with HLT + no standardise + partial lookahead + save 32μs  -- with HLT + standardise + partial lookahead + save 32μs  -- with Felsch + no standardisation 32μs  -- with Felsch + standardisation 32μs  -- with random strategy 32μs ToddCoxeter 021: calling run when obviously infinite . . .  -- with HLT + no standardise + full lookahead + no save 85μs  -- with HLT + standardise + full lookahead + no save 75μs  -- with HLT + no standardise + partial lookahead + no save 75μs  -- with HLT + standardise + partial lookahead + no save 100μs  -- with HLT + no standardise + full lookahead + save 97μs  -- with HLT + standardise + full lookahead + save 95μs  -- with HLT + no standardise + partial lookahead + save 93μs  -- with HLT + standardise + partial lookahead + save 95μs  -- with Felsch + no standardisation 94μs  -- with Felsch + standardisation 95μs  -- with random strategy 94μs ToddCoxeter 022: stellar_monoid S3 . . .  -- with HLT + no standardise + full lookahead + no save 247μs  -- with HLT + standardise + full lookahead + no save 226μs  -- with HLT + no standardise + partial lookahead + no save 215μs  -- with HLT + standardise + partial lookahead + no save 220μs  -- with HLT + no standardise + full lookahead + save 395μs  -- with HLT + standardise + full lookahead + save 395μs  -- with HLT + no standardise + partial lookahead + save 379μs  -- with HLT + standardise + partial lookahead + save 385μs  -- with Felsch + no standardisation 340μs  -- with Felsch + standardisation 337μs  -- with random strategy 392μs  -- with Rc style + full lookahead 248μs  -- with Rc style + partial lookahead 245μs  -- with R/C style 275μs  -- with CR style 362μs  -- with Cr style 358μs ToddCoxeter 023: finite semigroup (size 5) . . .  -- with HLT + no standardise + full lookahead + no save 80μs  -- with HLT + standardise + full lookahead + no save 71μs  -- with HLT + no standardise + partial lookahead + no save 70μs  -- with HLT + standardise + partial lookahead + no save 72μs  -- with HLT + no standardise + full lookahead + save 77μs  -- with HLT + standardise + full lookahead + save 77μs  -- with HLT + no standardise + partial lookahead + save 76μs  -- with HLT + standardise + partial lookahead + save 75μs  -- with Felsch + no standardisation 74μs  -- with Felsch + standardisation 76μs  -- with random strategy 85μs  -- with Rc style + full lookahead 77μs  -- with Rc style + partial lookahead 75μs  -- with R/C style 81μs  -- with CR style 80μs  -- with Cr style 80μs ToddCoxeter 024: exceptions . . .  -- with HLT + no standardise + full lookahead + no save 384μs  -- with HLT + standardise + full lookahead + no save 368μs  -- with HLT + no standardise + partial lookahead + no save 366μs  -- with HLT + standardise + partial lookahead + no save 362μs  -- with HLT + no standardise + full lookahead + save 365μs  -- with HLT + standardise + full lookahead + save 364μs  -- with HLT + no standardise + partial lookahead + save 379μs  -- with HLT + standardise + partial lookahead + save 367μs  -- with Felsch + no standardisation 362μs  -- with Felsch + standardisation 366μs  -- with random strategy 370μs  -- with Rc style + full lookahead 364μs  -- with Rc style + partial lookahead 362μs  -- with R/C style 366μs  -- with CR style 367μs  -- with Cr style 367μs ToddCoxeter 025: obviously infinite . . .  -- with HLT + no standardise + full lookahead + no save 99μs  -- with HLT + standardise + full lookahead + no save 92μs  -- with HLT + no standardise + partial lookahead + no save 93μs  -- with HLT + standardise + partial lookahead + no save 92μs  -- with HLT + no standardise + full lookahead + save 93μs  -- with HLT + standardise + full lookahead + save 92μs  -- with HLT + no standardise + partial lookahead + save 92μs  -- with HLT + standardise + partial lookahead + save 92μs  -- with Felsch + no standardisation 92μs  -- with Felsch + standardisation 93μs  -- with random strategy 92μs ToddCoxeter 026: exceptions . . .  -- with HLT + no standardise + full lookahead + no save 224μs  -- with HLT + standardise + full lookahead + no save 212μs  -- with HLT + no standardise + partial lookahead + no save 210μs  -- with HLT + standardise + partial lookahead + no save 211μs  -- with HLT + no standardise + full lookahead + save 221μs  -- with HLT + standardise + full lookahead + save 218μs  -- with HLT + no standardise + partial lookahead + save 218μs  -- with HLT + standardise + partial lookahead + save 217μs  -- with Felsch + no standardisation 216μs  -- with Felsch + standardisation 219μs  -- with random strategy 230μs  -- with Rc style + full lookahead 217μs  -- with Rc style + partial lookahead 217μs  -- with R/C style 222μs  -- with CR style 221μs  -- with Cr style 224μs ToddCoxeter 027: empty . . . 66μs ToddCoxeter 028: congruence of fpsemigroup::ToddCoxeter . . .  -- with HLT + no standardise + full lookahead + no save 291μs  -- with HLT + standardise + full lookahead + no save 267μs  -- with HLT + no standardise + partial lookahead + no save 264μs  -- with HLT + standardise + partial lookahead + no save 263μs  -- with HLT + save (throws) 290μs  -- with Felsch (throws) 289μs  -- with random strategy 230μs  -- with HLT + no standardise + full lookahead + save 208μs  -- with HLT + standardise + full lookahead + save 211μs  -- with HLT + no standardise + partial lookahead + save 209μs  -- with HLT + standardise + partial lookahead + save 208μs  -- with Felsch + no standardisation 209μs  -- with Felsch + standardisation 208μs  -- with Rc style + full lookahead 200μs  -- with Rc style + partial lookahead 201μs  -- with R/C style 202μs  -- with CR style 202μs  -- with Cr style 202μs ToddCoxeter 029: !KnuthBendix.started() . . .  -- with HLT + no standardise + full lookahead + no save and 2-sided 106μs  -- with HLT + standardise + full lookahead + no save and 2-sided 89μs  -- with HLT + no standardise + partial lookahead + no save and 2-sided 86μs  -- with HLT + standardise + partial lookahead + no save and 2-sided 85μs  -- with HLT + no standardise + full lookahead + save and 2-sided 92μs  -- with HLT + standardise + full lookahead + save and 2-sided 89μs  -- with HLT + no standardise + partial lookahead + save and 2-sided 89μs  -- with HLT + standardise + partial lookahead + save and 2-sided 89μs  -- with Felsch + no standardisation and 2-sided 87μs  -- with Felsch + standardisation and 2-sided 86μs  -- with random strategy and 2-sided 93μs  -- with HLT + no standardise + full lookahead + no save and left 90μs  -- with HLT + standardise + full lookahead + no save and left 86μs  -- with HLT + no standardise + partial lookahead + no save and left 84μs  -- with HLT + standardise + partial lookahead + no save and left 84μs  -- with HLT + no standardise + full lookahead + save and left 95μs  -- with HLT + standardise + full lookahead + save and left 95μs  -- with HLT + no standardise + partial lookahead + save and left 95μs  -- with HLT + standardise + partial lookahead + save and left 95μs  -- with Felsch + no standardisation and left 93μs  -- with Felsch + standardisation and left 93μs  -- with random strategy and left 92μs  -- with HLT + no standardise + full lookahead + no save and right 87μs  -- with HLT + standardise + full lookahead + no save and right 84μs  -- with HLT + no standardise + partial lookahead + no save and right 85μs  -- with HLT + standardise + partial lookahead + no save and right 83μs  -- with HLT + no standardise + full lookahead + save and right 96μs  -- with HLT + standardise + full lookahead + save and right 95μs  -- with HLT + no standardise + partial lookahead + save and right 95μs  -- with HLT + standardise + partial lookahead + save and right 95μs  -- with Felsch + no standardisation and right 94μs  -- with Felsch + standardisation and right 94μs  -- with random strategy and right 102μs ToddCoxeter 030: KnuthBendix.finished() . . .  -- with HLT + no standardise + full lookahead + no save and 2-sided 213μs  -- with HLT + standardise + full lookahead + no save and 2-sided 188μs  -- with HLT + no standardise + partial lookahead + no save and 2-sided 186μs  -- with HLT + standardise + partial lookahead + no save and 2-sided 183μs  -- with HLT + no standardise + full lookahead + save and 2-sided 188μs  -- with HLT + standardise + full lookahead + save and 2-sided 188μs  -- with HLT + no standardise + partial lookahead + save and 2-sided 186μs  -- with HLT + standardise + partial lookahead + save and 2-sided 187μs  -- with Felsch + no standardisation and 2-sided 241μs  -- with Felsch + standardisation and 2-sided 181μs  -- with random strategy and 2-sided 194μs  -- with HLT + no standardise + full lookahead + no save and left 204μs  -- with HLT + standardise + full lookahead + no save and left 196μs  -- with HLT + no standardise + partial lookahead + no save and left 197μs  -- with HLT + standardise + partial lookahead + no save and left 195μs  -- with HLT + no standardise + full lookahead + save and left 207μs  -- with HLT + standardise + full lookahead + save and left 207μs  -- with HLT + no standardise + partial lookahead + save and left 207μs  -- with HLT + standardise + partial lookahead + save and left 206μs  -- with Felsch + no standardisation and left 217μs  -- with Felsch + standardisation and left 203μs  -- with random strategy and left 214μs  -- with HLT + no standardise + full lookahead + no save and right 202μs  -- with HLT + standardise + full lookahead + no save and right 199μs  -- with HLT + no standardise + partial lookahead + no save and right 197μs  -- with HLT + standardise + partial lookahead + no save and right 201μs  -- with HLT + no standardise + full lookahead + save and right 211μs  -- with HLT + standardise + full lookahead + save and right 212μs  -- with HLT + no standardise + partial lookahead + save and right 211μs  -- with HLT + standardise + partial lookahead + save and right 211μs  -- with Felsch + no standardisation and right 206μs  -- with Felsch + standardisation and right 207μs  -- with random strategy and right 224μs ToddCoxeter 031: KnuthBendix.finished() . . .  -- with HLT + no standardise + full lookahead + no save and 2-sided 150μs  -- with HLT + standardise + full lookahead + no save and 2-sided 137μs  -- with HLT + no standardise + partial lookahead + no save and 2-sided 133μs  -- with HLT + standardise + partial lookahead + no save and 2-sided 134μs  -- with HLT + no standardise + full lookahead + save and 2-sided 138μs  -- with HLT + standardise + full lookahead + save and 2-sided 137μs  -- with HLT + no standardise + partial lookahead + save and 2-sided 136μs  -- with HLT + standardise + partial lookahead + save and 2-sided 135μs  -- with Felsch + no standardisation and 2-sided 129μs  -- with Felsch + standardisation and 2-sided 128μs  -- with random strategy and 2-sided 144μs  -- with Rc style + full lookahead and 2-sided 140μs  -- with Rc style + partial lookahead and 2-sided 141μs  -- with R/C style and 2-sided 137μs  -- with CR style and 2-sided 136μs  -- with Cr style and 2-sided 141μs  -- with HLT + no standardise + full lookahead + no save and left 153μs  -- with HLT + standardise + full lookahead + no save and left 147μs  -- with HLT + no standardise + partial lookahead + no save and left 147μs  -- with HLT + standardise + partial lookahead + no save and left 146μs  -- with HLT + no standardise + full lookahead + save and left 157μs  -- with HLT + standardise + full lookahead + save and left 158μs  -- with HLT + no standardise + partial lookahead + save and left 157μs  -- with HLT + standardise + partial lookahead + save and left 156μs  -- with Felsch + no standardisation and left 152μs  -- with Felsch + standardisation and left 151μs  -- with random strategy and left 169μs  -- with Rc style + full lookahead and left 157μs  -- with Rc style + partial lookahead and left 156μs  -- with R/C style and left 152μs  -- with CR style and left 158μs  -- with Cr style and left 165μs  -- with HLT + no standardise + full lookahead + no save and right 159μs  -- with HLT + standardise + full lookahead + no save and right 147μs  -- with HLT + no standardise + partial lookahead + no save and right 147μs  -- with HLT + standardise + partial lookahead + no save and right 145μs  -- with HLT + no standardise + full lookahead + save and right 154μs  -- with HLT + standardise + full lookahead + save and right 157μs  -- with HLT + no standardise + partial lookahead + save and right 156μs  -- with HLT + standardise + partial lookahead + save and right 155μs  -- with Felsch + no standardisation and right 152μs  -- with Felsch + standardisation and right 151μs  -- with random strategy and right 166μs  -- with Rc style + full lookahead and right 155μs  -- with Rc style + partial lookahead and right 183μs  -- with R/C style and right 154μs  -- with CR style and right 158μs  -- with Cr style and right 163μs ToddCoxeter 032: prefill . . . 339μs ToddCoxeter 033: congruence of ToddCoxeter . . .  -- with HLT + no standardise + full lookahead + no save 80μs  -- with HLT + standardise + full lookahead + no save 73μs  -- with HLT + no standardise + partial lookahead + no save 68μs  -- with HLT + standardise + partial lookahead + no save 69μs  -- with HLT + no standardise + full lookahead + save 71μs  -- with HLT + standardise + full lookahead + save 72μs  -- with HLT + no standardise + partial lookahead + save 70μs  -- with HLT + standardise + partial lookahead + save 69μs  -- with random strategy 85μs ToddCoxeter 034: congruence of ToddCoxeter . . .  -- with HLT + no standardise + full lookahead + no save 154μs  -- with HLT + standardise + full lookahead + no save 141μs  -- with HLT + no standardise + partial lookahead + no save 138μs  -- with HLT + standardise + partial lookahead + no save 136μs  -- with HLT + save (throws) 163μs  -- with Felsch (throws) 156μs  -- with random strategy 162μs ToddCoxeter 035: congruence on FpSemigroup . . .  -- with HLT + no standardise + full lookahead + no save 392μs  -- with HLT + standardise + full lookahead + no save 366μs  -- with HLT + no standardise + partial lookahead + no save 361μs  -- with HLT + standardise + partial lookahead + no save 359μs  -- with HLT + no standardise + full lookahead + save 403μs  -- with HLT + standardise + full lookahead + save 401μs  -- with HLT + no standardise + partial lookahead + save 397μs  -- with HLT + standardise + partial lookahead + save 397μs  -- with Felsch + no standardisation 394μs  -- with Felsch + standardisation 393μs  -- with random strategy 415μs  -- with Rc style + full lookahead 362μs  -- with Rc style + partial lookahead 360μs  -- with R/C style 362μs  -- with CR style 395μs  -- with Cr style 400μs ToddCoxeter 036: exceptions . . . 119μs ToddCoxeter 037: copy constructor . . . 46μs ToddCoxeter 038: simplify . . . 156μs ToddCoxeter 039: stylic_monoid . . . 752ms ToddCoxeter 041: some finite classes . . . 762μs ToddCoxeter 043: symmetric_group(7, Coxeter + Moser) . . . 214ms ToddCoxeter 044: Option exceptions . . . 148μs ToddCoxeter 045: Options operator<< . . . 1115μs ToddCoxeter 046: Easdown-East-FitzGerald DualSymInv(5) . . .  -- with HLT + no standardise + full lookahead + no save 194ms  -- with HLT + standardise + full lookahead + no save 210ms  -- with HLT + no standardise + partial lookahead + no save 193ms  -- with HLT + standardise + partial lookahead + no save 211ms  -- with HLT + no standardise + full lookahead + save 180ms  -- with HLT + standardise + full lookahead + save 178ms  -- with HLT + no standardise + partial lookahead + save 180ms  -- with HLT + standardise + partial lookahead + save 178ms  -- with Felsch + no standardisation 208ms  -- with Felsch + standardisation 206ms  -- with random strategy 265ms  -- with R/C style 212ms  -- with Rc style + full lookahead 217ms  -- with Rc style + partial lookahead 217ms ToddCoxeter 047: uniform_block_bijection_monoid(3) (FitzGerald) . . .  -- with HLT + no standardise + full lookahead + no save 175μs  -- with HLT + standardise + full lookahead + no save 154μs  -- with HLT + no standardise + partial lookahead + no save 145μs  -- with HLT + standardise + partial lookahead + no save 150μs  -- with HLT + no standardise + full lookahead + save 256μs  -- with HLT + standardise + full lookahead + save 248μs  -- with HLT + no standardise + partial lookahead + save 240μs  -- with HLT + standardise + partial lookahead + save 242μs  -- with Felsch + no standardisation 194μs  -- with Felsch + standardisation 193μs  -- with random strategy 219μs  -- with R/C style 172μs  -- with Rc style + full lookahead 157μs  -- with Rc style + partial lookahead 155μs ToddCoxeter 048: stellar_monoid(7) (Gay-Hivert) . . . 193ms ToddCoxeter 049: partition_monoid(4) (East) . . .  -- with HLT + no standardise + full lookahead + no save 37ms  -- with HLT + standardise + full lookahead + no save 37ms  -- with HLT + no standardise + partial lookahead + no save 37ms  -- with HLT + standardise + partial lookahead + no save 37ms  -- with HLT + no standardise + full lookahead + save 71ms  -- with HLT + standardise + full lookahead + save 72ms  -- with HLT + no standardise + partial lookahead + save 71ms  -- with HLT + standardise + partial lookahead + save 72ms  -- with Felsch + no standardisation 86ms  -- with Felsch + standardisation 87ms  -- with random strategy 45ms  -- with R/C style 46ms  -- with Rc style + full lookahead 96ms  -- with Rc style + partial lookahead 96ms ToddCoxeter 050: singular_brauer_monoid(6) (Maltcev + Mazorchuk) . . . 478ms ToddCoxeter 051: orientation_preserving_monoid(6) (Ruskuc + [...] . . .  -- with HLT + no standardise + full lookahead + no save 27ms ToddCoxeter 052: orientation_reversing_monoid(5) (Ruskuc + [...] . . .  -- with HLT + no standardise + full lookahead + no save 7250μs ToddCoxeter 053: temperley_lieb_monoid(10) (East) . . . 34ms ToddCoxeter 063: add_rule . . .  -- with HLT + no standardise + full lookahead + no save 165μs  -- with HLT + standardise + full lookahead + no save 128μs  -- with HLT + no standardise + partial lookahead + no save 126μs  -- with HLT + standardise + partial lookahead + no save 123μs  -- with HLT + no standardise + full lookahead + save 132μs  -- with HLT + standardise + full lookahead + save 128μs  -- with HLT + no standardise + partial lookahead + save 128μs  -- with HLT + standardise + partial lookahead + save 128μs  -- with Felsch + no standardisation 128μs  -- with Felsch + standardisation 126μs  -- with random strategy 141μs  -- with Rc style + full lookahead 127μs  -- with Rc style + partial lookahead 128μs  -- with R/C style 132μs  -- with CR style 131μs  -- with Cr style 129μs  -- with R/C + Felsch lookahead 139μs  -- with HLT + Felsch lookahead + save 127μs  -- with Cr + small number of f_defs 136μs  -- with Rc + small number of deductions 128μs  -- with Felsch + v2 + no preferred defs 126μs  -- with Felsch + v2 + immediate no stack 126μs  -- with Felsch + v1 + immediate no stack 128μs  -- with Felsch + v1 + immediate yes stack 126μs  -- with large collapse 129μs ToddCoxeter 064: (from kbmag/standalone/kb_data/s4) (KnuthB [...] . . .  -- with HLT + no standardise + full lookahead + no save 404μs ToddCoxeter 066: test validate . . . 70μs ToddCoxeter 067: add_rules after construct. from semigroup . . .  -- with HLT + no standardise + full lookahead + no save 418μs  -- with HLT + standardise + full lookahead + no save 392μs  -- with HLT + no standardise + partial lookahead + no save 386μs  -- with HLT + standardise + partial lookahead + no save 386μs  -- with HLT + save (throws) 412μs  -- with Felsch (throws) 404μs  -- with random strategy 434μs ToddCoxeter 068: Sym(5) from Chapter 3, Proposition 1.1 in NR . . .  -- with Deduction policy == purge_from_top 1139μs  -- with Deduction policy == purge_all 1130μs  -- with Deduction policy == discard_all_if_no_space 1146μs  -- with HLT + no standardise + full lookahead + no save 1096μs  -- with HLT + standardise + full lookahead + no save 1338μs  -- with HLT + no standardise + partial lookahead + no save 1078μs  -- with HLT + standardise + partial lookahead + no save 1332μs  -- with HLT + no standardise + full lookahead + save 1550μs  -- with HLT + standardise + full lookahead + save 1532μs  -- with HLT + no standardise + partial lookahead + save 1510μs  -- with HLT + standardise + partial lookahead + save 1541μs  -- with Felsch + no standardisation 1106μs  -- with Felsch + standardisation 1086μs  -- with random strategy 1728μs  -- with Rc style + full lookahead 2263μs  -- with Rc style + partial lookahead 2240μs  -- with R/C style 1298μs  -- with CR style 1195μs  -- with Cr style 1172μs ToddCoxeter 069: Chapter 7, Theorem 3.6 in NR (size 243) . . .  -- with HLT + no standardise + full lookahead + no save 1071μs  -- with HLT + standardise + full lookahead + no save 1145μs  -- with HLT + no standardise + partial lookahead + no save 1068μs  -- with HLT + standardise + partial lookahead + no save 1113μs  -- with HLT + no standardise + full lookahead + save 895μs  -- with HLT + standardise + full lookahead + save 911μs  -- with HLT + no standardise + partial lookahead + save 868μs  -- with HLT + standardise + partial lookahead + save 924μs  -- with Felsch + no standardisation 5062μs  -- with Felsch + standardisation 5108μs  -- with random strategy 6412μs  -- with Rc style + full lookahead 1167μs  -- with Rc style + partial lookahead 1153μs  -- with R/C style 1292μs  -- with CR style 5057μs  -- with Cr style 5003μs ToddCoxeter 070: finite semigroup (size 99) . . .  -- with HLT + no standardise + full lookahead + no save 450μs  -- with HLT + standardise + full lookahead + no save 461μs  -- with HLT + no standardise + partial lookahead + no save 436μs  -- with HLT + standardise + partial lookahead + no save 454μs  -- with HLT + no standardise + full lookahead + save 388μs  -- with HLT + standardise + full lookahead + save 396μs  -- with HLT + no standardise + partial lookahead + save 376μs  -- with HLT + standardise + partial lookahead + save 389μs  -- with Felsch + no standardisation 922μs  -- with Felsch + standardisation 928μs  -- with random strategy 492μs  -- with Rc style + full lookahead 492μs  -- with Rc style + partial lookahead 490μs  -- with R/C style 537μs  -- with CR style 952μs  -- with Cr style 950μs ToddCoxeter 080: KnuthBendix 098 . . .  -- with HLT + no standardise + full lookahead + no save 1396ms  -- with HLT + standardise + full lookahead + no save 1261ms  -- with HLT + no standardise + partial lookahead + no save 1383ms  -- with HLT + standardise + partial lookahead + no save 1263ms  -- with HLT + no standardise + full lookahead + save 602ms  -- with HLT + standardise + full lookahead + save 604ms  -- with HLT + no standardise + partial lookahead + save 602ms  -- with HLT + standardise + partial lookahead + save 605ms  -- with Felsch + no standardisation 583ms  -- with Felsch + standardisation 582ms  -- with random strategy 1372ms  -- with Rc style + full lookahead 599ms  -- with Rc style + partial lookahead 575ms  -- with R/C style 1388ms  -- with CR style 586ms  -- with Cr style 586ms ToddCoxeter 084: Campbell-Reza 1 . . .  -- with HLT + no standardise + full lookahead + no save 184μs  -- with HLT + standardise + full lookahead + no save 148μs  -- with HLT + no standardise + partial lookahead + no save 134μs  -- with HLT + standardise + partial lookahead + no save 140μs  -- with HLT + no standardise + full lookahead + save 154μs  -- with HLT + standardise + full lookahead + save 150μs  -- with HLT + no standardise + partial lookahead + save 147μs  -- with HLT + standardise + partial lookahead + save 149μs  -- with Felsch + no standardisation 162μs  -- with Felsch + standardisation 158μs  -- with random strategy 153μs  -- with Rc style + full lookahead 140μs  -- with Rc style + partial lookahead 139μs  -- with R/C style 149μs  -- with CR style 166μs  -- with Cr style 165μs ToddCoxeter 085: Renner monoid type D4 (Gay-Hivert), q = 1 . . .  -- with HLT + no standardise + full lookahead + no save 150ms  -- with HLT + standardise + full lookahead + no save 150ms  -- with HLT + no standardise + partial lookahead + no save 150ms  -- with HLT + standardise + partial lookahead + no save 150ms  -- with HLT + no standardise + full lookahead + save 149ms  -- with HLT + standardise + full lookahead + save 152ms  -- with HLT + no standardise + partial lookahead + save 149ms  -- with HLT + standardise + partial lookahead + save 149ms  -- with Felsch + no standardisation 150ms  -- with Felsch + standardisation 149ms  -- with random strategy 149ms  -- with Rc style + full lookahead 150ms  -- with Rc style + partial lookahead 149ms  -- with R/C style 150ms  -- with CR style 149ms  -- with Cr style 149ms ToddCoxeter 086: trivial semigroup . . . 246ms ToddCoxeter 092: ACE --- perf602p5 - HLT . . .  -- with HLT + no standardise + full lookahead + no save 28ms  -- with HLT + standardise + full lookahead + no save 28ms  -- with HLT + no standardise + partial lookahead + no save 28ms  -- with HLT + standardise + partial lookahead + no save 28ms  -- with HLT + no standardise + full lookahead + save 21ms  -- with HLT + standardise + full lookahead + save 21ms  -- with HLT + no standardise + partial lookahead + save 21ms  -- with HLT + standardise + partial lookahead + save 21ms  -- with random strategy 23ms  -- with Felsch + no standardisation 17ms  -- with Felsch + standardisation 17ms ToddCoxeter 094: ACE --- C5 - HLT . . .  -- with HLT + no standardise + full lookahead + no save 154μs  -- with HLT + standardise + full lookahead + no save 137μs  -- with HLT + no standardise + partial lookahead + no save 137μs  -- with HLT + standardise + partial lookahead + no save 134μs  -- with HLT + no standardise + full lookahead + save 173μs  -- with HLT + standardise + full lookahead + save 155μs  -- with HLT + no standardise + partial lookahead + save 155μs  -- with HLT + standardise + partial lookahead + save 154μs  -- with random strategy 154μs  -- with Felsch + no standardisation 145μs  -- with Felsch + standardisation 147μs ToddCoxeter 095: ACE --- A5-C5 . . .  -- with HLT + no standardise + full lookahead + no save 179μs  -- with HLT + standardise + full lookahead + no save 183μs  -- with HLT + no standardise + partial lookahead + no save 171μs  -- with HLT + standardise + partial lookahead + no save 182μs  -- with HLT + no standardise + full lookahead + save 219μs  -- with HLT + standardise + full lookahead + save 216μs  -- with HLT + no standardise + partial lookahead + save 213μs  -- with HLT + standardise + partial lookahead + save 214μs  -- with random strategy 238μs  -- with Felsch + no standardisation 190μs  -- with Felsch + standardisation 189μs ToddCoxeter 096: ACE --- A5 . . .  -- with HLT + no standardise + full lookahead + no save 361μs  -- with HLT + standardise + full lookahead + no save 402μs  -- with HLT + no standardise + partial lookahead + no save 341μs  -- with HLT + standardise + partial lookahead + no save 397μs  -- with HLT + no standardise + full lookahead + save 508μs  -- with HLT + standardise + full lookahead + save 510μs  -- with HLT + no standardise + partial lookahead + save 494μs  -- with HLT + standardise + partial lookahead + save 503μs  -- with random strategy 576μs  -- with Felsch + no standardisation 399μs  -- with Felsch + standardisation 392μs ToddCoxeter 098: relation ordering . . .  -- with Felsch + no standardisation 707μs  -- with Felsch + standardisation 681μs  -- with HLT + no standardise + full lookahead + no save 324μs  -- with HLT + standardise + full lookahead + no save 316μs  -- with HLT + no standardise + partial lookahead + no save 311μs  -- with HLT + standardise + partial lookahead + no save 314μs  -- with HLT + no standardise + full lookahead + save 748μs  -- with HLT + standardise + full lookahead + save 735μs  -- with HLT + no standardise + partial lookahead + save 734μs  -- with HLT + standardise + partial lookahead + save 729μs  -- with random strategy 352μs ToddCoxeter 099: short circuit size in obviously infinite . . . 21μs ToddCoxeter 101: http://brauer.maths.qmul.ac.uk/Atlas/spor/M [...] . . . 563ms ToddCoxeter 108: http://brauer.maths.qmul.ac.uk/Atlas/lin/L3 [...] . . . 504ms ToddCoxeter 111: partition_monoid(2) . . . 88μs ToddCoxeter 112: brauer_monoid(4) (Kudryavtseva + Mazorchuk) . . . 453μs ToddCoxeter 113: symmetric_inverse_monoid . . . 19ms ToddCoxeter 116: symmetric_group(7, Burnside + Miller) . . . 432ms UF 001: constructor by size . . . 15μs UF 002: copy constructor . . . 21μs UF 003: find . . . 19μs action_digraph_helper 015: detail::to_string . . . 26μs action_digraph_helper 016: make . . . 66μs action_digraph_helper 017: is_connected . . . 173μs action_digraph_helper 018: is_strictly_cyclic . . . 5989μs follow_path 012: 20 node path . . . 24μs fpsemi-examples 002: full_transformation_monoid author except . . . 48μs fpsemi-examples 003: full_transformation_monoid degree except . . . 41μs fpsemi-examples 005: partial_transformation_monoid author except . . . 49μs fpsemi-examples 006: partial_transformation_monoid degree except . . . 47μs fpsemi-examples 007: symmetric_inverse_monoid(5) . . . 19ms fpsemi-examples 008: symmetric_group auth except . . . 47μs fpsemi-examples 009: symmetric_group degree except . . . 42μs fpsemi-examples 010: symmetric_group(6) Burnside + Miller . . . 28ms fpsemi-examples 011: dual_symmetric_inverse_monoid(5) . . . 193ms fpsemi-examples 012: dual_symmetric_inverse_monoid auth except . . . 63μs fpsemi-examples 013: dual_symmetric_inverse_monoid degree except . . . 45μs fpsemi-examples 014: uniform_block_bijection_monoid(5) . . . 17ms fpsemi-examples 015: uniform_block_bijection_monoid auth except . . . 42μs fpsemi-examples 016: uniform_block_bijection_monoid degree except . . . 36μs fpsemi-examples 019: partition_monoid auth except . . . 171μs fpsemi-examples 020: partition_monoid degree except . . . 165μs fpsemi-examples 022: monogenic_semigroup(4, 9) . . . 45μs fpsemi-examples 023: fibonacci_semigroup(2, 5) . . . 109μs fpsemi-examples 024: temperley_lieb_monoid(10) . . . 38ms fpsemi-examples 025: singular_brauer_monoid(6) . . . 320ms fpsemi-examples 026: orientation_preserving_monoid(6) . . . 27ms fpsemi-examples 027: orientation_reversing_monoid(5) . . . 6837μs fpsemi-examples 028: chinese_monoid(3) . . . 199μs fpsemi-examples 029: plactic_monoid(3) . . . 173μs fpsemi-examples 030: stylic_monoid(3) . . . 1607μs fpsemi-examples 031: symmetric_group(6) Carmichael . . . 14ms fpsemi-examples 032: symmetric_group(6) Moore . . . 11ms fpsemi-examples 033: symmetric_group(6) Coxeter + Moser . . . 9128μs fpsemi-examples 034: test for the rook monoid . . . 380μs fpsemi-examples 035: alternating_group(7) Moore . . . 35ms fpsemi-examples 036: alternating_group auth except . . . 52μs fpsemi-examples 037: alternating_group degree except . . . 33μs fpsemi-examples 038: partial_transformation_monoid(3) Machine . . . 317μs fpsemi-examples 039: chinese_monoid degree except . . . 53μs fpsemi-examples 040: monogenic_semigroup degree except . . . 61μs fpsemi-examples 041: rectangular_band degree except . . . 97μs fpsemi-examples 042: stellar_monoid degree except . . . 54μs fpsemi-examples 043: plactic_monoid degree except . . . 52μs fpsemi-examples 044: stylic_monoid degree except . . . 50μs fpsemi-examples 045: temperley_lieb_monoid degree except . . . 74μs fpsemi-examples 046: singular_brauer_monoid degree except . . . 90μs fpsemi-examples 047: orientation_preserving_monoid degree except . . . 88μs fpsemi-examples 048: orientation_reversing_monoid degree except . . . 88μs fpsemi-examples 049: test default values . . . 4366μs fpsemi-examples 052: not_symmetric_group(5) Guralnick + Kant [...] . . . 3789μs fpsemi-examples 053: order_preserving_monoid(5) . . . 1039μs fpsemi-examples 055: order_preserving_monoid degree except . . . 81μs fpsemi-examples 056: cyclic_inverse_monoid(4) Fernandes 1 . . . 263μs fpsemi-examples 057: cyclic_inverse_monoid(8) Fernandes index 1 . . . 16ms fpsemi-examples 058: cyclic_inverse_monoid Fernandes index 0 . . . 31ms fpsemi-examples 059: order_preserving_cyclic_inverse_monoid(4) . . . 209μs fpsemi-examples 060: order_preserving_cyclic_inverse_monoid(10) . . . 32ms fpsemi-examples 061: cyclic_inverse_monoid degree except . . . 187μs fpsemi-examples 062: cyclic_inverse_monoid author except . . . 67μs fpsemi-examples 063: order_preserving_monoid degree except . . . 78μs freeband_equal_to 001: . . . 695μs is_acyclic 000: 2-cycle . . . 13μs is_acyclic 001: 1-cycle . . . 11μs is_acyclic 002: multi-digraph . . . 14μs is_acyclic 003: complete digraph 100 . . . 52μs is_acyclic 004: acyclic digraph with 20000 nodes . . . 1003μs is_acyclic 006: for a node . . . 952μs is_acyclic 007: for a node . . . 20μs is_reachable 008: acyclic 20 node digraph . . . 68μs is_reachable 009: 100 node path . . . 12ms is_reachable 010: 100 node cycle . . . 12ms is_reachable 011: 20 node clique . . . 462μs last_node_on_path_nc 014: 20 node path . . . 18μs make 000: from FroidurePin . . . 451μs make 001: from FroidurePin and alphabet . . . 570μs make 002: presentation from presentation . . . 420μs make 003: presentation from presentation and alphabet . . . 82μs make> 000: from ActionDigraph . . . 1133μs make> 001: from ActionDigraph (exceptions) . . . 75μs number_of_words 001: . . . 14μs silo 000: alphabet: a, min: 0, max: 10 . . . 44μs silo 001: corner cases . . . 32μs silo 002: alphabet: ab, min: 1, max: 4 . . . 54μs silo 003: alphabet: abc, min: 0, max: 13 . . . 94ms silo 004: code coverage . . . 29μs sislo 005: alphabet: a, min: 0, max: 10 . . . 40μs sislo 006: corner cases . . . 56μs sislo 007: alphabet: ab, min: 1, max: 4 . . . 91μs sislo 008: alphabet: abc, min: 0, max: 13 . . . 90ms sislo 009: code coverage . . . 28μs string 000: detail::is_suffix . . . 14μs string 001: detail::is_prefix . . . 14μs string 002: detail::maximum_common_suffix . . . 14μs string 003: detail::group_digits . . . 23μs string_to_word 002: . . . 14μs validate_label 013: 20 node path . . . 48μs wilo 001: corner cases . . . 43μs wilo 002: letters: 2, min: 1, max: 4 . . . 38μs wilo 003: letters: 2, min: 1, max: 4 . . . 75μs wilo 004: letters: 3, min: 0, max: 10 . . . 21ms wilo 005: letters: 3, min: 0, max: 13 . . . 136ms wilo 006: forward iterator requirements . . . 136ms wilo 007: more corner cases . . . 57μs wilo 008: starting at a given word 1 . . . 138μs wilo 009: starting at a given word 2 . . . 23μs wilo 010: code coverage . . . 21μs wislo 000: n: 2, min; 1, max: 4 . . . 28μs wislo 001: corner cases . . . 47μs wislo 002: n: 3, min; 0, max: 10 . . . 4580μs wislo 003: n: 3, min; 0, max: 13 . . . 132ms wislo 004: lex + sort . . . 383ms wislo 005: code coverage . . . 28μs =============================================================================== All tests passed (1289662 assertions in 1163 test cases) >>> libsemigroups: Entering fakeroot... make[1]: Entering directory '/home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.5.0' ./config/install-sh -c -d '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib' /bin/sh ./libtool --mode=install /usr/bin/install -c libsemigroups.la '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib' ./config/install-sh -c -d '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/pkgconfig' /usr/bin/install -c -m 644 libsemigroups.pc '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/pkgconfig' ./config/install-sh -c -d '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups' ./config/install-sh -c -d '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups/textflowcpp' libtool: install: /usr/bin/install -c .libs/libsemigroups.so.2.0.0 /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/libsemigroups.so.2.0.0 libtool: install: (cd /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib && { ln -s -f libsemigroups.so.2.0.0 libsemigroups.so.2 || { rm -f libsemigroups.so.2 && ln -s libsemigroups.so.2.0.0 libsemigroups.so.2; }; }) 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 libtool: install: /usr/bin/install -c .libs/libsemigroups.a /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/libsemigroups.a /usr/bin/install -c -m 644 include/libsemigroups/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: 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/suffix-tree.hpp include/libsemigroups/tce.hpp include/libsemigroups/timer.hpp include/libsemigroups/todd-coxeter-digraph.hpp include/libsemigroups/todd-coxeter-digraph.tpp include/libsemigroups/todd-coxeter.hpp include/libsemigroups/transf.hpp include/libsemigroups/types.hpp include/libsemigroups/uf.hpp include/libsemigroups/wilo.hpp include/libsemigroups/wislo.hpp include/libsemigroups/word.hpp '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups' libtool: warning: remember to run 'libtool --finish /usr/lib' make[1]: Leaving directory '/home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.5.0' >>> libsemigroups-static*: Running split function static... >>> libsemigroups-static*: Preparing subpackage libsemigroups-static... >>> libsemigroups-static*: Stripping binaries >>> libsemigroups-static*: Running postcheck for libsemigroups-static >>> libsemigroups-dev*: Running split function dev... >>> libsemigroups-dev*: Preparing subpackage libsemigroups-dev... >>> libsemigroups-dev*: Stripping binaries >>> libsemigroups-dev*: Running postcheck for libsemigroups-dev >>> libsemigroups*: Running postcheck for libsemigroups >>> libsemigroups*: Preparing package libsemigroups... >>> libsemigroups*: Stripping binaries >>> libsemigroups-dev*: Scanning shared objects >>> libsemigroups-static*: Scanning shared objects >>> libsemigroups*: Scanning shared objects >>> libsemigroups-dev*: Tracing dependencies... libsemigroups=2.5.0-r0 pc:eigen3 pc:fmt pkgconfig >>> libsemigroups-dev*: Package size: 1.9 MB >>> libsemigroups-dev*: Compressing data... >>> libsemigroups-dev*: Create checksum... >>> libsemigroups-dev*: Create libsemigroups-dev-2.5.0-r0.apk >>> libsemigroups-static*: Tracing dependencies... >>> libsemigroups-static*: Package size: 6.0 MB >>> libsemigroups-static*: Compressing data... >>> libsemigroups-static*: Create checksum... >>> libsemigroups-static*: Create libsemigroups-static-2.5.0-r0.apk >>> libsemigroups*: Tracing dependencies... so:libc.musl-ppc64le.so.1 so:libfmt.so.9 so:libgcc_s.so.1 so:libstdc++.so.6 >>> libsemigroups*: Package size: 2.0 MB >>> libsemigroups*: Compressing data... >>> libsemigroups*: Create checksum... >>> libsemigroups*: Create libsemigroups-2.5.0-r0.apk >>> libsemigroups: Build complete at Thu, 15 Dec 2022 17:06:12 +0000 elapsed time 0h 4m 18s >>> libsemigroups: Cleaning up srcdir >>> libsemigroups: Cleaning up pkgdir >>> libsemigroups: Uninstalling dependencies... (1/4) Purging .makedepends-libsemigroups (20221215.170155) (2/4) Purging eigen-dev (3.4.0-r6) (3/4) Purging fmt-dev (9.1.0-r0) (4/4) Purging fmt (9.1.0-r0) OK: 294 MiB in 97 packages >>> libsemigroups: Updating the testing/ppc64le repository index... >>> libsemigroups: Signing the index...