Instances of family jmc_quant_squaring solved by nenofex-qbfeval10
QBFEVAL'10 - Small Hard Track.

InstanceResultTime
test3_quant_squaring4FAIL183.92
test1_quant_squaring2FAIL199.46
test4_quant_squaring4FAIL292.62
test1_quant_squaring3FAIL303.83
test4_quant_squaring2FAIL391.47