Skip to content
Snippets Groups Projects
Commit c7421fb1 authored by Satya Prakash Nayak's avatar Satya Prakash Nayak
Browse files

added the complete table

parent c7f6f7d9
No related branches found
No related tags found
No related merge requests found
Expand all Hide whitespace changes
Inline Side-by-side
Showing
with 236 additions and 9691 deletions
README.md
+ 3
− 3
View file @ c7421fb1
......@@ -22,15 +22,15 @@ The executable files are generated and stored in the folder `./tool/bin/`. Usage
## Reproducibility Instructions
The experimental results of our paper can be reproduced using the following commands.
To run experiments on a subset of examples from the `Table 1` of the paper, i.e., the ones where GIST did not time out
To run experiments on a subset of examples, i.e., 16 examples,
```
make benchmark-subset
```
To run experiments on all examples (inclduing all examples of Table 1) of the paper
To run experiments on all examples, i.e., 230 examples, of the paper
```
make benchmark-all
```
The results on the `Table 1` (or extended table for all experiments) of the paper are generated and stored as a CSV file in the following path:
The results on the `Table G` of the paper are generated and stored as a CSV file in the following path:
`./output/table.csv`.
Furthermore, the outputs generated by both tool SImPA and GIST are stored in the folders `./output/SImPA-outputs/` and `./output/GIST-outputs/`, respectively.
output/GIST-outputs/KitchenTimerV6.tlsf.ehoa.txt
+ 0
− 512
View file @ c7421fb1
Set of unsafe edges:
0 -> 96
0 -> 97
0 -> 98
0 -> 100
0 -> 101
0 -> 102
0 -> 103
0 -> 104
0 -> 94
0 -> 105
0 -> 106
1 -> 108
1 -> 112
1 -> 113
1 -> 114
1 -> 116
1 -> 117
1 -> 118
1 -> 119
1 -> 120
1 -> 110
1 -> 121
1 -> 122
2 -> 124
2 -> 128
2 -> 129
2 -> 130
2 -> 132
2 -> 133
2 -> 134
2 -> 135
2 -> 136
2 -> 126
2 -> 137
2 -> 138
3 -> 140
3 -> 144
3 -> 145
3 -> 146
3 -> 148
3 -> 149
3 -> 150
3 -> 151
3 -> 152
3 -> 142
3 -> 153
3 -> 154
4 -> 156
4 -> 160
4 -> 161
4 -> 162
4 -> 164
4 -> 165
4 -> 166
4 -> 167
4 -> 168
4 -> 158
4 -> 169
4 -> 170
5 -> 172
5 -> 176
5 -> 177
5 -> 178
5 -> 180
5 -> 181
5 -> 182
5 -> 183
5 -> 184
5 -> 174
5 -> 185
5 -> 186
6 -> 188
6 -> 192
6 -> 193
6 -> 194
6 -> 196
6 -> 197
6 -> 198
6 -> 199
6 -> 200
6 -> 190
6 -> 201
6 -> 202
7 -> 208
7 -> 209
7 -> 210
7 -> 212
7 -> 213
7 -> 214
7 -> 215
7 -> 216
7 -> 206
7 -> 217
7 -> 218
8 -> 224
8 -> 225
8 -> 226
8 -> 228
8 -> 229
8 -> 230
8 -> 231
8 -> 232
8 -> 222
8 -> 233
8 -> 234
9 -> 240
9 -> 241
9 -> 242
9 -> 244
9 -> 245
9 -> 246
9 -> 247
9 -> 248
9 -> 238
9 -> 249
9 -> 250
10 -> 252
10 -> 256
10 -> 257
10 -> 258
10 -> 260
10 -> 261
10 -> 262
10 -> 263
10 -> 264
10 -> 254
10 -> 265
10 -> 266
11 -> 272
11 -> 273
11 -> 274
11 -> 276
11 -> 277
11 -> 278
11 -> 279
11 -> 280
11 -> 270
11 -> 281
11 -> 282
12 -> 284
12 -> 288
12 -> 289
12 -> 290
12 -> 292
12 -> 293
12 -> 294
12 -> 295
12 -> 296
12 -> 286
12 -> 297
12 -> 298
13 -> 304
13 -> 305
13 -> 306
13 -> 308
13 -> 309
13 -> 310
13 -> 311
13 -> 312
13 -> 302
13 -> 313
13 -> 314
14 -> 320
14 -> 321
14 -> 322
14 -> 324
14 -> 325
14 -> 326
14 -> 327
14 -> 328
14 -> 318
14 -> 329
14 -> 330
15 -> 332
15 -> 336
15 -> 337
15 -> 338
15 -> 340
15 -> 341
15 -> 342
15 -> 343
15 -> 344
15 -> 334
15 -> 345
15 -> 346
16 -> 352
16 -> 353
16 -> 354
16 -> 356
16 -> 357
16 -> 358
16 -> 359
16 -> 360
16 -> 350
16 -> 361
16 -> 362
17 -> 368
17 -> 369
17 -> 370
17 -> 372
17 -> 373
17 -> 374
17 -> 375
17 -> 376
17 -> 366
17 -> 377
17 -> 378
18 -> 380
18 -> 384
18 -> 385
18 -> 386
18 -> 388
18 -> 389
18 -> 390
18 -> 391
18 -> 392
18 -> 382
18 -> 393
18 -> 394
19 -> 396
19 -> 400
19 -> 401
19 -> 402
19 -> 404
19 -> 405
19 -> 406
19 -> 407
19 -> 408
19 -> 398
19 -> 409
19 -> 410
20 -> 412
20 -> 416
20 -> 417
20 -> 418
20 -> 420
20 -> 421
20 -> 422
20 -> 423
20 -> 424
20 -> 414
20 -> 425
20 -> 426
21 -> 428
21 -> 432
21 -> 433
21 -> 434
21 -> 436
21 -> 437
21 -> 438
21 -> 439
21 -> 440
21 -> 430
21 -> 441
21 -> 442
22 -> 448
22 -> 449
22 -> 450
22 -> 452
22 -> 453
22 -> 454
22 -> 455
22 -> 456
22 -> 446
22 -> 457
22 -> 458
23 -> 460
23 -> 464
23 -> 465
23 -> 466
23 -> 468
23 -> 469
23 -> 470
23 -> 471
23 -> 472
23 -> 462
23 -> 473
23 -> 474
24 -> 476
24 -> 480
24 -> 481
24 -> 482
24 -> 484
24 -> 485
24 -> 486
24 -> 487
24 -> 488
24 -> 478
24 -> 489
24 -> 490
25 -> 496
25 -> 497
25 -> 498
25 -> 500
25 -> 501
25 -> 502
25 -> 503
25 -> 504
25 -> 494
25 -> 505
25 -> 506
26 -> 508
26 -> 512
26 -> 513
26 -> 514
26 -> 516
26 -> 517
26 -> 518
26 -> 519
26 -> 520
26 -> 510
26 -> 521
26 -> 522
27 -> 524
27 -> 528
27 -> 529
27 -> 530
27 -> 532
27 -> 533
27 -> 534
27 -> 535
27 -> 536
27 -> 526
27 -> 537
27 -> 538
28 -> 540
28 -> 544
28 -> 545
28 -> 546
28 -> 548
28 -> 549
28 -> 550
28 -> 551
28 -> 552
28 -> 542
28 -> 553
28 -> 554
29 -> 556
29 -> 560
29 -> 561
29 -> 562
29 -> 564
29 -> 565
29 -> 566
29 -> 567
29 -> 568
29 -> 558
29 -> 569
29 -> 570
30 -> 576
30 -> 577
30 -> 578
30 -> 580
30 -> 581
30 -> 582
30 -> 583
30 -> 584
30 -> 574
30 -> 585
30 -> 586
31 -> 588
31 -> 592
31 -> 593
31 -> 594
31 -> 596
31 -> 597
31 -> 598
31 -> 599
31 -> 600
31 -> 590
31 -> 601
31 -> 602
32 -> 608
32 -> 609
32 -> 610
32 -> 612
32 -> 613
32 -> 614
32 -> 615
32 -> 616
32 -> 606
32 -> 617
32 -> 618
35 -> 652
35 -> 656
35 -> 657
35 -> 658
35 -> 660
35 -> 661
35 -> 662
35 -> 663
35 -> 664
35 -> 654
35 -> 665
35 -> 666
36 -> 668
36 -> 672
36 -> 673
36 -> 674
36 -> 676
36 -> 677
36 -> 678
36 -> 679
36 -> 680
36 -> 670
36 -> 681
36 -> 682
37 -> 684
37 -> 688
37 -> 689
37 -> 690
37 -> 692
37 -> 693
37 -> 694
37 -> 695
37 -> 696
37 -> 686
37 -> 697
37 -> 698
38 -> 700
38 -> 704
38 -> 705
38 -> 706
38 -> 708
38 -> 709
38 -> 710
38 -> 711
38 -> 712
38 -> 702
38 -> 713
38 -> 714
39 -> 716
39 -> 720
39 -> 721
39 -> 722
39 -> 724
39 -> 725
39 -> 726
39 -> 727
39 -> 728
39 -> 718
39 -> 729
39 -> 730
40 -> 732
40 -> 736
40 -> 737
40 -> 738
40 -> 740
40 -> 741
40 -> 742
40 -> 743
40 -> 744
40 -> 734
40 -> 745
40 -> 746
48 -> 860
48 -> 861
48 -> 862
48 -> 863
48 -> 864
48 -> 865
48 -> 866
48 -> 867
48 -> 868
48 -> 869
48 -> 870
48 -> 871
48 -> 872
48 -> 873
48 -> 874
50 -> 893
50 -> 894
50 -> 895
50 -> 896
50 -> 897
50 -> 898
50 -> 899
50 -> 900
50 -> 901
50 -> 902
50 -> 903
50 -> 904
50 -> 905
50 -> 906
55 -> 972
55 -> 976
55 -> 977
55 -> 978
55 -> 980
55 -> 981
55 -> 982
55 -> 983
55 -> 984
55 -> 974
55 -> 985
55 -> 986
56 -> 988
56 -> 992
56 -> 993
56 -> 994
56 -> 996
56 -> 997
56 -> 998
56 -> 999
56 -> 1000
56 -> 990
56 -> 1001
56 -> 1002
Set of live edges:
output/GIST-outputs/OneCounterGuiA0.tlsf.ehoa.txt
+ 0
− 4584
View file @ c7421fb1
This diff is collapsed.
output/GIST-outputs/amba_decomposed_arbiter_3.tlsf.ehoa.txt
+ 0
− 1
View file @ c7421fb1
Failed: No live edge could be found.
output/SImPA-outputs/OneCounterGuiA0.tlsf.ehoa.txt
+ 0
− 4586
View file @ c7421fb1
This diff is collapsed.
output/table.csv
+ 231
− 3
View file @ c7421fb1
Name,Number of Vertices,Number of Edges,Number of Priorities,Computation time of SImPA (in seconds),Computationtime of GIST (in seconds)
KitchenTimerV1.tlsf.ehoa,80,124,3,0,0
KitchenTimerV6.tlsf.ehoa,4099,6560,3,1.0
\ No newline at end of file
Name,Number of Vertices,Number of Edges,Number of Priorities,Computation time of SImPA (in seconds),Computation time of GIST (in seconds),* if no assumption is computed by GIST
abcg_arbiter.tlsf.ehoa,417,638,3,0.016,9.79
ActionConverter.tlsf.ehoa,134,200,3,0.003,0.005
amba_decomposed_arbiter_2.tlsf.ehoa,141,212,4,0.005,0.21,*
amba_decomposed_arbiter_3.tlsf.ehoa,741,1176,4,0.064,3.798,*
amba_decomposed_arbiter_4.tlsf.ehoa,2468,3950,4,0.703,35.911,*
amba_decomposed_arbiter_5.tlsf.ehoa,7273,11576,4,7.095,297.975,*
amba_decomposed_arbiter.tlsf.ehoa,36824,67018,4,203.104,3600.03
amba_decomposed_decode.tlsf.ehoa,19,26,3,0.002,0.004
amba_decomposed_encode_10.tlsf.ehoa,78313,117676,3,11.882,3600.03
amba_decomposed_encode_11.tlsf.ehoa,156184,234506,3,45.455,3600.03
amba_decomposed_encode_12.tlsf.ehoa,311879,468072,3,181.623,3600.05
amba_decomposed_encode_13.tlsf.ehoa,623222,935110,3,732.713,3600.06
amba_decomposed_encode_14.tlsf.ehoa,1245861,1869092,3,2960.11,3600.11
amba_decomposed_encode_2.tlsf.ehoa,95,140,3,0.003,0.562
amba_decomposed_encode_3.tlsf.ehoa,264,402,3,0.005,14.5
amba_decomposed_encode_4.tlsf.ehoa,499,760,3,0.008,97.901
amba_decomposed_encode_5.tlsf.ehoa,1534,2342,3,0.025,2616.04
amba_decomposed_encode_6.tlsf.ehoa,2965,4500,3,0.06,3600
amba_decomposed_encode_7.tlsf.ehoa,5804,8770,3,0.168,3600.02
amba_decomposed_encode_8.tlsf.ehoa,11459,17264,3,0.534,3600.01
amba_decomposed_encode_9.tlsf.ehoa,39354,59214,3,3.296,3600.02
amba_decomposed_encode.tlsf.ehoa,292,476,3,0.006,4.23
amba_decomposed_lock_2.tlsf.ehoa,398,592,3,0.04,50.282
amba_decomposed_lock_3.tlsf.ehoa,1558,2336,3,0.074,2999.65
amba_decomposed_lock_4.tlsf.ehoa,6182,9280,3,0.608,3600.02
amba_decomposed_lock_5.tlsf.ehoa,24646,36992,3,9.563,3600.02
amba_decomposed_lock_6.tlsf.ehoa,98438,147712,3,158.854,3600.03
amba_decomposed_lock_7.tlsf.ehoa,393478,590336,3,2801.93,3600.05
amba_decomposed_lock.tlsf.ehoa,180,288,3,0.009,1.288
amba_decomposed_shift.tlsf.ehoa,44,64,3,0.006,0.021
amba_decomposed_tburst4.tlsf.ehoa,1061,1618,4,0.112,685.687
amba_decomposed_tincr.tlsf.ehoa,2082,3280,3,0.227,3600.02
amba_decomposed_tsingle.tlsf.ehoa,950,1450,4,0.094,464.176
arbiter.tlsf.ehoa,39,54,3,0.008,0.024
arbiter_with_buffer.tlsf.ehoa,84,132,3,0.003,0.032
arbiter_with_cancel.tlsf.ehoa,139,212,3,0.004,1.592
Button.tlsf.ehoa,12,16,3,0.007,0.007
detector.tlsf.ehoa,84,126,4,0.008,0.457
detector_unreal.tlsf.ehoa,141,210,4,0.005,0.301,*
EnemeyModule.tlsf.ehoa,20,28,3,0.005,0.005
EscalatorBidirectional.tlsf.ehoa,1622,2464,3,0.18,4.123
EscalatorCountingInit.tlsf.ehoa,99,148,3,0.006,0.045
EscalatorCounting.tlsf.ehoa,79,118,3,0.003,0.012
EscalatorNonCounting.tlsf.ehoa,21,30,3,0.002,0.003
EscalatorNonReactive.tlsf.ehoa,7,8,3,0.002,0.002
EscalatorSmart.tlsf.ehoa,1783,3008,5,0.146,3600.02
full_arbiter_2.tlsf.ehoa,204,324,3,0.007,4.939
full_arbiter_3.tlsf.ehoa,1403,2396,3,0.082,538.772
full_arbiter_4.tlsf.ehoa,7444,12764,3,3.171,3600.02
full_arbiter_5.tlsf.ehoa,44019,76920,3,109.252,3600.03
full_arbiter.tlsf.ehoa,774,1218,3,0.025,704.267
full_arbiter_unreal1.tlsf.ehoa,774,1218,3,0.041,697.743
full_arbiter_unreal2.tlsf.ehoa,774,1218,3,0.027,698.161
Gamemodule.tlsf.ehoa,143,214,3,0.008,0.032
Increment.tlsf.ehoa,12,16,3,0.002,0.002
KitchenTimerV0.tlsf.ehoa,20,28,3,0.002,0.002
KitchenTimerV1.tlsf.ehoa,80,124,3,0.003,0.03
KitchenTimerV2.tlsf.ehoa,731,1138,3,0.038,3.302
KitchenTimerV3.tlsf.ehoa,1583,2482,3,0.165,14.573
KitchenTimerV4.tlsf.ehoa,2272,3554,3,0.408,34.324
KitchenTimerV5.tlsf.ehoa,4111,6584,3,1.422,134.261
KitchenTimerV6.tlsf.ehoa,4099,6560,3,1.438,140.525
lilydemo01.tlsf.ehoa,104,148,3,0.003,0.045
lilydemo02.tlsf.ehoa,104,148,3,0.003,0.044
lilydemo03.tlsf.ehoa,211,312,3,0.005,24.546
lilydemo04.tlsf.ehoa,304,448,3,0.011,77.08
lilydemo05.tlsf.ehoa,293,436,3,0.011,59.884
lilydemo06.tlsf.ehoa,369,548,3,0.026,121.068
lilydemo07.tlsf.ehoa,78,108,3,0.004,1.26
lilydemo08.tlsf.ehoa,26,36,4,0.005,0.01
lilydemo09.tlsf.ehoa,47,66,4,0.006,0.023,*
lilydemo10.tlsf.ehoa,46,68,4,0.002,0.11
lilydemo11.tlsf.ehoa,65,100,3,0.007,0.108
lilydemo12.tlsf.ehoa,110,172,3,0.003,0.23
lilydemo13.tlsf.ehoa,11,14,3,0.007,0.011
lilydemo14.tlsf.ehoa,399,660,6,0.03,166.612
lilydemo15.tlsf.ehoa,133,206,3,0.008,0.48
lilydemo16.tlsf.ehoa,760,1240,3,0.021,180.268
lilydemo17.tlsf.ehoa,3102,5334,7,0.22,3600.02
lilydemo18.tlsf.ehoa,449,728,9,0.017,1566.9
lilydemo19.tlsf.ehoa,108,162,4,0.009,0.167,*
lilydemo20.tlsf.ehoa,1989,3252,4,0.4,3600.02
lilydemo21.tlsf.ehoa,4087,6824,3,0.428,3600.02
lilydemo22.tlsf.ehoa,373,556,3,0.02,109.443
lilydemo23.tlsf.ehoa,38,48,3,0.008,0.072
lilydemo24.tlsf.ehoa,263,406,4,0.008,54.354
load_balancer.tlsf.ehoa,255,390,4,0.008,105.297
load_balancer_unreal1.tlsf.ehoa,328,506,4,0.01,202.229
load_balancer_unreal2.tlsf.ehoa,326,502,4,0.024,200.707
loadcomp2.tlsf.ehoa,387,614,4,0.024,2.974
loadcomp3.tlsf.ehoa,1556,2734,4,0.262,62.287
loadcomp4.tlsf.ehoa,3943,6968,4,1.94,979.018
loadcomp5.tlsf.ehoa,10657,19136,4,15.525,3600.02
loadfull2.tlsf.ehoa,331,552,4,0.043,1.187
loadfull3.tlsf.ehoa,1159,2030,4,0.143,28.051
loadfull4.tlsf.ehoa,3399,6084,4,1.421,496.464
loadfull5.tlsf.ehoa,6483,11184,4,5.595,3600.02
ltl2dba01.tlsf.ehoa,101,152,4,0.011,9.012
ltl2dba02.tlsf.ehoa,489,758,4,0.011,74.949
ltl2dba03.tlsf.ehoa,135,200,4,0.006,65.785
ltl2dba04.tlsf.ehoa,165,260,4,0.007,0.28
ltl2dba05.tlsf.ehoa,361,560,4,0.01,7.105,*
ltl2dba06.tlsf.ehoa,329,496,4,0.009,703.712
ltl2dba07.tlsf.ehoa,4368,6656,4,0.399,2085.74,*
ltl2dba08.tlsf.ehoa,41071,67522,4,5.515,3600.02
ltl2dba09.tlsf.ehoa,75,120,4,0.004,0.023
ltl2dba10.tlsf.ehoa,77,118,4,0.003,0.026
ltl2dba11.tlsf.ehoa,21,30,4,0.002,0.003
ltl2dba12.tlsf.ehoa,81,120,4,0.003,0.335
ltl2dba13.tlsf.ehoa,151,222,4,0.009,0.198,*
ltl2dba14.tlsf.ehoa,97,144,4,0.004,0.065,*
ltl2dba15.tlsf.ehoa,39,60,4,0.002,0.007
ltl2dba16.tlsf.ehoa,75,114,4,0.003,0.025
ltl2dba17.tlsf.ehoa,663,1020,4,0.009,213.754
ltl2dba18.tlsf.ehoa,265,420,4,0.009,11.288
ltl2dba19.tlsf.ehoa,106,152,4,0.004,0.652,*
ltl2dba20.tlsf.ehoa,1078,1760,4,0.018,587.085
ltl2dba21.tlsf.ehoa,2197,3380,4,0.043,3600.02
ltl2dba22.tlsf.ehoa,21,30,4,0.008,0.025
ltl2dba23.tlsf.ehoa,51,78,4,0.008,0.073
ltl2dba24.tlsf.ehoa,19,26,4,0.002,0.011
ltl2dba25.tlsf.ehoa,104,158,4,0.004,0.074
ltl2dba26.tlsf.ehoa,148,236,4,0.003,0.19
ltl2dba27.tlsf.ehoa,21,30,4,0.005,0.059
ltl2dba_alpha.tlsf.ehoa,63,96,4,0.003,0.128
ltl2dba_beta.tlsf.ehoa,907,1454,4,0.022,341.418
ltl2dba_C2.tlsf.ehoa,19,26,4,0.003,0.005
ltl2dba_E.tlsf.ehoa,19,26,4,0.003,0.013
ltl2dba_Q.tlsf.ehoa,46,68,4,0.003,0.077
ltl2dba_R.tlsf.ehoa,19,26,4,0.002,0.003
ltl2dba_theta.tlsf.ehoa,275,440,5,0.011,112.133
ltl2dba_U1.tlsf.ehoa,61,92,4,0.009,0.142
ltl2dpa01.tlsf.ehoa,102,164,5,0.004,0.52
ltl2dpa02.tlsf.ehoa,87,138,4,0.007,0.073
ltl2dpa03.tlsf.ehoa,8135,14280,6,2.481,3600.02
ltl2dpa04.tlsf.ehoa,40,56,4,0.004,0.017
ltl2dpa05.tlsf.ehoa,40,56,4,0.003,0.008
ltl2dpa06.tlsf.ehoa,70,100,4,0.003,0.044,*
ltl2dpa07.tlsf.ehoa,137,204,4,0.004,0.555
ltl2dpa08.tlsf.ehoa,71,112,4,0.003,0.089
ltl2dpa09.tlsf.ehoa,137,204,4,0.004,0.556
ltl2dpa10.tlsf.ehoa,996,1704,6,0.049,500.069
ltl2dpa11.tlsf.ehoa,174,268,4,0.015,0.612
ltl2dpa12.tlsf.ehoa,2544,4422,7,0.714,3600.02
ltl2dpa13.tlsf.ehoa,661,1118,5,0.066,317.768
ltl2dpa14.tlsf.ehoa,114,184,5,0.006,0.711
ltl2dpa15.tlsf.ehoa,121,194,4,0.004,0.696
ltl2dpa16.tlsf.ehoa,118,188,4,0.009,0.438
ltl2dpa17.tlsf.ehoa,82,128,4,0.008,0.115,*
ltl2dpa18.tlsf.ehoa,82,128,4,0.008,0.111,*
ltl2dpa19.tlsf.ehoa,841,1392,5,0.041,9.497,*
ltl2dpa20.tlsf.ehoa,340,560,4,0.008,34.289
ltl2dpa21.tlsf.ehoa,996,1704,6,0.05,500.785
ltl2dpa22.tlsf.ehoa,9351,16128,6,4.603,3600.02
ltl2dpa23.tlsf.ehoa,443,676,4,0.019,22.212
ltl2dpa24.tlsf.ehoa,443,676,4,0.017,22.209
MusicAppFeedback.tlsf.ehoa,1584,2590,3,0.166,1159.62
MusicAppMotivating.tlsf.ehoa,2501,4118,3,0.261,3064.71
MusicAppSimple.tlsf.ehoa,344,562,3,0.018,11.77
OneCounterGuiA0.tlsf.ehoa,12353,19052,3,13.995,1720.65
OneCounterGuiA1.tlsf.ehoa,21272,32778,3,38.838,3600.02
OneCounterGuiA2.tlsf.ehoa,35020,54106,3,104.356,3600.02
OneCounterGuiA3.tlsf.ehoa,62852,97434,3,411.197,3600.02
OneCounterGuiA4.tlsf.ehoa,63275,98280,3,412.184,3600.03
OneCounterGuiA5.tlsf.ehoa,63698,99126,3,405.678,3600.02
OneCounterGuiA6.tlsf.ehoa,69756,109186,3,500.2,3600.03
OneCounterGuiA7.tlsf.ehoa,71106,111886,3,508.946,3600.02
OneCounterGuiA8.tlsf.ehoa,84017,133596,3,747.632,3600.03
OneCounterGuiA9.tlsf.ehoa,87077,139716,3,786.04,3600.02
OneCounterGui.tlsf.ehoa,12353,19052,3,13.862,1725.76
OneCounterInRangeA0.tlsf.ehoa,429,688,3,0.017,7.494
OneCounterInRangeA1.tlsf.ehoa,518,832,3,0.02,15.474
OneCounterInRangeA2.tlsf.ehoa,534,864,3,0.018,24.461
OneCounterInRangeA3.tlsf.ehoa,447,724,3,0.018,8.735
OneCounterInRange.tlsf.ehoa,429,688,3,0.033,7.41
OneCounter.tlsf.ehoa,87077,139716,3,805.637,3600.03
prioritized_arbiter.tlsf.ehoa,125,196,4,0.009,0.38,*
prioritized_arbiter_unreal1.tlsf.ehoa,851,1412,4,0.075,10.748,*
prioritized_arbiter_unreal2.tlsf.ehoa,851,1412,4,0.085,10.739,*
prioritized_arbiter_unreal3.tlsf.ehoa,10588,18196,4,14.389,2273.01,*
RegManager.tlsf.ehoa,20,28,3,0.004,0.005
robot_grid.tlsf.ehoa,3136,5408,3,0.091,3600.02
RotationCalculator.tlsf.ehoa,560,856,3,0.023,0.295
round_robin_arbiter.tlsf.ehoa,125,190,3,0.007,2.067
round_robin_arbiter_unreal1.tlsf.ehoa,157,242,3,0.008,3.642
round_robin_arbiter_unreal2.tlsf.ehoa,157,242,3,0.009,3.689
round_robin_arbiter_unreal3.tlsf.ehoa,2087,3388,3,0.048,3600.02
SensorRegister.tlsf.ehoa,12,16,3,0.007,0.007
Sensor.tlsf.ehoa,7905,13596,4,8.325,3600.02
simple_arbiter.tlsf.ehoa,662,1184,3,0.039,8.903
simple_arbiter_unreal1.tlsf.ehoa,2178,3676,3,0.17,1985.03
simple_arbiter_unreal2.tlsf.ehoa,6703,11846,3,1.408,3600.02
simple_arbiter_unreal3.tlsf.ehoa,45260,80600,3,201.107,3202.98
SliderDefault.tlsf.ehoa,751,1250,3,0.029,80.1
SPIReadClk.tlsf.ehoa,37,54,3,0.002,0.003
SPIReadSdi.tlsf.ehoa,178,284,3,0.008,0.477
SPIWriteClk.tlsf.ehoa,144,220,3,0.004,0.018
SPIWriteSdi.tlsf.ehoa,547,830,3,0.02,1.077
starve.ehoa,13,18,3,0.002,0.003
starve-smart.ehoa,17,22,3,0.002,0.02
test2.ehoa,176,280,4,0.008,7.772
TorcsAccelerating.tlsf.ehoa,21,30,3,0.007,0.008
TorcsGearing.tlsf.ehoa,27,38,3,0.002,0.006
TorcsSimple.tlsf.ehoa,85,130,3,0.003,0.017
TorcsSteeringSimple.tlsf.ehoa,189,306,3,0.005,0.263
TorcsSteeringSmart.tlsf.ehoa,404,628,3,0.013,2.859
TwoCounters2.tlsf.ehoa,39747,61044,3,140.334,3600.02
TwoCounters3.tlsf.ehoa,30511,46672,3,78.866,3600.02
TwoCounters4.tlsf.ehoa,46702,72904,3,195.105,3600.02
TwoCountersInRangeA0.tlsf.ehoa,22231,34212,3,42.399,3600.02
TwoCountersInRangeA1.tlsf.ehoa,31271,48192,3,84.137,3600.02
TwoCountersInRangeA2.tlsf.ehoa,44750,69000,3,179.063,3600.02
TwoCountersInRangeA3.tlsf.ehoa,45122,69744,3,185.008,3600.02
TwoCountersInRangeA4.tlsf.ehoa,45494,70488,3,183.387,3600.02
TwoCountersInRangeA5.tlsf.ehoa,46098,71696,3,189.761,3600.02
TwoCountersInRangeA6.tlsf.ehoa,46702,72904,3,192.715,3600.02
TwoCountersInRangeM0.tlsf.ehoa,46702,72904,3,196.336,3600.02
TwoCountersInRangeM1.tlsf.ehoa,46702,72904,3,194.149,3600.02
TwoCountersInRangeM2.tlsf.ehoa,46098,71696,3,189.046,3600.02
TwoCountersInRangeM3.tlsf.ehoa,46098,71696,3,186.365,3600.03
TwoCountersInRangeM4.tlsf.ehoa,46098,71696,3,187.458,3600.03
TwoCountersInRangeM5.tlsf.ehoa,46098,71696,3,189.278,3600.03
TwoCountersInRange.tlsf.ehoa,22231,34212,3,42.468,3600.02
TwoCountersRefinedRefined.tlsf.ehoa,1933,3140,3,0.209,43.752
TwoCountersRefined.tlsf.ehoa,1961,3196,3,0.217,45.308
TwoCounters.tlsf.ehoa,1216,1970,3,0.086,14.067
UnderapproxDemo2.tlsf.ehoa,42,60,3,0.003,0.012
UnderapproxDemo.tlsf.ehoa,20,24,3,0.003,0.007
Zoo10.tlsf.ehoa,479,768,3,0.02,2.868
Zoo5.tlsf.ehoa,479,768,3,0.021,2.872
tool/bash-scripts/benchmark.sh
+ 2
− 2
View file @ c7421fb1
......@@ -10,7 +10,7 @@ export SIMPA="$OUTPUT/SImPA-outputs"
export GIST="$OUTPUT/GIST-outputs"
echo "Name,Number of Vertices,Number of Edges,Number of Priorities,Computation time of SImPA (in seconds),Computationtime of GIST (in seconds)">$TABLE
echo "Name,Number of Vertices,Number of Edges,Number of Priorities,Computation time of SImPA (in seconds),Computation time of GIST (in seconds),* if no assumption is computed by GIST">$TABLE
for f in *ehoa
do
......@@ -44,7 +44,7 @@ do
echo ",Timeout">>$TABLE
else
if [ $retValK == 1 ]; then
echo ","$runtimeK "*">>$TABLE
echo ","$runtimeK",*">>$TABLE
else
echo ","$runtimeK>>$TABLE
fi
......
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