QBF Solver Evaluation Portal
qbflib.orgFamily k_d4_p results for solvers
QBFEVAL'08
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| AQME-1NN | 23.49 | 1.12 | 0.21 | 1.09 | 0.32 | 1 |
| Nenofex | 1965.78 | 93.61 | 110.9 | 39.99 | 98.21 | 0.476 |
| quantor3.0 | 353.7 | 16.84 | 11.31 | 24.04 | 23.63 | 0.333 |
| QuBE6.1 | 9279.18 | 441.87 | 255.26 | 600 | 461.15 | 0.286 |
| ssolve-A | 23.41 | 1.11 | 0.96 | 0.86 | 1.46 | 1 |
| ssolveB | 24.39 | 1.16 | 0.99 | 0.91 | 1.52 | 1 |
| ssolveC | 19.76 | 0.94 | 0.79 | 0.75 | 1.25 | 1 |