Experiments for 'Model Checking Finite-Horizon Markov Chains with Probabilistic Inference' - Steven Holtzen (2021)