QBF Solver Evaluation Portal
qbflib.orgFamily s1269 results for solvers
QBFEVAL'16 - Prenex CNF Track.
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| AIGSolve | 5997.64 | 599.76 | 0.06 | 599.74 | 0.06 | 0 |
| aqua-f3v | 6000 | 600 | 0 | 600 | 0 | 0 |
| aqua-s2v | 6000 | 600 | 0 | 600 | 0 | 0 |
| aqua-s3o | 6000 | 600 | 0 | 600 | 0 | 0 |
| caqe-minisat | 4399.57 | 439.96 | 245.07 | 599.64 | 537.87 | 0.3 |
| caqe-picosat | 4433.71 | 443.37 | 240.37 | 599.62 | 532.88 | 0.3 |
| depqbf-v1 | 3701.35 | 370.14 | 272.11 | 592.07 | 555.96 | 0 |
| depqbf-v2 | 5821.16 | 582.12 | 31.87 | 592.72 | 0.29 | 0.1 |
| depqbf-v3 | 5535.33 | 553.53 | 138.66 | 599.71 | 0.1 | 0.1 |
| ghostq-cegar | 3166.03 | 316.6 | 283.78 | 338.02 | 592.12 | 0.5 |
| ghostq-plain | 3137.15 | 313.72 | 286.66 | 335.55 | 590.91 | 0.5 |
| hiqqer1 | 5997.9 | 599.79 | 0.04 | 599.81 | 0.1 | 0 |
| hiqqer1ldsq | 5997.7 | 599.77 | 0.05 | 599.81 | 0.1 | 0 |
| hiqqer3 | 5998.18 | 599.82 | 0 | 599.82 | 0.01 | 0 |
| iprover-QBF | 1193.66 | 119.37 | 180.94 | 28.04 | 26.18 | 0 |
| iprover-QBF-bloqqer | 2841.76 | 284.18 | 188.28 | 264.93 | 215.26 | 0 |
| qesto | 5051.84 | 505.18 | 180.67 | 599.71 | 262.57 | 0.3 |
| qestos | 4959.01 | 495.9 | 88.98 | 500.12 | 197.01 | 0 |
| qsts | 3288.65 | 328.87 | 276.31 | 399.78 | 599 | 0.5 |
| rareqs | 4843.73 | 484.37 | 230.83 | 599.71 | 559.54 | 0.2 |
| squeezebf+struqs | 5998.2 | 599.82 | 0.05 | 599.81 | 0 | 0 |
| struqs-10 | 5998.12 | 599.81 | 0.04 | 599.84 | 0.11 | 0 |
| xb-bid-qsts | 4882.87 | 488.29 | 222.9 | 599.61 | 533.1 | 0.2 |
| xb-qsts | 4882.67 | 488.27 | 222.95 | 599.61 | 533.22 | 0.2 |