QBF Solver Evaluation Portal
qbflib.orgSuite Pan results for solvers
QBFEVAL'07
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| Adaptive2clsQ | 16742.89 | 257.58 | 292.05 | 16.62 | 599.92 | 0.585 |
| aigqbf_s | 4011.47 | 61.71 | 128.98 | 17.39 | 38.99 | 0.723 |
| aigqbf_sr | 9373.05 | 144.2 | 190.66 | 49.31 | 189.86 | 0.723 |
| AQME-1NN | 344.96 | 5.31 | 24.24 | 0.67 | 1.34 | 1 |
| AQME-C4.5 | 350.17 | 5.39 | 24.3 | 0.73 | 1.35 | 1 |
| AQME-RIPPER | 353.21 | 5.43 | 24.25 | 0.78 | 1.32 | 1 |
| EBDDRES | 870.41 | 13.39 | 22.22 | 1.65 | 23.5 | 0.631 |
| ncQuBE1.0 | 16408.89 | 252.44 | 169.59 | 281.93 | 244.01 | 0.323 |
| ncQuBE1.1 | 28441.06 | 437.55 | 251.7 | 600 | 437.45 | 0.246 |
| preQuel_sKizzo-0.10 | 429.93 | 6.61 | 22.22 | 0.5 | 1.44 | 1 |
| qSS | 4428.47 | 68.13 | 143.3 | 9.57 | 22.65 | 0.954 |
| QUANTOR_2.15 | 2243.23 | 34.51 | 124.76 | 0.42 | 11.09 | 0.631 |
| qZilla | 4721.39 | 72.64 | 154.54 | 12.37 | 54.83 | 0.938 |
| sKizzo-0.10-qck | 315.89 | 4.86 | 11.67 | 0.7 | 2.79 | 1 |
| sKizzo-0.10-std | 747.02 | 11.49 | 28.57 | 0.69 | 8.41 | 1 |
| squolem | 11043.12 | 169.89 | 251.56 | 3.42 | 233.26 | 0.769 |
| yQuaffle | 39000 | 600 | 0 | 600 | 0 | 0 |