QBF Solver Evaluation Portal
qbflib.orgFamily RobotsD4 results for solvers
QBFEVAL'05
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| GRL | 3492.58 | 116.42 | 122.4 | 64.07 | 148.88 | 0.8 |
| openQbf | 11684.04 | 389.47 | 378.56 | 308.48 | 898.37 | 0.667 |
| qbfbdd | 9026.56 | 300.89 | 424.31 | 1.52 | 900.84 | 0.667 |
| QbflHR | 10006.57 | 333.55 | 403.44 | 114.33 | 900.74 | 0.667 |
| QChaffLearn | 8502.92 | 283.43 | 374.12 | 64.66 | 445.09 | 0.733 |
| QMRes | 27009.42 | 900.31 | 0.25 | 900.28 | 0.4 | 0 |
| QUANTOR | 779.28 | 25.98 | 30.76 | 9.03 | 43.91 | 0.333 |
| semprop | 12236.28 | 407.88 | 406.13 | 200.75 | 900.59 | 0.633 |
| skizzo_v0.4 | 6005.36 | 200.18 | 236.27 | 87.33 | 324.84 | 0.333 |
| skizzo_v0.5 | 4355.12 | 145.17 | 205.57 | 40.53 | 210.74 | 0.633 |
| sSolve | 8533.11 | 284.44 | 389.07 | 37.33 | 495.14 | 0.733 |
| WalkQSAT | 2954.27 | 98.48 | 87.82 | 68.98 | 177.48 | 0 |
| yQuaffle | 7679.4 | 255.98 | 359.84 | 2.92 | 760.37 | 0.667 |