UISYS SMT CHECKER ( PROFILER )