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

InstanceResultTime
Core1108_tbm_02.tex.moduleQ3.2S.000015FAIL96.33
Core1108_tbm_21.tex.module.000026UNSAT102.02
Umbrella_tbm_05.tex.module.000039FAIL208.03
Core1108_tbm_21.tex.module.000027FAIL226.84
Core1108_tbm_21.tex.module.000008FAIL227.83
Umbrella_tbm_24.tex.module.000131FAIL230.61
Core1108_tbm_21.tex.module.000030FAIL251.33
Umbrella_tbm_24.tex.module.000066FAIL291.34
Umbrella_tbm_25.tex.moduleQ3.2S.000075FAIL600
Core1108_tbm_03.tex.moduleQ3.2S.000002FAIL600