(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 == | |||
We benchmarked the ProB disprove for an article currently under consideration for SEFM 2015.
All raw data is available as cvs-files from here.
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: