Home Intro Tools Specs Thanks SMT-LIB Previous

LRA

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

Competition benchmarks = 171 (total = 621, unknown status = 450, trivial = 0)

Division COMPLETE: The winner is CVC4

Solver Errors Solved Not Solved Remaining CPU Time (on
solved instances)
Weighted medal score
weight = 2.233
CVC4 0 171 0 0 1.10 2.233
[Z3] 0 171 0 0 1.14 2.233
CVC3 0 165 6 0 2.25 2.079
veriT 0 66 105 0 0.20 0.333
Home Intro Tools Specs Thanks SMT-LIB Previous

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