Benchmark repository

The benchmark suite of JuliaReach is available at the ReachabilityBenchmarks repository.

The repository includes:

  • Benchmarks for all models in the ReachabilityAnalysis.jl test suite.
  • Benchmarks for models which are not part of the ReachabilityAnalysis.jl test suite, and are used to detect regressions (i.e. examples that accidentally run slower, due to changes in core downstream libraries such as LazySets.jl).
  • The SLICOT models, from the SLICOT Model and Controller Reduction Toolbox, which reflect real world applications with dimensions ranging from several dozens to over 10.000.