Skip to content

Commit 34e3a0a

Browse files
Sta1400Sta1400
committed
icst2024 results
1 parent 862cd0f commit 34e3a0a

File tree

3 files changed

+163
-0
lines changed

3 files changed

+163
-0
lines changed

‎scripts/icst2024/fig.png

228 KB
Loading

‎scripts/icst2024/resultsOK.csv

Lines changed: 106 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,106 @@
1+
address,category,OT,MT,% OTf,% MTf,OT duration,MT duration
2+
0x014B50466590340D41307Cc54DCee990c8D58aa8,[B6],OK,OK,20.97,17.65,16.43s,15.36s
3+
0x0b76544F6C413a555F309Bf76260d1E02377c02A,[A2][A4][A6][B1][B7],OK,OK,61.29,64.71,7.22s,4.66s
4+
0x0bb217E40F8a5Cb79Adf04E1aAb60E5abd0dfC1e,[A2][A6][B1][B7],OK,OK,16.13,14.71,17.91s,14.79s
5+
0x123aB195DD38B1b40510d467a6a359b201af056f,[A7],OK,OK,12.9,14.71,19.61s,16.58s
6+
0x13f25cd52b21650caa8225C9942337d914C9B030,[B1][B7],OK,OK,35.48,32.35,17.08s,13.56s
7+
0x177d39AC676ED1C67A2b268AD7F1E58826E5B0af,[B1][B2][B3],OK,OK,11.29,11.76,19.89s,16.81s
8+
0x17fD666fa0784885fa1AFEc8AC624d9b7e72B752,[B1][B7],OK,OK,38.71,35.29,18.08s,15.63s
9+
0x1844b21593262668B7248d0f57a220CaaBA46ab9,[B1],OK,OK,32.26,32.35,18.77s,16.30s
10+
0x1e797Ce986C3CFF4472F7D38d5C4aba55DfEFE40,[A2],OK,OK,66.13,58.82,13.33s,4.49s
11+
0x219218f117DC9348b358b8471c55A073E5e0dA0b,[A2][B1][B7],OK,OK,35.48,32.35,21.54s,18.10s
12+
0x24A77c1F17C547105E14813e517be06b0040aa76,[B1][B2][B3],OK,OK,12.9,14.71,17.43s,15.17s
13+
0x2567c677473d110D75a8360C35309e63B1d52429,[B1][B7],OK,OK,35.48,32.35,16.53s,15.29s
14+
0x2604FA406Be957E542BEb89E6754fCdE6815e83f,[A8],OK,OK,4.84,5.88,18.37s,14.75s
15+
0x26D5Bd2dfEDa983ECD6c39899e69DAE6431Dffbb,[B1][B7],OK,OK,35.48,32.35,16.44s,15.03s
16+
0x27f706edde3aD952EF647Dd67E24e38CD0803DD6,[A10],OK,OK,51.61,52.94,15.03s,4.93s
17+
0x28c8d01FF633eA9Cd8fc6a451D7457889E698de6,[B5],OK,OK,11.29,11.76,17.67s,14.46s
18+
0x2A05d22DB079BC40C2f77a1d1fF703a56E631cc1,[A2][A6][B1][B7],OK,OK,14.52,11.76,18.66s,14.68s
19+
0x2Ef27BF41236bD859a95209e17a43Fbd26851f92,[A14],OK,OK,85.48,94.12,28.25s,18.62s
20+
0x2bDC0D42996017fCe214b21607a515DA41A9E0C5,[B1][B2][B3],OK,OK,12.9,14.71,17.38s,14.86s
21+
0x2f85E502a988AF76f7ee6D83b7db8d6c0A823bf9,[B1],OK,OK,69.35,58.82,6.74s,5.58s
22+
0x336F646F87D9f6bC6Ed42Dd46E8b3fD9DbD15C22,[B1][B2][B3],OK,OK,22.58,14.71,17.59s,14.98s
23+
0x3543638eD4a9006E4840B105944271Bcea15605D,[B1][B7],OK,OK,35.48,32.35,17.41s,15.06s
24+
0x355a458d555151D3B27F94227960Ade1504E526a,[B1],OK,OK,35.48,32.35,17.52s,15.55s
25+
0x3893b9422Cd5D70a81eDeFfe3d5A1c6A978310BB,[B1][B2],OK,OK,64.52,64.71,15.02s,5.54s
26+
0x38c6A68304cdEfb9BEc48BbFaABA5C5B47818bb2,[B1][B2][B3][B4][B5][B6],OK,OK,12.9,14.71,18.53s,14.89s
27+
0x422866a8F0b032c5cf1DfBDEf31A20F4509562b0,[B1][B2][B3],OK,OK,12.9,14.71,19.32s,16.75s
28+
0x4270bb238f6DD8B1c3ca01f96CA65b2647c06D3C,[B1],OK,OK,35.48,32.35,18.13s,15.79s
29+
0x4355fC160f74328f9b383dF2EC589bB3dFd82Ba0,[B1][B2][B3],OK,OK,19.35,17.65,16.32s,16.44s
30+
0x449574C69f3A658794829eD81639A7A9ECe041E1,[B5],OK,OK,12.9,14.71,18.12s,14.71s
31+
0x461733c17b0755CA5649B6DB08B3E213FCf22546,[A15][A16],OK,OK,14.52,14.71,22.22s,19.72s
32+
0x46b9Ad944d1059450Da1163511069C718F699D31,[B1],OK,OK,61.29,64.71,8.64s,5.37s
33+
0x48DF4E0296f908CEAb0428A5182D19B31fC037d6,[B1][B7],OK,OK,35.48,32.35,16.53s,14.69s
34+
0x4DC3643DbC642b72C158E7F3d2ff232df61cb6CE,[A2],OK,OK,12.9,14.71,17.90s,15.04s
35+
0x4DF47B4969B2911C966506E3592c41389493953b,[B7],OK,OK,85.48,88.24,1.77s,1.99s
36+
0x4aF328C52921706dCB739F25786210499169AFe6,[B1][B7],OK,OK,35.48,32.35,18.74s,15.41s
37+
0x4f3AfEC4E5a3F2A6a1A411DEF7D7dFe50eE057bF,[B7],OK,OK,87.1,97.06,4.26s,4.17s
38+
0x5046E860ff274fb8c66106B0Ffb8155849fB0787,[A8],OK,OK,35.48,35.29,17.19s,14.83s
39+
0x5121E348e897dAEf1Eef23959Ab290e5557CF274,[A6][B1][B7],OK,OK,17.74,14.71,17.32s,15.34s
40+
0x5136C98A80811C3f46bDda8B5c4555CFd9f812F0,[A19],OK,OK,20.97,17.65,20.24s,17.64s
41+
0x52DB8ebF894036ec997Da693C5fa237A4fb69d10,[B1][B7],OK,OK,35.48,32.35,16.84s,14.71s
42+
0x55296f69f40Ea6d20E478533C15A6B08B654E758,[B1],OK,OK,35.48,32.35,16.92s,15.35s
43+
0x55F93985431Fc9304077687a35A1BA103dC1e081,[A12][A13][A16][A3],OK,OK,62.9,67.65,3.41s,5.38s
44+
0x56ba2Ee7890461f463F7be02aAC3099f6d5811A8,[B1][B2][B3],OK,OK,12.9,14.71,17.73s,15.90s
45+
0x59061b6f26BB4A9cE5828A19d35CFD5A4B80F056,[A2][B2],OK,OK,93.55,91.18,1.99s,1.75s
46+
0x5E6b6d9aBAd9093fdc861Ea1600eBa1b355Cd940,[B1][B7],OK,OK,35.48,32.35,15.88s,14.05s
47+
0x622dFfCc4e83C64ba959530A5a5580687a57581b,[B1][B3][B7],OK,NOK,3.23,0.0,23.83s,20.39s
48+
0x62a56a4A2Ef4D355D34D10fBF837e747504d38d4,[B5],OK,OK,11.29,11.76,16.16s,14.30s
49+
0x679BADc551626e01B23CeecEFBc9B877EA18fc46,[B1][B7],OK,OK,35.48,32.35,16.01s,14.70s
50+
0x6Aac8CB9861E42bf8259F5AbDC6aE3Ae89909E11,[A5],OK,OK,35.48,35.29,16.84s,14.56s
51+
0x6aEB95F06CDA84cA345c2dE0F3B7f96923a44f4c,[A16],OK,OK,4.84,5.88,18.55s,15.74s
52+
0x6cCB56947eA1d6eFdc81ACfbAcd8263DDFa9b202,[B1][B2][B3],OK,OK,70.97,61.76,7.91s,4.62s
53+
0x6ea6531b603F270d23d9EDd2d8279135DC5D6773,[B7],OK,OK,14.52,11.76,17.43s,15.58s
54+
0x7703C35CfFdC5CDa8D27aa3df2F9ba6964544b6e,[A2][A6][B1],OK,OK,62.9,52.94,15.71s,6.10s
55+
0x78B7FADA55A64dD895D8c8c35779DD8b67fA8a05,[B1][B2][B3],OK,OK,12.9,14.71,16.44s,14.82s
56+
0x79650799e7899A802cB96C0Bc33a6a8d4CE4936C,[B1][B7],OK,OK,35.48,32.35,16.36s,14.43s
57+
0x7C5A0CE9267ED19B22F8cae653F198e3E8daf098,[A2],OK,OK,35.48,35.29,17.78s,15.64s
58+
0x80fB784B7eD66730e8b1DBd9820aFD29931aab03,[A9],OK,OK,37.1,38.24,18.53s,15.33s
59+
0x81b4D08645DA11374a03749AB170836E4e539767,[B1][B2][B3],OK,OK,43.55,44.12,15.69s,13.71s
60+
0x82b0E50478eeaFde392D45D1259Ed1071B6fDa81,[B1][B2][B3],OK,OK,12.9,14.71,17.27s,14.73s
61+
0x8542325B72C6D9fC0aD2Ca965A78435413a915A0,[B1],OK,OK,32.26,32.35,17.25s,15.54s
62+
0x86949Dc8043A5fD7619A1289d65964aD5ec3D25c,[B1][B7],OK,OK,8.06,5.88,16.83s,15.06s
63+
0x8727c112C712c4a03371AC87a74dD6aB104Af768,[B1][B2][B3],OK,OK,11.29,11.76,17.60s,14.33s
64+
0x88d50B466BE55222019D71F9E8fAe17f5f45FCA1,[A2][B1][B2][B3],OK,OK,12.9,14.71,17.56s,14.60s
65+
0x8A99ED8a1b204903Ee46e733f2c1286F6d20b177,[A6][B1][B7],OK,OK,14.52,11.76,17.90s,15.02s
66+
0x8eFFd494eB698cc399AF6231fCcd39E08fd20B15,[B4],OK,OK,35.48,35.29,18.38s,16.94s
67+
0x8f3470A7388c05eE4e7AF3d01D8C722b0FF52374,[B5][B6],OK,OK,12.9,14.71,14.84s,14.41s
68+
0x93E682107d1E9defB0b5ee701C71707a4B2E46Bc,[B1][B7],OK,OK,8.06,5.88,17.23s,15.11s
69+
0x9653cFd0865ad8313BEA2f0C2EC0584BFd05115B,[A10][A2],OK,OK,48.39,50.0,14.60s,4.94s
70+
0x96c833E43488C986676e9F6B3b8781812629bbb5,[A1],OK,OK,37.1,38.24,16.72s,14.45s
71+
0x9720b467a710382A232a32F540bDCed7d662a10B,[B1][B7],OK,OK,45.16,38.24,16.78s,15.58s
72+
0x9E77D5a1251b6F7D456722A6eaC6D2d5980bd891,[B1][B7],OK,OK,8.06,5.88,17.24s,15.37s
73+
0x9af2c6B1A28D3d6BC084bd267F70e90d49741D5B,[A16],OK,OK,19.35,20.59,16.95s,15.50s
74+
0xAc3Da587eac229C9896D919aBC235CA4Fd7f72c1,[A2][A6][B1][B7],OK,OK,16.13,14.71,17.45s,15.36s
75+
0xAef38fBFBF932D1AeF3B808Bc8fBd8Cd8E1f8BC5,[A2],OK,OK,12.9,14.71,20.07s,17.09s
76+
0xB45a50545bEEAB73F38F31E5973768C421805E5E,[B1][B2][B3],OK,OK,11.29,11.76,17.27s,14.81s
77+
0xB8c77482e45F1F44dE1745F52C74426C631bDD52,[B1][B7],OK,OK,43.55,38.24,17.71s,15.28s
78+
0xB97048628DB6B661D4C2aA833e95Dbe1A905B280,[B1][B2][B3],OK,OK,12.9,14.71,17.31s,14.97s
79+
0xBA5F11b16B155792Cf3B2E6880E8706859A8AEB6,[B1][B7],OK,OK,43.55,38.24,17.15s,14.86s
80+
0xC27C95350eCD634C80dF89db0f10cd5c24B7B11f,[B1][B7],OK,OK,35.48,32.35,17.14s,14.81s
81+
0xC5d105E63711398aF9bbff092d4B6769C82F793D,[A1],OK,OK,75.81,70.59,5.55s,4.49s
82+
0xCc13Fc627EFfd6E35D2D2706Ea3C4D7396c610ea,[A17],OK,OK,11.29,11.76,18.70s,16.09s
83+
0xCc34366E3842cA1BD36c1f324d15257960fCC801,[B1][B2][B3],OK,OK,11.29,11.76,17.15s,14.82s
84+
0xCdCFc0f66c522Fd086A1b725ea3c0Eeb9F9e8814,[A17][B7],OK,OK,35.48,32.35,17.83s,15.02s
85+
0xD65960FAcb8E4a2dFcb2C2212cb2e44a02e2a57E,[A10][C1],OK,OK,37.1,38.24,17.02s,14.76s
86+
0xE5F166c0D8872B68790061317BB6CcA04582C912,[A16],OK,OK,11.29,11.76,18.38s,15.66s
87+
0xEa1f346faF023F974Eb5adaf088BbCdf02d761F4,[B1][B2][B3],OK,OK,12.9,14.71,17.95s,15.52s
88+
0xF0f8B0B8DBB1124261FC8d778E2287e3Fd2Cf4f5,[B7],OK,OK,14.52,11.76,17.26s,14.10s
89+
0xF433089366899D83a9f26A773D59ec7eCF30355e,[B1][B2][B3],OK,OK,12.9,14.71,16.95s,14.36s
90+
0xFFE02ee4C69eDf1b340fCaD64fbd6b37a7b9e265,[A16],OK,OK,41.94,41.18,19.58s,17.90s
91+
0xa0872eE815B8dd0F6937386Fd77134720d953581,[A18],OK,OK,38.71,38.24,15.63s,13.99s
92+
0xaE616e72D3d89e847f74E8ace41Ca68bbF56af79,[B1][B7],OK,OK,14.52,11.76,16.92s,14.52s
93+
0xaF4DcE16Da2877f8c9e00544c93B62Ac40631F16,[B7],OK,OK,11.29,11.76,17.35s,14.78s
94+
0xaeC2E87E0A235266D9C5ADc9DEb4b2E29b54D009,[A2],OK,OK,37.1,38.24,17.03s,14.97s
95+
0xb3203DB25a01fa7950a860B42b899Ad7Da52DDD6,[B1][B7],OK,OK,11.29,5.88,16.98s,15.10s
96+
0xb5A5F22694352C15B00323844aD545ABb2B11028,[A11][B4][B5][B6],OK,OK,9.68,11.76,18.18s,15.26s
97+
0xb6F43025B29196Af2dddd69b0a58AFBa079cD600,[B1][B7],OK,OK,35.48,32.35,16.98s,15.12s
98+
0xbbFF862d906E348E9946Bfb2132ecB157Da3D4b4,[B1],OK,OK,32.26,32.35,20.26s,16.96s
99+
0xc72fe8e3Dd5BeF0F9f31f259399F301272eF2a2D,[A2],OK,OK,74.19,67.65,4.61s,5.14s
100+
0xd26114cd6EE289AccF82350c8d8487fedB8A0C07,[B1][B2][B3],OK,OK,12.9,14.71,16.91s,15.07s
101+
0xd7631787B4dCc87b1254cfd1e5cE48e96823dEe8,[A2],OK,OK,11.29,11.76,17.70s,15.10s
102+
0xd97579Cea3fE2473682a4C42648134BB982433B9,[A21],OK,OK,27.42,23.53,15.59s,13.69s
103+
0xe120c1ECBfdFeA7F0A8f0Ee30063491E8c26fedf,[B1][B7],OK,OK,8.06,5.88,17.51s,14.82s
104+
0xe3818504c1B32bF1557b16C238B2E01Fd3149C17,[B1][B2][B3],OK,OK,12.9,14.71,19.75s,16.31s
105+
0xf05a9382A4C3F29E2784502754293D88b835109C,[B1][B2][B3],OK,OK,11.29,11.76,17.36s,15.65s
106+
0xfAE4Ee59CDd86e3Be9e8b90b53AA866327D7c090,[B1][B7],OK,OK,35.48,32.35,17.28s,14.84s

