Instances of family jmc_quant_squaring solved by rareqs-nn
QBFEVAL'16 - Prenex non-CNF Track.

InstanceResultTime
test2_quant_squaring2FAIL599.61
test2_quant_squaring3FAIL599.61
test3_quant_squaring2FAIL599.71
test1_quant_squaring3FAIL599.71
test3_quant_squaring4FAIL599.71