Instances of family mqm solved by qfun0.1
QBFEVAL'17 - Prenex non-CNF Track

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