QBF Solver Evaluation Portal
qbflib.orgFamily irqlkeapclte results for solvers
QBFEVAL'08
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| AQME-1NN | 21423.72 | 465.73 | 70.08 | 480.18 | 14.28 | 0.022 |
| Nenofex | 10312.62 | 224.19 | 42.91 | 225.88 | 63.36 | 0 |
| quantor3.0 | 2075.93 | 45.13 | 10.23 | 43.53 | 13.13 | 0.022 |
| QuBE6.1 | 27026.31 | 587.53 | 83.66 | 600 | 0 | 0.022 |
| ssolve-A | 27022.73 | 587.45 | 84.18 | 600 | 0 | 0.022 |
| ssolveB | 27026.67 | 587.54 | 83.61 | 600 | 0 | 0.022 |
| ssolveC | 27003.84 | 587.04 | 86.94 | 600 | 0 | 0.022 |