QBF Solver Evaluation Portal
qbflib.orgFamily k_d4_n results for solvers
QBFEVAL'08
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| AQME-1NN | 268.72 | 12.8 | 15.44 | 11.43 | 17.25 | 1 |
| Nenofex | 4363.88 | 207.8 | 192.41 | 169.09 | 224.27 | 0.286 |
| quantor3.0 | 481.12 | 22.91 | 11.54 | 26.94 | 2.47 | 0.238 |
| QuBE6.1 | 9869.24 | 469.96 | 237.97 | 600 | 170.21 | 0.238 |
| ssolve-A | 5704.88 | 271.66 | 271.72 | 100.69 | 590.38 | 0.619 |
| ssolveB | 5768.18 | 274.68 | 271.45 | 107.02 | 589.58 | 0.619 |
| ssolveC | 5819.77 | 277.13 | 280.96 | 81.71 | 591 | 0.619 |