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

InstanceResultTime
Core1108_tbm_21.tex.module.000030SAT1.39
Core1108_tbm_21.tex.module.000008SAT1.49
Umbrella_tbm_05.tex.module.000039SAT2.77
W4-Umbrella_tbm_26.tex.moduleQ3.7S.000003SAT5.41
W5-Umbrella_tbm_26.tex.moduleQ3.7S.000003SAT7.33
W4-Umbrella_tbm_21.tex.moduleQ3.6S.000001SAT7.45
W4-Umbrella_tbm_05.tex.moduleQ3.8S.000001SAT10.03
W4-Umbrella_tbm_25.tex.moduleQ3.7S.000003SAT21
W5-Umbrella_tbm_25.tex.moduleQ3.7S.000003SAT25.45
W5-Umbrella_tbm_05.tex.moduleQ3.8S.000001SAT30.48