QBF Solver Evaluation Portal
qbflib.orgSuite Katz results for solvers
QBFEVAL'08
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| AQME-1NN | 7866.39 | 393.32 | 255.8 | 527.45 | 580.21 | 0.3 |
| Nenofex | 5848.92 | 292.45 | 197.89 | 231.17 | 357.46 | 0.1 |
| quantor3.0 | 2723.23 | 136.16 | 200.79 | 41.2 | 33.49 | 0 |
| QuBE6.1 | 8426.21 | 421.31 | 272.96 | 600 | 591.33 | 0.3 |
| ssolve-A | 12000 | 600 | 0 | 600 | 0 | 0 |
| ssolveB | 12000 | 600 | 0 | 600 | 0 | 0 |
| ssolveC | 12000 | 600 | 0 | 600 | 0 | 0 |