No edit summary |
No edit summary |
||
| Line 33: | Line 33: | ||
* [http://www.stups.uni-duesseldorf.de/models/sefm2015_disprover/output/graphcoloring_provers_only.pdf Wiegard, Stuttgart 21, Provers alone] | * [http://www.stups.uni-duesseldorf.de/models/sefm2015_disprover/output/graphcoloring_provers_only.pdf Wiegard, Stuttgart 21, Provers alone] | ||
* [http://www.stups.uni-duesseldorf.de/models/sefm2015_disprover/output/graphcoloring_tactic.pdf Wiegard, Stuttgart 21, Tactics] | * [http://www.stups.uni-duesseldorf.de/models/sefm2015_disprover/output/graphcoloring_tactic.pdf Wiegard, Stuttgart 21, Tactics] | ||
=== Summaries === | |||
* [http://www.stups.uni-duesseldorf.de/models/sefm2015_disprover/output/tactic_landiggears.pdf Tactics on Landin Gears] | |||
* [http://www.stups.uni-duesseldorf.de/models/sefm2015_disprover/output/tactic_all_models.pdf Tactics on all Models] | |||
=== Surplus of ProB == | |||
* [http://www.stups.uni-duesseldorf.de/models/sefm2015_disprover/output/surplus.pdf Surplus of ProB (added last)] | |||
* [http://www.stups.uni-duesseldorf.de/models/sefm2015_disprover/output/surplus2.pdf Surplus of ProB (added first)] | |||
We benchmarked the ProB disprove for an article currently under consideration for SEFM 2015.
All raw data is available as csv files from here. A zip file containing all csv files is available 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: