Instances of family mqm solved by Qute_opt500
QBFEVAL'18 - Prenex CNF Track

InstanceResultTime
Core1108_tbm_21.tex.module.000030SAT1.37
Core1108_tbm_21.tex.module.000008SAT1.49
Umbrella_tbm_05.tex.module.000039SAT2.84
W4-Umbrella_tbm_26.tex.moduleQ3.7S.000003SAT5.43
W5-Umbrella_tbm_26.tex.moduleQ3.7S.000003SAT7.19
W4-Umbrella_tbm_21.tex.moduleQ3.6S.000001SAT7.3
W4-Umbrella_tbm_05.tex.moduleQ3.8S.000001SAT10.27
W4-Umbrella_tbm_25.tex.moduleQ3.7S.000003SAT20.9
W5-Umbrella_tbm_25.tex.moduleQ3.7S.000003SAT25.45
W5-Umbrella_tbm_05.tex.moduleQ3.8S.000001SAT30.6