Sefm2015: Difference between revisions

No edit summary
No edit summary
Line 5: Line 5:


== Raw Data ==
== Raw Data ==
All raw data is available as cvs-files from [http://www.stups.uni-duesseldorf.de/models/sefm2015_disprover/raw/ here].
All raw data is available as csv files from [http://www.stups.uni-duesseldorf.de/models/sefm2015_disprover/raw/ here].
A zip file containing all csv files is available [http://www.stups.uni-duesseldorf.de/models/sefm2015_disprover/raw/rawdata.zip here].


== Data Visualisations ==
== Data Visualisations ==
Line 17: Line 18:
* [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_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]
* [http://www.stups.uni-duesseldorf.de/models/sefm2015_disprover/output/abrial3_tactic.pdf Su and Abrial, Landing Gear Model 3, Tactics]
* [http://www.stups.uni-duesseldorf.de/models/sefm2015_disprover/output/landinggearfinal_provers_only.pdf Hansen et. al., Provers alone]
* [http://www.stups.uni-duesseldorf.de/models/sefm2015_disprover/output/landinggearfinal_tactic.pdf Hansen et. al.,  Tactics]
* [http://www.stups.uni-duesseldorf.de/models/sefm2015_disprover/output/mammarlaleau_provers_only.pdf Mammar and Laleau, Provers alone]
* [http://www.stups.uni-duesseldorf.de/models/sefm2015_disprover/output/mammarlaleau_tactic.pdf Mammar and Laleau,  Tactics]
* [http://www.stups.uni-duesseldorf.de/models/sefm2015_disprover/output/nantes_provers_only.pdf André, Attiogbé and Lanoix, Provers alone]
* [http://www.stups.uni-duesseldorf.de/models/sefm2015_disprover/output/nantes_tactic.pdf André, Attiogbé and Lanoix,  Tactics]


== Further Models ==
 
=== Further Models ===
* [http://www.stups.uni-duesseldorf.de/models/sefm2015_disprover/output/canbus_provers_only.pdf Colley, Canbus, Provers alone]
* [http://www.stups.uni-duesseldorf.de/models/sefm2015_disprover/output/canbus_tactic.pdf Colley, Canbus, Tactics]
* [http://www.stups.uni-duesseldorf.de/models/sefm2015_disprover/output/graphcoloring_provers_only.pdf Andriamiarina and Méry, Graphcoloring, Provers alone]
* [http://www.stups.uni-duesseldorf.de/models/sefm2015_disprover/output/graphcoloring_tactic.pdf Andriamiarina and Méry, Graphcoloring, Tactics]
* [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]

Revision as of 09:54, 27 March 2015