Home Intro Tools Specs Thanks SMT-LIB Previous

AUFLIA

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

Competition benchmarks = 4 (total = 4, unknown status = 0, trivial = 0)

Division COMPLETE: The winner is CVC4

Solver Errors Solved Not Solved Remaining CPU Time (on
solved instances)
Weighted medal score
weight = 0.602
CVC4 0 3 1 0 15.54 0.339
[Z3] 0 2 2 0 0.02 0.151
CVC3 0 2 2 0 5.34 0.151
veriT 0 1 3 0 8.35 0.038
Home Intro Tools Specs Thanks SMT-LIB Previous

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