bachelorThesis/figure_7/b_figure7c.csv

1	term	n_exec	count
2	7	1	498733861
3	7	2	266766539
4	7	3	216626140
5	7	4	106043583
6	7	5	56026259
7	7	6	27762304
8	7	7	15408172
9	7	8	9223733
10	7	9	5918943
11	7	10	3660428
12	7	11	2855776
13	7	12	1986877
14	7	13	1376429
15	7	14	1054646
16	7	15	832841
17	7	16	563854
18	7	18	325820
19	7	20	182026
20	7	22	139503
21	7	23	116865
22	7	19	269394
23	7	17	465087
24	7	21	156782
25	7	24	97460
26	7	26	76692
27	7	25	86820
28	7	27	91231
29	7	28	68302
30	7	29	58154
31	7	30	44277
32	7	31	46677
33	7	32	44949
34	7	33	41246
35	7	34	32858
36	7	35	26365
37	7	36	33253
38	7	37	23716
39	7	38	21322
40	7	39	39956
41	7	40	26976
42	7	41	16597
43	7	42	25493
44	7	43	19157
45	7	44	11092
46	7	45	15847
47	7	46	11311
48	7	47	9053
49	7	48	6537
50	7	49	5156
51	7	50	7802
52	7	51	9023
53	7	52	3917
54	7	53	3138
55	7	54	3111
56	7	55	7793
57	7	56	3568
58	7	57	3812
59	7	58	1811
60	7	59	1678
61	7	60	1347
62	7	61	1304
63	7	62	1057
64	7	63	2336
65	7	64	3094
66	7	65	807
67	7	66	741
68	7	67	527
69	7	68	498
70	7	69	443
71	7	70	448
72	7	71	415
73	7	72	342
74	7	73	358
75	7	74	267
76	7	75	283
77	7	76	250
78	7	77	219
79	7	78	193
80	7	79	195
81	7	80	172
82	7	81	155
83	7	82	149
84	7	83	150
85	7	84	124
86	7	85	143
87	7	86	142
88	7	87	129
89	7	88	116
90	7	89	87
91	7	90	73
92	7	91	82
93	7	92	92
94	7	93	86
95	7	94	70
96	7	95	59
97	7	96	67
98	7	97	45
99	7	98	44
100	7	99	44
101	7	100	46
102	7	101	48
103	7	102	37
104	7	103	43
105	7	104	39
106	7	105	33
107	7	106	32
108	7	107	38
109	7	108	24
110	7	131	6
111	7	133	5
112	7	134	8
113	7	135	4
114	7	109	30
115	7	110	25
116	7	111	31
117	7	112	23
118	7	113	23
119	7	114	31
120	7	115	24
121	7	116	13
122	7	117	4
123	7	118	8
124	7	119	13
125	7	120	4
126	7	121	3
127	7	122	6
128	7	123	8
129	7	124	7
130	7	125	4
131	7	126	7
132	7	127	2
133	7	128	4
134	7	129	2
135	7	130	10
136	7	132	4
137	6	1	34372757
138	6	2	16958321
139	6	13	110092
140	6	15	71386
141	6	17	47873
142	6	19	33414
143	6	21	22312
144	6	23	17194
145	6	14	87087
146	6	12	150808
147	6	6	1808544
148	6	5	3564306
149	6	3	13528527
150	6	20	24098
151	6	25	13395
152	6	11	209536
153	6	10	264769
154	6	8	632552
155	6	9	409410
156	6	7	1037604
157	6	4	6663698
158	6	16	55284
159	6	27	12096
160	6	35	5718
161	6	36	5246
162	6	18	35929
163	6	22	19599
164	6	24	15209
165	6	26	11527
166	6	28	9723
167	6	30	7789
168	6	32	6873
169	6	34	6194
170	6	37	4445
171	6	39	4357
172	6	42	3382
173	6	44	1980
174	6	46	2003
175	6	29	9310
176	6	31	6960
177	6	40	4179
178	6	33	7531
179	6	38	3797
180	6	41	2999
181	6	43	2321
182	6	45	2420
183	6	47	2052
184	6	48	1538
185	6	49	1359
186	6	50	1245
187	6	51	1320
188	6	52	871
189	6	53	759
190	6	55	1076
191	6	57	637
192	6	59	354
193	6	61	346
194	6	54	743
195	6	56	663
196	6	58	446
197	6	60	398
198	6	62	299
199	6	64	339
200	6	66	152
201	6	68	102
202	6	69	227
203	6	71	102
204	6	63	368
205	6	65	234
206	6	67	177
207	6	72	104
208	6	73	90
209	6	75	79
210	6	70	200
211	6	74	91
212	6	85	36
213	6	86	44
214	6	89	40
215	6	93	35
216	6	94	24
217	6	108	13
218	6	76	63
219	6	77	76
220	6	79	58
221	6	81	51
222	6	83	55
223	6	87	41
224	6	88	26
225	6	90	43
226	6	78	55
227	6	80	63
228	6	82	45
229	6	84	40
230	6	91	20
231	6	95	24
232	6	96	18
233	6	92	18
234	6	98	13
235	6	99	17
236	6	97	21
237	6	100	13
238	6	101	10
239	6	102	21
240	6	103	10
241	6	104	13
242	6	105	10
243	6	106	8
244	6	107	8
245	6	109	4
246	6	110	9
247	6	111	6
248	6	112	6
249	6	113	7
250	6	114	5
251	6	115	10
252	6	116	4
253	6	117	6
254	6	118	4
255	6	119	6
256	6	120	3
257	6	121	6
258	6	122	4
259	6	123	4
260	6	124	2
261	6	125	4
262	6	126	2
263	6	127	4
264	6	128	2
265	6	129	4
266	6	130	6
267	6	131	4
268	6	132	3
269	6	133	57
270	6	134	25
271	4	1	34716355
272	4	3	11536270
273	4	8	496274
274	4	12	105324
275	4	22	6614
276	4	21	8301
277	4	15	38702
278	4	10	216323
279	4	2	15900914
280	4	4	5657254
281	4	11	158119
282	4	14	54392
283	4	23	4552
284	4	19	12622
285	4	5	2957700
286	4	6	1447016
287	4	7	844529
288	4	9	327706
289	4	35	857
290	4	36	770
291	4	16	27767
292	4	17	24295
293	4	18	16578
294	4	24	5282
295	4	20	8847
296	4	29	2091
297	4	30	1677
298	4	31	1362
299	4	32	1159
300	4	25	3179
301	4	26	3260
302	4	27	4728
303	4	28	2437
304	4	33	1123
305	4	34	1075
306	4	37	1219
307	4	38	1144
308	4	39	757
309	4	13	72009
310	4	41	559
311	4	43	649
312	4	44	385
313	4	49	164
314	4	42	483
315	4	47	321
316	4	40	1331
317	4	46	286
318	4	48	211
319	4	50	156
320	4	51	171
321	4	67	18
322	4	45	503
323	4	74	4
324	4	53	119
325	4	56	139
326	4	58	56
327	4	52	100
328	4	62	52
329	4	61	64
330	4	54	74
331	4	55	123
332	4	59	65
333	4	64	30
334	4	66	20
335	4	57	68
336	4	72	14
337	4	68	14
338	4	70	14
339	4	76	2
340	4	63	40
341	4	90	8
342	4	94	4
343	4	60	50
344	4	71	10
345	4	73	4
346	4	69	8
347	4	89	4
348	4	77	6
349	4	78	4
350	4	100	4
351	4	108	2
352	4	65	24
353	4	92	2
354	4	87	2
355	4	104	2
356	4	75	6
357	4	84	2
358	4	79	3
359	4	81	2
360	4	107	4
361	4	115	2
362	4	105	2
363	4	114	2
364	4	86	4
365	4	88	2
366	4	93	2
367	4	101	2
368	4	83	2
369	5	1	1699191
370	5	2	1003543
371	5	3	841602
372	5	13	10184
373	5	4	418800
374	5	5	265154
375	5	6	149927
376	5	7	105835
377	5	8	66799
378	5	9	47862
379	5	25	1625
380	5	29	788
381	5	35	542
382	5	10	28143
383	5	11	16677
384	5	16	5119
385	5	12	13920
386	5	14	8440
387	5	19	3222
388	5	20	2880
389	5	30	746
390	5	34	592
391	5	37	317
392	5	39	2200
393	5	48	110
394	5	15	6157
395	5	17	4352
396	5	18	3544
397	5	23	1910
398	5	24	1880
399	5	27	1194
400	5	21	2667
401	5	22	2398
402	5	26	1556
403	5	28	926
404	5	32	718
405	5	40	890
406	5	54	43
407	5	56	55
408	5	31	985
409	5	33	632
410	5	47	114
411	5	36	569
412	5	42	437
413	5	51	77
414	5	60	36
415	5	41	268
416	5	45	343
417	5	38	371
418	5	43	272
419	5	62	20
420	5	53	51
421	5	52	56
422	5	44	163
423	5	59	30
424	5	49	112
425	5	46	187
426	5	55	49
427	5	61	32
428	5	83	4
429	5	50	81
430	5	67	14
431	5	64	20
432	5	57	26
433	5	63	14
434	5	92	2
435	5	58	36
436	5	79	3
437	5	85	2
438	5	65	11
439	5	66	11
440	5	72	7
441	5	68	5
442	5	69	2
443	5	70	5
444	5	71	3
445	5	75	7
446	5	98	1
447	5	99	1
448	5	101	2
449	5	96	2
450	5	131	2
451	5	78	4
452	5	89	2
453	5	86	2
454	5	73	2
455	5	81	6
456	5	77	4
457	5	120	2
458	5	87	2
459	5	90	2
460	5	76	2
461	5	102	2
462	8	1	19917718
463	8	2	9609279
464	8	12	62962
465	8	3	7011247
466	8	4	3474321
467	8	5	1843325
468	8	6	928290
469	8	7	538650
470	8	8	313389
471	8	9	206621
472	8	10	123750
473	8	11	90434
474	8	20	4160
475	8	22	4115
476	8	13	41667
477	8	14	33404
478	8	17	14387
479	8	24	2882
480	8	15	26033
481	8	16	17338
482	8	18	9219
483	8	19	8339
484	8	21	4699
485	8	23	3642
486	8	25	1849
487	8	26	1722
488	8	27	3291
489	8	28	1737
490	8	29	1714
491	8	40	1229
492	8	45	820
493	8	50	300
494	8	33	1284
495	8	37	1206
496	8	30	1058
497	8	35	977
498	8	34	1044
499	8	31	820
500	8	42	824
501	8	43	260
502	8	44	186
503	8	32	1126
504	8	46	368
505	8	47	324
506	8	48	266
507	8	53	40
508	8	39	1116
509	8	36	1252
510	8	38	844
511	8	49	200
512	8	51	512
513	8	52	58
514	8	41	416
515	8	54	56
516	8	57	132
517	8	58	18
518	8	59	18
519	8	61	10
520	8	68	6
521	8	72	4
522	8	73	6
523	8	56	138
524	8	63	40
525	8	71	6
526	8	55	306
527	8	67	2
528	8	66	4
529	8	70	8
530	8	78	4
531	8	82	8
532	8	64	150
533	8	65	12
534	8	62	2
535	8	60	2
536	-1	1	11667
537	-1	2	4294
538	-1	3	2372
539	-1	4	1583
540	-1	5	803
541	-1	7	304
542	-1	13	31
543	-1	6	540
544	-1	8	202
545	-1	9	142
546	-1	10	74
547	-1	11	58
548	-1	12	36
549	-1	15	19
550	-1	16	13
551	-1	17	9
552	-1	14	8
553	-1	19	2
554	-1	20	2
555	-1	31	1
556	-1	37	2