>>> libsemigroups: Building testing/libsemigroups 2.3.2-r0 (using abuild 3.10.0_rc1-r2) started Sun, 13 Nov 2022 15:58:17 +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 (20221113.155818) OK: 304 MiB in 101 packages >>> libsemigroups: Cleaning up srcdir >>> libsemigroups: Cleaning up pkgdir >>> libsemigroups: Fetching https://distfiles.alpinelinux.org/distfiles/edge/libsemigroups-2.3.2.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.3.2/libsemigroups-2.3.2.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 15 2394k 15 367k 0 0 205k 0 0:00:11 0:00:01 0:00:10 364k 100 2394k 100 2394k 0 0 1098k 0 0:00:02 0:00:02 --:--:-- 1710k >>> libsemigroups: Fetching https://distfiles.alpinelinux.org/distfiles/edge/libsemigroups-2.3.2.tar.gz >>> libsemigroups: Checking sha512sums... libsemigroups-2.3.2.tar.gz: OK >>> libsemigroups: Unpacking /var/cache/distfiles/libsemigroups-2.3.2.tar.gz... tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' checking build system type... powerpc64le-alpine-linux-musl checking host system type... powerpc64le-alpine-linux-musl checking target system type... powerpc64le-alpine-linux-musl checking for a BSD-compatible install... /usr/bin/install -c checking whether build environment is sane... yes checking for a race-free mkdir -p... ./config/install-sh -c -d checking for gawk... no checking for mawk... no checking for nawk... no checking for awk... awk checking whether make sets $(MAKE)... yes checking whether make supports nested variables... yes checking how to create a pax tar archive... gnutar checking whether make supports nested variables... (cached) yes checking whether make supports the include directive... yes (GNU style) checking for powerpc64le-alpine-linux-musl-gcc... gcc checking whether the C compiler works... yes checking for C compiler default output file name... a.out checking for suffix of executables... checking whether we are cross compiling... no checking for suffix of object files... o checking whether the compiler supports GNU C... yes checking whether gcc accepts -g... yes checking for gcc option to enable C11 features... none needed checking whether gcc understands -c and -o together... yes checking dependency style of gcc... gcc3 checking for powerpc64le-alpine-linux-musl-ar... no checking for powerpc64le-alpine-linux-musl-lib... no checking for powerpc64le-alpine-linux-musl-link... no checking for ar... ar checking the archiver (ar) interface... ar checking whether the compiler supports GNU C++... yes checking whether g++ accepts -g... yes checking for g++ option to enable C++11 features... none needed checking dependency style of g++... gcc3 checking whether g++ supports C++14 features by default... yes checking for a sed that does not truncate output... /bin/sed checking how to run the C preprocessor... gcc -E checking for grep that handles long lines and -e... /bin/grep checking for egrep... /bin/grep -E checking whether gcc is Clang... no checking whether pthreads work with "-pthread" and "-lpthread"... yes checking for joinable pthread attribute... PTHREAD_CREATE_JOINABLE checking whether more special flags are required for pthreads... no checking for PTHREAD_PRIO_INHERIT... yes checking for pthread_create in -lpthread... yes checking whether to enable maintainer-specific portions of Makefiles... no checking whether ln -s works... yes checking how to print strings... printf checking for a sed that does not truncate output... (cached) /bin/sed checking for fgrep... /bin/grep -F checking for ld used by gcc... /usr/powerpc64le-alpine-linux-musl/bin/ld checking if the linker (/usr/powerpc64le-alpine-linux-musl/bin/ld) is GNU ld... yes checking for BSD- or MS-compatible name lister (nm)... /usr/bin/nm -B checking the name lister (/usr/bin/nm -B) interface... BSD nm checking the maximum length of command line arguments... 98304 checking how to convert powerpc64le-alpine-linux-musl file names to powerpc64le-alpine-linux-musl format... func_convert_file_noop checking how to convert powerpc64le-alpine-linux-musl file names to toolchain format... func_convert_file_noop checking for /usr/powerpc64le-alpine-linux-musl/bin/ld option to reload object files... -r checking for powerpc64le-alpine-linux-musl-file... no checking for file... file checking for powerpc64le-alpine-linux-musl-objdump... no checking for objdump... objdump checking how to recognize dependent libraries... pass_all checking for powerpc64le-alpine-linux-musl-dlltool... no checking for dlltool... no checking how to associate runtime and link libraries... printf %s\n checking for powerpc64le-alpine-linux-musl-ar... ar checking for archiver @FILE support... @ checking for powerpc64le-alpine-linux-musl-strip... no checking for strip... strip checking for powerpc64le-alpine-linux-musl-ranlib... no checking for ranlib... ranlib checking command to parse /usr/bin/nm -B output from gcc object... ok checking for sysroot... no checking for a working dd... /bin/dd checking how to truncate binary pipes... /bin/dd bs=4096 count=1 checking for powerpc64le-alpine-linux-musl-mt... no checking for mt... no checking if : is a manifest tool... no checking for stdio.h... yes checking for stdlib.h... yes checking for string.h... yes checking for inttypes.h... yes checking for stdint.h... yes checking for strings.h... yes checking for sys/stat.h... yes checking for sys/types.h... yes checking for unistd.h... yes checking for dlfcn.h... yes checking for objdir... .libs checking if gcc supports -fno-rtti -fno-exceptions... no checking for gcc option to produce PIC... -fPIC -DPIC checking if gcc PIC flag -fPIC -DPIC works... yes checking if gcc static flag -static works... yes checking if gcc supports -c -o file.o... yes checking if gcc supports -c -o file.o... (cached) yes checking whether the gcc linker (/usr/powerpc64le-alpine-linux-musl/bin/ld) supports shared libraries... yes checking whether -lc should be explicitly linked in... no checking dynamic linker characteristics... GNU/Linux ld.so checking how to hardcode library paths into programs... immediate checking whether stripping libraries is possible... yes checking if libtool supports shared libraries... yes checking whether to build shared libraries... yes checking whether to build static libraries... yes checking how to run the C++ preprocessor... g++ -E checking for ld used by g++... /usr/powerpc64le-alpine-linux-musl/bin/ld checking if the linker (/usr/powerpc64le-alpine-linux-musl/bin/ld) is GNU ld... yes checking whether the g++ linker (/usr/powerpc64le-alpine-linux-musl/bin/ld) supports shared libraries... yes checking for g++ option to produce PIC... -fPIC -DPIC checking if g++ PIC flag -fPIC -DPIC works... yes checking if g++ static flag -static works... yes checking if g++ supports -c -o file.o... yes checking if g++ supports -c -o file.o... (cached) yes checking whether the g++ linker (/usr/powerpc64le-alpine-linux-musl/bin/ld) supports shared libraries... yes checking dynamic linker characteristics... (cached) GNU/Linux ld.so checking how to hardcode library paths into programs... immediate checking for limits.h... yes checking for stdint.h... (cached) yes checking for stdlib.h... (cached) yes checking for sys/time.h... yes checking for unistd.h... (cached) yes checking for pthread.h... yes checking for _Bool... yes checking for stdbool.h that conforms to C99... yes checking for inline... inline checking for int64_t... yes checking for size_t... yes checking for uint64_t... yes checking for ptrdiff_t... yes checking size of void *... 8 checking for GNU libc compatible malloc... yes checking for gettimeofday... yes checking for memset... yes checking for pow... yes checking for sqrt... yes checking whether to enable debug mode... no checking whether to enable verbose mode... no checking whether enable compiler warnings... no checking whether to enable stats mode... yes checking whether to build with code coverage support... no checking whether to enable HPCombi... yes checking for ./extern/HPCombi/VERSION... yes checking the required version of HPCombi... 0.0.6 checking the version of HPCombi that's present... 0.0.6 checking whether C++ compiler accepts -march=avx... no configure: WARNING: flag -march=avx 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-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-pbr.lo CXX src/libsemigroups_la-obvinf.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.3.2/include/libsemigroups/digraph.hpp:58, from /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.3.2/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.3.2' CXX tests/bmat-data.o CXX tests/fpsemi-examples.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-fpsemi.o CXX tests/test-forest.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.3.2/include/libsemigroups/digraph.hpp:58, from /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.3.2/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.3.2/include/libsemigroups/digraph.hpp:58, from /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.3.2/include/libsemigroups/knuth-bendix.hpp:34, from /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.3.2/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.3.2/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.3.2/include/libsemigroups/digraph.hpp:58, from /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.3.2/include/libsemigroups/knuth-bendix.hpp:34, from /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.3.2/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.3.2' ./test_all --use-colour yes --order lex --abort [quick] Filters: [quick] Action 001: row and column basis orbits for BMat8 . . . 39μs Action 002: row and column basis orbits for BMat8 . . . 2053μs Action 003: add generators after enumeration . . . 2037μs Action 004: multipliers for BMat8 row and column orbits . . . 4383μs Action 005: orbits for regular boolean mat monoid 5 . . . 354ms Action 007: partial perm image orbit . . . 360μs Action 008: partial perm image orbit . . . 99ms 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 . . . 247μs Action 013: permutation on tuples, arrays . . . 25ms Action 014: permutation on sets, vectors . . . 322μs Action 015: permutation on tuples, vectors . . . 34ms Action 016: misc . . . 17ms Action 017: partial perm image orbit . . . 71μs Action 018: permutation on tuples, arrays (360360) . . . 345ms Action 019: orbits for regular BMat8 monoid 5 with stop/start . . . 471ms Action 021: orbits for regular boolean mat monoid 5 (BMat<5> [...] . . . 644ms ActionDigraph 000: constructor with 1 default arg . . . 16μs ActionDigraph 001: constructor with 0 default args . . . 51μs ActionDigraph 002: add nodes . . . 30μs ActionDigraph 003: add edges . . . 528μs ActionDigraph 004: strongly connected components - cycles . . . 31μs ActionDigraph 005: strongly connected components - no edges . . . 50ms ActionDigraph 006: strongly connected components - disjoint cycles . . . 1461μs ActionDigraph 007: strongly connected components - complete graphs . . . 625μs ActionDigraph 008: exceptions . . . 103μs ActionDigraph 009: spanning forest - complete graphs . . . 3331μs ActionDigraph 010: spanning forest - disjoint cycles . . . 110μs ActionDigraph 011: restrict . . . 12μs ActionDigraph 012: remove_edge_nc . . . 11μs ActionDigraph 013: scc large cycle . . . 9419μs ActionDigraph 014: random . . . 21μs ActionDigraph 015: reserve . . . 13μs ActionDigraph 016: default constructors . . . 18μs ActionDigraph 017: scc iterators . . . 879μs ActionDigraph 018: iterator to edges . . . 604μs ActionDigraph 019: root of scc . . . 255μs ActionDigraph 020: cbegin/end_panislo - 100 node path . . . 686μs ActionDigraph 021: cbegin/end_pislo . . . 60μs ActionDigraph 022: cbegin/end_pani(s)lo - 100 node cycle . . . 678μs ActionDigraph 023: cbegin/cend_pilo - tree 14 nodes . . . 108μs ActionDigraph 024: cbegin/end_pstilo - Cayley digraph . . . 232ms ActionDigraph 025: cbegin_pstilo - Tsalakou . . . 417μs ActionDigraph 026: cbegin/end_pstislo - Cayley digraph . . . 235ms ActionDigraph 027: cbegin/end_pstislo - Cayley digraph . . . 246μs ActionDigraph 028: path iterators corner cases . . . 297μs ActionDigraph 029: reverse node iterator . . . 13μs ActionDigraph 030: pstilo corner case . . . 37μs ActionDigraph 031: number_of_paths corner cases . . . 91μs ActionDigraph 032: number_of_paths acyclic digraph . . . 13ms ActionDigraph 033: number_of_paths binary tree . . . 501ms ActionDigraph 034: number_of_paths large binary tree . . . 84ms ActionDigraph 035: number_of_paths 400 node random digraph . . . 1039μs ActionDigraph 036: number_of_paths 10 node acyclic digraph . . . 39μs ActionDigraph 037: number_of_paths node digraph . . . 2510μs ActionDigraph 038: random/random_acyclic exceptions . . . 179μs ActionDigraph 039: unsafe (next) neighbour . . . 46μs ActionDigraph 040: number_of_egdes incident to a node . . . 50μs ActionDigraph 041: number_of_paths (matrix) . . . 25ms ActionDigraph 042: number_of_paths (matrix) . . . 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 . . . 23μs BMat8 002: multiplication . . . 24μs BMat8 003: identity matrix . . . 18μs BMat8 004: random . . . 141μs BMat8 005: call operator . . . 23μs BMat8 006: operator<< . . . 24μs BMat8 007: set . . . 105μs BMat8 008: row space basis . . . 776μs BMat8 009: col space basis . . . 791μs BMat8 010: row space basis . . . 1251μs BMat8 011: number_of_rows, number_of_cols . . . 46μs BMat8 012: row_space, col_space . . . 271μs BMat8 013: rows . . . 56μs BMat8 014: one . . . 14μs BMat8 015: vector constructor . . . 171μs BMat8 016: operator< . . . 17μs BMat8 017: adapters . . . 25μs BMat8 018: one . . . 14μs Bipartition 009: mem fns 1 . . . 34μs Bipartition 010: hash . . . 10μs Bipartition 011: mem fns 2 . . . 26μs Bipartition 012: delete/copy . . . 11μs Bipartition 013: degree 0 . . . 13μs Bipartition 014: exceptions . . . 56μs Bipartition 015: convenience constructor . . . 408μs Bipartition 016: force copy constructor over move constructor . . . 19μs Bipartition 017: adapters . . . 10μs BitSet 000: size . . . 14μs BitSet 001: operator< . . . 13μs BitSet 002: operator== . . . 15μs BitSet 003: operator!= . . . 15μs BitSet 004: operator&= . . . 17μs BitSet 005: & . . . 21μs BitSet 006: operator|= . . . 24μs BitSet 007: operator[] . . . 21μs BitSet 008: set(none) . . . 24μs BitSet 009: set(pos, value) . . . 23μs BitSet 010: set(first, last, value) . . . 28μs BitSet 011: reset(first, last) . . . 26μs BitSet 012: reset(pos) . . . 27μs BitSet 013: apply (iterate through set bits) . . . 32μs BitSet 014: std::hash . . . 10μs BitSet 015: constructors . . . 24μ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 . . . 15μ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< . . . 15μs Congruence 000: left congruence on fp semigroup . . . 107μs Congruence 001: 2-sided congruence on fp semigroup . . . 926μs Congruence 002: left congruence on fp semigroup . . . 752μs Congruence 003: word_to_class_index for cong. on fp semigroup . . . 655μs Congruence 004: word_to_class_index for cong. on fp semigroup . . . 454μs Congruence 005: trivial congruence on non-fp semigroup . . . 444μs Congruence 006: 2-sided congruence on non-fp semigroup . . . 376μs Congruence 007: 2-sided congruence on fp semigroup . . . 652μs Congruence 008: 2-sided congruence on infinite fp semigroup . . . 352μs Congruence 009: 2-sided congruence on infinite fp semigroup . . . 427μs Congruence 010: 2-sided congruence on finite semigroup . . . 53ms Congruence 012: 2-sided congruence on finite semigroup . . . 4796μs Congruence 013: trivial 2-sided congruence on bicyclic monoid . . . 34ms Congruence 014: non-trivial 2-sided congruence on bicyclic monoid . . . 974μs Congruence 015: 2-sided congruence on free abelian monoid . . . 955μs Congruence 016: example where TC works but KB doesn't . . . 596μs Congruence 017: 2-sided congruence on finite semigroup . . . 342μs Congruence 018: infinite fp semigroup from GAP library . . . 603μs Congruence 019: 2-sided cong. on fp semigroup with infinite [...] . . . 316μs Congruence 020: trivial cong. on an fp semigroup . . .  -- with compute size 275μs  -- with don't compute size 259μs Congruence 021: duplicate generators . . . 473μs Congruence 022: non-trivial classes . . . 1394μs Congruence 023: right congruence on finite semigroup . . . 252ms Congruence 024: redundant generating pairs . . . 79μs Congruence 025: 2-sided cong. on free semigroup . . . 61μs Congruence 026: is_quotient_obviously_(in)finite . . . 891μs Congruence 027: less . . . 780μs Congruence 028: 2-sided congruences of BMat8 semigroup . . . 143ms Congruence 029: left congruence on finite semigroup . . . 1031μs Congruence 030: right congruence on finite semigroup . . . 872μs Congruence 031: right congruence on finite semigroup . . . 494μs Congruence 032: contains . . . 139μs Congruence 033: Stellar S2 . . . 461μs Congruence 034: Stellar S3 . . . 839μs Congruence 035: Stellar S4 . . . 1998μs Congruence 036: Stellar S5 . . . 9805μs Congruence 037: Stellar S6 . . . 87ms Congruence 038: Stellar S7 . . . 771ms Congruence 039: left cong. on an f.p. semigroup . . . 2066μs Congruence 040: 2-sided cong. on infinite f.p. semigroup . . . 155μs Congruence 041: 2-sided congruence constructed from type only . . . 971μs Congruence 042: const_contains . . . 1023μs Congruence 043: no winner . . . 4666μs Congruence 044: congruence over smalloverlap . . . 6766μs CongruenceByPairs 001: (cong) 2-sided cong. on finite semigroup . . . 460μs CongruenceByPairs 002: (cong) left congruence on finite semigroup . . . 141μs CongruenceByPairs 003: (cong) right congruence on finite semigroup . . . 139μs CongruenceByPairs 004: (cong) trivial congruence on finite s [...] . . . 102μs CongruenceByPairs 005: (cong) trivial left congruence on fin [...] . . . 93μs CongruenceByPairs 006: (cong) trivial right congruence on fi [...] . . . 91μs CongruenceByPairs 007: (cong) universal congruence on finite [...] . . . 515μs CongruenceByPairs 009: (cong) 2-sided congruence on finite s [...] . . . 659ms CongruenceByPairs 010: (cong) left congruence on big finite [...] . . . 34ms CongruenceByPairs 011: (cong) left congruence on TCE . . . 288μs CongruenceByPairs 012: (cong) is_quotient_obviously_finite . . . 154μs CongruenceByPairs 013: (cong) class_index_to_word/quotient . . .  -- with right congruence 12ms  -- with left congruence 1415μs  -- with 2-sided congruence 8422μs CongruenceByPairs 014: (cong) const_word_to_class_index . . .  -- with right congruence 43μs  -- with left congruence 39μs  -- with 2-sided congruence 39μs CongruenceByPairs 015: (cong) size non-Element* . . . 24ms CongruenceInterface 000: add_pair . . .  -- with ToddCoxeter 175μs  -- with KnuthBendix 273μs  -- with CongruenceByPairs 202μs  -- with Congruence 1052μs CongruenceInterface 001: contains/const_contains . . .  -- with ToddCoxeter and no parent 196μs  -- with KnuthBendix and no parent 215μs  -- with Congruence and parent 1011μs  -- with CongruenceByPairs and parent 150μs CongruenceInterface 002: less . . .  -- with ToddCoxeter 155μs  -- with KnuthBendix 234μs  -- with CongruenceByPairs 166μs  -- with Congruence 858μs CongruenceInterface 003: is_quotient_obviously_(in)finite . . .  -- with ToddCoxeter 123μs  -- with KnuthBendix 206μs CongruenceInterface 004: is_quotient_obviously_(in)finite . . .  -- with CongruenceByPairs 171μs  -- with Congruence 471μs CongruenceInterface 005: parent_froidure_pin . . .  -- with ToddCoxeter 43μs  -- with KnuthBendix 39μs CongruenceInterface 006: parent_froidure_pin . . .  -- with CongruenceByPairs 162μs  -- with Congruence 398μs CongruenceInterface 007: cbegin/cend_ntc . . .  -- with ToddCoxeter 270μs  -- with KnuthBendix 1900μs CongruenceInterface 008: cbegin/cend_ntc . . .  -- with CongruenceByPairs 197μs  -- with Congruence 440μs CongruenceInterface 009: quotient is immutable . . .  -- with ToddCoxeter 133μs  -- with KnuthBendix 180μs  -- with Congruence 235μs CongruenceInterface 010: no generating pairs added . . .  -- with KnuthBendix and common behaviour 4331μs  -- with Congruence and common behaviour 4479μs  -- with ToddCoxeter 122μs CongruenceInterface 011: nr generators not set . . .  -- with ToddCoxeter 216μs  -- with KnuthBendix 219μs  -- with Congruence 222μs CongruenceInterface 012: no generating pairs . . . 164μs ConstIteratorStateless 001: ? . . . 11μs ConstIteratorStateless 002: ? . . . 11μs Constants 001: Undefined . . . 18μs Constants 002: PositiveInfinity . . . 18μs Constants 003: NegativeInfinity . . . 17μs Constants 004: LimitMax . . . 17μs Duf 004: unite . . . 25μs Duf 006: compress . . . 18μs Duf 008: resize . . . 36μs Duf 009: resize . . . 15μs Duf 010: big chain . . . 22ms Duf 012: empty table . . . 12μs Duf 014: join . . . 15μs Duf 016: contains . . . 33μs Duf 018: swap . . . 38μs DynamicArray2 001: default constructor with 3 default args . . . 13μs DynamicArray2 002: default constructor with 2 default args . . . 11μs DynamicArray2 003: default constructor with 1 default args . . . 14μs DynamicArray2 004: default constructor with 0 default args . . . 13μs DynamicArray2 005: copy constructor with 1 default args . . . 13μs DynamicArray2 006: copy constructor with 0 default args . . . 16μs DynamicArray2 007: add_rows . . . 16μs DynamicArray2 008: add_rows . . . 14μs DynamicArray2 009: add_cols . . . 16μs DynamicArray2 010: set/get . . . 28μs DynamicArray2 011: append 1/2 . . . 54μs DynamicArray2 012: append 2/2 . . . 85μs DynamicArray2 013: count . . . 17μs DynamicArray2 014: clear . . . 12μs DynamicArray2 015: begin_row and end_row . . . 71μs DynamicArray2 016: cbegin_row and cend_row . . . 31μs DynamicArray2 017: iterator operator++ (postfix) . . . 287μs DynamicArray2 018: iterator operator++ (prefix) . . . 1936μs DynamicArray2 019: iterator operator-- (postfix) . . . 378μs DynamicArray2 020: iterator operator-- (prefix) . . . 377μs DynamicArray2 021: operator= . . . 16μs DynamicArray2 022: operator== and operator!= . . . 254μs DynamicArray2 023: empty and clear . . . 16μs DynamicArray2 024: max_size . . . 12μs DynamicArray2 025: swap . . . 36μs DynamicArray2 026: iterator arithmetic . . . 1697μs DynamicArray2 027: iterator comparison . . . 16μs DynamicArray2 028: iterator operator= . . . 13μs DynamicArray2 029: iterator operator[] . . . 95μs DynamicArray2 030: iterator operator-> . . . 21μs DynamicArray2 031: const_iterator operator++/-- . . . 244μs DynamicArray2 032: const_iterator operator++/-- . . . 11μs DynamicArray2 033: column iterators . . . 29μs DynamicArray2 034: column iterator arithmetic . . . 6664μs DynamicArray2 035: iterator assignment constructor . . . 1845μs DynamicArray2 036: reserve method . . . 38μs DynamicArray2 037: erase column . . . 18μs DynamicArray2 038: swap_rows . . . 14μs DynamicArray2 039: apply_row_permutation . . . 13μ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 . . . 13μs FelschTree 000: previously failing example . . . 30μs Forest 001: test forest . . . 76μs FpSemigroup 001: Renner monoid type B2 (E. G. presentation), q = 1 . . . 1257μs FpSemigroup 002: Renner monoid type B2 (E. G. presentation), q = 0 . . . 1578μs FpSemigroup 003: Renner monoid type B3 (E. G. presentation), q = 1 . . . 170ms FpSemigroup 004: Renner monoid type B3 (E. G. presentation), q = 0 . . . 238ms FpSemigroup 005: Renner monoid type B2 (Gay-Hivert presentat [...] . . . 1556μs FpSemigroup 006: Renner monoid type B2 (Gay-Hivert presentat [...] . . . 1567μs FpSemigroup 007: Renner monoid type B3 (Gay-Hivert presentat [...] . . . 6897μs FpSemigroup 008: Renner monoid type B3 (Gay-Hivert presentat [...] . . . 5946μs FpSemigroup 009: Renner monoid type B4 (Gay-Hivert presentat [...] . . . 255ms FpSemigroup 010: Renner monoid type B4 (Gay-Hivert presentat [...] . . . 350ms FpSemigroup 013: Renner monoid type D2 (E. G. presentation), q = 1 . . . 2242μs FpSemigroup 014: Renner monoid type D2 (E. G. presentation), q = 0 . . . 1428μs FpSemigroup 015: Renner monoid type D3 (E. G. presentation), q = 1 . . . 6825μs FpSemigroup 016: Renner monoid type D3 (E. G. presentation), q = 0 . . . 5810μs FpSemigroup 017: Renner monoid type D4 (E. G. presentation), q = 1 . . . 3566ms FpSemigroup 018: Renner monoid type D4 (E. G. presentation), q = 0 . . . 3553ms FpSemigroup 019: Renner monoid type D2 (Gay-Hivert presentat [...] . . . 1178μs FpSemigroup 020: Renner monoid type D2 (Gay-Hivert presentat [...] . . . 1776μs FpSemigroup 021: Renner monoid type D3 (Gay-Hivert presentat [...] . . . 5850μs FpSemigroup 022: Renner monoid type D3 (Gay-Hivert presentat [...] . . . 6529μs FpSemigroup 023: Renner monoid type D4 (Gay-Hivert presentat [...] . . . 101ms FpSemigroup 024: Renner monoid type D4 (Gay-Hivert presentat [...] . . . 131ms FpSemigroup 029: Rook monoid R5, q = 0 . . . 7758μs FpSemigroup 030: Rook monoid R5, q = 1 . . . 6826μs FpSemigroup 031: Rook monoid R6, q = 0 . . . 65ms FpSemigroup 032: Rook monoid R6, q = 1 . . . 62ms FpSemigroup 033: normal_form . . . 282μs FpSemigroup 034: for a finite semigroup . . . 700μs FpSemigroup 035: finite fp semigroup, dihedral group of order 6 . . . 999μs FpSemigroup 036: finite fp semigroup, size 16 . . . 843μs FpSemigroup 037: finite fp semigroup, size 16 . . . 1366μs FpSemigroup 038: fp semigroup, size 240 . . . 1242μs FpSemigroup 039: add_rule . . . 274μs FpSemigroup 040: add_rule . . . 188μs FpSemigroup 041: equal_to . . . 294μs FpSemigroup 042: cbegin/cend_rules . . . 85μs FpSemigroup 043: semigroup of size 3 . . . 437μs FpSemigroup 044: run_for/until . . . 2508μs FpSemigroup 045: constructors . . . 290μs FpSemigroup 046: set_inverses . . . 214μs FpSemigroup 047: smalloverlap . . . 7512μs FpSemigroup 048: quaternion group Q8 . . . 515μs FpSemigroup 049: symmetric group Coxeter presentation . . . 116ms FpSemigroupByPairs 029: (fpsemi) 2-sided congruence on finit [...] . . . 499μs FpSemigroupByPairs 030: (fpsemi) 2-sided congruence on finit [...] . . . 466μs FpSemigroupInterface 000: run with no alphabet . . .  -- with ToddCoxeter 66μs  -- with KnuthBendix 43μs  -- with FpSemigroup 54μs FpSemigroupInterface 001: equal_to . . .  -- with ToddCoxeter and human readable alphabet 2209μs  -- with KnuthBendix and human readable alphabet 5881μs  -- with FpSemigroup and human readable alphabet 6600μs  -- with FpSemigroupByPairs 5400μs FpSemigroupInterface 002: normal_form . . .  -- with ToddCoxeter 343μs  -- with KnuthBendix 392μs  -- with FpSemigroup 612μs FpSemigroupInterface 003: set_alphabet (1/2) . . .  -- with ToddCoxeter 142μs  -- with KnuthBendix 129μs  -- with FpSemigroup 142μs FpSemigroupInterface 004: set_alphabet (2/2) . . . 1411μs FpSemigroupInterface 005: add_rule after finished . . .  -- with ToddCoxeter and human readable alphabet 200μs  -- with KnuthBendix and human readable alphabet 230μs  -- with FpSemigroup and human readable alphabet 954μs  -- with FpSemigroupByPairs 1376μs FpSemigroupInterface 006: add_rule with equal words (1/2) . . .  -- with ToddCoxeter and human readable alphabet 148μs  -- with KnuthBendix and human readable alphabet 243μs  -- with FpSemigroup and human readable alphabet 293μs  -- with FpSemigroupByPairs 137μs FpSemigroupInterface 007: add_rule with equal words (2/2) . . .  -- with ToddCoxeter 27μs  -- with KnuthBendix 20μs  -- with FpSemigroup 34μs FpSemigroupInterface 008: add_rule with word_type . . .  -- with ToddCoxeter 64μs  -- with KnuthBendix 60μs  -- with FpSemigroup 90μs FpSemigroupInterface 009: add_rule with empty word (1/2) . . .  -- with ToddCoxeter 54μs  -- with FpSemigroup 61μs FpSemigroupInterface 010: add_rule with empty word (1/2) . . . 16μs FpSemigroupInterface 011: add_rules (1/3) . . .  -- with ToddCoxeter 52μs  -- with KnuthBendix 47μs  -- with FpSemigroup 57μs FpSemigroupInterface 012: add_rules (2/3) . . . 275μs FpSemigroupInterface 013: add_rules (3/3) . . .  -- with ToddCoxeter 30μs  -- with KnuthBendix 26μs  -- with FpSemigroup 63μs FpSemigroupInterface 014: set_identity (1/3) . . .  -- with ToddCoxeter 160μs  -- with KnuthBendix 156μs  -- with FpSemigroup 195μs FpSemigroupInterface 015: set_identity (2/3) . . . 193μs FpSemigroupInterface 016: set_identity (3/3) . . .  -- with ToddCoxeter 96μs  -- with KnuthBendix 97μs  -- with FpSemigroup 138μs FpSemigroupInterface 017: identity . . .  -- with ToddCoxeter 41μs  -- with KnuthBendix 35μs  -- with FpSemigroup 46μs FpSemigroupInterface 018: set_inverses + inverses (1/2) . . .  -- with ToddCoxeter 254μs  -- with KnuthBendix 253μs  -- with FpSemigroup 306μs FpSemigroupInterface 019: set_inverses + inverses (2/2) . . . 354μs FpSemigroupInterface 020: is_obviously_infinite (1/2) . . .  -- with ToddCoxeter 165μs  -- with KnuthBendix 222μs  -- with FpSemigroup 482μs FpSemigroupInterface 021: is_obviously_infinite (2/2) . . . 37μs FpSemigroupInterface 022: is_obviously_finite (1/2) . . .  -- with ToddCoxeter 154μs  -- with KnuthBendix 209μs  -- with FpSemigroup 819μs FpSemigroupInterface 023: is_obviously_finite (2/2) . . . 33μs FpSemigroupInterface 024: to_gap_string (1/3) . . .  -- with ToddCoxeter 31μs  -- with KnuthBendix 27μs  -- with FpSemigroup 64μ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 . . . 65ms FroidurePin 016: (BMat8) exception zero generators given . . . 16μs FroidurePin 017: (BMat8) exception word_to_element . . . 90μs FroidurePin 018: (BMat8) exception prefix . . . 3875μs FroidurePin 019: (BMat8) exception suffix . . . 23μs FroidurePin 020: (BMat8) exception first_letter . . . 3981μs FroidurePin 021: (BMat8) exception final_letter . . . 23μs FroidurePin 022: (BMat8) exception current_length . . . 3905μs FroidurePin 023: (BMat8) exception product_by_reduction . . . 4106μs FroidurePin 024: (BMat8) exception fast_product . . . 3492μs FroidurePin 025: (BMat8) exception is_idempotent . . . 37ms FroidurePin 026: (BMat8) copy constructor . . .  -- with fully enumerated 35ms  -- with partially enumerated 27ms  -- with not enumerated 25ms FroidurePin 027: (BMat8) cbegin/end_rules . . . 58μs FroidurePin 031: (integers) . . . 141μs FroidurePin 039: (pairs of integers) non-trivial user type . . . 25μs FroidurePin 055: (tropical max-plus semiring matrices) . . . 246μs FroidurePin 061: projective max plus matrix . . . 1013μs FroidurePin 062: projective max plus matrix . . . 39μs FroidurePin> 009: small example 2 . . . 41μs FroidurePin> 005: small example 1 . . . 127μs FroidurePin> 007: regular bmat monoid 4 . . . 58ms FroidurePin> 011: small example 3 . . . 485μs FroidurePin> 006: small example 1 . . . 149μs FroidurePin> 008: regular bmat monoid 4 . . . 69ms FroidurePin> 010: small example 2 . . . 44μs FroidurePin> 012: small example 3 . . . 556μs FroidurePin 000: small example 1 . . . 156μs FroidurePin 001: default constructed . . . 128μs FroidurePin 002: small example 2 . . . 54μs FroidurePin 004: exception: is_idempotent . . . 342μs FroidurePin> 033: Example 000 . . . 710μs FroidurePin> 035: Example 001 . . . 46μs FroidurePin> 032: Example 000 . . . 578μs FroidurePin> 034: Example 001 . . . 41μs FroidurePin 036: exception: current_position . . . 191μs FroidurePin 037: exception: word_to_element . . . 124μs FroidurePin 038: exception: prefix, suffix, first_letter . . . 51ms FroidurePin> 040: Example 000 . . . 64μs FroidurePin> 041: Example 000 . . . 63μs FroidurePin> 046: Example 005 . . . 144μs FroidurePin> 047: Example 005 . . . 166μs FroidurePin> 048: Example 005 . . . 164μs FroidurePin> 044: Example 004 . . . 31μs FroidurePin> 045: Example 004 . . . 32μs FroidurePin> 049: Example 006 . . . 938μs FroidurePin> 050: Example 006 . . . 1074μs FroidurePin> 051: Example 006 . . . 1080μs FroidurePin> 052: Example 007 . . . 116μs FroidurePin> 053: Example 007 . . . 140μs FroidurePin> 054: Example 007 . . . 134μs FroidurePin 056: example 1 . . . 207μs FroidurePin 057: example 2 . . . 164μs FroidurePin> 058: . . . 578μ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 [...] . . . 67μs FroidurePin> 067: exception current_position . . . 66μs FroidurePin> 068: exception word_to_element . . . 74μs FroidurePin> 069: exception gens . . . 853μs FroidurePin> 070: exception prefix . . . 62ms FroidurePin> 071: exception suffix . . . 161ms FroidurePin> 072: exception first_letter . . . 86μs FroidurePin> 073: exception final_letter . . . 83μs FroidurePin> 074: exception current_length . . . 85μs FroidurePin> 075: exception product_by_reduction . . . 1025μs FroidurePin> 076: exception fast_product . . . 1041μs FroidurePin> 077: exception current_position . . . 872μs FroidurePin> 078: exception is_idempotent . . . 705μs FroidurePin> 079: exception add_generators . . . 53μs FroidurePin> 080: multithread number_of_idempotents . . . 1271μs FroidurePin> 081: small semigroup . . . 31μs FroidurePin> 082: large semigroup . . . 5364μs FroidurePin> 083: at, position, current_* . . . 5522μs FroidurePin> 084: run . . . 5492μs FroidurePin> 085: run [many stops and starts] . . . 5658μs FroidurePin> 086: factorisation, length [1 element] . . . 5298μs FroidurePin> 087: factorisation, products [all elements] . . . 8398μs FroidurePin> 088: first/final letter, prefix, suffi [...] . . . 5274μs FroidurePin> 089: current_position [standard] . . . 27μs FroidurePin> 090: current_position [duplicate gens] . . . 8314μs FroidurePin> 091: current_position [after add_generators] . . . 5284μs FroidurePin> 092: cbegin_idempotents/cend [1 thread] . . . 5947μs FroidurePin> 093: idempotent_cend/cbegin [1 thread] . . . 5917μs FroidurePin> 094: is_idempotent [1 thread] . . . 6149μs FroidurePin> 096: finished, started . . . 5296μs FroidurePin> 097: current_position . . . 1198μs FroidurePin> 098: sorted_position, sorted_at . . . 6501μs FroidurePin> 099: right/left Cayley graph . . . 39ms FroidurePin> 100: iterator . . . 10ms FroidurePin> 101: reverse iterator . . . 10ms FroidurePin> 102: iterator arithmetic . . . 44ms FroidurePin> 103: iterator sorted . . . 37ms FroidurePin> 104: iterator sorted arithmetic . . . 45ms FroidurePin> 105: copy [not enumerated] . . . 5390μs FroidurePin> 106: copy_closure [not enumerated] . . . 34ms FroidurePin> 107: copy_add_generators [not enumerated] . . . 31ms FroidurePin> 108: copy [partly enumerated] . . . 5894μs FroidurePin> 109: copy_closure [partly enumerated] . . . 8666μs FroidurePin> 110: copy_add_generators [partly enumerated] . . . 5857μs FroidurePin> 111: copy [fully enumerated] . . . 8536μs FroidurePin> 112: copy_closure [fully enumerated] . . . 8613μs FroidurePin> 113: copy_add_generators [fully enumerated] . . . 7966μs FroidurePin> 114: relations [duplicate gens] . . . 185μs FroidurePin> 115: relations . . . 8843μs FroidurePin> 116: relations [copy_closure, duplicat [...] . . . 8785μs FroidurePin> 117: relations [copy_add_generators, d [...] . . . 8873μs FroidurePin> 118: relations [from copy, not enumerated] . . . 7007μ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 [...] . . . 7009μs FroidurePin> 123: relations [from copy_closure, par [...] . . . 9899μs FroidurePin> 124: relations [from copy_add_generato [...] . . . 8515μs FroidurePin> 125: relations [from copy_closure, ful [...] . . . 12ms FroidurePin> 126: relations [from copy_add_generato [...] . . . 11ms FroidurePin> 127: add_generators [duplicate generators] . . . 253μs FroidurePin> 128: add_generators [incremental 1] . . . 276μs FroidurePin> 129: add_generators [incremental 2] . . . 347μs FroidurePin> 130: closure [duplicate generators] . . . 181μs FroidurePin> 131: closure . . . 102μs FroidurePin> 132: factorisation . . . 27μs FroidurePin> 134: minimal_factorisation . . . 75μs FroidurePin> 135: batch_size (for an extremely larg [...] . . . 26μs FroidurePin> 137: exception: generators of differen [...] . . . 45μs FroidurePin> 138: exception: current_position . . . 68μs FroidurePin> 139: exception: word_to_element . . . 74μs FroidurePin> 140: exception: gens, current_position . . . 1244μs FroidurePin> 141: exception: add_generators . . . 45μs KBE 000: constructors . . . 49μs KBE 001: test . . . 83μs KBE 002: factorisation . . . 66μs KBE 003: swap . . . 46μs KBE 004: adapters . . . 44μs KBE 005: conversions . . . 46μs Kambites 000: (fpsemi) MT test 4 (std::string) . . . 6044μs Kambites 001: (fpsemi) MT test 4 (MultiStringView) . . . 5837μs Kambites 002: (fpsemi) number_of_pieces (std::string) . . . 126μs Kambites 003: (fpsemi) number_of_pieces (MultiStringView) . . . 115μs Kambites 004: (fpsemi) small_overlap_class (std::string) . . . 3231μs Kambites 005: (fpsemi) small_overlap_class (MultiStringView) . . . 3201μ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) . . . 88μs Kambites 011: (fpsemi) smalloverlap/gap/test.gi:85 (MultiStr [...] . . . 78μ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) . . . 37ms Kambites 016: (fpsemi) smalloverlap/gap/test.gi:63 (MultiStr [...] . . . 46ms Kambites 017: (fpsemi) smalloverlap/gap/test.gi:70 (std::string) . . . 138ms 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) . . . 39μs Kambites 023: (fpsemi) prefix (std::string) . . . 74μs Kambites 024: (fpsemi) prefix (MultiStringView) . . . 95μs Kambites 025: (fpsemi) normal_form (Example 3.15) (std::string) . . . 79μs Kambites 026: (fpsemi) normal_form (Example 3.15) (MultiStri [...] . . . 91μs Kambites 027: (fpsemi) normal_form (Example 3.16) (std::string) . . . 58μs Kambites 028: (fpsemi) normal_form (Example 3.16) (MultiStri [...] . . . 69μs Kambites 029: (fpsemi) normal_form (Example 3.16) more exhau [...] . . . 105ms Kambites 030: (fpsemi) normal_form (Example 3.16) more exhau [...] . . . 95ms Kambites 031: (fpsemi) small presentation (std::string) . . . 98μs Kambites 032: (fpsemi) small presentation (MultiStringView) . . . 84μs Kambites 033: (fpsemi) non-smalloverlap (std::string) . . . 87μs Kambites 034: (fpsemi) non-smalloverlap (MultiStringView) . . . 89μs Kambites 035: (fpsemi) MT test 3 (std::string) . . . 55μs Kambites 036: (fpsemi) MT test 3 (MultiStringView) . . . 53μs Kambites 037: (fpsemi) MT test 5 (std::string) . . . 31μs Kambites 038: (fpsemi) MT test 5 (MultiStringView) . . . 31μs Kambites 039: (fpsemi) MT test 6 (std::string) . . . 44μs Kambites 040: (fpsemi) MT test 6 (MultiStringView) . . . 48μs Kambites 041: (fpsemi) MT test 10 (std::string) . . . 41μs Kambites 042: (fpsemi) MT test 10 (MultiStringView) . . . 44μs Kambites 043: (fpsemi) MT test 13 (std::string) . . . 31μs Kambites 044: (fpsemi) MT test 13 (MultiStringView) . . . 31μs Kambites 045: (fpsemi) MT test 14 (std::string) . . . 30μs Kambites 046: (fpsemi) MT test 14 (MultiStringView) . . . 31μs Kambites 047: (fpsemi) MT test 15 (std::string) . . . 42μs Kambites 048: (fpsemi) MT test 15 (MultiStringView) . . . 41μs Kambites 049: (fpsemi) MT test 16 (std::string) . . . 42μs Kambites 050: (fpsemi) MT test 16 (MultiStringView) . . . 45μs Kambites 051: (fpsemi) MT test 17 (std::string) . . . 119μs Kambites 052: (fpsemi) MT test 17 (MultiStringView) . . . 103μs Kambites 053: (fpsemi) weak C(4) not strong x 1 (std::string) . . . 645μs Kambites 054: (fpsemi) weak C(4) not strong x 1 (MultiStringView) . . . 680μs Kambites 055: (fpsemi) weak C(4) not strong x 2 (std::string) . . . 642μs Kambites 056: (fpsemi) weak C(4) not strong x 2 (MultiStringView) . . . 683μs Kambites 057: (fpsemi) weak C(4) not strong x 3 (std::string) . . . 631μ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) . . . 64μs Kambites 060: (fpsemi) weak C(4) not strong x 4 (MultiStringView) . . . 76μ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) . . . 29μs Kambites 066: (fpsemi) Konovalov example (MultiStringView) . . . 28μs Kambites 067: (fpsemi) long words (std::string) . . . 1564ms Kambites 068: (fpsemi) long words (MultiStringView) . . . 30ms Kambites 075: (cong) example 1 . . . 37μs Kambites 076: (cong) example 2 . . . 114μs Kambites 077: (cong) code coverage . . . 5651μs Kambites 078: (cong) large number of rules . . . 223ms KnuthBendix 000: (fpsemi) confluent fp semigroup 1 (infinite) . . . 114μs KnuthBendix 001: (fpsemi) confluent fp semigroup 2 (infinite) . . . 123μs KnuthBendix 002: (fpsemi) confluent fp semigroup 3 (infinite) . . . 102μs KnuthBendix 003: (fpsemi) non-confluent fp semigroup from wi [...] . . . 184μs KnuthBendix 004: (fpsemi) Example 5.1 in Sims (infinite) . . . 170μs KnuthBendix 005: (fpsemi) Example 5.1 in Sims (infinite) . . . 167μs KnuthBendix 006: (fpsemi) Example 5.3 in Sims . . . 147μs KnuthBendix 007: (fpsemi) Example 5.4 in Sims . . . 181μ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 [...] . . . 724μs KnuthBendix 012: (fpsemi) Reinis example 1 . . . 207μs KnuthBendix 013: redundant_rule (std::string) . . . 100ms KnuthBendix 014: redundant_rule (word_type) . . . 10ms KnuthBendix 019: (fpsemi) C(4) monoid . . . 39μs KnuthBendix 020: (cong) Chinese monoid . . . 187μs KnuthBendix 021: (from kbmag/standalone/kb_data/f25monoid) . . . 781μs KnuthBendix 022: (from kbmag/standalone/kb_data/degen4a) . . . 73ms KnuthBendix 023: (from kbmag/standalone/kb_data/torus) . . . 3389μs KnuthBendix 024: (from kbmag/standalone/kb_data/3a6) . . . 347ms KnuthBendix 025: (from kbmag/standalone/kb_data/f2) . . . 61μs KnuthBendix 026: (from kbmag/standalone/kb_data/s16) . . . 190ms KnuthBendix 027: (from kbmag/standalone/kb_data/a4monoid) . . . 74μs KnuthBendix 028: (from kbmag/standalone/kb_data/degen3) . . . 28μs KnuthBendix 029: (from kbmag/standalone/kb_data/ab1) . . . 27μs KnuthBendix 030: (from kbmag/standalone/kb_data/degen2) . . . 20μs KnuthBendix 031: (from kbmag/standalone/kb_data/f25) . . . 718μs KnuthBendix 032: (from kbmag/standalone/kb_data/237) . . . 861μs KnuthBendix 033: (from kbmag/standalone/kb_data/c2) . . . 20μs KnuthBendix 034: (from kbmag/standalone/kb_data/cosets) . . . 306μ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 . . . 956μs KnuthBendix 039: Example 5.4 in Sims (KnuthBendix 11 again) [...] . . . 323μs KnuthBendix 040: Example 5.4 in Sims (KnuthBendix 11 again) [...] . . . 250μs KnuthBendix 041: operator<< . . . 72μs KnuthBendix 042: confluence_interval . . . 22μs KnuthBendix 043: max_overlap . . . 22μs KnuthBendix 044: (fpsemi) (from kbmag/standalone/kb_data/d22 [...] . . . 2193μs KnuthBendix 045: (fpsemi) (from kbmag/standalone/kb_data/d22 [...] . . . 4015μs KnuthBendix 046: (fpsemi) small example . . . 1109μs KnuthBendix 047: code coverage . . . 75μs KnuthBendix 048: small overlap 1 . . . 55μs KnuthBendix 049: (from kbmag/standalone/kb_data/s9) . . . 2496μs KnuthBendix 050: (fpsemi) Chapter 11, Lemma 1.8 (q = 6, r = [...] . . . 764μs KnuthBendix 051: (fpsemi) Chapter 11, Section 2 (q = 6, r = [...] . . . 170μs KnuthBendix 052: (fpsemi) Chapter 8, Theorem 4.2 in NR (infinite) . . . 321μs KnuthBendix 053: (fpsemi) equal_to fp semigroup . . . 63μs KnuthBendix 054: (fpsemi) equal_to free semigroup . . . 53μs KnuthBendix 055: (fpsemi) from GAP smalloverlap gap/test.gi [...] . . . 430μs KnuthBendix 056: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 656μs KnuthBendix 057: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 641μs KnuthBendix 058: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 1718μs KnuthBendix 059: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 3926μs KnuthBendix 060: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 34μs KnuthBendix 061: (fpsemi) Von Dyck (2,3,7) group (infinite) . . . 793μs KnuthBendix 062: (fpsemi) Von Dyck (2,3,7) group - different [...] . . . 7346μs KnuthBendix 063: (fpsemi) rewriting system from KnuthBendixC [...] . . . 514μs KnuthBendix 064: (fpsemi) rewriting system from Congruence 20 . . . 35μs KnuthBendix 065: (fpsemi) (from kbmag/standalone/kb_data/ab2) . . . 128μs KnuthBendix 066: (fpsemi) (from kbmag/standalone/kb_data/d22 [...] . . . 2250μs KnuthBendix 067: (fpsemi) (from kbmag/standalone/kb_data/degen1) . . . 82μs KnuthBendix 068: (fpsemi) (from kbmag/standalone/kb_data/s4) . . . 488μs KnuthBendix 069: (fpsemi) fp semigroup (infinite) . . . 67μs KnuthBendix 070: (fpsemi) Chapter 11, Section 1 (q = 4, r = [...] . . . 2662μs KnuthBendix 071: (fpsemi) Chapter 11, Section 1 (q = 8, r = [...] . . . 147ms KnuthBendix 072: (fpsemi) Chapter 7, Theorem 3.9 in NR (size 240) . . . 5080μs KnuthBendix 073: (fpsemi) F(2, 5) - Chapter 9, Section 1 in [...] . . . 745μs KnuthBendix 074: (fpsemi) F(2, 6) - Chapter 9, Section 1 in NR . . . 804μs KnuthBendix 075: (fpsemi) Chapter 10, Section 4 in NR (infinite) . . . 1434μs KnuthBendix 076: (fpsemi) Sym(5) from Chapter 3, Proposition [...] . . . 4460μs KnuthBendix 077: (fpsemi) SL(2, 7) from Chapter 3, Propositi [...] . . . 123ms KnuthBendix 078: (fpsemi) bicyclic monoid (infinite) . . . 52μs KnuthBendix 079: (fpsemi) plactic monoid of degree 2 (infinite) . . . 89μs KnuthBendix 080: (fpsemi) example before Chapter 7, Proposit [...] . . . 53μs KnuthBendix 081: (fpsemi) Chapter 7, Theorem 3.6 in NR (size 243) . . . 1140μs KnuthBendix 082: (fpsemi) finite semigroup (size 99) . . . 363μs KnuthBendix 096: Sorouhesh . . . 510μs KnuthBendix 097: (fpsemi) transformation semigroup (size 4) . . . 68μs KnuthBendix 098: (fpsemi) transformation semigroup (size 9) . . . 67μs KnuthBendix 099: (fpsemi) transformation semigroup (size 88) . . . 943μs KnuthBendix 100: internal_string_to_word . . . 49μs KnuthBendix 101: (fpsemi) construct from shared_ptr . . . 1015μs KnuthBendix 102: internal_string_to_word . . . 1374μs KnuthBendix 103: (cong) free semigroup congruence (5 classes) . . . 92μs KnuthBendix 104: free semigroup congruence (6 classes) . . . 506μs KnuthBendix 105: (cong) free semigroup congruence (16 classes) . . . 643μs KnuthBendix 106: (cong) free semigroup congruence (6 classes) . . . 1023μs KnuthBendix 107: (cong) free semigroup congruence (240 classes) . . . 5556μs KnuthBendix 108: (cong) free semigroup congruence (240 classes) . . . 4980μs KnuthBendix 109: (cong) less . . . 6539μs KnuthBendix 110: (cong) less . . . 266ms KnuthBendix 111: (cong) constructors . . . 428ms KnuthBendix 112: (cong) const_contains/contains . . . 268μs KnuthBendix 113: (cong) is_quotient_obviously_finite . . . 28μs KnuthBendix 114: (cong) class_index_to_word . . . 300μs KnuthBendix 115: (cong) quotient_froidure_pin . . . 215μs KnuthBendix 116: (cong) set_number_of_generators . . . 36μs KnuthBendix 117: (cong) number of classes when obv-inf . . . 61μs KnuthBendixCongruenceByPairs 016: non-trivial congruence on [...] . . . 259μs KnuthBendixCongruenceByPairs 017: non-trivial congruence on [...] . . . 340μs KnuthBendixCongruenceByPairs 018: non-trivial congruence on [...] . . . 723μs KnuthBendixCongruenceByPairs 019: non-trivial congruence on [...] . . . 731μs KnuthBendixCongruenceByPairs 020: trivial congruence on a fi [...] . . . 311μs KnuthBendixCongruenceByPairs 021: universal congruence on a [...] . . . 819μs KnuthBendixCongruenceByPairs 022: left congruence on a finit [...] . . . 424μs KnuthBendixCongruenceByPairs 023: finite group, Chapter 11, [...] . . . 7347μs KnuthBendixCongruenceByPairs 024: right congruence on infini [...] . . . 555μs KnuthBendixCongruenceByPairs 025: finite fp semigroup, dihed [...] . . . 633μs KnuthBendixCongruenceByPairs 026: finite fp semigroup, size 16 . . . 661μs KnuthBendixCongruenceByPairs 027: finite fp semigroup, size 16 . . . 1660μs KnuthBendixCongruenceByPairs 028: infinite fp semigroup with [...] . . . 89μs Konieczny 000: test000> . . . 1083μs Konieczny 001: test000> . . . 869μs Konieczny 002: test001> . . . 11ms Konieczny 003: test001> . . . 9819μs Konieczny 006: exceptions . . . 49μs Konieczny 007: code coverage . . . 14ms Konieczny 008: code coverage . . . 11ms Konieczny 009: regular elements and idempotents . . . 193ms Konieczny 010: regular D-class 01 . . . 1003μs Konieczny 011: regular D-class 02 . . . 9436μs Konieczny 012: regular D-class 04: contains . . . 27ms Konieczny 013: non-regular D-classes 01 . . . 1059μs Konieczny 014: RegularDClass . . . 644μs Konieczny 015: full bmat monoid 4 . . . 41ms Konieczny 017: regular generated bmat monoid 4 idempotents . . . 82ms Konieczny 019: my favourite example . . . 76ms Konieczny 020: another large example . . . 15ms Konieczny 021: my favourite example transposed . . . 63ms Konieczny 024: exceptions . . . 1200μs Konieczny 025: 0-parameter constructor . . . 16ms Konieczny 026: non-regular D-classes 02 . . . 10ms Konieczny 028: partial perm . . . 177ms Konieczny 029: symmetric inverse monoid n = 8 . . . 30ms Konieczny 030: exceptions . . . 220ms Konieczny 031: transformations . . . 1067μs Konieczny 032: transformations - JDM favourite example . . . 123ms Konieczny 033: transformations - large example . . . 280ms Konieczny 034: transformations - large example with stop . . . 282ms Konieczny 035: transformations - large example with run_until . . . 281ms Konieczny 036: transformations - large example with stop in Action . . . 281ms Konieczny 037: exceptions . . . 76μs Konieczny 038: transformations: contains . . . 802μs Konieczny 040: transformations - destructor coverage . . . 236ms Konieczny 041: current_number_D_classes . . . 244ms Matrix 000: BMat<2> . . . 87μs Matrix 001: BMat<> . . . 98μs Matrix 002: BMat<3> + BMat<> . . . 14μs Matrix 003: BMat<2> + BMat<> . . . 13μs Matrix 004: BMat<3> . . . 14μs Matrix 005: BMat<> . . . 15μs Matrix 006: BMat<3> row_basis . . . 46μs Matrix 007: BMat<> row_basis . . . 53μs Matrix 008: IntMat<3> . . . 16μs Matrix 009: IntMat<> . . . 20μs Matrix 010: IntMat code cov . . . 12μs Matrix 011: MaxPlusMat<3> . . . 15μs Matrix 012: MaxPlusMat<> . . . 17μs Matrix 013: MaxPlusMat code cov . . . 10μs Matrix 014: MinPlusMat<3> . . . 19μs Matrix 015: MinPlusMat<> . . . 22μs Matrix 016: MinPlusMat code cov . . . 10μs Matrix 017: MaxPlusTruncMat<5, 2> . . . 17μs Matrix 018: MaxPlusTruncMat<5> . . . 19μs Matrix 019: MaxPlusTruncMat<> . . . 37μs Matrix 020: MaxPlusTruncMat<5, 4> . . . 19μs Matrix 021: MaxPlusTruncMat<5> . . . 22μs Matrix 022: MaxPlusTruncMat<> . . . 20μs Matrix 023: MaxPlusTruncMat<33, 3> . . . 41μs Matrix 024: MaxPlusTruncMat<33> . . . 41μ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<> . . . 59μs Matrix 030: NTPMat<0, 3, 3, 3> . . . 18μs Matrix 031: NTPMat<0, 3> . . . 19μs Matrix 032: NTPMat<> . . . 51μs Matrix 033: NTPMat<0, 10, 4, 4> . . . 28μs Matrix 034: NTPMat<0, 10> . . . 23μs Matrix 035: NTPMat<> . . . 23μs Matrix 036: NTPMat<0, 10, 4, 4> . . . 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> . . . 16μs Matrix 041: NTPMat<> . . . 16μs Matrix 042: ProjMaxPlusMat<3> . . . 121μs Matrix 043: ProjMaxPlusMat<> . . . 91μs Matrix 044: exceptions . . . 71μs Matrix 045: code coverage . . . 64μs MultiStringView 000: catch all . . . 37μs MultiStringView 001: is_prefix . . . 16μ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) . . . 13μ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 . . . 22μs MultiStringView 011: pop_front . . . 44μs MultiStringView 012: append . . . 15μs MultiStringView 013: operators . . . 17μs MultiStringView 014: maximum_common_suffix . . . 14μ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 . . . 14μs ObviouslyInfinite 016: Matrix has non empty kernel . . . 15μs ObviouslyInfinite 017: Free product of trivial semigroups . . . 13μs ObviouslyInfinite 018: Another free product . . . 15μs ObviouslyInfinite 019: Infinite but not obviously so . . . 14μs ObviouslyInfinite 020: Finite semigroup . . . 17μs PBR 001: universal product with convenience constructor . . . 49μs PBR 002: universal product . . . 21μs PBR 003: product [bigger than previous] . . . 27μs PBR 004: hash . . . 12μs PBR 005: delete/copy . . . 22μs PBR 006: exceptions . . . 262μs PBR 007: operators . . . 67μs PBR 008: to_string . . . 29μs PBR 009: identity . . . 45μs PBR 010: adapters . . . 10μs Pool 000: initial . . . 36μs Pool 001: bmat . . . 36μs Pool 002: PoolGuard . . . 33μs Pool 003: transformation products . . . 15μs Presentation 000: vectors of ints . . . 120μs Presentation 001: strings . . . 125μs Presentation 002: constructors (word_type) . . . 26μs Presentation 003: constructors (StaticVector1) . . . 24μs Presentation 004: constructors (std::string) . . . 23μs Presentation 005: alphabet + letters (word_type) . . . 186μs Presentation 006: alphabet + letters (std::string) . . . 63μs Presentation 007: contains_empty_word . . . 13μs Presentation 008: validate_rules throws . . . 82μs Presentation 009: helpers add_rule(s) . . . 166μs Presentation 010: helpers add_rule(s) (std::string) . . . 60μs Presentation 011: helpers add_identity_rules (std::vector/St [...] . . . 66μs Presentation 012: helpers add_identity_rules (std::string) . . . 38μs Presentation 013: helpers add_inverse_rules (all) . . . 347μs Presentation 014: helpers add_inverse_rules (std::string) . . . 19μs Presentation 015: helpers remove_duplicate_rules . . . 103μs Presentation 016: helpers reduce_complements . . . 187μs Presentation 017: helpers sort_each_rule . . . 107μs Presentation 018: helpers sort_rules . . . 107μs Presentation 019: helpers longest_common_subword/replace_subword . . . 203μs Presentation 020: helpers redundant_rule . . . 20ms Presentation 021: helpers shortlex_compare_concat . . . 13μs Presentation 022: helpers remove_trivial_rules . . . 106μs Presentation 023: helpers replace_subword (existing, replacement) . . . 58μs Presentation 024: helpers longest_rule . . . 213μs Presentation 025: helpers longest_rule_length . . . 204μs Presentation 026: helpers remove_redundant_generators . . . 160μs Presentation 027: helpers reverse . . . 24μs Presentation 028: in_alphabet . . . 25μs Race 001: run_for . . . 10ms Race 002: run_until . . . 10ms Race 003: exceptions . . . 10ms Race 004: iterators . . . 16μs Race 005: find_runner . . . 16μs Race 006: run_func . . . 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 . . . 113ms 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) . . . 14μs SchreierSims 003: trivial perm. group (degree 500) . . . 48μs SchreierSims 004: symmetric perm. group (degree 5) . . . 21μs SchreierSims 005: symmetric perm. group (degree 8) . . . 42μs SchreierSims 006: symmetric perm. group (degree 9) . . . 60μs SchreierSims 007: alternating perm. group (degree 12) . . . 90μs SchreierSims 008: symmetric perm. group (degree 16) . . . 864μs SchreierSims 009: alternating perm. group (degree 15) . . . 438μs SchreierSims 010: alternating perm. group (degree 16) . . . 994μs SchreierSims 011: dihedral perm. group (order 10) . . . 15μs SchreierSims 012: dihedral perm. group (order 200) . . . 508μ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) . . . 856μs SchreierSims 017: perm. group PSL(4, 8) (order 34558531338240) . . . 83ms SchreierSims 018: perm. Mathieu group M11 (order 7920) . . . 78μs SchreierSims 019: perm. Mathieu group M24 (order 244823040) . . . 196μs SchreierSims 020: perm. Janko Group J1 (order 175560) . . . 1659μ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) . . . 5823μs SchreierSims 024: perm. Conway group Co3 (alt.) (order 49576 [...] . . . 11ms SchreierSims 025: perm. Suzuki group (order 448345497600) . . . 63ms SchreierSims 027: perm. Held group (order 4030387200) . . . 115ms SchreierSims 028: perm. group C2 x C2 x C2 (order 8) . . . 26μs SchreierSims 029: perm. group C2 x C2 x C2 x C2 (order 16) . . . 37μs SchreierSims 030: perm. group (S5 x S5) : C2 (order 28800) . . . 67μs SchreierSims 031: perm. group C3 x D8 x A5 (order 1440) . . . 64μs SchreierSims 032: perm. group GL(4, 3) (order 24261120) . . . 592μs SchreierSims 033: perm. group PSL(3, 7) (order 1876896) . . . 615μs SchreierSims 037: symmetric perm. group (degree 5) . . . 30μs SchreierSims 038: alternating perm. group (degree 17) . . . 5061μs SchreierSims 039: exceptions . . . 163μs SchreierSims 040: exceptions . . . 81μs SchreierSims 041: trivial group . . . 57μs SchreierSims 042: A17 bug . . . 4477μs SchreierSims 043: orbits_lookup test . . . 552μs SchreierSims 044: transversal_element and inversal_element test . . . 3007μs SchreierSimsHelper 001: trivial perm. group intersection (de [...] . . . 16μs SchreierSimsHelper 002: trivial perm. group intersection (de [...] . . . 20μs SchreierSimsHelper 003: cyclic group intersection (degree 13) . . . 33μs SchreierSimsHelper 004: D10 and Z5 intersection . . . 31μs SchreierSimsHelper 005: D8 and Q8 intersection . . . 31μs SchreierSimsHelper 006: primitive on 8 points intersection . . . 95μs SchreierSimsHelper 007: primitive on 8 points intersection ( [...] . . . 93μs SchreierSimsHelper 008: A13 and PGL(2, 11) intersection . . . 859μs SchreierSimsHelper 009: A13 and PGL(2, 11) intersection (swa [...] . . . 825μs SchreierSimsHelper 012: 3^3:13 and 3^3.2.A(4) intersection . . . 152μs SchreierSimsHelper 015: 3^3(S(4) x 2) and ASL(3, 3) intersection . . . 310μs SchreierSimsHelper 016: 7^2:3 x Q(8) and 7^2:D(2*6) intersection . . . 338μs SchreierSimsHelper 018: D(2*53) and 53:13 intersection . . . 195μs SchreierSimsHelper 019: 2^6:(7 x D_14) and PSL(2, 6)^2.4 int [...] . . . 1293μs SchreierSimsHelper 020: 2^6:(S_3 x GL(3, 2)) and 2.6:Alt(7) [...] . . . 3960μs SchreierSimsHelper 022: PSL(2, 127) and AGL(1, 2^7) intersection . . . 8617μs SchreierSimsHelper 023: PSL(3, 4).2 and PSL(3, 4).2 (nontriv [...] . . . 1474μs SchreierSimsHelper 024: PSL(3, 4).Sym(3) and PSL(3, 4).2 int [...] . . . 1799μs SchreierSimsHelper 025: 3^4:5:4 and D_16:4 intersection . . . 980μs Sims1 000: fp example 1 . . . 2760μs Sims1 001: fp example 2 . . . 2249μs Sims1 002: ToddCoxeter failing example . . . 22ms Sims1 003: ToddCoxeter failing example . . . 961μs Sims1 004: PartitionMonoid(2) right . . . 7469μs Sims1 006: FullTransformationMonoid(3) right . . . 8220μs Sims1 007: FullTransformationMonoid(3) left . . . 4677μs Sims1 009: RookMonoid(2, 1) . . . 111μs Sims1 010: SymmetricInverseMonoid(2) from FroidurePin . . . 109μs Sims1 011: SymmetricInverseMonoid(3) . . . 7797μs Sims1 014: TemperleyLieb(3) from presentation . . . 86μs Sims1 015: TemperleyLieb(4) from presentation . . . 997μs Sims1 016: fp semigroup containing given pairs #1 . . . 383μs Sims1 017: fp semigroup containing given pairs #2 . . . 388μs Sims1 018: fp semigroup containing given pairs #3 . . . 676μs Sims1 019: ToddCoxeter failing example . . . 1089μs Sims1 020: fp example 2 . . . 2694μs Sims1 021: exceptions . . . 411μ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 . . . 291μs Sims1 031: presentation with non-zero index generators . . . 69μs Sims1 032: presentation with empty word . . . 12ms Sims1 033: constructors . . . 1736μs Sims1 034: split_at . . . 324μs Sims1 035: stats . . . 99μs Sims1 036: check iterator requirements . . . 166μs Sims1 040: TransitiveGroup(10, 32) - minimal rep . . . 3636μs Sims1 043: RectangularBand(2, 2) - with and without identity . . . 237μs Sims1 044: trivial group - minimal o.r.c. rep . . . 105μs Sims1 045: right zero semigroup - minimal o.r.c. rep . . . 2384μs Sims1 046: semigroup with faithful non-strictly cyclic actio [...] . . . 739μs Sims1 068: RepOrc . . . 17ms Sims1 069: fp example 1 . . . 712μ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 4557μs (832ns 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 . . . 4624μs Sims1 072: SymmetricGroup(n) for n = 3, 4 . . . 2306μs Sims1 073: corner case no generators + no relations . . . 148μs SmallestInteger 001: . . . 12μs StaticTriVector2 045: all . . . 19μs StaticVector2 043: all . . . 18μs Suf 005: unite . . . 24μs Suf 007: compress . . . 15μs Suf 011: big chain . . . 21ms Suf 013: empty table . . . 10μs Suf 015: join . . . 13μs Suf 017: contains . . . 33μs Suf 019: swap . . . 37μs SuffixTree 000: basic tests . . . 108ms 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 . . . 46μs SuffixTree 005: traverse . . . 22μs SuffixTree 006: tikz . . . 752μs SuffixTree 007: strings . . . 196μ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 . . . 86μs SuffixTree 013: dfs #05 . . . 68μs SuffixTree 014: dfs #06 . . . 64μs SuffixTree 015: dfs #07 . . . 101μs SuffixTree 016: dfs #08 . . . 85μs SuffixTree 017: dfs #09 . . . 99μs SuffixTree 018: dfs #10 . . . 33μs Timer 001: string method (1 argument) . . . 43μs Timer 002: string method (0 arguments) . . . 10ms Timer 003: reset/elapsed method . . . 20ms Timer 004: operator<< . . . 25μs ToddCoxeter 000: small 2-sided congruence . . .  -- with HLT + no standardise + full lookahead + no save 2548μs  -- with HLT + standardise + full lookahead + no save 2458μs  -- with HLT + no standardise + partial lookahead + no save 2463μs  -- with HLT + standardise + partial lookahead + no save 2482μs  -- with HLT + no standardise + full lookahead + save 2488μs  -- with HLT + standardise + full lookahead + save 2476μs  -- with HLT + no standardise + partial lookahead + save 2441μs  -- with HLT + standardise + partial lookahead + save 2442μs  -- with Felsch + no standardisation 2407μs  -- with Felsch + standardisation 2439μs  -- with random strategy 2508μs  -- with Rc style + full lookahead 1728μs  -- with Rc style + partial lookahead 1461μs  -- with R/C style 1483μs  -- with CR style 1455μs  -- with Cr style 1451μs ToddCoxeter 001: small 2-sided congruence . . .  -- with HLT + no standardise + full lookahead + no save 5585μs  -- with HLT + standardise + full lookahead + no save 5552μs  -- with HLT + no standardise + partial lookahead + no save 5426μs  -- with HLT + standardise + partial lookahead + no save 5348μs  -- with HLT + no standardise + full lookahead + save 5360μs  -- with HLT + standardise + full lookahead + save 5356μs  -- with HLT + no standardise + partial lookahead + save 5361μs  -- with HLT + standardise + partial lookahead + save 5364μs  -- with Felsch + no standardisation 5359μs  -- with Felsch + standardisation 5377μs  -- with random strategy 5378μs  -- with Rc style + full lookahead 5370μs  -- with Rc style + partial lookahead 5361μs  -- with R/C style 5377μs  -- with CR style 5368μs  -- with Cr style 5378μs ToddCoxeter 003: constructed from FroidurePin . . .  -- with Felsch + no standardisation 225ms  -- with Felsch + standardisation 226ms  -- with HLT + no standardise + full lookahead + no save 68ms  -- with HLT + standardise + full lookahead + no save 68ms  -- with HLT + no standardise + partial lookahead + no save 68ms  -- with HLT + standardise + partial lookahead + no save 68ms  -- with HLT + no standardise + full lookahead + save 232ms  -- with HLT + standardise + full lookahead + save 233ms  -- with HLT + no standardise + partial lookahead + save 232ms  -- with HLT + standardise + partial lookahead + save 232ms  -- with random strategy 230ms  -- with Rc style + full lookahead 227ms  -- with Rc style + partial lookahead 227ms  -- with R/C style 74ms  -- with CR style 228ms  -- with Cr style 228ms ToddCoxeter 004: 2-sided congruence from FroidurePin . . .  -- with HLT + no standardise + full lookahead + no save 283μs  -- with HLT + standardise + full lookahead + no save 267μs  -- with HLT + no standardise + partial lookahead + no save 252μs  -- with HLT + standardise + partial lookahead + no save 250μs  -- with HLT + save (throws) 274μs  -- with Felsch (throws) 256μs  -- with random strategy 269μs ToddCoxeter 005: non-trivial two-sided from relations . . .  -- with HLT + no standardise + full lookahead + no save 85μs  -- with HLT + standardise + full lookahead + no save 72μs  -- with HLT + no standardise + partial lookahead + no save 69μs  -- with HLT + standardise + partial lookahead + no save 69μs  -- with HLT + no standardise + full lookahead + save 83μs  -- with HLT + standardise + full lookahead + save 79μs  -- with HLT + no standardise + partial lookahead + save 77μs  -- with HLT + standardise + partial lookahead + save 77μs  -- with Felsch + no standardisation 70μs  -- with Felsch + standardisation 69μs  -- with random strategy 80μs  -- with Rc style + full lookahead 75μs  -- with Rc style + partial lookahead 72μs  -- with R/C style 75μs  -- with CR style 73μs  -- with Cr style 73μ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 58μs  -- with HLT + no standardise + partial lookahead + no save 57μs  -- with HLT + standardise + partial lookahead + no save 57μs  -- with HLT + no standardise + full lookahead + save 63μs  -- with HLT + standardise + full lookahead + save 63μs  -- with HLT + no standardise + partial lookahead + save 62μs  -- with HLT + standardise + partial lookahead + save 61μs  -- with Felsch + no standardisation 60μs  -- with Felsch + standardisation 62μs  -- with random strategy 71μs  -- with Rc style + full lookahead 62μs  -- with Rc style + partial lookahead 61μs  -- with R/C style 64μs  -- with CR style 64μs  -- with Cr style 64μs ToddCoxeter 007: left cong. on free semigroup . . .  -- with HLT + no standardise + full lookahead + no save 72μs  -- with HLT + standardise + full lookahead + no save 64μs  -- with HLT + no standardise + partial lookahead + no save 64μs  -- with HLT + standardise + partial lookahead + no save 66μ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 70μs  -- with HLT + standardise + partial lookahead + save 69μs  -- with Felsch + no standardisation 68μs  -- with Felsch + standardisation 71μs  -- with random strategy 81μs  -- with Rc style + full lookahead 73μs  -- with Rc style + partial lookahead 73μs  -- with R/C style 78μs  -- with CR style 76μs  -- with Cr style 77μs ToddCoxeter 008: for small fp semigroup . . .  -- with HLT + no standardise + full lookahead + no save 64μs  -- with HLT + standardise + full lookahead + no save 58μs  -- with HLT + no standardise + partial lookahead + no save 56μ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 60μs  -- with HLT + standardise + partial lookahead + save 61μs  -- with Felsch + no standardisation 60μs  -- with Felsch + standardisation 60μs  -- with random strategy 73μs  -- with Rc style + full lookahead 64μs  -- with Rc style + partial lookahead 63μs  -- with R/C style 68μs  -- with CR style 66μs  -- with Cr style 66μs ToddCoxeter 009: 2-sided cong. trans. semigroup . . .  -- with HLT + no standardise + full lookahead + no save 300μs  -- with HLT + standardise + full lookahead + no save 289μs  -- with HLT + no standardise + partial lookahead + no save 282μs  -- with HLT + standardise + partial lookahead + no save 283μs  -- with HLT + no standardise + full lookahead + save 683μs  -- with HLT + standardise + full lookahead + save 675μs  -- with HLT + no standardise + partial lookahead + save 665μs  -- with HLT + standardise + partial lookahead + save 683μs  -- with Felsch + no standardisation 650μs  -- with Felsch + standardisation 636μs  -- with random strategy 321μs  -- with Rc style + full lookahead 302μs  -- with Rc style + partial lookahead 303μs  -- with R/C style 327μs  -- with CR style 659μs  -- with Cr style 654μs ToddCoxeter 010: left congruence on transformation semigroup . . .  -- with HLT + no standardise + full lookahead + no save 334μs  -- with HLT + standardise + full lookahead + no save 335μs  -- with HLT + no standardise + partial lookahead + no save 321μs  -- with HLT + standardise + partial lookahead + no save 330μs  -- with HLT + no standardise + full lookahead + save 767μs  -- with HLT + standardise + full lookahead + save 765μs  -- with HLT + no standardise + partial lookahead + save 750μs  -- with HLT + standardise + partial lookahead + save 758μs  -- with Felsch + no standardisation 677μs  -- with Felsch + standardisation 658μs  -- with random strategy 881μs  -- with Rc style + full lookahead 395μs  -- with Rc style + partial lookahead 391μs  -- with R/C style 455μs  -- with CR style 739μs  -- with Cr style 729μs ToddCoxeter 011: right cong. trans. semigroup . . .  -- with HLT + no standardise + full lookahead + no save 342μs  -- with HLT + standardise + full lookahead + no save 347μs  -- with HLT + no standardise + partial lookahead + no save 332μs  -- with HLT + standardise + partial lookahead + no save 342μs  -- with HLT + no standardise + full lookahead + save 750μs  -- with HLT + standardise + full lookahead + save 751μs  -- with HLT + no standardise + partial lookahead + save 733μs  -- with HLT + standardise + partial lookahead + save 744μs  -- with Felsch + no standardisation 592μs  -- with Felsch + standardisation 611μs  -- with random strategy 458μs  -- with Rc style + full lookahead 424μs  -- with Rc style + partial lookahead 406μs  -- with R/C style 470μs  -- with CR style 656μs  -- with Cr style 648μs ToddCoxeter 012: trans. semigroup (size 88) . . .  -- with HLT + no standardise + full lookahead + no save 206μs  -- with HLT + standardise + full lookahead + no save 197μs  -- with HLT + no standardise + partial lookahead + no save 192μs  -- with HLT + standardise + partial lookahead + no save 193μs  -- with HLT + save (throws) 218μs  -- with Felsch (throws) 211μs  -- with random strategy 242μ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 281μs  -- with HLT + no standardise + partial lookahead + no save 269μs  -- with HLT + standardise + partial lookahead + no save 278μs  -- with HLT + no standardise + full lookahead + save 717μs  -- with HLT + standardise + full lookahead + save 715μs  -- with HLT + no standardise + partial lookahead + save 702μs  -- with HLT + standardise + partial lookahead + save 712μs  -- with Felsch + no standardisation 627μs  -- with Felsch + standardisation 600μs  -- with random strategy 394μs  -- with Rc style + full lookahead 344μs  -- with Rc style + partial lookahead 341μs  -- with R/C style 404μs  -- with CR style 683μs  -- with Cr style 680μs ToddCoxeter 014: right cong. on trans. semigroup (size 88) . . .  -- with HLT + no standardise + full lookahead + no save 291μs  -- with HLT + standardise + full lookahead + no save 289μs  -- with HLT + no standardise + partial lookahead + no save 275μs  -- with HLT + standardise + partial lookahead + no save 285μs  -- with HLT + no standardise + full lookahead + save 697μs  -- with HLT + standardise + full lookahead + save 694μs  -- with HLT + no standardise + partial lookahead + save 676μs  -- with HLT + standardise + partial lookahead + save 686μs  -- with Felsch + no standardisation 537μs  -- with Felsch + standardisation 559μs  -- with random strategy 400μs  -- with Rc style + full lookahead 351μs  -- with Rc style + partial lookahead 350μs  -- with R/C style 413μs  -- with CR style 597μs  -- with Cr style 599μs ToddCoxeter 015: finite fp-semigroup, dihedral group of order 6 . . .  -- with HLT + no standardise + full lookahead + no save 121μ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 112μs  -- with HLT + no standardise + full lookahead + save 131μs  -- with HLT + standardise + full lookahead + save 127μs  -- with HLT + no standardise + partial lookahead + save 124μs  -- with HLT + standardise + partial lookahead + save 124μs  -- with Felsch + no standardisation 114μs  -- with Felsch + standardisation 110μs  -- with random strategy 128μs  -- with Rc style + full lookahead 114μs  -- with Rc style + partial lookahead 113μs  -- with R/C style 118μs  -- with CR style 116μs  -- with Cr style 116μ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 100μs  -- with HLT + standardise + partial lookahead + no save 102μs  -- with HLT + no standardise + full lookahead + save 200μs  -- with HLT + standardise + full lookahead + save 196μs  -- with HLT + no standardise + partial lookahead + save 191μs  -- with HLT + standardise + partial lookahead + save 193μs  -- with Felsch + no standardisation 173μs  -- with Felsch + standardisation 167μs  -- with random strategy 197μs  -- with Rc style + full lookahead 114μs  -- with Rc style + partial lookahead 114μs  -- with R/C style 126μs  -- with CR style 180μs  -- with Cr style 179μs ToddCoxeter 017: finite fp-semigroup, size 16 . . .  -- with HLT + no standardise + full lookahead + no save 178μs  -- with HLT + standardise + full lookahead + no save 170μs  -- with HLT + no standardise + partial lookahead + no save 162μs  -- with HLT + standardise + partial lookahead + no save 167μs  -- with HLT + no standardise + full lookahead + save 390μs  -- with HLT + standardise + full lookahead + save 392μs  -- with HLT + no standardise + partial lookahead + save 382μs  -- with HLT + standardise + partial lookahead + save 383μs  -- with Felsch + no standardisation 330μs  -- with Felsch + standardisation 322μs  -- with random strategy 368μs  -- with Rc style + full lookahead 182μs  -- with Rc style + partial lookahead 179μs  -- with R/C style 193μs  -- with CR style 336μs  -- with Cr style 337μs ToddCoxeter 018: test lookahead . . .  -- with HLT + no standardise + full lookahead + no save 639μs  -- with HLT + standardise + full lookahead + no save 638μs  -- with HLT + no standardise + partial lookahead + no save 580μs  -- with HLT + standardise + partial lookahead + no save 588μs  -- with HLT + no standardise + full lookahead + save 755μs  -- with HLT + standardise + full lookahead + save 753μs  -- with HLT + no standardise + partial lookahead + save 730μs  -- with HLT + standardise + partial lookahead + save 741μs ToddCoxeter 019: non-trivial left cong. from semigroup . . .  -- with HLT + no standardise + full lookahead + no save 208μs  -- with HLT + standardise + full lookahead + no save 207μs  -- with HLT + no standardise + partial lookahead + no save 197μs  -- with HLT + standardise + partial lookahead + no save 203μs  -- with HLT + save (throws) 223μs  -- with Felsch (throws) 215μs  -- with random strategy 293μs ToddCoxeter 020: 2-sided cong. on free semigroup . . .  -- with HLT + no standardise + full lookahead + no save 38μs  -- with HLT + standardise + full lookahead + no save 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 31μs  -- with HLT + no standardise + partial lookahead + save 32μs  -- with HLT + standardise + partial lookahead + save 31μs  -- with Felsch + no standardisation 31μs  -- with Felsch + standardisation 31μs  -- with random strategy 31μs ToddCoxeter 021: calling run when obviously infinite . . .  -- with HLT + no standardise + full lookahead + no save 83μs  -- with HLT + standardise + full lookahead + no save 75μ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 74μs  -- with HLT + no standardise + partial lookahead + save 73μs  -- with HLT + standardise + partial lookahead + save 74μs  -- with Felsch + no standardisation 72μs  -- with Felsch + standardisation 73μs  -- with random strategy 72μs ToddCoxeter 022: Stellar S3 . . .  -- with HLT + no standardise + full lookahead + no save 173μ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 298μs  -- with HLT + standardise + full lookahead + save 299μs  -- with HLT + no standardise + partial lookahead + save 287μs  -- with HLT + standardise + partial lookahead + save 292μs  -- with Felsch + no standardisation 256μs  -- with Felsch + standardisation 253μs  -- with random strategy 300μs  -- with Rc style + full lookahead 182μs  -- with Rc style + partial lookahead 181μs  -- with R/C style 205μs  -- with CR style 274μs  -- with Cr style 270μs ToddCoxeter 023: finite semigroup (size 5) . . .  -- with HLT + no standardise + full lookahead + no save 61μs  -- with HLT + standardise + full lookahead + no save 55μs  -- with HLT + no standardise + partial lookahead + no save 54μs  -- with HLT + standardise + partial lookahead + no save 54μs  -- with HLT + no standardise + full lookahead + save 61μs  -- with HLT + standardise + full lookahead + save 59μs  -- with HLT + no standardise + partial lookahead + save 58μs  -- with HLT + standardise + partial lookahead + save 58μs  -- with Felsch + no standardisation 58μs  -- with Felsch + standardisation 59μs  -- with random strategy 66μs  -- with Rc style + full lookahead 59μs  -- with Rc style + partial lookahead 59μs  -- with R/C style 64μs  -- with CR style 62μs  -- with Cr style 62μs ToddCoxeter 024: exceptions . . .  -- with HLT + no standardise + full lookahead + no save 303μ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 285μs  -- with HLT + no standardise + full lookahead + save 289μs  -- with HLT + standardise + full lookahead + save 289μs  -- with HLT + no standardise + partial lookahead + save 289μs  -- with HLT + standardise + partial lookahead + save 288μs  -- with Felsch + no standardisation 287μs  -- with Felsch + standardisation 288μs  -- with random strategy 294μs  -- with Rc style + full lookahead 289μs  -- with Rc style + partial lookahead 289μs  -- with R/C style 289μs  -- with CR style 290μs  -- with Cr style 290μs ToddCoxeter 025: obviously infinite . . .  -- with HLT + no standardise + full lookahead + no save 79μs  -- with HLT + standardise + full lookahead + no save 74μs  -- with HLT + no standardise + partial lookahead + no save 73μs  -- with HLT + standardise + partial lookahead + no save 74μs  -- with HLT + no standardise + full lookahead + save 74μs  -- with HLT + standardise + full lookahead + save 75μs  -- with HLT + no standardise + partial lookahead + save 74μs  -- with HLT + standardise + partial lookahead + save 75μs  -- with Felsch + no standardisation 73μs  -- with Felsch + standardisation 74μs  -- with random strategy 73μs ToddCoxeter 026: exceptions . . .  -- 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 167μs  -- with HLT + standardise + partial lookahead + no save 169μs  -- with HLT + no standardise + full lookahead + save 170μs  -- with HLT + standardise + full lookahead + save 171μs  -- with HLT + no standardise + partial lookahead + save 169μs  -- with HLT + standardise + partial lookahead + save 169μs  -- with Felsch + no standardisation 176μs  -- with Felsch + standardisation 172μs  -- with random strategy 179μs  -- with Rc style + full lookahead 170μs  -- with Rc style + partial lookahead 170μs  -- with R/C style 174μs  -- with CR style 172μs  -- with Cr style 174μs ToddCoxeter 027: empty . . . 43μs ToddCoxeter 028: congruence of fpsemigroup::ToddCoxeter . . .  -- with HLT + no standardise + full lookahead + no save 230μs  -- with HLT + standardise + full lookahead + no save 210μs  -- with HLT + no standardise + partial lookahead + no save 208μs  -- with HLT + standardise + partial lookahead + no save 206μs  -- with HLT + save (throws) 230μs  -- with Felsch (throws) 225μs  -- with random strategy 229μs  -- with HLT + no standardise + full lookahead + save 210μs  -- with HLT + standardise + full lookahead + save 210μs  -- with HLT + no standardise + partial lookahead + save 213μs  -- with HLT + standardise + partial lookahead + save 210μs  -- with Felsch + no standardisation 209μs  -- with Felsch + standardisation 210μs  -- with Rc style + full lookahead 204μs  -- with Rc style + partial lookahead 201μs  -- with R/C style 206μs  -- with CR style 205μs  -- with Cr style 206μs ToddCoxeter 029: !KnuthBendix.started() . . .  -- with HLT + no standardise + full lookahead + no save and 2-sided 103μs  -- with HLT + standardise + full lookahead + no save and 2-sided 86μ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 90μs  -- with HLT + standardise + full lookahead + save and 2-sided 89μs  -- with HLT + no standardise + partial lookahead + save and 2-sided 88μs  -- with HLT + standardise + partial lookahead + save and 2-sided 88μs  -- with Felsch + no standardisation and 2-sided 85μ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 88μs  -- with HLT + standardise + full lookahead + no save and left 84μs  -- with HLT + no standardise + partial lookahead + no save and left 85μs  -- with HLT + standardise + partial lookahead + no save and left 84μs  -- with HLT + no standardise + full lookahead + save and left 96μs  -- with HLT + standardise + full lookahead + save and left 96μs  -- with HLT + no standardise + partial lookahead + save and left 95μs  -- with HLT + standardise + partial lookahead + save and left 94μs  -- with Felsch + no standardisation and left 93μs  -- with Felsch + standardisation and left 93μs  -- with random strategy and left 92μs  -- with HLT + no standardise + full lookahead + no save and right 87μs  -- with HLT + standardise + full lookahead + no save and right 83μs  -- with HLT + no standardise + partial lookahead + no save and right 82μs  -- with HLT + standardise + partial lookahead + no save and right 84μs  -- with HLT + no standardise + full lookahead + save and right 93μs  -- with HLT + standardise + full lookahead + save and right 94μs  -- with HLT + no standardise + partial lookahead + save and right 93μs  -- with HLT + standardise + partial lookahead + save and right 94μs  -- with Felsch + no standardisation and right 92μs  -- with Felsch + standardisation and right 93μs  -- with random strategy and right 102μs ToddCoxeter 030: KnuthBendix.finished() . . .  -- with HLT + no standardise + full lookahead + no save and 2-sided 205μs  -- with HLT + standardise + full lookahead + no save and 2-sided 186μs  -- with HLT + no standardise + partial lookahead + no save and 2-sided 182μs  -- with HLT + standardise + partial lookahead + no save and 2-sided 184μs  -- with HLT + no standardise + full lookahead + save and 2-sided 186μs  -- with HLT + standardise + full lookahead + save and 2-sided 187μs  -- with HLT + no standardise + partial lookahead + save and 2-sided 197μs  -- with HLT + standardise + partial lookahead + save and 2-sided 186μs  -- with Felsch + no standardisation and 2-sided 178μs  -- with Felsch + standardisation and 2-sided 178μ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 195μs  -- with HLT + no standardise + partial lookahead + no save and left 196μs  -- with HLT + standardise + partial lookahead + no save and left 195μs  -- with HLT + no standardise + full lookahead + save and left 208μs  -- with HLT + standardise + full lookahead + save and left 207μs  -- with HLT + no standardise + partial lookahead + save and left 207μs  -- with HLT + standardise + partial lookahead + save and left 206μs  -- with Felsch + no standardisation and left 202μs  -- with Felsch + standardisation and left 263μs  -- with random strategy and left 217μs  -- with HLT + no standardise + full lookahead + no save and right 200μs  -- with HLT + standardise + full lookahead + no save and right 194μs  -- with HLT + no standardise + partial lookahead + no save and right 194μs  -- with HLT + standardise + partial lookahead + no save and right 195μs  -- with HLT + no standardise + full lookahead + save and right 207μs  -- with HLT + standardise + full lookahead + save and right 206μs  -- with HLT + no standardise + partial lookahead + save and right 205μs  -- with HLT + standardise + partial lookahead + save and right 207μs  -- with Felsch + no standardisation and right 201μs  -- with Felsch + standardisation and right 201μs  -- with random strategy and right 217μs ToddCoxeter 031: KnuthBendix.finished() . . .  -- with HLT + no standardise + full lookahead + no save and 2-sided 147μs  -- with HLT + standardise + full lookahead + no save and 2-sided 133μs  -- with HLT + no standardise + partial lookahead + no save and 2-sided 132μs  -- with HLT + standardise + partial lookahead + no save and 2-sided 131μs  -- with HLT + no standardise + full lookahead + save and 2-sided 138μ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 127μs  -- with random strategy and 2-sided 143μs  -- with Rc style + full lookahead and 2-sided 139μs  -- with Rc style + partial lookahead and 2-sided 139μs  -- with R/C style and 2-sided 134μs  -- with CR style and 2-sided 133μs  -- with Cr style and 2-sided 141μs  -- with HLT + no standardise + full lookahead + no save and left 151μs  -- with HLT + standardise + full lookahead + no save and left 145μs  -- with HLT + no standardise + partial lookahead + no save and left 145μs  -- with HLT + standardise + partial lookahead + no save and left 144μs  -- with HLT + no standardise + full lookahead + save and left 155μs  -- with HLT + standardise + full lookahead + save and left 155μs  -- with HLT + no standardise + partial lookahead + save and left 155μs  -- with HLT + standardise + partial lookahead + save and left 154μs  -- with Felsch + no standardisation and left 150μs  -- with Felsch + standardisation and left 150μs  -- with random strategy and left 166μs  -- with Rc style + full lookahead and left 157μs  -- with Rc style + partial lookahead and left 155μ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 150μs  -- with HLT + standardise + full lookahead + no save and right 146μs  -- with HLT + no standardise + partial lookahead + no save and right 146μs  -- with HLT + standardise + partial lookahead + no save and right 146μs  -- with HLT + no standardise + full lookahead + save and right 157μs  -- with HLT + standardise + full lookahead + save and right 157μs  -- with HLT + no standardise + partial lookahead + save and right 158μs  -- with HLT + standardise + partial lookahead + save and right 157μs  -- with Felsch + no standardisation and right 154μs  -- with Felsch + standardisation and right 153μs  -- with random strategy and right 170μs  -- with Rc style + full lookahead and right 157μs  -- with Rc style + partial lookahead and right 158μs  -- with R/C style and right 152μs  -- with CR style and right 159μs  -- with Cr style and right 166μs ToddCoxeter 032: prefill . . . 333μs ToddCoxeter 033: congruence of ToddCoxeter . . .  -- with HLT + no standardise + full lookahead + no save 79μs  -- with HLT + standardise + full lookahead + no save 72μs  -- with HLT + no standardise + partial lookahead + no save 69μs  -- with HLT + standardise + partial lookahead + no save 69μs  -- with HLT + no standardise + full lookahead + save 72μs  -- with HLT + standardise + full lookahead + save 71μs  -- with HLT + no standardise + partial lookahead + save 71μ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 136μs  -- with HLT + standardise + full lookahead + no save 129μs  -- with HLT + no standardise + partial lookahead + no save 127μs  -- with HLT + standardise + partial lookahead + no save 126μs  -- with HLT + save (throws) 151μs  -- with Felsch (throws) 146μs  -- with random strategy 151μs ToddCoxeter 035: congruence on FpSemigroup . . .  -- with HLT + no standardise + full lookahead + no save 383μs  -- with HLT + standardise + full lookahead + no save 360μs  -- with HLT + no standardise + partial lookahead + no save 353μs  -- with HLT + standardise + partial lookahead + no save 351μs  -- with HLT + no standardise + full lookahead + save 391μs  -- with HLT + standardise + full lookahead + save 390μs  -- with HLT + no standardise + partial lookahead + save 387μs  -- with HLT + standardise + partial lookahead + save 388μs  -- with Felsch + no standardisation 383μs  -- with Felsch + standardisation 382μs  -- with random strategy 397μs  -- with Rc style + full lookahead 356μs  -- with Rc style + partial lookahead 369μs  -- with R/C style 357μs  -- with CR style 387μs  -- with Cr style 388μs ToddCoxeter 036: exceptions . . . 121μs ToddCoxeter 037: copy constructor . . . 44μs ToddCoxeter 038: simplify . . . 151μs ToddCoxeter 039: Stylic monoid . . . 741ms ToddCoxeter 041: some finite classes . . . 660μs ToddCoxeter 043: SymmetricGroup2 . . . 211ms ToddCoxeter 044: Option exceptions . . . 133μs ToddCoxeter 045: Options operator<< . . . 1091μs ToddCoxeter 046: Easdown-East-FitzGerald DualSymInv(5) . . .  -- with HLT + no standardise + full lookahead + no save 205ms  -- with HLT + standardise + full lookahead + no save 222ms  -- with HLT + no standardise + partial lookahead + no save 205ms  -- with HLT + standardise + partial lookahead + no save 222ms  -- with HLT + no standardise + full lookahead + save 180ms  -- with HLT + standardise + full lookahead + save 178ms  -- with HLT + no standardise + partial lookahead + save 180ms  -- with HLT + standardise + partial lookahead + save 178ms  -- with Felsch + no standardisation 204ms  -- with Felsch + standardisation 204ms  -- with random strategy 293ms  -- with R/C style 220ms  -- with Rc style + full lookahead 215ms  -- with Rc style + partial lookahead 215ms ToddCoxeter 047: FitzGerald UniformBlockBijection(3) . . .  -- with HLT + no standardise + full lookahead + no save 157μs  -- with HLT + standardise + full lookahead + no save 151μs  -- with HLT + no standardise + partial lookahead + no save 142μs  -- with HLT + standardise + partial lookahead + no save 147μs  -- with HLT + no standardise + full lookahead + save 252μs  -- with HLT + standardise + full lookahead + save 246μs  -- with HLT + no standardise + partial lookahead + save 239μs  -- with HLT + standardise + partial lookahead + save 241μs  -- with Felsch + no standardisation 192μs  -- with Felsch + standardisation 189μs  -- with random strategy 218μs  -- with R/C style 170μs  -- with Rc style + full lookahead 157μs  -- with Rc style + partial lookahead 155μs ToddCoxeter 048: Stellar(7) (Gay-Hivert) . . . 191ms ToddCoxeter 049: PartitionMonoid(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 70ms  -- with HLT + standardise + full lookahead + save 72ms  -- with HLT + no standardise + partial lookahead + save 70ms  -- with HLT + standardise + partial lookahead + save 72ms  -- 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: SingularBrauer(6) (Maltcev + Mazorchuk) . . . 464ms ToddCoxeter 051: OrientationPreserving(6) (Ruskuc + Arthur) . . .  -- with HLT + no standardise + full lookahead + no save 27ms  -- with HLT + standardise + full lookahead + no save 30ms  -- with HLT + no standardise + partial lookahead + no save 27ms  -- with HLT + standardise + partial lookahead + no save 30ms  -- with HLT + no standardise + full lookahead + save 76ms  -- with HLT + standardise + full lookahead + save 81ms  -- with HLT + no standardise + partial lookahead + save 76ms  -- with HLT + standardise + partial lookahead + save 81ms  -- with Felsch + no standardisation 205ms  -- with Felsch + standardisation 206ms  -- with random strategy 81ms  -- with R/C style 34ms  -- with Rc style + full lookahead 156ms  -- with Rc style + partial lookahead 156ms ToddCoxeter 052: OrientationReversing(5) (Ruskuc + Arthur) . . .  -- with HLT + no standardise + full lookahead + no save 6852μs  -- with HLT + standardise + full lookahead + no save 8130μs  -- with HLT + no standardise + partial lookahead + no save 6735μs  -- with HLT + standardise + partial lookahead + no save 8135μs  -- with HLT + no standardise + full lookahead + save 20ms  -- with HLT + standardise + full lookahead + save 21ms  -- with HLT + no standardise + partial lookahead + save 20ms  -- with HLT + standardise + partial lookahead + save 21ms  -- with Felsch + no standardisation 49ms  -- with Felsch + standardisation 50ms  -- with random strategy 8794μs  -- with Rc style + full lookahead 28ms  -- with Rc style + partial lookahead 28ms  -- with R/C style 9057μs  -- with CR style 51ms  -- with Cr style 51ms ToddCoxeter 053: TemperleyLieb(10) (East) . . . 34ms ToddCoxeter 063: add_rule . . .  -- with HLT + no standardise + full lookahead + no save 145μs  -- with HLT + standardise + full lookahead + no save 128μs  -- with HLT + no standardise + partial lookahead + no save 125μs  -- with HLT + standardise + partial lookahead + no save 128μs  -- with HLT + no standardise + full lookahead + save 132μs  -- with HLT + standardise + full lookahead + save 129μs  -- with HLT + no standardise + partial lookahead + save 128μs  -- with HLT + standardise + partial lookahead + save 128μs  -- with Felsch + no standardisation 128μs  -- with Felsch + standardisation 128μs  -- with random strategy 140μs  -- with Rc style + full lookahead 128μs  -- with Rc style + partial lookahead 141μs  -- with R/C style 134μs  -- with CR style 136μs  -- with Cr style 132μs  -- with R/C + Felsch lookahead 141μs  -- with HLT + Felsch lookahead + save 127μs  -- with Cr + small number of f_defs 137μs  -- with Rc + small number of deductions 128μs  -- with Felsch + v2 + no preferred defs 128μs  -- with Felsch + v2 + immediate no stack 128μs  -- with Felsch + v1 + immediate no stack 129μs  -- with Felsch + v1 + immediate yes stack 128μs  -- with large collapse 133μs ToddCoxeter 064: (from kbmag/standalone/kb_data/s4) (KnuthB [...] . . .  -- with HLT + no standardise + full lookahead + no save 385μs ToddCoxeter 066: test validate . . . 68μs ToddCoxeter 067: add_rules after construct. from semigroup . . .  -- with HLT + no standardise + full lookahead + no save 415μs  -- with HLT + standardise + full lookahead + no save 404μs  -- with HLT + no standardise + partial lookahead + no save 396μs  -- with HLT + standardise + partial lookahead + no save 395μs  -- with HLT + save (throws) 426μs  -- with Felsch (throws) 414μs  -- with random strategy 445μs ToddCoxeter 068: Sym(5) from Chapter 3, Proposition 1.1 in NR . . .  -- with Deduction policy == purge_from_top 1130μs  -- with Deduction policy == purge_all 1123μs  -- with Deduction policy == discard_all_if_no_space 1136μs  -- with HLT + no standardise + full lookahead + no save 1081μs  -- with HLT + standardise + full lookahead + no save 1327μs  -- with HLT + no standardise + partial lookahead + no save 1071μs  -- with HLT + standardise + partial lookahead + no save 1315μs  -- with HLT + no standardise + full lookahead + save 1558μs  -- with HLT + standardise + full lookahead + save 1537μs  -- with HLT + no standardise + partial lookahead + save 1506μs  -- with HLT + standardise + partial lookahead + save 1521μs  -- with Felsch + no standardisation 1078μs  -- with Felsch + standardisation 1057μs  -- with random strategy 1692μs  -- with Rc style + full lookahead 2185μs  -- with Rc style + partial lookahead 2153μs  -- with R/C style 1252μs  -- with CR style 1156μ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 1034μs  -- with HLT + standardise + full lookahead + no save 1101μs  -- with HLT + no standardise + partial lookahead + no save 1031μs  -- with HLT + standardise + partial lookahead + no save 1098μs  -- with HLT + no standardise + full lookahead + save 896μs  -- with HLT + standardise + full lookahead + save 914μs  -- with HLT + no standardise + partial lookahead + save 871μs  -- with HLT + standardise + partial lookahead + save 904μs  -- with Felsch + no standardisation 5005μs  -- with Felsch + standardisation 5041μs  -- with random strategy 6373μs  -- with Rc style + full lookahead 1143μs  -- with Rc style + partial lookahead 1136μs  -- with R/C style 1288μs  -- with CR style 5028μs  -- with Cr style 4991μs ToddCoxeter 070: finite semigroup (size 99) . . .  -- with HLT + no standardise + full lookahead + no save 451μs  -- with HLT + standardise + full lookahead + no save 462μs  -- with HLT + no standardise + partial lookahead + no save 439μs  -- with HLT + standardise + partial lookahead + no save 455μs  -- with HLT + no standardise + full lookahead + save 388μs  -- with HLT + standardise + full lookahead + save 399μs  -- with HLT + no standardise + partial lookahead + save 378μs  -- with HLT + standardise + partial lookahead + save 394μs  -- with Felsch + no standardisation 915μs  -- with Felsch + standardisation 934μs  -- with random strategy 492μs  -- with Rc style + full lookahead 491μs  -- with Rc style + partial lookahead 487μs  -- with R/C style 547μs  -- with CR style 944μs  -- with Cr style 942μs ToddCoxeter 080: KnuthBendix 098 . . .  -- with HLT + no standardise + full lookahead + no save 1347ms  -- with HLT + standardise + full lookahead + no save 1232ms  -- with HLT + no standardise + partial lookahead + no save 1347ms  -- with HLT + standardise + partial lookahead + no save 1233ms  -- with HLT + no standardise + full lookahead + save 593ms  -- with HLT + standardise + full lookahead + save 597ms  -- with HLT + no standardise + partial lookahead + save 595ms  -- with HLT + standardise + partial lookahead + save 596ms  -- with Felsch + no standardisation 578ms  -- with Felsch + standardisation 577ms  -- with random strategy 1330ms  -- with Rc style + full lookahead 573ms  -- with Rc style + partial lookahead 573ms  -- with R/C style 1359ms  -- with CR style 576ms  -- with Cr style 572ms ToddCoxeter 084: Campbell-Reza 1 . . .  -- with HLT + no standardise + full lookahead + no save 158μs  -- with HLT + standardise + full lookahead + no save 135μs  -- with HLT + no standardise + partial lookahead + no save 123μs  -- with HLT + standardise + partial lookahead + no save 143μs  -- with HLT + no standardise + full lookahead + save 143μs  -- with HLT + standardise + full lookahead + save 140μs  -- with HLT + no standardise + partial lookahead + save 136μs  -- with HLT + standardise + partial lookahead + save 136μs  -- with Felsch + no standardisation 150μs  -- with Felsch + standardisation 147μs  -- with random strategy 144μs  -- with Rc style + full lookahead 128μs  -- with Rc style + partial lookahead 128μs  -- with R/C style 137μs  -- with CR style 157μs  -- with Cr style 154μs ToddCoxeter 085: Renner monoid type D4 (Gay-Hivert), q = 1 . . .  -- with HLT + no standardise + full lookahead + no save 151ms  -- with HLT + standardise + full lookahead + no save 151ms  -- with HLT + no standardise + partial lookahead + no save 151ms  -- 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 151ms  -- with Felsch + standardisation 151ms  -- with random strategy 151ms  -- with Rc style + full lookahead 151ms  -- with Rc style + partial lookahead 150ms  -- with R/C style 150ms  -- with CR style 151ms  -- with Cr style 151ms ToddCoxeter 086: trivial semigroup . . . 243ms 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 134μ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 122μs  -- with HLT + no standardise + full lookahead + save 143μs  -- with HLT + standardise + full lookahead + save 144μs  -- with HLT + no standardise + partial lookahead + save 140μs  -- with HLT + standardise + partial lookahead + save 142μs  -- with random strategy 140μs  -- with Felsch + no standardisation 136μs  -- with Felsch + standardisation 133μs ToddCoxeter 095: ACE --- A5-C5 . . .  -- with HLT + no standardise + full lookahead + no save 163μs  -- with HLT + standardise + full lookahead + no save 168μs  -- with HLT + no standardise + partial lookahead + no save 157μs  -- with HLT + standardise + partial lookahead + no save 166μs  -- with HLT + no standardise + full lookahead + save 205μs  -- with HLT + standardise + full lookahead + save 201μs  -- with HLT + no standardise + partial lookahead + save 199μs  -- with HLT + standardise + partial lookahead + save 198μs  -- with random strategy 226μs  -- with Felsch + no standardisation 176μs  -- with Felsch + standardisation 174μs ToddCoxeter 096: ACE --- A5 . . .  -- with HLT + no standardise + full lookahead + no save 348μs  -- with HLT + standardise + full lookahead + no save 389μs  -- with HLT + no standardise + partial lookahead + no save 327μs  -- with HLT + standardise + partial lookahead + no save 383μs  -- with HLT + no standardise + full lookahead + save 495μs  -- with HLT + standardise + full lookahead + save 496μs  -- with HLT + no standardise + partial lookahead + save 482μs  -- with HLT + standardise + partial lookahead + save 491μs  -- with random strategy 579μs  -- with Felsch + no standardisation 385μs  -- with Felsch + standardisation 378μs ToddCoxeter 098: relation ordering . . .  -- with Felsch + no standardisation 702μs  -- with Felsch + standardisation 675μs  -- with HLT + no standardise + full lookahead + no save 316μs  -- with HLT + standardise + full lookahead + no save 314μs  -- with HLT + no standardise + partial lookahead + no save 312μs  -- with HLT + standardise + partial lookahead + no save 310μs  -- with HLT + no standardise + full lookahead + save 734μs  -- with HLT + standardise + full lookahead + save 731μs  -- with HLT + no standardise + partial lookahead + save 736μs  -- with HLT + standardise + partial lookahead + save 729μs  -- with random strategy 352μs ToddCoxeter 099: short circuit size in obviously infinite . . . 20μs ToddCoxeter 101: http://brauer.maths.qmul.ac.uk/Atlas/spor/M [...] . . . 548ms ToddCoxeter 108: http://brauer.maths.qmul.ac.uk/Atlas/lin/L3 [...] . . . 479ms ToddCoxeter 111: PartitionMonoid(2) . . . 88μs ToddCoxeter 112: Brauer(4) (Kudryavtseva + Mazorchuk) . . . 465μs ToddCoxeter 113: SymmetricInverseMonoid . . . 19ms UF 001: constructor by size . . . 14μs UF 002: copy constructor . . . 22μs UF 003: find . . . 19μs action_digraph_helper 015: detail::to_string . . . 24μs action_digraph_helper 016: make . . . 63μs action_digraph_helper 017: is_connected . . . 106μs action_digraph_helper 018: is_strictly_cyclic . . . 6442μs follow_path 012: 20 node path . . . 24μs freeband_equal_to 001: . . . 690μs is_acyclic 000: 2-cycle . . . 12μs is_acyclic 001: 1-cycle . . . 11μs is_acyclic 002: multi-digraph . . . 14μs is_acyclic 003: complete digraph 100 . . . 51μs is_acyclic 004: acyclic digraph with 20000 nodes . . . 1000μs is_acyclic 006: for a node . . . 944μs is_acyclic 007: for a node . . . 20μs is_reachable 008: acyclic 20 node digraph . . . 68μs is_reachable 009: 100 node path . . . 11ms is_reachable 010: 100 node cycle . . . 12ms is_reachable 011: 20 node clique . . . 461μs last_node_on_path_nc 014: 20 node path . . . 18μs make 000: from FroidurePin . . . 474μs make 001: from FroidurePin and alphabet . . . 584μs make 002: presentation from presentation . . . 415μs make 003: presentation from presentation and alphabet . . . 82μs make> 000: from ActionDigraph . . . 1120μs make> 001: from ActionDigraph (exceptions) . . . 75μs number_of_words 001: . . . 14μs silo 000: alphabet: a, min: 0, max: 10 . . . 44μs silo 001: corner cases . . . 31μs silo 002: alphabet: ab, min: 1, max: 4 . . . 55μs silo 003: alphabet: abc, min: 0, max: 13 . . . 93ms silo 004: code coverage . . . 27μs sislo 005: alphabet: a, min: 0, max: 10 . . . 37μs sislo 006: corner cases . . . 68μs sislo 007: alphabet: ab, min: 1, max: 4 . . . 91μs sislo 008: alphabet: abc, min: 0, max: 13 . . . 91ms sislo 009: code coverage . . . 26μs string 000: detail::is_suffix . . . 13μs string 001: detail::is_prefix . . . 13μs string 002: detail::maximum_common_suffix . . . 14μs string 003: detail::group_digits . . . 17μs string_to_word 002: . . . 13μs validate_label 013: 20 node path . . . 42μs wilo 001: corner cases . . . 41μs wilo 002: letters: 2, min: 1, max: 4 . . . 38μs wilo 003: letters: 2, min: 1, max: 4 . . . 73μs wilo 004: letters: 3, min: 0, max: 10 . . . 21ms wilo 005: letters: 3, min: 0, max: 13 . . . 136ms wilo 006: forward iterator requirements . . . 136ms wilo 007: more corner cases . . . 55μs wilo 008: starting at a given word 1 . . . 137μs wilo 009: starting at a given word 2 . . . 22μs wilo 010: code coverage . . . 21μs wislo 000: n: 2, min; 1, max: 4 . . . 27μs wislo 001: corner cases . . . 64μs wislo 002: n: 3, min; 0, max: 10 . . . 4547μs wislo 003: n: 3, min; 0, max: 13 . . . 132ms wislo 004: lex + sort . . . 377ms wislo 005: code coverage . . . 26μs =============================================================================== All tests passed (1289245 assertions in 1071 test cases) >>> libsemigroups: Entering fakeroot... make[1]: Entering directory '/home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.3.2' ./config/install-sh -c -d '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib' ./config/install-sh -c -d '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/pkgconfig' /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/include/libsemigroups/textflowcpp' ./config/install-sh -c -d '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups' /usr/bin/install -c -m 644 libsemigroups.pc '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/pkgconfig' /usr/bin/install -c -m 644 extern/textflowcpp/TextFlow.hpp '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups/textflowcpp' /usr/bin/install -c -m 644 include/libsemigroups/action.hpp include/libsemigroups/adapters.hpp include/libsemigroups/bipart.hpp include/libsemigroups/bitset.hpp include/libsemigroups/bmat8.hpp include/libsemigroups/bmat.hpp include/libsemigroups/bruidhinn-traits.hpp include/libsemigroups/config.hpp include/libsemigroups/cong-intf.hpp include/libsemigroups/cong-pair-impl.hpp include/libsemigroups/cong-pair.hpp include/libsemigroups/cong-wrap.hpp include/libsemigroups/cong.hpp include/libsemigroups/constants.hpp include/libsemigroups/containers.hpp include/libsemigroups/coset.hpp include/libsemigroups/debug.hpp include/libsemigroups/deprecated.hpp include/libsemigroups/digraph-helper.hpp include/libsemigroups/digraph-with-sources.hpp include/libsemigroups/digraph-with-sources.tpp include/libsemigroups/digraph.hpp include/libsemigroups/exception.hpp include/libsemigroups/fastest-bmat.hpp include/libsemigroups/felsch-tree.hpp include/libsemigroups/felsch-digraph.hpp include/libsemigroups/felsch-digraph.tpp include/libsemigroups/forest.hpp include/libsemigroups/fpsemi-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 include/libsemigroups/kbe.hpp '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups' 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 /usr/bin/install -c -m 644 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: 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; }; }) libtool: install: /usr/bin/install -c .libs/libsemigroups.lai /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/libsemigroups.la libtool: install: /usr/bin/install -c .libs/libsemigroups.a /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/libsemigroups.a libtool: install: chmod 644 /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/libsemigroups.a libtool: install: ranlib /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/libsemigroups.a libtool: warning: remember to run 'libtool --finish /usr/lib' make[1]: Leaving directory '/home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.3.2' >>> 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.3.2-r0 pkgconfig >>> libsemigroups-dev*: Package size: 1.8 MB >>> libsemigroups-dev*: Compressing data... >>> libsemigroups-dev*: Create checksum... >>> libsemigroups-dev*: Create libsemigroups-dev-2.3.2-r0.apk >>> libsemigroups-static*: Tracing dependencies... >>> libsemigroups-static*: Package size: 5.1 MB >>> libsemigroups-static*: Compressing data... >>> libsemigroups-static*: Create checksum... >>> libsemigroups-static*: Create libsemigroups-static-2.3.2-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.6 MB >>> libsemigroups*: Compressing data... >>> libsemigroups*: Create checksum... >>> libsemigroups*: Create libsemigroups-2.3.2-r0.apk >>> libsemigroups: Build complete at Sun, 13 Nov 2022 16:01:30 +0000 elapsed time 0h 3m 13s >>> libsemigroups: Cleaning up srcdir >>> libsemigroups: Cleaning up pkgdir >>> libsemigroups: Uninstalling dependencies... (1/4) Purging .makedepends-libsemigroups (20221113.155818) (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...