Polynomial runtime in simulatability definitions*

Polynomial runtime in simulatability definitions*