Package evaluation of SoleReasoners on Julia 1.13.0-DEV.1114 (7de5585024*) started at 2025-09-14T02:47:56.522 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Set-up completed after 9.69s ################################################################################ # Installation # Installing SoleReasoners... Resolving package versions... Installed SoleReasoners ─ v0.1.0 Updating `~/.julia/environments/v1.13/Project.toml` [eb5c4719] + SoleReasoners v0.1.0 Updating `~/.julia/environments/v1.13/Manifest.toml` [1520ce14] + AbstractTrees v0.4.5 [66dad0bd] + AliasTables v1.1.3 [ec485272] + ArnoldiMethod v0.4.0 ⌅ [324d7699] + CategoricalArrays v0.10.8 [861a8166] + Combinatorics v1.0.3 [34da2185] + Compat v4.18.0 [a8cc5b0e] + Crayons v4.1.1 [9a962f9c] + DataAPI v1.16.0 ⌅ [864edb3b] + DataStructures v0.18.22 [e2d170a0] + DataValueInterfaces v1.0.0 [85a47980] + Dictionaries v0.4.5 [ffbed154] + DocStringExtensions v0.9.5 [1a297f60] + FillArrays v1.14.0 [069b7b12] + FunctionWrappers v1.1.3 [86223c79] + Graphs v1.13.1 [313cdc1a] + Indexing v1.1.1 [d25df0c9] + Inflate v0.1.5 [92d709cd] + IrrationalConstants v0.2.4 [c8e1da08] + IterTools v1.10.0 [82899510] + IteratorInterfaceExtensions v1.0.0 [b964fa9f] + LaTeXStrings v1.4.0 [50d2b5c4] + Lazy v0.15.1 [2ab3a3ac] + LogExpFunctions v0.3.29 [1914dd2f] + MacroTools v0.5.16 [e1d29d7a] + Missings v1.2.0 [bac558e1] + OrderedCollections v1.8.1 [aea7be01] + PrecompileTools v1.3.3 [21216c6a] + Preferences v1.5.0 ⌅ [08abe8d2] + PrettyTables v2.4.0 [43287f4e] + PtrArrays v1.3.0 [189a3867] + Reexport v1.2.2 [ae029012] + Requires v1.3.1 [699a6c99] + SimpleTraits v0.9.5 [4475fa32] + SoleBase v0.13.3 [b002da8f] + SoleLogics v0.13.2 [eb5c4719] + SoleReasoners v0.1.0 [a2af1166] + SortingAlgorithms v1.2.2 [90137ffa] + StaticArrays v1.9.15 [1e83bf80] + StaticArraysCore v1.4.3 [10745b16] + Statistics v1.11.1 [82ae8749] + StatsAPI v1.7.1 [2913bbd2] + StatsBase v0.34.6 [892a3eda] + StringManipulation v0.4.1 [3783bdb8] + TableTraits v1.0.1 [bd369af6] + Tables v1.12.1 [4239201d] + ThreadSafeDicts v0.1.6 [56f22d72] + Artifacts v1.11.0 [2a0f44e3] + Base64 v1.11.0 [ade2ca70] + Dates v1.11.0 [8ba89e20] + Distributed v1.11.0 [9fa8497b] + Future v1.11.0 [b77e0a4c] + InteractiveUtils v1.11.0 [ac6e5ff7] + JuliaSyntaxHighlighting v1.12.0 [8f399da3] + Libdl v1.11.0 [37e2e46d] + LinearAlgebra v1.13.0 [56ddb016] + Logging v1.11.0 [d6f4376e] + Markdown v1.11.0 [a63ad114] + Mmap v1.11.0 [de0858da] + Printf v1.11.0 [9a3f8284] + Random v1.11.0 [ea8e919c] + SHA v0.7.0 [9e88b42a] + Serialization v1.11.0 [1a1011a3] + SharedArrays v1.11.0 [6462fe0b] + Sockets v1.11.0 [2f01184e] + SparseArrays v1.13.0 [f489334b] + StyledStrings v1.11.0 [fa267f1f] + TOML v1.0.3 [cf7118a7] + UUIDs v1.11.0 [4ec0a83e] + Unicode v1.11.0 [e66e0078] + CompilerSupportLibraries_jll v1.3.0+1 [4536629a] + OpenBLAS_jll v0.3.29+0 [bea87d4a] + SuiteSparse_jll v7.10.1+0 [8e850b90] + libblastrampoline_jll v5.13.1+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 4.85s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling package dependencies... Precompilation completed after 85.74s ################################################################################ # Testing # Testing SoleReasoners Status `/tmp/jl_OzUTFu/Project.toml` [861a8166] Combinatorics v1.0.3 ⌅ [864edb3b] DataStructures v0.18.22 [86223c79] Graphs v1.13.1 [189a3867] Reexport v1.2.2 [4475fa32] SoleBase v0.13.3 [b002da8f] SoleLogics v0.13.2 [eb5c4719] SoleReasoners v0.1.0 [90137ffa] StaticArrays v1.9.15 [2913bbd2] StatsBase v0.34.6 [9a3f8284] Random v1.11.0 [8dfed614] Test v1.11.0 [cf7118a7] UUIDs v1.11.0 Status `/tmp/jl_OzUTFu/Manifest.toml` [1520ce14] AbstractTrees v0.4.5 [66dad0bd] AliasTables v1.1.3 [ec485272] ArnoldiMethod v0.4.0 ⌅ [324d7699] CategoricalArrays v0.10.8 [861a8166] Combinatorics v1.0.3 [34da2185] Compat v4.18.0 [a8cc5b0e] Crayons v4.1.1 [9a962f9c] DataAPI v1.16.0 ⌅ [864edb3b] DataStructures v0.18.22 [e2d170a0] DataValueInterfaces v1.0.0 [85a47980] Dictionaries v0.4.5 [ffbed154] DocStringExtensions v0.9.5 [1a297f60] FillArrays v1.14.0 [069b7b12] FunctionWrappers v1.1.3 [86223c79] Graphs v1.13.1 [313cdc1a] Indexing v1.1.1 [d25df0c9] Inflate v0.1.5 [92d709cd] IrrationalConstants v0.2.4 [c8e1da08] IterTools v1.10.0 [82899510] IteratorInterfaceExtensions v1.0.0 [b964fa9f] LaTeXStrings v1.4.0 [50d2b5c4] Lazy v0.15.1 [2ab3a3ac] LogExpFunctions v0.3.29 [1914dd2f] MacroTools v0.5.16 [e1d29d7a] Missings v1.2.0 [bac558e1] OrderedCollections v1.8.1 [aea7be01] PrecompileTools v1.3.3 [21216c6a] Preferences v1.5.0 ⌅ [08abe8d2] PrettyTables v2.4.0 [43287f4e] PtrArrays v1.3.0 [189a3867] Reexport v1.2.2 [ae029012] Requires v1.3.1 [699a6c99] SimpleTraits v0.9.5 [4475fa32] SoleBase v0.13.3 [b002da8f] SoleLogics v0.13.2 [eb5c4719] SoleReasoners v0.1.0 [a2af1166] SortingAlgorithms v1.2.2 [90137ffa] StaticArrays v1.9.15 [1e83bf80] StaticArraysCore v1.4.3 [10745b16] Statistics v1.11.1 [82ae8749] StatsAPI v1.7.1 [2913bbd2] StatsBase v0.34.6 [892a3eda] StringManipulation v0.4.1 [3783bdb8] TableTraits v1.0.1 [bd369af6] Tables v1.12.1 [4239201d] ThreadSafeDicts v0.1.6 [56f22d72] Artifacts v1.11.0 [2a0f44e3] Base64 v1.11.0 [ade2ca70] Dates v1.11.0 [8ba89e20] Distributed v1.11.0 [9fa8497b] Future v1.11.0 [b77e0a4c] InteractiveUtils v1.11.0 [ac6e5ff7] JuliaSyntaxHighlighting v1.12.0 [8f399da3] Libdl v1.11.0 [37e2e46d] LinearAlgebra v1.13.0 [56ddb016] Logging v1.11.0 [d6f4376e] Markdown v1.11.0 [a63ad114] Mmap v1.11.0 [de0858da] Printf v1.11.0 [9a3f8284] Random v1.11.0 [ea8e919c] SHA v0.7.0 [9e88b42a] Serialization v1.11.0 [1a1011a3] SharedArrays v1.11.0 [6462fe0b] Sockets v1.11.0 [2f01184e] SparseArrays v1.13.0 [f489334b] StyledStrings v1.11.0 [fa267f1f] TOML v1.0.3 [8dfed614] Test v1.11.0 [cf7118a7] UUIDs v1.11.0 [4ec0a83e] Unicode v1.11.0 [e66e0078] CompilerSupportLibraries_jll v1.3.0+1 [4536629a] OpenBLAS_jll v0.3.29+0 [bea87d4a] SuiteSparse_jll v7.10.1+0 [8e850b90] libblastrampoline_jll v5.13.1+0 Info Packages marked with ⌅ have new versions available but compatibility constraints restrict them from upgrading. Testing Running tests... Julia version: 1.13.0-DEV.1114 ################################################## TEST: abstract-tableau/abstract-tableau.jl ################################################## TEST: metric-heap/metric-heap.jl TEST: metric-heap/metrics.jl ################################################## TEST: propositional-tableau/sat.jl ################################################## TEST: many-valued-multi-modal-logic/many-valued-linear-order.jl TEST: many-valued-multi-modal-logic/mvltlfp.jl TEST: many-valued-multi-modal-logic/mvcl.jl TEST: many-valued-multi-modal-logic/mvhs.jl TEST: many-valued-multi-modal-logic/mvlrcc8.jl ################################################## TEST: many-valued-multi-modal-tableau/many-valued-multi-modal-talbeau.jl TEST: many-valued-multi-modal-tableau/mvltlfp-tableau.jl TEST: many-valued-multi-modal-tableau/mvcl-tableau.jl TEST: many-valued-multi-modal-tableau/mvhs-tableau.jl TEST: many-valued-multi-modal-tableau/mvlrcc8-tableau.jl ################################################## TEST: alphasat/mvltlfp-tableau/G4.jl TEST: alphasat/mvltlfp-tableau/L4.jl TEST: alphasat/mvltlfp-tableau/H4.jl ┌ Warning: Timeout └ @ SoleReasoners ~/.julia/packages/SoleReasoners/b4KF0/src/many-valued-multi-modal-tableau/alphasat.jl:82 TEST: alphasat/mvcl-tableau/H4.jl ┌ Warning: Timeout └ @ SoleReasoners ~/.julia/packages/SoleReasoners/b4KF0/src/many-valued-multi-modal-tableau/alphasat.jl:82 TEST: alphasat/mvhs-tableau/booleanalgebra.jl Propositional logic axioms Contrapositive: (p -> q) <-> (¬q -> ¬p) Implication as Disjunction: (p -> q) <-> (¬p ∨ q) Distributivity ∧ over ∨: p ∧ (q ∨ r) <-> (p ∧ q) ∨ (p ∧ r) De Morgan: ¬(p ∧ q) <-> ¬p ∨ ¬q De Morgan: ¬(p ∨ q) <-> ¬p ∧ ¬q Idempotence: p ∧ p <-> p Identity: p ∧ ⊤ <-> p Double Negation: ¬¬p <-> p Modus Ponens: p ∧ (p -> q) -> q Modus Tollens: (p -> q) ∧ ¬q -> ¬p Disjunctive Syllogism: ¬p ∧ (p ∨ q) -> q HS logic axioms K axiom (K_X): [X](p -> q) -> ([X]p -> [X]q) BoxRelationalConnective{SoleLogics._IA_A} with syntaxstring: [A] BoxRelationalConnective{SoleLogics._IA_L} with syntaxstring: [L] BoxRelationalConnective{SoleLogics._IA_B} with syntaxstring: [B] BoxRelationalConnective{SoleLogics._IA_E} with syntaxstring: [E] BoxRelationalConnective{SoleLogics._IA_D} with syntaxstring: [D] BoxRelationalConnective{SoleLogics._IA_O} with syntaxstring: [O] BoxRelationalConnective{SoleLogics._IA_Ai} with syntaxstring: [A̅] BoxRelationalConnective{SoleLogics._IA_Li} with syntaxstring: [L̅] BoxRelationalConnective{SoleLogics._IA_Bi} with syntaxstring: [B̅] BoxRelationalConnective{SoleLogics._IA_Ei} with syntaxstring: [E̅] BoxRelationalConnective{SoleLogics._IA_Di} with syntaxstring: [D̅] BoxRelationalConnective{SoleLogics._IA_Oi} with syntaxstring: [O̅] Transitivity (T_X): p -> p (X in [L, B, E, D, Li, Bi, Ei, Di]) DiamondRelationalConnective{SoleLogics._IA_L} with syntaxstring: ⟨L⟩ DiamondRelationalConnective{SoleLogics._IA_B} with syntaxstring: ⟨B⟩ DiamondRelationalConnective{SoleLogics._IA_E} with syntaxstring: ⟨E⟩ DiamondRelationalConnective{SoleLogics._IA_D} with syntaxstring: ⟨D⟩ DiamondRelationalConnective{SoleLogics._IA_Li} with syntaxstring: ⟨L̅⟩ DiamondRelationalConnective{SoleLogics._IA_Bi} with syntaxstring: ⟨B̅⟩ DiamondRelationalConnective{SoleLogics._IA_Ei} with syntaxstring: ⟨E̅⟩ DiamondRelationalConnective{SoleLogics._IA_Di} with syntaxstring: ⟨D̅⟩ Pseudo-transitivity (Idem_A): p -> p Temporality (Temp_A): [Ai]p -> p (Temp_L): [Li]p -> p (Temp_B): [Bi]p -> p (Temp_E): [Ei]p -> p (Temp_D): [Di]p -> p (Temp_O): [Oi]p -> p (Temp_Ai): [A]p -> p (Temp_Li):
  • p <-> p (D3): p <-> p (D4): p <-> p (D5): p <-> p (D6): p <-> p Duality (Dual_X): ¬[X]p <-> ¬p SoleLogics._IA_A() SoleLogics._IA_L() SoleLogics._IA_B() SoleLogics._IA_E() SoleLogics._IA_D() SoleLogics._IA_Ai() SoleLogics._IA_Li() SoleLogics._IA_Bi() SoleLogics._IA_Ei() SoleLogics._IA_Di() TEST: alphasat/mvhs-tableau/G4.jl TEST: alphasat/mvhs-tableau/L4.jl TEST: alphasat/mvhs-tableau/H4.jl ┌ Warning: Timeout └ @ SoleReasoners ~/.julia/packages/SoleReasoners/b4KF0/src/many-valued-multi-modal-tableau/alphasat.jl:82 TEST: alphasat/mvlrcc8-tableau/H4.jl ┌ Warning: Timeout └ @ SoleReasoners ~/.julia/packages/SoleReasoners/b4KF0/src/many-valued-multi-modal-tableau/alphasat.jl:82 ################################################## TEST: alphaval/mvltlfp-tableau/G4.jl TEST: alphaval/mvltlfp-tableau/L4.jl TEST: alphaval/mvltlfp-tableau/H4.jl TEST: alphaval/mvcl-tableau/H4.jl TEST: alphaval/mvhs-tableau/booleanalgebra.jl Propositional logic axioms Contrapositive: (p -> q) <-> (¬q -> ¬p) Implication as Disjunction: (p -> q) <-> (¬p ∨ q) Distributivity ∧ over ∨: p ∧ (q ∨ r) <-> (p ∧ q) ∨ (p ∧ r) De Morgan: ¬(p ∧ q) <-> ¬p ∨ ¬q De Morgan: ¬(p ∨ q) <-> ¬p ∧ ¬q Idempotence: p ∧ p <-> p Identity: p ∧ ⊤ <-> p Double Negation: ¬¬p <-> p Modus Ponens: p ∧ (p -> q) -> q Modus Tollens: (p -> q) ∧ ¬q -> ¬p Disjunctive Syllogism: ¬p ∧ (p ∨ q) -> q HS logic axioms K axiom (K_X): [X](p -> q) -> ([X]p -> [X]q) BoxRelationalConnective{SoleLogics._IA_A} with syntaxstring: [A] BoxRelationalConnective{SoleLogics._IA_L} with syntaxstring: [L] BoxRelationalConnective{SoleLogics._IA_B} with syntaxstring: [B] BoxRelationalConnective{SoleLogics._IA_E} with syntaxstring: [E] BoxRelationalConnective{SoleLogics._IA_D} with syntaxstring: [D] BoxRelationalConnective{SoleLogics._IA_O} with syntaxstring: [O] BoxRelationalConnective{SoleLogics._IA_Ai} with syntaxstring: [A̅] BoxRelationalConnective{SoleLogics._IA_Li} with syntaxstring: [L̅] BoxRelationalConnective{SoleLogics._IA_Bi} with syntaxstring: [B̅] BoxRelationalConnective{SoleLogics._IA_Ei} with syntaxstring: [E̅] BoxRelationalConnective{SoleLogics._IA_Di} with syntaxstring: [D̅] BoxRelationalConnective{SoleLogics._IA_Oi} with syntaxstring: [O̅] Transitivity (T_X): p -> p (X in [L, B, E, D, Li, Bi, Ei, Di]) DiamondRelationalConnective{SoleLogics._IA_L} with syntaxstring: ⟨L⟩ DiamondRelationalConnective{SoleLogics._IA_B} with syntaxstring: ⟨B⟩ DiamondRelationalConnective{SoleLogics._IA_E} with syntaxstring: ⟨E⟩ DiamondRelationalConnective{SoleLogics._IA_D} with syntaxstring: ⟨D⟩ DiamondRelationalConnective{SoleLogics._IA_Li} with syntaxstring: ⟨L̅⟩ DiamondRelationalConnective{SoleLogics._IA_Bi} with syntaxstring: ⟨B̅⟩ DiamondRelationalConnective{SoleLogics._IA_Ei} with syntaxstring: ⟨E̅⟩ DiamondRelationalConnective{SoleLogics._IA_Di} with syntaxstring: ⟨D̅⟩ Pseudo-transitivity (Idem_A): p -> p Temporality (Temp_A): [Ai]p -> p (Temp_L): [Li]p -> p (Temp_B): [Bi]p -> p (Temp_E): [Ei]p -> p (Temp_D): [Di]p -> p (Temp_O): [Oi]p -> p (Temp_Ai): [A]p -> p (Temp_Li):
  • [L]p -> p (Temp_Bi): [B]p -> p (Temp_Ei): [E]p -> p (Temp_Di): [D]p -> p (Temp_Oi): [O]p -> p Inverse of temporality (Int_A): p -> [A]p (Int_B): p -> [B]p (Int_E): p -> [E]p (Int_D): p -> [D]p (Int_O): p -> [O]p (Int_Ai): p -> [Ai]p (Int_Bi): p -> [Bi]p (Int_Ei): p -> [Ei]p (Int_Di): p -> [Di]p (Int_Oi): p -> [Oi]p Stability (Stab1_A): p -> [A]p (Stab2_A): p -> [Ai]p (Stab1_B): p -> [B]p (Stab2_B): p -> [Bi]p (Stab1_E): p -> [E]p (Stab2_E): p -> [Ei]p Commutativity (C1): p <-> p (C2): p <-> p Definability (D1): p <-> p (D2):
  • p <-> p (D3): p <-> p (D4): p <-> p (D5): p <-> p (D6): p <-> p Duality (Dual_X): ¬[X]p <-> ¬p SoleLogics._IA_A() SoleLogics._IA_L() SoleLogics._IA_B() SoleLogics._IA_E() SoleLogics._IA_D() SoleLogics._IA_Ai() SoleLogics._IA_Li() SoleLogics._IA_Bi() SoleLogics._IA_Ei() SoleLogics._IA_Di() TEST: alphaval/mvhs-tableau/G4.jl TEST: alphaval/mvhs-tableau/L4.jl TEST: alphaval/mvhs-tableau/H4.jl TEST: alphaval/mvlrcc8-tableau/H4.jl ################################################## TEST: utils/utils.jl Test Summary: | Pass Total Time SoleReasoners.jl | 28711132 28711132 27m54.4s Testing SoleReasoners tests passed Testing completed after 1693.79s PkgEval succeeded after 1810.49s
  • [L]p -> p (Temp_Bi): [B]p -> p (Temp_Ei): [E]p -> p (Temp_Di): [D]p -> p (Temp_Oi): [O]p -> p Inverse of temporality (Int_A): p -> [A]p (Int_B): p -> [B]p (Int_E): p -> [E]p (Int_D): p -> [D]p (Int_O): p -> [O]p (Int_Ai): p -> [Ai]p (Int_Bi): p -> [Bi]p (Int_Ei): p -> [Ei]p (Int_Di): p -> [Di]p (Int_Oi): p -> [Oi]p Stability (Stab1_A): p -> [A]p (Stab2_A): p -> [Ai]p (Stab1_B): p -> [B]p (Stab2_B): p -> [Bi]p (Stab1_E): p -> [E]p (Stab2_E): p -> [Ei]p Commutativity (C1): p <-> p (C2): p <-> p Definability (D1): p <-> p (D2):