Competition-Wide Scoring for the Main Track

Competition results as of Fri Jul 21 10:18:02 GMT

Sequential Performances	Parallel Performances
Rank Solver Score - z3-4.5.0n 171.99 1 CVC4 161.38 2 Yices2 110.63 3 SMTInterpol 65.96 4 veriT 62.57 5 vampire 4.2 42.72 6 Boolector 29.12 - mathsat-5.4.1n 21.59 7 SMTRAT 17.27 8 veriT+Redlog 13.51 9 Redlog 12.39 10 Boolector+CaDiCaL 8.19 11 MinkeyRink 8.09 12 stp_st 7.89 13 veriT+raSAT+Redlog 7.64 14 stp_mt 7.48 15 Q3B 7.05 16 AProVE 1.07 17 opensmt2 -21.35 18 xsat -42.42 19 COLIBRI -42.42	Rank Solver Score - z3-4.5.0n 171.99 1 CVC4 161.76 2 Yices2 110.63 3 SMTInterpol 66.00 4 veriT 62.57 5 vampire 4.2 43.97 6 Boolector 29.23 - mathsat-5.4.1n 21.59 7 SMTRAT 17.27 8 veriT+Redlog 13.51 9 Redlog 12.39 10 MinkeyRink 8.39 11 Boolector+CaDiCaL 8.19 12 stp_mt 8.09 13 stp_st 7.89 14 veriT+raSAT+Redlog 7.64 15 Q3B 7.18 16 AProVE 1.07 17 opensmt2 -21.35 18 xsat -42.42 19 COLIBRI -42.42

n. Non-competing.