QBF Solver Evaluation Portal
qbflib.orgFamily k_ph_n results for solvers
QBFEVAL'16 - Prenex CNF Track.
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| AIGSolve | 658.85 | 65.89 | 178.32 | 0.79 | 2.77 | 0.9 |
| aqua-f3v | 42.35 | 4.24 | 10.33 | 0.09 | 0.37 | 1 |
| aqua-s2v | 43.06 | 4.31 | 10.54 | 0.09 | 0.37 | 1 |
| aqua-s3o | 42.83 | 4.28 | 10.48 | 0.09 | 0.37 | 1 |
| caqe-minisat | 87.07 | 8.71 | 24.34 | 0.11 | 0.3 | 1 |
| caqe-picosat | 141.93 | 14.19 | 41.08 | 0.11 | 0.32 | 1 |
| depqbf-v1 | 40.15 | 4.02 | 9.1 | 0.11 | 0.49 | 1 |
| depqbf-v2 | 420.85 | 42.09 | 114.45 | 0.41 | 1.59 | 1 |
| depqbf-v3 | 146.54 | 14.65 | 30.19 | 0.4 | 1.79 | 1 |
| ghostq-cegar | 773.94 | 77.39 | 177.17 | 1.16 | 4.8 | 0.9 |
| ghostq-plain | 1068.73 | 106.87 | 210.1 | 0.74 | 4.42 | 0.9 |
| hiqqer1 | 35.54 | 3.55 | 10.11 | 0.1 | 0.15 | 1 |
| hiqqer1ldsq | 35.1 | 3.51 | 10.02 | 0.09 | 0.14 | 1 |
| hiqqer3 | 42.76 | 4.28 | 12.11 | 0.15 | 0.23 | 1 |
| iprover-QBF | 1199.02 | 119.9 | 192.31 | 13.83 | 44.8 | 0.8 |
| iprover-QBF-bloqqer | 820.86 | 82.09 | 183.29 | 1.52 | 2.39 | 0.8 |
| qesto | 51.05 | 5.11 | 15.01 | 0.02 | 0.05 | 1 |
| qestos | 80 | 8 | 23.69 | 0.02 | 0.05 | 1 |
| qsts | 17.92 | 1.79 | 4.48 | 0.05 | 0.2 | 1 |
| rareqs | 23.83 | 2.38 | 6.85 | 0.02 | 0.05 | 1 |
| squeezebf+struqs | 1387.94 | 138.79 | 235.75 | 1.59 | 15.65 | 0.8 |
| struqs-10 | 1387.01 | 138.7 | 235.73 | 1.55 | 15.52 | 0.8 |
| xb-bid-qsts | 74.81 | 7.48 | 20.25 | 0.14 | 0.46 | 1 |
| xb-qsts | 74.28 | 7.43 | 20.15 | 0.13 | 0.44 | 1 |