Stochastic Analyses for Hybrid State Saving and Its Experimental Validation