QBF Solver Evaluation Portal
qbflib.orgSuite Mneimneh-Sakallah results for solvers
QBFEVAL'07
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| Adaptive2clsQ | 2406.52 | 240.65 | 293.41 | 2.39 | 599.7 | 0.6 |
| aigqbf_s | 1524.3 | 152.43 | 228.58 | 39.51 | 89.73 | 0.8 |
| aigqbf_sr | 1848.49 | 184.85 | 236.64 | 29.73 | 207.69 | 0.8 |
| AQME-1NN | 18.32 | 1.83 | 1.78 | 0.79 | 0.79 | 1 |
| AQME-C4.5 | 18.94 | 1.89 | 1.79 | 0.84 | 0.84 | 1 |
| AQME-RIPPER | 19.32 | 1.93 | 1.79 | 0.87 | 0.83 | 1 |
| EBDDRES | 194.93 | 19.49 | 9.53 | 23.86 | 23.41 | 0.2 |
| ncQuBE1.0 | 7.58 | 0.76 | 1.07 | 0.25 | 0.37 | 0.9 |
| ncQuBE1.1 | 8.78 | 0.88 | 1.26 | 0.24 | 0.35 | 1 |
| preQuel_sKizzo-0.10 | 1856.2 | 185.62 | 271.47 | 13.36 | 28.49 | 0.7 |
| qSS | 164.37 | 16.44 | 27.43 | 2.18 | 17.29 | 1 |
| QUANTOR_2.15 | 776.93 | 77.69 | 131.26 | 2.8 | 17.78 | 1 |
| qZilla | 1674.97 | 167.5 | 250.95 | 2.39 | 33.22 | 0.8 |
| sKizzo-0.10-qck | 93.73 | 9.37 | 11.51 | 1.73 | 12.63 | 1 |
| sKizzo-0.10-std | 192.11 | 19.21 | 33.04 | 2.01 | 16.43 | 1 |
| squolem | 6000 | 600 | 0 | 600 | 0 | 0 |
| yQuaffle | 6000 | 600 | 0 | 600 | 0 | 0 |