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…

Fork me on GitHub