Instances of family hwmcc solved by Qute_opt500
QBFEVAL'17 - Prenex CNF Track

InstanceResultTime
beemldelec4b1_c0to127.unsatUNSAT0.89
oski3ub5i_c0to255.unsatUNSAT136.12
beemldelec4b1_c0to127.satSAT212.46
oski3ub5i_c0to255.satFAIL900