Instances of family jmc_quant_squaring solved by depqbf-pre
QBFEVAL'10 - Small Hard Track.

InstanceResultTime
test3_quant_squaring4FAIL43200
test4_quant_squaring4FAIL43200
test4_quant_squaring2FAIL43200
test1_quant_squaring2FAIL43200
test1_quant_squaring3FAIL43200