Instances of family s820 solved by Caqe-bloqqer-qdo
Prenex CNF Track

InstanceResultTime
s820_d10_sSAT148.04
s820_d11_uUNSAT396.92