Package evaluation to test SoleReasoners on Julia 1.14.0-DEV.1893 (b4aba01002*) started at 2026-03-15T18:49:46.823 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Activating project at `~/.julia/environments/v1.14` Set-up completed after 14.24s ################################################################################ # Installation # Installing SoleReasoners... Resolving package versions... Updating `~/.julia/environments/v1.14/Project.toml` [eb5c4719] + SoleReasoners v0.1.0 Updating `~/.julia/environments/v1.14/Manifest.toml` [1520ce14] + AbstractTrees v0.4.5 [66dad0bd] + AliasTables v1.1.3 [ec485272] + ArnoldiMethod v0.4.0 [324d7699] + CategoricalArrays v1.0.2 [861a8166] + Combinatorics v1.1.0 [34da2185] + Compat v4.18.1 [a8cc5b0e] + Crayons v4.1.1 [9a962f9c] + DataAPI v1.16.0 [864edb3b] + DataStructures v0.19.3 [e2d170a0] + DataValueInterfaces v1.0.0 [85a47980] + Dictionaries v0.4.6 [ffbed154] + DocStringExtensions v0.9.5 [1a297f60] + FillArrays v1.16.0 [069b7b12] + FunctionWrappers v1.1.3 [86223c79] + Graphs v1.14.0 [313cdc1a] + Indexing v1.1.1 [d25df0c9] + Inflate v0.1.5 [92d709cd] + IrrationalConstants v0.2.6 [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.2 [08abe8d2] + PrettyTables v3.2.3 [43287f4e] + PtrArrays v1.4.0 [189a3867] + Reexport v1.2.2 [ae029012] + Requires v1.3.1 [699a6c99] + SimpleTraits v0.9.5 [4475fa32] + SoleBase v0.13.4 [b002da8f] + SoleLogics v0.13.7 [eb5c4719] + SoleReasoners v0.1.0 [a2af1166] + SortingAlgorithms v1.2.2 [90137ffa] + StaticArrays v1.9.18 [1e83bf80] + StaticArraysCore v1.4.4 [10745b16] + Statistics v1.11.1 [82ae8749] + StatsAPI v1.8.0 [2913bbd2] + StatsBase v0.34.10 [892a3eda] + StringManipulation v0.4.4 [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 [7b1f6079] + FileWatching v1.11.0 [9fa8497b] + Future v1.11.0 [b77e0a4c] + InteractiveUtils v1.11.0 [ac6e5ff7] + JuliaSyntaxHighlighting v1.13.0 [8f399da3] + Libdl v1.11.0 [37e2e46d] + LinearAlgebra v1.13.0 [56ddb016] + Logging v1.11.0 [d6f4376e] + Markdown v1.11.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 [2f01184e] + SparseArrays v1.13.0 [f489334b] + StyledStrings v1.13.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.30+0 [bea87d4a] + SuiteSparse_jll v7.10.1+0 [8e850b90] + libblastrampoline_jll v5.15.0+0 Installation completed after 5.09s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling package dependencies... Precompiling packages... 3724.5 ms ✓ SoleBase 26112.1 ms ✓ SoleLogics 8496.9 ms ✓ SoleReasoners 3 dependencies successfully precompiled in 41 seconds. 67 already precompiled. 9 dependencies precompiled but different versions are currently loaded (Base64, Dates, JuliaSyntaxHighlighting, Logging, Markdown, Printf, StyledStrings, TOML and UUIDs). Restart julia to access the new versions. Otherwise, 22 dependents of these packages may trigger further precompilation to work with the unexpected versions. Precompilation completed after 64.51s ################################################################################ # Testing # Testing SoleReasoners Status `/tmp/jl_YkPhd4/Project.toml` [861a8166] Combinatorics v1.1.0 [864edb3b] DataStructures v0.19.3 [86223c79] Graphs v1.14.0 [189a3867] Reexport v1.2.2 [4475fa32] SoleBase v0.13.4 [b002da8f] SoleLogics v0.13.7 [eb5c4719] SoleReasoners v0.1.0 [90137ffa] StaticArrays v1.9.18 [2913bbd2] StatsBase v0.34.10 [9a3f8284] Random v1.11.0 [8dfed614] Test v1.11.0 [cf7118a7] UUIDs v1.11.0 Status `/tmp/jl_YkPhd4/Manifest.toml` [1520ce14] AbstractTrees v0.4.5 [66dad0bd] AliasTables v1.1.3 [ec485272] ArnoldiMethod v0.4.0 [324d7699] CategoricalArrays v1.0.2 [861a8166] Combinatorics v1.1.0 [34da2185] Compat v4.18.1 [a8cc5b0e] Crayons v4.1.1 [9a962f9c] DataAPI v1.16.0 [864edb3b] DataStructures v0.19.3 [e2d170a0] DataValueInterfaces v1.0.0 [85a47980] Dictionaries v0.4.6 [ffbed154] DocStringExtensions v0.9.5 [1a297f60] FillArrays v1.16.0 [069b7b12] FunctionWrappers v1.1.3 [86223c79] Graphs v1.14.0 [313cdc1a] Indexing v1.1.1 [d25df0c9] Inflate v0.1.5 [92d709cd] IrrationalConstants v0.2.6 [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.2 [08abe8d2] PrettyTables v3.2.3 [43287f4e] PtrArrays v1.4.0 [189a3867] Reexport v1.2.2 [ae029012] Requires v1.3.1 [699a6c99] SimpleTraits v0.9.5 [4475fa32] SoleBase v0.13.4 [b002da8f] SoleLogics v0.13.7 [eb5c4719] SoleReasoners v0.1.0 [a2af1166] SortingAlgorithms v1.2.2 [90137ffa] StaticArrays v1.9.18 [1e83bf80] StaticArraysCore v1.4.4 [10745b16] Statistics v1.11.1 [82ae8749] StatsAPI v1.8.0 [2913bbd2] StatsBase v0.34.10 [892a3eda] StringManipulation v0.4.4 [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 [7b1f6079] FileWatching v1.11.0 [9fa8497b] Future v1.11.0 [b77e0a4c] InteractiveUtils v1.11.0 [ac6e5ff7] JuliaSyntaxHighlighting v1.13.0 [8f399da3] Libdl v1.11.0 [37e2e46d] LinearAlgebra v1.13.0 [56ddb016] Logging v1.11.0 [d6f4376e] Markdown v1.11.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 [2f01184e] SparseArrays v1.13.0 [f489334b] StyledStrings v1.13.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.30+0 [bea87d4a] SuiteSparse_jll v7.10.1+0 [8e850b90] libblastrampoline_jll v5.15.0+0 Testing Running tests... Julia version: 1.14.0-DEV.1893 ################################################## 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}: [A] BoxRelationalConnective{SoleLogics._IA_L}: [L] BoxRelationalConnective{SoleLogics._IA_B}: [B] BoxRelationalConnective{SoleLogics._IA_E}: [E] BoxRelationalConnective{SoleLogics._IA_D}: [D] BoxRelationalConnective{SoleLogics._IA_O}: [O] BoxRelationalConnective{SoleLogics._IA_Ai}: [A̅] BoxRelationalConnective{SoleLogics._IA_Li}: [L̅] BoxRelationalConnective{SoleLogics._IA_Bi}: [B̅] BoxRelationalConnective{SoleLogics._IA_Ei}: [E̅] BoxRelationalConnective{SoleLogics._IA_Di}: [D̅] BoxRelationalConnective{SoleLogics._IA_Oi}: [O̅] Transitivity (T_X): p -> p (X in [L, B, E, D, Li, Bi, Ei, Di]) DiamondRelationalConnective{SoleLogics._IA_L}: ⟨L⟩ DiamondRelationalConnective{SoleLogics._IA_B}: ⟨B⟩ DiamondRelationalConnective{SoleLogics._IA_E}: ⟨E⟩ DiamondRelationalConnective{SoleLogics._IA_D}: ⟨D⟩ DiamondRelationalConnective{SoleLogics._IA_Li}: ⟨L̅⟩ DiamondRelationalConnective{SoleLogics._IA_Bi}: ⟨B̅⟩ DiamondRelationalConnective{SoleLogics._IA_Ei}: ⟨E̅⟩ DiamondRelationalConnective{SoleLogics._IA_Di}: ⟨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}: [A] BoxRelationalConnective{SoleLogics._IA_L}: [L] BoxRelationalConnective{SoleLogics._IA_B}: [B] BoxRelationalConnective{SoleLogics._IA_E}: [E] BoxRelationalConnective{SoleLogics._IA_D}: [D] BoxRelationalConnective{SoleLogics._IA_O}: [O] BoxRelationalConnective{SoleLogics._IA_Ai}: [A̅] BoxRelationalConnective{SoleLogics._IA_Li}: [L̅] BoxRelationalConnective{SoleLogics._IA_Bi}: [B̅] BoxRelationalConnective{SoleLogics._IA_Ei}: [E̅] BoxRelationalConnective{SoleLogics._IA_Di}: [D̅] BoxRelationalConnective{SoleLogics._IA_Oi}: [O̅] Transitivity (T_X): p -> p (X in [L, B, E, D, Li, Bi, Ei, Di]) DiamondRelationalConnective{SoleLogics._IA_L}: ⟨L⟩ DiamondRelationalConnective{SoleLogics._IA_B}: ⟨B⟩ DiamondRelationalConnective{SoleLogics._IA_E}: ⟨E⟩ DiamondRelationalConnective{SoleLogics._IA_D}: ⟨D⟩ DiamondRelationalConnective{SoleLogics._IA_Li}: ⟨L̅⟩ DiamondRelationalConnective{SoleLogics._IA_Bi}: ⟨B̅⟩ DiamondRelationalConnective{SoleLogics._IA_Ei}: ⟨E̅⟩ DiamondRelationalConnective{SoleLogics._IA_Di}: ⟨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 27m48.5s Testing SoleReasoners tests passed Testing completed after 1681.65s PkgEval succeeded after 1784.13s
  • [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):