Instances of family Qshifter solved by sKizzo-0.10-std
QBFEVAL'07

InstanceResultTime
qshifter_5SAT0.02
qshifter_6SAT0.12
qshifter_7SAT0.69
qshifter_8SAT5.54