Instances of family hwmcc solved by PortfolioDepQBFGhostQRaReQSQute___pf
QBFEVAL'18 - Prenex 2QBF Track

InstanceResultTime
beemskbn1f1_c0to7.satSAT12.81
beemldelec4b1_c0to127.satSAT243.68
oski3ub5i_c0to63.satFAIL900.01
oski3ub5i_c0to511.satFAIL900.02
oski3ub5i_c0to255.satFAIL900.05
6s289rb05233_c0to63.satFAIL900.07