| # | Example | Generalization operator | Result | Time (C2CLP+REMOVE+PROP) | Iteration verified | C2CLP | Interpreter removal (definitions) | Constraint propagation (spec+analysis) | Iteration 1 (spec+analysis) [definitions & clauses] | Iteration 2 (spec+analysis) [definitions & clauses] | Iteration 3 (spec+analysis) [definitions & clauses] | Iteration 4 (spec+analysis) [definitions & clauses] | Iteration 5 (spec+analysis) [definitions & clauses] | Iteration 6 (spec+analysis) [definitions & clauses] | Iteration 7 (spec+analysis) [definitions & clauses] | Iteration 8 (spec+analysis) [definitions & clauses] | Iteration 9 (spec+analysis) [definitions & clauses] | Iteration 10 (spec+analysis) [definitions & clauses] |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 1 | DAGGER-barbr.map.c | Gen_P | safe | 195830 (110 + 2950 + 192770) | 2 | 110 | 2950 #defs: 87/87 | 192770 (39660 + 153110) |
6110 (3150+2960) #defs: 637/637 #cls: 781/692 |
186660 (36510+150150) #defs: 3096/3096 #cls: 3805/1 | - | - | - | - | - | - | - | - |
| 2 | DAGGER-barbrprime.map.c | Gen_P | safe | 65046 (106 + 2310 + 62630) | 2 | 106 | 2310 #defs: 65/65 | 62630 (10480 + 52150) |
2770 (2220+550) #defs: 473/473 #cls: 607/552 |
59860 (8260+51600) #defs: 997/997 #cls: 1224/1 | - | - | - | - | - | - | - | - |
| 3 | DAGGER-bk-nat.map.c | Gen_P | safe | 630 (80 + 360 + 190) | 2 | 80 | 360 #defs: 26/26 | 190 (170 + 20) |
120 (100+20) #defs: 72/72 #cls: 85/67 |
70 (70+0) #defs: 33/33 #cls: 35/1 | - | - | - | - | - | - | - | - |
| 4 | DAGGER-bkley.map.c | Gen_P | safe | 559 (79 + 320 + 160) | 2 | 79 | 320 #defs: 22/22 | 160 (150 + 10) |
100 (90+10) #defs: 59/59 #cls: 71/54 |
60 (60+0) #defs: 19/19 #cls: 21/1 | - | - | - | - | - | - | - | - |
| 5 | DAGGER-cars.map.c | Gen_P | safe | 8046 (86 + 930 + 7030) | 2 | 86 | 930 #defs: 35/35 | 7030 (6410 + 620) |
850 (520+330) #defs: 103/103 #cls: 125/186 |
6180 (5890+290) #defs: 412/412 #cls: 479/1 | - | - | - | - | - | - | - | - |
| 6 | DAGGER-efm.map.c | Gen_P | safe | 2199 (89 + 1040 + 1070) | 3 | 89 | 1040 #defs: 47/47 | 1070 (820 + 250) |
240 (180+60) #defs: 100/100 #cls: 110/90 |
610 (430+180) #defs: 167/167 #cls: 192/123 |
220 (210+10) #defs: 85/85 #cls: 96/1 | - | - | - | - | - | - | - |
| 7 | DAGGER-ex1.map.c | Gen_P | safe | 352 (72 + 230 + 50) | 2 | 72 | 230 #defs: 9/9 | 50 (50 + 0) |
30 (30+0) #defs: 24/24 #cls: 34/29 |
20 (20+0) #defs: 13/13 #cls: 18/1 | - | - | - | - | - | - | - | - |
| 8 | DAGGER-ex2.map.c | Gen_P | timeout iteration #1 | 551 (81 + 470 + 0) | - | 81 | 470 #defs: 27/27 | 0 (0 + 0) | - | - | - | - | - | - | - | - | - | - |
| 9 | DAGGER-fig1a.map.c | Gen_P | unknown | 3391 (71 + 100 + 3220) | - | 71 | 100 #defs: 12/12 | 3220 (1540 + 1680) |
30 (20+10) #defs: 27/27 #cls: 34/28 |
40 (30+10) #defs: 31/31 #cls: 41/41 |
40 (30+10) #defs: 39/39 #cls: 51/51 |
70 (60+10) #defs: 51/51 #cls: 66/66 |
100 (70+30) #defs: 70/70 #cls: 95/95 |
230 (150+80) #defs: 123/123 #cls: 152/131 |
330 (180+150) #defs: 124/124 #cls: 158/158 |
470 (250+220) #defs: 178/178 #cls: 211/192 |
620 (290+330) #defs: 182/182 #cls: 218/218 |
1290 (460+830) #defs: 257/257 #cls: 298/277 |
| 10 | DAGGER-fig2.map.c (*) | Gen_P | timeout iteration #8 | 614494 (74 + 200 + 614220) | - | 74 | 200 #defs: 14/14 | 614220 (339450 + 274770) |
90 (90+0) #defs: 53/53 #cls: 84/79 |
420 (320+100) #defs: 115/115 #cls: 174/174 |
2710 (1860+850) #defs: 456/456 #cls: 647/616 |
13320 (5370+7950) #defs: 869/869 #cls: 1238/993 |
100890 (22690+78200) #defs: 2170/2170 #cls: 3279/3128 |
265450 (77780+187670) #defs: 3460/3460 #cls: 5228/4598 |
231340 (231340+) #defs: 6273/6273 #cls: 0/0 | - | - | - |
| 11 | DAGGER-hsort.map.c | Gen_P | safe | 1945 (85 + 690 + 1170) | 2 | 85 | 690 #defs: 35/35 | 1170 (1010 + 160) |
630 (530+100) #defs: 125/125 #cls: 154/134 |
540 (480+60) #defs: 134/134 #cls: 161/1 | - | - | - | - | - | - | - | - |
| 12 | DAGGER-hsortprime.map.c | Gen_P | safe | 1092 (82 + 480 + 530) | 2 | 82 | 480 #defs: 25/25 | 530 (510 + 20) |
420 (400+20) #defs: 82/82 #cls: 108/97 |
110 (110+0) #defs: 28/28 #cls: 35/1 | - | - | - | - | - | - | - | - |
| 13 | DAGGER-lifnat.map.c | Gen_P | timeout iteration #4 | 215251 (101 + 2050 + 213100) | - | 101 | 2050 #defs: 54/54 | 213100 (150860 + 62240) |
2630 (1750+880) #defs: 411/411 #cls: 533/520 |
67980 (6620+61360) #defs: 915/915 #cls: 1206/1025 |
142490 (142490+) #defs: 5692/5692 #cls: 0/0 | - | - | - | - | - | - | - |
| 14 | DAGGER-lifnatprime.map.c (*) | Gen_P | timeout iteration #5 | 340748 (98 + 1710 + 338940) | - | 98 | 1710 #defs: 40/40 | 338940 (219520 + 119420) |
1490 (1280+210) #defs: 312/312 #cls: 428/399 |
43090 (4850+38240) #defs: 744/744 #cls: 992/950 |
123480 (42510+80970) #defs: 3059/3059 #cls: 3928/3409 |
170880 (170880+) #defs: 4560/4560 #cls: 0/0 | - | - | - | - | - | - |
| 15 | DAGGER-lifo.map.c | Gen_P | safe | 16538 (98 + 1750 + 14690) | 2 | 98 | 1750 #defs: 46/46 | 14690 (6160 + 8530) |
1710 (1350+360) #defs: 353/353 #cls: 442/308 |
12980 (4810+8170) #defs: 660/660 #cls: 790/1 | - | - | - | - | - | - | - | - |
| 16 | DAGGER-p2-ok.map.c | Gen_P | timeout iteration #1 | 6130 (120 + 6010 + 0) | - | 120 | 6010 #defs: 146/146 | 0 (0 + 0) | - | - | - | - | - | - | - | - | - | - |
| 17 | DAGGER-p3-ok.map.c | Gen_P | safe | 4286 (106 + 2030 + 2150) | 2 | 106 | 2030 #defs: 89/89 | 2150 (1670 + 480) |
2080 (1600+480) #defs: 376/376 #cls: 634/618 |
70 (70+0) #defs: 14/14 #cls: 13/1 | - | - | - | - | - | - | - | - |
| 18 | DAGGER-seesaw.map.c | Gen_P | safe | 618 (78 + 250 + 290) | 2 | 78 | 250 #defs: 23/23 | 290 (270 + 20) |
60 (50+10) #defs: 50/50 #cls: 60/50 |
230 (220+10) #defs: 80/80 #cls: 101/1 | - | - | - | - | - | - | - | - |
| 19 | DAGGER-substring1.map.c | Gen_P | unknown | 561 (71 + 100 + 390) | - | 71 | 100 #defs: 10/10 | 390 (350 + 40) |
30 (20+10) #defs: 14/14 #cls: 15/12 |
30 (30+0) #defs: 12/12 #cls: 13/13 |
30 (30+0) #defs: 13/13 #cls: 14/14 |
40 (40+0) #defs: 14/14 #cls: 15/15 |
30 (30+0) #defs: 15/15 #cls: 16/16 |
40 (40+0) #defs: 16/16 #cls: 17/17 |
50 (40+10) #defs: 17/17 #cls: 18/18 |
40 (30+10) #defs: 18/18 #cls: 19/19 |
50 (50+0) #defs: 19/19 #cls: 20/20 |
50 (40+10) #defs: 20/20 #cls: 21/21 |
| 20 | DAGGER-swim.map.c | Gen_P | safe | 54741 (91 + 1760 + 52890) | 2 | 91 | 1760 #defs: 49/49 | 52890 (31900 + 20990) |
3150 (2030+1120) #defs: 294/294 #cls: 362/278 |
49740 (29870+19870) #defs: 1549/1549 #cls: 1862/1 | - | - | - | - | - | - | - | - |
| 21 | DAGGER-swim1.map.c (*) | Gen_P | timeout iteration #6 | 381154 (94 + 2030 + 379030) | - | 94 | 2030 #defs: 55/55 | 379030 (205860 + 173170) |
3600 (2320+1280) #defs: 331/331 #cls: 400/373 |
21400 (5920+15480) #defs: 687/687 #cls: 841/943 |
38710 (12740+25970) #defs: 1123/1123 #cls: 1333/1042 |
156290 (25850+130440) #defs: 1646/1646 #cls: 2081/2375 |
159030 (159030+) #defs: 5613/5613 #cls: 0/0 | - | - | - | - | - |
| 22 | INVGEN-apache-escape-absolute.map.c | Gen_P | safe | 4163 (83 + 820 + 3260) | 3 | 83 | 820 #defs: 53/53 | 3260 (1800 + 1460) |
560 (460+100) #defs: 133/133 #cls: 154/144 |
2140 (780+1360) #defs: 225/225 #cls: 238/176 |
560 (560+0) #defs: 155/155 #cls: 156/1 | - | - | - | - | - | - | - |
| 23 | INVGEN-apache-get-tag.map.c | Gen_P | safe | 868 (78 + 410 + 380) | 4 | 78 | 410 #defs: 45/45 | 380 (320 + 60) |
160 (130+30) #defs: 93/93 #cls: 110/87 |
150 (130+20) #defs: 82/82 #cls: 89/37 |
50 (40+10) #defs: 46/46 #cls: 50/48 |
20 (20+0) #defs: 19/19 #cls: 18/1 | - | - | - | - | - | - |
| 24 | INVGEN-bind_expands_vars2.map.c | Gen_P | safe | 260 (70 + 140 + 50) | 2 | 70 | 140 #defs: 10/10 | 50 (50 + 0) |
40 (40+0) #defs: 14/14 #cls: 17/17 |
10 (10+0) #defs: 4/4 #cls: 3/1 | - | - | - | - | - | - | - | - |
| 25 | INVGEN-bound.map.c | Gen_P | safe | 313 (73 + 200 + 40) | 1 | 73 | 200 #defs: 13/13 | 40 (30 + 10) |
40 (30+10) #defs: 25/25 #cls: 28/1 | - | - | - | - | - | - | - | - | - |
| 26 | INVGEN-down.map.c | Gen_P | unknown | 2200 (70 + 70 + 2060) | - | 70 | 70 #defs: 7/7 | 2060 (1330 + 730) |
50 (40+10) #defs: 16/16 #cls: 22/21 |
70 (70+0) #defs: 32/32 #cls: 42/38 |
80 (70+10) #defs: 38/38 #cls: 45/39 |
130 (110+20) #defs: 66/66 #cls: 72/72 |
170 (120+50) #defs: 70/70 #cls: 76/76 |
290 (160+130) #defs: 109/109 #cls: 116/102 |
220 (150+70) #defs: 76/76 #cls: 81/80 |
290 (200+90) #defs: 121/121 #cls: 128/128 |
310 (160+150) #defs: 94/94 #cls: 99/98 |
450 (250+200) #defs: 146/146 #cls: 153/153 |
| 27 | INVGEN-fragtest_simple.map.c | Gen_P | safe | 314 (74 + 230 + 10) | 1 | 74 | 230 #defs: 10/10 | 10 (10 + 0) |
10 (10+0) #defs: 13/13 #cls: 18/1 | - | - | - | - | - | - | - | - | - |
| 28 | INVGEN-gulwani_cegar1.map.c | Gen_P | safe | 201 (71 + 110 + 20) | 2 | 71 | 110 #defs: 21/21 | 20 (20 + 0) |
20 (20+0) #defs: 29/29 #cls: 36/21 |
0 (0+0) #defs: 8/8 #cls: 7/1 | - | - | - | - | - | - | - | - |
| 29 | INVGEN-gulwani_cegar2.map.c | Gen_P | safe | 210 (70 + 80 + 60) | 2 | 70 | 80 #defs: 10/10 | 60 (60 + 0) |
30 (30+0) #defs: 21/21 #cls: 28/21 |
30 (30+0) #defs: 15/15 #cls: 19/1 | - | - | - | - | - | - | - | - |
| 30 | INVGEN-gulwani_fig1a.map.c | Gen_P | safe | 118 (68 + 40 + 10) | 2 | 68 | 40 #defs: 6/6 | 10 (10 + 0) |
10 (10+0) #defs: 8/8 #cls: 9/8 |
0 (0+0) #defs: 5/5 #cls: 4/1 | - | - | - | - | - | - | - | - |
| 31 | INVGEN-id_build.map.c | Gen_P | safe | 220 (70 + 100 + 50) | 3 | 70 | 100 #defs: 9/9 | 50 (40 + 10) |
20 (20+0) #defs: 18/18 #cls: 23/23 |
20 (20+0) #defs: 19/19 #cls: 21/20 |
10 (0+10) #defs: 12/12 #cls: 11/1 | - | - | - | - | - | - | - |
| 32 | INVGEN-ken-imp.map.c | Gen_P | safe | 219 (69 + 80 + 70) | 3 | 69 | 80 #defs: 6/6 | 70 (70 + 0) |
20 (20+0) #defs: 9/9 #cls: 13/13 |
30 (30+0) #defs: 13/13 #cls: 16/16 |
20 (20+0) #defs: 9/9 #cls: 10/1 | - | - | - | - | - | - | - |
| 33 | INVGEN-MADWiFi-encode_ie_ok.map.c | Gen_P | unknown | 3293 (73 + 210 + 3010) | - | 73 | 210 #defs: 14/14 | 3010 (1990 + 1020) |
120 (120+0) #defs: 21/21 #cls: 24/24 |
170 (150+20) #defs: 29/29 #cls: 34/34 |
170 (150+20) #defs: 35/35 #cls: 36/34 |
210 (170+40) #defs: 39/39 #cls: 40/40 |
230 (190+40) #defs: 45/45 #cls: 46/46 |
300 (210+90) #defs: 51/51 #cls: 52/52 |
330 (220+110) #defs: 57/57 #cls: 58/58 |
420 (250+170) #defs: 63/63 #cls: 64/64 |
470 (250+220) #defs: 69/69 #cls: 70/70 |
590 (280+310) #defs: 75/75 #cls: 76/76 |
| 34 | INVGEN-mergesort.map.c (*) | Gen_P | timeout iteration #6 | 446712 (82 + 1000 + 445630) | - | 82 | 1000 #defs: 14/14 | 445630 (297270 + 148360) |
190 (180+10) #defs: 37/37 #cls: 62/62 |
1070 (950+120) #defs: 170/170 #cls: 263/237 |
20490 (16490+4000) #defs: 1101/1101 #cls: 1673/1502 |
146980 (93970+53010) #defs: 3222/3222 #cls: 4199/1924 |
276900 (185680+91220) #defs: 3623/3623 #cls: 4905/4609 | - | - | - | - | - |
| 35 | INVGEN-nest-if.map.c | Gen_P | safe | 171 (71 + 80 + 20) | 1 | 71 | 80 #defs: 9/9 | 20 (20 + 0) |
20 (20+0) #defs: 15/15 #cls: 17/1 | - | - | - | - | - | - | - | - | - |
| 36 | INVGEN-nest-if1.map.c | Gen_P | safe | 1352 (72 + 130 + 1150) | 4 | 72 | 130 #defs: 12/12 | 1150 (1070 + 80) |
120 (120+0) #defs: 36/36 #cls: 59/56 |
320 (290+30) #defs: 84/84 #cls: 112/88 |
420 (380+40) #defs: 97/97 #cls: 122/84 |
290 (280+10) #defs: 76/76 #cls: 86/1 | - | - | - | - | - | - |
| 37 | INVGEN-nest-if2.map.c | Gen_P | safe | 321 (71 + 130 + 120) | 1 | 71 | 130 #defs: 12/12 | 120 (120 + 0) |
120 (120+0) #defs: 37/37 #cls: 55/1 | - | - | - | - | - | - | - | - | - |
| 38 | INVGEN-nest-if3.map.c | Gen_P | safe | 960 (70 + 140 + 750) | 4 | 70 | 140 #defs: 11/11 | 750 (700 + 50) |
80 (80+0) #defs: 26/26 #cls: 43/40 |
180 (170+10) #defs: 55/55 #cls: 73/51 |
260 (220+40) #defs: 56/56 #cls: 81/77 |
230 (230+0) #defs: 60/60 #cls: 66/1 | - | - | - | - | - | - |
| 39 | INVGEN-nest-if4.map.c | Gen_P | safe | 331 (71 + 130 + 130) | 1 | 71 | 130 #defs: 12/12 | 130 (130 + 0) |
130 (130+0) #defs: 33/33 #cls: 52/1 | - | - | - | - | - | - | - | - | - |
| 40 | INVGEN-nest-if5.map.c | Gen_P | safe | 292 (72 + 120 + 100) | 1 | 72 | 120 #defs: 12/12 | 100 (100 + 0) |
100 (100+0) #defs: 31/31 #cls: 46/1 | - | - | - | - | - | - | - | - | - |
| 41 | INVGEN-nest-if6.map.c | Gen_P | safe | 1422 (82 + 1100 + 240) | 1 | 82 | 1100 #defs: 20/20 | 240 (230 + 10) |
240 (230+10) #defs: 40/40 #cls: 59/1 | - | - | - | - | - | - | - | - | - |
| 42 | INVGEN-nest-if7.map.c | Gen_P | safe | 371 (71 + 140 + 160) | 2 | 71 | 140 #defs: 11/11 | 160 (150 + 10) |
80 (70+10) #defs: 29/29 #cls: 44/44 |
80 (80+0) #defs: 28/28 #cls: 29/1 | - | - | - | - | - | - | - | - |
| 43 | INVGEN-nest-if8.map.c | Gen_P | safe | 443 (73 + 210 + 160) | 2 | 73 | 210 #defs: 15/15 | 160 (160 + 0) |
140 (140+0) #defs: 33/33 #cls: 48/48 |
20 (20+0) #defs: 10/10 #cls: 9/1 | - | - | - | - | - | - | - | - |
| 44 | INVGEN-nest-len.map.c | Gen_P | safe | 267 (77 + 150 + 40) | 1 | 77 | 150 #defs: 13/13 | 40 (40 + 0) |
40 (40+0) #defs: 30/30 #cls: 44/1 | - | - | - | - | - | - | - | - | - |
| 45 | INVGEN-nested.map.c | Gen_P | safe | 139 (69 + 50 + 20) | 1 | 69 | 50 #defs: 7/7 | 20 (20 + 0) |
20 (20+0) #defs: 12/12 #cls: 14/1 | - | - | - | - | - | - | - | - | - |
| 46 | INVGEN-nested1.map.c | Gen_P | safe | 231 (71 + 110 + 50) | 1 | 71 | 110 #defs: 11/11 | 50 (50 + 0) |
50 (50+0) #defs: 26/26 #cls: 35/1 | - | - | - | - | - | - | - | - | - |
| 47 | INVGEN-nested2.map.c | Gen_P | safe | 251 (71 + 120 + 60) | 1 | 71 | 120 #defs: 11/11 | 60 (60 + 0) |
60 (60+0) #defs: 23/23 #cls: 31/1 | - | - | - | - | - | - | - | - | - |
| 48 | INVGEN-nested3.map.c | Gen_P | safe | 621 (71 + 100 + 450) | 4 | 71 | 100 #defs: 11/11 | 450 (440 + 10) |
60 (60+0) #defs: 27/27 #cls: 39/36 |
130 (130+0) #defs: 42/42 #cls: 57/42 |
150 (140+10) #defs: 44/44 #cls: 57/53 |
110 (110+0) #defs: 35/35 #cls: 38/1 | - | - | - | - | - | - |
| 49 | INVGEN-nested4.map.c | Gen_P | safe | 661 (71 + 110 + 480) | 3 | 71 | 110 #defs: 11/11 | 480 (450 + 30) |
80 (70+10) #defs: 27/27 #cls: 41/38 |
190 (170+20) #defs: 53/53 #cls: 76/60 |
210 (210+0) #defs: 70/70 #cls: 87/1 | - | - | - | - | - | - | - |
| 50 | INVGEN-nested5.map.c | Gen_P | safe | 431 (71 + 100 + 260) | 4 | 71 | 100 #defs: 8/8 | 260 (250 + 10) |
40 (40+0) #defs: 18/18 #cls: 26/26 |
50 (50+0) #defs: 29/29 #cls: 37/30 |
110 (100+10) #defs: 45/45 #cls: 60/54 |
60 (60+0) #defs: 22/22 #cls: 23/1 | - | - | - | - | - | - |
| 51 | INVGEN-nested6.map.c | Gen_P | safe | 2393 (73 + 200 + 2120) | 4 | 73 | 200 #defs: 14/14 | 2120 (1810 + 310) |
220 (210+10) #defs: 55/55 #cls: 91/91 |
610 (530+80) #defs: 159/159 #cls: 221/137 |
960 (750+210) #defs: 181/181 #cls: 213/144 |
330 (320+10) #defs: 67/67 #cls: 75/1 | - | - | - | - | - | - |
| 52 | INVGEN-nested7.map.c | Gen_P | unknown | 48759 (79 + 340 + 48340) | - | 79 | 340 #defs: 16/16 | 48340 (30930 + 17410) |
210 (200+10) #defs: 47/47 #cls: 74/69 |
1120 (950+170) #defs: 171/171 #cls: 246/199 |
5640 (4550+1090) #defs: 590/590 #cls: 772/618 |
5990 (5080+910) #defs: 541/541 #cls: 623/423 |
8400 (5330+3070) #defs: 710/710 #cls: 849/587 |
3460 (2910+550) #defs: 355/355 #cls: 392/278 |
4470 (2780+1690) #defs: 527/527 #cls: 604/335 |
3010 (2050+960) #defs: 308/308 #cls: 344/293 |
9660 (3800+5860) #defs: 710/710 #cls: 803/486 |
6380 (3280+3100) #defs: 412/412 #cls: 456/400 |
| 53 | INVGEN-nested8.map.c | Gen_P | safe | 781 (71 + 180 + 530) | 4 | 71 | 180 #defs: 9/9 | 530 (500 + 30) |
90 (90+0) #defs: 19/19 #cls: 27/27 |
140 (130+10) #defs: 31/31 #cls: 39/31 |
200 (180+20) #defs: 43/43 #cls: 54/48 |
100 (100+0) #defs: 20/20 #cls: 21/1 | - | - | - | - | - | - |
| 54 | INVGEN-nested9.map.c | Gen_P | unknown | 41212 (72 + 190 + 40950) | - | 72 | 190 #defs: 9/9 | 40950 (12850 + 28100) |
90 (90+0) #defs: 20/20 #cls: 30/30 |
260 (240+20) #defs: 41/41 #cls: 66/66 |
470 (450+20) #defs: 93/93 #cls: 120/99 |
700 (610+90) #defs: 119/119 #cls: 145/80 |
740 (660+80) #defs: 114/114 #cls: 131/118 |
2560 (1180+1380) #defs: 200/200 #cls: 225/206 |
2890 (1780+1110) #defs: 283/283 #cls: 316/225 |
5230 (1980+3250) #defs: 271/271 #cls: 297/243 |
4770 (2330+2440) #defs: 300/300 #cls: 330/330 |
23240 (3530+19710) #defs: 438/438 #cls: 482/445 |
| 55 | INVGEN-NetBSD_glob3_iny.map.c | Gen_P | safe | 418 (78 + 320 + 20) | 1 | 78 | 320 #defs: 18/18 | 20 (20 + 0) |
20 (20+0) #defs: 17/17 #cls: 18/1 | - | - | - | - | - | - | - | - | - |
| 56 | INVGEN-NetBSD_g_Ctoc.map.c | Gen_P | unknown | 11143 (73 + 200 + 10870) | - | 73 | 200 #defs: 18/18 | 10870 (3070 + 7800) |
80 (70+10) #defs: 31/31 #cls: 38/38 |
240 (180+60) #defs: 60/60 #cls: 73/69 |
380 (290+90) #defs: 90/90 #cls: 97/93 |
1050 (720+330) #defs: 170/170 #cls: 176/69 |
500 (230+270) #defs: 79/79 #cls: 80/80 |
880 (270+610) #defs: 90/90 #cls: 91/91 |
1040 (280+760) #defs: 101/101 #cls: 102/102 |
1750 (320+1430) #defs: 112/112 #cls: 113/113 |
1960 (320+1640) #defs: 123/123 #cls: 124/124 |
2990 (390+2600) #defs: 134/134 #cls: 135/135 |
| 57 | INVGEN-NetBSD_loop.map.c | Gen_P | safe | 280 (70 + 140 + 70) | 2 | 70 | 140 #defs: 9/9 | 70 (60 + 10) |
60 (50+10) #defs: 15/15 #cls: 18/18 |
10 (10+0) #defs: 6/6 #cls: 5/1 | - | - | - | - | - | - | - | - |
| 58 | INVGEN-NetBSD_loop_int.map.c | Gen_P | safe | 392 (72 + 240 + 80) | 2 | 72 | 240 #defs: 11/11 | 80 (80 + 0) |
70 (70+0) #defs: 19/19 #cls: 22/22 |
10 (10+0) #defs: 6/6 #cls: 5/1 | - | - | - | - | - | - | - | - |
| 59 | INVGEN-rajamani_1.map.c | Gen_P | safe | 433 (73 + 270 + 90) | 2 | 73 | 270 #defs: 12/12 | 90 (90 + 0) |
40 (40+0) #defs: 23/23 #cls: 36/33 |
50 (50+0) #defs: 30/30 #cls: 29/1 | - | - | - | - | - | - | - | - |
| 60 | INVGEN-sendmail-close-angle.map.c | Gen_P | unknown | 24965 (75 + 370 + 24520) | - | 75 | 370 #defs: 24/24 | 24520 (8040 + 16480) |
250 (210+40) #defs: 68/68 #cls: 87/71 |
580 (500+80) #defs: 128/128 #cls: 150/77 |
830 (680+150) #defs: 137/137 #cls: 150/142 |
2480 (1200+1280) #defs: 239/239 #cls: 251/216 |
2580 (1240+1340) #defs: 258/258 #cls: 271/271 |
2630 (1160+1470) #defs: 254/254 #cls: 257/147 |
1890 (730+1160) #defs: 164/164 #cls: 167/167 |
2940 (670+2270) #defs: 184/184 #cls: 187/187 |
3930 (770+3160) #defs: 204/204 #cls: 207/207 |
6410 (880+5530) #defs: 224/224 #cls: 227/227 |
| 61 | INVGEN-sendmail-mime-fromqp.map.c | Gen_P | safe | 335 (75 + 250 + 10) | 1 | 75 | 250 #defs: 25/25 | 10 (10 + 0) |
10 (10+0) #defs: 21/21 #cls: 20/1 | - | - | - | - | - | - | - | - | - |
| 62 | INVGEN-sendmail-mime7to8_arr_three_chars_no_test_ok.map.c | Gen_P | safe | 325 (75 + 250 + 0) | 1 | 75 | 250 #defs: 27/27 | 0 (0 + 0) |
0 (0+0) #defs: 10/10 #cls: 9/1 | - | - | - | - | - | - | - | - | - |
| 63 | INVGEN-seq-len.map.c | Gen_P | timeout iteration #7 | 175967 (77 + 270 + 175620) | - | 77 | 270 #defs: 11/11 | 175620 (125570 + 50050) |
170 (150+20) #defs: 81/81 #cls: 123/89 |
740 (560+180) #defs: 218/218 #cls: 298/252 |
1950 (1580+370) #defs: 502/502 #cls: 627/539 |
11510 (4720+6790) #defs: 1011/1011 #cls: 1231/1192 |
68520 (25830+42690) #defs: 3063/3063 #cls: 3498/3090 |
92730 (92730+) #defs: 4531/4531 #cls: 0/0 | - | - | - | - |
| 64 | INVGEN-seq-proc.map.c | Gen_P | unknown | 175315 (75 + 210 + 175030) | - | 75 | 210 #defs: 9/9 | 175030 (59000 + 116030) |
130 (120+10) #defs: 34/34 #cls: 51/47 |
300 (280+20) #defs: 99/99 #cls: 128/102 |
520 (440+80) #defs: 159/159 #cls: 203/194 |
1120 (800+320) #defs: 262/262 #cls: 314/304 |
2260 (1510+750) #defs: 431/431 #cls: 500/438 |
5120 (2640+2480) #defs: 600/600 #cls: 681/666 |
10740 (5140+5600) #defs: 950/950 #cls: 1057/904 |
22820 (8570+14250) #defs: 1160/1160 #cls: 1275/1218 |
42750 (15390+27360) #defs: 1718/1718 #cls: 1869/1597 |
89270 (24110+65160) #defs: 1986/1986 #cls: 2142/2036 |
| 65 | INVGEN-seq-sim.map.c | Gen_P | unknown | 164334 (74 + 160 + 164100) | - | 74 | 160 #defs: 9/9 | 164100 (49120 + 114980) |
70 (60+10) #defs: 36/36 #cls: 52/42 |
180 (140+40) #defs: 81/81 #cls: 110/100 |
290 (260+30) #defs: 143/143 #cls: 175/149 |
930 (490+440) #defs: 253/253 #cls: 299/284 |
2080 (1120+960) #defs: 458/458 #cls: 525/469 |
5690 (2060+3630) #defs: 602/602 #cls: 685/669 |
10840 (4180+6660) #defs: 980/980 #cls: 1090/953 |
19820 (7070+12750) #defs: 1161/1161 #cls: 1288/1288 |
41700 (12900+28800) #defs: 1767/1767 #cls: 1926/1675 |
82500 (20840+61660) #defs: 2024/2024 #cls: 2208/2208 |
| 66 | INVGEN-seq-z3.map.c | Gen_P | unknown | 165314 (74 + 150 + 165090) | - | 74 | 150 #defs: 9/9 | 165090 (50420 + 114670) |
60 (50+10) #defs: 36/36 #cls: 52/42 |
170 (150+20) #defs: 81/81 #cls: 110/100 |
280 (240+40) #defs: 143/143 #cls: 175/149 |
970 (520+450) #defs: 253/253 #cls: 299/284 |
2180 (1210+970) #defs: 458/458 #cls: 525/469 |
5780 (2140+3640) #defs: 602/602 #cls: 685/669 |
11000 (4360+6640) #defs: 980/980 #cls: 1090/953 |
20020 (7310+12710) #defs: 1161/1161 #cls: 1288/1288 |
41990 (13120+28870) #defs: 1767/1767 #cls: 1926/1675 |
82640 (21320+61320) #defs: 2024/2024 #cls: 2208/2208 |
| 67 | INVGEN-seq.map.c | Gen_P | unknown | 78722 (72 + 120 + 78530) | - | 72 | 120 #defs: 7/7 | 78530 (29540 + 48990) |
90 (80+10) #defs: 22/22 #cls: 33/32 |
180 (170+10) #defs: 50/50 #cls: 64/54 |
200 (190+10) #defs: 79/79 #cls: 102/102 |
420 (330+90) #defs: 132/132 #cls: 161/152 |
1080 (700+380) #defs: 263/263 #cls: 307/286 |
1710 (1050+660) #defs: 335/335 #cls: 387/375 |
5370 (2370+3000) #defs: 656/656 #cls: 730/670 |
8420 (3960+4460) #defs: 744/744 #cls: 826/794 |
25090 (7940+17150) #defs: 1333/1333 #cls: 1445/1330 |
35970 (12750+23220) #defs: 1437/1437 #cls: 1557/1497 |
| 68 | INVGEN-seq2.map.c | Gen_P | unknown | 227174 (74 + 190 + 226910) | - | 74 | 190 #defs: 9/9 | 226910 (65560 + 161350) |
150 (130+20) #defs: 34/34 #cls: 51/47 |
410 (380+30) #defs: 99/99 #cls: 128/102 |
550 (480+70) #defs: 169/169 #cls: 215/206 |
1190 (820+370) #defs: 267/267 #cls: 321/311 |
2280 (1620+660) #defs: 475/475 #cls: 551/500 |
6570 (2860+3710) #defs: 629/629 #cls: 715/700 |
11440 (5720+5720) #defs: 1017/1017 #cls: 1135/1025 |
32640 (9770+22870) #defs: 1246/1246 #cls: 1371/1334 |
42360 (16840+25520) #defs: 1801/1801 #cls: 1964/1768 |
129320 (26940+102380) #defs: 2121/2121 #cls: 2291/2244 |
| 69 | INVGEN-seq3.map.c | Gen_P | unknown | 134664 (74 + 230 + 134360) | - | 74 | 230 #defs: 9/9 | 134360 (46290 + 88070) |
270 (250+20) #defs: 46/46 #cls: 67/57 |
490 (430+60) #defs: 105/105 #cls: 141/100 |
410 (380+30) #defs: 136/136 #cls: 168/146 |
970 (600+370) #defs: 229/229 #cls: 268/251 |
2040 (1270+770) #defs: 401/401 #cls: 458/422 |
5580 (2210+3370) #defs: 554/554 #cls: 624/608 |
8470 (4100+4370) #defs: 809/809 #cls: 898/817 |
18440 (6750+11690) #defs: 1034/1034 #cls: 1137/1137 |
30760 (11890+18870) #defs: 1438/1438 #cls: 1564/1423 |
66930 (18410+48520) #defs: 1748/1748 #cls: 1888/1888 |
| 70 | INVGEN-seq4.map.c | Gen_P | unknown | 24463 (73 + 230 + 24160) | - | 73 | 230 #defs: 9/9 | 24160 (8910 + 15250) |
190 (180+10) #defs: 41/41 #cls: 59/43 |
220 (210+10) #defs: 68/68 #cls: 90/70 |
250 (220+30) #defs: 90/90 #cls: 110/101 |
500 (340+160) #defs: 145/145 #cls: 161/130 |
800 (500+300) #defs: 195/195 #cls: 216/216 |
1250 (700+550) #defs: 270/270 #cls: 296/296 |
2310 (950+1360) #defs: 315/315 #cls: 341/340 |
3310 (1360+1950) #defs: 412/412 #cls: 443/443 |
6630 (1880+4750) #defs: 483/483 #cls: 515/514 |
8700 (2570+6130) #defs: 602/602 #cls: 639/639 |
| 71 | INVGEN-simple.map.c | Gen_P | safe | 118 (68 + 40 + 10) | 2 | 68 | 40 #defs: 9/9 | 10 (10 + 0) |
10 (10+0) #defs: 12/12 #cls: 14/10 |
0 (0+0) #defs: 5/5 #cls: 4/1 | - | - | - | - | - | - | - | - |
| 72 | INVGEN-simple_if.map.c | Gen_P | safe | 128 (68 + 50 + 10) | 1 | 68 | 50 #defs: 7/7 | 10 (10 + 0) |
10 (10+0) #defs: 11/11 #cls: 13/1 | - | - | - | - | - | - | - | - | - |
| 73 | INVGEN-simple_nest.map.c | Gen_P | safe | 109 (69 + 30 + 10) | 1 | 69 | 30 #defs: 8/8 | 10 (10 + 0) |
10 (10+0) #defs: 12/12 #cls: 13/1 | - | - | - | - | - | - | - | - | - |
| 74 | INVGEN-SpamAssassin-loop.map.c | Gen_P | safe | 999 (79 + 520 + 400) | 2 | 79 | 520 #defs: 42/42 | 400 (370 + 30) |
180 (170+10) #defs: 61/61 #cls: 77/77 |
220 (200+20) #defs: 83/83 #cls: 82/1 | - | - | - | - | - | - | - | - |
| 75 | INVGEN-SpamAssassin-loop_ok.map.c | Gen_P | safe | 292 (72 + 160 + 60) | 1 | 72 | 160 #defs: 12/12 | 60 (60 + 0) |
60 (60+0) #defs: 20/20 #cls: 29/1 | - | - | - | - | - | - | - | - | - |
| 76 | INVGEN-split.map.c | Gen_P | unknown | 3960 (70 + 130 + 3760) | - | 70 | 130 #defs: 7/7 | 3760 (2380 + 1380) |
20 (10+10) #defs: 15/15 #cls: 26/25 |
100 (90+10) #defs: 41/41 #cls: 55/37 |
80 (70+10) #defs: 41/41 #cls: 51/43 |
120 (90+30) #defs: 54/54 #cls: 69/54 |
200 (140+60) #defs: 73/73 #cls: 101/92 |
300 (230+70) #defs: 115/115 #cls: 149/137 |
360 (250+110) #defs: 128/128 #cls: 163/148 |
650 (420+230) #defs: 176/176 #cls: 218/210 |
720 (470+250) #defs: 196/196 #cls: 233/198 |
1210 (610+600) #defs: 239/239 #cls: 289/290 |
| 77 | INVGEN-string_concat-noarr.map.c | Gen_P | safe | 160 (70 + 80 + 10) | 1 | 70 | 80 #defs: 11/11 | 10 (10 + 0) |
10 (10+0) #defs: 16/16 #cls: 19/1 | - | - | - | - | - | - | - | - | - |
| 78 | INVGEN-svd-some-loop.map.c | Gen_P | safe | 236214 (84 + 770 + 235360) | 8 | 84 | 770 #defs: 55/55 | 235360 (145990 + 89370) |
1480 (1380+100) #defs: 266/266 #cls: 399/399 |
27770 (9830+17940) #defs: 1311/1311 #cls: 1615/669 |
88570 (17240+71330) #defs: 1209/1209 #cls: 1324/1251 |
27240 (27240+) #defs: 2065/2065 #cls: 0/0 |
40760 (40760+) #defs: 2155/2155 #cls: 0/0 |
27020 (27020+) #defs: 1450/1450 #cls: 0/0 |
20770 (20770+) #defs: 1534/1534 #cls: 0/0 |
1750 (1750+0) #defs: 118/118 #cls: 119/1 | - | - |
| 79 | INVGEN-svd1.map.c | Gen_P | safe | 3795 (85 + 830 + 2880) | 2 | 85 | 830 #defs: 62/62 | 2880 (2780 + 100) |
2110 (2010+100) #defs: 251/251 #cls: 316/313 |
770 (770+0) #defs: 110/110 #cls: 121/1 | - | - | - | - | - | - | - | - |
| 80 | INVGEN-svd2.map.c | Gen_P | safe | 786 (76 + 300 + 410) | 1 | 76 | 300 #defs: 18/18 | 410 (410 + 0) |
410 (410+0) #defs: 60/60 #cls: 86/1 | - | - | - | - | - | - | - | - | - |
| 81 | INVGEN-svd3.map.c | Gen_P | safe | 615 (75 + 230 + 310) | 2 | 75 | 230 #defs: 15/15 | 310 (300 + 10) |
240 (230+10) #defs: 48/48 #cls: 78/75 |
70 (70+0) #defs: 26/26 #cls: 29/1 | - | - | - | - | - | - | - | - |
| 82 | INVGEN-svd4.map.c | Gen_P | safe | 102401 (91 + 1220 + 101090) | 4 | 91 | 1220 #defs: 83/83 | 101090 (61780 + 39310) |
2560 (2380+180) #defs: 317/317 #cls: 543/540 |
25710 (12140+13570) #defs: 1480/1480 #cls: 1708/678 |
47130 (23830+23300) #defs: 1322/1322 #cls: 1529/1490 |
25690 (23430+2260) #defs: 1441/1441 #cls: 1458/1 | - | - | - | - | - | - |
| 83 | INVGEN-up-nd.map.c | Gen_P | unknown | 7001 (71 + 90 + 6840) | - | 71 | 90 #defs: 8/8 | 6840 (3490 + 3350) |
20 (20+0) #defs: 14/14 #cls: 19/18 |
40 (40+0) #defs: 24/24 #cls: 30/27 |
80 (70+10) #defs: 38/38 #cls: 49/49 |
140 (110+30) #defs: 62/62 #cls: 74/74 |
140 (120+20) #defs: 68/68 #cls: 83/83 |
340 (220+120) #defs: 117/117 #cls: 135/122 |
420 (270+150) #defs: 135/135 #cls: 156/155 |
1040 (550+490) #defs: 241/241 #cls: 279/273 |
1460 (800+660) #defs: 283/283 #cls: 329/336 |
3160 (1290+1870) #defs: 411/411 #cls: 472/359 |
| 84 | INVGEN-up-nested.map.c | Gen_P | safe | 180 (70 + 90 + 20) | 1 | 70 | 90 #defs: 12/12 | 20 (20 + 0) |
20 (20+0) #defs: 13/13 #cls: 14/1 | - | - | - | - | - | - | - | - | - |
| 85 | INVGEN-up.map.c | Gen_P | unknown | 1950 (70 + 90 + 1790) | - | 70 | 90 #defs: 7/7 | 1790 (1100 + 690) |
40 (40+0) #defs: 16/16 #cls: 22/21 |
60 (60+0) #defs: 32/32 #cls: 42/38 |
70 (60+10) #defs: 38/38 #cls: 45/39 |
90 (80+10) #defs: 66/66 #cls: 72/72 |
150 (100+50) #defs: 70/70 #cls: 76/76 |
270 (140+130) #defs: 109/109 #cls: 116/102 |
180 (110+70) #defs: 76/76 #cls: 81/80 |
270 (170+100) #defs: 121/121 #cls: 128/128 |
260 (140+120) #defs: 94/94 #cls: 99/98 |
400 (200+200) #defs: 146/146 #cls: 153/153 |
| 86 | INVGEN-up2.map.c | Gen_P | unknown | 630 (70 + 70 + 490) | - | 70 | 70 #defs: 6/6 | 490 (370 + 120) |
20 (10+10) #defs: 10/10 #cls: 13/12 |
50 (40+10) #defs: 19/19 #cls: 23/20 |
30 (20+10) #defs: 18/18 #cls: 21/20 |
40 (30+10) #defs: 26/26 #cls: 30/30 |
30 (20+10) #defs: 22/22 #cls: 25/25 |
60 (50+10) #defs: 34/34 #cls: 38/38 |
40 (30+10) #defs: 33/33 #cls: 36/36 |
70 (60+10) #defs: 48/48 #cls: 52/52 |
60 (50+10) #defs: 34/34 #cls: 37/37 |
90 (60+30) #defs: 52/52 #cls: 56/56 |
| 87 | INVGEN-up3.map.c | Gen_P | unknown | 811 (71 + 60 + 680) | - | 71 | 60 #defs: 6/6 | 680 (550 + 130) |
30 (20+10) #defs: 10/10 #cls: 13/12 |
30 (30+0) #defs: 19/19 #cls: 23/20 |
30 (30+0) #defs: 19/19 #cls: 23/22 |
60 (50+10) #defs: 27/27 #cls: 30/22 |
40 (30+10) #defs: 23/23 #cls: 27/27 |
60 (50+10) #defs: 35/35 #cls: 38/28 |
80 (70+10) #defs: 34/34 #cls: 38/38 |
140 (100+40) #defs: 49/49 #cls: 52/34 |
70 (70+0) #defs: 35/35 #cls: 39/39 |
140 (100+40) #defs: 53/53 #cls: 56/40 |
| 88 | INVGEN-up4.map.c | Gen_P | unknown | 540 (70 + 60 + 410) | - | 70 | 60 #defs: 6/6 | 410 (310 + 100) |
20 (20+0) #defs: 10/10 #cls: 13/12 |
30 (30+0) #defs: 18/18 #cls: 20/14 |
30 (20+10) #defs: 16/16 #cls: 19/19 |
40 (30+10) #defs: 18/18 #cls: 20/20 |
30 (20+10) #defs: 22/22 #cls: 25/25 |
50 (40+10) #defs: 24/24 #cls: 26/26 |
40 (30+10) #defs: 28/28 #cls: 31/31 |
40 (30+10) #defs: 30/30 #cls: 32/32 |
60 (40+20) #defs: 34/34 #cls: 37/37 |
70 (50+20) #defs: 36/36 #cls: 38/38 |
| 89 | INVGEN-up5.map.c | Gen_P | unknown | 490 (70 + 70 + 350) | - | 70 | 70 #defs: 6/6 | 350 (280 + 70) |
10 (10+0) #defs: 10/10 #cls: 13/12 |
20 (20+0) #defs: 18/18 #cls: 20/14 |
20 (20+0) #defs: 15/15 #cls: 17/17 |
40 (30+10) #defs: 18/18 #cls: 20/20 |
20 (20+0) #defs: 21/21 #cls: 23/23 |
40 (30+10) #defs: 24/24 #cls: 26/26 |
40 (30+10) #defs: 27/27 #cls: 29/29 |
50 (40+10) #defs: 30/30 #cls: 32/32 |
50 (30+20) #defs: 33/33 #cls: 35/35 |
60 (50+10) #defs: 36/36 #cls: 38/38 |
| 90 | MAP-CPA-example.map.c | Gen_P | safe | 149 (69 + 50 + 30) | 2 | 69 | 50 #defs: 7/7 | 30 (30 + 0) |
10 (10+0) #defs: 10/10 #cls: 15/16 |
20 (20+0) #defs: 18/18 #cls: 17/1 | - | - | - | - | - | - | - | - |
| 91 | MAP-disj.map.c | Gen_P | unknown | 680 (130 + 40 + 510) | - | 130 | 40 #defs: 7/7 | 510 (290 + 220) |
20 (10+10) #defs: 13/13 #cls: 18/19 |
10 (10+0) #defs: 22/22 #cls: 28/23 |
20 (20+0) #defs: 23/23 #cls: 27/24 |
50 (40+10) #defs: 37/37 #cls: 42/37 |
40 (30+10) #defs: 37/37 #cls: 41/41 |
30 (20+10) #defs: 43/43 #cls: 47/47 |
60 (40+20) #defs: 49/49 #cls: 53/53 |
80 (40+40) #defs: 57/57 #cls: 61/61 |
70 (30+40) #defs: 63/63 #cls: 67/67 |
130 (50+80) #defs: 71/71 #cls: 75/75 |
| 92 | MAP-forward.map.c (*) | Gen_P | timeout iteration #10 | 419711 (71 + 200 + 419440) | - | 71 | 200 #defs: 10/10 | 419440 (172870 + 246570) |
20 (20+0) #defs: 15/15 #cls: 22/19 |
60 (60+0) #defs: 21/21 #cls: 29/29 |
90 (70+20) #defs: 39/39 #cls: 57/55 |
290 (230+60) #defs: 67/67 #cls: 105/105 |
1410 (1060+350) #defs: 235/235 #cls: 350/362 |
3130 (1840+1290) #defs: 354/354 #cls: 519/519 |
15730 (9580+6150) #defs: 1293/1293 #cls: 1787/3181 |
99330 (29270+70060) #defs: 1984/1984 #cls: 2815/3458 |
299380 (130740+168640) #defs: 5305/5305 #cls: 7310/59672 | - |
| 93 | MAP-interpolants_needed-pepm-proc.c.map.c | Gen_P | safe | 251 (71 + 80 + 100) | 2 | 71 | 80 #defs: 11/11 | 100 (100 + 0) |
30 (30+0) #defs: 22/22 #cls: 35/34 |
70 (70+0) #defs: 27/27 #cls: 36/1 | - | - | - | - | - | - | - | - |
| 94 | MAP-pepm-scp-example1.c.map.c | Gen_P | unknown | 480 (70 + 80 + 330) | - | 70 | 80 #defs: 9/9 | 330 (270 + 60) |
10 (10+0) #defs: 15/15 #cls: 18/12 |
20 (20+0) #defs: 14/14 #cls: 18/18 |
20 (20+0) #defs: 24/24 #cls: 28/24 |
20 (20+0) #defs: 21/21 #cls: 25/22 |
40 (30+10) #defs: 25/25 #cls: 28/22 |
30 (30+0) #defs: 26/26 #cls: 30/30 |
40 (30+10) #defs: 35/35 #cls: 38/26 |
50 (40+10) #defs: 31/31 #cls: 35/35 |
60 (40+20) #defs: 42/42 #cls: 45/30 |
40 (30+10) #defs: 30/30 #cls: 34/34 |
| 95 | MAP-pepm-scp-example2.c.map.c | Gen_P | safe | 129 (69 + 50 + 10) | 2 | 69 | 50 #defs: 7/7 | 10 (10 + 0) |
10 (10+0) #defs: 12/12 #cls: 13/10 |
0 (0+0) #defs: 5/5 #cls: 4/1 | - | - | - | - | - | - | - | - |
| 96 | MAP-re1-LOPSTR-pepm-proc.c.map.c | Gen_P | safe | 180 (70 + 80 + 30) | 2 | 70 | 80 #defs: 9/9 | 30 (30 + 0) |
10 (10+0) #defs: 15/15 #cls: 19/14 |
20 (20+0) #defs: 11/11 #cls: 14/1 | - | - | - | - | - | - | - | - |
| 97 | MAP-selection_sort-pepm-proc.c.map.c | Gen_P | safe | 616 (76 + 200 + 340) | 2 | 76 | 200 #defs: 19/19 | 340 (330 + 10) |
120 (110+10) #defs: 47/47 #cls: 67/64 |
220 (220+0) #defs: 58/58 #cls: 62/1 | - | - | - | - | - | - | - | - |
| 98 | MAP-singleloop2-pepm-proc.c.map.c | Gen_P | unknown | 990 (70 + 70 + 850) | - | 70 | 70 #defs: 9/9 | 850 (580 + 270) |
20 (20+0) #defs: 15/15 #cls: 20/17 |
50 (50+0) #defs: 27/27 #cls: 34/28 |
60 (50+10) #defs: 33/33 #cls: 38/26 |
70 (60+10) #defs: 39/39 #cls: 46/38 |
60 (40+20) #defs: 41/41 #cls: 47/34 |
80 (60+20) #defs: 51/51 #cls: 58/50 |
80 (50+30) #defs: 53/53 #cls: 59/42 |
110 (70+40) #defs: 63/63 #cls: 70/62 |
140 (80+60) #defs: 65/65 #cls: 71/50 |
180 (100+80) #defs: 75/75 #cls: 82/74 |
| 99 | SVCOMP13-locks-test_locks_10_safe.map.c | Gen_P | timeout iteration #1 | 7017 (97 + 6920 + 0) | - | 97 | 6920 #defs: 46/46 | 0 (0 + 0) | - | - | - | - | - | - | - | - | - | - |
| 100 | SVCOMP13-locks-test_locks_5_safe.map.c | Gen_P | timeout iteration #1 | 1072 (82 + 990 + 0) | - | 82 | 990 #defs: 26/26 | 0 (0 + 0) | - | - | - | - | - | - | - | - | - | - |
| 101 | SVCOMP13-locks-test_locks_6_safe.map.c | Gen_P | timeout iteration #1 | 1656 (86 + 1570 + 0) | - | 86 | 1570 #defs: 30/30 | 0 (0 + 0) | - | - | - | - | - | - | - | - | - | - |
| 102 | SVCOMP13-locks-test_locks_7_safe.map.c | Gen_P | timeout iteration #1 | 2468 (88 + 2380 + 0) | - | 88 | 2380 #defs: 34/34 | 0 (0 + 0) | - | - | - | - | - | - | - | - | - | - |
| 103 | SVCOMP13-locks-test_locks_8_safe.map.c | Gen_P | timeout iteration #1 | 3531 (91 + 3440 + 0) | - | 91 | 3440 #defs: 38/38 | 0 (0 + 0) | - | - | - | - | - | - | - | - | - | - |
| 104 | SVCOMP13-locks-test_locks_9_safe.map.c | Gen_P | timeout iteration #1 | 5074 (94 + 4980 + 0) | - | 94 | 4980 #defs: 42/42 | 0 (0 + 0) | - | - | - | - | - | - | - | - | - | - |
| 105 | SVCOMP13-loops-count_up_down_safe.map.c | Gen_P | unknown | 469 (69 + 50 + 350) | - | 69 | 50 #defs: 7/7 | 350 (320 + 30) |
10 (10+0) #defs: 12/12 #cls: 14/12 |
10 (10+0) #defs: 11/11 #cls: 13/13 |
10 (10+0) #defs: 12/12 #cls: 14/14 |
30 (30+0) #defs: 15/15 #cls: 18/18 |
40 (40+0) #defs: 18/18 #cls: 22/22 |
40 (40+0) #defs: 22/22 #cls: 25/23 |
40 (40+0) #defs: 23/23 #cls: 27/27 |
60 (50+10) #defs: 27/27 #cls: 30/28 |
60 (50+10) #defs: 28/28 #cls: 32/32 |
50 (40+10) #defs: 32/32 #cls: 35/33 |
| 106 | SVCOMP13-loops-count_up_down_unsafe.map.c | Gen_P | unsafe | 170 (70 + 80 + 20) | 2 | 70 | 80 #defs: 7/7 | 20 (10 + 10) |
20 (10+10) #defs: 12/12 #cls: 14/12 |
0 (0+0) #defs: 13/13 #cls: 16/14 | - | - | - | - | - | - | - | - |
| 107 | SVCOMP13-loops-for_bounded_loop1_unsafe.map.c | Gen_P | unsafe | 902 (72 + 200 + 630) | 2 | 72 | 200 #defs: 18/18 | 630 (590 + 40) |
140 (130+10) #defs: 49/49 #cls: 83/72 |
490 (460+30) #defs: 157/157 #cls: 183/64 | - | - | - | - | - | - | - | - |
| 108 | SVCOMP13-loops-for_infinite_loop_1_safe.map.c | Gen_P | safe | 169 (69 + 80 + 20) | 1 | 69 | 80 #defs: 10/10 | 20 (20 + 0) |
20 (20+0) #defs: 14/14 #cls: 15/1 | - | - | - | - | - | - | - | - | - |
| 109 | SVCOMP13-loops-for_infinite_loop_2_safe.map.c | Gen_P | safe | 149 (69 + 70 + 10) | 1 | 69 | 70 #defs: 10/10 | 10 (10 + 0) |
10 (10+0) #defs: 14/14 #cls: 15/1 | - | - | - | - | - | - | - | - | - |
| 110 | SVCOMP13-loops-kundu_unsafe.map.c (*) | Gen_P | timeout iteration #4 | 388723 (123 + 5260 + 383340) | - | 123 | 5260 #defs: 93/93 | 383340 (343910 + 39430) |
54780 (15350+39430) #defs: 1405/1405 #cls: 1566/1332 |
61020 (61020+) #defs: 3334/3334 #cls: 0/0 |
267540 (267540+) #defs: 6632/6632 #cls: 0/0 | - | - | - | - | - | - | - |
| 111 | SVCOMP13-loops-pc_sfifo_1_safe.map.c (*) | Gen_P | safe | 339317 (107 + 3110 + 336100) | 8 | 107 | 3110 #defs: 59/59 | 336100 (116430 + 219670) |
2180 (1500+680) #defs: 232/232 #cls: 325/339 |
21030 (13060+7970) #defs: 1431/1431 #cls: 1726/766 |
24970 (19210+5760) #defs: 935/935 #cls: 1078/786 |
48460 (21270+27190) #defs: 1520/1520 #cls: 1690/701 |
67990 (22540+45450) #defs: 1056/1056 #cls: 1169/1108 |
100490 (18400+82090) #defs: 1242/1242 #cls: 1345/875 |
66490 (15980+50510) #defs: 922/922 #cls: 999/915 |
4490 (4470+20) #defs: 347/347 #cls: 367/1 | - | - |
| 112 | SVCOMP13-loops-pc_sfifo_2_unsafe.map.c (*) | Gen_P | unsafe | 462129 (119 + 4190 + 457820) | 3 | 119 | 4190 #defs: 82/82 | 457820 (382260 + 75560) |
15530 (13760+1770) #defs: 1095/1095 #cls: 1295/1151 |
201840 (201840+) #defs: 8743/8743 #cls: 0/0 |
240450 (166660+73790) #defs: 1938/1938 #cls: 2239/1789 | - | - | - | - | - | - | - |
| 113 | SVCOMP13-loops-sum01_bug02_sum01_bug02_basease_unsafe.c.map.c | Gen_P | unsafe | 752 (72 + 110 + 570) | 4 | 72 | 110 #defs: 10/10 | 570 (460 + 110) |
80 (70+10) #defs: 28/28 #cls: 39/34 |
100 (90+10) #defs: 37/37 #cls: 48/36 |
130 (90+40) #defs: 54/54 #cls: 68/67 |
260 (210+50) #defs: 110/110 #cls: 133/83 | - | - | - | - | - | - |
| 114 | SVCOMP13-loops-sum01_bug02_unsafe.map.c | Gen_P | unsafe | 2824 (74 + 140 + 2610) | 7 | 74 | 140 #defs: 10/10 | 2610 (2090 + 520) |
50 (40+10) #defs: 22/22 #cls: 25/19 |
130 (120+10) #defs: 28/28 #cls: 38/38 |
260 (210+50) #defs: 58/58 #cls: 67/65 |
380 (350+30) #defs: 85/85 #cls: 99/99 |
540 (440+100) #defs: 113/113 #cls: 127/127 |
590 (520+70) #defs: 135/135 #cls: 152/143 |
660 (410+250) #defs: 132/132 #cls: 143/122 | - | - | - |
| 115 | SVCOMP13-loops-sum01_safe.map.c | Gen_P | unknown | 691 (71 + 100 + 520) | - | 71 | 100 #defs: 9/9 | 520 (430 + 90) |
60 (50+10) #defs: 25/25 #cls: 27/16 |
50 (50+0) #defs: 19/19 #cls: 23/23 |
50 (40+10) #defs: 23/23 #cls: 26/24 |
30 (30+0) #defs: 23/23 #cls: 26/26 |
40 (30+10) #defs: 25/25 #cls: 28/28 |
50 (40+10) #defs: 27/27 #cls: 30/30 |
60 (40+20) #defs: 29/29 #cls: 32/32 |
70 (60+10) #defs: 31/31 #cls: 34/34 |
50 (50+0) #defs: 33/33 #cls: 36/36 |
60 (40+20) #defs: 35/35 #cls: 38/38 |
| 116 | SVCOMP13-loops-sum01_unsafe.map.c | Gen_P | unknown | 5301 (71 + 110 + 5120) | - | 71 | 110 #defs: 10/10 | 5120 (3320 + 1800) |
30 (30+0) #defs: 22/22 #cls: 25/19 |
100 (90+10) #defs: 28/28 #cls: 38/38 |
140 (110+30) #defs: 58/58 #cls: 67/65 |
220 (190+30) #defs: 92/92 #cls: 107/107 |
300 (240+60) #defs: 122/122 #cls: 137/137 |
430 (320+110) #defs: 154/154 #cls: 173/173 |
570 (410+160) #defs: 192/192 #cls: 211/211 |
820 (520+300) #defs: 232/232 #cls: 255/255 |
1080 (660+420) #defs: 278/278 #cls: 301/301 |
1430 (750+680) #defs: 313/313 #cls: 339/326 |
| 117 | SVCOMP13-loops-sum03_safe.map.c | Gen_P | safe | 531 (71 + 140 + 320) | 4 | 71 | 140 #defs: 10/10 | 320 (300 + 20) |
40 (40+0) #defs: 16/16 #cls: 20/20 |
50 (50+0) #defs: 22/22 #cls: 29/29 |
180 (160+20) #defs: 44/44 #cls: 54/43 |
50 (50+0) #defs: 28/28 #cls: 27/1 | - | - | - | - | - | - |
| 118 | SVCOMP13-loops-sum03_unsafe.map.c | Gen_P | unsafe | 3241 (71 + 190 + 2980) | 10 | 71 | 190 #defs: 11/11 | 2980 (2160 + 820) |
120 (120+0) #defs: 28/28 #cls: 44/44 |
250 (240+10) #defs: 70/70 #cls: 91/65 |
560 (470+90) #defs: 115/115 #cls: 146/109 |
660 (590+70) #defs: 160/160 #cls: 190/69 |
240 (190+50) #defs: 63/63 #cls: 68/63 |
220 (150+70) #defs: 71/71 #cls: 72/48 |
170 (90+80) #defs: 52/52 #cls: 53/53 |
220 (100+120) #defs: 57/57 #cls: 58/58 |
240 (100+140) #defs: 62/62 #cls: 63/63 |
300 (110+190) #defs: 66/66 #cls: 68/64 |
| 119 | SVCOMP13-loops-sum04_safe.map.c | Gen_P | safe | 280 (70 + 50 + 160) | 10 | 70 | 50 #defs: 8/8 | 160 (130 + 30) |
20 (10+10) #defs: 16/16 #cls: 18/15 |
30 (20+10) #defs: 16/16 #cls: 19/19 |
20 (20+0) #defs: 18/18 #cls: 21/21 |
10 (10+0) #defs: 20/20 #cls: 23/23 |
10 (10+0) #defs: 22/22 #cls: 25/25 |
20 (20+0) #defs: 24/24 #cls: 27/27 |
20 (20+0) #defs: 26/26 #cls: 29/29 |
20 (10+10) #defs: 28/28 #cls: 31/31 |
10 (10+0) #defs: 21/21 #cls: 22/18 |
0 (0+0) #defs: 11/11 #cls: 10/1 |
| 120 | SVCOMP13-loops-sum04_unsafe.map.c | Gen_P | unsafe | 370 (70 + 40 + 260) | 8 | 70 | 40 #defs: 9/9 | 260 (190 + 70) |
30 (20+10) #defs: 18/18 #cls: 21/18 |
20 (10+10) #defs: 23/23 #cls: 31/31 |
30 (30+0) #defs: 31/31 #cls: 36/32 |
40 (40+0) #defs: 33/33 #cls: 39/39 |
40 (30+10) #defs: 39/39 #cls: 44/42 |
50 (30+20) #defs: 43/43 #cls: 49/49 |
30 (20+10) #defs: 32/32 #cls: 34/25 |
20 (10+10) #defs: 26/26 #cls: 28/25 | - | - |
| 121 | SVCOMP13-loops-terminator_02_safe.map.c | Gen_P | safe | 324 (74 + 210 + 40) | 1 | 74 | 210 #defs: 20/20 | 40 (40 + 0) |
40 (40+0) #defs: 20/20 #cls: 21/1 | - | - | - | - | - | - | - | - | - |
| 122 | SVCOMP13-loops-terminator_02_unsafe.map.c | Gen_P | unsafe | 582 (72 + 120 + 390) | 2 | 72 | 120 #defs: 12/12 | 390 (320 + 70) |
110 (100+10) #defs: 31/31 #cls: 44/44 |
280 (220+60) #defs: 80/80 #cls: 102/82 | - | - | - | - | - | - | - | - |
| 123 | SVCOMP13-loops-terminator_03_safe.map.c | Gen_P | safe | 181 (71 + 80 + 30) | 1 | 71 | 80 #defs: 12/12 | 30 (30 + 0) |
30 (30+0) #defs: 21/21 #cls: 21/1 | - | - | - | - | - | - | - | - | - |
| 124 | SVCOMP13-loops-terminator_03_unsafe.map.c | Gen_P | unsafe | 237 (77 + 70 + 90) | 2 | 77 | 70 #defs: 12/12 | 90 (60 + 30) |
30 (20+10) #defs: 19/19 #cls: 21/18 |
60 (40+20) #defs: 22/22 #cls: 25/23 | - | - | - | - | - | - | - | - |
| 125 | SVCOMP13-loops-token_ring01_safe.map.c | Gen_P | safe | 78497 (117 + 4000 + 74380) | 4 | 117 | 4000 #defs: 116/116 | 74380 (36270 + 38110) |
11140 (3600+7540) #defs: 729/729 #cls: 814/567 |
36840 (13120+23720) #defs: 1452/1452 #cls: 1603/593 |
22010 (15620+6390) #defs: 986/986 #cls: 1109/674 |
4390 (3930+460) #defs: 345/345 #cls: 376/1 | - | - | - | - | - | - |
| 126 | SVCOMP13-loops-token_ring01_unsafe.map.c | Gen_P | timeout iteration #4 | 224335 (125 + 6220 + 217990) | - | 125 | 6220 #defs: 125/125 | 217990 (216700 + 1290) |
6980 (5690+1290) #defs: 561/561 #cls: 710/710 |
31410 (31410+) #defs: 2170/2170 #cls: 0/0 |
179600 (179600+) #defs: 4596/4596 #cls: 0/0 | - | - | - | - | - | - | - |
| 127 | SVCOMP13-loops-transmitter_unsafe.map.c | Gen_P | unsafe | 78371 (111 + 2530 + 75730) | 3 | 111 | 2530 #defs: 100/100 | 75730 (29050 + 46680) |
10040 (2870+7170) #defs: 667/667 #cls: 750/596 |
45170 (12450+32720) #defs: 1624/1624 #cls: 1755/719 |
20520 (13730+6790) #defs: 901/901 #cls: 1019/402 | - | - | - | - | - | - | - |
| 128 | SVCOMP13-loops-trex01_safe.map.c | Gen_P | safe | 665 (75 + 210 + 380) | 1 | 75 | 210 #defs: 15/15 | 380 (380 + 0) |
380 (380+0) #defs: 92/92 #cls: 124/1 | - | - | - | - | - | - | - | - | - |
| 129 | SVCOMP13-loops-trex01_unsafe.map.c | Gen_P | unsafe | 515 (75 + 210 + 230) | 2 | 75 | 210 #defs: 15/15 | 230 (220 + 10) |
200 (190+10) #defs: 59/59 #cls: 82/31 |
30 (30+0) #defs: 25/25 #cls: 27/20 | - | - | - | - | - | - | - | - |
| 130 | SVCOMP13-loops-trex02_safe.map.c | Gen_P | safe | 120 (70 + 40 + 10) | 1 | 70 | 40 #defs: 11/11 | 10 (10 + 0) |
10 (10+0) #defs: 12/12 #cls: 14/1 | - | - | - | - | - | - | - | - | - |
| 131 | SVCOMP13-loops-trex02_unsafe.map.c | Gen_P | unsafe | 140 (70 + 50 + 20) | 2 | 70 | 50 #defs: 11/11 | 20 (20 + 0) |
10 (10+0) #defs: 13/13 #cls: 16/15 |
10 (10+0) #defs: 7/7 #cls: 7/6 | - | - | - | - | - | - | - | - |
| 132 | SVCOMP13-loops-trex03_safe.map.c | Gen_P | safe | 1047 (77 + 500 + 470) | 1 | 77 | 500 #defs: 20/20 | 470 (460 + 10) |
470 (460+10) #defs: 90/90 #cls: 110/1 | - | - | - | - | - | - | - | - | - |
| 133 | SVCOMP13-loops-trex03_unsafe.map.c | Gen_P | unsafe | 4508 (78 + 630 + 3800) | 2 | 78 | 630 #defs: 20/20 | 3800 (2460 + 1340) |
590 (540+50) #defs: 102/102 #cls: 136/138 |
3210 (1920+1290) #defs: 383/383 #cls: 423/372 | - | - | - | - | - | - | - | - |
| 134 | SVCOMP13-loops-trex04_safe.map.c | Gen_P | safe | 4567 (77 + 350 + 4140) | 1 | 77 | 350 #defs: 24/24 | 4140 (4030 + 110) |
4140 (4030+110) #defs: 474/474 #cls: 746/1 | - | - | - | - | - | - | - | - | - |
| 135 | SVCOMP13-loops-while_infinite_loop_1_safe.map.c | Gen_P | safe | 87 (67 + 20 + 0) | 1 | 67 | 20 #defs: 6/6 | 0 (0 + 0) |
0 (0+0) #defs: 6/6 #cls: 6/1 | - | - | - | - | - | - | - | - | - |
| 136 | SVCOMP13-loops-while_infinite_loop_2_safe.map.c | Gen_P | safe | 87 (67 + 20 + 0) | 1 | 67 | 20 #defs: 6/6 | 0 (0 + 0) |
0 (0+0) #defs: 6/6 #cls: 6/1 | - | - | - | - | - | - | - | - | - |
| 137 | SVCOMP13-loops-while_infinite_loop_3_safe.map.c | Gen_P | safe | 88 (68 + 20 + 0) | 1 | 68 | 20 #defs: 8/8 | 0 (0 + 0) |
0 (0+0) #defs: 8/8 #cls: 8/1 | - | - | - | - | - | - | - | - | - |
| 138 | SVCOMP13-loops-while_infinite_loop_4_unsafe.map.c | Gen_P | unsafe | 89 (69 + 20 + 0) | 1 | 69 | 20 #defs: 8/8 | 0 (0 + 0) |
0 (0+0) #defs: 8/8 #cls: 8/7 | - | - | - | - | - | - | - | - | - |
| 139 | SVCOMP13-sshsimpl-s3_srvr_1a_safeil.c.map.c | Gen_P | safe | 34704 (94 + 750 + 33860) | 4 | 94 | 750 #defs: 50/50 | 33860 (15950 + 17910) |
1690 (1470+220) #defs: 301/301 #cls: 392/282 |
13270 (4700+8570) #defs: 722/722 #cls: 931/919 |
15420 (6800+8620) #defs: 751/751 #cls: 897/678 |
3480 (2980+500) #defs: 378/378 #cls: 419/1 | - | - | - | - | - | - |
| 140 | SVCOMP13-sshsimpl-s3_srvr_1b_safeil.c.map.c | Gen_P | safe | 1579 (79 + 170 + 1330) | 4 | 79 | 170 #defs: 25/25 | 1330 (930 + 400) |
160 (150+10) #defs: 100/100 #cls: 145/139 |
690 (390+300) #defs: 236/236 #cls: 293/222 |
470 (380+90) #defs: 154/154 #cls: 179/63 |
10 (10+0) #defs: 15/15 #cls: 14/1 | - | - | - | - | - | - |
| 141 | SVCOMP13-systemc-kundu1_unsafeil.c.map.c (*) | Gen_P | timeout iteration #4 | 393392 (122 + 5310 + 387960) | - | 122 | 5310 #defs: 93/93 | 387960 (348560 + 39400) |
54680 (15280+39400) #defs: 1405/1405 #cls: 1566/1332 |
60920 (60920+) #defs: 3334/3334 #cls: 0/0 |
272360 (272360+) #defs: 6632/6632 #cls: 0/0 | - | - | - | - | - | - | - |
| 142 | SVCOMP13-systemc-pc_sfifo_1_safeil.c.map.c (*) | Gen_P | safe | 338906 (106 + 3170 + 335630) | 8 | 106 | 3170 #defs: 59/59 | 335630 (116120 + 219510) |
2190 (1500+690) #defs: 232/232 #cls: 325/339 |
20920 (12960+7960) #defs: 1431/1431 #cls: 1726/766 |
24810 (19190+5620) #defs: 935/935 #cls: 1078/786 |
48520 (21320+27200) #defs: 1520/1520 #cls: 1690/701 |
68010 (22380+45630) #defs: 1056/1056 #cls: 1169/1108 |
100270 (18220+82050) #defs: 1242/1242 #cls: 1345/875 |
66450 (16110+50340) #defs: 922/922 #cls: 999/915 |
4460 (4440+20) #defs: 347/347 #cls: 367/1 | - | - |
| 143 | SVCOMP13-systemc-pc_sfifo_1_unsafeil.c.map.c | Gen_P | unsafe | 32247 (107 + 3130 + 29010) | 2 | 107 | 3130 #defs: 60/60 | 29010 (11830 + 17180) |
1940 (1800+140) #defs: 256/256 #cls: 351/343 |
27070 (10030+17040) #defs: 1193/1193 #cls: 1542/931 | - | - | - | - | - | - | - | - |
| 144 | SVCOMP13-systemc-pc_sfifo_2_safeil.c.map.c (*) | Gen_P | timeout iteration #11 | 1731118 (118 + 4230 + 1726770) | - | 118 | 4230 #defs: 81/81 | 1726770 (1164470 + 562300) |
12040 (8970+3070) #defs: 970/970 #cls: 1134/1064 |
100840 (100840+) #defs: 5930/5930 #cls: 0/0 |
293100 (162800+130300) #defs: 2697/2697 #cls: 3058/2133 |
379670 (117060+262610) #defs: 3670/3670 #cls: 4105/1568 |
310570 (144250+166320) #defs: 3322/3322 #cls: 3830/2368 |
158650 (158650+) #defs: 3852/3852 #cls: 0/0 |
142920 (142920+) #defs: 2988/2988 #cls: 0/0 |
171250 (171250+) #defs: 4410/4410 #cls: 0/0 |
102990 (102990+) #defs: 2009/2009 #cls: 0/0 |
54740 (54740+) #defs: 2222/2222 #cls: 0/0 |
| 145 | SVCOMP13-systemc-pc_sfifo_2_unsafeil.c.map.c (*) | Gen_P | unsafe | 463368 (118 + 4280 + 458970) | 3 | 118 | 4280 #defs: 82/82 | 458970 (382910 + 76060) |
15640 (13870+1770) #defs: 1095/1095 #cls: 1295/1151 |
201040 (201040+) #defs: 8743/8743 #cls: 0/0 |
242290 (168000+74290) #defs: 1938/1938 #cls: 2239/1789 | - | - | - | - | - | - | - |
| 146 | SVCOMP13-systemc-pc_sfifo_3_safeil.c.map.c | Gen_P | timeout iteration #2 | 47460 (130 + 7820 + 39510) | - | 130 | 7820 #defs: 111/111 | 39510 (9520 + 29990) |
39510 (9520+29990) #defs: 1137/1137 #cls: 1552/1294 | - | - | - | - | - | - | - | - | - |
| 147 | SVCOMP13-systemc-token_ring.01_safeil.c.map.c | Gen_P | safe | 78356 (116 + 4080 + 74160) | 4 | 116 | 4080 #defs: 116/116 | 74160 (36580 + 37580) |
11040 (3550+7490) #defs: 729/729 #cls: 814/567 |
36440 (13170+23270) #defs: 1452/1452 #cls: 1603/593 |
22210 (15850+6360) #defs: 986/986 #cls: 1109/674 |
4470 (4010+460) #defs: 345/345 #cls: 376/1 | - | - | - | - | - | - |
| 148 | SVCOMP13-systemc-token_ring.01_unsafeil.c.map.c | Gen_P | unsafe | 118849 (119 + 4160 + 114570) | 3 | 119 | 4160 #defs: 120/120 | 114570 (39920 + 74650) |
11160 (3570+7590) #defs: 733/733 #cls: 820/573 |
50930 (13140+37790) #defs: 1441/1441 #cls: 1601/870 |
52480 (23210+29270) #defs: 1351/1351 #cls: 1539/1242 | - | - | - | - | - | - | - |
| 149 | SVCOMP13-systemc-transmitter.01_unsafeil.c.map.c | Gen_P | unsafe | 78212 (112 + 2510 + 75590) | 3 | 112 | 2510 #defs: 100/100 | 75590 (29280 + 46310) |
10060 (2860+7200) #defs: 667/667 #cls: 750/596 |
44960 (12520+32440) #defs: 1624/1624 #cls: 1755/719 |
20570 (13900+6670) #defs: 901/901 #cls: 1019/402 | - | - | - | - | - | - | - |
| 150 | SVCOMP13-systemc-transmitter.02_unsafeil.c.map.c | Gen_P | timeout iteration #2 | 241878 (128 + 7120 + 234630) | - | 128 | 7120 #defs: 151/151 | 234630 (41070 + 193560) |
234630 (41070+193560) #defs: 2852/2852 #cls: 3114/2398 | - | - | - | - | - | - | - | - | - |
| 151 | TRACER-paper-prog_d-pepm-proc.c.map.c | Gen_P | safe | 108 (68 + 40 + 0) | 1 | 68 | 40 #defs: 8/8 | 0 (0 + 0) |
0 (0+0) #defs: 10/10 #cls: 11/1 | - | - | - | - | - | - | - | - | - |
| 152 | TRACER-test1-unsafe.map.c | Gen_P | unsafe | 351 (71 + 90 + 190) | 1 | 71 | 90 #defs: 15/15 | 190 (170 + 20) |
190 (170+20) #defs: 107/107 #cls: 114/112 | - | - | - | - | - | - | - | - | - |
| 153 | TRACER-test1.map.c | Gen_P | safe | 270 (70 + 70 + 130) | 1 | 70 | 70 #defs: 11/11 | 130 (130 + 0) |
130 (130+0) #defs: 83/83 #cls: 82/1 | - | - | - | - | - | - | - | - | - |
| 154 | TRACER-test2-unsafe.map.c | Gen_P | unsafe | 262 (72 + 190 + 0) | 1 | 72 | 190 #defs: 13/13 | 0 (0 + 0) |
0 (0+0) #defs: 10/10 #cls: 11/7 | - | - | - | - | - | - | - | - | - |
| 155 | TRACER-test2.map.c | Gen_P | safe | 332 (72 + 250 + 10) | 1 | 72 | 250 #defs: 14/14 | 10 (10 + 0) |
10 (10+0) #defs: 19/19 #cls: 19/1 | - | - | - | - | - | - | - | - | - |
| 156 | TRACER-test3-unsafe.map.c | Gen_P | unsafe | 130 (70 + 50 + 10) | 1 | 70 | 50 #defs: 9/9 | 10 (0 + 10) |
10 (0+10) #defs: 15/15 #cls: 17/22 | - | - | - | - | - | - | - | - | - |
| 157 | TRACER-test3.map.c | Gen_P | safe | 139 (69 + 60 + 10) | 1 | 69 | 60 #defs: 9/9 | 10 (10 + 0) |
10 (10+0) #defs: 15/15 #cls: 14/1 | - | - | - | - | - | - | - | - | - |
| 158 | TRACER-testabs1.map.c | Gen_P | safe | 98 (68 + 30 + 0) | 1 | 68 | 30 #defs: 6/6 | 0 (0 + 0) |
0 (0+0) #defs: 8/8 #cls: 7/1 | - | - | - | - | - | - | - | - | - |
| 159 | TRACER-testabs12.map.c | Gen_P | safe | 140 (70 + 60 + 10) | 2 | 70 | 60 #defs: 11/11 | 10 (10 + 0) |
10 (10+0) #defs: 15/15 #cls: 17/11 |
0 (0+0) #defs: 6/6 #cls: 5/1 | - | - | - | - | - | - | - | - |
| 160 | TRACER-testabs13.map.c | Gen_P | safe | 88 (68 + 20 + 0) | 2 | 68 | 20 #defs: 6/6 | 0 (0 + 0) |
0 (0+0) #defs: 8/8 #cls: 9/8 |
0 (0+0) #defs: 5/5 #cls: 4/1 | - | - | - | - | - | - | - | - |
| 161 | TRACER-testabs14.map.c | Gen_P | safe | 161 (71 + 70 + 20) | 2 | 71 | 70 #defs: 9/9 | 20 (20 + 0) |
10 (10+0) #defs: 15/15 #cls: 18/17 |
10 (10+0) #defs: 14/14 #cls: 14/1 | - | - | - | - | - | - | - | - |
| 162 | TRACER-testabs15.map.c | Gen_P | safe | 761 (71 + 140 + 550) | 6 | 71 | 140 #defs: 8/8 | 550 (510 + 40) |
10 (10+0) #defs: 14/14 #cls: 20/18 |
60 (60+0) #defs: 23/23 #cls: 31/31 |
120 (100+20) #defs: 44/44 #cls: 52/50 |
200 (190+10) #defs: 60/60 #cls: 68/41 |
100 (90+10) #defs: 42/42 #cls: 47/47 |
60 (60+0) #defs: 26/26 #cls: 28/1 | - | - | - | - |
| 163 | TRACER-testabs2.map.c | Gen_P | safe | 108 (68 + 40 + 0) | 1 | 68 | 40 #defs: 6/6 | 0 (0 + 0) |
0 (0+0) #defs: 6/6 #cls: 5/1 | - | - | - | - | - | - | - | - | - |
| 164 | TRACER-testabs3.map.c | Gen_P | timeout iteration #1 | 2061 (91 + 1970 + 0) | - | 91 | 1970 #defs: 25/25 | 0 (0 + 0) | - | - | - | - | - | - | - | - | - | - |
| 165 | TRACER-testabs6.map.c | Gen_P | safe | 108 (68 + 40 + 0) | 1 | 68 | 40 #defs: 6/6 | 0 (0 + 0) |
0 (0+0) #defs: 8/8 #cls: 7/1 | - | - | - | - | - | - | - | - | - |
| 166 | TRACER-testabs7.map.c | Gen_P | safe | 127 (67 + 40 + 20) | 2 | 67 | 40 #defs: 6/6 | 20 (10 + 10) |
10 (10+0) #defs: 8/8 #cls: 9/8 |
10 (0+10) #defs: 5/5 #cls: 4/1 | - | - | - | - | - | - | - | - |
| 167 | TRACER-testabs8.map.c | Gen_P | safe | 280 (250 + 30 + 0) | 2 | 250 | 30 #defs: 6/6 | 0 (0 + 0) |
0 (0+0) #defs: 8/8 #cls: 9/8 |
0 (0+0) #defs: 5/5 #cls: 4/1 | - | - | - | - | - | - | - | - |
| 168 | TRACER-testabs9.map.c | Gen_P | safe | 87 (67 + 20 + 0) | 1 | 67 | 20 #defs: 5/5 | 0 (0 + 0) |
0 (0+0) #defs: 5/5 #cls: 4/1 | - | - | - | - | - | - | - | - | - |
| 169 | TRACER-testfunc1-unsafe.map.c | Gen_P | unsafe | 151 (71 + 60 + 20) | 1 | 71 | 60 #defs: 8/8 | 20 (10 + 10) |
20 (10+10) #defs: 13/13 #cls: 15/18 | - | - | - | - | - | - | - | - | - |
| 170 | TRACER-testfunc1.map.c | Gen_P | safe | 141 (71 + 70 + 0) | 1 | 71 | 70 #defs: 8/8 | 0 (0 + 0) |
0 (0+0) #defs: 13/13 #cls: 12/1 | - | - | - | - | - | - | - | - | - |
| 171 | TRACER-testfunc11.map.c | Gen_P | safe | 87 (67 + 20 + 0) | 1 | 67 | 20 #defs: 7/7 | 0 (0 + 0) |
0 (0+0) #defs: 7/7 #cls: 6/1 | - | - | - | - | - | - | - | - | - |
| 172 | TRACER-testfunc12-unsafe.map.c | Gen_P | unsafe | 139 (69 + 50 + 20) | 1 | 69 | 50 #defs: 8/8 | 20 (20 + 0) |
20 (20+0) #defs: 18/18 #cls: 19/14 | - | - | - | - | - | - | - | - | - |
| 173 | TRACER-testfunc13-unsafe.map.c | Gen_P | unsafe | 170 (70 + 60 + 40) | 2 | 70 | 60 #defs: 9/9 | 40 (40 + 0) |
30 (30+0) #defs: 20/20 #cls: 38/21 |
10 (10+0) #defs: 13/13 #cls: 14/13 | - | - | - | - | - | - | - | - |
| 174 | TRACER-testfunc14.map.c | Gen_P | safe | 171 (71 + 70 + 30) | 1 | 71 | 70 #defs: 9/9 | 30 (30 + 0) |
30 (30+0) #defs: 20/20 #cls: 37/1 | - | - | - | - | - | - | - | - | - |
| 175 | TRACER-testfunc3.map.c | Gen_P | safe | 139 (69 + 70 + 0) | 1 | 69 | 70 #defs: 8/8 | 0 (0 + 0) |
0 (0+0) #defs: 8/8 #cls: 7/1 | - | - | - | - | - | - | - | - | - |
| 176 | TRACER-testfunc9-unsafe.map.c | Gen_P | unsafe | 151 (71 + 70 + 10) | 1 | 71 | 70 #defs: 10/10 | 10 (10 + 0) |
10 (10+0) #defs: 19/19 #cls: 22/9 | - | - | - | - | - | - | - | - | - |
| 177 | TRACER-testloop1.map.c | Gen_P | safe | 150 (70 + 70 + 10) | 1 | 70 | 70 #defs: 7/7 | 10 (10 + 0) |
10 (10+0) #defs: 16/16 #cls: 17/1 | - | - | - | - | - | - | - | - | - |
| 178 | TRACER-testloop10.map.c | Gen_P | safe | 150 (70 + 70 + 10) | 2 | 70 | 70 #defs: 8/8 | 10 (10 + 0) |
10 (10+0) #defs: 10/10 #cls: 14/13 |
0 (0+0) #defs: 5/5 #cls: 4/1 | - | - | - | - | - | - | - | - |
| 179 | TRACER-testloop11.map.c | Gen_P | safe | 181 (71 + 80 + 30) | 2 | 71 | 80 #defs: 12/12 | 30 (30 + 0) |
20 (20+0) #defs: 19/19 #cls: 29/29 |
10 (10+0) #defs: 16/16 #cls: 19/1 | - | - | - | - | - | - | - | - |
| 180 | TRACER-testloop12.map.c | Gen_P | safe | 130 (70 + 50 + 10) | 1 | 70 | 50 #defs: 8/8 | 10 (10 + 0) |
10 (10+0) #defs: 12/12 #cls: 14/1 | - | - | - | - | - | - | - | - | - |
| 181 | TRACER-testloop13.map.c | Gen_P | safe | 169 (69 + 90 + 10) | 2 | 69 | 90 #defs: 8/8 | 10 (10 + 0) |
10 (10+0) #defs: 11/11 #cls: 15/14 |
0 (0+0) #defs: 5/5 #cls: 4/1 | - | - | - | - | - | - | - | - |
| 182 | TRACER-testloop14.map.c | Gen_P | safe | 159 (69 + 70 + 20) | 1 | 69 | 70 #defs: 10/10 | 20 (20 + 0) |
20 (20+0) #defs: 14/14 #cls: 15/1 | - | - | - | - | - | - | - | - | - |
| 183 | TRACER-testloop15.map.c | Gen_P | safe | 108 (68 + 40 + 0) | 2 | 68 | 40 #defs: 6/6 | 0 (0 + 0) |
0 (0+0) #defs: 8/8 #cls: 9/8 |
0 (0+0) #defs: 5/5 #cls: 4/1 | - | - | - | - | - | - | - | - |
| 184 | TRACER-testloop16.map.c | Gen_P | safe | 138 (68 + 50 + 20) | 2 | 68 | 50 #defs: 7/7 | 20 (20 + 0) |
20 (20+0) #defs: 12/12 #cls: 14/11 |
0 (0+0) #defs: 5/5 #cls: 4/1 | - | - | - | - | - | - | - | - |
| 185 | TRACER-testloop17.map.c | Gen_P | safe | 190 (70 + 100 + 20) | 2 | 70 | 100 #defs: 10/10 | 20 (20 + 0) |
20 (20+0) #defs: 14/14 #cls: 17/13 |
0 (0+0) #defs: 5/5 #cls: 4/1 | - | - | - | - | - | - | - | - |
| 186 | TRACER-testloop2.map.c | Gen_P | safe | 119 (69 + 40 + 10) | 1 | 69 | 40 #defs: 7/7 | 10 (10 + 0) |
10 (10+0) #defs: 10/10 #cls: 11/1 | - | - | - | - | - | - | - | - | - |
| 187 | TRACER-testloop20.map.c | Gen_P | safe | 211 (71 + 80 + 60) | 2 | 71 | 80 #defs: 12/12 | 60 (50 + 10) |
30 (30+0) #defs: 26/26 #cls: 46/46 |
30 (20+10) #defs: 33/33 #cls: 37/1 | - | - | - | - | - | - | - | - |
| 188 | TRACER-testloop21.map.c | Gen_P | safe | 149 (69 + 60 + 20) | 1 | 69 | 60 #defs: 8/8 | 20 (20 + 0) |
20 (20+0) #defs: 20/20 #cls: 21/1 | - | - | - | - | - | - | - | - | - |
| 189 | TRACER-testloop22.map.c | Gen_P | safe | 118 (68 + 40 + 10) | 1 | 68 | 40 #defs: 8/8 | 10 (10 + 0) |
10 (10+0) #defs: 12/12 #cls: 13/1 | - | - | - | - | - | - | - | - | - |
| 190 | TRACER-testloop27-unsafe.map.c | Gen_P | unsafe | 149 (69 + 60 + 20) | 3 | 69 | 60 #defs: 7/7 | 20 (20 + 0) |
10 (10+0) #defs: 11/11 #cls: 15/13 |
10 (10+0) #defs: 14/14 #cls: 18/16 |
0 (0+0) #defs: 9/9 #cls: 9/7 | - | - | - | - | - | - | - |
| 191 | TRACER-testloop28-unsafe.map.c | Gen_P | unsafe | 270 (70 + 50 + 150) | 3 | 70 | 50 #defs: 8/8 | 150 (110 + 40) |
30 (20+10) #defs: 13/13 #cls: 16/16 |
40 (30+10) #defs: 18/18 #cls: 22/22 |
80 (60+20) #defs: 41/41 #cls: 49/40 | - | - | - | - | - | - | - |
| 192 | TRACER-testloop29.map.c | Gen_P | unknown | 178 (68 + 30 + 80) | - | 68 | 30 #defs: 7/7 | 80 (60 + 20) |
0 (0+0) #defs: 11/11 #cls: 13/11 |
0 (0+0) #defs: 11/11 #cls: 13/13 |
10 (10+0) #defs: 13/13 #cls: 15/15 |
10 (10+0) #defs: 15/15 #cls: 17/17 |
0 (0+0) #defs: 17/17 #cls: 19/19 |
20 (10+10) #defs: 19/19 #cls: 21/21 |
10 (10+0) #defs: 21/21 #cls: 23/23 |
10 (10+0) #defs: 23/23 #cls: 25/25 |
20 (10+10) #defs: 25/25 #cls: 27/27 |
0 (0+0) #defs: 27/27 #cls: 29/29 |
| 193 | TRACER-testloop3-unsafe.map.c | Gen_P | unsafe | 169 (69 + 60 + 40) | 2 | 69 | 60 #defs: 7/7 | 40 (20 + 20) |
20 (10+10) #defs: 10/10 #cls: 12/8 |
20 (10+10) #defs: 9/9 #cls: 11/8 | - | - | - | - | - | - | - | - |
| 194 | TRACER-testloop4.map.c | Gen_P | safe | 118 (68 + 50 + 0) | 1 | 68 | 50 #defs: 6/6 | 0 (0 + 0) |
0 (0+0) #defs: 7/7 #cls: 8/1 | - | - | - | - | - | - | - | - | - |
| 195 | TRACER-testloop5-unsafe.map.c | Gen_P | unknown | 248 (68 + 30 + 150) | - | 68 | 30 #defs: 7/7 | 150 (90 + 60) |
10 (10+0) #defs: 11/11 #cls: 12/10 |
10 (10+0) #defs: 11/11 #cls: 12/12 |
10 (0+10) #defs: 13/13 #cls: 14/14 |
10 (10+0) #defs: 15/15 #cls: 16/16 |
20 (10+10) #defs: 17/17 #cls: 18/18 |
20 (10+10) #defs: 19/19 #cls: 20/20 |
20 (10+10) #defs: 21/21 #cls: 22/22 |
20 (10+10) #defs: 23/23 #cls: 24/24 |
10 (10+0) #defs: 25/25 #cls: 26/26 |
20 (10+10) #defs: 27/27 #cls: 29/29 |
| 196 | TRACER-testloop6.map.c | Gen_P | safe | 210 (70 + 110 + 30) | 1 | 70 | 110 #defs: 12/12 | 30 (30 + 0) |
30 (30+0) #defs: 22/22 #cls: 26/1 | - | - | - | - | - | - | - | - | - |
| 197 | TRACER-testloop7.map.c | Gen_P | safe | 149 (69 + 40 + 40) | 2 | 69 | 40 #defs: 9/9 | 40 (30 + 10) |
30 (20+10) #defs: 21/21 #cls: 25/21 |
10 (10+0) #defs: 9/9 #cls: 8/1 | - | - | - | - | - | - | - | - |
| 198 | TRACER-testloop8-unsafe.map.c | Gen_P | unsafe | 190 (70 + 80 + 40) | 2 | 70 | 80 #defs: 8/8 | 40 (30 + 10) |
10 (10+0) #defs: 16/16 #cls: 23/20 |
30 (20+10) #defs: 22/22 #cls: 32/29 | - | - | - | - | - | - | - | - |
| 199 | TRACER-testloop9.map.c | Gen_P | safe | 222 (72 + 100 + 50) | 4 | 72 | 100 #defs: 10/10 | 50 (40 + 10) |
10 (10+0) #defs: 14/14 #cls: 19/17 |
20 (10+10) #defs: 19/19 #cls: 26/26 |
10 (10+0) #defs: 21/21 #cls: 26/24 |
10 (10+0) #defs: 12/12 #cls: 11/1 | - | - | - | - | - | - |
| 200 | TRACER-testwp1-unsafe.map.c | Gen_P | unsafe | 108 (68 + 30 + 10) | 1 | 68 | 30 #defs: 7/7 | 10 (10 + 0) |
10 (10+0) #defs: 14/14 #cls: 15/11 | - | - | - | - | - | - | - | - | - |
| 201 | TRACER-testwp10.map.c | Gen_P | safe | 109 (69 + 40 + 0) | 1 | 69 | 40 #defs: 8/8 | 0 (0 + 0) |
0 (0+0) #defs: 16/16 #cls: 16/1 | - | - | - | - | - | - | - | - | - |
| 202 | TRACER-testwp11.map.c | Gen_P | safe | 200 (70 + 90 + 40) | 1 | 70 | 90 #defs: 10/10 | 40 (40 + 0) |
40 (40+0) #defs: 42/42 #cls: 41/1 | - | - | - | - | - | - | - | - | - |
| 203 | TRACER-testwp12.map.c | Gen_P | safe | 211 (71 + 90 + 50) | 1 | 71 | 90 #defs: 11/11 | 50 (40 + 10) |
50 (40+10) #defs: 34/34 #cls: 33/1 | - | - | - | - | - | - | - | - | - |
| 204 | TRACER-testwp13-unsafe.map.c | Gen_P | unsafe | 118 (68 + 40 + 10) | 1 | 68 | 40 #defs: 8/8 | 10 (10 + 0) |
10 (10+0) #defs: 12/12 #cls: 12/7 | - | - | - | - | - | - | - | - | - |
| 205 | TRACER-testwp14.map.c | Gen_P | safe | 118 (68 + 40 + 10) | 1 | 68 | 40 #defs: 9/9 | 10 (10 + 0) |
10 (10+0) #defs: 12/12 #cls: 11/1 | - | - | - | - | - | - | - | - | - |
| 206 | TRACER-testwp15.map.c | Gen_P | safe | 120 (70 + 40 + 10) | 1 | 70 | 40 #defs: 8/8 | 10 (10 + 0) |
10 (10+0) #defs: 16/16 #cls: 15/1 | - | - | - | - | - | - | - | - | - |
| 207 | TRACER-testwp16.map.c | Gen_P | safe | 139 (69 + 60 + 10) | 1 | 69 | 60 #defs: 7/7 | 10 (10 + 0) |
10 (10+0) #defs: 11/11 #cls: 10/1 | - | - | - | - | - | - | - | - | - |
| 208 | TRACER-testwp17.map.c | Gen_P | safe | 107 (67 + 40 + 0) | 1 | 67 | 40 #defs: 7/7 | 0 (0 + 0) |
0 (0+0) #defs: 8/8 #cls: 7/1 | - | - | - | - | - | - | - | - | - |
| 209 | TRACER-testwp2.map.c | Gen_P | safe | 108 (68 + 40 + 0) | 1 | 68 | 40 #defs: 7/7 | 0 (0 + 0) |
0 (0+0) #defs: 10/10 #cls: 9/1 | - | - | - | - | - | - | - | - | - |
| 210 | TRACER-testwp3.map.c | Gen_P | safe | 108 (68 + 40 + 0) | 1 | 68 | 40 #defs: 6/6 | 0 (0 + 0) |
0 (0+0) #defs: 8/8 #cls: 7/1 | - | - | - | - | - | - | - | - | - |
| 211 | TRACER-testwp4.map.c | Gen_P | timeout iteration #1 | 2071 (91 + 1980 + 0) | - | 91 | 1980 #defs: 25/25 | 0 (0 + 0) | - | - | - | - | - | - | - | - | - | - |
| 212 | TRACER-testwp5.map.c | Gen_P | safe | 119 (69 + 50 + 0) | 1 | 69 | 50 #defs: 6/6 | 0 (0 + 0) |
0 (0+0) #defs: 8/8 #cls: 7/1 | - | - | - | - | - | - | - | - | - |
| 213 | TRACER-testwp6.map.c | Gen_P | safe | 98 (68 + 30 + 0) | 1 | 68 | 30 #defs: 7/7 | 0 (0 + 0) |
0 (0+0) #defs: 10/10 #cls: 9/1 | - | - | - | - | - | - | - | - | - |
| 214 | TRACER-testwp7.map.c | Gen_P | safe | 119 (69 + 50 + 0) | 1 | 69 | 50 #defs: 7/7 | 0 (0 + 0) |
0 (0+0) #defs: 14/14 #cls: 13/1 | - | - | - | - | - | - | - | - | - |
| 215 | TRACER-testwp8.map.c | Gen_P | safe | 128 (68 + 50 + 10) | 1 | 68 | 50 #defs: 7/7 | 10 (10 + 0) |
10 (10+0) #defs: 14/14 #cls: 13/1 | - | - | - | - | - | - | - | - | - |
| 216 | TRACER-testwp9.map.c | Gen_P | safe | 97 (67 + 30 + 0) | 1 | 67 | 30 #defs: 6/6 | 0 (0 + 0) |
0 (0+0) #defs: 6/6 #cls: 5/1 | - | - | - | - | - | - | - | - | - |