equal
deleted
inserted
replaced
617 end |
617 end |
618 |
618 |
619 |
619 |
620 subsection \<open>Larger examples\<close> |
620 subsection \<open>Larger examples\<close> |
621 |
621 |
622 declare[[argo_trace = basic, argo_timeout = 60]] |
622 declare[[argo_trace = basic, argo_timeout = 120]] |
623 |
623 |
624 |
624 |
625 text \<open>Translated from TPTP problem library: PUZ015-2.006.dimacs\<close> |
625 text \<open>Translated from TPTP problem library: PUZ015-2.006.dimacs\<close> |
626 |
626 |
627 lemma assumes 1: "~x0" |
627 lemma assumes 1: "~x0" |