Home Intro Tools Specs Thanks SMT-LIB Previous

QF_RDL

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

Competition benchmarks = 132 (total = 255, unknown status = 85, trivial = 38)

Division COMPLETE: The winner is Yices2

Solver Errors Solved Not Solved Remaining CPU Time (on
solved instances)
Weighted medal score
weight = 2.121
Yices2 0 132 0 0 6048.28 2.121
[Z3] 0 128 4 0 5343.59 1.994
veriT 0 128 4 0 9794.56 1.994
CVC4 0 127 5 0 8457.03 1.963
Home Intro Tools Specs Thanks SMT-LIB Previous

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