QBF Solver Evaluation Portal
qbflib.orgFamily Qshifter results for solvers
QBFEVAL'07
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| Adaptive2clsQ | 37.73 | 9.43 | 14.77 | 1.35 | 18.45 | 1 |
| aigqbf_s | 477.62 | 119.41 | 181.48 | 22.12 | 233.36 | 1 |
| aigqbf_sr | 474.12 | 118.53 | 180.14 | 21.96 | 231.63 | 1 |
| AQME-1NN | 10.27 | 2.57 | 2.8 | 1.2 | 3.93 | 1 |
| AQME-C4.5 | 10.5 | 2.63 | 2.76 | 1.29 | 3.88 | 1 |
| AQME-RIPPER | 10.68 | 2.67 | 2.81 | 1.3 | 3.92 | 1 |
| EBDDRES | 167.41 | 41.85 | 67.05 | 4.77 | 83.15 | 1 |
| ncQuBE1.0 | 646.07 | 161.52 | 253.74 | 22.95 | 320.39 | 0.75 |
| ncQuBE1.1 | 646.1 | 161.52 | 253.74 | 22.96 | 320.41 | 0.75 |
| preQuel_sKizzo-0.10 | 7.58 | 1.89 | 2.68 | 0.52 | 3.6 | 1 |
| qSS | 6.52 | 1.63 | 2.19 | 0.54 | 3.01 | 1 |
| QUANTOR_2.15 | 24.39 | 6.1 | 9 | 1.37 | 11.87 | 1 |
| qZilla | 22.45 | 5.61 | 8.18 | 1.34 | 10.84 | 1 |
| sKizzo-0.10-qck | 6.43 | 1.61 | 2.32 | 0.41 | 3.08 | 1 |
| sKizzo-0.10-std | 6.37 | 1.59 | 2.29 | 0.4 | 3.04 | 1 |
| squolem | 1213.3 | 303.32 | 290.41 | 306.48 | 580.48 | 0.75 |
| yQuaffle | 2400 | 600 | 0 | 600 | 0 | 0 |