{
  "app": "scarletnotes",
  "condition": "JEV_PAIRWISE",
  "reference": false,
  "run_id": "run_95f70b23a59843b09110e90e309c467e",
  "step": 1590,
  "elapsed_s": "3486.72",
  "selection": {
    "event": "SELECTION_DECISION",
    "step": 1590,
    "monotonic_ns": 1890542973637212,
    "wall_time_ms": 1794001495420,
    "abstraction_version": 71,
    "state_id": "g71s241",
    "model_action_id": "g71a3038",
    "snapshot_reason": "selection",
    "state_visits": 2,
    "state_first_seen": 1578,
    "state_last_seen": 1590,
    "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": "g71a3038,g71a3039,g71a3040,g71a3041",
    "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=com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity|class=android.widget.LinearLayout|text=|resource_id=com.bijoysingh.quicknote:id/reminder_time|bounds=43,1810,1037,1974",
    "selected_resolved_node_count": 1
  },
  "inputs": [
    {
      "input_id": "input-9426",
      "step": "1590",
      "version": "71",
      "elapsed_s": "3486.72",
      "wall_time_ms": "1794001495420",
      "next_input_wall_ms": "1794001496393",
      "input_completed_wall_ms": "1794001495443",
      "input_confirmed": "True",
      "action": "MODEL_CLICK com.bijoysingh.quicknote:id/reminder_time",
      "action_type": "MODEL_CLICK",
      "text": "",
      "content_desc": "",
      "resource_id": "com.bijoysingh.quicknote:id/reminder_time",
      "model_action_id": "g71a3038",
      "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.FrameLayout\"][@resource-id=\"com.bijoysingh.quicknote:id/design_bottom_sheet\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.ScrollView\"][@resource-id=\"com.bijoysingh.quicknote:id/root_layout\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.LinearLayout\"][@resource-id=\"com.bijoysingh.quicknote:id/reminder_time\"][@text=\"\"][@content-desc=\"\"][@index=1][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false']",
      "state_id": "g71s241",
      "source_gui_id": "1766",
      "activity": "com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity",
      "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_95f70b23a59843b09110e90e309c467e.zip!device-output/executor.log:138155",
      "observed_methods_until_next": "29",
      "category_counts": "{\"app_domain\":4,\"third_party\":25}",
      "inventory_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_95f70b23a59843b09110e90e309c467e.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-9427.json"
    }
  ],
  "following_transition": {
    "event": "NATIVE_TRANSITION",
    "step": 1591,
    "monotonic_ns": 1890543891164249,
    "wall_time_ms": 1794001496337,
    "abstraction_version": 71,
    "state_id": "g71s241",
    "model_action_id": "g71a3038",
    "transition_id": "g71e669:1573",
    "new_state": true,
    "new_model_action": true,
    "refinement": false,
    "self_loop": false,
    "activity_unchanged": true,
    "gui_unchanged": false,
    "target_state": "g71s242",
    "input_confirmed": true
  },
  "first_methods_since_inputs": [
    {
      "method": "<com.maubis.scarlet.base.core.note.Reminder: java.util.Calendar toCalendar()>",
      "wall_time_ms": "1794001495433.0",
      "log_line": "55237",
      "category": "app_domain",
      "library": "app_domain",
      "elapsed_s": "3486.733",
      "input_id": "input-9426",
      "step": "1590",
      "action": "MODEL_CLICK com.bijoysingh.quicknote:id/reminder_time",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_95f70b23a59843b09110e90e309c467e.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-9427.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_95f70b23a59843b09110e90e309c467e.zip!device-output/method-logcat.log:55237"
    },
    {
      "method": "<com.maubis.scarlet.base.note.reminders.sheet.ReminderBottomSheet$setListeners$2: void onClick(android.view.View)>",
      "wall_time_ms": "1794001495433.0",
      "log_line": "55235",
      "category": "app_domain",
      "library": "app_domain",
      "elapsed_s": "3486.733",
      "input_id": "input-9426",
      "step": "1590",
      "action": "MODEL_CLICK com.bijoysingh.quicknote:id/reminder_time",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_95f70b23a59843b09110e90e309c467e.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-9427.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_95f70b23a59843b09110e90e309c467e.zip!device-output/method-logcat.log:55235"
    },
    {
      "method": "<com.maubis.scarlet.base.note.reminders.sheet.ReminderBottomSheet: void openTimePickerDialog()>",
      "wall_time_ms": "1794001495433.0",
      "log_line": "55236",
      "category": "app_domain",
      "library": "app_domain",
      "elapsed_s": "3486.733",
      "input_id": "input-9426",
      "step": "1590",
      "action": "MODEL_CLICK com.bijoysingh.quicknote:id/reminder_time",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_95f70b23a59843b09110e90e309c467e.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-9427.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_95f70b23a59843b09110e90e309c467e.zip!device-output/method-logcat.log:55236"
    },
    {
      "method": "<com.maubis.scarlet.base.note.reminders.sheet.ReminderBottomSheet$openTimePickerDialog$dialog$1: void <init>(com.maubis.scarlet.base.note.reminders.sheet.ReminderBottomSheet,java.util.Calendar)>",
      "wall_time_ms": "1794001495434.0",
      "log_line": "55238",
      "category": "app_domain",
      "library": "app_domain",
      "elapsed_s": "3486.734",
      "input_id": "input-9426",
      "step": "1590",
      "action": "MODEL_CLICK com.bijoysingh.quicknote:id/reminder_time",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_95f70b23a59843b09110e90e309c467e.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-9427.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_95f70b23a59843b09110e90e309c467e.zip!device-output/method-logcat.log:55238"
    },
    {
      "method": "<android.support.v7.app.AppCompatViewInflater: android.support.v7.widget.AppCompatRadioButton createRadioButton(android.content.Context,android.util.AttributeSet)>",
      "wall_time_ms": "1794001495438.0",
      "log_line": "55239",
      "category": "third_party",
      "library": "AndroidSupport",
      "elapsed_s": "3486.738",
      "input_id": "input-9426",
      "step": "1590",
      "action": "MODEL_CLICK com.bijoysingh.quicknote:id/reminder_time",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_95f70b23a59843b09110e90e309c467e.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-9427.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_95f70b23a59843b09110e90e309c467e.zip!device-output/method-logcat.log:55239"
    },
    {
      "method": "<android.support.v7.widget.AppCompatRadioButton: void <init>(android.content.Context,android.util.AttributeSet)>",
      "wall_time_ms": "1794001495438.0",
      "log_line": "55240",
      "category": "third_party",
      "library": "AndroidSupport",
      "elapsed_s": "3486.738",
      "input_id": "input-9426",
      "step": "1590",
      "action": "MODEL_CLICK com.bijoysingh.quicknote:id/reminder_time",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_95f70b23a59843b09110e90e309c467e.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-9427.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_95f70b23a59843b09110e90e309c467e.zip!device-output/method-logcat.log:55240"
    },
    {
      "method": "<android.support.v7.widget.AppCompatRadioButton: void <init>(android.content.Context,android.util.AttributeSet,int)>",
      "wall_time_ms": "1794001495438.0",
      "log_line": "55241",
      "category": "third_party",
      "library": "AndroidSupport",
      "elapsed_s": "3486.738",
      "input_id": "input-9426",
      "step": "1590",
      "action": "MODEL_CLICK com.bijoysingh.quicknote:id/reminder_time",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_95f70b23a59843b09110e90e309c467e.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-9427.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_95f70b23a59843b09110e90e309c467e.zip!device-output/method-logcat.log:55241"
    },
    {
      "method": "<android.support.v7.widget.AppCompatCompoundButtonHelper: void <init>(android.widget.CompoundButton)>",
      "wall_time_ms": "1794001495439.0",
      "log_line": "55242",
      "category": "third_party",
      "library": "AndroidSupport",
      "elapsed_s": "3486.739",
      "input_id": "input-9426",
      "step": "1590",
      "action": "MODEL_CLICK com.bijoysingh.quicknote:id/reminder_time",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_95f70b23a59843b09110e90e309c467e.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-9427.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_95f70b23a59843b09110e90e309c467e.zip!device-output/method-logcat.log:55242"
    },
    {
      "method": "<android.support.v7.widget.AppCompatCompoundButtonHelper: void loadFromAttributes(android.util.AttributeSet,int)>",
      "wall_time_ms": "1794001495439.0",
      "log_line": "55243",
      "category": "third_party",
      "library": "AndroidSupport",
      "elapsed_s": "3486.739",
      "input_id": "input-9426",
      "step": "1590",
      "action": "MODEL_CLICK com.bijoysingh.quicknote:id/reminder_time",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_95f70b23a59843b09110e90e309c467e.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-9427.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_95f70b23a59843b09110e90e309c467e.zip!device-output/method-logcat.log:55243"
    },
    {
      "method": "<android.support.v7.app.AppCompatViewInflater: android.support.v7.widget.AppCompatSpinner createSpinner(android.content.Context,android.util.AttributeSet)>",
      "wall_time_ms": "1794001495444.0",
      "log_line": "55244",
      "category": "third_party",
      "library": "AndroidSupport",
      "elapsed_s": "3486.744",
      "input_id": "input-9426",
      "step": "1590",
      "action": "MODEL_CLICK com.bijoysingh.quicknote:id/reminder_time",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_95f70b23a59843b09110e90e309c467e.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-9427.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_95f70b23a59843b09110e90e309c467e.zip!device-output/method-logcat.log:55244"
    },
    {
      "method": "<android.support.v7.widget.AppCompatSpinner: void <clinit>()>",
      "wall_time_ms": "1794001495445.0",
      "log_line": "55245",
      "category": "third_party",
      "library": "AndroidSupport",
      "elapsed_s": "3486.745",
      "input_id": "input-9426",
      "step": "1590",
      "action": "MODEL_CLICK com.bijoysingh.quicknote:id/reminder_time",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_95f70b23a59843b09110e90e309c467e.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-9427.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_95f70b23a59843b09110e90e309c467e.zip!device-output/method-logcat.log:55245"
    },
    {
      "method": "<android.support.v7.widget.AppCompatSpinner: void <init>(android.content.Context,android.util.AttributeSet)>",
      "wall_time_ms": "1794001495445.0",
      "log_line": "55246",
      "category": "third_party",
      "library": "AndroidSupport",
      "elapsed_s": "3486.745",
      "input_id": "input-9426",
      "step": "1590",
      "action": "MODEL_CLICK com.bijoysingh.quicknote:id/reminder_time",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_95f70b23a59843b09110e90e309c467e.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-9427.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_95f70b23a59843b09110e90e309c467e.zip!device-output/method-logcat.log:55246"
    },
    {
      "method": "<android.support.v7.widget.AppCompatSpinner: void <init>(android.content.Context,android.util.AttributeSet,int)>",
      "wall_time_ms": "1794001495445.0",
      "log_line": "55247",
      "category": "third_party",
      "library": "AndroidSupport",
      "elapsed_s": "3486.745",
      "input_id": "input-9426",
      "step": "1590",
      "action": "MODEL_CLICK com.bijoysingh.quicknote:id/reminder_time",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_95f70b23a59843b09110e90e309c467e.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-9427.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_95f70b23a59843b09110e90e309c467e.zip!device-output/method-logcat.log:55247"
    },
    {
      "method": "<android.support.v7.widget.AppCompatSpinner: void <init>(android.content.Context,android.util.AttributeSet,int,int)>",
      "wall_time_ms": "1794001495445.0",
      "log_line": "55248",
      "category": "third_party",
      "library": "AndroidSupport",
      "elapsed_s": "3486.745",
      "input_id": "input-9426",
      "step": "1590",
      "action": "MODEL_CLICK com.bijoysingh.quicknote:id/reminder_time",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_95f70b23a59843b09110e90e309c467e.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-9427.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_95f70b23a59843b09110e90e309c467e.zip!device-output/method-logcat.log:55248"
    },
    {
      "method": "<android.support.v7.widget.AppCompatSpinner: void <init>(android.content.Context,android.util.AttributeSet,int,int,android.content.res.Resources$Theme)>",
      "wall_time_ms": "1794001495445.0",
      "log_line": "55249",
      "category": "third_party",
      "library": "AndroidSupport",
      "elapsed_s": "3486.745",
      "input_id": "input-9426",
      "step": "1590",
      "action": "MODEL_CLICK com.bijoysingh.quicknote:id/reminder_time",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_95f70b23a59843b09110e90e309c467e.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-9427.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_95f70b23a59843b09110e90e309c467e.zip!device-output/method-logcat.log:55249"
    },
    {
      "method": "<android.support.v7.widget.AppCompatSpinner: void setBackgroundDrawable(android.graphics.drawable.Drawable)>",
      "wall_time_ms": "1794001495446.0",
      "log_line": "55250",
      "category": "third_party",
      "library": "AndroidSupport",
      "elapsed_s": "3486.746",
      "input_id": "input-9426",
      "step": "1590",
      "action": "MODEL_CLICK com.bijoysingh.quicknote:id/reminder_time",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_95f70b23a59843b09110e90e309c467e.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-9427.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_95f70b23a59843b09110e90e309c467e.zip!device-output/method-logcat.log:55250"
    },
    {
      "method": "<android.support.v7.widget.TintTypedArray: java.lang.CharSequence[] getTextArray(int)>",
      "wall_time_ms": "1794001495446.0",
      "log_line": "55251",
      "category": "third_party",
      "library": "AndroidSupport",
      "elapsed_s": "3486.746",
      "input_id": "input-9426",
      "step": "1590",
      "action": "MODEL_CLICK com.bijoysingh.quicknote:id/reminder_time",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_95f70b23a59843b09110e90e309c467e.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-9427.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_95f70b23a59843b09110e90e309c467e.zip!device-output/method-logcat.log:55251"
    },
    {
      "method": "<android.support.v7.widget.AppCompatSpinner: void setAdapter(android.widget.SpinnerAdapter)>",
      "wall_time_ms": "1794001495447.0",
      "log_line": "55252",
      "category": "third_party",
      "library": "AndroidSupport",
      "elapsed_s": "3486.747",
      "input_id": "input-9426",
      "step": "1590",
      "action": "MODEL_CLICK com.bijoysingh.quicknote:id/reminder_time",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_95f70b23a59843b09110e90e309c467e.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-9427.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_95f70b23a59843b09110e90e309c467e.zip!device-output/method-logcat.log:55252"
    },
    {
      "method": "<android.support.v7.widget.AppCompatRadioButton: int getCompoundPaddingLeft()>",
      "wall_time_ms": "1794001495450.0",
      "log_line": "55253",
      "category": "third_party",
      "library": "AndroidSupport",
      "elapsed_s": "3486.75",
      "input_id": "input-9426",
      "step": "1590",
      "action": "MODEL_CLICK com.bijoysingh.quicknote:id/reminder_time",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_95f70b23a59843b09110e90e309c467e.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-9427.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_95f70b23a59843b09110e90e309c467e.zip!device-output/method-logcat.log:55253"
    },
    {
      "method": "<android.support.v7.widget.AppCompatCompoundButtonHelper: int getCompoundPaddingLeft(int)>",
      "wall_time_ms": "1794001495451.0",
      "log_line": "55254",
      "category": "third_party",
      "library": "AndroidSupport",
      "elapsed_s": "3486.751",
      "input_id": "input-9426",
      "step": "1590",
      "action": "MODEL_CLICK com.bijoysingh.quicknote:id/reminder_time",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_95f70b23a59843b09110e90e309c467e.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-9427.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_95f70b23a59843b09110e90e309c467e.zip!device-output/method-logcat.log:55254"
    },
    {
      "method": "<android.support.v7.app.AppCompatViewInflater: android.support.v7.widget.AppCompatButton createButton(android.content.Context,android.util.AttributeSet)>",
      "wall_time_ms": "1794001495467.0",
      "log_line": "55255",
      "category": "third_party",
      "library": "AndroidSupport",
      "elapsed_s": "3486.767",
      "input_id": "input-9426",
      "step": "1590",
      "action": "MODEL_CLICK com.bijoysingh.quicknote:id/reminder_time",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_95f70b23a59843b09110e90e309c467e.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-9427.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_95f70b23a59843b09110e90e309c467e.zip!device-output/method-logcat.log:55255"
    },
    {
      "method": "<android.support.v7.widget.AppCompatButton: void <init>(android.content.Context,android.util.AttributeSet)>",
      "wall_time_ms": "1794001495467.0",
      "log_line": "55256",
      "category": "third_party",
      "library": "AndroidSupport",
      "elapsed_s": "3486.767",
      "input_id": "input-9426",
      "step": "1590",
      "action": "MODEL_CLICK com.bijoysingh.quicknote:id/reminder_time",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_95f70b23a59843b09110e90e309c467e.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-9427.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_95f70b23a59843b09110e90e309c467e.zip!device-output/method-logcat.log:55256"
    },
    {
      "method": "<android.support.v7.widget.AppCompatButton: void <init>(android.content.Context,android.util.AttributeSet,int)>",
      "wall_time_ms": "1794001495467.0",
      "log_line": "55257",
      "category": "third_party",
      "library": "AndroidSupport",
      "elapsed_s": "3486.767",
      "input_id": "input-9426",
      "step": "1590",
      "action": "MODEL_CLICK com.bijoysingh.quicknote:id/reminder_time",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_95f70b23a59843b09110e90e309c467e.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-9427.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_95f70b23a59843b09110e90e309c467e.zip!device-output/method-logcat.log:55257"
    },
    {
      "method": "<android.support.v7.widget.AppCompatButton: void setBackgroundDrawable(android.graphics.drawable.Drawable)>",
      "wall_time_ms": "1794001495467.0",
      "log_line": "55258",
      "category": "third_party",
      "library": "AndroidSupport",
      "elapsed_s": "3486.767",
      "input_id": "input-9426",
      "step": "1590",
      "action": "MODEL_CLICK com.bijoysingh.quicknote:id/reminder_time",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_95f70b23a59843b09110e90e309c467e.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-9427.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_95f70b23a59843b09110e90e309c467e.zip!device-output/method-logcat.log:55258"
    },
    {
      "method": "<android.support.v7.widget.AppCompatButton: void onTextChanged(java.lang.CharSequence,int,int,int)>",
      "wall_time_ms": "1794001495468.0",
      "log_line": "55259",
      "category": "third_party",
      "library": "AndroidSupport",
      "elapsed_s": "3486.768",
      "input_id": "input-9426",
      "step": "1590",
      "action": "MODEL_CLICK com.bijoysingh.quicknote:id/reminder_time",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_95f70b23a59843b09110e90e309c467e.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-9427.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_95f70b23a59843b09110e90e309c467e.zip!device-output/method-logcat.log:55259"
    },
    {
      "method": "<android.support.v7.widget.AppCompatButton: void drawableStateChanged()>",
      "wall_time_ms": "1794001495477.0",
      "log_line": "55261",
      "category": "third_party",
      "library": "AndroidSupport",
      "elapsed_s": "3486.777",
      "input_id": "input-9426",
      "step": "1590",
      "action": "MODEL_CLICK com.bijoysingh.quicknote:id/reminder_time",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_95f70b23a59843b09110e90e309c467e.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-9427.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_95f70b23a59843b09110e90e309c467e.zip!device-output/method-logcat.log:55261"
    },
    {
      "method": "<android.support.v7.widget.AppCompatSpinner: void drawableStateChanged()>",
      "wall_time_ms": "1794001495477.0",
      "log_line": "55260",
      "category": "third_party",
      "library": "AndroidSupport",
      "elapsed_s": "3486.777",
      "input_id": "input-9426",
      "step": "1590",
      "action": "MODEL_CLICK com.bijoysingh.quicknote:id/reminder_time",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_95f70b23a59843b09110e90e309c467e.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-9427.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_95f70b23a59843b09110e90e309c467e.zip!device-output/method-logcat.log:55260"
    },
    {
      "method": "<android.support.v7.widget.AppCompatButton: void onLayout(boolean,int,int,int,int)>",
      "wall_time_ms": "1794001495490.0",
      "log_line": "55262",
      "category": "third_party",
      "library": "AndroidSupport",
      "elapsed_s": "3486.79",
      "input_id": "input-9426",
      "step": "1590",
      "action": "MODEL_CLICK com.bijoysingh.quicknote:id/reminder_time",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_95f70b23a59843b09110e90e309c467e.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-9427.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_95f70b23a59843b09110e90e309c467e.zip!device-output/method-logcat.log:55262"
    },
    {
      "method": "<android.support.v7.widget.AppCompatButton: void onInitializeAccessibilityNodeInfo(android.view.accessibility.AccessibilityNodeInfo)>",
      "wall_time_ms": "1794001496255.0",
      "log_line": "55263",
      "category": "third_party",
      "library": "AndroidSupport",
      "elapsed_s": "3487.555",
      "input_id": "input-9426",
      "step": "1590",
      "action": "MODEL_CLICK com.bijoysingh.quicknote:id/reminder_time",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_95f70b23a59843b09110e90e309c467e.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-9427.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_95f70b23a59843b09110e90e309c467e.zip!device-output/method-logcat.log:55263"
    }
  ],
  "first_method_count": 29,
  "category_counts": {
    "app_domain": 4,
    "third_party": 25
  },
  "libraries": {
    "app_domain": 4,
    "AndroidSupport": 25
  },
  "source_screenshot": {
    "local": "cases/run_95f70b23a59843b09110e90e309c467e/run_95f70b23a59843b09110e90e309c467e-step-1590-before.png",
    "source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_95f70b23a59843b09110e90e309c467e.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/ape-state-screenshots/g71s241-1578.png",
    "capture_step": 1578,
    "requested_step": 1590,
    "alignment": "same final-State representative; NOT an exact action-time screenshot"
  },
  "target_screenshot": {
    "local": "cases/run_95f70b23a59843b09110e90e309c467e/run_95f70b23a59843b09110e90e309c467e-step-1590-after.png",
    "source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_95f70b23a59843b09110e90e309c467e.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/ape-state-screenshots/g71s242-1591.png",
    "capture_step": 1591,
    "requested_step": 1591,
    "alignment": "exact step"
  },
  "executor_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_95f70b23a59843b09110e90e309c467e.zip!device-output/executor.log:138155",
  "executor_lines": [
    "[APE] >>>>>>>> SATA begin step [1590][Elapsed: 0000 00:58:06]",
    "[APE] *** INFO *** Explored 5 app activities.",
    "[APE] *** INFO *** Used: 52 MB, Max: 192 MB, Available: 140 MB",
    "[APE] *** INFO *** Create state g71s241[1578,1578][1]com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity@-1943696090@Naming[0]@[W=5][A=5] for GUI tree GUITree[1766@0]@g71s241[1578,1578][1]com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity@-1943696090@Naming[0]@[W=5][A=5]",
    "[APE] *** INFO *** State g71s241[1578,1578][1]com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity@-1943696090@Naming[0]@[W=5][A=5] is excluded from refresh check.",
    "[APE] *** INFO *** Pre-checking under-abstracted states takes 0 ms",
    "[APE] *** INFO *** Check over-abstracted states g71s241[1578,1578][1]com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity@-1943696090@Naming[0]@[W=5][A=5]: #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: g62s196[782,1589][14]com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity@19050904@Naming[3]@[W=3][A=3]",
    "[APE]     Action: g62a2551[1589,1589][1]@MODEL_BACKg62s196[782,1589][14]com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity@19050904@Naming[3]@[W=3][A=3][P=13][T=200][]",
    "[APE]     Target: g71s241[1578,1590][2]com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity@-1943696090@Naming[0]@[W=5][A=5]",
    "[APE]     Add target result: true",
    "[APE] GSTG(g71): activities (5), states (79), edges (669), unvisited actions (305), visited actions (530)",
    "[APE] *** INFO *** -  0.59  28 com.maubis.scarlet.base.MainActivity[1,1575][739][S=28]",
    "[APE] *** INFO *** -  0.69  14 com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity[2,1574][769][S=14]",
    "[APE] *** INFO *** -  0.63  13 com.maubis.scarlet.base.note.creation.activity.CreateListNoteActivity[161,1542][732][S=13]",
    "[APE] *** INFO *** -  0.67  11 com.maubis.scarlet.base.note.selection.activity.SelectNotesActivity[518,1153][117][S=11]",
    "[APE] *** INFO *** -  0.62  13 com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity[562,1590][115][S=13]",
    "[APE] GSTG is updated.",
    "[APE] GSTG state is changed.",
    "[APE] Graph Stable Counter: graph (0), state (0), activity (14)",
    "[APE] Sata Strategy: buffer size (0)",
    "[APE]     25  TRIVIAL_ACTIVITY",
    "[APE]      0  SATURATED_STATE",
    "[APE]    114  USE_BUFFER",
    "[APE]   1049  EARLY_STAGE",
    "[APE]    385  EPSILON_GREEDY",
    "[APE]      0  RANDOM",
    "[APE]      0  NULL",
    "[APE]    153  BUFFER_LOSS",
    "[APE]    387  FILL_BUFFER",
    "[APE]      0  BAD_STATE",
    "[APE]     16  PROBE",
    "[APE]     1 g71a3037[1578,1578][1]@MODEL_CLICKclass=android.widget.LinearLayout;resource-id=com.bijoysingh.quicknote:id/reminder_repeat;enabled=true;clickable=true;[P=22][T=0][][S=1.000000][RN=1][43,1646,1037,1810][]",
    "[APE]     2 g71a3038[-1,0][0]@MODEL_CLICKclass=android.widget.LinearLayout;resource-id=com.bijoysingh.quicknote:id/reminder_time;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][43,1810,1037,1974][]",
    "[APE]     3 g71a3039[-1,0][0]@MODEL_CLICKclass=android.widget.LinearLayout;resource-id=com.bijoysingh.quicknote:id/reminder_date;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][43,1974,1037,2138][]",
    "[APE]     4 g71a3040[-1,0][0]@MODEL_CLICKclass=android.widget.TextView;resource-id=com.bijoysingh.quicknote:id/set_alarm;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][43,2202,1037,2294][DONE]",
    "[APE]     5 g71a3041[-1,0][0]@MODEL_BACKg71s241[1578,1590][2]com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity@-1943696090@Naming[0]@[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: g71s241[1578,1590][2]com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity@-1943696090@Naming[0]@[W=5][A=5]",
    "[APE] *** INFO *** > - B: g62s196[782,1589][14]com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity@19050904@Naming[3]@[W=3][A=3]",
    "[APE] *** INFO *** Never move from a cold state (g71s241[1578,1590][2]com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity@-1943696090@Naming[0]@[W=5][A=5]) to a hot state (g62s196[782,1589][14]com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity@19050904@Naming[3]@[W=3][A=3]) in ABA.",
    "[APE] *** INFO *** Find a greedy action in 0-step",
    "[APE] *** INFO *** Requesting disabling restart.",
    "[APE] *** INFO *** Select action g71a3038[-1,0][0]@MODEL_CLICKclass=android.widget.LinearLayout;resource-id=com.bijoysingh.quicknote:id/reminder_time;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][43,1810,1037,1974][] by strategy EARLY_STAGE",
    "[APE] Last  state: g62s196[782,1589][14]com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity@19050904@Naming[3]@[W=3][A=3]",
    "[APE] Last action: g62a2549[782,1588][7]@MODEL_CLICKclass=android.view.ViewGroup;index=1;enabled=true;clickable=true;[P=42][T=500][][S=1.000000][RN=1][0,2136,1080,2274][]",
    "[APE] Curr  state: g62s196[782,1589][14]com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity@19050904@Naming[3]@[W=3][A=3]",
    "[APE] Curr action: g62a2551[1589,1589][1]@MODEL_BACKg62s196[782,1589][14]com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity@19050904@Naming[3]@[W=3][A=3][P=13][T=200][]",
    "[APE] New   state: g71s241[1578,1590][2]com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity@-1943696090@Naming[0]@[W=5][A=5]",
    "[APE] New  action: g71a3038[1590,1590][1]@MODEL_CLICKclass=android.widget.LinearLayout;resource-id=com.bijoysingh.quicknote:id/reminder_time;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][43,1810,1037,1974][]",
    "[APE] >>>>>>>> SATA end step [1590]",
    "[APE] *** INFO *** EXECUTE action_fp=type=MODEL_CLICK|activity=com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity|class=android.widget.LinearLayout|text=|resource_id=com.bijoysingh.quicknote:id/reminder_time|bounds=43,1810,1037,1974 target_fp=activity=com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity|class=android.widget.LinearLayout|text=|resource_id=com.bijoysingh.quicknote:id/reminder_time action=g71a3038[1590,1590][1]@MODEL_CLICKclass=android.widget.LinearLayout;resource-id=com.bijoysingh.quicknote:id/reminder_time;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][43,1810,1037,1974][]",
    ":Sending Touch (ACTION_DOWN): 0:(540.0,1892.0)",
    ":Sending Touch (ACTION_UP): 0:(540.0,1892.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."
}