QBF Solver Evaluation Portal
qbflib.orgFamily blackbox_design results for solvers
QBFEVAL'07
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| Adaptive2clsQ | 16800 | 600 | 0 | 600 | 0 | 0 |
| aigqbf_s | 16800 | 600 | 0 | 600 | 0 | 0 |
| aigqbf_sr | 12393.44 | 442.62 | 249.05 | 600 | 529.41 | 0.286 |
| AQME-1NN | 38.84 | 1.39 | 0.62 | 1.39 | 0.55 | 1 |
| AQME-C4.5 | 40.61 | 1.45 | 0.6 | 1.45 | 0.53 | 1 |
| AQME-RIPPER | 141.85 | 5.07 | 18.65 | 1.49 | 0.55 | 1 |
| EBDDRES | 782.08 | 27.93 | 1.5 | 27.89 | 1.09 | 0 |
| ncQuBE1.0 | 18.7 | 0.67 | 0.76 | 0.49 | 0.36 | 1 |
| ncQuBE1.1 | 17.6 | 0.63 | 0.69 | 0.47 | 0.34 | 1 |
| preQuel_sKizzo-0.10 | 16249.46 | 580.34 | 102.17 | 600 | 0 | 0.036 |
| qSS | 16753.33 | 598.33 | 8.66 | 600 | 0 | 0 |
| QUANTOR_2.15 | 406.88 | 14.53 | 10.19 | 12.48 | 0.82 | 0 |
| qZilla | 16710.2 | 596.79 | 16.67 | 600 | 0 | 0 |
| sKizzo-0.10-qck | 12970.93 | 463.25 | 215.67 | 600 | 367.35 | 0 |
| sKizzo-0.10-std | 15335.92 | 547.71 | 104.28 | 600 | 0 | 0 |
| squolem | 16800 | 600 | 0 | 600 | 0 | 0 |
| yQuaffle | 16800 | 600 | 0 | 600 | 0 | 0 |