Removed starexec_description.txt

b3a5a259 · Pascal Fontaine · 90b00730 · 90b00730 · 90b00730 · 90b00730
Commit b3a5a259 authored May 03, 2016 by Pascal Fontaine
--- a/FFT/starexec_description.txt
+++ b/FFT/starexec_description.txt
-no description
\ No newline at end of file
--- a/cpachecker-bmc-svcomp14/starexec_description.txt
+++ b/cpachecker-bmc-svcomp14/starexec_description.txt
-no description
\ No newline at end of file
--- a/cpachecker-induction-svcomp14/starexec_description.txt
+++ b/cpachecker-induction-svcomp14/starexec_description.txt
-no description
\ No newline at end of file
--- a/mathsat/RandomCoupled/starexec_description.txt
+++ b/mathsat/RandomCoupled/starexec_description.txt
-no description
\ No newline at end of file
--- a/mathsat/RandomDecoupled/starexec_description.txt
+++ b/mathsat/RandomDecoupled/starexec_description.txt
-no description
\ No newline at end of file
--- a/mathsat/starexec_description.txt
+++ b/mathsat/starexec_description.txt
-no description
\ No newline at end of file
--- a/starexec_description.txt
+++ b/starexec_description.txt
-no description
\ No newline at end of file