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

InstanceResultTime
Core1108_tbm_21.tex.module.000008SAT1.42
Core1108_tbm_21.tex.module.000030SAT1.42
Umbrella_tbm_05.tex.module.000039SAT2.86
W4-Umbrella_tbm_26.tex.moduleQ3.7S.000003SAT5.28
W5-Umbrella_tbm_26.tex.moduleQ3.7S.000003SAT7.33
W4-Umbrella_tbm_21.tex.moduleQ3.6S.000001SAT7.35
W4-Umbrella_tbm_05.tex.moduleQ3.8S.000001SAT10.01
W4-Umbrella_tbm_25.tex.moduleQ3.7S.000003SAT21.26
W5-Umbrella_tbm_25.tex.moduleQ3.7S.000003SAT26.1
W5-Umbrella_tbm_05.tex.moduleQ3.8S.000001SAT30.24