QBF Solver Evaluation Portal
qbflib.orgFamily evader-pursuer-4x4-standard results for solvers
QBFEVAL'16 - Prenex CNF Track.
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| AIGSolve | 3903.29 | 557.61 | 103.38 | 599.82 | 295.44 | 0.143 |
| aqua-f3v | 4198.39 | 599.77 | 0.04 | 599.76 | 0.05 | 0 |
| aqua-s2v | 4198.42 | 599.77 | 0.06 | 599.73 | 0.11 | 0 |
| aqua-s3o | 4198.26 | 599.75 | 0.09 | 599.75 | 0.2 | 0 |
| caqe-minisat | 2426.69 | 346.67 | 292.23 | 599.7 | 593.65 | 0.429 |
| caqe-picosat | 2213.02 | 316.15 | 217.09 | 262.44 | 389.67 | 0 |
| depqbf-v1 | 1995.02 | 285 | 270.95 | 168.01 | 590.61 | 0.571 |
| depqbf-v2 | 210.29 | 30.04 | 13.3 | 32.92 | 33.4 | 1 |
| depqbf-v3 | 1564.01 | 223.43 | 244.3 | 87.79 | 208.83 | 0.857 |
| ghostq-cegar | 2308.66 | 329.81 | 52.72 | 321.32 | 76.89 | 0 |
| ghostq-plain | 2042.96 | 291.85 | 50.54 | 267.92 | 91.61 | 0 |
| hiqqer1 | 1877.27 | 268.18 | 287.35 | 42.37 | 597.54 | 0.571 |
| hiqqer1ldsq | 1877.12 | 268.16 | 287.37 | 42.31 | 597.56 | 0.571 |
| hiqqer3 | 1401.68 | 200.24 | 254.77 | 46.6 | 108.79 | 0.714 |
| iprover-QBF | 3559.5 | 508.5 | 115.71 | 599.22 | 309.18 | 0 |
| iprover-QBF-bloqqer | 3276.45 | 468.06 | 169.82 | 599.12 | 436.35 | 0.143 |
| qesto | 4197.88 | 599.7 | 0.04 | 599.71 | 0.1 | 0 |
| qestos | 1917.45 | 273.92 | 84.72 | 264.62 | 130.5 | 0 |
| qsts | 3198.75 | 456.96 | 81.78 | 474.38 | 158.8 | 0 |
| rareqs | 3599.47 | 514.21 | 209.43 | 599.71 | 598.5 | 0.143 |
| squeezebf+struqs | 3897.51 | 556.79 | 105.18 | 599.71 | 300.57 | 0.143 |
| struqs-10 | 3897.21 | 556.74 | 105.25 | 599.71 | 300.77 | 0.143 |
| xb-bid-qsts | 2408.61 | 344.09 | 145.15 | 366.23 | 242.9 | 0 |
| xb-qsts | 2538.58 | 362.65 | 171.2 | 361.74 | 238.3 | 0 |