QBF Solver Evaluation Portal
qbflib.orgFamily k_branch_n results for solvers
QBFEVAL'08
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| AQME-1NN | 8150.38 | 388.11 | 211.25 | 502.86 | 243.61 | 0.238 |
| Nenofex | 3713.29 | 176.82 | 140.05 | 184.69 | 176.38 | 0.19 |
| quantor3.0 | 542.53 | 25.83 | 11.48 | 27.89 | 6.18 | 0.143 |
| QuBE6.1 | 9909.53 | 471.88 | 236.76 | 600 | 147.25 | 0.238 |
| ssolve-A | 9625.68 | 458.37 | 253.4 | 600 | 288.12 | 0.238 |
| ssolveB | 9628.37 | 458.49 | 253.18 | 600 | 286.8 | 0.238 |
| ssolveC | 9620.93 | 458.14 | 253.8 | 600 | 290.36 | 0.238 |