Instances of family hwmcc solved by qbfrelay
QBFEVAL'17 - Prenex 2QBF Track

InstanceResultTime
oski3ub5i_c0to63.satSAT72.08
oski3ub5i_c0to511.satSAT72.36
6s289rb05233_c0to63.satSAT74.53
beemskbn1f1_c0to7.satSAT184.24