QBF Solver Evaluation Portal
qbflib.orgFamily circuits results for solvers
QBFEVAL'16 - Prenex CNF Track.
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| AIGSolve | 4222.24 | 422.22 | 271.3 | 599.75 | 591.43 | 0.3 |
| aqua-f3v | 5399.14 | 539.91 | 179.97 | 599.88 | 0.17 | 0.1 |
| aqua-s2v | 5398.78 | 539.88 | 179.96 | 599.83 | 0.2 | 0.1 |
| aqua-s3o | 5398.93 | 539.89 | 179.93 | 599.83 | 0.05 | 0.1 |
| caqe-minisat | 5397.57 | 539.76 | 179.91 | 599.72 | 0.05 | 0.1 |
| caqe-picosat | 5397.93 | 539.79 | 179.92 | 599.78 | 0.11 | 0.1 |
| depqbf-v1 | 5334.5 | 533.45 | 177.78 | 592.47 | 0.4 | 0.1 |
| depqbf-v2 | 5338.2 | 533.82 | 177.9 | 593.37 | 1.3 | 0.1 |
| depqbf-v3 | 5397.62 | 539.76 | 179.91 | 599.71 | 0 | 0.1 |
| ghostq-cegar | 5101.13 | 510.11 | 191.78 | 599.86 | 297.78 | 0.2 |
| ghostq-plain | 5398 | 539.8 | 179.9 | 599.76 | 0.1 | 0.1 |
| hiqqer1 | 5398.07 | 539.81 | 179.91 | 599.81 | 0.1 | 0.1 |
| hiqqer1ldsq | 5219.16 | 521.92 | 181.96 | 599.81 | 179.1 | 0.1 |
| hiqqer3 | 5398.03 | 539.8 | 179.89 | 599.76 | 0.1 | 0.1 |
| iprover-QBF | 2524.75 | 252.48 | 222.22 | 176.2 | 332.27 | 0.4 |
| iprover-QBF-bloqqer | 2916.91 | 291.69 | 184.36 | 298.22 | 212.43 | 0.4 |
| qesto | 5397.4 | 539.74 | 179.91 | 599.71 | 0 | 0.1 |
| qestos | 4613.08 | 461.31 | 224.21 | 599.71 | 508.21 | 0.3 |
| qsts | 4799.83 | 479.98 | 177.23 | 569.53 | 189.2 | 0.1 |
| rareqs | 4749.98 | 475 | 229.8 | 599.71 | 562.84 | 0.3 |
| squeezebf+struqs | 5397.67 | 539.77 | 179.86 | 599.71 | 0 | 0.1 |
| struqs-10 | 5397.78 | 539.78 | 179.87 | 599.71 | 0 | 0.1 |
| xb-bid-qsts | 3550.05 | 355.01 | 271.53 | 520.8 | 567.83 | 0.5 |
| xb-qsts | 5397.34 | 539.73 | 179.9 | 599.71 | 0.09 | 0.1 |