Instances of family Qshifter solved by yQuaffle
QBFEVAL'07

InstanceResultTime
qshifter_8FAIL600
qshifter_7FAIL600
qshifter_5FAIL600
qshifter_6FAIL600