Instances of family Qshifter solved by ncQuBE1.0
QBFEVAL'07

InstanceResultTime
qshifter_5SAT0.18
qshifter_6SAT2.46
qshifter_7SAT43.43
qshifter_8FAIL600