Instances of family jmc_quant_squaring solved by quantor-3.1
QBFEVAL'10 - Small Hard Track.

InstanceResultTime
test1_quant_squaring3FAIL26.95
test1_quant_squaring2FAIL29.42
test4_quant_squaring2FAIL655.47
test4_quant_squaring4FAIL1276.26
test3_quant_squaring4FAIL4142.68