QBF Solver Evaluation Portal
qbflib.orgFamily s3330 results for solvers
QBFEVAL'16 - Prenex CNF Track.
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| AIGSolve | 4015.46 | 401.55 | 192.62 | 445.45 | 449.1 | 0 |
| aqua-f3v | 5410.16 | 541.02 | 176.95 | 600 | 0 | 0.1 |
| aqua-s2v | 5410.15 | 541.02 | 176.96 | 600 | 0 | 0.1 |
| aqua-s3o | 5410.17 | 541.02 | 176.95 | 600 | 0 | 0.1 |
| caqe-minisat | 4953.2 | 495.32 | 211.1 | 599.71 | 452.04 | 0.2 |
| caqe-picosat | 4767.17 | 476.72 | 211.84 | 599.7 | 470.97 | 0.3 |
| depqbf-v1 | 2118.12 | 211.81 | 249.25 | 54.9 | 20.1 | 0 |
| depqbf-v2 | 4849.59 | 484.96 | 216.25 | 592.47 | 493.01 | 0.2 |
| depqbf-v3 | 5411.6 | 541.16 | 175.91 | 599.81 | 0.1 | 0.1 |
| ghostq-cegar | 3415.08 | 341.51 | 266.16 | 429.68 | 577.82 | 0.5 |
| ghostq-plain | 3679.17 | 367.92 | 270.62 | 564.08 | 577.19 | 0.5 |
| hiqqer1 | 5060.02 | 506 | 187.62 | 599.81 | 461.22 | 0.2 |
| hiqqer1ldsq | 5060.33 | 506.03 | 187.54 | 599.81 | 460.43 | 0.2 |
| hiqqer3 | 5154.83 | 515.48 | 169.53 | 599.77 | 381.81 | 0.2 |
| iprover-QBF | 575.14 | 57.51 | 87.07 | 23.78 | 3.71 | 0 |
| iprover-QBF-bloqqer | 3106.65 | 310.67 | 240.38 | 318.49 | 440.92 | 0.1 |
| qesto | 4603.21 | 460.32 | 222.11 | 599.62 | 504.3 | 0.3 |
| qestos | 5307.2 | 530.72 | 169.43 | 599.61 | 87.18 | 0.1 |
| qsts | 2690.47 | 269.05 | 282.19 | 144.73 | 599.4 | 0.6 |
| rareqs | 3918.57 | 391.86 | 259.09 | 599.57 | 571.05 | 0.4 |
| squeezebf+struqs | 5998.41 | 599.84 | 0.07 | 599.81 | 0 | 0 |
| struqs-10 | 5998.27 | 599.83 | 0.03 | 599.83 | 0.02 | 0 |
| xb-bid-qsts | 4965.53 | 496.55 | 208.98 | 599.57 | 438.93 | 0.2 |
| xb-qsts | 4978.19 | 497.82 | 206.99 | 599.57 | 426.37 | 0.2 |