Moved excel and counterexample files to common