You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
c p cnf 3560 69469
c clauses found (binary, tautologies, nonbinary): 69469 = 668 + 0 + 68801
p cnf 648 668
The initial comment line, however, is treated as the "p cnf 3560 69469" line, leading DRAT-trim to ignore the actual "p cnf" line two lines later, and to complain about not enough clauses being present.
Workaround: Strip out all comment lines from the INPUT file before feeding it to DRAT-trim.
The text was updated successfully, but these errors were encountered:
I have a DIMACS format file that starts
c p cnf 3560 69469
c clauses found (binary, tautologies, nonbinary): 69469 = 668 + 0 + 68801
p cnf 648 668
The initial comment line, however, is treated as the "p cnf 3560 69469" line, leading DRAT-trim to ignore the actual "p cnf" line two lines later, and to complain about not enough clauses being present.
Workaround: Strip out all comment lines from the INPUT file before feeding it to DRAT-trim.
The text was updated successfully, but these errors were encountered: