The RERS challenge has ended with the formal announcement of the winners at ISoLA 2014. In 2014, the following four teams participated in the challenge.

• Stefan Löwe
  University of Passau, Germany
• Jeroen Meijer, Steven te Brinke, Lesley Wevers, Jaco van de Pol
  University of Twente, The Netherlands
• Markus Schordan, Marc Jasper
  Lawrence Livermore National Laboratory, USA
• Theo Ruys
  RUwise, Deventer, The Netherlands

The following participant took part in the challenge out of competition and was not eligible for winning any of the prizes:

• Oliver Bauer
  TU Dortmund University, Germany

Achievement (Olympic Medal) Ranking

The following table ranks the participants according to the number of achievements they scored. The ranking mimics the country ranking at Olympic Games, i.e., by comparing their achievement numbers in the different categories lexicographically. Achievements for the extended problems were counted as gold achievements.

Rank	Name	Achievements
1	Schordan/Jasper LLNL	6+2	+	0		0		Gold: Reachability: Plain, Arithmetic, Array; LTL: Plain, Arithmetic, Array Extended: Reachability: 17, 18
2	Ruys RUwise	3+4	+	0		0		Gold: Reachability: Plain, Arithmetic, Array Extended: Reachability: 17, 18, 19; LTL: 18
3	Meijer et al. Twente	2+3	+	0		1		Gold: Reachability: Plain, Arithmetic Extended: Reachability: 17, 18, 19 Bronze: Reachability: Array
4	Löwe Passau	2+2	+	0		1		Gold: Reachability: Arithmetic, Array Extended: Reachability: 17, 18 Bronze: Reachability:Plain
*	Bauer Dortmund	6+6	+	0		0		Gold: Reachability: Plain, Arithmetic, Array; LTL: Plain, Arithmetic, Array Extended: Reachability: 17, 18, 19; LTL: 17, 18, 19

Score-based Ranking

The following table ranks the participants according to their overall score: for each correct answer, 1 point was added to the score, and 2 points were subtracted for each incorrect answer.

Rank	Name	Score	Total answers	% correct
1	Ruys RUwise	2982	3000	99.8%
2	Schordan/Jasper LLNL	2527	2527	100.0%
3	Meijer et al. Twente	1497	1500	99.9%
4	Löwe Passau	944	947	99.9%
*	Bauer Dortmund	3000	3000	100.0%

Prize Matrix

The table below shows the prizes that were awarded to each participant. For the first prize in each category, Springer sponsored a gift certificate for Springer books worth € 200.

Participant	Category: Plain	Category: Arithmetic	Category: Array	Category: Extended	Category: Overall	Category: Score-based	Method Combination Prize	Total Prize Money
Löwe Passau
Meijer et al. Twente								€ 100
Schordan/Jasper LLNL								€ 900
Ruys RUwise								€ 400