Prettifying Executions Does Not Make Them Quicker or More Reliable