Instances of family mqm solved by caqe_2017_v3
QBFEVAL'17 - Prenex CNF Track

InstanceResultTime
Core1108_tbm_21.tex.module.000030SAT298.31
Core1108_tbm_21.tex.module.000008SAT327.02
Umbrella_tbm_05.tex.module.000039SAT753.15