| # | 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_PH | safe | 86340 (110 + 2950 + 83280) | 2 | 110 | 2950 #defs: 87/87 | 83280 (79160 + 4120) |
8550 (4430+4120) #defs: 757/757 #cls: 940/974 |
74730 (74730+) #defs: 4509/4509 #cls: 0/0 | - | - | - | - | - | - | - | - |
| 2 | DAGGER-barbrprime.map.c | Gen_PH | safe | 70416 (106 + 2310 + 68000) | 2 | 106 | 2310 #defs: 65/65 | 68000 (14930 + 53070) |
3810 (3140+670) #defs: 540/540 #cls: 703/611 |
64190 (11790+52400) #defs: 1107/1107 #cls: 1347/1 | - | - | - | - | - | - | - | - |
| 3 | DAGGER-bk-nat.map.c | Gen_PH | safe | 800 (80 + 360 + 360) | 2 | 80 | 360 #defs: 26/26 | 360 (310 + 50) |
210 (170+40) #defs: 92/92 #cls: 112/100 |
150 (140+10) #defs: 63/63 #cls: 67/1 | - | - | - | - | - | - | - | - |
| 4 | DAGGER-bkley.map.c | Gen_PH | safe | 689 (79 + 320 + 290) | 2 | 79 | 320 #defs: 22/22 | 290 (260 + 30) |
160 (140+20) #defs: 75/75 #cls: 93/75 |
130 (120+10) #defs: 36/36 #cls: 40/1 | - | - | - | - | - | - | - | - |
| 5 | DAGGER-cars.map.c | Gen_PH | timeout iteration #2 | 2406 (86 + 930 + 1390) | - | 86 | 930 #defs: 35/35 | 1390 (970 + 420) |
1390 (970+420) #defs: 130/130 #cls: 155/222 | - | - | - | - | - | - | - | - | - |
| 6 | DAGGER-efm.map.c | Gen_PH | safe | 1769 (89 + 1040 + 640) | 2 | 89 | 1040 #defs: 47/47 | 640 (540 + 100) |
500 (400+100) #defs: 135/135 #cls: 149/84 |
140 (140+0) #defs: 53/53 #cls: 58/1 | - | - | - | - | - | - | - | - |
| 7 | DAGGER-ex1.map.c | Gen_PH | safe | 422 (72 + 230 + 120) | 2 | 72 | 230 #defs: 9/9 | 120 (110 + 10) |
90 (80+10) #defs: 31/31 #cls: 44/37 |
30 (30+0) #defs: 13/13 #cls: 18/1 | - | - | - | - | - | - | - | - |
| 8 | DAGGER-ex2.map.c | Gen_PH | timeout iteration #1 | 551 (81 + 470 + 0) | - | 81 | 470 #defs: 27/27 | 0 (0 + 0) | - | - | - | - | - | - | - | - | - | - |
| 9 | DAGGER-fig1a.map.c | Gen_PH | safe | 191 (71 + 100 + 20) | 1 | 71 | 100 #defs: 12/12 | 20 (10 + 10) |
20 (10+10) #defs: 20/20 #cls: 27/1 | - | - | - | - | - | - | - | - | - |
| 10 | DAGGER-fig2.map.c (*) | Gen_PH | timeout iteration #8 | 618334 (74 + 200 + 618060) | - | 74 | 200 #defs: 14/14 | 618060 (351620 + 266440) |
150 (150+0) #defs: 64/64 #cls: 99/91 |
1520 (670+850) #defs: 144/144 #cls: 213/351 |
7900 (3740+4160) #defs: 752/752 #cls: 1053/1009 |
34080 (12860+21220) #defs: 1141/1141 #cls: 1697/1543 |
104630 (37180+67450) #defs: 2387/2387 #cls: 3513/3325 |
248860 (76100+172760) #defs: 2806/2806 #cls: 4115/3744 |
220920 (220920+) #defs: 6377/6377 #cls: 0/0 | - | - | - |
| 11 | DAGGER-hsort.map.c | Gen_PH | safe | 3375 (85 + 690 + 2600) | 2 | 85 | 690 #defs: 35/35 | 2600 (2290 + 310) |
1610 (1390+220) #defs: 203/203 #cls: 256/212 |
990 (900+90) #defs: 170/170 #cls: 203/1 | - | - | - | - | - | - | - | - |
| 12 | DAGGER-hsortprime.map.c | Gen_PH | safe | 1862 (82 + 480 + 1300) | 2 | 82 | 480 #defs: 25/25 | 1300 (1260 + 40) |
1040 (1020+20) #defs: 133/133 #cls: 182/167 |
260 (240+20) #defs: 55/55 #cls: 68/1 | - | - | - | - | - | - | - | - |
| 13 | DAGGER-lifnat.map.c | Gen_PH | timeout iteration #3 | 220061 (101 + 2050 + 217910) | - | 101 | 2050 #defs: 54/54 | 217910 (11770 + 206140) |
3310 (2200+1110) #defs: 469/469 #cls: 600/539 |
214600 (9570+205030) #defs: 1003/1003 #cls: 1331/1289 | - | - | - | - | - | - | - | - |
| 14 | DAGGER-lifnatprime.map.c | Gen_PH | timeout iteration #4 | 284358 (98 + 1710 + 282550) | - | 98 | 1710 #defs: 40/40 | 282550 (158900 + 123650) |
1960 (1700+260) #defs: 355/355 #cls: 480/431 |
130860 (7470+123390) #defs: 916/916 #cls: 1251/1327 |
149730 (149730+) #defs: 7045/7045 #cls: 0/0 | - | - | - | - | - | - | - |
| 15 | DAGGER-lifo.map.c | Gen_PH | safe | 29568 (98 + 1750 + 27720) | 2 | 98 | 1750 #defs: 46/46 | 27720 (13760 + 13960) |
2630 (2150+480) #defs: 402/402 #cls: 506/358 |
25090 (11610+13480) #defs: 1006/1006 #cls: 1188/1 | - | - | - | - | - | - | - | - |
| 16 | DAGGER-p2-ok.map.c | Gen_PH | timeout iteration #1 | 6130 (120 + 6010 + 0) | - | 120 | 6010 #defs: 146/146 | 0 (0 + 0) | - | - | - | - | - | - | - | - | - | - |
| 17 | DAGGER-p3-ok.map.c | Gen_PH | safe | 4576 (106 + 2030 + 2440) | 2 | 106 | 2030 #defs: 89/89 | 2440 (1850 + 590) |
2420 (1830+590) #defs: 409/409 #cls: 687/671 |
20 (20+0) #defs: 6/6 #cls: 5/1 | - | - | - | - | - | - | - | - |
| 18 | DAGGER-seesaw.map.c | Gen_PH | safe | 1018 (78 + 250 + 690) | 2 | 78 | 250 #defs: 23/23 | 690 (660 + 30) |
220 (200+20) #defs: 105/105 #cls: 131/104 |
470 (460+10) #defs: 129/129 #cls: 164/1 | - | - | - | - | - | - | - | - |
| 19 | DAGGER-substring1.map.c | Gen_PH | safe | 201 (71 + 100 + 30) | 1 | 71 | 100 #defs: 10/10 | 30 (30 + 0) |
30 (30+0) #defs: 16/16 #cls: 16/1 | - | - | - | - | - | - | - | - | - |
| 20 | DAGGER-swim.map.c | Gen_PH | safe | 62301 (91 + 1760 + 60450) | 2 | 91 | 1760 #defs: 49/49 | 60450 (38150 + 22300) |
3220 (2060+1160) #defs: 293/293 #cls: 360/317 |
57230 (36090+21140) #defs: 1537/1537 #cls: 1906/1 | - | - | - | - | - | - | - | - |
| 21 | DAGGER-swim1.map.c | Gen_PH | timeout iteration #4 | 101754 (94 + 2030 + 99630) | - | 94 | 2030 #defs: 55/55 | 99630 (67450 + 32180) |
3700 (2350+1350) #defs: 330/330 #cls: 398/410 |
38210 (7380+30830) #defs: 772/772 #cls: 985/1236 |
57720 (57720+) #defs: 3220/3220 #cls: 0/0 | - | - | - | - | - | - | - |
| 22 | INVGEN-apache-escape-absolute.map.c | Gen_PH | safe | 2293 (83 + 820 + 1390) | 2 | 83 | 820 #defs: 53/53 | 1390 (1160 + 230) |
1070 (850+220) #defs: 163/163 #cls: 180/170 |
320 (310+10) #defs: 72/72 #cls: 79/1 | - | - | - | - | - | - | - | - |
| 23 | INVGEN-apache-get-tag.map.c | Gen_PH | safe | 608 (78 + 410 + 120) | 1 | 78 | 410 #defs: 45/45 | 120 (110 + 10) |
120 (110+10) #defs: 85/85 #cls: 93/1 | - | - | - | - | - | - | - | - | - |
| 24 | INVGEN-bind_expands_vars2.map.c | Gen_PH | safe | 270 (70 + 140 + 60) | 1 | 70 | 140 #defs: 10/10 | 60 (60 + 0) |
60 (60+0) #defs: 16/16 #cls: 16/1 | - | - | - | - | - | - | - | - | - |
| 25 | INVGEN-bound.map.c | Gen_PH | safe | 333 (73 + 200 + 60) | 1 | 73 | 200 #defs: 13/13 | 60 (60 + 0) |
60 (60+0) #defs: 26/26 #cls: 33/1 | - | - | - | - | - | - | - | - | - |
| 26 | INVGEN-down.map.c | Gen_PH | safe | 210 (70 + 70 + 70) | 1 | 70 | 70 #defs: 7/7 | 70 (70 + 0) |
70 (70+0) #defs: 20/20 #cls: 22/1 | - | - | - | - | - | - | - | - | - |
| 27 | INVGEN-fragtest_simple.map.c | Gen_PH | safe | 324 (74 + 230 + 20) | 1 | 74 | 230 #defs: 10/10 | 20 (10 + 10) |
20 (10+10) #defs: 15/15 #cls: 23/1 | - | - | - | - | - | - | - | - | - |
| 28 | INVGEN-gulwani_cegar1.map.c | Gen_PH | safe | 231 (71 + 110 + 50) | 1 | 71 | 110 #defs: 21/21 | 50 (50 + 0) |
50 (50+0) #defs: 29/29 #cls: 38/1 | - | - | - | - | - | - | - | - | - |
| 29 | INVGEN-gulwani_cegar2.map.c | Gen_PH | safe | 230 (70 + 80 + 80) | 2 | 70 | 80 #defs: 10/10 | 80 (70 + 10) |
40 (30+10) #defs: 21/21 #cls: 28/21 |
40 (40+0) #defs: 13/13 #cls: 13/1 | - | - | - | - | - | - | - | - |
| 30 | INVGEN-gulwani_fig1a.map.c | Gen_PH | safe | 118 (68 + 40 + 10) | 2 | 68 | 40 #defs: 6/6 | 10 (10 + 0) |
0 (0+0) #defs: 8/8 #cls: 9/8 |
10 (10+0) #defs: 5/5 #cls: 4/1 | - | - | - | - | - | - | - | - |
| 31 | INVGEN-id_build.map.c | Gen_PH | safe | 240 (70 + 100 + 70) | 2 | 70 | 100 #defs: 9/9 | 70 (70 + 0) |
40 (40+0) #defs: 24/24 #cls: 29/29 |
30 (30+0) #defs: 10/10 #cls: 11/1 | - | - | - | - | - | - | - | - |
| 32 | INVGEN-ken-imp.map.c | Gen_PH | safe | 169 (69 + 80 + 20) | 1 | 69 | 80 #defs: 6/6 | 20 (20 + 0) |
20 (20+0) #defs: 12/12 #cls: 15/1 | - | - | - | - | - | - | - | - | - |
| 33 | INVGEN-MADWiFi-encode_ie_ok.map.c | Gen_PH | safe | 463 (73 + 210 + 180) | 1 | 73 | 210 #defs: 14/14 | 180 (180 + 0) |
180 (180+0) #defs: 26/26 #cls: 26/1 | - | - | - | - | - | - | - | - | - |
| 34 | INVGEN-mergesort.map.c | Gen_PH | timeout iteration #5 | 129012 (82 + 1000 + 127930) | - | 82 | 1000 #defs: 14/14 | 127930 (103070 + 24860) |
380 (380+0) #defs: 52/52 #cls: 86/86 |
3820 (3350+470) #defs: 347/347 #cls: 545/420 |
33800 (27940+5860) #defs: 1385/1385 #cls: 1939/1232 |
89930 (71400+18530) #defs: 1417/1417 #cls: 2009/1329 | - | - | - | - | - | - |
| 35 | INVGEN-nest-if.map.c | Gen_PH | safe | 181 (71 + 80 + 30) | 1 | 71 | 80 #defs: 9/9 | 30 (30 + 0) |
30 (30+0) #defs: 20/20 #cls: 23/1 | - | - | - | - | - | - | - | - | - |
| 36 | INVGEN-nest-if1.map.c | Gen_PH | safe | 622 (72 + 130 + 420) | 3 | 72 | 130 #defs: 12/12 | 420 (410 + 10) |
210 (210+0) #defs: 40/40 #cls: 62/59 |
190 (180+10) #defs: 55/55 #cls: 66/48 |
20 (20+0) #defs: 15/15 #cls: 14/1 | - | - | - | - | - | - | - |
| 37 | INVGEN-nest-if2.map.c | Gen_PH | safe | 951 (71 + 130 + 750) | 3 | 71 | 130 #defs: 12/12 | 750 (720 + 30) |
350 (340+10) #defs: 54/54 #cls: 90/87 |
380 (360+20) #defs: 81/81 #cls: 102/55 |
20 (20+0) #defs: 17/17 #cls: 16/1 | - | - | - | - | - | - | - |
| 38 | INVGEN-nest-if3.map.c | Gen_PH | safe | 530 (70 + 140 + 320) | 3 | 70 | 140 #defs: 11/11 | 320 (310 + 10) |
140 (140+0) #defs: 29/29 #cls: 45/42 |
160 (150+10) #defs: 43/43 #cls: 50/32 |
20 (20+0) #defs: 15/15 #cls: 14/1 | - | - | - | - | - | - | - |
| 39 | INVGEN-nest-if4.map.c | Gen_PH | safe | 971 (71 + 130 + 770) | 2 | 71 | 130 #defs: 12/12 | 770 (760 + 10) |
410 (400+10) #defs: 56/56 #cls: 100/97 |
360 (360+0) #defs: 68/68 #cls: 87/1 | - | - | - | - | - | - | - | - |
| 40 | INVGEN-nest-if5.map.c | Gen_PH | safe | 572 (72 + 120 + 380) | 1 | 72 | 120 #defs: 12/12 | 380 (380 + 0) |
380 (380+0) #defs: 47/47 #cls: 74/1 | - | - | - | - | - | - | - | - | - |
| 41 | INVGEN-nest-if6.map.c | Gen_PH | safe | 1812 (82 + 1100 + 630) | 2 | 82 | 1100 #defs: 20/20 | 630 (630 + 0) |
620 (620+0) #defs: 61/61 #cls: 92/77 |
10 (10+0) #defs: 5/5 #cls: 4/1 | - | - | - | - | - | - | - | - |
| 42 | INVGEN-nest-if7.map.c | Gen_PH | safe | 381 (71 + 140 + 170) | 2 | 71 | 140 #defs: 11/11 | 170 (160 + 10) |
80 (70+10) #defs: 32/32 #cls: 49/49 |
90 (90+0) #defs: 34/34 #cls: 35/1 | - | - | - | - | - | - | - | - |
| 43 | INVGEN-nest-if8.map.c | Gen_PH | safe | 1183 (73 + 210 + 900) | 2 | 73 | 210 #defs: 15/15 | 900 (890 + 10) |
280 (280+0) #defs: 53/53 #cls: 76/76 |
620 (610+10) #defs: 85/85 #cls: 100/1 | - | - | - | - | - | - | - | - |
| 44 | INVGEN-nest-len.map.c | Gen_PH | safe | 327 (77 + 150 + 100) | 1 | 77 | 150 #defs: 13/13 | 100 (100 + 0) |
100 (100+0) #defs: 47/47 #cls: 75/1 | - | - | - | - | - | - | - | - | - |
| 45 | INVGEN-nested.map.c | Gen_PH | safe | 149 (69 + 50 + 30) | 1 | 69 | 50 #defs: 7/7 | 30 (30 + 0) |
30 (30+0) #defs: 17/17 #cls: 21/1 | - | - | - | - | - | - | - | - | - |
| 46 | INVGEN-nested1.map.c | Gen_PH | safe | 281 (71 + 110 + 100) | 1 | 71 | 110 #defs: 11/11 | 100 (100 + 0) |
100 (100+0) #defs: 28/28 #cls: 36/1 | - | - | - | - | - | - | - | - | - |
| 47 | INVGEN-nested2.map.c | Gen_PH | safe | 291 (71 + 120 + 100) | 1 | 71 | 120 #defs: 11/11 | 100 (100 + 0) |
100 (100+0) #defs: 27/27 #cls: 37/1 | - | - | - | - | - | - | - | - | - |
| 48 | INVGEN-nested3.map.c | Gen_PH | safe | 471 (71 + 100 + 300) | 3 | 71 | 100 #defs: 11/11 | 300 (280 + 20) |
140 (130+10) #defs: 29/29 #cls: 39/36 |
140 (140+0) #defs: 44/44 #cls: 50/31 |
20 (10+10) #defs: 15/15 #cls: 14/1 | - | - | - | - | - | - | - |
| 49 | INVGEN-nested4.map.c | Gen_PH | safe | 411 (71 + 110 + 230) | 2 | 71 | 110 #defs: 11/11 | 230 (220 + 10) |
150 (140+10) #defs: 29/29 #cls: 42/39 |
80 (80+0) #defs: 17/17 #cls: 21/1 | - | - | - | - | - | - | - | - |
| 50 | INVGEN-nested5.map.c | Gen_PH | safe | 471 (71 + 100 + 300) | 3 | 71 | 100 #defs: 8/8 | 300 (300 + 0) |
50 (50+0) #defs: 21/21 #cls: 30/30 |
110 (110+0) #defs: 38/38 #cls: 47/35 |
140 (140+0) #defs: 49/49 #cls: 60/1 | - | - | - | - | - | - | - |
| 51 | INVGEN-nested6.map.c | Gen_PH | safe | 963 (73 + 200 + 690) | 2 | 73 | 200 #defs: 14/14 | 690 (670 + 20) |
330 (320+10) #defs: 54/54 #cls: 83/83 |
360 (350+10) #defs: 65/65 #cls: 81/1 | - | - | - | - | - | - | - | - |
| 52 | INVGEN-nested7.map.c | Gen_PH | safe | 69749 (79 + 340 + 69330) | 5 | 79 | 340 #defs: 16/16 | 69330 (57320 + 12010) |
600 (590+10) #defs: 97/97 #cls: 158/149 |
8610 (7160+1450) #defs: 789/789 #cls: 1053/559 |
27050 (21180+5870) #defs: 1495/1495 #cls: 2031/977 |
16840 (15440+1400) #defs: 797/797 #cls: 963/535 |
16230 (12950+3280) #defs: 1198/1198 #cls: 1402/1 | - | - | - | - | - |
| 53 | INVGEN-nested8.map.c | Gen_PH | safe | 1291 (71 + 180 + 1040) | 4 | 71 | 180 #defs: 9/9 | 1040 (1000 + 40) |
110 (110+0) #defs: 24/24 #cls: 33/33 |
310 (290+20) #defs: 44/44 #cls: 54/43 |
460 (440+20) #defs: 68/68 #cls: 82/76 |
160 (160+0) #defs: 21/21 #cls: 21/1 | - | - | - | - | - | - |
| 54 | INVGEN-nested9.map.c | Gen_PH | unknown | 91902 (72 + 190 + 91640) | - | 72 | 190 #defs: 9/9 | 91640 (10500 + 81140) |
90 (90+0) #defs: 23/23 #cls: 34/34 |
310 (280+30) #defs: 53/53 #cls: 76/70 |
590 (560+30) #defs: 112/112 #cls: 137/100 |
1380 (890+490) #defs: 159/159 #cls: 186/142 |
760 (560+200) #defs: 121/121 #cls: 138/108 |
1720 (810+910) #defs: 150/150 #cls: 168/119 |
1630 (700+930) #defs: 151/151 #cls: 163/155 |
4280 (770+3510) #defs: 177/177 #cls: 193/168 |
4470 (1330+3140) #defs: 260/260 #cls: 280/254 |
76410 (4510+71900) #defs: 792/792 #cls: 847/629 |
| 55 | INVGEN-NetBSD_glob3_iny.map.c | Gen_PH | 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_PH | safe | 423 (73 + 200 + 150) | 2 | 73 | 200 #defs: 18/18 | 150 (150 + 0) |
120 (120+0) #defs: 44/44 #cls: 52/52 |
30 (30+0) #defs: 19/19 #cls: 18/1 | - | - | - | - | - | - | - | - |
| 57 | INVGEN-NetBSD_loop.map.c | Gen_PH | safe | 270 (70 + 140 + 60) | 2 | 70 | 140 #defs: 9/9 | 60 (60 + 0) |
60 (60+0) #defs: 20/20 #cls: 23/23 |
0 (0+0) #defs: 6/6 #cls: 5/1 | - | - | - | - | - | - | - | - |
| 58 | INVGEN-NetBSD_loop_int.map.c | Gen_PH | safe | 402 (72 + 240 + 90) | 1 | 72 | 240 #defs: 11/11 | 90 (90 + 0) |
90 (90+0) #defs: 25/25 #cls: 25/1 | - | - | - | - | - | - | - | - | - |
| 59 | INVGEN-rajamani_1.map.c | Gen_PH | safe | 483 (73 + 270 + 140) | 2 | 73 | 270 #defs: 12/12 | 140 (130 + 10) |
100 (90+10) #defs: 29/29 #cls: 47/42 |
40 (40+0) #defs: 13/13 #cls: 12/1 | - | - | - | - | - | - | - | - |
| 60 | INVGEN-sendmail-close-angle.map.c | Gen_PH | safe | 725 (75 + 370 + 280) | 1 | 75 | 370 #defs: 24/24 | 280 (260 + 20) |
280 (260+20) #defs: 71/71 #cls: 77/1 | - | - | - | - | - | - | - | - | - |
| 61 | INVGEN-sendmail-mime-fromqp.map.c | Gen_PH | 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_PH | safe | 335 (75 + 250 + 10) | 1 | 75 | 250 #defs: 27/27 | 10 (10 + 0) |
10 (10+0) #defs: 10/10 #cls: 9/1 | - | - | - | - | - | - | - | - | - |
| 63 | INVGEN-seq-len.map.c | Gen_PH | safe | 7537 (77 + 270 + 7190) | 1 | 77 | 270 #defs: 11/11 | 7190 (7120 + 70) |
7190 (7120+70) #defs: 324/324 #cls: 450/1 | - | - | - | - | - | - | - | - | - |
| 64 | INVGEN-seq-proc.map.c | Gen_PH | safe | 1685 (75 + 210 + 1400) | 1 | 75 | 210 #defs: 9/9 | 1400 (1400 + 0) |
1400 (1400+0) #defs: 105/105 #cls: 126/1 | - | - | - | - | - | - | - | - | - |
| 65 | INVGEN-seq-sim.map.c | Gen_PH | safe | 794 (74 + 160 + 560) | 1 | 74 | 160 #defs: 9/9 | 560 (560 + 0) |
560 (560+0) #defs: 90/90 #cls: 111/1 | - | - | - | - | - | - | - | - | - |
| 66 | INVGEN-seq-z3.map.c | Gen_PH | safe | 804 (74 + 150 + 580) | 1 | 74 | 150 #defs: 9/9 | 580 (580 + 0) |
580 (580+0) #defs: 90/90 #cls: 111/1 | - | - | - | - | - | - | - | - | - |
| 67 | INVGEN-seq.map.c | Gen_PH | safe | 872 (72 + 120 + 680) | 1 | 72 | 120 #defs: 7/7 | 680 (680 + 0) |
680 (680+0) #defs: 57/57 #cls: 68/1 | - | - | - | - | - | - | - | - | - |
| 68 | INVGEN-seq2.map.c | Gen_PH | safe | 1594 (74 + 190 + 1330) | 1 | 74 | 190 #defs: 9/9 | 1330 (1330 + 0) |
1330 (1330+0) #defs: 105/105 #cls: 126/1 | - | - | - | - | - | - | - | - | - |
| 69 | INVGEN-seq3.map.c | Gen_PH | safe | 1914 (74 + 230 + 1610) | 1 | 74 | 230 #defs: 9/9 | 1610 (1600 + 10) |
1610 (1600+10) #defs: 117/117 #cls: 138/1 | - | - | - | - | - | - | - | - | - |
| 70 | INVGEN-seq4.map.c | Gen_PH | safe | 1463 (73 + 230 + 1160) | 1 | 73 | 230 #defs: 9/9 | 1160 (1150 + 10) |
1160 (1150+10) #defs: 93/93 #cls: 114/1 | - | - | - | - | - | - | - | - | - |
| 71 | INVGEN-simple.map.c | Gen_PH | safe | 128 (68 + 40 + 20) | 2 | 68 | 40 #defs: 9/9 | 20 (20 + 0) |
10 (10+0) #defs: 15/15 #cls: 17/11 |
10 (10+0) #defs: 5/5 #cls: 4/1 | - | - | - | - | - | - | - | - |
| 72 | INVGEN-simple_if.map.c | Gen_PH | safe | 138 (68 + 50 + 20) | 1 | 68 | 50 #defs: 7/7 | 20 (20 + 0) |
20 (20+0) #defs: 16/16 #cls: 20/1 | - | - | - | - | - | - | - | - | - |
| 73 | INVGEN-simple_nest.map.c | Gen_PH | safe | 119 (69 + 30 + 20) | 1 | 69 | 30 #defs: 8/8 | 20 (20 + 0) |
20 (20+0) #defs: 13/13 #cls: 14/1 | - | - | - | - | - | - | - | - | - |
| 74 | INVGEN-SpamAssassin-loop.map.c | Gen_PH | safe | 1599 (79 + 520 + 1000) | 2 | 79 | 520 #defs: 42/42 | 1000 (970 + 30) |
700 (680+20) #defs: 129/129 #cls: 159/159 |
300 (290+10) #defs: 85/85 #cls: 90/1 | - | - | - | - | - | - | - | - |
| 75 | INVGEN-SpamAssassin-loop_ok.map.c | Gen_PH | safe | 932 (72 + 160 + 700) | 2 | 72 | 160 #defs: 12/12 | 700 (690 + 10) |
250 (250+0) #defs: 48/48 #cls: 76/76 |
450 (440+10) #defs: 81/81 #cls: 99/1 | - | - | - | - | - | - | - | - |
| 76 | INVGEN-split.map.c | Gen_PH | unknown | 3460 (70 + 130 + 3260) | - | 70 | 130 #defs: 7/7 | 3260 (2140 + 1120) |
40 (30+10) #defs: 14/14 #cls: 22/22 |
120 (100+20) #defs: 33/33 #cls: 47/43 |
190 (120+70) #defs: 48/48 #cls: 70/57 |
400 (360+40) #defs: 87/87 #cls: 125/87 |
370 (240+130) #defs: 86/86 #cls: 117/98 |
380 (280+100) #defs: 102/102 #cls: 136/144 |
340 (180+160) #defs: 98/98 #cls: 118/108 |
410 (270+140) #defs: 119/119 #cls: 144/156 |
480 (240+240) #defs: 124/124 #cls: 147/139 |
530 (320+210) #defs: 140/140 #cls: 166/181 |
| 77 | INVGEN-string_concat-noarr.map.c | Gen_PH | safe | 170 (70 + 80 + 20) | 1 | 70 | 80 #defs: 11/11 | 20 (20 + 0) |
20 (20+0) #defs: 22/22 #cls: 26/1 | - | - | - | - | - | - | - | - | - |
| 78 | INVGEN-svd-some-loop.map.c | Gen_PH | safe | 203664 (84 + 770 + 202810) | 4 | 84 | 770 #defs: 55/55 | 202810 (105160 + 97650) |
3150 (2970+180) #defs: 443/443 #cls: 593/593 |
116520 (20630+95890) #defs: 2144/2144 #cls: 2395/1715 |
55770 (55770+) #defs: 2683/2683 #cls: 0/0 |
27370 (25790+1580) #defs: 980/980 #cls: 1027/1 | - | - | - | - | - | - |
| 79 | INVGEN-svd1.map.c | Gen_PH | safe | 7555 (85 + 830 + 6640) | 2 | 85 | 830 #defs: 62/62 | 6640 (5730 + 910) |
5920 (5010+910) #defs: 415/415 #cls: 479/476 |
720 (720+0) #defs: 64/64 #cls: 73/1 | - | - | - | - | - | - | - | - |
| 80 | INVGEN-svd2.map.c | Gen_PH | safe | 1456 (76 + 300 + 1080) | 1 | 76 | 300 #defs: 18/18 | 1080 (1080 + 0) |
1080 (1080+0) #defs: 105/105 #cls: 158/1 | - | - | - | - | - | - | - | - | - |
| 81 | INVGEN-svd3.map.c | Gen_PH | safe | 1385 (75 + 230 + 1080) | 2 | 75 | 230 #defs: 15/15 | 1080 (1070 + 10) |
900 (890+10) #defs: 77/77 #cls: 134/131 |
180 (180+0) #defs: 32/32 #cls: 37/1 | - | - | - | - | - | - | - | - |
| 82 | INVGEN-svd4.map.c (*) | Gen_PH | safe | 356901 (91 + 1220 + 355590) | 4 | 91 | 1220 #defs: 83/83 | 355590 (311990 + 43600) |
3750 (3570+180) #defs: 443/443 #cls: 645/642 |
61830 (29650+32180) #defs: 2606/2606 #cls: 2840/816 |
223080 (223080+) #defs: 5719/5719 #cls: 0/0 |
66930 (55690+11240) #defs: 1055/1055 #cls: 1069/1 | - | - | - | - | - | - |
| 83 | INVGEN-up-nd.map.c | Gen_PH | safe | 231 (71 + 90 + 70) | 1 | 71 | 90 #defs: 8/8 | 70 (70 + 0) |
70 (70+0) #defs: 22/22 #cls: 27/1 | - | - | - | - | - | - | - | - | - |
| 84 | INVGEN-up-nested.map.c | Gen_PH | safe | 170 (70 + 90 + 10) | 1 | 70 | 90 #defs: 12/12 | 10 (10 + 0) |
10 (10+0) #defs: 13/13 #cls: 14/1 | - | - | - | - | - | - | - | - | - |
| 85 | INVGEN-up.map.c | Gen_PH | safe | 210 (70 + 90 + 50) | 1 | 70 | 90 #defs: 7/7 | 50 (50 + 0) |
50 (50+0) #defs: 20/20 #cls: 22/1 | - | - | - | - | - | - | - | - | - |
| 86 | INVGEN-up2.map.c | Gen_PH | safe | 170 (70 + 70 + 30) | 1 | 70 | 70 #defs: 6/6 | 30 (30 + 0) |
30 (30+0) #defs: 16/16 #cls: 18/1 | - | - | - | - | - | - | - | - | - |
| 87 | INVGEN-up3.map.c | Gen_PH | safe | 181 (71 + 60 + 50) | 1 | 71 | 60 #defs: 6/6 | 50 (50 + 0) |
50 (50+0) #defs: 17/17 #cls: 19/1 | - | - | - | - | - | - | - | - | - |
| 88 | INVGEN-up4.map.c | Gen_PH | safe | 170 (70 + 60 + 40) | 1 | 70 | 60 #defs: 6/6 | 40 (40 + 0) |
40 (40+0) #defs: 16/16 #cls: 18/1 | - | - | - | - | - | - | - | - | - |
| 89 | INVGEN-up5.map.c | Gen_PH | safe | 180 (70 + 70 + 40) | 1 | 70 | 70 #defs: 6/6 | 40 (40 + 0) |
40 (40+0) #defs: 16/16 #cls: 18/1 | - | - | - | - | - | - | - | - | - |
| 90 | MAP-CPA-example.map.c | Gen_PH | safe | 139 (69 + 50 + 20) | 1 | 69 | 50 #defs: 7/7 | 20 (20 + 0) |
20 (20+0) #defs: 13/13 #cls: 14/1 | - | - | - | - | - | - | - | - | - |
| 91 | MAP-disj.map.c | Gen_PH | safe | 260 (130 + 40 + 90) | 3 | 130 | 40 #defs: 7/7 | 90 (80 + 10) |
10 (10+0) #defs: 15/15 #cls: 20/21 |
50 (50+0) #defs: 37/37 #cls: 41/23 |
30 (20+10) #defs: 25/25 #cls: 26/1 | - | - | - | - | - | - | - |
| 92 | MAP-forward.map.c | Gen_PH | safe | 1471 (71 + 200 + 1200) | 4 | 71 | 200 #defs: 10/10 | 1200 (1040 + 160) |
60 (60+0) #defs: 20/20 #cls: 30/25 |
290 (250+40) #defs: 35/35 #cls: 51/53 |
380 (260+120) #defs: 64/64 #cls: 94/73 |
470 (470+0) #defs: 68/68 #cls: 101/1 | - | - | - | - | - | - |
| 93 | MAP-interpolants_needed-pepm-proc.c.map.c | Gen_PH | safe | 291 (71 + 80 + 140) | 2 | 71 | 80 #defs: 11/11 | 140 (140 + 0) |
70 (70+0) #defs: 39/39 #cls: 63/60 |
70 (70+0) #defs: 25/25 #cls: 34/1 | - | - | - | - | - | - | - | - |
| 94 | MAP-pepm-scp-example1.c.map.c | Gen_PH | safe | 180 (70 + 80 + 30) | 1 | 70 | 80 #defs: 9/9 | 30 (30 + 0) |
30 (30+0) #defs: 19/19 #cls: 25/1 | - | - | - | - | - | - | - | - | - |
| 95 | MAP-pepm-scp-example2.c.map.c | Gen_PH | unknown | 1379 (69 + 50 + 1260) | - | 69 | 50 #defs: 7/7 | 1260 (690 + 570) |
30 (30+0) #defs: 23/23 #cls: 25/16 |
40 (30+10) #defs: 21/21 #cls: 24/22 |
70 (70+0) #defs: 45/45 #cls: 48/42 |
70 (50+20) #defs: 49/49 #cls: 52/34 |
80 (60+20) #defs: 44/44 #cls: 50/44 |
130 (80+50) #defs: 51/51 #cls: 54/46 |
130 (90+40) #defs: 56/56 #cls: 62/56 |
180 (70+110) #defs: 63/63 #cls: 66/58 |
210 (100+110) #defs: 68/68 #cls: 74/68 |
320 (110+210) #defs: 75/75 #cls: 78/70 |
| 96 | MAP-re1-LOPSTR-pepm-proc.c.map.c | Gen_PH | safe | 180 (70 + 80 + 30) | 1 | 70 | 80 #defs: 9/9 | 30 (30 + 0) |
30 (30+0) #defs: 19/19 #cls: 25/1 | - | - | - | - | - | - | - | - | - |
| 97 | MAP-selection_sort-pepm-proc.c.map.c | Gen_PH | safe | 2356 (76 + 200 + 2080) | 3 | 76 | 200 #defs: 19/19 | 2080 (1820 + 260) |
250 (230+20) #defs: 62/62 #cls: 86/83 |
920 (780+140) #defs: 162/162 #cls: 199/136 |
910 (810+100) #defs: 190/190 #cls: 237/1 | - | - | - | - | - | - | - |
| 98 | MAP-singleloop2-pepm-proc.c.map.c | Gen_PH | safe | 300 (70 + 70 + 160) | 2 | 70 | 70 #defs: 9/9 | 160 (160 + 0) |
50 (50+0) #defs: 21/21 #cls: 30/26 |
110 (110+0) #defs: 21/21 #cls: 23/1 | - | - | - | - | - | - | - | - |
| 99 | SVCOMP13-locks-test_locks_10_safe.map.c | Gen_PH | 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_PH | 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_PH | 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_PH | 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_PH | 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_PH | 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_PH | safe | 139 (69 + 50 + 20) | 1 | 69 | 50 #defs: 7/7 | 20 (20 + 0) |
20 (20+0) #defs: 13/13 #cls: 13/1 | - | - | - | - | - | - | - | - | - |
| 106 | SVCOMP13-loops-count_up_down_unsafe.map.c | Gen_PH | unsafe | 200 (70 + 80 + 50) | 2 | 70 | 80 #defs: 7/7 | 50 (50 + 0) |
20 (20+0) #defs: 13/13 #cls: 16/16 |
30 (30+0) #defs: 20/20 #cls: 25/22 | - | - | - | - | - | - | - | - |
| 107 | SVCOMP13-loops-for_bounded_loop1_unsafe.map.c | Gen_PH | unsafe | 722 (72 + 200 + 450) | 2 | 72 | 200 #defs: 18/18 | 450 (370 + 80) |
170 (160+10) #defs: 47/47 #cls: 67/57 |
280 (210+70) #defs: 89/89 #cls: 102/77 | - | - | - | - | - | - | - | - |
| 108 | SVCOMP13-loops-for_infinite_loop_1_safe.map.c | Gen_PH | safe | 179 (69 + 80 + 30) | 1 | 69 | 80 #defs: 10/10 | 30 (30 + 0) |
30 (30+0) #defs: 17/17 #cls: 18/1 | - | - | - | - | - | - | - | - | - |
| 109 | SVCOMP13-loops-for_infinite_loop_2_safe.map.c | Gen_PH | safe | 159 (69 + 70 + 20) | 1 | 69 | 70 #defs: 10/10 | 20 (20 + 0) |
20 (20+0) #defs: 17/17 #cls: 18/1 | - | - | - | - | - | - | - | - | - |
| 110 | SVCOMP13-loops-kundu_unsafe.map.c | Gen_PH | timeout iteration #2 | 13403 (123 + 5260 + 8020) | - | 123 | 5260 #defs: 93/93 | 8020 (3200 + 4820) |
8020 (3200+4820) #defs: 444/444 #cls: 693/651 | - | - | - | - | - | - | - | - | - |
| 111 | SVCOMP13-loops-pc_sfifo_1_safe.map.c (*) | Gen_PH | safe | 323437 (107 + 3110 + 320220) | 6 | 107 | 3110 #defs: 59/59 | 320220 (143530 + 176690) |
1860 (1680+180) #defs: 268/268 #cls: 379/357 |
36590 (23210+13380) #defs: 1914/1914 #cls: 2481/913 |
67000 (45190+21810) #defs: 1692/1692 #cls: 1961/1262 |
150540 (39020+111520) #defs: 1732/1732 #cls: 2011/1496 |
50410 (24850+25560) #defs: 1049/1049 #cls: 1156/966 |
13820 (9580+4240) #defs: 655/655 #cls: 708/1 | - | - | - | - |
| 112 | SVCOMP13-loops-pc_sfifo_2_unsafe.map.c | Gen_PH | timeout iteration #3 | 87039 (119 + 4190 + 82730) | - | 119 | 4190 #defs: 82/82 | 82730 (82090 + 640) |
3970 (3330+640) #defs: 461/461 #cls: 656/648 |
78760 (78760+) #defs: 5397/5397 #cls: 0/0 | - | - | - | - | - | - | - | - |
| 113 | SVCOMP13-loops-sum01_bug02_sum01_bug02_basease_unsafe.c.map.c | Gen_PH | unsafe | 1452 (72 + 110 + 1270) | 4 | 72 | 110 #defs: 10/10 | 1270 (1110 + 160) |
140 (120+20) #defs: 40/40 #cls: 50/41 |
210 (200+10) #defs: 52/52 #cls: 67/41 |
220 (180+40) #defs: 63/63 #cls: 81/67 |
700 (610+90) #defs: 145/145 #cls: 173/133 | - | - | - | - | - | - |
| 114 | SVCOMP13-loops-sum01_bug02_unsafe.map.c | Gen_PH | unsafe | 1414 (74 + 140 + 1200) | 5 | 74 | 140 #defs: 10/10 | 1200 (1010 + 190) |
90 (80+10) #defs: 29/29 #cls: 32/19 |
280 (270+10) #defs: 28/28 #cls: 35/35 |
190 (160+30) #defs: 52/52 #cls: 59/56 |
350 (290+60) #defs: 89/89 #cls: 103/103 |
290 (210+80) #defs: 130/130 #cls: 143/126 | - | - | - | - | - |
| 115 | SVCOMP13-loops-sum01_safe.map.c | Gen_PH | safe | 231 (71 + 100 + 60) | 2 | 71 | 100 #defs: 9/9 | 60 (60 + 0) |
50 (50+0) #defs: 25/25 #cls: 29/17 |
10 (10+0) #defs: 12/12 #cls: 11/1 | - | - | - | - | - | - | - | - |
| 116 | SVCOMP13-loops-sum01_unsafe.map.c | Gen_PH | unsafe | 4571 (71 + 110 + 4390) | 7 | 71 | 110 #defs: 10/10 | 4390 (2210 + 2180) |
70 (60+10) #defs: 29/29 #cls: 32/19 |
210 (210+0) #defs: 28/28 #cls: 35/35 |
110 (100+10) #defs: 51/51 #cls: 57/54 |
200 (140+60) #defs: 84/84 #cls: 93/93 |
280 (200+80) #defs: 132/132 #cls: 143/143 |
1550 (610+940) #defs: 315/315 #cls: 344/344 |
1970 (890+1080) #defs: 403/403 #cls: 434/346 | - | - | - |
| 117 | SVCOMP13-loops-sum03_safe.map.c | Gen_PH | safe | 271 (71 + 140 + 60) | 1 | 71 | 140 #defs: 10/10 | 60 (60 + 0) |
60 (60+0) #defs: 17/17 #cls: 17/1 | - | - | - | - | - | - | - | - | - |
| 118 | SVCOMP13-loops-sum03_unsafe.map.c | Gen_PH | unsafe | 2391 (71 + 190 + 2130) | 6 | 71 | 190 #defs: 11/11 | 2130 (1500 + 630) |
120 (110+10) #defs: 27/27 #cls: 36/36 |
310 (260+50) #defs: 54/54 #cls: 82/78 |
430 (360+70) #defs: 108/108 #cls: 133/71 |
620 (480+140) #defs: 114/114 #cls: 130/75 |
230 (150+80) #defs: 65/65 #cls: 68/66 |
420 (140+280) #defs: 75/75 #cls: 78/73 | - | - | - | - |
| 119 | SVCOMP13-loops-sum04_safe.map.c | Gen_PH | safe | 130 (70 + 50 + 10) | 2 | 70 | 50 #defs: 8/8 | 10 (10 + 0) |
10 (10+0) #defs: 12/12 #cls: 13/11 |
0 (0+0) #defs: 7/7 #cls: 6/1 | - | - | - | - | - | - | - | - |
| 120 | SVCOMP13-loops-sum04_unsafe.map.c | Gen_PH | unsafe | 290 (70 + 40 + 180) | 4 | 70 | 40 #defs: 9/9 | 180 (160 + 20) |
30 (30+0) #defs: 28/28 #cls: 33/28 |
80 (80+0) #defs: 41/41 #cls: 47/31 |
40 (30+10) #defs: 36/36 #cls: 40/30 |
30 (20+10) #defs: 33/33 #cls: 37/25 | - | - | - | - | - | - |
| 121 | SVCOMP13-loops-terminator_02_safe.map.c | Gen_PH | safe | 314 (74 + 210 + 30) | 1 | 74 | 210 #defs: 20/20 | 30 (30 + 0) |
30 (30+0) #defs: 20/20 #cls: 21/1 | - | - | - | - | - | - | - | - | - |
| 122 | SVCOMP13-loops-terminator_02_unsafe.map.c | Gen_PH | unsafe | 1082 (72 + 120 + 890) | 2 | 72 | 120 #defs: 12/12 | 890 (700 + 190) |
230 (210+20) #defs: 40/40 #cls: 58/58 |
660 (490+170) #defs: 114/114 #cls: 145/125 | - | - | - | - | - | - | - | - |
| 123 | SVCOMP13-loops-terminator_03_safe.map.c | Gen_PH | safe | 211 (71 + 80 + 60) | 1 | 71 | 80 #defs: 12/12 | 60 (60 + 0) |
60 (60+0) #defs: 27/27 #cls: 27/1 | - | - | - | - | - | - | - | - | - |
| 124 | SVCOMP13-loops-terminator_03_unsafe.map.c | Gen_PH | unsafe | 287 (77 + 70 + 140) | 2 | 77 | 70 #defs: 12/12 | 140 (120 + 20) |
60 (50+10) #defs: 24/24 #cls: 27/24 |
80 (70+10) #defs: 32/32 #cls: 37/34 | - | - | - | - | - | - | - | - |
| 125 | SVCOMP13-loops-token_ring01_safe.map.c | Gen_PH | safe | 113817 (117 + 4000 + 109700) | 4 | 117 | 4000 #defs: 116/116 | 109700 (35990 + 73710) |
13670 (4190+9480) #defs: 793/793 #cls: 862/609 |
68730 (13080+55650) #defs: 1391/1391 #cls: 1577/1027 |
21850 (14250+7600) #defs: 894/894 #cls: 1008/590 |
5450 (4470+980) #defs: 426/426 #cls: 462/1 | - | - | - | - | - | - |
| 126 | SVCOMP13-loops-token_ring01_unsafe.map.c | Gen_PH | timeout iteration #3 | 235635 (125 + 6220 + 229290) | - | 125 | 6220 #defs: 125/125 | 229290 (38690 + 190600) |
7720 (6680+1040) #defs: 500/500 #cls: 619/619 |
221570 (32010+189560) #defs: 1887/1887 #cls: 2232/1557 | - | - | - | - | - | - | - | - |
| 127 | SVCOMP13-loops-transmitter_unsafe.map.c | Gen_PH | unsafe | 125391 (111 + 2530 + 122750) | 3 | 111 | 2530 #defs: 100/100 | 122750 (29860 + 92890) |
12990 (3540+9450) #defs: 743/743 #cls: 812/654 |
79140 (10380+68760) #defs: 1297/1297 #cls: 1457/1121 |
30620 (15940+14680) #defs: 1218/1218 #cls: 1382/903 | - | - | - | - | - | - | - |
| 128 | SVCOMP13-loops-trex01_safe.map.c | Gen_PH | safe | 1785 (75 + 210 + 1500) | 1 | 75 | 210 #defs: 15/15 | 1500 (1500 + 0) |
1500 (1500+0) #defs: 179/179 #cls: 244/1 | - | - | - | - | - | - | - | - | - |
| 129 | SVCOMP13-loops-trex01_unsafe.map.c | Gen_PH | unsafe | 1135 (75 + 210 + 850) | 2 | 75 | 210 #defs: 15/15 | 850 (830 + 20) |
790 (770+20) #defs: 131/131 #cls: 184/40 |
60 (60+0) #defs: 31/31 #cls: 33/20 | - | - | - | - | - | - | - | - |
| 130 | SVCOMP13-loops-trex02_safe.map.c | Gen_PH | 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_PH | unsafe | 140 (70 + 50 + 20) | 2 | 70 | 50 #defs: 11/11 | 20 (10 + 10) |
20 (10+10) #defs: 13/13 #cls: 16/15 |
0 (0+0) #defs: 7/7 #cls: 7/6 | - | - | - | - | - | - | - | - |
| 132 | SVCOMP13-loops-trex03_safe.map.c | Gen_PH | safe | 1257 (77 + 500 + 680) | 1 | 77 | 500 #defs: 20/20 | 680 (670 + 10) |
680 (670+10) #defs: 113/113 #cls: 137/1 | - | - | - | - | - | - | - | - | - |
| 133 | SVCOMP13-loops-trex03_unsafe.map.c | Gen_PH | unsafe | 11618 (78 + 630 + 10910) | 2 | 78 | 630 #defs: 20/20 | 10910 (5310 + 5600) |
830 (750+80) #defs: 128/128 #cls: 170/172 |
10080 (4560+5520) #defs: 679/679 #cls: 753/711 | - | - | - | - | - | - | - | - |
| 134 | SVCOMP13-loops-trex04_safe.map.c | Gen_PH | safe | 4617 (77 + 350 + 4190) | 1 | 77 | 350 #defs: 24/24 | 4190 (4080 + 110) |
4190 (4080+110) #defs: 474/474 #cls: 746/1 | - | - | - | - | - | - | - | - | - |
| 135 | SVCOMP13-loops-while_infinite_loop_1_safe.map.c | Gen_PH | 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_PH | 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_PH | 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_PH | unsafe | 99 (69 + 20 + 10) | 1 | 69 | 20 #defs: 8/8 | 10 (10 + 0) |
10 (10+0) #defs: 8/8 #cls: 8/7 | - | - | - | - | - | - | - | - | - |
| 139 | SVCOMP13-sshsimpl-s3_srvr_1a_safeil.c.map.c | Gen_PH | safe | 98704 (94 + 750 + 97860) | 4 | 94 | 750 #defs: 50/50 | 97860 (57290 + 40570) |
2550 (2030+520) #defs: 343/343 #cls: 564/540 |
29910 (22030+7880) #defs: 2052/2052 #cls: 2312/606 |
60870 (29120+31750) #defs: 1495/1495 #cls: 1764/710 |
4530 (4110+420) #defs: 300/300 #cls: 339/1 | - | - | - | - | - | - |
| 140 | SVCOMP13-sshsimpl-s3_srvr_1b_safeil.c.map.c | Gen_PH | safe | 1649 (79 + 170 + 1400) | 3 | 79 | 170 #defs: 25/25 | 1400 (1020 + 380) |
230 (220+10) #defs: 89/89 #cls: 140/137 |
780 (470+310) #defs: 234/234 #cls: 276/155 |
390 (330+60) #defs: 148/148 #cls: 165/1 | - | - | - | - | - | - | - |
| 141 | SVCOMP13-systemc-kundu1_unsafeil.c.map.c | Gen_PH | timeout iteration #2 | 13412 (122 + 5310 + 7980) | - | 122 | 5310 #defs: 93/93 | 7980 (3140 + 4840) |
7980 (3140+4840) #defs: 444/444 #cls: 693/651 | - | - | - | - | - | - | - | - | - |
| 142 | SVCOMP13-systemc-pc_sfifo_1_safeil.c.map.c (*) | Gen_PH | safe | 322516 (106 + 3170 + 319240) | 6 | 106 | 3170 #defs: 59/59 | 319240 (143980 + 175260) |
1870 (1700+170) #defs: 268/268 #cls: 379/357 |
36820 (23540+13280) #defs: 1914/1914 #cls: 2481/913 |
67170 (45210+21960) #defs: 1692/1692 #cls: 1961/1262 |
149160 (39100+110060) #defs: 1732/1732 #cls: 2011/1496 |
50370 (24800+25570) #defs: 1049/1049 #cls: 1156/966 |
13850 (9630+4220) #defs: 655/655 #cls: 708/1 | - | - | - | - |
| 143 | SVCOMP13-systemc-pc_sfifo_1_unsafeil.c.map.c | Gen_PH | unsafe | 77387 (107 + 3130 + 74150) | 2 | 107 | 3130 #defs: 60/60 | 74150 (37560 + 36590) |
2480 (2300+180) #defs: 296/296 #cls: 420/406 |
71670 (35260+36410) #defs: 2658/2658 #cls: 3201/860 | - | - | - | - | - | - | - | - |
| 144 | SVCOMP13-systemc-pc_sfifo_2_safeil.c.map.c | Gen_PH | timeout iteration #2 | 11968 (118 + 4230 + 7620) | - | 118 | 4230 #defs: 81/81 | 7620 (5250 + 2370) |
7620 (5250+2370) #defs: 697/697 #cls: 1002/984 | - | - | - | - | - | - | - | - | - |
| 145 | SVCOMP13-systemc-pc_sfifo_2_unsafeil.c.map.c | Gen_PH | timeout iteration #3 | 88118 (118 + 4280 + 83720) | - | 118 | 4280 #defs: 82/82 | 83720 (83090 + 630) |
3890 (3260+630) #defs: 461/461 #cls: 656/648 |
79830 (79830+) #defs: 5397/5397 #cls: 0/0 | - | - | - | - | - | - | - | - |
| 146 | SVCOMP13-systemc-pc_sfifo_3_safeil.c.map.c | Gen_PH | timeout iteration #2 | 53400 (130 + 7820 + 45450) | - | 130 | 7820 #defs: 111/111 | 45450 (9550 + 35900) |
45450 (9550+35900) #defs: 1021/1021 #cls: 1594/1526 | - | - | - | - | - | - | - | - | - |
| 147 | SVCOMP13-systemc-token_ring.01_safeil.c.map.c | Gen_PH | safe | 113986 (116 + 4080 + 109790) | 4 | 116 | 4080 #defs: 116/116 | 109790 (35980 + 73810) |
14060 (4180+9880) #defs: 793/793 #cls: 862/609 |
68340 (12920+55420) #defs: 1391/1391 #cls: 1577/1027 |
21910 (14370+7540) #defs: 894/894 #cls: 1008/590 |
5480 (4510+970) #defs: 426/426 #cls: 462/1 | - | - | - | - | - | - |
| 148 | SVCOMP13-systemc-token_ring.01_unsafeil.c.map.c | Gen_PH | unsafe | 121209 (119 + 4160 + 116930) | 3 | 119 | 4160 #defs: 120/120 | 116930 (30530 + 86400) |
13660 (4160+9500) #defs: 797/797 #cls: 868/615 |
63300 (11870+51430) #defs: 1296/1296 #cls: 1462/990 |
39970 (14500+25470) #defs: 962/962 #cls: 1097/916 | - | - | - | - | - | - | - |
| 149 | SVCOMP13-systemc-transmitter.01_unsafeil.c.map.c | Gen_PH | unsafe | 125082 (112 + 2510 + 122460) | 3 | 112 | 2510 #defs: 100/100 | 122460 (29870 + 92590) |
12980 (3550+9430) #defs: 743/743 #cls: 812/654 |
78980 (10400+68580) #defs: 1297/1297 #cls: 1457/1121 |
30500 (15920+14580) #defs: 1218/1218 #cls: 1382/903 | - | - | - | - | - | - | - |
| 150 | SVCOMP13-systemc-transmitter.02_unsafeil.c.map.c (*) | Gen_PH | timeout iteration #3 | 405288 (128 + 7120 + 398040) | - | 128 | 7120 #defs: 151/151 | 398040 (250840 + 147200) |
188980 (41780+147200) #defs: 2455/2455 #cls: 2662/2042 |
209060 (209060+) #defs: 6038/6038 #cls: 0/0 | - | - | - | - | - | - | - | - |
| 151 | TRACER-paper-prog_d-pepm-proc.c.map.c | Gen_PH | safe | 118 (68 + 40 + 10) | 1 | 68 | 40 #defs: 8/8 | 10 (10 + 0) |
10 (10+0) #defs: 11/11 #cls: 12/1 | - | - | - | - | - | - | - | - | - |
| 152 | TRACER-test1-unsafe.map.c | Gen_PH | unsafe | 341 (71 + 90 + 180) | 1 | 71 | 90 #defs: 15/15 | 180 (160 + 20) |
180 (160+20) #defs: 107/107 #cls: 114/112 | - | - | - | - | - | - | - | - | - |
| 153 | TRACER-test1.map.c | Gen_PH | safe | 280 (70 + 70 + 140) | 1 | 70 | 70 #defs: 11/11 | 140 (140 + 0) |
140 (140+0) #defs: 83/83 #cls: 82/1 | - | - | - | - | - | - | - | - | - |
| 154 | TRACER-test2-unsafe.map.c | Gen_PH | unsafe | 272 (72 + 190 + 10) | 1 | 72 | 190 #defs: 13/13 | 10 (10 + 0) |
10 (10+0) #defs: 10/10 #cls: 11/7 | - | - | - | - | - | - | - | - | - |
| 155 | TRACER-test2.map.c | Gen_PH | safe | 342 (72 + 250 + 20) | 1 | 72 | 250 #defs: 14/14 | 20 (20 + 0) |
20 (20+0) #defs: 19/19 #cls: 19/1 | - | - | - | - | - | - | - | - | - |
| 156 | TRACER-test3-unsafe.map.c | Gen_PH | unsafe | 140 (70 + 50 + 20) | 1 | 70 | 50 #defs: 9/9 | 20 (10 + 10) |
20 (10+10) #defs: 15/15 #cls: 17/22 | - | - | - | - | - | - | - | - | - |
| 157 | TRACER-test3.map.c | Gen_PH | 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_PH | 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_PH | safe | 160 (70 + 60 + 30) | 2 | 70 | 60 #defs: 11/11 | 30 (30 + 0) |
20 (20+0) #defs: 16/16 #cls: 18/12 |
10 (10+0) #defs: 6/6 #cls: 5/1 | - | - | - | - | - | - | - | - |
| 160 | TRACER-testabs13.map.c | Gen_PH | safe | 88 (68 + 20 + 0) | 2 | 68 | 20 #defs: 6/6 | 0 (0 + 0) |
0 (0+0) #defs: 9/9 #cls: 10/9 |
0 (0+0) #defs: 5/5 #cls: 4/1 | - | - | - | - | - | - | - | - |
| 161 | TRACER-testabs14.map.c | Gen_PH | safe | 171 (71 + 70 + 30) | 2 | 71 | 70 #defs: 9/9 | 30 (30 + 0) |
10 (10+0) #defs: 17/17 #cls: 20/19 |
20 (20+0) #defs: 16/16 #cls: 16/1 | - | - | - | - | - | - | - | - |
| 162 | TRACER-testabs15.map.c | Gen_PH | safe | 641 (71 + 140 + 430) | 3 | 71 | 140 #defs: 8/8 | 430 (410 + 20) |
70 (60+10) #defs: 19/19 #cls: 28/23 |
230 (220+10) #defs: 38/38 #cls: 52/43 |
130 (130+0) #defs: 49/49 #cls: 55/1 | - | - | - | - | - | - | - |
| 163 | TRACER-testabs2.map.c | Gen_PH | safe | 118 (68 + 40 + 10) | 1 | 68 | 40 #defs: 6/6 | 10 (10 + 0) |
10 (10+0) #defs: 6/6 #cls: 5/1 | - | - | - | - | - | - | - | - | - |
| 164 | TRACER-testabs3.map.c | Gen_PH | timeout iteration #1 | 2061 (91 + 1970 + 0) | - | 91 | 1970 #defs: 25/25 | 0 (0 + 0) | - | - | - | - | - | - | - | - | - | - |
| 165 | TRACER-testabs6.map.c | Gen_PH | 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_PH | safe | 117 (67 + 40 + 10) | 2 | 67 | 40 #defs: 6/6 | 10 (10 + 0) |
10 (10+0) #defs: 9/9 #cls: 10/9 |
0 (0+0) #defs: 5/5 #cls: 4/1 | - | - | - | - | - | - | - | - |
| 167 | TRACER-testabs8.map.c | Gen_PH | safe | 290 (250 + 30 + 10) | 2 | 250 | 30 #defs: 6/6 | 10 (10 + 0) |
10 (10+0) #defs: 9/9 #cls: 10/9 |
0 (0+0) #defs: 5/5 #cls: 4/1 | - | - | - | - | - | - | - | - |
| 168 | TRACER-testabs9.map.c | Gen_PH | 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_PH | unsafe | 131 (71 + 60 + 0) | 1 | 71 | 60 #defs: 8/8 | 0 (0 + 0) |
0 (0+0) #defs: 13/13 #cls: 15/18 | - | - | - | - | - | - | - | - | - |
| 170 | TRACER-testfunc1.map.c | Gen_PH | safe | 151 (71 + 70 + 10) | 1 | 71 | 70 #defs: 8/8 | 10 (10 + 0) |
10 (10+0) #defs: 13/13 #cls: 12/1 | - | - | - | - | - | - | - | - | - |
| 171 | TRACER-testfunc11.map.c | Gen_PH | 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_PH | unsafe | 129 (69 + 50 + 10) | 1 | 69 | 50 #defs: 8/8 | 10 (10 + 0) |
10 (10+0) #defs: 18/18 #cls: 19/14 | - | - | - | - | - | - | - | - | - |
| 173 | TRACER-testfunc13-unsafe.map.c | Gen_PH | unsafe | 190 (70 + 60 + 60) | 2 | 70 | 60 #defs: 9/9 | 60 (50 + 10) |
60 (50+10) #defs: 24/24 #cls: 50/27 |
0 (0+0) #defs: 15/15 #cls: 16/13 | - | - | - | - | - | - | - | - |
| 174 | TRACER-testfunc14.map.c | Gen_PH | safe | 201 (71 + 70 + 60) | 1 | 71 | 70 #defs: 9/9 | 60 (60 + 0) |
60 (60+0) #defs: 24/24 #cls: 49/1 | - | - | - | - | - | - | - | - | - |
| 175 | TRACER-testfunc3.map.c | Gen_PH | 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_PH | 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_PH | safe | 160 (70 + 70 + 20) | 1 | 70 | 70 #defs: 7/7 | 20 (20 + 0) |
20 (20+0) #defs: 22/22 #cls: 23/1 | - | - | - | - | - | - | - | - | - |
| 178 | TRACER-testloop10.map.c | Gen_PH | safe | 150 (70 + 70 + 10) | 1 | 70 | 70 #defs: 8/8 | 10 (10 + 0) |
10 (10+0) #defs: 9/9 #cls: 11/1 | - | - | - | - | - | - | - | - | - |
| 179 | TRACER-testloop11.map.c | Gen_PH | safe | 201 (71 + 80 + 50) | 1 | 71 | 80 #defs: 12/12 | 50 (50 + 0) |
50 (50+0) #defs: 30/30 #cls: 43/1 | - | - | - | - | - | - | - | - | - |
| 180 | TRACER-testloop12.map.c | Gen_PH | safe | 160 (70 + 50 + 40) | 2 | 70 | 50 #defs: 8/8 | 40 (40 + 0) |
30 (30+0) #defs: 17/17 #cls: 21/21 |
10 (10+0) #defs: 7/7 #cls: 6/1 | - | - | - | - | - | - | - | - |
| 181 | TRACER-testloop13.map.c | Gen_PH | safe | 169 (69 + 90 + 10) | 1 | 69 | 90 #defs: 8/8 | 10 (10 + 0) |
10 (10+0) #defs: 10/10 #cls: 12/1 | - | - | - | - | - | - | - | - | - |
| 182 | TRACER-testloop14.map.c | Gen_PH | safe | 159 (69 + 70 + 20) | 1 | 69 | 70 #defs: 10/10 | 20 (20 + 0) |
20 (20+0) #defs: 17/17 #cls: 18/1 | - | - | - | - | - | - | - | - | - |
| 183 | TRACER-testloop15.map.c | Gen_PH | safe | 118 (68 + 40 + 10) | 2 | 68 | 40 #defs: 6/6 | 10 (10 + 0) |
10 (10+0) #defs: 9/9 #cls: 10/9 |
0 (0+0) #defs: 5/5 #cls: 4/1 | - | - | - | - | - | - | - | - |
| 184 | TRACER-testloop16.map.c | Gen_PH | safe | 138 (68 + 50 + 20) | 1 | 68 | 50 #defs: 7/7 | 20 (20 + 0) |
20 (20+0) #defs: 15/15 #cls: 17/1 | - | - | - | - | - | - | - | - | - |
| 185 | TRACER-testloop17.map.c | Gen_PH | safe | 210 (70 + 100 + 40) | 2 | 70 | 100 #defs: 10/10 | 40 (40 + 0) |
30 (30+0) #defs: 16/16 #cls: 20/16 |
10 (10+0) #defs: 5/5 #cls: 4/1 | - | - | - | - | - | - | - | - |
| 186 | TRACER-testloop2.map.c | Gen_PH | safe | 109 (69 + 40 + 0) | 1 | 69 | 40 #defs: 7/7 | 0 (0 + 0) |
0 (0+0) #defs: 10/10 #cls: 11/1 | - | - | - | - | - | - | - | - | - |
| 187 | TRACER-testloop20.map.c | Gen_PH | safe | 181 (71 + 80 + 30) | 1 | 71 | 80 #defs: 12/12 | 30 (30 + 0) |
30 (30+0) #defs: 30/30 #cls: 43/1 | - | - | - | - | - | - | - | - | - |
| 188 | TRACER-testloop21.map.c | Gen_PH | safe | 189 (69 + 60 + 60) | 1 | 69 | 60 #defs: 8/8 | 60 (60 + 0) |
60 (60+0) #defs: 28/28 #cls: 29/1 | - | - | - | - | - | - | - | - | - |
| 189 | TRACER-testloop22.map.c | Gen_PH | 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_PH | unsafe | 159 (69 + 60 + 30) | 2 | 69 | 60 #defs: 7/7 | 30 (20 + 10) |
10 (10+0) #defs: 11/11 #cls: 13/11 |
20 (10+10) #defs: 10/10 #cls: 11/8 | - | - | - | - | - | - | - | - |
| 191 | TRACER-testloop28-unsafe.map.c | Gen_PH | unsafe | 290 (70 + 50 + 170) | 3 | 70 | 50 #defs: 8/8 | 170 (150 + 20) |
40 (40+0) #defs: 17/17 #cls: 22/22 |
30 (20+10) #defs: 30/30 #cls: 36/33 |
100 (90+10) #defs: 50/50 #cls: 59/52 | - | - | - | - | - | - | - |
| 192 | TRACER-testloop29.map.c | Gen_PH | unknown | 408 (68 + 30 + 310) | - | 68 | 30 #defs: 7/7 | 310 (140 + 170) |
10 (10+0) #defs: 13/13 #cls: 15/13 |
20 (10+10) #defs: 15/15 #cls: 17/17 |
10 (10+0) #defs: 19/19 #cls: 21/21 |
20 (20+0) #defs: 23/23 #cls: 25/25 |
20 (10+10) #defs: 27/27 #cls: 29/29 |
20 (10+10) #defs: 31/31 #cls: 33/33 |
40 (20+20) #defs: 35/35 #cls: 37/37 |
40 (10+30) #defs: 39/39 #cls: 41/41 |
60 (20+40) #defs: 43/43 #cls: 45/45 |
70 (20+50) #defs: 47/47 #cls: 49/49 |
| 193 | TRACER-testloop3-unsafe.map.c | Gen_PH | unsafe | 139 (69 + 60 + 10) | 2 | 69 | 60 #defs: 7/7 | 10 (10 + 0) |
10 (10+0) #defs: 10/10 #cls: 12/8 |
0 (0+0) #defs: 11/11 #cls: 14/10 | - | - | - | - | - | - | - | - |
| 194 | TRACER-testloop4.map.c | Gen_PH | safe | 128 (68 + 50 + 10) | 1 | 68 | 50 #defs: 6/6 | 10 (10 + 0) |
10 (10+0) #defs: 8/8 #cls: 9/1 | - | - | - | - | - | - | - | - | - |
| 195 | TRACER-testloop5-unsafe.map.c | Gen_PH | unsafe | 228 (68 + 30 + 130) | 6 | 68 | 30 #defs: 7/7 | 130 (80 + 50) |
20 (10+10) #defs: 12/12 #cls: 13/12 |
10 (10+0) #defs: 15/15 #cls: 16/16 |
10 (0+10) #defs: 19/19 #cls: 20/20 |
30 (20+10) #defs: 23/23 #cls: 24/24 |
30 (20+10) #defs: 28/28 #cls: 30/30 |
30 (20+10) #defs: 32/32 #cls: 34/24 | - | - | - | - |
| 196 | TRACER-testloop6.map.c | Gen_PH | safe | 230 (70 + 110 + 50) | 1 | 70 | 110 #defs: 12/12 | 50 (40 + 10) |
50 (40+10) #defs: 27/27 #cls: 32/1 | - | - | - | - | - | - | - | - | - |
| 197 | TRACER-testloop7.map.c | Gen_PH | safe | 119 (69 + 40 + 10) | 1 | 69 | 40 #defs: 9/9 | 10 (10 + 0) |
10 (10+0) #defs: 15/15 #cls: 16/1 | - | - | - | - | - | - | - | - | - |
| 198 | TRACER-testloop8-unsafe.map.c | Gen_PH | unsafe | 200 (70 + 80 + 50) | 2 | 70 | 80 #defs: 8/8 | 50 (40 + 10) |
20 (20+0) #defs: 14/14 #cls: 22/22 |
30 (20+10) #defs: 26/26 #cls: 37/35 | - | - | - | - | - | - | - | - |
| 199 | TRACER-testloop9.map.c | Gen_PH | safe | 452 (72 + 100 + 280) | 4 | 72 | 100 #defs: 10/10 | 280 (260 + 20) |
30 (30+0) #defs: 26/26 #cls: 37/33 |
120 (110+10) #defs: 54/54 #cls: 73/48 |
110 (100+10) #defs: 45/45 #cls: 60/48 |
20 (20+0) #defs: 18/18 #cls: 17/1 | - | - | - | - | - | - |
| 200 | TRACER-testwp1-unsafe.map.c | Gen_PH | 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_PH | 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_PH | safe | 210 (70 + 90 + 50) | 1 | 70 | 90 #defs: 10/10 | 50 (50 + 0) |
50 (50+0) #defs: 42/42 #cls: 41/1 | - | - | - | - | - | - | - | - | - |
| 203 | TRACER-testwp12.map.c | Gen_PH | safe | 191 (71 + 90 + 30) | 1 | 71 | 90 #defs: 11/11 | 30 (30 + 0) |
30 (30+0) #defs: 34/34 #cls: 33/1 | - | - | - | - | - | - | - | - | - |
| 204 | TRACER-testwp13-unsafe.map.c | Gen_PH | 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_PH | 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_PH | 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_PH | safe | 129 (69 + 60 + 0) | 1 | 69 | 60 #defs: 7/7 | 0 (0 + 0) |
0 (0+0) #defs: 11/11 #cls: 10/1 | - | - | - | - | - | - | - | - | - |
| 208 | TRACER-testwp17.map.c | Gen_PH | 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_PH | safe | 118 (68 + 40 + 10) | 1 | 68 | 40 #defs: 7/7 | 10 (10 + 0) |
10 (10+0) #defs: 10/10 #cls: 9/1 | - | - | - | - | - | - | - | - | - |
| 210 | TRACER-testwp3.map.c | Gen_PH | safe | 118 (68 + 40 + 10) | 1 | 68 | 40 #defs: 6/6 | 10 (10 + 0) |
10 (10+0) #defs: 8/8 #cls: 7/1 | - | - | - | - | - | - | - | - | - |
| 211 | TRACER-testwp4.map.c | Gen_PH | timeout iteration #1 | 2071 (91 + 1980 + 0) | - | 91 | 1980 #defs: 25/25 | 0 (0 + 0) | - | - | - | - | - | - | - | - | - | - |
| 212 | TRACER-testwp5.map.c | Gen_PH | safe | 129 (69 + 50 + 10) | 1 | 69 | 50 #defs: 6/6 | 10 (10 + 0) |
10 (10+0) #defs: 8/8 #cls: 7/1 | - | - | - | - | - | - | - | - | - |
| 213 | TRACER-testwp6.map.c | Gen_PH | safe | 108 (68 + 30 + 10) | 1 | 68 | 30 #defs: 7/7 | 10 (10 + 0) |
10 (10+0) #defs: 10/10 #cls: 9/1 | - | - | - | - | - | - | - | - | - |
| 214 | TRACER-testwp7.map.c | Gen_PH | safe | 129 (69 + 50 + 10) | 1 | 69 | 50 #defs: 7/7 | 10 (10 + 0) |
10 (10+0) #defs: 14/14 #cls: 13/1 | - | - | - | - | - | - | - | - | - |
| 215 | TRACER-testwp8.map.c | Gen_PH | safe | 118 (68 + 50 + 0) | 1 | 68 | 50 #defs: 7/7 | 0 (0 + 0) |
0 (0+0) #defs: 14/14 #cls: 13/1 | - | - | - | - | - | - | - | - | - |
| 216 | TRACER-testwp9.map.c | Gen_PH | safe | 97 (67 + 30 + 0) | 1 | 67 | 30 #defs: 6/6 | 0 (0 + 0) |
0 (0+0) #defs: 6/6 #cls: 5/1 | - | - | - | - | - | - | - | - | - |