QBF Solver Evaluation Portal
qbflib.orgFamily k_t4p_n results for solvers
QBFEVAL'08
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| AQME-1NN | 57.76 | 2.75 | 1.49 | 2.18 | 2.51 | 1 |
| Nenofex | 1554.15 | 74.01 | 94.07 | 45.16 | 36.54 | 0.143 |
| quantor3.0 | 339.42 | 16.16 | 12.58 | 25.89 | 25.86 | 0.381 |
| QuBE6.1 | 11405.27 | 543.11 | 175.35 | 600 | 0 | 0.095 |
| ssolve-A | 791.76 | 37.7 | 36.19 | 24.2 | 53.07 | 1 |
| ssolveB | 819.02 | 39 | 37.23 | 25.14 | 54.58 | 1 |
| ssolveC | 650.68 | 30.98 | 29.22 | 20.62 | 43.7 | 1 |