| Home | • | Rules | • | Benchmarks | • | Tools | • | Specs | • | Participants | • | Results | • | SMT-LIB | • | Previous |
|---|
Competition results for the QF_UFLRA division as of Fri Oct 30 12:49:29 GMT
Competition benchmarks = 3331
Competition industrial benchmarks = 3331
| Solver | Parallel performance | Parallel performance (industrial) | ||||||
| Errors | Corrects | CPU | WALL | Errors | Corrects | CPU | WALL | |
| CVC4 (exp) | 0 | 21988 | 93207.19 | 92547.39 | 0 | 21988 | 93207.19 | 92547.39 |
| CVC4 | 0 | 21806 | 100703.29 | 100023.27 | 0 | 21806 | 100703.29 | 100023.27 |
| [MathSat 5.3.6] | 0 | 21666 | 31543.22 | 31133.91 | 0 | 21666 | 31543.22 | 31133.91 |
| SMTInterpol | 0 | 17238 | 128340.07 | 81522.10 | 0 | 17238 | 128340.07 | 81522.10 |
| Yices | 0 | 22052 | 39972.50 | 39652.79 | 0 | 22052 | 39972.50 | 39652.79 |
| [z3 4.4.0] | 0 | 22059 | 31737.94 | 31356.33 | 0 | 22059 | 31737.94 | 31356.33 |
| Home | • | Rules | • | Benchmarks | • | Tools | • | Specs | • | Participants | • | Results | • | SMT-LIB | • | Previous |
|---|
Last modified: Fri 30 Oct 2015 12:49 UTC