QBF Solver Evaluation Portal
qbflib.orgFamily Counter results for solvers
QBFEVAL'07
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| Adaptive2clsQ | 1202.87 | 400.96 | 281.49 | 600 | 597.13 | 0.333 |
| aigqbf_s | 1800 | 600 | 0 | 600 | 0 | 0 |
| aigqbf_sr | 1800 | 600 | 0 | 600 | 0 | 0 |
| AQME-1NN | 9.37 | 3.12 | 1.42 | 3.92 | 2.79 | 1 |
| AQME-C4.5 | 9.5 | 3.17 | 1.41 | 3.94 | 2.74 | 1 |
| AQME-RIPPER | 9.58 | 3.19 | 1.4 | 4 | 2.77 | 1 |
| EBDDRES | 86.61 | 28.87 | 0.33 | 28.64 | 0 | 0 |
| ncQuBE1.0 | 526.77 | 175.59 | 0.93 | 174.96 | 0.05 | 0 |
| ncQuBE1.1 | 1800 | 600 | 0 | 600 | 0 | 0 |
| preQuel_sKizzo-0.10 | 15.11 | 5.04 | 1.31 | 4.23 | 0.23 | 1 |
| qSS | 211.27 | 70.42 | 62.61 | 54.68 | 51.84 | 1 |
| QUANTOR_2.15 | 21.13 | 7.04 | 4.3 | 10.05 | 9.09 | 1 |
| qZilla | 157.15 | 52.38 | 35.96 | 67.1 | 64.24 | 1 |
| sKizzo-0.10-qck | 16.6 | 5.53 | 2.09 | 6.84 | 4.25 | 1 |
| sKizzo-0.10-std | 18.12 | 6.04 | 1.35 | 6.94 | 2.82 | 1 |
| squolem | 1800 | 600 | 0 | 600 | 0 | 0 |
| yQuaffle | 1800 | 600 | 0 | 600 | 0 | 0 |