QBF Solver Evaluation Portal
qbflib.orgFamily Abduction 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 | 4302.53 | 430.25 | 152.55 | 405.06 | 384.65 | 0 |
| caqe-picosat-cert | 703.67 | 70.37 | 177.82 | 1.21 | 3.43 | 0.9 |
| cheq | 627.5 | 62.75 | 181.74 | 0.48 | 1 | 0.7 |
| depqbf-cert-v1 | 1119.54 | 111.95 | 221.02 | 0.26 | 0.65 | 0.5 |
| depqbf-cert-v2 | 999.56 | 99.96 | 202.37 | 0.52 | 1.4 | 0.8 |