temperature jump relaxation evidence used in automatic assertion