The winner of the main single safety / bad-state property track is a new version of suprove by Robert Brayton, Niklas Een, Alan Mishchenko and Baruch Sterin, from Berkeley University, USA.
The winner of the liveness track is tiprbmc by Niklas Sörensson and Koen Claessen from Chalmers University, Gothenburg, Sweden.
The multi property track was won by the mpmc model checker by Chi-An Wu, Cheng-Yin Wu and Chung-Yang (Ric) Huang from National Taiwan University, Taipei, Taiwan.
The deep bounds track award sponsored by Oski Technology was given to tipbmc by Niklas Sörensson and Koen Claessen from Chalmers University, Gothenburg, Sweden.
The log files and generated statistics with all the details are available in the following archives:
Here are CSV spreadsheets extracted from the analysis of the log files:
For completeness we included also solvers with discrepancies.