QBF Solver Evaluation Portal
qbflib.orgFamily C6288 results for solvers
QBFEVAL'16 - Prenex CNF Track.
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| AIGSolve | 4798.28 | 599.79 | 0.06 | 599.78 | 0.1 | 0 |
| aqua-f3v | 3599.42 | 449.93 | 259.51 | 599.72 | 299.63 | 0.25 |
| aqua-s2v | 3599.62 | 449.95 | 259.52 | 599.77 | 299.68 | 0.25 |
| aqua-s3o | 3599.63 | 449.95 | 259.52 | 599.78 | 299.68 | 0.25 |
| caqe-minisat | 4022.05 | 502.76 | 184.56 | 599.73 | 117.64 | 0.25 |
| caqe-picosat | 3701.9 | 462.74 | 237.65 | 599.71 | 261.52 | 0.25 |
| depqbf-v1 | 4150.57 | 518.82 | 196.05 | 592.68 | 0.95 | 0.125 |
| depqbf-v2 | 4181.82 | 522.73 | 186.87 | 593.19 | 0.79 | 0.125 |
| depqbf-v3 | 4208.02 | 526 | 195.01 | 599.71 | 0 | 0.125 |
| ghostq-cegar | 3604.95 | 450.62 | 258.46 | 599.81 | 298.47 | 0.25 |
| ghostq-plain | 3605.33 | 450.67 | 258.44 | 599.81 | 298.44 | 0.25 |
| hiqqer1 | 4798.08 | 599.76 | 0.05 | 599.76 | 0.1 | 0 |
| hiqqer1ldsq | 4797.78 | 599.72 | 0.03 | 599.71 | 0 | 0 |
| hiqqer3 | 4797.98 | 599.75 | 0.05 | 599.71 | 0.1 | 0 |
| iprover-QBF | 4793.66 | 599.21 | 0.03 | 599.22 | 0 | 0 |
| iprover-QBF-bloqqer | 4620.16 | 577.52 | 34.29 | 599.22 | 35.54 | 0 |
| qesto | 3683.34 | 460.42 | 241.26 | 599.71 | 277.77 | 0.25 |
| qestos | 3463.54 | 432.94 | 111.92 | 417.92 | 206.75 | 0 |
| qsts | 4797.88 | 599.74 | 0.04 | 599.71 | 0.05 | 0 |
| rareqs | 3607.56 | 450.95 | 257.7 | 599.71 | 297.47 | 0.25 |
| squeezebf+struqs | 4200.39 | 525.05 | 197.57 | 599.71 | 0 | 0.125 |
| struqs-10 | 4200.24 | 525.03 | 197.59 | 599.71 | 0 | 0.125 |
| xb-bid-qsts | 3309.41 | 413.68 | 241.17 | 599.66 | 470.89 | 0.375 |
| xb-qsts | 4797.58 | 599.7 | 0.03 | 599.71 | 0 | 0 |