Add ability to write single counterexample to file
Add click to open excel files