[APE] >>>>>>>> SATA begin step [2][Elapsed: 0000 00:00:05]
[APE] *** INFO *** Explored 2 app activities.
[APE] *** INFO *** Used: 4 MB, Max: 192 MB, Available: 188 MB
[APE] *** INFO *** Create state g1s2[-1,0][0]org.odk.collect.android.activities.InstanceChooserList@236866725@Naming[0]@[W=3][A=3] for GUI tree GUITree[4@0]@g1s2[-1,0][0]org.odk.collect.android.activities.InstanceChooserList@236866725@Naming[0]@[W=3][A=3]
[APE] *** INFO *** Checking new state: g1s2[-1,0][0]org.odk.collect.android.activities.InstanceChooserList@236866725@Naming[0]@[W=3][A=3], iteration: #4
[APE] *** INFO *** getRootInActiveWindowSlow takes 946 ms.
[APE] *** INFO *** Create state g1s2[-1,0][0]org.odk.collect.android.activities.InstanceChooserList@236866725@Naming[0]@[W=3][A=3] for GUI tree GUITree[5@0]@g1s2[-1,0][0]org.odk.collect.android.activities.InstanceChooserList@236866725@Naming[0]@[W=3][A=3]
[APE] *** INFO *** Checking trivial new state: top naming equivalent.
[APE] *** INFO *** Checking new state: g1s2[-1,0][0]org.odk.collect.android.activities.InstanceChooserList@236866725@Naming[0]@[W=3][A=3], iteration: #1
[APE] *** INFO *** getRootInActiveWindowSlow takes 2 ms.
[APE] *** INFO *** Create state g1s2[-1,0][0]org.odk.collect.android.activities.InstanceChooserList@236866725@Naming[0]@[W=3][A=3] for GUI tree GUITree[6@0]@g1s2[-1,0][0]org.odk.collect.android.activities.InstanceChooserList@236866725@Naming[0]@[W=3][A=3]
[APE] *** INFO *** Checking trivial new state: top naming equivalent.
[APE] *** INFO *** Checking new state: g1s2[-1,0][0]org.odk.collect.android.activities.InstanceChooserList@236866725@Naming[0]@[W=3][A=3], iteration: #0
[APE] *** INFO *** getRootInActiveWindowSlow takes 1 ms.
[APE] *** INFO *** Create state g1s2[-1,0][0]org.odk.collect.android.activities.InstanceChooserList@236866725@Naming[0]@[W=3][A=3] for GUI tree GUITree[7@0]@g1s2[-1,0][0]org.odk.collect.android.activities.InstanceChooserList@236866725@Naming[0]@[W=3][A=3]
[APE] *** INFO *** Checking trivial new state: top naming equivalent.
[APE] *** INFO *** State g1s2[-1,0][0]org.odk.collect.android.activities.InstanceChooserList@236866725@Naming[0]@[W=3][A=3] is excluded from future refresh checks.
[APE] *** INFO *** Pre-checking under-abstracted states takes 0 ms
[APE] *** INFO *** Check over-abstracted states g1s2[-1,0][0]org.odk.collect.android.activities.InstanceChooserList@236866725@Naming[0]@[W=3][A=3]: #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: g1s1[1,1][1]org.odk.collect.android.mainmenu.MainMenuActivity@-2032148028@Naming[3]@[W=8][A=8]
[APE]     Action: g1a5[1,1][1]@MODEL_CLICKclass=android.widget.TextView;resource-id=org.odk.collect.android:id/name;index=1;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][231,504,912,567][Drafts]
[APE]     Target: g1s2[2,2][1]org.odk.collect.android.activities.InstanceChooserList@236866725@Naming[0]@[W=3][A=3]
[APE]     Add target result: true
[APE] GSTG(g1): activities (2), states (2), edges (1), unvisited actions (10), visited actions (1)
[APE] *** INFO *** -  0.13   1 org.odk.collect.android.mainmenu.MainMenuActivity[1,1][1][S=1]
[APE] *** INFO *** -  0.00   1 org.odk.collect.android.activities.InstanceChooserList[2,2][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]      1  EARLY_STAGE
[APE]      0  EPSILON_GREEDY
[APE]      0  RANDOM
[APE]      0  NULL
[APE]      0  BUFFER_LOSS
[APE]      0  FILL_BUFFER
[APE]      0  BAD_STATE
[APE]      0  PROBE
[APE]     1 g1a11[-1,0][0]@MODEL_CLICKclass=android.widget.Button;resource-id=org.odk.collect.android:id/menu_sort;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][826,83,953,209][]
[APE]     2 g1a12[-1,0][0]@MODEL_CLICKclass=android.widget.Button;resource-id=org.odk.collect.android:id/menu_filter;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][953,83,1080,209][]
[APE]     3 g1a13[-1,0][0]@MODEL_BACKg1s2[2,2][1]org.odk.collect.android.activities.InstanceChooserList@236866725@Naming[0]@[W=3][A=3][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: g1s2[2,2][1]org.odk.collect.android.activities.InstanceChooserList@236866725@Naming[0]@[W=3][A=3]
[APE] *** INFO *** > - B: g1s1[1,1][1]org.odk.collect.android.mainmenu.MainMenuActivity@-2032148028@Naming[3]@[W=8][A=8]
[APE] *** INFO *** Never move from a cold activity (g1s2[2,2][1]org.odk.collect.android.activities.InstanceChooserList@236866725@Naming[0]@[W=3][A=3])(org.odk.collect.android.activities.InstanceChooserList[2,2][1][S=1]) to a hot activity (g1s1[1,1][1]org.odk.collect.android.mainmenu.MainMenuActivity@-2032148028@Naming[3]@[W=8][A=8])(org.odk.collect.android.mainmenu.MainMenuActivity[1,1][1][S=1]) in ABA.
[APE] *** INFO *** Find a greedy action in 0-step
[APE] *** INFO *** Requesting disabling restart.
[APE] *** INFO *** Select action g1a11[-1,0][0]@MODEL_CLICKclass=android.widget.Button;resource-id=org.odk.collect.android:id/menu_sort;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][826,83,953,209][] by strategy EARLY_STAGE
[APE] Last  state: null
[APE] Last action: null
[APE] Curr  state: g1s1[1,1][1]org.odk.collect.android.mainmenu.MainMenuActivity@-2032148028@Naming[3]@[W=8][A=8]
[APE] Curr action: g1a5[1,1][1]@MODEL_CLICKclass=android.widget.TextView;resource-id=org.odk.collect.android:id/name;index=1;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][231,504,912,567][Drafts]
[APE] New   state: g1s2[2,2][1]org.odk.collect.android.activities.InstanceChooserList@236866725@Naming[0]@[W=3][A=3]
[APE] New  action: g1a11[2,2][1]@MODEL_CLICKclass=android.widget.Button;resource-id=org.odk.collect.android:id/menu_sort;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][826,83,953,209][]
[APE] >>>>>>>> SATA end step [2]
[APE] *** INFO *** EXECUTE action_fp=type=MODEL_CLICK|activity=org.odk.collect.android.activities.InstanceChooserList|class=android.widget.Button|text=|resource_id=org.odk.collect.android:id/menu_sort|bounds=826,83,953,209 target_fp=activity=org.odk.collect.android.activities.InstanceChooserList|class=android.widget.Button|text=|resource_id=org.odk.collect.android:id/menu_sort action=g1a11[2,2][1]@MODEL_CLICKclass=android.widget.Button;resource-id=org.odk.collect.android:id/menu_sort;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][826,83,953,209][]
:Sending Touch (ACTION_DOWN): 0:(889.5,146.0)
:Sending Touch (ACTION_UP): 0:(889.5,146.0)