>>> libsemigroups: Building testing/libsemigroups 2.7.3-r1 (using abuild 3.14.1-r3) started Sat, 14 Dec 2024 20:38:41 +0000 >>> libsemigroups: Validating /home/buildozer/aports/testing/libsemigroups/APKBUILD... >>> WARNING: libsemigroups: No maintainer >>> libsemigroups: Analyzing dependencies... >>> libsemigroups: Installing for build: build-base eigen-dev fmt-dev (1/4) Installing eigen-dev (3.4.0-r10) (2/4) Installing fmt (11.0.2-r0) (3/4) Installing fmt-dev (11.0.2-r0) (4/4) Installing .makedepends-libsemigroups (20241214.203843) OK: 258 MiB in 106 packages >>> libsemigroups: Cleaning up srcdir >>> libsemigroups: Cleaning up pkgdir >>> libsemigroups: Cleaning up tmpdir >>> libsemigroups: Fetching https://distfiles.alpinelinux.org/distfiles/edge/libsemigroups-2.7.3.tar.gz >>> libsemigroups: Fetching https://distfiles.alpinelinux.org/distfiles/edge/libsemigroups-2.7.3.tar.gz >>> libsemigroups: Checking sha512sums... libsemigroups-2.7.3.tar.gz: OK >>> libsemigroups: Unpacking /var/cache/distfiles/libsemigroups-2.7.3.tar.gz... tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.xattr.com.apple.lastuseddate#PS' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' checking build system type... loongarch64-alpine-linux-musl checking host system type... loongarch64-alpine-linux-musl checking target system type... loongarch64-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 loongarch64-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 loongarch64-alpine-linux-musl-ar... no checking for loongarch64-alpine-linux-musl-lib... no checking for loongarch64-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/loongarch64-alpine-linux-musl/bin/ld checking if the linker (/usr/loongarch64-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 loongarch64-alpine-linux-musl file names to loongarch64-alpine-linux-musl format... func_convert_file_noop checking how to convert loongarch64-alpine-linux-musl file names to toolchain format... func_convert_file_noop checking for /usr/loongarch64-alpine-linux-musl/bin/ld option to reload object files... -r checking for loongarch64-alpine-linux-musl-file... no checking for file... file checking for loongarch64-alpine-linux-musl-objdump... no checking for objdump... objdump checking how to recognize dependent libraries... pass_all checking for loongarch64-alpine-linux-musl-dlltool... no checking for dlltool... no checking how to associate runtime and link libraries... printf %s\n checking for loongarch64-alpine-linux-musl-ar... ar checking for archiver @FILE support... @ checking for loongarch64-alpine-linux-musl-strip... no checking for strip... strip checking for loongarch64-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 loongarch64-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/loongarch64-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/loongarch64-alpine-linux-musl/bin/ld checking if the linker (/usr/loongarch64-alpine-linux-musl/bin/ld) is GNU ld... yes checking whether the g++ linker (/usr/loongarch64-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/loongarch64-alpine-linux-musl/bin/ld) supports shared libraries... yes checking dynamic linker characteristics... (cached) GNU/Linux ld.so checking how to hardcode library paths into programs... immediate checking for limits.h... yes checking for stdint.h... (cached) yes checking for stdlib.h... (cached) yes checking for sys/time.h... yes checking for unistd.h... (cached) yes checking for pthread.h... yes checking for _Bool... yes checking for stdbool.h that conforms to C99... yes checking for inline... inline checking for int64_t... yes checking for size_t... yes checking for uint64_t... yes checking for ptrdiff_t... yes checking size of void *... 8 checking for GNU libc compatible malloc... yes checking for gettimeofday... yes checking for memset... yes checking for pow... yes checking for sqrt... yes checking whether to enable debug mode... no checking whether to enable verbose mode... no checking whether enable compiler warnings... no checking whether to enable stats mode... yes checking whether to enable backward mode... yes checking for execinfo.h... no configure: WARNING: backward enabled but execinfo.h not found, disabling backward! checking whether to build with code coverage support... no checking whether to enable HPCombi... yes checking for ./extern/HPCombi/VERSION... yes checking the required version of HPCombi... 0.0.6 checking the version of HPCombi that's present... 0.0.6 checking whether C++ compiler accepts -mavx... no configure: WARNING: flag -mavx not supported, HPCombi is disabled checking for loongarch64-alpine-linux-musl-pkg-config... no checking for pkg-config... /usr/bin/pkg-config checking pkg-config is at least version 0.9.0... yes checking whether to enable fmt... yes checking whether to use external fmt... yes checking for fmt >= 8.1.1... yes checking whether to enable eigen... yes checking whether to use external eigen... yes checking for eigen3 >= 3.3.7... yes checking for __builtin_popcountl... yes checking for __builtin_clzll... yes checking whether to try and use __builtin_popcntl... yes checking whether to try and use __builtin_clzlll... yes checking that generated files are newer than configure... done configure: creating ./config.status config.status: creating Makefile config.status: creating libsemigroups.pc config.status: creating config/config.h config.status: executing depfiles commands config.status: executing include/libsemigroups/config.hpp commands config.status: creating include/libsemigroups/config.hpp - prefix LIBSEMIGROUPS for config/config.h defines config.status: executing libtool commands CXX src/libsemigroups_la-bipart.lo CXX src/libsemigroups_la-bmat8.lo CXX src/libsemigroups_la-cong-intf.lo CXX src/libsemigroups_la-cong-pair.lo CXX src/libsemigroups_la-cong.lo CXX src/libsemigroups_la-constants.lo CXX src/libsemigroups_la-coset.lo CXX src/libsemigroups_la-exception.lo CXX src/libsemigroups_la-felsch-tree.lo CXX src/libsemigroups_la-forest.lo CXX src/libsemigroups_la-fpsemi-examples.lo CXX src/libsemigroups_la-fpsemi-intf.lo CXX src/libsemigroups_la-fpsemi.lo CXX src/libsemigroups_la-freeband.lo CXX src/libsemigroups_la-froidure-pin-base.lo CXX src/libsemigroups_la-kambites.lo CXX src/libsemigroups_la-knuth-bendix.lo CXX src/libsemigroups_la-make-present.lo CXX src/libsemigroups_la-node-manager.lo CXX src/libsemigroups_la-obvinf.lo CXX src/libsemigroups_la-pbr.lo CXX src/libsemigroups_la-race.lo CXX src/libsemigroups_la-report.lo CXX src/libsemigroups_la-runner.lo CXX src/libsemigroups_la-siso.lo CXX src/libsemigroups_la-string.lo CXX src/libsemigroups_la-stephen.lo CXX src/libsemigroups_la-timer.lo CXX src/libsemigroups_la-todd-coxeter.lo CXX src/libsemigroups_la-ukkonen.lo CXX src/libsemigroups_la-wilo.lo CXX src/libsemigroups_la-wislo.lo CXX src/libsemigroups_la-word.lo CXXLD libsemigroups.la make test_all make[1]: Entering directory '/home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.3' CXX tests/bmat-data.o CXX tests/test-action.o CXX tests/test-bipart.o CXX tests/test-bitset.o CXX tests/test-bmat8.o CXX tests/test-cong-intf.o CXX tests/test-cong-pair.o CXX tests/test-cong.o CXX tests/test-constants.o CXX tests/test-containers.o CXX tests/test-digraph-helper.o CXX tests/test-digraph.o CXX tests/test-felsch-tree.o CXX tests/test-forest.o CXX tests/test-fpsemi.o CXX tests/test-fpsemi-examples-1.o CXX tests/test-fpsemi-examples-2.o CXX tests/test-fpsemi-examples-3.o CXX tests/test-fpsemi-intf.o CXX tests/test-freeband.o CXX tests/test-froidure-pin-bipart.o CXX tests/test-froidure-pin-bmat8.o CXX tests/test-froidure-pin-bmat.o CXX tests/test-froidure-pin-integers.o CXX tests/test-froidure-pin-intmat.o CXX tests/test-froidure-pin-intpairs.o CXX tests/test-froidure-pin-matrix.o CXX tests/test-froidure-pin-maxplustrunc.o CXX tests/test-froidure-pin-pbr.o CXX tests/test-froidure-pin-pperm.o CXX tests/test-froidure-pin-projmaxplus.o CXX tests/test-froidure-pin-transf.o CXX tests/test-hpcombi.o CXX tests/test-iterator.o CXX tests/test-kambites.o CXX tests/test-kbe.o CXX tests/test-knuth-bendix-1.o CXX tests/test-knuth-bendix-2.o CXX tests/test-knuth-bendix-3.o CXX tests/test-knuth-bendix-4.o CXX tests/test-knuth-bendix-5.o CXX tests/test-knuth-bendix-6.o CXX tests/test-konieczny-bmat8-1.o CXX tests/test-konieczny-bmat8-2.o CXX tests/test-konieczny-bmat8-3.o CXX tests/test-konieczny-transf.o CXX tests/test-konieczny-bmat.o CXX tests/test-konieczny-pperm.o CXX tests/test-main.o CXX tests/test-make-present.o CXX tests/test-make-froidure-pin.o CXX tests/test-matrix.o CXX tests/test-obvinf.o CXX tests/test-order.o CXX tests/test-pbr.o CXX tests/test-pool.o CXX tests/test-present.o CXX tests/test-race.o CXX tests/test-runner.o CXX tests/test-schreier-sims.o CXX tests/test-schreier-sims-helper.o CXX tests/test-sims1.o CXX tests/test-siso.o CXX tests/test-stephen.o CXX tests/test-string.o CXX tests/test-string-view.o CXX tests/test-timer.o CXX tests/test-todd-coxeter.o CXX tests/test-types.o CXX tests/test-uf.o CXX tests/test-ukkonen.o CXX tests/test-wilo.o CXX tests/test-wislo.o CXX tests/test-word.o In file included from /usr/include/c++/14.2.0/string:48, from tests/catch.hpp:475, from tests/test-string-view.cpp:21: In constructor '__gnu_cxx::__normal_iterator<_Iterator, _Container>::__normal_iterator(const _Iterator&) [with _Iterator = const libsemigroups::detail::StringView*; _Container = std::vector]', inlined from 'std::vector<_Tp, _Alloc>::const_iterator std::vector<_Tp, _Alloc>::cbegin() const [with _Tp = libsemigroups::detail::StringView; _Alloc = std::allocator]' at /usr/include/c++/14.2.0/bits/stl_vector.h:955:16, inlined from 'size_t libsemigroups::detail::StringViewContainer::Long::size() const' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.3/include/libsemigroups/string-view.hpp:348:33, inlined from 'size_t libsemigroups::detail::StringViewContainer::size() const' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.3/include/libsemigroups/string-view.hpp:458:34, inlined from 'size_t libsemigroups::detail::MultiStringView::size() const' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.3/include/libsemigroups/string-view.hpp:783:31, inlined from 'bool libsemigroups::detail::MultiStringView::operator==(const libsemigroups::detail::MultiStringView&) const' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.3/include/libsemigroups/string-view.hpp:969:33, inlined from 'bool Catch::compareEqual(const LhsT&, const RhsT&) [with LhsT = libsemigroups::detail::MultiStringView; RhsT = libsemigroups::detail::MultiStringView]' at tests/catch.hpp:2314:98, inlined from 'const Catch::BinaryExpr Catch::ExprLhs::operator==(const RhsT&) [with RhsT = libsemigroups::detail::MultiStringView; LhsT = const libsemigroups::detail::MultiStringView&]' at tests/catch.hpp:2343:67, inlined from 'void libsemigroups::____C_A_T_C_H____T_E_S_T____10()' at tests/test-string-view.cpp:273:5: /usr/include/c++/14.2.0/bits/stl_iterator.h:1068:9: warning: '*(const libsemigroups::detail::StringView* const*)((char*)& + offsetof(libsemigroups::detail::MultiStringView, libsemigroups::detail::MultiStringView::_container.libsemigroups::detail::StringViewContainer::_data))' may be used uninitialized [-Wmaybe-uninitialized] 1068 | : _M_current(__i) { } | ^~~~~~~~~~~~~~~ tests/test-string-view.cpp: In function 'void libsemigroups::____C_A_T_C_H____T_E_S_T____10()': tests/test-string-view.cpp:273:41: note: '' declared here 273 | REQUIRE(mmmm == MultiStringView("ha")); | ^ In constructor '__gnu_cxx::__normal_iterator<_Iterator, _Container>::__normal_iterator(const _Iterator&) [with _Iterator = const libsemigroups::detail::StringView*; _Container = std::vector]', inlined from 'std::vector<_Tp, _Alloc>::const_iterator std::vector<_Tp, _Alloc>::cend() const [with _Tp = libsemigroups::detail::StringView; _Alloc = std::allocator]' at /usr/include/c++/14.2.0/bits/stl_vector.h:965:16, inlined from 'size_t libsemigroups::detail::StringViewContainer::Long::size() const' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.3/include/libsemigroups/string-view.hpp:348:33, inlined from 'size_t libsemigroups::detail::StringViewContainer::size() const' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.3/include/libsemigroups/string-view.hpp:458:34, inlined from 'size_t libsemigroups::detail::MultiStringView::size() const' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.3/include/libsemigroups/string-view.hpp:783:31, inlined from 'bool libsemigroups::detail::MultiStringView::operator==(const libsemigroups::detail::MultiStringView&) const' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.3/include/libsemigroups/string-view.hpp:969:33, inlined from 'bool Catch::compareEqual(const LhsT&, const RhsT&) [with LhsT = libsemigroups::detail::MultiStringView; RhsT = libsemigroups::detail::MultiStringView]' at tests/catch.hpp:2314:98, inlined from 'const Catch::BinaryExpr Catch::ExprLhs::operator==(const RhsT&) [with RhsT = libsemigroups::detail::MultiStringView; LhsT = const libsemigroups::detail::MultiStringView&]' at tests/catch.hpp:2343:67, inlined from 'void libsemigroups::____C_A_T_C_H____T_E_S_T____10()' at tests/test-string-view.cpp:273:5: /usr/include/c++/14.2.0/bits/stl_iterator.h:1068:9: warning: '((const libsemigroups::detail::StringView* const*)((char*)& + offsetof(libsemigroups::detail::MultiStringView, libsemigroups::detail::MultiStringView::_container.libsemigroups::detail::StringViewContainer::_data)))[1]' may be used uninitialized [-Wmaybe-uninitialized] 1068 | : _M_current(__i) { } | ^~~~~~~~~~~~~~~ tests/test-string-view.cpp: In function 'void libsemigroups::____C_A_T_C_H____T_E_S_T____10()': tests/test-string-view.cpp:273:41: note: '' declared here 273 | REQUIRE(mmmm == MultiStringView("ha")); | ^ In constructor '__gnu_cxx::__normal_iterator<_Iterator, _Container>::__normal_iterator(const _Iterator&) [with _Iterator = const libsemigroups::detail::StringView*; _Container = std::vector]', inlined from 'std::vector<_Tp, _Alloc>::const_iterator std::vector<_Tp, _Alloc>::cbegin() const [with _Tp = libsemigroups::detail::StringView; _Alloc = std::allocator]' at /usr/include/c++/14.2.0/bits/stl_vector.h:955:16, inlined from 'size_t libsemigroups::detail::StringViewContainer::Long::size() const' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.3/include/libsemigroups/string-view.hpp:348:33, inlined from 'size_t libsemigroups::detail::StringViewContainer::size() const' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.3/include/libsemigroups/string-view.hpp:458:34, inlined from 'size_t libsemigroups::detail::MultiStringView::size() const' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.3/include/libsemigroups/string-view.hpp:783:31, inlined from 'bool libsemigroups::detail::MultiStringView::operator==(const libsemigroups::detail::MultiStringView&) const' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.3/include/libsemigroups/string-view.hpp:969:33, inlined from 'bool Catch::compareEqual(const LhsT&, const RhsT&) [with LhsT = libsemigroups::detail::MultiStringView; RhsT = libsemigroups::detail::MultiStringView]' at tests/catch.hpp:2314:98, inlined from 'const Catch::BinaryExpr Catch::ExprLhs::operator==(const RhsT&) [with RhsT = libsemigroups::detail::MultiStringView; LhsT = const libsemigroups::detail::MultiStringView&]' at tests/catch.hpp:2343:67, inlined from 'void libsemigroups::____C_A_T_C_H____T_E_S_T____10()' at tests/test-string-view.cpp:273:5: /usr/include/c++/14.2.0/bits/stl_iterator.h:1068:9: warning: '*(const libsemigroups::detail::StringView* const*)((char*)& + offsetof(libsemigroups::detail::MultiStringView, libsemigroups::detail::MultiStringView::_container.libsemigroups::detail::StringViewContainer::_data))' may be used uninitialized [-Wmaybe-uninitialized] 1068 | : _M_current(__i) { } | ^~~~~~~~~~~~~~~ tests/test-string-view.cpp: In function 'void libsemigroups::____C_A_T_C_H____T_E_S_T____10()': tests/test-string-view.cpp:273:41: note: '' declared here 273 | REQUIRE(mmmm == MultiStringView("ha")); | ^ In constructor '__gnu_cxx::__normal_iterator<_Iterator, _Container>::__normal_iterator(const _Iterator&) [with _Iterator = const libsemigroups::detail::StringView*; _Container = std::vector]', inlined from 'std::vector<_Tp, _Alloc>::const_iterator std::vector<_Tp, _Alloc>::cend() const [with _Tp = libsemigroups::detail::StringView; _Alloc = std::allocator]' at /usr/include/c++/14.2.0/bits/stl_vector.h:965:16, inlined from 'size_t libsemigroups::detail::StringViewContainer::Long::size() const' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.3/include/libsemigroups/string-view.hpp:348:33, inlined from 'size_t libsemigroups::detail::StringViewContainer::size() const' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.3/include/libsemigroups/string-view.hpp:458:34, inlined from 'size_t libsemigroups::detail::MultiStringView::size() const' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.3/include/libsemigroups/string-view.hpp:783:31, inlined from 'bool libsemigroups::detail::MultiStringView::operator==(const libsemigroups::detail::MultiStringView&) const' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.3/include/libsemigroups/string-view.hpp:969:33, inlined from 'bool Catch::compareEqual(const LhsT&, const RhsT&) [with LhsT = libsemigroups::detail::MultiStringView; RhsT = libsemigroups::detail::MultiStringView]' at tests/catch.hpp:2314:98, inlined from 'const Catch::BinaryExpr Catch::ExprLhs::operator==(const RhsT&) [with RhsT = libsemigroups::detail::MultiStringView; LhsT = const libsemigroups::detail::MultiStringView&]' at tests/catch.hpp:2343:67, inlined from 'void libsemigroups::____C_A_T_C_H____T_E_S_T____10()' at tests/test-string-view.cpp:273:5: /usr/include/c++/14.2.0/bits/stl_iterator.h:1068:9: warning: '((const libsemigroups::detail::StringView* const*)((char*)& + offsetof(libsemigroups::detail::MultiStringView, libsemigroups::detail::MultiStringView::_container.libsemigroups::detail::StringViewContainer::_data)))[1]' may be used uninitialized [-Wmaybe-uninitialized] 1068 | : _M_current(__i) { } | ^~~~~~~~~~~~~~~ tests/test-string-view.cpp: In function 'void libsemigroups::____C_A_T_C_H____T_E_S_T____10()': tests/test-string-view.cpp:273:41: note: '' declared here 273 | REQUIRE(mmmm == MultiStringView("ha")); | ^ In constructor '__gnu_cxx::__normal_iterator<_Iterator, _Container>::__normal_iterator(const _Iterator&) [with _Iterator = const libsemigroups::detail::StringView*; _Container = std::vector]', inlined from 'std::vector<_Tp, _Alloc>::const_iterator std::vector<_Tp, _Alloc>::cbegin() const [with _Tp = libsemigroups::detail::StringView; _Alloc = std::allocator]' at /usr/include/c++/14.2.0/bits/stl_vector.h:955:16, inlined from 'size_t libsemigroups::detail::StringViewContainer::Long::size() const' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.3/include/libsemigroups/string-view.hpp:348:33, inlined from 'size_t libsemigroups::detail::StringViewContainer::size() const' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.3/include/libsemigroups/string-view.hpp:458:34, inlined from 'size_t libsemigroups::detail::MultiStringView::size() const' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.3/include/libsemigroups/string-view.hpp:783:31, inlined from 'bool libsemigroups::detail::MultiStringView::operator==(const libsemigroups::detail::MultiStringView&) const' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.3/include/libsemigroups/string-view.hpp:969:33, inlined from 'bool Catch::compareEqual(const LhsT&, const RhsT&) [with LhsT = libsemigroups::detail::MultiStringView; RhsT = libsemigroups::detail::MultiStringView]' at tests/catch.hpp:2314:98, inlined from 'const Catch::BinaryExpr Catch::ExprLhs::operator==(const RhsT&) [with RhsT = libsemigroups::detail::MultiStringView; LhsT = const libsemigroups::detail::MultiStringView&]' at tests/catch.hpp:2343:67, inlined from 'void libsemigroups::____C_A_T_C_H____T_E_S_T____8()' at tests/test-string-view.cpp:240:5: /usr/include/c++/14.2.0/bits/stl_iterator.h:1068:9: warning: '*(const libsemigroups::detail::StringView* const*)((char*)& + offsetof(libsemigroups::detail::MultiStringView, libsemigroups::detail::MultiStringView::_container.libsemigroups::detail::StringViewContainer::_data))' may be used uninitialized [-Wmaybe-uninitialized] 1068 | : _M_current(__i) { } | ^~~~~~~~~~~~~~~ tests/test-string-view.cpp: In function 'void libsemigroups::____C_A_T_C_H____T_E_S_T____8()': tests/test-string-view.cpp:240:65: note: '' declared here 240 | REQUIRE(mmmm == MultiStringView("habcdefghijklabcdefghijkla")); | ^ In constructor '__gnu_cxx::__normal_iterator<_Iterator, _Container>::__normal_iterator(const _Iterator&) [with _Iterator = const libsemigroups::detail::StringView*; _Container = std::vector]', inlined from 'std::vector<_Tp, _Alloc>::const_iterator std::vector<_Tp, _Alloc>::cend() const [with _Tp = libsemigroups::detail::StringView; _Alloc = std::allocator]' at /usr/include/c++/14.2.0/bits/stl_vector.h:965:16, inlined from 'size_t libsemigroups::detail::StringViewContainer::Long::size() const' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.3/include/libsemigroups/string-view.hpp:348:33, inlined from 'size_t libsemigroups::detail::StringViewContainer::size() const' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.3/include/libsemigroups/string-view.hpp:458:34, inlined from 'size_t libsemigroups::detail::MultiStringView::size() const' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.3/include/libsemigroups/string-view.hpp:783:31, inlined from 'bool libsemigroups::detail::MultiStringView::operator==(const libsemigroups::detail::MultiStringView&) const' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.3/include/libsemigroups/string-view.hpp:969:33, inlined from 'bool Catch::compareEqual(const LhsT&, const RhsT&) [with LhsT = libsemigroups::detail::MultiStringView; RhsT = libsemigroups::detail::MultiStringView]' at tests/catch.hpp:2314:98, inlined from 'const Catch::BinaryExpr Catch::ExprLhs::operator==(const RhsT&) [with RhsT = libsemigroups::detail::MultiStringView; LhsT = const libsemigroups::detail::MultiStringView&]' at tests/catch.hpp:2343:67, inlined from 'void libsemigroups::____C_A_T_C_H____T_E_S_T____8()' at tests/test-string-view.cpp:240:5: /usr/include/c++/14.2.0/bits/stl_iterator.h:1068:9: warning: '((const libsemigroups::detail::StringView* const*)((char*)& + offsetof(libsemigroups::detail::MultiStringView, libsemigroups::detail::MultiStringView::_container.libsemigroups::detail::StringViewContainer::_data)))[1]' may be used uninitialized [-Wmaybe-uninitialized] 1068 | : _M_current(__i) { } | ^~~~~~~~~~~~~~~ tests/test-string-view.cpp: In function 'void libsemigroups::____C_A_T_C_H____T_E_S_T____8()': tests/test-string-view.cpp:240:65: note: '' declared here 240 | REQUIRE(mmmm == MultiStringView("habcdefghijklabcdefghijkla")); | ^ In constructor '__gnu_cxx::__normal_iterator<_Iterator, _Container>::__normal_iterator(const _Iterator&) [with _Iterator = const libsemigroups::detail::StringView*; _Container = std::vector]', inlined from 'std::vector<_Tp, _Alloc>::const_iterator std::vector<_Tp, _Alloc>::cbegin() const [with _Tp = libsemigroups::detail::StringView; _Alloc = std::allocator]' at /usr/include/c++/14.2.0/bits/stl_vector.h:955:16, inlined from 'size_t libsemigroups::detail::StringViewContainer::Long::size() const' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.3/include/libsemigroups/string-view.hpp:348:33, inlined from 'size_t libsemigroups::detail::StringViewContainer::size() const' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.3/include/libsemigroups/string-view.hpp:458:34, inlined from 'size_t libsemigroups::detail::MultiStringView::size() const' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.3/include/libsemigroups/string-view.hpp:783:31, inlined from 'bool libsemigroups::detail::MultiStringView::operator==(const libsemigroups::detail::MultiStringView&) const' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.3/include/libsemigroups/string-view.hpp:969:33, inlined from 'bool Catch::compareEqual(const LhsT&, const RhsT&) [with LhsT = libsemigroups::detail::MultiStringView; RhsT = libsemigroups::detail::MultiStringView]' at tests/catch.hpp:2314:98, inlined from 'const Catch::BinaryExpr Catch::ExprLhs::operator==(const RhsT&) [with RhsT = libsemigroups::detail::MultiStringView; LhsT = const libsemigroups::detail::MultiStringView&]' at tests/catch.hpp:2343:67, inlined from 'void libsemigroups::____C_A_T_C_H____T_E_S_T____8()' at tests/test-string-view.cpp:240:5: /usr/include/c++/14.2.0/bits/stl_iterator.h:1068:9: warning: '*(const libsemigroups::detail::StringView* const*)((char*)& + offsetof(libsemigroups::detail::MultiStringView, libsemigroups::detail::MultiStringView::_container.libsemigroups::detail::StringViewContainer::_data))' may be used uninitialized [-Wmaybe-uninitialized] 1068 | : _M_current(__i) { } | ^~~~~~~~~~~~~~~ tests/test-string-view.cpp: In function 'void libsemigroups::____C_A_T_C_H____T_E_S_T____8()': tests/test-string-view.cpp:240:65: note: '' declared here 240 | REQUIRE(mmmm == MultiStringView("habcdefghijklabcdefghijkla")); | ^ In constructor '__gnu_cxx::__normal_iterator<_Iterator, _Container>::__normal_iterator(const _Iterator&) [with _Iterator = const libsemigroups::detail::StringView*; _Container = std::vector]', inlined from 'std::vector<_Tp, _Alloc>::const_iterator std::vector<_Tp, _Alloc>::cend() const [with _Tp = libsemigroups::detail::StringView; _Alloc = std::allocator]' at /usr/include/c++/14.2.0/bits/stl_vector.h:965:16, inlined from 'size_t libsemigroups::detail::StringViewContainer::Long::size() const' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.3/include/libsemigroups/string-view.hpp:348:33, inlined from 'size_t libsemigroups::detail::StringViewContainer::size() const' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.3/include/libsemigroups/string-view.hpp:458:34, inlined from 'size_t libsemigroups::detail::MultiStringView::size() const' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.3/include/libsemigroups/string-view.hpp:783:31, inlined from 'bool libsemigroups::detail::MultiStringView::operator==(const libsemigroups::detail::MultiStringView&) const' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.3/include/libsemigroups/string-view.hpp:969:33, inlined from 'bool Catch::compareEqual(const LhsT&, const RhsT&) [with LhsT = libsemigroups::detail::MultiStringView; RhsT = libsemigroups::detail::MultiStringView]' at tests/catch.hpp:2314:98, inlined from 'const Catch::BinaryExpr Catch::ExprLhs::operator==(const RhsT&) [with RhsT = libsemigroups::detail::MultiStringView; LhsT = const libsemigroups::detail::MultiStringView&]' at tests/catch.hpp:2343:67, inlined from 'void libsemigroups::____C_A_T_C_H____T_E_S_T____8()' at tests/test-string-view.cpp:240:5: /usr/include/c++/14.2.0/bits/stl_iterator.h:1068:9: warning: '((const libsemigroups::detail::StringView* const*)((char*)& + offsetof(libsemigroups::detail::MultiStringView, libsemigroups::detail::MultiStringView::_container.libsemigroups::detail::StringViewContainer::_data)))[1]' may be used uninitialized [-Wmaybe-uninitialized] 1068 | : _M_current(__i) { } | ^~~~~~~~~~~~~~~ tests/test-string-view.cpp: In function 'void libsemigroups::____C_A_T_C_H____T_E_S_T____8()': tests/test-string-view.cpp:240:65: note: '' declared here 240 | REQUIRE(mmmm == MultiStringView("habcdefghijklabcdefghijkla")); | ^ In file included from /usr/include/c++/14.2.0/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++/14.2.0/bits/stl_algo.h:1908:31, inlined from 'void std::sort(_RAIter, _RAIter, _Compare) [with _RAIter = libsemigroups::StaticRowView*; _Compare = libsemigroups::{anonymous}::test_BMat000 >()::]' at /usr/include/c++/14.2.0/bits/stl_algo.h:4804:18, inlined from 'void libsemigroups::{anonymous}::test_BMat000() [with Mat = libsemigroups::StaticMatrix]' at tests/test-matrix.cpp:166:18: /usr/include/c++/14.2.0/bits/stl_algo.h:1817:32: warning: array subscript 16 is outside array bounds of 'libsemigroups::detail::StaticVector1, 2> [1]' [-Warray-bounds=] 1817 | std::__insertion_sort(__first, __first + int(_S_threshold), __comp); | ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ tests/test-matrix.cpp: In function 'void libsemigroups::{anonymous}::test_BMat000() [with Mat = libsemigroups::StaticMatrix]': tests/test-matrix.cpp:160:14: note: at offset 128 into object 'r' of size 24 160 | auto r = matrix_helpers::rows(m); | ^ CXXLD test_all make[1]: Leaving directory '/home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.3' ./test_all --use-colour yes --order lex --abort [quick] Filters: [quick] Action 001: row and column basis orbits for BMat8 . . . 78μs Action 002: row and column basis orbits for BMat8 . . . 2098μs Action 003: add generators after enumeration . . . 2117μs Action 004: multipliers for BMat8 row and column orbits . . . 4690μs Action 005: orbits for regular boolean mat monoid 5 . . . 362ms Action 007: partial perm image orbit . . . 287μs Action 008: partial perm image orbit . . . 78ms Action 009: partial perm image orbit . . . 87ms Action 010: partial perm image orbit . . . 86ms Action 011: permutation on integers . . . 22μs Action 012: permutation on sets, arrays . . . 177μs Action 013: permutation on tuples, arrays . . . 17ms Action 014: permutation on sets, vectors . . . 215μs Action 015: permutation on tuples, vectors . . . 27ms Action 016: misc . . . 2550μs Action 017: partial perm image orbit . . . 64μs Action 018: permutation on tuples, arrays (360360) . . . 245ms Action 019: orbits for regular BMat8 monoid 5 with stop/start . . . 376ms Action 021: orbits for regular boolean mat monoid 5 (BMat<5> [...] . . . 489ms ActionDigraph 000: constructor with 1 default arg . . . 43μs ActionDigraph 001: constructor with 0 default args . . . 44μs ActionDigraph 002: add nodes . . . 24μs ActionDigraph 003: add edges . . . 363μs ActionDigraph 004: strongly connected components - cycles . . . 34μs ActionDigraph 005: strongly connected components - no edges . . . 48ms ActionDigraph 006: strongly connected components - disjoint cycles . . . 1808μs ActionDigraph 007: strongly connected components - complete graphs . . . 977μs ActionDigraph 008: exceptions . . . 85μs ActionDigraph 009: spanning forest - complete graphs . . . 4026μs ActionDigraph 010: spanning forest - disjoint cycles . . . 116μs ActionDigraph 011: restrict . . . 11μs ActionDigraph 012: remove_edge_nc . . . 9000ns ActionDigraph 013: scc large cycle . . . 18ms ActionDigraph 014: random . . . 37μs ActionDigraph 015: reserve . . . 9000ns ActionDigraph 016: default constructors . . . 18μs ActionDigraph 017: scc iterators . . . 1674μs ActionDigraph 018: iterator to edges . . . 751μs ActionDigraph 019: root of scc . . . 427μs ActionDigraph 020: cbegin/end_panislo - 100 node path . . . 721μs ActionDigraph 021: cbegin/end_pislo . . . 62μs ActionDigraph 022: cbegin/end_pani(s)lo - 100 node cycle . . . 716μs ActionDigraph 023: cbegin/cend_pilo - tree 14 nodes . . . 107μs ActionDigraph 024: cbegin/end_pstilo - Cayley digraph . . . 273ms ActionDigraph 025: cbegin_pstilo - Tsalakou . . . 695μs ActionDigraph 026: cbegin/end_pstislo - Cayley digraph . . . 263ms ActionDigraph 027: cbegin/end_pstislo - Cayley digraph . . . 312μs ActionDigraph 028: path iterators corner cases . . . 293μs ActionDigraph 029: reverse node iterator . . . 11μs ActionDigraph 030: pstilo corner case . . . 47μs ActionDigraph 031: number_of_paths corner cases . . . 95μs ActionDigraph 032: number_of_paths acyclic digraph . . . 15ms ActionDigraph 033: number_of_paths binary tree . . . 510ms ActionDigraph 034: number_of_paths large binary tree . . . 143ms ActionDigraph 035: number_of_paths 400 node random digraph . . . 1398μs ActionDigraph 036: number_of_paths 10 node acyclic digraph . . . 59μs ActionDigraph 037: number_of_paths node digraph . . . 4259μs ActionDigraph 038: random/random_acyclic exceptions . . . 160μs ActionDigraph 039: unsafe (next) neighbour . . . 77μs ActionDigraph 040: number_of_egdes incident to a node . . . 76μs ActionDigraph 041: number_of_paths (matrix) . . . 32ms ActionDigraph 042: number_of_paths (matrix) . . . 15μs ActionDigraph 043: swap_edge_nc . . . 9000ns ActionDigraph 044: detail::pow for non-square Eigen matrix . . . 24μs ActionDigraph 045: operator<< . . . 37μs Array2 044: all . . . 61μs BMat8 001: transpose . . . 25μs BMat8 002: multiplication . . . 21μs BMat8 003: identity matrix . . . 13μs BMat8 004: random . . . 365μs BMat8 005: call operator . . . 20μs BMat8 006: operator<< . . . 20μs BMat8 007: set . . . 81μs BMat8 008: row space basis . . . 834μs BMat8 009: col space basis . . . 827μs BMat8 010: row space basis . . . 1803μs BMat8 011: number_of_rows, number_of_cols . . . 58μs BMat8 012: row_space, col_space . . . 237μs BMat8 013: rows . . . 48μs BMat8 014: one . . . 11μs BMat8 015: vector constructor . . . 113μs BMat8 016: operator< . . . 13μs BMat8 017: adapters . . . 40μs BMat8 018: one . . . 10μs Bipartition 009: mem fns 1 . . . 56μs Bipartition 010: hash . . . 6000ns Bipartition 011: mem fns 2 . . . 43μs Bipartition 012: delete/copy . . . 9000ns Bipartition 013: degree 0 . . . 9000ns Bipartition 014: exceptions . . . 45μs Bipartition 015: convenience constructor . . . 293μs Bipartition 016: force copy constructor over move constructor . . . 17μs Bipartition 017: adapters . . . 6000ns BitSet 000: size . . . 14μs BitSet 001: operator< . . . 8000ns BitSet 002: operator== . . . 11μs BitSet 003: operator!= . . . 11μs BitSet 004: operator&= . . . 12μs BitSet 005: & . . . 17μs BitSet 006: operator|= . . . 18μs BitSet 007: operator[] . . . 22μs BitSet 008: set(none) . . . 22μs BitSet 009: set(pos, value) . . . 22μs BitSet 010: set(first, last, value) . . . 26μs BitSet 011: reset(first, last) . . . 25μs BitSet 012: reset(pos) . . . 23μs BitSet 013: apply (iterate through set bits) . . . 40μs BitSet 014: std::hash . . . 5000ns BitSet 015: constructors . . . 16μs BitSet 016: max_size . . . 6000ns BitSet 017: insertion operators . . . 12μs Blocks 001: empty blocks . . . 14μs Blocks 002: non-empty blocks . . . 15μs Blocks 003: left blocks of bipartition . . . 13μs Blocks 004: right blocks of bipartition . . . 12μs Blocks 005: copy [empty blocks] . . . 9000ns Blocks 006: copy [non-empty blocks] . . . 13μs Blocks 007: hash value . . . 14μs Blocks 008: operator< . . . 12μs Congruence 000: left congruence on fp semigroup . . . 270μs Congruence 001: 2-sided congruence on fp semigroup . . . 780μs Congruence 002: left congruence on fp semigroup . . . 257μs Congruence 003: word_to_class_index for cong. on fp semigroup . . . 250μs Congruence 004: word_to_class_index for cong. on fp semigroup . . . 569μs Congruence 005: trivial congruence on non-fp semigroup . . . 448μs Congruence 006: 2-sided congruence on non-fp semigroup . . . 309μs Congruence 007: 2-sided congruence on fp semigroup . . . 593μs Congruence 008: 2-sided congruence on infinite fp semigroup . . . 362μs Congruence 009: 2-sided congruence on infinite fp semigroup . . . 461μs Congruence 010: 2-sided congruence on finite semigroup . . . 45ms Congruence 012: 2-sided congruence on finite semigroup . . . 3894μs Congruence 013: trivial 2-sided congruence on bicyclic monoid . . . 30ms Congruence 014: non-trivial 2-sided congruence on bicyclic monoid . . . 361μs Congruence 015: 2-sided congruence on free abelian monoid . . . 364μs Congruence 016: example where TC works but KB doesn't . . . 548μs Congruence 017: 2-sided congruence on finite semigroup . . . 317μs Congruence 018: infinite fp semigroup from GAP library . . . 625μs Congruence 019: 2-sided cong. on fp semigroup with infinite [...] . . . 301μs Congruence 020: trivial cong. on an fp semigroup . . .  -- with compute size 281μs  -- with don't compute size 250μs Congruence 021: duplicate generators . . . 397μs Congruence 022: non-trivial classes . . . 1081μs Congruence 023: right congruence on finite semigroup . . . 368ms Congruence 024: redundant generating pairs . . . 165μs Congruence 025: 2-sided cong. on free semigroup . . . 67μs Congruence 026: is_quotient_obviously_(in)finite . . . 861μs Congruence 027: less . . . 337μs Congruence 028: 2-sided congruences of BMat8 semigroup . . . 169ms Congruence 029: left congruence on finite semigroup . . . 526μs Congruence 030: right congruence on finite semigroup . . . 460μs Congruence 031: right congruence on finite semigroup . . . 373μs Congruence 032: contains . . . 225μs Congruence 033: stellar_monoid S2 . . . 613μs Congruence 034: stellar_monoid S3 . . . 713μs Congruence 035: stellar_monoid S4 . . . 1451μs Congruence 036: stellar_monoid S5 . . . 6730μs Congruence 037: stellar_monoid S6 . . . 57ms Congruence 038: stellar_monoid S7 . . . 742ms Congruence 039: left cong. on an f.p. semigroup . . . 1584μs Congruence 040: 2-sided cong. on infinite f.p. semigroup . . . 193μs Congruence 041: 2-sided congruence constructed from type only . . . 518μs Congruence 042: const_contains . . . 398μs Congruence 043: no winner . . . 7016μs Congruence 044: congruence over smalloverlap . . . 10ms CongruenceByPairs 001: (cong) 2-sided cong. on finite semigroup . . . 467μs CongruenceByPairs 002: (cong) left congruence on finite semigroup . . . 139μs CongruenceByPairs 003: (cong) right congruence on finite semigroup . . . 134μs CongruenceByPairs 004: (cong) trivial congruence on finite s [...] . . . 141μs CongruenceByPairs 005: (cong) trivial left congruence on fin [...] . . . 89μs CongruenceByPairs 006: (cong) trivial right congruence on fi [...] . . . 88μs CongruenceByPairs 007: (cong) universal congruence on finite [...] . . . 515μs CongruenceByPairs 009: (cong) 2-sided congruence on finite s [...] . . . 774ms CongruenceByPairs 010: (cong) left congruence on big finite [...] . . . 42ms CongruenceByPairs 011: (cong) left congruence on TCE . . . 326μs CongruenceByPairs 012: (cong) is_quotient_obviously_finite . . . 87μs CongruenceByPairs 013: (cong) class_index_to_word/quotient . . .  -- with right congruence 15ms  -- with left congruence 1591μs  -- with 2-sided congruence 8489μs CongruenceByPairs 014: (cong) const_word_to_class_index . . .  -- with right congruence 45μs  -- with left congruence 31μs  -- with 2-sided congruence 30μs CongruenceByPairs 015: (cong) size non-Element* . . . 39ms CongruenceInterface 000: add_pair . . .  -- with ToddCoxeter 110μs  -- with KnuthBendix 278μs  -- with CongruenceByPairs 122μs  -- with Congruence 554μs CongruenceInterface 001: contains/const_contains . . .  -- with ToddCoxeter and no parent 113μs  -- with KnuthBendix and no parent 148μs  -- with Congruence and parent 386μs  -- with CongruenceByPairs and parent 102μs CongruenceInterface 002: less . . .  -- with ToddCoxeter 84μs  -- with KnuthBendix 179μs  -- with CongruenceByPairs 96μs  -- with Congruence 375μs CongruenceInterface 003: is_quotient_obviously_(in)finite . . .  -- with ToddCoxeter 68μs  -- with KnuthBendix 171μs CongruenceInterface 004: is_quotient_obviously_(in)finite . . .  -- with CongruenceByPairs 110μs  -- with Congruence 325μs CongruenceInterface 005: parent_froidure_pin . . .  -- with ToddCoxeter 36μs  -- with KnuthBendix 22μs CongruenceInterface 006: parent_froidure_pin . . .  -- with CongruenceByPairs 106μs  -- with Congruence 357μs CongruenceInterface 007: cbegin/cend_ntc . . .  -- with ToddCoxeter 319μs  -- with KnuthBendix 1679μs CongruenceInterface 008: cbegin/cend_ntc . . .  -- with CongruenceByPairs 210μs  -- with Congruence 399μs CongruenceInterface 009: quotient is immutable . . .  -- with ToddCoxeter 82μs  -- with KnuthBendix 134μs  -- with Congruence 223μs CongruenceInterface 010: no generating pairs added . . .  -- with KnuthBendix and common behaviour 6658μs  -- with Congruence and common behaviour 6778μs  -- with ToddCoxeter 96μs CongruenceInterface 011: nr generators not set . . .  -- with ToddCoxeter 124μs  -- with KnuthBendix 113μs  -- with Congruence 118μs CongruenceInterface 012: no generating pairs . . . 173μs ConstIteratorStateless 001: ? . . . 8000ns ConstIteratorStateless 002: ? . . . 7000ns Constants 001: Undefined . . . 25μs Constants 002: PositiveInfinity . . . 15μs Constants 003: NegativeInfinity . . . 12μs Constants 004: LimitMax . . . 13μs Duf 004: unite . . . 34μs Duf 006: compress . . . 16μs Duf 008: resize . . . 22μs Duf 009: resize . . . 12μs Duf 010: big chain . . . 19ms Duf 012: empty table . . . 9000ns Duf 014: join . . . 20μs Duf 016: contains . . . 29μs Duf 018: swap . . . 34μs DynamicArray2 001: default constructor with 3 default args . . . 7000ns DynamicArray2 002: default constructor with 2 default args . . . 7000ns DynamicArray2 003: default constructor with 1 default args . . . 17μs DynamicArray2 004: default constructor with 0 default args . . . 9000ns DynamicArray2 005: copy constructor with 1 default args . . . 14μs DynamicArray2 006: copy constructor with 0 default args . . . 15μs DynamicArray2 007: add_rows . . . 14μs DynamicArray2 008: add_rows . . . 11μs DynamicArray2 009: add_cols . . . 47μs DynamicArray2 010: set/get . . . 45μs DynamicArray2 011: append 1/2 . . . 97μs DynamicArray2 012: append 2/2 . . . 188μs DynamicArray2 013: count . . . 32μs DynamicArray2 014: clear . . . 8000ns DynamicArray2 015: begin_row and end_row . . . 58μs DynamicArray2 016: cbegin_row and cend_row . . . 24μs DynamicArray2 017: iterator operator++ (postfix) . . . 265μs DynamicArray2 018: iterator operator++ (prefix) . . . 1696μs DynamicArray2 019: iterator operator-- (postfix) . . . 332μs DynamicArray2 020: iterator operator-- (prefix) . . . 331μs DynamicArray2 021: operator= . . . 18μs DynamicArray2 022: operator== and operator!= . . . 246μs DynamicArray2 023: empty and clear . . . 12μs DynamicArray2 024: max_size . . . 7000ns DynamicArray2 025: swap . . . 35μs DynamicArray2 026: iterator arithmetic . . . 1493μs DynamicArray2 027: iterator comparison . . . 11μs DynamicArray2 028: iterator operator= . . . 8000ns DynamicArray2 029: iterator operator[] . . . 97μs DynamicArray2 030: iterator operator-> . . . 14μs DynamicArray2 031: const_iterator operator++/-- . . . 239μs DynamicArray2 032: const_iterator operator++/-- . . . 7000ns DynamicArray2 033: column iterators . . . 23μs DynamicArray2 034: column iterator arithmetic . . . 6083μs DynamicArray2 035: iterator assignment constructor . . . 1648μs DynamicArray2 036: reserve method . . . 69μs DynamicArray2 037: erase column . . . 14μs DynamicArray2 038: swap_rows . . . 11μs DynamicArray2 039: apply_row_permutation . . . 11μs DynamicArray2 040: swap . . . 8000ns DynamicArray2 041: shrink_rows_to . . . 18μs DynamicArray2 042: shrink_rows_to - for range . . . 19μs FastestBMat 046: check no throw . . . 15μs FelschTree 000: previously failing example . . . 36μs Forest 001: test forest . . . 74μs FpSemigroup 001: Renner monoid type B2 (E. G. presentation), q = 1 . . . 773μs FpSemigroup 002: Renner monoid type B2 (E. G. presentation), q = 0 . . . 746μs FpSemigroup 003: Renner monoid type B3 (E. G. presentation), q = 1 . . . 75ms FpSemigroup 004: Renner monoid type B3 (E. G. presentation), q = 0 . . . 92ms FpSemigroup 005: Renner monoid type B2 (Gay-Hivert presentat [...] . . . 711μs FpSemigroup 006: Renner monoid type B2 (Gay-Hivert presentat [...] . . . 705μs FpSemigroup 007: Renner monoid type B3 (Gay-Hivert presentat [...] . . . 3175μs FpSemigroup 008: Renner monoid type B3 (Gay-Hivert presentat [...] . . . 3090μs FpSemigroup 009: Renner monoid type B4 (Gay-Hivert presentat [...] . . . 252ms FpSemigroup 010: Renner monoid type B4 (Gay-Hivert presentat [...] . . . 413ms FpSemigroup 013: Renner monoid type D2 (E. G. presentation), q = 1 . . . 903μs FpSemigroup 014: Renner monoid type D2 (E. G. presentation), q = 0 . . . 910μs FpSemigroup 015: Renner monoid type D3 (E. G. presentation), q = 1 . . . 4035μs FpSemigroup 016: Renner monoid type D3 (E. G. presentation), q = 0 . . . 3983μs FpSemigroup 017: Renner monoid type D4 (E. G. presentation), q = 1 . . . 1031ms FpSemigroup 018: Renner monoid type D4 (E. G. presentation), q = 0 . . . 1027ms FpSemigroup 019: Renner monoid type D2 (Gay-Hivert presentat [...] . . . 1304μs FpSemigroup 020: Renner monoid type D2 (Gay-Hivert presentat [...] . . . 910μs FpSemigroup 021: Renner monoid type D3 (Gay-Hivert presentat [...] . . . 4136μs FpSemigroup 022: Renner monoid type D3 (Gay-Hivert presentat [...] . . . 4111μs FpSemigroup 023: Renner monoid type D4 (Gay-Hivert presentat [...] . . . 83ms FpSemigroup 024: Renner monoid type D4 (Gay-Hivert presentat [...] . . . 93ms FpSemigroup 029: Rook monoid R5, q = 0 . . . 4636μs FpSemigroup 030: Rook monoid R5, q = 1 . . . 4565μs FpSemigroup 031: Rook monoid R6, q = 0 . . . 37ms FpSemigroup 032: Rook monoid R6, q = 1 . . . 37ms FpSemigroup 033: normal_form . . . 222μs FpSemigroup 034: for a finite semigroup . . . 506μs FpSemigroup 035: finite fp semigroup, dihedral group of order 6 . . . 392μs FpSemigroup 036: finite fp semigroup, size 16 . . . 572μs FpSemigroup 037: finite fp semigroup, size 16 . . . 951μs FpSemigroup 038: fp semigroup, size 240 . . . 643μs FpSemigroup 039: add_rule . . . 207μs FpSemigroup 040: add_rule . . . 141μs FpSemigroup 041: equal_to . . . 265μs FpSemigroup 042: cbegin/cend_rules . . . 51μs FpSemigroup 043: semigroup of size 3 . . . 316μs FpSemigroup 044: run_for/until . . . 2401μs FpSemigroup 045: constructors . . . 225μs FpSemigroup 046: set_inverses . . . 189μs FpSemigroup 047: smalloverlap . . . 9877μs FpSemigroup 048: quaternion group Q8 . . . 393μs FpSemigroup 049: symmetric group Coxeter presentation . . . 35ms FpSemigroupByPairs 029: (fpsemi) 2-sided congruence on finit [...] . . . 568μs FpSemigroupByPairs 030: (fpsemi) 2-sided congruence on finit [...] . . . 429μs FpSemigroupInterface 000: run with no alphabet . . .  -- with ToddCoxeter 94μs  -- with KnuthBendix 25μs  -- with FpSemigroup 33μs FpSemigroupInterface 001: equal_to . . .  -- with ToddCoxeter and human readable alphabet 1779μs  -- with KnuthBendix and human readable alphabet 3981μs  -- with FpSemigroup and human readable alphabet 3953μs  -- with FpSemigroupByPairs 3368μs FpSemigroupInterface 002: normal_form . . .  -- with ToddCoxeter 170μs  -- with KnuthBendix 197μs  -- with FpSemigroup 398μs FpSemigroupInterface 003: set_alphabet (1/2) . . .  -- with ToddCoxeter 106μs  -- with KnuthBendix 76μs  -- with FpSemigroup 87μs FpSemigroupInterface 004: set_alphabet (2/2) . . . 997μs FpSemigroupInterface 005: add_rule after finished . . .  -- with ToddCoxeter and human readable alphabet 131μs  -- with KnuthBendix and human readable alphabet 169μs  -- with FpSemigroup and human readable alphabet 309μs  -- with FpSemigroupByPairs 941μs FpSemigroupInterface 006: add_rule with equal words (1/2) . . .  -- with ToddCoxeter and human readable alphabet 144μs  -- with KnuthBendix and human readable alphabet 207μs  -- with FpSemigroup and human readable alphabet 262μs  -- with FpSemigroupByPairs 128μs FpSemigroupInterface 007: add_rule with equal words (2/2) . . .  -- with ToddCoxeter 20μs  -- with KnuthBendix 15μs  -- with FpSemigroup 23μs FpSemigroupInterface 008: add_rule with word_type . . .  -- with ToddCoxeter 49μs  -- with KnuthBendix 36μs  -- with FpSemigroup 103μs FpSemigroupInterface 009: add_rule with empty word (1/2) . . .  -- with ToddCoxeter 37μs  -- with FpSemigroup 52μs FpSemigroupInterface 010: add_rule with empty word (1/2) . . . 11μs FpSemigroupInterface 011: add_rules (1/3) . . .  -- with ToddCoxeter 55μs  -- with KnuthBendix 30μs  -- with FpSemigroup 54μs FpSemigroupInterface 012: add_rules (2/3) . . . 289μs FpSemigroupInterface 013: add_rules (3/3) . . .  -- with ToddCoxeter 41μs  -- with KnuthBendix 20μs  -- with FpSemigroup 90μs FpSemigroupInterface 014: set_identity (1/3) . . .  -- with ToddCoxeter 110μs  -- with KnuthBendix 92μs  -- with FpSemigroup 156μs FpSemigroupInterface 015: set_identity (2/3) . . . 197μs FpSemigroupInterface 016: set_identity (3/3) . . .  -- with ToddCoxeter 64μs  -- with KnuthBendix 58μs  -- with FpSemigroup 139μs FpSemigroupInterface 017: identity . . .  -- with ToddCoxeter 29μs  -- with KnuthBendix 20μs  -- with FpSemigroup 41μs FpSemigroupInterface 018: set_inverses + inverses (1/2) . . .  -- with ToddCoxeter 153μs  -- with KnuthBendix 135μs  -- with FpSemigroup 218μs FpSemigroupInterface 019: set_inverses + inverses (2/2) . . . 259μs FpSemigroupInterface 020: is_obviously_infinite (1/2) . . .  -- with ToddCoxeter 126μs  -- with KnuthBendix 215μs  -- with FpSemigroup 299μs FpSemigroupInterface 021: is_obviously_infinite (2/2) . . . 48μs FpSemigroupInterface 022: is_obviously_finite (1/2) . . .  -- with ToddCoxeter 101μs  -- with KnuthBendix 198μs  -- with FpSemigroup 271μs FpSemigroupInterface 023: is_obviously_finite (2/2) . . . 33μs FpSemigroupInterface 024: to_gap_string (1/3) . . .  -- with ToddCoxeter 32μs  -- with KnuthBendix 20μs  -- with FpSemigroup 89μs FpSemigroupInterface 025: to_gap_string (2/3) . . . 12μs FpSemigroupInterface 026: to_gap_string (3/3) . . . 26μs FroidurePin 015: (BMat8) regular boolean mat monoid 4 . . . 107ms FroidurePin 016: (BMat8) exception zero generators given . . . 17μs FroidurePin 017: (BMat8) exception word_to_element . . . 116μs FroidurePin 018: (BMat8) exception prefix . . . 1968μs FroidurePin 019: (BMat8) exception suffix . . . 18μs FroidurePin 020: (BMat8) exception first_letter . . . 1988μs FroidurePin 021: (BMat8) exception final_letter . . . 20μs FroidurePin 022: (BMat8) exception current_length . . . 2027μs FroidurePin 023: (BMat8) exception product_by_reduction . . . 2344μs FroidurePin 024: (BMat8) exception fast_product . . . 2334μs FroidurePin 025: (BMat8) exception is_idempotent . . . 59ms FroidurePin 026: (BMat8) copy constructor . . .  -- with fully enumerated 65ms  -- with partially enumerated 50ms  -- with not enumerated 47ms FroidurePin 027: (BMat8) cbegin/end_rules . . . 66μs FroidurePin 031: (integers) . . . 190μs FroidurePin 039: (pairs of integers) non-trivial user type . . . 35μs FroidurePin 055: (tropical max-plus semiring matrices) . . . 319μs FroidurePin 061: projective max plus matrix . . . 1232μs FroidurePin 062: projective max plus matrix . . . 38μs FroidurePin> 009: small example 2 . . . 87μs FroidurePin> 005: small example 1 . . . 174μs FroidurePin> 007: regular bmat monoid 4 . . . 92ms FroidurePin> 011: small example 3 . . . 673μs FroidurePin> 006: small example 1 . . . 212μs FroidurePin> 008: regular bmat monoid 4 . . . 110ms FroidurePin> 010: small example 2 . . . 58μs FroidurePin> 012: small example 3 . . . 779μs FroidurePin 000: small example 1 . . . 248μs FroidurePin 001: default constructed . . . 129μs FroidurePin 002: small example 2 . . . 56μs FroidurePin 004: exception: is_idempotent . . . 226μs FroidurePin> 033: Example 000 . . . 933μs FroidurePin> 035: Example 001 . . . 60μs FroidurePin> 032: Example 000 . . . 698μs FroidurePin> 034: Example 001 . . . 49μs FroidurePin 036: exception: current_position . . . 204μs FroidurePin 037: exception: word_to_element . . . 92μs FroidurePin 038: exception: prefix, suffix, first_letter . . . 29ms FroidurePin> 040: Example 000 . . . 99μs FroidurePin> 041: Example 000 . . . 92μs FroidurePin> 046: Example 005 . . . 204μs FroidurePin> 047: Example 005 . . . 215μs FroidurePin> 048: Example 005 . . . 210μs FroidurePin> 044: Example 004 . . . 47μs FroidurePin> 045: Example 004 . . . 49μs FroidurePin> 049: Example 006 . . . 1171μs FroidurePin> 050: Example 006 . . . 1428μs FroidurePin> 051: Example 006 . . . 1408μs FroidurePin> 052: Example 007 . . . 165μs FroidurePin> 053: Example 007 . . . 178μs FroidurePin> 054: Example 007 . . . 173μs FroidurePin 056: example 1 . . . 291μs FroidurePin 057: example 2 . . . 169μs FroidurePin> 058: . . . 792μs FroidurePin> 059: . . . 62μs FroidurePin> 060: exceptions: add_generator(s) . . . 69μs FroidurePin> 065: no exception zero generators given . . . 20μs FroidurePin> 066: exception generators of different [...] . . . 80μs FroidurePin> 067: exception current_position . . . 67μs FroidurePin> 068: exception word_to_element . . . 57μs FroidurePin> 069: exception gens . . . 675μs FroidurePin> 070: exception prefix . . . 31ms FroidurePin> 071: exception suffix . . . 81ms FroidurePin> 072: exception first_letter . . . 64μs FroidurePin> 073: exception final_letter . . . 53μs FroidurePin> 074: exception current_length . . . 50μs FroidurePin> 075: exception product_by_reduction . . . 581μs FroidurePin> 076: exception fast_product . . . 621μs FroidurePin> 077: exception current_position . . . 671μs FroidurePin> 078: exception is_idempotent . . . 723μs FroidurePin> 079: exception add_generators . . . 44μs FroidurePin> 080: multithread number_of_idempotents . . . 571μs FroidurePin> 081: small semigroup . . . 32μs FroidurePin> 082: large semigroup . . . 9155μs FroidurePin> 083: at, position, current_* . . . 9313μs FroidurePin> 084: run . . . 9024μs FroidurePin> 085: run [many stops and starts] . . . 9416μs FroidurePin> 086: factorisation, length [1 element] . . . 8833μs FroidurePin> 087: factorisation, products [all elements] . . . 12ms FroidurePin> 088: first/final letter, prefix, suffi [...] . . . 8971μs FroidurePin> 089: current_position [standard] . . . 28μs FroidurePin> 090: current_position [duplicate gens] . . . 16ms FroidurePin> 091: current_position [after add_generators] . . . 8986μs FroidurePin> 092: cbegin_idempotents/cend [1 thread] . . . 9881μs FroidurePin> 093: idempotent_cend/cbegin [1 thread] . . . 9878μs FroidurePin> 094: is_idempotent [1 thread] . . . 9983μs FroidurePin> 096: finished, started . . . 9016μs FroidurePin> 097: current_position . . . 1814μs FroidurePin> 098: sorted_position, sorted_at . . . 10ms FroidurePin> 099: right/left Cayley graph . . . 48ms FroidurePin> 100: iterator . . . 14ms FroidurePin> 101: reverse iterator . . . 13ms FroidurePin> 102: iterator arithmetic . . . 43ms FroidurePin> 103: iterator sorted . . . 47ms FroidurePin> 104: iterator sorted arithmetic . . . 49ms FroidurePin> 105: copy [not enumerated] . . . 9257μs FroidurePin> 106: copy_closure [not enumerated] . . . 51ms FroidurePin> 107: copy_add_generators [not enumerated] . . . 47ms FroidurePin> 108: copy [partly enumerated] . . . 9774μs FroidurePin> 109: copy_closure [partly enumerated] . . . 13ms FroidurePin> 110: copy_add_generators [partly enumerated] . . . 9798μs FroidurePin> 111: copy [fully enumerated] . . . 13ms FroidurePin> 112: copy_closure [fully enumerated] . . . 13ms FroidurePin> 113: copy_add_generators [fully enumerated] . . . 12ms FroidurePin> 114: relations [duplicate gens] . . . 237μs FroidurePin> 115: relations . . . 13ms FroidurePin> 116: relations [copy_closure, duplicat [...] . . . 14ms FroidurePin> 117: relations [copy_add_generators, d [...] . . . 15ms FroidurePin> 118: relations [from copy, not enumerated] . . . 11ms FroidurePin> 119: relations [from copy, partly enum [...] . . . 19ms FroidurePin> 120: relations [from copy, fully enumerated] . . . 20ms FroidurePin> 121: relations [from copy_closure, not [...] . . . 17ms FroidurePin> 122: relations [from copy_add_generato [...] . . . 11ms FroidurePin> 123: relations [from copy_closure, par [...] . . . 14ms FroidurePin> 124: relations [from copy_add_generato [...] . . . 13ms FroidurePin> 125: relations [from copy_closure, ful [...] . . . 18ms FroidurePin> 126: relations [from copy_add_generato [...] . . . 16ms FroidurePin> 127: add_generators [duplicate generators] . . . 364μs FroidurePin> 128: add_generators [incremental 1] . . . 389μs FroidurePin> 129: add_generators [incremental 2] . . . 515μs FroidurePin> 130: closure [duplicate generators] . . . 274μs FroidurePin> 131: closure . . . 97μs FroidurePin> 132: factorisation . . . 23μs FroidurePin> 134: minimal_factorisation . . . 61μs FroidurePin> 135: batch_size (for an extremely larg [...] . . . 23μs FroidurePin> 137: exception: generators of differen [...] . . . 32μs FroidurePin> 138: exception: current_position . . . 60μs FroidurePin> 139: exception: word_to_element . . . 53μs FroidurePin> 140: exception: gens, current_position . . . 881μs FroidurePin> 141: exception: add_generators . . . 34μs KBE 000: constructors . . . 88μs KBE 001: test . . . 137μs KBE 002: factorisation . . . 72μs KBE 003: swap . . . 37μs KBE 004: adapters . . . 34μs KBE 005: conversions . . . 35μs Kambites 000: (fpsemi) MT test 4 (std::string) . . . 9667μs Kambites 001: (fpsemi) MT test 4 (MultiStringView) . . . 9741μs Kambites 002: (fpsemi) number_of_pieces (std::string) . . . 158μs Kambites 003: (fpsemi) number_of_pieces (MultiStringView) . . . 140μs Kambites 004: (fpsemi) small_overlap_class (std::string) . . . 4489μs Kambites 005: (fpsemi) small_overlap_class (MultiStringView) . . . 4495μs Kambites 006: (fpsemi) random (std::string) . . . 13ms Kambites 007: (fpsemi) random (MultiStringView) . . . 13ms Kambites 008: (fpsemi) KnuthBendix 055 (std::string) . . . 24ms Kambites 009: (fpsemi) KnuthBendix 055 (MultiStringView) . . . 24ms Kambites 010: (fpsemi) smalloverlap/gap/test.gi:85 (std::string) . . . 113μs Kambites 011: (fpsemi) smalloverlap/gap/test.gi:85 (MultiStr [...] . . . 82μs Kambites 012: (fpsemi) free semigroup . . . 10μs Kambites 013: (fpsemi) smalloverlap/gap/test.gi:49 (std::string) . . . 53ms Kambites 014: (fpsemi) smalloverlap/gap/test.gi:49 (MultiStr [...] . . . 62ms Kambites 015: (fpsemi) smalloverlap/gap/test.gi:63 (std::string) . . . 57ms Kambites 016: (fpsemi) smalloverlap/gap/test.gi:63 (MultiStr [...] . . . 70ms Kambites 017: (fpsemi) smalloverlap/gap/test.gi:70 (std::string) . . . 220ms Kambites 018: (fpsemi) smalloverlap/gap/test.gi:70 (MultiStr [...] . . . 270ms Kambites 021: (fpsemi) code coverage (std::string) . . . 183μs Kambites 022: (fpsemi) code coverage (MultiStringView) . . . 57μs Kambites 023: (fpsemi) prefix (std::string) . . . 105μs Kambites 024: (fpsemi) prefix (MultiStringView) . . . 137μs Kambites 025: (fpsemi) normal_form (Example 3.15) (std::string) . . . 96μs Kambites 026: (fpsemi) normal_form (Example 3.15) (MultiStri [...] . . . 116μs Kambites 027: (fpsemi) normal_form (Example 3.16) (std::string) . . . 64μs Kambites 028: (fpsemi) normal_form (Example 3.16) (MultiStri [...] . . . 90μs Kambites 029: (fpsemi) normal_form (Example 3.16) more exhau [...] . . . 108ms Kambites 030: (fpsemi) normal_form (Example 3.16) more exhau [...] . . . 101ms Kambites 031: (fpsemi) small presentation (std::string) . . . 137μs Kambites 032: (fpsemi) small presentation (MultiStringView) . . . 60μs Kambites 033: (fpsemi) non-smalloverlap (std::string) . . . 105μs Kambites 034: (fpsemi) non-smalloverlap (MultiStringView) . . . 83μs Kambites 035: (fpsemi) MT test 3 (std::string) . . . 62μs Kambites 036: (fpsemi) MT test 3 (MultiStringView) . . . 64μs Kambites 037: (fpsemi) MT test 5 (std::string) . . . 29μs Kambites 038: (fpsemi) MT test 5 (MultiStringView) . . . 30μs Kambites 039: (fpsemi) MT test 6 (std::string) . . . 47μs Kambites 040: (fpsemi) MT test 6 (MultiStringView) . . . 55μs Kambites 041: (fpsemi) MT test 10 (std::string) . . . 43μs Kambites 042: (fpsemi) MT test 10 (MultiStringView) . . . 48μs Kambites 043: (fpsemi) MT test 13 (std::string) . . . 30μs Kambites 044: (fpsemi) MT test 13 (MultiStringView) . . . 32μs Kambites 045: (fpsemi) MT test 14 (std::string) . . . 29μs Kambites 046: (fpsemi) MT test 14 (MultiStringView) . . . 31μs Kambites 047: (fpsemi) MT test 15 (std::string) . . . 71μs Kambites 048: (fpsemi) MT test 15 (MultiStringView) . . . 58μs Kambites 049: (fpsemi) MT test 16 (std::string) . . . 58μs Kambites 050: (fpsemi) MT test 16 (MultiStringView) . . . 91μs Kambites 051: (fpsemi) MT test 17 (std::string) . . . 153μs Kambites 052: (fpsemi) MT test 17 (MultiStringView) . . . 140μs Kambites 053: (fpsemi) weak C(4) not strong x 1 (std::string) . . . 723μs Kambites 054: (fpsemi) weak C(4) not strong x 1 (MultiStringView) . . . 884μs Kambites 055: (fpsemi) weak C(4) not strong x 2 (std::string) . . . 715μs Kambites 056: (fpsemi) weak C(4) not strong x 2 (MultiStringView) . . . 897μs Kambites 057: (fpsemi) weak C(4) not strong x 3 (std::string) . . . 664μs Kambites 058: (fpsemi) weak C(4) not strong x 3 (MultiStringView) . . . 581μs Kambites 059: (fpsemi) weak C(4) not strong x 4 (std::string) . . . 89μs Kambites 060: (fpsemi) weak C(4) not strong x 4 (MultiStringView) . . . 111μs Kambites 061: (fpsemi) weak C(4) not strong x 5 (std::string) . . . 27μs Kambites 062: (fpsemi) weak C(4) not strong x 5 (MultiStringView) . . . 23μs Kambites 063: (fpsemi) weak C(4) not strong x 6 (std::string) . . . 58μs Kambites 064: (fpsemi) weak C(4) not strong x 6 (MultiStringView) . . . 58μs Kambites 065: (fpsemi) Konovalov example (std::string) . . . 37μs Kambites 066: (fpsemi) Konovalov example (MultiStringView) . . . 36μs Kambites 067: (fpsemi) long words (std::string) . . . 2648ms Kambites 068: (fpsemi) long words (MultiStringView) . . . 58ms Kambites 075: (cong) example 1 . . . 61μs Kambites 076: (cong) example 2 . . . 192μs Kambites 077: (cong) code coverage . . . 8865μs Kambites 078: (cong) large number of rules . . . 340ms KnuthBendix 000: (fpsemi) confluent fp semigroup 1 (infinite) . . . 254μs KnuthBendix 001: (fpsemi) confluent fp semigroup 2 (infinite) . . . 165μs KnuthBendix 002: (fpsemi) confluent fp semigroup 3 (infinite) . . . 99μs KnuthBendix 003: (fpsemi) non-confluent fp semigroup from wi [...] . . . 193μs KnuthBendix 004: (fpsemi) Example 5.1 in Sims (infinite) . . . 162μs KnuthBendix 005: (fpsemi) Example 5.1 in Sims (infinite) . . . 149μs KnuthBendix 006: (fpsemi) Example 5.3 in Sims . . . 131μs KnuthBendix 007: (fpsemi) Example 5.4 in Sims . . . 144μs KnuthBendix 008: (fpsemi) Example 6.4 in Sims (size 168) . . . 10ms KnuthBendix 009: (fpsemi) . . . 61ms KnuthBendix 010: (fpsemi) SL(2, 7) from Chapter 3, Propositi [...] . . . 116ms KnuthBendix 011: (fpsemi) F(2, 5) - Chapter 9, Section 1 in [...] . . . 528μs KnuthBendix 012: (fpsemi) Reinis example 1 . . . 228μs KnuthBendix 013: redundant_rule (std::string) . . . 100ms KnuthBendix 014: redundant_rule (word_type) . . . 10ms KnuthBendix 019: (fpsemi) C(4) monoid . . . 42μs KnuthBendix 020: (cong) Chinese monoid . . . 185μs KnuthBendix 021: (from kbmag/standalone/kb_data/f25monoid) . . . 578μs KnuthBendix 022: (from kbmag/standalone/kb_data/degen4a) . . . 58ms KnuthBendix 023: (from kbmag/standalone/kb_data/torus) . . . 3603μs KnuthBendix 024: (from kbmag/standalone/kb_data/3a6) . . . 333ms KnuthBendix 025: (from kbmag/standalone/kb_data/f2) . . . 63μs KnuthBendix 026: (from kbmag/standalone/kb_data/s16) . . . 189ms KnuthBendix 027: (from kbmag/standalone/kb_data/a4monoid) . . . 66μs KnuthBendix 028: (from kbmag/standalone/kb_data/degen3) . . . 24μs KnuthBendix 029: (from kbmag/standalone/kb_data/ab1) . . . 24μs KnuthBendix 030: (from kbmag/standalone/kb_data/degen2) . . . 14μs KnuthBendix 031: (from kbmag/standalone/kb_data/f25) . . . 508μs KnuthBendix 032: (from kbmag/standalone/kb_data/237) . . . 666μs KnuthBendix 033: (from kbmag/standalone/kb_data/c2) . . . 15μs KnuthBendix 034: (from kbmag/standalone/kb_data/cosets) . . . 232μs KnuthBendix 035: Example 5.1 in Sims (KnuthBendix 09 again) . . . 59μs KnuthBendix 036: (from kbmag/standalone/kb_data/nilp2) . . . 28μs KnuthBendix 037: Example 6.4 in Sims . . . 18ms KnuthBendix 038: KnuthBendix 071 again . . . 756μs KnuthBendix 039: Example 5.4 in Sims (KnuthBendix 11 again) [...] . . . 261μs KnuthBendix 040: Example 5.4 in Sims (KnuthBendix 11 again) [...] . . . 182μs KnuthBendix 041: operator<< . . . 56μs KnuthBendix 042: confluence_interval . . . 15μs KnuthBendix 043: max_overlap . . . 14μs KnuthBendix 044: (fpsemi) (from kbmag/standalone/kb_data/d22 [...] . . . 1761μs KnuthBendix 045: (fpsemi) (from kbmag/standalone/kb_data/d22 [...] . . . 3017μs KnuthBendix 046: (fpsemi) small example . . . 876μs KnuthBendix 047: code coverage . . . 66μs KnuthBendix 048: small overlap 1 . . . 45μs KnuthBendix 049: (from kbmag/standalone/kb_data/s9) . . . 2050μs KnuthBendix 050: (fpsemi) Chapter 11, Lemma 1.8 (q = 6, r = [...] . . . 665μs KnuthBendix 051: (fpsemi) Chapter 11, Section 2 (q = 6, r = [...] . . . 143μs KnuthBendix 052: (fpsemi) Chapter 8, Theorem 4.2 in NR (infinite) . . . 264μs KnuthBendix 053: (fpsemi) equal_to fp semigroup . . . 50μs KnuthBendix 054: (fpsemi) equal_to free semigroup . . . 64μs KnuthBendix 055: (fpsemi) from GAP smalloverlap gap/test.gi [...] . . . 518μs KnuthBendix 056: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 919μs KnuthBendix 057: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 898μs KnuthBendix 058: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 2546μs KnuthBendix 059: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 6035μs KnuthBendix 060: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 30μs KnuthBendix 061: (fpsemi) Von Dyck (2,3,7) group (infinite) . . . 626μs KnuthBendix 062: (fpsemi) Von Dyck (2,3,7) group - different [...] . . . 5763μs KnuthBendix 063: (fpsemi) rewriting system from KnuthBendixC [...] . . . 426μs KnuthBendix 064: (fpsemi) rewriting system from Congruence 20 . . . 29μs KnuthBendix 065: (fpsemi) (from kbmag/standalone/kb_data/ab2) . . . 107μs KnuthBendix 066: (fpsemi) (from kbmag/standalone/kb_data/d22 [...] . . . 1832μs KnuthBendix 067: (fpsemi) (from kbmag/standalone/kb_data/degen1) . . . 62μs KnuthBendix 068: (fpsemi) (from kbmag/standalone/kb_data/s4) . . . 386μs KnuthBendix 069: (fpsemi) fp semigroup (infinite) . . . 54μs KnuthBendix 070: (fpsemi) Chapter 11, Section 1 (q = 4, r = [...] . . . 2204μs KnuthBendix 071: (fpsemi) Chapter 11, Section 1 (q = 8, r = [...] . . . 134ms KnuthBendix 072: (fpsemi) Chapter 7, Theorem 3.9 in NR (size 240) . . . 4159μs KnuthBendix 073: (fpsemi) F(2, 5) - Chapter 9, Section 1 in [...] . . . 543μs KnuthBendix 074: (fpsemi) F(2, 6) - Chapter 9, Section 1 in NR . . . 573μs KnuthBendix 075: (fpsemi) Chapter 10, Section 4 in NR (infinite) . . . 1126μs KnuthBendix 076: (fpsemi) Sym(5) from Chapter 3, Proposition [...] . . . 3636μs KnuthBendix 077: (fpsemi) SL(2, 7) from Chapter 3, Propositi [...] . . . 114ms KnuthBendix 078: (fpsemi) bicyclic monoid (infinite) . . . 57μs KnuthBendix 079: (fpsemi) plactic monoid of degree 2 (infinite) . . . 75μs KnuthBendix 080: (fpsemi) example before Chapter 7, Proposit [...] . . . 54μs KnuthBendix 081: (fpsemi) Chapter 7, Theorem 3.6 in NR (size 243) . . . 947μs KnuthBendix 082: (fpsemi) finite semigroup (size 99) . . . 300μs KnuthBendix 096: Sorouhesh . . . 446μs KnuthBendix 097: (fpsemi) transformation semigroup (size 4) . . . 88μs KnuthBendix 098: (fpsemi) transformation semigroup (size 9) . . . 70μs KnuthBendix 099: (fpsemi) transformation semigroup (size 88) . . . 876μs KnuthBendix 100: internal_string_to_word . . . 41μs KnuthBendix 101: (fpsemi) construct from shared_ptr . . . 994μs KnuthBendix 102: internal_string_to_word . . . 1287μs KnuthBendix 103: (cong) free semigroup congruence (5 classes) . . . 97μs KnuthBendix 104: free semigroup congruence (6 classes) . . . 408μs KnuthBendix 105: (cong) free semigroup congruence (16 classes) . . . 563μs KnuthBendix 106: (cong) free semigroup congruence (6 classes) . . . 932μs KnuthBendix 107: (cong) free semigroup congruence (240 classes) . . . 4542μs KnuthBendix 108: (cong) free semigroup congruence (240 classes) . . . 3995μs KnuthBendix 109: (cong) less . . . 5189μs KnuthBendix 110: (cong) less . . . 241ms KnuthBendix 111: (cong) constructors . . . 391ms KnuthBendix 112: (cong) const_contains/contains . . . 228μs KnuthBendix 113: (cong) is_quotient_obviously_finite . . . 22μs KnuthBendix 114: (cong) class_index_to_word . . . 257μs KnuthBendix 115: (cong) quotient_froidure_pin . . . 163μs KnuthBendix 116: (cong) set_number_of_generators . . . 30μs KnuthBendix 117: (cong) number of classes when obv-inf . . . 43μs KnuthBendixCongruenceByPairs 016: non-trivial congruence on [...] . . . 262μs KnuthBendixCongruenceByPairs 017: non-trivial congruence on [...] . . . 308μs KnuthBendixCongruenceByPairs 018: non-trivial congruence on [...] . . . 608μs KnuthBendixCongruenceByPairs 019: non-trivial congruence on [...] . . . 609μs KnuthBendixCongruenceByPairs 020: trivial congruence on a fi [...] . . . 272μs KnuthBendixCongruenceByPairs 021: universal congruence on a [...] . . . 785μs KnuthBendixCongruenceByPairs 022: left congruence on a finit [...] . . . 383μs KnuthBendixCongruenceByPairs 023: finite group, Chapter 11, [...] . . . 6064μs KnuthBendixCongruenceByPairs 024: right congruence on infini [...] . . . 445μs KnuthBendixCongruenceByPairs 025: finite fp semigroup, dihed [...] . . . 508μs KnuthBendixCongruenceByPairs 026: finite fp semigroup, size 16 . . . 579μs KnuthBendixCongruenceByPairs 027: finite fp semigroup, size 16 . . . 1670μs KnuthBendixCongruenceByPairs 028: infinite fp semigroup with [...] . . . 79μs Konieczny 000: test000> . . . 1412μs Konieczny 001: test000> . . . 1100μs Konieczny 002: test001> . . . 13ms Konieczny 003: test001> . . . 11ms Konieczny 006: exceptions . . . 54μs Konieczny 007: code coverage . . . 16ms Konieczny 008: code coverage . . . 14ms Konieczny 009: regular elements and idempotents . . . 232ms Konieczny 010: regular D-class 01 . . . 1217μs Konieczny 011: regular D-class 02 . . . 10ms Konieczny 012: regular D-class 04: contains . . . 38ms Konieczny 013: non-regular D-classes 01 . . . 1243μs Konieczny 014: RegularDClass . . . 775μs Konieczny 015: full bmat monoid 4 . . . 47ms Konieczny 017: regular generated bmat monoid 4 idempotents . . . 73ms Konieczny 019: my favourite example . . . 105ms Konieczny 020: another large example . . . 19ms Konieczny 021: my favourite example transposed . . . 87ms Konieczny 024: exceptions . . . 1350μs Konieczny 025: 0-parameter constructor . . . 22ms Konieczny 026: non-regular D-classes 02 . . . 13ms Konieczny 028: partial perm . . . 180ms Konieczny 029: symmetric inverse monoid n = 8 . . . 37ms Konieczny 030: exceptions . . . 243ms Konieczny 031: transformations . . . 1223μs Konieczny 032: transformations - JDM favourite example . . . 133ms Konieczny 033: transformations - large example . . . 358ms Konieczny 034: transformations - large example with stop . . . 364ms Konieczny 035: transformations - large example with run_until . . . 364ms Konieczny 036: transformations - large example with stop in Action . . . 364ms Konieczny 037: exceptions . . . 64μs Konieczny 038: transformations: contains . . . 786μs Konieczny 040: transformations - destructor coverage . . . 273ms Konieczny 041: current_number_D_classes . . . 278ms Konieczny 042: add_generator . . . 45μs Konieczny 043: add_generator . . . 25μs Matrix 000: BMat<2> . . . 113μs Matrix 001: BMat<> . . . 98μs Matrix 002: BMat<3> + BMat<> . . . 12μs Matrix 003: BMat<2> + BMat<> . . . 11μs Matrix 004: BMat<3> . . . 12μs Matrix 005: BMat<> . . . 15μs Matrix 006: BMat<3> row_basis . . . 54μs Matrix 007: BMat<> row_basis . . . 53μs Matrix 008: IntMat<3> . . . 14μs Matrix 009: IntMat<> . . . 22μs Matrix 010: IntMat code cov . . . 7000ns Matrix 011: MaxPlusMat<3> . . . 13μs Matrix 012: MaxPlusMat<> . . . 17μs Matrix 013: MaxPlusMat code cov . . . 5000ns Matrix 014: MinPlusMat<3> . . . 15μs Matrix 015: MinPlusMat<> . . . 19μs Matrix 016: MinPlusMat code cov . . . 5000ns Matrix 017: MaxPlusTruncMat<5, 2> . . . 18μs Matrix 018: MaxPlusTruncMat<5> . . . 23μs Matrix 019: MaxPlusTruncMat<> . . . 38μs Matrix 020: MaxPlusTruncMat<5, 4> . . . 25μs Matrix 021: MaxPlusTruncMat<5> . . . 22μs Matrix 022: MaxPlusTruncMat<> . . . 19μs Matrix 023: MaxPlusTruncMat<33, 3> . . . 35μs Matrix 024: MaxPlusTruncMat<33> . . . 35μs Matrix 025: MaxPlusTruncMat<> . . . 35μs Matrix 026: MaxPlusMat code cov . . . 7000ns Matrix 027: MinPlusTruncMat<33, 3> . . . 32μs Matrix 028: MinPlusTruncMat<33> . . . 35μs Matrix 029: MinPlusTruncMat<> . . . 47μs Matrix 030: NTPMat<0, 3, 3, 3> . . . 16μs Matrix 031: NTPMat<0, 3> . . . 16μs Matrix 032: NTPMat<> . . . 40μs Matrix 033: NTPMat<0, 10, 4, 4> . . . 26μs Matrix 034: NTPMat<0, 10> . . . 26μs Matrix 035: NTPMat<> . . . 25μs Matrix 036: NTPMat<0, 10, 4, 4> . . . 20μs Matrix 037: NTPMat<0, 10> . . . 19μs Matrix 038: NTPMat<> . . . 18μs Matrix 039: NTPMat<33, 2, 3, 3> . . . 14μs Matrix 040: NTPMat<33, 2> . . . 15μs Matrix 041: NTPMat<> . . . 13μs Matrix 042: ProjMaxPlusMat<3> . . . 116μs Matrix 043: ProjMaxPlusMat<> . . . 79μs Matrix 044: exceptions . . . 49μs Matrix 045: code coverage . . . 51μs MultiStringView 000: catch all . . . 57μs MultiStringView 001: is_prefix . . . 12μs MultiStringView 002: erase . . . 16μs MultiStringView 003: iterators . . . 8000ns MultiStringView 004: constructors (long) . . . 53μs MultiStringView 005: constructors (short) . . . 22μs MultiStringView 006: copy assignment (short assigned to long) . . . 13μs MultiStringView 007: copy assignment (short assigned to short) . . . 13μs MultiStringView 008: move assignment (short assigned to long) . . . 12μs MultiStringView 009: move assignment (short assigned to short) . . . 11μs MultiStringView 010: code coverage . . . 21μs MultiStringView 011: pop_front . . . 43μs MultiStringView 012: append . . . 14μs MultiStringView 013: operators . . . 13μs MultiStringView 014: maximum_common_suffix . . . 13μs MultiStringView 015: deep tests . . . 7000ns ObviouslyInfinite 011: Multiple rule additions . . . 56μs ObviouslyInfinite 012: A power of the generator 'b' does not [...] . . . 9000ns ObviouslyInfinite 013: Preserves the number of occurrences o [...] . . . 10μs ObviouslyInfinite 014: Less relations than generators . . . 9000ns ObviouslyInfinite 015: Relations preserve length . . . 9000ns ObviouslyInfinite 016: Matrix has non empty kernel . . . 10μs ObviouslyInfinite 017: Free product of trivial semigroups . . . 8000ns ObviouslyInfinite 018: Another free product . . . 11μs ObviouslyInfinite 019: Infinite but not obviously so . . . 10μs ObviouslyInfinite 020: Finite semigroup . . . 12μs PBR 001: universal product with convenience constructor . . . 76μs PBR 002: universal product . . . 16μs PBR 003: product [bigger than previous] . . . 29μs PBR 004: hash . . . 8000ns PBR 005: delete/copy . . . 23μs PBR 006: exceptions . . . 208μs PBR 007: operators . . . 72μs PBR 008: to_string . . . 19μs PBR 009: identity . . . 50μs PBR 010: adapters . . . 6000ns Pool 000: initial . . . 33μs Pool 001: bmat . . . 33μs Pool 002: PoolGuard . . . 24μs Pool 003: transformation products . . . 16μs Presentation 000: vectors of ints . . . 100μs Presentation 001: strings . . . 91μs Presentation 002: constructors (word_type) . . . 24μs Presentation 003: constructors (StaticVector1) . . . 38μs Presentation 004: constructors (std::string) . . . 26μs Presentation 005: alphabet + letters (word_type) . . . 168μs Presentation 006: alphabet + letters (std::string) . . . 44μs Presentation 007: contains_empty_word . . . 10μs Presentation 008: validate_rules throws . . . 52μs Presentation 009: helpers add_rule(s) . . . 107μs Presentation 010: helpers add_rule(s) (std::string) . . . 37μs Presentation 011: helpers add_identity_rules (std::vector/St [...] . . . 53μs Presentation 012: helpers add_identity_rules (std::string) . . . 30μs Presentation 013: helpers add_inverse_rules (all) . . . 245μs Presentation 014: helpers add_inverse_rules (std::string) . . . 22μs Presentation 015: helpers remove_duplicate_rules . . . 83μs Presentation 016: helpers reduce_complements . . . 165μs Presentation 017: helpers sort_each_rule . . . 74μs Presentation 018: helpers sort_rules . . . 80μs Presentation 019: helpers longest_common_subword/replace_subword . . . 344μs Presentation 020: helpers redundant_rule . . . 8857μs Presentation 021: helpers shortlex_compare_concat . . . 9000ns Presentation 022: helpers remove_trivial_rules . . . 87μs Presentation 023: helpers replace_subword (existing, replacement) . . . 64μs Presentation 024: helpers longest_rule . . . 139μs Presentation 025: helpers longest_rule_length . . . 120μs Presentation 026: helpers remove_redundant_generators . . . 134μs Presentation 027: helpers reverse . . . 21μs Presentation 028: in_alphabet . . . 26μs Presentation 029: replace_subword with empty word . . . 22μs Presentation 030: helpers replace_word . . . 44μs Presentation 031: clear . . . 8000ns Presentation 032: letter . . . 44μs Presentation 033: normalize_alphabet . . . 15μs Presentation 034: longest_common_subword issue . . . 397μs Presentation 035: helpers add_zero_rules (std::vector/Static [...] . . . 56μs Presentation 036: helpers add_zero_rules (std::string) . . . 29μs Presentation 037: make_semigroup . . . 54μs Presentation 038: greedy_reduce_length . . . 257μs Presentation 039: aaaaaaaab = aaaaaaaaab strong compression . . . 59μs Presentation 040: change_alphabet . . . 84μs Presentation 041: sort_rules bug . . . 263μs Presentation 042: first_unused_letter/letter . . . 203μs Presentation 043: case where strong compression doesn't work . . . 33μs Presentation 044: proof that . . . 44μs Presentation 045: decompression . . . 17μs Race 001: run_for . . . 10ms Race 002: run_until . . . 10ms Race 003: exceptions . . . 10ms Race 004: iterators . . . 9000ns Race 005: find_runner . . . 11μs Race 006: run_func . . . 25ms Race 007: run_func . . . 10ms Race 008: run_func . . . 10ms Runner 000: run_for . . . 10ms Runner 001: run_for . . . 1008μs Runner 002: run_for . . . 191ms Runner 003: run_for . . . 25ms Runner 004: started . . . 1011μs Runner 005: run_until . . . 101ms Runner 006: kill . . . 9000ns Runner 007: copy constructor . . . 10ms Runner 008: report . . . 20ms Runner 009: run_until with function pointer . . . 11μ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) . . . 106μs SchreierSims 004: symmetric perm. group (degree 5) . . . 34μs SchreierSims 005: symmetric perm. group (degree 8) . . . 50μs SchreierSims 006: symmetric perm. group (degree 9) . . . 63μs SchreierSims 007: alternating perm. group (degree 12) . . . 102μs SchreierSims 008: symmetric perm. group (degree 16) . . . 2229μs SchreierSims 009: alternating perm. group (degree 15) . . . 437μs SchreierSims 010: alternating perm. group (degree 16) . . . 3990μs SchreierSims 011: dihedral perm. group (order 10) . . . 13μs SchreierSims 012: dihedral perm. group (order 200) . . . 944μs SchreierSims 013: perm. group T (order 12) . . . 15μs SchreierSims 014: quaternion perm. group (order 8) . . . 20μs SchreierSims 015: perm. group (order 84129611558952960) . . . 363ms SchreierSims 016: perm. group SL(3, 5) (order 372000) . . . 1326μs SchreierSims 017: perm. group PSL(4, 8) (order 34558531338240) . . . 151ms SchreierSims 018: perm. Mathieu group M11 (order 7920) . . . 126μs SchreierSims 019: perm. Mathieu group M24 (order 244823040) . . . 280μs SchreierSims 020: perm. Janko Group J1 (order 175560) . . . 2624μs SchreierSims 021: perm. Hall-Janko group (order 604800) . . . 427μs SchreierSims 022: perm. Hall-Janko group (alt.) (order 604800) . . . 27ms SchreierSims 023: perm. Conway group Co3 (order 495766656000) . . . 8635μs SchreierSims 024: perm. Conway group Co3 (alt.) (order 49576 [...] . . . 20ms SchreierSims 025: perm. Suzuki group (order 448345497600) . . . 96ms SchreierSims 027: perm. Held group (order 4030387200) . . . 187ms SchreierSims 028: perm. group C2 x C2 x C2 (order 8) . . . 50μs SchreierSims 029: perm. group C2 x C2 x C2 x C2 (order 16) . . . 54μs SchreierSims 030: perm. group (S5 x S5) : C2 (order 28800) . . . 89μs SchreierSims 031: perm. group C3 x D8 x A5 (order 1440) . . . 89μs SchreierSims 032: perm. group GL(4, 3) (order 24261120) . . . 944μs SchreierSims 033: perm. group PSL(3, 7) (order 1876896) . . . 900μs SchreierSims 037: symmetric perm. group (degree 5) . . . 41μs SchreierSims 038: alternating perm. group (degree 17) . . . 4878μs SchreierSims 039: exceptions . . . 123μs SchreierSims 040: exceptions . . . 64μs SchreierSims 041: trivial group . . . 49μs SchreierSims 042: A17 bug . . . 4142μs SchreierSims 043: orbits_lookup test . . . 717μs SchreierSims 044: transversal_element and inversal_element test . . . 1980μs SchreierSimsHelper 001: trivial perm. group intersection (de [...] . . . 23μs SchreierSimsHelper 002: trivial perm. group intersection (de [...] . . . 26μs SchreierSimsHelper 003: cyclic group intersection (degree 13) . . . 45μs SchreierSimsHelper 004: D10 and Z5 intersection . . . 48μs SchreierSimsHelper 005: D8 and Q8 intersection . . . 41μs SchreierSimsHelper 006: primitive on 8 points intersection . . . 223μs SchreierSimsHelper 007: primitive on 8 points intersection ( [...] . . . 191μs SchreierSimsHelper 008: A13 and PGL(2, 11) intersection . . . 799μs SchreierSimsHelper 009: A13 and PGL(2, 11) intersection (swa [...] . . . 792μs SchreierSimsHelper 012: 3^3:13 and 3^3.2.A(4) intersection . . . 232μs SchreierSimsHelper 015: 3^3(S(4) x 2) and ASL(3, 3) intersection . . . 475μs SchreierSimsHelper 016: 7^2:3 x Q(8) and 7^2:D(2*6) intersection . . . 569μs SchreierSimsHelper 018: D(2*53) and 53:13 intersection . . . 319μs SchreierSimsHelper 019: 2^6:(7 x D_14) and PSL(2, 6)^2.4 int [...] . . . 2605μs SchreierSimsHelper 020: 2^6:(S_3 x GL(3, 2)) and 2.6:Alt(7) [...] . . . 8369μs SchreierSimsHelper 022: PSL(2, 127) and AGL(1, 2^7) intersection . . . 13ms SchreierSimsHelper 023: PSL(3, 4).2 and PSL(3, 4).2 (nontriv [...] . . . 2290μs SchreierSimsHelper 024: PSL(3, 4).Sym(3) and PSL(3, 4).2 int [...] . . . 2876μs SchreierSimsHelper 025: 3^4:5:4 and D_16:4 intersection . . . 1495μs Sims1 000: fp example 1 . . . 1294μs Sims1 001: fp example 2 . . . 3172μs Sims1 002: ToddCoxeter failing example . . . 33ms Sims1 003: ToddCoxeter failing example . . . 1387μs Sims1 004: partition_monoid(2) right . . . 10ms Sims1 006: full_transformation_monoid(3) right . . . 12ms Sims1 007: full_transformation_monoid(3) left . . . 7059μs Sims1 009: rook_monoid(2, 1) . . . 141μs Sims1 010: symmetric_inverse_monoid(2) from FroidurePin . . . 146μs Sims1 011: symmetric_inverse_monoid(3) . . . 12ms Sims1 014: temperley_lieb_monoid(3) from presentation . . . 103μs Sims1 015: temperley_lieb_monoid(4) from presentation . . . 1346μs Sims1 016: fp semigroup containing given pairs #1 . . . 441μs Sims1 017: fp semigroup containing given pairs #2 . . . 446μs Sims1 018: fp semigroup containing given pairs #3 . . . 807μs Sims1 019: ToddCoxeter failing example . . . 1570μs Sims1 020: fp example 2 . . . 3116μs Sims1 021: exceptions . . . 272μs Sims1 027: from https://mathoverflow.net/questions/423541/ . . . 54ms Sims1 028: from https://mathoverflow.net/questions/423541/ . . . 40ms Sims1 030: presentation with one free generator . . . 396μs Sims1 031: presentation with non-zero index generators . . . 73μs Sims1 032: presentation with empty word . . . 18ms Sims1 033: constructors . . . 2458μs Sims1 034: split_at . . . 430μs Sims1 035: stats . . . 113μs Sims1 036: check iterator requirements . . . 187μs Sims1 040: TransitiveGroup(10, 32) - minimal rep . . . 5499μs Sims1 043: rectangular_band(2, 2) - with and without identity . . . 265μs Sims1 044: trivial group - minimal o.r.c. rep . . . 111μs Sims1 045: right zero semigroup - minimal o.r.c. rep . . . 2313μs Sims1 046: semigroup with faithful non-strictly cyclic actio [...] . . . 783μs Sims1 068: RepOrc . . . 32ms Sims1 069: fp example 1 . . . 954μ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 3042μs (555ns 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 . . . 3185μs Sims1 072: symmetric_group(n) for n = 4 . . . 1422μs Sims1 073: corner case no generators + no relations . . . 92μs Sims1 076: uninitialized RepOrc . . . 25μs SmallestInteger 001: . . . 8000ns StaticTriVector2 045: all . . . 17μs StaticVector2 043: all . . . 17μs Stephen 000: basic test 1 . . . 315μs Stephen 001: basic test 2 . . . 181μs Stephen 002: full transf monoid . . . 19ms Stephen 003: from step_hen 002 . . . 67μs Stephen 004: from step_hen 003 . . . 203μs Stephen 005: from step_hen 004 . . . 41μs Stephen 006: from step_hen 005 . . . 116μs Stephen 008: C(4) monoid normal form (test_case_knuth_bendix_055) . . . 193μs Stephen 009: C(4) monoid normal form (test_case_gap_smallove [...] . . . 111μs Stephen 010: code coverage . . . 247μs Stephen 011: C(4) monoid normal form (test_case_gap_smallove [...] . . . 315μs Stephen 012: C(4) monoid normal form (test_case_gap_smallove [...] . . . 236μs Stephen 013: C(4) monoid equal to (test_case_gap_smalloverlap_70) . . . 96μs Stephen 014: C(4) monoid normal form (test_case_ex_3_13_14) . . . 474μs Stephen 015: C(4) monoid normal form (test_case_ex_3_15) . . . 510μs Stephen 016: C(4) monoid normal form (test_case_ex_3_16) . . . 414μs Stephen 017: C(4) monoid normal form (test_case_mt_3) . . . 196μs Stephen 018: C(4) monoid normal form (test_case_mt_5) . . . 123μs Stephen 019: C(4) monoid normal form (test_case_mt_6) . . . 357μs Stephen 020: C(4) monoid normal form (test_case_mt_10) . . . 128μs Stephen 021: C(4) monoid normal form (test_case_mt_13) . . . 106μs Stephen 022: C(4) monoid normal form (test_case_mt_14) . . . 101μs Stephen 023: C(4) monoid normal form (test_case_mt_15) . . . 108μs Stephen 024: C(4) monoid normal form (test_case_mt_16) . . . 123μs Stephen 025: C(4) monoid normal form (test_case_mt_17) . . . 348μs Stephen 026: C(4) monoid normal form (test_case_weak_1) . . . 316μs Stephen 027: C(4) monoid normal form (test_case_weak_2) . . . 214μs Stephen 028: C(4) monoid normal form (test_case_weak_3) . . . 290μs Stephen 029: C(4) monoid normal form (test_case_weak_4) . . . 323μs Stephen 030: C(4) monoid normal form (test_case_weak_5) . . . 137μs Stephen 031: Test behaviour when uninitialised . . . 274μs Suf 005: unite . . . 26μs Suf 007: compress . . . 12μs Suf 011: big chain . . . 19ms Suf 013: empty table . . . 7000ns Suf 015: join . . . 11μs Suf 017: contains . . . 31μs Suf 019: swap . . . 39μs Timer 001: string method (1 argument) . . . 29μs Timer 002: string method (0 arguments) . . . 10ms Timer 003: reset/elapsed method . . . 20ms Timer 004: operator<< . . . 8000ns ToddCoxeter 000: small 2-sided congruence . . .  -- with HLT + no standardise + full lookahead + no save 1591μs  -- with HLT + standardise + full lookahead + no save 1391μs  -- with HLT + no standardise + partial lookahead + no save 1365μs  -- with HLT + standardise + partial lookahead + no save 1374μs  -- with HLT + no standardise + full lookahead + save 1424μs  -- with HLT + standardise + full lookahead + save 1394μs  -- with HLT + no standardise + partial lookahead + save 1397μs  -- with HLT + standardise + partial lookahead + save 1391μs  -- with Felsch + no standardisation 1391μs  -- with Felsch + standardisation 1377μs  -- with random strategy 1406μs  -- with Rc style + full lookahead 1383μs  -- with Rc style + partial lookahead 1379μs  -- with R/C style 1378μs  -- with CR style 1384μs  -- with Cr style 1397μs ToddCoxeter 001: small 2-sided congruence . . .  -- with HLT + no standardise + full lookahead + no save 6608μs  -- with HLT + standardise + full lookahead + no save 6543μs  -- with HLT + no standardise + partial lookahead + no save 6560μs  -- with HLT + standardise + partial lookahead + no save 6547μs  -- with HLT + no standardise + full lookahead + save 6571μs  -- with HLT + standardise + full lookahead + save 6574μs  -- with HLT + no standardise + partial lookahead + save 6536μs  -- with HLT + standardise + partial lookahead + save 6553μs  -- with Felsch + no standardisation 6562μs  -- with Felsch + standardisation 6553μs  -- with random strategy 6555μs  -- with Rc style + full lookahead 6532μs  -- with Rc style + partial lookahead 6503μs  -- with R/C style 6447μs  -- with CR style 6412μs  -- with Cr style 6442μs ToddCoxeter 003: constructed from FroidurePin . . .  -- with Felsch + no standardisation 382ms  -- with Felsch + standardisation 381ms  -- with HLT + no standardise + full lookahead + no save 115ms  -- with HLT + standardise + full lookahead + no save 114ms  -- with HLT + no standardise + partial lookahead + no save 114ms  -- with HLT + standardise + partial lookahead + no save 114ms  -- with HLT + no standardise + full lookahead + save 398ms  -- with HLT + standardise + full lookahead + save 397ms  -- with HLT + no standardise + partial lookahead + save 398ms  -- with HLT + standardise + partial lookahead + save 398ms  -- with random strategy 310ms  -- with Rc style + full lookahead 388ms  -- with Rc style + partial lookahead 388ms  -- with R/C style 128ms  -- with CR style 389ms  -- with Cr style 388ms ToddCoxeter 004: 2-sided congruence from FroidurePin . . .  -- with HLT + no standardise + full lookahead + no save 391μs  -- with HLT + standardise + full lookahead + no save 246μs  -- with HLT + no standardise + partial lookahead + no save 230μs  -- with HLT + standardise + partial lookahead + no save 228μs  -- with HLT + save (throws) 320μs  -- with Felsch (throws) 259μs  -- with random strategy 244μs ToddCoxeter 005: non-trivial two-sided from relations . . .  -- with HLT + no standardise + full lookahead + no save 69μs  -- with HLT + standardise + full lookahead + no save 46μs  -- with HLT + no standardise + partial lookahead + no save 42μs  -- with HLT + standardise + partial lookahead + no save 41μs  -- with HLT + no standardise + full lookahead + save 68μs  -- with HLT + standardise + full lookahead + save 54μs  -- with HLT + no standardise + partial lookahead + save 52μs  -- with HLT + standardise + partial lookahead + save 52μs  -- with Felsch + no standardisation 48μs  -- with Felsch + standardisation 47μs  -- with random strategy 52μs  -- with Rc style + full lookahead 48μs  -- with Rc style + partial lookahead 44μs  -- with R/C style 47μs  -- with CR style 50μs  -- with Cr style 48μs ToddCoxeter 006: small right cong. on free semigroup . . .  -- with HLT + no standardise + full lookahead + no save 45μs  -- with HLT + standardise + full lookahead + no save 39μs  -- with HLT + no standardise + partial lookahead + no save 34μs  -- with HLT + standardise + partial lookahead + no save 36μs  -- with HLT + no standardise + full lookahead + save 46μs  -- with HLT + standardise + full lookahead + save 40μs  -- with HLT + no standardise + partial lookahead + save 39μs  -- with HLT + standardise + partial lookahead + save 39μs  -- with Felsch + no standardisation 38μs  -- with Felsch + standardisation 40μs  -- with random strategy 42μs  -- with Rc style + full lookahead 37μs  -- with Rc style + partial lookahead 37μs  -- with R/C style 37μs  -- with CR style 41μs  -- with Cr style 40μs ToddCoxeter 007: left cong. on free semigroup . . .  -- with HLT + no standardise + full lookahead + no save 53μs  -- with HLT + standardise + full lookahead + no save 42μs  -- with HLT + no standardise + partial lookahead + no save 142μs  -- with HLT + standardise + partial lookahead + no save 42μs  -- with HLT + no standardise + full lookahead + save 48μs  -- with HLT + standardise + full lookahead + save 46μs  -- with HLT + no standardise + partial lookahead + save 45μs  -- with HLT + standardise + partial lookahead + save 45μs  -- with Felsch + no standardisation 45μs  -- with Felsch + standardisation 49μs  -- with random strategy 53μs  -- with Rc style + full lookahead 46μs  -- with Rc style + partial lookahead 47μs  -- with R/C style 48μs  -- with CR style 51μs  -- with Cr style 52μs ToddCoxeter 008: for small fp semigroup . . .  -- with HLT + no standardise + full lookahead + no save 45μs  -- with HLT + standardise + full lookahead + no save 37μs  -- with HLT + no standardise + partial lookahead + no save 35μs  -- with HLT + standardise + partial lookahead + no save 36μs  -- with HLT + no standardise + full lookahead + save 41μs  -- with HLT + standardise + full lookahead + save 40μs  -- with HLT + no standardise + partial lookahead + save 40μs  -- with HLT + standardise + partial lookahead + save 39μs  -- with Felsch + no standardisation 39μs  -- with Felsch + standardisation 39μs  -- with random strategy 45μs  -- with Rc style + full lookahead 39μs  -- with Rc style + partial lookahead 38μs  -- with R/C style 39μs  -- with CR style 51μs  -- with Cr style 43μs ToddCoxeter 009: 2-sided cong. trans. semigroup . . .  -- with HLT + no standardise + full lookahead + no save 363μs  -- with HLT + standardise + full lookahead + no save 308μs  -- with HLT + no standardise + partial lookahead + no save 298μs  -- with HLT + standardise + partial lookahead + no save 302μs  -- with HLT + no standardise + full lookahead + save 781μs  -- with HLT + standardise + full lookahead + save 787μs  -- with HLT + no standardise + partial lookahead + save 771μs  -- with HLT + standardise + partial lookahead + save 772μs  -- with Felsch + no standardisation 681μs  -- with Felsch + standardisation 682μs  -- with random strategy 332μs  -- with Rc style + full lookahead 409μs  -- with Rc style + partial lookahead 330μs  -- with R/C style 342μs  -- with CR style 693μs  -- with Cr style 690μs ToddCoxeter 010: left congruence on transformation semigroup . . .  -- with HLT + no standardise + full lookahead + no save 341μs  -- with HLT + standardise + full lookahead + no save 335μs  -- with HLT + no standardise + partial lookahead + no save 317μs  -- with HLT + standardise + partial lookahead + no save 335μs  -- with HLT + no standardise + full lookahead + save 816μs  -- with HLT + standardise + full lookahead + save 808μs  -- with HLT + no standardise + partial lookahead + save 787μs  -- with HLT + standardise + partial lookahead + save 801μs  -- with Felsch + no standardisation 676μs  -- with Felsch + standardisation 669μs  -- with random strategy 871μs  -- with Rc style + full lookahead 380μs  -- with Rc style + partial lookahead 375μs  -- with R/C style 429μs  -- with CR style 725μs  -- with Cr style 727μs ToddCoxeter 011: right cong. trans. semigroup . . .  -- with HLT + no standardise + full lookahead + no save 355μs  -- with HLT + standardise + full lookahead + no save 345μs  -- with HLT + no standardise + partial lookahead + no save 326μs  -- with HLT + standardise + partial lookahead + no save 336μs  -- with HLT + no standardise + full lookahead + save 775μs  -- with HLT + standardise + full lookahead + save 775μs  -- with HLT + no standardise + partial lookahead + save 758μs  -- with HLT + standardise + partial lookahead + save 789μs  -- with Felsch + no standardisation 585μs  -- with Felsch + standardisation 620μs  -- with random strategy 411μs  -- with Rc style + full lookahead 389μs  -- with Rc style + partial lookahead 387μs  -- with R/C style 444μs  -- with CR style 650μs  -- with Cr style 639μs ToddCoxeter 012: trans. semigroup (size 88) . . .  -- with HLT + no standardise + full lookahead + no save 183μs  -- with HLT + standardise + full lookahead + no save 165μs  -- with HLT + no standardise + partial lookahead + no save 160μs  -- with HLT + standardise + partial lookahead + no save 162μs  -- with HLT + save (throws) 185μs  -- with Felsch (throws) 175μs  -- with random strategy 183μs ToddCoxeter 013: left cong. on trans. semigroup (size 88) . . .  -- with HLT + no standardise + full lookahead + no save 272μs  -- with HLT + standardise + full lookahead + no save 275μs  -- with HLT + no standardise + partial lookahead + no save 257μs  -- with HLT + standardise + partial lookahead + no save 270μs  -- with HLT + no standardise + full lookahead + save 743μs  -- with HLT + standardise + full lookahead + save 763μs  -- with HLT + no standardise + partial lookahead + save 730μs  -- with HLT + standardise + partial lookahead + save 753μs  -- with Felsch + no standardisation 621μs  -- with Felsch + standardisation 601μs  -- with random strategy 342μs  -- with Rc style + full lookahead 335μs  -- with Rc style + partial lookahead 320μs  -- with R/C style 373μs  -- with CR style 671μs  -- with Cr style 665μs ToddCoxeter 014: right cong. on trans. semigroup (size 88) . . .  -- with HLT + no standardise + full lookahead + no save 287μs  -- with HLT + standardise + full lookahead + no save 286μs  -- with HLT + no standardise + partial lookahead + no save 274μs  -- with HLT + standardise + partial lookahead + no save 280μs  -- with HLT + no standardise + full lookahead + save 728μs  -- with HLT + standardise + full lookahead + save 719μs  -- with HLT + no standardise + partial lookahead + save 701μs  -- with HLT + standardise + partial lookahead + save 712μs  -- with Felsch + no standardisation 523μs  -- with Felsch + standardisation 557μs  -- with random strategy 352μs  -- with Rc style + full lookahead 342μs  -- with Rc style + partial lookahead 332μs  -- with R/C style 391μs  -- with CR style 579μs  -- with Cr style 574μs ToddCoxeter 015: finite fp-semigroup, dihedral group of order 6 . . .  -- with HLT + no standardise + full lookahead + no save 86μs  -- with HLT + standardise + full lookahead + no save 77μs  -- with HLT + no standardise + partial lookahead + no save 68μs  -- with HLT + standardise + partial lookahead + no save 71μs  -- with HLT + no standardise + full lookahead + save 97μs  -- with HLT + standardise + full lookahead + save 94μs  -- with HLT + no standardise + partial lookahead + save 88μs  -- with HLT + standardise + partial lookahead + save 90μs  -- with Felsch + no standardisation 84μs  -- with Felsch + standardisation 80μs  -- with random strategy 88μs  -- with Rc style + full lookahead 74μs  -- with Rc style + partial lookahead 71μs  -- with R/C style 72μs  -- with CR style 84μs  -- with Cr style 82μs ToddCoxeter 016: finite fp-semigroup, size 16 . . .  -- with HLT + no standardise + full lookahead + no save 86μs  -- with HLT + standardise + full lookahead + no save 80μs  -- with HLT + no standardise + partial lookahead + no save 73μs  -- with HLT + standardise + partial lookahead + no save 75μs  -- with HLT + no standardise + full lookahead + save 176μs  -- with HLT + standardise + full lookahead + save 162μs  -- with HLT + no standardise + partial lookahead + save 152μs  -- with HLT + standardise + partial lookahead + save 154μs  -- with Felsch + no standardisation 141μs  -- with Felsch + standardisation 135μs  -- with random strategy 145μs  -- with Rc style + full lookahead 82μs  -- with Rc style + partial lookahead 78μs  -- with R/C style 87μs  -- with CR style 139μs  -- with Cr style 138μs ToddCoxeter 017: finite fp-semigroup, size 16 . . .  -- with HLT + no standardise + full lookahead + no save 203μs  -- with HLT + standardise + full lookahead + no save 177μs  -- with HLT + no standardise + partial lookahead + no save 165μs  -- with HLT + standardise + partial lookahead + no save 172μs  -- with HLT + no standardise + full lookahead + save 370μs  -- with HLT + standardise + full lookahead + save 369μs  -- with HLT + no standardise + partial lookahead + save 356μs  -- with HLT + standardise + partial lookahead + save 364μs  -- with Felsch + no standardisation 343μs  -- with Felsch + standardisation 323μs  -- with random strategy 367μs  -- with Rc style + full lookahead 198μs  -- with Rc style + partial lookahead 193μs  -- with R/C style 205μs  -- with CR style 331μs  -- with Cr style 331μs ToddCoxeter 018: test lookahead . . .  -- with HLT + no standardise + full lookahead + no save 477μs  -- with HLT + standardise + full lookahead + no save 477μs  -- with HLT + no standardise + partial lookahead + no save 426μs  -- with HLT + standardise + partial lookahead + no save 452μs  -- with HLT + no standardise + full lookahead + save 699μs  -- with HLT + standardise + full lookahead + save 700μs  -- with HLT + no standardise + partial lookahead + save 682μs  -- with HLT + standardise + partial lookahead + save 692μs ToddCoxeter 019: non-trivial left cong. from semigroup . . .  -- with HLT + no standardise + full lookahead + no save 174μs  -- with HLT + standardise + full lookahead + no save 165μs  -- with HLT + no standardise + partial lookahead + no save 150μs  -- with HLT + standardise + partial lookahead + no save 157μs  -- with HLT + save (throws) 171μs  -- with Felsch (throws) 164μs  -- with random strategy 191μs ToddCoxeter 020: 2-sided cong. on free semigroup . . .  -- with HLT + no standardise + full lookahead + no save 26μs  -- with HLT + standardise + full lookahead + no save 19μs  -- with HLT + no standardise + partial lookahead + no save 18μs  -- with HLT + standardise + partial lookahead + no save 17μs  -- with HLT + no standardise + full lookahead + save 17μs  -- with HLT + standardise + full lookahead + save 17μs  -- with HLT + no standardise + partial lookahead + save 17μs  -- with HLT + standardise + partial lookahead + save 17μs  -- with Felsch + no standardisation 17μs  -- with Felsch + standardisation 19μs  -- with random strategy 18μs ToddCoxeter 021: calling run when obviously infinite . . .  -- with HLT + no standardise + full lookahead + no save 60μs  -- with HLT + standardise + full lookahead + no save 42μs  -- with HLT + no standardise + partial lookahead + no save 40μs  -- with HLT + standardise + partial lookahead + no save 41μs  -- with HLT + no standardise + full lookahead + save 41μs  -- with HLT + standardise + full lookahead + save 41μs  -- with HLT + no standardise + partial lookahead + save 42μs  -- with HLT + standardise + partial lookahead + save 40μs  -- with Felsch + no standardisation 40μs  -- with Felsch + standardisation 40μs  -- with random strategy 39μs ToddCoxeter 022: stellar_monoid S3 . . .  -- with HLT + no standardise + full lookahead + no save 157μs  -- with HLT + standardise + full lookahead + no save 131μs  -- with HLT + no standardise + partial lookahead + no save 120μs  -- with HLT + standardise + partial lookahead + no save 125μs  -- with HLT + no standardise + full lookahead + save 248μs  -- with HLT + standardise + full lookahead + save 243μs  -- with HLT + no standardise + partial lookahead + save 230μs  -- with HLT + standardise + partial lookahead + save 239μs  -- with Felsch + no standardisation 215μs  -- with Felsch + standardisation 204μs  -- with random strategy 216μs  -- with Rc style + full lookahead 133μs  -- with Rc style + partial lookahead 128μs  -- with R/C style 139μs  -- with CR style 211μs  -- with Cr style 232μs ToddCoxeter 023: finite semigroup (size 5) . . .  -- with HLT + no standardise + full lookahead + no save 43μs  -- with HLT + standardise + full lookahead + no save 34μs  -- with HLT + no standardise + partial lookahead + no save 32μs  -- with HLT + standardise + partial lookahead + no save 34μs  -- with HLT + no standardise + full lookahead + save 41μs  -- with HLT + standardise + full lookahead + save 38μs  -- with HLT + no standardise + partial lookahead + save 37μs  -- with HLT + standardise + partial lookahead + save 37μs  -- with Felsch + no standardisation 37μs  -- with Felsch + standardisation 38μs  -- with random strategy 37μs  -- with Rc style + full lookahead 36μs  -- with Rc style + partial lookahead 34μs  -- with R/C style 35μs  -- with CR style 39μs  -- with Cr style 39μs ToddCoxeter 024: exceptions . . .  -- with HLT + no standardise + full lookahead + no save 210μs  -- with HLT + standardise + full lookahead + no save 175μs  -- with HLT + no standardise + partial lookahead + no save 172μs  -- with HLT + standardise + partial lookahead + no save 172μs  -- with HLT + no standardise + full lookahead + save 178μs  -- with HLT + standardise + full lookahead + save 179μs  -- with HLT + no standardise + partial lookahead + save 177μs  -- with HLT + standardise + partial lookahead + save 178μs  -- with Felsch + no standardisation 176μs  -- with Felsch + standardisation 178μs  -- with random strategy 177μs  -- with Rc style + full lookahead 177μs  -- with Rc style + partial lookahead 176μs  -- with R/C style 177μs  -- with CR style 181μs  -- with Cr style 180μs ToddCoxeter 025: obviously infinite . . .  -- with HLT + no standardise + full lookahead + no save 50μs  -- with HLT + standardise + full lookahead + no save 43μs  -- with HLT + no standardise + partial lookahead + no save 43μs  -- with HLT + standardise + partial lookahead + no save 44μs  -- with HLT + no standardise + full lookahead + save 46μs  -- with HLT + standardise + full lookahead + save 43μs  -- with HLT + no standardise + partial lookahead + save 44μs  -- with HLT + standardise + partial lookahead + save 44μs  -- with Felsch + no standardisation 43μs  -- with Felsch + standardisation 43μs  -- with random strategy 43μs ToddCoxeter 026: exceptions . . .  -- with HLT + no standardise + full lookahead + no save 134μs  -- with HLT + standardise + full lookahead + no save 107μs  -- with HLT + no standardise + partial lookahead + no save 103μs  -- with HLT + standardise + partial lookahead + no save 102μs  -- with HLT + no standardise + full lookahead + save 112μs  -- with HLT + standardise + full lookahead + save 108μs  -- with HLT + no standardise + partial lookahead + save 107μs  -- with HLT + standardise + partial lookahead + save 107μs  -- with Felsch + no standardisation 106μs  -- with Felsch + standardisation 107μs  -- with random strategy 112μs  -- with Rc style + full lookahead 105μs  -- with Rc style + partial lookahead 104μs  -- with R/C style 104μs  -- with CR style 108μs  -- with Cr style 109μs ToddCoxeter 027: empty . . . 44μs ToddCoxeter 028: congruence of fpsemigroup::ToddCoxeter . . .  -- with HLT + no standardise + full lookahead + no save 205μs  -- with HLT + standardise + full lookahead + no save 143μs  -- with HLT + no standardise + partial lookahead + no save 141μs  -- with HLT + standardise + partial lookahead + no save 140μs  -- with HLT + save (throws) 151μs  -- with Felsch (throws) 151μs  -- with random strategy 153μs  -- with HLT + no standardise + full lookahead + save 145μs  -- with HLT + standardise + full lookahead + save 145μs  -- with HLT + no standardise + partial lookahead + save 144μs  -- with HLT + standardise + partial lookahead + save 172μs  -- with Felsch + no standardisation 148μs  -- with Felsch + standardisation 145μs  -- with Rc style + full lookahead 145μs  -- with Rc style + partial lookahead 142μs  -- with R/C style 142μs  -- with CR style 146μs  -- with Cr style 145μs ToddCoxeter 029: !KnuthBendix.started() . . .  -- with HLT + no standardise + full lookahead + no save and 2-sided 125μs  -- with HLT + standardise + full lookahead + no save and 2-sided 62μs  -- with HLT + no standardise + partial lookahead + no save and 2-sided 58μs  -- with HLT + standardise + partial lookahead + no save and 2-sided 58μs  -- with HLT + no standardise + full lookahead + save and 2-sided 64μs  -- with HLT + standardise + full lookahead + save and 2-sided 64μs  -- with HLT + no standardise + partial lookahead + save and 2-sided 62μs  -- with HLT + standardise + partial lookahead + save and 2-sided 62μs  -- with Felsch + no standardisation and 2-sided 62μs  -- with Felsch + standardisation and 2-sided 60μs  -- with random strategy and 2-sided 64μs  -- with HLT + no standardise + full lookahead + no save and left 62μs  -- with HLT + standardise + full lookahead + no save and left 59μs  -- with HLT + no standardise + partial lookahead + no save and left 58μs  -- with HLT + standardise + partial lookahead + no save and left 57μs  -- with HLT + no standardise + full lookahead + save and left 68μs  -- with HLT + standardise + full lookahead + save and left 67μs  -- with HLT + no standardise + partial lookahead + save and left 67μs  -- with HLT + standardise + partial lookahead + save and left 67μs  -- with Felsch + no standardisation and left 67μs  -- with Felsch + standardisation and left 64μs  -- with random strategy and left 62μs  -- with HLT + no standardise + full lookahead + no save and right 61μs  -- with HLT + standardise + full lookahead + no save and right 57μs  -- with HLT + no standardise + partial lookahead + no save and right 58μs  -- with HLT + standardise + partial lookahead + no save and right 56μs  -- with HLT + no standardise + full lookahead + save and right 66μs  -- with HLT + standardise + full lookahead + save and right 66μs  -- with HLT + no standardise + partial lookahead + save and right 64μs  -- with HLT + standardise + partial lookahead + save and right 64μs  -- with Felsch + no standardisation and right 64μs  -- with Felsch + standardisation and right 64μs  -- with random strategy and right 71μs ToddCoxeter 030: KnuthBendix.finished() . . .  -- with HLT + no standardise + full lookahead + no save and 2-sided 232μs  -- with HLT + standardise + full lookahead + no save and 2-sided 152μs  -- with HLT + no standardise + partial lookahead + no save and 2-sided 144μs  -- with HLT + standardise + partial lookahead + no save and 2-sided 136μs  -- with HLT + no standardise + full lookahead + save and 2-sided 143μs  -- with HLT + standardise + full lookahead + save and 2-sided 141μs  -- with HLT + no standardise + partial lookahead + save and 2-sided 139μs  -- with HLT + standardise + partial lookahead + save and 2-sided 140μs  -- with Felsch + no standardisation and 2-sided 135μs  -- with Felsch + standardisation and 2-sided 296μs  -- with random strategy and 2-sided 158μs  -- with HLT + no standardise + full lookahead + no save and left 156μs  -- with HLT + standardise + full lookahead + no save and left 143μs  -- with HLT + no standardise + partial lookahead + no save and left 143μs  -- with HLT + standardise + partial lookahead + no save and left 141μs  -- with HLT + no standardise + full lookahead + save and left 155μs  -- with HLT + standardise + full lookahead + save and left 151μs  -- with HLT + no standardise + partial lookahead + save and left 151μs  -- with HLT + standardise + partial lookahead + save and left 150μs  -- with Felsch + no standardisation and left 148μs  -- with Felsch + standardisation and left 147μs  -- with random strategy and left 155μs  -- with HLT + no standardise + full lookahead + no save and right 147μs  -- with HLT + standardise + full lookahead + no save and right 140μs  -- with HLT + no standardise + partial lookahead + no save and right 140μs  -- with HLT + standardise + partial lookahead + no save and right 144μs  -- with HLT + no standardise + full lookahead + save and right 180μs  -- with HLT + standardise + full lookahead + save and right 157μs  -- with HLT + no standardise + partial lookahead + save and right 151μs  -- with HLT + standardise + partial lookahead + save and right 150μs  -- with Felsch + no standardisation and right 147μs  -- with Felsch + standardisation and right 147μs  -- with random strategy and right 158μs ToddCoxeter 031: KnuthBendix.finished() . . .  -- with HLT + no standardise + full lookahead + no save and 2-sided 125μs  -- with HLT + standardise + full lookahead + no save and 2-sided 97μs  -- with HLT + no standardise + partial lookahead + no save and 2-sided 95μs  -- with HLT + standardise + partial lookahead + no save and 2-sided 98μs  -- with HLT + no standardise + full lookahead + save and 2-sided 103μs  -- with HLT + standardise + full lookahead + save and 2-sided 101μs  -- with HLT + no standardise + partial lookahead + save and 2-sided 100μs  -- with HLT + standardise + partial lookahead + save and 2-sided 99μs  -- with Felsch + no standardisation and 2-sided 95μs  -- with Felsch + standardisation and 2-sided 93μs  -- with random strategy and 2-sided 101μs  -- with Rc style + full lookahead and 2-sided 102μs  -- with Rc style + partial lookahead and 2-sided 101μs  -- with R/C style and 2-sided 97μs  -- with CR style and 2-sided 100μs  -- with Cr style and 2-sided 104μs  -- with HLT + no standardise + full lookahead + no save and left 113μs  -- with HLT + standardise + full lookahead + no save and left 102μs  -- with HLT + no standardise + partial lookahead + no save and left 101μs  -- with HLT + standardise + partial lookahead + no save and left 101μs  -- with HLT + no standardise + full lookahead + save and left 111μs  -- with HLT + standardise + full lookahead + save and left 108μs  -- with HLT + no standardise + partial lookahead + save and left 109μs  -- with HLT + standardise + partial lookahead + save and left 108μs  -- with Felsch + no standardisation and left 107μs  -- with Felsch + standardisation and left 106μs  -- with random strategy and left 133μs  -- with Rc style + full lookahead and left 113μs  -- with Rc style + partial lookahead and left 108μs  -- with R/C style and left 102μs  -- with CR style and left 111μs  -- with Cr style and left 116μs  -- with HLT + no standardise + full lookahead + no save and right 108μs  -- with HLT + standardise + full lookahead + no save and right 103μs  -- with HLT + no standardise + partial lookahead + no save and right 103μs  -- with HLT + standardise + partial lookahead + no save and right 103μs  -- with HLT + no standardise + full lookahead + save and right 114μs  -- with HLT + standardise + full lookahead + save and right 120μs  -- with HLT + no standardise + partial lookahead + save and right 112μs  -- with HLT + standardise + partial lookahead + save and right 114μs  -- with Felsch + no standardisation and right 107μs  -- with Felsch + standardisation and right 105μs  -- with random strategy and right 120μs  -- with Rc style + full lookahead and right 110μs  -- with Rc style + partial lookahead and right 108μs  -- with R/C style and right 103μs  -- with CR style and right 112μs  -- with Cr style and right 116μs ToddCoxeter 032: prefill . . . 207μs ToddCoxeter 033: congruence of ToddCoxeter . . .  -- with HLT + no standardise + full lookahead + no save 53μs  -- with HLT + standardise + full lookahead + no save 44μs  -- with HLT + no standardise + partial lookahead + no save 41μs  -- with HLT + standardise + partial lookahead + no save 41μs  -- with HLT + no standardise + full lookahead + save 47μs  -- with HLT + standardise + full lookahead + save 45μs  -- with HLT + no standardise + partial lookahead + save 45μs  -- with HLT + standardise + partial lookahead + save 44μs  -- with random strategy 46μs ToddCoxeter 034: congruence of ToddCoxeter . . .  -- with HLT + no standardise + full lookahead + no save 139μs  -- with HLT + standardise + full lookahead + no save 124μs  -- with HLT + no standardise + partial lookahead + no save 121μs  -- with HLT + standardise + partial lookahead + no save 118μs  -- with HLT + save (throws) 136μs  -- with Felsch (throws) 144μs  -- with random strategy 136μs ToddCoxeter 035: congruence on FpSemigroup . . .  -- with HLT + no standardise + full lookahead + no save 412μs  -- with HLT + standardise + full lookahead + no save 322μs  -- with HLT + no standardise + partial lookahead + no save 311μs  -- with HLT + standardise + partial lookahead + no save 307μs  -- with HLT + no standardise + full lookahead + save 360μs  -- with HLT + standardise + full lookahead + save 346μs  -- with HLT + no standardise + partial lookahead + save 340μs  -- with HLT + standardise + partial lookahead + save 340μs  -- with Felsch + no standardisation 338μs  -- with Felsch + standardisation 336μs  -- with random strategy 369μs  -- with Rc style + full lookahead 318μs  -- with Rc style + partial lookahead 309μs  -- with R/C style 293μs  -- with CR style 301μs  -- with Cr style 309μs ToddCoxeter 036: exceptions . . . 121μs ToddCoxeter 037: copy constructor . . . 41μs ToddCoxeter 038: simplify . . . 167μs ToddCoxeter 039: stylic_monoid . . . 953ms ToddCoxeter 041: some finite classes . . . 656μs ToddCoxeter 043: symmetric_group(7, Coxeter + Moser) . . . 181ms ToddCoxeter 044: Option exceptions . . . 94μs ToddCoxeter 045: Options operator<< . . . 752μs ToddCoxeter 046: Easdown-East-FitzGerald DualSymInv(5) . . .  -- with HLT + no standardise + full lookahead + no save 208ms  -- with HLT + standardise + full lookahead + no save 231ms  -- with HLT + no standardise + partial lookahead + no save 208ms  -- with HLT + standardise + partial lookahead + no save 231ms  -- with HLT + no standardise + full lookahead + save 175ms  -- with HLT + standardise + full lookahead + save 174ms  -- with HLT + no standardise + partial lookahead + save 175ms  -- with HLT + standardise + partial lookahead + save 174ms  -- with Felsch + no standardisation 192ms  -- with Felsch + standardisation 193ms  -- with random strategy 235ms  -- with R/C style 221ms  -- with Rc style + full lookahead 201ms  -- with Rc style + partial lookahead 202ms ToddCoxeter 047: uniform_block_bijection_monoid(3) (FitzGerald) . . .  -- with HLT + no standardise + full lookahead + no save 117μs  -- with HLT + standardise + full lookahead + no save 98μs  -- with HLT + no standardise + partial lookahead + no save 86μs  -- with HLT + standardise + partial lookahead + no save 90μs  -- with HLT + no standardise + full lookahead + save 210μs  -- with HLT + standardise + full lookahead + save 200μs  -- with HLT + no standardise + partial lookahead + save 193μs  -- with HLT + standardise + partial lookahead + save 195μs  -- with Felsch + no standardisation 153μs  -- with Felsch + standardisation 149μs  -- with random strategy 159μs  -- with R/C style 102μs  -- with Rc style + full lookahead 93μs  -- with Rc style + partial lookahead 91μs ToddCoxeter 048: stellar_monoid(7) (Gay-Hivert) . . . 190ms ToddCoxeter 049: partition_monoid(4) (East) . . .  -- with HLT + no standardise + full lookahead + no save 35ms  -- with HLT + standardise + full lookahead + no save 36ms  -- with HLT + no standardise + partial lookahead + no save 35ms  -- with HLT + standardise + partial lookahead + no save 36ms  -- with HLT + no standardise + full lookahead + save 68ms  -- with HLT + standardise + full lookahead + save 70ms  -- with HLT + no standardise + partial lookahead + save 68ms  -- with HLT + standardise + partial lookahead + save 70ms  -- with Felsch + no standardisation 81ms  -- with Felsch + standardisation 81ms  -- with random strategy 40ms  -- with R/C style 41ms  -- with Rc style + full lookahead 88ms  -- with Rc style + partial lookahead 88ms ToddCoxeter 050: singular_brauer_monoid(6) (Maltcev + Mazorchuk) . . . 725ms ToddCoxeter 051: orientation_preserving_monoid(6) (Ruskuc + [...] . . .  -- with HLT + no standardise + full lookahead + no save 28ms ToddCoxeter 052: orientation_reversing_monoid(5) (Ruskuc + [...] . . .  -- with HLT + no standardise + full lookahead + no save 7051μs ToddCoxeter 053: temperley_lieb_monoid(10) (East) . . . 40ms ToddCoxeter 063: add_rule . . .  -- with HLT + no standardise + full lookahead + no save 131μs  -- with HLT + standardise + full lookahead + no save 78μs  -- with HLT + no standardise + partial lookahead + no save 75μs  -- with HLT + standardise + partial lookahead + no save 74μs  -- with HLT + no standardise + full lookahead + save 83μs  -- with HLT + standardise + full lookahead + save 82μs  -- with HLT + no standardise + partial lookahead + save 81μs  -- with HLT + standardise + partial lookahead + save 80μs  -- with Felsch + no standardisation 80μs  -- with Felsch + standardisation 78μs  -- with random strategy 96μs  -- with Rc style + full lookahead 77μs  -- with Rc style + partial lookahead 75μs  -- with R/C style 76μs  -- with CR style 81μs  -- with Cr style 79μs  -- with R/C + Felsch lookahead 86μs  -- with HLT + Felsch lookahead + save 81μs  -- with Cr + small number of f_defs 85μs  -- with Rc + small number of deductions 76μs  -- with Felsch + v2 + no preferred defs 78μs  -- with Felsch + v2 + immediate no stack 82μs  -- with Felsch + v1 + immediate no stack 81μs  -- with Felsch + v1 + immediate yes stack 81μs  -- with large collapse 76μs ToddCoxeter 064: (from kbmag/standalone/kb_data/s4) (KnuthB [...] . . .  -- with HLT + no standardise + full lookahead + no save 430μs ToddCoxeter 066: test validate . . . 100μs ToddCoxeter 067: add_rules after construct. from semigroup . . .  -- with HLT + no standardise + full lookahead + no save 431μs  -- with HLT + standardise + full lookahead + no save 361μs  -- with HLT + no standardise + partial lookahead + no save 340μs  -- with HLT + standardise + partial lookahead + no save 358μs  -- with HLT + save (throws) 371μs  -- with Felsch (throws) 366μs  -- with random strategy 371μs ToddCoxeter 068: Sym(5) from Chapter 3, Proposition 1.1 in NR . . .  -- with Deduction policy == purge_from_top 904μs  -- with Deduction policy == purge_all 825μs  -- with Deduction policy == discard_all_if_no_space 835μs  -- with HLT + no standardise + full lookahead + no save 855μs  -- with HLT + standardise + full lookahead + no save 1127μs  -- with HLT + no standardise + partial lookahead + no save 838μs  -- with HLT + standardise + partial lookahead + no save 1126μs  -- with HLT + no standardise + full lookahead + save 1368μs  -- with HLT + standardise + full lookahead + save 1369μs  -- with HLT + no standardise + partial lookahead + save 1349μs  -- with HLT + standardise + partial lookahead + save 1363μs  -- with Felsch + no standardisation 897μs  -- with Felsch + standardisation 885μs  -- with random strategy 1410μs  -- with Rc style + full lookahead 1830μs  -- with Rc style + partial lookahead 1828μs  -- with R/C style 921μs  -- with CR style 943μs  -- with Cr style 929μs ToddCoxeter 069: Chapter 7, Theorem 3.6 in NR (size 243) . . .  -- with HLT + no standardise + full lookahead + no save 475μs  -- with HLT + standardise + full lookahead + no save 545μs  -- with HLT + no standardise + partial lookahead + no save 450μs  -- with HLT + standardise + partial lookahead + no save 510μs  -- with HLT + no standardise + full lookahead + save 632μs  -- with HLT + standardise + full lookahead + save 664μs  -- with HLT + no standardise + partial lookahead + save 620μs  -- with HLT + standardise + partial lookahead + save 660μs  -- with Felsch + no standardisation 3197μs  -- with Felsch + standardisation 3225μs  -- with random strategy 3082μs  -- with Rc style + full lookahead 457μs  -- with Rc style + partial lookahead 442μs  -- with R/C style 468μs  -- with CR style 3028μs  -- with Cr style 3017μs ToddCoxeter 070: finite semigroup (size 99) . . .  -- with HLT + no standardise + full lookahead + no save 205μs  -- with HLT + standardise + full lookahead + no save 206μs  -- with HLT + no standardise + partial lookahead + no save 185μs  -- with HLT + standardise + partial lookahead + no save 199μs  -- with HLT + no standardise + full lookahead + save 261μs  -- with HLT + standardise + full lookahead + save 274μs  -- with HLT + no standardise + partial lookahead + save 253μs  -- with HLT + standardise + partial lookahead + save 273μs  -- with Felsch + no standardisation 559μs  -- with Felsch + standardisation 576μs  -- with random strategy 268μs  -- with Rc style + full lookahead 183μs  -- with Rc style + partial lookahead 183μs  -- with R/C style 191μs  -- with CR style 539μs  -- with Cr style 534μs ToddCoxeter 080: KnuthBendix 098 . . .  -- with HLT + no standardise + full lookahead + no save 653ms  -- with HLT + standardise + full lookahead + no save 725ms  -- with HLT + no standardise + partial lookahead + no save 653ms  -- with HLT + standardise + partial lookahead + no save 725ms  -- with HLT + no standardise + full lookahead + save 461ms  -- with HLT + standardise + full lookahead + save 460ms  -- with HLT + no standardise + partial lookahead + save 459ms  -- with HLT + standardise + partial lookahead + save 462ms  -- with Felsch + no standardisation 426ms  -- with Felsch + standardisation 430ms  -- with random strategy 679ms  -- with Rc style + full lookahead 421ms  -- with Rc style + partial lookahead 421ms  -- with R/C style 647ms  -- with CR style 427ms  -- with Cr style 430ms ToddCoxeter 084: Campbell-Reza 1 . . .  -- with HLT + no standardise + full lookahead + no save 222μs  -- with HLT + standardise + full lookahead + no save 120μs  -- with HLT + no standardise + partial lookahead + no save 108μs  -- with HLT + standardise + partial lookahead + no save 108μs  -- with HLT + no standardise + full lookahead + save 136μs  -- with HLT + standardise + full lookahead + save 120μs  -- with HLT + no standardise + partial lookahead + save 118μs  -- with HLT + standardise + partial lookahead + save 119μs  -- with Felsch + no standardisation 128μs  -- with Felsch + standardisation 121μs  -- with random strategy 115μs  -- with Rc style + full lookahead 107μs  -- with Rc style + partial lookahead 103μs  -- with R/C style 106μs  -- with CR style 123μs  -- with Cr style 123μs ToddCoxeter 085: Renner monoid type D4 (Gay-Hivert), q = 1 . . .  -- with HLT + no standardise + full lookahead + no save 233ms  -- with HLT + standardise + full lookahead + no save 167ms  -- with HLT + no standardise + partial lookahead + no save 166ms  -- with HLT + standardise + partial lookahead + no save 166ms  -- with HLT + no standardise + full lookahead + save 166ms  -- with HLT + standardise + full lookahead + save 166ms  -- with HLT + no standardise + partial lookahead + save 166ms  -- with HLT + standardise + partial lookahead + save 166ms  -- with Felsch + no standardisation 166ms  -- with Felsch + standardisation 166ms  -- with random strategy 166ms  -- with Rc style + full lookahead 166ms  -- with Rc style + partial lookahead 166ms  -- with R/C style 166ms  -- with CR style 166ms  -- with Cr style 166ms ToddCoxeter 086: trivial semigroup . . . 327ms ToddCoxeter 092: ACE --- perf602p5 - HLT . . .  -- with HLT + no standardise + full lookahead + no save 40ms  -- with HLT + standardise + full lookahead + no save 40ms  -- with HLT + no standardise + partial lookahead + no save 40ms  -- with HLT + standardise + partial lookahead + no save 40ms  -- with HLT + no standardise + full lookahead + save 19ms  -- with HLT + standardise + full lookahead + save 19ms  -- with HLT + no standardise + partial lookahead + save 19ms  -- with HLT + standardise + partial lookahead + save 19ms  -- with random strategy 19ms  -- with Felsch + no standardisation 15ms  -- with Felsch + standardisation 15ms ToddCoxeter 094: ACE --- C5 - HLT . . .  -- with HLT + no standardise + full lookahead + no save 108μs  -- with HLT + standardise + full lookahead + no save 84μs  -- with HLT + no standardise + partial lookahead + no save 85μs  -- with HLT + standardise + partial lookahead + no save 78μs  -- with HLT + no standardise + full lookahead + save 106μs  -- with HLT + standardise + full lookahead + save 104μs  -- with HLT + no standardise + partial lookahead + save 102μs  -- with HLT + standardise + partial lookahead + save 100μs  -- with random strategy 90μs  -- with Felsch + no standardisation 101μs  -- with Felsch + standardisation 111μs ToddCoxeter 095: ACE --- A5-C5 . . .  -- with HLT + no standardise + full lookahead + no save 110μs  -- with HLT + standardise + full lookahead + no save 110μs  -- with HLT + no standardise + partial lookahead + no save 101μs  -- with HLT + standardise + partial lookahead + no save 105μs  -- with HLT + no standardise + full lookahead + save 159μs  -- with HLT + standardise + full lookahead + save 154μs  -- with HLT + no standardise + partial lookahead + save 150μs  -- with HLT + standardise + partial lookahead + save 151μs  -- with random strategy 162μs  -- with Felsch + no standardisation 132μs  -- with Felsch + standardisation 129μs ToddCoxeter 096: ACE --- A5 . . .  -- with HLT + no standardise + full lookahead + no save 266μs  -- with HLT + standardise + full lookahead + no save 248μs  -- with HLT + no standardise + partial lookahead + no save 179μs  -- with HLT + standardise + partial lookahead + no save 240μs  -- with HLT + no standardise + full lookahead + save 395μs  -- with HLT + standardise + full lookahead + save 404μs  -- with HLT + no standardise + partial lookahead + save 387μs  -- with HLT + standardise + partial lookahead + save 415μs  -- with random strategy 414μs  -- with Felsch + no standardisation 289μs  -- with Felsch + standardisation 285μs ToddCoxeter 098: relation ordering . . .  -- with Felsch + no standardisation 732μs  -- with Felsch + standardisation 680μs  -- with HLT + no standardise + full lookahead + no save 318μs  -- with HLT + standardise + full lookahead + no save 309μs  -- with HLT + no standardise + partial lookahead + no save 307μs  -- with HLT + standardise + partial lookahead + no save 323μs  -- with HLT + no standardise + full lookahead + save 715μs  -- with HLT + standardise + full lookahead + save 711μs  -- with HLT + no standardise + partial lookahead + save 707μs  -- with HLT + standardise + partial lookahead + save 693μs  -- with random strategy 321μs ToddCoxeter 099: short circuit size in obviously infinite . . . 15μs ToddCoxeter 101: http://brauer.maths.qmul.ac.uk/Atlas/spor/M [...] . . . 845ms ToddCoxeter 108: http://brauer.maths.qmul.ac.uk/Atlas/lin/L3 [...] . . . 611ms ToddCoxeter 110: to_gap_string . . . 261μs ToddCoxeter 111: partition_monoid(2) . . . 128μs ToddCoxeter 112: brauer_monoid(4) (Kudryavtseva + Mazorchuk) . . . 387μs ToddCoxeter 113: symmetric_inverse_monoid . . . 19ms ToddCoxeter 116: symmetric_group(7, Burnside + Miller) . . . 513ms UF 001: constructor by size . . . 21μs UF 002: copy constructor . . . 25μs UF 003: find . . . 14μs Ukkonen 000: basic tests . . . 96ms Ukkonen 001: maximal_piece_prefix 1 . . . 36μs Ukkonen 002: maximal_piece_prefix 2 . . . 48μs Ukkonen 003: maximal_piece_prefix 3 . . . 344μs Ukkonen 004: number_of_pieces . . . 105μs Ukkonen 005: traverse . . . 22μs Ukkonen 006: dot . . . 265μs Ukkonen 007: strings . . . 71μs Ukkonen 008: dfs #01 . . . 50μs Ukkonen 009: dfs #02 . . . 36μs Ukkonen 010: dfs #03 . . . 31μs Ukkonen 011: dfs #04 . . . 81μs Ukkonen 012: dfs #05 . . . 60μs Ukkonen 013: dfs #06 . . . 55μs Ukkonen 014: dfs #07 . . . 131μs Ukkonen 015: dfs #08 . . . 77μs Ukkonen 016: dfs #09 . . . 111μs Ukkonen 017: dfs #10 . . . 32μs Ukkonen 018: pieces . . . 45μs Ukkonen 019: code coverage . . . 55μs Ukkonen 020: code coverage . . . 8000ns action_digraph_helper 015: detail::to_string . . . 31μs action_digraph_helper 016: make . . . 56μs action_digraph_helper 017: is_connected . . . 168μs action_digraph_helper 018: is_strictly_cyclic . . . 9409μs follow_path 012: 20 node path . . . 22μs fpsemi-examples 002: full_transformation_monoid author except . . . 50μs fpsemi-examples 003: full_transformation_monoid degree except . . . 28μs fpsemi-examples 005: partial_transformation_monoid author except . . . 39μs fpsemi-examples 006: partial_transformation_monoid degree except . . . 30μs fpsemi-examples 007: symmetric_inverse_monoid(5) . . . 19ms fpsemi-examples 008: symmetric_group auth except . . . 42μs fpsemi-examples 009: symmetric_group degree except . . . 28μs fpsemi-examples 010: symmetric_group(6) Burnside + Miller . . . 28ms fpsemi-examples 011: dual_symmetric_inverse_monoid(5) . . . 209ms fpsemi-examples 012: dual_symmetric_inverse_monoid auth except . . . 46μs fpsemi-examples 013: dual_symmetric_inverse_monoid degree except . . . 28μs fpsemi-examples 014: uniform_block_bijection_monoid(5) . . . 13ms fpsemi-examples 015: uniform_block_bijection_monoid auth except . . . 38μs fpsemi-examples 016: uniform_block_bijection_monoid degree except . . . 23μs fpsemi-examples 019: partition_monoid auth except . . . 126μs fpsemi-examples 020: partition_monoid degree except . . . 119μs fpsemi-examples 022: monogenic_semigroup(4, 9) . . . 44μs fpsemi-examples 023: fibonacci_semigroup(2, 5) . . . 77μs fpsemi-examples 024: temperley_lieb_monoid(10) . . . 47ms fpsemi-examples 025: singular_brauer_monoid(6) . . . 495ms fpsemi-examples 026: orientation_preserving_monoid(6) . . . 28ms fpsemi-examples 027: orientation_reversing_monoid(5) . . . 7052μs fpsemi-examples 028: chinese_monoid(3) . . . 269μs fpsemi-examples 029: plactic_monoid(3) . . . 138μs fpsemi-examples 030: stylic_monoid(3) . . . 1230μs fpsemi-examples 031: symmetric_group(6) Carmichael . . . 16ms fpsemi-examples 032: symmetric_group(6) Moore index 0 . . . 11ms fpsemi-examples 033: symmetric_group(6) Coxeter + Moser . . . 6480μs fpsemi-examples 034: test for the rook monoid . . . 301μs fpsemi-examples 035: alternating_group(7) Moore . . . 26ms fpsemi-examples 036: alternating_group auth except . . . 40μs fpsemi-examples 037: alternating_group degree except . . . 22μs fpsemi-examples 038: partial_transformation_monoid(3) Machine . . . 308μs fpsemi-examples 039: chinese_monoid degree except . . . 38μs fpsemi-examples 040: monogenic_semigroup degree except . . . 42μs fpsemi-examples 041: rectangular_band degree except . . . 68μs fpsemi-examples 042: stellar_monoid degree except . . . 35μs fpsemi-examples 043: plactic_monoid degree except . . . 50μs fpsemi-examples 044: stylic_monoid degree except . . . 33μs fpsemi-examples 045: temperley_lieb_monoid degree except . . . 48μs fpsemi-examples 046: singular_brauer_monoid degree except . . . 49μs fpsemi-examples 047: orientation_preserving_monoid degree except . . . 53μs fpsemi-examples 048: orientation_reversing_monoid degree except . . . 56μs fpsemi-examples 049: test default values . . . 3121μs fpsemi-examples 052: not_symmetric_group(5) Guralnick + Kant [...] . . . 5551μs fpsemi-examples 053: order_preserving_monoid(5) . . . 626μs fpsemi-examples 055: order_preserving_monoid degree except . . . 57μs fpsemi-examples 056: cyclic_inverse_monoid(4) Fernandes 1 . . . 220μs fpsemi-examples 057: cyclic_inverse_monoid(8) Fernandes index 1 . . . 21ms fpsemi-examples 058: cyclic_inverse_monoid Fernandes index 0 . . . 26ms fpsemi-examples 059: order_preserving_cyclic_inverse_monoid(4) . . . 148μs fpsemi-examples 060: order_preserving_cyclic_inverse_monoid(10) . . . 31ms fpsemi-examples 061: cyclic_inverse_monoid degree except . . . 112μs fpsemi-examples 062: cyclic_inverse_monoid author except . . . 43μs fpsemi-examples 063: order_preserving_monoid degree except . . . 47μs fpsemi-examples 064: symmetric_group index except . . . 48μs fpsemi-examples 065: symmetric_group(7) Moore index 1 . . . 6657μs fpsemi-examples 066: order_preserving_cyclic_inverse_monoid(10) . . . 31ms fpsemi-examples 067: partial_isometries_cycle_graph_monoid(5) . . . 723μs fpsemi-examples 068: partial_isometries_cycle_graph_monoid(10) . . . 318ms fpsemi-examples 069: partial_isometries_cycle_graph_monoid d [...] . . . 70μs fpsemi-examples 070: partial_isometries_cycle_graph_monoid(4) . . . 296μs freeband_equal_to 001: . . . 737μs is_acyclic 000: 2-cycle . . . 13μs is_acyclic 001: 1-cycle . . . 8000ns is_acyclic 002: multi-digraph . . . 14μs is_acyclic 003: complete digraph 100 . . . 104μs is_acyclic 004: acyclic digraph with 20000 nodes . . . 1877μs is_acyclic 006: for a node . . . 1015μs is_acyclic 007: for a node . . . 16μs is_reachable 008: acyclic 20 node digraph . . . 56μs is_reachable 009: 100 node path . . . 11ms is_reachable 010: 100 node cycle . . . 12ms is_reachable 011: 20 node clique . . . 519μs last_node_on_path_nc 014: 20 node path . . . 16μs make 000: from FroidurePin . . . 564μs make 001: from FroidurePin and alphabet . . . 677μs make 002: presentation from presentation . . . 292μs make 003: presentation from presentation and alphabet . . . 60μs make 004: argument checks issue . . . 149μs make 005: use human readable alphabet for make . . . 19μs make> 000: from ActionDigraph . . . 1702μs make> 001: from ActionDigraph (exceptions) . . . 61μs number_of_words 001: . . . 12μs operator"" _w 003: literal . . . 11μs silo 000: alphabet: a, min: 0, max: 10 . . . 64μs silo 001: corner cases . . . 27μs silo 002: alphabet: ab, min: 1, max: 4 . . . 57μs silo 003: alphabet: abc, min: 0, max: 13 . . . 101ms silo 004: code coverage . . . 43μs sislo 005: alphabet: a, min: 0, max: 10 . . . 52μs sislo 006: corner cases . . . 60μs sislo 007: alphabet: ab, min: 1, max: 4 . . . 80μs sislo 008: alphabet: abc, min: 0, max: 13 . . . 107ms sislo 009: code coverage . . . 39μs string 000: detail::is_suffix . . . 12μs string 001: detail::is_prefix . . . 10μs string 002: detail::maximum_common_suffix . . . 10μs string 003: detail::group_digits . . . 33μs string_to_word 002: . . . 11μs validate_label 013: 20 node path . . . 48μs wilo 001: corner cases . . . 43μs wilo 002: letters: 2, min: 1, max: 4 . . . 38μs wilo 003: letters: 2, min: 1, max: 4 . . . 53μs wilo 004: letters: 3, min: 0, max: 10 . . . 18ms wilo 005: letters: 3, min: 0, max: 13 . . . 330ms wilo 006: forward iterator requirements . . . 331ms wilo 007: more corner cases . . . 87μs wilo 008: starting at a given word 1 . . . 148μs wilo 009: starting at a given word 2 . . . 21μs wilo 010: code coverage . . . 20μs wislo 000: n: 2, min; 1, max: 4 . . . 36μs wislo 001: corner cases . . . 49μs wislo 002: n: 3, min; 0, max: 10 . . . 6103μs wislo 003: n: 3, min; 0, max: 13 . . . 208ms wislo 004: lex + sort . . . 736ms wislo 005: code coverage . . . 52μs =============================================================================== All tests passed (1290346 assertions in 1191 test cases) >>> libsemigroups: Entering fakeroot... make[1]: Entering directory '/home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.3' ./config/install-sh -c -d '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib' ./config/install-sh -c -d '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups/backward-cpp' libfakeroot internal error: payload not recognized! libfakeroot internal error: payload not recognized! /bin/sh ./libtool --mode=install /usr/bin/install -c libsemigroups.la '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib' libfakeroot internal error: payload not recognized! /usr/bin/install -c -m 644 extern/backward-cpp/backward.hpp '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups/backward-cpp' libfakeroot internal error: payload not recognized! libfakeroot internal error: payload not recognized! ./config/install-sh -c -d '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/pkgconfig' ./config/install-sh -c -d '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups' ./config/install-sh -c -d '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups/textflowcpp' /usr/bin/install -c -m 644 libsemigroups.pc '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/pkgconfig' 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/action.hpp include/libsemigroups/adapters.hpp include/libsemigroups/bipart.hpp include/libsemigroups/bitset.hpp include/libsemigroups/bmat8.hpp include/libsemigroups/bmat.hpp include/libsemigroups/bruidhinn-traits.hpp include/libsemigroups/config.hpp include/libsemigroups/cong-intf.hpp include/libsemigroups/cong-pair-impl.hpp include/libsemigroups/cong-pair.hpp include/libsemigroups/cong-wrap.hpp include/libsemigroups/cong.hpp include/libsemigroups/constants.hpp include/libsemigroups/containers.hpp include/libsemigroups/coset.hpp include/libsemigroups/debug.hpp include/libsemigroups/deprecated.hpp include/libsemigroups/digraph-helper.hpp include/libsemigroups/digraph-with-sources.hpp include/libsemigroups/digraph-with-sources.tpp include/libsemigroups/digraph.hpp include/libsemigroups/exception.hpp include/libsemigroups/fastest-bmat.hpp include/libsemigroups/felsch-tree.hpp include/libsemigroups/felsch-digraph.hpp include/libsemigroups/felsch-digraph.tpp include/libsemigroups/forest.hpp include/libsemigroups/fpsemi-examples.hpp include/libsemigroups/fpsemi-intf.hpp include/libsemigroups/fpsemi.hpp include/libsemigroups/freeband.hpp include/libsemigroups/froidure-pin-base.hpp include/libsemigroups/froidure-pin-impl.hpp include/libsemigroups/froidure-pin.hpp include/libsemigroups/function-ref.hpp include/libsemigroups/hpcombi.hpp include/libsemigroups/int-range.hpp include/libsemigroups/iterator.hpp include/libsemigroups/kambites.hpp '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups' libtool: install: (cd /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib && { ln -s -f libsemigroups.so.2.0.0 libsemigroups.so.2 || { rm -f libsemigroups.so.2 && ln -s libsemigroups.so.2.0.0 libsemigroups.so.2; }; }) libtool: install: (cd /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib && { ln -s -f libsemigroups.so.2.0.0 libsemigroups.so || { rm -f libsemigroups.so && ln -s libsemigroups.so.2.0.0 libsemigroups.so; }; }) /usr/bin/install -c -m 644 extern/textflowcpp/TextFlow.hpp '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups/textflowcpp' libtool: install: /usr/bin/install -c .libs/libsemigroups.lai /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/libsemigroups.la /usr/bin/install -c -m 644 include/libsemigroups/kbe.hpp include/libsemigroups/knuth-bendix.hpp include/libsemigroups/konieczny.hpp include/libsemigroups/libsemigroups.hpp include/libsemigroups/make-froidure-pin.hpp include/libsemigroups/make-present.hpp include/libsemigroups/matrix.hpp include/libsemigroups/node-manager.hpp include/libsemigroups/obvinf.hpp include/libsemigroups/order.hpp include/libsemigroups/pbr.hpp include/libsemigroups/pool.hpp include/libsemigroups/present.hpp include/libsemigroups/present.tpp include/libsemigroups/race.hpp include/libsemigroups/report.hpp include/libsemigroups/runner.hpp include/libsemigroups/schreier-sims.hpp include/libsemigroups/schreier-sims-helper.hpp include/libsemigroups/sims1.hpp include/libsemigroups/sims1.tpp include/libsemigroups/siso.hpp include/libsemigroups/stl.hpp include/libsemigroups/stephen.hpp include/libsemigroups/string-view.hpp include/libsemigroups/string.hpp include/libsemigroups/tce.hpp include/libsemigroups/timer.hpp include/libsemigroups/todd-coxeter-digraph.hpp include/libsemigroups/todd-coxeter-digraph.tpp include/libsemigroups/todd-coxeter.hpp include/libsemigroups/transf.hpp include/libsemigroups/types.hpp include/libsemigroups/uf.hpp include/libsemigroups/ukkonen.hpp include/libsemigroups/ukkonen.tpp include/libsemigroups/wilo.hpp include/libsemigroups/wislo.hpp include/libsemigroups/word.hpp '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups' libtool: install: /usr/bin/install -c .libs/libsemigroups.a /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/libsemigroups.a libtool: install: chmod 644 /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/libsemigroups.a libtool: install: ranlib /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/libsemigroups.a libtool: warning: remember to run 'libtool --finish /usr/lib' make[1]: Leaving directory '/home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.3' >>> libsemigroups-static*: Running split function static... './usr/lib/libsemigroups.a' -> '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups-static/./usr/lib/libsemigroups.a' >>> libsemigroups-static*: Preparing subpackage libsemigroups-static... >>> libsemigroups-static*: Stripping binaries >>> libsemigroups-static*: Running postcheck for libsemigroups-static >>> libsemigroups-dev*: Running split function dev... 'usr/include' -> '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups-dev/usr/include' 'usr/lib/pkgconfig' -> '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups-dev/usr/lib/pkgconfig' 'usr/lib/libsemigroups.so' -> '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups-dev/usr/lib/libsemigroups.so' >>> libsemigroups-dev*: Preparing subpackage libsemigroups-dev... >>> libsemigroups-dev*: Stripping binaries >>> libsemigroups-dev*: Running postcheck for libsemigroups-dev >>> libsemigroups*: Running postcheck for libsemigroups >>> libsemigroups*: Preparing package libsemigroups... >>> libsemigroups*: Stripping binaries >>> libsemigroups-dev*: Scanning shared objects >>> libsemigroups-static*: Scanning shared objects >>> libsemigroups*: Scanning shared objects >>> libsemigroups-dev*: Tracing dependencies... libsemigroups=2.7.3-r1 pc:eigen3 pc:fmt pkgconfig >>> libsemigroups-dev*: Package size: 1.9 MB >>> libsemigroups-dev*: Compressing data... >>> libsemigroups-dev*: Create checksum... >>> libsemigroups-dev*: Create libsemigroups-dev-2.7.3-r1.apk >>> libsemigroups-static*: Tracing dependencies... >>> libsemigroups-static*: Package size: 12.2 MB >>> libsemigroups-static*: Compressing data... >>> libsemigroups-static*: Create checksum... >>> libsemigroups-static*: Create libsemigroups-static-2.7.3-r1.apk >>> libsemigroups*: Tracing dependencies... so:libc.musl-loongarch64.so.1 so:libfmt.so.11 so:libgcc_s.so.1 so:libstdc++.so.6 >>> libsemigroups*: Package size: 1.7 MB >>> libsemigroups*: Compressing data... >>> libsemigroups*: Create checksum... >>> libsemigroups*: Create libsemigroups-2.7.3-r1.apk >>> libsemigroups: Build complete at Sat, 14 Dec 2024 20:42:32 +0000 elapsed time 0h 3m 51s >>> libsemigroups: Cleaning up srcdir >>> libsemigroups: Cleaning up pkgdir >>> libsemigroups: Uninstalling dependencies... (1/4) Purging .makedepends-libsemigroups (20241214.203843) (2/4) Purging eigen-dev (3.4.0-r10) (3/4) Purging fmt-dev (11.0.2-r0) (4/4) Purging fmt (11.0.2-r0) OK: 247 MiB in 102 packages >>> libsemigroups: Updating the testing/loongarch64 repository index... >>> libsemigroups: Signing the index...