QBF Solver Evaluation Portal
qbflib.orgSuite Rintanen results for solvers
QBFEVAL'07
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| Adaptive2clsQ | 14333.25 | 227.51 | 266.87 | 66.29 | 593.28 | 0.667 |
| aigqbf_s | 25212.45 | 400.2 | 216.99 | 503.6 | 443.84 | 0.048 |
| aigqbf_sr | 36487.19 | 579.16 | 102.07 | 600 | 0 | 0.032 |
| AQME-1NN | 7469.63 | 118.57 | 188.04 | 7.18 | 213.27 | 0.889 |
| AQME-C4.5 | 7824.83 | 124.2 | 196.6 | 7.27 | 213.37 | 0.873 |
| AQME-RIPPER | 7836.79 | 124.39 | 189.8 | 10.34 | 213.99 | 0.889 |
| EBDDRES | 1895.43 | 30.09 | 3.86 | 31.03 | 4.12 | 0 |
| ncQuBE1.0 | 24365.02 | 386.75 | 271.22 | 600 | 581.76 | 0.413 |
| ncQuBE1.1 | 25266.16 | 401.05 | 273.12 | 600 | 589.49 | 0.365 |
| preQuel_sKizzo-0.10 | 19026.05 | 302 | 280.26 | 113.6 | 581.31 | 0.492 |
| qSS | 16485.79 | 261.68 | 266.92 | 142.79 | 594.35 | 0.571 |
| QUANTOR_2.15 | 2194.54 | 34.83 | 74.22 | 27.73 | 34.44 | 0.571 |
| qZilla | 11121.88 | 176.54 | 239.27 | 34.25 | 286.06 | 0.81 |
| sKizzo-0.10-qck | 18170.65 | 288.42 | 283.75 | 110.01 | 594.62 | 0.524 |
| sKizzo-0.10-std | 18852.14 | 299.24 | 274.75 | 114.29 | 580.34 | 0.508 |
| squolem | 37800 | 600 | 0 | 600 | 0 | 0 |
| yQuaffle | 26830.3 | 425.88 | 266.2 | 600 | 583.6 | 0.302 |