Package evaluation to test KnuthBendix on Julia 1.14.0-DEV.1420 (3d611fddcf*) started at 2025-12-28T14:08:53.817


################################################################################
# Set-up
#

Installing PkgEval dependencies (TestEnv)...
  Activating project at `~/.julia/environments/v1.14`

Set-up completed after 9.8s


################################################################################
# Installation
#

Installing KnuthBendix...
   Resolving package versions...
    Updating `~/.julia/environments/v1.14/Project.toml`
  [c2604015] + KnuthBendix v0.5.0
    Updating `~/.julia/environments/v1.14/Manifest.toml`
  [a8cc5b0e] + Crayons v4.1.1
  [9a962f9c] + DataAPI v1.16.0
  [e2d170a0] + DataValueInterfaces v1.0.0
  [d5909c97] + GroupsCore v0.5.2
  [82899510] + IteratorInterfaceExtensions v1.0.0
  [c2604015] + KnuthBendix v0.5.0
  [b964fa9f] + LaTeXStrings v1.4.0
  [1914dd2f] + MacroTools v0.5.16
  [bac558e1] + OrderedCollections v1.8.1
  [aea7be01] + PrecompileTools v1.3.3
  [21216c6a] + Preferences v1.5.1
⌅ [08abe8d2] + PrettyTables v2.4.0
  [92933f4c] + ProgressMeter v1.11.0
  [189a3867] + Reexport v1.2.2
  [892a3eda] + StringManipulation v0.4.2
  [3783bdb8] + TableTraits v1.0.1
  [bd369af6] + Tables v1.12.1
  [2a0f44e3] + Base64 v1.11.0
  [ade2ca70] + Dates v1.11.0
  [8ba89e20] + Distributed v1.11.0
  [ac6e5ff7] + JuliaSyntaxHighlighting v1.13.0
  [d6f4376e] + Markdown v1.11.0
  [de0858da] + Printf v1.11.0
  [9a3f8284] + Random v1.11.0
  [ea8e919c] + SHA v1.0.0
  [9e88b42a] + Serialization v1.11.0
  [6462fe0b] + Sockets v1.11.0
  [f489334b] + StyledStrings v1.13.0
  [fa267f1f] + TOML v1.0.3
  [4ec0a83e] + Unicode v1.11.0
        Info Packages marked with ⌅ have new versions available but compatibility constraints restrict them from upgrading. To see why use `status --outdated -m`

Installation completed after 1.03s


################################################################################
# Precompilation
#

ERROR: LoadError: MethodError: no method matching setindex!(::Base.ScopedValues.ScopedValue{IO}, ::Nothing)
The function `setindex!` exists, but no method is defined for this combination of argument types.
Stacktrace:
 [1] top-level scope
   @ /PkgEval.jl/scripts/precompile.jl:10
 [2] include(mod::Module, _path::String)
   @ Base ./Base.jl:309
 [3] exec_options(opts::Base.JLOptions)
   @ Base ./client.jl:344
 [4] _start()
   @ Base ./client.jl:585
in expression starting at /PkgEval.jl/scripts/precompile.jl:6

caused by: MethodError: no method matching setindex!(::Base.ScopedValues.ScopedValue{IO}, ::Base.DevNull)
The function `setindex!` exists, but no method is defined for this combination of argument types.
Stacktrace:
 [1] top-level scope
   @ /PkgEval.jl/scripts/precompile.jl:7
 [2] include(mod::Module, _path::String)
   @ Base ./Base.jl:309
 [3] exec_options(opts::Base.JLOptions)
   @ Base ./client.jl:344
 [4] _start()
   @ Base ./client.jl:585

Precompilation failed after 13.32s



################################################################################
# Testing
#

     Testing KnuthBendix
      Status `/tmp/jl_ukhd2Z/Project.toml`
  [e30172f5] Documenter v1.16.1
  [d5909c97] GroupsCore v0.5.2
  [c2604015] KnuthBendix v0.5.0
  [1914dd2f] MacroTools v0.5.16
  [aea7be01] PrecompileTools v1.3.3
⌅ [08abe8d2] PrettyTables v2.4.0
  [92933f4c] ProgressMeter v1.11.0
  [bd369af6] Tables v1.12.1
  [8dfed614] Test v1.11.0
      Status `/tmp/jl_ukhd2Z/Manifest.toml`
  [a4c015fc] ANSIColoredPrinters v0.0.1
  [1520ce14] AbstractTrees v0.4.5
  [944b1d66] CodecZlib v0.7.8
  [a8cc5b0e] Crayons v4.1.1
  [9a962f9c] DataAPI v1.16.0
  [e2d170a0] DataValueInterfaces v1.0.0
  [ffbed154] DocStringExtensions v0.9.5
  [e30172f5] Documenter v1.16.1
  [d7ba0133] Git v1.5.0
  [d5909c97] GroupsCore v0.5.2
  [b5f81e59] IOCapture v1.0.0
  [82899510] IteratorInterfaceExtensions v1.0.0
  [692b3bcd] JLLWrappers v1.7.1
  [682c06a0] JSON v1.3.0
  [c2604015] KnuthBendix v0.5.0
  [b964fa9f] LaTeXStrings v1.4.0
  [0e77f7df] LazilyInitializedFields v1.3.0
  [1914dd2f] MacroTools v0.5.16
  [d0879d2d] MarkdownAST v0.1.2
  [bac558e1] OrderedCollections v1.8.1
  [69de0a69] Parsers v2.8.3
  [aea7be01] PrecompileTools v1.3.3
  [21216c6a] Preferences v1.5.1
