changed spacecraft benchmark settings

.gitignore

RunFile.py

RunPlots.py

boundsOverViolationFraction.pdf

boundsOverViolationFraction.png

core/abstraction_default.py

core/block_refinement.py

input/SaD_probabilityTable_N=10000_beta=1e-08.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=12800_beta=1e-08.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=20000_beta=1e-08.csv

input/SaD_probabilityTable_N=200_beta=0.01.csv

input/SaD_probabilityTable_N=200_beta=0.1.csv

input/SaD_probabilityTable_N=25600_beta=0.01.csv