dReal
dReal
dReach
Benchmarks
Download
People
For a complete list please check our
benchmark repository
.
Atrial Fibrillation Model
Prostate Cancer
Quadcopter Dynamics
Electronic Oscillator
Bouncing Ball
Flyspeck - Formal Proof of Kepler’s Conjecture
Benchmarks on Distributed Hybrid Systems
