{ "app": "activitydiary", "condition": "STARTLUX_PAIRWISE", "reference": false, "run_id": "run_200afe1a53af49e489506f56987c30c6", "step": 943, "elapsed_s": "1606.438", "selection": { "event": "SELECTION_DECISION", "step": 943, "monotonic_ns": 1881074342723700, "wall_time_ms": 1793992026591, "abstraction_version": 46, "state_id": "g11s26", "model_action_id": "g11a359", "snapshot_reason": "selection", "state_visits": 12, "state_first_seen": 40, "state_last_seen": 943, "state_saturated": false, "state_saturation": 0.41666666, "native_state_saturated": false, "native_unsaturated_model_action_count": 7, "model_action_count": 12, "enabled_valid_action_count": 12, "unsaturated_model_action_count": 7, "unvisited_model_action_count": 7, "effective_unvisited_model_action_count": 7, "effective_state_saturated": false, "local_probe_action_count": 0, "navigation_action_count": 7, "enabled_valid_unvisited_action_count": 7, "unvisited_model_action_ids": "g11a357,g11a358,g11a359,g11a360,g11a363,g11a365,g11a368", "selection_strategy": "EARLY_STAGE", "selection_context": "exploration", "selection_buffer_size_after": 0, "selected_model_action_type": "MODEL_LONG_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_LONG_CLICK|activity=de.rampro.activitydiary.ui.statistics.StatisticsActivity|class=android.widget.Spinner|text=|resource_id=de.rampro.activitydiary:id/timeframeSpinner|bounds=0,236,1080,299", "selected_resolved_node_count": 1 }, "inputs": [ { "input_id": "input-5147", "step": "943", "version": "46", "elapsed_s": "1606.438", "wall_time_ms": "1793992026592", "next_input_wall_ms": "1793992026593", "input_completed_wall_ms": "1793992027623", "input_confirmed": "True", "action": "MODEL_LONG_CLICK de.rampro.activitydiary:id/timeframeSpinner", "action_type": "MODEL_LONG_CLICK", "text": "", "content_desc": "", "resource_id": "de.rampro.activitydiary:id/timeframeSpinner", "model_action_id": "g11a359", "concrete_identity": "MODEL_LONG_CLICK|/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.drawerlayout.widget.DrawerLayout\"][@resource-id=\"de.rampro.activitydiary:id/drawer_layout\"][@text=\"\"][@content-desc=\"\"][@index=2][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"de.rampro.activitydiary:id/content_fragment\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.Spinner\"][@resource-id=\"de.rampro.activitydiary:id/timeframeSpinner\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='true'][@scrollable='true'][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='true'][@scrollable='true']", "state_id": "g11s26", "source_gui_id": "1101", "activity": "de.rampro.activitydiary.ui.statistics.StatisticsActivity", "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_200afe1a53af49e489506f56987c30c6.zip!device-output/executor.log:93929", "observed_methods_until_next": "0", "category_counts": "{}", "inventory_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-audit/inputs/generated-5148.json" }, { "input_id": "other-5150", "step": "943", "version": "46", "elapsed_s": "1606.439", "wall_time_ms": "1793992026593", "next_input_wall_ms": "1793992048399", "input_completed_wall_ms": "NA", "input_confirmed": "False", "action": "FUZZ FUZZ", "action_type": "FUZZ", "text": "NA", "content_desc": "NA", "resource_id": "NA", "model_action_id": "NA", "concrete_identity": "NA", "state_id": "g11s26", "source_gui_id": "NA", "activity": "de.rampro.activitydiary.ui.statistics.StatisticsActivity", "activity_evidence": "NA", "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_200afe1a53af49e489506f56987c30c6.zip!device-output/executor.log:93929", "observed_methods_until_next": "24", "category_counts": "{\"app_domain\":1,\"third_party\":23}", "inventory_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-audit/inputs/generated-5152.json" } ], "following_transition": { "event": "NATIVE_TRANSITION", "step": 944, "monotonic_ns": 1881096147015973, "wall_time_ms": 1793992048396, "abstraction_version": 46, "state_id": "g11s26", "model_action_id": "g11a359", "transition_id": "g46e702:927", "new_state": false, "new_model_action": false, "refinement": false, "self_loop": true, "activity_unchanged": true, "gui_unchanged": false, "target_state": "g11s26", "input_confirmed": true }, "first_methods_since_inputs": [ { "method": "", "wall_time_ms": "1793992031907.0", "log_line": "49621", "category": "third_party", "library": "AndroidX", "elapsed_s": "1611.753", "input_id": "other-5150", "step": "943", "action": "FUZZ FUZZ", "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-audit/inputs/generated-5152.json", "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/method-logcat.log:49621" }, { "method": "", "wall_time_ms": "1793992037726.0", "log_line": "49622", "category": "third_party", "library": "MPAndroidChart", "elapsed_s": "1617.572", "input_id": "other-5150", "step": "943", "action": "FUZZ FUZZ", "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-audit/inputs/generated-5152.json", "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/method-logcat.log:49622" }, { "method": "", "wall_time_ms": "1793992037727.0", "log_line": "49629", "category": "third_party", "library": "MPAndroidChart", "elapsed_s": "1617.573", "input_id": "other-5150", "step": "943", "action": "FUZZ FUZZ", "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-audit/inputs/generated-5152.json", "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/method-logcat.log:49629" }, { "method": "", "wall_time_ms": "1793992037727.0", "log_line": "49626", "category": "third_party", "library": "MPAndroidChart", "elapsed_s": "1617.573", "input_id": "other-5150", "step": "943", "action": "FUZZ FUZZ", "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-audit/inputs/generated-5152.json", "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/method-logcat.log:49626" }, { "method": "", "wall_time_ms": "1793992037727.0", "log_line": "49624", "category": "third_party", "library": "MPAndroidChart", "elapsed_s": "1617.573", "input_id": "other-5150", "step": "943", "action": "FUZZ FUZZ", "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-audit/inputs/generated-5152.json", "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/method-logcat.log:49624" }, { "method": "", "wall_time_ms": "1793992037727.0", "log_line": "49625", "category": "third_party", "library": "MPAndroidChart", "elapsed_s": "1617.573", "input_id": "other-5150", "step": "943", "action": "FUZZ FUZZ", "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-audit/inputs/generated-5152.json", "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/method-logcat.log:49625" }, { "method": "", "wall_time_ms": "1793992037727.0", "log_line": "49623", "category": "third_party", "library": "MPAndroidChart", "elapsed_s": "1617.573", "input_id": "other-5150", "step": "943", "action": "FUZZ FUZZ", "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-audit/inputs/generated-5152.json", "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/method-logcat.log:49623" }, { "method": "", "wall_time_ms": "1793992037727.0", "log_line": "49628", "category": "third_party", "library": "MPAndroidChart", "elapsed_s": "1617.573", "input_id": "other-5150", "step": "943", "action": "FUZZ FUZZ", "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-audit/inputs/generated-5152.json", "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/method-logcat.log:49628" }, { "method": "", "wall_time_ms": "1793992037727.0", "log_line": "49630", "category": "third_party", "library": "MPAndroidChart", "elapsed_s": "1617.573", "input_id": "other-5150", "step": "943", "action": "FUZZ FUZZ", "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-audit/inputs/generated-5152.json", "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/method-logcat.log:49630" }, { "method": "", "wall_time_ms": "1793992037727.0", "log_line": "49627", "category": "third_party", "library": "MPAndroidChart", "elapsed_s": "1617.573", "input_id": "other-5150", "step": "943", "action": "FUZZ FUZZ", "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-audit/inputs/generated-5152.json", "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/method-logcat.log:49627" }, { "method": "", "wall_time_ms": "1793992037728.0", "log_line": "49631", "category": "third_party", "library": "MPAndroidChart", "elapsed_s": "1617.574", "input_id": "other-5150", "step": "943", "action": "FUZZ FUZZ", "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-audit/inputs/generated-5152.json", "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/method-logcat.log:49631" }, { "method": "", "wall_time_ms": "1793992037728.0", "log_line": "49634", "category": "third_party", "library": "MPAndroidChart", "elapsed_s": "1617.574", "input_id": "other-5150", "step": "943", "action": "FUZZ FUZZ", "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-audit/inputs/generated-5152.json", "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/method-logcat.log:49634" }, { "method": "(com.github.mikephil.charting.listener.PieRadarChartTouchListener,long,float)>", "wall_time_ms": "1793992037728.0", "log_line": "49632", "category": "third_party", "library": "MPAndroidChart", "elapsed_s": "1617.574", "input_id": "other-5150", "step": "943", "action": "FUZZ FUZZ", "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-audit/inputs/generated-5152.json", "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/method-logcat.log:49632" }, { "method": "", "wall_time_ms": "1793992037728.0", "log_line": "49635", "category": "third_party", "library": "MPAndroidChart", "elapsed_s": "1617.574", "input_id": "other-5150", "step": "943", "action": "FUZZ FUZZ", "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-audit/inputs/generated-5152.json", "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/method-logcat.log:49635" }, { "method": "", "wall_time_ms": "1793992037728.0", "log_line": "49633", "category": "third_party", "library": "MPAndroidChart", "elapsed_s": "1617.574", "input_id": "other-5150", "step": "943", "action": "FUZZ FUZZ", "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-audit/inputs/generated-5152.json", "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/method-logcat.log:49633" }, { "method": "", "wall_time_ms": "1793992037737.0", "log_line": "49636", "category": "third_party", "library": "MPAndroidChart", "elapsed_s": "1617.583", "input_id": "other-5150", "step": "943", "action": "FUZZ FUZZ", "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-audit/inputs/generated-5152.json", "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/method-logcat.log:49636" }, { "method": "", "wall_time_ms": "1793992037737.0", "log_line": "49637", "category": "third_party", "library": "MPAndroidChart", "elapsed_s": "1617.583", "input_id": "other-5150", "step": "943", "action": "FUZZ FUZZ", "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-audit/inputs/generated-5152.json", "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/method-logcat.log:49637" }, { "method": "", "wall_time_ms": "1793992037753.0", "log_line": "49638", "category": "third_party", "library": "MPAndroidChart", "elapsed_s": "1617.599", "input_id": "other-5150", "step": "943", "action": "FUZZ FUZZ", "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-audit/inputs/generated-5152.json", "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/method-logcat.log:49638" }, { "method": "", "wall_time_ms": "1793992037770.0", "log_line": "49639", "category": "third_party", "library": "MPAndroidChart", "elapsed_s": "1617.616", "input_id": "other-5150", "step": "943", "action": "FUZZ FUZZ", "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-audit/inputs/generated-5152.json", "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/method-logcat.log:49639" }, { "method": "", "wall_time_ms": "1793992037810.0", "log_line": "49642", "category": "third_party", "library": "MPAndroidChart", "elapsed_s": "1617.656", "input_id": "other-5150", "step": "943", "action": "FUZZ FUZZ", "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-audit/inputs/generated-5152.json", "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/method-logcat.log:49642" }, { "method": "", "wall_time_ms": "1793992037810.0", "log_line": "49640", "category": "third_party", "library": "MPAndroidChart", "elapsed_s": "1617.656", "input_id": "other-5150", "step": "943", "action": "FUZZ FUZZ", "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-audit/inputs/generated-5152.json", "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/method-logcat.log:49640" }, { "method": "", "wall_time_ms": "1793992037810.0", "log_line": "49641", "category": "third_party", "library": "MPAndroidChart", "elapsed_s": "1617.656", "input_id": "other-5150", "step": "943", "action": "FUZZ FUZZ", "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-audit/inputs/generated-5152.json", "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/method-logcat.log:49641" }, { "method": "", "wall_time_ms": "1793992037820.0", "log_line": "49643", "category": "third_party", "library": "MPAndroidChart", "elapsed_s": "1617.666", "input_id": "other-5150", "step": "943", "action": "FUZZ FUZZ", "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-audit/inputs/generated-5152.json", "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/method-logcat.log:49643" }, { "method": "", "wall_time_ms": "1793992045061.0", "log_line": "49646", "category": "app_domain", "library": "app_domain", "elapsed_s": "1624.907", "input_id": "other-5150", "step": "943", "action": "FUZZ FUZZ", "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-audit/inputs/generated-5152.json", "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/method-logcat.log:49646" } ], "first_method_count": 24, "category_counts": { "third_party": 23, "app_domain": 1 }, "libraries": { "AndroidX": 1, "MPAndroidChart": 22, "app_domain": 1 }, "source_screenshot": null, "target_screenshot": null, "executor_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/executor.log:93929", "executor_lines": [ "[APE] >>>>>>>> SATA begin step [943][Elapsed: 0000 00:26:46]", "[APE] *** INFO *** Explored 11 app activities.", "[APE] *** INFO *** Used: 34 MB, Max: 192 MB, Available: 158 MB", "[APE] *** INFO *** Patching this node: android.widget.Spinner@de.rampro.activitydiary:id/timeframeSpinner@", "[APE] *** INFO *** Patching child node: android.widget.TextView@android:id/text1@Year", "[APE] *** INFO *** Create state g11s26[40,942][11]de.rampro.activitydiary.ui.statistics.StatisticsActivity@-739049123@Naming[0]@[W=7][A=12] for GUI tree GUITree[1101@0]@g11s26[40,942][11]de.rampro.activitydiary.ui.statistics.StatisticsActivity@-739049123@Naming[0]@[W=7][A=12]", "[APE] *** INFO *** Pre-checking under-abstracted states takes 0 ms", "[APE] *** INFO *** Check over-abstracted states g11s26[40,942][11]de.rampro.activitydiary.ui.statistics.StatisticsActivity@-739049123@Naming[0]@[W=7][A=12]: #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: g11s26[40,943][12]de.rampro.activitydiary.ui.statistics.StatisticsActivity@-739049123@Naming[0]@[W=7][A=12]", "[APE] Action: g11a367[942,942][1]@MODEL_CLICKclass=android.widget.ImageView;resource-id=de.rampro.activitydiary:id/img_later;enabled=true;clickable=true;[P=52][T=0][][S=1.000000][RN=1][738,2226,1080,2310][]", "[APE] Target: g11s26[40,943][12]de.rampro.activitydiary.ui.statistics.StatisticsActivity@-739049123@Naming[0]@[W=7][A=12]", "[APE] Add target result: true", "[APE] GSTG(g46): activities (11), states (93), edges (702), unvisited actions (564), visited actions (598)", "[APE] *** INFO *** - 0.69 6 de.rampro.activitydiary.ui.statistics.StatisticsActivity[38,943][88][S=6]", "[APE] *** INFO *** - 0.61 8 de.rampro.activitydiary.ui.generic.EditActivity[3,895][291][S=8]", "[APE] *** INFO *** - 0.48 6 de.rampro.activitydiary.ui.generic.ManageActivity[572,850][44][S=6]", "[APE] *** INFO *** - 0.33 5 de.rampro.activitydiary.ui.history.HistoryActivity[259,785][63][S=5]", "[APE] *** INFO *** - 0.34 20 de.rampro.activitydiary.ui.settings.SettingsActivity[609,874][112][S=20]", "[APE] *** INFO *** - 1.00 1 de.rampro.activitydiary.ui.generic.AboutActivity[245,725][6][S=1]", "[APE] *** INFO *** - 0.80 1 org.acra.dialog.CrashReportDialog[604,877][4][S=1]", "[APE] *** INFO *** - 0.86 2 de.rampro.activitydiary.ui.generic.PrivacyPolicyActivity[444,837][9][S=2]", "[APE] *** INFO *** - 0.77 8 de.rampro.activitydiary.ui.history.HistoryDetailActivity[170,841][206][S=8]", "[APE] *** INFO *** - 0.53 35 de.rampro.activitydiary.ui.main.MainActivity[1,902][625][S=35]", "[APE] *** INFO *** - 1.00 1 de.rampro.activitydiary.ui.location.MapActivity[26,824][4][S=1]", "[APE] GSTG is updated.", "[APE] GSTG state is NOT changed.", "[APE] Graph Stable Counter: graph (0), state (1), activity (40)", "[APE] Sata Strategy: buffer size (0)", "[APE] 0 TRIVIAL_ACTIVITY", "[APE] 0 SATURATED_STATE", "[APE] 39 USE_BUFFER", "[APE] 896 EARLY_STAGE", "[APE] 0 EPSILON_GREEDY", "[APE] 0 RANDOM", "[APE] 0 NULL", "[APE] 113 BUFFER_LOSS", "[APE] 245 FILL_BUFFER", "[APE] 0 BAD_STATE", "[APE] 7 PROBE", "[APE] 1 g11a357[-1,0][0]@MODEL_CLICKclass=android.widget.ImageButton;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][0,63,147,210][#87f83ae2]", "[APE] 2 g11a358[-1,0][0]@MODEL_CLICKclass=android.widget.Spinner;resource-id=de.rampro.activitydiary:id/timeframeSpinner;enabled=true;long-clickable=true;scrollable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][0,236,1080,299][]", "[APE] 3 g11a359[-1,0][0]@MODEL_LONG_CLICKclass=android.widget.Spinner;resource-id=de.rampro.activitydiary:id/timeframeSpinner;enabled=true;long-clickable=true;scrollable=true;[P=36][T=200][, UNVISITED][S=0.000000][RN=1][0,236,1080,299][]", "[APE] 4 g11a360[-1,0][0]@MODEL_SCROLL_BOTTOM_UPclass=android.widget.Spinner;resource-id=de.rampro.activitydiary:id/timeframeSpinner;enabled=true;long-clickable=true;scrollable=true;[P=44][T=200][, UNVISITED][S=0.000000][RN=1][0,236,1080,299][]", "[APE] 5 g11a361[42,42][1]@MODEL_SCROLL_TOP_DOWNclass=android.widget.Spinner;resource-id=de.rampro.activitydiary:id/timeframeSpinner;enabled=true;long-clickable=true;scrollable=true;[P=26][T=0][][S=1.000000][RN=1][0,236,1080,299][]", "[APE] 6 g11a362[43,47][2]@MODEL_SCROLL_LEFT_RIGHTclass=android.widget.Spinner;resource-id=de.rampro.activitydiary:id/timeframeSpinner;enabled=true;long-clickable=true;scrollable=true;[P=34][T=0][][S=1.000000][RN=1][0,236,1080,299][]", "[APE] 7 g11a363[-1,0][0]@MODEL_SCROLL_RIGHT_LEFTclass=android.widget.Spinner;resource-id=de.rampro.activitydiary:id/timeframeSpinner;enabled=true;long-clickable=true;scrollable=true;[P=36][T=200][, UNVISITED][S=0.000000][RN=1][0,236,1080,299][]", "[APE] 8 g11a364[40,49][3]@MODEL_CLICKclass=android.widget.TextView;resource-id=android:id/text1;enabled=true;clickable=true;[P=42][T=0][][S=1.000000][RN=1][0,239,954,296][Year]", "[APE] 9 g11a365[-1,0][0]@MODEL_CLICKclass=android.widget.ImageView;resource-id=de.rampro.activitydiary:id/img_earlier;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][0,2226,341,2310][]", "[APE] 10 g11a366[905,921][4]@MODEL_CLICKclass=android.widget.TextView;resource-id=de.rampro.activitydiary:id/rangeTextView;enabled=true;clickable=true;[P=42][T=0][][S=1.000000][RN=1][341,2226,738,2311][2033]", "[APE] 11 g11a367[942,942][1]@MODEL_CLICKclass=android.widget.ImageView;resource-id=de.rampro.activitydiary:id/img_later;enabled=true;clickable=true;[P=42][T=0][][S=1.000000][RN=1][738,2226,1080,2310][]", "[APE] 12 g11a368[-1,0][0]@MODEL_BACKg11s26[40,943][12]de.rampro.activitydiary.ui.statistics.StatisticsActivity@-739049123@Naming[0]@[W=7][A=12][P=13][T=200][, UNVISITED]", "[APE] *** INFO *** Check global actions.", "[APE] *** INFO *** - g11a358[-1,0][0]@MODEL_CLICKclass=android.widget.Spinner;resource-id=de.rampro.activitydiary:id/timeframeSpinner;enabled=true;long-clickable=true;scrollable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][0,236,1080,299][]", "[APE] *** INFO *** - g11a359[-1,0][0]@MODEL_LONG_CLICKclass=android.widget.Spinner;resource-id=de.rampro.activitydiary:id/timeframeSpinner;enabled=true;long-clickable=true;scrollable=true;[P=36][T=200][, UNVISITED][S=0.000000][RN=1][0,236,1080,299][]", "[APE] *** INFO *** - g11a360[-1,0][0]@MODEL_SCROLL_BOTTOM_UPclass=android.widget.Spinner;resource-id=de.rampro.activitydiary:id/timeframeSpinner;enabled=true;long-clickable=true;scrollable=true;[P=44][T=200][, UNVISITED][S=0.000000][RN=1][0,236,1080,299][]", "[APE] *** INFO *** - g11a363[-1,0][0]@MODEL_SCROLL_RIGHT_LEFTclass=android.widget.Spinner;resource-id=de.rampro.activitydiary:id/timeframeSpinner;enabled=true;long-clickable=true;scrollable=true;[P=36][T=200][, UNVISITED][S=0.000000][RN=1][0,236,1080,299][]", "[APE] *** INFO *** Check A*BA->B, try to move from A to B.", "[APE] *** INFO *** > - A: g11s26[40,943][12]de.rampro.activitydiary.ui.statistics.StatisticsActivity@-739049123@Naming[0]@[W=7][A=12]", "[APE] *** INFO *** > - B: g11s26[40,943][12]de.rampro.activitydiary.ui.statistics.StatisticsActivity@-739049123@Naming[0]@[W=7][A=12]", "[APE] *** INFO *** Never move to a saturated dialog state (g11s26[40,943][12]de.rampro.activitydiary.ui.statistics.StatisticsActivity@-739049123@Naming[0]@[W=7][A=12]) in ABA.", "[APE] *** INFO *** Find a greedy action in 0-step", "[APE] *** INFO *** Select action g11a359[-1,0][0]@MODEL_LONG_CLICKclass=android.widget.Spinner;resource-id=de.rampro.activitydiary:id/timeframeSpinner;enabled=true;long-clickable=true;scrollable=true;[P=36][T=200][, UNVISITED][S=0.000000][RN=1][0,236,1080,299][] by strategy EARLY_STAGE", "[APE] Last state: g45s176[906,941][18]de.rampro.activitydiary.ui.statistics.StatisticsActivity@601267848@Naming[0]@[W=9][A=12]", "[APE] Last action: g45a2220[941,941][1]@MODEL_CLICKclass=android.widget.Button;resource-id=android:id/button2;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][516,1694,718,1836][CANCEL]", "[APE] Curr state: g11s26[40,943][12]de.rampro.activitydiary.ui.statistics.StatisticsActivity@-739049123@Naming[0]@[W=7][A=12]", "[APE] Curr action: g11a367[942,942][1]@MODEL_CLICKclass=android.widget.ImageView;resource-id=de.rampro.activitydiary:id/img_later;enabled=true;clickable=true;[P=42][T=0][][S=1.000000][RN=1][738,2226,1080,2310][]", "[APE] New state: g11s26[40,943][12]de.rampro.activitydiary.ui.statistics.StatisticsActivity@-739049123@Naming[0]@[W=7][A=12]", "[APE] New action: g11a359[943,943][1]@MODEL_LONG_CLICKclass=android.widget.Spinner;resource-id=de.rampro.activitydiary:id/timeframeSpinner;enabled=true;long-clickable=true;scrollable=true;[P=36][T=200][][S=0.000000][RN=1][0,236,1080,299][]", "[APE] >>>>>>>> SATA end step [943]", "[APE] *** INFO *** EXECUTE action_fp=type=MODEL_LONG_CLICK|activity=de.rampro.activitydiary.ui.statistics.StatisticsActivity|class=android.widget.Spinner|text=|resource_id=de.rampro.activitydiary:id/timeframeSpinner|bounds=0,236,1080,299 target_fp=activity=de.rampro.activitydiary.ui.statistics.StatisticsActivity|class=android.widget.Spinner|text=|resource_id=de.rampro.activitydiary:id/timeframeSpinner action=g11a359[943,943][1]@MODEL_LONG_CLICKclass=android.widget.Spinner;resource-id=de.rampro.activitydiary:id/timeframeSpinner;enabled=true;long-clickable=true;scrollable=true;[P=36][T=200][][S=0.000000][RN=1][0,236,1080,299][]", "[APE] *** INFO *** Fuzzing: generate system key events.", "[APE] *** INFO *** Fuzzing: generate system key events.", "[APE] *** INFO *** Fuzzing: generate system key events.", "[APE] *** INFO *** Fuzzing: generate major navigation events.", "[APE] *** INFO *** Fuzzing: generate major navigation events.", "[APE] *** INFO *** Fuzzing: generate drag.", "[APE] *** INFO *** Fuzzing: generate trackball.", "[APE] *** INFO *** Fuzzing: generate pinch or zoom.", "[APE] *** INFO *** Fuzzing: generate major navigation events.", "[APE] *** INFO *** Fuzzing: generate drag.", "[APE] *** INFO *** Fuzzing: generate pinch or zoom.", "[APE] *** INFO *** Fuzzing: generate major navigation events.", "[APE] *** INFO *** Fuzzing: action #24 events=29 total_events=442", "[APE] *** INFO *** Fuzzing: reset rotation.", ":Sending Touch (ACTION_DOWN): 0:(540.0,267.5)", ":Sending Touch (ACTION_UP): 0:(540.0,267.5)", ":Sending Trackball (ACTION_MOVE): 0:(4.0,1.0)", ":Sending Touch (ACTION_DOWN): 0:(542.0,781.0)", " //[calendar_time:2026-11-07 03:07:17.737 system_uptime:1881085489]", " // Sending event #6800", ":Sending Touch (ACTION_UP): 0:(511.2666,816.9756)", ":Sending Trackball (ACTION_MOVE): 0:(-5.0,-3.0)", ":Sending Touch (ACTION_DOWN): 0:(532.0,2042.0)", ":Sending Touch (ACTION_UP): 0:(531.8154,2034.7715)", ":Sending Trackball (ACTION_MOVE): 0:(-3.0,2.0)", ":Sending Trackball (ACTION_MOVE): 0:(-5.0,-1.0)", ":Sending rotation degree=0, persist=false" ], "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." }