Instances of family jmc_quant_squaring solved by SQBF
QBFEVAL'06

InstanceResultTime
test5_quant_squaring5FAIL222.55
test5_quant_squaring4FAIL250.97
test3_quant_squaring2FAIL305.18