| Home | • | Rules | • | Benchmarks | • | Tools | • | Specs | • | Participants | • | Results | • | SMT-LIB | • | Previous |
|---|
Competition results for the UFLIA division as of Fri Oct 30 12:49:29 GMT
Competition benchmarks = 8404
Competition industrial benchmarks = 8017
| Sequential Performances | Sequential Performances (industrial) | Parallel Performances | Parallel Performances (industrial) |
| CVC4 | CVC4 | CVC4 | CVC4 |
| 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 | 8 | 92.21 | 0 | 0 | 66.89 | 0 | 8 | 92.21 | 99.34 | 0 | 0 | 66.89 | 73.56 | 8396 | 0 |
| CVC4 | 0 | 8280 | 300609.18 | 0 | 7905 | 259480.39 | 0 | 8280 | 300720.02 | 300682.99 | 0 | 7905 | 259524.40 | 259551.97 | 124 | 0 |
| CVC4 (exp) | 0 | 8280 | 302426.62 | 0 | 7905 | 261029.18 | 0 | 8280 | 302876.28 | 302481.89 | 0 | 7905 | 261472.23 | 261077.58 | 124 | 0 |
| [z3] | 0 | 7779 | 1192775.34 | 0 | 7413 | 1136406.38 | 0 | 7779 | 1193076.88 | 1192710.15 | 0 | 7413 | 1136688.58 | 1136342.98 | 625 | 0 |
| veriT | 0 | 6696 | 3976595.29 | 0 | 6359 | 3878022.55 | 0 | 6696 | 3977979.17 | 3976902.92 | 0 | 6359 | 3879380.93 | 3878160.54 | 1708 | 0 |
| Home | • | Rules | • | Benchmarks | • | Tools | • | Specs | • | Participants | • | Results | • | SMT-LIB | • | Previous |
|---|
Last modified: Fri 30 Oct 2015 12:49 UTC