Instances of family jmc_quant_squaring solved by Hiqqer2019_3
QBFEVAL'19 - Prenex CNF Track

InstanceResultTime
test5_quant_squaring5SAT7.56
test4_quant_squaring4FAIL900.04
test4_quant_squaring2FAIL900.04
test1_quant_squaring2FAIL900.04
test1_quant_squaring3FAIL900.04
test3_quant_squaring4FAIL900.04