QBF Solver Evaluation Portal
qbflib.orgFamily C6288 results for solvers
QBFEVAL'08
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| AQME-1NN | 3371.77 | 421.47 | 136.87 | 494.41 | 130.64 | 0.25 |
| Nenofex | 2026.05 | 253.26 | 119.93 | 220.69 | 176.5 | 0 |
| quantor3.0 | 265.6 | 33.2 | 2.84 | 31.85 | 3.9 | 0 |
| QuBE6.1 | 4200.28 | 525.04 | 198.34 | 600 | 0 | 0.125 |
| ssolve-A | 3606.53 | 450.82 | 258.4 | 600 | 297.05 | 0.25 |
| ssolveB | 3614.91 | 451.86 | 256.6 | 600 | 293 | 0.25 |
| ssolveC | 3609.17 | 451.15 | 257.83 | 600 | 295.69 | 0.25 |