From 882dae58c6f9b2ace5967a55a1272b5bed919024 Mon Sep 17 00:00:00 2001 From: Jonathan Prieto-Cubides Date: Tue, 5 Sep 2017 23:40:43 -0500 Subject: [PATCH] Renaming of files to fix the order. --- .../basic/{basic-1.tptp => basic-01.tptp} | 0 .../basic/{basic-2.tptp => basic-02.tptp} | 0 .../basic/{basic-3.tptp => basic-03.tptp} | 0 .../basic/{basic-4.tptp => basic-04.tptp} | 0 .../{bicond-1.tptp => bicond-01.tptp} | 0 .../{bicond-2.tptp => bicond-02.tptp} | 0 .../{bicond-3.tptp => bicond-03.tptp} | 0 .../{bicond-4.tptp => bicond-04.tptp} | 0 .../{bicond-5.tptp => bicond-05.tptp} | 0 .../{bicond-6.tptp => bicond-06.tptp} | 0 .../{bicond-7.tptp => bicond-07.tptp} | 0 .../{bicond-8.tptp => bicond-08.tptp} | 0 .../{bicond-9.tptp => bicond-09.tptp} | 0 .../conjunction/{conj-1.tptp => conj-01.tptp} | 0 .../conjunction/{conj-2.tptp => conj-02.tptp} | 0 .../conjunction/{conj-3.tptp => conj-03.tptp} | 0 .../conjunction/{conj-4.tptp => conj-04.tptp} | 0 .../conjunction/{conj-5.tptp => conj-05.tptp} | 0 .../conjunction/{conj-6.tptp => conj-06.tptp} | 0 .../disjunction/{disj-1.tptp => disj-01.tptp} | 0 .../disjunction/{disj-2.tptp => disj-02.tptp} | 0 .../disjunction/{disj-3.tptp => disj-03.tptp} | 0 .../disjunction/{disj-4.tptp => disj-04.tptp} | 0 .../disjunction/{disj-5.tptp => disj-05.tptp} | 0 .../disjunction/{disj-6.tptp => disj-06.tptp} | 0 .../disjunction/{disj-7.tptp => disj-07.tptp} | 0 .../disjunction/{disj-8.tptp => disj-08.tptp} | 0 .../disjunction/{disj-9.tptp => disj-09.tptp} | 0 .../implication/{impl-1.tptp => impl-01.tptp} | 0 .../implication/{impl-2.tptp => impl-02.tptp} | 0 .../implication/{impl-3.tptp => impl-03.tptp} | 0 .../implication/{impl-4.tptp => impl-04.tptp} | 0 .../implication/{impl-5.tptp => impl-05.tptp} | 0 .../implication/{impl-6.tptp => impl-06.tptp} | 0 .../implication/{impl-7.tptp => impl-07.tptp} | 0 .../implication/{impl-8.tptp => impl-08.tptp} | 0 .../implication/{impl-9.tptp => impl-09.tptp} | 0 problems/negation/{neg-1.tptp => neg-01.tptp} | 0 problems/negation/{neg-2.tptp => neg-02.tptp} | 0 problems/negation/{neg-3.tptp => neg-03.tptp} | 0 problems/negation/{neg-4.tptp => neg-04.tptp} | 0 problems/negation/{neg-5.tptp => neg-05.tptp} | 0 problems/negation/{neg-6.tptp => neg-06.tptp} | 0 problems/negation/{neg-7.tptp => neg-07.tptp} | 0 problems/negation/{neg-8.tptp => neg-08.tptp} | 0 problems/negation/{neg-9.tptp => neg-09.tptp} | 0 tptp.tex | 92 +++++++++---------- tstp.tex | 92 +++++++++---------- 48 files changed, 92 insertions(+), 92 deletions(-) rename problems/basic/{basic-1.tptp => basic-01.tptp} (100%) rename problems/basic/{basic-2.tptp => basic-02.tptp} (100%) rename problems/basic/{basic-3.tptp => basic-03.tptp} (100%) rename problems/basic/{basic-4.tptp => basic-04.tptp} (100%) rename problems/biconditional/{bicond-1.tptp => bicond-01.tptp} (100%) rename problems/biconditional/{bicond-2.tptp => bicond-02.tptp} (100%) rename problems/biconditional/{bicond-3.tptp => bicond-03.tptp} (100%) rename problems/biconditional/{bicond-4.tptp => bicond-04.tptp} (100%) rename problems/biconditional/{bicond-5.tptp => bicond-05.tptp} (100%) rename problems/biconditional/{bicond-6.tptp => bicond-06.tptp} (100%) rename problems/biconditional/{bicond-7.tptp => bicond-07.tptp} (100%) rename problems/biconditional/{bicond-8.tptp => bicond-08.tptp} (100%) rename problems/biconditional/{bicond-9.tptp => bicond-09.tptp} (100%) rename problems/conjunction/{conj-1.tptp => conj-01.tptp} (100%) rename problems/conjunction/{conj-2.tptp => conj-02.tptp} (100%) rename problems/conjunction/{conj-3.tptp => conj-03.tptp} (100%) rename problems/conjunction/{conj-4.tptp => conj-04.tptp} (100%) rename problems/conjunction/{conj-5.tptp => conj-05.tptp} (100%) rename problems/conjunction/{conj-6.tptp => conj-06.tptp} (100%) rename problems/disjunction/{disj-1.tptp => disj-01.tptp} (100%) rename problems/disjunction/{disj-2.tptp => disj-02.tptp} (100%) rename problems/disjunction/{disj-3.tptp => disj-03.tptp} (100%) rename problems/disjunction/{disj-4.tptp => disj-04.tptp} (100%) rename problems/disjunction/{disj-5.tptp => disj-05.tptp} (100%) rename problems/disjunction/{disj-6.tptp => disj-06.tptp} (100%) rename problems/disjunction/{disj-7.tptp => disj-07.tptp} (100%) rename problems/disjunction/{disj-8.tptp => disj-08.tptp} (100%) rename problems/disjunction/{disj-9.tptp => disj-09.tptp} (100%) rename problems/implication/{impl-1.tptp => impl-01.tptp} (100%) rename problems/implication/{impl-2.tptp => impl-02.tptp} (100%) rename problems/implication/{impl-3.tptp => impl-03.tptp} (100%) rename problems/implication/{impl-4.tptp => impl-04.tptp} (100%) rename problems/implication/{impl-5.tptp => impl-05.tptp} (100%) rename problems/implication/{impl-6.tptp => impl-06.tptp} (100%) rename problems/implication/{impl-7.tptp => impl-07.tptp} (100%) rename problems/implication/{impl-8.tptp => impl-08.tptp} (100%) rename problems/implication/{impl-9.tptp => impl-09.tptp} (100%) rename problems/negation/{neg-1.tptp => neg-01.tptp} (100%) rename problems/negation/{neg-2.tptp => neg-02.tptp} (100%) rename problems/negation/{neg-3.tptp => neg-03.tptp} (100%) rename problems/negation/{neg-4.tptp => neg-04.tptp} (100%) rename problems/negation/{neg-5.tptp => neg-05.tptp} (100%) rename problems/negation/{neg-6.tptp => neg-06.tptp} (100%) rename problems/negation/{neg-7.tptp => neg-07.tptp} (100%) rename problems/negation/{neg-8.tptp => neg-08.tptp} (100%) rename problems/negation/{neg-9.tptp => neg-09.tptp} (100%) diff --git a/problems/basic/basic-1.tptp b/problems/basic/basic-01.tptp similarity index 100% rename from problems/basic/basic-1.tptp rename to problems/basic/basic-01.tptp diff --git a/problems/basic/basic-2.tptp b/problems/basic/basic-02.tptp similarity index 100% rename from problems/basic/basic-2.tptp rename to problems/basic/basic-02.tptp diff --git a/problems/basic/basic-3.tptp b/problems/basic/basic-03.tptp similarity index 100% rename from problems/basic/basic-3.tptp rename to problems/basic/basic-03.tptp diff --git a/problems/basic/basic-4.tptp b/problems/basic/basic-04.tptp similarity index 100% rename from problems/basic/basic-4.tptp rename to problems/basic/basic-04.tptp diff --git a/problems/biconditional/bicond-1.tptp b/problems/biconditional/bicond-01.tptp similarity index 100% rename from problems/biconditional/bicond-1.tptp rename to problems/biconditional/bicond-01.tptp diff --git a/problems/biconditional/bicond-2.tptp b/problems/biconditional/bicond-02.tptp similarity index 100% rename from problems/biconditional/bicond-2.tptp rename to problems/biconditional/bicond-02.tptp diff --git a/problems/biconditional/bicond-3.tptp b/problems/biconditional/bicond-03.tptp similarity index 100% rename from problems/biconditional/bicond-3.tptp rename to problems/biconditional/bicond-03.tptp diff --git a/problems/biconditional/bicond-4.tptp b/problems/biconditional/bicond-04.tptp similarity index 100% rename from problems/biconditional/bicond-4.tptp rename to problems/biconditional/bicond-04.tptp diff --git a/problems/biconditional/bicond-5.tptp b/problems/biconditional/bicond-05.tptp similarity index 100% rename from problems/biconditional/bicond-5.tptp rename to problems/biconditional/bicond-05.tptp diff --git a/problems/biconditional/bicond-6.tptp b/problems/biconditional/bicond-06.tptp similarity index 100% rename from problems/biconditional/bicond-6.tptp rename to problems/biconditional/bicond-06.tptp diff --git a/problems/biconditional/bicond-7.tptp b/problems/biconditional/bicond-07.tptp similarity index 100% rename from problems/biconditional/bicond-7.tptp rename to problems/biconditional/bicond-07.tptp diff --git a/problems/biconditional/bicond-8.tptp b/problems/biconditional/bicond-08.tptp similarity index 100% rename from problems/biconditional/bicond-8.tptp rename to problems/biconditional/bicond-08.tptp diff --git a/problems/biconditional/bicond-9.tptp b/problems/biconditional/bicond-09.tptp similarity index 100% rename from problems/biconditional/bicond-9.tptp rename to problems/biconditional/bicond-09.tptp diff --git a/problems/conjunction/conj-1.tptp b/problems/conjunction/conj-01.tptp similarity index 100% rename from problems/conjunction/conj-1.tptp rename to problems/conjunction/conj-01.tptp diff --git a/problems/conjunction/conj-2.tptp b/problems/conjunction/conj-02.tptp similarity index 100% rename from problems/conjunction/conj-2.tptp rename to problems/conjunction/conj-02.tptp diff --git a/problems/conjunction/conj-3.tptp b/problems/conjunction/conj-03.tptp similarity index 100% rename from problems/conjunction/conj-3.tptp rename to problems/conjunction/conj-03.tptp diff --git a/problems/conjunction/conj-4.tptp b/problems/conjunction/conj-04.tptp similarity index 100% rename from problems/conjunction/conj-4.tptp rename to problems/conjunction/conj-04.tptp diff --git a/problems/conjunction/conj-5.tptp b/problems/conjunction/conj-05.tptp similarity index 100% rename from problems/conjunction/conj-5.tptp rename to problems/conjunction/conj-05.tptp diff --git a/problems/conjunction/conj-6.tptp b/problems/conjunction/conj-06.tptp similarity index 100% rename from problems/conjunction/conj-6.tptp rename to problems/conjunction/conj-06.tptp diff --git a/problems/disjunction/disj-1.tptp b/problems/disjunction/disj-01.tptp similarity index 100% rename from problems/disjunction/disj-1.tptp rename to problems/disjunction/disj-01.tptp diff --git a/problems/disjunction/disj-2.tptp b/problems/disjunction/disj-02.tptp similarity index 100% rename from problems/disjunction/disj-2.tptp rename to problems/disjunction/disj-02.tptp diff --git a/problems/disjunction/disj-3.tptp b/problems/disjunction/disj-03.tptp similarity index 100% rename from problems/disjunction/disj-3.tptp rename to problems/disjunction/disj-03.tptp diff --git a/problems/disjunction/disj-4.tptp b/problems/disjunction/disj-04.tptp similarity index 100% rename from problems/disjunction/disj-4.tptp rename to problems/disjunction/disj-04.tptp diff --git a/problems/disjunction/disj-5.tptp b/problems/disjunction/disj-05.tptp similarity index 100% rename from problems/disjunction/disj-5.tptp rename to problems/disjunction/disj-05.tptp diff --git a/problems/disjunction/disj-6.tptp b/problems/disjunction/disj-06.tptp similarity index 100% rename from problems/disjunction/disj-6.tptp rename to problems/disjunction/disj-06.tptp diff --git a/problems/disjunction/disj-7.tptp b/problems/disjunction/disj-07.tptp similarity index 100% rename from problems/disjunction/disj-7.tptp rename to problems/disjunction/disj-07.tptp diff --git a/problems/disjunction/disj-8.tptp b/problems/disjunction/disj-08.tptp similarity index 100% rename from problems/disjunction/disj-8.tptp rename to problems/disjunction/disj-08.tptp diff --git a/problems/disjunction/disj-9.tptp b/problems/disjunction/disj-09.tptp similarity index 100% rename from problems/disjunction/disj-9.tptp rename to problems/disjunction/disj-09.tptp diff --git a/problems/implication/impl-1.tptp b/problems/implication/impl-01.tptp similarity index 100% rename from problems/implication/impl-1.tptp rename to problems/implication/impl-01.tptp diff --git a/problems/implication/impl-2.tptp b/problems/implication/impl-02.tptp similarity index 100% rename from problems/implication/impl-2.tptp rename to problems/implication/impl-02.tptp diff --git a/problems/implication/impl-3.tptp b/problems/implication/impl-03.tptp similarity index 100% rename from problems/implication/impl-3.tptp rename to problems/implication/impl-03.tptp diff --git a/problems/implication/impl-4.tptp b/problems/implication/impl-04.tptp similarity index 100% rename from problems/implication/impl-4.tptp rename to problems/implication/impl-04.tptp diff --git a/problems/implication/impl-5.tptp b/problems/implication/impl-05.tptp similarity index 100% rename from problems/implication/impl-5.tptp rename to problems/implication/impl-05.tptp diff --git a/problems/implication/impl-6.tptp b/problems/implication/impl-06.tptp similarity index 100% rename from problems/implication/impl-6.tptp rename to problems/implication/impl-06.tptp diff --git a/problems/implication/impl-7.tptp b/problems/implication/impl-07.tptp similarity index 100% rename from problems/implication/impl-7.tptp rename to problems/implication/impl-07.tptp diff --git a/problems/implication/impl-8.tptp b/problems/implication/impl-08.tptp similarity index 100% rename from problems/implication/impl-8.tptp rename to problems/implication/impl-08.tptp diff --git a/problems/implication/impl-9.tptp b/problems/implication/impl-09.tptp similarity index 100% rename from problems/implication/impl-9.tptp rename to problems/implication/impl-09.tptp diff --git a/problems/negation/neg-1.tptp b/problems/negation/neg-01.tptp similarity index 100% rename from problems/negation/neg-1.tptp rename to problems/negation/neg-01.tptp diff --git a/problems/negation/neg-2.tptp b/problems/negation/neg-02.tptp similarity index 100% rename from problems/negation/neg-2.tptp rename to problems/negation/neg-02.tptp diff --git a/problems/negation/neg-3.tptp b/problems/negation/neg-03.tptp similarity index 100% rename from problems/negation/neg-3.tptp rename to problems/negation/neg-03.tptp diff --git a/problems/negation/neg-4.tptp b/problems/negation/neg-04.tptp similarity index 100% rename from problems/negation/neg-4.tptp rename to problems/negation/neg-04.tptp diff --git a/problems/negation/neg-5.tptp b/problems/negation/neg-05.tptp similarity index 100% rename from problems/negation/neg-5.tptp rename to problems/negation/neg-05.tptp diff --git a/problems/negation/neg-6.tptp b/problems/negation/neg-06.tptp similarity index 100% rename from problems/negation/neg-6.tptp rename to problems/negation/neg-06.tptp diff --git a/problems/negation/neg-7.tptp b/problems/negation/neg-07.tptp similarity index 100% rename from problems/negation/neg-7.tptp rename to problems/negation/neg-07.tptp diff --git a/problems/negation/neg-8.tptp b/problems/negation/neg-08.tptp similarity index 100% rename from problems/negation/neg-8.tptp rename to problems/negation/neg-08.tptp diff --git a/problems/negation/neg-9.tptp b/problems/negation/neg-09.tptp similarity index 100% rename from problems/negation/neg-9.tptp rename to problems/negation/neg-09.tptp diff --git a/tptp.tex b/tptp.tex index 8b49f90..daf298c 100644 --- a/tptp.tex +++ b/tptp.tex @@ -160,29 +160,29 @@ \section{\tptp Format} \section{TPTP Problems} \subsection{Basic} -\problemtptp[basic-1.tptp]{problems/basic/basic-1.tptp}{1} -\problemtptp[basic-2.tptp]{problems/basic/basic-2.tptp}{1} -\problemtptp[basic-3.tptp]{problems/basic/basic-3.tptp}{1} -\problemtptp[basic-4.tptp]{problems/basic/basic-4.tptp}{1} +\problemtptp[basic-01.tptp]{problems/basic/basic-01.tptp}{1} +\problemtptp[basic-02.tptp]{problems/basic/basic-02.tptp}{1} +\problemtptp[basic-03.tptp]{problems/basic/basic-03.tptp}{1} +\problemtptp[basic-04.tptp]{problems/basic/basic-04.tptp}{1} \subsection{Conjunction} -\problemtptp[conj-1.tptp]{problems/conjunction/conj-1.tptp}{1} -\problemtptp[conj-2.tptp]{problems/conjunction/conj-2.tptp}{1} -\problemtptp[conj-3.tptp]{problems/conjunction/conj-3.tptp}{1} -\problemtptp[conj-4.tptp]{problems/conjunction/conj-4.tptp}{1} -\problemtptp[conj-5.tptp]{problems/conjunction/conj-5.tptp}{1} -\problemtptp[conj-6.tptp]{problems/conjunction/conj-6.tptp}{1} +\problemtptp[conj-01.tptp]{problems/conjunction/conj-01.tptp}{1} +\problemtptp[conj-02.tptp]{problems/conjunction/conj-02.tptp}{1} +\problemtptp[conj-03.tptp]{problems/conjunction/conj-03.tptp}{1} +\problemtptp[conj-04.tptp]{problems/conjunction/conj-04.tptp}{1} +\problemtptp[conj-05.tptp]{problems/conjunction/conj-05.tptp}{1} +\problemtptp[conj-06.tptp]{problems/conjunction/conj-06.tptp}{1} \subsection{Implication} -\problemtptp[impl-1.tptp]{problems/implication/impl-1.tptp}{1} -\problemtptp[impl-2.tptp]{problems/implication/impl-2.tptp}{1} -\problemtptp[impl-3.tptp]{problems/implication/impl-3.tptp}{1} -\problemtptp[impl-4.tptp]{problems/implication/impl-4.tptp}{1} -\problemtptp[impl-5.tptp]{problems/implication/impl-5.tptp}{1} -\problemtptp[impl-6.tptp]{problems/implication/impl-6.tptp}{1} -\problemtptp[impl-7.tptp]{problems/implication/impl-7.tptp}{1} -\problemtptp[impl-8.tptp]{problems/implication/impl-8.tptp}{1} -\problemtptp[impl-9.tptp]{problems/implication/impl-9.tptp}{1} +\problemtptp[impl-01.tptp]{problems/implication/impl-01.tptp}{1} +\problemtptp[impl-02.tptp]{problems/implication/impl-02.tptp}{1} +\problemtptp[impl-03.tptp]{problems/implication/impl-03.tptp}{1} +\problemtptp[impl-04.tptp]{problems/implication/impl-04.tptp}{1} +\problemtptp[impl-05.tptp]{problems/implication/impl-05.tptp}{1} +\problemtptp[impl-06.tptp]{problems/implication/impl-06.tptp}{1} +\problemtptp[impl-07.tptp]{problems/implication/impl-07.tptp}{1} +\problemtptp[impl-08.tptp]{problems/implication/impl-08.tptp}{1} +\problemtptp[impl-09.tptp]{problems/implication/impl-09.tptp}{1} \problemtptp[impl-10.tptp]{problems/implication/impl-10.tptp}{1} \problemtptp[impl-11.tptp]{problems/implication/impl-11.tptp}{1} \problemtptp[impl-12.tptp]{problems/implication/impl-12.tptp}{1} @@ -195,15 +195,15 @@ \subsection{Implication} \subsection{Disjunction} % -\problemtptp[disj-1.tptp]{problems/disjunction/disj-1.tptp}{1} -\problemtptp[disj-2.tptp]{problems/disjunction/disj-2.tptp}{1} -\problemtptp[disj-3.tptp]{problems/disjunction/disj-3.tptp}{1} -\problemtptp[disj-4.tptp]{problems/disjunction/disj-4.tptp}{1} -\problemtptp[disj-5.tptp]{problems/disjunction/disj-5.tptp}{1} -\problemtptp[disj-6.tptp]{problems/disjunction/disj-6.tptp}{1} -\problemtptp[disj-7.tptp]{problems/disjunction/disj-7.tptp}{1} -\problemtptp[disj-8.tptp]{problems/disjunction/disj-8.tptp}{1} -\problemtptp[disj-9.tptp]{problems/disjunction/disj-9.tptp}{1} +\problemtptp[disj-01.tptp]{problems/disjunction/disj-01.tptp}{1} +\problemtptp[disj-02.tptp]{problems/disjunction/disj-02.tptp}{1} +\problemtptp[disj-03.tptp]{problems/disjunction/disj-03.tptp}{1} +\problemtptp[disj-04.tptp]{problems/disjunction/disj-04.tptp}{1} +\problemtptp[disj-05.tptp]{problems/disjunction/disj-05.tptp}{1} +\problemtptp[disj-06.tptp]{problems/disjunction/disj-06.tptp}{1} +\problemtptp[disj-07.tptp]{problems/disjunction/disj-07.tptp}{1} +\problemtptp[disj-08.tptp]{problems/disjunction/disj-08.tptp}{1} +\problemtptp[disj-09.tptp]{problems/disjunction/disj-09.tptp}{1} \problemtptp[disj-10.tptp]{problems/disjunction/disj-10.tptp}{1} \problemtptp[disj-11.tptp]{problems/disjunction/disj-11.tptp}{1} \problemtptp[disj-12.tptp]{problems/disjunction/disj-12.tptp}{1} @@ -213,15 +213,15 @@ \subsection{Disjunction} % \subsection{Biimplication} -\problemtptp[bicond-1.tptp]{problems/biconditional/bicond-1.tptp}{1} -\problemtptp[bicond-2.tptp]{problems/biconditional/bicond-2.tptp}{1} -\problemtptp[bicond-3.tptp]{problems/biconditional/bicond-3.tptp}{1} -\problemtptp[bicond-4.tptp]{problems/biconditional/bicond-4.tptp}{1} -\problemtptp[bicond-5.tptp]{problems/biconditional/bicond-5.tptp}{1} -\problemtptp[bicond-6.tptp]{problems/biconditional/bicond-6.tptp}{1} -\problemtptp[bicond-7.tptp]{problems/biconditional/bicond-7.tptp}{1} -\problemtptp[bicond-8.tptp]{problems/biconditional/bicond-8.tptp}{1} -\problemtptp[bicond-9.tptp]{problems/biconditional/bicond-9.tptp}{1} +\problemtptp[bicond-01.tptp]{problems/biconditional/bicond-01.tptp}{1} +\problemtptp[bicond-02.tptp]{problems/biconditional/bicond-02.tptp}{1} +\problemtptp[bicond-03.tptp]{problems/biconditional/bicond-03.tptp}{1} +\problemtptp[bicond-04.tptp]{problems/biconditional/bicond-04.tptp}{1} +\problemtptp[bicond-05.tptp]{problems/biconditional/bicond-05.tptp}{1} +\problemtptp[bicond-06.tptp]{problems/biconditional/bicond-06.tptp}{1} +\problemtptp[bicond-07.tptp]{problems/biconditional/bicond-07.tptp}{1} +\problemtptp[bicond-08.tptp]{problems/biconditional/bicond-08.tptp}{1} +\problemtptp[bicond-09.tptp]{problems/biconditional/bicond-09.tptp}{1} \problemtptp[bicond-10.tptp]{problems/biconditional/bicond-10.tptp}{1} \problemtptp[bicond-11.tptp]{problems/biconditional/bicond-11.tptp}{1} \problemtptp[bicond-12.tptp]{problems/biconditional/bicond-12.tptp}{1} @@ -230,15 +230,15 @@ \subsection{Biimplication} \subsection{Negation} -\problemtptp[neg-1.tptp]{problems/negation/neg-1.tptp}{1} -\problemtptp[neg-2.tptp]{problems/negation/neg-2.tptp}{1} -\problemtptp[neg-3.tptp]{problems/negation/neg-3.tptp}{1} -\problemtptp[neg-4.tptp]{problems/negation/neg-4.tptp}{1} -\problemtptp[neg-5.tptp]{problems/negation/neg-5.tptp}{1} -\problemtptp[neg-6.tptp]{problems/negation/neg-6.tptp}{1} -\problemtptp[neg-7.tptp]{problems/negation/neg-7.tptp}{1} -\problemtptp[neg-8.tptp]{problems/negation/neg-8.tptp}{1} -\problemtptp[neg-9.tptp]{problems/negation/neg-9.tptp}{1} +\problemtptp[neg-01.tptp]{problems/negation/neg-01.tptp}{1} +\problemtptp[neg-02.tptp]{problems/negation/neg-02.tptp}{1} +\problemtptp[neg-03.tptp]{problems/negation/neg-03.tptp}{1} +\problemtptp[neg-04.tptp]{problems/negation/neg-04.tptp}{1} +\problemtptp[neg-05.tptp]{problems/negation/neg-05.tptp}{1} +\problemtptp[neg-06.tptp]{problems/negation/neg-06.tptp}{1} +\problemtptp[neg-07.tptp]{problems/negation/neg-07.tptp}{1} +\problemtptp[neg-08.tptp]{problems/negation/neg-08.tptp}{1} +\problemtptp[neg-09.tptp]{problems/negation/neg-09.tptp}{1} \problemtptp[neg-10.tptp]{problems/negation/neg-10.tptp}{1} \problemtptp[neg-11.tptp]{problems/negation/neg-11.tptp}{1} \problemtptp[neg-12.tptp]{problems/negation/neg-12.tptp}{1} diff --git a/tstp.tex b/tstp.tex index 05b77c2..c38b362 100644 --- a/tstp.tex +++ b/tstp.tex @@ -101,29 +101,29 @@ \section{TSTP Proofs} Metis Prover (2.3 - release 20170315) found these solutions. \subsection{Basic} -\solutiontstp[basic-1.tptp]{problems/basic/basic-1.tstp} -\solutiontstp[basic-2.tptp]{problems/basic/basic-2.tstp} -\solutiontstp[basic-3.tptp]{problems/basic/basic-3.tstp} -\solutiontstp[basic-4.tptp]{problems/basic/basic-4.tstp} +\solutiontstp[basic-01.tptp]{problems/basic/basic-01.tstp} +\solutiontstp[basic-02.tptp]{problems/basic/basic-02.tstp} +\solutiontstp[basic-03.tptp]{problems/basic/basic-03.tstp} +\solutiontstp[basic-04.tptp]{problems/basic/basic-04.tstp} \subsection{Conjunction} -\solutiontstp[conj-1.tptp]{problems/conjunction/conj-1.tstp} -\solutiontstp[conj-2.tptp]{problems/conjunction/conj-2.tstp} -\solutiontstp[conj-3.tptp]{problems/conjunction/conj-3.tstp} -\solutiontstp[conj-4.tptp]{problems/conjunction/conj-4.tstp} -\solutiontstp[conj-5.tptp]{problems/conjunction/conj-5.tstp} -\solutiontstp[conj-6.tptp]{problems/conjunction/conj-6.tstp} +\solutiontstp[conj-01.tptp]{problems/conjunction/conj-01.tstp} +\solutiontstp[conj-02.tptp]{problems/conjunction/conj-02.tstp} +\solutiontstp[conj-03.tptp]{problems/conjunction/conj-03.tstp} +\solutiontstp[conj-04.tptp]{problems/conjunction/conj-04.tstp} +\solutiontstp[conj-05.tptp]{problems/conjunction/conj-05.tstp} +\solutiontstp[conj-06.tptp]{problems/conjunction/conj-06.tstp} \subsection{Implication} -\solutiontstp[impl-1.tptp]{problems/implication/impl-1.tstp} -\solutiontstp[impl-2.tptp]{problems/implication/impl-2.tstp} -\solutiontstp[impl-3.tptp]{problems/implication/impl-3.tstp} -\solutiontstp[impl-4.tptp]{problems/implication/impl-4.tstp} -\solutiontstp[impl-5.tptp]{problems/implication/impl-5.tstp} -\solutiontstp[impl-6.tptp]{problems/implication/impl-6.tstp} -\solutiontstp[impl-7.tptp]{problems/implication/impl-7.tstp} -\solutiontstp[impl-8.tptp]{problems/implication/impl-8.tstp} -\solutiontstp[impl-9.tptp]{problems/implication/impl-9.tstp} +\solutiontstp[impl-01.tptp]{problems/implication/impl-01.tstp} +\solutiontstp[impl-02.tptp]{problems/implication/impl-02.tstp} +\solutiontstp[impl-03.tptp]{problems/implication/impl-03.tstp} +\solutiontstp[impl-04.tptp]{problems/implication/impl-04.tstp} +\solutiontstp[impl-05.tptp]{problems/implication/impl-05.tstp} +\solutiontstp[impl-06.tptp]{problems/implication/impl-06.tstp} +\solutiontstp[impl-07.tptp]{problems/implication/impl-07.tstp} +\solutiontstp[impl-08.tptp]{problems/implication/impl-08.tstp} +\solutiontstp[impl-09.tptp]{problems/implication/impl-09.tstp} \solutiontstp[impl-10.tptp]{problems/implication/impl-10.tstp} \solutiontstp[impl-11.tptp]{problems/implication/impl-11.tstp} \solutiontstp[impl-12.tptp]{problems/implication/impl-12.tstp} @@ -136,15 +136,15 @@ \subsection{Implication} \subsection{Disjunction} % -\solutiontstp[disj-1.tptp]{problems/disjunction/disj-1.tstp} -\solutiontstp[disj-2.tptp]{problems/disjunction/disj-2.tstp} -\solutiontstp[disj-3.tptp]{problems/disjunction/disj-3.tstp} -\solutiontstp[disj-4.tptp]{problems/disjunction/disj-4.tstp} -\solutiontstp[disj-5.tptp]{problems/disjunction/disj-5.tstp} -\solutiontstp[disj-6.tptp]{problems/disjunction/disj-6.tstp} -\solutiontstp[disj-7.tptp]{problems/disjunction/disj-7.tstp} -\solutiontstp[disj-8.tptp]{problems/disjunction/disj-8.tstp} -\solutiontstp[disj-9.tptp]{problems/disjunction/disj-9.tstp} +\solutiontstp[disj-01.tptp]{problems/disjunction/disj-01.tstp} +\solutiontstp[disj-02.tptp]{problems/disjunction/disj-02.tstp} +\solutiontstp[disj-03.tptp]{problems/disjunction/disj-03.tstp} +\solutiontstp[disj-04.tptp]{problems/disjunction/disj-04.tstp} +\solutiontstp[disj-05.tptp]{problems/disjunction/disj-05.tstp} +\solutiontstp[disj-06.tptp]{problems/disjunction/disj-06.tstp} +\solutiontstp[disj-07.tptp]{problems/disjunction/disj-07.tstp} +\solutiontstp[disj-08.tptp]{problems/disjunction/disj-08.tstp} +\solutiontstp[disj-09.tptp]{problems/disjunction/disj-09.tstp} \solutiontstp[disj-10.tptp]{problems/disjunction/disj-10.tstp} \solutiontstp[disj-11.tptp]{problems/disjunction/disj-11.tstp} \solutiontstp[disj-12.tptp]{problems/disjunction/disj-12.tstp} @@ -154,15 +154,15 @@ \subsection{Disjunction} % \subsection{Biimplication} -\solutiontstp[bicond-1.tptp]{problems/biconditional/bicond-1.tstp} -\solutiontstp[bicond-2.tptp]{problems/biconditional/bicond-2.tstp} -\solutiontstp[bicond-3.tptp]{problems/biconditional/bicond-3.tstp} -\solutiontstp[bicond-4.tptp]{problems/biconditional/bicond-4.tstp} -\solutiontstp[bicond-5.tptp]{problems/biconditional/bicond-5.tstp} -\solutiontstp[bicond-6.tptp]{problems/biconditional/bicond-6.tstp} -\solutiontstp[bicond-7.tptp]{problems/biconditional/bicond-7.tstp} -\solutiontstp[bicond-8.tptp]{problems/biconditional/bicond-8.tstp} -\solutiontstp[bicond-9.tptp]{problems/biconditional/bicond-9.tstp} +\solutiontstp[bicond-01.tptp]{problems/biconditional/bicond-01.tstp} +\solutiontstp[bicond-02.tptp]{problems/biconditional/bicond-02.tstp} +\solutiontstp[bicond-03.tptp]{problems/biconditional/bicond-03.tstp} +\solutiontstp[bicond-04.tptp]{problems/biconditional/bicond-04.tstp} +\solutiontstp[bicond-05.tptp]{problems/biconditional/bicond-05.tstp} +\solutiontstp[bicond-06.tptp]{problems/biconditional/bicond-06.tstp} +\solutiontstp[bicond-07.tptp]{problems/biconditional/bicond-07.tstp} +\solutiontstp[bicond-08.tptp]{problems/biconditional/bicond-08.tstp} +\solutiontstp[bicond-09.tptp]{problems/biconditional/bicond-09.tstp} \solutiontstp[bicond-10.tptp]{problems/biconditional/bicond-10.tstp} \solutiontstp[bicond-11.tptp]{problems/biconditional/bicond-11.tstp} \solutiontstp[bicond-12.tptp]{problems/biconditional/bicond-12.tstp} @@ -171,15 +171,15 @@ \subsection{Biimplication} \subsection{Negation} -\solutiontstp[neg-1.tptp]{problems/negation/neg-1.tstp} -\solutiontstp[neg-2.tptp]{problems/negation/neg-2.tstp} -\solutiontstp[neg-3.tptp]{problems/negation/neg-3.tstp} -\solutiontstp[neg-4.tptp]{problems/negation/neg-4.tstp} -\solutiontstp[neg-5.tptp]{problems/negation/neg-5.tstp} -\solutiontstp[neg-6.tptp]{problems/negation/neg-6.tstp} -\solutiontstp[neg-7.tptp]{problems/negation/neg-7.tstp} -\solutiontstp[neg-8.tptp]{problems/negation/neg-8.tstp} -\solutiontstp[neg-9.tptp]{problems/negation/neg-9.tstp} +\solutiontstp[neg-01.tptp]{problems/negation/neg-01.tstp} +\solutiontstp[neg-02.tptp]{problems/negation/neg-02.tstp} +\solutiontstp[neg-03.tptp]{problems/negation/neg-03.tstp} +\solutiontstp[neg-04.tptp]{problems/negation/neg-04.tstp} +\solutiontstp[neg-05.tptp]{problems/negation/neg-05.tstp} +\solutiontstp[neg-06.tptp]{problems/negation/neg-06.tstp} +\solutiontstp[neg-07.tptp]{problems/negation/neg-07.tstp} +\solutiontstp[neg-08.tptp]{problems/negation/neg-08.tstp} +\solutiontstp[neg-09.tptp]{problems/negation/neg-09.tstp} \solutiontstp[neg-10.tptp]{problems/negation/neg-10.tstp} \solutiontstp[neg-11.tptp]{problems/negation/neg-11.tstp} \solutiontstp[neg-12.tptp]{problems/negation/neg-12.tstp}