QBF Solver Evaluation Portal
qbflib.orgFamily evader-pursuer-4x4-logarithmic results for solvers
QBFEVAL'05
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| GRL | 4.31 | 0.62 | 0.27 | 0.61 | 0.54 | 1 |
| openQbf | 3045.17 | 435.02 | 413.71 | 293.38 | 898.8 | 0.571 |
| qbfbdd | 1566.88 | 223.84 | 108.25 | 213.6 | 263.44 | 1 |
| QbflHR | 2919.18 | 417.03 | 424.35 | 206.06 | 900.81 | 0.571 |
| QChaffLearn | 2.66 | 0.38 | 0.16 | 0.38 | 0.31 | 1 |
| QMRes | 6303.48 | 900.5 | 0.25 | 900.52 | 0.36 | 0 |
| QUANTOR | 1182.07 | 168.87 | 103.99 | 165.31 | 177.62 | 0.143 |
| semprop | 2952.69 | 421.81 | 420.48 | 216.48 | 900.53 | 0.571 |
| skizzo_v0.4 | 630.05 | 90.01 | 109.49 | 37.35 | 87.99 | 0.429 |
| skizzo_v0.5 | 1149.18 | 164.17 | 119.79 | 104.68 | 258.11 | 0.429 |
| sSolve | 3856.04 | 550.86 | 409.92 | 900.98 | 900.54 | 0.429 |
| WalkQSAT | 2.51 | 0.36 | 0.15 | 0.35 | 0.28 | 1 |
| yQuaffle | 3585.83 | 512.26 | 424.18 | 844.88 | 889.09 | 0.571 |