Instances of family mqm solved by hiqqer3
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
Core1108_tbm_21.tex.module.000026UNSAT1.49
Core1108_tbm_21.tex.module.000027UNSAT6.49
Core1108_tbm_03.tex.moduleQ3.2S.000002UNSAT10.73
Core1108_tbm_02.tex.moduleQ3.2S.000015UNSAT18.52
Umbrella_tbm_24.tex.module.000131SAT41.05
Umbrella_tbm_24.tex.module.000066SAT58.9
Core1108_tbm_21.tex.module.000008SAT66.84
Umbrella_tbm_25.tex.moduleQ3.2S.000075UNSAT71.18
Core1108_tbm_21.tex.module.000030SAT74.78
Umbrella_tbm_05.tex.module.000039SAT193.7