| Home | • | Rules | • | Benchmarks | • | Tools | • | Specs | • | Participants | • | Results | • | SMT-LIB | • | Previous |
|---|
Competition results for the UF division as of Fri Oct 30 12:49:29 GMT
Competition benchmarks = 2839
Competition industrial benchmarks = 2380
| Sequential Performances | Sequential Performances (industrial) | Parallel Performances | Parallel Performances (industrial) |
| CVC4 (exp) | CVC4 (exp) | 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 | 1693 | 1419698.44 | 0 | 1292 | 1326912.69 | 0 | 1693 | 1420976.17 | 1420994.62 | 0 | 1292 | 1328144.72 | 1328174.58 | 1146 | 0 |
| CVC4 | 0 | 2783 | 150666.01 | 0 | 2324 | 147380.76 | 0 | 2783 | 151024.98 | 151153.59 | 0 | 2324 | 147739.73 | 147874.88 | 56 | 0 |
| CVC4 (exp) | 0 | 2784 | 150661.68 | 0 | 2325 | 147319.22 | 0 | 2784 | 150691.89 | 151082.60 | 0 | 2325 | 147349.43 | 147738.12 | 55 | 0 |
| [z3] | 0 | 1819 | 1872284.61 | 0 | 1371 | 1841726.88 | 0 | 1819 | 1872822.41 | 1872692.63 | 0 | 1371 | 1842254.24 | 1842137.70 | 1020 | 0 |
| veriT | 0 | 1504 | 2595201.01 | 0 | 1078 | 2531975.01 | 0 | 1504 | 2595954.68 | 2596785.05 | 0 | 1078 | 2532717.62 | 2533290.06 | 1335 | 0 |
| Home | • | Rules | • | Benchmarks | • | Tools | • | Specs | • | Participants | • | Results | • | SMT-LIB | • | Previous |
|---|
Last modified: Fri 30 Oct 2015 12:49 UTC