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

InstanceResultTime
Core1108_tbm_21.tex.module.000008SAT62.09
Core1108_tbm_21.tex.module.000030SAT82.68
W4-Umbrella_tbm_05.tex.moduleQ3.8S.000001UNSAT137.93
W5-Umbrella_tbm_05.tex.moduleQ3.8S.000001SAT140.15
W5-Umbrella_tbm_26.tex.moduleQ3.7S.000003SAT196.39
W4-Umbrella_tbm_26.tex.moduleQ3.7S.000003UNSAT204.98
Umbrella_tbm_05.tex.module.000039SAT225.83
W5-Umbrella_tbm_25.tex.moduleQ3.7S.000003SAT302.76
W4-Umbrella_tbm_21.tex.moduleQ3.6S.000001SAT311.34
W4-Umbrella_tbm_25.tex.moduleQ3.7S.000003UNSAT604.35