QBF Solver Evaluation Portal
qbflib.orgFamily ASP_Program_Inclusion results for solvers
QBFEVAL'16 - Random QBFs Track.
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| aqua-f3v | 65.75 | 1.64 | 0.34 | 1.62 | 0.44 | 1 |
| aqua-s2v | 64.18 | 1.6 | 0.31 | 1.6 | 0.41 | 1 |
| aqua-s3o | 60.69 | 1.52 | 0.21 | 1.54 | 0.25 | 1 |
| caqe-minisat | 6642.09 | 166.05 | 234.85 | 40.34 | 251.93 | 0.775 |
| caqe-picosat | 398.43 | 9.96 | 7.12 | 6.02 | 9.93 | 0.975 |
| depqbf-v1 | 64.11 | 1.6 | 4.62 | 1.31 | 1.2 | 1 |
| depqbf-v2 | 324.99 | 8.12 | 0.96 | 8.21 | 1.65 | 1 |
| depqbf-v3 | 2036.53 | 50.91 | 144.84 | 8.69 | 8.18 | 0.95 |
| hiqqer1 | 197.09 | 4.93 | 4.86 | 3.93 | 4.53 | 1 |
| hiqqer1ldsq | 195.92 | 4.9 | 4.83 | 3.93 | 4.56 | 1 |
| hiqqer3 | 351.86 | 8.8 | 9.16 | 7.9 | 10.95 | 1 |
| iprover-QBF | 12000.95 | 300.02 | 299.17 | 300 | 598.37 | 0 |
| iprover-QBF-bloqqer | 15299.51 | 382.49 | 219.38 | 450.65 | 319.64 | 0 |
| qesto | 135 | 3.38 | 1 | 3.11 | 1.57 | 1 |
| qestos | 125.5 | 3.14 | 0.84 | 3.01 | 0.91 | 1 |
| qsts | 529.02 | 13.23 | 34.76 | 1.4 | 1.76 | 1 |
| rareqs | 108.77 | 2.72 | 0.64 | 2.69 | 0.63 | 1 |
| squeezebf+struqs | 23988.8 | 599.72 | 0.03 | 599.71 | 0 | 0 |
| struqs-10 | 23988.5 | 599.71 | 0.02 | 599.71 | 0 | 0 |
| xb-bid-qsts | 438.48 | 10.96 | 6.06 | 11.45 | 4.49 | 1 |
| xb-qsts | 394.27 | 9.86 | 3.81 | 10.96 | 3.96 | 1 |