adding tpi script for automatic experiment with SystemOnTPTP