QBF Solver Evaluation Portal
qbflib.orgSuite Herbstritt results for solvers
QBFEVAL'08
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| AQME-1NN | 74834.79 | 156.56 | 201.85 | 5.46 | 428.54 | 0.707 |
| Nenofex | 56902.82 | 119.04 | 133.88 | 81.56 | 172.45 | 0.272 |
| quantor3.0 | 11752.05 | 24.59 | 24.18 | 29.11 | 31.86 | 0.272 |
| QuBE6.1 | 102255.4 | 213.92 | 283.02 | 1.49 | 599.91 | 0.651 |
| ssolve-A | 166459.59 | 348.24 | 294.41 | 600 | 599.85 | 0.427 |
| ssolveB | 166572.4 | 348.48 | 294.42 | 600 | 599.84 | 0.427 |
| ssolveC | 161073.61 | 336.97 | 296.61 | 600 | 599.83 | 0.418 |