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

InstanceResultTime
qshifter_4SAT0
qshifter_3SAT0.01
qshifter_5SAT0.04
qshifter_6SAT0.15
qshifter_7SAT1.76
qshifter_8SAT15.73