[APE] >>>>>>>> SATA begin step [22][Elapsed: 0000 00:00:40]
[APE] *** INFO *** Explored 3 app activities.
[APE] *** INFO *** Used: 4 MB, Max: 192 MB, Available: 188 MB
[APE] *** INFO *** Patching this node: android.widget.FrameLayout@org.wikipedia:id/page_toolbar_button_tabs@
[APE] *** INFO *** Patching child node: android.widget.TextView@org.wikipedia:id/tabsCountText@1
[APE] *** INFO *** Create state g3s15[-1,0][0]org.wikipedia.page.PageActivity@1086090180@Naming[0]@[W=11][A=12] for GUI tree GUITree[35@0]@g3s15[-1,0][0]org.wikipedia.page.PageActivity@1086090180@Naming[0]@[W=11][A=12]
[APE] *** INFO *** Pre-checking under-abstracted states takes 0 ms
[APE] *** INFO *** Check over-abstracted states g3s15[-1,0][0]org.wikipedia.page.PageActivity@1086090180@Naming[0]@[W=11][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: g3s14[20,21][2]org.wikipedia.main.MainActivity@702552778@Naming[0]@[W=9][A=9]
[APE]     Action: g3a175[21,21][1]@MODEL_CLICKclass=android.widget.TextView;resource-id=org.wikipedia:id/tabsCountText;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][989,120,1044,173][1]
[APE]     Target: g3s15[22,22][1]org.wikipedia.page.PageActivity@1086090180@Naming[0]@[W=11][A=12]
[APE]     Add target result: true
[APE] GSTG(g3): activities (3), states (11), edges (19), unvisited actions (134), visited actions (18)
[APE] *** INFO *** -  0.08   8 org.wikipedia.main.MainActivity[1,21][14][S=8]
[APE] *** INFO *** -  0.78   2 org.wikipedia.commons.FilePageActivity[9,17][9][S=2]
[APE] *** INFO *** -  0.00   1 org.wikipedia.page.PageActivity[22,22][1][S=1]
[APE] GSTG is updated.
[APE] GSTG state is changed.
[APE] Graph Stable Counter: graph (0), state (0), activity (0)
[APE] Sata Strategy: buffer size (0)
[APE]      0  TRIVIAL_ACTIVITY
[APE]      0  SATURATED_STATE
[APE]      0  USE_BUFFER
[APE]     21  EARLY_STAGE
[APE]      0  EPSILON_GREEDY
[APE]      0  RANDOM
[APE]      0  NULL
[APE]      1  BUFFER_LOSS
[APE]      2  FILL_BUFFER
[APE]      0  BAD_STATE
[APE]      0  PROBE
[APE]     1 g3a179[-1,0][0]@MODEL_CLICKclass=android.widget.TextView;resource-id=org.wikipedia:id/tabsCountText;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][863,120,918,173][1]
[APE]     2 g3a180[-1,0][0]@MODEL_CLICKclass=android.widget.ImageButton;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][0,73,147,220][#f2ff94fe]
[APE]     3 g3a181[-1,0][0]@MODEL_CLICKclass=android.widget.TextView;resource-id=org.wikipedia:id/page_toolbar_button_search;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][147,99,817,194][Search W]
[APE]     4 g3a182[-1,0][0]@MODEL_CLICKclass=android.widget.ImageView;resource-id=org.wikipedia:id/page_toolbar_button_show_overflow_menu;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][954,84,1080,210][]
[APE]     5 g3a183[-1,0][0]@MODEL_CLICKclass=android.webkit.WebView;resource-id=org.wikipedia:id/page_web_view;enabled=true;clickable=true;long-clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][0,63,1080,2337][]
[APE]     6 g3a184[-1,0][0]@MODEL_LONG_CLICKclass=android.webkit.WebView;resource-id=org.wikipedia:id/page_web_view;enabled=true;clickable=true;long-clickable=true;[P=36][T=200][, UNVISITED][S=0.000000][RN=1][0,63,1080,2337][]
[APE]     7 g3a185[-1,0][0]@MODEL_CLICKclass=android.widget.TextView;resource-id=org.wikipedia:id/page_save;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][0,2148,216,2337][Save]
[APE]     8 g3a186[-1,0][0]@MODEL_CLICKclass=android.widget.TextView;resource-id=org.wikipedia:id/page_language;clickable=true;[P=52][T=200][, DISABLED, UNVISITED][S=0.000000][RN=1][216,2148,432,2337][Language]
[APE]     9 g3a187[-1,0][0]@MODEL_CLICKclass=android.widget.TextView;resource-id=org.wikipedia:id/page_find_in_article;clickable=true;[P=52][T=200][, DISABLED, UNVISITED][S=0.000000][RN=1][432,2148,648,2337][Find in ]
[APE]    10 g3a188[-1,0][0]@MODEL_CLICKclass=android.widget.TextView;resource-id=org.wikipedia:id/page_theme;clickable=true;[P=52][T=200][, DISABLED, UNVISITED][S=0.000000][RN=1][648,2148,864,2337][Theme]
[APE]    11 g3a189[-1,0][0]@MODEL_CLICKclass=android.widget.TextView;resource-id=org.wikipedia:id/page_contents;clickable=true;[P=52][T=200][, DISABLED, UNVISITED][S=0.000000][RN=1][864,2148,1080,2337][Contents]
[APE]    12 g3a190[-1,0][0]@MODEL_BACKg3s15[22,22][1]org.wikipedia.page.PageActivity@1086090180@Naming[0]@[W=11][A=12][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: g3s15[22,22][1]org.wikipedia.page.PageActivity@1086090180@Naming[0]@[W=11][A=12]
[APE] *** INFO *** > - B: g3s14[20,21][2]org.wikipedia.main.MainActivity@702552778@Naming[0]@[W=9][A=9]
[APE] *** INFO *** Never move from a cold activity (g3s15[22,22][1]org.wikipedia.page.PageActivity@1086090180@Naming[0]@[W=11][A=12])(org.wikipedia.page.PageActivity[22,22][1][S=1]) to a hot activity (g3s14[20,21][2]org.wikipedia.main.MainActivity@702552778@Naming[0]@[W=9][A=9])(org.wikipedia.main.MainActivity[1,21][14][S=8]) in ABA.
[APE] *** INFO *** Find a greedy action in 0-step
[APE] *** INFO *** Requesting disabling restart.
[APE] *** INFO *** Select action g3a181[-1,0][0]@MODEL_CLICKclass=android.widget.TextView;resource-id=org.wikipedia:id/page_toolbar_button_search;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][147,99,817,194][Search W] by strategy EARLY_STAGE
[APE] Last  state: g3s14[20,21][2]org.wikipedia.main.MainActivity@702552778@Naming[0]@[W=9][A=9]
[APE] Last action: g3a174[20,20][1]@MODEL_CLICKclass=android.widget.ImageView;resource-id=org.wikipedia:id/voice_search_button;enabled=true;clickable=true;[P=42][T=0][][S=1.000000][RN=1][912,239,1038,365][]
[APE] Curr  state: g3s14[20,21][2]org.wikipedia.main.MainActivity@702552778@Naming[0]@[W=9][A=9]
[APE] Curr action: g3a175[21,21][1]@MODEL_CLICKclass=android.widget.TextView;resource-id=org.wikipedia:id/tabsCountText;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][989,120,1044,173][1]
[APE] New   state: g3s15[22,22][1]org.wikipedia.page.PageActivity@1086090180@Naming[0]@[W=11][A=12]
[APE] New  action: g3a181[22,22][1]@MODEL_CLICKclass=android.widget.TextView;resource-id=org.wikipedia:id/page_toolbar_button_search;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][147,99,817,194][Search W]
[APE] >>>>>>>> SATA end step [22]
[APE] *** INFO *** EXECUTE action_fp=type=MODEL_CLICK|activity=org.wikipedia.page.PageActivity|class=android.widget.TextView|text=Search W|resource_id=org.wikipedia:id/page_toolbar_button_search|bounds=147,99,817,194 target_fp=activity=org.wikipedia.page.PageActivity|class=android.widget.TextView|text=Search W|resource_id=org.wikipedia:id/page_toolbar_button_search action=g3a181[22,22][1]@MODEL_CLICKclass=android.widget.TextView;resource-id=org.wikipedia:id/page_toolbar_button_search;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][147,99,817,194][Search W]
:Sending Touch (ACTION_DOWN): 0:(482.0,146.5)
:Sending Touch (ACTION_UP): 0:(482.0,146.5)
    // Allowing start of Intent { cmp=org.wikipedia/.search.SearchActivity } in package org.wikipedia