Instances of family hwmcc solved by iProver-qbf-2017-07-27-v3
QBFEVAL'17 - Prenex CNF Track

InstanceResultTime
beemldelec4b1_c0to127.unsatUNSAT5.11
oski3ub5i_c0to255.unsatUNSAT110.49
oski3ub5i_c0to255.satFAIL539.88
beemldelec4b1_c0to127.satFAIL900