Before revision:  We derive the efficient redundancy level as a function of tasks' service time distribution .
After revision:  We derive the efficient redundancy level as a function of the service time distribution .