>>> libsemigroups: Building testing/libsemigroups 2.5.1-r0 (using abuild 3.10.0-r0) started Sun, 25 Dec 2022 23:42:06 +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-r7) (2/4) Installing fmt (9.1.0-r0) (3/4) Installing fmt-dev (9.1.0-r0) (4/4) Installing .makedepends-libsemigroups (20221225.234208) OK: 402 MiB in 102 packages >>> libsemigroups: Cleaning up srcdir >>> libsemigroups: Cleaning up pkgdir >>> libsemigroups: Fetching https://distfiles.alpinelinux.org/distfiles/edge/libsemigroups-2.5.1.tar.gz % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 0 146 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 curl: (22) The requested URL returned error: 404 >>> libsemigroups: Fetching https://github.com/libsemigroups/libsemigroups/releases/download/v2.5.1/libsemigroups-2.5.1.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 2427k 0 18602 0 0 27598 0 0:01:30 --:--:-- 0:01:30 27598 100 2427k 100 2427k 0 0 1845k 0 0:00:01 0:00:01 --:--:-- 3758k >>> libsemigroups: Fetching https://distfiles.alpinelinux.org/distfiles/edge/libsemigroups-2.5.1.tar.gz >>> libsemigroups: Checking sha512sums... libsemigroups-2.5.1.tar.gz: OK >>> libsemigroups: Unpacking /var/cache/distfiles/edge/libsemigroups-2.5.1.tar.gz... tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' checking build system type... x86_64-alpine-linux-musl checking host system type... x86_64-alpine-linux-musl checking target system type... x86_64-alpine-linux-musl checking for a BSD-compatible install... /usr/bin/install -c checking whether build environment is sane... yes checking for a race-free mkdir -p... ./config/install-sh -c -d checking for gawk... no checking for mawk... no checking for nawk... no checking for awk... awk checking whether make sets $(MAKE)... yes checking whether make supports nested variables... yes checking how to create a pax tar archive... gnutar checking whether make supports nested variables... (cached) yes checking whether make supports the include directive... yes (GNU style) checking for x86_64-alpine-linux-musl-gcc... gcc checking whether the C compiler works... yes checking for C compiler default output file name... a.out checking for suffix of executables... checking whether we are cross compiling... no checking for suffix of object files... o checking whether the compiler supports GNU C... yes checking whether gcc accepts -g... yes checking for gcc option to enable C11 features... none needed checking whether gcc understands -c and -o together... yes checking dependency style of gcc... gcc3 checking for x86_64-alpine-linux-musl-ar... no checking for x86_64-alpine-linux-musl-lib... no checking for x86_64-alpine-linux-musl-link... no checking for ar... ar checking the archiver (ar) interface... ar checking whether the compiler supports GNU C++... yes checking whether g++ accepts -g... yes checking for g++ option to enable C++11 features... none needed checking dependency style of g++... gcc3 checking whether g++ supports C++14 features by default... yes checking for a sed that does not truncate output... /bin/sed checking how to run the C preprocessor... gcc -E checking for grep that handles long lines and -e... /bin/grep checking for egrep... /bin/grep -E checking whether gcc is Clang... no checking whether pthreads work with "-pthread" and "-lpthread"... yes checking for joinable pthread attribute... PTHREAD_CREATE_JOINABLE checking whether more special flags are required for pthreads... no checking for PTHREAD_PRIO_INHERIT... yes checking for pthread_create in -lpthread... yes checking whether to enable maintainer-specific portions of Makefiles... no checking whether ln -s works... yes checking how to print strings... printf checking for a sed that does not truncate output... (cached) /bin/sed checking for fgrep... /bin/grep -F checking for ld used by gcc... /usr/x86_64-alpine-linux-musl/bin/ld checking if the linker (/usr/x86_64-alpine-linux-musl/bin/ld) is GNU ld... yes checking for BSD- or MS-compatible name lister (nm)... /usr/bin/nm -B checking the name lister (/usr/bin/nm -B) interface... BSD nm checking the maximum length of command line arguments... 98304 checking how to convert x86_64-alpine-linux-musl file names to x86_64-alpine-linux-musl format... func_convert_file_noop checking how to convert x86_64-alpine-linux-musl file names to toolchain format... func_convert_file_noop checking for /usr/x86_64-alpine-linux-musl/bin/ld option to reload object files... -r checking for x86_64-alpine-linux-musl-file... no checking for file... file checking for x86_64-alpine-linux-musl-objdump... no checking for objdump... objdump checking how to recognize dependent libraries... pass_all checking for x86_64-alpine-linux-musl-dlltool... no checking for dlltool... no checking how to associate runtime and link libraries... printf %s\n checking for x86_64-alpine-linux-musl-ar... ar checking for archiver @FILE support... @ checking for x86_64-alpine-linux-musl-strip... no checking for strip... strip checking for x86_64-alpine-linux-musl-ranlib... no checking for ranlib... ranlib checking command to parse /usr/bin/nm -B output from gcc object... ok checking for sysroot... no checking for a working dd... /bin/dd checking how to truncate binary pipes... /bin/dd bs=4096 count=1 checking for x86_64-alpine-linux-musl-mt... no checking for mt... no checking if : is a manifest tool... no checking for stdio.h... yes checking for stdlib.h... yes checking for string.h... yes checking for inttypes.h... yes checking for stdint.h... yes checking for strings.h... yes checking for sys/stat.h... yes checking for sys/types.h... yes checking for unistd.h... yes checking for dlfcn.h... yes checking for objdir... .libs checking if gcc supports -fno-rtti -fno-exceptions... no checking for gcc option to produce PIC... -fPIC -DPIC checking if gcc PIC flag -fPIC -DPIC works... yes checking if gcc static flag -static works... yes checking if gcc supports -c -o file.o... yes checking if gcc supports -c -o file.o... (cached) yes checking whether the gcc linker (/usr/x86_64-alpine-linux-musl/bin/ld -m elf_x86_64) supports shared libraries... yes checking whether -lc should be explicitly linked in... no checking dynamic linker characteristics... GNU/Linux ld.so checking how to hardcode library paths into programs... immediate checking whether stripping libraries is possible... yes checking if libtool supports shared libraries... yes checking whether to build shared libraries... yes checking whether to build static libraries... yes checking how to run the C++ preprocessor... g++ -E checking for ld used by g++... /usr/x86_64-alpine-linux-musl/bin/ld -m elf_x86_64 checking if the linker (/usr/x86_64-alpine-linux-musl/bin/ld -m elf_x86_64) is GNU ld... yes checking whether the g++ linker (/usr/x86_64-alpine-linux-musl/bin/ld -m elf_x86_64) supports shared libraries... yes checking for g++ option to produce PIC... -fPIC -DPIC checking if g++ PIC flag -fPIC -DPIC works... yes checking if g++ static flag -static works... yes checking if g++ supports -c -o file.o... yes checking if g++ supports -c -o file.o... (cached) yes checking whether the g++ linker (/usr/x86_64-alpine-linux-musl/bin/ld -m elf_x86_64) supports shared libraries... yes checking dynamic linker characteristics... (cached) GNU/Linux ld.so checking how to hardcode library paths into programs... immediate checking for limits.h... yes checking for stdint.h... (cached) yes checking for stdlib.h... (cached) yes checking for sys/time.h... yes checking for unistd.h... (cached) yes checking for pthread.h... yes checking for _Bool... yes checking for stdbool.h that conforms to C99... yes checking for inline... inline checking for int64_t... yes checking for size_t... yes checking for uint64_t... yes checking for ptrdiff_t... yes checking size of void *... 8 checking for GNU libc compatible malloc... yes checking for gettimeofday... yes checking for memset... yes checking for pow... yes checking for sqrt... yes checking whether to enable debug mode... no checking whether to enable verbose mode... no checking whether enable compiler warnings... no checking whether to enable stats mode... yes checking whether to build with code coverage support... no checking whether to enable HPCombi... yes checking for ./extern/HPCombi/VERSION... yes checking the required version of HPCombi... 0.0.6 checking the version of HPCombi that's present... 0.0.6 checking whether C++ compiler accepts -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.5.1' 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.5.1/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.5.1/include/libsemigroups/string-view.hpp:573:22, inlined from 'libsemigroups::detail::StringViewContainer::~StringViewContainer()' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.5.1/include/libsemigroups/string-view.hpp:162:29, inlined from 'libsemigroups::detail::StringViewContainer::~StringViewContainer()' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.5.1/include/libsemigroups/string-view.hpp:158:7, inlined from 'libsemigroups::detail::MultiStringView::~MultiStringView()' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.5.1/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.5.1/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.5.1/include/libsemigroups/string-view.hpp:573:22, inlined from 'libsemigroups::detail::StringViewContainer::~StringViewContainer()' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.5.1/include/libsemigroups/string-view.hpp:162:29, inlined from 'libsemigroups::detail::StringViewContainer::~StringViewContainer()' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.5.1/include/libsemigroups/string-view.hpp:158:7, inlined from 'libsemigroups::detail::MultiStringView::~MultiStringView()' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.5.1/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.5.1/include/libsemigroups/string-view.hpp:372:30, inlined from 'bool libsemigroups::detail::StringViewContainer::empty() const' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.5.1/include/libsemigroups/string-view.hpp:450:35, inlined from 'bool libsemigroups::detail::MultiStringView::empty() const' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.5.1/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.5.1/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.5.1/include/libsemigroups/string-view.hpp:372:30, inlined from 'bool libsemigroups::detail::StringViewContainer::empty() const' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.5.1/include/libsemigroups/string-view.hpp:450:35, inlined from 'bool libsemigroups::detail::MultiStringView::empty() const' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.5.1/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.5.1/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.5.1/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.5.1/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.5.1/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.5.1/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.5.1/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.5.1/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.5.1/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.5.1/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.5.1/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.5.1/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.5.1/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.5.1/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.5.1/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.5.1/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.5.1/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.5.1/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.5.1' ./test_all --use-colour yes --order lex --abort [quick] Filters: [quick] Action 001: row and column basis orbits for BMat8 . . . 82μs Action 002: row and column basis orbits for BMat8 . . . 3598μs Action 003: add generators after enumeration . . . 3546μs Action 004: multipliers for BMat8 row and column orbits . . . 6958μs Action 005: orbits for regular boolean mat monoid 5 . . . 408ms Action 007: partial perm image orbit . . . 397μs Action 008: partial perm image orbit . . . 88ms Action 009: partial perm image orbit . . . 99ms Action 010: partial perm image orbit . . . 102ms Action 011: permutation on integers . . . 50μs Action 012: permutation on sets, arrays . . . 179μs Action 013: permutation on tuples, arrays . . . 16ms Action 014: permutation on sets, vectors . . . 268μs Action 015: permutation on tuples, vectors . . . 26ms Action 016: misc . . . 10ms Action 017: partial perm image orbit . . . 60μs Action 018: permutation on tuples, arrays (360360) . . . 196ms Action 019: orbits for regular BMat8 monoid 5 with stop/start . . . 297ms Action 021: orbits for regular boolean mat monoid 5 (BMat<5> [...] . . . 373ms ActionDigraph 000: constructor with 1 default arg . . . 26μs ActionDigraph 001: constructor with 0 default args . . . 36μs ActionDigraph 002: add nodes . . . 21μs ActionDigraph 003: add edges . . . 316μs ActionDigraph 004: strongly connected components - cycles . . . 63μs ActionDigraph 005: strongly connected components - no edges . . . 38ms ActionDigraph 006: strongly connected components - disjoint cycles . . . 2086μs ActionDigraph 007: strongly connected components - complete graphs . . . 1075μs ActionDigraph 008: exceptions . . . 54μs ActionDigraph 009: spanning forest - complete graphs . . . 5098μs ActionDigraph 010: spanning forest - disjoint cycles . . . 124μs ActionDigraph 011: restrict . . . 12μs ActionDigraph 012: remove_edge_nc . . . 10μs ActionDigraph 013: scc large cycle . . . 18ms ActionDigraph 014: random . . . 25μs ActionDigraph 015: reserve . . . 11μs ActionDigraph 016: default constructors . . . 15μs ActionDigraph 017: scc iterators . . . 1341μs ActionDigraph 018: iterator to edges . . . 682μs ActionDigraph 019: root of scc . . . 360μs ActionDigraph 020: cbegin/end_panislo - 100 node path . . . 1193μs ActionDigraph 021: cbegin/end_pislo . . . 45μs ActionDigraph 022: cbegin/end_pani(s)lo - 100 node cycle . . . 2245μs ActionDigraph 023: cbegin/cend_pilo - tree 14 nodes . . . 81μs ActionDigraph 024: cbegin/end_pstilo - Cayley digraph . . . 263ms ActionDigraph 025: cbegin_pstilo - Tsalakou . . . 431μs ActionDigraph 026: cbegin/end_pstislo - Cayley digraph . . . 249ms ActionDigraph 027: cbegin/end_pstislo - Cayley digraph . . . 234μs ActionDigraph 028: path iterators corner cases . . . 169μs ActionDigraph 029: reverse node iterator . . . 12μs ActionDigraph 030: pstilo corner case . . . 74μ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 . . . 706ms ActionDigraph 034: number_of_paths large binary tree . . . 116ms ActionDigraph 035: number_of_paths 400 node random digraph . . . 727μs ActionDigraph 036: number_of_paths 10 node acyclic digraph . . . 95μs ActionDigraph 037: number_of_paths node digraph . . . 5119μ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) . . . 25ms ActionDigraph 042: number_of_paths (matrix) . . . 14μs ActionDigraph 043: swap_edge_nc . . . 10μs ActionDigraph 044: detail::pow for non-square Eigen matrix . . . 21μs ActionDigraph 045: operator<< . . . 16μs Array2 044: all . . . 46μs BMat8 001: transpose . . . 24μs BMat8 002: multiplication . . . 19μs BMat8 003: identity matrix . . . 14μs BMat8 004: random . . . 85μs BMat8 005: call operator . . . 18μs BMat8 006: operator<< . . . 17μs BMat8 007: set . . . 67μs BMat8 008: row space basis . . . 669μs BMat8 009: col space basis . . . 692μs BMat8 010: row space basis . . . 1551μs BMat8 011: number_of_rows, number_of_cols . . . 39μs BMat8 012: row_space, col_space . . . 206μs BMat8 013: rows . . . 42μs BMat8 014: one . . . 11μs BMat8 015: vector constructor . . . 80μs BMat8 016: operator< . . . 14μs BMat8 017: adapters . . . 21μs BMat8 018: one . . . 12μs Bipartition 009: mem fns 1 . . . 50μs Bipartition 010: hash . . . 9000ns Bipartition 011: mem fns 2 . . . 23μs Bipartition 012: delete/copy . . . 10μs Bipartition 013: degree 0 . . . 11μs Bipartition 014: exceptions . . . 38μs Bipartition 015: convenience constructor . . . 203μs Bipartition 016: force copy constructor over move constructor . . . 17μs Bipartition 017: adapters . . . 9000ns BitSet 000: size . . . 11μs BitSet 001: operator< . . . 10μs BitSet 002: operator== . . . 12μs BitSet 003: operator!= . . . 12μs BitSet 004: operator&= . . . 14μs BitSet 005: & . . . 22μs BitSet 006: operator|= . . . 18μs BitSet 007: operator[] . . . 18μs BitSet 008: set(none) . . . 18μs BitSet 009: set(pos, value) . . . 24μs BitSet 010: set(first, last, value) . . . 22μs BitSet 011: reset(first, last) . . . 20μs BitSet 012: reset(pos) . . . 20μs BitSet 013: apply (iterate through set bits) . . . 26μs BitSet 014: std::hash . . . 9000ns BitSet 015: constructors . . . 18μs BitSet 016: max_size . . . 9000ns BitSet 017: insertion operators . . . 12μs Blocks 001: empty blocks . . . 12μ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 . . . 161μs Congruence 001: 2-sided congruence on fp semigroup . . . 427μs Congruence 002: left congruence on fp semigroup . . . 268μs Congruence 003: word_to_class_index for cong. on fp semigroup . . . 287μs Congruence 004: word_to_class_index for cong. on fp semigroup . . . 535μs Congruence 005: trivial congruence on non-fp semigroup . . . 399μs Congruence 006: 2-sided congruence on non-fp semigroup . . . 297μs Congruence 007: 2-sided congruence on fp semigroup . . . 510μs Congruence 008: 2-sided congruence on infinite fp semigroup . . . 324μs Congruence 009: 2-sided congruence on infinite fp semigroup . . . 378μs Congruence 010: 2-sided congruence on finite semigroup . . . 35ms Congruence 012: 2-sided congruence on finite semigroup . . . 3104μs Congruence 013: trivial 2-sided congruence on bicyclic monoid . . . 24ms Congruence 014: non-trivial 2-sided congruence on bicyclic monoid . . . 347μs Congruence 015: 2-sided congruence on free abelian monoid . . . 430μs Congruence 016: example where TC works but KB doesn't . . . 564μs Congruence 017: 2-sided congruence on finite semigroup . . . 356μs Congruence 018: infinite fp semigroup from GAP library . . . 519μs Congruence 019: 2-sided cong. on fp semigroup with infinite [...] . . . 272μs Congruence 020: trivial cong. on an fp semigroup . . .  -- with compute size 287μs  -- with don't compute size 233μs Congruence 021: duplicate generators . . . 422μs Congruence 022: non-trivial classes . . . 1197μs Congruence 023: right congruence on finite semigroup . . . 400ms Congruence 024: redundant generating pairs . . . 152μs Congruence 025: 2-sided cong. on free semigroup . . . 112μs Congruence 026: is_quotient_obviously_(in)finite . . . 1280μs Congruence 027: less . . . 414μs Congruence 028: 2-sided congruences of BMat8 semigroup . . . 194ms Congruence 029: left congruence on finite semigroup . . . 752μs Congruence 030: right congruence on finite semigroup . . . 823μs Congruence 031: right congruence on finite semigroup . . . 816μs Congruence 032: contains . . . 295μs Congruence 033: stellar_monoid S2 . . . 1036μs Congruence 034: stellar_monoid S3 . . . 1249μs Congruence 035: stellar_monoid S4 . . . 2190μs Congruence 036: stellar_monoid S5 . . . 8710μs Congruence 037: stellar_monoid S6 . . . 81ms Congruence 038: stellar_monoid S7 . . . 843ms Congruence 039: left cong. on an f.p. semigroup . . . 1495μs Congruence 040: 2-sided cong. on infinite f.p. semigroup . . . 233μs Congruence 041: 2-sided congruence constructed from type only . . . 587μs Congruence 042: const_contains . . . 848μs Congruence 043: no winner . . . 10ms Congruence 044: congruence over smalloverlap . . . 14ms CongruenceByPairs 001: (cong) 2-sided cong. on finite semigroup . . . 726μs CongruenceByPairs 002: (cong) left congruence on finite semigroup . . . 299μs CongruenceByPairs 003: (cong) right congruence on finite semigroup . . . 294μs CongruenceByPairs 004: (cong) trivial congruence on finite s [...] . . . 221μs CongruenceByPairs 005: (cong) trivial left congruence on fin [...] . . . 223μs CongruenceByPairs 006: (cong) trivial right congruence on fi [...] . . . 198μs CongruenceByPairs 007: (cong) universal congruence on finite [...] . . . 881μs CongruenceByPairs 009: (cong) 2-sided congruence on finite s [...] . . . 854ms CongruenceByPairs 010: (cong) left congruence on big finite [...] . . . 43ms CongruenceByPairs 011: (cong) left congruence on TCE . . . 240μs CongruenceByPairs 012: (cong) is_quotient_obviously_finite . . . 115μs CongruenceByPairs 013: (cong) class_index_to_word/quotient . . .  -- with right congruence 7932μs  -- with left congruence 1220μs  -- with 2-sided congruence 6666μs CongruenceByPairs 014: (cong) const_word_to_class_index . . .  -- with right congruence 51μs  -- with left congruence 52μs  -- with 2-sided congruence 42μs CongruenceByPairs 015: (cong) size non-Element* . . . 29ms CongruenceInterface 000: add_pair . . .  -- with ToddCoxeter 97μs  -- with KnuthBendix 147μs  -- with CongruenceByPairs 108μs  -- with Congruence 446μs CongruenceInterface 001: contains/const_contains . . .  -- with ToddCoxeter and no parent 112μs  -- with KnuthBendix and no parent 128μs  -- with Congruence and parent 382μs  -- with CongruenceByPairs and parent 90μs CongruenceInterface 002: less . . .  -- with ToddCoxeter 82μs  -- with KnuthBendix 152μs  -- with CongruenceByPairs 93μs  -- with Congruence 370μs CongruenceInterface 003: is_quotient_obviously_(in)finite . . .  -- with ToddCoxeter 66μs  -- with KnuthBendix 116μs CongruenceInterface 004: is_quotient_obviously_(in)finite . . .  -- with CongruenceByPairs 98μs  -- with Congruence 336μs CongruenceInterface 005: parent_froidure_pin . . .  -- with ToddCoxeter 42μs  -- with KnuthBendix 34μs CongruenceInterface 006: parent_froidure_pin . . .  -- with CongruenceByPairs 90μs  -- with Congruence 389μs CongruenceInterface 007: cbegin/cend_ntc . . .  -- with ToddCoxeter 283μs  -- with KnuthBendix 1130μs CongruenceInterface 008: cbegin/cend_ntc . . .  -- with CongruenceByPairs 223μs  -- with Congruence 500μs CongruenceInterface 009: quotient is immutable . . .  -- with ToddCoxeter 78μs  -- with KnuthBendix 118μs  -- with Congruence 300μs CongruenceInterface 010: no generating pairs added . . .  -- with KnuthBendix and common behaviour 5585μs  -- with Congruence and common behaviour 6061μs  -- with ToddCoxeter 71μs CongruenceInterface 011: nr generators not set . . .  -- with ToddCoxeter 99μs  -- with KnuthBendix 99μs  -- with Congruence 97μs CongruenceInterface 012: no generating pairs . . . 197μs ConstIteratorStateless 001: ? . . . 10μs ConstIteratorStateless 002: ? . . . 9000ns Constants 001: Undefined . . . 20μs Constants 002: PositiveInfinity . . . 15μs Constants 003: NegativeInfinity . . . 14μs Constants 004: LimitMax . . . 14μs Duf 004: unite . . . 25μs Duf 006: compress . . . 20μs Duf 008: resize . . . 19μs Duf 009: resize . . . 12μs Duf 010: big chain . . . 16ms 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 . . . 15μ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 . . . 31μs DynamicArray2 010: set/get . . . 50μs DynamicArray2 011: append 1/2 . . . 125μs DynamicArray2 012: append 2/2 . . . 215μs DynamicArray2 013: count . . . 31μs DynamicArray2 014: clear . . . 10μs DynamicArray2 015: begin_row and end_row . . . 57μs DynamicArray2 016: cbegin_row and cend_row . . . 20μs DynamicArray2 017: iterator operator++ (postfix) . . . 220μs DynamicArray2 018: iterator operator++ (prefix) . . . 1354μs DynamicArray2 019: iterator operator-- (postfix) . . . 326μs DynamicArray2 020: iterator operator-- (prefix) . . . 292μ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 . . . 54μs DynamicArray2 026: iterator arithmetic . . . 1124μs DynamicArray2 027: iterator comparison . . . 13μs DynamicArray2 028: iterator operator= . . . 11μs DynamicArray2 029: iterator operator[] . . . 60μs DynamicArray2 030: iterator operator-> . . . 25μs DynamicArray2 031: const_iterator operator++/-- . . . 195μs DynamicArray2 032: const_iterator operator++/-- . . . 9000ns DynamicArray2 033: column iterators . . . 21μs DynamicArray2 034: column iterator arithmetic . . . 4497μs DynamicArray2 035: iterator assignment constructor . . . 1148μs DynamicArray2 036: reserve method . . . 99μs DynamicArray2 037: erase column . . . 15μ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 . . . 54μs FpSemigroup 001: Renner monoid type B2 (E. G. presentation), q = 1 . . . 892μs FpSemigroup 002: Renner monoid type B2 (E. G. presentation), q = 0 . . . 995μs FpSemigroup 003: Renner monoid type B3 (E. G. presentation), q = 1 . . . 59ms FpSemigroup 004: Renner monoid type B3 (E. G. presentation), q = 0 . . . 73ms FpSemigroup 005: Renner monoid type B2 (Gay-Hivert presentat [...] . . . 1202μs FpSemigroup 006: Renner monoid type B2 (Gay-Hivert presentat [...] . . . 1233μs FpSemigroup 007: Renner monoid type B3 (Gay-Hivert presentat [...] . . . 4999μs FpSemigroup 008: Renner monoid type B3 (Gay-Hivert presentat [...] . . . 4140μs FpSemigroup 009: Renner monoid type B4 (Gay-Hivert presentat [...] . . . 313ms FpSemigroup 010: Renner monoid type B4 (Gay-Hivert presentat [...] . . . 439ms FpSemigroup 013: Renner monoid type D2 (E. G. presentation), q = 1 . . . 1597μs FpSemigroup 014: Renner monoid type D2 (E. G. presentation), q = 0 . . . 1564μs FpSemigroup 015: Renner monoid type D3 (E. G. presentation), q = 1 . . . 5590μs FpSemigroup 016: Renner monoid type D3 (E. G. presentation), q = 0 . . . 5347μs FpSemigroup 017: Renner monoid type D4 (E. G. presentation), q = 1 . . . 549ms FpSemigroup 018: Renner monoid type D4 (E. G. presentation), q = 0 . . . 535ms FpSemigroup 019: Renner monoid type D2 (Gay-Hivert presentat [...] . . . 1934μs FpSemigroup 020: Renner monoid type D2 (Gay-Hivert presentat [...] . . . 1984μs FpSemigroup 021: Renner monoid type D3 (Gay-Hivert presentat [...] . . . 6507μs FpSemigroup 022: Renner monoid type D3 (Gay-Hivert presentat [...] . . . 4997μs FpSemigroup 023: Renner monoid type D4 (Gay-Hivert presentat [...] . . . 102ms FpSemigroup 024: Renner monoid type D4 (Gay-Hivert presentat [...] . . . 115ms FpSemigroup 029: Rook monoid R5, q = 0 . . . 6729μs FpSemigroup 030: Rook monoid R5, q = 1 . . . 7223μs FpSemigroup 031: Rook monoid R6, q = 0 . . . 52ms FpSemigroup 032: Rook monoid R6, q = 1 . . . 50ms FpSemigroup 033: normal_form . . . 597μs FpSemigroup 034: for a finite semigroup . . . 1219μs FpSemigroup 035: finite fp semigroup, dihedral group of order 6 . . . 960μs FpSemigroup 036: finite fp semigroup, size 16 . . . 1292μs FpSemigroup 037: finite fp semigroup, size 16 . . . 2122μs FpSemigroup 038: fp semigroup, size 240 . . . 1342μs FpSemigroup 039: add_rule . . . 399μs FpSemigroup 040: add_rule . . . 211μs FpSemigroup 041: equal_to . . . 356μs FpSemigroup 042: cbegin/cend_rules . . . 120μs FpSemigroup 043: semigroup of size 3 . . . 527μs FpSemigroup 044: run_for/until . . . 3278μs FpSemigroup 045: constructors . . . 375μs FpSemigroup 046: set_inverses . . . 248μs FpSemigroup 047: smalloverlap . . . 15ms FpSemigroup 048: quaternion group Q8 . . . 915μs FpSemigroup 049: symmetric group Coxeter presentation . . . 20ms FpSemigroupByPairs 029: (fpsemi) 2-sided congruence on finit [...] . . . 952μs FpSemigroupByPairs 030: (fpsemi) 2-sided congruence on finit [...] . . . 909μs FpSemigroupInterface 000: run with no alphabet . . .  -- with ToddCoxeter 128μs  -- with KnuthBendix 79μs  -- with FpSemigroup 95μs FpSemigroupInterface 001: equal_to . . .  -- with ToddCoxeter and human readable alphabet 2375μs  -- with KnuthBendix and human readable alphabet 7077μs  -- with FpSemigroup and human readable alphabet 6486μs  -- with FpSemigroupByPairs 3863μs FpSemigroupInterface 002: normal_form . . .  -- with ToddCoxeter 293μs  -- with KnuthBendix 400μs  -- with FpSemigroup 782μs FpSemigroupInterface 003: set_alphabet (1/2) . . .  -- with ToddCoxeter 193μs  -- with KnuthBendix 155μs  -- with FpSemigroup 170μs FpSemigroupInterface 004: set_alphabet (2/2) . . . 1522μs FpSemigroupInterface 005: add_rule after finished . . .  -- with ToddCoxeter and human readable alphabet 230μs  -- with KnuthBendix and human readable alphabet 352μs  -- with FpSemigroup and human readable alphabet 648μs  -- with FpSemigroupByPairs 1492μs FpSemigroupInterface 006: add_rule with equal words (1/2) . . .  -- with ToddCoxeter and human readable alphabet 351μs  -- with KnuthBendix and human readable alphabet 466μs  -- with FpSemigroup and human readable alphabet 683μs  -- with FpSemigroupByPairs 348μs FpSemigroupInterface 007: add_rule with equal words (2/2) . . .  -- with ToddCoxeter 79μs  -- with KnuthBendix 66μs  -- with FpSemigroup 82μs FpSemigroupInterface 008: add_rule with word_type . . .  -- with ToddCoxeter 124μs  -- with KnuthBendix 107μs  -- with FpSemigroup 173μs FpSemigroupInterface 009: add_rule with empty word (1/2) . . .  -- with ToddCoxeter 105μs  -- with FpSemigroup 109μs FpSemigroupInterface 010: add_rule with empty word (1/2) . . . 58μs FpSemigroupInterface 011: add_rules (1/3) . . .  -- with ToddCoxeter 114μs  -- with KnuthBendix 99μs  -- with FpSemigroup 114μs FpSemigroupInterface 012: add_rules (2/3) . . . 690μs FpSemigroupInterface 013: add_rules (3/3) . . .  -- with ToddCoxeter 94μs  -- with KnuthBendix 66μs  -- with FpSemigroup 135μs FpSemigroupInterface 014: set_identity (1/3) . . .  -- with ToddCoxeter 213μs  -- with KnuthBendix 193μs  -- with FpSemigroup 290μs FpSemigroupInterface 015: set_identity (2/3) . . . 413μs FpSemigroupInterface 016: set_identity (3/3) . . .  -- with ToddCoxeter 152μs  -- with KnuthBendix 141μs  -- with FpSemigroup 241μs FpSemigroupInterface 017: identity . . .  -- with ToddCoxeter 83μs  -- with KnuthBendix 67μs  -- with FpSemigroup 82μs FpSemigroupInterface 018: set_inverses + inverses (1/2) . . .  -- with ToddCoxeter 257μs  -- with KnuthBendix 248μs  -- with FpSemigroup 420μs FpSemigroupInterface 019: set_inverses + inverses (2/2) . . . 475μs FpSemigroupInterface 020: is_obviously_infinite (1/2) . . .  -- with ToddCoxeter 204μs  -- with KnuthBendix 311μs  -- with FpSemigroup 616μs FpSemigroupInterface 021: is_obviously_infinite (2/2) . . . 91μs FpSemigroupInterface 022: is_obviously_finite (1/2) . . .  -- with ToddCoxeter 193μs  -- with KnuthBendix 292μs  -- with FpSemigroup 567μs FpSemigroupInterface 023: is_obviously_finite (2/2) . . . 100μs FpSemigroupInterface 024: to_gap_string (1/3) . . .  -- with ToddCoxeter 103μs  -- with KnuthBendix 67μs  -- with FpSemigroup 133μs FpSemigroupInterface 025: to_gap_string (2/3) . . . 53μs FpSemigroupInterface 026: to_gap_string (3/3) . . . 76μs FroidurePin 015: (BMat8) regular boolean mat monoid 4 . . . 124ms FroidurePin 016: (BMat8) exception zero generators given . . . 20μs FroidurePin 017: (BMat8) exception word_to_element . . . 124μs FroidurePin 018: (BMat8) exception prefix . . . 2277μs FroidurePin 019: (BMat8) exception suffix . . . 28μs FroidurePin 020: (BMat8) exception first_letter . . . 2227μs FroidurePin 021: (BMat8) exception final_letter . . . 27μs FroidurePin 022: (BMat8) exception current_length . . . 2256μs FroidurePin 023: (BMat8) exception product_by_reduction . . . 2089μs FroidurePin 024: (BMat8) exception fast_product . . . 1722μs FroidurePin 025: (BMat8) exception is_idempotent . . . 62ms FroidurePin 026: (BMat8) copy constructor . . .  -- with fully enumerated 73ms  -- with partially enumerated 55ms  -- with not enumerated 49ms FroidurePin 027: (BMat8) cbegin/end_rules . . . 72μs FroidurePin 031: (integers) . . . 237μs FroidurePin 039: (pairs of integers) non-trivial user type . . . 39μs FroidurePin 055: (tropical max-plus semiring matrices) . . . 348μs FroidurePin 061: projective max plus matrix . . . 1284μs FroidurePin 062: projective max plus matrix . . . 44μs FroidurePin> 009: small example 2 . . . 63μs FroidurePin> 005: small example 1 . . . 157μs FroidurePin> 007: regular bmat monoid 4 . . . 86ms FroidurePin> 011: small example 3 . . . 770μs FroidurePin> 006: small example 1 . . . 205μs FroidurePin> 008: regular bmat monoid 4 . . . 107ms FroidurePin> 010: small example 2 . . . 60μs FroidurePin> 012: small example 3 . . . 921μs FroidurePin 000: small example 1 . . . 225μs FroidurePin 001: default constructed . . . 133μs FroidurePin 002: small example 2 . . . 82μs FroidurePin 004: exception: is_idempotent . . . 238μs FroidurePin> 033: Example 000 . . . 910μs FroidurePin> 035: Example 001 . . . 53μs FroidurePin> 032: Example 000 . . . 761μs FroidurePin> 034: Example 001 . . . 47μs FroidurePin 036: exception: current_position . . . 155μs FroidurePin 037: exception: word_to_element . . . 89μs FroidurePin 038: exception: prefix, suffix, first_letter . . . 26ms FroidurePin> 040: Example 000 . . . 89μs FroidurePin> 041: Example 000 . . . 69μs FroidurePin> 046: Example 005 . . . 229μs FroidurePin> 047: Example 005 . . . 242μs FroidurePin> 048: Example 005 . . . 230μs FroidurePin> 044: Example 004 . . . 38μs FroidurePin> 045: Example 004 . . . 45μs FroidurePin> 049: Example 006 . . . 1428μs FroidurePin> 050: Example 006 . . . 1608μs FroidurePin> 051: Example 006 . . . 1667μs FroidurePin> 052: Example 007 . . . 195μs FroidurePin> 053: Example 007 . . . 214μs FroidurePin> 054: Example 007 . . . 233μs FroidurePin 056: example 1 . . . 290μs FroidurePin 057: example 2 . . . 245μs FroidurePin> 058: . . . 846μs FroidurePin> 059: . . . 74μs FroidurePin> 060: exceptions: add_generator(s) . . . 78μs FroidurePin> 065: no exception zero generators given . . . 28μs FroidurePin> 066: exception generators of different [...] . . . 106μs FroidurePin> 067: exception current_position . . . 57μs FroidurePin> 068: exception word_to_element . . . 58μs FroidurePin> 069: exception gens . . . 817μs FroidurePin> 070: exception prefix . . . 36ms FroidurePin> 071: exception suffix . . . 93ms FroidurePin> 072: exception first_letter . . . 72μs FroidurePin> 073: exception final_letter . . . 119μs FroidurePin> 074: exception current_length . . . 116μs FroidurePin> 075: exception product_by_reduction . . . 533μs FroidurePin> 076: exception fast_product . . . 570μs FroidurePin> 077: exception current_position . . . 795μs FroidurePin> 078: exception is_idempotent . . . 828μs FroidurePin> 079: exception add_generators . . . 52μs FroidurePin> 080: multithread number_of_idempotents . . . 786μs FroidurePin> 081: small semigroup . . . 37μs FroidurePin> 082: large semigroup . . . 9879μs FroidurePin> 083: at, position, current_* . . . 9876μs FroidurePin> 084: run . . . 9545μs FroidurePin> 085: run [many stops and starts] . . . 9348μs FroidurePin> 086: factorisation, length [1 element] . . . 9500μs FroidurePin> 087: factorisation, products [all elements] . . . 11ms FroidurePin> 088: first/final letter, prefix, suffi [...] . . . 9462μs FroidurePin> 089: current_position [standard] . . . 35μs FroidurePin> 090: current_position [duplicate gens] . . . 15ms FroidurePin> 091: current_position [after add_generators] . . . 7670μs FroidurePin> 092: cbegin_idempotents/cend [1 thread] . . . 7591μs FroidurePin> 093: idempotent_cend/cbegin [1 thread] . . . 7624μs FroidurePin> 094: is_idempotent [1 thread] . . . 7429μs FroidurePin> 096: finished, started . . . 6972μs FroidurePin> 097: current_position . . . 1689μs FroidurePin> 098: sorted_position, sorted_at . . . 8632μs FroidurePin> 099: right/left Cayley graph . . . 31ms FroidurePin> 100: iterator . . . 10ms FroidurePin> 101: reverse iterator . . . 10ms FroidurePin> 102: iterator arithmetic . . . 27ms FroidurePin> 103: iterator sorted . . . 23ms FroidurePin> 104: iterator sorted arithmetic . . . 29ms FroidurePin> 105: copy [not enumerated] . . . 7198μs FroidurePin> 106: copy_closure [not enumerated] . . . 45ms FroidurePin> 107: copy_add_generators [not enumerated] . . . 41ms FroidurePin> 108: copy [partly enumerated] . . . 7681μs FroidurePin> 109: copy_closure [partly enumerated] . . . 12ms FroidurePin> 110: copy_add_generators [partly enumerated] . . . 7861μ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] . . . 221μs FroidurePin> 115: relations . . . 9251μs FroidurePin> 116: relations [copy_closure, duplicat [...] . . . 12ms FroidurePin> 117: relations [copy_add_generators, d [...] . . . 13ms FroidurePin> 118: relations [from copy, not enumerated] . . . 8146μs FroidurePin> 119: relations [from copy, partly enum [...] . . . 15ms FroidurePin> 120: relations [from copy, fully enumerated] . . . 14ms FroidurePin> 121: relations [from copy_closure, not [...] . . . 13ms FroidurePin> 122: relations [from copy_add_generato [...] . . . 8118μs FroidurePin> 123: relations [from copy_closure, par [...] . . . 12ms FroidurePin> 124: relations [from copy_add_generato [...] . . . 9759μs FroidurePin> 125: relations [from copy_closure, ful [...] . . . 14ms FroidurePin> 126: relations [from copy_add_generato [...] . . . 12ms FroidurePin> 127: add_generators [duplicate generators] . . . 400μs FroidurePin> 128: add_generators [incremental 1] . . . 474μs FroidurePin> 129: add_generators [incremental 2] . . . 497μs FroidurePin> 130: closure [duplicate generators] . . . 242μs FroidurePin> 131: closure . . . 105μs FroidurePin> 132: factorisation . . . 23μs FroidurePin> 134: minimal_factorisation . . . 53μs FroidurePin> 135: batch_size (for an extremely larg [...] . . . 21μs FroidurePin> 137: exception: generators of differen [...] . . . 27μs FroidurePin> 138: exception: current_position . . . 60μs FroidurePin> 139: exception: word_to_element . . . 61μs FroidurePin> 140: exception: gens, current_position . . . 760μs FroidurePin> 141: exception: add_generators . . . 33μs HPCombi 000: Transf16 . . . 34μs HPCombi 001: One specialisation . . . 10μs HPCombi 002: One specialisation . . . 11μ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 . . . 45μs KBE 001: test . . . 66μs KBE 002: factorisation . . . 47μs KBE 003: swap . . . 33μs KBE 004: adapters . . . 29μs KBE 005: conversions . . . 29μs Kambites 000: (fpsemi) MT test 4 (std::string) . . . 7152μs Kambites 001: (fpsemi) MT test 4 (MultiStringView) . . . 7686μs Kambites 002: (fpsemi) number_of_pieces (std::string) . . . 135μs Kambites 003: (fpsemi) number_of_pieces (MultiStringView) . . . 124μs Kambites 004: (fpsemi) small_overlap_class (std::string) . . . 3961μs Kambites 005: (fpsemi) small_overlap_class (MultiStringView) . . . 3942μ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) . . . 19ms Kambites 010: (fpsemi) smalloverlap/gap/test.gi:85 (std::string) . . . 98μs Kambites 011: (fpsemi) smalloverlap/gap/test.gi:85 (MultiStr [...] . . . 75μs Kambites 012: (fpsemi) free semigroup . . . 12μs Kambites 013: (fpsemi) smalloverlap/gap/test.gi:49 (std::string) . . . 39ms Kambites 014: (fpsemi) smalloverlap/gap/test.gi:49 (MultiStr [...] . . . 47ms Kambites 015: (fpsemi) smalloverlap/gap/test.gi:63 (std::string) . . . 41ms Kambites 016: (fpsemi) smalloverlap/gap/test.gi:63 (MultiStr [...] . . . 50ms Kambites 017: (fpsemi) smalloverlap/gap/test.gi:70 (std::string) . . . 146ms Kambites 018: (fpsemi) smalloverlap/gap/test.gi:70 (MultiStr [...] . . . 183ms Kambites 021: (fpsemi) code coverage (std::string) . . . 54μs Kambites 022: (fpsemi) code coverage (MultiStringView) . . . 33μs Kambites 023: (fpsemi) prefix (std::string) . . . 70μs Kambites 024: (fpsemi) prefix (MultiStringView) . . . 95μs Kambites 025: (fpsemi) normal_form (Example 3.15) (std::string) . . . 74μs Kambites 026: (fpsemi) normal_form (Example 3.15) (MultiStri [...] . . . 90μs Kambites 027: (fpsemi) normal_form (Example 3.16) (std::string) . . . 54μs Kambites 028: (fpsemi) normal_form (Example 3.16) (MultiStri [...] . . . 69μs Kambites 029: (fpsemi) normal_form (Example 3.16) more exhau [...] . . . 79ms Kambites 030: (fpsemi) normal_form (Example 3.16) more exhau [...] . . . 73ms Kambites 031: (fpsemi) small presentation (std::string) . . . 92μs Kambites 032: (fpsemi) small presentation (MultiStringView) . . . 48μ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) . . . 52μs Kambites 036: (fpsemi) MT test 3 (MultiStringView) . . . 50μs Kambites 037: (fpsemi) MT test 5 (std::string) . . . 29μs Kambites 038: (fpsemi) MT test 5 (MultiStringView) . . . 30μs Kambites 039: (fpsemi) MT test 6 (std::string) . . . 63μs Kambites 040: (fpsemi) MT test 6 (MultiStringView) . . . 63μs Kambites 041: (fpsemi) MT test 10 (std::string) . . . 58μs Kambites 042: (fpsemi) MT test 10 (MultiStringView) . . . 57μs Kambites 043: (fpsemi) MT test 13 (std::string) . . . 29μs Kambites 044: (fpsemi) MT test 13 (MultiStringView) . . . 31μs Kambites 045: (fpsemi) MT test 14 (std::string) . . . 28μs Kambites 046: (fpsemi) MT test 14 (MultiStringView) . . . 33μ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) . . . 42μs Kambites 051: (fpsemi) MT test 17 (std::string) . . . 128μs Kambites 052: (fpsemi) MT test 17 (MultiStringView) . . . 120μs Kambites 053: (fpsemi) weak C(4) not strong x 1 (std::string) . . . 500μs Kambites 054: (fpsemi) weak C(4) not strong x 1 (MultiStringView) . . . 585μs Kambites 055: (fpsemi) weak C(4) not strong x 2 (std::string) . . . 490μs Kambites 056: (fpsemi) weak C(4) not strong x 2 (MultiStringView) . . . 589μs Kambites 057: (fpsemi) weak C(4) not strong x 3 (std::string) . . . 473μs Kambites 058: (fpsemi) weak C(4) not strong x 3 (MultiStringView) . . . 453μ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) . . . 74μs Kambites 061: (fpsemi) weak C(4) not strong x 5 (std::string) . . . 27μs Kambites 062: (fpsemi) weak C(4) not strong x 5 (MultiStringView) . . . 22μs Kambites 063: (fpsemi) weak C(4) not strong x 6 (std::string) . . . 41μs Kambites 064: (fpsemi) weak C(4) not strong x 6 (MultiStringView) . . . 39μs Kambites 065: (fpsemi) Konovalov example (std::string) . . . 25μs Kambites 066: (fpsemi) Konovalov example (MultiStringView) . . . 23μs Kambites 067: (fpsemi) long words (std::string) . . . 1121ms Kambites 068: (fpsemi) long words (MultiStringView) . . . 34ms Kambites 075: (cong) example 1 . . . 67μs Kambites 076: (cong) example 2 . . . 162μs Kambites 077: (cong) code coverage . . . 7504μs Kambites 078: (cong) large number of rules . . . 281ms KnuthBendix 000: (fpsemi) confluent fp semigroup 1 (infinite) . . . 121μs KnuthBendix 001: (fpsemi) confluent fp semigroup 2 (infinite) . . . 124μs KnuthBendix 002: (fpsemi) confluent fp semigroup 3 (infinite) . . . 91μs KnuthBendix 003: (fpsemi) non-confluent fp semigroup from wi [...] . . . 165μs KnuthBendix 004: (fpsemi) Example 5.1 in Sims (infinite) . . . 148μs KnuthBendix 005: (fpsemi) Example 5.1 in Sims (infinite) . . . 142μs KnuthBendix 006: (fpsemi) Example 5.3 in Sims . . . 122μs KnuthBendix 007: (fpsemi) Example 5.4 in Sims . . . 124μs KnuthBendix 008: (fpsemi) Example 6.4 in Sims (size 168) . . . 7370μ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 [...] . . . 397μs KnuthBendix 012: (fpsemi) Reinis example 1 . . . 193μs KnuthBendix 013: redundant_rule (std::string) . . . 100ms KnuthBendix 014: redundant_rule (word_type) . . . 10ms KnuthBendix 019: (fpsemi) C(4) monoid . . . 50μs KnuthBendix 020: (cong) Chinese monoid . . . 137μs KnuthBendix 021: (from kbmag/standalone/kb_data/f25monoid) . . . 464μs KnuthBendix 022: (from kbmag/standalone/kb_data/degen4a) . . . 47ms KnuthBendix 023: (from kbmag/standalone/kb_data/torus) . . . 2331μs KnuthBendix 024: (from kbmag/standalone/kb_data/3a6) . . . 231ms KnuthBendix 025: (from kbmag/standalone/kb_data/f2) . . . 70μs KnuthBendix 026: (from kbmag/standalone/kb_data/s16) . . . 63ms KnuthBendix 027: (from kbmag/standalone/kb_data/a4monoid) . . . 70μs KnuthBendix 028: (from kbmag/standalone/kb_data/degen3) . . . 38μs KnuthBendix 029: (from kbmag/standalone/kb_data/ab1) . . . 37μs KnuthBendix 030: (from kbmag/standalone/kb_data/degen2) . . . 31μs KnuthBendix 031: (from kbmag/standalone/kb_data/f25) . . . 395μs KnuthBendix 032: (from kbmag/standalone/kb_data/237) . . . 527μs KnuthBendix 033: (from kbmag/standalone/kb_data/c2) . . . 31μs KnuthBendix 034: (from kbmag/standalone/kb_data/cosets) . . . 189μs KnuthBendix 035: Example 5.1 in Sims (KnuthBendix 09 again) . . . 57μs KnuthBendix 036: (from kbmag/standalone/kb_data/nilp2) . . . 40μs KnuthBendix 037: Example 6.4 in Sims . . . 12ms KnuthBendix 038: KnuthBendix 071 again . . . 583μs KnuthBendix 039: Example 5.4 in Sims (KnuthBendix 11 again) [...] . . . 182μs KnuthBendix 040: Example 5.4 in Sims (KnuthBendix 11 again) [...] . . . 124μs KnuthBendix 041: operator<< . . . 57μs KnuthBendix 042: confluence_interval . . . 28μs KnuthBendix 043: max_overlap . . . 27μs KnuthBendix 044: (fpsemi) (from kbmag/standalone/kb_data/d22 [...] . . . 1042μs KnuthBendix 045: (fpsemi) (from kbmag/standalone/kb_data/d22 [...] . . . 1965μs KnuthBendix 046: (fpsemi) small example . . . 668μs KnuthBendix 047: code coverage . . . 93μs KnuthBendix 048: small overlap 1 . . . 64μs KnuthBendix 049: (from kbmag/standalone/kb_data/s9) . . . 1338μs KnuthBendix 050: (fpsemi) Chapter 11, Lemma 1.8 (q = 6, r = [...] . . . 517μs KnuthBendix 051: (fpsemi) Chapter 11, Section 2 (q = 6, r = [...] . . . 124μs KnuthBendix 052: (fpsemi) Chapter 8, Theorem 4.2 in NR (infinite) . . . 213μs KnuthBendix 053: (fpsemi) equal_to fp semigroup . . . 60μs KnuthBendix 054: (fpsemi) equal_to free semigroup . . . 80μs KnuthBendix 055: (fpsemi) from GAP smalloverlap gap/test.gi [...] . . . 316μs KnuthBendix 056: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 501μs KnuthBendix 057: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 491μs KnuthBendix 058: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 1359μs KnuthBendix 059: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 3245μs KnuthBendix 060: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 68μs KnuthBendix 061: (fpsemi) Von Dyck (2,3,7) group (infinite) . . . 506μs KnuthBendix 062: (fpsemi) Von Dyck (2,3,7) group - different [...] . . . 4198μs KnuthBendix 063: (fpsemi) rewriting system from KnuthBendixC [...] . . . 327μs KnuthBendix 064: (fpsemi) rewriting system from Congruence 20 . . . 45μs KnuthBendix 065: (fpsemi) (from kbmag/standalone/kb_data/ab2) . . . 99μs KnuthBendix 066: (fpsemi) (from kbmag/standalone/kb_data/d22 [...] . . . 1121μs KnuthBendix 067: (fpsemi) (from kbmag/standalone/kb_data/degen1) . . . 56μs KnuthBendix 068: (fpsemi) (from kbmag/standalone/kb_data/s4) . . . 283μs KnuthBendix 069: (fpsemi) fp semigroup (infinite) . . . 61μs KnuthBendix 070: (fpsemi) Chapter 11, Section 1 (q = 4, r = [...] . . . 1574μs KnuthBendix 071: (fpsemi) Chapter 11, Section 1 (q = 8, r = [...] . . . 97ms KnuthBendix 072: (fpsemi) Chapter 7, Theorem 3.9 in NR (size 240) . . . 3113μs KnuthBendix 073: (fpsemi) F(2, 5) - Chapter 9, Section 1 in [...] . . . 413μs KnuthBendix 074: (fpsemi) F(2, 6) - Chapter 9, Section 1 in NR . . . 393μs KnuthBendix 075: (fpsemi) Chapter 10, Section 4 in NR (infinite) . . . 740μs KnuthBendix 076: (fpsemi) Sym(5) from Chapter 3, Proposition [...] . . . 2554μs KnuthBendix 077: (fpsemi) SL(2, 7) from Chapter 3, Propositi [...] . . . 72ms KnuthBendix 078: (fpsemi) bicyclic monoid (infinite) . . . 60μs KnuthBendix 079: (fpsemi) plactic monoid of degree 2 (infinite) . . . 79μs KnuthBendix 080: (fpsemi) example before Chapter 7, Proposit [...] . . . 61μs KnuthBendix 081: (fpsemi) Chapter 7, Theorem 3.6 in NR (size 243) . . . 727μs KnuthBendix 082: (fpsemi) finite semigroup (size 99) . . . 235μs KnuthBendix 096: Sorouhesh . . . 363μs KnuthBendix 097: (fpsemi) transformation semigroup (size 4) . . . 75μs KnuthBendix 098: (fpsemi) transformation semigroup (size 9) . . . 81μs KnuthBendix 099: (fpsemi) transformation semigroup (size 88) . . . 706μs KnuthBendix 100: internal_string_to_word . . . 53μs KnuthBendix 101: (fpsemi) construct from shared_ptr . . . 683μs KnuthBendix 102: internal_string_to_word . . . 706μs KnuthBendix 103: (cong) free semigroup congruence (5 classes) . . . 93μs KnuthBendix 104: free semigroup congruence (6 classes) . . . 243μs KnuthBendix 105: (cong) free semigroup congruence (16 classes) . . . 304μs KnuthBendix 106: (cong) free semigroup congruence (6 classes) . . . 437μs KnuthBendix 107: (cong) free semigroup congruence (240 classes) . . . 3089μs KnuthBendix 108: (cong) free semigroup congruence (240 classes) . . . 3013μs KnuthBendix 109: (cong) less . . . 3583μs KnuthBendix 110: (cong) less . . . 172ms KnuthBendix 111: (cong) constructors . . . 246ms KnuthBendix 112: (cong) const_contains/contains . . . 173μs KnuthBendix 113: (cong) is_quotient_obviously_finite . . . 38μs KnuthBendix 114: (cong) class_index_to_word . . . 189μs KnuthBendix 115: (cong) quotient_froidure_pin . . . 145μs KnuthBendix 116: (cong) set_number_of_generators . . . 40μs KnuthBendix 117: (cong) number of classes when obv-inf . . . 54μs KnuthBendixCongruenceByPairs 016: non-trivial congruence on [...] . . . 179μs KnuthBendixCongruenceByPairs 017: non-trivial congruence on [...] . . . 173μs KnuthBendixCongruenceByPairs 018: non-trivial congruence on [...] . . . 248μs KnuthBendixCongruenceByPairs 019: non-trivial congruence on [...] . . . 257μs KnuthBendixCongruenceByPairs 020: trivial congruence on a fi [...] . . . 181μs KnuthBendixCongruenceByPairs 021: universal congruence on a [...] . . . 518μs KnuthBendixCongruenceByPairs 022: left congruence on a finit [...] . . . 255μs KnuthBendixCongruenceByPairs 023: finite group, Chapter 11, [...] . . . 3989μs KnuthBendixCongruenceByPairs 024: right congruence on infini [...] . . . 292μs KnuthBendixCongruenceByPairs 025: finite fp semigroup, dihed [...] . . . 305μs KnuthBendixCongruenceByPairs 026: finite fp semigroup, size 16 . . . 308μs KnuthBendixCongruenceByPairs 027: finite fp semigroup, size 16 . . . 900μs KnuthBendixCongruenceByPairs 028: infinite fp semigroup with [...] . . . 83μs Konieczny 000: test000> . . . 1134μs Konieczny 001: test000> . . . 834μs Konieczny 002: test001> . . . 11ms Konieczny 003: test001> . . . 9189μs Konieczny 006: exceptions . . . 46μs Konieczny 007: code coverage . . . 13ms Konieczny 008: code coverage . . . 11ms Konieczny 009: regular elements and idempotents . . . 92ms Konieczny 010: regular D-class 01 . . . 1058μs Konieczny 011: regular D-class 02 . . . 10ms Konieczny 012: regular D-class 04: contains . . . 32ms Konieczny 013: non-regular D-classes 01 . . . 1109μs Konieczny 014: RegularDClass . . . 655μs Konieczny 015: full bmat monoid 4 . . . 45ms Konieczny 017: regular generated bmat monoid 4 idempotents . . . 90ms Konieczny 019: my favourite example . . . 96ms Konieczny 020: another large example . . . 8962μs Konieczny 021: my favourite example transposed . . . 76ms Konieczny 024: exceptions . . . 1173μs Konieczny 025: 0-parameter constructor . . . 19ms Konieczny 026: non-regular D-classes 02 . . . 11ms Konieczny 028: partial perm . . . 102ms Konieczny 029: symmetric inverse monoid n = 8 . . . 19ms Konieczny 030: exceptions . . . 216ms Konieczny 031: transformations . . . 491μs Konieczny 032: transformations - JDM favourite example . . . 46ms Konieczny 033: transformations - large example . . . 277ms Konieczny 034: transformations - large example with stop . . . 278ms Konieczny 035: transformations - large example with run_until . . . 279ms Konieczny 036: transformations - large example with stop in Action . . . 280ms Konieczny 037: exceptions . . . 59μs Konieczny 038: transformations: contains . . . 592μs Konieczny 040: transformations - destructor coverage . . . 104ms Konieczny 041: current_number_D_classes . . . 103ms Konieczny 042: add_generator . . . 16μs Konieczny 043: add_generator . . . 12μs Matrix 000: BMat<2> . . . 86μs Matrix 001: BMat<> . . . 69μs Matrix 002: BMat<3> + BMat<> . . . 16μs Matrix 003: BMat<2> + BMat<> . . . 11μs Matrix 004: BMat<3> . . . 12μs Matrix 005: BMat<> . . . 13μs Matrix 006: BMat<3> row_basis . . . 37μs Matrix 007: BMat<> row_basis . . . 37μs Matrix 008: IntMat<3> . . . 14μ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> . . . 15μs Matrix 015: MinPlusMat<> . . . 18μs Matrix 016: MinPlusMat code cov . . . 9000ns Matrix 017: MaxPlusTruncMat<5, 2> . . . 20μs Matrix 018: MaxPlusTruncMat<5> . . . 19μs Matrix 019: MaxPlusTruncMat<> . . . 34μs Matrix 020: MaxPlusTruncMat<5, 4> . . . 17μs Matrix 021: MaxPlusTruncMat<5> . . . 18μs Matrix 022: MaxPlusTruncMat<> . . . 18μs Matrix 023: MaxPlusTruncMat<33, 3> . . . 29μs Matrix 024: MaxPlusTruncMat<33> . . . 27μs Matrix 025: MaxPlusTruncMat<> . . . 27μs Matrix 026: MaxPlusMat code cov . . . 9000ns Matrix 027: MinPlusTruncMat<33, 3> . . . 29μs Matrix 028: MinPlusTruncMat<33> . . . 34μs Matrix 029: MinPlusTruncMat<> . . . 38μs Matrix 030: NTPMat<0, 3, 3, 3> . . . 15μs Matrix 031: NTPMat<0, 3> . . . 17μs Matrix 032: NTPMat<> . . . 33μs Matrix 033: NTPMat<0, 10, 4, 4> . . . 24μs Matrix 034: NTPMat<0, 10> . . . 26μs Matrix 035: NTPMat<> . . . 19μs Matrix 036: NTPMat<0, 10, 4, 4> . . . 24μs Matrix 037: NTPMat<0, 10> . . . 17μs Matrix 038: NTPMat<> . . . 17μs Matrix 039: NTPMat<33, 2, 3, 3> . . . 15μs Matrix 040: NTPMat<33, 2> . . . 15μs Matrix 041: NTPMat<> . . . 14μs Matrix 042: ProjMaxPlusMat<3> . . . 88μs Matrix 043: ProjMaxPlusMat<> . . . 58μs Matrix 044: exceptions . . . 35μs Matrix 045: code coverage . . . 35μs MultiStringView 000: catch all . . . 45μs MultiStringView 001: is_prefix . . . 13μs MultiStringView 002: erase . . . 15μs MultiStringView 003: iterators . . . 11μs MultiStringView 004: constructors (long) . . . 18μs MultiStringView 005: constructors (short) . . . 15μs MultiStringView 006: copy assignment (short assigned to long) . . . 12μs MultiStringView 007: copy assignment (short assigned to short) . . . 12μs MultiStringView 008: move assignment (short assigned to long) . . . 12μs MultiStringView 009: move assignment (short assigned to short) . . . 12μs MultiStringView 010: code coverage . . . 19μs MultiStringView 011: pop_front . . . 40μs MultiStringView 012: append . . . 14μs MultiStringView 013: operators . . . 14μs MultiStringView 014: maximum_common_suffix . . . 14μs MultiStringView 015: deep tests . . . 10μs ObviouslyInfinite 011: Multiple rule additions . . . 41μs ObviouslyInfinite 012: A power of the generator 'b' does not [...] . . . 11μs ObviouslyInfinite 013: Preserves the number of occurrences o [...] . . . 11μ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 . . . 41μs PBR 002: universal product . . . 18μs PBR 003: product [bigger than previous] . . . 27μs PBR 004: hash . . . 10μs PBR 005: delete/copy . . . 22μs PBR 006: exceptions . . . 127μs PBR 007: operators . . . 71μs PBR 008: to_string . . . 20μs PBR 009: identity . . . 45μs PBR 010: adapters . . . 9000ns Pool 000: initial . . . 25μs Pool 001: bmat . . . 23μs Pool 002: PoolGuard . . . 19μs Pool 003: transformation products . . . 13μs Presentation 000: vectors of ints . . . 81μs Presentation 001: strings . . . 63μs Presentation 002: constructors (word_type) . . . 22μs Presentation 003: constructors (StaticVector1) . . . 31μs Presentation 004: constructors (std::string) . . . 21μs Presentation 005: alphabet + letters (word_type) . . . 105μs Presentation 006: alphabet + letters (std::string) . . . 35μs Presentation 007: contains_empty_word . . . 11μs Presentation 008: validate_rules throws . . . 43μs Presentation 009: helpers add_rule(s) . . . 80μs Presentation 010: helpers add_rule(s) (std::string) . . . 34μ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) . . . 168μs Presentation 014: helpers add_inverse_rules (std::string) . . . 37μs Presentation 015: helpers remove_duplicate_rules . . . 61μs Presentation 016: helpers reduce_complements . . . 121μs Presentation 017: helpers sort_each_rule . . . 60μs Presentation 018: helpers sort_rules . . . 62μs Presentation 019: helpers longest_common_subword/replace_subword . . . 259μs Presentation 020: helpers redundant_rule . . . 5660μs Presentation 021: helpers shortlex_compare_concat . . . 11μs Presentation 022: helpers remove_trivial_rules . . . 64μs Presentation 023: helpers replace_subword (existing, replacement) . . . 51μs Presentation 024: helpers longest_rule . . . 101μs Presentation 025: helpers longest_rule_length . . . 91μs Presentation 026: helpers remove_redundant_generators . . . 105μs Presentation 027: helpers reverse . . . 21μs Presentation 028: in_alphabet . . . 21μs Presentation 029: replace_subword with empty word . . . 21μs Presentation 030: helpers replace_word . . . 37μs Presentation 031: clear . . . 11μ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 . . . 1011μs Runner 002: run_for . . . 192ms Runner 003: run_for . . . 25ms Runner 004: started . . . 1028μ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 . . . 25μs SchreierSims 001: trivial perm. group (degree 1) . . . 64μs SchreierSims 002: trivial perm. group (degree 2) . . . 27μs SchreierSims 003: trivial perm. group (degree 500) . . . 341μs SchreierSims 004: symmetric perm. group (degree 5) . . . 47μs SchreierSims 005: symmetric perm. group (degree 8) . . . 44μs SchreierSims 006: symmetric perm. group (degree 9) . . . 49μs SchreierSims 007: alternating perm. group (degree 12) . . . 76μs SchreierSims 008: symmetric perm. group (degree 16) . . . 334μs SchreierSims 009: alternating perm. group (degree 15) . . . 180μs SchreierSims 010: alternating perm. group (degree 16) . . . 372μs SchreierSims 011: dihedral perm. group (order 10) . . . 30μs SchreierSims 012: dihedral perm. group (order 200) . . . 2362μs SchreierSims 013: perm. group T (order 12) . . . 30μs SchreierSims 014: quaternion perm. group (order 8) . . . 33μs SchreierSims 015: perm. group (order 84129611558952960) . . . 295ms SchreierSims 016: perm. group SL(3, 5) (order 372000) . . . 1437μs SchreierSims 017: perm. group PSL(4, 8) (order 34558531338240) . . . 116ms SchreierSims 018: perm. Mathieu group M11 (order 7920) . . . 94μs SchreierSims 019: perm. Mathieu group M24 (order 244823040) . . . 248μs SchreierSims 020: perm. Janko Group J1 (order 175560) . . . 3352μs SchreierSims 021: perm. Hall-Janko group (order 604800) . . . 466μs SchreierSims 022: perm. Hall-Janko group (alt.) (order 604800) . . . 30ms SchreierSims 023: perm. Conway group Co3 (order 495766656000) . . . 9051μs SchreierSims 024: perm. Conway group Co3 (alt.) (order 49576 [...] . . . 18ms SchreierSims 025: perm. Suzuki group (order 448345497600) . . . 88ms SchreierSims 027: perm. Held group (order 4030387200) . . . 143ms 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) . . . 59μs SchreierSims 031: perm. group C3 x D8 x A5 (order 1440) . . . 58μs SchreierSims 032: perm. group GL(4, 3) (order 24261120) . . . 619μs SchreierSims 033: perm. group PSL(3, 7) (order 1876896) . . . 728μs SchreierSims 037: symmetric perm. group (degree 5) . . . 27μs SchreierSims 038: alternating perm. group (degree 17) . . . 3537μs SchreierSims 039: exceptions . . . 86μs SchreierSims 040: exceptions . . . 45μs SchreierSims 041: trivial group . . . 30μs SchreierSims 042: A17 bug . . . 3116μs SchreierSims 043: orbits_lookup test . . . 497μs SchreierSims 044: transversal_element and inversal_element test . . . 1284μs SchreierSimsHelper 001: trivial perm. group intersection (de [...] . . . 17μs SchreierSimsHelper 002: trivial perm. group intersection (de [...] . . . 23μs SchreierSimsHelper 003: cyclic group intersection (degree 13) . . . 26μs SchreierSimsHelper 004: D10 and Z5 intersection . . . 21μs SchreierSimsHelper 005: D8 and Q8 intersection . . . 18μs SchreierSimsHelper 006: primitive on 8 points intersection . . . 27μs SchreierSimsHelper 007: primitive on 8 points intersection ( [...] . . . 24μs SchreierSimsHelper 008: A13 and PGL(2, 11) intersection . . . 132μs SchreierSimsHelper 009: A13 and PGL(2, 11) intersection (swa [...] . . . 124μs SchreierSimsHelper 012: 3^3:13 and 3^3.2.A(4) intersection . . . 147μs SchreierSimsHelper 015: 3^3(S(4) x 2) and ASL(3, 3) intersection . . . 304μs SchreierSimsHelper 016: 7^2:3 x Q(8) and 7^2:D(2*6) intersection . . . 393μs SchreierSimsHelper 018: D(2*53) and 53:13 intersection . . . 225μs SchreierSimsHelper 019: 2^6:(7 x D_14) and PSL(2, 6)^2.4 int [...] . . . 1557μs SchreierSimsHelper 020: 2^6:(S_3 x GL(3, 2)) and 2.6:Alt(7) [...] . . . 4780μs SchreierSimsHelper 022: PSL(2, 127) and AGL(1, 2^7) intersection . . . 8416μs SchreierSimsHelper 023: PSL(3, 4).2 and PSL(3, 4).2 (nontriv [...] . . . 1823μs SchreierSimsHelper 024: PSL(3, 4).Sym(3) and PSL(3, 4).2 int [...] . . . 1829μs SchreierSimsHelper 025: 3^4:5:4 and D_16:4 intersection . . . 970μs Sims1 000: fp example 1 . . . 915μs Sims1 001: fp example 2 . . . 1494μs Sims1 002: ToddCoxeter failing example . . . 11ms Sims1 003: ToddCoxeter failing example . . . 558μs Sims1 004: partition_monoid(2) right . . . 4643μs Sims1 006: full_transformation_monoid(3) right . . . 4829μs Sims1 007: full_transformation_monoid(3) left . . . 2722μs Sims1 009: rook_monoid(2, 1) . . . 87μs Sims1 010: symmetric_inverse_monoid(2) from FroidurePin . . . 89μs Sims1 011: symmetric_inverse_monoid(3) . . . 5110μs Sims1 014: temperley_lieb_monoid(3) from presentation . . . 70μs Sims1 015: temperley_lieb_monoid(4) from presentation . . . 555μs Sims1 016: fp semigroup containing given pairs #1 . . . 267μs Sims1 017: fp semigroup containing given pairs #2 . . . 267μs Sims1 018: fp semigroup containing given pairs #3 . . . 408μs Sims1 019: ToddCoxeter failing example . . . 1105μs Sims1 020: fp example 2 . . . 2014μs Sims1 021: exceptions . . . 200μs Sims1 027: from https://mathoverflow.net/questions/423541/ . . . 19ms Sims1 028: from https://mathoverflow.net/questions/423541/ . . . 13ms Sims1 030: presentation with one free generator . . . 174μs Sims1 031: presentation with non-zero index generators . . . 107μs Sims1 032: presentation with empty word . . . 5965μs Sims1 033: constructors . . . 938μs Sims1 034: split_at . . . 176μs Sims1 035: stats . . . 91μs Sims1 036: check iterator requirements . . . 124μs Sims1 040: TransitiveGroup(10, 32) - minimal rep . . . 2820μs Sims1 043: rectangular_band(2, 2) - with and without identity . . . 181μs Sims1 044: trivial group - minimal o.r.c. rep . . . 110μs Sims1 045: right zero semigroup - minimal o.r.c. rep . . . 1943μs Sims1 046: semigroup with faithful non-strictly cyclic actio [...] . . . 690μs Sims1 068: RepOrc . . . 25ms Sims1 069: fp example 1 . . . 366μ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 994μs (181ns 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 . . . 1064μs Sims1 072: symmetric_group(n) for n = 4 . . . 1074μs Sims1 073: corner case no generators + no relations . . . 75μs SmallestInteger 001: . . . 11μs StaticTriVector2 045: all . . . 17μs StaticVector2 043: all . . . 17μs Stephen 000: basic test 1 . . . 201μs Stephen 001: basic test 2 . . . 127μs Stephen 002: full transf monoid . . . 12ms Stephen 003: from step_hen 002 . . . 48μs Stephen 004: from step_hen 003 . . . 145μs Stephen 005: from step_hen 004 . . . 39μs Stephen 006: from step_hen 005 . . . 92μs Stephen 008: C(4) monoid normal form (test_case_knuth_bendix_055) . . . 173μs Stephen 009: C(4) monoid normal form (test_case_gap_smallove [...] . . . 81μs Stephen 010: code coverage . . . 349μs Stephen 011: C(4) monoid normal form (test_case_gap_smallove [...] . . . 226μs Stephen 012: C(4) monoid normal form (test_case_gap_smallove [...] . . . 203μs Stephen 013: C(4) monoid equal to (test_case_gap_smalloverlap_70) . . . 101μs Stephen 014: C(4) monoid normal form (test_case_ex_3_13_14) . . . 275μs Stephen 015: C(4) monoid normal form (test_case_ex_3_15) . . . 323μs Stephen 016: C(4) monoid normal form (test_case_ex_3_16) . . . 250μs Stephen 017: C(4) monoid normal form (test_case_mt_3) . . . 147μs Stephen 018: C(4) monoid normal form (test_case_mt_5) . . . 92μs Stephen 019: C(4) monoid normal form (test_case_mt_6) . . . 289μ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) . . . 135μs Stephen 022: C(4) monoid normal form (test_case_mt_14) . . . 132μs Stephen 023: C(4) monoid normal form (test_case_mt_15) . . . 93μs Stephen 024: C(4) monoid normal form (test_case_mt_16) . . . 106μs Stephen 025: C(4) monoid normal form (test_case_mt_17) . . . 272μs Stephen 026: C(4) monoid normal form (test_case_weak_1) . . . 224μs Stephen 027: C(4) monoid normal form (test_case_weak_2) . . . 147μs Stephen 028: C(4) monoid normal form (test_case_weak_3) . . . 215μs Stephen 029: C(4) monoid normal form (test_case_weak_4) . . . 197μs Stephen 030: C(4) monoid normal form (test_case_weak_5) . . . 100μs Stephen 031: Test behaviour when uninitialised . . . 152μs Suf 005: unite . . . 20μs Suf 007: compress . . . 12μs Suf 011: big chain . . . 13ms Suf 013: empty table . . . 9000ns Suf 015: join . . . 11μs Suf 017: contains . . . 27μs Suf 019: swap . . . 28μs SuffixTree 000: basic tests . . . 62ms SuffixTree 001: maximal_piece_prefix 1 . . . 67μs SuffixTree 002: maximal_piece_prefix 2 . . . 41μs SuffixTree 003: maximal_piece_prefix 3 . . . 250μs SuffixTree 004: number_of_pieces . . . 52μs SuffixTree 005: traverse . . . 30μs SuffixTree 006: tikz . . . 716μs SuffixTree 007: strings . . . 111μs SuffixTree 008: dot . . . 67μs SuffixTree 009: dfs #01 . . . 46μs SuffixTree 010: dfs #02 . . . 43μs SuffixTree 011: dfs #03 . . . 41μs SuffixTree 012: dfs #04 . . . 96μs SuffixTree 013: dfs #05 . . . 92μs SuffixTree 014: dfs #06 . . . 73μs SuffixTree 015: dfs #07 . . . 138μs SuffixTree 016: dfs #08 . . . 93μs SuffixTree 017: dfs #09 . . . 127μs SuffixTree 018: dfs #10 . . . 44μ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 1059μs  -- with HLT + standardise + full lookahead + no save 997μs  -- with HLT + no standardise + partial lookahead + no save 997μs  -- with HLT + standardise + partial lookahead + no save 995μs  -- with HLT + no standardise + full lookahead + save 1021μs  -- with HLT + standardise + full lookahead + save 1023μs  -- with HLT + no standardise + partial lookahead + save 1007μs  -- with HLT + standardise + partial lookahead + save 1006μs  -- with Felsch + no standardisation 1005μs  -- with Felsch + standardisation 1000μs  -- with random strategy 1013μs  -- with Rc style + full lookahead 1020μs  -- with Rc style + partial lookahead 998μs  -- with R/C style 990μs  -- with CR style 999μs  -- with Cr style 1007μs ToddCoxeter 001: small 2-sided congruence . . .  -- with HLT + no standardise + full lookahead + no save 5109μs  -- with HLT + standardise + full lookahead + no save 5091μs  -- with HLT + no standardise + partial lookahead + no save 4980μs  -- with HLT + standardise + partial lookahead + no save 4990μs  -- with HLT + no standardise + full lookahead + save 4978μs  -- with HLT + standardise + full lookahead + save 4988μs  -- with HLT + no standardise + partial lookahead + save 4986μs  -- with HLT + standardise + partial lookahead + save 5334μs  -- with Felsch + no standardisation 4977μs  -- with Felsch + standardisation 5002μs  -- with random strategy 5121μs  -- with Rc style + full lookahead 4996μs  -- with Rc style + partial lookahead 4967μs  -- with R/C style 4992μs  -- with CR style 4925μs  -- with Cr style 4905μs ToddCoxeter 003: constructed from FroidurePin . . .  -- with Felsch + no standardisation 241ms  -- with Felsch + standardisation 233ms  -- with HLT + no standardise + full lookahead + no save 82ms  -- with HLT + standardise + full lookahead + no save 82ms  -- with HLT + no standardise + partial lookahead + no save 81ms  -- with HLT + standardise + partial lookahead + no save 81ms  -- with HLT + no standardise + full lookahead + save 238ms  -- with HLT + standardise + full lookahead + save 239ms  -- 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 236ms  -- with R/C style 88ms  -- with CR style 235ms  -- with Cr style 236ms ToddCoxeter 004: 2-sided congruence from FroidurePin . . .  -- with HLT + no standardise + full lookahead + no save 221μs  -- with HLT + standardise + full lookahead + no save 182μs  -- with HLT + no standardise + partial lookahead + no save 174μs  -- with HLT + standardise + partial lookahead + no save 171μs  -- with HLT + save (throws) 214μs  -- with Felsch (throws) 182μs  -- with random strategy 173μs ToddCoxeter 005: non-trivial two-sided from relations . . .  -- with HLT + no standardise + full lookahead + no save 59μs  -- with HLT + standardise + full lookahead + no save 43μs  -- with HLT + no standardise + partial lookahead + no save 40μs  -- with HLT + standardise + partial lookahead + no save 42μs  -- with HLT + no standardise + full lookahead + save 55μs  -- with HLT + standardise + full lookahead + save 51μs  -- with HLT + no standardise + partial lookahead + save 50μs  -- with HLT + standardise + partial lookahead + save 50μs  -- with Felsch + no standardisation 49μs  -- with Felsch + standardisation 45μs  -- with random strategy 49μs  -- with Rc style + full lookahead 42μs  -- with Rc style + partial lookahead 41μs  -- with R/C style 41μs  -- with CR style 47μs  -- with Cr style 46μs ToddCoxeter 006: small right cong. on free semigroup . . .  -- with HLT + no standardise + full lookahead + no save 41μs  -- with HLT + standardise + full lookahead + no save 33μ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 37μs  -- with HLT + no standardise + partial lookahead + save 36μs  -- with HLT + standardise + partial lookahead + save 36μs  -- with Felsch + no standardisation 36μs  -- with Felsch + standardisation 41μs  -- with random strategy 40μs  -- with Rc style + full lookahead 34μs  -- with Rc style + partial lookahead 33μs  -- with R/C style 34μs  -- with CR style 37μs  -- with Cr style 37μ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 37μs  -- with HLT + no standardise + partial lookahead + no save 36μs  -- with HLT + standardise + partial lookahead + no save 38μs  -- with HLT + no standardise + full lookahead + save 48μs  -- with HLT + standardise + full lookahead + save 41μs  -- with HLT + no standardise + partial lookahead + save 40μs  -- with HLT + standardise + partial lookahead + save 40μs  -- with Felsch + no standardisation 40μs  -- with Felsch + standardisation 41μs  -- with random strategy 44μs  -- with Rc style + full lookahead 39μs  -- with Rc style + partial lookahead 38μs  -- with R/C style 38μs  -- with CR style 42μs  -- with Cr style 44μs ToddCoxeter 008: for small fp semigroup . . .  -- with HLT + no standardise + full lookahead + no save 38μs  -- with HLT + standardise + full lookahead + no save 33μs  -- with HLT + no standardise + partial lookahead + no save 32μs  -- with HLT + standardise + partial lookahead + no save 31μs  -- with HLT + no standardise + full lookahead + save 37μs  -- with HLT + standardise + full lookahead + save 36μs  -- with HLT + no standardise + partial lookahead + save 36μs  -- with HLT + standardise + partial lookahead + save 36μs  -- with Felsch + no standardisation 36μs  -- with Felsch + standardisation 37μs  -- with random strategy 40μs  -- with Rc style + full lookahead 39μs  -- with Rc style + partial lookahead 35μs  -- with R/C style 35μs  -- with CR style 38μs  -- with Cr style 38μ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 204μs  -- with HLT + standardise + partial lookahead + no save 213μs  -- with HLT + no standardise + full lookahead + save 523μs  -- with HLT + standardise + full lookahead + save 506μs  -- with HLT + no standardise + partial lookahead + save 506μs  -- with HLT + standardise + partial lookahead + save 497μs  -- with Felsch + no standardisation 457μs  -- with Felsch + standardisation 436μs  -- with random strategy 218μs  -- with Rc style + full lookahead 213μs  -- with Rc style + partial lookahead 211μs  -- with R/C style 216μs  -- with CR style 457μs  -- with Cr style 451μs ToddCoxeter 010: left congruence on transformation semigroup . . .  -- with HLT + no standardise + full lookahead + no save 239μs  -- with HLT + standardise + full lookahead + no save 240μs  -- with HLT + no standardise + partial lookahead + no save 227μs  -- with HLT + standardise + partial lookahead + no save 233μs  -- with HLT + no standardise + full lookahead + save 554μs  -- with HLT + standardise + full lookahead + save 540μs  -- with HLT + no standardise + partial lookahead + save 528μs  -- with HLT + standardise + partial lookahead + save 547μs  -- with Felsch + no standardisation 492μs  -- with Felsch + standardisation 463μs  -- with random strategy 594μs  -- with Rc style + full lookahead 257μs  -- with Rc style + partial lookahead 253μs  -- with R/C style 272μs  -- with CR style 501μs  -- with Cr style 491μs ToddCoxeter 011: right cong. trans. semigroup . . .  -- with HLT + no standardise + full lookahead + no save 248μs  -- with HLT + standardise + full lookahead + no save 247μs  -- with HLT + no standardise + partial lookahead + no save 234μs  -- with HLT + standardise + partial lookahead + no save 241μs  -- with HLT + no standardise + full lookahead + save 536μs  -- with HLT + standardise + full lookahead + save 529μs  -- with HLT + no standardise + partial lookahead + save 509μs  -- with HLT + standardise + partial lookahead + save 525μs  -- with Felsch + no standardisation 427μs  -- with Felsch + standardisation 419μs  -- with random strategy 275μs  -- with Rc style + full lookahead 262μs  -- with Rc style + partial lookahead 257μs  -- with R/C style 279μs  -- with CR style 428μs  -- with Cr style 413μs ToddCoxeter 012: trans. semigroup (size 88) . . .  -- with HLT + no standardise + full lookahead + no save 164μs  -- with HLT + standardise + full lookahead + no save 155μs  -- with HLT + no standardise + partial lookahead + no save 157μs  -- with HLT + standardise + partial lookahead + no save 150μs  -- with HLT + save (throws) 164μs  -- with Felsch (throws) 161μs  -- with random strategy 163μs ToddCoxeter 013: left cong. on trans. semigroup (size 88) . . .  -- with HLT + no standardise + full lookahead + no save 202μs  -- with HLT + standardise + full lookahead + no save 206μs  -- with HLT + no standardise + partial lookahead + no save 197μs  -- with HLT + standardise + partial lookahead + no save 200μs  -- with HLT + no standardise + full lookahead + save 522μs  -- with HLT + standardise + full lookahead + save 510μs  -- with HLT + no standardise + partial lookahead + save 497μs  -- with HLT + standardise + partial lookahead + save 509μs  -- with Felsch + no standardisation 462μs  -- with Felsch + standardisation 429μs  -- with random strategy 237μs  -- with Rc style + full lookahead 224μs  -- with Rc style + partial lookahead 226μs  -- with R/C style 242μs  -- with CR style 474μs  -- with Cr style 456μs ToddCoxeter 014: right cong. on trans. semigroup (size 88) . . .  -- with HLT + no standardise + full lookahead + no save 220μs  -- with HLT + standardise + full lookahead + no save 218μs  -- with HLT + no standardise + partial lookahead + no save 204μs  -- with HLT + standardise + partial lookahead + no save 209μs  -- with HLT + no standardise + full lookahead + save 504μs  -- with HLT + standardise + full lookahead + save 495μs  -- with HLT + no standardise + partial lookahead + save 483μs  -- with HLT + standardise + partial lookahead + save 484μs  -- with Felsch + no standardisation 381μs  -- with Felsch + standardisation 397μs  -- with random strategy 245μs  -- with Rc style + full lookahead 236μs  -- with Rc style + partial lookahead 229μs  -- with R/C style 248μs  -- with CR style 397μs  -- with Cr style 383μs ToddCoxeter 015: finite fp-semigroup, dihedral group of order 6 . . .  -- with HLT + no standardise + full lookahead + no save 77μs  -- with HLT + standardise + full lookahead + no save 64μs  -- with HLT + no standardise + partial lookahead + no save 62μs  -- with HLT + standardise + partial lookahead + no save 62μs  -- with HLT + no standardise + full lookahead + save 83μs  -- with HLT + standardise + full lookahead + save 81μs  -- with HLT + no standardise + partial lookahead + save 78μs  -- with HLT + standardise + partial lookahead + save 76μs  -- with Felsch + no standardisation 72μs  -- with Felsch + standardisation 69μs  -- with random strategy 73μs  -- with Rc style + full lookahead 63μs  -- with Rc style + partial lookahead 60μs  -- with R/C style 61μs  -- with CR style 73μs  -- with Cr style 70μ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 73μs  -- with HLT + no standardise + partial lookahead + no save 61μs  -- with HLT + standardise + partial lookahead + no save 63μs  -- with HLT + no standardise + full lookahead + save 134μs  -- with HLT + standardise + full lookahead + save 129μs  -- with HLT + no standardise + partial lookahead + save 131μs  -- with HLT + standardise + partial lookahead + save 140μs  -- with Felsch + no standardisation 126μs  -- with Felsch + standardisation 114μs  -- with random strategy 118μs  -- with Rc style + full lookahead 68μs  -- with Rc style + partial lookahead 64μs  -- with R/C style 69μs  -- with CR style 112μs  -- with Cr style 110μs ToddCoxeter 017: finite fp-semigroup, size 16 . . .  -- with HLT + no standardise + full lookahead + no save 189μs  -- with HLT + standardise + full lookahead + no save 171μs  -- with HLT + no standardise + partial lookahead + no save 165μs  -- with HLT + standardise + partial lookahead + no save 166μs  -- with HLT + no standardise + full lookahead + save 330μs  -- with HLT + standardise + full lookahead + save 326μs  -- with HLT + no standardise + partial lookahead + save 323μs  -- with HLT + standardise + partial lookahead + save 326μs  -- with Felsch + no standardisation 301μs  -- with Felsch + standardisation 300μs  -- with random strategy 324μs  -- with Rc style + full lookahead 170μs  -- with Rc style + partial lookahead 164μs  -- with R/C style 168μs  -- with CR style 305μs  -- with Cr style 300μs ToddCoxeter 018: test lookahead . . .  -- with HLT + no standardise + full lookahead + no save 274μs  -- with HLT + standardise + full lookahead + no save 261μs  -- with HLT + no standardise + partial lookahead + no save 236μs  -- with HLT + standardise + partial lookahead + no save 250μs  -- with HLT + no standardise + full lookahead + save 441μs  -- with HLT + standardise + full lookahead + save 429μs  -- with HLT + no standardise + partial lookahead + save 416μs  -- with HLT + standardise + partial lookahead + save 422μs ToddCoxeter 019: non-trivial left cong. from semigroup . . .  -- with HLT + no standardise + full lookahead + no save 152μs  -- with HLT + standardise + full lookahead + no save 150μs  -- with HLT + no standardise + partial lookahead + no save 138μs  -- with HLT + standardise + partial lookahead + no save 141μs  -- with HLT + save (throws) 152μs  -- with Felsch (throws) 150μs  -- with random strategy 154μ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 20μs  -- with HLT + standardise + full lookahead + save 19μs  -- with HLT + no standardise + partial lookahead + save 19μs  -- with HLT + standardise + partial lookahead + save 18μs  -- with Felsch + no standardisation 18μ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 52μs  -- with HLT + standardise + full lookahead + no save 31μs  -- with HLT + no standardise + partial lookahead + no save 30μs  -- with HLT + standardise + partial lookahead + no save 32μs  -- with HLT + no standardise + full lookahead + save 30μs  -- with HLT + standardise + full lookahead + save 30μs  -- with HLT + no standardise + partial lookahead + save 30μs  -- with HLT + standardise + partial lookahead + save 30μs  -- with Felsch + no standardisation 30μs  -- with Felsch + standardisation 30μs  -- with random strategy 29μs ToddCoxeter 022: stellar_monoid S3 . . .  -- with HLT + no standardise + full lookahead + no save 135μs  -- with HLT + standardise + full lookahead + no save 125μs  -- with HLT + no standardise + partial lookahead + no save 119μs  -- with HLT + standardise + partial lookahead + no save 123μs  -- with HLT + no standardise + full lookahead + save 218μs  -- with HLT + standardise + full lookahead + save 208μs  -- with HLT + no standardise + partial lookahead + save 197μs  -- with HLT + standardise + partial lookahead + save 200μs  -- with Felsch + no standardisation 194μs  -- with Felsch + standardisation 183μs  -- with random strategy 188μs  -- with Rc style + full lookahead 126μs  -- with Rc style + partial lookahead 128μs  -- with R/C style 125μs  -- with CR style 186μs  -- with Cr style 183μs ToddCoxeter 023: finite semigroup (size 5) . . .  -- with HLT + no standardise + full lookahead + no save 42μs  -- with HLT + standardise + full lookahead + no save 33μs  -- with HLT + no standardise + partial lookahead + no save 31μs  -- with HLT + standardise + partial lookahead + no save 39μs  -- with HLT + no standardise + full lookahead + save 54μs  -- with HLT + standardise + full lookahead + save 57μs  -- with HLT + no standardise + partial lookahead + save 412μs  -- with HLT + standardise + partial lookahead + save 63μs  -- with Felsch + no standardisation 50μs  -- with Felsch + standardisation 53μs  -- with random strategy 37μs  -- with Rc style + full lookahead 33μs  -- with Rc style + partial lookahead 35μs  -- with R/C style 32μs  -- with CR style 51μs  -- with Cr style 51μs ToddCoxeter 024: exceptions . . .  -- with HLT + no standardise + full lookahead + no save 209μs  -- with HLT + standardise + full lookahead + no save 187μs  -- with HLT + no standardise + partial lookahead + no save 184μs  -- with HLT + standardise + partial lookahead + no save 184μs  -- with HLT + no standardise + full lookahead + save 193μs  -- with HLT + standardise + full lookahead + save 188μs  -- with HLT + no standardise + partial lookahead + save 193μs  -- with HLT + standardise + partial lookahead + save 188μs  -- with Felsch + no standardisation 187μs  -- with Felsch + standardisation 187μs  -- with random strategy 187μs  -- with Rc style + full lookahead 194μs  -- with Rc style + partial lookahead 186μs  -- with R/C style 185μs  -- with CR style 189μs  -- with Cr style 193μs ToddCoxeter 025: obviously infinite . . .  -- with HLT + no standardise + full lookahead + no save 43μs  -- with HLT + standardise + full lookahead + no save 36μs  -- with HLT + no standardise + partial lookahead + no save 36μs  -- with HLT + standardise + partial lookahead + no save 35μs  -- with HLT + no standardise + full lookahead + save 36μs  -- with HLT + standardise + full lookahead + save 35μs  -- with HLT + no standardise + partial lookahead + save 36μs  -- with HLT + standardise + partial lookahead + save 35μs  -- with Felsch + no standardisation 35μs  -- with Felsch + standardisation 35μs  -- with random strategy 37μs ToddCoxeter 026: exceptions . . .  -- with HLT + no standardise + full lookahead + no save 105μs  -- with HLT + standardise + full lookahead + no save 88μs  -- with HLT + no standardise + partial lookahead + no save 87μs  -- with HLT + standardise + partial lookahead + no save 85μs  -- with HLT + no standardise + full lookahead + save 93μs  -- with HLT + standardise + full lookahead + save 91μs  -- with HLT + no standardise + partial lookahead + save 91μs  -- with HLT + standardise + partial lookahead + save 91μs  -- with Felsch + no standardisation 90μs  -- with Felsch + standardisation 91μs  -- with random strategy 98μs  -- with Rc style + full lookahead 88μs  -- with Rc style + partial lookahead 87μs  -- with R/C style 87μs  -- with CR style 90μs  -- with Cr style 91μs ToddCoxeter 027: empty . . . 50μs ToddCoxeter 028: congruence of fpsemigroup::ToddCoxeter . . .  -- with HLT + no standardise + full lookahead + no save 174μs  -- with HLT + standardise + full lookahead + no save 124μs  -- with HLT + no standardise + partial lookahead + no save 127μs  -- with HLT + standardise + partial lookahead + no save 122μs  -- with HLT + save (throws) 128μs  -- with Felsch (throws) 124μs  -- with random strategy 126μs  -- with HLT + no standardise + full lookahead + save 120μs  -- with HLT + standardise + full lookahead + save 122μs  -- with HLT + no standardise + partial lookahead + save 121μs  -- with HLT + standardise + partial lookahead + save 120μs  -- with Felsch + no standardisation 120μs  -- with Felsch + standardisation 120μs  -- with Rc style + full lookahead 115μs  -- with Rc style + partial lookahead 119μs  -- with R/C style 114μs  -- with CR style 118μs  -- with Cr style 117μs ToddCoxeter 029: !KnuthBendix.started() . . .  -- with HLT + no standardise + full lookahead + no save and 2-sided 79μs  -- with HLT + standardise + full lookahead + no save and 2-sided 59μs  -- with HLT + no standardise + partial lookahead + no save and 2-sided 56μs  -- with HLT + standardise + partial lookahead + no save and 2-sided 55μs  -- with HLT + no standardise + full lookahead + save and 2-sided 62μs  -- with HLT + standardise + full lookahead + save and 2-sided 61μs  -- with HLT + no standardise + partial lookahead + save and 2-sided 61μs  -- with HLT + standardise + partial lookahead + save and 2-sided 68μs  -- with Felsch + no standardisation and 2-sided 60μs  -- with Felsch + standardisation and 2-sided 58μs  -- with random strategy and 2-sided 63μs  -- with HLT + no standardise + full lookahead + no save and left 74μs  -- with HLT + standardise + full lookahead + no save and left 57μs  -- with HLT + no standardise + partial lookahead + no save and left 54μs  -- with HLT + standardise + partial lookahead + no save and left 54μs  -- with HLT + no standardise + full lookahead + save and left 64μs  -- with HLT + standardise + full lookahead + save and left 62μs  -- with HLT + no standardise + partial lookahead + save and left 63μs  -- with HLT + standardise + partial lookahead + save and left 72μs  -- with Felsch + no standardisation and left 62μs  -- with Felsch + standardisation and left 62μs  -- with random strategy and left 59μs  -- with HLT + no standardise + full lookahead + no save and right 59μs  -- with HLT + standardise + full lookahead + no save and right 54μs  -- with HLT + no standardise + partial lookahead + no save and right 53μs  -- with HLT + standardise + partial lookahead + no save and right 54μs  -- with HLT + no standardise + full lookahead + save and right 61μs  -- with HLT + standardise + full lookahead + save and right 62μs  -- with HLT + no standardise + partial lookahead + save and right 61μs  -- with HLT + standardise + partial lookahead + save and right 62μs  -- with Felsch + no standardisation and right 64μs  -- with Felsch + standardisation and right 62μs  -- with random strategy and right 64μs ToddCoxeter 030: KnuthBendix.finished() . . .  -- with HLT + no standardise + full lookahead + no save and 2-sided 156μs  -- with HLT + standardise + full lookahead + no save and 2-sided 133μs  -- with HLT + no standardise + partial lookahead + no save and 2-sided 126μs  -- with HLT + standardise + partial lookahead + no save and 2-sided 124μs  -- with HLT + no standardise + full lookahead + save and 2-sided 129μs  -- with HLT + standardise + full lookahead + save and 2-sided 139μs  -- with HLT + no standardise + partial lookahead + save and 2-sided 129μs  -- with HLT + standardise + partial lookahead + save and 2-sided 127μs  -- with Felsch + no standardisation and 2-sided 126μs  -- with Felsch + standardisation and 2-sided 124μs  -- with random strategy and 2-sided 128μs  -- with HLT + no standardise + full lookahead + no save and left 154μs  -- with HLT + standardise + full lookahead + no save and left 128μs  -- with HLT + no standardise + partial lookahead + no save and left 128μs  -- with HLT + standardise + partial lookahead + no save and left 126μs  -- with HLT + no standardise + full lookahead + save and left 159μs  -- with HLT + standardise + full lookahead + save and left 192μs  -- with HLT + no standardise + partial lookahead + save and left 150μs  -- with HLT + standardise + partial lookahead + save and left 136μs  -- with Felsch + no standardisation and left 187μs  -- with Felsch + standardisation and left 167μs  -- with random strategy and left 139μs  -- with HLT + no standardise + full lookahead + no save and right 154μs  -- with HLT + standardise + full lookahead + no save and right 172μs  -- with HLT + no standardise + partial lookahead + no save and right 172μs  -- with HLT + standardise + partial lookahead + no save and right 170μs  -- with HLT + no standardise + full lookahead + save and right 177μs  -- with HLT + standardise + full lookahead + save and right 177μs  -- with HLT + no standardise + partial lookahead + save and right 177μs  -- with HLT + standardise + partial lookahead + save and right 176μs  -- with Felsch + no standardisation and right 165μs  -- with Felsch + standardisation and right 166μs  -- with random strategy and right 195μs ToddCoxeter 031: KnuthBendix.finished() . . .  -- with HLT + no standardise + full lookahead + no save and 2-sided 115μs  -- with HLT + standardise + full lookahead + no save and 2-sided 98μs  -- with HLT + no standardise + partial lookahead + no save and 2-sided 104μs  -- with HLT + standardise + partial lookahead + no save and 2-sided 95μs  -- with HLT + no standardise + full lookahead + save and 2-sided 102μs  -- with HLT + standardise + full lookahead + save and 2-sided 101μs  -- with HLT + no standardise + partial lookahead + save and 2-sided 98μs  -- with HLT + standardise + partial lookahead + save and 2-sided 98μs  -- with Felsch + no standardisation and 2-sided 93μs  -- with Felsch + standardisation and 2-sided 98μs  -- with random strategy and 2-sided 101μs  -- with Rc style + full lookahead and 2-sided 100μs  -- with Rc style + partial lookahead and 2-sided 97μs  -- with R/C style and 2-sided 92μs  -- with CR style and 2-sided 94μs  -- with Cr style and 2-sided 99μs  -- with HLT + no standardise + full lookahead + no save and left 103μs  -- with HLT + standardise + full lookahead + no save and left 97μs  -- with HLT + no standardise + partial lookahead + no save and left 96μs  -- with HLT + standardise + partial lookahead + no save and left 95μs  -- with HLT + no standardise + full lookahead + save and left 107μs  -- with HLT + standardise + full lookahead + save and left 105μs  -- with HLT + no standardise + partial lookahead + save and left 103μs  -- with HLT + standardise + partial lookahead + save and left 102μs  -- with Felsch + no standardisation and left 100μs  -- with Felsch + standardisation and left 100μs  -- with random strategy and left 109μs  -- with Rc style + full lookahead and left 103μs  -- with Rc style + partial lookahead and left 101μs  -- with R/C style and left 96μs  -- with CR style and left 102μs  -- with Cr style and left 110μs  -- with HLT + no standardise + full lookahead + no save and right 120μs  -- with HLT + standardise + full lookahead + no save and right 98μs  -- with HLT + no standardise + partial lookahead + no save and right 95μs  -- with HLT + standardise + partial lookahead + no save and right 94μs  -- with HLT + no standardise + full lookahead + save and right 103μs  -- with HLT + standardise + full lookahead + save and right 102μs  -- with HLT + no standardise + partial lookahead + save and right 102μs  -- with HLT + standardise + partial lookahead + save and right 102μs  -- with Felsch + no standardisation and right 99μs  -- with Felsch + standardisation and right 100μs  -- with random strategy and right 108μs  -- with Rc style + full lookahead and right 105μs  -- with Rc style + partial lookahead and right 101μs  -- with R/C style and right 96μs  -- with CR style and right 101μs  -- with Cr style and right 107μs ToddCoxeter 032: prefill . . . 143μs ToddCoxeter 033: congruence of ToddCoxeter . . .  -- with HLT + no standardise + full lookahead + no save 51μs  -- with HLT + standardise + full lookahead + no save 40μs  -- with HLT + no standardise + partial lookahead + no save 39μs  -- with HLT + standardise + partial lookahead + no save 37μs  -- with HLT + no standardise + full lookahead + save 48μs  -- with HLT + standardise + full lookahead + save 43μs  -- with HLT + no standardise + partial lookahead + save 42μ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 124μs  -- with HLT + standardise + full lookahead + no save 114μs  -- with HLT + no standardise + partial lookahead + no save 109μs  -- with HLT + standardise + partial lookahead + no save 108μs  -- with HLT + save (throws) 123μs  -- with Felsch (throws) 122μs  -- with random strategy 123μs ToddCoxeter 035: congruence on FpSemigroup . . .  -- with HLT + no standardise + full lookahead + no save 339μs  -- with HLT + standardise + full lookahead + no save 287μs  -- with HLT + no standardise + partial lookahead + no save 268μs  -- with HLT + standardise + partial lookahead + no save 265μs  -- with HLT + no standardise + full lookahead + save 322μs  -- with HLT + standardise + full lookahead + save 323μs  -- with HLT + no standardise + partial lookahead + save 332μs  -- with HLT + standardise + partial lookahead + save 327μs  -- with Felsch + no standardisation 316μs  -- with Felsch + standardisation 311μs  -- with random strategy 315μs  -- with Rc style + full lookahead 265μs  -- with Rc style + partial lookahead 262μs  -- with R/C style 261μs  -- with CR style 316μs  -- with Cr style 319μs ToddCoxeter 036: exceptions . . . 83μs ToddCoxeter 037: copy constructor . . . 38μs ToddCoxeter 038: simplify . . . 119μs ToddCoxeter 039: stylic_monoid . . . 680ms ToddCoxeter 041: some finite classes . . . 508μs ToddCoxeter 043: symmetric_group(7, Coxeter + Moser) . . . 122ms ToddCoxeter 044: Option exceptions . . . 76μs ToddCoxeter 045: Options operator<< . . . 690μs ToddCoxeter 046: Easdown-East-FitzGerald DualSymInv(5) . . .  -- with HLT + no standardise + full lookahead + no save 143ms  -- with HLT + standardise + full lookahead + no save 158ms  -- with HLT + no standardise + partial lookahead + no save 143ms  -- with HLT + standardise + partial lookahead + no save 157ms  -- with HLT + no standardise + full lookahead + save 110ms  -- with HLT + standardise + full lookahead + save 111ms  -- with HLT + no standardise + partial lookahead + save 110ms  -- with HLT + standardise + partial lookahead + save 110ms  -- with Felsch + no standardisation 122ms  -- with Felsch + standardisation 121ms  -- with random strategy 148ms  -- with R/C style 150ms  -- with Rc style + full lookahead 126ms  -- with Rc style + partial lookahead 126ms ToddCoxeter 047: uniform_block_bijection_monoid(3) (FitzGerald) . . .  -- with HLT + no standardise + full lookahead + no save 91μs  -- with HLT + standardise + full lookahead + no save 81μs  -- with HLT + no standardise + partial lookahead + no save 76μs  -- with HLT + standardise + partial lookahead + no save 76μs  -- with HLT + no standardise + full lookahead + save 163μs  -- with HLT + standardise + full lookahead + save 152μs  -- with HLT + no standardise + partial lookahead + save 148μs  -- with HLT + standardise + partial lookahead + save 146μs  -- with Felsch + no standardisation 125μs  -- with Felsch + standardisation 120μs  -- with random strategy 125μs  -- with R/C style 120μs  -- with Rc style + full lookahead 76μs  -- with Rc style + partial lookahead 75μs ToddCoxeter 048: stellar_monoid(7) (Gay-Hivert) . . . 131ms 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 24ms  -- with HLT + standardise + partial lookahead + no save 24ms  -- with HLT + no standardise + full lookahead + save 43ms  -- with HLT + standardise + full lookahead + save 45ms  -- with HLT + no standardise + partial lookahead + save 44ms  -- with HLT + standardise + partial lookahead + save 46ms  -- with Felsch + no standardisation 52ms  -- with Felsch + standardisation 51ms  -- with random strategy 53ms  -- with R/C style 27ms  -- with Rc style + full lookahead 55ms  -- with Rc style + partial lookahead 55ms ToddCoxeter 050: singular_brauer_monoid(6) (Maltcev + Mazorchuk) . . . 477ms 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 5217μs ToddCoxeter 053: temperley_lieb_monoid(10) (East) . . . 30ms ToddCoxeter 063: add_rule . . .  -- with HLT + no standardise + full lookahead + no save 91μs  -- with HLT + standardise + full lookahead + no save 67μs  -- with HLT + no standardise + partial lookahead + no save 68μs  -- with HLT + standardise + partial lookahead + no save 62μs  -- with HLT + no standardise + full lookahead + save 68μs  -- with HLT + standardise + full lookahead + save 66μs  -- with HLT + no standardise + partial lookahead + save 64μs  -- with HLT + standardise + partial lookahead + save 64μs  -- with Felsch + no standardisation 64μs  -- with Felsch + standardisation 64μs  -- with random strategy 63μs  -- with Rc style + full lookahead 62μs  -- with Rc style + partial lookahead 64μs  -- with R/C style 61μs  -- with CR style 64μs  -- with Cr style 64μs  -- with R/C + Felsch lookahead 67μs  -- with HLT + Felsch lookahead + save 64μs  -- with Cr + small number of f_defs 68μs  -- with Rc + small number of deductions 64μs  -- with Felsch + v2 + no preferred defs 64μs  -- with Felsch + v2 + immediate no stack 64μs  -- with Felsch + v1 + immediate no stack 64μs  -- with Felsch + v1 + immediate yes stack 67μs  -- with large collapse 60μs ToddCoxeter 064: (from kbmag/standalone/kb_data/s4) (KnuthB [...] . . .  -- with HLT + no standardise + full lookahead + no save 248μs ToddCoxeter 066: test validate . . . 70μs ToddCoxeter 067: add_rules after construct. from semigroup . . .  -- with HLT + no standardise + full lookahead + no save 371μs  -- with HLT + standardise + full lookahead + no save 345μs  -- with HLT + no standardise + partial lookahead + no save 337μs  -- with HLT + standardise + partial lookahead + no save 344μs  -- with HLT + save (throws) 352μs  -- with Felsch (throws) 332μs  -- with random strategy 311μs ToddCoxeter 068: Sym(5) from Chapter 3, Proposition 1.1 in NR . . .  -- with Deduction policy == purge_from_top 581μs  -- with Deduction policy == purge_all 534μs  -- with Deduction policy == discard_all_if_no_space 556μs  -- with HLT + no standardise + full lookahead + no save 641μs  -- with HLT + standardise + full lookahead + no save 874μs  -- with HLT + no standardise + partial lookahead + no save 617μs  -- with HLT + standardise + partial lookahead + no save 867μs  -- with HLT + no standardise + full lookahead + save 946μs  -- with HLT + standardise + full lookahead + save 922μs  -- with HLT + no standardise + partial lookahead + save 886μs  -- with HLT + standardise + partial lookahead + save 902μs  -- with Felsch + no standardisation 604μs  -- with Felsch + standardisation 569μs  -- with random strategy 607μs  -- with Rc style + full lookahead 1279μs  -- with Rc style + partial lookahead 1259μs  -- with R/C style 682μs  -- with CR style 623μs  -- with Cr style 593μs ToddCoxeter 069: Chapter 7, Theorem 3.6 in NR (size 243) . . .  -- with HLT + no standardise + full lookahead + no save 291μs  -- with HLT + standardise + full lookahead + no save 325μs  -- with HLT + no standardise + partial lookahead + no save 279μs  -- with HLT + standardise + partial lookahead + no save 312μs  -- with HLT + no standardise + full lookahead + save 381μs  -- with HLT + standardise + full lookahead + save 390μs  -- with HLT + no standardise + partial lookahead + save 362μs  -- with HLT + standardise + partial lookahead + save 386μs  -- with Felsch + no standardisation 1871μs  -- with Felsch + standardisation 1877μs  -- with random strategy 413μs  -- with Rc style + full lookahead 308μs  -- with Rc style + partial lookahead 310μs  -- with R/C style 306μs  -- with CR style 1880μs  -- with Cr style 2039μs ToddCoxeter 070: finite semigroup (size 99) . . .  -- with HLT + no standardise + full lookahead + no save 128μs  -- with HLT + standardise + full lookahead + no save 129μs  -- with HLT + no standardise + partial lookahead + no save 111μs  -- with HLT + standardise + partial lookahead + no save 122μs  -- with HLT + no standardise + full lookahead + save 181μs  -- with HLT + standardise + full lookahead + save 174μs  -- with HLT + no standardise + partial lookahead + save 162μs  -- with HLT + standardise + partial lookahead + save 171μs  -- with Felsch + no standardisation 342μs  -- with Felsch + standardisation 330μs  -- with random strategy 344μs  -- with Rc style + full lookahead 135μs  -- with Rc style + partial lookahead 120μs  -- with R/C style 126μs  -- with CR style 330μs  -- with Cr style 331μs ToddCoxeter 080: KnuthBendix 098 . . .  -- with HLT + no standardise + full lookahead + no save 420ms  -- with HLT + standardise + full lookahead + no save 443ms  -- with HLT + no standardise + partial lookahead + no save 420ms  -- with HLT + standardise + partial lookahead + no save 447ms  -- with HLT + no standardise + full lookahead + save 314ms  -- with HLT + standardise + full lookahead + save 308ms  -- with HLT + no standardise + partial lookahead + save 304ms  -- with HLT + standardise + partial lookahead + save 320ms  -- with Felsch + no standardisation 296ms  -- with Felsch + standardisation 295ms  -- with random strategy 315ms  -- with Rc style + full lookahead 291ms  -- with Rc style + partial lookahead 301ms  -- with R/C style 421ms  -- with CR style 295ms  -- with Cr style 294ms 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 80μs  -- with HLT + standardise + partial lookahead + no save 80μs  -- with HLT + no standardise + full lookahead + save 96μs  -- with HLT + standardise + full lookahead + save 87μs  -- with HLT + no standardise + partial lookahead + save 86μs  -- with HLT + standardise + partial lookahead + save 90μs  -- with Felsch + no standardisation 94μs  -- with Felsch + standardisation 91μs  -- with random strategy 78μs  -- with Rc style + full lookahead 75μs  -- with Rc style + partial lookahead 73μs  -- with R/C style 76μs  -- with CR style 91μs  -- with Cr style 94μs ToddCoxeter 085: Renner monoid type D4 (Gay-Hivert), q = 1 . . .  -- with HLT + no standardise + full lookahead + no save 174ms  -- 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 112ms  -- with HLT + no standardise + partial lookahead + save 112ms  -- with HLT + standardise + partial lookahead + save 112ms  -- with Felsch + no standardisation 113ms  -- with Felsch + standardisation 112ms  -- with random strategy 111ms  -- with Rc style + full lookahead 111ms  -- with Rc style + partial lookahead 112ms  -- with R/C style 112ms  -- with CR style 112ms  -- with Cr style 111ms ToddCoxeter 086: trivial semigroup . . . 255ms 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 12ms  -- with HLT + standardise + full lookahead + save 12ms  -- with HLT + no standardise + partial lookahead + save 12ms  -- with HLT + standardise + partial lookahead + save 12ms  -- 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 116μs  -- with HLT + standardise + full lookahead + no save 104μs  -- with HLT + no standardise + partial lookahead + no save 103μs  -- with HLT + standardise + partial lookahead + no save 100μs  -- with HLT + no standardise + full lookahead + save 121μs  -- with HLT + standardise + full lookahead + save 119μs  -- with HLT + no standardise + partial lookahead + save 121μs  -- with HLT + standardise + partial lookahead + save 116μs  -- with random strategy 107μs  -- with Felsch + no standardisation 115μs  -- with Felsch + standardisation 113μs ToddCoxeter 095: ACE --- A5-C5 . . .  -- with HLT + no standardise + full lookahead + no save 120μs  -- with HLT + standardise + full lookahead + no save 128μs  -- with HLT + no standardise + partial lookahead + no save 112μs  -- with HLT + standardise + partial lookahead + no save 126μs  -- with HLT + no standardise + full lookahead + save 157μs  -- with HLT + standardise + full lookahead + save 153μs  -- with HLT + no standardise + partial lookahead + save 152μs  -- with HLT + standardise + partial lookahead + save 148μs  -- with random strategy 126μs  -- with Felsch + no standardisation 138μs  -- with Felsch + standardisation 135μs ToddCoxeter 096: ACE --- A5 . . .  -- with HLT + no standardise + full lookahead + no save 310μs  -- with HLT + standardise + full lookahead + no save 280μs  -- with HLT + no standardise + partial lookahead + no save 182μs  -- with HLT + standardise + partial lookahead + no save 221μs  -- with HLT + no standardise + full lookahead + save 321μs  -- with HLT + standardise + full lookahead + save 318μs  -- with HLT + no standardise + partial lookahead + save 310μs  -- with HLT + standardise + partial lookahead + save 315μs  -- with random strategy 331μs  -- with Felsch + no standardisation 256μs  -- with Felsch + standardisation 245μs ToddCoxeter 098: relation ordering . . .  -- with Felsch + no standardisation 506μs  -- with Felsch + standardisation 483μs  -- with HLT + no standardise + full lookahead + no save 282μs  -- with HLT + standardise + full lookahead + no save 276μs  -- with HLT + no standardise + partial lookahead + no save 272μs  -- with HLT + standardise + partial lookahead + no save 270μs  -- with HLT + no standardise + full lookahead + save 501μs  -- with HLT + standardise + full lookahead + save 501μs  -- with HLT + no standardise + partial lookahead + save 505μs  -- with HLT + standardise + partial lookahead + save 506μs  -- with random strategy 314μs ToddCoxeter 099: short circuit size in obviously infinite . . . 18μs ToddCoxeter 101: http://brauer.maths.qmul.ac.uk/Atlas/spor/M [...] . . . 476ms ToddCoxeter 108: http://brauer.maths.qmul.ac.uk/Atlas/lin/L3 [...] . . . 423ms ToddCoxeter 111: partition_monoid(2) . . . 76μs ToddCoxeter 112: brauer_monoid(4) (Kudryavtseva + Mazorchuk) . . . 347μs ToddCoxeter 113: symmetric_inverse_monoid . . . 13ms ToddCoxeter 116: symmetric_group(7, Burnside + Miller) . . . 346ms UF 001: constructor by size . . . 14μs UF 002: copy constructor . . . 19μs UF 003: find . . . 15μs action_digraph_helper 015: detail::to_string . . . 23μs action_digraph_helper 016: make . . . 61μs action_digraph_helper 017: is_connected . . . 167μs action_digraph_helper 018: is_strictly_cyclic . . . 9445μs follow_path 012: 20 node path . . . 21μs fpsemi-examples 002: full_transformation_monoid author except . . . 37μs fpsemi-examples 003: full_transformation_monoid degree except . . . 21μs fpsemi-examples 005: partial_transformation_monoid author except . . . 29μs fpsemi-examples 006: partial_transformation_monoid degree except . . . 22μs fpsemi-examples 007: symmetric_inverse_monoid(5) . . . 13ms fpsemi-examples 008: symmetric_group auth except . . . 27μs fpsemi-examples 009: symmetric_group degree except . . . 19μs fpsemi-examples 010: symmetric_group(6) Burnside + Miller . . . 19ms fpsemi-examples 011: dual_symmetric_inverse_monoid(5) . . . 145ms fpsemi-examples 012: dual_symmetric_inverse_monoid auth except . . . 32μs fpsemi-examples 013: dual_symmetric_inverse_monoid degree except . . . 19μs fpsemi-examples 014: uniform_block_bijection_monoid(5) . . . 9569μs fpsemi-examples 015: uniform_block_bijection_monoid auth except . . . 27μs fpsemi-examples 016: uniform_block_bijection_monoid degree except . . . 19μ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) . . . 33μs fpsemi-examples 023: fibonacci_semigroup(2, 5) . . . 80μs fpsemi-examples 024: temperley_lieb_monoid(10) . . . 37ms fpsemi-examples 025: singular_brauer_monoid(6) . . . 335ms fpsemi-examples 026: orientation_preserving_monoid(6) . . . 20ms fpsemi-examples 027: orientation_reversing_monoid(5) . . . 5100μs fpsemi-examples 028: chinese_monoid(3) . . . 132μs fpsemi-examples 029: plactic_monoid(3) . . . 98μs fpsemi-examples 030: stylic_monoid(3) . . . 815μs fpsemi-examples 031: symmetric_group(6) Carmichael . . . 11ms fpsemi-examples 032: symmetric_group(6) Moore . . . 8443μs fpsemi-examples 033: symmetric_group(6) Coxeter + Moser . . . 4556μs fpsemi-examples 034: test for the rook monoid . . . 231μs fpsemi-examples 035: alternating_group(7) Moore . . . 18ms fpsemi-examples 036: alternating_group auth except . . . 51μs fpsemi-examples 037: alternating_group degree except . . . 21μs fpsemi-examples 038: partial_transformation_monoid(3) Machine . . . 275μs fpsemi-examples 039: chinese_monoid degree except . . . 58μs fpsemi-examples 040: monogenic_semigroup degree except . . . 32μs fpsemi-examples 041: rectangular_band degree except . . . 44μs fpsemi-examples 042: stellar_monoid degree except . . . 25μs fpsemi-examples 043: plactic_monoid degree except . . . 25μs fpsemi-examples 044: stylic_monoid degree except . . . 25μs fpsemi-examples 045: temperley_lieb_monoid degree except . . . 33μs fpsemi-examples 046: singular_brauer_monoid degree except . . . 33μs fpsemi-examples 047: orientation_preserving_monoid degree except . . . 35μs fpsemi-examples 048: orientation_reversing_monoid degree except . . . 34μs fpsemi-examples 049: test default values . . . 3252μs fpsemi-examples 052: not_symmetric_group(5) Guralnick + Kant [...] . . . 2355μs fpsemi-examples 053: order_preserving_monoid(5) . . . 496μs fpsemi-examples 055: order_preserving_monoid degree except . . . 42μs fpsemi-examples 056: cyclic_inverse_monoid(4) Fernandes 1 . . . 212μ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) . . . 221μs fpsemi-examples 060: order_preserving_cyclic_inverse_monoid(10) . . . 23ms fpsemi-examples 061: cyclic_inverse_monoid degree except . . . 68μs fpsemi-examples 062: cyclic_inverse_monoid author except . . . 31μs fpsemi-examples 063: order_preserving_monoid degree except . . . 34μs freeband_equal_to 001: . . . 930μs is_acyclic 000: 2-cycle . . . 11μs is_acyclic 001: 1-cycle . . . 10μs is_acyclic 002: multi-digraph . . . 13μs is_acyclic 003: complete digraph 100 . . . 90μs is_acyclic 004: acyclic digraph with 20000 nodes . . . 2063μs is_acyclic 006: for a node . . . 856μs is_acyclic 007: for a node . . . 17μs is_reachable 008: acyclic 20 node digraph . . . 81μs is_reachable 009: 100 node path . . . 9682μs is_reachable 010: 100 node cycle . . . 9134μs is_reachable 011: 20 node clique . . . 374μs last_node_on_path_nc 014: 20 node path . . . 14μs make 000: from FroidurePin . . . 453μs make 001: from FroidurePin and alphabet . . . 559μs make 002: presentation from presentation . . . 215μs make 003: presentation from presentation and alphabet . . . 49μs make> 000: from ActionDigraph . . . 1418μs make> 001: from ActionDigraph (exceptions) . . . 44μs number_of_words 001: . . . 41μs silo 000: alphabet: a, min: 0, max: 10 . . . 38μs silo 001: corner cases . . . 26μs silo 002: alphabet: ab, min: 1, max: 4 . . . 41μs silo 003: alphabet: abc, min: 0, max: 13 . . . 91ms silo 004: code coverage . . . 29μs sislo 005: alphabet: a, min: 0, max: 10 . . . 39μs sislo 006: corner cases . . . 78μs sislo 007: alphabet: ab, min: 1, max: 4 . . . 89μs sislo 008: alphabet: abc, min: 0, max: 13 . . . 90ms sislo 009: code coverage . . . 28μs string 000: detail::is_suffix . . . 11μs string 001: detail::is_prefix . . . 12μs string 002: detail::maximum_common_suffix . . . 12μs string 003: detail::group_digits . . . 20μs string_to_word 002: . . . 13μs validate_label 013: 20 node path . . . 49μs wilo 001: corner cases . . . 39μs wilo 002: letters: 2, min: 1, max: 4 . . . 35μs wilo 003: letters: 2, min: 1, max: 4 . . . 57μs wilo 004: letters: 3, min: 0, max: 10 . . . 14ms wilo 005: letters: 3, min: 0, max: 13 . . . 163ms wilo 006: forward iterator requirements . . . 160ms wilo 007: more corner cases . . . 55μs wilo 008: starting at a given word 1 . . . 151μs wilo 009: starting at a given word 2 . . . 19μs wilo 010: code coverage . . . 18μs wislo 000: n: 2, min; 1, max: 4 . . . 24μs wislo 001: corner cases . . . 40μs wislo 002: n: 3, min; 0, max: 10 . . . 4694μs wislo 003: n: 3, min; 0, max: 13 . . . 158ms wislo 004: lex + sort . . . 447ms wislo 005: code coverage . . . 27μs =============================================================================== All tests passed (1289717 assertions in 1173 test cases) >>> libsemigroups: Entering fakeroot... make[1]: Entering directory '/home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.5.1' ./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' /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: /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/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.2 || { rm -f libsemigroups.so.2 && ln -s libsemigroups.so.2.0.0 libsemigroups.so.2; }; }) libtool: install: (cd /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib && { ln -s -f libsemigroups.so.2.0.0 libsemigroups.so || { rm -f libsemigroups.so && ln -s libsemigroups.so.2.0.0 libsemigroups.so; }; }) libtool: install: /usr/bin/install -c .libs/libsemigroups.lai /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/libsemigroups.la libtool: install: /usr/bin/install -c .libs/libsemigroups.a /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/libsemigroups.a libtool: install: chmod 644 /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/libsemigroups.a libtool: install: ranlib /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/libsemigroups.a libtool: warning: remember to run 'libtool --finish /usr/lib' make[1]: Leaving directory '/home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.5.1' >>> 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.5.1-r0 pc:eigen3 pc:fmt pkgconfig >>> libsemigroups-dev*: Package size: 2.0 MB >>> libsemigroups-dev*: Compressing data... >>> libsemigroups-dev*: Create checksum... >>> libsemigroups-dev*: Create libsemigroups-dev-2.5.1-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.5.1-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.5.1-r0.apk >>> libsemigroups: Build complete at Sun, 25 Dec 2022 23:45:59 +0000 elapsed time 0h 3m 53s >>> libsemigroups: Cleaning up srcdir >>> libsemigroups: Cleaning up pkgdir >>> libsemigroups: Uninstalling dependencies... (1/4) Purging .makedepends-libsemigroups (20221225.234208) (2/4) Purging eigen-dev (3.4.0-r7) (3/4) Purging fmt-dev (9.1.0-r0) (4/4) Purging fmt (9.1.0-r0) OK: 391 MiB in 98 packages >>> libsemigroups: Updating the testing/x86_64 repository index... >>> libsemigroups: Signing the index...