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

InstanceResultTime
Core1108_tbm_21.tex.module.000008SAT774.92
Core1108_tbm_21.tex.module.000030FAIL900
Umbrella_tbm_05.tex.module.000039FAIL900