Instances of family mqm solved by aqme-10
QBFEVAL'16 - Solver Portfolio Track.

InstanceResultTime
Core1108_tbm_21.tex.module.000026UNSAT0.59
Core1108_tbm_21.tex.module.000027UNSAT0.6
Umbrella_tbm_24.tex.module.000066SAT4.96
Umbrella_tbm_24.tex.module.000131SAT5.78
Core1108_tbm_21.tex.module.000008SAT9.71
Core1108_tbm_02.tex.moduleQ3.2S.000015UNSAT18.13
Core1108_tbm_03.tex.moduleQ3.2S.000002UNSAT26.31
Umbrella_tbm_05.tex.module.000039SAT515.18
Core1108_tbm_21.tex.module.000030FAIL600
Umbrella_tbm_25.tex.moduleQ3.2S.000075FAIL600