QBF Solver Evaluation Portal
qbflib.orgFamily VonNeumann results for solvers
QBFEVAL'08
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| AQME-1NN | 322.77 | 32.28 | 47.38 | 16.47 | 19.07 | 0.9 |
| Nenofex | 25.86 | 2.59 | 2.63 | 1.64 | 2.5 | 1 |
| quantor3.0 | 12.3 | 1.23 | 1.25 | 0.79 | 1.22 | 1 |
| QuBE6.1 | 111.7 | 11.17 | 16.24 | 3.99 | 8.06 | 1 |
| ssolve-A | 156.22 | 15.62 | 16.68 | 9.34 | 14.9 | 1 |
| ssolveB | 166.83 | 16.68 | 17.84 | 9.98 | 15.92 | 1 |
| ssolveC | 148.43 | 14.84 | 15.87 | 8.87 | 14.05 | 1 |