QBF Solver Evaluation Portal
qbflib.orgFamily Blocks results for solvers
QBFEVAL'08
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| AQME-1NN | 43.16 | 3.32 | 2.7 | 1.27 | 4.02 | 1 |
| Nenofex | 25.24 | 1.94 | 2.12 | 0.4 | 4.03 | 1 |
| quantor3.0 | 43.02 | 3.31 | 4.14 | 0.14 | 7.26 | 1 |
| QuBE6.1 | 3577.6 | 275.2 | 289.53 | 55.74 | 599.9 | 0.615 |
| ssolve-A | 4825.68 | 371.21 | 289.47 | 600 | 599.78 | 0.385 |
| ssolveB | 5400.33 | 415.41 | 276.88 | 600 | 599.89 | 0.308 |
| ssolveC | 4824.18 | 371.09 | 289.61 | 600 | 599.8 | 0.385 |