⌅ [08abe8d2] PrettyTables v2.4.0
  [92933f4c] ProgressMeter v1.11.0
  [189a3867] Reexport v1.2.2
  [2792f1a3] RegistryInstances v0.1.0
  [892a3eda] StringManipulation v0.4.2
  [ec057cc2] StructUtils v2.6.0
  [3783bdb8] TableTraits v1.0.1
  [bd369af6] Tables v1.12.1
  [3bb67fe8] TranscodingStreams v0.11.3
  [2e619515] Expat_jll v2.7.3+0
  [020c3dae] Git_LFS_jll v3.7.0+0
  [f8c6e375] Git_jll v2.52.0+0
  [94ce4f54] Libiconv_jll v1.18.0+0
  [9bd350c2] OpenSSH_jll v10.2.1+0
  [0dad84c5] ArgTools v1.1.2
  [56f22d72] Artifacts v1.11.0
  [2a0f44e3] Base64 v1.11.0
  [ade2ca70] Dates v1.11.0
  [8ba89e20] Distributed v1.11.0
  [f43a241f] Downloads v1.7.0
  [7b1f6079] FileWatching v1.11.0
  [b77e0a4c] InteractiveUtils v1.11.0
  [ac6e5ff7] JuliaSyntaxHighlighting v1.13.0
  [b27032c2] LibCURL v1.0.0
  [76f85450] LibGit2 v1.11.0
  [8f399da3] Libdl v1.11.0
  [56ddb016] Logging v1.11.0
  [d6f4376e] Markdown v1.11.0
  [ca575930] NetworkOptions v1.3.0
  [44cfe95a] Pkg v1.14.0
  [de0858da] Printf v1.11.0
  [3fa0cd96] REPL v1.11.0
  [9a3f8284] Random v1.11.0
  [ea8e919c] SHA v1.0.0
  [9e88b42a] Serialization v1.11.0
  [6462fe0b] Sockets v1.11.0
  [f489334b] StyledStrings v1.13.0
  [fa267f1f] TOML v1.0.3
  [a4e569a6] Tar v1.10.0
  [8dfed614] Test v1.11.0
  [cf7118a7] UUIDs v1.11.0
  [4ec0a83e] Unicode v1.11.0
  [e66e0078] CompilerSupportLibraries_jll v1.3.0+1
  [deac9b47] LibCURL_jll v8.17.0+0
  [e37daf67] LibGit2_jll v1.9.2+0
  [29816b5a] LibSSH2_jll v1.11.3+1
  [14a3606d] MozillaCACerts_jll v2025.12.2
  [458c3c95] OpenSSL_jll v3.5.4+0
  [efcefdf7] PCRE2_jll v10.47.0+0
  [83775a58] Zlib_jll v1.3.1+2
  [3161d3a3] Zstd_jll v1.5.7+1
  [8e850ede] nghttp2_jll v1.68.0+1
  [3f19e933] p7zip_jll v17.7.0+0
        Info Packages marked with ⌅ have new versions available but compatibility constraints restrict them from upgrading.
     Testing Running tests...
