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

InstanceResultTime
qshifter_4SAT0.02
qshifter_3SAT0.02
qshifter_5SAT0.02
qshifter_8FAIL591.32
qshifter_7FAIL591.84
qshifter_6FAIL593.22