Instances of family jmc_quant_squaring solved by xb-qsts
QBFEVAL'16 - Prenex non-CNF Track.

InstanceResultTime
test3_quant_squaring2UNSAT8
test2_quant_squaring2FAIL599.71
test1_quant_squaring3FAIL599.71
test2_quant_squaring3FAIL599.72
test3_quant_squaring4FAIL599.72