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

ADT ast-experimental
Last change on this file since bb7422a was 83a09648, checked in by Aaron Moss <a3moss@…>, 7 years ago

thesis: Add CFA results to experiments section

  • Property mode set to 100644
File size: 11.8 KB
Line 
1i 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
284 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
3113 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
4110 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
5107 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
6117 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
7125 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
819 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
95 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
1020 designations 15 0.006 6 0.62 3 5 10 5 103 261 4 6 5 10 15 5 6 5 10 15
1152 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
1236 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
1376 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
14100 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
1537 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
1650 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
1760 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
1843 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
1994 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
2028 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
2147 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
2293 tupleFunction 15 0.006 6 0.98 3 5 9 5 83 195 4 6 5 10 15 5 6 5 10 15
2366 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
2426 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
2580 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
2687 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
2788 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
2816 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
293 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
3027 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
3198 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
3251 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
3312 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
3492 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
3511 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
3697 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
37102 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
3829 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
3945 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
4065 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
4113 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
42131 imgui 15 0.013 6 0.35 5 8 24 10 1350 2715 8 12 10 1337 2634 8 12 10 1337 2634
4364 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
44105 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
4538 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
4682 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
4717 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
48118 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
4959 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
50108 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
5177 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
52124 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
5395 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
54116 kernel-stdlib 9 0.020 10 0.70 6 8 45 9 8 15 8 8 15 8
55122 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
56112 heap-stdlib 15 0.025 10 0.65 7 7 41 7 315 937 7 13 7 91 251 7 14 7 91 251
57109 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
58106 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
5969 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
60119 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
61127 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
62126 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
6341 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
64120 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
6596 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
66129 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
676 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
68121 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
6968 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
70115 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
7132 forall 15 0.196 15 0.99 3 3439 6401 3257 3415 3253 22 28 15 501 590 21 28 15 501 589
72130 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
73103 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
7421 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
758 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
7615 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
7718 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
789 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
7910 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
8083 statement 9 0.166 35 0.67 6 143 87 32 11 21 11 8 20 11
817 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
8271 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
8375 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
84104 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
8563 multi-monitor 9 0.168 35 0.63 6 881 615 192 13 58 15 12 58 15
8662 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
8789 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
8858 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
8924 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
9070 prodcons 15 0.170 35 0.62 6 93 69 26 7601 5047 9 18 10 6389 7718 7 18 10 6389 7718
9125 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
92114 iostream-stdlib 9 0.182 35 0.59 3 10 12 8 5 7 6 6 7 6
9367 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
9431 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
9578 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
9630 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
97111 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
982 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
99128 time-stdlib 9 0.233 35 0.87 6 53 44 20 7 12 9 6 12 9
10040 gmp 9 0.256 35 1.25 9 240 93 32 13 24 11 8 22 11
10157 math4 9 0.256 35 1.33 6 1273 641 197 15 61 15 12 59 15
10254 math1 8 0.256 35 1.29 10 2371 690 47 193 36 29 186 35
10356 math3 9 0.257 35 1.29 8 4559 1570 465 27 130 25 21 127 24
10455 math2 9 0.257 35 1.32 8 4559 1571 465 28 131 25 21 128 24
10573 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
10614 complex 9 0.273 35 0.45 7 280 126 42 12 26 11 7 24 11
10723 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
10886 swap 9 0.286 35 0.77 5 1577 912 280 15 80 17 13 79 16
10979 searchsort 9 0.286 35 0.79 6 1897 1103 362 15 54 19 15 53 18
11022 div 7 0.287 35 0.64 5 10 8 9 7 9 11 7
11185 sum 9 0.288 35 0.76 9 358 98 7440 335 113 29 10 30 12
1124 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
11361 minmax 9 0.289 35 0.77 7 1285 649 198 17 61 15 12 58 15
1141 abs 9 0.290 35 0.68 6 181 111 37 10 24 11 8 22 10
11590 time 9 0.290 35 1.08 9 880 612 191 19 56 14 11 56 14
11635 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
11799 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
11839 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
11972 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
12033 forctrl 9 0.369 35 0.73 5 1543 895 274 14 74 15 13 73 14
12181 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
12249 io2 6 0.376 35 1.39 34 104 520 79 70 516 78
12346 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
12491 tupleAssign 9 0.377 35 0.90 12 1620 458 136 42 56 16 11 49 14
12553 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
12634 fstream_test 9 0.381 35 0.75 11 1154 814 194 39 50 13 10 50 11
12748 io1 3 0.381 35 1.09 24 26 187 44
12842 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
12944 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
130101 vector 16 0.406 35 1.08 7 154 55 21 2714 2909 1309 12 19 10 6539 7717 7 15 9 6538 7717
131123 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
13274 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.