Package evaluation of KnuthBendix on Julia 1.10.8 (92f03a4775*) started at 2025-02-25T05:58:56.748


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

Installing PkgEval dependencies (TestEnv)...

Set-up completed after 5.23s


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

Installing KnuthBendix...
   Resolving package versions...
    Updating `~/.julia/environments/v1.10/Project.toml`
  [c2604015] + KnuthBendix v0.5.0
    Updating `~/.julia/environments/v1.10/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.15
  [bac558e1] + OrderedCollections v1.8.0
  [aea7be01] + PrecompileTools v1.2.1
  [21216c6a] + Preferences v1.4.3
  [08abe8d2] + PrettyTables v2.4.0
  [92933f4c] + ProgressMeter v1.10.2
  [189a3867] + Reexport v1.2.2
  [892a3eda] + StringManipulation v0.4.1
  [3783bdb8] + TableTraits v1.0.1
  [bd369af6] + Tables v1.12.0
  [2a0f44e3] + Base64
  [ade2ca70] + Dates
  [8ba89e20] + Distributed
  [d6f4376e] + Markdown
  [de0858da] + Printf
  [9a3f8284] + Random
  [ea8e919c] + SHA v0.7.0
  [9e88b42a] + Serialization
  [6462fe0b] + Sockets
  [fa267f1f] + TOML v1.0.3
  [4ec0a83e] + Unicode

Installation completed after 4.27s


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

Precompiling PkgEval dependencies...

Precompiling package dependencies...

Precompilation completed after 22.15s


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

     Testing KnuthBendix
      Status `/tmp/jl_J1kxdx/Project.toml`
  [e30172f5] Documenter v1.8.1
  [d5909c97] GroupsCore v0.5.2
  [c2604015] KnuthBendix v0.5.0
  [1914dd2f] MacroTools v0.5.15
  [aea7be01] PrecompileTools v1.2.1
  [08abe8d2] PrettyTables v2.4.0
  [92933f4c] ProgressMeter v1.10.2
  [bd369af6] Tables v1.12.0
  [8dfed614] Test
      Status `/tmp/jl_J1kxdx/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.3
  [e30172f5] Documenter v1.8.1
  [d7ba0133] Git v1.3.1
  [d5909c97] GroupsCore v0.5.2
  [b5f81e59] IOCapture v0.2.5
  [82899510] IteratorInterfaceExtensions v1.0.0
  [692b3bcd] JLLWrappers v1.7.0
  [682c06a0] JSON v0.21.4
  [c2604015] KnuthBendix v0.5.0
  [b964fa9f] LaTeXStrings v1.4.0
  [0e77f7df] LazilyInitializedFields v1.3.0
  [1914dd2f] MacroTools v0.5.15
  [d0879d2d] MarkdownAST v0.1.2
  [bac558e1] OrderedCollections v1.8.0
  [69de0a69] Parsers v2.8.1
  [aea7be01] PrecompileTools v1.2.1
  [21216c6a] Preferences v1.4.3
  [08abe8d2] PrettyTables v2.4.0
  [92933f4c] ProgressMeter v1.10.2
  [189a3867] Reexport v1.2.2
  [2792f1a3] RegistryInstances v0.1.0
  [892a3eda] StringManipulation v0.4.1
  [3783bdb8] TableTraits v1.0.1
  [bd369af6] Tables v1.12.0
  [3bb67fe8] TranscodingStreams v0.11.3
  [2e619515] Expat_jll v2.6.5+0
  [f8c6e375] Git_jll v2.47.1+0
  [94ce4f54] Libiconv_jll v1.18.0+0
  [458c3c95] OpenSSL_jll v3.0.16+0
  [0dad84c5] ArgTools v1.1.1
  [56f22d72] Artifacts
  [2a0f44e3] Base64
  [ade2ca70] Dates
  [8ba89e20] Distributed
  [f43a241f] Downloads v1.6.0
  [7b1f6079] FileWatching
  [b77e0a4c] InteractiveUtils
  [b27032c2] LibCURL v0.6.4
  [76f85450] LibGit2
  [8f399da3] Libdl
  [56ddb016] Logging
  [d6f4376e] Markdown
  [a63ad114] Mmap
  [ca575930] NetworkOptions v1.2.0
  [44cfe95a] Pkg v1.10.0
  [de0858da] Printf
  [3fa0cd96] REPL
  [9a3f8284] Random
  [ea8e919c] SHA v0.7.0
  [9e88b42a] Serialization
  [6462fe0b] Sockets
  [fa267f1f] TOML v1.0.3
  [a4e569a6] Tar v1.10.0
  [8dfed614] Test
  [cf7118a7] UUIDs
  [4ec0a83e] Unicode
  [deac9b47] LibCURL_jll v8.4.0+0
  [e37daf67] LibGit2_jll v1.6.4+0
  [29816b5a] LibSSH2_jll v1.11.0+1
  [c8ffd9c3] MbedTLS_jll v2.28.2+1
  [14a3606d] MozillaCACerts_jll v2023.1.10
  [efcefdf7] PCRE2_jll v10.42.0+1
  [83775a58] Zlib_jll v1.2.13+1
  [8e850ede] nghttp2_jll v1.52.0+1
  [3f19e933] p7zip_jll v17.4.0+2
     Testing Running tests...
