QBF Solver Evaluation Portal
qbflib.orgSuite Pan results for solvers
QBFEVAL'08
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| AQME-1NN | 18824.35 | 49.02 | 148.8 | 1.21 | 2.44 | 0.917 |
| Nenofex | 33390.53 | 86.95 | 141.43 | 16.43 | 108.47 | 0.62 |
| quantor3.0 | 22688.96 | 59.09 | 164.07 | 0.1 | 26.05 | 0.69 |
| QuBE6.1 | 109140.53 | 284.22 | 294.12 | 43.67 | 599.89 | 0.542 |
| ssolve-A | 66337.71 | 172.75 | 264.08 | 1.64 | 599.73 | 0.729 |
| ssolveB | 67395.33 | 175.51 | 265.16 | 1.74 | 599.72 | 0.727 |
| ssolveC | 65998.31 | 171.87 | 264.79 | 1.39 | 599.77 | 0.729 |