Instances of family Qshifter solved by Adaptive2clsQ
QBFEVAL'07

InstanceResultTime
qshifter_5SAT0.06
qshifter_6SAT0.35
qshifter_7SAT2.35
qshifter_8SAT34.96