[{"run":"omninotes-Rep1","function":"omninotes.settings","entry_executions":12,"source_states":1,"concrete_entry_identities":4,"strict_local_entry_keys":7,"complete_segments":10,"stops":{"continuity:version_changed":1,"observed_activity_or_page_exit":10,"continuity:GUI_ID_gap,GUI_timestamp_gap,State_gap":1},"max_repeated_complete_path":1,"extra_duplicate_complete_paths":0,"functional_source_same_GUI_snapshots":16,"downstream_same_GUI_snapshots":16,"functional_GUI_snapshots":16,"current_untried_Concrete":null,"coverage_fraction":null,"inventory_level":"PARTIAL","events":100,"target_scope":"all_observed_including_exits_and_unresolved","observed_version_target_states":35,"observed_bare_target_states":21,"interior_target_states":null,"interior_bare_State_count":null,"interior_bare_State_IDs":null,"native_new_state":4,"interior_native_new_state":null,"first_observed_version_state":23,"first_model_transition":78,"first_ID_only_model_transition":64,"first_concrete_transition":79,"concrete_executions":99,"first_local_concrete":77,"first_activity_concrete":45,"first_operation_family":12,"unique_local_concrete":80,"unique_activity_concrete":55,"unique_model_transitions":81,"unique_concrete_transitions":82,"repeated_state_fraction":0.77,"repeated_model_transition_fraction":0.22,"repeated_local_concrete_fraction":0.2222222222222222},{"run":"omninotes-Rep1","function":"omninotes.set-reminder","entry_executions":49,"source_states":9,"concrete_entry_identities":3,"strict_local_entry_keys":12,"complete_segments":37,"stops":{"next_independent_entry":37,"target_activity_unknown":10,"continuity:GUI_ID_gap,GUI_timestamp_gap,State_gap":2},"max_repeated_complete_path":7,"extra_duplicate_complete_paths":12,"functional_source_same_GUI_snapshots":29,"downstream_same_GUI_snapshots":29,"functional_GUI_snapshots":29,"current_untried_Concrete":null,"coverage_fraction":null,"inventory_level":"PARTIAL","events":397,"target_scope":"all_observed_including_exits_and_unresolved","observed_version_target_states":49,"observed_bare_target_states":35,"interior_target_states":null,"interior_bare_State_count":null,"interior_bare_State_IDs":null,"native_new_state":19,"interior_native_new_state":null,"first_observed_version_state":28,"first_model_transition":175,"first_ID_only_model_transition":162,"first_concrete_transition":190,"concrete_executions":316,"first_local_concrete":165,"first_activity_concrete":113,"first_operation_family":58,"unique_local_concrete":176,"unique_activity_concrete":135,"unique_model_transitions":193,"unique_concrete_transitions":205,"repeated_state_fraction":0.929471032745592,"repeated_model_transition_fraction":0.5591939546599496,"repeated_local_concrete_fraction":0.4778481012658228},{"run":"omninotes-Rep1","function":"omninotes.attachment","entry_executions":40,"source_states":10,"concrete_entry_identities":5,"strict_local_entry_keys":12,"complete_segments":38,"stops":{"next_independent_entry":38,"target_activity_unknown":2},"max_repeated_complete_path":17,"extra_duplicate_complete_paths":16,"functional_source_same_GUI_snapshots":5,"downstream_same_GUI_snapshots":4,"functional_GUI_snapshots":5,"current_untried_Concrete":null,"coverage_fraction":null,"inventory_level":"PARTIAL","events":127,"target_scope":"all_observed_including_exits_and_unresolved","observed_version_target_states":33,"observed_bare_target_states":21,"interior_target_states":null,"interior_bare_State_count":null,"interior_bare_State_IDs":null,"native_new_state":5,"interior_native_new_state":null,"first_observed_version_state":13,"first_model_transition":58,"first_ID_only_model_transition":50,"first_concrete_transition":62,"concrete_executions":99,"first_local_concrete":51,"first_activity_concrete":29,"first_operation_family":16,"unique_local_concrete":61,"unique_activity_concrete":44,"unique_model_transitions":73,"unique_concrete_transitions":74,"repeated_state_fraction":0.8976377952755905,"repeated_model_transition_fraction":0.5433070866141733,"repeated_local_concrete_fraction":0.48484848484848486},{"run":"omninotes-Rep1","function":"omninotes.search-notes","entry_executions":68,"source_states":12,"concrete_entry_identities":5,"strict_local_entry_keys":22,"complete_segments":55,"stops":{"next_independent_entry":54,"continuity:GUI_ID_gap,GUI_timestamp_gap,State_gap":2,"target_activity_unknown":10,"observed_activity_or_page_exit":1,"entry_target_unknown":1},"max_repeated_complete_path":2,"extra_duplicate_complete_paths":2,"functional_source_same_GUI_snapshots":40,"downstream_same_GUI_snapshots":38,"functional_GUI_snapshots":40,"current_untried_Concrete":null,"coverage_fraction":null,"inventory_level":"PARTIAL","events":407,"target_scope":"all_observed_including_exits_and_unresolved","observed_version_target_states":75,"observed_bare_target_states":51,"interior_target_states":null,"interior_bare_State_count":null,"interior_bare_State_IDs":null,"native_new_state":30,"interior_native_new_state":null,"first_observed_version_state":44,"first_model_transition":180,"first_ID_only_model_transition":158,"first_concrete_transition":193,"concrete_executions":337,"first_local_concrete":166,"first_activity_concrete":61,"first_operation_family":7,"unique_local_concrete":190,"unique_activity_concrete":105,"unique_model_transitions":213,"unique_concrete_transitions":225,"repeated_state_fraction":0.8918918918918919,"repeated_model_transition_fraction":0.5577395577395577,"repeated_local_concrete_fraction":0.5074183976261127},{"run":"omninotes-Rep2","function":"omninotes.search-notes","entry_executions":127,"source_states":9,"concrete_entry_identities":2,"strict_local_entry_keys":18,"complete_segments":75,"stops":{"next_independent_entry":75,"target_activity_unknown":52},"max_repeated_complete_path":13,"extra_duplicate_complete_paths":16,"functional_source_same_GUI_snapshots":31,"downstream_same_GUI_snapshots":30,"functional_GUI_snapshots":31,"current_untried_Concrete":null,"coverage_fraction":null,"inventory_level":"PARTIAL","events":785,"target_scope":"all_observed_including_exits_and_unresolved","observed_version_target_states":66,"observed_bare_target_states":51,"interior_target_states":null,"interior_bare_State_count":null,"interior_bare_State_IDs":null,"native_new_state":29,"interior_native_new_state":null,"first_observed_version_state":43,"first_model_transition":177,"first_ID_only_model_transition":162,"first_concrete_transition":192,"concrete_executions":595,"first_local_concrete":166,"first_activity_concrete":33,"first_operation_family":5,"unique_local_concrete":187,"unique_activity_concrete":67,"unique_model_transitions":207,"unique_concrete_transitions":220,"repeated_state_fraction":0.9452229299363057,"repeated_model_transition_fraction":0.7745222929936306,"repeated_local_concrete_fraction":0.7210084033613445},{"run":"omninotes-Rep2","function":"omninotes.attachment","entry_executions":21,"source_states":8,"concrete_entry_identities":2,"strict_local_entry_keys":11,"complete_segments":18,"stops":{"next_independent_entry":18,"target_activity_unknown":1,"continuity:GUI_ID_gap,GUI_timestamp_gap,State_gap":1,"entry_target_unknown":1},"max_repeated_complete_path":2,"extra_duplicate_complete_paths":1,"functional_source_same_GUI_snapshots":2,"downstream_same_GUI_snapshots":0,"functional_GUI_snapshots":2,"current_untried_Concrete":null,"coverage_fraction":null,"inventory_level":"PARTIAL","events":60,"target_scope":"all_observed_including_exits_and_unresolved","observed_version_target_states":25,"observed_bare_target_states":17,"interior_target_states":null,"interior_bare_State_count":null,"interior_bare_State_IDs":null,"native_new_state":9,"interior_native_new_state":null,"first_observed_version_state":16,"first_model_transition":51,"first_ID_only_model_transition":50,"first_concrete_transition":51,"concrete_executions":54,"first_local_concrete":41,"first_activity_concrete":26,"first_operation_family":19,"unique_local_concrete":41,"unique_activity_concrete":28,"unique_model_transitions":52,"unique_concrete_transitions":52,"repeated_state_fraction":0.7333333333333333,"repeated_model_transition_fraction":0.15,"repeated_local_concrete_fraction":0.24074074074074073},{"run":"omninotes-Rep2","function":"omninotes.settings","entry_executions":9,"source_states":1,"concrete_entry_identities":1,"strict_local_entry_keys":2,"complete_segments":9,"stops":{"observed_activity_or_page_exit":9},"max_repeated_complete_path":1,"extra_duplicate_complete_paths":0,"functional_source_same_GUI_snapshots":12,"downstream_same_GUI_snapshots":12,"functional_GUI_snapshots":12,"current_untried_Concrete":null,"coverage_fraction":null,"inventory_level":"PARTIAL","events":82,"target_scope":"all_observed_including_exits_and_unresolved","observed_version_target_states":23,"observed_bare_target_states":21,"interior_target_states":null,"interior_bare_State_count":null,"interior_bare_State_IDs":null,"native_new_state":9,"interior_native_new_state":null,"first_observed_version_state":16,"first_model_transition":59,"first_ID_only_model_transition":56,"first_concrete_transition":60,"concrete_executions":79,"first_local_concrete":53,"first_activity_concrete":27,"first_operation_family":5,"unique_local_concrete":56,"unique_activity_concrete":40,"unique_model_transitions":63,"unique_concrete_transitions":63,"repeated_state_fraction":0.8048780487804879,"repeated_model_transition_fraction":0.2804878048780488,"repeated_local_concrete_fraction":0.3291139240506329},{"run":"omninotes-Rep2","function":"omninotes.set-reminder","entry_executions":21,"source_states":7,"concrete_entry_identities":2,"strict_local_entry_keys":10,"complete_segments":19,"stops":{"next_independent_entry":19,"continuity:GUI_ID_gap,GUI_timestamp_gap,State_gap":1,"entry_target_unknown":1},"max_repeated_complete_path":1,"extra_duplicate_complete_paths":0,"functional_source_same_GUI_snapshots":14,"downstream_same_GUI_snapshots":14,"functional_GUI_snapshots":14,"current_untried_Concrete":null,"coverage_fraction":null,"inventory_level":"PARTIAL","events":216,"target_scope":"all_observed_including_exits_and_unresolved","observed_version_target_states":44,"observed_bare_target_states":28,"interior_target_states":null,"interior_bare_State_count":null,"interior_bare_State_IDs":null,"native_new_state":20,"interior_native_new_state":null,"first_observed_version_state":35,"first_model_transition":168,"first_ID_only_model_transition":154,"first_concrete_transition":173,"concrete_executions":212,"first_local_concrete":161,"first_activity_concrete":103,"first_operation_family":60,"unique_local_concrete":163,"unique_activity_concrete":110,"unique_model_transitions":170,"unique_concrete_transitions":174,"repeated_state_fraction":0.8379629629629629,"repeated_model_transition_fraction":0.2222222222222222,"repeated_local_concrete_fraction":0.24056603773584906},{"run":"odkcollect-Rep1","function":"odkcollect.download","entry_executions":121,"source_states":1,"concrete_entry_identities":1,"strict_local_entry_keys":2,"complete_segments":112,"stops":{"next_independent_entry":3,"observed_activity_or_page_exit":109,"target_activity_unknown":4,"entry_target_outside_scope":2,"entry_target_unknown":3},"max_repeated_complete_path":77,"extra_duplicate_complete_paths":94,"functional_source_same_GUI_snapshots":0,"downstream_same_GUI_snapshots":0,"functional_GUI_snapshots":0,"current_untried_Concrete":null,"coverage_fraction":null,"inventory_level":"PARTIAL","events":309,"target_scope":"all_observed_including_exits_and_unresolved","observed_version_target_states":12,"observed_bare_target_states":9,"interior_target_states":null,"interior_bare_State_count":null,"interior_bare_State_IDs":null,"native_new_state":5,"interior_native_new_state":null,"first_observed_version_state":9,"first_model_transition":24,"first_ID_only_model_transition":20,"first_concrete_transition":25,"concrete_executions":154,"first_local_concrete":12,"first_activity_concrete":8,"first_operation_family":7,"unique_local_concrete":12,"unique_activity_concrete":8,"unique_model_transitions":27,"unique_concrete_transitions":28,"repeated_state_fraction":0.970873786407767,"repeated_model_transition_fraction":0.9223300970873787,"repeated_local_concrete_fraction":0.922077922077922},{"run":"odkcollect-Rep1","function":"odkcollect.drafts","entry_executions":121,"source_states":1,"concrete_entry_identities":1,"strict_local_entry_keys":2,"complete_segments":118,"stops":{"observed_activity_or_page_exit":118,"target_activity_unknown":3},"max_repeated_complete_path":116,"extra_duplicate_complete_paths":115,"functional_source_same_GUI_snapshots":0,"downstream_same_GUI_snapshots":0,"functional_GUI_snapshots":0,"current_untried_Concrete":null,"coverage_fraction":null,"inventory_level":"PARTIAL","events":242,"target_scope":"all_observed_including_exits_and_unresolved","observed_version_target_states":5,"observed_bare_target_states":3,"interior_target_states":null,"interior_bare_State_count":null,"interior_bare_State_IDs":null,"native_new_state":0,"interior_native_new_state":null,"first_observed_version_state":1,"first_model_transition":4,"first_ID_only_model_transition":2,"first_concrete_transition":4,"concrete_executions":121,"first_local_concrete":2,"first_activity_concrete":1,"first_operation_family":0,"unique_local_concrete":2,"unique_activity_concrete":1,"unique_model_transitions":6,"unique_concrete_transitions":6,"repeated_state_fraction":0.9958677685950413,"repeated_model_transition_fraction":0.9834710743801653,"repeated_local_concrete_fraction":0.9834710743801653},{"run":"odkcollect-Rep1","function":"odkcollect.start-new-form","entry_executions":121,"source_states":1,"concrete_entry_identities":1,"strict_local_entry_keys":2,"complete_segments":119,"stops":{"target_activity_unknown":2,"observed_activity_or_page_exit":119},"max_repeated_complete_path":117,"extra_duplicate_complete_paths":116,"functional_source_same_GUI_snapshots":0,"downstream_same_GUI_snapshots":0,"functional_GUI_snapshots":0,"current_untried_Concrete":null,"coverage_fraction":null,"inventory_level":"PARTIAL","events":242,"target_scope":"all_observed_including_exits_and_unresolved","observed_version_target_states":6,"observed_bare_target_states":4,"interior_target_states":null,"interior_bare_State_count":null,"interior_bare_State_IDs":null,"native_new_state":0,"interior_native_new_state":null,"first_observed_version_state":2,"first_model_transition":5,"first_ID_only_model_transition":3,"first_concrete_transition":5,"concrete_executions":121,"first_local_concrete":2,"first_activity_concrete":1,"first_operation_family":0,"unique_local_concrete":2,"unique_activity_concrete":1,"unique_model_transitions":7,"unique_concrete_transitions":7,"repeated_state_fraction":0.9917355371900827,"repeated_model_transition_fraction":0.9793388429752066,"repeated_local_concrete_fraction":0.9834710743801653},{"run":"odkcollect-Rep1","function":"odkcollect.settings","entry_executions":2,"source_states":1,"concrete_entry_identities":1,"strict_local_entry_keys":2,"complete_segments":1,"stops":{"continuity:version_changed":1,"observed_activity_or_page_exit":1},"max_repeated_complete_path":1,"extra_duplicate_complete_paths":0,"functional_source_same_GUI_snapshots":5,"downstream_same_GUI_snapshots":5,"functional_GUI_snapshots":5,"current_untried_Concrete":null,"coverage_fraction":null,"inventory_level":"PARTIAL","events":11,"target_scope":"all_observed_including_exits_and_unresolved","observed_version_target_states":6,"observed_bare_target_states":6,"interior_target_states":null,"interior_bare_State_count":null,"interior_bare_State_IDs":null,"native_new_state":3,"interior_native_new_state":null,"first_observed_version_state":5,"first_model_transition":9,"first_ID_only_model_transition":9,"first_concrete_transition":10,"concrete_executions":10,"first_local_concrete":9,"first_activity_concrete":7,"first_operation_family":5,"unique_local_concrete":9,"unique_activity_concrete":7,"unique_model_transitions":9,"unique_concrete_transitions":10,"repeated_state_fraction":0.5454545454545454,"repeated_model_transition_fraction":0.18181818181818182,"repeated_local_concrete_fraction":0.1},{"run":"odkcollect-Rep2","function":"odkcollect.drafts","entry_executions":109,"source_states":2,"concrete_entry_identities":2,"strict_local_entry_keys":5,"complete_segments":105,"stops":{"entry_target_unknown":2,"observed_activity_or_page_exit":105,"target_activity_unknown":2},"max_repeated_complete_path":80,"extra_duplicate_complete_paths":99,"functional_source_same_GUI_snapshots":0,"downstream_same_GUI_snapshots":0,"functional_GUI_snapshots":0,"current_untried_Concrete":null,"coverage_fraction":null,"inventory_level":"PARTIAL","events":216,"target_scope":"all_observed_including_exits_and_unresolved","observed_version_target_states":10,"observed_bare_target_states":5,"interior_target_states":null,"interior_bare_State_count":null,"interior_bare_State_IDs":null,"native_new_state":1,"interior_native_new_state":null,"first_observed_version_state":3,"first_model_transition":8,"first_ID_only_model_transition":4,"first_concrete_transition":8,"concrete_executions":109,"first_local_concrete":5,"first_activity_concrete":2,"first_operation_family":1,"unique_local_concrete":5,"unique_activity_concrete":2,"unique_model_transitions":11,"unique_concrete_transitions":11,"repeated_state_fraction":0.9861111111111112,"repeated_model_transition_fraction":0.9629629629629629,"repeated_local_concrete_fraction":0.9541284403669725},{"run":"odkcollect-Rep2","function":"odkcollect.start-new-form","entry_executions":109,"source_states":2,"concrete_entry_identities":2,"strict_local_entry_keys":5,"complete_segments":104,"stops":{"observed_activity_or_page_exit":104,"target_activity_unknown":3,"entry_target_unknown":2},"max_repeated_complete_path":78,"extra_duplicate_complete_paths":97,"functional_source_same_GUI_snapshots":0,"downstream_same_GUI_snapshots":0,"functional_GUI_snapshots":0,"current_untried_Concrete":null,"coverage_fraction":null,"inventory_level":"PARTIAL","events":229,"target_scope":"all_observed_including_exits_and_unresolved","observed_version_target_states":13,"observed_bare_target_states":5,"interior_target_states":null,"interior_bare_State_count":null,"interior_bare_State_IDs":null,"native_new_state":2,"interior_native_new_state":null,"first_observed_version_state":6,"first_model_transition":22,"first_ID_only_model_transition":11,"first_concrete_transition":22,"concrete_executions":119,"first_local_concrete":13,"first_activity_concrete":5,"first_operation_family":4,"unique_local_concrete":14,"unique_activity_concrete":6,"unique_model_transitions":23,"unique_concrete_transitions":23,"repeated_state_fraction":0.9737991266375546,"repeated_model_transition_fraction":0.9039301310043668,"repeated_local_concrete_fraction":0.8907563025210085},{"run":"odkcollect-Rep2","function":"odkcollect.download","entry_executions":109,"source_states":3,"concrete_entry_identities":3,"strict_local_entry_keys":5,"complete_segments":96,"stops":{"next_independent_entry":1,"observed_activity_or_page_exit":95,"target_activity_unknown":13},"max_repeated_complete_path":64,"extra_duplicate_complete_paths":84,"functional_source_same_GUI_snapshots":0,"downstream_same_GUI_snapshots":0,"functional_GUI_snapshots":0,"current_untried_Concrete":null,"coverage_fraction":null,"inventory_level":"PARTIAL","events":432,"target_scope":"all_observed_including_exits_and_unresolved","observed_version_target_states":14,"observed_bare_target_states":7,"interior_target_states":null,"interior_bare_State_count":null,"interior_bare_State_IDs":null,"native_new_state":2,"interior_native_new_state":null,"first_observed_version_state":6,"first_model_transition":19,"first_ID_only_model_transition":11,"first_concrete_transition":19,"concrete_executions":216,"first_local_concrete":8,"first_activity_concrete":4,"first_operation_family":2,"unique_local_concrete":8,"unique_activity_concrete":4,"unique_model_transitions":20,"unique_concrete_transitions":20,"repeated_state_fraction":0.9861111111111112,"repeated_model_transition_fraction":0.9560185185185185,"repeated_local_concrete_fraction":0.9629629629629629},{"run":"odkcollect-Rep2","function":"odkcollect.settings","entry_executions":3,"source_states":1,"concrete_entry_identities":1,"strict_local_entry_keys":2,"complete_segments":2,"stops":{"target_activity_unknown":1,"observed_activity_or_page_exit":2},"max_repeated_complete_path":1,"extra_duplicate_complete_paths":0,"functional_source_same_GUI_snapshots":9,"downstream_same_GUI_snapshots":9,"functional_GUI_snapshots":9,"current_untried_Concrete":null,"coverage_fraction":null,"inventory_level":"PARTIAL","events":58,"target_scope":"all_observed_including_exits_and_unresolved","observed_version_target_states":13,"observed_bare_target_states":12,"interior_target_states":null,"interior_bare_State_count":null,"interior_bare_State_IDs":null,"native_new_state":6,"interior_native_new_state":null,"first_observed_version_state":12,"first_model_transition":43,"first_ID_only_model_transition":40,"first_concrete_transition":46,"concrete_executions":53,"first_local_concrete":43,"first_activity_concrete":34,"first_operation_family":16,"unique_local_concrete":43,"unique_activity_concrete":35,"unique_model_transitions":43,"unique_concrete_transitions":46,"repeated_state_fraction":0.7931034482758621,"repeated_model_transition_fraction":0.25862068965517243,"repeated_local_concrete_fraction":0.18867924528301888},{"run":"scarletnotes-Rep1","function":"scarletnotes.create-note-empty-state","entry_executions":27,"source_states":8,"concrete_entry_identities":10,"strict_local_entry_keys":23,"complete_segments":22,"stops":{"target_activity_unknown":4,"observed_activity_or_page_exit":22,"continuity:version_changed":1},"max_repeated_complete_path":2,"extra_duplicate_complete_paths":1,"functional_source_same_GUI_snapshots":130,"downstream_same_GUI_snapshots":130,"functional_GUI_snapshots":130,"current_untried_Concrete":null,"coverage_fraction":null,"inventory_level":"PARTIAL","events":743,"target_scope":"all_observed_including_exits_and_unresolved","observed_version_target_states":56,"observed_bare_target_states":30,"interior_target_states":null,"interior_bare_State_count":null,"interior_bare_State_IDs":null,"native_new_state":11,"interior_native_new_state":null,"first_observed_version_state":35,"first_model_transition":281,"first_ID_only_model_transition":165,"first_concrete_transition":432,"concrete_executions":618,"first_local_concrete":358,"first_activity_concrete":170,"first_operation_family":7,"unique_local_concrete":386,"unique_activity_concrete":199,"unique_model_transitions":321,"unique_concrete_transitions":471,"repeated_state_fraction":0.9528936742934051,"repeated_model_transition_fraction":0.6218034993270525,"repeated_local_concrete_fraction":0.42071197411003236},{"run":"scarletnotes-Rep1","function":"scarletnotes.search-notes","entry_executions":34,"source_states":11,"concrete_entry_identities":2,"strict_local_entry_keys":22,"complete_segments":32,"stops":{"next_independent_entry":22,"target_activity_unknown":1,"observed_activity_or_page_exit":10,"entry_target_unknown":1},"max_repeated_complete_path":2,"extra_duplicate_complete_paths":2,"functional_source_same_GUI_snapshots":34,"downstream_same_GUI_snapshots":32,"functional_GUI_snapshots":34,"current_untried_Concrete":null,"coverage_fraction":null,"inventory_level":"PARTIAL","events":169,"target_scope":"all_observed_including_exits_and_unresolved","observed_version_target_states":61,"observed_bare_target_states":37,"interior_target_states":null,"interior_bare_State_count":null,"interior_bare_State_IDs":null,"native_new_state":17,"interior_native_new_state":null,"first_observed_version_state":37,"first_model_transition":136,"first_ID_only_model_transition":110,"first_concrete_transition":142,"concrete_executions":155,"first_local_concrete":121,"first_activity_concrete":36,"first_operation_family":8,"unique_local_concrete":127,"unique_activity_concrete":61,"unique_model_transitions":140,"unique_concrete_transitions":145,"repeated_state_fraction":0.7810650887573964,"repeated_model_transition_fraction":0.1952662721893491,"repeated_local_concrete_fraction":0.21935483870967742},{"run":"scarletnotes-Rep1","function":"scarletnotes.settings","entry_executions":16,"source_states":8,"concrete_entry_identities":2,"strict_local_entry_keys":14,"complete_segments":13,"stops":{"next_independent_entry":5,"target_activity_unknown":3,"observed_activity_or_page_exit":8},"max_repeated_complete_path":1,"extra_duplicate_complete_paths":0,"functional_source_same_GUI_snapshots":13,"downstream_same_GUI_snapshots":13,"functional_GUI_snapshots":13,"current_untried_Concrete":null,"coverage_fraction":null,"inventory_level":"PARTIAL","events":180,"target_scope":"all_observed_including_exits_and_unresolved","observed_version_target_states":50,"observed_bare_target_states":29,"interior_target_states":null,"interior_bare_State_count":null,"interior_bare_State_IDs":null,"native_new_state":11,"interior_native_new_state":null,"first_observed_version_state":29,"first_model_transition":112,"first_ID_only_model_transition":87,"first_concrete_transition":118,"concrete_executions":148,"first_local_concrete":97,"first_activity_concrete":22,"first_operation_family":6,"unique_local_concrete":104,"unique_activity_concrete":38,"unique_model_transitions":123,"unique_concrete_transitions":128,"repeated_state_fraction":0.8388888888888889,"repeated_model_transition_fraction":0.37777777777777777,"repeated_local_concrete_fraction":0.34459459459459457},{"run":"scarletnotes-Rep2","function":"scarletnotes.create-note-empty-state","entry_executions":134,"source_states":2,"concrete_entry_identities":2,"strict_local_entry_keys":5,"complete_segments":132,"stops":{"continuity:State_gap,version_changed":1,"observed_activity_or_page_exit":132,"target_activity_unknown":1},"max_repeated_complete_path":66,"extra_duplicate_complete_paths":127,"functional_source_same_GUI_snapshots":1,"downstream_same_GUI_snapshots":1,"functional_GUI_snapshots":1,"current_untried_Concrete":null,"coverage_fraction":null,"inventory_level":"PARTIAL","events":270,"target_scope":"all_observed_including_exits_and_unresolved","observed_version_target_states":9,"observed_bare_target_states":6,"interior_target_states":null,"interior_bare_State_count":null,"interior_bare_State_IDs":null,"native_new_state":0,"interior_native_new_state":null,"first_observed_version_state":2,"first_model_transition":10,"first_ID_only_model_transition":10,"first_concrete_transition":10,"concrete_executions":137,"first_local_concrete":8,"first_activity_concrete":3,"first_operation_family":3,"unique_local_concrete":8,"unique_activity_concrete":4,"unique_model_transitions":12,"unique_concrete_transitions":12,"repeated_state_fraction":0.9925925925925926,"repeated_model_transition_fraction":0.9629629629629629,"repeated_local_concrete_fraction":0.9416058394160584},{"run":"scarletnotes-Rep2","function":"scarletnotes.search-notes","entry_executions":98,"source_states":8,"concrete_entry_identities":1,"strict_local_entry_keys":13,"complete_segments":93,"stops":{"next_independent_entry":77,"target_activity_unknown":2,"continuity:version_changed":1,"observed_activity_or_page_exit":16,"entry_target_unknown":2},"max_repeated_complete_path":57,"extra_duplicate_complete_paths":66,"functional_source_same_GUI_snapshots":27,"downstream_same_GUI_snapshots":27,"functional_GUI_snapshots":27,"current_untried_Concrete":null,"coverage_fraction":null,"inventory_level":"PARTIAL","events":311,"target_scope":"all_observed_including_exits_and_unresolved","observed_version_target_states":46,"observed_bare_target_states":25,"interior_target_states":null,"interior_bare_State_count":null,"interior_bare_State_IDs":null,"native_new_state":8,"interior_native_new_state":null,"first_observed_version_state":26,"first_model_transition":102,"first_ID_only_model_transition":77,"first_concrete_transition":110,"concrete_executions":217,"first_local_concrete":86,"first_activity_concrete":30,"first_operation_family":9,"unique_local_concrete":98,"unique_activity_concrete":50,"unique_model_transitions":118,"unique_concrete_transitions":126,"repeated_state_fraction":0.9163987138263665,"repeated_model_transition_fraction":0.6720257234726688,"repeated_local_concrete_fraction":0.6036866359447005},{"run":"scarletnotes-Rep2","function":"scarletnotes.settings","entry_executions":99,"source_states":9,"concrete_entry_identities":1,"strict_local_entry_keys":13,"complete_segments":93,"stops":{"next_independent_entry":72,"observed_activity_or_page_exit":21,"continuity:version_changed":1,"target_activity_unknown":4,"entry_target_unknown":1},"max_repeated_complete_path":61,"extra_duplicate_complete_paths":69,"functional_source_same_GUI_snapshots":7,"downstream_same_GUI_snapshots":7,"functional_GUI_snapshots":7,"current_untried_Concrete":null,"coverage_fraction":null,"inventory_level":"PARTIAL","events":391,"target_scope":"all_observed_including_exits_and_unresolved","observed_version_target_states":42,"observed_bare_target_states":28,"interior_target_states":null,"interior_bare_State_count":null,"interior_bare_State_IDs":null,"native_new_state":11,"interior_native_new_state":null,"first_observed_version_state":23,"first_model_transition":104,"first_ID_only_model_transition":87,"first_concrete_transition":110,"concrete_executions":246,"first_local_concrete":79,"first_activity_concrete":19,"first_operation_family":5,"unique_local_concrete":82,"unique_activity_concrete":30,"unique_model_transitions":109,"unique_concrete_transitions":115,"repeated_state_fraction":0.9411764705882353,"repeated_model_transition_fraction":0.7340153452685422,"repeated_local_concrete_fraction":0.6788617886178862},{"run":"wikipedia-Rep1","function":"wikipedia.article-gallery","entry_executions":9,"source_states":7,"concrete_entry_identities":1,"strict_local_entry_keys":9,"complete_segments":8,"stops":{"observed_activity_or_page_exit":8,"target_activity_unknown":1},"max_repeated_complete_path":1,"extra_duplicate_complete_paths":0,"functional_source_same_GUI_snapshots":0,"downstream_same_GUI_snapshots":0,"functional_GUI_snapshots":0,"current_untried_Concrete":null,"coverage_fraction":null,"inventory_level":"PARTIAL","events":42,"target_scope":"all_observed_including_exits_and_unresolved","observed_version_target_states":25,"observed_bare_target_states":11,"interior_target_states":null,"interior_bare_State_count":null,"interior_bare_State_IDs":null,"native_new_state":7,"interior_native_new_state":null,"first_observed_version_state":19,"first_model_transition":41,"first_ID_only_model_transition":39,"first_concrete_transition":41,"concrete_executions":41,"first_local_concrete":40,"first_activity_concrete":16,"first_operation_family":11,"unique_local_concrete":40,"unique_activity_concrete":17,"unique_model_transitions":41,"unique_concrete_transitions":41,"repeated_state_fraction":0.5476190476190477,"repeated_model_transition_fraction":0.023809523809523808,"repeated_local_concrete_fraction":0.024390243902439025},{"run":"wikipedia-Rep1","function":"wikipedia.find-in-article","entry_executions":24,"source_states":17,"concrete_entry_identities":2,"strict_local_entry_keys":21,"complete_segments":21,"stops":{"entry_target_unknown":1,"next_independent_entry":21,"target_activity_unknown":2},"max_repeated_complete_path":1,"extra_duplicate_complete_paths":0,"functional_source_same_GUI_snapshots":15,"downstream_same_GUI_snapshots":11,"functional_GUI_snapshots":15,"current_untried_Concrete":null,"coverage_fraction":null,"inventory_level":"PARTIAL","events":85,"target_scope":"all_observed_including_exits_and_unresolved","observed_version_target_states":58,"observed_bare_target_states":35,"interior_target_states":null,"interior_bare_State_count":null,"interior_bare_State_IDs":null,"native_new_state":26,"interior_native_new_state":null,"first_observed_version_state":46,"first_model_transition":81,"first_ID_only_model_transition":68,"first_concrete_transition":83,"concrete_executions":83,"first_local_concrete":80,"first_activity_concrete":25,"first_operation_family":10,"unique_local_concrete":80,"unique_activity_concrete":35,"unique_model_transitions":81,"unique_concrete_transitions":83,"repeated_state_fraction":0.4588235294117647,"repeated_model_transition_fraction":0.047058823529411764,"repeated_local_concrete_fraction":0.03614457831325301},{"run":"wikipedia-Rep1","function":"wikipedia.global-search","entry_executions":29,"source_states":19,"concrete_entry_identities":7,"strict_local_entry_keys":26,"complete_segments":22,"stops":{"observed_activity_or_page_exit":16,"reviewed_function_handoff":6,"target_activity_unknown":1,"entry_target_outside_scope":5,"entry_target_unknown":1},"max_repeated_complete_path":1,"extra_duplicate_complete_paths":0,"functional_source_same_GUI_snapshots":32,"downstream_same_GUI_snapshots":29,"functional_GUI_snapshots":32,"current_untried_Concrete":null,"coverage_fraction":null,"inventory_level":"PARTIAL","events":102,"target_scope":"all_observed_including_exits_and_unresolved","observed_version_target_states":72,"observed_bare_target_states":42,"interior_target_states":null,"interior_bare_State_count":null,"interior_bare_State_IDs":null,"native_new_state":22,"interior_native_new_state":null,"first_observed_version_state":62,"first_model_transition":100,"first_ID_only_model_transition":98,"first_concrete_transition":101,"concrete_executions":101,"first_local_concrete":98,"first_activity_concrete":50,"first_operation_family":26,"unique_local_concrete":98,"unique_activity_concrete":55,"unique_model_transitions":100,"unique_concrete_transitions":101,"repeated_state_fraction":0.39215686274509803,"repeated_model_transition_fraction":0.0196078431372549,"repeated_local_concrete_fraction":0.0297029702970297},{"run":"wikipedia-Rep1","function":"wikipedia.reading-theme","entry_executions":8,"source_states":8,"concrete_entry_identities":2,"strict_local_entry_keys":8,"complete_segments":7,"stops":{"observed_activity_or_page_exit":1,"next_independent_entry":6,"target_activity_unknown":1},"max_repeated_complete_path":1,"extra_duplicate_complete_paths":0,"functional_source_same_GUI_snapshots":1,"downstream_same_GUI_snapshots":0,"functional_GUI_snapshots":1,"current_untried_Concrete":null,"coverage_fraction":null,"inventory_level":"PARTIAL","events":93,"target_scope":"all_observed_including_exits_and_unresolved","observed_version_target_states":29,"observed_bare_target_states":19,"interior_target_states":null,"interior_bare_State_count":null,"interior_bare_State_IDs":null,"native_new_state":12,"interior_native_new_state":null,"first_observed_version_state":24,"first_model_transition":81,"first_ID_only_model_transition":73,"first_concrete_transition":81,"concrete_executions":84,"first_local_concrete":73,"first_activity_concrete":15,"first_operation_family":13,"unique_local_concrete":73,"unique_activity_concrete":18,"unique_model_transitions":81,"unique_concrete_transitions":81,"repeated_state_fraction":0.7419354838709677,"repeated_model_transition_fraction":0.12903225806451613,"repeated_local_concrete_fraction":0.13095238095238096},{"run":"wikipedia-Rep1","function":"wikipedia.edit-article","entry_executions":7,"source_states":3,"concrete_entry_identities":3,"strict_local_entry_keys":4,"complete_segments":4,"stops":{"entry_target_unknown":1,"observed_activity_or_page_exit":4,"target_activity_unknown":2},"max_repeated_complete_path":1,"extra_duplicate_complete_paths":0,"functional_source_same_GUI_snapshots":0,"downstream_same_GUI_snapshots":0,"functional_GUI_snapshots":0,"current_untried_Concrete":null,"coverage_fraction":null,"inventory_level":"PARTIAL","events":61,"target_scope":"all_observed_including_exits_and_unresolved","observed_version_target_states":21,"observed_bare_target_states":14,"interior_target_states":null,"interior_bare_State_count":null,"interior_bare_State_IDs":null,"native_new_state":11,"interior_native_new_state":null,"first_observed_version_state":18,"first_model_transition":52,"first_ID_only_model_transition":50,"first_concrete_transition":52,"concrete_executions":58,"first_local_concrete":49,"first_activity_concrete":23,"first_operation_family":12,"unique_local_concrete":49,"unique_activity_concrete":26,"unique_model_transitions":52,"unique_concrete_transitions":52,"repeated_state_fraction":0.7049180327868853,"repeated_model_transition_fraction":0.14754098360655737,"repeated_local_concrete_fraction":0.15517241379310345},{"run":"wikipedia-Rep2","function":"wikipedia.global-search","entry_executions":55,"source_states":35,"concrete_entry_identities":9,"strict_local_entry_keys":50,"complete_segments":48,"stops":{"next_independent_entry":12,"entry_target_outside_scope":4,"observed_activity_or_page_exit":27,"target_activity_unknown":2,"continuity:version_changed":1,"reviewed_function_handoff":9},"max_repeated_complete_path":1,"extra_duplicate_complete_paths":0,"functional_source_same_GUI_snapshots":45,"downstream_same_GUI_snapshots":45,"functional_GUI_snapshots":45,"current_untried_Concrete":null,"coverage_fraction":null,"inventory_level":"PARTIAL","events":166,"target_scope":"all_observed_including_exits_and_unresolved","observed_version_target_states":113,"observed_bare_target_states":66,"interior_target_states":null,"interior_bare_State_count":null,"interior_bare_State_IDs":null,"native_new_state":35,"interior_native_new_state":null,"first_observed_version_state":89,"first_model_transition":156,"first_ID_only_model_transition":146,"first_concrete_transition":160,"concrete_executions":163,"first_local_concrete":155,"first_activity_concrete":62,"first_operation_family":21,"unique_local_concrete":155,"unique_activity_concrete":73,"unique_model_transitions":157,"unique_concrete_transitions":160,"repeated_state_fraction":0.463855421686747,"repeated_model_transition_fraction":0.060240963855421686,"repeated_local_concrete_fraction":0.049079754601226995},{"run":"wikipedia-Rep2","function":"wikipedia.find-in-article","entry_executions":17,"source_states":10,"concrete_entry_identities":2,"strict_local_entry_keys":15,"complete_segments":17,"stops":{"next_independent_entry":14,"observed_activity_or_page_exit":3},"max_repeated_complete_path":1,"extra_duplicate_complete_paths":0,"functional_source_same_GUI_snapshots":3,"downstream_same_GUI_snapshots":0,"functional_GUI_snapshots":3,"current_untried_Concrete":null,"coverage_fraction":null,"inventory_level":"PARTIAL","events":35,"target_scope":"all_observed_including_exits_and_unresolved","observed_version_target_states":26,"observed_bare_target_states":17,"interior_target_states":null,"interior_bare_State_count":null,"interior_bare_State_IDs":null,"native_new_state":7,"interior_native_new_state":null,"first_observed_version_state":18,"first_model_transition":31,"first_ID_only_model_transition":23,"first_concrete_transition":31,"concrete_executions":34,"first_local_concrete":30,"first_activity_concrete":5,"first_operation_family":3,"unique_local_concrete":32,"unique_activity_concrete":9,"unique_model_transitions":33,"unique_concrete_transitions":33,"repeated_state_fraction":0.4857142857142857,"repeated_model_transition_fraction":0.11428571428571428,"repeated_local_concrete_fraction":0.11764705882352941},{"run":"wikipedia-Rep2","function":"wikipedia.reading-theme","entry_executions":12,"source_states":11,"concrete_entry_identities":2,"strict_local_entry_keys":12,"complete_segments":9,"stops":{"target_activity_unknown":3,"observed_activity_or_page_exit":4,"next_independent_entry":5},"max_repeated_complete_path":1,"extra_duplicate_complete_paths":0,"functional_source_same_GUI_snapshots":1,"downstream_same_GUI_snapshots":0,"functional_GUI_snapshots":1,"current_untried_Concrete":null,"coverage_fraction":null,"inventory_level":"PARTIAL","events":120,"target_scope":"all_observed_including_exits_and_unresolved","observed_version_target_states":52,"observed_bare_target_states":30,"interior_target_states":null,"interior_bare_State_count":null,"interior_bare_State_IDs":null,"native_new_state":17,"interior_native_new_state":null,"first_observed_version_state":42,"first_model_transition":111,"first_ID_only_model_transition":101,"first_concrete_transition":111,"concrete_executions":104,"first_local_concrete":95,"first_activity_concrete":20,"first_operation_family":14,"unique_local_concrete":95,"unique_activity_concrete":23,"unique_model_transitions":112,"unique_concrete_transitions":112,"repeated_state_fraction":0.65,"repeated_model_transition_fraction":0.075,"repeated_local_concrete_fraction":0.08653846153846154},{"run":"wikipedia-Rep2","function":"wikipedia.article-gallery","entry_executions":6,"source_states":5,"concrete_entry_identities":1,"strict_local_entry_keys":6,"complete_segments":5,"stops":{"target_activity_unknown":1,"observed_activity_or_page_exit":5},"max_repeated_complete_path":1,"extra_duplicate_complete_paths":0,"functional_source_same_GUI_snapshots":6,"downstream_same_GUI_snapshots":3,"functional_GUI_snapshots":6,"current_untried_Concrete":null,"coverage_fraction":null,"inventory_level":"PARTIAL","events":25,"target_scope":"all_observed_including_exits_and_unresolved","observed_version_target_states":13,"observed_bare_target_states":8,"interior_target_states":null,"interior_bare_State_count":null,"interior_bare_State_IDs":null,"native_new_state":3,"interior_native_new_state":null,"first_observed_version_state":8,"first_model_transition":21,"first_ID_only_model_transition":19,"first_concrete_transition":21,"concrete_executions":24,"first_local_concrete":20,"first_activity_concrete":10,"first_operation_family":9,"unique_local_concrete":21,"unique_activity_concrete":13,"unique_model_transitions":22,"unique_concrete_transitions":22,"repeated_state_fraction":0.68,"repeated_model_transition_fraction":0.16,"repeated_local_concrete_fraction":0.16666666666666666},{"run":"wikipedia-Rep2","function":"wikipedia.edit-article","entry_executions":5,"source_states":3,"concrete_entry_identities":3,"strict_local_entry_keys":4,"complete_segments":5,"stops":{"observed_activity_or_page_exit":5},"max_repeated_complete_path":1,"extra_duplicate_complete_paths":0,"functional_source_same_GUI_snapshots":0,"downstream_same_GUI_snapshots":0,"functional_GUI_snapshots":0,"current_untried_Concrete":null,"coverage_fraction":null,"inventory_level":"PARTIAL","events":77,"target_scope":"all_observed_including_exits_and_unresolved","observed_version_target_states":25,"observed_bare_target_states":20,"interior_target_states":null,"interior_bare_State_count":null,"interior_bare_State_IDs":null,"native_new_state":15,"interior_native_new_state":null,"first_observed_version_state":21,"first_model_transition":69,"first_ID_only_model_transition":69,"first_concrete_transition":69,"concrete_executions":75,"first_local_concrete":67,"first_activity_concrete":43,"first_operation_family":27,"unique_local_concrete":68,"unique_activity_concrete":44,"unique_model_transitions":70,"unique_concrete_transitions":70,"repeated_state_fraction":0.7272727272727273,"repeated_model_transition_fraction":0.1038961038961039,"repeated_local_concrete_fraction":0.10666666666666667},{"run":"activitydiary-Rep1","function":"activitydiary.add-activity","entry_executions":56,"source_states":28,"concrete_entry_identities":3,"strict_local_entry_keys":44,"complete_segments":46,"stops":{"observed_activity_or_page_exit":43,"object_mode_handoff":3,"target_activity_unknown":10},"max_repeated_complete_path":2,"extra_duplicate_complete_paths":2,"functional_source_same_GUI_snapshots":5,"downstream_same_GUI_snapshots":0,"functional_GUI_snapshots":5,"current_untried_Concrete":null,"coverage_fraction":null,"inventory_level":"PARTIAL","events":261,"target_scope":"all_observed_including_exits_and_unresolved","observed_version_target_states":70,"observed_bare_target_states":36,"interior_target_states":null,"interior_bare_State_count":null,"interior_bare_State_IDs":null,"native_new_state":5,"interior_native_new_state":null,"first_observed_version_state":26,"first_model_transition":107,"first_ID_only_model_transition":83,"first_concrete_transition":170,"concrete_executions":226,"first_local_concrete":142,"first_activity_concrete":74,"first_operation_family":6,"unique_local_concrete":165,"unique_activity_concrete":83,"unique_model_transitions":124,"unique_concrete_transitions":186,"repeated_state_fraction":0.9003831417624522,"repeated_model_transition_fraction":0.5900383141762452,"repeated_local_concrete_fraction":0.37168141592920356},{"run":"activitydiary-Rep1","function":"activitydiary.edit-existing-activity","entry_executions":81,"source_states":24,"concrete_entry_identities":34,"strict_local_entry_keys":77,"complete_segments":72,"stops":{"target_activity_unknown":7,"observed_activity_or_page_exit":71,"entry_target_unknown":2,"object_mode_handoff":1},"max_repeated_complete_path":1,"extra_duplicate_complete_paths":0,"functional_source_same_GUI_snapshots":55,"downstream_same_GUI_snapshots":25,"functional_GUI_snapshots":55,"current_untried_Concrete":null,"coverage_fraction":null,"inventory_level":"PARTIAL","events":318,"target_scope":"all_observed_including_exits_and_unresolved","observed_version_target_states":77,"observed_bare_target_states":41,"interior_target_states":null,"interior_bare_State_count":null,"interior_bare_State_IDs":null,"native_new_state":15,"interior_native_new_state":null,"first_observed_version_state":39,"first_model_transition":168,"first_ID_only_model_transition":124,"first_concrete_transition":218,"concrete_executions":282,"first_local_concrete":183,"first_activity_concrete":88,"first_operation_family":4,"unique_local_concrete":202,"unique_activity_concrete":109,"unique_model_transitions":181,"unique_concrete_transitions":233,"repeated_state_fraction":0.8773584905660378,"repeated_model_transition_fraction":0.4716981132075472,"repeated_local_concrete_fraction":0.35106382978723405},{"run":"activitydiary-Rep1","function":"activitydiary.settings","entry_executions":22,"source_states":1,"concrete_entry_identities":1,"strict_local_entry_keys":7,"complete_segments":18,"stops":{"observed_activity_or_page_exit":18,"target_activity_unknown":3,"continuity:version_changed":1},"max_repeated_complete_path":1,"extra_duplicate_complete_paths":0,"functional_source_same_GUI_snapshots":18,"downstream_same_GUI_snapshots":18,"functional_GUI_snapshots":18,"current_untried_Concrete":null,"coverage_fraction":null,"inventory_level":"PARTIAL","events":213,"target_scope":"all_observed_including_exits_and_unresolved","observed_version_target_states":43,"observed_bare_target_states":29,"interior_target_states":null,"interior_bare_State_count":null,"interior_bare_State_IDs":null,"native_new_state":18,"interior_native_new_state":null,"first_observed_version_state":35,"first_model_transition":170,"first_ID_only_model_transition":148,"first_concrete_transition":171,"concrete_executions":205,"first_local_concrete":145,"first_activity_concrete":35,"first_operation_family":11,"unique_local_concrete":148,"unique_activity_concrete":47,"unique_model_transitions":171,"unique_concrete_transitions":172,"repeated_state_fraction":0.8356807511737089,"repeated_model_transition_fraction":0.20187793427230047,"repeated_local_concrete_fraction":0.2926829268292683},{"run":"activitydiary-Rep1","function":"activitydiary.manage-activities","entry_executions":4,"source_states":1,"concrete_entry_identities":1,"strict_local_entry_keys":2,"complete_segments":4,"stops":{"next_independent_entry":4},"max_repeated_complete_path":2,"extra_duplicate_complete_paths":1,"functional_source_same_GUI_snapshots":0,"downstream_same_GUI_snapshots":0,"functional_GUI_snapshots":0,"current_untried_Concrete":null,"coverage_fraction":null,"inventory_level":"PARTIAL","events":4,"target_scope":"all_observed_including_exits_and_unresolved","observed_version_target_states":3,"observed_bare_target_states":3,"interior_target_states":null,"interior_bare_State_count":null,"interior_bare_State_IDs":null,"native_new_state":1,"interior_native_new_state":null,"first_observed_version_state":2,"first_model_transition":3,"first_ID_only_model_transition":3,"first_concrete_transition":3,"concrete_executions":4,"first_local_concrete":2,"first_activity_concrete":1,"first_operation_family":0,"unique_local_concrete":2,"unique_activity_concrete":1,"unique_model_transitions":3,"unique_concrete_transitions":3,"repeated_state_fraction":0.5,"repeated_model_transition_fraction":0.25,"repeated_local_concrete_fraction":0.5},{"run":"activitydiary-Rep2","function":"activitydiary.add-activity","entry_executions":63,"source_states":31,"concrete_entry_identities":4,"strict_local_entry_keys":43,"complete_segments":52,"stops":{"target_activity_unknown":5,"observed_activity_or_page_exit":45,"entry_target_unknown":1,"object_mode_handoff":7,"entry_target_outside_scope":5},"max_repeated_complete_path":6,"extra_duplicate_complete_paths":9,"functional_source_same_GUI_snapshots":9,"downstream_same_GUI_snapshots":1,"functional_GUI_snapshots":9,"current_untried_Concrete":null,"coverage_fraction":null,"inventory_level":"PARTIAL","events":190,"target_scope":"all_observed_including_exits_and_unresolved","observed_version_target_states":69,"observed_bare_target_states":35,"interior_target_states":null,"interior_bare_State_count":null,"interior_bare_State_IDs":null,"native_new_state":9,"interior_native_new_state":null,"first_observed_version_state":32,"first_model_transition":112,"first_ID_only_model_transition":96,"first_concrete_transition":121,"concrete_executions":183,"first_local_concrete":93,"first_activity_concrete":25,"first_operation_family":5,"unique_local_concrete":101,"unique_activity_concrete":30,"unique_model_transitions":114,"unique_concrete_transitions":123,"repeated_state_fraction":0.8315789473684211,"repeated_model_transition_fraction":0.4105263157894737,"repeated_local_concrete_fraction":0.4918032786885246},{"run":"activitydiary-Rep2","function":"activitydiary.edit-existing-activity","entry_executions":101,"source_states":25,"concrete_entry_identities":55,"strict_local_entry_keys":87,"complete_segments":98,"stops":{"target_activity_unknown":2,"observed_activity_or_page_exit":97,"continuity:version_changed":1,"object_mode_handoff":1},"max_repeated_complete_path":11,"extra_duplicate_complete_paths":11,"functional_source_same_GUI_snapshots":65,"downstream_same_GUI_snapshots":32,"functional_GUI_snapshots":65,"current_untried_Concrete":null,"coverage_fraction":null,"inventory_level":"PARTIAL","events":213,"target_scope":"all_observed_including_exits_and_unresolved","observed_version_target_states":61,"observed_bare_target_states":30,"interior_target_states":null,"interior_bare_State_count":null,"interior_bare_State_IDs":null,"native_new_state":4,"interior_native_new_state":null,"first_observed_version_state":24,"first_model_transition":134,"first_ID_only_model_transition":116,"first_concrete_transition":142,"concrete_executions":210,"first_local_concrete":115,"first_activity_concrete":52,"first_operation_family":2,"unique_local_concrete":123,"unique_activity_concrete":67,"unique_model_transitions":143,"unique_concrete_transitions":150,"repeated_state_fraction":0.8873239436619719,"repeated_model_transition_fraction":0.37089201877934275,"repeated_local_concrete_fraction":0.4523809523809524},{"run":"activitydiary-Rep2","function":"activitydiary.manage-activities","entry_executions":6,"source_states":2,"concrete_entry_identities":1,"strict_local_entry_keys":5,"complete_segments":6,"stops":{"next_independent_entry":6},"max_repeated_complete_path":1,"extra_duplicate_complete_paths":0,"functional_source_same_GUI_snapshots":1,"downstream_same_GUI_snapshots":0,"functional_GUI_snapshots":1,"current_untried_Concrete":null,"coverage_fraction":null,"inventory_level":"PARTIAL","events":8,"target_scope":"all_observed_including_exits_and_unresolved","observed_version_target_states":7,"observed_bare_target_states":6,"interior_target_states":null,"interior_bare_State_count":null,"interior_bare_State_IDs":null,"native_new_state":2,"interior_native_new_state":null,"first_observed_version_state":7,"first_model_transition":8,"first_ID_only_model_transition":7,"first_concrete_transition":8,"concrete_executions":7,"first_local_concrete":6,"first_activity_concrete":2,"first_operation_family":1,"unique_local_concrete":6,"unique_activity_concrete":2,"unique_model_transitions":8,"unique_concrete_transitions":8,"repeated_state_fraction":0.125,"repeated_model_transition_fraction":0.0,"repeated_local_concrete_fraction":0.14285714285714285},{"run":"activitydiary-Rep2","function":"activitydiary.settings","entry_executions":12,"source_states":1,"concrete_entry_identities":1,"strict_local_entry_keys":8,"complete_segments":10,"stops":{"target_activity_unknown":1,"observed_activity_or_page_exit":10,"continuity:version_changed":1},"max_repeated_complete_path":1,"extra_duplicate_complete_paths":0,"functional_source_same_GUI_snapshots":42,"downstream_same_GUI_snapshots":42,"functional_GUI_snapshots":42,"current_untried_Concrete":null,"coverage_fraction":null,"inventory_level":"PARTIAL","events":147,"target_scope":"all_observed_including_exits_and_unresolved","observed_version_target_states":46,"observed_bare_target_states":21,"interior_target_states":null,"interior_bare_State_count":null,"interior_bare_State_IDs":null,"native_new_state":11,"interior_native_new_state":null,"first_observed_version_state":38,"first_model_transition":132,"first_ID_only_model_transition":110,"first_concrete_transition":134,"concrete_executions":144,"first_local_concrete":117,"first_activity_concrete":24,"first_operation_family":9,"unique_local_concrete":117,"unique_activity_concrete":35,"unique_model_transitions":132,"unique_concrete_transitions":134,"repeated_state_fraction":0.7414965986394558,"repeated_model_transition_fraction":0.10204081632653061,"repeated_local_concrete_fraction":0.1875}]