QBF Solver Evaluation Portal
qbflib.orgFamily s298 results for solvers
QBFEVAL'08
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| AQME-1NN | 9032.58 | 376.36 | 288.55 | 599.85 | 595.63 | 0.375 |
| Nenofex | 12612.78 | 525.53 | 131.33 | 600 | 113.41 | 0.042 |
| quantor3.0 | 12270.23 | 511.26 | 203.39 | 600 | 0 | 0.167 |
| QuBE6.1 | 9015.36 | 375.64 | 289.65 | 600 | 597.67 | 0.375 |
| ssolve-A | 14400 | 600 | 0 | 600 | 0 | 0 |
| ssolveB | 14400 | 600 | 0 | 600 | 0 | 0 |
| ssolveC | 14400 | 600 | 0 | 600 | 0 | 0 |