QBF Solver Evaluation Portal
qbflib.orgFamily k_t4p_n results for solvers
QBFEVAL'07
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| Adaptive2clsQ | 3000.4 | 500.07 | 223.46 | 600 | 599.6 | 0.167 |
| aigqbf_s | 413.34 | 68.89 | 48.73 | 61.02 | 69.63 | 1 |
| aigqbf_sr | 709.61 | 118.27 | 73.45 | 111.17 | 115.77 | 1 |
| AQME-1NN | 13.05 | 2.18 | 2.95 | 0.91 | 0.41 | 1 |
| AQME-C4.5 | 13.47 | 2.24 | 2.96 | 0.99 | 0.43 | 1 |
| AQME-RIPPER | 14.32 | 2.39 | 3.2 | 1.02 | 0.42 | 1 |
| EBDDRES | 13.66 | 2.28 | 1.16 | 2.46 | 2.51 | 1 |
| ncQuBE1.0 | 1796.64 | 299.44 | 11.53 | 301.48 | 21.23 | 0 |
| ncQuBE1.1 | 2700.5 | 450.08 | 171.2 | 532.75 | 384.53 | 0 |
| preQuel_sKizzo-0.10 | 19.3 | 3.22 | 2.73 | 2.34 | 2.96 | 1 |
| qSS | 453.04 | 75.51 | 65.06 | 84.55 | 135.13 | 1 |
| QUANTOR_2.15 | 30.7 | 5.12 | 4.83 | 5.17 | 9.87 | 0.5 |
| qZilla | 959.54 | 159.92 | 200.5 | 85.05 | 101.37 | 0.833 |
| sKizzo-0.10-qck | 9.94 | 1.66 | 1.2 | 1.44 | 1.59 | 1 |
| sKizzo-0.10-std | 10.07 | 1.68 | 1.23 | 1.44 | 1.6 | 1 |
| squolem | 24.87 | 4.14 | 2.09 | 4.3 | 4.07 | 1 |
| yQuaffle | 3600 | 600 | 0 | 600 | 0 | 0 |