QBF Solver Evaluation Portal
qbflib.orgFamily FPGA_PLB_FIT_SLOW results for solvers
QBFEVAL'16 - Prenex CNF Track.
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| AIGSolve | 614.6 | 204.87 | 279.3 | 11.95 | 9.12 | 0.667 |
| aqua-f3v | 181.22 | 60.41 | 57.93 | 36.33 | 31.7 | 1 |
| aqua-s2v | 122.54 | 40.85 | 35.24 | 29.84 | 25.58 | 1 |
| aqua-s3o | 207.63 | 69.21 | 69.65 | 36.79 | 31.92 | 1 |
| caqe-minisat | 27.2 | 9.07 | 6.19 | 9.32 | 7.96 | 1 |
| caqe-picosat | 71.02 | 23.67 | 19.96 | 14.93 | 10.13 | 1 |
| depqbf-v1 | 410.34 | 136.78 | 88.17 | 161.72 | 143.21 | 1 |
| depqbf-v2 | 115.03 | 38.34 | 27.45 | 48.51 | 47.7 | 1 |
| depqbf-v3 | 79.55 | 26.52 | 19.04 | 35.17 | 35.06 | 1 |
| ghostq-cegar | 15.62 | 5.21 | 2.79 | 6.65 | 5.35 | 1 |
| ghostq-plain | 1204.08 | 401.36 | 280.79 | 599.91 | 595.65 | 0.333 |
| hiqqer1 | 65.59 | 21.86 | 15.22 | 26.83 | 25.59 | 1 |
| hiqqer1ldsq | 89.08 | 29.69 | 24.27 | 28.89 | 28.51 | 1 |
| hiqqer3 | 66.07 | 22.02 | 15.18 | 27.35 | 26 | 1 |
| iprover-QBF | 45.88 | 15.29 | 8.39 | 16.29 | 11.73 | 1 |
| iprover-QBF-bloqqer | 10.68 | 3.56 | 1.53 | 3.91 | 2.38 | 1 |
| qesto | 256.27 | 85.42 | 100 | 22.67 | 15.62 | 1 |
| qestos | 0.8 | 0.27 | 0.29 | 0.07 | 0.01 | 1 |
| qsts | 1085.75 | 361.92 | 233.02 | 440.59 | 395.15 | 0.667 |
| rareqs | 0.36 | 0.12 | 0.1 | 0.05 | 0 | 1 |
| squeezebf+struqs | 1799.13 | 599.71 | 0 | 599.71 | 0 | 0 |
| struqs-10 | 1799.13 | 599.71 | 0 | 599.71 | 0 | 0 |
| xb-bid-qsts | 10.93 | 3.64 | 2.02 | 3.62 | 2.44 | 1 |
| xb-qsts | 10.75 | 3.58 | 2.03 | 3.54 | 2.42 | 1 |