Instances of family jmc_quant_squaring solved by QBFL-BS
QBFEVAL'04

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