Commit ad717a3b authored by Hans Vrapi's avatar Hans Vrapi
Browse files

add modifie bash script for psp

parent cec789db
refinementfactor,covered,sat,unsat,unknownpercent,regionnum,time,mem
1, 0, 0, 0, 100, 1, 0.004, 65
0.99, 0.01, 0, 1.17188, 98.8281, 9691, 0.142, 94
0.98, 0.02, 0, 2.34375, 97.6562, 12751, 0.196, 101
0.97, 0.03, 0, 3.125, 96.875, 14281, 0.202, 106
0.96, 0.04, 0, 4.29688, 95.7031, 15811, 0.202, 110
0.95, 0.05, 0, 5.07812, 94.9219, 17341, 0.241, 129
0.94, 0.06, 0, 6.25, 93.75, 20401, 0.271, 137
0.93, 0.07, 0, 7.03125, 92.9688, 21931, 0.289, 142
0.92, 0.08, 0, 8.20312, 91.7969, 22441, 0.283, 142
0.91, 0.09, 0, 9.375, 90.625, 22441, 0.284, 142
0.9, 0.1, 0, 10.1562, 89.8438, 23206, 0.291, 145
0.89, 0.11, 0, 11.3281, 88.6719, 23461, 0.299, 146
0.88, 0.12, 0, 12.1094, 87.8906, 23971, 0.295, 146
0.87, 0.13, 0, 13.2812, 86.7188, 23971, 0.295, 146
0.86, 0.14, 0, 14.0625, 85.9375, 27541, 0.338, 156
0.85, 0.15, 0, 15.2344, 84.7656, 30856, 0.360, 165
0.84, 0.16, 0, 16.0156, 83.9844, 32386, 0.371, 169
0.83, 0.17, 0, 17.1875, 82.8125, 33916, 0.531, 203
0.82, 0.18, 0, 18.3594, 81.6406, 36211, 0.508, 209
0.81, 0.19, 0, 19.1406, 80.8594, 36466, 0.529, 209
0.8, 0.2, 0, 20.3125, 79.6875, 37996, 0.534, 213
0.79, 0.21, 0, 21.0938, 78.9062, 39526, 0.572, 216
0.78, 0.22, 0, 22.2656, 77.7344, 41821, 0.576, 222
0.77, 0.23, 0, 23.0469, 76.9531, 42076, 0.626, 223
0.76, 0.24, 0, 24.2188, 75.7812, 42586, 0.602, 225
0.75, 0.25, 0, 25, 75, 42586, 0.585, 224
0.74, 0.26, 0, 26.1719, 73.8281, 43096, 0.575, 225
0.73, 0.27, 0, 27.3438, 72.6562, 43096, 0.680, 226
0.72, 0.28, 0, 28.125, 71.875, 43096, 0.631, 225
0.71, 0.29, 0, 29.2969, 70.7031, 43606, 0.663, 226
0.7, 0.3, 0, 30.0781, 69.9219, 43606, 0.710, 226
0.69, 0.31, 0, 31.25, 68.75, 44116, 0.848, 227
0.68, 0.32, 0, 32.0312, 67.9688, 44116, 0.636, 228
0.67, 0.33, 0.0411987, 32.959, 66.9998, 272596, 4.682, 1256
0.66, 0.34, 0.0442505, 33.9569, 65.9988, 556921, 9.564, 2487
0.65, 0.35, 0.0442505, 34.9564, 64.9994, 658921, 9.987, 2735
0.64, 0.36, 0.0656128, 35.9344, 63.9999, 973081, 13.374, 3503
0.63, 0.37, 0.0656128, 36.9354, 62.999, 1159486, 18.136, 5033
0.62, 0.38, 0.0656128, 37.9349, 61.9995, 1349206, 19.374, 5493
0.61, 0.39, 0.0656128, 38.9359, 60.9985, 1414231, 20.402, 5654
0.6, 0.4, 0.0656128, 39.9353, 59.9991, 1533316, 23.893, 5936
0.59, 0.41, 0.0656128, 40.9348, 58.9996, 1675861, 23.333, 6263
0.58, 0.42, 0.0656128, 41.9357, 57.9987, 1731706, 24.050, 6405
0.57, 0.43, 0.0656128, 42.9352, 56.9992, 1810501, 26.779, 6578
refinementfactor,covered,sat,unsat,unknownpercent,regionnum,time,mem
1, 0, 0, 0, 100, 1, 0.006, 64
0.99, 0.01, 0, 1.17188, 98.8281, 1021, 0.020, 64
0.98, 0.02, 0, 2.34375, 97.6562, 1786, 0.019, 64
0.97, 0.03, 0, 3.125, 96.875, 2296, 0.030, 63
0.96, 0.04, 0, 4.29688, 95.7031, 3061, 0.035, 65
0.95, 0.05, 0, 5.07812, 94.9219, 3571, 0.039, 66
0.94, 0.06, 0, 6.25, 93.75, 4336, 0.057, 72
0.93, 0.07, 0, 7.03125, 92.9688, 4846, 0.061, 73
0.92, 0.08, 0, 8.20312, 91.7969, 5611, 0.073, 76
0.91, 0.09, 0, 9.375, 90.625, 6376, 0.079, 77
0.9, 0.1, 0, 10.1562, 89.8438, 6886, 0.098, 79
0.89, 0.11, 0, 11.3281, 88.6719, 7651, 0.109, 81
0.88, 0.12, 0, 12.1094, 87.8906, 8161, 0.090, 82
0.87, 0.13, 0, 13.2812, 86.7188, 8926, 0.125, 91
0.86, 0.14, 0, 14.0625, 85.9375, 9436, 0.134, 93
0.85, 0.15, 0, 15.2344, 84.7656, 10201, 0.139, 95
0.84, 0.16, 0, 16.0156, 83.9844, 10711, 0.143, 96
0.83, 0.17, 0, 17.1875, 82.8125, 11476, 0.141, 98
0.82, 0.18, 0, 18.3594, 81.6406, 12241, 0.152, 101
0.81, 0.19, 0, 19.1406, 80.8594, 12751, 0.162, 102
0.8, 0.2, 0, 20.3125, 79.6875, 13516, 0.165, 104
0.79, 0.21, 0, 21.0938, 78.9062, 14026, 0.170, 105
0.78, 0.22, 0, 22.2656, 77.7344, 14791, 0.181, 107
0.77, 0.23, 0, 23.0469, 76.9531, 15301, 0.176, 108
0.76, 0.24, 0, 24.2188, 75.7812, 16066, 0.196, 111
0.75, 0.25, 0, 25, 75, 16576, 0.277, 127
0.74, 0.26, 0, 26.1719, 73.8281, 17341, 0.265, 128
0.73, 0.27, 0, 27.3438, 72.6562, 18106, 0.270, 131
0.72, 0.28, 0, 28.125, 71.875, 18616, 0.263, 133
0.71, 0.29, 0, 29.2969, 70.7031, 19381, 0.279, 134
0.7, 0.3, 0, 30.0781, 69.9219, 19891, 0.305, 136
0.69, 0.31, 0, 31.25, 68.75, 20656, 0.362, 138
0.68, 0.32, 0, 32.0312, 67.9688, 21166, 0.330, 139
0.67, 0.33, 0, 33.2031, 66.7969, 21931, 0.317, 141
0.66, 0.34, 0, 34.375, 65.625, 22696, 0.303, 143
0.65, 0.35, 0, 35.1562, 64.8438, 23206, 0.320, 144
0.64, 0.36, 0, 36.3281, 63.6719, 23971, 0.301, 147
0.63, 0.37, 0, 37.1094, 62.8906, 24481, 0.317, 148
0.62, 0.38, 0, 38.2812, 61.7188, 25246, 0.331, 150
0.61, 0.39, 0, 39.0625, 60.9375, 25756, 0.316, 151
0.6, 0.4, 0, 40.2344, 59.7656, 26521, 0.349, 153
0.59, 0.41, 0, 41.0156, 58.9844, 27031, 0.349, 155
0.58, 0.42, 0, 42.1875, 57.8125, 27796, 0.334, 157
0.57, 0.43, 0, 43.3594, 56.6406, 28561, 0.365, 159
0.56, 0.44, 0, 44.1406, 55.8594, 29071, 0.401, 161
0.55, 0.45, 0, 45.3125, 54.6875, 29836, 0.439, 163
0.54, 0.46, 0, 46.0938, 53.9062, 30346, 0.387, 164
0.53, 0.47, 0, 47.2656, 52.7344, 31111, 0.380, 166
0.52, 0.48, 0, 48.0469, 51.9531, 31621, 0.394, 167
0.51, 0.49, 0, 49.2188, 50.7812, 32386, 0.383, 169
0.5, 0.5, 0, 50, 50, 32896, 0.479, 200
0.49, 0.51, 0.918579, 50.0824, 48.999, 432991, 6.535, 1647
0.48, 0.52, 1.46942, 50.531, 47.9996, 808606, 12.433, 3102
0.47, 0.53, 2.23999, 50.7614, 46.9986, 1309681, 22.524, 5311
......@@ -6,25 +6,28 @@ flag=$1
#create 2D plot
python3 scripts/create_2D_graph.py $flag
cd generated_plots
pdflatex --enable-write18 --extra-mem-top=100000000 --synctex=1 alarm-red-green-plots/2D/alarm_pla_graph_2D.tex > /dev/null
pdflatex --enable-write18 --extra-mem-top=100000000 --synctex=1 ../alarm-red-green-plots/2D/alarm_pla_graph_2D.tex
rm alarm_pla_graph_2D.aux
rm alarm_pla_graph_2D.log
rm alarm_pla_graph_2D.synctex.gz
cd ..
#create 3D plot
python3 scripts/create_3D_graph.py $flag
cd generated_plots
pdflatex --enable-write18 --extra-mem-top=100000000 --synctex=1 alarm-red-green-plots/3D/alarm_pla_graph_3D.tex
pdflatex --enable-write18 --extra-mem-top=100000000 --synctex=1 ../alarm-red-green-plots/3D/alarm_pla_graph_3D.tex
rm alarm_pla_graph_3D.aux
rm alarm_pla_graph_3D.log
rm alarm_pla_graph_3D.synctex.gz
cd ..
#run experiments for the networks 'win95pts', 'hailfinder', 'hepar2'
python3 scripts/run_pla_experiments.py $flag
cd generated_plots
pdflatex pla_plot.tex > /dev/null
pdflatex ../scripts/pla_plot.tex
rm pla_plot.aux
rm pla_plot.log
cd ..
#print PLA table
python3 scripts/make_pla_table.py
......@@ -11,13 +11,12 @@ def parse_boolean(value):
def create_2D_graph(flag):
if flag:
print('HI')
f = open(f'alarm-red-green-plots/2D/alarm_pla_graph.query', 'r')
#command = f.read()
command = f.read()
#run storm command and save the output in alarm_pla_graph.txt
#os.system(f'{command}')
os.system(f'{command}')
#run script to generate the alarm_pla_graph.tex file
#os.system(f'python3 alarm-red-green-plots/2D/pl.py --file alarm-red-green-plots/2D/alarm_pla_graph.txt > alarm-red-green-plots/2D/alarm_pla_graph_2D.tex')
os.system(f'python3 alarm-red-green-plots/2D/pl.py --file alarm-red-green-plots/2D/alarm_pla_graph.txt > alarm-red-green-plots/2D/alarm_pla_graph_2D.tex')
if __name__ == "__main__":
......@@ -25,6 +24,6 @@ if __name__ == "__main__":
flag = False
if len(sys.argv) > 1:
flag = parse_boolean(sys.argv[1])
create_2D_graph(flag)
......@@ -30,9 +30,6 @@ def create_3D_graph(flag):
end_s = tex_file.find(';', begin_s)
sol_funct_old = tex_file[begin_s:end_s].strip()
tex_file.replace(sol_funct_old, sol_funct_new)
if __name__ == "__main__":
parser = argparse.ArgumentParser(description='execute parameter partitioning on networks using storm')
args = parser.parse_args()
with open('alarm-red-green-plots/3D/alarm_pla_graph_3D.tex', 'w') as f:
f.write(tex_file)
......
......@@ -19,6 +19,7 @@ def make_pla_table():
mem = mem.replace('\n', '')
df = pd.DataFrame([[coverage, sat, unsat, unknown, regions, time, mem]],columns=['coverage','accepting(%)','rejecting(%)', 'unknown(%)', '#regions', 'time', 'mem'])
data = pd.concat([data,df],ignore_index=True)
data.to_csv('table.csv', index=False)
print(data.tail(16))
if __name__ == "__main__":
......
coverage,accepting(%),rejecting(%),unknown(%),#regions,time,mem
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment