files / problems / covering / compute / q4 / sat_n49.log
37 B · on GitHub
clauses=1142916 vars=571502 exit 137