[(4,(Died "Bid too much" 55 0,("",Just (7.0e-2,3.151)))),(5,(Died "Stepped on lethal" 3 367,("",Just (0.16999999999999998,1.332)))),(7,(Died "Bad reply: 1 Move " 36 214,("",Just (0.67,3.345)))),(8,(Died "Bid too much" 47 0,("",Just (9.0e-2,2.914)))),(9,(Died "Stepped on lethal" 0 389,("Aborted",Just (5.0e-2,0.575)))),(11,(Died "Stepped on lethal" 16 312,("",Just (0.68,3.518)))),(12,(Died "Bad reply: " 0 399,("Segmentation fault",Just (2.0e-2,0.266)))),(14,(Died "Bad reply: " 0 400,("",Just (0.12000000000000001,0.239))))]