QBF Solver Evaluation Portal
qbflib.orgFamily C880 results for solvers
QBFEVAL'16 - Prenex CNF Track.
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| AIGSolve | 653.57 | 81.7 | 124.87 | 12.31 | 160.27 | 0.75 |
| aqua-f3v | 3070.84 | 383.86 | 279.57 | 599.82 | 563.98 | 0.375 |
| aqua-s2v | 3109.6 | 388.7 | 274.41 | 599.82 | 544.6 | 0.375 |
| aqua-s3o | 3220.04 | 402.51 | 257.94 | 599.82 | 489.38 | 0.375 |
| caqe-minisat | 3599.32 | 449.92 | 259.54 | 599.73 | 299.73 | 0.25 |
| caqe-picosat | 3600.48 | 450.06 | 259.38 | 599.81 | 299.38 | 0.25 |
| depqbf-v1 | 3559.79 | 444.97 | 256.87 | 593.18 | 297.01 | 0.25 |
| depqbf-v2 | 3558.95 | 444.87 | 256.61 | 592.83 | 296.86 | 0.25 |
| depqbf-v3 | 3347.72 | 418.47 | 254.74 | 599.71 | 425.17 | 0.375 |
| ghostq-cegar | 1292.76 | 161.6 | 253.34 | 27.06 | 318.64 | 0.75 |
| ghostq-plain | 458.33 | 57.29 | 85.56 | 13.21 | 105.22 | 1 |
| hiqqer1 | 3599.18 | 449.9 | 259.6 | 599.76 | 299.81 | 0.25 |
| hiqqer1ldsq | 2096.92 | 262.12 | 264.43 | 102.64 | 553.81 | 0.25 |
| hiqqer3 | 3599.69 | 449.96 | 259.55 | 599.81 | 299.68 | 0.25 |
| iprover-QBF | 3983.46 | 497.93 | 79.53 | 478.45 | 153.43 | 0 |
| iprover-QBF-bloqqer | 3278 | 409.75 | 48.86 | 403.4 | 62.96 | 0 |
| qesto | 3598.49 | 449.81 | 259.63 | 599.71 | 299.79 | 0.25 |
| qestos | 3599.1 | 449.89 | 259.67 | 599.81 | 299.9 | 0.25 |
| qsts | 1204.78 | 150.6 | 259.3 | 0.25 | 301.97 | 0.75 |
| rareqs | 3086.34 | 385.79 | 277.32 | 599.71 | 555.85 | 0.375 |
| squeezebf+struqs | 3606.96 | 450.87 | 257.92 | 599.76 | 295.9 | 0.25 |
| struqs-10 | 3606.75 | 450.84 | 257.92 | 599.71 | 295.86 | 0.25 |
| xb-bid-qsts | 3368.73 | 421.09 | 254.01 | 599.71 | 415 | 0.375 |
| xb-qsts | 3394.71 | 424.34 | 253.5 | 599.71 | 401.89 | 0.375 |