>>> libsemigroups: Building testing/libsemigroups 2.7.0-r0 (using abuild 3.10.0-r0) started Sun, 26 Mar 2023 18:10:50 +0000 >>> libsemigroups: Checking sanity of /home/buildozer/aports/testing/libsemigroups/APKBUILD... >>> libsemigroups: Analyzing dependencies... >>> libsemigroups: Installing for build: build-base eigen-dev fmt-dev (1/4) Installing eigen-dev (3.4.0-r8) (2/4) Installing fmt (9.1.0-r0) (3/4) Installing fmt-dev (9.1.0-r0) (4/4) Installing .makedepends-libsemigroups (20230326.181052) OK: 302 MiB in 100 packages >>> libsemigroups: Cleaning up srcdir >>> libsemigroups: Cleaning up pkgdir >>> libsemigroups: Fetching https://distfiles.alpinelinux.org/distfiles/edge/libsemigroups-2.7.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.7.0/libsemigroups-2.7.0.tar.gz % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 2484k 100 2484k 0 0 2452k 0 0:00:01 0:00:01 --:--:-- 7438k >>> libsemigroups: Fetching https://distfiles.alpinelinux.org/distfiles/edge/libsemigroups-2.7.0.tar.gz >>> libsemigroups: Checking sha512sums... libsemigroups-2.7.0.tar.gz: OK >>> libsemigroups: Unpacking /var/cache/distfiles/libsemigroups-2.7.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' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' checking build system type... powerpc64le-alpine-linux-musl checking host system type... powerpc64le-alpine-linux-musl checking target system type... powerpc64le-alpine-linux-musl checking for a BSD-compatible install... /usr/bin/install -c checking whether build environment is sane... yes checking for a race-free mkdir -p... ./config/install-sh -c -d checking for gawk... no checking for mawk... no checking for nawk... no checking for awk... awk checking whether make sets $(MAKE)... yes checking whether make supports nested variables... yes checking how to create a pax tar archive... gnutar checking whether make supports nested variables... (cached) yes checking whether make supports the include directive... yes (GNU style) checking for powerpc64le-alpine-linux-musl-gcc... gcc checking whether the C compiler works... yes checking for C compiler default output file name... a.out checking for suffix of executables... checking whether we are cross compiling... no checking for suffix of object files... o checking whether the compiler supports GNU C... yes checking whether gcc accepts -g... yes checking for gcc option to enable C11 features... none needed checking whether gcc understands -c and -o together... yes checking dependency style of gcc... gcc3 checking for powerpc64le-alpine-linux-musl-ar... no checking for powerpc64le-alpine-linux-musl-lib... no checking for powerpc64le-alpine-linux-musl-link... no checking for ar... ar checking the archiver (ar) interface... ar checking whether the compiler supports GNU C++... yes checking whether g++ accepts -g... yes checking for g++ option to enable C++11 features... none needed checking dependency style of g++... gcc3 checking whether g++ supports C++14 features by default... yes checking for a sed that does not truncate output... /bin/sed checking how to run the C preprocessor... gcc -E checking for grep that handles long lines and -e... /bin/grep checking for egrep... /bin/grep -E checking whether gcc is Clang... no checking whether pthreads work with "-pthread" and "-lpthread"... yes checking for joinable pthread attribute... PTHREAD_CREATE_JOINABLE checking whether more special flags are required for pthreads... no checking for PTHREAD_PRIO_INHERIT... yes checking for pthread_create in -lpthread... yes checking whether to enable maintainer-specific portions of Makefiles... no checking whether ln -s works... yes checking how to print strings... printf checking for a sed that does not truncate output... (cached) /bin/sed checking for fgrep... /bin/grep -F checking for ld used by gcc... /usr/powerpc64le-alpine-linux-musl/bin/ld checking if the linker (/usr/powerpc64le-alpine-linux-musl/bin/ld) is GNU ld... yes checking for BSD- or MS-compatible name lister (nm)... /usr/bin/nm -B checking the name lister (/usr/bin/nm -B) interface... BSD nm checking the maximum length of command line arguments... 98304 checking how to convert powerpc64le-alpine-linux-musl file names to powerpc64le-alpine-linux-musl format... func_convert_file_noop checking how to convert powerpc64le-alpine-linux-musl file names to toolchain format... func_convert_file_noop checking for /usr/powerpc64le-alpine-linux-musl/bin/ld option to reload object files... -r checking for powerpc64le-alpine-linux-musl-file... no checking for file... file checking for powerpc64le-alpine-linux-musl-objdump... no checking for objdump... objdump checking how to recognize dependent libraries... pass_all checking for powerpc64le-alpine-linux-musl-dlltool... no checking for dlltool... no checking how to associate runtime and link libraries... printf %s\n checking for powerpc64le-alpine-linux-musl-ar... ar checking for archiver @FILE support... @ checking for powerpc64le-alpine-linux-musl-strip... no checking for strip... strip checking for powerpc64le-alpine-linux-musl-ranlib... no checking for ranlib... ranlib checking command to parse /usr/bin/nm -B output from gcc object... ok checking for sysroot... no checking for a working dd... /bin/dd checking how to truncate binary pipes... /bin/dd bs=4096 count=1 checking for powerpc64le-alpine-linux-musl-mt... no checking for mt... no checking if : is a manifest tool... no checking for stdio.h... yes checking for stdlib.h... yes checking for string.h... yes checking for inttypes.h... yes checking for stdint.h... yes checking for strings.h... yes checking for sys/stat.h... yes checking for sys/types.h... yes checking for unistd.h... yes checking for dlfcn.h... yes checking for objdir... .libs checking if gcc supports -fno-rtti -fno-exceptions... no checking for gcc option to produce PIC... -fPIC -DPIC checking if gcc PIC flag -fPIC -DPIC works... yes checking if gcc static flag -static works... yes checking if gcc supports -c -o file.o... yes checking if gcc supports -c -o file.o... (cached) yes checking whether the gcc linker (/usr/powerpc64le-alpine-linux-musl/bin/ld) supports shared libraries... yes checking whether -lc should be explicitly linked in... no checking dynamic linker characteristics... GNU/Linux ld.so checking how to hardcode library paths into programs... immediate checking whether stripping libraries is possible... yes checking if libtool supports shared libraries... yes checking whether to build shared libraries... yes checking whether to build static libraries... yes checking how to run the C++ preprocessor... g++ -E checking for ld used by g++... /usr/powerpc64le-alpine-linux-musl/bin/ld checking if the linker (/usr/powerpc64le-alpine-linux-musl/bin/ld) is GNU ld... yes checking whether the g++ linker (/usr/powerpc64le-alpine-linux-musl/bin/ld) supports shared libraries... yes checking for g++ option to produce PIC... -fPIC -DPIC checking if g++ PIC flag -fPIC -DPIC works... yes checking if g++ static flag -static works... yes checking if g++ supports -c -o file.o... yes checking if g++ supports -c -o file.o... (cached) yes checking whether the g++ linker (/usr/powerpc64le-alpine-linux-musl/bin/ld) supports shared libraries... yes checking dynamic linker characteristics... (cached) GNU/Linux ld.so checking how to hardcode library paths into programs... immediate checking for limits.h... yes checking for stdint.h... (cached) yes checking for stdlib.h... (cached) yes checking for sys/time.h... yes checking for unistd.h... (cached) yes checking for pthread.h... yes checking for _Bool... yes checking for stdbool.h that conforms to C99... yes checking for inline... inline checking for int64_t... yes checking for size_t... yes checking for uint64_t... yes checking for ptrdiff_t... yes checking size of void *... 8 checking for GNU libc compatible malloc... yes checking for gettimeofday... yes checking for memset... yes checking for pow... yes checking for sqrt... yes checking whether to enable debug mode... no checking whether to enable verbose mode... no checking whether enable compiler warnings... no checking whether to enable stats mode... yes checking whether to enable backward mode... yes checking for execinfo.h... no configure: WARNING: backward enabled but execinfo.h not found, disabling backward! checking whether to build with code coverage support... no checking whether to enable HPCombi... yes checking for ./extern/HPCombi/VERSION... yes checking the required version of HPCombi... 0.0.6 checking the version of HPCombi that's present... 0.0.6 checking whether C++ compiler accepts -mavx... no configure: WARNING: flag -mavx not supported, HPCombi is disabled checking for powerpc64le-alpine-linux-musl-pkg-config... no checking for pkg-config... /usr/bin/pkg-config checking pkg-config is at least version 0.9.0... yes checking whether to enable fmt... yes checking whether to use external fmt... yes checking for fmt >= 8.1.1... yes checking whether to enable eigen... yes checking whether to use external eigen... yes checking for eigen3 >= 3.3.7... yes checking for __builtin_popcountl... yes checking for __builtin_clzll... yes checking whether to try and use __builtin_popcntl... yes checking whether to try and use __builtin_clzlll... yes checking that generated files are newer than configure... done configure: creating ./config.status config.status: creating Makefile config.status: creating libsemigroups.pc config.status: creating config/config.h config.status: executing depfiles commands config.status: executing include/libsemigroups/config.hpp commands config.status: creating include/libsemigroups/config.hpp - prefix LIBSEMIGROUPS for config/config.h defines config.status: executing libtool commands CXX src/libsemigroups_la-bipart.lo CXX src/libsemigroups_la-bmat8.lo CXX src/libsemigroups_la-cong-intf.lo CXX src/libsemigroups_la-cong-pair.lo CXX src/libsemigroups_la-cong.lo CXX src/libsemigroups_la-constants.lo CXX src/libsemigroups_la-coset.lo CXX src/libsemigroups_la-exception.lo CXX src/libsemigroups_la-felsch-tree.lo CXX src/libsemigroups_la-forest.lo CXX src/libsemigroups_la-fpsemi-examples.lo CXX src/libsemigroups_la-fpsemi-intf.lo CXX src/libsemigroups_la-fpsemi.lo CXX src/libsemigroups_la-freeband.lo CXX src/libsemigroups_la-froidure-pin-base.lo CXX src/libsemigroups_la-kambites.lo CXX src/libsemigroups_la-knuth-bendix.lo CXX src/libsemigroups_la-make-present.lo CXX src/libsemigroups_la-node-manager.lo CXX src/libsemigroups_la-obvinf.lo CXX src/libsemigroups_la-pbr.lo CXX src/libsemigroups_la-race.lo CXX src/libsemigroups_la-report.lo CXX src/libsemigroups_la-runner.lo CXX src/libsemigroups_la-siso.lo CXX src/libsemigroups_la-string.lo CXX src/libsemigroups_la-stephen.lo CXX src/libsemigroups_la-timer.lo CXX src/libsemigroups_la-todd-coxeter.lo CXX src/libsemigroups_la-ukkonen.lo CXX src/libsemigroups_la-wilo.lo CXX src/libsemigroups_la-wislo.lo CXX src/libsemigroups_la-word.lo In file included from /usr/include/eigen3/Eigen/Core:350, from /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.0/include/libsemigroups/digraph.hpp:58, from /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.0/include/libsemigroups/digraph-with-sources.hpp:41, from /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.0/include/libsemigroups/stephen.hpp:30, from src/stephen.cpp:22: In member function 'void Eigen::internal::gebp_kernel::operator()(const DataMapper&, const double*, const double*, Index, Index, Index, double, Index, Index, Index, Index) [with Index = long int; DataMapper = Eigen::internal::blas_data_mapper; int mr = 4; int nr = 4; bool ConjugateLhs = false; bool ConjugateRhs = false]', inlined from 'static void Eigen::internal::general_matrix_matrix_product::run(Index, Index, Index, const LhsScalar*, Index, const RhsScalar*, Index, ResScalar*, Index, Index, ResScalar, Eigen::internal::level3_blocking&, Eigen::internal::GemmParallelInfo*) [with Index = long int; LhsScalar = double; int LhsStorageOrder = 0; bool ConjugateLhs = false; RhsScalar = double; int RhsStorageOrder = 0; bool ConjugateRhs = false; int ResInnerStride = 1]' at /usr/include/eigen3/Eigen/src/Core/products/GeneralMatrixMatrix.h:198:15: /usr/include/eigen3/Eigen/src/Core/arch/AltiVec/MatrixProduct.h:2808:34: warning: builtin '__builtin_cpu_supports' needs GLIBC (2.23 and newer) that exports hardware capability bits 2808 | if (__builtin_cpu_supports ("arch_3_1") && __builtin_cpu_supports ("mma")){ | ~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ /usr/include/eigen3/Eigen/src/Core/arch/AltiVec/MatrixProduct.h:2808:73: warning: builtin '__builtin_cpu_supports' needs GLIBC (2.23 and newer) that exports hardware capability bits 2808 | if (__builtin_cpu_supports ("arch_3_1") && __builtin_cpu_supports ("mma")){ | ~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~ In file included from /usr/include/eigen3/Eigen/Core:350, from /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.0/include/libsemigroups/digraph.hpp:58, from /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.0/include/libsemigroups/knuth-bendix.hpp:34, from src/knuth-bendix.cpp:19: In member function 'void Eigen::internal::gebp_kernel::operator()(const DataMapper&, const double*, const double*, Index, Index, Index, double, Index, Index, Index, Index) [with Index = long int; DataMapper = Eigen::internal::blas_data_mapper; int mr = 4; int nr = 4; bool ConjugateLhs = false; bool ConjugateRhs = false]', inlined from 'static void Eigen::internal::general_matrix_matrix_product::run(Index, Index, Index, const LhsScalar*, Index, const RhsScalar*, Index, ResScalar*, Index, Index, ResScalar, Eigen::internal::level3_blocking&, Eigen::internal::GemmParallelInfo*) [with Index = long int; LhsScalar = double; int LhsStorageOrder = 0; bool ConjugateLhs = false; RhsScalar = double; int RhsStorageOrder = 0; bool ConjugateRhs = false; int ResInnerStride = 1]' at /usr/include/eigen3/Eigen/src/Core/products/GeneralMatrixMatrix.h:198:15: /usr/include/eigen3/Eigen/src/Core/arch/AltiVec/MatrixProduct.h:2808:34: warning: builtin '__builtin_cpu_supports' needs GLIBC (2.23 and newer) that exports hardware capability bits 2808 | if (__builtin_cpu_supports ("arch_3_1") && __builtin_cpu_supports ("mma")){ | ~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ /usr/include/eigen3/Eigen/src/Core/arch/AltiVec/MatrixProduct.h:2808:73: warning: builtin '__builtin_cpu_supports' needs GLIBC (2.23 and newer) that exports hardware capability bits 2808 | if (__builtin_cpu_supports ("arch_3_1") && __builtin_cpu_supports ("mma")){ | ~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~ CXXLD libsemigroups.la make test_all make[1]: Entering directory '/home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.0' CXX tests/bmat-data.o CXX tests/test-action.o CXX tests/test-bipart.o CXX tests/test-bitset.o CXX tests/test-bmat8.o CXX tests/test-cong-intf.o CXX tests/test-cong-pair.o CXX tests/test-cong.o CXX tests/test-constants.o CXX tests/test-containers.o CXX tests/test-digraph-helper.o CXX tests/test-digraph.o CXX tests/test-felsch-tree.o CXX tests/test-forest.o CXX tests/test-fpsemi.o CXX tests/test-fpsemi-examples-1.o CXX tests/test-fpsemi-examples-2.o CXX tests/test-fpsemi-examples-3.o CXX tests/test-fpsemi-intf.o CXX tests/test-freeband.o CXX tests/test-froidure-pin-bipart.o CXX tests/test-froidure-pin-bmat8.o CXX tests/test-froidure-pin-bmat.o CXX tests/test-froidure-pin-integers.o CXX tests/test-froidure-pin-intmat.o CXX tests/test-froidure-pin-intpairs.o CXX tests/test-froidure-pin-matrix.o CXX tests/test-froidure-pin-maxplustrunc.o CXX tests/test-froidure-pin-pbr.o CXX tests/test-froidure-pin-pperm.o CXX tests/test-froidure-pin-projmaxplus.o CXX tests/test-froidure-pin-transf.o CXX tests/test-hpcombi.o CXX tests/test-iterator.o CXX tests/test-kambites.o CXX tests/test-kbe.o CXX tests/test-knuth-bendix-1.o CXX tests/test-knuth-bendix-2.o CXX tests/test-knuth-bendix-3.o CXX tests/test-knuth-bendix-4.o CXX tests/test-knuth-bendix-5.o CXX tests/test-knuth-bendix-6.o CXX tests/test-konieczny-bmat8-1.o CXX tests/test-konieczny-bmat8-2.o CXX tests/test-konieczny-bmat8-3.o CXX tests/test-konieczny-transf.o CXX tests/test-konieczny-bmat.o CXX tests/test-konieczny-pperm.o CXX tests/test-main.o CXX tests/test-make-present.o CXX tests/test-make-froidure-pin.o CXX tests/test-matrix.o CXX tests/test-obvinf.o CXX tests/test-order.o CXX tests/test-pbr.o CXX tests/test-pool.o CXX tests/test-present.o CXX tests/test-race.o CXX tests/test-runner.o CXX tests/test-schreier-sims.o CXX tests/test-schreier-sims-helper.o CXX tests/test-sims1.o CXX tests/test-siso.o CXX tests/test-stephen.o CXX tests/test-string.o CXX tests/test-string-view.o CXX tests/test-timer.o CXX tests/test-todd-coxeter.o CXX tests/test-types.o CXX tests/test-uf.o CXX tests/test-ukkonen.o CXX tests/test-wilo.o CXX tests/test-wislo.o CXX tests/test-word.o In file included from /usr/include/eigen3/Eigen/Core:350, from /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.0/include/libsemigroups/digraph.hpp:58, from /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.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.7.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.7.0/include/libsemigroups/digraph.hpp:58, from /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.0/include/libsemigroups/knuth-bendix.hpp:34, from /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.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.7.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.7.0/include/libsemigroups/digraph.hpp:58, from /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.0/include/libsemigroups/knuth-bendix.hpp:34, from /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.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.7.0' ./test_all --use-colour yes --order lex --abort [quick] Filters: [quick] Action 001: row and column basis orbits for BMat8 . . . 38μs Action 002: row and column basis orbits for BMat8 . . . 2039μs Action 003: add generators after enumeration . . . 2040μs Action 004: multipliers for BMat8 row and column orbits . . . 4343μs Action 005: orbits for regular boolean mat monoid 5 . . . 358ms Action 007: partial perm image orbit . . . 373μs Action 008: partial perm image orbit . . . 98ms Action 009: partial perm image orbit . . . 103ms Action 010: partial perm image orbit . . . 107ms Action 011: permutation on integers . . . 26μs Action 012: permutation on sets, arrays . . . 248μs Action 013: permutation on tuples, arrays . . . 26ms Action 014: permutation on sets, vectors . . . 322μs Action 015: permutation on tuples, vectors . . . 34ms Action 016: misc . . . 17ms Action 017: partial perm image orbit . . . 68μs Action 018: permutation on tuples, arrays (360360) . . . 349ms Action 019: orbits for regular BMat8 monoid 5 with stop/start . . . 479ms Action 021: orbits for regular boolean mat monoid 5 (BMat<5> [...] . . . 652ms ActionDigraph 000: constructor with 1 default arg . . . 18μs ActionDigraph 001: constructor with 0 default args . . . 57μs ActionDigraph 002: add nodes . . . 31μs ActionDigraph 003: add edges . . . 256μs ActionDigraph 004: strongly connected components - cycles . . . 30μs ActionDigraph 005: strongly connected components - no edges . . . 51ms ActionDigraph 006: strongly connected components - disjoint cycles . . . 1406μs ActionDigraph 007: strongly connected components - complete graphs . . . 597μs ActionDigraph 008: exceptions . . . 101μs ActionDigraph 009: spanning forest - complete graphs . . . 3173μs ActionDigraph 010: spanning forest - disjoint cycles . . . 111μs ActionDigraph 011: restrict . . . 14μs ActionDigraph 012: remove_edge_nc . . . 12μs ActionDigraph 013: scc large cycle . . . 9243μs ActionDigraph 014: random . . . 21μs ActionDigraph 015: reserve . . . 12μs ActionDigraph 016: default constructors . . . 18μs ActionDigraph 017: scc iterators . . . 806μs ActionDigraph 018: iterator to edges . . . 581μs ActionDigraph 019: root of scc . . . 236μs ActionDigraph 020: cbegin/end_panislo - 100 node path . . . 660μs ActionDigraph 021: cbegin/end_pislo . . . 57μs ActionDigraph 022: cbegin/end_pani(s)lo - 100 node cycle . . . 702μs ActionDigraph 023: cbegin/cend_pilo - tree 14 nodes . . . 105μs ActionDigraph 024: cbegin/end_pstilo - Cayley digraph . . . 233ms ActionDigraph 025: cbegin_pstilo - Tsalakou . . . 394μs ActionDigraph 026: cbegin/end_pstislo - Cayley digraph . . . 238ms ActionDigraph 027: cbegin/end_pstislo - Cayley digraph . . . 244μs ActionDigraph 028: path iterators corner cases . . . 285μs ActionDigraph 029: reverse node iterator . . . 13μs ActionDigraph 030: pstilo corner case . . . 39μs ActionDigraph 031: number_of_paths corner cases . . . 90μs ActionDigraph 032: number_of_paths acyclic digraph . . . 15ms ActionDigraph 033: number_of_paths binary tree . . . 539ms ActionDigraph 034: number_of_paths large binary tree . . . 85ms ActionDigraph 035: number_of_paths 400 node random digraph . . . 1033μs ActionDigraph 036: number_of_paths 10 node acyclic digraph . . . 39μs ActionDigraph 037: number_of_paths node digraph . . . 2586μs ActionDigraph 038: random/random_acyclic exceptions . . . 172μs ActionDigraph 039: unsafe (next) neighbour . . . 46μs ActionDigraph 040: number_of_egdes incident to a node . . . 50μs ActionDigraph 041: number_of_paths (matrix) . . . 25ms ActionDigraph 042: number_of_paths (matrix) . . . 17μs ActionDigraph 043: swap_edge_nc . . . 12μs ActionDigraph 044: detail::pow for non-square Eigen matrix . . . 31μs ActionDigraph 045: operator<< . . . 17μs Array2 044: all . . . 60μs BMat8 001: transpose . . . 23μs BMat8 002: multiplication . . . 24μs BMat8 003: identity matrix . . . 18μs BMat8 004: random . . . 138μs BMat8 005: call operator . . . 24μs BMat8 006: operator<< . . . 24μs BMat8 007: set . . . 100μs BMat8 008: row space basis . . . 768μs BMat8 009: col space basis . . . 762μs BMat8 010: row space basis . . . 1275μs BMat8 011: number_of_rows, number_of_cols . . . 45μs BMat8 012: row_space, col_space . . . 270μs BMat8 013: rows . . . 54μs BMat8 014: one . . . 14μs BMat8 015: vector constructor . . . 160μs BMat8 016: operator< . . . 17μs BMat8 017: adapters . . . 25μs BMat8 018: one . . . 15μs Bipartition 009: mem fns 1 . . . 34μs Bipartition 010: hash . . . 10μs Bipartition 011: mem fns 2 . . . 27μs Bipartition 012: delete/copy . . . 11μs Bipartition 013: degree 0 . . . 13μs Bipartition 014: exceptions . . . 53μs Bipartition 015: convenience constructor . . . 387μs Bipartition 016: force copy constructor over move constructor . . . 19μs Bipartition 017: adapters . . . 11μs BitSet 000: size . . . 15μs BitSet 001: operator< . . . 13μs BitSet 002: operator== . . . 15μs BitSet 003: operator!= . . . 15μs BitSet 004: operator&= . . . 17μs BitSet 005: & . . . 21μs BitSet 006: operator|= . . . 24μs BitSet 007: operator[] . . . 21μs BitSet 008: set(none) . . . 24μs BitSet 009: set(pos, value) . . . 23μs BitSet 010: set(first, last, value) . . . 28μs BitSet 011: reset(first, last) . . . 26μs BitSet 012: reset(pos) . . . 27μs BitSet 013: apply (iterate through set bits) . . . 31μs BitSet 014: std::hash . . . 10μs BitSet 015: constructors . . . 23μs BitSet 016: max_size . . . 10μs BitSet 017: insertion operators . . . 16μs Blocks 001: empty blocks . . . 14μs Blocks 002: non-empty blocks . . . 15μs Blocks 003: left blocks of bipartition . . . 16μs Blocks 004: right blocks of bipartition . . . 16μs Blocks 005: copy [empty blocks] . . . 13μs Blocks 006: copy [non-empty blocks] . . . 15μs Blocks 007: hash value . . . 15μs Blocks 008: operator< . . . 14μs Congruence 000: left congruence on fp semigroup . . . 108μs Congruence 001: 2-sided congruence on fp semigroup . . . 894μs Congruence 002: left congruence on fp semigroup . . . 631μs Congruence 003: word_to_class_index for cong. on fp semigroup . . . 738μs Congruence 004: word_to_class_index for cong. on fp semigroup . . . 948μs Congruence 005: trivial congruence on non-fp semigroup . . . 473μs Congruence 006: 2-sided congruence on non-fp semigroup . . . 322μs Congruence 007: 2-sided congruence on fp semigroup . . . 603μs Congruence 008: 2-sided congruence on infinite fp semigroup . . . 293μs Congruence 009: 2-sided congruence on infinite fp semigroup . . . 427μs Congruence 010: 2-sided congruence on finite semigroup . . . 51ms Congruence 012: 2-sided congruence on finite semigroup . . . 4780μs Congruence 013: trivial 2-sided congruence on bicyclic monoid . . . 977μs Congruence 014: non-trivial 2-sided congruence on bicyclic monoid . . . 466μs Congruence 015: 2-sided congruence on free abelian monoid . . . 503μs Congruence 016: example where TC works but KB doesn't . . . 779μs Congruence 017: 2-sided congruence on finite semigroup . . . 482μs Congruence 018: infinite fp semigroup from GAP library . . . 793μs Congruence 019: 2-sided cong. on fp semigroup with infinite [...] . . . 741μs Congruence 020: trivial cong. on an fp semigroup . . .  -- with compute size 401μs  -- with don't compute size 386μs Congruence 021: duplicate generators . . . 612μs Congruence 022: non-trivial classes . . . 1708μs Congruence 023: right congruence on finite semigroup . . . 245ms Congruence 024: redundant generating pairs . . . 85μs Congruence 025: 2-sided cong. on free semigroup . . . 71μs Congruence 026: is_quotient_obviously_(in)finite . . . 877μs Congruence 027: less . . . 805μs Congruence 028: 2-sided congruences of BMat8 semigroup . . . 145ms Congruence 029: left congruence on finite semigroup . . . 856μs Congruence 030: right congruence on finite semigroup . . . 832μs Congruence 031: right congruence on finite semigroup . . . 475μs Congruence 032: contains . . . 128μs Congruence 033: stellar_monoid S2 . . . 440μs Congruence 034: stellar_monoid S3 . . . 724μs Congruence 035: stellar_monoid S4 . . . 1866μs Congruence 036: stellar_monoid S5 . . . 10ms Congruence 037: stellar_monoid S6 . . . 83ms Congruence 038: stellar_monoid S7 . . . 774ms Congruence 039: left cong. on an f.p. semigroup . . . 2058μs Congruence 040: 2-sided cong. on infinite f.p. semigroup . . . 142μs Congruence 041: 2-sided congruence constructed from type only . . . 1097μs Congruence 042: const_contains . . . 596μs Congruence 043: no winner . . . 4761μs Congruence 044: congruence over smalloverlap . . . 6680μs CongruenceByPairs 001: (cong) 2-sided cong. on finite semigroup . . . 449μs CongruenceByPairs 002: (cong) left congruence on finite semigroup . . . 149μs CongruenceByPairs 003: (cong) right congruence on finite semigroup . . . 141μs CongruenceByPairs 004: (cong) trivial congruence on finite s [...] . . . 101μs CongruenceByPairs 005: (cong) trivial left congruence on fin [...] . . . 92μs CongruenceByPairs 006: (cong) trivial right congruence on fi [...] . . . 92μs CongruenceByPairs 007: (cong) universal congruence on finite [...] . . . 491μs CongruenceByPairs 009: (cong) 2-sided congruence on finite s [...] . . . 656ms CongruenceByPairs 010: (cong) left congruence on big finite [...] . . . 34ms CongruenceByPairs 011: (cong) left congruence on TCE . . . 272μs CongruenceByPairs 012: (cong) is_quotient_obviously_finite . . . 145μs CongruenceByPairs 013: (cong) class_index_to_word/quotient . . .  -- with right congruence 11ms  -- with left congruence 1431μs  -- with 2-sided congruence 8508μs CongruenceByPairs 014: (cong) const_word_to_class_index . . .  -- with right congruence 43μs  -- with left congruence 40μs  -- with 2-sided congruence 39μs CongruenceByPairs 015: (cong) size non-Element* . . . 24ms CongruenceInterface 000: add_pair . . .  -- with ToddCoxeter 175μs  -- with KnuthBendix 253μs  -- with CongruenceByPairs 190μs  -- with Congruence 1079μs CongruenceInterface 001: contains/const_contains . . .  -- with ToddCoxeter and no parent 193μs  -- with KnuthBendix and no parent 214μs  -- with Congruence and parent 999μs  -- with CongruenceByPairs and parent 151μs CongruenceInterface 002: less . . .  -- with ToddCoxeter 152μs  -- with KnuthBendix 233μs  -- with CongruenceByPairs 158μs  -- with Congruence 556μs CongruenceInterface 003: is_quotient_obviously_(in)finite . . .  -- with ToddCoxeter 123μs  -- with KnuthBendix 210μs CongruenceInterface 004: is_quotient_obviously_(in)finite . . .  -- with CongruenceByPairs 162μs  -- with Congruence 401μs CongruenceInterface 005: parent_froidure_pin . . .  -- with ToddCoxeter 41μs  -- with KnuthBendix 38μs CongruenceInterface 006: parent_froidure_pin . . .  -- with CongruenceByPairs 153μs  -- with Congruence 506μs CongruenceInterface 007: cbegin/cend_ntc . . .  -- with ToddCoxeter 270μs  -- with KnuthBendix 1893μs CongruenceInterface 008: cbegin/cend_ntc . . .  -- with CongruenceByPairs 196μs  -- with Congruence 517μs CongruenceInterface 009: quotient is immutable . . .  -- with ToddCoxeter 133μs  -- with KnuthBendix 182μs  -- with Congruence 348μs CongruenceInterface 010: no generating pairs added . . .  -- with KnuthBendix and common behaviour 4367μs  -- with Congruence and common behaviour 4522μs  -- with ToddCoxeter 120μs CongruenceInterface 011: nr generators not set . . .  -- with ToddCoxeter 205μs  -- with KnuthBendix 201μs  -- with Congruence 208μs CongruenceInterface 012: no generating pairs . . . 162μs ConstIteratorStateless 001: ? . . . 12μs ConstIteratorStateless 002: ? . . . 11μs Constants 001: Undefined . . . 19μs Constants 002: PositiveInfinity . . . 19μs Constants 003: NegativeInfinity . . . 17μs Constants 004: LimitMax . . . 17μs Duf 004: unite . . . 26μs Duf 006: compress . . . 18μs Duf 008: resize . . . 22μs Duf 009: resize . . . 14μs Duf 010: big chain . . . 22ms Duf 012: empty table . . . 12μs Duf 014: join . . . 15μs Duf 016: contains . . . 32μs Duf 018: swap . . . 38μs DynamicArray2 001: default constructor with 3 default args . . . 13μ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 . . . 17μs DynamicArray2 010: set/get . . . 28μs DynamicArray2 011: append 1/2 . . . 53μs DynamicArray2 012: append 2/2 . . . 79μs DynamicArray2 013: count . . . 24μs DynamicArray2 014: clear . . . 13μs DynamicArray2 015: begin_row and end_row . . . 72μs DynamicArray2 016: cbegin_row and cend_row . . . 31μs DynamicArray2 017: iterator operator++ (postfix) . . . 292μs DynamicArray2 018: iterator operator++ (prefix) . . . 1948μs DynamicArray2 019: iterator operator-- (postfix) . . . 380μs DynamicArray2 020: iterator operator-- (prefix) . . . 380μs DynamicArray2 021: operator= . . . 17μs DynamicArray2 022: operator== and operator!= . . . 257μs DynamicArray2 023: empty and clear . . . 16μs DynamicArray2 024: max_size . . . 12μs DynamicArray2 025: swap . . . 35μs DynamicArray2 026: iterator arithmetic . . . 1724μs DynamicArray2 027: iterator comparison . . . 16μs DynamicArray2 028: iterator operator= . . . 13μs DynamicArray2 029: iterator operator[] . . . 96μs DynamicArray2 030: iterator operator-> . . . 13μs DynamicArray2 031: const_iterator operator++/-- . . . 245μs DynamicArray2 032: const_iterator operator++/-- . . . 11μs DynamicArray2 033: column iterators . . . 29μs DynamicArray2 034: column iterator arithmetic . . . 6774μs DynamicArray2 035: iterator assignment constructor . . . 1860μs DynamicArray2 036: reserve method . . . 38μs DynamicArray2 037: erase column . . . 18μs DynamicArray2 038: swap_rows . . . 14μs DynamicArray2 039: apply_row_permutation . . . 14μs DynamicArray2 040: swap . . . 12μs DynamicArray2 041: shrink_rows_to . . . 18μs DynamicArray2 042: shrink_rows_to - for range . . . 19μs FastestBMat 046: check no throw . . . 14μs FelschTree 000: previously failing example . . . 30μs Forest 001: test forest . . . 74μs FpSemigroup 001: Renner monoid type B2 (E. G. presentation), q = 1 . . . 1013μs FpSemigroup 002: Renner monoid type B2 (E. G. presentation), q = 0 . . . 907μs FpSemigroup 003: Renner monoid type B3 (E. G. presentation), q = 1 . . . 232ms FpSemigroup 004: Renner monoid type B3 (E. G. presentation), q = 0 . . . 235ms FpSemigroup 005: Renner monoid type B2 (Gay-Hivert presentat [...] . . . 994μs FpSemigroup 006: Renner monoid type B2 (Gay-Hivert presentat [...] . . . 1063μs FpSemigroup 007: Renner monoid type B3 (Gay-Hivert presentat [...] . . . 6138μs FpSemigroup 008: Renner monoid type B3 (Gay-Hivert presentat [...] . . . 6295μs FpSemigroup 009: Renner monoid type B4 (Gay-Hivert presentat [...] . . . 253ms FpSemigroup 010: Renner monoid type B4 (Gay-Hivert presentat [...] . . . 362ms FpSemigroup 013: Renner monoid type D2 (E. G. presentation), q = 1 . . . 1573μs FpSemigroup 014: Renner monoid type D2 (E. G. presentation), q = 0 . . . 1569μs FpSemigroup 015: Renner monoid type D3 (E. G. presentation), q = 1 . . . 7152μs FpSemigroup 016: Renner monoid type D3 (E. G. presentation), q = 0 . . . 5751μs FpSemigroup 017: Renner monoid type D4 (E. G. presentation), q = 1 . . . 3558ms FpSemigroup 018: Renner monoid type D4 (E. G. presentation), q = 0 . . . 3547ms FpSemigroup 019: Renner monoid type D2 (Gay-Hivert presentat [...] . . . 1783μs FpSemigroup 020: Renner monoid type D2 (Gay-Hivert presentat [...] . . . 1556μs FpSemigroup 021: Renner monoid type D3 (Gay-Hivert presentat [...] . . . 5886μs FpSemigroup 022: Renner monoid type D3 (Gay-Hivert presentat [...] . . . 6208μs FpSemigroup 023: Renner monoid type D4 (Gay-Hivert presentat [...] . . . 112ms FpSemigroup 024: Renner monoid type D4 (Gay-Hivert presentat [...] . . . 117ms FpSemigroup 029: Rook monoid R5, q = 0 . . . 6546μs FpSemigroup 030: Rook monoid R5, q = 1 . . . 6052μs FpSemigroup 031: Rook monoid R6, q = 0 . . . 64ms FpSemigroup 032: Rook monoid R6, q = 1 . . . 63ms FpSemigroup 033: normal_form . . . 292μs FpSemigroup 034: for a finite semigroup . . . 728μs FpSemigroup 035: finite fp semigroup, dihedral group of order 6 . . . 533μs FpSemigroup 036: finite fp semigroup, size 16 . . . 817μs FpSemigroup 037: finite fp semigroup, size 16 . . . 1372μs FpSemigroup 038: fp semigroup, size 240 . . . 1054μs FpSemigroup 039: add_rule . . . 210μs FpSemigroup 040: add_rule . . . 135μs FpSemigroup 041: equal_to . . . 294μs FpSemigroup 042: cbegin/cend_rules . . . 60μs FpSemigroup 043: semigroup of size 3 . . . 362μs FpSemigroup 044: run_for/until . . . 2357μs FpSemigroup 045: constructors . . . 193μs FpSemigroup 046: set_inverses . . . 152μs FpSemigroup 047: smalloverlap . . . 6985μs FpSemigroup 048: quaternion group Q8 . . . 444μs FpSemigroup 049: symmetric group Coxeter presentation . . . 110ms FpSemigroupByPairs 029: (fpsemi) 2-sided congruence on finit [...] . . . 833μs FpSemigroupByPairs 030: (fpsemi) 2-sided congruence on finit [...] . . . 821μs FpSemigroupInterface 000: run with no alphabet . . .  -- with ToddCoxeter 105μs  -- with KnuthBendix 75μs  -- with FpSemigroup 109μs FpSemigroupInterface 001: equal_to . . .  -- with ToddCoxeter and human readable alphabet 3923μs  -- with KnuthBendix and human readable alphabet 10ms  -- with FpSemigroup and human readable alphabet 5262μs  -- with FpSemigroupByPairs 3541μs FpSemigroupInterface 002: normal_form . . .  -- with ToddCoxeter 214μs  -- with KnuthBendix 238μs  -- with FpSemigroup 641μs FpSemigroupInterface 003: set_alphabet (1/2) . . .  -- with ToddCoxeter 135μs  -- with KnuthBendix 120μs  -- with FpSemigroup 132μs FpSemigroupInterface 004: set_alphabet (2/2) . . . 1414μs FpSemigroupInterface 005: add_rule after finished . . .  -- with ToddCoxeter and human readable alphabet 198μs  -- with KnuthBendix and human readable alphabet 230μs  -- with FpSemigroup and human readable alphabet 464μs  -- with FpSemigroupByPairs 1357μs FpSemigroupInterface 006: add_rule with equal words (1/2) . . .  -- with ToddCoxeter and human readable alphabet 139μs  -- with KnuthBendix and human readable alphabet 235μs  -- with FpSemigroup and human readable alphabet 283μs  -- with FpSemigroupByPairs 127μs FpSemigroupInterface 007: add_rule with equal words (2/2) . . .  -- with ToddCoxeter 27μs  -- with KnuthBendix 21μs  -- with FpSemigroup 33μs FpSemigroupInterface 008: add_rule with word_type . . .  -- with ToddCoxeter 63μs  -- with KnuthBendix 59μs  -- with FpSemigroup 88μs FpSemigroupInterface 009: add_rule with empty word (1/2) . . .  -- with ToddCoxeter 52μs  -- with FpSemigroup 60μs FpSemigroupInterface 010: add_rule with empty word (1/2) . . . 16μs FpSemigroupInterface 011: add_rules (1/3) . . .  -- with ToddCoxeter 52μs  -- with KnuthBendix 46μs  -- with FpSemigroup 57μs FpSemigroupInterface 012: add_rules (2/3) . . . 265μs FpSemigroupInterface 013: add_rules (3/3) . . .  -- with ToddCoxeter 29μs  -- with KnuthBendix 26μs  -- with FpSemigroup 62μs FpSemigroupInterface 014: set_identity (1/3) . . .  -- with ToddCoxeter 152μs  -- with KnuthBendix 151μs  -- with FpSemigroup 189μs FpSemigroupInterface 015: set_identity (2/3) . . . 178μs FpSemigroupInterface 016: set_identity (3/3) . . .  -- with ToddCoxeter 92μs  -- with KnuthBendix 93μs  -- with FpSemigroup 134μs FpSemigroupInterface 017: identity . . .  -- with ToddCoxeter 39μs  -- with KnuthBendix 34μs  -- with FpSemigroup 44μs FpSemigroupInterface 018: set_inverses + inverses (1/2) . . .  -- with ToddCoxeter 239μs  -- with KnuthBendix 239μs  -- with FpSemigroup 292μs FpSemigroupInterface 019: set_inverses + inverses (2/2) . . . 335μs FpSemigroupInterface 020: is_obviously_infinite (1/2) . . .  -- with ToddCoxeter 165μs  -- with KnuthBendix 221μs  -- with FpSemigroup 749μs FpSemigroupInterface 021: is_obviously_infinite (2/2) . . . 37μs FpSemigroupInterface 022: is_obviously_finite (1/2) . . .  -- with ToddCoxeter 156μs  -- with KnuthBendix 212μs  -- with FpSemigroup 415μs FpSemigroupInterface 023: is_obviously_finite (2/2) . . . 33μs FpSemigroupInterface 024: to_gap_string (1/3) . . .  -- with ToddCoxeter 31μs  -- with KnuthBendix 28μs  -- with FpSemigroup 63μs FpSemigroupInterface 025: to_gap_string (2/3) . . . 19μs FpSemigroupInterface 026: to_gap_string (3/3) . . . 30μs FroidurePin 015: (BMat8) regular boolean mat monoid 4 . . . 72ms FroidurePin 016: (BMat8) exception zero generators given . . . 16μs FroidurePin 017: (BMat8) exception word_to_element . . . 88μs FroidurePin 018: (BMat8) exception prefix . . . 3695μs FroidurePin 019: (BMat8) exception suffix . . . 23μs FroidurePin 020: (BMat8) exception first_letter . . . 3629μs FroidurePin 021: (BMat8) exception final_letter . . . 22μs FroidurePin 022: (BMat8) exception current_length . . . 3606μs FroidurePin 023: (BMat8) exception product_by_reduction . . . 3908μs FroidurePin 024: (BMat8) exception fast_product . . . 3163μs FroidurePin 025: (BMat8) exception is_idempotent . . . 37ms FroidurePin 026: (BMat8) copy constructor . . .  -- with fully enumerated 35ms  -- with partially enumerated 27ms  -- with not enumerated 25ms FroidurePin 027: (BMat8) cbegin/end_rules . . . 60μs FroidurePin 031: (integers) . . . 124μs FroidurePin 039: (pairs of integers) non-trivial user type . . . 25μs FroidurePin 055: (tropical max-plus semiring matrices) . . . 246μs FroidurePin 061: projective max plus matrix . . . 1013μs FroidurePin 062: projective max plus matrix . . . 39μs FroidurePin> 009: small example 2 . . . 42μs FroidurePin> 005: small example 1 . . . 127μs FroidurePin> 007: regular bmat monoid 4 . . . 57ms FroidurePin> 011: small example 3 . . . 472μs FroidurePin> 006: small example 1 . . . 148μs FroidurePin> 008: regular bmat monoid 4 . . . 70ms FroidurePin> 010: small example 2 . . . 46μs FroidurePin> 012: small example 3 . . . 555μs FroidurePin 000: small example 1 . . . 158μs FroidurePin 001: default constructed . . . 129μs FroidurePin 002: small example 2 . . . 55μs FroidurePin 004: exception: is_idempotent . . . 317μs FroidurePin> 033: Example 000 . . . 710μs FroidurePin> 035: Example 001 . . . 46μs FroidurePin> 032: Example 000 . . . 586μs FroidurePin> 034: Example 001 . . . 42μs FroidurePin 036: exception: current_position . . . 190μs FroidurePin 037: exception: word_to_element . . . 120μs FroidurePin 038: exception: prefix, suffix, first_letter . . . 48ms FroidurePin> 040: Example 000 . . . 64μs FroidurePin> 041: Example 000 . . . 64μs FroidurePin> 046: Example 005 . . . 146μs FroidurePin> 047: Example 005 . . . 164μs FroidurePin> 048: Example 005 . . . 161μs FroidurePin> 044: Example 004 . . . 32μs FroidurePin> 045: Example 004 . . . 33μs FroidurePin> 049: Example 006 . . . 926μs FroidurePin> 050: Example 006 . . . 1069μs FroidurePin> 051: Example 006 . . . 1076μs FroidurePin> 052: Example 007 . . . 117μs FroidurePin> 053: Example 007 . . . 128μs FroidurePin> 054: Example 007 . . . 128μs FroidurePin 056: example 1 . . . 197μs FroidurePin 057: example 2 . . . 154μs FroidurePin> 058: . . . 571μs FroidurePin> 059: . . . 55μs FroidurePin> 060: exceptions: add_generator(s) . . . 85μs FroidurePin> 065: no exception zero generators given . . . 19μs FroidurePin> 066: exception generators of different [...] . . . 63μs FroidurePin> 067: exception current_position . . . 64μs FroidurePin> 068: exception word_to_element . . . 71μs FroidurePin> 069: exception gens . . . 747μs FroidurePin> 070: exception prefix . . . 59ms FroidurePin> 071: exception suffix . . . 151ms FroidurePin> 072: exception first_letter . . . 84μs FroidurePin> 073: exception final_letter . . . 81μs FroidurePin> 074: exception current_length . . . 80μs FroidurePin> 075: exception product_by_reduction . . . 997μs FroidurePin> 076: exception fast_product . . . 1047μs FroidurePin> 077: exception current_position . . . 732μs FroidurePin> 078: exception is_idempotent . . . 664μs FroidurePin> 079: exception add_generators . . . 50μs FroidurePin> 080: multithread number_of_idempotents . . . 999μs FroidurePin> 081: small semigroup . . . 30μs FroidurePin> 082: large semigroup . . . 5343μs FroidurePin> 083: at, position, current_* . . . 5414μs FroidurePin> 084: run . . . 5339μs FroidurePin> 085: run [many stops and starts] . . . 5538μs FroidurePin> 086: factorisation, length [1 element] . . . 5153μs FroidurePin> 087: factorisation, products [all elements] . . . 8213μs FroidurePin> 088: first/final letter, prefix, suffi [...] . . . 5256μs FroidurePin> 089: current_position [standard] . . . 27μs FroidurePin> 090: current_position [duplicate gens] . . . 8481μs FroidurePin> 091: current_position [after add_generators] . . . 5310μs FroidurePin> 092: cbegin_idempotents/cend [1 thread] . . . 5959μs FroidurePin> 093: idempotent_cend/cbegin [1 thread] . . . 5904μs FroidurePin> 094: is_idempotent [1 thread] . . . 6156μs FroidurePin> 096: finished, started . . . 5247μs FroidurePin> 097: current_position . . . 1187μs FroidurePin> 098: sorted_position, sorted_at . . . 6501μs FroidurePin> 099: right/left Cayley graph . . . 36ms FroidurePin> 100: iterator . . . 9555μs FroidurePin> 101: reverse iterator . . . 9570μs FroidurePin> 102: iterator arithmetic . . . 40ms FroidurePin> 103: iterator sorted . . . 36ms FroidurePin> 104: iterator sorted arithmetic . . . 46ms FroidurePin> 105: copy [not enumerated] . . . 5419μs FroidurePin> 106: copy_closure [not enumerated] . . . 34ms FroidurePin> 107: copy_add_generators [not enumerated] . . . 32ms FroidurePin> 108: copy [partly enumerated] . . . 5863μs FroidurePin> 109: copy_closure [partly enumerated] . . . 8667μs FroidurePin> 110: copy_add_generators [partly enumerated] . . . 5813μs FroidurePin> 111: copy [fully enumerated] . . . 8541μs FroidurePin> 112: copy_closure [fully enumerated] . . . 8625μs FroidurePin> 113: copy_add_generators [fully enumerated] . . . 7981μs FroidurePin> 114: relations [duplicate gens] . . . 172μs FroidurePin> 115: relations . . . 8810μs FroidurePin> 116: relations [copy_closure, duplicat [...] . . . 8842μs FroidurePin> 117: relations [copy_add_generators, d [...] . . . 8875μs FroidurePin> 118: relations [from copy, not enumerated] . . . 6959μs FroidurePin> 119: relations [from copy, partly enum [...] . . . 12ms FroidurePin> 120: relations [from copy, fully enumerated] . . . 13ms FroidurePin> 121: relations [from copy_closure, not [...] . . . 11ms FroidurePin> 122: relations [from copy_add_generato [...] . . . 6987μs FroidurePin> 123: relations [from copy_closure, par [...] . . . 9873μs FroidurePin> 124: relations [from copy_add_generato [...] . . . 8476μs FroidurePin> 125: relations [from copy_closure, ful [...] . . . 12ms FroidurePin> 126: relations [from copy_add_generato [...] . . . 11ms FroidurePin> 127: add_generators [duplicate generators] . . . 255μs FroidurePin> 128: add_generators [incremental 1] . . . 270μs FroidurePin> 129: add_generators [incremental 2] . . . 334μs FroidurePin> 130: closure [duplicate generators] . . . 187μs FroidurePin> 131: closure . . . 94μs FroidurePin> 132: factorisation . . . 27μs FroidurePin> 134: minimal_factorisation . . . 71μs FroidurePin> 135: batch_size (for an extremely larg [...] . . . 26μs FroidurePin> 137: exception: generators of differen [...] . . . 44μs FroidurePin> 138: exception: current_position . . . 64μs FroidurePin> 139: exception: word_to_element . . . 72μs FroidurePin> 140: exception: gens, current_position . . . 1077μs FroidurePin> 141: exception: add_generators . . . 44μs KBE 000: constructors . . . 50μs KBE 001: test . . . 86μs KBE 002: factorisation . . . 68μs KBE 003: swap . . . 47μs KBE 004: adapters . . . 45μs KBE 005: conversions . . . 44μs Kambites 000: (fpsemi) MT test 4 (std::string) . . . 6051μs Kambites 001: (fpsemi) MT test 4 (MultiStringView) . . . 5965μs Kambites 002: (fpsemi) number_of_pieces (std::string) . . . 115μs Kambites 003: (fpsemi) number_of_pieces (MultiStringView) . . . 105μs Kambites 004: (fpsemi) small_overlap_class (std::string) . . . 3634μs Kambites 005: (fpsemi) small_overlap_class (MultiStringView) . . . 3599μs Kambites 006: (fpsemi) random (std::string) . . . 10ms Kambites 007: (fpsemi) random (MultiStringView) . . . 10ms Kambites 008: (fpsemi) KnuthBendix 055 (std::string) . . . 15ms Kambites 009: (fpsemi) KnuthBendix 055 (MultiStringView) . . . 16ms Kambites 010: (fpsemi) smalloverlap/gap/test.gi:85 (std::string) . . . 93μs Kambites 011: (fpsemi) smalloverlap/gap/test.gi:85 (MultiStr [...] . . . 80μs Kambites 012: (fpsemi) free semigroup . . . 16μs Kambites 013: (fpsemi) smalloverlap/gap/test.gi:49 (std::string) . . . 34ms Kambites 014: (fpsemi) smalloverlap/gap/test.gi:49 (MultiStr [...] . . . 42ms Kambites 015: (fpsemi) smalloverlap/gap/test.gi:63 (std::string) . . . 38ms Kambites 016: (fpsemi) smalloverlap/gap/test.gi:63 (MultiStr [...] . . . 47ms Kambites 017: (fpsemi) smalloverlap/gap/test.gi:70 (std::string) . . . 138ms Kambites 018: (fpsemi) smalloverlap/gap/test.gi:70 (MultiStr [...] . . . 173ms Kambites 021: (fpsemi) code coverage (std::string) . . . 49μs Kambites 022: (fpsemi) code coverage (MultiStringView) . . . 35μs Kambites 023: (fpsemi) prefix (std::string) . . . 77μs Kambites 024: (fpsemi) prefix (MultiStringView) . . . 98μs Kambites 025: (fpsemi) normal_form (Example 3.15) (std::string) . . . 81μs Kambites 026: (fpsemi) normal_form (Example 3.15) (MultiStri [...] . . . 92μs Kambites 027: (fpsemi) normal_form (Example 3.16) (std::string) . . . 59μs Kambites 028: (fpsemi) normal_form (Example 3.16) (MultiStri [...] . . . 73μs Kambites 029: (fpsemi) normal_form (Example 3.16) more exhau [...] . . . 104ms Kambites 030: (fpsemi) normal_form (Example 3.16) more exhau [...] . . . 99ms Kambites 031: (fpsemi) small presentation (std::string) . . . 95μs Kambites 032: (fpsemi) small presentation (MultiStringView) . . . 79μs Kambites 033: (fpsemi) non-smalloverlap (std::string) . . . 85μs Kambites 034: (fpsemi) non-smalloverlap (MultiStringView) . . . 87μs Kambites 035: (fpsemi) MT test 3 (std::string) . . . 56μs Kambites 036: (fpsemi) MT test 3 (MultiStringView) . . . 54μs Kambites 037: (fpsemi) MT test 5 (std::string) . . . 32μs Kambites 038: (fpsemi) MT test 5 (MultiStringView) . . . 32μs Kambites 039: (fpsemi) MT test 6 (std::string) . . . 46μs Kambites 040: (fpsemi) MT test 6 (MultiStringView) . . . 50μs Kambites 041: (fpsemi) MT test 10 (std::string) . . . 43μs Kambites 042: (fpsemi) MT test 10 (MultiStringView) . . . 46μs Kambites 043: (fpsemi) MT test 13 (std::string) . . . 32μs Kambites 044: (fpsemi) MT test 13 (MultiStringView) . . . 33μs Kambites 045: (fpsemi) MT test 14 (std::string) . . . 30μs Kambites 046: (fpsemi) MT test 14 (MultiStringView) . . . 31μs Kambites 047: (fpsemi) MT test 15 (std::string) . . . 42μs Kambites 048: (fpsemi) MT test 15 (MultiStringView) . . . 42μs Kambites 049: (fpsemi) MT test 16 (std::string) . . . 42μs Kambites 050: (fpsemi) MT test 16 (MultiStringView) . . . 44μs Kambites 051: (fpsemi) MT test 17 (std::string) . . . 118μs Kambites 052: (fpsemi) MT test 17 (MultiStringView) . . . 104μs Kambites 053: (fpsemi) weak C(4) not strong x 1 (std::string) . . . 643μs Kambites 054: (fpsemi) weak C(4) not strong x 1 (MultiStringView) . . . 712μs Kambites 055: (fpsemi) weak C(4) not strong x 2 (std::string) . . . 635μs Kambites 056: (fpsemi) weak C(4) not strong x 2 (MultiStringView) . . . 712μs Kambites 057: (fpsemi) weak C(4) not strong x 3 (std::string) . . . 624μs Kambites 058: (fpsemi) weak C(4) not strong x 3 (MultiStringView) . . . 595μs Kambites 059: (fpsemi) weak C(4) not strong x 4 (std::string) . . . 75μs Kambites 060: (fpsemi) weak C(4) not strong x 4 (MultiStringView) . . . 86μs Kambites 061: (fpsemi) weak C(4) not strong x 5 (std::string) . . . 37μs Kambites 062: (fpsemi) weak C(4) not strong x 5 (MultiStringView) . . . 35μs Kambites 063: (fpsemi) weak C(4) not strong x 6 (std::string) . . . 48μs Kambites 064: (fpsemi) weak C(4) not strong x 6 (MultiStringView) . . . 50μs Kambites 065: (fpsemi) Konovalov example (std::string) . . . 35μs Kambites 066: (fpsemi) Konovalov example (MultiStringView) . . . 35μs Kambites 067: (fpsemi) long words (std::string) . . . 1574ms Kambites 068: (fpsemi) long words (MultiStringView) . . . 32ms Kambites 075: (cong) example 1 . . . 36μs Kambites 076: (cong) example 2 . . . 114μs Kambites 077: (cong) code coverage . . . 5632μs Kambites 078: (cong) large number of rules . . . 244ms KnuthBendix 000: (fpsemi) confluent fp semigroup 1 (infinite) . . . 142μs KnuthBendix 001: (fpsemi) confluent fp semigroup 2 (infinite) . . . 137μs KnuthBendix 002: (fpsemi) confluent fp semigroup 3 (infinite) . . . 109μs KnuthBendix 003: (fpsemi) non-confluent fp semigroup from wi [...] . . . 197μs KnuthBendix 004: (fpsemi) Example 5.1 in Sims (infinite) . . . 178μs KnuthBendix 005: (fpsemi) Example 5.1 in Sims (infinite) . . . 174μs KnuthBendix 006: (fpsemi) Example 5.3 in Sims . . . 162μs KnuthBendix 007: (fpsemi) Example 5.4 in Sims . . . 203μs KnuthBendix 008: (fpsemi) Example 6.4 in Sims (size 168) . . . 12ms KnuthBendix 009: (fpsemi) . . . 51ms KnuthBendix 010: (fpsemi) SL(2, 7) from Chapter 3, Propositi [...] . . . 126ms KnuthBendix 011: (fpsemi) F(2, 5) - Chapter 9, Section 1 in [...] . . . 729μs KnuthBendix 012: (fpsemi) Reinis example 1 . . . 241μs KnuthBendix 013: redundant_rule (std::string) . . . 100ms KnuthBendix 014: redundant_rule (word_type) . . . 10ms KnuthBendix 019: (fpsemi) C(4) monoid . . . 39μs KnuthBendix 020: (cong) Chinese monoid . . . 187μ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) . . . 2975μs KnuthBendix 024: (from kbmag/standalone/kb_data/3a6) . . . 348ms KnuthBendix 025: (from kbmag/standalone/kb_data/f2) . . . 63μs KnuthBendix 026: (from kbmag/standalone/kb_data/s16) . . . 189ms KnuthBendix 027: (from kbmag/standalone/kb_data/a4monoid) . . . 75μs KnuthBendix 028: (from kbmag/standalone/kb_data/degen3) . . . 28μs KnuthBendix 029: (from kbmag/standalone/kb_data/ab1) . . . 28μs KnuthBendix 030: (from kbmag/standalone/kb_data/degen2) . . . 20μs KnuthBendix 031: (from kbmag/standalone/kb_data/f25) . . . 706μs KnuthBendix 032: (from kbmag/standalone/kb_data/237) . . . 843μs KnuthBendix 033: (from kbmag/standalone/kb_data/c2) . . . 20μs KnuthBendix 034: (from kbmag/standalone/kb_data/cosets) . . . 302μs KnuthBendix 035: Example 5.1 in Sims (KnuthBendix 09 again) . . . 83μs KnuthBendix 036: (from kbmag/standalone/kb_data/nilp2) . . . 42μs KnuthBendix 037: Example 6.4 in Sims . . . 20ms KnuthBendix 038: KnuthBendix 071 again . . . 945μs KnuthBendix 039: Example 5.4 in Sims (KnuthBendix 11 again) [...] . . . 313μs KnuthBendix 040: Example 5.4 in Sims (KnuthBendix 11 again) [...] . . . 250μs KnuthBendix 041: operator<< . . . 75μs KnuthBendix 042: confluence_interval . . . 22μs KnuthBendix 043: max_overlap . . . 22μs KnuthBendix 044: (fpsemi) (from kbmag/standalone/kb_data/d22 [...] . . . 2157μs KnuthBendix 045: (fpsemi) (from kbmag/standalone/kb_data/d22 [...] . . . 3950μs KnuthBendix 046: (fpsemi) small example . . . 1075μs KnuthBendix 047: code coverage . . . 74μs KnuthBendix 048: small overlap 1 . . . 55μs KnuthBendix 049: (from kbmag/standalone/kb_data/s9) . . . 2480μs KnuthBendix 050: (fpsemi) Chapter 11, Lemma 1.8 (q = 6, r = [...] . . . 742μs KnuthBendix 051: (fpsemi) Chapter 11, Section 2 (q = 6, r = [...] . . . 171μs KnuthBendix 052: (fpsemi) Chapter 8, Theorem 4.2 in NR (infinite) . . . 314μs KnuthBendix 053: (fpsemi) equal_to fp semigroup . . . 62μs KnuthBendix 054: (fpsemi) equal_to free semigroup . . . 53μs KnuthBendix 055: (fpsemi) from GAP smalloverlap gap/test.gi [...] . . . 350μs KnuthBendix 056: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 620μs KnuthBendix 057: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 624μs KnuthBendix 058: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 1667μs KnuthBendix 059: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 3911μs KnuthBendix 060: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 34μs KnuthBendix 061: (fpsemi) Von Dyck (2,3,7) group (infinite) . . . 792μs KnuthBendix 062: (fpsemi) Von Dyck (2,3,7) group - different [...] . . . 7367μs KnuthBendix 063: (fpsemi) rewriting system from KnuthBendixC [...] . . . 501μs KnuthBendix 064: (fpsemi) rewriting system from Congruence 20 . . . 35μs KnuthBendix 065: (fpsemi) (from kbmag/standalone/kb_data/ab2) . . . 128μs KnuthBendix 066: (fpsemi) (from kbmag/standalone/kb_data/d22 [...] . . . 2207μs KnuthBendix 067: (fpsemi) (from kbmag/standalone/kb_data/degen1) . . . 78μs KnuthBendix 068: (fpsemi) (from kbmag/standalone/kb_data/s4) . . . 492μs KnuthBendix 069: (fpsemi) fp semigroup (infinite) . . . 68μs KnuthBendix 070: (fpsemi) Chapter 11, Section 1 (q = 4, r = [...] . . . 2660μs KnuthBendix 071: (fpsemi) Chapter 11, Section 1 (q = 8, r = [...] . . . 147ms KnuthBendix 072: (fpsemi) Chapter 7, Theorem 3.9 in NR (size 240) . . . 5108μs KnuthBendix 073: (fpsemi) F(2, 5) - Chapter 9, Section 1 in [...] . . . 735μs KnuthBendix 074: (fpsemi) F(2, 6) - Chapter 9, Section 1 in NR . . . 791μs KnuthBendix 075: (fpsemi) Chapter 10, Section 4 in NR (infinite) . . . 1453μs KnuthBendix 076: (fpsemi) Sym(5) from Chapter 3, Proposition [...] . . . 4439μs KnuthBendix 077: (fpsemi) SL(2, 7) from Chapter 3, Propositi [...] . . . 124ms KnuthBendix 078: (fpsemi) bicyclic monoid (infinite) . . . 52μs KnuthBendix 079: (fpsemi) plactic monoid of degree 2 (infinite) . . . 90μs KnuthBendix 080: (fpsemi) example before Chapter 7, Proposit [...] . . . 54μs KnuthBendix 081: (fpsemi) Chapter 7, Theorem 3.6 in NR (size 243) . . . 1140μs KnuthBendix 082: (fpsemi) finite semigroup (size 99) . . . 361μs KnuthBendix 096: Sorouhesh . . . 492μs KnuthBendix 097: (fpsemi) transformation semigroup (size 4) . . . 66μs KnuthBendix 098: (fpsemi) transformation semigroup (size 9) . . . 66μs KnuthBendix 099: (fpsemi) transformation semigroup (size 88) . . . 919μs KnuthBendix 100: internal_string_to_word . . . 48μs KnuthBendix 101: (fpsemi) construct from shared_ptr . . . 1000μs KnuthBendix 102: internal_string_to_word . . . 1353μs KnuthBendix 103: (cong) free semigroup congruence (5 classes) . . . 92μs KnuthBendix 104: free semigroup congruence (6 classes) . . . 499μs KnuthBendix 105: (cong) free semigroup congruence (16 classes) . . . 629μs KnuthBendix 106: (cong) free semigroup congruence (6 classes) . . . 1016μs KnuthBendix 107: (cong) free semigroup congruence (240 classes) . . . 5544μs KnuthBendix 108: (cong) free semigroup congruence (240 classes) . . . 5016μs KnuthBendix 109: (cong) less . . . 6495μs KnuthBendix 110: (cong) less . . . 267ms KnuthBendix 111: (cong) constructors . . . 429ms KnuthBendix 112: (cong) const_contains/contains . . . 267μs KnuthBendix 113: (cong) is_quotient_obviously_finite . . . 28μs KnuthBendix 114: (cong) class_index_to_word . . . 295μs KnuthBendix 115: (cong) quotient_froidure_pin . . . 214μs KnuthBendix 116: (cong) set_number_of_generators . . . 36μs KnuthBendix 117: (cong) number of classes when obv-inf . . . 60μs KnuthBendixCongruenceByPairs 016: non-trivial congruence on [...] . . . 257μs KnuthBendixCongruenceByPairs 017: non-trivial congruence on [...] . . . 340μs KnuthBendixCongruenceByPairs 018: non-trivial congruence on [...] . . . 711μs KnuthBendixCongruenceByPairs 019: non-trivial congruence on [...] . . . 728μs KnuthBendixCongruenceByPairs 020: trivial congruence on a fi [...] . . . 301μs KnuthBendixCongruenceByPairs 021: universal congruence on a [...] . . . 807μs KnuthBendixCongruenceByPairs 022: left congruence on a finit [...] . . . 410μs KnuthBendixCongruenceByPairs 023: finite group, Chapter 11, [...] . . . 7399μs KnuthBendixCongruenceByPairs 024: right congruence on infini [...] . . . 559μs KnuthBendixCongruenceByPairs 025: finite fp semigroup, dihed [...] . . . 634μs KnuthBendixCongruenceByPairs 026: finite fp semigroup, size 16 . . . 648μs KnuthBendixCongruenceByPairs 027: finite fp semigroup, size 16 . . . 1643μs KnuthBendixCongruenceByPairs 028: infinite fp semigroup with [...] . . . 89μs Konieczny 000: test000> . . . 1076μs Konieczny 001: test000> . . . 865μs Konieczny 002: test001> . . . 11ms Konieczny 003: test001> . . . 9801μs Konieczny 006: exceptions . . . 49μs Konieczny 007: code coverage . . . 14ms Konieczny 008: code coverage . . . 11ms Konieczny 009: regular elements and idempotents . . . 193ms Konieczny 010: regular D-class 01 . . . 998μs Konieczny 011: regular D-class 02 . . . 9237μs Konieczny 012: regular D-class 04: contains . . . 27ms Konieczny 013: non-regular D-classes 01 . . . 1055μs Konieczny 014: RegularDClass . . . 644μs Konieczny 015: full bmat monoid 4 . . . 41ms Konieczny 017: regular generated bmat monoid 4 idempotents . . . 81ms Konieczny 019: my favourite example . . . 76ms Konieczny 020: another large example . . . 15ms Konieczny 021: my favourite example transposed . . . 64ms Konieczny 024: exceptions . . . 1177μs Konieczny 025: 0-parameter constructor . . . 17ms Konieczny 026: non-regular D-classes 02 . . . 10ms Konieczny 028: partial perm . . . 176ms Konieczny 029: symmetric inverse monoid n = 8 . . . 30ms Konieczny 030: exceptions . . . 219ms Konieczny 031: transformations . . . 1080μs Konieczny 032: transformations - JDM favourite example . . . 124ms Konieczny 033: transformations - large example . . . 278ms Konieczny 034: transformations - large example with stop . . . 280ms Konieczny 035: transformations - large example with run_until . . . 280ms Konieczny 036: transformations - large example with stop in Action . . . 281ms Konieczny 037: exceptions . . . 73μs Konieczny 038: transformations: contains . . . 793μs Konieczny 040: transformations - destructor coverage . . . 237ms Konieczny 041: current_number_D_classes . . . 237ms Konieczny 042: add_generator . . . 44μs Konieczny 043: add_generator . . . 31μs Matrix 000: BMat<2> . . . 86μs Matrix 001: BMat<> . . . 95μs Matrix 002: BMat<3> + BMat<> . . . 14μs Matrix 003: BMat<2> + BMat<> . . . 13μs Matrix 004: BMat<3> . . . 14μs Matrix 005: BMat<> . . . 16μs Matrix 006: BMat<3> row_basis . . . 45μs Matrix 007: BMat<> row_basis . . . 50μs Matrix 008: IntMat<3> . . . 17μs Matrix 009: IntMat<> . . . 20μs Matrix 010: IntMat code cov . . . 12μs Matrix 011: MaxPlusMat<3> . . . 15μs Matrix 012: MaxPlusMat<> . . . 17μs Matrix 013: MaxPlusMat code cov . . . 10μs Matrix 014: MinPlusMat<3> . . . 19μs Matrix 015: MinPlusMat<> . . . 21μs Matrix 016: MinPlusMat code cov . . . 10μs Matrix 017: MaxPlusTruncMat<5, 2> . . . 17μs Matrix 018: MaxPlusTruncMat<5> . . . 19μs Matrix 019: MaxPlusTruncMat<> . . . 37μs Matrix 020: MaxPlusTruncMat<5, 4> . . . 19μs Matrix 021: MaxPlusTruncMat<5> . . . 20μs Matrix 022: MaxPlusTruncMat<> . . . 20μs Matrix 023: MaxPlusTruncMat<33, 3> . . . 40μs Matrix 024: MaxPlusTruncMat<33> . . . 40μs Matrix 025: MaxPlusTruncMat<> . . . 40μs Matrix 026: MaxPlusMat code cov . . . 11μs Matrix 027: MinPlusTruncMat<33, 3> . . . 43μs Matrix 028: MinPlusTruncMat<33> . . . 52μs Matrix 029: MinPlusTruncMat<> . . . 57μs Matrix 030: NTPMat<0, 3, 3, 3> . . . 17μs Matrix 031: NTPMat<0, 3> . . . 21μs Matrix 032: NTPMat<> . . . 49μs Matrix 033: NTPMat<0, 10, 4, 4> . . . 29μs Matrix 034: NTPMat<0, 10> . . . 23μs Matrix 035: NTPMat<> . . . 22μs Matrix 036: NTPMat<0, 10, 4, 4> . . . 22μs Matrix 037: NTPMat<0, 10> . . . 20μs Matrix 038: NTPMat<> . . . 20μs Matrix 039: NTPMat<33, 2, 3, 3> . . . 18μs Matrix 040: NTPMat<33, 2> . . . 16μs Matrix 041: NTPMat<> . . . 16μs Matrix 042: ProjMaxPlusMat<3> . . . 123μs Matrix 043: ProjMaxPlusMat<> . . . 83μs Matrix 044: exceptions . . . 69μs Matrix 045: code coverage . . . 62μs MultiStringView 000: catch all . . . 36μs MultiStringView 001: is_prefix . . . 15μs MultiStringView 002: erase . . . 18μs MultiStringView 003: iterators . . . 13μs MultiStringView 004: constructors (long) . . . 22μs MultiStringView 005: constructors (short) . . . 16μs MultiStringView 006: copy assignment (short assigned to long) . . . 14μs MultiStringView 007: copy assignment (short assigned to short) . . . 14μs MultiStringView 008: move assignment (short assigned to long) . . . 14μs MultiStringView 009: move assignment (short assigned to short) . . . 14μs MultiStringView 010: code coverage . . . 23μs MultiStringView 011: pop_front . . . 42μs MultiStringView 012: append . . . 15μs MultiStringView 013: operators . . . 17μs MultiStringView 014: maximum_common_suffix . . . 15μs MultiStringView 015: deep tests . . . 11μs ObviouslyInfinite 011: Multiple rule additions . . . 41μs ObviouslyInfinite 012: A power of the generator 'b' does not [...] . . . 13μs ObviouslyInfinite 013: Preserves the number of occurrences o [...] . . . 14μ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 . . . 21μs PBR 003: product [bigger than previous] . . . 28μs PBR 004: hash . . . 12μs PBR 005: delete/copy . . . 21μs PBR 006: exceptions . . . 257μs PBR 007: operators . . . 67μs PBR 008: to_string . . . 30μs PBR 009: identity . . . 45μs PBR 010: adapters . . . 10μs Pool 000: initial . . . 34μs Pool 001: bmat . . . 34μs Pool 002: PoolGuard . . . 31μs Pool 003: transformation products . . . 15μs Presentation 000: vectors of ints . . . 116μs Presentation 001: strings . . . 123μs Presentation 002: constructors (word_type) . . . 24μs Presentation 003: constructors (StaticVector1) . . . 26μs Presentation 004: constructors (std::string) . . . 22μs Presentation 005: alphabet + letters (word_type) . . . 188μs Presentation 006: alphabet + letters (std::string) . . . 62μs Presentation 007: contains_empty_word . . . 13μs Presentation 008: validate_rules throws . . . 80μs Presentation 009: helpers add_rule(s) . . . 169μs Presentation 010: helpers add_rule(s) (std::string) . . . 58μs Presentation 011: helpers add_identity_rules (std::vector/St [...] . . . 64μs Presentation 012: helpers add_identity_rules (std::string) . . . 36μs Presentation 013: helpers add_inverse_rules (all) . . . 330μs Presentation 014: helpers add_inverse_rules (std::string) . . . 20μs Presentation 015: helpers remove_duplicate_rules . . . 96μs Presentation 016: helpers reduce_complements . . . 180μs Presentation 017: helpers sort_each_rule . . . 101μs Presentation 018: helpers sort_rules . . . 106μs Presentation 019: helpers longest_common_subword/replace_subword . . . 194μs Presentation 020: helpers redundant_rule . . . 20ms Presentation 021: helpers shortlex_compare_concat . . . 12μs Presentation 022: helpers remove_trivial_rules . . . 99μs Presentation 023: helpers replace_subword (existing, replacement) . . . 55μs Presentation 024: helpers longest_rule . . . 202μs Presentation 025: helpers longest_rule_length . . . 188μs Presentation 026: helpers remove_redundant_generators . . . 159μs Presentation 027: helpers reverse . . . 23μs Presentation 028: in_alphabet . . . 28μs Presentation 029: replace_subword with empty word . . . 30μs Presentation 030: helpers replace_word . . . 42μs Presentation 031: clear . . . 13μs Presentation 032: letter . . . 51μs Presentation 033: normalize_alphabet . . . 16μs Presentation 034: longest_common_subword issue . . . 230μs Presentation 035: helpers add_zero_rules (std::vector/Static [...] . . . 64μs Presentation 036: helpers add_zero_rules (std::string) . . . 36μs Presentation 037: make_semigroup . . . 52μs Presentation 038: greedy_reduce_length . . . 159μs Presentation 039: aaaaaaaab = aaaaaaaaab strong compression . . . 53μs Presentation 040: change_alphabet . . . 106μs Presentation 042: first_unused_letter/letter . . . 224μs Presentation 043: case where strong compression doesn't work . . . 32μs Presentation 044: proof that . . . 52μs Presentation 045: decompression . . . 20μs Race 001: run_for . . . 10ms Race 002: run_until . . . 10ms Race 003: exceptions . . . 10ms Race 004: iterators . . . 16μs Race 005: find_runner . . . 16μs Race 006: run_func . . . 25ms Race 007: run_func . . . 10ms Race 008: run_func . . . 10ms Runner 000: run_for . . . 10ms Runner 001: run_for . . . 1018μs Runner 002: run_for . . . 191ms Runner 003: run_for . . . 25ms Runner 004: started . . . 1026μs Runner 005: run_until . . . 111ms Runner 006: kill . . . 13μs Runner 007: copy constructor . . . 10ms Runner 008: report . . . 20ms Runner 009: run_until with function pointer . . . 13μs SchreierSims 001: trivial perm. group (degree 1) . . . 15μs SchreierSims 002: trivial perm. group (degree 2) . . . 14μs SchreierSims 003: trivial perm. group (degree 500) . . . 46μs SchreierSims 004: symmetric perm. group (degree 5) . . . 21μs SchreierSims 005: symmetric perm. group (degree 8) . . . 40μs SchreierSims 006: symmetric perm. group (degree 9) . . . 59μs SchreierSims 007: alternating perm. group (degree 12) . . . 96μs SchreierSims 008: symmetric perm. group (degree 16) . . . 910μs SchreierSims 009: alternating perm. group (degree 15) . . . 436μs SchreierSims 010: alternating perm. group (degree 16) . . . 977μs SchreierSims 011: dihedral perm. group (order 10) . . . 15μs SchreierSims 012: dihedral perm. group (order 200) . . . 526μs SchreierSims 013: perm. group T (order 12) . . . 17μs SchreierSims 014: quaternion perm. group (order 8) . . . 19μs SchreierSims 015: perm. group (order 84129611558952960) . . . 203ms SchreierSims 016: perm. group SL(3, 5) (order 372000) . . . 853μs SchreierSims 017: perm. group PSL(4, 8) (order 34558531338240) . . . 81ms SchreierSims 018: perm. Mathieu group M11 (order 7920) . . . 77μs SchreierSims 019: perm. Mathieu group M24 (order 244823040) . . . 196μs SchreierSims 020: perm. Janko Group J1 (order 175560) . . . 1660μs SchreierSims 021: perm. Hall-Janko group (order 604800) . . . 266μs SchreierSims 022: perm. Hall-Janko group (alt.) (order 604800) . . . 18ms SchreierSims 023: perm. Conway group Co3 (order 495766656000) . . . 5818μ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) . . . 114ms SchreierSims 028: perm. group C2 x C2 x C2 (order 8) . . . 26μs SchreierSims 029: perm. group C2 x C2 x C2 x C2 (order 16) . . . 36μs SchreierSims 030: perm. group (S5 x S5) : C2 (order 28800) . . . 64μs SchreierSims 031: perm. group C3 x D8 x A5 (order 1440) . . . 66μs SchreierSims 032: perm. group GL(4, 3) (order 24261120) . . . 601μs SchreierSims 033: perm. group PSL(3, 7) (order 1876896) . . . 633μs SchreierSims 037: symmetric perm. group (degree 5) . . . 30μs SchreierSims 038: alternating perm. group (degree 17) . . . 5157μs SchreierSims 039: exceptions . . . 154μs SchreierSims 040: exceptions . . . 75μs SchreierSims 041: trivial group . . . 53μs SchreierSims 042: A17 bug . . . 4464μs SchreierSims 043: orbits_lookup test . . . 536μs SchreierSims 044: transversal_element and inversal_element test . . . 2697μs SchreierSimsHelper 001: trivial perm. group intersection (de [...] . . . 15μs SchreierSimsHelper 002: trivial perm. group intersection (de [...] . . . 20μs SchreierSimsHelper 003: cyclic group intersection (degree 13) . . . 30μs SchreierSimsHelper 004: D10 and Z5 intersection . . . 31μs SchreierSimsHelper 005: D8 and Q8 intersection . . . 31μs SchreierSimsHelper 006: primitive on 8 points intersection . . . 94μs SchreierSimsHelper 007: primitive on 8 points intersection ( [...] . . . 92μs SchreierSimsHelper 008: A13 and PGL(2, 11) intersection . . . 862μs SchreierSimsHelper 009: A13 and PGL(2, 11) intersection (swa [...] . . . 867μs SchreierSimsHelper 012: 3^3:13 and 3^3.2.A(4) intersection . . . 152μs SchreierSimsHelper 015: 3^3(S(4) x 2) and ASL(3, 3) intersection . . . 310μs SchreierSimsHelper 016: 7^2:3 x Q(8) and 7^2:D(2*6) intersection . . . 336μs SchreierSimsHelper 018: D(2*53) and 53:13 intersection . . . 198μs SchreierSimsHelper 019: 2^6:(7 x D_14) and PSL(2, 6)^2.4 int [...] . . . 1298μs SchreierSimsHelper 020: 2^6:(S_3 x GL(3, 2)) and 2.6:Alt(7) [...] . . . 4132μs SchreierSimsHelper 022: PSL(2, 127) and AGL(1, 2^7) intersection . . . 8641μs SchreierSimsHelper 023: PSL(3, 4).2 and PSL(3, 4).2 (nontriv [...] . . . 1456μs SchreierSimsHelper 024: PSL(3, 4).Sym(3) and PSL(3, 4).2 int [...] . . . 1793μs SchreierSimsHelper 025: 3^4:5:4 and D_16:4 intersection . . . 995μs Sims1 000: fp example 1 . . . 2221μs Sims1 001: fp example 2 . . . 2336μs Sims1 002: ToddCoxeter failing example . . . 23ms Sims1 003: ToddCoxeter failing example . . . 966μs Sims1 004: partition_monoid(2) right . . . 7741μs Sims1 006: full_transformation_monoid(3) right . . . 8852μs Sims1 007: full_transformation_monoid(3) left . . . 4980μs Sims1 009: rook_monoid(2, 1) . . . 114μs Sims1 010: symmetric_inverse_monoid(2) from FroidurePin . . . 111μs Sims1 011: symmetric_inverse_monoid(3) . . . 9183μs Sims1 014: temperley_lieb_monoid(3) from presentation . . . 88μs Sims1 015: temperley_lieb_monoid(4) from presentation . . . 1034μs Sims1 016: fp semigroup containing given pairs #1 . . . 386μs Sims1 017: fp semigroup containing given pairs #2 . . . 395μs Sims1 018: fp semigroup containing given pairs #3 . . . 690μs Sims1 019: ToddCoxeter failing example . . . 1100μs Sims1 020: fp example 2 . . . 2629μs Sims1 021: exceptions . . . 394μs Sims1 027: from https://mathoverflow.net/questions/423541/ . . . 38ms Sims1 028: from https://mathoverflow.net/questions/423541/ . . . 30ms Sims1 030: presentation with one free generator . . . 298μs Sims1 031: presentation with non-zero index generators . . . 68μs Sims1 032: presentation with empty word . . . 13ms Sims1 033: constructors . . . 1777μs Sims1 034: split_at . . . 329μs Sims1 035: stats . . . 100μs Sims1 036: check iterator requirements . . . 166μs Sims1 040: TransitiveGroup(10, 32) - minimal rep . . . 3794μs Sims1 043: rectangular_band(2, 2) - with and without identity . . . 236μs Sims1 044: trivial group - minimal o.r.c. rep . . . 105μs Sims1 045: right zero semigroup - minimal o.r.c. rep . . . 2417μs Sims1 046: semigroup with faithful non-strictly cyclic actio [...] . . . 732μs Sims1 068: RepOrc . . . 21ms Sims1 069: fp example 1 . . . 757μ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 4666μs (851ns 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 . . . 4739μs Sims1 072: symmetric_group(n) for n = 4 . . . 2914μs Sims1 073: corner case no generators + no relations . . . 145μs Sims1 076: uninitialized RepOrc . . . 26μs SmallestInteger 001: . . . 13μs StaticTriVector2 045: all . . . 19μs StaticVector2 043: all . . . 18μs Stephen 000: basic test 1 . . . 246μs Stephen 001: basic test 2 . . . 168μs Stephen 002: full transf monoid . . . 13ms Stephen 003: from step_hen 002 . . . 89μs Stephen 004: from step_hen 003 . . . 239μs Stephen 005: from step_hen 004 . . . 48μs Stephen 006: from step_hen 005 . . . 151μs Stephen 008: C(4) monoid normal form (test_case_knuth_bendix_055) . . . 209μs Stephen 009: C(4) monoid normal form (test_case_gap_smallove [...] . . . 150μs #0: Stephen: ------------------------------------------------------------ #0: Stephen: nodes | defined | killed | diff | #0: Stephen: ------------------------------------------------------------ #0: Stephen: 13 | +25 | -12 | +13 | (0s) #0: Stephen: 13 | +0 | -0 | +0 | (0s) Stephen 010: code coverage . . . 261μs Stephen 011: C(4) monoid normal form (test_case_gap_smallove [...] . . . 500μs Stephen 012: C(4) monoid normal form (test_case_gap_smallove [...] . . . 336μs Stephen 013: C(4) monoid equal to (test_case_gap_smalloverlap_70) . . . 145μs Stephen 014: C(4) monoid normal form (test_case_ex_3_13_14) . . . 673μs Stephen 015: C(4) monoid normal form (test_case_ex_3_15) . . . 902μs Stephen 016: C(4) monoid normal form (test_case_ex_3_16) . . . 544μs Stephen 017: C(4) monoid normal form (test_case_mt_3) . . . 262μs Stephen 018: C(4) monoid normal form (test_case_mt_5) . . . 180μs Stephen 019: C(4) monoid normal form (test_case_mt_6) . . . 494μs Stephen 020: C(4) monoid normal form (test_case_mt_10) . . . 174μs Stephen 021: C(4) monoid normal form (test_case_mt_13) . . . 166μs Stephen 022: C(4) monoid normal form (test_case_mt_14) . . . 167μs Stephen 023: C(4) monoid normal form (test_case_mt_15) . . . 168μs Stephen 024: C(4) monoid normal form (test_case_mt_16) . . . 171μs Stephen 025: C(4) monoid normal form (test_case_mt_17) . . . 463μs Stephen 026: C(4) monoid normal form (test_case_weak_1) . . . 660μs Stephen 027: C(4) monoid normal form (test_case_weak_2) . . . 317μs Stephen 028: C(4) monoid normal form (test_case_weak_3) . . . 320μs Stephen 029: C(4) monoid normal form (test_case_weak_4) . . . 326μs Stephen 030: C(4) monoid normal form (test_case_weak_5) . . . 175μs Stephen 031: Test behaviour when uninitialised . . . 501μ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 . . . 31μs Suf 019: swap . . . 34μs Timer 001: string method (1 argument) . . . 43μs Timer 002: string method (0 arguments) . . . 10ms Timer 003: reset/elapsed method . . . 20ms Timer 004: operator<< . . . 25μs ToddCoxeter 000: small 2-sided congruence . . .  -- with HLT + no standardise + full lookahead + no save 2531μs  -- with HLT + standardise + full lookahead + no save 2527μs  -- with HLT + no standardise + partial lookahead + no save 2503μs  -- with HLT + standardise + partial lookahead + no save 2505μs  -- with HLT + no standardise + full lookahead + save 2529μs  -- with HLT + standardise + full lookahead + save 2537μs  -- with HLT + no standardise + partial lookahead + save 2525μs  -- with HLT + standardise + partial lookahead + save 2456μs  -- with Felsch + no standardisation 2429μs  -- with Felsch + standardisation 1829μs  -- with random strategy 1568μs  -- with Rc style + full lookahead 1550μs  -- with Rc style + partial lookahead 1579μs  -- with R/C style 1591μs  -- with CR style 1552μs  -- with Cr style 1553μs ToddCoxeter 001: small 2-sided congruence . . .  -- with HLT + no standardise + full lookahead + no save 5956μs  -- with HLT + standardise + full lookahead + no save 5834μs  -- with HLT + no standardise + partial lookahead + no save 5396μs  -- with HLT + standardise + partial lookahead + no save 5403μs  -- with HLT + no standardise + full lookahead + save 5411μs  -- with HLT + standardise + full lookahead + save 5421μs  -- with HLT + no standardise + partial lookahead + save 5407μs  -- with HLT + standardise + partial lookahead + save 5398μs  -- with Felsch + no standardisation 5399μs  -- with Felsch + standardisation 5409μs  -- with random strategy 5406μs  -- with Rc style + full lookahead 5405μs  -- with Rc style + partial lookahead 5420μs  -- with R/C style 5407μs  -- with CR style 5429μs  -- with Cr style 5415μs ToddCoxeter 003: constructed from FroidurePin . . .  -- with Felsch + no standardisation 225ms  -- with Felsch + standardisation 224ms  -- with HLT + no standardise + full lookahead + no save 68ms  -- with HLT + standardise + full lookahead + no save 68ms  -- with HLT + no standardise + partial lookahead + no save 68ms  -- with HLT + standardise + partial lookahead + no save 68ms  -- with HLT + no standardise + full lookahead + save 232ms  -- with HLT + standardise + full lookahead + save 233ms  -- with HLT + no standardise + partial lookahead + save 233ms  -- with HLT + standardise + partial lookahead + save 233ms  -- with random strategy 231ms  -- with Rc style + full lookahead 228ms  -- with Rc style + partial lookahead 227ms  -- with R/C style 74ms  -- with CR style 228ms  -- with Cr style 227ms ToddCoxeter 004: 2-sided congruence from FroidurePin . . .  -- with HLT + no standardise + full lookahead + no save 288μs  -- with HLT + standardise + full lookahead + no save 255μs  -- with HLT + no standardise + partial lookahead + no save 248μs  -- with HLT + standardise + partial lookahead + no save 248μs  -- with HLT + save (throws) 283μs  -- with Felsch (throws) 265μs  -- with random strategy 276μs ToddCoxeter 005: non-trivial two-sided from relations . . .  -- with HLT + no standardise + full lookahead + no save 87μs  -- with HLT + standardise + full lookahead + no save 72μs  -- with HLT + no standardise + partial lookahead + no save 70μs  -- with HLT + standardise + partial lookahead + no save 69μs  -- with HLT + no standardise + full lookahead + save 86μs  -- with HLT + standardise + full lookahead + save 81μs  -- with HLT + no standardise + partial lookahead + save 79μs  -- with HLT + standardise + partial lookahead + save 80μs  -- with Felsch + no standardisation 73μs  -- with Felsch + standardisation 72μs  -- with random strategy 82μs  -- with Rc style + full lookahead 74μs  -- with Rc style + partial lookahead 73μs  -- with R/C style 77μs  -- with CR style 74μs  -- with Cr style 74μ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 58μs  -- with HLT + no standardise + partial lookahead + no save 58μs  -- with HLT + standardise + partial lookahead + no save 59μs  -- with HLT + no standardise + full lookahead + save 63μs  -- with HLT + standardise + full lookahead + save 63μs  -- with HLT + no standardise + partial lookahead + save 63μs  -- with HLT + standardise + partial lookahead + save 60μs  -- with Felsch + no standardisation 60μs  -- with Felsch + standardisation 63μs  -- with random strategy 73μs  -- with Rc style + full lookahead 63μs  -- with Rc style + partial lookahead 62μs  -- with R/C style 64μ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 71μs  -- with HLT + standardise + full lookahead + no save 64μs  -- with HLT + no standardise + partial lookahead + no save 64μs  -- with HLT + standardise + partial lookahead + no save 64μs  -- with HLT + no standardise + full lookahead + save 69μs  -- with HLT + standardise + full lookahead + save 71μs  -- with HLT + no standardise + partial lookahead + save 69μs  -- with HLT + standardise + partial lookahead + save 70μs  -- with Felsch + no standardisation 68μs  -- with Felsch + standardisation 72μs  -- with random strategy 81μs  -- with Rc style + full lookahead 74μs  -- with Rc style + partial lookahead 73μs  -- with R/C style 78μs  -- with CR style 78μs  -- with Cr style 76μs ToddCoxeter 008: for small fp 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 56μs  -- with HLT + standardise + partial lookahead + no save 57μs  -- with HLT + no standardise + full lookahead + save 62μs  -- with HLT + standardise + full lookahead + save 61μs  -- with HLT + no standardise + partial lookahead + save 60μ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 66μs  -- with Rc style + partial lookahead 64μs  -- with R/C style 69μs  -- with CR style 68μs  -- with Cr style 67μs ToddCoxeter 009: 2-sided cong. trans. semigroup . . .  -- with HLT + no standardise + full lookahead + no save 318μs  -- with HLT + standardise + full lookahead + no save 287μs  -- with HLT + no standardise + partial lookahead + no save 279μs  -- with HLT + standardise + partial lookahead + no save 282μs  -- with HLT + no standardise + full lookahead + save 698μs  -- with HLT + standardise + full lookahead + save 685μs  -- with HLT + no standardise + partial lookahead + save 679μs  -- with HLT + standardise + partial lookahead + save 679μs  -- with Felsch + no standardisation 663μs  -- with Felsch + standardisation 651μs  -- with random strategy 324μs  -- with Rc style + full lookahead 305μs  -- with Rc style + partial lookahead 301μs  -- with R/C style 325μs  -- with CR style 677μs  -- with Cr style 671μs ToddCoxeter 010: left congruence on transformation semigroup . . .  -- with HLT + no standardise + full lookahead + no save 346μs  -- with HLT + standardise + full lookahead + no save 347μs  -- with HLT + no standardise + partial lookahead + no save 334μs  -- with HLT + standardise + partial lookahead + no save 342μs  -- with HLT + no standardise + full lookahead + save 782μs  -- with HLT + standardise + full lookahead + save 778μs  -- with HLT + no standardise + partial lookahead + save 766μs  -- with HLT + standardise + partial lookahead + save 771μs  -- with Felsch + no standardisation 691μs  -- with Felsch + standardisation 664μs  -- with random strategy 892μs  -- with Rc style + full lookahead 407μs  -- with Rc style + partial lookahead 403μs  -- with R/C style 466μs  -- with CR style 751μs  -- with Cr style 741μs ToddCoxeter 011: right cong. trans. semigroup . . .  -- with HLT + no standardise + full lookahead + no save 353μs  -- with HLT + standardise + full lookahead + no save 357μs  -- with HLT + no standardise + partial lookahead + no save 343μs  -- with HLT + standardise + partial lookahead + no save 354μs  -- with HLT + no standardise + full lookahead + save 763μs  -- with HLT + standardise + full lookahead + save 778μs  -- with HLT + no standardise + partial lookahead + save 750μs  -- with HLT + standardise + partial lookahead + save 757μs  -- with Felsch + no standardisation 607μs  -- with Felsch + standardisation 629μs  -- with random strategy 469μs  -- with Rc style + full lookahead 419μs  -- with Rc style + partial lookahead 420μs  -- with R/C style 484μs  -- with CR style 668μs  -- with Cr style 663μs ToddCoxeter 012: trans. semigroup (size 88) . . .  -- with HLT + no standardise + full lookahead + no save 202μs  -- with HLT + standardise + full lookahead + no save 197μs  -- with HLT + no standardise + partial lookahead + no save 191μs  -- with HLT + standardise + partial lookahead + no save 194μs  -- with HLT + save (throws) 217μs  -- with Felsch (throws) 210μs  -- with random strategy 243μs ToddCoxeter 013: left cong. on trans. semigroup (size 88) . . .  -- with HLT + no standardise + full lookahead + no save 290μs  -- with HLT + standardise + full lookahead + no save 293μs  -- with HLT + no standardise + partial lookahead + no save 280μs  -- with HLT + standardise + partial lookahead + no save 292μs  -- with HLT + no standardise + full lookahead + save 733μs  -- with HLT + standardise + full lookahead + save 736μs  -- with HLT + no standardise + partial lookahead + save 714μs  -- with HLT + standardise + partial lookahead + save 726μs  -- with Felsch + no standardisation 647μs  -- with Felsch + standardisation 619μs  -- with random strategy 408μs  -- with Rc style + full lookahead 357μs  -- with Rc style + partial lookahead 356μs  -- with R/C style 419μs  -- with CR style 704μs  -- with Cr style 699μs ToddCoxeter 014: right cong. on trans. semigroup (size 88) . . .  -- with HLT + no standardise + full lookahead + no save 302μs  -- with HLT + standardise + full lookahead + no save 305μs  -- with HLT + no standardise + partial lookahead + no save 289μs  -- with HLT + standardise + partial lookahead + no save 299μs  -- with HLT + no standardise + full lookahead + save 709μs  -- with HLT + standardise + full lookahead + save 710μs  -- with HLT + no standardise + partial lookahead + save 693μs  -- with HLT + standardise + partial lookahead + save 715μs  -- with Felsch + no standardisation 553μs  -- with Felsch + standardisation 575μs  -- with random strategy 415μs  -- with Rc style + full lookahead 364μs  -- with Rc style + partial lookahead 362μs  -- with R/C style 429μs  -- with CR style 612μs  -- with Cr style 608μ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 125μs  -- with HLT + no standardise + partial lookahead + no save 117μs  -- with HLT + standardise + partial lookahead + no save 124μs  -- with HLT + no standardise + full lookahead + save 140μs  -- with HLT + standardise + full lookahead + save 137μs  -- with HLT + no standardise + partial lookahead + save 136μs  -- with HLT + standardise + partial lookahead + save 135μs  -- with Felsch + no standardisation 122μs  -- with Felsch + standardisation 120μs  -- with random strategy 137μs  -- with Rc style + full lookahead 123μs  -- with Rc style + partial lookahead 122μs  -- with R/C style 127μs  -- with CR style 128μs  -- with Cr style 126μ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 128μs  -- with HLT + no standardise + full lookahead + save 232μs  -- with HLT + standardise + full lookahead + save 231μs  -- with HLT + no standardise + partial lookahead + save 225μs  -- with HLT + standardise + partial lookahead + save 226μs  -- with Felsch + no standardisation 208μs  -- with Felsch + standardisation 203μs  -- with random strategy 237μs  -- with Rc style + full lookahead 144μs  -- with Rc style + partial lookahead 142μs  -- with R/C style 155μs  -- with CR style 215μs  -- with Cr style 214μs ToddCoxeter 017: finite fp-semigroup, size 16 . . .  -- with HLT + no standardise + full lookahead + no save 187μs  -- with HLT + standardise + full lookahead + no save 170μs  -- with HLT + no standardise + partial lookahead + no save 161μs  -- with HLT + standardise + partial lookahead + no save 169μs  -- with HLT + no standardise + full lookahead + save 381μs  -- with HLT + standardise + full lookahead + save 382μs  -- with HLT + no standardise + partial lookahead + save 371μs  -- with HLT + standardise + partial lookahead + save 373μs  -- with Felsch + no standardisation 320μs  -- with Felsch + standardisation 314μs  -- with random strategy 357μs  -- with Rc style + full lookahead 180μs  -- with Rc style + partial lookahead 178μs  -- with R/C style 192μs  -- with CR style 330μs  -- with Cr style 331μs ToddCoxeter 018: test lookahead . . .  -- with HLT + no standardise + full lookahead + no save 657μ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 604μs  -- with HLT + no standardise + full lookahead + save 777μs  -- with HLT + standardise + full lookahead + save 768μs  -- with HLT + no standardise + partial lookahead + save 751μs  -- with HLT + standardise + partial lookahead + save 774μs ToddCoxeter 019: non-trivial left cong. from semigroup . . .  -- with HLT + no standardise + full lookahead + no save 208μs  -- with HLT + standardise + full lookahead + no save 207μs  -- with HLT + no standardise + partial lookahead + no save 199μs  -- with HLT + standardise + partial lookahead + no save 206μs  -- with HLT + save (throws) 225μs  -- with Felsch (throws) 215μs  -- with random strategy 293μ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 33μ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 31μs ToddCoxeter 021: calling run when obviously infinite . . .  -- with HLT + no standardise + full lookahead + no save 81μs  -- with HLT + standardise + full lookahead + no save 74μs  -- with HLT + no standardise + partial lookahead + no save 72μs  -- with HLT + standardise + partial lookahead + no save 73μs  -- with HLT + no standardise + full lookahead + save 73μs  -- with HLT + standardise + full lookahead + save 73μs  -- with HLT + no standardise + partial lookahead + save 72μs  -- with HLT + standardise + partial lookahead + save 73μs  -- with Felsch + no standardisation 71μs  -- with Felsch + standardisation 71μs  -- with random strategy 71μs ToddCoxeter 022: stellar_monoid S3 . . .  -- with HLT + no standardise + full lookahead + no save 183μs  -- with HLT + standardise + full lookahead + no save 175μs  -- with HLT + no standardise + partial lookahead + no save 167μs  -- with HLT + standardise + partial lookahead + no save 172μs  -- with HLT + no standardise + full lookahead + save 312μs  -- with HLT + standardise + full lookahead + save 308μs  -- with HLT + no standardise + partial lookahead + save 299μs  -- with HLT + standardise + partial lookahead + save 302μs  -- with Felsch + no standardisation 269μs  -- with Felsch + standardisation 262μs  -- with random strategy 308μs  -- with Rc style + full lookahead 193μs  -- with Rc style + partial lookahead 191μs  -- with R/C style 215μs  -- with CR style 284μs  -- with Cr style 284μs ToddCoxeter 023: finite semigroup (size 5) . . .  -- with HLT + no standardise + full lookahead + no save 62μs  -- with HLT + standardise + full lookahead + no save 55μs  -- with HLT + no standardise + partial lookahead + no save 55μs  -- with HLT + standardise + partial lookahead + no save 55μs  -- with HLT + no standardise + full lookahead + save 60μs  -- with HLT + standardise + full lookahead + save 59μs  -- with HLT + no standardise + partial lookahead + save 58μs  -- with HLT + standardise + partial lookahead + save 58μs  -- with Felsch + no standardisation 57μs  -- with Felsch + standardisation 60μs  -- with random strategy 67μs  -- with Rc style + full lookahead 60μs  -- with Rc style + partial lookahead 59μs  -- with R/C style 64μs  -- with CR style 62μs  -- with Cr style 62μs ToddCoxeter 024: exceptions . . .  -- with HLT + no standardise + full lookahead + no save 297μs  -- with HLT + standardise + full lookahead + no save 282μs  -- with HLT + no standardise + partial lookahead + no save 279μs  -- with HLT + standardise + partial lookahead + no save 279μs  -- with HLT + no standardise + full lookahead + save 283μs  -- with HLT + standardise + full lookahead + save 289μs  -- with HLT + no standardise + partial lookahead + save 282μs  -- with HLT + standardise + partial lookahead + save 283μs  -- with Felsch + no standardisation 280μs  -- with Felsch + standardisation 280μs  -- with random strategy 285μs  -- with Rc style + full lookahead 281μs  -- with Rc style + partial lookahead 280μs  -- with R/C style 283μs  -- with CR style 282μs  -- with Cr style 283μs ToddCoxeter 025: obviously infinite . . .  -- with HLT + no standardise + full lookahead + no save 80μs  -- with HLT + standardise + full lookahead + no save 74μs  -- with HLT + no standardise + partial lookahead + no save 73μs  -- with HLT + standardise + partial lookahead + no save 74μs  -- with HLT + no standardise + full lookahead + save 74μs  -- with HLT + standardise + full lookahead + save 74μs  -- with HLT + no standardise + partial lookahead + save 74μs  -- with HLT + standardise + partial lookahead + save 73μs  -- with Felsch + no standardisation 74μs  -- with Felsch + standardisation 74μs  -- with random strategy 73μs ToddCoxeter 026: exceptions . . .  -- with HLT + no standardise + full lookahead + no save 176μs  -- with HLT + standardise + full lookahead + no save 165μs  -- with HLT + no standardise + partial lookahead + no save 163μs  -- with HLT + standardise + partial lookahead + no save 163μs  -- with HLT + no standardise + full lookahead + save 166μs  -- with HLT + standardise + full lookahead + save 165μs  -- with HLT + no standardise + partial lookahead + save 165μs  -- with HLT + standardise + partial lookahead + save 165μs  -- with Felsch + no standardisation 162μs  -- with Felsch + standardisation 166μs  -- with random strategy 177μs  -- with Rc style + full lookahead 166μs  -- with Rc style + partial lookahead 166μs  -- with R/C style 169μs  -- with CR style 167μs  -- with Cr style 168μs ToddCoxeter 027: empty . . . 49μs ToddCoxeter 028: congruence of fpsemigroup::ToddCoxeter . . .  -- with HLT + no standardise + full lookahead + no save 235μs  -- with HLT + standardise + full lookahead + no save 209μs  -- with HLT + no standardise + partial lookahead + no save 204μs  -- with HLT + standardise + partial lookahead + no save 205μs  -- with HLT + save (throws) 226μs  -- with Felsch (throws) 221μs  -- with random strategy 224μs  -- with HLT + no standardise + full lookahead + save 207μs  -- with HLT + standardise + full lookahead + save 208μs  -- with HLT + no standardise + partial lookahead + save 208μs  -- with HLT + standardise + partial lookahead + save 205μs  -- with Felsch + no standardisation 207μs  -- with Felsch + standardisation 208μs  -- with Rc style + full lookahead 199μs  -- with Rc style + partial lookahead 210μs  -- with R/C style 206μs  -- with CR style 201μs  -- with Cr style 203μ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 88μs  -- with HLT + no standardise + partial lookahead + no save and 2-sided 85μs  -- with HLT + standardise + partial lookahead + no save and 2-sided 85μs  -- with HLT + no standardise + full lookahead + save and 2-sided 91μ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 88μs  -- with Felsch + no standardisation and 2-sided 87μs  -- with Felsch + standardisation and 2-sided 86μs  -- with random strategy and 2-sided 94μs  -- with HLT + no standardise + full lookahead + no save and left 89μs  -- with HLT + standardise + full lookahead + no save and left 85μs  -- with HLT + no standardise + partial lookahead + no save and left 84μs  -- with HLT + standardise + partial lookahead + no save and left 85μs  -- with HLT + no standardise + full lookahead + save and left 95μs  -- with HLT + standardise + full lookahead + save and left 96μs  -- with HLT + no standardise + partial lookahead + save and left 95μs  -- with HLT + standardise + partial lookahead + save and left 96μs  -- with Felsch + no standardisation and left 95μs  -- with Felsch + standardisation and left 94μs  -- with random strategy and left 93μs  -- with HLT + no standardise + full lookahead + no save and right 88μs  -- with HLT + standardise + full lookahead + no save and right 84μs  -- with HLT + no standardise + partial lookahead + no save and right 84μs  -- with HLT + standardise + partial lookahead + no save and right 83μs  -- with HLT + no standardise + full lookahead + save and right 94μs  -- with HLT + standardise + full lookahead + save and right 94μs  -- with HLT + no standardise + partial lookahead + save and right 93μs  -- with HLT + standardise + partial lookahead + save and right 94μs  -- with Felsch + no standardisation and right 92μs  -- with Felsch + standardisation and right 95μs  -- with random strategy and right 103μs ToddCoxeter 030: KnuthBendix.finished() . . .  -- with HLT + no standardise + full lookahead + no save and 2-sided 210μs  -- with HLT + standardise + full lookahead + no save and 2-sided 189μs  -- with HLT + no standardise + partial lookahead + no save and 2-sided 183μs  -- with HLT + standardise + partial lookahead + no save and 2-sided 184μs  -- with HLT + no standardise + full lookahead + save and 2-sided 191μs  -- with HLT + standardise + full lookahead + save and 2-sided 190μs  -- with HLT + no standardise + partial lookahead + save and 2-sided 191μs  -- with HLT + standardise + partial lookahead + save and 2-sided 186μs  -- with Felsch + no standardisation and 2-sided 178μs  -- with Felsch + standardisation and 2-sided 181μs  -- with random strategy and 2-sided 197μs  -- with HLT + no standardise + full lookahead + no save and left 201μs  -- with HLT + standardise + full lookahead + no save and left 197μs  -- with HLT + no standardise + partial lookahead + no save and left 195μs  -- with HLT + standardise + partial lookahead + no save and left 195μs  -- with HLT + no standardise + full lookahead + save and left 206μs  -- with HLT + standardise + full lookahead + save and left 206μs  -- with HLT + no standardise + partial lookahead + save and left 206μs  -- with HLT + standardise + partial lookahead + save and left 205μs  -- with Felsch + no standardisation and left 202μs  -- with Felsch + standardisation and left 204μs  -- with random strategy and left 214μs  -- with HLT + no standardise + full lookahead + no save and right 199μs  -- with HLT + standardise + full lookahead + no save and right 194μs  -- with HLT + no standardise + partial lookahead + no save and right 194μs  -- with HLT + standardise + partial lookahead + no save and right 194μs  -- with HLT + no standardise + full lookahead + save and right 205μs  -- with HLT + standardise + full lookahead + save and right 206μs  -- with HLT + no standardise + partial lookahead + save and right 210μs  -- with HLT + standardise + partial lookahead + save and right 208μs  -- with Felsch + no standardisation and right 200μs  -- with Felsch + standardisation and right 203μs  -- with random strategy and right 219μs ToddCoxeter 031: KnuthBendix.finished() . . .  -- with HLT + no standardise + full lookahead + no save and 2-sided 148μs  -- with HLT + standardise + full lookahead + no save and 2-sided 136μs  -- with HLT + no standardise + partial lookahead + no save and 2-sided 133μs  -- with HLT + standardise + partial lookahead + no save and 2-sided 132μs  -- with HLT + no standardise + full lookahead + save and 2-sided 136μs  -- with HLT + standardise + full lookahead + save and 2-sided 137μs  -- with HLT + no standardise + partial lookahead + save and 2-sided 135μs  -- with HLT + standardise + partial lookahead + save and 2-sided 135μs  -- with Felsch + no standardisation and 2-sided 128μs  -- with Felsch + standardisation and 2-sided 129μs  -- with random strategy and 2-sided 143μs  -- with Rc style + full lookahead and 2-sided 141μs  -- with Rc style + partial lookahead and 2-sided 140μs  -- with R/C style and 2-sided 136μs  -- with CR style and 2-sided 133μs  -- with Cr style and 2-sided 139μs  -- with HLT + no standardise + full lookahead + no save and left 151μs  -- with HLT + standardise + full lookahead + no save and left 146μs  -- with HLT + no standardise + partial lookahead + no save and left 145μs  -- with HLT + standardise + partial lookahead + no save and left 145μs  -- with HLT + no standardise + full lookahead + save and left 156μs  -- with HLT + standardise + full lookahead + save and left 155μs  -- with HLT + no standardise + partial lookahead + save and left 154μs  -- with HLT + standardise + partial lookahead + save and left 153μs  -- with Felsch + no standardisation and left 149μs  -- with Felsch + standardisation and left 149μs  -- with random strategy and left 166μs  -- with Rc style + full lookahead and left 154μs  -- with Rc style + partial lookahead and left 154μs  -- with R/C style and left 149μs  -- with CR style and left 155μs  -- with Cr style and left 164μs  -- with HLT + no standardise + full lookahead + no save and right 158μs  -- with HLT + standardise + full lookahead + no save and right 148μs  -- with HLT + no standardise + partial lookahead + no save and right 146μs  -- with HLT + standardise + partial lookahead + no save and right 147μs  -- with HLT + no standardise + full lookahead + save and right 156μs  -- with HLT + standardise + full lookahead + save and right 156μs  -- with HLT + no standardise + partial lookahead + save and right 156μs  -- with HLT + standardise + partial lookahead + save and right 156μs  -- with Felsch + no standardisation and right 153μs  -- with Felsch + standardisation and right 153μs  -- with random strategy and right 169μs  -- with Rc style + full lookahead and right 160μs  -- with Rc style + partial lookahead and right 158μs  -- with R/C style and right 153μs  -- with CR style and right 158μs  -- with Cr style and right 164μs ToddCoxeter 032: prefill . . . 325μs ToddCoxeter 033: congruence of ToddCoxeter . . .  -- with HLT + no standardise + full lookahead + no save 79μs  -- with HLT + standardise + full lookahead + no save 72μs  -- with HLT + no standardise + partial lookahead + no save 70μs  -- with HLT + standardise + partial lookahead + no save 69μs  -- with HLT + no standardise + full lookahead + save 73μs  -- with HLT + standardise + full lookahead + save 72μs  -- with HLT + no standardise + partial lookahead + save 72μs  -- with HLT + standardise + partial lookahead + save 71μs  -- with random strategy 85μs ToddCoxeter 034: congruence of ToddCoxeter . . .  -- with HLT + no standardise + full lookahead + no save 148μs  -- with HLT + standardise + full lookahead + no save 140μs  -- with HLT + no standardise + partial lookahead + no save 138μs  -- with HLT + standardise + partial lookahead + no save 140μs  -- with HLT + save (throws) 160μs  -- with Felsch (throws) 155μs  -- with random strategy 161μs ToddCoxeter 035: congruence on FpSemigroup . . .  -- with HLT + no standardise + full lookahead + no save 385μs  -- with HLT + standardise + full lookahead + no save 360μs  -- with HLT + no standardise + partial lookahead + no save 355μs  -- with HLT + standardise + partial lookahead + no save 354μs  -- with HLT + no standardise + full lookahead + save 392μs  -- with HLT + standardise + full lookahead + save 390μs  -- with HLT + no standardise + partial lookahead + save 388μs  -- with HLT + standardise + partial lookahead + save 387μs  -- with Felsch + no standardisation 384μs  -- with Felsch + standardisation 384μs  -- with random strategy 400μs  -- with Rc style + full lookahead 356μs  -- with Rc style + partial lookahead 356μs  -- with R/C style 357μs  -- with CR style 388μs  -- with Cr style 388μs ToddCoxeter 036: exceptions . . . 124μs ToddCoxeter 037: copy constructor . . . 46μs ToddCoxeter 038: simplify . . . 171μs ToddCoxeter 039: stylic_monoid . . . 732ms ToddCoxeter 041: some finite classes . . . 776μs ToddCoxeter 043: symmetric_group(7, Coxeter + Moser) . . . 213ms ToddCoxeter 044: Option exceptions . . . 126μs ToddCoxeter 045: Options operator<< . . . 1091μs ToddCoxeter 046: Easdown-East-FitzGerald DualSymInv(5) . . .  -- with HLT + no standardise + full lookahead + no save 194ms  -- with HLT + standardise + full lookahead + no save 209ms  -- with HLT + no standardise + partial lookahead + no save 194ms  -- with HLT + standardise + partial lookahead + no save 210ms  -- with HLT + no standardise + full lookahead + save 183ms  -- with HLT + standardise + full lookahead + save 181ms  -- with HLT + no standardise + partial lookahead + save 183ms  -- with HLT + standardise + partial lookahead + save 181ms  -- with Felsch + no standardisation 208ms  -- with Felsch + standardisation 208ms  -- with random strategy 221ms  -- with R/C style 208ms  -- with Rc style + full lookahead 219ms  -- with Rc style + partial lookahead 219ms ToddCoxeter 047: uniform_block_bijection_monoid(3) (FitzGerald) . . .  -- with HLT + no standardise + full lookahead + no save 157μs  -- with HLT + standardise + full lookahead + no save 152μs  -- with HLT + no standardise + partial lookahead + no save 146μs  -- with HLT + standardise + partial lookahead + no save 150μs  -- with HLT + no standardise + full lookahead + save 255μs  -- with HLT + standardise + full lookahead + save 253μs  -- with HLT + no standardise + partial lookahead + save 244μs  -- with HLT + standardise + partial lookahead + save 243μs  -- with Felsch + no standardisation 195μs  -- with Felsch + standardisation 192μs  -- with random strategy 217μs  -- with R/C style 172μs  -- with Rc style + full lookahead 157μs  -- with Rc style + partial lookahead 157μ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 73ms  -- with HLT + no standardise + partial lookahead + save 71ms  -- with HLT + standardise + partial lookahead + save 73ms  -- with Felsch + no standardisation 87ms  -- with Felsch + standardisation 87ms  -- with random strategy 45ms  -- with R/C style 45ms  -- with Rc style + full lookahead 96ms  -- with Rc style + partial lookahead 96ms ToddCoxeter 050: singular_brauer_monoid(6) (Maltcev + Mazorchuk) . . . 472ms 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 6813μs ToddCoxeter 053: temperley_lieb_monoid(10) (East) . . . 34ms ToddCoxeter 063: add_rule . . .  -- with HLT + no standardise + full lookahead + no save 143μs  -- with HLT + standardise + full lookahead + no save 128μs  -- with HLT + no standardise + partial lookahead + no save 124μs  -- with HLT + standardise + partial lookahead + no save 123μs  -- with HLT + no standardise + full lookahead + save 128μs  -- with HLT + standardise + full lookahead + save 128μs  -- with HLT + no standardise + partial lookahead + save 127μs  -- with HLT + standardise + partial lookahead + save 127μs  -- with Felsch + no standardisation 126μs  -- with Felsch + standardisation 127μs  -- with random strategy 140μs  -- with Rc style + full lookahead 127μs  -- with Rc style + partial lookahead 128μs  -- with R/C style 133μs  -- with CR style 140μs  -- with Cr style 132μs  -- with R/C + Felsch lookahead 139μs  -- with HLT + Felsch lookahead + save 125μs  -- with Cr + small number of f_defs 135μs  -- with Rc + small number of deductions 127μs  -- with Felsch + v2 + no preferred defs 125μs  -- with Felsch + v2 + immediate no stack 127μs  -- with Felsch + v1 + immediate no stack 128μs  -- with Felsch + v1 + immediate yes stack 128μs  -- with large collapse 132μs ToddCoxeter 064: (from kbmag/standalone/kb_data/s4) (KnuthB [...] . . .  -- with HLT + no standardise + full lookahead + no save 396μs ToddCoxeter 066: test validate . . . 69μs ToddCoxeter 067: add_rules after construct. from semigroup . . .  -- with HLT + no standardise + full lookahead + no save 413μs  -- with HLT + standardise + full lookahead + no save 390μs  -- with HLT + no standardise + partial lookahead + no save 384μs  -- with HLT + standardise + partial lookahead + no save 383μs  -- with HLT + save (throws) 420μs  -- with Felsch (throws) 407μs  -- with random strategy 430μs ToddCoxeter 068: Sym(5) from Chapter 3, Proposition 1.1 in NR . . .  -- with Deduction policy == purge_from_top 1122μs  -- with Deduction policy == purge_all 1121μs  -- with Deduction policy == discard_all_if_no_space 1145μs  -- with HLT + no standardise + full lookahead + no save 1087μs  -- with HLT + standardise + full lookahead + no save 1332μs  -- with HLT + no standardise + partial lookahead + no save 1072μs  -- with HLT + standardise + partial lookahead + no save 1322μs  -- with HLT + no standardise + full lookahead + save 1562μs  -- with HLT + standardise + full lookahead + save 1553μs  -- with HLT + no standardise + partial lookahead + save 1527μs  -- with HLT + standardise + partial lookahead + save 1539μs  -- with Felsch + no standardisation 1080μs  -- with Felsch + standardisation 1060μs  -- with random strategy 1709μs  -- with Rc style + full lookahead 2208μs  -- with Rc style + partial lookahead 2181μs  -- with R/C style 1250μs  -- with CR style 1170μs  -- with Cr style 1144μs ToddCoxeter 069: Chapter 7, Theorem 3.6 in NR (size 243) . . .  -- with HLT + no standardise + full lookahead + no save 1042μs  -- with HLT + standardise + full lookahead + no save 1107μs  -- with HLT + no standardise + partial lookahead + no save 1031μs  -- with HLT + standardise + partial lookahead + no save 1103μs  -- with HLT + no standardise + full lookahead + save 892μs  -- with HLT + standardise + full lookahead + save 910μs  -- with HLT + no standardise + partial lookahead + save 874μs  -- with HLT + standardise + partial lookahead + save 904μs  -- with Felsch + no standardisation 5003μs  -- with Felsch + standardisation 5063μs  -- with random strategy 6364μs  -- with Rc style + full lookahead 1156μs  -- with Rc style + partial lookahead 1146μs  -- with R/C style 1281μs  -- with CR style 5048μs  -- with Cr style 5051μs ToddCoxeter 070: finite semigroup (size 99) . . .  -- with HLT + no standardise + full lookahead + no save 448μs  -- with HLT + standardise + full lookahead + no save 455μs  -- with HLT + no standardise + partial lookahead + no save 436μs  -- with HLT + standardise + partial lookahead + no save 452μs  -- with HLT + no standardise + full lookahead + save 389μs  -- with HLT + standardise + full lookahead + save 396μs  -- with HLT + no standardise + partial lookahead + save 382μs  -- with HLT + standardise + partial lookahead + save 394μs  -- with Felsch + no standardisation 925μs  -- with Felsch + standardisation 928μs  -- with random strategy 492μs  -- with Rc style + full lookahead 490μs  -- with Rc style + partial lookahead 488μs  -- with R/C style 544μs  -- with CR style 951μs  -- with Cr style 950μs ToddCoxeter 080: KnuthBendix 098 . . .  -- with HLT + no standardise + full lookahead + no save 1333ms  -- with HLT + standardise + full lookahead + no save 1215ms  -- with HLT + no standardise + partial lookahead + no save 1336ms  -- with HLT + standardise + partial lookahead + no save 1216ms  -- 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 603ms  -- with Felsch + no standardisation 588ms  -- with Felsch + standardisation 589ms  -- with random strategy 1530ms  -- with Rc style + full lookahead 579ms  -- with Rc style + partial lookahead 579ms  -- with R/C style 1339ms  -- with CR style 583ms  -- with Cr style 586ms ToddCoxeter 084: Campbell-Reza 1 . . .  -- with HLT + no standardise + full lookahead + no save 176μs  -- with HLT + standardise + full lookahead + no save 147μs  -- with HLT + no standardise + partial lookahead + no save 133μs  -- with HLT + standardise + partial lookahead + no save 142μs  -- with HLT + no standardise + full lookahead + save 154μs  -- with HLT + standardise + full lookahead + save 152μs  -- with HLT + no standardise + partial lookahead + save 148μs  -- with HLT + standardise + partial lookahead + save 149μs  -- with Felsch + no standardisation 163μs  -- with Felsch + standardisation 160μs  -- with random strategy 155μs  -- with Rc style + full lookahead 141μs  -- with Rc style + partial lookahead 140μs  -- with R/C style 149μs  -- with CR style 168μs  -- with Cr style 168μs ToddCoxeter 085: Renner monoid type D4 (Gay-Hivert), q = 1 . . .  -- with HLT + no standardise + full lookahead + no save 151ms  -- with HLT + standardise + full lookahead + no save 153ms  -- with HLT + no standardise + partial lookahead + no save 152ms  -- with HLT + standardise + partial lookahead + no save 150ms  -- with HLT + no standardise + full lookahead + save 150ms  -- with HLT + standardise + full lookahead + save 151ms  -- with HLT + no standardise + partial lookahead + save 151ms  -- with HLT + standardise + partial lookahead + save 151ms  -- with Felsch + no standardisation 151ms  -- with Felsch + standardisation 151ms  -- with random strategy 151ms  -- with Rc style + full lookahead 151ms  -- with Rc style + partial lookahead 151ms  -- with R/C style 151ms  -- with CR style 151ms  -- with Cr style 150ms ToddCoxeter 086: trivial semigroup . . . 240ms ToddCoxeter 092: ACE --- perf602p5 - HLT . . .  -- with HLT + no standardise + full lookahead + no save 29ms  -- with HLT + standardise + full lookahead + no save 28ms  -- with HLT + no standardise + partial lookahead + no save 28ms  -- with HLT + standardise + partial lookahead + no save 27ms  -- with HLT + no standardise + full lookahead + save 21ms  -- with HLT + standardise + full lookahead + save 22ms  -- with HLT + no standardise + partial lookahead + save 21ms  -- with HLT + standardise + partial lookahead + save 22ms  -- with random strategy 22ms  -- with Felsch + no standardisation 17ms  -- with Felsch + standardisation 17ms ToddCoxeter 094: ACE --- C5 - HLT . . .  -- with HLT + no standardise + full lookahead + no save 146μs  -- with HLT + standardise + full lookahead + no save 135μs  -- with HLT + no standardise + partial lookahead + no save 135μs  -- with HLT + standardise + partial lookahead + no save 132μs  -- with HLT + no standardise + full lookahead + save 155μs  -- with HLT + standardise + full lookahead + save 156μs  -- with HLT + no standardise + partial lookahead + save 154μs  -- with HLT + standardise + partial lookahead + save 154μs  -- with random strategy 152μs  -- with Felsch + no standardisation 144μs  -- with Felsch + standardisation 146μs ToddCoxeter 095: ACE --- A5-C5 . . .  -- with HLT + no standardise + full lookahead + no save 174μs  -- with HLT + standardise + full lookahead + no save 180μs  -- with HLT + no standardise + partial lookahead + no save 167μs  -- with HLT + standardise + partial lookahead + no save 178μs  -- with HLT + no standardise + full lookahead + save 215μs  -- with HLT + standardise + full lookahead + save 214μs  -- with HLT + no standardise + partial lookahead + save 212μs  -- with HLT + standardise + partial lookahead + save 213μs  -- with random strategy 236μs  -- with Felsch + no standardisation 187μs  -- with Felsch + standardisation 185μs ToddCoxeter 096: ACE --- A5 . . .  -- with HLT + no standardise + full lookahead + no save 358μs  -- with HLT + standardise + full lookahead + no save 397μs  -- with HLT + no standardise + partial lookahead + no save 335μs  -- with HLT + standardise + partial lookahead + no save 390μs  -- with HLT + no standardise + full lookahead + save 523μs  -- with HLT + standardise + full lookahead + save 512μs  -- with HLT + no standardise + partial lookahead + save 499μs  -- with HLT + standardise + partial lookahead + save 506μs  -- with random strategy 577μs  -- with Felsch + no standardisation 397μs  -- with Felsch + standardisation 392μs ToddCoxeter 098: relation ordering . . .  -- with Felsch + no standardisation 750μs  -- with Felsch + standardisation 728μs  -- with HLT + no standardise + full lookahead + no save 350μs  -- with HLT + standardise + full lookahead + no save 352μs  -- with HLT + no standardise + partial lookahead + no save 348μs  -- with HLT + standardise + partial lookahead + no save 349μs  -- with HLT + no standardise + full lookahead + save 792μs  -- with HLT + standardise + full lookahead + save 785μs  -- with HLT + no standardise + partial lookahead + save 782μs  -- with HLT + standardise + partial lookahead + save 792μs  -- with random strategy 398μs ToddCoxeter 099: short circuit size in obviously infinite . . . 21μs ToddCoxeter 101: http://brauer.maths.qmul.ac.uk/Atlas/spor/M [...] . . . 551ms ToddCoxeter 108: http://brauer.maths.qmul.ac.uk/Atlas/lin/L3 [...] . . . 483ms ToddCoxeter 110: to_gap_string . . . 136μs ToddCoxeter 111: partition_monoid(2) . . . 79μs ToddCoxeter 112: brauer_monoid(4) (Kudryavtseva + Mazorchuk) . . . 448μs ToddCoxeter 113: symmetric_inverse_monoid . . . 19ms ToddCoxeter 116: symmetric_group(7, Burnside + Miller) . . . 423ms UF 001: constructor by size . . . 15μs UF 002: copy constructor . . . 19μs UF 003: find . . . 18μs Ukkonen 000: basic tests . . . 105ms Ukkonen 001: maximal_piece_prefix 1 . . . 38μs Ukkonen 002: maximal_piece_prefix 2 . . . 46μs Ukkonen 003: maximal_piece_prefix 3 . . . 373μs Ukkonen 004: number_of_pieces . . . 92μs Ukkonen 005: traverse . . . 25μs Ukkonen 006: dot . . . 225μs Ukkonen 007: strings . . . 69μs Ukkonen 008: dfs #01 . . . 40μs Ukkonen 009: dfs #02 . . . 40μs Ukkonen 010: dfs #03 . . . 36μs Ukkonen 011: dfs #04 . . . 86μs Ukkonen 012: dfs #05 . . . 64μs Ukkonen 013: dfs #06 . . . 60μs Ukkonen 014: dfs #07 . . . 103μs Ukkonen 015: dfs #08 . . . 82μs Ukkonen 016: dfs #09 . . . 102μs Ukkonen 017: dfs #10 . . . 35μs Ukkonen 018: pieces . . . 45μs Ukkonen 019: code coverage . . . 57μs Ukkonen 020: code coverage . . . 11μs action_digraph_helper 015: detail::to_string . . . 23μs action_digraph_helper 016: make . . . 51μs action_digraph_helper 017: is_connected . . . 108μs action_digraph_helper 018: is_strictly_cyclic . . . 6555μs follow_path 012: 20 node path . . . 25μs fpsemi-examples 002: full_transformation_monoid author except . . . 44μs fpsemi-examples 003: full_transformation_monoid degree except . . . 39μs fpsemi-examples 005: partial_transformation_monoid author except . . . 48μs fpsemi-examples 006: partial_transformation_monoid degree except . . . 44μs fpsemi-examples 007: symmetric_inverse_monoid(5) . . . 19ms fpsemi-examples 008: symmetric_group auth except . . . 50μs fpsemi-examples 009: symmetric_group degree except . . . 45μs fpsemi-examples 010: symmetric_group(6) Burnside + Miller . . . 28ms fpsemi-examples 011: dual_symmetric_inverse_monoid(5) . . . 194ms fpsemi-examples 012: dual_symmetric_inverse_monoid auth except . . . 59μs fpsemi-examples 013: dual_symmetric_inverse_monoid degree except . . . 47μs fpsemi-examples 014: uniform_block_bijection_monoid(5) . . . 17ms fpsemi-examples 015: uniform_block_bijection_monoid auth except . . . 39μs fpsemi-examples 016: uniform_block_bijection_monoid degree except . . . 34μs fpsemi-examples 019: partition_monoid auth except . . . 166μs fpsemi-examples 020: partition_monoid degree except . . . 162μs fpsemi-examples 022: monogenic_semigroup(4, 9) . . . 46μs fpsemi-examples 023: fibonacci_semigroup(2, 5) . . . 107μs fpsemi-examples 024: temperley_lieb_monoid(10) . . . 38ms fpsemi-examples 025: singular_brauer_monoid(6) . . . 315ms fpsemi-examples 026: orientation_preserving_monoid(6) . . . 27ms fpsemi-examples 027: orientation_reversing_monoid(5) . . . 6798μs fpsemi-examples 028: chinese_monoid(3) . . . 199μs fpsemi-examples 029: plactic_monoid(3) . . . 175μs fpsemi-examples 030: stylic_monoid(3) . . . 1609μs fpsemi-examples 031: symmetric_group(6) Carmichael . . . 14ms fpsemi-examples 032: symmetric_group(6) Moore index 0 . . . 11ms fpsemi-examples 033: symmetric_group(6) Coxeter + Moser . . . 9089μs fpsemi-examples 034: test for the rook monoid . . . 379μs fpsemi-examples 035: alternating_group(7) Moore . . . 35ms fpsemi-examples 036: alternating_group auth except . . . 43μs fpsemi-examples 037: alternating_group degree except . . . 31μs fpsemi-examples 038: partial_transformation_monoid(3) Machine . . . 305μs fpsemi-examples 039: chinese_monoid degree except . . . 51μs fpsemi-examples 040: monogenic_semigroup degree except . . . 57μs fpsemi-examples 041: rectangular_band degree except . . . 93μs fpsemi-examples 042: stellar_monoid degree except . . . 53μs fpsemi-examples 043: plactic_monoid degree except . . . 50μs fpsemi-examples 044: stylic_monoid degree except . . . 46μs fpsemi-examples 045: temperley_lieb_monoid degree except . . . 68μs fpsemi-examples 046: singular_brauer_monoid degree except . . . 86μs fpsemi-examples 047: orientation_preserving_monoid degree except . . . 78μs fpsemi-examples 048: orientation_reversing_monoid degree except . . . 83μs fpsemi-examples 049: test default values . . . 4478μs fpsemi-examples 052: not_symmetric_group(5) Guralnick + Kant [...] . . . 3830μs fpsemi-examples 053: order_preserving_monoid(5) . . . 1043μs fpsemi-examples 055: order_preserving_monoid degree except . . . 77μs fpsemi-examples 056: cyclic_inverse_monoid(4) Fernandes 1 . . . 259μs fpsemi-examples 057: cyclic_inverse_monoid(8) Fernandes index 1 . . . 16ms fpsemi-examples 058: cyclic_inverse_monoid Fernandes index 0 . . . 31ms fpsemi-examples 059: order_preserving_cyclic_inverse_monoid(4) . . . 205μs fpsemi-examples 060: order_preserving_cyclic_inverse_monoid(10) . . . 32ms fpsemi-examples 061: cyclic_inverse_monoid degree except . . . 161μs fpsemi-examples 062: cyclic_inverse_monoid author except . . . 62μs fpsemi-examples 063: order_preserving_monoid degree except . . . 71μs fpsemi-examples 064: symmetric_group index except . . . 68μs fpsemi-examples 065: symmetric_group(7) Moore index 1 . . . 8647μs fpsemi-examples 066: order_preserving_cyclic_inverse_monoid(10) . . . 32ms fpsemi-examples 067: partial_isometries_cycle_graph_monoid(5) . . . 835μs fpsemi-examples 068: partial_isometries_cycle_graph_monoid(10) . . . 224ms fpsemi-examples 069: partial_isometries_cycle_graph_monoid d [...] . . . 93μs fpsemi-examples 070: partial_isometries_cycle_graph_monoid(4) . . . 323μs freeband_equal_to 001: . . . 671μ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 . . . 58μs is_acyclic 004: acyclic digraph with 20000 nodes . . . 1000μs is_acyclic 006: for a node . . . 940μs is_acyclic 007: for a node . . . 19μs is_reachable 008: acyclic 20 node digraph . . . 64μs is_reachable 009: 100 node path . . . 12ms is_reachable 010: 100 node cycle . . . 12ms is_reachable 011: 20 node clique . . . 471μs last_node_on_path_nc 014: 20 node path . . . 18μs make 000: from FroidurePin . . . 434μs make 001: from FroidurePin and alphabet . . . 587μs make 002: presentation from presentation . . . 395μs make 003: presentation from presentation and alphabet . . . 84μs make 004: argument checks issue . . . 223μs make 005: use human readable alphabet for make . . . 21μs make> 000: from ActionDigraph . . . 1175μs make> 001: from ActionDigraph (exceptions) . . . 71μs number_of_words 001: . . . 15μs operator"" _w 003: literal . . . 15μs silo 000: alphabet: a, min: 0, max: 10 . . . 42μs silo 001: corner cases . . . 31μs silo 002: alphabet: ab, min: 1, max: 4 . . . 54μs silo 003: alphabet: abc, min: 0, max: 13 . . . 95ms silo 004: code coverage . . . 31μ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 . . . 113μs sislo 008: alphabet: abc, min: 0, max: 13 . . . 90ms sislo 009: code coverage . . . 25μs string 000: detail::is_suffix . . . 14μs string 001: detail::is_prefix . . . 14μs string 002: detail::maximum_common_suffix . . . 12μs string 003: detail::group_digits . . . 22μs string_to_word 002: . . . 13μs validate_label 013: 20 node path . . . 42μs wilo 001: corner cases . . . 39μs wilo 002: letters: 2, min: 1, max: 4 . . . 39μs wilo 003: letters: 2, min: 1, max: 4 . . . 61μs wilo 004: letters: 3, min: 0, max: 10 . . . 21ms wilo 005: letters: 3, min: 0, max: 13 . . . 138ms wilo 006: forward iterator requirements . . . 137ms wilo 007: more corner cases . . . 55μs wilo 008: starting at a given word 1 . . . 133μs wilo 009: starting at a given word 2 . . . 25μs wilo 010: code coverage . . . 23μs wislo 000: n: 2, min; 1, max: 4 . . . 28μs wislo 001: corner cases . . . 46μs wislo 002: n: 3, min; 0, max: 10 . . . 4457μs wislo 003: n: 3, min; 0, max: 13 . . . 129ms wislo 004: lex + sort . . . 377ms wislo 005: code coverage . . . 28μs =============================================================================== All tests passed (1290212 assertions in 1190 test cases) >>> libsemigroups: Entering fakeroot... make[1]: Entering directory '/home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.0' ./config/install-sh -c -d '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib' ./config/install-sh -c -d '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups/backward-cpp' /bin/sh ./libtool --mode=install /usr/bin/install -c libsemigroups.la '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib' /usr/bin/install -c -m 644 extern/backward-cpp/backward.hpp '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups/backward-cpp' ./config/install-sh -c -d '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/pkgconfig' ./config/install-sh -c -d '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups' /usr/bin/install -c -m 644 libsemigroups.pc '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/pkgconfig' ./config/install-sh -c -d '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups/textflowcpp' libtool: install: /usr/bin/install -c .libs/libsemigroups.so.2.0.0 /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/libsemigroups.so.2.0.0 libtool: install: (cd /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib && { ln -s -f libsemigroups.so.2.0.0 libsemigroups.so.2 || { rm -f libsemigroups.so.2 && ln -s libsemigroups.so.2.0.0 libsemigroups.so.2; }; }) /usr/bin/install -c -m 644 extern/textflowcpp/TextFlow.hpp '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups/textflowcpp' /usr/bin/install -c -m 644 include/libsemigroups/action.hpp include/libsemigroups/adapters.hpp include/libsemigroups/bipart.hpp include/libsemigroups/bitset.hpp include/libsemigroups/bmat8.hpp include/libsemigroups/bmat.hpp include/libsemigroups/bruidhinn-traits.hpp include/libsemigroups/config.hpp include/libsemigroups/cong-intf.hpp include/libsemigroups/cong-pair-impl.hpp include/libsemigroups/cong-pair.hpp include/libsemigroups/cong-wrap.hpp include/libsemigroups/cong.hpp include/libsemigroups/constants.hpp include/libsemigroups/containers.hpp include/libsemigroups/coset.hpp include/libsemigroups/debug.hpp include/libsemigroups/deprecated.hpp include/libsemigroups/digraph-helper.hpp include/libsemigroups/digraph-with-sources.hpp include/libsemigroups/digraph-with-sources.tpp include/libsemigroups/digraph.hpp include/libsemigroups/exception.hpp include/libsemigroups/fastest-bmat.hpp include/libsemigroups/felsch-tree.hpp include/libsemigroups/felsch-digraph.hpp include/libsemigroups/felsch-digraph.tpp include/libsemigroups/forest.hpp include/libsemigroups/fpsemi-examples.hpp include/libsemigroups/fpsemi-intf.hpp include/libsemigroups/fpsemi.hpp include/libsemigroups/freeband.hpp include/libsemigroups/froidure-pin-base.hpp include/libsemigroups/froidure-pin-impl.hpp include/libsemigroups/froidure-pin.hpp include/libsemigroups/function-ref.hpp include/libsemigroups/hpcombi.hpp include/libsemigroups/int-range.hpp include/libsemigroups/iterator.hpp include/libsemigroups/kambites.hpp '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups' libtool: install: (cd /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib && { ln -s -f libsemigroups.so.2.0.0 libsemigroups.so || { rm -f libsemigroups.so && ln -s libsemigroups.so.2.0.0 libsemigroups.so; }; }) libtool: install: /usr/bin/install -c .libs/libsemigroups.lai /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/libsemigroups.la /usr/bin/install -c -m 644 include/libsemigroups/kbe.hpp include/libsemigroups/knuth-bendix.hpp include/libsemigroups/konieczny.hpp include/libsemigroups/libsemigroups.hpp include/libsemigroups/make-froidure-pin.hpp include/libsemigroups/make-present.hpp include/libsemigroups/matrix.hpp include/libsemigroups/node-manager.hpp include/libsemigroups/obvinf.hpp include/libsemigroups/order.hpp include/libsemigroups/pbr.hpp include/libsemigroups/pool.hpp include/libsemigroups/present.hpp include/libsemigroups/present.tpp include/libsemigroups/race.hpp include/libsemigroups/report.hpp include/libsemigroups/runner.hpp include/libsemigroups/schreier-sims.hpp include/libsemigroups/schreier-sims-helper.hpp include/libsemigroups/sims1.hpp include/libsemigroups/sims1.tpp include/libsemigroups/siso.hpp include/libsemigroups/stl.hpp include/libsemigroups/stephen.hpp include/libsemigroups/string-view.hpp include/libsemigroups/string.hpp include/libsemigroups/tce.hpp include/libsemigroups/timer.hpp include/libsemigroups/todd-coxeter-digraph.hpp include/libsemigroups/todd-coxeter-digraph.tpp include/libsemigroups/todd-coxeter.hpp include/libsemigroups/transf.hpp include/libsemigroups/types.hpp include/libsemigroups/uf.hpp include/libsemigroups/ukkonen.hpp include/libsemigroups/ukkonen.tpp include/libsemigroups/wilo.hpp include/libsemigroups/wislo.hpp include/libsemigroups/word.hpp '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups' libtool: install: /usr/bin/install -c .libs/libsemigroups.a /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/libsemigroups.a libtool: install: chmod 644 /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/libsemigroups.a libtool: install: ranlib /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/libsemigroups.a libtool: warning: remember to run 'libtool --finish /usr/lib' make[1]: Leaving directory '/home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.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.7.0-r0 pc:eigen3 pc:fmt pkgconfig >>> libsemigroups-dev*: Package size: 2.1 MB >>> libsemigroups-dev*: Compressing data... >>> libsemigroups-dev*: Create checksum... >>> libsemigroups-dev*: Create libsemigroups-dev-2.7.0-r0.apk >>> libsemigroups-static*: Tracing dependencies... >>> libsemigroups-static*: Package size: 5.9 MB >>> libsemigroups-static*: Compressing data... >>> libsemigroups-static*: Create checksum... >>> libsemigroups-static*: Create libsemigroups-static-2.7.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.7.0-r0.apk >>> libsemigroups: Build complete at Sun, 26 Mar 2023 18:14:15 +0000 elapsed time 0h 3m 25s >>> libsemigroups: Cleaning up srcdir >>> libsemigroups: Cleaning up pkgdir >>> libsemigroups: Uninstalling dependencies... (1/4) Purging .makedepends-libsemigroups (20230326.181052) (2/4) Purging eigen-dev (3.4.0-r8) (3/4) Purging fmt-dev (9.1.0-r0) (4/4) Purging fmt (9.1.0-r0) OK: 292 MiB in 96 packages >>> libsemigroups: Updating the testing/ppc64le repository index... >>> libsemigroups: Signing the index...