QBF Solver Evaluation Portal
qbflib.orgSuite Biere results for solvers
QBFEVAL'08
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| AQME-1NN | 179056.86 | 266.06 | 273.44 | 71.12 | 559.37 | 0.551 |
| Nenofex | 320398.18 | 476.07 | 211.97 | 600 | 146.18 | 0.146 |
| quantor3.0 | 28762.63 | 42.74 | 65.62 | 34.37 | 14.46 | 0.16 |
| QuBE6.1 | 179960.67 | 267.4 | 286.51 | 52.58 | 599.67 | 0.579 |
| ssolve-A | 319920.15 | 475.36 | 240.62 | 600 | 0 | 0.218 |
| ssolveB | 320685.66 | 476.5 | 239.95 | 600 | 0 | 0.214 |
| ssolveC | 315867.71 | 469.34 | 244.47 | 600 | 0 | 0.224 |