QBF Solver Evaluation Portal
qbflib.orgFamily Abduction results for solvers
QBFEVAL'16 - Prenex CNF Track.
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| AIGSolve | 1961.61 | 196.16 | 265.57 | 42.16 | 76.88 | 0.7 |
| aqua-f3v | 969.71 | 96.97 | 182.85 | 0.44 | 21.13 | 0.9 |
| aqua-s2v | 1329.87 | 132.99 | 235.58 | 0.42 | 21.36 | 0.8 |
| aqua-s3o | 789.41 | 78.94 | 176.9 | 0.42 | 21.1 | 0.9 |
| caqe-minisat | 3029.3 | 302.93 | 296.9 | 313.99 | 599.17 | 0.5 |
| caqe-picosat | 887.92 | 88.79 | 176.71 | 5.16 | 27.85 | 0.9 |
| depqbf-v1 | 641 | 64.1 | 176.86 | 0.16 | 0.22 | 0.9 |
| depqbf-v2 | 1215.54 | 121.55 | 235.74 | 2.87 | 10.3 | 0.8 |
| depqbf-v3 | 626.08 | 62.61 | 179.11 | 1.45 | 2.53 | 0.9 |
| ghostq-cegar | 624.05 | 62.41 | 179.2 | 0.74 | 2.06 | 0.8 |
| ghostq-plain | 623.08 | 62.31 | 179.23 | 0.72 | 2.04 | 0.8 |
| hiqqer1 | 638.21 | 63.82 | 178.71 | 5.01 | 7.02 | 0.9 |
| hiqqer1ldsq | 637.82 | 63.78 | 178.72 | 4.82 | 7.08 | 0.9 |
| hiqqer3 | 651.64 | 65.16 | 178.34 | 5.06 | 8.46 | 0.9 |
| iprover-QBF | 5923.32 | 592.33 | 20.63 | 599.22 | 0.1 | 0 |
| iprover-QBF-bloqqer | 2985.76 | 298.58 | 292.8 | 293.2 | 598.68 | 0.2 |
| qesto | 725.19 | 72.52 | 176.74 | 6.89 | 18.69 | 0.9 |
| qestos | 1473.97 | 147.4 | 235.96 | 7.14 | 25.37 | 0.8 |
| qsts | 647.44 | 64.74 | 178.56 | 0.17 | 0.71 | 0.9 |
| rareqs | 649.79 | 64.98 | 178.41 | 2.68 | 3.63 | 0.9 |
| squeezebf+struqs | 5767.14 | 576.71 | 69.02 | 599.71 | 0 | 0.1 |
| struqs-10 | 5767.96 | 576.8 | 68.74 | 599.71 | 0 | 0.1 |
| xb-bid-qsts | 852.22 | 85.22 | 175.19 | 20.59 | 27.24 | 0.9 |
| xb-qsts | 850.81 | 85.08 | 175.19 | 20.22 | 27.12 | 0.9 |