Package evaluation to test MIPVerify on Julia 1.14.0-DEV.1563 (14ca1abc72*) started at 2026-01-15T23:20:21.395 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Activating project at `~/.julia/environments/v1.14` Set-up completed after 10.63s ################################################################################ # Installation # Installing MIPVerify... Resolving package versions... Installed ForwardDiff ───────────────── v1.3.1 Installed OpenBLASConsistentFPCSR_jll ─ v0.3.29+0 Installed Bzip2_jll ─────────────────── v1.0.9+0 Installed libaec_jll ────────────────── v1.1.4+0 Installed DiffResults ───────────────── v1.1.0 Installed InlineStrings ─────────────── v1.4.5 Installed FilePathsBase ─────────────── v0.9.24 Installed MacroTools ────────────────── v0.5.16 Installed DataStructures ────────────── v0.19.3 Installed MPICH_jll ─────────────────── v4.3.2+0 Installed CodecZlib ─────────────────── v0.7.8 Installed Compat ────────────────────── v4.18.1 Installed OrderedCollections ────────── v1.8.1 Installed MicrosoftMPI_jll ──────────── v10.1.4+3 Installed DelimitedFiles ────────────── v1.9.1 Installed TranscodingStreams ────────── v0.11.3 Installed IteratorInterfaceExtensions ─ v1.0.0 Installed DataAPI ───────────────────── v1.16.0 Installed InvertedIndices ───────────── v1.3.1 Installed Memento ───────────────────── v1.4.1 Installed Statistics ────────────────── v1.11.1 Installed PrecompileTools ───────────── v1.3.3 Installed MIPVerify ─────────────────── v0.5.4 Installed Xorg_libpciaccess_jll ─────── v0.18.1+0 Installed DataValueInterfaces ───────── v1.0.0 Installed ProgressMeter ─────────────── v1.11.0 Installed SentinelArrays ────────────── v1.4.9 Installed CommonSubexpressions ──────── v0.3.1 Installed StaticArraysCore ──────────── v1.4.4 Installed StructUtils ───────────────── v2.6.2 Installed IrrationalConstants ───────── v0.2.6 Installed NaNMath ───────────────────── v1.1.3 Installed CodecBzip2 ────────────────── v0.8.5 Installed StringManipulation ────────── v0.4.2 Installed JSON3 ─────────────────────── v1.14.3 Installed RoundingEmulator ──────────── v0.2.1 Installed OpenSpecFun_jll ───────────── v0.5.6+0 Installed JuMP ──────────────────────── v1.29.3 Installed Requires ──────────────────── v1.3.1 Installed HDF5_jll ──────────────────── v1.14.6+0 Installed OpenMPI_jll ───────────────── v5.0.9+0 Installed LogExpFunctions ───────────── v0.3.29 Installed DiffRules ─────────────────── v1.15.1 Installed BufferedStreams ───────────── v1.2.2 Installed Parsers ───────────────────── v2.8.3 Installed PrettyTables ──────────────── v3.1.2 Installed Hwloc_jll ─────────────────── v2.12.2+0 Installed JSON ──────────────────────── v1.4.0 Installed Tables ────────────────────── v1.12.1 Installed CSV ───────────────────────── v0.10.15 Installed IntervalArithmetic ────────── v0.22.36 Installed XML2_jll ──────────────────── v2.13.9+0 Installed Reexport ──────────────────── v1.2.2 Installed SpecialFunctions ──────────── v2.6.1 Installed Missings ──────────────────── v1.2.0 Installed MutableArithmetics ────────── v1.6.7 Installed Preferences ───────────────── v1.5.1 Installed DataFrames ────────────────── v1.8.1 Installed MPIPreferences ────────────── v0.1.11 Installed WeakRefStrings ────────────── v1.4.2 Installed CRlibm_jll ────────────────── v1.0.1+0 Installed PooledArrays ──────────────── v1.4.3 Installed BenchmarkTools ────────────── v1.6.3 Installed JLLWrappers ───────────────── v1.7.1 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 MAT ───────────────────────── v0.10.7 Installed DocStringExtensions ───────── v0.9.5 Installed MathOptInterface ──────────── v1.48.0 Installing 11 artifacts Installed artifact Xorg_libpciaccess 24.8 KiB Installed artifact OpenSpecFun 194.9 KiB Installed artifact libaec 49.6 KiB Installed artifact CRlibm 169.5 KiB Installed artifact Bzip2 503.5 KiB Installed artifact XML2 2.5 MiB Installed artifact Libiconv 1.9 MiB Installed artifact MPICH 3.3 MiB Installed artifact Hwloc 3.5 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.4.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.2 [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 17.14s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling packages... 4690.3 ms ✓ TestEnv 1 dependency successfully precompiled in 5 seconds. 27 already precompiled. Precompiling package dependencies... Precompiling packages... 2075.8 ms ✓ Crayons 4482.1 ms ✓ MacroTools 1697.8 ms ✓ InlineStrings 897.8 ms ✓ Reexport 1150.6 ms ✓ Statistics 964.6 ms ✓ DataAPI 2083.0 ms ✓ IrrationalConstants 827.2 ms ✓ DataValueInterfaces 966.1 ms ✓ StaticArraysCore 1201.1 ms ✓ Requires 1306.3 ms ✓ OrderedCollections 969.0 ms ✓ InvertedIndices 1230.5 ms ✓ DocStringExtensions 1327.2 ms ✓ RoundingEmulator 1348.4 ms ✓ WorkerUtilities 1303.8 ms ✓ ExprTools 1587.6 ms ✓ BufferedStreams 1370.9 ms ✓ TranscodingStreams 1009.1 ms ✓ IteratorInterfaceExtensions 1561.5 ms ✓ LaTeXStrings 1488.0 ms ✓ NaNMath 1563.9 ms ✓ DelimitedFiles 1827.8 ms ✓ ProgressMeter 2053.0 ms ✓ SentinelArrays 1641.1 ms ✓ StructTypes 1471.7 ms ✓ StructUtils 1186.9 ms ✓ Compat 1200.9 ms ✓ Preferences 11654.1 ms ✓ MutableArithmetics 2084.3 ms ✓ CommonSubexpressions 1818.0 ms ✓ Statistics → SparseArraysExt 1187.9 ms ✓ Missings 1169.6 ms ✓ PooledArrays 1041.8 ms ✓ DiffResults 4900.1 ms ✓ Memento 3529.6 ms ✓ DataStructures 1555.8 ms ✓ LogExpFunctions 3314.9 ms ✓ TimerOutputs 1054.5 ms ✓ CodecZlib 872.0 ms ✓ TableTraits 943.7 ms ✓ Compat → CompatLinearAlgebraExt 1291.5 ms ✓ JLLWrappers 1611.4 ms ✓ MPIPreferences 1074.8 ms ✓ PrecompileTools 1190.1 ms ✓ SortingAlgorithms 1910.0 ms ✓ Tables 2258.2 ms ✓ FilePathsBase 1632.5 ms ✓ METIS_jll 1612.6 ms ✓ libaec_jll 1761.0 ms ✓ OpenBLAS32_jll 1632.5 ms ✓ Xorg_libpciaccess_jll 1630.1 ms ✓ Bzip2_jll 1719.0 ms ✓ OpenBLASConsistentFPCSR_jll 1602.6 ms ✓ Libiconv_jll 1599.8 ms ✓ CRlibm_jll 1372.0 ms ✓ MicrosoftMPI_jll 1724.2 ms ✓ OpenSpecFun_jll 4919.3 ms ✓ MPItrampoline_jll 3174.0 ms ✓ StringManipulation 16166.4 ms ✓ Parsers 929.3 ms ✓ StructUtils → StructUtilsTablesExt 2746.0 ms ✓ FilePathsBase → FilePathsBaseTestExt 970.2 ms ✓ FilePathsBase → FilePathsBaseMmapExt 1478.7 ms ✓ HiGHS_jll 1056.1 ms ✓ CodecBzip2 1884.2 ms ✓ XML2_jll 1488.1 ms ✓ CRlibm 5164.2 ms ✓ SpecialFunctions 38490.6 ms ✓ PrettyTables 12959.6 ms ✓ JSON3 6723.1 ms ✓ JSON 1092.1 ms ✓ InlineStrings → ParsersExt 1602.9 ms ✓ Hwloc_jll 4002.9 ms ✓ IntervalArithmetic 1196.8 ms ✓ DiffRules 60121.4 ms ✓ DataFrames 3221.5 ms ✓ BenchmarkTools 2565.9 ms ✓ WeakRefStrings 5008.1 ms ✓ MPICH_jll 4651.9 ms ✓ OpenMPI_jll 1437.2 ms ✓ IntervalArithmetic → IntervalArithmeticLinearAlgebraExt 1605.1 ms ✓ IntervalArithmetic → IntervalArithmeticSparseArraysExt 6887.6 ms ✓ ForwardDiff 1078.9 ms ✓ IntervalArithmetic → IntervalArithmeticDiffRulesExt 23272.1 ms ✓ CSV 6049.3 ms ✓ HDF5_jll 1742.7 ms ✓ IntervalArithmetic → IntervalArithmeticForwardDiffExt 76146.1 ms ✓ MathOptInterface 14897.8 ms ✓ HDF5 5898.4 ms ✓ MathOptIIS 65335.6 ms ✓ JuMP 8060.0 ms ✓ MAT 29990.4 ms ✓ HiGHS 43885.5 ms ✓ MIPVerify 94 dependencies successfully precompiled in 571 seconds. 40 already precompiled. Precompilation completed after 588.23s ################################################################################ # Testing # Testing MIPVerify Status `/tmp/jl_cyfYVz/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_cyfYVz/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.4.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.2 [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: 598s / 98.6% 14.1GiB / 98.9% Section ncalls time %tot avg alloc %tot avg ──────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────── integration/ 1 201s 34.1% 201s 3.56GiB 25.6% 3.56GiB sequential/ 1 201s 34.1% 201s 3.56GiB 25.6% 3.56GiB generated_weights/ 1 201s 34.1% 201s 3.56GiB 25.6% 3.56GiB conv+fc+softmax.jl 1 108s 18.2% 108s 744MiB 5.2% 744MiB BlurringPerturbationFamily 1 69.2s 11.7% 69.2s 548MiB 3.8% 548MiB UnrestrictedPerturbationFamily 1 35.1s 5.9% 35.1s 169MiB 1.2% 169MiB Minimizing lInf norm 1 17.8s 3.0% 17.8s 53.6MiB 0.4% 53.6MiB Minimizing l1 norm 1 12.2s 2.1% 12.2s 65.7MiB 0.5% 65.7MiB With multiple target labels specified, minimum target label found 1 5.05s 0.9% 5.05s 49.4MiB 0.3% 49.4MiB LInfNormBoundedPerturbationFamily 1 3.10s 0.5% 3.10s 18.2MiB 0.1% 18.2MiB mfc+mfc+softmax.jl 1 93.4s 15.8% 93.4s 2.83GiB 20.3% 2.83GiB batch_processing_helpers/ 1 172s 29.1% 172s 2.48GiB 17.8% 2.48GiB integration.jl 1 155s 26.2% 155s 1.87GiB 13.4% 1.87GiB unit.jl 1 17.1s 2.9% 17.1s 625MiB 4.4% 625MiB utils/ 1 136s 23.1% 136s 6.61GiB 47.4% 6.61GiB import_datasets.jl 1 85.9s 14.6% 85.9s 3.61GiB 25.9% 3.61GiB import_example_nets.jl 1 50.0s 8.5% 50.0s 3.00GiB 21.5% 3.00GiB get_example_network_params 1 50.0s 8.5% 50.0s 3.00GiB 21.5% 3.00GiB MNIST.WK17a_linf0.1_authors 1 28.1s 4.8% 28.1s 1.51GiB 10.9% 1.51GiB MNIST.RSL18a_linf0.1_authors 1 15.7s 2.7% 15.7s 784MiB 5.5% 784MiB MNIST.n1 1 6.22s 1.1% 6.22s 741MiB 5.2% 741MiB net_components/ 1 80.8s 13.7% 80.8s 1.28GiB 9.2% 1.28GiB layers/ 1 50.0s 8.5% 50.0s 742MiB 5.2% 742MiB core_ops.jl 1 20.5s 3.5% 20.5s 408MiB 2.9% 408MiB nets/ 1 1.20s 0.2% 1.20s 38.0MiB 0.3% 38.0MiB models.jl 1 20.1ms 0.0% 20.1ms 20.3KiB 0.0% 20.3KiB ──────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────── Test Summary: | Pass Total Time MIPVerify | 340 340 9m58.5s Testing MIPVerify tests passed Testing completed after 1194.96s PkgEval succeeded after 1880.05s