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

InstanceResultTime
oski3ub5i_c0to255.unsatUNSAT4.17
beemldelec4b1_c0to127.unsatUNSAT7.87
beemldelec4b1_c0to127.satFAIL900
oski3ub5i_c0to255.satFAIL900