‎scripts/icst2024/time_graph_analysis.py

Lines changed: 57 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,57 @@
1+
import matplotlib.pyplot as plt
2+
import csv
3+
import sys
4+
5+
def extract_data_from_csv(file_path):
6+
addresses = []
7+
ot_failed_tests = []
8+
mt_failed_tests = []
9+
ot_durations = []
10+
mt_durations = []
11+
12+
with open(file_path, 'r') as csv_file:
13+
csv_reader = csv.DictReader(csv_file)
14+
for row in csv_reader:
15+
addresses.append(row['address'])
16+
ot_failed_tests.append(float(row['% OTf']))
17+
mt_failed_tests.append(float(row['% MTf']))
18+
ot_durations.append(row['OT duration'])
19+
mt_durations.append(row['MT duration'])
20+
21+
return addresses, ot_durations, mt_durations, ot_failed_tests, mt_failed_tests
22+
23+
def convert_to_seconds(duration):
24+
return float(duration[:-1])
25+
26+
def calculate_average_difference(ot_failed_tests, mt_failed_tests):
27+
differences = [ot - mt for ot, mt in zip(ot_failed_tests, mt_failed_tests)]
28+
average_difference = sum(differences) / len(differences)
29+
return average_difference
30+
31+
def truncate_address(address):
32+
return address[:12]
33+
34+
def create_comparison_graph(addresses, ot_durations, mt_durations, output_file="fig.png"):
35+
ot_seconds = [convert_to_seconds(ot) for ot in ot_durations]
36+
mt_seconds = [convert_to_seconds(mt) for mt in mt_durations]
37+
38+
plt.figure(figsize=(40, 10))
39+
40+
bar_width = 0.4
41+
plt.bar([truncate_address(addr) for addr in addresses], ot_seconds, width=bar_width, label='OT Duration', color='blue', alpha=0.7)
42+
plt.bar([truncate_address(addr) for addr in addresses], mt_seconds, width=bar_width, label='MT Duration', color='red', alpha=0.7)
43+
44+
plt.xlabel('Addresses')
45+
plt.ylabel('Duration (seconds)')
46+
plt.title('OT and MT Durations Comparison')
47+
plt.legend()
48+
plt.xticks(rotation=45, ha='right')
49+
50+
plt.savefig(output_file)
51+
plt.close()
52+
53+
file_path = sys.argv[1]
54+
addresses, ot_durations, mt_durations, ot_failed_tests, mt_failed_tests = extract_data_from_csv(file_path)
55+
create_comparison_graph(addresses, ot_durations, mt_durations)
56+
average_difference = calculate_average_difference(ot_failed_tests, mt_failed_tests)
57+
print(f"% OTf - % MTf : {round(average_difference, 2)}%")

0 commit comments

Comments
 (0)