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

InstanceResultTime
Core1108_tbm_02.tex.moduleQ3.2S.000015UNSAT0.73
Umbrella_tbm_05.tex.module.000039SAT469.89