Instances of family genbuf solved by caqe_hit18
QBFEVAL'18 - Hard Instances Track

InstanceResultTime
genbuf12b4y.satFAIL3600
genbuf14b4y.satFAIL3600
genbuf7b4n.satFAIL3600
genbuf8b4n.satFAIL3600
genbuf10b4n.satFAIL3600