Instances of family jmc_quant_squaring solved by qube4.0
QBFEVAL'06

InstanceResultTime
test5_quant_squaring5FAIL1082.49
test5_quant_squaring4FAIL2251.01
test3_quant_squaring2FAIL6000.6