Index: doc/theses/aaron_moss_PhD/phd/evaluation/cfa-cc/cfa-bu.csv
===================================================================
--- doc/theses/aaron_moss_PhD/phd/evaluation/cfa-cc/cfa-bu.csv	(revision 60f214ab412811161b8ba07e7f2f506f743699b6)
+++ doc/theses/aaron_moss_PhD/phd/evaluation/cfa-cc/cfa-bu.csv	(revision 60f214ab412811161b8ba07e7f2f506f743699b6)
@@ -0,0 +1,56 @@
+"test","user(s)","sys(s)","wall(s)","max-mem(KB)","user(s)","sys(s)","wall(s)","max-mem(KB)","user(s)","sys(s)","wall(s)","max-mem(KB)"
+"abs",114.24,1.23,115.63,303272,110.56,1.43,112.18,303272,110.70,1.33,112.22,303272
+"alloc",39.04,1.28,40.40,210832,39.08,1.29,40.45,210880,38.60,1.40,40.08,210968
+"array",2.39,0.02,2.43,23656,2.42,0.02,2.47,23656,2.42,0.04,2.48,23656
+"ato",14.68,0.18,14.90,143076,14.74,0.14,14.93,143076,14.93,0.16,15.13,143076
+"cast",2.38,0.02,2.43,23584,2.37,0.03,2.42,23584,2.40,0.03,2.46,23584
+"complex",32.30,1.12,33.50,163508,32.36,1.17,33.61,163508,32.41,1.16,33.70,163508
+"ctor-autogen",5.64,0.09,5.77,48612,5.67,0.06,5.77,48612,5.66,0.06,5.74,48612
+"declarationSpecifier",3.36,0.04,3.42,30728,3.36,0.04,3.43,30728,3.34,0.06,3.43,30728
+"designations",3.27,0.05,3.34,31008,3.25,0.03,3.32,31008,3.23,0.05,3.30,31008
+"div",16.50,0.22,16.77,169004,16.72,0.22,16.98,169004,16.59,0.23,16.92,169004
+"dtor-early-exit",33.96,0.35,34.39,338952,33.85,0.39,34.32,338952,34.02,0.38,34.46,338952
+"enum",2.40,0.02,2.45,23788,2.41,0.00,2.44,23788,2.37,0.05,2.50,23788
+"extension",1,2.81,0.03,2.87,26940,1,2.80,0.04,2.87,26920,1,2.81,0.02,2.86,26940
+"fstream_test",14.75,0.18,14.97,142828,14.86,0.30,15.20,142828,14.67,0.19,14.90,142828
+"genericUnion",2.75,0.06,2.85,26052,2.79,0.02,2.84,26052,2.76,0.05,2.85,26052
+"globals",12.85,0.14,13.02,117664,12.86,0.14,13.04,117664,12.82,0.13,12.99,117664
+"gmp",1,59.71,0.75,60.62,499088,1,59.94,0.77,60.89,499088,1,59.90,0.73,60.72,499088
+"hello",9.11,0.09,9.24,119304,9.07,0.11,9.22,119304,9.05,0.14,9.22,119304
+"identFuncDeclarator",2.41,0.04,2.47,24092,2.36,0.04,2.44,24092,2.36,0.05,2.44,24092
+"identity",18.10,0.22,18.37,141104,18.26,0.18,18.48,141104,18.12,0.18,18.35,141104
+"identParamDeclarator",2.42,0.04,2.49,24012,2.41,0.02,2.46,24012,2.43,0.03,2.49,24012
+"init_once",3.12,0.05,3.19,29200,3.13,0.05,3.22,29200,3.15,0.04,3.23,29200
+"io",586.06,3.42,590.02,1244220,580.73,2.39,583.93,1244220,580.98,2.39,584.17,1244220
+"KRfunctions",1,2.44,0.02,2.50,24464,1,2.42,0.04,2.49,24464,1,2.42,0.03,2.48,24464
+"labelledExit",2.55,0.02,2.58,24304,2.57,0.03,2.64,24304,2.52,0.03,2.58,24304
+"limits",2.86,0.04,2.92,26276,2.84,0.04,2.90,26276,2.88,0.01,2.94,26276
+"math1",417.46,2.85,421.02,695084,418.34,2.85,421.72,695084,417.43,2.86,420.91,695084
+"math2",540.86,4.60,545.99,599992,540.88,4.69,546.34,599960,543.80,5.16,549.67,599972
+"math3",134.92,0.71,135.83,358276,135.36,0.82,136.33,358276,134.54,0.72,135.41,358276
+"maybe",3.52,0.03,3.59,31572,3.62,0.03,3.67,31572,3.58,0.02,3.63,31572
+"memberCtors",2.87,0.03,2.93,27776,2.91,0.02,2.96,27776,2.87,0.06,2.96,27776
+"minmax",83.66,0.42,84.22,258132,84.16,0.46,84.73,258132,84.24,0.42,84.79,258132
+"numericConstants",2.38,0.03,2.45,23624,2.36,0.04,2.43,23624,2.46,0.02,2.52,23624
+"polymorphism",2.45,0.02,2.49,24340,2.46,0.03,2.52,24340,2.50,0.02,2.57,24340
+"quoted_keyword",7.32,0.10,7.47,109948,7.29,0.13,7.45,109948,7.31,0.09,7.44,109948
+"random",11.99,0.18,12.22,120752,12.06,0.14,12.26,120752,11.86,0.15,12.04,120752
+"rational",96.76,0.74,97.66,540132,96.02,0.66,96.88,540184,96.15,1.30,97.60,540184
+"references",2.69,0.04,2.77,27100,2.72,0.04,2.78,27100,2.68,0.05,2.75,27100
+"result",5.57,0.10,5.71,65324,5.55,0.04,5.62,65440,5.57,0.11,5.74,65324
+"searchsort",42.44,0.50,43.01,395300,42.16,0.59,42.82,395300,42.23,0.54,42.85,395300
+"shortCircuit",5.54,0.09,5.66,65200,5.55,0.08,5.66,65200,5.59,0.07,5.70,65200
+"simpleGenericTriple",3.04,0.04,3.13,29908,3.10,0.04,3.17,29908,3.10,0.04,3.17,29908
+"sum",67.21,0.67,68.01,367132,67.27,0.69,68.10,367132,67.46,0.67,68.24,367132
+"swap",59.55,0.51,60.18,212760,59.42,0.53,60.07,212776,60.51,0.38,61.01,212760
+"tupleAssign",53.58,0.44,54.14,296536,54.20,0.40,54.69,296536,54.14,0.41,54.64,296536
+"tupleCast",2.39,0.04,2.47,24100,2.38,0.03,2.43,24100,2.43,0.02,2.48,24100
+"tupleFunction",3.01,0.04,3.09,28708,3.00,0.02,3.06,28708,3.01,0.03,3.07,28708
+"tupleMember",2.92,0.04,2.99,28412,2.95,0.02,3.00,28412,2.94,0.03,2.99,28412
+"tuplePolymorphism",3.44,0.05,3.52,32912,3.41,0.05,3.49,32912,3.38,0.07,3.48,32912
+"tupleVariadic",3.15,0.04,3.23,29980,3.10,0.05,3.19,29980,3.11,0.04,3.18,29980
+"typedefRedef",2.35,0.02,2.42,23576,2.37,0.01,2.42,23576,2.34,0.04,2.41,23576
+"typeof",2.43,0.02,2.49,23592,2.40,0.02,2.46,23592,2.44,0.04,2.50,23592
+"user_literals",16.25,0.22,16.51,172736,16.13,0.21,16.38,172736,16.16,0.20,16.41,172736
+"variableDeclarator",2.56,0.02,2.61,24088,2.56,0.02,2.62,24088,2.60,0.02,2.69,24088
+"voidPtr",2.35,0.03,2.41,23632,2.36,0.02,2.41,23632,2.36,0.02,2.46,23632
Index: doc/theses/aaron_moss_PhD/phd/evaluation/cfa-cc/cfa-co.csv
===================================================================
--- doc/theses/aaron_moss_PhD/phd/evaluation/cfa-cc/cfa-co.csv	(revision 60f214ab412811161b8ba07e7f2f506f743699b6)
+++ doc/theses/aaron_moss_PhD/phd/evaluation/cfa-cc/cfa-co.csv	(revision 60f214ab412811161b8ba07e7f2f506f743699b6)
@@ -0,0 +1,56 @@
+"test","user(s)","sys(s)","wall(s)","max-mem(KB)","user(s)","sys(s)","wall(s)","max-mem(KB)","user(s)","sys(s)","wall(s)","max-mem(KB)"
+"abs",104.95,0.88,106.03,270592,105.08,0.82,106.11,270592,107.54,1.38,109.16,270620
+"alloc",31.55,0.19,31.80,81832,31.36,0.17,31.59,81832,31.48,0.19,31.73,81832
+"array",2.26,0.03,2.32,21404,2.27,0.02,2.32,21404,2.25,0.04,2.32,21404
+"ato",15.50,0.11,15.63,70212,15.46,0.12,15.62,70212,15.51,0.12,15.68,70212
+"cast",2.24,0.02,2.32,21352,2.23,0.02,2.28,21352,2.22,0.04,2.29,21352
+"complex",26.56,0.14,26.76,86812,26.74,0.13,26.91,86812,26.48,0.16,26.70,86812
+"ctor-autogen",5.59,0.06,5.68,34052,5.61,0.07,5.78,34052,5.60,0.05,5.68,34052
+"declarationSpecifier",3.12,0.04,3.19,24828,3.10,0.02,3.15,24828,3.14,0.04,3.21,24828
+"designations",3.28,0.01,3.33,24564,3.31,0.04,3.39,24564,3.29,0.02,3.34,24564
+"div",18.96,0.25,19.26,161136,18.90,0.21,19.16,161136,19.61,0.30,19.95,161136
+"dtor-early-exit",37.12,0.19,37.37,126132,37.00,0.20,37.33,126132,37.12,0.17,37.37,126132
+"enum",2.24,0.04,2.32,21508,2.26,0.03,2.31,21508,2.26,0.03,2.33,21508
+"extension",1,2.70,0.01,2.74,22548,1,2.67,0.06,2.75,22548,1,2.73,0.02,2.80,22548
+"fstream_test",15.86,0.13,16.03,108772,15.82,0.11,15.98,108772,15.99,0.14,16.19,108772
+"genericUnion",2.68,0.06,2.76,23228,2.69,0.06,2.85,23228,2.75,0.02,2.86,23228
+"globals",13.24,0.11,13.44,56368,13.20,0.08,13.40,56368,13.37,0.11,13.51,56368
+"gmp",1,59.08,0.30,59.45,163596,1,59.17,0.31,59.62,163596,1,58.82,0.27,59.20,163596
+"hello",9.49,0.07,9.60,50232,9.52,0.07,9.64,50232,9.54,0.07,9.69,50232
+"identFuncDeclarator",2.24,0.02,2.35,21776,2.28,0.02,2.38,21776,2.28,0.03,2.39,21776
+"identity",18.45,0.12,18.67,69532,18.48,0.10,18.63,69532,18.45,0.09,18.59,69532
+"identParamDeclarator",2.22,0.04,2.28,21724,2.28,0.03,2.35,21724,2.25,0.02,2.29,21724
+"init_once",3.08,0.03,3.15,23276,3.09,0.03,3.15,23276,3.07,0.05,3.15,23276
+"io",635.68,4.08,640.57,1059436,631.54,2.88,635.48,1059436,630.14,2.36,633.57,1059324
+"KRfunctions",1,2.32,0.02,2.36,21708,1,2.33,0.01,2.37,21708,1,2.32,0.02,2.37,21708
+"labelledExit",2.36,0.04,2.44,21632,2.37,0.04,2.45,21632,2.37,0.04,2.44,21632
+"limits",2.74,0.04,2.81,21792,2.81,0.03,2.87,21792,2.77,0.02,2.83,21792
+"math1",403.29,1.47,405.53,531152,408.18,1.48,410.07,530888,405.02,1.87,407.62,530948
+"math2",531.29,2.34,534.32,542820,531.37,4.82,537.06,542864,532.93,5.26,539.07,542864
+"math3",130.26,0.57,131.05,247188,130.42,0.52,131.17,247188,130.06,0.56,130.90,247188
+"maybe",3.34,0.03,3.40,25692,3.33,0.04,3.41,25692,3.34,0.02,3.38,25692
+"memberCtors",2.78,0.03,2.83,23072,2.82,0.02,2.88,23072,2.78,0.04,2.84,23072
+"minmax",81.00,0.30,81.41,180000,80.71,0.34,81.20,180000,80.99,0.35,81.49,180000
+"numericConstants",2.23,0.01,2.28,21412,2.22,0.02,2.27,21412,2.22,0.02,2.29,21412
+"polymorphism",2.38,0.03,2.44,21928,2.39,0.02,2.44,21928,2.42,0.02,2.46,21928
+"quoted_keyword",7.00,0.10,7.14,99348,6.89,0.10,7.05,99348,6.95,0.07,7.05,99348
+"random",11.91,0.07,12.02,56468,11.81,0.12,11.95,56468,11.94,0.10,12.09,56468
+"rational",113.34,0.74,114.24,361784,113.25,0.53,114.00,361784,113.28,0.60,114.04,361784
+"references",2.68,0.03,2.74,22716,2.66,0.02,2.72,22716,2.69,0.03,2.75,22716
+"result",5.29,0.04,5.36,49108,5.27,0.04,5.34,49108,5.26,0.04,5.34,49108
+"searchsort",42.62,0.23,42.91,121216,42.57,0.22,42.90,121216,42.58,0.23,42.88,121216
+"shortCircuit",5.46,0.04,5.54,36408,5.50,0.06,5.59,36408,5.51,0.04,5.60,36408
+"simpleGenericTriple",3.01,0.04,3.09,25108,3.01,0.04,3.08,25108,3.02,0.02,3.06,25108
+"sum",68.70,0.50,69.33,338964,68.62,0.52,69.28,338964,68.65,0.53,69.33,338964
+"swap",54.78,0.23,55.12,151396,54.40,0.25,54.75,151396,54.88,0.20,55.16,151396
+"tupleAssign",62.12,0.42,62.66,282716,62.27,0.38,62.77,283484,62.07,0.40,62.58,283548
+"tupleCast",2.32,0.04,2.38,21736,2.33,0.04,2.39,21736,2.38,0.02,2.44,21736
+"tupleFunction",3.15,0.04,3.22,23640,3.16,0.03,3.23,23640,3.15,0.02,3.20,23640
+"tupleMember",2.84,0.03,2.90,24056,2.82,0.04,2.89,24056,2.88,0.02,3.00,24056
+"tuplePolymorphism",3.64,0.05,3.73,26232,3.66,0.03,3.73,26232,3.63,0.05,3.70,26232
+"tupleVariadic",3.18,0.03,3.24,24420,3.18,0.04,3.25,24420,3.14,0.04,3.24,24420
+"typedefRedef",2.23,0.04,2.31,21364,2.25,0.03,2.31,21364,2.23,0.02,2.29,21364
+"typeof",2.24,0.03,2.30,21368,2.22,0.02,2.27,21368,2.22,0.02,2.28,21368
+"user_literals",17.16,0.10,17.30,68672,17.22,0.09,17.36,68672,17.17,0.11,17.32,68672
+"variableDeclarator",2.40,0.02,2.48,21808,2.61,0.04,2.68,21808,2.43,0.02,2.48,21808
+"voidPtr",2.22,0.02,2.28,21384,2.22,0.03,2.28,21384,2.26,0.03,2.32,21384
Index: doc/theses/aaron_moss_PhD/phd/evaluation/cfa-cc/cfa-dca.csv
===================================================================
--- doc/theses/aaron_moss_PhD/phd/evaluation/cfa-cc/cfa-dca.csv	(revision 60f214ab412811161b8ba07e7f2f506f743699b6)
+++ doc/theses/aaron_moss_PhD/phd/evaluation/cfa-cc/cfa-dca.csv	(revision 60f214ab412811161b8ba07e7f2f506f743699b6)
@@ -0,0 +1,56 @@
+"test","user(s)","sys(s)","wall(s)","max-mem(KB)","user(s)","sys(s)","wall(s)","max-mem(KB)","user(s)","sys(s)","wall(s)","max-mem(KB)"
+"abs",1,57.96,1.48,59.57,416516,1,58.05,1.34,59.49,416516,1,58.19,1.43,59.70,416516
+"alloc",92.13,2.96,95.23,362804,92.48,3.05,95.66,362808,92.78,2.96,95.84,362748
+"array",7.26,0.07,7.36,44876,7.27,0.06,7.36,44876,7.29,0.06,7.39,44876
+"ato",1,23.42,0.25,23.71,241940,1,23.48,0.22,23.76,241940,1,23.44,0.24,23.71,241940
+"cast",7.23,0.06,7.33,44788,7.26,0.05,7.34,44788,7.21,0.04,7.28,44788
+"complex",1,68.73,2.77,71.61,294028,1,68.56,2.59,71.25,294000,1,68.59,2.71,71.41,294000
+"ctor-autogen",15.98,0.08,16.10,78088,15.86,0.09,16.00,78088,15.95,0.11,16.08,78088
+"declarationSpecifier",9.66,0.05,9.74,54844,9.62,0.06,9.72,54844,9.80,0.07,9.90,54844
+"designations",9.26,0.08,9.36,54632,9.30,0.06,9.44,54632,9.29,0.08,9.40,54632
+"div",1,15.84,0.15,16.04,117424,1,15.94,0.10,16.09,117424,1,15.81,0.11,15.97,117424
+"dtor-early-exit",1,43.84,0.42,44.33,553588,1,44.00,0.51,44.57,553588,1,44.52,0.56,45.14,553588
+"enum",7.37,0.05,7.46,45076,7.30,0.05,7.38,45076,7.25,0.07,7.41,45076
+"extension",1,8.31,0.04,8.39,49436,1,8.19,0.06,8.28,49436,1,8.18,0.06,8.28,49436
+"fstream_test",1,21.22,0.22,21.48,197396,1,21.22,0.23,21.51,197396,1,21.32,0.19,21.56,197396
+"genericUnion",8.15,0.12,8.30,48068,8.24,0.04,8.32,48068,8.20,0.06,8.29,48068
+"globals",1,20.90,0.18,21.14,196548,1,20.70,0.20,20.97,196548,1,20.72,0.20,20.97,196548
+"gmp",1,83.92,0.93,84.97,777864,1,84.64,1.10,85.85,777864,1,84.04,1.06,85.21,777864
+"hello",1,16.23,0.16,16.42,197876,1,16.22,0.17,16.44,197876,1,16.22,0.16,16.43,197876
+"identFuncDeclarator",7.27,0.05,7.39,45444,7.35,0.04,7.42,45444,7.30,0.05,7.39,45444
+"identity",1,25.54,0.24,25.84,239256,1,26.11,0.24,26.41,239256,1,25.50,0.24,25.79,239256
+"identParamDeclarator",7.24,0.04,7.32,45336,7.25,0.04,7.32,45336,7.21,0.06,7.33,45336
+"init_once",8.85,0.08,8.98,52032,8.88,0.04,8.95,52032,8.82,0.09,8.94,52032
+"io",1,445.48,2.37,448.41,1630432,1,444.89,2.32,447.79,1630432,1,446.49,2.29,449.24,1630432
+"KRfunctions",1,7.34,0.04,7.42,45964,1,7.36,0.03,7.42,45964,1,7.34,0.05,7.43,45964
+"labelledExit",7.57,0.06,7.66,45520,7.51,0.04,7.63,45520,7.49,0.04,7.56,45520
+"limits",8.49,0.06,8.57,48392,8.58,0.06,8.66,48392,8.47,0.05,8.55,48392
+"math1",1,189.02,1.53,190.80,939712,1,189.27,1.84,191.36,939712,1,189.09,1.75,191.11,939712
+"math2",1,225.14,1.71,227.21,625848,1,224.28,1.83,226.47,625848,1,228.43,3.80,232.61,625928
+"math3",1,103.06,0.68,103.90,538724,1,103.20,0.62,103.96,538724,1,102.77,0.67,103.57,538724
+"maybe",10.12,0.04,10.19,56132,10.20,0.06,10.28,56132,10.13,0.05,10.21,56132
+"memberCtors",8.34,0.07,8.45,50108,8.33,0.05,8.41,50108,8.30,0.05,8.38,50108
+"minmax",1,84.30,0.55,84.99,450004,1,83.05,0.51,83.70,450004,1,83.29,0.52,83.92,450004
+"numericConstants",7.28,0.03,7.38,44816,7.31,0.04,7.44,44816,7.22,0.05,7.29,44816
+"polymorphism",7.39,0.03,7.45,45688,7.45,0.05,7.54,45688,7.39,0.05,7.47,45688
+"quoted_keyword",1,11.72,0.13,11.90,156580,1,11.70,0.12,11.94,156580,1,11.67,0.13,11.84,156580
+"random",1,21.14,0.21,21.40,202944,1,21.19,0.21,21.45,202944,1,21.14,0.20,21.38,202944
+"rational",1,103.33,0.77,104.25,797644,1,103.52,0.76,104.38,797644,1,102.50,0.76,103.37,797644
+"references",7.92,0.09,8.03,49176,7.94,0.07,8.05,49176,7.98,0.03,8.03,49176
+"result",13.55,0.11,13.70,99112,13.48,0.15,13.69,99284,13.45,0.12,13.62,99140
+"searchsort",1,52.09,0.73,52.91,548396,1,51.91,0.60,52.59,548396,1,52.40,0.69,53.16,548396
+"shortCircuit",1,12.26,0.12,12.42,109896,1,12.23,0.10,12.36,109896,1,12.20,0.14,12.37,109896
+"simpleGenericTriple",9.10,0.04,9.19,53172,9.12,0.04,9.23,53172,9.09,0.06,9.19,53172
+"sum",1,52.24,1.06,53.37,771508,1,51.91,1.14,53.15,771508,1,52.23,1.17,53.48,771272
+"swap",1,66.77,0.49,67.35,378312,1,66.35,0.38,66.85,378312,1,66.44,0.48,67.02,378312
+"tupleAssign",1,51.48,0.24,51.82,208520,1,51.54,0.36,52.01,208520,1,51.45,0.33,51.87,208520
+"tupleCast",7.35,0.01,7.40,45232,7.30,0.06,7.39,45232,7.33,0.06,7.42,45232
+"tupleFunction",8.73,0.05,8.83,51404,8.71,0.05,8.80,51404,8.66,0.08,8.77,51404
+"tupleMember",8.32,0.07,8.42,49964,8.27,0.07,8.36,49964,8.33,0.04,8.40,49964
+"tuplePolymorphism",9.62,0.07,9.73,56656,9.76,0.06,9.86,56656,9.64,0.08,9.75,56656
+"tupleVariadic",8.78,0.07,8.88,52644,8.80,0.07,8.90,52644,8.80,0.08,8.91,52644
+"typedefRedef",7.24,0.05,7.33,44784,7.24,0.06,7.33,44784,7.27,0.04,7.35,44784
+"typeof",7.26,0.04,7.33,44796,7.20,0.03,7.32,44796,7.14,0.04,7.21,44796
+"user_literals",1,25.48,0.25,25.77,281096,1,25.77,0.34,26.16,281096,1,25.74,0.29,26.08,281096
+"variableDeclarator",7.70,0.05,7.78,45516,7.72,0.08,7.84,45516,7.72,0.07,7.82,45516
+"voidPtr",7.18,0.04,7.26,44880,7.15,0.07,7.25,44880,7.22,0.04,7.32,44880
Index: doc/theses/aaron_moss_PhD/phd/evaluation/cfa-cc/cfa-def.csv
===================================================================
--- doc/theses/aaron_moss_PhD/phd/evaluation/cfa-cc/cfa-def.csv	(revision 60f214ab412811161b8ba07e7f2f506f743699b6)
+++ doc/theses/aaron_moss_PhD/phd/evaluation/cfa-cc/cfa-def.csv	(revision 60f214ab412811161b8ba07e7f2f506f743699b6)
@@ -0,0 +1,56 @@
+"test","user(s)","sys(s)","wall(s)","max-mem(KB)","user(s)","sys(s)","wall(s)","max-mem(KB)","user(s)","sys(s)","wall(s)","max-mem(KB)"
+"abs",1,55.58,1.50,57.20,416024,1,55.50,1.60,57.18,416164,1,55.75,1.60,57.44,416200
+"alloc",92.40,2.96,95.51,362676,92.28,2.89,95.26,362844,91.31,2.78,94.21,362676
+"array",7.26,0.07,7.43,44808,7.36,0.04,7.43,44808,7.37,0.05,7.45,44808
+"ato",1,23.45,0.19,23.69,242832,1,23.50,0.22,23.76,242832,1,23.26,0.27,23.57,242832
+"cast",7.20,0.06,7.28,44724,7.21,0.04,7.33,44724,7.26,0.04,7.37,44724
+"complex",1,68.48,2.78,71.37,294008,1,68.61,2.61,71.33,294008,1,68.40,2.77,71.27,293936
+"ctor-autogen",15.78,0.10,15.92,77880,15.96,0.11,16.18,77880,15.79,0.11,15.95,77880
+"declarationSpecifier",9.60,0.07,9.70,54808,9.71,0.07,9.83,54808,9.63,0.07,9.73,54808
+"designations",9.31,0.05,9.38,54572,9.43,0.08,9.54,54572,9.32,0.06,9.41,54572
+"div",1,15.87,0.14,16.08,117256,1,15.66,0.10,15.80,117256,1,15.84,0.13,16.07,117256
+"dtor-early-exit",1,43.35,0.38,43.84,553384,1,43.42,0.45,44.01,553384,1,43.29,0.55,43.91,553384
+"enum",7.90,0.07,8.00,45008,7.28,0.02,7.34,45008,7.24,0.05,7.32,45008
+"extension",1,8.21,0.06,8.31,49288,1,8.18,0.06,8.28,49288,1,8.18,0.06,8.28,49288
+"fstream_test",1,21.38,0.18,21.62,197736,1,21.54,0.21,21.80,197736,1,21.30,0.22,21.57,197736
+"genericUnion",8.27,0.03,8.34,47944,8.34,0.04,8.42,47944,8.23,0.05,8.31,47944
+"globals",1,20.90,0.17,21.11,195892,1,20.81,0.20,21.05,195892,1,21.15,0.18,21.45,195892
+"gmp",1,83.62,1.11,84.83,778984,1,83.51,1.06,84.68,778984,1,83.53,1.08,84.72,778984
+"hello",1,16.18,0.20,16.43,198204,1,16.24,0.14,16.43,198204,1,16.22,0.16,16.41,198204
+"identFuncDeclarator",7.28,0.05,7.37,45372,7.22,0.04,7.29,45372,7.21,0.05,7.29,45372
+"identity",1,25.60,0.21,25.86,238720,1,25.56,0.20,25.81,238720,1,25.55,0.20,25.85,238720
+"identParamDeclarator",7.26,0.07,7.36,45276,7.19,0.06,7.30,45276,7.17,0.06,7.26,45276
+"init_once",8.82,0.07,8.99,51956,8.84,0.10,8.98,51956,8.89,0.07,8.99,51956
+"io",1,445.57,3.73,449.98,1631932,1,440.46,2.91,444.07,1631932,1,440.01,2.33,443.03,1631932
+"KRfunctions",1,7.62,0.05,7.71,45896,1,7.42,0.05,7.50,45896,1,7.38,0.08,7.51,45896
+"labelledExit",7.47,0.07,7.57,45460,7.47,0.05,7.55,45460,7.45,0.07,7.57,45460
+"limits",8.47,0.04,8.55,48328,8.44,0.07,8.55,48328,8.52,0.04,8.59,48328
+"math1",1,188.40,1.72,190.34,939204,1,190.31,2.30,192.90,939368,1,187.58,1.63,189.46,939204
+"math2",1,223.51,1.81,225.68,626860,1,224.61,1.72,226.56,626860,1,223.50,1.81,225.61,626860
+"math3",1,103.71,1.80,105.68,536252,1,102.20,0.66,103.01,536252,1,102.27,0.64,103.08,536252
+"maybe",10.36,0.07,10.46,56072,10.04,0.06,10.12,56072,10.14,0.06,10.23,56072
+"memberCtors",8.22,0.06,8.31,50056,8.29,0.06,8.39,50056,8.24,0.05,8.31,50056
+"minmax",1,83.42,0.47,83.99,450668,1,84.68,0.60,85.44,450668,1,82.59,0.61,83.33,450668
+"numericConstants",7.24,0.04,7.31,44756,7.22,0.04,7.30,44756,7.16,0.08,7.28,44756
+"polymorphism",7.38,0.02,7.44,45628,7.37,0.04,7.46,45628,7.39,0.06,7.48,45628
+"quoted_keyword",1,11.77,0.10,11.91,156728,1,11.76,0.14,11.94,156728,1,11.75,0.14,11.92,156728
+"random",1,21.14,0.22,21.41,203216,1,21.08,0.27,21.41,203216,1,21.45,0.22,21.72,203216
+"rational",1,101.52,0.95,102.59,797316,1,101.94,0.72,102.76,797316,1,101.36,0.71,102.19,797316
+"references",8.00,0.06,8.09,49096,7.97,0.05,8.05,49096,7.96,0.07,8.06,49096
+"result",13.43,0.12,13.58,99240,13.43,0.11,13.59,99364,13.42,0.12,13.57,99240
+"searchsort",1,51.84,0.63,52.55,547896,1,51.35,0.60,52.02,547896,1,51.86,0.66,52.58,547896
+"shortCircuit",1,12.19,0.13,12.35,109700,1,12.40,0.09,12.52,109700,1,12.25,0.13,12.42,109700
+"simpleGenericTriple",9.00,0.05,9.09,53116,9.01,0.06,9.09,53116,8.96,0.08,9.08,53116
+"sum",1,52.10,1.32,53.52,771472,1,52.13,1.03,53.25,771344,1,52.03,1.10,53.23,771472
+"swap",1,65.49,0.38,65.97,376748,1,65.64,0.43,66.17,376748,1,65.27,0.42,65.79,376748
+"tupleAssign",1,50.84,0.38,51.31,208792,1,50.85,0.36,51.33,208792,1,51.17,0.34,51.59,208792
+"tupleCast",7.40,0.05,7.48,45168,7.29,0.05,7.37,45168,7.32,0.03,7.38,45168
+"tupleFunction",8.64,0.09,8.77,51344,8.65,0.09,8.77,51344,8.66,0.07,8.77,51344
+"tupleMember",8.29,0.03,8.36,49908,8.28,0.05,8.36,49908,8.30,0.04,8.42,49908
+"tuplePolymorphism",9.86,0.08,9.97,56664,9.86,0.08,9.98,56664,9.95,0.06,10.05,56664
+"tupleVariadic",8.74,0.09,8.86,52592,8.76,0.05,8.85,52592,8.82,0.06,8.91,52592
+"typedefRedef",7.35,0.04,7.43,44720,7.30,0.05,7.39,44720,7.28,0.06,7.37,44720
+"typeof",7.22,0.06,7.31,44732,7.21,0.05,7.29,44732,7.23,0.07,7.32,44732
+"user_literals",1,25.22,0.26,25.53,280956,1,25.45,0.24,25.73,280956,1,25.20,0.20,25.45,280956
+"variableDeclarator",7.75,0.04,7.83,45452,7.76,0.04,7.84,45452,7.87,0.06,7.96,45452
+"voidPtr",7.23,0.03,7.29,44824,7.22,0.06,7.32,44824,7.20,0.04,7.27,44824
Index: doc/theses/aaron_moss_PhD/phd/evaluation/cfa-cc/cfa-imm.csv
===================================================================
--- doc/theses/aaron_moss_PhD/phd/evaluation/cfa-cc/cfa-imm.csv	(revision 60f214ab412811161b8ba07e7f2f506f743699b6)
+++ doc/theses/aaron_moss_PhD/phd/evaluation/cfa-cc/cfa-imm.csv	(revision 60f214ab412811161b8ba07e7f2f506f743699b6)
@@ -0,0 +1,56 @@
+"test","user(s)","sys(s)","wall(s)","max-mem(KB)","user(s)","sys(s)","wall(s)","max-mem(KB)","user(s)","sys(s)","wall(s)","max-mem(KB)"
+"abs",1,205.99,1.66,207.91,525500,1,207.40,2.50,210.25,525676,1,205.31,1.74,207.37,525500
+"alloc",88.25,2.88,91.27,354864,88.26,2.80,91.24,355012,88.25,2.70,91.10,355012
+"array",7.18,0.04,7.25,44544,7.17,0.05,7.26,44544,7.15,0.07,7.25,44544
+"ato",1,26.76,0.20,27.00,220456,1,26.96,0.22,27.22,220456,1,26.88,0.23,27.16,220456
+"cast",7.10,0.07,7.22,44460,7.18,0.04,7.31,44460,7.18,0.02,7.23,44460
+"complex",70.87,2.55,73.55,286268,70.71,2.69,73.49,286016,70.39,2.84,73.37,286032
+"ctor-autogen",13.39,0.09,13.52,75392,13.36,0.08,13.48,75392,13.36,0.08,13.48,75392
+"declarationSpecifier",9.50,0.06,9.63,54508,9.48,0.07,9.59,54508,9.54,0.08,9.65,54508
+"designations",9.03,0.07,9.13,54232,9.16,0.07,9.27,54232,9.14,0.06,9.27,54232
+"div",29.18,0.30,29.53,218904,29.16,0.28,29.50,218904,29.36,0.22,29.64,218904
+"dtor-early-exit",53.25,0.46,53.81,510616,53.40,0.36,53.87,510616,53.15,0.48,53.74,510616
+"enum",7.21,0.06,7.31,44744,7.29,0.04,7.37,44744,7.22,0.04,7.29,44744
+"extension",1,8.08,0.08,8.25,49080,1,8.13,0.08,8.23,49080,1,8.10,0.05,8.18,49080
+"fstream_test",25.82,0.18,26.06,187664,25.86,0.20,26.13,187664,25.77,0.26,26.09,187664
+"genericUnion",8.00,0.04,8.08,47468,8.05,0.07,8.15,47468,8.00,0.06,8.10,47468
+"globals",24.25,0.19,24.48,182196,24.04,0.20,24.29,182196,24.04,0.17,24.26,182196
+"gmp",1,92.29,1.03,93.44,728660,1,92.91,1.14,94.19,728660,1,92.33,1.05,93.50,728660
+"hello",17.32,0.19,17.55,188008,17.31,0.18,17.54,188008,17.39,0.16,17.59,188008
+"identFuncDeclarator",7.28,0.04,7.36,45100,7.24,0.06,7.34,45100,7.26,0.04,7.33,45100
+"identity",32.62,0.20,32.87,219076,33.34,0.28,33.69,219076,32.61,0.21,32.89,219076
+"identParamDeclarator",7.20,0.04,7.28,45004,7.26,0.04,7.34,45004,7.20,0.05,7.28,45004
+"init_once",8.70,0.07,8.80,51568,8.71,0.06,8.79,51568,8.63,0.09,8.77,51568
+"io",823.65,2.92,827.53,1515864,821.96,4.54,827.79,1515864,822.06,8.16,831.53,1515864
+"KRfunctions",1,7.26,0.06,7.36,45632,1,7.34,0.06,7.45,45632,1,7.23,0.08,7.35,45632
+"labelledExit",7.43,0.03,7.50,45196,7.46,0.08,7.57,45196,7.37,0.06,7.47,45196
+"limits",8.41,0.06,8.52,48080,8.37,0.06,8.47,48080,8.39,0.04,8.47,48080
+"math1",620.06,2.89,623.75,848092,621.49,3.77,626.24,848308,622.02,3.78,626.86,848308
+"math2",763.06,4.10,768.06,730828,765.46,5.74,771.95,730872,758.84,4.10,764.21,730700
+"math3",202.02,0.73,203.08,510084,202.65,0.71,203.70,510084,202.28,0.76,203.38,510084
+"maybe",9.30,0.06,9.40,54840,9.34,0.06,9.44,54840,9.27,0.06,9.36,54840
+"memberCtors",8.18,0.06,8.27,49764,8.16,0.06,8.26,49764,8.19,0.08,8.31,49764
+"minmax",1,126.47,0.54,127.24,379380,1,126.80,0.50,127.49,379380,1,126.64,0.47,127.36,379380
+"numericConstants",7.12,0.03,7.18,44488,7.14,0.04,7.21,44488,7.16,0.04,7.24,44488
+"polymorphism",7.32,0.03,7.38,45308,7.28,0.04,7.39,45308,7.29,0.04,7.36,45308
+"quoted_keyword",17.43,0.23,17.70,211564,17.47,0.19,17.72,211412,17.47,0.19,17.70,211412
+"random",1,22.98,0.20,23.23,187684,1,23.09,0.18,23.32,187684,1,22.98,0.23,23.27,187684
+"rational",152.03,0.73,153.03,736652,151.88,0.84,152.86,736652,151.50,0.85,152.60,736652
+"references",7.89,0.04,7.96,48816,7.90,0.03,7.98,48816,7.94,0.03,8.01,48816
+"result",12.09,0.12,12.25,97536,12.12,0.11,12.27,97536,12.09,0.13,12.26,97536
+"searchsort",1,70.92,0.66,71.69,544144,1,71.01,0.66,71.79,544144,1,71.03,0.59,71.72,544144
+"shortCircuit",12.53,0.11,12.69,105652,12.54,0.09,12.67,105652,12.49,0.12,12.72,105652
+"simpleGenericTriple",8.49,0.05,8.59,52260,8.45,0.06,8.55,52260,8.47,0.05,8.55,52260
+"sum",122.89,1.01,124.14,686232,122.82,1.16,124.22,686204,122.71,0.95,123.87,686232
+"swap",1,93.87,0.42,94.48,304152,1,94.00,0.36,94.55,304152,1,94.22,0.36,94.76,304152
+"tupleAssign",79.46,0.50,80.19,363820,79.38,0.46,79.99,363820,79.45,0.42,80.01,363820
+"tupleCast",7.24,0.06,7.33,44904,7.23,0.06,7.33,44904,7.23,0.06,7.31,44904
+"tupleFunction",8.52,0.08,8.64,50996,8.52,0.06,8.63,50996,8.57,0.04,8.67,50996
+"tupleMember",8.18,0.06,8.27,49596,8.17,0.06,8.27,49596,8.18,0.05,8.26,49596
+"tuplePolymorphism",9.24,0.08,9.37,55868,9.28,0.06,9.38,55868,9.26,0.06,9.35,55868
+"tupleVariadic",8.54,0.06,8.65,52112,8.56,0.06,8.66,52112,8.57,0.04,8.64,52112
+"typedefRedef",7.16,0.04,7.24,44456,7.12,0.08,7.23,44456,7.17,0.05,7.26,44456
+"typeof",7.04,0.08,7.16,44468,7.10,0.03,7.16,44468,7.07,0.06,7.16,44468
+"user_literals",1,28.57,0.26,28.89,261940,1,28.61,0.23,28.89,261940,1,28.61,0.25,28.92,261940
+"variableDeclarator",7.65,0.04,7.72,45196,7.59,0.07,7.69,45196,7.64,0.05,7.73,45196
+"voidPtr",7.05,0.06,7.15,44552,7.09,0.03,7.17,44552,7.09,0.04,7.16,44552