Package evaluation of ProblemReductions on Julia 1.12.0-DEV.1805 (a080deafdd*) started at 2025-03-24T14:45:39.693 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Set-up completed after 9.14s ################################################################################ # Installation # Installing ProblemReductions... Resolving package versions... Updating `~/.julia/environments/v1.12/Project.toml` [899c297d] + ProblemReductions v0.3.0 Updating `~/.julia/environments/v1.12/Manifest.toml` [ec485272] + ArnoldiMethod v0.4.0 [50ba71b6] + BitBasis v0.9.8 [34da2185] + Compat v4.16.0 [a8cc5b0e] + Crayons v4.1.1 [9a962f9c] + DataAPI v1.16.0 [864edb3b] + DataStructures v0.18.22 [e2d170a0] + DataValueInterfaces v1.0.0 [ffbed154] + DocStringExtensions v0.9.3 [86223c79] + Graphs v1.12.0 [d25df0c9] + Inflate v0.1.5 [82899510] + IteratorInterfaceExtensions v1.0.0 [b964fa9f] + LaTeXStrings v1.4.0 [d8e11817] + MLStyle v0.4.17 [1914dd2f] + MacroTools v0.5.15 [bac558e1] + OrderedCollections v1.8.0 [aea7be01] + PrecompileTools v1.2.1 [21216c6a] + Preferences v1.4.3 [08abe8d2] + PrettyTables v2.4.0 [899c297d] + ProblemReductions v0.3.0 [189a3867] + Reexport v1.2.2 [699a6c99] + SimpleTraits v0.9.4 [90137ffa] + StaticArrays v1.9.13 [1e83bf80] + StaticArraysCore v1.4.3 [10745b16] + Statistics v1.11.1 [892a3eda] + StringManipulation v0.4.1 [3783bdb8] + TableTraits v1.0.1 [bd369af6] + Tables v1.12.0 [56f22d72] + Artifacts v1.11.0 [2a0f44e3] + Base64 v1.11.0 [ade2ca70] + Dates v1.11.0 [8ba89e20] + Distributed v1.11.0 [b77e0a4c] + InteractiveUtils v1.11.0 [dc6e5ff7] + JuliaSyntaxHighlighting v1.12.0 [76f85450] + LibGit2 v1.11.0 [8f399da3] + Libdl v1.11.0 [37e2e46d] + LinearAlgebra v1.11.0 [d6f4376e] + Markdown v1.11.0 [a63ad114] + Mmap v1.11.0 [ca575930] + NetworkOptions v1.2.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.12.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.2.0+0 [e37daf67] + LibGit2_jll v1.8.0+0 [29816b5a] + LibSSH2_jll v1.11.0+1 [c8ffd9c3] + MbedTLS_jll v2.28.6+1 [4536629a] + OpenBLAS_jll v0.3.28+3 [bea87d4a] + SuiteSparse_jll v7.8.0+1 [8e850b90] + libblastrampoline_jll v5.11.2+0 Installation completed after 1.91s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling package dependencies... Precompilation completed after 83.23s ################################################################################ # Testing # Testing ProblemReductions Status `/tmp/jl_KtuXKP/Project.toml` [50ba71b6] BitBasis v0.9.8 [ffbed154] DocStringExtensions v0.9.3 [e30172f5] Documenter v1.9.0 [86223c79] Graphs v1.12.0 [d8e11817] MLStyle v0.4.17 [08abe8d2] PrettyTables v2.4.0 [899c297d] ProblemReductions v0.3.0 [b77e0a4c] InteractiveUtils v1.11.0 [8dfed614] Test v1.11.0 Status `/tmp/jl_KtuXKP/Manifest.toml` [a4c015fc] ANSIColoredPrinters v0.0.1 [1520ce14] AbstractTrees v0.4.5 [ec485272] ArnoldiMethod v0.4.0 [50ba71b6] BitBasis v0.9.8 [944b1d66] CodecZlib v0.7.8 [34da2185] Compat v4.16.0 [a8cc5b0e] Crayons v4.1.1 [9a962f9c] DataAPI v1.16.0 [864edb3b] DataStructures v0.18.22 [e2d170a0] DataValueInterfaces v1.0.0 [ffbed154] DocStringExtensions v0.9.3 [e30172f5] Documenter v1.9.0 [d7ba0133] Git v1.3.1 [86223c79] Graphs v1.12.0 [b5f81e59] IOCapture v0.2.5 [d25df0c9] Inflate v0.1.5 [82899510] IteratorInterfaceExtensions v1.0.0 [692b3bcd] JLLWrappers v1.7.0 [682c06a0] JSON v0.21.4 [b964fa9f] LaTeXStrings v1.4.0 [0e77f7df] LazilyInitializedFields v1.3.0 [d8e11817] MLStyle v0.4.17 [1914dd2f] MacroTools v0.5.15 [d0879d2d] MarkdownAST v0.1.2 [bac558e1] OrderedCollections v1.8.0 [69de0a69] Parsers v2.8.1 [aea7be01] PrecompileTools v1.2.1 [21216c6a] Preferences v1.4.3 [08abe8d2] PrettyTables v2.4.0 [899c297d] ProblemReductions v0.3.0 [189a3867] Reexport v1.2.2 [2792f1a3] RegistryInstances v0.1.0 [699a6c99] SimpleTraits v0.9.4 [90137ffa] StaticArrays v1.9.13 [1e83bf80] StaticArraysCore v1.4.3 [10745b16] Statistics v1.11.1 [892a3eda] StringManipulation v0.4.1 [3783bdb8] TableTraits v1.0.1 [bd369af6] Tables v1.12.0 [3bb67fe8] TranscodingStreams v0.11.3 [2e619515] Expat_jll v2.6.5+0 [f8c6e375] Git_jll v2.47.1+0 [94ce4f54] Libiconv_jll v1.18.0+0 [458c3c95] OpenSSL_jll v3.0.16+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.6.0 [7b1f6079] FileWatching v1.11.0 [b77e0a4c] InteractiveUtils v1.11.0 [dc6e5ff7] JuliaSyntaxHighlighting v1.12.0 [b27032c2] LibCURL v0.6.4 [76f85450] LibGit2 v1.11.0 [8f399da3] Libdl v1.11.0 [37e2e46d] LinearAlgebra v1.11.0 [56ddb016] Logging v1.11.0 [d6f4376e] Markdown v1.11.0 [a63ad114] Mmap v1.11.0 [ca575930] NetworkOptions v1.2.0 [44cfe95a] Pkg v1.12.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 [1a1011a3] SharedArrays v1.11.0 [6462fe0b] Sockets v1.11.0 [2f01184e] SparseArrays v1.12.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.2.0+0 [deac9b47] LibCURL_jll v8.6.0+0 [e37daf67] LibGit2_jll v1.8.0+0 [29816b5a] LibSSH2_jll v1.11.0+1 [c8ffd9c3] MbedTLS_jll v2.28.6+1 [14a3606d] MozillaCACerts_jll v2024.11.26 [4536629a] OpenBLAS_jll v0.3.28+3 [efcefdf7] PCRE2_jll v10.44.0+0 [bea87d4a] SuiteSparse_jll v7.8.0+1 [83775a58] Zlib_jll v1.3.1+1 [8e850b90] libblastrampoline_jll v5.11.2+0 [8e850ede] nghttp2_jll v1.63.0+1 [3f19e933] p7zip_jll v17.5.0+1 Testing Running tests... Test Summary: | Pass Total Time bit vector | 16 16 9.5s Circuit: | c = ∧(x, y) | d = ∨(x, c) Circuit: | c = ∧(x, y) | d = ∨(x, c) Circuit: | c = ∧(x, y) | d = ∨(x, ∧(c, ¬(z))) CircuitSAT{Int64, UnitWeight, ProblemReductions.EXTREMA}: | c = ∧(x, y) | ##var#270 = ¬(z) | ##var#269 = ∧(c, ##var#270) | d = ∨(x, ##var#269) Symbols: [:c, :x, :y, Symbol("##var#270"), :z, Symbol("##var#269"), :d] ┌ Warning: `local_solution_spec` is deprecated, use `objectives` instead. │ caller = top-level scope at Circuit.jl:78 └ @ Core ~/.julia/packages/ProblemReductions/lse8D/test/models/Circuit.jl:78 ProblemReductions.objectives(ksat_test) = ProblemReductions.LocalSolutionSize{Int64}[LocalSolutionSize{Int64} on [1, 2, 3] ┌───────────────┬──────┐ │ Configuration │ Size │ ├───────────────┼──────┤ │ [0, 0, 0] │ 1 │ │ [1, 0, 0] │ 1 │ │ [0, 1, 0] │ 1 │ │ [1, 1, 0] │ 1 │ │ [0, 0, 1] │ 0 │ │ [1, 0, 1] │ 1 │ │ [0, 1, 1] │ 1 │ │ [1, 1, 1] │ 1 │ └───────────────┴──────┘ , LocalSolutionSize{Int64} on [4, 1] ┌───────────────┬──────┐ │ Configuration │ Size │ ├───────────────┼──────┤ │ [0, 0] │ 1 │ │ [1, 0] │ 1 │ │ [0, 1] │ 1 │ │ [1, 1] │ 1 │ └───────────────┴──────┘ ] ┌ Info: constraints: ProblemReductions.LocalConstraint[LocalConstraint on [1, 2] │ ┌───────────────┬───────┐ │ │ Configuration │ Valid │ │ ├───────────────┼───────┤ │ │ [0, 0] │ true │ │ │ [1, 0] │ true │ │ │ [0, 1] │ true │ │ │ [1, 1] │ false │ │ └───────────────┴───────┘ │ , LocalConstraint on [1, 3] │ ┌───────────────┬───────┐ │ │ Configuration │ Valid │ │ ├───────────────┼───────┤ │ │ [0, 0] │ true │ │ │ [1, 0] │ true │ │ │ [0, 1] │ true │ │ │ [1, 1] │ false │ │ └───────────────┴───────┘ │ , LocalConstraint on [2, 3] │ ┌───────────────┬───────┐ │ │ Configuration │ Valid │ │ ├───────────────┼───────┤ │ │ [0, 0] │ true │ │ │ [1, 0] │ true │ │ │ [0, 1] │ true │ │ │ [1, 1] │ false │ │ └───────────────┴───────┘ │ , LocalConstraint on [3, 4] │ ┌───────────────┬───────┐ │ │ Configuration │ Valid │ │ ├───────────────┼───────┤ │ │ [0, 0] │ true │ │ │ [1, 0] │ true │ │ │ [0, 1] │ true │ │ │ [1, 1] │ false │ │ └───────────────┴───────┘ └ ] ┌ Info: sizes: ProblemReductions.LocalSolutionSize{Int64}[LocalSolutionSize{Int64} on [1] │ ┌───────────────┬──────┐ │ │ Configuration │ Size │ │ ├───────────────┼──────┤ │ │ [0] │ 0 │ │ │ [1] │ 1 │ │ └───────────────┴──────┘ │ , LocalSolutionSize{Int64} on [2] │ ┌───────────────┬──────┐ │ │ Configuration │ Size │ │ ├───────────────┼──────┤ │ │ [0] │ 0 │ │ │ [1] │ 1 │ │ └───────────────┴──────┘ │ , LocalSolutionSize{Int64} on [3] │ ┌───────────────┬──────┐ │ │ Configuration │ Size │ │ ├───────────────┼──────┤ │ │ [0] │ 0 │ │ │ [1] │ 1 │ │ └───────────────┴──────┘ │ , LocalSolutionSize{Int64} on [4] │ ┌───────────────┬──────┐ │ │ Configuration │ Size │ │ ├───────────────┼──────┤ │ │ [0] │ 0 │ │ │ [1] │ 1 │ │ └───────────────┴──────┘ └ ] Test Summary: | Pass Total Time models | 261 261 1m19.2s [ Info: Testing reduction from CircuitSAT{Int64, UnitWeight, ProblemReductions.EXTREMA} to SpinGlass{var"#s487", T} where {var"#s487"<:SimpleGraph, T} [ Info: Testing reduction from MaxCut{Int64, UnitWeight} to SpinGlass{var"#s486", T} where {var"#s486"<:SimpleGraph, T} [ Info: Testing reduction from SpinGlass{SimpleGraph{Int64}, Int64, Vector{Int64}} to MaxCut [ Info: Testing reduction from VertexCovering{Int64, Vector{Int64}} to SetCovering [ Info: Testing reduction from Satisfiability{Symbol, Int64, UnitWeight, ProblemReductions.EXTREMA} to Coloring{3, T} where T [ Info: Testing reduction from SpinGlass{SimpleGraph{Int64}, Int64, Vector{Int64}} to MaxCut [ Info: Testing reduction from QUBO{Int64} to SpinGlass{var"#s485", T} where {var"#s485"<:SimpleGraph, T} [ Info: Testing reduction from SpinGlass{SimpleGraph{Int64}, Int64, Vector{Int64}} to QUBO [ Info: Testing reduction from Satisfiability{Symbol, Int64, UnitWeight, ProblemReductions.EXTREMA} to KSatisfiability{3, S, T} where {S, T} [ Info: Testing reduction from KSatisfiability{3, Symbol, Int64, UnitWeight, ProblemReductions.EXTREMA} to Satisfiability [ Info: Testing reduction from Satisfiability{Symbol, Int64, UnitWeight, ProblemReductions.EXTREMA} to IndependentSet{var"#s484", T} where {var"#s484"<:SimpleGraph, T} [ Info: Testing reduction from Satisfiability{Symbol, Int64, UnitWeight, ProblemReductions.EXTREMA} to DominatingSet{var"#s483", T} where {var"#s483"<:SimpleGraph, T} [ Info: Testing reduction from IndependentSet{SimpleGraph{Int64}, Int64, UnitWeight} to SetPacking [ Info: Testing reduction from IndependentSet{HyperGraph, Int64, UnitWeight} to SetPacking [ Info: Testing reduction from SetPacking{Int64, Int64, UnitWeight} to IndependentSet{var"#s482", T} where {var"#s482"<:SimpleGraph, T} [ Info: Testing reduction from IndependentSet{SimpleGraph{Int64}, Int64, UnitWeight} to VertexCovering [ Info: Testing reduction from Matching{Int64, UnitWeight} to SetPacking Test Summary: | Pass Total Time rules | 186 186 2m58.8s Test Summary: | Pass Total Time topology | 30 30 1.9s ┌───┬───┬───┐ │ a │ b │ c │ ├───┼───┼───┤ │ 0 │ 0 │ 1 │ │ 1 │ 0 │ 1 │ │ 0 │ 1 │ 0 │ │ 1 │ 1 │ 1 │ └───┴───┴───┘ Test Summary: | Pass Total Time truth_table | 4 4 0.9s Test Summary: | Pass Total Time reduction path | 8 8 1m13.2s ┌ Warning: `id_to_config(problem::ConstraintSatisfactionProblem, config)` is deprecated, use `config .- 1` instead. │ caller = top-level scope at deprecated.jl:5 └ @ Core ~/.julia/packages/ProblemReductions/lse8D/test/deprecated.jl:5 ┌ Warning: `size_terms` is deprecated, use `function (problem::ConstraintSatisfactionProblem{T},) where T │ #= /home/pkgeval/.julia/packages/ProblemReductions/lse8D/src/deprecated.jl:2 =# │ #= /home/pkgeval/.julia/packages/ProblemReductions/lse8D/src/deprecated.jl:3 =# │ cons = map(constraints(problem)) do c │ #= /home/pkgeval/.julia/packages/ProblemReductions/lse8D/src/deprecated.jl:4 =# │ (; variables = c.variables, solution_sizes = map((s->begin │ #= /home/pkgeval/.julia/packages/ProblemReductions/lse8D/src/deprecated.jl:4 =# │ (; size = zero(T), is_valid = s) │ end), c.specification)) │ end │ #= /home/pkgeval/.julia/packages/ProblemReductions/lse8D/src/deprecated.jl:6 =# │ sizes = map(objectives(problem)) do s │ #= /home/pkgeval/.julia/packages/ProblemReductions/lse8D/src/deprecated.jl:7 =# │ (; variables = s.variables, solution_sizes = map((s->begin │ #= /home/pkgeval/.julia/packages/ProblemReductions/lse8D/src/deprecated.jl:7 =# │ (; size = s, is_valid = true) │ end), s.specification)) │ end │ #= /home/pkgeval/.julia/packages/ProblemReductions/lse8D/src/deprecated.jl:9 =# │ return vcat(cons, sizes) │ end` instead. │ caller = top-level scope at deprecated.jl:12 └ @ Core ~/.julia/packages/ProblemReductions/lse8D/test/deprecated.jl:12 Test Summary: | Pass Total Time deprecated | 2 2 2.4s ┌ Warning: Unable to determine HTML(edit_link = ...) from remote HEAD branch, defaulting to "master". │ Calling `git remote` failed with an exception. Set JULIA_DEBUG=Documenter to see the error. │ Unless this is due to a configuration error, the relevant variable should be set explicitly. └ @ Documenter ~/.julia/packages/Documenter/QLA7E/src/utilities/utilities.jl:655 [ Info: SetupBuildDirectory: setting up build directory. [ Info: Doctest: running doctests. [ Info: Skipped ExpandTemplates step (doctest only). [ Info: Skipped CrossReferences step (doctest only). [ Info: Skipped CheckDocument step (doctest only). [ Info: Skipped Populate step (doctest only). [ Info: Skipped RenderDocument step (doctest only). Test Summary: | Pass Total Time Doctests: ProblemReductions | 1 1 51.8s Testing ProblemReductions tests passed Testing completed after 421.34s PkgEval succeeded after 546.83s