QBF Solver Evaluation Portal
qbflib.orgFamily evader-pursuer-4x4-logarithmic results for solvers
QBFEVAL'08
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| AQME-1NN | 21.31 | 3.04 | 0.17 | 3.02 | 0.32 | 1 |
| Nenofex | 851.07 | 121.58 | 195.54 | 39.02 | 22.11 | 0 |
| quantor3.0 | 2485.47 | 355.07 | 145.04 | 404.65 | 373.52 | 0.143 |
| QuBE6.1 | 1849.42 | 264.2 | 290.73 | 37.45 | 598.18 | 0.714 |
| ssolve-A | 176.19 | 25.17 | 25.27 | 15.17 | 27.32 | 1 |
| ssolveB | 319.96 | 45.71 | 47.18 | 26.45 | 50.4 | 1 |
| ssolveC | 426.8 | 60.97 | 63.41 | 35.51 | 71.58 | 1 |