Instances of family hwmcc solved by qbfrelay-limited-depqbf
QBFEVAL'17 - Prenex CNF Track

InstanceResultTime
beemldelec4b1_c0to127.unsatUNSAT3.21
oski3ub5i_c0to255.unsatUNSAT8.7
beemldelec4b1_c0to127.satSAT145.68
oski3ub5i_c0to255.satSAT162.96