QBF Solver Evaluation Portal
qbflib.orgFamily SzymanskiP results for solvers
QBFEVAL'08
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| AQME-1NN | 348.49 | 29.04 | 58 | 5.87 | 19.27 | 1 |
| Nenofex | 5508.08 | 459.01 | 216.72 | 600 | 277.51 | 0.167 |
| quantor3.0 | 319.51 | 26.63 | 27.9 | 21.64 | 7.56 | 0.25 |
| QuBE6.1 | 112.91 | 9.41 | 13.69 | 2.07 | 14 | 1 |
| ssolve-A | 275.52 | 22.96 | 36.09 | 4.87 | 30.04 | 1 |
| ssolveB | 3374.07 | 281.17 | 277.74 | 174.07 | 598.49 | 0.583 |
| ssolveC | 210.42 | 17.54 | 25.68 | 4.38 | 25.02 | 1 |