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

InstanceResultTime
qshifter_3SAT0.09
qshifter_4SAT0.17
qshifter_5SAT0.98
qshifter_6SAT9.65
qshifter_7FAIL294.64
qshifter_8FAIL366.32