QBF Solver Evaluation Portal
qbflib.orgFamily BMC results for solvers
QBFEVAL'07
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| Adaptive2clsQ | 11802.14 | 89.41 | 187.13 | 1.59 | 54.53 | 0.78 |
| aigqbf_s | 68811.93 | 521.3 | 174.12 | 600 | 0 | 0.098 |
| aigqbf_sr | 69434.77 | 526.02 | 171.93 | 600 | 0 | 0.098 |
| AQME-1NN | 13305.48 | 100.8 | 172.7 | 3.47 | 174.17 | 0.765 |
| AQME-C4.5 | 17135.32 | 129.81 | 207.97 | 8.31 | 193.13 | 0.765 |
| AQME-RIPPER | 16368.9 | 124.01 | 203.99 | 5.19 | 171.64 | 0.758 |
| EBDDRES | 5437.01 | 41.19 | 31.1 | 31.38 | 12.26 | 0 |
| ncQuBE1.0 | 37131.51 | 281.3 | 280.38 | 141.99 | 594.63 | 0.447 |
| ncQuBE1.1 | 37729.7 | 285.83 | 279.99 | 173.06 | 593.26 | 0.432 |
| preQuel_sKizzo-0.10 | 34619.91 | 262.27 | 284.64 | 39.93 | 597.61 | 0.402 |
| qSS | 20549.44 | 155.68 | 220.71 | 24.68 | 276.92 | 0.652 |
| QUANTOR_2.15 | 5119.91 | 38.79 | 128.68 | 1.75 | 11.64 | 0.811 |
| qZilla | 11932.35 | 90.4 | 187.64 | 1.56 | 54.98 | 0.773 |
| sKizzo-0.10-qck | 8471.35 | 64.18 | 152.59 | 1.77 | 29.98 | 0.795 |
| sKizzo-0.10-std | 8795.78 | 66.63 | 154.58 | 1.72 | 36.21 | 0.795 |
| squolem | 78007.11 | 590.96 | 72.86 | 600 | 0 | 0.015 |
| yQuaffle | 35402.91 | 268.2 | 284.72 | 65.96 | 598.76 | 0.561 |