| Home | • | Rules | • | Benchmarks | • | Tools | • | Specs | • | Participants | • | Results | • | SMT-LIB | • | Previous |
|---|
Competition results for the LRA division as of Fri Oct 30 12:49:29 GMT
Competition benchmarks = 339
Competition industrial benchmarks = 261
| Sequential Performances | Sequential Performances (industrial) | Parallel Performances | Parallel Performances (industrial) |
| CVC4 (exp) | CVC4 | CVC4 (exp) | CVC4 (exp) |
| 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 | |
| CVC3 | 0 | 269 | 3887.79 | 0 | 239 | 4.25 | 0 | 269 | 3889.15 | 3888.27 | 0 | 239 | 4.25 | 4.48 | 70 | 0 |
| CVC4 | 0 | 337 | 6566.61 | 0 | 261 | 1.99 | 0 | 337 | 6568.05 | 6567.35 | 0 | 261 | 1.99 | 2.75 | 2 | 0 |
| CVC4 (exp) | 0 | 339 | 1154.86 | 0 | 261 | 2.00 | 0 | 339 | 1154.86 | 1155.59 | 0 | 261 | 2.00 | 2.75 | 0 | 0 |
| [z3] | 0 | 335 | 10439.30 | 0 | 261 | 8.04 | 0 | 335 | 10442.83 | 10439.04 | 0 | 261 | 8.04 | 8.07 | 4 | 0 |
| veriT | 0 | 73 | 30361.98 | 0 | 66 | 0.52 | 0 | 73 | 30370.41 | 30365.51 | 0 | 66 | 0.52 | 2.28 | 266 | 0 |
| Home | • | Rules | • | Benchmarks | • | Tools | • | Specs | • | Participants | • | Results | • | SMT-LIB | • | Previous |
|---|
Last modified: Fri 30 Oct 2015 12:49 UTC