>>> libsemigroups: Building testing/libsemigroups 2.4.0-r0 (using abuild 3.10.0-r0) started Wed, 07 Dec 2022 12:15:13 +0000 >>> libsemigroups: Checking sanity of /home/buildozer/aports/testing/libsemigroups/APKBUILD... >>> libsemigroups: Analyzing dependencies... >>> libsemigroups: Installing for build: build-base eigen-dev fmt-dev (1/4) Installing eigen-dev (3.4.0-r6) (2/4) Installing fmt (9.1.0-r0) (3/4) Installing fmt-dev (9.1.0-r0) (4/4) Installing .makedepends-libsemigroups (20221207.121514) OK: 404 MiB in 102 packages >>> libsemigroups: Cleaning up srcdir >>> libsemigroups: Cleaning up pkgdir >>> libsemigroups: Fetching https://distfiles.alpinelinux.org/distfiles/edge/libsemigroups-2.4.0.tar.gz % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 0 146 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 curl: (22) The requested URL returned error: 404 >>> libsemigroups: Fetching https://github.com/libsemigroups/libsemigroups/releases/download/v2.4.0/libsemigroups-2.4.0.tar.gz % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 2406k 100 2406k 0 0 2734k 0 --:--:-- --:--:-- --:--:-- 7291k >>> libsemigroups: Fetching https://distfiles.alpinelinux.org/distfiles/edge/libsemigroups-2.4.0.tar.gz >>> libsemigroups: Checking sha512sums... libsemigroups-2.4.0.tar.gz: OK >>> libsemigroups: Unpacking /var/cache/distfiles/edge/libsemigroups-2.4.0.tar.gz... tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' checking build system type... x86_64-alpine-linux-musl checking host system type... x86_64-alpine-linux-musl checking target system type... x86_64-alpine-linux-musl checking for a BSD-compatible install... /usr/bin/install -c checking whether build environment is sane... yes checking for a race-free mkdir -p... ./config/install-sh -c -d checking for gawk... no checking for mawk... no checking for nawk... no checking for awk... awk checking whether make sets $(MAKE)... yes checking whether make supports nested variables... yes checking how to create a pax tar archive... gnutar checking whether make supports nested variables... (cached) yes checking whether make supports the include directive... yes (GNU style) checking for x86_64-alpine-linux-musl-gcc... gcc checking whether the C compiler works... yes checking for C compiler default output file name... a.out checking for suffix of executables... checking whether we are cross compiling... no checking for suffix of object files... o checking whether the compiler supports GNU C... yes checking whether gcc accepts -g... yes checking for gcc option to enable C11 features... none needed checking whether gcc understands -c and -o together... yes checking dependency style of gcc... gcc3 checking for x86_64-alpine-linux-musl-ar... no checking for x86_64-alpine-linux-musl-lib... no checking for x86_64-alpine-linux-musl-link... no checking for ar... ar checking the archiver (ar) interface... ar checking whether the compiler supports GNU C++... yes checking whether g++ accepts -g... yes checking for g++ option to enable C++11 features... none needed checking dependency style of g++... gcc3 checking whether g++ supports C++14 features by default... yes checking for a sed that does not truncate output... /bin/sed checking how to run the C preprocessor... gcc -E checking for grep that handles long lines and -e... /bin/grep checking for egrep... /bin/grep -E checking whether gcc is Clang... no checking whether pthreads work with "-pthread" and "-lpthread"... yes checking for joinable pthread attribute... PTHREAD_CREATE_JOINABLE checking whether more special flags are required for pthreads... no checking for PTHREAD_PRIO_INHERIT... yes checking for pthread_create in -lpthread... yes checking whether to enable maintainer-specific portions of Makefiles... no checking whether ln -s works... yes checking how to print strings... printf checking for a sed that does not truncate output... (cached) /bin/sed checking for fgrep... /bin/grep -F checking for ld used by gcc... /usr/x86_64-alpine-linux-musl/bin/ld checking if the linker (/usr/x86_64-alpine-linux-musl/bin/ld) is GNU ld... yes checking for BSD- or MS-compatible name lister (nm)... /usr/bin/nm -B checking the name lister (/usr/bin/nm -B) interface... BSD nm checking the maximum length of command line arguments... 98304 checking how to convert x86_64-alpine-linux-musl file names to x86_64-alpine-linux-musl format... func_convert_file_noop checking how to convert x86_64-alpine-linux-musl file names to toolchain format... func_convert_file_noop checking for /usr/x86_64-alpine-linux-musl/bin/ld option to reload object files... -r checking for x86_64-alpine-linux-musl-file... no checking for file... file checking for x86_64-alpine-linux-musl-objdump... no checking for objdump... objdump checking how to recognize dependent libraries... pass_all checking for x86_64-alpine-linux-musl-dlltool... no checking for dlltool... no checking how to associate runtime and link libraries... printf %s\n checking for x86_64-alpine-linux-musl-ar... ar checking for archiver @FILE support... @ checking for x86_64-alpine-linux-musl-strip... no checking for strip... strip checking for x86_64-alpine-linux-musl-ranlib... no checking for ranlib... ranlib checking command to parse /usr/bin/nm -B output from gcc object... ok checking for sysroot... no checking for a working dd... /bin/dd checking how to truncate binary pipes... /bin/dd bs=4096 count=1 checking for x86_64-alpine-linux-musl-mt... no checking for mt... no checking if : is a manifest tool... no checking for stdio.h... yes checking for stdlib.h... yes checking for string.h... yes checking for inttypes.h... yes checking for stdint.h... yes checking for strings.h... yes checking for sys/stat.h... yes checking for sys/types.h... yes checking for unistd.h... yes checking for dlfcn.h... yes checking for objdir... .libs checking if gcc supports -fno-rtti -fno-exceptions... no checking for gcc option to produce PIC... -fPIC -DPIC checking if gcc PIC flag -fPIC -DPIC works... yes checking if gcc static flag -static works... yes checking if gcc supports -c -o file.o... yes checking if gcc supports -c -o file.o... (cached) yes checking whether the gcc linker (/usr/x86_64-alpine-linux-musl/bin/ld -m elf_x86_64) supports shared libraries... yes checking whether -lc should be explicitly linked in... no checking dynamic linker characteristics... GNU/Linux ld.so checking how to hardcode library paths into programs... immediate checking whether stripping libraries is possible... yes checking if libtool supports shared libraries... yes checking whether to build shared libraries... yes checking whether to build static libraries... yes checking how to run the C++ preprocessor... g++ -E checking for ld used by g++... /usr/x86_64-alpine-linux-musl/bin/ld -m elf_x86_64 checking if the linker (/usr/x86_64-alpine-linux-musl/bin/ld -m elf_x86_64) is GNU ld... yes checking whether the g++ linker (/usr/x86_64-alpine-linux-musl/bin/ld -m elf_x86_64) supports shared libraries... yes checking for g++ option to produce PIC... -fPIC -DPIC checking if g++ PIC flag -fPIC -DPIC works... yes checking if g++ static flag -static works... yes checking if g++ supports -c -o file.o... yes checking if g++ supports -c -o file.o... (cached) yes checking whether the g++ linker (/usr/x86_64-alpine-linux-musl/bin/ld -m elf_x86_64) supports shared libraries... yes checking dynamic linker characteristics... (cached) GNU/Linux ld.so checking how to hardcode library paths into programs... immediate checking for limits.h... yes checking for stdint.h... (cached) yes checking for stdlib.h... (cached) yes checking for sys/time.h... yes checking for unistd.h... (cached) yes checking for pthread.h... yes checking for _Bool... yes checking for stdbool.h that conforms to C99... yes checking for inline... inline checking for int64_t... yes checking for size_t... yes checking for uint64_t... yes checking for ptrdiff_t... yes checking size of void *... 8 checking for GNU libc compatible malloc... yes checking for gettimeofday... yes checking for memset... yes checking for pow... yes checking for sqrt... yes checking whether to enable debug mode... no checking whether to enable verbose mode... no checking whether enable compiler warnings... no checking whether to enable stats mode... yes checking whether to build with code coverage support... no checking whether to enable HPCombi... yes checking for ./extern/HPCombi/VERSION... yes checking the required version of HPCombi... 0.0.6 checking the version of HPCombi that's present... 0.0.6 checking whether C++ compiler accepts -march=avx... no configure: WARNING: flag -march=avx not supported, HPCombi is disabled checking for x86_64-alpine-linux-musl-pkg-config... no checking for pkg-config... /usr/bin/pkg-config checking pkg-config is at least version 0.9.0... yes checking whether to enable fmt... yes checking whether to use external fmt... yes checking for fmt >= 8.1.1... yes checking whether to enable eigen... yes checking whether to use external eigen... yes checking for eigen3 >= 3.3.7... yes checking for __builtin_popcountl... yes checking for __builtin_clzll... yes checking whether to try and use __builtin_popcntl... yes checking whether to try and use __builtin_clzlll... yes checking that generated files are newer than configure... done configure: creating ./config.status config.status: creating Makefile config.status: creating libsemigroups.pc config.status: creating config/config.h config.status: executing depfiles commands config.status: executing include/libsemigroups/config.hpp commands config.status: creating include/libsemigroups/config.hpp - prefix LIBSEMIGROUPS for config/config.h defines config.status: executing libtool commands CXX src/libsemigroups_la-bipart.lo CXX src/libsemigroups_la-bmat8.lo CXX src/libsemigroups_la-cong-intf.lo CXX src/libsemigroups_la-cong-pair.lo CXX src/libsemigroups_la-cong.lo CXX src/libsemigroups_la-constants.lo CXX src/libsemigroups_la-coset.lo CXX src/libsemigroups_la-felsch-tree.lo CXX src/libsemigroups_la-forest.lo CXX src/libsemigroups_la-fpsemi-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-obvinf.lo CXX src/libsemigroups_la-pbr.lo CXX src/libsemigroups_la-race.lo CXX src/libsemigroups_la-report.lo CXX src/libsemigroups_la-runner.lo CXX src/libsemigroups_la-siso.lo CXX src/libsemigroups_la-string.lo CXX src/libsemigroups_la-suffix-tree.lo CXX src/libsemigroups_la-timer.lo CXX src/libsemigroups_la-todd-coxeter.lo CXX src/libsemigroups_la-wilo.lo CXX src/libsemigroups_la-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.4.0' CXX tests/bmat-data.o CXX tests/test-action.o CXX tests/test-bipart.o CXX tests/test-bitset.o CXX tests/test-bmat8.o CXX tests/test-cong-intf.o CXX tests/test-cong-pair.o CXX tests/test-cong.o CXX tests/test-constants.o CXX tests/test-containers.o CXX tests/test-digraph-helper.o CXX tests/test-digraph.o CXX tests/test-felsch-tree.o CXX tests/test-forest.o CXX tests/test-fpsemi.o CXX tests/test-fpsemi-examples-1.o CXX tests/test-fpsemi-examples-2.o CXX tests/test-fpsemi-examples-3.o CXX tests/test-fpsemi-intf.o CXX tests/test-freeband.o CXX tests/test-froidure-pin-bipart.o CXX tests/test-froidure-pin-bmat8.o CXX tests/test-froidure-pin-bmat.o CXX tests/test-froidure-pin-integers.o CXX tests/test-froidure-pin-intmat.o CXX tests/test-froidure-pin-intpairs.o CXX tests/test-froidure-pin-matrix.o CXX tests/test-froidure-pin-maxplustrunc.o CXX tests/test-froidure-pin-pbr.o CXX tests/test-froidure-pin-pperm.o CXX tests/test-froidure-pin-projmaxplus.o CXX tests/test-froidure-pin-transf.o CXX tests/test-hpcombi.o CXX tests/test-iterator.o CXX tests/test-kambites.o CXX tests/test-kbe.o CXX tests/test-knuth-bendix-1.o CXX tests/test-knuth-bendix-2.o CXX tests/test-knuth-bendix-3.o CXX tests/test-knuth-bendix-4.o CXX tests/test-knuth-bendix-5.o CXX tests/test-knuth-bendix-6.o CXX tests/test-konieczny-bmat8-1.o CXX tests/test-konieczny-bmat8-2.o CXX tests/test-konieczny-bmat8-3.o CXX tests/test-konieczny-transf.o CXX tests/test-konieczny-bmat.o CXX tests/test-konieczny-pperm.o CXX tests/test-main.o CXX tests/test-make-present.o CXX tests/test-make-froidure-pin.o CXX tests/test-matrix.o CXX tests/test-obvinf.o CXX tests/test-order.o CXX tests/test-pbr.o CXX tests/test-pool.o CXX tests/test-present.o CXX tests/test-race.o CXX tests/test-runner.o CXX tests/test-schreier-sims.o CXX tests/test-schreier-sims-helper.o CXX tests/test-sims1.o CXX tests/test-siso.o CXX tests/test-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.4.0/include/libsemigroups/string-view.hpp:327:18, inlined from 'void libsemigroups::detail::StringViewContainer::ShortOrLong::destroy_long()' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.4.0/include/libsemigroups/string-view.hpp:573:22, inlined from 'libsemigroups::detail::StringViewContainer::~StringViewContainer()' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.4.0/include/libsemigroups/string-view.hpp:162:29, inlined from 'libsemigroups::detail::StringViewContainer::~StringViewContainer()' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.4.0/include/libsemigroups/string-view.hpp:158:7, inlined from 'libsemigroups::detail::MultiStringView::~MultiStringView()' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.4.0/include/libsemigroups/string-view.hpp:587:11, inlined from 'void libsemigroups::____C_A_T_C_H____T_E_S_T____26()' at tests/test-string-view.cpp:529:3: /usr/include/c++/12.2.1/bits/stl_vector.h:730:22: warning: '*(std::vector >*)((char*)&mm + offsetof(libsemigroups::detail::MultiStringView, libsemigroups::detail::MultiStringView::_container.libsemigroups::detail::StringViewContainer::_data)).std::vector::.std::_Vector_base >::_M_impl.std::_Vector_base >::_Vector_impl::.std::_Vector_base >::_Vector_impl_data::_M_start' may be used uninitialized [-Wmaybe-uninitialized] 730 | std::_Destroy(this->_M_impl._M_start, this->_M_impl._M_finish, | ~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 731 | _M_get_Tp_allocator()); | ~~~~~~~~~~~~~~~~~~~~~~ tests/test-string-view.cpp: In function 'void libsemigroups::____C_A_T_C_H____T_E_S_T____26()': tests/test-string-view.cpp:527:21: note: 'mm' declared here 527 | MultiStringView mm(s); | ^~ In destructor 'std::_Vector_base<_Tp, _Alloc>::~_Vector_base() [with _Tp = libsemigroups::detail::StringView; _Alloc = std::allocator]', inlined from 'std::vector<_Tp, _Alloc>::~vector() [with _Tp = libsemigroups::detail::StringView; _Alloc = std::allocator]' at /usr/include/c++/12.2.1/bits/stl_vector.h:733:7, inlined from 'libsemigroups::detail::StringViewContainer::Long::~Long()' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.4.0/include/libsemigroups/string-view.hpp:327:18, inlined from 'void libsemigroups::detail::StringViewContainer::ShortOrLong::destroy_long()' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.4.0/include/libsemigroups/string-view.hpp:573:22, inlined from 'libsemigroups::detail::StringViewContainer::~StringViewContainer()' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.4.0/include/libsemigroups/string-view.hpp:162:29, inlined from 'libsemigroups::detail::StringViewContainer::~StringViewContainer()' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.4.0/include/libsemigroups/string-view.hpp:158:7, inlined from 'libsemigroups::detail::MultiStringView::~MultiStringView()' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.4.0/include/libsemigroups/string-view.hpp:587:11, inlined from 'void libsemigroups::____C_A_T_C_H____T_E_S_T____26()' at tests/test-string-view.cpp:529:3: /usr/include/c++/12.2.1/bits/stl_vector.h:367:31: warning: '*(std::_Vector_base >*)((char*)&mm + offsetof(libsemigroups::detail::MultiStringView, libsemigroups::detail::MultiStringView::_container.libsemigroups::detail::StringViewContainer::_data)).std::_Vector_base >::_M_impl.std::_Vector_base >::_Vector_impl::.std::_Vector_base >::_Vector_impl_data::_M_end_of_storage' may be used uninitialized [-Wmaybe-uninitialized] 367 | _M_impl._M_end_of_storage - _M_impl._M_start); | ~~~~~~~~^~~~~~~~~~~~~~~~~ tests/test-string-view.cpp: In function 'void libsemigroups::____C_A_T_C_H____T_E_S_T____26()': tests/test-string-view.cpp:527:21: note: 'mm' declared here 527 | MultiStringView mm(s); | ^~ In file included from /usr/include/c++/12.2.1/string:47, from tests/catch.hpp:475: In constructor '__gnu_cxx::__normal_iterator<_Iterator, _Container>::__normal_iterator(const _Iterator&) [with _Iterator = const libsemigroups::detail::StringView*; _Container = std::vector]', inlined from 'std::vector<_Tp, _Alloc>::const_iterator std::vector<_Tp, _Alloc>::end() const [with _Tp = libsemigroups::detail::StringView; _Alloc = std::allocator]' at /usr/include/c++/12.2.1/bits/stl_vector.h:899:16, inlined from 'bool std::vector<_Tp, _Alloc>::empty() const [with _Tp = libsemigroups::detail::StringView; _Alloc = std::allocator]' at /usr/include/c++/12.2.1/bits/stl_vector.h:1084:30, inlined from 'bool libsemigroups::detail::StringViewContainer::Long::empty() const' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.4.0/include/libsemigroups/string-view.hpp:372:30, inlined from 'bool libsemigroups::detail::StringViewContainer::empty() const' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.4.0/include/libsemigroups/string-view.hpp:450:35, inlined from 'bool libsemigroups::detail::MultiStringView::empty() const' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.4.0/include/libsemigroups/string-view.hpp:791:32, inlined from 'libsemigroups::detail::MultiStringView::const_iterator libsemigroups::detail::MultiStringView::cbegin() const' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.4.0/include/libsemigroups/string-view.hpp:920:18, inlined from 'void libsemigroups::____C_A_T_C_H____T_E_S_T____28()' at tests/test-string-view.cpp:537:34: /usr/include/c++/12.2.1/bits/stl_iterator.h:1073:9: warning: 'm' may be used uninitialized [-Wmaybe-uninitialized] 1073 | : _M_current(__i) { } | ^~~~~~~~~~~~~~~ tests/test-string-view.cpp: In function 'void libsemigroups::____C_A_T_C_H____T_E_S_T____28()': tests/test-string-view.cpp:536:21: note: 'm' declared here 536 | MultiStringView m(s.cbegin() + 3, s.begin() + 6); | ^ In constructor '__gnu_cxx::__normal_iterator<_Iterator, _Container>::__normal_iterator(const _Iterator&) [with _Iterator = const libsemigroups::detail::StringView*; _Container = std::vector]', inlined from 'std::vector<_Tp, _Alloc>::const_iterator std::vector<_Tp, _Alloc>::begin() const [with _Tp = libsemigroups::detail::StringView; _Alloc = std::allocator]' at /usr/include/c++/12.2.1/bits/stl_vector.h:879:16, inlined from 'bool std::vector<_Tp, _Alloc>::empty() const [with _Tp = libsemigroups::detail::StringView; _Alloc = std::allocator]' at /usr/include/c++/12.2.1/bits/stl_vector.h:1084:21, inlined from 'bool libsemigroups::detail::StringViewContainer::Long::empty() const' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.4.0/include/libsemigroups/string-view.hpp:372:30, inlined from 'bool libsemigroups::detail::StringViewContainer::empty() const' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.4.0/include/libsemigroups/string-view.hpp:450:35, inlined from 'bool libsemigroups::detail::MultiStringView::empty() const' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.4.0/include/libsemigroups/string-view.hpp:791:32, inlined from 'libsemigroups::detail::MultiStringView::const_iterator libsemigroups::detail::MultiStringView::cbegin() const' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.4.0/include/libsemigroups/string-view.hpp:920:18, inlined from 'void libsemigroups::____C_A_T_C_H____T_E_S_T____28()' at tests/test-string-view.cpp:537:34: /usr/include/c++/12.2.1/bits/stl_iterator.h:1073:9: warning: 'm' may be used uninitialized [-Wmaybe-uninitialized] 1073 | : _M_current(__i) { } | ^~~~~~~~~~~~~~~ tests/test-string-view.cpp: In function 'void libsemigroups::____C_A_T_C_H____T_E_S_T____28()': tests/test-string-view.cpp:536:21: note: 'm' declared here 536 | MultiStringView m(s.cbegin() + 3, s.begin() + 6); | ^ In constructor '__gnu_cxx::__normal_iterator<_Iterator, _Container>::__normal_iterator(const _Iterator&) [with _Iterator = const libsemigroups::detail::StringView*; _Container = std::vector]', inlined from 'std::vector<_Tp, _Alloc>::const_iterator std::vector<_Tp, _Alloc>::cend() const [with _Tp = libsemigroups::detail::StringView; _Alloc = std::allocator]' at /usr/include/c++/12.2.1/bits/stl_vector.h:960:16, inlined from 'size_t libsemigroups::detail::StringViewContainer::Long::size() const' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.4.0/include/libsemigroups/string-view.hpp:348:33, inlined from 'size_t libsemigroups::detail::StringViewContainer::size() const' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.4.0/include/libsemigroups/string-view.hpp:458:34, inlined from 'size_t libsemigroups::detail::MultiStringView::size() const' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.4.0/include/libsemigroups/string-view.hpp:783:31, inlined from 'bool libsemigroups::detail::MultiStringView::operator==(const libsemigroups::detail::MultiStringView&) const' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.4.0/include/libsemigroups/string-view.hpp:969:33, inlined from 'bool Catch::compareEqual(const LhsT&, const RhsT&) [with LhsT = libsemigroups::detail::MultiStringView; RhsT = libsemigroups::detail::MultiStringView]' at tests/catch.hpp:2314:98, inlined from 'const Catch::BinaryExpr Catch::ExprLhs::operator==(const RhsT&) [with RhsT = libsemigroups::detail::MultiStringView; LhsT = const libsemigroups::detail::MultiStringView&]' at tests/catch.hpp:2343:34, inlined from 'void libsemigroups::____C_A_T_C_H____T_E_S_T____10()' at tests/test-string-view.cpp:273:5: /usr/include/c++/12.2.1/bits/stl_iterator.h:1073:9: warning: '((const libsemigroups::detail::StringView* const*)((char*)& + offsetof(libsemigroups::detail::MultiStringView, libsemigroups::detail::MultiStringView::_container.libsemigroups::detail::StringViewContainer::_data)))[1]' may be used uninitialized [-Wmaybe-uninitialized] 1073 | : _M_current(__i) { } | ^~~~~~~~~~~~~~~ tests/test-string-view.cpp: In function 'void libsemigroups::____C_A_T_C_H____T_E_S_T____10()': tests/test-string-view.cpp:273:41: note: '' declared here 273 | REQUIRE(mmmm == MultiStringView("ha")); | ^ In constructor '__gnu_cxx::__normal_iterator<_Iterator, _Container>::__normal_iterator(const _Iterator&) [with _Iterator = const libsemigroups::detail::StringView*; _Container = std::vector]', inlined from 'std::vector<_Tp, _Alloc>::const_iterator std::vector<_Tp, _Alloc>::cbegin() const [with _Tp = libsemigroups::detail::StringView; _Alloc = std::allocator]' at /usr/include/c++/12.2.1/bits/stl_vector.h:950:16, inlined from 'size_t libsemigroups::detail::StringViewContainer::Long::size() const' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.4.0/include/libsemigroups/string-view.hpp:348:33, inlined from 'size_t libsemigroups::detail::StringViewContainer::size() const' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.4.0/include/libsemigroups/string-view.hpp:458:34, inlined from 'size_t libsemigroups::detail::MultiStringView::size() const' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.4.0/include/libsemigroups/string-view.hpp:783:31, inlined from 'bool libsemigroups::detail::MultiStringView::operator==(const libsemigroups::detail::MultiStringView&) const' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.4.0/include/libsemigroups/string-view.hpp:969:33, inlined from 'bool Catch::compareEqual(const LhsT&, const RhsT&) [with LhsT = libsemigroups::detail::MultiStringView; RhsT = libsemigroups::detail::MultiStringView]' at tests/catch.hpp:2314:98, inlined from 'const Catch::BinaryExpr Catch::ExprLhs::operator==(const RhsT&) [with RhsT = libsemigroups::detail::MultiStringView; LhsT = const libsemigroups::detail::MultiStringView&]' at tests/catch.hpp:2343:34, inlined from 'void libsemigroups::____C_A_T_C_H____T_E_S_T____10()' at tests/test-string-view.cpp:273:5: /usr/include/c++/12.2.1/bits/stl_iterator.h:1073:9: warning: '*(const libsemigroups::detail::StringView* const*)((char*)& + offsetof(libsemigroups::detail::MultiStringView, libsemigroups::detail::MultiStringView::_container.libsemigroups::detail::StringViewContainer::_data))' may be used uninitialized [-Wmaybe-uninitialized] 1073 | : _M_current(__i) { } | ^~~~~~~~~~~~~~~ tests/test-string-view.cpp: In function 'void libsemigroups::____C_A_T_C_H____T_E_S_T____10()': tests/test-string-view.cpp:273:41: note: '' declared here 273 | REQUIRE(mmmm == MultiStringView("ha")); | ^ In constructor '__gnu_cxx::__normal_iterator<_Iterator, _Container>::__normal_iterator(const _Iterator&) [with _Iterator = const libsemigroups::detail::StringView*; _Container = std::vector]', inlined from 'std::vector<_Tp, _Alloc>::const_iterator std::vector<_Tp, _Alloc>::cend() const [with _Tp = libsemigroups::detail::StringView; _Alloc = std::allocator]' at /usr/include/c++/12.2.1/bits/stl_vector.h:960:16, inlined from 'size_t libsemigroups::detail::StringViewContainer::Long::size() const' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.4.0/include/libsemigroups/string-view.hpp:348:33, inlined from 'size_t libsemigroups::detail::StringViewContainer::size() const' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.4.0/include/libsemigroups/string-view.hpp:458:34, inlined from 'size_t libsemigroups::detail::MultiStringView::size() const' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.4.0/include/libsemigroups/string-view.hpp:783:31, inlined from 'bool libsemigroups::detail::MultiStringView::operator==(const libsemigroups::detail::MultiStringView&) const' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.4.0/include/libsemigroups/string-view.hpp:969:33, inlined from 'bool Catch::compareEqual(const LhsT&, const RhsT&) [with LhsT = libsemigroups::detail::MultiStringView; RhsT = libsemigroups::detail::MultiStringView]' at tests/catch.hpp:2314:98, inlined from 'const Catch::BinaryExpr Catch::ExprLhs::operator==(const RhsT&) [with RhsT = libsemigroups::detail::MultiStringView; LhsT = const libsemigroups::detail::MultiStringView&]' at tests/catch.hpp:2343:34, inlined from 'void libsemigroups::____C_A_T_C_H____T_E_S_T____8()' at tests/test-string-view.cpp:240:5: /usr/include/c++/12.2.1/bits/stl_iterator.h:1073:9: warning: '((const libsemigroups::detail::StringView* const*)((char*)& + offsetof(libsemigroups::detail::MultiStringView, libsemigroups::detail::MultiStringView::_container.libsemigroups::detail::StringViewContainer::_data)))[1]' may be used uninitialized [-Wmaybe-uninitialized] 1073 | : _M_current(__i) { } | ^~~~~~~~~~~~~~~ tests/test-string-view.cpp: In function 'void libsemigroups::____C_A_T_C_H____T_E_S_T____8()': tests/test-string-view.cpp:240:65: note: '' declared here 240 | REQUIRE(mmmm == MultiStringView("habcdefghijklabcdefghijkla")); | ^ In constructor '__gnu_cxx::__normal_iterator<_Iterator, _Container>::__normal_iterator(const _Iterator&) [with _Iterator = const libsemigroups::detail::StringView*; _Container = std::vector]', inlined from 'std::vector<_Tp, _Alloc>::const_iterator std::vector<_Tp, _Alloc>::cbegin() const [with _Tp = libsemigroups::detail::StringView; _Alloc = std::allocator]' at /usr/include/c++/12.2.1/bits/stl_vector.h:950:16, inlined from 'size_t libsemigroups::detail::StringViewContainer::Long::size() const' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.4.0/include/libsemigroups/string-view.hpp:348:33, inlined from 'size_t libsemigroups::detail::StringViewContainer::size() const' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.4.0/include/libsemigroups/string-view.hpp:458:34, inlined from 'size_t libsemigroups::detail::MultiStringView::size() const' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.4.0/include/libsemigroups/string-view.hpp:783:31, inlined from 'bool libsemigroups::detail::MultiStringView::operator==(const libsemigroups::detail::MultiStringView&) const' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.4.0/include/libsemigroups/string-view.hpp:969:33, inlined from 'bool Catch::compareEqual(const LhsT&, const RhsT&) [with LhsT = libsemigroups::detail::MultiStringView; RhsT = libsemigroups::detail::MultiStringView]' at tests/catch.hpp:2314:98, inlined from 'const Catch::BinaryExpr Catch::ExprLhs::operator==(const RhsT&) [with RhsT = libsemigroups::detail::MultiStringView; LhsT = const libsemigroups::detail::MultiStringView&]' at tests/catch.hpp:2343:34, inlined from 'void libsemigroups::____C_A_T_C_H____T_E_S_T____8()' at tests/test-string-view.cpp:240:5: /usr/include/c++/12.2.1/bits/stl_iterator.h:1073:9: warning: '*(const libsemigroups::detail::StringView* const*)((char*)& + offsetof(libsemigroups::detail::MultiStringView, libsemigroups::detail::MultiStringView::_container.libsemigroups::detail::StringViewContainer::_data))' may be used uninitialized [-Wmaybe-uninitialized] 1073 | : _M_current(__i) { } | ^~~~~~~~~~~~~~~ tests/test-string-view.cpp: In function 'void libsemigroups::____C_A_T_C_H____T_E_S_T____8()': tests/test-string-view.cpp:240:65: note: '' declared here 240 | REQUIRE(mmmm == MultiStringView("habcdefghijklabcdefghijkla")); | ^ In file included from /usr/include/c++/12.2.1/algorithm:61, from tests/test-matrix.cpp:17: In function 'void std::__final_insertion_sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = libsemigroups::StaticRowView*; _Compare = __gnu_cxx::__ops::_Iter_comp_iter >():: >]', inlined from 'void std::__sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = libsemigroups::StaticRowView*; _Compare = __gnu_cxx::__ops::_Iter_comp_iter >():: >]' at /usr/include/c++/12.2.1/bits/stl_algo.h:1940:31, inlined from 'void std::sort(_RAIter, _RAIter, _Compare) [with _RAIter = libsemigroups::StaticRowView*; _Compare = libsemigroups::{anonymous}::test_BMat000 >()::]' at /usr/include/c++/12.2.1/bits/stl_algo.h:4853:18, inlined from 'void libsemigroups::{anonymous}::test_BMat000() [with Mat = libsemigroups::StaticMatrix]' at tests/test-matrix.cpp:166:18: /usr/include/c++/12.2.1/bits/stl_algo.h:1849:32: warning: array subscript 16 is outside array bounds of 'libsemigroups::detail::StaticVector1, 2> [1]' [-Warray-bounds] 1849 | std::__insertion_sort(__first, __first + int(_S_threshold), __comp); | ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ tests/test-matrix.cpp: In function 'void libsemigroups::{anonymous}::test_BMat000() [with Mat = libsemigroups::StaticMatrix]': tests/test-matrix.cpp:160:14: note: at offset 128 into object 'r' of size 24 160 | auto r = matrix_helpers::rows(m); | ^ CXXLD test_all make[1]: Leaving directory '/home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.4.0' ./test_all --use-colour yes --order lex --abort [quick] Filters: [quick] Action 001: row and column basis orbits for BMat8 . . . 99μs Action 002: row and column basis orbits for BMat8 . . . 3596μs Action 003: add generators after enumeration . . . 3402μs Action 004: multipliers for BMat8 row and column orbits . . . 6748μs Action 005: orbits for regular boolean mat monoid 5 . . . 300ms Action 007: partial perm image orbit . . . 257μs Action 008: partial perm image orbit . . . 65ms Action 009: partial perm image orbit . . . 72ms Action 010: partial perm image orbit . . . 74ms Action 011: permutation on integers . . . 31μs Action 012: permutation on sets, arrays . . . 106μs Action 013: permutation on tuples, arrays . . . 11ms Action 014: permutation on sets, vectors . . . 164μs Action 015: permutation on tuples, vectors . . . 18ms Action 016: misc . . . 7544μs Action 017: partial perm image orbit . . . 59μs Action 018: permutation on tuples, arrays (360360) . . . 194ms Action 019: orbits for regular BMat8 monoid 5 with stop/start . . . 296ms Action 021: orbits for regular boolean mat monoid 5 (BMat<5> [...] . . . 376ms ActionDigraph 000: constructor with 1 default arg . . . 23μs ActionDigraph 001: constructor with 0 default args . . . 47μs ActionDigraph 002: add nodes . . . 22μs ActionDigraph 003: add edges . . . 484μs ActionDigraph 004: strongly connected components - cycles . . . 31μs ActionDigraph 005: strongly connected components - no edges . . . 38ms ActionDigraph 006: strongly connected components - disjoint cycles . . . 1916μs ActionDigraph 007: strongly connected components - complete graphs . . . 774μs ActionDigraph 008: exceptions . . . 102μs ActionDigraph 009: spanning forest - complete graphs . . . 4924μs ActionDigraph 010: spanning forest - disjoint cycles . . . 140μs ActionDigraph 011: restrict . . . 12μs ActionDigraph 012: remove_edge_nc . . . 10μs ActionDigraph 013: scc large cycle . . . 18ms ActionDigraph 014: random . . . 32μs ActionDigraph 015: reserve . . . 11μs ActionDigraph 016: default constructors . . . 15μs ActionDigraph 017: scc iterators . . . 1330μs ActionDigraph 018: iterator to edges . . . 676μs ActionDigraph 019: root of scc . . . 354μs ActionDigraph 020: cbegin/end_panislo - 100 node path . . . 1150μs ActionDigraph 021: cbegin/end_pislo . . . 61μs ActionDigraph 022: cbegin/end_pani(s)lo - 100 node cycle . . . 1542μs ActionDigraph 023: cbegin/cend_pilo - tree 14 nodes . . . 80μs ActionDigraph 024: cbegin/end_pstilo - Cayley digraph . . . 260ms ActionDigraph 025: cbegin_pstilo - Tsalakou . . . 413μs ActionDigraph 026: cbegin/end_pstislo - Cayley digraph . . . 249ms ActionDigraph 027: cbegin/end_pstislo - Cayley digraph . . . 239μs ActionDigraph 028: path iterators corner cases . . . 165μs ActionDigraph 029: reverse node iterator . . . 12μs ActionDigraph 030: pstilo corner case . . . 76μs ActionDigraph 031: number_of_paths corner cases . . . 67μs ActionDigraph 032: number_of_paths acyclic digraph . . . 8888μs ActionDigraph 033: number_of_paths binary tree . . . 3545ms ActionDigraph 034: number_of_paths large binary tree . . . 115ms ActionDigraph 035: number_of_paths 400 node random digraph . . . 710μs ActionDigraph 036: number_of_paths 10 node acyclic digraph . . . 56μs ActionDigraph 037: number_of_paths node digraph . . . 5056μs ActionDigraph 038: random/random_acyclic exceptions . . . 126μs ActionDigraph 039: unsafe (next) neighbour . . . 63μs ActionDigraph 040: number_of_egdes incident to a node . . . 67μs ActionDigraph 041: number_of_paths (matrix) . . . 24ms ActionDigraph 042: number_of_paths (matrix) . . . 15μs ActionDigraph 043: swap_edge_nc . . . 11μs ActionDigraph 044: detail::pow for non-square Eigen matrix . . . 21μs ActionDigraph 045: operator<< . . . 16μs Array2 044: all . . . 49μs BMat8 001: transpose . . . 23μs BMat8 002: multiplication . . . 20μs BMat8 003: identity matrix . . . 15μs BMat8 004: random . . . 86μs BMat8 005: call operator . . . 18μs BMat8 006: operator<< . . . 17μs BMat8 007: set . . . 58μs BMat8 008: row space basis . . . 662μs BMat8 009: col space basis . . . 690μs BMat8 010: row space basis . . . 1504μ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 . . . 79μs BMat8 016: operator< . . . 15μs BMat8 017: adapters . . . 21μs BMat8 018: one . . . 11μs Bipartition 009: mem fns 1 . . . 45μs Bipartition 010: hash . . . 9000ns Bipartition 011: mem fns 2 . . . 30μs Bipartition 012: delete/copy . . . 10μs Bipartition 013: degree 0 . . . 11μs Bipartition 014: exceptions . . . 38μs Bipartition 015: convenience constructor . . . 231μs Bipartition 016: force copy constructor over move constructor . . . 17μs Bipartition 017: adapters . . . 9000ns BitSet 000: size . . . 11μs BitSet 001: operator< . . . 11μs BitSet 002: operator== . . . 12μs BitSet 003: operator!= . . . 12μs BitSet 004: operator&= . . . 19μs BitSet 005: & . . . 18μs BitSet 006: operator|= . . . 18μs BitSet 007: operator[] . . . 17μs BitSet 008: set(none) . . . 19μs BitSet 009: set(pos, value) . . . 24μs BitSet 010: set(first, last, value) . . . 23μs BitSet 011: reset(first, last) . . . 20μs BitSet 012: reset(pos) . . . 20μs BitSet 013: apply (iterate through set bits) . . . 25μs BitSet 014: std::hash . . . 9000ns BitSet 015: constructors . . . 19μ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] . . . 13μs Blocks 007: hash value . . . 13μs Blocks 008: operator< . . . 12μs Congruence 000: left congruence on fp semigroup . . . 164μs Congruence 001: 2-sided congruence on fp semigroup . . . 353μs Congruence 002: left congruence on fp semigroup . . . 255μs Congruence 003: word_to_class_index for cong. on fp semigroup . . . 364μs Congruence 004: word_to_class_index for cong. on fp semigroup . . . 536μs Congruence 005: trivial congruence on non-fp semigroup . . . 408μs Congruence 006: 2-sided congruence on non-fp semigroup . . . 413μs Congruence 007: 2-sided congruence on fp semigroup . . . 560μs Congruence 008: 2-sided congruence on infinite fp semigroup . . . 372μs Congruence 009: 2-sided congruence on infinite fp semigroup . . . 398μs Congruence 010: 2-sided congruence on finite semigroup . . . 60ms Congruence 012: 2-sided congruence on finite semigroup . . . 3411μs Congruence 013: trivial 2-sided congruence on bicyclic monoid . . . 26ms Congruence 014: non-trivial 2-sided congruence on bicyclic monoid . . . 429μs Congruence 015: 2-sided congruence on free abelian monoid . . . 472μs Congruence 016: example where TC works but KB doesn't . . . 999μs Congruence 017: 2-sided congruence on finite semigroup . . . 460μs Congruence 018: infinite fp semigroup from GAP library . . . 601μs Congruence 019: 2-sided cong. on fp semigroup with infinite [...] . . . 372μs Congruence 020: trivial cong. on an fp semigroup . . .  -- with compute size 307μs  -- with don't compute size 324μs Congruence 021: duplicate generators . . . 536μs Congruence 022: non-trivial classes . . . 1146μs Congruence 023: right congruence on finite semigroup . . . 431ms Congruence 024: redundant generating pairs . . . 219μs Congruence 025: 2-sided cong. on free semigroup . . . 173μs Congruence 026: is_quotient_obviously_(in)finite . . . 2078μs Congruence 027: less . . . 449μs Congruence 028: 2-sided congruences of BMat8 semigroup . . . 198ms Congruence 029: left congruence on finite semigroup . . . 927μs Congruence 030: right congruence on finite semigroup . . . 831μs Congruence 031: right congruence on finite semigroup . . . 768μs Congruence 032: contains . . . 278μs Congruence 033: stellar_monoid S2 . . . 880μs Congruence 034: stellar_monoid S3 . . . 1244μs Congruence 035: stellar_monoid S4 . . . 2450μs Congruence 036: stellar_monoid S5 . . . 8836μs Congruence 037: stellar_monoid S6 . . . 80ms Congruence 038: stellar_monoid S7 . . . 841ms Congruence 039: left cong. on an f.p. semigroup . . . 1595μs Congruence 040: 2-sided cong. on infinite f.p. semigroup . . . 454μs Congruence 041: 2-sided congruence constructed from type only . . . 553μs Congruence 042: const_contains . . . 519μs Congruence 043: no winner . . . 9870μs Congruence 044: congruence over smalloverlap . . . 12ms CongruenceByPairs 001: (cong) 2-sided cong. on finite semigroup . . . 621μs CongruenceByPairs 002: (cong) left congruence on finite semigroup . . . 237μs CongruenceByPairs 003: (cong) right congruence on finite semigroup . . . 226μs CongruenceByPairs 004: (cong) trivial congruence on finite s [...] . . . 174μs CongruenceByPairs 005: (cong) trivial left congruence on fin [...] . . . 150μs CongruenceByPairs 006: (cong) trivial right congruence on fi [...] . . . 146μs CongruenceByPairs 007: (cong) universal congruence on finite [...] . . . 712μs CongruenceByPairs 009: (cong) 2-sided congruence on finite s [...] . . . 785ms CongruenceByPairs 010: (cong) left congruence on big finite [...] . . . 32ms CongruenceByPairs 011: (cong) left congruence on TCE . . . 180μs CongruenceByPairs 012: (cong) is_quotient_obviously_finite . . . 95μs CongruenceByPairs 013: (cong) class_index_to_word/quotient . . .  -- with right congruence 7772μs  -- with left congruence 1232μs  -- with 2-sided congruence 6484μs CongruenceByPairs 014: (cong) const_word_to_class_index . . .  -- with right congruence 36μs  -- with left congruence 30μs  -- with 2-sided congruence 27μs CongruenceByPairs 015: (cong) size non-Element* . . . 29ms CongruenceInterface 000: add_pair . . .  -- with ToddCoxeter 90μs  -- with KnuthBendix 126μs  -- with CongruenceByPairs 120μs  -- with Congruence 479μs CongruenceInterface 001: contains/const_contains . . .  -- with ToddCoxeter and no parent 108μs  -- with KnuthBendix and no parent 105μs  -- with Congruence and parent 404μs  -- with CongruenceByPairs and parent 113μs CongruenceInterface 002: less . . .  -- with ToddCoxeter 82μs  -- with KnuthBendix 148μs  -- with CongruenceByPairs 101μs  -- with Congruence 389μs CongruenceInterface 003: is_quotient_obviously_(in)finite . . .  -- with ToddCoxeter 67μs  -- with KnuthBendix 98μs CongruenceInterface 004: is_quotient_obviously_(in)finite . . .  -- with CongruenceByPairs 109μs  -- with Congruence 319μs CongruenceInterface 005: parent_froidure_pin . . .  -- with ToddCoxeter 42μs  -- with KnuthBendix 21μs CongruenceInterface 006: parent_froidure_pin . . .  -- with CongruenceByPairs 102μs  -- with Congruence 313μs CongruenceInterface 007: cbegin/cend_ntc . . .  -- with ToddCoxeter 278μs  -- with KnuthBendix 1116μs CongruenceInterface 008: cbegin/cend_ntc . . .  -- with CongruenceByPairs 230μs  -- with Congruence 474μs CongruenceInterface 009: quotient is immutable . . .  -- with ToddCoxeter 86μs  -- with KnuthBendix 117μs  -- with Congruence 218μs CongruenceInterface 010: no generating pairs added . . .  -- with KnuthBendix and common behaviour 5580μs  -- with Congruence and common behaviour 5676μs  -- with ToddCoxeter 72μs CongruenceInterface 011: nr generators not set . . .  -- with ToddCoxeter 102μs  -- with KnuthBendix 85μs  -- with Congruence 101μs CongruenceInterface 012: no generating pairs . . . 228μs ConstIteratorStateless 001: ? . . . 10μs ConstIteratorStateless 002: ? . . . 9000ns Constants 001: Undefined . . . 19μs Constants 002: PositiveInfinity . . . 15μs Constants 003: NegativeInfinity . . . 14μs Constants 004: LimitMax . . . 13μs Duf 004: unite . . . 28μs Duf 006: compress . . . 15μs Duf 008: resize . . . 42μs Duf 009: resize . . . 13μs Duf 010: big chain . . . 15ms Duf 012: empty table . . . 10μs Duf 014: join . . . 13μs Duf 016: contains . . . 25μs Duf 018: swap . . . 29μs DynamicArray2 001: default constructor with 3 default args . . . 14μs DynamicArray2 002: default constructor with 2 default args . . . 9000ns DynamicArray2 003: default constructor with 1 default args . . . 11μs DynamicArray2 004: default constructor with 0 default args . . . 10μs DynamicArray2 005: copy constructor with 1 default args . . . 11μs DynamicArray2 006: copy constructor with 0 default args . . . 18μs DynamicArray2 007: add_rows . . . 13μs DynamicArray2 008: add_rows . . . 12μs DynamicArray2 009: add_cols . . . 32μs DynamicArray2 010: set/get . . . 49μs DynamicArray2 011: append 1/2 . . . 139μs DynamicArray2 012: append 2/2 . . . 207μs DynamicArray2 013: count . . . 17μs DynamicArray2 014: clear . . . 10μs DynamicArray2 015: begin_row and end_row . . . 59μs DynamicArray2 016: cbegin_row and cend_row . . . 22μs DynamicArray2 017: iterator operator++ (postfix) . . . 222μs DynamicArray2 018: iterator operator++ (prefix) . . . 1354μs DynamicArray2 019: iterator operator-- (postfix) . . . 292μs DynamicArray2 020: iterator operator-- (prefix) . . . 291μs DynamicArray2 021: operator= . . . 15μs DynamicArray2 022: operator== and operator!= . . . 261μs DynamicArray2 023: empty and clear . . . 13μs DynamicArray2 024: max_size . . . 9000ns DynamicArray2 025: swap . . . 53μs DynamicArray2 026: iterator arithmetic . . . 1202μs DynamicArray2 027: iterator comparison . . . 13μs DynamicArray2 028: iterator operator= . . . 10μs DynamicArray2 029: iterator operator[] . . . 59μ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 . . . 4363μs DynamicArray2 035: iterator assignment constructor . . . 1209μs DynamicArray2 036: reserve method . . . 94μs DynamicArray2 037: erase column . . . 14μs DynamicArray2 038: swap_rows . . . 12μs DynamicArray2 039: apply_row_permutation . . . 11μs DynamicArray2 040: swap . . . 11μs DynamicArray2 041: shrink_rows_to . . . 17μ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 . . . 749μs FpSemigroup 002: Renner monoid type B2 (E. G. presentation), q = 0 . . . 784μs FpSemigroup 003: Renner monoid type B3 (E. G. presentation), q = 1 . . . 60ms FpSemigroup 004: Renner monoid type B3 (E. G. presentation), q = 0 . . . 60ms FpSemigroup 005: Renner monoid type B2 (Gay-Hivert presentat [...] . . . 829μs FpSemigroup 006: Renner monoid type B2 (Gay-Hivert presentat [...] . . . 801μs FpSemigroup 007: Renner monoid type B3 (Gay-Hivert presentat [...] . . . 3996μs FpSemigroup 008: Renner monoid type B3 (Gay-Hivert presentat [...] . . . 3650μs FpSemigroup 009: Renner monoid type B4 (Gay-Hivert presentat [...] . . . 341ms FpSemigroup 010: Renner monoid type B4 (Gay-Hivert presentat [...] . . . 439ms FpSemigroup 013: Renner monoid type D2 (E. G. presentation), q = 1 . . . 1522μs FpSemigroup 014: Renner monoid type D2 (E. G. presentation), q = 0 . . . 1417μs FpSemigroup 015: Renner monoid type D3 (E. G. presentation), q = 1 . . . 5955μs FpSemigroup 016: Renner monoid type D3 (E. G. presentation), q = 0 . . . 5642μs FpSemigroup 017: Renner monoid type D4 (E. G. presentation), q = 1 . . . 575ms FpSemigroup 018: Renner monoid type D4 (E. G. presentation), q = 0 . . . 534ms FpSemigroup 019: Renner monoid type D2 (Gay-Hivert presentat [...] . . . 1958μs FpSemigroup 020: Renner monoid type D2 (Gay-Hivert presentat [...] . . . 1936μs FpSemigroup 021: Renner monoid type D3 (Gay-Hivert presentat [...] . . . 6531μs FpSemigroup 022: Renner monoid type D3 (Gay-Hivert presentat [...] . . . 4917μ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 . . . 5697μs FpSemigroup 030: Rook monoid R5, q = 1 . . . 8286μs FpSemigroup 031: Rook monoid R6, q = 0 . . . 58ms FpSemigroup 032: Rook monoid R6, q = 1 . . . 51ms FpSemigroup 033: normal_form . . . 427μs FpSemigroup 034: for a finite semigroup . . . 1187μs FpSemigroup 035: finite fp semigroup, dihedral group of order 6 . . . 873μs FpSemigroup 036: finite fp semigroup, size 16 . . . 1232μs FpSemigroup 037: finite fp semigroup, size 16 . . . 1895μs FpSemigroup 038: fp semigroup, size 240 . . . 1092μs FpSemigroup 039: add_rule . . . 318μs FpSemigroup 040: add_rule . . . 679μs FpSemigroup 041: equal_to . . . 504μs FpSemigroup 042: cbegin/cend_rules . . . 223μs FpSemigroup 043: semigroup of size 3 . . . 864μs FpSemigroup 044: run_for/until . . . 3219μs FpSemigroup 045: constructors . . . 488μs FpSemigroup 046: set_inverses . . . 321μs FpSemigroup 047: smalloverlap . . . 17ms FpSemigroup 048: quaternion group Q8 . . . 844μs FpSemigroup 049: symmetric group Coxeter presentation . . . 20ms FpSemigroupByPairs 029: (fpsemi) 2-sided congruence on finit [...] . . . 985μs FpSemigroupByPairs 030: (fpsemi) 2-sided congruence on finit [...] . . . 926μs FpSemigroupInterface 000: run with no alphabet . . .  -- with ToddCoxeter 158μs  -- with KnuthBendix 64μs  -- with FpSemigroup 109μs FpSemigroupInterface 001: equal_to . . .  -- with ToddCoxeter and human readable alphabet 2598μs  -- with KnuthBendix and human readable alphabet 7560μs  -- with FpSemigroup and human readable alphabet 6293μs  -- with FpSemigroupByPairs 4488μs FpSemigroupInterface 002: normal_form . . .  -- with ToddCoxeter 280μs  -- with KnuthBendix 358μs  -- with FpSemigroup 686μs FpSemigroupInterface 003: set_alphabet (1/2) . . .  -- with ToddCoxeter 213μs  -- with KnuthBendix 133μs  -- with FpSemigroup 190μs FpSemigroupInterface 004: set_alphabet (2/2) . . . 1976μs FpSemigroupInterface 005: add_rule after finished . . .  -- with ToddCoxeter and human readable alphabet 252μs  -- with KnuthBendix and human readable alphabet 298μs  -- with FpSemigroup and human readable alphabet 527μs  -- with FpSemigroupByPairs 1954μs FpSemigroupInterface 006: add_rule with equal words (1/2) . . .  -- with ToddCoxeter and human readable alphabet 416μs  -- with KnuthBendix and human readable alphabet 500μs  -- with FpSemigroup and human readable alphabet 686μs  -- with FpSemigroupByPairs 359μs FpSemigroupInterface 007: add_rule with equal words (2/2) . . .  -- with ToddCoxeter 83μs  -- with KnuthBendix 41μs  -- with FpSemigroup 89μs FpSemigroupInterface 008: add_rule with word_type . . .  -- with ToddCoxeter 128μs  -- with KnuthBendix 78μs  -- with FpSemigroup 173μs FpSemigroupInterface 009: add_rule with empty word (1/2) . . .  -- with ToddCoxeter 108μs  -- with FpSemigroup 114μs FpSemigroupInterface 010: add_rule with empty word (1/2) . . . 32μs FpSemigroupInterface 011: add_rules (1/3) . . .  -- with ToddCoxeter 120μs  -- with KnuthBendix 70μs  -- with FpSemigroup 121μs FpSemigroupInterface 012: add_rules (2/3) . . . 816μs FpSemigroupInterface 013: add_rules (3/3) . . .  -- with ToddCoxeter 90μs  -- with KnuthBendix 48μs  -- with FpSemigroup 175μs FpSemigroupInterface 014: set_identity (1/3) . . .  -- with ToddCoxeter 273μs  -- with KnuthBendix 167μs  -- with FpSemigroup 299μs FpSemigroupInterface 015: set_identity (2/3) . . . 411μs FpSemigroupInterface 016: set_identity (3/3) . . .  -- with ToddCoxeter 186μs  -- with KnuthBendix 115μs  -- with FpSemigroup 254μs FpSemigroupInterface 017: identity . . .  -- with ToddCoxeter 89μs  -- with KnuthBendix 44μs  -- with FpSemigroup 87μs FpSemigroupInterface 018: set_inverses + inverses (1/2) . . .  -- with ToddCoxeter 265μs  -- with KnuthBendix 223μs  -- with FpSemigroup 353μs FpSemigroupInterface 019: set_inverses + inverses (2/2) . . . 534μs FpSemigroupInterface 020: is_obviously_infinite (1/2) . . .  -- with ToddCoxeter 224μs  -- with KnuthBendix 335μs  -- with FpSemigroup 517μs FpSemigroupInterface 021: is_obviously_infinite (2/2) . . . 64μs FpSemigroupInterface 022: is_obviously_finite (1/2) . . .  -- with ToddCoxeter 224μs  -- with KnuthBendix 320μs  -- with FpSemigroup 556μs FpSemigroupInterface 023: is_obviously_finite (2/2) . . . 61μs FpSemigroupInterface 024: to_gap_string (1/3) . . .  -- with ToddCoxeter 95μs  -- with KnuthBendix 47μs  -- with FpSemigroup 138μs FpSemigroupInterface 025: to_gap_string (2/3) . . . 31μs FpSemigroupInterface 026: to_gap_string (3/3) . . . 52μs FroidurePin 015: (BMat8) regular boolean mat monoid 4 . . . 128ms FroidurePin 016: (BMat8) exception zero generators given . . . 20μs FroidurePin 017: (BMat8) exception word_to_element . . . 97μs FroidurePin 018: (BMat8) exception prefix . . . 2276μs FroidurePin 019: (BMat8) exception suffix . . . 27μs FroidurePin 020: (BMat8) exception first_letter . . . 2206μs FroidurePin 021: (BMat8) exception final_letter . . . 26μs FroidurePin 022: (BMat8) exception current_length . . . 2185μs FroidurePin 023: (BMat8) exception product_by_reduction . . . 2050μs FroidurePin 024: (BMat8) exception fast_product . . . 1607μs FroidurePin 025: (BMat8) exception is_idempotent . . . 63ms FroidurePin 026: (BMat8) copy constructor . . .  -- with fully enumerated 73ms  -- with partially enumerated 54ms  -- with not enumerated 48ms FroidurePin 027: (BMat8) cbegin/end_rules . . . 73μs FroidurePin 031: (integers) . . . 248μs FroidurePin 039: (pairs of integers) non-trivial user type . . . 33μs FroidurePin 055: (tropical max-plus semiring matrices) . . . 340μs FroidurePin 061: projective max plus matrix . . . 1244μs FroidurePin 062: projective max plus matrix . . . 45μs FroidurePin> 009: small example 2 . . . 62μs FroidurePin> 005: small example 1 . . . 170μs FroidurePin> 007: regular bmat monoid 4 . . . 88ms FroidurePin> 011: small example 3 . . . 785μs FroidurePin> 006: small example 1 . . . 213μs FroidurePin> 008: regular bmat monoid 4 . . . 108ms FroidurePin> 010: small example 2 . . . 62μs FroidurePin> 012: small example 3 . . . 941μs FroidurePin 000: small example 1 . . . 188μs FroidurePin 001: default constructed . . . 134μs FroidurePin 002: small example 2 . . . 62μs FroidurePin 004: exception: is_idempotent . . . 211μs FroidurePin> 033: Example 000 . . . 897μs FroidurePin> 035: Example 001 . . . 62μs FroidurePin> 032: Example 000 . . . 726μs FroidurePin> 034: Example 001 . . . 49μs FroidurePin 036: exception: current_position . . . 153μs FroidurePin 037: exception: word_to_element . . . 99μs FroidurePin 038: exception: prefix, suffix, first_letter . . . 26ms FroidurePin> 040: Example 000 . . . 89μs FroidurePin> 041: Example 000 . . . 70μs FroidurePin> 046: Example 005 . . . 222μs FroidurePin> 047: Example 005 . . . 237μs FroidurePin> 048: Example 005 . . . 224μs FroidurePin> 044: Example 004 . . . 38μs FroidurePin> 045: Example 004 . . . 44μs FroidurePin> 049: Example 006 . . . 1380μs FroidurePin> 050: Example 006 . . . 1588μs FroidurePin> 051: Example 006 . . . 1640μs FroidurePin> 052: Example 007 . . . 192μs FroidurePin> 053: Example 007 . . . 212μs FroidurePin> 054: Example 007 . . . 231μs FroidurePin 056: example 1 . . . 283μs FroidurePin 057: example 2 . . . 232μs FroidurePin> 058: . . . 842μs FroidurePin> 059: . . . 64μs FroidurePin> 060: exceptions: add_generator(s) . . . 78μs FroidurePin> 065: no exception zero generators given . . . 27μs FroidurePin> 066: exception generators of different [...] . . . 80μs FroidurePin> 067: exception current_position . . . 56μs FroidurePin> 068: exception word_to_element . . . 57μs FroidurePin> 069: exception gens . . . 780μs FroidurePin> 070: exception prefix . . . 36ms FroidurePin> 071: exception suffix . . . 197ms FroidurePin> 072: exception first_letter . . . 94μs FroidurePin> 073: exception final_letter . . . 87μs FroidurePin> 074: exception current_length . . . 48μs FroidurePin> 075: exception product_by_reduction . . . 378μs FroidurePin> 076: exception fast_product . . . 414μs FroidurePin> 077: exception current_position . . . 580μs FroidurePin> 078: exception is_idempotent . . . 590μs FroidurePin> 079: exception add_generators . . . 38μs FroidurePin> 080: multithread number_of_idempotents . . . 506μs FroidurePin> 081: small semigroup . . . 27μs FroidurePin> 082: large semigroup . . . 7152μs FroidurePin> 083: at, position, current_* . . . 7342μs FroidurePin> 084: run . . . 6641μs FroidurePin> 085: run [many stops and starts] . . . 6714μs FroidurePin> 086: factorisation, length [1 element] . . . 6809μs FroidurePin> 087: factorisation, products [all elements] . . . 8359μs FroidurePin> 088: first/final letter, prefix, suffi [...] . . . 6812μs FroidurePin> 089: current_position [standard] . . . 25μs FroidurePin> 090: current_position [duplicate gens] . . . 13ms FroidurePin> 091: current_position [after add_generators] . . . 7612μs FroidurePin> 092: cbegin_idempotents/cend [1 thread] . . . 7536μs FroidurePin> 093: idempotent_cend/cbegin [1 thread] . . . 7493μs FroidurePin> 094: is_idempotent [1 thread] . . . 7107μs FroidurePin> 096: finished, started . . . 6911μs FroidurePin> 097: current_position . . . 1655μs FroidurePin> 098: sorted_position, sorted_at . . . 8583μs FroidurePin> 099: right/left Cayley graph . . . 32ms FroidurePin> 100: iterator . . . 10ms FroidurePin> 101: reverse iterator . . . 10ms FroidurePin> 102: iterator arithmetic . . . 27ms FroidurePin> 103: iterator sorted . . . 23ms FroidurePin> 104: iterator sorted arithmetic . . . 28ms FroidurePin> 105: copy [not enumerated] . . . 7107μs FroidurePin> 106: copy_closure [not enumerated] . . . 45ms FroidurePin> 107: copy_add_generators [not enumerated] . . . 42ms FroidurePin> 108: copy [partly enumerated] . . . 7617μs FroidurePin> 109: copy_closure [partly enumerated] . . . 12ms FroidurePin> 110: copy_add_generators [partly enumerated] . . . 7722μ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] . . . 209μs FroidurePin> 115: relations . . . 9228μs FroidurePin> 116: relations [copy_closure, duplicat [...] . . . 12ms FroidurePin> 117: relations [copy_add_generators, d [...] . . . 13ms FroidurePin> 118: relations [from copy, not enumerated] . . . 8078μs FroidurePin> 119: relations [from copy, partly enum [...] . . . 14ms FroidurePin> 120: relations [from copy, fully enumerated] . . . 14ms FroidurePin> 121: relations [from copy_closure, not [...] . . . 13ms FroidurePin> 122: relations [from copy_add_generato [...] . . . 8148μs FroidurePin> 123: relations [from copy_closure, par [...] . . . 12ms FroidurePin> 124: relations [from copy_add_generato [...] . . . 9737μs FroidurePin> 125: relations [from copy_closure, ful [...] . . . 14ms FroidurePin> 126: relations [from copy_add_generato [...] . . . 12ms FroidurePin> 127: add_generators [duplicate generators] . . . 372μs FroidurePin> 128: add_generators [incremental 1] . . . 474μs FroidurePin> 129: add_generators [incremental 2] . . . 517μs FroidurePin> 130: closure [duplicate generators] . . . 229μs FroidurePin> 131: closure . . . 102μs FroidurePin> 132: factorisation . . . 23μs FroidurePin> 134: minimal_factorisation . . . 53μs FroidurePin> 135: batch_size (for an extremely larg [...] . . . 22μs FroidurePin> 137: exception: generators of differen [...] . . . 44μs FroidurePin> 138: exception: current_position . . . 61μs FroidurePin> 139: exception: word_to_element . . . 47μs FroidurePin> 140: exception: gens, current_position . . . 746μs FroidurePin> 141: exception: add_generators . . . 34μs KBE 000: constructors . . . 49μs KBE 001: test . . . 66μs KBE 002: factorisation . . . 47μs KBE 003: swap . . . 33μs KBE 004: adapters . . . 30μs KBE 005: conversions . . . 30μs Kambites 000: (fpsemi) MT test 4 (std::string) . . . 7044μs Kambites 001: (fpsemi) MT test 4 (MultiStringView) . . . 7704μs Kambites 002: (fpsemi) number_of_pieces (std::string) . . . 145μs Kambites 003: (fpsemi) number_of_pieces (MultiStringView) . . . 131μs Kambites 004: (fpsemi) small_overlap_class (std::string) . . . 3982μs Kambites 005: (fpsemi) small_overlap_class (MultiStringView) . . . 3935μs Kambites 006: (fpsemi) random (std::string) . . . 11ms Kambites 007: (fpsemi) random (MultiStringView) . . . 11ms Kambites 008: (fpsemi) KnuthBendix 055 (std::string) . . . 17ms Kambites 009: (fpsemi) KnuthBendix 055 (MultiStringView) . . . 18ms Kambites 010: (fpsemi) smalloverlap/gap/test.gi:85 (std::string) . . . 80μs Kambites 011: (fpsemi) smalloverlap/gap/test.gi:85 (MultiStr [...] . . . 86μs Kambites 012: (fpsemi) free semigroup . . . 28μs Kambites 013: (fpsemi) smalloverlap/gap/test.gi:49 (std::string) . . . 37ms Kambites 014: (fpsemi) smalloverlap/gap/test.gi:49 (MultiStr [...] . . . 45ms Kambites 015: (fpsemi) smalloverlap/gap/test.gi:63 (std::string) . . . 41ms Kambites 016: (fpsemi) smalloverlap/gap/test.gi:63 (MultiStr [...] . . . 49ms Kambites 017: (fpsemi) smalloverlap/gap/test.gi:70 (std::string) . . . 146ms Kambites 018: (fpsemi) smalloverlap/gap/test.gi:70 (MultiStr [...] . . . 179ms Kambites 021: (fpsemi) code coverage (std::string) . . . 52μs Kambites 022: (fpsemi) code coverage (MultiStringView) . . . 57μs Kambites 023: (fpsemi) prefix (std::string) . . . 70μs Kambites 024: (fpsemi) prefix (MultiStringView) . . . 97μs Kambites 025: (fpsemi) normal_form (Example 3.15) (std::string) . . . 71μs Kambites 026: (fpsemi) normal_form (Example 3.15) (MultiStri [...] . . . 88μs Kambites 027: (fpsemi) normal_form (Example 3.16) (std::string) . . . 52μs Kambites 028: (fpsemi) normal_form (Example 3.16) (MultiStri [...] . . . 64μs Kambites 029: (fpsemi) normal_form (Example 3.16) more exhau [...] . . . 77ms Kambites 030: (fpsemi) normal_form (Example 3.16) more exhau [...] . . . 73ms Kambites 031: (fpsemi) small presentation (std::string) . . . 79μs Kambites 032: (fpsemi) small presentation (MultiStringView) . . . 47μs Kambites 033: (fpsemi) non-smalloverlap (std::string) . . . 53μs Kambites 034: (fpsemi) non-smalloverlap (MultiStringView) . . . 51μs Kambites 035: (fpsemi) MT test 3 (std::string) . . . 50μs Kambites 036: (fpsemi) MT test 3 (MultiStringView) . . . 48μs Kambites 037: (fpsemi) MT test 5 (std::string) . . . 36μs Kambites 038: (fpsemi) MT test 5 (MultiStringView) . . . 29μs Kambites 039: (fpsemi) MT test 6 (std::string) . . . 41μs Kambites 040: (fpsemi) MT test 6 (MultiStringView) . . . 48μs Kambites 041: (fpsemi) MT test 10 (std::string) . . . 37μs Kambites 042: (fpsemi) MT test 10 (MultiStringView) . . . 42μs Kambites 043: (fpsemi) MT test 13 (std::string) . . . 28μs Kambites 044: (fpsemi) MT test 13 (MultiStringView) . . . 30μs Kambites 045: (fpsemi) MT test 14 (std::string) . . . 27μs Kambites 046: (fpsemi) MT test 14 (MultiStringView) . . . 29μs Kambites 047: (fpsemi) MT test 15 (std::string) . . . 38μs Kambites 048: (fpsemi) MT test 15 (MultiStringView) . . . 38μs Kambites 049: (fpsemi) MT test 16 (std::string) . . . 39μs Kambites 050: (fpsemi) MT test 16 (MultiStringView) . . . 41μs Kambites 051: (fpsemi) MT test 17 (std::string) . . . 128μs Kambites 052: (fpsemi) MT test 17 (MultiStringView) . . . 147μs Kambites 053: (fpsemi) weak C(4) not strong x 1 (std::string) . . . 492μs Kambites 054: (fpsemi) weak C(4) not strong x 1 (MultiStringView) . . . 590μs Kambites 055: (fpsemi) weak C(4) not strong x 2 (std::string) . . . 492μs Kambites 056: (fpsemi) weak C(4) not strong x 2 (MultiStringView) . . . 593μs Kambites 057: (fpsemi) weak C(4) not strong x 3 (std::string) . . . 480μs Kambites 058: (fpsemi) weak C(4) not strong x 3 (MultiStringView) . . . 432μs Kambites 059: (fpsemi) weak C(4) not strong x 4 (std::string) . . . 59μs Kambites 060: (fpsemi) weak C(4) not strong x 4 (MultiStringView) . . . 75μs Kambites 061: (fpsemi) weak C(4) not strong x 5 (std::string) . . . 26μs Kambites 062: (fpsemi) weak C(4) not strong x 5 (MultiStringView) . . . 22μs Kambites 063: (fpsemi) weak C(4) not strong x 6 (std::string) . . . 34μs Kambites 064: (fpsemi) weak C(4) not strong x 6 (MultiStringView) . . . 37μs Kambites 065: (fpsemi) Konovalov example (std::string) . . . 24μs Kambites 066: (fpsemi) Konovalov example (MultiStringView) . . . 22μs Kambites 067: (fpsemi) long words (std::string) . . . 1098ms Kambites 068: (fpsemi) long words (MultiStringView) . . . 34ms Kambites 075: (cong) example 1 . . . 66μs Kambites 076: (cong) example 2 . . . 158μs Kambites 077: (cong) code coverage . . . 7347μs Kambites 078: (cong) large number of rules . . . 283ms KnuthBendix 000: (fpsemi) confluent fp semigroup 1 (infinite) . . . 95μs KnuthBendix 001: (fpsemi) confluent fp semigroup 2 (infinite) . . . 100μs KnuthBendix 002: (fpsemi) confluent fp semigroup 3 (infinite) . . . 73μs KnuthBendix 003: (fpsemi) non-confluent fp semigroup from wi [...] . . . 144μs KnuthBendix 004: (fpsemi) Example 5.1 in Sims (infinite) . . . 152μs KnuthBendix 005: (fpsemi) Example 5.1 in Sims (infinite) . . . 128μs KnuthBendix 006: (fpsemi) Example 5.3 in Sims . . . 110μs KnuthBendix 007: (fpsemi) Example 5.4 in Sims . . . 107μs KnuthBendix 008: (fpsemi) Example 6.4 in Sims (size 168) . . . 7354μs KnuthBendix 009: (fpsemi) . . . 51ms KnuthBendix 010: (fpsemi) SL(2, 7) from Chapter 3, Propositi [...] . . . 74ms KnuthBendix 011: (fpsemi) F(2, 5) - Chapter 9, Section 1 in [...] . . . 383μs KnuthBendix 012: (fpsemi) Reinis example 1 . . . 182μs KnuthBendix 013: redundant_rule (std::string) . . . 100ms KnuthBendix 014: redundant_rule (word_type) . . . 10ms KnuthBendix 019: (fpsemi) C(4) monoid . . . 32μs KnuthBendix 020: (cong) Chinese monoid . . . 133μs KnuthBendix 021: (from kbmag/standalone/kb_data/f25monoid) . . . 453μs KnuthBendix 022: (from kbmag/standalone/kb_data/degen4a) . . . 46ms KnuthBendix 023: (from kbmag/standalone/kb_data/torus) . . . 2148μs KnuthBendix 024: (from kbmag/standalone/kb_data/3a6) . . . 232ms KnuthBendix 025: (from kbmag/standalone/kb_data/f2) . . . 49μs KnuthBendix 026: (from kbmag/standalone/kb_data/s16) . . . 62ms KnuthBendix 027: (from kbmag/standalone/kb_data/a4monoid) . . . 54μs KnuthBendix 028: (from kbmag/standalone/kb_data/degen3) . . . 22μs KnuthBendix 029: (from kbmag/standalone/kb_data/ab1) . . . 22μs KnuthBendix 030: (from kbmag/standalone/kb_data/degen2) . . . 16μs KnuthBendix 031: (from kbmag/standalone/kb_data/f25) . . . 379μs KnuthBendix 032: (from kbmag/standalone/kb_data/237) . . . 501μs KnuthBendix 033: (from kbmag/standalone/kb_data/c2) . . . 18μs KnuthBendix 034: (from kbmag/standalone/kb_data/cosets) . . . 184μs KnuthBendix 035: Example 5.1 in Sims (KnuthBendix 09 again) . . . 43μs KnuthBendix 036: (from kbmag/standalone/kb_data/nilp2) . . . 27μs KnuthBendix 037: Example 6.4 in Sims . . . 12ms KnuthBendix 038: KnuthBendix 071 again . . . 563μs KnuthBendix 039: Example 5.4 in Sims (KnuthBendix 11 again) [...] . . . 160μs KnuthBendix 040: Example 5.4 in Sims (KnuthBendix 11 again) [...] . . . 106μs KnuthBendix 041: operator<< . . . 72μs KnuthBendix 042: confluence_interval . . . 17μs KnuthBendix 043: max_overlap . . . 15μs KnuthBendix 044: (fpsemi) (from kbmag/standalone/kb_data/d22 [...] . . . 999μs KnuthBendix 045: (fpsemi) (from kbmag/standalone/kb_data/d22 [...] . . . 1922μs KnuthBendix 046: (fpsemi) small example . . . 673μs KnuthBendix 047: code coverage . . . 59μs KnuthBendix 048: small overlap 1 . . . 50μs KnuthBendix 049: (from kbmag/standalone/kb_data/s9) . . . 1311μs KnuthBendix 050: (fpsemi) Chapter 11, Lemma 1.8 (q = 6, r = [...] . . . 501μs KnuthBendix 051: (fpsemi) Chapter 11, Section 2 (q = 6, r = [...] . . . 108μs KnuthBendix 052: (fpsemi) Chapter 8, Theorem 4.2 in NR (infinite) . . . 193μs KnuthBendix 053: (fpsemi) equal_to fp semigroup . . . 44μs KnuthBendix 054: (fpsemi) equal_to free semigroup . . . 55μs KnuthBendix 055: (fpsemi) from GAP smalloverlap gap/test.gi [...] . . . 279μs KnuthBendix 056: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 451μs KnuthBendix 057: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 437μs KnuthBendix 058: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 1231μs KnuthBendix 059: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 2893μs KnuthBendix 060: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 29μs KnuthBendix 061: (fpsemi) Von Dyck (2,3,7) group (infinite) . . . 437μs KnuthBendix 062: (fpsemi) Von Dyck (2,3,7) group - different [...] . . . 4136μs KnuthBendix 063: (fpsemi) rewriting system from KnuthBendixC [...] . . . 355μs KnuthBendix 064: (fpsemi) rewriting system from Congruence 20 . . . 29μs KnuthBendix 065: (fpsemi) (from kbmag/standalone/kb_data/ab2) . . . 88μs KnuthBendix 066: (fpsemi) (from kbmag/standalone/kb_data/d22 [...] . . . 1092μs KnuthBendix 067: (fpsemi) (from kbmag/standalone/kb_data/degen1) . . . 45μs KnuthBendix 068: (fpsemi) (from kbmag/standalone/kb_data/s4) . . . 274μs KnuthBendix 069: (fpsemi) fp semigroup (infinite) . . . 46μs KnuthBendix 070: (fpsemi) Chapter 11, Section 1 (q = 4, r = [...] . . . 1545μs KnuthBendix 071: (fpsemi) Chapter 11, Section 1 (q = 8, r = [...] . . . 97ms KnuthBendix 072: (fpsemi) Chapter 7, Theorem 3.9 in NR (size 240) . . . 3106μs KnuthBendix 073: (fpsemi) F(2, 5) - Chapter 9, Section 1 in [...] . . . 399μs KnuthBendix 074: (fpsemi) F(2, 6) - Chapter 9, Section 1 in NR . . . 375μs KnuthBendix 075: (fpsemi) Chapter 10, Section 4 in NR (infinite) . . . 729μs KnuthBendix 076: (fpsemi) Sym(5) from Chapter 3, Proposition [...] . . . 2545μs KnuthBendix 077: (fpsemi) SL(2, 7) from Chapter 3, Propositi [...] . . . 72ms KnuthBendix 078: (fpsemi) bicyclic monoid (infinite) . . . 46μs KnuthBendix 079: (fpsemi) plactic monoid of degree 2 (infinite) . . . 64μs KnuthBendix 080: (fpsemi) example before Chapter 7, Proposit [...] . . . 44μs KnuthBendix 081: (fpsemi) Chapter 7, Theorem 3.6 in NR (size 243) . . . 747μs KnuthBendix 082: (fpsemi) finite semigroup (size 99) . . . 217μs KnuthBendix 096: Sorouhesh . . . 352μs KnuthBendix 097: (fpsemi) transformation semigroup (size 4) . . . 57μs KnuthBendix 098: (fpsemi) transformation semigroup (size 9) . . . 53μs KnuthBendix 099: (fpsemi) transformation semigroup (size 88) . . . 711μs KnuthBendix 100: internal_string_to_word . . . 37μs KnuthBendix 101: (fpsemi) construct from shared_ptr . . . 692μs KnuthBendix 102: internal_string_to_word . . . 722μs KnuthBendix 103: (cong) free semigroup congruence (5 classes) . . . 86μs KnuthBendix 104: free semigroup congruence (6 classes) . . . 222μs KnuthBendix 105: (cong) free semigroup congruence (16 classes) . . . 323μs KnuthBendix 106: (cong) free semigroup congruence (6 classes) . . . 421μs KnuthBendix 107: (cong) free semigroup congruence (240 classes) . . . 3063μs KnuthBendix 108: (cong) free semigroup congruence (240 classes) . . . 2965μs KnuthBendix 109: (cong) less . . . 3593μs KnuthBendix 110: (cong) less . . . 173ms KnuthBendix 111: (cong) constructors . . . 246ms KnuthBendix 112: (cong) const_contains/contains . . . 155μs KnuthBendix 113: (cong) is_quotient_obviously_finite . . . 21μs KnuthBendix 114: (cong) class_index_to_word . . . 202μs KnuthBendix 115: (cong) quotient_froidure_pin . . . 157μs KnuthBendix 116: (cong) set_number_of_generators . . . 26μs KnuthBendix 117: (cong) number of classes when obv-inf . . . 41μs KnuthBendixCongruenceByPairs 016: non-trivial congruence on [...] . . . 181μs KnuthBendixCongruenceByPairs 017: non-trivial congruence on [...] . . . 184μs KnuthBendixCongruenceByPairs 018: non-trivial congruence on [...] . . . 252μs KnuthBendixCongruenceByPairs 019: non-trivial congruence on [...] . . . 255μs KnuthBendixCongruenceByPairs 020: trivial congruence on a fi [...] . . . 191μs KnuthBendixCongruenceByPairs 021: universal congruence on a [...] . . . 532μs KnuthBendixCongruenceByPairs 022: left congruence on a finit [...] . . . 293μs KnuthBendixCongruenceByPairs 023: finite group, Chapter 11, [...] . . . 3961μs KnuthBendixCongruenceByPairs 024: right congruence on infini [...] . . . 289μs KnuthBendixCongruenceByPairs 025: finite fp semigroup, dihed [...] . . . 288μs KnuthBendixCongruenceByPairs 026: finite fp semigroup, size 16 . . . 319μs KnuthBendixCongruenceByPairs 027: finite fp semigroup, size 16 . . . 884μs KnuthBendixCongruenceByPairs 028: infinite fp semigroup with [...] . . . 93μs Konieczny 000: test000> . . . 1097μs Konieczny 001: test000> . . . 844μs Konieczny 002: test001> . . . 11ms Konieczny 003: test001> . . . 9047μs Konieczny 006: exceptions . . . 44μs Konieczny 007: code coverage . . . 13ms Konieczny 008: code coverage . . . 11ms Konieczny 009: regular elements and idempotents . . . 208ms Konieczny 010: regular D-class 01 . . . 1043μs Konieczny 011: regular D-class 02 . . . 9924μs Konieczny 012: regular D-class 04: contains . . . 32ms Konieczny 013: non-regular D-classes 01 . . . 1125μs Konieczny 014: RegularDClass . . . 670μs Konieczny 015: full bmat monoid 4 . . . 44ms Konieczny 017: regular generated bmat monoid 4 idempotents . . . 89ms Konieczny 019: my favourite example . . . 95ms Konieczny 020: another large example . . . 16ms Konieczny 021: my favourite example transposed . . . 76ms Konieczny 024: exceptions . . . 1192μs Konieczny 025: 0-parameter constructor . . . 19ms Konieczny 026: non-regular D-classes 02 . . . 11ms Konieczny 028: partial perm . . . 171ms Konieczny 029: symmetric inverse monoid n = 8 . . . 31ms Konieczny 030: exceptions . . . 216ms Konieczny 031: transformations . . . 867μs Konieczny 032: transformations - JDM favourite example . . . 112ms Konieczny 033: transformations - large example . . . 297ms Konieczny 034: transformations - large example with stop . . . 276ms Konieczny 035: transformations - large example with run_until . . . 276ms Konieczny 036: transformations - large example with stop in Action . . . 275ms Konieczny 037: exceptions . . . 63μs Konieczny 038: transformations: contains . . . 595μs Konieczny 040: transformations - destructor coverage . . . 223ms Konieczny 041: current_number_D_classes . . . 226ms Konieczny 042: add_generator . . . 35μs Konieczny 043: add_generator . . . 24μs Matrix 000: BMat<2> . . . 95μs Matrix 001: BMat<> . . . 71μ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 . . . 38μs Matrix 007: BMat<> row_basis . . . 39μs Matrix 008: IntMat<3> . . . 14μs Matrix 009: IntMat<> . . . 17μs Matrix 010: IntMat code cov . . . 10μs Matrix 011: MaxPlusMat<3> . . . 13μs Matrix 012: MaxPlusMat<> . . . 15μs Matrix 013: MaxPlusMat code cov . . . 8000ns Matrix 014: MinPlusMat<3> . . . 16μs Matrix 015: MinPlusMat<> . . . 19μs Matrix 016: MinPlusMat code cov . . . 8000ns Matrix 017: MaxPlusTruncMat<5, 2> . . . 19μs Matrix 018: MaxPlusTruncMat<5> . . . 23μs Matrix 019: MaxPlusTruncMat<> . . . 30μs Matrix 020: MaxPlusTruncMat<5, 4> . . . 17μs Matrix 021: MaxPlusTruncMat<5> . . . 18μs Matrix 022: MaxPlusTruncMat<> . . . 18μs Matrix 023: MaxPlusTruncMat<33, 3> . . . 31μs Matrix 024: MaxPlusTruncMat<33> . . . 29μ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<> . . . 32μs Matrix 033: NTPMat<0, 10, 4, 4> . . . 24μs Matrix 034: NTPMat<0, 10> . . . 20μs Matrix 035: NTPMat<> . . . 20μs Matrix 036: NTPMat<0, 10, 4, 4> . . . 18μs Matrix 037: NTPMat<0, 10> . . . 18μs Matrix 038: NTPMat<> . . . 17μs Matrix 039: NTPMat<33, 2, 3, 3> . . . 15μs Matrix 040: NTPMat<33, 2> . . . 14μs Matrix 041: NTPMat<> . . . 14μs Matrix 042: ProjMaxPlusMat<3> . . . 92μs Matrix 043: ProjMaxPlusMat<> . . . 57μs Matrix 044: exceptions . . . 34μs Matrix 045: code coverage . . . 37μs MultiStringView 000: catch all . . . 44μs MultiStringView 001: is_prefix . . . 13μs MultiStringView 002: erase . . . 15μs MultiStringView 003: iterators . . . 12μs MultiStringView 004: constructors (long) . . . 19μ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 . . . 19μs MultiStringView 013: operators . . . 15μ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 occurences of [...] . . . 12μs ObviouslyInfinite 014: Less relations than generators . . . 11μs ObviouslyInfinite 015: Relations preserve length . . . 12μs ObviouslyInfinite 016: Matrix has non empty kernel . . . 13μs ObviouslyInfinite 017: Free product of trivial semigroups . . . 11μs ObviouslyInfinite 018: Another free product . . . 13μs ObviouslyInfinite 019: Infinite but not obviously so . . . 12μs ObviouslyInfinite 020: Finite semigroup . . . 14μs PBR 001: universal product with convenience constructor . . . 43μs PBR 002: universal product . . . 18μs PBR 003: product [bigger than previous] . . . 27μs PBR 004: hash . . . 10μs PBR 005: delete/copy . . . 18μs PBR 006: exceptions . . . 133μs PBR 007: operators . . . 71μs PBR 008: to_string . . . 20μs PBR 009: identity . . . 47μs PBR 010: adapters . . . 9000ns Pool 000: initial . . . 27μs Pool 001: bmat . . . 29μs Pool 002: PoolGuard . . . 20μs Pool 003: transformation products . . . 13μs Presentation 000: vectors of ints . . . 74μs Presentation 001: strings . . . 67μs Presentation 002: constructors (word_type) . . . 22μs Presentation 003: constructors (StaticVector1) . . . 22μs Presentation 004: constructors (std::string) . . . 21μs Presentation 005: alphabet + letters (word_type) . . . 109μs Presentation 006: alphabet + letters (std::string) . . . 34μ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) . . . 33μs Presentation 011: helpers add_identity_rules (std::vector/St [...] . . . 39μs Presentation 012: helpers add_identity_rules (std::string) . . . 24μs Presentation 013: helpers add_inverse_rules (all) . . . 164μs Presentation 014: helpers add_inverse_rules (std::string) . . . 37μs Presentation 015: helpers remove_duplicate_rules . . . 61μs Presentation 016: helpers reduce_complements . . . 114μs Presentation 017: helpers sort_each_rule . . . 57μs Presentation 018: helpers sort_rules . . . 60μs Presentation 019: helpers longest_common_subword/replace_subword . . . 242μs Presentation 020: helpers redundant_rule . . . 5534μs Presentation 021: helpers shortlex_compare_concat . . . 11μs Presentation 022: helpers remove_trivial_rules . . . 63μs Presentation 023: helpers replace_subword (existing, replacement) . . . 52μs Presentation 024: helpers longest_rule . . . 99μs Presentation 025: helpers longest_rule_length . . . 93μ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 . . . 20μs Presentation 030: helpers replace_word . . . 43μs Race 001: run_for . . . 10ms Race 002: run_until . . . 10ms Race 003: exceptions . . . 10ms Race 004: iterators . . . 12μs Race 005: find_runner . . . 11μs Race 006: run_func . . . 25ms Race 007: run_func . . . 10ms Race 008: run_func . . . 10ms Runner 000: run_for . . . 10ms Runner 001: run_for . . . 1010μs Runner 002: run_for . . . 192ms Runner 003: run_for . . . 25ms Runner 004: started . . . 1029μs Runner 005: run_until . . . 10ms Runner 006: kill . . . 26μs Runner 007: copy constructor . . . 10ms Runner 008: report . . . 20ms Runner 009: run_until with function pointer . . . 26μs SchreierSims 001: trivial perm. group (degree 1) . . . 55μs SchreierSims 002: trivial perm. group (degree 2) . . . 29μs SchreierSims 003: trivial perm. group (degree 500) . . . 333μs SchreierSims 004: symmetric perm. group (degree 5) . . . 44μs SchreierSims 005: symmetric perm. group (degree 8) . . . 77μs SchreierSims 006: symmetric perm. group (degree 9) . . . 105μs SchreierSims 007: alternating perm. group (degree 12) . . . 214μs SchreierSims 008: symmetric perm. group (degree 16) . . . 1590μs SchreierSims 009: alternating perm. group (degree 15) . . . 808μs SchreierSims 010: alternating perm. group (degree 16) . . . 1849μs SchreierSims 011: dihedral perm. group (order 10) . . . 32μs SchreierSims 012: dihedral perm. group (order 200) . . . 2133μs SchreierSims 013: perm. group T (order 12) . . . 34μs SchreierSims 014: quaternion perm. group (order 8) . . . 36μs SchreierSims 015: perm. group (order 84129611558952960) . . . 298ms SchreierSims 016: perm. group SL(3, 5) (order 372000) . . . 1415μs SchreierSims 017: perm. group PSL(4, 8) (order 34558531338240) . . . 115ms SchreierSims 018: perm. Mathieu group M11 (order 7920) . . . 104μs SchreierSims 019: perm. Mathieu group M24 (order 244823040) . . . 264μs SchreierSims 020: perm. Janko Group J1 (order 175560) . . . 3305μs SchreierSims 021: perm. Hall-Janko group (order 604800) . . . 466μs SchreierSims 022: perm. Hall-Janko group (alt.) (order 604800) . . . 29ms SchreierSims 023: perm. Conway group Co3 (order 495766656000) . . . 8994μs SchreierSims 024: perm. Conway group Co3 (alt.) (order 49576 [...] . . . 18ms SchreierSims 025: perm. Suzuki group (order 448345497600) . . . 104ms SchreierSims 027: perm. Held group (order 4030387200) . . . 188ms SchreierSims 028: perm. group C2 x C2 x C2 (order 8) . . . 34μs SchreierSims 029: perm. group C2 x C2 x C2 x C2 (order 16) . . . 45μs SchreierSims 030: perm. group (S5 x S5) : C2 (order 28800) . . . 79μs SchreierSims 031: perm. group C3 x D8 x A5 (order 1440) . . . 76μs SchreierSims 032: perm. group GL(4, 3) (order 24261120) . . . 816μs SchreierSims 033: perm. group PSL(3, 7) (order 1876896) . . . 944μs SchreierSims 037: symmetric perm. group (degree 5) . . . 37μs SchreierSims 038: alternating perm. group (degree 17) . . . 4854μs SchreierSims 039: exceptions . . . 117μs SchreierSims 040: exceptions . . . 61μs SchreierSims 041: trivial group . . . 87μs SchreierSims 042: A17 bug . . . 4293μs SchreierSims 043: orbits_lookup test . . . 640μs SchreierSims 044: transversal_element and inversal_element test . . . 1700μs SchreierSimsHelper 001: trivial perm. group intersection (de [...] . . . 25μs SchreierSimsHelper 002: trivial perm. group intersection (de [...] . . . 31μs SchreierSimsHelper 003: cyclic group intersection (degree 13) . . . 44μs SchreierSimsHelper 004: D10 and Z5 intersection . . . 36μs SchreierSimsHelper 005: D8 and Q8 intersection . . . 56μs SchreierSimsHelper 006: primitive on 8 points intersection . . . 108μs SchreierSimsHelper 007: primitive on 8 points intersection ( [...] . . . 105μs SchreierSimsHelper 008: A13 and PGL(2, 11) intersection . . . 849μs SchreierSimsHelper 009: A13 and PGL(2, 11) intersection (swa [...] . . . 832μs SchreierSimsHelper 012: 3^3:13 and 3^3.2.A(4) intersection . . . 197μs SchreierSimsHelper 015: 3^3(S(4) x 2) and ASL(3, 3) intersection . . . 408μs SchreierSimsHelper 016: 7^2:3 x Q(8) and 7^2:D(2*6) intersection . . . 535μs SchreierSimsHelper 018: D(2*53) and 53:13 intersection . . . 320μs SchreierSimsHelper 019: 2^6:(7 x D_14) and PSL(2, 6)^2.4 int [...] . . . 2195μs SchreierSimsHelper 020: 2^6:(S_3 x GL(3, 2)) and 2.6:Alt(7) [...] . . . 6858μs SchreierSimsHelper 022: PSL(2, 127) and AGL(1, 2^7) intersection . . . 11ms SchreierSimsHelper 023: PSL(3, 4).2 and PSL(3, 4).2 (nontriv [...] . . . 2453μs SchreierSimsHelper 024: PSL(3, 4).Sym(3) and PSL(3, 4).2 int [...] . . . 2579μs SchreierSimsHelper 025: 3^4:5:4 and D_16:4 intersection . . . 1335μs Sims1 000: fp example 1 . . . 1180μs Sims1 001: fp example 2 . . . 2122μs Sims1 002: ToddCoxeter failing example . . . 14ms Sims1 003: ToddCoxeter failing example . . . 588μs Sims1 004: partition_monoid(2) right . . . 4530μs Sims1 006: full_transformation_monoid(3) right . . . 4758μs Sims1 007: full_transformation_monoid(3) left . . . 2668μs Sims1 009: rook_monoid(2, 1) . . . 88μs Sims1 010: symmetric_inverse_monoid(2) from FroidurePin . . . 88μs Sims1 011: symmetric_inverse_monoid(3) . . . 4508μs Sims1 014: temperley_lieb_monoid(3) from presentation . . . 69μs Sims1 015: temperley_lieb_monoid(4) from presentation . . . 552μs Sims1 016: fp semigroup containing given pairs #1 . . . 250μs Sims1 017: fp semigroup containing given pairs #2 . . . 247μs Sims1 018: fp semigroup containing given pairs #3 . . . 390μs Sims1 019: ToddCoxeter failing example . . . 1104μs Sims1 020: fp example 2 . . . 1850μs Sims1 021: exceptions . . . 201μs Sims1 027: from https://mathoverflow.net/questions/423541/ . . . 18ms Sims1 028: from https://mathoverflow.net/questions/423541/ . . . 13ms Sims1 030: presentation with one free generator . . . 198μs Sims1 031: presentation with non-zero index generators . . . 70μs Sims1 032: presentation with empty word . . . 6061μs Sims1 033: constructors . . . 995μs Sims1 034: split_at . . . 182μs Sims1 035: stats . . . 91μs Sims1 036: check iterator requirements . . . 117μs Sims1 040: TransitiveGroup(10, 32) - minimal rep . . . 2831μs Sims1 043: rectangular_band(2, 2) - with and without identity . . . 170μs Sims1 044: trivial group - minimal o.r.c. rep . . . 106μs Sims1 045: right zero semigroup - minimal o.r.c. rep . . . 2172μs Sims1 046: semigroup with faithful non-strictly cyclic actio [...] . . . 672μs Sims1 068: RepOrc . . . 23ms Sims1 069: fp example 1 . . . 341μ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 865μs (157ns 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 . . . 931μs Sims1 072: symmetric_group(n) for n = 4 . . . 1399μs Sims1 073: corner case no generators + no relations . . . 76μs SmallestInteger 001: . . . 12μs StaticTriVector2 045: all . . . 18μs StaticVector2 043: all . . . 18μs Suf 005: unite . . . 23μs Suf 007: compress . . . 14μs Suf 011: big chain . . . 14ms Suf 013: empty table . . . 9000ns Suf 015: join . . . 11μs Suf 017: contains . . . 25μs Suf 019: swap . . . 27μs SuffixTree 000: basic tests . . . 57ms SuffixTree 001: maximal_piece_prefix 1 . . . 47μs SuffixTree 002: maximal_piece_prefix 2 . . . 39μs SuffixTree 003: maximal_piece_prefix 3 . . . 217μs SuffixTree 004: number_of_pieces . . . 52μs SuffixTree 005: traverse . . . 30μs SuffixTree 006: tikz . . . 724μs SuffixTree 007: strings . . . 117μs SuffixTree 008: dot . . . 67μs SuffixTree 009: dfs #01 . . . 46μs SuffixTree 010: dfs #02 . . . 46μs SuffixTree 011: dfs #03 . . . 43μs SuffixTree 012: dfs #04 . . . 95μs SuffixTree 013: dfs #05 . . . 89μs SuffixTree 014: dfs #06 . . . 72μs SuffixTree 015: dfs #07 . . . 134μs SuffixTree 016: dfs #08 . . . 91μs SuffixTree 017: dfs #09 . . . 125μs SuffixTree 018: dfs #10 . . . 41μs Timer 001: string method (1 argument) . . . 26μs Timer 002: string method (0 arguments) . . . 10ms Timer 003: reset/elapsed method . . . 20ms Timer 004: operator<< . . . 11μs ToddCoxeter 000: small 2-sided congruence . . .  -- with HLT + no standardise + full lookahead + no save 1033μs  -- with HLT + standardise + full lookahead + no save 1069μs  -- with HLT + no standardise + partial lookahead + no save 957μs  -- with HLT + standardise + partial lookahead + no save 960μs  -- with HLT + no standardise + full lookahead + save 997μs  -- with HLT + standardise + full lookahead + save 981μs  -- with HLT + no standardise + partial lookahead + save 980μs  -- with HLT + standardise + partial lookahead + save 989μs  -- with Felsch + no standardisation 973μs  -- with Felsch + standardisation 965μs  -- with random strategy 980μs  -- with Rc style + full lookahead 973μs  -- with Rc style + partial lookahead 962μs  -- with R/C style 958μs  -- with CR style 982μs  -- with Cr style 967μs ToddCoxeter 001: small 2-sided congruence . . .  -- with HLT + no standardise + full lookahead + no save 5229μs  -- with HLT + standardise + full lookahead + no save 5231μs  -- with HLT + no standardise + partial lookahead + no save 5230μs  -- with HLT + standardise + partial lookahead + no save 5151μs  -- with HLT + no standardise + full lookahead + save 5107μs  -- with HLT + standardise + full lookahead + save 5105μs  -- with HLT + no standardise + partial lookahead + save 5104μs  -- with HLT + standardise + partial lookahead + save 5119μs  -- with Felsch + no standardisation 5081μs  -- with Felsch + standardisation 5497μs  -- with random strategy 5124μs  -- with Rc style + full lookahead 5106μs  -- with Rc style + partial lookahead 5105μs  -- with R/C style 5100μs  -- with CR style 5088μs  -- with Cr style 5107μs ToddCoxeter 003: constructed from FroidurePin . . .  -- with Felsch + no standardisation 233ms  -- with Felsch + standardisation 233ms  -- with HLT + no standardise + full lookahead + no save 82ms  -- with HLT + standardise + full lookahead + no save 81ms  -- with HLT + no standardise + partial lookahead + no save 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 238ms  -- with HLT + standardise + partial lookahead + save 238ms  -- with random strategy 237ms  -- with Rc style + full lookahead 235ms  -- with Rc style + partial lookahead 235ms  -- with R/C style 88ms  -- with CR style 235ms  -- with Cr style 234ms ToddCoxeter 004: 2-sided congruence from FroidurePin . . .  -- with HLT + no standardise + full lookahead + no save 245μs  -- with HLT + standardise + full lookahead + no save 196μs  -- with HLT + no standardise + partial lookahead + no save 186μs  -- with HLT + standardise + partial lookahead + no save 190μs  -- with HLT + save (throws) 219μs  -- with Felsch (throws) 199μs  -- with random strategy 190μs ToddCoxeter 005: non-trivial two-sided from relations . . .  -- with HLT + no standardise + full lookahead + no save 58μs  -- with HLT + standardise + full lookahead + no save 41μs  -- with HLT + no standardise + partial lookahead + no save 40μs  -- with HLT + standardise + partial lookahead + no save 38μs  -- with HLT + no standardise + full lookahead + save 52μs  -- with HLT + standardise + full lookahead + save 48μs  -- with HLT + no standardise + partial lookahead + save 47μs  -- with HLT + standardise + partial lookahead + save 48μs  -- with Felsch + no standardisation 45μs  -- with Felsch + standardisation 42μs  -- with random strategy 48μs  -- with Rc style + full lookahead 42μs  -- with Rc style + partial lookahead 40μs  -- with R/C style 40μs  -- with CR style 44μs  -- with Cr style 44μs ToddCoxeter 006: small right cong. on free semigroup . . .  -- with HLT + no standardise + full lookahead + no save 42μs  -- with HLT + standardise + full lookahead + no save 35μ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 37μs  -- with HLT + standardise + full lookahead + save 36μs  -- with HLT + no standardise + partial lookahead + save 34μs  -- with HLT + standardise + partial lookahead + save 36μs  -- with Felsch + no standardisation 35μs  -- with Felsch + standardisation 43μs  -- with random strategy 37μs  -- with Rc style + full lookahead 33μs  -- with Rc style + partial lookahead 31μs  -- with R/C style 34μs  -- with CR style 36μs  -- with Cr style 35μs ToddCoxeter 007: left cong. on free semigroup . . .  -- with HLT + no standardise + full lookahead + no save 45μs  -- with HLT + standardise + full lookahead + no save 36μs  -- with HLT + no standardise + partial lookahead + no save 35μs  -- with HLT + standardise + partial lookahead + no save 34μs  -- with HLT + no standardise + full lookahead + save 40μs  -- with HLT + standardise + full lookahead + save 40μs  -- with HLT + no standardise + partial lookahead + save 39μs  -- with HLT + standardise + partial lookahead + save 43μs  -- with Felsch + no standardisation 39μs  -- with Felsch + standardisation 39μs  -- with random strategy 49μs  -- with Rc style + full lookahead 39μs  -- with Rc style + partial lookahead 38μs  -- with R/C style 37μs  -- with CR style 41μs  -- with Cr style 40μs ToddCoxeter 008: for small fp semigroup . . .  -- with HLT + no standardise + full lookahead + no save 37μs  -- with HLT + standardise + full lookahead + no save 33μs  -- with HLT + no standardise + partial lookahead + no save 33μs  -- with HLT + standardise + partial lookahead + no save 31μs  -- with HLT + no standardise + full lookahead + save 35μs  -- with HLT + standardise + full lookahead + save 35μs  -- with HLT + no standardise + partial lookahead + save 34μs  -- with HLT + standardise + partial lookahead + save 35μs  -- with Felsch + no standardisation 34μs  -- with Felsch + standardisation 34μs  -- with random strategy 38μs  -- with Rc style + full lookahead 34μs  -- with Rc style + partial lookahead 33μs  -- with R/C style 36μs  -- with CR style 37μs  -- with Cr style 37μs ToddCoxeter 009: 2-sided cong. trans. semigroup . . .  -- with HLT + no standardise + full lookahead + no save 242μs  -- with HLT + standardise + full lookahead + no save 222μs  -- with HLT + no standardise + partial lookahead + no save 216μs  -- with HLT + standardise + partial lookahead + no save 217μs  -- with HLT + no standardise + full lookahead + save 549μs  -- with HLT + standardise + full lookahead + save 538μs  -- with HLT + no standardise + partial lookahead + save 526μs  -- with HLT + standardise + partial lookahead + save 518μs  -- with Felsch + no standardisation 487μs  -- with Felsch + standardisation 460μs  -- with random strategy 233μs  -- with Rc style + full lookahead 226μs  -- with Rc style + partial lookahead 223μs  -- with R/C style 228μs  -- with CR style 481μs  -- with Cr style 476μs ToddCoxeter 010: left congruence on transformation semigroup . . .  -- with HLT + no standardise + full lookahead + no save 250μs  -- with HLT + standardise + full lookahead + no save 250μs  -- with HLT + no standardise + partial lookahead + no save 242μs  -- with HLT + standardise + partial lookahead + no save 247μs  -- with HLT + no standardise + full lookahead + save 578μs  -- with HLT + standardise + full lookahead + save 561μs  -- with HLT + no standardise + partial lookahead + save 542μs  -- with HLT + standardise + partial lookahead + save 561μs  -- with Felsch + no standardisation 512μs  -- with Felsch + standardisation 485μs  -- with random strategy 617μs  -- with Rc style + full lookahead 269μs  -- with Rc style + partial lookahead 265μs  -- with R/C style 284μs  -- with CR style 529μs  -- with Cr style 515μs ToddCoxeter 011: right cong. trans. semigroup . . .  -- with HLT + no standardise + full lookahead + no save 265μs  -- with HLT + standardise + full lookahead + no save 259μs  -- with HLT + no standardise + partial lookahead + no save 246μs  -- with HLT + standardise + partial lookahead + no save 253μs  -- with HLT + no standardise + full lookahead + save 557μs  -- with HLT + standardise + full lookahead + save 552μs  -- with HLT + no standardise + partial lookahead + save 530μs  -- with HLT + standardise + partial lookahead + save 547μs  -- with Felsch + no standardisation 428μs  -- with Felsch + standardisation 433μs  -- with random strategy 288μs  -- with Rc style + full lookahead 275μs  -- with Rc style + partial lookahead 286μs  -- with R/C style 291μs  -- with CR style 448μs  -- with Cr style 442μs ToddCoxeter 012: trans. semigroup (size 88) . . .  -- with HLT + no standardise + full lookahead + no save 172μs  -- with HLT + standardise + full lookahead + no save 159μs  -- with HLT + no standardise + partial lookahead + no save 160μs  -- with HLT + standardise + partial lookahead + no save 159μs  -- with HLT + save (throws) 170μs  -- with Felsch (throws) 168μs  -- with random strategy 171μs ToddCoxeter 013: left cong. on trans. semigroup (size 88) . . .  -- with HLT + no standardise + full lookahead + no save 217μs  -- with HLT + standardise + full lookahead + no save 221μs  -- with HLT + no standardise + partial lookahead + no save 209μs  -- with HLT + standardise + partial lookahead + no save 216μs  -- with HLT + no standardise + full lookahead + save 541μs  -- with HLT + standardise + full lookahead + save 536μs  -- with HLT + no standardise + partial lookahead + save 535μs  -- with HLT + standardise + partial lookahead + save 524μs  -- with Felsch + no standardisation 492μs  -- with Felsch + standardisation 452μs  -- with random strategy 255μs  -- with Rc style + full lookahead 241μs  -- with Rc style + partial lookahead 237μs  -- with R/C style 259μs  -- with CR style 501μs  -- with Cr style 484μs ToddCoxeter 014: right cong. on trans. semigroup (size 88) . . .  -- with HLT + no standardise + full lookahead + no save 225μs  -- with HLT + standardise + full lookahead + no save 229μs  -- with HLT + no standardise + partial lookahead + no save 215μs  -- with HLT + standardise + partial lookahead + no save 222μs  -- with HLT + no standardise + full lookahead + save 524μs  -- with HLT + standardise + full lookahead + save 506μs  -- with HLT + no standardise + partial lookahead + save 492μs  -- with HLT + standardise + partial lookahead + save 510μs  -- with Felsch + no standardisation 397μs  -- with Felsch + standardisation 403μs  -- with random strategy 259μs  -- with Rc style + full lookahead 244μs  -- with Rc style + partial lookahead 244μs  -- with R/C style 266μs  -- with CR style 415μs  -- with Cr style 399μs ToddCoxeter 015: finite fp-semigroup, dihedral group of order 6 . . .  -- with HLT + no standardise + full lookahead + no save 82μs  -- with HLT + standardise + full lookahead + no save 66μs  -- with HLT + no standardise + partial lookahead + no save 67μs  -- with HLT + standardise + partial lookahead + no save 63μs  -- with HLT + no standardise + full lookahead + save 83μs  -- with HLT + standardise + full lookahead + save 79μs  -- with HLT + no standardise + partial lookahead + save 76μs  -- with HLT + standardise + partial lookahead + save 81μs  -- with Felsch + no standardisation 74μs  -- with Felsch + standardisation 70μs  -- with random strategy 74μs  -- with Rc style + full lookahead 63μs  -- with Rc style + partial lookahead 60μs  -- with R/C style 61μs  -- with CR style 70μs  -- with Cr style 68μs ToddCoxeter 016: finite fp-semigroup, size 16 . . .  -- with HLT + no standardise + full lookahead + no save 72μs  -- with HLT + standardise + full lookahead + no save 64μs  -- with HLT + no standardise + partial lookahead + no save 62μs  -- with HLT + standardise + partial lookahead + no save 61μs  -- with HLT + no standardise + full lookahead + save 132μs  -- with HLT + standardise + full lookahead + save 128μs  -- with HLT + no standardise + partial lookahead + save 122μs  -- with HLT + standardise + partial lookahead + save 121μs  -- with Felsch + no standardisation 122μs  -- with Felsch + standardisation 112μs  -- with random strategy 127μs  -- with Rc style + full lookahead 80μs  -- with Rc style + partial lookahead 64μs  -- with R/C style 70μs  -- with CR style 115μs  -- with Cr style 110μs ToddCoxeter 017: finite fp-semigroup, size 16 . . .  -- with HLT + no standardise + full lookahead + no save 178μs  -- with HLT + standardise + full lookahead + no save 169μs  -- with HLT + no standardise + partial lookahead + no save 167μs  -- with HLT + standardise + partial lookahead + no save 171μs  -- with HLT + no standardise + full lookahead + save 341μs  -- with HLT + standardise + full lookahead + save 338μs  -- with HLT + no standardise + partial lookahead + save 328μs  -- with HLT + standardise + partial lookahead + save 329μs  -- with Felsch + no standardisation 315μs  -- with Felsch + standardisation 307μs  -- with random strategy 333μs  -- with Rc style + full lookahead 170μs  -- with Rc style + partial lookahead 165μs  -- with R/C style 170μs  -- with CR style 313μs  -- with Cr style 314μs ToddCoxeter 018: test lookahead . . .  -- with HLT + no standardise + full lookahead + no save 273μ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 248μs  -- with HLT + no standardise + full lookahead + save 440μs  -- with HLT + standardise + full lookahead + save 429μs  -- with HLT + no standardise + partial lookahead + save 415μs  -- with HLT + standardise + partial lookahead + save 419μs ToddCoxeter 019: non-trivial left cong. from semigroup . . .  -- with HLT + no standardise + full lookahead + no save 162μs  -- with HLT + standardise + full lookahead + no save 164μs  -- with HLT + no standardise + partial lookahead + no save 148μs  -- with HLT + standardise + partial lookahead + no save 150μs  -- with HLT + save (throws) 162μs  -- with Felsch (throws) 158μs  -- with random strategy 164μ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 18μs  -- with HLT + standardise + partial lookahead + no save 25μs  -- with HLT + no standardise + full lookahead + save 18μs  -- with HLT + standardise + full lookahead + save 18μs  -- with HLT + no standardise + partial lookahead + save 18μs  -- with HLT + standardise + partial lookahead + save 18μs  -- with Felsch + no standardisation 18μs  -- with Felsch + standardisation 19μs  -- with random strategy 17μs ToddCoxeter 021: calling run when obviously infinite . . .  -- with HLT + no standardise + full lookahead + no save 46μs  -- with HLT + standardise + full lookahead + no save 33μs  -- with HLT + no standardise + partial lookahead + no save 31μ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 31μs  -- with random strategy 30μs ToddCoxeter 022: stellar_monoid S3 . . .  -- with HLT + no standardise + full lookahead + no save 118μs  -- with HLT + standardise + full lookahead + no save 107μs  -- with HLT + no standardise + partial lookahead + no save 99μs  -- with HLT + standardise + partial lookahead + no save 102μs  -- with HLT + no standardise + full lookahead + save 197μs  -- with HLT + standardise + full lookahead + save 189μs  -- with HLT + no standardise + partial lookahead + save 179μs  -- with HLT + standardise + partial lookahead + save 180μs  -- with Felsch + no standardisation 182μs  -- with Felsch + standardisation 166μs  -- with random strategy 184μs  -- with Rc style + full lookahead 109μs  -- with Rc style + partial lookahead 106μs  -- with R/C style 109μs  -- with CR style 165μs  -- with Cr style 161μs ToddCoxeter 023: finite semigroup (size 5) . . .  -- with HLT + no standardise + full lookahead + no save 41μs  -- with HLT + standardise + full lookahead + no save 35μ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 37μs  -- with HLT + standardise + full lookahead + save 35μs  -- with HLT + no standardise + partial lookahead + save 34μs  -- with HLT + standardise + partial lookahead + save 34μs  -- with Felsch + no standardisation 34μs  -- with Felsch + standardisation 35μs  -- with random strategy 34μs  -- with Rc style + full lookahead 32μs  -- with Rc style + partial lookahead 31μs  -- with R/C style 31μs  -- with CR style 36μs  -- with Cr style 34μs ToddCoxeter 024: exceptions . . .  -- with HLT + no standardise + full lookahead + no save 159μs  -- with HLT + standardise + full lookahead + no save 139μs  -- with HLT + no standardise + partial lookahead + no save 136μs  -- with HLT + standardise + partial lookahead + no save 136μs  -- with HLT + no standardise + full lookahead + save 141μs  -- with HLT + standardise + full lookahead + save 140μs  -- with HLT + no standardise + partial lookahead + save 140μs  -- with HLT + standardise + partial lookahead + save 139μs  -- with Felsch + no standardisation 138μs  -- with Felsch + standardisation 142μs  -- with random strategy 139μs  -- with Rc style + full lookahead 140μs  -- with Rc style + partial lookahead 156μs  -- with R/C style 139μs  -- with CR style 141μs  -- with Cr style 142μs ToddCoxeter 025: obviously infinite . . .  -- with HLT + no standardise + full lookahead + no save 42μs  -- with HLT + standardise + full lookahead + no save 37μs  -- with HLT + no standardise + partial lookahead + no save 36μs  -- with HLT + standardise + partial lookahead + no save 36μs  -- with HLT + no standardise + full lookahead + save 38μs  -- with HLT + standardise + full lookahead + save 35μs  -- with HLT + no standardise + partial lookahead + save 35μs  -- with HLT + standardise + partial lookahead + save 35μs  -- with Felsch + no standardisation 35μs  -- with Felsch + standardisation 34μs  -- with random strategy 34μs ToddCoxeter 026: exceptions . . .  -- with HLT + no standardise + full lookahead + no save 102μs  -- with HLT + standardise + full lookahead + no save 84μs  -- with HLT + no standardise + partial lookahead + no save 83μs  -- with HLT + standardise + partial lookahead + no save 83μs  -- with HLT + no standardise + full lookahead + save 93μs  -- with HLT + standardise + full lookahead + save 89μs  -- with HLT + no standardise + partial lookahead + save 89μs  -- with HLT + standardise + partial lookahead + save 88μs  -- with Felsch + no standardisation 87μs  -- with Felsch + standardisation 89μs  -- with random strategy 93μs  -- with Rc style + full lookahead 86μs  -- with Rc style + partial lookahead 84μs  -- with R/C style 85μs  -- with CR style 88μs  -- with Cr style 91μs ToddCoxeter 027: empty . . . 60μs ToddCoxeter 028: congruence of fpsemigroup::ToddCoxeter . . .  -- with HLT + no standardise + full lookahead + no save 151μs  -- with HLT + standardise + full lookahead + no save 121μs  -- with HLT + no standardise + partial lookahead + no save 117μs  -- with HLT + standardise + partial lookahead + no save 117μs  -- with HLT + save (throws) 124μs  -- with Felsch (throws) 132μs  -- with random strategy 125μs  -- with HLT + no standardise + full lookahead + save 119μs  -- with HLT + standardise + full lookahead + save 124μs  -- with HLT + no standardise + partial lookahead + save 122μs  -- with HLT + standardise + partial lookahead + save 118μs  -- with Felsch + no standardisation 117μs  -- with Felsch + standardisation 116μs  -- with Rc style + full lookahead 112μs  -- with Rc style + partial lookahead 112μs  -- with R/C style 111μs  -- with CR style 113μs  -- with Cr style 114μs ToddCoxeter 029: !KnuthBendix.started() . . .  -- with HLT + no standardise + full lookahead + no save and 2-sided 82μs  -- with HLT + standardise + full lookahead + no save and 2-sided 61μs  -- with HLT + no standardise + partial lookahead + no save and 2-sided 55μs  -- with HLT + standardise + partial lookahead + no save and 2-sided 54μs  -- with HLT + no standardise + full lookahead + save and 2-sided 60μs  -- with HLT + standardise + full lookahead + save and 2-sided 60μs  -- with HLT + no standardise + partial lookahead + save and 2-sided 58μs  -- with HLT + standardise + partial lookahead + save and 2-sided 58μs  -- with Felsch + no standardisation and 2-sided 57μs  -- with Felsch + standardisation and 2-sided 56μs  -- with random strategy and 2-sided 59μs  -- with HLT + no standardise + full lookahead + no save and left 73μs  -- with HLT + standardise + full lookahead + no save and left 59μ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 63μs  -- with HLT + standardise + full lookahead + save and left 63μs  -- with HLT + no standardise + partial lookahead + save and left 66μs  -- with HLT + standardise + partial lookahead + save and left 64μs  -- with Felsch + no standardisation and left 60μs  -- with Felsch + standardisation and left 60μs  -- with random strategy and left 58μs  -- with HLT + no standardise + full lookahead + no save and right 56μs  -- with HLT + standardise + full lookahead + no save and right 53μs  -- with HLT + no standardise + partial lookahead + no save and right 55μs  -- with HLT + standardise + partial lookahead + no save and right 53μs  -- with HLT + no standardise + full lookahead + save and right 68μs  -- with HLT + standardise + full lookahead + save and right 62μs  -- with HLT + no standardise + partial lookahead + save and right 60μs  -- with HLT + standardise + partial lookahead + save and right 61μs  -- with Felsch + no standardisation and right 60μs  -- with Felsch + standardisation and right 59μs  -- with random strategy and right 63μs ToddCoxeter 030: KnuthBendix.finished() . . .  -- with HLT + no standardise + full lookahead + no save and 2-sided 156μs  -- with HLT + standardise + full lookahead + no save and 2-sided 134μs  -- with HLT + no standardise + partial lookahead + no save and 2-sided 128μs  -- with HLT + standardise + partial lookahead + no save and 2-sided 124μs  -- with HLT + no standardise + full lookahead + save and 2-sided 128μs  -- with HLT + standardise + full lookahead + save and 2-sided 127μs  -- with HLT + no standardise + partial lookahead + save and 2-sided 126μs  -- with HLT + standardise + partial lookahead + save and 2-sided 126μs  -- with Felsch + no standardisation and 2-sided 121μs  -- with Felsch + standardisation and 2-sided 120μs  -- with random strategy and 2-sided 124μs  -- with HLT + no standardise + full lookahead + no save and left 129μs  -- with HLT + standardise + full lookahead + no save and left 125μs  -- with HLT + no standardise + partial lookahead + no save and left 128μs  -- with HLT + standardise + partial lookahead + no save and left 124μs  -- with HLT + no standardise + full lookahead + save and left 135μs  -- with HLT + standardise + full lookahead + save and left 135μs  -- with HLT + no standardise + partial lookahead + save and left 135μs  -- with HLT + standardise + partial lookahead + save and left 134μs  -- with Felsch + no standardisation and left 147μs  -- with Felsch + standardisation and left 133μs  -- with random strategy and left 136μs  -- with HLT + no standardise + full lookahead + no save and right 150μs  -- with HLT + standardise + full lookahead + no save and right 169μs  -- with HLT + no standardise + partial lookahead + no save and right 166μs  -- with HLT + standardise + partial lookahead + no save and right 169μs  -- with HLT + no standardise + full lookahead + save and right 176μs  -- with HLT + standardise + full lookahead + save and right 176μs  -- with HLT + no standardise + partial lookahead + save and right 175μs  -- with HLT + standardise + partial lookahead + save and right 175μs  -- with Felsch + no standardisation and right 164μs  -- with Felsch + standardisation and right 163μs  -- with random strategy and right 192μs ToddCoxeter 031: KnuthBendix.finished() . . .  -- with HLT + no standardise + full lookahead + no save and 2-sided 112μs  -- with HLT + standardise + full lookahead + no save and 2-sided 100μs  -- with HLT + no standardise + partial lookahead + no save and 2-sided 93μs  -- with HLT + standardise + partial lookahead + no save and 2-sided 96μs  -- with HLT + no standardise + full lookahead + save and 2-sided 98μs  -- with HLT + standardise + full lookahead + save and 2-sided 97μs  -- with HLT + no standardise + partial lookahead + save and 2-sided 96μs  -- with HLT + standardise + partial lookahead + save and 2-sided 96μs  -- with Felsch + no standardisation and 2-sided 90μs  -- with Felsch + standardisation and 2-sided 89μs  -- with random strategy and 2-sided 96μs  -- with Rc style + full lookahead and 2-sided 96μs  -- with Rc style + partial lookahead and 2-sided 94μs  -- with R/C style and 2-sided 89μs  -- with CR style and 2-sided 95μs  -- with Cr style and 2-sided 96μs  -- with HLT + no standardise + full lookahead + no save and left 100μs  -- with HLT + standardise + full lookahead + no save and left 95μs  -- with HLT + no standardise + partial lookahead + no save and left 98μs  -- with HLT + standardise + partial lookahead + no save and left 93μs  -- with HLT + no standardise + full lookahead + save and left 103μs  -- with HLT + standardise + full lookahead + save and left 101μs  -- with HLT + no standardise + partial lookahead + save and left 100μs  -- with HLT + standardise + partial lookahead + save and left 100μs  -- with Felsch + no standardisation and left 97μs  -- with Felsch + standardisation and left 95μs  -- with random strategy and left 109μs  -- with Rc style + full lookahead and left 99μs  -- with Rc style + partial lookahead and left 97μs  -- with R/C style and left 93μs  -- with CR style and left 100μs  -- with Cr style and left 104μs  -- with HLT + no standardise + full lookahead + no save and right 111μs  -- with HLT + standardise + full lookahead + no save and right 94μs  -- with HLT + no standardise + partial lookahead + no save and right 92μs  -- with HLT + standardise + partial lookahead + no save and right 95μs  -- with HLT + no standardise + full lookahead + save and right 99μs  -- with HLT + standardise + full lookahead + save and right 102μs  -- with HLT + no standardise + partial lookahead + save and right 99μs  -- with HLT + standardise + partial lookahead + save and right 99μs  -- with Felsch + no standardisation and right 96μs  -- with Felsch + standardisation and right 103μs  -- with random strategy and right 106μs  -- with Rc style + full lookahead and right 97μs  -- with Rc style + partial lookahead and right 98μs  -- with R/C style and right 92μs  -- with CR style and right 99μs  -- with Cr style and right 103μs ToddCoxeter 032: prefill . . . 137μs ToddCoxeter 033: congruence of ToddCoxeter . . .  -- with HLT + no standardise + full lookahead + no save 49μs  -- with HLT + standardise + full lookahead + no save 38μs  -- with HLT + no standardise + partial lookahead + no save 36μs  -- with HLT + standardise + partial lookahead + no save 37μs  -- with HLT + no standardise + full lookahead + save 61μs  -- with HLT + standardise + full lookahead + save 61μs  -- with HLT + no standardise + partial lookahead + save 63μs  -- with HLT + standardise + partial lookahead + save 59μs  -- with random strategy 44μs ToddCoxeter 034: congruence of ToddCoxeter . . .  -- with HLT + no standardise + full lookahead + no save 141μs  -- with HLT + standardise + full lookahead + no save 133μs  -- with HLT + no standardise + partial lookahead + no save 128μs  -- with HLT + standardise + partial lookahead + no save 128μs  -- with HLT + save (throws) 140μs  -- with Felsch (throws) 140μs  -- with random strategy 141μs ToddCoxeter 035: congruence on FpSemigroup . . .  -- with HLT + no standardise + full lookahead + no save 320μs  -- with HLT + standardise + full lookahead + no save 302μs  -- with HLT + no standardise + partial lookahead + no save 289μs  -- with HLT + standardise + partial lookahead + no save 294μs  -- with HLT + no standardise + full lookahead + save 328μs  -- with HLT + standardise + full lookahead + save 322μs  -- with HLT + no standardise + partial lookahead + save 321μs  -- with HLT + standardise + partial lookahead + save 320μs  -- with Felsch + no standardisation 316μs  -- with Felsch + standardisation 674μs  -- with random strategy 335μs  -- with Rc style + full lookahead 284μs  -- with Rc style + partial lookahead 293μs  -- with R/C style 281μs  -- with CR style 320μs  -- with Cr style 320μs ToddCoxeter 036: exceptions . . . 107μs ToddCoxeter 037: copy constructor . . . 39μs ToddCoxeter 038: simplify . . . 122μs ToddCoxeter 039: stylic_monoid . . . 680ms ToddCoxeter 041: some finite classes . . . 497μs ToddCoxeter 043: symmetric_group(7, Coxeter + Moser) . . . 123ms ToddCoxeter 044: Option exceptions . . . 101μs ToddCoxeter 045: Options operator<< . . . 709μs ToddCoxeter 046: Easdown-East-FitzGerald DualSymInv(5) . . .  -- with HLT + no standardise + full lookahead + no save 144ms  -- with HLT + standardise + full lookahead + no save 158ms  -- with HLT + no standardise + partial lookahead + no save 144ms  -- with HLT + standardise + partial lookahead + no save 158ms  -- with HLT + no standardise + full lookahead + save 110ms  -- with HLT + standardise + full lookahead + save 110ms  -- with HLT + no standardise + partial lookahead + save 110ms  -- with HLT + standardise + partial lookahead + save 110ms  -- with Felsch + no standardisation 121ms  -- with Felsch + standardisation 121ms  -- with random strategy 148ms  -- with R/C style 151ms  -- with Rc style + full lookahead 126ms  -- with Rc style + partial lookahead 125ms ToddCoxeter 047: uniform_block_bijection_monoid(3) (FitzGerald) . . .  -- with HLT + no standardise + full lookahead + no save 126μs  -- with HLT + standardise + full lookahead + no save 95μs  -- with HLT + no standardise + partial lookahead + no save 74μs  -- with HLT + standardise + partial lookahead + no save 76μs  -- with HLT + no standardise + full lookahead + save 164μs  -- with HLT + standardise + full lookahead + save 155μs  -- with HLT + no standardise + partial lookahead + save 146μs  -- with HLT + standardise + partial lookahead + save 151μs  -- with Felsch + no standardisation 126μs  -- with Felsch + standardisation 122μs  -- with random strategy 124μs  -- with R/C style 85μs  -- with Rc style + full lookahead 79μs  -- with Rc style + partial lookahead 86μs ToddCoxeter 048: stellar_monoid(7) (Gay-Hivert) . . . 130ms ToddCoxeter 049: partition_monoid(4) (East) . . .  -- with HLT + no standardise + full lookahead + no save 24ms  -- with HLT + standardise + full lookahead + no save 24ms  -- with HLT + no standardise + partial lookahead + no save 24ms  -- with HLT + standardise + partial lookahead + no save 25ms  -- with HLT + no standardise + full lookahead + save 44ms  -- with HLT + standardise + full lookahead + save 45ms  -- with HLT + no standardise + partial lookahead + save 44ms  -- with HLT + standardise + partial lookahead + save 45ms  -- with Felsch + no standardisation 52ms  -- with Felsch + standardisation 52ms  -- with random strategy 53ms  -- with R/C style 27ms  -- with Rc style + full lookahead 56ms  -- with Rc style + partial lookahead 56ms ToddCoxeter 050: singular_brauer_monoid(6) (Maltcev + Mazorchuk) . . . 485ms ToddCoxeter 051: orientation_preserving_monoid(6) (Ruskuc + [...] . . .  -- with HLT + no standardise + full lookahead + no save 19ms ToddCoxeter 052: orientation_reversing_monoid(5) (Ruskuc + [...] . . .  -- with HLT + no standardise + full lookahead + no save 5122μs ToddCoxeter 053: temperley_lieb_monoid(10) (East) . . . 30ms ToddCoxeter 063: add_rule . . .  -- with HLT + no standardise + full lookahead + no save 86μs  -- with HLT + standardise + full lookahead + no save 63μs  -- with HLT + no standardise + partial lookahead + no save 60μs  -- with HLT + standardise + partial lookahead + no save 60μs  -- with HLT + no standardise + full lookahead + save 66μs  -- with HLT + standardise + full lookahead + save 64μs  -- with HLT + no standardise + partial lookahead + save 66μs  -- with HLT + standardise + partial lookahead + save 64μs  -- with Felsch + no standardisation 64μs  -- with Felsch + standardisation 63μs  -- with random strategy 62μs  -- with Rc style + full lookahead 61μs  -- with Rc style + partial lookahead 59μ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 68μs  -- with Cr + small number of f_defs 68μs  -- with Rc + small number of deductions 61μs  -- with Felsch + v2 + no preferred defs 63μs  -- with Felsch + v2 + immediate no stack 64μs  -- with Felsch + v1 + immediate no stack 63μs  -- with Felsch + v1 + immediate yes stack 63μs  -- with large collapse 59μs ToddCoxeter 064: (from kbmag/standalone/kb_data/s4) (KnuthB [...] . . .  -- with HLT + no standardise + full lookahead + no save 235μs ToddCoxeter 066: test validate . . . 58μs ToddCoxeter 067: add_rules after construct. from semigroup . . .  -- with HLT + no standardise + full lookahead + no save 377μs  -- with HLT + standardise + full lookahead + no save 344μs  -- with HLT + no standardise + partial lookahead + no save 341μs  -- with HLT + standardise + partial lookahead + no save 334μs  -- with HLT + save (throws) 344μs  -- with Felsch (throws) 343μs  -- with random strategy 329μs ToddCoxeter 068: Sym(5) from Chapter 3, Proposition 1.1 in NR . . .  -- with Deduction policy == purge_from_top 594μs  -- with Deduction policy == purge_all 545μs  -- with Deduction policy == discard_all_if_no_space 561μs  -- with HLT + no standardise + full lookahead + no save 647μs  -- with HLT + standardise + full lookahead + no save 880μs  -- with HLT + no standardise + partial lookahead + no save 632μs  -- with HLT + standardise + partial lookahead + no save 892μs  -- with HLT + no standardise + full lookahead + save 1127μs  -- with HLT + standardise + full lookahead + save 940μs  -- with HLT + no standardise + partial lookahead + save 894μs  -- with HLT + standardise + partial lookahead + save 936μs  -- with Felsch + no standardisation 622μs  -- with Felsch + standardisation 593μs  -- with random strategy 620μs  -- with Rc style + full lookahead 1262μs  -- with Rc style + partial lookahead 1243μs  -- with R/C style 698μs  -- with CR style 648μs  -- with Cr style 650μs ToddCoxeter 069: Chapter 7, Theorem 3.6 in NR (size 243) . . .  -- with HLT + no standardise + full lookahead + no save 293μs  -- with HLT + standardise + full lookahead + no save 325μs  -- with HLT + no standardise + partial lookahead + no save 283μs  -- with HLT + standardise + partial lookahead + no save 323μs  -- with HLT + no standardise + full lookahead + save 378μs  -- with HLT + standardise + full lookahead + save 392μs  -- with HLT + no standardise + partial lookahead + save 366μs  -- with HLT + standardise + partial lookahead + save 385μs  -- with Felsch + no standardisation 1851μs  -- with Felsch + standardisation 1886μs  -- with random strategy 404μs  -- with Rc style + full lookahead 314μs  -- with Rc style + partial lookahead 300μs  -- with R/C style 316μs  -- with CR style 1855μs  -- with Cr style 1863μ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 115μs  -- with HLT + standardise + partial lookahead + no save 122μs  -- with HLT + no standardise + full lookahead + save 172μs  -- with HLT + standardise + full lookahead + save 178μs  -- with HLT + no standardise + partial lookahead + save 161μs  -- with HLT + standardise + partial lookahead + save 170μs  -- with Felsch + no standardisation 355μs  -- with Felsch + standardisation 330μs  -- with random strategy 344μs  -- with Rc style + full lookahead 132μs  -- with Rc style + partial lookahead 123μs  -- with R/C style 128μs  -- with CR style 335μs  -- with Cr style 335μs ToddCoxeter 080: KnuthBendix 098 . . .  -- with HLT + no standardise + full lookahead + no save 419ms  -- with HLT + standardise + full lookahead + no save 443ms  -- with HLT + no standardise + partial lookahead + no save 428ms  -- with HLT + standardise + partial lookahead + no save 442ms  -- with HLT + no standardise + full lookahead + save 308ms  -- with HLT + standardise + full lookahead + save 313ms  -- with HLT + no standardise + partial lookahead + save 305ms  -- with HLT + standardise + partial lookahead + save 310ms  -- with Felsch + no standardisation 308ms  -- with Felsch + standardisation 310ms  -- with random strategy 315ms  -- with Rc style + full lookahead 300ms  -- with Rc style + partial lookahead 300ms  -- with R/C style 417ms  -- with CR style 311ms  -- with Cr style 299ms ToddCoxeter 084: Campbell-Reza 1 . . .  -- with HLT + no standardise + full lookahead + no save 119μs  -- with HLT + standardise + full lookahead + no save 87μ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 115μs  -- with HLT + standardise + full lookahead + save 113μs  -- with HLT + no standardise + partial lookahead + save 110μs  -- with HLT + standardise + partial lookahead + save 110μs  -- with Felsch + no standardisation 115μs  -- with Felsch + standardisation 112μs  -- with random strategy 83μs  -- with Rc style + full lookahead 78μs  -- with Rc style + partial lookahead 77μs  -- with R/C style 81μs  -- with CR style 114μs  -- with Cr style 114μs ToddCoxeter 085: Renner monoid type D4 (Gay-Hivert), q = 1 . . .  -- with HLT + no standardise + full lookahead + no save 178ms  -- with HLT + standardise + full lookahead + no save 114ms  -- with HLT + no standardise + partial lookahead + no save 112ms  -- with HLT + standardise + partial lookahead + no save 113ms  -- with HLT + no standardise + full lookahead + save 112ms  -- with HLT + standardise + full lookahead + save 113ms  -- with HLT + no standardise + partial lookahead + save 113ms  -- with HLT + standardise + partial lookahead + save 112ms  -- with Felsch + no standardisation 112ms  -- with Felsch + standardisation 113ms  -- with random strategy 113ms  -- with Rc style + full lookahead 113ms  -- with Rc style + partial lookahead 113ms  -- with R/C style 112ms  -- with CR style 112ms  -- with Cr style 113ms ToddCoxeter 086: trivial semigroup . . . 246ms ToddCoxeter 092: ACE --- perf602p5 - HLT . . .  -- with HLT + no standardise + full lookahead + no save 28ms  -- with HLT + standardise + full lookahead + no save 27ms  -- with HLT + no standardise + partial lookahead + no save 27ms  -- with HLT + standardise + partial lookahead + no save 27ms  -- with HLT + no standardise + full lookahead + save 13ms  -- with HLT + standardise + full lookahead + save 13ms  -- with HLT + no standardise + partial lookahead + save 13ms  -- with HLT + standardise + partial lookahead + save 13ms  -- with random strategy 28ms  -- with Felsch + no standardisation 10ms  -- with Felsch + standardisation 10ms ToddCoxeter 094: ACE --- C5 - HLT . . .  -- with HLT + no standardise + full lookahead + no save 143μs  -- with HLT + standardise + full lookahead + no save 108μs  -- with HLT + no standardise + partial lookahead + no save 97μs  -- with HLT + standardise + partial lookahead + no save 90μs  -- with HLT + no standardise + full lookahead + save 122μs  -- with HLT + standardise + full lookahead + save 118μs  -- with HLT + no standardise + partial lookahead + save 116μs  -- with HLT + standardise + partial lookahead + save 115μs  -- with random strategy 97μs  -- with Felsch + no standardisation 115μs  -- with Felsch + standardisation 112μs ToddCoxeter 095: ACE --- A5-C5 . . .  -- with HLT + no standardise + full lookahead + no save 126μs  -- with HLT + standardise + full lookahead + no save 121μs  -- with HLT + no standardise + partial lookahead + no save 107μs  -- with HLT + standardise + partial lookahead + no save 118μs  -- with HLT + no standardise + full lookahead + save 157μs  -- with HLT + standardise + full lookahead + save 144μs  -- with HLT + no standardise + partial lookahead + save 141μs  -- with HLT + standardise + partial lookahead + save 142μs  -- with random strategy 116μs  -- with Felsch + no standardisation 129μs  -- with Felsch + standardisation 127μs ToddCoxeter 096: ACE --- A5 . . .  -- with HLT + no standardise + full lookahead + no save 224μs  -- with HLT + standardise + full lookahead + no save 230μs  -- with HLT + no standardise + partial lookahead + no save 187μs  -- with HLT + standardise + partial lookahead + no save 223μs  -- with HLT + no standardise + full lookahead + save 326μs  -- with HLT + standardise + full lookahead + save 321μs  -- with HLT + no standardise + partial lookahead + save 311μs  -- with HLT + standardise + partial lookahead + save 321μs  -- with random strategy 342μs  -- with Felsch + no standardisation 250μs  -- with Felsch + standardisation 242μs ToddCoxeter 098: relation ordering . . .  -- with Felsch + no standardisation 501μs  -- with Felsch + standardisation 486μs  -- with HLT + no standardise + full lookahead + no save 283μs  -- with HLT + standardise + full lookahead + no save 277μs  -- with HLT + no standardise + partial lookahead + no save 272μs  -- with HLT + standardise + partial lookahead + no save 273μs  -- with HLT + no standardise + full lookahead + save 513μs  -- with HLT + standardise + full lookahead + save 506μs  -- with HLT + no standardise + partial lookahead + save 506μs  -- with HLT + standardise + partial lookahead + save 512μs  -- with random strategy 312μs ToddCoxeter 099: short circuit size in obviously infinite . . . 18μs ToddCoxeter 101: http://brauer.maths.qmul.ac.uk/Atlas/spor/M [...] . . . 486ms ToddCoxeter 108: http://brauer.maths.qmul.ac.uk/Atlas/lin/L3 [...] . . . 428ms ToddCoxeter 111: partition_monoid(2) . . . 77μs ToddCoxeter 112: brauer_monoid(4) (Kudryavtseva + Mazorchuk) . . . 342μs ToddCoxeter 113: symmetric_inverse_monoid . . . 13ms ToddCoxeter 116: symmetric_group(7, Burnside + Miller) . . . 343ms UF 001: constructor by size . . . 14μs UF 002: copy constructor . . . 20μs UF 003: find . . . 16μs action_digraph_helper 015: detail::to_string . . . 23μs action_digraph_helper 016: make . . . 54μs action_digraph_helper 017: is_connected . . . 176μs action_digraph_helper 018: is_strictly_cyclic . . . 9327μs follow_path 012: 20 node path . . . 21μs fpsemi-examples 002: full_transformation_monoid author except . . . 31μs fpsemi-examples 003: full_transformation_monoid degree except . . . 20μs fpsemi-examples 005: partial_transformation_monoid author except . . . 22μs fpsemi-examples 006: partial_transformation_monoid degree except . . . 19μs fpsemi-examples 007: symmetric_inverse_monoid(5) . . . 13ms fpsemi-examples 008: symmetric_group auth except . . . 27μs fpsemi-examples 009: symmetric_group degree except . . . 19μs fpsemi-examples 010: symmetric_group(6) Burnside + Miller . . . 20ms fpsemi-examples 011: dual_symmetric_inverse_monoid(5) . . . 145ms fpsemi-examples 012: dual_symmetric_inverse_monoid auth except . . . 31μs fpsemi-examples 013: dual_symmetric_inverse_monoid degree except . . . 27μs fpsemi-examples 014: uniform_block_bijection_monoid(5) . . . 9537μs fpsemi-examples 015: uniform_block_bijection_monoid auth except . . . 28μs fpsemi-examples 016: uniform_block_bijection_monoid degree except . . . 22μ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) . . . 82μs fpsemi-examples 024: temperley_lieb_monoid(10) . . . 36ms fpsemi-examples 025: singular_brauer_monoid(6) . . . 343ms fpsemi-examples 026: orientation_preserving_monoid(6) . . . 19ms fpsemi-examples 027: orientation_reversing_monoid(5) . . . 5111μs fpsemi-examples 028: chinese_monoid(3) . . . 127μs fpsemi-examples 029: plactic_monoid(3) . . . 98μs fpsemi-examples 030: stylic_monoid(3) . . . 802μs fpsemi-examples 031: symmetric_group(6) Carmichael . . . 11ms fpsemi-examples 032: symmetric_group(6) Moore . . . 8466μs fpsemi-examples 033: symmetric_group(6) Coxeter + Moser . . . 4515μs fpsemi-examples 034: test for the rook monoid . . . 225μs fpsemi-examples 035: alternating_group(7) Moore . . . 18ms fpsemi-examples 036: alternating_group auth except . . . 36μs fpsemi-examples 037: alternating_group degree except . . . 20μs fpsemi-examples 038: partial_transformation_monoid(3) Machine . . . 273μs fpsemi-examples 039: chinese_monoid degree except . . . 32μs fpsemi-examples 040: monogenic_semigroup degree except . . . 29μs fpsemi-examples 041: rectangular_band degree except . . . 44μs fpsemi-examples 042: stellar_monoid degree except . . . 26μs fpsemi-examples 043: plactic_monoid degree except . . . 27μs fpsemi-examples 044: stylic_monoid degree except . . . 25μs fpsemi-examples 045: temperley_lieb_monoid degree except . . . 34μs fpsemi-examples 046: singular_brauer_monoid degree except . . . 33μs fpsemi-examples 047: orientation_preserving_monoid degree except . . . 33μs fpsemi-examples 048: orientation_preserving_monoid degree except . . . 33μs fpsemi-examples 049: test default values . . . 3185μs fpsemi-examples 052: not_symmetric_group(5) Guralnick + Kant [...] . . . 2387μs freeband_equal_to 001: . . . 905μs is_acyclic 000: 2-cycle . . . 12μs is_acyclic 001: 1-cycle . . . 11μs is_acyclic 002: multi-digraph . . . 12μs is_acyclic 003: complete digraph 100 . . . 95μs is_acyclic 004: acyclic digraph with 20000 nodes . . . 1934μs is_acyclic 006: for a node . . . 857μs is_acyclic 007: for a node . . . 17μs is_reachable 008: acyclic 20 node digraph . . . 42μs is_reachable 009: 100 node path . . . 9891μs is_reachable 010: 100 node cycle . . . 9540μs is_reachable 011: 20 node clique . . . 377μs last_node_on_path_nc 014: 20 node path . . . 16μs make 000: from FroidurePin . . . 473μs make 001: from FroidurePin and alphabet . . . 550μs make 002: presentation from presentation . . . 220μs make 003: presentation from presentation and alphabet . . . 46μs make> 000: from ActionDigraph . . . 1408μs make> 001: from ActionDigraph (exceptions) . . . 45μs number_of_words 001: . . . 24μs silo 000: alphabet: a, min: 0, max: 10 . . . 37μs silo 001: corner cases . . . 26μs silo 002: alphabet: ab, min: 1, max: 4 . . . 42μs silo 003: alphabet: abc, min: 0, max: 13 . . . 87ms silo 004: code coverage . . . 29μs sislo 005: alphabet: a, min: 0, max: 10 . . . 34μs sislo 006: corner cases . . . 76μs sislo 007: alphabet: ab, min: 1, max: 4 . . . 64μs sislo 008: alphabet: abc, min: 0, max: 13 . . . 91ms sislo 009: code coverage . . . 27μs string 000: detail::is_suffix . . . 12μs string 001: detail::is_prefix . . . 12μs string 002: detail::maximum_common_suffix . . . 12μs string 003: detail::group_digits . . . 16μs string_to_word 002: . . . 12μs validate_label 013: 20 node path . . . 44μ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 . . . 47μs wilo 004: letters: 3, min: 0, max: 10 . . . 14ms wilo 005: letters: 3, min: 0, max: 13 . . . 164ms wilo 006: forward iterator requirements . . . 162ms wilo 007: more corner cases . . . 51μs wilo 008: starting at a given word 1 . . . 142μs wilo 009: starting at a given word 2 . . . 19μs wilo 010: code coverage . . . 17μs wislo 000: n: 2, min; 1, max: 4 . . . 24μs wislo 001: corner cases . . . 39μs wislo 002: n: 3, min; 0, max: 10 . . . 4578μs wislo 003: n: 3, min; 0, max: 13 . . . 158ms wislo 004: lex + sort . . . 451ms wislo 005: code coverage . . . 27μs =============================================================================== All tests passed (1289338 assertions in 1121 test cases) >>> libsemigroups: Entering fakeroot... make[1]: Entering directory '/home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.4.0' ./config/install-sh -c -d '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib' /bin/sh ./libtool --mode=install /usr/bin/install -c libsemigroups.la '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib' ./config/install-sh -c -d '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/pkgconfig' ./config/install-sh -c -d '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups' ./config/install-sh -c -d '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups/textflowcpp' /usr/bin/install -c -m 644 libsemigroups.pc '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/pkgconfig' /usr/bin/install -c -m 644 extern/textflowcpp/TextFlow.hpp '/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' libtool: install: /usr/bin/install -c .libs/libsemigroups.so.2.0.0 /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/libsemigroups.so.2.0.0 libtool: install: (cd /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib && { ln -s -f libsemigroups.so.2.0.0 libsemigroups.so.2 || { rm -f libsemigroups.so.2 && ln -s libsemigroups.so.2.0.0 libsemigroups.so.2; }; }) /usr/bin/install -c -m 644 include/libsemigroups/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/obvinf.hpp include/libsemigroups/order.hpp include/libsemigroups/pbr.hpp include/libsemigroups/pool.hpp include/libsemigroups/present.hpp include/libsemigroups/present.tpp include/libsemigroups/race.hpp include/libsemigroups/report.hpp include/libsemigroups/runner.hpp include/libsemigroups/schreier-sims.hpp include/libsemigroups/schreier-sims-helper.hpp include/libsemigroups/sims1.hpp include/libsemigroups/sims1.tpp include/libsemigroups/siso.hpp include/libsemigroups/stl.hpp include/libsemigroups/string-view.hpp include/libsemigroups/string.hpp include/libsemigroups/suffix-tree.hpp include/libsemigroups/tce.hpp include/libsemigroups/timer.hpp include/libsemigroups/todd-coxeter.hpp include/libsemigroups/transf.hpp include/libsemigroups/types.hpp include/libsemigroups/uf.hpp include/libsemigroups/wilo.hpp include/libsemigroups/wislo.hpp include/libsemigroups/word.hpp '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups' libtool: install: (cd /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib && { ln -s -f libsemigroups.so.2.0.0 libsemigroups.so || { rm -f libsemigroups.so && ln -s libsemigroups.so.2.0.0 libsemigroups.so; }; }) libtool: install: /usr/bin/install -c .libs/libsemigroups.lai /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/libsemigroups.la libtool: install: /usr/bin/install -c .libs/libsemigroups.a /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/libsemigroups.a libtool: install: chmod 644 /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/libsemigroups.a libtool: install: ranlib /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/libsemigroups.a libtool: warning: remember to run 'libtool --finish /usr/lib' make[1]: Leaving directory '/home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.4.0' >>> libsemigroups-static*: Running split function static... >>> libsemigroups-static*: Preparing subpackage libsemigroups-static... >>> libsemigroups-static*: Stripping binaries >>> libsemigroups-static*: Running postcheck for libsemigroups-static >>> libsemigroups-dev*: Running split function dev... >>> libsemigroups-dev*: Preparing subpackage libsemigroups-dev... >>> libsemigroups-dev*: Stripping binaries >>> libsemigroups-dev*: Running postcheck for libsemigroups-dev >>> libsemigroups*: Running postcheck for libsemigroups >>> libsemigroups*: Preparing package libsemigroups... >>> libsemigroups*: Stripping binaries >>> libsemigroups-dev*: Scanning shared objects >>> libsemigroups-static*: Scanning shared objects >>> libsemigroups*: Scanning shared objects >>> libsemigroups-dev*: Tracing dependencies... libsemigroups=2.4.0-r0 pc:eigen3 pc:fmt pkgconfig >>> libsemigroups-dev*: Package size: 1.8 MB >>> libsemigroups-dev*: Compressing data... >>> libsemigroups-dev*: Create checksum... >>> libsemigroups-dev*: Create libsemigroups-dev-2.4.0-r0.apk >>> libsemigroups-static*: Tracing dependencies... >>> libsemigroups-static*: Package size: 5.0 MB >>> libsemigroups-static*: Compressing data... >>> libsemigroups-static*: Create checksum... >>> libsemigroups-static*: Create libsemigroups-static-2.4.0-r0.apk >>> libsemigroups*: Tracing dependencies... so:libc.musl-x86_64.so.1 so:libfmt.so.9 so:libgcc_s.so.1 so:libstdc++.so.6 >>> libsemigroups*: Package size: 1.6 MB >>> libsemigroups*: Compressing data... >>> libsemigroups*: Create checksum... >>> libsemigroups*: Create libsemigroups-2.4.0-r0.apk >>> libsemigroups: Build complete at Wed, 07 Dec 2022 12:18:48 +0000 elapsed time 0h 3m 35s >>> libsemigroups: Cleaning up srcdir >>> libsemigroups: Cleaning up pkgdir >>> libsemigroups: Uninstalling dependencies... (1/4) Purging .makedepends-libsemigroups (20221207.121514) (2/4) Purging eigen-dev (3.4.0-r6) (3/4) Purging fmt-dev (9.1.0-r0) (4/4) Purging fmt (9.1.0-r0) OK: 393 MiB in 98 packages >>> libsemigroups: Updating the testing/x86_64 repository index... >>> libsemigroups: Signing the index...