Home Intro Tools Specs Thanks SMT-LIB Previous

NIA

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

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

Division COMPLETE: The winner is CVC4

Solver Errors Solved Not Solved Remaining CPU Time (on
solved instances)
[Z3] 0 9 0 0 0.13
CVC4 0 3 6 0 0.02
CVC3 0 0 9 0 0.00
Home Intro Tools Specs Thanks SMT-LIB Previous

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