Benchmarks
From Numerical Transition Systems
The NTS benchmarks are currently organized in this GIT repository.
To add more benchmarks, you can fork a new branch from it, and issue a pull request.
Please contact <radu dot iosif at imag dot fr> and <pierre dot ganty at imdea dot org> in case something goes wrong.
