Instances of family jmc_quant_squaring solved by aqme-10
QBFEVAL'10 - Competitive Track.

InstanceResultTime
test5_quant_squaring5FAIL1200