The International Satisfiability Modulo Theories (SMT) Competition.
SMT-LIB Previous Editions
Competition results for the QF_UFBV division as of Fri Jun 27 16:49:23 EDT 2014
Competition benchmarks = 31 (total = 31, unknown status = 0, trivial = 0)
|Solver||Errors||Solved||Not Solved||Remaining||CPU Time (on solved instances)||Weighted Medal Score (weight = 1.491)|