Statistics for Eventually Durable State Machines