This virtual machine is the artefact belonging to the paper "Fault tree reliability analysis via squarefree polynomials" by Milan-LopuhaƤ-Zwakenberg. To replicate the experiments in the paper, perform the following: 1. Go to ~/Desktop/Experiments and open a terminal (or the other way around). 2. To create Benchmark set 2, use the command "python3 treegen.py". The resulting FTs are stored in the folder 'almost_trees'. Benchmark set 2 from the paper is stored in the folder 'almost_trees_paper'; Benchmark set 1 is stored in the folder 'random_scram'. 3. To obtain the timing results from the paper use the following commands: - for SFPA on Benchmark set 1, use "python3 sfpa_tests.py" - for SFPA on Benchmark set 2, use "python3_sfpa_tests_AT.py" - for storm-dft on Benchmark set 1, use "./storm_tests.sh" - for storm-dft on Benchmark set 2, use "./storm_tests_AT.sh" All results are stored in .csv file in the folder 'logs'. The results from the paper are stored in 'logs_paper'.