Solutions to the State Elimination Case

Case resources:

• Description and case resources (Github repository)
• Case presentation
• Discussion of solutions and open peer reviews (Github issue tracker)
• Open Peer Review Evaluation form (Google Forms)
• Evaluation Sheet (Excel sheet)
• Open Peer Reviews (Google Docs)
• Live Evaluation form (Google Forms)
• Post-proceedings in CEUR-WS.org

The following 5 solutions were submitted:

Tool	Authors	Artefacts	Opponents
NMF	Georg Hinkel	PDF Description Slides No SHARE demo SCM	Daniel Strüber Mohammadreza Sharbaf et al.
Henshin	Daniel Strüber	PDF Description Slides SHARE Demo SCM	Georg Hinkel Simon-Lennert Raesch et al.
SDMLib	Alexander Weidt and Albert Zündorf	PDF Description Slides No SHARE demo SCM	Georg Hinkel Mohammadreza Sharbaf et al.
Epsilon	Mohammadreza Sharbaf et al.	PDF Description Slides No SHARE demo SCM	Alexander Weidt and Albert Zündorf Simon-Lennert Raesch et al.
Yage	Simon-Lennert Raesch et al.	PDF Description Slides No SHARE demo SCM	Daniel Strüber Alexander Weidt and Albert Zündorf

Awards

The solutions were scored at the contest, resulting in the following awards: