#	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	-	-	-	-	-	-	-	-	-