QBF Solver Evaluation Portal
qbflib.orgFamily terminator results for solvers
QBFEVAL'16 - Prenex CNF Track.
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| AIGSolve | 368.68 | 36.87 | 58.69 | 5.06 | 15.54 | 1 |
| aqua-f3v | 607.7 | 60.77 | 179.66 | 0.28 | 0.37 | 0.9 |
| aqua-s2v | 606.36 | 60.64 | 179.73 | 0.28 | 0.39 | 0.9 |
| aqua-s3o | 608.16 | 60.82 | 179.67 | 0.28 | 0.39 | 0.9 |
| caqe-minisat | 4196.58 | 419.66 | 266.09 | 599.71 | 594.39 | 0.4 |
| caqe-picosat | 3176.63 | 317.66 | 285.18 | 376.26 | 596.34 | 0.5 |
| depqbf-v1 | 1247.37 | 124.74 | 201.96 | 0.31 | 4.11 | 0.9 |
| depqbf-v2 | 641.81 | 64.18 | 176.55 | 3.31 | 1.5 | 0.9 |
| depqbf-v3 | 4035.14 | 403.51 | 249.53 | 574.11 | 598.64 | 0.5 |
| ghostq-cegar | 2238.47 | 223.85 | 261.91 | 61.86 | 309.76 | 0.7 |
| ghostq-plain | 1600.07 | 160.01 | 237.26 | 2.5 | 89.08 | 0.8 |
| hiqqer1 | 5398.45 | 539.85 | 179.73 | 599.71 | 0.1 | 0.1 |
| hiqqer1ldsq | 5398.43 | 539.84 | 179.73 | 599.71 | 0.1 | 0.1 |
| hiqqer3 | 5398.34 | 539.83 | 179.73 | 599.71 | 0 | 0.1 |
| iprover-QBF | 4897.86 | 489.79 | 136.03 | 599.12 | 275.18 | 0 |
| iprover-QBF-bloqqer | 3699.26 | 369.93 | 243.58 | 449.64 | 593.59 | 0.1 |
| qesto | 1395.87 | 139.59 | 215.27 | 12.07 | 38.09 | 0.9 |
| qestos | 3602.43 | 360.24 | 293.41 | 599.81 | 599.25 | 0.4 |
| qsts | 4823.92 | 482.39 | 234.74 | 599.71 | 573.62 | 0.2 |
| rareqs | 1558.22 | 155.82 | 226.21 | 61.74 | 104.53 | 0.8 |
| squeezebf+struqs | 3040.19 | 304.02 | 295.73 | 307.97 | 593.13 | 0.5 |
| struqs-10 | 3039.85 | 303.99 | 295.75 | 307.94 | 593.18 | 0.5 |
| xb-bid-qsts | 3132.96 | 313.3 | 288.4 | 360.76 | 596.27 | 0.5 |
| xb-qsts | 3610.16 | 361.02 | 292.36 | 599.71 | 596.76 | 0.4 |