Package evaluation of ProblemReductions on Julia 1.11.4 (a71dd056e0*) started at 2025-04-08T11:04:58.668 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Set-up completed after 8.66s ################################################################################ # Installation # Installing ProblemReductions... Resolving package versions... Updating `~/.julia/environments/v1.11/Project.toml` [899c297d] + ProblemReductions v0.3.2 Updating `~/.julia/environments/v1.11/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.4 [86223c79] + Graphs v1.12.1 [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.2 [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 [8f399da3] + Libdl v1.11.0 [37e2e46d] + LinearAlgebra 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.11.0 [fa267f1f] + TOML v1.0.3 [cf7118a7] + UUIDs v1.11.0 [4ec0a83e] + Unicode v1.11.0 [e66e0078] + CompilerSupportLibraries_jll v1.1.1+0 [4536629a] + OpenBLAS_jll v0.3.27+1 [bea87d4a] + SuiteSparse_jll v7.7.0+0 [8e850b90] + libblastrampoline_jll v5.11.0+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 2.18s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling package dependencies... Precompilation completed after 27.59s ################################################################################ # Testing # Testing ProblemReductions Status `/tmp/jl_kkituC/Project.toml` [50ba71b6] BitBasis v0.9.8 [ffbed154] DocStringExtensions v0.9.4 [e30172f5] Documenter v1.10.1 [86223c79] Graphs v1.12.1 [d8e11817] MLStyle v0.4.17 [08abe8d2] PrettyTables v2.4.0 [899c297d] ProblemReductions v0.3.2 [b77e0a4c] InteractiveUtils v1.11.0 [8dfed614] Test v1.11.0 Status `/tmp/jl_kkituC/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.4 [e30172f5] Documenter v1.10.1 [d7ba0133] Git v1.3.1 [86223c79] Graphs v1.12.1 [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.2 [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.49.0+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 [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.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 [1a1011a3] SharedArrays v1.11.0 [6462fe0b] Sockets v1.11.0 [2f01184e] SparseArrays 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 [e66e0078] CompilerSupportLibraries_jll v1.1.1+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 [4536629a] OpenBLAS_jll v0.3.27+1 [efcefdf7] PCRE2_jll v10.42.0+1 [bea87d4a] SuiteSparse_jll v7.7.0+0 [83775a58] Zlib_jll v1.2.13+1 [8e850b90] libblastrampoline_jll v5.11.0+0 [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... Precompiling Documenter... 59256.5 ms ✓ Documenter 1 dependency successfully precompiled in 62 seconds. 50 already precompiled. Test Summary: | Pass Total Time bit vector | 16 16 8.4s 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#233 = ¬(z) | ##var#232 = ∧(c, ##var#233) | d = ∨(x, ##var#232) Symbols: [:c, :x, :y, Symbol("##var#233"), :z, Symbol("##var#232"), :d] ┌ Warning: `local_solution_spec` is deprecated, use `objectives` instead. │ caller = macro expansion at Circuit.jl:83 [inlined] └ @ Core ~/.julia/packages/ProblemReductions/xYz9K/test/models/Circuit.jl:83 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 | 293 293 1m27.5s [ Info: Testing reduction from CircuitSAT{Int64, UnitWeight, ProblemReductions.EXTREMA} to SpinGlass{var"#s483", T} where {var"#s483"<:SimpleGraph, T} [ Info: Testing reduction from MaxCut{Int64, UnitWeight} to SpinGlass{var"#s482", T} where {var"#s482"<: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"#s481", T} where {var"#s481"<: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"#s480", T} where {var"#s480"<:SimpleGraph, T} [ Info: Testing reduction from Satisfiability{Symbol, Int64, UnitWeight, ProblemReductions.EXTREMA} to DominatingSet{var"#s479", T} where {var"#s479"<: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"#s478", T} where {var"#s478"<: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 | 1568 1568 3m16.9s Test Summary: | Pass Total Time topology | 30 30 2.1s ┌───┬───┬───┐ │ a │ b │ c │ ├───┼───┼───┤ │ 0 │ 0 │ 1 │ │ 1 │ 0 │ 1 │ │ 0 │ 1 │ 0 │ │ 1 │ 1 │ 1 │ └───┴───┴───┘ Test Summary: | Pass Total Time truth_table | 4 4 1.0s Test Summary: | Pass Total Time reduction path | 8 8 1m06.2s ┌ Warning: `id_to_config(problem::ConstraintSatisfactionProblem, config)` is deprecated, use `config .- 1` instead. │ caller = macro expansion at Test.jl:676 [inlined] └ @ Core /opt/julia/share/julia/stdlib/v1.11/Test/src/Test.jl:676 ┌ Warning: `size_terms` is deprecated, use `function (problem::ConstraintSatisfactionProblem{T},) where T │ #= /home/pkgeval/.julia/packages/ProblemReductions/xYz9K/src/deprecated.jl:2 =# │ #= /home/pkgeval/.julia/packages/ProblemReductions/xYz9K/src/deprecated.jl:3 =# │ cons = map(constraints(problem)) do c │ #= /home/pkgeval/.julia/packages/ProblemReductions/xYz9K/src/deprecated.jl:4 =# │ (; variables = c.variables, solution_sizes = map((s->begin │ #= /home/pkgeval/.julia/packages/ProblemReductions/xYz9K/src/deprecated.jl:4 =# │ (; size = zero(T), is_valid = s) │ end), c.specification)) │ end │ #= /home/pkgeval/.julia/packages/ProblemReductions/xYz9K/src/deprecated.jl:6 =# │ sizes = map(objectives(problem)) do s │ #= /home/pkgeval/.julia/packages/ProblemReductions/xYz9K/src/deprecated.jl:7 =# │ (; variables = s.variables, solution_sizes = map((s->begin │ #= /home/pkgeval/.julia/packages/ProblemReductions/xYz9K/src/deprecated.jl:7 =# │ (; size = s, is_valid = true) │ end), s.specification)) │ end │ #= /home/pkgeval/.julia/packages/ProblemReductions/xYz9K/src/deprecated.jl:9 =# │ return vcat(cons, sizes) │ end` instead. │ caller = macro expansion at deprecated.jl:15 [inlined] └ @ Core ~/.julia/packages/ProblemReductions/xYz9K/test/deprecated.jl:15 Test Summary: | Pass Total Time deprecated | 2 2 2.1s ┌ 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/tbj1p/src/utilities/utilities.jl:660 [ 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 1m06.1s Testing ProblemReductions tests passed Testing completed after 506.03s PkgEval succeeded after 557.67s