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

InstanceResultTime
qshifter_3SAT0.03
qshifter_4SAT200.77
qshifter_5FAIL1200.16
qshifter_8FAIL1200.16
qshifter_7FAIL1200.17
qshifter_6FAIL1200.17