Package evaluation of DisjunctiveProgramming on Julia 1.13.0-DEV.449 (8d6b63c3a6*) started at 2025-04-29T02:20:36.811 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Set-up completed after 8.15s ################################################################################ # Installation # Installing DisjunctiveProgramming... Resolving package versions... Updating `~/.julia/environments/v1.13/Project.toml` [0d27d021] + DisjunctiveProgramming v0.5.0 Updating `~/.julia/environments/v1.13/Manifest.toml` [6e4b80f9] + BenchmarkTools v1.6.0 [523fee87] + CodecBzip2 v0.8.5 [944b1d66] + CodecZlib v0.7.8 [bbf7d656] + CommonSubexpressions v0.3.1 [34da2185] + Compat v4.16.0 [864edb3b] + DataStructures v0.18.22 [163ba53b] + DiffResults v1.1.0 [b552c78f] + DiffRules v1.15.1 [0d27d021] + DisjunctiveProgramming v0.5.0 [ffbed154] + DocStringExtensions v0.9.4 [f6369f11] + ForwardDiff v1.0.1 [92d709cd] + IrrationalConstants v0.2.4 [692b3bcd] + JLLWrappers v1.7.0 [682c06a0] + JSON v0.21.4 [0f8b85d8] + JSON3 v1.14.2 [4076af6c] + JuMP v1.25.0 [2ab3a3ac] + LogExpFunctions v0.3.29 [1914dd2f] + MacroTools v0.5.16 [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 [189a3867] + Reexport v1.2.2 [276daf66] + SpecialFunctions v2.5.1 [1e83bf80] + StaticArraysCore v1.4.3 [10745b16] + Statistics v1.11.1 [856f2bd8] + StructTypes v1.11.0 [3bb67fe8] + TranscodingStreams v0.11.3 [6e34b625] + Bzip2_jll v1.0.9+0 [efe28fd5] + OpenSpecFun_jll v0.5.6+0 [56f22d72] + Artifacts v1.11.0 [2a0f44e3] + Base64 v1.11.0 [ade2ca70] + Dates v1.11.0 [b77e0a4c] + InteractiveUtils v1.11.0 [ac6e5ff7] + JuliaSyntaxHighlighting v1.12.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 [de0858da] + Printf v1.11.0 [9abbd945] + Profile v1.11.0 [9a3f8284] + Random v1.11.0 [ea8e919c] + SHA v0.7.0 [9e88b42a] + Serialization v1.11.0 [2f01184e] + SparseArrays v1.12.0 [f489334b] + StyledStrings v1.11.0 [fa267f1f] + TOML v1.0.3 [8dfed614] + Test v1.11.0 [cf7118a7] + UUIDs v1.11.0 [4ec0a83e] + Unicode v1.11.0 [e66e0078] + CompilerSupportLibraries_jll v1.3.0+1 [4536629a] + OpenBLAS_jll v0.3.29+0 [05823500] + OpenLibm_jll v0.8.5+0 [bea87d4a] + SuiteSparse_jll v7.10.1+0 [83775a58] + Zlib_jll v1.3.1+2 [8e850b90] + libblastrampoline_jll v5.12.0+0 Installation completed after 4.1s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling package dependencies... Precompilation completed after 39.77s ################################################################################ # Testing # Testing DisjunctiveProgramming Status `/tmp/jl_FmQkPf/Project.toml` [4c88cf16] Aqua v0.8.11 [0d27d021] DisjunctiveProgramming v0.5.0 [87dc4568] HiGHS v1.15.0 [4076af6c] JuMP v1.25.0 [189a3867] Reexport v1.2.2 [8dfed614] Test v1.11.0 Status `/tmp/jl_FmQkPf/Manifest.toml` [4c88cf16] Aqua v0.8.11 [6e4b80f9] BenchmarkTools v1.6.0 [523fee87] CodecBzip2 v0.8.5 [944b1d66] CodecZlib v0.7.8 [bbf7d656] CommonSubexpressions v0.3.1 [34da2185] Compat v4.16.0 [864edb3b] DataStructures v0.18.22 [163ba53b] DiffResults v1.1.0 [b552c78f] DiffRules v1.15.1 [0d27d021] DisjunctiveProgramming v0.5.0 [ffbed154] DocStringExtensions v0.9.4 [f6369f11] ForwardDiff v1.0.1 [87dc4568] HiGHS v1.15.0 [92d709cd] IrrationalConstants v0.2.4 [692b3bcd] JLLWrappers v1.7.0 [682c06a0] JSON v0.21.4 [0f8b85d8] JSON3 v1.14.2 [4076af6c] JuMP v1.25.0 [2ab3a3ac] LogExpFunctions v0.3.29 [1914dd2f] MacroTools v0.5.16 [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 [189a3867] Reexport v1.2.2 [276daf66] SpecialFunctions v2.5.1 [1e83bf80] StaticArraysCore v1.4.3 [10745b16] Statistics v1.11.1 [856f2bd8] StructTypes v1.11.0 [3bb67fe8] TranscodingStreams v0.11.3 [6e34b625] Bzip2_jll v1.0.9+0 [8fd58aa0] HiGHS_jll v1.10.0+0 [efe28fd5] OpenSpecFun_jll v0.5.6+0 [0dad84c5] ArgTools v1.1.2 [56f22d72] Artifacts v1.11.0 [2a0f44e3] Base64 v1.11.0 [ade2ca70] Dates 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 [9a3f8284] Random v1.11.0 [ea8e919c] SHA v0.7.0 [9e88b42a] Serialization 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 [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 [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 Testing Running tests... Test Summary: | Pass Total Time Unbound type parameters | 1 1 0.1s Test Summary: | Pass Total Time Undefined exports | 1 1 0.0s Test Summary: | Pass Total Time Compare Project.toml and test/Project.toml | 1 1 0.0s Test Summary: | Pass Total Time Stale dependencies | 1 1 16.1s Test Summary: | Pass Total Time Piracy | 1 1 0.4s Test Summary: | Pass Total Time Persistent tasks | 1 1 45.8s Test Summary: | Pass Total Time julia | 1 1 0.1s Test Summary: | Pass Total Time Base.PkgId(Base.UUID("0d27d021-0159-4c7d-b4a7-9ccb5d9366cf"), "DisjunctiveProgramming") deps | 1 1 0.6s Test Summary: | Pass Total Time Base.PkgId(Base.UUID("0d27d021-0159-4c7d-b4a7-9ccb5d9366cf"), "DisjunctiveProgramming") extras | 1 1 0.0s Test Summary: | Pass Total Time Base.PkgId(Base.UUID("0d27d021-0159-4c7d-b4a7-9ccb5d9366cf"), "DisjunctiveProgramming") weakdeps | 1 1 0.0s Precompiling packages... 37066.2 ms ✓ HiGHS 1 dependency successfully precompiled in 38 seconds. 52 already precompiled. Test Summary: | Pass Total Time GDP Model | 21 21 10.0s Test Summary: | Pass Total Time JuMP | 6 6 0.2s Test Summary: | Pass Total Time Variable Interrogation | 42 42 20.5s Test Summary: | Pass Total Time Logical Variables | 78 78 19.4s Test Summary: | Pass Total Time Logical Selector Constraints | 61 61 24.7s WARNING: Method definition test_implication_reformulation() in module Main at /home/pkgeval/.julia/packages/DisjunctiveProgramming/dkMQD/test/constraints/proposition.jl:146 overwritten at /home/pkgeval/.julia/packages/DisjunctiveProgramming/dkMQD/test/constraints/proposition.jl:202. Test Summary: | Pass Total Time Logical Proposition Constraints | 164 164 26.4s Test Summary: | Pass Total Time Disjunct Constraints | 34 34 4.9s Test Summary: | Pass Total Time Indicator | 28 28 35.0s Test Summary: | Pass Total Time BigM Reformulation | 95 95 17.3s Test Summary: | Pass Total Time Hull Reformulation | 439 439 1m09.0s Test Summary: | Pass Total Time Fallbacks | 2 2 0.5s Test Summary: | Pass Total Time Disjunction | 104 104 18.4s Test Summary: | Pass Total Time Solve Linear GDP | 22 22 1m27.4s Testing DisjunctiveProgramming tests passed Testing completed after 529.87s PkgEval succeeded after 676.67s