Instances of family mqm solved by Caqe-hqspre
Prenex CNF Track

InstanceResultTime
W4-Umbrella_tbm_26.tex.moduleQ3.7S.000003UNSAT6.91
W4-Umbrella_tbm_05.tex.moduleQ3.8S.000001UNSAT13.66
Core1108_tbm_21.tex.module.000008SAT16.55
Core1108_tbm_21.tex.module.000030SAT17.28
W4-Umbrella_tbm_25.tex.moduleQ3.7S.000003UNSAT25.6
Umbrella_tbm_05.tex.module.000039SAT25.71
W5-Umbrella_tbm_26.tex.moduleQ3.7S.000003SAT39.78
W4-Umbrella_tbm_21.tex.moduleQ3.6S.000001SAT59.03
W5-Umbrella_tbm_25.tex.moduleQ3.7S.000003SAT83.59
W5-Umbrella_tbm_05.tex.moduleQ3.8S.000001SAT89.08