Instances of family Qshifter solved by cheq
QBFEVAL'16 - Evaluate & Certify (non-competitive) Track.

InstanceResultTime
qshifter_3SAT0.17
qshifter_8FAIL600.63
qshifter_5FAIL604.83
qshifter_4FAIL604.93
qshifter_7FAIL609.64
qshifter_6FAIL612.53