Instances of family Qshifter solved by quantor3.0
QBFEVAL'08

InstanceResultTime
qshifter_3SAT0.01
qshifter_4SAT0.01
qshifter_5SAT0.02
qshifter_6SAT0.1
qshifter_7SAT1.34
qshifter_8SAT14.63