Instances of family mqm solved by caqe-pre
Prenex CNF Track

InstanceResultTime
W4-Umbrella_tbm_26.tex.moduleQ3.7S.000003UNSAT6.96
W4-Umbrella_tbm_05.tex.moduleQ3.8S.000001UNSAT13.71
Core1108_tbm_21.tex.module.000008SAT16.57
Core1108_tbm_21.tex.module.000030SAT17.26
W4-Umbrella_tbm_25.tex.moduleQ3.7S.000003UNSAT25.61
Umbrella_tbm_05.tex.module.000039SAT25.84
W5-Umbrella_tbm_26.tex.moduleQ3.7S.000003SAT39.76
W4-Umbrella_tbm_21.tex.moduleQ3.6S.000001SAT59.06
W5-Umbrella_tbm_25.tex.moduleQ3.7S.000003SAT83.64
W5-Umbrella_tbm_05.tex.moduleQ3.8S.000001SAT89.23