Bad Conversion fixed, tested Ahn's code and all versions returned reachable except ASASPTime SA; there appears to be no error in the converted file so I will ask the creators if this is a bug on my side; Version updated to reflect changes
Timing 2015-08-15 00:52:44.968 1439614364968 2015-08-15 00:52:46.017 1439614366017 GOAL_REACHABLE /home/jmshahen/repo/mohawk-t-testing-tool/data/Ahn/test.st.mohawk.T.mohawk 1049 Process Helper
Timing 2015-08-15 00:52:46.056 1439614366056 2015-08-15 00:52:46.433 1439614366433 GOAL_REACHABLE /home/jmshahen/repo/mohawk-t-testing-tool/data/Ahn/test.st.mohawk.T.mohawk 377 Process Helper
Timing 2015-08-15 00:52:46.434 1439614366434 2015-08-15 00:52:46.728 1439614366728 GOAL_REACHABLE /home/jmshahen/repo/mohawk-t-testing-tool/data/Ahn/test.st.mohawk.T.mohawk 294 Process Helper
Timing 2015-08-15 00:52:46.729 1439614366729 2015-08-15 00:52:47.052 1439614367052 GOAL_REACHABLE /home/jmshahen/repo/mohawk-t-testing-tool/data/Ahn/test.st.mohawk.T.mohawk 323 Process Helper
Timing 2015-08-15 00:52:47.053 1439614367053 2015-08-15 00:52:47.381 1439614367381 GOAL_REACHABLE /home/jmshahen/repo/mohawk-t-testing-tool/data/Ahn/test.st.mohawk.T.mohawk 328 Process Helper
Timing 2015-08-15 00:52:47.382 1439614367382 2015-08-15 00:52:47.465 1439614367465 GOAL_UNREACHABLE /home/jmshahen/repo/mohawk-t-testing-tool/data/Ahn/test.st.mohawk.T.asaptime.sa 83 Process Helper
Timing 2015-08-15 00:52:47.466 1439614367466 2015-08-15 00:52:47.491 1439614367491 GOAL_UNREACHABLE /home/jmshahen/repo/mohawk-t-testing-tool/data/Ahn/test.st.mohawk.T.asaptime.sa 25 Process Helper
Timing 2015-08-15 00:52:47.492 1439614367492 2015-08-15 00:52:47.519 1439614367519 GOAL_UNREACHABLE /home/jmshahen/repo/mohawk-t-testing-tool/data/Ahn/test.st.mohawk.T.asaptime.sa 27 Process Helper
Timing 2015-08-15 00:52:47.52 1439614367520 2015-08-15 00:52:47.544 1439614367544 GOAL_UNREACHABLE /home/jmshahen/repo/mohawk-t-testing-tool/data/Ahn/test.st.mohawk.T.asaptime.sa 24 Process Helper
Timing 2015-08-15 00:52:47.545 1439614367545 2015-08-15 00:52:47.573 1439614367573 GOAL_UNREACHABLE /home/jmshahen/repo/mohawk-t-testing-tool/data/Ahn/test.st.mohawk.T.asaptime.sa 28 Process Helper
Timing 2015-08-15 00:52:47.587 1439614367587 2015-08-15 00:53:01.412 1439614381412 GOAL_REACHABLE /home/jmshahen/repo/mohawk-t-testing-tool/data/Ahn/test.st.mohawk.T.asaptime.nsa 13825 Process Helper
Timing 2015-08-15 00:53:01.414 1439614381414 2015-08-15 00:53:02.834 1439614382834 GOAL_REACHABLE /home/jmshahen/repo/mohawk-t-testing-tool/data/Ahn/test.st.mohawk.T.asaptime.nsa 1420 Process Helper
Timing 2015-08-15 00:53:02.835 1439614382835 2015-08-15 00:53:04.208 1439614384208 GOAL_REACHABLE /home/jmshahen/repo/mohawk-t-testing-tool/data/Ahn/test.st.mohawk.T.asaptime.nsa 1373 Process Helper
Timing 2015-08-15 00:53:04.209 1439614384209 2015-08-15 00:53:05.541 1439614385541 GOAL_REACHABLE /home/jmshahen/repo/mohawk-t-testing-tool/data/Ahn/test.st.mohawk.T.asaptime.nsa 1332 Process Helper
Timing 2015-08-15 00:53:05.542 1439614385542 2015-08-15 00:53:06.916 1439614386916 GOAL_REACHABLE /home/jmshahen/repo/mohawk-t-testing-tool/data/Ahn/test.st.mohawk.T.asaptime.nsa 1374 Process Helper
Timing 2015-08-15 00:53:06.918 1439614386918 2015-08-15 00:53:06.934 1439614386934 GOAL_REACHABLE /home/jmshahen/repo/mohawk-t-testing-tool/data/Ahn/test.st.mohawk.T.trole 16 Process Helper
Timing 2015-08-15 00:53:06.934 1439614386934 2015-08-15 00:53:06.938 1439614386938 GOAL_REACHABLE /home/jmshahen/repo/mohawk-t-testing-tool/data/Ahn/test.st.mohawk.T.trole 4 Process Helper
Timing 2015-08-15 00:53:06.938 1439614386938 2015-08-15 00:53:06.941 1439614386941 GOAL_REACHABLE /home/jmshahen/repo/mohawk-t-testing-tool/data/Ahn/test.st.mohawk.T.trole 3 Process Helper
Timing 2015-08-15 00:53:06.942 1439614386942 2015-08-15 00:53:06.944 1439614386944 GOAL_REACHABLE /home/jmshahen/repo/mohawk-t-testing-tool/data/Ahn/test.st.mohawk.T.trole 2 Process Helper
Timing 2015-08-15 00:53:06.945 1439614386945 2015-08-15 00:53:06.948 1439614386948 GOAL_REACHABLE /home/jmshahen/repo/mohawk-t-testing-tool/data/Ahn/test.st.mohawk.T.trole 3 Process Helper