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

Last change on this file since fa5e1aa5 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 
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.