Instances of family jmc_quant_squaring solved by QMRes
QBFEVAL'04

InstanceResultTime
test5_quant_squaring4SAT1.17
test5_quant_squaring5SAT3.09
test3_quant_squaring2UNSAT7.19
test3_quant_squaring4FAIL191.15
test4_quant_squaring4FAIL538.6
test2_quant_squaring3FAIL901
test1_quant_squaring2FAIL901
test2_quant_squaring2FAIL901.03