QBF Solver Evaluation Portal
qbflib.orgSuite Messinger results for solvers
QBFEVAL'08
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| AQME-1NN | 33260.32 | 527.94 | 183.74 | 597.92 | 22.4 | 0.111 |
| Nenofex | 32823.39 | 521.01 | 186.53 | 600 | 0 | 0.095 |
| quantor3.0 | 22586.27 | 358.51 | 279.2 | 600 | 562.43 | 0.111 |
| QuBE6.1 | 35088.76 | 556.96 | 150 | 600 | 0 | 0.063 |
| ssolve-A | 37368.15 | 593.15 | 53.97 | 600 | 0 | 0.016 |
| ssolveB | 37313.77 | 592.28 | 60.77 | 600 | 0 | 0.016 |
| ssolveC | 37354.33 | 592.93 | 55.7 | 600 | 0 | 0.016 |