Package evaluation to test CDCLsat on Julia 1.14.0-DEV.1299 (6d6224db99*) started at 2025-11-25T15:15:54.195 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Set-up completed after 9.03s ################################################################################ # Installation # Installing CDCLsat... Resolving package versions... Updating `~/.julia/environments/v1.14/Project.toml` [b71133ba] + CDCLsat v0.1.0 Updating `~/.julia/environments/v1.14/Manifest.toml` [1520ce14] + AbstractTrees v0.4.5 [b71133ba] + CDCLsat v0.1.0 ⌅ [da1fd8a2] + CodeTracking v1.3.9 [34da2185] + Compat v4.18.1 [9a962f9c] + DataAPI v1.16.0 ⌅ [864edb3b] + DataStructures v0.18.22 [e2d170a0] + DataValueInterfaces v1.0.0 [ffbed154] + DocStringExtensions v0.9.5 [59287772] + Formatting v0.4.3 [eafb193a] + Highlights v0.5.3 [18e54dd8] + IntegerMathUtils v0.1.3 [82899510] + IteratorInterfaceExtensions v1.0.0 [1c23619d] + MyterialColors v0.3.0 [bac558e1] + OrderedCollections v1.8.1 [d96e819e] + Parameters v0.12.3 [aea7be01] + PrecompileTools v1.3.3 [21216c6a] + Preferences v1.5.0 [27ebfcd6] + Primes v0.5.7 [33c8b6b6] + ProgressLogging v0.1.6 [37834d88] + RomanNumerals v0.3.3 [3783bdb8] + TableTraits v1.0.1 [bd369af6] + Tables v1.12.1 [22787eb5] + Term v2.0.7 [3a884ed6] + UnPack v1.0.2 [1cfade01] + UnicodeFun v0.4.1 [2a0f44e3] + Base64 v1.11.0 [ade2ca70] + Dates v1.11.0 [7b1f6079] + FileWatching v1.11.0 [b77e0a4c] + InteractiveUtils v1.11.0 [ac6e5ff7] + JuliaSyntaxHighlighting v1.12.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 [6462fe0b] + Sockets v1.11.0 [f489334b] + StyledStrings v1.13.0 [fa267f1f] + TOML v1.0.3 [cf7118a7] + UUIDs v1.11.0 [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 4.18s ################################################################################ # 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... 73168.2 ms ✓ Term 6094.7 ms ✓ CDCLsat 2 dependencies successfully precompiled in 82 seconds. 36 already precompiled. Precompilation completed after 92.41s ################################################################################ # Testing # Testing CDCLsat Status `/tmp/jl_XwiAMX/Project.toml` [b71133ba] CDCLsat v0.1.0 ⌅ [864edb3b] DataStructures v0.18.22 [59287772] Formatting v0.4.3 [37834d88] RomanNumerals v0.3.3 [22787eb5] Term v2.0.7 [f8b46487] TestItemRunner v1.1.1 [8dfed614] Test v1.11.0 Status `/tmp/jl_XwiAMX/Manifest.toml` [1520ce14] AbstractTrees v0.4.5 [b71133ba] CDCLsat v0.1.0 ⌅ [da1fd8a2] CodeTracking v1.3.9 [34da2185] Compat v4.18.1 [9a962f9c] DataAPI v1.16.0 ⌅ [864edb3b] DataStructures v0.18.22 [e2d170a0] DataValueInterfaces v1.0.0 [ffbed154] DocStringExtensions v0.9.5 [59287772] Formatting v0.4.3 [eafb193a] Highlights v0.5.3 [18e54dd8] IntegerMathUtils v0.1.3 [82899510] IteratorInterfaceExtensions v1.0.0 [1c23619d] MyterialColors v0.3.0 [bac558e1] OrderedCollections v1.8.1 [d96e819e] Parameters v0.12.3 [aea7be01] PrecompileTools v1.3.3 [21216c6a] Preferences v1.5.0 [27ebfcd6] Primes v0.5.7 [33c8b6b6] ProgressLogging v0.1.6 [37834d88] RomanNumerals v0.3.3 [3783bdb8] TableTraits v1.0.1 [bd369af6] Tables v1.12.1 [22787eb5] Term v2.0.7 [f8b46487] TestItemRunner v1.1.1 [1c621080] TestItems v1.0.0 [3a884ed6] UnPack v1.0.2 [1cfade01] UnicodeFun v0.4.1 [0dad84c5] ArgTools v1.1.2 [56f22d72] Artifacts v1.11.0 [2a0f44e3] Base64 v1.11.0 [ade2ca70] Dates 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.13.0 [fa267f1f] TOML v1.0.3 [a4e569a6] Tar v1.10.0 [8dfed614] Test v1.11.0 [cf7118a7] UUIDs v1.11.0 [4ec0a83e] Unicode v1.11.0 [e66e0078] CompilerSupportLibraries_jll v1.3.0+1 [deac9b47] LibCURL_jll v8.17.0+0 [e37daf67] LibGit2_jll v1.9.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... ╔════ CDCLsat ═════════════════════════════════════════════════════════════════╗ ║ ╭───────────────────┬─────────╮ ║ ║ │ Model Parameter │ Value │ ║ ║ ├───────────────────┼─────────┤ ║ ║ │ |Variables| │ 0 │ ║ ║ ├───────────────────┼─────────┤ ║ ║ │ |Clauses| │ 1 │ ║ ║ ├───────────────────┼─────────┤ ║ ║ │ Decision │ false │ ║ ║ ├───────────────────┼─────────┤ ║ ║ │ VSIDS │ │ ║ ║ ├───────────────────┼─────────┤ ║ ║ │ ↪ Increment │ 1 │ ║ ║ ├───────────────────┼─────────┤ ║ ║ │ ↪ Increase │ 1 │ ║ ║ ├───────────────────┼─────────┤ ║ ║ │ ↪ Period │ 10 │ ║ ║ ├───────────────────┼─────────┤ ║ ║ │ ↪ Decay │ 0.5 │ ║ ║ ├───────────────────┼─────────┤ ║ ║ │ Output │ true │ ║ ║ ╰───────────────────┴─────────╯ ║ ╚═══════════════════════════════════════════════════════════════════ v0.1.0 ═══╝ ╭──── CONFLICT ────────────────────────────────────────────────────────────────╮ │ c1 ↯ □ │ ╰────────────────────────────────────────────────────────────────────── @ 0 ───╯ ╔════ UNSATISFIABLE ═══════════════════════════════════════════════════════════╗ ║ An unresolvable conflict has been found. ║ ╚══════════════════════════════════════════════════════════════════ 0.312 s ═══╝ ╔════ CDCLsat ═════════════════════════════════════════════════════════════════╗ ║ ╭───────────────────┬─────────╮ ║ ║ │ Model Parameter │ Value │ ║ ║ ├───────────────────┼─────────┤ ║ ║ │ |Variables| │ 2 │ ║ ║ ├───────────────────┼─────────┤ ║ ║ │ |Clauses| │ 2 │ ║ ║ ├───────────────────┼─────────┤ ║ ║ │ Decision │ false │ ║ ║ ├───────────────────┼─────────┤ ║ ║ │ VSIDS │ │ ║ ║ ├───────────────────┼─────────┤ ║ ║ │ ↪ Increment │ 1 │ ║ ║ ├───────────────────┼─────────┤ ║ ║ │ ↪ Increase │ 1 │ ║ ║ ├───────────────────┼─────────┤ ║ ║ │ ↪ Period │ 10 │ ║ ║ ├───────────────────┼─────────┤ ║ ║ │ ↪ Decay │ 0.5 │ ║ ║ ├───────────────────┼─────────┤ ║ ║ │ Output │ true │ ║ ║ ╰───────────────────┴─────────╯ ║ ╚═══════════════════════════════════════════════════════════════════ v0.1.0 ═══╝ ╭──── DECIDE ──────────────────────────────────────────────────────────────────╮ │ ♢ → ¬y │ ╰────────────────────────────────────────────────────────────────────── @ 1 ───╯ ╭──── PROPAGATE ───────────────────────────────────────────────────────────────╮ │ c1 → x │ ╰────────────────────────────────────────────────────────────────────── @ 1 ───╯ ╔════ SATISFIABLE ═════════════════════════════════════════════════════════════╗ ║ ╭─────────────────────────╮ ║ ║ │ Satisfying Assignment │ ║ ║ ├─────────────────────────┤ ║ ║ │ x │ ║ ║ ├─────────────────────────┤ ║ ║ │ ¬y │ ║ ║ ╰─────────────────────────╯ ║ ╚══════════════════════════════════════════════════════════════════ 0.001 s ═══╝ ╔════ CDCLsat ═════════════════════════════════════════════════════════════════╗ ║ ╭───────────────────┬─────────╮ ║ ║ │ Model Parameter │ Value │ ║ ║ ├───────────────────┼─────────┤ ║ ║ │ |Variables| │ 2 │ ║ ║ ├───────────────────┼─────────┤ ║ ║ │ |Clauses| │ 4 │ ║ ║ ├───────────────────┼─────────┤ ║ ║ │ Decision │ false │ ║ ║ ├───────────────────┼─────────┤ ║ ║ │ VSIDS │ │ ║ ║ ├───────────────────┼─────────┤ ║ ║ │ ↪ Increment │ 1 │ ║ ║ ├───────────────────┼─────────┤ ║ ║ │ ↪ Increase │ 1 │ ║ ║ ├───────────────────┼─────────┤ ║ ║ │ ↪ Period │ 10 │ ║ ║ ├───────────────────┼─────────┤ ║ ║ │ ↪ Decay │ 0.5 │ ║ ║ ├───────────────────┼─────────┤ ║ ║ │ Output │ true │ ║ ║ ╰───────────────────┴─────────╯ ║ ╚═══════════════════════════════════════════════════════════════════ v0.1.0 ═══╝ ╭──── DECIDE ──────────────────────────────────────────────────────────────────╮ │ ♢ → ¬y │ ╰────────────────────────────────────────────────────────────────────── @ 1 ───╯ ╭──── PROPAGATE ───────────────────────────────────────────────────────────────╮ │ c1 → x │ ╰────────────────────────────────────────────────────────────────────── @ 1 ───╯ ╭──── CONFLICT ────────────────────────────────────────────────────────────────╮ │ c3 ↯ x │ ╰────────────────────────────────────────────────────────────────────── @ 1 ───╯ ╭──── LEARN ───────────────────────────────────────────────────────────────────╮ │ cI → y │ ╰────────────────────────────────────────────────────────────────────── @ 0 ───╯ ╭──── PROPAGATE ───────────────────────────────────────────────────────────────╮ │ c2 → ¬x │ ╰────────────────────────────────────────────────────────────────────── @ 0 ───╯ ╭──── CONFLICT ────────────────────────────────────────────────────────────────╮ │ c4 ↯ ¬x │ ╰────────────────────────────────────────────────────────────────────── @ 0 ───╯ ╔════ UNSATISFIABLE ═══════════════════════════════════════════════════════════╗ ║ An unresolvable conflict has been found. ║ ╚══════════════════════════════════════════════════════════════════ 0.018 s ═══╝ Test Summary: | Pass Total Time Package | 3 3 37.2s Testing CDCLsat tests passed Testing completed after 88.77s PkgEval succeeded after 251.09s