┌ 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.20  s/it)
  processing rules (done/total):  2/6



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



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



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



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



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



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



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



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



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



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



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



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



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



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



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



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



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



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



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



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



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



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



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



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



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



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



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



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



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



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



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



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



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



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



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



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



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



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



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



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



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



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



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



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



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



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



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



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



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



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



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



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



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



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



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



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



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



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



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



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



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



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



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



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



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



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



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



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



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



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



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



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



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



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



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



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



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



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



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



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



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



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



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



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



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



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



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



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:02 (22.28 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.315403 seconds (82.35 k allocations: 8.854 MiB, 59.48% compilation time)
  0.163880 seconds (28.19 k allocations: 5.258 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.001311 seconds (772 allocations: 52.234 KiB)
  0.001194 seconds (1.14 k allocations: 79.398 KiB)
[ Info: 237_8
  5.116816 seconds (137.15 k allocations: 14.049 MiB)
  2.237363 seconds (101.87 k allocations: 13.687 MiB)
[ Info: 3a6
  0.085841 seconds (13.92 k allocations: 1.069 MiB)
  0.042202 seconds (9.77 k allocations: 833.180 KiB)
[ Info: a4
  0.000413 seconds (339 allocations: 21.344 KiB)
  0.000607 seconds (526 allocations: 33.773 KiB)
[ Info: a4monoid
  0.000229 seconds (228 allocations: 15.906 KiB)
  0.000306 seconds (357 allocations: 24.305 KiB)
[ Info: ab1
  0.000157 seconds (156 allocations: 9.219 KiB)
  0.000198 seconds (241 allocations: 13.977 KiB)
[ Info: ab2
  0.000314 seconds (272 allocations: 16.703 KiB)
  0.000401 seconds (459 allocations: 29.242 KiB)
[ Info: c2
  0.000155 seconds (150 allocations: 8.828 KiB)
  0.000212 seconds (224 allocations: 12.914 KiB)
[ Info: cosets
  0.001125 seconds (693 allocations: 41.938 KiB)
  0.001060 seconds (1.02 k allocations: 66.711 KiB)
[ Info: d22
  0.003015 seconds (1.71 k allocations: 120.766 KiB)
  0.001971 seconds (1.98 k allocations: 149.523 KiB)
[ Info: degen1
  0.000123 seconds (129 allocations: 7.531 KiB)
  0.000169 seconds (203 allocations: 11.617 KiB)
[ Info: degen2
  0.000193 seconds (168 allocations: 9.406 KiB)
  0.000241 seconds (237 allocations: 13.164 KiB)
[ Info: degen3
  0.000316 seconds (260 allocations: 15.250 KiB)
  0.000312 seconds (325 allocations: 18.258 KiB)
[ Info: degen4a
  0.005080 seconds (2.11 k allocations: 157.422 KiB)
  0.026763 seconds (10.78 k allocations: 993.023 KiB)
[ Info: degen4b
  0.504106 seconds (209.92 k allocations: 19.600 MiB)
  0.455175 seconds (65.19 k allocations: 6.899 MiB)
[ Info: e8
  2.476436 seconds (102.82 k allocations: 8.418 MiB)
  1.420051 seconds (82.47 k allocations: 9.191 MiB)
[ Info: f2
  0.000211 seconds (209 allocations: 12.781 KiB)
  0.000255 seconds (316 allocations: 19.039 KiB)
[ Info: f25
  0.003237 seconds (3.51 k allocations: 186.078 KiB)
  0.003268 seconds (4.37 k allocations: 258.547 KiB)
[ Info: f25monoid
  0.001871 seconds (893 allocations: 60.266 KiB)
  0.001168 seconds (1.10 k allocations: 78.531 KiB)
[ Info: f27
 15.601293 seconds (218.80 k allocations: 39.324 MiB)
  6.987188 seconds (253.06 k allocations: 43.119 MiB)
[ Info: f27_2gen
  1.200493 seconds (114.44 k allocations: 11.813 MiB)
  3.024199 seconds (219.68 k allocations: 28.142 MiB)
[ Info: f27monoid
  5.508111 seconds (99.36 k allocations: 17.299 MiB)
 29.709392 seconds (506.05 k allocations: 146.958 MiB, 0.32% gc time)
[ Info: freenilpc3
  0.004666 seconds (1.74 k allocations: 136.859 KiB)
  0.004708 seconds (4.04 k allocations: 327.188 KiB)
[ Info: funny3
  1.267294 seconds (113.58 k allocations: 11.202 MiB)
  5.281394 seconds (333.28 k allocations: 42.003 MiB)
[ Info: heinnilp
  0.213684 seconds (42.99 k allocations: 6.087 MiB)
  1.564149 seconds (287.29 k allocations: 41.641 MiB)
[ Info: l32ext
  5.569999 seconds (141.29 k allocations: 14.509 MiB)
  2.814625 seconds (103.44 k allocations: 15.463 MiB)
[ Info: m11
  3.765454 seconds (305.18 k allocations: 27.377 MiB)
  8.221485 seconds (284.35 k allocations: 45.621 MiB, 0.11% gc time)
[ Info: nilp2
  0.000802 seconds (479 allocations: 32.125 KiB)
  0.000851 seconds (894 allocations: 64.289 KiB)
[ Info: nonhopf
  0.000741 seconds (350 allocations: 26.328 KiB)
  0.000963 seconds (925 allocations: 71.180 KiB)
[ Info: s16
  0.058567 seconds (13.19 k allocations: 1.091 MiB)
  0.032278 seconds (8.66 k allocations: 739.570 KiB)
[ Info: s3
  0.000194 seconds (189 allocations: 10.953 KiB)
  0.000239 seconds (283 allocations: 16.164 KiB)
[ Info: s4
  0.000617 seconds (369 allocations: 24.578 KiB)
  0.000560 seconds (586 allocations: 37.422 KiB)
[ Info: s9
  0.004162 seconds (1.58 k allocations: 115.844 KiB)
  0.003314 seconds (2.05 k allocations: 153.461 KiB)
[ Info: torus
  0.000645 seconds (496 allocations: 35.391 KiB)
  0.000757 seconds (830 allocations: 62.398 KiB)
[ Info: verifynilp
  0.189994 seconds (29.42 k allocations: 34.397 MiB)
  0.121314 seconds (43.35 k allocations: 5.250 MiB)
Test Summary:  | Pass  Total     Time
KnuthBendix.jl | 1635   1635  4m38.6s
     Testing KnuthBendix tests passed 

Testing completed after 286.73s

PkgEval succeeded after 321.22s