QBF Solver Evaluation Portal
qbflib.orgFamily s499 results for solvers
QBFEVAL'16 - Prenex CNF Track.
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| AIGSolve | 2098.75 | 209.88 | 147.22 | 178.8 | 183.23 | 1 |
| aqua-f3v | 5999.83 | 599.98 | 0.05 | 600 | 0 | 0 |
| aqua-s2v | 5913.95 | 591.4 | 25.82 | 600 | 0 | 0.1 |
| aqua-s3o | 6000 | 600 | 0 | 600 | 0 | 0 |
| caqe-minisat | 2402.49 | 240.25 | 208.13 | 163.84 | 270.26 | 0.8 |
| caqe-picosat | 2528.54 | 252.85 | 201.87 | 181.98 | 251.93 | 0.8 |
| depqbf-v1 | 5922.87 | 592.29 | 0.46 | 592.17 | 0.58 | 0 |
| depqbf-v2 | 4463.28 | 446.33 | 209.97 | 592.42 | 514.81 | 0.4 |
| depqbf-v3 | 4581.16 | 458.12 | 225.62 | 599.81 | 532.24 | 0.3 |
| ghostq-cegar | 193.2 | 19.32 | 11.69 | 18.3 | 15.6 | 1 |
| ghostq-plain | 185.24 | 18.52 | 11.16 | 17.8 | 14.96 | 1 |
| hiqqer1 | 4439.89 | 443.99 | 219.72 | 599.81 | 522.95 | 0.4 |
| hiqqer1ldsq | 4570.67 | 457.07 | 225.19 | 599.76 | 522.81 | 0.3 |
| hiqqer3 | 4899.01 | 489.9 | 181.03 | 599.77 | 434.57 | 0.3 |
| iprover-QBF | 1931.21 | 193.12 | 209.25 | 79.95 | 34.6 | 0 |
| iprover-QBF-bloqqer | 2682.82 | 268.28 | 202.53 | 154.34 | 259.91 | 0 |
| qesto | 1934.55 | 193.46 | 199.65 | 118.06 | 122.58 | 0.9 |
| qestos | 3518.31 | 351.83 | 72.65 | 367.32 | 84.4 | 0 |
| qsts | 2.66 | 0.27 | 0.16 | 0.23 | 0.16 | 1 |
| rareqs | 1096.17 | 109.62 | 157.17 | 43.64 | 54.06 | 1 |
| squeezebf+struqs | 5998.11 | 599.81 | 0 | 599.81 | 0 | 0 |
| struqs-10 | 5998.23 | 599.82 | 0.01 | 599.82 | 0 | 0 |
| xb-bid-qsts | 1975.17 | 197.52 | 205.99 | 115.8 | 112.54 | 0.8 |
| xb-qsts | 1970.51 | 197.05 | 206.2 | 114.89 | 111.25 | 0.8 |