QBF Solver Evaluation Portal
qbflib.orgFamily evader-pursuer-6x6-standard results for solvers
QBFEVAL'16 - Prenex CNF Track.
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| AIGSolve | 4798.29 | 599.79 | 0.07 | 599.77 | 0.05 | 0 |
| aqua-f3v | 4799.82 | 599.98 | 0.06 | 600 | 0 | 0 |
| aqua-s2v | 4799.54 | 599.94 | 0.1 | 600 | 0.09 | 0 |
| aqua-s3o | 4800 | 600 | 0 | 600 | 0 | 0 |
| caqe-minisat | 2998.42 | 374.8 | 151.11 | 386.92 | 249.72 | 0 |
| caqe-picosat | 3152.34 | 394.04 | 168.29 | 341.85 | 349.57 | 0 |
| depqbf-v1 | 941.12 | 117.64 | 184.14 | 30.2 | 70.01 | 0.25 |
| depqbf-v2 | 3648.68 | 456.09 | 215.34 | 592.22 | 289.55 | 0.375 |
| depqbf-v3 | 3362.18 | 420.27 | 234.8 | 599.71 | 449.58 | 0.375 |
| ghostq-cegar | 4353.73 | 544.22 | 81.81 | 599.42 | 110.49 | 0 |
| ghostq-plain | 4299.69 | 537.46 | 91.73 | 599.41 | 122.95 | 0 |
| hiqqer1 | 4798.09 | 599.76 | 0.05 | 599.77 | 0.1 | 0 |
| hiqqer1ldsq | 4798.19 | 599.77 | 0.05 | 599.81 | 0.1 | 0 |
| hiqqer3 | 4798.72 | 599.84 | 0.06 | 599.82 | 0 | 0 |
| iprover-QBF | 1676.9 | 209.61 | 184.44 | 147.15 | 249.66 | 0 |
| iprover-QBF-bloqqer | 2631.26 | 328.91 | 127.05 | 260.34 | 150.25 | 0 |
| qesto | 2590.35 | 323.79 | 275.89 | 326.27 | 550.5 | 0 |
| qestos | 1721.48 | 215.19 | 59.09 | 218.38 | 79.85 | 0 |
| qsts | 4793.42 | 599.18 | 0.23 | 599.16 | 0.37 | 0 |
| rareqs | 4714.03 | 589.25 | 27.19 | 599.47 | 0.19 | 0 |
| squeezebf+struqs | 4798.38 | 599.8 | 0.03 | 599.81 | 0 | 0 |
| struqs-10 | 4798.58 | 599.82 | 0 | 599.82 | 0 | 0 |
| xb-bid-qsts | 4153.65 | 519.21 | 131.29 | 598.36 | 135.28 | 0 |
| xb-qsts | 4138.04 | 517.26 | 132.54 | 598.36 | 142.13 | 0 |