Instances of family mqm solved by Qute_opt500
Prenex CNF Track

InstanceResultTime
Core1108_tbm_21.tex.module.000030FAIL1.45
Core1108_tbm_21.tex.module.000008FAIL1.51
Umbrella_tbm_05.tex.module.000039FAIL2.94
W4-Umbrella_tbm_26.tex.moduleQ3.7S.000003FAIL5.49
W5-Umbrella_tbm_26.tex.moduleQ3.7S.000003FAIL7.38
W4-Umbrella_tbm_21.tex.moduleQ3.6S.000001FAIL7.53
W4-Umbrella_tbm_05.tex.moduleQ3.8S.000001FAIL10.29
W4-Umbrella_tbm_25.tex.moduleQ3.7S.000003FAIL21.37
W5-Umbrella_tbm_25.tex.moduleQ3.7S.000003FAIL25.74
W5-Umbrella_tbm_05.tex.moduleQ3.8S.000001FAIL31.41