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

InstanceResultTime
oski3ub5i_c0to255.unsatFAIL55.27
oski3ub5i_c0to255.satFAIL58.91
beemldelec4b1_c0to127.unsatUNSAT144.53
beemldelec4b1_c0to127.satFAIL900