Some rewrite to arena stop and timelimit