[APE] >>>>>>>> SATA begin step [175][Elapsed: 0000 00:05:00]
[APE] *** INFO *** Explored 5 app activities.
[APE] *** INFO *** Used: 9 MB, Max: 192 MB, Available: 183 MB
[APE] *** INFO *** Create state g12s52[173,173][1]it.feio.android.omninotes.MainActivity@109954311@Naming[0]@[W=11][A=16] for GUI tree GUITree[250@0]@g12s52[173,173][1]it.feio.android.omninotes.MainActivity@109954311@Naming[0]@[W=11][A=16]
[APE] *** INFO *** Pre-checking under-abstracted states takes 0 ms
[APE] *** INFO *** Check over-abstracted states g12s52[173,173][1]it.feio.android.omninotes.MainActivity@109954311@Naming[0]@[W=11][A=16]: #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: g0s4[7,174][6]it.feio.android.omninotes.MainActivity@-228947867@Naming[0]@[W=2][A=2]
[APE]     Action: g0a39[7,174][6]@MODEL_CLICKclass=android.widget.TextView;resource-id=it.feio.android.omninotes:id/md_buttonDefaultPositive;enabled=true;clickable=true;[P=52][T=200][][S=1.000000][RN=1][748,1207,974,1333][ACEUTAR]
[APE]     Target: g12s52[173,175][2]it.feio.android.omninotes.MainActivity@109954311@Naming[0]@[W=11][A=16]
[APE]     Add target result: true
[APE] GSTG(g12): activities (5), states (41), edges (144), unvisited actions (208), visited actions (141)
[APE] *** INFO *** -  0.42   3 it.feio.android.omninotes.CategoryActivity[14,23][11][S=3]
[APE] *** INFO *** -  0.43  13 it.feio.android.omninotes.SettingsActivity[44,155][76][S=13]
[APE] *** INFO *** -  0.30  18 it.feio.android.omninotes.MainActivity[1,175][66][S=18]
[APE] *** INFO *** -  1.00   1 it.feio.android.omninotes.NoteInfosActivity[167,170][2][S=1]
[APE] *** INFO *** -  0.57   6 it.feio.android.omninotes.PasswordActivity[104,145][52][S=6]
[APE] GSTG is updated.
[APE] GSTG state is changed.
[APE] Graph Stable Counter: graph (0), state (0), activity (4)
[APE] === Try to resolve the non-determinism!!
[APE] *** INFO *** Find the non-deterministic edge
[APE] *** INFO *** st1: g1e29[48,48][12]@[H(1),M(0),T(0.000000)] g0s4 =[g0a39]=> g1s13
[APE] *** INFO *** st2: g12e143[207,207][1]@[H(1),M(0),T(0.000000)] g0s4 =[g0a39]=> g12s52
[APE] ##################################
[APE]   0 - class=android.widget.ImageView;resource-id=it.feio.android.omninotes:id/sketch_stroke;enabled=true;clickable=true;
[APE]   1 - class=android.widget.ImageView;resource-id=it.feio.android.omninotes:id/sketch_eraser;enabled=true;clickable=true;
[APE]   2 - class=android.widget.ImageView;resource-id=it.feio.android.omninotes:id/sketch_undo;enabled=true;clickable=true;
[APE]   3 - class=android.widget.ImageView;resource-id=it.feio.android.omninotes:id/sketch_redo;enabled=true;clickable=true;
[APE]   4 - class=android.widget.ImageView;resource-id=it.feio.android.omninotes:id/sketch_erase;enabled=true;clickable=true;
[APE] ----------------------------------
[APE]   0 = class=android.widget.ImageButton;enabled=true;clickable=true;
[APE] ----------------------------------
[APE]   0 + class=android.widget.ImageView;enabled=true;clickable=true;long-clickable=true;
[APE]   1 + class=android.widget.Button;resource-id=it.feio.android.omninotes:id/menu_attachment;enabled=true;clickable=true;
[APE]   2 + class=android.widget.Button;resource-id=it.feio.android.omninotes:id/menu_tag;enabled=true;clickable=true;
[APE]   3 + class=android.widget.Button;resource-id=it.feio.android.omninotes:id/menu_share;enabled=true;clickable=true;
[APE]   4 + class=android.widget.EditText;resource-id=it.feio.android.omninotes:id/detail_title;enabled=true;clickable=true;long-clickable=true;
[APE]   5 + class=android.widget.LinearLayout;resource-id=it.feio.android.omninotes:id/reminder_layout;enabled=true;clickable=true;long-clickable=true;
[APE]   6 + class=android.widget.Button;resource-id=it.feio.android.omninotes:id/menu_category;enabled=true;clickable=true;long-clickable=true;
[APE]   7 + class=android.widget.CheckBox;clickable=true;checkable=true;
[APE]   8 + class=android.widget.EditText;enabled=true;clickable=true;long-clickable=true;
[APE] ##################################
[APE] *** INFO *** Already too many states 18 in the activity it.feio.android.omninotes.MainActivity.
[APE] *** INFO *** Refinement takes 0 ms.
[APE] *** INFO *** No state refinement candidates to filter.
[APE] *** INFO *** Cannot find a new naming that can resolve the non-deterministic transition.
[APE] *** INFO *** Find the non-deterministic edge
[APE] *** INFO *** st1: g1e14[7,9][26]@[H(2),M(1),T(0.000000)] g0s4 =[g0a39]=> g1s10
[APE] *** INFO *** st2: g12e143[207,207][1]@[H(1),M(0),T(0.000000)] g0s4 =[g0a39]=> g12s52
[APE] ##################################
[APE]   0 - class=android.widget.Button;resource-id=it.feio.android.omninotes:id/menu_category;enabled=true;clickable=true;
[APE]   1 - class=android.widget.EditText;resource-id=it.feio.android.omninotes:id/detail_content;enabled=true;clickable=true;long-clickable=true;
[APE]   2 - class=android.widget.Button;resource-id=it.feio.android.omninotes:id/menu_attachment;index=1;enabled=true;clickable=true;
[APE] ----------------------------------
[APE]   0 = class=android.widget.ImageButton;enabled=true;clickable=true;
[APE]   1 = class=android.widget.ImageView;enabled=true;clickable=true;long-clickable=true;
[APE]   2 = class=android.widget.Button;resource-id=it.feio.android.omninotes:id/menu_tag;enabled=true;clickable=true;
[APE]   3 = class=android.widget.Button;resource-id=it.feio.android.omninotes:id/menu_share;enabled=true;clickable=true;
[APE]   4 = class=android.widget.EditText;resource-id=it.feio.android.omninotes:id/detail_title;enabled=true;clickable=true;long-clickable=true;
[APE]   5 = class=android.widget.LinearLayout;resource-id=it.feio.android.omninotes:id/reminder_layout;enabled=true;clickable=true;long-clickable=true;
[APE] ----------------------------------
[APE]   0 + class=android.widget.Button;resource-id=it.feio.android.omninotes:id/menu_attachment;enabled=true;clickable=true;
[APE]   1 + class=android.widget.Button;resource-id=it.feio.android.omninotes:id/menu_category;enabled=true;clickable=true;long-clickable=true;
[APE]   2 + class=android.widget.CheckBox;clickable=true;checkable=true;
[APE]   3 + class=android.widget.EditText;enabled=true;clickable=true;long-clickable=true;
[APE] ##################################
[APE] *** INFO *** Already too many states 18 in the activity it.feio.android.omninotes.MainActivity.
[APE] *** INFO *** Refinement takes 0 ms.
[APE] *** INFO *** No state refinement candidates to filter.
[APE] *** INFO *** Cannot find a new naming that can resolve the non-deterministic transition.
[APE] *** INFO *** Add non-deterministic transtions caused by action g0a39[7,174][6]@MODEL_CLICKclass=android.widget.TextView;resource-id=it.feio.android.omninotes:id/md_buttonDefaultPositive;enabled=true;clickable=true;[P=52][T=200][][S=1.000000][RN=1][748,1207,974,1333][ACEUTAR] to refinement skip set.
[APE] Sata Strategy: buffer size (1)
[APE]      0  TRIVIAL_ACTIVITY
[APE]      0  SATURATED_STATE
[APE]      2  USE_BUFFER
[APE]    169  EARLY_STAGE
[APE]      0  EPSILON_GREEDY
[APE]      0  RANDOM
[APE]      0  NULL
[APE]      1  BUFFER_LOSS
[APE]     26  FILL_BUFFER
[APE]      0  BAD_STATE
[APE]      3  PROBE
[APE]     1 g12a430[-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][#8919d946]
[APE]     2 g12a431[-1,0][0]@MODEL_CLICKclass=android.widget.ImageView;enabled=true;clickable=true;long-clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][975,73,1080,199][]
[APE]     3 g12a432[-1,0][0]@MODEL_LONG_CLICKclass=android.widget.ImageView;enabled=true;clickable=true;long-clickable=true;[P=36][T=200][, UNVISITED][S=0.000000][RN=1][975,73,1080,199][]
[APE]     4 g12a433[-1,0][0]@MODEL_CLICKclass=android.widget.Button;resource-id=it.feio.android.omninotes:id/menu_attachment;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][467,73,594,199][]
[APE]     5 g12a434[-1,0][0]@MODEL_CLICKclass=android.widget.Button;resource-id=it.feio.android.omninotes:id/menu_tag;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][721,73,848,199][]
[APE]     6 g12a435[-1,0][0]@MODEL_CLICKclass=android.widget.Button;resource-id=it.feio.android.omninotes:id/menu_share;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][848,73,975,199][]
[APE]     7 g12a436[-1,0][0]@MODEL_CLICKclass=android.widget.EditText;resource-id=it.feio.android.omninotes:id/detail_title;enabled=true;clickable=true;long-clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][39,231,1059,321][Títulu]
[APE]     8 g12a437[-1,0][0]@MODEL_LONG_CLICKclass=android.widget.EditText;resource-id=it.feio.android.omninotes:id/detail_title;enabled=true;clickable=true;long-clickable=true;[P=36][T=200][, UNVISITED][S=0.000000][RN=1][39,231,1059,321][Títulu]
[APE]     9 g12a438[-1,0][0]@MODEL_CLICKclass=android.widget.LinearLayout;resource-id=it.feio.android.omninotes:id/reminder_layout;enabled=true;clickable=true;long-clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][42,489,1038,594][]
[APE]    10 g12a439[173,173][1]@MODEL_LONG_CLICKclass=android.widget.LinearLayout;resource-id=it.feio.android.omninotes:id/reminder_layout;enabled=true;clickable=true;long-clickable=true;[P=26][T=0][][S=1.000000][RN=1][42,489,1038,594][]
[APE]    11 g12a440[-1,0][0]@MODEL_CLICKclass=android.widget.Button;resource-id=it.feio.android.omninotes:id/menu_category;enabled=true;clickable=true;long-clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][594,73,721,199][]
[APE]    12 g12a441[-1,0][0]@MODEL_LONG_CLICKclass=android.widget.Button;resource-id=it.feio.android.omninotes:id/menu_category;enabled=true;clickable=true;long-clickable=true;[P=36][T=200][, UNVISITED][S=0.000000][RN=1][594,73,721,199][]
[APE]    13 g12a442[-1,0][0]@MODEL_CLICKclass=android.widget.CheckBox;clickable=true;checkable=true;[P=52][T=200][, DISABLED, UNVISITED][S=0.000000][RN=1][142,363,268,489][]
[APE]    14 g12a443[-1,0][0]@MODEL_CLICKclass=android.widget.EditText;enabled=true;clickable=true;long-clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][268,369,954,482][Elementu]
[APE]    15 g12a444[-1,0][0]@MODEL_LONG_CLICKclass=android.widget.EditText;enabled=true;clickable=true;long-clickable=true;[P=36][T=200][, UNVISITED][S=0.000000][RN=1][268,369,954,482][Elementu]
[APE]    16 g12a445[-1,0][0]@MODEL_BACKg12s52[173,175][2]it.feio.android.omninotes.MainActivity@109954311@Naming[0]@[W=11][A=16][P=13][T=200][, UNVISITED]
[APE] *** INFO *** Check global actions.
[APE] *** INFO *** - g12a431[-1,0][0]@MODEL_CLICKclass=android.widget.ImageView;enabled=true;clickable=true;long-clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][975,73,1080,199][]
[APE] *** INFO *** - g12a440[-1,0][0]@MODEL_CLICKclass=android.widget.Button;resource-id=it.feio.android.omninotes:id/menu_category;enabled=true;clickable=true;long-clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][594,73,721,199][]
[APE] *** INFO *** Inconsistent states in action buffer: expected g1s13[32,39][6]it.feio.android.omninotes.MainActivity@767706743@Naming[0]@[W=7][A=7], get g12s52[173,175][2]it.feio.android.omninotes.MainActivity@109954311@Naming[0]@[W=11][A=16]
[APE] ##################################
[APE]   0 - class=android.widget.ImageView;enabled=true;clickable=true;long-clickable=true;
[APE]   1 - class=android.widget.Button;resource-id=it.feio.android.omninotes:id/menu_attachment;enabled=true;clickable=true;
[APE]   2 - class=android.widget.Button;resource-id=it.feio.android.omninotes:id/menu_tag;enabled=true;clickable=true;
[APE]   3 - class=android.widget.Button;resource-id=it.feio.android.omninotes:id/menu_share;enabled=true;clickable=true;
[APE]   4 - class=android.widget.EditText;resource-id=it.feio.android.omninotes:id/detail_title;enabled=true;clickable=true;long-clickable=true;
[APE]   5 - class=android.widget.LinearLayout;resource-id=it.feio.android.omninotes:id/reminder_layout;enabled=true;clickable=true;long-clickable=true;
[APE]   6 - class=android.widget.Button;resource-id=it.feio.android.omninotes:id/menu_category;enabled=true;clickable=true;long-clickable=true;
[APE]   7 - class=android.widget.CheckBox;clickable=true;checkable=true;
[APE]   8 - class=android.widget.EditText;enabled=true;clickable=true;long-clickable=true;
[APE] ----------------------------------
[APE]   0 = class=android.widget.ImageButton;enabled=true;clickable=true;
[APE] ----------------------------------
[APE]   0 + class=android.widget.ImageView;resource-id=it.feio.android.omninotes:id/sketch_stroke;enabled=true;clickable=true;
[APE]   1 + class=android.widget.ImageView;resource-id=it.feio.android.omninotes:id/sketch_eraser;enabled=true;clickable=true;
[APE]   2 + class=android.widget.ImageView;resource-id=it.feio.android.omninotes:id/sketch_undo;enabled=true;clickable=true;
[APE]   3 + class=android.widget.ImageView;resource-id=it.feio.android.omninotes:id/sketch_redo;enabled=true;clickable=true;
[APE]   4 + class=android.widget.ImageView;resource-id=it.feio.android.omninotes:id/sketch_erase;enabled=true;clickable=true;
[APE] ##################################
[APE] *** INFO *** Check A*BA->B, try to move from A to B.
[APE] *** INFO *** > - A: g12s52[173,175][2]it.feio.android.omninotes.MainActivity@109954311@Naming[0]@[W=11][A=16]
[APE] *** INFO *** > - B: g0s4[7,174][6]it.feio.android.omninotes.MainActivity@-228947867@Naming[0]@[W=2][A=2]
[APE] *** INFO *** Never move from a cold state (g12s52[173,175][2]it.feio.android.omninotes.MainActivity@109954311@Naming[0]@[W=11][A=16]) to a hot state (g0s4[7,174][6]it.feio.android.omninotes.MainActivity@-228947867@Naming[0]@[W=2][A=2]) in ABA.
[APE] *** INFO *** Find a greedy action in 0-step
[APE] *** INFO *** Requesting disabling restart.
[APE] *** INFO *** Select action g12a438[-1,0][0]@MODEL_CLICKclass=android.widget.LinearLayout;resource-id=it.feio.android.omninotes:id/reminder_layout;enabled=true;clickable=true;long-clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][42,489,1038,594][] by strategy EARLY_STAGE
[APE] Last  state: g12s52[173,175][2]it.feio.android.omninotes.MainActivity@109954311@Naming[0]@[W=11][A=16]
[APE] Last action: g12a439[173,173][1]@MODEL_LONG_CLICKclass=android.widget.LinearLayout;resource-id=it.feio.android.omninotes:id/reminder_layout;enabled=true;clickable=true;long-clickable=true;[P=26][T=0][][S=1.000000][RN=1][42,489,1038,594][]
[APE] Curr  state: g0s4[7,174][6]it.feio.android.omninotes.MainActivity@-228947867@Naming[0]@[W=2][A=2]
[APE] Curr action: g0a39[7,174][6]@MODEL_CLICKclass=android.widget.TextView;resource-id=it.feio.android.omninotes:id/md_buttonDefaultPositive;enabled=true;clickable=true;[P=52][T=200][][S=1.000000][RN=1][748,1207,974,1333][ACEUTAR]
[APE] New   state: g12s52[173,175][2]it.feio.android.omninotes.MainActivity@109954311@Naming[0]@[W=11][A=16]
[APE] New  action: g12a438[175,175][1]@MODEL_CLICKclass=android.widget.LinearLayout;resource-id=it.feio.android.omninotes:id/reminder_layout;enabled=true;clickable=true;long-clickable=true;[P=52][T=200][][S=0.000000][RN=1][42,489,1038,594][]
[APE] >>>>>>>> SATA end step [175]
[APE] *** INFO *** EXECUTE action_fp=type=MODEL_CLICK|activity=it.feio.android.omninotes.MainActivity|class=android.widget.LinearLayout|text=|resource_id=it.feio.android.omninotes:id/reminder_layout|bounds=42,489,1038,594 target_fp=activity=it.feio.android.omninotes.MainActivity|class=android.widget.LinearLayout|text=|resource_id=it.feio.android.omninotes:id/reminder_layout action=g12a438[175,175][1]@MODEL_CLICKclass=android.widget.LinearLayout;resource-id=it.feio.android.omninotes:id/reminder_layout;enabled=true;clickable=true;long-clickable=true;[P=52][T=200][][S=0.000000][RN=1][42,489,1038,594][]
:Sending Touch (ACTION_DOWN): 0:(540.0,541.5)
:Sending Touch (ACTION_UP): 0:(540.0,541.5)