Instances of family jmc_quant_squaring solved by openQbf
QBFEVAL'04

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