message: Change the link to formal_experiment.pdf
  The former link is ../Latex/formal_experiment.pdf
  now it's ../test/formal_experiment.pdf
diff: @@ -2470,7 +2470,7 @@ higher than others. More complicated the query is and more large the
  dataset is, more apparent the phenomenon is.
  You can find more detailed information in \href{run:../pdf/gstore_test_report.pdf}{original test report}. Notice that some questions in the test report have already be solved now.
  -The latest test report is \href{run:../latex/formal_experiment.pdf}{formal experiment}.
  +The latest test report is \href{run:../test/formal_experiment.pdf}{formal experiment}.
  \clearpage
  