Bounded run time and logging