QBF Solver Evaluation Portal
qbflib.orgFamily blackbox-01X-QBF results for solvers
QBFEVAL'08
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| AQME-1NN | 74534.25 | 165.63 | 204.38 | 8.22 | 430.77 | 0.689 |
| Nenofex | 45540.6 | 101.2 | 111.01 | 75.56 | 153.21 | 0.289 |
| quantor3.0 | 10885.33 | 24.19 | 24.71 | 29.15 | 31.85 | 0.289 |
| QuBE6.1 | 102239.57 | 227.2 | 286.49 | 2.22 | 599.92 | 0.629 |
| ssolve-A | 149659.59 | 332.58 | 296.45 | 600 | 599.87 | 0.453 |
| ssolveB | 149772.4 | 332.83 | 296.48 | 600 | 599.86 | 0.453 |
| ssolveC | 144273.61 | 320.61 | 298.12 | 600 | 599.85 | 0.444 |