The following 6 solutions were submitted:
Tool | Authors | Artefacts | Opponents |
---|---|---|---|
NMF | Georg Hinkel |
PDF Description Slides No SHARE demo SCM |
Kevin Lano and Shekoufeh Kolahdouz Rahimi Tassilo Horn |
UML-RSDS | Kevin Lano and Shekoufeh Kolahdouz Rahimi |
PDF Description Slides No SHARE demo SCM |
Albert Zündorf and Alexander Weidt Simon-Lennert Räsch et al. |
SDMLib | Albert Zündorf and Alexander Weidt |
PDF Description Slides No SHARE demo SCM |
Tassilo Horn Leila Samimi-Dehkordi et al. |
FunnyQT | Tassilo Horn |
PDF Description Slides SHARE Demo SCM |
Kevin Lano and Shekoufeh Kolahdouz Rahimi Simon-Lennert Räsch et al. |
EVL+Strace | Leila Samimi-Dehkordi et al. |
PDF Description Slides No SHARE demo SCM |
Georg Hinkel Albert Zündorf and Alexander Weidt |
Yage | Simon-Lennert Räsch et al. |
PDF Description Slides No SHARE demo SCM |
Georg Hinkel Leila Samimi-Dehkordi et al. |
The solutions were scored at the contest, resulting in the following awards: