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

InstanceResultTime
W4-Umbrella_tbm_26.tex.moduleQ3.7S.000003UNSAT6.96
W4-Umbrella_tbm_05.tex.moduleQ3.8S.000001UNSAT13.72
Core1108_tbm_21.tex.module.000008SAT16.52
Core1108_tbm_21.tex.module.000030SAT17.18
Umbrella_tbm_05.tex.module.000039SAT25.63
W4-Umbrella_tbm_25.tex.moduleQ3.7S.000003UNSAT25.67
W5-Umbrella_tbm_26.tex.moduleQ3.7S.000003SAT39.68
W4-Umbrella_tbm_21.tex.moduleQ3.6S.000001SAT58.99
W5-Umbrella_tbm_25.tex.moduleQ3.7S.000003SAT83.06
W5-Umbrella_tbm_05.tex.moduleQ3.8S.000001SAT89