Instances of family mqm solved by xb-qsts_bqsts2.0
QBFEVAL'17 - Prenex CNF Track

InstanceResultTime
Core1108_tbm_21.tex.module.000030SAT11.11
Core1108_tbm_21.tex.module.000008SAT11.83
Umbrella_tbm_05.tex.module.000039SAT178.24