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'.