QBF Solver Evaluation Portal
qbflib.orgFamily k_t4p_p results for solvers
QBFEVAL'07
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| Adaptive2clsQ | 1806.08 | 301.01 | 298.99 | 301.83 | 599.88 | 0.5 |
| aigqbf_s | 125.07 | 20.84 | 12.17 | 19.72 | 18.99 | 1 |
| aigqbf_sr | 273.17 | 45.53 | 23.31 | 45.56 | 41.67 | 1 |
| AQME-1NN | 3.92 | 0.65 | 0.11 | 0.63 | 0.1 | 1 |
| AQME-C4.5 | 4.32 | 0.72 | 0.11 | 0.69 | 0.08 | 1 |
| AQME-RIPPER | 4.61 | 0.77 | 0.11 | 0.74 | 0.07 | 1 |
| EBDDRES | 6.61 | 1.1 | 0.53 | 1.17 | 1.15 | 1 |
| ncQuBE1.0 | 1779.31 | 296.55 | 129.99 | 327.43 | 310.92 | 0.167 |
| ncQuBE1.1 | 3082.78 | 513.8 | 180.93 | 598.16 | 490.36 | 0.167 |
| preQuel_sKizzo-0.10 | 3.54 | 0.59 | 0.38 | 0.53 | 0.61 | 1 |
| qSS | 31.21 | 5.2 | 10.27 | 0.26 | 0.2 | 1 |
| QUANTOR_2.15 | 38.76 | 6.46 | 6.37 | 6.3 | 12.41 | 0.5 |
| qZilla | 226.28 | 37.71 | 44.83 | 21.17 | 38.52 | 1 |
| sKizzo-0.10-qck | 1.44 | 0.24 | 0.16 | 0.19 | 0.18 | 1 |
| sKizzo-0.10-std | 1.46 | 0.24 | 0.16 | 0.19 | 0.18 | 1 |
| squolem | 13.63 | 2.27 | 1.07 | 2.35 | 2.06 | 1 |
| yQuaffle | 3600 | 600 | 0 | 600 | 0 | 0 |