>>> libsemigroups: Building testing/libsemigroups 2.7.0-r0 (using abuild 3.10.0-r0) started Sun, 26 Mar 2023 18:10:42 +0000 >>> libsemigroups: Checking sanity of /home/buildozer/aports/testing/libsemigroups/APKBUILD... >>> libsemigroups: Analyzing dependencies... >>> libsemigroups: Installing for build: build-base eigen-dev fmt-dev (1/4) Installing eigen-dev (3.4.0-r8) (2/4) Installing fmt (9.1.0-r0) (3/4) Installing fmt-dev (9.1.0-r0) (4/4) Installing .makedepends-libsemigroups (20230326.181044) OK: 403 MiB in 103 packages >>> libsemigroups: Cleaning up srcdir >>> libsemigroups: Cleaning up pkgdir >>> libsemigroups: Fetching https://distfiles.alpinelinux.org/distfiles/edge/libsemigroups-2.7.0.tar.gz % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 0 146 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 curl: (22) The requested URL returned error: 404 >>> libsemigroups: Fetching https://github.com/libsemigroups/libsemigroups/releases/download/v2.7.0/libsemigroups-2.7.0.tar.gz % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 2484k 100 2484k 0 0 8542k 0 --:--:-- --:--:-- --:--:-- 8542k >>> libsemigroups: Fetching https://distfiles.alpinelinux.org/distfiles/edge/libsemigroups-2.7.0.tar.gz >>> libsemigroups: Checking sha512sums... libsemigroups-2.7.0.tar.gz: OK >>> libsemigroups: Unpacking /var/cache/distfiles/edge/libsemigroups-2.7.0.tar.gz... tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime' 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' 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 enable backward mode... yes checking for execinfo.h... no configure: WARNING: backward enabled but execinfo.h not found, disabling backward! 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-exception.lo CXX src/libsemigroups_la-felsch-tree.lo CXX src/libsemigroups_la-forest.lo CXX src/libsemigroups_la-fpsemi-examples.lo CXX src/libsemigroups_la-fpsemi-intf.lo CXX src/libsemigroups_la-fpsemi.lo CXX src/libsemigroups_la-freeband.lo CXX src/libsemigroups_la-froidure-pin-base.lo CXX src/libsemigroups_la-kambites.lo CXX src/libsemigroups_la-knuth-bendix.lo CXX src/libsemigroups_la-make-present.lo CXX src/libsemigroups_la-node-manager.lo CXX src/libsemigroups_la-obvinf.lo CXX src/libsemigroups_la-pbr.lo CXX src/libsemigroups_la-race.lo CXX src/libsemigroups_la-report.lo CXX src/libsemigroups_la-runner.lo CXX src/libsemigroups_la-siso.lo CXX src/libsemigroups_la-string.lo CXX src/libsemigroups_la-stephen.lo CXX src/libsemigroups_la-timer.lo CXX src/libsemigroups_la-todd-coxeter.lo CXX src/libsemigroups_la-ukkonen.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.7.0' CXX tests/bmat-data.o CXX tests/test-action.o CXX tests/test-bipart.o CXX tests/test-bitset.o CXX tests/test-bmat8.o CXX tests/test-cong-intf.o CXX tests/test-cong-pair.o CXX tests/test-cong.o CXX tests/test-constants.o CXX tests/test-containers.o CXX tests/test-digraph-helper.o CXX tests/test-digraph.o CXX tests/test-felsch-tree.o CXX tests/test-forest.o CXX tests/test-fpsemi.o CXX tests/test-fpsemi-examples-1.o CXX tests/test-fpsemi-examples-2.o CXX tests/test-fpsemi-examples-3.o CXX tests/test-fpsemi-intf.o CXX tests/test-freeband.o CXX tests/test-froidure-pin-bipart.o CXX tests/test-froidure-pin-bmat8.o CXX tests/test-froidure-pin-bmat.o CXX tests/test-froidure-pin-integers.o CXX tests/test-froidure-pin-intmat.o CXX tests/test-froidure-pin-intpairs.o CXX tests/test-froidure-pin-matrix.o CXX tests/test-froidure-pin-maxplustrunc.o CXX tests/test-froidure-pin-pbr.o CXX tests/test-froidure-pin-pperm.o CXX tests/test-froidure-pin-projmaxplus.o CXX tests/test-froidure-pin-transf.o CXX tests/test-hpcombi.o CXX tests/test-iterator.o CXX tests/test-kambites.o CXX tests/test-kbe.o CXX tests/test-knuth-bendix-1.o CXX tests/test-knuth-bendix-2.o CXX tests/test-knuth-bendix-3.o CXX tests/test-knuth-bendix-4.o CXX tests/test-knuth-bendix-5.o CXX tests/test-knuth-bendix-6.o CXX tests/test-konieczny-bmat8-1.o CXX tests/test-konieczny-bmat8-2.o CXX tests/test-konieczny-bmat8-3.o CXX tests/test-konieczny-transf.o CXX tests/test-konieczny-bmat.o CXX tests/test-konieczny-pperm.o CXX tests/test-main.o CXX tests/test-make-present.o CXX tests/test-make-froidure-pin.o CXX tests/test-matrix.o CXX tests/test-obvinf.o CXX tests/test-order.o CXX tests/test-pbr.o CXX tests/test-pool.o CXX tests/test-present.o CXX tests/test-race.o CXX tests/test-runner.o CXX tests/test-schreier-sims.o CXX tests/test-schreier-sims-helper.o CXX tests/test-sims1.o CXX tests/test-siso.o CXX tests/test-stephen.o CXX tests/test-string.o CXX tests/test-string-view.o CXX tests/test-timer.o CXX tests/test-todd-coxeter.o CXX tests/test-types.o CXX tests/test-uf.o CXX tests/test-ukkonen.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.7.0/include/libsemigroups/string-view.hpp:327:18, inlined from 'void libsemigroups::detail::StringViewContainer::ShortOrLong::destroy_long()' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.0/include/libsemigroups/string-view.hpp:573:22, inlined from 'libsemigroups::detail::StringViewContainer::~StringViewContainer()' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.0/include/libsemigroups/string-view.hpp:162:29, inlined from 'libsemigroups::detail::StringViewContainer::~StringViewContainer()' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.0/include/libsemigroups/string-view.hpp:158:7, inlined from 'libsemigroups::detail::MultiStringView::~MultiStringView()' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.0/include/libsemigroups/string-view.hpp:587:11, inlined from 'void libsemigroups::____C_A_T_C_H____T_E_S_T____26()' at tests/test-string-view.cpp:529:3: /usr/include/c++/12.2.1/bits/stl_vector.h:730:22: warning: '*(std::vector >*)((char*)&mm + offsetof(libsemigroups::detail::MultiStringView, libsemigroups::detail::MultiStringView::_container.libsemigroups::detail::StringViewContainer::_data)).std::vector::.std::_Vector_base >::_M_impl.std::_Vector_base >::_Vector_impl::.std::_Vector_base >::_Vector_impl_data::_M_start' may be used uninitialized [-Wmaybe-uninitialized] 730 | std::_Destroy(this->_M_impl._M_start, this->_M_impl._M_finish, | ~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 731 | _M_get_Tp_allocator()); | ~~~~~~~~~~~~~~~~~~~~~~ tests/test-string-view.cpp: In function 'void libsemigroups::____C_A_T_C_H____T_E_S_T____26()': tests/test-string-view.cpp:527:21: note: 'mm' declared here 527 | MultiStringView mm(s); | ^~ In destructor 'std::_Vector_base<_Tp, _Alloc>::~_Vector_base() [with _Tp = libsemigroups::detail::StringView; _Alloc = std::allocator]', inlined from 'std::vector<_Tp, _Alloc>::~vector() [with _Tp = libsemigroups::detail::StringView; _Alloc = std::allocator]' at /usr/include/c++/12.2.1/bits/stl_vector.h:733:7, inlined from 'libsemigroups::detail::StringViewContainer::Long::~Long()' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.0/include/libsemigroups/string-view.hpp:327:18, inlined from 'void libsemigroups::detail::StringViewContainer::ShortOrLong::destroy_long()' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.0/include/libsemigroups/string-view.hpp:573:22, inlined from 'libsemigroups::detail::StringViewContainer::~StringViewContainer()' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.0/include/libsemigroups/string-view.hpp:162:29, inlined from 'libsemigroups::detail::StringViewContainer::~StringViewContainer()' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.0/include/libsemigroups/string-view.hpp:158:7, inlined from 'libsemigroups::detail::MultiStringView::~MultiStringView()' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.0/include/libsemigroups/string-view.hpp:587:11, inlined from 'void libsemigroups::____C_A_T_C_H____T_E_S_T____26()' at tests/test-string-view.cpp:529:3: /usr/include/c++/12.2.1/bits/stl_vector.h:367:31: warning: '*(std::_Vector_base >*)((char*)&mm + offsetof(libsemigroups::detail::MultiStringView, libsemigroups::detail::MultiStringView::_container.libsemigroups::detail::StringViewContainer::_data)).std::_Vector_base >::_M_impl.std::_Vector_base >::_Vector_impl::.std::_Vector_base >::_Vector_impl_data::_M_end_of_storage' may be used uninitialized [-Wmaybe-uninitialized] 367 | _M_impl._M_end_of_storage - _M_impl._M_start); | ~~~~~~~~^~~~~~~~~~~~~~~~~ tests/test-string-view.cpp: In function 'void libsemigroups::____C_A_T_C_H____T_E_S_T____26()': tests/test-string-view.cpp:527:21: note: 'mm' declared here 527 | MultiStringView mm(s); | ^~ In file included from /usr/include/c++/12.2.1/string:47, from tests/catch.hpp:475: In constructor '__gnu_cxx::__normal_iterator<_Iterator, _Container>::__normal_iterator(const _Iterator&) [with _Iterator = const libsemigroups::detail::StringView*; _Container = std::vector]', inlined from 'std::vector<_Tp, _Alloc>::const_iterator std::vector<_Tp, _Alloc>::end() const [with _Tp = libsemigroups::detail::StringView; _Alloc = std::allocator]' at /usr/include/c++/12.2.1/bits/stl_vector.h:899:16, inlined from 'bool std::vector<_Tp, _Alloc>::empty() const [with _Tp = libsemigroups::detail::StringView; _Alloc = std::allocator]' at /usr/include/c++/12.2.1/bits/stl_vector.h:1084:30, inlined from 'bool libsemigroups::detail::StringViewContainer::Long::empty() const' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.0/include/libsemigroups/string-view.hpp:372:30, inlined from 'bool libsemigroups::detail::StringViewContainer::empty() const' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.0/include/libsemigroups/string-view.hpp:450:35, inlined from 'bool libsemigroups::detail::MultiStringView::empty() const' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.0/include/libsemigroups/string-view.hpp:791:32, inlined from 'libsemigroups::detail::MultiStringView::const_iterator libsemigroups::detail::MultiStringView::cbegin() const' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.0/include/libsemigroups/string-view.hpp:920:18, inlined from 'void libsemigroups::____C_A_T_C_H____T_E_S_T____28()' at tests/test-string-view.cpp:537:34: /usr/include/c++/12.2.1/bits/stl_iterator.h:1073:9: warning: 'm' may be used uninitialized [-Wmaybe-uninitialized] 1073 | : _M_current(__i) { } | ^~~~~~~~~~~~~~~ tests/test-string-view.cpp: In function 'void libsemigroups::____C_A_T_C_H____T_E_S_T____28()': tests/test-string-view.cpp:536:21: note: 'm' declared here 536 | MultiStringView m(s.cbegin() + 3, s.begin() + 6); | ^ In constructor '__gnu_cxx::__normal_iterator<_Iterator, _Container>::__normal_iterator(const _Iterator&) [with _Iterator = const libsemigroups::detail::StringView*; _Container = std::vector]', inlined from 'std::vector<_Tp, _Alloc>::const_iterator std::vector<_Tp, _Alloc>::begin() const [with _Tp = libsemigroups::detail::StringView; _Alloc = std::allocator]' at /usr/include/c++/12.2.1/bits/stl_vector.h:879:16, inlined from 'bool std::vector<_Tp, _Alloc>::empty() const [with _Tp = libsemigroups::detail::StringView; _Alloc = std::allocator]' at /usr/include/c++/12.2.1/bits/stl_vector.h:1084:21, inlined from 'bool libsemigroups::detail::StringViewContainer::Long::empty() const' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.0/include/libsemigroups/string-view.hpp:372:30, inlined from 'bool libsemigroups::detail::StringViewContainer::empty() const' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.0/include/libsemigroups/string-view.hpp:450:35, inlined from 'bool libsemigroups::detail::MultiStringView::empty() const' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.0/include/libsemigroups/string-view.hpp:791:32, inlined from 'libsemigroups::detail::MultiStringView::const_iterator libsemigroups::detail::MultiStringView::cbegin() const' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.0/include/libsemigroups/string-view.hpp:920:18, inlined from 'void libsemigroups::____C_A_T_C_H____T_E_S_T____28()' at tests/test-string-view.cpp:537:34: /usr/include/c++/12.2.1/bits/stl_iterator.h:1073:9: warning: 'm' may be used uninitialized [-Wmaybe-uninitialized] 1073 | : _M_current(__i) { } | ^~~~~~~~~~~~~~~ tests/test-string-view.cpp: In function 'void libsemigroups::____C_A_T_C_H____T_E_S_T____28()': tests/test-string-view.cpp:536:21: note: 'm' declared here 536 | MultiStringView m(s.cbegin() + 3, s.begin() + 6); | ^ In constructor '__gnu_cxx::__normal_iterator<_Iterator, _Container>::__normal_iterator(const _Iterator&) [with _Iterator = const libsemigroups::detail::StringView*; _Container = std::vector]', inlined from 'std::vector<_Tp, _Alloc>::const_iterator std::vector<_Tp, _Alloc>::cend() const [with _Tp = libsemigroups::detail::StringView; _Alloc = std::allocator]' at /usr/include/c++/12.2.1/bits/stl_vector.h:960:16, inlined from 'size_t libsemigroups::detail::StringViewContainer::Long::size() const' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.0/include/libsemigroups/string-view.hpp:348:33, inlined from 'size_t libsemigroups::detail::StringViewContainer::size() const' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.0/include/libsemigroups/string-view.hpp:458:34, inlined from 'size_t libsemigroups::detail::MultiStringView::size() const' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.0/include/libsemigroups/string-view.hpp:783:31, inlined from 'bool libsemigroups::detail::MultiStringView::operator==(const libsemigroups::detail::MultiStringView&) const' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.0/include/libsemigroups/string-view.hpp:969:33, inlined from 'bool Catch::compareEqual(const LhsT&, const RhsT&) [with LhsT = libsemigroups::detail::MultiStringView; RhsT = libsemigroups::detail::MultiStringView]' at tests/catch.hpp:2314:98, inlined from 'const Catch::BinaryExpr Catch::ExprLhs::operator==(const RhsT&) [with RhsT = libsemigroups::detail::MultiStringView; LhsT = const libsemigroups::detail::MultiStringView&]' at tests/catch.hpp:2343:34, inlined from 'void libsemigroups::____C_A_T_C_H____T_E_S_T____10()' at tests/test-string-view.cpp:273:5: /usr/include/c++/12.2.1/bits/stl_iterator.h:1073:9: warning: '((const libsemigroups::detail::StringView* const*)((char*)& + offsetof(libsemigroups::detail::MultiStringView, libsemigroups::detail::MultiStringView::_container.libsemigroups::detail::StringViewContainer::_data)))[1]' may be used uninitialized [-Wmaybe-uninitialized] 1073 | : _M_current(__i) { } | ^~~~~~~~~~~~~~~ tests/test-string-view.cpp: In function 'void libsemigroups::____C_A_T_C_H____T_E_S_T____10()': tests/test-string-view.cpp:273:41: note: '' declared here 273 | REQUIRE(mmmm == MultiStringView("ha")); | ^ In constructor '__gnu_cxx::__normal_iterator<_Iterator, _Container>::__normal_iterator(const _Iterator&) [with _Iterator = const libsemigroups::detail::StringView*; _Container = std::vector]', inlined from 'std::vector<_Tp, _Alloc>::const_iterator std::vector<_Tp, _Alloc>::cbegin() const [with _Tp = libsemigroups::detail::StringView; _Alloc = std::allocator]' at /usr/include/c++/12.2.1/bits/stl_vector.h:950:16, inlined from 'size_t libsemigroups::detail::StringViewContainer::Long::size() const' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.0/include/libsemigroups/string-view.hpp:348:33, inlined from 'size_t libsemigroups::detail::StringViewContainer::size() const' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.0/include/libsemigroups/string-view.hpp:458:34, inlined from 'size_t libsemigroups::detail::MultiStringView::size() const' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.0/include/libsemigroups/string-view.hpp:783:31, inlined from 'bool libsemigroups::detail::MultiStringView::operator==(const libsemigroups::detail::MultiStringView&) const' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.0/include/libsemigroups/string-view.hpp:969:33, inlined from 'bool Catch::compareEqual(const LhsT&, const RhsT&) [with LhsT = libsemigroups::detail::MultiStringView; RhsT = libsemigroups::detail::MultiStringView]' at tests/catch.hpp:2314:98, inlined from 'const Catch::BinaryExpr Catch::ExprLhs::operator==(const RhsT&) [with RhsT = libsemigroups::detail::MultiStringView; LhsT = const libsemigroups::detail::MultiStringView&]' at tests/catch.hpp:2343:34, inlined from 'void libsemigroups::____C_A_T_C_H____T_E_S_T____10()' at tests/test-string-view.cpp:273:5: /usr/include/c++/12.2.1/bits/stl_iterator.h:1073:9: warning: '*(const libsemigroups::detail::StringView* const*)((char*)& + offsetof(libsemigroups::detail::MultiStringView, libsemigroups::detail::MultiStringView::_container.libsemigroups::detail::StringViewContainer::_data))' may be used uninitialized [-Wmaybe-uninitialized] 1073 | : _M_current(__i) { } | ^~~~~~~~~~~~~~~ tests/test-string-view.cpp: In function 'void libsemigroups::____C_A_T_C_H____T_E_S_T____10()': tests/test-string-view.cpp:273:41: note: '' declared here 273 | REQUIRE(mmmm == MultiStringView("ha")); | ^ In constructor '__gnu_cxx::__normal_iterator<_Iterator, _Container>::__normal_iterator(const _Iterator&) [with _Iterator = const libsemigroups::detail::StringView*; _Container = std::vector]', inlined from 'std::vector<_Tp, _Alloc>::const_iterator std::vector<_Tp, _Alloc>::cend() const [with _Tp = libsemigroups::detail::StringView; _Alloc = std::allocator]' at /usr/include/c++/12.2.1/bits/stl_vector.h:960:16, inlined from 'size_t libsemigroups::detail::StringViewContainer::Long::size() const' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.0/include/libsemigroups/string-view.hpp:348:33, inlined from 'size_t libsemigroups::detail::StringViewContainer::size() const' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.0/include/libsemigroups/string-view.hpp:458:34, inlined from 'size_t libsemigroups::detail::MultiStringView::size() const' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.0/include/libsemigroups/string-view.hpp:783:31, inlined from 'bool libsemigroups::detail::MultiStringView::operator==(const libsemigroups::detail::MultiStringView&) const' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.0/include/libsemigroups/string-view.hpp:969:33, inlined from 'bool Catch::compareEqual(const LhsT&, const RhsT&) [with LhsT = libsemigroups::detail::MultiStringView; RhsT = libsemigroups::detail::MultiStringView]' at tests/catch.hpp:2314:98, inlined from 'const Catch::BinaryExpr Catch::ExprLhs::operator==(const RhsT&) [with RhsT = libsemigroups::detail::MultiStringView; LhsT = const libsemigroups::detail::MultiStringView&]' at tests/catch.hpp:2343:34, inlined from 'void libsemigroups::____C_A_T_C_H____T_E_S_T____8()' at tests/test-string-view.cpp:240:5: /usr/include/c++/12.2.1/bits/stl_iterator.h:1073:9: warning: '((const libsemigroups::detail::StringView* const*)((char*)& + offsetof(libsemigroups::detail::MultiStringView, libsemigroups::detail::MultiStringView::_container.libsemigroups::detail::StringViewContainer::_data)))[1]' may be used uninitialized [-Wmaybe-uninitialized] 1073 | : _M_current(__i) { } | ^~~~~~~~~~~~~~~ tests/test-string-view.cpp: In function 'void libsemigroups::____C_A_T_C_H____T_E_S_T____8()': tests/test-string-view.cpp:240:65: note: '' declared here 240 | REQUIRE(mmmm == MultiStringView("habcdefghijklabcdefghijkla")); | ^ In constructor '__gnu_cxx::__normal_iterator<_Iterator, _Container>::__normal_iterator(const _Iterator&) [with _Iterator = const libsemigroups::detail::StringView*; _Container = std::vector]', inlined from 'std::vector<_Tp, _Alloc>::const_iterator std::vector<_Tp, _Alloc>::cbegin() const [with _Tp = libsemigroups::detail::StringView; _Alloc = std::allocator]' at /usr/include/c++/12.2.1/bits/stl_vector.h:950:16, inlined from 'size_t libsemigroups::detail::StringViewContainer::Long::size() const' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.0/include/libsemigroups/string-view.hpp:348:33, inlined from 'size_t libsemigroups::detail::StringViewContainer::size() const' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.0/include/libsemigroups/string-view.hpp:458:34, inlined from 'size_t libsemigroups::detail::MultiStringView::size() const' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.0/include/libsemigroups/string-view.hpp:783:31, inlined from 'bool libsemigroups::detail::MultiStringView::operator==(const libsemigroups::detail::MultiStringView&) const' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.0/include/libsemigroups/string-view.hpp:969:33, inlined from 'bool Catch::compareEqual(const LhsT&, const RhsT&) [with LhsT = libsemigroups::detail::MultiStringView; RhsT = libsemigroups::detail::MultiStringView]' at tests/catch.hpp:2314:98, inlined from 'const Catch::BinaryExpr Catch::ExprLhs::operator==(const RhsT&) [with RhsT = libsemigroups::detail::MultiStringView; LhsT = const libsemigroups::detail::MultiStringView&]' at tests/catch.hpp:2343:34, inlined from 'void libsemigroups::____C_A_T_C_H____T_E_S_T____8()' at tests/test-string-view.cpp:240:5: /usr/include/c++/12.2.1/bits/stl_iterator.h:1073:9: warning: '*(const libsemigroups::detail::StringView* const*)((char*)& + offsetof(libsemigroups::detail::MultiStringView, libsemigroups::detail::MultiStringView::_container.libsemigroups::detail::StringViewContainer::_data))' may be used uninitialized [-Wmaybe-uninitialized] 1073 | : _M_current(__i) { } | ^~~~~~~~~~~~~~~ tests/test-string-view.cpp: In function 'void libsemigroups::____C_A_T_C_H____T_E_S_T____8()': tests/test-string-view.cpp:240:65: note: '' declared here 240 | REQUIRE(mmmm == MultiStringView("habcdefghijklabcdefghijkla")); | ^ In file included from /usr/include/c++/12.2.1/algorithm:61, from tests/test-matrix.cpp:17: In function 'void std::__final_insertion_sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = libsemigroups::StaticRowView*; _Compare = __gnu_cxx::__ops::_Iter_comp_iter >():: >]', inlined from 'void std::__sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = libsemigroups::StaticRowView*; _Compare = __gnu_cxx::__ops::_Iter_comp_iter >():: >]' at /usr/include/c++/12.2.1/bits/stl_algo.h:1940:31, inlined from 'void std::sort(_RAIter, _RAIter, _Compare) [with _RAIter = libsemigroups::StaticRowView*; _Compare = libsemigroups::{anonymous}::test_BMat000 >()::]' at /usr/include/c++/12.2.1/bits/stl_algo.h:4853:18, inlined from 'void libsemigroups::{anonymous}::test_BMat000() [with Mat = libsemigroups::StaticMatrix]' at tests/test-matrix.cpp:166:18: /usr/include/c++/12.2.1/bits/stl_algo.h:1849:32: warning: array subscript 16 is outside array bounds of 'libsemigroups::detail::StaticVector1, 2> [1]' [-Warray-bounds] 1849 | std::__insertion_sort(__first, __first + int(_S_threshold), __comp); | ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ tests/test-matrix.cpp: In function 'void libsemigroups::{anonymous}::test_BMat000() [with Mat = libsemigroups::StaticMatrix]': tests/test-matrix.cpp:160:14: note: at offset 128 into object 'r' of size 24 160 | auto r = matrix_helpers::rows(m); | ^ CXXLD test_all make[1]: Leaving directory '/home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.0' ./test_all --use-colour yes --order lex --abort [quick] Filters: [quick] Action 001: row and column basis orbits for BMat8 . . . 79μs Action 002: row and column basis orbits for BMat8 . . . 3512μs Action 003: add generators after enumeration . . . 3293μs Action 004: multipliers for BMat8 row and column orbits . . . 6707μs Action 005: orbits for regular boolean mat monoid 5 . . . 300ms Action 007: partial perm image orbit . . . 270μs Action 008: partial perm image orbit . . . 64ms Action 009: partial perm image orbit . . . 71ms Action 010: partial perm image orbit . . . 73ms Action 011: permutation on integers . . . 18μs Action 012: permutation on sets, arrays . . . 107μs Action 013: permutation on tuples, arrays . . . 12ms Action 014: permutation on sets, vectors . . . 167μs Action 015: permutation on tuples, vectors . . . 19ms Action 016: misc . . . 7416μs Action 017: partial perm image orbit . . . 42μs Action 018: permutation on tuples, arrays (360360) . . . 196ms Action 019: orbits for regular BMat8 monoid 5 with stop/start . . . 296ms Action 021: orbits for regular boolean mat monoid 5 (BMat<5> [...] . . . 370ms ActionDigraph 000: constructor with 1 default arg . . . 26μs ActionDigraph 001: constructor with 0 default args . . . 36μs ActionDigraph 002: add nodes . . . 21μs ActionDigraph 003: add edges . . . 267μs ActionDigraph 004: strongly connected components - cycles . . . 33μs ActionDigraph 005: strongly connected components - no edges . . . 38ms ActionDigraph 006: strongly connected components - disjoint cycles . . . 1625μs ActionDigraph 007: strongly connected components - complete graphs . . . 792μs ActionDigraph 008: exceptions . . . 50μs ActionDigraph 009: spanning forest - complete graphs . . . 4782μs ActionDigraph 010: spanning forest - disjoint cycles . . . 131μs ActionDigraph 011: restrict . . . 12μs ActionDigraph 012: remove_edge_nc . . . 10μs ActionDigraph 013: scc large cycle . . . 19ms ActionDigraph 014: random . . . 39μs ActionDigraph 015: reserve . . . 10μs ActionDigraph 016: default constructors . . . 19μs ActionDigraph 017: scc iterators . . . 1253μs ActionDigraph 018: iterator to edges . . . 641μs ActionDigraph 019: root of scc . . . 372μs ActionDigraph 020: cbegin/end_panislo - 100 node path . . . 950μs ActionDigraph 021: cbegin/end_pislo . . . 47μs ActionDigraph 022: cbegin/end_pani(s)lo - 100 node cycle . . . 1480μs ActionDigraph 023: cbegin/cend_pilo - tree 14 nodes . . . 82μs ActionDigraph 024: cbegin/end_pstilo - Cayley digraph . . . 261ms ActionDigraph 025: cbegin_pstilo - Tsalakou . . . 439μs ActionDigraph 026: cbegin/end_pstislo - Cayley digraph . . . 250ms ActionDigraph 027: cbegin/end_pstislo - Cayley digraph . . . 196μs ActionDigraph 028: path iterators corner cases . . . 160μs ActionDigraph 029: reverse node iterator . . . 12μs ActionDigraph 030: pstilo corner case . . . 84μs ActionDigraph 031: number_of_paths corner cases . . . 64μs ActionDigraph 032: number_of_paths acyclic digraph . . . 8777μs ActionDigraph 033: number_of_paths binary tree . . . 350ms ActionDigraph 034: number_of_paths large binary tree . . . 130ms ActionDigraph 035: number_of_paths 400 node random digraph . . . 650μs ActionDigraph 036: number_of_paths 10 node acyclic digraph . . . 45μs ActionDigraph 037: number_of_paths node digraph . . . 4064μs ActionDigraph 038: random/random_acyclic exceptions . . . 107μs ActionDigraph 039: unsafe (next) neighbour . . . 63μs ActionDigraph 040: number_of_egdes incident to a node . . . 68μs ActionDigraph 041: number_of_paths (matrix) . . . 24ms ActionDigraph 042: number_of_paths (matrix) . . . 14μs ActionDigraph 043: swap_edge_nc . . . 11μs ActionDigraph 044: detail::pow for non-square Eigen matrix . . . 21μs ActionDigraph 045: operator<< . . . 15μs Array2 044: all . . . 48μs BMat8 001: transpose . . . 23μs BMat8 002: multiplication . . . 20μs BMat8 003: identity matrix . . . 14μs BMat8 004: random . . . 89μs BMat8 005: call operator . . . 18μs BMat8 006: operator<< . . . 18μs BMat8 007: set . . . 59μs BMat8 008: row space basis . . . 664μs BMat8 009: col space basis . . . 698μs BMat8 010: row space basis . . . 1508μs BMat8 011: number_of_rows, number_of_cols . . . 47μs BMat8 012: row_space, col_space . . . 206μs BMat8 013: rows . . . 41μs BMat8 014: one . . . 11μs BMat8 015: vector constructor . . . 75μs BMat8 016: operator< . . . 14μs BMat8 017: adapters . . . 21μs BMat8 018: one . . . 12μs Bipartition 009: mem fns 1 . . . 39μs Bipartition 010: hash . . . 9000ns Bipartition 011: mem fns 2 . . . 25μs Bipartition 012: delete/copy . . . 9000ns Bipartition 013: degree 0 . . . 11μs Bipartition 014: exceptions . . . 36μs Bipartition 015: convenience constructor . . . 195μs Bipartition 016: force copy constructor over move constructor . . . 17μs Bipartition 017: adapters . . . 9000ns BitSet 000: size . . . 15μs BitSet 001: operator< . . . 10μs BitSet 002: operator== . . . 12μs BitSet 003: operator!= . . . 12μs BitSet 004: operator&= . . . 14μs BitSet 005: & . . . 17μs BitSet 006: operator|= . . . 17μs BitSet 007: operator[] . . . 22μs BitSet 008: set(none) . . . 19μs BitSet 009: set(pos, value) . . . 18μ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) . . . 26μs BitSet 014: std::hash . . . 8000ns BitSet 015: constructors . . . 18μs BitSet 016: max_size . . . 9000ns BitSet 017: insertion operators . . . 12μs Blocks 001: empty blocks . . . 13μs Blocks 002: non-empty blocks . . . 12μs Blocks 003: left blocks of bipartition . . . 14μs Blocks 004: right blocks of bipartition . . . 13μs Blocks 005: copy [empty blocks] . . . 11μs Blocks 006: copy [non-empty blocks] . . . 12μs Blocks 007: hash value . . . 12μs Blocks 008: operator< . . . 12μs Congruence 000: left congruence on fp semigroup . . . 198μ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 . . . 237μs Congruence 004: word_to_class_index for cong. on fp semigroup . . . 499μs Congruence 005: trivial congruence on non-fp semigroup . . . 404μs Congruence 006: 2-sided congruence on non-fp semigroup . . . 400μs Congruence 007: 2-sided congruence on fp semigroup . . . 622μs Congruence 008: 2-sided congruence on infinite fp semigroup . . . 317μs Congruence 009: 2-sided congruence on infinite fp semigroup . . . 415μs Congruence 010: 2-sided congruence on finite semigroup . . . 35ms Congruence 012: 2-sided congruence on finite semigroup . . . 3693μs Congruence 013: trivial 2-sided congruence on bicyclic monoid . . . 24ms Congruence 014: non-trivial 2-sided congruence on bicyclic monoid . . . 353μs Congruence 015: 2-sided congruence on free abelian monoid . . . 605μs Congruence 016: example where TC works but KB doesn't . . . 712μs Congruence 017: 2-sided congruence on finite semigroup . . . 340μs Congruence 018: infinite fp semigroup from GAP library . . . 519μs Congruence 019: 2-sided cong. on fp semigroup with infinite [...] . . . 315μs Congruence 020: trivial cong. on an fp semigroup . . .  -- with compute size 270μs  -- with don't compute size 252μs Congruence 021: duplicate generators . . . 414μs Congruence 022: non-trivial classes . . . 1036μs Congruence 023: right congruence on finite semigroup . . . 316ms Congruence 024: redundant generating pairs . . . 141μs Congruence 025: 2-sided cong. on free semigroup . . . 88μs Congruence 026: is_quotient_obviously_(in)finite . . . 1176μs Congruence 027: less . . . 358μs Congruence 028: 2-sided congruences of BMat8 semigroup . . . 180ms Congruence 029: left congruence on finite semigroup . . . 731μs Congruence 030: right congruence on finite semigroup . . . 862μs Congruence 031: right congruence on finite semigroup . . . 752μs Congruence 032: contains . . . 313μs Congruence 033: stellar_monoid S2 . . . 674μs Congruence 034: stellar_monoid S3 . . . 1033μs Congruence 035: stellar_monoid S4 . . . 2648μs Congruence 036: stellar_monoid S5 . . . 11ms Congruence 037: stellar_monoid S6 . . . 78ms Congruence 038: stellar_monoid S7 . . . 836ms Congruence 039: left cong. on an f.p. semigroup . . . 1585μs Congruence 040: 2-sided cong. on infinite f.p. semigroup . . . 447μs Congruence 041: 2-sided congruence constructed from type only . . . 601μs Congruence 042: const_contains . . . 504μs Congruence 043: no winner . . . 8097μs Congruence 044: congruence over smalloverlap . . . 10ms CongruenceByPairs 001: (cong) 2-sided cong. on finite semigroup . . . 491μs CongruenceByPairs 002: (cong) left congruence on finite semigroup . . . 192μs CongruenceByPairs 003: (cong) right congruence on finite semigroup . . . 187μs CongruenceByPairs 004: (cong) trivial congruence on finite s [...] . . . 139μs CongruenceByPairs 005: (cong) trivial left congruence on fin [...] . . . 129μs CongruenceByPairs 006: (cong) trivial right congruence on fi [...] . . . 120μs CongruenceByPairs 007: (cong) universal congruence on finite [...] . . . 580μs CongruenceByPairs 009: (cong) 2-sided congruence on finite s [...] . . . 744ms CongruenceByPairs 010: (cong) left congruence on big finite [...] . . . 31ms CongruenceByPairs 011: (cong) left congruence on TCE . . . 167μs CongruenceByPairs 012: (cong) is_quotient_obviously_finite . . . 85μs CongruenceByPairs 013: (cong) class_index_to_word/quotient . . .  -- with right congruence 8345μs  -- with left congruence 1225μs  -- with 2-sided congruence 6498μs CongruenceByPairs 014: (cong) const_word_to_class_index . . .  -- with right congruence 43μs  -- with left congruence 32μs  -- with 2-sided congruence 27μs CongruenceByPairs 015: (cong) size non-Element* . . . 29ms CongruenceInterface 000: add_pair . . .  -- with ToddCoxeter 89μs  -- with KnuthBendix 128μs  -- with CongruenceByPairs 107μs  -- with Congruence 391μs CongruenceInterface 001: contains/const_contains . . .  -- with ToddCoxeter and no parent 98μs  -- with KnuthBendix and no parent 100μs  -- with Congruence and parent 315μs  -- with CongruenceByPairs and parent 88μs CongruenceInterface 002: less . . .  -- with ToddCoxeter 80μs  -- with KnuthBendix 147μs  -- with CongruenceByPairs 93μs  -- with Congruence 396μs CongruenceInterface 003: is_quotient_obviously_(in)finite . . .  -- with ToddCoxeter 93μs  -- with KnuthBendix 100μs CongruenceInterface 004: is_quotient_obviously_(in)finite . . .  -- with CongruenceByPairs 97μs  -- with Congruence 334μs CongruenceInterface 005: parent_froidure_pin . . .  -- with ToddCoxeter 26μs  -- with KnuthBendix 18μs CongruenceInterface 006: parent_froidure_pin . . .  -- with CongruenceByPairs 93μs  -- with Congruence 366μs CongruenceInterface 007: cbegin/cend_ntc . . .  -- with ToddCoxeter 274μs  -- with KnuthBendix 1078μs CongruenceInterface 008: cbegin/cend_ntc . . .  -- with CongruenceByPairs 218μs  -- with Congruence 413μs CongruenceInterface 009: quotient is immutable . . .  -- with ToddCoxeter 105μs  -- with KnuthBendix 117μs  -- with Congruence 253μs CongruenceInterface 010: no generating pairs added . . .  -- with KnuthBendix and common behaviour 5463μs  -- with Congruence and common behaviour 5636μs  -- with ToddCoxeter 72μs CongruenceInterface 011: nr generators not set . . .  -- with ToddCoxeter 80μs  -- with KnuthBendix 79μs  -- with Congruence 73μs CongruenceInterface 012: no generating pairs . . . 192μs ConstIteratorStateless 001: ? . . . 10μs ConstIteratorStateless 002: ? . . . 9000ns Constants 001: Undefined . . . 20μs Constants 002: PositiveInfinity . . . 15μs Constants 003: NegativeInfinity . . . 14μs Constants 004: LimitMax . . . 13μs Duf 004: unite . . . 28μs Duf 006: compress . . . 15μs Duf 008: resize . . . 19μs Duf 009: resize . . . 12μs Duf 010: big chain . . . 15ms Duf 012: empty table . . . 11μs Duf 014: join . . . 13μs Duf 016: contains . . . 26μs Duf 018: swap . . . 30μ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 . . . 16μs DynamicArray2 006: copy constructor with 0 default args . . . 24μs DynamicArray2 007: add_rows . . . 14μs DynamicArray2 008: add_rows . . . 12μs DynamicArray2 009: add_cols . . . 29μs DynamicArray2 010: set/get . . . 48μs DynamicArray2 011: append 1/2 . . . 121μs DynamicArray2 012: append 2/2 . . . 215μs DynamicArray2 013: count . . . 31μs DynamicArray2 014: clear . . . 10μs DynamicArray2 015: begin_row and end_row . . . 57μs DynamicArray2 016: cbegin_row and cend_row . . . 21μs DynamicArray2 017: iterator operator++ (postfix) . . . 217μs DynamicArray2 018: iterator operator++ (prefix) . . . 1395μs DynamicArray2 019: iterator operator-- (postfix) . . . 285μs DynamicArray2 020: iterator operator-- (prefix) . . . 285μs DynamicArray2 021: operator= . . . 14μs DynamicArray2 022: operator== and operator!= . . . 259μs DynamicArray2 023: empty and clear . . . 13μs DynamicArray2 024: max_size . . . 9000ns DynamicArray2 025: swap . . . 52μs DynamicArray2 026: iterator arithmetic . . . 1133μs DynamicArray2 027: iterator comparison . . . 13μs DynamicArray2 028: iterator operator= . . . 11μs DynamicArray2 029: iterator operator[] . . . 64μs DynamicArray2 030: iterator operator-> . . . 24μs DynamicArray2 031: const_iterator operator++/-- . . . 194μs DynamicArray2 032: const_iterator operator++/-- . . . 10μs DynamicArray2 033: column iterators . . . 20μs DynamicArray2 034: column iterator arithmetic . . . 4566μs DynamicArray2 035: iterator assignment constructor . . . 1191μs DynamicArray2 036: reserve method . . . 95μs DynamicArray2 037: erase column . . . 14μs DynamicArray2 038: swap_rows . . . 12μs DynamicArray2 039: apply_row_permutation . . . 11μs DynamicArray2 040: swap . . . 10μs DynamicArray2 041: shrink_rows_to . . . 15μs DynamicArray2 042: shrink_rows_to - for range . . . 15μs FastestBMat 046: check no throw . . . 16μs FelschTree 000: previously failing example . . . 28μs Forest 001: test forest . . . 60μs FpSemigroup 001: Renner monoid type B2 (E. G. presentation), q = 1 . . . 888μs FpSemigroup 002: Renner monoid type B2 (E. G. presentation), q = 0 . . . 831μs FpSemigroup 003: Renner monoid type B3 (E. G. presentation), q = 1 . . . 60ms FpSemigroup 004: Renner monoid type B3 (E. G. presentation), q = 0 . . . 59ms FpSemigroup 005: Renner monoid type B2 (Gay-Hivert presentat [...] . . . 830μs FpSemigroup 006: Renner monoid type B2 (Gay-Hivert presentat [...] . . . 882μs FpSemigroup 007: Renner monoid type B3 (Gay-Hivert presentat [...] . . . 4015μs FpSemigroup 008: Renner monoid type B3 (Gay-Hivert presentat [...] . . . 3447μs FpSemigroup 009: Renner monoid type B4 (Gay-Hivert presentat [...] . . . 342ms FpSemigroup 010: Renner monoid type B4 (Gay-Hivert presentat [...] . . . 453ms FpSemigroup 013: Renner monoid type D2 (E. G. presentation), q = 1 . . . 1385μs FpSemigroup 014: Renner monoid type D2 (E. G. presentation), q = 0 . . . 1558μs FpSemigroup 015: Renner monoid type D3 (E. G. presentation), q = 1 . . . 7549μs FpSemigroup 016: Renner monoid type D3 (E. G. presentation), q = 0 . . . 5513μs FpSemigroup 017: Renner monoid type D4 (E. G. presentation), q = 1 . . . 578ms FpSemigroup 018: Renner monoid type D4 (E. G. presentation), q = 0 . . . 549ms FpSemigroup 019: Renner monoid type D2 (Gay-Hivert presentat [...] . . . 1894μs FpSemigroup 020: Renner monoid type D2 (Gay-Hivert presentat [...] . . . 1795μs FpSemigroup 021: Renner monoid type D3 (Gay-Hivert presentat [...] . . . 6253μs FpSemigroup 022: Renner monoid type D3 (Gay-Hivert presentat [...] . . . 4869μs FpSemigroup 023: Renner monoid type D4 (Gay-Hivert presentat [...] . . . 103ms FpSemigroup 024: Renner monoid type D4 (Gay-Hivert presentat [...] . . . 120ms FpSemigroup 029: Rook monoid R5, q = 0 . . . 6750μs FpSemigroup 030: Rook monoid R5, q = 1 . . . 5921μs FpSemigroup 031: Rook monoid R6, q = 0 . . . 51ms FpSemigroup 032: Rook monoid R6, q = 1 . . . 51ms FpSemigroup 033: normal_form . . . 464μs FpSemigroup 034: for a finite semigroup . . . 1081μs FpSemigroup 035: finite fp semigroup, dihedral group of order 6 . . . 839μs FpSemigroup 036: finite fp semigroup, size 16 . . . 1712μs FpSemigroup 037: finite fp semigroup, size 16 . . . 2012μs FpSemigroup 038: fp semigroup, size 240 . . . 1518μs FpSemigroup 039: add_rule . . . 412μs FpSemigroup 040: add_rule . . . 296μs FpSemigroup 041: equal_to . . . 446μs FpSemigroup 042: cbegin/cend_rules . . . 117μs FpSemigroup 043: semigroup of size 3 . . . 755μs FpSemigroup 044: run_for/until . . . 3219μs FpSemigroup 045: constructors . . . 265μs FpSemigroup 046: set_inverses . . . 200μs FpSemigroup 047: smalloverlap . . . 17ms FpSemigroup 048: quaternion group Q8 . . . 853μs FpSemigroup 049: symmetric group Coxeter presentation . . . 29ms FpSemigroupByPairs 029: (fpsemi) 2-sided congruence on finit [...] . . . 972μs FpSemigroupByPairs 030: (fpsemi) 2-sided congruence on finit [...] . . . 926μs FpSemigroupInterface 000: run with no alphabet . . .  -- with ToddCoxeter 118μs  -- with KnuthBendix 51μs  -- with FpSemigroup 64μs FpSemigroupInterface 001: equal_to . . .  -- with ToddCoxeter and human readable alphabet 2507μs  -- with KnuthBendix and human readable alphabet 7689μs  -- with FpSemigroup and human readable alphabet 6698μs  -- with FpSemigroupByPairs 4340μs FpSemigroupInterface 002: normal_form . . .  -- with ToddCoxeter 302μs  -- with KnuthBendix 393μs  -- with FpSemigroup 694μs FpSemigroupInterface 003: set_alphabet (1/2) . . .  -- with ToddCoxeter 165μs  -- with KnuthBendix 122μs  -- with FpSemigroup 140μs FpSemigroupInterface 004: set_alphabet (2/2) . . . 1761μs FpSemigroupInterface 005: add_rule after finished . . .  -- with ToddCoxeter and human readable alphabet 264μs  -- with KnuthBendix and human readable alphabet 318μs  -- with FpSemigroup and human readable alphabet 593μs  -- with FpSemigroupByPairs 1726μs FpSemigroupInterface 006: add_rule with equal words (1/2) . . .  -- with ToddCoxeter and human readable alphabet 382μs  -- with KnuthBendix and human readable alphabet 538μs  -- with FpSemigroup and human readable alphabet 683μs  -- with FpSemigroupByPairs 355μs FpSemigroupInterface 007: add_rule with equal words (2/2) . . .  -- with ToddCoxeter 52μs  -- with KnuthBendix 40μs  -- with FpSemigroup 56μs FpSemigroupInterface 008: add_rule with word_type . . .  -- with ToddCoxeter 103μs  -- with KnuthBendix 74μs  -- with FpSemigroup 133μs FpSemigroupInterface 009: add_rule with empty word (1/2) . . .  -- with ToddCoxeter 70μs  -- with FpSemigroup 72μs FpSemigroupInterface 010: add_rule with empty word (1/2) . . . 33μs FpSemigroupInterface 011: add_rules (1/3) . . .  -- with ToddCoxeter 81μs  -- with KnuthBendix 89μs  -- with FpSemigroup 92μs FpSemigroupInterface 012: add_rules (2/3) . . . 731μs FpSemigroupInterface 013: add_rules (3/3) . . .  -- with ToddCoxeter 60μs  -- with KnuthBendix 47μs  -- with FpSemigroup 115μs FpSemigroupInterface 014: set_identity (1/3) . . .  -- with ToddCoxeter 195μs  -- with KnuthBendix 171μs  -- with FpSemigroup 294μs FpSemigroupInterface 015: set_identity (2/3) . . . 470μs FpSemigroupInterface 016: set_identity (3/3) . . .  -- with ToddCoxeter 133μs  -- with KnuthBendix 115μs  -- with FpSemigroup 245μs FpSemigroupInterface 017: identity . . .  -- with ToddCoxeter 80μs  -- with KnuthBendix 43μs  -- with FpSemigroup 57μs FpSemigroupInterface 018: set_inverses + inverses (1/2) . . .  -- with ToddCoxeter 261μs  -- with KnuthBendix 211μs  -- with FpSemigroup 362μs FpSemigroupInterface 019: set_inverses + inverses (2/2) . . . 508μs FpSemigroupInterface 020: is_obviously_infinite (1/2) . . .  -- with ToddCoxeter 237μs  -- with KnuthBendix 320μs  -- with FpSemigroup 536μs FpSemigroupInterface 021: is_obviously_infinite (2/2) . . . 60μs FpSemigroupInterface 022: is_obviously_finite (1/2) . . .  -- with ToddCoxeter 213μs  -- with KnuthBendix 282μs  -- with FpSemigroup 528μs FpSemigroupInterface 023: is_obviously_finite (2/2) . . . 62μs FpSemigroupInterface 024: to_gap_string (1/3) . . .  -- with ToddCoxeter 56μs  -- with KnuthBendix 44μs  -- with FpSemigroup 106μs FpSemigroupInterface 025: to_gap_string (2/3) . . . 31μs FpSemigroupInterface 026: to_gap_string (3/3) . . . 51μs FroidurePin 015: (BMat8) regular boolean mat monoid 4 . . . 127ms FroidurePin 016: (BMat8) exception zero generators given . . . 21μs FroidurePin 017: (BMat8) exception word_to_element . . . 124μs FroidurePin 018: (BMat8) exception prefix . . . 3533μs FroidurePin 019: (BMat8) exception suffix . . . 27μs FroidurePin 020: (BMat8) exception first_letter . . . 1996μs FroidurePin 021: (BMat8) exception final_letter . . . 26μs FroidurePin 022: (BMat8) exception current_length . . . 1965μs FroidurePin 023: (BMat8) exception product_by_reduction . . . 1873μs FroidurePin 024: (BMat8) exception fast_product . . . 1430μs FroidurePin 025: (BMat8) exception is_idempotent . . . 63ms FroidurePin 026: (BMat8) copy constructor . . .  -- with fully enumerated 73ms  -- with partially enumerated 53ms  -- with not enumerated 48ms FroidurePin 027: (BMat8) cbegin/end_rules . . . 71μs FroidurePin 031: (integers) . . . 232μs FroidurePin 039: (pairs of integers) non-trivial user type . . . 38μs FroidurePin 055: (tropical max-plus semiring matrices) . . . 342μs FroidurePin 061: projective max plus matrix . . . 1259μs FroidurePin 062: projective max plus matrix . . . 44μs FroidurePin> 009: small example 2 . . . 62μs FroidurePin> 005: small example 1 . . . 155μs FroidurePin> 007: regular bmat monoid 4 . . . 86ms FroidurePin> 011: small example 3 . . . 762μs FroidurePin> 006: small example 1 . . . 201μs FroidurePin> 008: regular bmat monoid 4 . . . 108ms FroidurePin> 010: small example 2 . . . 62μs FroidurePin> 012: small example 3 . . . 929μs FroidurePin 000: small example 1 . . . 191μs FroidurePin 001: default constructed . . . 129μs FroidurePin 002: small example 2 . . . 60μs FroidurePin 004: exception: is_idempotent . . . 189μs FroidurePin> 033: Example 000 . . . 871μs FroidurePin> 035: Example 001 . . . 54μs FroidurePin> 032: Example 000 . . . 699μs FroidurePin> 034: Example 001 . . . 47μs FroidurePin 036: exception: current_position . . . 204μs FroidurePin 037: exception: word_to_element . . . 87μs FroidurePin 038: exception: prefix, suffix, first_letter . . . 23ms FroidurePin> 040: Example 000 . . . 95μs FroidurePin> 041: Example 000 . . . 68μs FroidurePin> 046: Example 005 . . . 216μs FroidurePin> 047: Example 005 . . . 236μs FroidurePin> 048: Example 005 . . . 226μs FroidurePin> 044: Example 004 . . . 39μs FroidurePin> 045: Example 004 . . . 37μs FroidurePin> 049: Example 006 . . . 1399μs FroidurePin> 050: Example 006 . . . 1595μs FroidurePin> 051: Example 006 . . . 1671μs FroidurePin> 052: Example 007 . . . 194μs FroidurePin> 053: Example 007 . . . 211μs FroidurePin> 054: Example 007 . . . 226μs FroidurePin 056: example 1 . . . 290μs FroidurePin 057: example 2 . . . 233μs FroidurePin> 058: . . . 806μs FroidurePin> 059: . . . 63μs FroidurePin> 060: exceptions: add_generator(s) . . . 74μs FroidurePin> 065: no exception zero generators given . . . 31μs FroidurePin> 066: exception generators of different [...] . . . 76μs FroidurePin> 067: exception current_position . . . 53μs FroidurePin> 068: exception word_to_element . . . 53μs FroidurePin> 069: exception gens . . . 712μs FroidurePin> 070: exception prefix . . . 31ms FroidurePin> 071: exception suffix . . . 80ms FroidurePin> 072: exception first_letter . . . 66μs FroidurePin> 073: exception final_letter . . . 56μs FroidurePin> 074: exception current_length . . . 108μs FroidurePin> 075: exception product_by_reduction . . . 1188μs FroidurePin> 076: exception fast_product . . . 519μs FroidurePin> 077: exception current_position . . . 714μs FroidurePin> 078: exception is_idempotent . . . 785μs FroidurePin> 079: exception add_generators . . . 49μs FroidurePin> 080: multithread number_of_idempotents . . . 656μs FroidurePin> 081: small semigroup . . . 35μs FroidurePin> 082: large semigroup . . . 9686μs FroidurePin> 083: at, position, current_* . . . 9790μs FroidurePin> 084: run . . . 9104μs FroidurePin> 085: run [many stops and starts] . . . 9326μs FroidurePin> 086: factorisation, length [1 element] . . . 9735μs FroidurePin> 087: factorisation, products [all elements] . . . 11ms FroidurePin> 088: first/final letter, prefix, suffi [...] . . . 9380μs FroidurePin> 089: current_position [standard] . . . 34μs FroidurePin> 090: current_position [duplicate gens] . . . 19ms FroidurePin> 091: current_position [after add_generators] . . . 10ms FroidurePin> 092: cbegin_idempotents/cend [1 thread] . . . 10ms FroidurePin> 093: idempotent_cend/cbegin [1 thread] . . . 9911μs FroidurePin> 094: is_idempotent [1 thread] . . . 7161μs FroidurePin> 096: finished, started . . . 6939μs FroidurePin> 097: current_position . . . 1667μs FroidurePin> 098: sorted_position, sorted_at . . . 8708μs FroidurePin> 099: right/left Cayley graph . . . 32ms FroidurePin> 100: iterator . . . 10ms FroidurePin> 101: reverse iterator . . . 10ms FroidurePin> 102: iterator arithmetic . . . 27ms FroidurePin> 103: iterator sorted . . . 23ms FroidurePin> 104: iterator sorted arithmetic . . . 29ms FroidurePin> 105: copy [not enumerated] . . . 7137μs FroidurePin> 106: copy_closure [not enumerated] . . . 45ms FroidurePin> 107: copy_add_generators [not enumerated] . . . 41ms FroidurePin> 108: copy [partly enumerated] . . . 7606μs FroidurePin> 109: copy_closure [partly enumerated] . . . 12ms FroidurePin> 110: copy_add_generators [partly enumerated] . . . 7765μ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] . . . 215μs FroidurePin> 115: relations . . . 9192μs FroidurePin> 116: relations [copy_closure, duplicat [...] . . . 12ms FroidurePin> 117: relations [copy_add_generators, d [...] . . . 12ms FroidurePin> 118: relations [from copy, not enumerated] . . . 8090μ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 [...] . . . 8070μs FroidurePin> 123: relations [from copy_closure, par [...] . . . 12ms FroidurePin> 124: relations [from copy_add_generato [...] . . . 9993μs FroidurePin> 125: relations [from copy_closure, ful [...] . . . 14ms FroidurePin> 126: relations [from copy_add_generato [...] . . . 12ms FroidurePin> 127: add_generators [duplicate generators] . . . 401μs FroidurePin> 128: add_generators [incremental 1] . . . 471μs FroidurePin> 129: add_generators [incremental 2] . . . 510μs FroidurePin> 130: closure [duplicate generators] . . . 247μs FroidurePin> 131: closure . . . 103μs FroidurePin> 132: factorisation . . . 23μs FroidurePin> 134: minimal_factorisation . . . 53μs FroidurePin> 135: batch_size (for an extremely larg [...] . . . 21μs FroidurePin> 137: exception: generators of differen [...] . . . 26μs FroidurePin> 138: exception: current_position . . . 41μs FroidurePin> 139: exception: word_to_element . . . 56μs FroidurePin> 140: exception: gens, current_position . . . 1097μs FroidurePin> 141: exception: add_generators . . . 33μs HPCombi 000: Transf16 . . . 35μs HPCombi 001: One specialisation . . . 10μs HPCombi 002: One specialisation . . . 10μs HPCombi 003: Swap specialisation . . . 10μs HPCombi 004: Swap specialisation . . . 9000ns HPCombi 005: Inverse specialisation . . . 9000ns HPCombi 006: ImageRightAction . . . 11μs HPCombi 007: ImageLeft/RightAction . . . 15μs HPCombi 008: Product . . . 10μs HPCombi 009: Degree/Complexity . . . 9000ns KBE 000: constructors . . . 49μs KBE 001: test . . . 76μs KBE 002: factorisation . . . 49μs KBE 003: swap . . . 33μs KBE 004: adapters . . . 29μs KBE 005: conversions . . . 28μs Kambites 000: (fpsemi) MT test 4 (std::string) . . . 7238μs Kambites 001: (fpsemi) MT test 4 (MultiStringView) . . . 7375μs Kambites 002: (fpsemi) number_of_pieces (std::string) . . . 128μs Kambites 003: (fpsemi) number_of_pieces (MultiStringView) . . . 117μs Kambites 004: (fpsemi) small_overlap_class (std::string) . . . 4063μs Kambites 005: (fpsemi) small_overlap_class (MultiStringView) . . . 4054μs Kambites 006: (fpsemi) random (std::string) . . . 11ms Kambites 007: (fpsemi) random (MultiStringView) . . . 11ms Kambites 008: (fpsemi) KnuthBendix 055 (std::string) . . . 17ms Kambites 009: (fpsemi) KnuthBendix 055 (MultiStringView) . . . 18ms Kambites 010: (fpsemi) smalloverlap/gap/test.gi:85 (std::string) . . . 86μs Kambites 011: (fpsemi) smalloverlap/gap/test.gi:85 (MultiStr [...] . . . 66μs Kambites 012: (fpsemi) free semigroup . . . 12μs Kambites 013: (fpsemi) smalloverlap/gap/test.gi:49 (std::string) . . . 38ms Kambites 014: (fpsemi) smalloverlap/gap/test.gi:49 (MultiStr [...] . . . 44ms Kambites 015: (fpsemi) smalloverlap/gap/test.gi:63 (std::string) . . . 40ms Kambites 016: (fpsemi) smalloverlap/gap/test.gi:63 (MultiStr [...] . . . 49ms Kambites 017: (fpsemi) smalloverlap/gap/test.gi:70 (std::string) . . . 161ms Kambites 018: (fpsemi) smalloverlap/gap/test.gi:70 (MultiStr [...] . . . 197ms Kambites 021: (fpsemi) code coverage (std::string) . . . 56μs Kambites 022: (fpsemi) code coverage (MultiStringView) . . . 31μs Kambites 023: (fpsemi) prefix (std::string) . . . 68μs Kambites 024: (fpsemi) prefix (MultiStringView) . . . 95μs Kambites 025: (fpsemi) normal_form (Example 3.15) (std::string) . . . 73μs Kambites 026: (fpsemi) normal_form (Example 3.15) (MultiStri [...] . . . 89μs Kambites 027: (fpsemi) normal_form (Example 3.16) (std::string) . . . 51μs Kambites 028: (fpsemi) normal_form (Example 3.16) (MultiStri [...] . . . 68μs Kambites 029: (fpsemi) normal_form (Example 3.16) more exhau [...] . . . 77ms Kambites 030: (fpsemi) normal_form (Example 3.16) more exhau [...] . . . 75ms Kambites 031: (fpsemi) small presentation (std::string) . . . 83μs Kambites 032: (fpsemi) small presentation (MultiStringView) . . . 44μs Kambites 033: (fpsemi) non-smalloverlap (std::string) . . . 51μs Kambites 034: (fpsemi) non-smalloverlap (MultiStringView) . . . 49μs Kambites 035: (fpsemi) MT test 3 (std::string) . . . 50μs Kambites 036: (fpsemi) MT test 3 (MultiStringView) . . . 48μs Kambites 037: (fpsemi) MT test 5 (std::string) . . . 28μs Kambites 038: (fpsemi) MT test 5 (MultiStringView) . . . 29μs Kambites 039: (fpsemi) MT test 6 (std::string) . . . 61μs Kambites 040: (fpsemi) MT test 6 (MultiStringView) . . . 66μs Kambites 041: (fpsemi) MT test 10 (std::string) . . . 59μs Kambites 042: (fpsemi) MT test 10 (MultiStringView) . . . 59μs Kambites 043: (fpsemi) MT test 13 (std::string) . . . 29μs Kambites 044: (fpsemi) MT test 13 (MultiStringView) . . . 30μs Kambites 045: (fpsemi) MT test 14 (std::string) . . . 27μs Kambites 046: (fpsemi) MT test 14 (MultiStringView) . . . 29μs Kambites 047: (fpsemi) MT test 15 (std::string) . . . 41μs Kambites 048: (fpsemi) MT test 15 (MultiStringView) . . . 39μs Kambites 049: (fpsemi) MT test 16 (std::string) . . . 39μs Kambites 050: (fpsemi) MT test 16 (MultiStringView) . . . 41μs Kambites 051: (fpsemi) MT test 17 (std::string) . . . 128μs Kambites 052: (fpsemi) MT test 17 (MultiStringView) . . . 119μs Kambites 053: (fpsemi) weak C(4) not strong x 1 (std::string) . . . 534μs Kambites 054: (fpsemi) weak C(4) not strong x 1 (MultiStringView) . . . 602μs Kambites 055: (fpsemi) weak C(4) not strong x 2 (std::string) . . . 501μ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) . . . 481μs Kambites 058: (fpsemi) weak C(4) not strong x 3 (MultiStringView) . . . 451μs Kambites 059: (fpsemi) weak C(4) not strong x 4 (std::string) . . . 62μs Kambites 060: (fpsemi) weak C(4) not strong x 4 (MultiStringView) . . . 75μs Kambites 061: (fpsemi) weak C(4) not strong x 5 (std::string) . . . 25μs Kambites 062: (fpsemi) weak C(4) not strong x 5 (MultiStringView) . . . 28μs Kambites 063: (fpsemi) weak C(4) not strong x 6 (std::string) . . . 36μs Kambites 064: (fpsemi) weak C(4) not strong x 6 (MultiStringView) . . . 38μs Kambites 065: (fpsemi) Konovalov example (std::string) . . . 23μs Kambites 066: (fpsemi) Konovalov example (MultiStringView) . . . 21μs Kambites 067: (fpsemi) long words (std::string) . . . 1091ms Kambites 068: (fpsemi) long words (MultiStringView) . . . 35ms Kambites 075: (cong) example 1 . . . 64μs Kambites 076: (cong) example 2 . . . 114μs Kambites 077: (cong) code coverage . . . 7513μs Kambites 078: (cong) large number of rules . . . 297ms KnuthBendix 000: (fpsemi) confluent fp semigroup 1 (infinite) . . . 119μs KnuthBendix 001: (fpsemi) confluent fp semigroup 2 (infinite) . . . 98μs KnuthBendix 002: (fpsemi) confluent fp semigroup 3 (infinite) . . . 73μs KnuthBendix 003: (fpsemi) non-confluent fp semigroup from wi [...] . . . 147μs KnuthBendix 004: (fpsemi) Example 5.1 in Sims (infinite) . . . 137μs KnuthBendix 005: (fpsemi) Example 5.1 in Sims (infinite) . . . 128μs KnuthBendix 006: (fpsemi) Example 5.3 in Sims . . . 101μs KnuthBendix 007: (fpsemi) Example 5.4 in Sims . . . 107μs KnuthBendix 008: (fpsemi) Example 6.4 in Sims (size 168) . . . 7317μs KnuthBendix 009: (fpsemi) . . . 51ms KnuthBendix 010: (fpsemi) SL(2, 7) from Chapter 3, Propositi [...] . . . 73ms KnuthBendix 011: (fpsemi) F(2, 5) - Chapter 9, Section 1 in [...] . . . 390μs KnuthBendix 012: (fpsemi) Reinis example 1 . . . 172μs KnuthBendix 013: redundant_rule (std::string) . . . 100ms KnuthBendix 014: redundant_rule (word_type) . . . 10ms KnuthBendix 019: (fpsemi) C(4) monoid . . . 30μs KnuthBendix 020: (cong) Chinese monoid . . . 119μs KnuthBendix 021: (from kbmag/standalone/kb_data/f25monoid) . . . 457μs KnuthBendix 022: (from kbmag/standalone/kb_data/degen4a) . . . 47ms KnuthBendix 023: (from kbmag/standalone/kb_data/torus) . . . 2138μs KnuthBendix 024: (from kbmag/standalone/kb_data/3a6) . . . 230ms KnuthBendix 025: (from kbmag/standalone/kb_data/f2) . . . 47μs KnuthBendix 026: (from kbmag/standalone/kb_data/s16) . . . 62ms KnuthBendix 027: (from kbmag/standalone/kb_data/a4monoid) . . . 53μs KnuthBendix 028: (from kbmag/standalone/kb_data/degen3) . . . 21μs KnuthBendix 029: (from kbmag/standalone/kb_data/ab1) . . . 21μs KnuthBendix 030: (from kbmag/standalone/kb_data/degen2) . . . 17μs KnuthBendix 031: (from kbmag/standalone/kb_data/f25) . . . 385μs KnuthBendix 032: (from kbmag/standalone/kb_data/237) . . . 505μs KnuthBendix 033: (from kbmag/standalone/kb_data/c2) . . . 16μs KnuthBendix 034: (from kbmag/standalone/kb_data/cosets) . . . 176μs KnuthBendix 035: Example 5.1 in Sims (KnuthBendix 09 again) . . . 41μs KnuthBendix 036: (from kbmag/standalone/kb_data/nilp2) . . . 27μs KnuthBendix 037: Example 6.4 in Sims . . . 12ms KnuthBendix 038: KnuthBendix 071 again . . . 566μs KnuthBendix 039: Example 5.4 in Sims (KnuthBendix 11 again) [...] . . . 169μs KnuthBendix 040: Example 5.4 in Sims (KnuthBendix 11 again) [...] . . . 109μs KnuthBendix 041: operator<< . . . 49μs KnuthBendix 042: confluence_interval . . . 16μs KnuthBendix 043: max_overlap . . . 15μs KnuthBendix 044: (fpsemi) (from kbmag/standalone/kb_data/d22 [...] . . . 1026μs KnuthBendix 045: (fpsemi) (from kbmag/standalone/kb_data/d22 [...] . . . 1931μs KnuthBendix 046: (fpsemi) small example . . . 652μs KnuthBendix 047: code coverage . . . 64μs KnuthBendix 048: small overlap 1 . . . 49μs KnuthBendix 049: (from kbmag/standalone/kb_data/s9) . . . 1329μs KnuthBendix 050: (fpsemi) Chapter 11, Lemma 1.8 (q = 6, r = [...] . . . 514μs KnuthBendix 051: (fpsemi) Chapter 11, Section 2 (q = 6, r = [...] . . . 108μs KnuthBendix 052: (fpsemi) Chapter 8, Theorem 4.2 in NR (infinite) . . . 194μs KnuthBendix 053: (fpsemi) equal_to fp semigroup . . . 43μs KnuthBendix 054: (fpsemi) equal_to free semigroup . . . 51μs KnuthBendix 055: (fpsemi) from GAP smalloverlap gap/test.gi [...] . . . 279μs KnuthBendix 056: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 446μs KnuthBendix 057: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 440μs KnuthBendix 058: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 1245μs KnuthBendix 059: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 2880μs KnuthBendix 060: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 33μs KnuthBendix 061: (fpsemi) Von Dyck (2,3,7) group (infinite) . . . 443μs KnuthBendix 062: (fpsemi) Von Dyck (2,3,7) group - different [...] . . . 4176μs KnuthBendix 063: (fpsemi) rewriting system from KnuthBendixC [...] . . . 317μs KnuthBendix 064: (fpsemi) rewriting system from Congruence 20 . . . 28μs KnuthBendix 065: (fpsemi) (from kbmag/standalone/kb_data/ab2) . . . 83μs KnuthBendix 066: (fpsemi) (from kbmag/standalone/kb_data/d22 [...] . . . 1113μs KnuthBendix 067: (fpsemi) (from kbmag/standalone/kb_data/degen1) . . . 45μs KnuthBendix 068: (fpsemi) (from kbmag/standalone/kb_data/s4) . . . 267μs KnuthBendix 069: (fpsemi) fp semigroup (infinite) . . . 46μs KnuthBendix 070: (fpsemi) Chapter 11, Section 1 (q = 4, r = [...] . . . 1563μs KnuthBendix 071: (fpsemi) Chapter 11, Section 1 (q = 8, r = [...] . . . 97ms KnuthBendix 072: (fpsemi) Chapter 7, Theorem 3.9 in NR (size 240) . . . 3102μs KnuthBendix 073: (fpsemi) F(2, 5) - Chapter 9, Section 1 in [...] . . . 397μs KnuthBendix 074: (fpsemi) F(2, 6) - Chapter 9, Section 1 in NR . . . 374μs KnuthBendix 075: (fpsemi) Chapter 10, Section 4 in NR (infinite) . . . 717μs KnuthBendix 076: (fpsemi) Sym(5) from Chapter 3, Proposition [...] . . . 2567μs KnuthBendix 077: (fpsemi) SL(2, 7) from Chapter 3, Propositi [...] . . . 72ms KnuthBendix 078: (fpsemi) bicyclic monoid (infinite) . . . 44μs KnuthBendix 079: (fpsemi) plactic monoid of degree 2 (infinite) . . . 61μs KnuthBendix 080: (fpsemi) example before Chapter 7, Proposit [...] . . . 43μs KnuthBendix 081: (fpsemi) Chapter 7, Theorem 3.6 in NR (size 243) . . . 705μs KnuthBendix 082: (fpsemi) finite semigroup (size 99) . . . 217μs KnuthBendix 096: Sorouhesh . . . 355μs KnuthBendix 097: (fpsemi) transformation semigroup (size 4) . . . 60μs KnuthBendix 098: (fpsemi) transformation semigroup (size 9) . . . 53μs KnuthBendix 099: (fpsemi) transformation semigroup (size 88) . . . 703μs KnuthBendix 100: internal_string_to_word . . . 38μs KnuthBendix 101: (fpsemi) construct from shared_ptr . . . 682μs KnuthBendix 102: internal_string_to_word . . . 723μs KnuthBendix 103: (cong) free semigroup congruence (5 classes) . . . 83μs KnuthBendix 104: free semigroup congruence (6 classes) . . . 211μs KnuthBendix 105: (cong) free semigroup congruence (16 classes) . . . 288μs KnuthBendix 106: (cong) free semigroup congruence (6 classes) . . . 417μs KnuthBendix 107: (cong) free semigroup congruence (240 classes) . . . 3055μs KnuthBendix 108: (cong) free semigroup congruence (240 classes) . . . 3007μs KnuthBendix 109: (cong) less . . . 3549μs KnuthBendix 110: (cong) less . . . 172ms KnuthBendix 111: (cong) constructors . . . 245ms KnuthBendix 112: (cong) const_contains/contains . . . 160μs KnuthBendix 113: (cong) is_quotient_obviously_finite . . . 21μs KnuthBendix 114: (cong) class_index_to_word . . . 170μs KnuthBendix 115: (cong) quotient_froidure_pin . . . 128μs KnuthBendix 116: (cong) set_number_of_generators . . . 24μs KnuthBendix 117: (cong) number of classes when obv-inf . . . 40μs KnuthBendixCongruenceByPairs 016: non-trivial congruence on [...] . . . 173μs KnuthBendixCongruenceByPairs 017: non-trivial congruence on [...] . . . 165μs KnuthBendixCongruenceByPairs 018: non-trivial congruence on [...] . . . 236μs KnuthBendixCongruenceByPairs 019: non-trivial congruence on [...] . . . 235μs KnuthBendixCongruenceByPairs 020: trivial congruence on a fi [...] . . . 172μs KnuthBendixCongruenceByPairs 021: universal congruence on a [...] . . . 504μs KnuthBendixCongruenceByPairs 022: left congruence on a finit [...] . . . 245μs KnuthBendixCongruenceByPairs 023: finite group, Chapter 11, [...] . . . 3952μs KnuthBendixCongruenceByPairs 024: right congruence on infini [...] . . . 278μs KnuthBendixCongruenceByPairs 025: finite fp semigroup, dihed [...] . . . 281μs KnuthBendixCongruenceByPairs 026: finite fp semigroup, size 16 . . . 297μs KnuthBendixCongruenceByPairs 027: finite fp semigroup, size 16 . . . 884μs KnuthBendixCongruenceByPairs 028: infinite fp semigroup with [...] . . . 67μs Konieczny 000: test000> . . . 1066μs Konieczny 001: test000> . . . 831μs Konieczny 002: test001> . . . 11ms Konieczny 003: test001> . . . 9351μs Konieczny 006: exceptions . . . 43μs Konieczny 007: code coverage . . . 13ms Konieczny 008: code coverage . . . 11ms Konieczny 009: regular elements and idempotents . . . 90ms Konieczny 010: regular D-class 01 . . . 1055μs Konieczny 011: regular D-class 02 . . . 10ms Konieczny 012: regular D-class 04: contains . . . 32ms Konieczny 013: non-regular D-classes 01 . . . 1100μs Konieczny 014: RegularDClass . . . 646μs Konieczny 015: full bmat monoid 4 . . . 45ms Konieczny 017: regular generated bmat monoid 4 idempotents . . . 88ms Konieczny 019: my favourite example . . . 96ms Konieczny 020: another large example . . . 8882μs Konieczny 021: my favourite example transposed . . . 77ms Konieczny 024: exceptions . . . 1168μs Konieczny 025: 0-parameter constructor . . . 19ms Konieczny 026: non-regular D-classes 02 . . . 11ms Konieczny 028: partial perm . . . 103ms Konieczny 029: symmetric inverse monoid n = 8 . . . 20ms Konieczny 030: exceptions . . . 215ms Konieczny 031: transformations . . . 525μs Konieczny 032: transformations - JDM favourite example . . . 45ms Konieczny 033: transformations - large example . . . 277ms Konieczny 034: transformations - large example with stop . . . 277ms Konieczny 035: transformations - large example with run_until . . . 278ms Konieczny 036: transformations - large example with stop in Action . . . 277ms Konieczny 037: exceptions . . . 56μs Konieczny 038: transformations: contains . . . 581μs Konieczny 040: transformations - destructor coverage . . . 102ms Konieczny 041: current_number_D_classes . . . 103ms Konieczny 042: add_generator . . . 16μs Konieczny 043: add_generator . . . 12μs Matrix 000: BMat<2> . . . 86μs Matrix 001: BMat<> . . . 68μs Matrix 002: BMat<3> + BMat<> . . . 11μs Matrix 003: BMat<2> + BMat<> . . . 16μs Matrix 004: BMat<3> . . . 12μs Matrix 005: BMat<> . . . 13μs Matrix 006: BMat<3> row_basis . . . 44μs Matrix 007: BMat<> row_basis . . . 42μs Matrix 008: IntMat<3> . . . 14μs Matrix 009: IntMat<> . . . 17μs Matrix 010: IntMat code cov . . . 10μs Matrix 011: MaxPlusMat<3> . . . 13μs Matrix 012: MaxPlusMat<> . . . 14μs Matrix 013: MaxPlusMat code cov . . . 8000ns Matrix 014: MinPlusMat<3> . . . 16μs Matrix 015: MinPlusMat<> . . . 19μs Matrix 016: MinPlusMat code cov . . . 8000ns Matrix 017: MaxPlusTruncMat<5, 2> . . . 15μs Matrix 018: MaxPlusTruncMat<5> . . . 18μs Matrix 019: MaxPlusTruncMat<> . . . 28μs Matrix 020: MaxPlusTruncMat<5, 4> . . . 16μs Matrix 021: MaxPlusTruncMat<5> . . . 18μs Matrix 022: MaxPlusTruncMat<> . . . 17μs Matrix 023: MaxPlusTruncMat<33, 3> . . . 30μs Matrix 024: MaxPlusTruncMat<33> . . . 27μs Matrix 025: MaxPlusTruncMat<> . . . 27μs Matrix 026: MaxPlusMat code cov . . . 9000ns Matrix 027: MinPlusTruncMat<33, 3> . . . 34μs Matrix 028: MinPlusTruncMat<33> . . . 31μs Matrix 029: MinPlusTruncMat<> . . . 36μs Matrix 030: NTPMat<0, 3, 3, 3> . . . 14μs Matrix 031: NTPMat<0, 3> . . . 15μs Matrix 032: NTPMat<> . . . 31μs Matrix 033: NTPMat<0, 10, 4, 4> . . . 23μs Matrix 034: NTPMat<0, 10> . . . 20μs Matrix 035: NTPMat<> . . . 19μs Matrix 036: NTPMat<0, 10, 4, 4> . . . 18μs Matrix 037: NTPMat<0, 10> . . . 17μs Matrix 038: NTPMat<> . . . 17μs Matrix 039: NTPMat<33, 2, 3, 3> . . . 14μs Matrix 040: NTPMat<33, 2> . . . 14μs Matrix 041: NTPMat<> . . . 14μs Matrix 042: ProjMaxPlusMat<3> . . . 88μs Matrix 043: ProjMaxPlusMat<> . . . 55μs Matrix 044: exceptions . . . 33μs Matrix 045: code coverage . . . 34μs MultiStringView 000: catch all . . . 41μ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) . . . 13μs MultiStringView 007: copy assignment (short assigned to short) . . . 12μs MultiStringView 008: move assignment (short assigned to long) . . . 12μs MultiStringView 009: move assignment (short assigned to short) . . . 12μs MultiStringView 010: code coverage . . . 19μs MultiStringView 011: pop_front . . . 38μs MultiStringView 012: append . . . 13μs MultiStringView 013: operators . . . 14μs MultiStringView 014: maximum_common_suffix . . . 13μs MultiStringView 015: deep tests . . . 10μs ObviouslyInfinite 011: Multiple rule additions . . . 48μs ObviouslyInfinite 012: A power of the generator 'b' does not [...] . . . 11μs ObviouslyInfinite 013: Preserves the number of occurrences o [...] . . . 11μs ObviouslyInfinite 014: Less relations than generators . . . 11μs ObviouslyInfinite 015: Relations preserve length . . . 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 . . . 14μs PBR 001: universal product with convenience constructor . . . 46μs PBR 002: universal product . . . 18μs PBR 003: product [bigger than previous] . . . 28μs PBR 004: hash . . . 10μs PBR 005: delete/copy . . . 18μs PBR 006: exceptions . . . 124μs PBR 007: operators . . . 72μs PBR 008: to_string . . . 20μs PBR 009: identity . . . 64μs PBR 010: adapters . . . 9000ns Pool 000: initial . . . 24μs Pool 001: bmat . . . 23μs Pool 002: PoolGuard . . . 19μs Pool 003: transformation products . . . 13μs Presentation 000: vectors of ints . . . 80μs Presentation 001: strings . . . 69μs Presentation 002: constructors (word_type) . . . 21μs Presentation 003: constructors (StaticVector1) . . . 31μs Presentation 004: constructors (std::string) . . . 22μs Presentation 005: alphabet + letters (word_type) . . . 99μs Presentation 006: alphabet + letters (std::string) . . . 32μs Presentation 007: contains_empty_word . . . 11μs Presentation 008: validate_rules throws . . . 38μs Presentation 009: helpers add_rule(s) . . . 72μs Presentation 010: helpers add_rule(s) (std::string) . . . 30μs Presentation 011: helpers add_identity_rules (std::vector/St [...] . . . 37μs Presentation 012: helpers add_identity_rules (std::string) . . . 22μs Presentation 013: helpers add_inverse_rules (all) . . . 156μs Presentation 014: helpers add_inverse_rules (std::string) . . . 37μs Presentation 015: helpers remove_duplicate_rules . . . 61μs Presentation 016: helpers reduce_complements . . . 111μs Presentation 017: helpers sort_each_rule . . . 59μs Presentation 018: helpers sort_rules . . . 68μs Presentation 019: helpers longest_common_subword/replace_subword . . . 234μs Presentation 020: helpers redundant_rule . . . 5546μs Presentation 021: helpers shortlex_compare_concat . . . 11μs Presentation 022: helpers remove_trivial_rules . . . 60μs Presentation 023: helpers replace_subword (existing, replacement) . . . 49μs Presentation 024: helpers longest_rule . . . 87μs Presentation 025: helpers longest_rule_length . . . 78μs Presentation 026: helpers remove_redundant_generators . . . 100μs Presentation 027: helpers reverse . . . 20μs Presentation 028: in_alphabet . . . 24μs Presentation 029: replace_subword with empty word . . . 20μs Presentation 030: helpers replace_word . . . 38μs Presentation 031: clear . . . 11μs Presentation 032: letter . . . 30μs Presentation 033: normalize_alphabet . . . 15μs Presentation 034: longest_common_subword issue . . . 291μs Presentation 035: helpers add_zero_rules (std::vector/Static [...] . . . 39μs Presentation 036: helpers add_zero_rules (std::string) . . . 23μs Presentation 037: make_semigroup . . . 43μs Presentation 038: greedy_reduce_length . . . 194μs Presentation 039: aaaaaaaab = aaaaaaaaab strong compression . . . 59μs Presentation 040: change_alphabet . . . 67μs Presentation 042: first_unused_letter/letter . . . 154μs Presentation 043: case where strong compression doesn't work . . . 31μs Presentation 044: proof that . . . 38μs Presentation 045: decompression . . . 18μs Race 001: run_for . . . 10ms Race 002: run_until . . . 10ms Race 003: exceptions . . . 10ms Race 004: iterators . . . 13μs Race 005: find_runner . . . 11μs Race 006: run_func . . . 25ms Race 007: run_func . . . 10ms Race 008: run_func . . . 10ms Runner 000: run_for . . . 10ms Runner 001: run_for . . . 1010μs Runner 002: run_for . . . 192ms Runner 003: run_for . . . 25ms Runner 004: started . . . 1028μs Runner 005: run_until . . . 10ms Runner 006: kill . . . 25μs Runner 007: copy constructor . . . 10ms Runner 008: report . . . 20ms Runner 009: run_until with function pointer . . . 25μs SchreierSims 001: trivial perm. group (degree 1) . . . 55μs SchreierSims 002: trivial perm. group (degree 2) . . . 26μs SchreierSims 003: trivial perm. group (degree 500) . . . 330μs SchreierSims 004: symmetric perm. group (degree 5) . . . 46μs SchreierSims 005: symmetric perm. group (degree 8) . . . 44μs SchreierSims 006: symmetric perm. group (degree 9) . . . 50μs SchreierSims 007: alternating perm. group (degree 12) . . . 81μs SchreierSims 008: symmetric perm. group (degree 16) . . . 322μs SchreierSims 009: alternating perm. group (degree 15) . . . 181μs SchreierSims 010: alternating perm. group (degree 16) . . . 387μs SchreierSims 011: dihedral perm. group (order 10) . . . 29μs SchreierSims 012: dihedral perm. group (order 200) . . . 2327μs SchreierSims 013: perm. group T (order 12) . . . 30μs SchreierSims 014: quaternion perm. group (order 8) . . . 34μs SchreierSims 015: perm. group (order 84129611558952960) . . . 291ms SchreierSims 016: perm. group SL(3, 5) (order 372000) . . . 1439μs SchreierSims 017: perm. group PSL(4, 8) (order 34558531338240) . . . 120ms SchreierSims 018: perm. Mathieu group M11 (order 7920) . . . 94μs SchreierSims 019: perm. Mathieu group M24 (order 244823040) . . . 250μs SchreierSims 020: perm. Janko Group J1 (order 175560) . . . 3335μs SchreierSims 021: perm. Hall-Janko group (order 604800) . . . 470μs SchreierSims 022: perm. Hall-Janko group (alt.) (order 604800) . . . 33ms SchreierSims 023: perm. Conway group Co3 (order 495766656000) . . . 8933μs SchreierSims 024: perm. Conway group Co3 (alt.) (order 49576 [...] . . . 19ms SchreierSims 025: perm. Suzuki group (order 448345497600) . . . 113ms SchreierSims 027: perm. Held group (order 4030387200) . . . 171ms SchreierSims 028: perm. group C2 x C2 x C2 (order 8) . . . 27μ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) . . . 59μs SchreierSims 031: perm. group C3 x D8 x A5 (order 1440) . . . 57μs SchreierSims 032: perm. group GL(4, 3) (order 24261120) . . . 644μs SchreierSims 033: perm. group PSL(3, 7) (order 1876896) . . . 710μs SchreierSims 037: symmetric perm. group (degree 5) . . . 27μs SchreierSims 038: alternating perm. group (degree 17) . . . 3504μs SchreierSims 039: exceptions . . . 79μs SchreierSims 040: exceptions . . . 43μs SchreierSims 041: trivial group . . . 29μs SchreierSims 042: A17 bug . . . 3128μs SchreierSims 043: orbits_lookup test . . . 462μs SchreierSims 044: transversal_element and inversal_element test . . . 1134μs SchreierSimsHelper 001: trivial perm. group intersection (de [...] . . . 18μs SchreierSimsHelper 002: trivial perm. group intersection (de [...] . . . 22μs SchreierSimsHelper 003: cyclic group intersection (degree 13) . . . 34μs SchreierSimsHelper 004: D10 and Z5 intersection . . . 30μ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 . . . 134μs SchreierSimsHelper 009: A13 and PGL(2, 11) intersection (swa [...] . . . 126μs SchreierSimsHelper 012: 3^3:13 and 3^3.2.A(4) intersection . . . 143μs SchreierSimsHelper 015: 3^3(S(4) x 2) and ASL(3, 3) intersection . . . 301μs SchreierSimsHelper 016: 7^2:3 x Q(8) and 7^2:D(2*6) intersection . . . 389μs SchreierSimsHelper 018: D(2*53) and 53:13 intersection . . . 225μs SchreierSimsHelper 019: 2^6:(7 x D_14) and PSL(2, 6)^2.4 int [...] . . . 1506μs SchreierSimsHelper 020: 2^6:(S_3 x GL(3, 2)) and 2.6:Alt(7) [...] . . . 4647μs SchreierSimsHelper 022: PSL(2, 127) and AGL(1, 2^7) intersection . . . 7939μs SchreierSimsHelper 023: PSL(3, 4).2 and PSL(3, 4).2 (nontriv [...] . . . 1795μs SchreierSimsHelper 024: PSL(3, 4).Sym(3) and PSL(3, 4).2 int [...] . . . 1850μs SchreierSimsHelper 025: 3^4:5:4 and D_16:4 intersection . . . 1016μs Sims1 000: fp example 1 . . . 941μs Sims1 001: fp example 2 . . . 1841μs Sims1 002: ToddCoxeter failing example . . . 11ms Sims1 003: ToddCoxeter failing example . . . 636μs Sims1 004: partition_monoid(2) right . . . 4621μs Sims1 006: full_transformation_monoid(3) right . . . 4889μs Sims1 007: full_transformation_monoid(3) left . . . 2761μs Sims1 009: rook_monoid(2, 1) . . . 102μs Sims1 010: symmetric_inverse_monoid(2) from FroidurePin . . . 88μs Sims1 011: symmetric_inverse_monoid(3) . . . 4912μs Sims1 014: temperley_lieb_monoid(3) from presentation . . . 107μs Sims1 015: temperley_lieb_monoid(4) from presentation . . . 560μs Sims1 016: fp semigroup containing given pairs #1 . . . 266μs Sims1 017: fp semigroup containing given pairs #2 . . . 256μs Sims1 018: fp semigroup containing given pairs #3 . . . 408μs Sims1 019: ToddCoxeter failing example . . . 1126μs Sims1 020: fp example 2 . . . 2813μs Sims1 021: exceptions . . . 205μs Sims1 027: from https://mathoverflow.net/questions/423541/ . . . 18ms Sims1 028: from https://mathoverflow.net/questions/423541/ . . . 14ms Sims1 030: presentation with one free generator . . . 174μs Sims1 031: presentation with non-zero index generators . . . 76μs Sims1 032: presentation with empty word . . . 6385μs Sims1 033: constructors . . . 997μs Sims1 034: split_at . . . 183μs Sims1 035: stats . . . 91μs Sims1 036: check iterator requirements . . . 119μs Sims1 040: TransitiveGroup(10, 32) - minimal rep . . . 2907μs Sims1 043: rectangular_band(2, 2) - with and without identity . . . 181μs Sims1 044: trivial group - minimal o.r.c. rep . . . 109μs Sims1 045: right zero semigroup - minimal o.r.c. rep . . . 1642μs Sims1 046: semigroup with faithful non-strictly cyclic actio [...] . . . 682μs Sims1 068: RepOrc . . . 25ms Sims1 069: fp example 1 . . . 373μ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 955μs (174ns 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 . . . 1039μs Sims1 072: symmetric_group(n) for n = 4 . . . 1270μs Sims1 073: corner case no generators + no relations . . . 70μs Sims1 076: uninitialized RepOrc . . . 26μs SmallestInteger 001: . . . 11μs StaticTriVector2 045: all . . . 17μs StaticVector2 043: all . . . 16μs Stephen 000: basic test 1 . . . 205μs Stephen 001: basic test 2 . . . 128μs Stephen 002: full transf monoid . . . 13ms Stephen 003: from step_hen 002 . . . 49μs Stephen 004: from step_hen 003 . . . 143μs Stephen 005: from step_hen 004 . . . 54μs Stephen 006: from step_hen 005 . . . 89μs Stephen 008: C(4) monoid normal form (test_case_knuth_bendix_055) . . . 184μs Stephen 009: C(4) monoid normal form (test_case_gap_smallove [...] . . . 82μs Stephen 010: code coverage . . . 273μs Stephen 011: C(4) monoid normal form (test_case_gap_smallove [...] . . . 221μs Stephen 012: C(4) monoid normal form (test_case_gap_smallove [...] . . . 200μs Stephen 013: C(4) monoid equal to (test_case_gap_smalloverlap_70) . . . 106μs Stephen 014: C(4) monoid normal form (test_case_ex_3_13_14) . . . 272μs Stephen 015: C(4) monoid normal form (test_case_ex_3_15) . . . 317μs Stephen 016: C(4) monoid normal form (test_case_ex_3_16) . . . 252μs Stephen 017: C(4) monoid normal form (test_case_mt_3) . . . 142μs Stephen 018: C(4) monoid normal form (test_case_mt_5) . . . 89μs Stephen 019: C(4) monoid normal form (test_case_mt_6) . . . 286μs Stephen 020: C(4) monoid normal form (test_case_mt_10) . . . 136μs Stephen 021: C(4) monoid normal form (test_case_mt_13) . . . 92μs Stephen 022: C(4) monoid normal form (test_case_mt_14) . . . 88μs Stephen 023: C(4) monoid normal form (test_case_mt_15) . . . 96μs Stephen 024: C(4) monoid normal form (test_case_mt_16) . . . 140μs Stephen 025: C(4) monoid normal form (test_case_mt_17) . . . 270μs Stephen 026: C(4) monoid normal form (test_case_weak_1) . . . 187μs Stephen 027: C(4) monoid normal form (test_case_weak_2) . . . 147μs Stephen 028: C(4) monoid normal form (test_case_weak_3) . . . 218μs Stephen 029: C(4) monoid normal form (test_case_weak_4) . . . 204μs Stephen 030: C(4) monoid normal form (test_case_weak_5) . . . 100μs Stephen 031: Test behaviour when uninitialised . . . 154μs Suf 005: unite . . . 21μs Suf 007: compress . . . 12μs Suf 011: big chain . . . 14ms Suf 013: empty table . . . 9000ns Suf 015: join . . . 11μs Suf 017: contains . . . 29μs Suf 019: swap . . . 31μs Timer 001: string method (1 argument) . . . 32μ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 1149μs  -- with HLT + standardise + full lookahead + no save 990μs  -- with HLT + no standardise + partial lookahead + no save 985μs  -- with HLT + standardise + partial lookahead + no save 994μs  -- with HLT + no standardise + full lookahead + save 1016μs  -- with HLT + standardise + full lookahead + save 999μs  -- with HLT + no standardise + partial lookahead + save 1010μs  -- with HLT + standardise + partial lookahead + save 998μs  -- with Felsch + no standardisation 1010μs  -- with Felsch + standardisation 995μs  -- with random strategy 1018μs  -- with Rc style + full lookahead 985μs  -- with Rc style + partial lookahead 985μs  -- with R/C style 1003μs  -- with CR style 995μs  -- with Cr style 990μs ToddCoxeter 001: small 2-sided congruence . . .  -- with HLT + no standardise + full lookahead + no save 5172μs  -- with HLT + standardise + full lookahead + no save 5151μs  -- with HLT + no standardise + partial lookahead + no save 5425μs  -- with HLT + standardise + partial lookahead + no save 5462μs  -- with HLT + no standardise + full lookahead + save 6000μs  -- with HLT + standardise + full lookahead + save 6624μs  -- with HLT + no standardise + partial lookahead + save 6668μs  -- with HLT + standardise + partial lookahead + save 6683μs  -- with Felsch + no standardisation 5644μs  -- with Felsch + standardisation 5963μs  -- with random strategy 5467μs  -- with Rc style + full lookahead 5549μs  -- with Rc style + partial lookahead 5468μs  -- with R/C style 5288μs  -- with CR style 5126μs  -- with Cr style 5250μs ToddCoxeter 003: constructed from FroidurePin . . .  -- with Felsch + no standardisation 234ms  -- with Felsch + standardisation 231ms  -- with HLT + no standardise + full lookahead + no save 82ms  -- with HLT + standardise + full lookahead + no save 82ms  -- with HLT + no standardise + partial lookahead + no save 81ms  -- with HLT + standardise + partial lookahead + no save 82ms  -- with HLT + no standardise + full lookahead + save 238ms  -- with HLT + standardise + full lookahead + save 238ms  -- with HLT + no standardise + partial lookahead + save 238ms  -- with HLT + standardise + partial lookahead + save 238ms  -- with random strategy 237ms  -- with Rc style + full lookahead 234ms  -- with Rc style + partial lookahead 236ms  -- with R/C style 89ms  -- with CR style 235ms  -- with Cr style 235ms ToddCoxeter 004: 2-sided congruence from FroidurePin . . .  -- with HLT + no standardise + full lookahead + no save 222μs  -- with HLT + standardise + full lookahead + no save 176μs  -- with HLT + no standardise + partial lookahead + no save 167μs  -- with HLT + standardise + partial lookahead + no save 168μs  -- with HLT + save (throws) 225μs  -- with Felsch (throws) 181μs  -- with random strategy 172μs ToddCoxeter 005: non-trivial two-sided from relations . . .  -- with HLT + no standardise + full lookahead + no save 62μs  -- with HLT + standardise + full lookahead + no save 41μs  -- with HLT + no standardise + partial lookahead + no save 39μs  -- with HLT + standardise + partial lookahead + no save 39μs  -- with HLT + no standardise + full lookahead + save 55μs  -- with HLT + standardise + full lookahead + save 49μs  -- with HLT + no standardise + partial lookahead + save 47μs  -- with HLT + standardise + partial lookahead + save 46μs  -- with Felsch + no standardisation 45μs  -- with Felsch + standardisation 47μs  -- with random strategy 48μs  -- with Rc style + full lookahead 42μs  -- with Rc style + partial lookahead 40μs  -- with R/C style 40μs  -- with CR style 44μs  -- with Cr style 44μs ToddCoxeter 006: small right cong. on free semigroup . . .  -- with HLT + no standardise + full lookahead + no save 42μs  -- with HLT + standardise + full lookahead + no save 35μs  -- with HLT + no standardise + partial lookahead + no save 32μs  -- with HLT + standardise + partial lookahead + no save 35μs  -- with HLT + no standardise + full lookahead + save 39μs  -- with HLT + standardise + full lookahead + save 36μs  -- with HLT + no standardise + partial lookahead + save 35μs  -- with HLT + standardise + partial lookahead + save 35μs  -- with Felsch + no standardisation 35μs  -- with Felsch + standardisation 36μs  -- with random strategy 38μs  -- with Rc style + full lookahead 33μs  -- with Rc style + partial lookahead 32μs  -- with R/C style 32μs  -- with CR style 38μs  -- with Cr style 36μs ToddCoxeter 007: left cong. on free semigroup . . .  -- with HLT + no standardise + full lookahead + no save 46μs  -- with HLT + standardise + full lookahead + no save 36μs  -- with HLT + no standardise + partial lookahead + no save 34μs  -- with HLT + standardise + partial lookahead + no save 34μs  -- with HLT + no standardise + full lookahead + save 39μs  -- with HLT + standardise + full lookahead + save 39μs  -- with HLT + no standardise + partial lookahead + save 39μs  -- with HLT + standardise + partial lookahead + save 38μs  -- with Felsch + no standardisation 37μs  -- with Felsch + standardisation 42μs  -- with random strategy 42μs  -- with Rc style + full lookahead 39μs  -- with Rc style + partial lookahead 37μs  -- with R/C style 37μs  -- with CR style 40μs  -- with Cr style 41μs ToddCoxeter 008: for small fp semigroup . . .  -- with HLT + no standardise + full lookahead + no save 37μs  -- with HLT + standardise + full lookahead + no save 31μs  -- with HLT + no standardise + partial lookahead + no save 31μs  -- with HLT + standardise + partial lookahead + no save 34μs  -- with HLT + no standardise + full lookahead + save 36μs  -- with HLT + standardise + full lookahead + save 35μs  -- with HLT + no standardise + partial lookahead + save 34μs  -- with HLT + standardise + partial lookahead + save 34μs  -- with Felsch + no standardisation 34μs  -- with Felsch + standardisation 34μs  -- with random strategy 38μs  -- with Rc style + full lookahead 42μs  -- with Rc style + partial lookahead 34μs  -- with R/C style 34μs  -- with CR style 37μs  -- with Cr style 39μs ToddCoxeter 009: 2-sided cong. trans. semigroup . . .  -- with HLT + no standardise + full lookahead + no save 229μs  -- with HLT + standardise + full lookahead + no save 209μs  -- with HLT + no standardise + partial lookahead + no save 203μs  -- with HLT + standardise + partial lookahead + no save 204μs  -- with HLT + no standardise + full lookahead + save 519μs  -- with HLT + standardise + full lookahead + save 504μs  -- with HLT + no standardise + partial lookahead + save 496μs  -- with HLT + standardise + partial lookahead + save 494μs  -- with Felsch + no standardisation 467μs  -- with Felsch + standardisation 444μs  -- with random strategy 227μs  -- with Rc style + full lookahead 211μs  -- with Rc style + partial lookahead 209μs  -- with R/C style 214μs  -- with CR style 453μs  -- with Cr style 441μs ToddCoxeter 010: left congruence on transformation semigroup . . .  -- with HLT + no standardise + full lookahead + no save 238μs  -- with HLT + standardise + full lookahead + no save 239μs  -- with HLT + no standardise + partial lookahead + no save 226μs  -- with HLT + standardise + partial lookahead + no save 243μs  -- with HLT + no standardise + full lookahead + save 548μs  -- with HLT + standardise + full lookahead + save 538μs  -- with HLT + no standardise + partial lookahead + save 526μs  -- with HLT + standardise + partial lookahead + save 533μs  -- with Felsch + no standardisation 500μs  -- with Felsch + standardisation 462μs  -- with random strategy 594μs  -- with Rc style + full lookahead 257μs  -- with Rc style + partial lookahead 250μs  -- with R/C style 272μs  -- with CR style 513μs  -- with Cr style 492μs ToddCoxeter 011: right cong. trans. semigroup . . .  -- with HLT + no standardise + full lookahead + no save 247μs  -- with HLT + standardise + full lookahead + no save 247μs  -- with HLT + no standardise + partial lookahead + no save 235μs  -- with HLT + standardise + partial lookahead + no save 247μs  -- with HLT + no standardise + full lookahead + save 539μs  -- with HLT + standardise + full lookahead + save 525μs  -- with HLT + no standardise + partial lookahead + save 515μs  -- with HLT + standardise + partial lookahead + save 513μs  -- with Felsch + no standardisation 409μs  -- with Felsch + standardisation 418μs  -- with random strategy 281μs  -- with Rc style + full lookahead 262μs  -- with Rc style + partial lookahead 259μs  -- with R/C style 279μs  -- with CR style 430μs  -- with Cr style 417μs ToddCoxeter 012: trans. semigroup (size 88) . . .  -- with HLT + no standardise + full lookahead + no save 163μs  -- with HLT + standardise + full lookahead + no save 152μs  -- with HLT + no standardise + partial lookahead + no save 147μs  -- with HLT + standardise + partial lookahead + no save 149μs  -- with HLT + save (throws) 161μs  -- with Felsch (throws) 158μs  -- with random strategy 172μs ToddCoxeter 013: left cong. on trans. semigroup (size 88) . . .  -- with HLT + no standardise + full lookahead + no save 207μs  -- with HLT + standardise + full lookahead + no save 212μs  -- with HLT + no standardise + partial lookahead + no save 195μs  -- with HLT + standardise + partial lookahead + no save 203μs  -- with HLT + no standardise + full lookahead + save 523μs  -- with HLT + standardise + full lookahead + save 509μs  -- with HLT + no standardise + partial lookahead + save 491μs  -- with HLT + standardise + partial lookahead + save 506μs  -- with Felsch + no standardisation 464μs  -- with Felsch + standardisation 444μs  -- with random strategy 239μs  -- with Rc style + full lookahead 224μs  -- with Rc style + partial lookahead 223μs  -- with R/C style 242μs  -- with CR style 481μs  -- with Cr style 466μs ToddCoxeter 014: right cong. on trans. semigroup (size 88) . . .  -- with HLT + no standardise + full lookahead + no save 211μs  -- with HLT + standardise + full lookahead + no save 214μs  -- with HLT + no standardise + partial lookahead + no save 204μs  -- with HLT + standardise + partial lookahead + no save 210μs  -- with HLT + no standardise + full lookahead + save 517μs  -- with HLT + standardise + full lookahead + save 500μs  -- with HLT + no standardise + partial lookahead + save 479μs  -- with HLT + standardise + partial lookahead + save 485μs  -- with Felsch + no standardisation 382μs  -- with Felsch + standardisation 386μs  -- with random strategy 242μs  -- with Rc style + full lookahead 230μs  -- with Rc style + partial lookahead 227μs  -- with R/C style 257μs  -- with CR style 399μs  -- with Cr style 388μs ToddCoxeter 015: finite fp-semigroup, dihedral group of order 6 . . .  -- with HLT + no standardise + full lookahead + no save 86μs  -- with HLT + standardise + full lookahead + no save 64μs  -- with HLT + no standardise + partial lookahead + no save 59μs  -- with HLT + standardise + partial lookahead + no save 61μs  -- with HLT + no standardise + full lookahead + save 83μs  -- with HLT + standardise + full lookahead + save 80μs  -- with HLT + no standardise + partial lookahead + save 77μs  -- with HLT + standardise + partial lookahead + save 79μs  -- with Felsch + no standardisation 73μs  -- with Felsch + standardisation 69μs  -- with random strategy 74μs  -- with Rc style + full lookahead 62μs  -- with Rc style + partial lookahead 60μs  -- with R/C style 60μs  -- with CR style 69μs  -- with Cr style 68μs ToddCoxeter 016: finite fp-semigroup, size 16 . . .  -- with HLT + no standardise + full lookahead + no save 70μs  -- with HLT + standardise + full lookahead + no save 64μs  -- with HLT + no standardise + partial lookahead + no save 62μs  -- with HLT + standardise + partial lookahead + no save 61μs  -- with HLT + no standardise + full lookahead + save 133μs  -- with HLT + standardise + full lookahead + save 127μs  -- with HLT + no standardise + partial lookahead + save 120μs  -- with HLT + standardise + partial lookahead + save 121μs  -- with Felsch + no standardisation 117μs  -- with Felsch + standardisation 108μs  -- with random strategy 121μs  -- with Rc style + full lookahead 68μs  -- with Rc style + partial lookahead 64μs  -- with R/C style 71μs  -- with CR style 110μs  -- with Cr style 107μs ToddCoxeter 017: finite fp-semigroup, size 16 . . .  -- with HLT + no standardise + full lookahead + no save 183μs  -- with HLT + standardise + full lookahead + no save 169μs  -- with HLT + no standardise + partial lookahead + no save 158μs  -- with HLT + standardise + partial lookahead + no save 161μs  -- with HLT + no standardise + full lookahead + save 331μs  -- with HLT + standardise + full lookahead + save 344μs  -- with HLT + no standardise + partial lookahead + save 318μs  -- with HLT + standardise + partial lookahead + save 321μs  -- with Felsch + no standardisation 309μs  -- with Felsch + standardisation 294μs  -- with random strategy 331μs  -- with Rc style + full lookahead 168μs  -- with Rc style + partial lookahead 168μs  -- with R/C style 169μs  -- with CR style 301μs  -- with Cr style 296μs ToddCoxeter 018: test lookahead . . .  -- with HLT + no standardise + full lookahead + no save 267μs  -- with HLT + standardise + full lookahead + no save 257μs  -- with HLT + no standardise + partial lookahead + no save 235μs  -- with HLT + standardise + partial lookahead + no save 242μs  -- with HLT + no standardise + full lookahead + save 437μs  -- with HLT + standardise + full lookahead + save 426μs  -- with HLT + no standardise + partial lookahead + save 420μs  -- with HLT + standardise + partial lookahead + save 419μs ToddCoxeter 019: non-trivial left cong. from semigroup . . .  -- with HLT + no standardise + full lookahead + no save 152μs  -- with HLT + standardise + full lookahead + no save 148μs  -- with HLT + no standardise + partial lookahead + no save 137μs  -- with HLT + standardise + partial lookahead + no save 142μs  -- with HLT + save (throws) 155μs  -- with Felsch (throws) 146μs  -- with random strategy 152μ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 18μ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 18μs  -- with Felsch + no standardisation 18μs  -- with Felsch + standardisation 19μ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 30μs  -- with HLT + no standardise + partial lookahead + no save 29μs  -- with HLT + standardise + partial lookahead + no save 29μs  -- with HLT + no standardise + full lookahead + save 31μs  -- with HLT + standardise + full lookahead + save 29μs  -- with HLT + no standardise + partial lookahead + save 29μs  -- with HLT + standardise + partial lookahead + save 28μs  -- with Felsch + no standardisation 28μs  -- with Felsch + standardisation 30μs  -- with random strategy 28μs ToddCoxeter 022: stellar_monoid S3 . . .  -- with HLT + no standardise + full lookahead + no save 117μs  -- with HLT + standardise + full lookahead + no save 107μs  -- with HLT + no standardise + partial lookahead + no save 97μs  -- with HLT + standardise + partial lookahead + no save 99μs  -- with HLT + no standardise + full lookahead + save 196μs  -- with HLT + standardise + full lookahead + save 196μs  -- with HLT + no standardise + partial lookahead + save 177μs  -- with HLT + standardise + partial lookahead + save 180μs  -- with Felsch + no standardisation 175μs  -- with Felsch + standardisation 163μs  -- with random strategy 169μs  -- with Rc style + full lookahead 110μs  -- with Rc style + partial lookahead 104μs  -- with R/C style 105μs  -- with CR style 164μs  -- with Cr style 161μs ToddCoxeter 023: finite semigroup (size 5) . . .  -- with HLT + no standardise + full lookahead + no save 41μs  -- with HLT + standardise + full lookahead + no save 32μs  -- with HLT + no standardise + partial lookahead + no save 30μs  -- with HLT + standardise + partial lookahead + no save 32μs  -- with HLT + no standardise + full lookahead + save 37μs  -- with HLT + standardise + full lookahead + save 35μs  -- with HLT + no standardise + partial lookahead + save 34μs  -- with HLT + standardise + partial lookahead + save 34μs  -- with Felsch + no standardisation 34μs  -- with Felsch + standardisation 35μs  -- with random strategy 34μs  -- with Rc style + full lookahead 32μs  -- with Rc style + partial lookahead 30μs  -- with R/C style 31μs  -- with CR style 38μs  -- with Cr style 34μs ToddCoxeter 024: exceptions . . .  -- with HLT + no standardise + full lookahead + no save 163μs  -- with HLT + standardise + full lookahead + no save 137μs  -- with HLT + no standardise + partial lookahead + no save 134μs  -- with HLT + standardise + partial lookahead + no save 133μs  -- with HLT + no standardise + full lookahead + save 136μs  -- with HLT + standardise + full lookahead + save 138μs  -- with HLT + no standardise + partial lookahead + save 144μs  -- with HLT + standardise + partial lookahead + save 136μs  -- with Felsch + no standardisation 134μs  -- with Felsch + standardisation 138μs  -- with random strategy 136μs  -- with Rc style + full lookahead 134μs  -- with Rc style + partial lookahead 133μs  -- with R/C style 133μs  -- with CR style 136μs  -- with Cr style 135μs ToddCoxeter 025: obviously infinite . . .  -- with HLT + no standardise + full lookahead + no save 43μs  -- with HLT + standardise + full lookahead + no save 38μs  -- with HLT + no standardise + partial lookahead + no save 36μs  -- with HLT + standardise + partial lookahead + no save 37μs  -- with HLT + no standardise + full lookahead + save 37μs  -- with HLT + standardise + full lookahead + save 35μs  -- with HLT + no standardise + partial lookahead + save 35μs  -- with HLT + standardise + partial lookahead + save 34μs  -- with Felsch + no standardisation 34μs  -- with Felsch + standardisation 35μs  -- with random strategy 35μs ToddCoxeter 026: exceptions . . .  -- with HLT + no standardise + full lookahead + no save 113μs  -- with HLT + standardise + full lookahead + no save 80μs  -- with HLT + no standardise + partial lookahead + no save 77μs  -- with HLT + standardise + partial lookahead + no save 77μs  -- with HLT + no standardise + full lookahead + save 89μs  -- with HLT + standardise + full lookahead + save 84μs  -- with HLT + no standardise + partial lookahead + save 82μs  -- with HLT + standardise + partial lookahead + save 83μs  -- with Felsch + no standardisation 82μs  -- with Felsch + standardisation 84μs  -- with random strategy 85μs  -- with Rc style + full lookahead 80μs  -- with Rc style + partial lookahead 78μs  -- with R/C style 79μs  -- with CR style 82μs  -- with Cr style 85μs ToddCoxeter 027: empty . . . 80μs ToddCoxeter 028: congruence of fpsemigroup::ToddCoxeter . . .  -- with HLT + no standardise + full lookahead + no save 155μs  -- with HLT + standardise + full lookahead + no save 118μs  -- with HLT + no standardise + partial lookahead + no save 116μs  -- with HLT + standardise + partial lookahead + no save 114μs  -- with HLT + save (throws) 121μs  -- with Felsch (throws) 119μs  -- with random strategy 122μs  -- with HLT + no standardise + full lookahead + save 117μs  -- with HLT + standardise + full lookahead + save 124μs  -- with HLT + no standardise + partial lookahead + save 120μs  -- with HLT + standardise + partial lookahead + save 116μs  -- with Felsch + no standardisation 115μs  -- with Felsch + standardisation 115μs  -- with Rc style + full lookahead 111μs  -- with Rc style + partial lookahead 109μs  -- with R/C style 109μs  -- with CR style 111μs  -- with Cr style 111μs ToddCoxeter 029: !KnuthBendix.started() . . .  -- with HLT + no standardise + full lookahead + no save and 2-sided 111μs  -- with HLT + standardise + full lookahead + no save and 2-sided 80μs  -- with HLT + no standardise + partial lookahead + no save and 2-sided 76μs  -- with HLT + standardise + partial lookahead + no save and 2-sided 74μs  -- with HLT + no standardise + full lookahead + save and 2-sided 80μs  -- with HLT + standardise + full lookahead + save and 2-sided 84μs  -- with HLT + no standardise + partial lookahead + save and 2-sided 72μs  -- with HLT + standardise + partial lookahead + save and 2-sided 78μs  -- with Felsch + no standardisation and 2-sided 81μs  -- with Felsch + standardisation and 2-sided 74μs  -- with random strategy and 2-sided 79μs  -- with HLT + no standardise + full lookahead + no save and left 83μs  -- with HLT + standardise + full lookahead + no save and left 77μs  -- with HLT + no standardise + partial lookahead + no save and left 76μs  -- with HLT + standardise + partial lookahead + no save and left 73μs  -- with HLT + no standardise + full lookahead + save and left 82μs  -- with HLT + standardise + full lookahead + save and left 88μs  -- with HLT + no standardise + partial lookahead + save and left 76μs  -- with HLT + standardise + partial lookahead + save and left 79μs  -- with Felsch + no standardisation and left 84μs  -- with Felsch + standardisation and left 78μs  -- with random strategy and left 60μs  -- with HLT + no standardise + full lookahead + no save and right 68μs  -- with HLT + standardise + full lookahead + no save and right 71μs  -- with HLT + no standardise + partial lookahead + no save and right 72μs  -- with HLT + standardise + partial lookahead + no save and right 71μs  -- with HLT + no standardise + full lookahead + save and right 78μs  -- with HLT + standardise + full lookahead + save and right 84μs  -- with HLT + no standardise + partial lookahead + save and right 72μs  -- with HLT + standardise + partial lookahead + save and right 78μs  -- with Felsch + no standardisation and right 84μs  -- with Felsch + standardisation and right 77μs  -- with random strategy and right 82μs ToddCoxeter 030: KnuthBendix.finished() . . .  -- with HLT + no standardise + full lookahead + no save and 2-sided 179μs  -- with HLT + standardise + full lookahead + no save and 2-sided 129μs  -- with HLT + no standardise + partial lookahead + no save and 2-sided 128μs  -- with HLT + standardise + partial lookahead + no save and 2-sided 126μs  -- with HLT + no standardise + full lookahead + save and 2-sided 129μs  -- with HLT + standardise + full lookahead + save and 2-sided 128μs  -- with HLT + no standardise + partial lookahead + save and 2-sided 289μs  -- with HLT + standardise + partial lookahead + save and 2-sided 131μs  -- with Felsch + no standardisation and 2-sided 124μs  -- with Felsch + standardisation and 2-sided 129μs  -- with random strategy and 2-sided 128μs  -- with HLT + no standardise + full lookahead + no save and left 129μs  -- with HLT + standardise + full lookahead + no save and left 123μs  -- with HLT + no standardise + partial lookahead + no save and left 126μs  -- with HLT + standardise + partial lookahead + no save and left 124μs  -- with HLT + no standardise + full lookahead + save and left 133μs  -- with HLT + standardise + full lookahead + save and left 133μs  -- with HLT + no standardise + partial lookahead + save and left 131μs  -- with HLT + standardise + partial lookahead + save and left 132μs  -- with Felsch + no standardisation and left 131μs  -- with Felsch + standardisation and left 129μs  -- with random strategy and left 136μs  -- with HLT + no standardise + full lookahead + no save and right 149μs  -- with HLT + standardise + full lookahead + no save and right 167μs  -- with HLT + no standardise + partial lookahead + no save and right 164μs  -- with HLT + standardise + partial lookahead + no save and right 167μs  -- with HLT + no standardise + full lookahead + save and right 174μs  -- with HLT + standardise + full lookahead + save and right 173μs  -- with HLT + no standardise + partial lookahead + save and right 172μs  -- with HLT + standardise + partial lookahead + save and right 171μs  -- with Felsch + no standardisation and right 161μs  -- with Felsch + standardisation and right 167μs  -- with random strategy and right 190μs ToddCoxeter 031: KnuthBendix.finished() . . .  -- with HLT + no standardise + full lookahead + no save and 2-sided 123μs  -- with HLT + standardise + full lookahead + no save and 2-sided 98μs  -- with HLT + no standardise + partial lookahead + no save and 2-sided 94μs  -- with HLT + standardise + partial lookahead + no save and 2-sided 96μ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 98μs  -- with HLT + standardise + partial lookahead + save and 2-sided 96μs  -- with Felsch + no standardisation and 2-sided 91μs  -- with Felsch + standardisation and 2-sided 90μs  -- with random strategy and 2-sided 96μs  -- with Rc style + full lookahead and 2-sided 97μs  -- with Rc style + partial lookahead and 2-sided 94μs  -- with R/C style and 2-sided 90μs  -- with CR style and 2-sided 94μs  -- with Cr style and 2-sided 98μs  -- with HLT + no standardise + full lookahead + no save and left 100μs  -- with HLT + standardise + full lookahead + no save and left 93μs  -- with HLT + no standardise + partial lookahead + no save and left 92μs  -- with HLT + standardise + partial lookahead + no save and left 91μs  -- with HLT + no standardise + full lookahead + save and left 100μs  -- with HLT + standardise + full lookahead + save and left 99μs  -- with HLT + no standardise + partial lookahead + save and left 98μs  -- with HLT + standardise + partial lookahead + save and left 99μs  -- with Felsch + no standardisation and left 96μs  -- with Felsch + standardisation and left 96μs  -- with random strategy and left 106μs  -- with Rc style + full lookahead and left 98μs  -- with Rc style + partial lookahead and left 109μs  -- with R/C style and left 93μs  -- with CR style and left 99μs  -- with Cr style and left 102μs  -- with HLT + no standardise + full lookahead + no save and right 110μs  -- with HLT + standardise + full lookahead + no save and right 93μs  -- with HLT + no standardise + partial lookahead + no save and right 91μs  -- with HLT + standardise + partial lookahead + no save and right 90μs  -- with HLT + no standardise + full lookahead + save and right 97μs  -- with HLT + standardise + full lookahead + save and right 102μs  -- with HLT + no standardise + partial lookahead + save and right 97μs  -- with HLT + standardise + partial lookahead + save and right 98μs  -- with Felsch + no standardisation and right 94μs  -- with Felsch + standardisation and right 94μs  -- with random strategy and right 103μs  -- with Rc style + full lookahead and right 96μs  -- with Rc style + partial lookahead and right 95μs  -- with R/C style and right 95μs  -- with CR style and right 98μs  -- with Cr style and right 102μs ToddCoxeter 032: prefill . . . 129μs ToddCoxeter 033: congruence of ToddCoxeter . . .  -- with HLT + no standardise + full lookahead + no save 49μs  -- with HLT + standardise + full lookahead + no save 39μ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 41μs  -- with random strategy 41μs ToddCoxeter 034: congruence of ToddCoxeter . . .  -- with HLT + no standardise + full lookahead + no save 123μs  -- with HLT + standardise + full lookahead + no save 114μs  -- with HLT + no standardise + partial lookahead + no save 108μs  -- with HLT + standardise + partial lookahead + no save 108μs  -- with HLT + save (throws) 119μs  -- with Felsch (throws) 125μs  -- with random strategy 116μs ToddCoxeter 035: congruence on FpSemigroup . . .  -- with HLT + no standardise + full lookahead + no save 298μs  -- with HLT + standardise + full lookahead + no save 268μs  -- with HLT + no standardise + partial lookahead + no save 248μs  -- with HLT + standardise + partial lookahead + no save 248μs  -- with HLT + no standardise + full lookahead + save 293μs  -- with HLT + standardise + full lookahead + save 287μs  -- with HLT + no standardise + partial lookahead + save 285μs  -- with HLT + standardise + partial lookahead + save 286μs  -- with Felsch + no standardisation 649μs  -- with Felsch + standardisation 289μs  -- with random strategy 291μs  -- with Rc style + full lookahead 244μs  -- with Rc style + partial lookahead 244μs  -- with R/C style 241μs  -- with CR style 288μs  -- with Cr style 287μs ToddCoxeter 036: exceptions . . . 79μs ToddCoxeter 037: copy constructor . . . 37μs ToddCoxeter 038: simplify . . . 121μs ToddCoxeter 039: stylic_monoid . . . 680ms ToddCoxeter 041: some finite classes . . . 505μs ToddCoxeter 043: symmetric_group(7, Coxeter + Moser) . . . 123ms ToddCoxeter 044: Option exceptions . . . 64μs ToddCoxeter 045: Options operator<< . . . 684μs ToddCoxeter 046: Easdown-East-FitzGerald DualSymInv(5) . . .  -- with HLT + no standardise + full lookahead + no save 144ms  -- with HLT + standardise + full lookahead + no save 159ms  -- with HLT + no standardise + partial lookahead + no save 144ms  -- with HLT + standardise + partial lookahead + no save 159ms  -- with HLT + no standardise + full lookahead + save 111ms  -- with HLT + standardise + full lookahead + save 114ms  -- with HLT + no standardise + partial lookahead + save 111ms  -- with HLT + standardise + partial lookahead + save 111ms  -- with Felsch + no standardisation 122ms  -- with Felsch + standardisation 122ms  -- with random strategy 149ms  -- with R/C style 150ms  -- with Rc style + full lookahead 127ms  -- with Rc style + partial lookahead 128ms ToddCoxeter 047: uniform_block_bijection_monoid(3) (FitzGerald) . . .  -- with HLT + no standardise + full lookahead + no save 116μs  -- with HLT + standardise + full lookahead + no save 99μs  -- with HLT + no standardise + partial lookahead + no save 72μs  -- with HLT + standardise + partial lookahead + no save 76μs  -- with HLT + no standardise + full lookahead + save 164μs  -- with HLT + standardise + full lookahead + save 154μs  -- with HLT + no standardise + partial lookahead + save 148μs  -- with HLT + standardise + partial lookahead + save 150μs  -- with Felsch + no standardisation 128μs  -- with Felsch + standardisation 120μs  -- with random strategy 131μs  -- with R/C style 83μs  -- with Rc style + full lookahead 77μs  -- with Rc style + partial lookahead 75μs ToddCoxeter 048: stellar_monoid(7) (Gay-Hivert) . . . 130ms ToddCoxeter 049: partition_monoid(4) (East) . . .  -- with HLT + no standardise + full lookahead + no save 24ms  -- with HLT + standardise + full lookahead + no save 24ms  -- with HLT + no standardise + partial lookahead + no save 24ms  -- with HLT + standardise + partial lookahead + no save 25ms  -- with HLT + no standardise + full lookahead + save 44ms  -- with HLT + standardise + full lookahead + save 45ms  -- with HLT + no standardise + partial lookahead + save 44ms  -- with HLT + standardise + partial lookahead + save 45ms  -- with Felsch + no standardisation 52ms  -- with Felsch + standardisation 52ms  -- with random strategy 54ms  -- with R/C style 27ms  -- with Rc style + full lookahead 57ms  -- with Rc style + partial lookahead 56ms ToddCoxeter 050: singular_brauer_monoid(6) (Maltcev + Mazorchuk) . . . 492ms 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 5114μs ToddCoxeter 053: temperley_lieb_monoid(10) (East) . . . 30ms ToddCoxeter 063: add_rule . . .  -- with HLT + no standardise + full lookahead + no save 87μ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 61μs  -- with HLT + no standardise + full lookahead + save 67μs  -- with HLT + standardise + full lookahead + save 64μs  -- with HLT + no standardise + partial lookahead + save 66μs  -- with HLT + standardise + partial lookahead + save 64μs  -- with Felsch + no standardisation 64μs  -- with Felsch + standardisation 63μs  -- with random strategy 62μs  -- with Rc style + full lookahead 61μs  -- with Rc style + partial lookahead 60μs  -- with R/C style 61μs  -- with CR style 66μ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 67μs  -- with Rc + small number of deductions 61μs  -- with Felsch + v2 + no preferred defs 63μs  -- with Felsch + v2 + immediate no stack 71μs  -- with Felsch + v1 + immediate no stack 64μs  -- with Felsch + v1 + immediate yes stack 63μs  -- with large collapse 59μs ToddCoxeter 064: (from kbmag/standalone/kb_data/s4) (KnuthB [...] . . .  -- with HLT + no standardise + full lookahead + no save 238μs ToddCoxeter 066: test validate . . . 63μs ToddCoxeter 067: add_rules after construct. from semigroup . . .  -- with HLT + no standardise + full lookahead + no save 351μs  -- with HLT + standardise + full lookahead + no save 331μs  -- with HLT + no standardise + partial lookahead + no save 316μs  -- with HLT + standardise + partial lookahead + no save 321μs  -- with HLT + save (throws) 329μs  -- with Felsch (throws) 341μs  -- with random strategy 304μs ToddCoxeter 068: Sym(5) from Chapter 3, Proposition 1.1 in NR . . .  -- with Deduction policy == purge_from_top 585μs  -- with Deduction policy == purge_all 531μs  -- with Deduction policy == discard_all_if_no_space 587μs  -- with HLT + no standardise + full lookahead + no save 632μs  -- with HLT + standardise + full lookahead + no save 873μs  -- with HLT + no standardise + partial lookahead + no save 617μs  -- with HLT + standardise + partial lookahead + no save 886μs  -- with HLT + no standardise + full lookahead + save 951μs  -- with HLT + standardise + full lookahead + save 900μs  -- with HLT + no standardise + partial lookahead + save 882μs  -- with HLT + standardise + partial lookahead + save 929μs  -- with Felsch + no standardisation 599μs  -- with Felsch + standardisation 639μs  -- with random strategy 615μs  -- with Rc style + full lookahead 1326μs  -- with Rc style + partial lookahead 1252μs  -- with R/C style 684μs  -- with CR style 629μs  -- with Cr style 675μs ToddCoxeter 069: Chapter 7, Theorem 3.6 in NR (size 243) . . .  -- with HLT + no standardise + full lookahead + no save 342μs  -- with HLT + standardise + full lookahead + no save 381μs  -- with HLT + no standardise + partial lookahead + no save 277μs  -- with HLT + standardise + partial lookahead + no save 317μs  -- with HLT + no standardise + full lookahead + save 386μs  -- with HLT + standardise + full lookahead + save 390μs  -- with HLT + no standardise + partial lookahead + save 366μs  -- with HLT + standardise + partial lookahead + save 389μs  -- with Felsch + no standardisation 1890μs  -- with Felsch + standardisation 1875μs  -- with random strategy 410μs  -- with Rc style + full lookahead 305μs  -- with Rc style + partial lookahead 295μs  -- with R/C style 303μs  -- with CR style 1921μs  -- with Cr style 1878μs ToddCoxeter 070: finite semigroup (size 99) . . .  -- with HLT + no standardise + full lookahead + no save 128μs  -- with HLT + standardise + full lookahead + no save 134μs  -- with HLT + no standardise + partial lookahead + no save 112μ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 174μs  -- with HLT + no standardise + partial lookahead + save 160μs  -- with HLT + standardise + partial lookahead + save 182μs  -- with Felsch + no standardisation 339μs  -- with Felsch + standardisation 331μs  -- with random strategy 347μs  -- with Rc style + full lookahead 126μs  -- with Rc style + partial lookahead 124μs  -- with R/C style 123μs  -- with CR style 334μs  -- with Cr style 331μs ToddCoxeter 080: KnuthBendix 098 . . .  -- with HLT + no standardise + full lookahead + no save 482ms  -- with HLT + standardise + full lookahead + no save 506ms  -- with HLT + no standardise + partial lookahead + no save 484ms  -- with HLT + standardise + partial lookahead + no save 512ms  -- with HLT + no standardise + full lookahead + save 317ms  -- with HLT + standardise + full lookahead + save 310ms  -- with HLT + no standardise + partial lookahead + save 306ms  -- with HLT + standardise + partial lookahead + save 320ms  -- with Felsch + no standardisation 308ms  -- with Felsch + standardisation 298ms  -- with random strategy 306ms  -- with Rc style + full lookahead 299ms  -- with Rc style + partial lookahead 306ms  -- with R/C style 480ms  -- with CR style 300ms  -- with Cr style 298ms ToddCoxeter 084: Campbell-Reza 1 . . .  -- with HLT + no standardise + full lookahead + no save 156μs  -- with HLT + standardise + full lookahead + no save 107μs  -- with HLT + no standardise + partial lookahead + no save 102μs  -- with HLT + standardise + partial lookahead + no save 96μs  -- with HLT + no standardise + full lookahead + save 115μs  -- with HLT + standardise + full lookahead + save 108μs  -- with HLT + no standardise + partial lookahead + save 106μs  -- with HLT + standardise + partial lookahead + save 105μs  -- with Felsch + no standardisation 113μs  -- with Felsch + standardisation 109μs  -- with random strategy 98μs  -- with Rc style + full lookahead 96μs  -- with Rc style + partial lookahead 94μs  -- with R/C style 98μs  -- with CR style 113μs  -- with Cr style 111μs ToddCoxeter 085: Renner monoid type D4 (Gay-Hivert), q = 1 . . .  -- with HLT + no standardise + full lookahead + no save 171ms  -- with HLT + standardise + full lookahead + no save 112ms  -- with HLT + no standardise + partial lookahead + no save 111ms  -- with HLT + standardise + partial lookahead + no save 112ms  -- with HLT + no standardise + full lookahead + save 112ms  -- with HLT + standardise + full lookahead + save 111ms  -- with HLT + no standardise + partial lookahead + save 111ms  -- with HLT + standardise + partial lookahead + save 111ms  -- with Felsch + no standardisation 112ms  -- with Felsch + standardisation 111ms  -- with random strategy 111ms  -- with Rc style + full lookahead 111ms  -- with Rc style + partial lookahead 111ms  -- with R/C style 112ms  -- with CR style 111ms  -- with Cr style 111ms ToddCoxeter 086: trivial semigroup . . . 291ms 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 26ms  -- with HLT + standardise + partial lookahead + no save 26ms  -- with HLT + no standardise + full lookahead + save 13ms  -- with HLT + standardise + full lookahead + save 13ms  -- with HLT + no standardise + partial lookahead + save 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 108μs  -- with HLT + standardise + full lookahead + no save 96μs  -- with HLT + no standardise + partial lookahead + no save 94μs  -- with HLT + standardise + partial lookahead + no save 90μs  -- with HLT + no standardise + full lookahead + save 157μs  -- with HLT + standardise + full lookahead + save 153μs  -- with HLT + no standardise + partial lookahead + save 160μs  -- with HLT + standardise + partial lookahead + save 122μs  -- with random strategy 101μs  -- with Felsch + no standardisation 107μs  -- with Felsch + standardisation 106μs ToddCoxeter 095: ACE --- A5-C5 . . .  -- with HLT + no standardise + full lookahead + no save 113μs  -- with HLT + standardise + full lookahead + no save 122μs  -- with HLT + no standardise + partial lookahead + no save 108μs  -- with HLT + standardise + partial lookahead + no save 120μs  -- with HLT + no standardise + full lookahead + save 150μs  -- with HLT + standardise + full lookahead + save 145μs  -- with HLT + no standardise + partial lookahead + save 141μs  -- with HLT + standardise + partial lookahead + save 141μs  -- with random strategy 114μs  -- with Felsch + no standardisation 133μs  -- with Felsch + standardisation 128μs ToddCoxeter 096: ACE --- A5 . . .  -- with HLT + no standardise + full lookahead + no save 210μs  -- with HLT + standardise + full lookahead + no save 215μs  -- with HLT + no standardise + partial lookahead + no save 173μs  -- with HLT + standardise + partial lookahead + no save 207μs  -- with HLT + no standardise + full lookahead + save 320μs  -- with HLT + standardise + full lookahead + save 308μs  -- with HLT + no standardise + partial lookahead + save 294μs  -- with HLT + standardise + partial lookahead + save 302μs  -- with random strategy 319μs  -- with Felsch + no standardisation 247μs  -- with Felsch + standardisation 233μs ToddCoxeter 098: relation ordering . . .  -- with Felsch + no standardisation 514μs  -- with Felsch + standardisation 482μs  -- with HLT + no standardise + full lookahead + no save 289μs  -- with HLT + standardise + full lookahead + no save 273μs  -- with HLT + no standardise + partial lookahead + no save 269μs  -- with HLT + standardise + partial lookahead + no save 274μs  -- with HLT + no standardise + full lookahead + save 505μs  -- with HLT + standardise + full lookahead + save 506μs  -- with HLT + no standardise + partial lookahead + save 500μs  -- with HLT + standardise + partial lookahead + save 506μs  -- with random strategy 309μs ToddCoxeter 099: short circuit size in obviously infinite . . . 18μs ToddCoxeter 101: http://brauer.maths.qmul.ac.uk/Atlas/spor/M [...] . . . 572ms ToddCoxeter 108: http://brauer.maths.qmul.ac.uk/Atlas/lin/L3 [...] . . . 493ms ToddCoxeter 110: to_gap_string . . . 88μs ToddCoxeter 111: partition_monoid(2) . . . 73μs ToddCoxeter 112: brauer_monoid(4) (Kudryavtseva + Mazorchuk) . . . 348μs ToddCoxeter 113: symmetric_inverse_monoid . . . 13ms ToddCoxeter 116: symmetric_group(7, Burnside + Miller) . . . 397ms UF 001: constructor by size . . . 14μs UF 002: copy constructor . . . 20μs UF 003: find . . . 15μs Ukkonen 000: basic tests . . . 65ms Ukkonen 001: maximal_piece_prefix 1 . . . 35μs Ukkonen 002: maximal_piece_prefix 2 . . . 40μs Ukkonen 003: maximal_piece_prefix 3 . . . 228μs Ukkonen 004: number_of_pieces . . . 81μs Ukkonen 005: traverse . . . 22μs Ukkonen 006: dot . . . 188μs Ukkonen 007: strings . . . 53μs Ukkonen 008: dfs #01 . . . 34μs Ukkonen 009: dfs #02 . . . 31μs Ukkonen 010: dfs #03 . . . 28μs Ukkonen 011: dfs #04 . . . 93μs Ukkonen 012: dfs #05 . . . 83μs Ukkonen 013: dfs #06 . . . 54μs Ukkonen 014: dfs #07 . . . 118μs Ukkonen 015: dfs #08 . . . 73μs Ukkonen 016: dfs #09 . . . 103μs Ukkonen 017: dfs #10 . . . 29μs Ukkonen 018: pieces . . . 37μs Ukkonen 019: code coverage . . . 47μs Ukkonen 020: code coverage . . . 10μs action_digraph_helper 015: detail::to_string . . . 23μs action_digraph_helper 016: make . . . 39μs action_digraph_helper 017: is_connected . . . 160μs action_digraph_helper 018: is_strictly_cyclic . . . 9422μs follow_path 012: 20 node path . . . 20μs fpsemi-examples 002: full_transformation_monoid author except . . . 38μs fpsemi-examples 003: full_transformation_monoid degree except . . . 19μs fpsemi-examples 005: partial_transformation_monoid author except . . . 22μs fpsemi-examples 006: partial_transformation_monoid degree except . . . 18μs fpsemi-examples 007: symmetric_inverse_monoid(5) . . . 13ms fpsemi-examples 008: symmetric_group auth except . . . 40μs fpsemi-examples 009: symmetric_group degree except . . . 19μs fpsemi-examples 010: symmetric_group(6) Burnside + Miller . . . 20ms fpsemi-examples 011: dual_symmetric_inverse_monoid(5) . . . 145ms fpsemi-examples 012: dual_symmetric_inverse_monoid auth except . . . 32μs fpsemi-examples 013: dual_symmetric_inverse_monoid degree except . . . 18μs fpsemi-examples 014: uniform_block_bijection_monoid(5) . . . 9474μs fpsemi-examples 015: uniform_block_bijection_monoid auth except . . . 38μs fpsemi-examples 016: uniform_block_bijection_monoid degree except . . . 19μs fpsemi-examples 019: partition_monoid auth except . . . 46μs fpsemi-examples 020: partition_monoid degree except . . . 29μs fpsemi-examples 022: monogenic_semigroup(4, 9) . . . 34μs fpsemi-examples 023: fibonacci_semigroup(2, 5) . . . 82μs fpsemi-examples 024: temperley_lieb_monoid(10) . . . 36ms fpsemi-examples 025: singular_brauer_monoid(6) . . . 341ms fpsemi-examples 026: orientation_preserving_monoid(6) . . . 19ms fpsemi-examples 027: orientation_reversing_monoid(5) . . . 5170μs fpsemi-examples 028: chinese_monoid(3) . . . 154μs fpsemi-examples 029: plactic_monoid(3) . . . 101μs fpsemi-examples 030: stylic_monoid(3) . . . 842μs fpsemi-examples 031: symmetric_group(6) Carmichael . . . 11ms fpsemi-examples 032: symmetric_group(6) Moore index 0 . . . 8380μs fpsemi-examples 033: symmetric_group(6) Coxeter + Moser . . . 4560μs fpsemi-examples 034: test for the rook monoid . . . 256μs fpsemi-examples 035: alternating_group(7) Moore . . . 18ms fpsemi-examples 036: alternating_group auth except . . . 54μs fpsemi-examples 037: alternating_group degree except . . . 19μs fpsemi-examples 038: partial_transformation_monoid(3) Machine . . . 298μs fpsemi-examples 039: chinese_monoid degree except . . . 29μs fpsemi-examples 040: monogenic_semigroup degree except . . . 28μs fpsemi-examples 041: rectangular_band degree except . . . 41μs fpsemi-examples 042: stellar_monoid degree except . . . 25μs fpsemi-examples 043: plactic_monoid degree except . . . 23μs fpsemi-examples 044: stylic_monoid degree except . . . 23μs fpsemi-examples 045: temperley_lieb_monoid degree except . . . 31μs fpsemi-examples 046: singular_brauer_monoid degree except . . . 30μs fpsemi-examples 047: orientation_preserving_monoid degree except . . . 30μs fpsemi-examples 048: orientation_reversing_monoid degree except . . . 30μs fpsemi-examples 049: test default values . . . 3279μs fpsemi-examples 052: not_symmetric_group(5) Guralnick + Kant [...] . . . 2263μs fpsemi-examples 053: order_preserving_monoid(5) . . . 513μs fpsemi-examples 055: order_preserving_monoid degree except . . . 43μs fpsemi-examples 056: cyclic_inverse_monoid(4) Fernandes 1 . . . 213μs fpsemi-examples 057: cyclic_inverse_monoid(8) Fernandes index 1 . . . 14ms fpsemi-examples 058: cyclic_inverse_monoid Fernandes index 0 . . . 20ms fpsemi-examples 059: order_preserving_cyclic_inverse_monoid(4) . . . 149μs fpsemi-examples 060: order_preserving_cyclic_inverse_monoid(10) . . . 23ms fpsemi-examples 061: cyclic_inverse_monoid degree except . . . 76μs fpsemi-examples 062: cyclic_inverse_monoid author except . . . 29μs fpsemi-examples 063: order_preserving_monoid degree except . . . 30μs fpsemi-examples 064: symmetric_group index except . . . 28μs fpsemi-examples 065: symmetric_group(7) Moore index 1 . . . 5098μs fpsemi-examples 066: order_preserving_cyclic_inverse_monoid(10) . . . 22ms fpsemi-examples 067: partial_isometries_cycle_graph_monoid(5) . . . 535μs fpsemi-examples 068: partial_isometries_cycle_graph_monoid(10) . . . 212ms fpsemi-examples 069: partial_isometries_cycle_graph_monoid d [...] . . . 38μs fpsemi-examples 070: partial_isometries_cycle_graph_monoid(4) . . . 235μs freeband_equal_to 001: . . . 906μs is_acyclic 000: 2-cycle . . . 12μs is_acyclic 001: 1-cycle . . . 10μs is_acyclic 002: multi-digraph . . . 13μs is_acyclic 003: complete digraph 100 . . . 93μs is_acyclic 004: acyclic digraph with 20000 nodes . . . 2037μs is_acyclic 006: for a node . . . 828μs is_acyclic 007: for a node . . . 17μs is_reachable 008: acyclic 20 node digraph . . . 46μs is_reachable 009: 100 node path . . . 9365μs is_reachable 010: 100 node cycle . . . 9350μs is_reachable 011: 20 node clique . . . 368μs last_node_on_path_nc 014: 20 node path . . . 14μs make 000: from FroidurePin . . . 464μs make 001: from FroidurePin and alphabet . . . 551μs make 002: presentation from presentation . . . 202μs make 003: presentation from presentation and alphabet . . . 47μs make 004: argument checks issue . . . 166μs make 005: use human readable alphabet for make . . . 20μs make> 000: from ActionDigraph . . . 1404μs make> 001: from ActionDigraph (exceptions) . . . 43μs number_of_words 001: . . . 18μs operator"" _w 003: literal . . . 14μs silo 000: alphabet: a, min: 0, max: 10 . . . 41μs silo 001: corner cases . . . 26μs silo 002: alphabet: ab, min: 1, max: 4 . . . 43μs silo 003: alphabet: abc, min: 0, max: 13 . . . 97ms silo 004: code coverage . . . 31μs sislo 005: alphabet: a, min: 0, max: 10 . . . 44μs sislo 006: corner cases . . . 74μs sislo 007: alphabet: ab, min: 1, max: 4 . . . 77μs sislo 008: alphabet: abc, min: 0, max: 13 . . . 93ms sislo 009: code coverage . . . 31μs string 000: detail::is_suffix . . . 13μs string 001: detail::is_prefix . . . 11μs string 002: detail::maximum_common_suffix . . . 11μs string 003: detail::group_digits . . . 22μs string_to_word 002: . . . 12μs validate_label 013: 20 node path . . . 50μs wilo 001: corner cases . . . 45μs wilo 002: letters: 2, min: 1, max: 4 . . . 31μ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 . . . 167ms wilo 006: forward iterator requirements . . . 166ms wilo 007: more corner cases . . . 58μs wilo 008: starting at a given word 1 . . . 142μs wilo 009: starting at a given word 2 . . . 19μs wilo 010: code coverage . . . 18μs wislo 000: n: 2, min; 1, max: 4 . . . 26μs wislo 001: corner cases . . . 42μs wislo 002: n: 3, min; 0, max: 10 . . . 4915μs wislo 003: n: 3, min; 0, max: 13 . . . 166ms wislo 004: lex + sort . . . 453ms wislo 005: code coverage . . . 28μs =============================================================================== All tests passed (1290267 assertions in 1200 test cases) >>> libsemigroups: Entering fakeroot... make[1]: Entering directory '/home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.0' ./config/install-sh -c -d '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib' ./config/install-sh -c -d '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups/backward-cpp' /bin/sh ./libtool --mode=install /usr/bin/install -c libsemigroups.la '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib' /usr/bin/install -c -m 644 extern/backward-cpp/backward.hpp '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups/backward-cpp' ./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' ./config/install-sh -c -d '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups' /usr/bin/install -c -m 644 libsemigroups.pc '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/pkgconfig' ./config/install-sh -c -d '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups/textflowcpp' /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' /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/node-manager.hpp include/libsemigroups/obvinf.hpp include/libsemigroups/order.hpp include/libsemigroups/pbr.hpp include/libsemigroups/pool.hpp include/libsemigroups/present.hpp include/libsemigroups/present.tpp include/libsemigroups/race.hpp include/libsemigroups/report.hpp include/libsemigroups/runner.hpp include/libsemigroups/schreier-sims.hpp include/libsemigroups/schreier-sims-helper.hpp include/libsemigroups/sims1.hpp include/libsemigroups/sims1.tpp include/libsemigroups/siso.hpp include/libsemigroups/stl.hpp include/libsemigroups/stephen.hpp include/libsemigroups/string-view.hpp include/libsemigroups/string.hpp include/libsemigroups/tce.hpp include/libsemigroups/timer.hpp include/libsemigroups/todd-coxeter-digraph.hpp include/libsemigroups/todd-coxeter-digraph.tpp include/libsemigroups/todd-coxeter.hpp include/libsemigroups/transf.hpp include/libsemigroups/types.hpp include/libsemigroups/uf.hpp include/libsemigroups/ukkonen.hpp include/libsemigroups/ukkonen.tpp 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.7.0' >>> libsemigroups-static*: Running split function static... >>> libsemigroups-static*: Preparing subpackage libsemigroups-static... >>> libsemigroups-static*: Stripping binaries >>> libsemigroups-static*: Running postcheck for libsemigroups-static >>> libsemigroups-dev*: Running split function dev... >>> libsemigroups-dev*: Preparing subpackage libsemigroups-dev... >>> libsemigroups-dev*: Stripping binaries >>> libsemigroups-dev*: Running postcheck for libsemigroups-dev >>> libsemigroups*: Running postcheck for libsemigroups >>> libsemigroups*: Preparing package libsemigroups... >>> libsemigroups*: Stripping binaries >>> libsemigroups-dev*: Scanning shared objects >>> libsemigroups-static*: Scanning shared objects >>> libsemigroups*: Scanning shared objects >>> libsemigroups-dev*: Tracing dependencies... libsemigroups=2.7.0-r0 pc:eigen3 pc:fmt pkgconfig >>> libsemigroups-dev*: Package size: 2.3 MB >>> libsemigroups-dev*: Compressing data... >>> libsemigroups-dev*: Create checksum... >>> libsemigroups-dev*: Create libsemigroups-dev-2.7.0-r0.apk >>> libsemigroups-static*: Tracing dependencies... >>> libsemigroups-static*: Package size: 5.4 MB >>> libsemigroups-static*: Compressing data... >>> libsemigroups-static*: Create checksum... >>> libsemigroups-static*: Create libsemigroups-static-2.7.0-r0.apk >>> libsemigroups*: Tracing dependencies... so:libc.musl-x86_64.so.1 so:libfmt.so.9 so:libgcc_s.so.1 so:libstdc++.so.6 >>> libsemigroups*: Package size: 1.8 MB >>> libsemigroups*: Compressing data... >>> libsemigroups*: Create checksum... >>> libsemigroups*: Create libsemigroups-2.7.0-r0.apk >>> libsemigroups: Build complete at Sun, 26 Mar 2023 18:14:34 +0000 elapsed time 0h 3m 52s >>> libsemigroups: Cleaning up srcdir >>> libsemigroups: Cleaning up pkgdir >>> libsemigroups: Uninstalling dependencies... (1/4) Purging .makedepends-libsemigroups (20230326.181044) (2/4) Purging eigen-dev (3.4.0-r8) (3/4) Purging fmt-dev (9.1.0-r0) (4/4) Purging fmt (9.1.0-r0) OK: 393 MiB in 99 packages >>> libsemigroups: Updating the testing/x86_64 repository index... >>> libsemigroups: Signing the index...