Instances of family mqm solved by Caqe-bloqqer-qdo
Prenex CNF Track

InstanceResultTime
Core1108_tbm_21.tex.module.000008SAT62.1
Core1108_tbm_21.tex.module.000030SAT82.89
W4-Umbrella_tbm_05.tex.moduleQ3.8S.000001UNSAT137.75
W5-Umbrella_tbm_05.tex.moduleQ3.8S.000001SAT140.18
W5-Umbrella_tbm_26.tex.moduleQ3.7S.000003SAT196.97
W4-Umbrella_tbm_26.tex.moduleQ3.7S.000003UNSAT204.03
Umbrella_tbm_05.tex.module.000039SAT223.16
W5-Umbrella_tbm_25.tex.moduleQ3.7S.000003SAT298.97
W4-Umbrella_tbm_21.tex.moduleQ3.6S.000001SAT314.97
W4-Umbrella_tbm_25.tex.moduleQ3.7S.000003UNSAT606.17