QBF Solver Evaluation Portal
qbflib.orgFamily evader-pursuer-4x4-logarithmic results for solvers
QBFEVAL'16 - Prenex CNF Track.
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| AIGSolve | 3694.59 | 527.8 | 113.98 | 599.85 | 256.19 | 0.143 |
| aqua-f3v | 754.54 | 107.79 | 205.19 | 3.95 | 21.14 | 0.857 |
| aqua-s2v | 732.59 | 104.66 | 204.89 | 3.99 | 24.17 | 0.857 |
| aqua-s3o | 763.43 | 109.06 | 204.88 | 4.65 | 25.66 | 0.857 |
| caqe-minisat | 10.45 | 1.49 | 0.72 | 1.39 | 1.07 | 1 |
| caqe-picosat | 1999.38 | 285.63 | 275.46 | 140.72 | 598.9 | 0.571 |
| depqbf-v1 | 1.67 | 0.24 | 0.1 | 0.21 | 0.2 | 1 |
| depqbf-v2 | 695.6 | 99.37 | 181.84 | 3.01 | 38.2 | 1 |
| depqbf-v3 | 738.33 | 105.48 | 204.06 | 10.95 | 29.07 | 0.857 |
| ghostq-cegar | 170.8 | 24.4 | 33.55 | 6.94 | 6.64 | 1 |
| ghostq-plain | 61.78 | 8.83 | 8 | 5.42 | 8.06 | 1 |
| hiqqer1 | 9.87 | 1.41 | 0.84 | 1.31 | 1.48 | 1 |
| hiqqer1ldsq | 9.82 | 1.4 | 0.84 | 1.3 | 1.48 | 1 |
| hiqqer3 | 23.94 | 3.42 | 2.28 | 3.2 | 4.11 | 1 |
| iprover-QBF | 2030.73 | 290.1 | 168.42 | 351.35 | 335.25 | 0.286 |
| iprover-QBF-bloqqer | 2861.24 | 408.75 | 184.25 | 415.65 | 499.6 | 0.143 |
| qesto | 2482.34 | 354.62 | 285.23 | 599.71 | 599.27 | 0.429 |
| qestos | 2405.1 | 343.59 | 295.84 | 599.71 | 599.64 | 0.429 |
| qsts | 1615.15 | 230.74 | 90.88 | 261.7 | 265.34 | 0.143 |
| rareqs | 3.53 | 0.5 | 0.23 | 0.6 | 0.47 | 1 |
| squeezebf+struqs | 2573 | 367.57 | 270.99 | 599.71 | 597.16 | 0.429 |
| struqs-10 | 2575.52 | 367.93 | 270.66 | 599.71 | 597.23 | 0.429 |
| xb-bid-qsts | 1075.28 | 153.61 | 211.61 | 34.49 | 103.67 | 0.857 |
| xb-qsts | 1073.04 | 153.29 | 211.47 | 34.08 | 103.94 | 0.857 |