QBF Solver Evaluation Portal
qbflib.orgFamily tipfixpoint results for solvers
QBFEVAL'07
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| Adaptive2clsQ | 97606.23 | 497.99 | 222.69 | 600 | 0 | 0.173 |
| aigqbf_s | 106031.51 | 540.98 | 162.48 | 600 | 0 | 0.128 |
| aigqbf_sr | 104576.53 | 533.55 | 168.2 | 600 | 0 | 0.153 |
| AQME-1NN | 75111.48 | 383.22 | 265.69 | 600 | 539.83 | 0.357 |
| AQME-C4.5 | 72963.57 | 372.26 | 270.91 | 600 | 586.77 | 0.367 |
| AQME-RIPPER | 69757.41 | 355.91 | 264.17 | 600 | 581.89 | 0.362 |
| EBDDRES | 5484.61 | 27.98 | 3.44 | 28.49 | 4.53 | 0 |
| ncQuBE1.0 | 56740.87 | 289.49 | 284.52 | 153.11 | 598.98 | 0.556 |
| ncQuBE1.1 | 56085.42 | 286.15 | 284.33 | 144.05 | 599.06 | 0.561 |
| preQuel_sKizzo-0.10 | 96449.4 | 492.09 | 226.23 | 600 | 0 | 0.168 |
| qSS | 105320.59 | 537.35 | 174.49 | 600 | 0 | 0.122 |
| QUANTOR_2.15 | 3463.81 | 17.67 | 21.27 | 14.6 | 3.42 | 0.046 |
| qZilla | 98049.39 | 500.25 | 220.1 | 600 | 0 | 0.168 |
| sKizzo-0.10-qck | 101375.8 | 517.22 | 194.7 | 600 | 0 | 0.133 |
| sKizzo-0.10-std | 101510.42 | 517.91 | 197.05 | 600 | 0 | 0.138 |
| squolem | 114631.63 | 584.86 | 89.48 | 600 | 0 | 0.036 |
| yQuaffle | 96611.1 | 492.91 | 229.67 | 600 | 0 | 0.179 |