disable "too many clauses for glucose" warning (might cause problems without timeouts"
skip tautological clauses