>>> libsemigroups: Building testing/libsemigroups 2.3.2-r0 (using abuild 3.10.0_rc1-r2) started Sun, 13 Nov 2022 15:58:08 +0000 >>> libsemigroups: Checking sanity of /home/buildozer/aports/testing/libsemigroups/APKBUILD... >>> libsemigroups: Analyzing dependencies... >>> libsemigroups: Installing for build: build-base eigen-dev fmt-dev (1/4) Installing eigen-dev (3.4.0-r6) (2/4) Installing fmt (9.1.0-r0) (3/4) Installing fmt-dev (9.1.0-r0) (4/4) Installing .makedepends-libsemigroups (20221113.155809) OK: 404 MiB in 102 packages >>> libsemigroups: Cleaning up srcdir >>> libsemigroups: Cleaning up pkgdir >>> libsemigroups: Fetching https://distfiles.alpinelinux.org/distfiles/edge/libsemigroups-2.3.2.tar.gz % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 0 146 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 curl: (22) The requested URL returned error: 404 >>> libsemigroups: Fetching https://github.com/libsemigroups/libsemigroups/releases/download/v2.3.2/libsemigroups-2.3.2.tar.gz % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 1 2394k 1 34197 0 0 55624 0 0:00:44 --:--:-- 0:00:44 55624 100 2394k 100 2394k 0 0 3219k 0 --:--:-- --:--:-- --:--:-- 18.0M >>> libsemigroups: Fetching https://distfiles.alpinelinux.org/distfiles/edge/libsemigroups-2.3.2.tar.gz >>> libsemigroups: Checking sha512sums... libsemigroups-2.3.2.tar.gz: OK >>> libsemigroups: Unpacking /var/cache/distfiles/edge/libsemigroups-2.3.2.tar.gz... tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' checking build system type... x86_64-alpine-linux-musl checking host system type... x86_64-alpine-linux-musl checking target system type... x86_64-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 x86_64-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 x86_64-alpine-linux-musl-ar... no checking for x86_64-alpine-linux-musl-lib... no checking for x86_64-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/x86_64-alpine-linux-musl/bin/ld checking if the linker (/usr/x86_64-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 x86_64-alpine-linux-musl file names to x86_64-alpine-linux-musl format... func_convert_file_noop checking how to convert x86_64-alpine-linux-musl file names to toolchain format... func_convert_file_noop checking for /usr/x86_64-alpine-linux-musl/bin/ld option to reload object files... -r checking for x86_64-alpine-linux-musl-file... no checking for file... file checking for x86_64-alpine-linux-musl-objdump... no checking for objdump... objdump checking how to recognize dependent libraries... pass_all checking for x86_64-alpine-linux-musl-dlltool... no checking for dlltool... no checking how to associate runtime and link libraries... printf %s\n checking for x86_64-alpine-linux-musl-ar... ar checking for archiver @FILE support... @ checking for x86_64-alpine-linux-musl-strip... no checking for strip... strip checking for x86_64-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 x86_64-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/x86_64-alpine-linux-musl/bin/ld -m elf_x86_64) 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/x86_64-alpine-linux-musl/bin/ld -m elf_x86_64 checking if the linker (/usr/x86_64-alpine-linux-musl/bin/ld -m elf_x86_64) is GNU ld... yes checking whether the g++ linker (/usr/x86_64-alpine-linux-musl/bin/ld -m elf_x86_64) 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/x86_64-alpine-linux-musl/bin/ld -m elf_x86_64) supports shared libraries... yes checking dynamic linker characteristics... (cached) GNU/Linux ld.so checking how to hardcode library paths into programs... immediate checking for limits.h... yes checking for stdint.h... (cached) yes checking for stdlib.h... (cached) yes checking for sys/time.h... yes checking for unistd.h... (cached) yes checking for pthread.h... yes checking for _Bool... yes checking for stdbool.h that conforms to C99... yes checking for inline... inline checking for int64_t... yes checking for size_t... yes checking for uint64_t... yes checking for ptrdiff_t... yes checking size of void *... 8 checking for GNU libc compatible malloc... yes checking for gettimeofday... yes checking for memset... yes checking for pow... yes checking for sqrt... yes checking whether to enable debug mode... no checking whether to enable verbose mode... no checking whether enable compiler warnings... no checking whether to enable stats mode... yes checking whether to build with code coverage support... no checking whether to enable HPCombi... yes checking for ./extern/HPCombi/VERSION... yes checking the required version of HPCombi... 0.0.6 checking the version of HPCombi that's present... 0.0.6 checking whether C++ compiler accepts -march=avx... no configure: WARNING: flag -march=avx not supported, HPCombi is disabled checking for x86_64-alpine-linux-musl-pkg-config... no checking for pkg-config... /usr/bin/pkg-config checking pkg-config is at least version 0.9.0... yes checking whether to enable fmt... yes checking whether to use external fmt... yes checking for fmt >= 8.1.1... yes checking whether to enable eigen... yes checking whether to use external eigen... yes checking for eigen3 >= 3.3.7... yes checking for __builtin_popcountl... yes checking for __builtin_clzll... yes checking whether to try and use __builtin_popcntl... yes checking whether to try and use __builtin_clzlll... yes checking that generated files are newer than configure... done configure: creating ./config.status config.status: creating Makefile config.status: creating libsemigroups.pc config.status: creating config/config.h config.status: executing depfiles commands config.status: executing include/libsemigroups/config.hpp commands config.status: creating include/libsemigroups/config.hpp - prefix LIBSEMIGROUPS for config/config.h defines config.status: executing libtool commands CXX src/libsemigroups_la-bipart.lo CXX src/libsemigroups_la-bmat8.lo CXX src/libsemigroups_la-cong-intf.lo CXX src/libsemigroups_la-cong-pair.lo CXX src/libsemigroups_la-cong.lo CXX src/libsemigroups_la-constants.lo CXX src/libsemigroups_la-coset.lo CXX src/libsemigroups_la-felsch-tree.lo CXX src/libsemigroups_la-forest.lo CXX src/libsemigroups_la-fpsemi-intf.lo CXX src/libsemigroups_la-fpsemi.lo CXX src/libsemigroups_la-freeband.lo CXX src/libsemigroups_la-froidure-pin-base.lo CXX src/libsemigroups_la-kambites.lo CXX src/libsemigroups_la-knuth-bendix.lo CXX src/libsemigroups_la-make-present.lo CXX src/libsemigroups_la-obvinf.lo CXX src/libsemigroups_la-pbr.lo CXX src/libsemigroups_la-race.lo CXX src/libsemigroups_la-report.lo CXX src/libsemigroups_la-runner.lo CXX src/libsemigroups_la-siso.lo CXX src/libsemigroups_la-string.lo CXX src/libsemigroups_la-suffix-tree.lo CXX src/libsemigroups_la-timer.lo CXX src/libsemigroups_la-todd-coxeter.lo CXX src/libsemigroups_la-wilo.lo CXX src/libsemigroups_la-word.lo CXX src/libsemigroups_la-wislo.lo CXXLD libsemigroups.la make test_all make[1]: Entering directory '/home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.3.2' CXX tests/bmat-data.o CXX tests/fpsemi-examples.o CXX tests/test-action.o CXX tests/test-bipart.o CXX tests/test-bitset.o CXX tests/test-bmat8.o CXX tests/test-cong-intf.o CXX tests/test-cong-pair.o CXX tests/test-cong.o CXX tests/test-constants.o CXX tests/test-containers.o CXX tests/test-digraph-helper.o CXX tests/test-digraph.o CXX tests/test-felsch-tree.o CXX tests/test-forest.o CXX tests/test-fpsemi.o CXX tests/test-fpsemi-intf.o CXX tests/test-freeband.o CXX tests/test-froidure-pin-bipart.o CXX tests/test-froidure-pin-bmat8.o CXX tests/test-froidure-pin-bmat.o CXX tests/test-froidure-pin-integers.o CXX tests/test-froidure-pin-intmat.o CXX tests/test-froidure-pin-intpairs.o CXX tests/test-froidure-pin-matrix.o CXX tests/test-froidure-pin-maxplustrunc.o CXX tests/test-froidure-pin-pbr.o CXX tests/test-froidure-pin-pperm.o CXX tests/test-froidure-pin-projmaxplus.o CXX tests/test-froidure-pin-transf.o CXX tests/test-hpcombi.o CXX tests/test-iterator.o CXX tests/test-kambites.o CXX tests/test-kbe.o CXX tests/test-knuth-bendix-1.o CXX tests/test-knuth-bendix-2.o CXX tests/test-knuth-bendix-3.o CXX tests/test-knuth-bendix-4.o CXX tests/test-knuth-bendix-5.o CXX tests/test-knuth-bendix-6.o CXX tests/test-konieczny-bmat8-1.o CXX tests/test-konieczny-bmat8-2.o CXX tests/test-konieczny-bmat8-3.o CXX tests/test-konieczny-transf.o CXX tests/test-konieczny-bmat.o CXX tests/test-konieczny-pperm.o CXX tests/test-main.o CXX tests/test-make-present.o CXX tests/test-make-froidure-pin.o CXX tests/test-matrix.o CXX tests/test-obvinf.o CXX tests/test-order.o CXX tests/test-pbr.o CXX tests/test-pool.o CXX tests/test-present.o CXX tests/test-race.o CXX tests/test-runner.o CXX tests/test-schreier-sims.o CXX tests/test-schreier-sims-helper.o CXX tests/test-sims1.o CXX tests/test-siso.o CXX tests/test-string.o CXX tests/test-string-view.o CXX tests/test-suffix-tree.o CXX tests/test-timer.o CXX tests/test-todd-coxeter.o CXX tests/test-types.o CXX tests/test-uf.o CXX tests/test-wilo.o CXX tests/test-wislo.o CXX tests/test-word.o In file included from /usr/include/c++/12.2.1/vector:64, from tests/catch.hpp:564, from tests/test-string-view.cpp:21: In destructor 'std::vector<_Tp, _Alloc>::~vector() [with _Tp = libsemigroups::detail::StringView; _Alloc = std::allocator]', inlined from 'libsemigroups::detail::StringViewContainer::Long::~Long()' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.3.2/include/libsemigroups/string-view.hpp:327:18, inlined from 'void libsemigroups::detail::StringViewContainer::ShortOrLong::destroy_long()' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.3.2/include/libsemigroups/string-view.hpp:573:22, inlined from 'libsemigroups::detail::StringViewContainer::~StringViewContainer()' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.3.2/include/libsemigroups/string-view.hpp:162:29, inlined from 'libsemigroups::detail::StringViewContainer::~StringViewContainer()' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.3.2/include/libsemigroups/string-view.hpp:158:7, inlined from 'libsemigroups::detail::MultiStringView::~MultiStringView()' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.3.2/include/libsemigroups/string-view.hpp:587:11, inlined from 'void libsemigroups::____C_A_T_C_H____T_E_S_T____26()' at tests/test-string-view.cpp:529:3: /usr/include/c++/12.2.1/bits/stl_vector.h:730:22: warning: '*(std::vector >*)((char*)&mm + offsetof(libsemigroups::detail::MultiStringView, libsemigroups::detail::MultiStringView::_container.libsemigroups::detail::StringViewContainer::_data)).std::vector::.std::_Vector_base >::_M_impl.std::_Vector_base >::_Vector_impl::.std::_Vector_base >::_Vector_impl_data::_M_start' may be used uninitialized [-Wmaybe-uninitialized] 730 | std::_Destroy(this->_M_impl._M_start, this->_M_impl._M_finish, | ~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 731 | _M_get_Tp_allocator()); | ~~~~~~~~~~~~~~~~~~~~~~ tests/test-string-view.cpp: In function 'void libsemigroups::____C_A_T_C_H____T_E_S_T____26()': tests/test-string-view.cpp:527:21: note: 'mm' declared here 527 | MultiStringView mm(s); | ^~ In destructor 'std::_Vector_base<_Tp, _Alloc>::~_Vector_base() [with _Tp = libsemigroups::detail::StringView; _Alloc = std::allocator]', inlined from 'std::vector<_Tp, _Alloc>::~vector() [with _Tp = libsemigroups::detail::StringView; _Alloc = std::allocator]' at /usr/include/c++/12.2.1/bits/stl_vector.h:733:7, inlined from 'libsemigroups::detail::StringViewContainer::Long::~Long()' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.3.2/include/libsemigroups/string-view.hpp:327:18, inlined from 'void libsemigroups::detail::StringViewContainer::ShortOrLong::destroy_long()' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.3.2/include/libsemigroups/string-view.hpp:573:22, inlined from 'libsemigroups::detail::StringViewContainer::~StringViewContainer()' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.3.2/include/libsemigroups/string-view.hpp:162:29, inlined from 'libsemigroups::detail::StringViewContainer::~StringViewContainer()' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.3.2/include/libsemigroups/string-view.hpp:158:7, inlined from 'libsemigroups::detail::MultiStringView::~MultiStringView()' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.3.2/include/libsemigroups/string-view.hpp:587:11, inlined from 'void libsemigroups::____C_A_T_C_H____T_E_S_T____26()' at tests/test-string-view.cpp:529:3: /usr/include/c++/12.2.1/bits/stl_vector.h:367:31: warning: '*(std::_Vector_base >*)((char*)&mm + offsetof(libsemigroups::detail::MultiStringView, libsemigroups::detail::MultiStringView::_container.libsemigroups::detail::StringViewContainer::_data)).std::_Vector_base >::_M_impl.std::_Vector_base >::_Vector_impl::.std::_Vector_base >::_Vector_impl_data::_M_end_of_storage' may be used uninitialized [-Wmaybe-uninitialized] 367 | _M_impl._M_end_of_storage - _M_impl._M_start); | ~~~~~~~~^~~~~~~~~~~~~~~~~ tests/test-string-view.cpp: In function 'void libsemigroups::____C_A_T_C_H____T_E_S_T____26()': tests/test-string-view.cpp:527:21: note: 'mm' declared here 527 | MultiStringView mm(s); | ^~ In file included from /usr/include/c++/12.2.1/string:47, from tests/catch.hpp:475: 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>::end() const [with _Tp = libsemigroups::detail::StringView; _Alloc = std::allocator]' at /usr/include/c++/12.2.1/bits/stl_vector.h:899:16, inlined from 'bool std::vector<_Tp, _Alloc>::empty() const [with _Tp = libsemigroups::detail::StringView; _Alloc = std::allocator]' at /usr/include/c++/12.2.1/bits/stl_vector.h:1084:30, inlined from 'bool libsemigroups::detail::StringViewContainer::Long::empty() const' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.3.2/include/libsemigroups/string-view.hpp:372:30, inlined from 'bool libsemigroups::detail::StringViewContainer::empty() const' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.3.2/include/libsemigroups/string-view.hpp:450:35, inlined from 'bool libsemigroups::detail::MultiStringView::empty() const' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.3.2/include/libsemigroups/string-view.hpp:791:32, inlined from 'libsemigroups::detail::MultiStringView::const_iterator libsemigroups::detail::MultiStringView::cbegin() const' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.3.2/include/libsemigroups/string-view.hpp:920:18, inlined from 'void libsemigroups::____C_A_T_C_H____T_E_S_T____28()' at tests/test-string-view.cpp:537:34: /usr/include/c++/12.2.1/bits/stl_iterator.h:1073:9: warning: 'm' may be used uninitialized [-Wmaybe-uninitialized] 1073 | : _M_current(__i) { } | ^~~~~~~~~~~~~~~ tests/test-string-view.cpp: In function 'void libsemigroups::____C_A_T_C_H____T_E_S_T____28()': tests/test-string-view.cpp:536:21: note: 'm' declared here 536 | MultiStringView m(s.cbegin() + 3, s.begin() + 6); | ^ 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>::begin() const [with _Tp = libsemigroups::detail::StringView; _Alloc = std::allocator]' at /usr/include/c++/12.2.1/bits/stl_vector.h:879:16, inlined from 'bool std::vector<_Tp, _Alloc>::empty() const [with _Tp = libsemigroups::detail::StringView; _Alloc = std::allocator]' at /usr/include/c++/12.2.1/bits/stl_vector.h:1084:21, inlined from 'bool libsemigroups::detail::StringViewContainer::Long::empty() const' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.3.2/include/libsemigroups/string-view.hpp:372:30, inlined from 'bool libsemigroups::detail::StringViewContainer::empty() const' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.3.2/include/libsemigroups/string-view.hpp:450:35, inlined from 'bool libsemigroups::detail::MultiStringView::empty() const' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.3.2/include/libsemigroups/string-view.hpp:791:32, inlined from 'libsemigroups::detail::MultiStringView::const_iterator libsemigroups::detail::MultiStringView::cbegin() const' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.3.2/include/libsemigroups/string-view.hpp:920:18, inlined from 'void libsemigroups::____C_A_T_C_H____T_E_S_T____28()' at tests/test-string-view.cpp:537:34: /usr/include/c++/12.2.1/bits/stl_iterator.h:1073:9: warning: 'm' may be used uninitialized [-Wmaybe-uninitialized] 1073 | : _M_current(__i) { } | ^~~~~~~~~~~~~~~ tests/test-string-view.cpp: In function 'void libsemigroups::____C_A_T_C_H____T_E_S_T____28()': tests/test-string-view.cpp:536:21: note: 'm' declared here 536 | MultiStringView m(s.cbegin() + 3, s.begin() + 6); | ^ 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++/12.2.1/bits/stl_vector.h:960:16, inlined from 'size_t libsemigroups::detail::StringViewContainer::Long::size() const' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.3.2/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.3.2/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.3.2/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.3.2/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:34, 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++/12.2.1/bits/stl_iterator.h:1073: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] 1073 | : _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++/12.2.1/bits/stl_vector.h:950:16, inlined from 'size_t libsemigroups::detail::StringViewContainer::Long::size() const' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.3.2/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.3.2/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.3.2/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.3.2/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:34, 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++/12.2.1/bits/stl_iterator.h:1073: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] 1073 | : _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++/12.2.1/bits/stl_vector.h:960:16, inlined from 'size_t libsemigroups::detail::StringViewContainer::Long::size() const' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.3.2/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.3.2/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.3.2/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.3.2/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:34, 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++/12.2.1/bits/stl_iterator.h:1073: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] 1073 | : _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++/12.2.1/bits/stl_vector.h:950:16, inlined from 'size_t libsemigroups::detail::StringViewContainer::Long::size() const' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.3.2/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.3.2/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.3.2/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.3.2/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:34, 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++/12.2.1/bits/stl_iterator.h:1073: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] 1073 | : _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++/12.2.1/algorithm:61, from tests/test-matrix.cpp:17: In function 'void std::__final_insertion_sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = libsemigroups::StaticRowView*; _Compare = __gnu_cxx::__ops::_Iter_comp_iter >():: >]', inlined from 'void std::__sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = libsemigroups::StaticRowView*; _Compare = __gnu_cxx::__ops::_Iter_comp_iter >():: >]' at /usr/include/c++/12.2.1/bits/stl_algo.h:1940:31, inlined from 'void std::sort(_RAIter, _RAIter, _Compare) [with _RAIter = libsemigroups::StaticRowView*; _Compare = libsemigroups::{anonymous}::test_BMat000 >()::]' at /usr/include/c++/12.2.1/bits/stl_algo.h:4853:18, inlined from 'void libsemigroups::{anonymous}::test_BMat000() [with Mat = libsemigroups::StaticMatrix]' at tests/test-matrix.cpp:166:18: /usr/include/c++/12.2.1/bits/stl_algo.h:1849:32: warning: array subscript 16 is outside array bounds of 'libsemigroups::detail::StaticVector1, 2> [1]' [-Warray-bounds] 1849 | std::__insertion_sort(__first, __first + int(_S_threshold), __comp); | ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ tests/test-matrix.cpp: In function 'void libsemigroups::{anonymous}::test_BMat000() [with Mat = libsemigroups::StaticMatrix]': tests/test-matrix.cpp:160:14: note: at offset 128 into object 'r' of size 24 160 | auto r = matrix_helpers::rows(m); | ^ CXXLD test_all make[1]: Leaving directory '/home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.3.2' ./test_all --use-colour yes --order lex --abort [quick] Filters: [quick] Action 001: row and column basis orbits for BMat8 . . . 95μs Action 002: row and column basis orbits for BMat8 . . . 3843μs Action 003: add generators after enumeration . . . 3568μs Action 004: multipliers for BMat8 row and column orbits . . . 8366μs Action 005: orbits for regular boolean mat monoid 5 . . . 303ms Action 007: partial perm image orbit . . . 261μs Action 008: partial perm image orbit . . . 64ms Action 009: partial perm image orbit . . . 72ms Action 010: partial perm image orbit . . . 74ms Action 011: permutation on integers . . . 19μs Action 012: permutation on sets, arrays . . . 106μs Action 013: permutation on tuples, arrays . . . 11ms Action 014: permutation on sets, vectors . . . 199μs Action 015: permutation on tuples, vectors . . . 20ms Action 016: misc . . . 7376μs Action 017: partial perm image orbit . . . 43μs Action 018: permutation on tuples, arrays (360360) . . . 196ms Action 019: orbits for regular BMat8 monoid 5 with stop/start . . . 297ms Action 021: orbits for regular boolean mat monoid 5 (BMat<5> [...] . . . 375ms ActionDigraph 000: constructor with 1 default arg . . . 22μs ActionDigraph 001: constructor with 0 default args . . . 38μs ActionDigraph 002: add nodes . . . 22μs ActionDigraph 003: add edges . . . 288μs ActionDigraph 004: strongly connected components - cycles . . . 39μs ActionDigraph 005: strongly connected components - no edges . . . 39ms ActionDigraph 006: strongly connected components - disjoint cycles . . . 1931μs ActionDigraph 007: strongly connected components - complete graphs . . . 815μs ActionDigraph 008: exceptions . . . 54μs ActionDigraph 009: spanning forest - complete graphs . . . 5051μs ActionDigraph 010: spanning forest - disjoint cycles . . . 135μs ActionDigraph 011: restrict . . . 12μs ActionDigraph 012: remove_edge_nc . . . 10μs ActionDigraph 013: scc large cycle . . . 18ms ActionDigraph 014: random . . . 25μs ActionDigraph 015: reserve . . . 11μs ActionDigraph 016: default constructors . . . 15μs ActionDigraph 017: scc iterators . . . 1342μs ActionDigraph 018: iterator to edges . . . 672μs ActionDigraph 019: root of scc . . . 357μs ActionDigraph 020: cbegin/end_panislo - 100 node path . . . 950μs ActionDigraph 021: cbegin/end_pislo . . . 48μs ActionDigraph 022: cbegin/end_pani(s)lo - 100 node cycle . . . 1569μs ActionDigraph 023: cbegin/cend_pilo - tree 14 nodes . . . 82μs ActionDigraph 024: cbegin/end_pstilo - Cayley digraph . . . 262ms ActionDigraph 025: cbegin_pstilo - Tsalakou . . . 412μs ActionDigraph 026: cbegin/end_pstislo - Cayley digraph . . . 250ms ActionDigraph 027: cbegin/end_pstislo - Cayley digraph . . . 198μs ActionDigraph 028: path iterators corner cases . . . 176μs ActionDigraph 029: reverse node iterator . . . 12μs ActionDigraph 030: pstilo corner case . . . 89μs ActionDigraph 031: number_of_paths corner cases . . . 68μs ActionDigraph 032: number_of_paths acyclic digraph . . . 9102μs ActionDigraph 033: number_of_paths binary tree . . . 367ms ActionDigraph 034: number_of_paths large binary tree . . . 116ms ActionDigraph 035: number_of_paths 400 node random digraph . . . 690μs ActionDigraph 036: number_of_paths 10 node acyclic digraph . . . 50μs ActionDigraph 037: number_of_paths node digraph . . . 5078μs ActionDigraph 038: random/random_acyclic exceptions . . . 114μs ActionDigraph 039: unsafe (next) neighbour . . . 62μs ActionDigraph 040: number_of_egdes incident to a node . . . 66μs ActionDigraph 041: number_of_paths (matrix) . . . 24ms ActionDigraph 042: number_of_paths (matrix) . . . 14μs ActionDigraph 043: swap_edge_nc . . . 11μs ActionDigraph 044: detail::pow for non-square Eigen matrix . . . 22μs ActionDigraph 045: operator<< . . . 16μs Array2 044: all . . . 55μs BMat8 001: transpose . . . 25μs BMat8 002: multiplication . . . 20μs BMat8 003: identity matrix . . . 14μs BMat8 004: random . . . 93μs BMat8 005: call operator . . . 19μs BMat8 006: operator<< . . . 17μs BMat8 007: set . . . 67μs BMat8 008: row space basis . . . 663μs BMat8 009: col space basis . . . 692μs BMat8 010: row space basis . . . 1492μs BMat8 011: number_of_rows, number_of_cols . . . 46μs BMat8 012: row_space, col_space . . . 206μs BMat8 013: rows . . . 44μs BMat8 014: one . . . 11μs BMat8 015: vector constructor . . . 80μs BMat8 016: operator< . . . 14μs BMat8 017: adapters . . . 21μs BMat8 018: one . . . 12μs Bipartition 009: mem fns 1 . . . 54μs Bipartition 010: hash . . . 9000ns Bipartition 011: mem fns 2 . . . 22μs Bipartition 012: delete/copy . . . 10μs Bipartition 013: degree 0 . . . 11μs Bipartition 014: exceptions . . . 38μs Bipartition 015: convenience constructor . . . 209μs Bipartition 016: force copy constructor over move constructor . . . 17μs Bipartition 017: adapters . . . 9000ns BitSet 000: size . . . 11μs BitSet 001: operator< . . . 10μs BitSet 002: operator== . . . 12μs BitSet 003: operator!= . . . 12μs BitSet 004: operator&= . . . 14μs BitSet 005: & . . . 23μs BitSet 006: operator|= . . . 18μs BitSet 007: operator[] . . . 18μs BitSet 008: set(none) . . . 19μs BitSet 009: set(pos, value) . . . 19μs BitSet 010: set(first, last, value) . . . 21μs BitSet 011: reset(first, last) . . . 20μs BitSet 012: reset(pos) . . . 21μs BitSet 013: apply (iterate through set bits) . . . 26μs BitSet 014: std::hash . . . 8000ns BitSet 015: constructors . . . 19μs BitSet 016: max_size . . . 9000ns BitSet 017: insertion operators . . . 12μs Blocks 001: empty blocks . . . 13μs Blocks 002: non-empty blocks . . . 13μs Blocks 003: left blocks of bipartition . . . 13μs Blocks 004: right blocks of bipartition . . . 13μs Blocks 005: copy [empty blocks] . . . 11μs Blocks 006: copy [non-empty blocks] . . . 12μs Blocks 007: hash value . . . 12μs Blocks 008: operator< . . . 12μs Congruence 000: left congruence on fp semigroup . . . 564μs Congruence 001: 2-sided congruence on fp semigroup . . . 340μs Congruence 002: left congruence on fp semigroup . . . 301μs Congruence 003: word_to_class_index for cong. on fp semigroup . . . 300μs Congruence 004: word_to_class_index for cong. on fp semigroup . . . 734μs Congruence 005: trivial congruence on non-fp semigroup . . . 460μs Congruence 006: 2-sided congruence on non-fp semigroup . . . 338μs Congruence 007: 2-sided congruence on fp semigroup . . . 603μs Congruence 008: 2-sided congruence on infinite fp semigroup . . . 476μs Congruence 009: 2-sided congruence on infinite fp semigroup . . . 438μs Congruence 010: 2-sided congruence on finite semigroup . . . 41ms Congruence 012: 2-sided congruence on finite semigroup . . . 3176μs Congruence 013: trivial 2-sided congruence on bicyclic monoid . . . 24ms Congruence 014: non-trivial 2-sided congruence on bicyclic monoid . . . 359μs Congruence 015: 2-sided congruence on free abelian monoid . . . 360μs Congruence 016: example where TC works but KB doesn't . . . 642μs Congruence 017: 2-sided congruence on finite semigroup . . . 494μs Congruence 018: infinite fp semigroup from GAP library . . . 582μs Congruence 019: 2-sided cong. on fp semigroup with infinite [...] . . . 339μs Congruence 020: trivial cong. on an fp semigroup . . .  -- with compute size 341μs  -- with don't compute size 276μs Congruence 021: duplicate generators . . . 527μs Congruence 022: non-trivial classes . . . 1083μs Congruence 023: right congruence on finite semigroup . . . 404ms Congruence 024: redundant generating pairs . . . 147μs Congruence 025: 2-sided cong. on free semigroup . . . 112μs Congruence 026: is_quotient_obviously_(in)finite . . . 1345μs Congruence 027: less . . . 409μs Congruence 028: 2-sided congruences of BMat8 semigroup . . . 208ms Congruence 029: left congruence on finite semigroup . . . 738μs Congruence 030: right congruence on finite semigroup . . . 716μs Congruence 031: right congruence on finite semigroup . . . 670μs Congruence 032: contains . . . 217μs Congruence 033: Stellar S2 . . . 829μs Congruence 034: Stellar S3 . . . 1506μs Congruence 035: Stellar S4 . . . 2509μs Congruence 036: Stellar S5 . . . 9018μs Congruence 037: Stellar S6 . . . 82ms Congruence 038: Stellar S7 . . . 823ms Congruence 039: left cong. on an f.p. semigroup . . . 1577μs Congruence 040: 2-sided cong. on infinite f.p. semigroup . . . 262μs Congruence 041: 2-sided congruence constructed from type only . . . 630μs Congruence 042: const_contains . . . 683μs Congruence 043: no winner . . . 8811μs Congruence 044: congruence over smalloverlap . . . 13ms CongruenceByPairs 001: (cong) 2-sided cong. on finite semigroup . . . 611μs CongruenceByPairs 002: (cong) left congruence on finite semigroup . . . 256μs CongruenceByPairs 003: (cong) right congruence on finite semigroup . . . 243μs CongruenceByPairs 004: (cong) trivial congruence on finite s [...] . . . 218μs CongruenceByPairs 005: (cong) trivial left congruence on fin [...] . . . 164μs CongruenceByPairs 006: (cong) trivial right congruence on fi [...] . . . 159μs CongruenceByPairs 007: (cong) universal congruence on finite [...] . . . 769μs CongruenceByPairs 009: (cong) 2-sided congruence on finite s [...] . . . 844ms CongruenceByPairs 010: (cong) left congruence on big finite [...] . . . 44ms CongruenceByPairs 011: (cong) left congruence on TCE . . . 334μs CongruenceByPairs 012: (cong) is_quotient_obviously_finite . . . 128μs CongruenceByPairs 013: (cong) class_index_to_word/quotient . . .  -- with right congruence 10ms  -- with left congruence 1648μs  -- with 2-sided congruence 8870μs CongruenceByPairs 014: (cong) const_word_to_class_index . . .  -- with right congruence 50μs  -- with left congruence 41μs  -- with 2-sided congruence 38μs CongruenceByPairs 015: (cong) size non-Element* . . . 40ms CongruenceInterface 000: add_pair . . .  -- with ToddCoxeter 138μs  -- with KnuthBendix 196μs  -- with CongruenceByPairs 150μs  -- with Congruence 505μs CongruenceInterface 001: contains/const_contains . . .  -- with ToddCoxeter and no parent 144μs  -- with KnuthBendix and no parent 166μs  -- with Congruence and parent 470μs  -- with CongruenceByPairs and parent 131μs CongruenceInterface 002: less . . .  -- with ToddCoxeter 110μs  -- with KnuthBendix 219μs  -- with CongruenceByPairs 127μs  -- with Congruence 426μs CongruenceInterface 003: is_quotient_obviously_(in)finite . . .  -- with ToddCoxeter 89μs  -- with KnuthBendix 154μs CongruenceInterface 004: is_quotient_obviously_(in)finite . . .  -- with CongruenceByPairs 171μs  -- with Congruence 424μs CongruenceInterface 005: parent_froidure_pin . . .  -- with ToddCoxeter 39μs  -- with KnuthBendix 32μs CongruenceInterface 006: parent_froidure_pin . . .  -- with CongruenceByPairs 123μs  -- with Congruence 444μs CongruenceInterface 007: cbegin/cend_ntc . . .  -- with ToddCoxeter 363μs  -- with KnuthBendix 1463μs CongruenceInterface 008: cbegin/cend_ntc . . .  -- with CongruenceByPairs 291μs  -- with Congruence 575μs CongruenceInterface 009: quotient is immutable . . .  -- with ToddCoxeter 107μs  -- with KnuthBendix 140μs  -- with Congruence 243μs CongruenceInterface 010: no generating pairs added . . .  -- with KnuthBendix and common behaviour 7523μs  -- with Congruence and common behaviour 7804μs  -- with ToddCoxeter 74μs CongruenceInterface 011: nr generators not set . . .  -- with ToddCoxeter 120μs  -- with KnuthBendix 118μs  -- with Congruence 141μs CongruenceInterface 012: no generating pairs . . . 243μs ConstIteratorStateless 001: ? . . . 14μs ConstIteratorStateless 002: ? . . . 13μs Constants 001: Undefined . . . 27μs Constants 002: PositiveInfinity . . . 21μs Constants 003: NegativeInfinity . . . 19μs Constants 004: LimitMax . . . 18μs Duf 004: unite . . . 38μs Duf 006: compress . . . 21μs Duf 008: resize . . . 26μs Duf 009: resize . . . 17μs Duf 010: big chain . . . 22ms Duf 012: empty table . . . 14μs Duf 014: join . . . 17μs Duf 016: contains . . . 35μs Duf 018: swap . . . 40μs DynamicArray2 001: default constructor with 3 default args . . . 27μs DynamicArray2 002: default constructor with 2 default args . . . 13μs DynamicArray2 003: default constructor with 1 default args . . . 15μs DynamicArray2 004: default constructor with 0 default args . . . 14μs DynamicArray2 005: copy constructor with 1 default args . . . 15μs DynamicArray2 006: copy constructor with 0 default args . . . 25μs DynamicArray2 007: add_rows . . . 17μs DynamicArray2 008: add_rows . . . 16μs DynamicArray2 009: add_cols . . . 45μs DynamicArray2 010: set/get . . . 64μs DynamicArray2 011: append 1/2 . . . 160μs DynamicArray2 012: append 2/2 . . . 283μs DynamicArray2 013: count . . . 23μs DynamicArray2 014: clear . . . 14μs DynamicArray2 015: begin_row and end_row . . . 83μs DynamicArray2 016: cbegin_row and cend_row . . . 29μs DynamicArray2 017: iterator operator++ (postfix) . . . 321μs DynamicArray2 018: iterator operator++ (prefix) . . . 1842μs DynamicArray2 019: iterator operator-- (postfix) . . . 402μs DynamicArray2 020: iterator operator-- (prefix) . . . 395μs DynamicArray2 021: operator= . . . 20μs DynamicArray2 022: operator== and operator!= . . . 359μs DynamicArray2 023: empty and clear . . . 19μs DynamicArray2 024: max_size . . . 13μs DynamicArray2 025: swap . . . 72μs DynamicArray2 026: iterator arithmetic . . . 1607μs DynamicArray2 027: iterator comparison . . . 18μs DynamicArray2 028: iterator operator= . . . 14μs DynamicArray2 029: iterator operator[] . . . 80μs DynamicArray2 030: iterator operator-> . . . 34μs DynamicArray2 031: const_iterator operator++/-- . . . 292μs DynamicArray2 032: const_iterator operator++/-- . . . 13μs DynamicArray2 033: column iterators . . . 28μs DynamicArray2 034: column iterator arithmetic . . . 6269μs DynamicArray2 035: iterator assignment constructor . . . 1679μs DynamicArray2 036: reserve method . . . 129μs DynamicArray2 037: erase column . . . 20μs DynamicArray2 038: swap_rows . . . 17μs DynamicArray2 039: apply_row_permutation . . . 16μs DynamicArray2 040: swap . . . 14μs DynamicArray2 041: shrink_rows_to . . . 21μs DynamicArray2 042: shrink_rows_to - for range . . . 22μs FastestBMat 046: check no throw . . . 23μs FelschTree 000: previously failing example . . . 36μs Forest 001: test forest . . . 74μs FpSemigroup 001: Renner monoid type B2 (E. G. presentation), q = 1 . . . 1110μs FpSemigroup 002: Renner monoid type B2 (E. G. presentation), q = 0 . . . 1036μs FpSemigroup 003: Renner monoid type B3 (E. G. presentation), q = 1 . . . 73ms FpSemigroup 004: Renner monoid type B3 (E. G. presentation), q = 0 . . . 78ms FpSemigroup 005: Renner monoid type B2 (Gay-Hivert presentat [...] . . . 1061μs FpSemigroup 006: Renner monoid type B2 (Gay-Hivert presentat [...] . . . 1028μs FpSemigroup 007: Renner monoid type B3 (Gay-Hivert presentat [...] . . . 4356μs FpSemigroup 008: Renner monoid type B3 (Gay-Hivert presentat [...] . . . 3777μs FpSemigroup 009: Renner monoid type B4 (Gay-Hivert presentat [...] . . . 342ms FpSemigroup 010: Renner monoid type B4 (Gay-Hivert presentat [...] . . . 454ms FpSemigroup 013: Renner monoid type D2 (E. G. presentation), q = 1 . . . 1439μs FpSemigroup 014: Renner monoid type D2 (E. G. presentation), q = 0 . . . 1575μs FpSemigroup 015: Renner monoid type D3 (E. G. presentation), q = 1 . . . 8378μs FpSemigroup 016: Renner monoid type D3 (E. G. presentation), q = 0 . . . 7119μs FpSemigroup 017: Renner monoid type D4 (E. G. presentation), q = 1 . . . 563ms FpSemigroup 018: Renner monoid type D4 (E. G. presentation), q = 0 . . . 548ms FpSemigroup 019: Renner monoid type D2 (Gay-Hivert presentat [...] . . . 1901μs FpSemigroup 020: Renner monoid type D2 (Gay-Hivert presentat [...] . . . 1793μs FpSemigroup 021: Renner monoid type D3 (Gay-Hivert presentat [...] . . . 6173μs FpSemigroup 022: Renner monoid type D3 (Gay-Hivert presentat [...] . . . 5473μs FpSemigroup 023: Renner monoid type D4 (Gay-Hivert presentat [...] . . . 103ms FpSemigroup 024: Renner monoid type D4 (Gay-Hivert presentat [...] . . . 112ms FpSemigroup 029: Rook monoid R5, q = 0 . . . 7658μs FpSemigroup 030: Rook monoid R5, q = 1 . . . 6042μs FpSemigroup 031: Rook monoid R6, q = 0 . . . 55ms FpSemigroup 032: Rook monoid R6, q = 1 . . . 49ms FpSemigroup 033: normal_form . . . 449μs FpSemigroup 034: for a finite semigroup . . . 1174μs FpSemigroup 035: finite fp semigroup, dihedral group of order 6 . . . 885μs FpSemigroup 036: finite fp semigroup, size 16 . . . 1180μs FpSemigroup 037: finite fp semigroup, size 16 . . . 1947μs FpSemigroup 038: fp semigroup, size 240 . . . 1020μs FpSemigroup 039: add_rule . . . 307μs FpSemigroup 040: add_rule . . . 173μs FpSemigroup 041: equal_to . . . 281μs FpSemigroup 042: cbegin/cend_rules . . . 119μs FpSemigroup 043: semigroup of size 3 . . . 676μs FpSemigroup 044: run_for/until . . . 3233μs FpSemigroup 045: constructors . . . 345μs FpSemigroup 046: set_inverses . . . 190μs FpSemigroup 047: smalloverlap . . . 17ms FpSemigroup 048: quaternion group Q8 . . . 812μs FpSemigroup 049: symmetric group Coxeter presentation . . . 31ms FpSemigroupByPairs 029: (fpsemi) 2-sided congruence on finit [...] . . . 969μs FpSemigroupByPairs 030: (fpsemi) 2-sided congruence on finit [...] . . . 919μs FpSemigroupInterface 000: run with no alphabet . . .  -- with ToddCoxeter 132μs  -- with KnuthBendix 55μs  -- with FpSemigroup 67μs FpSemigroupInterface 001: equal_to . . .  -- with ToddCoxeter and human readable alphabet 2549μs  -- with KnuthBendix and human readable alphabet 7553μs  -- with FpSemigroup and human readable alphabet 6738μs  -- with FpSemigroupByPairs 4822μs FpSemigroupInterface 002: normal_form . . .  -- with ToddCoxeter 300μs  -- with KnuthBendix 387μs  -- with FpSemigroup 801μs FpSemigroupInterface 003: set_alphabet (1/2) . . .  -- with ToddCoxeter 164μs  -- with KnuthBendix 125μs  -- with FpSemigroup 144μs FpSemigroupInterface 004: set_alphabet (2/2) . . . 1991μs FpSemigroupInterface 005: add_rule after finished . . .  -- with ToddCoxeter and human readable alphabet 250μs  -- with KnuthBendix and human readable alphabet 292μs  -- with FpSemigroup and human readable alphabet 572μs  -- with FpSemigroupByPairs 1949μs FpSemigroupInterface 006: add_rule with equal words (1/2) . . .  -- with ToddCoxeter and human readable alphabet 377μs  -- with KnuthBendix and human readable alphabet 474μs  -- with FpSemigroup and human readable alphabet 648μs  -- with FpSemigroupByPairs 356μs FpSemigroupInterface 007: add_rule with equal words (2/2) . . .  -- with ToddCoxeter 50μs  -- with KnuthBendix 39μs  -- with FpSemigroup 55μs FpSemigroupInterface 008: add_rule with word_type . . .  -- with ToddCoxeter 92μs  -- with KnuthBendix 71μs  -- with FpSemigroup 128μs FpSemigroupInterface 009: add_rule with empty word (1/2) . . .  -- with ToddCoxeter 66μs  -- with FpSemigroup 69μs FpSemigroupInterface 010: add_rule with empty word (1/2) . . . 31μs FpSemigroupInterface 011: add_rules (1/3) . . .  -- with ToddCoxeter 76μs  -- with KnuthBendix 64μs  -- with FpSemigroup 75μs FpSemigroupInterface 012: add_rules (2/3) . . . 744μs FpSemigroupInterface 013: add_rules (3/3) . . .  -- with ToddCoxeter 56μs  -- with KnuthBendix 44μs  -- with FpSemigroup 107μs FpSemigroupInterface 014: set_identity (1/3) . . .  -- with ToddCoxeter 184μs  -- with KnuthBendix 165μs  -- with FpSemigroup 276μs FpSemigroupInterface 015: set_identity (2/3) . . . 455μs FpSemigroupInterface 016: set_identity (3/3) . . .  -- with ToddCoxeter 127μs  -- with KnuthBendix 113μs  -- with FpSemigroup 221μs FpSemigroupInterface 017: identity . . .  -- with ToddCoxeter 59μs  -- with KnuthBendix 42μs  -- with FpSemigroup 55μs FpSemigroupInterface 018: set_inverses + inverses (1/2) . . .  -- with ToddCoxeter 241μs  -- with KnuthBendix 225μs  -- with FpSemigroup 374μs FpSemigroupInterface 019: set_inverses + inverses (2/2) . . . 532μs FpSemigroupInterface 020: is_obviously_infinite (1/2) . . .  -- with ToddCoxeter 237μs  -- with KnuthBendix 320μs  -- with FpSemigroup 537μs FpSemigroupInterface 021: is_obviously_infinite (2/2) . . . 67μs FpSemigroupInterface 022: is_obviously_finite (1/2) . . .  -- with ToddCoxeter 214μs  -- with KnuthBendix 281μs  -- with FpSemigroup 544μs FpSemigroupInterface 023: is_obviously_finite (2/2) . . . 64μs FpSemigroupInterface 024: to_gap_string (1/3) . . .  -- with ToddCoxeter 55μs  -- with KnuthBendix 44μs  -- with FpSemigroup 106μs FpSemigroupInterface 025: to_gap_string (2/3) . . . 30μs FpSemigroupInterface 026: to_gap_string (3/3) . . . 51μs FroidurePin 015: (BMat8) regular boolean mat monoid 4 . . . 130ms FroidurePin 016: (BMat8) exception zero generators given . . . 20μs FroidurePin 017: (BMat8) exception word_to_element . . . 100μs FroidurePin 018: (BMat8) exception prefix . . . 2244μs FroidurePin 019: (BMat8) exception suffix . . . 27μs FroidurePin 020: (BMat8) exception first_letter . . . 2205μs FroidurePin 021: (BMat8) exception final_letter . . . 26μs FroidurePin 022: (BMat8) exception current_length . . . 2190μs FroidurePin 023: (BMat8) exception product_by_reduction . . . 2016μs FroidurePin 024: (BMat8) exception fast_product . . . 1603μs FroidurePin 025: (BMat8) exception is_idempotent . . . 63ms FroidurePin 026: (BMat8) copy constructor . . .  -- with fully enumerated 72ms  -- with partially enumerated 54ms  -- with not enumerated 49ms FroidurePin 027: (BMat8) cbegin/end_rules . . . 71μs FroidurePin 031: (integers) . . . 250μs FroidurePin 039: (pairs of integers) non-trivial user type . . . 40μs FroidurePin 055: (tropical max-plus semiring matrices) . . . 350μs FroidurePin 061: projective max plus matrix . . . 1250μs FroidurePin 062: projective max plus matrix . . . 44μs FroidurePin> 009: small example 2 . . . 64μs FroidurePin> 005: small example 1 . . . 158μs FroidurePin> 007: regular bmat monoid 4 . . . 87ms FroidurePin> 011: small example 3 . . . 766μs FroidurePin> 006: small example 1 . . . 210μs FroidurePin> 008: regular bmat monoid 4 . . . 108ms FroidurePin> 010: small example 2 . . . 62μs FroidurePin> 012: small example 3 . . . 934μs FroidurePin 000: small example 1 . . . 217μs FroidurePin 001: default constructed . . . 135μs FroidurePin 002: small example 2 . . . 61μs FroidurePin 004: exception: is_idempotent . . . 211μs FroidurePin> 033: Example 000 . . . 872μs FroidurePin> 035: Example 001 . . . 53μs FroidurePin> 032: Example 000 . . . 743μs FroidurePin> 034: Example 001 . . . 47μs FroidurePin 036: exception: current_position . . . 149μs FroidurePin 037: exception: word_to_element . . . 85μs FroidurePin 038: exception: prefix, suffix, first_letter . . . 26ms FroidurePin> 040: Example 000 . . . 109μs FroidurePin> 041: Example 000 . . . 69μs FroidurePin> 046: Example 005 . . . 213μs FroidurePin> 047: Example 005 . . . 239μs FroidurePin> 048: Example 005 . . . 224μs FroidurePin> 044: Example 004 . . . 38μs FroidurePin> 045: Example 004 . . . 44μs FroidurePin> 049: Example 006 . . . 1369μs FroidurePin> 050: Example 006 . . . 1579μs FroidurePin> 051: Example 006 . . . 1610μs FroidurePin> 052: Example 007 . . . 194μs FroidurePin> 053: Example 007 . . . 214μs FroidurePin> 054: Example 007 . . . 230μs FroidurePin 056: example 1 . . . 296μs FroidurePin 057: example 2 . . . 229μs FroidurePin> 058: . . . 822μs FroidurePin> 059: . . . 64μs FroidurePin> 060: exceptions: add_generator(s) . . . 76μs FroidurePin> 065: no exception zero generators given . . . 19μs FroidurePin> 066: exception generators of different [...] . . . 103μs FroidurePin> 067: exception current_position . . . 56μs FroidurePin> 068: exception word_to_element . . . 57μs FroidurePin> 069: exception gens . . . 755μs FroidurePin> 070: exception prefix . . . 34ms FroidurePin> 071: exception suffix . . . 182ms FroidurePin> 072: exception first_letter . . . 88μs FroidurePin> 073: exception final_letter . . . 80μs FroidurePin> 074: exception current_length . . . 47μs FroidurePin> 075: exception product_by_reduction . . . 384μs FroidurePin> 076: exception fast_product . . . 408μs FroidurePin> 077: exception current_position . . . 560μs FroidurePin> 078: exception is_idempotent . . . 618μs FroidurePin> 079: exception add_generators . . . 38μs FroidurePin> 080: multithread number_of_idempotents . . . 626μs FroidurePin> 081: small semigroup . . . 27μs FroidurePin> 082: large semigroup . . . 7162μs FroidurePin> 083: at, position, current_* . . . 7193μs FroidurePin> 084: run . . . 6664μs FroidurePin> 085: run [many stops and starts] . . . 6863μs FroidurePin> 086: factorisation, length [1 element] . . . 6845μs FroidurePin> 087: factorisation, products [all elements] . . . 8288μs FroidurePin> 088: first/final letter, prefix, suffi [...] . . . 6835μs FroidurePin> 089: current_position [standard] . . . 25μs FroidurePin> 090: current_position [duplicate gens] . . . 13ms FroidurePin> 091: current_position [after add_generators] . . . 7482μs FroidurePin> 092: cbegin_idempotents/cend [1 thread] . . . 7892μs FroidurePin> 093: idempotent_cend/cbegin [1 thread] . . . 7466μs FroidurePin> 094: is_idempotent [1 thread] . . . 7101μs FroidurePin> 096: finished, started . . . 6928μs FroidurePin> 097: current_position . . . 1656μs FroidurePin> 098: sorted_position, sorted_at . . . 8599μs FroidurePin> 099: right/left Cayley graph . . . 31ms FroidurePin> 100: iterator . . . 10ms FroidurePin> 101: reverse iterator . . . 10ms FroidurePin> 102: iterator arithmetic . . . 27ms FroidurePin> 103: iterator sorted . . . 24ms FroidurePin> 104: iterator sorted arithmetic . . . 29ms FroidurePin> 105: copy [not enumerated] . . . 7066μs FroidurePin> 106: copy_closure [not enumerated] . . . 44ms FroidurePin> 107: copy_add_generators [not enumerated] . . . 41ms FroidurePin> 108: copy [partly enumerated] . . . 7625μs FroidurePin> 109: copy_closure [partly enumerated] . . . 12ms FroidurePin> 110: copy_add_generators [partly enumerated] . . . 7719μs FroidurePin> 111: copy [fully enumerated] . . . 10ms FroidurePin> 112: copy_closure [fully enumerated] . . . 11ms FroidurePin> 113: copy_add_generators [fully enumerated] . . . 10ms FroidurePin> 114: relations [duplicate gens] . . . 207μs FroidurePin> 115: relations . . . 9186μs FroidurePin> 116: relations [copy_closure, duplicat [...] . . . 12ms FroidurePin> 117: relations [copy_add_generators, d [...] . . . 12ms FroidurePin> 118: relations [from copy, not enumerated] . . . 8089μs FroidurePin> 119: relations [from copy, partly enum [...] . . . 15ms FroidurePin> 120: relations [from copy, fully enumerated] . . . 13ms FroidurePin> 121: relations [from copy_closure, not [...] . . . 13ms FroidurePin> 122: relations [from copy_add_generato [...] . . . 8052μs FroidurePin> 123: relations [from copy_closure, par [...] . . . 12ms FroidurePin> 124: relations [from copy_add_generato [...] . . . 9670μs FroidurePin> 125: relations [from copy_closure, ful [...] . . . 14ms FroidurePin> 126: relations [from copy_add_generato [...] . . . 12ms FroidurePin> 127: add_generators [duplicate generators] . . . 377μs FroidurePin> 128: add_generators [incremental 1] . . . 475μs FroidurePin> 129: add_generators [incremental 2] . . . 503μs FroidurePin> 130: closure [duplicate generators] . . . 232μs FroidurePin> 131: closure . . . 109μs FroidurePin> 132: factorisation . . . 23μs FroidurePin> 134: minimal_factorisation . . . 52μs FroidurePin> 135: batch_size (for an extremely larg [...] . . . 21μs FroidurePin> 137: exception: generators of differen [...] . . . 44μs FroidurePin> 138: exception: current_position . . . 58μs FroidurePin> 139: exception: word_to_element . . . 46μs FroidurePin> 140: exception: gens, current_position . . . 700μs FroidurePin> 141: exception: add_generators . . . 32μs KBE 000: constructors . . . 43μs KBE 001: test . . . 64μs KBE 002: factorisation . . . 47μs KBE 003: swap . . . 33μs KBE 004: adapters . . . 29μs KBE 005: conversions . . . 29μs Kambites 000: (fpsemi) MT test 4 (std::string) . . . 7110μs Kambites 001: (fpsemi) MT test 4 (MultiStringView) . . . 7453μs Kambites 002: (fpsemi) number_of_pieces (std::string) . . . 133μs Kambites 003: (fpsemi) number_of_pieces (MultiStringView) . . . 122μs Kambites 004: (fpsemi) small_overlap_class (std::string) . . . 3943μs Kambites 005: (fpsemi) small_overlap_class (MultiStringView) . . . 3911μs Kambites 006: (fpsemi) random (std::string) . . . 11ms Kambites 007: (fpsemi) random (MultiStringView) . . . 11ms Kambites 008: (fpsemi) KnuthBendix 055 (std::string) . . . 17ms Kambites 009: (fpsemi) KnuthBendix 055 (MultiStringView) . . . 18ms Kambites 010: (fpsemi) smalloverlap/gap/test.gi:85 (std::string) . . . 74μs Kambites 011: (fpsemi) smalloverlap/gap/test.gi:85 (MultiStr [...] . . . 80μs Kambites 012: (fpsemi) free semigroup . . . 12μs Kambites 013: (fpsemi) smalloverlap/gap/test.gi:49 (std::string) . . . 38ms Kambites 014: (fpsemi) smalloverlap/gap/test.gi:49 (MultiStr [...] . . . 44ms Kambites 015: (fpsemi) smalloverlap/gap/test.gi:63 (std::string) . . . 39ms Kambites 016: (fpsemi) smalloverlap/gap/test.gi:63 (MultiStr [...] . . . 49ms Kambites 017: (fpsemi) smalloverlap/gap/test.gi:70 (std::string) . . . 144ms Kambites 018: (fpsemi) smalloverlap/gap/test.gi:70 (MultiStr [...] . . . 180ms Kambites 021: (fpsemi) code coverage (std::string) . . . 51μs Kambites 022: (fpsemi) code coverage (MultiStringView) . . . 58μs Kambites 023: (fpsemi) prefix (std::string) . . . 69μs Kambites 024: (fpsemi) prefix (MultiStringView) . . . 95μs Kambites 025: (fpsemi) normal_form (Example 3.15) (std::string) . . . 73μs Kambites 026: (fpsemi) normal_form (Example 3.15) (MultiStri [...] . . . 89μs Kambites 027: (fpsemi) normal_form (Example 3.16) (std::string) . . . 52μs Kambites 028: (fpsemi) normal_form (Example 3.16) (MultiStri [...] . . . 80μs Kambites 029: (fpsemi) normal_form (Example 3.16) more exhau [...] . . . 78ms Kambites 030: (fpsemi) normal_form (Example 3.16) more exhau [...] . . . 74ms Kambites 031: (fpsemi) small presentation (std::string) . . . 90μs Kambites 032: (fpsemi) small presentation (MultiStringView) . . . 47μs Kambites 033: (fpsemi) non-smalloverlap (std::string) . . . 53μs Kambites 034: (fpsemi) non-smalloverlap (MultiStringView) . . . 51μs Kambites 035: (fpsemi) MT test 3 (std::string) . . . 51μs Kambites 036: (fpsemi) MT test 3 (MultiStringView) . . . 48μs Kambites 037: (fpsemi) MT test 5 (std::string) . . . 28μs Kambites 038: (fpsemi) MT test 5 (MultiStringView) . . . 29μs Kambites 039: (fpsemi) MT test 6 (std::string) . . . 42μs Kambites 040: (fpsemi) MT test 6 (MultiStringView) . . . 48μs Kambites 041: (fpsemi) MT test 10 (std::string) . . . 37μs Kambites 042: (fpsemi) MT test 10 (MultiStringView) . . . 42μs Kambites 043: (fpsemi) MT test 13 (std::string) . . . 28μs Kambites 044: (fpsemi) MT test 13 (MultiStringView) . . . 30μs Kambites 045: (fpsemi) MT test 14 (std::string) . . . 28μs Kambites 046: (fpsemi) MT test 14 (MultiStringView) . . . 34μs Kambites 047: (fpsemi) MT test 15 (std::string) . . . 39μs Kambites 048: (fpsemi) MT test 15 (MultiStringView) . . . 39μs Kambites 049: (fpsemi) MT test 16 (std::string) . . . 40μs Kambites 050: (fpsemi) MT test 16 (MultiStringView) . . . 43μs Kambites 051: (fpsemi) MT test 17 (std::string) . . . 133μs Kambites 052: (fpsemi) MT test 17 (MultiStringView) . . . 146μs Kambites 053: (fpsemi) weak C(4) not strong x 1 (std::string) . . . 486μs Kambites 054: (fpsemi) weak C(4) not strong x 1 (MultiStringView) . . . 590μs Kambites 055: (fpsemi) weak C(4) not strong x 2 (std::string) . . . 487μs Kambites 056: (fpsemi) weak C(4) not strong x 2 (MultiStringView) . . . 588μs Kambites 057: (fpsemi) weak C(4) not strong x 3 (std::string) . . . 481μs Kambites 058: (fpsemi) weak C(4) not strong x 3 (MultiStringView) . . . 521μs Kambites 059: (fpsemi) weak C(4) not strong x 4 (std::string) . . . 87μs Kambites 060: (fpsemi) weak C(4) not strong x 4 (MultiStringView) . . . 106μs Kambites 061: (fpsemi) weak C(4) not strong x 5 (std::string) . . . 27μs Kambites 062: (fpsemi) weak C(4) not strong x 5 (MultiStringView) . . . 22μs Kambites 063: (fpsemi) weak C(4) not strong x 6 (std::string) . . . 36μs Kambites 064: (fpsemi) weak C(4) not strong x 6 (MultiStringView) . . . 39μs Kambites 065: (fpsemi) Konovalov example (std::string) . . . 24μs Kambites 066: (fpsemi) Konovalov example (MultiStringView) . . . 22μs Kambites 067: (fpsemi) long words (std::string) . . . 1349ms Kambites 068: (fpsemi) long words (MultiStringView) . . . 35ms Kambites 075: (cong) example 1 . . . 49μs Kambites 076: (cong) example 2 . . . 116μs Kambites 077: (cong) code coverage . . . 7560μs Kambites 078: (cong) large number of rules . . . 282ms KnuthBendix 000: (fpsemi) confluent fp semigroup 1 (infinite) . . . 93μs KnuthBendix 001: (fpsemi) confluent fp semigroup 2 (infinite) . . . 106μs KnuthBendix 002: (fpsemi) confluent fp semigroup 3 (infinite) . . . 101μs KnuthBendix 003: (fpsemi) non-confluent fp semigroup from wi [...] . . . 192μs KnuthBendix 004: (fpsemi) Example 5.1 in Sims (infinite) . . . 168μs KnuthBendix 005: (fpsemi) Example 5.1 in Sims (infinite) . . . 184μs KnuthBendix 006: (fpsemi) Example 5.3 in Sims . . . 106μs KnuthBendix 007: (fpsemi) Example 5.4 in Sims . . . 104μs KnuthBendix 008: (fpsemi) Example 6.4 in Sims (size 168) . . . 7291μs KnuthBendix 009: (fpsemi) . . . 51ms KnuthBendix 010: (fpsemi) SL(2, 7) from Chapter 3, Propositi [...] . . . 73ms KnuthBendix 011: (fpsemi) F(2, 5) - Chapter 9, Section 1 in [...] . . . 389μs KnuthBendix 012: (fpsemi) Reinis example 1 . . . 174μs KnuthBendix 013: redundant_rule (std::string) . . . 100ms KnuthBendix 014: redundant_rule (word_type) . . . 10ms KnuthBendix 019: (fpsemi) C(4) monoid . . . 47μs KnuthBendix 020: (cong) Chinese monoid . . . 116μs KnuthBendix 021: (from kbmag/standalone/kb_data/f25monoid) . . . 454μs KnuthBendix 022: (from kbmag/standalone/kb_data/degen4a) . . . 47ms KnuthBendix 023: (from kbmag/standalone/kb_data/torus) . . . 2185μs KnuthBendix 024: (from kbmag/standalone/kb_data/3a6) . . . 228ms KnuthBendix 025: (from kbmag/standalone/kb_data/f2) . . . 52μs KnuthBendix 026: (from kbmag/standalone/kb_data/s16) . . . 62ms KnuthBendix 027: (from kbmag/standalone/kb_data/a4monoid) . . . 54μs KnuthBendix 028: (from kbmag/standalone/kb_data/degen3) . . . 21μs KnuthBendix 029: (from kbmag/standalone/kb_data/ab1) . . . 21μs KnuthBendix 030: (from kbmag/standalone/kb_data/degen2) . . . 17μs KnuthBendix 031: (from kbmag/standalone/kb_data/f25) . . . 379μs KnuthBendix 032: (from kbmag/standalone/kb_data/237) . . . 501μs KnuthBendix 033: (from kbmag/standalone/kb_data/c2) . . . 17μs KnuthBendix 034: (from kbmag/standalone/kb_data/cosets) . . . 178μs KnuthBendix 035: Example 5.1 in Sims (KnuthBendix 09 again) . . . 43μs KnuthBendix 036: (from kbmag/standalone/kb_data/nilp2) . . . 27μs KnuthBendix 037: Example 6.4 in Sims . . . 11ms KnuthBendix 038: KnuthBendix 071 again . . . 559μs KnuthBendix 039: Example 5.4 in Sims (KnuthBendix 11 again) [...] . . . 166μs KnuthBendix 040: Example 5.4 in Sims (KnuthBendix 11 again) [...] . . . 111μs KnuthBendix 041: operator<< . . . 49μs KnuthBendix 042: confluence_interval . . . 15μs KnuthBendix 043: max_overlap . . . 15μs KnuthBendix 044: (fpsemi) (from kbmag/standalone/kb_data/d22 [...] . . . 1003μs KnuthBendix 045: (fpsemi) (from kbmag/standalone/kb_data/d22 [...] . . . 1902μs KnuthBendix 046: (fpsemi) small example . . . 658μs KnuthBendix 047: code coverage . . . 83μs KnuthBendix 048: small overlap 1 . . . 51μs KnuthBendix 049: (from kbmag/standalone/kb_data/s9) . . . 1315μs KnuthBendix 050: (fpsemi) Chapter 11, Lemma 1.8 (q = 6, r = [...] . . . 501μs KnuthBendix 051: (fpsemi) Chapter 11, Section 2 (q = 6, r = [...] . . . 113μs KnuthBendix 052: (fpsemi) Chapter 8, Theorem 4.2 in NR (infinite) . . . 197μs KnuthBendix 053: (fpsemi) equal_to fp semigroup . . . 45μs KnuthBendix 054: (fpsemi) equal_to free semigroup . . . 53μs KnuthBendix 055: (fpsemi) from GAP smalloverlap gap/test.gi [...] . . . 280μs KnuthBendix 056: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 456μs KnuthBendix 057: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 453μs KnuthBendix 058: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 1230μs KnuthBendix 059: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 2881μs KnuthBendix 060: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 30μs KnuthBendix 061: (fpsemi) Von Dyck (2,3,7) group (infinite) . . . 440μs KnuthBendix 062: (fpsemi) Von Dyck (2,3,7) group - different [...] . . . 4149μs KnuthBendix 063: (fpsemi) rewriting system from KnuthBendixC [...] . . . 320μs KnuthBendix 064: (fpsemi) rewriting system from Congruence 20 . . . 29μs KnuthBendix 065: (fpsemi) (from kbmag/standalone/kb_data/ab2) . . . 90μs KnuthBendix 066: (fpsemi) (from kbmag/standalone/kb_data/d22 [...] . . . 1100μs KnuthBendix 067: (fpsemi) (from kbmag/standalone/kb_data/degen1) . . . 40μs KnuthBendix 068: (fpsemi) (from kbmag/standalone/kb_data/s4) . . . 284μs KnuthBendix 069: (fpsemi) fp semigroup (infinite) . . . 47μs KnuthBendix 070: (fpsemi) Chapter 11, Section 1 (q = 4, r = [...] . . . 1557μs KnuthBendix 071: (fpsemi) Chapter 11, Section 1 (q = 8, r = [...] . . . 97ms KnuthBendix 072: (fpsemi) Chapter 7, Theorem 3.9 in NR (size 240) . . . 3100μs KnuthBendix 073: (fpsemi) F(2, 5) - Chapter 9, Section 1 in [...] . . . 403μs KnuthBendix 074: (fpsemi) F(2, 6) - Chapter 9, Section 1 in NR . . . 377μs KnuthBendix 075: (fpsemi) Chapter 10, Section 4 in NR (infinite) . . . 710μs KnuthBendix 076: (fpsemi) Sym(5) from Chapter 3, Proposition [...] . . . 2546μs KnuthBendix 077: (fpsemi) SL(2, 7) from Chapter 3, Propositi [...] . . . 71ms KnuthBendix 078: (fpsemi) bicyclic monoid (infinite) . . . 57μs KnuthBendix 079: (fpsemi) plactic monoid of degree 2 (infinite) . . . 75μs KnuthBendix 080: (fpsemi) example before Chapter 7, Proposit [...] . . . 55μs KnuthBendix 081: (fpsemi) Chapter 7, Theorem 3.6 in NR (size 243) . . . 734μs KnuthBendix 082: (fpsemi) finite semigroup (size 99) . . . 232μs KnuthBendix 096: Sorouhesh . . . 352μs KnuthBendix 097: (fpsemi) transformation semigroup (size 4) . . . 58μs KnuthBendix 098: (fpsemi) transformation semigroup (size 9) . . . 62μs KnuthBendix 099: (fpsemi) transformation semigroup (size 88) . . . 693μs KnuthBendix 100: internal_string_to_word . . . 38μs KnuthBendix 101: (fpsemi) construct from shared_ptr . . . 677μs KnuthBendix 102: internal_string_to_word . . . 697μs KnuthBendix 103: (cong) free semigroup congruence (5 classes) . . . 71μs KnuthBendix 104: free semigroup congruence (6 classes) . . . 210μs KnuthBendix 105: (cong) free semigroup congruence (16 classes) . . . 286μs KnuthBendix 106: (cong) free semigroup congruence (6 classes) . . . 395μs KnuthBendix 107: (cong) free semigroup congruence (240 classes) . . . 3033μs KnuthBendix 108: (cong) free semigroup congruence (240 classes) . . . 3021μs KnuthBendix 109: (cong) less . . . 3538μs KnuthBendix 110: (cong) less . . . 171ms KnuthBendix 111: (cong) constructors . . . 244ms KnuthBendix 112: (cong) const_contains/contains . . . 163μs KnuthBendix 113: (cong) is_quotient_obviously_finite . . . 22μs KnuthBendix 114: (cong) class_index_to_word . . . 175μs KnuthBendix 115: (cong) quotient_froidure_pin . . . 128μs KnuthBendix 116: (cong) set_number_of_generators . . . 25μs KnuthBendix 117: (cong) number of classes when obv-inf . . . 40μs KnuthBendixCongruenceByPairs 016: non-trivial congruence on [...] . . . 171μs KnuthBendixCongruenceByPairs 017: non-trivial congruence on [...] . . . 164μs KnuthBendixCongruenceByPairs 018: non-trivial congruence on [...] . . . 253μs KnuthBendixCongruenceByPairs 019: non-trivial congruence on [...] . . . 247μs KnuthBendixCongruenceByPairs 020: trivial congruence on a fi [...] . . . 184μs KnuthBendixCongruenceByPairs 021: universal congruence on a [...] . . . 510μs KnuthBendixCongruenceByPairs 022: left congruence on a finit [...] . . . 256μs KnuthBendixCongruenceByPairs 023: finite group, Chapter 11, [...] . . . 3930μs KnuthBendixCongruenceByPairs 024: right congruence on infini [...] . . . 277μs KnuthBendixCongruenceByPairs 025: finite fp semigroup, dihed [...] . . . 292μs KnuthBendixCongruenceByPairs 026: finite fp semigroup, size 16 . . . 309μs KnuthBendixCongruenceByPairs 027: finite fp semigroup, size 16 . . . 881μs KnuthBendixCongruenceByPairs 028: infinite fp semigroup with [...] . . . 66μs Konieczny 000: test000> . . . 1076μs Konieczny 001: test000> . . . 804μs Konieczny 002: test001> . . . 11ms Konieczny 003: test001> . . . 8866μs Konieczny 006: exceptions . . . 58μs Konieczny 007: code coverage . . . 13ms Konieczny 008: code coverage . . . 11ms Konieczny 009: regular elements and idempotents . . . 208ms Konieczny 010: regular D-class 01 . . . 1012μs Konieczny 011: regular D-class 02 . . . 10ms Konieczny 012: regular D-class 04: contains . . . 32ms Konieczny 013: non-regular D-classes 01 . . . 1060μs Konieczny 014: RegularDClass . . . 631μs Konieczny 015: full bmat monoid 4 . . . 45ms Konieczny 017: regular generated bmat monoid 4 idempotents . . . 88ms Konieczny 019: my favourite example . . . 96ms Konieczny 020: another large example . . . 17ms Konieczny 021: my favourite example transposed . . . 77ms Konieczny 024: exceptions . . . 1151μs Konieczny 025: 0-parameter constructor . . . 19ms Konieczny 026: non-regular D-classes 02 . . . 11ms Konieczny 028: partial perm . . . 173ms Konieczny 029: symmetric inverse monoid n = 8 . . . 31ms Konieczny 030: exceptions . . . 218ms Konieczny 031: transformations . . . 872μs Konieczny 032: transformations - JDM favourite example . . . 111ms Konieczny 033: transformations - large example . . . 274ms Konieczny 034: transformations - large example with stop . . . 275ms Konieczny 035: transformations - large example with run_until . . . 275ms Konieczny 036: transformations - large example with stop in Action . . . 275ms Konieczny 037: exceptions . . . 57μs Konieczny 038: transformations: contains . . . 590μs Konieczny 040: transformations - destructor coverage . . . 221ms Konieczny 041: current_number_D_classes . . . 224ms Matrix 000: BMat<2> . . . 99μs Matrix 001: BMat<> . . . 71μs Matrix 002: BMat<3> + BMat<> . . . 11μs Matrix 003: BMat<2> + BMat<> . . . 11μs Matrix 004: BMat<3> . . . 12μs Matrix 005: BMat<> . . . 13μs Matrix 006: BMat<3> row_basis . . . 33μs Matrix 007: BMat<> row_basis . . . 37μs Matrix 008: IntMat<3> . . . 14μs Matrix 009: IntMat<> . . . 17μs Matrix 010: IntMat code cov . . . 10μs Matrix 011: MaxPlusMat<3> . . . 13μs Matrix 012: MaxPlusMat<> . . . 14μs Matrix 013: MaxPlusMat code cov . . . 8000ns Matrix 014: MinPlusMat<3> . . . 15μs Matrix 015: MinPlusMat<> . . . 19μs Matrix 016: MinPlusMat code cov . . . 8000ns Matrix 017: MaxPlusTruncMat<5, 2> . . . 21μs Matrix 018: MaxPlusTruncMat<5> . . . 18μs Matrix 019: MaxPlusTruncMat<> . . . 33μs Matrix 020: MaxPlusTruncMat<5, 4> . . . 18μs Matrix 021: MaxPlusTruncMat<5> . . . 18μs Matrix 022: MaxPlusTruncMat<> . . . 18μs Matrix 023: MaxPlusTruncMat<33, 3> . . . 30μs Matrix 024: MaxPlusTruncMat<33> . . . 27μs Matrix 025: MaxPlusTruncMat<> . . . 27μs Matrix 026: MaxPlusMat code cov . . . 9000ns Matrix 027: MinPlusTruncMat<33, 3> . . . 28μs Matrix 028: MinPlusTruncMat<33> . . . 35μs Matrix 029: MinPlusTruncMat<> . . . 37μs Matrix 030: NTPMat<0, 3, 3, 3> . . . 15μs Matrix 031: NTPMat<0, 3> . . . 16μs Matrix 032: NTPMat<> . . . 32μs Matrix 033: NTPMat<0, 10, 4, 4> . . . 23μs Matrix 034: NTPMat<0, 10> . . . 20μs Matrix 035: NTPMat<> . . . 19μs Matrix 036: NTPMat<0, 10, 4, 4> . . . 18μs Matrix 037: NTPMat<0, 10> . . . 23μs Matrix 038: NTPMat<> . . . 18μs Matrix 039: NTPMat<33, 2, 3, 3> . . . 15μs Matrix 040: NTPMat<33, 2> . . . 14μs Matrix 041: NTPMat<> . . . 14μs Matrix 042: ProjMaxPlusMat<3> . . . 89μs Matrix 043: ProjMaxPlusMat<> . . . 56μs Matrix 044: exceptions . . . 34μs Matrix 045: code coverage . . . 35μs MultiStringView 000: catch all . . . 42μs MultiStringView 001: is_prefix . . . 13μs MultiStringView 002: erase . . . 15μs MultiStringView 003: iterators . . . 11μs MultiStringView 004: constructors (long) . . . 18μs MultiStringView 005: constructors (short) . . . 16μs MultiStringView 006: copy assignment (short assigned to long) . . . 12μs MultiStringView 007: copy assignment (short assigned to short) . . . 12μs MultiStringView 008: move assignment (short assigned to long) . . . 12μs MultiStringView 009: move assignment (short assigned to short) . . . 12μs MultiStringView 010: code coverage . . . 18μs MultiStringView 011: pop_front . . . 39μs MultiStringView 012: append . . . 14μs MultiStringView 013: operators . . . 14μs MultiStringView 014: maximum_common_suffix . . . 13μs MultiStringView 015: deep tests . . . 10μs ObviouslyInfinite 011: Multiple rule additions . . . 41μs ObviouslyInfinite 012: A power of the generator 'b' does not [...] . . . 11μs ObviouslyInfinite 013: Preserves the number of occurences of [...] . . . 11μs ObviouslyInfinite 014: Less relations than generators . . . 11μs ObviouslyInfinite 015: Relations preserve length . . . 12μs ObviouslyInfinite 016: Matrix has non empty kernel . . . 13μs ObviouslyInfinite 017: Free product of trivial semigroups . . . 11μs ObviouslyInfinite 018: Another free product . . . 13μs ObviouslyInfinite 019: Infinite but not obviously so . . . 12μs ObviouslyInfinite 020: Finite semigroup . . . 14μs PBR 001: universal product with convenience constructor . . . 41μs PBR 002: universal product . . . 17μs PBR 003: product [bigger than previous] . . . 27μs PBR 004: hash . . . 10μs PBR 005: delete/copy . . . 17μs PBR 006: exceptions . . . 138μs PBR 007: operators . . . 70μs PBR 008: to_string . . . 20μs PBR 009: identity . . . 45μs PBR 010: adapters . . . 9000ns Pool 000: initial . . . 27μs Pool 001: bmat . . . 24μs Pool 002: PoolGuard . . . 19μs Pool 003: transformation products . . . 13μs Presentation 000: vectors of ints . . . 73μs Presentation 001: strings . . . 62μs Presentation 002: constructors (word_type) . . . 27μs Presentation 003: constructors (StaticVector1) . . . 22μs Presentation 004: constructors (std::string) . . . 21μs Presentation 005: alphabet + letters (word_type) . . . 98μs Presentation 006: alphabet + letters (std::string) . . . 33μs Presentation 007: contains_empty_word . . . 11μs Presentation 008: validate_rules throws . . . 40μs Presentation 009: helpers add_rule(s) . . . 79μs Presentation 010: helpers add_rule(s) (std::string) . . . 32μs Presentation 011: helpers add_identity_rules (std::vector/St [...] . . . 39μs Presentation 012: helpers add_identity_rules (std::string) . . . 24μs Presentation 013: helpers add_inverse_rules (all) . . . 165μs Presentation 014: helpers add_inverse_rules (std::string) . . . 37μs Presentation 015: helpers remove_duplicate_rules . . . 60μs Presentation 016: helpers reduce_complements . . . 123μs Presentation 017: helpers sort_each_rule . . . 57μs Presentation 018: helpers sort_rules . . . 61μs Presentation 019: helpers longest_common_subword/replace_subword . . . 247μs Presentation 020: helpers redundant_rule . . . 5504μs Presentation 021: helpers shortlex_compare_concat . . . 11μs Presentation 022: helpers remove_trivial_rules . . . 63μs Presentation 023: helpers replace_subword (existing, replacement) . . . 53μs Presentation 024: helpers longest_rule . . . 95μs Presentation 025: helpers longest_rule_length . . . 91μs Presentation 026: helpers remove_redundant_generators . . . 105μs Presentation 027: helpers reverse . . . 22μs Presentation 028: in_alphabet . . . 21μs Race 001: run_for . . . 10ms Race 002: run_until . . . 10ms Race 003: exceptions . . . 10ms Race 004: iterators . . . 13μs Race 005: find_runner . . . 11μs Race 006: run_func . . . 25ms Race 007: run_func . . . 10ms Race 008: run_func . . . 10ms Runner 000: run_for . . . 10ms Runner 001: run_for . . . 1010μs Runner 002: run_for . . . 192ms Runner 003: run_for . . . 25ms Runner 004: started . . . 1028μs Runner 005: run_until . . . 9229μs Runner 006: kill . . . 26μs Runner 007: copy constructor . . . 10ms Runner 008: report . . . 20ms Runner 009: run_until with function pointer . . . 25μs SchreierSims 001: trivial perm. group (degree 1) . . . 59μs SchreierSims 002: trivial perm. group (degree 2) . . . 27μs SchreierSims 003: trivial perm. group (degree 500) . . . 353μs SchreierSims 004: symmetric perm. group (degree 5) . . . 48μs SchreierSims 005: symmetric perm. group (degree 8) . . . 85μs SchreierSims 006: symmetric perm. group (degree 9) . . . 107μs SchreierSims 007: alternating perm. group (degree 12) . . . 185μs SchreierSims 008: symmetric perm. group (degree 16) . . . 1591μs SchreierSims 009: alternating perm. group (degree 15) . . . 827μs SchreierSims 010: alternating perm. group (degree 16) . . . 1818μs SchreierSims 011: dihedral perm. group (order 10) . . . 35μs SchreierSims 012: dihedral perm. group (order 200) . . . 2212μs SchreierSims 013: perm. group T (order 12) . . . 35μs SchreierSims 014: quaternion perm. group (order 8) . . . 36μs SchreierSims 015: perm. group (order 84129611558952960) . . . 290ms SchreierSims 016: perm. group SL(3, 5) (order 372000) . . . 1407μs SchreierSims 017: perm. group PSL(4, 8) (order 34558531338240) . . . 115ms SchreierSims 018: perm. Mathieu group M11 (order 7920) . . . 96μs SchreierSims 019: perm. Mathieu group M24 (order 244823040) . . . 264μs SchreierSims 020: perm. Janko Group J1 (order 175560) . . . 3374μs SchreierSims 021: perm. Hall-Janko group (order 604800) . . . 467μs SchreierSims 022: perm. Hall-Janko group (alt.) (order 604800) . . . 29ms SchreierSims 023: perm. Conway group Co3 (order 495766656000) . . . 9033μs SchreierSims 024: perm. Conway group Co3 (alt.) (order 49576 [...] . . . 18ms SchreierSims 025: perm. Suzuki group (order 448345497600) . . . 89ms SchreierSims 027: perm. Held group (order 4030387200) . . . 141ms SchreierSims 028: perm. group C2 x C2 x C2 (order 8) . . . 26μs SchreierSims 029: perm. group C2 x C2 x C2 x C2 (order 16) . . . 33μs SchreierSims 030: perm. group (S5 x S5) : C2 (order 28800) . . . 58μs SchreierSims 031: perm. group C3 x D8 x A5 (order 1440) . . . 56μs SchreierSims 032: perm. group GL(4, 3) (order 24261120) . . . 610μs SchreierSims 033: perm. group PSL(3, 7) (order 1876896) . . . 723μs SchreierSims 037: symmetric perm. group (degree 5) . . . 27μs SchreierSims 038: alternating perm. group (degree 17) . . . 3579μs SchreierSims 039: exceptions . . . 96μs SchreierSims 040: exceptions . . . 46μs SchreierSims 041: trivial group . . . 33μs SchreierSims 042: A17 bug . . . 3139μs SchreierSims 043: orbits_lookup test . . . 497μs SchreierSims 044: transversal_element and inversal_element test . . . 1243μs SchreierSimsHelper 001: trivial perm. group intersection (de [...] . . . 17μs SchreierSimsHelper 002: trivial perm. group intersection (de [...] . . . 25μs SchreierSimsHelper 003: cyclic group intersection (degree 13) . . . 35μs SchreierSimsHelper 004: D10 and Z5 intersection . . . 27μs SchreierSimsHelper 005: D8 and Q8 intersection . . . 40μs SchreierSimsHelper 006: primitive on 8 points intersection . . . 82μs SchreierSimsHelper 007: primitive on 8 points intersection ( [...] . . . 80μs SchreierSimsHelper 008: A13 and PGL(2, 11) intersection . . . 611μs SchreierSimsHelper 009: A13 and PGL(2, 11) intersection (swa [...] . . . 607μs SchreierSimsHelper 012: 3^3:13 and 3^3.2.A(4) intersection . . . 146μs SchreierSimsHelper 015: 3^3(S(4) x 2) and ASL(3, 3) intersection . . . 302μs SchreierSimsHelper 016: 7^2:3 x Q(8) and 7^2:D(2*6) intersection . . . 388μs SchreierSimsHelper 018: D(2*53) and 53:13 intersection . . . 233μs SchreierSimsHelper 019: 2^6:(7 x D_14) and PSL(2, 6)^2.4 int [...] . . . 1492μs SchreierSimsHelper 020: 2^6:(S_3 x GL(3, 2)) and 2.6:Alt(7) [...] . . . 4392μs SchreierSimsHelper 022: PSL(2, 127) and AGL(1, 2^7) intersection . . . 8454μs SchreierSimsHelper 023: PSL(3, 4).2 and PSL(3, 4).2 (nontriv [...] . . . 1780μs SchreierSimsHelper 024: PSL(3, 4).Sym(3) and PSL(3, 4).2 int [...] . . . 1894μs SchreierSimsHelper 025: 3^4:5:4 and D_16:4 intersection . . . 971μs Sims1 000: fp example 1 . . . 911μs Sims1 001: fp example 2 . . . 1432μs Sims1 002: ToddCoxeter failing example . . . 10ms Sims1 003: ToddCoxeter failing example . . . 553μs Sims1 004: PartitionMonoid(2) right . . . 4438μs Sims1 006: FullTransformationMonoid(3) right . . . 4538μs Sims1 007: FullTransformationMonoid(3) left . . . 2566μs Sims1 009: RookMonoid(2, 1) . . . 91μs Sims1 010: SymmetricInverseMonoid(2) from FroidurePin . . . 85μs Sims1 011: SymmetricInverseMonoid(3) . . . 3874μs Sims1 014: TemperleyLieb(3) from presentation . . . 78μs Sims1 015: TemperleyLieb(4) from presentation . . . 515μs Sims1 016: fp semigroup containing given pairs #1 . . . 250μs Sims1 017: fp semigroup containing given pairs #2 . . . 275μs Sims1 018: fp semigroup containing given pairs #3 . . . 393μs Sims1 019: ToddCoxeter failing example . . . 1116μs Sims1 020: fp example 2 . . . 1925μs Sims1 021: exceptions . . . 196μs Sims1 027: from https://mathoverflow.net/questions/423541/ . . . 17ms Sims1 028: from https://mathoverflow.net/questions/423541/ . . . 12ms Sims1 030: presentation with one free generator . . . 171μs Sims1 031: presentation with non-zero index generators . . . 78μs Sims1 032: presentation with empty word . . . 5788μs Sims1 033: constructors . . . 932μs Sims1 034: split_at . . . 172μs Sims1 035: stats . . . 95μs Sims1 036: check iterator requirements . . . 120μs Sims1 040: TransitiveGroup(10, 32) - minimal rep . . . 2675μs Sims1 043: RectangularBand(2, 2) - with and without identity . . . 170μs Sims1 044: trivial group - minimal o.r.c. rep . . . 106μs Sims1 045: right zero semigroup - minimal o.r.c. rep . . . 1690μs Sims1 046: semigroup with faithful non-strictly cyclic actio [...] . . . 682μs Sims1 068: RepOrc . . . 23ms Sims1 069: fp example 1 . . . 330μ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 887μs (162ns 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 . . . 967μs Sims1 072: SymmetricGroup(n) for n = 3, 4 . . . 1463μs Sims1 073: corner case no generators + no relations . . . 69μs SmallestInteger 001: . . . 11μs StaticTriVector2 045: all . . . 17μs StaticVector2 043: all . . . 16μs Suf 005: unite . . . 21μs Suf 007: compress . . . 14μs Suf 011: big chain . . . 14ms Suf 013: empty table . . . 9000ns Suf 015: join . . . 11μs Suf 017: contains . . . 28μs Suf 019: swap . . . 30μs SuffixTree 000: basic tests . . . 66ms SuffixTree 001: maximal_piece_prefix 1 . . . 69μs SuffixTree 002: maximal_piece_prefix 2 . . . 41μs SuffixTree 003: maximal_piece_prefix 3 . . . 243μs SuffixTree 004: number_of_pieces . . . 53μs SuffixTree 005: traverse . . . 29μs SuffixTree 006: tikz . . . 709μs SuffixTree 007: strings . . . 136μs SuffixTree 008: dot . . . 64μs SuffixTree 009: dfs #01 . . . 45μs SuffixTree 010: dfs #02 . . . 43μs SuffixTree 011: dfs #03 . . . 41μs SuffixTree 012: dfs #04 . . . 94μs SuffixTree 013: dfs #05 . . . 84μs SuffixTree 014: dfs #06 . . . 73μs SuffixTree 015: dfs #07 . . . 127μs SuffixTree 016: dfs #08 . . . 92μs SuffixTree 017: dfs #09 . . . 124μs SuffixTree 018: dfs #10 . . . 41μs Timer 001: string method (1 argument) . . . 26μs Timer 002: string method (0 arguments) . . . 10ms Timer 003: reset/elapsed method . . . 20ms Timer 004: operator<< . . . 11μs ToddCoxeter 000: small 2-sided congruence . . .  -- with HLT + no standardise + full lookahead + no save 1039μs  -- with HLT + standardise + full lookahead + no save 989μs  -- with HLT + no standardise + partial lookahead + no save 977μs  -- with HLT + standardise + partial lookahead + no save 987μs  -- with HLT + no standardise + full lookahead + save 1460μs  -- with HLT + standardise + full lookahead + save 1464μs  -- with HLT + no standardise + partial lookahead + save 1450μs  -- with HLT + standardise + partial lookahead + save 1439μs  -- with Felsch + no standardisation 1446μs  -- with Felsch + standardisation 1425μs  -- with random strategy 1455μs  -- with Rc style + full lookahead 987μs  -- with Rc style + partial lookahead 988μs  -- with R/C style 981μs  -- with CR style 1441μs  -- with Cr style 1449μs ToddCoxeter 001: small 2-sided congruence . . .  -- with HLT + no standardise + full lookahead + no save 5216μs  -- with HLT + standardise + full lookahead + no save 5210μs  -- with HLT + no standardise + partial lookahead + no save 5204μs  -- with HLT + standardise + partial lookahead + no save 5136μs  -- with HLT + no standardise + full lookahead + save 5115μs  -- with HLT + standardise + full lookahead + save 5111μs  -- with HLT + no standardise + partial lookahead + save 5088μs  -- with HLT + standardise + partial lookahead + save 5105μs  -- with Felsch + no standardisation 5079μs  -- with Felsch + standardisation 5283μs  -- with random strategy 5091μs  -- with Rc style + full lookahead 5456μs  -- with Rc style + partial lookahead 5083μs  -- with R/C style 5076μs  -- with CR style 5086μs  -- with Cr style 5083μs ToddCoxeter 003: constructed from FroidurePin . . .  -- with Felsch + no standardisation 234ms  -- with Felsch + standardisation 232ms  -- with HLT + no standardise + full lookahead + no save 82ms  -- with HLT + standardise + full lookahead + no save 81ms  -- with HLT + no standardise + partial lookahead + no save 80ms  -- with HLT + standardise + partial lookahead + no save 81ms  -- with HLT + no standardise + full lookahead + save 237ms  -- with HLT + standardise + full lookahead + save 238ms  -- with HLT + no standardise + partial lookahead + save 238ms  -- with HLT + standardise + partial lookahead + save 239ms  -- with random strategy 237ms  -- with Rc style + full lookahead 234ms  -- with Rc style + partial lookahead 235ms  -- with R/C style 86ms  -- with CR style 235ms  -- with Cr style 235ms ToddCoxeter 004: 2-sided congruence from FroidurePin . . .  -- with HLT + no standardise + full lookahead + no save 245μs  -- with HLT + standardise + full lookahead + no save 208μs  -- with HLT + no standardise + partial lookahead + no save 202μs  -- with HLT + standardise + partial lookahead + no save 199μs  -- with HLT + save (throws) 257μs  -- with Felsch (throws) 200μs  -- with random strategy 191μs ToddCoxeter 005: non-trivial two-sided from relations . . .  -- with HLT + no standardise + full lookahead + no save 79μs  -- with HLT + standardise + full lookahead + no save 70μs  -- with HLT + no standardise + partial lookahead + no save 64μs  -- with HLT + standardise + partial lookahead + no save 63μs  -- with HLT + no standardise + full lookahead + save 78μs  -- with HLT + standardise + full lookahead + save 75μs  -- with HLT + no standardise + partial lookahead + save 73μs  -- with HLT + standardise + partial lookahead + save 72μs  -- with Felsch + no standardisation 70μs  -- with Felsch + standardisation 68μs  -- with random strategy 81μs  -- with Rc style + full lookahead 69μs  -- with Rc style + partial lookahead 72μs  -- with R/C style 67μs  -- with CR style 72μs  -- with Cr style 70μs ToddCoxeter 006: small right cong. on free semigroup . . .  -- with HLT + no standardise + full lookahead + no save 42μs  -- with HLT + standardise + full lookahead + no save 33μs  -- with HLT + no standardise + partial lookahead + no save 31μs  -- with HLT + standardise + partial lookahead + no save 31μs  -- with HLT + no standardise + full lookahead + save 58μs  -- with HLT + standardise + full lookahead + save 58μs  -- with HLT + no standardise + partial lookahead + save 54μs  -- with HLT + standardise + partial lookahead + save 52μs  -- with Felsch + no standardisation 52μs  -- with Felsch + standardisation 52μs  -- with random strategy 54μs  -- with Rc style + full lookahead 36μs  -- with Rc style + partial lookahead 32μs  -- with R/C style 32μs  -- with CR style 51μs  -- with Cr style 53μs ToddCoxeter 007: left cong. on free semigroup . . .  -- with HLT + no standardise + full lookahead + no save 46μs  -- with HLT + standardise + full lookahead + no save 36μs  -- with HLT + no standardise + partial lookahead + no save 34μs  -- with HLT + standardise + partial lookahead + no save 34μs  -- with HLT + no standardise + full lookahead + save 40μs  -- with HLT + standardise + full lookahead + save 39μs  -- with HLT + no standardise + partial lookahead + save 38μs  -- with HLT + standardise + partial lookahead + save 39μs  -- with Felsch + no standardisation 38μs  -- with Felsch + standardisation 39μs  -- with random strategy 43μs  -- with Rc style + full lookahead 44μs  -- with Rc style + partial lookahead 38μs  -- with R/C style 40μs  -- with CR style 44μs  -- with Cr style 44μs ToddCoxeter 008: for small fp semigroup . . .  -- with HLT + no standardise + full lookahead + no save 38μs  -- with HLT + standardise + full lookahead + no save 32μs  -- with HLT + no standardise + partial lookahead + no save 30μs  -- with HLT + standardise + partial lookahead + no save 30μs  -- with HLT + no standardise + full lookahead + save 35μs  -- with HLT + standardise + full lookahead + save 37μs  -- with HLT + no standardise + partial lookahead + save 35μs  -- with HLT + standardise + partial lookahead + save 35μs  -- with Felsch + no standardisation 34μs  -- with Felsch + standardisation 34μs  -- with random strategy 38μs  -- with Rc style + full lookahead 34μs  -- with Rc style + partial lookahead 33μs  -- with R/C style 33μs  -- with CR style 36μs  -- with Cr style 36μs ToddCoxeter 009: 2-sided cong. trans. semigroup . . .  -- with HLT + no standardise + full lookahead + no save 237μs  -- with HLT + standardise + full lookahead + no save 220μs  -- with HLT + no standardise + partial lookahead + no save 212μs  -- with HLT + standardise + partial lookahead + no save 223μs  -- with HLT + no standardise + full lookahead + save 540μs  -- with HLT + standardise + full lookahead + save 539μs  -- with HLT + no standardise + partial lookahead + save 525μs  -- with HLT + standardise + partial lookahead + save 522μs  -- with Felsch + no standardisation 480μs  -- with Felsch + standardisation 460μs  -- with random strategy 228μs  -- with Rc style + full lookahead 224μs  -- with Rc style + partial lookahead 225μs  -- with R/C style 230μs  -- with CR style 477μs  -- with Cr style 472μs ToddCoxeter 010: left congruence on transformation semigroup . . .  -- with HLT + no standardise + full lookahead + no save 248μs  -- with HLT + standardise + full lookahead + no save 250μs  -- with HLT + no standardise + partial lookahead + no save 238μs  -- with HLT + standardise + partial lookahead + no save 245μs  -- with HLT + no standardise + full lookahead + save 568μs  -- with HLT + standardise + full lookahead + save 563μs  -- with HLT + no standardise + partial lookahead + save 543μs  -- with HLT + standardise + partial lookahead + save 585μs  -- with Felsch + no standardisation 513μs  -- with Felsch + standardisation 481μs  -- with random strategy 609μs  -- with Rc style + full lookahead 270μs  -- with Rc style + partial lookahead 263μs  -- with R/C style 281μs  -- with CR style 527μs  -- with Cr style 518μs ToddCoxeter 011: right cong. trans. semigroup . . .  -- with HLT + no standardise + full lookahead + no save 256μs  -- with HLT + standardise + full lookahead + no save 262μs  -- with HLT + no standardise + partial lookahead + no save 248μs  -- with HLT + standardise + partial lookahead + no save 254μs  -- with HLT + no standardise + full lookahead + save 552μs  -- with HLT + standardise + full lookahead + save 540μs  -- with HLT + no standardise + partial lookahead + save 529μs  -- with HLT + standardise + partial lookahead + save 539μs  -- with Felsch + no standardisation 432μs  -- with Felsch + standardisation 435μs  -- with random strategy 288μs  -- with Rc style + full lookahead 275μs  -- with Rc style + partial lookahead 285μs  -- with R/C style 293μs  -- with CR style 449μs  -- with Cr style 445μs ToddCoxeter 012: trans. semigroup (size 88) . . .  -- with HLT + no standardise + full lookahead + no save 172μs  -- with HLT + standardise + full lookahead + no save 163μs  -- with HLT + no standardise + partial lookahead + no save 159μs  -- with HLT + standardise + partial lookahead + no save 166μs  -- with HLT + save (throws) 174μs  -- with Felsch (throws) 170μs  -- with random strategy 173μs ToddCoxeter 013: left cong. on trans. semigroup (size 88) . . .  -- with HLT + no standardise + full lookahead + no save 217μs  -- with HLT + standardise + full lookahead + no save 218μs  -- with HLT + no standardise + partial lookahead + no save 207μs  -- with HLT + standardise + partial lookahead + no save 214μs  -- with HLT + no standardise + full lookahead + save 539μs  -- with HLT + standardise + full lookahead + save 527μs  -- with HLT + no standardise + partial lookahead + save 519μs  -- with HLT + standardise + partial lookahead + save 528μs  -- with Felsch + no standardisation 490μs  -- with Felsch + standardisation 463μs  -- with random strategy 254μs  -- with Rc style + full lookahead 239μs  -- with Rc style + partial lookahead 235μs  -- with R/C style 254μs  -- with CR style 535μs  -- with Cr style 481μs ToddCoxeter 014: right cong. on trans. semigroup (size 88) . . .  -- with HLT + no standardise + full lookahead + no save 226μs  -- with HLT + standardise + full lookahead + no save 227μs  -- with HLT + no standardise + partial lookahead + no save 213μs  -- with HLT + standardise + partial lookahead + no save 221μs  -- with HLT + no standardise + full lookahead + save 523μs  -- with HLT + standardise + full lookahead + save 510μs  -- with HLT + no standardise + partial lookahead + save 488μs  -- with HLT + standardise + partial lookahead + save 508μs  -- with Felsch + no standardisation 398μs  -- with Felsch + standardisation 405μs  -- with random strategy 257μs  -- with Rc style + full lookahead 244μs  -- with Rc style + partial lookahead 242μs  -- with R/C style 261μs  -- with CR style 423μs  -- with Cr style 398μs ToddCoxeter 015: finite fp-semigroup, dihedral group of order 6 . . .  -- with HLT + no standardise + full lookahead + no save 77μs  -- with HLT + standardise + full lookahead + no save 68μs  -- with HLT + no standardise + partial lookahead + no save 61μs  -- with HLT + standardise + partial lookahead + no save 64μs  -- with HLT + no standardise + full lookahead + save 84μs  -- with HLT + standardise + full lookahead + save 79μs  -- with HLT + no standardise + partial lookahead + save 78μs  -- with HLT + standardise + partial lookahead + save 76μs  -- with Felsch + no standardisation 74μs  -- with Felsch + standardisation 70μs  -- with random strategy 77μs  -- with Rc style + full lookahead 63μs  -- with Rc style + partial lookahead 61μs  -- with R/C style 60μs  -- with CR style 70μs  -- with Cr style 68μs ToddCoxeter 016: finite fp-semigroup, size 16 . . .  -- with HLT + no standardise + full lookahead + no save 72μs  -- with HLT + standardise + full lookahead + no save 66μs  -- with HLT + no standardise + partial lookahead + no save 61μs  -- with HLT + standardise + partial lookahead + no save 61μs  -- with HLT + no standardise + full lookahead + save 137μs  -- with HLT + standardise + full lookahead + save 129μs  -- with HLT + no standardise + partial lookahead + save 123μs  -- with HLT + standardise + partial lookahead + save 123μs  -- with Felsch + no standardisation 122μs  -- with Felsch + standardisation 114μs  -- with random strategy 131μs  -- with Rc style + full lookahead 82μs  -- with Rc style + partial lookahead 67μs  -- with R/C style 68μs  -- with CR style 118μs  -- with Cr style 112μs ToddCoxeter 017: finite fp-semigroup, size 16 . . .  -- with HLT + no standardise + full lookahead + no save 178μs  -- with HLT + standardise + full lookahead + no save 172μs  -- with HLT + no standardise + partial lookahead + no save 160μs  -- with HLT + standardise + partial lookahead + no save 195μs  -- with HLT + no standardise + full lookahead + save 351μs  -- with HLT + standardise + full lookahead + save 351μs  -- with HLT + no standardise + partial lookahead + save 336μs  -- with HLT + standardise + partial lookahead + save 339μs  -- with Felsch + no standardisation 321μs  -- with Felsch + standardisation 304μs  -- with random strategy 339μs  -- with Rc style + full lookahead 168μs  -- with Rc style + partial lookahead 166μs  -- with R/C style 170μs  -- with CR style 318μs  -- with Cr style 311μs ToddCoxeter 018: test lookahead . . .  -- with HLT + no standardise + full lookahead + no save 279μs  -- with HLT + standardise + full lookahead + no save 271μs  -- with HLT + no standardise + partial lookahead + no save 245μs  -- with HLT + standardise + partial lookahead + no save 250μs  -- with HLT + no standardise + full lookahead + save 455μs  -- with HLT + standardise + full lookahead + save 475μs  -- with HLT + no standardise + partial lookahead + save 440μs  -- with HLT + standardise + partial lookahead + save 452μs ToddCoxeter 019: non-trivial left cong. from semigroup . . .  -- with HLT + no standardise + full lookahead + no save 187μs  -- with HLT + standardise + full lookahead + no save 160μs  -- with HLT + no standardise + partial lookahead + no save 150μs  -- with HLT + standardise + partial lookahead + no save 153μs  -- with HLT + save (throws) 164μs  -- with Felsch (throws) 160μs  -- with random strategy 166μs ToddCoxeter 020: 2-sided cong. on free semigroup . . .  -- with HLT + no standardise + full lookahead + no save 27μs  -- with HLT + standardise + full lookahead + no save 19μs  -- with HLT + no standardise + partial lookahead + no save 19μs  -- with HLT + standardise + partial lookahead + no save 18μs  -- with HLT + no standardise + full lookahead + save 18μs  -- with HLT + standardise + full lookahead + save 18μs  -- with HLT + no standardise + partial lookahead + save 18μs  -- with HLT + standardise + partial lookahead + save 18μs  -- with Felsch + no standardisation 18μs  -- with Felsch + standardisation 18μs  -- with random strategy 17μs ToddCoxeter 021: calling run when obviously infinite . . .  -- with HLT + no standardise + full lookahead + no save 46μs  -- with HLT + standardise + full lookahead + no save 36μs  -- with HLT + no standardise + partial lookahead + no save 30μs  -- with HLT + standardise + partial lookahead + no save 30μs  -- with HLT + no standardise + full lookahead + save 30μs  -- with HLT + standardise + full lookahead + save 30μs  -- with HLT + no standardise + partial lookahead + save 30μs  -- with HLT + standardise + partial lookahead + save 30μs  -- with Felsch + no standardisation 29μs  -- with Felsch + standardisation 29μs  -- with random strategy 31μs ToddCoxeter 022: Stellar S3 . . .  -- with HLT + no standardise + full lookahead + no save 117μs  -- with HLT + standardise + full lookahead + no save 107μs  -- with HLT + no standardise + partial lookahead + no save 99μs  -- with HLT + standardise + partial lookahead + no save 101μs  -- with HLT + no standardise + full lookahead + save 197μs  -- with HLT + standardise + full lookahead + save 190μs  -- with HLT + no standardise + partial lookahead + save 175μs  -- with HLT + standardise + partial lookahead + save 180μs  -- with Felsch + no standardisation 174μs  -- with Felsch + standardisation 197μs  -- with random strategy 171μs  -- with Rc style + full lookahead 106μs  -- with Rc style + partial lookahead 103μs  -- with R/C style 106μs  -- with CR style 165μs  -- with Cr style 163μs ToddCoxeter 023: finite semigroup (size 5) . . .  -- with HLT + no standardise + full lookahead + no save 40μs  -- with HLT + standardise + full lookahead + no save 32μs  -- with HLT + no standardise + partial lookahead + no save 30μs  -- with HLT + standardise + partial lookahead + no save 29μs  -- with HLT + no standardise + full lookahead + save 40μs  -- with HLT + standardise + full lookahead + save 36μs  -- with HLT + no standardise + partial lookahead + save 34μs  -- with HLT + standardise + partial lookahead + save 34μs  -- with Felsch + no standardisation 34μs  -- with Felsch + standardisation 34μs  -- with random strategy 33μs  -- with Rc style + full lookahead 31μs  -- with Rc style + partial lookahead 30μs  -- with R/C style 31μs  -- with CR style 34μs  -- with Cr style 34μs ToddCoxeter 024: exceptions . . .  -- with HLT + no standardise + full lookahead + no save 161μs  -- with HLT + standardise + full lookahead + no save 139μs  -- with HLT + no standardise + partial lookahead + no save 138μs  -- with HLT + standardise + partial lookahead + no save 136μs  -- with HLT + no standardise + full lookahead + save 142μs  -- with HLT + standardise + full lookahead + save 141μs  -- with HLT + no standardise + partial lookahead + save 142μs  -- with HLT + standardise + partial lookahead + save 140μs  -- with Felsch + no standardisation 140μs  -- with Felsch + standardisation 146μs  -- with random strategy 165μs  -- with Rc style + full lookahead 139μs  -- with Rc style + partial lookahead 136μs  -- with R/C style 137μs  -- with CR style 142μs  -- with Cr style 141μs ToddCoxeter 025: obviously infinite . . .  -- with HLT + no standardise + full lookahead + no save 42μs  -- with HLT + standardise + full lookahead + no save 36μs  -- with HLT + no standardise + partial lookahead + no save 35μs  -- with HLT + standardise + partial lookahead + no save 35μs  -- with HLT + no standardise + full lookahead + save 35μs  -- with HLT + standardise + full lookahead + save 37μs  -- with HLT + no standardise + partial lookahead + save 36μs  -- with HLT + standardise + partial lookahead + save 35μs  -- with Felsch + no standardisation 36μs  -- with Felsch + standardisation 36μs  -- with random strategy 35μs ToddCoxeter 026: exceptions . . .  -- with HLT + no standardise + full lookahead + no save 102μs  -- with HLT + standardise + full lookahead + no save 86μs  -- with HLT + no standardise + partial lookahead + no save 82μs  -- with HLT + standardise + partial lookahead + no save 83μs  -- with HLT + no standardise + full lookahead + save 91μs  -- with HLT + standardise + full lookahead + save 94μs  -- with HLT + no standardise + partial lookahead + save 87μs  -- with HLT + standardise + partial lookahead + save 87μs  -- with Felsch + no standardisation 88μs  -- with Felsch + standardisation 88μs  -- with random strategy 89μs  -- with Rc style + full lookahead 84μs  -- with Rc style + partial lookahead 84μs  -- with R/C style 83μs  -- with CR style 86μs  -- with Cr style 87μs ToddCoxeter 027: empty . . . 63μs ToddCoxeter 028: congruence of fpsemigroup::ToddCoxeter . . .  -- with HLT + no standardise + full lookahead + no save 146μs  -- with HLT + standardise + full lookahead + no save 121μs  -- with HLT + no standardise + partial lookahead + no save 118μs  -- with HLT + standardise + partial lookahead + no save 154μs  -- with HLT + save (throws) 125μs  -- with Felsch (throws) 123μs  -- with random strategy 125μs  -- with HLT + no standardise + full lookahead + save 120μs  -- with HLT + standardise + full lookahead + save 121μs  -- with HLT + no standardise + partial lookahead + save 123μs  -- with HLT + standardise + partial lookahead + save 119μs  -- with Felsch + no standardisation 120μs  -- with Felsch + standardisation 121μs  -- with Rc style + full lookahead 115μs  -- with Rc style + partial lookahead 114μs  -- with R/C style 115μs  -- with CR style 117μs  -- with Cr style 128μs ToddCoxeter 029: !KnuthBendix.started() . . .  -- with HLT + no standardise + full lookahead + no save and 2-sided 79μs  -- with HLT + standardise + full lookahead + no save and 2-sided 58μs  -- with HLT + no standardise + partial lookahead + no save and 2-sided 57μs  -- with HLT + standardise + partial lookahead + no save and 2-sided 54μs  -- with HLT + no standardise + full lookahead + save and 2-sided 61μs  -- with HLT + standardise + full lookahead + save and 2-sided 59μs  -- with HLT + no standardise + partial lookahead + save and 2-sided 58μs  -- with HLT + standardise + partial lookahead + save and 2-sided 58μs  -- with Felsch + no standardisation and 2-sided 57μs  -- with Felsch + standardisation and 2-sided 56μs  -- with random strategy and 2-sided 60μs  -- with HLT + no standardise + full lookahead + no save and left 70μs  -- with HLT + standardise + full lookahead + no save and left 55μs  -- with HLT + no standardise + partial lookahead + no save and left 57μs  -- with HLT + standardise + partial lookahead + no save and left 54μs  -- with HLT + no standardise + full lookahead + save and left 62μs  -- with HLT + standardise + full lookahead + save and left 66μs  -- with HLT + no standardise + partial lookahead + save and left 61μs  -- with HLT + standardise + partial lookahead + save and left 60μs  -- with Felsch + no standardisation and left 60μs  -- with Felsch + standardisation and left 59μs  -- with random strategy and left 79μs  -- with HLT + no standardise + full lookahead + no save and right 70μs  -- with HLT + standardise + full lookahead + no save and right 53μs  -- with HLT + no standardise + partial lookahead + no save and right 52μs  -- with HLT + standardise + partial lookahead + no save and right 55μs  -- with HLT + no standardise + full lookahead + save and right 60μs  -- with HLT + standardise + full lookahead + save and right 60μs  -- with HLT + no standardise + partial lookahead + save and right 59μs  -- with HLT + standardise + partial lookahead + save and right 59μs  -- with Felsch + no standardisation and right 60μs  -- with Felsch + standardisation and right 59μs  -- with random strategy and right 63μs ToddCoxeter 030: KnuthBendix.finished() . . .  -- with HLT + no standardise + full lookahead + no save and 2-sided 157μs  -- with HLT + standardise + full lookahead + no save and 2-sided 128μs  -- with HLT + no standardise + partial lookahead + no save and 2-sided 126μs  -- with HLT + standardise + partial lookahead + no save and 2-sided 127μs  -- with HLT + no standardise + full lookahead + save and 2-sided 129μs  -- with HLT + standardise + full lookahead + save and 2-sided 129μs  -- with HLT + no standardise + partial lookahead + save and 2-sided 128μs  -- with HLT + standardise + partial lookahead + save and 2-sided 127μs  -- with Felsch + no standardisation and 2-sided 122μs  -- with Felsch + standardisation and 2-sided 121μs  -- with random strategy and 2-sided 125μs  -- with HLT + no standardise + full lookahead + no save and left 129μs  -- with HLT + standardise + full lookahead + no save and left 127μs  -- with HLT + no standardise + partial lookahead + no save and left 125μs  -- with HLT + standardise + partial lookahead + no save and left 127μs  -- with HLT + no standardise + full lookahead + save and left 134μs  -- with HLT + standardise + full lookahead + save and left 134μs  -- with HLT + no standardise + partial lookahead + save and left 133μs  -- with HLT + standardise + partial lookahead + save and left 167μs  -- with Felsch + no standardisation and left 129μs  -- with Felsch + standardisation and left 288μs  -- with random strategy and left 138μs  -- with HLT + no standardise + full lookahead + no save and right 152μs  -- with HLT + standardise + full lookahead + no save and right 169μs  -- with HLT + no standardise + partial lookahead + no save and right 166μs  -- with HLT + standardise + partial lookahead + no save and right 166μs  -- with HLT + no standardise + full lookahead + save and right 175μs  -- with HLT + standardise + full lookahead + save and right 176μs  -- with HLT + no standardise + partial lookahead + save and right 175μs  -- with HLT + standardise + partial lookahead + save and right 175μs  -- with Felsch + no standardisation and right 162μs  -- with Felsch + standardisation and right 162μs  -- with random strategy and right 191μs ToddCoxeter 031: KnuthBendix.finished() . . .  -- with HLT + no standardise + full lookahead + no save and 2-sided 111μs  -- with HLT + standardise + full lookahead + no save and 2-sided 96μs  -- with HLT + no standardise + partial lookahead + no save and 2-sided 92μs  -- with HLT + standardise + partial lookahead + no save and 2-sided 90μs  -- with HLT + no standardise + full lookahead + save and 2-sided 104μs  -- with HLT + standardise + full lookahead + save and 2-sided 96μs  -- with HLT + no standardise + partial lookahead + save and 2-sided 111μs  -- with HLT + standardise + partial lookahead + save and 2-sided 95μs  -- with Felsch + no standardisation and 2-sided 89μs  -- with Felsch + standardisation and 2-sided 88μs  -- with random strategy and 2-sided 94μs  -- with Rc style + full lookahead and 2-sided 93μs  -- with Rc style + partial lookahead and 2-sided 92μs  -- with R/C style and 2-sided 88μs  -- with CR style and 2-sided 91μs  -- with Cr style and 2-sided 98μs  -- with HLT + no standardise + full lookahead + no save and left 100μs  -- with HLT + standardise + full lookahead + no save and left 94μs  -- with HLT + no standardise + partial lookahead + no save and left 93μs  -- with HLT + standardise + partial lookahead + no save and left 92μs  -- with HLT + no standardise + full lookahead + save and left 181μs  -- with HLT + standardise + full lookahead + save and left 110μs  -- with HLT + no standardise + partial lookahead + save and left 101μs  -- with HLT + standardise + partial lookahead + save and left 100μs  -- with Felsch + no standardisation and left 97μs  -- with Felsch + standardisation and left 96μs  -- with random strategy and left 106μs  -- with Rc style + full lookahead and left 102μs  -- with Rc style + partial lookahead and left 97μs  -- with R/C style and left 93μs  -- with CR style and left 99μs  -- with Cr style and left 104μs  -- with HLT + no standardise + full lookahead + no save and right 111μs  -- with HLT + standardise + full lookahead + no save and right 95μs  -- with HLT + no standardise + partial lookahead + no save and right 92μs  -- with HLT + standardise + partial lookahead + no save and right 92μs  -- with HLT + no standardise + full lookahead + save and right 99μs  -- with HLT + standardise + full lookahead + save and right 120μs  -- with HLT + no standardise + partial lookahead + save and right 109μs  -- with HLT + standardise + partial lookahead + save and right 102μs  -- with Felsch + no standardisation and right 100μs  -- with Felsch + standardisation and right 98μs  -- with random strategy and right 108μs  -- with Rc style + full lookahead and right 101μs  -- with Rc style + partial lookahead and right 101μs  -- with R/C style and right 96μs  -- with CR style and right 102μs  -- with Cr style and right 106μs ToddCoxeter 032: prefill . . . 143μs ToddCoxeter 033: congruence of ToddCoxeter . . .  -- with HLT + no standardise + full lookahead + no save 51μs  -- with HLT + standardise + full lookahead + no save 39μs  -- with HLT + no standardise + partial lookahead + no save 37μs  -- with HLT + standardise + partial lookahead + no save 37μs  -- with HLT + no standardise + full lookahead + save 43μs  -- with HLT + standardise + full lookahead + save 42μs  -- with HLT + no standardise + partial lookahead + save 41μs  -- with HLT + standardise + partial lookahead + save 41μs  -- with random strategy 40μs ToddCoxeter 034: congruence of ToddCoxeter . . .  -- with HLT + no standardise + full lookahead + no save 151μs  -- with HLT + standardise + full lookahead + no save 137μs  -- with HLT + no standardise + partial lookahead + no save 132μs  -- with HLT + standardise + partial lookahead + no save 128μs  -- with HLT + save (throws) 144μs  -- with Felsch (throws) 143μs  -- with random strategy 144μs ToddCoxeter 035: congruence on FpSemigroup . . .  -- with HLT + no standardise + full lookahead + no save 322μs  -- with HLT + standardise + full lookahead + no save 342μs  -- with HLT + no standardise + partial lookahead + no save 292μs  -- with HLT + standardise + partial lookahead + no save 287μs  -- with HLT + no standardise + full lookahead + save 330μs  -- with HLT + standardise + full lookahead + save 329μs  -- with HLT + no standardise + partial lookahead + save 324μs  -- with HLT + standardise + partial lookahead + save 322μs  -- with Felsch + no standardisation 309μs  -- with Felsch + standardisation 307μs  -- with random strategy 323μs  -- with Rc style + full lookahead 283μs  -- with Rc style + partial lookahead 275μs  -- with R/C style 273μs  -- with CR style 311μs  -- with Cr style 312μs ToddCoxeter 036: exceptions . . . 107μs ToddCoxeter 037: copy constructor . . . 53μs ToddCoxeter 038: simplify . . . 120μs ToddCoxeter 039: Stylic monoid . . . 689ms ToddCoxeter 041: some finite classes . . . 495μs ToddCoxeter 043: SymmetricGroup2 . . . 123ms ToddCoxeter 044: Option exceptions . . . 67μs ToddCoxeter 045: Options operator<< . . . 689μs ToddCoxeter 046: Easdown-East-FitzGerald DualSymInv(5) . . .  -- with HLT + no standardise + full lookahead + no save 148ms  -- with HLT + standardise + full lookahead + no save 163ms  -- with HLT + no standardise + partial lookahead + no save 148ms  -- with HLT + standardise + partial lookahead + no save 163ms  -- with HLT + no standardise + full lookahead + save 115ms  -- with HLT + standardise + full lookahead + save 116ms  -- with HLT + no standardise + partial lookahead + save 115ms  -- with HLT + standardise + partial lookahead + save 115ms  -- with Felsch + no standardisation 125ms  -- with Felsch + standardisation 125ms  -- with random strategy 153ms  -- with R/C style 154ms  -- with Rc style + full lookahead 130ms  -- with Rc style + partial lookahead 130ms ToddCoxeter 047: FitzGerald UniformBlockBijection(3) . . .  -- with HLT + no standardise + full lookahead + no save 91μs  -- with HLT + standardise + full lookahead + no save 82μs  -- with HLT + no standardise + partial lookahead + no save 74μs  -- with HLT + standardise + partial lookahead + no save 76μs  -- with HLT + no standardise + full lookahead + save 166μs  -- with HLT + standardise + full lookahead + save 156μs  -- with HLT + no standardise + partial lookahead + save 147μs  -- with HLT + standardise + partial lookahead + save 148μs  -- with Felsch + no standardisation 126μs  -- with Felsch + standardisation 119μs  -- with random strategy 128μs  -- with R/C style 86μs  -- with Rc style + full lookahead 84μs  -- with Rc style + partial lookahead 76μs ToddCoxeter 048: Stellar(7) (Gay-Hivert) . . . 134ms ToddCoxeter 049: PartitionMonoid(4) (East) . . .  -- with HLT + no standardise + full lookahead + no save 25ms  -- with HLT + standardise + full lookahead + no save 25ms  -- with HLT + no standardise + partial lookahead + no save 24ms  -- with HLT + standardise + partial lookahead + no save 25ms  -- with HLT + no standardise + full lookahead + save 46ms  -- with HLT + standardise + full lookahead + save 48ms  -- with HLT + no standardise + partial lookahead + save 46ms  -- with HLT + standardise + partial lookahead + save 48ms  -- with Felsch + no standardisation 54ms  -- with Felsch + standardisation 54ms  -- with random strategy 56ms  -- with R/C style 28ms  -- with Rc style + full lookahead 58ms  -- with Rc style + partial lookahead 58ms ToddCoxeter 050: SingularBrauer(6) (Maltcev + Mazorchuk) . . . 482ms ToddCoxeter 051: OrientationPreserving(6) (Ruskuc + Arthur) . . .  -- with HLT + no standardise + full lookahead + no save 20ms  -- with HLT + standardise + full lookahead + no save 23ms  -- with HLT + no standardise + partial lookahead + no save 20ms  -- with HLT + standardise + partial lookahead + no save 24ms  -- with HLT + no standardise + full lookahead + save 54ms  -- with HLT + standardise + full lookahead + save 57ms  -- with HLT + no standardise + partial lookahead + save 53ms  -- with HLT + standardise + partial lookahead + save 57ms  -- with Felsch + no standardisation 127ms  -- with Felsch + standardisation 126ms  -- with random strategy 26ms  -- with R/C style 23ms  -- with Rc style + full lookahead 94ms  -- with Rc style + partial lookahead 94ms ToddCoxeter 052: OrientationReversing(5) (Ruskuc + Arthur) . . .  -- with HLT + no standardise + full lookahead + no save 5225μs  -- with HLT + standardise + full lookahead + no save 6219μs  -- with HLT + no standardise + partial lookahead + no save 5581μs  -- with HLT + standardise + partial lookahead + no save 6252μs  -- with HLT + no standardise + full lookahead + save 13ms  -- with HLT + standardise + full lookahead + save 14ms  -- with HLT + no standardise + partial lookahead + save 13ms  -- with HLT + standardise + partial lookahead + save 14ms  -- with Felsch + no standardisation 29ms  -- with Felsch + standardisation 30ms  -- with random strategy 14ms  -- with Rc style + full lookahead 16ms  -- with Rc style + partial lookahead 16ms  -- with R/C style 6194μs  -- with CR style 30ms  -- with Cr style 30ms ToddCoxeter 053: TemperleyLieb(10) (East) . . . 31ms ToddCoxeter 063: add_rule . . .  -- with HLT + no standardise + full lookahead + no save 103μs  -- with HLT + standardise + full lookahead + no save 63μs  -- with HLT + no standardise + partial lookahead + no save 59μs  -- with HLT + standardise + partial lookahead + no save 63μs  -- with HLT + no standardise + full lookahead + save 69μs  -- with HLT + standardise + full lookahead + save 66μs  -- with HLT + no standardise + partial lookahead + save 64μs  -- with HLT + standardise + partial lookahead + save 64μs  -- with Felsch + no standardisation 64μs  -- with Felsch + standardisation 63μs  -- with random strategy 63μs  -- with Rc style + full lookahead 60μs  -- with Rc style + partial lookahead 61μs  -- with R/C style 60μs  -- with CR style 67μs  -- with Cr style 64μs  -- with R/C + Felsch lookahead 68μs  -- with HLT + Felsch lookahead + save 63μs  -- with Cr + small number of f_defs 67μs  -- with Rc + small number of deductions 60μs  -- with Felsch + v2 + no preferred defs 63μs  -- with Felsch + v2 + immediate no stack 63μs  -- with Felsch + v1 + immediate no stack 64μs  -- with Felsch + v1 + immediate yes stack 62μs  -- with large collapse 60μs ToddCoxeter 064: (from kbmag/standalone/kb_data/s4) (KnuthB [...] . . .  -- with HLT + no standardise + full lookahead + no save 244μs ToddCoxeter 066: test validate . . . 74μs ToddCoxeter 067: add_rules after construct. from semigroup . . .  -- with HLT + no standardise + full lookahead + no save 384μs  -- with HLT + standardise + full lookahead + no save 353μs  -- with HLT + no standardise + partial lookahead + no save 340μs  -- with HLT + standardise + partial lookahead + no save 341μs  -- with HLT + save (throws) 356μs  -- with Felsch (throws) 353μs  -- with random strategy 339μs ToddCoxeter 068: Sym(5) from Chapter 3, Proposition 1.1 in NR . . .  -- with Deduction policy == purge_from_top 607μs  -- with Deduction policy == purge_all 552μs  -- with Deduction policy == discard_all_if_no_space 573μs  -- with HLT + no standardise + full lookahead + no save 643μs  -- with HLT + standardise + full lookahead + no save 881μs  -- with HLT + no standardise + partial lookahead + no save 638μs  -- with HLT + standardise + partial lookahead + no save 869μs  -- with HLT + no standardise + full lookahead + save 953μs  -- with HLT + standardise + full lookahead + save 923μs  -- with HLT + no standardise + partial lookahead + save 905μs  -- with HLT + standardise + partial lookahead + save 913μs  -- with Felsch + no standardisation 627μs  -- with Felsch + standardisation 602μs  -- with random strategy 646μs  -- with Rc style + full lookahead 1300μs  -- with Rc style + partial lookahead 1277μs  -- with R/C style 725μs  -- with CR style 655μs  -- with Cr style 628μs ToddCoxeter 069: Chapter 7, Theorem 3.6 in NR (size 243) . . .  -- with HLT + no standardise + full lookahead + no save 296μs  -- with HLT + standardise + full lookahead + no save 336μs  -- with HLT + no standardise + partial lookahead + no save 279μs  -- with HLT + standardise + partial lookahead + no save 325μs  -- with HLT + no standardise + full lookahead + save 388μs  -- with HLT + standardise + full lookahead + save 396μs  -- with HLT + no standardise + partial lookahead + save 372μs  -- with HLT + standardise + partial lookahead + save 384μs  -- with Felsch + no standardisation 1877μs  -- with Felsch + standardisation 1896μs  -- with random strategy 413μs  -- with Rc style + full lookahead 312μs  -- with Rc style + partial lookahead 309μs  -- with R/C style 318μs  -- with CR style 1883μs  -- with Cr style 1839μs ToddCoxeter 070: finite semigroup (size 99) . . .  -- with HLT + no standardise + full lookahead + no save 128μs  -- with HLT + standardise + full lookahead + no save 138μs  -- with HLT + no standardise + partial lookahead + no save 114μs  -- with HLT + standardise + partial lookahead + no save 129μs  -- with HLT + no standardise + full lookahead + save 178μs  -- with HLT + standardise + full lookahead + save 176μs  -- with HLT + no standardise + partial lookahead + save 167μs  -- with HLT + standardise + partial lookahead + save 172μs  -- with Felsch + no standardisation 353μs  -- with Felsch + standardisation 343μs  -- with random strategy 351μs  -- with Rc style + full lookahead 128μs  -- with Rc style + partial lookahead 125μs  -- with R/C style 128μs  -- with CR style 340μs  -- with Cr style 329μs ToddCoxeter 080: KnuthBendix 098 . . .  -- with HLT + no standardise + full lookahead + no save 417ms  -- with HLT + standardise + full lookahead + no save 449ms  -- with HLT + no standardise + partial lookahead + no save 418ms  -- with HLT + standardise + partial lookahead + no save 441ms  -- with HLT + no standardise + full lookahead + save 316ms  -- with HLT + standardise + full lookahead + save 305ms  -- with HLT + no standardise + partial lookahead + save 318ms  -- with HLT + standardise + partial lookahead + save 316ms  -- with Felsch + no standardisation 293ms  -- with Felsch + standardisation 296ms  -- with random strategy 309ms  -- with Rc style + full lookahead 305ms  -- with Rc style + partial lookahead 292ms  -- with R/C style 423ms  -- with CR style 297ms  -- with Cr style 294ms ToddCoxeter 084: Campbell-Reza 1 . . .  -- with HLT + no standardise + full lookahead + no save 125μs  -- with HLT + standardise + full lookahead + no save 87μs  -- with HLT + no standardise + partial lookahead + no save 81μs  -- with HLT + standardise + partial lookahead + no save 80μs  -- with HLT + no standardise + full lookahead + save 98μs  -- with HLT + standardise + full lookahead + save 93μs  -- with HLT + no standardise + partial lookahead + save 91μs  -- with HLT + standardise + partial lookahead + save 89μs  -- with Felsch + no standardisation 97μs  -- with Felsch + standardisation 93μs  -- with random strategy 84μs  -- with Rc style + full lookahead 78μs  -- with Rc style + partial lookahead 78μs  -- with R/C style 77μs  -- with CR style 94μs  -- with Cr style 92μs ToddCoxeter 085: Renner monoid type D4 (Gay-Hivert), q = 1 . . .  -- with HLT + no standardise + full lookahead + no save 172ms  -- with HLT + standardise + full lookahead + no save 113ms  -- with HLT + no standardise + partial lookahead + no save 113ms  -- with HLT + standardise + partial lookahead + no save 112ms  -- with HLT + no standardise + full lookahead + save 112ms  -- with HLT + standardise + full lookahead + save 114ms  -- with HLT + no standardise + partial lookahead + save 112ms  -- with HLT + standardise + partial lookahead + save 112ms  -- with Felsch + no standardisation 112ms  -- with Felsch + standardisation 111ms  -- with random strategy 112ms  -- with Rc style + full lookahead 113ms  -- with Rc style + partial lookahead 113ms  -- with R/C style 112ms  -- with CR style 112ms  -- with Cr style 113ms ToddCoxeter 086: trivial semigroup . . . 247ms ToddCoxeter 092: ACE --- perf602p5 - HLT . . .  -- with HLT + no standardise + full lookahead + no save 27ms  -- with HLT + standardise + full lookahead + no save 26ms  -- with HLT + no standardise + partial lookahead + no save 27ms  -- with HLT + standardise + partial lookahead + no save 26ms  -- with HLT + no standardise + full lookahead + save 13ms  -- with HLT + standardise + full lookahead + save 13ms  -- with HLT + no standardise + partial lookahead + save 13ms  -- with HLT + standardise + partial lookahead + save 13ms  -- with random strategy 27ms  -- with Felsch + no standardisation 10ms  -- with Felsch + standardisation 11ms ToddCoxeter 094: ACE --- C5 - HLT . . .  -- with HLT + no standardise + full lookahead + no save 142μs  -- with HLT + standardise + full lookahead + no save 109μs  -- with HLT + no standardise + partial lookahead + no save 94μs  -- with HLT + standardise + partial lookahead + no save 91μs  -- with HLT + no standardise + full lookahead + save 113μs  -- with HLT + standardise + full lookahead + save 110μs  -- with HLT + no standardise + partial lookahead + save 109μs  -- with HLT + standardise + partial lookahead + save 107μs  -- with random strategy 105μs  -- with Felsch + no standardisation 108μs  -- with Felsch + standardisation 104μs ToddCoxeter 095: ACE --- A5-C5 . . .  -- with HLT + no standardise + full lookahead + no save 112μs  -- with HLT + standardise + full lookahead + no save 126μs  -- with HLT + no standardise + partial lookahead + no save 104μs  -- with HLT + standardise + partial lookahead + no save 117μs  -- with HLT + no standardise + full lookahead + save 148μs  -- with HLT + standardise + full lookahead + save 144μs  -- with HLT + no standardise + partial lookahead + save 141μs  -- with HLT + standardise + partial lookahead + save 139μs  -- with random strategy 119μs  -- with Felsch + no standardisation 132μs  -- with Felsch + standardisation 127μs ToddCoxeter 096: ACE --- A5 . . .  -- with HLT + no standardise + full lookahead + no save 239μs  -- with HLT + standardise + full lookahead + no save 232μs  -- with HLT + no standardise + partial lookahead + no save 184μs  -- with HLT + standardise + partial lookahead + no save 225μs  -- with HLT + no standardise + full lookahead + save 323μs  -- with HLT + standardise + full lookahead + save 328μs  -- with HLT + no standardise + partial lookahead + save 308μs  -- with HLT + standardise + partial lookahead + save 319μs  -- with random strategy 337μs  -- with Felsch + no standardisation 248μs  -- with Felsch + standardisation 239μs ToddCoxeter 098: relation ordering . . .  -- with Felsch + no standardisation 522μs  -- with Felsch + standardisation 494μs  -- with HLT + no standardise + full lookahead + no save 278μs  -- with HLT + standardise + full lookahead + no save 282μs  -- with HLT + no standardise + partial lookahead + no save 276μs  -- with HLT + standardise + partial lookahead + no save 270μs  -- with HLT + no standardise + full lookahead + save 505μs  -- with HLT + standardise + full lookahead + save 506μs  -- with HLT + no standardise + partial lookahead + save 506μs  -- with HLT + standardise + partial lookahead + save 508μs  -- with random strategy 311μs ToddCoxeter 099: short circuit size in obviously infinite . . . 18μs ToddCoxeter 101: http://brauer.maths.qmul.ac.uk/Atlas/spor/M [...] . . . 490ms ToddCoxeter 108: http://brauer.maths.qmul.ac.uk/Atlas/lin/L3 [...] . . . 433ms ToddCoxeter 111: PartitionMonoid(2) . . . 76μs ToddCoxeter 112: Brauer(4) (Kudryavtseva + Mazorchuk) . . . 343μs ToddCoxeter 113: SymmetricInverseMonoid . . . 13ms UF 001: constructor by size . . . 13μs UF 002: copy constructor . . . 19μs UF 003: find . . . 15μs action_digraph_helper 015: detail::to_string . . . 22μs action_digraph_helper 016: make . . . 55μs action_digraph_helper 017: is_connected . . . 148μs action_digraph_helper 018: is_strictly_cyclic . . . 9604μs follow_path 012: 20 node path . . . 20μs freeband_equal_to 001: . . . 930μs is_acyclic 000: 2-cycle . . . 11μs is_acyclic 001: 1-cycle . . . 10μs is_acyclic 002: multi-digraph . . . 13μs is_acyclic 003: complete digraph 100 . . . 97μs is_acyclic 004: acyclic digraph with 20000 nodes . . . 2016μs is_acyclic 006: for a node . . . 877μs is_acyclic 007: for a node . . . 17μs is_reachable 008: acyclic 20 node digraph . . . 40μs is_reachable 009: 100 node path . . . 9796μs is_reachable 010: 100 node cycle . . . 9568μs is_reachable 011: 20 node clique . . . 386μs last_node_on_path_nc 014: 20 node path . . . 15μs make 000: from FroidurePin . . . 492μs make 001: from FroidurePin and alphabet . . . 573μs make 002: presentation from presentation . . . 213μs make 003: presentation from presentation and alphabet . . . 45μs make> 000: from ActionDigraph . . . 1420μs make> 001: from ActionDigraph (exceptions) . . . 44μs number_of_words 001: . . . 34μs silo 000: alphabet: a, min: 0, max: 10 . . . 39μs silo 001: corner cases . . . 27μs silo 002: alphabet: ab, min: 1, max: 4 . . . 42μs silo 003: alphabet: abc, min: 0, max: 13 . . . 89ms silo 004: code coverage . . . 28μs sislo 005: alphabet: a, min: 0, max: 10 . . . 37μs sislo 006: corner cases . . . 77μs sislo 007: alphabet: ab, min: 1, max: 4 . . . 68μs sislo 008: alphabet: abc, min: 0, max: 13 . . . 88ms sislo 009: code coverage . . . 27μs string 000: detail::is_suffix . . . 12μs string 001: detail::is_prefix . . . 11μs string 002: detail::maximum_common_suffix . . . 11μs string 003: detail::group_digits . . . 16μs string_to_word 002: . . . 12μs validate_label 013: 20 node path . . . 46μs wilo 001: corner cases . . . 34μs wilo 002: letters: 2, min: 1, max: 4 . . . 30μs wilo 003: letters: 2, min: 1, max: 4 . . . 60μs wilo 004: letters: 3, min: 0, max: 10 . . . 14ms wilo 005: letters: 3, min: 0, max: 13 . . . 162ms wilo 006: forward iterator requirements . . . 160ms wilo 007: more corner cases . . . 51μs wilo 008: starting at a given word 1 . . . 137μs wilo 009: starting at a given word 2 . . . 18μs wilo 010: code coverage . . . 17μs wislo 000: n: 2, min; 1, max: 4 . . . 23μs wislo 001: corner cases . . . 40μs wislo 002: n: 3, min; 0, max: 10 . . . 4740μs wislo 003: n: 3, min; 0, max: 13 . . . 157ms wislo 004: lex + sort . . . 447ms wislo 005: code coverage . . . 26μs =============================================================================== All tests passed (1289245 assertions in 1071 test cases) >>> libsemigroups: Entering fakeroot... make[1]: Entering directory '/home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.3.2' ./config/install-sh -c -d '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib' /bin/sh ./libtool --mode=install /usr/bin/install -c libsemigroups.la '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib' ./config/install-sh -c -d '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/pkgconfig' ./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 extern/textflowcpp/TextFlow.hpp '/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-intf.hpp include/libsemigroups/fpsemi.hpp include/libsemigroups/freeband.hpp include/libsemigroups/froidure-pin-base.hpp include/libsemigroups/froidure-pin-impl.hpp include/libsemigroups/froidure-pin.hpp include/libsemigroups/function-ref.hpp include/libsemigroups/hpcombi.hpp include/libsemigroups/int-range.hpp include/libsemigroups/iterator.hpp include/libsemigroups/kambites.hpp include/libsemigroups/kbe.hpp '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups' libtool: install: /usr/bin/install -c .libs/libsemigroups.so.2.0.0 /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/libsemigroups.so.2.0.0 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/knuth-bendix.hpp include/libsemigroups/konieczny.hpp include/libsemigroups/libsemigroups.hpp include/libsemigroups/make-froidure-pin.hpp include/libsemigroups/make-present.hpp include/libsemigroups/matrix.hpp include/libsemigroups/obvinf.hpp include/libsemigroups/order.hpp include/libsemigroups/pbr.hpp include/libsemigroups/pool.hpp include/libsemigroups/present.hpp include/libsemigroups/present.tpp include/libsemigroups/race.hpp include/libsemigroups/report.hpp include/libsemigroups/runner.hpp include/libsemigroups/schreier-sims.hpp include/libsemigroups/schreier-sims-helper.hpp include/libsemigroups/sims1.hpp include/libsemigroups/sims1.tpp include/libsemigroups/siso.hpp include/libsemigroups/stl.hpp include/libsemigroups/string-view.hpp include/libsemigroups/string.hpp include/libsemigroups/suffix-tree.hpp include/libsemigroups/tce.hpp include/libsemigroups/timer.hpp include/libsemigroups/todd-coxeter.hpp include/libsemigroups/transf.hpp include/libsemigroups/types.hpp include/libsemigroups/uf.hpp include/libsemigroups/wilo.hpp include/libsemigroups/wislo.hpp include/libsemigroups/word.hpp '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups' libtool: install: (cd /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib && { ln -s -f libsemigroups.so.2.0.0 libsemigroups.so || { rm -f libsemigroups.so && ln -s libsemigroups.so.2.0.0 libsemigroups.so; }; }) libtool: install: /usr/bin/install -c .libs/libsemigroups.lai /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/libsemigroups.la libtool: install: /usr/bin/install -c .libs/libsemigroups.a /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/libsemigroups.a libtool: install: chmod 644 /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/libsemigroups.a libtool: install: ranlib /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/libsemigroups.a libtool: warning: remember to run 'libtool --finish /usr/lib' make[1]: Leaving directory '/home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.3.2' >>> libsemigroups-static*: Running split function static... >>> libsemigroups-static*: Preparing subpackage libsemigroups-static... >>> libsemigroups-static*: Stripping binaries >>> libsemigroups-static*: Running postcheck for libsemigroups-static >>> libsemigroups-dev*: Running split function dev... >>> libsemigroups-dev*: Preparing subpackage libsemigroups-dev... >>> libsemigroups-dev*: Stripping binaries >>> libsemigroups-dev*: Running postcheck for libsemigroups-dev >>> libsemigroups*: Running postcheck for libsemigroups >>> libsemigroups*: Preparing package libsemigroups... >>> libsemigroups*: Stripping binaries >>> libsemigroups-dev*: Scanning shared objects >>> libsemigroups-static*: Scanning shared objects >>> libsemigroups*: Scanning shared objects >>> libsemigroups-dev*: Tracing dependencies... libsemigroups=2.3.2-r0 pkgconfig >>> libsemigroups-dev*: Package size: 1.8 MB >>> libsemigroups-dev*: Compressing data... >>> libsemigroups-dev*: Create checksum... >>> libsemigroups-dev*: Create libsemigroups-dev-2.3.2-r0.apk >>> libsemigroups-static*: Tracing dependencies... >>> libsemigroups-static*: Package size: 4.6 MB >>> libsemigroups-static*: Compressing data... >>> libsemigroups-static*: Create checksum... >>> libsemigroups-static*: Create libsemigroups-static-2.3.2-r0.apk >>> libsemigroups*: Tracing dependencies... so:libc.musl-x86_64.so.1 so:libfmt.so.9 so:libgcc_s.so.1 so:libstdc++.so.6 >>> libsemigroups*: Package size: 1.4 MB >>> libsemigroups*: Compressing data... >>> libsemigroups*: Create checksum... >>> libsemigroups*: Create libsemigroups-2.3.2-r0.apk >>> libsemigroups: Build complete at Sun, 13 Nov 2022 16:01:33 +0000 elapsed time 0h 3m 25s >>> libsemigroups: Cleaning up srcdir >>> libsemigroups: Cleaning up pkgdir >>> libsemigroups: Uninstalling dependencies... (1/4) Purging .makedepends-libsemigroups (20221113.155809) (2/4) Purging eigen-dev (3.4.0-r6) (3/4) Purging fmt-dev (9.1.0-r0) (4/4) Purging fmt (9.1.0-r0) OK: 393 MiB in 98 packages >>> libsemigroups: Updating the testing/x86_64 repository index... >>> libsemigroups: Signing the index...