Instances of family Qshifter solved by hiqqer3
QBFEVAL'16 - 2QBF Track.

InstanceResultTime
qshifter_3SAT0.03
qshifter_4SAT0.03
qshifter_5SAT0.05
qshifter_6SAT0.09
qshifter_7SAT0.46
qshifter_8SAT5.71