QBF Solver Evaluation Portal
qbflib.orgFamily blackbox-01X-QBF results for solvers
QBFEVAL'16 - Prenex CNF Track.
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| AIGSolve | 3665.79 | 366.58 | 286.19 | 599.73 | 599.74 | 0.4 |
| aqua-f3v | 1243.17 | 124.32 | 237.98 | 1.39 | 5.4 | 0.8 |
| aqua-s2v | 1807.13 | 180.71 | 274.38 | 1.76 | 3.69 | 0.7 |
| aqua-s3o | 1221.6 | 122.16 | 238.88 | 1.27 | 3.94 | 0.8 |
| caqe-minisat | 4199.41 | 419.94 | 274.6 | 599.7 | 599.6 | 0.3 |
| caqe-picosat | 1972.29 | 197.23 | 265.29 | 27.66 | 108.55 | 0.7 |
| depqbf-v1 | 1502.21 | 150.22 | 231.44 | 13.32 | 48.65 | 0.8 |
| depqbf-v2 | 1780.25 | 178.03 | 252.58 | 19.52 | 45.99 | 0.9 |
| depqbf-v3 | 1892.15 | 189.22 | 269.22 | 19.23 | 50.01 | 0.7 |
| ghostq-cegar | 3602.1 | 360.21 | 293.45 | 599.76 | 599.52 | 0.4 |
| ghostq-plain | 3076.3 | 307.63 | 292.95 | 336.8 | 599.52 | 0.5 |
| hiqqer1 | 2668.84 | 266.88 | 277.42 | 133.29 | 599.67 | 0.6 |
| hiqqer1ldsq | 2391.42 | 239.14 | 255.9 | 132.51 | 323.98 | 0.6 |
| hiqqer3 | 2691.45 | 269.15 | 275.9 | 142.48 | 599.77 | 0.6 |
| iprover-QBF | 1939.07 | 193.91 | 196.86 | 147.78 | 296.14 | 0.6 |
| iprover-QBF-bloqqer | 1353.03 | 135.3 | 173.8 | 34.86 | 100.64 | 0.4 |
| qesto | 3286.12 | 328.61 | 277.28 | 405.71 | 599.7 | 0.5 |
| qestos | 885.94 | 88.59 | 186.95 | 0.83 | 2.77 | 0.9 |
| qsts | 2401.66 | 240.17 | 293.57 | 0.92 | 599.7 | 0.6 |
| rareqs | 10.38 | 1.04 | 1.04 | 0.73 | 1.49 | 1 |
| squeezebf+struqs | 3995.89 | 399.59 | 263.25 | 599.71 | 599.7 | 0.3 |
| struqs-10 | 4035.85 | 403.59 | 262.6 | 599.71 | 599.64 | 0.4 |
| xb-bid-qsts | 761.32 | 76.13 | 133.57 | 21.26 | 58.69 | 1 |
| xb-qsts | 714.74 | 71.47 | 122.97 | 20.6 | 56.52 | 1 |