Removed starexec spurious directory

bd0a507d · Pascal Fontaine · 6db05eca · bd0a507d · bd0a507d · bd0a507d
Commit bd0a507d authored May 02, 2016 by Pascal Fontaine
--- a/FFT/905825/smtlib.630785.smt2
+++ b/FFT/905825/smtlib.630785.smt2
--- a/FFT/905831/smtlib.630867.smt2
+++ b/FFT/905831/smtlib.630867.smt2
--- a/FFT/905832/smtlib.630949.smt2
+++ b/FFT/905832/smtlib.630949.smt2
--- a/FFT/905828/smtlib.631031.smt2
+++ b/FFT/905828/smtlib.631031.smt2
--- a/FFT/905827/smtlib.631113.smt2
+++ b/FFT/905827/smtlib.631113.smt2
--- a/FFT/905829/smtlib.631195.smt2
+++ b/FFT/905829/smtlib.631195.smt2
--- a/FFT/905823/smtlib.631277.smt2
+++ b/FFT/905823/smtlib.631277.smt2
--- a/FFT/905833/smtlib.640350.smt2
+++ b/FFT/905833/smtlib.640350.smt2
--- a/FFT/905819/z3.630166.smt2
+++ b/FFT/905819/z3.630166.smt2
--- a/FFT/905834/z3.631468.smt2
+++ b/FFT/905834/z3.631468.smt2
--- a/FFT/905824/z3.631550.smt2
+++ b/FFT/905824/z3.631550.smt2
--- a/FFT/905820/z3.631632.smt2
+++ b/FFT/905820/z3.631632.smt2
--- a/FFT/905822/z3.631714.smt2
+++ b/FFT/905822/z3.631714.smt2
--- a/FFT/905835/z3.631796.smt2
+++ b/FFT/905835/z3.631796.smt2
--- a/FFT/905826/z3.631878.smt2
+++ b/FFT/905826/z3.631878.smt2
--- a/FFT/905830/z3.631960.smt2
+++ b/FFT/905830/z3.631960.smt2
--- a/FFT/905821/z3.641736.smt2
+++ b/FFT/905821/z3.641736.smt2
--- a/cas/416581/10u05.04.smt2
+++ b/cas/416581/10u05.04.smt2
--- a/cas/416582/20revert.u.smt2
+++ b/cas/416582/20revert.u.smt2
--- a/cas/416583/20u10.09.smt2
+++ b/cas/416583/20u10.09.smt2