QBF Solver Evaluation Portal
qbflib.orgSuite Palacios results for solvers
QBFEVAL'16 - Prenex CNF Track.
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| AIGSolve | 2713.26 | 271.33 | 252.55 | 263.29 | 384.46 | 0.6 |
| aqua-f3v | 2487.24 | 248.72 | 287.18 | 42.56 | 599.8 | 0.6 |
| aqua-s2v | 2950.3 | 295.03 | 279.56 | 255.53 | 599.79 | 0.6 |
| aqua-s3o | 2853.85 | 285.39 | 272.5 | 198.57 | 599.7 | 0.6 |
| caqe-minisat | 5315.45 | 531.55 | 297.33 | 599.62 | 599.44 | 0.4 |
| caqe-picosat | 5401.82 | 540.18 | 300.49 | 599.69 | 599.49 | 0.3 |
| depqbf-v1 | 2443.59 | 244.36 | 285.18 | 27.02 | 592.82 | 0.6 |
| depqbf-v2 | 2408.93 | 240.89 | 287.6 | 15.36 | 592.21 | 0.6 |
| depqbf-v3 | 2427.35 | 242.74 | 291.55 | 12.94 | 599.66 | 0.6 |
| ghostq-cegar | 989.1 | 98.91 | 163.53 | 32.27 | 63.28 | 1 |
| ghostq-plain | 3280.54 | 328.05 | 264.39 | 374.16 | 598.97 | 0.6 |
| hiqqer1 | 2646.66 | 264.67 | 281.22 | 120.7 | 599.61 | 0.6 |
| hiqqer1ldsq | 497.98 | 49.8 | 59.53 | 29.81 | 67.52 | 0.5 |
| hiqqer3 | 2654.09 | 265.41 | 281.52 | 124.24 | 599.6 | 0.6 |
| iprover-QBF | 2299.02 | 229.9 | 205.97 | 247.4 | 326.03 | 0.4 |
| iprover-QBF-bloqqer | 2381.22 | 238.12 | 200.39 | 326.84 | 345.33 | 0.5 |
| qesto | 4198.99 | 419.9 | 274.71 | 599.71 | 599.65 | 0.3 |
| qestos | 360.32 | 36.03 | 49.24 | 9.85 | 50.86 | 1 |
| qsts | 4199.43 | 419.94 | 274.63 | 599.71 | 599.67 | 0.3 |
| rareqs | 482.27 | 48.23 | 81.3 | 3.39 | 25.3 | 1 |
| squeezebf+struqs | 4220.37 | 422.04 | 271.46 | 599.71 | 596.37 | 0.3 |
| struqs-10 | 4221.71 | 422.17 | 271.24 | 599.71 | 596.54 | 0.3 |
| xb-bid-qsts | 2209.38 | 220.94 | 258.33 | 64.86 | 255.63 | 0.7 |
| xb-qsts | 2179.93 | 217.99 | 260.95 | 56.01 | 259.21 | 0.7 |