>>> libsemigroups: Building testing/libsemigroups 2.7.1-r1 (using abuild 3.11.0-r1) started Tue, 16 May 2023 05:45:19 +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-r9) (2/4) Installing fmt (9.1.0-r1) (3/4) Installing fmt-dev (9.1.0-r1) (4/4) Installing .makedepends-libsemigroups (20230516.054520) OK: 383 MiB in 111 packages >>> libsemigroups: Cleaning up srcdir >>> libsemigroups: Cleaning up pkgdir >>> libsemigroups: Fetching https://distfiles.alpinelinux.org/distfiles/edge/libsemigroups-2.7.1.tar.gz % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 0 2485k 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 2485k 100 2485k 0 0 2950k 0 --:--:-- --:--:-- --:--:-- 2947k >>> libsemigroups: Fetching https://distfiles.alpinelinux.org/distfiles/edge/libsemigroups-2.7.1.tar.gz >>> libsemigroups: Checking sha512sums... libsemigroups-2.7.1.tar.gz: OK >>> libsemigroups: Unpacking /var/cache/distfiles/edge/libsemigroups-2.7.1.tar.gz... checking build system type... i586-alpine-linux-musl checking host system type... i586-alpine-linux-musl checking target system type... i586-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 i586-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 i586-alpine-linux-musl-ar... no checking for i586-alpine-linux-musl-lib... no checking for i586-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/i586-alpine-linux-musl/bin/ld checking if the linker (/usr/i586-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 i586-alpine-linux-musl file names to i586-alpine-linux-musl format... func_convert_file_noop checking how to convert i586-alpine-linux-musl file names to toolchain format... func_convert_file_noop checking for /usr/i586-alpine-linux-musl/bin/ld option to reload object files... -r checking for i586-alpine-linux-musl-file... no checking for file... file checking for i586-alpine-linux-musl-objdump... no checking for objdump... objdump checking how to recognize dependent libraries... pass_all checking for i586-alpine-linux-musl-dlltool... no checking for dlltool... no checking how to associate runtime and link libraries... printf %s\n checking for i586-alpine-linux-musl-ar... ar checking for archiver @FILE support... @ checking for i586-alpine-linux-musl-strip... no checking for strip... strip checking for i586-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 i586-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/i586-alpine-linux-musl/bin/ld) 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/i586-alpine-linux-musl/bin/ld checking if the linker (/usr/i586-alpine-linux-musl/bin/ld) is GNU ld... yes checking whether the g++ linker (/usr/i586-alpine-linux-musl/bin/ld) 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/i586-alpine-linux-musl/bin/ld) 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 *... 4 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... no configure: WARNING: compiler builtin not supported, HPCombi is disabled checking for i586-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.1' CXX tests/bmat-data.o CXX tests/test-action.o CXX tests/test-bipart.o CXX tests/test-bitset.o CXX tests/test-bmat8.o CXX tests/test-cong-intf.o CXX tests/test-cong-pair.o CXX tests/test-cong.o CXX tests/test-constants.o CXX tests/test-containers.o CXX tests/test-digraph-helper.o CXX tests/test-digraph.o CXX tests/test-felsch-tree.o CXX tests/test-forest.o CXX tests/test-fpsemi.o CXX tests/test-fpsemi-examples-1.o CXX tests/test-fpsemi-examples-2.o CXX tests/test-fpsemi-examples-3.o CXX tests/test-fpsemi-intf.o CXX tests/test-freeband.o CXX tests/test-froidure-pin-bipart.o CXX tests/test-froidure-pin-bmat8.o CXX tests/test-froidure-pin-bmat.o CXX tests/test-froidure-pin-integers.o CXX tests/test-froidure-pin-intmat.o CXX tests/test-froidure-pin-intpairs.o CXX tests/test-froidure-pin-matrix.o CXX tests/test-froidure-pin-maxplustrunc.o CXX tests/test-froidure-pin-pbr.o CXX tests/test-froidure-pin-pperm.o CXX tests/test-froidure-pin-projmaxplus.o CXX tests/test-froidure-pin-transf.o CXX tests/test-hpcombi.o CXX tests/test-iterator.o CXX tests/test-kambites.o CXX tests/test-kbe.o CXX tests/test-knuth-bendix-1.o CXX tests/test-knuth-bendix-2.o CXX tests/test-knuth-bendix-3.o CXX tests/test-knuth-bendix-4.o CXX tests/test-knuth-bendix-5.o CXX tests/test-knuth-bendix-6.o CXX tests/test-konieczny-bmat8-1.o CXX tests/test-konieczny-bmat8-2.o CXX tests/test-konieczny-bmat8-3.o CXX tests/test-konieczny-transf.o CXX tests/test-konieczny-bmat.o CXX tests/test-konieczny-pperm.o CXX tests/test-main.o CXX tests/test-make-present.o CXX tests/test-make-froidure-pin.o CXX tests/test-matrix.o CXX tests/test-obvinf.o CXX tests/test-order.o CXX tests/test-pbr.o CXX tests/test-pool.o CXX tests/test-present.o CXX tests/test-race.o CXX tests/test-runner.o CXX tests/test-schreier-sims.o CXX tests/test-schreier-sims-helper.o CXX tests/test-sims1.o CXX tests/test-siso.o CXX tests/test-stephen.o CXX tests/test-string.o CXX tests/test-string-view.o CXX tests/test-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 In file included from tests/test-make-present.cpp:29: In member function 'void libsemigroups::detail::StaticVector1::push_back(T) [with T = unsigned char; unsigned int N = 3]', inlined from 'libsemigroups::detail::StaticVector1::StaticVector1(const It&, const It&) [with It = const int*; T = unsigned char; unsigned int N = 3]' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.1/include/libsemigroups/containers.hpp:766:20, inlined from 'void std::__new_allocator<_Tp>::construct(_Up*, _Args&& ...) [with _Up = libsemigroups::detail::StaticVector1; _Args = {const int*&, const int*&}; _Tp = libsemigroups::detail::StaticVector1]' at /usr/include/c++/13.1.1/bits/new_allocator.h:187:4, inlined from 'static void std::allocator_traits >::construct(allocator_type&, _Up*, _Args&& ...) [with _Up = libsemigroups::detail::StaticVector1; _Args = {const int*&, const int*&}; _Tp = libsemigroups::detail::StaticVector1]' at /usr/include/c++/13.1.1/bits/alloc_traits.h:537:17, inlined from 'void std::vector<_Tp, _Alloc>::_M_realloc_insert(iterator, _Args&& ...) [with _Args = {const int*&, const int*&}; _Tp = libsemigroups::detail::StaticVector1; _Alloc = std::allocator >]' at /usr/include/c++/13.1.1/bits/vector.tcc:468:28: /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.1/include/libsemigroups/containers.hpp:796:23: warning: writing 1 byte into a region of size 0 [-Wstringop-overflow=] 796 | _array[_size] = x; | ~~~~~~~~~~~~~~^~~ In file included from /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.1/include/libsemigroups/string.hpp:25, from /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.1/include/libsemigroups/exception.hpp:26, from /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.1/include/libsemigroups/bipart.hpp:40, from tests/test-make-present.cpp:28: /usr/include/c++/13.1.1/array: In member function 'void std::vector<_Tp, _Alloc>::_M_realloc_insert(iterator, _Args&& ...) [with _Args = {const int*&, const int*&}; _Tp = libsemigroups::detail::StaticVector1; _Alloc = std::allocator >]': /usr/include/c++/13.1.1/array:109:55: note: at offset 3 into destination object 'std::array::_M_elems' of size 3 109 | typename __array_traits<_Tp, _Nm>::_Type _M_elems; | ^~~~~~~~ CXX tests/test-word.o In member function 'void libsemigroups::detail::StaticVector1::push_back(T) [with T = unsigned char; unsigned int N = 3]', inlined from 'libsemigroups::detail::StaticVector1::StaticVector1(const It&, const It&) [with It = const int*; T = unsigned char; unsigned int N = 3]' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.1/include/libsemigroups/containers.hpp:766:20, inlined from 'void std::__new_allocator<_Tp>::construct(_Up*, _Args&& ...) [with _Up = libsemigroups::detail::StaticVector1; _Args = {const int*&, const int*&}; _Tp = libsemigroups::detail::StaticVector1]' at /usr/include/c++/13.1.1/bits/new_allocator.h:187:4, inlined from 'static void std::allocator_traits >::construct(allocator_type&, _Up*, _Args&& ...) [with _Up = libsemigroups::detail::StaticVector1; _Args = {const int*&, const int*&}; _Tp = libsemigroups::detail::StaticVector1]' at /usr/include/c++/13.1.1/bits/alloc_traits.h:537:17, inlined from 'void std::vector<_Tp, _Alloc>::emplace_back(_Args&& ...) [with _Args = {const int*&, const int*&}; _Tp = libsemigroups::detail::StaticVector1; _Alloc = std::allocator >]' at /usr/include/c++/13.1.1/bits/vector.tcc:117:30, inlined from 'libsemigroups::Presentation& libsemigroups::Presentation::add_rule(S, S, T, T) [with S = const int*; T = const int*; W = libsemigroups::detail::StaticVector1]' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.1/include/libsemigroups/present.hpp:271:25, inlined from 'void libsemigroups::presentation::add_rule(libsemigroups::Presentation&, std::initializer_list<_Value>, std::initializer_list<_Value>) [with W = libsemigroups::detail::StaticVector1; T = int]' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.1/include/libsemigroups/present.hpp:532:17: /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.1/include/libsemigroups/containers.hpp:796:23: warning: writing 1 byte into a region of size 0 [-Wstringop-overflow=] 796 | _array[_size] = x; | ~~~~~~~~~~~~~~^~~ /usr/include/c++/13.1.1/array: In function 'void libsemigroups::presentation::add_rule(libsemigroups::Presentation&, std::initializer_list<_Value>, std::initializer_list<_Value>) [with W = libsemigroups::detail::StaticVector1; T = int]': /usr/include/c++/13.1.1/array:109:55: note: at offset 3 into destination object 'std::array::_M_elems' of size 3 109 | typename __array_traits<_Tp, _Nm>::_Type _M_elems; | ^~~~~~~~ In member function 'void libsemigroups::detail::StaticVector1::push_back(T) [with T = unsigned char; unsigned int N = 3]', inlined from 'libsemigroups::detail::StaticVector1::StaticVector1(const It&, const It&) [with It = const int*; T = unsigned char; unsigned int N = 3]' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.1/include/libsemigroups/containers.hpp:766:20, inlined from 'void std::__new_allocator<_Tp>::construct(_Up*, _Args&& ...) [with _Up = libsemigroups::detail::StaticVector1; _Args = {const int*&, const int*&}; _Tp = libsemigroups::detail::StaticVector1]' at /usr/include/c++/13.1.1/bits/new_allocator.h:187:4, inlined from 'static void std::allocator_traits >::construct(allocator_type&, _Up*, _Args&& ...) [with _Up = libsemigroups::detail::StaticVector1; _Args = {const int*&, const int*&}; _Tp = libsemigroups::detail::StaticVector1]' at /usr/include/c++/13.1.1/bits/alloc_traits.h:537:17, inlined from 'void std::vector<_Tp, _Alloc>::emplace_back(_Args&& ...) [with _Args = {const int*&, const int*&}; _Tp = libsemigroups::detail::StaticVector1; _Alloc = std::allocator >]' at /usr/include/c++/13.1.1/bits/vector.tcc:117:30, inlined from 'libsemigroups::Presentation& libsemigroups::Presentation::add_rule(S, S, T, T) [with S = const int*; T = const int*; W = libsemigroups::detail::StaticVector1]' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.1/include/libsemigroups/present.hpp:272:25, inlined from 'void libsemigroups::presentation::add_rule(libsemigroups::Presentation&, std::initializer_list<_Value>, std::initializer_list<_Value>) [with W = libsemigroups::detail::StaticVector1; T = int]' at /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.1/include/libsemigroups/present.hpp:532:17: /home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.1/include/libsemigroups/containers.hpp:796:23: warning: writing 1 byte into a region of size 0 [-Wstringop-overflow=] 796 | _array[_size] = x; | ~~~~~~~~~~~~~~^~~ /usr/include/c++/13.1.1/array: In function 'void libsemigroups::presentation::add_rule(libsemigroups::Presentation&, std::initializer_list<_Value>, std::initializer_list<_Value>) [with W = libsemigroups::detail::StaticVector1; T = int]': /usr/include/c++/13.1.1/array:109:55: note: at offset 3 into destination object 'std::array::_M_elems' of size 3 109 | typename __array_traits<_Tp, _Nm>::_Type _M_elems; | ^~~~~~~~ In file included from /usr/include/c++/13.1.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++/13.1.1/bits/stl_algo.h:1950:31, inlined from 'void std::sort(_RAIter, _RAIter, _Compare) [with _RAIter = libsemigroups::StaticRowView*; _Compare = libsemigroups::{anonymous}::test_BMat000 >()::]' at /usr/include/c++/13.1.1/bits/stl_algo.h:4894:18, inlined from 'void libsemigroups::{anonymous}::test_BMat000() [with Mat = libsemigroups::StaticMatrix]' at tests/test-matrix.cpp:166:18: /usr/include/c++/13.1.1/bits/stl_algo.h:1859:32: warning: array subscript 16 is outside array bounds of 'libsemigroups::detail::StaticVector1, 2> [1]' [-Warray-bounds=] 1859 | 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 64 into object 'r' of size 12 160 | auto r = matrix_helpers::rows(m); | ^ CXXLD test_all make[1]: Leaving directory '/home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.1' ./test_all --use-colour yes --order lex --abort [quick] Filters: [quick] Action 001: row and column basis orbits for BMat8 . . . 100μs Action 002: row and column basis orbits for BMat8 . . . 22ms Action 003: add generators after enumeration . . . 14ms Action 004: multipliers for BMat8 row and column orbits . . . 17ms Action 005: orbits for regular boolean mat monoid 5 . . . 895ms Action 007: partial perm image orbit . . . 246μs Action 008: partial perm image orbit . . . 61ms Action 009: partial perm image orbit . . . 68ms Action 010: partial perm image orbit . . . 69ms Action 011: permutation on integers . . . 20μs Action 012: permutation on sets, arrays . . . 114μs Action 013: permutation on tuples, arrays . . . 11ms Action 014: permutation on sets, vectors . . . 184μs Action 015: permutation on tuples, vectors . . . 19ms Action 016: misc . . . 2139μs Action 017: partial perm image orbit . . . 51μs Action 018: permutation on tuples, arrays (360360) . . . 172ms Action 019: orbits for regular BMat8 monoid 5 with stop/start . . . 660ms Action 021: orbits for regular boolean mat monoid 5 (BMat<5> [...] . . . 436ms ActionDigraph 000: constructor with 1 default arg . . . 25μs ActionDigraph 001: constructor with 0 default args . . . 48μs ActionDigraph 002: add nodes . . . 29μs ActionDigraph 003: add edges . . . 270μs ActionDigraph 004: strongly connected components - cycles . . . 34μs ActionDigraph 005: strongly connected components - no edges . . . 52ms ActionDigraph 006: strongly connected components - disjoint cycles . . . 1740μs ActionDigraph 007: strongly connected components - complete graphs . . . 921μs ActionDigraph 008: exceptions . . . 60μs ActionDigraph 009: spanning forest - complete graphs . . . 4407μs ActionDigraph 010: spanning forest - disjoint cycles . . . 126μs ActionDigraph 011: restrict . . . 12μs ActionDigraph 012: remove_edge_nc . . . 10μs ActionDigraph 013: scc large cycle . . . 15ms ActionDigraph 014: random . . . 29μs ActionDigraph 015: reserve . . . 12μs ActionDigraph 016: default constructors . . . 20μs ActionDigraph 017: scc iterators . . . 1508μs ActionDigraph 018: iterator to edges . . . 622μs ActionDigraph 019: root of scc . . . 378μs ActionDigraph 020: cbegin/end_panislo - 100 node path . . . 635μs ActionDigraph 021: cbegin/end_pislo . . . 55μs ActionDigraph 022: cbegin/end_pani(s)lo - 100 node cycle . . . 846μs ActionDigraph 023: cbegin/cend_pilo - tree 14 nodes . . . 96μs ActionDigraph 024: cbegin/end_pstilo - Cayley digraph . . . 205ms ActionDigraph 025: cbegin_pstilo - Tsalakou . . . 506μs ActionDigraph 026: cbegin/end_pstislo - Cayley digraph . . . 188ms ActionDigraph 027: cbegin/end_pstislo - Cayley digraph . . . 253μs ActionDigraph 028: path iterators corner cases . . . 211μs ActionDigraph 029: reverse node iterator . . . 12μs ActionDigraph 030: pstilo corner case . . . 53μs ActionDigraph 031: number_of_paths corner cases . . . 69μs ActionDigraph 032: number_of_paths acyclic digraph . . . 12ms ActionDigraph 033: number_of_paths binary tree . . . 512ms ActionDigraph 034: number_of_paths large binary tree . . . 139ms ActionDigraph 035: number_of_paths 400 node random digraph . . . 726μs ActionDigraph 036: number_of_paths 10 node acyclic digraph . . . 46μs ActionDigraph 037: number_of_paths node digraph . . . 4597μs ActionDigraph 038: random/random_acyclic exceptions . . . 126μs ActionDigraph 039: unsafe (next) neighbour . . . 88μs ActionDigraph 040: number_of_egdes incident to a node . . . 96μs ActionDigraph 041: number_of_paths (matrix) . . . 27ms ActionDigraph 042: number_of_paths (matrix) . . . 16μs ActionDigraph 043: swap_edge_nc . . . 10μs ActionDigraph 044: detail::pow for non-square Eigen matrix . . . 25μs ActionDigraph 045: operator<< . . . 16μs Array2 044: all . . . 51μs BMat8 001: transpose . . . 30μs BMat8 002: multiplication . . . 25μs BMat8 003: identity matrix . . . 16μs BMat8 004: random . . . 333μs BMat8 005: call operator . . . 24μs BMat8 006: operator<< . . . 20μs BMat8 007: set . . . 77μs BMat8 008: row space basis . . . 1722μs BMat8 009: col space basis . . . 1358μs BMat8 010: row space basis . . . 16ms BMat8 011: number_of_rows, number_of_cols . . . 48μs BMat8 012: row_space, col_space . . . 288μs BMat8 013: rows . . . 51μs BMat8 014: one . . . 13μs BMat8 015: vector constructor . . . 95μs BMat8 016: operator< . . . 16μs BMat8 017: adapters . . . 25μs BMat8 018: one . . . 12μs Bipartition 009: mem fns 1 . . . 33μs Bipartition 010: hash . . . 9000ns Bipartition 011: mem fns 2 . . . 25μs Bipartition 012: delete/copy . . . 16μs Bipartition 013: degree 0 . . . 12μs Bipartition 014: exceptions . . . 43μs Bipartition 015: convenience constructor . . . 277μs Bipartition 016: force copy constructor over move constructor . . . 19μs Bipartition 017: adapters . . . 10μs BitSet 000: size . . . 15μs BitSet 001: operator< . . . 10μs BitSet 002: operator== . . . 12μs BitSet 003: operator!= . . . 12μs BitSet 004: operator&= . . . 13μs BitSet 005: & . . . 16μs BitSet 006: operator|= . . . 18μs BitSet 007: operator[] . . . 23μs BitSet 008: set(none) . . . 19μs BitSet 009: set(pos, value) . . . 19μs BitSet 010: set(first, last, value) . . . 21μs BitSet 011: reset(first, last) . . . 20μs BitSet 012: reset(pos) . . . 20μs BitSet 013: apply (iterate through set bits) . . . 21μs BitSet 014: std::hash . . . 9000ns BitSet 015: constructors . . . 21μs BitSet 016: max_size . . . 9000ns BitSet 017: insertion operators . . . 13μs Blocks 001: empty blocks . . . 13μs Blocks 002: non-empty blocks . . . 13μs Blocks 003: left blocks of bipartition . . . 15μs Blocks 004: right blocks of bipartition . . . 15μs Blocks 005: copy [empty blocks] . . . 12μs Blocks 006: copy [non-empty blocks] . . . 13μs Blocks 007: hash value . . . 12μs Blocks 008: operator< . . . 12μs Congruence 000: left congruence on fp semigroup . . . 175μs Congruence 001: 2-sided congruence on fp semigroup . . . 538μs Congruence 002: left congruence on fp semigroup . . . 335μs Congruence 003: word_to_class_index for cong. on fp semigroup . . . 348μs Congruence 004: word_to_class_index for cong. on fp semigroup . . . 599μs Congruence 005: trivial congruence on non-fp semigroup . . . 474μs Congruence 006: 2-sided congruence on non-fp semigroup . . . 416μs Congruence 007: 2-sided congruence on fp semigroup . . . 609μs Congruence 008: 2-sided congruence on infinite fp semigroup . . . 360μs Congruence 009: 2-sided congruence on infinite fp semigroup . . . 420μs Congruence 010: 2-sided congruence on finite semigroup . . . 47ms Congruence 012: 2-sided congruence on finite semigroup . . . 3580μs Congruence 013: trivial 2-sided congruence on bicyclic monoid . . . 28ms Congruence 014: non-trivial 2-sided congruence on bicyclic monoid . . . 501μs Congruence 015: 2-sided congruence on free abelian monoid . . . 482μs Congruence 016: example where TC works but KB doesn't . . . 732μs Congruence 017: 2-sided congruence on finite semigroup . . . 473μs Congruence 018: infinite fp semigroup from GAP library . . . 636μs Congruence 019: 2-sided cong. on fp semigroup with infinite [...] . . . 355μs Congruence 020: trivial cong. on an fp semigroup . . .  -- with compute size 339μs  -- with don't compute size 322μs Congruence 021: duplicate generators . . . 453μs Congruence 022: non-trivial classes . . . 1330μs Congruence 023: right congruence on finite semigroup . . . 455ms Congruence 024: redundant generating pairs . . . 154μs Congruence 025: 2-sided cong. on free semigroup . . . 112μs Congruence 026: is_quotient_obviously_(in)finite . . . 1201μs Congruence 027: less . . . 424μs Congruence 028: 2-sided congruences of BMat8 semigroup . . . 4245ms Congruence 029: left congruence on finite semigroup . . . 645μs Congruence 030: right congruence on finite semigroup . . . 551μs Congruence 031: right congruence on finite semigroup . . . 541μs Congruence 032: contains . . . 185μs Congruence 033: stellar_monoid S2 . . . 649μs Congruence 034: stellar_monoid S3 . . . 808μs Congruence 035: stellar_monoid S4 . . . 1590μs Congruence 036: stellar_monoid S5 . . . 8181μs Congruence 037: stellar_monoid S6 . . . 74ms Congruence 038: stellar_monoid S7 . . . 851ms Congruence 039: left cong. on an f.p. semigroup . . . 1623μs Congruence 040: 2-sided cong. on infinite f.p. semigroup . . . 223μs Congruence 041: 2-sided congruence constructed from type only . . . 554μs Congruence 042: const_contains . . . 580μs Congruence 043: no winner . . . 8474μs Congruence 044: congruence over smalloverlap . . . 13ms CongruenceByPairs 001: (cong) 2-sided cong. on finite semigroup . . . 663μs CongruenceByPairs 002: (cong) left congruence on finite semigroup . . . 275μs CongruenceByPairs 003: (cong) right congruence on finite semigroup . . . 271μs CongruenceByPairs 004: (cong) trivial congruence on finite s [...] . . . 196μs CongruenceByPairs 005: (cong) trivial left congruence on fin [...] . . . 178μs CongruenceByPairs 006: (cong) trivial right congruence on fi [...] . . . 174μs CongruenceByPairs 007: (cong) universal congruence on finite [...] . . . 748μs CongruenceByPairs 009: (cong) 2-sided congruence on finite s [...] . . . 762ms CongruenceByPairs 010: (cong) left congruence on big finite [...] . . . 30ms CongruenceByPairs 011: (cong) left congruence on TCE . . . 172μs CongruenceByPairs 012: (cong) is_quotient_obviously_finite . . . 92μs CongruenceByPairs 013: (cong) class_index_to_word/quotient . . .  -- with right congruence 9979μs  -- with left congruence 1185μs  -- with 2-sided congruence 6350μs CongruenceByPairs 014: (cong) const_word_to_class_index . . .  -- with right congruence 40μs  -- with left congruence 33μs  -- with 2-sided congruence 30μs CongruenceByPairs 015: (cong) size non-Element* . . . 26ms CongruenceInterface 000: add_pair . . .  -- with ToddCoxeter 77μs  -- with KnuthBendix 134μs  -- with CongruenceByPairs 115μs  -- with Congruence 436μs CongruenceInterface 001: contains/const_contains . . .  -- with ToddCoxeter and no parent 112μs  -- with KnuthBendix and no parent 119μs  -- with Congruence and parent 369μs  -- with CongruenceByPairs and parent 100μs CongruenceInterface 002: less . . .  -- with ToddCoxeter 87μs  -- with KnuthBendix 147μs  -- with CongruenceByPairs 141μs  -- with Congruence 449μs CongruenceInterface 003: is_quotient_obviously_(in)finite . . .  -- with ToddCoxeter 60μs  -- with KnuthBendix 112μs CongruenceInterface 004: is_quotient_obviously_(in)finite . . .  -- with CongruenceByPairs 107μs  -- with Congruence 328μs CongruenceInterface 005: parent_froidure_pin . . .  -- with ToddCoxeter 30μs  -- with KnuthBendix 20μs CongruenceInterface 006: parent_froidure_pin . . .  -- with CongruenceByPairs 101μs  -- with Congruence 371μs CongruenceInterface 007: cbegin/cend_ntc . . .  -- with ToddCoxeter 266μs  -- with KnuthBendix 1193μs CongruenceInterface 008: cbegin/cend_ntc . . .  -- with CongruenceByPairs 261μs  -- with Congruence 465μs CongruenceInterface 009: quotient is immutable . . .  -- with ToddCoxeter 87μs  -- with KnuthBendix 117μs  -- with Congruence 241μs CongruenceInterface 010: no generating pairs added . . .  -- with KnuthBendix and common behaviour 5236μs  -- with Congruence and common behaviour 5401μs  -- with ToddCoxeter 73μs CongruenceInterface 011: nr generators not set . . .  -- with ToddCoxeter 100μs  -- with KnuthBendix 92μs  -- with Congruence 93μs CongruenceInterface 012: no generating pairs . . . 167μs ConstIteratorStateless 001: ? . . . 10μs ConstIteratorStateless 002: ? . . . 10μs Constants 001: Undefined . . . 15μs Constants 002: PositiveInfinity . . . 24μs Constants 003: NegativeInfinity . . . 15μs Constants 004: LimitMax . . . 15μs Duf 004: unite . . . 26μs Duf 006: compress . . . 15μs Duf 008: resize . . . 20μs Duf 009: resize . . . 13μs Duf 010: big chain . . . 20ms Duf 012: empty table . . . 10μs Duf 014: join . . . 12μs Duf 016: contains . . . 27μs Duf 018: swap . . . 33μs DynamicArray2 001: default constructor with 3 default args . . . 10μs DynamicArray2 002: default constructor with 2 default args . . . 10μs DynamicArray2 003: default constructor with 1 default args . . . 16μ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 . . . 15μs DynamicArray2 007: add_rows . . . 13μs DynamicArray2 008: add_rows . . . 12μs DynamicArray2 009: add_cols . . . 26μs DynamicArray2 010: set/get . . . 38μs DynamicArray2 011: append 1/2 . . . 87μs DynamicArray2 012: append 2/2 . . . 146μs DynamicArray2 013: count . . . 15μs DynamicArray2 014: clear . . . 10μs DynamicArray2 015: begin_row and end_row . . . 63μs DynamicArray2 016: cbegin_row and cend_row . . . 26μs DynamicArray2 017: iterator operator++ (postfix) . . . 277μs DynamicArray2 018: iterator operator++ (prefix) . . . 1742μs DynamicArray2 019: iterator operator-- (postfix) . . . 391μs DynamicArray2 020: iterator operator-- (prefix) . . . 351μs DynamicArray2 021: operator= . . . 15μs DynamicArray2 022: operator== and operator!= . . . 259μs DynamicArray2 023: empty and clear . . . 15μs DynamicArray2 024: max_size . . . 10μs DynamicArray2 025: swap . . . 41μs DynamicArray2 026: iterator arithmetic . . . 1520μs DynamicArray2 027: iterator comparison . . . 13μs DynamicArray2 028: iterator operator= . . . 10μs DynamicArray2 029: iterator operator[] . . . 82μs DynamicArray2 030: iterator operator-> . . . 26μs DynamicArray2 031: const_iterator operator++/-- . . . 233μs DynamicArray2 032: const_iterator operator++/-- . . . 10μs DynamicArray2 033: column iterators . . . 25μs DynamicArray2 034: column iterator arithmetic . . . 6217μs DynamicArray2 035: iterator assignment constructor . . . 1778μs DynamicArray2 036: reserve method . . . 67μs DynamicArray2 037: erase column . . . 16μs DynamicArray2 038: swap_rows . . . 12μs DynamicArray2 039: apply_row_permutation . . . 12μ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 . . . 20μs FelschTree 000: previously failing example . . . 33μs Forest 001: test forest . . . 69μs FpSemigroup 001: Renner monoid type B2 (E. G. presentation), q = 1 . . . 842μs FpSemigroup 002: Renner monoid type B2 (E. G. presentation), q = 0 . . . 830μs FpSemigroup 003: Renner monoid type B3 (E. G. presentation), q = 1 . . . 65ms FpSemigroup 004: Renner monoid type B3 (E. G. presentation), q = 0 . . . 65ms FpSemigroup 005: Renner monoid type B2 (Gay-Hivert presentat [...] . . . 806μs FpSemigroup 006: Renner monoid type B2 (Gay-Hivert presentat [...] . . . 814μs FpSemigroup 007: Renner monoid type B3 (Gay-Hivert presentat [...] . . . 4346μs FpSemigroup 008: Renner monoid type B3 (Gay-Hivert presentat [...] . . . 4206μs FpSemigroup 009: Renner monoid type B4 (Gay-Hivert presentat [...] . . . 316ms FpSemigroup 010: Renner monoid type B4 (Gay-Hivert presentat [...] . . . 539ms FpSemigroup 013: Renner monoid type D2 (E. G. presentation), q = 1 . . . 2167μs FpSemigroup 014: Renner monoid type D2 (E. G. presentation), q = 0 . . . 2072μs FpSemigroup 015: Renner monoid type D3 (E. G. presentation), q = 1 . . . 7990μs FpSemigroup 016: Renner monoid type D3 (E. G. presentation), q = 0 . . . 7132μs FpSemigroup 017: Renner monoid type D4 (E. G. presentation), q = 1 . . . 715ms FpSemigroup 018: Renner monoid type D4 (E. G. presentation), q = 0 . . . 704ms FpSemigroup 019: Renner monoid type D2 (Gay-Hivert presentat [...] . . . 1796μs FpSemigroup 020: Renner monoid type D2 (Gay-Hivert presentat [...] . . . 1863μs FpSemigroup 021: Renner monoid type D3 (Gay-Hivert presentat [...] . . . 7499μs FpSemigroup 022: Renner monoid type D3 (Gay-Hivert presentat [...] . . . 7220μs FpSemigroup 023: Renner monoid type D4 (Gay-Hivert presentat [...] . . . 117ms FpSemigroup 024: Renner monoid type D4 (Gay-Hivert presentat [...] . . . 135ms FpSemigroup 029: Rook monoid R5, q = 0 . . . 7714μs FpSemigroup 030: Rook monoid R5, q = 1 . . . 7765μs FpSemigroup 031: Rook monoid R6, q = 0 . . . 58ms FpSemigroup 032: Rook monoid R6, q = 1 . . . 69ms FpSemigroup 033: normal_form . . . 420μs FpSemigroup 034: for a finite semigroup . . . 1128μs FpSemigroup 035: finite fp semigroup, dihedral group of order 6 . . . 764μs FpSemigroup 036: finite fp semigroup, size 16 . . . 1110μs FpSemigroup 037: finite fp semigroup, size 16 . . . 1825μs FpSemigroup 038: fp semigroup, size 240 . . . 1157μs FpSemigroup 039: add_rule . . . 400μs FpSemigroup 040: add_rule . . . 293μs FpSemigroup 041: equal_to . . . 409μs FpSemigroup 042: cbegin/cend_rules . . . 116μs FpSemigroup 043: semigroup of size 3 . . . 659μs FpSemigroup 044: run_for/until . . . 3207μs FpSemigroup 045: constructors . . . 406μs FpSemigroup 046: set_inverses . . . 311μs FpSemigroup 047: smalloverlap . . . 17ms FpSemigroup 048: quaternion group Q8 . . . 751μs FpSemigroup 049: symmetric group Coxeter presentation . . . 44ms FpSemigroupByPairs 029: (fpsemi) 2-sided congruence on finit [...] . . . 970μs FpSemigroupByPairs 030: (fpsemi) 2-sided congruence on finit [...] . . . 899μs FpSemigroupInterface 000: run with no alphabet . . .  -- with ToddCoxeter 138μs  -- with KnuthBendix 62μs  -- with FpSemigroup 74μs FpSemigroupInterface 001: equal_to . . .  -- with ToddCoxeter and human readable alphabet 3549μs  -- with KnuthBendix and human readable alphabet 8149μs  -- with FpSemigroup and human readable alphabet 7922μs  -- with FpSemigroupByPairs 4952μs FpSemigroupInterface 002: normal_form . . .  -- with ToddCoxeter 342μs  -- with KnuthBendix 449μs  -- with FpSemigroup 858μs FpSemigroupInterface 003: set_alphabet (1/2) . . .  -- with ToddCoxeter 222μs  -- with KnuthBendix 158μs  -- with FpSemigroup 180μs FpSemigroupInterface 004: set_alphabet (2/2) . . . 1819μs FpSemigroupInterface 005: add_rule after finished . . .  -- with ToddCoxeter and human readable alphabet 264μs  -- with KnuthBendix and human readable alphabet 360μs  -- with FpSemigroup and human readable alphabet 657μs  -- with FpSemigroupByPairs 1786μs FpSemigroupInterface 006: add_rule with equal words (1/2) . . .  -- with ToddCoxeter and human readable alphabet 384μs  -- with KnuthBendix and human readable alphabet 538μs  -- with FpSemigroup and human readable alphabet 641μs  -- with FpSemigroupByPairs 351μs FpSemigroupInterface 007: add_rule with equal words (2/2) . . .  -- with ToddCoxeter 36μs  -- with KnuthBendix 48μs  -- with FpSemigroup 63μs FpSemigroupInterface 008: add_rule with word_type . . .  -- with ToddCoxeter 115μs  -- with KnuthBendix 87μs  -- with FpSemigroup 193μs FpSemigroupInterface 009: add_rule with empty word (1/2) . . .  -- with ToddCoxeter 86μs  -- with FpSemigroup 86μs FpSemigroupInterface 010: add_rule with empty word (1/2) . . . 36μs FpSemigroupInterface 011: add_rules (1/3) . . .  -- with ToddCoxeter 101μs  -- with KnuthBendix 81μs  -- with FpSemigroup 90μs FpSemigroupInterface 012: add_rules (2/3) . . . 751μs FpSemigroupInterface 013: add_rules (3/3) . . .  -- with ToddCoxeter 66μs  -- with KnuthBendix 53μs  -- with FpSemigroup 163μs FpSemigroupInterface 014: set_identity (1/3) . . .  -- with ToddCoxeter 226μs  -- with KnuthBendix 201μs  -- with FpSemigroup 349μs FpSemigroupInterface 015: set_identity (2/3) . . . 469μs FpSemigroupInterface 016: set_identity (3/3) . . .  -- with ToddCoxeter 145μs  -- with KnuthBendix 126μs  -- with FpSemigroup 250μs FpSemigroupInterface 017: identity . . .  -- with ToddCoxeter 71μs  -- with KnuthBendix 51μs  -- with FpSemigroup 66μs FpSemigroupInterface 018: set_inverses + inverses (1/2) . . .  -- with ToddCoxeter 306μs  -- with KnuthBendix 295μs  -- with FpSemigroup 473μs FpSemigroupInterface 019: set_inverses + inverses (2/2) . . . 634μs FpSemigroupInterface 020: is_obviously_infinite (1/2) . . .  -- with ToddCoxeter 308μs  -- with KnuthBendix 366μs  -- with FpSemigroup 728μs FpSemigroupInterface 021: is_obviously_infinite (2/2) . . . 77μs FpSemigroupInterface 022: is_obviously_finite (1/2) . . .  -- with ToddCoxeter 266μs  -- with KnuthBendix 348μs  -- with FpSemigroup 630μs FpSemigroupInterface 023: is_obviously_finite (2/2) . . . 74μs FpSemigroupInterface 024: to_gap_string (1/3) . . .  -- with ToddCoxeter 67μs  -- with KnuthBendix 55μs  -- with FpSemigroup 190μs FpSemigroupInterface 025: to_gap_string (2/3) . . . 50μs FpSemigroupInterface 026: to_gap_string (3/3) . . . 63μs FroidurePin 016: (BMat8) exception zero generators given . . . 50μs FroidurePin 017: (BMat8) exception word_to_element . . . 162μs FroidurePin 018: (BMat8) exception prefix . . . 4702μs FroidurePin 019: (BMat8) exception suffix . . . 53μs FroidurePin 020: (BMat8) exception first_letter . . . 4694μs FroidurePin 021: (BMat8) exception final_letter . . . 50μs FroidurePin 022: (BMat8) exception current_length . . . 4340μs FroidurePin 023: (BMat8) exception product_by_reduction . . . 3661μs FroidurePin 024: (BMat8) exception fast_product . . . 3657μs FroidurePin 025: (BMat8) exception is_idempotent . . . 4173ms FroidurePin 026: (BMat8) copy constructor . . .  -- with fully enumerated 1416ms  -- with partially enumerated 4137ms  -- with not enumerated 3950ms FroidurePin 027: (BMat8) cbegin/end_rules . . . 81μs FroidurePin 031: (integers) . . . 155μs FroidurePin 039: (pairs of integers) non-trivial user type . . . 31μs FroidurePin 055: (tropical max-plus semiring matrices) . . . 286μs FroidurePin 061: projective max plus matrix . . . 1066μs FroidurePin 062: projective max plus matrix . . . 36μs FroidurePin> 009: small example 2 . . . 50μs FroidurePin> 005: small example 1 . . . 135μs FroidurePin> 007: regular bmat monoid 4 . . . 68ms FroidurePin> 011: small example 3 . . . 599μs FroidurePin> 006: small example 1 . . . 146μs FroidurePin> 008: regular bmat monoid 4 . . . 78ms FroidurePin> 010: small example 2 . . . 41μs FroidurePin> 012: small example 3 . . . 661μs FroidurePin 000: small example 1 . . . 164μs FroidurePin 001: default constructed . . . 126μs FroidurePin 002: small example 2 . . . 50μs FroidurePin 004: exception: is_idempotent . . . 199μs FroidurePin> 033: Example 000 . . . 3226μs FroidurePin> 035: Example 001 . . . 43μs FroidurePin> 032: Example 000 . . . 3054μs FroidurePin> 034: Example 001 . . . 53μs FroidurePin 036: exception: current_position . . . 128μs FroidurePin 037: exception: word_to_element . . . 72μs FroidurePin 038: exception: prefix, suffix, first_letter . . . 26ms FroidurePin> 040: Example 000 . . . 76μs FroidurePin> 041: Example 000 . . . 62μs FroidurePin> 046: Example 005 . . . 151μs FroidurePin> 047: Example 005 . . . 178μs FroidurePin> 048: Example 005 . . . 171μs FroidurePin> 044: Example 004 . . . 30μs FroidurePin> 045: Example 004 . . . 31μs FroidurePin> 049: Example 006 . . . 964μs FroidurePin> 050: Example 006 . . . 1146μs FroidurePin> 051: Example 006 . . . 1193μs FroidurePin> 052: Example 007 . . . 129μs FroidurePin> 053: Example 007 . . . 141μs FroidurePin> 054: Example 007 . . . 152μs FroidurePin 056: example 1 . . . 197μs FroidurePin 057: example 2 . . . 194μs FroidurePin> 058: . . . 592μs FroidurePin> 059: . . . 51μs FroidurePin> 060: exceptions: add_generator(s) . . . 58μs FroidurePin> 065: no exception zero generators given . . . 23μs FroidurePin> 066: exception generators of different [...] . . . 58μs FroidurePin> 067: exception current_position . . . 46μs FroidurePin> 068: exception word_to_element . . . 46μs FroidurePin> 069: exception gens . . . 595μs FroidurePin> 070: exception prefix . . . 25ms FroidurePin> 071: exception suffix . . . 75ms FroidurePin> 072: exception first_letter . . . 55μs FroidurePin> 073: exception final_letter . . . 48μs FroidurePin> 074: exception current_length . . . 46μs FroidurePin> 075: exception product_by_reduction . . . 467μs FroidurePin> 076: exception fast_product . . . 505μs FroidurePin> 077: exception current_position . . . 596μs FroidurePin> 078: exception is_idempotent . . . 647μs FroidurePin> 079: exception add_generators . . . 40μs FroidurePin> 080: multithread number_of_idempotents . . . 469μs FroidurePin> 081: small semigroup . . . 27μs FroidurePin> 082: large semigroup . . . 6402μs FroidurePin> 083: at, position, current_* . . . 6454μs FroidurePin> 084: run . . . 6153μs FroidurePin> 085: run [many stops and starts] . . . 6231μs FroidurePin> 086: factorisation, length [1 element] . . . 6111μs FroidurePin> 087: factorisation, products [all elements] . . . 8044μs FroidurePin> 088: first/final letter, prefix, suffi [...] . . . 6146μs FroidurePin> 089: current_position [standard] . . . 26μs FroidurePin> 090: current_position [duplicate gens] . . . 11ms FroidurePin> 091: current_position [after add_generators] . . . 6845μs FroidurePin> 092: cbegin_idempotents/cend [1 thread] . . . 6878μs FroidurePin> 093: idempotent_cend/cbegin [1 thread] . . . 7276μs FroidurePin> 094: is_idempotent [1 thread] . . . 6453μs FroidurePin> 096: finished, started . . . 6158μs FroidurePin> 097: current_position . . . 1474μs FroidurePin> 098: sorted_position, sorted_at . . . 7877μs FroidurePin> 099: right/left Cayley graph . . . 34ms FroidurePin> 100: iterator . . . 10ms FroidurePin> 101: reverse iterator . . . 10ms FroidurePin> 102: iterator arithmetic . . . 35ms FroidurePin> 103: iterator sorted . . . 26ms FroidurePin> 104: iterator sorted arithmetic . . . 37ms FroidurePin> 105: copy [not enumerated] . . . 6303μs FroidurePin> 106: copy_closure [not enumerated] . . . 40ms FroidurePin> 107: copy_add_generators [not enumerated] . . . 37ms FroidurePin> 108: copy [partly enumerated] . . . 6805μs FroidurePin> 109: copy_closure [partly enumerated] . . . 10ms FroidurePin> 110: copy_add_generators [partly enumerated] . . . 6936μs FroidurePin> 111: copy [fully enumerated] . . . 9613μs FroidurePin> 112: copy_closure [fully enumerated] . . . 10ms FroidurePin> 113: copy_add_generators [fully enumerated] . . . 9743μs FroidurePin> 114: relations [duplicate gens] . . . 189μs FroidurePin> 115: relations . . . 8767μs FroidurePin> 116: relations [copy_closure, duplicat [...] . . . 11ms FroidurePin> 117: relations [copy_add_generators, d [...] . . . 11ms FroidurePin> 118: relations [from copy, not enumerated] . . . 7463μs FroidurePin> 119: relations [from copy, partly enum [...] . . . 13ms FroidurePin> 120: relations [from copy, fully enumerated] . . . 13ms FroidurePin> 121: relations [from copy_closure, not [...] . . . 12ms FroidurePin> 122: relations [from copy_add_generato [...] . . . 7446μs FroidurePin> 123: relations [from copy_closure, par [...] . . . 11ms FroidurePin> 124: relations [from copy_add_generato [...] . . . 9301μs FroidurePin> 125: relations [from copy_closure, ful [...] . . . 13ms FroidurePin> 126: relations [from copy_add_generato [...] . . . 12ms FroidurePin> 127: add_generators [duplicate generators] . . . 349μs FroidurePin> 128: add_generators [incremental 1] . . . 380μs FroidurePin> 129: add_generators [incremental 2] . . . 447μs FroidurePin> 130: closure [duplicate generators] . . . 214μs FroidurePin> 131: closure . . . 98μs FroidurePin> 132: factorisation . . . 25μs FroidurePin> 134: minimal_factorisation . . . 46μs FroidurePin> 135: batch_size (for an extremely larg [...] . . . 24μs FroidurePin> 137: exception: generators of differen [...] . . . 30μs FroidurePin> 138: exception: current_position . . . 46μs FroidurePin> 139: exception: word_to_element . . . 46μs FroidurePin> 140: exception: gens, current_position . . . 800μs FroidurePin> 141: exception: add_generators . . . 34μs KBE 000: constructors . . . 58μs KBE 001: test . . . 71μs KBE 002: factorisation . . . 50μs KBE 003: swap . . . 33μs KBE 004: adapters . . . 33μs KBE 005: conversions . . . 31μs Kambites 000: (fpsemi) MT test 4 (std::string) . . . 6608μs Kambites 001: (fpsemi) MT test 4 (MultiStringView) . . . 7741μs Kambites 002: (fpsemi) number_of_pieces (std::string) . . . 120μs Kambites 003: (fpsemi) number_of_pieces (MultiStringView) . . . 115μs Kambites 004: (fpsemi) small_overlap_class (std::string) . . . 3841μs Kambites 005: (fpsemi) small_overlap_class (MultiStringView) . . . 3739μs Kambites 006: (fpsemi) random (std::string) . . . 11ms Kambites 007: (fpsemi) random (MultiStringView) . . . 12ms Kambites 008: (fpsemi) KnuthBendix 055 (std::string) . . . 16ms Kambites 009: (fpsemi) KnuthBendix 055 (MultiStringView) . . . 19ms Kambites 010: (fpsemi) smalloverlap/gap/test.gi:85 (std::string) . . . 98μs Kambites 011: (fpsemi) smalloverlap/gap/test.gi:85 (MultiStr [...] . . . 81μs Kambites 012: (fpsemi) free semigroup . . . 12μs Kambites 013: (fpsemi) smalloverlap/gap/test.gi:49 (std::string) . . . 35ms Kambites 014: (fpsemi) smalloverlap/gap/test.gi:49 (MultiStr [...] . . . 50ms Kambites 015: (fpsemi) smalloverlap/gap/test.gi:63 (std::string) . . . 39ms Kambites 016: (fpsemi) smalloverlap/gap/test.gi:63 (MultiStr [...] . . . 56ms Kambites 017: (fpsemi) smalloverlap/gap/test.gi:70 (std::string) . . . 140ms Kambites 018: (fpsemi) smalloverlap/gap/test.gi:70 (MultiStr [...] . . . 210ms Kambites 021: (fpsemi) code coverage (std::string) . . . 69μs Kambites 022: (fpsemi) code coverage (MultiStringView) . . . 46μs Kambites 023: (fpsemi) prefix (std::string) . . . 76μs Kambites 024: (fpsemi) prefix (MultiStringView) . . . 112μs Kambites 025: (fpsemi) normal_form (Example 3.15) (std::string) . . . 77μs Kambites 026: (fpsemi) normal_form (Example 3.15) (MultiStri [...] . . . 112μs Kambites 027: (fpsemi) normal_form (Example 3.16) (std::string) . . . 58μs Kambites 028: (fpsemi) normal_form (Example 3.16) (MultiStri [...] . . . 82μs Kambites 029: (fpsemi) normal_form (Example 3.16) more exhau [...] . . . 96ms Kambites 030: (fpsemi) normal_form (Example 3.16) more exhau [...] . . . 100ms Kambites 031: (fpsemi) small presentation (std::string) . . . 96μs Kambites 032: (fpsemi) small presentation (MultiStringView) . . . 53μs Kambites 033: (fpsemi) non-smalloverlap (std::string) . . . 87μs Kambites 034: (fpsemi) non-smalloverlap (MultiStringView) . . . 73μs Kambites 035: (fpsemi) MT test 3 (std::string) . . . 55μs Kambites 036: (fpsemi) MT test 3 (MultiStringView) . . . 55μs Kambites 037: (fpsemi) MT test 5 (std::string) . . . 31μs Kambites 038: (fpsemi) MT test 5 (MultiStringView) . . . 31μs Kambites 039: (fpsemi) MT test 6 (std::string) . . . 43μs Kambites 040: (fpsemi) MT test 6 (MultiStringView) . . . 57μs Kambites 041: (fpsemi) MT test 10 (std::string) . . . 41μs Kambites 042: (fpsemi) MT test 10 (MultiStringView) . . . 58μs Kambites 043: (fpsemi) MT test 13 (std::string) . . . 31μs Kambites 044: (fpsemi) MT test 13 (MultiStringView) . . . 33μs Kambites 045: (fpsemi) MT test 14 (std::string) . . . 29μs Kambites 046: (fpsemi) MT test 14 (MultiStringView) . . . 31μs Kambites 047: (fpsemi) MT test 15 (std::string) . . . 58μs Kambites 048: (fpsemi) MT test 15 (MultiStringView) . . . 57μs Kambites 049: (fpsemi) MT test 16 (std::string) . . . 55μs Kambites 050: (fpsemi) MT test 16 (MultiStringView) . . . 62μs Kambites 051: (fpsemi) MT test 17 (std::string) . . . 124μs Kambites 052: (fpsemi) MT test 17 (MultiStringView) . . . 115μs Kambites 053: (fpsemi) weak C(4) not strong x 1 (std::string) . . . 617μs Kambites 054: (fpsemi) weak C(4) not strong x 1 (MultiStringView) . . . 858μs Kambites 055: (fpsemi) weak C(4) not strong x 2 (std::string) . . . 613μs Kambites 056: (fpsemi) weak C(4) not strong x 2 (MultiStringView) . . . 885μs Kambites 057: (fpsemi) weak C(4) not strong x 3 (std::string) . . . 609μs Kambites 058: (fpsemi) weak C(4) not strong x 3 (MultiStringView) . . . 617μs Kambites 059: (fpsemi) weak C(4) not strong x 4 (std::string) . . . 78μs Kambites 060: (fpsemi) weak C(4) not strong x 4 (MultiStringView) . . . 106μs Kambites 061: (fpsemi) weak C(4) not strong x 5 (std::string) . . . 30μs Kambites 062: (fpsemi) weak C(4) not strong x 5 (MultiStringView) . . . 25μs Kambites 063: (fpsemi) weak C(4) not strong x 6 (std::string) . . . 53μs Kambites 064: (fpsemi) weak C(4) not strong x 6 (MultiStringView) . . . 57μs Kambites 065: (fpsemi) Konovalov example (std::string) . . . 38μs Kambites 066: (fpsemi) Konovalov example (MultiStringView) . . . 34μs Kambites 067: (fpsemi) long words (std::string) . . . 788ms Kambites 068: (fpsemi) long words (MultiStringView) . . . 56ms Kambites 075: (cong) example 1 . . . 50μs Kambites 076: (cong) example 2 . . . 135μs Kambites 077: (cong) code coverage . . . 7160μs Kambites 078: (cong) large number of rules . . . 244ms KnuthBendix 000: (fpsemi) confluent fp semigroup 1 (infinite) . . . 136μs KnuthBendix 001: (fpsemi) confluent fp semigroup 2 (infinite) . . . 120μs KnuthBendix 002: (fpsemi) confluent fp semigroup 3 (infinite) . . . 98μs KnuthBendix 003: (fpsemi) non-confluent fp semigroup from wi [...] . . . 153μs KnuthBendix 004: (fpsemi) Example 5.1 in Sims (infinite) . . . 127μs KnuthBendix 005: (fpsemi) Example 5.1 in Sims (infinite) . . . 121μs KnuthBendix 006: (fpsemi) Example 5.3 in Sims . . . 112μs KnuthBendix 007: (fpsemi) Example 5.4 in Sims . . . 121μs KnuthBendix 008: (fpsemi) Example 6.4 in Sims (size 168) . . . 8737μs KnuthBendix 009: (fpsemi) . . . 51ms KnuthBendix 010: (fpsemi) SL(2, 7) from Chapter 3, Propositi [...] . . . 83ms KnuthBendix 011: (fpsemi) F(2, 5) - Chapter 9, Section 1 in [...] . . . 442μs KnuthBendix 012: (fpsemi) Reinis example 1 . . . 181μs KnuthBendix 013: redundant_rule (std::string) . . . 100ms KnuthBendix 014: redundant_rule (word_type) . . . 10ms KnuthBendix 019: (fpsemi) C(4) monoid . . . 33μs KnuthBendix 020: (cong) Chinese monoid . . . 134μs KnuthBendix 021: (from kbmag/standalone/kb_data/f25monoid) . . . 524μs KnuthBendix 022: (from kbmag/standalone/kb_data/degen4a) . . . 55ms KnuthBendix 023: (from kbmag/standalone/kb_data/torus) . . . 2655μs KnuthBendix 024: (from kbmag/standalone/kb_data/3a6) . . . 255ms KnuthBendix 025: (from kbmag/standalone/kb_data/f2) . . . 68μs KnuthBendix 026: (from kbmag/standalone/kb_data/s16) . . . 68ms KnuthBendix 027: (from kbmag/standalone/kb_data/a4monoid) . . . 60μs KnuthBendix 028: (from kbmag/standalone/kb_data/degen3) . . . 23μs KnuthBendix 029: (from kbmag/standalone/kb_data/ab1) . . . 36μs KnuthBendix 030: (from kbmag/standalone/kb_data/degen2) . . . 16μs KnuthBendix 031: (from kbmag/standalone/kb_data/f25) . . . 451μs KnuthBendix 032: (from kbmag/standalone/kb_data/237) . . . 592μs KnuthBendix 033: (from kbmag/standalone/kb_data/c2) . . . 19μs KnuthBendix 034: (from kbmag/standalone/kb_data/cosets) . . . 216μs KnuthBendix 035: Example 5.1 in Sims (KnuthBendix 09 again) . . . 50μs KnuthBendix 036: (from kbmag/standalone/kb_data/nilp2) . . . 43μs KnuthBendix 037: Example 6.4 in Sims . . . 13ms KnuthBendix 038: KnuthBendix 071 again . . . 650μs KnuthBendix 039: Example 5.4 in Sims (KnuthBendix 11 again) [...] . . . 189μs KnuthBendix 040: Example 5.4 in Sims (KnuthBendix 11 again) [...] . . . 128μs KnuthBendix 041: operator<< . . . 43μs KnuthBendix 042: confluence_interval . . . 15μs KnuthBendix 043: max_overlap . . . 15μs KnuthBendix 044: (fpsemi) (from kbmag/standalone/kb_data/d22 [...] . . . 1265μs KnuthBendix 045: (fpsemi) (from kbmag/standalone/kb_data/d22 [...] . . . 2443μs KnuthBendix 046: (fpsemi) small example . . . 752μs KnuthBendix 047: code coverage . . . 67μs KnuthBendix 048: small overlap 1 . . . 50μs KnuthBendix 049: (from kbmag/standalone/kb_data/s9) . . . 1534μs KnuthBendix 050: (fpsemi) Chapter 11, Lemma 1.8 (q = 6, r = [...] . . . 666μs KnuthBendix 051: (fpsemi) Chapter 11, Section 2 (q = 6, r = [...] . . . 128μs KnuthBendix 052: (fpsemi) Chapter 8, Theorem 4.2 in NR (infinite) . . . 224μs KnuthBendix 053: (fpsemi) equal_to fp semigroup . . . 62μs KnuthBendix 054: (fpsemi) equal_to free semigroup . . . 58μs KnuthBendix 055: (fpsemi) from GAP smalloverlap gap/test.gi [...] . . . 369μs KnuthBendix 056: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 577μs KnuthBendix 057: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 569μs KnuthBendix 058: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 1632μs KnuthBendix 059: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 3939μs KnuthBendix 060: (fpsemi) from GAP smalloverlap gap/test.gi: [...] . . . 33μs KnuthBendix 061: (fpsemi) Von Dyck (2,3,7) group (infinite) . . . 532μs KnuthBendix 062: (fpsemi) Von Dyck (2,3,7) group - different [...] . . . 4699μs KnuthBendix 063: (fpsemi) rewriting system from KnuthBendixC [...] . . . 395μs KnuthBendix 064: (fpsemi) rewriting system from Congruence 20 . . . 31μs KnuthBendix 065: (fpsemi) (from kbmag/standalone/kb_data/ab2) . . . 95μs KnuthBendix 066: (fpsemi) (from kbmag/standalone/kb_data/d22 [...] . . . 1350μs KnuthBendix 067: (fpsemi) (from kbmag/standalone/kb_data/degen1) . . . 45μs KnuthBendix 068: (fpsemi) (from kbmag/standalone/kb_data/s4) . . . 324μs KnuthBendix 069: (fpsemi) fp semigroup (infinite) . . . 67μs KnuthBendix 070: (fpsemi) Chapter 11, Section 1 (q = 4, r = [...] . . . 1825μs KnuthBendix 071: (fpsemi) Chapter 11, Section 1 (q = 8, r = [...] . . . 107ms KnuthBendix 072: (fpsemi) Chapter 7, Theorem 3.9 in NR (size 240) . . . 3493μs KnuthBendix 073: (fpsemi) F(2, 5) - Chapter 9, Section 1 in [...] . . . 462μs KnuthBendix 074: (fpsemi) F(2, 6) - Chapter 9, Section 1 in NR . . . 447μs KnuthBendix 075: (fpsemi) Chapter 10, Section 4 in NR (infinite) . . . 840μs KnuthBendix 076: (fpsemi) Sym(5) from Chapter 3, Proposition [...] . . . 2955μs KnuthBendix 077: (fpsemi) SL(2, 7) from Chapter 3, Propositi [...] . . . 80ms KnuthBendix 078: (fpsemi) bicyclic monoid (infinite) . . . 51μs KnuthBendix 079: (fpsemi) plactic monoid of degree 2 (infinite) . . . 72μs KnuthBendix 080: (fpsemi) example before Chapter 7, Proposit [...] . . . 46μs KnuthBendix 081: (fpsemi) Chapter 7, Theorem 3.6 in NR (size 243) . . . 1172μs KnuthBendix 082: (fpsemi) finite semigroup (size 99) . . . 253μs KnuthBendix 096: Sorouhesh . . . 395μs KnuthBendix 097: (fpsemi) transformation semigroup (size 4) . . . 63μs KnuthBendix 098: (fpsemi) transformation semigroup (size 9) . . . 58μs KnuthBendix 099: (fpsemi) transformation semigroup (size 88) . . . 774μs KnuthBendix 100: internal_string_to_word . . . 41μs KnuthBendix 101: (fpsemi) construct from shared_ptr . . . 757μs KnuthBendix 102: internal_string_to_word . . . 766μs KnuthBendix 103: (cong) free semigroup congruence (5 classes) . . . 83μs KnuthBendix 104: free semigroup congruence (6 classes) . . . 262μs KnuthBendix 105: (cong) free semigroup congruence (16 classes) . . . 322μs KnuthBendix 106: (cong) free semigroup congruence (6 classes) . . . 447μs KnuthBendix 107: (cong) free semigroup congruence (240 classes) . . . 3438μs KnuthBendix 108: (cong) free semigroup congruence (240 classes) . . . 3364μs KnuthBendix 109: (cong) less . . . 4105μs KnuthBendix 110: (cong) less . . . 187ms KnuthBendix 111: (cong) constructors . . . 270ms KnuthBendix 112: (cong) const_contains/contains . . . 185μs KnuthBendix 113: (cong) is_quotient_obviously_finite . . . 21μs KnuthBendix 114: (cong) class_index_to_word . . . 203μs KnuthBendix 115: (cong) quotient_froidure_pin . . . 147μs KnuthBendix 116: (cong) set_number_of_generators . . . 27μs KnuthBendix 117: (cong) number of classes when obv-inf . . . 60μs KnuthBendixCongruenceByPairs 016: non-trivial congruence on [...] . . . 197μs KnuthBendixCongruenceByPairs 017: non-trivial congruence on [...] . . . 185μs KnuthBendixCongruenceByPairs 018: non-trivial congruence on [...] . . . 288μs KnuthBendixCongruenceByPairs 019: non-trivial congruence on [...] . . . 293μs KnuthBendixCongruenceByPairs 020: trivial congruence on a fi [...] . . . 206μs KnuthBendixCongruenceByPairs 021: universal congruence on a [...] . . . 587μs KnuthBendixCongruenceByPairs 022: left congruence on a finit [...] . . . 288μs KnuthBendixCongruenceByPairs 023: finite group, Chapter 11, [...] . . . 4601μs KnuthBendixCongruenceByPairs 024: right congruence on infini [...] . . . 297μs KnuthBendixCongruenceByPairs 025: finite fp semigroup, dihed [...] . . . 326μs KnuthBendixCongruenceByPairs 026: finite fp semigroup, size 16 . . . 353μs KnuthBendixCongruenceByPairs 027: finite fp semigroup, size 16 . . . 1002μs KnuthBendixCongruenceByPairs 028: infinite fp semigroup with [...] . . . 72μs Konieczny 000: test000> . . . 1167μs Konieczny 001: test000> . . . 921μs Konieczny 002: test001> . . . 13ms Konieczny 003: test001> . . . 10ms Konieczny 006: exceptions . . . 46μs Konieczny 007: code coverage . . . 16ms Konieczny 008: code coverage . . . 13ms Konieczny 009: regular elements and idempotents . . . 860ms Konieczny 010: regular D-class 01 . . . 1660μs Konieczny 011: regular D-class 02 . . . 27ms Konieczny 012: regular D-class 04: contains . . . 1918ms Konieczny 013: non-regular D-classes 01 . . . 1691μs Konieczny 014: RegularDClass . . . 1012μs Konieczny 015: full bmat monoid 4 . . . 265ms Konieczny 017: regular generated bmat monoid 4 idempotents . . . 264ms Konieczny 019: my favourite example . . . 150ms Konieczny 020: another large example . . . 27ms Konieczny 021: my favourite example transposed . . . 209ms Konieczny 024: exceptions . . . 1742μs Konieczny 025: 0-parameter constructor . . . 32ms Konieczny 026: non-regular D-classes 02 . . . 26ms Konieczny 028: partial perm . . . 168ms Konieczny 029: symmetric inverse monoid n = 8 . . . 30ms Konieczny 030: exceptions . . . 211ms Konieczny 031: transformations . . . 989μs Konieczny 032: transformations - JDM favourite example . . . 123ms Konieczny 033: transformations - large example . . . 289ms Konieczny 034: transformations - large example with stop . . . 289ms Konieczny 035: transformations - large example with run_until . . . 288ms Konieczny 036: transformations - large example with stop in Action . . . 289ms Konieczny 037: exceptions . . . 50μs Konieczny 038: transformations: contains . . . 619μs Konieczny 040: transformations - destructor coverage . . . 244ms Konieczny 041: current_number_D_classes . . . 245ms Konieczny 042: add_generator . . . 36μs Konieczny 043: add_generator . . . 25μs Matrix 000: BMat<2> . . . 93μs Matrix 001: BMat<> . . . 81μs Matrix 002: BMat<3> + BMat<> . . . 12μs Matrix 003: BMat<2> + BMat<> . . . 12μs Matrix 004: BMat<3> . . . 12μs Matrix 005: BMat<> . . . 13μs Matrix 006: BMat<3> row_basis . . . 51μs Matrix 007: BMat<> row_basis . . . 45μs Matrix 008: IntMat<3> . . . 23μs Matrix 009: IntMat<> . . . 18μs Matrix 010: IntMat code cov . . . 10μs Matrix 011: MaxPlusMat<3> . . . 13μs Matrix 012: MaxPlusMat<> . . . 15μs Matrix 013: MaxPlusMat code cov . . . 9000ns Matrix 014: MinPlusMat<3> . . . 18μs Matrix 015: MinPlusMat<> . . . 19μs Matrix 016: MinPlusMat code cov . . . 9000ns Matrix 017: MaxPlusTruncMat<5, 2> . . . 16μs Matrix 018: MaxPlusTruncMat<5> . . . 19μs Matrix 019: MaxPlusTruncMat<> . . . 31μs Matrix 020: MaxPlusTruncMat<5, 4> . . . 19μs Matrix 021: MaxPlusTruncMat<5> . . . 19μs Matrix 022: MaxPlusTruncMat<> . . . 19μs Matrix 023: MaxPlusTruncMat<33, 3> . . . 38μs Matrix 024: MaxPlusTruncMat<33> . . . 31μs Matrix 025: MaxPlusTruncMat<> . . . 31μs Matrix 026: MaxPlusMat code cov . . . 10μs Matrix 027: MinPlusTruncMat<33, 3> . . . 33μs Matrix 028: MinPlusTruncMat<33> . . . 33μs Matrix 029: MinPlusTruncMat<> . . . 43μs Matrix 030: NTPMat<0, 3, 3, 3> . . . 15μs Matrix 031: NTPMat<0, 3> . . . 16μs Matrix 032: NTPMat<> . . . 33μs Matrix 033: NTPMat<0, 10, 4, 4> . . . 25μs Matrix 034: NTPMat<0, 10> . . . 20μs Matrix 035: NTPMat<> . . . 19μs Matrix 036: NTPMat<0, 10, 4, 4> . . . 20μs Matrix 037: NTPMat<0, 10> . . . 20μs Matrix 038: NTPMat<> . . . 19μs Matrix 039: NTPMat<33, 2, 3, 3> . . . 16μs Matrix 040: NTPMat<33, 2> . . . 15μs Matrix 041: NTPMat<> . . . 13μs Matrix 042: ProjMaxPlusMat<3> . . . 91μs Matrix 043: ProjMaxPlusMat<> . . . 68μs Matrix 044: exceptions . . . 33μs Matrix 045: code coverage . . . 41μs MultiStringView 000: catch all . . . 46μs MultiStringView 001: is_prefix . . . 15μs MultiStringView 002: erase . . . 15μs MultiStringView 003: iterators . . . 12μs MultiStringView 004: constructors (long) . . . 20μs MultiStringView 005: constructors (short) . . . 15μs MultiStringView 006: copy assignment (short assigned to long) . . . 12μs MultiStringView 007: copy assignment (short assigned to short) . . . 12μs MultiStringView 008: move assignment (short assigned to long) . . . 12μs MultiStringView 009: move assignment (short assigned to short) . . . 12μs MultiStringView 010: code coverage . . . 20μs MultiStringView 011: pop_front . . . 43μs MultiStringView 012: append . . . 15μs MultiStringView 013: operators . . . 16μs MultiStringView 014: maximum_common_suffix . . . 13μs MultiStringView 015: deep tests . . . 10μs ObviouslyInfinite 011: Multiple rule additions . . . 41μs ObviouslyInfinite 012: A power of the generator 'b' does not [...] . . . 12μs ObviouslyInfinite 013: Preserves the number of occurrences o [...] . . . 12μs ObviouslyInfinite 014: Less relations than generators . . . 12μs ObviouslyInfinite 015: Relations preserve length . . . 12μs ObviouslyInfinite 016: Matrix has non empty kernel . . . 13μs ObviouslyInfinite 017: Free product of trivial semigroups . . . 12μs ObviouslyInfinite 018: Another free product . . . 13μs ObviouslyInfinite 019: Infinite but not obviously so . . . 12μs ObviouslyInfinite 020: Finite semigroup . . . 15μs PBR 001: universal product with convenience constructor . . . 48μs PBR 002: universal product . . . 19μs PBR 003: product [bigger than previous] . . . 29μs PBR 004: hash . . . 10μs PBR 005: delete/copy . . . 19μs PBR 006: exceptions . . . 148μs PBR 007: operators . . . 67μs PBR 008: to_string . . . 20μs PBR 009: identity . . . 45μs PBR 010: adapters . . . 10μs Pool 000: initial . . . 25μs Pool 001: bmat . . . 25μs Pool 002: PoolGuard . . . 21μs Pool 003: transformation products . . . 13μs Presentation 000: vectors of ints . . . 81μs Presentation 001: strings . . . 83μs Presentation 002: constructors (word_type) . . . 23μs Presentation 003: constructors (StaticVector1) . . . 36μs Presentation 004: constructors (std::string) . . . 23μs Presentation 005: alphabet + letters (word_type) . . . 135μs Presentation 006: alphabet + letters (std::string) . . . 41μs Presentation 007: contains_empty_word . . . 12μs Presentation 008: validate_rules throws . . . 51μs Presentation 009: helpers add_rule(s) . . . 92μs Presentation 010: helpers add_rule(s) (std::string) . . . 34μs Presentation 011: helpers add_identity_rules (std::vector/St [...] . . . 43μs Presentation 012: helpers add_identity_rules (std::string) . . . 26μs Presentation 013: helpers add_inverse_rules (all) . . . 203μs Presentation 014: helpers add_inverse_rules (std::string) . . . 45μs Presentation 015: helpers remove_duplicate_rules . . . 64μs Presentation 016: helpers reduce_complements . . . 123μs Presentation 017: helpers sort_each_rule . . . 64μs Presentation 018: helpers sort_rules . . . 67μs Presentation 019: helpers longest_common_subword/replace_subword . . . 277μs Presentation 020: helpers redundant_rule . . . 7137μs Presentation 021: helpers shortlex_compare_concat . . . 12μs Presentation 022: helpers remove_trivial_rules . . . 69μs Presentation 023: helpers replace_subword (existing, replacement) . . . 96μs Presentation 024: helpers longest_rule . . . 117μs Presentation 025: helpers longest_rule_length . . . 105μs Presentation 026: helpers remove_redundant_generators . . . 145μs Presentation 027: helpers reverse . . . 21μs Presentation 028: in_alphabet . . . 26μs Presentation 029: replace_subword with empty word . . . 23μs Presentation 030: helpers replace_word . . . 38μs Presentation 031: clear . . . 12μs Presentation 032: letter . . . 36μs Presentation 033: normalize_alphabet . . . 15μs Presentation 034: longest_common_subword issue . . . 324μs Presentation 035: helpers add_zero_rules (std::vector/Static [...] . . . 46μs Presentation 036: helpers add_zero_rules (std::string) . . . 26μs Presentation 037: make_semigroup . . . 53μs Presentation 038: greedy_reduce_length . . . 189μs Presentation 039: aaaaaaaab = aaaaaaaaab strong compression . . . 66μs Presentation 040: change_alphabet . . . 97μs Presentation 041: sort_rules bug . . . 239μs Presentation 042: first_unused_letter/letter . . . 191μs Presentation 043: case where strong compression doesn't work . . . 33μs Presentation 044: proof that . . . 43μs Presentation 045: decompression . . . 20μs Race 001: run_for . . . 10ms Race 002: run_until . . . 10ms Race 003: exceptions . . . 10ms Race 004: iterators . . . 12μs Race 005: find_runner . . . 12μ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 . . . 1012μs Runner 002: run_for . . . 192ms Runner 003: run_for . . . 25ms Runner 004: started . . . 1031μs Runner 005: run_until . . . 9237μs Runner 006: kill . . . 27μs Runner 007: copy constructor . . . 10ms Runner 008: report . . . 20ms Runner 009: run_until with function pointer . . . 27μs SchreierSims 001: trivial perm. group (degree 1) . . . 58μs SchreierSims 002: trivial perm. group (degree 2) . . . 29μs SchreierSims 003: trivial perm. group (degree 500) . . . 273μs SchreierSims 004: symmetric perm. group (degree 5) . . . 48μs SchreierSims 005: symmetric perm. group (degree 8) . . . 80μs SchreierSims 006: symmetric perm. group (degree 9) . . . 106μs SchreierSims 007: alternating perm. group (degree 12) . . . 168μs SchreierSims 008: symmetric perm. group (degree 16) . . . 1412μs SchreierSims 009: alternating perm. group (degree 15) . . . 770μs SchreierSims 010: alternating perm. group (degree 16) . . . 1590μs SchreierSims 011: dihedral perm. group (order 10) . . . 33μs SchreierSims 012: dihedral perm. group (order 200) . . . 1995μs SchreierSims 013: perm. group T (order 12) . . . 36μs SchreierSims 014: quaternion perm. group (order 8) . . . 40μs SchreierSims 015: perm. group (order 84129611558952960) . . . 292ms SchreierSims 016: perm. group SL(3, 5) (order 372000) . . . 1526μs SchreierSims 017: perm. group PSL(4, 8) (order 34558531338240) . . . 123ms SchreierSims 018: perm. Mathieu group M11 (order 7920) . . . 92μs SchreierSims 019: perm. Mathieu group M24 (order 244823040) . . . 284μs SchreierSims 020: perm. Janko Group J1 (order 175560) . . . 3082μs SchreierSims 021: perm. Hall-Janko group (order 604800) . . . 500μs SchreierSims 022: perm. Hall-Janko group (alt.) (order 604800) . . . 28ms SchreierSims 023: perm. Conway group Co3 (order 495766656000) . . . 8727μs SchreierSims 024: perm. Conway group Co3 (alt.) (order 49576 [...] . . . 19ms SchreierSims 025: perm. Suzuki group (order 448345497600) . . . 79ms SchreierSims 027: perm. Held group (order 4030387200) . . . 136ms 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) . . . 31μs SchreierSims 030: perm. group (S5 x S5) : C2 (order 28800) . . . 67μs SchreierSims 031: perm. group C3 x D8 x A5 (order 1440) . . . 64μs SchreierSims 032: perm. group GL(4, 3) (order 24261120) . . . 755μs SchreierSims 033: perm. group PSL(3, 7) (order 1876896) . . . 672μs SchreierSims 037: symmetric perm. group (degree 5) . . . 29μs SchreierSims 038: alternating perm. group (degree 17) . . . 3857μs SchreierSims 039: exceptions . . . 100μs SchreierSims 040: exceptions . . . 53μs SchreierSims 041: trivial group . . . 38μs SchreierSims 042: A17 bug . . . 3272μs SchreierSims 043: orbits_lookup test . . . 561μs SchreierSims 044: transversal_element and inversal_element test . . . 1654μs SchreierSimsHelper 001: trivial perm. group intersection (de [...] . . . 25μs SchreierSimsHelper 002: trivial perm. group intersection (de [...] . . . 20μs SchreierSimsHelper 003: cyclic group intersection (degree 13) . . . 30μs SchreierSimsHelper 004: D10 and Z5 intersection . . . 29μs SchreierSimsHelper 005: D8 and Q8 intersection . . . 26μs SchreierSimsHelper 006: primitive on 8 points intersection . . . 67μs SchreierSimsHelper 007: primitive on 8 points intersection ( [...] . . . 62μs SchreierSimsHelper 008: A13 and PGL(2, 11) intersection . . . 540μs SchreierSimsHelper 009: A13 and PGL(2, 11) intersection (swa [...] . . . 524μs SchreierSimsHelper 012: 3^3:13 and 3^3.2.A(4) intersection . . . 186μs SchreierSimsHelper 015: 3^3(S(4) x 2) and ASL(3, 3) intersection . . . 331μs SchreierSimsHelper 016: 7^2:3 x Q(8) and 7^2:D(2*6) intersection . . . 429μs SchreierSimsHelper 018: D(2*53) and 53:13 intersection . . . 253μs SchreierSimsHelper 019: 2^6:(7 x D_14) and PSL(2, 6)^2.4 int [...] . . . 1884μs SchreierSimsHelper 020: 2^6:(S_3 x GL(3, 2)) and 2.6:Alt(7) [...] . . . 5913μs SchreierSimsHelper 022: PSL(2, 127) and AGL(1, 2^7) intersection . . . 10ms SchreierSimsHelper 023: PSL(3, 4).2 and PSL(3, 4).2 (nontriv [...] . . . 1978μs SchreierSimsHelper 024: PSL(3, 4).Sym(3) and PSL(3, 4).2 int [...] . . . 2253μs SchreierSimsHelper 025: 3^4:5:4 and D_16:4 intersection . . . 1237μs Sims1 000: fp example 1 . . . 1044μs Sims1 001: fp example 2 . . . 1737μs Sims1 002: ToddCoxeter failing example . . . 15ms Sims1 003: ToddCoxeter failing example . . . 708μs Sims1 004: partition_monoid(2) right . . . 5897μs Sims1 006: full_transformation_monoid(3) right . . . 7596μs Sims1 007: full_transformation_monoid(3) left . . . 4690μs Sims1 009: rook_monoid(2, 1) . . . 100μs Sims1 010: symmetric_inverse_monoid(2) from FroidurePin . . . 106μs Sims1 011: symmetric_inverse_monoid(3) . . . 10ms Sims1 014: temperley_lieb_monoid(3) from presentation . . . 77μs Sims1 015: temperley_lieb_monoid(4) from presentation . . . 795μs Sims1 016: fp semigroup containing given pairs #1 . . . 279μs Sims1 017: fp semigroup containing given pairs #2 . . . 282μs Sims1 018: fp semigroup containing given pairs #3 . . . 462μs Sims1 019: ToddCoxeter failing example . . . 946μs Sims1 020: fp example 2 . . . 2095μs Sims1 021: exceptions . . . 239μs Sims1 027: from https://mathoverflow.net/questions/423541/ . . . 29ms Sims1 028: from https://mathoverflow.net/questions/423541/ . . . 21ms Sims1 030: presentation with one free generator . . . 222μs Sims1 031: presentation with non-zero index generators . . . 60μs Sims1 032: presentation with empty word . . . 8035μs Sims1 033: constructors . . . 1087μs Sims1 034: split_at . . . 215μs Sims1 035: stats . . . 82μs Sims1 036: check iterator requirements . . . 132μs Sims1 040: TransitiveGroup(10, 32) - minimal rep . . . 3276μs Sims1 043: rectangular_band(2, 2) - with and without identity . . . 194μs Sims1 044: trivial group - minimal o.r.c. rep . . . 112μs Sims1 045: right zero semigroup - minimal o.r.c. rep . . . 1936μs Sims1 046: semigroup with faithful non-strictly cyclic actio [...] . . . 746μs Sims1 068: RepOrc . . . 35ms Sims1 069: fp example 1 . . . 453μ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 1212μs (221ns 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 . . . 1293μs Sims1 072: symmetric_group(n) for n = 4 . . . 1544μs Sims1 073: corner case no generators + no relations . . . 78μs Sims1 076: uninitialized RepOrc . . . 25μs SmallestInteger 001: . . . 10μs StaticTriVector2 045: all . . . 19μs StaticVector2 043: all . . . 16μs Stephen 000: basic test 1 . . . 228μs Stephen 001: basic test 2 . . . 139μs Stephen 002: full transf monoid . . . 12ms Stephen 003: from step_hen 002 . . . 55μs Stephen 004: from step_hen 003 . . . 164μs Stephen 005: from step_hen 004 . . . 41μs Stephen 006: from step_hen 005 . . . 102μ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 [...] . . . 91μs Stephen 010: code coverage . . . 286μs Stephen 011: C(4) monoid normal form (test_case_gap_smallove [...] . . . 259μs Stephen 012: C(4) monoid normal form (test_case_gap_smallove [...] . . . 189μs Stephen 013: C(4) monoid equal to (test_case_gap_smalloverlap_70) . . . 77μs Stephen 014: C(4) monoid normal form (test_case_ex_3_13_14) . . . 369μs Stephen 015: C(4) monoid normal form (test_case_ex_3_15) . . . 357μs Stephen 016: C(4) monoid normal form (test_case_ex_3_16) . . . 293μ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) . . . 101μs Stephen 019: C(4) monoid normal form (test_case_mt_6) . . . 264μs Stephen 020: C(4) monoid normal form (test_case_mt_10) . . . 103μs Stephen 021: C(4) monoid normal form (test_case_mt_13) . . . 105μs Stephen 022: C(4) monoid normal form (test_case_mt_14) . . . 102μs Stephen 023: C(4) monoid normal form (test_case_mt_15) . . . 109μs Stephen 024: C(4) monoid normal form (test_case_mt_16) . . . 119μs Stephen 025: C(4) monoid normal form (test_case_mt_17) . . . 268μs Stephen 026: C(4) monoid normal form (test_case_weak_1) . . . 225μs Stephen 027: C(4) monoid normal form (test_case_weak_2) . . . 171μs Stephen 028: C(4) monoid normal form (test_case_weak_3) . . . 203μs Stephen 029: C(4) monoid normal form (test_case_weak_4) . . . 202μs Stephen 030: C(4) monoid normal form (test_case_weak_5) . . . 142μs Stephen 031: Test behaviour when uninitialised . . . 175μs Suf 005: unite . . . 21μs Suf 007: compress . . . 12μs Suf 011: big chain . . . 20ms Suf 013: empty table . . . 10μs Suf 015: join . . . 12μs Suf 017: contains . . . 27μs Suf 019: swap . . . 30μs Timer 001: string method (1 argument) . . . 31μs Timer 002: string method (0 arguments) . . . 10ms Timer 003: reset/elapsed method . . . 20ms Timer 004: operator<< . . . 10μs ToddCoxeter 000: small 2-sided congruence . . .  -- with HLT + no standardise + full lookahead + no save 1402μs  -- with HLT + standardise + full lookahead + no save 1543μs  -- with HLT + no standardise + partial lookahead + no save 1438μs  -- with HLT + standardise + partial lookahead + no save 1213μs  -- with HLT + no standardise + full lookahead + save 1203μs  -- with HLT + standardise + full lookahead + save 1188μs  -- with HLT + no standardise + partial lookahead + save 1239μs  -- with HLT + standardise + partial lookahead + save 1231μs  -- with Felsch + no standardisation 1198μs  -- with Felsch + standardisation 1266μs  -- with random strategy 1270μs  -- with Rc style + full lookahead 1237μs  -- with Rc style + partial lookahead 1190μs  -- with R/C style 1224μs  -- with CR style 1286μs  -- with Cr style 1211μs ToddCoxeter 001: small 2-sided congruence . . .  -- with HLT + no standardise + full lookahead + no save 6010μs  -- with HLT + standardise + full lookahead + no save 5976μs  -- with HLT + no standardise + partial lookahead + no save 5969μs  -- with HLT + standardise + partial lookahead + no save 6236μs  -- with HLT + no standardise + full lookahead + save 5923μs  -- with HLT + standardise + full lookahead + save 5860μs  -- with HLT + no standardise + partial lookahead + save 6250μs  -- with HLT + standardise + partial lookahead + save 5883μs  -- with Felsch + no standardisation 5866μs  -- with Felsch + standardisation 5839μs  -- with random strategy 5851μs  -- with Rc style + full lookahead 5775μs  -- with Rc style + partial lookahead 5781μs  -- with R/C style 5714μs  -- with CR style 5771μs  -- with Cr style 5800μs ToddCoxeter 003: constructed from FroidurePin . . .  -- with Felsch + no standardisation 4272ms  -- with Felsch + standardisation 4262ms  -- with HLT + no standardise + full lookahead + no save 4098ms  -- with HLT + standardise + full lookahead + no save 4114ms  -- with HLT + no standardise + partial lookahead + no save 4109ms  -- with HLT + standardise + partial lookahead + no save 4116ms  -- with HLT + no standardise + full lookahead + save 4262ms  -- with HLT + standardise + full lookahead + save 4256ms  -- with HLT + no standardise + partial lookahead + save 165ms  -- with HLT + standardise + partial lookahead + save 4275ms  -- with random strategy 4253ms  -- with Rc style + full lookahead 4279ms  -- with Rc style + partial lookahead 4269ms  -- with R/C style 4133ms  -- with CR style 4293ms  -- with Cr style 4286ms ToddCoxeter 004: 2-sided congruence from FroidurePin . . .  -- with HLT + no standardise + full lookahead + no save 222μs  -- with HLT + standardise + full lookahead + no save 177μs  -- with HLT + no standardise + partial lookahead + no save 170μs  -- with HLT + standardise + partial lookahead + no save 170μs  -- with HLT + save (throws) 213μs  -- with Felsch (throws) 187μs  -- with random strategy 177μs ToddCoxeter 005: non-trivial two-sided from relations . . .  -- with HLT + no standardise + full lookahead + no save 60μs  -- with HLT + standardise + full lookahead + no save 46μs  -- with HLT + no standardise + partial lookahead + no save 45μs  -- with HLT + standardise + partial lookahead + no save 45μs  -- with HLT + no standardise + full lookahead + save 60μs  -- with HLT + standardise + full lookahead + save 55μs  -- with HLT + no standardise + partial lookahead + save 55μs  -- with HLT + standardise + partial lookahead + save 53μs  -- with Felsch + no standardisation 50μs  -- with Felsch + standardisation 53μs  -- with random strategy 53μs  -- with Rc style + full lookahead 48μs  -- with Rc style + partial lookahead 45μs  -- with R/C style 46μs  -- with CR style 50μs  -- with Cr style 48μs ToddCoxeter 006: small right cong. on free semigroup . . .  -- with HLT + no standardise + full lookahead + no save 51μ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 38μs  -- with HLT + no standardise + full lookahead + save 45μs  -- with HLT + standardise + full lookahead + save 41μs  -- with HLT + no standardise + partial lookahead + save 38μs  -- with HLT + standardise + partial lookahead + save 38μs  -- with Felsch + no standardisation 38μs  -- with Felsch + standardisation 40μs  -- with random strategy 43μs  -- with Rc style + full lookahead 36μs  -- with Rc style + partial lookahead 34μs  -- with R/C style 36μs  -- with CR style 41μs  -- with Cr style 40μ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 41μs  -- with HLT + no standardise + partial lookahead + no save 38μs  -- with HLT + standardise + partial lookahead + no save 40μs  -- with HLT + no standardise + full lookahead + save 45μs  -- with HLT + standardise + full lookahead + save 45μs  -- with HLT + no standardise + partial lookahead + save 43μs  -- with HLT + standardise + partial lookahead + save 43μs  -- with Felsch + no standardisation 43μs  -- with Felsch + standardisation 48μs  -- with random strategy 50μs  -- with Rc style + full lookahead 46μs  -- with Rc style + partial lookahead 45μs  -- with R/C style 45μs  -- with CR style 46μs  -- with Cr style 46μs ToddCoxeter 008: for small fp semigroup . . .  -- with HLT + no standardise + full lookahead + no save 43μs  -- with HLT + standardise + full lookahead + no save 34μs  -- with HLT + no standardise + partial lookahead + no save 33μs  -- with HLT + standardise + partial lookahead + no save 38μs  -- with HLT + no standardise + full lookahead + save 40μs  -- with HLT + standardise + full lookahead + save 38μs  -- with HLT + no standardise + partial lookahead + save 38μs  -- with HLT + standardise + partial lookahead + save 38μs  -- with Felsch + no standardisation 38μs  -- with Felsch + standardisation 38μs  -- with random strategy 43μs  -- with Rc style + full lookahead 38μs  -- with Rc style + partial lookahead 36μs  -- with R/C style 38μs  -- with CR style 41μs  -- with Cr style 43μs ToddCoxeter 009: 2-sided cong. trans. semigroup . . .  -- with HLT + no standardise + full lookahead + no save 242μs  -- with HLT + standardise + full lookahead + no save 222μs  -- with HLT + no standardise + partial lookahead + no save 213μs  -- with HLT + standardise + partial lookahead + no save 214μs  -- with HLT + no standardise + full lookahead + save 619μs  -- with HLT + standardise + full lookahead + save 577μs  -- with HLT + no standardise + partial lookahead + save 563μs  -- with HLT + standardise + partial lookahead + save 573μs  -- with Felsch + no standardisation 536μs  -- with Felsch + standardisation 511μs  -- with random strategy 243μs  -- with Rc style + full lookahead 225μs  -- with Rc style + partial lookahead 223μs  -- with R/C style 232μs  -- with CR style 528μs  -- with Cr style 518μs ToddCoxeter 010: left congruence on transformation semigroup . . .  -- with HLT + no standardise + full lookahead + no save 253μs  -- with HLT + standardise + full lookahead + no save 255μs  -- with HLT + no standardise + partial lookahead + no save 242μs  -- with HLT + standardise + partial lookahead + no save 253μs  -- with HLT + no standardise + full lookahead + save 635μs  -- with HLT + standardise + full lookahead + save 622μs  -- with HLT + no standardise + partial lookahead + save 604μs  -- with HLT + standardise + partial lookahead + save 610μs  -- with Felsch + no standardisation 554μs  -- with Felsch + standardisation 522μs  -- with random strategy 688μs  -- with Rc style + full lookahead 293μs  -- with Rc style + partial lookahead 286μs  -- with R/C style 299μs  -- with CR style 574μs  -- with Cr style 572μs ToddCoxeter 011: right cong. trans. semigroup . . .  -- with HLT + no standardise + full lookahead + no save 262μs  -- with HLT + standardise + full lookahead + no save 264μs  -- with HLT + no standardise + partial lookahead + no save 262μs  -- with HLT + standardise + partial lookahead + no save 262μs  -- with HLT + no standardise + full lookahead + save 613μs  -- with HLT + standardise + full lookahead + save 599μs  -- with HLT + no standardise + partial lookahead + save 586μs  -- with HLT + standardise + partial lookahead + save 591μs  -- with Felsch + no standardisation 471μs  -- with Felsch + standardisation 484μs  -- with random strategy 304μs  -- with Rc style + full lookahead 286μs  -- with Rc style + partial lookahead 306μs  -- with R/C style 313μs  -- with CR style 491μs  -- with Cr style 476μs ToddCoxeter 012: trans. semigroup (size 88) . . .  -- with HLT + no standardise + full lookahead + no save 152μs  -- with HLT + standardise + full lookahead + no save 143μs  -- with HLT + no standardise + partial lookahead + no save 136μs  -- with HLT + standardise + partial lookahead + no save 145μs  -- with HLT + save (throws) 155μs  -- with Felsch (throws) 151μs  -- with random strategy 153μs ToddCoxeter 013: left cong. on trans. semigroup (size 88) . . .  -- with HLT + no standardise + full lookahead + no save 216μs  -- with HLT + standardise + full lookahead + no save 218μs  -- with HLT + no standardise + partial lookahead + no save 204μs  -- with HLT + standardise + partial lookahead + no save 214μs  -- with HLT + no standardise + full lookahead + save 595μs  -- with HLT + standardise + full lookahead + save 582μs  -- with HLT + no standardise + partial lookahead + save 568μs  -- with HLT + standardise + partial lookahead + save 586μs  -- with Felsch + no standardisation 520μs  -- with Felsch + standardisation 492μs  -- with random strategy 261μs  -- with Rc style + full lookahead 242μs  -- with Rc style + partial lookahead 239μs  -- with R/C style 262μs  -- with CR style 541μs  -- with Cr style 537μs ToddCoxeter 014: right cong. on trans. semigroup (size 88) . . .  -- with HLT + no standardise + full lookahead + no save 228μs  -- with HLT + standardise + full lookahead + no save 228μs  -- with HLT + no standardise + partial lookahead + no save 220μs  -- with HLT + standardise + partial lookahead + no save 224μs  -- with HLT + no standardise + full lookahead + save 573μs  -- with HLT + standardise + full lookahead + save 561μs  -- with HLT + no standardise + partial lookahead + save 545μs  -- with HLT + standardise + partial lookahead + save 599μs  -- with Felsch + no standardisation 449μs  -- with Felsch + standardisation 456μs  -- with random strategy 268μs  -- with Rc style + full lookahead 250μs  -- with Rc style + partial lookahead 246μs  -- with R/C style 275μs  -- with CR style 456μs  -- with Cr style 440μs ToddCoxeter 015: finite fp-semigroup, dihedral group of order 6 . . .  -- with HLT + no standardise + full lookahead + no save 85μs  -- with HLT + standardise + full lookahead + no save 77μs  -- with HLT + no standardise + partial lookahead + no save 77μs  -- with HLT + standardise + partial lookahead + no save 74μs  -- with HLT + no standardise + full lookahead + save 97μs  -- with HLT + standardise + full lookahead + save 93μs  -- with HLT + no standardise + partial lookahead + save 91μs  -- with HLT + standardise + partial lookahead + save 96μs  -- with Felsch + no standardisation 85μs  -- with Felsch + standardisation 81μs  -- with random strategy 87μs  -- with Rc style + full lookahead 74μs  -- with Rc style + partial lookahead 72μs  -- with R/C style 72μs  -- with CR style 82μs  -- with Cr style 81μs ToddCoxeter 016: finite fp-semigroup, size 16 . . .  -- with HLT + no standardise + full lookahead + no save 83μs  -- with HLT + standardise + full lookahead + no save 77μs  -- with HLT + no standardise + partial lookahead + no save 83μs  -- with HLT + standardise + partial lookahead + no save 87μs  -- with HLT + no standardise + full lookahead + save 156μs  -- with HLT + standardise + full lookahead + save 154μs  -- with HLT + no standardise + partial lookahead + save 145μs  -- with HLT + standardise + partial lookahead + save 146μs  -- with Felsch + no standardisation 136μs  -- with Felsch + standardisation 129μs  -- with random strategy 139μs  -- with Rc style + full lookahead 80μs  -- with Rc style + partial lookahead 78μs  -- with R/C style 88μs  -- with CR style 139μs  -- with Cr style 132μs ToddCoxeter 017: finite fp-semigroup, size 16 . . .  -- with HLT + no standardise + full lookahead + no save 171μs  -- with HLT + standardise + full lookahead + no save 153μs  -- with HLT + no standardise + partial lookahead + no save 142μs  -- with HLT + standardise + partial lookahead + no save 145μs  -- with HLT + no standardise + full lookahead + save 349μs  -- with HLT + standardise + full lookahead + save 333μs  -- with HLT + no standardise + partial lookahead + save 313μs  -- with HLT + standardise + partial lookahead + save 324μs  -- with Felsch + no standardisation 291μs  -- with Felsch + standardisation 279μs  -- with random strategy 304μs  -- with Rc style + full lookahead 162μs  -- with Rc style + partial lookahead 152μs  -- with R/C style 157μs  -- with CR style 288μs  -- with Cr style 279μs ToddCoxeter 018: test lookahead . . .  -- with HLT + no standardise + full lookahead + no save 322μs  -- with HLT + standardise + full lookahead + no save 319μs  -- with HLT + no standardise + partial lookahead + no save 286μs  -- with HLT + standardise + partial lookahead + no save 297μs  -- with HLT + no standardise + full lookahead + save 534μs  -- with HLT + standardise + full lookahead + save 529μs  -- with HLT + no standardise + partial lookahead + save 524μs  -- with HLT + standardise + partial lookahead + save 520μs ToddCoxeter 019: non-trivial left cong. from semigroup . . .  -- with HLT + no standardise + full lookahead + no save 139μs  -- with HLT + standardise + full lookahead + no save 138μs  -- with HLT + no standardise + partial lookahead + no save 126μs  -- with HLT + standardise + partial lookahead + no save 132μs  -- with HLT + save (throws) 139μs  -- with Felsch (throws) 135μs  -- with random strategy 145μs ToddCoxeter 020: 2-sided cong. on free semigroup . . .  -- with HLT + no standardise + full lookahead + no save 26μs  -- with HLT + standardise + full lookahead + no save 20μs  -- with HLT + no standardise + partial lookahead + no save 20μs  -- with HLT + standardise + partial lookahead + no save 20μs  -- with HLT + no standardise + full lookahead + save 20μs  -- with HLT + standardise + full lookahead + save 20μs  -- with HLT + no standardise + partial lookahead + save 20μs  -- with HLT + standardise + partial lookahead + save 20μs  -- with Felsch + no standardisation 20μs  -- with Felsch + standardisation 21μs  -- with random strategy 20μs ToddCoxeter 021: calling run when obviously infinite . . .  -- with HLT + no standardise + full lookahead + no save 46μs  -- with HLT + standardise + full lookahead + no save 36μs  -- with HLT + no standardise + partial lookahead + no save 34μs  -- with HLT + standardise + partial lookahead + no save 33μs  -- with HLT + no standardise + full lookahead + save 33μs  -- with HLT + standardise + full lookahead + save 33μs  -- with HLT + no standardise + partial lookahead + save 33μs  -- with HLT + standardise + partial lookahead + save 33μs  -- with Felsch + no standardisation 33μs  -- with Felsch + standardisation 36μs  -- with random strategy 33μs ToddCoxeter 022: stellar_monoid S3 . . .  -- with HLT + no standardise + full lookahead + no save 129μs  -- with HLT + standardise + full lookahead + no save 121μs  -- with HLT + no standardise + partial lookahead + no save 111μs  -- with HLT + standardise + partial lookahead + no save 116μs  -- with HLT + no standardise + full lookahead + save 226μs  -- with HLT + standardise + full lookahead + save 221μs  -- with HLT + no standardise + partial lookahead + save 213μs  -- with HLT + standardise + partial lookahead + save 213μs  -- with Felsch + no standardisation 202μs  -- with Felsch + standardisation 186μs  -- with random strategy 200μs  -- with Rc style + full lookahead 124μs  -- with Rc style + partial lookahead 120μs  -- with R/C style 125μs  -- with CR style 194μs  -- with Cr style 190μs ToddCoxeter 023: finite semigroup (size 5) . . .  -- with HLT + no standardise + full lookahead + no save 43μs  -- with HLT + standardise + full lookahead + no save 34μs  -- with HLT + no standardise + partial lookahead + no save 38μs  -- with HLT + standardise + partial lookahead + no save 38μs  -- with HLT + no standardise + full lookahead + save 41μs  -- with HLT + standardise + full lookahead + save 40μs  -- with HLT + no standardise + partial lookahead + save 38μs  -- with HLT + standardise + partial lookahead + save 38μs  -- with Felsch + no standardisation 38μs  -- with Felsch + standardisation 38μs  -- with random strategy 36μs  -- with Rc style + full lookahead 34μs  -- with Rc style + partial lookahead 33μs  -- with R/C style 34μs  -- with CR style 41μs  -- with Cr style 38μs ToddCoxeter 024: exceptions . . .  -- with HLT + no standardise + full lookahead + no save 181μs  -- with HLT + standardise + full lookahead + no save 160μs  -- with HLT + no standardise + partial lookahead + no save 156μs  -- with HLT + standardise + partial lookahead + no save 154μs  -- with HLT + no standardise + full lookahead + save 168μs  -- with HLT + standardise + full lookahead + save 160μs  -- with HLT + no standardise + partial lookahead + save 161μs  -- with HLT + standardise + partial lookahead + save 160μs  -- with Felsch + no standardisation 161μs  -- with Felsch + standardisation 164μs  -- with random strategy 163μs  -- with Rc style + full lookahead 157μs  -- with Rc style + partial lookahead 156μs  -- with R/C style 157μs  -- with CR style 164μs  -- with Cr style 161μs ToddCoxeter 025: obviously infinite . . .  -- with HLT + no standardise + full lookahead + no save 48μs  -- with HLT + standardise + full lookahead + no save 43μs  -- with HLT + no standardise + partial lookahead + no save 41μs  -- with HLT + standardise + partial lookahead + no save 41μs  -- with HLT + no standardise + full lookahead + save 43μs  -- with HLT + standardise + full lookahead + save 43μs  -- with HLT + no standardise + partial lookahead + save 41μs  -- with HLT + standardise + partial lookahead + save 43μs  -- with Felsch + no standardisation 43μs  -- with Felsch + standardisation 41μs  -- with random strategy 41μs ToddCoxeter 026: exceptions . . .  -- with HLT + no standardise + full lookahead + no save 116μs  -- with HLT + standardise + full lookahead + no save 97μs  -- with HLT + no standardise + partial lookahead + no save 95μs  -- with HLT + standardise + partial lookahead + no save 93μs  -- with HLT + no standardise + full lookahead + save 107μs  -- with HLT + standardise + full lookahead + save 102μs  -- with HLT + no standardise + partial lookahead + save 101μs  -- with HLT + standardise + partial lookahead + save 110μs  -- with Felsch + no standardisation 101μs  -- with Felsch + standardisation 102μs  -- with random strategy 106μs  -- with Rc style + full lookahead 96μs  -- with Rc style + partial lookahead 95μs  -- with R/C style 95μs  -- with CR style 97μs  -- with Cr style 101μs ToddCoxeter 027: empty . . . 64μs ToddCoxeter 028: congruence of fpsemigroup::ToddCoxeter . . .  -- with HLT + no standardise + full lookahead + no save 163μs  -- with HLT + standardise + full lookahead + no save 132μs  -- with HLT + no standardise + partial lookahead + no save 128μs  -- with HLT + standardise + partial lookahead + no save 128μs  -- with HLT + save (throws) 135μs  -- with Felsch (throws) 134μs  -- with random strategy 136μs  -- with HLT + no standardise + full lookahead + save 131μs  -- with HLT + standardise + full lookahead + save 137μs  -- with HLT + no standardise + partial lookahead + save 133μs  -- with HLT + standardise + partial lookahead + save 129μs  -- with Felsch + no standardisation 128μs  -- with Felsch + standardisation 127μs  -- with Rc style + full lookahead 128μs  -- with Rc style + partial lookahead 121μs  -- with R/C style 121μs  -- with CR style 133μs  -- with Cr style 127μs ToddCoxeter 029: !KnuthBendix.started() . . .  -- with HLT + no standardise + full lookahead + no save and 2-sided 93μs  -- with HLT + standardise + full lookahead + no save and 2-sided 66μs  -- with HLT + no standardise + partial lookahead + no save and 2-sided 60μs  -- with HLT + standardise + partial lookahead + no save and 2-sided 60μs  -- with HLT + no standardise + full lookahead + save and 2-sided 66μs  -- with HLT + standardise + full lookahead + save and 2-sided 64μs  -- with HLT + no standardise + partial lookahead + save and 2-sided 63μs  -- with HLT + standardise + partial lookahead + save and 2-sided 63μs  -- with Felsch + no standardisation and 2-sided 62μs  -- with Felsch + standardisation and 2-sided 62μs  -- with random strategy and 2-sided 66μs  -- with HLT + no standardise + full lookahead + no save and left 64μs  -- with HLT + standardise + full lookahead + no save and left 64μs  -- with HLT + no standardise + partial lookahead + no save and left 60μs  -- with HLT + standardise + partial lookahead + no save and left 58μs  -- with HLT + no standardise + full lookahead + save and left 68μs  -- with HLT + standardise + full lookahead + save and left 67μs  -- with HLT + no standardise + partial lookahead + save and left 67μs  -- with HLT + standardise + partial lookahead + save and left 67μs  -- with Felsch + no standardisation and left 66μs  -- with Felsch + standardisation and left 66μs  -- with random strategy and left 62μs  -- with HLT + no standardise + full lookahead + no save and right 62μs  -- with HLT + standardise + full lookahead + no save and right 58μs  -- with HLT + no standardise + partial lookahead + no save and right 62μs  -- with HLT + standardise + partial lookahead + no save and right 60μs  -- with HLT + no standardise + full lookahead + save and right 67μs  -- with HLT + standardise + full lookahead + save and right 66μs  -- with HLT + no standardise + partial lookahead + save and right 66μs  -- with HLT + standardise + partial lookahead + save and right 66μs  -- with Felsch + no standardisation and right 66μs  -- with Felsch + standardisation and right 64μs  -- with random strategy and right 69μs ToddCoxeter 030: KnuthBendix.finished() . . .  -- with HLT + no standardise + full lookahead + no save and 2-sided 177μs  -- with HLT + standardise + full lookahead + no save and 2-sided 143μs  -- with HLT + no standardise + partial lookahead + no save and 2-sided 143μs  -- with HLT + standardise + partial lookahead + no save and 2-sided 136μs  -- with HLT + no standardise + full lookahead + save and 2-sided 142μs  -- with HLT + standardise + full lookahead + save and 2-sided 149μs  -- with HLT + no standardise + partial lookahead + save and 2-sided 139μs  -- with HLT + standardise + partial lookahead + save and 2-sided 139μs  -- with Felsch + no standardisation and 2-sided 134μs  -- with Felsch + standardisation and 2-sided 133μs  -- with random strategy and 2-sided 153μs  -- with HLT + no standardise + full lookahead + no save and left 146μs  -- with HLT + standardise + full lookahead + no save and left 141μs  -- with HLT + no standardise + partial lookahead + no save and left 141μs  -- with HLT + standardise + partial lookahead + no save and left 138μs  -- with HLT + no standardise + full lookahead + save and left 148μs  -- with HLT + standardise + full lookahead + save and left 148μs  -- with HLT + no standardise + partial lookahead + save and left 146μs  -- with HLT + standardise + partial lookahead + save and left 146μs  -- with Felsch + no standardisation and left 143μs  -- with Felsch + standardisation and left 144μs  -- with random strategy and left 149μs  -- with HLT + no standardise + full lookahead + no save and right 142μs  -- with HLT + standardise + full lookahead + no save and right 136μs  -- with HLT + no standardise + partial lookahead + no save and right 136μs  -- with HLT + standardise + partial lookahead + no save and right 141μs  -- with HLT + no standardise + full lookahead + save and right 155μs  -- with HLT + standardise + full lookahead + save and right 147μs  -- with HLT + no standardise + partial lookahead + save and right 146μs  -- with HLT + standardise + partial lookahead + save and right 146μs  -- with Felsch + no standardisation and right 144μs  -- with Felsch + standardisation and right 142μs  -- with random strategy and right 151μs ToddCoxeter 031: KnuthBendix.finished() . . .  -- with HLT + no standardise + full lookahead + no save and 2-sided 121μs  -- with HLT + standardise + full lookahead + no save and 2-sided 105μs  -- with HLT + no standardise + partial lookahead + no save and 2-sided 106μs  -- with HLT + standardise + partial lookahead + no save and 2-sided 103μs  -- with HLT + no standardise + full lookahead + save and 2-sided 106μs  -- with HLT + standardise + full lookahead + save and 2-sided 103μs  -- with HLT + no standardise + partial lookahead + save and 2-sided 102μs  -- with HLT + standardise + partial lookahead + save and 2-sided 121μs  -- with Felsch + no standardisation and 2-sided 96μs  -- with Felsch + standardisation and 2-sided 96μs  -- with random strategy and 2-sided 103μs  -- with Rc style + full lookahead and 2-sided 101μs  -- with Rc style + partial lookahead and 2-sided 102μs  -- with R/C style and 2-sided 96μs  -- with CR style and 2-sided 102μs  -- with Cr style and 2-sided 105μs  -- with HLT + no standardise + full lookahead + no save and left 110μs  -- with HLT + standardise + full lookahead + no save and left 110μs  -- with HLT + no standardise + partial lookahead + no save and left 102μs  -- with HLT + standardise + partial lookahead + no save and left 101μs  -- with HLT + no standardise + full lookahead + save and left 109μs  -- with HLT + standardise + full lookahead + save and left 110μs  -- with HLT + no standardise + partial lookahead + save and left 109μs  -- with HLT + standardise + partial lookahead + save and left 107μs  -- with Felsch + no standardisation and left 105μs  -- with Felsch + standardisation and left 103μs  -- with random strategy and left 124μs  -- with Rc style + full lookahead and left 110μs  -- with Rc style + partial lookahead and left 106μs  -- with R/C style and left 102μs  -- with CR style and left 107μs  -- with Cr style and left 111μs  -- with HLT + no standardise + full lookahead + no save and right 105μs  -- with HLT + standardise + full lookahead + no save and right 101μs  -- with HLT + no standardise + partial lookahead + no save and right 101μs  -- with HLT + standardise + partial lookahead + no save and right 101μs  -- with HLT + no standardise + full lookahead + save and right 109μs  -- with HLT + standardise + full lookahead + save and right 115μs  -- with HLT + no standardise + partial lookahead + save and right 110μs  -- with HLT + standardise + partial lookahead + save and right 109μs  -- with Felsch + no standardisation and right 106μs  -- with Felsch + standardisation and right 106μs  -- with random strategy and right 116μs  -- with Rc style + full lookahead and right 109μs  -- with Rc style + partial lookahead and right 106μs  -- with R/C style and right 101μs  -- with CR style and right 116μs  -- with Cr style and right 115μs ToddCoxeter 032: prefill . . . 154μs ToddCoxeter 033: congruence of ToddCoxeter . . .  -- with HLT + no standardise + full lookahead + no save 53μs  -- with HLT + standardise + full lookahead + no save 43μs  -- with HLT + no standardise + partial lookahead + no save 41μs  -- with HLT + standardise + partial lookahead + no save 41μs  -- with HLT + no standardise + full lookahead + save 48μs  -- with HLT + standardise + full lookahead + save 46μs  -- with HLT + no standardise + partial lookahead + save 46μs  -- with HLT + standardise + partial lookahead + save 45μs  -- with random strategy 46μs ToddCoxeter 034: congruence of ToddCoxeter . . .  -- with HLT + no standardise + full lookahead + no save 137μs  -- with HLT + standardise + full lookahead + no save 133μs  -- with HLT + no standardise + partial lookahead + no save 117μs  -- with HLT + standardise + partial lookahead + no save 117μs  -- with HLT + save (throws) 132μs  -- with Felsch (throws) 129μs  -- with random strategy 129μs ToddCoxeter 035: congruence on FpSemigroup . . .  -- with HLT + no standardise + full lookahead + no save 333μs  -- with HLT + standardise + full lookahead + no save 293μs  -- with HLT + no standardise + partial lookahead + no save 284μs  -- with HLT + standardise + partial lookahead + no save 282μs  -- with HLT + no standardise + full lookahead + save 326μs  -- with HLT + standardise + full lookahead + save 315μs  -- with HLT + no standardise + partial lookahead + save 317μs  -- with HLT + standardise + partial lookahead + save 311μs  -- with Felsch + no standardisation 306μs  -- with Felsch + standardisation 306μs  -- with random strategy 317μs  -- with Rc style + full lookahead 280μs  -- with Rc style + partial lookahead 277μs  -- with R/C style 279μs  -- with CR style 311μs  -- with Cr style 324μs ToddCoxeter 036: exceptions . . . 97μs ToddCoxeter 037: copy constructor . . . 40μs ToddCoxeter 038: simplify . . . 137μs ToddCoxeter 039: stylic_monoid . . . 855ms ToddCoxeter 041: some finite classes . . . 536μs ToddCoxeter 043: symmetric_group(7, Coxeter + Moser) . . . 150ms ToddCoxeter 044: Option exceptions . . . 77μs ToddCoxeter 045: Options operator<< . . . 678μs ToddCoxeter 046: Easdown-East-FitzGerald DualSymInv(5) . . .  -- with HLT + no standardise + full lookahead + no save 180ms  -- with HLT + standardise + full lookahead + no save 199ms  -- with HLT + no standardise + partial lookahead + no save 179ms  -- with HLT + standardise + partial lookahead + no save 198ms  -- with HLT + no standardise + full lookahead + save 135ms  -- with HLT + standardise + full lookahead + save 135ms  -- with HLT + no standardise + partial lookahead + save 135ms  -- with HLT + standardise + partial lookahead + save 135ms  -- with Felsch + no standardisation 152ms  -- with Felsch + standardisation 153ms  -- with random strategy 185ms  -- with R/C style 188ms  -- with Rc style + full lookahead 158ms  -- with Rc style + partial lookahead 158ms ToddCoxeter 047: uniform_block_bijection_monoid(3) (FitzGerald) . . .  -- with HLT + no standardise + full lookahead + no save 106μs  -- with HLT + standardise + full lookahead + no save 98μs  -- with HLT + no standardise + partial lookahead + no save 90μs  -- with HLT + standardise + partial lookahead + no save 114μs  -- with HLT + no standardise + full lookahead + save 241μs  -- with HLT + standardise + full lookahead + save 236μs  -- with HLT + no standardise + partial lookahead + save 222μs  -- with HLT + standardise + partial lookahead + save 222μs  -- with Felsch + no standardisation 177μs  -- with Felsch + standardisation 164μs  -- with random strategy 166μs  -- with R/C style 106μs  -- with Rc style + full lookahead 97μs  -- with Rc style + partial lookahead 96μs ToddCoxeter 048: stellar_monoid(7) (Gay-Hivert) . . . 158ms ToddCoxeter 049: partition_monoid(4) (East) . . .  -- with HLT + no standardise + full lookahead + no save 31ms  -- with HLT + standardise + full lookahead + no save 31ms  -- with HLT + no standardise + partial lookahead + no save 30ms  -- with HLT + standardise + partial lookahead + no save 31ms  -- with HLT + no standardise + full lookahead + save 54ms  -- with HLT + standardise + full lookahead + save 55ms  -- with HLT + no standardise + partial lookahead + save 53ms  -- with HLT + standardise + partial lookahead + save 55ms  -- with Felsch + no standardisation 64ms  -- with Felsch + standardisation 64ms  -- with random strategy 67ms  -- with R/C style 34ms  -- with Rc style + full lookahead 70ms  -- with Rc style + partial lookahead 69ms ToddCoxeter 050: singular_brauer_monoid(6) (Maltcev + Mazorchuk) . . . 530ms ToddCoxeter 051: orientation_preserving_monoid(6) (Ruskuc + [...] . . .  -- with HLT + no standardise + full lookahead + no save 25ms ToddCoxeter 052: orientation_reversing_monoid(5) (Ruskuc + [...] . . .  -- with HLT + no standardise + full lookahead + no save 6414μs ToddCoxeter 053: temperley_lieb_monoid(10) (East) . . . 40ms ToddCoxeter 063: add_rule . . .  -- with HLT + no standardise + full lookahead + no save 96μs  -- with HLT + standardise + full lookahead + no save 69μs  -- with HLT + no standardise + partial lookahead + no save 67μs  -- with HLT + standardise + partial lookahead + no save 67μs  -- with HLT + no standardise + full lookahead + save 73μs  -- with HLT + standardise + full lookahead + save 72μs  -- with HLT + no standardise + partial lookahead + save 74μs  -- with HLT + standardise + partial lookahead + save 72μs  -- with Felsch + no standardisation 72μs  -- with Felsch + standardisation 69μs  -- with random strategy 71μs  -- with Rc style + full lookahead 67μs  -- with Rc style + partial lookahead 66μs  -- with R/C style 67μs  -- with CR style 72μs  -- with Cr style 72μs  -- with R/C + Felsch lookahead 73μs  -- with HLT + Felsch lookahead + save 72μs  -- with Cr + small number of f_defs 76μs  -- with Rc + small number of deductions 67μs  -- with Felsch + v2 + no preferred defs 71μs  -- with Felsch + v2 + immediate no stack 72μs  -- with Felsch + v1 + immediate no stack 80μs  -- with Felsch + v1 + immediate yes stack 72μs  -- with large collapse 67μs ToddCoxeter 064: (from kbmag/standalone/kb_data/s4) (KnuthB [...] . . .  -- with HLT + no standardise + full lookahead + no save 271μs ToddCoxeter 066: test validate . . . 60μs ToddCoxeter 067: add_rules after construct. from semigroup . . .  -- with HLT + no standardise + full lookahead + no save 346μs  -- with HLT + standardise + full lookahead + no save 320μs  -- with HLT + no standardise + partial lookahead + no save 306μs  -- with HLT + standardise + partial lookahead + no save 309μs  -- with HLT + save (throws) 320μs  -- with Felsch (throws) 317μs  -- with random strategy 317μs ToddCoxeter 068: Sym(5) from Chapter 3, Proposition 1.1 in NR . . .  -- with Deduction policy == purge_from_top 678μs  -- with Deduction policy == purge_all 626μs  -- with Deduction policy == discard_all_if_no_space 685μs  -- with HLT + no standardise + full lookahead + no save 770μs  -- with HLT + standardise + full lookahead + no save 1070μs  -- with HLT + no standardise + partial lookahead + no save 754μs  -- with HLT + standardise + partial lookahead + no save 1057μs  -- with HLT + no standardise + full lookahead + save 1119μs  -- with HLT + standardise + full lookahead + save 1093μs  -- with HLT + no standardise + partial lookahead + save 1061μs  -- with HLT + standardise + partial lookahead + save 1101μs  -- with Felsch + no standardisation 733μs  -- with Felsch + standardisation 705μs  -- with random strategy 748μs  -- with Rc style + full lookahead 1495μs  -- with Rc style + partial lookahead 1487μs  -- with R/C style 841μs  -- with CR style 800μs  -- with Cr style 743μs ToddCoxeter 069: Chapter 7, Theorem 3.6 in NR (size 243) . . .  -- with HLT + no standardise + full lookahead + no save 378μs  -- with HLT + standardise + full lookahead + no save 436μs  -- with HLT + no standardise + partial lookahead + no save 360μs  -- with HLT + standardise + partial lookahead + no save 420μs  -- with HLT + no standardise + full lookahead + save 498μs  -- with HLT + standardise + full lookahead + save 524μs  -- with HLT + no standardise + partial lookahead + save 485μs  -- with HLT + standardise + partial lookahead + save 523μs  -- with Felsch + no standardisation 2407μs  -- with Felsch + standardisation 2435μs  -- with random strategy 543μs  -- with Rc style + full lookahead 400μs  -- with Rc style + partial lookahead 400μs  -- with R/C style 415μs  -- with CR style 2443μs  -- with Cr style 2399μs ToddCoxeter 070: finite semigroup (size 99) . . .  -- with HLT + no standardise + full lookahead + no save 175μs  -- with HLT + standardise + full lookahead + no save 196μs  -- with HLT + no standardise + partial lookahead + no save 163μs  -- with HLT + standardise + partial lookahead + no save 180μs  -- with HLT + no standardise + full lookahead + save 222μs  -- with HLT + standardise + full lookahead + save 222μs  -- with HLT + no standardise + partial lookahead + save 201μs  -- with HLT + standardise + partial lookahead + save 218μs  -- with Felsch + no standardisation 456μs  -- with Felsch + standardisation 451μs  -- with random strategy 465μs  -- with Rc style + full lookahead 176μs  -- with Rc style + partial lookahead 174μs  -- with R/C style 181μs  -- with CR style 467μs  -- with Cr style 449μs ToddCoxeter 080: KnuthBendix 098 . . .  -- with HLT + no standardise + full lookahead + no save 558ms  -- with HLT + standardise + full lookahead + no save 614ms  -- with HLT + no standardise + partial lookahead + no save 558ms  -- with HLT + standardise + partial lookahead + no save 614ms  -- with HLT + no standardise + full lookahead + save 387ms  -- with HLT + standardise + full lookahead + save 388ms  -- with HLT + no standardise + partial lookahead + save 385ms  -- with HLT + standardise + partial lookahead + save 387ms  -- with Felsch + no standardisation 369ms  -- with Felsch + standardisation 368ms  -- with random strategy 384ms  -- with Rc style + full lookahead 364ms  -- with Rc style + partial lookahead 365ms  -- with R/C style 556ms  -- with CR style 369ms  -- with Cr style 368ms ToddCoxeter 084: Campbell-Reza 1 . . .  -- with HLT + no standardise + full lookahead + no save 135μs  -- with HLT + standardise + full lookahead + no save 95μs  -- with HLT + no standardise + partial lookahead + no save 88μs  -- with HLT + standardise + partial lookahead + no save 87μs  -- with HLT + no standardise + full lookahead + save 102μs  -- with HLT + standardise + full lookahead + save 98μs  -- with HLT + no standardise + partial lookahead + save 96μs  -- with HLT + standardise + partial lookahead + save 97μs  -- with Felsch + no standardisation 111μs  -- with Felsch + standardisation 100μs  -- with random strategy 90μs  -- with Rc style + full lookahead 85μs  -- with Rc style + partial lookahead 82μs  -- with R/C style 90μs  -- with CR style 102μs  -- with Cr style 101μs ToddCoxeter 085: Renner monoid type D4 (Gay-Hivert), q = 1 . . .  -- with HLT + no standardise + full lookahead + no save 119ms  -- with HLT + standardise + full lookahead + no save 119ms  -- with HLT + no standardise + partial lookahead + no save 119ms  -- with HLT + standardise + partial lookahead + no save 118ms  -- with HLT + no standardise + full lookahead + save 118ms  -- with HLT + standardise + full lookahead + save 119ms  -- with HLT + no standardise + partial lookahead + save 118ms  -- with HLT + standardise + partial lookahead + save 118ms  -- with Felsch + no standardisation 118ms  -- with Felsch + standardisation 118ms  -- with random strategy 118ms  -- with Rc style + full lookahead 119ms  -- with Rc style + partial lookahead 119ms  -- with R/C style 119ms  -- with CR style 118ms  -- with Cr style 118ms ToddCoxeter 086: trivial semigroup . . . 317ms ToddCoxeter 092: ACE --- perf602p5 - HLT . . .  -- with HLT + no standardise + full lookahead + no save 34ms  -- with HLT + standardise + full lookahead + no save 33ms  -- with HLT + no standardise + partial lookahead + no save 33ms  -- with HLT + standardise + partial lookahead + no save 33ms  -- with HLT + no standardise + full lookahead + save 15ms  -- with HLT + standardise + full lookahead + save 16ms  -- with HLT + no standardise + partial lookahead + save 16ms  -- with HLT + standardise + partial lookahead + save 16ms  -- with random strategy 34ms  -- with Felsch + no standardisation 12ms  -- with Felsch + standardisation 12ms ToddCoxeter 094: ACE --- C5 - HLT . . .  -- with HLT + no standardise + full lookahead + no save 95μs  -- with HLT + standardise + full lookahead + no save 80μs  -- with HLT + no standardise + partial lookahead + no save 80μs  -- with HLT + standardise + partial lookahead + no save 77μs  -- with HLT + no standardise + full lookahead + save 101μs  -- with HLT + standardise + full lookahead + save 106μs  -- with HLT + no standardise + partial lookahead + save 98μs  -- with HLT + standardise + partial lookahead + save 96μs  -- with random strategy 86μs  -- with Felsch + no standardisation 92μs  -- with Felsch + standardisation 90μs ToddCoxeter 095: ACE --- A5-C5 . . .  -- with HLT + no standardise + full lookahead + no save 102μs  -- with HLT + standardise + full lookahead + no save 101μs  -- with HLT + no standardise + partial lookahead + no save 101μs  -- with HLT + standardise + partial lookahead + no save 101μs  -- with HLT + no standardise + full lookahead + save 145μs  -- with HLT + standardise + full lookahead + save 141μs  -- with HLT + no standardise + partial lookahead + save 136μs  -- with HLT + standardise + partial lookahead + save 138μs  -- with random strategy 110μs  -- with Felsch + no standardisation 125μs  -- with Felsch + standardisation 121μs ToddCoxeter 096: ACE --- A5 . . .  -- with HLT + no standardise + full lookahead + no save 222μs  -- with HLT + standardise + full lookahead + no save 262μs  -- with HLT + no standardise + partial lookahead + no save 190μs  -- with HLT + standardise + partial lookahead + no save 251μs  -- with HLT + no standardise + full lookahead + save 357μs  -- with HLT + standardise + full lookahead + save 366μs  -- with HLT + no standardise + partial lookahead + save 344μs  -- with HLT + standardise + partial lookahead + save 353μs  -- with random strategy 378μs  -- with Felsch + no standardisation 257μs  -- with Felsch + standardisation 246μs ToddCoxeter 098: relation ordering . . .  -- with Felsch + no standardisation 577μs  -- with Felsch + standardisation 552μs  -- with HLT + no standardise + full lookahead + no save 315μs  -- with HLT + standardise + full lookahead + no save 302μs  -- with HLT + no standardise + partial lookahead + no save 299μs  -- with HLT + standardise + partial lookahead + no save 297μs  -- with HLT + no standardise + full lookahead + save 578μs  -- with HLT + standardise + full lookahead + save 578μs  -- with HLT + no standardise + partial lookahead + save 582μs  -- with HLT + standardise + partial lookahead + save 589μs  -- with random strategy 371μs ToddCoxeter 099: short circuit size in obviously infinite . . . 19μs ToddCoxeter 101: http://brauer.maths.qmul.ac.uk/Atlas/spor/M [...] . . . 636ms ToddCoxeter 108: http://brauer.maths.qmul.ac.uk/Atlas/lin/L3 [...] . . . 560ms ToddCoxeter 110: to_gap_string . . . 92μs ToddCoxeter 111: partition_monoid(2) . . . 72μs ToddCoxeter 112: brauer_monoid(4) (Kudryavtseva + Mazorchuk) . . . 377μs ToddCoxeter 113: symmetric_inverse_monoid . . . 16ms ToddCoxeter 116: symmetric_group(7, Burnside + Miller) . . . 418ms UF 001: constructor by size . . . 15μs UF 002: copy constructor . . . 20μs UF 003: find . . . 18μs Ukkonen 000: basic tests . . . 83ms Ukkonen 001: maximal_piece_prefix 1 . . . 38μs Ukkonen 002: maximal_piece_prefix 2 . . . 46μs Ukkonen 003: maximal_piece_prefix 3 . . . 304μs Ukkonen 004: number_of_pieces . . . 81μs Ukkonen 005: traverse . . . 24μs Ukkonen 006: dot . . . 186μs Ukkonen 007: strings . . . 62μs Ukkonen 008: dfs #01 . . . 38μs Ukkonen 009: dfs #02 . . . 33μs Ukkonen 010: dfs #03 . . . 31μs Ukkonen 011: dfs #04 . . . 82μs Ukkonen 012: dfs #05 . . . 60μs Ukkonen 013: dfs #06 . . . 53μs Ukkonen 014: dfs #07 . . . 111μs Ukkonen 015: dfs #08 . . . 77μs Ukkonen 016: dfs #09 . . . 105μs Ukkonen 017: dfs #10 . . . 31μs Ukkonen 018: pieces . . . 41μs Ukkonen 019: code coverage . . . 48μs Ukkonen 020: code coverage . . . 10μs action_digraph_helper 015: detail::to_string . . . 23μs action_digraph_helper 016: make . . . 40μs action_digraph_helper 017: is_connected . . . 161μs action_digraph_helper 018: is_strictly_cyclic . . . 13ms follow_path 012: 20 node path . . . 24μs fpsemi-examples 002: full_transformation_monoid author except . . . 33μs fpsemi-examples 003: full_transformation_monoid degree except . . . 20μs fpsemi-examples 005: partial_transformation_monoid author except . . . 25μs fpsemi-examples 006: partial_transformation_monoid degree except . . . 21μs fpsemi-examples 007: symmetric_inverse_monoid(5) . . . 16ms fpsemi-examples 008: symmetric_group auth except . . . 33μs fpsemi-examples 009: symmetric_group degree except . . . 23μs fpsemi-examples 010: symmetric_group(6) Burnside + Miller . . . 24ms fpsemi-examples 011: dual_symmetric_inverse_monoid(5) . . . 181ms fpsemi-examples 012: dual_symmetric_inverse_monoid auth except . . . 36μs fpsemi-examples 013: dual_symmetric_inverse_monoid degree except . . . 21μs fpsemi-examples 014: uniform_block_bijection_monoid(5) . . . 12ms fpsemi-examples 015: uniform_block_bijection_monoid auth except . . . 29μs fpsemi-examples 016: uniform_block_bijection_monoid degree except . . . 21μs fpsemi-examples 019: partition_monoid auth except . . . 36μs fpsemi-examples 020: partition_monoid degree except . . . 34μs fpsemi-examples 022: monogenic_semigroup(4, 9) . . . 36μs fpsemi-examples 023: fibonacci_semigroup(2, 5) . . . 72μs fpsemi-examples 024: temperley_lieb_monoid(10) . . . 48ms fpsemi-examples 025: singular_brauer_monoid(6) . . . 424ms fpsemi-examples 026: orientation_preserving_monoid(6) . . . 25ms fpsemi-examples 027: orientation_reversing_monoid(5) . . . 6480μs fpsemi-examples 028: chinese_monoid(3) . . . 154μs fpsemi-examples 029: plactic_monoid(3) . . . 117μs fpsemi-examples 030: stylic_monoid(3) . . . 964μs fpsemi-examples 031: symmetric_group(6) Carmichael . . . 14ms fpsemi-examples 032: symmetric_group(6) Moore index 0 . . . 10ms fpsemi-examples 033: symmetric_group(6) Coxeter + Moser . . . 5938μs fpsemi-examples 034: test for the rook monoid . . . 284μs fpsemi-examples 035: alternating_group(7) Moore . . . 23ms fpsemi-examples 036: alternating_group auth except . . . 50μs fpsemi-examples 037: alternating_group degree except . . . 21μs fpsemi-examples 038: partial_transformation_monoid(3) Machine . . . 288μs fpsemi-examples 039: chinese_monoid degree except . . . 36μs fpsemi-examples 040: monogenic_semigroup degree except . . . 31μs fpsemi-examples 041: rectangular_band degree except . . . 50μs fpsemi-examples 042: stellar_monoid degree except . . . 31μs fpsemi-examples 043: plactic_monoid degree except . . . 27μs fpsemi-examples 044: stylic_monoid degree except . . . 27μs fpsemi-examples 045: temperley_lieb_monoid degree except . . . 36μs fpsemi-examples 046: singular_brauer_monoid degree except . . . 38μs fpsemi-examples 047: orientation_preserving_monoid degree except . . . 36μs fpsemi-examples 048: orientation_reversing_monoid degree except . . . 34μs fpsemi-examples 049: test default values . . . 4048μs fpsemi-examples 052: not_symmetric_group(5) Guralnick + Kant [...] . . . 2642μs fpsemi-examples 053: order_preserving_monoid(5) . . . 610μs fpsemi-examples 055: order_preserving_monoid degree except . . . 53μs fpsemi-examples 056: cyclic_inverse_monoid(4) Fernandes 1 . . . 246μs fpsemi-examples 057: cyclic_inverse_monoid(8) Fernandes index 1 . . . 15ms fpsemi-examples 058: cyclic_inverse_monoid Fernandes index 0 . . . 25ms fpsemi-examples 059: order_preserving_cyclic_inverse_monoid(4) . . . 138μs fpsemi-examples 060: order_preserving_cyclic_inverse_monoid(10) . . . 29ms fpsemi-examples 061: cyclic_inverse_monoid degree except . . . 83μs fpsemi-examples 062: cyclic_inverse_monoid author except . . . 33μs fpsemi-examples 063: order_preserving_monoid degree except . . . 36μs fpsemi-examples 064: symmetric_group index except . . . 36μs fpsemi-examples 065: symmetric_group(7) Moore index 1 . . . 6452μs fpsemi-examples 066: order_preserving_cyclic_inverse_monoid(10) . . . 29ms fpsemi-examples 067: partial_isometries_cycle_graph_monoid(5) . . . 585μs fpsemi-examples 068: partial_isometries_cycle_graph_monoid(10) . . . 231ms fpsemi-examples 069: partial_isometries_cycle_graph_monoid d [...] . . . 45μs fpsemi-examples 070: partial_isometries_cycle_graph_monoid(4) . . . 279μs freeband_equal_to 001: . . . 657μ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 . . . 86μs is_acyclic 004: acyclic digraph with 20000 nodes . . . 1477μs is_acyclic 006: for a node . . . 870μs is_acyclic 007: for a node . . . 19μs is_reachable 008: acyclic 20 node digraph . . . 45μs is_reachable 009: 100 node path . . . 10ms is_reachable 010: 100 node cycle . . . 10ms is_reachable 011: 20 node clique . . . 453μs last_node_on_path_nc 014: 20 node path . . . 16μs make 000: from FroidurePin . . . 406μs make 001: from FroidurePin and alphabet . . . 534μs make 002: presentation from presentation . . . 214μs make 003: presentation from presentation and alphabet . . . 51μs make 004: argument checks issue . . . 132μs make 005: use human readable alphabet for make . . . 20μs make> 000: from ActionDigraph . . . 1266μs make> 001: from ActionDigraph (exceptions) . . . 60μs number_of_words 001: . . . 20μs operator"" _w 003: literal . . . 13μs silo 000: alphabet: a, min: 0, max: 10 . . . 46μs silo 001: corner cases . . . 29μs silo 002: alphabet: ab, min: 1, max: 4 . . . 45μs silo 003: alphabet: abc, min: 0, max: 13 . . . 81ms silo 004: code coverage . . . 27μs sislo 005: alphabet: a, min: 0, max: 10 . . . 38μs sislo 006: corner cases . . . 82μs sislo 007: alphabet: ab, min: 1, max: 4 . . . 80μs sislo 008: alphabet: abc, min: 0, max: 13 . . . 81ms sislo 009: code coverage . . . 26μs string 000: detail::is_suffix . . . 13μs string 001: detail::is_prefix . . . 12μs string 002: detail::maximum_common_suffix . . . 10μs string 003: detail::group_digits . . . 25μs string_to_word 002: . . . 12μs validate_label 013: 20 node path . . . 48μs wilo 001: corner cases . . . 36μs wilo 002: letters: 2, min: 1, max: 4 . . . 33μs wilo 003: letters: 2, min: 1, max: 4 . . . 55μs wilo 004: letters: 3, min: 0, max: 10 . . . 19ms wilo 005: letters: 3, min: 0, max: 13 . . . 146ms wilo 006: forward iterator requirements . . . 143ms wilo 007: more corner cases . . . 48μs wilo 008: starting at a given word 1 . . . 145μs wilo 009: starting at a given word 2 . . . 20μs wilo 010: code coverage . . . 19μs wislo 000: n: 2, min; 1, max: 4 . . . 25μs wislo 001: corner cases . . . 41μs wislo 002: n: 3, min; 0, max: 10 . . . 4797μs wislo 003: n: 3, min; 0, max: 13 . . . 141ms wislo 004: lex + sort . . . 404ms wislo 005: code coverage . . . 27μs =============================================================================== All tests passed (1226211 assertions in 1190 test cases) >>> libsemigroups: Entering fakeroot... make[1]: Entering directory '/home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.1' ./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/lib/pkgconfig' ./config/install-sh -c -d '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups' ./config/install-sh -c -d '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups/textflowcpp' /usr/bin/install -c -m 644 libsemigroups.pc '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/pkgconfig' /usr/bin/install -c -m 644 include/libsemigroups/action.hpp include/libsemigroups/adapters.hpp include/libsemigroups/bipart.hpp include/libsemigroups/bitset.hpp include/libsemigroups/bmat8.hpp include/libsemigroups/bmat.hpp include/libsemigroups/bruidhinn-traits.hpp include/libsemigroups/config.hpp include/libsemigroups/cong-intf.hpp include/libsemigroups/cong-pair-impl.hpp include/libsemigroups/cong-pair.hpp include/libsemigroups/cong-wrap.hpp include/libsemigroups/cong.hpp include/libsemigroups/constants.hpp include/libsemigroups/containers.hpp include/libsemigroups/coset.hpp include/libsemigroups/debug.hpp include/libsemigroups/deprecated.hpp include/libsemigroups/digraph-helper.hpp include/libsemigroups/digraph-with-sources.hpp include/libsemigroups/digraph-with-sources.tpp include/libsemigroups/digraph.hpp include/libsemigroups/exception.hpp include/libsemigroups/fastest-bmat.hpp include/libsemigroups/felsch-tree.hpp include/libsemigroups/felsch-digraph.hpp include/libsemigroups/felsch-digraph.tpp include/libsemigroups/forest.hpp include/libsemigroups/fpsemi-examples.hpp include/libsemigroups/fpsemi-intf.hpp include/libsemigroups/fpsemi.hpp include/libsemigroups/freeband.hpp include/libsemigroups/froidure-pin-base.hpp include/libsemigroups/froidure-pin-impl.hpp include/libsemigroups/froidure-pin.hpp include/libsemigroups/function-ref.hpp include/libsemigroups/hpcombi.hpp include/libsemigroups/int-range.hpp include/libsemigroups/iterator.hpp include/libsemigroups/kambites.hpp '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups' /usr/bin/install -c -m 644 extern/textflowcpp/TextFlow.hpp '/home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/include/libsemigroups/textflowcpp' libtool: install: /usr/bin/install -c .libs/libsemigroups.so.2.0.0 /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/libsemigroups.so.2.0.0 /usr/bin/install -c -m 644 include/libsemigroups/kbe.hpp include/libsemigroups/knuth-bendix.hpp include/libsemigroups/konieczny.hpp include/libsemigroups/libsemigroups.hpp include/libsemigroups/make-froidure-pin.hpp include/libsemigroups/make-present.hpp include/libsemigroups/matrix.hpp include/libsemigroups/node-manager.hpp include/libsemigroups/obvinf.hpp include/libsemigroups/order.hpp include/libsemigroups/pbr.hpp include/libsemigroups/pool.hpp include/libsemigroups/present.hpp include/libsemigroups/present.tpp include/libsemigroups/race.hpp include/libsemigroups/report.hpp include/libsemigroups/runner.hpp include/libsemigroups/schreier-sims.hpp include/libsemigroups/schreier-sims-helper.hpp include/libsemigroups/sims1.hpp include/libsemigroups/sims1.tpp include/libsemigroups/siso.hpp include/libsemigroups/stl.hpp include/libsemigroups/stephen.hpp include/libsemigroups/string-view.hpp include/libsemigroups/string.hpp include/libsemigroups/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.2 || { rm -f libsemigroups.so.2 && ln -s libsemigroups.so.2.0.0 libsemigroups.so.2; }; }) libtool: install: (cd /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib && { ln -s -f libsemigroups.so.2.0.0 libsemigroups.so || { rm -f libsemigroups.so && ln -s libsemigroups.so.2.0.0 libsemigroups.so; }; }) libtool: install: /usr/bin/install -c .libs/libsemigroups.lai /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/libsemigroups.la libtool: install: /usr/bin/install -c .libs/libsemigroups.a /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/libsemigroups.a libtool: install: chmod 644 /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/libsemigroups.a libtool: install: ranlib /home/buildozer/aports/testing/libsemigroups/pkg/libsemigroups/usr/lib/libsemigroups.a libtool: warning: remember to run 'libtool --finish /usr/lib' make[1]: Leaving directory '/home/buildozer/aports/testing/libsemigroups/src/libsemigroups-2.7.1' >>> libsemigroups-static*: Running split function static... >>> libsemigroups-static*: Preparing subpackage libsemigroups-static... >>> libsemigroups-static*: Stripping binaries >>> libsemigroups-static*: Running postcheck for libsemigroups-static >>> libsemigroups-dev*: Running split function dev... >>> libsemigroups-dev*: Preparing subpackage libsemigroups-dev... >>> libsemigroups-dev*: Stripping binaries >>> libsemigroups-dev*: Running postcheck for libsemigroups-dev >>> libsemigroups*: Running postcheck for libsemigroups >>> libsemigroups*: Preparing package libsemigroups... >>> libsemigroups*: Stripping binaries >>> libsemigroups-dev*: Scanning shared objects >>> libsemigroups-static*: Scanning shared objects >>> libsemigroups*: Scanning shared objects >>> libsemigroups-dev*: Tracing dependencies... libsemigroups=2.7.1-r1 pc:eigen3 pc:fmt pkgconfig >>> libsemigroups-dev*: Package size: 2.1 MB >>> libsemigroups-dev*: Compressing data... >>> libsemigroups-dev*: Create checksum... >>> libsemigroups-dev*: Create libsemigroups-dev-2.7.1-r1.apk >>> libsemigroups-static*: Tracing dependencies... >>> libsemigroups-static*: Package size: 4.5 MB >>> libsemigroups-static*: Compressing data... >>> libsemigroups-static*: Create checksum... >>> libsemigroups-static*: Create libsemigroups-static-2.7.1-r1.apk >>> libsemigroups*: Tracing dependencies... so:libc.musl-x86.so.1 so:libfmt.so.9 so:libgcc_s.so.1 so:libstdc++.so.6 >>> libsemigroups*: Package size: 1.6 MB >>> libsemigroups*: Compressing data... >>> libsemigroups*: Create checksum... >>> libsemigroups*: Create libsemigroups-2.7.1-r1.apk >>> libsemigroups: Build complete at Tue, 16 May 2023 05:58:10 +0000 elapsed time 0h 12m 51s >>> libsemigroups: Cleaning up srcdir >>> libsemigroups: Cleaning up pkgdir >>> libsemigroups: Uninstalling dependencies... (1/4) Purging .makedepends-libsemigroups (20230516.054520) (2/4) Purging eigen-dev (3.4.0-r9) (3/4) Purging fmt-dev (9.1.0-r1) (4/4) Purging fmt (9.1.0-r1) OK: 372 MiB in 107 packages >>> libsemigroups: Updating the testing/x86 repository index... >>> libsemigroups: Signing the index...