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

InstanceResultTime
Core1108_tbm_21.tex.module.000030FAIL1.46
Core1108_tbm_21.tex.module.000008FAIL1.53
Umbrella_tbm_05.tex.module.000039FAIL2.94
W4-Umbrella_tbm_26.tex.moduleQ3.7S.000003FAIL5.43
W5-Umbrella_tbm_26.tex.moduleQ3.7S.000003FAIL7.35
W4-Umbrella_tbm_21.tex.moduleQ3.6S.000001FAIL7.47
W4-Umbrella_tbm_05.tex.moduleQ3.8S.000001FAIL10.29
W4-Umbrella_tbm_25.tex.moduleQ3.7S.000003FAIL21.25
W5-Umbrella_tbm_25.tex.moduleQ3.7S.000003FAIL25.8
W5-Umbrella_tbm_05.tex.moduleQ3.8S.000001FAIL31.46