Home Intro Tools Specs Thanks SMT-LIB Previous

QF_ABV

Competition results for the QF_ABV division as of Fri Jun 27 16:49:23 EDT 2014

Competition benchmarks = 6457 (total = 15091, unknown status = 4190, trivial = 4423)

Division COMPLETE: The winner is Boolector (justification)

Solver Errors Solved Not Solved Remaining CPU Time (on
solved instances)
Weighted medal score
weight = 3.810
Boolector (justification) 0 6413 44 0 53176.27 3.758
Boolector (dual propagation) 0 6410 47 0 69040.03 3.755
[MathSAT] 0 6394 63 0 73535.00 3.736
SONOLAR 0 6386 71 0 53248.38 3.727
CVC4 0 6352 105 0 78865.09 3.687
[Z3] 0 6351 106 0 53957.15 3.686
Yices2 1 6410 46 0 37112.15 3.755
Kleaver-STP 56 5827 574 0 1120.08 3.103
Kleaver-portfolio 91 5799 567 0 3403.29 3.073
Home Intro Tools Specs Thanks SMT-LIB Previous

Last modified: Tue 17 Feb 2015 15:00 UTC
Valid XHTML 1.0 Valid CSS!