Instances of family jmc_quant_squaring solved by GRL
QBFEVAL'04

InstanceResultTime
test4_quant_squaring4FAIL901
test1_quant_squaring2FAIL901
test3_quant_squaring2FAIL901
test5_quant_squaring5FAIL901
test5_quant_squaring4FAIL901
test3_quant_squaring4FAIL901.01
test2_quant_squaring2FAIL901.02
test2_quant_squaring3FAIL901.03