Home Intro Tools Specs Thanks SMT-LIB Previous

QF_UFIDL

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

Competition benchmarks = 311 (total = 441, unknown status = 0, trivial = 130)

Division COMPLETE: The winner is Yices2

Solver Errors Solved Not Solved Remaining CPU Time (on
solved instances)
Weighted medal score
weight = 2.493
[Z3] 0 309 2 0 940.22 2.461
Yices2 0 309 2 0 6985.17 2.461
CVC4 0 284 27 0 23302.90 2.079
veriT 0 281 30 0 15557.03 2.035
Home Intro Tools Specs Thanks SMT-LIB Previous

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