Sota solver results for family jmc_quant_squaring
QBFEVAL'08


InstanceSolverResultTime
test3_quant_squaring2QuBE6.1UNSAT8.66
test5_quant_squaring4QuBE6.1SAT0.07
test5_quant_squaring5QuBE6.1SAT0.09