Computational proofs on randomized algorithms for online bin stretching