QBF Solver Evaluation Portal
qbflib.orgFamily tipdiam results for solvers
QBFEVAL'08
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| AQME-1NN | 28447.01 | 140.13 | 235.77 | 3.42 | 129.98 | 0.778 |
| Nenofex | 77797.68 | 383.24 | 257.01 | 543.84 | 588.77 | 0.296 |
| quantor3.0 | 8251.61 | 40.65 | 65.97 | 37.33 | 47.33 | 0.374 |
| QuBE6.1 | 32693.88 | 161.05 | 260.94 | 0.46 | 599.94 | 0.744 |
| ssolve-A | 58582.09 | 288.58 | 298.09 | 25.61 | 599.96 | 0.522 |
| ssolveB | 58713.77 | 289.23 | 297.61 | 36.75 | 599.95 | 0.522 |
| ssolveC | 60513.17 | 298.09 | 297.96 | 115.15 | 599.96 | 0.507 |