Context Navigation

source: doc/theses/aaron_moss_PhD/phd/evaluation/mem-by-max-assns.tsv @ 11a1240

ADTast-experimentalenumpthread-emulationqualifiedEnum

Last change on this file since 11a1240 was 83a09648, checked in by Aaron Moss <a3moss@…>, 6 years ago
thesis: Add CFA results to experiments section
Property mode set to `100644`
File size: 11.8 KB

Line
1	i test algos completed avg. assns/decl max assns/decl avg. max expr. depth max. expr depth bu-imm-bas bu-imm-iti bu-imm-per co-imm-bas co-imm-iti co-imm-per td-imm-bas td-imm-iti bu-def-bas bu-def-iti bu-def-per co-def-bas co-def-iti co-def-per td-def-bas td-def-iti bu-tec-bas bu-tec-iti bu-tec-per co-tec-bas co-tec-iti co-tec-per td-tec-bas td-tec-iti
2	84 stdincludes 24 0.002 6 0.36 4 6 30 7 10 90 10 384 1324 6 10 7 10 53 10 13 18 6 10 7 10 53 10 13 18
3	113 interpose-stdlib 24 0.002 6 0.37 5 6 25 6 7 83 7 333 1118 6 9 6 7 43 7 11 17 6 9 6 7 43 7 11 17
4	110 debug-stdlib 24 0.003 6 0.39 3 5 17 5 7 54 7 201 629 5 7 5 6 31 6 11 17 5 7 5 6 31 6 11 17
5	107 assert-stdlib 24 0.005 6 0.42 3 5 11 5 7 31 6 114 314 5 6 5 6 21 6 10 15 5 6 5 6 21 6 10 15
6	117 limits-stdlib 21 0.005 6 1.07 3 5 9 5 7 27 7 84 5 6 5 6 20 6 16 5 6 5 6 20 6 16
7	125 startup-stdlib 24 0.005 6 0.88 3 5 8 5 7 27 7 81 185 5 6 5 6 19 6 10 16 5 6 5 6 19 6 10 16
8	19 declarationSpecifier 24 0.005 6 0.89 3 5 11 5 6 45 6 144 371 5 6 5 6 28 6 9 14 5 6 5 6 28 6 9 14
9	5 attributes 24 0.006 6 0.84 3 5 9 5 6 29 6 94 231 4 6 5 6 20 6 10 15 5 6 5 6 20 6 10 15
10	20 designations 15 0.006 6 0.62 3 5 10 5 103 261 4 6 5 10 15 5 6 5 10 15
11	52 limits 24 0.006 6 0.80 3 5 9 5 7 26 7 79 178 5 6 5 6 19 6 10 15 5 6 5 6 19 6 10 15
12	36 functions 24 0.006 6 1.00 3 5 8 5 6 26 6 81 186 4 6 5 6 19 6 10 15 5 6 5 6 19 6 10 15
13	76 references 24 0.006 6 0.99 4 5 9 5 26 38 26 86 204 5 6 5 26 32 26 10 15 5 6 5 26 32 26 10 15
14	100 variableDeclarator 24 0.006 6 0.60 3 5 8 5 7 26 6 79 178 5 6 5 6 19 6 10 15 5 6 5 6 19 6 10 15
15	37 gccExtensions 24 0.006 6 0.97 3 5 9 5 16 30 20 78 178 5 6 5 16 28 20 10 15 5 6 5 16 28 20 10 15
16	50 KRfunctions 24 0.006 6 1.08 3 5 8 5 26 117 27 81 186 4 6 4 26 117 27 10 15 5 6 4 26 117 27 10 15
17	60 memberCtors 24 0.006 6 1.09 3 5 9 5 6 29 6 88 211 4 6 4 6 20 6 10 15 5 6 4 6 20 6 10 15
18	43 identFuncDeclarator 24 0.006 6 0.59 3 5 8 5 6 26 6 78 178 4 6 4 6 19 6 10 15 5 6 4 6 19 6 10 15
19	94 tupleMember 24 0.006 6 1.00 4 5 9 5 46 64 49 85 201 4 6 5 46 55 49 15 33 5 6 5 46 55 49 15 33
20	28 extension 24 0.006 6 0.94 3 5 9 5 16 30 20 85 199 5 6 5 16 28 20 10 15 5 6 5 16 28 20 10 15
21	47 init_once 24 0.006 6 0.82 5 5 9 5 7 28 7 90 212 5 6 5 6 20 6 10 15 5 6 5 6 20 6 10 15
22	93 tupleFunction 15 0.006 6 0.98 3 5 9 5 83 195 4 6 5 10 15 5 6 5 10 15
23	66 operators 24 0.006 6 1.06 3 5 8 5 6 26 6 81 186 4 6 4 6 19 6 10 15 5 6 4 6 19 6 10 15
24	26 enum 24 0.006 6 1.03 3 5 8 5 6 26 6 78 178 4 6 4 6 19 6 10 15 5 6 4 6 19 6 10 15
25	80 self-assignment 24 0.006 6 1.04 3 5 9 5 6 27 6 83 195 4 6 4 6 19 6 10 15 5 6 4 6 19 6 10 15
26	87 switch 24 0.007 6 0.72 3 5 8 5 6 26 6 78 178 4 6 4 6 19 6 10 15 5 6 4 6 19 6 10 15
27	88 sync 24 0.007 6 1.68 3 5 8 5 41 1191 44 78 178 5 6 5 41 1191 44 10 15 5 6 5 41 1191 44 10 15
28	16 counter 24 0.007 6 1.08 3 5 8 5 6 26 6 81 186 4 6 4 6 19 6 10 15 5 6 4 6 19 6 10 15
29	3 array 24 0.007 6 1.01 3 5 8 5 6 26 6 78 178 4 6 4 6 19 6 10 15 5 6 4 6 19 6 10 15
30	27 expression 24 0.007 6 1.04 3 5 8 5 7 26 7 78 178 4 6 4 6 19 7 10 15 5 6 4 6 19 7 10 15
31	98 typeof 24 0.007 6 1.03 3 5 8 5 6 26 6 78 178 4 6 4 6 19 6 10 15 5 6 4 6 19 6 10 15
32	51 labelledExit 24 0.007 6 0.81 3 5 8 5 6 26 6 78 178 4 6 4 6 19 6 10 15 5 6 4 6 19 6 10 15
33	12 cast 24 0.007 6 1.03 3 5 8 5 6 26 6 78 178 4 6 4 6 19 6 10 15 5 6 4 6 19 6 10 15
34	92 tupleCast 24 0.007 6 1.05 3 5 8 5 6 26 6 78 178 4 6 5 6 19 6 10 15 5 6 5 6 19 6 10 15
35	11 castError 24 0.007 6 1.04 3 5 8 5 6 26 6 78 178 4 6 4 6 19 6 10 15 5 6 4 6 19 6 10 15
36	97 typedefRedef 24 0.007 6 1.07 3 5 8 5 6 26 6 78 178 4 6 4 6 19 6 10 15 5 6 4 6 19 6 10 15
37	102 voidPtr 24 0.007 6 1.02 3 5 8 5 6 26 6 78 178 4 6 4 6 19 6 10 15 5 6 4 6 19 6 10 15
38	29 fallthrough 24 0.007 6 0.91 3 5 8 5 6 26 6 78 178 4 6 4 6 19 6 10 15 5 6 4 6 19 6 10 15
39	45 identParamDeclarator 24 0.007 6 1.07 3 5 8 5 6 26 6 78 178 4 6 5 6 19 6 10 15 5 6 5 6 19 6 10 15
40	65 numericConstants 24 0.007 6 0.74 3 5 8 5 6 26 6 78 178 4 6 4 6 19 6 10 15 5 6 4 6 19 6 10 15
41	13 completeTypeError 24 0.008 6 1.05 3 5 8 5 6 26 6 80 183 4 6 4 6 19 6 10 15 5 6 4 6 19 6 10 15
42	131 imgui 15 0.013 6 0.35 5 8 24 10 1350 2715 8 12 10 1337 2634 8 12 10 1337 2634
43	64 nested-types 24 0.015 6 1.01 3 5 9 5 9 31 9 114 238 4 6 4 7 21 7 10 15 5 6 4 7 21 7 10 15
44	105 with-statement 24 0.017 6 0.97 3 5 9 5 9 31 9 113 238 4 6 5 7 21 7 10 15 5 6 5 7 21 7 10 15
45	38 genericUnion 24 0.018 6 1.04 4 5 9 5 9 29 9 107 218 4 6 5 7 20 7 10 15 5 6 5 7 20 7 10 15
46	82 simpleGenericTriple 24 0.021 6 0.98 3 5 9 5 17 29 20 122 252 4 6 5 17 27 20 10 15 5 6 5 17 27 20 10 15
47	17 ctor-autogen 24 0.023 6 0.84 3 5 11 5 12 41 12 148 340 5 6 5 9 26 9 10 15 5 6 5 9 26 9 10 15
48	118 maybe-stdlib 24 0.031 6 1.17 3 5 9 5 10 30 10 111 226 4 6 5 7 21 7 10 15 5 6 5 7 21 7 10 15
49	59 maybe 24 0.035 6 1.06 3 5 9 5 11 32 11 117 235 4 6 5 8 22 8 10 15 5 6 5 8 22 8 10 15
50	108 common-stdlib 24 0.015 7 0.56 3 5 14 5 7 49 7 164 485 5 6 5 6 33 6 10 15 5 6 5 6 33 6 10 15
51	77 result 24 0.072 8 1.01 3 6 10 6 15 36 15 134 256 5 6 5 10 23 10 10 15 5 6 5 10 23 10 10 15
52	124 result-stdlib 24 0.073 8 1.22 3 6 10 6 15 36 15 134 256 5 6 5 10 23 10 10 15 5 6 5 10 23 10 10 15
53	95 tuplePolymorphism 22 0.014 9 0.93 3 5 9 5 41 52 41 86 203 5 5 41 43 41 10 15 5 5 41 43 41 10 15
54	116 kernel-stdlib 9 0.020 10 0.70 6 8 45 9 8 15 8 8 15 8
55	122 preemption-stdlib 18 0.021 10 0.66 6 8 40 8 37 165 39 7 13 8 37 111 38 7 13 8 37 111 38
56	112 heap-stdlib 15 0.025 10 0.65 7 7 41 7 315 937 7 13 7 91 251 7 14 7 91 251
57	109 coroutine-stdlib 18 0.026 10 0.81 6 7 32 7 38 131 35 7 13 7 33 89 35 7 13 7 33 89 35
58	106 alarm-stdlib 18 0.027 10 0.84 6 7 32 7 35 130 36 6 12 7 33 88 35 6 12 7 33 88 35
59	69 preempt 18 0.028 10 0.79 6 7 30 7 38 125 35 6 12 7 33 84 35 7 12 7 33 84 35
60	119 monitor-stdlib 18 0.028 10 1.02 6 8 31 8 35 130 38 7 12 8 33 88 35 7 12 8 33 88 35
61	127 thread-stdlib 18 0.028 10 0.81 6 7 32 7 35 131 35 6 12 7 33 88 35 6 13 7 33 88 35
62	126 stdlib-stdlib 24 0.028 10 0.62 4 6 18 6 30 68 34 217 688 6 8 6 29 50 34 91 251 6 8 6 30 50 34 91 251
63	41 heap 24 0.031 10 0.70 6 7 30 7 35 120 35 407 1322 6 11 7 33 81 33 92 252 6 11 7 33 81 35 92 252
64	120 mutex-stdlib 18 0.032 10 0.93 6 8 33 8 37 136 39 7 13 7 34 92 35 7 13 7 34 92 35
65	96 tupleVariadic 24 0.047 10 0.76 4 5 14 6 33 59 33 169 504 5 7 5 33 47 33 86 239 5 7 5 33 47 33 86 239
66	129 vector-stdlib 24 0.095 10 0.82 6 6 15 6 37 69 39 227 573 55 52 18 150 103 43 86 240 55 52 18 150 103 43 86 240
67	6 avl_test 24 0.100 10 0.71 4 45 241 40 34 137 37 271 660 6 7 6 31 52 34 86 239 6 7 6 31 52 34 86 239
68	121 pair-stdlib 24 0.054 11 1.10 3 5 9 5 11 31 11 126 245 4 6 5 8 21 8 10 15 5 6 5 8 21 8 10 15
69	68 polymorphism 21 0.021 12 0.99 3 11 24 68 12 2545 5681 10 6 15 140 14 35 37 10 10 6 15 140 14 35 37
70	115 iterator-stdlib 24 0.018 13 1.04 3 5 8 5 6 26 6 78 178 4 6 4 6 19 6 10 15 5 6 4 6 19 6 10 15
71	32 forall 15 0.196 15 0.99 3 3439 6401 3257 3415 3253 22 28 15 501 590 21 28 15 501 589
72	130 glm 23 0.206 19 1.43 5 14 23 14 25 55 26 3197 16 23 13 21 43 23 38 36 14 20 13 21 43 23 34 33
73	103 wait 18 0.146 35 0.78 6 8 32 8 36 135 36 8 13 8 33 91 35 7 13 8 33 91 35
74	21 disjoint 18 0.147 35 0.78 6 53 47 20 114 156 88 8 14 9 87 120 102 8 14 9 87 120 102
75	8 block 18 0.147 35 0.79 7 13 32 9 94 133 56 10 13 9 70 100 80 8 13 9 69 98 80
76	15 coroutineYield 18 0.150 35 0.76 6 8 32 8 36 130 36 8 13 8 33 88 35 7 13 8 33 88 35
77	18 datingService 22 0.155 35 0.63 7 7 31 7 36 126 38 7 11 7 33 85 35 92 252 7 11 7 33 85 35 92 252
78	9 boundedBufferEXT 18 0.161 35 0.63 6 53 47 19 114 156 88 8 14 9 87 120 102 7 14 9 86 119 102
79	10 boundedBufferINT 18 0.162 35 0.63 6 53 47 19 114 156 88 8 14 9 87 120 102 8 14 9 86 119 102
80	83 statement 9 0.166 35 0.67 6 143 87 32 11 21 11 8 20 11
81	7 barge 18 0.166 35 0.64 6 26 31 14 52 127 47 7 12 8 33 86 38 7 12 8 33 86 37
82	71 quickSort 18 0.166 35 0.64 6 12 30 9 96 996 102 9 12 8 96 996 102 7 12 8 96 996 102
83	75 recurse 18 0.166 35 0.64 6 25 31 14 43 125 36 7 12 8 33 85 35 7 11 8 33 85 35
84	104 when 18 0.166 35 0.64 6 53 46 19 113 152 88 8 14 9 87 121 102 7 14 9 86 121 102
85	63 multi-monitor 9 0.168 35 0.63 6 881 615 192 13 58 15 12 58 15
86	62 monitor 18 0.168 35 0.62 6 26 32 14 52 125 47 7 12 8 33 85 37 7 12 8 33 85 37
87	89 thread 18 0.168 35 0.63 6 53 46 19 117 156 88 8 14 9 87 124 102 7 14 9 86 123 102
88	58 matrixSum 18 0.168 35 0.62 6 26 31 14 52 124 46 7 12 8 35 84 37 7 12 8 33 84 37
89	24 dtor 18 0.168 35 0.62 6 8 31 8 35 124 35 7 11 7 33 84 33 7 11 7 33 84 35
90	70 prodcons 15 0.170 35 0.62 6 93 69 26 7601 5047 9 18 10 6389 7718 7 18 10 6389 7718
91	25 else 18 0.179 35 0.58 4 75 73 26 206 277 154 8 16 10 166 233 196 7 16 10 165 232 196
92	114 iostream-stdlib 9 0.182 35 0.59 3 10 12 8 5 7 6 6 7 6
93	67 pingpong 18 0.184 35 0.55 6 7 23 7 12 79 12 6 9 6 9 43 9 6 9 6 9 43 9
94	31 fmtLines 18 0.185 35 0.55 6 11 23 8 15 79 14 6 9 6 9 43 10 6 9 6 9 43 10
95	78 runningTotal 18 0.185 35 0.55 6 358 319 102 3349 4563 2516 9 34 11 2126 2999 2524 8 33 10 2126 2999 2524
96	30 fibonacci 18 0.185 35 0.55 6 358 319 102 3349 4563 2516 9 34 11 2126 2999 2524 8 33 10 2126 2999 2524
97	111 fstream-stdlib 24 0.206 35 0.46 3 6 18 6 7 61 7 222 704 5 8 6 6 34 7 11 16 5 8 6 6 34 7 11 16
98	2 alloc 24 0.226 35 0.65 5 6 18 6 30 68 34 229 728 6 9 6 29 52 34 91 250 6 9 6 30 52 34 91 250
99	128 time-stdlib 9 0.233 35 0.87 6 53 44 20 7 12 9 6 12 9
100	40 gmp 9 0.256 35 1.25 9 240 93 32 13 24 11 8 22 11
101	57 math4 9 0.256 35 1.33 6 1273 641 197 15 61 15 12 59 15
102	54 math1 8 0.256 35 1.29 10 2371 690 47 193 36 29 186 35
103	56 math3 9 0.257 35 1.29 8 4559 1570 465 27 130 25 21 127 24
104	55 math2 9 0.257 35 1.32 8 4559 1571 465 28 131 25 21 128 24
105	73 random 18 0.259 35 0.67 4 25 29 13 52 74 45 7 12 7 33 47 37 6 11 7 32 47 36
106	14 complex 9 0.273 35 0.45 7 280 126 42 12 26 11 7 24 11
107	23 dtor-early-exit 18 0.285 35 0.69 4 52 45 18 112 149 87 7 13 8 86 119 101 6 13 8 85 118 100
108	86 swap 9 0.286 35 0.77 5 1577 912 280 15 80 17 13 79 16
109	79 searchsort 9 0.286 35 0.79 6 1897 1103 362 15 54 19 15 53 18
110	22 div 7 0.287 35 0.64 5 10 8 9 7 9 11 7
111	85 sum 9 0.288 35 0.76 9 358 98 7440 335 113 29 10 30 12
112	4 ato 18 0.289 35 0.76 4 29 32 14 300 395 207 8 13 8 267 378 315 7 12 8 266 376 314
113	61 minmax 9 0.289 35 0.77 7 1285 649 198 17 61 15 12 58 15
114	1 abs 9 0.290 35 0.68 6 181 111 37 10 24 11 8 22 10
115	90 time 9 0.290 35 1.08 9 880 612 191 19 56 14 11 56 14
116	35 function-operator 22 0.300 35 0.69 5 35 43 18 88 125 78 8 16 9 85 120 99 4258 5854 8 17 9 85 119 99 4258 6045
117	99 user_literals 18 0.347 35 0.77 5 51 44 17 112 149 86 6 12 7 85 119 100 6 12 7 84 118 100
118	39 globals 18 0.360 35 0.81 4 51 44 17 112 149 86 6 12 7 85 118 100 6 12 7 84 117 100
119	72 quoted_keyword 18 0.364 35 0.68 6 24 29 12 52 83 45 6 11 6 32 53 36 6 11 6 32 53 36
120	33 forctrl 9 0.369 35 0.73 5 1543 895 274 14 74 15 13 73 14
121	81 shortCircuit 18 0.374 35 0.70 3 23 28 12 41 58 34 6 9 6 20 25 22 5 9 6 20 25 22
122	49 io2 6 0.376 35 1.39 34 104 520 79 70 516 78
123	46 ifwhileCtl 18 0.377 35 0.70 3 6 10 6 7 32 7 6 6 6 6 22 6 5 6 5 6 22 6
124	91 tupleAssign 9 0.377 35 0.90 12 1620 458 136 42 56 16 11 49 14
125	53 literals 18 0.380 35 0.61 3 51 44 17 112 148 86 6 12 7 85 118 100 6 12 7 84 117 99
126	34 fstream_test 9 0.381 35 0.75 11 1154 814 194 39 50 13 10 50 11
127	48 io1 3 0.381 35 1.09 24 26 187 44
128	42 hello 18 0.381 35 0.72 3 6 10 6 7 32 7 6 6 5 6 22 6 5 6 5 6 22 6
129	44 identity 18 0.382 35 0.81 5 58 49 19 125 155 87 7 14 8 86 124 101 6 13 8 85 123 101
130	101 vector 16 0.406 35 1.08 7 154 55 21 2714 2909 1309 12 19 10 6539 7717 7 15 9 6538 7717
131	123 rational-stdlib 17 0.340 44 0.78 5 32 17 97 150 87 8 14 9 68 147 76 8 14 9 68 147 76
132	74 rational 9 0.432 44 0.74 5 250 282 154 60 26 13 109 158 70

Note: See TracBrowser for help on using the repository browser.

Download in other formats: