We benchmarked the ProB disprove for an article currently under consideration for SEFM 2015.
Raw Data
All raw data is available as cvs-files from here.
Data Visualisations
Due to the page limit, we could not give all the diagrams and visualisation of the benchmark results in the article.
They are available here:
Landing Gears
- Su and Abrial, Landing Gear Model 1, Provers alone
- Su and Abrial, Landing Gear Model 1, Tactics
- Su and Abrial, Landing Gear Model 2, Provers alone
- Su and Abrial, Landing Gear Model 2, Tactics
- Su and Abrial, Landing Gear Model 3, Provers alone
- Su and Abrial, Landing Gear Model 3, Tactics
Further Models