QBF Solver Evaluation Portal
qbflib.orgFamily s820 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 | 1755.32 | 175.53 | 11.74 | 176.3 | 13.07 | 0 |
| caqe-picosat-cert | 3865.33 | 386.53 | 174.91 | 262.69 | 371.27 | 0 |
| cheq | 6013.07 | 601.31 | 26.83 | 591.73 | 30 | 0 |
| depqbf-cert-v1 | 6145.36 | 614.54 | 9.09 | 613.8 | 15.1 | 0 |
| depqbf-cert-v2 | 6358.26 | 635.83 | 17.7 | 628.78 | 15 | 0 |