QBF Solver Evaluation Portal
qbflib.orgFamily C5315 results for solvers
QBFEVAL'08
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| AQME-1NN | 2009.15 | 251.14 | 247.98 | 246.36 | 498.72 | 0.5 |
| Nenofex | 1574.83 | 196.85 | 213.38 | 124.8 | 369.42 | 0.5 |
| quantor3.0 | 128.98 | 16.12 | 14.55 | 15.73 | 29.01 | 0.5 |
| QuBE6.1 | 3185.13 | 398.14 | 265.87 | 600 | 507.88 | 0.375 |
| ssolve-A | 3157.8 | 394.72 | 268.59 | 600 | 521.34 | 0.375 |
| ssolveB | 3211.29 | 401.41 | 263.1 | 600 | 494.62 | 0.375 |
| ssolveC | 3664.29 | 458.04 | 246.4 | 600 | 267.99 | 0.25 |