[{"run":"activitydiary-Rep1","function":"activitydiary.add-activity","source_activity":"de.rampro.activitydiary.ui.generic.ManageActivity","entry":"entry-002","executions":3,"method":"A-final","region":"A-final-004","header":"g21s63","members":["g20s62","g21s63","g22s66","g46s166","g49s183"],"size":5,"target_fraction":0.3333333333333333,"next5_fraction":0.09090909090909091,"source_steps":253,"p_stay":0.391304347826087,"dwell_p90":3.0,"reentries":123,"late":{"steps":48,"new_state":1,"new_state_target_inside":1,"new_state_target_outside":0,"new_transition":16,"new_state_pair":10,"native_new_model":1},"best_region_selection":"posthoc maximum entry-target executions; no semantic accuracy claim"},{"run":"activitydiary-Rep1","function":"activitydiary.add-activity","source_activity":"de.rampro.activitydiary.ui.generic.ManageActivity","entry":"entry-002","executions":3,"method":"A-flow","region":"A-flow-011","header":"g21s63","members":["g21s63","g22s66","g29s95","g46s166","g49s183"],"size":5,"target_fraction":0.3333333333333333,"next5_fraction":0.09090909090909091,"source_steps":253,"p_stay":0.391304347826087,"dwell_p90":3.0,"reentries":123,"late":{"steps":48,"new_state":1,"new_state_target_inside":1,"new_state_target_outside":0,"new_transition":16,"new_state_pair":10,"native_new_model":1},"best_region_selection":"posthoc maximum entry-target executions; no semantic accuracy claim"},{"run":"activitydiary-Rep1","function":"activitydiary.add-activity","source_activity":"de.rampro.activitydiary.ui.generic.ManageActivity","entry":"entry-002","executions":3,"method":"Infomap-G1","region":"Infomap-G1-008","header":null,"members":["g15s42","g16s47","g17s54","g17s55","g17s56","g23s68"],"size":6,"target_fraction":0.6666666666666666,"next5_fraction":0.45454545454545453,"source_steps":16,"p_stay":0.625,"dwell_p90":5.1,"reentries":2,"late":{"steps":0,"new_state":0,"new_state_target_inside":0,"new_state_target_outside":0,"new_transition":0,"new_state_pair":0,"native_new_model":0},"best_region_selection":"posthoc maximum entry-target executions; no semantic accuracy claim"},{"run":"activitydiary-Rep1","function":"activitydiary.add-activity","source_activity":"de.rampro.activitydiary.ui.generic.ManageActivity","entry":"entry-002","executions":3,"method":"PPR-G1","region":"PPR-G1-002","header":null,"members":["g12s35","g14s38","g14s39","g15s42","g16s47","g16s48","g16s49","g16s50","g16s51","g17s53","g17s54","g17s55","g17s56","g18s58","g19s60","g1s1","g1s3","g21s63","g22s66","g23s68","g24s69","g26s73","g27s75","g27s76","g27s77","g27s79","g27s80","g27s81","g27s83","g28s88","g28s89","g28s90","g29s93","g29s94","g29s95","g29s96","g29s97","g2s11","g31s104","g35s117","g36s120","g37s122","g37s124","g46s154","g46s166","g48s171","g49s178","g49s179","g49s183","g8s26"],"size":50,"target_fraction":1.0,"next5_fraction":1.0,"source_steps":1404,"p_stay":0.863960113960114,"dwell_p90":8.0,"reentries":175,"late":{"steps":296,"new_state":7,"new_state_target_inside":1,"new_state_target_outside":6,"new_transition":106,"new_state_pair":65,"native_new_model":7},"best_region_selection":"posthoc maximum entry-target executions; no semantic accuracy claim"},{"run":"activitydiary-Rep1","function":"activitydiary.add-activity","source_activity":"de.rampro.activitydiary.ui.main.MainActivity","entry":"entry-003","executions":53,"method":"A-final","region":"A-final-004","header":"g21s63","members":["g20s62","g21s63","g22s66","g46s166","g49s183"],"size":5,"target_fraction":0.4528301886792453,"next5_fraction":0.24680851063829787,"source_steps":253,"p_stay":0.391304347826087,"dwell_p90":3.0,"reentries":123,"late":{"steps":48,"new_state":1,"new_state_target_inside":1,"new_state_target_outside":0,"new_transition":16,"new_state_pair":10,"native_new_model":1},"best_region_selection":"posthoc maximum entry-target executions; no semantic accuracy claim"},{"run":"activitydiary-Rep1","function":"activitydiary.add-activity","source_activity":"de.rampro.activitydiary.ui.main.MainActivity","entry":"entry-003","executions":53,"method":"A-flow","region":"A-flow-011","header":"g21s63","members":["g21s63","g22s66","g29s95","g46s166","g49s183"],"size":5,"target_fraction":0.4528301886792453,"next5_fraction":0.24680851063829787,"source_steps":253,"p_stay":0.391304347826087,"dwell_p90":3.0,"reentries":123,"late":{"steps":48,"new_state":1,"new_state_target_inside":1,"new_state_target_outside":0,"new_transition":16,"new_state_pair":10,"native_new_model":1},"best_region_selection":"posthoc maximum entry-target executions; no semantic accuracy claim"},{"run":"activitydiary-Rep1","function":"activitydiary.add-activity","source_activity":"de.rampro.activitydiary.ui.main.MainActivity","entry":"entry-003","executions":53,"method":"Infomap-G1","region":"Infomap-G1-003","header":null,"members":["g12s35","g13s36","g14s38","g14s39","g18s58","g21s63","g22s66","g26s73","g29s94","g29s97","g35s117","g36s120","g46s154"],"size":13,"target_fraction":0.4528301886792453,"next5_fraction":0.2723404255319149,"source_steps":314,"p_stay":0.5414012738853503,"dwell_p90":3.0,"reentries":109,"late":{"steps":48,"new_state":1,"new_state_target_inside":0,"new_state_target_outside":1,"new_transition":16,"new_state_pair":10,"native_new_model":1},"best_region_selection":"posthoc maximum entry-target executions; no semantic accuracy claim"},{"run":"activitydiary-Rep1","function":"activitydiary.add-activity","source_activity":"de.rampro.activitydiary.ui.main.MainActivity","entry":"entry-003","executions":53,"method":"PPR-G1","region":"PPR-G1-003","header":null,"members":["g14s38","g17s53","g18s58","g1s1","g1s2","g1s3","g1s7","g1s8","g1s9","g21s63","g21s64","g24s69","g24s70","g26s73","g27s75","g27s76","g27s77","g27s79","g27s81","g27s83","g27s84","g28s85","g28s87","g28s89","g29s91","g29s93","g29s94","g29s97","g2s11","g31s104","g37s122","g37s124","g47s168","g48s171","g49s179","g49s185","g8s26","g9s28"],"size":38,"target_fraction":1.0,"next5_fraction":0.8723404255319149,"source_steps":1406,"p_stay":0.8492176386913229,"dwell_p90":8.4,"reentries":193,"late":{"steps":281,"new_state":8,"new_state_target_inside":0,"new_state_target_outside":8,"new_transition":103,"new_state_pair":66,"native_new_model":8},"best_region_selection":"posthoc maximum entry-target executions; no semantic accuracy claim"},{"run":"activitydiary-Rep1","function":"activitydiary.edit-existing-activity","source_activity":"de.rampro.activitydiary.ui.generic.ManageActivity","entry":"entry-009","executions":24,"method":"A-final","region":"A-final-004","header":"g21s63","members":["g20s62","g21s63","g22s66","g46s166","g49s183"],"size":5,"target_fraction":0.7916666666666666,"next5_fraction":0.3983050847457627,"source_steps":253,"p_stay":0.391304347826087,"dwell_p90":3.0,"reentries":123,"late":{"steps":48,"new_state":1,"new_state_target_inside":1,"new_state_target_outside":0,"new_transition":16,"new_state_pair":10,"native_new_model":1},"best_region_selection":"posthoc maximum entry-target executions; no semantic accuracy claim"},{"run":"activitydiary-Rep1","function":"activitydiary.edit-existing-activity","source_activity":"de.rampro.activitydiary.ui.generic.ManageActivity","entry":"entry-009","executions":24,"method":"A-flow","region":"A-flow-011","header":"g21s63","members":["g21s63","g22s66","g29s95","g46s166","g49s183"],"size":5,"target_fraction":0.7916666666666666,"next5_fraction":0.3983050847457627,"source_steps":253,"p_stay":0.391304347826087,"dwell_p90":3.0,"reentries":123,"late":{"steps":48,"new_state":1,"new_state_target_inside":1,"new_state_target_outside":0,"new_transition":16,"new_state_pair":10,"native_new_model":1},"best_region_selection":"posthoc maximum entry-target executions; no semantic accuracy claim"},{"run":"activitydiary-Rep1","function":"activitydiary.edit-existing-activity","source_activity":"de.rampro.activitydiary.ui.generic.ManageActivity","entry":"entry-009","executions":24,"method":"Infomap-G1","region":"Infomap-G1-003","header":null,"members":["g12s35","g13s36","g14s38","g14s39","g18s58","g21s63","g22s66","g26s73","g29s94","g29s97","g35s117","g36s120","g46s154"],"size":13,"target_fraction":0.8333333333333334,"next5_fraction":0.7288135593220338,"source_steps":314,"p_stay":0.5414012738853503,"dwell_p90":3.0,"reentries":109,"late":{"steps":48,"new_state":1,"new_state_target_inside":0,"new_state_target_outside":1,"new_transition":16,"new_state_pair":10,"native_new_model":1},"best_region_selection":"posthoc maximum entry-target executions; no semantic accuracy claim"},{"run":"activitydiary-Rep1","function":"activitydiary.edit-existing-activity","source_activity":"de.rampro.activitydiary.ui.generic.ManageActivity","entry":"entry-009","executions":24,"method":"PPR-G1","region":"PPR-G1-009","header":null,"members":["g12s34","g12s35","g14s38","g14s39","g14s40","g15s42","g16s47","g16s48","g16s49","g16s50","g17s53","g17s54","g17s55","g17s56","g18s58","g1s1","g1s3","g21s63","g22s66","g23s68","g24s69","g24s70","g26s73","g27s75","g27s76","g27s77","g27s79","g27s81","g27s83","g28s88","g28s89","g28s90","g29s93","g29s94","g29s95","g29s96","g29s97","g2s11","g31s104","g35s117","g36s120","g37s122","g37s124","g46s154","g46s166","g49s178","g49s179","g49s183","g8s26"],"size":49,"target_fraction":1.0,"next5_fraction":0.9915254237288136,"source_steps":1381,"p_stay":0.8530050687907313,"dwell_p90":8.0,"reentries":180,"late":{"steps":260,"new_state":7,"new_state_target_inside":1,"new_state_target_outside":6,"new_transition":88,"new_state_pair":55,"native_new_model":7},"best_region_selection":"posthoc maximum entry-target executions; no semantic accuracy claim"},{"run":"activitydiary-Rep1","function":"activitydiary.edit-existing-activity","source_activity":"de.rampro.activitydiary.ui.main.MainActivity","entry":"entry-010","executions":57,"method":"A-final","region":"A-final-004","header":"g21s63","members":["g20s62","g21s63","g22s66","g46s166","g49s183"],"size":5,"target_fraction":0.7894736842105263,"next5_fraction":0.29044117647058826,"source_steps":253,"p_stay":0.391304347826087,"dwell_p90":3.0,"reentries":123,"late":{"steps":48,"new_state":1,"new_state_target_inside":1,"new_state_target_outside":0,"new_transition":16,"new_state_pair":10,"native_new_model":1},"best_region_selection":"posthoc maximum entry-target executions; no semantic accuracy claim"},{"run":"activitydiary-Rep1","function":"activitydiary.edit-existing-activity","source_activity":"de.rampro.activitydiary.ui.main.MainActivity","entry":"entry-010","executions":57,"method":"A-flow","region":"A-flow-011","header":"g21s63","members":["g21s63","g22s66","g29s95","g46s166","g49s183"],"size":5,"target_fraction":0.7894736842105263,"next5_fraction":0.29411764705882354,"source_steps":253,"p_stay":0.391304347826087,"dwell_p90":3.0,"reentries":123,"late":{"steps":48,"new_state":1,"new_state_target_inside":1,"new_state_target_outside":0,"new_transition":16,"new_state_pair":10,"native_new_model":1},"best_region_selection":"posthoc maximum entry-target executions; no semantic accuracy claim"},{"run":"activitydiary-Rep1","function":"activitydiary.edit-existing-activity","source_activity":"de.rampro.activitydiary.ui.main.MainActivity","entry":"entry-010","executions":57,"method":"Infomap-G1","region":"Infomap-G1-003","header":null,"members":["g12s35","g13s36","g14s38","g14s39","g18s58","g21s63","g22s66","g26s73","g29s94","g29s97","g35s117","g36s120","g46s154"],"size":13,"target_fraction":0.7894736842105263,"next5_fraction":0.3125,"source_steps":314,"p_stay":0.5414012738853503,"dwell_p90":3.0,"reentries":109,"late":{"steps":48,"new_state":1,"new_state_target_inside":0,"new_state_target_outside":1,"new_transition":16,"new_state_pair":10,"native_new_model":1},"best_region_selection":"posthoc maximum entry-target executions; no semantic accuracy claim"},{"run":"activitydiary-Rep1","function":"activitydiary.edit-existing-activity","source_activity":"de.rampro.activitydiary.ui.main.MainActivity","entry":"entry-010","executions":57,"method":"PPR-G1","region":"PPR-G1-010","header":null,"members":["g14s38","g14s39","g17s53","g18s58","g1s1","g1s2","g1s3","g1s9","g21s63","g22s66","g24s69","g24s70","g26s73","g27s75","g27s76","g27s77","g27s79","g27s81","g27s83","g28s85","g28s87","g28s88","g28s89","g28s90","g29s93","g29s94","g29s95","g29s96","g29s97","g2s11","g31s104","g35s117","g36s120","g37s122","g37s124","g46s166","g47s168","g47s169","g48s171","g49s178","g49s179","g49s183","g49s185","g49s188","g8s26"],"size":45,"target_fraction":1.0,"next5_fraction":0.9301470588235294,"source_steps":1446,"p_stay":0.867911479944675,"dwell_p90":9.0,"reentries":171,"late":{"steps":315,"new_state":9,"new_state_target_inside":2,"new_state_target_outside":7,"new_transition":125,"new_state_pair":80,"native_new_model":9},"best_region_selection":"posthoc maximum entry-target executions; no semantic accuracy claim"},{"run":"activitydiary-Rep2","function":"activitydiary.add-activity","source_activity":"de.rampro.activitydiary.ui.generic.ManageActivity","entry":"entry-001","executions":3,"method":"A-final","region":"A-final-009","header":"g27s96","members":["g27s96","g43s202"],"size":2,"target_fraction":1.0,"next5_fraction":0.2,"source_steps":63,"p_stay":0.2222222222222222,"dwell_p90":2.0,"reentries":33,"late":{"steps":20,"new_state":1,"new_state_target_inside":1,"new_state_target_outside":0,"new_transition":9,"new_state_pair":6,"native_new_model":1},"best_region_selection":"posthoc maximum entry-target executions; no semantic accuracy claim"},{"run":"activitydiary-Rep2","function":"activitydiary.add-activity","source_activity":"de.rampro.activitydiary.ui.generic.ManageActivity","entry":"entry-001","executions":3,"method":"A-flow","region":"A-flow-009","header":"g27s96","members":["g27s96","g43s202"],"size":2,"target_fraction":1.0,"next5_fraction":0.2,"source_steps":63,"p_stay":0.2222222222222222,"dwell_p90":2.0,"reentries":33,"late":{"steps":20,"new_state":1,"new_state_target_inside":1,"new_state_target_outside":0,"new_transition":9,"new_state_pair":6,"native_new_model":1},"best_region_selection":"posthoc maximum entry-target executions; no semantic accuracy claim"},{"run":"activitydiary-Rep2","function":"activitydiary.add-activity","source_activity":"de.rampro.activitydiary.ui.generic.ManageActivity","entry":"entry-001","executions":3,"method":"Infomap-G1","region":"Infomap-G1-003","header":null,"members":["g16s59","g17s66","g19s72","g27s96","g31s120","g31s121","g35s133","g35s134","g37s143","g37s144","g37s145","g38s146","g41s173","g43s202"],"size":14,"target_fraction":1.0,"next5_fraction":1.0,"source_steps":323,"p_stay":0.5851393188854489,"dwell_p90":2.0,"reentries":119,"late":{"steps":40,"new_state":1,"new_state_target_inside":1,"new_state_target_outside":0,"new_transition":14,"new_state_pair":7,"native_new_model":1},"best_region_selection":"posthoc maximum entry-target executions; no semantic accuracy claim"},{"run":"activitydiary-Rep2","function":"activitydiary.add-activity","source_activity":"de.rampro.activitydiary.ui.generic.ManageActivity","entry":"entry-001","executions":3,"method":"PPR-G1","region":"PPR-G1-001","header":null,"members":["g10s30","g11s34","g15s50","g15s51","g15s52","g15s57","g16s59","g17s66","g19s72","g1s1","g26s92","g26s95","g27s96","g27s98","g30s111","g30s112","g30s114","g30s117","g31s120","g31s121","g35s133","g35s134","g37s143","g37s144","g37s145","g38s146","g39s157","g39s159","g39s161","g39s162","g39s168","g39s169","g39s170","g3s4","g3s5","g3s6","g41s173","g41s174","g41s175","g41s176","g41s177","g41s178","g41s179","g41s180","g41s183","g43s202","g45s206","g5s11","g6s14"],"size":49,"target_fraction":1.0,"next5_fraction":1.0,"source_steps":1135,"p_stay":0.8555066079295154,"dwell_p90":14.8,"reentries":151,"late":{"steps":162,"new_state":2,"new_state_target_inside":1,"new_state_target_outside":1,"new_transition":59,"new_state_pair":25,"native_new_model":2},"best_region_selection":"posthoc maximum entry-target executions; no semantic accuracy claim"},{"run":"activitydiary-Rep2","function":"activitydiary.add-activity","source_activity":"de.rampro.activitydiary.ui.main.MainActivity","entry":"entry-002","executions":60,"method":"A-final","region":"A-final-009","header":"g27s96","members":["g27s96","g43s202"],"size":2,"target_fraction":0.5833333333333334,"next5_fraction":0.21299638989169675,"source_steps":63,"p_stay":0.2222222222222222,"dwell_p90":2.0,"reentries":33,"late":{"steps":20,"new_state":1,"new_state_target_inside":1,"new_state_target_outside":0,"new_transition":9,"new_state_pair":6,"native_new_model":1},"best_region_selection":"posthoc maximum entry-target executions; no semantic accuracy claim"},{"run":"activitydiary-Rep2","function":"activitydiary.add-activity","source_activity":"de.rampro.activitydiary.ui.main.MainActivity","entry":"entry-002","executions":60,"method":"A-flow","region":"A-flow-009","header":"g27s96","members":["g27s96","g43s202"],"size":2,"target_fraction":0.5833333333333334,"next5_fraction":0.21299638989169675,"source_steps":63,"p_stay":0.2222222222222222,"dwell_p90":2.0,"reentries":33,"late":{"steps":20,"new_state":1,"new_state_target_inside":1,"new_state_target_outside":0,"new_transition":9,"new_state_pair":6,"native_new_model":1},"best_region_selection":"posthoc maximum entry-target executions; no semantic accuracy claim"},{"run":"activitydiary-Rep2","function":"activitydiary.add-activity","source_activity":"de.rampro.activitydiary.ui.main.MainActivity","entry":"entry-002","executions":60,"method":"Infomap-G1","region":"Infomap-G1-003","header":null,"members":["g16s59","g17s66","g19s72","g27s96","g31s120","g31s121","g35s133","g35s134","g37s143","g37s144","g37s145","g38s146","g41s173","g43s202"],"size":14,"target_fraction":0.6666666666666666,"next5_fraction":0.4007220216606498,"source_steps":323,"p_stay":0.5851393188854489,"dwell_p90":2.0,"reentries":119,"late":{"steps":40,"new_state":1,"new_state_target_inside":1,"new_state_target_outside":0,"new_transition":14,"new_state_pair":7,"native_new_model":1},"best_region_selection":"posthoc maximum entry-target executions; no semantic accuracy claim"},{"run":"activitydiary-Rep2","function":"activitydiary.add-activity","source_activity":"de.rampro.activitydiary.ui.main.MainActivity","entry":"entry-002","executions":60,"method":"PPR-G1","region":"PPR-G1-002","header":null,"members":["g10s30","g11s34","g15s50","g15s51","g15s52","g15s54","g15s55","g15s57","g16s59","g16s60","g16s62","g17s66","g19s72","g1s1","g26s92","g26s93","g26s95","g27s96","g27s98","g30s108","g30s111","g30s114","g31s120","g31s121","g35s133","g35s134","g37s143","g37s145","g38s146","g39s157","g39s159","g39s161","g39s162","g39s168","g39s169","g3s4","g3s5","g3s6","g41s173","g41s174","g41s175","g41s176","g41s177","g41s178","g41s179","g41s180","g43s202","g45s206","g5s11","g6s14","g8s21","g8s22","g8s23","g9s25","g9s26","g9s27"],"size":56,"target_fraction":1.0,"next5_fraction":0.927797833935018,"source_steps":1243,"p_stay":0.8841512469831054,"dwell_p90":18.0,"reentries":133,"late":{"steps":165,"new_state":2,"new_state_target_inside":1,"new_state_target_outside":1,"new_transition":62,"new_state_pair":28,"native_new_model":2},"best_region_selection":"posthoc maximum entry-target executions; no semantic accuracy claim"},{"run":"activitydiary-Rep2","function":"activitydiary.edit-existing-activity","source_activity":"de.rampro.activitydiary.ui.generic.ManageActivity","entry":"entry-010","executions":46,"method":"A-final","region":"A-final-009","header":"g27s96","members":["g27s96","g43s202"],"size":2,"target_fraction":0.043478260869565216,"next5_fraction":0.03286384976525822,"source_steps":63,"p_stay":0.2222222222222222,"dwell_p90":2.0,"reentries":33,"late":{"steps":20,"new_state":1,"new_state_target_inside":1,"new_state_target_outside":0,"new_transition":9,"new_state_pair":6,"native_new_model":1},"best_region_selection":"posthoc maximum entry-target executions; no semantic accuracy claim"},{"run":"activitydiary-Rep2","function":"activitydiary.edit-existing-activity","source_activity":"de.rampro.activitydiary.ui.generic.ManageActivity","entry":"entry-010","executions":46,"method":"A-flow","region":"A-flow-009","header":"g27s96","members":["g27s96","g43s202"],"size":2,"target_fraction":0.043478260869565216,"next5_fraction":0.03286384976525822,"source_steps":63,"p_stay":0.2222222222222222,"dwell_p90":2.0,"reentries":33,"late":{"steps":20,"new_state":1,"new_state_target_inside":1,"new_state_target_outside":0,"new_transition":9,"new_state_pair":6,"native_new_model":1},"best_region_selection":"posthoc maximum entry-target executions; no semantic accuracy claim"},{"run":"activitydiary-Rep2","function":"activitydiary.edit-existing-activity","source_activity":"de.rampro.activitydiary.ui.generic.ManageActivity","entry":"entry-010","executions":46,"method":"Infomap-G1","region":"Infomap-G1-003","header":null,"members":["g16s59","g17s66","g19s72","g27s96","g31s120","g31s121","g35s133","g35s134","g37s143","g37s144","g37s145","g38s146","g41s173","g43s202"],"size":14,"target_fraction":1.0,"next5_fraction":0.8967136150234741,"source_steps":323,"p_stay":0.5851393188854489,"dwell_p90":2.0,"reentries":119,"late":{"steps":40,"new_state":1,"new_state_target_inside":1,"new_state_target_outside":0,"new_transition":14,"new_state_pair":7,"native_new_model":1},"best_region_selection":"posthoc maximum entry-target executions; no semantic accuracy claim"},{"run":"activitydiary-Rep2","function":"activitydiary.edit-existing-activity","source_activity":"de.rampro.activitydiary.ui.generic.ManageActivity","entry":"entry-010","executions":46,"method":"PPR-G1","region":"PPR-G1-010","header":null,"members":["g10s28","g11s34","g15s50","g15s51","g15s52","g15s54","g15s55","g15s57","g16s59","g16s63","g16s64","g16s65","g17s66","g19s72","g1s1","g26s92","g26s93","g26s95","g27s96","g27s98","g30s111","g30s112","g30s114","g30s116","g30s117","g31s120","g31s121","g35s133","g35s134","g37s143","g37s144","g37s145","g38s146","g39s157","g39s159","g39s160","g39s162","g39s163","g39s168","g39s169","g39s170","g3s4","g3s6","g41s173","g41s174","g41s175","g41s176","g41s177","g41s178","g41s179","g41s180","g45s206","g4s8","g5s11","g9s25"],"size":55,"target_fraction":1.0,"next5_fraction":0.9906103286384976,"source_steps":1250,"p_stay":0.8768,"dwell_p90":17.9,"reentries":142,"late":{"steps":162,"new_state":2,"new_state_target_inside":0,"new_state_target_outside":2,"new_transition":59,"new_state_pair":25,"native_new_model":2},"best_region_selection":"posthoc maximum entry-target executions; no semantic accuracy claim"},{"run":"activitydiary-Rep2","function":"activitydiary.edit-existing-activity","source_activity":"de.rampro.activitydiary.ui.main.MainActivity","entry":"entry-011","executions":55,"method":"A-final","region":"A-final-009","header":"g27s96","members":["g27s96","g43s202"],"size":2,"target_fraction":0.10909090909090909,"next5_fraction":0.038314176245210725,"source_steps":63,"p_stay":0.2222222222222222,"dwell_p90":2.0,"reentries":33,"late":{"steps":20,"new_state":1,"new_state_target_inside":1,"new_state_target_outside":0,"new_transition":9,"new_state_pair":6,"native_new_model":1},"best_region_selection":"posthoc maximum entry-target executions; no semantic accuracy claim"},{"run":"activitydiary-Rep2","function":"activitydiary.edit-existing-activity","source_activity":"de.rampro.activitydiary.ui.main.MainActivity","entry":"entry-011","executions":55,"method":"A-flow","region":"A-flow-009","header":"g27s96","members":["g27s96","g43s202"],"size":2,"target_fraction":0.10909090909090909,"next5_fraction":0.038314176245210725,"source_steps":63,"p_stay":0.2222222222222222,"dwell_p90":2.0,"reentries":33,"late":{"steps":20,"new_state":1,"new_state_target_inside":1,"new_state_target_outside":0,"new_transition":9,"new_state_pair":6,"native_new_model":1},"best_region_selection":"posthoc maximum entry-target executions; no semantic accuracy claim"},{"run":"activitydiary-Rep2","function":"activitydiary.edit-existing-activity","source_activity":"de.rampro.activitydiary.ui.main.MainActivity","entry":"entry-011","executions":55,"method":"Infomap-G1","region":"Infomap-G1-003","header":null,"members":["g16s59","g17s66","g19s72","g27s96","g31s120","g31s121","g35s133","g35s134","g37s143","g37s144","g37s145","g38s146","g41s173","g43s202"],"size":14,"target_fraction":0.8909090909090909,"next5_fraction":0.3333333333333333,"source_steps":323,"p_stay":0.5851393188854489,"dwell_p90":2.0,"reentries":119,"late":{"steps":40,"new_state":1,"new_state_target_inside":1,"new_state_target_outside":0,"new_transition":14,"new_state_pair":7,"native_new_model":1},"best_region_selection":"posthoc maximum entry-target executions; no semantic accuracy claim"},{"run":"activitydiary-Rep2","function":"activitydiary.edit-existing-activity","source_activity":"de.rampro.activitydiary.ui.main.MainActivity","entry":"entry-011","executions":55,"method":"PPR-G1","region":"PPR-G1-011","header":null,"members":["g11s34","g15s45","g15s47","g15s50","g15s51","g15s52","g15s54","g15s55","g15s57","g16s59","g16s63","g16s64","g16s65","g17s66","g19s72","g1s1","g25s90","g26s92","g26s93","g26s95","g27s96","g27s98","g30s111","g30s112","g30s114","g30s117","g31s120","g31s121","g35s133","g35s134","g37s143","g37s144","g37s145","g38s146","g39s157","g39s159","g39s160","g39s162","g39s163","g39s168","g39s169","g39s170","g3s4","g3s6","g41s173","g41s174","g41s175","g41s176","g41s177","g41s178","g41s179","g41s180","g43s202","g45s206","g4s8","g5s11","g9s25"],"size":57,"target_fraction":1.0,"next5_fraction":0.9157088122605364,"source_steps":1240,"p_stay":0.8741935483870967,"dwell_p90":17.0,"reentries":144,"late":{"steps":164,"new_state":2,"new_state_target_inside":1,"new_state_target_outside":1,"new_transition":61,"new_state_pair":27,"native_new_model":2},"best_region_selection":"posthoc maximum entry-target executions; no semantic accuracy claim"},{"run":"odkcollect-Rep1","function":"odkcollect.download","source_activity":"org.odk.collect.android.mainmenu.MainMenuActivity","entry":"entry-001","executions":121,"method":"A-final","region":"A-final-008","header":"g16s70","members":["g16s70","g16s72","g16s73","g16s74"],"size":4,"target_fraction":0.743801652892562,"next5_fraction":0.23556581986143188,"source_steps":121,"p_stay":0.14049586776859505,"dwell_p90":1.0,"reentries":13,"late":{"steps":25,"new_state":0,"new_state_target_inside":0,"new_state_target_outside":0,"new_transition":1,"new_state_pair":1,"native_new_model":0},"best_region_selection":"posthoc maximum entry-target executions; no semantic accuracy claim"},{"run":"odkcollect-Rep1","function":"odkcollect.download","source_activity":"org.odk.collect.android.mainmenu.MainMenuActivity","entry":"entry-001","executions":121,"method":"A-flow","region":"A-flow-005","header":"g16s70","members":["g16s70","g16s72","g16s73","g16s74"],"size":4,"target_fraction":0.743801652892562,"next5_fraction":0.23556581986143188,"source_steps":121,"p_stay":0.14049586776859505,"dwell_p90":1.0,"reentries":13,"late":{"steps":25,"new_state":0,"new_state_target_inside":0,"new_state_target_outside":0,"new_transition":1,"new_state_pair":1,"native_new_model":0},"best_region_selection":"posthoc maximum entry-target executions; no semantic accuracy claim"},{"run":"odkcollect-Rep1","function":"odkcollect.download","source_activity":"org.odk.collect.android.mainmenu.MainMenuActivity","entry":"entry-001","executions":121,"method":"Infomap-G1","region":"Infomap-G1-001","header":null,"members":["g14s61","g15s64","g16s70","g16s71","g1s1","g1s6","g3s10","g3s11","g5s15","g5s17","g5s21","g5s24","g5s25","g7s28"],"size":14,"target_fraction":0.768595041322314,"next5_fraction":0.7990762124711316,"source_steps":1797,"p_stay":0.9716193656093489,"dwell_p90":19.1,"reentries":49,"late":{"steps":394,"new_state":0,"new_state_target_inside":0,"new_state_target_outside":0,"new_transition":6,"new_state_pair":5,"native_new_model":0},"best_region_selection":"posthoc maximum entry-target executions; no semantic accuracy claim"},{"run":"odkcollect-Rep1","function":"odkcollect.download","source_activity":"org.odk.collect.android.mainmenu.MainMenuActivity","entry":"entry-001","executions":121,"method":"PPR-G1","region":"PPR-G1-001","header":null,"members":["g16s70","g16s71","g1s1","g1s2","g1s3","g1s4","g1s6","g3s11","g5s17","g5s25"],"size":10,"target_fraction":1.0,"next5_fraction":0.9884526558891455,"source_steps":1721,"p_stay":0.9018012783265543,"dwell_p90":3.8,"reentries":166,"late":{"steps":381,"new_state":0,"new_state_target_inside":0,"new_state_target_outside":0,"new_transition":6,"new_state_pair":5,"native_new_model":0},"best_region_selection":"posthoc maximum entry-target executions; no semantic accuracy claim"},{"run":"odkcollect-Rep2","function":"odkcollect.download","source_activity":"org.odk.collect.android.mainmenu.MainMenuActivity","entry":"entry-005","executions":109,"method":"A-final","region":"A-final-001","header":"g11s38","members":["g11s38","g11s41"],"size":2,"target_fraction":0.01834862385321101,"next5_fraction":0.21218074656188604,"source_steps":125,"p_stay":0.08,"dwell_p90":1.0,"reentries":11,"late":{"steps":28,"new_state":0,"new_state_target_inside":0,"new_state_target_outside":0,"new_transition":0,"new_state_pair":0,"native_new_model":0},"best_region_selection":"posthoc maximum entry-target executions; no semantic accuracy claim"},{"run":"odkcollect-Rep2","function":"odkcollect.download","source_activity":"org.odk.collect.android.mainmenu.MainMenuActivity","entry":"entry-005","executions":109,"method":"A-flow","region":"A-flow-001","header":"g11s38","members":["g11s38","g11s41"],"size":2,"target_fraction":0.01834862385321101,"next5_fraction":0.21218074656188604,"source_steps":125,"p_stay":0.08,"dwell_p90":1.0,"reentries":11,"late":{"steps":28,"new_state":0,"new_state_target_inside":0,"new_state_target_outside":0,"new_transition":0,"new_state_pair":0,"native_new_model":0},"best_region_selection":"posthoc maximum entry-target executions; no semantic accuracy claim"},{"run":"odkcollect-Rep2","function":"odkcollect.download","source_activity":"org.odk.collect.android.mainmenu.MainMenuActivity","entry":"entry-005","executions":109,"method":"Infomap-G1","region":"Infomap-G1-004","header":null,"members":["g11s37","g11s38","g11s41","g20s82"],"size":4,"target_fraction":1.0,"next5_fraction":0.6385068762278978,"source_steps":345,"p_stay":0.6666666666666666,"dwell_p90":3.0,"reentries":10,"late":{"steps":80,"new_state":0,"new_state_target_inside":0,"new_state_target_outside":0,"new_transition":1,"new_state_pair":1,"native_new_model":0},"best_region_selection":"posthoc maximum entry-target executions; no semantic accuracy claim"},{"run":"odkcollect-Rep2","function":"odkcollect.download","source_activity":"org.odk.collect.android.mainmenu.MainMenuActivity","entry":"entry-005","executions":109,"method":"PPR-G1","region":"PPR-G1-005","header":null,"members":["g11s35","g11s37","g11s38","g11s39","g11s40","g11s41","g11s42","g17s71","g18s72","g19s75","g1s1","g1s2","g20s77","g3s5","g3s8","g5s11","g9s31","g9s32"],"size":18,"target_fraction":1.0,"next5_fraction":1.0,"source_steps":1902,"p_stay":0.9868559411146162,"dwell_p90":19.0,"reentries":22,"late":{"steps":428,"new_state":1,"new_state_target_inside":0,"new_state_target_outside":1,"new_transition":2,"new_state_pair":2,"native_new_model":1},"best_region_selection":"posthoc maximum entry-target executions; no semantic accuracy claim"},{"run":"omninotes-Rep1","function":"omninotes.settings","source_activity":"it.feio.android.omninotes.MainActivity","entry":"entry-001","executions":12,"method":"A-final","region":"A-final-033","header":"g8s20","members":["g8s20","g9s22","g9s23"],"size":3,"target_fraction":0.0,"next5_fraction":0.2,"source_steps":33,"p_stay":0.7575757575757576,"dwell_p90":7.4,"reentries":4,"late":{"steps":0,"new_state":0,"new_state_target_inside":0,"new_state_target_outside":0,"new_transition":0,"new_state_pair":0,"native_new_model":0},"best_region_selection":"posthoc maximum entry-target executions; no semantic accuracy claim"},{"run":"omninotes-Rep1","function":"omninotes.settings","source_activity":"it.feio.android.omninotes.MainActivity","entry":"entry-001","executions":12,"method":"A-flow","region":"A-flow-032","header":"g2s5","members":["g2s5","g2s7","g3s10"],"size":3,"target_fraction":0.8333333333333334,"next5_fraction":0.35,"source_steps":45,"p_stay":0.4,"dwell_p90":2.0,"reentries":22,"late":{"steps":0,"new_state":0,"new_state_target_inside":0,"new_state_target_outside":0,"new_transition":0,"new_state_pair":0,"native_new_model":0},"best_region_selection":"posthoc maximum entry-target executions; no semantic accuracy claim"},{"run":"omninotes-Rep1","function":"omninotes.settings","source_activity":"it.feio.android.omninotes.MainActivity","entry":"entry-001","executions":12,"method":"Infomap-G1","region":"Infomap-G1-002","header":null,"members":["g10s37","g10s38","g10s39","g10s48","g10s49","g10s50","g2s5","g2s6","g3s10","g8s19"],"size":10,"target_fraction":1.0,"next5_fraction":0.55,"source_steps":91,"p_stay":0.6923076923076923,"dwell_p90":7.6,"reentries":20,"late":{"steps":0,"new_state":0,"new_state_target_inside":0,"new_state_target_outside":0,"new_transition":0,"new_state_pair":0,"native_new_model":0},"best_region_selection":"posthoc maximum entry-target executions; no semantic accuracy claim"},{"run":"omninotes-Rep1","function":"omninotes.settings","source_activity":"it.feio.android.omninotes.MainActivity","entry":"entry-001","executions":12,"method":"PPR-G1","region":"PPR-G1-001","header":null,"members":["g0s0","g0s1","g0s2","g10s36","g10s38","g10s39","g10s40","g10s41","g10s42","g10s43","g10s48","g10s49","g10s50","g10s51","g10s52","g10s56","g10s57","g10s61","g10s64","g10s74","g10s75","g10s81","g10s82","g11s87","g11s88","g11s91","g13s101","g13s102","g14s106","g14s107","g14s109","g14s113","g16s147","g16s150","g16s151","g16s155","g2s5","g2s6","g2s7","g2s8","g3s10","g3s9","g5s13","g6s16","g7s18","g8s19","g8s20","g9s21","g9s22","g9s23"],"size":50,"target_fraction":1.0,"next5_fraction":1.0,"source_steps":1793,"p_stay":0.8951477969882878,"dwell_p90":10.0,"reentries":172,"late":{"steps":472,"new_state":1,"new_state_target_inside":0,"new_state_target_outside":1,"new_transition":15,"new_state_pair":8,"native_new_model":1},"best_region_selection":"posthoc maximum entry-target executions; no semantic accuracy claim"},{"run":"omninotes-Rep2","function":"omninotes.settings","source_activity":"it.feio.android.omninotes.MainActivity","entry":"entry-004","executions":9,"method":"A-final","region":"A-final-042","header":"g9s85","members":["g6s26","g8s31","g8s32","g8s33","g8s35","g8s36","g8s75","g8s76","g8s79","g8s81","g9s85"],"size":11,"target_fraction":0.1111111111111111,"next5_fraction":0.35555555555555557,"source_steps":45,"p_stay":0.5555555555555556,"dwell_p90":3.2,"reentries":15,"late":{"steps":0,"new_state":0,"new_state_target_inside":0,"new_state_target_outside":0,"new_transition":0,"new_state_pair":0,"native_new_model":0},"best_region_selection":"posthoc maximum entry-target executions; no semantic accuracy claim"},{"run":"omninotes-Rep2","function":"omninotes.settings","source_activity":"it.feio.android.omninotes.MainActivity","entry":"entry-004","executions":9,"method":"A-flow","region":"A-flow-023","header":"g6s25","members":["g6s25","g8s35","g8s36"],"size":3,"target_fraction":0.6666666666666666,"next5_fraction":0.37777777777777777,"source_steps":31,"p_stay":0.41935483870967744,"dwell_p90":2.6,"reentries":15,"late":{"steps":0,"new_state":0,"new_state_target_inside":0,"new_state_target_outside":0,"new_transition":0,"new_state_pair":0,"native_new_model":0},"best_region_selection":"posthoc maximum entry-target executions; no semantic accuracy claim"},{"run":"omninotes-Rep2","function":"omninotes.settings","source_activity":"it.feio.android.omninotes.MainActivity","entry":"entry-004","executions":9,"method":"Infomap-G1","region":"Infomap-G1-001","header":null,"members":["g1s16","g3s19","g4s21","g4s22","g6s25","g6s26","g6s27","g8s35","g8s36","g8s74","g8s75","g8s76","g8s77","g9s85"],"size":14,"target_fraction":0.7777777777777778,"next5_fraction":0.6666666666666666,"source_steps":103,"p_stay":0.912621359223301,"dwell_p90":30.2,"reentries":4,"late":{"steps":0,"new_state":0,"new_state_target_inside":0,"new_state_target_outside":0,"new_transition":0,"new_state_pair":0,"native_new_model":0},"best_region_selection":"posthoc maximum entry-target executions; no semantic accuracy claim"},{"run":"omninotes-Rep2","function":"omninotes.settings","source_activity":"it.feio.android.omninotes.MainActivity","entry":"entry-004","executions":9,"method":"PPR-G1","region":"PPR-G1-004","header":null,"members":["g0s1","g0s2","g10s109","g14s151","g14s152","g14s153","g14s155","g1s16","g3s19","g4s21","g4s22","g6s25","g6s26","g6s27","g7s29","g8s31","g8s32","g8s33","g8s34","g8s35","g8s36","g8s37","g8s38","g8s39","g8s51","g8s53","g8s66","g8s67","g8s68","g8s69","g8s70","g8s71","g8s73","g8s74","g8s75","g8s76","g8s77","g8s78","g8s79","g8s80","g8s81","g8s82","g8s83","g9s85","g9s86","g9s88"],"size":46,"target_fraction":1.0,"next5_fraction":1.0,"source_steps":1478,"p_stay":0.9472259810554804,"dwell_p90":4.0,"reentries":69,"late":{"steps":416,"new_state":4,"new_state_target_inside":2,"new_state_target_outside":2,"new_transition":27,"new_state_pair":17,"native_new_model":4},"best_region_selection":"posthoc maximum entry-target executions; no semantic accuracy claim"},{"run":"scarletnotes-Rep1","function":"scarletnotes.create-note-empty-state","source_activity":"com.maubis.scarlet.base.MainActivity","entry":"entry-001","executions":27,"method":"A-final","region":"A-final-009","header":"g40s130","members":["g17s41","g18s45","g37s109","g37s110","g37s111","g37s112","g38s117","g38s118","g40s130","g41s164","g41s169","g41s170","g41s178","g42s180","g7s15"],"size":15,"target_fraction":0.7777777777777778,"next5_fraction":0.42105263157894735,"source_steps":898,"p_stay":0.8463251670378619,"dwell_p90":8.0,"reentries":119,"late":{"steps":79,"new_state":0,"new_state_target_inside":0,"new_state_target_outside":0,"new_transition":8,"new_state_pair":3,"native_new_model":0},"best_region_selection":"posthoc maximum entry-target executions; no semantic accuracy claim"},{"run":"scarletnotes-Rep1","function":"scarletnotes.create-note-empty-state","source_activity":"com.maubis.scarlet.base.MainActivity","entry":"entry-001","executions":27,"method":"A-flow","region":"A-flow-023","header":"g40s130","members":["g40s130","g41s176"],"size":2,"target_fraction":0.7777777777777778,"next5_fraction":0.3684210526315789,"source_steps":471,"p_stay":0.732484076433121,"dwell_p90":6.0,"reentries":111,"late":{"steps":48,"new_state":0,"new_state_target_inside":0,"new_state_target_outside":0,"new_transition":2,"new_state_pair":2,"native_new_model":0},"best_region_selection":"posthoc maximum entry-target executions; no semantic accuracy claim"},{"run":"scarletnotes-Rep1","function":"scarletnotes.create-note-empty-state","source_activity":"com.maubis.scarlet.base.MainActivity","entry":"entry-001","executions":27,"method":"Infomap-G1","region":"Infomap-G1-003","header":null,"members":["g14s31","g37s112","g40s130","g41s176","g7s15","g7s16","g9s19","g9s20","g9s21"],"size":9,"target_fraction":0.9629629629629629,"next5_fraction":0.5338345864661654,"source_steps":792,"p_stay":0.8383838383838383,"dwell_p90":18.6,"reentries":108,"late":{"steps":61,"new_state":0,"new_state_target_inside":0,"new_state_target_outside":0,"new_transition":3,"new_state_pair":2,"native_new_model":0},"best_region_selection":"posthoc maximum entry-target executions; no semantic accuracy claim"},{"run":"scarletnotes-Rep1","function":"scarletnotes.create-note-empty-state","source_activity":"com.maubis.scarlet.base.MainActivity","entry":"entry-001","executions":27,"method":"PPR-G1","region":"PPR-G1-001","header":null,"members":["g14s31","g17s40","g17s42","g17s43","g18s45","g19s48","g1s1","g20s50","g20s52","g21s53","g21s54","g21s55","g23s60","g23s61","g2s3","g2s4","g37s108","g37s109","g37s110","g37s111","g37s112","g38s114","g38s115","g38s117","g38s119","g38s120","g38s121","g39s123","g39s124","g39s127","g39s128","g40s130","g40s137","g40s138","g40s146","g40s147","g40s150","g40s151","g40s153","g41s164","g41s165","g41s169","g41s170","g41s171","g41s176","g41s177","g44s189","g7s15","g7s16","g9s19","g9s20","g9s21"],"size":52,"target_fraction":1.0,"next5_fraction":0.9849624060150376,"source_steps":1730,"p_stay":0.954335260115607,"dwell_p90":27.5,"reentries":72,"late":{"steps":196,"new_state":3,"new_state_target_inside":1,"new_state_target_outside":2,"new_transition":52,"new_state_pair":32,"native_new_model":3},"best_region_selection":"posthoc maximum entry-target executions; no semantic accuracy claim"},{"run":"scarletnotes-Rep2","function":"scarletnotes.create-note-empty-state","source_activity":"com.maubis.scarlet.base.MainActivity","entry":"entry-001","executions":134,"method":"A-final","region":"A-final-007","header":"g60s163","members":["g60s163","g60s164"],"size":2,"target_fraction":0.0,"next5_fraction":0.17156105100463678,"source_steps":205,"p_stay":0.03902439024390244,"dwell_p90":1.0,"reentries":103,"late":{"steps":58,"new_state":0,"new_state_target_inside":0,"new_state_target_outside":0,"new_transition":0,"new_state_pair":0,"native_new_model":0},"best_region_selection":"posthoc maximum entry-target executions; no semantic accuracy claim"},{"run":"scarletnotes-Rep2","function":"scarletnotes.create-note-empty-state","source_activity":"com.maubis.scarlet.base.MainActivity","entry":"entry-001","executions":134,"method":"A-flow","region":"A-flow-023","header":"g57s148","members":["g57s148","g57s149"],"size":2,"target_fraction":0.007462686567164179,"next5_fraction":0.0030911901081916537,"source_steps":61,"p_stay":0.45901639344262296,"dwell_p90":3.0,"reentries":28,"late":{"steps":0,"new_state":0,"new_state_target_inside":0,"new_state_target_outside":0,"new_transition":0,"new_state_pair":0,"native_new_model":0},"best_region_selection":"posthoc maximum entry-target executions; no semantic accuracy claim"},{"run":"scarletnotes-Rep2","function":"scarletnotes.create-note-empty-state","source_activity":"com.maubis.scarlet.base.MainActivity","entry":"entry-001","executions":134,"method":"Infomap-G1","region":"Infomap-G1-004","header":null,"members":["g12s24","g12s25","g12s26","g1s1","g38s89","g59s161","g60s163","g66s196","g69s212"],"size":9,"target_fraction":0.9850746268656716,"next5_fraction":0.9891808346213292,"source_steps":1372,"p_stay":0.9030612244897959,"dwell_p90":3.5,"reentries":106,"late":{"steps":489,"new_state":0,"new_state_target_inside":0,"new_state_target_outside":0,"new_transition":2,"new_state_pair":1,"native_new_model":0},"best_region_selection":"posthoc maximum entry-target executions; no semantic accuracy claim"},{"run":"scarletnotes-Rep2","function":"scarletnotes.create-note-empty-state","source_activity":"com.maubis.scarlet.base.MainActivity","entry":"entry-001","executions":134,"method":"PPR-G1","region":"PPR-G1-001","header":null,"members":["g12s24","g12s25","g12s26","g13s28","g1s1","g29s65","g2s3","g38s89","g38s90","g47s112","g47s113","g48s114","g48s115","g49s121","g49s122","g49s126","g49s129","g50s131","g51s138","g52s140","g57s148","g57s149","g59s159","g59s160","g59s161","g60s163","g60s164","g60s165","g60s166","g62s171","g62s173","g62s174","g62s175","g62s176","g62s177","g62s178","g62s179","g62s180","g62s181","g66s196","g68s206","g68s207","g68s208","g69s212"],"size":44,"target_fraction":1.0,"next5_fraction":1.0,"source_steps":1945,"p_stay":0.974293059125964,"dwell_p90":23.3,"reentries":43,"late":{"steps":489,"new_state":0,"new_state_target_inside":0,"new_state_target_outside":0,"new_transition":2,"new_state_pair":1,"native_new_model":0},"best_region_selection":"posthoc maximum entry-target executions; no semantic accuracy claim"},{"run":"wikipedia-Rep1","function":"wikipedia.global-search","source_activity":"org.wikipedia.main.MainActivity","entry":"entry-009","executions":8,"method":"A-final","region":"A-final-087","header":"g57s310","members":["g57s310","g63s371","g63s372"],"size":3,"target_fraction":0.25,"next5_fraction":0.125,"source_steps":9,"p_stay":0.6666666666666666,"dwell_p90":5.2,"reentries":1,"late":{"steps":0,"new_state":0,"new_state_target_inside":0,"new_state_target_outside":0,"new_transition":0,"new_state_pair":0,"native_new_model":0},"best_region_selection":"posthoc maximum entry-target executions; no semantic accuracy claim"},{"run":"wikipedia-Rep1","function":"wikipedia.global-search","source_activity":"org.wikipedia.main.MainActivity","entry":"entry-009","executions":8,"method":"A-flow","region":"A-flow-079","header":"g57s310","members":["g57s310","g63s371","g63s372"],"size":3,"target_fraction":0.25,"next5_fraction":0.125,"source_steps":9,"p_stay":0.6666666666666666,"dwell_p90":5.2,"reentries":1,"late":{"steps":0,"new_state":0,"new_state_target_inside":0,"new_state_target_outside":0,"new_transition":0,"new_state_pair":0,"native_new_model":0},"best_region_selection":"posthoc maximum entry-target executions; no semantic accuracy claim"},{"run":"wikipedia-Rep1","function":"wikipedia.global-search","source_activity":"org.wikipedia.main.MainActivity","entry":"entry-009","executions":8,"method":"Infomap-G1","region":"Infomap-G1-003","header":null,"members":["g34s154","g34s155","g38s205","g41s212","g42s213","g42s214","g48s254","g52s279","g53s284","g53s285","g53s286","g53s287","g53s288"],"size":13,"target_fraction":0.25,"next5_fraction":0.225,"source_steps":68,"p_stay":0.75,"dwell_p90":8.8,"reentries":8,"late":{"steps":1,"new_state":0,"new_state_target_inside":0,"new_state_target_outside":0,"new_transition":1,"new_state_pair":1,"native_new_model":0},"best_region_selection":"posthoc maximum entry-target executions; no semantic accuracy claim"},{"run":"wikipedia-Rep1","function":"wikipedia.global-search","source_activity":"org.wikipedia.main.MainActivity","entry":"entry-009","executions":8,"method":"PPR-G1","region":"PPR-G1-009","header":null,"members":["g0s0","g0s1","g1s3","g1s4","g1s5","g1s7","g1s8","g1s9","g2s12","g33s146","g33s148","g34s154","g34s155","g34s156","g34s157","g34s163","g34s164","g34s166","g34s168","g34s169","g34s170","g35s171","g35s174","g35s175","g35s177","g35s178","g36s187","g36s188","g36s190","g37s196","g38s200","g38s202","g38s203","g38s204","g38s205","g38s206","g3s14","g3s15","g3s18","g3s19","g3s20","g3s22","g3s23","g3s24","g3s25","g40s209","g41s211","g41s212","g42s213","g42s214","g42s215","g43s217","g44s220","g44s221","g44s222","g44s223","g46s229","g46s231","g46s232","g46s241","g46s242","g46s243","g46s244","g47s247","g48s249","g48s250","g48s251","g48s252","g48s253","g48s254","g48s255","g49s259","g49s260","g49s261","g49s262","g4s29","g4s34","g4s36","g4s37","g4s38","g4s40","g50s263","g50s267","g52s271","g52s272","g52s273","g52s274","g52s275","g52s276","g52s277","g52s278","g52s279","g52s280","g52s281","g53s283","g53s284","g53s285","g53s286","g53s287","g53s288","g54s289","g54s292","g54s295","g55s298","g55s299","g55s300","g55s301","g55s302","g55s303","g57s306","g57s310","g57s312","g58s315","g58s317","g58s318","g59s323","g60s327","g60s328","g60s329","g60s331","g61s333","g61s336","g61s338","g62s348","g62s349","g62s358","g62s359","g62s360","g63s366","g63s371","g63s372","g63s373","g63s382","g64s399","g68s425","g68s427","g68s429","g68s430","g68s432","g68s434","g68s435","g68s438","g68s440","g68s441","g68s442","g68s444","g69s447","g69s448","g69s449","g69s450","g69s453","g69s454","g69s455","g69s457","g69s469","g69s470","g69s471","g69s472","g73s483","g76s493","g77s495","g77s496","g77s497","g77s498","g77s499","g79s510","g79s511","g80s513","g80s514","g82s536","g82s537","g82s538","g83s553","g83s554","g83s555","g83s556","g83s557","g83s558","g83s559","g83s560","g83s563","g83s567","g83s568","g83s569","g83s571","g83s572","g83s573","g84s575","g85s577","g86s579","g86s580","g86s581","g86s582","g86s583","g86s586","g87s588","g88s592"],"size":197,"target_fraction":1.0,"next5_fraction":1.0,"source_steps":1196,"p_stay":0.8979933110367893,"dwell_p90":12.7,"reentries":108,"late":{"steps":245,"new_state":34,"new_state_target_inside":25,"new_state_target_outside":9,"new_transition":173,"new_state_pair":124,"native_new_model":34},"best_region_selection":"posthoc maximum entry-target executions; no semantic accuracy claim"},{"run":"wikipedia-Rep1","function":"wikipedia.global-search","source_activity":"org.wikipedia.page.PageActivity","entry":"entry-010","executions":21,"method":"A-final","region":"A-final-052","header":"g3s24","members":["g33s149","g34s153","g3s24","g44s219"],"size":4,"target_fraction":0.09523809523809523,"next5_fraction":0.07368421052631578,"source_steps":16,"p_stay":0.3125,"dwell_p90":2.0,"reentries":5,"late":{"steps":0,"new_state":0,"new_state_target_inside":0,"new_state_target_outside":0,"new_transition":0,"new_state_pair":0,"native_new_model":0},"best_region_selection":"posthoc maximum entry-target executions; no semantic accuracy claim"},{"run":"wikipedia-Rep1","function":"wikipedia.global-search","source_activity":"org.wikipedia.page.PageActivity","entry":"entry-010","executions":21,"method":"A-flow","region":"A-flow-027","header":"g34s156","members":["g34s156","g57s312","g57s313","g80s514","g80s515"],"size":5,"target_fraction":0.09523809523809523,"next5_fraction":0.06315789473684211,"source_steps":16,"p_stay":0.5625,"dwell_p90":4.0,"reentries":1,"late":{"steps":8,"new_state":2,"new_state_target_inside":2,"new_state_target_outside":0,"new_transition":8,"new_state_pair":5,"native_new_model":2},"best_region_selection":"posthoc maximum entry-target executions; no semantic accuracy claim"},{"run":"wikipedia-Rep1","function":"wikipedia.global-search","source_activity":"org.wikipedia.page.PageActivity","entry":"entry-010","executions":21,"method":"Infomap-G1","region":"Infomap-G1-003","header":null,"members":["g34s154","g34s155","g38s205","g41s212","g42s213","g42s214","g48s254","g52s279","g53s284","g53s285","g53s286","g53s287","g53s288"],"size":13,"target_fraction":0.3333333333333333,"next5_fraction":0.28421052631578947,"source_steps":68,"p_stay":0.75,"dwell_p90":8.8,"reentries":8,"late":{"steps":1,"new_state":0,"new_state_target_inside":0,"new_state_target_outside":0,"new_transition":1,"new_state_pair":1,"native_new_model":0},"best_region_selection":"posthoc maximum entry-target executions; no semantic accuracy claim"},{"run":"wikipedia-Rep1","function":"wikipedia.global-search","source_activity":"org.wikipedia.page.PageActivity","entry":"entry-010","executions":21,"method":"PPR-G1","region":"PPR-G1-010","header":null,"members":["g25s83","g33s146","g33s149","g33s151","g34s153","g34s154","g34s155","g34s156","g34s157","g34s158","g34s159","g34s160","g34s163","g34s164","g34s166","g34s168","g35s174","g35s175","g35s178","g35s179","g35s180","g35s181","g35s182","g36s184","g36s185","g36s187","g36s188","g36s190","g37s198","g38s200","g38s202","g38s203","g38s204","g38s205","g38s206","g3s15","g3s18","g3s19","g3s20","g3s22","g3s23","g3s24","g3s25","g40s209","g41s211","g41s212","g42s213","g42s214","g42s215","g43s216","g43s218","g44s220","g44s221","g44s222","g46s229","g46s231","g46s241","g46s242","g46s243","g46s244","g47s247","g48s249","g48s250","g48s251","g48s252","g48s253","g48s254","g48s255","g49s260","g4s27","g4s28","g4s29","g4s30","g4s31","g4s32","g4s33","g4s34","g4s35","g4s36","g4s37","g4s38","g4s40","g52s273","g52s276","g52s277","g52s278","g52s279","g52s280","g52s281","g53s283","g53s284","g53s285","g53s286","g53s287","g53s288","g54s289","g54s290","g54s291","g54s292","g54s293","g54s294","g54s295","g54s296","g54s297","g55s298","g55s299","g55s300","g55s301","g55s302","g57s312","g57s313","g58s315","g58s317","g58s318","g59s323","g60s327","g60s328","g60s329","g60s331","g61s334","g61s336","g61s337","g61s338","g62s340","g62s341","g62s342","g62s343","g62s344","g62s345","g62s347","g62s348","g62s350","g62s351","g62s352","g62s358","g62s359","g62s360","g63s373","g63s381","g63s382","g64s387","g64s399","g67s412","g68s425","g68s427","g68s429","g68s430","g68s432","g68s434","g68s436","g68s438","g68s440","g68s441","g68s442","g68s444","g69s447","g69s453","g69s454","g69s455","g69s457","g69s467","g69s469","g69s470","g69s471","g77s498","g77s499","g79s507","g79s509","g79s510","g79s511","g80s513","g80s514","g80s515","g80s516","g82s536","g82s538","g83s543","g83s544","g83s545","g83s549","g83s551","g83s552","g83s553","g83s554","g83s555","g83s556","g83s557","g83s558","g83s559","g83s560","g83s566","g83s567","g83s568","g83s569","g83s571","g83s572","g83s573"],"size":197,"target_fraction":1.0,"next5_fraction":0.9894736842105263,"source_steps":1177,"p_stay":0.9065420560747663,"dwell_p90":10.8,"reentries":92,"late":{"steps":262,"new_state":32,"new_state_target_inside":25,"new_state_target_outside":7,"new_transition":191,"new_state_pair":135,"native_new_model":32},"best_region_selection":"posthoc maximum entry-target executions; no semantic accuracy claim"},{"run":"wikipedia-Rep2","function":"wikipedia.global-search","source_activity":"org.wikipedia.main.MainActivity","entry":"entry-002","executions":32,"method":"A-final","region":"A-final-091","header":"g86s411","members":["g86s411","g90s474","g90s475","g93s557"],"size":4,"target_fraction":0.125,"next5_fraction":0.056962025316455694,"source_steps":23,"p_stay":0.30434782608695654,"dwell_p90":2.5,"reentries":11,"late":{"steps":12,"new_state":3,"new_state_target_inside":3,"new_state_target_outside":0,"new_transition":10,"new_state_pair":9,"native_new_model":3},"best_region_selection":"posthoc maximum entry-target executions; no semantic accuracy claim"},{"run":"wikipedia-Rep2","function":"wikipedia.global-search","source_activity":"org.wikipedia.main.MainActivity","entry":"entry-002","executions":32,"method":"A-flow","region":"A-flow-086","header":"g86s411","members":["g86s411","g90s474","g90s475","g93s557"],"size":4,"target_fraction":0.125,"next5_fraction":0.056962025316455694,"source_steps":23,"p_stay":0.30434782608695654,"dwell_p90":2.5,"reentries":11,"late":{"steps":12,"new_state":3,"new_state_target_inside":3,"new_state_target_outside":0,"new_transition":10,"new_state_pair":9,"native_new_model":3},"best_region_selection":"posthoc maximum entry-target executions; no semantic accuracy claim"},{"run":"wikipedia-Rep2","function":"wikipedia.global-search","source_activity":"org.wikipedia.main.MainActivity","entry":"entry-002","executions":32,"method":"Infomap-G1","region":"Infomap-G1-001","header":null,"members":["g17s85","g39s177","g3s13","g3s14","g3s15","g41s189","g53s254","g53s262","g53s263","g53s264","g70s320","g70s327","g70s328","g70s329","g70s330","g72s343","g72s344","g74s350","g75s351","g75s354","g75s355","g75s356","g75s357","g78s365","g78s366"],"size":25,"target_fraction":0.40625,"next5_fraction":0.2848101265822785,"source_steps":220,"p_stay":0.7818181818181819,"dwell_p90":12.2,"reentries":29,"late":{"steps":8,"new_state":0,"new_state_target_inside":0,"new_state_target_outside":0,"new_transition":3,"new_state_pair":3,"native_new_model":0},"best_region_selection":"posthoc maximum entry-target executions; no semantic accuracy claim"},{"run":"wikipedia-Rep2","function":"wikipedia.global-search","source_activity":"org.wikipedia.main.MainActivity","entry":"entry-002","executions":32,"method":"PPR-G1","region":"PPR-G1-002","header":null,"members":["g0s0","g13s63","g13s64","g13s66","g13s67","g13s70","g13s71","g13s72","g14s74","g14s75","g14s76","g14s78","g14s79","g17s85","g19s88","g19s94","g23s103","g24s106","g24s107","g24s108","g25s109","g25s111","g26s114","g26s116","g27s118","g27s120","g27s121","g27s122","g27s124","g29s129","g29s130","g29s136","g30s138","g30s139","g32s144","g32s146","g36s156","g36s163","g36s164","g36s165","g37s167","g39s175","g39s176","g39s177","g39s178","g39s179","g39s180","g39s181","g39s182","g3s11","g3s12","g3s13","g3s14","g3s15","g40s185","g41s189","g41s190","g41s191","g41s192","g41s193","g41s194","g41s195","g41s196","g41s197","g41s198","g41s199","g41s200","g41s204","g41s205","g41s206","g42s209","g44s214","g44s218","g45s220","g45s221","g45s222","g47s226","g47s228","g48s233","g48s234","g48s235","g49s237","g49s241","g49s242","g4s17","g4s19","g4s20","g4s21","g4s22","g4s25","g53s254","g53s255","g53s261","g53s262","g53s263","g53s264","g54s266","g5s28","g5s29","g5s30","g5s32","g68s316","g68s317","g69s319","g6s34","g6s35","g70s320","g70s323","g70s324","g70s325","g70s326","g70s327","g70s328","g70s330","g71s332","g71s335","g72s344","g72s345","g72s346","g74s350","g75s351","g75s354","g75s355","g75s356","g75s357","g78s363","g78s364","g78s365","g78s366","g78s367","g7s36","g7s37","g81s387","g82s391","g83s395","g83s396","g83s397","g84s401","g85s405","g85s406","g86s409","g86s411","g86s413","g86s414","g86s415","g86s423","g86s424","g86s426","g86s427","g86s429","g86s431","g86s432","g86s434","g87s441","g87s443","g88s459","g8s44","g90s469","g90s470","g90s471","g90s472","g90s474","g90s475","g90s477","g90s478","g90s479","g90s485","g90s490","g90s493","g90s495","g93s522","g93s523","g93s524","g93s525","g93s547","g93s548","g93s555","g93s557"],"size":178,"target_fraction":1.0,"next5_fraction":0.9873417721518988,"source_steps":1234,"p_stay":0.8897893030794165,"dwell_p90":21.6,"reentries":116,"late":{"steps":188,"new_state":36,"new_state_target_inside":17,"new_state_target_outside":19,"new_transition":153,"new_state_pair":139,"native_new_model":36},"best_region_selection":"posthoc maximum entry-target executions; no semantic accuracy claim"},{"run":"wikipedia-Rep2","function":"wikipedia.global-search","source_activity":"org.wikipedia.page.PageActivity","entry":"entry-003","executions":23,"method":"A-final","region":"A-final-091","header":"g86s411","members":["g86s411","g90s474","g90s475","g93s557"],"size":4,"target_fraction":0.30434782608695654,"next5_fraction":0.13043478260869565,"source_steps":23,"p_stay":0.30434782608695654,"dwell_p90":2.5,"reentries":11,"late":{"steps":12,"new_state":3,"new_state_target_inside":3,"new_state_target_outside":0,"new_transition":10,"new_state_pair":9,"native_new_model":3},"best_region_selection":"posthoc maximum entry-target executions; no semantic accuracy claim"},{"run":"wikipedia-Rep2","function":"wikipedia.global-search","source_activity":"org.wikipedia.page.PageActivity","entry":"entry-003","executions":23,"method":"A-flow","region":"A-flow-086","header":"g86s411","members":["g86s411","g90s474","g90s475","g93s557"],"size":4,"target_fraction":0.30434782608695654,"next5_fraction":0.13043478260869565,"source_steps":23,"p_stay":0.30434782608695654,"dwell_p90":2.5,"reentries":11,"late":{"steps":12,"new_state":3,"new_state_target_inside":3,"new_state_target_outside":0,"new_transition":10,"new_state_pair":9,"native_new_model":3},"best_region_selection":"posthoc maximum entry-target executions; no semantic accuracy claim"},{"run":"wikipedia-Rep2","function":"wikipedia.global-search","source_activity":"org.wikipedia.page.PageActivity","entry":"entry-003","executions":23,"method":"Infomap-G1","region":"Infomap-G1-002","header":null,"members":["g14s75","g19s94","g39s173","g83s395","g86s410","g86s411","g86s413","g86s414","g86s426","g86s433","g86s434","g90s474","g90s475","g90s493","g90s494","g93s557"],"size":16,"target_fraction":0.4782608695652174,"next5_fraction":0.3391304347826087,"source_steps":84,"p_stay":0.6785714285714286,"dwell_p90":7.4,"reentries":14,"late":{"steps":36,"new_state":5,"new_state_target_inside":4,"new_state_target_outside":1,"new_transition":31,"new_state_pair":27,"native_new_model":5},"best_region_selection":"posthoc maximum entry-target executions; no semantic accuracy claim"},{"run":"wikipedia-Rep2","function":"wikipedia.global-search","source_activity":"org.wikipedia.page.PageActivity","entry":"entry-003","executions":23,"method":"PPR-G1","region":"PPR-G1-003","header":null,"members":["g0s0","g0s1","g13s63","g13s64","g13s65","g13s66","g13s70","g13s71","g13s72","g14s74","g14s75","g14s76","g14s78","g14s79","g17s84","g17s85","g19s88","g19s94","g21s97","g21s98","g23s103","g23s104","g24s106","g24s107","g24s108","g25s109","g25s111","g26s113","g26s114","g26s115","g26s116","g27s118","g27s119","g27s120","g27s121","g27s122","g27s123","g27s124","g29s127","g29s128","g29s129","g29s130","g29s131","g29s132","g29s134","g29s136","g30s138","g30s139","g32s143","g32s144","g32s145","g36s163","g36s164","g39s173","g41s189","g41s190","g41s193","g41s194","g41s195","g41s196","g41s197","g41s198","g41s199","g41s205","g41s206","g41s207","g42s209","g44s214","g44s215","g44s217","g45s220","g45s221","g48s233","g49s237","g49s238","g49s240","g49s241","g49s242","g49s243","g4s19","g4s20","g4s21","g4s22","g4s23","g4s24","g4s25","g50s245","g53s254","g53s255","g53s259","g53s260","g53s261","g54s266","g5s27","g5s28","g5s29","g5s30","g5s32","g64s293","g68s317","g6s34","g6s35","g70s323","g70s324","g70s331","g71s332","g71s333","g7s36","g7s37","g80s379","g80s381","g80s384","g81s386","g81s387","g81s388","g82s391","g83s395","g83s396","g83s397","g84s399","g84s400","g84s401","g84s402","g84s403","g85s405","g85s406","g86s410","g86s411","g86s413","g86s414","g86s415","g86s423","g86s424","g86s425","g86s426","g86s427","g86s429","g86s430","g86s431","g86s432","g86s433","g86s434","g87s441","g87s443","g87s444","g87s446","g87s447","g88s459","g89s462","g8s39","g8s40","g8s42","g8s43","g8s44","g8s46","g90s470","g90s472","g90s474","g90s475","g90s477","g90s480","g90s485","g90s486","g90s487","g90s488","g90s489","g90s490","g90s491","g90s493","g90s494","g90s495","g90s496","g90s497","g90s501","g90s502","g90s504","g90s505","g93s527","g93s533","g93s534","g93s547","g93s548","g93s553","g93s554","g93s555","g93s557","g93s558","g93s559","g93s560","g93s561"],"size":190,"target_fraction":1.0,"next5_fraction":0.991304347826087,"source_steps":1208,"p_stay":0.9006622516556292,"dwell_p90":22.4,"reentries":100,"late":{"steps":272,"new_state":44,"new_state_target_inside":32,"new_state_target_outside":12,"new_transition":191,"new_state_pair":163,"native_new_model":44},"best_region_selection":"posthoc maximum entry-target executions; no semantic accuracy claim"}]