>>> libsemigroups: Building testing/libsemigroups 2.4.1-r0 (using abuild 3.10.0-r0) started Sat, 10 Dec 2022 12:21:28 +0000 >>> libsemigroups: Checking sanity of /home/buildozer/aports/testing/libsemigroups/APKBUILD... >>> libsemigroups: Analyzing dependencies... >>> libsemigroups: Installing for build: build-base eigen-dev fmt-dev (1/4) Installing eigen-dev (3.4.0-r6) (2/4) Installing fmt (9.1.0-r0) (3/4) Installing fmt-dev (9.1.0-r0) (4/4) Installing .makedepends-libsemigroups (20221210.122129) OK: 304 MiB in 101 packages >>> libsemigroups: Cleaning up srcdir >>> libsemigroups: Cleaning up pkgdir >>> libsemigroups: Fetching https://distfiles.alpinelinux.org/distfiles/edge/libsemigroups-2.4.1.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.4.1/libsemigroups-2.4.1.tar.gz % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 0 2406k 0 5679 0 0 3983 0 0:10:18 0:00:01 0:10:17 3983 100 2406k 100 2406k 0 0 1129k 0 0:00:02 0:00:02 --:--:-- 3405k >>> libsemigroups: Fetching https://distfiles.alpinelinux.org/distfiles/edge/libsemigroups-2.4.1.tar.gz >>> libsemigroups: Checking sha512sums... libsemigroups-2.4.1.tar.gz: OK >>> libsemigroups: Unpacking /var/cache/distfiles/libsemigroups-2.4.1.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' checking build system type... powerpc64le-alpine-linux-musl checking host system type... powerpc64le-alpine-linux-musl checking target system type... powerpc64le-alpine-linux-musl checking for a BSD-compatible install... /usr/bin/install -c checking whether build environment is sane... yes checking for a race-free mkdir -p... ./config/install-sh -c -d checking for gawk... no checking for mawk... no checking for nawk... no checking for awk... awk checking whether make sets $(MAKE)... yes checking whether make supports nested variables... yes checking how to create a pax tar archive... gnutar checking whether make supports nested variables... (cached) yes checking whether make supports the include directive... yes (GNU style) checking for powerpc64le-alpine-linux-musl-gcc... gcc checking whether the C compiler works... yes checking for C compiler default output file name... a.out checking for suffix of executables... checking whether we are cross compiling... no checking for suffix of object files... o checking whether the compiler supports GNU C... yes checking whether gcc accepts -g... yes checking for gcc option to enable C11 features... none needed checking whether gcc understands -c and -o together... yes checking dependency style of gcc... gcc3 checking for powerpc64le-alpine-linux-musl-ar... no checking for powerpc64le-alpine-linux-musl-lib... no checking for powerpc64le-alpine-linux-musl-link... no checking for ar... ar checking the archiver (ar) interface... ar checking whether the compiler supports GNU C++... yes checking whether g++ accepts -g... yes checking for g++ option to enable C++11 features... none needed checking dependency style of g++... gcc3 checking whether g++ supports C++14 features by default... yes checking for a sed that does not truncate output... /bin/sed checking how to run the C preprocessor... gcc -E checking for grep that handles long lines and -e... /bin/grep checking for egrep... /bin/grep -E checking whether gcc is Clang... no checking whether pthreads work with "-pthread" and "-lpthread"... yes checking for joinable pthread attribute... PTHREAD_CREATE_JOINABLE checking whether more special flags are required for pthreads... no checking for PTHREAD_PRIO_INHERIT... yes checking for pthread_create in -lpthread... yes checking whether to enable maintainer-specific portions of Makefiles... no checking whether ln -s works... yes checking how to print strings... printf checking for a sed that does not truncate output... (cached) /bin/sed checking for fgrep... /bin/grep -F checking for ld used by gcc... /usr/powerpc64le-alpine-linux-musl/bin/ld checking if the linker (/usr/powerpc64le-alpine-linux-musl/bin/ld) is GNU ld... yes checking for BSD- or MS-compatible name lister (nm)... /usr/bin/nm -B checking the name lister (/usr/bin/nm -B) interface... BSD nm checking the maximum length of command line arguments... 98304 checking how to convert powerpc64le-alpine-linux-musl file names to powerpc64le-alpine-linux-musl format... func_convert_file_noop checking how to convert powerpc64le-alpine-linux-musl file names to toolchain format... func_convert_file_noop checking for /usr/powerpc64le-alpine-linux-musl/bin/ld option to reload object files... -r checking for powerpc64le-alpine-linux-musl-file... no checking for file... file checking for powerpc64le-alpine-linux-musl-objdump... no checking for objdump... objdump checking how to recognize dependent libraries... pass_all checking for powerpc64le-alpine-linux-musl-dlltool... no checking for dlltool... no checking how to associate runtime and link libraries... printf %s\n checking for powerpc64le-alpine-linux-musl-ar... ar checking for archiver @FILE support... @ checking for powerpc64le-alpine-linux-musl-strip... no checking for strip... strip checking for powerpc64le-alpine-linux-musl-ranlib... no checking for ranlib... ranlib checking command to parse /usr/bin/nm -B output from gcc object... ok checking for sysroot... no checking for a working dd... /bin/dd checking how to truncate binary pipes... /bin/dd bs=4096 count=1 checking for powerpc64le-alpine-linux-musl-mt... no checking for mt... no checking if : is a manifest tool... no checking for stdio.h... yes checking for stdlib.h... yes checking for string.h... yes checking for inttypes.h... yes checking for stdint.h... yes checking for strings.h... yes checking for sys/stat.h... yes checking for sys/types.h... yes checking for unistd.h... yes checking for dlfcn.h... yes checking for objdir... .libs checking if gcc supports -fno-rtti -fno-exceptions... no checking for gcc option to produce PIC... -fPIC -DPIC checking if gcc PIC flag -fPIC -DPIC works... yes checking if gcc static flag -static works... yes checking if gcc supports -c -o file.o... yes checking if gcc supports -c -o file.o... (cached) yes checking whether the gcc linker (/usr/powerpc64le-alpine-linux-musl/bin/ld) supports shared libraries... yes checking whether -lc should be explicitly linked in... no checking dynamic linker characteristics... GNU/Linux ld.so checking how to hardcode library paths into programs... immediate checking whether stripping libraries is possible... yes checking if libtool supports shared libraries... yes checking whether to build shared libraries... yes checking whether to build static libraries... yes checking how to run the C++ preprocessor... g++ -E checking for ld used by g++... /usr/powerpc64le-alpine-linux-musl/bin/ld checking if the linker (/usr/powerpc64le-alpine-linux-musl/bin/ld) is GNU ld... yes checking whether the g++ linker (/usr/powerpc64le-alpine-linux-musl/bin/ld) supports shared libraries... yes checking for g++ option to produce PIC... -fPIC -DPIC checking if g++ PIC flag -fPIC -DPIC works... yes checking if g++ static flag -static works... yes checking if g++ supports -c -o file.o... yes checking if g++ supports -c -o file.o... (cached) yes checking whether the g++ linker (/usr/powerpc64le-alpine-linux-musl/bin/ld) supports shared libraries... yes checking dynamic linker characteristics... (cached) GNU/Linux ld.so checking how to hardcode library paths into programs... immediate checking for limits.h... yes checking for stdint.h... (cached) yes checking for stdlib.h... (cached) yes checking for sys/time.h... yes checking for unistd.h... (cached) yes checking for pthread.h... yes checking for _Bool... yes checking for stdbool.h that conforms to C99... yes checking for inline... inline checking for int64_t... yes checking for size_t... yes checking for uint64_t... yes checking for ptrdiff_t... yes checking size of void *... 8 checking for GNU libc compatible malloc... yes checking for gettimeofday... yes checking for memset... yes checking for pow... yes checking for sqrt... yes checking whether to enable debug mode... no checking whether to enable verbose mode... no checking whether enable compiler warnings... no checking whether to enable stats mode... yes checking whether to build with code coverage support... no checking whether to enable HPCombi... yes checking for ./extern/HPCombi/VERSION... yes checking the required version of HPCombi... 0.0.6 checking the version of HPCombi that's present... 0.0.6 checking whether C++ compiler accepts -mavx... no configure: WARNING: flag -mavx not supported, HPCombi is disabled checking for powerpc64le-alpine-linux-musl-pkg-config... no checking for pkg-config... /usr/bin/pkg-config checking pkg-config is at least version 0.9.0... yes checking whether to enable fmt... yes checking whether to use external fmt... yes checking for fmt >= 8.1.1... yes checking whether to enable eigen... yes checking whether to use external eigen... yes checking for eigen3 >= 3.3.7... yes checking for __builtin_popcountl... yes checking for __builtin_clzll... yes checking whether to try and use __builtin_popcntl... yes checking whether to try and use __builtin_clzlll... yes checking that generated files are newer than configure... done configure: creating ./config.status config.status: creating Makefile config.status: creating libsemigroups.pc config.status: creating config/config.h config.status: executing depfiles commands config.status: executing include/libsemigroups/config.hpp commands config.status: creating include/libsemigroups/config.hpp - prefix LIBSEMIGROUPS for config/config.h defines config.status: executing libtool commands CXX src/libsemigroups_la-bipart.lo CXX src/libsemigroups_la-bmat8.lo CXX src/libsemigroups_la-cong-intf.lo CXX src/libsemigroups_la-cong-pair.lo CXX src/libsemigroups_la-cong.lo CXX src/libsemigroups_la-constants.lo CXX src/libsemigroups_la-coset.lo CXX src/libsemigroups_la-felsch-tree.lo CXX src/libsemigroups_la-forest.lo CXX src/libsemigroups_la-fpsemi-examples.lo CXX src/libsemigroups_la-fpsemi-intf.lo CXX src/libsemigroups_la-fpsemi.lo CXX src/libsemigroups_la-freeband.lo CXX src/libsemigroups_la-froidure-pin-base.lo CXX src/libsemigroups_la-kambites.lo CXX src/libsemigroups_la-knuth-bendix.lo CXX src/libsemigroups_la-make-present.lo CXX src/libsemigroups_la-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-suffix-tree.lo CXX src/libsemigroups_la-timer.lo CXX src/libsemigroups_la-todd-coxeter.lo CXX src/libsemigroups_la-wilo.lo CXX src/libsemigroups_la-wislo.lo CXX src/libsemigroups_la-word.lo In file included from /usr/include/eigen3/Eigen/Core:350, from /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.4.1/include/libsemigroups/digraph.hpp:58, from /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.4.1/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.4.1' 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-string.o CXX tests/test-string-view.o CXX tests/test-suffix-tree.o CXX tests/test-timer.o CXX tests/test-todd-coxeter.o CXX tests/test-types.o CXX tests/test-uf.o CXX tests/test-wilo.o CXX tests/test-wislo.o CXX tests/test-word.o In file included from /usr/include/eigen3/Eigen/Core:350, from /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.4.1/include/libsemigroups/digraph.hpp:58, from /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.4.1/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.4.1/include/libsemigroups/digraph.hpp:58, from /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.4.1/include/libsemigroups/knuth-bendix.hpp:34, from /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.4.1/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.4.1/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.4.1/include/libsemigroups/digraph.hpp:58, from /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.4.1/include/libsemigroups/knuth-bendix.hpp:34, from /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.4.1/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.4.1' ./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 . . . 2072μs Action 003: add generators after enumeration . . . 2055μs Action 004: multipliers for BMat8 row and column orbits . . . 4345μs Action 005: orbits for regular boolean mat monoid 5 . . . 352ms Action 007: partial perm image orbit . . . 361μs Action 008: partial perm image orbit . . . 98ms Action 009: partial perm image orbit . . . 103ms Action 010: partial perm image orbit . . . 105ms Action 011: permutation on integers . . . 26μs Action 012: permutation on sets, arrays . . . 252μs Action 013: permutation on tuples, arrays . . . 26ms Action 014: permutation on sets, vectors . . . 315μs Action 015: permutation on tuples, vectors . . . 34ms Action 016: misc . . . 17ms Action 017: partial perm image orbit . . . 73μs Action 018: permutation on tuples, arrays (360360) . . . 351ms Action 019: orbits for regular BMat8 monoid 5 with stop/start . . . 473ms Action 021: orbits for regular boolean mat monoid 5 (BMat<5> [...] . . . 649ms ActionDigraph 000: constructor with 1 default arg . . . 17μs ActionDigraph 001: constructor with 0 default args . . . 52μs ActionDigraph 002: add nodes . . . 30μs ActionDigraph 003: add edges . . . 519μs ActionDigraph 004: strongly connected components - cycles . . . 29μs ActionDigraph 005: strongly connected components - no edges . . . 50ms ActionDigraph 006: strongly connected components - disjoint cycles . . . 1597μs ActionDigraph 007: strongly connected components - complete graphs . . . 604μs ActionDigraph 008: exceptions . . . 107μs ActionDigraph 009: spanning forest - complete graphs . . . 3198μs ActionDigraph 010: spanning forest - disjoint cycles . . . 110μs ActionDigraph 011: restrict . . . 13μs ActionDigraph 012: remove_edge_nc . . . 12μs ActionDigraph 013: scc large cycle . . . 9350μs ActionDigraph 014: random . . . 20μs ActionDigraph 015: reserve . . . 12μs ActionDigraph 016: default constructors . . . 17μs ActionDigraph 017: scc iterators . . . 847μs ActionDigraph 018: iterator to edges . . . 607μs ActionDigraph 019: root of scc . . . 250μs ActionDigraph 020: cbegin/end_panislo - 100 node path . . . 671μs ActionDigraph 021: cbegin/end_pislo . . . 58μs ActionDigraph 022: cbegin/end_pani(s)lo - 100 node cycle . . . 670μs ActionDigraph 023: cbegin/cend_pilo - tree 14 nodes . . . 105μs ActionDigraph 024: cbegin/end_pstilo - Cayley digraph . . . 232ms ActionDigraph 025: cbegin_pstilo - Tsalakou . . . 397μs ActionDigraph 026: cbegin/end_pstislo - Cayley digraph . . . 238ms ActionDigraph 027: cbegin/end_pstislo - Cayley digraph . . . 247μs ActionDigraph 028: path iterators corner cases . . . 298μs ActionDigraph 029: reverse node iterator . . . 13μs ActionDigraph 030: pstilo corner case . . . 38μs ActionDigraph 031: number_of_paths corner cases . . . 82μs ActionDigraph 032: number_of_paths acyclic digraph . . . 13ms ActionDigraph 033: number_of_paths binary tree . . . 544ms ActionDigraph 034: number_of_paths large binary tree . . . 85ms ActionDigraph 035: number_of_paths 400 node random digraph . . . 1052μs ActionDigraph 036: number_of_paths 10 node acyclic digraph . . . 38μs ActionDigraph 037: number_of_paths node digraph . . . 2555μs ActionDigraph 038: random/random_acyclic exceptions . . . 181μs ActionDigraph 039: unsafe (next) neighbour . . . 47μ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) . . . 16μ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 . . . 24μs BMat8 002: multiplication . . . 24μs BMat8 003: identity matrix . . . 18μs BMat8 004: random . . . 139μs BMat8 005: call operator . . . 24μs BMat8 006: operator<< . . . 24μs BMat8 007: set . . . 106μs BMat8 008: row space basis . . . 787μs BMat8 009: col space basis . . . 795μs BMat8 010: row space basis . . . 1245μs BMat8 011: number_of_rows, number_of_cols . . . 46μs BMat8 012: row_space, col_space . . . 273μs BMat8 013: rows . . . 54μs BMat8 014: one . . . 14μs BMat8 015: vector constructor . . . 168μs BMat8 016: operator< . . . 18μs BMat8 017: adapters . . . 25μs BMat8 018: one . . . 15μs Bipartition 009: mem fns 1 . . . 35μs Bipartition 010: hash . . . 10μs Bipartition 011: mem fns 2 . . . 26μs Bipartition 012: delete/copy . . . 12μs Bipartition 013: degree 0 . . . 13μs Bipartition 014: exceptions . . . 57μs Bipartition 015: convenience constructor . . . 411μs Bipartition 016: force copy constructor over move constructor . . . 19μs Bipartition 017: adapters . . . 11μs BitSet 000: size . . . 13μs BitSet 001: operator< . . . 13μs BitSet 002: operator== . . . 15μs BitSet 003: operator!= . . . 16μs BitSet 004: operator&= . . . 17μs BitSet 005: & . . . 21μs BitSet 006: operator|= . . . 22μs BitSet 007: operator[] . . . 22μs BitSet 008: set(none) . . . 25μs BitSet 009: set(pos, value) . . . 24μs BitSet 010: set(first, last, value) . . . 29μs BitSet 011: reset(first, last) . . . 25μs BitSet 012: reset(pos) . . . 26μs BitSet 013: apply (iterate through set bits) . . . 31μs BitSet 014: std::hash . . . 10μs BitSet 015: constructors . . . 25μ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 . . . 109μs Congruence 001: 2-sided congruence on fp semigroup . . . 912μs Congruence 002: left congruence on fp semigroup . . . 749μs Congruence 003: word_to_class_index for cong. on fp semigroup . . . 732μs Congruence 004: word_to_class_index for cong. on fp semigroup . . . 451μs Congruence 005: trivial congruence on non-fp semigroup . . . 467μs Congruence 006: 2-sided congruence on non-fp semigroup . . . 365μs Congruence 007: 2-sided congruence on fp semigroup . . . 648μs Congruence 008: 2-sided congruence on infinite fp semigroup . . . 339μs Congruence 009: 2-sided congruence on infinite fp semigroup . . . 436μs Congruence 010: 2-sided congruence on finite semigroup . . . 47ms Congruence 012: 2-sided congruence on finite semigroup . . . 4868μs Congruence 013: trivial 2-sided congruence on bicyclic monoid . . . 33ms Congruence 014: non-trivial 2-sided congruence on bicyclic monoid . . . 371μs Congruence 015: 2-sided congruence on free abelian monoid . . . 375μs Congruence 016: example where TC works but KB doesn't . . . 559μs Congruence 017: 2-sided congruence on finite semigroup . . . 377μs Congruence 018: infinite fp semigroup from GAP library . . . 586μs Congruence 019: 2-sided cong. on fp semigroup with infinite [...] . . . 301μs Congruence 020: trivial cong. on an fp semigroup . . .  -- with compute size 299μs  -- with don't compute size 285μs Congruence 021: duplicate generators . . . 486μs Congruence 022: non-trivial classes . . . 1455μs Congruence 023: right congruence on finite semigroup . . . 246ms Congruence 024: redundant generating pairs . . . 84μs Congruence 025: 2-sided cong. on free semigroup . . . 64μs Congruence 026: is_quotient_obviously_(in)finite . . . 845μs Congruence 027: less . . . 613μs Congruence 028: 2-sided congruences of BMat8 semigroup . . . 145ms Congruence 029: left congruence on finite semigroup . . . 1089μs Congruence 030: right congruence on finite semigroup . . . 1118μs Congruence 031: right congruence on finite semigroup . . . 475μs Congruence 032: contains . . . 128μs Congruence 033: stellar_monoid S2 . . . 450μs Congruence 034: stellar_monoid S3 . . . 848μs Congruence 035: stellar_monoid S4 . . . 1980μs Congruence 036: stellar_monoid S5 . . . 10ms Congruence 037: stellar_monoid S6 . . . 93ms Congruence 038: stellar_monoid S7 . . . 765ms Congruence 039: left cong. on an f.p. semigroup . . . 2151μs Congruence 040: 2-sided cong. on infinite f.p. semigroup . . . 148μs Congruence 041: 2-sided congruence constructed from type only . . . 1074μs Congruence 042: const_contains . . . 936μs Congruence 043: no winner . . . 4666μs Congruence 044: congruence over smalloverlap . . . 6381μs CongruenceByPairs 001: (cong) 2-sided cong. on finite semigroup . . . 430μs CongruenceByPairs 002: (cong) left congruence on finite semigroup . . . 134μs CongruenceByPairs 003: (cong) right congruence on finite semigroup . . . 131μs CongruenceByPairs 004: (cong) trivial congruence on finite s [...] . . . 100μs CongruenceByPairs 005: (cong) trivial left congruence on fin [...] . . . 88μs CongruenceByPairs 006: (cong) trivial right congruence on fi [...] . . . 87μs CongruenceByPairs 007: (cong) universal congruence on finite [...] . . . 482μs CongruenceByPairs 009: (cong) 2-sided congruence on finite s [...] . . . 660ms CongruenceByPairs 010: (cong) left congruence on big finite [...] . . . 34ms CongruenceByPairs 011: (cong) left congruence on TCE . . . 278μs CongruenceByPairs 012: (cong) is_quotient_obviously_finite . . . 147μs CongruenceByPairs 013: (cong) class_index_to_word/quotient . . .  -- with right congruence 12ms  -- with left congruence 1411μs  -- with 2-sided congruence 8474μs CongruenceByPairs 014: (cong) const_word_to_class_index . . .  -- with right congruence 42μs  -- with left congruence 40μs  -- with 2-sided congruence 38μs CongruenceByPairs 015: (cong) size non-Element* . . . 24ms CongruenceInterface 000: add_pair . . .  -- with ToddCoxeter 175μs  -- with KnuthBendix 254μs  -- with CongruenceByPairs 191μs  -- with Congruence 1094μs CongruenceInterface 001: contains/const_contains . . .  -- with ToddCoxeter and no parent 196μs  -- with KnuthBendix and no parent 216μs  -- with Congruence and parent 1031μs  -- with CongruenceByPairs and parent 152μs CongruenceInterface 002: less . . .  -- with ToddCoxeter 153μs  -- with KnuthBendix 233μs  -- with CongruenceByPairs 157μs  -- with Congruence 462μs CongruenceInterface 003: is_quotient_obviously_(in)finite . . .  -- with ToddCoxeter 125μs  -- with KnuthBendix 210μs CongruenceInterface 004: is_quotient_obviously_(in)finite . . .  -- with CongruenceByPairs 163μs  -- with Congruence 470μs CongruenceInterface 005: parent_froidure_pin . . .  -- with ToddCoxeter 43μs  -- with KnuthBendix 40μs CongruenceInterface 006: parent_froidure_pin . . .  -- with CongruenceByPairs 154μs  -- with Congruence 512μs CongruenceInterface 007: cbegin/cend_ntc . . .  -- with ToddCoxeter 272μs  -- with KnuthBendix 1889μs CongruenceInterface 008: cbegin/cend_ntc . . .  -- with CongruenceByPairs 199μs  -- with Congruence 530μs CongruenceInterface 009: quotient is immutable . . .  -- with ToddCoxeter 133μs  -- with KnuthBendix 183μs  -- with Congruence 355μs CongruenceInterface 010: no generating pairs added . . .  -- with KnuthBendix and common behaviour 4341μs  -- with Congruence and common behaviour 4503μs  -- with ToddCoxeter 122μs CongruenceInterface 011: nr generators not set . . .  -- with ToddCoxeter 218μs  -- with KnuthBendix 215μs  -- with Congruence 220μs CongruenceInterface 012: no generating pairs . . . 167μs ConstIteratorStateless 001: ? . . . 12μs ConstIteratorStateless 002: ? . . . 11μs Constants 001: Undefined . . . 18μs Constants 002: PositiveInfinity . . . 19μs Constants 003: NegativeInfinity . . . 17μs Constants 004: LimitMax . . . 16μs Duf 004: unite . . . 26μs Duf 006: compress . . . 18μs Duf 008: resize . . . 23μ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 . . . 15μs DynamicArray2 006: copy constructor with 0 default args . . . 16μ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 . . . 52μs DynamicArray2 012: append 2/2 . . . 79μs DynamicArray2 013: count . . . 17μ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) . . . 288μs DynamicArray2 018: iterator operator++ (prefix) . . . 1958μs DynamicArray2 019: iterator operator-- (postfix) . . . 381μs DynamicArray2 020: iterator operator-- (prefix) . . . 381μs DynamicArray2 021: operator= . . . 17μs DynamicArray2 022: operator== and operator!= . . . 255μs DynamicArray2 023: empty and clear . . . 17μs DynamicArray2 024: max_size . . . 12μs DynamicArray2 025: swap . . . 35μs DynamicArray2 026: iterator arithmetic . . . 1707μs DynamicArray2 027: iterator comparison . . . 16μs DynamicArray2 028: iterator operator= . . . 13μs DynamicArray2 029: iterator operator[] . . . 95μs DynamicArray2 030: iterator operator-> . . . 22μs DynamicArray2 031: const_iterator operator++/-- . . . 244μs DynamicArray2 032: const_iterator operator++/-- . . . 12μs DynamicArray2 033: column iterators . . . 29μs DynamicArray2 034: column iterator arithmetic . . . 6729μs DynamicArray2 035: iterator assignment constructor . . . 1841μs DynamicArray2 036: reserve method . . . 38μs DynamicArray2 037: erase column . . . 18μs DynamicArray2 038: swap_rows . . . 13μ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 . . . 1550μs FpSemigroup 002: Renner monoid type B2 (E. G. presentation), q = 0 . . . 1558μs FpSemigroup 003: Renner monoid type B3 (E. G. presentation), q = 1 . . . 169ms FpSemigroup 004: Renner monoid type B3 (E. G. presentation), q = 0 . . . 227ms FpSemigroup 005: Renner monoid type B2 (Gay-Hivert presentat [...] . . . 1560μs FpSemigroup 006: Renner monoid type B2 (Gay-Hivert presentat [...] . . . 1553μs FpSemigroup 007: Renner monoid type B3 (Gay-Hivert presentat [...] . . . 6427μs FpSemigroup 008: Renner monoid type B3 (Gay-Hivert presentat [...] . . . 5922μs FpSemigroup 009: Renner monoid type B4 (Gay-Hivert presentat [...] . . . 249ms FpSemigroup 010: Renner monoid type B4 (Gay-Hivert presentat [...] . . . 361ms FpSemigroup 013: Renner monoid type D2 (E. G. presentation), q = 1 . . . 2218μs FpSemigroup 014: Renner monoid type D2 (E. G. presentation), q = 0 . . . 1621μs FpSemigroup 015: Renner monoid type D3 (E. G. presentation), q = 1 . . . 5354μs FpSemigroup 016: Renner monoid type D3 (E. G. presentation), q = 0 . . . 6627μs FpSemigroup 017: Renner monoid type D4 (E. G. presentation), q = 1 . . . 3562ms FpSemigroup 018: Renner monoid type D4 (E. G. presentation), q = 0 . . . 3562ms FpSemigroup 019: Renner monoid type D2 (Gay-Hivert presentat [...] . . . 1645μs FpSemigroup 020: Renner monoid type D2 (Gay-Hivert presentat [...] . . . 1604μs FpSemigroup 021: Renner monoid type D3 (Gay-Hivert presentat [...] . . . 6258μs FpSemigroup 022: Renner monoid type D3 (Gay-Hivert presentat [...] . . . 6854μs FpSemigroup 023: Renner monoid type D4 (Gay-Hivert presentat [...] . . . 115ms FpSemigroup 024: Renner monoid type D4 (Gay-Hivert presentat [...] . . . 130ms FpSemigroup 029: Rook monoid R5, q = 0 . . . 7870μs FpSemigroup 030: Rook monoid R5, q = 1 . . . 8930μs FpSemigroup 031: Rook monoid R6, q = 0 . . . 60ms FpSemigroup 032: Rook monoid R6, q = 1 . . . 59ms FpSemigroup 033: normal_form . . . 294μs FpSemigroup 034: for a finite semigroup . . . 640μs FpSemigroup 035: finite fp semigroup, dihedral group of order 6 . . . 510μs FpSemigroup 036: finite fp semigroup, size 16 . . . 754μs FpSemigroup 037: finite fp semigroup, size 16 . . . 1127μs FpSemigroup 038: fp semigroup, size 240 . . . 909μs FpSemigroup 039: add_rule . . . 255μs FpSemigroup 040: add_rule . . . 157μs FpSemigroup 041: equal_to . . . 289μs FpSemigroup 042: cbegin/cend_rules . . . 72μs FpSemigroup 043: semigroup of size 3 . . . 434μs FpSemigroup 044: run_for/until . . . 2444μs FpSemigroup 045: constructors . . . 250μs FpSemigroup 046: set_inverses . . . 176μs FpSemigroup 047: smalloverlap . . . 8031μs FpSemigroup 048: quaternion group Q8 . . . 569μs FpSemigroup 049: symmetric group Coxeter presentation . . . 116ms FpSemigroupByPairs 029: (fpsemi) 2-sided congruence on finit [...] . . . 844μs FpSemigroupByPairs 030: (fpsemi) 2-sided congruence on finit [...] . . . 803μs FpSemigroupInterface 000: run with no alphabet . . .  -- with ToddCoxeter 110μs  -- with KnuthBendix 75μs  -- with FpSemigroup 96μs FpSemigroupInterface 001: equal_to . . .  -- with ToddCoxeter and human readable alphabet 3820μs  -- with KnuthBendix and human readable alphabet 10ms  -- with FpSemigroup and human readable alphabet 6204μs  -- with FpSemigroupByPairs 3491μs FpSemigroupInterface 002: normal_form . . .  -- with ToddCoxeter 205μs  -- with KnuthBendix 236μs  -- with FpSemigroup 510μs FpSemigroupInterface 003: set_alphabet (1/2) . . .  -- with ToddCoxeter 141μs  -- with KnuthBendix 128μs  -- with FpSemigroup 142μs FpSemigroupInterface 004: set_alphabet (2/2) . . . 1406μs FpSemigroupInterface 005: add_rule after finished . . .  -- with ToddCoxeter and human readable alphabet 201μs  -- with KnuthBendix and human readable alphabet 230μs  -- with FpSemigroup and human readable alphabet 971μs  -- with FpSemigroupByPairs 1358μs FpSemigroupInterface 006: add_rule with equal words (1/2) . . .  -- with ToddCoxeter and human readable alphabet 141μs  -- with KnuthBendix and human readable alphabet 236μs  -- with FpSemigroup and human readable alphabet 282μs  -- with FpSemigroupByPairs 128μ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 64μs  -- with KnuthBendix 59μs  -- with FpSemigroup 89μs FpSemigroupInterface 009: add_rule with empty word (1/2) . . .  -- with ToddCoxeter 54μs  -- with FpSemigroup 62μs FpSemigroupInterface 010: add_rule with empty word (1/2) . . . 16μs FpSemigroupInterface 011: add_rules (1/3) . . .  -- with ToddCoxeter 54μs  -- with KnuthBendix 47μs  -- with FpSemigroup 58μs FpSemigroupInterface 012: add_rules (2/3) . . . 273μs FpSemigroupInterface 013: add_rules (3/3) . . .  -- with ToddCoxeter 30μs  -- with KnuthBendix 27μs  -- with FpSemigroup 64μs FpSemigroupInterface 014: set_identity (1/3) . . .  -- with ToddCoxeter 160μs  -- with KnuthBendix 158μs  -- with FpSemigroup 195μs FpSemigroupInterface 015: set_identity (2/3) . . . 180μs FpSemigroupInterface 016: set_identity (3/3) . . .  -- with ToddCoxeter 96μs  -- with KnuthBendix 96μs  -- with FpSemigroup 139μs FpSemigroupInterface 017: identity . . .  -- with ToddCoxeter 40μs  -- with KnuthBendix 35μs  -- with FpSemigroup 45μs FpSemigroupInterface 018: set_inverses + inverses (1/2) . . .  -- with ToddCoxeter 256μs  -- with KnuthBendix 252μs  -- with FpSemigroup 304μs FpSemigroupInterface 019: set_inverses + inverses (2/2) . . . 348μs FpSemigroupInterface 020: is_obviously_infinite (1/2) . . .  -- with ToddCoxeter 166μs  -- with KnuthBendix 222μs  -- with FpSemigroup 473μs FpSemigroupInterface 021: is_obviously_infinite (2/2) . . . 38μs FpSemigroupInterface 022: is_obviously_finite (1/2) . . .  -- with ToddCoxeter 156μs  -- with KnuthBendix 210μs  -- with FpSemigroup 460μs FpSemigroupInterface 023: is_obviously_finite (2/2) . . . 33μs FpSemigroupInterface 024: to_gap_string (1/3) . . .  -- with ToddCoxeter 32μs  -- with KnuthBendix 29μs  -- with FpSemigroup 66μs FpSemigroupInterface 025: to_gap_string (2/3) . . . 18μs FpSemigroupInterface 026: to_gap_string (3/3) . . . 30μs FroidurePin 015: (BMat8) regular boolean mat monoid 4 . . . 66ms FroidurePin 016: (BMat8) exception zero generators given . . . 16μs FroidurePin 017: (BMat8) exception word_to_element . . . 91μs FroidurePin 018: (BMat8) exception prefix . . . 3947μs FroidurePin 019: (BMat8) exception suffix . . . 24μs FroidurePin 020: (BMat8) exception first_letter . . . 4391μs FroidurePin 021: (BMat8) exception final_letter . . . 23μs FroidurePin 022: (BMat8) exception current_length . . . 3941μs FroidurePin 023: (BMat8) exception product_by_reduction . . . 4133μs FroidurePin 024: (BMat8) exception fast_product . . . 3506μs FroidurePin 025: (BMat8) exception is_idempotent . . . 37ms FroidurePin 026: (BMat8) copy constructor . . .  -- with fully enumerated 36ms  -- with partially enumerated 27ms  -- with not enumerated 25ms FroidurePin 027: (BMat8) cbegin/end_rules . . . 60μs FroidurePin 031: (integers) . . . 125μs FroidurePin 039: (pairs of integers) non-trivial user type . . . 24μs FroidurePin 055: (tropical max-plus semiring matrices) . . . 248μs FroidurePin 061: projective max plus matrix . . . 993μs FroidurePin 062: projective max plus matrix . . . 39μs FroidurePin> 009: small example 2 . . . 43μs FroidurePin> 005: small example 1 . . . 128μs FroidurePin> 007: regular bmat monoid 4 . . . 58ms FroidurePin> 011: small example 3 . . . 487μs FroidurePin> 006: small example 1 . . . 152μs FroidurePin> 008: regular bmat monoid 4 . . . 70ms FroidurePin> 010: small example 2 . . . 45μs FroidurePin> 012: small example 3 . . . 549μs FroidurePin 000: small example 1 . . . 159μs FroidurePin 001: default constructed . . . 129μs FroidurePin 002: small example 2 . . . 54μs FroidurePin 004: exception: is_idempotent . . . 350μs FroidurePin> 033: Example 000 . . . 716μs FroidurePin> 035: Example 001 . . . 46μs FroidurePin> 032: Example 000 . . . 584μs FroidurePin> 034: Example 001 . . . 43μs FroidurePin 036: exception: current_position . . . 190μs FroidurePin 037: exception: word_to_element . . . 125μs FroidurePin 038: exception: prefix, suffix, first_letter . . . 51ms FroidurePin> 040: Example 000 . . . 64μs FroidurePin> 041: Example 000 . . . 64μs FroidurePin> 046: Example 005 . . . 145μs FroidurePin> 047: Example 005 . . . 168μs FroidurePin> 048: Example 005 . . . 165μs FroidurePin> 044: Example 004 . . . 31μs FroidurePin> 045: Example 004 . . . 33μs FroidurePin> 049: Example 006 . . . 921μs FroidurePin> 050: Example 006 . . . 1070μs FroidurePin> 051: Example 006 . . . 1052μs FroidurePin> 052: Example 007 . . . 116μs FroidurePin> 053: Example 007 . . . 128μs FroidurePin> 054: Example 007 . . . 132μs FroidurePin 056: example 1 . . . 197μs FroidurePin 057: example 2 . . . 153μs FroidurePin> 058: . . . 580μs FroidurePin> 059: . . . 55μs FroidurePin> 060: exceptions: add_generator(s) . . . 87μs FroidurePin> 065: no exception zero generators given . . . 19μs FroidurePin> 066: exception generators of different [...] . . . 66μs FroidurePin> 067: exception current_position . . . 66μs FroidurePin> 068: exception word_to_element . . . 74μs FroidurePin> 069: exception gens . . . 764μs FroidurePin> 070: exception prefix . . . 64ms FroidurePin> 071: exception suffix . . . 162ms FroidurePin> 072: exception first_letter . . . 88μs FroidurePin> 073: exception final_letter . . . 85μs FroidurePin> 074: exception current_length . . . 85μs FroidurePin> 075: exception product_by_reduction . . . 1047μs FroidurePin> 076: exception fast_product . . . 1044μs FroidurePin> 077: exception current_position . . . 772μs FroidurePin> 078: exception is_idempotent . . . 694μs FroidurePin> 079: exception add_generators . . . 53μs FroidurePin> 080: multithread number_of_idempotents . . . 980μs FroidurePin> 081: small semigroup . . . 30μs FroidurePin> 082: large semigroup . . . 5321μs FroidurePin> 083: at, position, current_* . . . 5407μs FroidurePin> 084: run . . . 5316μs FroidurePin> 085: run [many stops and starts] . . . 5487μs FroidurePin> 086: factorisation, length [1 element] . . . 5142μs FroidurePin> 087: factorisation, products [all elements] . . . 8196μs FroidurePin> 088: first/final letter, prefix, suffi [...] . . . 5216μs FroidurePin> 089: current_position [standard] . . . 27μs FroidurePin> 090: current_position [duplicate gens] . . . 8342μs FroidurePin> 091: current_position [after add_generators] . . . 5250μs FroidurePin> 092: cbegin_idempotents/cend [1 thread] . . . 5897μs FroidurePin> 093: idempotent_cend/cbegin [1 thread] . . . 5882μs FroidurePin> 094: is_idempotent [1 thread] . . . 6077μs FroidurePin> 096: finished, started . . . 5254μs FroidurePin> 097: current_position . . . 1189μs FroidurePin> 098: sorted_position, sorted_at . . . 6468μs FroidurePin> 099: right/left Cayley graph . . . 36ms FroidurePin> 100: iterator . . . 9554μs FroidurePin> 101: reverse iterator . . . 9546μs FroidurePin> 102: iterator arithmetic . . . 40ms FroidurePin> 103: iterator sorted . . . 36ms FroidurePin> 104: iterator sorted arithmetic . . . 45ms FroidurePin> 105: copy [not enumerated] . . . 5354μs FroidurePin> 106: copy_closure [not enumerated] . . . 34ms FroidurePin> 107: copy_add_generators [not enumerated] . . . 32ms FroidurePin> 108: copy [partly enumerated] . . . 5849μs FroidurePin> 109: copy_closure [partly enumerated] . . . 8615μs FroidurePin> 110: copy_add_generators [partly enumerated] . . . 5803μs FroidurePin> 111: copy [fully enumerated] . . . 8544μs FroidurePin> 112: copy_closure [fully enumerated] . . . 8523μs FroidurePin> 113: copy_add_generators [fully enumerated] . . . 7946μs FroidurePin> 114: relations [duplicate gens] . . . 170μs FroidurePin> 115: relations . . . 8821μs FroidurePin> 116: relations [copy_closure, duplicat [...] . . . 8784μs FroidurePin> 117: relations [copy_add_generators, d [...] . . . 8854μs FroidurePin> 118: relations [from copy, not enumerated] . . . 6963μ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 [...] . . . 6954μs FroidurePin> 123: relations [from copy_closure, par [...] . . . 9828μs FroidurePin> 124: relations [from copy_add_generato [...] . . . 8446μs FroidurePin> 125: relations [from copy_closure, ful [...] . . . 11ms FroidurePin> 126: relations [from copy_add_generato [...] . . . 11ms FroidurePin> 127: add_generators [duplicate generators] . . . 254μs FroidurePin> 128: add_generators [incremental 1] . . . 271μs FroidurePin> 129: add_generators [incremental 2] . . . 327μs FroidurePin> 130: closure [duplicate generators] . . . 181μs FroidurePin> 131: closure . . . 94μs FroidurePin> 132: factorisation . . . 27μs FroidurePin> 134: minimal_factorisation . . . 76μs FroidurePin> 135: batch_size (for an extremely larg [...] . . . 26μs FroidurePin> 137: exception: generators of differen [...] . . . 46μs FroidurePin> 138: exception: current_position . . . 67μs FroidurePin> 139: exception: word_to_element . . . 74μs FroidurePin> 140: exception: gens, current_position . . . 1139μs FroidurePin> 141: exception: add_generators . . . 45μs KBE 000: constructors . . . 50μs KBE 001: test . . . 84μs KBE 002: factorisation . . . 73μs KBE 003: swap . . . 46μs KBE 004: adapters . . . 44μs KBE 005: conversions . . . 44μs Kambites 000: (fpsemi) MT test 4 (std::string) . . . 6054μs Kambites 001: (fpsemi) MT test 4 (MultiStringView) . . . 5867μs Kambites 002: (fpsemi) number_of_pieces (std::string) . . . 127μs Kambites 003: (fpsemi) number_of_pieces (MultiStringView) . . . 117μs Kambites 004: (fpsemi) small_overlap_class (std::string) . . . 3193μs Kambites 005: (fpsemi) small_overlap_class (MultiStringView) . . . 3155μs Kambites 006: (fpsemi) random (std::string) . . . 10ms Kambites 007: (fpsemi) random (MultiStringView) . . . 10ms Kambites 008: (fpsemi) KnuthBendix 055 (std::string) . . . 15ms Kambites 009: (fpsemi) KnuthBendix 055 (MultiStringView) . . . 15ms Kambites 010: (fpsemi) smalloverlap/gap/test.gi:85 (std::string) . . . 87μs Kambites 011: (fpsemi) smalloverlap/gap/test.gi:85 (MultiStr [...] . . . 79μ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 [...] . . . 41ms Kambites 015: (fpsemi) smalloverlap/gap/test.gi:63 (std::string) . . . 38ms Kambites 016: (fpsemi) smalloverlap/gap/test.gi:63 (MultiStr [...] . . . 46ms Kambites 017: (fpsemi) smalloverlap/gap/test.gi:70 (std::string) . . . 139ms Kambites 018: (fpsemi) smalloverlap/gap/test.gi:70 (MultiStr [...] . . . 167ms Kambites 021: (fpsemi) code coverage (std::string) . . . 49μs Kambites 022: (fpsemi) code coverage (MultiStringView) . . . 40μs Kambites 023: (fpsemi) prefix (std::string) . . . 76μs Kambites 024: (fpsemi) prefix (MultiStringView) . . . 97μs Kambites 025: (fpsemi) normal_form (Example 3.15) (std::string) . . . 79μs Kambites 026: (fpsemi) normal_form (Example 3.15) (MultiStri [...] . . . 90μs Kambites 027: (fpsemi) normal_form (Example 3.16) (std::string) . . . 57μs Kambites 028: (fpsemi) normal_form (Example 3.16) (MultiStri [...] . . . 68μs Kambites 029: (fpsemi) normal_form (Example 3.16) more exhau [...] . . . 106ms Kambites 030: (fpsemi) normal_form (Example 3.16) more exhau [...] . . . 96ms Kambites 031: (fpsemi) small presentation (std::string) . . . 98μs Kambites 032: (fpsemi) small presentation (MultiStringView) . . . 84μs Kambites 033: (fpsemi) non-smalloverlap (std::string) . . . 90μs Kambites 034: (fpsemi) non-smalloverlap (MultiStringView) . . . 91μs Kambites 035: (fpsemi) MT test 3 (std::string) . . . 57μs Kambites 036: (fpsemi) MT test 3 (MultiStringView) . . . 53μs Kambites 037: (fpsemi) MT test 5 (std::string) . . . 32μs Kambites 038: (fpsemi) MT test 5 (MultiStringView) . . . 32μs Kambites 039: (fpsemi) MT test 6 (std::string) . . . 45μs Kambites 040: (fpsemi) MT test 6 (MultiStringView) . . . 48μs Kambites 041: (fpsemi) MT test 10 (std::string) . . . 42μs Kambites 042: (fpsemi) MT test 10 (MultiStringView) . . . 45μs Kambites 043: (fpsemi) MT test 13 (std::string) . . . 31μs Kambites 044: (fpsemi) MT test 13 (MultiStringView) . . . 32μs Kambites 045: (fpsemi) MT test 14 (std::string) . . . 31μs Kambites 046: (fpsemi) MT test 14 (MultiStringView) . . . 32μs Kambites 047: (fpsemi) MT test 15 (std::string) . . . 41μs Kambites 048: (fpsemi) MT test 15 (MultiStringView) . . . 41μs Kambites 049: (fpsemi) MT test 16 (std::string) . . . 42μs Kambites 050: (fpsemi) MT test 16 (MultiStringView) . . . 46μs Kambites 051: (fpsemi) MT test 17 (std::string) . . . 122μs Kambites 052: (fpsemi) MT test 17 (MultiStringView) . . . 105μs Kambites 053: (fpsemi) weak C(4) not strong x 1 (std::string) . . . 650μs Kambites 054: (fpsemi) weak C(4) not strong x 1 (MultiStringView) . . . 678μs Kambites 055: (fpsemi) weak C(4) not strong x 2 (std::string) . . . 645μs Kambites 056: (fpsemi) weak C(4) not strong x 2 (MultiStringView) . . . 691μs Kambites 057: (fpsemi) weak C(4) not strong x 3 (std::string) . . . 630μs Kambites 058: (fpsemi) weak C(4) not strong x 3 (MultiStringView) . . . 578μs Kambites 059: (fpsemi) weak C(4) not strong x 4 (std::string) . . . 66μs Kambites 060: (fpsemi) weak C(4) not strong x 4 (MultiStringView) . . . 77μs Kambites 061: (fpsemi) weak C(4) not strong x 5 (std::string) . . . 30μs Kambites 062: (fpsemi) weak C(4) not strong x 5 (MultiStringView) . . . 28μs Kambites 063: (fpsemi) weak C(4) not strong x 6 (std::string) . . . 41μs Kambites 064: (fpsemi) weak C(4) not strong x 6 (MultiStringView) . . . 42μs Kambites 065: (fpsemi) Konovalov example (std::string) . . . 41μs Kambites 066: (fpsemi) Konovalov example (MultiStringView) . . . 28μs Kambites 067: (fpsemi) long words (std::string) . . . 1588ms Kambites 068: (fpsemi) long words (MultiStringView) . . . 31ms Kambites 075: (cong) example 1 . . . 38μs Kambites 076: (cong) example 2 . . . 120μs Kambites 077: (cong) code coverage . . . 5651μs Kambites 078: (cong) large number of rules . . . 226ms KnuthBendix 000: (fpsemi) confluent fp semigroup 1 (infinite) . . . 111μs KnuthBendix 001: (fpsemi) confluent fp semigroup 2 (infinite) . . . 131μs KnuthBendix 002: (fpsemi) confluent fp semigroup 3 (infinite) . . . 102μs KnuthBendix 003: (fpsemi) non-confluent fp semigroup from wi [...] . . . 191μs KnuthBendix 004: (fpsemi) Example 5.1 in Sims (infinite) . . . 169μs KnuthBendix 005: (fpsemi) Example 5.1 in Sims (infinite) . . . 166μs KnuthBendix 006: (fpsemi) Example 5.3 in Sims . . . 149μs KnuthBendix 007: (fpsemi) Example 5.4 in Sims . . . 183μ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 [...] . . . 125ms KnuthBendix 011: (fpsemi) F(2, 5) - Chapter 9, Section 1 in [...] . . . 717μs KnuthBendix 012: (fpsemi) Reinis example 1 . . . 229μ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 . . . 186μs KnuthBendix 021: (from kbmag/standalone/kb_data/f25monoid) . . . 774μs KnuthBendix 022: (from kbmag/standalone/kb_data/degen4a) . . . 73ms KnuthBendix 023: (from kbmag/standalone/kb_data/torus) . . . 3339μs KnuthBendix 024: (from kbmag/standalone/kb_data/3a6) . . . 346ms KnuthBendix 025: (from kbmag/standalone/kb_data/f2) . . . 62μ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) . . . 29μ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) . . . 713μs KnuthBendix 032: (from kbmag/standalone/kb_data/237) . . . 848μs KnuthBendix 033: (from kbmag/standalone/kb_data/c2) . . . 20μs KnuthBendix 034: (from kbmag/standalone/kb_data/cosets) . . . 307μs KnuthBendix 035: Example 5.1 in Sims (KnuthBendix 09 again) . . . 83μs KnuthBendix 036: (from kbmag/standalone/kb_data/nilp2) . . . 41μs KnuthBendix 037: Example 6.4 in Sims . . . 20ms KnuthBendix 038: KnuthBendix 071 again . . . 942μs KnuthBendix 039: Example 5.4 in Sims (KnuthBendix 11 again) [...] . . . 314μs KnuthBendix 040: Example 5.4 in Sims (KnuthBendix 11 again) [...] . . . 252μs KnuthBendix 041: operator<< . . . 74μs KnuthBendix 042: confluence_interval . . . 23μs KnuthBendix 043: max_overlap . . . 22μs KnuthBendix 044: (fpsemi) (from kbmag/standalone/kb_data/d22 [...] . . . 2159μs KnuthBendix 045: (fpsemi) (from kbmag/standalone/kb_data/d22 [...] . . . 3937μs KnuthBendix 046: (fpsemi) small example . . . 1083μs KnuthBendix 047: code coverage . . . 77μs KnuthBendix 048: small overlap 1 . . . 55μs KnuthBendix 049: (from kbmag/standalone/kb_data/s9) . . . 2488μs KnuthBendix 050: (fpsemi) Chapter 11, Lemma 1.8 (q = 6, r = [...] . . . 746μs KnuthBendix 051: (fpsemi) Chapter 11, Section 2 (q = 6, r = [...] . . . 173μs KnuthBendix 052: (fpsemi) Chapter 8, Theorem 4.2 in NR (infinite) . . . 313μs KnuthBendix 053: (fpsemi) equal_to fp semigroup . . . 63μs KnuthBendix 054: (fpsemi) equal_to free semigroup . . . 55μs KnuthBendix 055: (fpsemi) from GAP smalloverlap gap/test.gi [...] . . . 388μs KnuthBendix 056: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 647μs KnuthBendix 057: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 635μs KnuthBendix 058: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 1709μs KnuthBendix 059: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 3927μs KnuthBendix 060: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 34μs KnuthBendix 061: (fpsemi) Von Dyck (2,3,7) group (infinite) . . . 794μs KnuthBendix 062: (fpsemi) Von Dyck (2,3,7) group - different [...] . . . 7337μs KnuthBendix 063: (fpsemi) rewriting system from KnuthBendixC [...] . . . 545μs KnuthBendix 064: (fpsemi) rewriting system from Congruence 20 . . . 36μs KnuthBendix 065: (fpsemi) (from kbmag/standalone/kb_data/ab2) . . . 128μs KnuthBendix 066: (fpsemi) (from kbmag/standalone/kb_data/d22 [...] . . . 2225μs KnuthBendix 067: (fpsemi) (from kbmag/standalone/kb_data/degen1) . . . 83μs KnuthBendix 068: (fpsemi) (from kbmag/standalone/kb_data/s4) . . . 518μs KnuthBendix 069: (fpsemi) fp semigroup (infinite) . . . 70μs KnuthBendix 070: (fpsemi) Chapter 11, Section 1 (q = 4, r = [...] . . . 2643μs KnuthBendix 071: (fpsemi) Chapter 11, Section 1 (q = 8, r = [...] . . . 146ms KnuthBendix 072: (fpsemi) Chapter 7, Theorem 3.9 in NR (size 240) . . . 5081μ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 . . . 792μs KnuthBendix 075: (fpsemi) Chapter 10, Section 4 in NR (infinite) . . . 1442μs KnuthBendix 076: (fpsemi) Sym(5) from Chapter 3, Proposition [...] . . . 4461μs KnuthBendix 077: (fpsemi) SL(2, 7) from Chapter 3, Propositi [...] . . . 123ms KnuthBendix 078: (fpsemi) bicyclic monoid (infinite) . . . 54μs KnuthBendix 079: (fpsemi) plactic monoid of degree 2 (infinite) . . . 90μs KnuthBendix 080: (fpsemi) example before Chapter 7, Proposit [...] . . . 59μs KnuthBendix 081: (fpsemi) Chapter 7, Theorem 3.6 in NR (size 243) . . . 1185μs KnuthBendix 082: (fpsemi) finite semigroup (size 99) . . . 369μs KnuthBendix 096: Sorouhesh . . . 496μs KnuthBendix 097: (fpsemi) transformation semigroup (size 4) . . . 70μs KnuthBendix 098: (fpsemi) transformation semigroup (size 9) . . . 67μs KnuthBendix 099: (fpsemi) transformation semigroup (size 88) . . . 917μs KnuthBendix 100: internal_string_to_word . . . 49μs KnuthBendix 101: (fpsemi) construct from shared_ptr . . . 1003μs KnuthBendix 102: internal_string_to_word . . . 1341μs KnuthBendix 103: (cong) free semigroup congruence (5 classes) . . . 92μs KnuthBendix 104: free semigroup congruence (6 classes) . . . 503μs KnuthBendix 105: (cong) free semigroup congruence (16 classes) . . . 632μs KnuthBendix 106: (cong) free semigroup congruence (6 classes) . . . 1015μs KnuthBendix 107: (cong) free semigroup congruence (240 classes) . . . 5530μs KnuthBendix 108: (cong) free semigroup congruence (240 classes) . . . 4968μs KnuthBendix 109: (cong) less . . . 6460μs KnuthBendix 110: (cong) less . . . 266ms KnuthBendix 111: (cong) constructors . . . 426ms KnuthBendix 112: (cong) const_contains/contains . . . 270μs KnuthBendix 113: (cong) is_quotient_obviously_finite . . . 28μs KnuthBendix 114: (cong) class_index_to_word . . . 299μs KnuthBendix 115: (cong) quotient_froidure_pin . . . 218μs KnuthBendix 116: (cong) set_number_of_generators . . . 37μs KnuthBendix 117: (cong) number of classes when obv-inf . . . 62μs KnuthBendixCongruenceByPairs 016: non-trivial congruence on [...] . . . 257μs KnuthBendixCongruenceByPairs 017: non-trivial congruence on [...] . . . 339μs KnuthBendixCongruenceByPairs 018: non-trivial congruence on [...] . . . 715μs KnuthBendixCongruenceByPairs 019: non-trivial congruence on [...] . . . 716μs KnuthBendixCongruenceByPairs 020: trivial congruence on a fi [...] . . . 300μs KnuthBendixCongruenceByPairs 021: universal congruence on a [...] . . . 807μs KnuthBendixCongruenceByPairs 022: left congruence on a finit [...] . . . 406μs KnuthBendixCongruenceByPairs 023: finite group, Chapter 11, [...] . . . 7334μs KnuthBendixCongruenceByPairs 024: right congruence on infini [...] . . . 548μs KnuthBendixCongruenceByPairs 025: finite fp semigroup, dihed [...] . . . 631μs KnuthBendixCongruenceByPairs 026: finite fp semigroup, size 16 . . . 646μs KnuthBendixCongruenceByPairs 027: finite fp semigroup, size 16 . . . 1644μs KnuthBendixCongruenceByPairs 028: infinite fp semigroup with [...] . . . 87μs Konieczny 000: test000> . . . 1071μs Konieczny 001: test000> . . . 855μs Konieczny 002: test001> . . . 11ms Konieczny 003: test001> . . . 9829μs Konieczny 006: exceptions . . . 50μs Konieczny 007: code coverage . . . 14ms Konieczny 008: code coverage . . . 11ms Konieczny 009: regular elements and idempotents . . . 194ms Konieczny 010: regular D-class 01 . . . 1015μs Konieczny 011: regular D-class 02 . . . 9374μs Konieczny 012: regular D-class 04: contains . . . 27ms Konieczny 013: non-regular D-classes 01 . . . 1065μs Konieczny 014: RegularDClass . . . 653μs Konieczny 015: full bmat monoid 4 . . . 41ms Konieczny 017: regular generated bmat monoid 4 idempotents . . . 82ms Konieczny 019: my favourite example . . . 75ms Konieczny 020: another large example . . . 15ms Konieczny 021: my favourite example transposed . . . 63ms Konieczny 024: exceptions . . . 1194μ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 . . . 220ms Konieczny 031: transformations . . . 1064μs Konieczny 032: transformations - JDM favourite example . . . 126ms Konieczny 033: transformations - large example . . . 279ms Konieczny 034: transformations - large example with stop . . . 281ms Konieczny 035: transformations - large example with run_until . . . 280ms Konieczny 036: transformations - large example with stop in Action . . . 281ms Konieczny 037: exceptions . . . 75μs Konieczny 038: transformations: contains . . . 802μs Konieczny 040: transformations - destructor coverage . . . 243ms Konieczny 041: current_number_D_classes . . . 239ms Konieczny 042: add_generator . . . 44μs Konieczny 043: add_generator . . . 31μs Matrix 000: BMat<2> . . . 86μs Matrix 001: BMat<> . . . 96μs Matrix 002: BMat<3> + BMat<> . . . 13μs Matrix 003: BMat<2> + BMat<> . . . 13μs Matrix 004: BMat<3> . . . 14μs Matrix 005: BMat<> . . . 15μs Matrix 006: BMat<3> row_basis . . . 45μs Matrix 007: BMat<> row_basis . . . 52μs Matrix 008: IntMat<3> . . . 18μ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 . . . 11μs Matrix 014: MinPlusMat<3> . . . 18μs Matrix 015: MinPlusMat<> . . . 22μs Matrix 016: MinPlusMat code cov . . . 10μs Matrix 017: MaxPlusTruncMat<5, 2> . . . 18μs Matrix 018: MaxPlusTruncMat<5> . . . 21μs Matrix 019: MaxPlusTruncMat<> . . . 38μs Matrix 020: MaxPlusTruncMat<5, 4> . . . 19μs Matrix 021: MaxPlusTruncMat<5> . . . 21μs Matrix 022: MaxPlusTruncMat<> . . . 20μs Matrix 023: MaxPlusTruncMat<33, 3> . . . 42μs Matrix 024: MaxPlusTruncMat<33> . . . 42μs Matrix 025: MaxPlusTruncMat<> . . . 41μs Matrix 026: MaxPlusMat code cov . . . 11μs Matrix 027: MinPlusTruncMat<33, 3> . . . 42μs Matrix 028: MinPlusTruncMat<33> . . . 54μs Matrix 029: MinPlusTruncMat<> . . . 60μs Matrix 030: NTPMat<0, 3, 3, 3> . . . 18μs Matrix 031: NTPMat<0, 3> . . . 18μs Matrix 032: NTPMat<> . . . 52μs Matrix 033: NTPMat<0, 10, 4, 4> . . . 28μs Matrix 034: NTPMat<0, 10> . . . 25μs Matrix 035: NTPMat<> . . . 23μs Matrix 036: NTPMat<0, 10, 4, 4> . . . 22μs Matrix 037: NTPMat<0, 10> . . . 20μs Matrix 038: NTPMat<> . . . 21μs Matrix 039: NTPMat<33, 2, 3, 3> . . . 18μs Matrix 040: NTPMat<33, 2> . . . 17μs Matrix 041: NTPMat<> . . . 16μs Matrix 042: ProjMaxPlusMat<3> . . . 122μs Matrix 043: ProjMaxPlusMat<> . . . 83μs Matrix 044: exceptions . . . 72μs Matrix 045: code coverage . . . 66μs MultiStringView 000: catch all . . . 38μs MultiStringView 001: is_prefix . . . 15μs MultiStringView 002: erase . . . 17μs MultiStringView 003: iterators . . . 13μs MultiStringView 004: constructors (long) . . . 21μs MultiStringView 005: constructors (short) . . . 17μ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 . . . 24μs MultiStringView 011: pop_front . . . 43μs MultiStringView 012: append . . . 16μs MultiStringView 013: operators . . . 17μs MultiStringView 014: maximum_common_suffix . . . 15μs MultiStringView 015: deep tests . . . 11μs ObviouslyInfinite 011: Multiple rule additions . . . 40μs ObviouslyInfinite 012: A power of the generator 'b' does not [...] . . . 13μs ObviouslyInfinite 013: Preserves the number of occurences of [...] . . . 14μs ObviouslyInfinite 014: Less relations than generators . . . 13μs ObviouslyInfinite 015: Relations preserve length . . . 15μs ObviouslyInfinite 016: Matrix has non empty kernel . . . 15μ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 . . . 22μs PBR 006: exceptions . . . 280μs PBR 007: operators . . . 69μs PBR 008: to_string . . . 30μs PBR 009: identity . . . 47μs PBR 010: adapters . . . 10μs Pool 000: initial . . . 36μs Pool 001: bmat . . . 35μs Pool 002: PoolGuard . . . 32μs Pool 003: transformation products . . . 16μs Presentation 000: vectors of ints . . . 119μs Presentation 001: strings . . . 126μs Presentation 002: constructors (word_type) . . . 25μ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) . . . 64μs Presentation 007: contains_empty_word . . . 13μs Presentation 008: validate_rules throws . . . 83μs Presentation 009: helpers add_rule(s) . . . 165μs Presentation 010: helpers add_rule(s) (std::string) . . . 60μs Presentation 011: helpers add_identity_rules (std::vector/St [...] . . . 67μs Presentation 012: helpers add_identity_rules (std::string) . . . 38μs Presentation 013: helpers add_inverse_rules (all) . . . 355μs Presentation 014: helpers add_inverse_rules (std::string) . . . 19μs Presentation 015: helpers remove_duplicate_rules . . . 104μs Presentation 016: helpers reduce_complements . . . 185μs Presentation 017: helpers sort_each_rule . . . 105μs Presentation 018: helpers sort_rules . . . 106μs Presentation 019: helpers longest_common_subword/replace_subword . . . 208μs Presentation 020: helpers redundant_rule . . . 20ms Presentation 021: helpers shortlex_compare_concat . . . 12μs Presentation 022: helpers remove_trivial_rules . . . 107μs Presentation 023: helpers replace_subword (existing, replacement) . . . 59μs Presentation 024: helpers longest_rule . . . 213μs Presentation 025: helpers longest_rule_length . . . 200μs Presentation 026: helpers remove_redundant_generators . . . 160μs Presentation 027: helpers reverse . . . 23μs Presentation 028: in_alphabet . . . 26μs Presentation 029: replace_subword with empty word . . . 32μs Presentation 030: helpers replace_word . . . 50μs Race 001: run_for . . . 10ms Race 002: run_until . . . 10ms Race 003: exceptions . . . 10ms Race 004: iterators . . . 16μs Race 005: find_runner . . . 15μs Race 006: run_func . . . 26ms Race 007: run_func . . . 10ms Race 008: run_func . . . 10ms Runner 000: run_for . . . 10ms Runner 001: run_for . . . 1018μs Runner 002: run_for . . . 191ms Runner 003: run_for . . . 25ms Runner 004: started . . . 1026μs Runner 005: run_until . . . 110ms Runner 006: kill . . . 13μs Runner 007: copy constructor . . . 10ms Runner 008: report . . . 20ms Runner 009: run_until with function pointer . . . 13μs SchreierSims 001: trivial perm. group (degree 1) . . . 16μs SchreierSims 002: trivial perm. group (degree 2) . . . 12μs SchreierSims 003: trivial perm. group (degree 500) . . . 49μs SchreierSims 004: symmetric perm. group (degree 5) . . . 23μs SchreierSims 005: symmetric perm. group (degree 8) . . . 41μs SchreierSims 006: symmetric perm. group (degree 9) . . . 58μs SchreierSims 007: alternating perm. group (degree 12) . . . 91μs SchreierSims 008: symmetric perm. group (degree 16) . . . 856μs SchreierSims 009: alternating perm. group (degree 15) . . . 433μs SchreierSims 010: alternating perm. group (degree 16) . . . 973μs SchreierSims 011: dihedral perm. group (order 10) . . . 15μs SchreierSims 012: dihedral perm. group (order 200) . . . 510μs SchreierSims 013: perm. group T (order 12) . . . 16μs SchreierSims 014: quaternion perm. group (order 8) . . . 18μs SchreierSims 015: perm. group (order 84129611558952960) . . . 203ms SchreierSims 016: perm. group SL(3, 5) (order 372000) . . . 860μ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) . . . 192μs SchreierSims 020: perm. Janko Group J1 (order 175560) . . . 1654μs SchreierSims 021: perm. Hall-Janko group (order 604800) . . . 265μs SchreierSims 022: perm. Hall-Janko group (alt.) (order 604800) . . . 18ms SchreierSims 023: perm. Conway group Co3 (order 495766656000) . . . 5998μ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) . . . 113ms SchreierSims 028: perm. group C2 x C2 x C2 (order 8) . . . 27μs SchreierSims 029: perm. group C2 x C2 x C2 x C2 (order 16) . . . 35μs SchreierSims 030: perm. group (S5 x S5) : C2 (order 28800) . . . 64μs SchreierSims 031: perm. group C3 x D8 x A5 (order 1440) . . . 66μs SchreierSims 032: perm. group GL(4, 3) (order 24261120) . . . 590μs SchreierSims 033: perm. group PSL(3, 7) (order 1876896) . . . 620μs SchreierSims 037: symmetric perm. group (degree 5) . . . 30μs SchreierSims 038: alternating perm. group (degree 17) . . . 4997μs SchreierSims 039: exceptions . . . 164μs SchreierSims 040: exceptions . . . 80μs SchreierSims 041: trivial group . . . 56μs SchreierSims 042: A17 bug . . . 4500μs SchreierSims 043: orbits_lookup test . . . 552μs SchreierSims 044: transversal_element and inversal_element test . . . 2955μ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) . . . 31μs SchreierSimsHelper 004: D10 and Z5 intersection . . . 32μ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 . . . 852μs SchreierSimsHelper 009: A13 and PGL(2, 11) intersection (swa [...] . . . 851μs SchreierSimsHelper 012: 3^3:13 and 3^3.2.A(4) intersection . . . 150μs SchreierSimsHelper 015: 3^3(S(4) x 2) and ASL(3, 3) intersection . . . 308μs SchreierSimsHelper 016: 7^2:3 x Q(8) and 7^2:D(2*6) intersection . . . 337μs SchreierSimsHelper 018: D(2*53) and 53:13 intersection . . . 193μs SchreierSimsHelper 019: 2^6:(7 x D_14) and PSL(2, 6)^2.4 int [...] . . . 1295μs SchreierSimsHelper 020: 2^6:(S_3 x GL(3, 2)) and 2.6:Alt(7) [...] . . . 3969μs SchreierSimsHelper 022: PSL(2, 127) and AGL(1, 2^7) intersection . . . 8683μs SchreierSimsHelper 023: PSL(3, 4).2 and PSL(3, 4).2 (nontriv [...] . . . 1463μs SchreierSimsHelper 024: PSL(3, 4).Sym(3) and PSL(3, 4).2 int [...] . . . 1813μs SchreierSimsHelper 025: 3^4:5:4 and D_16:4 intersection . . . 982μs Sims1 000: fp example 1 . . . 2169μs Sims1 001: fp example 2 . . . 2259μs Sims1 002: ToddCoxeter failing example . . . 22ms Sims1 003: ToddCoxeter failing example . . . 937μs Sims1 004: partition_monoid(2) right . . . 7424μs Sims1 006: full_transformation_monoid(3) right . . . 8250μs Sims1 007: full_transformation_monoid(3) left . . . 4699μs Sims1 009: rook_monoid(2, 1) . . . 112μs Sims1 010: symmetric_inverse_monoid(2) from FroidurePin . . . 112μs Sims1 011: symmetric_inverse_monoid(3) . . . 7913μs Sims1 014: temperley_lieb_monoid(3) from presentation . . . 87μs Sims1 015: temperley_lieb_monoid(4) from presentation . . . 984μs Sims1 016: fp semigroup containing given pairs #1 . . . 383μs Sims1 017: fp semigroup containing given pairs #2 . . . 392μs Sims1 018: fp semigroup containing given pairs #3 . . . 689μs Sims1 019: ToddCoxeter failing example . . . 1086μs Sims1 020: fp example 2 . . . 2591μs Sims1 021: exceptions . . . 408μs Sims1 027: from https://mathoverflow.net/questions/423541/ . . . 36ms Sims1 028: from https://mathoverflow.net/questions/423541/ . . . 28ms Sims1 030: presentation with one free generator . . . 292μs Sims1 031: presentation with non-zero index generators . . . 68μs Sims1 032: presentation with empty word . . . 12ms Sims1 033: constructors . . . 1730μs Sims1 034: split_at . . . 327μs Sims1 035: stats . . . 98μs Sims1 036: check iterator requirements . . . 164μs Sims1 040: TransitiveGroup(10, 32) - minimal rep . . . 3643μs Sims1 043: rectangular_band(2, 2) - with and without identity . . . 232μs Sims1 044: trivial group - minimal o.r.c. rep . . . 105μs Sims1 045: right zero semigroup - minimal o.r.c. rep . . . 2408μs Sims1 046: semigroup with faithful non-strictly cyclic actio [...] . . . 734μs Sims1 068: RepOrc . . . 17ms Sims1 069: fp example 1 . . . 719μ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 4621μs (843ns 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 . . . 4679μs Sims1 072: symmetric_group(n) for n = 4 . . . 3358μs Sims1 073: corner case no generators + no relations . . . 153μs SmallestInteger 001: . . . 12μs StaticTriVector2 045: all . . . 20μs StaticVector2 043: all . . . 19μs Suf 005: unite . . . 26μs Suf 007: compress . . . 15μs Suf 011: big chain . . . 22ms Suf 013: empty table . . . 11μs Suf 015: join . . . 14μs Suf 017: contains . . . 32μs Suf 019: swap . . . 35μs SuffixTree 000: basic tests . . . 95ms SuffixTree 001: maximal_piece_prefix 1 . . . 37μs SuffixTree 002: maximal_piece_prefix 2 . . . 31μs SuffixTree 003: maximal_piece_prefix 3 . . . 309μs SuffixTree 004: number_of_pieces . . . 44μs SuffixTree 005: traverse . . . 22μs SuffixTree 006: tikz . . . 742μs SuffixTree 007: strings . . . 194μs SuffixTree 008: dot . . . 76μs SuffixTree 009: dfs #01 . . . 37μs SuffixTree 010: dfs #02 . . . 38μs SuffixTree 011: dfs #03 . . . 35μs SuffixTree 012: dfs #04 . . . 87μs SuffixTree 013: dfs #05 . . . 68μs SuffixTree 014: dfs #06 . . . 63μs SuffixTree 015: dfs #07 . . . 101μs SuffixTree 016: dfs #08 . . . 83μs SuffixTree 017: dfs #09 . . . 98μs SuffixTree 018: dfs #10 . . . 33μs Timer 001: string method (1 argument) . . . 44μs Timer 002: string method (0 arguments) . . . 10ms Timer 003: reset/elapsed method . . . 20ms Timer 004: operator<< . . . 19μs ToddCoxeter 000: small 2-sided congruence . . .  -- with HLT + no standardise + full lookahead + no save 1908μs  -- with HLT + standardise + full lookahead + no save 1849μs  -- with HLT + no standardise + partial lookahead + no save 1837μs  -- with HLT + standardise + partial lookahead + no save 1837μs  -- with HLT + no standardise + full lookahead + save 1839μs  -- with HLT + standardise + full lookahead + save 1894μs  -- with HLT + no standardise + partial lookahead + save 1949μs  -- with HLT + standardise + partial lookahead + save 1963μs  -- with Felsch + no standardisation 1914μs  -- with Felsch + standardisation 1928μs  -- with random strategy 1977μs  -- with Rc style + full lookahead 1990μs  -- with Rc style + partial lookahead 1984μs  -- with R/C style 2001μs  -- with CR style 1952μs  -- with Cr style 1882μs ToddCoxeter 001: small 2-sided congruence . . .  -- with HLT + no standardise + full lookahead + no save 5514μs  -- with HLT + standardise + full lookahead + no save 5489μs  -- with HLT + no standardise + partial lookahead + no save 5487μs  -- with HLT + standardise + partial lookahead + no save 5501μs  -- with HLT + no standardise + full lookahead + save 5499μs  -- with HLT + standardise + full lookahead + save 5501μs  -- with HLT + no standardise + partial lookahead + save 5494μs  -- with HLT + standardise + partial lookahead + save 5513μs  -- with Felsch + no standardisation 5491μs  -- with Felsch + standardisation 5501μs  -- with random strategy 5505μs  -- with Rc style + full lookahead 5497μs  -- with Rc style + partial lookahead 5493μs  -- with R/C style 5501μs  -- with CR style 5517μs  -- with Cr style 5502μs ToddCoxeter 003: constructed from FroidurePin . . .  -- with Felsch + no standardisation 226ms  -- with Felsch + standardisation 225ms  -- 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 233ms  -- 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 232ms  -- with Rc style + full lookahead 229ms  -- with Rc style + partial lookahead 229ms  -- with R/C style 74ms  -- with CR style 228ms  -- with Cr style 229ms ToddCoxeter 004: 2-sided congruence from FroidurePin . . .  -- with HLT + no standardise + full lookahead + no save 269μs  -- with HLT + standardise + full lookahead + no save 242μs  -- with HLT + no standardise + partial lookahead + no save 235μs  -- with HLT + standardise + partial lookahead + no save 240μs  -- with HLT + save (throws) 274μs  -- with Felsch (throws) 255μs  -- with random strategy 265μs ToddCoxeter 005: non-trivial two-sided from relations . . .  -- with HLT + no standardise + full lookahead + no save 86μs  -- with HLT + standardise + full lookahead + no save 71μs  -- with HLT + no standardise + partial lookahead + no save 69μs  -- with HLT + standardise + partial lookahead + no save 70μs  -- with HLT + no standardise + full lookahead + save 84μ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 71μs  -- with Felsch + standardisation 71μs  -- with random strategy 82μs  -- with Rc style + full lookahead 75μs  -- with Rc style + partial lookahead 74μs  -- with R/C style 77μs  -- with CR style 74μs  -- with Cr style 75μs ToddCoxeter 006: small right cong. on free semigroup . . .  -- with HLT + no standardise + full lookahead + no save 64μs  -- with HLT + standardise + full lookahead + no save 59μs  -- with HLT + no standardise + partial lookahead + no save 57μs  -- with HLT + standardise + partial lookahead + no save 57μs  -- with HLT + no standardise + full lookahead + save 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 59μs  -- with Felsch + standardisation 63μs  -- with random strategy 71μs  -- with Rc style + full lookahead 62μs  -- with Rc style + partial lookahead 61μs  -- with R/C style 66μs  -- with CR style 64μs  -- with Cr style 64μs ToddCoxeter 007: left cong. on free semigroup . . .  -- with HLT + no standardise + full lookahead + no save 72μs  -- with HLT + standardise + full lookahead + no save 66μs  -- with HLT + no standardise + partial lookahead + no save 64μs  -- with HLT + standardise + partial lookahead + no save 64μs  -- with HLT + no standardise + full lookahead + save 69μs  -- with HLT + standardise + full lookahead + save 70μs  -- with HLT + no standardise + partial lookahead + save 69μs  -- with HLT + standardise + partial lookahead + save 69μs  -- with Felsch + no standardisation 68μs  -- with Felsch + standardisation 70μs  -- with random strategy 80μs  -- with Rc style + full lookahead 71μs  -- with Rc style + partial lookahead 72μs  -- with R/C style 75μs  -- with CR style 74μs  -- with Cr style 74μs ToddCoxeter 008: for small fp semigroup . . .  -- with HLT + no standardise + full lookahead + no save 63μs  -- with HLT + standardise + full lookahead + no save 57μs  -- with HLT + no standardise + partial lookahead + no save 58μs  -- with HLT + standardise + partial lookahead + no save 57μs  -- with HLT + no standardise + full lookahead + save 61μs  -- with HLT + standardise + full lookahead + save 62μs  -- with HLT + no standardise + partial lookahead + save 61μs  -- with HLT + standardise + partial lookahead + save 61μs  -- with Felsch + no standardisation 60μs  -- with Felsch + standardisation 61μs  -- with random strategy 74μs  -- with Rc style + full lookahead 64μs  -- with Rc style + partial lookahead 64μs  -- with R/C style 69μs  -- with CR style 67μs  -- with Cr style 68μs ToddCoxeter 009: 2-sided cong. trans. semigroup . . .  -- with HLT + no standardise + full lookahead + no save 301μs  -- with HLT + standardise + full lookahead + no save 286μs  -- with HLT + no standardise + partial lookahead + no save 280μs  -- with HLT + standardise + partial lookahead + no save 282μs  -- with HLT + no standardise + full lookahead + save 684μs  -- with HLT + standardise + full lookahead + save 674μs  -- with HLT + no standardise + partial lookahead + save 663μs  -- with HLT + standardise + partial lookahead + save 662μs  -- with Felsch + no standardisation 651μs  -- with Felsch + standardisation 638μs  -- with random strategy 320μs  -- with Rc style + full lookahead 301μs  -- with Rc style + partial lookahead 300μs  -- with R/C style 322μs  -- with CR style 656μs  -- with Cr style 651μs ToddCoxeter 010: left congruence on transformation semigroup . . .  -- with HLT + no standardise + full lookahead + no save 331μs  -- with HLT + standardise + full lookahead + no save 336μs  -- with HLT + no standardise + partial lookahead + no save 326μs  -- with HLT + standardise + partial lookahead + no save 332μs  -- with HLT + no standardise + full lookahead + save 787μs  -- with HLT + standardise + full lookahead + save 773μs  -- with HLT + no standardise + partial lookahead + save 753μs  -- with HLT + standardise + partial lookahead + save 763μs  -- with Felsch + no standardisation 682μs  -- with Felsch + standardisation 659μs  -- with random strategy 880μs  -- with Rc style + full lookahead 396μs  -- with Rc style + partial lookahead 391μs  -- with R/C style 456μs  -- with CR style 744μs  -- with Cr style 733μs ToddCoxeter 011: right cong. trans. semigroup . . .  -- with HLT + no standardise + full lookahead + no save 343μs  -- with HLT + standardise + full lookahead + no save 346μs  -- with HLT + no standardise + partial lookahead + no save 334μs  -- with HLT + standardise + partial lookahead + no save 343μs  -- with HLT + no standardise + full lookahead + save 752μs  -- with HLT + standardise + full lookahead + save 755μs  -- with HLT + no standardise + partial lookahead + save 733μs  -- with HLT + standardise + partial lookahead + save 738μs  -- with Felsch + no standardisation 597μs  -- with Felsch + standardisation 617μs  -- with random strategy 454μs  -- with Rc style + full lookahead 402μs  -- with Rc style + partial lookahead 401μs  -- with R/C style 470μs  -- with CR style 653μs  -- with Cr style 648μs ToddCoxeter 012: trans. semigroup (size 88) . . .  -- with HLT + no standardise + full lookahead + no save 190μs  -- with HLT + standardise + full lookahead + no save 185μs  -- with HLT + no standardise + partial lookahead + no save 181μs  -- with HLT + standardise + partial lookahead + no save 184μs  -- with HLT + save (throws) 208μs  -- with Felsch (throws) 201μs  -- with random strategy 232μs ToddCoxeter 013: left cong. on trans. semigroup (size 88) . . .  -- with HLT + no standardise + full lookahead + no save 282μs  -- with HLT + standardise + full lookahead + no save 283μs  -- with HLT + no standardise + partial lookahead + no save 270μs  -- with HLT + standardise + partial lookahead + no save 280μs  -- with HLT + no standardise + full lookahead + save 720μs  -- with HLT + standardise + full lookahead + save 730μs  -- with HLT + no standardise + partial lookahead + save 701μs  -- with HLT + standardise + partial lookahead + save 709μs  -- with Felsch + no standardisation 628μs  -- with Felsch + standardisation 605μs  -- with random strategy 389μs  -- with Rc style + full lookahead 343μs  -- with Rc style + partial lookahead 341μs  -- with R/C style 402μs  -- with CR style 685μs  -- with Cr style 677μs ToddCoxeter 014: right cong. on trans. semigroup (size 88) . . .  -- with HLT + no standardise + full lookahead + no save 287μs  -- with HLT + standardise + full lookahead + no save 292μs  -- with HLT + no standardise + partial lookahead + no save 278μs  -- with HLT + standardise + partial lookahead + no save 289μs  -- with HLT + no standardise + full lookahead + save 697μs  -- with HLT + standardise + full lookahead + save 695μs  -- with HLT + no standardise + partial lookahead + save 678μs  -- with HLT + standardise + partial lookahead + save 689μs  -- with Felsch + no standardisation 543μs  -- with Felsch + standardisation 563μs  -- with random strategy 405μs  -- with Rc style + full lookahead 351μs  -- with Rc style + partial lookahead 354μs  -- with R/C style 420μs  -- with CR style 601μs  -- with Cr style 595μs ToddCoxeter 015: finite fp-semigroup, dihedral group of order 6 . . .  -- with HLT + no standardise + full lookahead + no save 120μs  -- with HLT + standardise + full lookahead + no save 115μs  -- with HLT + no standardise + partial lookahead + no save 107μs  -- with HLT + standardise + partial lookahead + no save 113μs  -- with HLT + no standardise + full lookahead + save 129μs  -- with HLT + standardise + full lookahead + save 127μs  -- with HLT + no standardise + partial lookahead + save 125μs  -- with HLT + standardise + partial lookahead + save 127μs  -- with Felsch + no standardisation 114μs  -- with Felsch + standardisation 111μs  -- with random strategy 128μs  -- with Rc style + full lookahead 115μs  -- with Rc style + partial lookahead 113μs  -- with R/C style 118μs  -- with CR style 116μs  -- with Cr style 117μs ToddCoxeter 016: finite fp-semigroup, size 16 . . .  -- with HLT + no standardise + full lookahead + no save 111μs  -- with HLT + standardise + full lookahead + no save 104μs  -- with HLT + no standardise + partial lookahead + no save 99μs  -- with HLT + standardise + partial lookahead + no save 103μs  -- with HLT + no standardise + full lookahead + save 205μs  -- with HLT + standardise + full lookahead + save 197μs  -- with HLT + no standardise + partial lookahead + save 191μs  -- with HLT + standardise + partial lookahead + save 193μs  -- with Felsch + no standardisation 174μs  -- with Felsch + standardisation 167μs  -- with random strategy 198μs  -- with Rc style + full lookahead 116μs  -- with Rc style + partial lookahead 114μs  -- with R/C style 128μs  -- with CR style 182μs  -- with Cr style 179μs ToddCoxeter 017: finite fp-semigroup, size 16 . . .  -- with HLT + no standardise + full lookahead + no save 180μs  -- with HLT + standardise + full lookahead + no save 170μs  -- with HLT + no standardise + partial lookahead + no save 160μs  -- with HLT + standardise + partial lookahead + no save 165μs  -- with HLT + no standardise + full lookahead + save 395μs  -- with HLT + standardise + full lookahead + save 402μs  -- with HLT + no standardise + partial lookahead + save 382μs  -- with HLT + standardise + partial lookahead + save 386μs  -- with Felsch + no standardisation 331μs  -- with Felsch + standardisation 324μs  -- with random strategy 367μs  -- with Rc style + full lookahead 181μs  -- with Rc style + partial lookahead 180μs  -- with R/C style 195μs  -- with CR style 338μs  -- with Cr style 338μs ToddCoxeter 018: test lookahead . . .  -- with HLT + no standardise + full lookahead + no save 634μs  -- with HLT + standardise + full lookahead + no save 631μs  -- with HLT + no standardise + partial lookahead + no save 577μs  -- with HLT + standardise + partial lookahead + no save 589μs  -- with HLT + no standardise + full lookahead + save 754μs  -- with HLT + standardise + full lookahead + save 749μs  -- with HLT + no standardise + partial lookahead + save 733μs  -- with HLT + standardise + partial lookahead + save 743μs ToddCoxeter 019: non-trivial left cong. from semigroup . . .  -- with HLT + no standardise + full lookahead + no save 197μs  -- with HLT + standardise + full lookahead + no save 197μs  -- with HLT + no standardise + partial lookahead + no save 185μs  -- with HLT + standardise + partial lookahead + no save 192μs  -- with HLT + save (throws) 210μs  -- with Felsch (throws) 209μs  -- with random strategy 287μs ToddCoxeter 020: 2-sided cong. on free semigroup . . .  -- with HLT + no standardise + full lookahead + no save 37μs  -- with HLT + standardise + full lookahead + no save 32μs  -- with HLT + no standardise + partial lookahead + no save 32μs  -- with HLT + standardise + partial lookahead + no save 31μ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 31μs  -- with Felsch + standardisation 32μs  -- with random strategy 30μs ToddCoxeter 021: calling run when obviously infinite . . .  -- with HLT + no standardise + full lookahead + no save 82μs  -- with HLT + standardise + full lookahead + no save 74μs  -- with HLT + no standardise + partial lookahead + no save 74μs  -- with HLT + standardise + partial lookahead + no save 74μs  -- with HLT + no standardise + full lookahead + save 73μs  -- with HLT + standardise + full lookahead + save 73μs  -- with HLT + no standardise + partial lookahead + save 73μs  -- with HLT + standardise + partial lookahead + save 73μs  -- with Felsch + no standardisation 72μs  -- with Felsch + standardisation 73μs  -- with random strategy 72μs ToddCoxeter 022: stellar_monoid S3 . . .  -- with HLT + no standardise + full lookahead + no save 172μs  -- with HLT + standardise + full lookahead + no save 165μs  -- with HLT + no standardise + partial lookahead + no save 156μs  -- with HLT + standardise + partial lookahead + no save 162μs  -- with HLT + no standardise + full lookahead + save 299μs  -- with HLT + standardise + full lookahead + save 297μs  -- with HLT + no standardise + partial lookahead + save 286μs  -- with HLT + standardise + partial lookahead + save 290μs  -- with Felsch + no standardisation 265μs  -- with Felsch + standardisation 250μs  -- with random strategy 298μs  -- with Rc style + full lookahead 183μs  -- with Rc style + partial lookahead 182μs  -- with R/C style 204μs  -- with CR style 273μs  -- with Cr style 271μs ToddCoxeter 023: finite semigroup (size 5) . . .  -- with HLT + no standardise + full lookahead + no save 62μs  -- with HLT + standardise + full lookahead + no save 56μs  -- with HLT + no standardise + partial lookahead + no save 55μs  -- with HLT + standardise + partial lookahead + no save 56μs  -- with HLT + no standardise + full lookahead + save 60μs  -- with HLT + standardise + full lookahead + save 59μs  -- with HLT + no standardise + partial lookahead + save 59μs  -- with HLT + standardise + partial lookahead + save 59μs  -- with Felsch + no standardisation 58μ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 63μs  -- with CR style 63μs  -- with Cr style 63μs ToddCoxeter 024: exceptions . . .  -- with HLT + no standardise + full lookahead + no save 304μs  -- with HLT + standardise + full lookahead + no save 288μs  -- with HLT + no standardise + partial lookahead + no save 286μs  -- with HLT + standardise + partial lookahead + no save 286μs  -- with HLT + no standardise + full lookahead + save 291μs  -- with HLT + standardise + full lookahead + save 290μs  -- with HLT + no standardise + partial lookahead + save 290μs  -- with HLT + standardise + partial lookahead + save 290μs  -- with Felsch + no standardisation 287μs  -- with Felsch + standardisation 290μs  -- with random strategy 305μs  -- with Rc style + full lookahead 290μs  -- with Rc style + partial lookahead 289μs  -- with R/C style 289μs  -- with CR style 291μs  -- with Cr style 289μs ToddCoxeter 025: obviously infinite . . .  -- with HLT + no standardise + full lookahead + no save 80μs  -- with HLT + standardise + full lookahead + no save 75μs  -- with HLT + no standardise + partial lookahead + no save 75μs  -- with HLT + standardise + partial lookahead + no save 74μs  -- with HLT + no standardise + full lookahead + save 72μ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 Felsch + no standardisation 72μs  -- with Felsch + standardisation 71μs  -- with random strategy 71μs ToddCoxeter 026: exceptions . . .  -- with HLT + no standardise + full lookahead + no save 178μs  -- with HLT + standardise + full lookahead + no save 167μs  -- with HLT + no standardise + partial lookahead + no save 165μs  -- with HLT + standardise + partial lookahead + no save 166μs  -- with HLT + no standardise + full lookahead + save 174μs  -- with HLT + standardise + full lookahead + save 171μs  -- with HLT + no standardise + partial lookahead + save 171μs  -- with HLT + standardise + partial lookahead + save 170μs  -- with Felsch + no standardisation 169μs  -- with Felsch + standardisation 172μs  -- with random strategy 181μs  -- with Rc style + full lookahead 172μs  -- with Rc style + partial lookahead 171μs  -- with R/C style 175μs  -- with CR style 174μs  -- with Cr style 175μs ToddCoxeter 027: empty . . . 40μs ToddCoxeter 028: congruence of fpsemigroup::ToddCoxeter . . .  -- with HLT + no standardise + full lookahead + no save 228μs  -- with HLT + standardise + full lookahead + no save 209μs  -- with HLT + no standardise + partial lookahead + no save 207μs  -- with HLT + standardise + partial lookahead + no save 207μs  -- with HLT + save (throws) 230μs  -- with Felsch (throws) 227μs  -- with random strategy 229μs  -- with HLT + no standardise + full lookahead + save 211μs  -- with HLT + standardise + full lookahead + save 214μs  -- with HLT + no standardise + partial lookahead + save 211μs  -- with HLT + standardise + partial lookahead + save 206μs  -- with Felsch + no standardisation 208μs  -- with Felsch + standardisation 207μs  -- with Rc style + full lookahead 199μs  -- with Rc style + partial lookahead 201μs  -- with R/C style 202μs  -- with CR style 201μs  -- with Cr style 202μs ToddCoxeter 029: !KnuthBendix.started() . . .  -- with HLT + no standardise + full lookahead + no save and 2-sided 104μs  -- with HLT + standardise + full lookahead + no save and 2-sided 88μs  -- with HLT + no standardise + partial lookahead + no save and 2-sided 86μs  -- with HLT + standardise + partial lookahead + no save and 2-sided 84μs  -- with HLT + no standardise + full lookahead + save and 2-sided 95μs  -- with HLT + standardise + full lookahead + save and 2-sided 89μs  -- with HLT + no standardise + partial lookahead + save and 2-sided 89μs  -- with HLT + standardise + partial lookahead + save and 2-sided 89μs  -- with Felsch + no standardisation and 2-sided 86μs  -- with Felsch + standardisation and 2-sided 85μs  -- with random strategy and 2-sided 93μs  -- with HLT + no standardise + full lookahead + no save and left 89μs  -- with HLT + standardise + full lookahead + no save and left 88μs  -- with HLT + no standardise + partial lookahead + no save and left 86μs  -- with HLT + standardise + partial lookahead + no save and left 85μs  -- with HLT + no standardise + full lookahead + save and left 97μs  -- with HLT + standardise + full lookahead + save and left 95μs  -- with HLT + no standardise + partial lookahead + save and left 94μs  -- with HLT + standardise + partial lookahead + save and left 95μs  -- with Felsch + no standardisation and left 92μs  -- with Felsch + standardisation and left 93μs  -- with random strategy and left 92μs  -- with HLT + no standardise + full lookahead + no save and right 88μs  -- with HLT + standardise + full lookahead + no save and right 83μs  -- with HLT + no standardise + partial lookahead + no save and right 84μs  -- with HLT + standardise + partial lookahead + no save and right 84μs  -- with HLT + no standardise + full lookahead + save and right 95μs  -- with HLT + standardise + full lookahead + save and right 95μs  -- with HLT + no standardise + partial lookahead + save and right 93μs  -- with HLT + standardise + partial lookahead + save and right 95μs  -- with Felsch + no standardisation and right 94μs  -- with Felsch + standardisation and right 93μs  -- with random strategy and right 103μs ToddCoxeter 030: KnuthBendix.finished() . . .  -- with HLT + no standardise + full lookahead + no save and 2-sided 207μs  -- with HLT + standardise + full lookahead + no save and 2-sided 186μs  -- with HLT + no standardise + partial lookahead + no save and 2-sided 184μs  -- with HLT + standardise + partial lookahead + no save and 2-sided 182μs  -- with HLT + no standardise + full lookahead + save and 2-sided 187μs  -- with HLT + standardise + full lookahead + save and 2-sided 185μs  -- with HLT + no standardise + partial lookahead + save and 2-sided 186μs  -- with HLT + standardise + partial lookahead + save and 2-sided 186μs  -- with Felsch + no standardisation and 2-sided 177μs  -- with Felsch + standardisation and 2-sided 177μs  -- with random strategy and 2-sided 193μs  -- with HLT + no standardise + full lookahead + no save and left 200μs  -- with HLT + standardise + full lookahead + no save and left 197μs  -- with HLT + no standardise + partial lookahead + no save and left 200μs  -- with HLT + standardise + partial lookahead + no save and left 198μs  -- with HLT + no standardise + full lookahead + save and left 210μs  -- with HLT + standardise + full lookahead + save and left 209μs  -- with HLT + no standardise + partial lookahead + save and left 209μs  -- with HLT + standardise + partial lookahead + save and left 210μs  -- with Felsch + no standardisation and left 206μs  -- with Felsch + standardisation and left 202μs  -- with random strategy and left 214μs  -- with HLT + no standardise + full lookahead + no save and right 200μs  -- with HLT + standardise + full lookahead + no save and right 195μs  -- with HLT + no standardise + partial lookahead + no save and right 195μs  -- with HLT + standardise + partial lookahead + no save and right 197μs  -- with HLT + no standardise + full lookahead + save and right 207μs  -- with HLT + standardise + full lookahead + save and right 207μs  -- with HLT + no standardise + partial lookahead + save and right 206μs  -- with HLT + standardise + partial lookahead + save and right 206μs  -- with Felsch + no standardisation and right 202μs  -- with Felsch + standardisation and right 201μs  -- with random strategy and right 216μ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 135μs  -- with HLT + no standardise + partial lookahead + no save and 2-sided 143μs  -- with HLT + standardise + partial lookahead + no save and 2-sided 135μs  -- with HLT + no standardise + full lookahead + save and 2-sided 137μs  -- with HLT + standardise + full lookahead + save and 2-sided 136μs  -- with HLT + no standardise + partial lookahead + save and 2-sided 135μs  -- with HLT + standardise + partial lookahead + save and 2-sided 135μs  -- with Felsch + no standardisation and 2-sided 128μs  -- with Felsch + standardisation and 2-sided 128μs  -- with random strategy and 2-sided 142μs  -- with Rc style + full lookahead and 2-sided 139μs  -- with Rc style + partial lookahead and 2-sided 141μs  -- with R/C style and 2-sided 136μs  -- with CR style and 2-sided 135μs  -- with Cr style and 2-sided 140μ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 146μ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 156μs  -- with HLT + no standardise + partial lookahead + save and left 155μs  -- with HLT + standardise + partial lookahead + save and left 155μs  -- with Felsch + no standardisation and left 151μs  -- with Felsch + standardisation and left 151μs  -- with random strategy and left 169μs  -- with Rc style + full lookahead and left 156μs  -- with Rc style + partial lookahead and left 156μs  -- with R/C style and left 150μs  -- with CR style and left 157μs  -- with Cr style and left 163μs  -- with HLT + no standardise + full lookahead + no save and right 151μs  -- with HLT + standardise + full lookahead + no save and right 145μs  -- with HLT + no standardise + partial lookahead + no save and right 144μs  -- with HLT + standardise + partial lookahead + no save and right 144μs  -- with HLT + no standardise + full lookahead + save and right 155μs  -- with HLT + standardise + full lookahead + save and right 156μs  -- with HLT + no standardise + partial lookahead + save and right 154μs  -- with HLT + standardise + partial lookahead + save and right 156μs  -- with Felsch + no standardisation and right 150μs  -- with Felsch + standardisation and right 149μs  -- with random strategy and right 165μs  -- with Rc style + full lookahead and right 154μs  -- with Rc style + partial lookahead and right 154μs  -- with R/C style and right 150μs  -- with CR style and right 156μs  -- with Cr style and right 162μs ToddCoxeter 032: prefill . . . 337μs ToddCoxeter 033: congruence of ToddCoxeter . . .  -- with HLT + no standardise + full lookahead + no save 78μs  -- with HLT + standardise + full lookahead + no save 72μs  -- with HLT + no standardise + partial lookahead + no save 68μs  -- with HLT + standardise + partial lookahead + no save 70μs  -- with HLT + no standardise + full lookahead + save 71μs  -- with HLT + standardise + full lookahead + save 71μs  -- with HLT + no standardise + partial lookahead + save 70μs  -- with HLT + standardise + partial lookahead + save 70μs  -- with random strategy 84μs ToddCoxeter 034: congruence of ToddCoxeter . . .  -- with HLT + no standardise + full lookahead + no save 137μs  -- with HLT + standardise + full lookahead + no save 129μs  -- with HLT + no standardise + partial lookahead + no save 126μs  -- with HLT + standardise + partial lookahead + no save 127μs  -- with HLT + save (throws) 151μs  -- with Felsch (throws) 146μs  -- with random strategy 149μs ToddCoxeter 035: congruence on FpSemigroup . . .  -- with HLT + no standardise + full lookahead + no save 382μs  -- with HLT + standardise + full lookahead + no save 362μs  -- with HLT + no standardise + partial lookahead + no save 353μs  -- with HLT + standardise + partial lookahead + no save 354μs  -- with HLT + no standardise + full lookahead + save 394μs  -- with HLT + standardise + full lookahead + save 390μs  -- with HLT + no standardise + partial lookahead + save 388μs  -- with HLT + standardise + partial lookahead + save 386μs  -- with Felsch + no standardisation 379μs  -- with Felsch + standardisation 383μs  -- with random strategy 396μs  -- with Rc style + full lookahead 356μs  -- with Rc style + partial lookahead 355μs  -- with R/C style 357μs  -- with CR style 386μs  -- with Cr style 388μs ToddCoxeter 036: exceptions . . . 117μs ToddCoxeter 037: copy constructor . . . 44μs ToddCoxeter 038: simplify . . . 151μs ToddCoxeter 039: stylic_monoid . . . 739ms ToddCoxeter 041: some finite classes . . . 648μs ToddCoxeter 043: symmetric_group(7, Coxeter + Moser) . . . 213ms ToddCoxeter 044: Option exceptions . . . 132μs ToddCoxeter 045: Options operator<< . . . 1106μs ToddCoxeter 046: Easdown-East-FitzGerald DualSymInv(5) . . .  -- with HLT + no standardise + full lookahead + no save 192ms  -- with HLT + standardise + full lookahead + no save 206ms  -- with HLT + no standardise + partial lookahead + no save 191ms  -- with HLT + standardise + partial lookahead + no save 206ms  -- with HLT + no standardise + full lookahead + save 180ms  -- with HLT + standardise + full lookahead + save 179ms  -- with HLT + no standardise + partial lookahead + save 181ms  -- with HLT + standardise + partial lookahead + save 178ms  -- with Felsch + no standardisation 204ms  -- with Felsch + standardisation 204ms  -- with random strategy 284ms  -- with R/C style 207ms  -- with Rc style + full lookahead 216ms  -- with Rc style + partial lookahead 215ms 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 144μs  -- with HLT + standardise + partial lookahead + no save 147μs  -- with HLT + no standardise + full lookahead + save 255μs  -- with HLT + standardise + full lookahead + save 248μs  -- with HLT + no standardise + partial lookahead + save 242μs  -- with HLT + standardise + partial lookahead + save 243μs  -- with Felsch + no standardisation 193μs  -- with Felsch + standardisation 190μs  -- with random strategy 217μs  -- with R/C style 172μs  -- with Rc style + full lookahead 156μs  -- with Rc style + partial lookahead 156μs ToddCoxeter 048: stellar_monoid(7) (Gay-Hivert) . . . 192ms ToddCoxeter 049: partition_monoid(4) (East) . . .  -- with HLT + no standardise + full lookahead + no save 37ms  -- with HLT + standardise + full lookahead + no save 37ms  -- with HLT + no standardise + partial lookahead + no save 37ms  -- with HLT + standardise + partial lookahead + no save 37ms  -- with HLT + no standardise + full lookahead + save 71ms  -- with HLT + standardise + full lookahead + save 72ms  -- with HLT + no standardise + partial lookahead + save 71ms  -- with HLT + standardise + partial lookahead + save 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 6801μs ToddCoxeter 053: temperley_lieb_monoid(10) (East) . . . 34ms ToddCoxeter 063: add_rule . . .  -- with HLT + no standardise + full lookahead + no save 144μs  -- with HLT + standardise + full lookahead + no save 126μs  -- with HLT + no standardise + partial lookahead + no save 123μ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 128μs  -- with HLT + standardise + partial lookahead + save 128μs  -- with Felsch + no standardisation 127μs  -- with Felsch + standardisation 127μs  -- with random strategy 139μs  -- with Rc style + full lookahead 127μs  -- with Rc style + partial lookahead 127μs  -- with R/C style 132μs  -- with CR style 131μs  -- with Cr style 129μs  -- with R/C + Felsch lookahead 138μs  -- with HLT + Felsch lookahead + save 126μs  -- with Cr + small number of f_defs 136μs  -- with Rc + small number of deductions 127μs  -- with Felsch + v2 + no preferred defs 126μs  -- with Felsch + v2 + immediate no stack 127μs  -- with Felsch + v1 + immediate no stack 128μs  -- with Felsch + v1 + immediate yes stack 126μs  -- with large collapse 129μs ToddCoxeter 064: (from kbmag/standalone/kb_data/s4) (KnuthB [...] . . .  -- with HLT + no standardise + full lookahead + no save 383μs ToddCoxeter 066: test validate . . . 68μs ToddCoxeter 067: add_rules after construct. from semigroup . . .  -- with HLT + no standardise + full lookahead + no save 435μs  -- with HLT + standardise + full lookahead + no save 410μs  -- with HLT + no standardise + partial lookahead + no save 405μs  -- with HLT + standardise + partial lookahead + no save 405μs  -- with HLT + save (throws) 429μs  -- with Felsch (throws) 426μs  -- with random strategy 452μs ToddCoxeter 068: Sym(5) from Chapter 3, Proposition 1.1 in NR . . .  -- with Deduction policy == purge_from_top 1135μs  -- with Deduction policy == purge_all 1118μs  -- with Deduction policy == discard_all_if_no_space 1140μs  -- with HLT + no standardise + full lookahead + no save 1088μs  -- with HLT + standardise + full lookahead + no save 1334μs  -- with HLT + no standardise + partial lookahead + no save 1089μs  -- with HLT + standardise + partial lookahead + no save 1321μs  -- with HLT + no standardise + full lookahead + save 1546μs  -- with HLT + standardise + full lookahead + save 1537μs  -- with HLT + no standardise + partial lookahead + save 1510μs  -- with HLT + standardise + partial lookahead + save 1527μs  -- with Felsch + no standardisation 1079μs  -- with Felsch + standardisation 1065μs  -- with random strategy 1694μs  -- with Rc style + full lookahead 2192μs  -- with Rc style + partial lookahead 2169μs  -- with R/C style 1255μs  -- with CR style 1160μs  -- with Cr style 1140μs ToddCoxeter 069: Chapter 7, Theorem 3.6 in NR (size 243) . . .  -- with HLT + no standardise + full lookahead + no save 1041μs  -- with HLT + standardise + full lookahead + no save 1103μs  -- with HLT + no standardise + partial lookahead + no save 1021μs  -- with HLT + standardise + partial lookahead + no save 1100μs  -- with HLT + no standardise + full lookahead + save 893μs  -- with HLT + standardise + full lookahead + save 914μs  -- with HLT + no standardise + partial lookahead + save 877μs  -- with HLT + standardise + partial lookahead + save 905μs  -- with Felsch + no standardisation 5046μs  -- with Felsch + standardisation 5089μs  -- with random strategy 6846μs  -- with Rc style + full lookahead 1156μs  -- with Rc style + partial lookahead 1149μs  -- with R/C style 1275μs  -- with CR style 5041μs  -- with Cr style 4983μs ToddCoxeter 070: finite semigroup (size 99) . . .  -- with HLT + no standardise + full lookahead + no save 446μs  -- with HLT + standardise + full lookahead + no save 456μs  -- with HLT + no standardise + partial lookahead + no save 436μs  -- with HLT + standardise + partial lookahead + no save 457μs  -- with HLT + no standardise + full lookahead + save 383μs  -- with HLT + standardise + full lookahead + save 392μs  -- with HLT + no standardise + partial lookahead + save 372μs  -- with HLT + standardise + partial lookahead + save 386μs  -- with Felsch + no standardisation 915μs  -- with Felsch + standardisation 922μs  -- with random strategy 492μs  -- with Rc style + full lookahead 486μs  -- with Rc style + partial lookahead 486μs  -- with R/C style 542μs  -- with CR style 953μs  -- with Cr style 944μs ToddCoxeter 080: KnuthBendix 098 . . .  -- with HLT + no standardise + full lookahead + no save 1359ms  -- with HLT + standardise + full lookahead + no save 1240ms  -- with HLT + no standardise + partial lookahead + no save 1359ms  -- with HLT + standardise + partial lookahead + no save 1240ms  -- with HLT + no standardise + full lookahead + save 597ms  -- with HLT + standardise + full lookahead + save 602ms  -- with HLT + no standardise + partial lookahead + save 597ms  -- with HLT + standardise + partial lookahead + save 601ms  -- with Felsch + no standardisation 577ms  -- with Felsch + standardisation 577ms  -- with random strategy 1346ms  -- with Rc style + full lookahead 568ms  -- with Rc style + partial lookahead 570ms  -- with R/C style 1337ms  -- with CR style 572ms  -- with Cr style 576ms ToddCoxeter 084: Campbell-Reza 1 . . .  -- with HLT + no standardise + full lookahead + no save 157μs  -- with HLT + standardise + full lookahead + no save 137μs  -- with HLT + no standardise + partial lookahead + no save 123μs  -- with HLT + standardise + partial lookahead + no save 131μs  -- with HLT + no standardise + full lookahead + save 144μs  -- with HLT + standardise + full lookahead + save 141μs  -- with HLT + no standardise + partial lookahead + save 137μs  -- with HLT + standardise + partial lookahead + save 137μs  -- with Felsch + no standardisation 151μs  -- with Felsch + standardisation 149μs  -- with random strategy 142μs  -- with Rc style + full lookahead 131μs  -- with Rc style + partial lookahead 128μs  -- with R/C style 140μs  -- with CR style 159μs  -- with Cr style 157μs ToddCoxeter 085: Renner monoid type D4 (Gay-Hivert), q = 1 . . .  -- with HLT + no standardise + full lookahead + no save 150ms  -- with HLT + standardise + full lookahead + no save 151ms  -- with HLT + no standardise + partial lookahead + no save 155ms  -- with HLT + standardise + partial lookahead + no save 151ms  -- with HLT + no standardise + full lookahead + save 150ms  -- with HLT + standardise + full lookahead + save 150ms  -- with HLT + no standardise + partial lookahead + save 150ms  -- with HLT + standardise + partial lookahead + save 150ms  -- with Felsch + no standardisation 150ms  -- with Felsch + standardisation 150ms  -- with random strategy 150ms  -- with Rc style + full lookahead 150ms  -- with Rc style + partial lookahead 150ms  -- with R/C style 150ms  -- with CR style 151ms  -- with Cr style 150ms ToddCoxeter 086: trivial semigroup . . . 242ms ToddCoxeter 092: ACE --- perf602p5 - HLT . . .  -- with HLT + no standardise + full lookahead + no save 29ms  -- with HLT + standardise + full lookahead + no save 28ms  -- with HLT + no standardise + partial lookahead + no save 28ms  -- with HLT + standardise + partial lookahead + no save 28ms  -- with HLT + no standardise + full lookahead + save 21ms  -- with HLT + standardise + full lookahead + save 21ms  -- with HLT + no standardise + partial lookahead + save 21ms  -- with HLT + standardise + partial lookahead + save 21ms  -- with random strategy 22ms  -- with Felsch + no standardisation 17ms  -- with Felsch + standardisation 17ms ToddCoxeter 094: ACE --- C5 - HLT . . .  -- with HLT + no standardise + full lookahead + no save 136μs  -- with HLT + standardise + full lookahead + no save 126μs  -- with HLT + no standardise + partial lookahead + no save 126μs  -- with HLT + standardise + partial lookahead + no save 125μs  -- with HLT + no standardise + full lookahead + save 146μs  -- with HLT + standardise + full lookahead + save 144μs  -- with HLT + no standardise + partial lookahead + save 142μs  -- with HLT + standardise + partial lookahead + save 143μs  -- with random strategy 142μs  -- with Felsch + no standardisation 135μs  -- with Felsch + standardisation 134μs ToddCoxeter 095: ACE --- A5-C5 . . .  -- with HLT + no standardise + full lookahead + no save 164μs  -- with HLT + standardise + full lookahead + no save 170μs  -- with HLT + no standardise + partial lookahead + no save 159μs  -- with HLT + standardise + partial lookahead + no save 169μs  -- with HLT + no standardise + full lookahead + save 206μs  -- with HLT + standardise + full lookahead + save 203μs  -- with HLT + no standardise + partial lookahead + save 200μs  -- with HLT + standardise + partial lookahead + save 201μs  -- with random strategy 227μs  -- with Felsch + no standardisation 176μs  -- with Felsch + standardisation 175μs ToddCoxeter 096: ACE --- A5 . . .  -- with HLT + no standardise + full lookahead + no save 350μs  -- with HLT + standardise + full lookahead + no save 388μs  -- with HLT + no standardise + partial lookahead + no save 328μs  -- with HLT + standardise + partial lookahead + no save 384μs  -- with HLT + no standardise + full lookahead + save 496μs  -- with HLT + standardise + full lookahead + save 501μs  -- with HLT + no standardise + partial lookahead + save 486μs  -- with HLT + standardise + partial lookahead + save 501μs  -- with random strategy 570μs  -- with Felsch + no standardisation 387μs  -- with Felsch + standardisation 382μs ToddCoxeter 098: relation ordering . . .  -- with Felsch + no standardisation 711μs  -- with Felsch + standardisation 675μs  -- with HLT + no standardise + full lookahead + no save 316μs  -- with HLT + standardise + full lookahead + no save 317μs  -- with HLT + no standardise + partial lookahead + no save 312μs  -- with HLT + standardise + partial lookahead + no save 312μs  -- with HLT + no standardise + full lookahead + save 747μs  -- with HLT + standardise + full lookahead + save 736μs  -- with HLT + no standardise + partial lookahead + save 729μs  -- with HLT + standardise + partial lookahead + save 734μs  -- with random strategy 351μs ToddCoxeter 099: short circuit size in obviously infinite . . . 20μs ToddCoxeter 101: http://brauer.maths.qmul.ac.uk/Atlas/spor/M [...] . . . 553ms ToddCoxeter 108: http://brauer.maths.qmul.ac.uk/Atlas/lin/L3 [...] . . . 487ms ToddCoxeter 111: partition_monoid(2) . . . 98μs ToddCoxeter 112: brauer_monoid(4) (Kudryavtseva + Mazorchuk) . . . 482μs ToddCoxeter 113: symmetric_inverse_monoid . . . 19ms ToddCoxeter 116: symmetric_group(7, Burnside + Miller) . . . 434ms UF 001: constructor by size . . . 16μs UF 002: copy constructor . . . 25μs UF 003: find . . . 21μs action_digraph_helper 015: detail::to_string . . . 29μs action_digraph_helper 016: make . . . 73μs action_digraph_helper 017: is_connected . . . 128μs action_digraph_helper 018: is_strictly_cyclic . . . 5768μs follow_path 012: 20 node path . . . 25μs fpsemi-examples 002: full_transformation_monoid author except . . . 50μs fpsemi-examples 003: full_transformation_monoid degree except . . . 42μs fpsemi-examples 005: partial_transformation_monoid author except . . . 49μs fpsemi-examples 006: partial_transformation_monoid degree except . . . 46μs fpsemi-examples 007: symmetric_inverse_monoid(5) . . . 19ms fpsemi-examples 008: symmetric_group auth except . . . 47μs fpsemi-examples 009: symmetric_group degree except . . . 42μs fpsemi-examples 010: symmetric_group(6) Burnside + Miller . . . 28ms fpsemi-examples 011: dual_symmetric_inverse_monoid(5) . . . 191ms fpsemi-examples 012: dual_symmetric_inverse_monoid auth except . . . 61μs fpsemi-examples 013: dual_symmetric_inverse_monoid degree except . . . 44μs fpsemi-examples 014: uniform_block_bijection_monoid(5) . . . 17ms fpsemi-examples 015: uniform_block_bijection_monoid auth except . . . 43μs fpsemi-examples 016: uniform_block_bijection_monoid degree except . . . 36μs fpsemi-examples 019: partition_monoid auth except . . . 171μs fpsemi-examples 020: partition_monoid degree except . . . 167μs fpsemi-examples 022: monogenic_semigroup(4, 9) . . . 45μs fpsemi-examples 023: fibonacci_semigroup(2, 5) . . . 109μs fpsemi-examples 024: temperley_lieb_monoid(10) . . . 39ms fpsemi-examples 025: singular_brauer_monoid(6) . . . 321ms fpsemi-examples 026: orientation_preserving_monoid(6) . . . 27ms fpsemi-examples 027: orientation_reversing_monoid(5) . . . 6806μs fpsemi-examples 028: chinese_monoid(3) . . . 211μs fpsemi-examples 029: plactic_monoid(3) . . . 175μs fpsemi-examples 030: stylic_monoid(3) . . . 1606μs fpsemi-examples 031: symmetric_group(6) Carmichael . . . 14ms fpsemi-examples 032: symmetric_group(6) Moore . . . 11ms fpsemi-examples 033: symmetric_group(6) Coxeter + Moser . . . 9048μs fpsemi-examples 034: test for the rook monoid . . . 391μs fpsemi-examples 035: alternating_group(7) Moore . . . 34ms fpsemi-examples 036: alternating_group auth except . . . 50μs fpsemi-examples 037: alternating_group degree except . . . 33μs fpsemi-examples 038: partial_transformation_monoid(3) Machine . . . 308μs fpsemi-examples 039: chinese_monoid degree except . . . 53μs fpsemi-examples 040: monogenic_semigroup degree except . . . 61μs fpsemi-examples 041: rectangular_band degree except . . . 98μs fpsemi-examples 042: stellar_monoid degree except . . . 55μs fpsemi-examples 043: plactic_monoid degree except . . . 53μs fpsemi-examples 044: stylic_monoid degree except . . . 51μs fpsemi-examples 045: temperley_lieb_monoid degree except . . . 74μs fpsemi-examples 046: singular_brauer_monoid degree except . . . 90μs fpsemi-examples 047: orientation_preserving_monoid degree except . . . 83μs fpsemi-examples 048: orientation_preserving_monoid degree except . . . 88μs fpsemi-examples 049: test default values . . . 4374μs fpsemi-examples 052: not_symmetric_group(5) Guralnick + Kant [...] . . . 3833μs freeband_equal_to 001: . . . 689μs is_acyclic 000: 2-cycle . . . 14μs is_acyclic 001: 1-cycle . . . 12μs is_acyclic 002: multi-digraph . . . 15μs is_acyclic 003: complete digraph 100 . . . 52μs is_acyclic 004: acyclic digraph with 20000 nodes . . . 999μs is_acyclic 006: for a node . . . 937μs is_acyclic 007: for a node . . . 20μs is_reachable 008: acyclic 20 node digraph . . . 69μs is_reachable 009: 100 node path . . . 11ms is_reachable 010: 100 node cycle . . . 11ms is_reachable 011: 20 node clique . . . 458μs last_node_on_path_nc 014: 20 node path . . . 18μs make 000: from FroidurePin . . . 479μs make 001: from FroidurePin and alphabet . . . 591μs make 002: presentation from presentation . . . 431μs make 003: presentation from presentation and alphabet . . . 84μs make> 000: from ActionDigraph . . . 1127μs make> 001: from ActionDigraph (exceptions) . . . 77μs number_of_words 001: . . . 19μs silo 000: alphabet: a, min: 0, max: 10 . . . 46μs silo 001: corner cases . . . 32μs silo 002: alphabet: ab, min: 1, max: 4 . . . 56μs silo 003: alphabet: abc, min: 0, max: 13 . . . 95ms silo 004: code coverage . . . 33μs sislo 005: alphabet: a, min: 0, max: 10 . . . 40μs sislo 006: corner cases . . . 74μs sislo 007: alphabet: ab, min: 1, max: 4 . . . 89μs sislo 008: alphabet: abc, min: 0, max: 13 . . . 93ms sislo 009: code coverage . . . 29μs string 000: detail::is_suffix . . . 15μs string 001: detail::is_prefix . . . 15μs string 002: detail::maximum_common_suffix . . . 15μs string 003: detail::group_digits . . . 19μs string_to_word 002: . . . 14μs validate_label 013: 20 node path . . . 48μs wilo 001: corner cases . . . 42μs wilo 002: letters: 2, min: 1, max: 4 . . . 42μs wilo 003: letters: 2, min: 1, max: 4 . . . 64μs wilo 004: letters: 3, min: 0, max: 10 . . . 21ms wilo 005: letters: 3, min: 0, max: 13 . . . 138ms wilo 006: forward iterator requirements . . . 138ms wilo 007: more corner cases . . . 58μs wilo 008: starting at a given word 1 . . . 138μs wilo 009: starting at a given word 2 . . . 23μs wilo 010: code coverage . . . 23μs wislo 000: n: 2, min; 1, max: 4 . . . 29μs wislo 001: corner cases . . . 49μs wislo 002: n: 3, min; 0, max: 10 . . . 4602μs wislo 003: n: 3, min; 0, max: 13 . . . 131ms wislo 004: lex + sort . . . 380ms wislo 005: code coverage . . . 31μs =============================================================================== All tests passed (1289338 assertions in 1121 test cases) >>> libsemigroups: Entering fakeroot... make[1]: Entering directory '/home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.4.1' ./config/install-sh -c -d '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib' /bin/sh ./libtool --mode=install /usr/bin/install -c libsemigroups.la '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib' ./config/install-sh -c -d '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/pkgconfig' /usr/bin/install -c -m 644 libsemigroups.pc '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/pkgconfig' ./config/install-sh -c -d '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups' ./config/install-sh -c -d '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups/textflowcpp' libtool: install: /usr/bin/install -c .libs/libsemigroups.so.2.0.0 /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/libsemigroups.so.2.0.0 libtool: install: (cd /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib && { ln -s -f libsemigroups.so.2.0.0 libsemigroups.so.2 || { rm -f libsemigroups.so.2 && ln -s libsemigroups.so.2.0.0 libsemigroups.so.2; }; }) libtool: install: (cd /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib && { ln -s -f libsemigroups.so.2.0.0 libsemigroups.so || { rm -f libsemigroups.so && ln -s libsemigroups.so.2.0.0 libsemigroups.so; }; }) /usr/bin/install -c -m 644 extern/textflowcpp/TextFlow.hpp '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups/textflowcpp' libtool: install: /usr/bin/install -c .libs/libsemigroups.lai /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/libsemigroups.la /usr/bin/install -c -m 644 include/libsemigroups/action.hpp include/libsemigroups/adapters.hpp include/libsemigroups/bipart.hpp include/libsemigroups/bitset.hpp include/libsemigroups/bmat8.hpp include/libsemigroups/bmat.hpp include/libsemigroups/bruidhinn-traits.hpp include/libsemigroups/config.hpp include/libsemigroups/cong-intf.hpp include/libsemigroups/cong-pair-impl.hpp include/libsemigroups/cong-pair.hpp include/libsemigroups/cong-wrap.hpp include/libsemigroups/cong.hpp include/libsemigroups/constants.hpp include/libsemigroups/containers.hpp include/libsemigroups/coset.hpp include/libsemigroups/debug.hpp include/libsemigroups/deprecated.hpp include/libsemigroups/digraph-helper.hpp include/libsemigroups/digraph-with-sources.hpp include/libsemigroups/digraph-with-sources.tpp include/libsemigroups/digraph.hpp include/libsemigroups/exception.hpp include/libsemigroups/fastest-bmat.hpp include/libsemigroups/felsch-tree.hpp include/libsemigroups/felsch-digraph.hpp include/libsemigroups/felsch-digraph.tpp include/libsemigroups/forest.hpp include/libsemigroups/fpsemi-examples.hpp include/libsemigroups/fpsemi-intf.hpp include/libsemigroups/fpsemi.hpp include/libsemigroups/freeband.hpp include/libsemigroups/froidure-pin-base.hpp include/libsemigroups/froidure-pin-impl.hpp include/libsemigroups/froidure-pin.hpp include/libsemigroups/function-ref.hpp include/libsemigroups/hpcombi.hpp include/libsemigroups/int-range.hpp include/libsemigroups/iterator.hpp include/libsemigroups/kambites.hpp '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups' libtool: install: /usr/bin/install -c .libs/libsemigroups.a /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/libsemigroups.a libtool: install: chmod 644 /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/libsemigroups.a libtool: install: ranlib /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/libsemigroups.a /usr/bin/install -c -m 644 include/libsemigroups/kbe.hpp include/libsemigroups/knuth-bendix.hpp include/libsemigroups/konieczny.hpp include/libsemigroups/libsemigroups.hpp include/libsemigroups/make-froidure-pin.hpp include/libsemigroups/make-present.hpp include/libsemigroups/matrix.hpp include/libsemigroups/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/string-view.hpp include/libsemigroups/string.hpp include/libsemigroups/suffix-tree.hpp include/libsemigroups/tce.hpp include/libsemigroups/timer.hpp include/libsemigroups/todd-coxeter.hpp include/libsemigroups/transf.hpp include/libsemigroups/types.hpp include/libsemigroups/uf.hpp include/libsemigroups/wilo.hpp include/libsemigroups/wislo.hpp include/libsemigroups/word.hpp '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups' libtool: warning: remember to run 'libtool --finish /usr/lib' make[1]: Leaving directory '/home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.4.1' >>> 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.4.1-r0 pc:eigen3 pc:fmt pkgconfig >>> libsemigroups-dev*: Package size: 1.8 MB >>> libsemigroups-dev*: Compressing data... >>> libsemigroups-dev*: Create checksum... >>> libsemigroups-dev*: Create libsemigroups-dev-2.4.1-r0.apk >>> libsemigroups-static*: Tracing dependencies... >>> libsemigroups-static*: Package size: 5.5 MB >>> libsemigroups-static*: Compressing data... >>> libsemigroups-static*: Create checksum... >>> libsemigroups-static*: Create libsemigroups-static-2.4.1-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: 1.8 MB >>> libsemigroups*: Compressing data... >>> libsemigroups*: Create checksum... >>> libsemigroups*: Create libsemigroups-2.4.1-r0.apk >>> libsemigroups: Build complete at Sat, 10 Dec 2022 12:24:50 +0000 elapsed time 0h 3m 22s >>> libsemigroups: Cleaning up srcdir >>> libsemigroups: Cleaning up pkgdir >>> libsemigroups: Uninstalling dependencies... (1/4) Purging .makedepends-libsemigroups (20221210.122129) (2/4) Purging eigen-dev (3.4.0-r6) (3/4) Purging fmt-dev (9.1.0-r0) (4/4) Purging fmt (9.1.0-r0) OK: 293 MiB in 97 packages >>> libsemigroups: Updating the testing/ppc64le repository index... >>> libsemigroups: Signing the index...