Instances of family jmc_quant_squaring solved by iprover-QBF
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
test1_quant_squaring2FAIL234.84
test1_quant_squaring3FAIL283.74
test2_quant_squaring2FAIL317.33
test5_quant_squaring4FAIL343.05
test5_quant_squaring5FAIL356.85
test2_quant_squaring3FAIL418.14
test4_quant_squaring4FAIL451.15
test3_quant_squaring4FAIL470.54
test4_quant_squaring2FAIL489.95
test3_quant_squaring2FAIL599.22