The Case of General Processing Time Distribution