Renaming of files to fix the order.

jonaprieto · Sep 6, 2017 · 882dae5 · 882dae5
1 parent 00b3442
commit 882dae5
Show file tree

Hide file tree

Showing 48 changed files with 92 additions and 92 deletions.
diff --git a/problems/basic/basic-1.tptp → problems/basic/basic-01.tptp b/problems/basic/basic-1.tptp → problems/basic/basic-01.tptp
diff --git a/problems/basic/basic-2.tptp → problems/basic/basic-02.tptp b/problems/basic/basic-2.tptp → problems/basic/basic-02.tptp
diff --git a/problems/basic/basic-3.tptp → problems/basic/basic-03.tptp b/problems/basic/basic-3.tptp → problems/basic/basic-03.tptp
diff --git a/problems/basic/basic-4.tptp → problems/basic/basic-04.tptp b/problems/basic/basic-4.tptp → problems/basic/basic-04.tptp
diff --git a/problems/biconditional/bicond-1.tptp → problems/biconditional/bicond-01.tptp b/problems/biconditional/bicond-1.tptp → problems/biconditional/bicond-01.tptp
diff --git a/problems/biconditional/bicond-2.tptp → problems/biconditional/bicond-02.tptp b/problems/biconditional/bicond-2.tptp → problems/biconditional/bicond-02.tptp
diff --git a/problems/biconditional/bicond-3.tptp → problems/biconditional/bicond-03.tptp b/problems/biconditional/bicond-3.tptp → problems/biconditional/bicond-03.tptp
diff --git a/problems/biconditional/bicond-4.tptp → problems/biconditional/bicond-04.tptp b/problems/biconditional/bicond-4.tptp → problems/biconditional/bicond-04.tptp
diff --git a/problems/biconditional/bicond-5.tptp → problems/biconditional/bicond-05.tptp b/problems/biconditional/bicond-5.tptp → problems/biconditional/bicond-05.tptp
diff --git a/problems/biconditional/bicond-6.tptp → problems/biconditional/bicond-06.tptp b/problems/biconditional/bicond-6.tptp → problems/biconditional/bicond-06.tptp
diff --git a/problems/biconditional/bicond-7.tptp → problems/biconditional/bicond-07.tptp b/problems/biconditional/bicond-7.tptp → problems/biconditional/bicond-07.tptp
diff --git a/problems/biconditional/bicond-8.tptp → problems/biconditional/bicond-08.tptp b/problems/biconditional/bicond-8.tptp → problems/biconditional/bicond-08.tptp
diff --git a/problems/biconditional/bicond-9.tptp → problems/biconditional/bicond-09.tptp b/problems/biconditional/bicond-9.tptp → problems/biconditional/bicond-09.tptp
diff --git a/problems/conjunction/conj-1.tptp → problems/conjunction/conj-01.tptp b/problems/conjunction/conj-1.tptp → problems/conjunction/conj-01.tptp
diff --git a/problems/conjunction/conj-2.tptp → problems/conjunction/conj-02.tptp b/problems/conjunction/conj-2.tptp → problems/conjunction/conj-02.tptp
diff --git a/problems/conjunction/conj-3.tptp → problems/conjunction/conj-03.tptp b/problems/conjunction/conj-3.tptp → problems/conjunction/conj-03.tptp
diff --git a/problems/conjunction/conj-4.tptp → problems/conjunction/conj-04.tptp b/problems/conjunction/conj-4.tptp → problems/conjunction/conj-04.tptp
diff --git a/problems/conjunction/conj-5.tptp → problems/conjunction/conj-05.tptp b/problems/conjunction/conj-5.tptp → problems/conjunction/conj-05.tptp
diff --git a/problems/conjunction/conj-6.tptp → problems/conjunction/conj-06.tptp b/problems/conjunction/conj-6.tptp → problems/conjunction/conj-06.tptp
diff --git a/problems/disjunction/disj-1.tptp → problems/disjunction/disj-01.tptp b/problems/disjunction/disj-1.tptp → problems/disjunction/disj-01.tptp
diff --git a/problems/disjunction/disj-2.tptp → problems/disjunction/disj-02.tptp b/problems/disjunction/disj-2.tptp → problems/disjunction/disj-02.tptp
diff --git a/problems/disjunction/disj-3.tptp → problems/disjunction/disj-03.tptp b/problems/disjunction/disj-3.tptp → problems/disjunction/disj-03.tptp
diff --git a/problems/disjunction/disj-4.tptp → problems/disjunction/disj-04.tptp b/problems/disjunction/disj-4.tptp → problems/disjunction/disj-04.tptp
diff --git a/problems/disjunction/disj-5.tptp → problems/disjunction/disj-05.tptp b/problems/disjunction/disj-5.tptp → problems/disjunction/disj-05.tptp
diff --git a/problems/disjunction/disj-6.tptp → problems/disjunction/disj-06.tptp b/problems/disjunction/disj-6.tptp → problems/disjunction/disj-06.tptp
diff --git a/problems/disjunction/disj-7.tptp → problems/disjunction/disj-07.tptp b/problems/disjunction/disj-7.tptp → problems/disjunction/disj-07.tptp
diff --git a/problems/disjunction/disj-8.tptp → problems/disjunction/disj-08.tptp b/problems/disjunction/disj-8.tptp → problems/disjunction/disj-08.tptp
diff --git a/problems/disjunction/disj-9.tptp → problems/disjunction/disj-09.tptp b/problems/disjunction/disj-9.tptp → problems/disjunction/disj-09.tptp
diff --git a/problems/implication/impl-1.tptp → problems/implication/impl-01.tptp b/problems/implication/impl-1.tptp → problems/implication/impl-01.tptp
diff --git a/problems/implication/impl-2.tptp → problems/implication/impl-02.tptp b/problems/implication/impl-2.tptp → problems/implication/impl-02.tptp
diff --git a/problems/implication/impl-3.tptp → problems/implication/impl-03.tptp b/problems/implication/impl-3.tptp → problems/implication/impl-03.tptp
diff --git a/problems/implication/impl-4.tptp → problems/implication/impl-04.tptp b/problems/implication/impl-4.tptp → problems/implication/impl-04.tptp
diff --git a/problems/implication/impl-5.tptp → problems/implication/impl-05.tptp b/problems/implication/impl-5.tptp → problems/implication/impl-05.tptp
diff --git a/problems/implication/impl-6.tptp → problems/implication/impl-06.tptp b/problems/implication/impl-6.tptp → problems/implication/impl-06.tptp
diff --git a/problems/implication/impl-7.tptp → problems/implication/impl-07.tptp b/problems/implication/impl-7.tptp → problems/implication/impl-07.tptp
diff --git a/problems/implication/impl-8.tptp → problems/implication/impl-08.tptp b/problems/implication/impl-8.tptp → problems/implication/impl-08.tptp
diff --git a/problems/implication/impl-9.tptp → problems/implication/impl-09.tptp b/problems/implication/impl-9.tptp → problems/implication/impl-09.tptp
diff --git a/problems/negation/neg-1.tptp → problems/negation/neg-01.tptp b/problems/negation/neg-1.tptp → problems/negation/neg-01.tptp
diff --git a/problems/negation/neg-2.tptp → problems/negation/neg-02.tptp b/problems/negation/neg-2.tptp → problems/negation/neg-02.tptp
diff --git a/problems/negation/neg-3.tptp → problems/negation/neg-03.tptp b/problems/negation/neg-3.tptp → problems/negation/neg-03.tptp
diff --git a/problems/negation/neg-4.tptp → problems/negation/neg-04.tptp b/problems/negation/neg-4.tptp → problems/negation/neg-04.tptp
diff --git a/problems/negation/neg-5.tptp → problems/negation/neg-05.tptp b/problems/negation/neg-5.tptp → problems/negation/neg-05.tptp
diff --git a/problems/negation/neg-6.tptp → problems/negation/neg-06.tptp b/problems/negation/neg-6.tptp → problems/negation/neg-06.tptp
diff --git a/problems/negation/neg-7.tptp → problems/negation/neg-07.tptp b/problems/negation/neg-7.tptp → problems/negation/neg-07.tptp
diff --git a/problems/negation/neg-8.tptp → problems/negation/neg-08.tptp b/problems/negation/neg-8.tptp → problems/negation/neg-08.tptp
diff --git a/problems/negation/neg-9.tptp → problems/negation/neg-09.tptp b/problems/negation/neg-9.tptp → problems/negation/neg-09.tptp
diff --git 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
@@ -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}