f1[Path 1]:f1[Path 1]:
n2 0: Start of execution: Begining Searchn2 0: Start of execution: Beginning Search
3 1: Searching: query3 1: Searching: query
4 2: Searching: compare_areas(miami, uppsala)4 2: Searching: compare_areas(miami, uppsala)
5 3: Searching: city_area(miami, Candidate Variable_0)5 3: Searching: city_area(miami, Candidate Variable_0)
n6 4: Searching: city_area(miami, 143.137)n6 4: Found: city_area(miami, 143.137)
7 5: Searching: city_area(uppsala, Candidate Variable_1)7 5: Searching: city_area(uppsala, Candidate Variable_1)
n8 6: Searching: city_area(uppsala, 47.28)n8 6: Found: city_area(uppsala, 47.28)
9 7: Searching: 143.137=<47.289 7: Searching: 143.137=<47.28
10 8: Fail: 143.137=<47.28 | {'Result': 'Search Failed'}10 8: Fail: 143.137=<47.28 | {'Result': 'Search Failed'}
11 9: Fail: compare_areas(miami, uppsala) | {'Result': 'Search Failed'}11 9: Fail: compare_areas(miami, uppsala) | {'Result': 'Search Failed'}
12 10: Fail: query | {'Result': 'Search Failed'}12 10: Fail: query | {'Result': 'Search Failed'}
tt13 
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op