Instances of family jmc_quant_squaring solved by QSAT
QBFEVAL'04

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