Update links |
m →Summaries: Fix the other link too |
||
| (One intermediate revision by the same user not shown) | |||
| Line 34: | Line 34: | ||
=== Summaries === | === Summaries === | ||
* [https://www3.hhu.de/stups/models/sefm2015_disprover/output/ | * [https://www3.hhu.de/stups/models/sefm2015_disprover/output/tactic_landinggears.pdf Tactics on Landing Gears] | ||
* [https://www3.hhu.de/stups/models/sefm2015_disprover/output/tactic_all_models.pdf Tactics on all Models] | * [https://www3.hhu.de/stups/models/sefm2015_disprover/output/tactic_all_models.pdf Tactics on all Models] | ||
* [https://www3.hhu.de/stups/models/sefm2015_disprover/output/ | * [https://www3.hhu.de/stups/models/sefm2015_disprover/output/provers_alone_landinggears.pdf Provers alone on Landing Gears] | ||
* [https://www3.hhu.de/stups/models/sefm2015_disprover/output/provers_alone_all_models.pdf Provers alone on all Models] | * [https://www3.hhu.de/stups/models/sefm2015_disprover/output/provers_alone_all_models.pdf Provers alone on all Models] | ||
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: