QF_ABV (Application Track)

Competition results for the QF_ABV division as of Fri Jul 13 00:00:31 GMT

Benchmarks in this division : 15
Time limit: 2400s

Winner : Boolector

Result table¹

Solver	Error Score	Correctly Solved Score	avg. CPU time	avg. WALL time
Boolector	0	920	10688.32	10687.37
CVC4	0	411	35999.22	36000.90
Yices2	0	910	14958.93	14957.67
z3-4.7.1n	0	800	24024.84	24027.33

n. Non-competing.

1. Scores are computed according to Section 7 of the rules.