QBF Solver Evaluation Portal
qbflib.orgSuite Rintanen results for solvers
QBFEVAL'08
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| AQME-1NN | 17127.26 | 132.77 | 234.6 | 3.38 | 47.38 | 0.806 |
| Nenofex | 27038.26 | 209.6 | 281.3 | 4.37 | 599.78 | 0.651 |
| quantor3.0 | 6128.35 | 47.51 | 96.57 | 5.09 | 82.11 | 0.651 |
| QuBE6.1 | 36547.4 | 283.31 | 292.42 | 59.79 | 599.78 | 0.55 |
| ssolve-A | 46357.35 | 359.36 | 291.13 | 600 | 599.74 | 0.411 |
| ssolveB | 46952.18 | 363.97 | 290.12 | 600 | 599.72 | 0.403 |
| ssolveC | 46136.75 | 357.65 | 291.16 | 600 | 599.75 | 0.419 |