QBF Solver Evaluation Portal
qbflib.orgFamily term1 results for solvers
QBFEVAL'16 - Prenex CNF Track.
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| AIGSolve | 1.16 | 0.15 | 0.06 | 0.12 | 0.08 | 1 |
| aqua-f3v | 36.58 | 4.57 | 9.5 | 0.28 | 3.13 | 1 |
| aqua-s2v | 37.95 | 4.74 | 9.95 | 0.26 | 3.16 | 1 |
| aqua-s3o | 31 | 3.88 | 8.03 | 0.29 | 2.57 | 1 |
| caqe-minisat | 191.59 | 23.95 | 48.73 | 0.37 | 20.73 | 1 |
| caqe-picosat | 184.32 | 23.04 | 47.08 | 0.38 | 19.45 | 1 |
| depqbf-v1 | 16.04 | 2.01 | 3.4 | 0.46 | 2.04 | 1 |
| depqbf-v2 | 9.39 | 1.17 | 1.17 | 0.56 | 0.91 | 1 |
| depqbf-v3 | 12.77 | 1.6 | 2.79 | 0.28 | 1.15 | 1 |
| ghostq-cegar | 10.08 | 1.26 | 2.47 | 0.3 | 0.11 | 1 |
| ghostq-plain | 4.89 | 0.61 | 0.56 | 0.3 | 0.51 | 1 |
| hiqqer1 | 5.25 | 0.66 | 0.97 | 0.19 | 0.57 | 1 |
| hiqqer1ldsq | 13.32 | 1.67 | 3.68 | 0.17 | 0.49 | 1 |
| hiqqer3 | 5.6 | 0.7 | 0.94 | 0.29 | 0.67 | 1 |
| iprover-QBF | 1255.22 | 156.9 | 255.43 | 11.2 | 304.05 | 0.75 |
| iprover-QBF-bloqqer | 711.69 | 88.96 | 192.44 | 3.57 | 48.94 | 0.875 |
| qesto | 408.88 | 51.11 | 89.36 | 0.08 | 88.83 | 1 |
| qestos | 488.55 | 61.07 | 158.55 | 0.09 | 3.78 | 1 |
| qsts | 605.03 | 75.63 | 198.09 | 0.22 | 2.36 | 0.875 |
| rareqs | 234.84 | 29.36 | 76.4 | 0.07 | 1.49 | 1 |
| squeezebf+struqs | 1205.91 | 150.74 | 193.94 | 78.14 | 215.24 | 0.875 |
| struqs-10 | 1208.2 | 151.03 | 194.13 | 78.23 | 216.43 | 0.875 |
| xb-bid-qsts | 5.85 | 0.73 | 0.67 | 0.42 | 0.43 | 1 |
| xb-qsts | 5.68 | 0.71 | 0.73 | 0.41 | 0.29 | 1 |