Benchmarks for the ProB (Dis)prover

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

Further Models