files / problems / c7-shannon / compute / q4 / negation_sat_stdout.txt
50 B · on GitHub
good_pairs=8282 clauses=3066989 vars=70027 t=2.8s