QBF Solver Evaluation Portal
qbflib.orgFamily mqm 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 | 2834.33 | 283.43 | 168.59 | 229.22 | 149.31 | 0.1 |
| caqe-picosat-cert | 2504.33 | 250.43 | 262.67 | 145.05 | 457.75 | 0.5 |
| cheq | 2621.56 | 262.16 | 293.38 | 53.67 | 601.62 | 0.6 |
| depqbf-cert-v1 | 1751.86 | 175.19 | 253.75 | 21.45 | 31.03 | 0.5 |
| depqbf-cert-v2 | 1832.88 | 183.29 | 228.81 | 54.33 | 232.01 | 0.5 |