QBF Solver Evaluation Portal
qbflib.orgFamily evader-pursuer-6x6-logarithmic results for solvers
QBFEVAL'08
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| AQME-1NN | 3030.94 | 378.87 | 285.32 | 599.59 | 585.91 | 0.375 |
| Nenofex | 843.62 | 105.45 | 187.53 | 32.29 | 30.18 | 0 |
| quantor3.0 | 4587.85 | 573.48 | 57.17 | 600 | 19 | 0 |
| QuBE6.1 | 2989.11 | 373.64 | 268.43 | 551.79 | 561.29 | 0.5 |
| ssolve-A | 2559.38 | 319.92 | 258.97 | 337.31 | 557.79 | 0.625 |
| ssolveB | 2924.44 | 365.56 | 254.33 | 478.79 | 516.75 | 0.5 |
| ssolveC | 3399.87 | 424.98 | 242.38 | 600 | 400.22 | 0.375 |