#	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_MH	timeout iteration #1	3060 (110 + 2950 + 0)	-	110	2950 #defs: 87/87	0 (0 + 0)	-	-	-	-	-	-	-	-	-	-
2	DAGGER-barbrprime.map.c	Gen_MH	safe	113456 (106 + 2310 + 111040)	2	106	2310 #defs: 65/65	111040 (111000 + 40)	101170 (101150+20) #defs: 540/76 #cls: 101/101	9870 (9850+20) #defs: 316/314 #cls: 368/1	-	-	-	-	-	-	-	-
3	DAGGER-bk-nat.map.c	Gen_MH	safe	970 (80 + 360 + 530)	2	80	360 #defs: 26/26	530 (530 + 0)	430 (430+0) #defs: 92/28 #cls: 35/41	100 (100+0) #defs: 32/31 #cls: 33/1	-	-	-	-	-	-	-	-
4	DAGGER-bkley.map.c	Gen_MH	safe	819 (79 + 320 + 420)	2	79	320 #defs: 22/22	420 (410 + 10)	340 (330+10) #defs: 75/23 #cls: 29/28	80 (80+0) #defs: 18/17 #cls: 19/1	-	-	-	-	-	-	-	-
5	DAGGER-cars.map.c	Gen_MH	timeout iteration #2	3716 (86 + 930 + 2700)	-	86	930 #defs: 35/35	2700 (2530 + 170)	2700 (2530+170) #defs: 130/43 #cls: 54/114	-	-	-	-	-	-	-	-	-
6	DAGGER-efm.map.c	Gen_MH	safe	3029 (89 + 1040 + 1900)	2	89	1040 #defs: 47/47	1900 (1860 + 40)	1650 (1610+40) #defs: 135/54 #cls: 59/59	250 (250+0) #defs: 53/50 #cls: 55/1	-	-	-	-	-	-	-	-
7	DAGGER-ex1.map.c	Gen_MH	safe	432 (72 + 230 + 130)	2	72	230 #defs: 9/9	130 (130 + 0)	110 (110+0) #defs: 31/10 #cls: 14/13	20 (20+0) #defs: 12/11 #cls: 14/1	-	-	-	-	-	-	-	-
8	DAGGER-ex2.map.c	Gen_MH	timeout iteration #1	551 (81 + 470 + 0)	-	81	470 #defs: 27/27	0 (0 + 0)	-	-	-	-	-	-	-	-	-	-
9	DAGGER-fig1a.map.c	Gen_MH	safe	201 (71 + 100 + 30)	1	71	100 #defs: 12/12	30 (30 + 0)	30 (30+0) #defs: 20/12 #cls: 14/1	-	-	-	-	-	-	-	-	-
10	DAGGER-fig2.map.c	Gen_MH	unknown	4264 (74 + 200 + 3990)	-	74	200 #defs: 14/14	3990 (3960 + 30)	270 (270+0) #defs: 64/15 #cls: 24/23	250 (250+0) #defs: 41/18 #cls: 28/28	500 (500+0) #defs: 85/19 #cls: 29/29	330 (330+0) #defs: 59/20 #cls: 30/30	530 (520+10) #defs: 87/20 #cls: 30/30	380 (370+10) #defs: 59/20 #cls: 30/30	510 (510+0) #defs: 87/20 #cls: 30/30	330 (330+0) #defs: 59/20 #cls: 30/30	520 (520+0) #defs: 87/20 #cls: 30/30	370 (360+10) #defs: 59/20 #cls: 30/30
11	DAGGER-hsort.map.c	Gen_MH	safe	6455 (85 + 690 + 5680)	2	85	690 #defs: 35/35	5680 (5650 + 30)	5160 (5130+30) #defs: 203/38 #cls: 47/49	520 (520+0) #defs: 64/62 #cls: 76/1	-	-	-	-	-	-	-	-
12	DAGGER-hsortprime.map.c	Gen_MH	safe	3032 (82 + 480 + 2470)	2	82	480 #defs: 25/25	2470 (2460 + 10)	2320 (2310+10) #defs: 133/27 #cls: 35/34	150 (150+0) #defs: 27/26 #cls: 33/1	-	-	-	-	-	-	-	-
13	DAGGER-lifnat.map.c	Gen_MH	safe	61181 (101 + 2050 + 59030)	2	101	2050 #defs: 54/54	59030 (58860 + 170)	49580 (49500+80) #defs: 469/61 #cls: 84/92	9450 (9360+90) #defs: 256/204 #cls: 251/1	-	-	-	-	-	-	-	-
14	DAGGER-lifnatprime.map.c	Gen_MH	unknown	184898 (98 + 1710 + 183090)	-	98	1710 #defs: 40/40	183090 (182830 + 260)	22680 (22650+30) #defs: 355/46 #cls: 68/71	5710 (5700+10) #defs: 174/59 #cls: 81/81	14920 (14890+30) #defs: 266/61 #cls: 83/83	13640 (13620+20) #defs: 335/66 #cls: 88/88	28790 (28750+40) #defs: 336/68 #cls: 90/90	8400 (8380+20) #defs: 255/68 #cls: 90/90	35200 (35160+40) #defs: 365/68 #cls: 90/90	14560 (14540+20) #defs: 341/68 #cls: 90/90	30880 (30850+30) #defs: 336/68 #cls: 90/90	8310 (8290+20) #defs: 255/68 #cls: 90/90
15	DAGGER-lifo.map.c	Gen_MH	safe	40208 (98 + 1750 + 38360)	2	98	1750 #defs: 46/46	38360 (38330 + 30)	31430 (31400+30) #defs: 402/52 #cls: 73/65	6930 (6930+0) #defs: 220/164 #cls: 194/1	-	-	-	-	-	-	-	-
16	DAGGER-p2-ok.map.c	Gen_MH	timeout iteration #1	6130 (120 + 6010 + 0)	-	120	6010 #defs: 146/146	0 (0 + 0)	-	-	-	-	-	-	-	-	-	-
17	DAGGER-p3-ok.map.c	Gen_MH	safe	80466 (106 + 2030 + 78330)	2	106	2030 #defs: 89/89	78330 (78240 + 90)	78310 (78220+90) #defs: 409/153 #cls: 243/227	20 (20+0) #defs: 6/6 #cls: 5/1	-	-	-	-	-	-	-	-
18	DAGGER-seesaw.map.c	Gen_MH	safe	1468 (78 + 250 + 1140)	2	78	250 #defs: 23/23	1140 (1120 + 20)	680 (670+10) #defs: 105/26 #cls: 35/35	460 (450+10) #defs: 72/70 #cls: 91/1	-	-	-	-	-	-	-	-
19	DAGGER-substring1.map.c	Gen_MH	safe	221 (71 + 100 + 50)	1	71	100 #defs: 10/10	50 (50 + 0)	50 (50+0) #defs: 16/10 #cls: 10/1	-	-	-	-	-	-	-	-	-
20	DAGGER-swim.map.c	Gen_MH	safe	78391 (91 + 1760 + 76540)	2	91	1760 #defs: 49/49	76540 (76250 + 290)	11810 (11550+260) #defs: 293/56 #cls: 74/89	64730 (64700+30) #defs: 487/356 #cls: 450/1	-	-	-	-	-	-	-	-
21	DAGGER-swim1.map.c	Gen_MH	safe	135354 (94 + 2030 + 133230)	4	94	2030 #defs: 55/55	133230 (131720 + 1510)	17320 (17010+310) #defs: 330/63 #cls: 82/136	9560 (9470+90) #defs: 243/119 #cls: 138/138	31310 (30230+1080) #defs: 380/119 #cls: 138/138	75040 (75010+30) #defs: 549/420 #cls: 522/1	-	-	-	-	-	-
22	INVGEN-apache-escape-absolute.map.c	Gen_MH	unknown	26883 (83 + 820 + 25980)	-	83	820 #defs: 53/53	25980 (24480 + 1500)	3190 (3140+50) #defs: 163/95 #cls: 110/100	2780 (2370+410) #defs: 151/117 #cls: 132/130	3150 (3130+20) #defs: 163/97 #cls: 104/102	1910 (1660+250) #defs: 125/95 #cls: 102/102	3060 (3040+20) #defs: 161/95 #cls: 102/102	1920 (1680+240) #defs: 125/95 #cls: 102/102	3050 (3040+10) #defs: 161/95 #cls: 102/102	1950 (1710+240) #defs: 125/95 #cls: 102/102	3050 (3040+10) #defs: 161/95 #cls: 102/102	1920 (1670+250) #defs: 125/95 #cls: 102/102
23	INVGEN-apache-get-tag.map.c	Gen_MH	safe	948 (78 + 410 + 460)	1	78	410 #defs: 45/45	460 (450 + 10)	460 (450+10) #defs: 85/65 #cls: 67/1	-	-	-	-	-	-	-	-	-
24	INVGEN-bind_expands_vars2.map.c	Gen_MH	safe	300 (70 + 140 + 90)	1	70	140 #defs: 10/10	90 (90 + 0)	90 (90+0) #defs: 16/10 #cls: 10/1	-	-	-	-	-	-	-	-	-
25	INVGEN-bound.map.c	Gen_MH	safe	373 (73 + 200 + 100)	1	73	200 #defs: 13/13	100 (100 + 0)	100 (100+0) #defs: 26/15 #cls: 18/1	-	-	-	-	-	-	-	-	-
26	INVGEN-down.map.c	Gen_MH	safe	240 (70 + 70 + 100)	1	70	70 #defs: 7/7	100 (100 + 0)	100 (100+0) #defs: 20/7 #cls: 8/1	-	-	-	-	-	-	-	-	-
27	INVGEN-fragtest_simple.map.c	Gen_MH	safe	314 (74 + 230 + 10)	1	74	230 #defs: 10/10	10 (10 + 0)	10 (10+0) #defs: 15/10 #cls: 12/1	-	-	-	-	-	-	-	-	-
28	INVGEN-gulwani_cegar1.map.c	Gen_MH	safe	241 (71 + 110 + 60)	1	71	110 #defs: 21/21	60 (60 + 0)	60 (60+0) #defs: 29/23 #cls: 28/1	-	-	-	-	-	-	-	-	-
29	INVGEN-gulwani_cegar2.map.c	Gen_MH	safe	240 (70 + 80 + 90)	2	70	80 #defs: 10/10	90 (90 + 0)	50 (50+0) #defs: 21/11 #cls: 14/13	40 (40+0) #defs: 13/9 #cls: 9/1	-	-	-	-	-	-	-	-
30	INVGEN-gulwani_fig1a.map.c	Gen_MH	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_MH	unknown	810 (70 + 100 + 640)	-	70	100 #defs: 9/9	640 (640 + 0)	50 (50+0) #defs: 24/9 #cls: 13/13	80 (80+0) #defs: 21/10 #cls: 14/14	60 (60+0) #defs: 28/10 #cls: 13/12	60 (60+0) #defs: 20/9 #cls: 12/12	70 (70+0) #defs: 27/9 #cls: 12/12	70 (70+0) #defs: 20/9 #cls: 12/12	60 (60+0) #defs: 27/9 #cls: 12/12	70 (70+0) #defs: 20/9 #cls: 12/12	70 (70+0) #defs: 27/9 #cls: 12/12	50 (50+0) #defs: 20/9 #cls: 12/12
32	INVGEN-ken-imp.map.c	Gen_MH	safe	179 (69 + 80 + 30)	1	69	80 #defs: 6/6	30 (30 + 0)	30 (30+0) #defs: 12/6 #cls: 7/1	-	-	-	-	-	-	-	-	-
33	INVGEN-MADWiFi-encode_ie_ok.map.c	Gen_MH	safe	533 (73 + 210 + 250)	1	73	210 #defs: 14/14	250 (250 + 0)	250 (250+0) #defs: 26/14 #cls: 14/1	-	-	-	-	-	-	-	-	-
34	INVGEN-mergesort.map.c	Gen_MH	unknown	23062 (82 + 1000 + 21980)	-	82	1000 #defs: 14/14	21980 (21930 + 50)	540 (540+0) #defs: 52/17 #cls: 30/30	2800 (2800+0) #defs: 127/24 #cls: 38/37	950 (940+10) #defs: 83/34 #cls: 50/36	2500 (2490+10) #defs: 119/26 #cls: 38/37	1250 (1240+10) #defs: 81/25 #cls: 37/37	5290 (5290+0) #defs: 147/25 #cls: 37/37	1400 (1390+10) #defs: 85/25 #cls: 37/37	1250 (1250+0) #defs: 69/25 #cls: 37/37	950 (940+10) #defs: 75/27 #cls: 39/39	5050 (5050+0) #defs: 140/27 #cls: 39/39
35	INVGEN-nest-if.map.c	Gen_MH	safe	201 (71 + 80 + 50)	1	71	80 #defs: 9/9	50 (50 + 0)	50 (50+0) #defs: 20/8 #cls: 9/1	-	-	-	-	-	-	-	-	-
36	INVGEN-nest-if1.map.c	Gen_MH	unknown	2552 (72 + 130 + 2350)	-	72	130 #defs: 12/12	2350 (2340 + 10)	330 (330+0) #defs: 40/14 #cls: 22/19	190 (190+0) #defs: 30/12 #cls: 19/19	260 (250+10) #defs: 36/12 #cls: 19/19	200 (200+0) #defs: 30/12 #cls: 19/19	250 (250+0) #defs: 36/12 #cls: 19/19	210 (210+0) #defs: 30/12 #cls: 19/19	260 (260+0) #defs: 36/12 #cls: 19/19	210 (210+0) #defs: 30/12 #cls: 19/19	250 (250+0) #defs: 36/12 #cls: 19/19	190 (190+0) #defs: 30/12 #cls: 19/19
37	INVGEN-nest-if2.map.c	Gen_MH	unknown	4281 (71 + 130 + 4080)	-	71	130 #defs: 12/12	4080 (4060 + 20)	530 (530+0) #defs: 54/17 #cls: 28/25	470 (470+0) #defs: 57/20 #cls: 31/31	430 (430+0) #defs: 59/20 #cls: 30/30	350 (350+0) #defs: 49/20 #cls: 30/30	410 (410+0) #defs: 59/20 #cls: 30/30	360 (350+10) #defs: 49/20 #cls: 30/30	410 (410+0) #defs: 59/20 #cls: 30/30	340 (340+0) #defs: 49/20 #cls: 30/30	430 (430+0) #defs: 59/20 #cls: 30/30	350 (340+10) #defs: 49/20 #cls: 30/30
38	INVGEN-nest-if3.map.c	Gen_MH	unknown	1730 (70 + 140 + 1520)	-	70	140 #defs: 11/11	1520 (1500 + 20)	160 (160+0) #defs: 29/12 #cls: 18/15	120 (110+10) #defs: 24/11 #cls: 16/16	180 (180+0) #defs: 30/11 #cls: 16/16	130 (130+0) #defs: 24/11 #cls: 16/16	180 (180+0) #defs: 30/11 #cls: 16/16	120 (120+0) #defs: 24/11 #cls: 16/16	180 (180+0) #defs: 30/11 #cls: 16/16	140 (140+0) #defs: 24/11 #cls: 16/16	180 (180+0) #defs: 30/11 #cls: 16/16	130 (120+10) #defs: 24/11 #cls: 16/16
39	INVGEN-nest-if4.map.c	Gen_MH	unknown	4051 (71 + 130 + 3850)	-	71	130 #defs: 12/12	3850 (3810 + 40)	660 (660+0) #defs: 56/17 #cls: 30/27	380 (380+0) #defs: 48/22 #cls: 33/33	400 (390+10) #defs: 58/22 #cls: 31/29	330 (320+10) #defs: 47/20 #cls: 29/29	400 (390+10) #defs: 54/20 #cls: 29/29	310 (310+0) #defs: 47/20 #cls: 29/29	380 (380+0) #defs: 54/20 #cls: 29/29	320 (310+10) #defs: 47/20 #cls: 29/29	350 (350+0) #defs: 54/20 #cls: 29/29	320 (320+0) #defs: 47/20 #cls: 29/29
40	INVGEN-nest-if5.map.c	Gen_MH	safe	782 (72 + 120 + 590)	1	72	120 #defs: 12/12	590 (590 + 0)	590 (590+0) #defs: 47/17 #cls: 24/1	-	-	-	-	-	-	-	-	-
41	INVGEN-nest-if6.map.c	Gen_MH	safe	2162 (82 + 1100 + 980)	2	82	1100 #defs: 20/20	980 (980 + 0)	970 (970+0) #defs: 61/24 #cls: 32/25	10 (10+0) #defs: 5/5 #cls: 4/1	-	-	-	-	-	-	-	-
42	INVGEN-nest-if7.map.c	Gen_MH	safe	491 (71 + 140 + 280)	2	71	140 #defs: 11/11	280 (280 + 0)	140 (140+0) #defs: 32/19 #cls: 27/27	140 (140+0) #defs: 26/24 #cls: 25/1	-	-	-	-	-	-	-	-
43	INVGEN-nest-if8.map.c	Gen_MH	unknown	2463 (73 + 210 + 2180)	-	73	210 #defs: 15/15	2180 (2170 + 10)	500 (500+0) #defs: 53/23 #cls: 32/32	720 (720+0) #defs: 58/29 #cls: 38/12	140 (140+0) #defs: 23/9 #cls: 12/12	100 (100+0) #defs: 18/9 #cls: 12/12	130 (130+0) #defs: 23/9 #cls: 12/12	110 (100+10) #defs: 18/9 #cls: 12/12	140 (140+0) #defs: 23/9 #cls: 12/12	90 (90+0) #defs: 18/9 #cls: 12/12	150 (150+0) #defs: 23/9 #cls: 12/12	100 (100+0) #defs: 18/9 #cls: 12/12
44	INVGEN-nest-len.map.c	Gen_MH	safe	377 (77 + 150 + 150)	1	77	150 #defs: 13/13	150 (150 + 0)	150 (150+0) #defs: 47/13 #cls: 20/1	-	-	-	-	-	-	-	-	-
45	INVGEN-nested.map.c	Gen_MH	safe	159 (69 + 50 + 40)	1	69	50 #defs: 7/7	40 (40 + 0)	40 (40+0) #defs: 17/7 #cls: 8/1	-	-	-	-	-	-	-	-	-
46	INVGEN-nested1.map.c	Gen_MH	safe	321 (71 + 110 + 140)	1	71	110 #defs: 11/11	140 (140 + 0)	140 (140+0) #defs: 28/12 #cls: 15/1	-	-	-	-	-	-	-	-	-
47	INVGEN-nested2.map.c	Gen_MH	safe	341 (71 + 120 + 150)	1	71	120 #defs: 11/11	150 (150 + 0)	150 (150+0) #defs: 27/12 #cls: 15/1	-	-	-	-	-	-	-	-	-
48	INVGEN-nested3.map.c	Gen_MH	unknown	1541 (71 + 100 + 1370)	-	71	100 #defs: 11/11	1370 (1360 + 10)	160 (160+0) #defs: 29/12 #cls: 17/14	120 (120+0) #defs: 23/10 #cls: 14/14	160 (160+0) #defs: 25/10 #cls: 14/14	130 (130+0) #defs: 23/10 #cls: 14/14	130 (130+0) #defs: 25/10 #cls: 14/14	140 (130+10) #defs: 23/10 #cls: 14/14	150 (150+0) #defs: 25/10 #cls: 14/14	130 (130+0) #defs: 23/10 #cls: 14/14	140 (140+0) #defs: 25/10 #cls: 14/14	110 (110+0) #defs: 23/10 #cls: 14/14
49	INVGEN-nested4.map.c	Gen_MH	unknown	1611 (71 + 110 + 1430)	-	71	110 #defs: 11/11	1430 (1420 + 10)	170 (170+0) #defs: 29/12 #cls: 17/14	130 (130+0) #defs: 23/10 #cls: 14/14	170 (170+0) #defs: 27/10 #cls: 14/14	120 (120+0) #defs: 23/10 #cls: 14/14	150 (150+0) #defs: 27/10 #cls: 14/14	120 (120+0) #defs: 23/10 #cls: 14/14	160 (160+0) #defs: 27/10 #cls: 14/14	140 (130+10) #defs: 23/10 #cls: 14/14	160 (160+0) #defs: 27/10 #cls: 14/14	110 (110+0) #defs: 23/10 #cls: 14/14
50	INVGEN-nested5.map.c	Gen_MH	unknown	1001 (71 + 100 + 830)	-	71	100 #defs: 8/8	830 (830 + 0)	70 (70+0) #defs: 21/9 #cls: 13/13	100 (100+0) #defs: 20/9 #cls: 13/13	110 (110+0) #defs: 29/9 #cls: 12/12	60 (60+0) #defs: 17/9 #cls: 12/12	110 (110+0) #defs: 29/9 #cls: 12/12	70 (70+0) #defs: 17/9 #cls: 12/12	90 (90+0) #defs: 29/9 #cls: 12/12	60 (60+0) #defs: 17/9 #cls: 12/12	100 (100+0) #defs: 29/9 #cls: 12/12	60 (60+0) #defs: 17/9 #cls: 12/12
51	INVGEN-nested6.map.c	Gen_MH	unknown	3863 (73 + 200 + 3590)	-	73	200 #defs: 14/14	3590 (3570 + 20)	510 (510+0) #defs: 54/17 #cls: 30/30	470 (470+0) #defs: 55/27 #cls: 40/31	390 (380+10) #defs: 58/20 #cls: 29/27	310 (310+0) #defs: 42/18 #cls: 27/27	340 (340+0) #defs: 56/18 #cls: 27/27	280 (280+0) #defs: 42/18 #cls: 27/27	340 (340+0) #defs: 56/18 #cls: 27/27	290 (280+10) #defs: 42/18 #cls: 27/27	350 (350+0) #defs: 56/18 #cls: 27/27	310 (310+0) #defs: 42/18 #cls: 27/27
52	INVGEN-nested7.map.c	Gen_MH	unknown	8989 (79 + 340 + 8570)	-	79	340 #defs: 16/16	8570 (8560 + 10)	970 (970+0) #defs: 97/19 #cls: 32/31	830 (830+0) #defs: 78/20 #cls: 33/33	1010 (1010+0) #defs: 97/20 #cls: 33/33	800 (800+0) #defs: 78/20 #cls: 33/33	890 (890+0) #defs: 89/20 #cls: 33/33	780 (780+0) #defs: 78/20 #cls: 33/33	850 (840+10) #defs: 89/20 #cls: 33/33	770 (770+0) #defs: 78/20 #cls: 33/33	880 (880+0) #defs: 89/20 #cls: 33/33	790 (790+0) #defs: 78/20 #cls: 33/33
53	INVGEN-nested8.map.c	Gen_MH	unknown	1921 (71 + 180 + 1670)	-	71	180 #defs: 9/9	1670 (1650 + 20)	120 (120+0) #defs: 24/9 #cls: 14/14	220 (220+0) #defs: 20/10 #cls: 15/15	160 (150+10) #defs: 26/10 #cls: 14/13	170 (160+10) #defs: 19/9 #cls: 13/13	150 (150+0) #defs: 25/9 #cls: 13/13	170 (170+0) #defs: 19/9 #cls: 13/13	160 (160+0) #defs: 25/9 #cls: 13/13	180 (180+0) #defs: 19/9 #cls: 13/13	160 (160+0) #defs: 25/9 #cls: 13/13	180 (180+0) #defs: 19/9 #cls: 13/13
54	INVGEN-nested9.map.c	Gen_MH	unknown	1682 (72 + 190 + 1420)	-	72	190 #defs: 9/9	1420 (1420 + 0)	130 (130+0) #defs: 23/9 #cls: 13/13	120 (120+0) #defs: 20/9 #cls: 13/13	170 (170+0) #defs: 25/9 #cls: 13/13	130 (130+0) #defs: 20/9 #cls: 13/13	160 (160+0) #defs: 25/9 #cls: 13/13	120 (120+0) #defs: 20/9 #cls: 13/13	170 (170+0) #defs: 25/9 #cls: 13/13	120 (120+0) #defs: 20/9 #cls: 13/13	170 (170+0) #defs: 25/9 #cls: 13/13	130 (130+0) #defs: 20/9 #cls: 13/13
55	INVGEN-NetBSD_glob3_iny.map.c	Gen_MH	safe	438 (78 + 320 + 40)	1	78	320 #defs: 18/18	40 (40 + 0)	40 (40+0) #defs: 17/17 #cls: 18/1	-	-	-	-	-	-	-	-	-
56	INVGEN-NetBSD_g_Ctoc.map.c	Gen_MH	safe	523 (73 + 200 + 250)	2	73	200 #defs: 18/18	250 (240 + 10)	220 (210+10) #defs: 44/18 #cls: 25/25	30 (30+0) #defs: 17/17 #cls: 16/1	-	-	-	-	-	-	-	-
57	INVGEN-NetBSD_loop.map.c	Gen_MH	safe	310 (70 + 140 + 100)	2	70	140 #defs: 9/9	100 (90 + 10)	90 (80+10) #defs: 20/9 #cls: 12/12	10 (10+0) #defs: 6/6 #cls: 5/1	-	-	-	-	-	-	-	-
58	INVGEN-NetBSD_loop_int.map.c	Gen_MH	safe	462 (72 + 240 + 150)	1	72	240 #defs: 11/11	150 (150 + 0)	150 (150+0) #defs: 25/11 #cls: 11/1	-	-	-	-	-	-	-	-	-
59	INVGEN-rajamani_1.map.c	Gen_MH	safe	523 (73 + 270 + 180)	2	73	270 #defs: 12/12	180 (180 + 0)	140 (140+0) #defs: 29/12 #cls: 18/17	40 (40+0) #defs: 13/13 #cls: 12/1	-	-	-	-	-	-	-	-
60	INVGEN-sendmail-close-angle.map.c	Gen_MH	safe	1025 (75 + 370 + 580)	1	75	370 #defs: 24/24	580 (570 + 10)	580 (570+10) #defs: 71/32 #cls: 33/1	-	-	-	-	-	-	-	-	-
61	INVGEN-sendmail-mime-fromqp.map.c	Gen_MH	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_MH	safe	335 (75 + 250 + 10)	1	75	250 #defs: 27/27	10 (10 + 0)	10 (10+0) #defs: 10/10 #cls: 9/1	-	-	-	-	-	-	-	-	-
63	INVGEN-seq-len.map.c	Gen_MH	safe	16077 (77 + 270 + 15730)	1	77	270 #defs: 11/11	15730 (15730 + 0)	15730 (15730+0) #defs: 324/11 #cls: 16/1	-	-	-	-	-	-	-	-	-
64	INVGEN-seq-proc.map.c	Gen_MH	safe	2965 (75 + 210 + 2680)	1	75	210 #defs: 9/9	2680 (2680 + 0)	2680 (2680+0) #defs: 105/9 #cls: 12/1	-	-	-	-	-	-	-	-	-
65	INVGEN-seq-sim.map.c	Gen_MH	safe	1274 (74 + 160 + 1040)	1	74	160 #defs: 9/9	1040 (1040 + 0)	1040 (1040+0) #defs: 90/9 #cls: 12/1	-	-	-	-	-	-	-	-	-
66	INVGEN-seq-z3.map.c	Gen_MH	safe	1324 (74 + 150 + 1100)	1	74	150 #defs: 9/9	1100 (1100 + 0)	1100 (1100+0) #defs: 90/9 #cls: 12/1	-	-	-	-	-	-	-	-	-
67	INVGEN-seq.map.c	Gen_MH	safe	1312 (72 + 120 + 1120)	1	72	120 #defs: 7/7	1120 (1120 + 0)	1120 (1120+0) #defs: 57/7 #cls: 9/1	-	-	-	-	-	-	-	-	-
68	INVGEN-seq2.map.c	Gen_MH	safe	2824 (74 + 190 + 2560)	1	74	190 #defs: 9/9	2560 (2560 + 0)	2560 (2560+0) #defs: 105/9 #cls: 12/1	-	-	-	-	-	-	-	-	-
69	INVGEN-seq3.map.c	Gen_MH	safe	3344 (74 + 230 + 3040)	1	74	230 #defs: 9/9	3040 (3040 + 0)	3040 (3040+0) #defs: 117/9 #cls: 12/1	-	-	-	-	-	-	-	-	-
70	INVGEN-seq4.map.c	Gen_MH	safe	2443 (73 + 230 + 2140)	1	73	230 #defs: 9/9	2140 (2140 + 0)	2140 (2140+0) #defs: 93/9 #cls: 12/1	-	-	-	-	-	-	-	-	-
71	INVGEN-simple.map.c	Gen_MH	safe	128 (68 + 40 + 20)	2	68	40 #defs: 9/9	20 (20 + 0)	10 (10+0) #defs: 15/11 #cls: 13/9	10 (10+0) #defs: 5/5 #cls: 4/1	-	-	-	-	-	-	-	-
72	INVGEN-simple_if.map.c	Gen_MH	safe	158 (68 + 50 + 40)	1	68	50 #defs: 7/7	40 (40 + 0)	40 (40+0) #defs: 16/7 #cls: 8/1	-	-	-	-	-	-	-	-	-
73	INVGEN-simple_nest.map.c	Gen_MH	safe	129 (69 + 30 + 30)	1	69	30 #defs: 8/8	30 (30 + 0)	30 (30+0) #defs: 13/8 #cls: 9/1	-	-	-	-	-	-	-	-	-
74	INVGEN-SpamAssassin-loop.map.c	Gen_MH	safe	16929 (79 + 520 + 16330)	7	79	520 #defs: 42/42	16330 (16220 + 110)	2210 (2200+10) #defs: 129/42 #cls: 56/56	2110 (2080+30) #defs: 125/71 #cls: 79/64	3320 (3300+20) #defs: 147/56 #cls: 63/62	1360 (1350+10) #defs: 117/55 #cls: 62/62	3310 (3280+30) #defs: 148/55 #cls: 62/62	1070 (1070+0) #defs: 100/55 #cls: 62/62	2950 (2940+10) #defs: 131/62 #cls: 65/1	-	-	-
75	INVGEN-SpamAssassin-loop_ok.map.c	Gen_MH	safe	1082 (72 + 160 + 850)	3	72	160 #defs: 12/12	850 (850 + 0)	370 (370+0) #defs: 48/12 #cls: 20/20	200 (200+0) #defs: 27/12 #cls: 19/19	280 (280+0) #defs: 37/15 #cls: 18/1	-	-	-	-	-	-	-
76	INVGEN-split.map.c	Gen_MH	unknown	1100 (70 + 130 + 900)	-	70	130 #defs: 7/7	900 (890 + 10)	50 (50+0) #defs: 14/9 #cls: 13/13	120 (120+0) #defs: 19/10 #cls: 14/14	70 (60+10) #defs: 17/10 #cls: 14/14	90 (90+0) #defs: 18/10 #cls: 14/14	40 (40+0) #defs: 17/10 #cls: 14/14	90 (90+0) #defs: 20/10 #cls: 14/14	90 (90+0) #defs: 21/10 #cls: 14/14	160 (160+0) #defs: 23/11 #cls: 15/15	110 (110+0) #defs: 25/11 #cls: 15/15	80 (80+0) #defs: 19/11 #cls: 15/15
77	INVGEN-string_concat-noarr.map.c	Gen_MH	safe	170 (70 + 80 + 20)	1	70	80 #defs: 11/11	20 (20 + 0)	20 (20+0) #defs: 22/10 #cls: 12/1	-	-	-	-	-	-	-	-	-
78	INVGEN-svd-some-loop.map.c	Gen_MH	timeout iteration #3	200844 (84 + 770 + 199990)	-	84	770 #defs: 55/55	199990 (199710 + 280)	47000 (46980+20) #defs: 443/109 #cls: 197/197	152990 (152730+260) #defs: 824/324 #cls: 406/299	-	-	-	-	-	-	-	-
79	INVGEN-svd1.map.c (*)	Gen_MH	unknown	480625 (85 + 830 + 479710)	-	85	830 #defs: 62/62	479710 (478500 + 1210)	34570 (34530+40) #defs: 415/108 #cls: 134/131	48590 (48530+60) #defs: 451/126 #cls: 152/152	73850 (73800+50) #defs: 449/127 #cls: 151/149	38840 (38740+100) #defs: 379/136 #cls: 157/153	56310 (56110+200) #defs: 403/132 #cls: 152/151	36680 (36570+110) #defs: 374/131 #cls: 151/151	58500 (58280+220) #defs: 400/131 #cls: 151/151	37970 (37860+110) #defs: 374/131 #cls: 151/151	56780 (56570+210) #defs: 400/131 #cls: 151/151	37620 (37510+110) #defs: 374/131 #cls: 151/151
80	INVGEN-svd2.map.c	Gen_MH	safe	2196 (76 + 300 + 1820)	1	76	300 #defs: 18/18	1820 (1820 + 0)	1820 (1820+0) #defs: 105/28 #cls: 42/1	-	-	-	-	-	-	-	-	-
81	INVGEN-svd3.map.c	Gen_MH	safe	3335 (75 + 230 + 3030)	3	75	230 #defs: 15/15	3030 (3010 + 20)	1350 (1340+10) #defs: 77/22 #cls: 40/37	1070 (1060+10) #defs: 76/28 #cls: 45/45	610 (610+0) #defs: 66/26 #cls: 37/1	-	-	-	-	-	-	-
82	INVGEN-svd4.map.c	Gen_MH	timeout iteration #2	56101 (91 + 1220 + 54790)	-	91	1220 #defs: 83/83	54790 (54750 + 40)	54790 (54750+40) #defs: 443/91 #cls: 161/158	-	-	-	-	-	-	-	-	-
83	INVGEN-up-nd.map.c	Gen_MH	safe	261 (71 + 90 + 100)	1	71	90 #defs: 8/8	100 (100 + 0)	100 (100+0) #defs: 22/8 #cls: 10/1	-	-	-	-	-	-	-	-	-
84	INVGEN-up-nested.map.c	Gen_MH	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_MH	safe	250 (70 + 90 + 90)	1	70	90 #defs: 7/7	90 (90 + 0)	90 (90+0) #defs: 20/7 #cls: 8/1	-	-	-	-	-	-	-	-	-
86	INVGEN-up2.map.c	Gen_MH	safe	200 (70 + 70 + 60)	1	70	70 #defs: 6/6	60 (60 + 0)	60 (60+0) #defs: 16/6 #cls: 7/1	-	-	-	-	-	-	-	-	-
87	INVGEN-up3.map.c	Gen_MH	safe	211 (71 + 60 + 80)	1	71	60 #defs: 6/6	80 (80 + 0)	80 (80+0) #defs: 17/6 #cls: 7/1	-	-	-	-	-	-	-	-	-
88	INVGEN-up4.map.c	Gen_MH	safe	200 (70 + 60 + 70)	1	70	60 #defs: 6/6	70 (70 + 0)	70 (70+0) #defs: 16/6 #cls: 7/1	-	-	-	-	-	-	-	-	-
89	INVGEN-up5.map.c	Gen_MH	safe	210 (70 + 70 + 70)	1	70	70 #defs: 6/6	70 (70 + 0)	70 (70+0) #defs: 16/6 #cls: 7/1	-	-	-	-	-	-	-	-	-
90	MAP-CPA-example.map.c	Gen_MH	safe	139 (69 + 50 + 20)	1	69	50 #defs: 7/7	20 (20 + 0)	20 (20+0) #defs: 13/7 #cls: 8/1	-	-	-	-	-	-	-	-	-
91	MAP-disj.map.c	Gen_MH	unknown	490 (130 + 40 + 320)	-	130	40 #defs: 7/7	320 (300 + 20)	20 (20+0) #defs: 15/7 #cls: 10/11	40 (40+0) #defs: 18/8 #cls: 11/11	20 (20+0) #defs: 16/8 #cls: 11/11	40 (40+0) #defs: 18/8 #cls: 11/11	20 (20+0) #defs: 16/8 #cls: 11/11	40 (40+0) #defs: 18/8 #cls: 11/11	30 (20+10) #defs: 16/8 #cls: 11/11	40 (40+0) #defs: 18/8 #cls: 11/11	30 (20+10) #defs: 16/8 #cls: 11/11	40 (40+0) #defs: 18/8 #cls: 11/11
92	MAP-forward.map.c	Gen_MH	unknown	1931 (71 + 200 + 1660)	-	71	200 #defs: 10/10	1660 (1620 + 40)	90 (80+10) #defs: 20/11 #cls: 16/14	310 (300+10) #defs: 21/11 #cls: 15/15	90 (90+0) #defs: 20/11 #cls: 15/15	220 (220+0) #defs: 21/11 #cls: 15/15	90 (90+0) #defs: 20/11 #cls: 15/15	240 (230+10) #defs: 21/11 #cls: 15/15	90 (90+0) #defs: 20/11 #cls: 15/15	230 (220+10) #defs: 21/11 #cls: 15/15	80 (80+0) #defs: 20/11 #cls: 15/15	220 (220+0) #defs: 21/11 #cls: 15/15
93	MAP-interpolants_needed-pepm-proc.c.map.c	Gen_MH	safe	381 (71 + 80 + 230)	2	71	80 #defs: 11/11	230 (230 + 0)	120 (120+0) #defs: 39/11 #cls: 18/18	110 (110+0) #defs: 25/18 #cls: 25/1	-	-	-	-	-	-	-	-
94	MAP-pepm-scp-example1.c.map.c	Gen_MH	safe	190 (70 + 80 + 40)	1	70	80 #defs: 9/9	40 (40 + 0)	40 (40+0) #defs: 19/10 #cls: 12/1	-	-	-	-	-	-	-	-	-
95	MAP-pepm-scp-example2.c.map.c	Gen_MH	unknown	419 (69 + 50 + 300)	-	69	50 #defs: 7/7	300 (290 + 10)	70 (70+0) #defs: 23/8 #cls: 9/8	20 (20+0) #defs: 12/7 #cls: 8/8	40 (30+10) #defs: 15/7 #cls: 8/8	10 (10+0) #defs: 12/7 #cls: 8/8	30 (30+0) #defs: 15/7 #cls: 8/8	20 (20+0) #defs: 12/7 #cls: 8/8	40 (40+0) #defs: 15/7 #cls: 8/8	20 (20+0) #defs: 12/7 #cls: 8/8	30 (30+0) #defs: 15/7 #cls: 8/8	20 (20+0) #defs: 12/7 #cls: 8/8
96	MAP-re1-LOPSTR-pepm-proc.c.map.c	Gen_MH	safe	190 (70 + 80 + 40)	1	70	80 #defs: 9/9	40 (40 + 0)	40 (40+0) #defs: 19/10 #cls: 12/1	-	-	-	-	-	-	-	-	-
97	MAP-selection_sort-pepm-proc.c.map.c	Gen_MH	safe	5696 (76 + 200 + 5420)	6	76	200 #defs: 19/19	5420 (5240 + 180)	610 (600+10) #defs: 62/42 #cls: 61/58	1680 (1660+20) #defs: 119/87 #cls: 105/105	1700 (1610+90) #defs: 121/84 #cls: 101/101	640 (610+30) #defs: 99/84 #cls: 101/101	740 (710+30) #defs: 91/69 #cls: 81/81	50 (50+0) #defs: 17/17 #cls: 18/1	-	-	-	-
98	MAP-singleloop2-pepm-proc.c.map.c	Gen_MH	safe	290 (70 + 70 + 150)	2	70	70 #defs: 9/9	150 (150 + 0)	70 (70+0) #defs: 21/10 #cls: 13/10	80 (80+0) #defs: 9/5 #cls: 5/1	-	-	-	-	-	-	-	-
99	SVCOMP13-locks-test_locks_10_safe.map.c	Gen_MH	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_MH	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_MH	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_MH	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_MH	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_MH	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_MH	safe	139 (69 + 50 + 20)	1	69	50 #defs: 7/7	20 (20 + 0)	20 (20+0) #defs: 13/7 #cls: 7/1	-	-	-	-	-	-	-	-	-
106	SVCOMP13-loops-count_up_down_unsafe.map.c	Gen_MH	unknown	340 (70 + 80 + 190)	-	70	80 #defs: 7/7	190 (180 + 10)	20 (20+0) #defs: 13/7 #cls: 8/8	20 (20+0) #defs: 9/7 #cls: 8/8	20 (20+0) #defs: 11/7 #cls: 8/8	20 (10+10) #defs: 9/7 #cls: 8/8	20 (20+0) #defs: 11/7 #cls: 8/8	20 (20+0) #defs: 9/7 #cls: 8/8	20 (20+0) #defs: 11/7 #cls: 8/8	20 (20+0) #defs: 9/7 #cls: 8/8	20 (20+0) #defs: 11/7 #cls: 8/8	10 (10+0) #defs: 9/7 #cls: 8/8
107	SVCOMP13-loops-for_bounded_loop1_unsafe.map.c	Gen_MH	unknown	2792 (72 + 200 + 2520)	-	72	200 #defs: 18/18	2520 (2480 + 40)	270 (260+10) #defs: 47/21 #cls: 32/27	240 (240+0) #defs: 43/18 #cls: 27/27	260 (250+10) #defs: 42/18 #cls: 27/27	260 (260+0) #defs: 46/18 #cls: 27/27	260 (260+0) #defs: 42/18 #cls: 27/27	250 (250+0) #defs: 44/18 #cls: 27/27	250 (240+10) #defs: 42/18 #cls: 27/27	240 (240+0) #defs: 46/18 #cls: 27/27	240 (230+10) #defs: 42/18 #cls: 27/27	250 (250+0) #defs: 44/18 #cls: 27/27
108	SVCOMP13-loops-for_infinite_loop_1_safe.map.c	Gen_MH	safe	199 (69 + 80 + 50)	1	69	80 #defs: 10/10	50 (50 + 0)	50 (50+0) #defs: 17/11 #cls: 12/1	-	-	-	-	-	-	-	-	-
109	SVCOMP13-loops-for_infinite_loop_2_safe.map.c	Gen_MH	safe	169 (69 + 70 + 30)	1	69	70 #defs: 10/10	30 (20 + 10)	30 (20+10) #defs: 17/11 #cls: 12/1	-	-	-	-	-	-	-	-	-
110	SVCOMP13-loops-kundu_unsafe.map.c	Gen_MH	timeout iteration #2	88443 (123 + 5260 + 83060)	-	123	5260 #defs: 93/93	83060 (82990 + 70)	83060 (82990+70) #defs: 444/127 #cls: 211/211	-	-	-	-	-	-	-	-	-
111	SVCOMP13-loops-pc_sfifo_1_safe.map.c	Gen_MH	timeout iteration #3	92097 (107 + 3110 + 88880)	-	107	3110 #defs: 59/59	88880 (88160 + 720)	12850 (12820+30) #defs: 268/86 #cls: 126/118	76030 (75340+690) #defs: 489/296 #cls: 418/409	-	-	-	-	-	-	-	-
112	SVCOMP13-loops-pc_sfifo_2_unsafe.map.c	Gen_MH	timeout iteration #2	70099 (119 + 4190 + 65790)	-	119	4190 #defs: 82/82	65790 (65740 + 50)	65790 (65740+50) #defs: 461/127 #cls: 190/190	-	-	-	-	-	-	-	-	-
113	SVCOMP13-loops-sum01_bug02_sum01_bug02_basease_unsafe.c.map.c	Gen_MH	unknown	1792 (72 + 110 + 1610)	-	72	110 #defs: 10/10	1610 (1530 + 80)	340 (320+20) #defs: 40/23 #cls: 29/28	240 (240+0) #defs: 33/24 #cls: 29/24	100 (90+10) #defs: 25/19 #cls: 24/24	150 (140+10) #defs: 27/19 #cls: 24/24	100 (90+10) #defs: 25/19 #cls: 24/24	150 (150+0) #defs: 27/19 #cls: 24/24	110 (90+20) #defs: 25/19 #cls: 24/24	160 (160+0) #defs: 26/19 #cls: 24/24	100 (90+10) #defs: 25/19 #cls: 24/24	160 (160+0) #defs: 28/19 #cls: 24/24
114	SVCOMP13-loops-sum01_bug02_unsafe.map.c	Gen_MH	unknown	2124 (74 + 140 + 1910)	-	74	140 #defs: 10/10	1910 (1880 + 30)	190 (180+10) #defs: 29/14 #cls: 16/12	290 (290+0) #defs: 16/11 #cls: 13/13	190 (190+0) #defs: 25/11 #cls: 13/13	190 (190+0) #defs: 19/11 #cls: 13/13	150 (140+10) #defs: 23/11 #cls: 13/13	200 (200+0) #defs: 19/11 #cls: 13/13	160 (160+0) #defs: 23/11 #cls: 13/13	200 (200+0) #defs: 19/11 #cls: 13/13	140 (140+0) #defs: 23/11 #cls: 13/13	200 (190+10) #defs: 19/11 #cls: 13/13
115	SVCOMP13-loops-sum01_safe.map.c	Gen_MH	safe	281 (71 + 100 + 110)	2	71	100 #defs: 9/9	110 (110 + 0)	100 (100+0) #defs: 25/13 #cls: 14/10	10 (10+0) #defs: 7/7 #cls: 6/1	-	-	-	-	-	-	-	-
116	SVCOMP13-loops-sum01_unsafe.map.c	Gen_MH	unknown	1461 (71 + 110 + 1280)	-	71	110 #defs: 10/10	1280 (1280 + 0)	130 (130+0) #defs: 29/14 #cls: 16/12	230 (230+0) #defs: 16/11 #cls: 13/13	140 (140+0) #defs: 25/11 #cls: 13/13	120 (120+0) #defs: 19/11 #cls: 13/13	110 (110+0) #defs: 23/11 #cls: 13/13	120 (120+0) #defs: 19/11 #cls: 13/13	110 (110+0) #defs: 23/11 #cls: 13/13	100 (100+0) #defs: 19/11 #cls: 13/13	120 (120+0) #defs: 23/11 #cls: 13/13	100 (100+0) #defs: 19/11 #cls: 13/13
117	SVCOMP13-loops-sum03_safe.map.c	Gen_MH	safe	281 (71 + 140 + 70)	1	71	140 #defs: 10/10	70 (70 + 0)	70 (70+0) #defs: 17/9 #cls: 9/1	-	-	-	-	-	-	-	-	-
118	SVCOMP13-loops-sum03_unsafe.map.c	Gen_MH	unknown	2241 (71 + 190 + 1980)	-	71	190 #defs: 11/11	1980 (1970 + 10)	160 (160+0) #defs: 27/13 #cls: 21/21	280 (280+0) #defs: 33/16 #cls: 26/26	200 (200+0) #defs: 34/20 #cls: 27/21	220 (220+0) #defs: 31/14 #cls: 21/21	160 (160+0) #defs: 28/14 #cls: 21/21	220 (220+0) #defs: 31/14 #cls: 21/21	150 (150+0) #defs: 28/14 #cls: 21/21	220 (210+10) #defs: 31/14 #cls: 21/21	150 (150+0) #defs: 28/14 #cls: 21/21	220 (220+0) #defs: 31/14 #cls: 21/21
119	SVCOMP13-loops-sum04_safe.map.c	Gen_MH	safe	150 (70 + 50 + 30)	2	70	50 #defs: 8/8	30 (20 + 10)	30 (20+10) #defs: 12/10 #cls: 11/9	0 (0+0) #defs: 7/7 #cls: 6/1	-	-	-	-	-	-	-	-
120	SVCOMP13-loops-sum04_unsafe.map.c	Gen_MH	unknown	580 (70 + 40 + 470)	-	70	40 #defs: 9/9	470 (440 + 30)	80 (80+0) #defs: 28/16 #cls: 19/16	60 (60+0) #defs: 20/15 #cls: 17/11	30 (30+0) #defs: 15/9 #cls: 11/11	60 (50+10) #defs: 14/9 #cls: 11/11	30 (30+0) #defs: 15/9 #cls: 11/11	40 (30+10) #defs: 14/9 #cls: 11/11	50 (40+10) #defs: 15/9 #cls: 11/11	50 (50+0) #defs: 14/9 #cls: 11/11	20 (20+0) #defs: 15/9 #cls: 11/11	50 (50+0) #defs: 14/9 #cls: 11/11
121	SVCOMP13-loops-terminator_02_safe.map.c	Gen_MH	safe	324 (74 + 210 + 40)	1	74	210 #defs: 20/20	40 (30 + 10)	40 (30+10) #defs: 20/20 #cls: 21/1	-	-	-	-	-	-	-	-	-
122	SVCOMP13-loops-terminator_02_unsafe.map.c	Gen_MH	unsafe	1362 (72 + 120 + 1170)	3	72	120 #defs: 12/12	1170 (1140 + 30)	330 (330+0) #defs: 40/14 #cls: 18/18	350 (340+10) #defs: 33/22 #cls: 29/29	490 (470+20) #defs: 63/31 #cls: 38/36	-	-	-	-	-	-	-
123	SVCOMP13-loops-terminator_03_safe.map.c	Gen_MH	safe	221 (71 + 80 + 70)	1	71	80 #defs: 12/12	70 (70 + 0)	70 (70+0) #defs: 27/15 #cls: 15/1	-	-	-	-	-	-	-	-	-
124	SVCOMP13-loops-terminator_03_unsafe.map.c	Gen_MH	unknown	667 (77 + 70 + 520)	-	77	70 #defs: 12/12	520 (510 + 10)	60 (60+0) #defs: 24/14 #cls: 15/12	30 (30+0) #defs: 16/11 #cls: 12/12	70 (60+10) #defs: 21/11 #cls: 12/12	40 (40+0) #defs: 16/11 #cls: 12/12	70 (70+0) #defs: 21/11 #cls: 12/12	30 (30+0) #defs: 16/11 #cls: 12/12	80 (80+0) #defs: 21/11 #cls: 12/12	40 (40+0) #defs: 16/11 #cls: 12/12	70 (70+0) #defs: 21/11 #cls: 12/12	30 (30+0) #defs: 16/11 #cls: 12/12
125	SVCOMP13-loops-token_ring01_safe.map.c	Gen_MH	timeout iteration #1	4117 (117 + 4000 + 0)	-	117	4000 #defs: 116/116	0 (0 + 0)	-	-	-	-	-	-	-	-	-	-
126	SVCOMP13-loops-token_ring01_unsafe.map.c	Gen_MH	timeout iteration #2	184705 (125 + 6220 + 178360)	-	125	6220 #defs: 125/125	178360 (178160 + 200)	178360 (178160+200) #defs: 500/194 #cls: 245/245	-	-	-	-	-	-	-	-	-
127	SVCOMP13-loops-transmitter_unsafe.map.c	Gen_MH	timeout iteration #2	227191 (111 + 2530 + 224550)	-	111	2530 #defs: 100/100	224550 (220880 + 3670)	224550 (220880+3670) #defs: 743/488 #cls: 532/416	-	-	-	-	-	-	-	-	-
128	SVCOMP13-loops-trex01_safe.map.c	Gen_MH	safe	3395 (75 + 210 + 3110)	1	75	210 #defs: 15/15	3110 (3110 + 0)	3110 (3110+0) #defs: 179/32 #cls: 43/1	-	-	-	-	-	-	-	-	-
129	SVCOMP13-loops-trex01_unsafe.map.c	Gen_MH	unsafe	1885 (75 + 210 + 1600)	2	75	210 #defs: 15/15	1600 (1580 + 20)	1570 (1560+10) #defs: 131/35 #cls: 49/22	30 (20+10) #defs: 19/19 #cls: 21/20	-	-	-	-	-	-	-	-
130	SVCOMP13-loops-trex02_safe.map.c	Gen_MH	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_MH	unsafe	140 (70 + 50 + 20)	2	70	50 #defs: 11/11	20 (20 + 0)	10 (10+0) #defs: 13/13 #cls: 16/15	10 (10+0) #defs: 7/7 #cls: 7/6	-	-	-	-	-	-	-	-
132	SVCOMP13-loops-trex03_safe.map.c	Gen_MH	safe	2097 (77 + 500 + 1520)	1	77	500 #defs: 20/20	1520 (1520 + 0)	1520 (1520+0) #defs: 113/28 #cls: 35/1	-	-	-	-	-	-	-	-	-
133	SVCOMP13-loops-trex03_unsafe.map.c	Gen_MH	unsafe	10508 (78 + 630 + 9800)	3	78	630 #defs: 20/20	9800 (9590 + 210)	1800 (1780+20) #defs: 128/31 #cls: 41/43	1680 (1650+30) #defs: 113/90 #cls: 107/79	6320 (6160+160) #defs: 228/84 #cls: 101/100	-	-	-	-	-	-	-
134	SVCOMP13-loops-trex04_safe.map.c	Gen_MH	safe	28797 (77 + 350 + 28370)	1	77	350 #defs: 24/24	28370 (28270 + 100)	28370 (28270+100) #defs: 474/474 #cls: 746/1	-	-	-	-	-	-	-	-	-
135	SVCOMP13-loops-while_infinite_loop_1_safe.map.c	Gen_MH	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_MH	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_MH	safe	98 (68 + 20 + 10)	1	68	20 #defs: 8/8	10 (10 + 0)	10 (10+0) #defs: 8/8 #cls: 8/1	-	-	-	-	-	-	-	-	-
138	SVCOMP13-loops-while_infinite_loop_4_unsafe.map.c	Gen_MH	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_MH	unknown	519484 (94 + 750 + 518640)	-	94	750 #defs: 50/50	518640 (515530 + 3110)	16890 (16880+10) #defs: 343/169 #cls: 280/280	55970 (55190+780) #defs: 554/393 #cls: 526/338	42700 (42170+530) #defs: 397/279 #cls: 372/336	80540 (80200+340) #defs: 457/243 #cls: 336/336	33780 (33620+160) #defs: 358/243 #cls: 336/336	69740 (69410+330) #defs: 458/243 #cls: 336/336	33020 (32870+150) #defs: 358/243 #cls: 336/336	74080 (73760+320) #defs: 462/243 #cls: 336/336	35920 (35760+160) #defs: 358/243 #cls: 336/336	76000 (75670+330) #defs: 465/243 #cls: 336/336
140	SVCOMP13-sshsimpl-s3_srvr_1b_safeil.c.map.c	Gen_MH	unknown	6319 (79 + 170 + 6070)	-	79	170 #defs: 25/25	6070 (6010 + 60)	610 (610+0) #defs: 89/36 #cls: 59/59	660 (630+30) #defs: 97/59 #cls: 80/63	620 (620+0) #defs: 89/44 #cls: 65/65	520 (510+10) #defs: 83/49 #cls: 69/67	730 (730+0) #defs: 95/47 #cls: 67/67	470 (460+10) #defs: 82/50 #cls: 71/71	740 (740+0) #defs: 97/50 #cls: 71/71	520 (520+0) #defs: 82/50 #cls: 71/71	720 (720+0) #defs: 96/50 #cls: 71/71	480 (470+10) #defs: 80/50 #cls: 71/71
141	SVCOMP13-systemc-kundu1_unsafeil.c.map.c	Gen_MH	timeout iteration #2	86662 (122 + 5310 + 81230)	-	122	5310 #defs: 93/93	81230 (81160 + 70)	81230 (81160+70) #defs: 444/127 #cls: 211/211	-	-	-	-	-	-	-	-	-
142	SVCOMP13-systemc-pc_sfifo_1_safeil.c.map.c	Gen_MH	timeout iteration #3	89546 (106 + 3170 + 86270)	-	106	3170 #defs: 59/59	86270 (85550 + 720)	12960 (12930+30) #defs: 268/86 #cls: 126/118	73310 (72620+690) #defs: 489/296 #cls: 418/409	-	-	-	-	-	-	-	-
143	SVCOMP13-systemc-pc_sfifo_1_unsafeil.c.map.c	Gen_MH	timeout iteration #3	58457 (107 + 3130 + 55220)	-	107	3130 #defs: 60/60	55220 (54240 + 980)	18560 (18530+30) #defs: 296/83 #cls: 125/121	36660 (35710+950) #defs: 505/334 #cls: 461/461	-	-	-	-	-	-	-	-
144	SVCOMP13-systemc-pc_sfifo_2_safeil.c.map.c	Gen_MH	timeout iteration #2	207698 (118 + 4230 + 203350)	-	118	4230 #defs: 81/81	203350 (203310 + 40)	203350 (203310+40) #defs: 697/119 #cls: 179/179	-	-	-	-	-	-	-	-	-
145	SVCOMP13-systemc-pc_sfifo_2_unsafeil.c.map.c	Gen_MH	timeout iteration #2	69968 (118 + 4280 + 65570)	-	118	4280 #defs: 82/82	65570 (65520 + 50)	65570 (65520+50) #defs: 461/127 #cls: 190/190	-	-	-	-	-	-	-	-	-
146	SVCOMP13-systemc-pc_sfifo_3_safeil.c.map.c	Gen_MH	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_MH	timeout iteration #2	288566 (116 + 4080 + 284370)	-	116	4080 #defs: 116/116	284370 (280450 + 3920)	284370 (280450+3920) #defs: 793/528 #cls: 573/387	-	-	-	-	-	-	-	-	-
148	SVCOMP13-systemc-token_ring.01_unsafeil.c.map.c (*)	Gen_MH	timeout iteration #2	300969 (119 + 4160 + 296690)	-	119	4160 #defs: 120/120	296690 (292810 + 3880)	296690 (292810+3880) #defs: 797/532 #cls: 579/393	-	-	-	-	-	-	-	-	-
149	SVCOMP13-systemc-transmitter.01_unsafeil.c.map.c	Gen_MH	timeout iteration #2	210122 (112 + 2510 + 207500)	-	112	2510 #defs: 100/100	207500 (203810 + 3690)	207500 (203810+3690) #defs: 743/488 #cls: 532/416	-	-	-	-	-	-	-	-	-
150	SVCOMP13-systemc-transmitter.02_unsafeil.c.map.c	Gen_MH	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_MH	safe	118 (68 + 40 + 10)	1	68	40 #defs: 8/8	10 (10 + 0)	10 (10+0) #defs: 11/9 #cls: 10/1	-	-	-	-	-	-	-	-	-
152	TRACER-test1-unsafe.map.c	Gen_MH	unsafe	921 (71 + 90 + 760)	1	71	90 #defs: 15/15	760 (730 + 30)	760 (730+30) #defs: 107/107 #cls: 114/112	-	-	-	-	-	-	-	-	-
153	TRACER-test1.map.c	Gen_MH	safe	730 (70 + 70 + 590)	1	70	70 #defs: 11/11	590 (590 + 0)	590 (590+0) #defs: 83/83 #cls: 82/1	-	-	-	-	-	-	-	-	-
154	TRACER-test2-unsafe.map.c	Gen_MH	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_MH	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_MH	unsafe	130 (70 + 50 + 10)	1	70	50 #defs: 9/9	10 (10 + 0)	10 (10+0) #defs: 15/15 #cls: 17/22	-	-	-	-	-	-	-	-	-
157	TRACER-test3.map.c	Gen_MH	safe	149 (69 + 60 + 20)	1	69	60 #defs: 9/9	20 (10 + 10)	20 (10+10) #defs: 15/15 #cls: 14/1	-	-	-	-	-	-	-	-	-
158	TRACER-testabs1.map.c	Gen_MH	safe	108 (68 + 30 + 10)	1	68	30 #defs: 6/6	10 (10 + 0)	10 (10+0) #defs: 8/8 #cls: 7/1	-	-	-	-	-	-	-	-	-
159	TRACER-testabs12.map.c	Gen_MH	safe	160 (70 + 60 + 30)	2	70	60 #defs: 11/11	30 (30 + 0)	20 (20+0) #defs: 16/14 #cls: 16/10	10 (10+0) #defs: 6/6 #cls: 5/1	-	-	-	-	-	-	-	-
160	TRACER-testabs13.map.c	Gen_MH	safe	98 (68 + 20 + 10)	2	68	20 #defs: 6/6	10 (10 + 0)	10 (10+0) #defs: 9/7 #cls: 8/7	0 (0+0) #defs: 5/5 #cls: 4/1	-	-	-	-	-	-	-	-
161	TRACER-testabs14.map.c	Gen_MH	safe	171 (71 + 70 + 30)	2	71	70 #defs: 9/9	30 (30 + 0)	20 (20+0) #defs: 17/13 #cls: 16/15	10 (10+0) #defs: 14/12 #cls: 12/1	-	-	-	-	-	-	-	-
162	TRACER-testabs15.map.c	Gen_MH	unknown	2071 (71 + 140 + 1860)	-	71	140 #defs: 8/8	1860 (1820 + 40)	110 (110+0) #defs: 19/10 #cls: 14/14	260 (260+0) #defs: 19/11 #cls: 15/15	90 (80+10) #defs: 18/11 #cls: 15/15	390 (390+0) #defs: 30/11 #cls: 15/15	100 (90+10) #defs: 18/11 #cls: 15/15	190 (190+0) #defs: 19/11 #cls: 15/15	70 (60+10) #defs: 18/11 #cls: 15/15	370 (370+0) #defs: 30/11 #cls: 15/15	90 (80+10) #defs: 18/11 #cls: 15/15	190 (190+0) #defs: 19/11 #cls: 15/15
163	TRACER-testabs2.map.c	Gen_MH	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_MH	timeout iteration #1	2061 (91 + 1970 + 0)	-	91	1970 #defs: 25/25	0 (0 + 0)	-	-	-	-	-	-	-	-	-	-
165	TRACER-testabs6.map.c	Gen_MH	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_MH	safe	117 (67 + 40 + 10)	2	67	40 #defs: 6/6	10 (10 + 0)	0 (0+0) #defs: 9/7 #cls: 8/7	10 (10+0) #defs: 5/5 #cls: 4/1	-	-	-	-	-	-	-	-
167	TRACER-testabs8.map.c	Gen_MH	safe	290 (250 + 30 + 10)	2	250	30 #defs: 6/6	10 (10 + 0)	10 (10+0) #defs: 9/7 #cls: 8/7	0 (0+0) #defs: 5/5 #cls: 4/1	-	-	-	-	-	-	-	-
168	TRACER-testabs9.map.c	Gen_MH	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_MH	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_MH	safe	151 (71 + 70 + 10)	1	71	70 #defs: 8/8	10 (10 + 0)	10 (10+0) #defs: 13/13 #cls: 12/1	-	-	-	-	-	-	-	-	-
171	TRACER-testfunc11.map.c	Gen_MH	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_MH	unsafe	129 (69 + 50 + 10)	1	69	50 #defs: 8/8	10 (10 + 0)	10 (10+0) #defs: 18/18 #cls: 19/14	-	-	-	-	-	-	-	-	-
173	TRACER-testfunc13-unsafe.map.c	Gen_MH	unsafe	240 (70 + 60 + 110)	2	70	60 #defs: 9/9	110 (100 + 10)	100 (90+10) #defs: 24/16 #cls: 26/15	10 (10+0) #defs: 11/11 #cls: 12/13	-	-	-	-	-	-	-	-
174	TRACER-testfunc14.map.c	Gen_MH	safe	241 (71 + 70 + 100)	1	71	70 #defs: 9/9	100 (90 + 10)	100 (90+10) #defs: 24/16 #cls: 25/1	-	-	-	-	-	-	-	-	-
175	TRACER-testfunc3.map.c	Gen_MH	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_MH	unsafe	161 (71 + 70 + 20)	1	71	70 #defs: 10/10	20 (20 + 0)	20 (20+0) #defs: 19/19 #cls: 22/9	-	-	-	-	-	-	-	-	-
177	TRACER-testloop1.map.c	Gen_MH	safe	190 (70 + 70 + 50)	1	70	70 #defs: 7/7	50 (50 + 0)	50 (50+0) #defs: 22/10 #cls: 11/1	-	-	-	-	-	-	-	-	-
178	TRACER-testloop10.map.c	Gen_MH	safe	150 (70 + 70 + 10)	1	70	70 #defs: 8/8	10 (10 + 0)	10 (10+0) #defs: 9/8 #cls: 10/1	-	-	-	-	-	-	-	-	-
179	TRACER-testloop11.map.c	Gen_MH	safe	231 (71 + 80 + 80)	1	71	80 #defs: 12/12	80 (80 + 0)	80 (80+0) #defs: 30/12 #cls: 18/1	-	-	-	-	-	-	-	-	-
180	TRACER-testloop12.map.c	Gen_MH	safe	160 (70 + 50 + 40)	2	70	50 #defs: 8/8	40 (40 + 0)	40 (40+0) #defs: 17/9 #cls: 11/11	0 (0+0) #defs: 7/7 #cls: 6/1	-	-	-	-	-	-	-	-
181	TRACER-testloop13.map.c	Gen_MH	safe	169 (69 + 90 + 10)	1	69	90 #defs: 8/8	10 (10 + 0)	10 (10+0) #defs: 10/9 #cls: 11/1	-	-	-	-	-	-	-	-	-
182	TRACER-testloop14.map.c	Gen_MH	safe	169 (69 + 70 + 30)	1	69	70 #defs: 10/10	30 (30 + 0)	30 (30+0) #defs: 17/10 #cls: 11/1	-	-	-	-	-	-	-	-	-
183	TRACER-testloop15.map.c	Gen_MH	safe	128 (68 + 40 + 20)	2	68	40 #defs: 6/6	20 (20 + 0)	10 (10+0) #defs: 9/7 #cls: 8/7	10 (10+0) #defs: 5/5 #cls: 4/1	-	-	-	-	-	-	-	-
184	TRACER-testloop16.map.c	Gen_MH	safe	158 (68 + 50 + 40)	1	68	50 #defs: 7/7	40 (40 + 0)	40 (40+0) #defs: 15/7 #cls: 8/1	-	-	-	-	-	-	-	-	-
185	TRACER-testloop17.map.c	Gen_MH	safe	220 (70 + 100 + 50)	2	70	100 #defs: 10/10	50 (40 + 10)	40 (30+10) #defs: 16/12 #cls: 15/11	10 (10+0) #defs: 5/5 #cls: 4/1	-	-	-	-	-	-	-	-
186	TRACER-testloop2.map.c	Gen_MH	safe	129 (69 + 40 + 20)	1	69	40 #defs: 7/7	20 (20 + 0)	20 (20+0) #defs: 10/10 #cls: 11/1	-	-	-	-	-	-	-	-	-
187	TRACER-testloop20.map.c	Gen_MH	safe	231 (71 + 80 + 80)	1	71	80 #defs: 12/12	80 (80 + 0)	80 (80+0) #defs: 30/12 #cls: 18/1	-	-	-	-	-	-	-	-	-
188	TRACER-testloop21.map.c	Gen_MH	safe	229 (69 + 60 + 100)	1	69	60 #defs: 8/8	100 (100 + 0)	100 (100+0) #defs: 28/12 #cls: 13/1	-	-	-	-	-	-	-	-	-
189	TRACER-testloop22.map.c	Gen_MH	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_MH	unknown	199 (69 + 60 + 70)	-	69	60 #defs: 7/7	70 (70 + 0)	10 (10+0) #defs: 11/10 #cls: 12/10	10 (10+0) #defs: 9/8 #cls: 9/8	10 (10+0) #defs: 8/7 #cls: 8/8	10 (10+0) #defs: 8/7 #cls: 8/8	10 (10+0) #defs: 8/7 #cls: 8/8	10 (10+0) #defs: 8/7 #cls: 8/8	0 (0+0) #defs: 8/7 #cls: 8/8	0 (0+0) #defs: 8/7 #cls: 8/8	10 (10+0) #defs: 8/7 #cls: 8/8	0 (0+0) #defs: 8/7 #cls: 8/8
191	TRACER-testloop28-unsafe.map.c	Gen_MH	unknown	540 (70 + 50 + 420)	-	70	50 #defs: 8/8	420 (420 + 0)	40 (40+0) #defs: 17/9 #cls: 11/11	40 (40+0) #defs: 13/9 #cls: 11/11	40 (40+0) #defs: 17/9 #cls: 11/11	40 (40+0) #defs: 13/9 #cls: 11/11	50 (50+0) #defs: 17/9 #cls: 11/11	40 (40+0) #defs: 13/9 #cls: 11/11	50 (50+0) #defs: 17/9 #cls: 11/11	40 (40+0) #defs: 13/9 #cls: 11/11	40 (40+0) #defs: 17/9 #cls: 11/11	40 (40+0) #defs: 13/9 #cls: 11/11
192	TRACER-testloop29.map.c	Gen_MH	unknown	178 (68 + 30 + 80)	-	68	30 #defs: 7/7	80 (80 + 0)	10 (10+0) #defs: 13/9 #cls: 11/9	10 (10+0) #defs: 11/7 #cls: 9/9	10 (10+0) #defs: 11/7 #cls: 9/9	10 (10+0) #defs: 11/7 #cls: 9/9	10 (10+0) #defs: 11/7 #cls: 9/9	0 (0+0) #defs: 11/7 #cls: 9/9	10 (10+0) #defs: 11/7 #cls: 9/9	10 (10+0) #defs: 11/7 #cls: 9/9	10 (10+0) #defs: 11/7 #cls: 9/9	0 (0+0) #defs: 11/7 #cls: 9/9
193	TRACER-testloop3-unsafe.map.c	Gen_MH	unsafe	169 (69 + 60 + 40)	2	69	60 #defs: 7/7	40 (40 + 0)	20 (20+0) #defs: 10/10 #cls: 12/8	20 (20+0) #defs: 11/7 #cls: 8/6	-	-	-	-	-	-	-	-
194	TRACER-testloop4.map.c	Gen_MH	safe	118 (68 + 50 + 0)	1	68	50 #defs: 6/6	0 (0 + 0)	0 (0+0) #defs: 8/6 #cls: 7/1	-	-	-	-	-	-	-	-	-
195	TRACER-testloop5-unsafe.map.c	Gen_MH	unknown	238 (68 + 30 + 140)	-	68	30 #defs: 7/7	140 (140 + 0)	20 (20+0) #defs: 12/8 #cls: 9/8	20 (20+0) #defs: 11/7 #cls: 8/8	10 (10+0) #defs: 11/7 #cls: 8/8	20 (20+0) #defs: 11/7 #cls: 8/8	20 (20+0) #defs: 11/7 #cls: 8/8	20 (20+0) #defs: 11/7 #cls: 8/8	10 (10+0) #defs: 11/7 #cls: 8/8	10 (10+0) #defs: 11/7 #cls: 8/8	10 (10+0) #defs: 11/7 #cls: 8/8	0 (0+0) #defs: 11/7 #cls: 8/8
196	TRACER-testloop6.map.c	Gen_MH	safe	250 (70 + 110 + 70)	1	70	110 #defs: 12/12	70 (70 + 0)	70 (70+0) #defs: 27/13 #cls: 15/1	-	-	-	-	-	-	-	-	-
197	TRACER-testloop7.map.c	Gen_MH	safe	129 (69 + 40 + 20)	1	69	40 #defs: 9/9	20 (20 + 0)	20 (20+0) #defs: 15/9 #cls: 10/1	-	-	-	-	-	-	-	-	-
198	TRACER-testloop8-unsafe.map.c	Gen_MH	unknown	400 (70 + 80 + 250)	-	70	80 #defs: 8/8	250 (230 + 20)	20 (20+0) #defs: 14/8 #cls: 11/11	20 (20+0) #defs: 14/9 #cls: 12/12	20 (20+0) #defs: 17/9 #cls: 12/12	30 (20+10) #defs: 14/9 #cls: 12/12	30 (30+0) #defs: 17/9 #cls: 12/12	20 (20+0) #defs: 14/9 #cls: 12/12	30 (30+0) #defs: 17/9 #cls: 12/12	20 (20+0) #defs: 14/9 #cls: 12/12	40 (30+10) #defs: 17/9 #cls: 12/12	20 (20+0) #defs: 14/9 #cls: 12/12
199	TRACER-testloop9.map.c	Gen_MH	unknown	902 (72 + 100 + 730)	-	72	100 #defs: 10/10	730 (730 + 0)	70 (70+0) #defs: 26/12 #cls: 17/15	90 (90+0) #defs: 22/10 #cls: 15/15	40 (40+0) #defs: 22/10 #cls: 15/15	90 (90+0) #defs: 22/10 #cls: 15/15	60 (60+0) #defs: 22/10 #cls: 15/15	100 (100+0) #defs: 22/10 #cls: 15/15	60 (60+0) #defs: 22/10 #cls: 15/15	80 (80+0) #defs: 22/10 #cls: 15/15	50 (50+0) #defs: 22/10 #cls: 15/15	90 (90+0) #defs: 22/10 #cls: 15/15
200	TRACER-testwp1-unsafe.map.c	Gen_MH	unsafe	118 (68 + 30 + 20)	1	68	30 #defs: 7/7	20 (20 + 0)	20 (20+0) #defs: 14/14 #cls: 15/11	-	-	-	-	-	-	-	-	-
201	TRACER-testwp10.map.c	Gen_MH	safe	129 (69 + 40 + 20)	1	69	40 #defs: 8/8	20 (10 + 10)	20 (10+10) #defs: 16/16 #cls: 16/1	-	-	-	-	-	-	-	-	-
202	TRACER-testwp11.map.c	Gen_MH	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_MH	safe	251 (71 + 90 + 90)	1	71	90 #defs: 11/11	90 (90 + 0)	90 (90+0) #defs: 34/34 #cls: 33/1	-	-	-	-	-	-	-	-	-
204	TRACER-testwp13-unsafe.map.c	Gen_MH	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_MH	safe	128 (68 + 40 + 20)	1	68	40 #defs: 9/9	20 (10 + 10)	20 (10+10) #defs: 12/12 #cls: 11/1	-	-	-	-	-	-	-	-	-
206	TRACER-testwp15.map.c	Gen_MH	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_MH	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_MH	safe	107 (67 + 40 + 0)	1	67	40 #defs: 7/7	0 (0 + 0)	0 (0+0) #defs: 8/8 #cls: 7/1	-	-	-	-	-	-	-	-	-
209	TRACER-testwp2.map.c	Gen_MH	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_MH	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_MH	timeout iteration #1	2071 (91 + 1980 + 0)	-	91	1980 #defs: 25/25	0 (0 + 0)	-	-	-	-	-	-	-	-	-	-
212	TRACER-testwp5.map.c	Gen_MH	safe	119 (69 + 50 + 0)	1	69	50 #defs: 6/6	0 (0 + 0)	0 (0+0) #defs: 8/8 #cls: 7/1	-	-	-	-	-	-	-	-	-
213	TRACER-testwp6.map.c	Gen_MH	safe	98 (68 + 30 + 0)	1	68	30 #defs: 7/7	0 (0 + 0)	0 (0+0) #defs: 10/10 #cls: 9/1	-	-	-	-	-	-	-	-	-
214	TRACER-testwp7.map.c	Gen_MH	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_MH	safe	138 (68 + 50 + 20)	1	68	50 #defs: 7/7	20 (10 + 10)	20 (10+10) #defs: 14/14 #cls: 13/1	-	-	-	-	-	-	-	-	-
216	TRACER-testwp9.map.c	Gen_MH	safe	97 (67 + 30 + 0)	1	67	30 #defs: 6/6	0 (0 + 0)	0 (0+0) #defs: 6/6 #cls: 5/1	-	-	-	-	-	-	-	-	-