QBF Solver Evaluation Portal
qbflib.orgFamily Blocks results for solvers
QBFEVAL'07
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| Adaptive2clsQ | 87.37 | 14.56 | 8.24 | 16.53 | 17.03 | 1 |
| aigqbf_s | 1381.8 | 230.3 | 166.6 | 160.56 | 37.19 | 0 |
| aigqbf_sr | 3600 | 600 | 0 | 600 | 0 | 0 |
| AQME-1NN | 32.58 | 5.43 | 3.03 | 4.96 | 4.61 | 1 |
| AQME-C4.5 | 32.98 | 5.5 | 3.03 | 5.01 | 4.56 | 1 |
| AQME-RIPPER | 33.25 | 5.54 | 3.02 | 5.05 | 4.56 | 1 |
| EBDDRES | 180.22 | 30.04 | 0.79 | 30.06 | 1.66 | 0 |
| ncQuBE1.0 | 3527.97 | 587.99 | 26.84 | 600 | 72.03 | 0.167 |
| ncQuBE1.1 | 3600 | 600 | 0 | 600 | 0 | 0 |
| preQuel_sKizzo-0.10 | 62.58 | 10.43 | 5.05 | 11.66 | 13.01 | 1 |
| qSS | 627.12 | 104.52 | 221.67 | 4.31 | 7.61 | 0.833 |
| QUANTOR_2.15 | 117.88 | 19.65 | 9.31 | 22.72 | 23.43 | 1 |
| qZilla | 635.65 | 105.94 | 205.47 | 19.31 | 23.15 | 1 |
| sKizzo-0.10-qck | 20.77 | 3.46 | 1.56 | 4.22 | 4.14 | 1 |
| sKizzo-0.10-std | 62.33 | 10.39 | 4.81 | 11.61 | 12.18 | 1 |
| squolem | 3600 | 600 | 0 | 600 | 0 | 0 |
| yQuaffle | 1578.62 | 263.1 | 243.11 | 144.42 | 161.74 | 0.667 |