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

InstanceResultTime
test5_quant_squaring5SAT2.87