QBF Solver Evaluation Portal
qbflib.orgFamily BMC results for solvers
QBFEVAL'16 - Prenex CNF Track.
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| AIGSolve | 1949.4 | 194.94 | 267.25 | 9.83 | 120 | 0.7 |
| aqua-f3v | 3176.67 | 317.67 | 283.53 | 352.01 | 599.11 | 0.5 |
| aqua-s2v | 3078.71 | 307.87 | 274.82 | 302.05 | 598.98 | 0.5 |
| aqua-s3o | 3198.61 | 319.86 | 281.38 | 351.98 | 599.12 | 0.5 |
| caqe-minisat | 4227.22 | 422.72 | 270.39 | 599.68 | 595.57 | 0.3 |
| caqe-picosat | 4217.8 | 421.78 | 271.83 | 599.7 | 595.39 | 0.3 |
| depqbf-v1 | 2495.63 | 249.56 | 280.15 | 50.07 | 587.84 | 0.6 |
| depqbf-v2 | 2646.8 | 264.68 | 269.19 | 89.33 | 579.31 | 0.6 |
| depqbf-v3 | 2832.89 | 283.29 | 263.27 | 150.35 | 597.11 | 0.6 |
| ghostq-cegar | 3680.9 | 368.09 | 283.94 | 599.06 | 597.69 | 0.4 |
| ghostq-plain | 4105.4 | 410.54 | 249.89 | 598.96 | 594.72 | 0.4 |
| hiqqer1 | 2412.01 | 241.2 | 262.94 | 107.63 | 389.66 | 0.7 |
| hiqqer1ldsq | 2413.86 | 241.39 | 262.84 | 109.22 | 388.44 | 0.7 |
| hiqqer3 | 2833 | 283.3 | 284.36 | 212.98 | 599.31 | 0.6 |
| iprover-QBF | 2291.03 | 229.1 | 249.84 | 79.95 | 224.51 | 0.4 |
| iprover-QBF-bloqqer | 3675.26 | 367.53 | 275.68 | 576.84 | 581.96 | 0.5 |
| qesto | 3023.55 | 302.36 | 297.2 | 306.14 | 598.91 | 0.5 |
| qestos | 1459.9 | 145.99 | 231.44 | 22.41 | 44.85 | 0.8 |
| qsts | 639.67 | 63.97 | 178.13 | 1.73 | 2.66 | 0.9 |
| rareqs | 1257.47 | 125.75 | 237.04 | 7.6 | 13.08 | 0.8 |
| squeezebf+struqs | 5997.31 | 599.73 | 0.04 | 599.71 | 0 | 0 |
| struqs-10 | 5997.52 | 599.75 | 0.05 | 599.72 | 0.1 | 0 |
| xb-bid-qsts | 3348.36 | 334.84 | 270.28 | 382.21 | 598.29 | 0.5 |
| xb-qsts | 4363.67 | 436.37 | 253 | 599.66 | 598.34 | 0.3 |