QF_AUFBV (Main Track)

Benchmarks in this division: 162
Time Limit: 1200s

Winners

Winner	Open-Source Winner
Boolector	Boolector

Result table¹

Solver	Score	Time
Boolector	151	7843.9
Tiffany de Wintermonte	149	7649.6
SONOLAR	144	19410.9
MathSAT5-smtcomp12	122	21867.0
CVC4 1.0rc.3931	98	8576.2
CVC3 v2.4.2	80	2128.1
Boolector 1.5.23-833, 2011 winnern	146	10373.1
CVC4 1.0.rc.3970, patched resubmissionn	106	8552.6

n. Non-competitive.