QBF Solver Evaluation Portal
qbflib.orgFamily blackbox-01X-QBF 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 | 3859.22 | 385.92 | 267.67 | 600 | 599.96 | 0.3 |
| caqe-picosat-cert | 3681.44 | 368.14 | 265.47 | 538.13 | 599.95 | 0.5 |
| cheq | 2064.38 | 206.44 | 272.33 | 7.82 | 213.62 | 0.6 |
| depqbf-cert-v1 | 1964.75 | 196.48 | 280.52 | 19.22 | 61.31 | 0.7 |
| depqbf-cert-v2 | 2147.77 | 214.78 | 297.7 | 29.42 | 89.06 | 0.6 |