julia> include("models/HSCC2019/re_hscc.jl")
[warn | Reachability]: Several option aliases were used for aliases Symbol[:check_invariant_intersection].
[warn | Reachability]: Several option aliases were used for aliases Symbol[:overapproximation].
[warn | Reachability]: Several option aliases were used for aliases Symbol[:lazy_R⋂I].
[warn | Reachability]: Several option aliases were used for aliases Symbol[:lazy_R⋂G].
[warn | Reachability]: Several option aliases were used for aliases Symbol[:lazy_A⌜R⋂G⌟⋂I].
warm-up runs
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| julia> include("models/ARCH/AFF/ARCH-COMP_2019.jl") | |
| [ Info: Recompiling stale cache file /Users/forets/.julia/compiled/v1.1/Reachability/CHV4V.ji for Reachability [774a0091-654f-5c65-bbdc-ad5b67b45832] | |
| Computing successors 100%|██████████████████████████████| Time: 0:00:04 | |
| Computing successors 100%|██████████████████████████████| Time: 0:00:02 | |
| Computing successors 100%|██████████████████████████████| Time: 0:00:02 | |
| Computing successors 100%|██████████████████████████████| Time: 0:00:02 | |
| Computing successors 100%|██████████████████████████████| Time: 0:00:02 | |
| (1/1) benchmarking "ISS"... | |
| (1/8) benchmarking ("ISU01", "dense")... |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| julia> include("models/ARCH/NLN/ARCH-COMP_2019.jl") | |
| (1/1) benchmarking "VanDerPol"... | |
| (1/1) benchmarking "x[2] <= 2.75"... | |
| done (took 6.03903839 seconds) | |
| done (took 6.698203436 seconds) | |
| minimum time for each benchmark: | |
| 1-element BenchmarkTools.BenchmarkGroup: | |
| tags: [] | |
| "VanDerPol" => 1-element BenchmarkTools.BenchmarkGroup: | |
| tags: [] |
mforets
/ validated_integ_invariant
Last active
March 25, 2019 04:46
compute with an invariant in validated integ
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| $ git diff | |
| diff --git a/REQUIRE b/REQUIRE | |
| index ba1d010..87bc2e0 100644 | |
| --- a/REQUIRE | |
| +++ b/REQUIRE | |
| @@ -4,3 +4,4 @@ TaylorSeries v0.8.1 | |
| IntervalArithmetic v0.15.1 | |
| TaylorIntegration v0.4.0 | |
| RecipesBase |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| (v1.1) pkg> status | |
| Status `~/.julia/environments/v1.1/Project.toml` | |
| [e3d1bd10] ARCH2018_RE v0.0.0 [`~/.julia/dev/ARCH2018_RE`] | |
| [1de812f4] AffineArithmetic v0.0.0 [`~/.julia/dev/AffineArithmetic`] | |
| [6e4b80f9] BenchmarkTools v0.4.2+ #master (https://github.com/JuliaCI/BenchmarkTools.jl.git) | |
| [afc6e731] BernsteinExpansions v0.0.0 [`~/.julia/dev/BernsteinExpansions`] | |
| [ad839575] Blink v0.10.1 | |
| [3391f64e] CDDLib v0.4.1 | |
| [336ed68f] CSV v0.4.3 | |
| [159f3aea] Cairo v0.5.6 |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| ```julia | |
| Verimags-MBP:Reachability forets$ julia6 | |
| _ | |
| _ _ _(_)_ | A fresh approach to technical computing | |
| (_) | (_) (_) | Documentation: https://docs.julialang.org | |
| _ _ _| |_ __ _ | Type "?help" for help. | |
| | | | | | | |/ _` | | | |
| | | |_| | | | (_| | | Version 0.6.4 (2018-07-09 19:09 UTC) | |
| _/ |\__'_|_|_|\__'_| | Official http://julialang.org/ release | |
| |__/ | x86_64-apple-darwin14.5.0 |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| ```julia | |
| $ cat Manifest.toml | |
| # This file is machine-generated - editing it directly is not advised | |
| [[ARCH2018_RE]] | |
| deps = ["BenchmarkTools", "LinearAlgebra", "MAT", "PkgBenchmark", "SparseArrays"] | |
| path = "/Users/forets/.julia/dev/ARCH2018_RE" | |
| uuid = "e3d1bd10-b34e-537f-8d3c-e8e875181a5a" | |
| version = "0.0.0" |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| julia> compile_package("CDDLib", force = false) | |
| Updating registry at `~/.julia/registries/General` | |
| Updating git-repo `https://github.com/JuliaRegistries/General.git` | |
| ┌ Warning: Some registries failed to update: | |
| │ — /Users/forets/.julia/registries/General — failed to fetch from repo | |
| └ @ Pkg.Types /Users/osx/buildbot/slave/package_osx64/build/usr/share/julia/stdlib/v1.1/Pkg/src/Types.jl:1269 | |
| Resolving package versions... | |
| Updating `~/.julia/packages/PackageCompiler/oT98U/packages/CDDLib/Project.toml` | |
| [b99e7846] + BinaryProvider v0.5.4 | |
| [d9be37ee] + Homebrew v0.7.1 |
mforets
/ TaylorModels_Daisy_Results.md
Created
June 22, 2019 19:39
TaylorModels.jl daisy benchmarks