Thanks to everybody who participated in the competition and the discussions leading to the competition. The competition is now over. The final overall winners are: mpfr team from LORIA, consisting of Paul Zimmermann, Vincent Lefèvre, Patrick Pélissier, Laurent Fousse, Guillaume Hanrot and Jim White (website explaining the solutions of the mpfr team).
Ranking
You can download A breakdown of final ranking per problem.
The top 3 in the overall ranking and for each problem set are:
Overall Ranking (all 24 problems)
Basic Set
Intermediate Set
Timings
You can now download the timings and the breakdown of final rankings that we extracted after the competition by rerunning all the solutions on the competition machine and using the same timing method for all systems.
Rawer Timings
You can also download the unrounded version of timings and the list of commands that was used to obtain them.
Provisional Rankings
Provisional rankings were presented during the competition (see above photo) and were extracted from ttyrec logs. There is no difference between provisional rankings and final rankings; only the timings used for final rankings are the definitive timings as they are obtained using the same method for all systems.