This _results directory contains implementation resutls of AutoMathIC after you run the code instructed in the Usage section at here. Becuase of the space constraints, you can download all materials from here. Next, please uncompress the tgz file and copy and paste all files in the _results directory.