Competition-Wide Scoring for the Application Track

Competition results as of Wed Jul 8 20:38:52 GMT

Sequential Performance	Parallel Performance
Rank Solver Score - z3n 793993050421.53 1 Yices 793847262206.08 2 SMTInterpol 692866157139.70 - MathSatn 477393580823.14 3 CVC4 (exp) 52882158296.47 4 CVC4 36278250543.01 5 Boolector 10241.21 6 STP-CMSat4 (mt-v15) 0.00 7 Boolector 0.00 8 STP-CMSat4 (v15) 0.00 9 STP-MiniSAT (v15) 0.00 10 STP-CMSat4 0.00	Rank Solver Score - z3n 793993050421.53 1 Yices 793847262206.08 2 SMTInterpol 692866158574.61 - MathSatn 477393580823.14 3 CVC4 (exp) 52882158867.39 4 CVC4 36278250543.01 5 Boolector 10241.21 6 STP-CMSat4 (mt-v15) 0.00 7 Boolector 0.00 8 STP-CMSat4 (v15) 0.00 9 STP-MiniSAT (v15) 0.00 10 STP-CMSat4 0.00

n. Non-competitive.