QBF Solver Evaluation Portal
qbflib.orgFamily tipfixpoint results for solvers
QBFEVAL'16 - Prenex CNF Track.
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| AIGSolve | 1244.94 | 124.49 | 238.84 | 2.76 | 9.65 | 0.8 |
| aqua-f3v | 2415.1 | 241.51 | 292.57 | 7.66 | 599.59 | 0.6 |
| aqua-s2v | 2404.14 | 240.41 | 293.42 | 2.24 | 599.6 | 0.6 |
| aqua-s3o | 2410.38 | 241.04 | 292.96 | 5.24 | 599.6 | 0.6 |
| caqe-minisat | 3005.11 | 300.51 | 299.22 | 302.22 | 599.47 | 0.5 |
| caqe-picosat | 3005.4 | 300.54 | 299.24 | 302.21 | 599.48 | 0.5 |
| depqbf-v1 | 2378.55 | 237.86 | 289.69 | 3.01 | 591.91 | 0.6 |
| depqbf-v2 | 1204.22 | 120.42 | 236.43 | 1.51 | 5.19 | 0.8 |
| depqbf-v3 | 3010.03 | 301 | 298.73 | 303.54 | 599.67 | 0.5 |
| ghostq-cegar | 47.62 | 4.76 | 3.52 | 3.78 | 7.19 | 1 |
| ghostq-plain | 46.68 | 4.67 | 3.45 | 3.79 | 7.14 | 1 |
| hiqqer1 | 2999.99 | 300 | 299.79 | 300.1 | 599.68 | 0.5 |
| hiqqer1ldsq | 2999.73 | 299.97 | 299.78 | 300.1 | 599.59 | 0.5 |
| hiqqer3 | 2999.79 | 299.98 | 299.77 | 300.1 | 599.58 | 0.5 |
| iprover-QBF | 3508.84 | 350.88 | 268.05 | 504.6 | 582.92 | 0.4 |
| iprover-QBF-bloqqer | 1508.61 | 150.86 | 193.36 | 10.64 | 181.18 | 0.4 |
| qesto | 2999.48 | 299.95 | 299.78 | 300.16 | 599.67 | 0.5 |
| qestos | 2624.09 | 262.41 | 282.94 | 112.42 | 599.67 | 0.5 |
| qsts | 3600.06 | 360.01 | 293.58 | 599.71 | 599.28 | 0.4 |
| rareqs | 2999.37 | 299.94 | 299.77 | 300.16 | 599.67 | 0.5 |
| squeezebf+struqs | 3010.02 | 301 | 298.74 | 303.22 | 599.52 | 0.5 |
| struqs-10 | 3009.73 | 300.97 | 298.74 | 303.21 | 599.63 | 0.5 |
| xb-bid-qsts | 1853.3 | 185.33 | 271.45 | 8.93 | 34.31 | 0.7 |
| xb-qsts | 2418.77 | 241.88 | 292.19 | 9.1 | 599.48 | 0.6 |