files / problems / c7-shannon / compute / q4 / hamming13_sat_stdout.txt

78 B · on GitHub

cands_le3=1767
clauses=153967 vars=16831
UNSAT or unknown sat=False t=548.21s