[APE] >>>>>>>> SATA begin step [322][Elapsed: 0000 00:07:39]
[APE] *** INFO *** Explored 10 app activities.
[APE] *** INFO *** Used: 10 MB, Max: 192 MB, Available: 182 MB
[APE] *** INFO *** Create state g7s18[67,198][2]com.karumi.dexter.DexterActivity@13996659@Naming[0]@[W=1][A=1] for GUI tree GUITree[465@0]@g7s18[67,198][2]com.karumi.dexter.DexterActivity@13996659@Naming[0]@[W=1][A=1]
[APE] *** INFO *** State g7s18[67,198][2]com.karumi.dexter.DexterActivity@13996659@Naming[0]@[W=1][A=1] is excluded from refresh check.
[APE] *** INFO *** Pre-checking under-abstracted states takes 0 ms
[APE] *** INFO *** Check over-abstracted states g7s18[67,198][2]com.karumi.dexter.DexterActivity@13996659@Naming[0]@[W=1][A=1]: #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: g14s65[321,321][1]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@-2084755681@Naming[0]@[W=4][A=5]
[APE]     Action: g14a341[321,321][1]@MODEL_CLICKclass=android.widget.EditText;resource-id=org.odk.collect.android:id/confirmation_field_input;enabled=true;clickable=true;long-clickable=true;[P=52][T=200][][S=0.000000][RN=1][133,1258,947,1399][]
[APE]     Target: g7s18[67,322][3]com.karumi.dexter.DexterActivity@13996659@Naming[0]@[W=1][A=1]
[APE]     Add target result: true
[APE] GSTG(g14): activities (10), states (52), edges (213), unvisited actions (88), visited actions (199)
[APE] *** INFO *** -  0.79   5 org.odk.collect.android.mainmenu.MainMenuActivity[1,298][35][S=5]
[APE] *** INFO *** -  0.95   4 org.odk.collect.android.activities.InstanceChooserList[2,213][37][S=4]
[APE] *** INFO *** -  1.00   1 com.karumi.dexter.DexterActivity[67,322][3][S=1]
[APE] *** INFO *** -  0.69   5 org.odk.collect.android.instancemanagement.send.InstanceUploaderListActivity[39,216][32][S=5]
[APE] *** INFO *** -  0.83   2 org.odk.collect.android.configure.qr.QRCodeTabsActivity[68,74][8][S=2]
[APE] *** INFO *** -  0.69   5 org.odk.collect.android.activities.FormDownloadListActivity[161,234][39][S=5]
[APE] *** INFO *** -  0.87   4 org.odk.collect.android.formlists.blankformlist.BlankFormListActivity[126,227][40][S=4]
[APE] *** INFO *** -  0.53  21 org.odk.collect.android.preferences.screens.ProjectPreferencesActivity[59,321][115][S=21]
[APE] *** INFO *** -  1.00   1 org.odk.collect.android.activities.AboutActivity[291,296][6][S=1]
[APE] *** INFO *** -  0.76   4 org.odk.collect.android.activities.DeleteFormsActivity[81,219][46][S=4]
[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]      7  USE_BUFFER
[APE]    291  EARLY_STAGE
[APE]     20  EPSILON_GREEDY
[APE]      0  RANDOM
[APE]      0  NULL
[APE]     11  BUFFER_LOSS
[APE]     98  FILL_BUFFER
[APE]      0  BAD_STATE
[APE]      3  PROBE
[APE]     1 g7a91[67,198][2]@MODEL_BACKg7s18[67,322][3]com.karumi.dexter.DexterActivity@13996659@Naming[0]@[W=1][A=1][P=8][T=0][]
[APE] *** INFO *** Check global actions.
[APE] *** INFO *** Check A*BA->B, try to move from A to B.
[APE] *** INFO *** > - A: g7s18[67,322][3]com.karumi.dexter.DexterActivity@13996659@Naming[0]@[W=1][A=1]
[APE] *** INFO *** > - B: g14s65[321,321][1]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@-2084755681@Naming[0]@[W=4][A=5]
[APE] *** INFO *** Never move from a cold activity (g7s18[67,322][3]com.karumi.dexter.DexterActivity@13996659@Naming[0]@[W=1][A=1])(com.karumi.dexter.DexterActivity[67,322][3][S=1]) to a hot activity (g14s65[321,321][1]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@-2084755681@Naming[0]@[W=4][A=5])(org.odk.collect.android.preferences.screens.ProjectPreferencesActivity[59,321][115][S=21]) in ABA.
[APE] *** INFO *** Find a path (1/1) to state g11s43[199,211][5]org.odk.collect.android.mainmenu.MainMenuActivity@517960334@Naming[0]@[W=4][A=5] for backtrack.
[APE] *** INFO *** Fill buffer..
[APE] *** INFO ***    0 g11e123[203,203][4]@[H(1),M(0),T(0.000000)] g7s18 =[g7a91]=> g11s43
[APE] *** INFO *** Select action g7a91[67,198][2]@MODEL_BACKg7s18[67,322][3]com.karumi.dexter.DexterActivity@13996659@Naming[0]@[W=1][A=1][P=8][T=200][] by strategy EARLY_STAGE
[APE] Last  state: g12s47[75,320][2]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@-1376228404@Naming[7]@[W=5][A=5]
[APE] Last action: g12a256[320,320][1]@MODEL_CLICKclass=android.widget.LinearLayout;index=2;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][0,615,1080,756][]
[APE] Curr  state: g14s65[321,321][1]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@-2084755681@Naming[0]@[W=4][A=5]
[APE] Curr action: g14a341[321,321][1]@MODEL_CLICKclass=android.widget.EditText;resource-id=org.odk.collect.android:id/confirmation_field_input;enabled=true;clickable=true;long-clickable=true;[P=52][T=200][][S=0.000000][RN=1][133,1258,947,1399][]
[APE] New   state: g7s18[67,322][3]com.karumi.dexter.DexterActivity@13996659@Naming[0]@[W=1][A=1]
[APE] New  action: g7a91[67,322][3]@MODEL_BACKg7s18[67,322][3]com.karumi.dexter.DexterActivity@13996659@Naming[0]@[W=1][A=1][P=8][T=200][]
[APE] >>>>>>>> SATA end step [322]
    // activityResuming(org.odk.collect.android)