2015 competition results

2015 competition results

CVC4 won several honors at competitions this year. ¬†As with last year, CVC4 won the most divisions of the main track of the SMT-COMP competition [1]: of 28 competitive divisions, CVC4 won 12, Yices won 11, Boolector won 3, and…

CVC4 at Vienna Summer of Logic

CVC4 at Vienna Summer of Logic

CVC4 won several honors at the “Olympic Games” at the Vienna Summer of Logic. CVC4 won the most divisions of the SMT-COMP competition (14). Yices won the second most divisions (10). Unfortunately, both CVC4 and Yices got wrong answers due…

Fork me on GitHub