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

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