diff --git a/results/milp_coarse/baseline_10uF.csv b/results/milp_coarse/baseline_10uF.csv
new file mode 100644
index 0000000..99c101e
--- /dev/null
+++ b/results/milp_coarse/baseline_10uF.csv
@@ -0,0 +1,14 @@
+benchmark,capacitor,status,basic_blocks,edges,abstract_cfg_blocks,abstract_cfg_edges,region_boundaries,compilation_time_ms,peak_rss_kb,profiling_time_ms,candidate_globals,milp_allocation_mode,milp_variables,milp_constraints,milp_presolved_variables,milp_presolved_constraints,optimal_solution,distributed_checkpoints_inserted,vm_placed_globals,vm_placed_global_names,milp_solve_time_ms
+activity_recognition,10uF,ok,16,22,8,9,4,57,41728,420,9,regional,533,1986,147,323,yes,6,8,lfsr_state:4;__local_main.features.i.sroa.0:4;__local_main.features.i.sroa.4:4;__local_main.features.i3.sroa.0:4;__local_main.features.i3.sroa.4:4;__local_main.stats.sroa.0.i:8;__local_main.features.i12.sroa.0:4;__local_main.features.i12.sroa.5:4,24
+aes,10uF,ok,26,35,9,10,4,255,48240,437,3,regional,2475,10033,61,133,yes,49,0,,27
+bitcount,10uF,ok,61,92,36,51,18,240,66064,442,2,regional,5750,25057,622,1835,yes,16,0,,85
+chacha20,10uF,ok,11,15,4,4,2,35,38896,453,3,regional,495,1907,23,46,yes,30,0,,4
+crc,10uF,ok,9,12,6,6,3,13,37088,412,2,regional,117,414,18,37,yes,0,1,__local_main.result:6,2
+cuckoo_filter,10uF,ok,22,32,7,8,3,24,38800,458,3,regional,432,1710,42,90,yes,4,1,__local_main.inserts:7,4
+dijkstra,10uF,ok,17,24,9,12,3,65,42160,425,5,regional,975,3937,137,307,yes,38,0,,20
+poly1305,10uF,ok,7,9,4,4,2,29,38000,427,3,regional,559,2135,31,68,yes,0,0,,4
+qsort,10uF,ok,17,24,12,15,5,23,38912,426,2,regional,324,1264,36,75,yes,7,0,,6
+rsa,10uF,ok,116,171,26,33,7,263,61120,436,8,regional,4980,20658,460,1253,yes,2,0,,103
+sensor_fusion,10uF,ok,177,268,4,4,2,54,40272,513,2,regional,431,1696,17,34,yes,0,0,,4
+sha256,10uF,ok,38,54,14,18,7,221,56336,508,6,regional,4083,16818,307,830,yes,79,0,,82
+stringsearch,10uF,ok,32,46,18,24,4,271,49648,474,4,regional,955,3869,411,1109,yes,6,0,,224
diff --git a/results/milp_coarse/baseline_50uF.csv b/results/milp_coarse/baseline_50uF.csv
new file mode 100644
index 0000000..a9a28bd
--- /dev/null
+++ b/results/milp_coarse/baseline_50uF.csv
@@ -0,0 +1,14 @@
+benchmark,capacitor,status,basic_blocks,edges,abstract_cfg_blocks,abstract_cfg_edges,region_boundaries,compilation_time_ms,peak_rss_kb,profiling_time_ms,candidate_globals,milp_allocation_mode,milp_variables,milp_constraints,milp_presolved_variables,milp_presolved_constraints,optimal_solution,distributed_checkpoints_inserted,vm_placed_globals,vm_placed_global_names,milp_solve_time_ms
+activity_recognition,50uF,ok,14,19,6,6,3,47,41008,421,9,regional,429,1568,117,240,yes,9,8,lfsr_state:6;__local_main.features.i.sroa.0:2;__local_main.features.i.sroa.4:2;__local_main.features.i3.sroa.0:2;__local_main.features.i3.sroa.4:2;__local_main.stats.sroa.0.i:6;__local_main.features.i12.sroa.0:6;__local_main.features.i12.sroa.5:6,17
+aes,50uF,ok,26,35,9,10,5,257,48528,483,3,regional,2475,10033,80,177,yes,51,1,g_ctx:3,38
+bitcount,50uF,ok,61,92,36,51,13,242,65840,421,2,regional,5750,25057,623,1839,yes,16,0,,86
+chacha20,50uF,ok,11,15,4,4,2,37,39744,490,3,regional,495,1907,22,45,yes,31,1,__local_main.tmp.i:4,5
+crc,50uF,ok,9,12,4,3,2,8,35648,429,2,regional,84,278,5,7,yes,0,1,__local_main.result:4,1
+cuckoo_filter,50uF,ok,18,26,5,5,2,22,39040,490,3,regional,222,833,49,105,yes,2,2,__local_main.inserts:5;__local_main.found:5,8
+dijkstra,50uF,ok,14,20,7,9,2,56,41440,426,5,regional,684,2734,113,242,yes,33,0,,21
+poly1305,50uF,ok,7,9,4,4,2,29,39120,418,3,regional,559,2135,31,68,yes,0,0,,4
+qsort,50uF,ok,13,18,6,6,3,10,37776,464,2,regional,130,470,4,6,yes,0,1,g_checksum_sink:2,1
+rsa,50uF,ok,112,165,22,27,7,502,61184,641,8,regional,3979,16305,734,1941,yes,3,0,,364
+sensor_fusion,50uF,ok,177,268,4,4,2,48,39792,433,2,regional,431,1696,17,34,yes,2,1,__local_main.acc:4,3
+sha256,50uF,ok,31,45,8,9,3,112,46256,434,6,regional,1995,7770,104,236,yes,18,1,__local_main.lengthPad.i:8,27
+stringsearch,50uF,ok,29,42,16,21,2,79,44416,407,4,regional,778,3120,344,920,yes,0,2,len:16;findme:16,41
diff --git a/results/milp_coarse/baseline_5uF.csv b/results/milp_coarse/baseline_5uF.csv
new file mode 100644
index 0000000..4dfd3c3
--- /dev/null
+++ b/results/milp_coarse/baseline_5uF.csv
@@ -0,0 +1,14 @@
+benchmark,capacitor,status,basic_blocks,edges,abstract_cfg_blocks,abstract_cfg_edges,region_boundaries,compilation_time_ms,peak_rss_kb,profiling_time_ms,candidate_globals,milp_allocation_mode,milp_variables,milp_constraints,milp_presolved_variables,milp_presolved_constraints,optimal_solution,distributed_checkpoints_inserted,vm_placed_globals,vm_placed_global_names,milp_solve_time_ms
+activity_recognition,5uF,ok,16,22,8,9,5,75,42544,672,9,regional,533,1986,153,336,yes,6,8,lfsr_state:4;__local_main.features.i.sroa.0:1;__local_main.features.i.sroa.4:1;__local_main.features.i3.sroa.0:4;__local_main.features.i3.sroa.4:4;__local_main.stats.sroa.0.i:1;__local_main.features.i12.sroa.0:1;__local_main.features.i12.sroa.5:1,30
+aes,5uF,ok,26,35,9,10,4,265,49616,527,3,regional,2475,10033,61,134,yes,49,0,,32
+bitcount,5uF,ok,61,92,36,51,17,252,69008,463,2,regional,5750,25057,623,1839,yes,16,0,,89
+chacha20,5uF,ok,11,15,4,4,2,35,39312,543,3,regional,495,1907,22,45,yes,30,0,,4
+crc,5uF,ok,11,15,8,9,4,11,37392,448,2,regional,157,573,26,59,yes,0,1,__local_main.result:8,3
+cuckoo_filter,5uF,ok,22,32,9,11,5,35,41264,464,3,regional,576,2327,64,149,yes,7,2,__local_main.inserts:3;__local_main.found:6,14
+dijkstra,5uF,ok,17,24,9,12,3,60,42080,434,5,regional,975,3937,124,274,yes,38,0,,21
+poly1305,5uF,ok,5,6,4,4,2,24,38608,427,3,regional,371,1400,31,67,yes,0,0,,3
+qsort,5uF,ok,17,24,12,15,5,22,40288,451,2,regional,324,1264,47,115,yes,7,0,,8
+rsa,5uF,ok,116,171,26,33,7,253,59984,442,8,regional,4980,20658,460,1253,yes,2,0,,89
+sensor_fusion,5uF,ok,174,264,174,263,4,78292,541248,432,2,regional,24449,108470,21813,74252,yes,11,0,,77257
+sha256,5uF,ok,29,42,23,30,4,328,68032,628,6,regional,5827,23964,839,2216,yes,99,0,,139
+stringsearch,5uF,ok,32,46,18,24,5,284,49680,438,4,regional,955,3869,411,1109,yes,6,0,,237
diff --git a/results/milp_coarse/coarse_10uF.csv b/results/milp_coarse/coarse_10uF.csv
new file mode 100644
index 0000000..10902b7
--- /dev/null
+++ b/results/milp_coarse/coarse_10uF.csv
@@ -0,0 +1,14 @@
+benchmark,capacitor,status,basic_blocks,edges,abstract_cfg_blocks,abstract_cfg_edges,region_boundaries,compilation_time_ms,peak_rss_kb,profiling_time_ms,candidate_globals,milp_allocation_mode,milp_variables,milp_constraints,milp_presolved_variables,milp_presolved_constraints,optimal_solution,distributed_checkpoints_inserted,vm_placed_globals,vm_placed_global_names,milp_solve_time_ms
+activity_recognition,10uF,ok,16,22,8,9,3,45,40608,511,9,coarse,470,1799,99,211,yes,1,1,__local_main.stats.sroa.0.i:8,14
+aes,10uF,ok,26,35,9,10,4,242,47280,422,3,coarse,2451,9959,43,93,yes,49,0,,24
+bitcount,10uF,ok,61,92,36,51,18,228,63792,514,2,coarse,5680,24786,684,2069,yes,16,0,,84
+chacha20,10uF,ok,11,15,4,4,2,29,38800,399,3,coarse,486,1877,19,33,yes,30,0,,3
+crc,10uF,ok,9,12,6,6,3,12,36992,402,2,coarse,107,383,5,7,yes,0,1,__local_main.result:6,2
+cuckoo_filter,10uF,ok,22,32,7,8,3,23,38672,402,3,coarse,414,1650,30,61,yes,4,1,__local_main.inserts:7,4
+dijkstra,10uF,ok,17,24,9,12,3,60,41536,454,5,coarse,935,3789,112,232,yes,38,0,,16
+poly1305,10uF,ok,7,9,4,4,2,28,38688,409,3,coarse,550,2105,25,50,yes,0,0,,4
+qsort,10uF,ok,17,24,12,15,5,21,38704,419,2,coarse,302,1185,35,74,yes,7,0,,5
+rsa,10uF,ok,116,171,26,33,7,214,56688,419,8,coarse,4780,20041,175,498,yes,2,0,,59
+sensor_fusion,10uF,ok,177,268,4,4,2,50,39248,414,2,coarse,425,1675,14,26,yes,0,0,,2
+sha256,10uF,ok,38,54,14,18,6,178,54672,400,6,coarse,4005,16559,259,674,yes,79,0,,48
+stringsearch,10uF,ok,32,46,18,24,4,197,47776,425,4,coarse,887,3632,344,921,yes,6,0,,153
diff --git a/results/milp_coarse/coarse_50uF.csv b/results/milp_coarse/coarse_50uF.csv
new file mode 100644
index 0000000..e30886d
--- /dev/null
+++ b/results/milp_coarse/coarse_50uF.csv
@@ -0,0 +1,14 @@
+benchmark,capacitor,status,basic_blocks,edges,abstract_cfg_blocks,abstract_cfg_edges,region_boundaries,compilation_time_ms,peak_rss_kb,profiling_time_ms,candidate_globals,milp_allocation_mode,milp_variables,milp_constraints,milp_presolved_variables,milp_presolved_constraints,optimal_solution,distributed_checkpoints_inserted,vm_placed_globals,vm_placed_global_names,milp_solve_time_ms
+activity_recognition,50uF,ok,14,19,6,6,2,35,39776,440,9,coarse,384,1446,85,168,yes,8,8,lfsr_state:6;__local_main.features.i.sroa.0:6;__local_main.features.i.sroa.4:6;__local_main.features.i3.sroa.0:6;__local_main.features.i3.sroa.4:6;__local_main.stats.sroa.0.i:6;__local_main.features.i12.sroa.0:6;__local_main.features.i12.sroa.5:6,7
+aes,50uF,ok,26,35,9,10,5,236,47360,412,3,coarse,2451,9959,43,93,yes,51,0,,22
+bitcount,50uF,ok,61,92,36,51,13,232,64000,429,2,coarse,5680,24786,684,2069,yes,16,0,,90
+chacha20,50uF,ok,11,15,4,4,2,34,38880,411,3,coarse,486,1877,19,33,yes,31,1,__local_main.tmp.i:4,4
+crc,50uF,ok,9,12,4,3,2,9,36576,501,2,coarse,78,263,4,6,yes,0,1,__local_main.result:4,1
+cuckoo_filter,50uF,ok,18,26,5,5,2,16,38016,404,3,coarse,210,796,40,78,yes,2,2,__local_main.inserts:5;__local_main.found:5,4
+dijkstra,50uF,ok,14,20,7,9,3,46,40944,403,5,coarse,654,2623,73,170,yes,35,0,,14
+poly1305,50uF,ok,7,9,4,4,2,29,38992,473,3,coarse,550,2105,25,50,yes,0,0,,4
+qsort,50uF,ok,13,18,6,6,3,8,37792,404,2,coarse,120,439,4,6,yes,0,0,,1
+rsa,50uF,ok,112,165,22,27,8,311,58368,405,8,coarse,3811,15804,622,1633,yes,4,0,,179
+sensor_fusion,50uF,ok,177,268,4,4,2,50,39056,481,2,coarse,425,1675,14,26,yes,2,1,__local_main.acc:4,2
+sha256,50uF,ok,31,45,8,9,3,99,44112,415,6,coarse,1953,7643,48,100,yes,18,1,__local_main.lengthPad.i:8,18
+stringsearch,50uF,ok,29,42,16,21,2,71,43248,404,4,coarse,718,2913,308,805,yes,0,2,len:16;findme:16,34
diff --git a/results/milp_coarse/coarse_5uF.csv b/results/milp_coarse/coarse_5uF.csv
new file mode 100644
index 0000000..83262db
--- /dev/null
+++ b/results/milp_coarse/coarse_5uF.csv
@@ -0,0 +1,14 @@
+benchmark,capacitor,status,basic_blocks,edges,abstract_cfg_blocks,abstract_cfg_edges,region_boundaries,compilation_time_ms,peak_rss_kb,profiling_time_ms,candidate_globals,milp_allocation_mode,milp_variables,milp_constraints,milp_presolved_variables,milp_presolved_constraints,optimal_solution,distributed_checkpoints_inserted,vm_placed_globals,vm_placed_global_names,milp_solve_time_ms
+activity_recognition,5uF,ok,16,22,8,9,3,41,40800,406,9,coarse,470,1799,115,241,yes,0,0,,11
+aes,5uF,ok,26,35,9,10,4,255,47456,410,3,coarse,2451,9959,43,93,yes,49,0,,25
+bitcount,5uF,ok,61,92,36,51,17,228,65392,483,2,coarse,5680,24786,684,2069,yes,16,0,,84
+chacha20,5uF,ok,11,15,4,4,2,34,38752,405,3,coarse,486,1877,19,33,yes,30,0,,4
+crc,5uF,ok,11,15,8,9,4,14,37184,415,2,coarse,143,526,13,30,yes,0,1,__local_main.result:8,3
+cuckoo_filter,5uF,ok,22,32,9,11,4,27,40384,414,3,coarse,552,2244,48,107,yes,8,2,__local_main.inserts:9;__local_main.found:9,8
+dijkstra,5uF,ok,17,24,9,12,3,58,41584,448,5,coarse,935,3789,99,207,yes,38,0,,15
+poly1305,5uF,ok,5,6,4,4,2,24,38224,420,3,coarse,362,1370,25,49,yes,0,0,,3
+qsort,5uF,ok,17,24,12,15,5,19,39584,405,2,coarse,302,1185,46,114,yes,7,0,,6
+rsa,5uF,ok,116,171,26,33,7,214,56704,427,8,coarse,4780,20041,175,500,yes,2,0,,58
+sensor_fusion,5uF,ok,174,264,174,263,4,67546,521296,430,2,coarse,24103,107065,21731,73805,yes,11,0,,66534
+sha256,5uF,ok,29,42,23,30,4,286,63616,481,6,coarse,5695,23534,700,1908,yes,99,0,,110
+stringsearch,5uF,ok,32,46,18,24,5,195,48160,418,4,coarse,887,3632,344,921,yes,6,0,,152
diff --git a/results/milp_coarse/hw/coarse_10uF.csv b/results/milp_coarse/hw/coarse_10uF.csv
new file mode 100644
index 0000000..3843a3b
--- /dev/null
+++ b/results/milp_coarse/hw/coarse_10uF.csv
@@ -0,0 +1,3 @@
+benchmark,capacitor,status,basic_blocks,edges,abstract_cfg_blocks,abstract_cfg_edges,region_boundaries,compilation_time_ms,peak_rss_kb,profiling_time_ms,execution_time_us,runtime_region_boundary_calls,runtime_debug_store_mem_calls,runtime_debug_restore_mem_calls,candidate_globals,milp_allocation_mode,milp_variables,milp_constraints,milp_presolved_variables,milp_presolved_constraints,optimal_solution,distributed_checkpoints_inserted,vm_placed_globals,vm_placed_global_names,milp_solve_time_ms,result,run_attempts
+activity_recognition-10uF,10uF,ok,16,22,8,9,3,43,40416,415,34011.27,0,0,0,9,coarse,470,1799,99,211,yes,1,1,__local_main.stats.sroa.0.i:8,13,,1
+sha256-10uF,10uF,ok,38,54,14,18,6,181,54608,435,94412.17,0,0,0,6,coarse,4005,16559,259,674,yes,79,0,,49,,1
diff --git a/results/milp_coarse/hw/coarse_50uF.csv b/results/milp_coarse/hw/coarse_50uF.csv
new file mode 100644
index 0000000..b1d54ee
--- /dev/null
+++ b/results/milp_coarse/hw/coarse_50uF.csv
@@ -0,0 +1,6 @@
+benchmark,capacitor,status,basic_blocks,edges,abstract_cfg_blocks,abstract_cfg_edges,region_boundaries,compilation_time_ms,peak_rss_kb,profiling_time_ms,execution_time_us,runtime_region_boundary_calls,runtime_debug_store_mem_calls,runtime_debug_restore_mem_calls,candidate_globals,milp_allocation_mode,milp_variables,milp_constraints,milp_presolved_variables,milp_presolved_constraints,optimal_solution,distributed_checkpoints_inserted,vm_placed_globals,vm_placed_global_names,milp_solve_time_ms,result,run_attempts
+activity_recognition-50uF,50uF,ok,14,19,6,6,2,34,40288,433,33847.82,0,0,0,9,coarse,384,1446,85,168,yes,8,8,lfsr_state:6;__local_main.features.i.sroa.0:6;__local_main.features.i.sroa.4:6;__local_main.features.i3.sroa.0:6;__local_main.features.i3.sroa.4:6;__local_main.stats.sroa.0.i:6;__local_main.features.i12.sroa.0:6;__local_main.features.i12.sroa.5:6,7,,1
+dijkstra-50uF,50uF,ok,14,20,7,9,3,66,40960,535,214339.84,0,0,0,5,coarse,654,2623,73,170,yes,35,0,,20,,1
+rsa-50uF,50uF,ok,112,165,22,27,9,378,59552,513,45043.81,0,0,0,8,coarse,3811,15804,622,1633,yes,4,0,,207,,1
+aes-50uF,50uF,ok,26,35,9,10,5,244,47312,707,104570.89,0,0,0,3,coarse,2451,9959,43,93,yes,51,0,,27,,1
+qsort-50uF,50uF,ok,13,18,6,6,3,24,37568,498,1005658.94,0,0,0,2,coarse,120,439,4,6,yes,0,0,,4,,1
diff --git a/results/milp_coarse/hw/coarse_5uF.csv b/results/milp_coarse/hw/coarse_5uF.csv
new file mode 100644
index 0000000..fc928c6
--- /dev/null
+++ b/results/milp_coarse/hw/coarse_5uF.csv
@@ -0,0 +1,3 @@
+benchmark,capacitor,status,basic_blocks,edges,abstract_cfg_blocks,abstract_cfg_edges,region_boundaries,compilation_time_ms,peak_rss_kb,profiling_time_ms,execution_time_us,runtime_region_boundary_calls,runtime_debug_store_mem_calls,runtime_debug_restore_mem_calls,candidate_globals,milp_allocation_mode,milp_variables,milp_constraints,milp_presolved_variables,milp_presolved_constraints,optimal_solution,distributed_checkpoints_inserted,vm_placed_globals,vm_placed_global_names,milp_solve_time_ms,result,run_attempts
+activity_recognition-5uF,5uF,ok,16,22,8,9,3,43,40608,466,34234.88,0,0,0,9,coarse,470,1799,115,241,yes,0,0,,12,,1
+cuckoo_filter-5uF,5uF,ok,22,32,9,11,4,34,40256,463,43952.87,0,0,0,3,coarse,552,2244,48,107,yes,8,2,__local_main.inserts:9;__local_main.found:9,10,,1
diff --git a/results/milp_coarse/hw/coarse_debug_10uF.csv b/results/milp_coarse/hw/coarse_debug_10uF.csv
new file mode 100644
index 0000000..564b5a5
--- /dev/null
+++ b/results/milp_coarse/hw/coarse_debug_10uF.csv
@@ -0,0 +1,3 @@
+benchmark,capacitor,status,basic_blocks,edges,abstract_cfg_blocks,abstract_cfg_edges,region_boundaries,compilation_time_ms,peak_rss_kb,profiling_time_ms,execution_time_us,runtime_region_boundary_calls,runtime_debug_store_mem_calls,runtime_debug_restore_mem_calls,candidate_globals,milp_allocation_mode,milp_variables,milp_constraints,milp_presolved_variables,milp_presolved_constraints,optimal_solution,distributed_checkpoints_inserted,vm_placed_globals,vm_placed_global_names,milp_solve_time_ms,result,run_attempts
+activity_recognition-10uF,10uF,ok,16,22,8,9,3,39,40624,406,34025.7,12,0,0,9,coarse,470,1799,99,211,yes,1,1,__local_main.stats.sroa.0.i:8,12,64,1
+sha256-10uF,10uF,ok,38,54,14,18,6,203,56352,535,94241.66,18,0,0,6,coarse,4005,16559,259,674,yes,79,0,,56,131,1
diff --git a/results/milp_coarse/hw/coarse_debug_50uF.csv b/results/milp_coarse/hw/coarse_debug_50uF.csv
new file mode 100644
index 0000000..2951d94
--- /dev/null
+++ b/results/milp_coarse/hw/coarse_debug_50uF.csv
@@ -0,0 +1,6 @@
+benchmark,capacitor,status,basic_blocks,edges,abstract_cfg_blocks,abstract_cfg_edges,region_boundaries,compilation_time_ms,peak_rss_kb,profiling_time_ms,execution_time_us,runtime_region_boundary_calls,runtime_debug_store_mem_calls,runtime_debug_restore_mem_calls,candidate_globals,milp_allocation_mode,milp_variables,milp_constraints,milp_presolved_variables,milp_presolved_constraints,optimal_solution,distributed_checkpoints_inserted,vm_placed_globals,vm_placed_global_names,milp_solve_time_ms,result,run_attempts
+activity_recognition-50uF,50uF,ok,14,19,6,6,2,48,39904,488,33847.6,2,0,0,9,coarse,384,1446,85,168,yes,8,8,lfsr_state:6;__local_main.features.i.sroa.0:6;__local_main.features.i.sroa.4:6;__local_main.features.i4.sroa.0:6;__local_main.features.i4.sroa.4:6;__local_main.stats.sroa.0.i:6;__local_main.features.i13.sroa.0:6;__local_main.features.i13.sroa.5:6,10,64,1
+dijkstra-50uF,50uF,ok,14,20,7,9,3,47,41360,405,214030.69,32,0,0,5,coarse,654,2623,73,170,yes,35,0,,16,33447,1
+rsa-50uF,50uF,ok,112,165,22,27,8,316,58576,406,45005.41,5,0,0,8,coarse,3811,15804,622,1633,yes,5,0,,184,32,1
+aes-50uF,50uF,ok,26,35,9,10,5,244,47072,423,104088.64,5,0,0,3,coarse,2451,9959,43,93,yes,51,0,,22,107,1
+qsort-50uF,50uF,ok,13,18,6,6,3,8,37504,405,1018825.13,129,0,0,2,coarse,120,439,4,6,yes,0,0,,1,27023,1
diff --git a/results/milp_coarse/hw/coarse_debug_5uF.csv b/results/milp_coarse/hw/coarse_debug_5uF.csv
new file mode 100644
index 0000000..84d726f
--- /dev/null
+++ b/results/milp_coarse/hw/coarse_debug_5uF.csv
@@ -0,0 +1,3 @@
+benchmark,capacitor,status,basic_blocks,edges,abstract_cfg_blocks,abstract_cfg_edges,region_boundaries,compilation_time_ms,peak_rss_kb,profiling_time_ms,execution_time_us,runtime_region_boundary_calls,runtime_debug_store_mem_calls,runtime_debug_restore_mem_calls,candidate_globals,milp_allocation_mode,milp_variables,milp_constraints,milp_presolved_variables,milp_presolved_constraints,optimal_solution,distributed_checkpoints_inserted,vm_placed_globals,vm_placed_global_names,milp_solve_time_ms,result,run_attempts
+activity_recognition-5uF,5uF,ok,16,22,8,9,3,37,40592,413,34270.84,26,0,0,9,coarse,470,1799,115,241,yes,0,0,,11,64,1
+cuckoo_filter-5uF,5uF,ok,22,32,9,11,4,27,40464,410,42995.57,40,0,0,3,coarse,552,2244,48,107,yes,8,2,__local_main.inserts:9;__local_main.found:9,8,4048,1
diff --git a/results/milp_coarse/hw/regional_10uF.csv b/results/milp_coarse/hw/regional_10uF.csv
new file mode 100644
index 0000000..fad65f8
--- /dev/null
+++ b/results/milp_coarse/hw/regional_10uF.csv
@@ -0,0 +1,3 @@
+benchmark,capacitor,status,basic_blocks,edges,abstract_cfg_blocks,abstract_cfg_edges,region_boundaries,compilation_time_ms,peak_rss_kb,profiling_time_ms,execution_time_us,runtime_region_boundary_calls,runtime_debug_store_mem_calls,runtime_debug_restore_mem_calls,candidate_globals,milp_allocation_mode,milp_variables,milp_constraints,milp_presolved_variables,milp_presolved_constraints,optimal_solution,distributed_checkpoints_inserted,vm_placed_globals,vm_placed_global_names,milp_solve_time_ms,result,run_attempts
+activity_recognition-10uF,10uF,ok,16,22,8,9,4,67,42144,529,34028.74,0,0,0,9,regional,533,1986,147,323,yes,6,8,lfsr_state:4;__local_main.features.i.sroa.0:4;__local_main.features.i.sroa.4:4;__local_main.features.i3.sroa.0:4;__local_main.features.i3.sroa.4:4;__local_main.stats.sroa.0.i:8;__local_main.features.i12.sroa.0:4;__local_main.features.i12.sroa.5:4,29,,1
+sha256-10uF,10uF,ok,38,54,14,18,7,223,56176,428,95845.12,0,0,0,6,regional,4083,16818,307,830,yes,79,0,,82,,1
diff --git a/results/milp_coarse/hw/regional_50uF.csv b/results/milp_coarse/hw/regional_50uF.csv
new file mode 100644
index 0000000..c4ddb8f
--- /dev/null
+++ b/results/milp_coarse/hw/regional_50uF.csv
@@ -0,0 +1,6 @@
+benchmark,capacitor,status,basic_blocks,edges,abstract_cfg_blocks,abstract_cfg_edges,region_boundaries,compilation_time_ms,peak_rss_kb,profiling_time_ms,execution_time_us,runtime_region_boundary_calls,runtime_debug_store_mem_calls,runtime_debug_restore_mem_calls,candidate_globals,milp_allocation_mode,milp_variables,milp_constraints,milp_presolved_variables,milp_presolved_constraints,optimal_solution,distributed_checkpoints_inserted,vm_placed_globals,vm_placed_global_names,milp_solve_time_ms,result,run_attempts
+activity_recognition-50uF,50uF,ok,14,19,6,6,3,55,41024,471,33902.97,0,0,0,9,regional,429,1568,117,240,yes,9,8,lfsr_state:6;__local_main.features.i.sroa.0:2;__local_main.features.i.sroa.4:2;__local_main.features.i3.sroa.0:2;__local_main.features.i3.sroa.4:2;__local_main.stats.sroa.0.i:6;__local_main.features.i12.sroa.0:6;__local_main.features.i12.sroa.5:6,20,,1
+dijkstra-50uF,50uF,ok,14,20,7,9,2,72,41440,512,216728.98,0,0,0,5,regional,684,2734,113,242,yes,33,0,,26,,1
+rsa-50uF,50uF,ok,112,165,22,27,7,512,63968,547,45240.04,0,0,0,8,regional,3979,16305,734,1941,yes,3,0,,372,,1
+aes-50uF,50uF,ok,26,35,9,10,5,265,50416,445,104614.06,0,0,0,3,regional,2475,10033,80,177,yes,51,1,g_ctx:3,38,,1
+qsort-50uF,50uF,ok,13,18,6,6,3,11,37840,434,1032141.22,0,0,0,2,regional,130,470,4,6,yes,0,1,g_checksum_sink:2,1,,1
diff --git a/results/milp_coarse/hw/regional_5uF.csv b/results/milp_coarse/hw/regional_5uF.csv
new file mode 100644
index 0000000..030dd68
--- /dev/null
+++ b/results/milp_coarse/hw/regional_5uF.csv
@@ -0,0 +1,3 @@
+benchmark,capacitor,status,basic_blocks,edges,abstract_cfg_blocks,abstract_cfg_edges,region_boundaries,compilation_time_ms,peak_rss_kb,profiling_time_ms,execution_time_us,runtime_region_boundary_calls,runtime_debug_store_mem_calls,runtime_debug_restore_mem_calls,candidate_globals,milp_allocation_mode,milp_variables,milp_constraints,milp_presolved_variables,milp_presolved_constraints,optimal_solution,distributed_checkpoints_inserted,vm_placed_globals,vm_placed_global_names,milp_solve_time_ms,result,run_attempts
+activity_recognition-5uF,5uF,ok,16,22,8,9,5,72,41952,543,34274.54,0,0,0,9,regional,533,1986,153,336,yes,6,8,lfsr_state:4;__local_main.features.i.sroa.0:1;__local_main.features.i.sroa.4:1;__local_main.features.i3.sroa.0:4;__local_main.features.i3.sroa.4:4;__local_main.stats.sroa.0.i:1;__local_main.features.i12.sroa.0:1;__local_main.features.i12.sroa.5:1,27,,1
+cuckoo_filter-5uF,5uF,ok,22,32,9,11,5,41,41648,427,42471.49,0,0,0,3,regional,576,2327,64,149,yes,7,2,__local_main.inserts:3;__local_main.found:6,15,,1
diff --git a/results/milp_coarse/hw/regional_debug_10uF.csv b/results/milp_coarse/hw/regional_debug_10uF.csv
new file mode 100644
index 0000000..3b5ac1c
--- /dev/null
+++ b/results/milp_coarse/hw/regional_debug_10uF.csv
@@ -0,0 +1,3 @@
+benchmark,capacitor,status,basic_blocks,edges,abstract_cfg_blocks,abstract_cfg_edges,region_boundaries,compilation_time_ms,peak_rss_kb,profiling_time_ms,execution_time_us,runtime_region_boundary_calls,runtime_debug_store_mem_calls,runtime_debug_restore_mem_calls,candidate_globals,milp_allocation_mode,milp_variables,milp_constraints,milp_presolved_variables,milp_presolved_constraints,optimal_solution,distributed_checkpoints_inserted,vm_placed_globals,vm_placed_global_names,milp_solve_time_ms,result,run_attempts
+activity_recognition-10uF,10uF,ok,16,22,8,9,4,57,42224,429,34049.85,13,0,0,9,regional,533,1986,147,323,yes,6,8,lfsr_state:4;__local_main.features.i.sroa.0:4;__local_main.features.i.sroa.4:4;__local_main.features.i4.sroa.0:4;__local_main.features.i4.sroa.4:4;__local_main.stats.sroa.0.i:8;__local_main.features.i13.sroa.0:4;__local_main.features.i13.sroa.5:4,24,64,1
+sha256-10uF,10uF,ok,38,54,14,18,6,223,56848,423,94441.06,18,0,0,6,regional,4083,16818,307,830,yes,79,0,,87,131,1
diff --git a/results/milp_coarse/hw/regional_debug_50uF.csv b/results/milp_coarse/hw/regional_debug_50uF.csv
new file mode 100644
index 0000000..0251cb5
--- /dev/null
+++ b/results/milp_coarse/hw/regional_debug_50uF.csv
@@ -0,0 +1,6 @@
+benchmark,capacitor,status,basic_blocks,edges,abstract_cfg_blocks,abstract_cfg_edges,region_boundaries,compilation_time_ms,peak_rss_kb,profiling_time_ms,execution_time_us,runtime_region_boundary_calls,runtime_debug_store_mem_calls,runtime_debug_restore_mem_calls,candidate_globals,milp_allocation_mode,milp_variables,milp_constraints,milp_presolved_variables,milp_presolved_constraints,optimal_solution,distributed_checkpoints_inserted,vm_placed_globals,vm_placed_global_names,milp_solve_time_ms,result,run_attempts
+activity_recognition-50uF,50uF,ok,14,19,6,6,3,40,40592,449,33912.35,3,0,0,9,regional,429,1568,117,240,yes,9,8,lfsr_state:6;__local_main.features.i.sroa.0:2;__local_main.features.i.sroa.4:2;__local_main.features.i4.sroa.0:2;__local_main.features.i4.sroa.4:2;__local_main.stats.sroa.0.i:6;__local_main.features.i13.sroa.0:6;__local_main.features.i13.sroa.5:6,12,64,1
+dijkstra-50uF,50uF,ok,14,20,7,9,2,57,41280,446,217276.32,32,0,0,5,regional,684,2734,113,242,yes,33,0,,21,33447,1
+rsa-50uF,50uF,ok,112,165,22,27,9,490,60736,439,45201.54,5,0,0,8,regional,3979,16305,734,1941,yes,5,0,,353,32,1
+aes-50uF,50uF,ok,26,35,9,10,5,261,48592,448,104555.4,5,0,0,3,regional,2475,10033,80,177,yes,51,1,g_ctx:3,37,107,1
+qsort-50uF,50uF,ok,13,18,6,6,3,11,37776,453,1032304.42,129,0,0,2,regional,130,470,4,6,yes,0,1,g_checksum_sink:2,1,27023,1
diff --git a/results/milp_coarse/hw/regional_debug_5uF.csv b/results/milp_coarse/hw/regional_debug_5uF.csv
new file mode 100644
index 0000000..7581725
--- /dev/null
+++ b/results/milp_coarse/hw/regional_debug_5uF.csv
@@ -0,0 +1,3 @@
+benchmark,capacitor,status,basic_blocks,edges,abstract_cfg_blocks,abstract_cfg_edges,region_boundaries,compilation_time_ms,peak_rss_kb,profiling_time_ms,execution_time_us,runtime_region_boundary_calls,runtime_debug_store_mem_calls,runtime_debug_restore_mem_calls,candidate_globals,milp_allocation_mode,milp_variables,milp_constraints,milp_presolved_variables,milp_presolved_constraints,optimal_solution,distributed_checkpoints_inserted,vm_placed_globals,vm_placed_global_names,milp_solve_time_ms,result,run_attempts
+activity_recognition-5uF,5uF,ok,16,22,8,9,5,54,41776,440,34310.63,28,0,0,9,regional,533,1986,153,336,yes,6,8,lfsr_state:4;__local_main.features.i.sroa.0:1;__local_main.features.i.sroa.4:1;__local_main.features.i4.sroa.0:4;__local_main.features.i4.sroa.4:4;__local_main.stats.sroa.0.i:1;__local_main.features.i13.sroa.0:1;__local_main.features.i13.sroa.5:1,21,64,1
+cuckoo_filter-5uF,5uF,ok,22,32,9,11,5,37,40784,427,42521.53,44,0,0,3,regional,576,2327,64,149,yes,7,2,__local_main.inserts:3;__local_main.found:6,13,4048,1
diff --git a/results/milp_coarse/summary_10uF.csv b/results/milp_coarse/summary_10uF.csv
new file mode 100644
index 0000000..a3e8759
--- /dev/null
+++ b/results/milp_coarse/summary_10uF.csv
@@ -0,0 +1,3 @@
+capacitor,benchmark_count,solve_time_mean_before_ms,solve_time_mean_after_ms,solve_time_mean_reduction_pct,solve_time_geomean_reduction_pct,solve_time_mean_of_reductions_pct,solve_time_median_before_ms,solve_time_median_after_ms,solve_time_median_reduction_pct,worst_case_before_benchmark,worst_case_before_ms,worst_case_after_benchmark,worst_case_after_ms,milp_variables_mean_before,milp_variables_mean_after,milp_variables_mean_reduction_pct,milp_constraints_mean_before,milp_constraints_mean_after,milp_constraints_mean_reduction_pct,milp_presolved_variables_mean_before,milp_presolved_variables_mean_after,milp_presolved_variables_mean_reduction_pct,milp_presolved_constraints_mean_before,milp_presolved_constraints_mean_after,milp_presolved_constraints_mean_reduction_pct
+10uF,13,45.30769230769231,32.15384615384615,29.03225806451613,23.772521215455477,21.653784987707414,20.0,14.0,30.0,stringsearch,224.0,stringsearch,153.0,1700.6923076923076,1653.2307692307693,2.7907187118368015,7037.2307692307695,6880.0,2.234270473525429,177.84615384615384,141.84615384615384,20.242214532871973,472.3076923076923,380.6923076923077,19.397394136807822
+ALL,13,45.30769230769231,32.15384615384615,29.03225806451613,23.772521215455477,21.653784987707414,20.0,14.0,30.0,stringsearch,224.0,stringsearch,153.0,1700.6923076923076,1653.2307692307693,2.7907187118368015,7037.2307692307695,6880.0,2.234270473525429,177.84615384615384,141.84615384615384,20.242214532871973,472.3076923076923,380.6923076923077,19.397394136807822
diff --git a/results/milp_coarse/summary_50uF.csv b/results/milp_coarse/summary_50uF.csv
new file mode 100644
index 0000000..a46cfcb
--- /dev/null
+++ b/results/milp_coarse/summary_50uF.csv
@@ -0,0 +1,3 @@
+capacitor,benchmark_count,solve_time_mean_before_ms,solve_time_mean_after_ms,solve_time_mean_reduction_pct,solve_time_geomean_reduction_pct,solve_time_mean_of_reductions_pct,solve_time_median_before_ms,solve_time_median_after_ms,solve_time_median_reduction_pct,worst_case_before_benchmark,worst_case_before_ms,worst_case_after_benchmark,worst_case_after_ms,milp_variables_mean_before,milp_variables_mean_after,milp_variables_mean_reduction_pct,milp_constraints_mean_before,milp_constraints_mean_after,milp_constraints_mean_reduction_pct,milp_presolved_variables_mean_before,milp_presolved_variables_mean_after,milp_presolved_variables_mean_reduction_pct,milp_presolved_constraints_mean_before,milp_presolved_constraints_mean_after,milp_presolved_constraints_mean_reduction_pct
+50uF,13,47.38461538461539,29.23076923076923,38.31168831168832,28.812291394177226,25.705767410372683,17.0,7.0,58.82352941176471,rsa,364.0,rsa,179.0,1385.4615384615386,1347.6923076923076,2.7261118205541184,5685.076923076923,5563.7692307692305,2.133791573079318,172.53846153846155,151.46153846153845,12.215782434239866,450.7692307692308,402.84615384615387,10.63139931740614
+ALL,13,47.38461538461539,29.23076923076923,38.31168831168832,28.812291394177226,25.705767410372683,17.0,7.0,58.82352941176471,rsa,364.0,rsa,179.0,1385.4615384615386,1347.6923076923076,2.7261118205541184,5685.076923076923,5563.7692307692305,2.133791573079318,172.53846153846155,151.46153846153845,12.215782434239866,450.7692307692308,402.84615384615387,10.63139931740614
diff --git a/results/milp_coarse/summary_5uF.csv b/results/milp_coarse/summary_5uF.csv
new file mode 100644
index 0000000..4de18f9
--- /dev/null
+++ b/results/milp_coarse/summary_5uF.csv
@@ -0,0 +1,3 @@
+capacitor,benchmark_count,solve_time_mean_before_ms,solve_time_mean_after_ms,solve_time_mean_reduction_pct,solve_time_geomean_reduction_pct,solve_time_mean_of_reductions_pct,solve_time_median_before_ms,solve_time_median_after_ms,solve_time_median_reduction_pct,worst_case_before_benchmark,worst_case_before_ms,worst_case_after_benchmark,worst_case_after_ms,milp_variables_mean_before,milp_variables_mean_after,milp_variables_mean_reduction_pct,milp_constraints_mean_before,milp_constraints_mean_after,milp_constraints_mean_reduction_pct,milp_presolved_variables_mean_before,milp_presolved_variables_mean_after,milp_presolved_variables_mean_reduction_pct,milp_presolved_constraints_mean_before,milp_presolved_constraints_mean_after,milp_presolved_constraints_mean_reduction_pct
+5uF,13,5994.307692307692,5154.846153846154,14.004311782973582,25.044270915257794,22.514944589670694,30.0,15.0,50.0,sensor_fusion,77257.0,sensor_fusion,66534.0,3682.076923076923,3603.5384615384614,2.132993502830758,15803.461538461539,15523.615384615385,1.7707902358295433,1898.0,1849.3846153846155,2.5614006646672562,6296.0,6159.7692307692305,2.163766982699643
+ALL,13,5994.307692307692,5154.846153846154,14.004311782973582,25.044270915257794,22.514944589670694,30.0,15.0,50.0,sensor_fusion,77257.0,sensor_fusion,66534.0,3682.076923076923,3603.5384615384614,2.132993502830758,15803.461538461539,15523.615384615385,1.7707902358295433,1898.0,1849.3846153846155,2.5614006646672562,6296.0,6159.7692307692305,2.163766982699643