[APE] >>>>>>>> SATA begin step [440][Elapsed: 0000 00:11:59] [APE] *** INFO *** Explored 7 app activities. [APE] *** INFO *** Used: 13 MB, Max: 192 MB, Available: 179 MB [APE] *** INFO *** Create state g11s85[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-739095996@Naming[44]@[W=3][A=6] for GUI tree GUITree[533@0]@g11s85[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-739095996@Naming[44]@[W=3][A=6] [APE] *** INFO *** Checking new state: g11s85[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-739095996@Naming[44]@[W=3][A=6], iteration: #4 [APE] *** INFO *** getRootInActiveWindowSlow takes 1 ms. [APE] *** INFO *** Create state g11s85[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-739095996@Naming[44]@[W=3][A=6] for GUI tree GUITree[534@0]@g11s85[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-739095996@Naming[44]@[W=3][A=6] [APE] *** INFO *** Checking trivial new state: top naming equivalent. [APE] *** INFO *** Checking new state: g11s85[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-739095996@Naming[44]@[W=3][A=6], iteration: #1 [APE] *** INFO *** getRootInActiveWindowSlow takes 1 ms. [APE] *** INFO *** Create state g11s85[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-739095996@Naming[44]@[W=3][A=6] for GUI tree GUITree[535@0]@g11s85[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-739095996@Naming[44]@[W=3][A=6] [APE] *** INFO *** Checking trivial new state: top naming equivalent. [APE] *** INFO *** Checking new state: g11s85[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-739095996@Naming[44]@[W=3][A=6], iteration: #0 [APE] *** INFO *** getRootInActiveWindowSlow takes 1 ms. [APE] *** INFO *** Create state g11s85[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-739095996@Naming[44]@[W=3][A=6] for GUI tree GUITree[536@0]@g11s85[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-739095996@Naming[44]@[W=3][A=6] [APE] *** INFO *** Checking trivial new state: top naming equivalent. [APE] *** INFO *** State g11s85[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-739095996@Naming[44]@[W=3][A=6] is excluded from future refresh checks. [APE] *** INFO *** Check under-abstracted states g11s85[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-739095996@Naming[44]@[W=3][A=6]: #0 [APE] *** INFO *** Check under-abstracted states collected 10 targets for naming Naming[44]. The state is g11s85[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-739095996@Naming[44]@[W=3][A=6]. #0 [APE] *** INFO *** batchAbstract: refined targets: 10, affected states: 10, threshold: 8, affected threshold. [APE] *** INFO *** Revert a naming from Naming[44] to Naming[0], affect 10 states and 30 trees [APE] *** INFO *** - it.feio.android.omninotes.intro.IntroActivity@-1623050431@Naming[44]@[W=3] [APE] *** INFO *** - it.feio.android.omninotes.intro.IntroActivity@781654979@Naming[44]@[W=3] [APE] *** INFO *** - it.feio.android.omninotes.intro.IntroActivity@-662279309@Naming[44]@[W=3] [APE] *** INFO *** - it.feio.android.omninotes.intro.IntroActivity@305111738@Naming[44]@[W=3] [APE] *** INFO *** - it.feio.android.omninotes.intro.IntroActivity@-1046294252@Naming[44]@[W=3] [APE] *** INFO *** - it.feio.android.omninotes.intro.IntroActivity@-739095996@Naming[44]@[W=3] [APE] *** INFO *** - it.feio.android.omninotes.intro.IntroActivity@68898284@Naming[44]@[W=3] [APE] *** INFO *** - it.feio.android.omninotes.intro.IntroActivity@-475379117@Naming[44]@[W=3] [APE] *** INFO *** - it.feio.android.omninotes.intro.IntroActivity@-424968943@Naming[44]@[W=3] [APE] *** INFO *** - it.feio.android.omninotes.intro.IntroActivity@-116993396@Naming[44]@[W=3] [APE] *** INFO *** Skip naming Naming[44] GUI Tree #86 [APE] *** INFO *** Skip naming Naming[44] GUI Tree #99 [APE] *** INFO *** Skip naming Naming[44] GUI Tree #96 [APE] *** INFO *** Skip naming Naming[44] GUI Tree #73 [APE] *** INFO *** Skip naming Naming[44] GUI Tree #440 [APE] *** INFO *** Skip naming Naming[44] GUI Tree #80 [APE] *** INFO *** Skip naming Naming[44] GUI Tree #92 [APE] *** INFO *** Skip naming Naming[44] GUI Tree #75 [APE] *** INFO *** Skip naming Naming[44] GUI Tree #78 [APE] *** INFO *** Skip naming Naming[44] GUI Tree #81 [APE] *** INFO *** Skip naming Naming[44] GUI Tree #87 [APE] *** INFO *** Skip naming Naming[44] GUI Tree #94 [APE] *** INFO *** Skip naming Naming[44] GUI Tree #95 [APE] *** INFO *** Skip naming Naming[44] GUI Tree #77 [APE] *** INFO *** Skip naming Naming[44] GUI Tree #98 [APE] *** INFO *** Skip naming Naming[44] GUI Tree #97 [APE] *** INFO *** Skip naming Naming[44] GUI Tree #93 [APE] *** INFO *** Skip naming Naming[44] GUI Tree #91 [APE] *** INFO *** Skip naming Naming[44] GUI Tree #82 [APE] *** INFO *** Skip naming Naming[44] GUI Tree #100 [APE] *** INFO *** Skip naming Naming[44] GUI Tree #84 [APE] *** INFO *** Skip naming Naming[44] GUI Tree #88 [APE] *** INFO *** Skip naming Naming[44] GUI Tree #83 [APE] *** INFO *** Skip naming Naming[44] GUI Tree #90 [APE] *** INFO *** Skip naming Naming[44] GUI Tree #74 [APE] *** INFO *** Skip naming Naming[44] GUI Tree #72 [APE] *** INFO *** Skip naming Naming[44] GUI Tree #79 [APE] *** INFO *** Skip naming Naming[44] GUI Tree #76 [APE] *** INFO *** Skip naming Naming[44] GUI Tree #89 [APE] *** INFO *** Skip naming Naming[44] GUI Tree #85 [APE] *** INFO *** Rebuild document for tree #86 [APE] *** INFO *** Update naming for GUITree[140@86]@g7s34[84,93][5]it.feio.android.omninotes.intro.IntroActivity@-475379117@Naming[44]@[W=3][A=6]: existing in dict: Naming[44], current in tree: Naming[44], check in graph: Naming[44], new: Naming[0] [APE] *** INFO *** getNaming for tree GUITree[140@86]@g7s34[84,93][5]it.feio.android.omninotes.intro.IntroActivity@-475379117@Naming[44]@[W=3][A=6]: Source: Naming[0], Target: Naming[44], State: it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3] [APE] *** INFO *** getNaming for tree GUITree[140@86]@g7s34[84,93][5]it.feio.android.omninotes.intro.IntroActivity@-475379117@Naming[44]@[W=3][A=6]: Source: Naming[44], Target: null, State: it.feio.android.omninotes.intro.IntroActivity@-475379117@Naming[44]@[W=3] [APE] *** INFO *** updateNaming: Remove - Source: Naming[44], Target: Naming[0]. [APE] *** INFO *** getNaming for tree GUITree[140@86]@g7s34[84,93][5]it.feio.android.omninotes.intro.IntroActivity@-475379117@Naming[44]@[W=3][A=6]: Source: Naming[0], Target: Naming[44], State: it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3] [APE] *** INFO *** getNaming for tree GUITree[140@86]@g7s34[84,93][5]it.feio.android.omninotes.intro.IntroActivity@-475379117@Naming[44]@[W=3][A=6]: Source: Naming[44], Target: null, State: it.feio.android.omninotes.intro.IntroActivity@-475379117@Naming[44]@[W=3] [APE] *** INFO *** updateNaming: Parent: Naming[0], State: it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3], Child: Naming[44] [APE] *** INFO *** Rebuild document for tree #99 [APE] *** INFO *** Update naming for GUITree[153@99]@g7s36[90,99][5]it.feio.android.omninotes.intro.IntroActivity@-1623050431@Naming[44]@[W=3][A=6]: existing in dict: Naming[44], current in tree: Naming[44], check in graph: Naming[0], new: Naming[0] [APE] *** INFO *** getNaming for tree GUITree[153@99]@g7s36[90,99][5]it.feio.android.omninotes.intro.IntroActivity@-1623050431@Naming[44]@[W=3][A=6]: Source: Naming[0], Target: null, State: it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3] [APE] *** INFO *** Rebuild document for tree #96 [APE] *** INFO *** Update naming for GUITree[150@96]@g7s38[96,100][4]it.feio.android.omninotes.intro.IntroActivity@-424968943@Naming[44]@[W=3][A=6]: existing in dict: Naming[44], current in tree: Naming[44], check in graph: Naming[0], new: Naming[0] [APE] *** INFO *** getNaming for tree GUITree[150@96]@g7s38[96,100][4]it.feio.android.omninotes.intro.IntroActivity@-424968943@Naming[44]@[W=3][A=6]: Source: Naming[0], Target: null, State: it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3] [APE] *** INFO *** Rebuild document for tree #73 [APE] *** INFO *** Update naming for GUITree[127@73]@g7s31[73,87][8]it.feio.android.omninotes.intro.IntroActivity@-662279309@Naming[44]@[W=3][A=6]: existing in dict: Naming[44], current in tree: Naming[44], check in graph: Naming[0], new: Naming[0] [APE] *** INFO *** getNaming for tree GUITree[127@73]@g7s31[73,87][8]it.feio.android.omninotes.intro.IntroActivity@-662279309@Naming[44]@[W=3][A=6]: Source: Naming[0], Target: null, State: it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3] [APE] *** INFO *** Update naming for GUITree[536@440]@g11s85[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-739095996@Naming[44]@[W=3][A=6]: existing in dict: Naming[44], current in tree: Naming[44], check in graph: Naming[0], new: Naming[0] [APE] *** INFO *** getNaming for tree GUITree[536@440]@g11s85[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-739095996@Naming[44]@[W=3][A=6]: Source: Naming[0], Target: null, State: it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3] [APE] *** INFO *** Rebuild document for tree #80 [APE] *** INFO *** Update naming for GUITree[134@80]@g7s31[73,87][8]it.feio.android.omninotes.intro.IntroActivity@-662279309@Naming[44]@[W=3][A=6]: existing in dict: Naming[44], current in tree: Naming[44], check in graph: Naming[0], new: Naming[0] [APE] *** INFO *** getNaming for tree GUITree[134@80]@g7s31[73,87][8]it.feio.android.omninotes.intro.IntroActivity@-662279309@Naming[44]@[W=3][A=6]: Source: Naming[0], Target: null, State: it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3] [APE] *** INFO *** Rebuild document for tree #92 [APE] *** INFO *** Update naming for GUITree[146@92]@g7s36[90,99][5]it.feio.android.omninotes.intro.IntroActivity@-1623050431@Naming[44]@[W=3][A=6]: existing in dict: Naming[44], current in tree: Naming[44], check in graph: Naming[0], new: Naming[0] [APE] *** INFO *** getNaming for tree GUITree[146@92]@g7s36[90,99][5]it.feio.android.omninotes.intro.IntroActivity@-1623050431@Naming[44]@[W=3][A=6]: Source: Naming[0], Target: null, State: it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3] [APE] *** INFO *** Rebuild document for tree #75 [APE] *** INFO *** Update naming for GUITree[129@75]@g7s31[73,87][8]it.feio.android.omninotes.intro.IntroActivity@-662279309@Naming[44]@[W=3][A=6]: existing in dict: Naming[44], current in tree: Naming[44], check in graph: Naming[0], new: Naming[0] [APE] *** INFO *** getNaming for tree GUITree[129@75]@g7s31[73,87][8]it.feio.android.omninotes.intro.IntroActivity@-662279309@Naming[44]@[W=3][A=6]: Source: Naming[0], Target: null, State: it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3] [APE] *** INFO *** Rebuild document for tree #78 [APE] *** INFO *** Update naming for GUITree[132@78]@g7s31[73,87][8]it.feio.android.omninotes.intro.IntroActivity@-662279309@Naming[44]@[W=3][A=6]: existing in dict: Naming[44], current in tree: Naming[44], check in graph: Naming[0], new: Naming[0] [APE] *** INFO *** getNaming for tree GUITree[132@78]@g7s31[73,87][8]it.feio.android.omninotes.intro.IntroActivity@-662279309@Naming[44]@[W=3][A=6]: Source: Naming[0], Target: null, State: it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3] [APE] *** INFO *** Rebuild document for tree #81 [APE] *** INFO *** Update naming for GUITree[135@81]@g7s30[72,81][3]it.feio.android.omninotes.intro.IntroActivity@-116993396@Naming[44]@[W=3][A=6]: existing in dict: Naming[44], current in tree: Naming[44], check in graph: Naming[0], new: Naming[0] [APE] *** INFO *** getNaming for tree GUITree[135@81]@g7s30[72,81][3]it.feio.android.omninotes.intro.IntroActivity@-116993396@Naming[44]@[W=3][A=6]: Source: Naming[0], Target: null, State: it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3] [APE] *** INFO *** Rebuild document for tree #87 [APE] *** INFO *** Update naming for GUITree[141@87]@g7s31[73,87][8]it.feio.android.omninotes.intro.IntroActivity@-662279309@Naming[44]@[W=3][A=6]: existing in dict: Naming[44], current in tree: Naming[44], check in graph: Naming[0], new: Naming[0] [APE] *** INFO *** getNaming for tree GUITree[141@87]@g7s31[73,87][8]it.feio.android.omninotes.intro.IntroActivity@-662279309@Naming[44]@[W=3][A=6]: Source: Naming[0], Target: null, State: it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3] [APE] *** INFO *** Rebuild document for tree #94 [APE] *** INFO *** Update naming for GUITree[148@94]@g7s36[90,99][5]it.feio.android.omninotes.intro.IntroActivity@-1623050431@Naming[44]@[W=3][A=6]: existing in dict: Naming[44], current in tree: Naming[44], check in graph: Naming[0], new: Naming[0] [APE] *** INFO *** getNaming for tree GUITree[148@94]@g7s36[90,99][5]it.feio.android.omninotes.intro.IntroActivity@-1623050431@Naming[44]@[W=3][A=6]: Source: Naming[0], Target: null, State: it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3] [APE] *** INFO *** Rebuild document for tree #95 [APE] *** INFO *** Update naming for GUITree[149@95]@g7s37[95,95][1]it.feio.android.omninotes.intro.IntroActivity@781654979@Naming[44]@[W=3][A=6]: existing in dict: Naming[44], current in tree: Naming[44], check in graph: Naming[0], new: Naming[0] [APE] *** INFO *** getNaming for tree GUITree[149@95]@g7s37[95,95][1]it.feio.android.omninotes.intro.IntroActivity@781654979@Naming[44]@[W=3][A=6]: Source: Naming[0], Target: null, State: it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3] [APE] *** INFO *** Rebuild document for tree #77 [APE] *** INFO *** Update naming for GUITree[131@77]@g7s32[77,77][1]it.feio.android.omninotes.intro.IntroActivity@68898284@Naming[44]@[W=3][A=6]: existing in dict: Naming[44], current in tree: Naming[44], check in graph: Naming[0], new: Naming[0] [APE] *** INFO *** getNaming for tree GUITree[131@77]@g7s32[77,77][1]it.feio.android.omninotes.intro.IntroActivity@68898284@Naming[44]@[W=3][A=6]: Source: Naming[0], Target: null, State: it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3] [APE] *** INFO *** Rebuild document for tree #98 [APE] *** INFO *** Update naming for GUITree[152@98]@g7s38[96,100][4]it.feio.android.omninotes.intro.IntroActivity@-424968943@Naming[44]@[W=3][A=6]: existing in dict: Naming[44], current in tree: Naming[44], check in graph: Naming[0], new: Naming[0] [APE] *** INFO *** getNaming for tree GUITree[152@98]@g7s38[96,100][4]it.feio.android.omninotes.intro.IntroActivity@-424968943@Naming[44]@[W=3][A=6]: Source: Naming[0], Target: null, State: it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3] [APE] *** INFO *** Rebuild document for tree #97 [APE] *** INFO *** Update naming for GUITree[151@97]@g7s38[96,100][4]it.feio.android.omninotes.intro.IntroActivity@-424968943@Naming[44]@[W=3][A=6]: existing in dict: Naming[44], current in tree: Naming[44], check in graph: Naming[0], new: Naming[0] [APE] *** INFO *** getNaming for tree GUITree[151@97]@g7s38[96,100][4]it.feio.android.omninotes.intro.IntroActivity@-424968943@Naming[44]@[W=3][A=6]: Source: Naming[0], Target: null, State: it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3] [APE] *** INFO *** Rebuild document for tree #93 [APE] *** INFO *** Update naming for GUITree[147@93]@g7s34[84,93][5]it.feio.android.omninotes.intro.IntroActivity@-475379117@Naming[44]@[W=3][A=6]: existing in dict: Naming[44], current in tree: Naming[44], check in graph: Naming[0], new: Naming[0] [APE] *** INFO *** getNaming for tree GUITree[147@93]@g7s34[84,93][5]it.feio.android.omninotes.intro.IntroActivity@-475379117@Naming[44]@[W=3][A=6]: Source: Naming[0], Target: null, State: it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3] [APE] *** INFO *** Rebuild document for tree #91 [APE] *** INFO *** Update naming for GUITree[145@91]@g7s36[90,99][5]it.feio.android.omninotes.intro.IntroActivity@-1623050431@Naming[44]@[W=3][A=6]: existing in dict: Naming[44], current in tree: Naming[44], check in graph: Naming[0], new: Naming[0] [APE] *** INFO *** getNaming for tree GUITree[145@91]@g7s36[90,99][5]it.feio.android.omninotes.intro.IntroActivity@-1623050431@Naming[44]@[W=3][A=6]: Source: Naming[0], Target: null, State: it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3] [APE] *** INFO *** Rebuild document for tree #82 [APE] *** INFO *** Update naming for GUITree[136@82]@g7s31[73,87][8]it.feio.android.omninotes.intro.IntroActivity@-662279309@Naming[44]@[W=3][A=6]: existing in dict: Naming[44], current in tree: Naming[44], check in graph: Naming[0], new: Naming[0] [APE] *** INFO *** getNaming for tree GUITree[136@82]@g7s31[73,87][8]it.feio.android.omninotes.intro.IntroActivity@-662279309@Naming[44]@[W=3][A=6]: Source: Naming[0], Target: null, State: it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3] [APE] *** INFO *** Rebuild document for tree #100 [APE] *** INFO *** Update naming for GUITree[154@100]@g7s38[96,100][4]it.feio.android.omninotes.intro.IntroActivity@-424968943@Naming[44]@[W=3][A=6]: existing in dict: Naming[44], current in tree: Naming[44], check in graph: Naming[0], new: Naming[0] [APE] *** INFO *** getNaming for tree GUITree[154@100]@g7s38[96,100][4]it.feio.android.omninotes.intro.IntroActivity@-424968943@Naming[44]@[W=3][A=6]: Source: Naming[0], Target: null, State: it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3] [APE] *** INFO *** Rebuild document for tree #84 [APE] *** INFO *** Update naming for GUITree[138@84]@g7s34[84,93][5]it.feio.android.omninotes.intro.IntroActivity@-475379117@Naming[44]@[W=3][A=6]: existing in dict: Naming[44], current in tree: Naming[44], check in graph: Naming[0], new: Naming[0] [APE] *** INFO *** getNaming for tree GUITree[138@84]@g7s34[84,93][5]it.feio.android.omninotes.intro.IntroActivity@-475379117@Naming[44]@[W=3][A=6]: Source: Naming[0], Target: null, State: it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3] [APE] *** INFO *** Rebuild document for tree #88 [APE] *** INFO *** Update naming for GUITree[142@88]@g7s34[84,93][5]it.feio.android.omninotes.intro.IntroActivity@-475379117@Naming[44]@[W=3][A=6]: existing in dict: Naming[44], current in tree: Naming[44], check in graph: Naming[0], new: Naming[0] [APE] *** INFO *** getNaming for tree GUITree[142@88]@g7s34[84,93][5]it.feio.android.omninotes.intro.IntroActivity@-475379117@Naming[44]@[W=3][A=6]: Source: Naming[0], Target: null, State: it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3] [APE] *** INFO *** Rebuild document for tree #83 [APE] *** INFO *** Update naming for GUITree[137@83]@g7s33[83,83][1]it.feio.android.omninotes.intro.IntroActivity@305111738@Naming[44]@[W=3][A=6]: existing in dict: Naming[44], current in tree: Naming[44], check in graph: Naming[0], new: Naming[0] [APE] *** INFO *** getNaming for tree GUITree[137@83]@g7s33[83,83][1]it.feio.android.omninotes.intro.IntroActivity@305111738@Naming[44]@[W=3][A=6]: Source: Naming[0], Target: null, State: it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3] [APE] *** INFO *** Rebuild document for tree #90 [APE] *** INFO *** Update naming for GUITree[144@90]@g7s36[90,99][5]it.feio.android.omninotes.intro.IntroActivity@-1623050431@Naming[44]@[W=3][A=6]: existing in dict: Naming[44], current in tree: Naming[44], check in graph: Naming[0], new: Naming[0] [APE] *** INFO *** getNaming for tree GUITree[144@90]@g7s36[90,99][5]it.feio.android.omninotes.intro.IntroActivity@-1623050431@Naming[44]@[W=3][A=6]: Source: Naming[0], Target: null, State: it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3] [APE] *** INFO *** Rebuild document for tree #74 [APE] *** INFO *** Update naming for GUITree[128@74]@g7s31[73,87][8]it.feio.android.omninotes.intro.IntroActivity@-662279309@Naming[44]@[W=3][A=6]: existing in dict: Naming[44], current in tree: Naming[44], check in graph: Naming[0], new: Naming[0] [APE] *** INFO *** getNaming for tree GUITree[128@74]@g7s31[73,87][8]it.feio.android.omninotes.intro.IntroActivity@-662279309@Naming[44]@[W=3][A=6]: Source: Naming[0], Target: null, State: it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3] [APE] *** INFO *** Rebuild document for tree #72 [APE] *** INFO *** Update naming for GUITree[126@72]@g7s30[72,81][3]it.feio.android.omninotes.intro.IntroActivity@-116993396@Naming[44]@[W=3][A=6]: existing in dict: Naming[44], current in tree: Naming[44], check in graph: Naming[0], new: Naming[0] [APE] *** INFO *** getNaming for tree GUITree[126@72]@g7s30[72,81][3]it.feio.android.omninotes.intro.IntroActivity@-116993396@Naming[44]@[W=3][A=6]: Source: Naming[0], Target: null, State: it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3] [APE] *** INFO *** Rebuild document for tree #79 [APE] *** INFO *** Update naming for GUITree[133@79]@g7s31[73,87][8]it.feio.android.omninotes.intro.IntroActivity@-662279309@Naming[44]@[W=3][A=6]: existing in dict: Naming[44], current in tree: Naming[44], check in graph: Naming[0], new: Naming[0] [APE] *** INFO *** getNaming for tree GUITree[133@79]@g7s31[73,87][8]it.feio.android.omninotes.intro.IntroActivity@-662279309@Naming[44]@[W=3][A=6]: Source: Naming[0], Target: null, State: it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3] [APE] *** INFO *** Rebuild document for tree #76 [APE] *** INFO *** Update naming for GUITree[130@76]@g7s30[72,81][3]it.feio.android.omninotes.intro.IntroActivity@-116993396@Naming[44]@[W=3][A=6]: existing in dict: Naming[44], current in tree: Naming[44], check in graph: Naming[0], new: Naming[0] [APE] *** INFO *** getNaming for tree GUITree[130@76]@g7s30[72,81][3]it.feio.android.omninotes.intro.IntroActivity@-116993396@Naming[44]@[W=3][A=6]: Source: Naming[0], Target: null, State: it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3] [APE] *** INFO *** Rebuild document for tree #89 [APE] *** INFO *** Update naming for GUITree[143@89]@g7s35[89,89][1]it.feio.android.omninotes.intro.IntroActivity@-1046294252@Naming[44]@[W=3][A=6]: existing in dict: Naming[44], current in tree: Naming[44], check in graph: Naming[0], new: Naming[0] [APE] *** INFO *** getNaming for tree GUITree[143@89]@g7s35[89,89][1]it.feio.android.omninotes.intro.IntroActivity@-1046294252@Naming[44]@[W=3][A=6]: Source: Naming[0], Target: null, State: it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3] [APE] *** INFO *** Rebuild document for tree #85 [APE] *** INFO *** Update naming for GUITree[139@85]@g7s34[84,93][5]it.feio.android.omninotes.intro.IntroActivity@-475379117@Naming[44]@[W=3][A=6]: existing in dict: Naming[44], current in tree: Naming[44], check in graph: Naming[0], new: Naming[0] [APE] *** INFO *** getNaming for tree GUITree[139@85]@g7s34[84,93][5]it.feio.android.omninotes.intro.IntroActivity@-475379117@Naming[44]@[W=3][A=6]: Source: Naming[0], Target: null, State: it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3] [APE] *** INFO *** Start rebuilding model... [APE] *** INFO *** > Removing state g7s32[77,77][1]it.feio.android.omninotes.intro.IntroActivity@68898284@Naming[44]@[W=3][A=6] [APE] *** INFO *** > Removing state g7s35[89,89][1]it.feio.android.omninotes.intro.IntroActivity@-1046294252@Naming[44]@[W=3][A=6] [APE] *** INFO *** > Removing state g11s85[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-739095996@Naming[44]@[W=3][A=6] [APE] *** INFO *** > Removing state g7s36[90,99][5]it.feio.android.omninotes.intro.IntroActivity@-1623050431@Naming[44]@[W=3][A=6] [APE] *** INFO *** > Removing state g7s31[73,87][8]it.feio.android.omninotes.intro.IntroActivity@-662279309@Naming[44]@[W=3][A=6] [APE] *** INFO *** > Removing state g7s37[95,95][1]it.feio.android.omninotes.intro.IntroActivity@781654979@Naming[44]@[W=3][A=6] [APE] *** INFO *** > Removing state g7s33[83,83][1]it.feio.android.omninotes.intro.IntroActivity@305111738@Naming[44]@[W=3][A=6] [APE] *** INFO *** > Removing state g7s34[84,93][5]it.feio.android.omninotes.intro.IntroActivity@-475379117@Naming[44]@[W=3][A=6] [APE] *** INFO *** > Removing state g7s38[96,100][4]it.feio.android.omninotes.intro.IntroActivity@-424968943@Naming[44]@[W=3][A=6] [APE] *** INFO *** > Removing state g7s30[72,81][3]it.feio.android.omninotes.intro.IntroActivity@-116993396@Naming[44]@[W=3][A=6] [APE] *** INFO *** > Removing (10) old states and (26) transitions finished in 0 ms. [APE] *** INFO *** >> state: g7s32[77,77][1]it.feio.android.omninotes.intro.IntroActivity@68898284@Naming[44]@[W=3][A=6] [APE] *** INFO *** >> state: g7s35[89,89][1]it.feio.android.omninotes.intro.IntroActivity@-1046294252@Naming[44]@[W=3][A=6] [APE] *** INFO *** >> state: g11s85[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-739095996@Naming[44]@[W=3][A=6] [APE] *** INFO *** >> state: g7s36[90,99][5]it.feio.android.omninotes.intro.IntroActivity@-1623050431@Naming[44]@[W=3][A=6] [APE] *** INFO *** >> state: g7s31[73,87][8]it.feio.android.omninotes.intro.IntroActivity@-662279309@Naming[44]@[W=3][A=6] [APE] *** INFO *** >> state: g7s37[95,95][1]it.feio.android.omninotes.intro.IntroActivity@781654979@Naming[44]@[W=3][A=6] [APE] *** INFO *** >> state: g7s33[83,83][1]it.feio.android.omninotes.intro.IntroActivity@305111738@Naming[44]@[W=3][A=6] [APE] *** INFO *** >> state: g7s34[84,93][5]it.feio.android.omninotes.intro.IntroActivity@-475379117@Naming[44]@[W=3][A=6] [APE] *** INFO *** >> state: g7s38[96,100][4]it.feio.android.omninotes.intro.IntroActivity@-424968943@Naming[44]@[W=3][A=6] [APE] *** INFO *** >> state: g7s30[72,81][3]it.feio.android.omninotes.intro.IntroActivity@-116993396@Naming[44]@[W=3][A=6] [APE] *** INFO *** >> transition: (g7s38,g7a275,g6s29) [APE] *** INFO *** >> transition: (g7s36,g7a260,g7s36) [APE] *** INFO *** >> transition: (g7s36,g7a262,g7s38) [APE] *** INFO *** >> transition: (g7s36,g7a259,g7s36) [APE] *** INFO *** >> transition: (g7s30,g7a227,g7s32) [APE] *** INFO *** >> transition: (g7s32,g7a240,g7s31) [APE] *** INFO *** >> transition: (g7s31,g7a233,g7s33) [APE] *** INFO *** >> transition: (g7s34,g7a251,g7s35) [APE] *** INFO *** >> transition: (g7s38,g7a273,g7s36) [APE] *** INFO *** >> transition: (g7s35,g7a258,g7s36) [APE] *** INFO *** >> transition: (g7s38,g7a271,g7s38) [APE] *** INFO *** >> transition: (g7s31,g7a229,g7s31) [APE] *** INFO *** >> transition: (g7s38,g7a272,g7s38) [APE] *** INFO *** >> transition: (g7s31,g7a230,g7s31) [APE] *** INFO *** >> transition: (g6s27,g6a208,g7s30) [APE] *** INFO *** >> transition: (g7s31,g7a231,g7s30) [APE] *** INFO *** >> transition: (g7s31,g7a232,g7s34) [APE] *** INFO *** >> transition: (g7s34,g7a247,g7s34) [APE] *** INFO *** >> transition: (g7s34,g7a250,g7s36) [APE] *** INFO *** >> transition: (g7s34,g7a248,g7s34) [APE] *** INFO *** >> transition: (g7s34,g7a249,g7s31) [APE] *** INFO *** >> transition: (g7s33,g7a246,g7s34) [APE] *** INFO *** >> transition: (g7s37,g7a270,g7s38) [APE] *** INFO *** >> transition: (g7s30,g7a226,g7s31) [APE] *** INFO *** >> transition: (g7s36,g7a261,g7s34) [APE] *** INFO *** >> transition: (g7s36,g7a263,g7s37) [APE] *** INFO *** > rebuilding tree #72 [APE] *** INFO *** Create state g12s86[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3][A=6] for GUI tree GUITree[126@72]@g12s86[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3][A=6] [APE] *** INFO *** > rebuilding tree #73 [APE] *** INFO *** Create state g12s86[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3][A=6] for GUI tree GUITree[127@73]@g12s86[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3][A=6] [APE] *** INFO *** > rebuilding tree #74 [APE] *** INFO *** Create state g12s86[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3][A=6] for GUI tree GUITree[128@74]@g12s86[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3][A=6] [APE] *** INFO *** > rebuilding tree #75 [APE] *** INFO *** Create state g12s86[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3][A=6] for GUI tree GUITree[129@75]@g12s86[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3][A=6] [APE] *** INFO *** > rebuilding tree #76 [APE] *** INFO *** Create state g12s86[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3][A=6] for GUI tree GUITree[130@76]@g12s86[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3][A=6] [APE] *** INFO *** > rebuilding tree #77 [APE] *** INFO *** Create state g12s86[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3][A=6] for GUI tree GUITree[131@77]@g12s86[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3][A=6] [APE] *** INFO *** > rebuilding tree #78 [APE] *** INFO *** Create state g12s86[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3][A=6] for GUI tree GUITree[132@78]@g12s86[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3][A=6] [APE] *** INFO *** > rebuilding tree #79 [APE] *** INFO *** Create state g12s86[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3][A=6] for GUI tree GUITree[133@79]@g12s86[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3][A=6] [APE] *** INFO *** > rebuilding tree #80 [APE] *** INFO *** Create state g12s86[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3][A=6] for GUI tree GUITree[134@80]@g12s86[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3][A=6] [APE] *** INFO *** > rebuilding tree #81 [APE] *** INFO *** Create state g12s86[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3][A=6] for GUI tree GUITree[135@81]@g12s86[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3][A=6] [APE] *** INFO *** > rebuilding tree #82 [APE] *** INFO *** Create state g12s86[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3][A=6] for GUI tree GUITree[136@82]@g12s86[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3][A=6] [APE] *** INFO *** > rebuilding tree #83 [APE] *** INFO *** Create state g12s86[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3][A=6] for GUI tree GUITree[137@83]@g12s86[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3][A=6] [APE] *** INFO *** > rebuilding tree #84 [APE] *** INFO *** Create state g12s86[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3][A=6] for GUI tree GUITree[138@84]@g12s86[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3][A=6] [APE] *** INFO *** > rebuilding tree #85 [APE] *** INFO *** Create state g12s86[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3][A=6] for GUI tree GUITree[139@85]@g12s86[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3][A=6] [APE] *** INFO *** > rebuilding tree #86 [APE] *** INFO *** Create state g12s86[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3][A=6] for GUI tree GUITree[140@86]@g12s86[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3][A=6] [APE] *** INFO *** > rebuilding tree #87 [APE] *** INFO *** Create state g12s86[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3][A=6] for GUI tree GUITree[141@87]@g12s86[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3][A=6] [APE] *** INFO *** > rebuilding tree #88 [APE] *** INFO *** Create state g12s86[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3][A=6] for GUI tree GUITree[142@88]@g12s86[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3][A=6] [APE] *** INFO *** > rebuilding tree #89 [APE] *** INFO *** Create state g12s86[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3][A=6] for GUI tree GUITree[143@89]@g12s86[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3][A=6] [APE] *** INFO *** > rebuilding tree #90 [APE] *** INFO *** Create state g12s86[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3][A=6] for GUI tree GUITree[144@90]@g12s86[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3][A=6] [APE] *** INFO *** > rebuilding tree #91 [APE] *** INFO *** Create state g12s86[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3][A=6] for GUI tree GUITree[145@91]@g12s86[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3][A=6] [APE] *** INFO *** > rebuilding tree #92 [APE] *** INFO *** Create state g12s86[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3][A=6] for GUI tree GUITree[146@92]@g12s86[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3][A=6] [APE] *** INFO *** > rebuilding tree #93 [APE] *** INFO *** Create state g12s86[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3][A=6] for GUI tree GUITree[147@93]@g12s86[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3][A=6] [APE] *** INFO *** > rebuilding tree #94 [APE] *** INFO *** Create state g12s86[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3][A=6] for GUI tree GUITree[148@94]@g12s86[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3][A=6] [APE] *** INFO *** > rebuilding tree #95 [APE] *** INFO *** Create state g12s86[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3][A=6] for GUI tree GUITree[149@95]@g12s86[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3][A=6] [APE] *** INFO *** > rebuilding tree #96 [APE] *** INFO *** Create state g12s86[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3][A=6] for GUI tree GUITree[150@96]@g12s86[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3][A=6] [APE] *** INFO *** > rebuilding tree #97 [APE] *** INFO *** Create state g12s86[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3][A=6] for GUI tree GUITree[151@97]@g12s86[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3][A=6] [APE] *** INFO *** > rebuilding tree #98 [APE] *** INFO *** Create state g12s86[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3][A=6] for GUI tree GUITree[152@98]@g12s86[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3][A=6] [APE] *** INFO *** > rebuilding tree #99 [APE] *** INFO *** Create state g12s86[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3][A=6] for GUI tree GUITree[153@99]@g12s86[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3][A=6] [APE] *** INFO *** > rebuilding tree #100 [APE] *** INFO *** Create state g12s86[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3][A=6] for GUI tree GUITree[154@100]@g12s86[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3][A=6] [APE] *** INFO *** > rebuilding tree #440 [APE] *** INFO *** Create state g12s86[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3][A=6] for GUI tree GUITree[536@440]@g12s86[-1,0][0]it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3][A=6] [APE] *** INFO *** > Readding transitions finished in 3 ms. [APE] *** INFO *** Rebuilding model finished in 5 ms, removed 10 states and 26 state transitions, and rebuild 30 tree transitions. [APE] *** INFO *** State abstraction takes 18 ms. [APE] *** INFO *** Check under-abstracted states g12s86[72,100][29]it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3][A=6]: #1 [APE] *** INFO *** Pre-checking under-abstracted states takes 759 ms [APE] *** INFO *** Check over-abstracted states g12s86[72,100][29]it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3][A=6]: #0 [APE] *** INFO *** Checking over-abstracted states takes 0 ms [APE] *** INFO *** Post-checking under-abstracted states takes 0 ms [APE] *** INFO *** Entry state: g12s86[72,440][30]it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3][A=6] [APE] GSTG(g12): activities (5), states (66), edges (291), unvisited actions (382), visited actions (273) [APE] *** INFO *** - 0.37 5 it.feio.android.omninotes.CategoryActivity[14,149][13][S=5] [APE] *** INFO *** - 0.50 13 it.feio.android.omninotes.SettingsActivity[44,71][91][S=13] [APE] *** INFO *** - 0.40 44 it.feio.android.omninotes.MainActivity[1,439][257][S=44] [APE] *** INFO *** - 0.69 2 it.feio.android.omninotes.intro.IntroActivity[72,440][91][S=2] [APE] *** INFO *** - 0.37 2 it.feio.android.omninotes.PasswordActivity[207,277][71][S=2] [APE] GSTG is NOT 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] 1 USE_BUFFER [APE] 358 EARLY_STAGE [APE] 78 EPSILON_GREEDY [APE] 0 RANDOM [APE] 0 NULL [APE] 21 BUFFER_LOSS [APE] 78 FILL_BUFFER [APE] 0 BAD_STATE [APE] 2 PROBE [APE] 1 g12a804[73,96][5]@MODEL_SCROLL_BOTTOM_UPclass=androidx.viewpager.widget.ViewPager;resource-id=it.feio.android.omninotes:id/view_pager;enabled=true;scrollable=true;[P=14][T=0][][S=1.000000][RN=1][0,0,2400,1017][] [APE] 2 g12a805[74,97][5]@MODEL_SCROLL_TOP_DOWNclass=androidx.viewpager.widget.ViewPager;resource-id=it.feio.android.omninotes:id/view_pager;enabled=true;scrollable=true;[P=6][T=0][][S=1.000000][RN=1][0,0,2400,1017][] [APE] 3 g12a806[75,98][5]@MODEL_SCROLL_LEFT_RIGHTclass=androidx.viewpager.widget.ViewPager;resource-id=it.feio.android.omninotes:id/view_pager;enabled=true;scrollable=true;[P=14][T=0][][S=1.000000][RN=1][0,0,2400,1017][] [APE] 4 g12a807[72,99][5]@MODEL_SCROLL_RIGHT_LEFTclass=androidx.viewpager.widget.ViewPager;resource-id=it.feio.android.omninotes:id/view_pager;enabled=true;scrollable=true;[P=6][T=0][][S=1.000000][RN=1][0,0,2400,1017][] [APE] 5 g12a808[76,100][5]@MODEL_CLICKclass=android.widget.ImageButton;resource-id=it.feio.android.omninotes:id/next;enabled=true;clickable=true;[P=32][T=0][][S=1.000000][RN=1][1880,807,2400,975][#dd74c7f7] [APE] 6 g12a809[77,95][4]@MODEL_BACKg12s86[72,440][30]it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3][A=6][P=8][T=0][] [APE] *** INFO *** Check global actions. [APE] *** INFO *** Find a path (1/1) to a greedy state g6s29[101,103][3]it.feio.android.omninotes.intro.IntroActivity@-1959203147@Naming[0]@[W=4][A=7]. [APE] *** INFO *** Fill buffer.. [APE] *** INFO *** 0 g12e290[100,100][2]@[H(1),M(0),T(0.000000)] g12s86 =[g12a808]=> g6s29 [APE] *** INFO *** Select action g12a808[76,100][5]@MODEL_CLICKclass=android.widget.ImageButton;resource-id=it.feio.android.omninotes:id/next;enabled=true;clickable=true;[P=32][T=0][][S=1.000000][RN=1][1880,807,2400,975][#dd74c7f7] by strategy EARLY_STAGE [APE] Last state: null [APE] Last action: null [APE] Curr state: null [APE] Curr action: null [APE] New state: g12s86[72,440][30]it.feio.android.omninotes.intro.IntroActivity@-78905163@Naming[0]@[W=3][A=6] [APE] New action: g12a808[76,440][6]@MODEL_CLICKclass=android.widget.ImageButton;resource-id=it.feio.android.omninotes:id/next;enabled=true;clickable=true;[P=32][T=0][][S=1.000000][RN=1][1880,807,2400,975][#dd74c7f7] [APE] >>>>>>>> SATA end step [440] [APE] *** INFO *** EXECUTE action_fp=type=MODEL_CLICK|activity=it.feio.android.omninotes.intro.IntroActivity|class=android.widget.ImageButton|text=#dd74c7f7|resource_id=it.feio.android.omninotes:id/next|bounds=1880,807,2400,975 target_fp=activity=it.feio.android.omninotes.intro.IntroActivity|class=android.widget.ImageButton|text=#dd74c7f7|resource_id=it.feio.android.omninotes:id/next action=g12a808[76,440][6]@MODEL_CLICKclass=android.widget.ImageButton;resource-id=it.feio.android.omninotes:id/next;enabled=true;clickable=true;[P=32][T=0][][S=1.000000][RN=1][1880,807,2400,975][#dd74c7f7] :Sending Touch (ACTION_DOWN): 0:(2140.0,891.0) :Sending Touch (ACTION_UP): 0:(2140.0,891.0)