Instances of family jmc_quant_squaring solved by qbfrelay
QBFEVAL'17 - Prenex CNF Track

InstanceResultTime
test1_quant_squaring3FAIL20.36
test1_quant_squaring2FAIL24.91
test2_quant_squaring2FAIL67.1
test2_quant_squaring3FAIL119.95
test3_quant_squaring4FAIL711.02
test4_quant_squaring4FAIL882.58
test4_quant_squaring2FAIL883.91
test5_quant_squaring5FAIL885.98