Instances of family mqm solved by depqbf-cert-v2
QBFEVAL'16 - Evaluate & Certify (non-competitive) Track.

InstanceResultTime
Core1108_tbm_21.tex.module.000027UNSAT0.11
Core1108_tbm_21.tex.module.000026UNSAT0.11
Core1108_tbm_02.tex.moduleQ3.2S.000015UNSAT0.24
Umbrella_tbm_25.tex.moduleQ3.2S.000075UNSAT0.81
Core1108_tbm_03.tex.moduleQ3.2S.000002UNSAT9.11
Umbrella_tbm_05.tex.module.000039FAIL99.55
Core1108_tbm_21.tex.module.000030FAIL232.12
Core1108_tbm_21.tex.module.000008FAIL305.89
Umbrella_tbm_24.tex.module.000131FAIL592.32
Umbrella_tbm_24.tex.module.000066FAIL592.62