QBF Solver Evaluation Portal
qbflib.orgFamily C5315 results for solvers
QBFEVAL'16 - Prenex CNF Track.
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| AIGSolve | 2404.22 | 300.53 | 299.26 | 300.6 | 598.55 | 0.5 |
| aqua-f3v | 3045.69 | 380.71 | 283.18 | 599.77 | 576.81 | 0.375 |
| aqua-s2v | 3022.51 | 377.81 | 286.71 | 599.77 | 588.39 | 0.375 |
| aqua-s3o | 3019.69 | 377.46 | 287.11 | 599.73 | 589.7 | 0.375 |
| caqe-minisat | 3011.02 | 376.38 | 288.33 | 599.7 | 594.75 | 0.375 |
| caqe-picosat | 3010.21 | 376.28 | 288.71 | 599.85 | 595.85 | 0.375 |
| depqbf-v1 | 2976.17 | 372.02 | 285.29 | 592.67 | 588.03 | 0.375 |
| depqbf-v2 | 2392.74 | 299.09 | 294.35 | 299.47 | 588.86 | 0.5 |
| depqbf-v3 | 2412.53 | 301.57 | 298.14 | 301.97 | 596.46 | 0.5 |
| ghostq-cegar | 1825.84 | 228.23 | 287.88 | 10.77 | 598.17 | 0.625 |
| ghostq-plain | 1809.77 | 226.22 | 289.56 | 2.41 | 598.39 | 0.625 |
| hiqqer1 | 3004.31 | 375.54 | 289.48 | 599.71 | 597.95 | 0.375 |
| hiqqer1ldsq | 3004.24 | 375.53 | 289.49 | 599.71 | 597.98 | 0.375 |
| hiqqer3 | 3005.6 | 375.7 | 289.25 | 599.71 | 597.41 | 0.375 |
| iprover-QBF | 2517.08 | 314.64 | 284.65 | 321.81 | 572.15 | 0.5 |
| iprover-QBF-bloqqer | 3067.89 | 383.49 | 278.5 | 599.17 | 573.95 | 0.375 |
| qesto | 3061.78 | 382.72 | 280.41 | 599.71 | 568.56 | 0.375 |
| qestos | 2324.33 | 290.54 | 287.58 | 258.91 | 596.47 | 0.5 |
| qsts | 2400.14 | 300.02 | 299.7 | 300.24 | 599.52 | 0.5 |
| rareqs | 2410.53 | 301.32 | 298.4 | 302.68 | 596.87 | 0.5 |
| squeezebf+struqs | 4222.25 | 527.78 | 190.38 | 599.71 | 0.05 | 0.125 |
| struqs-10 | 4222.09 | 527.76 | 190.36 | 599.71 | 0 | 0.125 |
| xb-bid-qsts | 2471.66 | 308.96 | 290.98 | 317.96 | 582.95 | 0.5 |
| xb-qsts | 3007.59 | 375.95 | 288.9 | 599.71 | 596.65 | 0.375 |