QBF Solver Evaluation Portal
qbflib.orgFamily Debug results for solvers
QBFEVAL'16 - Prenex CNF Track.
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| AIGSolve | 5997.26 | 599.73 | 0.03 | 599.72 | 0.01 | 0 |
| aqua-f3v | 6000 | 600 | 0 | 600 | 0 | 0 |
| aqua-s2v | 6000 | 600 | 0 | 600 | 0 | 0 |
| aqua-s3o | 5999.82 | 599.98 | 0.05 | 600 | 0 | 0 |
| caqe-minisat | 5995.03 | 599.5 | 0.3 | 599.68 | 0.66 | 0 |
| caqe-picosat | 5995.06 | 599.51 | 0.31 | 599.69 | 0.71 | 0 |
| depqbf-v1 | 5695.79 | 569.58 | 67.38 | 592.07 | 0.7 | 0 |
| depqbf-v2 | 5776.44 | 577.64 | 45.19 | 592.77 | 0.63 | 0 |
| depqbf-v3 | 5883.21 | 588.32 | 34.3 | 599.71 | 0.1 | 0 |
| ghostq-cegar | 4265.17 | 426.52 | 195.26 | 554.88 | 394.69 | 0 |
| ghostq-plain | 4266.38 | 426.64 | 196.14 | 557.72 | 396.48 | 0 |
| hiqqer1 | 5998.51 | 599.85 | 0.07 | 599.81 | 0.01 | 0 |
| hiqqer1ldsq | 5998.82 | 599.88 | 0.22 | 599.81 | 0 | 0 |
| hiqqer3 | 5997.9 | 599.79 | 0.05 | 599.82 | 0.1 | 0 |
| iprover-QBF | 1972.72 | 197.27 | 212.32 | 62.6 | 99.24 | 0 |
| iprover-QBF-bloqqer | 5437.53 | 543.75 | 109.07 | 598.82 | 210.57 | 0 |
| qesto | 5674.17 | 567.42 | 95.7 | 599.26 | 0.71 | 0 |
| qestos | 5690.47 | 569.05 | 90.86 | 599.26 | 0.71 | 0 |
| qsts | 5736.65 | 573.67 | 54.16 | 598.47 | 77.29 | 0 |
| rareqs | 5538.22 | 553.82 | 94.96 | 599.11 | 81.19 | 0.2 |
| squeezebf+struqs | 5997.11 | 599.71 | 0 | 599.71 | 0 | 0 |
| struqs-10 | 5997.22 | 599.72 | 0.03 | 599.71 | 0 | 0 |
| xb-bid-qsts | 5994.59 | 599.46 | 0.51 | 599.71 | 0.51 | 0 |
| xb-qsts | 5994.85 | 599.49 | 0.52 | 599.71 | 0.51 | 0 |