QBF Solver Evaluation Portal
qbflib.orgFamily SzymanskiP results for solvers
QBFEVAL'07
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| Adaptive2clsQ | 3258.05 | 543.01 | 127.44 | 600 | 341.95 | 0 |
| aigqbf_s | 2201.66 | 366.94 | 212.33 | 390.4 | 428.7 | 0 |
| aigqbf_sr | 2192.44 | 365.41 | 211.81 | 385.61 | 421.81 | 0 |
| AQME-1NN | 873.51 | 145.58 | 97.48 | 188.94 | 190.52 | 1 |
| AQME-C4.5 | 877.6 | 146.27 | 98.01 | 189.52 | 190.95 | 1 |
| AQME-RIPPER | 1600.42 | 266.74 | 246.67 | 189.13 | 190.57 | 0.667 |
| EBDDRES | 1521.69 | 253.61 | 140.64 | 221.81 | 175.07 | 0 |
| ncQuBE1.0 | 179.82 | 29.97 | 24.37 | 22.21 | 23.4 | 1 |
| ncQuBE1.1 | 177.69 | 29.62 | 24.29 | 21.72 | 23.04 | 1 |
| preQuel_sKizzo-0.10 | 3475.48 | 579.25 | 31.4 | 600 | 81.58 | 0 |
| qSS | 3077.64 | 512.94 | 136.5 | 600 | 363.28 | 0 |
| QUANTOR_2.15 | 68.07 | 11.35 | 1.48 | 11.26 | 2.26 | 0 |
| qZilla | 3102.78 | 517.13 | 131.69 | 600 | 352.65 | 0 |
| sKizzo-0.10-qck | 2598.14 | 433.02 | 158.11 | 459.81 | 330.3 | 0 |
| sKizzo-0.10-std | 2661.01 | 443.5 | 168.29 | 504.52 | 391.75 | 0 |
| squolem | 3600 | 600 | 0 | 600 | 0 | 0 |
| yQuaffle | 3600 | 600 | 0 | 600 | 0 | 0 |