files / problems / c7-shannon / compute / q2 / hamming11_sat_log.txt

99 B · on GitHub

cands_le3 1767
clauses 153218 vars 16721
sat False seconds 103.70
no 368 in <=3-blocker Hamming-11