| Home | • | Rules | • | Benchmarks | • | Tools | • | Specs | • | Participants | • | Results | • | SMT-LIB | • | Previous |
|---|
Competition results for the QF_LRA division as of Thu Jul 7 07:24:34 GMT
Benchmarks in this division : 1626
| 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 | 1601.997 | 61.989 | 0.000 | 1601.997 | 62.004 | 62.088 | 20 |
| MathSat5n | 0.000 | 1574.475 | 109.915 | 0.000 | 1574.475 | 109.957 | 109.870 | 64 |
| OpenSMT2 | 0.000 | 1510.710 | 214.228 | 0.000 | 1510.710 | 214.323 | 214.198 | 263 |
| SMT-RAT | 0.000 | 1415.279 | 344.351 | 0.000 | 1415.279 | 344.538 | 344.329 | 433 |
| SMTInterpol | 0.000 | 1571.240 | 118.790 | 0.000 | 1572.061 | 127.002 | 112.669 | 54 |
| Yices2 | 0.000 | 1593.356 | 65.700 | 0.000 | 1593.356 | 65.730 | 65.654 | 34 |
| toysmt | 0.000 | 1172.885 | 582.313 | 0.000 | 1172.885 | 582.500 | 582.280 | 811 |
| veriT-dev | 0.000 | 1577.045 | 95.717 | 0.000 | 1577.045 | 95.759 | 95.701 | 55 |
| z3n | 0.000 | 1547.832 | 157.261 | 0.000 | 1547.832 | 157.327 | 157.232 | 145 |
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