Instances of family jmc_quant solved by QuBE7-m
QBFEVAL'10 - Competitive Track.

InstanceResultTime
test5_quant5SAT3.34
test3_quant2SAT5.05