Package evaluation to test MIPVerify on Julia 1.14.0-DEV.1584 (ac5fadde9b*) started at 2026-01-18T23:03:32.986 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Activating project at `~/.julia/environments/v1.14` Set-up completed after 10.32s ################################################################################ # Installation # Installing MIPVerify... Resolving package versions... Installed DiffResults ───────────────── v1.1.0 Installed Bzip2_jll ─────────────────── v1.0.9+0 Installed DataStructures ────────────── v0.19.3 Installed FilePathsBase ─────────────── v0.9.24 Installed InlineStrings ─────────────── v1.4.5 Installed ForwardDiff ───────────────── v1.3.1 Installed MacroTools ────────────────── v0.5.16 Installed OpenBLASConsistentFPCSR_jll ─ v0.3.29+0 Installed DelimitedFiles ────────────── v1.9.1 Installed OrderedCollections ────────── v1.8.1 Installed MicrosoftMPI_jll ──────────── v10.1.4+3 Installed CodecZlib ─────────────────── v0.7.8 Installed libaec_jll ────────────────── v1.1.4+0 Installed MPICH_jll ─────────────────── v4.3.2+0 Installed TranscodingStreams ────────── v0.11.3 Installed Compat ────────────────────── v4.18.1 Installed IteratorInterfaceExtensions ─ v1.0.0 Installed DataAPI ───────────────────── v1.16.0 Installed InvertedIndices ───────────── v1.3.1 Installed Statistics ────────────────── v1.11.1 Installed PrecompileTools ───────────── v1.3.3 Installed Memento ───────────────────── v1.4.1 Installed MIPVerify ─────────────────── v0.5.4 Installed DataValueInterfaces ───────── v1.0.0 Installed Xorg_libpciaccess_jll ─────── v0.18.1+0 Installed ProgressMeter ─────────────── v1.11.0 Installed SentinelArrays ────────────── v1.4.9 Installed CommonSubexpressions ──────── v0.3.1 Installed StaticArraysCore ──────────── v1.4.4 Installed CodecBzip2 ────────────────── v0.8.5 Installed NaNMath ───────────────────── v1.1.3 Installed IrrationalConstants ───────── v0.2.6 Installed StructUtils ───────────────── v2.6.2 Installed StringManipulation ────────── v0.4.2 Installed JSON3 ─────────────────────── v1.14.3 Installed OpenSpecFun_jll ───────────── v0.5.6+0 Installed Requires ──────────────────── v1.3.1 Installed RoundingEmulator ──────────── v0.2.1 Installed LogExpFunctions ───────────── v0.3.29 Installed CSV ───────────────────────── v0.10.15 Installed OpenMPI_jll ───────────────── v5.0.9+0 Installed DiffRules ─────────────────── v1.15.1 Installed HDF5_jll ──────────────────── v1.14.6+0 Installed Parsers ───────────────────── v2.8.3 Installed BufferedStreams ───────────── v1.2.2 Installed JSON ──────────────────────── v1.4.0 Installed JuMP ──────────────────────── v1.29.4 Installed Hwloc_jll ─────────────────── v2.12.2+0 Installed PrettyTables ──────────────── v3.1.2 Installed XML2_jll ──────────────────── v2.13.9+0 Installed Tables ────────────────────── v1.12.1 Installed Reexport ──────────────────── v1.2.2 Installed SpecialFunctions ──────────── v2.6.1 Installed Preferences ───────────────── v1.5.1 Installed Missings ──────────────────── v1.2.0 Installed MutableArithmetics ────────── v1.6.7 Installed DataFrames ────────────────── v1.8.1 Installed IntervalArithmetic ────────── v0.22.36 Installed MPIPreferences ────────────── v0.1.11 Installed WeakRefStrings ────────────── v1.4.2 Installed PooledArrays ──────────────── v1.4.3 Installed BenchmarkTools ────────────── v1.6.3 Installed Libiconv_jll ──────────────── v1.18.0+0 Installed TableTraits ───────────────── v1.0.1 Installed JLLWrappers ───────────────── v1.7.1 Installed CRlibm_jll ────────────────── v1.0.1+0 Installed LaTeXStrings ──────────────── v1.4.0 Installed StructTypes ───────────────── v1.11.0 Installed Crayons ───────────────────── v4.1.1 Installed SortingAlgorithms ─────────── v1.2.2 Installed WorkerUtilities ───────────── v1.6.1 Installed MPItrampoline_jll ─────────── v5.5.4+0 Installed DocStringExtensions ───────── v0.9.5 Installed CRlibm ────────────────────── v1.0.2 Installed MAT ───────────────────────── v0.10.7 Installed HDF5 ──────────────────────── v0.17.2 Installed MathOptInterface ──────────── v1.48.0 Installing 11 artifacts Installed artifact libaec 49.6 KiB Installed artifact Bzip2 503.5 KiB Installed artifact CRlibm 169.5 KiB Installed artifact Xorg_libpciaccess 24.8 KiB Installed artifact OpenSpecFun 194.9 KiB Installed artifact Hwloc 3.5 MiB Installed artifact MPICH 3.3 MiB Installed artifact XML2 2.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.4.0 [0f8b85d8] + JSON3 v1.14.3 [4076af6c] + JuMP v1.29.4 [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 16.07s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling packages... 4340.5 ms ✓ TestEnv 1 dependency successfully precompiled in 5 seconds. 27 already precompiled. Precompiling package dependencies... Precompiling packages... 1846.4 ms ✓ Crayons 4155.3 ms ✓ MacroTools 1752.8 ms ✓ InlineStrings 943.6 ms ✓ Reexport 1177.7 ms ✓ Statistics 902.0 ms ✓ DataAPI 2101.0 ms ✓ IrrationalConstants 825.4 ms ✓ DataValueInterfaces 1033.0 ms ✓ StaticArraysCore 1222.8 ms ✓ Requires 1468.8 ms ✓ OrderedCollections 874.8 ms ✓ InvertedIndices 1117.8 ms ✓ DocStringExtensions 967.5 ms ✓ RoundingEmulator 1034.7 ms ✓ WorkerUtilities 1003.2 ms ✓ ExprTools 1088.8 ms ✓ BufferedStreams 1220.9 ms ✓ TranscodingStreams 784.8 ms ✓ IteratorInterfaceExtensions 871.9 ms ✓ LaTeXStrings 1121.1 ms ✓ NaNMath 972.4 ms ✓ DelimitedFiles 1919.8 ms ✓ ProgressMeter 2086.6 ms ✓ SentinelArrays 1701.5 ms ✓ StructTypes 1474.0 ms ✓ StructUtils 1154.0 ms ✓ Compat 1179.8 ms ✓ Preferences 11828.8 ms ✓ MutableArithmetics 1693.7 ms ✓ CommonSubexpressions 1383.9 ms ✓ Statistics → SparseArraysExt 1026.2 ms ✓ Missings 997.8 ms ✓ PooledArrays 877.0 ms ✓ DiffResults 4518.4 ms ✓ Memento 3610.9 ms ✓ DataStructures 1525.2 ms ✓ LogExpFunctions 3245.6 ms ✓ TimerOutputs 1453.2 ms ✓ CodecZlib 1066.6 ms ✓ TableTraits 932.0 ms ✓ Compat → CompatLinearAlgebraExt 1549.6 ms ✓ JLLWrappers 1735.7 ms ✓ MPIPreferences 980.3 ms ✓ PrecompileTools 1279.0 ms ✓ SortingAlgorithms 1885.0 ms ✓ Tables 2458.0 ms ✓ FilePathsBase 1936.0 ms ✓ METIS_jll 2049.0 ms ✓ libaec_jll 1928.7 ms ✓ OpenBLAS32_jll 1815.4 ms ✓ Xorg_libpciaccess_jll 1679.0 ms ✓ Bzip2_jll 1612.2 ms ✓ OpenBLASConsistentFPCSR_jll 1376.0 ms ✓ Libiconv_jll 1491.0 ms ✓ CRlibm_jll 1278.8 ms ✓ MicrosoftMPI_jll 1570.0 ms ✓ OpenSpecFun_jll 4138.5 ms ✓ MPItrampoline_jll 2807.0 ms ✓ StringManipulation 11659.2 ms ✓ Parsers 1062.9 ms ✓ StructUtils → StructUtilsTablesExt 2487.2 ms ✓ FilePathsBase → FilePathsBaseTestExt 974.3 ms ✓ FilePathsBase → FilePathsBaseMmapExt 1519.1 ms ✓ HiGHS_jll 1090.1 ms ✓ CodecBzip2 1477.1 ms ✓ XML2_jll 1096.3 ms ✓ CRlibm 4019.7 ms ✓ SpecialFunctions 26883.0 ms ✓ PrettyTables 10618.4 ms ✓ JSON3 6315.8 ms ✓ JSON 1007.4 ms ✓ InlineStrings → ParsersExt 1519.6 ms ✓ Hwloc_jll 5221.4 ms ✓ IntervalArithmetic 1293.5 ms ✓ DiffRules 76532.2 ms ✓ DataFrames 3066.8 ms ✓ BenchmarkTools 2545.6 ms ✓ WeakRefStrings 5206.4 ms ✓ MPICH_jll 4985.1 ms ✓ OpenMPI_jll 1773.8 ms ✓ IntervalArithmetic → IntervalArithmeticLinearAlgebraExt 1735.8 ms ✓ IntervalArithmetic → IntervalArithmeticSparseArraysExt 6767.2 ms ✓ ForwardDiff 1047.0 ms ✓ IntervalArithmetic → IntervalArithmeticDiffRulesExt 25652.9 ms ✓ CSV 5413.1 ms ✓ HDF5_jll 1254.3 ms ✓ IntervalArithmetic → IntervalArithmeticForwardDiffExt 74214.7 ms ✓ MathOptInterface 13811.9 ms ✓ HDF5 6045.9 ms ✓ MathOptIIS 65277.2 ms ✓ JuMP 7803.1 ms ✓ MAT 30692.0 ms ✓ HiGHS 41823.6 ms ✓ MIPVerify 94 dependencies successfully precompiled in 560 seconds. 40 already precompiled. Precompilation completed after 575.98s ################################################################################ # Testing # Testing MIPVerify Status `/tmp/jl_E2Tk45/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.4 ⌅ [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_E2Tk45/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.4 [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: 618s / 98.7% 14.1GiB / 98.9% Section ncalls time %tot avg alloc %tot avg ──────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────── integration/ 1 217s 35.5% 217s 3.56GiB 25.5% 3.56GiB sequential/ 1 217s 35.5% 217s 3.56GiB 25.5% 3.56GiB generated_weights/ 1 217s 35.5% 217s 3.56GiB 25.5% 3.56GiB conv+fc+softmax.jl 1 125s 20.5% 125s 744MiB 5.2% 744MiB BlurringPerturbationFamily 1 83.8s 13.7% 83.8s 548MiB 3.8% 548MiB UnrestrictedPerturbationFamily 1 37.5s 6.1% 37.5s 169MiB 1.2% 169MiB Minimizing lInf norm 1 19.1s 3.1% 19.1s 53.6MiB 0.4% 53.6MiB Minimizing l1 norm 1 12.6s 2.1% 12.6s 65.7MiB 0.5% 65.7MiB With multiple target labels specified, minimum target label found 1 5.89s 1.0% 5.89s 49.4MiB 0.3% 49.4MiB LInfNormBoundedPerturbationFamily 1 3.50s 0.6% 3.50s 18.2MiB 0.1% 18.2MiB mfc+mfc+softmax.jl 1 91.5s 15.0% 91.5s 2.83GiB 20.3% 2.83GiB batch_processing_helpers/ 1 171s 28.1% 171s 2.48GiB 17.8% 2.48GiB integration.jl 1 152s 25.0% 152s 1.87GiB 13.4% 1.87GiB unit.jl 1 18.5s 3.0% 18.5s 625MiB 4.4% 625MiB utils/ 1 140s 23.0% 140s 6.61GiB 47.5% 6.61GiB import_datasets.jl 1 89.9s 14.7% 89.9s 3.61GiB 25.9% 3.61GiB import_example_nets.jl 1 50.1s 8.2% 50.1s 3.00GiB 21.6% 3.00GiB get_example_network_params 1 50.1s 8.2% 50.1s 3.00GiB 21.6% 3.00GiB MNIST.WK17a_linf0.1_authors 1 23.7s 3.9% 23.7s 1.51GiB 10.9% 1.51GiB MNIST.RSL18a_linf0.1_authors 1 15.3s 2.5% 15.3s 784MiB 5.5% 784MiB MNIST.n1 1 11.1s 1.8% 11.1s 741MiB 5.2% 741MiB net_components/ 1 82.1s 13.5% 82.1s 1.28GiB 9.2% 1.28GiB layers/ 1 50.0s 8.2% 50.0s 742MiB 5.2% 742MiB core_ops.jl 1 22.2s 3.6% 22.2s 408MiB 2.9% 408MiB nets/ 1 893ms 0.1% 893ms 38.0MiB 0.3% 38.0MiB models.jl 1 20.9ms 0.0% 20.9ms 20.3KiB 0.0% 20.3KiB ──────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────── Test Summary: | Pass Total Time MIPVerify | 340 340 10m18.0s Testing MIPVerify tests passed Testing completed after 1198.54s PkgEval succeeded after 1853.42s