┌ Warning: The call to compilecache failed to create a usable precompiled cache file for KnuthBendix [c2604015-7b3d-4a30-8a26-9074551ec60a]
│   exception = Required dependency Base.PkgId(Base.UUID("1914dd2f-81c6-5fcd-8719-6d5c9610ff09"), "MacroTools") failed to load from a cache file.
└ @ Base loading.jl:2949
┌ Warning: a already has an inverse: A; overriding
└ @ KnuthBendix ~/.julia/packages/KnuthBendix/ziQjH/src/alphabets.jl:157
┌ Warning: b already has an inverse: a; overriding
└ @ KnuthBendix ~/.julia/packages/KnuthBendix/ziQjH/src/alphabets.jl:157
┌ Warning: c already has an inverse: b; overriding
└ @ KnuthBendix ~/.julia/packages/KnuthBendix/ziQjH/src/alphabets.jl:157
┌ Warning: KBPlain is a simplistic completion algorithm for educational purposes only.
└ @ KnuthBendix ~/.julia/packages/KnuthBendix/ziQjH/src/knuthbendix1.jl:138
[ Info: considering (1, 1) for critical pairs
[ Info: considering (2, 1) for critical pairs
[ Info: considering (1, 2) for critical pairs
[ Info: considering (2, 2) for critical pairs
[ Info: considering (3, 1) for critical pairs
┌ Info: lhs₁ suffix-prefix lhs₂:
│   rules = (3·1 ⇒ (id), 1·3 ⇒ (id))
│   (a, b, c) = (3, 1, 3)
└   pair = (3, 3)
[ Info: pair does not fail local confluence, both sides rewrite to 3
[ Info: considering (1, 3) for critical pairs
┌ Info: lhs₁ suffix-prefix lhs₂:
│   rules = (1·3 ⇒ (id), 3·1 ⇒ (id))
│   (a, b, c) = (1, 3, 1)
└   pair = (1, 1)
[ Info: pair does not fail local confluence, both sides rewrite to 1
[ Info: considering (3, 2) for critical pairs
[ Info: considering (2, 3) for critical pairs
[ Info: considering (3, 3) for critical pairs
[ Info: considering (4, 1) for critical pairs
[ Info: considering (1, 4) for critical pairs
[ Info: considering (4, 2) for critical pairs
┌ Info: lhs₁ suffix-prefix lhs₂:
│   rules = (4·2 ⇒ (id), 2·4 ⇒ (id))
│   (a, b, c) = (4, 2, 4)
└   pair = (4, 4)
[ Info: pair does not fail local confluence, both sides rewrite to 4
[ Info: considering (2, 4) for critical pairs
┌ Info: lhs₁ suffix-prefix lhs₂:
│   rules = (2·4 ⇒ (id), 4·2 ⇒ (id))
│   (a, b, c) = (2, 4, 2)
└   pair = (2, 2)
[ Info: pair does not fail local confluence, both sides rewrite to 2
[ Info: considering (4, 3) for critical pairs
[ Info: considering (3, 4) for critical pairs
[ Info: considering (4, 4) for critical pairs
[ Info: considering (5, 1) for critical pairs
┌ Info: lhs₁ suffix-prefix lhs₂:
│   rules = (2·1 ⇒ 1·2, 1·3 ⇒ (id))
│   (a, b, c) = (2, 1, 3)
└   pair = (1·2·3, 2)
[ Info: pair fails local confluence, rewrites to 1·2·3 ≠ 2
[ Info: adding rule [ 6. a*b*A	 → 	b ] to rws
[ Info: considering (1, 5) for critical pairs
[ Info: considering (5, 2) for critical pairs
[ Info: considering (2, 5) for critical pairs
[ Info: considering (5, 3) for critical pairs
[ Info: considering (3, 5) for critical pairs
[ Info: considering (5, 4) for critical pairs
[ Info: considering (4, 5) for critical pairs
┌ Info: lhs₁ suffix-prefix lhs₂:
│   rules = (4·2 ⇒ (id), 2·1 ⇒ 1·2)
│   (a, b, c) = (4, 2, 1)
└   pair = (1, 4·1·2)
[ Info: pair fails local confluence, rewrites to 1 ≠ 4·1·2
[ Info: adding rule [ 7. B*a*b	 → 	a ] to rws
[ Info: considering (5, 5) for critical pairs
[ Info: considering (6, 1) for critical pairs
[ Info: considering (1, 6) for critical pairs
[ Info: considering (6, 2) for critical pairs
[ Info: considering (2, 6) for critical pairs
[ Info: considering (6, 3) for critical pairs
┌ Info: lhs₁ suffix-prefix lhs₂:
│   rules = (1·2·3 ⇒ 2, 3·1 ⇒ (id))
│   (a, b, c) = (1·2, 3, 1)
└   pair = (2·1, 1·2)
[ Info: pair does not fail local confluence, both sides rewrite to 1·2
[ Info: considering (3, 6) for critical pairs
┌ Info: lhs₁ suffix-prefix lhs₂:
│   rules = (3·1 ⇒ (id), 1·2·3 ⇒ 2)
│   (a, b, c) = (3, 1, 2·3)
└   pair = (2·3, 3·2)
[ Info: pair fails local confluence, rewrites to 2·3 ≠ 3·2
[ Info: adding rule [ 8. b*A	 → 	A*b ] to rws
[ Info: considering (6, 4) for critical pairs
[ Info: considering (4, 6) for critical pairs
[ Info: considering (6, 5) for critical pairs
[ Info: considering (5, 6) for critical pairs
┌ Info: lhs₁ suffix-prefix lhs₂:
│   rules = (2·1 ⇒ 1·2, 1·2·3 ⇒ 2)
│   (a, b, c) = (2, 1, 2·3)
└   pair = (1·2·2·3, 2·2)
[ Info: pair does not fail local confluence, both sides rewrite to 2·2
[ Info: considering (6, 6) for critical pairs
[ Info: considering (7, 1) for critical pairs
[ Info: considering (1, 7) for critical pairs
[ Info: considering (7, 2) for critical pairs
┌ Info: lhs₁ suffix-prefix lhs₂:
│   rules = (4·1·2 ⇒ 1, 2·4 ⇒ (id))
│   (a, b, c) = (4·1, 2, 4)
└   pair = (1·4, 4·1)
[ Info: pair fails local confluence, rewrites to 1·4 ≠ 4·1
[ Info: adding rule [ 9. B*a	 → 	a*B ] to rws
[ Info: considering (2, 7) for critical pairs
┌ Info: lhs₁ suffix-prefix lhs₂:
│   rules = (2·4 ⇒ (id), 4·1·2 ⇒ 1)
│   (a, b, c) = (2, 4, 1·2)
└   pair = (1·2, 2·1)
[ Info: pair does not fail local confluence, both sides rewrite to 1·2
[ Info: considering (7, 3) for critical pairs
[ Info: considering (3, 7) for critical pairs
[ Info: considering (7, 4) for critical pairs
[ Info: considering (4, 7) for critical pairs
[ Info: considering (7, 5) for critical pairs
┌ Info: lhs₁ suffix-prefix lhs₂:
│   rules = (4·1·2 ⇒ 1, 2·1 ⇒ 1·2)
│   (a, b, c) = (4·1, 2, 1)
└   pair = (1·1, 4·1·1·2)
[ Info: pair does not fail local confluence, both sides rewrite to 1·1
[ Info: considering (5, 7) for critical pairs
[ Info: considering (7, 6) for critical pairs
┌ Info: lhs₁ suffix-prefix lhs₂:
│   rules = (4·1·2 ⇒ 1, 1·2·3 ⇒ 2)
│   (a, b, c) = (4, 1·2, 3)
└   pair = (1·3, 4·2)
[ Info: pair does not fail local confluence, both sides rewrite to (id)
[ Info: considering (6, 7) for critical pairs
[ Info: considering (7, 7) for critical pairs
[ Info: considering (8, 1) for critical pairs
[ Info: considering (1, 8) for critical pairs
[ Info: considering (8, 2) for critical pairs
[ Info: considering (2, 8) for critical pairs
[ Info: considering (8, 3) for critical pairs
┌ Info: lhs₁ suffix-prefix lhs₂:
│   rules = (2·3 ⇒ 3·2, 3·1 ⇒ (id))
│   (a, b, c) = (2, 3, 1)
└   pair = (3·2·1, 2)
[ Info: pair does not fail local confluence, both sides rewrite to 2
[ Info: considering (3, 8) for critical pairs
[ Info: considering (8, 4) for critical pairs
[ Info: considering (4, 8) for critical pairs
┌ Info: lhs₁ suffix-prefix lhs₂:
│   rules = (4·2 ⇒ (id), 2·3 ⇒ 3·2)
│   (a, b, c) = (4, 2, 3)
└   pair = (3, 4·3·2)
[ Info: pair fails local confluence, rewrites to 3 ≠ 4·3·2
[ Info: adding rule [ 10. B*A*b	 → 	A ] to rws
[ Info: considering (8, 5) for critical pairs
[ Info: considering (5, 8) for critical pairs
[ Info: considering (8, 6) for critical pairs
[ Info: considering (6, 8) for critical pairs
┌ Info: lhs₁ suffix-prefix lhs₂:
│   rules = (1·2·3 ⇒ 2, 2·3 ⇒ 3·2)
│   (a, b, c) = (1, 2·3, (id))
└   pair = (2, 1·3·2)
[ Info: pair does not fail local confluence, both sides rewrite to 2
[ Info: considering (8, 7) for critical pairs
[ Info: considering (7, 8) for critical pairs
┌ Info: lhs₁ suffix-prefix lhs₂:
│   rules = (4·1·2 ⇒ 1, 2·3 ⇒ 3·2)
│   (a, b, c) = (4·1, 2, 3)
└   pair = (1·3, 4·1·3·2)
[ Info: pair does not fail local confluence, both sides rewrite to (id)
[ Info: considering (8, 8) for critical pairs
[ Info: considering (9, 1) for critical pairs
┌ Info: lhs₁ suffix-prefix lhs₂:
│   rules = (4·1 ⇒ 1·4, 1·3 ⇒ (id))
│   (a, b, c) = (4, 1, 3)
└   pair = (1·4·3, 4)
[ Info: pair fails local confluence, rewrites to 1·4·3 ≠ 4
[ Info: adding rule [ 11. a*B*A	 → 	B ] to rws
[ Info: considering (1, 9) for critical pairs
[ Info: considering (9, 2) for critical pairs
[ Info: considering (2, 9) for critical pairs
┌ Info: lhs₁ suffix-prefix lhs₂:
│   rules = (2·4 ⇒ (id), 4·1 ⇒ 1·4)
│   (a, b, c) = (2, 4, 1)
└   pair = (1, 2·1·4)
[ Info: pair does not fail local confluence, both sides rewrite to 1
[ Info: considering (9, 3) for critical pairs
[ Info: considering (3, 9) for critical pairs
[ Info: considering (9, 4) for critical pairs
[ Info: considering (4, 9) for critical pairs
[ Info: considering (9, 5) for critical pairs
[ Info: considering (5, 9) for critical pairs
[ Info: considering (9, 6) for critical pairs
┌ Info: lhs₁ suffix-prefix lhs₂:
│   rules = (4·1 ⇒ 1·4, 1·2·3 ⇒ 2)
│   (a, b, c) = (4, 1, 2·3)
└   pair = (1·4·2·3, 4·2)
[ Info: pair does not fail local confluence, both sides rewrite to (id)
[ Info: considering (6, 9) for critical pairs
[ Info: considering (9, 7) for critical pairs
┌ Info: lhs₁ suffix-prefix lhs₂:
│   rules = (4·1 ⇒ 1·4, 4·1·2 ⇒ 1)
│   (a, b, c) = ((id), 4·1, 2)
└   pair = (1·4·2, 1)
[ Info: pair does not fail local confluence, both sides rewrite to 1
[ Info: considering (7, 9) for critical pairs
┌ Info: lhs₂ is a subword of lhs₁
│   rules = (4·1·2 ⇒ 1, 4·1 ⇒ 1·4)
│   (a, b, c) = ((id), 4·1, 2)
└   pair = (1, 1·4·2)
[ Info: pair does not fail local confluence, both sides rewrite to 1
[ Info: considering (9, 8) for critical pairs
[ Info: considering (8, 9) for critical pairs
[ Info: considering (9, 9) for critical pairs
[ Info: considering (10, 1) for critical pairs
[ Info: considering (1, 10) for critical pairs
[ Info: considering (10, 2) for critical pairs
┌ Info: lhs₁ suffix-prefix lhs₂:
│   rules = (4·3·2 ⇒ 3, 2·4 ⇒ (id))
│   (a, b, c) = (4·3, 2, 4)
└   pair = (3·4, 4·3)
[ Info: pair fails local confluence, rewrites to 3·4 ≠ 4·3
[ Info: adding rule [ 12. B*A	 → 	A*B ] to rws
[ Info: considering (2, 10) for critical pairs
┌ Info: lhs₁ suffix-prefix lhs₂:
│   rules = (2·4 ⇒ (id), 4·3·2 ⇒ 3)
│   (a, b, c) = (2, 4, 3·2)
└   pair = (3·2, 2·3)
[ Info: pair does not fail local confluence, both sides rewrite to 3·2
[ Info: considering (10, 3) for critical pairs
[ Info: considering (3, 10) for critical pairs
[ Info: considering (10, 4) for critical pairs
[ Info: considering (4, 10) for critical pairs
[ Info: considering (10, 5) for critical pairs
┌ Info: lhs₁ suffix-prefix lhs₂:
│   rules = (4·3·2 ⇒ 3, 2·1 ⇒ 1·2)
│   (a, b, c) = (4·3, 2, 1)
└   pair = (3·1, 4·3·1·2)
[ Info: pair does not fail local confluence, both sides rewrite to (id)
[ Info: considering (5, 10) for critical pairs
[ Info: considering (10, 6) for critical pairs
[ Info: considering (6, 10) for critical pairs
[ Info: considering (10, 7) for critical pairs
[ Info: considering (7, 10) for critical pairs
[ Info: considering (10, 8) for critical pairs
┌ Info: lhs₁ suffix-prefix lhs₂:
│   rules = (4·3·2 ⇒ 3, 2·3 ⇒ 3·2)
│   (a, b, c) = (4·3, 2, 3)
└   pair = (3·3, 4·3·3·2)
[ Info: pair does not fail local confluence, both sides rewrite to 3·3
[ Info: considering (8, 10) for critical pairs
[ Info: considering (10, 9) for critical pairs
[ Info: considering (9, 10) for critical pairs
[ Info: considering (10, 10) for critical pairs
[ Info: considering (11, 1) for critical pairs
[ Info: considering (1, 11) for critical pairs
[ Info: considering (11, 2) for critical pairs
[ Info: considering (2, 11) for critical pairs
[ Info: considering (11, 3) for critical pairs
┌ Info: lhs₁ suffix-prefix lhs₂:
│   rules = (1·4·3 ⇒ 4, 3·1 ⇒ (id))
│   (a, b, c) = (1·4, 3, 1)
└   pair = (4·1, 1·4)
[ Info: pair does not fail local confluence, both sides rewrite to 1·4
[ Info: considering (3, 11) for critical pairs
┌ Info: lhs₁ suffix-prefix lhs₂:
│   rules = (3·1 ⇒ (id), 1·4·3 ⇒ 4)
│   (a, b, c) = (3, 1, 4·3)
└   pair = (4·3, 3·4)
[ Info: pair does not fail local confluence, both sides rewrite to 3·4
[ Info: considering (11, 4) for critical pairs
[ Info: considering (4, 11) for critical pairs
[ Info: considering (11, 5) for critical pairs
[ Info: considering (5, 11) for critical pairs
┌ Info: lhs₁ suffix-prefix lhs₂:
│   rules = (2·1 ⇒ 1·2, 1·4·3 ⇒ 4)
│   (a, b, c) = (2, 1, 4·3)
└   pair = (1·2·4·3, 2·4)
[ Info: pair does not fail local confluence, both sides rewrite to (id)
[ Info: considering (11, 6) for critical pairs
[ Info: considering (6, 11) for critical pairs
[ Info: considering (11, 7) for critical pairs
[ Info: considering (7, 11) for critical pairs
[ Info: considering (11, 8) for critical pairs
[ Info: considering (8, 11) for critical pairs
[ Info: considering (11, 9) for critical pairs
[ Info: considering (9, 11) for critical pairs
┌ Info: lhs₁ suffix-prefix lhs₂:
│   rules = (4·1 ⇒ 1·4, 1·4·3 ⇒ 4)
│   (a, b, c) = (4, 1, 4·3)
└   pair = (1·4·4·3, 4·4)
[ Info: pair does not fail local confluence, both sides rewrite to 4·4
[ Info: considering (11, 10) for critical pairs
┌ Info: lhs₁ suffix-prefix lhs₂:
│   rules = (1·4·3 ⇒ 4, 4·3·2 ⇒ 3)
│   (a, b, c) = (1, 4·3, 2)
└   pair = (4·2, 1·3)
[ Info: pair does not fail local confluence, both sides rewrite to (id)
[ Info: considering (10, 11) for critical pairs
[ Info: considering (11, 11) for critical pairs
[ Info: considering (12, 1) for critical pairs
[ Info: considering (1, 12) for critical pairs
[ Info: considering (12, 2) for critical pairs
[ Info: considering (2, 12) for critical pairs
┌ Info: lhs₁ suffix-prefix lhs₂:
│   rules = (2·4 ⇒ (id), 4·3 ⇒ 3·4)
│   (a, b, c) = (2, 4, 3)
└   pair = (3, 2·3·4)
[ Info: pair does not fail local confluence, both sides rewrite to 3
[ Info: considering (12, 3) for critical pairs
┌ Info: lhs₁ suffix-prefix lhs₂:
│   rules = (4·3 ⇒ 3·4, 3·1 ⇒ (id))
│   (a, b, c) = (4, 3, 1)
└   pair = (3·4·1, 4)
[ Info: pair does not fail local confluence, both sides rewrite to 4
[ Info: considering (3, 12) for critical pairs
[ Info: considering (12, 4) for critical pairs
[ Info: considering (4, 12) for critical pairs
[ Info: considering (12, 5) for critical pairs
[ Info: considering (5, 12) for critical pairs
[ Info: considering (12, 6) for critical pairs
[ Info: considering (6, 12) for critical pairs
[ Info: considering (12, 7) for critical pairs
[ Info: considering (7, 12) for critical pairs
[ Info: considering (12, 8) for critical pairs
[ Info: considering (8, 12) for critical pairs
[ Info: considering (12, 9) for critical pairs
[ Info: considering (9, 12) for critical pairs
[ Info: considering (12, 10) for critical pairs
┌ Info: lhs₁ suffix-prefix lhs₂:
│   rules = (4·3 ⇒ 3·4, 4·3·2 ⇒ 3)
│   (a, b, c) = ((id), 4·3, 2)
└   pair = (3·4·2, 3)
[ Info: pair does not fail local confluence, both sides rewrite to 3
[ Info: considering (10, 12) for critical pairs
┌ Info: lhs₂ is a subword of lhs₁
│   rules = (4·3·2 ⇒ 3, 4·3 ⇒ 3·4)
│   (a, b, c) = ((id), 4·3, 2)
└   pair = (3, 3·4·2)
[ Info: pair does not fail local confluence, both sides rewrite to 3
[ Info: considering (12, 11) for critical pairs
[ Info: considering (11, 12) for critical pairs
┌ Info: lhs₁ suffix-prefix lhs₂:
│   rules = (1·4·3 ⇒ 4, 4·3 ⇒ 3·4)
│   (a, b, c) = (1, 4·3, (id))
└   pair = (4, 1·3·4)
[ Info: pair does not fail local confluence, both sides rewrite to 4
[ Info: considering (12, 12) for critical pairs

Knuth-Bendix completion (KnuthBendix.KBStack())  33%  ETA: 0:00:01 ( 0.23  s/it)
   processing rules (done/total): 2/6



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (49.36 ms/it)
   processing rules (done/total): 14/14



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (46.74 ms/it)
   processing rules (done/total): 15/15



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (43.84 ms/it)
   processing rules (done/total): 16/16



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (41.27 ms/it)
   processing rules (done/total): 17/17



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (38.98 ms/it)
   processing rules (done/total): 18/18



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (36.93 ms/it)
   processing rules (done/total): 19/19



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (35.09 ms/it)
   processing rules (done/total): 20/20



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (33.42 ms/it)
   processing rules (done/total): 21/21



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (31.90 ms/it)
   processing rules (done/total): 22/22



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (30.52 ms/it)
   processing rules (done/total): 23/23



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (29.25 ms/it)
   processing rules (done/total): 24/24



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (28.09 ms/it)
   processing rules (done/total): 25/25



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (27.01 ms/it)
   processing rules (done/total): 26/26



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (26.02 ms/it)
   processing rules (done/total): 27/27



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (25.09 ms/it)
   processing rules (done/total): 28/28



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (24.23 ms/it)
   processing rules (done/total): 29/29



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (23.43 ms/it)
   processing rules (done/total): 30/30



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (22.68 ms/it)
   processing rules (done/total): 31/31



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (21.99 ms/it)
   processing rules (done/total): 32/32



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (21.34 ms/it)
   processing rules (done/total): 33/33



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (20.74 ms/it)
   processing rules (done/total): 34/34



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (20.16 ms/it)
   processing rules (done/total): 35/35



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (19.62 ms/it)
   processing rules (done/total): 36/36



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (19.09 ms/it)
   processing rules (done/total): 37/37



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (18.60 ms/it)
   processing rules (done/total): 38/38



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (18.13 ms/it)
   processing rules (done/total): 39/39



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (17.69 ms/it)
   processing rules (done/total): 40/40



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (17.27 ms/it)
   processing rules (done/total): 41/41



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (16.87 ms/it)
   processing rules (done/total): 42/42



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (16.50 ms/it)
   processing rules (done/total): 43/43



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (16.15 ms/it)
   processing rules (done/total): 44/44



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (15.81 ms/it)
   processing rules (done/total): 45/45



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (15.49 ms/it)
   processing rules (done/total): 46/46



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (15.18 ms/it)
   processing rules (done/total): 47/47



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (14.88 ms/it)
   processing rules (done/total): 48/48



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (14.60 ms/it)
   processing rules (done/total): 49/49



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (14.33 ms/it)
   processing rules (done/total): 50/50



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (14.07 ms/it)
   processing rules (done/total): 51/51



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (13.81 ms/it)
   processing rules (done/total): 52/52



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (13.58 ms/it)
   processing rules (done/total): 53/53



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (13.35 ms/it)
   processing rules (done/total): 54/54



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (13.14 ms/it)
   processing rules (done/total): 55/55



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (12.92 ms/it)
   processing rules (done/total): 56/56



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (12.72 ms/it)
   processing rules (done/total): 57/57



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (12.52 ms/it)
   processing rules (done/total): 58/58



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (12.33 ms/it)
   processing rules (done/total): 59/59



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (12.15 ms/it)
   processing rules (done/total): 60/60



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (11.98 ms/it)
   processing rules (done/total): 61/61



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (11.82 ms/it)
   processing rules (done/total): 62/62



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (11.66 ms/it)
   processing rules (done/total): 63/63



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (11.51 ms/it)
   processing rules (done/total): 64/64



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (11.37 ms/it)
   processing rules (done/total): 65/65



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (11.23 ms/it)
   processing rules (done/total): 66/66



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (11.10 ms/it)
   processing rules (done/total): 67/67



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (10.97 ms/it)
   processing rules (done/total): 68/68



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (10.84 ms/it)
   processing rules (done/total): 69/69



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (10.72 ms/it)
   processing rules (done/total): 70/70



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (10.61 ms/it)
   processing rules (done/total): 71/71



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (10.51 ms/it)
   processing rules (done/total): 72/72



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (10.40 ms/it)
   processing rules (done/total): 73/73



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (10.30 ms/it)
   processing rules (done/total): 74/74



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (10.20 ms/it)
   processing rules (done/total): 75/75



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (10.10 ms/it)
   processing rules (done/total): 76/76



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (10.00 ms/it)
   processing rules (done/total): 77/77



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 ( 9.92 ms/it)
   processing rules (done/total): 78/78



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 ( 9.83 ms/it)
   processing rules (done/total): 79/79



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 ( 9.74 ms/it)
   processing rules (done/total): 80/80



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 ( 9.67 ms/it)
   processing rules (done/total): 81/81



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 ( 9.59 ms/it)
   processing rules (done/total): 82/82



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 ( 9.51 ms/it)
   processing rules (done/total): 83/83



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 ( 9.44 ms/it)
   processing rules (done/total): 84/84



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 ( 9.37 ms/it)
   processing rules (done/total): 85/85



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 ( 9.31 ms/it)
   processing rules (done/total): 86/86



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 ( 9.25 ms/it)
   processing rules (done/total): 87/87



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 ( 9.20 ms/it)
   processing rules (done/total): 88/88



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 ( 9.15 ms/it)
   processing rules (done/total): 89/89



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 ( 9.11 ms/it)
   processing rules (done/total): 90/90



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 ( 9.06 ms/it)
   processing rules (done/total): 91/91



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 ( 9.02 ms/it)
   processing rules (done/total): 92/92



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 ( 8.98 ms/it)
   processing rules (done/total): 93/93



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 ( 8.94 ms/it)
   processing rules (done/total): 94/94



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 ( 8.91 ms/it)
   processing rules (done/total): 95/95



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 ( 8.88 ms/it)
   processing rules (done/total): 96/96



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 ( 8.84 ms/it)
   processing rules (done/total): 97/97



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 ( 8.81 ms/it)
   processing rules (done/total): 98/98



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 ( 8.78 ms/it)
   processing rules (done/total): 99/99



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 ( 8.76 ms/it)
   processing rules (done/total): 100/100



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 ( 8.73 ms/it)
   processing rules (done/total): 101/101
┌ Warning: Maximum number of rules (100) reached.
│ You may retry `knuthbendix` with a larger `max_rules` kwarg.
└ @ KnuthBendix ~/.julia/packages/KnuthBendix/ziQjH/src/knuthbendix_base.jl:4
┌ Warning: The returned rws is not confluent
└ @ KnuthBendix ~/.julia/packages/KnuthBendix/ziQjH/src/knuthbendix_base.jl:56
┌ Warning: Maximum number of rules (100) reached.
│ You may retry `knuthbendix` with a larger `max_rules` kwarg.
└ @ KnuthBendix ~/.julia/packages/KnuthBendix/ziQjH/src/knuthbendix_base.jl:4
┌ Warning: The returned rws is not confluent
└ @ KnuthBendix ~/.julia/packages/KnuthBendix/ziQjH/src/knuthbendix_base.jl:56
┌ Warning: Maximum number of rules (100) reached.
│ You may retry `knuthbendix` with a larger `max_rules` kwarg.
└ @ KnuthBendix ~/.julia/packages/KnuthBendix/ziQjH/src/knuthbendix_base.jl:4
┌ Warning: The returned rws is not confluent
└ @ KnuthBendix ~/.julia/packages/KnuthBendix/ziQjH/src/knuthbendix_base.jl:56
┌ Warning: Maximum number of rules (100) reached.
│ You may retry `knuthbendix` with a larger `max_rules` kwarg.
└ @ KnuthBendix ~/.julia/packages/KnuthBendix/ziQjH/src/knuthbendix_base.jl:4
┌ Warning: The returned rws is not confluent
└ @ KnuthBendix ~/.julia/packages/KnuthBendix/ziQjH/src/knuthbendix_base.jl:56
┌ Warning: non-accepting state in the middle of the direct path found:
│   rule = 3·11·5·1·12·6·3 ⇒ 1
│   σl =
│    State: 3·11
│    	data: 0
│    	transitions:
│    		1 → State: 3·11 (data=0)
│    		2 → State: 3·11 (data=0)
│    		3 → State: 3·11 (data=0)
│    		4 → State: 3·11 (data=0)
│    		5 → State: 3·11 (data=0)
│    		6 → State: 3·11 (data=0)
│    		7 → State: 3·11 (data=0)
│    		8 → State: 3·11 (data=0)
│    		9 → State: 3·11 (data=0)
│    		10 → State: 3·11 (data=0)
│    		11 → State: 3·11 (data=0)
│    		12 → State: 3·11 (data=0)
│    		13 → State: 3·11 (data=0)
│    		14 → State: 3·11 (data=0)
│    		15 → State: 3·11 (data=0)
│    		16 → State: 3·11 (data=0)
│    
└ @ KnuthBendix.Automata ~/.julia/packages/KnuthBendix/ziQjH/src/Automata/rebuilding_idxA.jl:50
  0.310218 seconds (138.28 k allocations: 9.901 MiB, 73.50% compilation time)
  0.105671 seconds (42.83 k allocations: 5.911 MiB)
┌ Error: monoid is infinite
└ @ KnuthBendix.FPMonoids ~/.julia/packages/KnuthBendix/ziQjH/src/FPMonoids.jl:217
┌ Error: monoid is infinite
└ @ KnuthBendix.FPMonoids ~/.julia/packages/KnuthBendix/ziQjH/src/FPMonoids.jl:217
┌ Error: monoid is infinite
└ @ KnuthBendix.FPMonoids ~/.julia/packages/KnuthBendix/ziQjH/src/FPMonoids.jl:217
┌ Error: monoid appears to be infinite (but the underlying rewriting system is not confluent)
└ @ KnuthBendix.FPMonoids ~/.julia/packages/KnuthBendix/ziQjH/src/FPMonoids.jl:217
[ Info: 237
  0.001026 seconds (859 allocations: 48.273 KiB)
  0.000789 seconds (1.42 k allocations: 74.586 KiB)
[ Info: 237_8
  1.645376 seconds (185.47 k allocations: 15.577 MiB)
  1.096754 seconds (130.14 k allocations: 15.568 MiB)
[ Info: 3a6
  0.035751 seconds (14.04 k allocations: 1.059 MiB)
  0.027718 seconds (10.58 k allocations: 837.312 KiB)
[ Info: a4
  0.000235 seconds (456 allocations: 23.492 KiB)
  0.000359 seconds (725 allocations: 35.352 KiB)
[ Info: a4monoid
  0.000153 seconds (315 allocations: 17.109 KiB)
  0.000218 seconds (483 allocations: 24.609 KiB)
[ Info: ab1
  0.000100 seconds (220 allocations: 10.531 KiB)
  0.000149 seconds (325 allocations: 14.859 KiB)
[ Info: ab2
  0.000167 seconds (404 allocations: 20.555 KiB)
  0.000228 seconds (667 allocations: 32.305 KiB)
[ Info: c2
  0.000091 seconds (212 allocations: 9.016 KiB)
  0.000146 seconds (300 allocations: 12.578 KiB)
[ Info: cosets
  0.000721 seconds (841 allocations: 40.742 KiB)
  0.000668 seconds (1.35 k allocations: 65.180 KiB)
[ Info: d22
  0.001827 seconds (2.10 k allocations: 123.484 KiB)
  0.001247 seconds (2.90 k allocations: 152.602 KiB)
[ Info: degen1
  0.000102 seconds (181 allocations: 8.172 KiB)
  0.000133 seconds (270 allocations: 11.766 KiB)
[ Info: degen2
  0.000211 seconds (243 allocations: 10.969 KiB)
  0.000197 seconds (329 allocations: 14.469 KiB)
[ Info: degen3
  0.000172 seconds (394 allocations: 18.555 KiB)
  0.000204 seconds (476 allocations: 21.805 KiB)
[ Info: degen4a
  0.003666 seconds (3.61 k allocations: 164.359 KiB)
  0.015984 seconds (18.29 k allocations: 1.040 MiB)
[ Info: degen4b
  0.202933 seconds (313.68 k allocations: 21.331 MiB)
  0.203547 seconds (124.93 k allocations: 7.611 MiB)
[ Info: e8
  1.118919 seconds (64.78 k allocations: 8.772 MiB)
  0.920328 seconds (71.62 k allocations: 10.069 MiB)
[ Info: f2
  0.000107 seconds (311 allocations: 13.938 KiB)
  0.000166 seconds (453 allocations: 20.312 KiB)
[ Info: f25
  0.002197 seconds (2.43 k allocations: 136.609 KiB)
  0.002196 seconds (3.98 k allocations: 203.312 KiB)
[ Info: f25monoid
  0.001108 seconds (1.05 k allocations: 62.125 KiB)
  0.000779 seconds (1.61 k allocations: 77.953 KiB)
[ Info: f27
 22.038044 seconds (348.14 k allocations: 39.412 MiB)
  8.222437 seconds (417.33 k allocations: 43.121 MiB)
[ Info: f27_2gen
  0.747046 seconds (197.38 k allocations: 12.584 MiB)
  1.833013 seconds (365.49 k allocations: 28.470 MiB)
[ Info: f27monoid
  1.971555 seconds (177.75 k allocations: 28.865 MiB)
 17.553914 seconds (849.42 k allocations: 143.988 MiB, 0.29% gc time)
[ Info: freenilpc3
  0.002917 seconds (2.28 k allocations: 150.820 KiB)
  0.002714 seconds (6.14 k allocations: 350.703 KiB)
[ Info: funny3
  0.736453 seconds (200.62 k allocations: 11.559 MiB)
  3.273873 seconds (546.99 k allocations: 42.467 MiB)
[ Info: heinnilp
  0.099194 seconds (74.45 k allocations: 6.380 MiB)
  0.816543 seconds (466.03 k allocations: 44.058 MiB)
[ Info: l32ext
  1.848573 seconds (192.06 k allocations: 16.058 MiB)
  1.393433 seconds (133.47 k allocations: 18.257 MiB)
[ Info: m11
  1.475935 seconds (406.32 k allocations: 27.318 MiB)
  4.406463 seconds (401.30 k allocations: 44.666 MiB)
[ Info: nilp2
  0.000419 seconds (694 allocations: 35.445 KiB)
  0.000993 seconds (1.34 k allocations: 66.289 KiB)
[ Info: nonhopf
  0.000458 seconds (529 allocations: 31.242 KiB)
  0.000598 seconds (1.41 k allocations: 80.453 KiB)
[ Info: s16
  0.029772 seconds (10.29 k allocations: 1007.008 KiB)
  0.020156 seconds (8.07 k allocations: 698.641 KiB)
[ Info: s3
  0.000110 seconds (270 allocations: 12.828 KiB)
  0.000155 seconds (386 allocations: 17.375 KiB)
[ Info: s4
  0.000321 seconds (501 allocations: 27.695 KiB)
  0.000345 seconds (810 allocations: 41.445 KiB)
[ Info: s9
  0.001781 seconds (1.83 k allocations: 121.898 KiB)
  0.001638 seconds (2.53 k allocations: 160.758 KiB)
[ Info: torus
  0.000347 seconds (725 allocations: 38.445 KiB)
  0.000408 seconds (1.19 k allocations: 64.070 KiB)
[ Info: verifynilp
  0.114322 seconds (47.59 k allocations: 35.571 MiB)
  0.075794 seconds (72.13 k allocations: 5.769 MiB)
Test Summary:  | Pass  Total     Time
KnuthBendix.jl | 1638   1638  5m01.0s
     Testing KnuthBendix tests passed 

Testing completed after 339.58s

PkgEval succeeded after 375.06s