Package evaluation of ProblemReductions on Julia 1.13.0-DEV.1003 (44fdede182*) started at 2025-08-19T15:04:52.787 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Set-up completed after 9.97s ################################################################################ # Installation # Installing ProblemReductions... Resolving package versions... Updating `~/.julia/environments/v1.13/Project.toml` [899c297d] + ProblemReductions v0.3.5 Updating `~/.julia/environments/v1.13/Manifest.toml` [ec485272] + ArnoldiMethod v0.4.0 [50ba71b6] + BitBasis v0.9.10 [a8cc5b0e] + Crayons v4.1.1 [9a962f9c] + DataAPI v1.16.0 [864edb3b] + DataStructures v0.19.0 [e2d170a0] + DataValueInterfaces v1.0.0 [ffbed154] + DocStringExtensions v0.9.5 [86223c79] + Graphs v1.13.1 [d25df0c9] + Inflate v0.1.5 [82899510] + IteratorInterfaceExtensions v1.0.0 [682c06a0] + JSON v0.21.4 [b964fa9f] + LaTeXStrings v1.4.0 [d8e11817] + MLStyle v0.4.17 [1914dd2f] + MacroTools v0.5.16 [bac558e1] + OrderedCollections v1.8.1 [69de0a69] + Parsers v2.8.3 [aea7be01] + PrecompileTools v1.3.2 [21216c6a] + Preferences v1.5.0 [08abe8d2] + PrettyTables v2.4.0 [899c297d] + ProblemReductions v0.3.5 [189a3867] + Reexport v1.2.2 [699a6c99] + SimpleTraits v0.9.5 [90137ffa] + StaticArrays v1.9.14 [1e83bf80] + StaticArraysCore v1.4.3 [10745b16] + Statistics v1.11.1 [892a3eda] + StringManipulation v0.4.1 [3783bdb8] + TableTraits v1.0.1 [bd369af6] + Tables v1.12.1 [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 [ac6e5ff7] + JuliaSyntaxHighlighting v1.12.0 [8f399da3] + Libdl v1.11.0 [37e2e46d] + LinearAlgebra v1.13.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.13.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.3.0+1 [4536629a] + OpenBLAS_jll v0.3.29+0 [bea87d4a] + SuiteSparse_jll v7.10.1+0 [8e850b90] + libblastrampoline_jll v5.13.1+0 Installation completed after 3.77s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... ┌ Warning: Could not use exact versions of packages in manifest, re-resolving └ @ TestEnv ~/.julia/packages/TestEnv/nGMfF/src/julia-1.11/activate_set.jl:76 Precompiling package dependencies... Precompilation completed after 139.23s ################################################################################ # Testing # Testing ProblemReductions Test Could not use exact versions of packages in manifest, re-resolving. Note: if you do not check your manifest file into source control, then you can probably ignore this message. However, if you do check your manifest file into source control, then you probably want to pass the `allow_reresolve = false` kwarg when calling the `Pkg.test` function. Updating `/tmp/jl_xYqwbn/Project.toml` [e30172f5] + Documenter v1.14.1 [4076af6c] + JuMP v1.28.0 [899c297d] + ProblemReductions v0.3.5 [82193955] + SCIP v0.12.7 [8dfed614] ~ Test ⇒ v1.11.0 Updating `/tmp/jl_xYqwbn/Manifest.toml` [a4c015fc] + ANSIColoredPrinters v0.0.1 [1520ce14] + AbstractTrees v0.4.5 [6e4b80f9] + BenchmarkTools v1.6.0 [523fee87] + CodecBzip2 v0.8.5 [944b1d66] + CodecZlib v0.7.8 [bbf7d656] + CommonSubexpressions v0.3.1 [34da2185] + Compat v4.18.0 ⌅ [864edb3b] ↓ DataStructures v0.19.0 ⇒ v0.18.22 [163ba53b] + DiffResults v1.1.0 [b552c78f] + DiffRules v1.15.1 [e30172f5] + Documenter v1.14.1 [f6369f11] + ForwardDiff v1.0.1 [d7ba0133] + Git v1.5.0 [b5f81e59] + IOCapture v0.2.5 [92d709cd] + IrrationalConstants v0.2.4 [692b3bcd] + JLLWrappers v1.7.1 [0f8b85d8] + JSON3 v1.14.3 [4076af6c] + JuMP v1.28.0 [0e77f7df] + LazilyInitializedFields v1.3.0 [2ab3a3ac] + LogExpFunctions v0.3.29 [d0879d2d] + MarkdownAST v0.1.2 [b8f27783] + MathOptInterface v1.42.1 [d8a4904e] + MutableArithmetics v1.6.4 [77ba4419] + NaNMath v1.1.3 [899c297d] + ProblemReductions v0.3.5 [2792f1a3] + RegistryInstances v0.1.0 [82193955] + SCIP v0.12.7 [276daf66] + SpecialFunctions v2.5.1 [856f2bd8] + StructTypes v1.11.0 [3bb67fe8] + TranscodingStreams v0.11.3 [ae81ac8f] + ASL_jll v0.1.3+0 [6e34b625] + Bzip2_jll v1.0.9+0 [2e619515] + Expat_jll v2.7.1+0 [020c3dae] + Git_LFS_jll v3.7.0+0 [f8c6e375] + Git_jll v2.50.1+0 [e33a78d0] + Hwloc_jll v2.12.1+0 ⌅ [9cc047cb] + Ipopt_jll v300.1400.1400+0 [94ce4f54] + Libiconv_jll v1.18.0+0 [d00139f3] + METIS_jll v5.1.3+0 ⌅ [d7ed1dd3] + MUMPS_seq_jll v500.600.201+0 [68e3532b] + Ncurses_jll v6.5.1+0 [656ef2d0] + OpenBLAS32_jll v0.3.29+0 [9bd350c2] + OpenSSH_jll v10.0.1+0 [efe28fd5] + OpenSpecFun_jll v0.5.6+0 [05236dd9] + Readline_jll v8.2.13+0 [fc9abe76] + SCIP_PaPILO_jll v900.200.200+0 [e5ac4fe4] + SCIP_jll v900.200.200+0 ⌅ [319450e9] + SPRAL_jll v2024.1.18+0 [508c9074] + bliss_jll v0.77.0+1 [28df3c45] + boost_jll v1.87.0+0 [1317d2d5] + oneTBB_jll v2022.0.0+0 [0dad84c5] + ArgTools v1.1.2 [f43a241f] + Downloads v1.7.0 [7b1f6079] + FileWatching v1.11.0 [b27032c2] + LibCURL v0.6.4 [76f85450] + LibGit2 v1.11.0 [56ddb016] + Logging v1.11.0 [ca575930] + NetworkOptions v1.3.0 [44cfe95a] + Pkg v1.13.0 [9abbd945] + Profile v1.11.0 [3fa0cd96] + REPL v1.11.0 [a4e569a6] + Tar v1.10.0 [8dfed614] ~ Test ⇒ v1.11.0 [781609d7] + GMP_jll v6.3.0+2 [deac9b47] + LibCURL_jll v8.15.0+1 [e37daf67] + LibGit2_jll v1.9.1+0 [29816b5a] + LibSSH2_jll v1.11.3+1 [14a3606d] + MozillaCACerts_jll v2025.8.12 [05823500] + OpenLibm_jll v0.8.7+0 [458c3c95] + OpenSSL_jll v3.5.2+0 [efcefdf7] + PCRE2_jll v10.45.0+0 [83775a58] + Zlib_jll v1.3.1+2 [3161d3a3] + Zstd_jll v1.5.7+1 [8e850ede] + nghttp2_jll v1.66.0+0 [3f19e933] + p7zip_jll v17.6.0+0 Info Packages marked with ⌅ have new versions available but compatibility constraints restrict them from upgrading. To see why use `status --outdated -m` Test Successfully re-resolved Status `/tmp/jl_xYqwbn/Project.toml` [50ba71b6] BitBasis v0.9.10 [ffbed154] DocStringExtensions v0.9.5 [e30172f5] Documenter v1.14.1 [86223c79] Graphs v1.13.1 [682c06a0] JSON v0.21.4 [4076af6c] JuMP v1.28.0 [d8e11817] MLStyle v0.4.17 [08abe8d2] PrettyTables v2.4.0 [899c297d] ProblemReductions v0.3.5 [82193955] SCIP v0.12.7 [b77e0a4c] InteractiveUtils v1.11.0 [37e2e46d] LinearAlgebra v1.13.0 [8dfed614] Test v1.11.0 Status `/tmp/jl_xYqwbn/Manifest.toml` [a4c015fc] ANSIColoredPrinters v0.0.1 [1520ce14] AbstractTrees v0.4.5 [ec485272] ArnoldiMethod v0.4.0 [6e4b80f9] BenchmarkTools v1.6.0 [50ba71b6] BitBasis v0.9.10 [523fee87] CodecBzip2 v0.8.5 [944b1d66] CodecZlib v0.7.8 [bbf7d656] CommonSubexpressions v0.3.1 [34da2185] Compat v4.18.0 [a8cc5b0e] Crayons v4.1.1 [9a962f9c] DataAPI v1.16.0 ⌅ [864edb3b] DataStructures v0.18.22 [e2d170a0] DataValueInterfaces v1.0.0 [163ba53b] DiffResults v1.1.0 [b552c78f] DiffRules v1.15.1 [ffbed154] DocStringExtensions v0.9.5 [e30172f5] Documenter v1.14.1 [f6369f11] ForwardDiff v1.0.1 [d7ba0133] Git v1.5.0 [86223c79] Graphs v1.13.1 [b5f81e59] IOCapture v0.2.5 [d25df0c9] Inflate v0.1.5 [92d709cd] IrrationalConstants v0.2.4 [82899510] IteratorInterfaceExtensions v1.0.0 [692b3bcd] JLLWrappers v1.7.1 [682c06a0] JSON v0.21.4 [0f8b85d8] JSON3 v1.14.3 [4076af6c] JuMP v1.28.0 [b964fa9f] LaTeXStrings v1.4.0 [0e77f7df] LazilyInitializedFields v1.3.0 [2ab3a3ac] LogExpFunctions v0.3.29 [d8e11817] MLStyle v0.4.17 [1914dd2f] MacroTools v0.5.16 [d0879d2d] MarkdownAST v0.1.2 [b8f27783] MathOptInterface v1.42.1 [d8a4904e] MutableArithmetics v1.6.4 [77ba4419] NaNMath v1.1.3 [bac558e1] OrderedCollections v1.8.1 [69de0a69] Parsers v2.8.3 [aea7be01] PrecompileTools v1.3.2 [21216c6a] Preferences v1.5.0 [08abe8d2] PrettyTables v2.4.0 [899c297d] ProblemReductions v0.3.5 [189a3867] Reexport v1.2.2 [2792f1a3] RegistryInstances v0.1.0 [82193955] SCIP v0.12.7 [699a6c99] SimpleTraits v0.9.5 [276daf66] SpecialFunctions v2.5.1 [90137ffa] StaticArrays v1.9.14 [1e83bf80] StaticArraysCore v1.4.3 [10745b16] Statistics v1.11.1 [892a3eda] StringManipulation v0.4.1 [856f2bd8] StructTypes v1.11.0 [3783bdb8] TableTraits v1.0.1 [bd369af6] Tables v1.12.1 [3bb67fe8] TranscodingStreams v0.11.3 [ae81ac8f] ASL_jll v0.1.3+0 [6e34b625] Bzip2_jll v1.0.9+0 [2e619515] Expat_jll v2.7.1+0 [020c3dae] Git_LFS_jll v3.7.0+0 [f8c6e375] Git_jll v2.50.1+0 [e33a78d0] Hwloc_jll v2.12.1+0 ⌅ [9cc047cb] Ipopt_jll v300.1400.1400+0 [94ce4f54] Libiconv_jll v1.18.0+0 [d00139f3] METIS_jll v5.1.3+0 ⌅ [d7ed1dd3] MUMPS_seq_jll v500.600.201+0 [68e3532b] Ncurses_jll v6.5.1+0 [656ef2d0] OpenBLAS32_jll v0.3.29+0 [9bd350c2] OpenSSH_jll v10.0.1+0 [efe28fd5] OpenSpecFun_jll v0.5.6+0 [05236dd9] Readline_jll v8.2.13+0 [fc9abe76] SCIP_PaPILO_jll v900.200.200+0 [e5ac4fe4] SCIP_jll v900.200.200+0 ⌅ [319450e9] SPRAL_jll v2024.1.18+0 [508c9074] bliss_jll v0.77.0+1 [28df3c45] boost_jll v1.87.0+0 [1317d2d5] oneTBB_jll v2022.0.0+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.7.0 [7b1f6079] FileWatching v1.11.0 [b77e0a4c] InteractiveUtils v1.11.0 [ac6e5ff7] JuliaSyntaxHighlighting v1.12.0 [b27032c2] LibCURL v0.6.4 [76f85450] LibGit2 v1.11.0 [8f399da3] Libdl v1.11.0 [37e2e46d] LinearAlgebra v1.13.0 [56ddb016] Logging v1.11.0 [d6f4376e] Markdown v1.11.0 [a63ad114] Mmap v1.11.0 [ca575930] NetworkOptions v1.3.0 [44cfe95a] Pkg v1.13.0 [de0858da] Printf v1.11.0 [9abbd945] Profile 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.13.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.3.0+1 [781609d7] GMP_jll v6.3.0+2 [deac9b47] LibCURL_jll v8.15.0+1 [e37daf67] LibGit2_jll v1.9.1+0 [29816b5a] LibSSH2_jll v1.11.3+1 [14a3606d] MozillaCACerts_jll v2025.8.12 [4536629a] OpenBLAS_jll v0.3.29+0 [05823500] OpenLibm_jll v0.8.7+0 [458c3c95] OpenSSL_jll v3.5.2+0 [efcefdf7] PCRE2_jll v10.45.0+0 [bea87d4a] SuiteSparse_jll v7.10.1+0 [83775a58] Zlib_jll v1.3.1+2 [3161d3a3] Zstd_jll v1.5.7+1 [8e850b90] libblastrampoline_jll v5.13.1+0 [8e850ede] nghttp2_jll v1.66.0+0 [3f19e933] p7zip_jll v17.6.0+0 Info Packages marked with ⌅ have new versions available but compatibility constraints restrict them from upgrading. Testing Running tests... Test Summary: | Pass Total Time bit vector | 16 16 10.2s Test Summary: | Pass Total Time solvers | 2 2 6.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#287 = ¬(z) | ##var#286 = ∧(c, ##var#287) | d = ∨(x, ##var#286) Symbols: [:c, :x, :y, Symbol("##var#287"), :z, Symbol("##var#286"), :d] ┌ Warning: `local_solution_spec` is deprecated, use `objectives` instead. │ caller = top-level scope at Circuit.jl:78 └ @ Core ~/.julia/packages/ProblemReductions/Go6Cf/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 | 315 315 1m41.1s [ Info: Testing reduction from CircuitSAT{Int64, UnitWeight, ProblemReductions.EXTREMA} to SpinGlass{var"#s572", T} where {var"#s572"<:SimpleGraph, T} [ Info: Testing reduction from MaxCut{Int64, UnitWeight} to SpinGlass{var"#s571", T} where {var"#s571"<: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"#s570", T} where {var"#s570"<: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"#s569", T} where {var"#s569"<:SimpleGraph, T} [ Info: Testing reduction from Satisfiability{Symbol, Int64, UnitWeight, ProblemReductions.EXTREMA} to DominatingSet{var"#s568", T} where {var"#s568"<: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"#s567", T} where {var"#s567"<: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 2m40.6s Test Summary: | Pass Total Time topology | 30 30 1.7s ┌───┬───┬───┐ │ 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.7s Test Summary: | Pass Total Time reduction path | 8 8 1m19.4s ┌ 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/Go6Cf/test/deprecated.jl:5 ┌ Warning: `size_terms` is deprecated, use `function (problem::ConstraintSatisfactionProblem{T},) where T │ #= /home/pkgeval/.julia/packages/ProblemReductions/Go6Cf/src/deprecated.jl:2 =# │ #= /home/pkgeval/.julia/packages/ProblemReductions/Go6Cf/src/deprecated.jl:3 =# │ cons = map(constraints(problem)) do c │ #= /home/pkgeval/.julia/packages/ProblemReductions/Go6Cf/src/deprecated.jl:4 =# │ (; variables = c.variables, solution_sizes = map((s->begin │ #= /home/pkgeval/.julia/packages/ProblemReductions/Go6Cf/src/deprecated.jl:4 =# │ (; size = zero(T), is_valid = s) │ end), c.specification)) │ end │ #= /home/pkgeval/.julia/packages/ProblemReductions/Go6Cf/src/deprecated.jl:6 =# │ sizes = map(objectives(problem)) do s │ #= /home/pkgeval/.julia/packages/ProblemReductions/Go6Cf/src/deprecated.jl:7 =# │ (; variables = s.variables, solution_sizes = map((s->begin │ #= /home/pkgeval/.julia/packages/ProblemReductions/Go6Cf/src/deprecated.jl:7 =# │ (; size = s, is_valid = true) │ end), s.specification)) │ end │ #= /home/pkgeval/.julia/packages/ProblemReductions/Go6Cf/src/deprecated.jl:9 =# │ return vcat(cons, sizes) │ end` instead. │ caller = top-level scope at deprecated.jl:12 └ @ Core ~/.julia/packages/ProblemReductions/Go6Cf/test/deprecated.jl:12 Test Summary: | Pass Total Time deprecated | 2 2 1.5s Precompiling packages... 1087.1 ms ✓ CodecBzip2 62522.6 ms ✓ MathOptInterface 65945.0 ms ✓ JuMP 3 dependencies successfully precompiled in 130 seconds. 49 already precompiled. Precompiling packages... 24471.6 ms ✓ ProblemReductions → IPSolverExt 1 dependency successfully precompiled in 26 seconds. 74 already precompiled. Precompiling packages... 1816.4 ms ✓ SCIP_jll 18886.8 ms ✓ SCIP 2 dependencies successfully precompiled in 21 seconds. 81 already precompiled. presolving: (round 1, fast) 22 del vars, 17 del conss, 0 add conss, 10 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 16 clqs (round 2, fast) 30 del vars, 70 del conss, 0 add conss, 11 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 48 clqs (0.0s) running MILP presolver (0.0s) MILP presolver (23 rounds): 75 aggregations, 38 fixings, 0 bound changes (round 3, medium) 143 del vars, 570 del conss, 88 add conss, 11 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs (round 4, fast) 144 del vars, 571 del conss, 88 add conss, 11 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2 clqs (round 5, exhaustive) 144 del vars, 571 del conss, 88 add conss, 11 chg bounds, 0 chg sides, 0 chg coeffs, 72 upgd conss, 0 impls, 2 clqs (round 6, exhaustive) 144 del vars, 571 del conss, 88 add conss, 11 chg bounds, 0 chg sides, 1 chg coeffs, 72 upgd conss, 0 impls, 2 clqs (round 7, exhaustive) 144 del vars, 572 del conss, 88 add conss, 11 chg bounds, 0 chg sides, 5 chg coeffs, 72 upgd conss, 0 impls, 3 clqs (round 8, exhaustive) 144 del vars, 574 del conss, 88 add conss, 11 chg bounds, 0 chg sides, 7 chg coeffs, 72 upgd conss, 0 impls, 7 clqs (round 9, exhaustive) 144 del vars, 575 del conss, 88 add conss, 11 chg bounds, 0 chg sides, 12 chg coeffs, 72 upgd conss, 0 impls, 9 clqs (round 10, exhaustive) 144 del vars, 577 del conss, 88 add conss, 11 chg bounds, 0 chg sides, 12 chg coeffs, 72 upgd conss, 0 impls, 14 clqs (0.0s) probing cycle finished: starting next cycle (round 11, exhaustive) 166 del vars, 577 del conss, 88 add conss, 11 chg bounds, 0 chg sides, 12 chg coeffs, 72 upgd conss, 0 impls, 0 clqs (0.0s) probing cycle finished: starting next cycle (0.0s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -) (0.0s) no symmetry present (symcode time: 0.00) presolving (12 rounds: 12 fast, 9 medium, 8 exhaustive): 166 deleted vars, 656 deleted constraints, 88 added constraints, 11 tightened bounds, 0 added holes, 0 changed sides, 42 changed coefficients 0 implications, 0 cliques presolved problem has 1 variables (1 bin, 0 int, 0 impl, 0 cont) and 0 constraints transformed objective value is always integral (scale: 1) Presolving Time: 0.01 time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl. t 0.0s| 1 | 0 | 0 | - | trivial| 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | 0.000000e+00 | 0.00%| unknown SCIP Status : problem is solved [optimal solution found] Solving Time (sec) : 0.01 Solving Nodes : 1 Primal Bound : +0.00000000000000e+00 (1 solutions) Dual Bound : +0.00000000000000e+00 Gap : 0.00 % Test Summary: | Pass Total Time IPSolverExt | 9 9 4m12.8s ┌ 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/eoWm2/src/utilities/utilities.jl:665 [ 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 1m21.7s Testing ProblemReductions tests passed Testing completed after 723.11s PkgEval succeeded after 904.42s