Instances of family jmc_quant_squaring solved by QuBE7-c
QBFEVAL'10 - Small Hard Track.

InstanceResultTime
test4_quant_squaring2SAT1.92
test1_quant_squaring3FAIL39455.9
test1_quant_squaring2FAIL43200.1
test3_quant_squaring4FAIL43200.1
test4_quant_squaring4FAIL43200.1