Home Intro Tools Specs Thanks SMT-LIB Previous

QF_IDL

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

Competition benchmarks = 1315 (total = 2189, unknown status = 537, trivial = 337)

Division COMPLETE: The winner is Yices2

Solver Errors Solved Not Solved Remaining CPU Time (on
solved instances)
Weighted medal score
weight = 3.119
[Z3] 0 1235 80 0 24813.22 2.751
Yices2 0 1212 103 0 14903.64 2.649
CVC4 0 1130 185 0 119927.16 2.303
veriT 0 979 336 0 172464.50 1.729
Home Intro Tools Specs Thanks SMT-LIB Previous

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