{ "app": "omninotes", "condition": "startlux-p1-fixab-9a5b577", "reference": true, "run_id": "run_6fbac6f1f5c740a38f6336c65e9fb5aa", "step": 440, "elapsed_s": "720.584", "selection": { "event": "SELECTION_DECISION", "step": 440, "monotonic_ns": 1777994640077147, "wall_time_ms": 1793888947049, "abstraction_version": 12, "state_id": "g12s86", "model_action_id": "g12a808", "snapshot_reason": "selection", "state_visits": 30, "state_first_seen": 72, "state_last_seen": 440, "state_saturated": true, "state_saturation": 1, "native_state_saturated": true, "native_unsaturated_model_action_count": 0, "model_action_count": 6, "enabled_valid_action_count": 6, "unsaturated_model_action_count": 0, "unvisited_model_action_count": 0, "effective_unvisited_model_action_count": 0, "effective_state_saturated": true, "local_probe_action_count": 0, "navigation_action_count": 0, "enabled_valid_unvisited_action_count": 0, "unvisited_model_action_ids": "", "selection_strategy": "EARLY_STAGE", "selection_context": "navigation", "selection_buffer_size_after": 1, "selected_model_action_type": "MODEL_CLICK", "selected_model_action_saturated": true, "selected_model_action_unvisited": false, "selected_effective_unvisited": false, "selected_navigation_target": false, "selected_model_action_visits": 5, "selected_action_fingerprint": "type=MODEL_CLICK|activity=it.feio.android.omninotes.intro.IntroActivity|class=android.widget.ImageButton|text=#dd74c7f7|resource_id=it.feio.android.omninotes:id/next|bounds=1880,807,2400,975", "selected_resolved_node_count": 1 }, "inputs": [ { "input_id": "input-2405", "step": "440", "version": "12", "elapsed_s": "720.584", "wall_time_ms": "1793888947050", "next_input_wall_ms": "1793888947778", "input_completed_wall_ms": "1793888947073", "input_confirmed": "True", "action": "MODEL_CLICK #dd74c7f7", "action_type": "MODEL_CLICK", "text": "#dd74c7f7", "content_desc": "", "resource_id": "it.feio.android.omninotes:id/next", "model_action_id": "g12a808", "concrete_identity": "MODEL_CLICK|/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.ImageButton\"][@resource-id=\"it.feio.android.omninotes:id/next\"][@text=\"\"][@content-desc=\"\"][@index=1][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false']", "state_id": "g12s86", "source_gui_id": "536", "activity": "it.feio.android.omninotes.intro.IntroActivity", "activity_evidence": "exact source_gui_id transition receipt", "labels": "NA", "probe": "False", "strategy": "EARLY_STAGE", "context": "navigation", "native_branch": "Remote Greedy", "executor_ref": "[WORKSPACE]/experiments/guitaboo_fixab_omni_rep2_20261105T2218/formal-runs/platform-managed/run_6fbac6f1f5c740a38f6336c65e9fb5aa/attempt_e1ae2d0788964ba388c1bbf9ff388966/raw/device-output/executor.log:32477", "observed_methods_until_next": "0", "category_counts": "{}", "inventory_ref": "[WORKSPACE]/experiments/guitaboo_fixab_omni_rep2_20261105T2218/formal-runs/platform-managed/run_6fbac6f1f5c740a38f6336c65e9fb5aa/attempt_e1ae2d0788964ba388c1bbf9ff388966/raw/device-output/native/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/jev-audit/inputs/generated-2406.json" } ], "following_transition": { "event": "NATIVE_TRANSITION", "step": 441, "monotonic_ns": 1777995361069004, "wall_time_ms": 1793888947770, "abstraction_version": 12, "state_id": "g12s86", "model_action_id": "g12a808", "transition_id": "g12e288:428", "new_state": false, "new_model_action": false, "refinement": false, "self_loop": true, "activity_unchanged": true, "gui_unchanged": false, "target_state": "g12s86", "input_confirmed": true }, "first_methods_since_inputs": [], "first_method_count": 0, "category_counts": {}, "libraries": {}, "source_screenshot": { "local": "cases/run_6fbac6f1f5c740a38f6336c65e9fb5aa/run_6fbac6f1f5c740a38f6336c65e9fb5aa-step-440-before.png", "source": "[WORKSPACE]/experiments/guitaboo_fixab_omni_rep2_20261105T2218/formal-runs/platform-managed/run_6fbac6f1f5c740a38f6336c65e9fb5aa/attempt_e1ae2d0788964ba388c1bbf9ff388966/raw/device-output/native/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/ape-state-screenshots/g12s86-440.png", "capture_step": 440, "requested_step": 440, "alignment": "exact step" }, "target_screenshot": { "local": "cases/run_6fbac6f1f5c740a38f6336c65e9fb5aa/run_6fbac6f1f5c740a38f6336c65e9fb5aa-step-440-after.png", "source": "[WORKSPACE]/experiments/guitaboo_fixab_omni_rep2_20261105T2218/formal-runs/platform-managed/run_6fbac6f1f5c740a38f6336c65e9fb5aa/attempt_e1ae2d0788964ba388c1bbf9ff388966/raw/device-output/native/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/ape-state-screenshots/g12s86-440.png", "capture_step": 440, "requested_step": 441, "alignment": "same final-State representative; NOT an exact action-time screenshot" }, "executor_source": "[WORKSPACE]/experiments/guitaboo_fixab_omni_rep2_20261105T2218/formal-runs/platform-managed/run_6fbac6f1f5c740a38f6336c65e9fb5aa/attempt_e1ae2d0788964ba388c1bbf9ff388966/raw/device-output/executor.log:32477", "executor_lines": [ "[APE] >>>>>>>> SATA begin step [440][Elapsed: 0000 00:11:59]", "[APE] *** INFO *** Explored 7 app activities.", "[APE] *** INFO *** Used: 13 MB, Max: 192 MB, Available: 179 MB", "[APE] *** INFO *** Create state g11s85[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-739095996@Naming[44]@[W=3][A=6] for GUI tree GUITree[533@0]@g11s85[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-739095996@Naming[44]@[W=3][A=6]", "[APE] *** INFO *** Checking new state: g11s85[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-739095996@Naming[44]@[W=3][A=6], iteration: #4", "[APE] *** INFO *** getRootInActiveWindowSlow takes 1 ms.", "[APE] *** INFO *** Create state g11s85[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-739095996@Naming[44]@[W=3][A=6] for GUI tree GUITree[534@0]@g11s85[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-739095996@Naming[44]@[W=3][A=6]", "[APE] *** INFO *** Checking trivial new state: top naming equivalent.", "[APE] *** INFO *** Checking new state: g11s85[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-739095996@Naming[44]@[W=3][A=6], iteration: #1", "[APE] *** INFO *** getRootInActiveWindowSlow takes 1 ms.", "[APE] *** INFO *** Create state g11s85[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-739095996@Naming[44]@[W=3][A=6] for GUI tree GUITree[535@0]@g11s85[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-739095996@Naming[44]@[W=3][A=6]", "[APE] *** INFO *** Checking trivial new state: top naming equivalent.", "[APE] *** INFO *** Checking new state: g11s85[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-739095996@Naming[44]@[W=3][A=6], iteration: #0", "[APE] *** INFO *** getRootInActiveWindowSlow takes 1 ms.", "[APE] *** INFO *** Create state g11s85[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-739095996@Naming[44]@[W=3][A=6] for GUI tree GUITree[536@0]@g11s85[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-739095996@Naming[44]@[W=3][A=6]", "[APE] *** INFO *** Checking trivial new state: top naming equivalent.", "[APE] *** INFO *** State g11s85[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-739095996@Naming[44]@[W=3][A=6] is excluded from future refresh checks.", "[APE] *** INFO *** Check under-abstracted states g11s85[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-739095996@Naming[44]@[W=3][A=6]: #0", "[APE] *** INFO *** Check under-abstracted states collected 10 targets for naming Naming[44]. The state is g11s85[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-739095996@Naming[44]@[W=3][A=6]. #0", "[APE] *** INFO *** batchAbstract: refined targets: 10, affected states: 10, threshold: 8, affected threshold.", "[APE] *** INFO *** Revert a naming from Naming[44] to Naming[0], affect 10 states and 30 trees", "[APE] *** INFO *** - it.feio.android.omninotes.intro.IntroActivity@-1623050431@Naming[44]@[W=3]", "[APE] *** INFO *** - it.feio.android.omninotes.intro.IntroActivity@781654979@Naming[44]@[W=3]", "[APE] *** INFO *** - it.feio.android.omninotes.intro.IntroActivity@-662279309@Naming[44]@[W=3]", "[APE] *** INFO *** - it.feio.android.omninotes.intro.IntroActivity@305111738@Naming[44]@[W=3]", "[APE] *** INFO *** - it.feio.android.omninotes.intro.IntroActivity@-1046294252@Naming[44]@[W=3]", "[APE] *** INFO *** - it.feio.android.omninotes.intro.IntroActivity@-739095996@Naming[44]@[W=3]", "[APE] *** INFO *** - it.feio.android.omninotes.intro.IntroActivity@68898284@Naming[44]@[W=3]", "[APE] *** INFO *** - it.feio.android.omninotes.intro.IntroActivity@-475379117@Naming[44]@[W=3]", "[APE] *** INFO *** - it.feio.android.omninotes.intro.IntroActivity@-424968943@Naming[44]@[W=3]", "[APE] *** INFO *** - it.feio.android.omninotes.intro.IntroActivity@-116993396@Naming[44]@[W=3]", "[APE] *** INFO *** Skip naming Naming[44] GUI Tree #86", "[APE] *** INFO *** Skip naming Naming[44] GUI Tree #99", "[APE] *** INFO *** Skip naming Naming[44] GUI Tree #96", "[APE] *** INFO *** Skip naming Naming[44] GUI Tree #73", "[APE] *** INFO *** Skip naming Naming[44] GUI Tree #440", "[APE] *** INFO *** Skip naming Naming[44] GUI Tree #80", "[APE] *** INFO *** Skip naming Naming[44] GUI Tree #92", "[APE] *** INFO *** Skip naming Naming[44] GUI Tree #75", "[APE] *** INFO *** Skip naming Naming[44] GUI Tree #78", "[APE] *** INFO *** Skip naming Naming[44] GUI Tree #81", "[APE] *** INFO *** Skip naming Naming[44] GUI Tree #87", "[APE] *** INFO *** Skip naming Naming[44] GUI Tree #94", "[APE] *** INFO *** Skip naming Naming[44] GUI Tree #95", "[APE] *** INFO *** Skip naming Naming[44] GUI Tree #77", "[APE] *** INFO *** Skip naming Naming[44] GUI Tree #98", "[APE] *** INFO *** Skip naming Naming[44] GUI Tree #97", "[APE] *** INFO *** Skip naming Naming[44] GUI Tree #93", "[APE] *** INFO *** Skip naming Naming[44] GUI Tree #91", "[APE] *** INFO *** Skip naming Naming[44] GUI Tree #82", "[APE] *** INFO *** Skip naming Naming[44] GUI Tree #100", "[APE] *** INFO *** Skip naming Naming[44] GUI Tree #84", "[APE] *** INFO *** Skip naming Naming[44] GUI Tree #88", "[APE] *** INFO *** Skip naming Naming[44] GUI Tree #83", "[APE] *** INFO *** Skip naming Naming[44] GUI Tree #90", "[APE] *** INFO *** Skip naming Naming[44] GUI Tree #74", "[APE] *** INFO *** Skip naming Naming[44] GUI Tree #72", "[APE] *** INFO *** Skip naming Naming[44] GUI Tree #79", "[APE] *** INFO *** Skip naming Naming[44] GUI Tree #76", "[APE] *** INFO *** Skip naming Naming[44] GUI Tree #89", "[APE] *** INFO *** Skip naming Naming[44] GUI Tree #85", "[APE] *** INFO *** Rebuild document for tree #86", "[APE] *** INFO *** Update naming for GUITree[140@86]@g7s34[84,93][5]it.feio.android.omninotes.intro.IntroActivity@-475379117@Naming[44]@[W=3][A=6]: existing in dict: Naming[44], current in tree: Naming[44], check in graph: Naming[44], new: Naming[0]", "[APE] *** INFO *** getNaming for tree GUITree[140@86]@g7s34[84,93][5]it.feio.android.omninotes.intro.IntroActivity@-475379117@Naming[44]@[W=3][A=6]: Source: Naming[0], Target: Naming[44], State: it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3]", "[APE] *** INFO *** getNaming for tree GUITree[140@86]@g7s34[84,93][5]it.feio.android.omninotes.intro.IntroActivity@-475379117@Naming[44]@[W=3][A=6]: Source: Naming[44], Target: null, State: it.feio.android.omninotes.intro.IntroActivity@-475379117@Naming[44]@[W=3]", "[APE] *** INFO *** updateNaming: Remove - Source: Naming[44], Target: Naming[0].", "[APE] *** INFO *** getNaming for tree GUITree[140@86]@g7s34[84,93][5]it.feio.android.omninotes.intro.IntroActivity@-475379117@Naming[44]@[W=3][A=6]: Source: Naming[0], Target: Naming[44], State: it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3]", "[APE] *** INFO *** getNaming for tree GUITree[140@86]@g7s34[84,93][5]it.feio.android.omninotes.intro.IntroActivity@-475379117@Naming[44]@[W=3][A=6]: Source: Naming[44], Target: null, State: it.feio.android.omninotes.intro.IntroActivity@-475379117@Naming[44]@[W=3]", "[APE] *** INFO *** updateNaming: Parent: Naming[0], State: it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3], Child: Naming[44]", "[APE] *** INFO *** Rebuild document for tree #99", "[APE] *** INFO *** Update naming for GUITree[153@99]@g7s36[90,99][5]it.feio.android.omninotes.intro.IntroActivity@-1623050431@Naming[44]@[W=3][A=6]: existing in dict: Naming[44], current in tree: Naming[44], check in graph: Naming[0], new: Naming[0]", "[APE] *** INFO *** getNaming for tree GUITree[153@99]@g7s36[90,99][5]it.feio.android.omninotes.intro.IntroActivity@-1623050431@Naming[44]@[W=3][A=6]: Source: Naming[0], Target: null, State: it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3]", "[APE] *** INFO *** Rebuild document for tree #96", "[APE] *** INFO *** Update naming for GUITree[150@96]@g7s38[96,100][4]it.feio.android.omninotes.intro.IntroActivity@-424968943@Naming[44]@[W=3][A=6]: existing in dict: Naming[44], current in tree: Naming[44], check in graph: Naming[0], new: Naming[0]", "[APE] *** INFO *** getNaming for tree GUITree[150@96]@g7s38[96,100][4]it.feio.android.omninotes.intro.IntroActivity@-424968943@Naming[44]@[W=3][A=6]: Source: Naming[0], Target: null, State: it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3]", "[APE] *** INFO *** Rebuild document for tree #73", "[APE] *** INFO *** Update naming for GUITree[127@73]@g7s31[73,87][8]it.feio.android.omninotes.intro.IntroActivity@-662279309@Naming[44]@[W=3][A=6]: existing in dict: Naming[44], current in tree: Naming[44], check in graph: Naming[0], new: Naming[0]", "[APE] *** INFO *** getNaming for tree GUITree[127@73]@g7s31[73,87][8]it.feio.android.omninotes.intro.IntroActivity@-662279309@Naming[44]@[W=3][A=6]: Source: Naming[0], Target: null, State: it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3]", "[APE] *** INFO *** Update naming for GUITree[536@440]@g11s85[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-739095996@Naming[44]@[W=3][A=6]: existing in dict: Naming[44], current in tree: Naming[44], check in graph: Naming[0], new: Naming[0]", "[APE] *** INFO *** getNaming for tree GUITree[536@440]@g11s85[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-739095996@Naming[44]@[W=3][A=6]: Source: Naming[0], Target: null, State: it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3]", "[APE] *** INFO *** Rebuild document for tree #80", "[APE] *** INFO *** Update naming for GUITree[134@80]@g7s31[73,87][8]it.feio.android.omninotes.intro.IntroActivity@-662279309@Naming[44]@[W=3][A=6]: existing in dict: Naming[44], current in tree: Naming[44], check in graph: Naming[0], new: Naming[0]", "[APE] *** INFO *** getNaming for tree GUITree[134@80]@g7s31[73,87][8]it.feio.android.omninotes.intro.IntroActivity@-662279309@Naming[44]@[W=3][A=6]: Source: Naming[0], Target: null, State: it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3]", "[APE] *** INFO *** Rebuild document for tree #92", "[APE] *** INFO *** Update naming for GUITree[146@92]@g7s36[90,99][5]it.feio.android.omninotes.intro.IntroActivity@-1623050431@Naming[44]@[W=3][A=6]: existing in dict: Naming[44], current in tree: Naming[44], check in graph: Naming[0], new: Naming[0]", "[APE] *** INFO *** getNaming for tree GUITree[146@92]@g7s36[90,99][5]it.feio.android.omninotes.intro.IntroActivity@-1623050431@Naming[44]@[W=3][A=6]: Source: Naming[0], Target: null, State: it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3]", "[APE] *** INFO *** Rebuild document for tree #75", "[APE] *** INFO *** Update naming for GUITree[129@75]@g7s31[73,87][8]it.feio.android.omninotes.intro.IntroActivity@-662279309@Naming[44]@[W=3][A=6]: existing in dict: Naming[44], current in tree: Naming[44], check in graph: Naming[0], new: Naming[0]", "[APE] *** INFO *** getNaming for tree GUITree[129@75]@g7s31[73,87][8]it.feio.android.omninotes.intro.IntroActivity@-662279309@Naming[44]@[W=3][A=6]: Source: Naming[0], Target: null, State: it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3]", "[APE] *** INFO *** Rebuild document for tree #78", "[APE] *** INFO *** Update naming for GUITree[132@78]@g7s31[73,87][8]it.feio.android.omninotes.intro.IntroActivity@-662279309@Naming[44]@[W=3][A=6]: existing in dict: Naming[44], current in tree: Naming[44], check in graph: Naming[0], new: Naming[0]", "[APE] *** INFO *** getNaming for tree GUITree[132@78]@g7s31[73,87][8]it.feio.android.omninotes.intro.IntroActivity@-662279309@Naming[44]@[W=3][A=6]: Source: Naming[0], Target: null, State: it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3]", "[APE] *** INFO *** Rebuild document for tree #81", "[APE] *** INFO *** Update naming for GUITree[135@81]@g7s30[72,81][3]it.feio.android.omninotes.intro.IntroActivity@-116993396@Naming[44]@[W=3][A=6]: existing in dict: Naming[44], current in tree: Naming[44], check in graph: Naming[0], new: Naming[0]", "[APE] *** INFO *** getNaming for tree GUITree[135@81]@g7s30[72,81][3]it.feio.android.omninotes.intro.IntroActivity@-116993396@Naming[44]@[W=3][A=6]: Source: Naming[0], Target: null, State: it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3]", "[APE] *** INFO *** Rebuild document for tree #87", "[APE] *** INFO *** Update naming for GUITree[141@87]@g7s31[73,87][8]it.feio.android.omninotes.intro.IntroActivity@-662279309@Naming[44]@[W=3][A=6]: existing in dict: Naming[44], current in tree: Naming[44], check in graph: Naming[0], new: Naming[0]", "[APE] *** INFO *** getNaming for tree GUITree[141@87]@g7s31[73,87][8]it.feio.android.omninotes.intro.IntroActivity@-662279309@Naming[44]@[W=3][A=6]: Source: Naming[0], Target: null, State: it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3]", "[APE] *** INFO *** Rebuild document for tree #94", "[APE] *** INFO *** Update naming for GUITree[148@94]@g7s36[90,99][5]it.feio.android.omninotes.intro.IntroActivity@-1623050431@Naming[44]@[W=3][A=6]: existing in dict: Naming[44], current in tree: Naming[44], check in graph: Naming[0], new: Naming[0]", "[APE] *** INFO *** getNaming for tree GUITree[148@94]@g7s36[90,99][5]it.feio.android.omninotes.intro.IntroActivity@-1623050431@Naming[44]@[W=3][A=6]: Source: Naming[0], Target: null, State: it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3]", "[APE] *** INFO *** Rebuild document for tree #95", "[APE] *** INFO *** Update naming for GUITree[149@95]@g7s37[95,95][1]it.feio.android.omninotes.intro.IntroActivity@781654979@Naming[44]@[W=3][A=6]: existing in dict: Naming[44], current in tree: Naming[44], check in graph: Naming[0], new: Naming[0]", "[APE] *** INFO *** getNaming for tree GUITree[149@95]@g7s37[95,95][1]it.feio.android.omninotes.intro.IntroActivity@781654979@Naming[44]@[W=3][A=6]: Source: Naming[0], Target: null, State: it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3]", "[APE] *** INFO *** Rebuild document for tree #77", "[APE] *** INFO *** Update naming for GUITree[131@77]@g7s32[77,77][1]it.feio.android.omninotes.intro.IntroActivity@68898284@Naming[44]@[W=3][A=6]: existing in dict: Naming[44], current in tree: Naming[44], check in graph: Naming[0], new: Naming[0]", "[APE] *** INFO *** getNaming for tree GUITree[131@77]@g7s32[77,77][1]it.feio.android.omninotes.intro.IntroActivity@68898284@Naming[44]@[W=3][A=6]: Source: Naming[0], Target: null, State: it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3]", "[APE] *** INFO *** Rebuild document for tree #98", "[APE] *** INFO *** Update naming for GUITree[152@98]@g7s38[96,100][4]it.feio.android.omninotes.intro.IntroActivity@-424968943@Naming[44]@[W=3][A=6]: existing in dict: Naming[44], current in tree: Naming[44], check in graph: Naming[0], new: Naming[0]", "[APE] *** INFO *** getNaming for tree GUITree[152@98]@g7s38[96,100][4]it.feio.android.omninotes.intro.IntroActivity@-424968943@Naming[44]@[W=3][A=6]: Source: Naming[0], Target: null, State: it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3]", "[APE] *** INFO *** Rebuild document for tree #97", "[APE] *** INFO *** Update naming for GUITree[151@97]@g7s38[96,100][4]it.feio.android.omninotes.intro.IntroActivity@-424968943@Naming[44]@[W=3][A=6]: existing in dict: Naming[44], current in tree: Naming[44], check in graph: Naming[0], new: Naming[0]", "[APE] *** INFO *** getNaming for tree GUITree[151@97]@g7s38[96,100][4]it.feio.android.omninotes.intro.IntroActivity@-424968943@Naming[44]@[W=3][A=6]: Source: Naming[0], Target: null, State: it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3]", "[APE] *** INFO *** Rebuild document for tree #93", "[APE] *** INFO *** Update naming for GUITree[147@93]@g7s34[84,93][5]it.feio.android.omninotes.intro.IntroActivity@-475379117@Naming[44]@[W=3][A=6]: existing in dict: Naming[44], current in tree: Naming[44], check in graph: Naming[0], new: Naming[0]", "[APE] *** INFO *** getNaming for tree GUITree[147@93]@g7s34[84,93][5]it.feio.android.omninotes.intro.IntroActivity@-475379117@Naming[44]@[W=3][A=6]: Source: Naming[0], Target: null, State: it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3]", "[APE] *** INFO *** Rebuild document for tree #91", "[APE] *** INFO *** Update naming for GUITree[145@91]@g7s36[90,99][5]it.feio.android.omninotes.intro.IntroActivity@-1623050431@Naming[44]@[W=3][A=6]: existing in dict: Naming[44], current in tree: Naming[44], check in graph: Naming[0], new: Naming[0]", "[APE] *** INFO *** getNaming for tree GUITree[145@91]@g7s36[90,99][5]it.feio.android.omninotes.intro.IntroActivity@-1623050431@Naming[44]@[W=3][A=6]: Source: Naming[0], Target: null, State: it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3]", "[APE] *** INFO *** Rebuild document for tree #82", "[APE] *** INFO *** Update naming for GUITree[136@82]@g7s31[73,87][8]it.feio.android.omninotes.intro.IntroActivity@-662279309@Naming[44]@[W=3][A=6]: existing in dict: Naming[44], current in tree: Naming[44], check in graph: Naming[0], new: Naming[0]", "[APE] *** INFO *** getNaming for tree GUITree[136@82]@g7s31[73,87][8]it.feio.android.omninotes.intro.IntroActivity@-662279309@Naming[44]@[W=3][A=6]: Source: Naming[0], Target: null, State: it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3]", "[APE] *** INFO *** Rebuild document for tree #100", "[APE] *** INFO *** Update naming for GUITree[154@100]@g7s38[96,100][4]it.feio.android.omninotes.intro.IntroActivity@-424968943@Naming[44]@[W=3][A=6]: existing in dict: Naming[44], current in tree: Naming[44], check in graph: Naming[0], new: Naming[0]", "[APE] *** INFO *** getNaming for tree GUITree[154@100]@g7s38[96,100][4]it.feio.android.omninotes.intro.IntroActivity@-424968943@Naming[44]@[W=3][A=6]: Source: Naming[0], Target: null, State: it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3]", "[APE] *** INFO *** Rebuild document for tree #84", "[APE] *** INFO *** Update naming for GUITree[138@84]@g7s34[84,93][5]it.feio.android.omninotes.intro.IntroActivity@-475379117@Naming[44]@[W=3][A=6]: existing in dict: Naming[44], current in tree: Naming[44], check in graph: Naming[0], new: Naming[0]", "[APE] *** INFO *** getNaming for tree GUITree[138@84]@g7s34[84,93][5]it.feio.android.omninotes.intro.IntroActivity@-475379117@Naming[44]@[W=3][A=6]: Source: Naming[0], Target: null, State: it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3]", "[APE] *** INFO *** Rebuild document for tree #88", "[APE] *** INFO *** Update naming for GUITree[142@88]@g7s34[84,93][5]it.feio.android.omninotes.intro.IntroActivity@-475379117@Naming[44]@[W=3][A=6]: existing in dict: Naming[44], current in tree: Naming[44], check in graph: Naming[0], new: Naming[0]", "[APE] *** INFO *** getNaming for tree GUITree[142@88]@g7s34[84,93][5]it.feio.android.omninotes.intro.IntroActivity@-475379117@Naming[44]@[W=3][A=6]: Source: Naming[0], Target: null, State: it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3]", "[APE] *** INFO *** Rebuild document for tree #83", "[APE] *** INFO *** Update naming for GUITree[137@83]@g7s33[83,83][1]it.feio.android.omninotes.intro.IntroActivity@305111738@Naming[44]@[W=3][A=6]: existing in dict: Naming[44], current in tree: Naming[44], check in graph: Naming[0], new: Naming[0]", "[APE] *** INFO *** getNaming for tree GUITree[137@83]@g7s33[83,83][1]it.feio.android.omninotes.intro.IntroActivity@305111738@Naming[44]@[W=3][A=6]: Source: Naming[0], Target: null, State: it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3]", "[APE] *** INFO *** Rebuild document for tree #90", "[APE] *** INFO *** Update naming for GUITree[144@90]@g7s36[90,99][5]it.feio.android.omninotes.intro.IntroActivity@-1623050431@Naming[44]@[W=3][A=6]: existing in dict: Naming[44], current in tree: Naming[44], check in graph: Naming[0], new: Naming[0]", "[APE] *** INFO *** getNaming for tree GUITree[144@90]@g7s36[90,99][5]it.feio.android.omninotes.intro.IntroActivity@-1623050431@Naming[44]@[W=3][A=6]: Source: Naming[0], Target: null, State: it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3]", "[APE] *** INFO *** Rebuild document for tree #74", "[APE] *** INFO *** Update naming for GUITree[128@74]@g7s31[73,87][8]it.feio.android.omninotes.intro.IntroActivity@-662279309@Naming[44]@[W=3][A=6]: existing in dict: Naming[44], current in tree: Naming[44], check in graph: Naming[0], new: Naming[0]", "[APE] *** INFO *** getNaming for tree GUITree[128@74]@g7s31[73,87][8]it.feio.android.omninotes.intro.IntroActivity@-662279309@Naming[44]@[W=3][A=6]: Source: Naming[0], Target: null, State: it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3]", "[APE] *** INFO *** Rebuild document for tree #72", "[APE] *** INFO *** Update naming for GUITree[126@72]@g7s30[72,81][3]it.feio.android.omninotes.intro.IntroActivity@-116993396@Naming[44]@[W=3][A=6]: existing in dict: Naming[44], current in tree: Naming[44], check in graph: Naming[0], new: Naming[0]", "[APE] *** INFO *** getNaming for tree GUITree[126@72]@g7s30[72,81][3]it.feio.android.omninotes.intro.IntroActivity@-116993396@Naming[44]@[W=3][A=6]: Source: Naming[0], Target: null, State: it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3]", "[APE] *** INFO *** Rebuild document for tree #79", "[APE] *** INFO *** Update naming for GUITree[133@79]@g7s31[73,87][8]it.feio.android.omninotes.intro.IntroActivity@-662279309@Naming[44]@[W=3][A=6]: existing in dict: Naming[44], current in tree: Naming[44], check in graph: Naming[0], new: Naming[0]", "[APE] *** INFO *** getNaming for tree GUITree[133@79]@g7s31[73,87][8]it.feio.android.omninotes.intro.IntroActivity@-662279309@Naming[44]@[W=3][A=6]: Source: Naming[0], Target: null, State: it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3]", "[APE] *** INFO *** Rebuild document for tree #76", "[APE] *** INFO *** Update naming for GUITree[130@76]@g7s30[72,81][3]it.feio.android.omninotes.intro.IntroActivity@-116993396@Naming[44]@[W=3][A=6]: existing in dict: Naming[44], current in tree: Naming[44], check in graph: Naming[0], new: Naming[0]", "[APE] *** INFO *** getNaming for tree GUITree[130@76]@g7s30[72,81][3]it.feio.android.omninotes.intro.IntroActivity@-116993396@Naming[44]@[W=3][A=6]: Source: Naming[0], Target: null, State: it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3]", "[APE] *** INFO *** Rebuild document for tree #89", "[APE] *** INFO *** Update naming for GUITree[143@89]@g7s35[89,89][1]it.feio.android.omninotes.intro.IntroActivity@-1046294252@Naming[44]@[W=3][A=6]: existing in dict: Naming[44], current in tree: Naming[44], check in graph: Naming[0], new: Naming[0]", "[APE] *** INFO *** getNaming for tree GUITree[143@89]@g7s35[89,89][1]it.feio.android.omninotes.intro.IntroActivity@-1046294252@Naming[44]@[W=3][A=6]: Source: Naming[0], Target: null, State: it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3]", "[APE] *** INFO *** Rebuild document for tree #85", "[APE] *** INFO *** Update naming for GUITree[139@85]@g7s34[84,93][5]it.feio.android.omninotes.intro.IntroActivity@-475379117@Naming[44]@[W=3][A=6]: existing in dict: Naming[44], current in tree: Naming[44], check in graph: Naming[0], new: Naming[0]", "[APE] *** INFO *** getNaming for tree GUITree[139@85]@g7s34[84,93][5]it.feio.android.omninotes.intro.IntroActivity@-475379117@Naming[44]@[W=3][A=6]: Source: Naming[0], Target: null, State: it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3]", "[APE] *** INFO *** Start rebuilding model... ", "[APE] *** INFO *** > Removing state g7s32[77,77][1]it.feio.android.omninotes.intro.IntroActivity@68898284@Naming[44]@[W=3][A=6]", "[APE] *** INFO *** > Removing state g7s35[89,89][1]it.feio.android.omninotes.intro.IntroActivity@-1046294252@Naming[44]@[W=3][A=6]", "[APE] *** INFO *** > Removing state g11s85[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-739095996@Naming[44]@[W=3][A=6]", "[APE] *** INFO *** > Removing state g7s36[90,99][5]it.feio.android.omninotes.intro.IntroActivity@-1623050431@Naming[44]@[W=3][A=6]", "[APE] *** INFO *** > Removing state g7s31[73,87][8]it.feio.android.omninotes.intro.IntroActivity@-662279309@Naming[44]@[W=3][A=6]", "[APE] *** INFO *** > Removing state g7s37[95,95][1]it.feio.android.omninotes.intro.IntroActivity@781654979@Naming[44]@[W=3][A=6]", "[APE] *** INFO *** > Removing state g7s33[83,83][1]it.feio.android.omninotes.intro.IntroActivity@305111738@Naming[44]@[W=3][A=6]", "[APE] *** INFO *** > Removing state g7s34[84,93][5]it.feio.android.omninotes.intro.IntroActivity@-475379117@Naming[44]@[W=3][A=6]", "[APE] *** INFO *** > Removing state g7s38[96,100][4]it.feio.android.omninotes.intro.IntroActivity@-424968943@Naming[44]@[W=3][A=6]", "[APE] *** INFO *** > Removing state g7s30[72,81][3]it.feio.android.omninotes.intro.IntroActivity@-116993396@Naming[44]@[W=3][A=6]", "[APE] *** INFO *** > Removing (10) old states and (26) transitions finished in 0 ms.", "[APE] *** INFO *** >> state: g7s32[77,77][1]it.feio.android.omninotes.intro.IntroActivity@68898284@Naming[44]@[W=3][A=6]", "[APE] *** INFO *** >> state: g7s35[89,89][1]it.feio.android.omninotes.intro.IntroActivity@-1046294252@Naming[44]@[W=3][A=6]", "[APE] *** INFO *** >> state: g11s85[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-739095996@Naming[44]@[W=3][A=6]", "[APE] *** INFO *** >> state: g7s36[90,99][5]it.feio.android.omninotes.intro.IntroActivity@-1623050431@Naming[44]@[W=3][A=6]", "[APE] *** INFO *** >> state: g7s31[73,87][8]it.feio.android.omninotes.intro.IntroActivity@-662279309@Naming[44]@[W=3][A=6]", "[APE] *** INFO *** >> state: g7s37[95,95][1]it.feio.android.omninotes.intro.IntroActivity@781654979@Naming[44]@[W=3][A=6]", "[APE] *** INFO *** >> state: g7s33[83,83][1]it.feio.android.omninotes.intro.IntroActivity@305111738@Naming[44]@[W=3][A=6]", "[APE] *** INFO *** >> state: g7s34[84,93][5]it.feio.android.omninotes.intro.IntroActivity@-475379117@Naming[44]@[W=3][A=6]", "[APE] *** INFO *** >> state: g7s38[96,100][4]it.feio.android.omninotes.intro.IntroActivity@-424968943@Naming[44]@[W=3][A=6]", "[APE] *** INFO *** >> state: g7s30[72,81][3]it.feio.android.omninotes.intro.IntroActivity@-116993396@Naming[44]@[W=3][A=6]", "[APE] *** INFO *** >> transition: (g7s38,g7a275,g6s29)", "[APE] *** INFO *** >> transition: (g7s36,g7a260,g7s36)", "[APE] *** INFO *** >> transition: (g7s36,g7a262,g7s38)", "[APE] *** INFO *** >> transition: (g7s36,g7a259,g7s36)", "[APE] *** INFO *** >> transition: (g7s30,g7a227,g7s32)", "[APE] *** INFO *** >> transition: (g7s32,g7a240,g7s31)", "[APE] *** INFO *** >> transition: (g7s31,g7a233,g7s33)", "[APE] *** INFO *** >> transition: (g7s34,g7a251,g7s35)", "[APE] *** INFO *** >> transition: (g7s38,g7a273,g7s36)", "[APE] *** INFO *** >> transition: (g7s35,g7a258,g7s36)", "[APE] *** INFO *** >> transition: (g7s38,g7a271,g7s38)", "[APE] *** INFO *** >> transition: (g7s31,g7a229,g7s31)", "[APE] *** INFO *** >> transition: (g7s38,g7a272,g7s38)", "[APE] *** INFO *** >> transition: (g7s31,g7a230,g7s31)", "[APE] *** INFO *** >> transition: (g6s27,g6a208,g7s30)", "[APE] *** INFO *** >> transition: (g7s31,g7a231,g7s30)", "[APE] *** INFO *** >> transition: (g7s31,g7a232,g7s34)", "[APE] *** INFO *** >> transition: (g7s34,g7a247,g7s34)", "[APE] *** INFO *** >> transition: (g7s34,g7a250,g7s36)", "[APE] *** INFO *** >> transition: (g7s34,g7a248,g7s34)", "[APE] *** INFO *** >> transition: (g7s34,g7a249,g7s31)", "[APE] *** INFO *** >> transition: (g7s33,g7a246,g7s34)", "[APE] *** INFO *** >> transition: (g7s37,g7a270,g7s38)", "[APE] *** INFO *** >> transition: (g7s30,g7a226,g7s31)", "[APE] *** INFO *** >> transition: (g7s36,g7a261,g7s34)", "[APE] *** INFO *** >> transition: (g7s36,g7a263,g7s37)", "[APE] *** INFO *** > rebuilding tree #72", "[APE] *** INFO *** Create state g12s86[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3][A=6] for GUI tree GUITree[126@72]@g12s86[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3][A=6]", "[APE] *** INFO *** > rebuilding tree #73", "[APE] *** INFO *** Create state g12s86[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3][A=6] for GUI tree GUITree[127@73]@g12s86[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3][A=6]", "[APE] *** INFO *** > rebuilding tree #74", "[APE] *** INFO *** Create state g12s86[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3][A=6] for GUI tree GUITree[128@74]@g12s86[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3][A=6]", "[APE] *** INFO *** > rebuilding tree #75", "[APE] *** INFO *** Create state g12s86[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3][A=6] for GUI tree GUITree[129@75]@g12s86[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3][A=6]", "[APE] *** INFO *** > rebuilding tree #76", "[APE] *** INFO *** Create state g12s86[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3][A=6] for GUI tree GUITree[130@76]@g12s86[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3][A=6]", "[APE] *** INFO *** > rebuilding tree #77", "[APE] *** INFO *** Create state g12s86[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3][A=6] for GUI tree GUITree[131@77]@g12s86[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3][A=6]", "[APE] *** INFO *** > rebuilding tree #78", "[APE] *** INFO *** Create state g12s86[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3][A=6] for GUI tree GUITree[132@78]@g12s86[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3][A=6]", "[APE] *** INFO *** > rebuilding tree #79", "[APE] *** INFO *** Create state g12s86[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3][A=6] for GUI tree GUITree[133@79]@g12s86[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3][A=6]", "[APE] *** INFO *** > rebuilding tree #80", "[APE] *** INFO *** Create state g12s86[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3][A=6] for GUI tree GUITree[134@80]@g12s86[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3][A=6]", "[APE] *** INFO *** > rebuilding tree #81", "[APE] *** INFO *** Create state g12s86[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3][A=6] for GUI tree GUITree[135@81]@g12s86[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3][A=6]", "[APE] *** INFO *** > rebuilding tree #82", "[APE] *** INFO *** Create state g12s86[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3][A=6] for GUI tree GUITree[136@82]@g12s86[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3][A=6]", "[APE] *** INFO *** > rebuilding tree #83", "[APE] *** INFO *** Create state g12s86[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3][A=6] for GUI tree GUITree[137@83]@g12s86[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3][A=6]", "[APE] *** INFO *** > rebuilding tree #84", "[APE] *** INFO *** Create state g12s86[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3][A=6] for GUI tree GUITree[138@84]@g12s86[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3][A=6]", "[APE] *** INFO *** > rebuilding tree #85", "[APE] *** INFO *** Create state g12s86[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3][A=6] for GUI tree GUITree[139@85]@g12s86[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3][A=6]", "[APE] *** INFO *** > rebuilding tree #86", "[APE] *** INFO *** Create state g12s86[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3][A=6] for GUI tree GUITree[140@86]@g12s86[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3][A=6]", "[APE] *** INFO *** > rebuilding tree #87", "[APE] *** INFO *** Create state g12s86[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3][A=6] for GUI tree GUITree[141@87]@g12s86[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3][A=6]", "[APE] *** INFO *** > rebuilding tree #88", "[APE] *** INFO *** Create state g12s86[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3][A=6] for GUI tree GUITree[142@88]@g12s86[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3][A=6]", "[APE] *** INFO *** > rebuilding tree #89", "[APE] *** INFO *** Create state g12s86[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3][A=6] for GUI tree GUITree[143@89]@g12s86[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3][A=6]", "[APE] *** INFO *** > rebuilding tree #90", "[APE] *** INFO *** Create state g12s86[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3][A=6] for GUI tree GUITree[144@90]@g12s86[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3][A=6]", "[APE] *** INFO *** > rebuilding tree #91", "[APE] *** INFO *** Create state g12s86[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3][A=6] for GUI tree GUITree[145@91]@g12s86[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3][A=6]", "[APE] *** INFO *** > rebuilding tree #92", "[APE] *** INFO *** Create state g12s86[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3][A=6] for GUI tree GUITree[146@92]@g12s86[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3][A=6]", "[APE] *** INFO *** > rebuilding tree #93", "[APE] *** INFO *** Create state g12s86[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3][A=6] for GUI tree GUITree[147@93]@g12s86[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3][A=6]", "[APE] *** INFO *** > rebuilding tree #94", "[APE] *** INFO *** Create state g12s86[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3][A=6] for GUI tree GUITree[148@94]@g12s86[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3][A=6]", "[APE] *** INFO *** > rebuilding tree #95", "[APE] *** INFO *** Create state g12s86[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3][A=6] for GUI tree GUITree[149@95]@g12s86[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3][A=6]", "[APE] *** INFO *** > rebuilding tree #96", "[APE] *** INFO *** Create state g12s86[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3][A=6] for GUI tree GUITree[150@96]@g12s86[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3][A=6]", "[APE] *** INFO *** > rebuilding tree #97", "[APE] *** INFO *** Create state g12s86[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3][A=6] for GUI tree GUITree[151@97]@g12s86[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3][A=6]", "[APE] *** INFO *** > rebuilding tree #98", "[APE] *** INFO *** Create state g12s86[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3][A=6] for GUI tree GUITree[152@98]@g12s86[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3][A=6]", "[APE] *** INFO *** > rebuilding tree #99", "[APE] *** INFO *** Create state g12s86[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3][A=6] for GUI tree GUITree[153@99]@g12s86[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3][A=6]", "[APE] *** INFO *** > rebuilding tree #100", "[APE] *** INFO *** Create state g12s86[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3][A=6] for GUI tree GUITree[154@100]@g12s86[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3][A=6]", "[APE] *** INFO *** > rebuilding tree #440", "[APE] *** INFO *** Create state g12s86[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3][A=6] for GUI tree GUITree[536@440]@g12s86[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3][A=6]", "[APE] *** INFO *** > Readding transitions finished in 3 ms.", "[APE] *** INFO *** Rebuilding model finished in 5 ms, removed 10 states and 26 state transitions, and rebuild 30 tree transitions.", "[APE] *** INFO *** State abstraction takes 18 ms.", "[APE] *** INFO *** Check under-abstracted states g12s86[72,100][29]it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3][A=6]: #1", "[APE] *** INFO *** Pre-checking under-abstracted states takes 759 ms", "[APE] *** INFO *** Check over-abstracted states g12s86[72,100][29]it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3][A=6]: #0", "[APE] *** INFO *** Checking over-abstracted states takes 0 ms", "[APE] *** INFO *** Post-checking under-abstracted states takes 0 ms", "[APE] *** INFO *** Entry state: g12s86[72,440][30]it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3][A=6]", "[APE] GSTG(g12): activities (5), states (66), edges (291), unvisited actions (382), visited actions (273)", "[APE] *** INFO *** - 0.37 5 it.feio.android.omninotes.CategoryActivity[14,149][13][S=5]", "[APE] *** INFO *** - 0.50 13 it.feio.android.omninotes.SettingsActivity[44,71][91][S=13]", "[APE] *** INFO *** - 0.40 44 it.feio.android.omninotes.MainActivity[1,439][257][S=44]", "[APE] *** INFO *** - 0.69 2 it.feio.android.omninotes.intro.IntroActivity[72,440][91][S=2]", "[APE] *** INFO *** - 0.37 2 it.feio.android.omninotes.PasswordActivity[207,277][71][S=2]", "[APE] GSTG is NOT updated.", "[APE] GSTG state is changed.", "[APE] Graph Stable Counter: graph (0), state (0), activity (0)", "[APE] Sata Strategy: buffer size (0)", "[APE] 0 TRIVIAL_ACTIVITY", "[APE] 0 SATURATED_STATE", "[APE] 1 USE_BUFFER", "[APE] 358 EARLY_STAGE", "[APE] 78 EPSILON_GREEDY", "[APE] 0 RANDOM", "[APE] 0 NULL", "[APE] 21 BUFFER_LOSS", "[APE] 78 FILL_BUFFER", "[APE] 0 BAD_STATE", "[APE] 2 PROBE", "[APE] 1 g12a804[73,96][5]@MODEL_SCROLL_BOTTOM_UPclass=androidx.viewpager.widget.ViewPager;resource-id=it.feio.android.omninotes:id/view_pager;enabled=true;scrollable=true;[P=14][T=0][][S=1.000000][RN=1][0,0,2400,1017][]", "[APE] 2 g12a805[74,97][5]@MODEL_SCROLL_TOP_DOWNclass=androidx.viewpager.widget.ViewPager;resource-id=it.feio.android.omninotes:id/view_pager;enabled=true;scrollable=true;[P=6][T=0][][S=1.000000][RN=1][0,0,2400,1017][]", "[APE] 3 g12a806[75,98][5]@MODEL_SCROLL_LEFT_RIGHTclass=androidx.viewpager.widget.ViewPager;resource-id=it.feio.android.omninotes:id/view_pager;enabled=true;scrollable=true;[P=14][T=0][][S=1.000000][RN=1][0,0,2400,1017][]", "[APE] 4 g12a807[72,99][5]@MODEL_SCROLL_RIGHT_LEFTclass=androidx.viewpager.widget.ViewPager;resource-id=it.feio.android.omninotes:id/view_pager;enabled=true;scrollable=true;[P=6][T=0][][S=1.000000][RN=1][0,0,2400,1017][]", "[APE] 5 g12a808[76,100][5]@MODEL_CLICKclass=android.widget.ImageButton;resource-id=it.feio.android.omninotes:id/next;enabled=true;clickable=true;[P=32][T=0][][S=1.000000][RN=1][1880,807,2400,975][#dd74c7f7]", "[APE] 6 g12a809[77,95][4]@MODEL_BACKg12s86[72,440][30]it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3][A=6][P=8][T=0][]", "[APE] *** INFO *** Check global actions.", "[APE] *** INFO *** Find a path (1/1) to a greedy state g6s29[101,103][3]it.feio.android.omninotes.intro.IntroActivity@-1959203147@Naming[0]@[W=4][A=7].", "[APE] *** INFO *** Fill buffer..", "[APE] *** INFO *** 0 g12e290[100,100][2]@[H(1),M(0),T(0.000000)] g12s86 =[g12a808]=> g6s29", "[APE] *** INFO *** Select action g12a808[76,100][5]@MODEL_CLICKclass=android.widget.ImageButton;resource-id=it.feio.android.omninotes:id/next;enabled=true;clickable=true;[P=32][T=0][][S=1.000000][RN=1][1880,807,2400,975][#dd74c7f7] by strategy EARLY_STAGE", "[APE] Last state: null", "[APE] Last action: null", "[APE] Curr state: null", "[APE] Curr action: null", "[APE] New state: g12s86[72,440][30]it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3][A=6]", "[APE] New action: g12a808[76,440][6]@MODEL_CLICKclass=android.widget.ImageButton;resource-id=it.feio.android.omninotes:id/next;enabled=true;clickable=true;[P=32][T=0][][S=1.000000][RN=1][1880,807,2400,975][#dd74c7f7]", "[APE] >>>>>>>> SATA end step [440]", "[APE] *** INFO *** EXECUTE action_fp=type=MODEL_CLICK|activity=it.feio.android.omninotes.intro.IntroActivity|class=android.widget.ImageButton|text=#dd74c7f7|resource_id=it.feio.android.omninotes:id/next|bounds=1880,807,2400,975 target_fp=activity=it.feio.android.omninotes.intro.IntroActivity|class=android.widget.ImageButton|text=#dd74c7f7|resource_id=it.feio.android.omninotes:id/next action=g12a808[76,440][6]@MODEL_CLICKclass=android.widget.ImageButton;resource-id=it.feio.android.omninotes:id/next;enabled=true;clickable=true;[P=32][T=0][][S=1.000000][RN=1][1880,807,2400,975][#dd74c7f7]", ":Sending Touch (ACTION_DOWN): 0:(2140.0,891.0)", ":Sending Touch (ACTION_UP): 0:(2140.0,891.0)" ], "limitation": "Methods grouped by nearest preceding inventoried input; a FUZZ batch has no per-low-level-event timestamp. The following Transition may be absent; no business success is inferred." }