Refinements and fault tolerance for simex.sgp