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

InstanceResultTime
W4-Umbrella_tbm_26.tex.moduleQ3.7S.000003UNSAT6.89
W4-Umbrella_tbm_05.tex.moduleQ3.8S.000001UNSAT13.69
Core1108_tbm_21.tex.module.000008SAT16.57
Core1108_tbm_21.tex.module.000030SAT17.19
Umbrella_tbm_05.tex.module.000039SAT25.7
W4-Umbrella_tbm_25.tex.moduleQ3.7S.000003UNSAT25.72
W5-Umbrella_tbm_26.tex.moduleQ3.7S.000003SAT39.86
W4-Umbrella_tbm_21.tex.moduleQ3.6S.000001SAT59.03
W5-Umbrella_tbm_25.tex.moduleQ3.7S.000003SAT83.37
W5-Umbrella_tbm_05.tex.moduleQ3.8S.000001SAT88.98