{ "app": "odkcollect", "condition": "STARTLUX_PAIRWISE", "reference": false, "run_id": "run_4c508e1625894546a49a3ca708ce967b", "step": 318, "elapsed_s": "484.695", "selection": { "event": "SELECTION_DECISION", "step": 318, "monotonic_ns": 1883826403285147, "wall_time_ms": 1793994778911, "abstraction_version": 15, "state_id": "g12s47", "model_action_id": "g12a256", "snapshot_reason": "selection", "state_visits": 2, "state_first_seen": 75, "state_last_seen": 318, "state_saturated": false, "state_saturation": 0.2, "native_state_saturated": false, "native_unsaturated_model_action_count": 4, "model_action_count": 5, "enabled_valid_action_count": 5, "unsaturated_model_action_count": 4, "unvisited_model_action_count": 4, "effective_unvisited_model_action_count": 4, "effective_state_saturated": false, "local_probe_action_count": 0, "navigation_action_count": 4, "enabled_valid_unvisited_action_count": 4, "unvisited_model_action_ids": "g12a254,g12a256,g12a257,g12a258", "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=org.odk.collect.android.preferences.screens.ProjectPreferencesActivity|class=android.widget.LinearLayout|text=|resource_id=|bounds=0,615,1080,756", "selected_resolved_node_count": 1 }, "inputs": [ { "input_id": "input-1658", "step": "318", "version": "15", "elapsed_s": "484.695", "wall_time_ms": "1793994778911", "next_input_wall_ms": "1793994780305", "input_completed_wall_ms": "1793994778942", "input_confirmed": "True", "action": "MODEL_CLICK android.widget.LinearLayout", "action_type": "MODEL_CLICK", "text": "", "content_desc": "", "resource_id": "", "model_action_id": "g12a256", "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=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.recyclerview.widget.RecyclerView\"][@resource-id=\"org.odk.collect.android:id/recycler_view\"][@text=\"\"][@content-desc=\"\"][@index=1][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.LinearLayout\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=2][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false']", "state_id": "g12s47", "source_gui_id": "461", "activity": "org.odk.collect.android.preferences.screens.ProjectPreferencesActivity", "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_4c508e1625894546a49a3ca708ce967b.zip!device-output/executor.log:23829", "observed_methods_until_next": "18", "category_counts": "{\"app_domain\":9,\"other_unknown\":2,\"third_party\":7}", "inventory_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_4c508e1625894546a49a3ca708ce967b.zip!device-output/native/sata-org.odk.collect.android-ape-sata-running-minutes-60/jev-audit/inputs/generated-1659.json" } ], "following_transition": { "event": "NATIVE_TRANSITION", "step": 319, "monotonic_ns": 1883827744837504, "wall_time_ms": 1793994780252, "abstraction_version": 15, "state_id": "g12s47", "model_action_id": "g12a256", "transition_id": "g15e209:314", "new_state": true, "new_model_action": true, "refinement": false, "self_loop": false, "activity_unchanged": true, "gui_unchanged": false, "target_state": "g15s67", "input_confirmed": true }, "first_methods_since_inputs": [ { "method": "(org.odk.collect.android.projects.ProjectDeleter,org.odk.collect.android.projects.ProjectsDataService,org.odk.collect.android.formmanagement.FormsDataService,org.odk.collect.android.instancemanagement.InstancesDataService,org.odk.collect.mapbox.TileHttpServer)>", "wall_time_ms": "1793994778942.0", "log_line": "32394", "category": "app_domain", "library": "app_domain", "elapsed_s": "484.726", "input_id": "input-1658", "step": "318", "action": "MODEL_CLICK android.widget.LinearLayout", "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_4c508e1625894546a49a3ca708ce967b.zip!device-output/native/sata-org.odk.collect.android-ape-sata-running-minutes-60/jev-audit/inputs/generated-1659.json", "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_4c508e1625894546a49a3ca708ce967b.zip!device-output/method-logcat.log:32394" }, { "method": "", "wall_time_ms": "1793994778945.0", "log_line": "32398", "category": "app_domain", "library": "app_domain", "elapsed_s": "484.729", "input_id": "input-1658", "step": "318", "action": "MODEL_CLICK android.widget.LinearLayout", "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_4c508e1625894546a49a3ca708ce967b.zip!device-output/native/sata-org.odk.collect.android-ape-sata-running-minutes-60/jev-audit/inputs/generated-1659.json", "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_4c508e1625894546a49a3ca708ce967b.zip!device-output/method-logcat.log:32398" }, { "method": "(android.widget.ScrollView,org.odk.collect.androidshared.ui.multiclicksafe.MultiClickSafeMaterialButton,com.google.android.material.textfield.TextInputLayout,com.google.android.material.textfield.TextInputEditText,org.odk.collect.androidshared.ui.multiclicksafe.MultiClickSafeMaterialButton,com.google.android.material.textview.MaterialTextView,android.widget.ProgressBar,com.google.android.material.textview.MaterialTextView)>", "wall_time_ms": "1793994778961.0", "log_line": "32399", "category": "third_party", "library": "OkHttp", "elapsed_s": "484.745", "input_id": "input-1658", "step": "318", "action": "MODEL_CLICK android.widget.LinearLayout", "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_4c508e1625894546a49a3ca708ce967b.zip!device-output/native/sata-org.odk.collect.android-ape-sata-running-minutes-60/jev-audit/inputs/generated-1659.json", "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_4c508e1625894546a49a3ca708ce967b.zip!device-output/method-logcat.log:32399" }, { "method": "(int,java.lang.Object,java.lang.Object)>", "wall_time_ms": "1793994778962.0", "log_line": "32410", "category": "other_unknown", "library": "com.networknt.schema", "elapsed_s": "484.746", "input_id": "input-1658", "step": "318", "action": "MODEL_CLICK android.widget.LinearLayout", "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_4c508e1625894546a49a3ca708ce967b.zip!device-output/native/sata-org.odk.collect.android-ape-sata-running-minutes-60/jev-audit/inputs/generated-1659.json", "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_4c508e1625894546a49a3ca708ce967b.zip!device-output/method-logcat.log:32410" }, { "method": "", "wall_time_ms": "1793994778962.0", "log_line": "32407", "category": "third_party", "library": "Okio", "elapsed_s": "484.746", "input_id": "input-1658", "step": "318", "action": "MODEL_CLICK android.widget.LinearLayout", "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_4c508e1625894546a49a3ca708ce967b.zip!device-output/native/sata-org.odk.collect.android-ape-sata-running-minutes-60/jev-audit/inputs/generated-1659.json", "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_4c508e1625894546a49a3ca708ce967b.zip!device-output/method-logcat.log:32407" }, { "method": "", "wall_time_ms": "1793994778962.0", "log_line": "32408", "category": "third_party", "library": "Okio", "elapsed_s": "484.746", "input_id": "input-1658", "step": "318", "action": "MODEL_CLICK android.widget.LinearLayout", "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_4c508e1625894546a49a3ca708ce967b.zip!device-output/native/sata-org.odk.collect.android-ape-sata-running-minutes-60/jev-audit/inputs/generated-1659.json", "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_4c508e1625894546a49a3ca708ce967b.zip!device-output/method-logcat.log:32408" }, { "method": "(org.odk.collect.android.preferences.dialogs.DeleteProjectDialog,int)>", "wall_time_ms": "1793994778962.0", "log_line": "32400", "category": "app_domain", "library": "app_domain", "elapsed_s": "484.746", "input_id": "input-1658", "step": "318", "action": "MODEL_CLICK android.widget.LinearLayout", "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_4c508e1625894546a49a3ca708ce967b.zip!device-output/native/sata-org.odk.collect.android-ape-sata-running-minutes-60/jev-audit/inputs/generated-1659.json", "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_4c508e1625894546a49a3ca708ce967b.zip!device-output/method-logcat.log:32400" }, { "method": "(org.odk.collect.android.preferences.dialogs.DeleteProjectDialog$DeleteProjectViewModel,int)>", "wall_time_ms": "1793994778962.0", "log_line": "32406", "category": "app_domain", "library": "app_domain", "elapsed_s": "484.746", "input_id": "input-1658", "step": "318", "action": "MODEL_CLICK android.widget.LinearLayout", "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_4c508e1625894546a49a3ca708ce967b.zip!device-output/native/sata-org.odk.collect.android-ape-sata-running-minutes-60/jev-audit/inputs/generated-1659.json", "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_4c508e1625894546a49a3ca708ce967b.zip!device-output/method-logcat.log:32406" }, { "method": "(org.odk.collect.android.projects.ProjectsDataService,org.odk.collect.android.projects.ProjectDeleter,org.odk.collect.android.formmanagement.FormsDataService,org.odk.collect.android.instancemanagement.InstancesDataService,org.odk.collect.async.Scheduler)>", "wall_time_ms": "1793994778962.0", "log_line": "32404", "category": "app_domain", "library": "app_domain", "elapsed_s": "484.746", "input_id": "input-1658", "step": "318", "action": "MODEL_CLICK android.widget.LinearLayout", "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_4c508e1625894546a49a3ca708ce967b.zip!device-output/native/sata-org.odk.collect.android-ape-sata-running-minutes-60/jev-audit/inputs/generated-1659.json", "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_4c508e1625894546a49a3ca708ce967b.zip!device-output/method-logcat.log:32404" }, { "method": "", "wall_time_ms": "1793994778962.0", "log_line": "32409", "category": "app_domain", "library": "app_domain", "elapsed_s": "484.746", "input_id": "input-1658", "step": "318", "action": "MODEL_CLICK android.widget.LinearLayout", "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_4c508e1625894546a49a3ca708ce967b.zip!device-output/native/sata-org.odk.collect.android-ape-sata-running-minutes-60/jev-audit/inputs/generated-1659.json", "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_4c508e1625894546a49a3ca708ce967b.zip!device-output/method-logcat.log:32409" }, { "method": "(org.odk.collect.android.preferences.dialogs.DeleteProjectDialog,okhttp3.Request$Builder)>", "wall_time_ms": "1793994778962.0", "log_line": "32401", "category": "app_domain", "library": "app_domain", "elapsed_s": "484.746", "input_id": "input-1658", "step": "318", "action": "MODEL_CLICK android.widget.LinearLayout", "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_4c508e1625894546a49a3ca708ce967b.zip!device-output/native/sata-org.odk.collect.android-ape-sata-running-minutes-60/jev-audit/inputs/generated-1659.json", "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_4c508e1625894546a49a3ca708ce967b.zip!device-output/method-logcat.log:32401" }, { "method": "", "wall_time_ms": "1793994778995.0", "log_line": "32411", "category": "third_party", "library": "Google libraries", "elapsed_s": "484.779", "input_id": "input-1658", "step": "318", "action": "MODEL_CLICK android.widget.LinearLayout", "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_4c508e1625894546a49a3ca708ce967b.zip!device-output/native/sata-org.odk.collect.android-ape-sata-running-minutes-60/jev-audit/inputs/generated-1659.json", "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_4c508e1625894546a49a3ca708ce967b.zip!device-output/method-logcat.log:32411" }, { "method": "", "wall_time_ms": "1793994778997.0", "log_line": "32412", "category": "app_domain", "library": "app_domain", "elapsed_s": "484.781", "input_id": "input-1658", "step": "318", "action": "MODEL_CLICK android.widget.LinearLayout", "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_4c508e1625894546a49a3ca708ce967b.zip!device-output/native/sata-org.odk.collect.android-ape-sata-running-minutes-60/jev-audit/inputs/generated-1659.json", "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_4c508e1625894546a49a3ca708ce967b.zip!device-output/method-logcat.log:32412" }, { "method": "(java.lang.String,int,int,int,int)>", "wall_time_ms": "1793994779023.0", "log_line": "32428", "category": "app_domain", "library": "app_domain", "elapsed_s": "484.807", "input_id": "input-1658", "step": "318", "action": "MODEL_CLICK android.widget.LinearLayout", "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_4c508e1625894546a49a3ca708ce967b.zip!device-output/native/sata-org.odk.collect.android-ape-sata-running-minutes-60/jev-audit/inputs/generated-1659.json", "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_4c508e1625894546a49a3ca708ce967b.zip!device-output/method-logcat.log:32428" }, { "method": "", "wall_time_ms": "1793994779032.0", "log_line": "32434", "category": "other_unknown", "library": "com.networknt.schema", "elapsed_s": "484.816", "input_id": "input-1658", "step": "318", "action": "MODEL_CLICK android.widget.LinearLayout", "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_4c508e1625894546a49a3ca708ce967b.zip!device-output/native/sata-org.odk.collect.android-ape-sata-running-minutes-60/jev-audit/inputs/generated-1659.json", "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_4c508e1625894546a49a3ca708ce967b.zip!device-output/method-logcat.log:32434" }, { "method": "", "wall_time_ms": "1793994779056.0", "log_line": "32435", "category": "third_party", "library": "Google libraries", "elapsed_s": "484.84", "input_id": "input-1658", "step": "318", "action": "MODEL_CLICK android.widget.LinearLayout", "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_4c508e1625894546a49a3ca708ce967b.zip!device-output/native/sata-org.odk.collect.android-ape-sata-running-minutes-60/jev-audit/inputs/generated-1659.json", "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_4c508e1625894546a49a3ca708ce967b.zip!device-output/method-logcat.log:32435" }, { "method": "", "wall_time_ms": "1793994779056.0", "log_line": "32436", "category": "third_party", "library": "Google libraries", "elapsed_s": "484.84", "input_id": "input-1658", "step": "318", "action": "MODEL_CLICK android.widget.LinearLayout", "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_4c508e1625894546a49a3ca708ce967b.zip!device-output/native/sata-org.odk.collect.android-ape-sata-running-minutes-60/jev-audit/inputs/generated-1659.json", "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_4c508e1625894546a49a3ca708ce967b.zip!device-output/method-logcat.log:32436" }, { "method": "", "wall_time_ms": "1793994779056.0", "log_line": "32437", "category": "third_party", "library": "Google libraries", "elapsed_s": "484.84", "input_id": "input-1658", "step": "318", "action": "MODEL_CLICK android.widget.LinearLayout", "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_4c508e1625894546a49a3ca708ce967b.zip!device-output/native/sata-org.odk.collect.android-ape-sata-running-minutes-60/jev-audit/inputs/generated-1659.json", "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_4c508e1625894546a49a3ca708ce967b.zip!device-output/method-logcat.log:32437" } ], "first_method_count": 18, "category_counts": { "app_domain": 9, "third_party": 7, "other_unknown": 2 }, "libraries": { "app_domain": 9, "OkHttp": 1, "com.networknt.schema": 2, "Okio": 2, "Google libraries": 4 }, "source_screenshot": { "local": "cases/run_4c508e1625894546a49a3ca708ce967b/run_4c508e1625894546a49a3ca708ce967b-step-318-before.png", "source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_4c508e1625894546a49a3ca708ce967b.zip!device-output/native/sata-org.odk.collect.android-ape-sata-running-minutes-60/ape-state-screenshots/g12s47-318.png", "capture_step": 318, "requested_step": 318, "alignment": "exact step" }, "target_screenshot": { "local": "cases/run_4c508e1625894546a49a3ca708ce967b/run_4c508e1625894546a49a3ca708ce967b-step-318-after.png", "source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_4c508e1625894546a49a3ca708ce967b.zip!device-output/native/sata-org.odk.collect.android-ape-sata-running-minutes-60/ape-state-screenshots/g15s67-319.png", "capture_step": 319, "requested_step": 319, "alignment": "exact step" }, "executor_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_4c508e1625894546a49a3ca708ce967b.zip!device-output/executor.log:23829", "executor_lines": [ "[APE] >>>>>>>> SATA begin step [318][Elapsed: 0000 00:08:04]", "[APE] *** INFO *** Explored 11 app activities.", "[APE] *** INFO *** Used: 12 MB, Max: 192 MB, Available: 180 MB", "[APE] *** INFO *** Recover current states and actions...", "[APE] *** INFO *** > recovered current state: g6s14[59,317][8]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@-1558118150@Naming[4]@[W=10][A=10]", "[APE] *** INFO *** > recovered current action: g6a76[317,317][1]@MODEL_CLICKclass=android.widget.LinearLayout;index=8;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][0,1659,1080,1851][]", "[APE] *** INFO *** Patching this node: android.widget.LinearLayout@@", "[APE] *** INFO *** Patching child node: android.widget.TextView@android:id/title@Delete", "[APE] *** INFO *** Create state g12s47[75,75][1]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@858552279@Naming[28]@[W=5][A=5] for GUI tree GUITree[458@0]@g12s47[75,75][1]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@858552279@Naming[28]@[W=5][A=5]", "[APE] *** INFO *** Checking new state: g12s47[75,75][1]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@858552279@Naming[28]@[W=5][A=5], iteration: #4", "[APE] *** INFO *** getRootInActiveWindowSlow takes 1 ms.", "[APE] *** INFO *** Patching this node: android.widget.LinearLayout@@", "[APE] *** INFO *** Patching child node: android.widget.TextView@android:id/title@Delete", "[APE] *** INFO *** Create state g12s47[75,75][1]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@858552279@Naming[28]@[W=5][A=5] for GUI tree GUITree[459@0]@g12s47[75,75][1]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@858552279@Naming[28]@[W=5][A=5]", "[APE] *** INFO *** Checking trivial new state: top naming equivalent.", "[APE] *** INFO *** Checking new state: g12s47[75,75][1]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@858552279@Naming[28]@[W=5][A=5], iteration: #1", "[APE] *** INFO *** getRootInActiveWindowSlow takes 1 ms.", "[APE] *** INFO *** Patching this node: android.widget.LinearLayout@@", "[APE] *** INFO *** Patching child node: android.widget.TextView@android:id/title@Delete", "[APE] *** INFO *** Create state g12s47[75,75][1]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@858552279@Naming[28]@[W=5][A=5] for GUI tree GUITree[460@0]@g12s47[75,75][1]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@858552279@Naming[28]@[W=5][A=5]", "[APE] *** INFO *** Checking trivial new state: top naming equivalent.", "[APE] *** INFO *** Checking new state: g12s47[75,75][1]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@858552279@Naming[28]@[W=5][A=5], iteration: #0", "[APE] *** INFO *** getRootInActiveWindowSlow takes 1 ms.", "[APE] *** INFO *** Patching this node: android.widget.LinearLayout@@", "[APE] *** INFO *** Patching child node: android.widget.TextView@android:id/title@Delete", "[APE] *** INFO *** Create state g12s47[75,75][1]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@858552279@Naming[28]@[W=5][A=5] for GUI tree GUITree[461@0]@g12s47[75,75][1]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@858552279@Naming[28]@[W=5][A=5]", "[APE] *** INFO *** Checking trivial new state: top naming equivalent.", "[APE] *** INFO *** State g12s47[75,75][1]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@858552279@Naming[28]@[W=5][A=5] is excluded from future refresh checks.", "[APE] *** INFO *** Check under-abstracted states g12s47[75,75][1]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@858552279@Naming[28]@[W=5][A=5]: #0", "[APE] *** INFO *** Check under-abstracted states collected 3 targets for naming Naming[28]. The state is g12s47[75,75][1]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@858552279@Naming[28]@[W=5][A=5]. #0", "[APE] *** INFO *** batchAbstract: refined targets: 3, affected states: 3, threshold: 8, affected threshold.", "[APE] *** INFO *** batchAbstract: refined targets: 3 <= threshold: 8 ", "[APE] *** INFO *** batchAbstract: affected states: 3 <= threshold: 8 ", "[APE] *** INFO *** Check under-abstracted states collected 8 targets for naming Naming[4]. The state is g12s47[75,75][1]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@858552279@Naming[28]@[W=5][A=5]. #1", "[APE] *** INFO *** batchAbstract: refined targets: 2, affected states: 4, threshold: 8, affected threshold.", "[APE] *** INFO *** batchAbstract: refined targets: 2 <= threshold: 8 ", "[APE] *** INFO *** batchAbstract: affected states: 4 <= threshold: 8 ", "[APE] *** INFO *** Pre-checking under-abstracted states takes 0 ms", "[APE] *** INFO *** Check over-abstracted states g12s47[75,75][1]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@858552279@Naming[28]@[W=5][A=5]: #0", "[APE] *** INFO *** Checking over-abstracted states takes 0 ms", "[APE] *** INFO *** Check under-abstracted states g12s47[75,75][1]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@858552279@Naming[28]@[W=5][A=5]: #0", "[APE] *** INFO *** Check under-abstracted states collected 3 targets for naming Naming[28]. The state is g12s47[75,75][1]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@858552279@Naming[28]@[W=5][A=5]. #0", "[APE] *** INFO *** batchAbstract: refined targets: 3, affected states: 3, threshold: 8, affected threshold.", "[APE] *** INFO *** batchAbstract: refined targets: 3 <= threshold: 8 ", "[APE] *** INFO *** batchAbstract: affected states: 3 <= threshold: 8 ", "[APE] *** INFO *** Check under-abstracted states collected 8 targets for naming Naming[4]. The state is g12s47[75,75][1]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@858552279@Naming[28]@[W=5][A=5]. #1", "[APE] *** INFO *** batchAbstract: refined targets: 2, affected states: 4, threshold: 8, affected threshold.", "[APE] *** INFO *** batchAbstract: refined targets: 2 <= threshold: 8 ", "[APE] *** INFO *** batchAbstract: affected states: 4 <= threshold: 8 ", "[APE] *** INFO *** Post-checking under-abstracted states takes 0 ms", "[APE] === Adding edge...", "[APE] Source: g6s14[59,317][8]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@-1558118150@Naming[4]@[W=10][A=10]", "[APE] Action: g6a76[317,317][1]@MODEL_CLICKclass=android.widget.LinearLayout;index=8;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][0,1659,1080,1851][]", "[APE] Target: g12s47[75,318][2]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@858552279@Naming[28]@[W=5][A=5]", "[APE] Add target result: true", "[APE] GSTG(g15): activities (11), states (52), edges (209), unvisited actions (94), visited actions (202)", "[APE] *** INFO *** - 0.79 5 org.odk.collect.android.mainmenu.MainMenuActivity[1,316][35][S=5]", "[APE] *** INFO *** - 0.95 4 org.odk.collect.android.activities.InstanceChooserList[2,213][37][S=4]", "[APE] *** INFO *** - 1.00 1 com.karumi.dexter.DexterActivity[67,198][2][S=1]", "[APE] *** INFO *** - 0.69 5 org.odk.collect.android.instancemanagement.send.InstanceUploaderListActivity[39,216][32][S=5]", "[APE] *** INFO *** - 0.83 2 org.odk.collect.android.configure.qr.QRCodeTabsActivity[68,74][8][S=2]", "[APE] *** INFO *** - 0.69 5 org.odk.collect.android.activities.FormDownloadListActivity[161,234][39][S=5]", "[APE] *** INFO *** - 0.87 4 org.odk.collect.android.formlists.blankformlist.BlankFormListActivity[126,227][40][S=4]", "[APE] *** INFO *** - 0.49 16 org.odk.collect.android.preferences.screens.ProjectPreferencesActivity[59,318][93][S=16]", "[APE] *** INFO *** - 0.58 5 org.odk.collect.android.activities.FirstLaunchActivity[288,305][30][S=5]", "[APE] *** INFO *** - 1.00 1 org.odk.collect.android.activities.AboutActivity[309,314][6][S=1]", "[APE] *** INFO *** - 0.76 4 org.odk.collect.android.activities.DeleteFormsActivity[81,219][46][S=4]", "[APE] GSTG is updated.", "[APE] GSTG state is changed.", "[APE] Graph Stable Counter: graph (0), state (0), activity (1)", "[APE] Sata Strategy: buffer size (0)", "[APE] 0 TRIVIAL_ACTIVITY", "[APE] 0 SATURATED_STATE", "[APE] 7 USE_BUFFER", "[APE] 287 EARLY_STAGE", "[APE] 21 EPSILON_GREEDY", "[APE] 0 RANDOM", "[APE] 0 NULL", "[APE] 6 BUFFER_LOSS", "[APE] 93 FILL_BUFFER", "[APE] 0 BAD_STATE", "[APE] 2 PROBE", "[APE] 1 g12a254[-1,0][0]@MODEL_CLICKclass=android.widget.LinearLayout;index=0;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][0,231,1080,423][]", "[APE] 2 g12a255[75,75][1]@MODEL_CLICKclass=android.widget.LinearLayout;index=1;enabled=true;clickable=true;[P=42][T=0][][S=1.000000][RN=1][0,423,1080,615][]", "[APE] 3 g12a256[-1,0][0]@MODEL_CLICKclass=android.widget.LinearLayout;index=2;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][0,615,1080,756][]", "[APE] 4 g12a257[-1,0][0]@MODEL_CLICKclass=android.widget.TextView;resource-id=android:id/title;index=2;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][189,657,312,714][Delete]", "[APE] 5 g12a258[-1,0][0]@MODEL_BACKg12s47[75,318][2]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@858552279@Naming[28]@[W=5][A=5][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: g12s47[75,318][2]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@858552279@Naming[28]@[W=5][A=5]", "[APE] *** INFO *** > - B: g6s14[59,317][8]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@-1558118150@Naming[4]@[W=10][A=10]", "[APE] *** INFO *** Never move from a cold state (g12s47[75,318][2]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@858552279@Naming[28]@[W=5][A=5]) to a hot state (g6s14[59,317][8]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@-1558118150@Naming[4]@[W=10][A=10]) in ABA.", "[APE] *** INFO *** Find a greedy action in 0-step", "[APE] *** INFO *** Select action g12a256[-1,0][0]@MODEL_CLICKclass=android.widget.LinearLayout;index=2;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][0,615,1080,756][] by strategy EARLY_STAGE", "[APE] Last state: null", "[APE] Last action: null", "[APE] Curr state: g6s14[59,317][8]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@-1558118150@Naming[4]@[W=10][A=10]", "[APE] Curr action: g6a76[317,317][1]@MODEL_CLICKclass=android.widget.LinearLayout;index=8;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][0,1659,1080,1851][]", "[APE] New state: g12s47[75,318][2]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@858552279@Naming[28]@[W=5][A=5]", "[APE] New action: g12a256[318,318][1]@MODEL_CLICKclass=android.widget.LinearLayout;index=2;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][0,615,1080,756][]", "[APE] >>>>>>>> SATA end step [318]", "[APE] *** INFO *** EXECUTE action_fp=type=MODEL_CLICK|activity=org.odk.collect.android.preferences.screens.ProjectPreferencesActivity|class=android.widget.LinearLayout|text=|resource_id=|bounds=0,615,1080,756 target_fp=activity=org.odk.collect.android.preferences.screens.ProjectPreferencesActivity|class=android.widget.LinearLayout|text=|resource_id= action=g12a256[318,318][1]@MODEL_CLICKclass=android.widget.LinearLayout;index=2;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][0,615,1080,756][]", ":Sending Touch (ACTION_DOWN): 0:(540.0,685.5)", ":Sending Touch (ACTION_UP): 0:(540.0,685.5)" ], "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." }