>>> libsemigroups: Building testing/libsemigroups 2.4.1-r0 (using abuild 3.10.0-r0) started Sat, 10 Dec 2022 12:39:57 +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 (20221210.123958) 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.1.tar.gz % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 0 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.1/libsemigroups-2.4.1.tar.gz % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 16 2406k 16 399k 0 0 712k 0 0:00:03 --:--:-- 0:00:03 712k 100 2406k 100 2406k 0 0 3635k 0 --:--:-- --:--:-- --:--:-- 19.5M >>> libsemigroups: Fetching https://distfiles.alpinelinux.org/distfiles/edge/libsemigroups-2.4.1.tar.gz >>> libsemigroups: Checking sha512sums... libsemigroups-2.4.1.tar.gz: OK >>> libsemigroups: Unpacking /var/cache/distfiles/edge/libsemigroups-2.4.1.tar.gz... tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' checking build system type... x86_64-alpine-linux-musl checking host system type... x86_64-alpine-linux-musl checking target system type... x86_64-alpine-linux-musl checking for a BSD-compatible install... /usr/bin/install -c checking whether build environment is sane... yes checking for a race-free mkdir -p... ./config/install-sh -c -d checking for gawk... no checking for mawk... no checking for nawk... no checking for awk... awk checking whether make sets $(MAKE)... yes checking whether make supports nested variables... yes checking how to create a pax tar archive... gnutar checking whether make supports nested variables... (cached) yes checking whether make supports the include directive... yes (GNU style) checking for x86_64-alpine-linux-musl-gcc... gcc checking whether the C compiler works... yes checking for C compiler default output file name... a.out checking for suffix of executables... checking whether we are cross compiling... no checking for suffix of object files... o checking whether the compiler supports GNU C... yes checking whether gcc accepts -g... yes checking for gcc option to enable C11 features... none needed checking whether gcc understands -c and -o together... yes checking dependency style of gcc... gcc3 checking for x86_64-alpine-linux-musl-ar... no checking for x86_64-alpine-linux-musl-lib... no checking for x86_64-alpine-linux-musl-link... no checking for ar... ar checking the archiver (ar) interface... ar checking whether the compiler supports GNU C++... yes checking whether g++ accepts -g... yes checking for g++ option to enable C++11 features... none needed checking dependency style of g++... gcc3 checking whether g++ supports C++14 features by default... yes checking for a sed that does not truncate output... /bin/sed checking how to run the C preprocessor... gcc -E checking for grep that handles long lines and -e... /bin/grep checking for egrep... /bin/grep -E checking whether gcc is Clang... no checking whether pthreads work with "-pthread" and "-lpthread"... yes checking for joinable pthread attribute... PTHREAD_CREATE_JOINABLE checking whether more special flags are required for pthreads... no checking for PTHREAD_PRIO_INHERIT... yes checking for pthread_create in -lpthread... yes checking whether to enable maintainer-specific portions of Makefiles... no checking whether ln -s works... yes checking how to print strings... printf checking for a sed that does not truncate output... (cached) /bin/sed checking for fgrep... /bin/grep -F checking for ld used by gcc... /usr/x86_64-alpine-linux-musl/bin/ld checking if the linker (/usr/x86_64-alpine-linux-musl/bin/ld) is GNU ld... yes checking for BSD- or MS-compatible name lister (nm)... /usr/bin/nm -B checking the name lister (/usr/bin/nm -B) interface... BSD nm checking the maximum length of command line arguments... 98304 checking how to convert x86_64-alpine-linux-musl file names to x86_64-alpine-linux-musl format... func_convert_file_noop checking how to convert x86_64-alpine-linux-musl file names to toolchain format... func_convert_file_noop checking for /usr/x86_64-alpine-linux-musl/bin/ld option to reload object files... -r checking for x86_64-alpine-linux-musl-file... no checking for file... file checking for x86_64-alpine-linux-musl-objdump... no checking for objdump... objdump checking how to recognize dependent libraries... pass_all checking for x86_64-alpine-linux-musl-dlltool... no checking for dlltool... no checking how to associate runtime and link libraries... printf %s\n checking for x86_64-alpine-linux-musl-ar... ar checking for archiver @FILE support... @ checking for x86_64-alpine-linux-musl-strip... no checking for strip... strip checking for x86_64-alpine-linux-musl-ranlib... no checking for ranlib... ranlib checking command to parse /usr/bin/nm -B output from gcc object... ok checking for sysroot... no checking for a working dd... /bin/dd checking how to truncate binary pipes... /bin/dd bs=4096 count=1 checking for x86_64-alpine-linux-musl-mt... no checking for mt... no checking if : is a manifest tool... no checking for stdio.h... yes checking for stdlib.h... yes checking for string.h... yes checking for inttypes.h... yes checking for stdint.h... yes checking for strings.h... yes checking for sys/stat.h... yes checking for sys/types.h... yes checking for unistd.h... yes checking for dlfcn.h... yes checking for objdir... .libs checking if gcc supports -fno-rtti -fno-exceptions... no checking for gcc option to produce PIC... -fPIC -DPIC checking if gcc PIC flag -fPIC -DPIC works... yes checking if gcc static flag -static works... yes checking if gcc supports -c -o file.o... yes checking if gcc supports -c -o file.o... (cached) yes checking whether the gcc linker (/usr/x86_64-alpine-linux-musl/bin/ld -m elf_x86_64) supports shared libraries... yes checking whether -lc should be explicitly linked in... no checking dynamic linker characteristics... GNU/Linux ld.so checking how to hardcode library paths into programs... immediate checking whether stripping libraries is possible... yes checking if libtool supports shared libraries... yes checking whether to build shared libraries... yes checking whether to build static libraries... yes checking how to run the C++ preprocessor... g++ -E checking for ld used by g++... /usr/x86_64-alpine-linux-musl/bin/ld -m elf_x86_64 checking if the linker (/usr/x86_64-alpine-linux-musl/bin/ld -m elf_x86_64) is GNU ld... yes checking whether the g++ linker (/usr/x86_64-alpine-linux-musl/bin/ld -m elf_x86_64) supports shared libraries... yes checking for g++ option to produce PIC... -fPIC -DPIC checking if g++ PIC flag -fPIC -DPIC works... yes checking if g++ static flag -static works... yes checking if g++ supports -c -o file.o... yes checking if g++ supports -c -o file.o... (cached) yes checking whether the g++ linker (/usr/x86_64-alpine-linux-musl/bin/ld -m elf_x86_64) supports shared libraries... yes checking dynamic linker characteristics... (cached) GNU/Linux ld.so checking how to hardcode library paths into programs... immediate checking for limits.h... yes checking for stdint.h... (cached) yes checking for stdlib.h... (cached) yes checking for sys/time.h... yes checking for unistd.h... (cached) yes checking for pthread.h... yes checking for _Bool... yes checking for stdbool.h that conforms to C99... yes checking for inline... inline checking for int64_t... yes checking for size_t... yes checking for uint64_t... yes checking for ptrdiff_t... yes checking size of void *... 8 checking for GNU libc compatible malloc... yes checking for gettimeofday... yes checking for memset... yes checking for pow... yes checking for sqrt... yes checking whether to enable debug mode... no checking whether to enable verbose mode... no checking whether enable compiler warnings... no checking whether to enable stats mode... yes checking whether to build with code coverage support... no checking whether to enable HPCombi... yes checking for ./extern/HPCombi/VERSION... yes checking the required version of HPCombi... 0.0.6 checking the version of HPCombi that's present... 0.0.6 checking whether C++ compiler accepts -mavx... yes checking whether C++ compiler accepts -flax-vector-conversions... yes checking for x86intrin.h... yes checking for _mm_blendv_epi8... yes checking for _mm_cmpeq_epi8... yes checking for _mm_cmpestri... yes checking for _mm_cmpestrm... yes checking for _mm_cmplt_epi8... yes checking for _mm_extract_epi64... yes checking for _mm_max_epi8... yes checking for _mm_max_epu8... yes checking for _mm_min_epi8... yes checking for _mm_min_epu8... yes checking for _mm_movemask_epi8... yes checking for _mm_popcnt_u32... yes checking for _mm_set_epi64x... yes checking for _mm_shuffle_epi8... yes checking for _mm_slli_epi32... yes checking for HPCOMBI_CONSTEXPR_FUN_ARGS... yes checking for x86_64-alpine-linux-musl-pkg-config... no checking for pkg-config... /usr/bin/pkg-config checking pkg-config is at least version 0.9.0... yes checking whether to enable fmt... yes checking whether to use external fmt... yes checking for fmt >= 8.1.1... yes checking whether to enable eigen... yes checking whether to use external eigen... yes checking for eigen3 >= 3.3.7... yes checking for __builtin_popcountl... yes checking for __builtin_clzll... yes checking whether to try and use __builtin_popcntl... yes checking whether to try and use __builtin_clzlll... yes checking that generated files are newer than configure... done configure: creating ./config.status config.status: creating Makefile config.status: creating libsemigroups.pc config.status: creating config/config.h config.status: executing depfiles commands config.status: executing include/libsemigroups/config.hpp commands config.status: creating include/libsemigroups/config.hpp - prefix LIBSEMIGROUPS for config/config.h defines config.status: executing libtool commands CXX src/libsemigroups_la-bipart.lo CXX src/libsemigroups_la-bmat8.lo CXX src/libsemigroups_la-cong-intf.lo CXX src/libsemigroups_la-cong-pair.lo CXX src/libsemigroups_la-cong.lo CXX src/libsemigroups_la-constants.lo CXX src/libsemigroups_la-coset.lo CXX src/libsemigroups_la-felsch-tree.lo CXX src/libsemigroups_la-forest.lo CXX src/libsemigroups_la-fpsemi-examples.lo CXX src/libsemigroups_la-fpsemi-intf.lo CXX src/libsemigroups_la-fpsemi.lo CXX src/libsemigroups_la-freeband.lo CXX src/libsemigroups_la-froidure-pin-base.lo CXX src/libsemigroups_la-kambites.lo CXX src/libsemigroups_la-knuth-bendix.lo CXX src/libsemigroups_la-make-present.lo CXX src/libsemigroups_la-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.1' CXX tests/bmat-data.o CXX tests/test-action.o CXX tests/test-bipart.o CXX tests/test-bitset.o CXX tests/test-bmat8.o CXX tests/test-cong-intf.o CXX tests/test-cong-pair.o CXX tests/test-cong.o CXX tests/test-constants.o CXX tests/test-containers.o CXX tests/test-digraph-helper.o CXX tests/test-digraph.o CXX tests/test-felsch-tree.o CXX tests/test-forest.o CXX tests/test-fpsemi.o CXX tests/test-fpsemi-examples-1.o CXX tests/test-fpsemi-examples-2.o CXX tests/test-fpsemi-examples-3.o CXX tests/test-fpsemi-intf.o CXX tests/test-freeband.o CXX tests/test-froidure-pin-bipart.o CXX tests/test-froidure-pin-bmat8.o CXX tests/test-froidure-pin-bmat.o CXX tests/test-froidure-pin-integers.o CXX tests/test-froidure-pin-intmat.o CXX tests/test-froidure-pin-intpairs.o CXX tests/test-froidure-pin-matrix.o CXX tests/test-froidure-pin-maxplustrunc.o CXX tests/test-froidure-pin-pbr.o CXX tests/test-froidure-pin-pperm.o CXX tests/test-froidure-pin-projmaxplus.o CXX tests/test-froidure-pin-transf.o CXX tests/test-hpcombi.o CXX tests/test-iterator.o CXX tests/test-kambites.o CXX tests/test-kbe.o CXX tests/test-knuth-bendix-1.o CXX tests/test-knuth-bendix-2.o CXX tests/test-knuth-bendix-3.o CXX tests/test-knuth-bendix-4.o CXX tests/test-knuth-bendix-5.o CXX tests/test-knuth-bendix-6.o CXX tests/test-konieczny-bmat8-1.o CXX tests/test-konieczny-bmat8-2.o CXX tests/test-konieczny-bmat8-3.o CXX tests/test-konieczny-transf.o CXX tests/test-konieczny-bmat.o CXX tests/test-konieczny-pperm.o CXX tests/test-main.o CXX tests/test-make-present.o CXX tests/test-make-froidure-pin.o CXX tests/test-matrix.o CXX tests/test-obvinf.o CXX tests/test-order.o CXX tests/test-pbr.o CXX tests/test-pool.o CXX tests/test-present.o CXX tests/test-race.o CXX tests/test-runner.o CXX tests/test-schreier-sims.o CXX tests/test-schreier-sims-helper.o CXX tests/test-sims1.o CXX tests/test-siso.o CXX tests/test-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.1/include/libsemigroups/string-view.hpp:327:18, inlined from 'void libsemigroups::detail::StringViewContainer::ShortOrLong::destroy_long()' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.4.1/include/libsemigroups/string-view.hpp:573:22, inlined from 'libsemigroups::detail::StringViewContainer::~StringViewContainer()' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.4.1/include/libsemigroups/string-view.hpp:162:29, inlined from 'libsemigroups::detail::StringViewContainer::~StringViewContainer()' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.4.1/include/libsemigroups/string-view.hpp:158:7, inlined from 'libsemigroups::detail::MultiStringView::~MultiStringView()' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.4.1/include/libsemigroups/string-view.hpp:587:11, inlined from 'void libsemigroups::____C_A_T_C_H____T_E_S_T____26()' at tests/test-string-view.cpp:529:3: /usr/include/c++/12.2.1/bits/stl_vector.h:730:22: warning: '*(std::vector >*)((char*)&mm + offsetof(libsemigroups::detail::MultiStringView, libsemigroups::detail::MultiStringView::_container.libsemigroups::detail::StringViewContainer::_data)).std::vector::.std::_Vector_base >::_M_impl.std::_Vector_base >::_Vector_impl::.std::_Vector_base >::_Vector_impl_data::_M_start' may be used uninitialized [-Wmaybe-uninitialized] 730 | std::_Destroy(this->_M_impl._M_start, this->_M_impl._M_finish, | ~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 731 | _M_get_Tp_allocator()); | ~~~~~~~~~~~~~~~~~~~~~~ tests/test-string-view.cpp: In function 'void libsemigroups::____C_A_T_C_H____T_E_S_T____26()': tests/test-string-view.cpp:527:21: note: 'mm' declared here 527 | MultiStringView mm(s); | ^~ In destructor 'std::_Vector_base<_Tp, _Alloc>::~_Vector_base() [with _Tp = libsemigroups::detail::StringView; _Alloc = std::allocator]', inlined from 'std::vector<_Tp, _Alloc>::~vector() [with _Tp = libsemigroups::detail::StringView; _Alloc = std::allocator]' at /usr/include/c++/12.2.1/bits/stl_vector.h:733:7, inlined from 'libsemigroups::detail::StringViewContainer::Long::~Long()' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.4.1/include/libsemigroups/string-view.hpp:327:18, inlined from 'void libsemigroups::detail::StringViewContainer::ShortOrLong::destroy_long()' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.4.1/include/libsemigroups/string-view.hpp:573:22, inlined from 'libsemigroups::detail::StringViewContainer::~StringViewContainer()' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.4.1/include/libsemigroups/string-view.hpp:162:29, inlined from 'libsemigroups::detail::StringViewContainer::~StringViewContainer()' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.4.1/include/libsemigroups/string-view.hpp:158:7, inlined from 'libsemigroups::detail::MultiStringView::~MultiStringView()' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.4.1/include/libsemigroups/string-view.hpp:587:11, inlined from 'void libsemigroups::____C_A_T_C_H____T_E_S_T____26()' at tests/test-string-view.cpp:529:3: /usr/include/c++/12.2.1/bits/stl_vector.h:367:31: warning: '*(std::_Vector_base >*)((char*)&mm + offsetof(libsemigroups::detail::MultiStringView, libsemigroups::detail::MultiStringView::_container.libsemigroups::detail::StringViewContainer::_data)).std::_Vector_base >::_M_impl.std::_Vector_base >::_Vector_impl::.std::_Vector_base >::_Vector_impl_data::_M_end_of_storage' may be used uninitialized [-Wmaybe-uninitialized] 367 | _M_impl._M_end_of_storage - _M_impl._M_start); | ~~~~~~~~^~~~~~~~~~~~~~~~~ tests/test-string-view.cpp: In function 'void libsemigroups::____C_A_T_C_H____T_E_S_T____26()': tests/test-string-view.cpp:527:21: note: 'mm' declared here 527 | MultiStringView mm(s); | ^~ In file included from /usr/include/c++/12.2.1/string:47, from tests/catch.hpp:475: In constructor '__gnu_cxx::__normal_iterator<_Iterator, _Container>::__normal_iterator(const _Iterator&) [with _Iterator = const libsemigroups::detail::StringView*; _Container = std::vector]', inlined from 'std::vector<_Tp, _Alloc>::const_iterator std::vector<_Tp, _Alloc>::end() const [with _Tp = libsemigroups::detail::StringView; _Alloc = std::allocator]' at /usr/include/c++/12.2.1/bits/stl_vector.h:899:16, inlined from 'bool std::vector<_Tp, _Alloc>::empty() const [with _Tp = libsemigroups::detail::StringView; _Alloc = std::allocator]' at /usr/include/c++/12.2.1/bits/stl_vector.h:1084:30, inlined from 'bool libsemigroups::detail::StringViewContainer::Long::empty() const' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.4.1/include/libsemigroups/string-view.hpp:372:30, inlined from 'bool libsemigroups::detail::StringViewContainer::empty() const' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.4.1/include/libsemigroups/string-view.hpp:450:35, inlined from 'bool libsemigroups::detail::MultiStringView::empty() const' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.4.1/include/libsemigroups/string-view.hpp:791:32, inlined from 'libsemigroups::detail::MultiStringView::const_iterator libsemigroups::detail::MultiStringView::cbegin() const' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.4.1/include/libsemigroups/string-view.hpp:920:18, inlined from 'void libsemigroups::____C_A_T_C_H____T_E_S_T____28()' at tests/test-string-view.cpp:537:34: /usr/include/c++/12.2.1/bits/stl_iterator.h:1073:9: warning: 'm' may be used uninitialized [-Wmaybe-uninitialized] 1073 | : _M_current(__i) { } | ^~~~~~~~~~~~~~~ tests/test-string-view.cpp: In function 'void libsemigroups::____C_A_T_C_H____T_E_S_T____28()': tests/test-string-view.cpp:536:21: note: 'm' declared here 536 | MultiStringView m(s.cbegin() + 3, s.begin() + 6); | ^ In constructor '__gnu_cxx::__normal_iterator<_Iterator, _Container>::__normal_iterator(const _Iterator&) [with _Iterator = const libsemigroups::detail::StringView*; _Container = std::vector]', inlined from 'std::vector<_Tp, _Alloc>::const_iterator std::vector<_Tp, _Alloc>::begin() const [with _Tp = libsemigroups::detail::StringView; _Alloc = std::allocator]' at /usr/include/c++/12.2.1/bits/stl_vector.h:879:16, inlined from 'bool std::vector<_Tp, _Alloc>::empty() const [with _Tp = libsemigroups::detail::StringView; _Alloc = std::allocator]' at /usr/include/c++/12.2.1/bits/stl_vector.h:1084:21, inlined from 'bool libsemigroups::detail::StringViewContainer::Long::empty() const' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.4.1/include/libsemigroups/string-view.hpp:372:30, inlined from 'bool libsemigroups::detail::StringViewContainer::empty() const' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.4.1/include/libsemigroups/string-view.hpp:450:35, inlined from 'bool libsemigroups::detail::MultiStringView::empty() const' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.4.1/include/libsemigroups/string-view.hpp:791:32, inlined from 'libsemigroups::detail::MultiStringView::const_iterator libsemigroups::detail::MultiStringView::cbegin() const' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.4.1/include/libsemigroups/string-view.hpp:920:18, inlined from 'void libsemigroups::____C_A_T_C_H____T_E_S_T____28()' at tests/test-string-view.cpp:537:34: /usr/include/c++/12.2.1/bits/stl_iterator.h:1073:9: warning: 'm' may be used uninitialized [-Wmaybe-uninitialized] 1073 | : _M_current(__i) { } | ^~~~~~~~~~~~~~~ tests/test-string-view.cpp: In function 'void libsemigroups::____C_A_T_C_H____T_E_S_T____28()': tests/test-string-view.cpp:536:21: note: 'm' declared here 536 | MultiStringView m(s.cbegin() + 3, s.begin() + 6); | ^ In constructor '__gnu_cxx::__normal_iterator<_Iterator, _Container>::__normal_iterator(const _Iterator&) [with _Iterator = const libsemigroups::detail::StringView*; _Container = std::vector]', inlined from 'std::vector<_Tp, _Alloc>::const_iterator std::vector<_Tp, _Alloc>::cend() const [with _Tp = libsemigroups::detail::StringView; _Alloc = std::allocator]' at /usr/include/c++/12.2.1/bits/stl_vector.h:960:16, inlined from 'size_t libsemigroups::detail::StringViewContainer::Long::size() const' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.4.1/include/libsemigroups/string-view.hpp:348:33, inlined from 'size_t libsemigroups::detail::StringViewContainer::size() const' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.4.1/include/libsemigroups/string-view.hpp:458:34, inlined from 'size_t libsemigroups::detail::MultiStringView::size() const' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.4.1/include/libsemigroups/string-view.hpp:783:31, inlined from 'bool libsemigroups::detail::MultiStringView::operator==(const libsemigroups::detail::MultiStringView&) const' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.4.1/include/libsemigroups/string-view.hpp:969:33, inlined from 'bool Catch::compareEqual(const LhsT&, const RhsT&) [with LhsT = libsemigroups::detail::MultiStringView; RhsT = libsemigroups::detail::MultiStringView]' at tests/catch.hpp:2314:98, inlined from 'const Catch::BinaryExpr Catch::ExprLhs::operator==(const RhsT&) [with RhsT = libsemigroups::detail::MultiStringView; LhsT = const libsemigroups::detail::MultiStringView&]' at tests/catch.hpp:2343:34, inlined from 'void libsemigroups::____C_A_T_C_H____T_E_S_T____10()' at tests/test-string-view.cpp:273:5: /usr/include/c++/12.2.1/bits/stl_iterator.h:1073:9: warning: '((const libsemigroups::detail::StringView* const*)((char*)& + offsetof(libsemigroups::detail::MultiStringView, libsemigroups::detail::MultiStringView::_container.libsemigroups::detail::StringViewContainer::_data)))[1]' may be used uninitialized [-Wmaybe-uninitialized] 1073 | : _M_current(__i) { } | ^~~~~~~~~~~~~~~ tests/test-string-view.cpp: In function 'void libsemigroups::____C_A_T_C_H____T_E_S_T____10()': tests/test-string-view.cpp:273:41: note: '' declared here 273 | REQUIRE(mmmm == MultiStringView("ha")); | ^ In constructor '__gnu_cxx::__normal_iterator<_Iterator, _Container>::__normal_iterator(const _Iterator&) [with _Iterator = const libsemigroups::detail::StringView*; _Container = std::vector]', inlined from 'std::vector<_Tp, _Alloc>::const_iterator std::vector<_Tp, _Alloc>::cbegin() const [with _Tp = libsemigroups::detail::StringView; _Alloc = std::allocator]' at /usr/include/c++/12.2.1/bits/stl_vector.h:950:16, inlined from 'size_t libsemigroups::detail::StringViewContainer::Long::size() const' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.4.1/include/libsemigroups/string-view.hpp:348:33, inlined from 'size_t libsemigroups::detail::StringViewContainer::size() const' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.4.1/include/libsemigroups/string-view.hpp:458:34, inlined from 'size_t libsemigroups::detail::MultiStringView::size() const' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.4.1/include/libsemigroups/string-view.hpp:783:31, inlined from 'bool libsemigroups::detail::MultiStringView::operator==(const libsemigroups::detail::MultiStringView&) const' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.4.1/include/libsemigroups/string-view.hpp:969:33, inlined from 'bool Catch::compareEqual(const LhsT&, const RhsT&) [with LhsT = libsemigroups::detail::MultiStringView; RhsT = libsemigroups::detail::MultiStringView]' at tests/catch.hpp:2314:98, inlined from 'const Catch::BinaryExpr Catch::ExprLhs::operator==(const RhsT&) [with RhsT = libsemigroups::detail::MultiStringView; LhsT = const libsemigroups::detail::MultiStringView&]' at tests/catch.hpp:2343:34, inlined from 'void libsemigroups::____C_A_T_C_H____T_E_S_T____10()' at tests/test-string-view.cpp:273:5: /usr/include/c++/12.2.1/bits/stl_iterator.h:1073:9: warning: '*(const libsemigroups::detail::StringView* const*)((char*)& + offsetof(libsemigroups::detail::MultiStringView, libsemigroups::detail::MultiStringView::_container.libsemigroups::detail::StringViewContainer::_data))' may be used uninitialized [-Wmaybe-uninitialized] 1073 | : _M_current(__i) { } | ^~~~~~~~~~~~~~~ tests/test-string-view.cpp: In function 'void libsemigroups::____C_A_T_C_H____T_E_S_T____10()': tests/test-string-view.cpp:273:41: note: '' declared here 273 | REQUIRE(mmmm == MultiStringView("ha")); | ^ In constructor '__gnu_cxx::__normal_iterator<_Iterator, _Container>::__normal_iterator(const _Iterator&) [with _Iterator = const libsemigroups::detail::StringView*; _Container = std::vector]', inlined from 'std::vector<_Tp, _Alloc>::const_iterator std::vector<_Tp, _Alloc>::cend() const [with _Tp = libsemigroups::detail::StringView; _Alloc = std::allocator]' at /usr/include/c++/12.2.1/bits/stl_vector.h:960:16, inlined from 'size_t libsemigroups::detail::StringViewContainer::Long::size() const' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.4.1/include/libsemigroups/string-view.hpp:348:33, inlined from 'size_t libsemigroups::detail::StringViewContainer::size() const' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.4.1/include/libsemigroups/string-view.hpp:458:34, inlined from 'size_t libsemigroups::detail::MultiStringView::size() const' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.4.1/include/libsemigroups/string-view.hpp:783:31, inlined from 'bool libsemigroups::detail::MultiStringView::operator==(const libsemigroups::detail::MultiStringView&) const' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.4.1/include/libsemigroups/string-view.hpp:969:33, inlined from 'bool Catch::compareEqual(const LhsT&, const RhsT&) [with LhsT = libsemigroups::detail::MultiStringView; RhsT = libsemigroups::detail::MultiStringView]' at tests/catch.hpp:2314:98, inlined from 'const Catch::BinaryExpr Catch::ExprLhs::operator==(const RhsT&) [with RhsT = libsemigroups::detail::MultiStringView; LhsT = const libsemigroups::detail::MultiStringView&]' at tests/catch.hpp:2343:34, inlined from 'void libsemigroups::____C_A_T_C_H____T_E_S_T____8()' at tests/test-string-view.cpp:240:5: /usr/include/c++/12.2.1/bits/stl_iterator.h:1073:9: warning: '((const libsemigroups::detail::StringView* const*)((char*)& + offsetof(libsemigroups::detail::MultiStringView, libsemigroups::detail::MultiStringView::_container.libsemigroups::detail::StringViewContainer::_data)))[1]' may be used uninitialized [-Wmaybe-uninitialized] 1073 | : _M_current(__i) { } | ^~~~~~~~~~~~~~~ tests/test-string-view.cpp: In function 'void libsemigroups::____C_A_T_C_H____T_E_S_T____8()': tests/test-string-view.cpp:240:65: note: '' declared here 240 | REQUIRE(mmmm == MultiStringView("habcdefghijklabcdefghijkla")); | ^ In constructor '__gnu_cxx::__normal_iterator<_Iterator, _Container>::__normal_iterator(const _Iterator&) [with _Iterator = const libsemigroups::detail::StringView*; _Container = std::vector]', inlined from 'std::vector<_Tp, _Alloc>::const_iterator std::vector<_Tp, _Alloc>::cbegin() const [with _Tp = libsemigroups::detail::StringView; _Alloc = std::allocator]' at /usr/include/c++/12.2.1/bits/stl_vector.h:950:16, inlined from 'size_t libsemigroups::detail::StringViewContainer::Long::size() const' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.4.1/include/libsemigroups/string-view.hpp:348:33, inlined from 'size_t libsemigroups::detail::StringViewContainer::size() const' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.4.1/include/libsemigroups/string-view.hpp:458:34, inlined from 'size_t libsemigroups::detail::MultiStringView::size() const' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.4.1/include/libsemigroups/string-view.hpp:783:31, inlined from 'bool libsemigroups::detail::MultiStringView::operator==(const libsemigroups::detail::MultiStringView&) const' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.4.1/include/libsemigroups/string-view.hpp:969:33, inlined from 'bool Catch::compareEqual(const LhsT&, const RhsT&) [with LhsT = libsemigroups::detail::MultiStringView; RhsT = libsemigroups::detail::MultiStringView]' at tests/catch.hpp:2314:98, inlined from 'const Catch::BinaryExpr Catch::ExprLhs::operator==(const RhsT&) [with RhsT = libsemigroups::detail::MultiStringView; LhsT = const libsemigroups::detail::MultiStringView&]' at tests/catch.hpp:2343:34, inlined from 'void libsemigroups::____C_A_T_C_H____T_E_S_T____8()' at tests/test-string-view.cpp:240:5: /usr/include/c++/12.2.1/bits/stl_iterator.h:1073:9: warning: '*(const libsemigroups::detail::StringView* const*)((char*)& + offsetof(libsemigroups::detail::MultiStringView, libsemigroups::detail::MultiStringView::_container.libsemigroups::detail::StringViewContainer::_data))' may be used uninitialized [-Wmaybe-uninitialized] 1073 | : _M_current(__i) { } | ^~~~~~~~~~~~~~~ tests/test-string-view.cpp: In function 'void libsemigroups::____C_A_T_C_H____T_E_S_T____8()': tests/test-string-view.cpp:240:65: note: '' declared here 240 | REQUIRE(mmmm == MultiStringView("habcdefghijklabcdefghijkla")); | ^ In file included from /usr/include/c++/12.2.1/algorithm:61, from tests/test-matrix.cpp:17: In function 'void std::__final_insertion_sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = libsemigroups::StaticRowView*; _Compare = __gnu_cxx::__ops::_Iter_comp_iter >():: >]', inlined from 'void std::__sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = libsemigroups::StaticRowView*; _Compare = __gnu_cxx::__ops::_Iter_comp_iter >():: >]' at /usr/include/c++/12.2.1/bits/stl_algo.h:1940:31, inlined from 'void std::sort(_RAIter, _RAIter, _Compare) [with _RAIter = libsemigroups::StaticRowView*; _Compare = libsemigroups::{anonymous}::test_BMat000 >()::]' at /usr/include/c++/12.2.1/bits/stl_algo.h:4853:18, inlined from 'void libsemigroups::{anonymous}::test_BMat000() [with Mat = libsemigroups::StaticMatrix]' at tests/test-matrix.cpp:166:18: /usr/include/c++/12.2.1/bits/stl_algo.h:1849:32: warning: array subscript 16 is outside array bounds of 'libsemigroups::detail::StaticVector1, 2> [1]' [-Warray-bounds] 1849 | std::__insertion_sort(__first, __first + int(_S_threshold), __comp); | ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ tests/test-matrix.cpp: In function 'void libsemigroups::{anonymous}::test_BMat000() [with Mat = libsemigroups::StaticMatrix]': tests/test-matrix.cpp:160:14: note: at offset 128 into object 'r' of size 24 160 | auto r = matrix_helpers::rows(m); | ^ CXXLD test_all make[1]: Leaving directory '/home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.4.1' ./test_all --use-colour yes --order lex --abort [quick] Filters: [quick] Action 001: row and column basis orbits for BMat8 . . . 47μs Action 002: row and column basis orbits for BMat8 . . . 1799μs Action 003: add generators after enumeration . . . 1801μs Action 004: multipliers for BMat8 row and column orbits . . . 3871μs Action 005: orbits for regular boolean mat monoid 5 . . . 290ms Action 007: partial perm image orbit . . . 272μs Action 008: partial perm image orbit . . . 64ms Action 009: partial perm image orbit . . . 72ms Action 010: partial perm image orbit . . . 74ms Action 011: permutation on integers . . . 19μs Action 012: permutation on sets, arrays . . . 106μs Action 013: permutation on tuples, arrays . . . 12ms Action 014: permutation on sets, vectors . . . 164μs Action 015: permutation on tuples, vectors . . . 19ms Action 016: misc . . . 7284μs Action 017: partial perm image orbit . . . 44μs Action 018: permutation on tuples, arrays (360360) . . . 195ms Action 019: orbits for regular BMat8 monoid 5 with stop/start . . . 296ms Action 021: orbits for regular boolean mat monoid 5 (BMat<5> [...] . . . 373ms ActionDigraph 000: constructor with 1 default arg . . . 24μs ActionDigraph 001: constructor with 0 default args . . . 36μs ActionDigraph 002: add nodes . . . 21μs ActionDigraph 003: add edges . . . 273μs ActionDigraph 004: strongly connected components - cycles . . . 38μs ActionDigraph 005: strongly connected components - no edges . . . 37ms ActionDigraph 006: strongly connected components - disjoint cycles . . . 1844μs ActionDigraph 007: strongly connected components - complete graphs . . . 776μs ActionDigraph 008: exceptions . . . 55μs ActionDigraph 009: spanning forest - complete graphs . . . 4910μs ActionDigraph 010: spanning forest - disjoint cycles . . . 151μs ActionDigraph 011: restrict . . . 16μs ActionDigraph 012: remove_edge_nc . . . 10μs ActionDigraph 013: scc large cycle . . . 18ms ActionDigraph 014: random . . . 23μs ActionDigraph 015: reserve . . . 11μs ActionDigraph 016: default constructors . . . 15μs ActionDigraph 017: scc iterators . . . 1324μs ActionDigraph 018: iterator to edges . . . 674μs ActionDigraph 019: root of scc . . . 351μs ActionDigraph 020: cbegin/end_panislo - 100 node path . . . 972μs ActionDigraph 021: cbegin/end_pislo . . . 47μs ActionDigraph 022: cbegin/end_pani(s)lo - 100 node cycle . . . 1538μs ActionDigraph 023: cbegin/cend_pilo - tree 14 nodes . . . 81μs ActionDigraph 024: cbegin/end_pstilo - Cayley digraph . . . 262ms ActionDigraph 025: cbegin_pstilo - Tsalakou . . . 514μs ActionDigraph 026: cbegin/end_pstislo - Cayley digraph . . . 249ms ActionDigraph 027: cbegin/end_pstislo - Cayley digraph . . . 255μs ActionDigraph 028: path iterators corner cases . . . 179μs ActionDigraph 029: reverse node iterator . . . 12μs ActionDigraph 030: pstilo corner case . . . 76μs ActionDigraph 031: number_of_paths corner cases . . . 501μs ActionDigraph 032: number_of_paths acyclic digraph . . . 64ms ActionDigraph 033: number_of_paths binary tree . . . 468ms ActionDigraph 034: number_of_paths large binary tree . . . 116ms ActionDigraph 035: number_of_paths 400 node random digraph . . . 717μs ActionDigraph 036: number_of_paths 10 node acyclic digraph . . . 44μs ActionDigraph 037: number_of_paths node digraph . . . 4113μs ActionDigraph 038: random/random_acyclic exceptions . . . 114μs ActionDigraph 039: unsafe (next) neighbour . . . 64μs ActionDigraph 040: number_of_egdes incident to a node . . . 68μs ActionDigraph 041: number_of_paths (matrix) . . . 24ms ActionDigraph 042: number_of_paths (matrix) . . . 15μs ActionDigraph 043: swap_edge_nc . . . 11μs ActionDigraph 044: detail::pow for non-square Eigen matrix . . . 23μs ActionDigraph 045: operator<< . . . 16μs Array2 044: all . . . 43μs BMat8 001: transpose . . . 23μs BMat8 002: multiplication . . . 19μs BMat8 003: identity matrix . . . 14μs BMat8 004: random . . . 91μs BMat8 005: call operator . . . 18μs BMat8 006: operator<< . . . 17μs BMat8 007: set . . . 64μs BMat8 008: row space basis . . . 658μs BMat8 009: col space basis . . . 703μs BMat8 010: row space basis . . . 1484μs BMat8 011: number_of_rows, number_of_cols . . . 38μs BMat8 012: row_space, col_space . . . 206μs BMat8 013: rows . . . 43μs BMat8 014: one . . . 11μs BMat8 015: vector constructor . . . 81μs BMat8 016: operator< . . . 14μs BMat8 017: adapters . . . 21μs BMat8 018: one . . . 12μs Bipartition 009: mem fns 1 . . . 75μs Bipartition 010: hash . . . 9000ns Bipartition 011: mem fns 2 . . . 23μs Bipartition 012: delete/copy . . . 9000ns Bipartition 013: degree 0 . . . 11μs Bipartition 014: exceptions . . . 39μs Bipartition 015: convenience constructor . . . 207μs Bipartition 016: force copy constructor over move constructor . . . 17μs Bipartition 017: adapters . . . 9000ns BitSet 000: size . . . 15μs BitSet 001: operator< . . . 11μs BitSet 002: operator== . . . 12μs BitSet 003: operator!= . . . 12μs BitSet 004: operator&= . . . 13μs BitSet 005: & . . . 17μs BitSet 006: operator|= . . . 22μs BitSet 007: operator[] . . . 18μs BitSet 008: set(none) . . . 19μs BitSet 009: set(pos, value) . . . 19μs BitSet 010: set(first, last, value) . . . 21μs BitSet 011: reset(first, last) . . . 20μs BitSet 012: reset(pos) . . . 20μs BitSet 013: apply (iterate through set bits) . . . 27μs BitSet 014: std::hash . . . 8000ns BitSet 015: constructors . . . 19μs BitSet 016: max_size . . . 9000ns BitSet 017: insertion operators . . . 12μs Blocks 001: empty blocks . . . 12μs Blocks 002: non-empty blocks . . . 13μs Blocks 003: left blocks of bipartition . . . 13μs Blocks 004: right blocks of bipartition . . . 13μs Blocks 005: copy [empty blocks] . . . 11μs Blocks 006: copy [non-empty blocks] . . . 12μs Blocks 007: hash value . . . 13μs Blocks 008: operator< . . . 12μs Congruence 000: left congruence on fp semigroup . . . 186μs Congruence 001: 2-sided congruence on fp semigroup . . . 400μs Congruence 002: left congruence on fp semigroup . . . 259μs Congruence 003: word_to_class_index for cong. on fp semigroup . . . 312μs Congruence 004: word_to_class_index for cong. on fp semigroup . . . 618μs Congruence 005: trivial congruence on non-fp semigroup . . . 487μs Congruence 006: 2-sided congruence on non-fp semigroup . . . 474μs Congruence 007: 2-sided congruence on fp semigroup . . . 652μs Congruence 008: 2-sided congruence on infinite fp semigroup . . . 325μs Congruence 009: 2-sided congruence on infinite fp semigroup . . . 405μs Congruence 010: 2-sided congruence on finite semigroup . . . 46ms Congruence 012: 2-sided congruence on finite semigroup . . . 3270μs Congruence 013: trivial 2-sided congruence on bicyclic monoid . . . 26ms Congruence 014: non-trivial 2-sided congruence on bicyclic monoid . . . 346μs Congruence 015: 2-sided congruence on free abelian monoid . . . 409μs Congruence 016: example where TC works but KB doesn't . . . 685μs Congruence 017: 2-sided congruence on finite semigroup . . . 358μs Congruence 018: infinite fp semigroup from GAP library . . . 549μs Congruence 019: 2-sided cong. on fp semigroup with infinite [...] . . . 279μs Congruence 020: trivial cong. on an fp semigroup . . .  -- with compute size 266μs  -- with don't compute size 252μs Congruence 021: duplicate generators . . . 438μs Congruence 022: non-trivial classes . . . 1074μs Congruence 023: right congruence on finite semigroup . . . 320ms Congruence 024: redundant generating pairs . . . 133μs Congruence 025: 2-sided cong. on free semigroup . . . 98μs Congruence 026: is_quotient_obviously_(in)finite . . . 1150μs Congruence 027: less . . . 465μs Congruence 028: 2-sided congruences of BMat8 semigroup . . . 185ms Congruence 029: left congruence on finite semigroup . . . 824μs Congruence 030: right congruence on finite semigroup . . . 768μs Congruence 031: right congruence on finite semigroup . . . 756μs Congruence 032: contains . . . 182μs Congruence 033: stellar_monoid S2 . . . 849μs Congruence 034: stellar_monoid S3 . . . 1307μs Congruence 035: stellar_monoid S4 . . . 2177μs Congruence 036: stellar_monoid S5 . . . 8809μs Congruence 037: stellar_monoid S6 . . . 73ms Congruence 038: stellar_monoid S7 . . . 806ms Congruence 039: left cong. on an f.p. semigroup . . . 1586μs Congruence 040: 2-sided cong. on infinite f.p. semigroup . . . 244μs Congruence 041: 2-sided congruence constructed from type only . . . 602μs Congruence 042: const_contains . . . 917μs Congruence 043: no winner . . . 9266μs Congruence 044: congruence over smalloverlap . . . 12ms CongruenceByPairs 001: (cong) 2-sided cong. on finite semigroup . . . 593μs CongruenceByPairs 002: (cong) left congruence on finite semigroup . . . 236μs CongruenceByPairs 003: (cong) right congruence on finite semigroup . . . 230μs CongruenceByPairs 004: (cong) trivial congruence on finite s [...] . . . 181μs CongruenceByPairs 005: (cong) trivial left congruence on fin [...] . . . 156μs CongruenceByPairs 006: (cong) trivial right congruence on fi [...] . . . 150μs CongruenceByPairs 007: (cong) universal congruence on finite [...] . . . 716μs CongruenceByPairs 009: (cong) 2-sided congruence on finite s [...] . . . 786ms CongruenceByPairs 010: (cong) left congruence on big finite [...] . . . 32ms CongruenceByPairs 011: (cong) left congruence on TCE . . . 163μs CongruenceByPairs 012: (cong) is_quotient_obviously_finite . . . 86μs CongruenceByPairs 013: (cong) class_index_to_word/quotient . . .  -- with right congruence 8139μs  -- with left congruence 1256μs  -- with 2-sided congruence 6454μs CongruenceByPairs 014: (cong) const_word_to_class_index . . .  -- with right congruence 37μs  -- with left congruence 31μs  -- with 2-sided congruence 28μs CongruenceByPairs 015: (cong) size non-Element* . . . 29ms CongruenceInterface 000: add_pair . . .  -- with ToddCoxeter 90μs  -- with KnuthBendix 160μs  -- with CongruenceByPairs 108μs  -- with Congruence 478μs CongruenceInterface 001: contains/const_contains . . .  -- with ToddCoxeter and no parent 109μs  -- with KnuthBendix and no parent 107μs  -- with Congruence and parent 392μs  -- with CongruenceByPairs and parent 90μs CongruenceInterface 002: less . . .  -- with ToddCoxeter 83μs  -- with KnuthBendix 149μs  -- with CongruenceByPairs 92μs  -- with Congruence 363μs CongruenceInterface 003: is_quotient_obviously_(in)finite . . .  -- with ToddCoxeter 70μs  -- with KnuthBendix 174μs CongruenceInterface 004: is_quotient_obviously_(in)finite . . .  -- with CongruenceByPairs 99μs  -- with Congruence 338μs CongruenceInterface 005: parent_froidure_pin . . .  -- with ToddCoxeter 43μs  -- with KnuthBendix 21μs CongruenceInterface 006: parent_froidure_pin . . .  -- with CongruenceByPairs 92μs  -- with Congruence 308μs CongruenceInterface 007: cbegin/cend_ntc . . .  -- with ToddCoxeter 271μs  -- with KnuthBendix 1133μs CongruenceInterface 008: cbegin/cend_ntc . . .  -- with CongruenceByPairs 215μs  -- with Congruence 414μs CongruenceInterface 009: quotient is immutable . . .  -- with ToddCoxeter 81μs  -- with KnuthBendix 152μs  -- with Congruence 276μs CongruenceInterface 010: no generating pairs added . . .  -- with KnuthBendix and common behaviour 5615μs  -- with Congruence and common behaviour 5783μs  -- with ToddCoxeter 71μs CongruenceInterface 011: nr generators not set . . .  -- with ToddCoxeter 101μs  -- with KnuthBendix 90μs  -- with Congruence 97μs CongruenceInterface 012: no generating pairs . . . 181μs ConstIteratorStateless 001: ? . . . 22μs ConstIteratorStateless 002: ? . . . 9000ns Constants 001: Undefined . . . 13μs Constants 002: PositiveInfinity . . . 15μs Constants 003: NegativeInfinity . . . 13μs Constants 004: LimitMax . . . 13μs Duf 004: unite . . . 24μs Duf 006: compress . . . 19μs Duf 008: resize . . . 19μs Duf 009: resize . . . 12μ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 . . . 124μs DynamicArray2 012: append 2/2 . . . 219μ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 . . . 20μs DynamicArray2 017: iterator operator++ (postfix) . . . 219μs DynamicArray2 018: iterator operator++ (prefix) . . . 1374μs DynamicArray2 019: iterator operator-- (postfix) . . . 290μs DynamicArray2 020: iterator operator-- (prefix) . . . 292μs DynamicArray2 021: operator= . . . 14μs DynamicArray2 022: operator== and operator!= . . . 263μs DynamicArray2 023: empty and clear . . . 13μs DynamicArray2 024: max_size . . . 9000ns DynamicArray2 025: swap . . . 55μs DynamicArray2 026: iterator arithmetic . . . 1178μ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 . . . 20μs DynamicArray2 034: column iterator arithmetic . . . 4408μs DynamicArray2 035: iterator assignment constructor . . . 1193μs DynamicArray2 036: reserve method . . . 99μs DynamicArray2 037: erase column . . . 14μs DynamicArray2 038: swap_rows . . . 12μs DynamicArray2 039: apply_row_permutation . . . 12μs DynamicArray2 040: swap . . . 10μs DynamicArray2 041: shrink_rows_to . . . 16μs DynamicArray2 042: shrink_rows_to - for range . . . 16μs FastestBMat 046: check no throw . . . 29μs FelschTree 000: previously failing example . . . 26μs Forest 001: test forest . . . 54μs FpSemigroup 001: Renner monoid type B2 (E. G. presentation), q = 1 . . . 784μs FpSemigroup 002: Renner monoid type B2 (E. G. presentation), q = 0 . . . 812μs FpSemigroup 003: Renner monoid type B3 (E. G. presentation), q = 1 . . . 63ms FpSemigroup 004: Renner monoid type B3 (E. G. presentation), q = 0 . . . 59ms FpSemigroup 005: Renner monoid type B2 (Gay-Hivert presentat [...] . . . 816μs FpSemigroup 006: Renner monoid type B2 (Gay-Hivert presentat [...] . . . 855μs FpSemigroup 007: Renner monoid type B3 (Gay-Hivert presentat [...] . . . 3557μs FpSemigroup 008: Renner monoid type B3 (Gay-Hivert presentat [...] . . . 3977μs FpSemigroup 009: Renner monoid type B4 (Gay-Hivert presentat [...] . . . 361ms FpSemigroup 010: Renner monoid type B4 (Gay-Hivert presentat [...] . . . 438ms FpSemigroup 013: Renner monoid type D2 (E. G. presentation), q = 1 . . . 1404μs FpSemigroup 014: Renner monoid type D2 (E. G. presentation), q = 0 . . . 1532μs FpSemigroup 015: Renner monoid type D3 (E. G. presentation), q = 1 . . . 5684μs FpSemigroup 016: Renner monoid type D3 (E. G. presentation), q = 0 . . . 5021μs FpSemigroup 017: Renner monoid type D4 (E. G. presentation), q = 1 . . . 579ms FpSemigroup 018: Renner monoid type D4 (E. G. presentation), q = 0 . . . 564ms FpSemigroup 019: Renner monoid type D2 (Gay-Hivert presentat [...] . . . 1967μs FpSemigroup 020: Renner monoid type D2 (Gay-Hivert presentat [...] . . . 1866μs FpSemigroup 021: Renner monoid type D3 (Gay-Hivert presentat [...] . . . 6857μs FpSemigroup 022: Renner monoid type D3 (Gay-Hivert presentat [...] . . . 5063μs FpSemigroup 023: Renner monoid type D4 (Gay-Hivert presentat [...] . . . 105ms FpSemigroup 024: Renner monoid type D4 (Gay-Hivert presentat [...] . . . 115ms FpSemigroup 029: Rook monoid R5, q = 0 . . . 6106μs FpSemigroup 030: Rook monoid R5, q = 1 . . . 5848μs FpSemigroup 031: Rook monoid R6, q = 0 . . . 52ms FpSemigroup 032: Rook monoid R6, q = 1 . . . 58ms FpSemigroup 033: normal_form . . . 544μs FpSemigroup 034: for a finite semigroup . . . 1103μs FpSemigroup 035: finite fp semigroup, dihedral group of order 6 . . . 927μs FpSemigroup 036: finite fp semigroup, size 16 . . . 1303μs FpSemigroup 037: finite fp semigroup, size 16 . . . 1968μs FpSemigroup 038: fp semigroup, size 240 . . . 1171μs FpSemigroup 039: add_rule . . . 297μs FpSemigroup 040: add_rule . . . 190μs FpSemigroup 041: equal_to . . . 313μs FpSemigroup 042: cbegin/cend_rules . . . 93μs FpSemigroup 043: semigroup of size 3 . . . 441μs FpSemigroup 044: run_for/until . . . 3560μs FpSemigroup 045: constructors . . . 351μs FpSemigroup 046: set_inverses . . . 228μs FpSemigroup 047: smalloverlap . . . 15ms FpSemigroup 048: quaternion group Q8 . . . 816μs FpSemigroup 049: symmetric group Coxeter presentation . . . 20ms FpSemigroupByPairs 029: (fpsemi) 2-sided congruence on finit [...] . . . 936μs FpSemigroupByPairs 030: (fpsemi) 2-sided congruence on finit [...] . . . 934μs FpSemigroupInterface 000: run with no alphabet . . .  -- with ToddCoxeter 145μs  -- with KnuthBendix 57μs  -- with FpSemigroup 108μs FpSemigroupInterface 001: equal_to . . .  -- with ToddCoxeter and human readable alphabet 2458μs  -- with KnuthBendix and human readable alphabet 7880μs  -- with FpSemigroup and human readable alphabet 6343μs  -- with FpSemigroupByPairs 3904μs FpSemigroupInterface 002: normal_form . . .  -- with ToddCoxeter 280μs  -- with KnuthBendix 418μs  -- with FpSemigroup 736μs FpSemigroupInterface 003: set_alphabet (1/2) . . .  -- with ToddCoxeter 196μs  -- with KnuthBendix 123μs  -- with FpSemigroup 174μs FpSemigroupInterface 004: set_alphabet (2/2) . . . 1566μs FpSemigroupInterface 005: add_rule after finished . . .  -- with ToddCoxeter and human readable alphabet 230μs  -- with KnuthBendix and human readable alphabet 357μs  -- with FpSemigroup and human readable alphabet 596μs  -- with FpSemigroupByPairs 1537μs FpSemigroupInterface 006: add_rule with equal words (1/2) . . .  -- with ToddCoxeter and human readable alphabet 354μs  -- with KnuthBendix and human readable alphabet 497μs  -- with FpSemigroup and human readable alphabet 666μs  -- with FpSemigroupByPairs 397μs FpSemigroupInterface 007: add_rule with equal words (2/2) . . .  -- with ToddCoxeter 78μs  -- with KnuthBendix 39μs  -- with FpSemigroup 85μs FpSemigroupInterface 008: add_rule with word_type . . .  -- with ToddCoxeter 124μs  -- with KnuthBendix 79μs  -- with FpSemigroup 171μs FpSemigroupInterface 009: add_rule with empty word (1/2) . . .  -- with ToddCoxeter 107μs  -- with FpSemigroup 109μs FpSemigroupInterface 010: add_rule with empty word (1/2) . . . 33μs FpSemigroupInterface 011: add_rules (1/3) . . .  -- with ToddCoxeter 114μs  -- with KnuthBendix 69μs  -- with FpSemigroup 116μs FpSemigroupInterface 012: add_rules (2/3) . . . 787μs FpSemigroupInterface 013: add_rules (3/3) . . .  -- with ToddCoxeter 127μs  -- with KnuthBendix 44μs  -- with FpSemigroup 134μs FpSemigroupInterface 014: set_identity (1/3) . . .  -- with ToddCoxeter 207μs  -- with KnuthBendix 192μs  -- with FpSemigroup 286μs FpSemigroupInterface 015: set_identity (2/3) . . . 456μs FpSemigroupInterface 016: set_identity (3/3) . . .  -- with ToddCoxeter 153μs  -- with KnuthBendix 138μs  -- with FpSemigroup 237μs FpSemigroupInterface 017: identity . . .  -- with ToddCoxeter 85μs  -- with KnuthBendix 43μs  -- with FpSemigroup 83μs FpSemigroupInterface 018: set_inverses + inverses (1/2) . . .  -- with ToddCoxeter 265μs  -- with KnuthBendix 257μs  -- with FpSemigroup 429μs FpSemigroupInterface 019: set_inverses + inverses (2/2) . . . 526μs FpSemigroupInterface 020: is_obviously_infinite (1/2) . . .  -- with ToddCoxeter 228μs  -- with KnuthBendix 316μs  -- with FpSemigroup 590μs FpSemigroupInterface 021: is_obviously_infinite (2/2) . . . 85μs FpSemigroupInterface 022: is_obviously_finite (1/2) . . .  -- with ToddCoxeter 218μs  -- with KnuthBendix 294μs  -- with FpSemigroup 541μs FpSemigroupInterface 023: is_obviously_finite (2/2) . . . 95μs FpSemigroupInterface 024: to_gap_string (1/3) . . .  -- with ToddCoxeter 123μs  -- with KnuthBendix 44μs  -- with FpSemigroup 131μs FpSemigroupInterface 025: to_gap_string (2/3) . . . 31μs FpSemigroupInterface 026: to_gap_string (3/3) . . . 76μs FroidurePin 015: (BMat8) regular boolean mat monoid 4 . . . 129ms FroidurePin 016: (BMat8) exception zero generators given . . . 29μs FroidurePin 017: (BMat8) exception word_to_element . . . 105μs FroidurePin 018: (BMat8) exception prefix . . . 2504μs FroidurePin 019: (BMat8) exception suffix . . . 31μs FroidurePin 020: (BMat8) exception first_letter . . . 2497μs FroidurePin 021: (BMat8) exception final_letter . . . 29μs FroidurePin 022: (BMat8) exception current_length . . . 2518μs FroidurePin 023: (BMat8) exception product_by_reduction . . . 2297μs FroidurePin 024: (BMat8) exception fast_product . . . 1911μs FroidurePin 025: (BMat8) exception is_idempotent . . . 68ms FroidurePin 026: (BMat8) copy constructor . . .  -- with fully enumerated 76ms  -- with partially enumerated 53ms  -- with not enumerated 49ms FroidurePin 027: (BMat8) cbegin/end_rules . . . 79μs FroidurePin 031: (integers) . . . 242μs FroidurePin 039: (pairs of integers) non-trivial user type . . . 38μs FroidurePin 055: (tropical max-plus semiring matrices) . . . 340μs FroidurePin 061: projective max plus matrix . . . 1251μs FroidurePin 062: projective max plus matrix . . . 44μs FroidurePin> 009: small example 2 . . . 61μs FroidurePin> 005: small example 1 . . . 159μs FroidurePin> 007: regular bmat monoid 4 . . . 84ms FroidurePin> 011: small example 3 . . . 793μs FroidurePin> 006: small example 1 . . . 200μs FroidurePin> 008: regular bmat monoid 4 . . . 106ms FroidurePin> 010: small example 2 . . . 64μs FroidurePin> 012: small example 3 . . . 947μs FroidurePin 000: small example 1 . . . 186μs FroidurePin 001: default constructed . . . 132μs FroidurePin 002: small example 2 . . . 60μs FroidurePin 004: exception: is_idempotent . . . 215μs FroidurePin> 033: Example 000 . . . 902μs FroidurePin> 035: Example 001 . . . 55μs FroidurePin> 032: Example 000 . . . 726μs FroidurePin> 034: Example 001 . . . 48μs FroidurePin 036: exception: current_position . . . 156μs FroidurePin 037: exception: word_to_element . . . 90μs FroidurePin 038: exception: prefix, suffix, first_letter . . . 27ms FroidurePin> 040: Example 000 . . . 86μs FroidurePin> 041: Example 000 . . . 68μs FroidurePin> 046: Example 005 . . . 219μs FroidurePin> 047: Example 005 . . . 233μs FroidurePin> 048: Example 005 . . . 222μs FroidurePin> 044: Example 004 . . . 37μs FroidurePin> 045: Example 004 . . . 39μs FroidurePin> 049: Example 006 . . . 1406μs FroidurePin> 050: Example 006 . . . 1586μs FroidurePin> 051: Example 006 . . . 1651μs FroidurePin> 052: Example 007 . . . 195μs FroidurePin> 053: Example 007 . . . 215μs FroidurePin> 054: Example 007 . . . 234μs FroidurePin 056: example 1 . . . 285μs FroidurePin 057: example 2 . . . 227μs FroidurePin> 058: . . . 856μs FroidurePin> 059: . . . 72μs FroidurePin> 060: exceptions: add_generator(s) . . . 79μs FroidurePin> 065: no exception zero generators given . . . 28μs FroidurePin> 066: exception generators of different [...] . . . 91μs FroidurePin> 067: exception current_position . . . 56μs FroidurePin> 068: exception word_to_element . . . 58μs FroidurePin> 069: exception gens . . . 802μs FroidurePin> 070: exception prefix . . . 35ms FroidurePin> 071: exception suffix . . . 221ms FroidurePin> 072: exception first_letter . . . 128μs FroidurePin> 073: exception final_letter . . . 118μs FroidurePin> 074: exception current_length . . . 66μs FroidurePin> 075: exception product_by_reduction . . . 539μs FroidurePin> 076: exception fast_product . . . 572μs FroidurePin> 077: exception current_position . . . 810μs FroidurePin> 078: exception is_idempotent . . . 813μs FroidurePin> 079: exception add_generators . . . 51μs FroidurePin> 080: multithread number_of_idempotents . . . 721μs FroidurePin> 081: small semigroup . . . 35μs FroidurePin> 082: large semigroup . . . 9805μs FroidurePin> 083: at, position, current_* . . . 9851μs FroidurePin> 084: run . . . 9140μs FroidurePin> 085: run [many stops and starts] . . . 9265μs FroidurePin> 086: factorisation, length [1 element] . . . 8359μs FroidurePin> 087: factorisation, products [all elements] . . . 8377μs FroidurePin> 088: first/final letter, prefix, suffi [...] . . . 6849μs FroidurePin> 089: current_position [standard] . . . 25μs FroidurePin> 090: current_position [duplicate gens] . . . 13ms FroidurePin> 091: current_position [after add_generators] . . . 8014μs FroidurePin> 092: cbegin_idempotents/cend [1 thread] . . . 7870μs FroidurePin> 093: idempotent_cend/cbegin [1 thread] . . . 7577μs FroidurePin> 094: is_idempotent [1 thread] . . . 7141μs FroidurePin> 096: finished, started . . . 6951μs FroidurePin> 097: current_position . . . 1670μs FroidurePin> 098: sorted_position, sorted_at . . . 8606μs FroidurePin> 099: right/left Cayley graph . . . 31ms FroidurePin> 100: iterator . . . 10ms FroidurePin> 101: reverse iterator . . . 10ms FroidurePin> 102: iterator arithmetic . . . 26ms FroidurePin> 103: iterator sorted . . . 24ms FroidurePin> 104: iterator sorted arithmetic . . . 28ms FroidurePin> 105: copy [not enumerated] . . . 7134μs FroidurePin> 106: copy_closure [not enumerated] . . . 45ms FroidurePin> 107: copy_add_generators [not enumerated] . . . 42ms FroidurePin> 108: copy [partly enumerated] . . . 7727μs FroidurePin> 109: copy_closure [partly enumerated] . . . 12ms FroidurePin> 110: copy_add_generators [partly enumerated] . . . 7791μ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] . . . 257μs FroidurePin> 115: relations . . . 9221μs FroidurePin> 116: relations [copy_closure, duplicat [...] . . . 12ms FroidurePin> 117: relations [copy_add_generators, d [...] . . . 13ms FroidurePin> 118: relations [from copy, not enumerated] . . . 8494μs FroidurePin> 119: relations [from copy, partly enum [...] . . . 14ms FroidurePin> 120: relations [from copy, fully enumerated] . . . 13ms FroidurePin> 121: relations [from copy_closure, not [...] . . . 13ms FroidurePin> 122: relations [from copy_add_generato [...] . . . 8111μs FroidurePin> 123: relations [from copy_closure, par [...] . . . 12ms FroidurePin> 124: relations [from copy_add_generato [...] . . . 9725μs FroidurePin> 125: relations [from copy_closure, ful [...] . . . 14ms FroidurePin> 126: relations [from copy_add_generato [...] . . . 12ms FroidurePin> 127: add_generators [duplicate generators] . . . 383μs FroidurePin> 128: add_generators [incremental 1] . . . 476μs FroidurePin> 129: add_generators [incremental 2] . . . 513μs FroidurePin> 130: closure [duplicate generators] . . . 245μs FroidurePin> 131: closure . . . 103μs FroidurePin> 132: factorisation . . . 23μs FroidurePin> 134: minimal_factorisation . . . 51μs FroidurePin> 135: batch_size (for an extremely larg [...] . . . 22μs FroidurePin> 137: exception: generators of differen [...] . . . 44μs FroidurePin> 138: exception: current_position . . . 62μs FroidurePin> 139: exception: word_to_element . . . 48μs FroidurePin> 140: exception: gens, current_position . . . 750μs FroidurePin> 141: exception: add_generators . . . 34μs HPCombi 000: Transf16 . . . 26μs HPCombi 001: One specialisation . . . 10μs HPCombi 002: One specialisation . . . 11μs HPCombi 003: Swap specialisation . . . 9000ns HPCombi 004: Swap specialisation . . . 9000ns HPCombi 005: Inverse specialisation . . . 9000ns HPCombi 006: ImageRightAction . . . 11μs HPCombi 007: ImageLeft/RightAction . . . 14μs HPCombi 008: Product . . . 10μs HPCombi 009: Degree/Complexity . . . 9000ns KBE 000: constructors . . . 44μs KBE 001: test . . . 82μs KBE 002: factorisation . . . 63μs KBE 003: swap . . . 34μs KBE 004: adapters . . . 29μs KBE 005: conversions . . . 28μs Kambites 000: (fpsemi) MT test 4 (std::string) . . . 7024μs Kambites 001: (fpsemi) MT test 4 (MultiStringView) . . . 7376μs Kambites 002: (fpsemi) number_of_pieces (std::string) . . . 150μs Kambites 003: (fpsemi) number_of_pieces (MultiStringView) . . . 141μs Kambites 004: (fpsemi) small_overlap_class (std::string) . . . 4054μs Kambites 005: (fpsemi) small_overlap_class (MultiStringView) . . . 4393μs Kambites 006: (fpsemi) random (std::string) . . . 11ms Kambites 007: (fpsemi) random (MultiStringView) . . . 10ms 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) . . . 95μs Kambites 011: (fpsemi) smalloverlap/gap/test.gi:85 (MultiStr [...] . . . 67μs Kambites 012: (fpsemi) free semigroup . . . 13μs Kambites 013: (fpsemi) smalloverlap/gap/test.gi:49 (std::string) . . . 37ms Kambites 014: (fpsemi) smalloverlap/gap/test.gi:49 (MultiStr [...] . . . 45ms Kambites 015: (fpsemi) smalloverlap/gap/test.gi:63 (std::string) . . . 39ms Kambites 016: (fpsemi) smalloverlap/gap/test.gi:63 (MultiStr [...] . . . 49ms Kambites 017: (fpsemi) smalloverlap/gap/test.gi:70 (std::string) . . . 144ms Kambites 018: (fpsemi) smalloverlap/gap/test.gi:70 (MultiStr [...] . . . 180ms Kambites 021: (fpsemi) code coverage (std::string) . . . 53μs Kambites 022: (fpsemi) code coverage (MultiStringView) . . . 32μs Kambites 023: (fpsemi) prefix (std::string) . . . 69μs Kambites 024: (fpsemi) prefix (MultiStringView) . . . 93μs Kambites 025: (fpsemi) normal_form (Example 3.15) (std::string) . . . 70μ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) . . . 82μs Kambites 032: (fpsemi) small presentation (MultiStringView) . . . 49μ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) . . . 53μs Kambites 036: (fpsemi) MT test 3 (MultiStringView) . . . 50μs Kambites 037: (fpsemi) MT test 5 (std::string) . . . 29μs Kambites 038: (fpsemi) MT test 5 (MultiStringView) . . . 29μs Kambites 039: (fpsemi) MT test 6 (std::string) . . . 44μs Kambites 040: (fpsemi) MT test 6 (MultiStringView) . . . 48μs Kambites 041: (fpsemi) MT test 10 (std::string) . . . 39μs Kambites 042: (fpsemi) MT test 10 (MultiStringView) . . . 44μ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) . . . 30μs Kambites 046: (fpsemi) MT test 14 (MultiStringView) . . . 30μs Kambites 047: (fpsemi) MT test 15 (std::string) . . . 38μs Kambites 048: (fpsemi) MT test 15 (MultiStringView) . . . 39μs Kambites 049: (fpsemi) MT test 16 (std::string) . . . 40μs Kambites 050: (fpsemi) MT test 16 (MultiStringView) . . . 42μs Kambites 051: (fpsemi) MT test 17 (std::string) . . . 139μs Kambites 052: (fpsemi) MT test 17 (MultiStringView) . . . 138μs Kambites 053: (fpsemi) weak C(4) not strong x 1 (std::string) . . . 514μs Kambites 054: (fpsemi) weak C(4) not strong x 1 (MultiStringView) . . . 599μ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) . . . 599μs Kambites 057: (fpsemi) weak C(4) not strong x 3 (std::string) . . . 472μs Kambites 058: (fpsemi) weak C(4) not strong x 3 (MultiStringView) . . . 425μs Kambites 059: (fpsemi) weak C(4) not strong x 4 (std::string) . . . 59μs Kambites 060: (fpsemi) weak C(4) not strong x 4 (MultiStringView) . . . 82μs Kambites 061: (fpsemi) weak C(4) not strong x 5 (std::string) . . . 26μs Kambites 062: (fpsemi) weak C(4) not strong x 5 (MultiStringView) . . . 22μs Kambites 063: (fpsemi) weak C(4) not strong x 6 (std::string) . . . 35μs Kambites 064: (fpsemi) weak C(4) not strong x 6 (MultiStringView) . . . 38μs Kambites 065: (fpsemi) Konovalov example (std::string) . . . 24μs Kambites 066: (fpsemi) Konovalov example (MultiStringView) . . . 22μs Kambites 067: (fpsemi) long words (std::string) . . . 1052ms Kambites 068: (fpsemi) long words (MultiStringView) . . . 35ms Kambites 075: (cong) example 1 . . . 48μs Kambites 076: (cong) example 2 . . . 121μs Kambites 077: (cong) code coverage . . . 7406μs Kambites 078: (cong) large number of rules . . . 278ms KnuthBendix 000: (fpsemi) confluent fp semigroup 1 (infinite) . . . 163μs KnuthBendix 001: (fpsemi) confluent fp semigroup 2 (infinite) . . . 118μs KnuthBendix 002: (fpsemi) confluent fp semigroup 3 (infinite) . . . 89μs KnuthBendix 003: (fpsemi) non-confluent fp semigroup from wi [...] . . . 163μs KnuthBendix 004: (fpsemi) Example 5.1 in Sims (infinite) . . . 147μs KnuthBendix 005: (fpsemi) Example 5.1 in Sims (infinite) . . . 145μs KnuthBendix 006: (fpsemi) Example 5.3 in Sims . . . 129μs KnuthBendix 007: (fpsemi) Example 5.4 in Sims . . . 131μs KnuthBendix 008: (fpsemi) Example 6.4 in Sims (size 168) . . . 7392μs KnuthBendix 009: (fpsemi) . . . 52ms KnuthBendix 010: (fpsemi) SL(2, 7) from Chapter 3, Propositi [...] . . . 74ms KnuthBendix 011: (fpsemi) F(2, 5) - Chapter 9, Section 1 in [...] . . . 396μs KnuthBendix 012: (fpsemi) Reinis example 1 . . . 200μs KnuthBendix 013: redundant_rule (std::string) . . . 100ms KnuthBendix 014: redundant_rule (word_type) . . . 10ms KnuthBendix 019: (fpsemi) C(4) monoid . . . 44μs KnuthBendix 020: (cong) Chinese monoid . . . 137μs KnuthBendix 021: (from kbmag/standalone/kb_data/f25monoid) . . . 463μs KnuthBendix 022: (from kbmag/standalone/kb_data/degen4a) . . . 48ms KnuthBendix 023: (from kbmag/standalone/kb_data/torus) . . . 2159μs KnuthBendix 024: (from kbmag/standalone/kb_data/3a6) . . . 231ms KnuthBendix 025: (from kbmag/standalone/kb_data/f2) . . . 76μs KnuthBendix 026: (from kbmag/standalone/kb_data/s16) . . . 63ms KnuthBendix 027: (from kbmag/standalone/kb_data/a4monoid) . . . 54μs KnuthBendix 028: (from kbmag/standalone/kb_data/degen3) . . . 21μs KnuthBendix 029: (from kbmag/standalone/kb_data/ab1) . . . 37μs KnuthBendix 030: (from kbmag/standalone/kb_data/degen2) . . . 17μs KnuthBendix 031: (from kbmag/standalone/kb_data/f25) . . . 407μs KnuthBendix 032: (from kbmag/standalone/kb_data/237) . . . 523μs KnuthBendix 033: (from kbmag/standalone/kb_data/c2) . . . 17μs KnuthBendix 034: (from kbmag/standalone/kb_data/cosets) . . . 193μs KnuthBendix 035: Example 5.1 in Sims (KnuthBendix 09 again) . . . 58μs KnuthBendix 036: (from kbmag/standalone/kb_data/nilp2) . . . 42μs KnuthBendix 037: Example 6.4 in Sims . . . 12ms KnuthBendix 038: KnuthBendix 071 again . . . 724μs KnuthBendix 039: Example 5.4 in Sims (KnuthBendix 11 again) [...] . . . 202μs KnuthBendix 040: Example 5.4 in Sims (KnuthBendix 11 again) [...] . . . 113μs KnuthBendix 041: operator<< . . . 95μs KnuthBendix 042: confluence_interval . . . 16μs KnuthBendix 043: max_overlap . . . 15μs KnuthBendix 044: (fpsemi) (from kbmag/standalone/kb_data/d22 [...] . . . 1084μs KnuthBendix 045: (fpsemi) (from kbmag/standalone/kb_data/d22 [...] . . . 2010μs KnuthBendix 046: (fpsemi) small example . . . 669μs KnuthBendix 047: code coverage . . . 76μs KnuthBendix 048: small overlap 1 . . . 63μs KnuthBendix 049: (from kbmag/standalone/kb_data/s9) . . . 1367μs KnuthBendix 050: (fpsemi) Chapter 11, Lemma 1.8 (q = 6, r = [...] . . . 543μs KnuthBendix 051: (fpsemi) Chapter 11, Section 2 (q = 6, r = [...] . . . 146μs KnuthBendix 052: (fpsemi) Chapter 8, Theorem 4.2 in NR (infinite) . . . 235μs KnuthBendix 053: (fpsemi) equal_to fp semigroup . . . 59μs KnuthBendix 054: (fpsemi) equal_to free semigroup . . . 64μs KnuthBendix 055: (fpsemi) from GAP smalloverlap gap/test.gi [...] . . . 304μs KnuthBendix 056: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 466μs KnuthBendix 057: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 462μs KnuthBendix 058: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 1282μs KnuthBendix 059: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 2931μs KnuthBendix 060: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 54μs KnuthBendix 061: (fpsemi) Von Dyck (2,3,7) group (infinite) . . . 471μs KnuthBendix 062: (fpsemi) Von Dyck (2,3,7) group - different [...] . . . 4186μs KnuthBendix 063: (fpsemi) rewriting system from KnuthBendixC [...] . . . 332μs KnuthBendix 064: (fpsemi) rewriting system from Congruence 20 . . . 44μs KnuthBendix 065: (fpsemi) (from kbmag/standalone/kb_data/ab2) . . . 100μs KnuthBendix 066: (fpsemi) (from kbmag/standalone/kb_data/d22 [...] . . . 1177μs KnuthBendix 067: (fpsemi) (from kbmag/standalone/kb_data/degen1) . . . 41μs KnuthBendix 068: (fpsemi) (from kbmag/standalone/kb_data/s4) . . . 295μs KnuthBendix 069: (fpsemi) fp semigroup (infinite) . . . 62μs KnuthBendix 070: (fpsemi) Chapter 11, Section 1 (q = 4, r = [...] . . . 1612μs KnuthBendix 071: (fpsemi) Chapter 11, Section 1 (q = 8, r = [...] . . . 97ms KnuthBendix 072: (fpsemi) Chapter 7, Theorem 3.9 in NR (size 240) . . . 3202μs KnuthBendix 073: (fpsemi) F(2, 5) - Chapter 9, Section 1 in [...] . . . 426μs KnuthBendix 074: (fpsemi) F(2, 6) - Chapter 9, Section 1 in NR . . . 435μs KnuthBendix 075: (fpsemi) Chapter 10, Section 4 in NR (infinite) . . . 759μs KnuthBendix 076: (fpsemi) Sym(5) from Chapter 3, Proposition [...] . . . 2652μs KnuthBendix 077: (fpsemi) SL(2, 7) from Chapter 3, Propositi [...] . . . 72ms KnuthBendix 078: (fpsemi) bicyclic monoid (infinite) . . . 77μs KnuthBendix 079: (fpsemi) plactic monoid of degree 2 (infinite) . . . 98μs KnuthBendix 080: (fpsemi) example before Chapter 7, Proposit [...] . . . 69μs KnuthBendix 081: (fpsemi) Chapter 7, Theorem 3.6 in NR (size 243) . . . 831μs KnuthBendix 082: (fpsemi) finite semigroup (size 99) . . . 273μs KnuthBendix 096: Sorouhesh . . . 383μs KnuthBendix 097: (fpsemi) transformation semigroup (size 4) . . . 73μs KnuthBendix 098: (fpsemi) transformation semigroup (size 9) . . . 82μs KnuthBendix 099: (fpsemi) transformation semigroup (size 88) . . . 778μs KnuthBendix 100: internal_string_to_word . . . 38μs KnuthBendix 101: (fpsemi) construct from shared_ptr . . . 728μs KnuthBendix 102: internal_string_to_word . . . 724μs KnuthBendix 103: (cong) free semigroup congruence (5 classes) . . . 86μs KnuthBendix 104: free semigroup congruence (6 classes) . . . 246μs KnuthBendix 105: (cong) free semigroup congruence (16 classes) . . . 299μs KnuthBendix 106: (cong) free semigroup congruence (6 classes) . . . 421μs KnuthBendix 107: (cong) free semigroup congruence (240 classes) . . . 3079μs KnuthBendix 108: (cong) free semigroup congruence (240 classes) . . . 3019μs KnuthBendix 109: (cong) less . . . 3621μs KnuthBendix 110: (cong) less . . . 172ms KnuthBendix 111: (cong) constructors . . . 246ms KnuthBendix 112: (cong) const_contains/contains . . . 172μs KnuthBendix 113: (cong) is_quotient_obviously_finite . . . 35μs KnuthBendix 114: (cong) class_index_to_word . . . 189μs KnuthBendix 115: (cong) quotient_froidure_pin . . . 147μs KnuthBendix 116: (cong) set_number_of_generators . . . 41μs KnuthBendix 117: (cong) number of classes when obv-inf . . . 55μs KnuthBendixCongruenceByPairs 016: non-trivial congruence on [...] . . . 203μs KnuthBendixCongruenceByPairs 017: non-trivial congruence on [...] . . . 189μs KnuthBendixCongruenceByPairs 018: non-trivial congruence on [...] . . . 255μs KnuthBendixCongruenceByPairs 019: non-trivial congruence on [...] . . . 256μs KnuthBendixCongruenceByPairs 020: trivial congruence on a fi [...] . . . 192μs KnuthBendixCongruenceByPairs 021: universal congruence on a [...] . . . 531μs KnuthBendixCongruenceByPairs 022: left congruence on a finit [...] . . . 266μs KnuthBendixCongruenceByPairs 023: finite group, Chapter 11, [...] . . . 4037μs KnuthBendixCongruenceByPairs 024: right congruence on infini [...] . . . 283μs KnuthBendixCongruenceByPairs 025: finite fp semigroup, dihed [...] . . . 305μs KnuthBendixCongruenceByPairs 026: finite fp semigroup, size 16 . . . 355μs KnuthBendixCongruenceByPairs 027: finite fp semigroup, size 16 . . . 916μs KnuthBendixCongruenceByPairs 028: infinite fp semigroup with [...] . . . 84μs Konieczny 000: test000> . . . 1083μs Konieczny 001: test000> . . . 820μs Konieczny 002: test001> . . . 11ms Konieczny 003: test001> . . . 9113μs Konieczny 006: exceptions . . . 43μs Konieczny 007: code coverage . . . 13ms Konieczny 008: code coverage . . . 11ms Konieczny 009: regular elements and idempotents . . . 91ms Konieczny 010: regular D-class 01 . . . 1069μs Konieczny 011: regular D-class 02 . . . 9867μs Konieczny 012: regular D-class 04: contains . . . 32ms Konieczny 013: non-regular D-classes 01 . . . 1109μs Konieczny 014: RegularDClass . . . 669μs Konieczny 015: full bmat monoid 4 . . . 44ms Konieczny 017: regular generated bmat monoid 4 idempotents . . . 89ms Konieczny 019: my favourite example . . . 96ms Konieczny 020: another large example . . . 8935μs Konieczny 021: my favourite example transposed . . . 76ms Konieczny 024: exceptions . . . 1162μs Konieczny 025: 0-parameter constructor . . . 19ms Konieczny 026: non-regular D-classes 02 . . . 11ms Konieczny 028: partial perm . . . 104ms Konieczny 029: symmetric inverse monoid n = 8 . . . 19ms Konieczny 030: exceptions . . . 215ms Konieczny 031: transformations . . . 521μs Konieczny 032: transformations - JDM favourite example . . . 45ms Konieczny 033: transformations - large example . . . 279ms Konieczny 034: transformations - large example with stop . . . 281ms Konieczny 035: transformations - large example with run_until . . . 280ms Konieczny 036: transformations - large example with stop in Action . . . 282ms Konieczny 037: exceptions . . . 49μs Konieczny 038: transformations: contains . . . 617μs Konieczny 040: transformations - destructor coverage . . . 102ms Konieczny 041: current_number_D_classes . . . 101ms Konieczny 042: add_generator . . . 16μs Konieczny 043: add_generator . . . 24μs Matrix 000: BMat<2> . . . 98μs Matrix 001: BMat<> . . . 88μs Matrix 002: BMat<3> + BMat<> . . . 12μs Matrix 003: BMat<2> + BMat<> . . . 12μs Matrix 004: BMat<3> . . . 23μs Matrix 005: BMat<> . . . 13μs Matrix 006: BMat<3> row_basis . . . 42μs Matrix 007: BMat<> row_basis . . . 38μs Matrix 008: IntMat<3> . . . 15μs Matrix 009: IntMat<> . . . 29μs Matrix 010: IntMat code cov . . . 10μs Matrix 011: MaxPlusMat<3> . . . 12μs Matrix 012: MaxPlusMat<> . . . 14μs Matrix 013: MaxPlusMat code cov . . . 8000ns Matrix 014: MinPlusMat<3> . . . 15μs Matrix 015: MinPlusMat<> . . . 19μs Matrix 016: MinPlusMat code cov . . . 9000ns Matrix 017: MaxPlusTruncMat<5, 2> . . . 19μs Matrix 018: MaxPlusTruncMat<5> . . . 19μs Matrix 019: MaxPlusTruncMat<> . . . 30μs Matrix 020: MaxPlusTruncMat<5, 4> . . . 17μs Matrix 021: MaxPlusTruncMat<5> . . . 31μs Matrix 022: MaxPlusTruncMat<> . . . 18μs Matrix 023: MaxPlusTruncMat<33, 3> . . . 43μs Matrix 024: MaxPlusTruncMat<33> . . . 29μs Matrix 025: MaxPlusTruncMat<> . . . 28μ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> . . . 14μs Matrix 031: NTPMat<0, 3> . . . 16μs Matrix 032: NTPMat<> . . . 33μs Matrix 033: NTPMat<0, 10, 4, 4> . . . 23μs Matrix 034: NTPMat<0, 10> . . . 20μs Matrix 035: NTPMat<> . . . 19μs Matrix 036: NTPMat<0, 10, 4, 4> . . . 18μs Matrix 037: NTPMat<0, 10> . . . 17μs Matrix 038: NTPMat<> . . . 17μs Matrix 039: NTPMat<33, 2, 3, 3> . . . 16μs Matrix 040: NTPMat<33, 2> . . . 15μs Matrix 041: NTPMat<> . . . 14μs Matrix 042: ProjMaxPlusMat<3> . . . 90μs Matrix 043: ProjMaxPlusMat<> . . . 58μs Matrix 044: exceptions . . . 36μs Matrix 045: code coverage . . . 36μs MultiStringView 000: catch all . . . 43μs MultiStringView 001: is_prefix . . . 13μs MultiStringView 002: erase . . . 15μs MultiStringView 003: iterators . . . 11μs MultiStringView 004: constructors (long) . . . 19μs MultiStringView 005: constructors (short) . . . 15μs MultiStringView 006: copy assignment (short assigned to long) . . . 12μs MultiStringView 007: copy assignment (short assigned to short) . . . 12μs MultiStringView 008: move assignment (short assigned to long) . . . 12μs MultiStringView 009: move assignment (short assigned to short) . . . 12μs MultiStringView 010: code coverage . . . 18μs MultiStringView 011: pop_front . . . 38μs MultiStringView 012: append . . . 14μs MultiStringView 013: operators . . . 14μs MultiStringView 014: maximum_common_suffix . . . 13μs MultiStringView 015: deep tests . . . 10μs ObviouslyInfinite 011: Multiple rule additions . . . 45μs ObviouslyInfinite 012: A power of the generator 'b' does not [...] . . . 11μs ObviouslyInfinite 013: Preserves the number of occurences of [...] . . . 11μs ObviouslyInfinite 014: Less relations than generators . . . 11μs ObviouslyInfinite 015: Relations preserve length . . . 12μs ObviouslyInfinite 016: Matrix has non empty kernel . . . 13μs ObviouslyInfinite 017: Free product of trivial semigroups . . . 11μs ObviouslyInfinite 018: Another free product . . . 13μs ObviouslyInfinite 019: Infinite but not obviously so . . . 13μs ObviouslyInfinite 020: Finite semigroup . . . 15μs PBR 001: universal product with convenience constructor . . . 42μs PBR 002: universal product . . . 17μs PBR 003: product [bigger than previous] . . . 27μs PBR 004: hash . . . 10μs PBR 005: delete/copy . . . 18μs PBR 006: exceptions . . . 128μs PBR 007: operators . . . 71μs PBR 008: to_string . . . 19μs PBR 009: identity . . . 45μs PBR 010: adapters . . . 9000ns Pool 000: initial . . . 31μs Pool 001: bmat . . . 23μs Pool 002: PoolGuard . . . 20μs Pool 003: transformation products . . . 13μs Presentation 000: vectors of ints . . . 73μs Presentation 001: strings . . . 67μs Presentation 002: constructors (word_type) . . . 23μs Presentation 003: constructors (StaticVector1) . . . 26μs Presentation 004: constructors (std::string) . . . 25μs Presentation 005: alphabet + letters (word_type) . . . 104μs Presentation 006: alphabet + letters (std::string) . . . 35μs Presentation 007: contains_empty_word . . . 11μs Presentation 008: validate_rules throws . . . 42μ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 [...] . . . 38μs Presentation 012: helpers add_identity_rules (std::string) . . . 24μs Presentation 013: helpers add_inverse_rules (all) . . . 168μs Presentation 014: helpers add_inverse_rules (std::string) . . . 48μs Presentation 015: helpers remove_duplicate_rules . . . 74μs Presentation 016: helpers reduce_complements . . . 114μs Presentation 017: helpers sort_each_rule . . . 59μs Presentation 018: helpers sort_rules . . . 62μs Presentation 019: helpers longest_common_subword/replace_subword . . . 243μs Presentation 020: helpers redundant_rule . . . 5559μs Presentation 021: helpers shortlex_compare_concat . . . 11μs Presentation 022: helpers remove_trivial_rules . . . 66μs Presentation 023: helpers replace_subword (existing, replacement) . . . 51μs Presentation 024: helpers longest_rule . . . 100μs Presentation 025: helpers longest_rule_length . . . 90μs Presentation 026: helpers remove_redundant_generators . . . 145μs Presentation 027: helpers reverse . . . 21μs Presentation 028: in_alphabet . . . 21μs Presentation 029: replace_subword with empty word . . . 21μs Presentation 030: helpers replace_word . . . 40μs Race 001: run_for . . . 10ms Race 002: run_until . . . 10ms Race 003: exceptions . . . 10ms Race 004: iterators . . . 12μs Race 005: find_runner . . . 11μs Race 006: run_func . . . 25ms Race 007: run_func . . . 10ms Race 008: run_func . . . 10ms Runner 000: run_for . . . 10ms Runner 001: run_for . . . 1011μs Runner 002: run_for . . . 192ms Runner 003: run_for . . . 25ms Runner 004: started . . . 1028μs Runner 005: run_until . . . 10ms Runner 006: kill . . . 26μs Runner 007: copy constructor . . . 10ms Runner 008: report . . . 20ms Runner 009: run_until with function pointer . . . 25μs SchreierSims 001: trivial perm. group (degree 1) . . . 44μs SchreierSims 002: trivial perm. group (degree 2) . . . 28μs SchreierSims 003: trivial perm. group (degree 500) . . . 360μs SchreierSims 004: symmetric perm. group (degree 5) . . . 52μs SchreierSims 005: symmetric perm. group (degree 8) . . . 43μs SchreierSims 006: symmetric perm. group (degree 9) . . . 50μs SchreierSims 007: alternating perm. group (degree 12) . . . 68μs SchreierSims 008: symmetric perm. group (degree 16) . . . 318μs SchreierSims 009: alternating perm. group (degree 15) . . . 179μs SchreierSims 010: alternating perm. group (degree 16) . . . 371μs SchreierSims 011: dihedral perm. group (order 10) . . . 28μs SchreierSims 012: dihedral perm. group (order 200) . . . 2379μs SchreierSims 013: perm. group T (order 12) . . . 27μs SchreierSims 014: quaternion perm. group (order 8) . . . 30μs SchreierSims 015: perm. group (order 84129611558952960) . . . 289ms SchreierSims 016: perm. group SL(3, 5) (order 372000) . . . 1440μs SchreierSims 017: perm. group PSL(4, 8) (order 34558531338240) . . . 116ms SchreierSims 018: perm. Mathieu group M11 (order 7920) . . . 95μs SchreierSims 019: perm. Mathieu group M24 (order 244823040) . . . 239μs SchreierSims 020: perm. Janko Group J1 (order 175560) . . . 3343μs SchreierSims 021: perm. Hall-Janko group (order 604800) . . . 463μs SchreierSims 022: perm. Hall-Janko group (alt.) (order 604800) . . . 29ms SchreierSims 023: perm. Conway group Co3 (order 495766656000) . . . 8959μs SchreierSims 024: perm. Conway group Co3 (alt.) (order 49576 [...] . . . 18ms SchreierSims 025: perm. Suzuki group (order 448345497600) . . . 105ms SchreierSims 027: perm. Held group (order 4030387200) . . . 147ms SchreierSims 028: perm. group C2 x C2 x C2 (order 8) . . . 24μs SchreierSims 029: perm. group C2 x C2 x C2 x C2 (order 16) . . . 34μs SchreierSims 030: perm. group (S5 x S5) : C2 (order 28800) . . . 58μs SchreierSims 031: perm. group C3 x D8 x A5 (order 1440) . . . 57μs SchreierSims 032: perm. group GL(4, 3) (order 24261120) . . . 601μs SchreierSims 033: perm. group PSL(3, 7) (order 1876896) . . . 716μs SchreierSims 037: symmetric perm. group (degree 5) . . . 27μs SchreierSims 038: alternating perm. group (degree 17) . . . 3504μs SchreierSims 039: exceptions . . . 88μs SchreierSims 040: exceptions . . . 46μs SchreierSims 041: trivial group . . . 30μs SchreierSims 042: A17 bug . . . 3111μs SchreierSims 043: orbits_lookup test . . . 492μs SchreierSims 044: transversal_element and inversal_element test . . . 1281μs SchreierSimsHelper 001: trivial perm. group intersection (de [...] . . . 43μs SchreierSimsHelper 002: trivial perm. group intersection (de [...] . . . 22μs SchreierSimsHelper 003: cyclic group intersection (degree 13) . . . 21μs SchreierSimsHelper 004: D10 and Z5 intersection . . . 18μs SchreierSimsHelper 005: D8 and Q8 intersection . . . 18μs SchreierSimsHelper 006: primitive on 8 points intersection . . . 27μs SchreierSimsHelper 007: primitive on 8 points intersection ( [...] . . . 24μs SchreierSimsHelper 008: A13 and PGL(2, 11) intersection . . . 132μs SchreierSimsHelper 009: A13 and PGL(2, 11) intersection (swa [...] . . . 123μs SchreierSimsHelper 012: 3^3:13 and 3^3.2.A(4) intersection . . . 152μs SchreierSimsHelper 015: 3^3(S(4) x 2) and ASL(3, 3) intersection . . . 304μs SchreierSimsHelper 016: 7^2:3 x Q(8) and 7^2:D(2*6) intersection . . . 387μs SchreierSimsHelper 018: D(2*53) and 53:13 intersection . . . 226μs SchreierSimsHelper 019: 2^6:(7 x D_14) and PSL(2, 6)^2.4 int [...] . . . 1569μs SchreierSimsHelper 020: 2^6:(S_3 x GL(3, 2)) and 2.6:Alt(7) [...] . . . 4728μs SchreierSimsHelper 022: PSL(2, 127) and AGL(1, 2^7) intersection . . . 8743μs SchreierSimsHelper 023: PSL(3, 4).2 and PSL(3, 4).2 (nontriv [...] . . . 1844μs SchreierSimsHelper 024: PSL(3, 4).Sym(3) and PSL(3, 4).2 int [...] . . . 1836μs SchreierSimsHelper 025: 3^4:5:4 and D_16:4 intersection . . . 975μs Sims1 000: fp example 1 . . . 1098μs Sims1 001: fp example 2 . . . 1429μs Sims1 002: ToddCoxeter failing example . . . 10ms Sims1 003: ToddCoxeter failing example . . . 560μs Sims1 004: partition_monoid(2) right . . . 4488μs Sims1 006: full_transformation_monoid(3) right . . . 4583μs Sims1 007: full_transformation_monoid(3) left . . . 2538μs Sims1 009: rook_monoid(2, 1) . . . 86μs Sims1 010: symmetric_inverse_monoid(2) from FroidurePin . . . 87μs Sims1 011: symmetric_inverse_monoid(3) . . . 4074μs Sims1 014: temperley_lieb_monoid(3) from presentation . . . 94μs Sims1 015: temperley_lieb_monoid(4) from presentation . . . 518μs Sims1 016: fp semigroup containing given pairs #1 . . . 322μs Sims1 017: fp semigroup containing given pairs #2 . . . 321μs Sims1 018: fp semigroup containing given pairs #3 . . . 469μs Sims1 019: ToddCoxeter failing example . . . 1130μs Sims1 020: fp example 2 . . . 2048μs Sims1 021: exceptions . . . 199μs Sims1 027: from https://mathoverflow.net/questions/423541/ . . . 17ms Sims1 028: from https://mathoverflow.net/questions/423541/ . . . 12ms Sims1 030: presentation with one free generator . . . 170μs Sims1 031: presentation with non-zero index generators . . . 71μs Sims1 032: presentation with empty word . . . 5746μs Sims1 033: constructors . . . 940μs Sims1 034: split_at . . . 184μs Sims1 035: stats . . . 91μs Sims1 036: check iterator requirements . . . 123μs Sims1 040: TransitiveGroup(10, 32) - minimal rep . . . 2707μs Sims1 043: rectangular_band(2, 2) - with and without identity . . . 177μs Sims1 044: trivial group - minimal o.r.c. rep . . . 119μs Sims1 045: right zero semigroup - minimal o.r.c. rep . . . 1943μs Sims1 046: semigroup with faithful non-strictly cyclic actio [...] . . . 899μs Sims1 068: RepOrc . . . 23ms Sims1 069: fp example 1 . . . 338μ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 870μs (158ns 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 . . . 924μs Sims1 072: symmetric_group(n) for n = 4 . . . 1302μs Sims1 073: corner case no generators + no relations . . . 76μs SmallestInteger 001: . . . 12μs StaticTriVector2 045: all . . . 17μs StaticVector2 043: all . . . 16μs Suf 005: unite . . . 21μs Suf 007: compress . . . 13μs Suf 011: big chain . . . 14ms Suf 013: empty table . . . 9000ns Suf 015: join . . . 11μs Suf 017: contains . . . 26μs Suf 019: swap . . . 28μs SuffixTree 000: basic tests . . . 58ms SuffixTree 001: maximal_piece_prefix 1 . . . 47μs SuffixTree 002: maximal_piece_prefix 2 . . . 39μs SuffixTree 003: maximal_piece_prefix 3 . . . 220μs SuffixTree 004: number_of_pieces . . . 51μs SuffixTree 005: traverse . . . 29μs SuffixTree 006: tikz . . . 726μs SuffixTree 007: strings . . . 112μs SuffixTree 008: dot . . . 64μs SuffixTree 009: dfs #01 . . . 45μs SuffixTree 010: dfs #02 . . . 45μs SuffixTree 011: dfs #03 . . . 41μs SuffixTree 012: dfs #04 . . . 93μs SuffixTree 013: dfs #05 . . . 91μs SuffixTree 014: dfs #06 . . . 77μs SuffixTree 015: dfs #07 . . . 127μs SuffixTree 016: dfs #08 . . . 90μs SuffixTree 017: dfs #09 . . . 123μs SuffixTree 018: dfs #10 . . . 40μs Timer 001: string method (1 argument) . . . 26μs Timer 002: string method (0 arguments) . . . 10ms Timer 003: reset/elapsed method . . . 20ms Timer 004: operator<< . . . 11μs ToddCoxeter 000: small 2-sided congruence . . .  -- with HLT + no standardise + full lookahead + no save 1070μs  -- with HLT + standardise + full lookahead + no save 1131μs  -- with HLT + no standardise + partial lookahead + no save 987μs  -- with HLT + standardise + partial lookahead + no save 988μs  -- with HLT + no standardise + full lookahead + save 1025μs  -- with HLT + standardise + full lookahead + save 1006μs  -- with HLT + no standardise + partial lookahead + save 1005μs  -- with HLT + standardise + partial lookahead + save 1013μs  -- with Felsch + no standardisation 999μs  -- with Felsch + standardisation 990μs  -- with random strategy 1016μs  -- with Rc style + full lookahead 992μs  -- with Rc style + partial lookahead 987μs  -- with R/C style 994μs  -- with CR style 1000μs  -- with Cr style 994μs ToddCoxeter 001: small 2-sided congruence . . .  -- with HLT + no standardise + full lookahead + no save 5268μs  -- with HLT + standardise + full lookahead + no save 5238μs  -- with HLT + no standardise + partial lookahead + no save 5248μs  -- with HLT + standardise + partial lookahead + no save 5164μs  -- with HLT + no standardise + full lookahead + save 5138μs  -- with HLT + standardise + full lookahead + save 5135μs  -- with HLT + no standardise + partial lookahead + save 5116μs  -- with HLT + standardise + partial lookahead + save 5126μs  -- with Felsch + no standardisation 5121μs  -- with Felsch + standardisation 5118μs  -- with random strategy 5132μs  -- with Rc style + full lookahead 5115μs  -- with Rc style + partial lookahead 5111μs  -- with R/C style 5491μs  -- with CR style 5093μs  -- with Cr style 5053μs ToddCoxeter 003: constructed from FroidurePin . . .  -- with Felsch + no standardisation 235ms  -- with Felsch + standardisation 235ms  -- with HLT + no standardise + full lookahead + no save 84ms  -- with HLT + standardise + full lookahead + no save 84ms  -- with HLT + no standardise + partial lookahead + no save 83ms  -- with HLT + standardise + partial lookahead + no save 83ms  -- with HLT + no standardise + full lookahead + save 240ms  -- with HLT + standardise + full lookahead + save 241ms  -- with HLT + no standardise + partial lookahead + save 242ms  -- with HLT + standardise + partial lookahead + save 241ms  -- with random strategy 240ms  -- with Rc style + full lookahead 237ms  -- with Rc style + partial lookahead 238ms  -- with R/C style 89ms  -- with CR style 238ms  -- with Cr style 237ms ToddCoxeter 004: 2-sided congruence from FroidurePin . . .  -- with HLT + no standardise + full lookahead + no save 220μs  -- with HLT + standardise + full lookahead + no save 175μs  -- with HLT + no standardise + partial lookahead + no save 169μs  -- with HLT + standardise + partial lookahead + no save 171μs  -- with HLT + save (throws) 208μs  -- with Felsch (throws) 180μs  -- with random strategy 171μ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 43μs  -- with HLT + no standardise + partial lookahead + no save 41μs  -- with HLT + standardise + partial lookahead + no save 40μs  -- with HLT + no standardise + full lookahead + save 54μs  -- with HLT + standardise + full lookahead + save 50μs  -- with HLT + no standardise + partial lookahead + save 48μs  -- with HLT + standardise + partial lookahead + save 52μs  -- with Felsch + no standardisation 46μs  -- with Felsch + standardisation 44μs  -- with random strategy 48μs  -- with Rc style + full lookahead 43μs  -- with Rc style + partial lookahead 42μs  -- with R/C style 42μs  -- with CR style 57μs  -- with Cr style 46μs ToddCoxeter 006: small right cong. on free semigroup . . .  -- with HLT + no standardise + full lookahead + no save 43μ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 38μs  -- with HLT + standardise + full lookahead + save 36μs  -- with HLT + no standardise + partial lookahead + save 35μs  -- with HLT + standardise + partial lookahead + save 35μs  -- with Felsch + no standardisation 36μs  -- with Felsch + standardisation 36μs  -- with random strategy 38μs  -- with Rc style + full lookahead 34μs  -- with Rc style + partial lookahead 32μs  -- with R/C style 35μs  -- with CR style 37μs  -- with Cr style 36μs ToddCoxeter 007: left cong. on free semigroup . . .  -- with HLT + no standardise + full lookahead + no save 46μs  -- with HLT + standardise + full lookahead + no save 43μs  -- with HLT + no standardise + partial lookahead + no save 37μs  -- with HLT + standardise + partial lookahead + no save 35μs  -- with HLT + no standardise + full lookahead + save 40μs  -- with HLT + standardise + full lookahead + save 39μs  -- with HLT + no standardise + partial lookahead + save 38μs  -- with HLT + standardise + partial lookahead + save 41μs  -- with Felsch + no standardisation 40μs  -- with Felsch + standardisation 41μs  -- with random strategy 43μs  -- with Rc style + full lookahead 40μs  -- with Rc style + partial lookahead 38μs  -- with R/C style 38μs  -- with CR style 42μs  -- with Cr style 42μs ToddCoxeter 008: for small fp semigroup . . .  -- with HLT + no standardise + full lookahead + no save 39μs  -- with HLT + standardise + full lookahead + no save 33μs  -- with HLT + no standardise + partial lookahead + no save 34μ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 37μs  -- with HLT + no standardise + partial lookahead + save 36μs  -- with HLT + standardise + partial lookahead + save 36μs  -- with Felsch + no standardisation 38μs  -- with Felsch + standardisation 35μs  -- with random strategy 38μs  -- with Rc style + full lookahead 34μs  -- with Rc style + partial lookahead 34μs  -- with R/C style 36μs  -- with CR style 38μs  -- with Cr style 37μs ToddCoxeter 009: 2-sided cong. trans. semigroup . . .  -- with HLT + no standardise + full lookahead + no save 225μs  -- with HLT + standardise + full lookahead + no save 218μs  -- with HLT + no standardise + partial lookahead + no save 203μs  -- with HLT + standardise + partial lookahead + no save 203μs  -- with HLT + no standardise + full lookahead + save 517μs  -- with HLT + standardise + full lookahead + save 506μs  -- with HLT + no standardise + partial lookahead + save 504μs  -- with HLT + standardise + partial lookahead + save 497μs  -- with Felsch + no standardisation 480μs  -- with Felsch + standardisation 438μs  -- with random strategy 218μs  -- with Rc style + full lookahead 213μs  -- with Rc style + partial lookahead 210μs  -- with R/C style 214μs  -- with CR style 459μs  -- with Cr style 453μs ToddCoxeter 010: left congruence on transformation semigroup . . .  -- with HLT + no standardise + full lookahead + no save 235μs  -- with HLT + standardise + full lookahead + no save 239μs  -- with HLT + no standardise + partial lookahead + no save 229μs  -- with HLT + standardise + partial lookahead + no save 235μs  -- with HLT + no standardise + full lookahead + save 553μs  -- with HLT + standardise + full lookahead + save 541μs  -- with HLT + no standardise + partial lookahead + save 530μs  -- with HLT + standardise + partial lookahead + save 541μs  -- with Felsch + no standardisation 500μs  -- with Felsch + standardisation 470μs  -- with random strategy 591μs  -- with Rc style + full lookahead 259μs  -- with Rc style + partial lookahead 253μs  -- with R/C style 273μs  -- with CR style 519μs  -- with Cr style 506μs ToddCoxeter 011: right cong. trans. semigroup . . .  -- with HLT + no standardise + full lookahead + no save 246μs  -- with HLT + standardise + full lookahead + no save 248μs  -- with HLT + no standardise + partial lookahead + no save 236μs  -- with HLT + standardise + partial lookahead + no save 243μs  -- with HLT + no standardise + full lookahead + save 534μs  -- with HLT + standardise + full lookahead + save 518μs  -- with HLT + no standardise + partial lookahead + save 503μs  -- with HLT + standardise + partial lookahead + save 526μs  -- with Felsch + no standardisation 412μs  -- with Felsch + standardisation 421μs  -- with random strategy 275μs  -- with Rc style + full lookahead 259μs  -- with Rc style + partial lookahead 256μs  -- with R/C style 277μs  -- with CR style 429μs  -- with Cr style 414μs ToddCoxeter 012: trans. semigroup (size 88) . . .  -- with HLT + no standardise + full lookahead + no save 163μs  -- with HLT + standardise + full lookahead + no save 162μs  -- with HLT + no standardise + partial lookahead + no save 151μs  -- with HLT + standardise + partial lookahead + no save 166μs  -- with HLT + save (throws) 166μs  -- with Felsch (throws) 162μs  -- with random strategy 164μs ToddCoxeter 013: left cong. on trans. semigroup (size 88) . . .  -- with HLT + no standardise + full lookahead + no save 205μs  -- with HLT + standardise + full lookahead + no save 207μs  -- with HLT + no standardise + partial lookahead + no save 196μs  -- with HLT + standardise + partial lookahead + no save 201μs  -- with HLT + no standardise + full lookahead + save 522μs  -- with HLT + standardise + full lookahead + save 515μs  -- with HLT + no standardise + partial lookahead + save 497μs  -- with HLT + standardise + partial lookahead + save 510μs  -- with Felsch + no standardisation 464μs  -- with Felsch + standardisation 433μs  -- with random strategy 237μs  -- with Rc style + full lookahead 223μs  -- with Rc style + partial lookahead 222μs  -- with R/C style 243μs  -- with CR style 473μs  -- with Cr style 458μs ToddCoxeter 014: right cong. on trans. semigroup (size 88) . . .  -- with HLT + no standardise + full lookahead + no save 213μs  -- with HLT + standardise + full lookahead + no save 218μs  -- with HLT + no standardise + partial lookahead + no save 204μs  -- with HLT + standardise + partial lookahead + no save 211μs  -- with HLT + no standardise + full lookahead + save 499μs  -- with HLT + standardise + full lookahead + save 492μs  -- with HLT + no standardise + partial lookahead + save 473μs  -- with HLT + standardise + partial lookahead + save 479μs  -- with Felsch + no standardisation 380μs  -- with Felsch + standardisation 396μs  -- with random strategy 247μs  -- with Rc style + full lookahead 234μs  -- with Rc style + partial lookahead 231μs  -- with R/C style 250μs  -- with CR style 400μs  -- with Cr style 382μs ToddCoxeter 015: finite fp-semigroup, dihedral group of order 6 . . .  -- with HLT + no standardise + full lookahead + no save 75μs  -- with HLT + standardise + full lookahead + no save 67μs  -- with HLT + no standardise + partial lookahead + no save 61μs  -- with HLT + standardise + partial lookahead + no save 62μs  -- with HLT + no standardise + full lookahead + save 84μs  -- with HLT + standardise + full lookahead + save 78μs  -- with HLT + no standardise + partial lookahead + save 75μs  -- with HLT + standardise + partial lookahead + save 77μs  -- with Felsch + no standardisation 72μs  -- with Felsch + standardisation 70μs  -- with random strategy 75μs  -- with Rc style + full lookahead 62μs  -- with Rc style + partial lookahead 59μs  -- with R/C style 59μs  -- with CR style 70μs  -- with Cr style 76μs ToddCoxeter 016: finite fp-semigroup, size 16 . . .  -- with HLT + no standardise + full lookahead + no save 71μs  -- with HLT + standardise + full lookahead + no save 66μs  -- with HLT + no standardise + partial lookahead + no save 63μs  -- with HLT + standardise + partial lookahead + no save 63μ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 121μs  -- with HLT + standardise + partial lookahead + save 122μs  -- with Felsch + no standardisation 120μs  -- with Felsch + standardisation 112μs  -- with random strategy 120μs  -- with Rc style + full lookahead 67μs  -- with Rc style + partial lookahead 64μs  -- with R/C style 70μs  -- with CR style 115μs  -- with Cr style 122μs ToddCoxeter 017: finite fp-semigroup, size 16 . . .  -- with HLT + no standardise + full lookahead + no save 192μs  -- with HLT + standardise + full lookahead + no save 172μs  -- with HLT + no standardise + partial lookahead + no save 160μs  -- with HLT + standardise + partial lookahead + no save 162μs  -- with HLT + no standardise + full lookahead + save 328μs  -- with HLT + standardise + full lookahead + save 321μs  -- with HLT + no standardise + partial lookahead + save 320μs  -- with HLT + standardise + partial lookahead + save 319μs  -- with Felsch + no standardisation 304μs  -- with Felsch + standardisation 296μs  -- with random strategy 327μs  -- with Rc style + full lookahead 172μs  -- with Rc style + partial lookahead 166μs  -- with R/C style 171μs  -- with CR style 298μs  -- with Cr style 299μs ToddCoxeter 018: test lookahead . . .  -- with HLT + no standardise + full lookahead + no save 269μs  -- with HLT + standardise + full lookahead + no save 259μs  -- with HLT + no standardise + partial lookahead + no save 242μs  -- with HLT + standardise + partial lookahead + no save 246μs  -- with HLT + no standardise + full lookahead + save 436μs  -- with HLT + standardise + full lookahead + save 423μs  -- with HLT + no standardise + partial lookahead + save 414μs  -- with HLT + standardise + partial lookahead + save 415μs ToddCoxeter 019: non-trivial left cong. from semigroup . . .  -- with HLT + no standardise + full lookahead + no save 152μs  -- with HLT + standardise + full lookahead + no save 148μs  -- with HLT + no standardise + partial lookahead + no save 138μs  -- with HLT + standardise + partial lookahead + no save 143μs  -- with HLT + save (throws) 152μs  -- with Felsch (throws) 151μs  -- with random strategy 155μ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 18μs  -- with HLT + no standardise + full lookahead + save 18μs  -- with HLT + standardise + full lookahead + save 18μs  -- with HLT + no standardise + partial lookahead + save 18μs  -- with HLT + standardise + partial lookahead + save 24μs  -- with Felsch + no standardisation 18μs  -- with Felsch + standardisation 20μs  -- with random strategy 18μs ToddCoxeter 021: calling run when obviously infinite . . .  -- with HLT + no standardise + full lookahead + no save 45μs  -- with HLT + standardise + full lookahead + no save 33μs  -- with HLT + no standardise + partial lookahead + no save 30μs  -- with HLT + standardise + partial lookahead + no save 30μs  -- with HLT + no standardise + full lookahead + save 30μs  -- with HLT + standardise + full lookahead + save 30μs  -- with HLT + no standardise + partial lookahead + save 29μs  -- with HLT + standardise + partial lookahead + save 30μs  -- with Felsch + no standardisation 30μs  -- with Felsch + standardisation 31μs  -- with random strategy 29μs ToddCoxeter 022: stellar_monoid S3 . . .  -- with HLT + no standardise + full lookahead + no save 115μs  -- with HLT + standardise + full lookahead + no save 105μs  -- with HLT + no standardise + partial lookahead + no save 97μs  -- with HLT + standardise + partial lookahead + no save 101μs  -- with HLT + no standardise + full lookahead + save 194μs  -- with HLT + standardise + full lookahead + save 187μs  -- with HLT + no standardise + partial lookahead + save 176μs  -- with HLT + standardise + partial lookahead + save 181μs  -- with Felsch + no standardisation 175μs  -- with Felsch + standardisation 165μs  -- with random strategy 171μs  -- with Rc style + full lookahead 107μs  -- with Rc style + partial lookahead 104μs  -- with R/C style 108μs  -- with CR style 163μs  -- with Cr style 159μs ToddCoxeter 023: finite semigroup (size 5) . . .  -- with HLT + no standardise + full lookahead + no save 42μs  -- with HLT + standardise + full lookahead + no save 32μs  -- with HLT + no standardise + partial lookahead + no save 29μs  -- with HLT + standardise + partial lookahead + no save 32μs  -- with HLT + no standardise + full lookahead + save 55μs  -- with HLT + standardise + full lookahead + save 53μs  -- with HLT + no standardise + partial lookahead + save 51μs  -- with HLT + standardise + partial lookahead + save 58μs  -- with Felsch + no standardisation 51μs  -- with Felsch + standardisation 52μs  -- with random strategy 36μs  -- with Rc style + full lookahead 32μs  -- with Rc style + partial lookahead 30μs  -- with R/C style 31μs  -- with CR style 56μs  -- with Cr style 53μs ToddCoxeter 024: exceptions . . .  -- with HLT + no standardise + full lookahead + no save 166μs  -- with HLT + standardise + full lookahead + no save 143μs  -- with HLT + no standardise + partial lookahead + no save 146μs  -- with HLT + standardise + partial lookahead + no save 141μs  -- with HLT + no standardise + full lookahead + save 145μs  -- with HLT + standardise + full lookahead + save 142μs  -- with HLT + no standardise + partial lookahead + save 141μs  -- with HLT + standardise + partial lookahead + save 141μs  -- with Felsch + no standardisation 140μs  -- with Felsch + standardisation 143μs  -- with random strategy 140μs  -- with Rc style + full lookahead 139μs  -- with Rc style + partial lookahead 138μs  -- with R/C style 138μs  -- with CR style 141μs  -- with Cr style 141μs ToddCoxeter 025: obviously infinite . . .  -- with HLT + no standardise + full lookahead + no save 42μs  -- with HLT + standardise + full lookahead + no save 35μs  -- with HLT + no standardise + partial lookahead + no save 34μs  -- with HLT + standardise + partial lookahead + no save 35μs  -- with HLT + no standardise + full lookahead + save 36μs  -- with HLT + standardise + full lookahead + save 34μs  -- with HLT + no standardise + partial lookahead + save 35μs  -- with HLT + standardise + partial lookahead + save 34μs  -- with Felsch + no standardisation 34μs  -- with Felsch + standardisation 34μs  -- with random strategy 34μs ToddCoxeter 026: exceptions . . .  -- with HLT + no standardise + full lookahead + no save 111μs  -- with HLT + standardise + full lookahead + no save 88μs  -- with HLT + no standardise + partial lookahead + no save 84μs  -- with HLT + standardise + partial lookahead + no save 84μs  -- with HLT + no standardise + full lookahead + save 94μs  -- with HLT + standardise + full lookahead + save 90μs  -- with HLT + no standardise + partial lookahead + save 88μs  -- with HLT + standardise + partial lookahead + save 89μs  -- with Felsch + no standardisation 88μs  -- with Felsch + standardisation 89μs  -- with random strategy 92μs  -- with Rc style + full lookahead 87μs  -- with Rc style + partial lookahead 85μs  -- with R/C style 86μs  -- with CR style 89μs  -- with Cr style 95μs ToddCoxeter 027: empty . . . 51μs ToddCoxeter 028: congruence of fpsemigroup::ToddCoxeter . . .  -- with HLT + no standardise + full lookahead + no save 145μs  -- with HLT + standardise + full lookahead + no save 121μs  -- with HLT + no standardise + partial lookahead + no save 119μs  -- with HLT + standardise + partial lookahead + no save 119μs  -- with HLT + save (throws) 123μs  -- with Felsch (throws) 123μs  -- with random strategy 126μs  -- with HLT + no standardise + full lookahead + save 118μs  -- with HLT + standardise + full lookahead + save 122μs  -- with HLT + no standardise + partial lookahead + save 119μs  -- with HLT + standardise + partial lookahead + save 121μs  -- with Felsch + no standardisation 118μs  -- with Felsch + standardisation 117μs  -- with Rc style + full lookahead 122μs  -- with Rc style + partial lookahead 480μs  -- with R/C style 113μs  -- with CR style 115μs  -- with Cr style 116μs ToddCoxeter 029: !KnuthBendix.started() . . .  -- with HLT + no standardise + full lookahead + no save and 2-sided 79μs  -- with HLT + standardise + full lookahead + no save and 2-sided 60μs  -- with HLT + no standardise + partial lookahead + no save and 2-sided 54μs  -- with HLT + standardise + partial lookahead + no save and 2-sided 54μs  -- with HLT + no standardise + full lookahead + save and 2-sided 61μs  -- with HLT + standardise + full lookahead + save and 2-sided 60μs  -- with HLT + no standardise + partial lookahead + save and 2-sided 59μs  -- with HLT + standardise + partial lookahead + save and 2-sided 58μs  -- with Felsch + no standardisation and 2-sided 58μs  -- with Felsch + standardisation and 2-sided 56μs  -- with random strategy and 2-sided 60μs  -- with HLT + no standardise + full lookahead + no save and left 77μs  -- with HLT + standardise + full lookahead + no save and left 58μs  -- with HLT + no standardise + partial lookahead + no save and left 53μs  -- with HLT + standardise + partial lookahead + no save and left 52μs  -- with HLT + no standardise + full lookahead + save and left 62μs  -- with HLT + standardise + full lookahead + save and left 61μs  -- with HLT + no standardise + partial lookahead + save and left 60μs  -- with HLT + standardise + partial lookahead + save and left 60μs  -- with Felsch + no standardisation and left 60μs  -- with Felsch + standardisation and left 59μs  -- with random strategy and left 57μs  -- with HLT + no standardise + full lookahead + no save and right 56μs  -- with HLT + standardise + full lookahead + no save and right 52μs  -- with HLT + no standardise + partial lookahead + no save and right 56μs  -- with HLT + standardise + partial lookahead + no save and right 52μs  -- with HLT + no standardise + full lookahead + save and right 59μs  -- with HLT + standardise + full lookahead + save and right 59μs  -- with HLT + no standardise + partial lookahead + save and right 59μs  -- with HLT + standardise + partial lookahead + save and right 62μs  -- with Felsch + no standardisation and right 59μs  -- with Felsch + standardisation and right 59μs  -- with random strategy and right 62μs ToddCoxeter 030: KnuthBendix.finished() . . .  -- with HLT + no standardise + full lookahead + no save and 2-sided 154μs  -- with HLT + standardise + full lookahead + no save and 2-sided 133μ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 128μs  -- with HLT + no standardise + partial lookahead + save and 2-sided 127μs  -- with HLT + standardise + partial lookahead + save and 2-sided 125μs  -- with Felsch + no standardisation and 2-sided 121μs  -- with Felsch + standardisation and 2-sided 120μs  -- with random strategy and 2-sided 125μs  -- with HLT + no standardise + full lookahead + no save and left 131μs  -- with HLT + standardise + full lookahead + no save and left 125μs  -- with HLT + no standardise + partial lookahead + no save and left 126μs  -- with HLT + standardise + partial lookahead + no save and left 123μs  -- with HLT + no standardise + full lookahead + save and left 288μs  -- with HLT + standardise + full lookahead + save and left 135μs  -- with HLT + no standardise + partial lookahead + save and left 132μs  -- with HLT + standardise + partial lookahead + save and left 132μs  -- with Felsch + no standardisation and left 128μs  -- with Felsch + standardisation and left 128μs  -- with random strategy and left 134μs  -- with HLT + no standardise + full lookahead + no save and right 152μs  -- with HLT + standardise + full lookahead + no save and right 170μs  -- with HLT + no standardise + partial lookahead + no save and right 170μs  -- with HLT + standardise + partial lookahead + no save and right 171μs  -- with HLT + no standardise + full lookahead + save and right 177μs  -- with HLT + standardise + full lookahead + save and right 176μs  -- with HLT + no standardise + partial lookahead + save and right 176μs  -- with HLT + standardise + partial lookahead + save and right 179μs  -- with Felsch + no standardisation and right 166μs  -- with Felsch + standardisation and right 166μs  -- with random strategy and right 195μs ToddCoxeter 031: KnuthBendix.finished() . . .  -- with HLT + no standardise + full lookahead + no save and 2-sided 112μs  -- with HLT + standardise + full lookahead + no save and 2-sided 96μs  -- with HLT + no standardise + partial lookahead + no save and 2-sided 94μs  -- with HLT + standardise + partial lookahead + no save and 2-sided 95μs  -- with HLT + no standardise + full lookahead + save and 2-sided 99μs  -- with HLT + standardise + full lookahead + save and 2-sided 98μs  -- with HLT + no standardise + partial lookahead + save and 2-sided 97μ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 95μs  -- with Rc style + full lookahead and 2-sided 94μs  -- with Rc style + partial lookahead and 2-sided 93μs  -- with R/C style and 2-sided 89μs  -- with CR style and 2-sided 94μs  -- with Cr style and 2-sided 101μs  -- with HLT + no standardise + full lookahead + no save and left 104μs  -- with HLT + standardise + full lookahead + no save and left 94μs  -- with HLT + no standardise + partial lookahead + no save and left 93μs  -- with HLT + standardise + partial lookahead + no save and left 92μs  -- with HLT + no standardise + full lookahead + save and left 101μs  -- with HLT + standardise + full lookahead + save and left 100μs  -- with HLT + no standardise + partial lookahead + save and left 99μs  -- with HLT + standardise + partial lookahead + save and left 99μs  -- with Felsch + no standardisation and left 97μs  -- with Felsch + standardisation and left 96μs  -- with random strategy and left 108μs  -- with Rc style + full lookahead and left 98μs  -- with Rc style + partial lookahead and left 97μs  -- with R/C style and left 92μs  -- with CR style and left 98μs  -- with Cr style and left 103μs  -- with HLT + no standardise + full lookahead + no save and right 116μ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 91μ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 98μs  -- with Felsch + no standardisation and right 95μs  -- with Felsch + standardisation and right 96μs  -- with random strategy and right 104μs  -- with Rc style + full lookahead and right 98μs  -- with Rc style + partial lookahead and right 96μs  -- with R/C style and right 92μs  -- with CR style and right 99μs  -- with Cr style and right 109μs ToddCoxeter 032: prefill . . . 138μs ToddCoxeter 033: congruence of ToddCoxeter . . .  -- with HLT + no standardise + full lookahead + no save 51μs  -- with HLT + standardise + full lookahead + no save 44μs  -- with HLT + no standardise + partial lookahead + no save 38μs  -- with HLT + standardise + partial lookahead + no save 37μs  -- with HLT + no standardise + full lookahead + save 43μs  -- with HLT + standardise + full lookahead + save 42μs  -- with HLT + no standardise + partial lookahead + save 41μs  -- with HLT + standardise + partial lookahead + save 40μs  -- with random strategy 41μs ToddCoxeter 034: congruence of ToddCoxeter . . .  -- with HLT + no standardise + full lookahead + no save 125μs  -- with HLT + standardise + full lookahead + no save 115μs  -- with HLT + no standardise + partial lookahead + no save 108μs  -- with HLT + standardise + partial lookahead + no save 108μs  -- with HLT + save (throws) 123μs  -- with Felsch (throws) 122μs  -- with random strategy 122μs ToddCoxeter 035: congruence on FpSemigroup . . .  -- with HLT + no standardise + full lookahead + no save 301μs  -- with HLT + standardise + full lookahead + no save 284μs  -- with HLT + no standardise + partial lookahead + no save 271μs  -- with HLT + standardise + partial lookahead + no save 265μs  -- with HLT + no standardise + full lookahead + save 308μs  -- with HLT + standardise + full lookahead + save 302μs  -- with HLT + no standardise + partial lookahead + save 304μs  -- with HLT + standardise + partial lookahead + save 305μs  -- with Felsch + no standardisation 307μs  -- with Felsch + standardisation 306μs  -- with random strategy 304μs  -- with Rc style + full lookahead 262μs  -- with Rc style + partial lookahead 262μs  -- with R/C style 259μs  -- with CR style 302μs  -- with Cr style 300μs ToddCoxeter 036: exceptions . . . 83μs ToddCoxeter 037: copy constructor . . . 37μs ToddCoxeter 038: simplify . . . 160μs ToddCoxeter 039: stylic_monoid . . . 678ms ToddCoxeter 041: some finite classes . . . 492μs ToddCoxeter 043: symmetric_group(7, Coxeter + Moser) . . . 123ms ToddCoxeter 044: Option exceptions . . . 69μs ToddCoxeter 045: Options operator<< . . . 699μs ToddCoxeter 046: Easdown-East-FitzGerald DualSymInv(5) . . .  -- with HLT + no standardise + full lookahead + no save 138ms  -- with HLT + standardise + full lookahead + no save 152ms  -- with HLT + no standardise + partial lookahead + no save 139ms  -- with HLT + standardise + partial lookahead + no save 152ms  -- with HLT + no standardise + full lookahead + save 111ms  -- 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 122ms  -- with Felsch + standardisation 122ms  -- with random strategy 143ms  -- with R/C style 145ms  -- with Rc style + full lookahead 128ms  -- with Rc style + partial lookahead 127ms ToddCoxeter 047: uniform_block_bijection_monoid(3) (FitzGerald) . . .  -- with HLT + no standardise + full lookahead + no save 91μs  -- with HLT + standardise + full lookahead + no save 79μs  -- with HLT + no standardise + partial lookahead + no save 71μs  -- with HLT + standardise + partial lookahead + no save 76μs  -- with HLT + no standardise + full lookahead + save 167μs  -- with HLT + standardise + full lookahead + save 151μs  -- with HLT + no standardise + partial lookahead + save 144μs  -- with HLT + standardise + partial lookahead + save 146μs  -- with Felsch + no standardisation 125μs  -- with Felsch + standardisation 120μs  -- with random strategy 124μs  -- with R/C style 82μs  -- with Rc style + full lookahead 76μs  -- with Rc style + partial lookahead 74μs ToddCoxeter 048: stellar_monoid(7) (Gay-Hivert) . . . 129ms ToddCoxeter 049: partition_monoid(4) (East) . . .  -- with HLT + no standardise + full lookahead + no save 24ms  -- with HLT + standardise + full lookahead + no save 25ms  -- with HLT + no standardise + partial lookahead + no save 24ms  -- with HLT + standardise + partial lookahead + no save 24ms  -- with HLT + no standardise + full lookahead + save 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 51ms  -- with Felsch + standardisation 52ms  -- with random strategy 53ms  -- with R/C style 27ms  -- with Rc style + full lookahead 56ms  -- with Rc style + partial lookahead 55ms ToddCoxeter 050: singular_brauer_monoid(6) (Maltcev + Mazorchuk) . . . 475ms 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 5256μs ToddCoxeter 053: temperley_lieb_monoid(10) (East) . . . 31ms ToddCoxeter 063: add_rule . . .  -- with HLT + no standardise + full lookahead + no save 84μs  -- with HLT + standardise + full lookahead + no save 63μs  -- with HLT + no standardise + partial lookahead + no save 59μs  -- with HLT + standardise + partial lookahead + no save 59μs  -- with HLT + no standardise + full lookahead + save 72μs  -- with HLT + standardise + full lookahead + save 64μs  -- with HLT + no standardise + partial lookahead + save 66μs  -- with HLT + standardise + partial lookahead + save 63μs  -- with Felsch + no standardisation 63μs  -- with Felsch + standardisation 63μs  -- with random strategy 62μs  -- with Rc style + full lookahead 60μs  -- with Rc style + partial lookahead 60μs  -- with R/C style 59μs  -- with CR style 63μs  -- with Cr style 64μs  -- with R/C + Felsch lookahead 64μs  -- with HLT + Felsch lookahead + save 64μs  -- with Cr + small number of f_defs 66μs  -- with Rc + small number of deductions 59μs  -- with Felsch + v2 + no preferred defs 64μs  -- with Felsch + v2 + immediate no stack 62μs  -- with Felsch + v1 + immediate no stack 63μs  -- with Felsch + v1 + immediate yes stack 62μs  -- with large collapse 59μs ToddCoxeter 064: (from kbmag/standalone/kb_data/s4) (KnuthB [...] . . .  -- with HLT + no standardise + full lookahead + no save 232μs ToddCoxeter 066: test validate . . . 56μs ToddCoxeter 067: add_rules after construct. from semigroup . . .  -- with HLT + no standardise + full lookahead + no save 361μs  -- with HLT + standardise + full lookahead + no save 340μs  -- with HLT + no standardise + partial lookahead + no save 336μs  -- with HLT + standardise + partial lookahead + no save 330μs  -- with HLT + save (throws) 339μs  -- with Felsch (throws) 334μs  -- with random strategy 322μs ToddCoxeter 068: Sym(5) from Chapter 3, Proposition 1.1 in NR . . .  -- with Deduction policy == purge_from_top 605μs  -- with Deduction policy == purge_all 544μs  -- with Deduction policy == discard_all_if_no_space 561μs  -- with HLT + no standardise + full lookahead + no save 651μs  -- with HLT + standardise + full lookahead + no save 890μs  -- with HLT + no standardise + partial lookahead + no save 629μs  -- with HLT + standardise + partial lookahead + no save 874μs  -- with HLT + no standardise + full lookahead + save 970μs  -- with HLT + standardise + full lookahead + save 926μs  -- with HLT + no standardise + partial lookahead + save 888μs  -- with HLT + standardise + partial lookahead + save 907μs  -- with Felsch + no standardisation 672μs  -- with Felsch + standardisation 589μs  -- with random strategy 625μs  -- with Rc style + full lookahead 1289μs  -- with Rc style + partial lookahead 1270μs  -- with R/C style 707μs  -- with CR style 639μs  -- with Cr style 611μs ToddCoxeter 069: Chapter 7, Theorem 3.6 in NR (size 243) . . .  -- with HLT + no standardise + full lookahead + no save 290μs  -- with HLT + standardise + full lookahead + no save 337μs  -- with HLT + no standardise + partial lookahead + no save 275μs  -- with HLT + standardise + partial lookahead + no save 318μs  -- with HLT + no standardise + full lookahead + save 383μs  -- with HLT + standardise + full lookahead + save 388μs  -- with HLT + no standardise + partial lookahead + save 367μs  -- with HLT + standardise + partial lookahead + save 389μs  -- with Felsch + no standardisation 1851μs  -- with Felsch + standardisation 1855μs  -- with random strategy 416μs  -- with Rc style + full lookahead 316μs  -- with Rc style + partial lookahead 301μs  -- with R/C style 311μs  -- with CR style 1884μs  -- with Cr style 1853μs ToddCoxeter 070: finite semigroup (size 99) . . .  -- with HLT + no standardise + full lookahead + no save 128μs  -- with HLT + standardise + full lookahead + no save 131μs  -- with HLT + no standardise + partial lookahead + no save 110μs  -- with HLT + standardise + partial lookahead + no save 123μs  -- with HLT + no standardise + full lookahead + save 178μs  -- with HLT + standardise + full lookahead + save 175μs  -- with HLT + no standardise + partial lookahead + save 158μs  -- with HLT + standardise + partial lookahead + save 168μs  -- with Felsch + no standardisation 337μs  -- with Felsch + standardisation 330μs  -- with random strategy 351μs  -- with Rc style + full lookahead 127μs  -- with Rc style + partial lookahead 124μs  -- with R/C style 128μs  -- with CR style 331μs  -- with Cr style 328μs ToddCoxeter 080: KnuthBendix 098 . . .  -- with HLT + no standardise + full lookahead + no save 425ms  -- with HLT + standardise + full lookahead + no save 452ms  -- with HLT + no standardise + partial lookahead + no save 426ms  -- with HLT + standardise + partial lookahead + no save 458ms  -- with HLT + no standardise + full lookahead + save 314ms  -- with HLT + standardise + full lookahead + save 308ms  -- with HLT + no standardise + partial lookahead + save 307ms  -- with HLT + standardise + partial lookahead + save 320ms  -- with Felsch + no standardisation 296ms  -- with Felsch + standardisation 295ms  -- with random strategy 314ms  -- with Rc style + full lookahead 289ms  -- with Rc style + partial lookahead 300ms  -- with R/C style 425ms  -- with CR style 293ms  -- with Cr style 291ms ToddCoxeter 084: Campbell-Reza 1 . . .  -- with HLT + no standardise + full lookahead + no save 116μs  -- with HLT + standardise + full lookahead + no save 85μs  -- with HLT + no standardise + partial lookahead + no save 82μs  -- with HLT + standardise + partial lookahead + no save 78μs  -- with HLT + no standardise + full lookahead + save 96μs  -- with HLT + standardise + full lookahead + save 88μs  -- with HLT + no standardise + partial lookahead + save 85μs  -- with HLT + standardise + partial lookahead + save 88μs  -- with Felsch + no standardisation 93μs  -- with Felsch + standardisation 91μs  -- with random strategy 78μs  -- with Rc style + full lookahead 76μs  -- with Rc style + partial lookahead 82μs  -- with R/C style 78μs  -- with CR style 91μs  -- with Cr style 90μs ToddCoxeter 085: Renner monoid type D4 (Gay-Hivert), q = 1 . . .  -- with HLT + no standardise + full lookahead + no save 176ms  -- with HLT + standardise + full lookahead + no save 114ms  -- with HLT + no standardise + partial lookahead + no save 113ms  -- with HLT + standardise + partial lookahead + no save 112ms  -- with HLT + no standardise + full lookahead + save 114ms  -- with HLT + standardise + full lookahead + save 112ms  -- with HLT + no standardise + partial lookahead + save 113ms  -- with HLT + standardise + partial lookahead + save 113ms  -- with Felsch + no standardisation 114ms  -- with Felsch + standardisation 112ms  -- with random strategy 112ms  -- with Rc style + full lookahead 112ms  -- with Rc style + partial lookahead 112ms  -- with R/C style 112ms  -- with CR style 112ms  -- with Cr style 113ms ToddCoxeter 086: trivial semigroup . . . 254ms ToddCoxeter 092: ACE --- perf602p5 - HLT . . .  -- with HLT + no standardise + full lookahead + no save 27ms  -- with HLT + standardise + full lookahead + no save 26ms  -- with HLT + no standardise + partial lookahead + no save 27ms  -- with HLT + standardise + partial lookahead + no save 26ms  -- with HLT + no standardise + full lookahead + save 12ms  -- with HLT + standardise + full lookahead + save 13ms  -- with HLT + no standardise + partial lookahead + save 12ms  -- with HLT + standardise + partial lookahead + save 13ms  -- with random strategy 27ms  -- with Felsch + no standardisation 10ms  -- with Felsch + standardisation 10ms ToddCoxeter 094: ACE --- C5 - HLT . . .  -- with HLT + no standardise + full lookahead + no save 106μs  -- with HLT + standardise + full lookahead + no save 166μs  -- with HLT + no standardise + partial lookahead + no save 171μs  -- with HLT + standardise + partial lookahead + no save 165μs  -- with HLT + no standardise + full lookahead + save 162μs  -- with HLT + standardise + full lookahead + save 111μs  -- with HLT + no standardise + partial lookahead + save 107μs  -- with HLT + standardise + partial lookahead + save 107μs  -- with random strategy 97μs  -- with Felsch + no standardisation 106μs  -- with Felsch + standardisation 104μs ToddCoxeter 095: ACE --- A5-C5 . . .  -- with HLT + no standardise + full lookahead + no save 111μs  -- with HLT + standardise + full lookahead + no save 122μs  -- with HLT + no standardise + partial lookahead + no save 107μs  -- with HLT + standardise + partial lookahead + no save 121μs  -- with HLT + no standardise + full lookahead + save 146μs  -- with HLT + standardise + full lookahead + save 141μs  -- with HLT + no standardise + partial lookahead + save 138μs  -- with HLT + standardise + partial lookahead + save 140μs  -- with random strategy 113μs  -- with Felsch + no standardisation 128μs  -- with Felsch + standardisation 126μs ToddCoxeter 096: ACE --- A5 . . .  -- with HLT + no standardise + full lookahead + no save 205μs  -- with HLT + standardise + full lookahead + no save 226μs  -- with HLT + no standardise + partial lookahead + no save 179μs  -- with HLT + standardise + partial lookahead + no save 213μs  -- with HLT + no standardise + full lookahead + save 313μs  -- with HLT + standardise + full lookahead + save 313μs  -- with HLT + no standardise + partial lookahead + save 303μs  -- with HLT + standardise + partial lookahead + save 307μs  -- with random strategy 320μs  -- with Felsch + no standardisation 247μs  -- with Felsch + standardisation 241μs ToddCoxeter 098: relation ordering . . .  -- with Felsch + no standardisation 501μs  -- with Felsch + standardisation 492μs  -- with HLT + no standardise + full lookahead + no save 283μs  -- with HLT + standardise + full lookahead + no save 275μs  -- with HLT + no standardise + partial lookahead + no save 273μs  -- with HLT + standardise + partial lookahead + no save 272μs  -- with HLT + no standardise + full lookahead + save 510μs  -- with HLT + standardise + full lookahead + save 509μs  -- with HLT + no standardise + partial lookahead + save 506μs  -- with HLT + standardise + partial lookahead + save 522μs  -- with random strategy 315μs ToddCoxeter 099: short circuit size in obviously infinite . . . 17μs ToddCoxeter 101: http://brauer.maths.qmul.ac.uk/Atlas/spor/M [...] . . . 486ms ToddCoxeter 108: http://brauer.maths.qmul.ac.uk/Atlas/lin/L3 [...] . . . 431ms ToddCoxeter 111: partition_monoid(2) . . . 76μs ToddCoxeter 112: brauer_monoid(4) (Kudryavtseva + Mazorchuk) . . . 358μs ToddCoxeter 113: symmetric_inverse_monoid . . . 13ms ToddCoxeter 116: symmetric_group(7, Burnside + Miller) . . . 348ms UF 001: constructor by size . . . 14μs UF 002: copy constructor . . . 19μs UF 003: find . . . 14μs action_digraph_helper 015: detail::to_string . . . 23μs action_digraph_helper 016: make . . . 51μs action_digraph_helper 017: is_connected . . . 174μs action_digraph_helper 018: is_strictly_cyclic . . . 9496μs follow_path 012: 20 node path . . . 20μs fpsemi-examples 002: full_transformation_monoid author except . . . 30μ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 . . . 22μs fpsemi-examples 007: symmetric_inverse_monoid(5) . . . 13ms fpsemi-examples 008: symmetric_group auth except . . . 26μs fpsemi-examples 009: symmetric_group degree except . . . 20μs fpsemi-examples 010: symmetric_group(6) Burnside + Miller . . . 20ms fpsemi-examples 011: dual_symmetric_inverse_monoid(5) . . . 141ms fpsemi-examples 012: dual_symmetric_inverse_monoid auth except . . . 41μs fpsemi-examples 013: dual_symmetric_inverse_monoid degree except . . . 21μs fpsemi-examples 014: uniform_block_bijection_monoid(5) . . . 18ms fpsemi-examples 015: uniform_block_bijection_monoid auth except . . . 67μs fpsemi-examples 016: uniform_block_bijection_monoid degree except . . . 50μs fpsemi-examples 019: partition_monoid auth except . . . 82μs fpsemi-examples 020: partition_monoid degree except . . . 74μs fpsemi-examples 022: monogenic_semigroup(4, 9) . . . 83μs fpsemi-examples 023: fibonacci_semigroup(2, 5) . . . 203μs fpsemi-examples 024: temperley_lieb_monoid(10) . . . 91ms fpsemi-examples 025: singular_brauer_monoid(6) . . . 519ms fpsemi-examples 026: orientation_preserving_monoid(6) . . . 26ms fpsemi-examples 027: orientation_reversing_monoid(5) . . . 7037μs fpsemi-examples 028: chinese_monoid(3) . . . 169μs fpsemi-examples 029: plactic_monoid(3) . . . 134μs fpsemi-examples 030: stylic_monoid(3) . . . 1106μs fpsemi-examples 031: symmetric_group(6) Carmichael . . . 15ms fpsemi-examples 032: symmetric_group(6) Moore . . . 11ms fpsemi-examples 033: symmetric_group(6) Coxeter + Moser . . . 6224μs fpsemi-examples 034: test for the rook monoid . . . 316μs fpsemi-examples 035: alternating_group(7) Moore . . . 24ms fpsemi-examples 036: alternating_group auth except . . . 48μs fpsemi-examples 037: alternating_group degree except . . . 27μs fpsemi-examples 038: partial_transformation_monoid(3) Machine . . . 373μs fpsemi-examples 039: chinese_monoid degree except . . . 81μs fpsemi-examples 040: monogenic_semigroup degree except . . . 45μs fpsemi-examples 041: rectangular_band degree except . . . 60μs fpsemi-examples 042: stellar_monoid degree except . . . 36μs fpsemi-examples 043: plactic_monoid degree except . . . 38μs fpsemi-examples 044: stylic_monoid degree except . . . 35μs fpsemi-examples 045: temperley_lieb_monoid degree except . . . 46μs fpsemi-examples 046: singular_brauer_monoid degree except . . . 46μs fpsemi-examples 047: orientation_preserving_monoid degree except . . . 46μs fpsemi-examples 048: orientation_preserving_monoid degree except . . . 46μs fpsemi-examples 049: test default values . . . 4508μs fpsemi-examples 052: not_symmetric_group(5) Guralnick + Kant [...] . . . 3142μs freeband_equal_to 001: . . . 1344μs is_acyclic 000: 2-cycle . . . 16μs is_acyclic 001: 1-cycle . . . 15μs is_acyclic 002: multi-digraph . . . 17μs is_acyclic 003: complete digraph 100 . . . 120μs is_acyclic 004: acyclic digraph with 20000 nodes . . . 2700μs is_acyclic 006: for a node . . . 1166μs is_acyclic 007: for a node . . . 23μs is_reachable 008: acyclic 20 node digraph . . . 56μs is_reachable 009: 100 node path . . . 12ms is_reachable 010: 100 node cycle . . . 12ms is_reachable 011: 20 node clique . . . 521μs last_node_on_path_nc 014: 20 node path . . . 23μs make 000: from FroidurePin . . . 610μs make 001: from FroidurePin and alphabet . . . 756μs make 002: presentation from presentation . . . 298μs make 003: presentation from presentation and alphabet . . . 64μs make> 000: from ActionDigraph . . . 1914μs make> 001: from ActionDigraph (exceptions) . . . 110μs number_of_words 001: . . . 25μs silo 000: alphabet: a, min: 0, max: 10 . . . 51μs silo 001: corner cases . . . 35μs silo 002: alphabet: ab, min: 1, max: 4 . . . 57μs silo 003: alphabet: abc, min: 0, max: 13 . . . 102ms silo 004: code coverage . . . 28μs sislo 005: alphabet: a, min: 0, max: 10 . . . 40μs sislo 006: corner cases . . . 73μs sislo 007: alphabet: ab, min: 1, max: 4 . . . 87μs sislo 008: alphabet: abc, min: 0, max: 13 . . . 84ms sislo 009: code coverage . . . 28μs string 000: detail::is_suffix . . . 12μs string 001: detail::is_prefix . . . 11μ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 . . . 36μs wilo 003: letters: 2, min: 1, max: 4 . . . 53μs wilo 004: letters: 3, min: 0, max: 10 . . . 14ms wilo 005: letters: 3, min: 0, max: 13 . . . 161ms wilo 006: forward iterator requirements . . . 160ms wilo 007: more corner cases . . . 52μs wilo 008: starting at a given word 1 . . . 156μs wilo 009: starting at a given word 2 . . . 19μs wilo 010: code coverage . . . 18μs wislo 000: n: 2, min; 1, max: 4 . . . 24μs wislo 001: corner cases . . . 39μs wislo 002: n: 3, min; 0, max: 10 . . . 4827μs wislo 003: n: 3, min; 0, max: 13 . . . 157ms wislo 004: lex + sort . . . 446ms wislo 005: code coverage . . . 26μs =============================================================================== All tests passed (1289393 assertions in 1131 test cases) >>> libsemigroups: Entering fakeroot... make[1]: Entering directory '/home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.4.1' ./config/install-sh -c -d '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib' /bin/sh ./libtool --mode=install /usr/bin/install -c libsemigroups.la '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib' ./config/install-sh -c -d '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups/HPCombi/include/fallback' ./config/install-sh -c -d '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups/HPCombi/include' ./config/install-sh -c -d '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/pkgconfig' /usr/bin/install -c -m 644 extern/HPCombi/include/fallback/gcdlcm.hpp extern/HPCombi/include/fallback/seq.hpp '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups/HPCombi/include/fallback' /usr/bin/install -c -m 644 libsemigroups.pc '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/pkgconfig' /usr/bin/install -c -m 644 extern/HPCombi/include/bmat8.hpp extern/HPCombi/include/bmat8_impl.hpp extern/HPCombi/include/epu.hpp extern/HPCombi/include/epu_impl.hpp extern/HPCombi/include/hpcombi.hpp extern/HPCombi/include/perm16.hpp extern/HPCombi/include/perm16_impl.hpp extern/HPCombi/include/perm_generic.hpp extern/HPCombi/include/perm_generic_impl.hpp extern/HPCombi/include/power.hpp extern/HPCombi/include/testtools.hpp extern/HPCombi/include/vect16.hpp extern/HPCombi/include/vect_generic.hpp '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups/HPCombi/include' ./config/install-sh -c -d '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups' ./config/install-sh -c -d '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups/textflowcpp' /usr/bin/install -c -m 644 include/libsemigroups/action.hpp include/libsemigroups/adapters.hpp include/libsemigroups/bipart.hpp include/libsemigroups/bitset.hpp include/libsemigroups/bmat8.hpp include/libsemigroups/bmat.hpp include/libsemigroups/bruidhinn-traits.hpp include/libsemigroups/config.hpp include/libsemigroups/cong-intf.hpp include/libsemigroups/cong-pair-impl.hpp include/libsemigroups/cong-pair.hpp include/libsemigroups/cong-wrap.hpp include/libsemigroups/cong.hpp include/libsemigroups/constants.hpp include/libsemigroups/containers.hpp include/libsemigroups/coset.hpp include/libsemigroups/debug.hpp include/libsemigroups/deprecated.hpp include/libsemigroups/digraph-helper.hpp include/libsemigroups/digraph-with-sources.hpp include/libsemigroups/digraph-with-sources.tpp include/libsemigroups/digraph.hpp include/libsemigroups/exception.hpp include/libsemigroups/fastest-bmat.hpp include/libsemigroups/felsch-tree.hpp include/libsemigroups/felsch-digraph.hpp include/libsemigroups/felsch-digraph.tpp include/libsemigroups/forest.hpp include/libsemigroups/fpsemi-examples.hpp include/libsemigroups/fpsemi-intf.hpp include/libsemigroups/fpsemi.hpp include/libsemigroups/freeband.hpp include/libsemigroups/froidure-pin-base.hpp include/libsemigroups/froidure-pin-impl.hpp include/libsemigroups/froidure-pin.hpp include/libsemigroups/function-ref.hpp include/libsemigroups/hpcombi.hpp include/libsemigroups/int-range.hpp include/libsemigroups/iterator.hpp include/libsemigroups/kambites.hpp '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups' libtool: install: /usr/bin/install -c .libs/libsemigroups.so.2.0.0 /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/libsemigroups.so.2.0.0 /usr/bin/install -c -m 644 extern/textflowcpp/TextFlow.hpp '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups/textflowcpp' libtool: install: (cd /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib && { ln -s -f libsemigroups.so.2.0.0 libsemigroups.so.2 || { rm -f libsemigroups.so.2 && ln -s libsemigroups.so.2.0.0 libsemigroups.so.2; }; }) /usr/bin/install -c -m 644 include/libsemigroups/kbe.hpp include/libsemigroups/knuth-bendix.hpp include/libsemigroups/konieczny.hpp include/libsemigroups/libsemigroups.hpp include/libsemigroups/make-froidure-pin.hpp include/libsemigroups/make-present.hpp include/libsemigroups/matrix.hpp include/libsemigroups/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.1' >>> libsemigroups-static*: Running split function static... >>> libsemigroups-static*: Preparing subpackage libsemigroups-static... >>> libsemigroups-static*: Stripping binaries >>> libsemigroups-static*: Running postcheck for libsemigroups-static >>> libsemigroups-dev*: Running split function dev... >>> libsemigroups-dev*: Preparing subpackage libsemigroups-dev... >>> libsemigroups-dev*: Stripping binaries >>> libsemigroups-dev*: Running postcheck for libsemigroups-dev >>> libsemigroups*: Running postcheck for libsemigroups >>> libsemigroups*: Preparing package libsemigroups... >>> libsemigroups*: Stripping binaries >>> libsemigroups-dev*: Scanning shared objects >>> libsemigroups-static*: Scanning shared objects >>> libsemigroups*: Scanning shared objects >>> libsemigroups-dev*: Tracing dependencies... libsemigroups=2.4.1-r0 pc:eigen3 pc:fmt pkgconfig >>> libsemigroups-dev*: Package size: 2.0 MB >>> libsemigroups-dev*: Compressing data... >>> libsemigroups-dev*: Create checksum... >>> libsemigroups-dev*: Create libsemigroups-dev-2.4.1-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.1-r0.apk >>> libsemigroups*: Tracing dependencies... so:libc.musl-x86_64.so.1 so:libfmt.so.9 so:libgcc_s.so.1 so:libstdc++.so.6 >>> libsemigroups*: Package size: 1.7 MB >>> libsemigroups*: Compressing data... >>> libsemigroups*: Create checksum... >>> libsemigroups*: Create libsemigroups-2.4.1-r0.apk >>> libsemigroups: Build complete at Sat, 10 Dec 2022 12:43:46 +0000 elapsed time 0h 3m 49s >>> libsemigroups: Cleaning up srcdir >>> libsemigroups: Cleaning up pkgdir >>> libsemigroups: Uninstalling dependencies... (1/4) Purging .makedepends-libsemigroups (20221210.123958) (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...