QBF Solver Evaluation Portal
qbflib.orgFamily C432 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 | 994.24 | 124.28 | 185.48 | 90.85 | 106.26 | 0.375 |
| caqe-picosat-cert | 1327.45 | 165.93 | 193.65 | 125.19 | 238.48 | 0.5 |
| cheq | 2656.9 | 332.11 | 284.31 | 412.71 | 605.39 | 0.5 |
| depqbf-cert-v1 | 1308.97 | 163.62 | 208.82 | 74.23 | 272.92 | 0.125 |
| depqbf-cert-v2 | 1809.89 | 226.24 | 247.34 | 127.08 | 475.83 | 0.5 |