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

InstanceResultTime
test3_quant2UNSAT0.06
test5_quant5SAT1.09