| Home | • | Rules | • | Benchmarks | • | Tools | • | Specs | • | Participants | • | Results | • | SMT-LIB | • | Previous |
|---|
Competition results for the UF division as of Thu Jul 7 07:24:34 GMT
Benchmarks in this division : 2839
| Sequential Performances | Parallel Performances |
| CVC4 | CVC4 |
| Solver | Sequential performance | Parallel performance | Other information | |||||
| Error Score | Correctly Solved Score | avg. CPU time | Errors | Corrects | avg. CPU time | avg. WALL time | Unsolved benchmarks | |
| CVC4 | 0.000 | 2796.487 | 118.350 | 0.000 | 2796.487 | 118.350 | 123.442 | 49 |
| vampire_smt_4.1 | 0.000 | 2743.824 | 46.659 | 0.000 | 2743.824 | 46.659 | 46.304 | 99 |
| vampire_smt_4.1_parallel | 0.000 | 2750.240 | 89.336 | 0.000 | 2756.832 | 124.536 | 34.897 | 85 |
| veriT-dev | 0.000 | 1949.835 | 695.077 | 0.000 | 1949.835 | 696.434 | 695.071 | 939 |
| z3n | 0.000 | 1848.990 | 624.518 | 0.000 | 1848.990 | 624.786 | 624.483 | 1030 |
n. Non-competitive.
1. Scores are computed according to Section 7 of the rules.
| Home | • | Rules | • | Benchmarks | • | Tools | • | Specs | • | Participants | • | Results | • | SMT-LIB | • | Previous |
|---|
Last modified: Thu 07 Jul 2016 07:28 UTC