synch with git

RunFile.py

RunPlots.py

boundsOverViolationFraction.pdf

boundsOverViolationFraction.png

core/abstraction.py

core/abstraction_default.py

createIntervalTable.py

fraction_vs_intervals.csv

input/SaD_probabilityTable_N=100_beta=0.01.csv

input/SaD_probabilityTable_N=100_beta=0.1.csv

input/SaD_probabilityTable_N=12800_beta=0.01.csv

input/SaD_probabilityTable_N=12800_beta=0.1.csv

input/SaD_probabilityTable_N=1600_beta=0.01.csv

input/SaD_probabilityTable_N=1600_beta=0.1.csv

input/SaD_probabilityTable_N=16_beta=0.0123.csv

input/SaD_probabilityTable_N=200_beta=0.01.csv

input/SaD_probabilityTable_N=200_beta=0.1.csv

input/SaD_probabilityTable_N=25_beta=0.01.csv

input/SaD_probabilityTable_N=25_beta=0.1.csv

input/SaD_probabilityTable_N=3200_beta=0.01.csv