QBF Solver Evaluation Portal
qbflib.orgSota solver results for family mqm
QBFEVAL'16 - Evaluate & Certify (non-competitive) Track.
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| Core1108_tbm_02.tex.moduleQ3.2S.000015 | depqbf-cert-v1 | UNSAT | 0.21 |  |
| Core1108_tbm_03.tex.moduleQ3.2S.000002 | caqe-picosat-cert | UNSAT | 0.71 | |
| Core1108_tbm_21.tex.module.000026 | cheq | UNSAT | 0.04 | |
| Core1108_tbm_21.tex.module.000027 | cheq | UNSAT | 0.05 | |
| Umbrella_tbm_24.tex.module.000066 | cheq | SAT | 16.24 | |
| Umbrella_tbm_24.tex.module.000131 | cheq | SAT | 16.27 | |
| Umbrella_tbm_25.tex.moduleQ3.2S.000075 | depqbf-cert-v2 | UNSAT | 0.81 | |