Skip to content

print more info on SAT solver run

currently, we have

CNF 175473 vars 1611755 clauses

but I also want to see (in that line, grep-able)

  • who built the formula (what options were used)
  • how long did the solver run, with what result status (sat, unsat, killed)