QBF Solver Evaluation Portal
qbflib.orgFamily Abduction results for solvers
QBFEVAL'08
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| AQME-1NN | 12977.99 | 42.83 | 135.28 | 1.82 | 3.44 | 0.944 |
| Nenofex | 29417.24 | 97.09 | 125.97 | 17.55 | 173.05 | 0.617 |
| quantor3.0 | 69445.75 | 229.19 | 216.52 | 126.56 | 356.25 | 0.257 |
| QuBE6.1 | 10931.75 | 36.08 | 138.04 | 0.21 | 0.61 | 0.944 |
| ssolve-A | 158485.17 | 523.05 | 194.12 | 600 | 0 | 0.142 |
| ssolveB | 154836.74 | 511.01 | 206.89 | 600 | 0 | 0.168 |
| ssolveC | 158147.87 | 521.94 | 195.29 | 600 | 0 | 0.142 |