Package evaluation to test MIPVerify on Julia 1.14.0-DEV.1555 (0c48c4942b*) started at 2026-01-14T04:52:42.390 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Activating project at `~/.julia/environments/v1.14` Set-up completed after 10.25s ################################################################################ # Installation # Installing MIPVerify... Resolving package versions... Installed Bzip2_jll ─────────────────── v1.0.9+0 Installed OpenBLASConsistentFPCSR_jll ─ v0.3.29+0 Installed FilePathsBase ─────────────── v0.9.24 Installed DiffResults ───────────────── v1.1.0 Installed MacroTools ────────────────── v0.5.16 Installed InlineStrings ─────────────── v1.4.5 Installed DataStructures ────────────── v0.19.3 Installed ForwardDiff ───────────────── v1.3.1 Installed libaec_jll ────────────────── v1.1.4+0 Installed CodecZlib ─────────────────── v0.7.8 Installed DelimitedFiles ────────────── v1.9.1 Installed MPICH_jll ─────────────────── v4.3.2+0 Installed MicrosoftMPI_jll ──────────── v10.1.4+3 Installed OrderedCollections ────────── v1.8.1 Installed TranscodingStreams ────────── v0.11.3 Installed Compat ────────────────────── v4.18.1 Installed IteratorInterfaceExtensions ─ v1.0.0 Installed DataAPI ───────────────────── v1.16.0 Installed Statistics ────────────────── v1.11.1 Installed Memento ───────────────────── v1.4.1 Installed InvertedIndices ───────────── v1.3.1 Installed MIPVerify ─────────────────── v0.5.4 Installed Xorg_libpciaccess_jll ─────── v0.18.1+0 Installed DataValueInterfaces ───────── v1.0.0 Installed ProgressMeter ─────────────── v1.11.0 Installed CommonSubexpressions ──────── v0.3.1 Installed SentinelArrays ────────────── v1.4.9 Installed PrecompileTools ───────────── v1.3.3 Installed IrrationalConstants ───────── v0.2.6 Installed CodecBzip2 ────────────────── v0.8.5 Installed StaticArraysCore ──────────── v1.4.4 Installed StructUtils ───────────────── v2.6.1 Installed NaNMath ───────────────────── v1.1.3 Installed StringManipulation ────────── v0.4.2 Installed OpenSpecFun_jll ───────────── v0.5.6+0 Installed Requires ──────────────────── v1.3.1 Installed RoundingEmulator ──────────── v0.2.1 Installed JSON3 ─────────────────────── v1.14.3 Installed HDF5_jll ──────────────────── v1.14.6+0 Installed OpenMPI_jll ───────────────── v5.0.9+0 Installed LogExpFunctions ───────────── v0.3.29 Installed BufferedStreams ───────────── v1.2.2 Installed DiffRules ─────────────────── v1.15.1 Installed JuMP ──────────────────────── v1.29.3 Installed Hwloc_jll ─────────────────── v2.12.2+0 Installed PrettyTables ──────────────── v3.1.2 Installed JSON ──────────────────────── v1.3.0 Installed Parsers ───────────────────── v2.8.3 Installed Tables ────────────────────── v1.12.1 Installed XML2_jll ──────────────────── v2.13.9+0 Installed CSV ───────────────────────── v0.10.15 Installed Reexport ──────────────────── v1.2.2 Installed SpecialFunctions ──────────── v2.6.1 Installed MutableArithmetics ────────── v1.6.7 Installed IntervalArithmetic ────────── v0.22.36 Installed Preferences ───────────────── v1.5.1 Installed DataFrames ────────────────── v1.8.1 Installed Missings ──────────────────── v1.2.0 Installed MPIPreferences ────────────── v0.1.11 Installed PooledArrays ──────────────── v1.4.3 Installed WeakRefStrings ────────────── v1.4.2 Installed JLLWrappers ───────────────── v1.7.1 Installed CRlibm_jll ────────────────── v1.0.1+0 Installed BenchmarkTools ────────────── v1.6.3 Installed TableTraits ───────────────── v1.0.1 Installed Libiconv_jll ──────────────── v1.18.0+0 Installed LaTeXStrings ──────────────── v1.4.0 Installed Crayons ───────────────────── v4.1.1 Installed StructTypes ───────────────── v1.11.0 Installed SortingAlgorithms ─────────── v1.2.2 Installed HDF5 ──────────────────────── v0.17.2 Installed MPItrampoline_jll ─────────── v5.5.4+0 Installed WorkerUtilities ───────────── v1.6.1 Installed CRlibm ────────────────────── v1.0.2 Installed DocStringExtensions ───────── v0.9.5 Installed MAT ───────────────────────── v0.10.7 Installed MathOptInterface ──────────── v1.48.0 Installing 11 artifacts Installed artifact OpenSpecFun 194.9 KiB Installed artifact libaec 49.6 KiB Installed artifact Bzip2 503.5 KiB Installed artifact Xorg_libpciaccess 24.8 KiB Installed artifact MPICH 3.3 MiB Installed artifact CRlibm 169.5 KiB Installed artifact XML2 2.5 MiB Installed artifact Hwloc 3.5 MiB Installed artifact Libiconv 1.9 MiB Installed artifact HDF5 5.7 MiB Installed artifact OpenBLASConsistentFPCSR 9.9 MiB Updating `~/.julia/environments/v1.14/Project.toml` [e5e5f8be] + MIPVerify v0.5.4 Updating `~/.julia/environments/v1.14/Manifest.toml` [6e4b80f9] + BenchmarkTools v1.6.3 [e1450e63] + BufferedStreams v1.2.2 [96374032] + CRlibm v1.0.2 [336ed68f] + CSV v0.10.15 [523fee87] + CodecBzip2 v0.8.5 [944b1d66] + CodecZlib v0.7.8 [bbf7d656] + CommonSubexpressions v0.3.1 [34da2185] + Compat v4.18.1 [a8cc5b0e] + Crayons v4.1.1 [9a962f9c] + DataAPI v1.16.0 [a93c6f00] + DataFrames v1.8.1 [864edb3b] + DataStructures v0.19.3 [e2d170a0] + DataValueInterfaces v1.0.0 [8bb1440f] + DelimitedFiles v1.9.1 [163ba53b] + DiffResults v1.1.0 [b552c78f] + DiffRules v1.15.1 [ffbed154] + DocStringExtensions v0.9.5 [48062228] + FilePathsBase v0.9.24 [f6369f11] + ForwardDiff v1.3.1 [f67ccb44] + HDF5 v0.17.2 [842dd82b] + InlineStrings v1.4.5 ⌅ [d1acc4aa] + IntervalArithmetic v0.22.36 [41ab1584] + InvertedIndices v1.3.1 [92d709cd] + IrrationalConstants v0.2.6 [82899510] + IteratorInterfaceExtensions v1.0.0 [692b3bcd] + JLLWrappers v1.7.1 [682c06a0] + JSON v1.3.0 [0f8b85d8] + JSON3 v1.14.3 [4076af6c] + JuMP v1.29.3 [b964fa9f] + LaTeXStrings v1.4.0 [2ab3a3ac] + LogExpFunctions v0.3.29 ⌅ [23992714] + MAT v0.10.7 [e5e5f8be] + MIPVerify v0.5.4 [3da0fdf6] + MPIPreferences v0.1.11 [1914dd2f] + MacroTools v0.5.16 [b8f27783] + MathOptInterface v1.48.0 [f28f55f0] + Memento v1.4.1 [e1d29d7a] + Missings v1.2.0 [d8a4904e] + MutableArithmetics v1.6.7 [77ba4419] + NaNMath v1.1.3 [bac558e1] + OrderedCollections v1.8.1 [69de0a69] + Parsers v2.8.3 [2dfb63ee] + PooledArrays v1.4.3 [aea7be01] + PrecompileTools v1.3.3 [21216c6a] + Preferences v1.5.1 [08abe8d2] + PrettyTables v3.1.2 [92933f4c] + ProgressMeter v1.11.0 [189a3867] + Reexport v1.2.2 [ae029012] + Requires v1.3.1 [5eaf0fd0] + RoundingEmulator v0.2.1 [91c51154] + SentinelArrays v1.4.9 [a2af1166] + SortingAlgorithms v1.2.2 [276daf66] + SpecialFunctions v2.6.1 [1e83bf80] + StaticArraysCore v1.4.4 [10745b16] + Statistics v1.11.1 [892a3eda] + StringManipulation v0.4.2 [856f2bd8] + StructTypes v1.11.0 [ec057cc2] + StructUtils v2.6.1 [3783bdb8] + TableTraits v1.0.1 [bd369af6] + Tables v1.12.1 [3bb67fe8] + TranscodingStreams v0.11.3 [ea10d353] + WeakRefStrings v1.4.2 [76eceee3] + WorkerUtilities v1.6.1 [6e34b625] + Bzip2_jll v1.0.9+0 [4e9b3aee] + CRlibm_jll v1.0.1+0 ⌅ [0234f1f7] + HDF5_jll v1.14.6+0 [e33a78d0] + Hwloc_jll v2.12.2+0 [94ce4f54] + Libiconv_jll v1.18.0+0 [7cb0a576] + MPICH_jll v4.3.2+0 [f1f71cc9] + MPItrampoline_jll v5.5.4+0 [9237b28f] + MicrosoftMPI_jll v10.1.4+3 [6cdc7f73] + OpenBLASConsistentFPCSR_jll v0.3.29+0 [fe0851c0] + OpenMPI_jll v5.0.9+0 [efe28fd5] + OpenSpecFun_jll v0.5.6+0 ⌅ [02c8fc9c] + XML2_jll v2.13.9+0 [a65dc6b1] + Xorg_libpciaccess_jll v0.18.1+0 [477f73a3] + libaec_jll v1.1.4+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 [9fa8497b] + Future v1.11.0 [b77e0a4c] + InteractiveUtils v1.11.0 [ac6e5ff7] + JuliaSyntaxHighlighting v1.13.0 [4af54fe1] + LazyArtifacts v1.11.0 [b27032c2] + LibCURL v1.0.0 [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.14.0 [de0858da] + Printf v1.11.0 [9abbd945] + Profile v1.11.0 [3fa0cd96] + REPL v1.11.0 [9a3f8284] + Random v1.11.0 [ea8e919c] + SHA v1.0.0 [9e88b42a] + Serialization v1.11.0 [6462fe0b] + Sockets v1.11.0 [2f01184e] + SparseArrays v1.13.0 [f489334b] + StyledStrings v1.13.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.18.0+0 [e37daf67] + LibGit2_jll v1.9.2+0 [29816b5a] + LibSSH2_jll v1.11.3+1 [14a3606d] + MozillaCACerts_jll v2025.12.2 [4536629a] + OpenBLAS_jll v0.3.29+0 [05823500] + OpenLibm_jll v0.8.7+0 [458c3c95] + OpenSSL_jll v3.5.4+0 [efcefdf7] + PCRE2_jll v10.47.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.15.0+0 [8e850ede] + nghttp2_jll v1.68.0+1 [3f19e933] + p7zip_jll v17.7.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 16.72s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling packages... 4396.2 ms ✓ TestEnv 1 dependency successfully precompiled in 5 seconds. 27 already precompiled. Precompiling package dependencies... Precompiling packages... 1973.3 ms ✓ Crayons 4475.5 ms ✓ MacroTools 1648.2 ms ✓ InlineStrings 839.3 ms ✓ Reexport 1145.8 ms ✓ Statistics 898.4 ms ✓ DataAPI 2052.0 ms ✓ IrrationalConstants 846.8 ms ✓ DataValueInterfaces 1001.9 ms ✓ StaticArraysCore 1176.2 ms ✓ Requires 1232.4 ms ✓ OrderedCollections 963.4 ms ✓ InvertedIndices 1208.8 ms ✓ DocStringExtensions 1010.4 ms ✓ RoundingEmulator 1162.6 ms ✓ WorkerUtilities 954.1 ms ✓ ExprTools 1014.6 ms ✓ BufferedStreams 1268.9 ms ✓ TranscodingStreams 842.5 ms ✓ IteratorInterfaceExtensions 791.0 ms ✓ LaTeXStrings 1061.5 ms ✓ NaNMath 1027.5 ms ✓ DelimitedFiles 1700.1 ms ✓ ProgressMeter 1967.8 ms ✓ SentinelArrays 1705.5 ms ✓ StructTypes 1408.0 ms ✓ StructUtils 1198.4 ms ✓ Compat 1144.6 ms ✓ Preferences 10930.9 ms ✓ MutableArithmetics 1733.6 ms ✓ CommonSubexpressions 1382.3 ms ✓ Statistics → SparseArraysExt 952.7 ms ✓ Missings 1137.0 ms ✓ PooledArrays 907.7 ms ✓ DiffResults 4489.1 ms ✓ Memento 3257.4 ms ✓ DataStructures 1380.2 ms ✓ LogExpFunctions 3126.1 ms ✓ TimerOutputs 911.5 ms ✓ CodecZlib 799.3 ms ✓ TableTraits 845.6 ms ✓ Compat → CompatLinearAlgebraExt 1098.5 ms ✓ JLLWrappers 1105.7 ms ✓ MPIPreferences 737.1 ms ✓ PrecompileTools 967.3 ms ✓ SortingAlgorithms 1458.0 ms ✓ Tables 2047.8 ms ✓ FilePathsBase 1390.7 ms ✓ METIS_jll 1457.9 ms ✓ libaec_jll 1565.7 ms ✓ OpenBLAS32_jll 1832.2 ms ✓ Xorg_libpciaccess_jll 1617.3 ms ✓ Bzip2_jll 1832.4 ms ✓ OpenBLASConsistentFPCSR_jll 1645.7 ms ✓ Libiconv_jll 1577.1 ms ✓ CRlibm_jll 1236.6 ms ✓ MicrosoftMPI_jll 1524.9 ms ✓ OpenSpecFun_jll 4926.8 ms ✓ MPItrampoline_jll 3182.0 ms ✓ StringManipulation 15661.1 ms ✓ Parsers 881.7 ms ✓ StructUtils → StructUtilsTablesExt 2797.6 ms ✓ FilePathsBase → FilePathsBaseTestExt 939.9 ms ✓ FilePathsBase → FilePathsBaseMmapExt 1440.0 ms ✓ HiGHS_jll 1026.0 ms ✓ CodecBzip2 1483.2 ms ✓ XML2_jll 1148.3 ms ✓ CRlibm 5180.5 ms ✓ SpecialFunctions 35737.5 ms ✓ PrettyTables 10399.7 ms ✓ JSON3 5025.2 ms ✓ JSON 892.0 ms ✓ InlineStrings → ParsersExt 1155.3 ms ✓ Hwloc_jll 3971.4 ms ✓ IntervalArithmetic 989.4 ms ✓ DiffRules 82008.8 ms ✓ DataFrames 3542.5 ms ✓ BenchmarkTools 2862.3 ms ✓ WeakRefStrings 4897.2 ms ✓ MPICH_jll 4593.4 ms ✓ OpenMPI_jll 1634.5 ms ✓ IntervalArithmetic → IntervalArithmeticLinearAlgebraExt 1822.7 ms ✓ IntervalArithmetic → IntervalArithmeticSparseArraysExt 6657.3 ms ✓ ForwardDiff 1165.0 ms ✓ IntervalArithmetic → IntervalArithmeticDiffRulesExt 27450.3 ms ✓ CSV 6273.3 ms ✓ HDF5_jll 1861.3 ms ✓ IntervalArithmetic → IntervalArithmeticForwardDiffExt 76918.4 ms ✓ MathOptInterface 14212.9 ms ✓ HDF5 6000.1 ms ✓ MathOptIIS 62322.9 ms ✓ JuMP 7733.2 ms ✓ MAT 29365.0 ms ✓ HiGHS 43532.9 ms ✓ MIPVerify 94 dependencies successfully precompiled in 574 seconds. 40 already precompiled. Precompilation completed after 596.35s ################################################################################ # Testing # Testing MIPVerify Status `/tmp/jl_FpJIPW/Project.toml` [336ed68f] CSV v0.10.15 [a93c6f00] DataFrames v1.8.1 [8bb1440f] DelimitedFiles v1.9.1 [ffbed154] DocStringExtensions v0.9.5 [87dc4568] HiGHS v1.20.1 ⌅ [d1acc4aa] IntervalArithmetic v0.22.36 [4076af6c] JuMP v1.29.3 ⌅ [23992714] MAT v0.10.7 [e5e5f8be] MIPVerify v0.5.4 [b8f27783] MathOptInterface v1.48.0 [f28f55f0] Memento v1.4.1 [92933f4c] ProgressMeter v1.11.0 [10745b16] Statistics v1.11.1 [a759f4b9] TimerOutputs v0.5.29 [ade2ca70] Dates v1.11.0 [f43a241f] Downloads v1.7.0 [9e88b42a] Serialization v1.11.0 [8dfed614] Test v1.11.0 Status `/tmp/jl_FpJIPW/Manifest.toml` [6e4b80f9] BenchmarkTools v1.6.3 [e1450e63] BufferedStreams v1.2.2 [96374032] CRlibm v1.0.2 [336ed68f] CSV v0.10.15 [523fee87] CodecBzip2 v0.8.5 [944b1d66] CodecZlib v0.7.8 [bbf7d656] CommonSubexpressions v0.3.1 [34da2185] Compat v4.18.1 [a8cc5b0e] Crayons v4.1.1 [9a962f9c] DataAPI v1.16.0 [a93c6f00] DataFrames v1.8.1 [864edb3b] DataStructures v0.19.3 [e2d170a0] DataValueInterfaces v1.0.0 [8bb1440f] DelimitedFiles v1.9.1 [163ba53b] DiffResults v1.1.0 [b552c78f] DiffRules v1.15.1 [ffbed154] DocStringExtensions v0.9.5 [e2ba6199] ExprTools v0.1.10 [48062228] FilePathsBase v0.9.24 [f6369f11] ForwardDiff v1.3.1 [f67ccb44] HDF5 v0.17.2 [87dc4568] HiGHS v1.20.1 [842dd82b] InlineStrings v1.4.5 ⌅ [d1acc4aa] IntervalArithmetic v0.22.36 [41ab1584] InvertedIndices v1.3.1 [92d709cd] IrrationalConstants v0.2.6 [82899510] IteratorInterfaceExtensions v1.0.0 [692b3bcd] JLLWrappers v1.7.1 [682c06a0] JSON v1.3.0 [0f8b85d8] JSON3 v1.14.3 [4076af6c] JuMP v1.29.3 [b964fa9f] LaTeXStrings v1.4.0 [2ab3a3ac] LogExpFunctions v0.3.29 ⌅ [23992714] MAT v0.10.7 [e5e5f8be] MIPVerify v0.5.4 [3da0fdf6] MPIPreferences v0.1.11 [1914dd2f] MacroTools v0.5.16 [8c4f8055] MathOptIIS v0.1.1 [b8f27783] MathOptInterface v1.48.0 [f28f55f0] Memento v1.4.1 [e1d29d7a] Missings v1.2.0 [d8a4904e] MutableArithmetics v1.6.7 [77ba4419] NaNMath v1.1.3 [bac558e1] OrderedCollections v1.8.1 [69de0a69] Parsers v2.8.3 [2dfb63ee] PooledArrays v1.4.3 [aea7be01] PrecompileTools v1.3.3 [21216c6a] Preferences v1.5.1 [08abe8d2] PrettyTables v3.1.2 [92933f4c] ProgressMeter v1.11.0 [189a3867] Reexport v1.2.2 [ae029012] Requires v1.3.1 [5eaf0fd0] RoundingEmulator v0.2.1 [91c51154] SentinelArrays v1.4.9 [a2af1166] SortingAlgorithms v1.2.2 [276daf66] SpecialFunctions v2.6.1 [1e83bf80] StaticArraysCore v1.4.4 [10745b16] Statistics v1.11.1 [892a3eda] StringManipulation v0.4.2 [856f2bd8] StructTypes v1.11.0 [ec057cc2] StructUtils v2.6.1 [3783bdb8] TableTraits v1.0.1 [bd369af6] Tables v1.12.1 [a759f4b9] TimerOutputs v0.5.29 [3bb67fe8] TranscodingStreams v0.11.3 [ea10d353] WeakRefStrings v1.4.2 [76eceee3] WorkerUtilities v1.6.1 [6e34b625] Bzip2_jll v1.0.9+0 [4e9b3aee] CRlibm_jll v1.0.1+0 ⌅ [0234f1f7] HDF5_jll v1.14.6+0 [8fd58aa0] HiGHS_jll v1.12.0+0 [e33a78d0] Hwloc_jll v2.12.2+0 [94ce4f54] Libiconv_jll v1.18.0+0 [d00139f3] METIS_jll v5.1.3+0 [7cb0a576] MPICH_jll v4.3.2+0 [f1f71cc9] MPItrampoline_jll v5.5.4+0 [9237b28f] MicrosoftMPI_jll v10.1.4+3 [656ef2d0] OpenBLAS32_jll v0.3.29+0 [6cdc7f73] OpenBLASConsistentFPCSR_jll v0.3.29+0 [fe0851c0] OpenMPI_jll v5.0.9+0 [efe28fd5] OpenSpecFun_jll v0.5.6+0 ⌅ [02c8fc9c] XML2_jll v2.13.9+0 [a65dc6b1] Xorg_libpciaccess_jll v0.18.1+0 [477f73a3] libaec_jll v1.1.4+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 [9fa8497b] Future v1.11.0 [b77e0a4c] InteractiveUtils v1.11.0 [ac6e5ff7] JuliaSyntaxHighlighting v1.13.0 [4af54fe1] LazyArtifacts v1.11.0 [b27032c2] LibCURL v1.0.0 [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.14.0 [de0858da] Printf v1.11.0 [9abbd945] Profile v1.11.0 [3fa0cd96] REPL v1.11.0 [9a3f8284] Random v1.11.0 [ea8e919c] SHA v1.0.0 [9e88b42a] Serialization v1.11.0 [6462fe0b] Sockets v1.11.0 [2f01184e] SparseArrays v1.13.0 [f489334b] StyledStrings v1.13.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.18.0+0 [e37daf67] LibGit2_jll v1.9.2+0 [29816b5a] LibSSH2_jll v1.11.3+1 [14a3606d] MozillaCACerts_jll v2025.12.2 [4536629a] OpenBLAS_jll v0.3.29+0 [05823500] OpenLibm_jll v0.8.7+0 [458c3c95] OpenSSL_jll v3.5.4+0 [efcefdf7] PCRE2_jll v10.47.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.15.0+0 [8e850ede] nghttp2_jll v1.68.0+1 [3f19e933] p7zip_jll v17.7.0+0 Info Packages marked with ⌅ have new versions available but compatibility constraints restrict them from upgrading. Testing Running tests... ──────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────── Time Allocations ─────────────────────── ──────────────────────── Tot / % measured: 592s / 98.6% 14.1GiB / 98.9% Section ncalls time %tot avg alloc %tot avg ──────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────── integration/ 1 216s 37.1% 216s 3.56GiB 25.5% 3.56GiB sequential/ 1 216s 37.1% 216s 3.56GiB 25.5% 3.56GiB generated_weights/ 1 216s 37.1% 216s 3.56GiB 25.5% 3.56GiB conv+fc+softmax.jl 1 125s 21.4% 125s 744MiB 5.2% 744MiB BlurringPerturbationFamily 1 83.7s 14.4% 83.7s 548MiB 3.8% 548MiB UnrestrictedPerturbationFamily 1 37.8s 6.5% 37.8s 169MiB 1.2% 169MiB Minimizing lInf norm 1 18.8s 3.2% 18.8s 53.6MiB 0.4% 53.6MiB Minimizing l1 norm 1 12.4s 2.1% 12.4s 65.7MiB 0.5% 65.7MiB With multiple target labels specified, minimum target label found 1 6.57s 1.1% 6.57s 49.4MiB 0.3% 49.4MiB LInfNormBoundedPerturbationFamily 1 3.37s 0.6% 3.37s 18.2MiB 0.1% 18.2MiB mfc+mfc+softmax.jl 1 91.0s 15.6% 91.0s 2.83GiB 20.3% 2.83GiB batch_processing_helpers/ 1 157s 26.9% 157s 2.48GiB 17.8% 2.48GiB integration.jl 1 145s 24.9% 145s 1.86GiB 13.4% 1.86GiB unit.jl 1 11.4s 2.0% 11.4s 625MiB 4.4% 625MiB utils/ 1 132s 22.7% 132s 6.61GiB 47.5% 6.61GiB import_datasets.jl 1 84.8s 14.5% 84.8s 3.61GiB 25.9% 3.61GiB import_example_nets.jl 1 47.2s 8.1% 47.2s 3.00GiB 21.6% 3.00GiB get_example_network_params 1 47.2s 8.1% 47.2s 3.00GiB 21.6% 3.00GiB MNIST.WK17a_linf0.1_authors 1 29.8s 5.1% 29.8s 1.51GiB 10.9% 1.51GiB MNIST.RSL18a_linf0.1_authors 1 11.8s 2.0% 11.8s 784MiB 5.5% 784MiB MNIST.n1 1 5.57s 1.0% 5.57s 741MiB 5.2% 741MiB net_components/ 1 78.3s 13.4% 78.3s 1.28GiB 9.2% 1.28GiB layers/ 1 47.9s 8.2% 47.9s 742MiB 5.2% 742MiB core_ops.jl 1 20.4s 3.5% 20.4s 408MiB 2.9% 408MiB nets/ 1 1.14s 0.2% 1.14s 38.0MiB 0.3% 38.0MiB models.jl 1 18.8ms 0.0% 18.8ms 20.3KiB 0.0% 20.3KiB ──────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────── Test Summary: | Pass Total Time MIPVerify | 340 340 9m51.8s Testing MIPVerify tests passed Testing completed after 1174.77s PkgEval succeeded after 1831.21s