QBF Solver Evaluation Portal
qbflib.orgFamily evader-pursuer-8x8-logarithmic results for solvers
QBFEVAL'08
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| AQME-1NN | 2418.1 | 302.26 | 297.74 | 302.91 | 595.58 | 0.5 |
| Nenofex | 359.84 | 44.98 | 8.85 | 46.58 | 11.98 | 0 |
| quantor3.0 | 4559.07 | 569.88 | 79.68 | 600 | 0 | 0 |
| QuBE6.1 | 3201.85 | 400.23 | 258.69 | 600 | 516.5 | 0.375 |
| ssolve-A | 2772.24 | 346.53 | 266.22 | 442.96 | 557.22 | 0.5 |
| ssolveB | 3067.28 | 383.41 | 259.62 | 552.59 | 519.37 | 0.5 |
| ssolveC | 3604.25 | 450.53 | 258.89 | 600 | 298.23 | 0.25 |