QBF Solver Evaluation Portal
qbflib.orgSuite Basler results for solvers
QBFEVAL'08
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| AQME-1NN | 38969.73 | 54.66 | 138.2 | 6.34 | 19.86 | 0.907 |
| Nenofex | 158374.04 | 222.12 | 122.91 | 183.87 | 98.23 | 0.018 |
| quantor3.0 | 35102.44 | 49.23 | 17.48 | 46.17 | 12.9 | 0.035 |
| QuBE6.1 | 54238.31 | 76.07 | 195.23 | 0.34 | 0.35 | 0.879 |
| ssolve-A | 411793.99 | 577.55 | 110.07 | 600 | 0 | 0.041 |
| ssolveB | 411944.79 | 577.76 | 109.31 | 600 | 0 | 0.041 |
| ssolveC | 412424.88 | 578.44 | 110.91 | 600 | 0 | 0.036 |