Package evaluation of ProblemReductions on Julia 1.13.0-DEV.449 (8d6b63c3a6*) started at 2025-04-29T01:20:48.073 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Set-up completed after 5.88s ################################################################################ # Installation # Installing ProblemReductions... Resolving package versions... Updating `~/.julia/environments/v1.13/Project.toml` [899c297d] + ProblemReductions v0.3.3 Updating `~/.julia/environments/v1.13/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.16 [bac558e1] + OrderedCollections v1.8.0 [aea7be01] + PrecompileTools v1.3.2 [21216c6a] + Preferences v1.4.3 [08abe8d2] + PrettyTables v2.4.0 [899c297d] + ProblemReductions v0.3.3 [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 [ac6e5ff7] + JuliaSyntaxHighlighting v1.12.0 [8f399da3] + Libdl v1.11.0 [37e2e46d] + LinearAlgebra v1.12.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.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.3.0+1 [4536629a] + OpenBLAS_jll v0.3.29+0 [bea87d4a] + SuiteSparse_jll v7.10.1+0 [8e850b90] + libblastrampoline_jll v5.12.0+0 Installation completed after 2.53s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling package dependencies... Precompilation completed after 179.17s ################################################################################ # Testing # Testing ProblemReductions Status `/tmp/jl_IzZH5S/Project.toml` [50ba71b6] BitBasis v0.9.8 [ffbed154] DocStringExtensions v0.9.4 [e30172f5] Documenter v1.10.2 [86223c79] Graphs v1.12.1 [4076af6c] JuMP v1.25.0 [d8e11817] MLStyle v0.4.17 [08abe8d2] PrettyTables v2.4.0 [899c297d] ProblemReductions v0.3.3 [82193955] SCIP v0.12.3 [b77e0a4c] InteractiveUtils v1.11.0 [37e2e46d] LinearAlgebra v1.12.0 [8dfed614] Test v1.11.0 Status `/tmp/jl_IzZH5S/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.8 [523fee87] CodecBzip2 v0.8.5 [944b1d66] CodecZlib v0.7.8 [bbf7d656] CommonSubexpressions v0.3.1 [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 [163ba53b] DiffResults v1.1.0 [b552c78f] DiffRules v1.15.1 [ffbed154] DocStringExtensions v0.9.4 [e30172f5] Documenter v1.10.2 [f6369f11] ForwardDiff v1.0.1 [d7ba0133] Git v1.3.1 [86223c79] Graphs v1.12.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.0 [682c06a0] JSON v0.21.4 [0f8b85d8] JSON3 v1.14.2 [4076af6c] JuMP v1.25.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.39.0 [d8a4904e] MutableArithmetics v1.6.4 [77ba4419] NaNMath v1.1.3 [bac558e1] OrderedCollections v1.8.0 [69de0a69] Parsers v2.8.3 [aea7be01] PrecompileTools v1.3.2 [21216c6a] Preferences v1.4.3 [08abe8d2] PrettyTables v2.4.0 [899c297d] ProblemReductions v0.3.3 [189a3867] Reexport v1.2.2 [2792f1a3] RegistryInstances v0.1.0 [82193955] SCIP v0.12.3 [699a6c99] SimpleTraits v0.9.4 [276daf66] SpecialFunctions v2.5.1 [90137ffa] StaticArrays v1.9.13 [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.0 [3bb67fe8] TranscodingStreams v0.11.3 [ae81ac8f] ASL_jll v0.1.3+0 [6e34b625] Bzip2_jll v1.0.9+0 [2e619515] Expat_jll v2.6.5+0 [f8c6e375] Git_jll v2.49.0+0 [e33a78d0] Hwloc_jll v2.12.0+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 [efe28fd5] OpenSpecFun_jll v0.5.6+0 [05236dd9] Readline_jll v8.2.13+0 [fc9abe76] SCIP_PaPILO_jll v900.200.100+0 [e5ac4fe4] SCIP_jll v900.200.100+0 ⌅ [319450e9] SPRAL_jll v2024.1.18+0 [508c9074] bliss_jll v0.77.0+1 ⌅ [28df3c45] boost_jll v1.79.0+3 [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.12.0 [56ddb016] Logging v1.11.0 [d6f4376e] Markdown v1.11.0 [a63ad114] Mmap v1.11.0 [ca575930] NetworkOptions v1.3.0 [44cfe95a] Pkg v1.12.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.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.3.0+1 [781609d7] GMP_jll v6.3.0+2 [deac9b47] LibCURL_jll v8.12.1+1 [e37daf67] LibGit2_jll v1.9.0+0 [29816b5a] LibSSH2_jll v1.11.3+1 [14a3606d] MozillaCACerts_jll v2024.12.31 [4536629a] OpenBLAS_jll v0.3.29+0 [05823500] OpenLibm_jll v0.8.5+0 [458c3c95] OpenSSL_jll v3.0.16+0 [efcefdf7] PCRE2_jll v10.44.0+1 [bea87d4a] SuiteSparse_jll v7.10.1+0 [83775a58] Zlib_jll v1.3.1+2 [8e850b90] libblastrampoline_jll v5.12.0+0 [8e850ede] nghttp2_jll v1.65.0+0 [3f19e933] p7zip_jll v17.5.0+2 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 9.5s Test Summary: | Pass Total Time solvers | 2 2 7.3s 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#281 = ¬(z) | ##var#280 = ∧(c, ##var#281) | d = ∨(x, ##var#280) Symbols: [:c, :x, :y, Symbol("##var#281"), :z, Symbol("##var#280"), :d] ┌ Warning: `local_solution_spec` is deprecated, use `objectives` instead. │ caller = top-level scope at Circuit.jl:78 └ @ Core ~/.julia/packages/ProblemReductions/G1yDE/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 | 293 293 1m20.1s [ Info: Testing reduction from CircuitSAT{Int64, UnitWeight, ProblemReductions.EXTREMA} to SpinGlass{var"#s529", T} where {var"#s529"<:SimpleGraph, T} [ Info: Testing reduction from MaxCut{Int64, UnitWeight} to SpinGlass{var"#s528", T} where {var"#s528"<: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"#s527", T} where {var"#s527"<: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"#s526", T} where {var"#s526"<:SimpleGraph, T} [ Info: Testing reduction from Satisfiability{Symbol, Int64, UnitWeight, ProblemReductions.EXTREMA} to DominatingSet{var"#s525", T} where {var"#s525"<: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"#s524", T} where {var"#s524"<: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 3m14.8s Test Summary: | Pass Total Time topology | 30 30 1.5s ┌───┬───┬───┐ │ 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 56.0s ┌ 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/G1yDE/test/deprecated.jl:5 ┌ Warning: `size_terms` is deprecated, use `function (problem::ConstraintSatisfactionProblem{T},) where T │ #= /home/pkgeval/.julia/packages/ProblemReductions/G1yDE/src/deprecated.jl:2 =# │ #= /home/pkgeval/.julia/packages/ProblemReductions/G1yDE/src/deprecated.jl:3 =# │ cons = map(constraints(problem)) do c │ #= /home/pkgeval/.julia/packages/ProblemReductions/G1yDE/src/deprecated.jl:4 =# │ (; variables = c.variables, solution_sizes = map((s->begin │ #= /home/pkgeval/.julia/packages/ProblemReductions/G1yDE/src/deprecated.jl:4 =# │ (; size = zero(T), is_valid = s) │ end), c.specification)) │ end │ #= /home/pkgeval/.julia/packages/ProblemReductions/G1yDE/src/deprecated.jl:6 =# │ sizes = map(objectives(problem)) do s │ #= /home/pkgeval/.julia/packages/ProblemReductions/G1yDE/src/deprecated.jl:7 =# │ (; variables = s.variables, solution_sizes = map((s->begin │ #= /home/pkgeval/.julia/packages/ProblemReductions/G1yDE/src/deprecated.jl:7 =# │ (; size = s, is_valid = true) │ end), s.specification)) │ end │ #= /home/pkgeval/.julia/packages/ProblemReductions/G1yDE/src/deprecated.jl:9 =# │ return vcat(cons, sizes) │ end` instead. │ caller = top-level scope at deprecated.jl:12 └ @ Core ~/.julia/packages/ProblemReductions/G1yDE/test/deprecated.jl:12 Test Summary: | Pass Total Time deprecated | 2 2 1.7s Precompiling packages... 1698.9 ms ✓ Ncurses_jll 1128.3 ms ✓ bliss_jll 1399.0 ms ✓ SPRAL_jll 1275.4 ms ✓ MUMPS_seq_jll 1572.0 ms ✓ Readline_jll 1644.6 ms ✓ Ipopt_jll 2100.2 ms ✓ SCIP_PaPILO_jll 1631.6 ms ✓ SCIP_jll 16170.6 ms ✓ SCIP 9 dependencies successfully precompiled in 29 seconds. 72 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 1m26.9s ┌ 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/ZlqFj/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 37.5s Testing ProblemReductions tests passed Testing completed after 499.06s PkgEval succeeded after 711.85s