>>> libsemigroups: Building testing/libsemigroups 2.7.3-r1 (using abuild 3.14.1-r3) started Sat, 14 Dec 2024 22:09: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.220945) OK: 351 MiB in 105 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 % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 curl: (22) The requested URL returned error: 404 >>> libsemigroups: Fetching https://github.com/libsemigroups/libsemigroups/releases/download/v2.7.3/libsemigroups-2.7.3.tar.gz % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 2484k 100 2484k 0 0 3098k 0 --:--:-- --:--:-- --:--:-- 3098k >>> 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/edge/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... riscv64-alpine-linux-musl checking host system type... riscv64-alpine-linux-musl checking target system type... riscv64-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 riscv64-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 riscv64-alpine-linux-musl-ar... no checking for riscv64-alpine-linux-musl-lib... no checking for riscv64-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/riscv64-alpine-linux-musl/bin/ld checking if the linker (/usr/riscv64-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 riscv64-alpine-linux-musl file names to riscv64-alpine-linux-musl format... func_convert_file_noop checking how to convert riscv64-alpine-linux-musl file names to toolchain format... func_convert_file_noop checking for /usr/riscv64-alpine-linux-musl/bin/ld option to reload object files... -r checking for riscv64-alpine-linux-musl-file... no checking for file... file checking for riscv64-alpine-linux-musl-objdump... no checking for objdump... objdump checking how to recognize dependent libraries... pass_all checking for riscv64-alpine-linux-musl-dlltool... no checking for dlltool... no checking how to associate runtime and link libraries... printf %s\n checking for riscv64-alpine-linux-musl-ar... ar checking for archiver @FILE support... @ checking for riscv64-alpine-linux-musl-strip... no checking for strip... strip checking for riscv64-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 riscv64-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/riscv64-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/riscv64-alpine-linux-musl/bin/ld checking if the linker (/usr/riscv64-alpine-linux-musl/bin/ld) is GNU ld... yes checking whether the g++ linker (/usr/riscv64-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/riscv64-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 riscv64-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 . . . 6555μs Action 002: row and column basis orbits for BMat8 . . . 4414μs Action 003: add generators after enumeration . . . 4577μs Action 004: multipliers for BMat8 row and column orbits . . . 9595μs Action 005: orbits for regular boolean mat monoid 5 . . . 807ms Action 007: partial perm image orbit . . . 887μs Action 008: partial perm image orbit . . . 192ms Action 009: partial perm image orbit . . . 225ms Action 010: partial perm image orbit . . . 241ms Action 011: permutation on integers . . . 54μs Action 012: permutation on sets, arrays . . . 2569μs Action 013: permutation on tuples, arrays . . . 50ms Action 014: permutation on sets, vectors . . . 596μs Action 015: permutation on tuples, vectors . . . 70ms Action 016: misc . . . 5861μs Action 017: partial perm image orbit . . . 134μs Action 018: permutation on tuples, arrays (360360) . . . 842ms Action 019: orbits for regular BMat8 monoid 5 with stop/start . . . 907ms Action 021: orbits for regular boolean mat monoid 5 (BMat<5> [...] . . . 1503ms ActionDigraph 000: constructor with 1 default arg . . . 2227μs ActionDigraph 001: constructor with 0 default args . . . 109μs ActionDigraph 002: add nodes . . . 129μs ActionDigraph 003: add edges . . . 5178μs ActionDigraph 004: strongly connected components - cycles . . . 2222μs ActionDigraph 005: strongly connected components - no edges . . . 118ms ActionDigraph 006: strongly connected components - disjoint cycles . . . 6530μs ActionDigraph 007: strongly connected components - complete graphs . . . 2505μs ActionDigraph 008: exceptions . . . 2439μs ActionDigraph 009: spanning forest - complete graphs . . . 17ms ActionDigraph 010: spanning forest - disjoint cycles . . . 2760μs ActionDigraph 011: restrict . . . 23μs ActionDigraph 012: remove_edge_nc . . . 18μs ActionDigraph 013: scc large cycle . . . 66ms ActionDigraph 014: random . . . 2233μs ActionDigraph 015: reserve . . . 22μs ActionDigraph 016: default constructors . . . 38μs ActionDigraph 017: scc iterators . . . 4509μs ActionDigraph 018: iterator to edges . . . 1743μs ActionDigraph 019: root of scc . . . 1253μs ActionDigraph 020: cbegin/end_panislo - 100 node path . . . 3852μs ActionDigraph 021: cbegin/end_pislo . . . 112μs ActionDigraph 022: cbegin/end_pani(s)lo - 100 node cycle . . . 6473μs ActionDigraph 023: cbegin/cend_pilo - tree 14 nodes . . . 187μs ActionDigraph 024: cbegin/end_pstilo - Cayley digraph . . . 754ms ActionDigraph 025: cbegin_pstilo - Tsalakou . . . 26ms ActionDigraph 026: cbegin/end_pstislo - Cayley digraph . . . 771ms ActionDigraph 027: cbegin/end_pstislo - Cayley digraph . . . 461μs ActionDigraph 028: path iterators corner cases . . . 505μs ActionDigraph 029: reverse node iterator . . . 23μs ActionDigraph 030: pstilo corner case . . . 334μs ActionDigraph 031: number_of_paths corner cases . . . 2758μs ActionDigraph 032: number_of_paths acyclic digraph . . . 313ms ActionDigraph 033: number_of_paths binary tree . . . 1413ms ActionDigraph 034: number_of_paths large binary tree . . . 391ms ActionDigraph 035: number_of_paths 400 node random digraph . . . 2455μs ActionDigraph 036: number_of_paths 10 node acyclic digraph . . . 90μs ActionDigraph 037: number_of_paths node digraph . . . 13ms ActionDigraph 038: random/random_acyclic exceptions . . . 348μs ActionDigraph 039: unsafe (next) neighbour . . . 196μs ActionDigraph 040: number_of_egdes incident to a node . . . 183μs ActionDigraph 041: number_of_paths (matrix) . . . 77ms ActionDigraph 042: number_of_paths (matrix) . . . 30μs ActionDigraph 043: swap_edge_nc . . . 19μs ActionDigraph 044: detail::pow for non-square Eigen matrix . . . 66μs ActionDigraph 045: operator<< . . . 31μs Array2 044: all . . . 4538μs BMat8 001: transpose . . . 2196μs BMat8 002: multiplication . . . 40μs BMat8 003: identity matrix . . . 28μs BMat8 004: random . . . 2901μs BMat8 005: call operator . . . 47μs BMat8 006: operator<< . . . 39μs BMat8 007: set . . . 171μs BMat8 008: row space basis . . . 1330μs BMat8 009: col space basis . . . 1389μs BMat8 010: row space basis . . . 2561μs BMat8 011: number_of_rows, number_of_cols . . . 155μs BMat8 012: row_space, col_space . . . 715μs BMat8 013: rows . . . 157μs BMat8 014: one . . . 25μs BMat8 015: vector constructor . . . 301μs BMat8 016: operator< . . . 27μs BMat8 017: adapters . . . 42μs BMat8 018: one . . . 21μs Bipartition 009: mem fns 1 . . . 2245μs Bipartition 010: hash . . . 15μs Bipartition 011: mem fns 2 . . . 56μs Bipartition 012: delete/copy . . . 17μs Bipartition 013: degree 0 . . . 20μs Bipartition 014: exceptions . . . 2300μs Bipartition 015: convenience constructor . . . 3255μs Bipartition 016: force copy constructor over move constructor . . . 39μs Bipartition 017: adapters . . . 17μs BitSet 000: size . . . 20μs BitSet 001: operator< . . . 19μs BitSet 002: operator== . . . 2236μs BitSet 003: operator!= . . . 26μs BitSet 004: operator&= . . . 30μs BitSet 005: & . . . 38μs BitSet 006: operator|= . . . 43μs BitSet 007: operator[] . . . 41μs BitSet 008: set(none) . . . 44μs BitSet 009: set(pos, value) . . . 45μs BitSet 010: set(first, last, value) . . . 51μs BitSet 011: reset(first, last) . . . 47μs BitSet 012: reset(pos) . . . 45μs BitSet 013: apply (iterate through set bits) . . . 73μs BitSet 014: std::hash . . . 14μs BitSet 015: constructors . . . 41μs BitSet 016: max_size . . . 16μs BitSet 017: insertion operators . . . 23μs Blocks 001: empty blocks . . . 29μs Blocks 002: non-empty blocks . . . 27μs Blocks 003: left blocks of bipartition . . . 31μs Blocks 004: right blocks of bipartition . . . 27μs Blocks 005: copy [empty blocks] . . . 20μs Blocks 006: copy [non-empty blocks] . . . 28μs Blocks 007: hash value . . . 26μs Blocks 008: operator< . . . 25μs Congruence 000: left congruence on fp semigroup . . . 15ms Congruence 001: 2-sided congruence on fp semigroup . . . 5807μs Congruence 002: left congruence on fp semigroup . . . 3213μs Congruence 003: word_to_class_index for cong. on fp semigroup . . . 1147μs Congruence 004: word_to_class_index for cong. on fp semigroup . . . 2151μs Congruence 005: trivial congruence on non-fp semigroup . . . 6609μs Congruence 006: 2-sided congruence on non-fp semigroup . . . 1610μs Congruence 007: 2-sided congruence on fp semigroup . . . 11ms Congruence 008: 2-sided congruence on infinite fp semigroup . . . 1808μs Congruence 009: 2-sided congruence on infinite fp semigroup . . . 2150μs Congruence 010: 2-sided congruence on finite semigroup . . . 95ms Congruence 012: 2-sided congruence on finite semigroup . . . 11ms Congruence 013: trivial 2-sided congruence on bicyclic monoid . . . 82ms Congruence 014: non-trivial 2-sided congruence on bicyclic monoid . . . 1643μs Congruence 015: 2-sided congruence on free abelian monoid . . . 1593μs Congruence 016: example where TC works but KB doesn't . . . 2696μs Congruence 017: 2-sided congruence on finite semigroup . . . 1832μs Congruence 018: infinite fp semigroup from GAP library . . . 2544μs Congruence 019: 2-sided cong. on fp semigroup with infinite [...] . . . 1620μs Congruence 020: trivial cong. on an fp semigroup . . .  -- with compute size 1257μs  -- with don't compute size 1170μs Congruence 021: duplicate generators . . . 2748μs Congruence 022: non-trivial classes . . . 4364μs Congruence 023: right congruence on finite semigroup . . . 899ms Congruence 024: redundant generating pairs . . . 578μs Congruence 025: 2-sided cong. on free semigroup . . . 2670μs Congruence 026: is_quotient_obviously_(in)finite . . . 4612μs Congruence 027: less . . . 1292μs Congruence 028: 2-sided congruences of BMat8 semigroup . . . 547ms Congruence 029: left congruence on finite semigroup . . . 2282μs Congruence 030: right congruence on finite semigroup . . . 2048μs Congruence 031: right congruence on finite semigroup . . . 1882μs Congruence 032: contains . . . 675μs Congruence 033: stellar_monoid S2 . . . 2234μs Congruence 034: stellar_monoid S3 . . . 2901μs Congruence 035: stellar_monoid S4 . . . 6273μs Congruence 036: stellar_monoid S5 . . . 25ms Congruence 037: stellar_monoid S6 . . . 196ms Congruence 038: stellar_monoid S7 . . . 2511ms Congruence 039: left cong. on an f.p. semigroup . . . 3812μs Congruence 040: 2-sided cong. on infinite f.p. semigroup . . . 765μs Congruence 041: 2-sided congruence constructed from type only . . . 1396μs Congruence 042: const_contains . . . 2075μs Congruence 043: no winner . . . 21ms Congruence 044: congruence over smalloverlap . . . 34ms CongruenceByPairs 001: (cong) 2-sided cong. on finite semigroup . . . 1512μs CongruenceByPairs 002: (cong) left congruence on finite semigroup . . . 738μs CongruenceByPairs 003: (cong) right congruence on finite semigroup . . . 732μs CongruenceByPairs 004: (cong) trivial congruence on finite s [...] . . . 2681μs CongruenceByPairs 005: (cong) trivial left congruence on fin [...] . . . 433μs CongruenceByPairs 006: (cong) trivial right congruence on fi [...] . . . 411μs CongruenceByPairs 007: (cong) universal congruence on finite [...] . . . 2001μs CongruenceByPairs 009: (cong) 2-sided congruence on finite s [...] . . . 1594ms CongruenceByPairs 010: (cong) left congruence on big finite [...] . . . 96ms CongruenceByPairs 011: (cong) left congruence on TCE . . . 1015μs CongruenceByPairs 012: (cong) is_quotient_obviously_finite . . . 556μs CongruenceByPairs 013: (cong) class_index_to_word/quotient . . .  -- with right congruence 26ms  -- with left congruence 5175μs  -- with 2-sided congruence 18ms CongruenceByPairs 014: (cong) const_word_to_class_index . . .  -- with right congruence 108μs  -- with left congruence 86μs  -- with 2-sided congruence 72μs CongruenceByPairs 015: (cong) size non-Element* . . . 109ms CongruenceInterface 000: add_pair . . .  -- with ToddCoxeter 527μs  -- with KnuthBendix 782μs  -- with CongruenceByPairs 571μs  -- with Congruence 1682μs CongruenceInterface 001: contains/const_contains . . .  -- with ToddCoxeter and no parent 474μs  -- with KnuthBendix and no parent 361μs  -- with Congruence and parent 1684μs  -- with CongruenceByPairs and parent 414μs CongruenceInterface 002: less . . .  -- with ToddCoxeter 411μs  -- with KnuthBendix 570μs  -- with CongruenceByPairs 524μs  -- with Congruence 1669μs CongruenceInterface 003: is_quotient_obviously_(in)finite . . .  -- with ToddCoxeter 329μs  -- with KnuthBendix 811μs CongruenceInterface 004: is_quotient_obviously_(in)finite . . .  -- with CongruenceByPairs 518μs  -- with Congruence 1428μs CongruenceInterface 005: parent_froidure_pin . . .  -- with ToddCoxeter 233μs  -- with KnuthBendix 69μs CongruenceInterface 006: parent_froidure_pin . . .  -- with CongruenceByPairs 536μs  -- with Congruence 1242μs CongruenceInterface 007: cbegin/cend_ntc . . .  -- with ToddCoxeter 1299μs  -- with KnuthBendix 4379μs CongruenceInterface 008: cbegin/cend_ntc . . .  -- with CongruenceByPairs 805μs  -- with Congruence 2049μs CongruenceInterface 009: quotient is immutable . . .  -- with ToddCoxeter 373μs  -- with KnuthBendix 460μs  -- with Congruence 853μs CongruenceInterface 010: no generating pairs added . . .  -- with KnuthBendix and common behaviour 21ms  -- with Congruence and common behaviour 20ms  -- with ToddCoxeter 374μs CongruenceInterface 011: nr generators not set . . .  -- with ToddCoxeter 428μs  -- with KnuthBendix 405μs  -- with Congruence 437μs CongruenceInterface 012: no generating pairs . . . 849μs ConstIteratorStateless 001: ? . . . 20μs ConstIteratorStateless 002: ? . . . 17μs Constants 001: Undefined . . . 2228μs Constants 002: PositiveInfinity . . . 34μs Constants 003: NegativeInfinity . . . 32μs Constants 004: LimitMax . . . 28μs Duf 004: unite . . . 4362μs Duf 006: compress . . . 34μs Duf 008: resize . . . 46μs Duf 009: resize . . . 24μs Duf 010: big chain . . . 47ms Duf 012: empty table . . . 22μs Duf 014: join . . . 27μs Duf 016: contains . . . 64μs Duf 018: swap . . . 70μs DynamicArray2 001: default constructor with 3 default args . . . 17μs DynamicArray2 002: default constructor with 2 default args . . . 15μs DynamicArray2 003: default constructor with 1 default args . . . 2225μs DynamicArray2 004: default constructor with 0 default args . . . 20μs DynamicArray2 005: copy constructor with 1 default args . . . 20μs DynamicArray2 006: copy constructor with 0 default args . . . 28μs DynamicArray2 007: add_rows . . . 28μs DynamicArray2 008: add_rows . . . 23μs DynamicArray2 009: add_cols . . . 27μs DynamicArray2 010: set/get . . . 187μs DynamicArray2 011: append 1/2 . . . 496μs DynamicArray2 012: append 2/2 . . . 914μs DynamicArray2 013: count . . . 149μs DynamicArray2 014: clear . . . 21μs DynamicArray2 015: begin_row and end_row . . . 137μs DynamicArray2 016: cbegin_row and cend_row . . . 54μs DynamicArray2 017: iterator operator++ (postfix) . . . 597μs DynamicArray2 018: iterator operator++ (prefix) . . . 6041μs DynamicArray2 019: iterator operator-- (postfix) . . . 746μs DynamicArray2 020: iterator operator-- (prefix) . . . 743μs DynamicArray2 021: operator= . . . 32μs DynamicArray2 022: operator== and operator!= . . . 655μs DynamicArray2 023: empty and clear . . . 27μs DynamicArray2 024: max_size . . . 15μs DynamicArray2 025: swap . . . 70μs DynamicArray2 026: iterator arithmetic . . . 3475μs DynamicArray2 027: iterator comparison . . . 27μs DynamicArray2 028: iterator operator= . . . 22μs DynamicArray2 029: iterator operator[] . . . 178μs DynamicArray2 030: iterator operator-> . . . 133μs DynamicArray2 031: const_iterator operator++/-- . . . 490μs DynamicArray2 032: const_iterator operator++/-- . . . 18μs DynamicArray2 033: column iterators . . . 50μs DynamicArray2 034: column iterator arithmetic . . . 14ms DynamicArray2 035: iterator assignment constructor . . . 4245μs DynamicArray2 036: reserve method . . . 376μs DynamicArray2 037: erase column . . . 33μs DynamicArray2 038: swap_rows . . . 24μs DynamicArray2 039: apply_row_permutation . . . 22μs DynamicArray2 040: swap . . . 19μs DynamicArray2 041: shrink_rows_to . . . 34μs DynamicArray2 042: shrink_rows_to - for range . . . 33μs FastestBMat 046: check no throw . . . 2214μs FelschTree 000: previously failing example . . . 62μs Forest 001: test forest . . . 177μs FpSemigroup 001: Renner monoid type B2 (E. G. presentation), q = 1 . . . 5277μs FpSemigroup 002: Renner monoid type B2 (E. G. presentation), q = 0 . . . 2980μs FpSemigroup 003: Renner monoid type B3 (E. G. presentation), q = 1 . . . 228ms FpSemigroup 004: Renner monoid type B3 (E. G. presentation), q = 0 . . . 227ms FpSemigroup 005: Renner monoid type B2 (Gay-Hivert presentat [...] . . . 3065μs FpSemigroup 006: Renner monoid type B2 (Gay-Hivert presentat [...] . . . 3126μs FpSemigroup 007: Renner monoid type B3 (Gay-Hivert presentat [...] . . . 12ms FpSemigroup 008: Renner monoid type B3 (Gay-Hivert presentat [...] . . . 10ms FpSemigroup 009: Renner monoid type B4 (Gay-Hivert presentat [...] . . . 548ms FpSemigroup 010: Renner monoid type B4 (Gay-Hivert presentat [...] . . . 824ms FpSemigroup 013: Renner monoid type D2 (E. G. presentation), q = 1 . . . 4314μs FpSemigroup 014: Renner monoid type D2 (E. G. presentation), q = 0 . . . 4222μs FpSemigroup 015: Renner monoid type D3 (E. G. presentation), q = 1 . . . 16ms FpSemigroup 016: Renner monoid type D3 (E. G. presentation), q = 0 . . . 17ms FpSemigroup 017: Renner monoid type D4 (E. G. presentation), q = 1 . . . 3866ms FpSemigroup 018: Renner monoid type D4 (E. G. presentation), q = 0 . . . 3989ms FpSemigroup 019: Renner monoid type D2 (Gay-Hivert presentat [...] . . . 5034μs FpSemigroup 020: Renner monoid type D2 (Gay-Hivert presentat [...] . . . 4834μs FpSemigroup 021: Renner monoid type D3 (Gay-Hivert presentat [...] . . . 17ms FpSemigroup 022: Renner monoid type D3 (Gay-Hivert presentat [...] . . . 17ms FpSemigroup 023: Renner monoid type D4 (Gay-Hivert presentat [...] . . . 211ms FpSemigroup 024: Renner monoid type D4 (Gay-Hivert presentat [...] . . . 232ms FpSemigroup 029: Rook monoid R5, q = 0 . . . 18ms FpSemigroup 030: Rook monoid R5, q = 1 . . . 18ms FpSemigroup 031: Rook monoid R6, q = 0 . . . 112ms FpSemigroup 032: Rook monoid R6, q = 1 . . . 112ms FpSemigroup 033: normal_form . . . 912μs FpSemigroup 034: for a finite semigroup . . . 2321μs FpSemigroup 035: finite fp semigroup, dihedral group of order 6 . . . 1522μs FpSemigroup 036: finite fp semigroup, size 16 . . . 1949μs FpSemigroup 037: finite fp semigroup, size 16 . . . 3763μs FpSemigroup 038: fp semigroup, size 240 . . . 3668μs FpSemigroup 039: add_rule . . . 1008μs FpSemigroup 040: add_rule . . . 422μs FpSemigroup 041: equal_to . . . 843μs FpSemigroup 042: cbegin/cend_rules . . . 244μs FpSemigroup 043: semigroup of size 3 . . . 1318μs FpSemigroup 044: run_for/until . . . 4584μs FpSemigroup 045: constructors . . . 849μs FpSemigroup 046: set_inverses . . . 653μs FpSemigroup 047: smalloverlap . . . 27ms FpSemigroup 048: quaternion group Q8 . . . 1666μs FpSemigroup 049: symmetric group Coxeter presentation . . . 121ms FpSemigroupByPairs 029: (fpsemi) 2-sided congruence on finit [...] . . . 1947μs FpSemigroupByPairs 030: (fpsemi) 2-sided congruence on finit [...] . . . 1871μs FpSemigroupInterface 000: run with no alphabet . . .  -- with ToddCoxeter 2461μs  -- with KnuthBendix 80μs  -- with FpSemigroup 230μs FpSemigroupInterface 001: equal_to . . .  -- with ToddCoxeter and human readable alphabet 6834μs  -- with KnuthBendix and human readable alphabet 9988μs  -- with FpSemigroup and human readable alphabet 9708μs  -- with FpSemigroupByPairs 8829μs FpSemigroupInterface 002: normal_form . . .  -- with ToddCoxeter 527μs  -- with KnuthBendix 705μs  -- with FpSemigroup 1255μs FpSemigroupInterface 003: set_alphabet (1/2) . . .  -- with ToddCoxeter 393μs  -- with KnuthBendix 209μs  -- with FpSemigroup 343μs FpSemigroupInterface 004: set_alphabet (2/2) . . . 3434μs FpSemigroupInterface 005: add_rule after finished . . .  -- with ToddCoxeter and human readable alphabet 524μs  -- with KnuthBendix and human readable alphabet 672μs  -- with FpSemigroup and human readable alphabet 1173μs  -- with FpSemigroupByPairs 3372μs FpSemigroupInterface 006: add_rule with equal words (1/2) . . .  -- with ToddCoxeter and human readable alphabet 1008μs  -- with KnuthBendix and human readable alphabet 1013μs  -- with FpSemigroup and human readable alphabet 1370μs  -- with FpSemigroupByPairs 790μs FpSemigroupInterface 007: add_rule with equal words (2/2) . . .  -- with ToddCoxeter 171μs  -- with KnuthBendix 47μs  -- with FpSemigroup 191μs FpSemigroupInterface 008: add_rule with word_type . . .  -- with ToddCoxeter 262μs  -- with KnuthBendix 111μs  -- with FpSemigroup 303μs FpSemigroupInterface 009: add_rule with empty word (1/2) . . .  -- with ToddCoxeter 206μs  -- with FpSemigroup 215μs FpSemigroupInterface 010: add_rule with empty word (1/2) . . . 30μs FpSemigroupInterface 011: add_rules (1/3) . . .  -- with ToddCoxeter 2458μs  -- with KnuthBendix 106μs  -- with FpSemigroup 248μs FpSemigroupInterface 012: add_rules (2/3) . . . 1707μs FpSemigroupInterface 013: add_rules (3/3) . . .  -- with ToddCoxeter 182μs  -- with KnuthBendix 56μs  -- with FpSemigroup 280μs FpSemigroupInterface 014: set_identity (1/3) . . .  -- with ToddCoxeter 427μs  -- with KnuthBendix 378μs  -- with FpSemigroup 578μs FpSemigroupInterface 015: set_identity (2/3) . . . 961μs FpSemigroupInterface 016: set_identity (3/3) . . .  -- with ToddCoxeter 303μs  -- with KnuthBendix 289μs  -- with FpSemigroup 555μs FpSemigroupInterface 017: identity . . .  -- with ToddCoxeter 200μs  -- with KnuthBendix 64μs  -- with FpSemigroup 187μs FpSemigroupInterface 018: set_inverses + inverses (1/2) . . .  -- with ToddCoxeter 496μs  -- with KnuthBendix 495μs  -- with FpSemigroup 781μs FpSemigroupInterface 019: set_inverses + inverses (2/2) . . . 1176μs FpSemigroupInterface 020: is_obviously_infinite (1/2) . . .  -- with ToddCoxeter 550μs  -- with KnuthBendix 565μs  -- with FpSemigroup 1233μs FpSemigroupInterface 021: is_obviously_infinite (2/2) . . . 96μs FpSemigroupInterface 022: is_obviously_finite (1/2) . . .  -- with ToddCoxeter 509μs  -- with KnuthBendix 666μs  -- with FpSemigroup 1178μs FpSemigroupInterface 023: is_obviously_finite (2/2) . . . 85μs FpSemigroupInterface 024: to_gap_string (1/3) . . .  -- with ToddCoxeter 203μs  -- with KnuthBendix 60μs  -- with FpSemigroup 261μs FpSemigroupInterface 025: to_gap_string (2/3) . . . 35μs FpSemigroupInterface 026: to_gap_string (3/3) . . . 70μs FroidurePin 015: (BMat8) regular boolean mat monoid 4 . . . 341ms FroidurePin 016: (BMat8) exception zero generators given . . . 33μs FroidurePin 017: (BMat8) exception word_to_element . . . 387μs FroidurePin 018: (BMat8) exception prefix . . . 23ms FroidurePin 019: (BMat8) exception suffix . . . 53μs FroidurePin 020: (BMat8) exception first_letter . . . 30ms FroidurePin 021: (BMat8) exception final_letter . . . 51μs FroidurePin 022: (BMat8) exception current_length . . . 22ms FroidurePin 023: (BMat8) exception product_by_reduction . . . 6123μs FroidurePin 024: (BMat8) exception fast_product . . . 5946μs FroidurePin 025: (BMat8) exception is_idempotent . . . 174ms FroidurePin 026: (BMat8) copy constructor . . .  -- with fully enumerated 205ms  -- with partially enumerated 156ms  -- with not enumerated 142ms FroidurePin 027: (BMat8) cbegin/end_rules . . . 316μs FroidurePin 031: (integers) . . . 5545μs FroidurePin 039: (pairs of integers) non-trivial user type . . . 4377μs FroidurePin 055: (tropical max-plus semiring matrices) . . . 7886μs FroidurePin 061: projective max plus matrix . . . 8144μs FroidurePin 062: projective max plus matrix . . . 90μs FroidurePin> 009: small example 2 . . . 4558μs FroidurePin> 005: small example 1 . . . 593μs FroidurePin> 007: regular bmat monoid 4 . . . 263ms FroidurePin> 011: small example 3 . . . 2772μs FroidurePin> 006: small example 1 . . . 630μs FroidurePin> 008: regular bmat monoid 4 . . . 316ms FroidurePin> 010: small example 2 . . . 120μs FroidurePin> 012: small example 3 . . . 3098μs FroidurePin 000: small example 1 . . . 2735μs FroidurePin 001: default constructed . . . 295μs FroidurePin 002: small example 2 . . . 277μs FroidurePin 004: exception: is_idempotent . . . 2812μs FroidurePin> 033: Example 000 . . . 5054μs FroidurePin> 035: Example 001 . . . 122μs FroidurePin> 032: Example 000 . . . 2448μs FroidurePin> 034: Example 001 . . . 108μs FroidurePin 036: exception: current_position . . . 710μs FroidurePin 037: exception: word_to_element . . . 726μs FroidurePin 038: exception: prefix, suffix, first_letter . . . 291ms FroidurePin> 040: Example 000 . . . 11ms FroidurePin> 041: Example 000 . . . 280μs FroidurePin> 046: Example 005 . . . 2950μs FroidurePin> 047: Example 005 . . . 742μs FroidurePin> 048: Example 005 . . . 737μs FroidurePin> 044: Example 004 . . . 69μs FroidurePin> 045: Example 004 . . . 77μs FroidurePin> 049: Example 006 . . . 4742μs FroidurePin> 050: Example 006 . . . 5175μs FroidurePin> 051: Example 006 . . . 7585μs FroidurePin> 052: Example 007 . . . 858μs FroidurePin> 053: Example 007 . . . 943μs FroidurePin> 054: Example 007 . . . 1039μs FroidurePin 056: example 1 . . . 5199μs FroidurePin 057: example 2 . . . 640μs FroidurePin> 058: . . . 2638μs FroidurePin> 059: . . . 281μs FroidurePin> 060: exceptions: add_generator(s) . . . 414μs FroidurePin> 065: no exception zero generators given . . . 2257μs FroidurePin> 066: exception generators of different [...] . . . 4721μs FroidurePin> 067: exception current_position . . . 207μs FroidurePin> 068: exception word_to_element . . . 142μs FroidurePin> 069: exception gens . . . 2904μs FroidurePin> 070: exception prefix . . . 388ms FroidurePin> 071: exception suffix . . . 979ms FroidurePin> 072: exception first_letter . . . 521μs FroidurePin> 073: exception final_letter . . . 453μs FroidurePin> 074: exception current_length . . . 450μs FroidurePin> 075: exception product_by_reduction . . . 6377μs FroidurePin> 076: exception fast_product . . . 10ms FroidurePin> 077: exception current_position . . . 6200μs FroidurePin> 078: exception is_idempotent . . . 7404μs FroidurePin> 079: exception add_generators . . . 120μs FroidurePin> 080: multithread number_of_idempotents . . . 2545μs FroidurePin> 081: small semigroup . . . 81μs FroidurePin> 082: large semigroup . . . 25ms FroidurePin> 083: at, position, current_* . . . 26ms FroidurePin> 084: run . . . 25ms FroidurePin> 085: run [many stops and starts] . . . 25ms FroidurePin> 086: factorisation, length [1 element] . . . 25ms FroidurePin> 087: factorisation, products [all elements] . . . 32ms FroidurePin> 088: first/final letter, prefix, suffi [...] . . . 25ms FroidurePin> 089: current_position [standard] . . . 183μs FroidurePin> 090: current_position [duplicate gens] . . . 46ms FroidurePin> 091: current_position [after add_generators] . . . 26ms FroidurePin> 092: cbegin_idempotents/cend [1 thread] . . . 27ms FroidurePin> 093: idempotent_cend/cbegin [1 thread] . . . 27ms FroidurePin> 094: is_idempotent [1 thread] . . . 27ms FroidurePin> 096: finished, started . . . 25ms FroidurePin> 097: current_position . . . 9468μs FroidurePin> 098: sorted_position, sorted_at . . . 28ms FroidurePin> 099: right/left Cayley graph . . . 108ms FroidurePin> 100: iterator . . . 35ms FroidurePin> 101: reverse iterator . . . 36ms FroidurePin> 102: iterator arithmetic . . . 102ms FroidurePin> 103: iterator sorted . . . 101ms FroidurePin> 104: iterator sorted arithmetic . . . 115ms FroidurePin> 105: copy [not enumerated] . . . 25ms FroidurePin> 106: copy_closure [not enumerated] . . . 149ms FroidurePin> 107: copy_add_generators [not enumerated] . . . 138ms FroidurePin> 108: copy [partly enumerated] . . . 28ms FroidurePin> 109: copy_closure [partly enumerated] . . . 43ms FroidurePin> 110: copy_add_generators [partly enumerated] . . . 29ms FroidurePin> 111: copy [fully enumerated] . . . 38ms FroidurePin> 112: copy_closure [fully enumerated] . . . 43ms FroidurePin> 113: copy_add_generators [fully enumerated] . . . 39ms FroidurePin> 114: relations [duplicate gens] . . . 1259μs FroidurePin> 115: relations . . . 34ms FroidurePin> 116: relations [copy_closure, duplicat [...] . . . 43ms FroidurePin> 117: relations [copy_add_generators, d [...] . . . 47ms FroidurePin> 118: relations [from copy, not enumerated] . . . 29ms FroidurePin> 119: relations [from copy, partly enum [...] . . . 54ms FroidurePin> 120: relations [from copy, fully enumerated] . . . 51ms FroidurePin> 121: relations [from copy_closure, not [...] . . . 48ms FroidurePin> 122: relations [from copy_add_generato [...] . . . 29ms FroidurePin> 123: relations [from copy_closure, par [...] . . . 43ms FroidurePin> 124: relations [from copy_add_generato [...] . . . 37ms FroidurePin> 125: relations [from copy_closure, ful [...] . . . 51ms FroidurePin> 126: relations [from copy_add_generato [...] . . . 47ms FroidurePin> 127: add_generators [duplicate generators] . . . 1783μs FroidurePin> 128: add_generators [incremental 1] . . . 1753μs FroidurePin> 129: add_generators [incremental 2] . . . 2232μs FroidurePin> 130: closure [duplicate generators] . . . 1092μs FroidurePin> 131: closure . . . 636μs FroidurePin> 132: factorisation . . . 59μs FroidurePin> 134: minimal_factorisation . . . 394μs FroidurePin> 135: batch_size (for an extremely larg [...] . . . 64μs FroidurePin> 137: exception: generators of differen [...] . . . 220μs FroidurePin> 138: exception: current_position . . . 398μs FroidurePin> 139: exception: word_to_element . . . 359μs FroidurePin> 140: exception: gens, current_position . . . 7810μs FroidurePin> 141: exception: add_generators . . . 307μs KBE 000: constructors . . . 112μs KBE 001: test . . . 301μs KBE 002: factorisation . . . 250μs KBE 003: swap . . . 95μs KBE 004: adapters . . . 94μs KBE 005: conversions . . . 81μs Kambites 000: (fpsemi) MT test 4 (std::string) . . . 26ms Kambites 001: (fpsemi) MT test 4 (MultiStringView) . . . 28ms Kambites 002: (fpsemi) number_of_pieces (std::string) . . . 631μs Kambites 003: (fpsemi) number_of_pieces (MultiStringView) . . . 582μs Kambites 004: (fpsemi) small_overlap_class (std::string) . . . 18ms Kambites 005: (fpsemi) small_overlap_class (MultiStringView) . . . 18ms Kambites 006: (fpsemi) random (std::string) . . . 36ms Kambites 007: (fpsemi) random (MultiStringView) . . . 36ms Kambites 008: (fpsemi) KnuthBendix 055 (std::string) . . . 62ms Kambites 009: (fpsemi) KnuthBendix 055 (MultiStringView) . . . 68ms Kambites 010: (fpsemi) smalloverlap/gap/test.gi:85 (std::string) . . . 212μs Kambites 011: (fpsemi) smalloverlap/gap/test.gi:85 (MultiStr [...] . . . 179μs Kambites 012: (fpsemi) free semigroup . . . 27μs Kambites 013: (fpsemi) smalloverlap/gap/test.gi:49 (std::string) . . . 129ms Kambites 014: (fpsemi) smalloverlap/gap/test.gi:49 (MultiStr [...] . . . 157ms Kambites 015: (fpsemi) smalloverlap/gap/test.gi:63 (std::string) . . . 132ms Kambites 016: (fpsemi) smalloverlap/gap/test.gi:63 (MultiStr [...] . . . 173ms Kambites 017: (fpsemi) smalloverlap/gap/test.gi:70 (std::string) . . . 489ms Kambites 018: (fpsemi) smalloverlap/gap/test.gi:70 (MultiStr [...] . . . 619ms Kambites 021: (fpsemi) code coverage (std::string) . . . 116μs Kambites 022: (fpsemi) code coverage (MultiStringView) . . . 77μs Kambites 023: (fpsemi) prefix (std::string) . . . 173μs Kambites 024: (fpsemi) prefix (MultiStringView) . . . 238μs Kambites 025: (fpsemi) normal_form (Example 3.15) (std::string) . . . 193μs Kambites 026: (fpsemi) normal_form (Example 3.15) (MultiStri [...] . . . 245μs Kambites 027: (fpsemi) normal_form (Example 3.16) (std::string) . . . 128μs Kambites 028: (fpsemi) normal_form (Example 3.16) (MultiStri [...] . . . 180μs Kambites 029: (fpsemi) normal_form (Example 3.16) more exhau [...] . . . 202ms Kambites 030: (fpsemi) normal_form (Example 3.16) more exhau [...] . . . 194ms Kambites 031: (fpsemi) small presentation (std::string) . . . 513μs Kambites 032: (fpsemi) small presentation (MultiStringView) . . . 450μs Kambites 033: (fpsemi) non-smalloverlap (std::string) . . . 386μs Kambites 034: (fpsemi) non-smalloverlap (MultiStringView) . . . 374μs Kambites 035: (fpsemi) MT test 3 (std::string) . . . 143μs Kambites 036: (fpsemi) MT test 3 (MultiStringView) . . . 136μs Kambites 037: (fpsemi) MT test 5 (std::string) . . . 80μs Kambites 038: (fpsemi) MT test 5 (MultiStringView) . . . 70μs Kambites 039: (fpsemi) MT test 6 (std::string) . . . 98μs Kambites 040: (fpsemi) MT test 6 (MultiStringView) . . . 126μs Kambites 041: (fpsemi) MT test 10 (std::string) . . . 97μs Kambites 042: (fpsemi) MT test 10 (MultiStringView) . . . 111μs Kambites 043: (fpsemi) MT test 13 (std::string) . . . 68μs Kambites 044: (fpsemi) MT test 13 (MultiStringView) . . . 72μs Kambites 045: (fpsemi) MT test 14 (std::string) . . . 64μs Kambites 046: (fpsemi) MT test 14 (MultiStringView) . . . 72μs Kambites 047: (fpsemi) MT test 15 (std::string) . . . 90μs Kambites 048: (fpsemi) MT test 15 (MultiStringView) . . . 94μs Kambites 049: (fpsemi) MT test 16 (std::string) . . . 90μs Kambites 050: (fpsemi) MT test 16 (MultiStringView) . . . 113μs Kambites 051: (fpsemi) MT test 17 (std::string) . . . 528μs Kambites 052: (fpsemi) MT test 17 (MultiStringView) . . . 501μs Kambites 053: (fpsemi) weak C(4) not strong x 1 (std::string) . . . 1398μs Kambites 054: (fpsemi) weak C(4) not strong x 1 (MultiStringView) . . . 1760μs Kambites 055: (fpsemi) weak C(4) not strong x 2 (std::string) . . . 1392μs Kambites 056: (fpsemi) weak C(4) not strong x 2 (MultiStringView) . . . 1806μs Kambites 057: (fpsemi) weak C(4) not strong x 3 (std::string) . . . 1484μs Kambites 058: (fpsemi) weak C(4) not strong x 3 (MultiStringView) . . . 1355μs Kambites 059: (fpsemi) weak C(4) not strong x 4 (std::string) . . . 160μs Kambites 060: (fpsemi) weak C(4) not strong x 4 (MultiStringView) . . . 218μs Kambites 061: (fpsemi) weak C(4) not strong x 5 (std::string) . . . 61μs Kambites 062: (fpsemi) weak C(4) not strong x 5 (MultiStringView) . . . 52μs Kambites 063: (fpsemi) weak C(4) not strong x 6 (std::string) . . . 93μs Kambites 064: (fpsemi) weak C(4) not strong x 6 (MultiStringView) . . . 104μs Kambites 065: (fpsemi) Konovalov example (std::string) . . . 54μs Kambites 066: (fpsemi) Konovalov example (MultiStringView) . . . 50μs Kambites 067: (fpsemi) long words (std::string) . . . 7344ms Kambites 068: (fpsemi) long words (MultiStringView) . . . 112ms Kambites 075: (cong) example 1 . . . 216μs Kambites 076: (cong) example 2 . . . 553μs Kambites 077: (cong) code coverage . . . 25ms Kambites 078: (cong) large number of rules . . . 1089ms KnuthBendix 000: (fpsemi) confluent fp semigroup 1 (infinite) . . . 789μs KnuthBendix 001: (fpsemi) confluent fp semigroup 2 (infinite) . . . 592μs KnuthBendix 002: (fpsemi) confluent fp semigroup 3 (infinite) . . . 453μs KnuthBendix 003: (fpsemi) non-confluent fp semigroup from wi [...] . . . 635μs KnuthBendix 004: (fpsemi) Example 5.1 in Sims (infinite) . . . 634μs KnuthBendix 005: (fpsemi) Example 5.1 in Sims (infinite) . . . 563μs KnuthBendix 006: (fpsemi) Example 5.3 in Sims . . . 518μs KnuthBendix 007: (fpsemi) Example 5.4 in Sims . . . 688μs KnuthBendix 008: (fpsemi) Example 6.4 in Sims (size 168) . . . 20ms KnuthBendix 009: (fpsemi) . . . 173ms KnuthBendix 010: (fpsemi) SL(2, 7) from Chapter 3, Propositi [...] . . . 199ms KnuthBendix 011: (fpsemi) F(2, 5) - Chapter 9, Section 1 in [...] . . . 1259μs KnuthBendix 012: (fpsemi) Reinis example 1 . . . 600μs KnuthBendix 013: redundant_rule (std::string) . . . 101ms KnuthBendix 014: redundant_rule (word_type) . . . 13ms KnuthBendix 019: (fpsemi) C(4) monoid . . . 4456μs KnuthBendix 020: (cong) Chinese monoid . . . 4877μs KnuthBendix 021: (from kbmag/standalone/kb_data/f25monoid) . . . 1390μs KnuthBendix 022: (from kbmag/standalone/kb_data/degen4a) . . . 114ms KnuthBendix 023: (from kbmag/standalone/kb_data/torus) . . . 7471μs KnuthBendix 024: (from kbmag/standalone/kb_data/3a6) . . . 546ms KnuthBendix 025: (from kbmag/standalone/kb_data/f2) . . . 391μs KnuthBendix 026: (from kbmag/standalone/kb_data/s16) . . . 328ms KnuthBendix 027: (from kbmag/standalone/kb_data/a4monoid) . . . 170μs KnuthBendix 028: (from kbmag/standalone/kb_data/degen3) . . . 64μs KnuthBendix 029: (from kbmag/standalone/kb_data/ab1) . . . 196μs KnuthBendix 030: (from kbmag/standalone/kb_data/degen2) . . . 44μs KnuthBendix 031: (from kbmag/standalone/kb_data/f25) . . . 1231μs KnuthBendix 032: (from kbmag/standalone/kb_data/237) . . . 1637μs KnuthBendix 033: (from kbmag/standalone/kb_data/c2) . . . 46μs KnuthBendix 034: (from kbmag/standalone/kb_data/cosets) . . . 677μs KnuthBendix 035: Example 5.1 in Sims (KnuthBendix 09 again) . . . 276μs KnuthBendix 036: (from kbmag/standalone/kb_data/nilp2) . . . 280μs KnuthBendix 037: Example 6.4 in Sims . . . 30ms KnuthBendix 038: KnuthBendix 071 again . . . 2117μs KnuthBendix 039: Example 5.4 in Sims (KnuthBendix 11 again) [...] . . . 985μs KnuthBendix 040: Example 5.4 in Sims (KnuthBendix 11 again) [...] . . . 428μs KnuthBendix 041: operator<< . . . 2591μs KnuthBendix 042: confluence_interval . . . 44μs KnuthBendix 043: max_overlap . . . 37μs KnuthBendix 044: (fpsemi) (from kbmag/standalone/kb_data/d22 [...] . . . 3944μs KnuthBendix 045: (fpsemi) (from kbmag/standalone/kb_data/d22 [...] . . . 6329μs KnuthBendix 046: (fpsemi) small example . . . 2082μs KnuthBendix 047: code coverage . . . 287μs KnuthBendix 048: small overlap 1 . . . 236μs KnuthBendix 049: (from kbmag/standalone/kb_data/s9) . . . 4248μs KnuthBendix 050: (fpsemi) Chapter 11, Lemma 1.8 (q = 6, r = [...] . . . 3990μs KnuthBendix 051: (fpsemi) Chapter 11, Section 2 (q = 6, r = [...] . . . 765μs KnuthBendix 052: (fpsemi) Chapter 8, Theorem 4.2 in NR (infinite) . . . 1059μs KnuthBendix 053: (fpsemi) equal_to fp semigroup . . . 343μs KnuthBendix 054: (fpsemi) equal_to free semigroup . . . 122μs KnuthBendix 055: (fpsemi) from GAP smalloverlap gap/test.gi [...] . . . 2072μs KnuthBendix 056: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 2223μs KnuthBendix 057: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 2531μs KnuthBendix 058: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 9790μs KnuthBendix 059: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 17ms KnuthBendix 060: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 294μs KnuthBendix 061: (fpsemi) Von Dyck (2,3,7) group (infinite) . . . 1675μs KnuthBendix 062: (fpsemi) Von Dyck (2,3,7) group - different [...] . . . 11ms KnuthBendix 063: (fpsemi) rewriting system from KnuthBendixC [...] . . . 1128μs KnuthBendix 064: (fpsemi) rewriting system from Congruence 20 . . . 197μs KnuthBendix 065: (fpsemi) (from kbmag/standalone/kb_data/ab2) . . . 380μs KnuthBendix 066: (fpsemi) (from kbmag/standalone/kb_data/d22 [...] . . . 4463μs KnuthBendix 067: (fpsemi) (from kbmag/standalone/kb_data/degen1) . . . 184μs KnuthBendix 068: (fpsemi) (from kbmag/standalone/kb_data/s4) . . . 1334μs KnuthBendix 069: (fpsemi) fp semigroup (infinite) . . . 343μs KnuthBendix 070: (fpsemi) Chapter 11, Section 1 (q = 4, r = [...] . . . 4721μs KnuthBendix 071: (fpsemi) Chapter 11, Section 1 (q = 8, r = [...] . . . 244ms KnuthBendix 072: (fpsemi) Chapter 7, Theorem 3.9 in NR (size 240) . . . 8309μs KnuthBendix 073: (fpsemi) F(2, 5) - Chapter 9, Section 1 in [...] . . . 1247μs KnuthBendix 074: (fpsemi) F(2, 6) - Chapter 9, Section 1 in NR . . . 1393μs KnuthBendix 075: (fpsemi) Chapter 10, Section 4 in NR (infinite) . . . 2336μs KnuthBendix 076: (fpsemi) Sym(5) from Chapter 3, Proposition [...] . . . 7605μs KnuthBendix 077: (fpsemi) SL(2, 7) from Chapter 3, Propositi [...] . . . 195ms KnuthBendix 078: (fpsemi) bicyclic monoid (infinite) . . . 436μs KnuthBendix 079: (fpsemi) plactic monoid of degree 2 (infinite) . . . 389μs KnuthBendix 080: (fpsemi) example before Chapter 7, Proposit [...] . . . 444μs KnuthBendix 081: (fpsemi) Chapter 7, Theorem 3.6 in NR (size 243) . . . 2086μs KnuthBendix 082: (fpsemi) finite semigroup (size 99) . . . 1020μs KnuthBendix 096: Sorouhesh . . . 1276μs KnuthBendix 097: (fpsemi) transformation semigroup (size 4) . . . 279μs KnuthBendix 098: (fpsemi) transformation semigroup (size 9) . . . 255μs KnuthBendix 099: (fpsemi) transformation semigroup (size 88) . . . 2571μs KnuthBendix 100: internal_string_to_word . . . 116μs KnuthBendix 101: (fpsemi) construct from shared_ptr . . . 2688μs KnuthBendix 102: internal_string_to_word . . . 3113μs KnuthBendix 103: (cong) free semigroup congruence (5 classes) . . . 346μs KnuthBendix 104: free semigroup congruence (6 classes) . . . 1308μs KnuthBendix 105: (cong) free semigroup congruence (16 classes) . . . 1890μs KnuthBendix 106: (cong) free semigroup congruence (6 classes) . . . 2530μs KnuthBendix 107: (cong) free semigroup congruence (240 classes) . . . 8954μs KnuthBendix 108: (cong) free semigroup congruence (240 classes) . . . 8026μs KnuthBendix 109: (cong) less . . . 11ms KnuthBendix 110: (cong) less . . . 436ms KnuthBendix 111: (cong) constructors . . . 698ms KnuthBendix 112: (cong) const_contains/contains . . . 678μs KnuthBendix 113: (cong) is_quotient_obviously_finite . . . 169μs KnuthBendix 114: (cong) class_index_to_word . . . 828μs KnuthBendix 115: (cong) quotient_froidure_pin . . . 604μs KnuthBendix 116: (cong) set_number_of_generators . . . 198μs KnuthBendix 117: (cong) number of classes when obv-inf . . . 399μs KnuthBendixCongruenceByPairs 016: non-trivial congruence on [...] . . . 1052μs KnuthBendixCongruenceByPairs 017: non-trivial congruence on [...] . . . 1073μs KnuthBendixCongruenceByPairs 018: non-trivial congruence on [...] . . . 1931μs KnuthBendixCongruenceByPairs 019: non-trivial congruence on [...] . . . 2076μs KnuthBendixCongruenceByPairs 020: trivial congruence on a fi [...] . . . 989μs KnuthBendixCongruenceByPairs 021: universal congruence on a [...] . . . 2524μs KnuthBendixCongruenceByPairs 022: left congruence on a finit [...] . . . 1670μs KnuthBendixCongruenceByPairs 023: finite group, Chapter 11, [...] . . . 12ms KnuthBendixCongruenceByPairs 024: right congruence on infini [...] . . . 1162μs KnuthBendixCongruenceByPairs 025: finite fp semigroup, dihed [...] . . . 1775μs KnuthBendixCongruenceByPairs 026: finite fp semigroup, size 16 . . . 1890μs KnuthBendixCongruenceByPairs 027: finite fp semigroup, size 16 . . . 3996μs KnuthBendixCongruenceByPairs 028: infinite fp semigroup with [...] . . . 332μs Konieczny 000: test000> . . . 20ms Konieczny 001: test000> . . . 5159μs Konieczny 002: test001> . . . 37ms Konieczny 003: test001> . . . 30ms Konieczny 006: exceptions . . . 2329μs Konieczny 007: code coverage . . . 44ms Konieczny 008: code coverage . . . 48ms Konieczny 009: regular elements and idempotents . . . 460ms Konieczny 010: regular D-class 01 . . . 3452μs Konieczny 011: regular D-class 02 . . . 20ms Konieczny 012: regular D-class 04: contains . . . 84ms Konieczny 013: non-regular D-classes 01 . . . 3484μs Konieczny 014: RegularDClass . . . 2001μs Konieczny 015: full bmat monoid 4 . . . 93ms Konieczny 017: regular generated bmat monoid 4 idempotents . . . 120ms Konieczny 019: my favourite example . . . 201ms Konieczny 020: another large example . . . 41ms Konieczny 021: my favourite example transposed . . . 165ms Konieczny 024: exceptions . . . 3771μs Konieczny 025: 0-parameter constructor . . . 48ms Konieczny 026: non-regular D-classes 02 . . . 28ms Konieczny 028: partial perm . . . 466ms Konieczny 029: symmetric inverse monoid n = 8 . . . 84ms Konieczny 030: exceptions . . . 619ms Konieczny 031: transformations . . . 11ms Konieczny 032: transformations - JDM favourite example . . . 276ms Konieczny 033: transformations - large example . . . 826ms Konieczny 034: transformations - large example with stop . . . 815ms Konieczny 035: transformations - large example with run_until . . . 820ms Konieczny 036: transformations - large example with stop in Action . . . 818ms Konieczny 037: exceptions . . . 155μs Konieczny 038: transformations: contains . . . 1919μs Konieczny 040: transformations - destructor coverage . . . 586ms Konieczny 041: current_number_D_classes . . . 590ms Konieczny 042: add_generator . . . 93μs Konieczny 043: add_generator . . . 55μs Matrix 000: BMat<2> . . . 13ms Matrix 001: BMat<> . . . 204μs Matrix 002: BMat<3> + BMat<> . . . 2206μs Matrix 003: BMat<2> + BMat<> . . . 21μs Matrix 004: BMat<3> . . . 22μs Matrix 005: BMat<> . . . 28μs Matrix 006: BMat<3> row_basis . . . 99μs Matrix 007: BMat<> row_basis . . . 105μs Matrix 008: IntMat<3> . . . 32μs Matrix 009: IntMat<> . . . 38μs Matrix 010: IntMat code cov . . . 18μs Matrix 011: MaxPlusMat<3> . . . 24μs Matrix 012: MaxPlusMat<> . . . 29μs Matrix 013: MaxPlusMat code cov . . . 13μs Matrix 014: MinPlusMat<3> . . . 31μs Matrix 015: MinPlusMat<> . . . 41μs Matrix 016: MinPlusMat code cov . . . 13μs Matrix 017: MaxPlusTruncMat<5, 2> . . . 32μs Matrix 018: MaxPlusTruncMat<5> . . . 38μs Matrix 019: MaxPlusTruncMat<> . . . 79μs Matrix 020: MaxPlusTruncMat<5, 4> . . . 38μs Matrix 021: MaxPlusTruncMat<5> . . . 40μs Matrix 022: MaxPlusTruncMat<> . . . 42μs Matrix 023: MaxPlusTruncMat<33, 3> . . . 84μs Matrix 024: MaxPlusTruncMat<33> . . . 84μs Matrix 025: MaxPlusTruncMat<> . . . 76μs Matrix 026: MaxPlusMat code cov . . . 15μs Matrix 027: MinPlusTruncMat<33, 3> . . . 86μs Matrix 028: MinPlusTruncMat<33> . . . 81μs Matrix 029: MinPlusTruncMat<> . . . 109μs Matrix 030: NTPMat<0, 3, 3, 3> . . . 30μs Matrix 031: NTPMat<0, 3> . . . 31μs Matrix 032: NTPMat<> . . . 93μs Matrix 033: NTPMat<0, 10, 4, 4> . . . 59μs Matrix 034: NTPMat<0, 10> . . . 44μs Matrix 035: NTPMat<> . . . 43μs Matrix 036: NTPMat<0, 10, 4, 4> . . . 39μs Matrix 037: NTPMat<0, 10> . . . 39μs Matrix 038: NTPMat<> . . . 41μs Matrix 039: NTPMat<33, 2, 3, 3> . . . 31μs Matrix 040: NTPMat<33, 2> . . . 27μs Matrix 041: NTPMat<> . . . 27μs Matrix 042: ProjMaxPlusMat<3> . . . 317μs Matrix 043: ProjMaxPlusMat<> . . . 166μs Matrix 044: exceptions . . . 125μs Matrix 045: code coverage . . . 112μs MultiStringView 000: catch all . . . 2269μs MultiStringView 001: is_prefix . . . 32μs MultiStringView 002: erase . . . 32μs MultiStringView 003: iterators . . . 21μs MultiStringView 004: constructors (long) . . . 50μs MultiStringView 005: constructors (short) . . . 38μs MultiStringView 006: copy assignment (short assigned to long) . . . 25μs MultiStringView 007: copy assignment (short assigned to short) . . . 26μs MultiStringView 008: move assignment (short assigned to long) . . . 25μs MultiStringView 009: move assignment (short assigned to short) . . . 24μs MultiStringView 010: code coverage . . . 43μs MultiStringView 011: pop_front . . . 2437μs MultiStringView 012: append . . . 34μs MultiStringView 013: operators . . . 31μs MultiStringView 014: maximum_common_suffix . . . 27μs MultiStringView 015: deep tests . . . 16μs ObviouslyInfinite 011: Multiple rule additions . . . 2246μs ObviouslyInfinite 012: A power of the generator 'b' does not [...] . . . 30μs ObviouslyInfinite 013: Preserves the number of occurrences o [...] . . . 22μs ObviouslyInfinite 014: Less relations than generators . . . 22μs ObviouslyInfinite 015: Relations preserve length . . . 24μs ObviouslyInfinite 016: Matrix has non empty kernel . . . 30μs ObviouslyInfinite 017: Free product of trivial semigroups . . . 20μs ObviouslyInfinite 018: Another free product . . . 24μs ObviouslyInfinite 019: Infinite but not obviously so . . . 22μs ObviouslyInfinite 020: Finite semigroup . . . 27μs PBR 001: universal product with convenience constructor . . . 95μs PBR 002: universal product . . . 36μs PBR 003: product [bigger than previous] . . . 53μs PBR 004: hash . . . 17μs PBR 005: delete/copy . . . 36μs PBR 006: exceptions . . . 468μs PBR 007: operators . . . 134μs PBR 008: to_string . . . 44μs PBR 009: identity . . . 86μs PBR 010: adapters . . . 15μs Pool 000: initial . . . 74μs Pool 001: bmat . . . 64μs Pool 002: PoolGuard . . . 66μs Pool 003: transformation products . . . 29μs Presentation 000: vectors of ints . . . 6764μs Presentation 001: strings . . . 4538μs Presentation 002: constructors (word_type) . . . 51μs Presentation 003: constructors (StaticVector1) . . . 2218μs Presentation 004: constructors (std::string) . . . 52μs Presentation 005: alphabet + letters (word_type) . . . 2538μs Presentation 006: alphabet + letters (std::string) . . . 148μs Presentation 007: contains_empty_word . . . 21μs Presentation 008: validate_rules throws . . . 136μs Presentation 009: helpers add_rule(s) . . . 255μs Presentation 010: helpers add_rule(s) (std::string) . . . 86μs Presentation 011: helpers add_identity_rules (std::vector/St [...] . . . 137μs Presentation 012: helpers add_identity_rules (std::string) . . . 70μs Presentation 013: helpers add_inverse_rules (all) . . . 591μs Presentation 014: helpers add_inverse_rules (std::string) . . . 48μs Presentation 015: helpers remove_duplicate_rules . . . 201μs Presentation 016: helpers reduce_complements . . . 333μs Presentation 017: helpers sort_each_rule . . . 181μs Presentation 018: helpers sort_rules . . . 189μs Presentation 019: helpers longest_common_subword/replace_subword . . . 1552μs Presentation 020: helpers redundant_rule . . . 27ms Presentation 021: helpers shortlex_compare_concat . . . 35μs Presentation 022: helpers remove_trivial_rules . . . 244μs Presentation 023: helpers replace_subword (existing, replacement) . . . 118μs Presentation 024: helpers longest_rule . . . 347μs Presentation 025: helpers longest_rule_length . . . 305μs Presentation 026: helpers remove_redundant_generators . . . 293μs Presentation 027: helpers reverse . . . 43μs Presentation 028: in_alphabet . . . 56μs Presentation 029: replace_subword with empty word . . . 61μs Presentation 030: helpers replace_word . . . 96μs Presentation 031: clear . . . 21μs Presentation 032: letter . . . 107μs Presentation 033: normalize_alphabet . . . 29μs Presentation 034: longest_common_subword issue . . . 1283μs Presentation 035: helpers add_zero_rules (std::vector/Static [...] . . . 171μs Presentation 036: helpers add_zero_rules (std::string) . . . 76μs Presentation 037: make_semigroup . . . 246μs Presentation 038: greedy_reduce_length . . . 865μs Presentation 039: aaaaaaaab = aaaaaaaaab strong compression . . . 112μs Presentation 040: change_alphabet . . . 221μs Presentation 041: sort_rules bug . . . 440μs Presentation 042: first_unused_letter/letter . . . 475μs Presentation 043: case where strong compression doesn't work . . . 70μs Presentation 044: proof that . . . 109μs Presentation 045: decompression . . . 42μs Race 001: run_for . . . 12ms Race 002: run_until . . . 10ms Race 003: exceptions . . . 10ms Race 004: iterators . . . 26μs Race 005: find_runner . . . 26μ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 . . . 1021μs Runner 002: run_for . . . 191ms Runner 003: run_for . . . 25ms Runner 004: started . . . 1023μs Runner 005: run_until . . . 179ms Runner 006: kill . . . 22μs Runner 007: copy constructor . . . 10ms Runner 008: report . . . 20ms Runner 009: run_until with function pointer . . . 22μs SchreierSims 001: trivial perm. group (degree 1) . . . 2223μs SchreierSims 002: trivial perm. group (degree 2) . . . 2172μs SchreierSims 003: trivial perm. group (degree 500) . . . 450μs SchreierSims 004: symmetric perm. group (degree 5) . . . 4378μs SchreierSims 005: symmetric perm. group (degree 8) . . . 80μs SchreierSims 006: symmetric perm. group (degree 9) . . . 108μs SchreierSims 007: alternating perm. group (degree 12) . . . 194μs SchreierSims 008: symmetric perm. group (degree 16) . . . 3608μs SchreierSims 009: alternating perm. group (degree 15) . . . 1448μs SchreierSims 010: alternating perm. group (degree 16) . . . 4120μs SchreierSims 011: dihedral perm. group (order 10) . . . 30μs SchreierSims 012: dihedral perm. group (order 200) . . . 3470μs SchreierSims 013: perm. group T (order 12) . . . 36μs SchreierSims 014: quaternion perm. group (order 8) . . . 40μs SchreierSims 015: perm. group (order 84129611558952960) . . . 611ms SchreierSims 016: perm. group SL(3, 5) (order 372000) . . . 4035μs SchreierSims 017: perm. group PSL(4, 8) (order 34558531338240) . . . 260ms SchreierSims 018: perm. Mathieu group M11 (order 7920) . . . 4540μs SchreierSims 019: perm. Mathieu group M24 (order 244823040) . . . 738μs SchreierSims 020: perm. Janko Group J1 (order 175560) . . . 8277μs SchreierSims 021: perm. Hall-Janko group (order 604800) . . . 1048μs SchreierSims 022: perm. Hall-Janko group (alt.) (order 604800) . . . 54ms SchreierSims 023: perm. Conway group Co3 (order 495766656000) . . . 22ms SchreierSims 024: perm. Conway group Co3 (alt.) (order 49576 [...] . . . 43ms SchreierSims 025: perm. Suzuki group (order 448345497600) . . . 201ms SchreierSims 027: perm. Held group (order 4030387200) . . . 363ms SchreierSims 028: perm. group C2 x C2 x C2 (order 8) . . . 69μs SchreierSims 029: perm. group C2 x C2 x C2 x C2 (order 16) . . . 84μs SchreierSims 030: perm. group (S5 x S5) : C2 (order 28800) . . . 160μs SchreierSims 031: perm. group C3 x D8 x A5 (order 1440) . . . 159μs SchreierSims 032: perm. group GL(4, 3) (order 24261120) . . . 1756μs SchreierSims 033: perm. group PSL(3, 7) (order 1876896) . . . 2815μs SchreierSims 037: symmetric perm. group (degree 5) . . . 64μs SchreierSims 038: alternating perm. group (degree 17) . . . 20ms SchreierSims 039: exceptions . . . 295μs SchreierSims 040: exceptions . . . 142μs SchreierSims 041: trivial group . . . 102μs SchreierSims 042: A17 bug . . . 17ms SchreierSims 043: orbits_lookup test . . . 1537μs SchreierSims 044: transversal_element and inversal_element test . . . 4599μs SchreierSimsHelper 001: trivial perm. group intersection (de [...] . . . 2243μs SchreierSimsHelper 002: trivial perm. group intersection (de [...] . . . 43μs SchreierSimsHelper 003: cyclic group intersection (degree 13) . . . 80μs SchreierSimsHelper 004: D10 and Z5 intersection . . . 2254μs SchreierSimsHelper 005: D8 and Q8 intersection . . . 67μs SchreierSimsHelper 006: primitive on 8 points intersection . . . 173μs SchreierSimsHelper 007: primitive on 8 points intersection ( [...] . . . 157μs SchreierSimsHelper 008: A13 and PGL(2, 11) intersection . . . 2874μs SchreierSimsHelper 009: A13 and PGL(2, 11) intersection (swa [...] . . . 2915μs SchreierSimsHelper 012: 3^3:13 and 3^3.2.A(4) intersection . . . 479μs SchreierSimsHelper 015: 3^3(S(4) x 2) and ASL(3, 3) intersection . . . 1076μs SchreierSimsHelper 016: 7^2:3 x Q(8) and 7^2:D(2*6) intersection . . . 1370μs SchreierSimsHelper 018: D(2*53) and 53:13 intersection . . . 719μs SchreierSimsHelper 019: 2^6:(7 x D_14) and PSL(2, 6)^2.4 int [...] . . . 5732μs SchreierSimsHelper 020: 2^6:(S_3 x GL(3, 2)) and 2.6:Alt(7) [...] . . . 18ms SchreierSimsHelper 022: PSL(2, 127) and AGL(1, 2^7) intersection . . . 33ms SchreierSimsHelper 023: PSL(3, 4).2 and PSL(3, 4).2 (nontriv [...] . . . 10ms SchreierSimsHelper 024: PSL(3, 4).Sym(3) and PSL(3, 4).2 int [...] . . . 5774μs SchreierSimsHelper 025: 3^4:5:4 and D_16:4 intersection . . . 2903μs Sims1 000: fp example 1 . . . 4983μs Sims1 001: fp example 2 . . . 6876μs Sims1 002: ToddCoxeter failing example . . . 57ms Sims1 003: ToddCoxeter failing example . . . 5048μs Sims1 004: partition_monoid(2) right . . . 19ms Sims1 006: full_transformation_monoid(3) right . . . 21ms Sims1 007: full_transformation_monoid(3) left . . . 12ms Sims1 009: rook_monoid(2, 1) . . . 384μs Sims1 010: symmetric_inverse_monoid(2) from FroidurePin . . . 262μs Sims1 011: symmetric_inverse_monoid(3) . . . 22ms Sims1 014: temperley_lieb_monoid(3) from presentation . . . 2370μs Sims1 015: temperley_lieb_monoid(4) from presentation . . . 2813μs Sims1 016: fp semigroup containing given pairs #1 . . . 840μs Sims1 017: fp semigroup containing given pairs #2 . . . 837μs Sims1 018: fp semigroup containing given pairs #3 . . . 1477μs Sims1 019: ToddCoxeter failing example . . . 5603μs Sims1 020: fp example 2 . . . 6001μs Sims1 021: exceptions . . . 698μs Sims1 027: from https://mathoverflow.net/questions/423541/ . . . 94ms Sims1 028: from https://mathoverflow.net/questions/423541/ . . . 71ms Sims1 030: presentation with one free generator . . . 831μs Sims1 031: presentation with non-zero index generators . . . 267μs Sims1 032: presentation with empty word . . . 31ms Sims1 033: constructors . . . 5074μs Sims1 034: split_at . . . 907μs Sims1 035: stats . . . 479μs Sims1 036: check iterator requirements . . . 2592μs Sims1 040: TransitiveGroup(10, 32) - minimal rep . . . 14ms Sims1 043: rectangular_band(2, 2) - with and without identity . . . 499μs Sims1 044: trivial group - minimal o.r.c. rep . . . 419μs Sims1 045: right zero semigroup - minimal o.r.c. rep . . . 5482μs Sims1 046: semigroup with faithful non-strictly cyclic actio [...] . . . 3195μs Sims1 068: RepOrc . . . 116ms Sims1 069: fp example 1 . . . 1721μ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 7943μs (1450ns 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 . . . 10ms Sims1 072: symmetric_group(n) for n = 4 . . . 4229μs Sims1 073: corner case no generators + no relations . . . 274μs Sims1 076: uninitialized RepOrc . . . 61μs SmallestInteger 001: . . . 24μs StaticTriVector2 045: all . . . 36μs StaticVector2 043: all . . . 33μs Stephen 000: basic test 1 . . . 2744μs Stephen 001: basic test 2 . . . 343μs Stephen 002: full transf monoid . . . 46ms Stephen 003: from step_hen 002 . . . 189μs Stephen 004: from step_hen 003 . . . 468μs Stephen 005: from step_hen 004 . . . 248μs Stephen 006: from step_hen 005 . . . 400μs Stephen 008: C(4) monoid normal form (test_case_knuth_bendix_055) . . . 545μs Stephen 009: C(4) monoid normal form (test_case_gap_smallove [...] . . . 342μs #0: Stephen: ------------------------------------------------------------ #0: Stephen: nodes | defined | killed | diff | #0: Stephen: ------------------------------------------------------------ #0: Stephen: 13 | +25 | -12 | +13 | (0s) #0: Stephen: 13 | +0 | -0 | +0 | (0s) #0: Stephen: 13 | +0 | -0 | +0 | (0s) #0: Stephen: 13 | +0 | -0 | +0 | (0s) #0: Stephen: 13 | +0 | -0 | +0 | (0s) #0: Stephen: 13 | +0 | -0 | +0 | (0s) #0: Stephen: 13 | +0 | -0 | +0 | (0s) #0: Stephen: 13 | +0 | -0 | +0 | (0s) Stephen 010: code coverage . . . 1075μs Stephen 011: C(4) monoid normal form (test_case_gap_smallove [...] . . . 863μs Stephen 012: C(4) monoid normal form (test_case_gap_smallove [...] . . . 1059μs Stephen 013: C(4) monoid equal to (test_case_gap_smalloverlap_70) . . . 861μs Stephen 014: C(4) monoid normal form (test_case_ex_3_13_14) . . . 1123μs Stephen 015: C(4) monoid normal form (test_case_ex_3_15) . . . 1726μs Stephen 016: C(4) monoid normal form (test_case_ex_3_16) . . . 980μs Stephen 017: C(4) monoid normal form (test_case_mt_3) . . . 447μs Stephen 018: C(4) monoid normal form (test_case_mt_5) . . . 306μs Stephen 019: C(4) monoid normal form (test_case_mt_6) . . . 1618μs Stephen 020: C(4) monoid normal form (test_case_mt_10) . . . 655μs Stephen 021: C(4) monoid normal form (test_case_mt_13) . . . 298μs Stephen 022: C(4) monoid normal form (test_case_mt_14) . . . 341μs Stephen 023: C(4) monoid normal form (test_case_mt_15) . . . 300μs Stephen 024: C(4) monoid normal form (test_case_mt_16) . . . 683μs Stephen 025: C(4) monoid normal form (test_case_mt_17) . . . 927μs Stephen 026: C(4) monoid normal form (test_case_weak_1) . . . 1427μs Stephen 027: C(4) monoid normal form (test_case_weak_2) . . . 632μs Stephen 028: C(4) monoid normal form (test_case_weak_3) . . . 1046μs Stephen 029: C(4) monoid normal form (test_case_weak_4) . . . 617μs Stephen 030: C(4) monoid normal form (test_case_weak_5) . . . 330μs Stephen 031: Test behaviour when uninitialised . . . 744μs Suf 005: unite . . . 51μs Suf 007: compress . . . 34μs Suf 011: big chain . . . 45ms Suf 013: empty table . . . 17μs Suf 015: join . . . 25μs Suf 017: contains . . . 58μs Suf 019: swap . . . 56μs Timer 001: string method (1 argument) . . . 60μs Timer 002: string method (0 arguments) . . . 10ms Timer 003: reset/elapsed method . . . 20ms Timer 004: operator<< . . . 19μs ToddCoxeter 000: small 2-sided congruence . . .  -- with HLT + no standardise + full lookahead + no save 6961μs  -- with HLT + standardise + full lookahead + no save 2499μs  -- with HLT + no standardise + partial lookahead + no save 2468μs  -- with HLT + standardise + partial lookahead + no save 2459μs  -- with HLT + no standardise + full lookahead + save 2526μs  -- with HLT + standardise + full lookahead + save 2492μs  -- with HLT + no standardise + partial lookahead + save 2479μs  -- with HLT + standardise + partial lookahead + save 2492μs  -- with Felsch + no standardisation 2424μs  -- with Felsch + standardisation 2426μs  -- with random strategy 2640μs  -- with Rc style + full lookahead 2511μs  -- with Rc style + partial lookahead 2462μs  -- with R/C style 2446μs  -- with CR style 2477μs  -- with Cr style 2499μs ToddCoxeter 001: small 2-sided congruence . . .  -- with HLT + no standardise + full lookahead + no save 13ms  -- with HLT + standardise + full lookahead + no save 13ms  -- with HLT + no standardise + partial lookahead + no save 13ms  -- with HLT + standardise + partial lookahead + no save 12ms  -- with HLT + no standardise + full lookahead + save 12ms  -- with HLT + standardise + full lookahead + save 12ms  -- with HLT + no standardise + partial lookahead + save 12ms  -- with HLT + standardise + partial lookahead + save 12ms  -- with Felsch + no standardisation 12ms  -- with Felsch + standardisation 12ms  -- with random strategy 11ms  -- with Rc style + full lookahead 12ms  -- with Rc style + partial lookahead 12ms  -- with R/C style 12ms  -- with CR style 12ms  -- with Cr style 12ms ToddCoxeter 003: constructed from FroidurePin . . .  -- with Felsch + no standardisation 1030ms  -- with Felsch + standardisation 1023ms  -- with HLT + no standardise + full lookahead + no save 314ms  -- with HLT + standardise + full lookahead + no save 312ms  -- with HLT + no standardise + partial lookahead + no save 312ms  -- with HLT + standardise + partial lookahead + no save 311ms  -- with HLT + no standardise + full lookahead + save 1030ms  -- with HLT + standardise + full lookahead + save 1028ms  -- with HLT + no standardise + partial lookahead + save 1030ms  -- with HLT + standardise + partial lookahead + save 1033ms  -- with random strategy 713ms  -- with Rc style + full lookahead 1028ms  -- with Rc style + partial lookahead 1050ms  -- with R/C style 339ms  -- with CR style 1031ms  -- with Cr style 1037ms ToddCoxeter 004: 2-sided congruence from FroidurePin . . .  -- with HLT + no standardise + full lookahead + no save 1194μs  -- with HLT + standardise + full lookahead + no save 1003μs  -- with HLT + no standardise + partial lookahead + no save 905μs  -- with HLT + standardise + partial lookahead + no save 912μs  -- with HLT + save (throws) 2849μs  -- with Felsch (throws) 1003μs  -- with random strategy 1012μs ToddCoxeter 005: non-trivial two-sided from relations . . .  -- with HLT + no standardise + full lookahead + no save 244μs  -- with HLT + standardise + full lookahead + no save 142μs  -- with HLT + no standardise + partial lookahead + no save 131μs  -- with HLT + standardise + partial lookahead + no save 132μs  -- with HLT + no standardise + full lookahead + save 160μs  -- with HLT + standardise + full lookahead + save 153μs  -- with HLT + no standardise + partial lookahead + save 167μs  -- with HLT + standardise + partial lookahead + save 146μs  -- with Felsch + no standardisation 133μs  -- with Felsch + standardisation 128μs  -- with random strategy 157μs  -- with Rc style + full lookahead 135μs  -- with Rc style + partial lookahead 129μs  -- with R/C style 132μs  -- with CR style 135μs  -- with Cr style 136μs ToddCoxeter 006: small right cong. on free semigroup . . .  -- with HLT + no standardise + full lookahead + no save 124μs  -- with HLT + standardise + full lookahead + no save 104μs  -- with HLT + no standardise + partial lookahead + no save 101μs  -- with HLT + standardise + partial lookahead + no save 100μs  -- with HLT + no standardise + full lookahead + save 133μs  -- with HLT + standardise + full lookahead + save 118μs  -- with HLT + no standardise + partial lookahead + save 117μs  -- with HLT + standardise + partial lookahead + save 110μs  -- with Felsch + no standardisation 108μs  -- with Felsch + standardisation 195μs  -- with random strategy 142μs  -- with Rc style + full lookahead 114μs  -- with Rc style + partial lookahead 107μs  -- with R/C style 114μs  -- with CR style 120μs  -- with Cr style 120μs ToddCoxeter 007: left cong. on free semigroup . . .  -- with HLT + no standardise + full lookahead + no save 147μs  -- with HLT + standardise + full lookahead + no save 124μs  -- with HLT + no standardise + partial lookahead + no save 116μs  -- with HLT + standardise + partial lookahead + no save 116μs  -- with HLT + no standardise + full lookahead + save 132μs  -- with HLT + standardise + full lookahead + save 129μs  -- with HLT + no standardise + partial lookahead + save 128μs  -- with HLT + standardise + partial lookahead + save 128μs  -- with Felsch + no standardisation 125μs  -- with Felsch + standardisation 131μs  -- with random strategy 157μs  -- with Rc style + full lookahead 133μs  -- with Rc style + partial lookahead 129μs  -- with R/C style 134μs  -- with CR style 141μs  -- with Cr style 147μs ToddCoxeter 008: for small fp semigroup . . .  -- with HLT + no standardise + full lookahead + no save 120μs  -- with HLT + standardise + full lookahead + no save 109μs  -- with HLT + no standardise + partial lookahead + no save 105μs  -- with HLT + standardise + partial lookahead + no save 106μs  -- with HLT + no standardise + full lookahead + save 131μs  -- with HLT + standardise + full lookahead + save 120μs  -- with HLT + no standardise + partial lookahead + save 115μs  -- with HLT + standardise + partial lookahead + save 115μs  -- with Felsch + no standardisation 111μs  -- with Felsch + standardisation 131μs  -- with random strategy 123μs  -- with Rc style + full lookahead 117μs  -- with Rc style + partial lookahead 114μs  -- with R/C style 119μs  -- with CR style 125μs  -- with Cr style 124μs ToddCoxeter 009: 2-sided cong. trans. semigroup . . .  -- with HLT + no standardise + full lookahead + no save 1062μs  -- with HLT + standardise + full lookahead + no save 970μs  -- with HLT + no standardise + partial lookahead + no save 1016μs  -- with HLT + standardise + partial lookahead + no save 951μs  -- with HLT + no standardise + full lookahead + save 2001μs  -- with HLT + standardise + full lookahead + save 2195μs  -- with HLT + no standardise + partial lookahead + save 2036μs  -- with HLT + standardise + partial lookahead + save 2020μs  -- with Felsch + no standardisation 1921μs  -- with Felsch + standardisation 1883μs  -- with random strategy 2164μs  -- with Rc style + full lookahead 1030μs  -- with Rc style + partial lookahead 994μs  -- with R/C style 1047μs  -- with CR style 1990μs  -- with Cr style 1933μs ToddCoxeter 010: left congruence on transformation semigroup . . .  -- with HLT + no standardise + full lookahead + no save 1033μs  -- with HLT + standardise + full lookahead + no save 1002μs  -- with HLT + no standardise + partial lookahead + no save 955μs  -- with HLT + standardise + partial lookahead + no save 977μs  -- with HLT + no standardise + full lookahead + save 2097μs  -- with HLT + standardise + full lookahead + save 2123μs  -- with HLT + no standardise + partial lookahead + save 1996μs  -- with HLT + standardise + partial lookahead + save 2035μs  -- with Felsch + no standardisation 1759μs  -- with Felsch + standardisation 1745μs  -- with random strategy 1232μs  -- with Rc style + full lookahead 1102μs  -- with Rc style + partial lookahead 1085μs  -- with R/C style 1274μs  -- with CR style 1878μs  -- with Cr style 1931μs ToddCoxeter 011: right cong. trans. semigroup . . .  -- with HLT + no standardise + full lookahead + no save 1158μs  -- with HLT + standardise + full lookahead + no save 1147μs  -- with HLT + no standardise + partial lookahead + no save 1118μs  -- with HLT + standardise + partial lookahead + no save 1113μs  -- with HLT + no standardise + full lookahead + save 2082μs  -- with HLT + standardise + full lookahead + save 2128μs  -- with HLT + no standardise + partial lookahead + save 2062μs  -- with HLT + standardise + partial lookahead + save 2145μs  -- with Felsch + no standardisation 1741μs  -- with Felsch + standardisation 1824μs  -- with random strategy 2335μs  -- with Rc style + full lookahead 1323μs  -- with Rc style + partial lookahead 1227μs  -- with R/C style 1354μs  -- with CR style 1913μs  -- with Cr style 1850μs ToddCoxeter 012: trans. semigroup (size 88) . . .  -- with HLT + no standardise + full lookahead + no save 803μs  -- with HLT + standardise + full lookahead + no save 735μs  -- with HLT + no standardise + partial lookahead + no save 692μs  -- with HLT + standardise + partial lookahead + no save 700μs  -- with HLT + save (throws) 793μs  -- with Felsch (throws) 871μs  -- with random strategy 766μs ToddCoxeter 013: left cong. on trans. semigroup (size 88) . . .  -- with HLT + no standardise + full lookahead + no save 865μs  -- with HLT + standardise + full lookahead + no save 861μs  -- with HLT + no standardise + partial lookahead + no save 903μs  -- with HLT + standardise + partial lookahead + no save 886μs  -- with HLT + no standardise + full lookahead + save 1872μs  -- with HLT + standardise + full lookahead + save 1945μs  -- with HLT + no standardise + partial lookahead + save 1876μs  -- with HLT + standardise + partial lookahead + save 1911μs  -- with Felsch + no standardisation 1658μs  -- with Felsch + standardisation 1668μs  -- with random strategy 1058μs  -- with Rc style + full lookahead 977μs  -- with Rc style + partial lookahead 963μs  -- with R/C style 1130μs  -- with CR style 1780μs  -- with Cr style 1833μs ToddCoxeter 014: right cong. on trans. semigroup (size 88) . . .  -- with HLT + no standardise + full lookahead + no save 1015μs  -- with HLT + standardise + full lookahead + no save 1010μs  -- with HLT + no standardise + partial lookahead + no save 989μs  -- with HLT + standardise + partial lookahead + no save 1073μs  -- with HLT + no standardise + full lookahead + save 1950μs  -- with HLT + standardise + full lookahead + save 1947μs  -- with HLT + no standardise + partial lookahead + save 1714μs  -- with HLT + standardise + partial lookahead + save 1769μs  -- with Felsch + no standardisation 1363μs  -- with Felsch + standardisation 1427μs  -- with random strategy 1615μs  -- with Rc style + full lookahead 1024μs  -- with Rc style + partial lookahead 1016μs  -- with R/C style 1135μs  -- with CR style 1621μs  -- with Cr style 1504μs ToddCoxeter 015: finite fp-semigroup, dihedral group of order 6 . . .  -- with HLT + no standardise + full lookahead + no save 243μs  -- with HLT + standardise + full lookahead + no save 219μs  -- with HLT + no standardise + partial lookahead + no save 192μs  -- with HLT + standardise + partial lookahead + no save 268μs  -- with HLT + no standardise + full lookahead + save 259μs  -- with HLT + standardise + full lookahead + save 245μs  -- with HLT + no standardise + partial lookahead + save 228μs  -- with HLT + standardise + partial lookahead + save 233μs  -- with Felsch + no standardisation 235μs  -- with Felsch + standardisation 217μs  -- with random strategy 240μs  -- with Rc style + full lookahead 204μs  -- with Rc style + partial lookahead 201μs  -- with R/C style 205μs  -- with CR style 220μs  -- with Cr style 218μs ToddCoxeter 016: finite fp-semigroup, size 16 . . .  -- with HLT + no standardise + full lookahead + no save 209μs  -- with HLT + standardise + full lookahead + no save 200μs  -- with HLT + no standardise + partial lookahead + no save 186μs  -- with HLT + standardise + partial lookahead + no save 274μs  -- with HLT + no standardise + full lookahead + save 379μs  -- with HLT + standardise + full lookahead + save 375μs  -- with HLT + no standardise + partial lookahead + save 357μs  -- with HLT + standardise + partial lookahead + save 367μs  -- with Felsch + no standardisation 319μs  -- with Felsch + standardisation 307μs  -- with random strategy 353μs  -- with Rc style + full lookahead 210μs  -- with Rc style + partial lookahead 205μs  -- with R/C style 225μs  -- with CR style 355μs  -- with Cr style 375μs ToddCoxeter 017: finite fp-semigroup, size 16 . . .  -- with HLT + no standardise + full lookahead + no save 540μs  -- with HLT + standardise + full lookahead + no save 486μs  -- with HLT + no standardise + partial lookahead + no save 465μs  -- with HLT + standardise + partial lookahead + no save 460μs  -- with HLT + no standardise + full lookahead + save 1267μs  -- with HLT + standardise + full lookahead + save 1315μs  -- with HLT + no standardise + partial lookahead + save 1190μs  -- with HLT + standardise + partial lookahead + save 1178μs  -- with Felsch + no standardisation 1092μs  -- with Felsch + standardisation 1109μs  -- with random strategy 1158μs  -- with Rc style + full lookahead 514μs  -- with Rc style + partial lookahead 523μs  -- with R/C style 526μs  -- with CR style 1079μs  -- with Cr style 1106μs ToddCoxeter 018: test lookahead . . .  -- with HLT + no standardise + full lookahead + no save 1183μs  -- with HLT + standardise + full lookahead + no save 1132μs  -- with HLT + no standardise + partial lookahead + no save 1008μs  -- with HLT + standardise + partial lookahead + no save 1034μs  -- with HLT + no standardise + full lookahead + save 1542μs  -- with HLT + standardise + full lookahead + save 1525μs  -- with HLT + no standardise + partial lookahead + save 1496μs  -- with HLT + standardise + partial lookahead + save 1705μs ToddCoxeter 019: non-trivial left cong. from semigroup . . .  -- with HLT + no standardise + full lookahead + no save 772μs  -- with HLT + standardise + full lookahead + no save 737μs  -- with HLT + no standardise + partial lookahead + no save 730μs  -- with HLT + standardise + partial lookahead + no save 713μs  -- with HLT + save (throws) 795μs  -- with Felsch (throws) 753μs  -- with random strategy 859μs ToddCoxeter 020: 2-sided cong. on free semigroup . . .  -- with HLT + no standardise + full lookahead + no save 83μs  -- with HLT + standardise + full lookahead + no save 62μs  -- with HLT + no standardise + partial lookahead + no save 56μs  -- with HLT + standardise + partial lookahead + no save 52μs  -- with HLT + no standardise + full lookahead + save 52μs  -- with HLT + standardise + full lookahead + save 54μs  -- with HLT + no standardise + partial lookahead + save 123μs  -- with HLT + standardise + partial lookahead + save 54μs  -- with Felsch + no standardisation 54μs  -- with Felsch + standardisation 54μs  -- with random strategy 58μs ToddCoxeter 021: calling run when obviously infinite . . .  -- with HLT + no standardise + full lookahead + no save 169μs  -- with HLT + standardise + full lookahead + no save 126μs  -- with HLT + no standardise + partial lookahead + no save 122μs  -- with HLT + standardise + partial lookahead + no save 120μs  -- with HLT + no standardise + full lookahead + save 119μs  -- with HLT + standardise + full lookahead + save 118μs  -- with HLT + no standardise + partial lookahead + save 118μs  -- with HLT + standardise + partial lookahead + save 120μs  -- with Felsch + no standardisation 115μs  -- with Felsch + standardisation 138μs  -- with random strategy 127μs ToddCoxeter 022: stellar_monoid S3 . . .  -- with HLT + no standardise + full lookahead + no save 399μs  -- with HLT + standardise + full lookahead + no save 357μs  -- with HLT + no standardise + partial lookahead + no save 323μs  -- with HLT + standardise + partial lookahead + no save 331μs  -- with HLT + no standardise + full lookahead + save 661μs  -- with HLT + standardise + full lookahead + save 605μs  -- with HLT + no standardise + partial lookahead + save 574μs  -- with HLT + standardise + partial lookahead + save 581μs  -- with Felsch + no standardisation 488μs  -- with Felsch + standardisation 506μs  -- with random strategy 407μs  -- with Rc style + full lookahead 424μs  -- with Rc style + partial lookahead 362μs  -- with R/C style 385μs  -- with CR style 530μs  -- with Cr style 524μs ToddCoxeter 023: finite semigroup (size 5) . . .  -- with HLT + no standardise + full lookahead + no save 121μs  -- with HLT + standardise + full lookahead + no save 101μs  -- with HLT + no standardise + partial lookahead + no save 94μs  -- with HLT + standardise + partial lookahead + no save 109μs  -- with HLT + no standardise + full lookahead + save 116μs  -- with HLT + standardise + full lookahead + save 110μs  -- with HLT + no standardise + partial lookahead + save 107μs  -- with HLT + standardise + partial lookahead + save 107μs  -- with Felsch + no standardisation 104μs  -- with Felsch + standardisation 107μs  -- with random strategy 139μs  -- with Rc style + full lookahead 107μs  -- with Rc style + partial lookahead 100μs  -- with R/C style 107μs  -- with CR style 223μs  -- with Cr style 131μs ToddCoxeter 024: exceptions . . .  -- with HLT + no standardise + full lookahead + no save 616μs  -- with HLT + standardise + full lookahead + no save 522μs  -- with HLT + no standardise + partial lookahead + no save 508μs  -- with HLT + standardise + partial lookahead + no save 501μs  -- with HLT + no standardise + full lookahead + save 519μs  -- with HLT + standardise + full lookahead + save 509μs  -- with HLT + no standardise + partial lookahead + save 586μs  -- with HLT + standardise + partial lookahead + save 523μs  -- with Felsch + no standardisation 513μs  -- with Felsch + standardisation 559μs  -- with random strategy 540μs  -- with Rc style + full lookahead 518μs  -- with Rc style + partial lookahead 509μs  -- with R/C style 557μs  -- with CR style 527μs  -- with Cr style 524μs ToddCoxeter 025: obviously infinite . . .  -- with HLT + no standardise + full lookahead + no save 147μs  -- with HLT + standardise + full lookahead + no save 128μs  -- with HLT + no standardise + partial lookahead + no save 125μs  -- with HLT + standardise + partial lookahead + no save 126μs  -- with HLT + no standardise + full lookahead + save 139μs  -- with HLT + standardise + full lookahead + save 126μs  -- with HLT + no standardise + partial lookahead + save 123μs  -- with HLT + standardise + partial lookahead + save 124μs  -- with Felsch + no standardisation 122μs  -- with Felsch + standardisation 121μs  -- with random strategy 121μs ToddCoxeter 026: exceptions . . .  -- with HLT + no standardise + full lookahead + no save 355μs  -- with HLT + standardise + full lookahead + no save 306μs  -- with HLT + no standardise + partial lookahead + no save 326μs  -- with HLT + standardise + partial lookahead + no save 303μs  -- with HLT + no standardise + full lookahead + save 343μs  -- with HLT + standardise + full lookahead + save 318μs  -- with HLT + no standardise + partial lookahead + save 314μs  -- with HLT + standardise + partial lookahead + save 306μs  -- with Felsch + no standardisation 303μs  -- with Felsch + standardisation 307μs  -- with random strategy 323μs  -- with Rc style + full lookahead 306μs  -- with Rc style + partial lookahead 302μs  -- with R/C style 308μs  -- with CR style 343μs  -- with Cr style 336μs ToddCoxeter 027: empty . . . 307μs ToddCoxeter 028: congruence of fpsemigroup::ToddCoxeter . . .  -- with HLT + no standardise + full lookahead + no save 534μs  -- with HLT + standardise + full lookahead + no save 425μs  -- with HLT + no standardise + partial lookahead + no save 410μs  -- with HLT + standardise + partial lookahead + no save 403μs  -- with HLT + save (throws) 426μs  -- with Felsch (throws) 424μs  -- with random strategy 515μs  -- with HLT + no standardise + full lookahead + save 437μs  -- with HLT + standardise + full lookahead + save 477μs  -- with HLT + no standardise + partial lookahead + save 426μs  -- with HLT + standardise + partial lookahead + save 410μs  -- with Felsch + no standardisation 402μs  -- with Felsch + standardisation 403μs  -- with Rc style + full lookahead 390μs  -- with Rc style + partial lookahead 399μs  -- with R/C style 465μs  -- with CR style 425μs  -- with Cr style 409μs ToddCoxeter 029: !KnuthBendix.started() . . .  -- with HLT + no standardise + full lookahead + no save and 2-sided 218μs  -- with HLT + standardise + full lookahead + no save and 2-sided 203μs  -- with HLT + no standardise + partial lookahead + no save and 2-sided 185μs  -- with HLT + standardise + partial lookahead + no save and 2-sided 175μs  -- with HLT + no standardise + full lookahead + save and 2-sided 183μs  -- with HLT + standardise + full lookahead + save and 2-sided 179μs  -- with HLT + no standardise + partial lookahead + save and 2-sided 206μs  -- with HLT + standardise + partial lookahead + save and 2-sided 178μs  -- with Felsch + no standardisation and 2-sided 168μs  -- with Felsch + standardisation and 2-sided 167μs  -- with random strategy and 2-sided 176μs  -- with HLT + no standardise + full lookahead + no save and left 171μs  -- with HLT + standardise + full lookahead + no save and left 177μs  -- with HLT + no standardise + partial lookahead + no save and left 242μs  -- with HLT + standardise + partial lookahead + no save and left 174μs  -- with HLT + no standardise + full lookahead + save and left 194μs  -- with HLT + standardise + full lookahead + save and left 191μs  -- with HLT + no standardise + partial lookahead + save and left 186μs  -- with HLT + standardise + partial lookahead + save and left 184μs  -- with Felsch + no standardisation and left 185μs  -- with Felsch + standardisation and left 179μs  -- with random strategy and left 198μs  -- with HLT + no standardise + full lookahead + no save and right 242μs  -- with HLT + standardise + full lookahead + no save and right 185μs  -- with HLT + no standardise + partial lookahead + no save and right 181μs  -- with HLT + standardise + partial lookahead + no save and right 165μs  -- with HLT + no standardise + full lookahead + save and right 190μs  -- with HLT + standardise + full lookahead + save and right 184μs  -- with HLT + no standardise + partial lookahead + save and right 183μs  -- with HLT + standardise + partial lookahead + save and right 183μs  -- with Felsch + no standardisation and right 183μs  -- with Felsch + standardisation and right 180μs  -- with random strategy and right 243μs ToddCoxeter 030: KnuthBendix.finished() . . .  -- with HLT + no standardise + full lookahead + no save and 2-sided 465μs  -- with HLT + standardise + full lookahead + no save and 2-sided 392μs  -- with HLT + no standardise + partial lookahead + no save and 2-sided 409μs  -- with HLT + standardise + partial lookahead + no save and 2-sided 372μs  -- with HLT + no standardise + full lookahead + save and 2-sided 394μs  -- with HLT + standardise + full lookahead + save and 2-sided 387μs  -- with HLT + no standardise + partial lookahead + save and 2-sided 384μs  -- with HLT + standardise + partial lookahead + save and 2-sided 373μs  -- with Felsch + no standardisation and 2-sided 406μs  -- with Felsch + standardisation and 2-sided 1003μs  -- with random strategy and 2-sided 446μs  -- with HLT + no standardise + full lookahead + no save and left 442μs  -- with HLT + standardise + full lookahead + no save and left 389μs  -- with HLT + no standardise + partial lookahead + no save and left 415μs  -- with HLT + standardise + partial lookahead + no save and left 395μs  -- with HLT + no standardise + full lookahead + save and left 423μs  -- with HLT + standardise + full lookahead + save and left 535μs  -- with HLT + no standardise + partial lookahead + save and left 445μs  -- with HLT + standardise + partial lookahead + save and left 427μs  -- with Felsch + no standardisation and left 400μs  -- with Felsch + standardisation and left 403μs  -- with random strategy and left 432μs  -- with HLT + no standardise + full lookahead + no save and right 396μs  -- with HLT + standardise + full lookahead + no save and right 383μs  -- with HLT + no standardise + partial lookahead + no save and right 416μs  -- with HLT + standardise + partial lookahead + no save and right 472μs  -- with HLT + no standardise + full lookahead + save and right 440μs  -- with HLT + standardise + full lookahead + save and right 420μs  -- with HLT + no standardise + partial lookahead + save and right 417μs  -- with HLT + standardise + partial lookahead + save and right 410μs  -- with Felsch + no standardisation and right 398μs  -- with Felsch + standardisation and right 398μs  -- with random strategy and right 405μs ToddCoxeter 031: KnuthBendix.finished() . . .  -- with HLT + no standardise + full lookahead + no save and 2-sided 329μs  -- with HLT + standardise + full lookahead + no save and 2-sided 365μs  -- with HLT + no standardise + partial lookahead + no save and 2-sided 295μs  -- with HLT + standardise + partial lookahead + no save and 2-sided 309μs  -- with HLT + no standardise + full lookahead + save and 2-sided 303μs  -- with HLT + standardise + full lookahead + save and 2-sided 294μs  -- with HLT + no standardise + partial lookahead + save and 2-sided 287μs  -- with HLT + standardise + partial lookahead + save and 2-sided 285μs  -- with Felsch + no standardisation and 2-sided 300μs  -- with Felsch + standardisation and 2-sided 278μs  -- with random strategy and 2-sided 311μs  -- with Rc style + full lookahead and 2-sided 288μs  -- with Rc style + partial lookahead and 2-sided 288μs  -- with R/C style and 2-sided 274μs  -- with CR style and 2-sided 329μs  -- with Cr style and 2-sided 303μs  -- with HLT + no standardise + full lookahead + no save and left 348μs  -- with HLT + standardise + full lookahead + no save and left 303μs  -- with HLT + no standardise + partial lookahead + no save and left 289μs  -- with HLT + standardise + partial lookahead + no save and left 288μs  -- with HLT + no standardise + full lookahead + save and left 313μs  -- with HLT + standardise + full lookahead + save and left 308μs  -- with HLT + no standardise + partial lookahead + save and left 307μs  -- with HLT + standardise + partial lookahead + save and left 310μs  -- with Felsch + no standardisation and left 299μs  -- with Felsch + standardisation and left 372μs  -- with random strategy and left 379μs  -- with Rc style + full lookahead and left 327μs  -- with Rc style + partial lookahead and left 309μs  -- with R/C style and left 295μs  -- with CR style and left 315μs  -- with Cr style and left 323μs  -- with HLT + no standardise + full lookahead + no save and right 325μs  -- with HLT + standardise + full lookahead + no save and right 301μs  -- with HLT + no standardise + partial lookahead + no save and right 289μs  -- with HLT + standardise + partial lookahead + no save and right 291μs  -- with HLT + no standardise + full lookahead + save and right 316μs  -- with HLT + standardise + full lookahead + save and right 399μs  -- with HLT + no standardise + partial lookahead + save and right 335μs  -- with HLT + standardise + partial lookahead + save and right 323μs  -- with Felsch + no standardisation and right 308μs  -- with Felsch + standardisation and right 306μs  -- with random strategy and right 342μs  -- with Rc style + full lookahead and right 316μs  -- with Rc style + partial lookahead and right 308μs  -- with R/C style and right 300μs  -- with CR style and right 316μs  -- with Cr style and right 329μs ToddCoxeter 032: prefill . . . 590μs ToddCoxeter 033: congruence of ToddCoxeter . . .  -- with HLT + no standardise + full lookahead + no save 189μs  -- with HLT + standardise + full lookahead + no save 136μs  -- with HLT + no standardise + partial lookahead + no save 128μs  -- with HLT + standardise + partial lookahead + no save 123μs  -- with HLT + no standardise + full lookahead + save 139μs  -- with HLT + standardise + full lookahead + save 134μs  -- with HLT + no standardise + partial lookahead + save 133μs  -- with HLT + standardise + partial lookahead + save 128μs  -- with random strategy 143μs ToddCoxeter 034: congruence of ToddCoxeter . . .  -- with HLT + no standardise + full lookahead + no save 716μs  -- with HLT + standardise + full lookahead + no save 673μs  -- with HLT + no standardise + partial lookahead + no save 688μs  -- with HLT + standardise + partial lookahead + no save 629μs  -- with HLT + save (throws) 725μs  -- with Felsch (throws) 677μs  -- with random strategy 678μs ToddCoxeter 035: congruence on FpSemigroup . . .  -- with HLT + no standardise + full lookahead + no save 1031μs  -- with HLT + standardise + full lookahead + no save 904μs  -- with HLT + no standardise + partial lookahead + no save 871μs  -- with HLT + standardise + partial lookahead + no save 864μs  -- with HLT + no standardise + full lookahead + save 1048μs  -- with HLT + standardise + full lookahead + save 985μs  -- with HLT + no standardise + partial lookahead + save 959μs  -- with HLT + standardise + partial lookahead + save 959μs  -- with Felsch + no standardisation 990μs  -- with Felsch + standardisation 949μs  -- with random strategy 797μs  -- with Rc style + full lookahead 695μs  -- with Rc style + partial lookahead 672μs  -- with R/C style 755μs  -- with CR style 781μs  -- with Cr style 779μs ToddCoxeter 036: exceptions . . . 501μs ToddCoxeter 037: copy constructor . . . 127μs ToddCoxeter 038: simplify . . . 346μs ToddCoxeter 039: stylic_monoid . . . 2069ms ToddCoxeter 041: some finite classes . . . 2127μs ToddCoxeter 043: symmetric_group(7, Coxeter + Moser) . . . 360ms ToddCoxeter 044: Option exceptions . . . 321μs ToddCoxeter 045: Options operator<< . . . 1696μs ToddCoxeter 046: Easdown-East-FitzGerald DualSymInv(5) . . .  -- with HLT + no standardise + full lookahead + no save 594ms  -- with HLT + standardise + full lookahead + no save 660ms  -- with HLT + no standardise + partial lookahead + no save 589ms  -- with HLT + standardise + partial lookahead + no save 658ms  -- with HLT + no standardise + full lookahead + save 352ms  -- with HLT + standardise + full lookahead + save 359ms  -- with HLT + no standardise + partial lookahead + save 354ms  -- with HLT + standardise + partial lookahead + save 355ms  -- with Felsch + no standardisation 394ms  -- with Felsch + standardisation 392ms  -- with random strategy 446ms  -- with R/C style 627ms  -- with Rc style + full lookahead 422ms  -- with Rc style + partial lookahead 423ms ToddCoxeter 047: uniform_block_bijection_monoid(3) (FitzGerald) . . .  -- with HLT + no standardise + full lookahead + no save 325μs  -- with HLT + standardise + full lookahead + no save 274μs  -- with HLT + no standardise + partial lookahead + no save 252μs  -- with HLT + standardise + partial lookahead + no save 250μs  -- with HLT + no standardise + full lookahead + save 545μs  -- with HLT + standardise + full lookahead + save 471μs  -- with HLT + no standardise + partial lookahead + save 573μs  -- with HLT + standardise + partial lookahead + save 522μs  -- with Felsch + no standardisation 355μs  -- with Felsch + standardisation 365μs  -- with random strategy 510μs  -- with R/C style 300μs  -- with Rc style + full lookahead 270μs  -- with Rc style + partial lookahead 326μs ToddCoxeter 048: stellar_monoid(7) (Gay-Hivert) . . . 357ms ToddCoxeter 049: partition_monoid(4) (East) . . .  -- with HLT + no standardise + full lookahead + no save 89ms  -- with HLT + standardise + full lookahead + no save 92ms  -- with HLT + no standardise + partial lookahead + no save 89ms  -- with HLT + standardise + partial lookahead + no save 91ms  -- with HLT + no standardise + full lookahead + save 139ms  -- with HLT + standardise + full lookahead + save 144ms  -- with HLT + no standardise + partial lookahead + save 138ms  -- with HLT + standardise + partial lookahead + save 145ms  -- with Felsch + no standardisation 167ms  -- with Felsch + standardisation 168ms  -- with random strategy 101ms  -- with R/C style 106ms  -- with Rc style + full lookahead 189ms  -- with Rc style + partial lookahead 187ms ToddCoxeter 050: singular_brauer_monoid(6) (Maltcev + Mazorchuk) . . . 1613ms ToddCoxeter 051: orientation_preserving_monoid(6) (Ruskuc + [...] . . .  -- with HLT + no standardise + full lookahead + no save 69ms ToddCoxeter 052: orientation_reversing_monoid(5) (Ruskuc + [...] . . .  -- with HLT + no standardise + full lookahead + no save 18ms ToddCoxeter 053: temperley_lieb_monoid(10) (East) . . . 90ms ToddCoxeter 063: add_rule . . .  -- with HLT + no standardise + full lookahead + no save 337μs  -- with HLT + standardise + full lookahead + no save 246μs  -- with HLT + no standardise + partial lookahead + no save 224μs  -- with HLT + standardise + partial lookahead + no save 217μs  -- with HLT + no standardise + full lookahead + save 238μs  -- with HLT + standardise + full lookahead + save 233μs  -- with HLT + no standardise + partial lookahead + save 255μs  -- with HLT + standardise + partial lookahead + save 240μs  -- with Felsch + no standardisation 236μs  -- with Felsch + standardisation 252μs  -- with random strategy 254μs  -- with Rc style + full lookahead 234μs  -- with Rc style + partial lookahead 227μs  -- with R/C style 320μs  -- with CR style 247μs  -- with Cr style 238μs  -- with R/C + Felsch lookahead 248μs  -- with HLT + Felsch lookahead + save 246μs  -- with Cr + small number of f_defs 248μs  -- with Rc + small number of deductions 225μs  -- with Felsch + v2 + no preferred defs 230μs  -- with Felsch + v2 + immediate no stack 232μs  -- with Felsch + v1 + immediate no stack 230μs  -- with Felsch + v1 + immediate yes stack 226μs  -- with large collapse 223μs ToddCoxeter 064: (from kbmag/standalone/kb_data/s4) (KnuthB [...] . . .  -- with HLT + no standardise + full lookahead + no save 729μs ToddCoxeter 066: test validate . . . 147μs ToddCoxeter 067: add_rules after construct. from semigroup . . .  -- with HLT + no standardise + full lookahead + no save 2126μs  -- with HLT + standardise + full lookahead + no save 1932μs  -- with HLT + no standardise + partial lookahead + no save 1964μs  -- with HLT + standardise + partial lookahead + no save 1939μs  -- with HLT + save (throws) 2071μs  -- with Felsch (throws) 2004μs  -- with random strategy 2102μs ToddCoxeter 068: Sym(5) from Chapter 3, Proposition 1.1 in NR . . .  -- with Deduction policy == purge_from_top 2360μs  -- with Deduction policy == purge_all 2066μs  -- with Deduction policy == discard_all_if_no_space 2313μs  -- with HLT + no standardise + full lookahead + no save 2823μs  -- with HLT + standardise + full lookahead + no save 3827μs  -- with HLT + no standardise + partial lookahead + no save 2893μs  -- with HLT + standardise + partial lookahead + no save 3740μs  -- with HLT + no standardise + full lookahead + save 3339μs  -- with HLT + standardise + full lookahead + save 3235μs  -- with HLT + no standardise + partial lookahead + save 3180μs  -- with HLT + standardise + partial lookahead + save 3147μs  -- with Felsch + no standardisation 2136μs  -- with Felsch + standardisation 2145μs  -- with random strategy 3333μs  -- with Rc style + full lookahead 5206μs  -- with Rc style + partial lookahead 5099μs  -- with R/C style 3089μs  -- with CR style 2457μs  -- with Cr style 2422μs ToddCoxeter 069: Chapter 7, Theorem 3.6 in NR (size 243) . . .  -- with HLT + no standardise + full lookahead + no save 1791μs  -- with HLT + standardise + full lookahead + no save 1993μs  -- with HLT + no standardise + partial lookahead + no save 1801μs  -- with HLT + standardise + partial lookahead + no save 1978μs  -- with HLT + no standardise + full lookahead + save 1613μs  -- with HLT + standardise + full lookahead + save 1772μs  -- with HLT + no standardise + partial lookahead + save 1624μs  -- with HLT + standardise + partial lookahead + save 1783μs  -- with Felsch + no standardisation 9137μs  -- with Felsch + standardisation 9706μs  -- with random strategy 2099μs  -- with Rc style + full lookahead 1867μs  -- with Rc style + partial lookahead 1863μs  -- with R/C style 2065μs  -- with CR style 9112μs  -- with Cr style 8934μs ToddCoxeter 070: finite semigroup (size 99) . . .  -- with HLT + no standardise + full lookahead + no save 709μs  -- with HLT + standardise + full lookahead + no save 739μs  -- with HLT + no standardise + partial lookahead + no save 675μs  -- with HLT + standardise + partial lookahead + no save 736μs  -- with HLT + no standardise + full lookahead + save 694μs  -- with HLT + standardise + full lookahead + save 773μs  -- with HLT + no standardise + partial lookahead + save 671μs  -- with HLT + standardise + partial lookahead + save 727μs  -- with Felsch + no standardisation 1662μs  -- with Felsch + standardisation 1598μs  -- with random strategy 801μs  -- with Rc style + full lookahead 727μs  -- with Rc style + partial lookahead 703μs  -- with R/C style 786μs  -- with CR style 1590μs  -- with Cr style 1605μs ToddCoxeter 080: KnuthBendix 098 . . .  -- with HLT + no standardise + full lookahead + no save 2263ms  -- with HLT + standardise + full lookahead + no save 2291ms  -- with HLT + no standardise + partial lookahead + no save 2396ms  -- with HLT + standardise + partial lookahead + no save 2303ms  -- with HLT + no standardise + full lookahead + save 1066ms  -- with HLT + standardise + full lookahead + save 1073ms  -- with HLT + no standardise + partial lookahead + save 1066ms  -- with HLT + standardise + partial lookahead + save 1063ms  -- with Felsch + no standardisation 1002ms  -- with Felsch + standardisation 1059ms  -- with random strategy 1492ms  -- with Rc style + full lookahead 978ms  -- with Rc style + partial lookahead 969ms  -- with R/C style 2257ms  -- with CR style 1062ms  -- with Cr style 981ms ToddCoxeter 084: Campbell-Reza 1 . . .  -- with HLT + no standardise + full lookahead + no save 402μs  -- with HLT + standardise + full lookahead + no save 299μs  -- with HLT + no standardise + partial lookahead + no save 365μs  -- with HLT + standardise + partial lookahead + no save 294μs  -- with HLT + no standardise + full lookahead + save 314μs  -- with HLT + standardise + full lookahead + save 316μs  -- with HLT + no standardise + partial lookahead + save 305μs  -- with HLT + standardise + partial lookahead + save 305μs  -- with Felsch + no standardisation 322μs  -- with Felsch + standardisation 312μs  -- with random strategy 328μs  -- with Rc style + full lookahead 276μs  -- with Rc style + partial lookahead 268μs  -- with R/C style 296μs  -- with CR style 388μs  -- with Cr style 340μs ToddCoxeter 085: Renner monoid type D4 (Gay-Hivert), q = 1 . . .  -- with HLT + no standardise + full lookahead + no save 824ms  -- with HLT + standardise + full lookahead + no save 830ms  -- with HLT + no standardise + partial lookahead + no save 827ms  -- with HLT + standardise + partial lookahead + no save 832ms  -- with HLT + no standardise + full lookahead + save 827ms  -- with HLT + standardise + full lookahead + save 868ms  -- with HLT + no standardise + partial lookahead + save 836ms  -- with HLT + standardise + partial lookahead + save 820ms  -- with Felsch + no standardisation 827ms  -- with Felsch + standardisation 827ms  -- with random strategy 826ms  -- with Rc style + full lookahead 823ms  -- with Rc style + partial lookahead 826ms  -- with R/C style 821ms  -- with CR style 824ms  -- with Cr style 831ms ToddCoxeter 086: trivial semigroup . . . 804ms ToddCoxeter 092: ACE --- perf602p5 - HLT . . .  -- with HLT + no standardise + full lookahead + no save 94ms  -- with HLT + standardise + full lookahead + no save 94ms  -- with HLT + no standardise + partial lookahead + no save 94ms  -- with HLT + standardise + partial lookahead + no save 93ms  -- with HLT + no standardise + full lookahead + save 40ms  -- with HLT + standardise + full lookahead + save 42ms  -- with HLT + no standardise + partial lookahead + save 40ms  -- with HLT + standardise + partial lookahead + save 41ms  -- with random strategy 41ms  -- with Felsch + no standardisation 31ms  -- with Felsch + standardisation 32ms ToddCoxeter 094: ACE --- C5 - HLT . . .  -- with HLT + no standardise + full lookahead + no save 292μs  -- with HLT + standardise + full lookahead + no save 295μs  -- with HLT + no standardise + partial lookahead + no save 238μs  -- with HLT + standardise + partial lookahead + no save 213μs  -- with HLT + no standardise + full lookahead + save 301μs  -- with HLT + standardise + full lookahead + save 268μs  -- with HLT + no standardise + partial lookahead + save 259μs  -- with HLT + standardise + partial lookahead + save 262μs  -- with random strategy 242μs  -- with Felsch + no standardisation 246μs  -- with Felsch + standardisation 236μs ToddCoxeter 095: ACE --- A5-C5 . . .  -- with HLT + no standardise + full lookahead + no save 291μs  -- with HLT + standardise + full lookahead + no save 295μs  -- with HLT + no standardise + partial lookahead + no save 278μs  -- with HLT + standardise + partial lookahead + no save 328μs  -- with HLT + no standardise + full lookahead + save 390μs  -- with HLT + standardise + full lookahead + save 380μs  -- with HLT + no standardise + partial lookahead + save 370μs  -- with HLT + standardise + partial lookahead + save 372μs  -- with random strategy 336μs  -- with Felsch + no standardisation 326μs  -- with Felsch + standardisation 313μs ToddCoxeter 096: ACE --- A5 . . .  -- with HLT + no standardise + full lookahead + no save 788μs  -- with HLT + standardise + full lookahead + no save 1038μs  -- with HLT + no standardise + partial lookahead + no save 760μs  -- with HLT + standardise + partial lookahead + no save 969μs  -- with HLT + no standardise + full lookahead + save 1146μs  -- with HLT + standardise + full lookahead + save 1207μs  -- with HLT + no standardise + partial lookahead + save 1122μs  -- with HLT + standardise + partial lookahead + save 1143μs  -- with random strategy 864μs  -- with Felsch + no standardisation 754μs  -- with Felsch + standardisation 832μs ToddCoxeter 098: relation ordering . . .  -- with Felsch + no standardisation 2095μs  -- with Felsch + standardisation 1963μs  -- with HLT + no standardise + full lookahead + no save 1175μs  -- with HLT + standardise + full lookahead + no save 1149μs  -- with HLT + no standardise + partial lookahead + no save 1099μs  -- with HLT + standardise + partial lookahead + no save 1103μs  -- with HLT + no standardise + full lookahead + save 2040μs  -- with HLT + standardise + full lookahead + save 1996μs  -- with HLT + no standardise + partial lookahead + save 2036μs  -- with HLT + standardise + partial lookahead + save 1993μs  -- with random strategy 1414μs ToddCoxeter 099: short circuit size in obviously infinite . . . 57μs ToddCoxeter 101: http://brauer.maths.qmul.ac.uk/Atlas/spor/M [...] . . . 1744ms ToddCoxeter 108: http://brauer.maths.qmul.ac.uk/Atlas/lin/L3 [...] . . . 1965ms ToddCoxeter 110: to_gap_string . . . 526μs ToddCoxeter 111: partition_monoid(2) . . . 168μs ToddCoxeter 112: brauer_monoid(4) (Kudryavtseva + Mazorchuk) . . . 1258μs ToddCoxeter 113: symmetric_inverse_monoid . . . 48ms ToddCoxeter 116: symmetric_group(7, Burnside + Miller) . . . 1561ms UF 001: constructor by size . . . 33μs UF 002: copy constructor . . . 46μs UF 003: find . . . 33μs Ukkonen 000: basic tests . . . 281ms Ukkonen 001: maximal_piece_prefix 1 . . . 88μs Ukkonen 002: maximal_piece_prefix 2 . . . 101μs Ukkonen 003: maximal_piece_prefix 3 . . . 694μs Ukkonen 004: number_of_pieces . . . 203μs Ukkonen 005: traverse . . . 50μs Ukkonen 006: dot . . . 773μs Ukkonen 007: strings . . . 161μs Ukkonen 008: dfs #01 . . . 95μs Ukkonen 009: dfs #02 . . . 80μs Ukkonen 010: dfs #03 . . . 72μs Ukkonen 011: dfs #04 . . . 341μs Ukkonen 012: dfs #05 . . . 149μs Ukkonen 013: dfs #06 . . . 122μs Ukkonen 014: dfs #07 . . . 373μs Ukkonen 015: dfs #08 . . . 176μs Ukkonen 016: dfs #09 . . . 336μs Ukkonen 017: dfs #10 . . . 78μs Ukkonen 018: pieces . . . 102μs Ukkonen 019: code coverage . . . 114μs Ukkonen 020: code coverage . . . 18μs action_digraph_helper 015: detail::to_string . . . 53μs action_digraph_helper 016: make . . . 277μs action_digraph_helper 017: is_connected . . . 634μs action_digraph_helper 018: is_strictly_cyclic . . . 37ms follow_path 012: 20 node path . . . 55μs fpsemi-examples 002: full_transformation_monoid author except . . . 107μs fpsemi-examples 003: full_transformation_monoid degree except . . . 67μs fpsemi-examples 005: partial_transformation_monoid author except . . . 81μs fpsemi-examples 006: partial_transformation_monoid degree except . . . 71μs fpsemi-examples 007: symmetric_inverse_monoid(5) . . . 47ms fpsemi-examples 008: symmetric_group auth except . . . 114μs fpsemi-examples 009: symmetric_group degree except . . . 67μs fpsemi-examples 010: symmetric_group(6) Burnside + Miller . . . 74ms fpsemi-examples 011: dual_symmetric_inverse_monoid(5) . . . 595ms fpsemi-examples 012: dual_symmetric_inverse_monoid auth except . . . 119μs fpsemi-examples 013: dual_symmetric_inverse_monoid degree except . . . 69μs fpsemi-examples 014: uniform_block_bijection_monoid(5) . . . 37ms fpsemi-examples 015: uniform_block_bijection_monoid auth except . . . 113μs fpsemi-examples 016: uniform_block_bijection_monoid degree except . . . 61μs fpsemi-examples 019: partition_monoid auth except . . . 254μs fpsemi-examples 020: partition_monoid degree except . . . 247μs fpsemi-examples 022: monogenic_semigroup(4, 9) . . . 112μs fpsemi-examples 023: fibonacci_semigroup(2, 5) . . . 188μs fpsemi-examples 024: temperley_lieb_monoid(10) . . . 104ms fpsemi-examples 025: singular_brauer_monoid(6) . . . 1119ms fpsemi-examples 026: orientation_preserving_monoid(6) . . . 68ms fpsemi-examples 027: orientation_reversing_monoid(5) . . . 18ms fpsemi-examples 028: chinese_monoid(3) . . . 381μs fpsemi-examples 029: plactic_monoid(3) . . . 304μs fpsemi-examples 030: stylic_monoid(3) . . . 2569μs fpsemi-examples 031: symmetric_group(6) Carmichael . . . 40ms fpsemi-examples 032: symmetric_group(6) Moore index 0 . . . 30ms fpsemi-examples 033: symmetric_group(6) Coxeter + Moser . . . 18ms fpsemi-examples 034: test for the rook monoid . . . 1058μs fpsemi-examples 035: alternating_group(7) Moore . . . 72ms fpsemi-examples 036: alternating_group auth except . . . 106μs fpsemi-examples 037: alternating_group degree except . . . 57μs fpsemi-examples 038: partial_transformation_monoid(3) Machine . . . 934μs fpsemi-examples 039: chinese_monoid degree except . . . 102μs fpsemi-examples 040: monogenic_semigroup degree except . . . 99μs fpsemi-examples 041: rectangular_band degree except . . . 186μs fpsemi-examples 042: stellar_monoid degree except . . . 84μs fpsemi-examples 043: plactic_monoid degree except . . . 84μs fpsemi-examples 044: stylic_monoid degree except . . . 85μs fpsemi-examples 045: temperley_lieb_monoid degree except . . . 112μs fpsemi-examples 046: singular_brauer_monoid degree except . . . 122μs fpsemi-examples 047: orientation_preserving_monoid degree except . . . 127μs fpsemi-examples 048: orientation_reversing_monoid degree except . . . 131μs fpsemi-examples 049: test default values . . . 8959μs fpsemi-examples 052: not_symmetric_group(5) Guralnick + Kant [...] . . . 9552μs fpsemi-examples 053: order_preserving_monoid(5) . . . 2117μs fpsemi-examples 055: order_preserving_monoid degree except . . . 167μs fpsemi-examples 056: cyclic_inverse_monoid(4) Fernandes 1 . . . 1050μs fpsemi-examples 057: cyclic_inverse_monoid(8) Fernandes index 1 . . . 43ms fpsemi-examples 058: cyclic_inverse_monoid Fernandes index 0 . . . 73ms fpsemi-examples 059: order_preserving_cyclic_inverse_monoid(4) . . . 487μs fpsemi-examples 060: order_preserving_cyclic_inverse_monoid(10) . . . 80ms fpsemi-examples 061: cyclic_inverse_monoid degree except . . . 295μs fpsemi-examples 062: cyclic_inverse_monoid author except . . . 104μs fpsemi-examples 063: order_preserving_monoid degree except . . . 117μs fpsemi-examples 064: symmetric_group index except . . . 111μs fpsemi-examples 065: symmetric_group(7) Moore index 1 . . . 19ms fpsemi-examples 066: order_preserving_cyclic_inverse_monoid(10) . . . 79ms fpsemi-examples 067: partial_isometries_cycle_graph_monoid(5) . . . 1843μs fpsemi-examples 068: partial_isometries_cycle_graph_monoid(10) . . . 708ms fpsemi-examples 069: partial_isometries_cycle_graph_monoid d [...] . . . 196μs fpsemi-examples 070: partial_isometries_cycle_graph_monoid(4) . . . 836μs freeband_equal_to 001: . . . 3799μs is_acyclic 000: 2-cycle . . . 23μs is_acyclic 001: 1-cycle . . . 17μs is_acyclic 002: multi-digraph . . . 29μs is_acyclic 003: complete digraph 100 . . . 365μs is_acyclic 004: acyclic digraph with 20000 nodes . . . 10ms is_acyclic 006: for a node . . . 1692μs is_acyclic 007: for a node . . . 39μs is_reachable 008: acyclic 20 node digraph . . . 152μs is_reachable 009: 100 node path . . . 21ms is_reachable 010: 100 node cycle . . . 22ms is_reachable 011: 20 node clique . . . 875μs last_node_on_path_nc 014: 20 node path . . . 34μs make 000: from FroidurePin . . . 1813μs make 001: from FroidurePin and alphabet . . . 2262μs make 002: presentation from presentation . . . 696μs make 003: presentation from presentation and alphabet . . . 139μs make 004: argument checks issue . . . 373μs make 005: use human readable alphabet for make . . . 42μs make> 000: from ActionDigraph . . . 6500μs make> 001: from ActionDigraph (exceptions) . . . 170μs number_of_words 001: . . . 27μs operator"" _w 003: literal . . . 27μs silo 000: alphabet: a, min: 0, max: 10 . . . 2337μs silo 001: corner cases . . . 63μs silo 002: alphabet: ab, min: 1, max: 4 . . . 105μs silo 003: alphabet: abc, min: 0, max: 13 . . . 199ms silo 004: code coverage . . . 62μs sislo 005: alphabet: a, min: 0, max: 10 . . . 89μs sislo 006: corner cases . . . 154μs sislo 007: alphabet: ab, min: 1, max: 4 . . . 166μs sislo 008: alphabet: abc, min: 0, max: 13 . . . 195ms sislo 009: code coverage . . . 61μs string 000: detail::is_suffix . . . 25μs string 001: detail::is_prefix . . . 23μs string 002: detail::maximum_common_suffix . . . 20μs string 003: detail::group_digits . . . 49μs string_to_word 002: . . . 25μs validate_label 013: 20 node path . . . 101μs wilo 001: corner cases . . . 73μs wilo 002: letters: 2, min: 1, max: 4 . . . 74μs wilo 003: letters: 2, min: 1, max: 4 . . . 155μs wilo 004: letters: 3, min: 0, max: 10 . . . 42ms wilo 005: letters: 3, min: 0, max: 13 . . . 575ms wilo 006: forward iterator requirements . . . 586ms wilo 007: more corner cases . . . 127μs wilo 008: starting at a given word 1 . . . 505μs wilo 009: starting at a given word 2 . . . 45μs wilo 010: code coverage . . . 42μs wislo 000: n: 2, min; 1, max: 4 . . . 51μs wislo 001: corner cases . . . 92μs wislo 002: n: 3, min; 0, max: 10 . . . 15ms wislo 003: n: 3, min; 0, max: 13 . . . 529ms wislo 004: lex + sort . . . 1589ms wislo 005: code coverage . . . 71μ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! /bin/sh ./libtool --mode=install /usr/bin/install -c libsemigroups.la '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib' /usr/bin/install -c -m 644 extern/backward-cpp/backward.hpp '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups/backward-cpp' ./config/install-sh -c -d '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/pkgconfig' ./config/install-sh -c -d '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups' ./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' /usr/bin/install -c -m 644 include/libsemigroups/action.hpp include/libsemigroups/adapters.hpp include/libsemigroups/bipart.hpp include/libsemigroups/bitset.hpp include/libsemigroups/bmat8.hpp include/libsemigroups/bmat.hpp include/libsemigroups/bruidhinn-traits.hpp include/libsemigroups/config.hpp include/libsemigroups/cong-intf.hpp include/libsemigroups/cong-pair-impl.hpp include/libsemigroups/cong-pair.hpp include/libsemigroups/cong-wrap.hpp include/libsemigroups/cong.hpp include/libsemigroups/constants.hpp include/libsemigroups/containers.hpp include/libsemigroups/coset.hpp include/libsemigroups/debug.hpp include/libsemigroups/deprecated.hpp include/libsemigroups/digraph-helper.hpp include/libsemigroups/digraph-with-sources.hpp include/libsemigroups/digraph-with-sources.tpp include/libsemigroups/digraph.hpp include/libsemigroups/exception.hpp include/libsemigroups/fastest-bmat.hpp include/libsemigroups/felsch-tree.hpp include/libsemigroups/felsch-digraph.hpp include/libsemigroups/felsch-digraph.tpp include/libsemigroups/forest.hpp include/libsemigroups/fpsemi-examples.hpp include/libsemigroups/fpsemi-intf.hpp include/libsemigroups/fpsemi.hpp include/libsemigroups/freeband.hpp include/libsemigroups/froidure-pin-base.hpp include/libsemigroups/froidure-pin-impl.hpp include/libsemigroups/froidure-pin.hpp include/libsemigroups/function-ref.hpp include/libsemigroups/hpcombi.hpp include/libsemigroups/int-range.hpp include/libsemigroups/iterator.hpp include/libsemigroups/kambites.hpp '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups' libtool: install: /usr/bin/install -c .libs/libsemigroups.so.2.0.0 /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/libsemigroups.so.2.0.0 /usr/bin/install -c -m 644 extern/textflowcpp/TextFlow.hpp '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups/textflowcpp' libtool: install: (cd /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib && { ln -s -f libsemigroups.so.2.0.0 libsemigroups.so.2 || { rm -f libsemigroups.so.2 && ln -s libsemigroups.so.2.0.0 libsemigroups.so.2; }; }) /usr/bin/install -c -m 644 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: (cd /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib && { ln -s -f libsemigroups.so.2.0.0 libsemigroups.so || { rm -f libsemigroups.so && ln -s libsemigroups.so.2.0.0 libsemigroups.so; }; }) libtool: install: /usr/bin/install -c .libs/libsemigroups.lai /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/libsemigroups.la libtool: install: /usr/bin/install -c .libs/libsemigroups.a /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/libsemigroups.a libtool: install: chmod 644 /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/libsemigroups.a libtool: install: ranlib /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/libsemigroups.a libtool: warning: remember to run 'libtool --finish /usr/lib' make[1]: Leaving directory '/home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.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-riscv64.so.1 so:libfmt.so.11 so:libgcc_s.so.1 so:libstdc++.so.6 >>> libsemigroups*: Package size: 1.3 MB >>> libsemigroups*: Compressing data... >>> libsemigroups*: Create checksum... >>> libsemigroups*: Create libsemigroups-2.7.3-r1.apk >>> libsemigroups: Build complete at Sat, 14 Dec 2024 22:22:15 +0000 elapsed time 0h 12m 34s >>> libsemigroups: Cleaning up srcdir >>> libsemigroups: Cleaning up pkgdir >>> libsemigroups: Uninstalling dependencies... (1/4) Purging .makedepends-libsemigroups (20241214.220945) (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: 341 MiB in 101 packages >>> libsemigroups: Updating the testing/riscv64 repository index... >>> libsemigroups: Signing the index...