Package evaluation to test Flowstar on Julia 1.14.0-DEV.1395 (a32911ae58*) started at 2025-12-21T19:58:26.306


################################################################################
# Set-up
#

Installing PkgEval dependencies (TestEnv)...
  Activating project at `~/.julia/environments/v1.14`

Set-up completed after 10.56s


################################################################################
# Installation
#

Installing Flowstar...
   Resolving package versions...
   Installed CommonWorldInvalidations ───────── v1.0.0
   Installed CompositionsBase ───────────────── v0.1.2
   Installed DiffResults ────────────────────── v1.1.0
   Installed CommonSolve ────────────────────── v0.2.4
   Installed MacroTools ─────────────────────── v0.5.16
   Installed DataStructures ─────────────────── v0.19.3
   Installed ForwardDiff ────────────────────── v1.3.0
   Installed Flowstar_jll ───────────────────── v2.1.0+0
   Installed OpenBLASConsistentFPCSR_jll ────── v0.3.29+0
   Installed ManualMemory ───────────────────── v0.1.8
   Installed Adapt ──────────────────────────── v4.4.0
   Installed AbstractTrees ──────────────────── v0.4.5
   Installed FastPower ──────────────────────── v1.2.0
   Installed RuntimeGeneratedFunctions ──────── v0.5.16
   Installed BitTwiddlingConvenienceFunctions ─ v0.1.6
   Installed ConstructionBase ───────────────── v1.6.0
   Installed SIMDTypes ──────────────────────── v0.1.0
   Installed ExprTools ──────────────────────── v0.1.10
   Installed IteratorInterfaceExtensions ────── v1.0.0
   Installed ArrayInterface ─────────────────── v7.22.0
   Installed StrideArraysCore ───────────────── v0.5.8
   Installed Compat ─────────────────────────── v4.18.1
   Installed SymbolicIndexingInterface ──────── v0.3.46
   Installed OrderedCollections ─────────────── v1.8.1
   Installed RecipesBase ────────────────────── v1.3.4
   Installed EnzymeCore ─────────────────────── v0.8.17
   Installed ProgressLogging ────────────────── v0.1.6
   Installed FunctionWrappersWrappers ───────── v0.1.3
   Installed PreallocationTools ─────────────── v0.4.34
   Installed Statistics ─────────────────────── v1.11.1
   Installed SciMLOperators ─────────────────── v1.14.1
   Installed PrecompileTools ────────────────── v1.3.3
   Installed CpuId ──────────────────────────── v0.3.1
   Installed CommonSubexpressions ───────────── v0.3.1
   Installed LoggingExtras ──────────────────── v1.2.0
   Installed SciMLStructures ────────────────── v1.7.0
   Installed LayoutPointers ─────────────────── v0.1.17
   Installed ExproniconLite ─────────────────── v0.10.14
   Installed ConcreteStructs ────────────────── v0.2.3
   Installed StaticArrays ───────────────────── v1.9.15
   Installed StaticArraysCore ───────────────── v1.4.4
   Installed GPUArraysCore ──────────────────── v0.2.0
   Installed TruncatedStacktraces ───────────── v1.4.0
   Installed IrrationalConstants ────────────── v0.2.6
   Installed StaticArrayInterface ───────────── v1.8.0
   Installed CPUSummary ─────────────────────── v0.2.7
   Installed Flowstar ───────────────────────── v0.3.0
   Installed MultivariatePolynomials ────────── v0.5.13
   Installed NaNMath ────────────────────────── v1.1.3
   Installed SciMLPublic ────────────────────── v1.0.0
   Installed OpenSpecFun_jll ────────────────── v0.5.6+0
   Installed RoundingEmulator ───────────────── v0.2.1
   Installed Requires ───────────────────────── v1.3.1
   Installed TypedPolynomials ───────────────── v0.4.2
   Installed FunctionWrappers ───────────────── v1.1.3
   Installed TaylorModels ───────────────────── v0.9.0
   Installed DiffRules ──────────────────────── v1.15.1
   Installed FastBroadcast ──────────────────── v0.3.5
   Installed LogExpFunctions ────────────────── v0.3.29
   Installed FastClosures ───────────────────── v0.3.2
   Installed GLPK_jll ───────────────────────── v5.0.1+1
   Installed IfElse ─────────────────────────── v0.1.1
   Installed CloseOpenIntervals ─────────────── v0.1.13
   Installed Parameters ─────────────────────── v0.12.3
   Installed SciMLBase ──────────────────────── v2.128.0
   Installed IntervalArithmetic ─────────────── v1.0.2
   Installed Polyester ──────────────────────── v0.7.18
   Installed EnumX ──────────────────────────── v1.0.5
   Installed MuladdMacro ────────────────────── v0.2.4
   Installed SciMLLogging ───────────────────── v1.7.1
   Installed GSL_jll ────────────────────────── v2.7.2+0
   Installed DiffEqBase ─────────────────────── v6.193.0
   Installed SpecialFunctions ───────────────── v2.6.1
   Installed InverseFunctions ───────────────── v0.1.17
   Installed Reexport ───────────────────────── v1.2.2
   Installed Jieko ──────────────────────────── v0.2.1
   Installed Setfield ───────────────────────── v1.1.2
   Installed Preferences ────────────────────── v1.5.1
   Installed MutableArithmetics ─────────────── v1.6.7
   Installed CRlibm_jll ─────────────────────── v1.0.1+0
   Installed Static ─────────────────────────── v1.3.1
   Installed JLLWrappers ────────────────────── v1.7.1
   Installed TaylorSeries ───────────────────── v0.20.10
   Installed Espresso ───────────────────────── v0.6.4
   Installed Moshi ──────────────────────────── v0.3.7
   Installed BranchAndPrune ─────────────────── v0.2.1
   Installed ThreadingUtilities ─────────────── v0.5.5
   Installed PolyesterWeave ─────────────────── v0.2.2
   Installed UnPack ─────────────────────────── v1.0.2
   Installed RecursiveArrayTools ────────────── v3.42.0
   Installed ADTypes ────────────────────────── v1.20.0
   Installed DocStringExtensions ────────────── v0.9.5
   Installed CRlibm ─────────────────────────── v1.0.2
   Installed IntervalRootFinding ────────────── v0.6.2
   Installed Accessors ──────────────────────── v0.1.43
   Installed TaylorIntegration ──────────────── v0.17.4
  Installing 6 artifacts
   Installed artifact CRlibm                  169.5 KiB
   Installed artifact OpenSpecFun             194.9 KiB
   Installed artifact GLPK                    3.1 MiB
   Installed artifact GSL                     4.4 MiB
   Installed artifact Flowstar                5.3 MiB
   Installed artifact OpenBLASConsistentFPCSR 9.9 MiB
    Updating `~/.julia/environments/v1.14/Project.toml`
  [a8054ddd] + Flowstar v0.3.0
    Updating `~/.julia/environments/v1.14/Manifest.toml`
  [47edcb42] + ADTypes v1.20.0
  [1520ce14] + AbstractTrees v0.4.5
  [7d9f7c33] + Accessors v0.1.43
  [79e6a3ab] + Adapt v4.4.0
  [4fba245c] + ArrayInterface v7.22.0
  [62783981] + BitTwiddlingConvenienceFunctions v0.1.6
  [d3bc4f2e] + BranchAndPrune v0.2.1
  [2a0fbf3d] + CPUSummary v0.2.7
  [96374032] + CRlibm v1.0.2
  [fb6a15b2] + CloseOpenIntervals v0.1.13
  [38540f10] + CommonSolve v0.2.4
  [bbf7d656] + CommonSubexpressions v0.3.1
  [f70d9fcc] + CommonWorldInvalidations v1.0.0
  [34da2185] + Compat v4.18.1
  [a33af91c] + CompositionsBase v0.1.2
  [2569d6c7] + ConcreteStructs v0.2.3
  [187b0558] + ConstructionBase v1.6.0
  [adafc99b] + CpuId v0.3.1
  [864edb3b] + DataStructures v0.19.3
  [2b5f629d] + DiffEqBase v6.193.0
  [163ba53b] + DiffResults v1.1.0
  [b552c78f] + DiffRules v1.15.1
  [ffbed154] + DocStringExtensions v0.9.5
  [4e289a0a] + EnumX v1.0.5
  [f151be2c] + EnzymeCore v0.8.17
  [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.2.0
  [a8054ddd] + Flowstar v0.3.0
  [f6369f11] + ForwardDiff v1.3.0
  [069b7b12] + FunctionWrappers v1.1.3
  [77dc65aa] + FunctionWrappersWrappers v0.1.3
  [46192b85] + GPUArraysCore v0.2.0
  [615f187c] + IfElse v0.1.1
  [d1acc4aa] + IntervalArithmetic v1.0.2
  [d2bf35a9] + IntervalRootFinding v0.6.2
  [3587e190] + InverseFunctions v0.1.17
  [92d709cd] + IrrationalConstants v0.2.6
  [82899510] + IteratorInterfaceExtensions v1.0.0
  [692b3bcd] + JLLWrappers v1.7.1
  [ae98c720] + Jieko v0.2.1
  [10f19ff3] + LayoutPointers v0.1.17
  [2ab3a3ac] + LogExpFunctions v0.3.29
  [e6f89c97] + LoggingExtras v1.2.0
  [1914dd2f] + MacroTools v0.5.16
  [d125e4d3] + ManualMemory v0.1.8
  [2e0e35c7] + Moshi v0.3.7
  [46d2c3a1] + MuladdMacro v0.2.4
  [102ac46a] + MultivariatePolynomials v0.5.13
  [d8a4904e] + MutableArithmetics v1.6.7
  [77ba4419] + NaNMath v1.1.3
  [bac558e1] + OrderedCollections v1.8.1
  [d96e819e] + Parameters v0.12.3
  [f517fe37] + Polyester v0.7.18
  [1d0040c9] + PolyesterWeave v0.2.2
  [d236fae5] + PreallocationTools v0.4.34
  [aea7be01] + PrecompileTools v1.3.3
  [21216c6a] + Preferences v1.5.1
  [33c8b6b6] + ProgressLogging v0.1.6
  [3cdcf5f2] + RecipesBase v1.3.4
  [731186ca] + RecursiveArrayTools v3.42.0
  [189a3867] + Reexport v1.2.2
  [ae029012] + Requires v1.3.1
  [5eaf0fd0] + RoundingEmulator v0.2.1
  [7e49a35a] + RuntimeGeneratedFunctions v0.5.16
  [94e857df] + SIMDTypes v0.1.0
  [0bca4576] + SciMLBase v2.128.0
  [a6db7da4] + SciMLLogging v1.7.1
  [c0aeaf25] + SciMLOperators v1.14.1
  [431bcebd] + SciMLPublic v1.0.0
  [53ae85a6] + SciMLStructures v1.7.0
  [efcf1570] + Setfield v1.1.2
  [276daf66] + SpecialFunctions v2.6.1
  [aedffcd0] + Static v1.3.1
  [0d7ed370] + StaticArrayInterface v1.8.0
  [90137ffa] + StaticArrays v1.9.15
  [1e83bf80] + StaticArraysCore v1.4.4
  [10745b16] + Statistics v1.11.1
  [7792a7ef] + StrideArraysCore v0.5.8
  [2efcf032] + SymbolicIndexingInterface v0.3.46
⌅ [92b13dbe] + TaylorIntegration v0.17.4
  [314ce334] + TaylorModels v0.9.0
  [6aa5eb33] + TaylorSeries v0.20.10
  [8290d209] + ThreadingUtilities v0.5.5
  [781d530d] + TruncatedStacktraces v1.4.0
  [afbbf031] + TypedPolynomials v0.4.2
  [3a884ed6] + UnPack v1.0.2
  [4e9b3aee] + CRlibm_jll v1.0.1+0
  [857d554b] + Flowstar_jll v2.1.0+0
  [e8aa6df9] + GLPK_jll v5.0.1+1
⌅ [1b77fbbe] + GSL_jll v2.7.2+0
  [6cdc7f73] + OpenBLASConsistentFPCSR_jll v0.3.29+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
  [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
  [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
  [ca575930] + NetworkOptions v1.3.0
  [44cfe95a] + Pkg v1.14.0
  [de0858da] + Printf 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
  [781609d7] + GMP_jll v6.3.0+2
  [deac9b47] + LibCURL_jll v8.17.0+0
  [e37daf67] + LibGit2_jll v1.9.2+0
  [29816b5a] + LibSSH2_jll v1.11.3+1
  [3a97d323] + MPFR_jll v4.2.2+0
  [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 12.69s


################################################################################
# Precompilation
#

ERROR: LoadError: MethodError: no method matching setindex!(::Base.ScopedValues.ScopedValue{IO}, ::Nothing)
The function `setindex!` exists, but no method is defined for this combination of argument types.
Stacktrace:
 [1] top-level scope
   @ /PkgEval.jl/scripts/precompile.jl:10
 [2] include(mod::Module, _path::String)
   @ Base ./Base.jl:309
 [3] exec_options(opts::Base.JLOptions)
   @ Base ./client.jl:344
 [4] _start()
   @ Base ./client.jl:577
in expression starting at /PkgEval.jl/scripts/precompile.jl:6

caused by: MethodError: no method matching setindex!(::Base.ScopedValues.ScopedValue{IO}, ::Base.DevNull)
The function `setindex!` exists, but no method is defined for this combination of argument types.
Stacktrace:
 [1] top-level scope
   @ /PkgEval.jl/scripts/precompile.jl:7
 [2] include(mod::Module, _path::String)
   @ Base ./Base.jl:309
 [3] exec_options(opts::Base.JLOptions)
   @ Base ./client.jl:344
 [4] _start()
   @ Base ./client.jl:577

Precompilation failed after 10.54s



################################################################################
# Testing
#

     Testing Flowstar
      Status `/tmp/jl_6W7nqh/Project.toml`
  [a8054ddd] Flowstar v0.3.0
  [d1acc4aa] IntervalArithmetic v1.0.2
  [314ce334] TaylorModels v0.9.0
  [8dfed614] Test v1.11.0
      Status `/tmp/jl_6W7nqh/Manifest.toml`
  [47edcb42] ADTypes v1.20.0
  [1520ce14] AbstractTrees v0.4.5
  [7d9f7c33] Accessors v0.1.43
  [79e6a3ab] Adapt v4.4.0
  [4fba245c] ArrayInterface v7.22.0
  [62783981] BitTwiddlingConvenienceFunctions v0.1.6
  [d3bc4f2e] BranchAndPrune v0.2.1
  [2a0fbf3d] CPUSummary v0.2.7
  [96374032] CRlibm v1.0.2
  [fb6a15b2] CloseOpenIntervals v0.1.13
  [38540f10] CommonSolve v0.2.4
  [bbf7d656] CommonSubexpressions v0.3.1
  [f70d9fcc] CommonWorldInvalidations v1.0.0
  [34da2185] Compat v4.18.1
  [a33af91c] CompositionsBase v0.1.2
  [2569d6c7] ConcreteStructs v0.2.3
  [187b0558] ConstructionBase v1.6.0
  [adafc99b] CpuId v0.3.1
  [864edb3b] DataStructures v0.19.3
  [2b5f629d] DiffEqBase v6.193.0
  [163ba53b] DiffResults v1.1.0
  [b552c78f] DiffRules v1.15.1
  [ffbed154] DocStringExtensions v0.9.5
  [4e289a0a] EnumX v1.0.5
  [f151be2c] EnzymeCore v0.8.17
  [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.2.0
  [a8054ddd] Flowstar v0.3.0
  [f6369f11] ForwardDiff v1.3.0
  [069b7b12] FunctionWrappers v1.1.3
  [77dc65aa] FunctionWrappersWrappers v0.1.3
  [46192b85] GPUArraysCore v0.2.0
  [615f187c] IfElse v0.1.1
  [d1acc4aa] IntervalArithmetic v1.0.2
  [d2bf35a9] IntervalRootFinding v0.6.2
  [3587e190] InverseFunctions v0.1.17
  [92d709cd] IrrationalConstants v0.2.6
  [82899510] IteratorInterfaceExtensions v1.0.0
  [692b3bcd] JLLWrappers v1.7.1
  [ae98c720] Jieko v0.2.1
  [10f19ff3] LayoutPointers v0.1.17
  [2ab3a3ac] LogExpFunctions v0.3.29
  [e6f89c97] LoggingExtras v1.2.0
  [1914dd2f] MacroTools v0.5.16
  [d125e4d3] ManualMemory v0.1.8
  [2e0e35c7] Moshi v0.3.7
  [46d2c3a1] MuladdMacro v0.2.4
  [102ac46a] MultivariatePolynomials v0.5.13
  [d8a4904e] MutableArithmetics v1.6.7
  [77ba4419] NaNMath v1.1.3
  [bac558e1] OrderedCollections v1.8.1
  [d96e819e] Parameters v0.12.3
  [f517fe37] Polyester v0.7.18
  [1d0040c9] PolyesterWeave v0.2.2
  [d236fae5] PreallocationTools v0.4.34
  [aea7be01] PrecompileTools v1.3.3
  [21216c6a] Preferences v1.5.1
  [33c8b6b6] ProgressLogging v0.1.6
  [3cdcf5f2] RecipesBase v1.3.4
  [731186ca] RecursiveArrayTools v3.42.0
  [189a3867] Reexport v1.2.2
  [ae029012] Requires v1.3.1
  [5eaf0fd0] RoundingEmulator v0.2.1
  [7e49a35a] RuntimeGeneratedFunctions v0.5.16
  [94e857df] SIMDTypes v0.1.0
  [0bca4576] SciMLBase v2.128.0
  [a6db7da4] SciMLLogging v1.7.1
  [c0aeaf25] SciMLOperators v1.14.1
  [431bcebd] SciMLPublic v1.0.0
  [53ae85a6] SciMLStructures v1.7.0
  [efcf1570] Setfield v1.1.2
  [276daf66] SpecialFunctions v2.6.1
  [aedffcd0] Static v1.3.1
  [0d7ed370] StaticArrayInterface v1.8.0
  [90137ffa] StaticArrays v1.9.15
  [1e83bf80] StaticArraysCore v1.4.4
  [10745b16] Statistics v1.11.1
  [7792a7ef] StrideArraysCore v0.5.8
  [2efcf032] SymbolicIndexingInterface v0.3.46
⌅ [92b13dbe] TaylorIntegration v0.17.4
  [314ce334] TaylorModels v0.9.0
  [6aa5eb33] TaylorSeries v0.20.10
  [8290d209] ThreadingUtilities v0.5.5
  [781d530d] TruncatedStacktraces v1.4.0
  [afbbf031] TypedPolynomials v0.4.2
  [3a884ed6] UnPack v1.0.2
  [4e9b3aee] CRlibm_jll v1.0.1+0
  [857d554b] Flowstar_jll v2.1.0+0
  [e8aa6df9] GLPK_jll v5.0.1+1
⌅ [1b77fbbe] GSL_jll v2.7.2+0
  [6cdc7f73] OpenBLASConsistentFPCSR_jll v0.3.29+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
  [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
  [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
  [ca575930] NetworkOptions v1.3.0
  [44cfe95a] Pkg v1.14.0
  [de0858da] Printf 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
  [781609d7] GMP_jll v6.3.0+2
  [deac9b47] LibCURL_jll v8.17.0+0
  [e37daf67] LibGit2_jll v1.9.2+0
  [29816b5a] LibSSH2_jll v1.11.3+1
  [3a97d323] MPFR_jll v4.2.2+0
  [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...
WARNING: Method definition isapprox(IntervalArithmetic.Interval{T} where T<:Union{AbstractFloat, Base.Rational{T} where T<:Integer}, IntervalArithmetic.Interval{T} where T<:Union{AbstractFloat, Base.Rational{T} where T<:Integer}) in module IntervalArithmetic at /home/pkgeval/.julia/packages/IntervalArithmetic/55mUT/src/intervals/real_interface.jl:111 overwritten in module Main at /home/pkgeval/.julia/packages/Flowstar/V3TSU/test/runtests.jl:6.

Computation completed: 50 flowpipe(s) computed.
Total time cost: 0.927915 seconds.

Preparing for plotting and dumping...
% 2% 4% 6% 8%10%12%14%16%18%20%22%24%26%28%30%32%34%36%38%40%42%44%46%48%50%52%54%56%58%60%62%64%66%68%70%72%74%76%78%80%82%84%86%88%90%92%94%96%98%100
Done.
Generating the plot file...
%  2%  4%  6%  8% 10% 12% 14% 16% 18% 20% 22% 24% 26% 28% 30% 32% 34% 36% 38% 40% 42% 44% 46% 48% 50% 52% 54% 56% 58% 60% 62% 64% 66% 68% 70% 72% 74% 76% 78% 80% 82% 84% 86% 88% 90% 92% 94% 96% 98%100%100
Done.
Writing the flowpipe(s)...
Done.
[ Info: Flow* intermediate files saved to /home/pkgeval/.julia/packages/Flowstar/V3TSU/test

Computation completed: 50 flowpipe(s) computed.
Total time cost: 0.924621 seconds.

Preparing for plotting and dumping...
% 2% 4% 6% 8%10%12%14%16%18%20%22%24%26%28%30%32%34%36%38%40%42%44%46%48%50%52%54%56%58%60%62%64%66%68%70%72%74%76%78%80%82%84%86%88%90%92%94%96%98%100
Done.
Generating the plot file...
%  2%  4%  6%  8% 10% 12% 14% 16% 18% 20% 22% 24% 26% 28% 30% 32% 34% 36% 38% 40% 42% 44% 46% 48% 50% 52% 54% 56% 58% 60% 62% 64% 66% 68% 70% 72% 74% 76% 78% 80% 82% 84% 86% 88% 90% 92% 94% 96% 98%100%100
Done.
Writing the flowpipe(s)...
Done.
[ Info: Flow* intermediate files saved to /tmp/jl_i2U76Q
Test Summary: | Pass  Total  Time
Flow* Call    |    2      2  3.7s

Computation completed: 50 flowpipe(s) computed.
Total time cost: 0.787115 seconds.

Preparing for plotting and dumping...
% 2% 4% 6% 8%10%12%14%16%18%20%22%24%26%28%30%32%34%36%38%40%42%44%46%48%50%52%54%56%58%60%62%64%66%68%70%72%74%76%78%80%82%84%86%88%90%92%94%96%98%100
Done.
Generating the plot file...
%  2%  4%  6%  8% 10% 12% 14% 16% 18% 20% 22% 24% 26% 28% 30% 32% 34% 36% 38% 40% 42% 44% 46% 48% 50% 52% 54% 56% 58% 60% 62% 64% 66% 68% 70% 72% 74% 76% 78% 80% 82% 84% 86% 88% 90% 92% 94% 96% 98%100%100
Done.
Writing the flowpipe(s)...
Done.
[ Info: Flow* intermediate files saved to /tmp/jl_IDUqtV

Computation completed: 50 flowpipe(s) computed.
Total time cost: 0.871274 seconds.

Preparing for plotting and dumping...
% 2% 4% 6% 8%10%12%14%16%18%20%22%24%26%28%30%32%34%36%38%40%42%44%46%48%50%52%54%56%58%60%62%64%66%68%70%72%74%76%78%80%82%84%86%88%90%92%94%96%98%100
Done.
Generating the plot file...
%  2%  4%  6%  8% 10% 12% 14% 16% 18% 20% 22% 24% 26% 28% 30% 32% 34% 36% 38% 40% 42% 44% 46% 48% 50% 52% 54% 56% 58% 60% 62% 64% 66% 68% 70% 72% 74% 76% 78% 80% 82% 84% 86% 88% 90% 92% 94% 96% 98%100%100
Done.
Writing the flowpipe(s)...
Done.
[ Info: Flow* intermediate files saved to /tmp/jl_PEmjxD
Test Summary:                                 | Pass  Total   Time
TaylorModelN vs TaylorModel1{TaylorN} parsing |    5      5  33.6s
Test Summary: | Pass  Total  Time
Model Strings |   25     25  4.5s
[ Info: (0.1, FixedTMOrder(5), IdentityPreconditioner(), PolyODEScheme1())

Computation not completed: 0 flowpipe(s) computed.
Please try smaller step sizes or larger Taylor model orders.
Total time cost: 0.001793 seconds.

Preparing for dumping...

Done.
Writing the flowpipe(s)...
Done.
[ Info: Flow* intermediate files saved to /home/pkgeval/.julia/packages/Flowstar/V3TSU/test
[ Info: (0.1, FixedTMOrder(5), IdentityPreconditioner(), PolyODEScheme2())

Computation not completed: 0 flowpipe(s) computed.
Please try smaller step sizes or larger Taylor model orders.
Total time cost: 0.004957 seconds.

Preparing for dumping...

Done.
Writing the flowpipe(s)...
Done.
[ Info: Flow* intermediate files saved to /home/pkgeval/.julia/packages/Flowstar/V3TSU/test
[ Info: (0.1, FixedTMOrder(5), IdentityPreconditioner(), PolyODEScheme3())

Computation not completed: 0 flowpipe(s) computed.
Please try smaller step sizes or larger Taylor model orders.
Total time cost: 0.001649 seconds.

Preparing for dumping...

Done.
Writing the flowpipe(s)...
Done.
[ Info: Flow* intermediate files saved to /home/pkgeval/.julia/packages/Flowstar/V3TSU/test
[ Info: (0.1, FixedTMOrder(5), IdentityPreconditioner(), NonPolyODEScheme())

Computation not completed: 0 flowpipe(s) computed.
Please try smaller step sizes or larger Taylor model orders.
Total time cost: 0.001394 seconds.

Preparing for dumping...

Done.
Writing the flowpipe(s)...
Done.
[ Info: Flow* intermediate files saved to /home/pkgeval/.julia/packages/Flowstar/V3TSU/test
[ Info: (0.1, FixedTMOrder(5), IdentityPreconditioner(), LinearODEScheme{false}())

Computation completed: 50 flowpipe(s) computed.
Total time cost: 0.001274 seconds.

Preparing for dumping...
% 2% 4% 6% 8%10%12%14%16%18%20%22%24%26%28%30%32%34%36%38%40%42%44%46%48%50%52%54%56%58%60%62%64%66%68%70%72%74%76%78%80%82%84%86%88%90%92%94%96%98%100
Done.
Writing the flowpipe(s)...
Done.
[ Info: Flow* intermediate files saved to /home/pkgeval/.julia/packages/Flowstar/V3TSU/test
[ Info: (0.1, FixedTMOrder(5), QRPreconditioner(), PolyODEScheme1())

Computation not completed: 0 flowpipe(s) computed.
Please try smaller step sizes or larger Taylor model orders.
Total time cost: 0.001791 seconds.

Preparing for dumping...

Done.
Writing the flowpipe(s)...
Done.
[ Info: Flow* intermediate files saved to /home/pkgeval/.julia/packages/Flowstar/V3TSU/test
[ Info: (0.1, FixedTMOrder(5), QRPreconditioner(), PolyODEScheme2())

Computation not completed: 0 flowpipe(s) computed.
Please try smaller step sizes or larger Taylor model orders.
Total time cost: 0.004763 seconds.

Preparing for dumping...

Done.
Writing the flowpipe(s)...
Done.
[ Info: Flow* intermediate files saved to /home/pkgeval/.julia/packages/Flowstar/V3TSU/test
[ Info: (0.1, FixedTMOrder(5), QRPreconditioner(), PolyODEScheme3())

Computation not completed: 0 flowpipe(s) computed.
Please try smaller step sizes or larger Taylor model orders.
Total time cost: 0.001512 seconds.

Preparing for dumping...

Done.
Writing the flowpipe(s)...
Done.
[ Info: Flow* intermediate files saved to /home/pkgeval/.julia/packages/Flowstar/V3TSU/test
[ Info: (0.1, FixedTMOrder(5), QRPreconditioner(), NonPolyODEScheme())

Computation not completed: 0 flowpipe(s) computed.
Please try smaller step sizes or larger Taylor model orders.
Total time cost: 0.001337 seconds.

Preparing for dumping...

Done.
Writing the flowpipe(s)...
Done.
[ Info: Flow* intermediate files saved to /home/pkgeval/.julia/packages/Flowstar/V3TSU/test
[ Info: (0.1, FixedTMOrder(5), QRPreconditioner(), LinearODEScheme{false}())

Computation completed: 50 flowpipe(s) computed.
Total time cost: 0.001294 seconds.

Preparing for dumping...
% 2% 4% 6% 8%10%12%14%16%18%20%22%24%26%28%30%32%34%36%38%40%42%44%46%48%50%52%54%56%58%60%62%64%66%68%70%72%74%76%78%80%82%84%86%88%90%92%94%96%98%100
Done.
Writing the flowpipe(s)...
Done.
[ Info: Flow* intermediate files saved to /home/pkgeval/.julia/packages/Flowstar/V3TSU/test
[ Info: (0.1, AdaptiveTMOrder{Int64}(2, 5), IdentityPreconditioner(), PolyODEScheme1())

Computation not completed: 0 flowpipe(s) computed.
Please try smaller step sizes or larger Taylor model orders.
Total time cost: 0.002624 seconds.

Preparing for dumping...

Done.
Writing the flowpipe(s)...
Done.
[ Info: Flow* intermediate files saved to /home/pkgeval/.julia/packages/Flowstar/V3TSU/test
[ Info: (0.1, AdaptiveTMOrder{Int64}(2, 5), IdentityPreconditioner(), PolyODEScheme2())

Computation not completed: 0 flowpipe(s) computed.
Please try smaller step sizes or larger Taylor model orders.
Total time cost: 0.002912 seconds.

Preparing for dumping...

Done.
Writing the flowpipe(s)...
Done.
[ Info: Flow* intermediate files saved to /home/pkgeval/.julia/packages/Flowstar/V3TSU/test
[ Info: (0.1, AdaptiveTMOrder{Int64}(2, 5), IdentityPreconditioner(), PolyODEScheme3())

Computation not completed: 0 flowpipe(s) computed.
Please try smaller step sizes or larger Taylor model orders.
Total time cost: 0.002748 seconds.

Preparing for dumping...

Done.
Writing the flowpipe(s)...
Done.
[ Info: Flow* intermediate files saved to /home/pkgeval/.julia/packages/Flowstar/V3TSU/test
[ Info: (0.1, AdaptiveTMOrder{Int64}(2, 5), IdentityPreconditioner(), NonPolyODEScheme())

Computation not completed: 0 flowpipe(s) computed.
Please try smaller step sizes or larger Taylor model orders.
Total time cost: 0.002068 seconds.

Preparing for dumping...

Done.
Writing the flowpipe(s)...
Done.
[ Info: Flow* intermediate files saved to /home/pkgeval/.julia/packages/Flowstar/V3TSU/test
[ Info: (0.1, AdaptiveTMOrder{Int64}(2, 5), IdentityPreconditioner(), LinearODEScheme{false}())

Computation completed: 50 flowpipe(s) computed.
Total time cost: 0.001080 seconds.

Preparing for dumping...
% 2% 4% 6% 8%10%12%14%16%18%20%22%24%26%28%30%32%34%36%38%40%42%44%46%48%50%52%54%56%58%60%62%64%66%68%70%72%74%76%78%80%82%84%86%88%90%92%94%96%98%100
Done.
Writing the flowpipe(s)...
Done.
[ Info: Flow* intermediate files saved to /home/pkgeval/.julia/packages/Flowstar/V3TSU/test
[ Info: (0.1, AdaptiveTMOrder{Int64}(2, 5), QRPreconditioner(), PolyODEScheme1())

Computation not completed: 0 flowpipe(s) computed.
Please try smaller step sizes or larger Taylor model orders.
Total time cost: 0.002490 seconds.

Preparing for dumping...

Done.
Writing the flowpipe(s)...
Done.
[ Info: Flow* intermediate files saved to /home/pkgeval/.julia/packages/Flowstar/V3TSU/test
[ Info: (0.1, AdaptiveTMOrder{Int64}(2, 5), QRPreconditioner(), PolyODEScheme2())

Computation not completed: 0 flowpipe(s) computed.
Please try smaller step sizes or larger Taylor model orders.
Total time cost: 0.001864 seconds.

Preparing for dumping...

Done.
Writing the flowpipe(s)...
Done.
[ Info: Flow* intermediate files saved to /home/pkgeval/.julia/packages/Flowstar/V3TSU/test
[ Info: (0.1, AdaptiveTMOrder{Int64}(2, 5), QRPreconditioner(), PolyODEScheme3())

Computation not completed: 0 flowpipe(s) computed.
Please try smaller step sizes or larger Taylor model orders.
Total time cost: 0.001719 seconds.

Preparing for dumping...

Done.
Writing the flowpipe(s)...
Done.
[ Info: Flow* intermediate files saved to /home/pkgeval/.julia/packages/Flowstar/V3TSU/test
[ Info: (0.1, AdaptiveTMOrder{Int64}(2, 5), QRPreconditioner(), NonPolyODEScheme())

Computation not completed: 0 flowpipe(s) computed.
Please try smaller step sizes or larger Taylor model orders.
Total time cost: 0.001350 seconds.

Preparing for dumping...

Done.
Writing the flowpipe(s)...
Done.
[ Info: Flow* intermediate files saved to /home/pkgeval/.julia/packages/Flowstar/V3TSU/test
[ Info: (0.1, AdaptiveTMOrder{Int64}(2, 5), QRPreconditioner(), LinearODEScheme{false}())

Computation completed: 50 flowpipe(s) computed.
Total time cost: 0.000995 seconds.

Preparing for dumping...
% 2% 4% 6% 8%10%12%14%16%18%20%22%24%26%28%30%32%34%36%38%40%42%44%46%48%50%52%54%56%58%60%62%64%66%68%70%72%74%76%78%80%82%84%86%88%90%92%94%96%98%100
Done.
Writing the flowpipe(s)...
Done.
[ Info: Flow* intermediate files saved to /home/pkgeval/.julia/packages/Flowstar/V3TSU/test
[ Info: (0.1, AdaptiveTMOrder{Tuple{Pair{String, Int64}, Pair{String, Int64}}}(("x" => 1, "y" => 2), ("x" => 2, "y" => 3)), IdentityPreconditioner(), PolyODEScheme1())

Computation not completed: 0 flowpipe(s) computed.
Please try smaller step sizes or larger Taylor model orders.
Total time cost: 0.000444 seconds.

Preparing for dumping...

Done.
Writing the flowpipe(s)...
Done.
[ Info: Flow* intermediate files saved to /home/pkgeval/.julia/packages/Flowstar/V3TSU/test
[ Info: (0.1, AdaptiveTMOrder{Tuple{Pair{String, Int64}, Pair{String, Int64}}}(("x" => 1, "y" => 2), ("x" => 2, "y" => 3)), IdentityPreconditioner(), PolyODEScheme2())

Computation not completed: 0 flowpipe(s) computed.
Please try smaller step sizes or larger Taylor model orders.
Total time cost: 0.000801 seconds.

Preparing for dumping...

Done.
Writing the flowpipe(s)...
Done.
[ Info: Flow* intermediate files saved to /home/pkgeval/.julia/packages/Flowstar/V3TSU/test
[ Info: (0.1, AdaptiveTMOrder{Tuple{Pair{String, Int64}, Pair{String, Int64}}}(("x" => 1, "y" => 2), ("x" => 2, "y" => 3)), IdentityPreconditioner(), PolyODEScheme3())

Computation not completed: 0 flowpipe(s) computed.
Please try smaller step sizes or larger Taylor model orders.
Total time cost: 0.000726 seconds.

Preparing for dumping...

Done.
Writing the flowpipe(s)...
Done.
[ Info: Flow* intermediate files saved to /home/pkgeval/.julia/packages/Flowstar/V3TSU/test
[ Info: (0.1, AdaptiveTMOrder{Tuple{Pair{String, Int64}, Pair{String, Int64}}}(("x" => 1, "y" => 2), ("x" => 2, "y" => 3)), IdentityPreconditioner(), NonPolyODEScheme())

Computation not completed: 0 flowpipe(s) computed.
Please try smaller step sizes or larger Taylor model orders.
Total time cost: 0.000413 seconds.

Preparing for dumping...

Done.
Writing the flowpipe(s)...
Done.
[ Info: Flow* intermediate files saved to /home/pkgeval/.julia/packages/Flowstar/V3TSU/test
[ Info: (0.1, AdaptiveTMOrder{Tuple{Pair{String, Int64}, Pair{String, Int64}}}(("x" => 1, "y" => 2), ("x" => 2, "y" => 3)), IdentityPreconditioner(), LinearODEScheme{false}())

Computation completed: 50 flowpipe(s) computed.
Total time cost: 0.000954 seconds.

Preparing for dumping...
% 2% 4% 6% 8%10%12%14%16%18%20%22%24%26%28%30%32%34%36%38%40%42%44%46%48%50%52%54%56%58%60%62%64%66%68%70%72%74%76%78%80%82%84%86%88%90%92%94%96%98%100
Done.
Writing the flowpipe(s)...
Done.
[ Info: Flow* intermediate files saved to /home/pkgeval/.julia/packages/Flowstar/V3TSU/test
[ Info: (0.1, AdaptiveTMOrder{Tuple{Pair{String, Int64}, Pair{String, Int64}}}(("x" => 1, "y" => 2), ("x" => 2, "y" => 3)), QRPreconditioner(), PolyODEScheme1())

Computation not completed: 0 flowpipe(s) computed.
Please try smaller step sizes or larger Taylor model orders.
Total time cost: 0.000579 seconds.

Preparing for dumping...

Done.
Writing the flowpipe(s)...
Done.
[ Info: Flow* intermediate files saved to /home/pkgeval/.julia/packages/Flowstar/V3TSU/test
[ Info: (0.1, AdaptiveTMOrder{Tuple{Pair{String, Int64}, Pair{String, Int64}}}(("x" => 1, "y" => 2), ("x" => 2, "y" => 3)), QRPreconditioner(), PolyODEScheme2())

Computation not completed: 0 flowpipe(s) computed.
Please try smaller step sizes or larger Taylor model orders.
Total time cost: 0.000796 seconds.

Preparing for dumping...

Done.
Writing the flowpipe(s)...
Done.
[ Info: Flow* intermediate files saved to /home/pkgeval/.julia/packages/Flowstar/V3TSU/test
[ Info: (0.1, AdaptiveTMOrder{Tuple{Pair{String, Int64}, Pair{String, Int64}}}(("x" => 1, "y" => 2), ("x" => 2, "y" => 3)), QRPreconditioner(), PolyODEScheme3())

Computation not completed: 0 flowpipe(s) computed.
Please try smaller step sizes or larger Taylor model orders.
Total time cost: 0.000482 seconds.

Preparing for dumping...

Done.
Writing the flowpipe(s)...
Done.
[ Info: Flow* intermediate files saved to /home/pkgeval/.julia/packages/Flowstar/V3TSU/test
[ Info: (0.1, AdaptiveTMOrder{Tuple{Pair{String, Int64}, Pair{String, Int64}}}(("x" => 1, "y" => 2), ("x" => 2, "y" => 3)), QRPreconditioner(), NonPolyODEScheme())

Computation not completed: 0 flowpipe(s) computed.
Please try smaller step sizes or larger Taylor model orders.
Total time cost: 0.000396 seconds.

Preparing for dumping...

Done.
Writing the flowpipe(s)...
Done.
[ Info: Flow* intermediate files saved to /home/pkgeval/.julia/packages/Flowstar/V3TSU/test
[ Info: (0.1, AdaptiveTMOrder{Tuple{Pair{String, Int64}, Pair{String, Int64}}}(("x" => 1, "y" => 2), ("x" => 2, "y" => 3)), QRPreconditioner(), LinearODEScheme{false}())

Computation completed: 50 flowpipe(s) computed.
Total time cost: 0.000809 seconds.

Preparing for dumping...
% 2% 4% 6% 8%10%12%14%16%18%20%22%24%26%28%30%32%34%36%38%40%42%44%46%48%50%52%54%56%58%60%62%64%66%68%70%72%74%76%78%80%82%84%86%88%90%92%94%96%98%100
Done.
Writing the flowpipe(s)...
Done.
[ Info: Flow* intermediate files saved to /home/pkgeval/.julia/packages/Flowstar/V3TSU/test
[ Info: ([0.1, 0.2], FixedTMOrder(5), IdentityPreconditioner(), PolyODEScheme1())

Computation not completed: 0 flowpipe(s) computed.
Please try smaller step sizes or larger Taylor model orders.
Total time cost: 0.001662 seconds.

Preparing for dumping...

Done.
Writing the flowpipe(s)...
Done.
[ Info: Flow* intermediate files saved to /home/pkgeval/.julia/packages/Flowstar/V3TSU/test
[ Info: ([0.1, 0.2], FixedTMOrder(5), IdentityPreconditioner(), PolyODEScheme2())

Computation not completed: 0 flowpipe(s) computed.
Please try smaller step sizes or larger Taylor model orders.
Total time cost: 0.003717 seconds.

Preparing for dumping...

Done.
Writing the flowpipe(s)...
Done.
[ Info: Flow* intermediate files saved to /home/pkgeval/.julia/packages/Flowstar/V3TSU/test
[ Info: ([0.1, 0.2], FixedTMOrder(5), IdentityPreconditioner(), PolyODEScheme3())

Computation not completed: 0 flowpipe(s) computed.
Please try smaller step sizes or larger Taylor model orders.
Total time cost: 0.001809 seconds.

Preparing for dumping...

Done.
Writing the flowpipe(s)...
Done.
[ Info: Flow* intermediate files saved to /home/pkgeval/.julia/packages/Flowstar/V3TSU/test
[ Info: ([0.1, 0.2], FixedTMOrder(5), IdentityPreconditioner(), NonPolyODEScheme())

Computation not completed: 0 flowpipe(s) computed.
Please try smaller step sizes or larger Taylor model orders.
Total time cost: 0.001283 seconds.

Preparing for dumping...

Done.
Writing the flowpipe(s)...
Done.
[ Info: Flow* intermediate files saved to /home/pkgeval/.julia/packages/Flowstar/V3TSU/test
[ Info: ([0.1, 0.2], FixedTMOrder(5), IdentityPreconditioner(), LinearODEScheme{false}())

Computation completed: 25 flowpipe(s) computed.
Total time cost: 0.000571 seconds.

Preparing for dumping...
% 4% 8%12%16%20%24%28%32%36%40%44%48%52%56%60%64%68%72%76%80%84%88%92%96%100
Done.
Writing the flowpipe(s)...
Done.
[ Info: Flow* intermediate files saved to /home/pkgeval/.julia/packages/Flowstar/V3TSU/test
[ Info: ([0.1, 0.2], FixedTMOrder(5), QRPreconditioner(), PolyODEScheme1())

Computation not completed: 0 flowpipe(s) computed.
Please try smaller step sizes or larger Taylor model orders.
Total time cost: 0.001676 seconds.

Preparing for dumping...

Done.
Writing the flowpipe(s)...
Done.
[ Info: Flow* intermediate files saved to /home/pkgeval/.julia/packages/Flowstar/V3TSU/test
[ Info: ([0.1, 0.2], FixedTMOrder(5), QRPreconditioner(), PolyODEScheme2())

Computation not completed: 0 flowpipe(s) computed.
Please try smaller step sizes or larger Taylor model orders.
Total time cost: 0.003730 seconds.

Preparing for dumping...

Done.
Writing the flowpipe(s)...
Done.
[ Info: Flow* intermediate files saved to /home/pkgeval/.julia/packages/Flowstar/V3TSU/test
[ Info: ([0.1, 0.2], FixedTMOrder(5), QRPreconditioner(), PolyODEScheme3())

Computation not completed: 0 flowpipe(s) computed.
Please try smaller step sizes or larger Taylor model orders.
Total time cost: 0.001589 seconds.

Preparing for dumping...

Done.
Writing the flowpipe(s)...
Done.
[ Info: Flow* intermediate files saved to /home/pkgeval/.julia/packages/Flowstar/V3TSU/test
[ Info: ([0.1, 0.2], FixedTMOrder(5), QRPreconditioner(), NonPolyODEScheme())

Computation not completed: 0 flowpipe(s) computed.
Please try smaller step sizes or larger Taylor model orders.
Total time cost: 0.001235 seconds.

Preparing for dumping...

Done.
Writing the flowpipe(s)...
Done.
[ Info: Flow* intermediate files saved to /home/pkgeval/.julia/packages/Flowstar/V3TSU/test
[ Info: ([0.1, 0.2], FixedTMOrder(5), QRPreconditioner(), LinearODEScheme{false}())

Computation completed: 25 flowpipe(s) computed.
Total time cost: 0.000577 seconds.

Preparing for dumping...
% 4% 8%12%16%20%24%28%32%36%40%44%48%52%56%60%64%68%72%76%80%84%88%92%96%100
Done.
Writing the flowpipe(s)...
Done.
[ Info: Flow* intermediate files saved to /home/pkgeval/.julia/packages/Flowstar/V3TSU/test
Test Summary: | Pass  Total   Time
Model Writing |   60     60  30.7s

Computation not completed: 0 flowpipe(s) computed.
Please try smaller step sizes or larger Taylor model orders.
Total time cost: 0.001093 seconds.

Preparing for dumping...

Done.
Writing the flowpipe(s)...
Done.
[ Info: Flow* intermediate files saved to /tmp/jl_tz1ZsV
Test Summary:  | Pass  Total  Time
Zero Flowpipes |    1      1  0.0s

Computation completed: 41 flowpipe(s) computed.
Total time cost: 2.857120 seconds.

Preparing for dumping...
% 2% 4% 7% 9%12%14%17%19%21%24%26%29%31%34%36%39%41%43%46%48%51%53%56%58%60%63%65%68%70%73%75%78%80%82%85%87%90%92%95%97%100
Done.
Writing the flowpipe(s)...
Done.
[ Info: Flow* intermediate files saved to /home/pkgeval/.julia/packages/Flowstar/V3TSU/test

Computation completed: 41 flowpipe(s) computed.
Total time cost: 2.711921 seconds.

Preparing for dumping...
% 2% 4% 7% 9%12%14%17%19%21%24%26%29%31%34%36%39%41%43%46%48%51%53%56%58%60%63%65%68%70%73%75%78%80%82%85%87%90%92%95%97%100
Done.
Writing the flowpipe(s)...
Done.
[ Info: Flow* intermediate files saved to /home/pkgeval/.julia/packages/Flowstar/V3TSU/test
Test Summary:                      | Pass  Total   Time
Time Independeny Flowpipe Solution |    2      2  34.9s
     Testing Flowstar tests passed 

Testing completed after 391.45s

PkgEval succeeded after 493.15s