Package evaluation of CDCLsat on Julia 1.11.4 (a71dd056e0*) started at 2025-04-08T10:51:53.918 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Set-up completed after 9.02s ################################################################################ # Installation # Installing CDCLsat... Resolving package versions... Updating `~/.julia/environments/v1.11/Project.toml` [b71133ba] + CDCLsat v0.1.0 Updating `~/.julia/environments/v1.11/Manifest.toml` [1520ce14] + AbstractTrees v0.4.5 [b71133ba] + CDCLsat v0.1.0 [da1fd8a2] + CodeTracking v1.3.9 [34da2185] + Compat v4.16.0 [9a962f9c] + DataAPI v1.16.0 [864edb3b] + DataStructures v0.18.22 [e2d170a0] + DataValueInterfaces v1.0.0 [ffbed154] + DocStringExtensions v0.9.4 [59287772] + Formatting v0.4.3 [eafb193a] + Highlights v0.5.3 [18e54dd8] + IntegerMathUtils v0.1.2 [82899510] + IteratorInterfaceExtensions v1.0.0 [1c23619d] + MyterialColors v0.3.0 [bac558e1] + OrderedCollections v1.8.0 [d96e819e] + Parameters v0.12.3 ⌅ [aea7be01] + PrecompileTools v1.2.1 [21216c6a] + Preferences v1.4.3 [27ebfcd6] + Primes v0.5.7 [33c8b6b6] + ProgressLogging v0.1.4 [37834d88] + RomanNumerals v0.3.3 [3783bdb8] + TableTraits v1.0.1 [bd369af6] + Tables v1.12.0 [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 [b77e0a4c] + InteractiveUtils v1.11.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 v0.7.0 [6462fe0b] + Sockets v1.11.0 [f489334b] + StyledStrings v1.11.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.14s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling package dependencies... Precompilation completed after 98.37s ################################################################################ # Testing # Testing CDCLsat Status `/tmp/jl_FtUqHX/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.0 [8dfed614] Test v1.11.0 Status `/tmp/jl_FtUqHX/Manifest.toml` [1520ce14] AbstractTrees v0.4.5 [b71133ba] CDCLsat v0.1.0 [da1fd8a2] CodeTracking v1.3.9 [34da2185] Compat v4.16.0 [9a962f9c] DataAPI v1.16.0 [864edb3b] DataStructures v0.18.22 [e2d170a0] DataValueInterfaces v1.0.0 [ffbed154] DocStringExtensions v0.9.4 [59287772] Formatting v0.4.3 [eafb193a] Highlights v0.5.3 [18e54dd8] IntegerMathUtils v0.1.2 [82899510] IteratorInterfaceExtensions v1.0.0 [1c23619d] MyterialColors v0.3.0 [bac558e1] OrderedCollections v1.8.0 [d96e819e] Parameters v0.12.3 ⌅ [aea7be01] PrecompileTools v1.2.1 [21216c6a] Preferences v1.4.3 [27ebfcd6] Primes v0.5.7 [33c8b6b6] ProgressLogging v0.1.4 [37834d88] RomanNumerals v0.3.3 [3783bdb8] TableTraits v1.0.1 [bd369af6] Tables v1.12.0 [22787eb5] Term v2.0.7 [f8b46487] TestItemRunner v1.1.0 [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.6.0 [7b1f6079] FileWatching v1.11.0 [b77e0a4c] InteractiveUtils v1.11.0 [b27032c2] LibCURL v0.6.4 [76f85450] LibGit2 v1.11.0 [8f399da3] Libdl v1.11.0 [56ddb016] Logging v1.11.0 [d6f4376e] Markdown v1.11.0 [ca575930] NetworkOptions v1.2.0 [44cfe95a] Pkg v1.11.0 [de0858da] Printf v1.11.0 [3fa0cd96] REPL v1.11.0 [9a3f8284] Random v1.11.0 [ea8e919c] SHA v0.7.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 [deac9b47] LibCURL_jll v8.6.0+0 [e37daf67] LibGit2_jll v1.7.2+0 [29816b5a] LibSSH2_jll v1.11.0+1 [c8ffd9c3] MbedTLS_jll v2.28.6+0 [14a3606d] MozillaCACerts_jll v2023.12.12 [83775a58] Zlib_jll v1.2.13+1 [8e850ede] nghttp2_jll v1.59.0+0 [3f19e933] p7zip_jll v17.4.0+2 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.448 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 ──────────────────────────────────────────────────────────────────╮ │ ♢ → ¬x │ ╰────────────────────────────────────────────────────────────────────── @ 1 ───╯ ╭──── PROPAGATE ───────────────────────────────────────────────────────────────╮ │ c1 → y │ ╰────────────────────────────────────────────────────────────────────── @ 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 ──────────────────────────────────────────────────────────────────╮ │ ♢ → ¬x │ ╰────────────────────────────────────────────────────────────────────── @ 1 ───╯ ╭──── PROPAGATE ───────────────────────────────────────────────────────────────╮ │ c1 → y │ ╰────────────────────────────────────────────────────────────────────── @ 1 ───╯ ╭──── CONFLICT ────────────────────────────────────────────────────────────────╮ │ c4 ↯ y │ ╰────────────────────────────────────────────────────────────────────── @ 1 ───╯ ╭──── LEARN ───────────────────────────────────────────────────────────────────╮ │ cI → x │ ╰────────────────────────────────────────────────────────────────────── @ 0 ───╯ ╭──── PROPAGATE ───────────────────────────────────────────────────────────────╮ │ c2 → ¬y │ ╰────────────────────────────────────────────────────────────────────── @ 0 ───╯ ╭──── CONFLICT ────────────────────────────────────────────────────────────────╮ │ c3 ↯ ¬y │ ╰────────────────────────────────────────────────────────────────────── @ 0 ───╯ ╔════ UNSATISFIABLE ═══════════════════════════════════════════════════════════╗ ║ An unresolvable conflict has been found. ║ ╚══════════════════════════════════════════════════════════════════ 0.018 s ═══╝ Test Summary: | Pass Total Time Package | 3 3 30.0s Testing CDCLsat tests passed Testing completed after 80.36s PkgEval succeeded after 205.19s