QBF Solver Evaluation Portal
qbflib.orgFamily C880 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 | 676.07 | 84.51 | 34.44 | 100.19 | 40.45 | 0.25 |
| caqe-picosat-cert | 1411.53 | 176.44 | 79.52 | 208.74 | 98.79 | 0.25 |
| cheq | 4255.09 | 531.89 | 200.62 | 604.79 | 10.14 | 0.125 |
| depqbf-cert-v1 | 3754.88 | 469.36 | 271.21 | 619.32 | 322.91 | 0 |
| depqbf-cert-v2 | 3736.51 | 467.06 | 269.63 | 613.13 | 320.32 | 0.25 |