QBF Solver Evaluation Portal
qbflib.orgFamily trafficlight-controller results for solvers
QBFEVAL'16 - Prenex CNF Track.
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| AIGSolve | 125.93 | 12.59 | 31.46 | 0.65 | 1.11 | 1 |
| aqua-f3v | 1271.57 | 127.16 | 237.08 | 1.12 | 2.64 | 0.8 |
| aqua-s2v | 1269.95 | 127 | 237.18 | 1.11 | 2.65 | 0.8 |
| aqua-s3o | 1235.07 | 123.51 | 238.32 | 1.04 | 2.29 | 0.8 |
| caqe-minisat | 890.43 | 89.04 | 174.1 | 21.34 | 29.61 | 0.9 |
| caqe-picosat | 1589.01 | 158.9 | 229.14 | 22.22 | 123.13 | 0.8 |
| depqbf-v1 | 653.21 | 65.32 | 176 | 1.11 | 7.9 | 0.9 |
| depqbf-v2 | 112.21 | 11.22 | 15.89 | 5.22 | 9.94 | 1 |
| depqbf-v3 | 111.47 | 11.15 | 15.89 | 5.11 | 9.91 | 1 |
| ghostq-cegar | 59.28 | 5.93 | 3.4 | 6.12 | 5.57 | 0.8 |
| ghostq-plain | 652.77 | 65.28 | 178.24 | 7.23 | 6.17 | 0.7 |
| hiqqer1 | 87.93 | 8.79 | 16.93 | 2.06 | 3.03 | 1 |
| hiqqer1ldsq | 87.53 | 8.75 | 16.81 | 2.05 | 3.07 | 1 |
| hiqqer3 | 94.66 | 9.47 | 18.94 | 2.06 | 3.05 | 1 |
| iprover-QBF | 2029.79 | 202.98 | 232.88 | 73.52 | 298.8 | 0.8 |
| iprover-QBF-bloqqer | 1695.09 | 169.51 | 230.51 | 22.57 | 129.22 | 0.6 |
| qesto | 632.45 | 63.25 | 178.87 | 2.08 | 6.17 | 0.7 |
| qestos | 26.19 | 2.62 | 4.19 | 0.76 | 1.35 | 1 |
| qsts | 90.04 | 9 | 20.67 | 0.54 | 0.68 | 1 |
| rareqs | 23.02 | 2.3 | 3.53 | 0.74 | 1.24 | 1 |
| squeezebf+struqs | 3162.12 | 316.21 | 284.98 | 354.91 | 596.53 | 0.5 |
| struqs-10 | 3184.37 | 318.44 | 283.13 | 361.76 | 596.13 | 0.5 |
| xb-bid-qsts | 282.46 | 28.25 | 36.46 | 11.91 | 21.01 | 1 |
| xb-qsts | 265.96 | 26.6 | 35.4 | 11.85 | 18.04 | 1 |