Sota solver results for family s820
Prenex CNF Track


InstanceSolverResultTime
s820_d10_sGhostQ___plain_pcnf_2019SAT6.4
s820_d11_uGhostQ___plain_pcnf_2019UNSAT8.12