Instances of family jmc_quant_squaring solved by AQME-1NN
QBFEVAL'08

InstanceResultTime
test5_quant_squaring4SAT0.94
test5_quant_squaring5SAT1.02
test3_quant_squaring2UNSAT9.48
test1_quant_squaring3FAIL508.3
test1_quant_squaring2FAIL512.33
test2_quant_squaring3FAIL540.25
test2_quant_squaring2FAIL567.38
test4_quant_squaring2FAIL596.28
test3_quant_squaring4FAIL596.39
test4_quant_squaring4FAIL596.39