SMT JAR updated, timer bug fixed