Instances of family Qshifter solved by aigqbf_s
QBFEVAL'07

InstanceResultTime
qshifter_5SAT0.74
qshifter_6SAT4.71
qshifter_7SAT39.52
qshifter_8SAT432.66