Instances of family s820 solved by GhostQ___plain_pcnf_2019
Prenex CNF Track

InstanceResultTime
s820_d10_sSAT6.4
s820_d11_uUNSAT8.12