f1[Path 1]:f1[Path 1]:
t20: Start of execution: Beginning Searcht2 0: Start of execution: Beginning Search
31: Searching: query3 1: Searching: query
42: Searching: great_aunt(elizabeth, rufus)4 2: Searching: great_aunt(elizabeth, rufus)
53: Searching: sibling(elizabeth, Candidate Variable_0)5 3: Searching: sibling(elizabeth, Candidate Variable_0)
64: Found: sibling(elizabeth, george)6 4: Fail: sibling(elizabeth, Candidate Variable_0) | {'Result': 'Search Failed'}
75: Searching: aunt(george, rufus)7 5: Fail: great_aunt(elizabeth, rufus) | {'Result': 'Search Failed'}
86: Searching: nephew(rufus, george)8 6: Fail: query | {'Result': 'Search Failed'}
97: Searching: parent(rufus, Candidate Variable_1)9 
108: Fail: parent(rufus, _8296)
119: Retry: aunt(george, rufus)
1210: Redo: nephew(rufus, george)
1311: Redo: parent(rufus, Candidate Variable_1)
1412: Fail: parent(rufus, _8296)
1513: Fail: nephew(rufus, george)
1614: Fail: aunt(george, rufus)
1715: Retry: great_aunt(elizabeth, rufus)
1816: Redo: sibling(elizabeth, Candidate Variable_0)
1917: Found: sibling(elizabeth, reynaldo)
2018: Searching: aunt(reynaldo, rufus)
2119: Searching: nephew(rufus, reynaldo)
2220: Searching: parent(rufus, Candidate Variable_2)
2321: Fail: parent(rufus, _8296)
2422: Fail: nephew(rufus, reynaldo)
2523: Fail: aunt(reynaldo, rufus)
2624: Fail: great_aunt(elizabeth, rufus)
2725: Fail: query
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op