{ "app": "omninotes", "condition": "STARTLUX_PAIRWISE", "reference": false, "run_id": "run_0c300af1c9614168998ce1f37b6aadfe", "step": 44, "elapsed_s": "82.556", "selection": { "event": "SELECTION_DECISION", "step": 44, "monotonic_ns": 1879606416777850, "wall_time_ms": 1793990558826, "abstraction_version": 1, "state_id": "g1s16", "model_action_id": "g1a122", "snapshot_reason": "selection", "state_visits": 1, "state_first_seen": 44, "state_last_seen": 44, "state_saturated": false, "state_saturation": 0, "native_state_saturated": false, "native_unsaturated_model_action_count": 3, "model_action_count": 3, "enabled_valid_action_count": 3, "unsaturated_model_action_count": 3, "unvisited_model_action_count": 3, "effective_unvisited_model_action_count": 3, "effective_state_saturated": false, "local_probe_action_count": 0, "navigation_action_count": 3, "enabled_valid_unvisited_action_count": 3, "unvisited_model_action_ids": "g1a121,g1a122,g1a123", "selection_strategy": "EARLY_STAGE", "selection_context": "exploration", "selection_buffer_size_after": 0, "selected_model_action_type": "MODEL_CLICK", "selected_model_action_saturated": false, "selected_model_action_unvisited": true, "selected_effective_unvisited": true, "selected_navigation_target": true, "selected_model_action_visits": 0, "selected_action_fingerprint": "type=MODEL_CLICK|activity=it.feio.android.omninotes.SettingsActivity|class=android.widget.Button|text=CANCEL|resource_id=android:id/button2|bounds=779,1391,978,1517", "selected_resolved_node_count": 1 }, "inputs": [ { "input_id": "input-236", "step": "44", "version": "1", "elapsed_s": "82.556", "wall_time_ms": "1793990558826", "next_input_wall_ms": "1793990560354", "input_completed_wall_ms": "1793990558853", "input_confirmed": "True", "action": "MODEL_CLICK CANCEL", "action_type": "MODEL_CLICK", "text": "CANCEL", "content_desc": "", "resource_id": "android:id/button2", "model_action_id": "g1a122", "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.ScrollView\"][@resource-id=\"it.feio.android.omninotes:id/buttonPanel\"][@text=\"\"][@content-desc=\"\"][@index=2][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.Button\"][@resource-id=\"android:id/button2\"][@text=\"CANCEL\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false']", "state_id": "g1s16", "source_gui_id": "73", "activity": "it.feio.android.omninotes.SettingsActivity", "activity_evidence": "exact source_gui_id transition receipt", "labels": "NA", "probe": "False", "strategy": "EARLY_STAGE", "context": "exploration", "native_branch": "Local Greedy", "executor_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_0c300af1c9614168998ce1f37b6aadfe.zip!device-output/executor.log:3012", "observed_methods_until_next": "23", "category_counts": "{\"third_party\":23}", "inventory_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_0c300af1c9614168998ce1f37b6aadfe.zip!device-output/native/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/jev-audit/inputs/generated-237.json" } ], "following_transition": { "event": "NATIVE_TRANSITION", "step": 45, "monotonic_ns": 1879607895146046, "wall_time_ms": 1793990560304, "abstraction_version": 3, "state_id": "g1s16", "model_action_id": "g1a122", "transition_id": "g3e36:44", "new_state": false, "new_model_action": false, "refinement": false, "self_loop": false, "activity_unchanged": true, "gui_unchanged": false, "target_state": "g3s19", "input_confirmed": true }, "first_methods_since_inputs": [ { "method": "", "wall_time_ms": "1793990558855.0", "log_line": "13817", "category": "third_party", "library": "AndroidX", "elapsed_s": "82.585", "input_id": "input-236", "step": "44", "action": "MODEL_CLICK CANCEL", "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_0c300af1c9614168998ce1f37b6aadfe.zip!device-output/native/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/jev-audit/inputs/generated-237.json", "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_0c300af1c9614168998ce1f37b6aadfe.zip!device-output/method-logcat.log:13817" }, { "method": "", "wall_time_ms": "1793990558855.0", "log_line": "13814", "category": "third_party", "library": "AndroidX", "elapsed_s": "82.585", "input_id": "input-236", "step": "44", "action": "MODEL_CLICK CANCEL", "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_0c300af1c9614168998ce1f37b6aadfe.zip!device-output/native/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/jev-audit/inputs/generated-237.json", "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_0c300af1c9614168998ce1f37b6aadfe.zip!device-output/method-logcat.log:13814" }, { "method": "", "wall_time_ms": "1793990558855.0", "log_line": "13815", "category": "third_party", "library": "AndroidX", "elapsed_s": "82.585", "input_id": "input-236", "step": "44", "action": "MODEL_CLICK CANCEL", "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_0c300af1c9614168998ce1f37b6aadfe.zip!device-output/native/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/jev-audit/inputs/generated-237.json", "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_0c300af1c9614168998ce1f37b6aadfe.zip!device-output/method-logcat.log:13815" }, { "method": "", "wall_time_ms": "1793990558855.0", "log_line": "13816", "category": "third_party", "library": "AndroidX", "elapsed_s": "82.585", "input_id": "input-236", "step": "44", "action": "MODEL_CLICK CANCEL", "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_0c300af1c9614168998ce1f37b6aadfe.zip!device-output/native/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/jev-audit/inputs/generated-237.json", "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_0c300af1c9614168998ce1f37b6aadfe.zip!device-output/method-logcat.log:13816" }, { "method": "", "wall_time_ms": "1793990558856.0", "log_line": "13818", "category": "third_party", "library": "AndroidX", "elapsed_s": "82.586", "input_id": "input-236", "step": "44", "action": "MODEL_CLICK CANCEL", "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_0c300af1c9614168998ce1f37b6aadfe.zip!device-output/native/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/jev-audit/inputs/generated-237.json", "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_0c300af1c9614168998ce1f37b6aadfe.zip!device-output/method-logcat.log:13818" }, { "method": "", "wall_time_ms": "1793990558871.0", "log_line": "13819", "category": "third_party", "library": "AndroidX", "elapsed_s": "82.601", "input_id": "input-236", "step": "44", "action": "MODEL_CLICK CANCEL", "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_0c300af1c9614168998ce1f37b6aadfe.zip!device-output/native/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/jev-audit/inputs/generated-237.json", "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_0c300af1c9614168998ce1f37b6aadfe.zip!device-output/method-logcat.log:13819" }, { "method": "", "wall_time_ms": "1793990558871.0", "log_line": "13823", "category": "third_party", "library": "AndroidX", "elapsed_s": "82.601", "input_id": "input-236", "step": "44", "action": "MODEL_CLICK CANCEL", "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_0c300af1c9614168998ce1f37b6aadfe.zip!device-output/native/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/jev-audit/inputs/generated-237.json", "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_0c300af1c9614168998ce1f37b6aadfe.zip!device-output/method-logcat.log:13823" }, { "method": "", "wall_time_ms": "1793990558871.0", "log_line": "13825", "category": "third_party", "library": "AndroidX", "elapsed_s": "82.601", "input_id": "input-236", "step": "44", "action": "MODEL_CLICK CANCEL", "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_0c300af1c9614168998ce1f37b6aadfe.zip!device-output/native/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/jev-audit/inputs/generated-237.json", "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_0c300af1c9614168998ce1f37b6aadfe.zip!device-output/method-logcat.log:13825" }, { "method": "", "wall_time_ms": "1793990558871.0", "log_line": "13821", "category": "third_party", "library": "AndroidX", "elapsed_s": "82.601", "input_id": "input-236", "step": "44", "action": "MODEL_CLICK CANCEL", "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_0c300af1c9614168998ce1f37b6aadfe.zip!device-output/native/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/jev-audit/inputs/generated-237.json", "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_0c300af1c9614168998ce1f37b6aadfe.zip!device-output/method-logcat.log:13821" }, { "method": "", "wall_time_ms": "1793990558871.0", "log_line": "13822", "category": "third_party", "library": "AndroidX", "elapsed_s": "82.601", "input_id": "input-236", "step": "44", "action": "MODEL_CLICK CANCEL", "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_0c300af1c9614168998ce1f37b6aadfe.zip!device-output/native/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/jev-audit/inputs/generated-237.json", "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_0c300af1c9614168998ce1f37b6aadfe.zip!device-output/method-logcat.log:13822" }, { "method": "", "wall_time_ms": "1793990558871.0", "log_line": "13824", "category": "third_party", "library": "AndroidX", "elapsed_s": "82.601", "input_id": "input-236", "step": "44", "action": "MODEL_CLICK CANCEL", "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_0c300af1c9614168998ce1f37b6aadfe.zip!device-output/native/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/jev-audit/inputs/generated-237.json", "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_0c300af1c9614168998ce1f37b6aadfe.zip!device-output/method-logcat.log:13824" }, { "method": "", "wall_time_ms": "1793990558871.0", "log_line": "13820", "category": "third_party", "library": "AndroidX", "elapsed_s": "82.601", "input_id": "input-236", "step": "44", "action": "MODEL_CLICK CANCEL", "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_0c300af1c9614168998ce1f37b6aadfe.zip!device-output/native/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/jev-audit/inputs/generated-237.json", "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_0c300af1c9614168998ce1f37b6aadfe.zip!device-output/method-logcat.log:13820" }, { "method": "", "wall_time_ms": "1793990558872.0", "log_line": "13826", "category": "third_party", "library": "AndroidX", "elapsed_s": "82.602", "input_id": "input-236", "step": "44", "action": "MODEL_CLICK CANCEL", "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_0c300af1c9614168998ce1f37b6aadfe.zip!device-output/native/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/jev-audit/inputs/generated-237.json", "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_0c300af1c9614168998ce1f37b6aadfe.zip!device-output/method-logcat.log:13826" }, { "method": "", "wall_time_ms": "1793990558880.0", "log_line": "13828", "category": "third_party", "library": "AndroidX", "elapsed_s": "82.61", "input_id": "input-236", "step": "44", "action": "MODEL_CLICK CANCEL", "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_0c300af1c9614168998ce1f37b6aadfe.zip!device-output/native/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/jev-audit/inputs/generated-237.json", "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_0c300af1c9614168998ce1f37b6aadfe.zip!device-output/method-logcat.log:13828" }, { "method": "", "wall_time_ms": "1793990558880.0", "log_line": "13827", "category": "third_party", "library": "AndroidX", "elapsed_s": "82.61", "input_id": "input-236", "step": "44", "action": "MODEL_CLICK CANCEL", "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_0c300af1c9614168998ce1f37b6aadfe.zip!device-output/native/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/jev-audit/inputs/generated-237.json", "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_0c300af1c9614168998ce1f37b6aadfe.zip!device-output/method-logcat.log:13827" }, { "method": "", "wall_time_ms": "1793990558885.0", "log_line": "13829", "category": "third_party", "library": "AndroidX", "elapsed_s": "82.615", "input_id": "input-236", "step": "44", "action": "MODEL_CLICK CANCEL", "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_0c300af1c9614168998ce1f37b6aadfe.zip!device-output/native/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/jev-audit/inputs/generated-237.json", "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_0c300af1c9614168998ce1f37b6aadfe.zip!device-output/method-logcat.log:13829" }, { "method": "", "wall_time_ms": "1793990558886.0", "log_line": "13830", "category": "third_party", "library": "AndroidX", "elapsed_s": "82.616", "input_id": "input-236", "step": "44", "action": "MODEL_CLICK CANCEL", "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_0c300af1c9614168998ce1f37b6aadfe.zip!device-output/native/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/jev-audit/inputs/generated-237.json", "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_0c300af1c9614168998ce1f37b6aadfe.zip!device-output/method-logcat.log:13830" }, { "method": "", "wall_time_ms": "1793990559661.0", "log_line": "13831", "category": "third_party", "library": "AndroidX", "elapsed_s": "83.391", "input_id": "input-236", "step": "44", "action": "MODEL_CLICK CANCEL", "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_0c300af1c9614168998ce1f37b6aadfe.zip!device-output/native/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/jev-audit/inputs/generated-237.json", "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_0c300af1c9614168998ce1f37b6aadfe.zip!device-output/method-logcat.log:13831" }, { "method": "", "wall_time_ms": "1793990559661.0", "log_line": "13832", "category": "third_party", "library": "AndroidX", "elapsed_s": "83.391", "input_id": "input-236", "step": "44", "action": "MODEL_CLICK CANCEL", "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_0c300af1c9614168998ce1f37b6aadfe.zip!device-output/native/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/jev-audit/inputs/generated-237.json", "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_0c300af1c9614168998ce1f37b6aadfe.zip!device-output/method-logcat.log:13832" }, { "method": "", "wall_time_ms": "1793990559662.0", "log_line": "13836", "category": "third_party", "library": "AndroidX", "elapsed_s": "83.392", "input_id": "input-236", "step": "44", "action": "MODEL_CLICK CANCEL", "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_0c300af1c9614168998ce1f37b6aadfe.zip!device-output/native/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/jev-audit/inputs/generated-237.json", "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_0c300af1c9614168998ce1f37b6aadfe.zip!device-output/method-logcat.log:13836" }, { "method": "", "wall_time_ms": "1793990559662.0", "log_line": "13835", "category": "third_party", "library": "AndroidX", "elapsed_s": "83.392", "input_id": "input-236", "step": "44", "action": "MODEL_CLICK CANCEL", "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_0c300af1c9614168998ce1f37b6aadfe.zip!device-output/native/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/jev-audit/inputs/generated-237.json", "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_0c300af1c9614168998ce1f37b6aadfe.zip!device-output/method-logcat.log:13835" }, { "method": "", "wall_time_ms": "1793990559662.0", "log_line": "13833", "category": "third_party", "library": "AndroidX", "elapsed_s": "83.392", "input_id": "input-236", "step": "44", "action": "MODEL_CLICK CANCEL", "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_0c300af1c9614168998ce1f37b6aadfe.zip!device-output/native/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/jev-audit/inputs/generated-237.json", "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_0c300af1c9614168998ce1f37b6aadfe.zip!device-output/method-logcat.log:13833" }, { "method": "", "wall_time_ms": "1793990559662.0", "log_line": "13834", "category": "third_party", "library": "AndroidX", "elapsed_s": "83.392", "input_id": "input-236", "step": "44", "action": "MODEL_CLICK CANCEL", "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_0c300af1c9614168998ce1f37b6aadfe.zip!device-output/native/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/jev-audit/inputs/generated-237.json", "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_0c300af1c9614168998ce1f37b6aadfe.zip!device-output/method-logcat.log:13834" } ], "first_method_count": 23, "category_counts": { "third_party": 23 }, "libraries": { "AndroidX": 23 }, "source_screenshot": { "local": "cases/run_0c300af1c9614168998ce1f37b6aadfe/run_0c300af1c9614168998ce1f37b6aadfe-step-44-before.png", "source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_0c300af1c9614168998ce1f37b6aadfe.zip!device-output/native/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/ape-state-screenshots/g1s16-44.png", "capture_step": 44, "requested_step": 44, "alignment": "exact step" }, "target_screenshot": { "local": "cases/run_0c300af1c9614168998ce1f37b6aadfe/run_0c300af1c9614168998ce1f37b6aadfe-step-44-after.png", "source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_0c300af1c9614168998ce1f37b6aadfe.zip!device-output/native/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/ape-state-screenshots/g3s19-45.png", "capture_step": 45, "requested_step": 45, "alignment": "exact step" }, "executor_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_0c300af1c9614168998ce1f37b6aadfe.zip!device-output/executor.log:3012", "executor_lines": [ "[APE] >>>>>>>> SATA begin step [44][Elapsed: 0000 00:01:22]", "[APE] *** INFO *** Explored 3 app activities.", "[APE] *** INFO *** Used: 6 MB, Max: 192 MB, Available: 186 MB", "[APE] *** INFO *** Recover current states and actions...", "[APE] *** INFO *** > recovered current state: g1s15[42,43][2]it.feio.android.omninotes.MainActivity@-1620356224@Naming[0]@[W=6][A=9]", "[APE] *** INFO *** > recovered current action: g1a117[43,43][1]@MODEL_LONG_CLICKclass=android.widget.LinearLayout;enabled=true;long-clickable=true;[P=36][T=200][][S=0.000000][RN=1][0,655,840,781][]", "[APE] *** INFO *** Create state g1s16[-1,0][0]it.feio.android.omninotes.SettingsActivity@-1257340347@Naming[0]@[W=3][A=3] for GUI tree GUITree[70@0]@g1s16[-1,0][0]it.feio.android.omninotes.SettingsActivity@-1257340347@Naming[0]@[W=3][A=3]", "[APE] *** INFO *** Checking new state: g1s16[-1,0][0]it.feio.android.omninotes.SettingsActivity@-1257340347@Naming[0]@[W=3][A=3], iteration: #4", "[APE] *** INFO *** getRootInActiveWindowSlow takes 1 ms.", "[APE] *** INFO *** Create state g1s16[-1,0][0]it.feio.android.omninotes.SettingsActivity@-1257340347@Naming[0]@[W=3][A=3] for GUI tree GUITree[71@0]@g1s16[-1,0][0]it.feio.android.omninotes.SettingsActivity@-1257340347@Naming[0]@[W=3][A=3]", "[APE] *** INFO *** Checking trivial new state: top naming equivalent.", "[APE] *** INFO *** Checking new state: g1s16[-1,0][0]it.feio.android.omninotes.SettingsActivity@-1257340347@Naming[0]@[W=3][A=3], iteration: #1", "[APE] *** INFO *** getRootInActiveWindowSlow takes 1 ms.", "[APE] *** INFO *** Create state g1s16[-1,0][0]it.feio.android.omninotes.SettingsActivity@-1257340347@Naming[0]@[W=3][A=3] for GUI tree GUITree[72@0]@g1s16[-1,0][0]it.feio.android.omninotes.SettingsActivity@-1257340347@Naming[0]@[W=3][A=3]", "[APE] *** INFO *** Checking trivial new state: top naming equivalent.", "[APE] *** INFO *** Checking new state: g1s16[-1,0][0]it.feio.android.omninotes.SettingsActivity@-1257340347@Naming[0]@[W=3][A=3], iteration: #0", "[APE] *** INFO *** getRootInActiveWindowSlow takes 1 ms.", "[APE] *** INFO *** Create state g1s16[-1,0][0]it.feio.android.omninotes.SettingsActivity@-1257340347@Naming[0]@[W=3][A=3] for GUI tree GUITree[73@0]@g1s16[-1,0][0]it.feio.android.omninotes.SettingsActivity@-1257340347@Naming[0]@[W=3][A=3]", "[APE] *** INFO *** Checking trivial new state: top naming equivalent.", "[APE] *** INFO *** State g1s16[-1,0][0]it.feio.android.omninotes.SettingsActivity@-1257340347@Naming[0]@[W=3][A=3] is excluded from future refresh checks.", "[APE] *** INFO *** Pre-checking under-abstracted states takes 0 ms", "[APE] *** INFO *** Check over-abstracted states g1s16[-1,0][0]it.feio.android.omninotes.SettingsActivity@-1257340347@Naming[0]@[W=3][A=3]: #0", "[APE] *** INFO *** Checking over-abstracted states takes 0 ms", "[APE] *** INFO *** Post-checking under-abstracted states takes 0 ms", "[APE] === Adding edge...", "[APE] Source: g1s15[42,43][2]it.feio.android.omninotes.MainActivity@-1620356224@Naming[0]@[W=6][A=9]", "[APE] Action: g1a117[43,43][1]@MODEL_LONG_CLICKclass=android.widget.LinearLayout;enabled=true;long-clickable=true;[P=36][T=200][][S=0.000000][RN=1][0,655,840,781][]", "[APE] Target: g1s16[44,44][1]it.feio.android.omninotes.SettingsActivity@-1257340347@Naming[0]@[W=3][A=3]", "[APE] Add target result: true", "[APE] GSTG(g1): activities (3), states (16), edges (36), unvisited actions (75), visited actions (35)", "[APE] *** INFO *** - 0.42 3 it.feio.android.omninotes.CategoryActivity[14,23][11][S=3]", "[APE] *** INFO *** - 0.00 1 it.feio.android.omninotes.SettingsActivity[44,44][1][S=1]", "[APE] *** INFO *** - 0.31 12 it.feio.android.omninotes.MainActivity[1,43][42][S=12]", "[APE] GSTG is 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] 0 USE_BUFFER", "[APE] 43 EARLY_STAGE", "[APE] 0 EPSILON_GREEDY", "[APE] 0 RANDOM", "[APE] 0 NULL", "[APE] 1 BUFFER_LOSS", "[APE] 8 FILL_BUFFER", "[APE] 0 BAD_STATE", "[APE] 0 PROBE", "[APE] 1 g1a121[-1,0][0]@MODEL_CLICKclass=android.widget.CheckedTextView;resource-id=android:id/text1;enabled=true;clickable=true;checkable=true;[P=64][T=200][, UNVISITED][S=0.000000][RN=3][70,1002,1010,1128][Keep pos]", "[APE] 2 g1a122[-1,0][0]@MODEL_CLICKclass=android.widget.Button;resource-id=android:id/button2;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][779,1391,978,1517][CANCEL]", "[APE] 3 g1a123[-1,0][0]@MODEL_BACKg1s16[44,44][1]it.feio.android.omninotes.SettingsActivity@-1257340347@Naming[0]@[W=3][A=3][P=13][T=200][, UNVISITED]", "[APE] *** INFO *** Check global actions.", "[APE] *** INFO *** Check A*BA->B, try to move from A to B.", "[APE] *** INFO *** > - A: g1s16[44,44][1]it.feio.android.omninotes.SettingsActivity@-1257340347@Naming[0]@[W=3][A=3]", "[APE] *** INFO *** > - B: g1s15[42,43][2]it.feio.android.omninotes.MainActivity@-1620356224@Naming[0]@[W=6][A=9]", "[APE] *** INFO *** Never move from a cold activity (g1s16[44,44][1]it.feio.android.omninotes.SettingsActivity@-1257340347@Naming[0]@[W=3][A=3])(it.feio.android.omninotes.SettingsActivity[44,44][1][S=1]) to a hot activity (g1s15[42,43][2]it.feio.android.omninotes.MainActivity@-1620356224@Naming[0]@[W=6][A=9])(it.feio.android.omninotes.MainActivity[1,43][42][S=12]) in ABA.", "[APE] *** INFO *** Find a greedy action in 0-step", "[APE] *** INFO *** Requesting disabling restart.", "[APE] *** INFO *** Select action g1a122[-1,0][0]@MODEL_CLICKclass=android.widget.Button;resource-id=android:id/button2;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][779,1391,978,1517][CANCEL] by strategy EARLY_STAGE", "[APE] Last state: null", "[APE] Last action: null", "[APE] Curr state: g1s15[42,43][2]it.feio.android.omninotes.MainActivity@-1620356224@Naming[0]@[W=6][A=9]", "[APE] Curr action: g1a117[43,43][1]@MODEL_LONG_CLICKclass=android.widget.LinearLayout;enabled=true;long-clickable=true;[P=36][T=200][][S=0.000000][RN=1][0,655,840,781][]", "[APE] New state: g1s16[44,44][1]it.feio.android.omninotes.SettingsActivity@-1257340347@Naming[0]@[W=3][A=3]", "[APE] New action: g1a122[44,44][1]@MODEL_CLICKclass=android.widget.Button;resource-id=android:id/button2;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][779,1391,978,1517][CANCEL]", "[APE] >>>>>>>> SATA end step [44]", "[APE] *** INFO *** EXECUTE action_fp=type=MODEL_CLICK|activity=it.feio.android.omninotes.SettingsActivity|class=android.widget.Button|text=CANCEL|resource_id=android:id/button2|bounds=779,1391,978,1517 target_fp=activity=it.feio.android.omninotes.SettingsActivity|class=android.widget.Button|text=CANCEL|resource_id=android:id/button2 action=g1a122[44,44][1]@MODEL_CLICKclass=android.widget.Button;resource-id=android:id/button2;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][779,1391,978,1517][CANCEL]", ":Sending Touch (ACTION_DOWN): 0:(878.5,1454.0)", ":Sending Touch (ACTION_UP): 0:(878.5,1454.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." }