QBF Solver Evaluation Portal
qbflib.orgFamily k_path_p results for solvers
QBFEVAL'08
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| AQME-1NN | 22.35 | 1.06 | 0.18 | 1.04 | 0.25 | 1 |
| Nenofex | 863.95 | 41.14 | 72.13 | 12.24 | 38.77 | 0.762 |
| quantor3.0 | 0.47 | 0.02 | 0.01 | 0.02 | 0.02 | 1 |
| QuBE6.1 | 8436.05 | 401.72 | 280.5 | 600 | 599.11 | 0.333 |
| ssolve-A | 14.37 | 0.68 | 0.57 | 0.55 | 0.92 | 1 |
| ssolveB | 14.8 | 0.7 | 0.59 | 0.57 | 0.93 | 1 |
| ssolveC | 12.16 | 0.58 | 0.48 | 0.46 | 0.76 | 1 |