QBF Solver Evaluation Portal
qbflib.orgSuite Kronegger-Pfandler-Pichler results for solvers
QBFEVAL'16 - Prenex CNF Track.
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| AIGSolve | 4368.25 | 218.41 | 279.94 | 19.44 | 587.1 | 0.65 |
| aqua-f3v | 10197.6 | 509.88 | 213.29 | 599.68 | 1.12 | 0.15 |
| aqua-s2v | 9914.22 | 495.71 | 216.66 | 599.72 | 1.9 | 0.2 |
| aqua-s3o | 10192.29 | 509.61 | 213.97 | 599.68 | 0.95 | 0.15 |
| caqe-minisat | 9087.32 | 454.37 | 252.05 | 599.7 | 265.11 | 0.25 |
| caqe-picosat | 7445.09 | 372.25 | 276.54 | 599.64 | 570.05 | 0.35 |
| depqbf-v1 | 6791.83 | 339.59 | 284.1 | 592.48 | 586.26 | 0.45 |
| depqbf-v2 | 7537.88 | 376.89 | 272.2 | 592.47 | 575.57 | 0.4 |
| depqbf-v3 | 6989.55 | 349.48 | 281.94 | 588.94 | 592.65 | 0.5 |
| ghostq-cegar | 6941.09 | 347.05 | 240.03 | 316.22 | 452.86 | 0.35 |
| ghostq-plain | 7455.19 | 372.76 | 235.65 | 438.47 | 416.56 | 0.3 |
| hiqqer1 | 7615.14 | 380.76 | 275.75 | 599.81 | 592.58 | 0.4 |
| hiqqer1ldsq | 7298.51 | 364.93 | 275.5 | 599.81 | 592.57 | 0.35 |
| hiqqer3 | 7824.24 | 391.21 | 271.79 | 599.81 | 592.56 | 0.4 |
| iprover-QBF | 4299.08 | 214.95 | 271.9 | 19.23 | 599.06 | 0.2 |
| iprover-QBF-bloqqer | 8334.91 | 416.75 | 255.59 | 599.12 | 465.82 | 0.35 |
| qesto | 8739.22 | 436.96 | 257.92 | 599.48 | 428 | 0.25 |
| qestos | 7888.11 | 394.41 | 270.37 | 599.53 | 598.29 | 0.3 |
| qsts | 5276.83 | 263.84 | 203.72 | 245.57 | 355.08 | 0.25 |
| rareqs | 7729.36 | 386.47 | 273.29 | 599.48 | 598.01 | 0.4 |
| squeezebf+struqs | 10795.78 | 539.79 | 179.83 | 599.71 | 0 | 0.1 |
| struqs-10 | 10795.77 | 539.79 | 179.84 | 599.71 | 0.01 | 0.1 |
| xb-bid-qsts | 5094.53 | 254.73 | 277.46 | 50.27 | 580 | 0.65 |
| xb-qsts | 8501.95 | 425.1 | 266.42 | 599.52 | 555.87 | 0.3 |