[(4,(Died "Bid too much" 44 0,("",Just (6.0e-2,2.568)))),(5,(Died "Stepped on lethal" 58 168,("",Just (0.39,2.828)))),(7,(Died "Stepped on lethal" 0 379,("",Just (0.18000000000000002,3.042)))),(8,(Died "Stepped on lethal" 0 391,("",Just (4.0e-2,0.367)))),(9,(Died "Stepped on lethal" 0 380,("Aborted",Just (4.0e-2,1.118)))),(11,(Died "Stepped on lethal" 25 284,("",Just (0.7000000000000001,3.409)))),(12,(Died "Bad reply: " 0 399,("Segmentation fault",Just (2.0e-2,0.192)))),(14,(Died "Bad reply: " 0 400,("",Just (0.13,0.406))))]