Instances of family Qshifter solved by struqs-10
QBFEVAL'10 - 2QBF Track.

InstanceResultTime
qshifter_3SAT0
qshifter_4SAT0
qshifter_5SAT0.01
qshifter_6SAT0.05
qshifter_7SAT0.28
qshifter_8SAT2.17