Solutions to the Live Contest

Case resources:

• Description and case resources (Github repository)
• Discussion of solutions and open peer reviews (Github issue tracker)
• Evaluation form (Google Forms)

The following 3 solutions were submitted:

Tool	Authors
NTL (reference solution)	Georg Hinkel
ATL	Frédéric Jouault, Massimo Tisi and Manuel Wimmer
Epsilon	Dimitris Kolovos

Awards

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