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

InstanceResultTime
qshifter_3SAT0.03
qshifter_4SAT0.03
qshifter_5SAT0.04
qshifter_6SAT0.09
qshifter_7SAT0.46
qshifter_8SAT5.75