Instances of family mqm solved by Qute_opt617
QBFEVAL'17 - Prenex non-CNF Track

InstanceResultTime
Core1108_tbm_02.tex.moduleQ3.2S.000015UNSAT1.06
Umbrella_tbm_05.tex.module.000039FAIL900