QBF Solver Evaluation Portal
qbflib.orgFamily blackbox-01X-QBF results for solvers
QBFEVAL'07
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| Adaptive2clsQ | 189782.23 | 421.74 | 273.8 | 600 | 599.91 | 0.298 |
| aigqbf_s | 185014.65 | 411.14 | 259.78 | 600 | 575.25 | 0.289 |
| aigqbf_sr | 176610.76 | 392.47 | 263.66 | 600 | 575.32 | 0.342 |
| AQME-1NN | 63506.99 | 141.13 | 223.62 | 9.14 | 165.76 | 0.696 |
| AQME-C4.5 | 59027.21 | 131.17 | 217.3 | 6.57 | 150.9 | 0.691 |
| AQME-RIPPER | 67138.5 | 149.2 | 227.72 | 13.89 | 173.57 | 0.691 |
| EBDDRES | 12433.48 | 27.63 | 3.96 | 27.53 | 2.48 | 0.013 |
| ncQuBE1.0 | 100215.72 | 222.7 | 281.61 | 3.22 | 599.88 | 0.642 |
| ncQuBE1.1 | 90571.25 | 201.27 | 270.85 | 2.86 | 599.88 | 0.629 |
| preQuel_sKizzo-0.10 | 171038.81 | 380.09 | 282.18 | 600 | 599.96 | 0.376 |
| qSS | 117240.79 | 260.54 | 290.5 | 11.34 | 599.79 | 0.587 |
| QUANTOR_2.15 | 4408.08 | 9.8 | 8.63 | 12.29 | 13.27 | 0.289 |
| qZilla | 150965 | 335.48 | 290.59 | 600 | 599.91 | 0.464 |
| sKizzo-0.10-qck | 145997.37 | 324.44 | 288.03 | 569.46 | 599.92 | 0.464 |
| sKizzo-0.10-std | 151834.15 | 337.41 | 283.98 | 593.33 | 599.92 | 0.451 |
| squolem | 245300.21 | 545.11 | 170.51 | 600 | 0 | 0.096 |
| yQuaffle | 184211.25 | 409.36 | 279.33 | 600 | 599.93 | 0.316 |