Instances of family jmc_quant_squaring solved by GRL
QBFEVAL'06

InstanceResultTime
test5_quant_squaring5FAIL600.84
test3_quant_squaring2FAIL600.86
test5_quant_squaring4FAIL600.9