Instances of family mqm solved by caqe-portfolio
QBFEVAL'16 - Solver Portfolio Track.

InstanceResultTime
Core1108_tbm_21.tex.module.000026UNSAT1.33
Umbrella_tbm_24.tex.module.000131FAIL6.83
Core1108_tbm_21.tex.module.000027UNSAT7.23
Core1108_tbm_03.tex.moduleQ3.2S.000002UNSAT10.34
Core1108_tbm_02.tex.moduleQ3.2S.000015UNSAT11.84
Umbrella_tbm_25.tex.moduleQ3.2S.000075UNSAT29.17
Umbrella_tbm_24.tex.module.000066SAT168.15
Umbrella_tbm_05.tex.module.000039FAIL299.73
Core1108_tbm_21.tex.module.000008FAIL299.81
Core1108_tbm_21.tex.module.000030FAIL299.83