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

InstanceResultTime
beemldelec4b1_c0to127.unsatUNSAT2.22
oski3ub5i_c0to255.unsatUNSAT7.81
oski3ub5i_c0to255.satFAIL900
beemldelec4b1_c0to127.satFAIL900