Sefm2015: Difference between revisions

(Created page with '{{DISPLAYTITLE:Benchmarks for the ProB (Dis)prover}}')
 
No edit summary
Line 1: Line 1:
{{DISPLAYTITLE:Benchmarks for the ProB (Dis)prover}}
{{DISPLAYTITLE:Benchmarks for the ProB (Dis)prover}}
[[Category:ProB Disprover]]
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 [http://www.stups.uni-duesseldorf.de/models/sefm2015_disprover/raw/ 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 ===
* [http://www.stups.uni-duesseldorf.de/models/sefm2015_disprover/output/abrial1_provers_only.pdf Su and Abrial, Landing Gear Model 1, Provers alone]
* [http://www.stups.uni-duesseldorf.de/models/sefm2015_disprover/output/abrial1_tactic.pdf Su and Abrial, Landing Gear Model 1, Tactics]
* [http://www.stups.uni-duesseldorf.de/models/sefm2015_disprover/output/abrial2_provers_only.pdf Su and Abrial, Landing Gear Model 2, Provers alone]
* [http://www.stups.uni-duesseldorf.de/models/sefm2015_disprover/output/abrial2_tactic.pdf Su and Abrial, Landing Gear Model 2, Tactics]
* [http://www.stups.uni-duesseldorf.de/models/sefm2015_disprover/output/abrial3_provers_only.pdf Su and Abrial, Landing Gear Model 3, Provers alone]
* [http://www.stups.uni-duesseldorf.de/models/sefm2015_disprover/output/abrial3_tactic.pdf Su and Abrial, Landing Gear Model 3, Tactics]
== Further Models ==

Revision as of 09:41, 27 March 2015


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