ARCH-AFF

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")...
  done (took 6.219190821 seconds)
  (2/8) benchmarking ("ISS02", "discrete")...
  done (took 5.786621 seconds)
  (3/8) benchmarking ("ISU01", "discrete")...
Computing successors  13%|███▉                          |  ETA: 0:00:14  done (took 5.75915407 seconds)
  (4/8) benchmarking ("ISS01", "discrete")...
  done (took 5.997877059 seconds)
  (5/8) benchmarking ("ISU02", "discrete")...
  done (took 5.706434063 seconds)
  (6/8) benchmarking ("ISS02", "dense")...
  done (took 5.790552129 seconds)
  (7/8) benchmarking ("ISU02", "dense")...
  done (took 5.630912786 seconds)
  (8/8) benchmarking ("ISS01", "dense")...
Computing successors 100%|██████████████████████████████| Time: 0:00:02
Computing successors 100%|██████████████████████████████| Time: 0:00:02
Computing successors 100%|██████████████████████████████| Time: 0:00:02
  done (took 7.644687403 seconds)
done (took 49.217363892 seconds)
minimum: 1-element BenchmarkTools.BenchmarkGroup:
  tags: []
  "ISS" => 8-element BenchmarkTools.BenchmarkGroup:
          tags: []
          ("ISU01", "dense") => TrialEstimate(796.657 ms)
          ("ISS02", "discrete") => TrialEstimate(146.969 ms)
          ("ISU01", "discrete") => TrialEstimate(2.459 s)
          ("ISS01", "discrete") => TrialEstimate(489.735 ms)
          ("ISU02", "discrete") => TrialEstimate(83.236 ms)
          ("ISS02", "dense") => TrialEstimate(447.144 ms)
          ("ISU02", "dense") => TrialEstimate(294.474 ms)
          ("ISS01", "dense") => TrialEstimate(2.215 s)
median: 1-element BenchmarkTools.BenchmarkGroup:
  tags: []
  "ISS" => 8-element BenchmarkTools.BenchmarkGroup:
          tags: []
          ("ISU01", "dense") => TrialEstimate(946.672 ms)
          ("ISS02", "discrete") => TrialEstimate(161.396 ms)
          ("ISU01", "discrete") => TrialEstimate(2.542 s)
          ("ISS01", "discrete") => TrialEstimate(522.917 ms)
          ("ISU02", "discrete") => TrialEstimate(89.205 ms)
          ("ISS02", "dense") => TrialEstimate(638.964 ms)
          ("ISU02", "dense") => TrialEstimate(431.674 ms)
          ("ISS01", "dense") => TrialEstimate(2.251 s)
Computing successors 100%|██████████████████████████████| Time: 0:00:02
[warn] Several option aliases were used for aliases Symbol[:lazy_R⋂I].
[warn] Several option aliases were used for aliases Symbol[:lazy_R⋂G].
minimum: 1-element BenchmarkTools.BenchmarkGroup:
  tags: []
  "Spacecraft" => 8-element BenchmarkTools.BenchmarkGroup:
          tags: []
          ("SRU02-SR02", "discrete") => TrialEstimate(871.109 ms)
          ("SRU02-SR02", "dense") => TrialEstimate(2.063 s)
          ("SRU01-SR02", "dense") => TrialEstimate(1.961 s)
          ("SRNA01-SR02", "discrete") => TrialEstimate(509.467 ms)
          ("SRNA01-SR02", "dense") => TrialEstimate(1.192 s)
          ("SRA01-SR02", "discrete") => TrialEstimate(678.550 ms)
          ("SRU01-SR02", "discrete") => TrialEstimate(826.408 ms)
          ("SRA01-SR02", "dense") => TrialEstimate(1.585 s)
median: 1-element BenchmarkTools.BenchmarkGroup:
  tags: []
  "Spacecraft" => 8-element BenchmarkTools.BenchmarkGroup:
          tags: []
          ("SRU02-SR02", "discrete") => TrialEstimate(903.927 ms)
          ("SRU02-SR02", "dense") => TrialEstimate(2.077 s)
          ("SRU01-SR02", "dense") => TrialEstimate(1.970 s)
          ("SRNA01-SR02", "discrete") => TrialEstimate(532.088 ms)
          ("SRNA01-SR02", "dense") => TrialEstimate(1.209 s)
          ("SRA01-SR02", "discrete") => TrialEstimate(702.093 ms)
          ("SRU01-SR02", "discrete") => TrialEstimate(848.959 ms)
          ("SRA01-SR02", "dense") => TrialEstimate(1.604 s)
[ Info: Recompiling stale cache file /Users/forets/.julia/compiled/v1.1/SX/qIGUA.ji for SX [2fbac1b3-cb3a-5de3-9d8f-ec145dc5cab0]
Computing successors 100%|██████████████████████████████| Time: 0:00:01
minimum: 1-element BenchmarkTools.BenchmarkGroup:
  tags: []
  "Build" => 4-element BenchmarkTools.BenchmarkGroup:
          tags: []
          ("BLDF01-BDS01", "dense") => TrialEstimate(205.689 ms)
          ("BLDC01-BDS01", "dense") => TrialEstimate(146.250 ms)
          ("BLDF01-BDS01", "discrete") => TrialEstimate(63.938 ms)
          ("BLDC01-BDS01", "discrete") => TrialEstimate(112.559 ms)
median: 1-element BenchmarkTools.BenchmarkGroup:
  tags: []
  "Build" => 4-element BenchmarkTools.BenchmarkGroup:
          tags: []
          ("BLDF01-BDS01", "dense") => TrialEstimate(211.038 ms)
          ("BLDC01-BDS01", "dense") => TrialEstimate(149.786 ms)
          ("BLDF01-BDS01", "discrete") => TrialEstimate(78.063 ms)
          ("BLDC01-BDS01", "discrete") => TrialEstimate(118.243 ms)
[warn] Several option aliases were used for aliases Symbol[:lazy_R⋂I].
[warn] Several option aliases were used for aliases Symbol[:lazy_R⋂G].
minimum: 1-element BenchmarkTools.BenchmarkGroup:
  tags: []
  "Platooning" => 4-element BenchmarkTools.BenchmarkGroup:
          tags: []
          ("PLAD01_BND42", "discrete") => TrialEstimate(220.661 ms)
          ("PLAN01_UNB50", "discrete") => TrialEstimate(6.258 s)
          ("PLAD01_BND42", "dense") => TrialEstimate(600.622 ms)
          ("PLAN01_UNB50", "dense") => TrialEstimate(8.827 s)
median: 1-element BenchmarkTools.BenchmarkGroup:
  tags: []
  "Platooning" => 4-element BenchmarkTools.BenchmarkGroup:
          tags: []
          ("PLAD01_BND42", "discrete") => TrialEstimate(230.823 ms)
          ("PLAN01_UNB50", "discrete") => TrialEstimate(6.258 s)
          ("PLAD01_BND42", "dense") => TrialEstimate(665.679 ms)
          ("PLAN01_UNB50", "dense") => TrialEstimate(8.827 s)
          
julia> using Dates; now()
2019-03-24T08:03:29.424