Package evaluation to test KnuthBendix on Julia 1.14.0-DEV.1284 (37b9484954*) started at 2025-11-23T14:26:16.479 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Set-up completed after 9.13s ################################################################################ # 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.0 ⌅ [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.12.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.11.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.25s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... ┌ Error: Failed to use TestEnv.jl; test dependencies will not be precompiled │ exception = │ UndefVarError: `project_rel_path` not defined in `TestEnv` │ Suggestion: this global was defined as `Pkg.Operations.project_rel_path` but not assigned a value. │ Stacktrace: │ [1] get_test_dir(ctx::Pkg.Types.Context, pkgspec::PackageSpec) │ @ TestEnv ~/.julia/packages/TestEnv/i9lgt/src/julia-1.11/common.jl:75 │ [2] test_dir_has_project_file │ @ ~/.julia/packages/TestEnv/i9lgt/src/julia-1.11/common.jl:52 [inlined] │ [3] maybe_gen_project_override! │ @ ~/.julia/packages/TestEnv/i9lgt/src/julia-1.11/common.jl:83 [inlined] │ [4] activate(pkg::String; allow_reresolve::Bool) │ @ TestEnv ~/.julia/packages/TestEnv/i9lgt/src/julia-1.11/activate_set.jl:12 │ [5] activate(pkg::String) │ @ TestEnv ~/.julia/packages/TestEnv/i9lgt/src/julia-1.11/activate_set.jl:9 │ [6] top-level scope │ @ /PkgEval.jl/scripts/precompile.jl:24 │ [7] include(mod::Module, _path::String) │ @ Base ./Base.jl:309 │ [8] exec_options(opts::Base.JLOptions) │ @ Base ./client.jl:344 │ [9] _start() │ @ Base ./client.jl:577 └ @ Main /PkgEval.jl/scripts/precompile.jl:26 Precompiling package dependencies... Precompiling packages... 944.0 ms ✓ GroupsCore 15701.2 ms ✓ KnuthBendix 2 dependencies successfully precompiled in 17 seconds. 25 already precompiled. Precompilation completed after 29.84s ################################################################################ # Testing # Testing KnuthBendix Status `/tmp/jl_6J6IPY/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_6J6IPY/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.0 ⌅ [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.51.3+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.12.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.13.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.11.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.1+0 [29816b5a] LibSSH2_jll v1.11.3+1 [14a3606d] MozillaCACerts_jll v2025.11.4 [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: 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.28 s/it) processing rules (done/total): 2/6   Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (56.60 ms/it) processing rules (done/total): 14/14  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (53.41 ms/it) processing rules (done/total): 15/15  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (50.08 ms/it) processing rules (done/total): 16/16  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (47.14 ms/it) processing rules (done/total): 17/17  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (44.53 ms/it) processing rules (done/total): 18/18  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (42.19 ms/it) processing rules (done/total): 19/19  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (40.09 ms/it) processing rules (done/total): 20/20  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (38.18 ms/it) processing rules (done/total): 21/21  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (36.46 ms/it) processing rules (done/total): 22/22  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (34.88 ms/it) processing rules (done/total): 23/23  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (33.44 ms/it) processing rules (done/total): 24/24  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (32.11 ms/it) processing rules (done/total): 25/25  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (30.88 ms/it) processing rules (done/total): 26/26  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (29.75 ms/it) processing rules (done/total): 27/27  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (28.70 ms/it) processing rules (done/total): 28/28  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (27.73 ms/it) processing rules (done/total): 29/29  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (26.82 ms/it) processing rules (done/total): 30/30  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (25.97 ms/it) processing rules (done/total): 31/31  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (25.18 ms/it) processing rules (done/total): 32/32  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (24.43 ms/it) processing rules (done/total): 33/33  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (23.73 ms/it) processing rules (done/total): 34/34  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (23.08 ms/it) processing rules (done/total): 35/35  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (22.46 ms/it) processing rules (done/total): 36/36  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (21.87 ms/it) processing rules (done/total): 37/37  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (21.32 ms/it) processing rules (done/total): 38/38  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (20.81 ms/it) processing rules (done/total): 39/39  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (20.32 ms/it) processing rules (done/total): 40/40  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (19.85 ms/it) processing rules (done/total): 41/41  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (19.42 ms/it) processing rules (done/total): 42/42  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (19.00 ms/it) processing rules (done/total): 43/43  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (18.61 ms/it) processing rules (done/total): 44/44  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (18.23 ms/it) processing rules (done/total): 45/45  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (17.88 ms/it) processing rules (done/total): 46/46  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (17.54 ms/it) processing rules (done/total): 47/47  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (17.22 ms/it) processing rules (done/total): 48/48  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (16.92 ms/it) processing rules (done/total): 49/49  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (16.64 ms/it) processing rules (done/total): 50/50  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (16.36 ms/it) processing rules (done/total): 51/51  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (16.11 ms/it) processing rules (done/total): 52/52  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (15.87 ms/it) processing rules (done/total): 53/53  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (15.64 ms/it) processing rules (done/total): 54/54  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (15.43 ms/it) processing rules (done/total): 55/55  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (15.22 ms/it) processing rules (done/total): 56/56  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (15.03 ms/it) processing rules (done/total): 57/57  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (14.86 ms/it) processing rules (done/total): 58/58  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (14.69 ms/it) processing rules (done/total): 59/59  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (14.54 ms/it) processing rules (done/total): 60/60  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (14.40 ms/it) processing rules (done/total): 61/61  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (14.26 ms/it) processing rules (done/total): 62/62  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (14.13 ms/it) processing rules (done/total): 63/63  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (14.01 ms/it) processing rules (done/total): 64/64  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (13.89 ms/it) processing rules (done/total): 65/65  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (13.79 ms/it) processing rules (done/total): 66/66  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (13.69 ms/it) processing rules (done/total): 67/67  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (13.60 ms/it) processing rules (done/total): 68/68  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (13.52 ms/it) processing rules (done/total): 69/69  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (13.45 ms/it) processing rules (done/total): 70/70  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (13.39 ms/it) processing rules (done/total): 71/71  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (13.34 ms/it) processing rules (done/total): 72/72  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (13.29 ms/it) processing rules (done/total): 73/73  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (13.25 ms/it) processing rules (done/total): 74/74  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (13.21 ms/it) processing rules (done/total): 75/75  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:01 (13.18 ms/it) processing rules (done/total): 76/76  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:01 (13.16 ms/it) processing rules (done/total): 77/77  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:01 (13.15 ms/it) processing rules (done/total): 78/78  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:01 (13.13 ms/it) processing rules (done/total): 79/79  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:01 (13.14 ms/it) processing rules (done/total): 80/80  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:01 (13.14 ms/it) processing rules (done/total): 81/81  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:01 (13.16 ms/it) processing rules (done/total): 82/82  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:01 (13.18 ms/it) processing rules (done/total): 83/83  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:01 (13.21 ms/it) processing rules (done/total): 84/84  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:01 (13.25 ms/it) processing rules (done/total): 85/85  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:01 (13.29 ms/it) processing rules (done/total): 86/86  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:01 (13.34 ms/it) processing rules (done/total): 87/87  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:01 (13.40 ms/it) processing rules (done/total): 88/88  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:01 (13.46 ms/it) processing rules (done/total): 89/89  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:01 (13.53 ms/it) processing rules (done/total): 90/90  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:01 (13.60 ms/it) processing rules (done/total): 91/91  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:01 (13.68 ms/it) processing rules (done/total): 92/92  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:01 (13.77 ms/it) processing rules (done/total): 93/93  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:01 (13.87 ms/it) processing rules (done/total): 94/94  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:01 (13.96 ms/it) processing rules (done/total): 95/95  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:01 (14.08 ms/it) processing rules (done/total): 96/96  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:01 (14.19 ms/it) processing rules (done/total): 97/97  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:01 (14.32 ms/it) processing rules (done/total): 98/98  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:01 (14.45 ms/it) processing rules (done/total): 99/99  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:01 (14.59 ms/it) processing rules (done/total): 100/100  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:01 (14.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.359016 seconds (139.26 k allocations: 9.920 MiB, 67.61% compilation time) 0.147387 seconds (43.98 k allocations: 5.947 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.001576 seconds (1.07 k allocations: 54.867 KiB) 0.001024 seconds (1.63 k allocations: 81.180 KiB) [ Info: 237_8 3.621293 seconds (202.84 k allocations: 16.107 MiB) 1.833964 seconds (152.50 k allocations: 16.251 MiB) [ Info: 3a6 0.062828 seconds (18.80 k allocations: 1.204 MiB) 0.041737 seconds (13.93 k allocations: 942.000 KiB) [ Info: a4 0.000365 seconds (495 allocations: 24.711 KiB) 0.000325 seconds (764 allocations: 36.570 KiB) [ Info: a4monoid 0.000208 seconds (327 allocations: 17.484 KiB) 0.000230 seconds (495 allocations: 24.984 KiB) [ Info: ab1 0.000100 seconds (221 allocations: 9.531 KiB) 0.000152 seconds (326 allocations: 13.859 KiB) [ Info: ab2 0.000206 seconds (416 allocations: 20.930 KiB) 0.000300 seconds (679 allocations: 32.680 KiB) [ Info: c2 0.000123 seconds (214 allocations: 10.109 KiB) 0.000141 seconds (302 allocations: 13.672 KiB) [ Info: cosets 0.000839 seconds (1.01 k allocations: 50.031 KiB) 0.000839 seconds (1.52 k allocations: 74.469 KiB) [ Info: d22 0.002562 seconds (2.51 k allocations: 136.234 KiB) 0.001576 seconds (3.11 k allocations: 158.977 KiB) [ Info: degen1 0.000089 seconds (182 allocations: 8.203 KiB) 0.000130 seconds (271 allocations: 11.797 KiB) [ Info: degen2 0.000118 seconds (243 allocations: 10.969 KiB) 0.000169 seconds (329 allocations: 14.469 KiB) [ Info: degen3 0.000190 seconds (394 allocations: 18.555 KiB) 0.000197 seconds (476 allocations: 21.805 KiB) [ Info: degen4a 0.005208 seconds (3.62 k allocations: 168.398 KiB) 0.023313 seconds (18.29 k allocations: 1.044 MiB) [ Info: degen4b 0.381152 seconds (314.95 k allocations: 21.374 MiB) 0.360622 seconds (124.93 k allocations: 7.615 MiB) [ Info: e8 2.113006 seconds (124.30 k allocations: 10.588 MiB) 1.402063 seconds (109.83 k allocations: 11.235 MiB) [ Info: f2 0.000122 seconds (315 allocations: 14.062 KiB) 0.000170 seconds (457 allocations: 20.438 KiB) [ Info: f25 0.003521 seconds (4.43 k allocations: 199.109 KiB) 0.003144 seconds (5.98 k allocations: 265.812 KiB) [ Info: f25monoid 0.001663 seconds (1.28 k allocations: 69.312 KiB) 0.001001 seconds (1.72 k allocations: 81.547 KiB) [ Info: f27 23.205384 seconds (355.56 k allocations: 39.639 MiB) 9.109881 seconds (422.71 k allocations: 43.285 MiB) [ Info: f27_2gen 1.075015 seconds (197.47 k allocations: 12.587 MiB) 2.771226 seconds (365.57 k allocations: 28.473 MiB) [ Info: f27monoid 3.948989 seconds (177.76 k allocations: 28.866 MiB) 25.572133 seconds (849.42 k allocations: 144.011 MiB) [ Info: freenilpc3 0.004352 seconds (2.62 k allocations: 177.484 KiB) 0.004446 seconds (6.49 k allocations: 377.367 KiB) [ Info: funny3 1.106272 seconds (200.62 k allocations: 11.559 MiB) 4.508161 seconds (546.99 k allocations: 42.467 MiB) [ Info: heinnilp 0.163552 seconds (75.13 k allocations: 6.385 MiB) 1.280263 seconds (466.32 k allocations: 44.051 MiB) [ Info: l32ext 4.034393 seconds (209.99 k allocations: 16.601 MiB) 2.308174 seconds (154.69 k allocations: 18.901 MiB) [ Info: m11 2.775768 seconds (454.71 k allocations: 28.795 MiB) 6.935755 seconds (442.03 k allocations: 45.909 MiB) [ Info: nilp2 0.001011 seconds (734 allocations: 40.672 KiB) 0.000667 seconds (1.38 k allocations: 71.516 KiB) [ Info: nonhopf 0.000609 seconds (541 allocations: 31.617 KiB) 0.000799 seconds (1.42 k allocations: 80.828 KiB) [ Info: s16 0.050334 seconds (16.79 k allocations: 1.182 MiB) 0.033790 seconds (11.64 k allocations: 810.266 KiB) [ Info: s3 0.000124 seconds (275 allocations: 12.984 KiB) 0.000181 seconds (391 allocations: 17.531 KiB) [ Info: s4 0.000495 seconds (543 allocations: 29.008 KiB) 0.000413 seconds (852 allocations: 42.758 KiB) [ Info: s9 0.002838 seconds (2.24 k allocations: 134.805 KiB) 0.002570 seconds (2.95 k allocations: 173.664 KiB) [ Info: torus 0.000458 seconds (757 allocations: 39.445 KiB) 0.000557 seconds (1.22 k allocations: 65.070 KiB) [ Info: verifynilp 0.172687 seconds (48.90 k allocations: 35.613 MiB) 0.114178 seconds (72.61 k allocations: 5.784 MiB) Test Summary: | Pass Total Time KnuthBendix.jl | 1635 1635 6m38.7s Testing KnuthBendix tests passed Testing completed after 415.79s PkgEval succeeded after 471.12s