Instances of family hwmcc solved by prefix-opt-depqbf
QBFEVAL'17 - Prenex CNF Track

InstanceResultTime
beemldelec4b1_c0to127.unsatUNSAT2.67
oski3ub5i_c0to255.unsatUNSAT8
beemldelec4b1_c0to127.satFAIL900
oski3ub5i_c0to255.satFAIL900