Instances of family Qshifter solved by rareqs
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
qshifter_4SAT0
qshifter_3SAT0
qshifter_5SAT0.01
qshifter_6SAT0.04
qshifter_7SAT0.36
qshifter_8SAT5.63