Instances of family Qshifter solved by QChaffLearn
QBFEVAL'05

InstanceResultTime
qshifter_3SAT0.04
qshifter_4SAT89.72
qshifter_5FAIL900.24
qshifter_8FAIL900.73
qshifter_7FAIL900.88
qshifter_6FAIL900.96