| Home | • | Rules | • | Benchmarks | • | Tools | • | Specs | • | Participants | • | Results | • | SMT-LIB | • | Previous |
|---|
Competition results for the QF_RDL division as of Fri Oct 30 12:49:29 GMT
Competition benchmarks = 220
Competition industrial benchmarks = 145
| Sequential Performances | Sequential Performances (industrial) | Parallel Performances | Parallel Performances (industrial) |
| Yices | Yices | Yices | Yices |
| Solver | Sequential performance | Sequential performance (industrial) | Parallel performance | Parallel performance (industrial) | Other information | |||||||||||
| Errors | Corrects | CPU | Errors | Corrects | CPU | Errors | Corrects | CPU | WALL | Errors | Corrects | CPU | WALL | Not solved | Remaining | |
| CVC4 | 0 | 213 | 24834.09 | 0 | 145 | 4559.04 | 0 | 213 | 24840.87 | 24831.88 | 0 | 145 | 4559.04 | 4557.83 | 7 | 0 |
| CVC4 (exp) | 0 | 213 | 24816.81 | 0 | 145 | 4560.38 | 0 | 213 | 24823.39 | 24814.80 | 0 | 145 | 4560.38 | 4559.41 | 7 | 0 |
| SMTInterpol | 0 | 200 | 66974.47 | 0 | 133 | 42476.52 | 0 | 202 | 72904.93 | 63627.01 | 0 | 134 | 43947.94 | 40642.15 | 18 | 0 |
| Yices | 0 | 220 | 5164.95 | 0 | 145 | 1148.44 | 0 | 220 | 5164.95 | 5158.67 | 0 | 145 | 1148.44 | 1143.56 | 0 | 0 |
| [z3] | 0 | 214 | 22949.24 | 0 | 145 | 2332.36 | 0 | 214 | 22955.60 | 22946.12 | 0 | 145 | 2332.36 | 2331.62 | 6 | 0 |
| veriT | 0 | 214 | 23280.40 | 0 | 143 | 8849.07 | 0 | 214 | 23285.95 | 23278.04 | 0 | 143 | 8850.42 | 8848.13 | 6 | 0 |
| Home | • | Rules | • | Benchmarks | • | Tools | • | Specs | • | Participants | • | Results | • | SMT-LIB | • | Previous |
|---|
Last modified: Fri 30 Oct 2015 12:49 UTC