# | 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_M | timeout iteration #2 | 172790 (110 + 2950 + 169730) | - | 110 | 2950 #defs: 87/87 | 169730 (169560 + 170) |
169730 (169560+170) #defs: 637/108 #cls: 137/147 | - | - | - | - | - | - | - | - | - |
2 | DAGGER-barbrprime.map.c | Gen_M | safe | 79496 (106 + 2310 + 77080) | 2 | 106 | 2310 #defs: 65/65 | 77080 (77040 + 40) |
66760 (66740+20) #defs: 473/82 #cls: 107/107 |
10320 (10300+20) #defs: 319/317 #cls: 371/1 | - | - | - | - | - | - | - | - |
3 | DAGGER-bk-nat.map.c | Gen_M | safe | 770 (80 + 360 + 330) | 2 | 80 | 360 #defs: 26/26 | 330 (330 + 0) |
250 (250+0) #defs: 72/29 #cls: 36/42 |
80 (80+0) #defs: 33/32 #cls: 34/1 | - | - | - | - | - | - | - | - |
4 | DAGGER-bkley.map.c | Gen_M | safe | 649 (79 + 320 + 250) | 2 | 79 | 320 #defs: 22/22 | 250 (250 + 0) |
190 (190+0) #defs: 59/24 #cls: 30/29 |
60 (60+0) #defs: 19/18 #cls: 20/1 | - | - | - | - | - | - | - | - |
5 | DAGGER-cars.map.c | Gen_M | safe | 11506 (86 + 930 + 10490) | 2 | 86 | 930 #defs: 35/35 | 10490 (10290 + 200) |
1500 (1340+160) #defs: 103/43 #cls: 54/108 |
8990 (8950+40) #defs: 224/169 #cls: 196/1 | - | - | - | - | - | - | - | - |
6 | DAGGER-efm.map.c | Gen_M | unknown | 6919 (89 + 1040 + 5790) | - | 89 | 1040 #defs: 47/47 | 5790 (5430 + 360) |
640 (590+50) #defs: 100/57 #cls: 65/80 |
1760 (1720+40) #defs: 144/114 #cls: 128/62 |
380 (340+40) #defs: 67/57 #cls: 62/62 |
470 (440+30) #defs: 77/57 #cls: 62/62 |
350 (320+30) #defs: 67/57 #cls: 62/62 |
510 (470+40) #defs: 77/57 #cls: 62/62 |
360 (310+50) #defs: 67/57 #cls: 62/62 |
490 (470+20) #defs: 77/57 #cls: 62/62 |
360 (320+40) #defs: 67/57 #cls: 62/62 |
470 (450+20) #defs: 77/57 #cls: 62/62 |
7 | DAGGER-ex1.map.c | Gen_M | safe | 372 (72 + 230 + 70) | 2 | 72 | 230 #defs: 9/9 | 70 (70 + 0) |
40 (40+0) #defs: 24/10 #cls: 14/13 |
30 (30+0) #defs: 12/11 #cls: 14/1 | - | - | - | - | - | - | - | - |
8 | DAGGER-ex2.map.c | Gen_M | timeout iteration #1 | 551 (81 + 470 + 0) | - | 81 | 470 #defs: 27/27 | 0 (0 + 0) | - | - | - | - | - | - | - | - | - | - |
9 | DAGGER-fig1a.map.c | Gen_M | unknown | 421 (71 + 100 + 250) | - | 71 | 100 #defs: 12/12 | 250 (250 + 0) |
30 (30+0) #defs: 27/16 #cls: 20/20 |
20 (20+0) #defs: 20/17 #cls: 21/21 |
30 (30+0) #defs: 23/17 #cls: 21/21 |
20 (20+0) #defs: 20/17 #cls: 21/21 |
30 (30+0) #defs: 23/17 #cls: 21/21 |
20 (20+0) #defs: 20/17 #cls: 21/21 |
30 (30+0) #defs: 23/17 #cls: 21/21 |
20 (20+0) #defs: 20/17 #cls: 21/21 |
30 (30+0) #defs: 23/17 #cls: 21/21 |
20 (20+0) #defs: 20/17 #cls: 21/21 |
10 | DAGGER-fig2.map.c | Gen_M | unknown | 3154 (74 + 200 + 2880) | - | 74 | 200 #defs: 14/14 | 2880 (2870 + 10) |
150 (150+0) #defs: 53/15 #cls: 24/23 |
220 (220+0) #defs: 41/18 #cls: 28/28 |
330 (330+0) #defs: 73/19 #cls: 29/29 |
310 (310+0) #defs: 55/20 #cls: 30/30 |
310 (310+0) #defs: 74/20 #cls: 30/30 |
290 (280+10) #defs: 55/20 #cls: 30/30 |
340 (340+0) #defs: 74/20 #cls: 30/30 |
310 (310+0) #defs: 55/20 #cls: 30/30 |
310 (310+0) #defs: 74/20 #cls: 30/30 |
310 (310+0) #defs: 55/20 #cls: 30/30 |
11 | DAGGER-hsort.map.c | Gen_M | safe | 2955 (85 + 690 + 2180) | 2 | 85 | 690 #defs: 35/35 | 2180 (2150 + 30) |
1650 (1620+30) #defs: 125/38 #cls: 47/49 |
530 (530+0) #defs: 65/63 #cls: 77/1 | - | - | - | - | - | - | - | - |
12 | DAGGER-hsortprime.map.c | Gen_M | safe | 1572 (82 + 480 + 1010) | 2 | 82 | 480 #defs: 25/25 | 1010 (1010 + 0) |
850 (850+0) #defs: 82/27 #cls: 35/34 |
160 (160+0) #defs: 28/27 #cls: 34/1 | - | - | - | - | - | - | - | - |
13 | DAGGER-lifnat.map.c | Gen_M | safe | 45561 (101 + 2050 + 43410) | 2 | 101 | 2050 #defs: 54/54 | 43410 (43270 + 140) |
35520 (35460+60) #defs: 411/61 #cls: 84/92 |
7890 (7810+80) #defs: 244/193 #cls: 237/1 | - | - | - | - | - | - | - | - |
14 | DAGGER-lifnatprime.map.c | Gen_M | unknown | 85428 (98 + 1710 + 83620) | - | 98 | 1710 #defs: 40/40 | 83620 (83400 + 220) |
14810 (14790+20) #defs: 312/46 #cls: 68/71 |
3130 (3110+20) #defs: 145/59 #cls: 81/81 |
9620 (9590+30) #defs: 238/61 #cls: 83/83 |
9960 (9940+20) #defs: 308/62 #cls: 84/84 |
7660 (7620+40) #defs: 196/62 #cls: 84/84 |
5920 (5910+10) #defs: 232/62 #cls: 84/84 |
8970 (8940+30) #defs: 222/62 #cls: 84/84 |
10090 (10080+10) #defs: 308/62 #cls: 84/84 |
7480 (7450+30) #defs: 196/62 #cls: 84/84 |
5980 (5970+10) #defs: 232/62 #cls: 84/84 |
15 | DAGGER-lifo.map.c | Gen_M | safe | 26418 (98 + 1750 + 24570) | 2 | 98 | 1750 #defs: 46/46 | 24570 (24540 + 30) |
19760 (19730+30) #defs: 353/52 #cls: 73/65 |
4810 (4810+0) #defs: 196/139 #cls: 166/1 | - | - | - | - | - | - | - | - |
16 | DAGGER-p2-ok.map.c | Gen_M | timeout iteration #1 | 6130 (120 + 6010 + 0) | - | 120 | 6010 #defs: 146/146 | 0 (0 + 0) | - | - | - | - | - | - | - | - | - | - |
17 | DAGGER-p3-ok.map.c | Gen_M | safe | 52226 (106 + 2030 + 50090) | 2 | 106 | 2030 #defs: 89/89 | 50090 (50020 + 70) |
50040 (49970+70) #defs: 376/153 #cls: 249/233 |
50 (50+0) #defs: 14/14 #cls: 13/1 | - | - | - | - | - | - | - | - |
18 | DAGGER-seesaw.map.c | Gen_M | safe | 988 (78 + 250 + 660) | 2 | 78 | 250 #defs: 23/23 | 660 (650 + 10) |
130 (120+10) #defs: 50/30 #cls: 39/39 |
530 (530+0) #defs: 80/78 #cls: 99/1 | - | - | - | - | - | - | - | - |
19 | DAGGER-substring1.map.c | Gen_M | unknown | 481 (71 + 100 + 310) | - | 71 | 100 #defs: 10/10 | 310 (290 + 20) |
40 (40+0) #defs: 14/11 #cls: 12/11 |
30 (30+0) #defs: 11/10 #cls: 11/11 |
20 (20+0) #defs: 11/10 #cls: 11/11 |
30 (30+0) #defs: 11/10 #cls: 11/11 |
40 (30+10) #defs: 11/10 #cls: 11/11 |
30 (30+0) #defs: 11/10 #cls: 11/11 |
30 (30+0) #defs: 11/10 #cls: 11/11 |
30 (30+0) #defs: 11/10 #cls: 11/11 |
20 (20+0) #defs: 11/10 #cls: 11/11 |
40 (30+10) #defs: 11/10 #cls: 11/11 |
20 | DAGGER-swim.map.c | Gen_M | safe | 44951 (91 + 1760 + 43100) | 2 | 91 | 1760 #defs: 49/49 | 43100 (42840 + 260) |
11670 (11430+240) #defs: 294/55 #cls: 72/70 |
31430 (31410+20) #defs: 359/317 #cls: 401/1 | - | - | - | - | - | - | - | - |
21 | DAGGER-swim1.map.c | Gen_M | safe | 81344 (94 + 2030 + 79220) | 4 | 94 | 2030 #defs: 55/55 | 79220 (77970 + 1250) |
16940 (16670+270) #defs: 331/62 #cls: 80/113 |
5210 (5150+60) #defs: 183/97 #cls: 115/115 |
21220 (20330+890) #defs: 337/97 #cls: 115/115 |
35850 (35820+30) #defs: 412/375 #cls: 465/1 | - | - | - | - | - | - |
22 | INVGEN-apache-escape-absolute.map.c | Gen_M | unknown | 30383 (83 + 820 + 29480) | - | 83 | 820 #defs: 53/53 | 29480 (26150 + 3330) |
1730 (1680+50) #defs: 133/95 #cls: 116/106 |
3380 (2830+550) #defs: 171/127 #cls: 150/148 |
3330 (3150+180) #defs: 161/125 #cls: 140/136 |
2850 (2340+510) #defs: 161/123 #cls: 138/138 |
3160 (2990+170) #defs: 158/123 #cls: 138/136 |
2870 (2360+510) #defs: 161/123 #cls: 138/138 |
3210 (3040+170) #defs: 159/123 #cls: 138/136 |
2870 (2370+500) #defs: 161/123 #cls: 138/138 |
3230 (3050+180) #defs: 158/123 #cls: 138/136 |
2850 (2340+510) #defs: 161/123 #cls: 138/138 |
23 | INVGEN-apache-get-tag.map.c | Gen_M | unknown | 1398 (78 + 410 + 910) | - | 78 | 410 #defs: 45/45 | 910 (870 + 40) |
460 (440+20) #defs: 93/79 #cls: 89/69 |
180 (160+20) #defs: 59/52 #cls: 56/16 |
40 (40+0) #defs: 23/12 #cls: 15/14 |
30 (30+0) #defs: 18/11 #cls: 14/14 |
30 (30+0) #defs: 22/11 #cls: 14/14 |
40 (40+0) #defs: 18/11 #cls: 14/14 |
30 (30+0) #defs: 22/11 #cls: 14/14 |
30 (30+0) #defs: 18/11 #cls: 14/14 |
40 (40+0) #defs: 22/11 #cls: 14/14 |
30 (30+0) #defs: 18/11 #cls: 14/14 |
24 | INVGEN-bind_expands_vars2.map.c | Gen_M | safe | 290 (70 + 140 + 80) | 2 | 70 | 140 #defs: 10/10 | 80 (80 + 0) |
70 (70+0) #defs: 14/10 #cls: 13/13 |
10 (10+0) #defs: 4/4 #cls: 3/1 | - | - | - | - | - | - | - | - |
25 | INVGEN-bound.map.c | Gen_M | safe | 333 (73 + 200 + 60) | 1 | 73 | 200 #defs: 13/13 | 60 (60 + 0) |
60 (60+0) #defs: 25/15 #cls: 18/1 | - | - | - | - | - | - | - | - | - |
26 | INVGEN-down.map.c | Gen_M | unknown | 600 (70 + 70 + 460) | - | 70 | 70 #defs: 7/7 | 460 (450 + 10) |
60 (60+0) #defs: 16/7 #cls: 11/11 |
30 (30+0) #defs: 13/8 #cls: 12/12 |
80 (70+10) #defs: 18/8 #cls: 11/10 |
40 (40+0) #defs: 12/7 #cls: 10/10 |
50 (50+0) #defs: 15/7 #cls: 10/10 |
30 (30+0) #defs: 12/7 #cls: 10/10 |
50 (50+0) #defs: 15/7 #cls: 10/10 |
40 (40+0) #defs: 12/7 #cls: 10/10 |
50 (50+0) #defs: 15/7 #cls: 10/10 |
30 (30+0) #defs: 12/7 #cls: 10/10 |
27 | INVGEN-fragtest_simple.map.c | Gen_M | safe | 324 (74 + 230 + 20) | 1 | 74 | 230 #defs: 10/10 | 20 (20 + 0) |
20 (20+0) #defs: 13/10 #cls: 12/1 | - | - | - | - | - | - | - | - | - |
28 | INVGEN-gulwani_cegar1.map.c | Gen_M | safe | 241 (71 + 110 + 60) | 2 | 71 | 110 #defs: 21/21 | 60 (50 + 10) |
50 (40+10) #defs: 29/25 #cls: 31/19 |
10 (10+0) #defs: 8/8 #cls: 7/1 | - | - | - | - | - | - | - | - |
29 | INVGEN-gulwani_cegar2.map.c | Gen_M | safe | 230 (70 + 80 + 80) | 2 | 70 | 80 #defs: 10/10 | 80 (80 + 0) |
50 (50+0) #defs: 21/11 #cls: 14/13 |
30 (30+0) #defs: 13/11 #cls: 11/1 | - | - | - | - | - | - | - | - |
30 | INVGEN-gulwani_fig1a.map.c | Gen_M | safe | 118 (68 + 40 + 10) | 2 | 68 | 40 #defs: 6/6 | 10 (10 + 0) |
10 (10+0) #defs: 8/7 #cls: 8/7 |
0 (0+0) #defs: 5/5 #cls: 4/1 | - | - | - | - | - | - | - | - |
31 | INVGEN-id_build.map.c | Gen_M | unknown | 550 (70 + 100 + 380) | - | 70 | 100 #defs: 9/9 | 380 (370 + 10) |
30 (30+0) #defs: 18/9 #cls: 13/13 |
40 (40+0) #defs: 18/10 #cls: 14/14 |
40 (40+0) #defs: 22/10 #cls: 13/12 |
40 (40+0) #defs: 17/9 #cls: 12/12 |
30 (30+0) #defs: 21/9 #cls: 12/12 |
40 (40+0) #defs: 17/9 #cls: 12/12 |
40 (40+0) #defs: 21/9 #cls: 12/12 |
40 (30+10) #defs: 17/9 #cls: 12/12 |
40 (40+0) #defs: 21/9 #cls: 12/12 |
40 (40+0) #defs: 17/9 #cls: 12/12 |
32 | INVGEN-ken-imp.map.c | Gen_M | safe | 209 (69 + 80 + 60) | 3 | 69 | 80 #defs: 6/6 | 60 (60 + 0) |
20 (20+0) #defs: 9/6 #cls: 9/11 |
20 (20+0) #defs: 11/8 #cls: 10/10 |
20 (20+0) #defs: 5/4 #cls: 4/1 | - | - | - | - | - | - | - |
33 | INVGEN-MADWiFi-encode_ie_ok.map.c | Gen_M | unknown | 1753 (73 + 210 + 1470) | - | 73 | 210 #defs: 14/14 | 1470 (1430 + 40) |
130 (130+0) #defs: 21/14 #cls: 17/17 |
160 (150+10) #defs: 21/15 #cls: 18/18 |
160 (160+0) #defs: 22/15 #cls: 17/16 |
150 (140+10) #defs: 20/14 #cls: 16/16 |
140 (140+0) #defs: 21/14 #cls: 16/16 |
150 (140+10) #defs: 20/14 #cls: 16/16 |
160 (160+0) #defs: 21/14 #cls: 16/16 |
130 (130+0) #defs: 20/14 #cls: 16/16 |
150 (150+0) #defs: 21/14 #cls: 16/16 |
140 (130+10) #defs: 20/14 #cls: 16/16 |
34 | INVGEN-mergesort.map.c | Gen_M | unknown | 4612 (82 + 1000 + 3530) | - | 82 | 1000 #defs: 14/14 | 3530 (3500 + 30) |
200 (200+0) #defs: 37/14 #cls: 26/26 |
370 (370+0) #defs: 46/17 #cls: 29/29 |
420 (420+0) #defs: 55/17 #cls: 28/27 |
330 (330+0) #defs: 43/16 #cls: 27/27 |
410 (410+0) #defs: 52/16 #cls: 27/27 |
340 (330+10) #defs: 43/16 #cls: 27/27 |
410 (410+0) #defs: 52/16 #cls: 27/27 |
330 (330+0) #defs: 43/16 #cls: 27/27 |
400 (390+10) #defs: 52/16 #cls: 27/27 |
320 (310+10) #defs: 43/16 #cls: 27/27 |
35 | INVGEN-nest-if.map.c | Gen_M | safe | 161 (71 + 80 + 10) | 1 | 71 | 80 #defs: 9/9 | 10 (10 + 0) |
10 (10+0) #defs: 15/8 #cls: 9/1 | - | - | - | - | - | - | - | - | - |
36 | INVGEN-nest-if1.map.c | Gen_M | safe | 652 (72 + 130 + 450) | 3 | 72 | 130 #defs: 12/12 | 450 (440 + 10) |
180 (170+10) #defs: 36/14 #cls: 23/20 |
120 (120+0) #defs: 26/13 #cls: 21/21 |
150 (150+0) #defs: 27/12 #cls: 17/1 | - | - | - | - | - | - | - |
37 | INVGEN-nest-if2.map.c | Gen_M | safe | 371 (71 + 130 + 170) | 1 | 71 | 130 #defs: 12/12 | 170 (170 + 0) |
170 (170+0) #defs: 37/17 #cls: 24/1 | - | - | - | - | - | - | - | - | - |
38 | INVGEN-nest-if3.map.c | Gen_M | safe | 520 (70 + 140 + 310) | 3 | 70 | 140 #defs: 11/11 | 310 (300 + 10) |
110 (100+10) #defs: 26/12 #cls: 19/16 |
110 (110+0) #defs: 23/12 #cls: 18/18 |
90 (90+0) #defs: 22/11 #cls: 14/1 | - | - | - | - | - | - | - |
39 | INVGEN-nest-if4.map.c | Gen_M | safe | 361 (71 + 130 + 160) | 1 | 71 | 130 #defs: 12/12 | 160 (160 + 0) |
160 (160+0) #defs: 33/17 #cls: 24/1 | - | - | - | - | - | - | - | - | - |
40 | INVGEN-nest-if5.map.c | Gen_M | safe | 332 (72 + 120 + 140) | 1 | 72 | 120 #defs: 12/12 | 140 (140 + 0) |
140 (140+0) #defs: 31/17 #cls: 24/1 | - | - | - | - | - | - | - | - | - |
41 | INVGEN-nest-if6.map.c | Gen_M | safe | 1492 (82 + 1100 + 310) | 1 | 82 | 1100 #defs: 20/20 | 310 (310 + 0) |
310 (310+0) #defs: 40/23 #cls: 33/1 | - | - | - | - | - | - | - | - | - |
42 | INVGEN-nest-if7.map.c | Gen_M | safe | 431 (71 + 140 + 220) | 2 | 71 | 140 #defs: 11/11 | 220 (220 + 0) |
100 (100+0) #defs: 29/19 #cls: 27/27 |
120 (120+0) #defs: 26/24 #cls: 25/1 | - | - | - | - | - | - | - | - |
43 | INVGEN-nest-if8.map.c | Gen_M | safe | 533 (73 + 210 + 250) | 2 | 73 | 210 #defs: 15/15 | 250 (240 + 10) |
220 (210+10) #defs: 33/22 #cls: 34/34 |
30 (30+0) #defs: 10/10 #cls: 9/1 | - | - | - | - | - | - | - | - |
44 | INVGEN-nest-len.map.c | Gen_M | safe | 287 (77 + 150 + 60) | 1 | 77 | 150 #defs: 13/13 | 60 (60 + 0) |
60 (60+0) #defs: 30/13 #cls: 20/1 | - | - | - | - | - | - | - | - | - |
45 | INVGEN-nested.map.c | Gen_M | safe | 139 (69 + 50 + 20) | 1 | 69 | 50 #defs: 7/7 | 20 (20 + 0) |
20 (20+0) #defs: 12/7 #cls: 8/1 | - | - | - | - | - | - | - | - | - |
46 | INVGEN-nested1.map.c | Gen_M | safe | 271 (71 + 110 + 90) | 1 | 71 | 110 #defs: 11/11 | 90 (90 + 0) |
90 (90+0) #defs: 26/12 #cls: 15/1 | - | - | - | - | - | - | - | - | - |
47 | INVGEN-nested2.map.c | Gen_M | safe | 251 (71 + 120 + 60) | 1 | 71 | 120 #defs: 11/11 | 60 (60 + 0) |
60 (60+0) #defs: 23/12 #cls: 15/1 | - | - | - | - | - | - | - | - | - |
48 | INVGEN-nested3.map.c | Gen_M | safe | 451 (71 + 100 + 280) | 3 | 71 | 100 #defs: 11/11 | 280 (280 + 0) |
100 (100+0) #defs: 27/12 #cls: 18/15 |
100 (100+0) #defs: 21/11 #cls: 16/16 |
80 (80+0) #defs: 21/10 #cls: 12/1 | - | - | - | - | - | - | - |
49 | INVGEN-nested4.map.c | Gen_M | safe | 471 (71 + 110 + 290) | 3 | 71 | 110 #defs: 11/11 | 290 (290 + 0) |
110 (110+0) #defs: 27/12 #cls: 18/15 |
80 (80+0) #defs: 21/11 #cls: 16/16 |
100 (100+0) #defs: 23/10 #cls: 12/1 | - | - | - | - | - | - | - |
50 | INVGEN-nested5.map.c | Gen_M | unknown | 651 (71 + 100 + 480) | - | 71 | 100 #defs: 8/8 | 480 (470 + 10) |
50 (50+0) #defs: 18/8 #cls: 13/13 |
40 (40+0) #defs: 15/9 #cls: 14/14 |
60 (60+0) #defs: 22/9 #cls: 13/12 |
50 (40+10) #defs: 14/8 #cls: 12/12 |
60 (60+0) #defs: 21/8 #cls: 12/12 |
40 (40+0) #defs: 14/8 #cls: 12/12 |
70 (70+0) #defs: 21/8 #cls: 12/12 |
20 (20+0) #defs: 14/8 #cls: 12/12 |
50 (50+0) #defs: 21/8 #cls: 12/12 |
40 (40+0) #defs: 14/8 #cls: 12/12 |
51 | INVGEN-nested6.map.c | Gen_M | unknown | 2893 (73 + 200 + 2620) | - | 73 | 200 #defs: 14/14 | 2620 (2580 + 40) |
280 (280+0) #defs: 55/14 #cls: 24/24 |
400 (400+0) #defs: 57/18 #cls: 31/31 |
190 (190+0) #defs: 41/27 #cls: 38/35 |
370 (360+10) #defs: 63/34 #cls: 45/45 |
470 (450+20) #defs: 68/31 #cls: 43/43 |
260 (250+10) #defs: 42/26 #cls: 35/27 |
180 (180+0) #defs: 41/18 #cls: 27/27 |
150 (150+0) #defs: 34/18 #cls: 27/27 |
170 (170+0) #defs: 41/18 #cls: 27/27 |
150 (150+0) #defs: 34/18 #cls: 27/27 |
52 | INVGEN-nested7.map.c | Gen_M | unknown | 2929 (79 + 340 + 2510) | - | 79 | 340 #defs: 16/16 | 2510 (2480 + 30) |
280 (270+10) #defs: 47/18 #cls: 30/29 |
360 (350+10) #defs: 47/17 #cls: 29/29 |
130 (130+0) #defs: 32/17 #cls: 29/29 |
310 (310+0) #defs: 44/17 #cls: 29/29 |
180 (170+10) #defs: 38/17 #cls: 29/29 |
320 (320+0) #defs: 41/17 #cls: 29/29 |
110 (110+0) #defs: 32/17 #cls: 29/29 |
320 (320+0) #defs: 44/17 #cls: 29/29 |
180 (180+0) #defs: 38/17 #cls: 29/29 |
320 (320+0) #defs: 41/17 #cls: 29/29 |
53 | INVGEN-nested8.map.c | Gen_M | unknown | 1421 (71 + 180 + 1170) | - | 71 | 180 #defs: 9/9 | 1170 (1170 + 0) |
100 (100+0) #defs: 19/9 #cls: 14/14 |
120 (120+0) #defs: 16/10 #cls: 15/15 |
160 (160+0) #defs: 25/10 #cls: 14/13 |
90 (90+0) #defs: 15/9 #cls: 13/13 |
140 (140+0) #defs: 23/9 #cls: 13/13 |
100 (100+0) #defs: 15/9 #cls: 13/13 |
140 (140+0) #defs: 23/9 #cls: 13/13 |
90 (90+0) #defs: 15/9 #cls: 13/13 |
140 (140+0) #defs: 23/9 #cls: 13/13 |
90 (90+0) #defs: 15/9 #cls: 13/13 |
54 | INVGEN-nested9.map.c | Gen_M | unknown | 1482 (72 + 190 + 1220) | - | 72 | 190 #defs: 9/9 | 1220 (1220 + 0) |
130 (130+0) #defs: 20/9 #cls: 14/14 |
120 (120+0) #defs: 18/10 #cls: 15/15 |
150 (150+0) #defs: 20/10 #cls: 14/13 |
110 (110+0) #defs: 16/9 #cls: 13/13 |
130 (130+0) #defs: 19/9 #cls: 13/13 |
100 (100+0) #defs: 16/9 #cls: 13/13 |
130 (130+0) #defs: 19/9 #cls: 13/13 |
100 (100+0) #defs: 16/9 #cls: 13/13 |
130 (130+0) #defs: 19/9 #cls: 13/13 |
120 (120+0) #defs: 16/9 #cls: 13/13 |
55 | INVGEN-NetBSD_glob3_iny.map.c | Gen_M | safe | 428 (78 + 320 + 30) | 1 | 78 | 320 #defs: 18/18 | 30 (30 + 0) |
30 (30+0) #defs: 17/17 #cls: 18/1 | - | - | - | - | - | - | - | - | - |
56 | INVGEN-NetBSD_g_Ctoc.map.c | Gen_M | unknown | 1403 (73 + 200 + 1130) | - | 73 | 200 #defs: 18/18 | 1130 (1120 + 10) |
90 (90+0) #defs: 31/18 #cls: 25/25 |
160 (150+10) #defs: 34/19 #cls: 26/26 |
80 (80+0) #defs: 32/19 #cls: 25/24 |
120 (120+0) #defs: 33/18 #cls: 24/24 |
100 (100+0) #defs: 31/18 #cls: 24/24 |
130 (130+0) #defs: 33/18 #cls: 24/24 |
100 (100+0) #defs: 31/18 #cls: 24/24 |
130 (130+0) #defs: 33/18 #cls: 24/24 |
90 (90+0) #defs: 31/18 #cls: 24/24 |
130 (130+0) #defs: 33/18 #cls: 24/24 |
57 | INVGEN-NetBSD_loop.map.c | Gen_M | safe | 270 (70 + 140 + 60) | 2 | 70 | 140 #defs: 9/9 | 60 (60 + 0) |
50 (50+0) #defs: 15/9 #cls: 12/12 |
10 (10+0) #defs: 6/6 #cls: 5/1 | - | - | - | - | - | - | - | - |
58 | INVGEN-NetBSD_loop_int.map.c | Gen_M | safe | 392 (72 + 240 + 80) | 2 | 72 | 240 #defs: 11/11 | 80 (80 + 0) |
60 (60+0) #defs: 19/11 #cls: 14/14 |
20 (20+0) #defs: 6/6 #cls: 5/1 | - | - | - | - | - | - | - | - |
59 | INVGEN-rajamani_1.map.c | Gen_M | safe | 463 (73 + 270 + 120) | 2 | 73 | 270 #defs: 12/12 | 120 (120 + 0) |
60 (60+0) #defs: 23/12 #cls: 18/17 |
60 (60+0) #defs: 17/17 #cls: 16/1 | - | - | - | - | - | - | - | - |
60 | INVGEN-sendmail-close-angle.map.c | Gen_M | unknown | 4825 (75 + 370 + 4380) | - | 75 | 370 #defs: 24/24 | 4380 (4270 + 110) |
510 (490+20) #defs: 68/34 #cls: 44/38 |
590 (590+0) #defs: 69/31 #cls: 43/43 |
260 (230+30) #defs: 45/32 #cls: 42/41 |
560 (550+10) #defs: 71/36 #cls: 47/47 |
410 (410+0) #defs: 57/33 #cls: 46/46 |
430 (420+10) #defs: 61/33 #cls: 46/46 |
340 (330+10) #defs: 57/33 #cls: 46/46 |
450 (440+10) #defs: 61/33 #cls: 46/46 |
370 (360+10) #defs: 57/33 #cls: 46/46 |
460 (450+10) #defs: 61/33 #cls: 46/46 |
61 | INVGEN-sendmail-mime-fromqp.map.c | Gen_M | safe | 355 (75 + 250 + 30) | 1 | 75 | 250 #defs: 25/25 | 30 (30 + 0) |
30 (30+0) #defs: 21/21 #cls: 20/1 | - | - | - | - | - | - | - | - | - |
62 | INVGEN-sendmail-mime7to8_arr_three_chars_no_test_ok.map.c | Gen_M | 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_M | unknown | 1317 (77 + 270 + 970) | - | 77 | 270 #defs: 11/11 | 970 (970 + 0) |
270 (270+0) #defs: 81/11 #cls: 19/19 |
70 (70+0) #defs: 24/12 #cls: 20/20 |
100 (100+0) #defs: 39/12 #cls: 19/18 |
90 (90+0) #defs: 28/11 #cls: 18/18 |
80 (80+0) #defs: 32/11 #cls: 18/18 |
70 (70+0) #defs: 28/11 #cls: 18/18 |
80 (80+0) #defs: 32/11 #cls: 18/18 |
80 (80+0) #defs: 28/11 #cls: 18/18 |
60 (60+0) #defs: 32/11 #cls: 18/18 |
70 (70+0) #defs: 28/11 #cls: 18/18 |
64 | INVGEN-seq-proc.map.c | Gen_M | unknown | 2075 (75 + 210 + 1790) | - | 75 | 210 #defs: 9/9 | 1790 (1770 + 20) |
170 (170+0) #defs: 34/9 #cls: 14/14 |
140 (140+0) #defs: 27/13 #cls: 21/21 |
210 (210+0) #defs: 41/17 #cls: 27/27 |
160 (150+10) #defs: 33/17 #cls: 27/27 |
200 (200+0) #defs: 41/17 #cls: 27/27 |
160 (160+0) #defs: 33/17 #cls: 27/27 |
210 (200+10) #defs: 41/17 #cls: 27/27 |
170 (170+0) #defs: 33/17 #cls: 27/27 |
210 (210+0) #defs: 41/17 #cls: 27/27 |
160 (160+0) #defs: 33/17 #cls: 27/27 |
65 | INVGEN-seq-sim.map.c | Gen_M | unknown | 774 (74 + 160 + 540) | - | 74 | 160 #defs: 9/9 | 540 (540 + 0) |
80 (80+0) #defs: 36/9 #cls: 15/15 |
40 (40+0) #defs: 20/10 #cls: 16/16 |
30 (30+0) #defs: 21/10 #cls: 15/14 |
40 (40+0) #defs: 19/9 #cls: 14/14 |
70 (70+0) #defs: 28/9 #cls: 14/14 |
50 (50+0) #defs: 19/9 #cls: 14/14 |
70 (70+0) #defs: 28/9 #cls: 14/14 |
40 (40+0) #defs: 19/9 #cls: 14/14 |
70 (70+0) #defs: 28/9 #cls: 14/14 |
50 (50+0) #defs: 19/9 #cls: 14/14 |
66 | INVGEN-seq-z3.map.c | Gen_M | unknown | 754 (74 + 150 + 530) | - | 74 | 150 #defs: 9/9 | 530 (520 + 10) |
90 (90+0) #defs: 36/9 #cls: 15/15 |
30 (30+0) #defs: 20/10 #cls: 16/16 |
40 (40+0) #defs: 21/10 #cls: 15/14 |
50 (50+0) #defs: 19/9 #cls: 14/14 |
60 (60+0) #defs: 28/9 #cls: 14/14 |
60 (50+10) #defs: 19/9 #cls: 14/14 |
60 (60+0) #defs: 28/9 #cls: 14/14 |
50 (50+0) #defs: 19/9 #cls: 14/14 |
50 (50+0) #defs: 28/9 #cls: 14/14 |
40 (40+0) #defs: 19/9 #cls: 14/14 |
67 | INVGEN-seq.map.c | Gen_M | unknown | 1322 (72 + 120 + 1130) | - | 72 | 120 #defs: 7/7 | 1130 (1120 + 10) |
130 (130+0) #defs: 22/7 #cls: 10/10 |
90 (90+0) #defs: 14/7 #cls: 10/10 |
130 (130+0) #defs: 18/7 #cls: 10/10 |
90 (90+0) #defs: 14/7 #cls: 10/10 |
140 (140+0) #defs: 18/7 #cls: 10/10 |
90 (90+0) #defs: 14/7 #cls: 10/10 |
130 (130+0) #defs: 18/7 #cls: 10/10 |
110 (100+10) #defs: 14/7 #cls: 10/10 |
130 (130+0) #defs: 18/7 #cls: 10/10 |
90 (90+0) #defs: 14/7 #cls: 10/10 |
68 | INVGEN-seq2.map.c | Gen_M | unknown | 2284 (74 + 190 + 2020) | - | 74 | 190 #defs: 9/9 | 2020 (1990 + 30) |
230 (230+0) #defs: 34/9 #cls: 14/14 |
180 (180+0) #defs: 27/13 #cls: 21/21 |
240 (240+0) #defs: 41/17 #cls: 27/27 |
160 (160+0) #defs: 33/17 #cls: 27/27 |
240 (230+10) #defs: 41/17 #cls: 27/27 |
180 (180+0) #defs: 33/17 #cls: 27/27 |
230 (230+0) #defs: 41/17 #cls: 27/27 |
180 (170+10) #defs: 33/17 #cls: 27/27 |
210 (210+0) #defs: 41/17 #cls: 27/27 |
170 (160+10) #defs: 33/17 #cls: 27/27 |
69 | INVGEN-seq3.map.c | Gen_M | unknown | 2144 (74 + 230 + 1840) | - | 74 | 230 #defs: 9/9 | 1840 (1840 + 0) |
410 (410+0) #defs: 46/9 #cls: 15/15 |
130 (130+0) #defs: 20/10 #cls: 16/16 |
140 (140+0) #defs: 21/10 #cls: 15/14 |
130 (130+0) #defs: 19/9 #cls: 14/14 |
240 (240+0) #defs: 28/9 #cls: 14/14 |
100 (100+0) #defs: 19/9 #cls: 14/14 |
220 (220+0) #defs: 28/9 #cls: 14/14 |
130 (130+0) #defs: 19/9 #cls: 14/14 |
230 (230+0) #defs: 28/9 #cls: 14/14 |
110 (110+0) #defs: 19/9 #cls: 14/14 |
70 | INVGEN-seq4.map.c | Gen_M | unknown | 1273 (73 + 230 + 970) | - | 73 | 230 #defs: 9/9 | 970 (950 + 20) |
270 (270+0) #defs: 41/9 #cls: 15/13 |
90 (80+10) #defs: 15/9 #cls: 14/14 |
100 (100+0) #defs: 21/9 #cls: 13/12 |
70 (70+0) #defs: 14/8 #cls: 12/12 |
80 (80+0) #defs: 18/8 #cls: 12/12 |
50 (50+0) #defs: 14/8 #cls: 12/12 |
80 (80+0) #defs: 18/8 #cls: 12/12 |
50 (50+0) #defs: 14/8 #cls: 12/12 |
110 (100+10) #defs: 18/8 #cls: 12/12 |
70 (70+0) #defs: 14/8 #cls: 12/12 |
71 | INVGEN-simple.map.c | Gen_M | safe | 128 (68 + 40 + 20) | 2 | 68 | 40 #defs: 9/9 | 20 (10 + 10) |
20 (10+10) #defs: 12/11 #cls: 13/9 |
0 (0+0) #defs: 5/5 #cls: 4/1 | - | - | - | - | - | - | - | - |
72 | INVGEN-simple_if.map.c | Gen_M | safe | 128 (68 + 50 + 10) | 1 | 68 | 50 #defs: 7/7 | 10 (10 + 0) |
10 (10+0) #defs: 11/7 #cls: 8/1 | - | - | - | - | - | - | - | - | - |
73 | INVGEN-simple_nest.map.c | Gen_M | safe | 109 (69 + 30 + 10) | 1 | 69 | 30 #defs: 8/8 | 10 (10 + 0) |
10 (10+0) #defs: 12/8 #cls: 9/1 | - | - | - | - | - | - | - | - | - |
74 | INVGEN-SpamAssassin-loop.map.c | Gen_M | safe | 1579 (79 + 520 + 980) | 2 | 79 | 520 #defs: 42/42 | 980 (950 + 30) |
320 (310+10) #defs: 61/45 #cls: 59/59 |
660 (640+20) #defs: 82/82 #cls: 81/1 | - | - | - | - | - | - | - | - |
75 | INVGEN-SpamAssassin-loop_ok.map.c | Gen_M | safe | 282 (72 + 160 + 50) | 1 | 72 | 160 #defs: 12/12 | 50 (50 + 0) |
50 (50+0) #defs: 20/12 #cls: 17/1 | - | - | - | - | - | - | - | - | - |
76 | INVGEN-split.map.c | Gen_M | unknown | 590 (70 + 130 + 390) | - | 70 | 130 #defs: 7/7 | 390 (350 + 40) |
40 (30+10) #defs: 15/9 #cls: 13/13 |
30 (30+0) #defs: 15/10 #cls: 14/14 |
40 (40+0) #defs: 17/10 #cls: 14/14 |
30 (30+0) #defs: 16/10 #cls: 14/14 |
40 (40+0) #defs: 16/10 #cls: 14/14 |
50 (50+0) #defs: 18/10 #cls: 14/14 |
30 (20+10) #defs: 16/10 #cls: 14/14 |
50 (40+10) #defs: 18/10 #cls: 14/14 |
30 (20+10) #defs: 16/10 #cls: 14/14 |
50 (50+0) #defs: 18/10 #cls: 14/14 |
77 | INVGEN-string_concat-noarr.map.c | Gen_M | safe | 160 (70 + 80 + 10) | 1 | 70 | 80 #defs: 11/11 | 10 (10 + 0) |
10 (10+0) #defs: 16/10 #cls: 12/1 | - | - | - | - | - | - | - | - | - |
78 | INVGEN-svd-some-loop.map.c (*) | Gen_M | unknown | 860604 (84 + 770 + 859750) | - | 84 | 770 #defs: 55/55 | 859750 (854260 + 5490) |
7840 (7810+30) #defs: 266/112 #cls: 216/216 |
90470 (90320+150) #defs: 668/234 #cls: 347/285 |
41350 (41080+270) #defs: 409/202 #cls: 298/289 |
65440 (65230+210) #defs: 653/321 #cls: 397/367 |
169960 (168870+1090) #defs: 610/291 #cls: 367/367 |
76200 (75980+220) #defs: 631/293 #cls: 369/369 |
129550 (128550+1000) #defs: 576/278 #cls: 349/349 |
56030 (55320+710) #defs: 550/290 #cls: 357/349 |
122950 (121990+960) #defs: 569/281 #cls: 344/339 |
99960 (99110+850) #defs: 616/289 #cls: 357/350 |
79 | INVGEN-svd1.map.c | Gen_M | unknown | 111655 (85 + 830 + 110740) | - | 85 | 830 #defs: 62/62 | 110740 (110310 + 430) |
9830 (9790+40) #defs: 251/117 #cls: 171/168 |
12520 (12450+70) #defs: 287/149 #cls: 194/176 |
17360 (17300+60) #defs: 289/131 #cls: 163/152 |
9440 (9390+50) #defs: 258/120 #cls: 152/152 |
10850 (10830+20) #defs: 261/120 #cls: 152/152 |
9600 (9550+50) #defs: 258/120 #cls: 152/152 |
10900 (10880+20) #defs: 261/120 #cls: 152/152 |
9180 (9130+50) #defs: 250/120 #cls: 152/152 |
11720 (11700+20) #defs: 272/120 #cls: 152/152 |
9340 (9290+50) #defs: 250/120 #cls: 152/152 |
80 | INVGEN-svd2.map.c | Gen_M | safe | 1006 (76 + 300 + 630) | 1 | 76 | 300 #defs: 18/18 | 630 (630 + 0) |
630 (630+0) #defs: 60/29 #cls: 44/1 | - | - | - | - | - | - | - | - | - |
81 | INVGEN-svd3.map.c | Gen_M | safe | 1345 (75 + 230 + 1040) | 3 | 75 | 230 #defs: 15/15 | 1040 (1040 + 0) |
390 (390+0) #defs: 48/23 #cls: 42/39 |
330 (330+0) #defs: 50/28 #cls: 45/45 |
320 (320+0) #defs: 48/26 #cls: 37/1 | - | - | - | - | - | - | - |
82 | INVGEN-svd4.map.c | Gen_M | timeout iteration #3 | 175791 (91 + 1220 + 174480) | - | 91 | 1220 #defs: 83/83 | 174480 (173360 + 1120) |
22680 (22630+50) #defs: 317/93 #cls: 195/192 |
151800 (150730+1070) #defs: 828/445 #cls: 578/300 | - | - | - | - | - | - | - | - |
83 | INVGEN-up-nd.map.c | Gen_M | unknown | 531 (71 + 90 + 370) | - | 71 | 90 #defs: 8/8 | 370 (370 + 0) |
30 (30+0) #defs: 14/8 #cls: 11/11 |
40 (40+0) #defs: 15/8 #cls: 11/11 |
30 (30+0) #defs: 13/8 #cls: 11/11 |
50 (50+0) #defs: 15/8 #cls: 11/11 |
30 (30+0) #defs: 13/8 #cls: 11/11 |
50 (50+0) #defs: 15/8 #cls: 11/11 |
30 (30+0) #defs: 13/8 #cls: 11/11 |
40 (40+0) #defs: 15/8 #cls: 11/11 |
30 (30+0) #defs: 13/8 #cls: 11/11 |
40 (40+0) #defs: 15/8 #cls: 11/11 |
84 | INVGEN-up-nested.map.c | Gen_M | safe | 180 (70 + 90 + 20) | 1 | 70 | 90 #defs: 12/12 | 20 (20 + 0) |
20 (20+0) #defs: 13/12 #cls: 13/1 | - | - | - | - | - | - | - | - | - |
85 | INVGEN-up.map.c | Gen_M | unknown | 540 (70 + 90 + 380) | - | 70 | 90 #defs: 7/7 | 380 (380 + 0) |
40 (40+0) #defs: 16/7 #cls: 11/11 |
40 (40+0) #defs: 13/8 #cls: 12/12 |
60 (60+0) #defs: 18/8 #cls: 11/10 |
20 (20+0) #defs: 12/7 #cls: 10/10 |
50 (50+0) #defs: 15/7 #cls: 10/10 |
40 (40+0) #defs: 12/7 #cls: 10/10 |
40 (40+0) #defs: 15/7 #cls: 10/10 |
30 (30+0) #defs: 12/7 #cls: 10/10 |
30 (30+0) #defs: 15/7 #cls: 10/10 |
30 (30+0) #defs: 12/7 #cls: 10/10 |
86 | INVGEN-up2.map.c | Gen_M | unknown | 370 (70 + 70 + 230) | - | 70 | 70 #defs: 6/6 | 230 (220 + 10) |
20 (20+0) #defs: 10/6 #cls: 8/8 |
30 (30+0) #defs: 10/6 #cls: 8/8 |
20 (20+0) #defs: 9/6 #cls: 8/8 |
30 (30+0) #defs: 10/6 #cls: 8/8 |
20 (20+0) #defs: 9/6 #cls: 8/8 |
30 (20+10) #defs: 10/6 #cls: 8/8 |
20 (20+0) #defs: 9/6 #cls: 8/8 |
20 (20+0) #defs: 10/6 #cls: 8/8 |
20 (20+0) #defs: 9/6 #cls: 8/8 |
20 (20+0) #defs: 10/6 #cls: 8/8 |
87 | INVGEN-up3.map.c | Gen_M | unknown | 361 (71 + 60 + 230) | - | 71 | 60 #defs: 6/6 | 230 (220 + 10) |
20 (20+0) #defs: 10/6 #cls: 8/8 |
40 (30+10) #defs: 10/6 #cls: 8/8 |
20 (20+0) #defs: 9/6 #cls: 8/8 |
20 (20+0) #defs: 10/6 #cls: 8/8 |
10 (10+0) #defs: 9/6 #cls: 8/8 |
30 (30+0) #defs: 10/6 #cls: 8/8 |
20 (20+0) #defs: 9/6 #cls: 8/8 |
30 (30+0) #defs: 10/6 #cls: 8/8 |
20 (20+0) #defs: 9/6 #cls: 8/8 |
20 (20+0) #defs: 10/6 #cls: 8/8 |
88 | INVGEN-up4.map.c | Gen_M | unknown | 330 (70 + 60 + 200) | - | 70 | 60 #defs: 6/6 | 200 (200 + 0) |
20 (20+0) #defs: 10/6 #cls: 8/8 |
20 (20+0) #defs: 10/6 #cls: 8/8 |
20 (20+0) #defs: 9/6 #cls: 8/8 |
10 (10+0) #defs: 10/6 #cls: 8/8 |
20 (20+0) #defs: 9/6 #cls: 8/8 |
20 (20+0) #defs: 10/6 #cls: 8/8 |
20 (20+0) #defs: 9/6 #cls: 8/8 |
20 (20+0) #defs: 10/6 #cls: 8/8 |
20 (20+0) #defs: 9/6 #cls: 8/8 |
30 (30+0) #defs: 10/6 #cls: 8/8 |
89 | INVGEN-up5.map.c | Gen_M | unknown | 340 (70 + 70 + 200) | - | 70 | 70 #defs: 6/6 | 200 (190 + 10) |
10 (10+0) #defs: 10/6 #cls: 8/8 |
40 (30+10) #defs: 10/6 #cls: 8/8 |
20 (20+0) #defs: 9/6 #cls: 8/8 |
10 (10+0) #defs: 10/6 #cls: 8/8 |
20 (20+0) #defs: 9/6 #cls: 8/8 |
20 (20+0) #defs: 10/6 #cls: 8/8 |
20 (20+0) #defs: 9/6 #cls: 8/8 |
20 (20+0) #defs: 10/6 #cls: 8/8 |
20 (20+0) #defs: 9/6 #cls: 8/8 |
20 (20+0) #defs: 10/6 #cls: 8/8 |
90 | MAP-CPA-example.map.c | Gen_M | safe | 199 (69 + 50 + 80) | 2 | 69 | 50 #defs: 7/7 | 80 (70 + 10) |
20 (10+10) #defs: 10/7 #cls: 12/13 |
60 (60+0) #defs: 18/18 #cls: 17/1 | - | - | - | - | - | - | - | - |
91 | MAP-disj.map.c | Gen_M | unknown | 350 (130 + 40 + 180) | - | 130 | 40 #defs: 7/7 | 180 (160 + 20) |
20 (20+0) #defs: 13/7 #cls: 10/11 |
20 (20+0) #defs: 11/8 #cls: 11/11 |
20 (20+0) #defs: 13/8 #cls: 11/11 |
10 (10+0) #defs: 11/8 #cls: 11/11 |
20 (10+10) #defs: 13/8 #cls: 11/11 |
20 (20+0) #defs: 11/8 #cls: 11/11 |
20 (10+10) #defs: 13/8 #cls: 11/11 |
20 (20+0) #defs: 11/8 #cls: 11/11 |
20 (20+0) #defs: 13/8 #cls: 11/11 |
10 (10+0) #defs: 11/8 #cls: 11/11 |
92 | MAP-forward.map.c | Gen_M | unknown | 761 (71 + 200 + 490) | - | 71 | 200 #defs: 10/10 | 490 (460 + 30) |
30 (30+0) #defs: 15/11 #cls: 16/14 |
60 (60+0) #defs: 16/11 #cls: 15/15 |
50 (40+10) #defs: 15/11 #cls: 15/15 |
60 (60+0) #defs: 16/11 #cls: 15/15 |
30 (30+0) #defs: 15/11 #cls: 15/15 |
70 (60+10) #defs: 16/11 #cls: 15/15 |
40 (40+0) #defs: 15/11 #cls: 15/15 |
70 (60+10) #defs: 16/11 #cls: 15/15 |
30 (30+0) #defs: 15/11 #cls: 15/15 |
50 (50+0) #defs: 16/11 #cls: 15/15 |
93 | MAP-interpolants_needed-pepm-proc.c.map.c | Gen_M | safe | 281 (71 + 80 + 130) | 2 | 71 | 80 #defs: 11/11 | 130 (130 + 0) |
20 (20+0) #defs: 22/12 #cls: 20/20 |
110 (110+0) #defs: 27/20 #cls: 27/1 | - | - | - | - | - | - | - | - |
94 | MAP-pepm-scp-example1.c.map.c | Gen_M | unknown | 290 (70 + 80 + 140) | - | 70 | 80 #defs: 9/9 | 140 (120 + 20) |
10 (10+0) #defs: 15/10 #cls: 13/10 |
30 (20+10) #defs: 11/8 #cls: 10/10 |
10 (10+0) #defs: 11/8 #cls: 10/10 |
20 (10+10) #defs: 11/8 #cls: 10/10 |
10 (10+0) #defs: 11/8 #cls: 10/10 |
20 (20+0) #defs: 11/8 #cls: 10/10 |
10 (10+0) #defs: 11/8 #cls: 10/10 |
10 (10+0) #defs: 11/8 #cls: 10/10 |
10 (10+0) #defs: 11/8 #cls: 10/10 |
10 (10+0) #defs: 11/8 #cls: 10/10 |
95 | MAP-pepm-scp-example2.c.map.c | Gen_M | safe | 149 (69 + 50 + 30) | 2 | 69 | 50 #defs: 7/7 | 30 (30 + 0) |
20 (20+0) #defs: 12/8 #cls: 9/8 |
10 (10+0) #defs: 5/5 #cls: 4/1 | - | - | - | - | - | - | - | - |
96 | MAP-re1-LOPSTR-pepm-proc.c.map.c | Gen_M | safe | 190 (70 + 80 + 40) | 2 | 70 | 80 #defs: 9/9 | 40 (30 + 10) |
30 (20+10) #defs: 15/10 #cls: 13/10 |
10 (10+0) #defs: 8/5 #cls: 6/1 | - | - | - | - | - | - | - | - |
97 | MAP-selection_sort-pepm-proc.c.map.c | Gen_M | safe | 996 (76 + 200 + 720) | 2 | 76 | 200 #defs: 19/19 | 720 (710 + 10) |
210 (200+10) #defs: 47/33 #cls: 49/46 |
510 (510+0) #defs: 57/53 #cls: 58/1 | - | - | - | - | - | - | - | - |
98 | MAP-singleloop2-pepm-proc.c.map.c | Gen_M | unknown | 360 (70 + 70 + 220) | - | 70 | 70 #defs: 9/9 | 220 (220 + 0) |
20 (20+0) #defs: 15/10 #cls: 13/10 |
20 (20+0) #defs: 12/8 #cls: 10/10 |
30 (30+0) #defs: 12/8 #cls: 10/10 |
20 (20+0) #defs: 12/8 #cls: 10/10 |
30 (30+0) #defs: 12/8 #cls: 10/10 |
20 (20+0) #defs: 12/8 #cls: 10/10 |
20 (20+0) #defs: 12/8 #cls: 10/10 |
20 (20+0) #defs: 12/8 #cls: 10/10 |
20 (20+0) #defs: 12/8 #cls: 10/10 |
20 (20+0) #defs: 12/8 #cls: 10/10 |
99 | SVCOMP13-locks-test_locks_10_safe.map.c | Gen_M | 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_M | 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_M | 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_M | 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_M | 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_M | 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_M | unknown | 279 (69 + 50 + 160) | - | 69 | 50 #defs: 7/7 | 160 (160 + 0) |
30 (30+0) #defs: 12/9 #cls: 11/11 |
20 (20+0) #defs: 10/9 #cls: 11/11 |
10 (10+0) #defs: 10/9 #cls: 11/11 |
10 (10+0) #defs: 10/9 #cls: 11/11 |
10 (10+0) #defs: 10/9 #cls: 11/11 |
20 (20+0) #defs: 10/9 #cls: 11/11 |
20 (20+0) #defs: 10/9 #cls: 11/11 |
20 (20+0) #defs: 10/9 #cls: 11/11 |
10 (10+0) #defs: 10/9 #cls: 11/11 |
10 (10+0) #defs: 10/9 #cls: 11/11 |
106 | SVCOMP13-loops-count_up_down_unsafe.map.c | Gen_M | unknown | 310 (70 + 80 + 160) | - | 70 | 80 #defs: 7/7 | 160 (150 + 10) |
30 (30+0) #defs: 12/9 #cls: 10/8 |
20 (20+0) #defs: 8/7 #cls: 8/8 |
20 (20+0) #defs: 9/7 #cls: 8/8 |
10 (10+0) #defs: 8/7 #cls: 8/8 |
10 (10+0) #defs: 9/7 #cls: 8/8 |
20 (20+0) #defs: 8/7 #cls: 8/8 |
20 (10+10) #defs: 9/7 #cls: 8/8 |
10 (10+0) #defs: 8/7 #cls: 8/8 |
20 (20+0) #defs: 9/7 #cls: 8/8 |
0 (0+0) #defs: 8/7 #cls: 8/8 |
107 | SVCOMP13-loops-for_bounded_loop1_unsafe.map.c | Gen_M | unknown | 3122 (72 + 200 + 2850) | - | 72 | 200 #defs: 18/18 | 2850 (2800 + 50) |
200 (200+0) #defs: 49/21 #cls: 36/31 |
430 (430+0) #defs: 69/20 #cls: 33/33 |
280 (260+20) #defs: 51/26 #cls: 48/48 |
600 (590+10) #defs: 89/40 #cls: 56/34 |
220 (210+10) #defs: 46/21 #cls: 34/34 |
160 (150+10) #defs: 40/21 #cls: 34/34 |
210 (210+0) #defs: 48/21 #cls: 34/34 |
270 (270+0) #defs: 54/21 #cls: 34/34 |
200 (200+0) #defs: 46/21 #cls: 34/34 |
280 (280+0) #defs: 54/21 #cls: 34/34 |
108 | SVCOMP13-loops-for_infinite_loop_1_safe.map.c | Gen_M | safe | 179 (69 + 80 + 30) | 1 | 69 | 80 #defs: 10/10 | 30 (30 + 0) |
30 (30+0) #defs: 14/11 #cls: 12/1 | - | - | - | - | - | - | - | - | - |
109 | SVCOMP13-loops-for_infinite_loop_2_safe.map.c | Gen_M | safe | 159 (69 + 70 + 20) | 1 | 69 | 70 #defs: 10/10 | 20 (20 + 0) |
20 (20+0) #defs: 14/11 #cls: 12/1 | - | - | - | - | - | - | - | - | - |
110 | SVCOMP13-loops-kundu_unsafe.map.c | Gen_M | timeout iteration #1 | 5383 (123 + 5260 + 0) | - | 123 | 5260 #defs: 93/93 | 0 (0 + 0) | - | - | - | - | - | - | - | - | - | - |
111 | SVCOMP13-loops-pc_sfifo_1_safe.map.c | Gen_M | timeout iteration #3 | 57807 (107 + 3110 + 54590) | - | 107 | 3110 #defs: 59/59 | 54590 (53800 + 790) |
10570 (10540+30) #defs: 232/79 #cls: 119/117 |
44020 (43260+760) #defs: 513/275 #cls: 375/375 | - | - | - | - | - | - | - | - |
112 | SVCOMP13-loops-pc_sfifo_2_unsafe.map.c | Gen_M | timeout iteration #1 | 4309 (119 + 4190 + 0) | - | 119 | 4190 #defs: 82/82 | 0 (0 + 0) | - | - | - | - | - | - | - | - | - | - |
113 | SVCOMP13-loops-sum01_bug02_sum01_bug02_basease_unsafe.c.map.c | Gen_M | unknown | 992 (72 + 110 + 810) | - | 72 | 110 #defs: 10/10 | 810 (750 + 60) |
160 (150+10) #defs: 28/19 #cls: 24/23 |
70 (70+0) #defs: 23/18 #cls: 23/23 |
70 (50+20) #defs: 22/18 #cls: 23/23 |
70 (70+0) #defs: 23/18 #cls: 23/23 |
60 (50+10) #defs: 22/18 #cls: 23/23 |
70 (70+0) #defs: 23/18 #cls: 23/23 |
80 (70+10) #defs: 22/18 #cls: 23/23 |
70 (70+0) #defs: 23/18 #cls: 23/23 |
80 (70+10) #defs: 22/18 #cls: 23/23 |
80 (80+0) #defs: 23/18 #cls: 23/23 |
114 | SVCOMP13-loops-sum01_bug02_unsafe.map.c | Gen_M | unknown | 1134 (74 + 140 + 920) | - | 74 | 140 #defs: 10/10 | 920 (850 + 70) |
110 (100+10) #defs: 22/17 #cls: 20/17 |
150 (140+10) #defs: 24/14 #cls: 17/17 |
50 (40+10) #defs: 16/14 #cls: 17/17 |
80 (70+10) #defs: 18/14 #cls: 17/17 |
60 (50+10) #defs: 16/14 #cls: 17/17 |
130 (130+0) #defs: 24/14 #cls: 17/17 |
60 (50+10) #defs: 16/14 #cls: 17/17 |
70 (70+0) #defs: 18/14 #cls: 17/17 |
60 (60+0) #defs: 16/14 #cls: 17/17 |
150 (140+10) #defs: 24/14 #cls: 17/17 |
115 | SVCOMP13-loops-sum01_safe.map.c | Gen_M | unknown | 781 (71 + 100 + 610) | - | 71 | 100 #defs: 9/9 | 610 (560 + 50) |
140 (130+10) #defs: 25/18 #cls: 20/15 |
60 (60+0) #defs: 17/13 #cls: 15/15 |
40 (40+0) #defs: 14/13 #cls: 15/15 |
70 (60+10) #defs: 15/13 #cls: 15/15 |
40 (30+10) #defs: 14/13 #cls: 15/15 |
50 (50+0) #defs: 17/13 #cls: 15/15 |
50 (40+10) #defs: 14/13 #cls: 15/15 |
40 (40+0) #defs: 15/13 #cls: 15/15 |
50 (40+10) #defs: 14/13 #cls: 15/15 |
70 (70+0) #defs: 17/13 #cls: 15/15 |
116 | SVCOMP13-loops-sum01_unsafe.map.c | Gen_M | unknown | 911 (71 + 110 + 730) | - | 71 | 110 #defs: 10/10 | 730 (680 + 50) |
100 (90+10) #defs: 22/17 #cls: 20/17 |
110 (110+0) #defs: 24/14 #cls: 17/17 |
40 (30+10) #defs: 16/14 #cls: 17/17 |
60 (60+0) #defs: 18/14 #cls: 17/17 |
50 (50+0) #defs: 16/14 #cls: 17/17 |
100 (100+0) #defs: 24/14 #cls: 17/17 |
50 (40+10) #defs: 16/14 #cls: 17/17 |
60 (60+0) #defs: 18/14 #cls: 17/17 |
40 (30+10) #defs: 16/14 #cls: 17/17 |
120 (110+10) #defs: 24/14 #cls: 17/17 |
117 | SVCOMP13-loops-sum03_safe.map.c | Gen_M | unknown | 761 (71 + 140 + 550) | - | 71 | 140 #defs: 10/10 | 550 (550 + 0) |
50 (50+0) #defs: 16/11 #cls: 15/15 |
70 (70+0) #defs: 17/13 #cls: 18/18 |
70 (70+0) #defs: 20/15 #cls: 18/14 |
40 (40+0) #defs: 15/11 #cls: 14/14 |
50 (50+0) #defs: 17/11 #cls: 14/14 |
50 (50+0) #defs: 15/11 #cls: 14/14 |
60 (60+0) #defs: 17/11 #cls: 14/14 |
50 (50+0) #defs: 15/11 #cls: 14/14 |
60 (60+0) #defs: 17/11 #cls: 14/14 |
50 (50+0) #defs: 15/11 #cls: 14/14 |
118 | SVCOMP13-loops-sum03_unsafe.map.c | Gen_M | unknown | 1451 (71 + 190 + 1190) | - | 71 | 190 #defs: 11/11 | 1190 (1190 + 0) |
160 (160+0) #defs: 28/14 #cls: 23/23 |
90 (90+0) #defs: 23/17 #cls: 29/29 |
210 (210+0) #defs: 37/23 #cls: 31/23 |
80 (80+0) #defs: 21/15 #cls: 23/23 |
140 (140+0) #defs: 29/15 #cls: 23/23 |
70 (70+0) #defs: 21/15 #cls: 23/23 |
130 (130+0) #defs: 29/15 #cls: 23/23 |
80 (80+0) #defs: 21/15 #cls: 23/23 |
150 (150+0) #defs: 29/15 #cls: 23/23 |
80 (80+0) #defs: 21/15 #cls: 23/23 |
119 | SVCOMP13-loops-sum04_safe.map.c | Gen_M | unknown | 260 (70 + 50 + 140) | - | 70 | 50 #defs: 8/8 | 140 (140 + 0) |
30 (30+0) #defs: 16/15 #cls: 17/14 |
10 (10+0) #defs: 15/12 #cls: 14/14 |
20 (20+0) #defs: 13/12 #cls: 14/14 |
10 (10+0) #defs: 13/12 #cls: 14/14 |
10 (10+0) #defs: 13/12 #cls: 14/14 |
20 (20+0) #defs: 15/12 #cls: 14/14 |
10 (10+0) #defs: 13/12 #cls: 14/14 |
10 (10+0) #defs: 13/12 #cls: 14/14 |
10 (10+0) #defs: 13/12 #cls: 14/14 |
10 (10+0) #defs: 15/12 #cls: 14/14 |
120 | SVCOMP13-loops-sum04_unsafe.map.c | Gen_M | unknown | 350 (70 + 40 + 240) | - | 70 | 40 #defs: 9/9 | 240 (210 + 30) |
30 (20+10) #defs: 18/16 #cls: 19/16 |
30 (30+0) #defs: 21/13 #cls: 16/16 |
20 (20+0) #defs: 15/13 #cls: 16/16 |
20 (20+0) #defs: 16/13 #cls: 16/16 |
20 (20+0) #defs: 15/13 #cls: 16/16 |
30 (30+0) #defs: 21/13 #cls: 16/16 |
20 (20+0) #defs: 15/13 #cls: 16/16 |
10 (0+10) #defs: 16/13 #cls: 16/16 |
30 (20+10) #defs: 15/13 #cls: 16/16 |
30 (30+0) #defs: 21/13 #cls: 16/16 |
121 | SVCOMP13-loops-terminator_02_safe.map.c | Gen_M | 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_M | unsafe | 932 (72 + 120 + 740) | 3 | 72 | 120 #defs: 12/12 | 740 (710 + 30) |
150 (150+0) #defs: 31/14 #cls: 18/18 |
150 (140+10) #defs: 29/22 #cls: 29/29 |
440 (420+20) #defs: 64/31 #cls: 38/36 | - | - | - | - | - | - | - |
123 | SVCOMP13-loops-terminator_03_safe.map.c | Gen_M | safe | 191 (71 + 80 + 40) | 1 | 71 | 80 #defs: 12/12 | 40 (40 + 0) |
40 (40+0) #defs: 21/15 #cls: 15/1 | - | - | - | - | - | - | - | - | - |
124 | SVCOMP13-loops-terminator_03_unsafe.map.c | Gen_M | unknown | 437 (77 + 70 + 290) | - | 77 | 70 #defs: 12/12 | 290 (260 + 30) |
50 (50+0) #defs: 19/14 #cls: 15/12 |
40 (30+10) #defs: 14/11 #cls: 12/12 |
20 (20+0) #defs: 13/11 #cls: 12/12 |
20 (20+0) #defs: 13/11 #cls: 12/12 |
20 (20+0) #defs: 13/11 #cls: 12/12 |
30 (30+0) #defs: 13/11 #cls: 12/12 |
30 (20+10) #defs: 13/11 #cls: 12/12 |
30 (30+0) #defs: 13/11 #cls: 12/12 |
30 (20+10) #defs: 13/11 #cls: 12/12 |
20 (20+0) #defs: 13/11 #cls: 12/12 |
125 | SVCOMP13-loops-token_ring01_safe.map.c | Gen_M | timeout iteration #1 | 4117 (117 + 4000 + 0) | - | 117 | 4000 #defs: 116/116 | 0 (0 + 0) | - | - | - | - | - | - | - | - | - | - |
126 | SVCOMP13-loops-token_ring01_unsafe.map.c | Gen_M | timeout iteration #2 | 207315 (125 + 6220 + 200970) | - | 125 | 6220 #defs: 125/125 | 200970 (200710 + 260) |
200970 (200710+260) #defs: 561/226 #cls: 286/286 | - | - | - | - | - | - | - | - | - |
127 | SVCOMP13-loops-transmitter_unsafe.map.c | Gen_M | timeout iteration #2 | 154571 (111 + 2530 + 151930) | - | 111 | 2530 #defs: 100/100 | 151930 (148800 + 3130) |
151930 (148800+3130) #defs: 667/448 #cls: 488/372 | - | - | - | - | - | - | - | - | - |
128 | SVCOMP13-loops-trex01_safe.map.c | Gen_M | safe | 1025 (75 + 210 + 740) | 1 | 75 | 210 #defs: 15/15 | 740 (740 + 0) |
740 (740+0) #defs: 92/32 #cls: 43/1 | - | - | - | - | - | - | - | - | - |
129 | SVCOMP13-loops-trex01_unsafe.map.c | Gen_M | unsafe | 665 (75 + 210 + 380) | 2 | 75 | 210 #defs: 15/15 | 380 (370 + 10) |
360 (350+10) #defs: 59/35 #cls: 49/22 |
20 (20+0) #defs: 19/19 #cls: 21/20 | - | - | - | - | - | - | - | - |
130 | SVCOMP13-loops-trex02_safe.map.c | Gen_M | 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_M | 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_M | safe | 1527 (77 + 500 + 950) | 1 | 77 | 500 #defs: 20/20 | 950 (950 + 0) |
950 (950+0) #defs: 90/28 #cls: 35/1 | - | - | - | - | - | - | - | - | - |
133 | SVCOMP13-loops-trex03_unsafe.map.c | Gen_M | unsafe | 6038 (78 + 630 + 5330) | 4 | 78 | 630 #defs: 20/20 | 5330 (5190 + 140) |
1200 (1190+10) #defs: 102/31 #cls: 41/43 |
1230 (1210+20) #defs: 101/73 #cls: 85/64 |
2280 (2210+70) #defs: 153/67 #cls: 79/79 |
620 (580+40) #defs: 92/67 #cls: 79/73 | - | - | - | - | - | - |
134 | SVCOMP13-loops-trex04_safe.map.c | Gen_M | safe | 28727 (77 + 350 + 28300) | 1 | 77 | 350 #defs: 24/24 | 28300 (28200 + 100) |
28300 (28200+100) #defs: 474/474 #cls: 746/1 | - | - | - | - | - | - | - | - | - |
135 | SVCOMP13-loops-while_infinite_loop_1_safe.map.c | Gen_M | 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_M | safe | 97 (67 + 20 + 10) | 1 | 67 | 20 #defs: 6/6 | 10 (10 + 0) |
10 (10+0) #defs: 6/6 #cls: 6/1 | - | - | - | - | - | - | - | - | - |
137 | SVCOMP13-loops-while_infinite_loop_3_safe.map.c | Gen_M | 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_M | 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_M | unknown | 444964 (94 + 750 + 444120) | - | 94 | 750 #defs: 50/50 | 444120 (439200 + 4920) |
9120 (8920+200) #defs: 301/283 #cls: 370/260 |
167840 (165950+1890) #defs: 700/501 #cls: 652/652 |
28880 (27940+940) #defs: 409/379 #cls: 464/340 |
55120 (54780+340) #defs: 365/257 #cls: 340/340 |
9380 (9220+160) #defs: 269/257 #cls: 340/340 |
51800 (51440+360) #defs: 369/257 #cls: 340/340 |
9160 (9000+160) #defs: 269/257 #cls: 340/340 |
51550 (51200+350) #defs: 369/257 #cls: 340/340 |
9230 (9060+170) #defs: 269/257 #cls: 340/340 |
52040 (51690+350) #defs: 369/257 #cls: 340/340 |
140 | SVCOMP13-sshsimpl-s3_srvr_1b_safeil.c.map.c | Gen_M | unknown | 4469 (79 + 170 + 4220) | - | 79 | 170 #defs: 25/25 | 4220 (4120 + 100) |
460 (450+10) #defs: 100/45 #cls: 67/64 |
450 (420+30) #defs: 92/63 #cls: 83/68 |
560 (550+10) #defs: 106/49 #cls: 68/68 |
410 (400+10) #defs: 90/59 #cls: 82/82 |
310 (310+0) #defs: 75/61 #cls: 84/84 |
450 (450+0) #defs: 82/61 #cls: 84/84 |
320 (310+10) #defs: 75/61 #cls: 84/84 |
460 (450+10) #defs: 82/61 #cls: 84/84 |
320 (310+10) #defs: 75/61 #cls: 84/84 |
480 (470+10) #defs: 82/61 #cls: 84/84 |
141 | SVCOMP13-systemc-kundu1_unsafeil.c.map.c | Gen_M | timeout iteration #1 | 5432 (122 + 5310 + 0) | - | 122 | 5310 #defs: 93/93 | 0 (0 + 0) | - | - | - | - | - | - | - | - | - | - |
142 | SVCOMP13-systemc-pc_sfifo_1_safeil.c.map.c | Gen_M | timeout iteration #3 | 61136 (106 + 3170 + 57860) | - | 106 | 3170 #defs: 59/59 | 57860 (57060 + 800) |
10520 (10490+30) #defs: 232/79 #cls: 119/117 |
47340 (46570+770) #defs: 513/275 #cls: 375/375 | - | - | - | - | - | - | - | - |
143 | SVCOMP13-systemc-pc_sfifo_1_unsafeil.c.map.c | Gen_M | timeout iteration #3 | 87437 (107 + 3130 + 84200) | - | 107 | 3130 #defs: 60/60 | 84200 (83610 + 590) |
10240 (10210+30) #defs: 256/88 #cls: 130/126 |
73960 (73400+560) #defs: 568/299 #cls: 438/426 | - | - | - | - | - | - | - | - |
144 | SVCOMP13-systemc-pc_sfifo_2_safeil.c.map.c | Gen_M | timeout iteration #2 | 280208 (118 + 4230 + 275860) | - | 118 | 4230 #defs: 81/81 | 275860 (275290 + 570) |
275860 (275290+570) #defs: 970/486 #cls: 563/527 | - | - | - | - | - | - | - | - | - |
145 | SVCOMP13-systemc-pc_sfifo_2_unsafeil.c.map.c | Gen_M | timeout iteration #1 | 4398 (118 + 4280 + 0) | - | 118 | 4280 #defs: 82/82 | 0 (0 + 0) | - | - | - | - | - | - | - | - | - | - |
146 | SVCOMP13-systemc-pc_sfifo_3_safeil.c.map.c | Gen_M | timeout iteration #1 | 7950 (130 + 7820 + 0) | - | 130 | 7820 #defs: 111/111 | 0 (0 + 0) | - | - | - | - | - | - | - | - | - | - |
147 | SVCOMP13-systemc-token_ring.01_safeil.c.map.c | Gen_M | timeout iteration #2 | 277916 (116 + 4080 + 273720) | - | 116 | 4080 #defs: 116/116 | 273720 (270400 + 3320) |
273720 (270400+3320) #defs: 729/494 #cls: 535/349 | - | - | - | - | - | - | - | - | - |
148 | SVCOMP13-systemc-token_ring.01_unsafeil.c.map.c | Gen_M | timeout iteration #2 | 283619 (119 + 4160 + 279340) | - | 119 | 4160 #defs: 120/120 | 279340 (276010 + 3330) |
279340 (276010+3330) #defs: 733/498 #cls: 541/355 | - | - | - | - | - | - | - | - | - |
149 | SVCOMP13-systemc-transmitter.01_unsafeil.c.map.c | Gen_M | timeout iteration #2 | 156752 (112 + 2510 + 154130) | - | 112 | 2510 #defs: 100/100 | 154130 (150980 + 3150) |
154130 (150980+3150) #defs: 667/448 #cls: 488/372 | - | - | - | - | - | - | - | - | - |
150 | SVCOMP13-systemc-transmitter.02_unsafeil.c.map.c | Gen_M | timeout iteration #1 | 7248 (128 + 7120 + 0) | - | 128 | 7120 #defs: 151/151 | 0 (0 + 0) | - | - | - | - | - | - | - | - | - | - |
151 | TRACER-paper-prog_d-pepm-proc.c.map.c | Gen_M | safe | 118 (68 + 40 + 10) | 1 | 68 | 40 #defs: 8/8 | 10 (10 + 0) |
10 (10+0) #defs: 10/9 #cls: 10/1 | - | - | - | - | - | - | - | - | - |
152 | TRACER-test1-unsafe.map.c | Gen_M | unsafe | 891 (71 + 90 + 730) | 1 | 71 | 90 #defs: 15/15 | 730 (720 + 10) |
730 (720+10) #defs: 107/107 #cls: 114/112 | - | - | - | - | - | - | - | - | - |
153 | TRACER-test1.map.c | Gen_M | safe | 750 (70 + 70 + 610) | 1 | 70 | 70 #defs: 11/11 | 610 (600 + 10) |
610 (600+10) #defs: 83/83 #cls: 82/1 | - | - | - | - | - | - | - | - | - |
154 | TRACER-test2-unsafe.map.c | Gen_M | 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_M | 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_M | unsafe | 140 (70 + 50 + 20) | 1 | 70 | 50 #defs: 9/9 | 20 (20 + 0) |
20 (20+0) #defs: 15/15 #cls: 17/22 | - | - | - | - | - | - | - | - | - |
157 | TRACER-test3.map.c | Gen_M | safe | 149 (69 + 60 + 20) | 1 | 69 | 60 #defs: 9/9 | 20 (20 + 0) |
20 (20+0) #defs: 15/15 #cls: 14/1 | - | - | - | - | - | - | - | - | - |
158 | TRACER-testabs1.map.c | Gen_M | 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_M | safe | 150 (70 + 60 + 20) | 2 | 70 | 60 #defs: 11/11 | 20 (20 + 0) |
10 (10+0) #defs: 15/14 #cls: 16/10 |
10 (10+0) #defs: 6/6 #cls: 5/1 | - | - | - | - | - | - | - | - |
160 | TRACER-testabs13.map.c | Gen_M | safe | 108 (68 + 20 + 20) | 2 | 68 | 20 #defs: 6/6 | 20 (20 + 0) |
10 (10+0) #defs: 8/7 #cls: 8/7 |
10 (10+0) #defs: 5/5 #cls: 4/1 | - | - | - | - | - | - | - | - |
161 | TRACER-testabs14.map.c | Gen_M | safe | 161 (71 + 70 + 20) | 2 | 71 | 70 #defs: 9/9 | 20 (20 + 0) |
10 (10+0) #defs: 15/13 #cls: 16/15 |
10 (10+0) #defs: 13/12 #cls: 12/1 | - | - | - | - | - | - | - | - |
162 | TRACER-testabs15.map.c | Gen_M | unknown | 731 (71 + 140 + 520) | - | 71 | 140 #defs: 8/8 | 520 (490 + 30) |
50 (40+10) #defs: 14/10 #cls: 14/14 |
50 (50+0) #defs: 15/11 #cls: 15/15 |
30 (30+0) #defs: 14/11 #cls: 15/15 |
70 (70+0) #defs: 20/12 #cls: 16/16 |
40 (40+0) #defs: 16/12 #cls: 16/16 |
50 (50+0) #defs: 16/12 #cls: 16/16 |
50 (40+10) #defs: 16/12 #cls: 16/16 |
70 (70+0) #defs: 20/12 #cls: 16/16 |
50 (40+10) #defs: 16/12 #cls: 16/16 |
60 (60+0) #defs: 16/12 #cls: 16/16 |
163 | TRACER-testabs2.map.c | Gen_M | 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_M | timeout iteration #1 | 2061 (91 + 1970 + 0) | - | 91 | 1970 #defs: 25/25 | 0 (0 + 0) | - | - | - | - | - | - | - | - | - | - |
165 | TRACER-testabs6.map.c | Gen_M | safe | 118 (68 + 40 + 10) | 1 | 68 | 40 #defs: 6/6 | 10 (10 + 0) |
10 (10+0) #defs: 8/8 #cls: 7/1 | - | - | - | - | - | - | - | - | - |
166 | TRACER-testabs7.map.c | Gen_M | safe | 107 (67 + 40 + 0) | 2 | 67 | 40 #defs: 6/6 | 0 (0 + 0) |
0 (0+0) #defs: 8/7 #cls: 8/7 |
0 (0+0) #defs: 5/5 #cls: 4/1 | - | - | - | - | - | - | - | - |
167 | TRACER-testabs8.map.c | Gen_M | safe | 280 (250 + 30 + 0) | 2 | 250 | 30 #defs: 6/6 | 0 (0 + 0) |
0 (0+0) #defs: 8/7 #cls: 8/7 |
0 (0+0) #defs: 5/5 #cls: 4/1 | - | - | - | - | - | - | - | - |
168 | TRACER-testabs9.map.c | Gen_M | 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_M | unsafe | 151 (71 + 60 + 20) | 1 | 71 | 60 #defs: 8/8 | 20 (20 + 0) |
20 (20+0) #defs: 13/13 #cls: 15/18 | - | - | - | - | - | - | - | - | - |
170 | TRACER-testfunc1.map.c | Gen_M | safe | 161 (71 + 70 + 20) | 1 | 71 | 70 #defs: 8/8 | 20 (20 + 0) |
20 (20+0) #defs: 13/13 #cls: 12/1 | - | - | - | - | - | - | - | - | - |
171 | TRACER-testfunc11.map.c | Gen_M | 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_M | 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_M | unsafe | 190 (70 + 60 + 60) | 2 | 70 | 60 #defs: 9/9 | 60 (60 + 0) |
50 (50+0) #defs: 20/16 #cls: 26/15 |
10 (10+0) #defs: 11/11 #cls: 12/13 | - | - | - | - | - | - | - | - |
174 | TRACER-testfunc14.map.c | Gen_M | safe | 191 (71 + 70 + 50) | 1 | 71 | 70 #defs: 9/9 | 50 (50 + 0) |
50 (50+0) #defs: 20/16 #cls: 25/1 | - | - | - | - | - | - | - | - | - |
175 | TRACER-testfunc3.map.c | Gen_M | safe | 149 (69 + 70 + 10) | 1 | 69 | 70 #defs: 8/8 | 10 (10 + 0) |
10 (10+0) #defs: 8/8 #cls: 7/1 | - | - | - | - | - | - | - | - | - |
176 | TRACER-testfunc9-unsafe.map.c | Gen_M | 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_M | safe | 170 (70 + 70 + 30) | 1 | 70 | 70 #defs: 7/7 | 30 (30 + 0) |
30 (30+0) #defs: 16/10 #cls: 11/1 | - | - | - | - | - | - | - | - | - |
178 | TRACER-testloop10.map.c | Gen_M | safe | 160 (70 + 70 + 20) | 2 | 70 | 70 #defs: 8/8 | 20 (20 + 0) |
20 (20+0) #defs: 10/9 #cls: 13/12 |
0 (0+0) #defs: 5/5 #cls: 4/1 | - | - | - | - | - | - | - | - |
179 | TRACER-testloop11.map.c | Gen_M | safe | 181 (71 + 80 + 30) | 2 | 71 | 80 #defs: 12/12 | 30 (30 + 0) |
20 (20+0) #defs: 19/14 #cls: 23/23 |
10 (10+0) #defs: 16/11 #cls: 13/1 | - | - | - | - | - | - | - | - |
180 | TRACER-testloop12.map.c | Gen_M | safe | 130 (70 + 50 + 10) | 1 | 70 | 50 #defs: 8/8 | 10 (10 + 0) |
10 (10+0) #defs: 12/8 #cls: 9/1 | - | - | - | - | - | - | - | - | - |
181 | TRACER-testloop13.map.c | Gen_M | safe | 179 (69 + 90 + 20) | 2 | 69 | 90 #defs: 8/8 | 20 (20 + 0) |
20 (20+0) #defs: 11/10 #cls: 14/13 |
0 (0+0) #defs: 5/5 #cls: 4/1 | - | - | - | - | - | - | - | - |
182 | TRACER-testloop14.map.c | Gen_M | safe | 159 (69 + 70 + 20) | 1 | 69 | 70 #defs: 10/10 | 20 (20 + 0) |
20 (20+0) #defs: 14/10 #cls: 11/1 | - | - | - | - | - | - | - | - | - |
183 | TRACER-testloop15.map.c | Gen_M | safe | 108 (68 + 40 + 0) | 2 | 68 | 40 #defs: 6/6 | 0 (0 + 0) |
0 (0+0) #defs: 8/7 #cls: 8/7 |
0 (0+0) #defs: 5/5 #cls: 4/1 | - | - | - | - | - | - | - | - |
184 | TRACER-testloop16.map.c | Gen_M | safe | 148 (68 + 50 + 30) | 2 | 68 | 50 #defs: 7/7 | 30 (30 + 0) |
20 (20+0) #defs: 12/8 #cls: 10/9 |
10 (10+0) #defs: 5/5 #cls: 4/1 | - | - | - | - | - | - | - | - |
185 | TRACER-testloop17.map.c | Gen_M | safe | 190 (70 + 100 + 20) | 2 | 70 | 100 #defs: 10/10 | 20 (20 + 0) |
10 (10+0) #defs: 14/12 #cls: 15/11 |
10 (10+0) #defs: 5/5 #cls: 4/1 | - | - | - | - | - | - | - | - |
186 | TRACER-testloop2.map.c | Gen_M | 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_M | safe | 201 (71 + 80 + 50) | 2 | 71 | 80 #defs: 12/12 | 50 (50 + 0) |
30 (30+0) #defs: 26/14 #cls: 24/24 |
20 (20+0) #defs: 17/11 #cls: 13/1 | - | - | - | - | - | - | - | - |
188 | TRACER-testloop21.map.c | Gen_M | safe | 169 (69 + 60 + 40) | 1 | 69 | 60 #defs: 8/8 | 40 (40 + 0) |
40 (40+0) #defs: 20/12 #cls: 13/1 | - | - | - | - | - | - | - | - | - |
189 | TRACER-testloop22.map.c | Gen_M | 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_M | unknown | 219 (69 + 60 + 90) | - | 69 | 60 #defs: 7/7 | 90 (90 + 0) |
10 (10+0) #defs: 11/8 #cls: 10/9 |
0 (0+0) #defs: 10/7 #cls: 9/9 |
10 (10+0) #defs: 10/7 #cls: 9/9 |
10 (10+0) #defs: 10/7 #cls: 9/9 |
10 (10+0) #defs: 10/7 #cls: 9/9 |
10 (10+0) #defs: 10/7 #cls: 9/9 |
10 (10+0) #defs: 10/7 #cls: 9/9 |
10 (10+0) #defs: 10/7 #cls: 9/9 |
10 (10+0) #defs: 10/7 #cls: 9/9 |
10 (10+0) #defs: 10/7 #cls: 9/9 |
191 | TRACER-testloop28-unsafe.map.c | Gen_M | unknown | 330 (70 + 50 + 210) | - | 70 | 50 #defs: 8/8 | 210 (190 + 20) |
10 (10+0) #defs: 13/9 #cls: 11/11 |
20 (20+0) #defs: 13/9 #cls: 11/11 |
30 (20+10) #defs: 13/9 #cls: 11/11 |
20 (20+0) #defs: 13/9 #cls: 11/11 |
20 (20+0) #defs: 13/9 #cls: 11/11 |
20 (20+0) #defs: 13/9 #cls: 11/11 |
30 (20+10) #defs: 13/9 #cls: 11/11 |
20 (20+0) #defs: 13/9 #cls: 11/11 |
20 (20+0) #defs: 13/9 #cls: 11/11 |
20 (20+0) #defs: 13/9 #cls: 11/11 |
192 | TRACER-testloop29.map.c | Gen_M | unknown | 178 (68 + 30 + 80) | - | 68 | 30 #defs: 7/7 | 80 (50 + 30) |
10 (0+10) #defs: 11/9 #cls: 11/9 |
10 (10+0) #defs: 9/7 #cls: 9/9 |
10 (10+0) #defs: 9/7 #cls: 9/9 |
0 (0+0) #defs: 9/7 #cls: 9/9 |
10 (10+0) #defs: 9/7 #cls: 9/9 |
10 (10+0) #defs: 9/7 #cls: 9/9 |
10 (0+10) #defs: 9/7 #cls: 9/9 |
0 (0+0) #defs: 9/7 #cls: 9/9 |
20 (10+10) #defs: 9/7 #cls: 9/9 |
0 (0+0) #defs: 9/7 #cls: 9/9 |
193 | TRACER-testloop3-unsafe.map.c | Gen_M | unsafe | 149 (69 + 60 + 20) | 2 | 69 | 60 #defs: 7/7 | 20 (20 + 0) |
10 (10+0) #defs: 10/10 #cls: 12/8 |
10 (10+0) #defs: 9/7 #cls: 8/6 | - | - | - | - | - | - | - | - |
194 | TRACER-testloop4.map.c | Gen_M | safe | 118 (68 + 50 + 0) | 1 | 68 | 50 #defs: 6/6 | 0 (0 + 0) |
0 (0+0) #defs: 7/6 #cls: 7/1 | - | - | - | - | - | - | - | - | - |
195 | TRACER-testloop5-unsafe.map.c | Gen_M | unknown | 208 (68 + 30 + 110) | - | 68 | 30 #defs: 7/7 | 110 (100 + 10) |
20 (20+0) #defs: 11/9 #cls: 10/8 |
10 (10+0) #defs: 9/7 #cls: 8/8 |
10 (10+0) #defs: 9/7 #cls: 8/8 |
10 (10+0) #defs: 9/7 #cls: 8/8 |
10 (10+0) #defs: 9/7 #cls: 8/8 |
10 (10+0) #defs: 9/7 #cls: 8/8 |
20 (10+10) #defs: 9/7 #cls: 8/8 |
10 (10+0) #defs: 9/7 #cls: 8/8 |
0 (0+0) #defs: 9/7 #cls: 8/8 |
10 (10+0) #defs: 9/7 #cls: 8/8 |
196 | TRACER-testloop6.map.c | Gen_M | safe | 220 (70 + 110 + 40) | 1 | 70 | 110 #defs: 12/12 | 40 (40 + 0) |
40 (40+0) #defs: 22/13 #cls: 15/1 | - | - | - | - | - | - | - | - | - |
197 | TRACER-testloop7.map.c | Gen_M | safe | 129 (69 + 40 + 20) | 2 | 69 | 40 #defs: 9/9 | 20 (20 + 0) |
20 (20+0) #defs: 21/10 #cls: 12/11 |
0 (0+0) #defs: 6/6 #cls: 5/1 | - | - | - | - | - | - | - | - |
198 | TRACER-testloop8-unsafe.map.c | Gen_M | unknown | 310 (70 + 80 + 160) | - | 70 | 80 #defs: 8/8 | 160 (140 + 20) |
20 (20+0) #defs: 16/10 #cls: 13/11 |
10 (10+0) #defs: 12/9 #cls: 12/12 |
30 (20+10) #defs: 13/9 #cls: 12/12 |
10 (10+0) #defs: 13/9 #cls: 12/12 |
10 (10+0) #defs: 13/9 #cls: 12/12 |
20 (20+0) #defs: 12/9 #cls: 12/12 |
10 (10+0) #defs: 13/9 #cls: 12/12 |
20 (10+10) #defs: 13/9 #cls: 12/12 |
20 (20+0) #defs: 13/9 #cls: 12/12 |
10 (10+0) #defs: 12/9 #cls: 12/12 |
199 | TRACER-testloop9.map.c | Gen_M | unknown | 322 (72 + 100 + 150) | - | 72 | 100 #defs: 10/10 | 150 (140 + 10) |
20 (20+0) #defs: 14/12 #cls: 17/15 |
20 (20+0) #defs: 17/10 #cls: 15/15 |
10 (10+0) #defs: 12/10 #cls: 15/15 |
30 (20+10) #defs: 17/10 #cls: 15/15 |
10 (10+0) #defs: 12/10 #cls: 15/15 |
10 (10+0) #defs: 17/10 #cls: 15/15 |
10 (10+0) #defs: 12/10 #cls: 15/15 |
20 (20+0) #defs: 17/10 #cls: 15/15 |
10 (10+0) #defs: 12/10 #cls: 15/15 |
10 (10+0) #defs: 17/10 #cls: 15/15 |
200 | TRACER-testwp1-unsafe.map.c | Gen_M | 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_M | safe | 119 (69 + 40 + 10) | 1 | 69 | 40 #defs: 8/8 | 10 (10 + 0) |
10 (10+0) #defs: 16/16 #cls: 16/1 | - | - | - | - | - | - | - | - | - |
202 | TRACER-testwp11.map.c | Gen_M | safe | 310 (70 + 90 + 150) | 1 | 70 | 90 #defs: 10/10 | 150 (150 + 0) |
150 (150+0) #defs: 42/42 #cls: 41/1 | - | - | - | - | - | - | - | - | - |
203 | TRACER-testwp12.map.c | Gen_M | safe | 261 (71 + 90 + 100) | 1 | 71 | 90 #defs: 11/11 | 100 (100 + 0) |
100 (100+0) #defs: 34/34 #cls: 33/1 | - | - | - | - | - | - | - | - | - |
204 | TRACER-testwp13-unsafe.map.c | Gen_M | 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_M | 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_M | safe | 130 (70 + 40 + 20) | 1 | 70 | 40 #defs: 8/8 | 20 (20 + 0) |
20 (20+0) #defs: 16/16 #cls: 15/1 | - | - | - | - | - | - | - | - | - |
207 | TRACER-testwp16.map.c | Gen_M | safe | 149 (69 + 60 + 20) | 1 | 69 | 60 #defs: 7/7 | 20 (20 + 0) |
20 (20+0) #defs: 11/11 #cls: 10/1 | - | - | - | - | - | - | - | - | - |
208 | TRACER-testwp17.map.c | Gen_M | safe | 117 (67 + 40 + 10) | 1 | 67 | 40 #defs: 7/7 | 10 (10 + 0) |
10 (10+0) #defs: 8/8 #cls: 7/1 | - | - | - | - | - | - | - | - | - |
209 | TRACER-testwp2.map.c | Gen_M | 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_M | 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_M | timeout iteration #1 | 2071 (91 + 1980 + 0) | - | 91 | 1980 #defs: 25/25 | 0 (0 + 0) | - | - | - | - | - | - | - | - | - | - |
212 | TRACER-testwp5.map.c | Gen_M | 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_M | 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_M | 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_M | safe | 138 (68 + 50 + 20) | 1 | 68 | 50 #defs: 7/7 | 20 (20 + 0) |
20 (20+0) #defs: 14/14 #cls: 13/1 | - | - | - | - | - | - | - | - | - |
216 | TRACER-testwp9.map.c | Gen_M | safe | 97 (67 + 30 + 0) | 1 | 67 | 30 #defs: 6/6 | 0 (0 + 0) |
0 (0+0) #defs: 6/6 #cls: 5/1 | - | - | - | - | - | - | - | - | - |