[APE] >>>>>>>> SATA begin step [62][Elapsed: 0000 00:01:44]
[APE] *** INFO *** Explored 3 app activities.
[APE] *** INFO *** Used: 4 MB, Max: 192 MB, Available: 188 MB
[APE] *** INFO *** Create state g6s26[60,61][2]it.feio.android.omninotes.SettingsActivity@-315102579@Naming[41]@[W=4][A=4] for GUI tree GUITree[107@0]@g6s26[60,61][2]it.feio.android.omninotes.SettingsActivity@-315102579@Naming[41]@[W=4][A=4]
[APE] *** INFO *** State g6s26[60,61][2]it.feio.android.omninotes.SettingsActivity@-315102579@Naming[41]@[W=4][A=4] is excluded from refresh check.
[APE] *** INFO *** Check under-abstracted states g6s26[60,61][2]it.feio.android.omninotes.SettingsActivity@-315102579@Naming[41]@[W=4][A=4]: #0
[APE] *** INFO *** Check under-abstracted states collected 2 targets for naming Naming[41]. The state is g6s26[60,61][2]it.feio.android.omninotes.SettingsActivity@-315102579@Naming[41]@[W=4][A=4]. #0
[APE] *** INFO *** batchAbstract: refined targets: 2, affected states: 2, threshold: 8, affected threshold.
[APE] *** INFO *** batchAbstract: refined targets: 2 <= threshold: 8 
[APE] *** INFO *** batchAbstract: affected states: 2 <= threshold: 8 
[APE] *** INFO *** Pre-checking under-abstracted states takes 0 ms
[APE] *** INFO *** Check over-abstracted states g6s26[60,61][2]it.feio.android.omninotes.SettingsActivity@-315102579@Naming[41]@[W=4][A=4]: #0
[APE] *** INFO *** Checking over-abstracted states takes 0 ms
[APE] *** INFO *** Check under-abstracted states g6s26[60,61][2]it.feio.android.omninotes.SettingsActivity@-315102579@Naming[41]@[W=4][A=4]: #0
[APE] *** INFO *** Check under-abstracted states collected 2 targets for naming Naming[41]. The state is g6s26[60,61][2]it.feio.android.omninotes.SettingsActivity@-315102579@Naming[41]@[W=4][A=4]. #0
[APE] *** INFO *** batchAbstract: refined targets: 2, affected states: 2, threshold: 8, affected threshold.
[APE] *** INFO *** batchAbstract: refined targets: 2 <= threshold: 8 
[APE] *** INFO *** batchAbstract: affected states: 2 <= threshold: 8 
[APE] *** INFO *** Post-checking under-abstracted states takes 0 ms
[APE] === Adding edge...
[APE]     Source: g6s26[60,62][3]it.feio.android.omninotes.SettingsActivity@-315102579@Naming[41]@[W=4][A=4]
[APE]     Action: g6a210[60,61][2]@MODEL_CLICKclass=android.widget.LinearLayout;enabled=true;clickable=true;[P=50][T=0][][S=1.000000][RN=2][0,445,1080,723][]
[APE]     Target: g6s26[60,62][3]it.feio.android.omninotes.SettingsActivity@-315102579@Naming[41]@[W=4][A=4]
[APE]     Add target result: false
[APE] GSTG(g6): activities (3), states (21), edges (53), unvisited actions (110), visited actions (52)
[APE] *** INFO *** -  0.42   3 it.feio.android.omninotes.CategoryActivity[14,23][11][S=3]
[APE] *** INFO *** -  0.31   6 it.feio.android.omninotes.SettingsActivity[44,62][19][S=6]
[APE] *** INFO *** -  0.31  12 it.feio.android.omninotes.MainActivity[1,43][42][S=12]
[APE] GSTG is NOT updated.
[APE] GSTG state is NOT changed.
[APE] Graph Stable Counter: graph (1), state (2), activity (18)
[APE] Sata Strategy: buffer size (0)
[APE]      0  TRIVIAL_ACTIVITY
[APE]      0  SATURATED_STATE
[APE]      0  USE_BUFFER
[APE]     61  EARLY_STAGE
[APE]      0  EPSILON_GREEDY
[APE]      0  RANDOM
[APE]      0  NULL
[APE]      1  BUFFER_LOSS
[APE]      8  FILL_BUFFER
[APE]      0  BAD_STATE
[APE]      0  PROBE
[APE]     1 g6a209[-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][#47b2d09b]
[APE]     2 g6a210[60,61][2]@MODEL_CLICKclass=android.widget.LinearLayout;enabled=true;clickable=true;[P=42][T=0][][S=1.000000][RN=2][0,445,1080,723][]
[APE]     3 g6a211[-1,0][0]@MODEL_CLICKclass=android.widget.Switch;resource-id=android:id/switch_widget;index=2;enabled=true;checkable=true;[P=60][T=200][, UNVISITED][S=0.000000][RN=2][916,292,1038,363][]
[APE]     4 g6a212[-1,0][0]@MODEL_BACKg6s26[60,62][3]it.feio.android.omninotes.SettingsActivity@-315102579@Naming[41]@[W=4][A=4][P=13][T=200][, UNVISITED]
[APE] *** INFO *** Check global actions.
[APE] *** INFO *** - g6a209[-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][#47b2d09b]
[APE] *** INFO *** - g6a211[-1,0][0]@MODEL_CLICKclass=android.widget.Switch;resource-id=android:id/switch_widget;index=2;enabled=true;checkable=true;[P=60][T=200][, UNVISITED][S=0.000000][RN=2][916,292,1038,363][]
[APE] *** INFO *** Check A*BA->B, try to move from A to B.
[APE] *** INFO *** > - A: g6s26[60,62][3]it.feio.android.omninotes.SettingsActivity@-315102579@Naming[41]@[W=4][A=4]
[APE] *** INFO *** > - B: g6s26[60,62][3]it.feio.android.omninotes.SettingsActivity@-315102579@Naming[41]@[W=4][A=4]
[APE] *** INFO *** Never move from a cold state (g6s26[60,62][3]it.feio.android.omninotes.SettingsActivity@-315102579@Naming[41]@[W=4][A=4]) to a hot state (g6s26[60,62][3]it.feio.android.omninotes.SettingsActivity@-315102579@Naming[41]@[W=4][A=4]) in ABA.
[APE] *** INFO *** Find a greedy action in 0-step
[APE] *** INFO *** Select action g6a209[-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][#47b2d09b] by strategy EARLY_STAGE
[APE] Last  state: g6s26[60,62][3]it.feio.android.omninotes.SettingsActivity@-315102579@Naming[41]@[W=4][A=4]
[APE] Last action: g6a210[60,61][2]@MODEL_CLICKclass=android.widget.LinearLayout;enabled=true;clickable=true;[P=42][T=0][][S=1.000000][RN=2][0,445,1080,723][]
[APE] Curr  state: g6s26[60,62][3]it.feio.android.omninotes.SettingsActivity@-315102579@Naming[41]@[W=4][A=4]
[APE] Curr action: g6a210[60,61][2]@MODEL_CLICKclass=android.widget.LinearLayout;enabled=true;clickable=true;[P=42][T=0][][S=1.000000][RN=2][0,445,1080,723][]
[APE] New   state: g6s26[60,62][3]it.feio.android.omninotes.SettingsActivity@-315102579@Naming[41]@[W=4][A=4]
[APE] New  action: g6a209[62,62][1]@MODEL_CLICKclass=android.widget.ImageButton;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][0,63,147,210][#47b2d09b]
[APE] >>>>>>>> SATA end step [62]
[APE] *** INFO *** EXECUTE action_fp=type=MODEL_CLICK|activity=it.feio.android.omninotes.SettingsActivity|class=android.widget.ImageButton|text=#47b2d09b|resource_id=|bounds=0,63,147,210 target_fp=activity=it.feio.android.omninotes.SettingsActivity|class=android.widget.ImageButton|text=#47b2d09b|resource_id= action=g6a209[62,62][1]@MODEL_CLICKclass=android.widget.ImageButton;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][0,63,147,210][#47b2d09b]
:Sending Touch (ACTION_DOWN): 0:(73.5,136.5)
:Sending Touch (ACTION_UP): 0:(73.5,136.5)