>>> libsemigroups: Building testing/libsemigroups 2.6.0-r0 (using abuild 3.10.0-r0) started Tue, 07 Feb 2023 06:58:45 +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-r8) (2/4) Installing fmt (9.1.0-r0) (3/4) Installing fmt-dev (9.1.0-r0) (4/4) Installing .makedepends-libsemigroups (20230207.065846) OK: 402 MiB in 102 packages >>> libsemigroups: Cleaning up srcdir >>> libsemigroups: Cleaning up pkgdir >>> libsemigroups: Fetching https://distfiles.alpinelinux.org/distfiles/edge/libsemigroups-2.6.0.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.6.0/libsemigroups-2.6.0.tar.gz % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 2435k 100 2435k 0 0 3618k 0 --:--:-- --:--:-- --:--:-- 7658k >>> libsemigroups: Fetching https://distfiles.alpinelinux.org/distfiles/edge/libsemigroups-2.6.0.tar.gz >>> libsemigroups: Checking sha512sums... libsemigroups-2.6.0.tar.gz: OK >>> libsemigroups: Unpacking /var/cache/distfiles/edge/libsemigroups-2.6.0.tar.gz... 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 -mavx... yes checking whether C++ compiler accepts -flax-vector-conversions... yes checking for x86intrin.h... yes checking for _mm_blendv_epi8... yes checking for _mm_cmpeq_epi8... yes checking for _mm_cmpestri... yes checking for _mm_cmpestrm... yes checking for _mm_cmplt_epi8... yes checking for _mm_extract_epi64... yes checking for _mm_max_epi8... yes checking for _mm_max_epu8... yes checking for _mm_min_epi8... yes checking for _mm_min_epu8... yes checking for _mm_movemask_epi8... yes checking for _mm_popcnt_u32... yes checking for _mm_set_epi64x... yes checking for _mm_shuffle_epi8... yes checking for _mm_slli_epi32... yes checking for HPCOMBI_CONSTEXPR_FUN_ARGS... yes 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-examples.lo CXX src/libsemigroups_la-fpsemi-intf.lo CXX src/libsemigroups_la-fpsemi.lo CXX src/libsemigroups_la-freeband.lo CXX src/libsemigroups_la-froidure-pin-base.lo CXX src/libsemigroups_la-kambites.lo CXX src/libsemigroups_la-knuth-bendix.lo CXX src/libsemigroups_la-make-present.lo CXX src/libsemigroups_la-node-manager.lo CXX src/libsemigroups_la-obvinf.lo CXX src/libsemigroups_la-pbr.lo CXX src/libsemigroups_la-race.lo CXX src/libsemigroups_la-report.lo CXX src/libsemigroups_la-runner.lo CXX src/libsemigroups_la-siso.lo CXX src/libsemigroups_la-string.lo CXX src/libsemigroups_la-stephen.lo CXX src/libsemigroups_la-suffix-tree.lo CXX src/libsemigroups_la-timer.lo CXX src/libsemigroups_la-todd-coxeter.lo CXX src/libsemigroups_la-wilo.lo CXX src/libsemigroups_la-wislo.lo CXX src/libsemigroups_la-word.lo CXXLD libsemigroups.la make test_all make[1]: Entering directory '/home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.6.0' CXX tests/bmat-data.o CXX tests/test-action.o CXX tests/test-bipart.o CXX tests/test-bitset.o CXX tests/test-bmat8.o CXX tests/test-cong-intf.o CXX tests/test-cong-pair.o CXX tests/test-cong.o CXX tests/test-constants.o CXX tests/test-containers.o CXX tests/test-digraph-helper.o CXX tests/test-digraph.o CXX tests/test-felsch-tree.o CXX tests/test-forest.o CXX tests/test-fpsemi.o CXX tests/test-fpsemi-examples-1.o CXX tests/test-fpsemi-examples-2.o CXX tests/test-fpsemi-examples-3.o CXX tests/test-fpsemi-intf.o CXX tests/test-freeband.o CXX tests/test-froidure-pin-bipart.o CXX tests/test-froidure-pin-bmat8.o CXX tests/test-froidure-pin-bmat.o CXX tests/test-froidure-pin-integers.o CXX tests/test-froidure-pin-intmat.o CXX tests/test-froidure-pin-intpairs.o CXX tests/test-froidure-pin-matrix.o CXX tests/test-froidure-pin-maxplustrunc.o CXX tests/test-froidure-pin-pbr.o CXX tests/test-froidure-pin-pperm.o CXX tests/test-froidure-pin-projmaxplus.o CXX tests/test-froidure-pin-transf.o CXX tests/test-hpcombi.o CXX tests/test-iterator.o CXX tests/test-kambites.o CXX tests/test-kbe.o CXX tests/test-knuth-bendix-1.o CXX tests/test-knuth-bendix-2.o CXX tests/test-knuth-bendix-3.o CXX tests/test-knuth-bendix-4.o CXX tests/test-knuth-bendix-5.o CXX tests/test-knuth-bendix-6.o CXX tests/test-konieczny-bmat8-1.o CXX tests/test-konieczny-bmat8-2.o CXX tests/test-konieczny-bmat8-3.o CXX tests/test-konieczny-transf.o CXX tests/test-konieczny-bmat.o CXX tests/test-konieczny-pperm.o CXX tests/test-main.o CXX tests/test-make-present.o CXX tests/test-make-froidure-pin.o CXX tests/test-matrix.o CXX tests/test-obvinf.o CXX tests/test-order.o CXX tests/test-pbr.o CXX tests/test-pool.o CXX tests/test-present.o CXX tests/test-race.o CXX tests/test-runner.o CXX tests/test-schreier-sims.o CXX tests/test-schreier-sims-helper.o CXX tests/test-sims1.o CXX tests/test-siso.o CXX tests/test-stephen.o CXX tests/test-string.o CXX tests/test-string-view.o CXX tests/test-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.6.0/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.6.0/include/libsemigroups/string-view.hpp:573:22, inlined from 'libsemigroups::detail::StringViewContainer::~StringViewContainer()' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.6.0/include/libsemigroups/string-view.hpp:162:29, inlined from 'libsemigroups::detail::StringViewContainer::~StringViewContainer()' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.6.0/include/libsemigroups/string-view.hpp:158:7, inlined from 'libsemigroups::detail::MultiStringView::~MultiStringView()' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.6.0/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.6.0/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.6.0/include/libsemigroups/string-view.hpp:573:22, inlined from 'libsemigroups::detail::StringViewContainer::~StringViewContainer()' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.6.0/include/libsemigroups/string-view.hpp:162:29, inlined from 'libsemigroups::detail::StringViewContainer::~StringViewContainer()' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.6.0/include/libsemigroups/string-view.hpp:158:7, inlined from 'libsemigroups::detail::MultiStringView::~MultiStringView()' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.6.0/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.6.0/include/libsemigroups/string-view.hpp:372:30, inlined from 'bool libsemigroups::detail::StringViewContainer::empty() const' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.6.0/include/libsemigroups/string-view.hpp:450:35, inlined from 'bool libsemigroups::detail::MultiStringView::empty() const' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.6.0/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.6.0/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.6.0/include/libsemigroups/string-view.hpp:372:30, inlined from 'bool libsemigroups::detail::StringViewContainer::empty() const' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.6.0/include/libsemigroups/string-view.hpp:450:35, inlined from 'bool libsemigroups::detail::MultiStringView::empty() const' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.6.0/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.6.0/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.6.0/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.6.0/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.6.0/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.6.0/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.6.0/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.6.0/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.6.0/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.6.0/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.6.0/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.6.0/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.6.0/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.6.0/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.6.0/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.6.0/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.6.0/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.6.0/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.6.0' ./test_all --use-colour yes --order lex --abort [quick] Filters: [quick] Action 001: row and column basis orbits for BMat8 . . . 60μs Action 002: row and column basis orbits for BMat8 . . . 2831μs Action 003: add generators after enumeration . . . 2861μs Action 004: multipliers for BMat8 row and column orbits . . . 6164μs Action 005: orbits for regular boolean mat monoid 5 . . . 398ms Action 007: partial perm image orbit . . . 417μs Action 008: partial perm image orbit . . . 88ms Action 009: partial perm image orbit . . . 99ms Action 010: partial perm image orbit . . . 101ms Action 011: permutation on integers . . . 44μs Action 012: permutation on sets, arrays . . . 183μs Action 013: permutation on tuples, arrays . . . 16ms Action 014: permutation on sets, vectors . . . 271μs Action 015: permutation on tuples, vectors . . . 25ms Action 016: misc . . . 10ms Action 017: partial perm image orbit . . . 79μs Action 018: permutation on tuples, arrays (360360) . . . 201ms Action 019: orbits for regular BMat8 monoid 5 with stop/start . . . 294ms Action 021: orbits for regular boolean mat monoid 5 (BMat<5> [...] . . . 372ms ActionDigraph 000: constructor with 1 default arg . . . 28μs ActionDigraph 001: constructor with 0 default args . . . 36μs ActionDigraph 002: add nodes . . . 21μs ActionDigraph 003: add edges . . . 293μs ActionDigraph 004: strongly connected components - cycles . . . 61μs ActionDigraph 005: strongly connected components - no edges . . . 37ms ActionDigraph 006: strongly connected components - disjoint cycles . . . 2037μs ActionDigraph 007: strongly connected components - complete graphs . . . 1050μs ActionDigraph 008: exceptions . . . 55μs ActionDigraph 009: spanning forest - complete graphs . . . 4947μs ActionDigraph 010: spanning forest - disjoint cycles . . . 114μs ActionDigraph 011: restrict . . . 11μs ActionDigraph 012: remove_edge_nc . . . 10μs ActionDigraph 013: scc large cycle . . . 18ms ActionDigraph 014: random . . . 24μs ActionDigraph 015: reserve . . . 11μs ActionDigraph 016: default constructors . . . 15μs ActionDigraph 017: scc iterators . . . 1370μs ActionDigraph 018: iterator to edges . . . 669μs ActionDigraph 019: root of scc . . . 350μs ActionDigraph 020: cbegin/end_panislo - 100 node path . . . 1186μs ActionDigraph 021: cbegin/end_pislo . . . 47μs ActionDigraph 022: cbegin/end_pani(s)lo - 100 node cycle . . . 2715μs ActionDigraph 023: cbegin/cend_pilo - tree 14 nodes . . . 82μs ActionDigraph 024: cbegin/end_pstilo - Cayley digraph . . . 262ms ActionDigraph 025: cbegin_pstilo - Tsalakou . . . 415μs ActionDigraph 026: cbegin/end_pstislo - Cayley digraph . . . 250ms ActionDigraph 027: cbegin/end_pstislo - Cayley digraph . . . 198μs ActionDigraph 028: path iterators corner cases . . . 164μs ActionDigraph 029: reverse node iterator . . . 12μs ActionDigraph 030: pstilo corner case . . . 116μs ActionDigraph 031: number_of_paths corner cases . . . 66μs ActionDigraph 032: number_of_paths acyclic digraph . . . 10ms ActionDigraph 033: number_of_paths binary tree . . . 713ms ActionDigraph 034: number_of_paths large binary tree . . . 130ms ActionDigraph 035: number_of_paths 400 node random digraph . . . 733μs ActionDigraph 036: number_of_paths 10 node acyclic digraph . . . 112μs ActionDigraph 037: number_of_paths node digraph . . . 4612μs ActionDigraph 038: random/random_acyclic exceptions . . . 114μs ActionDigraph 039: unsafe (next) neighbour . . . 63μs ActionDigraph 040: number_of_egdes incident to a node . . . 68μ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 . . . 50μs BMat8 001: transpose . . . 23μs BMat8 002: multiplication . . . 19μs BMat8 003: identity matrix . . . 14μs BMat8 004: random . . . 84μs BMat8 005: call operator . . . 19μs BMat8 006: operator<< . . . 17μs BMat8 007: set . . . 62μs BMat8 008: row space basis . . . 665μs BMat8 009: col space basis . . . 693μs BMat8 010: row space basis . . . 1510μs BMat8 011: number_of_rows, number_of_cols . . . 47μs BMat8 012: row_space, col_space . . . 207μs BMat8 013: rows . . . 43μs BMat8 014: one . . . 11μs BMat8 015: vector constructor . . . 82μs BMat8 016: operator< . . . 15μs BMat8 017: adapters . . . 21μs BMat8 018: one . . . 12μs Bipartition 009: mem fns 1 . . . 44μs Bipartition 010: hash . . . 9000ns Bipartition 011: mem fns 2 . . . 23μs Bipartition 012: delete/copy . . . 9000ns Bipartition 013: degree 0 . . . 11μs Bipartition 014: exceptions . . . 39μs Bipartition 015: convenience constructor . . . 204μs Bipartition 016: force copy constructor over move constructor . . . 17μs Bipartition 017: adapters . . . 9000ns BitSet 000: size . . . 11μs BitSet 001: operator< . . . 11μs BitSet 002: operator== . . . 16μs BitSet 003: operator!= . . . 12μs BitSet 004: operator&= . . . 14μs BitSet 005: & . . . 17μs BitSet 006: operator|= . . . 18μs BitSet 007: operator[] . . . 18μs BitSet 008: set(none) . . . 23μs BitSet 009: set(pos, value) . . . 20μs BitSet 010: set(first, last, value) . . . 22μs BitSet 011: reset(first, last) . . . 21μs BitSet 012: reset(pos) . . . 20μs BitSet 013: apply (iterate through set bits) . . . 27μs BitSet 014: std::hash . . . 8000ns BitSet 015: constructors . . . 18μ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 . . . 144μs Congruence 001: 2-sided congruence on fp semigroup . . . 360μs Congruence 002: left congruence on fp semigroup . . . 312μs Congruence 003: word_to_class_index for cong. on fp semigroup . . . 268μs Congruence 004: word_to_class_index for cong. on fp semigroup . . . 564μs Congruence 005: trivial congruence on non-fp semigroup . . . 355μs Congruence 006: 2-sided congruence on non-fp semigroup . . . 367μs Congruence 007: 2-sided congruence on fp semigroup . . . 553μs Congruence 008: 2-sided congruence on infinite fp semigroup . . . 312μs Congruence 009: 2-sided congruence on infinite fp semigroup . . . 443μs Congruence 010: 2-sided congruence on finite semigroup . . . 40ms Congruence 012: 2-sided congruence on finite semigroup . . . 3134μs Congruence 013: trivial 2-sided congruence on bicyclic monoid . . . 25ms Congruence 014: non-trivial 2-sided congruence on bicyclic monoid . . . 395μs Congruence 015: 2-sided congruence on free abelian monoid . . . 455μs Congruence 016: example where TC works but KB doesn't . . . 676μs Congruence 017: 2-sided congruence on finite semigroup . . . 423μs Congruence 018: infinite fp semigroup from GAP library . . . 612μs Congruence 019: 2-sided cong. on fp semigroup with infinite [...] . . . 308μs Congruence 020: trivial cong. on an fp semigroup . . .  -- with compute size 310μs  -- with don't compute size 244μs Congruence 021: duplicate generators . . . 421μs Congruence 022: non-trivial classes . . . 1208μs Congruence 023: right congruence on finite semigroup . . . 322ms Congruence 024: redundant generating pairs . . . 148μs Congruence 025: 2-sided cong. on free semigroup . . . 97μs Congruence 026: is_quotient_obviously_(in)finite . . . 1228μs Congruence 027: less . . . 378μs Congruence 028: 2-sided congruences of BMat8 semigroup . . . 182ms Congruence 029: left congruence on finite semigroup . . . 720μs Congruence 030: right congruence on finite semigroup . . . 810μs Congruence 031: right congruence on finite semigroup . . . 693μs Congruence 032: contains . . . 259μs Congruence 033: stellar_monoid S2 . . . 903μs Congruence 034: stellar_monoid S3 . . . 1356μs Congruence 035: stellar_monoid S4 . . . 2243μs Congruence 036: stellar_monoid S5 . . . 11ms Congruence 037: stellar_monoid S6 . . . 78ms Congruence 038: stellar_monoid S7 . . . 840ms Congruence 039: left cong. on an f.p. semigroup . . . 1562μs Congruence 040: 2-sided cong. on infinite f.p. semigroup . . . 242μs Congruence 041: 2-sided congruence constructed from type only . . . 510μs Congruence 042: const_contains . . . 610μs Congruence 043: no winner . . . 8208μs Congruence 044: congruence over smalloverlap . . . 10ms CongruenceByPairs 001: (cong) 2-sided cong. on finite semigroup . . . 492μs CongruenceByPairs 002: (cong) left congruence on finite semigroup . . . 204μs CongruenceByPairs 003: (cong) right congruence on finite semigroup . . . 205μs CongruenceByPairs 004: (cong) trivial congruence on finite s [...] . . . 153μs CongruenceByPairs 005: (cong) trivial left congruence on fin [...] . . . 137μs CongruenceByPairs 006: (cong) trivial right congruence on fi [...] . . . 133μs CongruenceByPairs 007: (cong) universal congruence on finite [...] . . . 618μs CongruenceByPairs 009: (cong) 2-sided congruence on finite s [...] . . . 749ms CongruenceByPairs 010: (cong) left congruence on big finite [...] . . . 31ms CongruenceByPairs 011: (cong) left congruence on TCE . . . 158μs CongruenceByPairs 012: (cong) is_quotient_obviously_finite . . . 84μs CongruenceByPairs 013: (cong) class_index_to_word/quotient . . .  -- with right congruence 7774μs  -- with left congruence 1269μs  -- with 2-sided congruence 7099μs CongruenceByPairs 014: (cong) const_word_to_class_index . . .  -- with right congruence 52μs  -- with left congruence 51μs  -- with 2-sided congruence 42μs CongruenceByPairs 015: (cong) size non-Element* . . . 29ms CongruenceInterface 000: add_pair . . .  -- with ToddCoxeter 90μs  -- with KnuthBendix 139μs  -- with CongruenceByPairs 108μs  -- with Congruence 356μs CongruenceInterface 001: contains/const_contains . . .  -- with ToddCoxeter and no parent 99μs  -- with KnuthBendix and no parent 116μs  -- with Congruence and parent 320μs  -- with CongruenceByPairs and parent 87μs CongruenceInterface 002: less . . .  -- with ToddCoxeter 81μs  -- with KnuthBendix 160μs  -- with CongruenceByPairs 91μs  -- with Congruence 328μs CongruenceInterface 003: is_quotient_obviously_(in)finite . . .  -- with ToddCoxeter 70μs  -- with KnuthBendix 143μs CongruenceInterface 004: is_quotient_obviously_(in)finite . . .  -- with CongruenceByPairs 96μs  -- with Congruence 374μs CongruenceInterface 005: parent_froidure_pin . . .  -- with ToddCoxeter 42μs  -- with KnuthBendix 33μs CongruenceInterface 006: parent_froidure_pin . . .  -- with CongruenceByPairs 88μs  -- with Congruence 335μs CongruenceInterface 007: cbegin/cend_ntc . . .  -- with ToddCoxeter 282μs  -- with KnuthBendix 1080μs CongruenceInterface 008: cbegin/cend_ntc . . .  -- with CongruenceByPairs 219μs  -- with Congruence 408μs CongruenceInterface 009: quotient is immutable . . .  -- with ToddCoxeter 80μs  -- with KnuthBendix 164μs  -- with Congruence 256μs CongruenceInterface 010: no generating pairs added . . .  -- with KnuthBendix and common behaviour 5586μs  -- with Congruence and common behaviour 5809μs  -- with ToddCoxeter 68μs CongruenceInterface 011: nr generators not set . . .  -- with ToddCoxeter 98μs  -- with KnuthBendix 97μs  -- with Congruence 95μs CongruenceInterface 012: no generating pairs . . . 205μs ConstIteratorStateless 001: ? . . . 10μs ConstIteratorStateless 002: ? . . . 9000ns Constants 001: Undefined . . . 18μs Constants 002: PositiveInfinity . . . 15μs Constants 003: NegativeInfinity . . . 13μs Constants 004: LimitMax . . . 13μs Duf 004: unite . . . 26μs Duf 006: compress . . . 15μs Duf 008: resize . . . 19μs Duf 009: resize . . . 12μs Duf 010: big chain . . . 15ms Duf 012: empty table . . . 11μs Duf 014: join . . . 13μs Duf 016: contains . . . 25μs Duf 018: swap . . . 29μs DynamicArray2 001: default constructor with 3 default args . . . 14μs DynamicArray2 002: default constructor with 2 default args . . . 9000ns DynamicArray2 003: default constructor with 1 default args . . . 11μs DynamicArray2 004: default constructor with 0 default args . . . 10μs DynamicArray2 005: copy constructor with 1 default args . . . 11μs DynamicArray2 006: copy constructor with 0 default args . . . 18μs DynamicArray2 007: add_rows . . . 13μs DynamicArray2 008: add_rows . . . 12μs DynamicArray2 009: add_cols . . . 32μs DynamicArray2 010: set/get . . . 48μs DynamicArray2 011: append 1/2 . . . 122μs DynamicArray2 012: append 2/2 . . . 212μs DynamicArray2 013: count . . . 31μs DynamicArray2 014: clear . . . 10μs DynamicArray2 015: begin_row and end_row . . . 56μs DynamicArray2 016: cbegin_row and cend_row . . . 21μs DynamicArray2 017: iterator operator++ (postfix) . . . 220μs DynamicArray2 018: iterator operator++ (prefix) . . . 1339μs DynamicArray2 019: iterator operator-- (postfix) . . . 290μs DynamicArray2 020: iterator operator-- (prefix) . . . 293μs DynamicArray2 021: operator= . . . 15μs DynamicArray2 022: operator== and operator!= . . . 257μs DynamicArray2 023: empty and clear . . . 13μs DynamicArray2 024: max_size . . . 9000ns DynamicArray2 025: swap . . . 52μs DynamicArray2 026: iterator arithmetic . . . 1116μs DynamicArray2 027: iterator comparison . . . 13μs DynamicArray2 028: iterator operator= . . . 11μs DynamicArray2 029: iterator operator[] . . . 59μs DynamicArray2 030: iterator operator-> . . . 25μs DynamicArray2 031: const_iterator operator++/-- . . . 194μs DynamicArray2 032: const_iterator operator++/-- . . . 9000ns DynamicArray2 033: column iterators . . . 20μs DynamicArray2 034: column iterator arithmetic . . . 4432μs DynamicArray2 035: iterator assignment constructor . . . 1130μs DynamicArray2 036: reserve method . . . 95μs DynamicArray2 037: erase column . . . 14μs DynamicArray2 038: swap_rows . . . 12μs DynamicArray2 039: apply_row_permutation . . . 11μs DynamicArray2 040: swap . . . 10μs DynamicArray2 041: shrink_rows_to . . . 16μs DynamicArray2 042: shrink_rows_to - for range . . . 16μs FastestBMat 046: check no throw . . . 16μs FelschTree 000: previously failing example . . . 27μs Forest 001: test forest . . . 52μs FpSemigroup 001: Renner monoid type B2 (E. G. presentation), q = 1 . . . 825μs FpSemigroup 002: Renner monoid type B2 (E. G. presentation), q = 0 . . . 977μs FpSemigroup 003: Renner monoid type B3 (E. G. presentation), q = 1 . . . 61ms FpSemigroup 004: Renner monoid type B3 (E. G. presentation), q = 0 . . . 59ms FpSemigroup 005: Renner monoid type B2 (Gay-Hivert presentat [...] . . . 844μs FpSemigroup 006: Renner monoid type B2 (Gay-Hivert presentat [...] . . . 883μs FpSemigroup 007: Renner monoid type B3 (Gay-Hivert presentat [...] . . . 3779μs FpSemigroup 008: Renner monoid type B3 (Gay-Hivert presentat [...] . . . 3555μs FpSemigroup 009: Renner monoid type B4 (Gay-Hivert presentat [...] . . . 342ms FpSemigroup 010: Renner monoid type B4 (Gay-Hivert presentat [...] . . . 581ms FpSemigroup 013: Renner monoid type D2 (E. G. presentation), q = 1 . . . 1554μs FpSemigroup 014: Renner monoid type D2 (E. G. presentation), q = 0 . . . 1441μs FpSemigroup 015: Renner monoid type D3 (E. G. presentation), q = 1 . . . 5637μs FpSemigroup 016: Renner monoid type D3 (E. G. presentation), q = 0 . . . 5620μs FpSemigroup 017: Renner monoid type D4 (E. G. presentation), q = 1 . . . 589ms FpSemigroup 018: Renner monoid type D4 (E. G. presentation), q = 0 . . . 563ms FpSemigroup 019: Renner monoid type D2 (Gay-Hivert presentat [...] . . . 1744μs FpSemigroup 020: Renner monoid type D2 (Gay-Hivert presentat [...] . . . 1781μs FpSemigroup 021: Renner monoid type D3 (Gay-Hivert presentat [...] . . . 6491μs FpSemigroup 022: Renner monoid type D3 (Gay-Hivert presentat [...] . . . 4917μs FpSemigroup 023: Renner monoid type D4 (Gay-Hivert presentat [...] . . . 104ms FpSemigroup 024: Renner monoid type D4 (Gay-Hivert presentat [...] . . . 117ms FpSemigroup 029: Rook monoid R5, q = 0 . . . 6090μs FpSemigroup 030: Rook monoid R5, q = 1 . . . 5808μs FpSemigroup 031: Rook monoid R6, q = 0 . . . 51ms FpSemigroup 032: Rook monoid R6, q = 1 . . . 51ms FpSemigroup 033: normal_form . . . 450μs FpSemigroup 034: for a finite semigroup . . . 1175μs FpSemigroup 035: finite fp semigroup, dihedral group of order 6 . . . 836μs FpSemigroup 036: finite fp semigroup, size 16 . . . 1308μs FpSemigroup 037: finite fp semigroup, size 16 . . . 1914μs FpSemigroup 038: fp semigroup, size 240 . . . 1433μs FpSemigroup 039: add_rule . . . 541μs FpSemigroup 040: add_rule . . . 303μs FpSemigroup 041: equal_to . . . 399μs FpSemigroup 042: cbegin/cend_rules . . . 142μs FpSemigroup 043: semigroup of size 3 . . . 680μs FpSemigroup 044: run_for/until . . . 3447μs FpSemigroup 045: constructors . . . 319μs FpSemigroup 046: set_inverses . . . 225μs FpSemigroup 047: smalloverlap . . . 15ms FpSemigroup 048: quaternion group Q8 . . . 800μs FpSemigroup 049: symmetric group Coxeter presentation . . . 28ms FpSemigroupByPairs 029: (fpsemi) 2-sided congruence on finit [...] . . . 940μs FpSemigroupByPairs 030: (fpsemi) 2-sided congruence on finit [...] . . . 877μs FpSemigroupInterface 000: run with no alphabet . . .  -- with ToddCoxeter 144μs  -- with KnuthBendix 83μs  -- with FpSemigroup 99μs FpSemigroupInterface 001: equal_to . . .  -- with ToddCoxeter and human readable alphabet 2346μs  -- with KnuthBendix and human readable alphabet 7073μs  -- with FpSemigroup and human readable alphabet 6225μs  -- with FpSemigroupByPairs 3840μs FpSemigroupInterface 002: normal_form . . .  -- with ToddCoxeter 277μs  -- with KnuthBendix 421μs  -- with FpSemigroup 696μs FpSemigroupInterface 003: set_alphabet (1/2) . . .  -- with ToddCoxeter 209μs  -- with KnuthBendix 163μs  -- with FpSemigroup 182μs FpSemigroupInterface 004: set_alphabet (2/2) . . . 1638μs FpSemigroupInterface 005: add_rule after finished . . .  -- with ToddCoxeter and human readable alphabet 276μs  -- with KnuthBendix and human readable alphabet 334μs  -- with FpSemigroup and human readable alphabet 625μs  -- with FpSemigroupByPairs 1611μs FpSemigroupInterface 006: add_rule with equal words (1/2) . . .  -- with ToddCoxeter and human readable alphabet 378μs  -- with KnuthBendix and human readable alphabet 537μs  -- with FpSemigroup and human readable alphabet 646μs  -- with FpSemigroupByPairs 348μs FpSemigroupInterface 007: add_rule with equal words (2/2) . . .  -- with ToddCoxeter 80μs  -- with KnuthBendix 69μs  -- with FpSemigroup 83μs FpSemigroupInterface 008: add_rule with word_type . . .  -- with ToddCoxeter 128μs  -- with KnuthBendix 111μs  -- with FpSemigroup 172μs FpSemigroupInterface 009: add_rule with empty word (1/2) . . .  -- with ToddCoxeter 106μs  -- with FpSemigroup 110μs FpSemigroupInterface 010: add_rule with empty word (1/2) . . . 59μs FpSemigroupInterface 011: add_rules (1/3) . . .  -- with ToddCoxeter 114μs  -- with KnuthBendix 102μs  -- with FpSemigroup 115μs FpSemigroupInterface 012: add_rules (2/3) . . . 698μs FpSemigroupInterface 013: add_rules (3/3) . . .  -- with ToddCoxeter 90μs  -- with KnuthBendix 71μs  -- with FpSemigroup 145μs FpSemigroupInterface 014: set_identity (1/3) . . .  -- with ToddCoxeter 223μs  -- with KnuthBendix 207μs  -- with FpSemigroup 312μs FpSemigroupInterface 015: set_identity (2/3) . . . 441μs FpSemigroupInterface 016: set_identity (3/3) . . .  -- with ToddCoxeter 165μs  -- with KnuthBendix 149μs  -- with FpSemigroup 257μs FpSemigroupInterface 017: identity . . .  -- with ToddCoxeter 92μs  -- with KnuthBendix 74μs  -- with FpSemigroup 90μs FpSemigroupInterface 018: set_inverses + inverses (1/2) . . .  -- with ToddCoxeter 311μs  -- with KnuthBendix 253μs  -- with FpSemigroup 384μs FpSemigroupInterface 019: set_inverses + inverses (2/2) . . . 508μs FpSemigroupInterface 020: is_obviously_infinite (1/2) . . .  -- with ToddCoxeter 246μs  -- with KnuthBendix 331μs  -- with FpSemigroup 584μs FpSemigroupInterface 021: is_obviously_infinite (2/2) . . . 87μs FpSemigroupInterface 022: is_obviously_finite (1/2) . . .  -- with ToddCoxeter 218μs  -- with KnuthBendix 321μs  -- with FpSemigroup 938μs FpSemigroupInterface 023: is_obviously_finite (2/2) . . . 114μs FpSemigroupInterface 024: to_gap_string (1/3) . . .  -- with ToddCoxeter 102μs  -- with KnuthBendix 84μs  -- with FpSemigroup 165μs FpSemigroupInterface 025: to_gap_string (2/3) . . . 69μs FpSemigroupInterface 026: to_gap_string (3/3) . . . 95μs FroidurePin 015: (BMat8) regular boolean mat monoid 4 . . . 126ms FroidurePin 016: (BMat8) exception zero generators given . . . 27μs FroidurePin 017: (BMat8) exception word_to_element . . . 119μs FroidurePin 018: (BMat8) exception prefix . . . 2218μs FroidurePin 019: (BMat8) exception suffix . . . 28μs FroidurePin 020: (BMat8) exception first_letter . . . 2209μs FroidurePin 021: (BMat8) exception final_letter . . . 27μs FroidurePin 022: (BMat8) exception current_length . . . 2180μs FroidurePin 023: (BMat8) exception product_by_reduction . . . 2020μs FroidurePin 024: (BMat8) exception fast_product . . . 1663μs FroidurePin 025: (BMat8) exception is_idempotent . . . 63ms FroidurePin 026: (BMat8) copy constructor . . .  -- with fully enumerated 73ms  -- with partially enumerated 53ms  -- with not enumerated 49ms FroidurePin 027: (BMat8) cbegin/end_rules . . . 69μs FroidurePin 031: (integers) . . . 233μs FroidurePin 039: (pairs of integers) non-trivial user type . . . 33μs FroidurePin 055: (tropical max-plus semiring matrices) . . . 347μs FroidurePin 061: projective max plus matrix . . . 1257μs FroidurePin 062: projective max plus matrix . . . 45μs FroidurePin> 009: small example 2 . . . 60μs FroidurePin> 005: small example 1 . . . 154μs FroidurePin> 007: regular bmat monoid 4 . . . 85ms FroidurePin> 011: small example 3 . . . 777μs FroidurePin> 006: small example 1 . . . 192μs FroidurePin> 008: regular bmat monoid 4 . . . 106ms FroidurePin> 010: small example 2 . . . 68μs FroidurePin> 012: small example 3 . . . 972μs FroidurePin 000: small example 1 . . . 198μs FroidurePin 001: default constructed . . . 133μs FroidurePin 002: small example 2 . . . 61μs FroidurePin 004: exception: is_idempotent . . . 212μs FroidurePin> 033: Example 000 . . . 878μs FroidurePin> 035: Example 001 . . . 53μs FroidurePin> 032: Example 000 . . . 718μs FroidurePin> 034: Example 001 . . . 47μs FroidurePin 036: exception: current_position . . . 156μs FroidurePin 037: exception: word_to_element . . . 88μs FroidurePin 038: exception: prefix, suffix, first_letter . . . 26ms FroidurePin> 040: Example 000 . . . 85μs FroidurePin> 041: Example 000 . . . 75μs FroidurePin> 046: Example 005 . . . 217μs FroidurePin> 047: Example 005 . . . 233μs FroidurePin> 048: Example 005 . . . 231μs FroidurePin> 044: Example 004 . . . 37μs FroidurePin> 045: Example 004 . . . 38μs FroidurePin> 049: Example 006 . . . 1393μs FroidurePin> 050: Example 006 . . . 1614μs FroidurePin> 051: Example 006 . . . 1658μs FroidurePin> 052: Example 007 . . . 192μs FroidurePin> 053: Example 007 . . . 210μs FroidurePin> 054: Example 007 . . . 228μs FroidurePin 056: example 1 . . . 281μs FroidurePin 057: example 2 . . . 227μs FroidurePin> 058: . . . 854μs FroidurePin> 059: . . . 64μs FroidurePin> 060: exceptions: add_generator(s) . . . 78μs FroidurePin> 065: no exception zero generators given . . . 26μs FroidurePin> 066: exception generators of different [...] . . . 88μs FroidurePin> 067: exception current_position . . . 56μs FroidurePin> 068: exception word_to_element . . . 58μs FroidurePin> 069: exception gens . . . 783μs FroidurePin> 070: exception prefix . . . 35ms FroidurePin> 071: exception suffix . . . 90ms FroidurePin> 072: exception first_letter . . . 72μs FroidurePin> 073: exception final_letter . . . 121μs FroidurePin> 074: exception current_length . . . 117μs FroidurePin> 075: exception product_by_reduction . . . 529μs FroidurePin> 076: exception fast_product . . . 566μs FroidurePin> 077: exception current_position . . . 784μs FroidurePin> 078: exception is_idempotent . . . 815μs FroidurePin> 079: exception add_generators . . . 52μs FroidurePin> 080: multithread number_of_idempotents . . . 668μs FroidurePin> 081: small semigroup . . . 35μs FroidurePin> 082: large semigroup . . . 10ms FroidurePin> 083: at, position, current_* . . . 9909μs FroidurePin> 084: run . . . 9237μs FroidurePin> 085: run [many stops and starts] . . . 9311μs FroidurePin> 086: factorisation, length [1 element] . . . 9505μs FroidurePin> 087: factorisation, products [all elements] . . . 11ms FroidurePin> 088: first/final letter, prefix, suffi [...] . . . 9538μs FroidurePin> 089: current_position [standard] . . . 34μs FroidurePin> 090: current_position [duplicate gens] . . . 18ms FroidurePin> 091: current_position [after add_generators] . . . 10ms FroidurePin> 092: cbegin_idempotents/cend [1 thread] . . . 10ms FroidurePin> 093: idempotent_cend/cbegin [1 thread] . . . 10ms FroidurePin> 094: is_idempotent [1 thread] . . . 9918μs FroidurePin> 096: finished, started . . . 9972μs FroidurePin> 097: current_position . . . 2331μs FroidurePin> 098: sorted_position, sorted_at . . . 11ms FroidurePin> 099: right/left Cayley graph . . . 43ms FroidurePin> 100: iterator . . . 14ms FroidurePin> 101: reverse iterator . . . 14ms FroidurePin> 102: iterator arithmetic . . . 37ms FroidurePin> 103: iterator sorted . . . 32ms FroidurePin> 104: iterator sorted arithmetic . . . 40ms FroidurePin> 105: copy [not enumerated] . . . 8622μs FroidurePin> 106: copy_closure [not enumerated] . . . 46ms FroidurePin> 107: copy_add_generators [not enumerated] . . . 41ms FroidurePin> 108: copy [partly enumerated] . . . 7749μs FroidurePin> 109: copy_closure [partly enumerated] . . . 12ms FroidurePin> 110: copy_add_generators [partly enumerated] . . . 7793μs FroidurePin> 111: copy [fully enumerated] . . . 10ms FroidurePin> 112: copy_closure [fully enumerated] . . . 12ms FroidurePin> 113: copy_add_generators [fully enumerated] . . . 10ms FroidurePin> 114: relations [duplicate gens] . . . 227μs FroidurePin> 115: relations . . . 9290μs FroidurePin> 116: relations [copy_closure, duplicat [...] . . . 13ms FroidurePin> 117: relations [copy_add_generators, d [...] . . . 13ms FroidurePin> 118: relations [from copy, not enumerated] . . . 8125μs FroidurePin> 119: relations [from copy, partly enum [...] . . . 14ms FroidurePin> 120: relations [from copy, fully enumerated] . . . 14ms FroidurePin> 121: relations [from copy_closure, not [...] . . . 13ms FroidurePin> 122: relations [from copy_add_generato [...] . . . 8089μs FroidurePin> 123: relations [from copy_closure, par [...] . . . 12ms FroidurePin> 124: relations [from copy_add_generato [...] . . . 9704μs FroidurePin> 125: relations [from copy_closure, ful [...] . . . 14ms FroidurePin> 126: relations [from copy_add_generato [...] . . . 12ms FroidurePin> 127: add_generators [duplicate generators] . . . 401μs FroidurePin> 128: add_generators [incremental 1] . . . 481μs FroidurePin> 129: add_generators [incremental 2] . . . 508μs FroidurePin> 130: closure [duplicate generators] . . . 248μs FroidurePin> 131: closure . . . 104μs FroidurePin> 132: factorisation . . . 23μs FroidurePin> 134: minimal_factorisation . . . 54μs FroidurePin> 135: batch_size (for an extremely larg [...] . . . 21μs FroidurePin> 137: exception: generators of differen [...] . . . 28μs FroidurePin> 138: exception: current_position . . . 58μs FroidurePin> 139: exception: word_to_element . . . 60μs FroidurePin> 140: exception: gens, current_position . . . 744μs FroidurePin> 141: exception: add_generators . . . 33μs HPCombi 000: Transf16 . . . 27μs HPCombi 001: One specialisation . . . 10μs HPCombi 002: One specialisation . . . 10μs HPCombi 003: Swap specialisation . . . 10μs HPCombi 004: Swap specialisation . . . 9000ns HPCombi 005: Inverse specialisation . . . 9000ns HPCombi 006: ImageRightAction . . . 11μs HPCombi 007: ImageLeft/RightAction . . . 15μs HPCombi 008: Product . . . 10μs HPCombi 009: Degree/Complexity . . . 9000ns KBE 000: constructors . . . 44μs KBE 001: test . . . 64μs KBE 002: factorisation . . . 46μs KBE 003: swap . . . 33μs KBE 004: adapters . . . 29μs KBE 005: conversions . . . 29μs Kambites 000: (fpsemi) MT test 4 (std::string) . . . 7059μs Kambites 001: (fpsemi) MT test 4 (MultiStringView) . . . 7509μs Kambites 002: (fpsemi) number_of_pieces (std::string) . . . 133μs Kambites 003: (fpsemi) number_of_pieces (MultiStringView) . . . 123μs Kambites 004: (fpsemi) small_overlap_class (std::string) . . . 3960μs Kambites 005: (fpsemi) small_overlap_class (MultiStringView) . . . 3946μ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) . . . 87μs Kambites 011: (fpsemi) smalloverlap/gap/test.gi:85 (MultiStr [...] . . . 66μs Kambites 012: (fpsemi) free semigroup . . . 12μs Kambites 013: (fpsemi) smalloverlap/gap/test.gi:49 (std::string) . . . 37ms Kambites 014: (fpsemi) smalloverlap/gap/test.gi:49 (MultiStr [...] . . . 45ms 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) . . . 158ms Kambites 018: (fpsemi) smalloverlap/gap/test.gi:70 (MultiStr [...] . . . 194ms Kambites 021: (fpsemi) code coverage (std::string) . . . 54μs Kambites 022: (fpsemi) code coverage (MultiStringView) . . . 32μs Kambites 023: (fpsemi) prefix (std::string) . . . 68μs Kambites 024: (fpsemi) prefix (MultiStringView) . . . 93μs Kambites 025: (fpsemi) normal_form (Example 3.15) (std::string) . . . 72μs Kambites 026: (fpsemi) normal_form (Example 3.15) (MultiStri [...] . . . 87μs Kambites 027: (fpsemi) normal_form (Example 3.16) (std::string) . . . 53μs Kambites 028: (fpsemi) normal_form (Example 3.16) (MultiStri [...] . . . 68μ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) . . . 73μs Kambites 032: (fpsemi) small presentation (MultiStringView) . . . 49μs Kambites 033: (fpsemi) non-smalloverlap (std::string) . . . 54μs Kambites 034: (fpsemi) non-smalloverlap (MultiStringView) . . . 52μs Kambites 035: (fpsemi) MT test 3 (std::string) . . . 50μs Kambites 036: (fpsemi) MT test 3 (MultiStringView) . . . 49μs Kambites 037: (fpsemi) MT test 5 (std::string) . . . 28μs Kambites 038: (fpsemi) MT test 5 (MultiStringView) . . . 30μs Kambites 039: (fpsemi) MT test 6 (std::string) . . . 61μs Kambites 040: (fpsemi) MT test 6 (MultiStringView) . . . 76μs Kambites 041: (fpsemi) MT test 10 (std::string) . . . 52μs Kambites 042: (fpsemi) MT test 10 (MultiStringView) . . . 56μ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) . . . 32μ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) . . . 134μs Kambites 052: (fpsemi) MT test 17 (MultiStringView) . . . 120μs Kambites 053: (fpsemi) weak C(4) not strong x 1 (std::string) . . . 522μs Kambites 054: (fpsemi) weak C(4) not strong x 1 (MultiStringView) . . . 618μs Kambites 055: (fpsemi) weak C(4) not strong x 2 (std::string) . . . 504μs Kambites 056: (fpsemi) weak C(4) not strong x 2 (MultiStringView) . . . 603μs Kambites 057: (fpsemi) weak C(4) not strong x 3 (std::string) . . . 479μs Kambites 058: (fpsemi) weak C(4) not strong x 3 (MultiStringView) . . . 425μs Kambites 059: (fpsemi) weak C(4) not strong x 4 (std::string) . . . 60μs Kambites 060: (fpsemi) weak C(4) not strong x 4 (MultiStringView) . . . 75μs Kambites 061: (fpsemi) weak C(4) not strong x 5 (std::string) . . . 26μ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) . . . 35μs Kambites 064: (fpsemi) weak C(4) not strong x 6 (MultiStringView) . . . 38μ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) . . . 1110ms Kambites 068: (fpsemi) long words (MultiStringView) . . . 34ms Kambites 075: (cong) example 1 . . . 67μs Kambites 076: (cong) example 2 . . . 140μs Kambites 077: (cong) code coverage . . . 7329μs Kambites 078: (cong) large number of rules . . . 286ms KnuthBendix 000: (fpsemi) confluent fp semigroup 1 (infinite) . . . 93μs KnuthBendix 001: (fpsemi) confluent fp semigroup 2 (infinite) . . . 107μs KnuthBendix 002: (fpsemi) confluent fp semigroup 3 (infinite) . . . 72μs KnuthBendix 003: (fpsemi) non-confluent fp semigroup from wi [...] . . . 148μs KnuthBendix 004: (fpsemi) Example 5.1 in Sims (infinite) . . . 137μs KnuthBendix 005: (fpsemi) Example 5.1 in Sims (infinite) . . . 129μs KnuthBendix 006: (fpsemi) Example 5.3 in Sims . . . 103μs KnuthBendix 007: (fpsemi) Example 5.4 in Sims . . . 107μs KnuthBendix 008: (fpsemi) Example 6.4 in Sims (size 168) . . . 7361μs KnuthBendix 009: (fpsemi) . . . 52ms KnuthBendix 010: (fpsemi) SL(2, 7) from Chapter 3, Propositi [...] . . . 73ms KnuthBendix 011: (fpsemi) F(2, 5) - Chapter 9, Section 1 in [...] . . . 384μs KnuthBendix 012: (fpsemi) Reinis example 1 . . . 182μs KnuthBendix 013: redundant_rule (std::string) . . . 100ms KnuthBendix 014: redundant_rule (word_type) . . . 10ms KnuthBendix 019: (fpsemi) C(4) monoid . . . 30μs KnuthBendix 020: (cong) Chinese monoid . . . 118μs KnuthBendix 021: (from kbmag/standalone/kb_data/f25monoid) . . . 451μs KnuthBendix 022: (from kbmag/standalone/kb_data/degen4a) . . . 47ms KnuthBendix 023: (from kbmag/standalone/kb_data/torus) . . . 2165μs KnuthBendix 024: (from kbmag/standalone/kb_data/3a6) . . . 233ms KnuthBendix 025: (from kbmag/standalone/kb_data/f2) . . . 49μs KnuthBendix 026: (from kbmag/standalone/kb_data/s16) . . . 63ms KnuthBendix 027: (from kbmag/standalone/kb_data/a4monoid) . . . 53μ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) . . . 16μs KnuthBendix 031: (from kbmag/standalone/kb_data/f25) . . . 387μs KnuthBendix 032: (from kbmag/standalone/kb_data/237) . . . 506μs KnuthBendix 033: (from kbmag/standalone/kb_data/c2) . . . 17μs KnuthBendix 034: (from kbmag/standalone/kb_data/cosets) . . . 180μs KnuthBendix 035: Example 5.1 in Sims (KnuthBendix 09 again) . . . 41μs KnuthBendix 036: (from kbmag/standalone/kb_data/nilp2) . . . 27μs KnuthBendix 037: Example 6.4 in Sims . . . 12ms KnuthBendix 038: KnuthBendix 071 again . . . 570μs KnuthBendix 039: Example 5.4 in Sims (KnuthBendix 11 again) [...] . . . 164μs KnuthBendix 040: Example 5.4 in Sims (KnuthBendix 11 again) [...] . . . 110μs KnuthBendix 041: operator<< . . . 49μs KnuthBendix 042: confluence_interval . . . 16μs KnuthBendix 043: max_overlap . . . 15μs KnuthBendix 044: (fpsemi) (from kbmag/standalone/kb_data/d22 [...] . . . 1026μs KnuthBendix 045: (fpsemi) (from kbmag/standalone/kb_data/d22 [...] . . . 1935μs KnuthBendix 046: (fpsemi) small example . . . 654μs KnuthBendix 047: code coverage . . . 58μs KnuthBendix 048: small overlap 1 . . . 49μs KnuthBendix 049: (from kbmag/standalone/kb_data/s9) . . . 1348μs KnuthBendix 050: (fpsemi) Chapter 11, Lemma 1.8 (q = 6, r = [...] . . . 495μs KnuthBendix 051: (fpsemi) Chapter 11, Section 2 (q = 6, r = [...] . . . 108μs KnuthBendix 052: (fpsemi) Chapter 8, Theorem 4.2 in NR (infinite) . . . 193μs KnuthBendix 053: (fpsemi) equal_to fp semigroup . . . 44μs KnuthBendix 054: (fpsemi) equal_to free semigroup . . . 54μs KnuthBendix 055: (fpsemi) from GAP smalloverlap gap/test.gi [...] . . . 280μs KnuthBendix 056: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 443μs KnuthBendix 057: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 446μs KnuthBendix 058: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 1243μs KnuthBendix 059: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 2878μs KnuthBendix 060: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 31μs KnuthBendix 061: (fpsemi) Von Dyck (2,3,7) group (infinite) . . . 442μs KnuthBendix 062: (fpsemi) Von Dyck (2,3,7) group - different [...] . . . 4139μs KnuthBendix 063: (fpsemi) rewriting system from KnuthBendixC [...] . . . 313μs KnuthBendix 064: (fpsemi) rewriting system from Congruence 20 . . . 29μs KnuthBendix 065: (fpsemi) (from kbmag/standalone/kb_data/ab2) . . . 82μs KnuthBendix 066: (fpsemi) (from kbmag/standalone/kb_data/d22 [...] . . . 1102μs KnuthBendix 067: (fpsemi) (from kbmag/standalone/kb_data/degen1) . . . 40μs KnuthBendix 068: (fpsemi) (from kbmag/standalone/kb_data/s4) . . . 275μs KnuthBendix 069: (fpsemi) fp semigroup (infinite) . . . 46μs KnuthBendix 070: (fpsemi) Chapter 11, Section 1 (q = 4, r = [...] . . . 1583μs KnuthBendix 071: (fpsemi) Chapter 11, Section 1 (q = 8, r = [...] . . . 98ms KnuthBendix 072: (fpsemi) Chapter 7, Theorem 3.9 in NR (size 240) . . . 3119μ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) . . . 715μs KnuthBendix 076: (fpsemi) Sym(5) from Chapter 3, Proposition [...] . . . 2541μs KnuthBendix 077: (fpsemi) SL(2, 7) from Chapter 3, Propositi [...] . . . 72ms KnuthBendix 078: (fpsemi) bicyclic monoid (infinite) . . . 44μs KnuthBendix 079: (fpsemi) plactic monoid of degree 2 (infinite) . . . 61μs KnuthBendix 080: (fpsemi) example before Chapter 7, Proposit [...] . . . 43μs KnuthBendix 081: (fpsemi) Chapter 7, Theorem 3.6 in NR (size 243) . . . 718μs KnuthBendix 082: (fpsemi) finite semigroup (size 99) . . . 217μs KnuthBendix 096: Sorouhesh . . . 348μs KnuthBendix 097: (fpsemi) transformation semigroup (size 4) . . . 57μs KnuthBendix 098: (fpsemi) transformation semigroup (size 9) . . . 53μs KnuthBendix 099: (fpsemi) transformation semigroup (size 88) . . . 701μs KnuthBendix 100: internal_string_to_word . . . 38μs KnuthBendix 101: (fpsemi) construct from shared_ptr . . . 682μs KnuthBendix 102: internal_string_to_word . . . 691μs KnuthBendix 103: (cong) free semigroup congruence (5 classes) . . . 68μs KnuthBendix 104: free semigroup congruence (6 classes) . . . 216μs KnuthBendix 105: (cong) free semigroup congruence (16 classes) . . . 289μs KnuthBendix 106: (cong) free semigroup congruence (6 classes) . . . 404μs KnuthBendix 107: (cong) free semigroup congruence (240 classes) . . . 3059μs KnuthBendix 108: (cong) free semigroup congruence (240 classes) . . . 3046μs KnuthBendix 109: (cong) less . . . 3551μs KnuthBendix 110: (cong) less . . . 175ms KnuthBendix 111: (cong) constructors . . . 250ms KnuthBendix 112: (cong) const_contains/contains . . . 182μs KnuthBendix 113: (cong) is_quotient_obviously_finite . . . 23μs KnuthBendix 114: (cong) class_index_to_word . . . 190μs KnuthBendix 115: (cong) quotient_froidure_pin . . . 129μs KnuthBendix 116: (cong) set_number_of_generators . . . 25μs KnuthBendix 117: (cong) number of classes when obv-inf . . . 43μs KnuthBendixCongruenceByPairs 016: non-trivial congruence on [...] . . . 182μs KnuthBendixCongruenceByPairs 017: non-trivial congruence on [...] . . . 171μs KnuthBendixCongruenceByPairs 018: non-trivial congruence on [...] . . . 239μs KnuthBendixCongruenceByPairs 019: non-trivial congruence on [...] . . . 247μs KnuthBendixCongruenceByPairs 020: trivial congruence on a fi [...] . . . 175μs KnuthBendixCongruenceByPairs 021: universal congruence on a [...] . . . 497μs KnuthBendixCongruenceByPairs 022: left congruence on a finit [...] . . . 250μs KnuthBendixCongruenceByPairs 023: finite group, Chapter 11, [...] . . . 3965μs KnuthBendixCongruenceByPairs 024: right congruence on infini [...] . . . 281μs KnuthBendixCongruenceByPairs 025: finite fp semigroup, dihed [...] . . . 285μs KnuthBendixCongruenceByPairs 026: finite fp semigroup, size 16 . . . 302μs KnuthBendixCongruenceByPairs 027: finite fp semigroup, size 16 . . . 882μs KnuthBendixCongruenceByPairs 028: infinite fp semigroup with [...] . . . 68μs Konieczny 000: test000> . . . 1094μs Konieczny 001: test000> . . . 804μs Konieczny 002: test001> . . . 11ms Konieczny 003: test001> . . . 8931μs Konieczny 006: exceptions . . . 44μs Konieczny 007: code coverage . . . 13ms Konieczny 008: code coverage . . . 11ms Konieczny 009: regular elements and idempotents . . . 91ms Konieczny 010: regular D-class 01 . . . 1050μs Konieczny 011: regular D-class 02 . . . 9732μs Konieczny 012: regular D-class 04: contains . . . 32ms Konieczny 013: non-regular D-classes 01 . . . 1105μs Konieczny 014: RegularDClass . . . 649μs Konieczny 015: full bmat monoid 4 . . . 44ms Konieczny 017: regular generated bmat monoid 4 idempotents . . . 88ms Konieczny 019: my favourite example . . . 95ms Konieczny 020: another large example . . . 8919μs Konieczny 021: my favourite example transposed . . . 76ms Konieczny 024: exceptions . . . 1153μs Konieczny 025: 0-parameter constructor . . . 19ms Konieczny 026: non-regular D-classes 02 . . . 11ms Konieczny 028: partial perm . . . 105ms Konieczny 029: symmetric inverse monoid n = 8 . . . 19ms Konieczny 030: exceptions . . . 215ms Konieczny 031: transformations . . . 513μs Konieczny 032: transformations - JDM favourite example . . . 47ms Konieczny 033: transformations - large example . . . 276ms Konieczny 034: transformations - large example with stop . . . 277ms Konieczny 035: transformations - large example with run_until . . . 277ms Konieczny 036: transformations - large example with stop in Action . . . 274ms Konieczny 037: exceptions . . . 50μs Konieczny 038: transformations: contains . . . 678μs Konieczny 040: transformations - destructor coverage . . . 102ms Konieczny 041: current_number_D_classes . . . 102ms Konieczny 042: add_generator . . . 16μs Konieczny 043: add_generator . . . 12μs Matrix 000: BMat<2> . . . 88μs Matrix 001: BMat<> . . . 71μs Matrix 002: BMat<3> + BMat<> . . . 12μs Matrix 003: BMat<2> + BMat<> . . . 12μs Matrix 004: BMat<3> . . . 12μs Matrix 005: BMat<> . . . 14μs Matrix 006: BMat<3> row_basis . . . 47μs Matrix 007: BMat<> row_basis . . . 37μs Matrix 008: IntMat<3> . . . 15μs Matrix 009: IntMat<> . . . 18μ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> . . . 16μs Matrix 015: MinPlusMat<> . . . 19μs Matrix 016: MinPlusMat code cov . . . 9000ns Matrix 017: MaxPlusTruncMat<5, 2> . . . 20μs Matrix 018: MaxPlusTruncMat<5> . . . 23μs Matrix 019: MaxPlusTruncMat<> . . . 30μs Matrix 020: MaxPlusTruncMat<5, 4> . . . 17μs Matrix 021: MaxPlusTruncMat<5> . . . 19μs Matrix 022: MaxPlusTruncMat<> . . . 18μs Matrix 023: MaxPlusTruncMat<33, 3> . . . 33μs Matrix 024: MaxPlusTruncMat<33> . . . 29μs Matrix 025: MaxPlusTruncMat<> . . . 27μs Matrix 026: MaxPlusMat code cov . . . 9000ns Matrix 027: MinPlusTruncMat<33, 3> . . . 30μs Matrix 028: MinPlusTruncMat<33> . . . 33μs Matrix 029: MinPlusTruncMat<> . . . 38μs Matrix 030: NTPMat<0, 3, 3, 3> . . . 15μs Matrix 031: NTPMat<0, 3> . . . 16μs Matrix 032: NTPMat<> . . . 33μ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> . . . 17μs Matrix 038: NTPMat<> . . . 17μs Matrix 039: NTPMat<33, 2, 3, 3> . . . 14μs Matrix 040: NTPMat<33, 2> . . . 15μs Matrix 041: NTPMat<> . . . 14μs Matrix 042: ProjMaxPlusMat<3> . . . 92μs Matrix 043: ProjMaxPlusMat<> . . . 58μs Matrix 044: exceptions . . . 35μs Matrix 045: code coverage . . . 35μs MultiStringView 000: catch all . . . 41μs MultiStringView 001: is_prefix . . . 13μs MultiStringView 002: erase . . . 16μs MultiStringView 003: iterators . . . 11μs MultiStringView 004: constructors (long) . . . 19μs MultiStringView 005: constructors (short) . . . 15μs MultiStringView 006: copy assignment (short assigned to long) . . . 13μ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 . . . 19μs MultiStringView 011: pop_front . . . 45μ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 . . . 40μs ObviouslyInfinite 012: A power of the generator 'b' does not [...] . . . 11μs ObviouslyInfinite 013: Preserves the number of occurrences o [...] . . . 12μs ObviouslyInfinite 014: Less relations than generators . . . 11μs ObviouslyInfinite 015: Relations preserve length . . . 13μ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 . . . 16μs PBR 001: universal product with convenience constructor . . . 44μs PBR 002: universal product . . . 18μs PBR 003: product [bigger than previous] . . . 27μs PBR 004: hash . . . 10μs PBR 005: delete/copy . . . 18μs PBR 006: exceptions . . . 134μs PBR 007: operators . . . 71μs PBR 008: to_string . . . 20μs PBR 009: identity . . . 46μs PBR 010: adapters . . . 9000ns Pool 000: initial . . . 25μs Pool 001: bmat . . . 24μs Pool 002: PoolGuard . . . 20μs Pool 003: transformation products . . . 13μs Presentation 000: vectors of ints . . . 78μs Presentation 001: strings . . . 70μs Presentation 002: constructors (word_type) . . . 27μs Presentation 003: constructors (StaticVector1) . . . 28μs Presentation 004: constructors (std::string) . . . 22μs Presentation 005: alphabet + letters (word_type) . . . 107μs Presentation 006: alphabet + letters (std::string) . . . 34μs Presentation 007: contains_empty_word . . . 12μs Presentation 008: validate_rules throws . . . 43μs Presentation 009: helpers add_rule(s) . . . 84μs Presentation 010: helpers add_rule(s) (std::string) . . . 33μs Presentation 011: helpers add_identity_rules (std::vector/St [...] . . . 40μs Presentation 012: helpers add_identity_rules (std::string) . . . 24μs Presentation 013: helpers add_inverse_rules (all) . . . 166μs Presentation 014: helpers add_inverse_rules (std::string) . . . 37μs Presentation 015: helpers remove_duplicate_rules . . . 60μs Presentation 016: helpers reduce_complements . . . 118μs Presentation 017: helpers sort_each_rule . . . 58μs Presentation 018: helpers sort_rules . . . 69μs Presentation 019: helpers longest_common_subword/replace_subword . . . 230μs Presentation 020: helpers redundant_rule . . . 5506μs Presentation 021: helpers shortlex_compare_concat . . . 11μs Presentation 022: helpers remove_trivial_rules . . . 63μs Presentation 023: helpers replace_subword (existing, replacement) . . . 51μs Presentation 024: helpers longest_rule . . . 99μs Presentation 025: helpers longest_rule_length . . . 88μs Presentation 026: helpers remove_redundant_generators . . . 103μs Presentation 027: helpers reverse . . . 20μs Presentation 028: in_alphabet . . . 24μs Presentation 029: replace_subword with empty word . . . 21μs Presentation 030: helpers replace_word . . . 37μs Presentation 031: clear . . . 12μs Presentation 032: letter . . . 31μs Presentation 033: normalize_alphabet . . . 15μs Presentation 034: longest_common_subword issue . . . 289μs Presentation 035: helpers add_zero_rules (std::vector/Static [...] . . . 42μs Presentation 036: helpers add_zero_rules (std::string) . . . 24μs Presentation 037: make_semigroup . . . 44μs Presentation 038: greedy_reduce_length . . . 193μs Presentation 040: change_alphabet . . . 68μs Presentation 042: first_unused_letter/letter . . . 157μs Race 001: run_for . . . 10ms Race 002: run_until . . . 10ms Race 003: exceptions . . . 10ms Race 004: iterators . . . 12μ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 . . . 1029μs Runner 005: run_until . . . 10ms Runner 006: kill . . . 25μs Runner 007: copy constructor . . . 10ms Runner 008: report . . . 20ms Runner 009: run_until with function pointer . . . 26μs SchreierSims 001: trivial perm. group (degree 1) . . . 47μs SchreierSims 002: trivial perm. group (degree 2) . . . 33μs SchreierSims 003: trivial perm. group (degree 500) . . . 345μs SchreierSims 004: symmetric perm. group (degree 5) . . . 53μs SchreierSims 005: symmetric perm. group (degree 8) . . . 46μs SchreierSims 006: symmetric perm. group (degree 9) . . . 51μs SchreierSims 007: alternating perm. group (degree 12) . . . 68μs SchreierSims 008: symmetric perm. group (degree 16) . . . 317μs SchreierSims 009: alternating perm. group (degree 15) . . . 179μs SchreierSims 010: alternating perm. group (degree 16) . . . 369μs SchreierSims 011: dihedral perm. group (order 10) . . . 32μs SchreierSims 012: dihedral perm. group (order 200) . . . 2359μs SchreierSims 013: perm. group T (order 12) . . . 29μs SchreierSims 014: quaternion perm. group (order 8) . . . 34μs SchreierSims 015: perm. group (order 84129611558952960) . . . 295ms SchreierSims 016: perm. group SL(3, 5) (order 372000) . . . 1423μs SchreierSims 017: perm. group PSL(4, 8) (order 34558531338240) . . . 117ms SchreierSims 018: perm. Mathieu group M11 (order 7920) . . . 94μs SchreierSims 019: perm. Mathieu group M24 (order 244823040) . . . 241μs SchreierSims 020: perm. Janko Group J1 (order 175560) . . . 3316μs SchreierSims 021: perm. Hall-Janko group (order 604800) . . . 460μs SchreierSims 022: perm. Hall-Janko group (alt.) (order 604800) . . . 34ms SchreierSims 023: perm. Conway group Co3 (order 495766656000) . . . 8929μs SchreierSims 024: perm. Conway group Co3 (alt.) (order 49576 [...] . . . 19ms SchreierSims 025: perm. Suzuki group (order 448345497600) . . . 133ms SchreierSims 027: perm. Held group (order 4030387200) . . . 174ms SchreierSims 028: perm. group C2 x C2 x C2 (order 8) . . . 25μs SchreierSims 029: perm. group C2 x C2 x C2 x C2 (order 16) . . . 35μs SchreierSims 030: perm. group (S5 x S5) : C2 (order 28800) . . . 58μs SchreierSims 031: perm. group C3 x D8 x A5 (order 1440) . . . 57μs SchreierSims 032: perm. group GL(4, 3) (order 24261120) . . . 619μs SchreierSims 033: perm. group PSL(3, 7) (order 1876896) . . . 700μs SchreierSims 037: symmetric perm. group (degree 5) . . . 26μs SchreierSims 038: alternating perm. group (degree 17) . . . 3509μs SchreierSims 039: exceptions . . . 101μs SchreierSims 040: exceptions . . . 45μs SchreierSims 041: trivial group . . . 31μs SchreierSims 042: A17 bug . . . 3127μs SchreierSims 043: orbits_lookup test . . . 486μs SchreierSims 044: transversal_element and inversal_element test . . . 1265μs SchreierSimsHelper 001: trivial perm. group intersection (de [...] . . . 20μs SchreierSimsHelper 002: trivial perm. group intersection (de [...] . . . 23μs SchreierSimsHelper 003: cyclic group intersection (degree 13) . . . 30μs SchreierSimsHelper 004: D10 and Z5 intersection . . . 31μs SchreierSimsHelper 005: D8 and Q8 intersection . . . 18μs SchreierSimsHelper 006: primitive on 8 points intersection . . . 29μs SchreierSimsHelper 007: primitive on 8 points intersection ( [...] . . . 24μs SchreierSimsHelper 008: A13 and PGL(2, 11) intersection . . . 134μs SchreierSimsHelper 009: A13 and PGL(2, 11) intersection (swa [...] . . . 126μs SchreierSimsHelper 012: 3^3:13 and 3^3.2.A(4) intersection . . . 145μs SchreierSimsHelper 015: 3^3(S(4) x 2) and ASL(3, 3) intersection . . . 306μs SchreierSimsHelper 016: 7^2:3 x Q(8) and 7^2:D(2*6) intersection . . . 392μs SchreierSimsHelper 018: D(2*53) and 53:13 intersection . . . 227μs SchreierSimsHelper 019: 2^6:(7 x D_14) and PSL(2, 6)^2.4 int [...] . . . 1547μs SchreierSimsHelper 020: 2^6:(S_3 x GL(3, 2)) and 2.6:Alt(7) [...] . . . 4713μs SchreierSimsHelper 022: PSL(2, 127) and AGL(1, 2^7) intersection . . . 8801μs SchreierSimsHelper 023: PSL(3, 4).2 and PSL(3, 4).2 (nontriv [...] . . . 1803μs SchreierSimsHelper 024: PSL(3, 4).Sym(3) and PSL(3, 4).2 int [...] . . . 1820μs SchreierSimsHelper 025: 3^4:5:4 and D_16:4 intersection . . . 970μs Sims1 000: fp example 1 . . . 973μs Sims1 001: fp example 2 . . . 1494μs Sims1 002: ToddCoxeter failing example . . . 11ms Sims1 003: ToddCoxeter failing example . . . 562μs Sims1 004: partition_monoid(2) right . . . 4652μs Sims1 006: full_transformation_monoid(3) right . . . 4870μs Sims1 007: full_transformation_monoid(3) left . . . 2736μs Sims1 009: rook_monoid(2, 1) . . . 88μs Sims1 010: symmetric_inverse_monoid(2) from FroidurePin . . . 89μs Sims1 011: symmetric_inverse_monoid(3) . . . 5107μs Sims1 014: temperley_lieb_monoid(3) from presentation . . . 76μs Sims1 015: temperley_lieb_monoid(4) from presentation . . . 553μs Sims1 016: fp semigroup containing given pairs #1 . . . 261μs Sims1 017: fp semigroup containing given pairs #2 . . . 264μs Sims1 018: fp semigroup containing given pairs #3 . . . 414μs Sims1 019: ToddCoxeter failing example . . . 1140μs Sims1 020: fp example 2 . . . 1965μs Sims1 021: exceptions . . . 199μs Sims1 027: from https://mathoverflow.net/questions/423541/ . . . 18ms Sims1 028: from https://mathoverflow.net/questions/423541/ . . . 13ms Sims1 030: presentation with one free generator . . . 172μs Sims1 031: presentation with non-zero index generators . . . 116μs Sims1 032: presentation with empty word . . . 6040μs Sims1 033: constructors . . . 963μs Sims1 034: split_at . . . 177μs Sims1 035: stats . . . 90μs Sims1 036: check iterator requirements . . . 122μs Sims1 040: TransitiveGroup(10, 32) - minimal rep . . . 2855μs Sims1 043: rectangular_band(2, 2) - with and without identity . . . 176μs Sims1 044: trivial group - minimal o.r.c. rep . . . 109μs Sims1 045: right zero semigroup - minimal o.r.c. rep . . . 1666μs Sims1 046: semigroup with faithful non-strictly cyclic actio [...] . . . 720μs Sims1 068: RepOrc . . . 25ms Sims1 069: fp example 1 . . . 362μ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 948μs (173ns 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 . . . 1012μs Sims1 072: symmetric_group(n) for n = 4 . . . 1219μs Sims1 073: corner case no generators + no relations . . . 75μs SmallestInteger 001: . . . 12μs StaticTriVector2 045: all . . . 18μs StaticVector2 043: all . . . 17μs Stephen 000: basic test 1 . . . 198μs Stephen 001: basic test 2 . . . 135μs Stephen 002: full transf monoid . . . 13ms Stephen 003: from step_hen 002 . . . 50μs Stephen 004: from step_hen 003 . . . 146μs Stephen 005: from step_hen 004 . . . 40μs Stephen 006: from step_hen 005 . . . 91μs Stephen 008: C(4) monoid normal form (test_case_knuth_bendix_055) . . . 174μs Stephen 009: C(4) monoid normal form (test_case_gap_smallove [...] . . . 84μs Stephen 010: code coverage . . . 285μs Stephen 011: C(4) monoid normal form (test_case_gap_smallove [...] . . . 233μs Stephen 012: C(4) monoid normal form (test_case_gap_smallove [...] . . . 247μs Stephen 013: C(4) monoid equal to (test_case_gap_smalloverlap_70) . . . 108μs Stephen 014: C(4) monoid normal form (test_case_ex_3_13_14) . . . 279μs Stephen 015: C(4) monoid normal form (test_case_ex_3_15) . . . 327μs Stephen 016: C(4) monoid normal form (test_case_ex_3_16) . . . 253μs Stephen 017: C(4) monoid normal form (test_case_mt_3) . . . 144μs Stephen 018: C(4) monoid normal form (test_case_mt_5) . . . 94μs Stephen 019: C(4) monoid normal form (test_case_mt_6) . . . 298μs Stephen 020: C(4) monoid normal form (test_case_mt_10) . . . 133μs Stephen 021: C(4) monoid normal form (test_case_mt_13) . . . 95μs Stephen 022: C(4) monoid normal form (test_case_mt_14) . . . 91μs Stephen 023: C(4) monoid normal form (test_case_mt_15) . . . 94μs Stephen 024: C(4) monoid normal form (test_case_mt_16) . . . 108μs Stephen 025: C(4) monoid normal form (test_case_mt_17) . . . 275μs Stephen 026: C(4) monoid normal form (test_case_weak_1) . . . 190μs Stephen 027: C(4) monoid normal form (test_case_weak_2) . . . 148μs Stephen 028: C(4) monoid normal form (test_case_weak_3) . . . 214μs Stephen 029: C(4) monoid normal form (test_case_weak_4) . . . 237μs Stephen 030: C(4) monoid normal form (test_case_weak_5) . . . 101μs Stephen 031: Test behaviour when uninitialised . . . 151μs Suf 005: unite . . . 23μs Suf 007: compress . . . 13μs Suf 011: big chain . . . 14ms Suf 013: empty table . . . 9000ns Suf 015: join . . . 11μs Suf 017: contains . . . 26μs Suf 019: swap . . . 27μs SuffixTree 000: basic tests . . . 57ms SuffixTree 001: maximal_piece_prefix 1 . . . 64μs SuffixTree 002: maximal_piece_prefix 2 . . . 56μs SuffixTree 003: maximal_piece_prefix 3 . . . 259μs SuffixTree 004: number_of_pieces . . . 51μs SuffixTree 005: traverse . . . 31μs SuffixTree 006: tikz . . . 704μs SuffixTree 007: strings . . . 120μs SuffixTree 008: dot . . . 67μs SuffixTree 009: dfs #01 . . . 47μs SuffixTree 010: dfs #02 . . . 44μs SuffixTree 011: dfs #03 . . . 41μs SuffixTree 012: dfs #04 . . . 93μs SuffixTree 013: dfs #05 . . . 87μs SuffixTree 014: dfs #06 . . . 70μs SuffixTree 015: dfs #07 . . . 126μs SuffixTree 016: dfs #08 . . . 90μs SuffixTree 017: dfs #09 . . . 126μs SuffixTree 018: dfs #10 . . . 40μ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 1052μs  -- with HLT + standardise + full lookahead + no save 1008μs  -- with HLT + no standardise + partial lookahead + no save 982μs  -- with HLT + standardise + partial lookahead + no save 982μs  -- with HLT + no standardise + full lookahead + save 1010μs  -- with HLT + standardise + full lookahead + save 1399μs  -- with HLT + no standardise + partial lookahead + save 1006μs  -- with HLT + standardise + partial lookahead + save 1008μs  -- with Felsch + no standardisation 994μs  -- with Felsch + standardisation 987μs  -- with random strategy 1003μs  -- with Rc style + full lookahead 995μs  -- with Rc style + partial lookahead 982μs  -- with R/C style 985μs  -- with CR style 1000μs  -- with Cr style 1013μs ToddCoxeter 001: small 2-sided congruence . . .  -- with HLT + no standardise + full lookahead + no save 5161μs  -- with HLT + standardise + full lookahead + no save 5127μs  -- with HLT + no standardise + partial lookahead + no save 5018μs  -- with HLT + standardise + partial lookahead + no save 5026μs  -- with HLT + no standardise + full lookahead + save 5029μs  -- with HLT + standardise + full lookahead + save 5020μs  -- with HLT + no standardise + partial lookahead + save 5010μs  -- with HLT + standardise + partial lookahead + save 4999μs  -- with Felsch + no standardisation 5013μs  -- with Felsch + standardisation 5032μs  -- with random strategy 5191μs  -- with Rc style + full lookahead 5018μs  -- with Rc style + partial lookahead 5030μs  -- with R/C style 5073μs  -- with CR style 4971μs  -- with Cr style 4946μs ToddCoxeter 003: constructed from FroidurePin . . .  -- with Felsch + no standardisation 234ms  -- with Felsch + standardisation 233ms  -- with HLT + no standardise + full lookahead + no save 83ms  -- with HLT + standardise + full lookahead + no save 82ms  -- with HLT + no standardise + partial lookahead + no save 83ms  -- with HLT + standardise + partial lookahead + no save 83ms  -- with HLT + no standardise + full lookahead + save 238ms  -- with HLT + standardise + full lookahead + save 238ms  -- with HLT + no standardise + partial lookahead + save 239ms  -- with HLT + standardise + partial lookahead + save 239ms  -- with random strategy 238ms  -- with Rc style + full lookahead 235ms  -- with Rc style + partial lookahead 235ms  -- with R/C style 88ms  -- with CR style 235ms  -- with Cr style 235ms ToddCoxeter 004: 2-sided congruence from FroidurePin . . .  -- with HLT + no standardise + full lookahead + no save 224μs  -- with HLT + standardise + full lookahead + no save 175μs  -- with HLT + no standardise + partial lookahead + no save 170μs  -- with HLT + standardise + partial lookahead + no save 165μs  -- with HLT + save (throws) 204μs  -- with Felsch (throws) 181μs  -- with random strategy 169μs ToddCoxeter 005: non-trivial two-sided from relations . . .  -- with HLT + no standardise + full lookahead + no save 60μs  -- with HLT + standardise + full lookahead + no save 44μs  -- with HLT + no standardise + partial lookahead + no save 41μs  -- with HLT + standardise + partial lookahead + no save 40μs  -- with HLT + no standardise + full lookahead + save 55μs  -- with HLT + standardise + full lookahead + save 53μs  -- with HLT + no standardise + partial lookahead + save 49μs  -- with HLT + standardise + partial lookahead + save 48μs  -- with Felsch + no standardisation 47μs  -- with Felsch + standardisation 45μs  -- with random strategy 50μs  -- with Rc style + full lookahead 44μs  -- with Rc style + partial lookahead 41μs  -- with R/C style 41μs  -- with CR style 45μs  -- with Cr style 45μ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 37μs  -- with HLT + no standardise + partial lookahead + no save 32μs  -- with HLT + standardise + partial lookahead + no save 32μs  -- with HLT + no standardise + full lookahead + save 39μs  -- with HLT + standardise + full lookahead + save 36μs  -- with HLT + no standardise + partial lookahead + save 35μs  -- with HLT + standardise + partial lookahead + save 36μs  -- with Felsch + no standardisation 36μs  -- with Felsch + standardisation 37μs  -- with random strategy 39μs  -- with Rc style + full lookahead 33μs  -- with Rc style + partial lookahead 34μs  -- with R/C style 33μs  -- with CR style 36μs  -- with Cr style 36μ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 35μs  -- with HLT + standardise + partial lookahead + no save 35μs  -- with HLT + no standardise + full lookahead + save 41μs  -- with HLT + standardise + full lookahead + save 40μs  -- with HLT + no standardise + partial lookahead + save 49μs  -- with HLT + standardise + partial lookahead + save 41μs  -- with Felsch + no standardisation 39μs  -- with Felsch + standardisation 40μs  -- with random strategy 43μs  -- with Rc style + full lookahead 38μs  -- with Rc style + partial lookahead 38μs  -- with R/C style 38μs  -- with CR style 41μs  -- with Cr style 42μs ToddCoxeter 008: for small fp semigroup . . .  -- with HLT + no standardise + full lookahead + no save 38μs  -- with HLT + standardise + full lookahead + no save 38μs  -- with HLT + no standardise + partial lookahead + no save 32μs  -- with HLT + standardise + partial lookahead + no save 32μs  -- with HLT + no standardise + full lookahead + save 36μs  -- with HLT + standardise + full lookahead + save 36μs  -- with HLT + no standardise + partial lookahead + save 35μs  -- with HLT + standardise + partial lookahead + save 35μs  -- with Felsch + no standardisation 35μs  -- with Felsch + standardisation 35μs  -- with random strategy 38μs  -- with Rc style + full lookahead 35μs  -- with Rc style + partial lookahead 38μs  -- with R/C style 35μs  -- with CR style 38μs  -- with Cr style 37μs ToddCoxeter 009: 2-sided cong. trans. semigroup . . .  -- with HLT + no standardise + full lookahead + no save 227μs  -- with HLT + standardise + full lookahead + no save 210μs  -- with HLT + no standardise + partial lookahead + no save 206μs  -- with HLT + standardise + partial lookahead + no save 214μs  -- with HLT + no standardise + full lookahead + save 519μs  -- with HLT + standardise + full lookahead + save 504μs  -- with HLT + no standardise + partial lookahead + save 506μs  -- with HLT + standardise + partial lookahead + save 497μs  -- with Felsch + no standardisation 455μs  -- with Felsch + standardisation 439μs  -- with random strategy 218μs  -- with Rc style + full lookahead 215μs  -- with Rc style + partial lookahead 211μs  -- with R/C style 579μs  -- with CR style 460μs  -- with Cr style 440μs ToddCoxeter 010: left congruence on transformation semigroup . . .  -- with HLT + no standardise + full lookahead + no save 237μs  -- with HLT + standardise + full lookahead + no save 242μs  -- with HLT + no standardise + partial lookahead + no save 226μs  -- with HLT + standardise + partial lookahead + no save 234μs  -- with HLT + no standardise + full lookahead + save 550μs  -- with HLT + standardise + full lookahead + save 542μs  -- with HLT + no standardise + partial lookahead + save 527μs  -- with HLT + standardise + partial lookahead + save 542μs  -- with Felsch + no standardisation 495μs  -- with Felsch + standardisation 460μs  -- with random strategy 596μs  -- with Rc style + full lookahead 257μs  -- with Rc style + partial lookahead 252μs  -- with R/C style 271μs  -- with CR style 497μs  -- with Cr style 508μs ToddCoxeter 011: right cong. trans. semigroup . . .  -- with HLT + no standardise + full lookahead + no save 247μs  -- with HLT + standardise + full lookahead + no save 245μs  -- with HLT + no standardise + partial lookahead + no save 235μs  -- with HLT + standardise + partial lookahead + no save 241μs  -- with HLT + no standardise + full lookahead + save 544μs  -- with HLT + standardise + full lookahead + save 532μs  -- with HLT + no standardise + partial lookahead + save 514μs  -- with HLT + standardise + partial lookahead + save 527μs  -- with Felsch + no standardisation 425μs  -- with Felsch + standardisation 417μs  -- with random strategy 276μs  -- with Rc style + full lookahead 263μs  -- with Rc style + partial lookahead 261μs  -- with R/C style 280μs  -- with CR style 426μs  -- with Cr style 410μs ToddCoxeter 012: trans. semigroup (size 88) . . .  -- with HLT + no standardise + full lookahead + no save 167μs  -- with HLT + standardise + full lookahead + no save 153μs  -- with HLT + no standardise + partial lookahead + no save 150μs  -- with HLT + standardise + partial lookahead + no save 150μs  -- with HLT + save (throws) 163μs  -- with Felsch (throws) 160μs  -- with random strategy 163μs ToddCoxeter 013: left cong. on trans. semigroup (size 88) . . .  -- with HLT + no standardise + full lookahead + no save 203μs  -- with HLT + standardise + full lookahead + no save 205μs  -- with HLT + no standardise + partial lookahead + no save 195μs  -- with HLT + standardise + partial lookahead + no save 202μs  -- with HLT + no standardise + full lookahead + save 518μs  -- with HLT + standardise + full lookahead + save 510μs  -- with HLT + no standardise + partial lookahead + save 508μs  -- with HLT + standardise + partial lookahead + save 506μs  -- with Felsch + no standardisation 464μs  -- with Felsch + standardisation 435μs  -- with random strategy 237μs  -- with Rc style + full lookahead 226μs  -- with Rc style + partial lookahead 223μs  -- with R/C style 243μs  -- with CR style 479μs  -- with Cr style 469μs ToddCoxeter 014: right cong. on trans. semigroup (size 88) . . .  -- with HLT + no standardise + full lookahead + no save 212μs  -- with HLT + standardise + full lookahead + no save 215μs  -- with HLT + no standardise + partial lookahead + no save 202μs  -- with HLT + standardise + partial lookahead + no save 209μs  -- with HLT + no standardise + full lookahead + save 518μs  -- with HLT + standardise + full lookahead + save 506μs  -- with HLT + no standardise + partial lookahead + save 494μs  -- with HLT + standardise + partial lookahead + save 492μs  -- with Felsch + no standardisation 396μs  -- with Felsch + standardisation 396μs  -- with random strategy 242μs  -- with Rc style + full lookahead 228μs  -- with Rc style + partial lookahead 231μs  -- with R/C style 248μs  -- with CR style 407μs  -- with Cr style 392μs ToddCoxeter 015: finite fp-semigroup, dihedral group of order 6 . . .  -- with HLT + no standardise + full lookahead + no save 78μs  -- with HLT + standardise + full lookahead + no save 67μs  -- with HLT + no standardise + partial lookahead + no save 60μs  -- with HLT + standardise + partial lookahead + no save 61μs  -- with HLT + no standardise + full lookahead + save 83μs  -- with HLT + standardise + full lookahead + save 80μs  -- with HLT + no standardise + partial lookahead + save 79μs  -- with HLT + standardise + partial lookahead + save 75μs  -- with Felsch + no standardisation 72μs  -- with Felsch + standardisation 69μs  -- with random strategy 74μs  -- with Rc style + full lookahead 63μs  -- with Rc style + partial lookahead 67μs  -- with R/C style 61μs  -- with CR style 70μs  -- with Cr style 69μ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 67μs  -- with HLT + no standardise + partial lookahead + no save 61μs  -- with HLT + standardise + partial lookahead + no save 62μs  -- with HLT + no standardise + full lookahead + save 131μs  -- with HLT + standardise + full lookahead + save 127μs  -- with HLT + no standardise + partial lookahead + save 129μs  -- with HLT + standardise + partial lookahead + save 140μs  -- with Felsch + no standardisation 119μs  -- with Felsch + standardisation 110μs  -- with random strategy 122μs  -- with Rc style + full lookahead 68μs  -- with Rc style + partial lookahead 68μs  -- with R/C style 68μs  -- with CR style 111μs  -- with Cr style 108μs ToddCoxeter 017: finite fp-semigroup, size 16 . . .  -- with HLT + no standardise + full lookahead + no save 179μs  -- with HLT + standardise + full lookahead + no save 168μs  -- with HLT + no standardise + partial lookahead + no save 164μs  -- with HLT + standardise + partial lookahead + no save 160μs  -- with HLT + no standardise + full lookahead + save 332μs  -- with HLT + standardise + full lookahead + save 340μs  -- with HLT + no standardise + partial lookahead + save 327μs  -- with HLT + standardise + partial lookahead + save 331μs  -- with Felsch + no standardisation 307μs  -- with Felsch + standardisation 297μs  -- with random strategy 322μs  -- with Rc style + full lookahead 169μs  -- with Rc style + partial lookahead 164μs  -- with R/C style 170μs  -- with CR style 300μs  -- with Cr style 294μs ToddCoxeter 018: test lookahead . . .  -- with HLT + no standardise + full lookahead + no save 278μs  -- with HLT + standardise + full lookahead + no save 274μs  -- with HLT + no standardise + partial lookahead + no save 245μs  -- with HLT + standardise + partial lookahead + no save 246μs  -- with HLT + no standardise + full lookahead + save 449μs  -- with HLT + standardise + full lookahead + save 435μs  -- with HLT + no standardise + partial lookahead + save 421μs  -- with HLT + standardise + partial lookahead + save 428μs ToddCoxeter 019: non-trivial left cong. from semigroup . . .  -- with HLT + no standardise + full lookahead + no save 151μs  -- with HLT + standardise + full lookahead + no save 148μs  -- with HLT + no standardise + partial lookahead + no save 139μs  -- with HLT + standardise + partial lookahead + no save 142μs  -- with HLT + save (throws) 155μs  -- with Felsch (throws) 149μs  -- with random strategy 171μs ToddCoxeter 020: 2-sided cong. on free semigroup . . .  -- with HLT + no standardise + full lookahead + no save 25μ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 19μs  -- with HLT + standardise + full lookahead + save 19μs  -- with HLT + no standardise + partial lookahead + save 18μs  -- with HLT + standardise + partial lookahead + save 18μs  -- with Felsch + no standardisation 19μs  -- with Felsch + standardisation 18μs  -- with random strategy 18μs ToddCoxeter 021: calling run when obviously infinite . . .  -- with HLT + no standardise + full lookahead + no save 45μ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 34μs  -- with HLT + no standardise + full lookahead + save 31μs  -- with HLT + standardise + full lookahead + save 30μs  -- with HLT + no standardise + partial lookahead + save 30μs  -- with HLT + standardise + partial lookahead + save 33μs  -- with Felsch + no standardisation 29μs  -- with Felsch + standardisation 30μs  -- with random strategy 29μs ToddCoxeter 022: stellar_monoid S3 . . .  -- with HLT + no standardise + full lookahead + no save 116μs  -- with HLT + standardise + full lookahead + no save 105μs  -- with HLT + no standardise + partial lookahead + no save 98μs  -- with HLT + standardise + partial lookahead + no save 99μs  -- with HLT + no standardise + full lookahead + save 195μs  -- with HLT + standardise + full lookahead + save 185μs  -- with HLT + no standardise + partial lookahead + save 174μs  -- with HLT + standardise + partial lookahead + save 181μs  -- with Felsch + no standardisation 173μs  -- with Felsch + standardisation 163μs  -- with random strategy 170μs  -- with Rc style + full lookahead 106μs  -- with Rc style + partial lookahead 104μs  -- with R/C style 106μs  -- with CR style 161μs  -- with Cr style 159μs ToddCoxeter 023: finite semigroup (size 5) . . .  -- with HLT + no standardise + full lookahead + no save 42μs  -- with HLT + standardise + full lookahead + no save 38μs  -- with HLT + no standardise + partial lookahead + no save 37μs  -- with HLT + standardise + partial lookahead + no save 31μs  -- with HLT + no standardise + full lookahead + save 37μs  -- with HLT + standardise + full lookahead + save 36μs  -- with HLT + no standardise + partial lookahead + save 35μs  -- with HLT + standardise + partial lookahead + save 34μs  -- with Felsch + no standardisation 34μs  -- with Felsch + standardisation 35μs  -- with random strategy 34μs  -- with Rc style + full lookahead 31μs  -- with Rc style + partial lookahead 30μs  -- with R/C style 32μs  -- with CR style 34μs  -- with Cr style 34μs ToddCoxeter 024: exceptions . . .  -- with HLT + no standardise + full lookahead + no save 162μs  -- with HLT + standardise + full lookahead + no save 143μs  -- with HLT + no standardise + partial lookahead + no save 140μs  -- with HLT + standardise + partial lookahead + no save 140μs  -- with HLT + no standardise + full lookahead + save 145μs  -- with HLT + standardise + full lookahead + save 143μs  -- with HLT + no standardise + partial lookahead + save 144μs  -- with HLT + standardise + partial lookahead + save 144μs  -- with Felsch + no standardisation 150μs  -- with Felsch + standardisation 144μs  -- with random strategy 143μs  -- with Rc style + full lookahead 141μs  -- with Rc style + partial lookahead 142μs  -- with R/C style 140μs  -- with CR style 145μs  -- with Cr style 144μs ToddCoxeter 025: obviously infinite . . .  -- with HLT + no standardise + full lookahead + no save 43μs  -- with HLT + standardise + full lookahead + no save 37μs  -- with HLT + no standardise + partial lookahead + no save 37μs  -- with HLT + standardise + partial lookahead + no save 38μs  -- with HLT + no standardise + full lookahead + save 36μs  -- with HLT + standardise + full lookahead + save 36μs  -- with HLT + no standardise + partial lookahead + save 36μs  -- with HLT + standardise + partial lookahead + save 42μs  -- with Felsch + no standardisation 35μs  -- with Felsch + standardisation 35μs  -- with random strategy 35μs ToddCoxeter 026: exceptions . . .  -- with HLT + no standardise + full lookahead + no save 101μs  -- with HLT + standardise + full lookahead + no save 84μs  -- with HLT + no standardise + partial lookahead + no save 84μs  -- with HLT + standardise + partial lookahead + no save 86μs  -- with HLT + no standardise + full lookahead + save 91μs  -- with HLT + standardise + full lookahead + save 89μs  -- with HLT + no standardise + partial lookahead + save 88μs  -- with HLT + standardise + partial lookahead + save 90μs  -- with Felsch + no standardisation 88μs  -- with Felsch + standardisation 89μs  -- with random strategy 96μs  -- with Rc style + full lookahead 85μs  -- with Rc style + partial lookahead 85μs  -- with R/C style 85μs  -- with CR style 92μs  -- with Cr style 89μs ToddCoxeter 027: empty . . . 51μs ToddCoxeter 028: congruence of fpsemigroup::ToddCoxeter . . .  -- with HLT + no standardise + full lookahead + no save 147μs  -- with HLT + standardise + full lookahead + no save 120μs  -- with HLT + no standardise + partial lookahead + no save 117μs  -- with HLT + standardise + partial lookahead + no save 115μs  -- with HLT + save (throws) 122μs  -- with Felsch (throws) 121μs  -- with random strategy 125μs  -- with HLT + no standardise + full lookahead + save 118μs  -- with HLT + standardise + full lookahead + save 127μs  -- with HLT + no standardise + partial lookahead + save 121μs  -- with HLT + standardise + partial lookahead + save 121μs  -- with Felsch + no standardisation 124μs  -- with Felsch + standardisation 120μs  -- with Rc style + full lookahead 113μs  -- with Rc style + partial lookahead 112μs  -- with R/C style 112μs  -- with CR style 114μs  -- with Cr style 115μs ToddCoxeter 029: !KnuthBendix.started() . . .  -- with HLT + no standardise + full lookahead + no save and 2-sided 78μs  -- with HLT + standardise + full lookahead + no save and 2-sided 61μs  -- with HLT + no standardise + partial lookahead + no save and 2-sided 55μs  -- with HLT + standardise + partial lookahead + no save and 2-sided 53μs  -- with HLT + no standardise + full lookahead + save and 2-sided 59μ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 80μs  -- with HLT + standardise + full lookahead + no save and left 58μs  -- with HLT + no standardise + partial lookahead + no save and left 54μs  -- with HLT + standardise + partial lookahead + no save and left 53μs  -- with HLT + no standardise + full lookahead + save and left 62μs  -- with HLT + standardise + full lookahead + save and left 62μs  -- with HLT + no standardise + partial lookahead + save and left 62μs  -- with HLT + standardise + partial lookahead + save and left 62μs  -- with Felsch + no standardisation and left 63μs  -- with Felsch + standardisation and left 62μs  -- with random strategy and left 60μs  -- with HLT + no standardise + full lookahead + no save and right 56μs  -- with HLT + standardise + full lookahead + no save and right 53μs  -- with HLT + no standardise + partial lookahead + no save and right 55μs  -- with HLT + standardise + partial lookahead + no save and right 53μs  -- with HLT + no standardise + full lookahead + save and right 60μs  -- with HLT + standardise + full lookahead + save and right 61μs  -- with HLT + no standardise + partial lookahead + save and right 60μ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 64μs ToddCoxeter 030: KnuthBendix.finished() . . .  -- with HLT + no standardise + full lookahead + no save and 2-sided 154μs  -- with HLT + standardise + full lookahead + no save and 2-sided 128μs  -- with HLT + no standardise + partial lookahead + no save and 2-sided 136μs  -- with HLT + standardise + partial lookahead + no save and 2-sided 124μs  -- with HLT + no standardise + full lookahead + save and 2-sided 128μs  -- with HLT + standardise + full lookahead + save and 2-sided 132μs  -- with HLT + no standardise + partial lookahead + save and 2-sided 126μs  -- with HLT + standardise + partial lookahead + save and 2-sided 125μs  -- with Felsch + no standardisation and 2-sided 119μs  -- with Felsch + standardisation and 2-sided 119μs  -- with random strategy and 2-sided 124μs  -- with HLT + no standardise + full lookahead + no save and left 128μs  -- with HLT + standardise + full lookahead + no save and left 124μs  -- with HLT + no standardise + partial lookahead + no save and left 126μs  -- with HLT + standardise + partial lookahead + no save and left 124μ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 132μs  -- with HLT + standardise + partial lookahead + save and left 132μs  -- with Felsch + no standardisation and left 131μs  -- with Felsch + standardisation and left 129μs  -- with random strategy and left 135μs  -- with HLT + no standardise + full lookahead + no save and right 154μs  -- with HLT + standardise + full lookahead + no save and right 167μs  -- with HLT + no standardise + partial lookahead + no save and right 164μs  -- with HLT + standardise + partial lookahead + no save and right 172μs  -- with HLT + no standardise + full lookahead + save and right 173μs  -- with HLT + standardise + full lookahead + save and right 175μs  -- with HLT + no standardise + partial lookahead + save and right 173μs  -- with HLT + standardise + partial lookahead + save and right 173μs  -- with Felsch + no standardisation and right 162μs  -- with Felsch + standardisation and right 161μs  -- with random strategy and right 190μs ToddCoxeter 031: KnuthBendix.finished() . . .  -- with HLT + no standardise + full lookahead + no save and 2-sided 112μs  -- with HLT + standardise + full lookahead + no save and 2-sided 95μs  -- with HLT + no standardise + partial lookahead + no save and 2-sided 91μs  -- with HLT + standardise + partial lookahead + no save and 2-sided 93μs  -- with HLT + no standardise + full lookahead + save and 2-sided 96μs  -- with HLT + standardise + full lookahead + save and 2-sided 94μs  -- with HLT + no standardise + partial lookahead + save and 2-sided 99μs  -- with HLT + standardise + partial lookahead + save and 2-sided 93μs  -- with Felsch + no standardisation and 2-sided 88μs  -- with Felsch + standardisation and 2-sided 87μs  -- with random strategy and 2-sided 92μs  -- with Rc style + full lookahead and 2-sided 92μs  -- with Rc style + partial lookahead and 2-sided 91μs  -- with R/C style and 2-sided 87μs  -- with CR style and 2-sided 94μs  -- with Cr style and 2-sided 95μs  -- with HLT + no standardise + full lookahead + no save and left 99μs  -- with HLT + standardise + full lookahead + no save and left 94μs  -- with HLT + no standardise + partial lookahead + no save and left 113μs  -- with HLT + standardise + partial lookahead + no save and left 134μs  -- with HLT + no standardise + full lookahead + save and left 138μs  -- with HLT + standardise + full lookahead + save and left 101μs  -- with HLT + no standardise + partial lookahead + save and left 100μs  -- with HLT + standardise + partial lookahead + save and left 105μs  -- with Felsch + no standardisation and left 97μs  -- with Felsch + standardisation and left 96μs  -- with random strategy and left 146μs  -- with Rc style + full lookahead and left 137μs  -- with Rc style + partial lookahead and left 110μs  -- with R/C style and left 93μs  -- with CR style and left 100μs  -- with Cr style and left 105μs  -- with HLT + no standardise + full lookahead + no save and right 111μs  -- with HLT + standardise + full lookahead + no save and right 94μs  -- with HLT + no standardise + partial lookahead + no save and right 94μs  -- with HLT + standardise + partial lookahead + no save and right 93μs  -- with HLT + no standardise + full lookahead + save and right 99μs  -- with HLT + standardise + full lookahead + save and right 102μs  -- with HLT + no standardise + partial lookahead + save and right 98μs  -- with HLT + standardise + partial lookahead + save and right 99μs  -- with Felsch + no standardisation and right 100μs  -- with Felsch + standardisation and right 96μs  -- with random strategy and right 104μs  -- with Rc style + full lookahead and right 98μs  -- with Rc style + partial lookahead and right 97μs  -- with R/C style and right 92μs  -- with CR style and right 99μs  -- with Cr style and right 103μs ToddCoxeter 032: prefill . . . 144μs ToddCoxeter 033: congruence of ToddCoxeter . . .  -- with HLT + no standardise + full lookahead + no save 50μ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 38μ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 42μs ToddCoxeter 034: congruence of ToddCoxeter . . .  -- with HLT + no standardise + full lookahead + no save 122μs  -- with HLT + standardise + full lookahead + no save 115μs  -- with HLT + no standardise + partial lookahead + no save 109μs  -- with HLT + standardise + partial lookahead + no save 107μs  -- with HLT + save (throws) 122μs  -- with Felsch (throws) 118μs  -- with random strategy 119μs ToddCoxeter 035: congruence on FpSemigroup . . .  -- with HLT + no standardise + full lookahead + no save 290μs  -- with HLT + standardise + full lookahead + no save 269μs  -- with HLT + no standardise + partial lookahead + no save 250μs  -- with HLT + standardise + partial lookahead + no save 250μs  -- with HLT + no standardise + full lookahead + save 295μs  -- with HLT + standardise + full lookahead + save 300μs  -- with HLT + no standardise + partial lookahead + save 312μs  -- with HLT + standardise + partial lookahead + save 300μs  -- with Felsch + no standardisation 286μs  -- with Felsch + standardisation 283μs  -- with random strategy 291μs  -- with Rc style + full lookahead 245μs  -- with Rc style + partial lookahead 245μs  -- with R/C style 245μs  -- with CR style 299μs  -- with Cr style 293μs ToddCoxeter 036: exceptions . . . 84μs ToddCoxeter 037: copy constructor . . . 37μs ToddCoxeter 038: simplify . . . 136μs ToddCoxeter 039: stylic_monoid . . . 695ms ToddCoxeter 041: some finite classes . . . 499μs ToddCoxeter 043: symmetric_group(7, Coxeter + Moser) . . . 123ms ToddCoxeter 044: Option exceptions . . . 69μs ToddCoxeter 045: Options operator<< . . . 698μs ToddCoxeter 046: Easdown-East-FitzGerald DualSymInv(5) . . .  -- with HLT + no standardise + full lookahead + no save 148ms  -- with HLT + standardise + full lookahead + no save 152ms  -- with HLT + no standardise + partial lookahead + no save 147ms  -- with HLT + standardise + partial lookahead + no save 152ms  -- with HLT + no standardise + full lookahead + save 113ms  -- with HLT + standardise + full lookahead + save 168ms  -- with HLT + no standardise + partial lookahead + save 153ms  -- with HLT + standardise + partial lookahead + save 153ms  -- with Felsch + no standardisation 165ms  -- with Felsch + standardisation 124ms  -- with random strategy 152ms  -- with R/C style 145ms  -- with Rc style + full lookahead 128ms  -- with Rc style + partial lookahead 128ms ToddCoxeter 047: uniform_block_bijection_monoid(3) (FitzGerald) . . .  -- with HLT + no standardise + full lookahead + no save 183μs  -- with HLT + standardise + full lookahead + no save 99μs  -- with HLT + no standardise + partial lookahead + no save 93μs  -- with HLT + standardise + partial lookahead + no save 94μs  -- with HLT + no standardise + full lookahead + save 200μs  -- with HLT + standardise + full lookahead + save 185μs  -- with HLT + no standardise + partial lookahead + save 183μs  -- with HLT + standardise + partial lookahead + save 181μs  -- with Felsch + no standardisation 159μs  -- with Felsch + standardisation 153μs  -- with random strategy 158μs  -- with R/C style 100μs  -- with Rc style + full lookahead 100μs  -- with Rc style + partial lookahead 94μs ToddCoxeter 048: stellar_monoid(7) (Gay-Hivert) . . . 132ms ToddCoxeter 049: partition_monoid(4) (East) . . .  -- with HLT + no standardise + full lookahead + no save 24ms  -- with HLT + standardise + full lookahead + no save 25ms  -- with HLT + no standardise + partial lookahead + no save 25ms  -- with HLT + standardise + partial lookahead + no save 25ms  -- with HLT + no standardise + full lookahead + save 44ms  -- with HLT + standardise + full lookahead + save 46ms  -- with HLT + no standardise + partial lookahead + save 44ms  -- with HLT + standardise + partial lookahead + save 46ms  -- with Felsch + no standardisation 53ms  -- with Felsch + standardisation 53ms  -- with random strategy 55ms  -- with R/C style 27ms  -- with Rc style + full lookahead 57ms  -- with Rc style + partial lookahead 57ms ToddCoxeter 050: singular_brauer_monoid(6) (Maltcev + Mazorchuk) . . . 499ms ToddCoxeter 051: orientation_preserving_monoid(6) (Ruskuc + [...] . . .  -- with HLT + no standardise + full lookahead + no save 20ms ToddCoxeter 052: orientation_reversing_monoid(5) (Ruskuc + [...] . . .  -- with HLT + no standardise + full lookahead + no save 5209μs ToddCoxeter 053: temperley_lieb_monoid(10) (East) . . . 31ms ToddCoxeter 063: add_rule . . .  -- with HLT + no standardise + full lookahead + no save 85μs  -- with HLT + standardise + full lookahead + no save 62μs  -- with HLT + no standardise + partial lookahead + no save 58μs  -- with HLT + standardise + partial lookahead + no save 58μs  -- with HLT + no standardise + full lookahead + save 66μs  -- with HLT + standardise + full lookahead + save 64μs  -- with HLT + no standardise + partial lookahead + save 67μs  -- with HLT + standardise + partial lookahead + save 64μs  -- with Felsch + no standardisation 64μs  -- with Felsch + standardisation 62μs  -- with random strategy 61μs  -- with Rc style + full lookahead 60μs  -- with Rc style + partial lookahead 59μs  -- with R/C style 60μs  -- with CR style 63μs  -- with Cr style 63μs  -- with R/C + Felsch lookahead 64μs  -- with HLT + Felsch lookahead + save 64μs  -- with Cr + small number of f_defs 66μs  -- with Rc + small number of deductions 60μs  -- with Felsch + v2 + no preferred defs 62μs  -- with Felsch + v2 + immediate no stack 63μs  -- with Felsch + v1 + immediate no stack 70μs  -- with Felsch + v1 + immediate yes stack 63μs  -- with large collapse 59μs ToddCoxeter 064: (from kbmag/standalone/kb_data/s4) (KnuthB [...] . . .  -- with HLT + no standardise + full lookahead + no save 239μs ToddCoxeter 066: test validate . . . 57μs ToddCoxeter 067: add_rules after construct. from semigroup . . .  -- with HLT + no standardise + full lookahead + no save 379μs  -- with HLT + standardise + full lookahead + no save 351μs  -- with HLT + no standardise + partial lookahead + no save 333μs  -- with HLT + standardise + partial lookahead + no save 325μs  -- with HLT + save (throws) 338μs  -- with Felsch (throws) 319μs  -- with random strategy 306μs ToddCoxeter 068: Sym(5) from Chapter 3, Proposition 1.1 in NR . . .  -- with Deduction policy == purge_from_top 589μs  -- with Deduction policy == purge_all 524μs  -- with Deduction policy == discard_all_if_no_space 544μs  -- with HLT + no standardise + full lookahead + no save 635μs  -- with HLT + standardise + full lookahead + no save 875μs  -- with HLT + no standardise + partial lookahead + no save 624μs  -- with HLT + standardise + partial lookahead + no save 861μs  -- with HLT + no standardise + full lookahead + save 919μs  -- with HLT + standardise + full lookahead + save 913μs  -- with HLT + no standardise + partial lookahead + save 887μs  -- with HLT + standardise + partial lookahead + save 905μs  -- with Felsch + no standardisation 599μs  -- with Felsch + standardisation 581μs  -- with random strategy 604μs  -- with Rc style + full lookahead 1262μs  -- with Rc style + partial lookahead 1223μs  -- with R/C style 678μs  -- with CR style 640μs  -- with Cr style 602μs ToddCoxeter 069: Chapter 7, Theorem 3.6 in NR (size 243) . . .  -- with HLT + no standardise + full lookahead + no save 293μs  -- with HLT + standardise + full lookahead + no save 331μs  -- with HLT + no standardise + partial lookahead + no save 272μs  -- with HLT + standardise + partial lookahead + no save 320μs  -- with HLT + no standardise + full lookahead + save 381μs  -- with HLT + standardise + full lookahead + save 392μs  -- with HLT + no standardise + partial lookahead + save 366μs  -- with HLT + standardise + partial lookahead + save 398μs  -- with Felsch + no standardisation 1833μs  -- with Felsch + standardisation 1915μs  -- with random strategy 408μs  -- with Rc style + full lookahead 309μs  -- with Rc style + partial lookahead 298μs  -- with R/C style 309μs  -- with CR style 1869μs  -- with Cr style 1866μs ToddCoxeter 070: finite semigroup (size 99) . . .  -- with HLT + no standardise + full lookahead + no save 131μs  -- with HLT + standardise + full lookahead + no save 131μs  -- with HLT + no standardise + partial lookahead + no save 113μs  -- with HLT + standardise + partial lookahead + no save 126μs  -- with HLT + no standardise + full lookahead + save 175μs  -- with HLT + standardise + full lookahead + save 181μs  -- with HLT + no standardise + partial lookahead + save 162μs  -- with HLT + standardise + partial lookahead + save 169μs  -- with Felsch + no standardisation 341μs  -- with Felsch + standardisation 333μs  -- with random strategy 340μs  -- with Rc style + full lookahead 125μs  -- with Rc style + partial lookahead 124μs  -- with R/C style 125μs  -- with CR style 336μs  -- with Cr style 336μs ToddCoxeter 080: KnuthBendix 098 . . .  -- with HLT + no standardise + full lookahead + no save 475ms  -- with HLT + standardise + full lookahead + no save 495ms  -- with HLT + no standardise + partial lookahead + no save 473ms  -- with HLT + standardise + partial lookahead + no save 501ms  -- with HLT + no standardise + full lookahead + save 320ms  -- with HLT + standardise + full lookahead + save 306ms  -- with HLT + no standardise + partial lookahead + save 308ms  -- with HLT + standardise + partial lookahead + save 320ms  -- with Felsch + no standardisation 296ms  -- with Felsch + standardisation 296ms  -- with random strategy 307ms  -- with Rc style + full lookahead 295ms  -- with Rc style + partial lookahead 306ms  -- with R/C style 472ms  -- with CR style 300ms  -- with Cr style 299ms ToddCoxeter 084: Campbell-Reza 1 . . .  -- with HLT + no standardise + full lookahead + no save 117μs  -- with HLT + standardise + full lookahead + no save 85μs  -- with HLT + no standardise + partial lookahead + no save 83μs  -- with HLT + standardise + partial lookahead + no save 79μs  -- with HLT + no standardise + full lookahead + save 96μs  -- with HLT + standardise + full lookahead + save 92μs  -- with HLT + no standardise + partial lookahead + save 87μs  -- with HLT + standardise + partial lookahead + save 85μs  -- with Felsch + no standardisation 91μs  -- with Felsch + standardisation 89μs  -- with random strategy 78μs  -- with Rc style + full lookahead 75μs  -- with Rc style + partial lookahead 74μs  -- with R/C style 77μs  -- with CR style 90μs  -- with Cr style 90μs ToddCoxeter 085: Renner monoid type D4 (Gay-Hivert), q = 1 . . .  -- with HLT + no standardise + full lookahead + no save 175ms  -- with HLT + standardise + full lookahead + no save 112ms  -- with HLT + no standardise + partial lookahead + no save 111ms  -- with HLT + standardise + partial lookahead + no save 112ms  -- with HLT + no standardise + full lookahead + save 112ms  -- with HLT + standardise + full lookahead + save 111ms  -- with HLT + no standardise + partial lookahead + save 111ms  -- with HLT + standardise + partial lookahead + save 111ms  -- with Felsch + no standardisation 112ms  -- with Felsch + standardisation 111ms  -- with random strategy 111ms  -- with Rc style + full lookahead 112ms  -- with Rc style + partial lookahead 112ms  -- with R/C style 111ms  -- with CR style 111ms  -- with Cr style 111ms ToddCoxeter 086: trivial semigroup . . . 284ms 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 10ms ToddCoxeter 094: ACE --- C5 - HLT . . .  -- with HLT + no standardise + full lookahead + no save 156μs  -- with HLT + standardise + full lookahead + no save 107μs  -- with HLT + no standardise + partial lookahead + no save 94μs  -- with HLT + standardise + partial lookahead + no save 90μs  -- with HLT + no standardise + full lookahead + save 112μs  -- with HLT + standardise + full lookahead + save 109μs  -- with HLT + no standardise + partial lookahead + save 477μs  -- with HLT + standardise + partial lookahead + save 108μs  -- with random strategy 97μs  -- with Felsch + no standardisation 104μs  -- with Felsch + standardisation 103μs ToddCoxeter 095: ACE --- A5-C5 . . .  -- with HLT + no standardise + full lookahead + no save 110μs  -- with HLT + standardise + full lookahead + no save 122μs  -- with HLT + no standardise + partial lookahead + no save 105μs  -- with HLT + standardise + partial lookahead + no save 118μs  -- with HLT + no standardise + full lookahead + save 146μs  -- with HLT + standardise + full lookahead + save 143μs  -- with HLT + no standardise + partial lookahead + save 137μs  -- with HLT + standardise + partial lookahead + save 139μs  -- with random strategy 112μs  -- with Felsch + no standardisation 129μs  -- with Felsch + standardisation 133μs ToddCoxeter 096: ACE --- A5 . . .  -- with HLT + no standardise + full lookahead + no save 201μs  -- with HLT + standardise + full lookahead + no save 215μs  -- with HLT + no standardise + partial lookahead + no save 176μs  -- with HLT + standardise + partial lookahead + no save 212μs  -- with HLT + no standardise + full lookahead + save 311μs  -- with HLT + standardise + full lookahead + save 307μs  -- with HLT + no standardise + partial lookahead + save 303μs  -- with HLT + standardise + partial lookahead + save 305μs  -- with random strategy 318μs  -- with Felsch + no standardisation 245μs  -- with Felsch + standardisation 237μs ToddCoxeter 098: relation ordering . . .  -- with Felsch + no standardisation 500μs  -- with Felsch + standardisation 478μs  -- with HLT + no standardise + full lookahead + no save 278μs  -- with HLT + standardise + full lookahead + no save 269μs  -- with HLT + no standardise + partial lookahead + no save 272μs  -- with HLT + standardise + partial lookahead + no save 265μs  -- with HLT + no standardise + full lookahead + save 504μs  -- with HLT + standardise + full lookahead + save 501μs  -- with HLT + no standardise + partial lookahead + save 508μs  -- with HLT + standardise + partial lookahead + save 510μs  -- with random strategy 306μs ToddCoxeter 099: short circuit size in obviously infinite . . . 18μs ToddCoxeter 101: http://brauer.maths.qmul.ac.uk/Atlas/spor/M [...] . . . 566ms ToddCoxeter 108: http://brauer.maths.qmul.ac.uk/Atlas/lin/L3 [...] . . . 492ms ToddCoxeter 110: to_gap_string . . . 78μs ToddCoxeter 111: partition_monoid(2) . . . 64μs ToddCoxeter 112: brauer_monoid(4) (Kudryavtseva + Mazorchuk) . . . 346μs ToddCoxeter 113: symmetric_inverse_monoid . . . 13ms ToddCoxeter 116: symmetric_group(7, Burnside + Miller) . . . 393ms UF 001: constructor by size . . . 14μs UF 002: copy constructor . . . 20μs UF 003: find . . . 16μs action_digraph_helper 015: detail::to_string . . . 24μs action_digraph_helper 016: make . . . 54μs action_digraph_helper 017: is_connected . . . 165μs action_digraph_helper 018: is_strictly_cyclic . . . 9466μs follow_path 012: 20 node path . . . 21μs fpsemi-examples 002: full_transformation_monoid author except . . . 32μs fpsemi-examples 003: full_transformation_monoid degree except . . . 21μs fpsemi-examples 005: partial_transformation_monoid author except . . . 23μs fpsemi-examples 006: partial_transformation_monoid degree except . . . 19μs fpsemi-examples 007: symmetric_inverse_monoid(5) . . . 13ms fpsemi-examples 008: symmetric_group auth except . . . 28μs fpsemi-examples 009: symmetric_group degree except . . . 23μs fpsemi-examples 010: symmetric_group(6) Burnside + Miller . . . 20ms fpsemi-examples 011: dual_symmetric_inverse_monoid(5) . . . 147ms fpsemi-examples 012: dual_symmetric_inverse_monoid auth except . . . 30μs fpsemi-examples 013: dual_symmetric_inverse_monoid degree except . . . 19μs fpsemi-examples 014: uniform_block_bijection_monoid(5) . . . 9808μs fpsemi-examples 015: uniform_block_bijection_monoid auth except . . . 28μs fpsemi-examples 016: uniform_block_bijection_monoid degree except . . . 20μs fpsemi-examples 019: partition_monoid auth except . . . 33μs fpsemi-examples 020: partition_monoid degree except . . . 29μs fpsemi-examples 022: monogenic_semigroup(4, 9) . . . 35μs fpsemi-examples 023: fibonacci_semigroup(2, 5) . . . 81μs fpsemi-examples 024: temperley_lieb_monoid(10) . . . 37ms fpsemi-examples 025: singular_brauer_monoid(6) . . . 348ms fpsemi-examples 026: orientation_preserving_monoid(6) . . . 19ms fpsemi-examples 027: orientation_reversing_monoid(5) . . . 5221μs fpsemi-examples 028: chinese_monoid(3) . . . 135μs fpsemi-examples 029: plactic_monoid(3) . . . 98μs fpsemi-examples 030: stylic_monoid(3) . . . 817μs fpsemi-examples 031: symmetric_group(6) Carmichael . . . 11ms fpsemi-examples 032: symmetric_group(6) Moore index 0 . . . 8425μs fpsemi-examples 033: symmetric_group(6) Coxeter + Moser . . . 4653μs fpsemi-examples 034: test for the rook monoid . . . 231μs fpsemi-examples 035: alternating_group(7) Moore . . . 19ms fpsemi-examples 036: alternating_group auth except . . . 35μs fpsemi-examples 037: alternating_group degree except . . . 20μs fpsemi-examples 038: partial_transformation_monoid(3) Machine . . . 274μs fpsemi-examples 039: chinese_monoid degree except . . . 34μs fpsemi-examples 040: monogenic_semigroup degree except . . . 29μs fpsemi-examples 041: rectangular_band degree except . . . 43μs fpsemi-examples 042: stellar_monoid degree except . . . 27μs fpsemi-examples 043: plactic_monoid degree except . . . 25μs fpsemi-examples 044: stylic_monoid degree except . . . 26μs fpsemi-examples 045: temperley_lieb_monoid degree except . . . 34μs fpsemi-examples 046: singular_brauer_monoid degree except . . . 33μs fpsemi-examples 047: orientation_preserving_monoid degree except . . . 33μs fpsemi-examples 048: orientation_reversing_monoid degree except . . . 34μs fpsemi-examples 049: test default values . . . 3180μs fpsemi-examples 052: not_symmetric_group(5) Guralnick + Kant [...] . . . 2261μs fpsemi-examples 053: order_preserving_monoid(5) . . . 508μs fpsemi-examples 055: order_preserving_monoid degree except . . . 41μs fpsemi-examples 056: cyclic_inverse_monoid(4) Fernandes 1 . . . 215μs fpsemi-examples 057: cyclic_inverse_monoid(8) Fernandes index 1 . . . 13ms fpsemi-examples 058: cyclic_inverse_monoid Fernandes index 0 . . . 20ms fpsemi-examples 059: order_preserving_cyclic_inverse_monoid(4) . . . 192μs fpsemi-examples 060: order_preserving_cyclic_inverse_monoid(10) . . . 23ms fpsemi-examples 061: cyclic_inverse_monoid degree except . . . 66μs fpsemi-examples 062: cyclic_inverse_monoid author except . . . 31μs fpsemi-examples 063: order_preserving_monoid degree except . . . 72μs fpsemi-examples 064: symmetric_group index except . . . 31μs fpsemi-examples 065: symmetric_group(7) Moore index 1 . . . 5124μs fpsemi-examples 066: order_preserving_cyclic_inverse_monoid(10) . . . 23ms fpsemi-examples 067: partial_isometries_cycle_graph_monoid(5) . . . 510μs fpsemi-examples 068: partial_isometries_cycle_graph_monoid(10) . . . 215ms fpsemi-examples 069: partial_isometries_cycle_graph_monoid d [...] . . . 42μs fpsemi-examples 070: partial_isometries_cycle_graph_monoid(4) . . . 221μs freeband_equal_to 001: . . . 916μs is_acyclic 000: 2-cycle . . . 12μs is_acyclic 001: 1-cycle . . . 10μs is_acyclic 002: multi-digraph . . . 13μs is_acyclic 003: complete digraph 100 . . . 90μs is_acyclic 004: acyclic digraph with 20000 nodes . . . 1950μs is_acyclic 006: for a node . . . 855μs is_acyclic 007: for a node . . . 22μs is_reachable 008: acyclic 20 node digraph . . . 41μs is_reachable 009: 100 node path . . . 10ms is_reachable 010: 100 node cycle . . . 10ms is_reachable 011: 20 node clique . . . 425μs last_node_on_path_nc 014: 20 node path . . . 15μs make 000: from FroidurePin . . . 450μs make 001: from FroidurePin and alphabet . . . 536μs make 002: presentation from presentation . . . 209μs make 003: presentation from presentation and alphabet . . . 49μs make 004: argument checks issue . . . 101μs make 005: use human readable alphabet for make . . . 19μs make> 000: from ActionDigraph . . . 1413μs make> 001: from ActionDigraph (exceptions) . . . 45μs number_of_words 001: . . . 24μs operator"" _w 003: literal . . . 13μs silo 000: alphabet: a, min: 0, max: 10 . . . 37μs silo 001: corner cases . . . 28μs silo 002: alphabet: ab, min: 1, max: 4 . . . 41μs silo 003: alphabet: abc, min: 0, max: 13 . . . 95ms silo 004: code coverage . . . 29μs sislo 005: alphabet: a, min: 0, max: 10 . . . 38μs sislo 006: corner cases . . . 73μs sislo 007: alphabet: ab, min: 1, max: 4 . . . 85μs sislo 008: alphabet: abc, min: 0, max: 13 . . . 94ms sislo 009: code coverage . . . 28μs string 000: detail::is_suffix . . . 12μs string 001: detail::is_prefix . . . 12μs string 002: detail::maximum_common_suffix . . . 12μs string 003: detail::group_digits . . . 21μs string_to_word 002: . . . 12μs validate_label 013: 20 node path . . . 44μs wilo 001: corner cases . . . 46μs wilo 002: letters: 2, min: 1, max: 4 . . . 37μs wilo 003: letters: 2, min: 1, max: 4 . . . 52μs wilo 004: letters: 3, min: 0, max: 10 . . . 14ms wilo 005: letters: 3, min: 0, max: 13 . . . 164ms wilo 006: forward iterator requirements . . . 166ms wilo 007: more corner cases . . . 53μs wilo 008: starting at a given word 1 . . . 171μs wilo 009: starting at a given word 2 . . . 18μs wilo 010: code coverage . . . 18μs wislo 000: n: 2, min; 1, max: 4 . . . 23μs wislo 001: corner cases . . . 45μs wislo 002: n: 3, min; 0, max: 10 . . . 4587μs wislo 003: n: 3, min; 0, max: 13 . . . 163ms wislo 004: lex + sort . . . 450ms wislo 005: code coverage . . . 25μs =============================================================================== All tests passed (1290134 assertions in 1193 test cases) >>> libsemigroups: Entering fakeroot... make[1]: Entering directory '/home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.6.0' ./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/include/libsemigroups/HPCombi/include/fallback' ./config/install-sh -c -d '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups/HPCombi/include' ./config/install-sh -c -d '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/pkgconfig' /usr/bin/install -c -m 644 extern/HPCombi/include/fallback/gcdlcm.hpp extern/HPCombi/include/fallback/seq.hpp '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups/HPCombi/include/fallback' /usr/bin/install -c -m 644 libsemigroups.pc '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/pkgconfig' /usr/bin/install -c -m 644 extern/HPCombi/include/bmat8.hpp extern/HPCombi/include/bmat8_impl.hpp extern/HPCombi/include/epu.hpp extern/HPCombi/include/epu_impl.hpp extern/HPCombi/include/hpcombi.hpp extern/HPCombi/include/perm16.hpp extern/HPCombi/include/perm16_impl.hpp extern/HPCombi/include/perm_generic.hpp extern/HPCombi/include/perm_generic_impl.hpp extern/HPCombi/include/power.hpp extern/HPCombi/include/testtools.hpp extern/HPCombi/include/vect16.hpp extern/HPCombi/include/vect_generic.hpp '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups/HPCombi/include' ./config/install-sh -c -d '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups' ./config/install-sh -c -d '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups/textflowcpp' libtool: install: /usr/bin/install -c .libs/libsemigroups.so.2.0.0 /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/libsemigroups.so.2.0.0 /usr/bin/install -c -m 644 include/libsemigroups/action.hpp include/libsemigroups/adapters.hpp include/libsemigroups/bipart.hpp include/libsemigroups/bitset.hpp include/libsemigroups/bmat8.hpp include/libsemigroups/bmat.hpp include/libsemigroups/bruidhinn-traits.hpp include/libsemigroups/config.hpp include/libsemigroups/cong-intf.hpp include/libsemigroups/cong-pair-impl.hpp include/libsemigroups/cong-pair.hpp include/libsemigroups/cong-wrap.hpp include/libsemigroups/cong.hpp include/libsemigroups/constants.hpp include/libsemigroups/containers.hpp include/libsemigroups/coset.hpp include/libsemigroups/debug.hpp include/libsemigroups/deprecated.hpp include/libsemigroups/digraph-helper.hpp include/libsemigroups/digraph-with-sources.hpp include/libsemigroups/digraph-with-sources.tpp include/libsemigroups/digraph.hpp include/libsemigroups/exception.hpp include/libsemigroups/fastest-bmat.hpp include/libsemigroups/felsch-tree.hpp include/libsemigroups/felsch-digraph.hpp include/libsemigroups/felsch-digraph.tpp include/libsemigroups/forest.hpp include/libsemigroups/fpsemi-examples.hpp include/libsemigroups/fpsemi-intf.hpp include/libsemigroups/fpsemi.hpp include/libsemigroups/freeband.hpp include/libsemigroups/froidure-pin-base.hpp include/libsemigroups/froidure-pin-impl.hpp include/libsemigroups/froidure-pin.hpp include/libsemigroups/function-ref.hpp include/libsemigroups/hpcombi.hpp include/libsemigroups/int-range.hpp include/libsemigroups/iterator.hpp include/libsemigroups/kambites.hpp '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups' /usr/bin/install -c -m 644 extern/textflowcpp/TextFlow.hpp '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups/textflowcpp' libtool: install: (cd /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib && { ln -s -f libsemigroups.so.2.0.0 libsemigroups.so.2 || { rm -f libsemigroups.so.2 && ln -s libsemigroups.so.2.0.0 libsemigroups.so.2; }; }) /usr/bin/install -c -m 644 include/libsemigroups/kbe.hpp include/libsemigroups/knuth-bendix.hpp include/libsemigroups/konieczny.hpp include/libsemigroups/libsemigroups.hpp include/libsemigroups/make-froidure-pin.hpp include/libsemigroups/make-present.hpp include/libsemigroups/matrix.hpp include/libsemigroups/node-manager.hpp include/libsemigroups/obvinf.hpp include/libsemigroups/order.hpp include/libsemigroups/pbr.hpp include/libsemigroups/pool.hpp include/libsemigroups/present.hpp include/libsemigroups/present.tpp include/libsemigroups/race.hpp include/libsemigroups/report.hpp include/libsemigroups/runner.hpp include/libsemigroups/schreier-sims.hpp include/libsemigroups/schreier-sims-helper.hpp include/libsemigroups/sims1.hpp include/libsemigroups/sims1.tpp include/libsemigroups/siso.hpp include/libsemigroups/stl.hpp include/libsemigroups/stephen.hpp include/libsemigroups/string-view.hpp include/libsemigroups/string.hpp include/libsemigroups/suffix-tree.hpp include/libsemigroups/tce.hpp include/libsemigroups/timer.hpp include/libsemigroups/todd-coxeter-digraph.hpp include/libsemigroups/todd-coxeter-digraph.tpp include/libsemigroups/todd-coxeter.hpp include/libsemigroups/transf.hpp include/libsemigroups/types.hpp include/libsemigroups/uf.hpp include/libsemigroups/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.6.0' >>> 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.6.0-r0 pc:eigen3 pc:fmt pkgconfig >>> libsemigroups-dev*: Package size: 2.1 MB >>> libsemigroups-dev*: Compressing data... >>> libsemigroups-dev*: Create checksum... >>> libsemigroups-dev*: Create libsemigroups-dev-2.6.0-r0.apk >>> libsemigroups-static*: Tracing dependencies... >>> libsemigroups-static*: Package size: 5.5 MB >>> libsemigroups-static*: Compressing data... >>> libsemigroups-static*: Create checksum... >>> libsemigroups-static*: Create libsemigroups-static-2.6.0-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.8 MB >>> libsemigroups*: Compressing data... >>> libsemigroups*: Create checksum... >>> libsemigroups*: Create libsemigroups-2.6.0-r0.apk >>> libsemigroups: Build complete at Tue, 07 Feb 2023 07:02:34 +0000 elapsed time 0h 3m 49s >>> libsemigroups: Cleaning up srcdir >>> libsemigroups: Cleaning up pkgdir >>> libsemigroups: Uninstalling dependencies... (1/4) Purging .makedepends-libsemigroups (20230207.065846) (2/4) Purging eigen-dev (3.4.0-r8) (3/4) Purging fmt-dev (9.1.0-r0) (4/4) Purging fmt (9.1.0-r0) OK: 392 MiB in 98 packages >>> libsemigroups: Updating the testing/x86_64 repository index... >>> libsemigroups: Signing the index...