QBF Solver Evaluation Portal
qbflib.orgFamily trafficlight-controller results for solvers
QBFEVAL'16 - Evaluate & Certify (non-competitive) Track.
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| caqe-minisat-cert | 1867.92 | 186.79 | 270.84 | 10.82 | 44.75 | 0.7 |
| caqe-picosat-cert | 1502.66 | 150.27 | 219.56 | 6.01 | 68.13 | 0.8 |
| cheq | 1478.1 | 147.81 | 238.21 | 4.95 | 32.08 | 0.8 |
| depqbf-cert-v1 | 2056.66 | 205.67 | 278.92 | 12.42 | 151.35 | 0.6 |
| depqbf-cert-v2 | 1942.37 | 194.24 | 262.73 | 14.56 | 141.54 | 0.6 |