Package evaluation of NeuralNetworkReachability on Julia 1.13.0-DEV.888 (0e1aa6c7eb*) started at 2025-07-22T18:26:38.429 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Set-up completed after 9.13s ################################################################################ # Installation # Installing NeuralNetworkReachability... Resolving package versions... Updating `~/.julia/environments/v1.13/Project.toml` [5de1e908] + NeuralNetworkReachability v0.1.6 Updating `~/.julia/environments/v1.13/Manifest.toml` [6e4b80f9] + BenchmarkTools v1.6.0 [96374032] + CRlibm v1.0.2 [523fee87] + CodecBzip2 v0.8.5 [944b1d66] + CodecZlib v0.7.8 [bbf7d656] + CommonSubexpressions v0.3.1 [34da2185] + Compat v4.17.0 [02ac4b2c] + ControllerFormats v0.2.4 [864edb3b] + DataStructures v0.18.22 [163ba53b] + DiffResults v1.1.0 [b552c78f] + DiffRules v1.15.1 [ffbed154] + DocStringExtensions v0.9.5 [4e289a0a] + EnumX v1.0.5 [90fa49ef] + ErrorfreeArithmetic v0.5.2 [e2ba6199] + ExprTools v0.1.10 [fa42c844] + FastRounding v0.3.1 [f6369f11] + ForwardDiff v1.0.1 [60bf3e95] + GLPK v1.2.1 ⌅ [d1acc4aa] + IntervalArithmetic v0.21.2 [92d709cd] + IrrationalConstants v0.2.4 [692b3bcd] + JLLWrappers v1.7.0 [682c06a0] + JSON v0.21.4 [0f8b85d8] + JSON3 v1.14.3 [4076af6c] + JuMP v1.27.0 [b4f0291d] + LazySets v4.0.1 [2ab3a3ac] + LogExpFunctions v0.3.29 [1914dd2f] + MacroTools v0.5.16 [b8f27783] + MathOptInterface v1.42.0 [d8a4904e] + MutableArithmetics v1.6.4 [77ba4419] + NaNMath v1.1.3 [5de1e908] + NeuralNetworkReachability v0.1.6 [bac558e1] + OrderedCollections v1.8.1 [69de0a69] + Parsers v2.8.3 [aea7be01] + PrecompileTools v1.3.2 [21216c6a] + Preferences v1.4.3 [379f33d0] + ReachabilityBase v0.3.5 [3cdcf5f2] + RecipesBase v1.3.4 [189a3867] + Reexport v1.2.2 [ae029012] + Requires v1.3.1 [5eaf0fd0] + RoundingEmulator v0.2.1 [3cc68bcd] + SetRounding v0.2.1 [276daf66] + SpecialFunctions v2.5.1 [90137ffa] + StaticArrays v1.9.14 [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 [4e9b3aee] + CRlibm_jll v1.0.1+0 [e8aa6df9] + GLPK_jll v5.0.1+1 [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 [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.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.13.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 [1a1011a3] + SharedArrays v1.11.0 [6462fe0b] + Sockets v1.11.0 [2f01184e] + SparseArrays v1.13.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.14.1+1 [e37daf67] + LibGit2_jll v1.9.1+0 [29816b5a] + LibSSH2_jll v1.11.3+1 [14a3606d] + MozillaCACerts_jll v2025.7.15 [4536629a] + OpenBLAS_jll v0.3.29+0 [05823500] + OpenLibm_jll v0.8.5+0 [458c3c95] + OpenSSL_jll v3.5.1+0 [efcefdf7] + PCRE2_jll v10.45.0+0 [bea87d4a] + SuiteSparse_jll v7.10.1+0 [83775a58] + Zlib_jll v1.3.1+2 [8e850b90] + libblastrampoline_jll v5.13.1+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. To see why use `status --outdated -m` Installation completed after 4.47s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... ┌ Warning: Could not use exact versions of packages in manifest, re-resolving └ @ TestEnv ~/.julia/packages/TestEnv/iS95e/src/julia-1.11/activate_set.jl:75 Precompiling package dependencies... Precompilation completed after 753.68s ################################################################################ # Testing # Testing NeuralNetworkReachability Test Could not use exact versions of packages in manifest, re-resolving. Note: if you do not check your manifest file into source control, then you can probably ignore this message. However, if you do check your manifest file into source control, then you probably want to pass the `allow_reresolve = false` kwarg when calling the `Pkg.test` function. Updating `/tmp/jl_JgYD85/Project.toml` [4c88cf16] + Aqua v0.8.13 [3391f64e] + CDDLib v0.10.1 ⌅ [138f1668] + IntervalConstraintProgramming v0.13.0 [5de1e908] + NeuralNetworkReachability v0.1.6 [429524aa] + Optim v1.13.2 [67491407] + Polyhedra v0.8.1 [1e97bd63] + ReachabilityAnalysis v0.28.0 Updating `/tmp/jl_JgYD85/Manifest.toml` [47edcb42] + ADTypes v1.15.0 [7d9f7c33] + Accessors v0.1.42 [79e6a3ab] + Adapt v4.3.0 [66dad0bd] + AliasTables v1.1.3 [4c88cf16] + Aqua v0.8.13 [ec485272] + ArnoldiMethod v0.4.0 [4fba245c] + ArrayInterface v7.19.0 [62783981] + BitTwiddlingConvenienceFunctions v0.1.6 [3391f64e] + CDDLib v0.10.1 [2a0fbf3d] + CPUSummary v0.2.6 [4803f6b2] + CarlemanLinearization v0.4.0 [d360d2e6] + ChainRulesCore v1.25.2 [fb6a15b2] + CloseOpenIntervals v0.1.13 [38540f10] + CommonSolve v0.2.4 [f70d9fcc] + CommonWorldInvalidations v1.0.0 [a33af91c] + CompositionsBase v0.1.2 [2569d6c7] + ConcreteStructs v0.2.3 [187b0558] + ConstructionBase v1.6.0 [adafc99b] + CpuId v0.3.1 [a8cc5b0e] + Crayons v4.1.1 [9a962f9c] + DataAPI v1.16.0 [e2d170a0] + DataValueInterfaces v1.0.0 [2b5f629d] + DiffEqBase v6.178.0 [a0c0ee7d] + DifferentiationInterface v0.7.3 [f151be2c] + EnzymeCore v0.8.12 [6912e4f1] + Espresso v0.6.4 [55351af7] + ExproniconLite v0.10.14 [7034ab61] + FastBroadcast v0.3.5 [9aa1b823] + FastClosures v0.3.2 [a4df4552] + FastPower v1.1.3 [1a297f60] + FillArrays v1.13.0 [6a86dc24] + FiniteDiff v2.27.0 ⌅ [f6369f11] ↓ ForwardDiff v1.0.1 ⇒ v0.10.38 [069b7b12] + FunctionWrappers v1.1.3 [77dc65aa] + FunctionWrappersWrappers v0.1.3 [46192b85] + GPUArraysCore v0.2.0 [14197337] + GenericLinearAlgebra v0.3.18 [86223c79] + Graphs v1.13.0 [2207ec0c] + HybridSystems v0.4.3 [615f187c] + IfElse v0.1.1 [d25df0c9] + Inflate v0.1.5 ⌅ [d1acc4aa] ↓ IntervalArithmetic v0.21.2 ⇒ v0.20.9 ⌅ [138f1668] + IntervalConstraintProgramming v0.13.0 ⌅ [15111844] + IntervalContractors v0.4.7 [5c1f47dc] + IntervalMatrices v0.11.1 ⌅ [d2bf35a9] + IntervalRootFinding v0.5.11 [3587e190] + InverseFunctions v0.1.17 [82899510] + IteratorInterfaceExtensions v1.0.0 [ae98c720] + Jieko v0.2.1 [b964fa9f] + LaTeXStrings v1.4.0 [10f19ff3] + LayoutPointers v0.1.17 [d3d80556] + LineSearches v7.4.0 [d125e4d3] + ManualMemory v0.1.8 [dbb5928d] + MappedArrays v0.4.2 [d14a8603] + MathematicalSystems v0.13.6 [e1d29d7a] + Missings v1.2.0 [2e0e35c7] + Moshi v0.3.7 [46d2c3a1] + MuladdMacro v0.2.4 [102ac46a] + MultivariatePolynomials v0.5.9 [d41bc354] + NLSolversBase v7.10.0 [5de1e908] + NeuralNetworkReachability v0.1.6 [429524aa] + Optim v1.13.2 [d96e819e] + Parameters v0.12.3 [eebad327] + PkgVersion v0.3.3 [f517fe37] + Polyester v0.7.18 [1d0040c9] + PolyesterWeave v0.2.2 [67491407] + Polyhedra v0.8.1 ⌅ [f27b6e38] + Polynomials v3.2.13 [85a6dd25] + PositiveFactorizations v0.2.4 [08abe8d2] + PrettyTables v2.4.0 [43287f4e] + PtrArrays v1.3.0 [1e97bd63] + ReachabilityAnalysis v0.28.0 [731186ca] + RecursiveArrayTools v3.35.0 [7e49a35a] + RuntimeGeneratedFunctions v0.5.15 [94e857df] + SIMDTypes v0.1.0 [0bca4576] + SciMLBase v2.104.0 [c0aeaf25] + SciMLOperators v1.3.1 [53ae85a6] + SciMLStructures v1.7.0 [efcf1570] + Setfield v1.1.2 [699a6c99] + SimpleTraits v0.9.4 [a2af1166] + SortingAlgorithms v1.2.1 [aedffcd0] + Static v1.2.0 [0d7ed370] + StaticArrayInterface v1.8.0 [82ae8749] + StatsAPI v1.7.1 [2913bbd2] + StatsBase v0.34.5 [7792a7ef] + StrideArraysCore v0.5.7 [892a3eda] + StringManipulation v0.4.1 [2efcf032] + SymbolicIndexingInterface v0.3.42 [3783bdb8] + TableTraits v1.0.1 [bd369af6] + Tables v1.12.1 ⌅ [92b13dbe] + TaylorIntegration v0.16.2 [314ce334] + TaylorModels v0.8.0 ⌅ [6aa5eb33] + TaylorSeries v0.18.5 [8290d209] + ThreadingUtilities v0.5.5 [781d530d] + TruncatedStacktraces v1.4.0 [3a884ed6] + UnPack v1.0.2 ⌅ [f07e07eb] + cddlib_jll v0.94.14+0 [9fa8497b] + Future v1.11.0 Info Packages marked with ⌅ have new versions available but compatibility constraints restrict them from upgrading. To see why use `status --outdated -m` Test Successfully re-resolved Status `/tmp/jl_JgYD85/Project.toml` [4c88cf16] Aqua v0.8.13 [3391f64e] CDDLib v0.10.1 [02ac4b2c] ControllerFormats v0.2.4 ⌅ [138f1668] IntervalConstraintProgramming v0.13.0 [b4f0291d] LazySets v4.0.1 [5de1e908] NeuralNetworkReachability v0.1.6 [429524aa] Optim v1.13.2 [67491407] Polyhedra v0.8.1 [1e97bd63] ReachabilityAnalysis v0.28.0 [8dfed614] Test v1.11.0 Status `/tmp/jl_JgYD85/Manifest.toml` [47edcb42] ADTypes v1.15.0 [7d9f7c33] Accessors v0.1.42 [79e6a3ab] Adapt v4.3.0 [66dad0bd] AliasTables v1.1.3 [4c88cf16] Aqua v0.8.13 [ec485272] ArnoldiMethod v0.4.0 [4fba245c] ArrayInterface v7.19.0 [6e4b80f9] BenchmarkTools v1.6.0 [62783981] BitTwiddlingConvenienceFunctions v0.1.6 [3391f64e] CDDLib v0.10.1 [2a0fbf3d] CPUSummary v0.2.6 [96374032] CRlibm v1.0.2 [4803f6b2] CarlemanLinearization v0.4.0 [d360d2e6] ChainRulesCore v1.25.2 [fb6a15b2] CloseOpenIntervals v0.1.13 [523fee87] CodecBzip2 v0.8.5 [944b1d66] CodecZlib v0.7.8 [38540f10] CommonSolve v0.2.4 [bbf7d656] CommonSubexpressions v0.3.1 [f70d9fcc] CommonWorldInvalidations v1.0.0 [34da2185] Compat v4.17.0 [a33af91c] CompositionsBase v0.1.2 [2569d6c7] ConcreteStructs v0.2.3 [187b0558] ConstructionBase v1.6.0 [02ac4b2c] ControllerFormats v0.2.4 [adafc99b] CpuId v0.3.1 [a8cc5b0e] Crayons v4.1.1 [9a962f9c] DataAPI v1.16.0 [864edb3b] DataStructures v0.18.22 [e2d170a0] DataValueInterfaces v1.0.0 [2b5f629d] DiffEqBase v6.178.0 [163ba53b] DiffResults v1.1.0 [b552c78f] DiffRules v1.15.1 [a0c0ee7d] DifferentiationInterface v0.7.3 [ffbed154] DocStringExtensions v0.9.5 [4e289a0a] EnumX v1.0.5 [f151be2c] EnzymeCore v0.8.12 [90fa49ef] ErrorfreeArithmetic v0.5.2 [6912e4f1] Espresso v0.6.4 [e2ba6199] ExprTools v0.1.10 [55351af7] ExproniconLite v0.10.14 [7034ab61] FastBroadcast v0.3.5 [9aa1b823] FastClosures v0.3.2 [a4df4552] FastPower v1.1.3 [fa42c844] FastRounding v0.3.1 [1a297f60] FillArrays v1.13.0 [6a86dc24] FiniteDiff v2.27.0 ⌅ [f6369f11] ForwardDiff v0.10.38 [069b7b12] FunctionWrappers v1.1.3 [77dc65aa] FunctionWrappersWrappers v0.1.3 [60bf3e95] GLPK v1.2.1 [46192b85] GPUArraysCore v0.2.0 [14197337] GenericLinearAlgebra v0.3.18 [86223c79] Graphs v1.13.0 [2207ec0c] HybridSystems v0.4.3 [615f187c] IfElse v0.1.1 [d25df0c9] Inflate v0.1.5 ⌅ [d1acc4aa] IntervalArithmetic v0.20.9 ⌅ [138f1668] IntervalConstraintProgramming v0.13.0 ⌅ [15111844] IntervalContractors v0.4.7 [5c1f47dc] IntervalMatrices v0.11.1 ⌅ [d2bf35a9] IntervalRootFinding v0.5.11 [3587e190] InverseFunctions v0.1.17 [92d709cd] IrrationalConstants v0.2.4 [82899510] IteratorInterfaceExtensions v1.0.0 [692b3bcd] JLLWrappers v1.7.0 [682c06a0] JSON v0.21.4 [0f8b85d8] JSON3 v1.14.3 [ae98c720] Jieko v0.2.1 [4076af6c] JuMP v1.27.0 [b964fa9f] LaTeXStrings v1.4.0 [10f19ff3] LayoutPointers v0.1.17 [b4f0291d] LazySets v4.0.1 [d3d80556] LineSearches v7.4.0 [2ab3a3ac] LogExpFunctions v0.3.29 [1914dd2f] MacroTools v0.5.16 [d125e4d3] ManualMemory v0.1.8 [dbb5928d] MappedArrays v0.4.2 [b8f27783] MathOptInterface v1.42.0 [d14a8603] MathematicalSystems v0.13.6 [e1d29d7a] Missings v1.2.0 [2e0e35c7] Moshi v0.3.7 [46d2c3a1] MuladdMacro v0.2.4 [102ac46a] MultivariatePolynomials v0.5.9 [d8a4904e] MutableArithmetics v1.6.4 [d41bc354] NLSolversBase v7.10.0 [77ba4419] NaNMath v1.1.3 [5de1e908] NeuralNetworkReachability v0.1.6 [429524aa] Optim v1.13.2 [bac558e1] OrderedCollections v1.8.1 [d96e819e] Parameters v0.12.3 [69de0a69] Parsers v2.8.3 [eebad327] PkgVersion v0.3.3 [f517fe37] Polyester v0.7.18 [1d0040c9] PolyesterWeave v0.2.2 [67491407] Polyhedra v0.8.1 ⌅ [f27b6e38] Polynomials v3.2.13 [85a6dd25] PositiveFactorizations v0.2.4 [aea7be01] PrecompileTools v1.3.2 [21216c6a] Preferences v1.4.3 [08abe8d2] PrettyTables v2.4.0 [43287f4e] PtrArrays v1.3.0 [1e97bd63] ReachabilityAnalysis v0.28.0 [379f33d0] ReachabilityBase v0.3.5 [3cdcf5f2] RecipesBase v1.3.4 [731186ca] RecursiveArrayTools v3.35.0 [189a3867] Reexport v1.2.2 [ae029012] Requires v1.3.1 [5eaf0fd0] RoundingEmulator v0.2.1 [7e49a35a] RuntimeGeneratedFunctions v0.5.15 [94e857df] SIMDTypes v0.1.0 [0bca4576] SciMLBase v2.104.0 [c0aeaf25] SciMLOperators v1.3.1 [53ae85a6] SciMLStructures v1.7.0 [3cc68bcd] SetRounding v0.2.1 [efcf1570] Setfield v1.1.2 [699a6c99] SimpleTraits v0.9.4 [a2af1166] SortingAlgorithms v1.2.1 [276daf66] SpecialFunctions v2.5.1 [aedffcd0] Static v1.2.0 [0d7ed370] StaticArrayInterface v1.8.0 [90137ffa] StaticArrays v1.9.14 [1e83bf80] StaticArraysCore v1.4.3 [10745b16] Statistics v1.11.1 [82ae8749] StatsAPI v1.7.1 [2913bbd2] StatsBase v0.34.5 [7792a7ef] StrideArraysCore v0.5.7 [892a3eda] StringManipulation v0.4.1 [856f2bd8] StructTypes v1.11.0 [2efcf032] SymbolicIndexingInterface v0.3.42 [3783bdb8] TableTraits v1.0.1 [bd369af6] Tables v1.12.1 ⌅ [92b13dbe] TaylorIntegration v0.16.2 [314ce334] TaylorModels v0.8.0 ⌅ [6aa5eb33] TaylorSeries v0.18.5 [8290d209] ThreadingUtilities v0.5.5 [3bb67fe8] TranscodingStreams v0.11.3 [781d530d] TruncatedStacktraces v1.4.0 [3a884ed6] UnPack v1.0.2 [6e34b625] Bzip2_jll v1.0.9+0 [4e9b3aee] CRlibm_jll v1.0.1+0 [e8aa6df9] GLPK_jll v5.0.1+1 [efe28fd5] OpenSpecFun_jll v0.5.6+0 ⌅ [f07e07eb] cddlib_jll v0.94.14+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.12.0 [b27032c2] LibCURL v0.6.4 [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.13.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 [1a1011a3] SharedArrays v1.11.0 [6462fe0b] Sockets v1.11.0 [2f01184e] SparseArrays v1.13.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.14.1+1 [e37daf67] LibGit2_jll v1.9.1+0 [29816b5a] LibSSH2_jll v1.11.3+1 [14a3606d] MozillaCACerts_jll v2025.7.15 [4536629a] OpenBLAS_jll v0.3.29+0 [05823500] OpenLibm_jll v0.8.5+0 [458c3c95] OpenSSL_jll v3.5.1+0 [efcefdf7] PCRE2_jll v10.45.0+0 [bea87d4a] SuiteSparse_jll v7.10.1+0 [83775a58] Zlib_jll v1.3.1+2 [8e850b90] libblastrampoline_jll v5.13.1+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... Precompiling packages... 19030.0 ms ✓ NeuralNetworkReachability 1 dependency successfully precompiled in 21 seconds. 89 already precompiled. Test Summary: | Pass Total Time Optional dependencies (not loaded) | 3 3 4.0s Precompiling packages... 15740.6 ms ✓ Polyhedra 1 dependency successfully precompiled in 17 seconds. 55 already precompiled. Precompiling packages... 16871.6 ms ✓ Polyhedra → PolyhedraJuMPExt 1 dependency successfully precompiled in 18 seconds. 57 already precompiled. Precompiling packages... 10896.7 ms ✓ Polyhedra → PolyhedraRecipesBaseExt 1 dependency successfully precompiled in 12 seconds. 57 already precompiled. Precompiling packages... 1418.2 ms ✓ cddlib_jll 11524.0 ms ✓ CDDLib 2 dependencies successfully precompiled in 14 seconds. 57 already precompiled. Precompiling packages... 2260.6 ms ✓ DifferentiationInterface → DifferentiationInterfaceForwardDiffExt 4642.3 ms ✓ NLSolversBase 6799.6 ms ✓ LineSearches 12149.9 ms ✓ Optim 4 dependencies successfully precompiled in 27 seconds. 66 already precompiled. Precompiling packages... 9139.2 ms ✓ Optim → OptimMOIExt 1 dependency successfully precompiled in 10 seconds. 87 already precompiled. Test Summary: | Pass Total Time Util | 3 3 1.6s Test Summary: | Pass Broken Total Time ForwardAlgorithms | 532 12 544 3m56.8s Test Summary: | Pass Total Time BackwardAlgorithms | 120 120 58.6s Test Summary: | Pass Total Time BidirectionalAlgorithms | 35 35 18.0s glp_simplex: unable to recover undefined or non-optimal solution Test Summary: | Pass Total Time AISoLA 2023 | 2 2 59.4s Testing NeuralNetworkReachability tests passed Testing completed after 533.14s PkgEval succeeded after 1334.82s