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: accommodate_field(alcatraz)4 2: Searching: accommodate_field(alcatraz)
5 3: Searching: can_fit_field(Candidate Variable_0, Candidate Variable_1)5 3: Searching: can_fit_field(Candidate Variable_0, Candidate Variable_1)
n6 4: Searching: football_field_length(Candidate Variable_2)n6 4: Searching: football_field_length(Candidate Variable_0)
7 5: Searching: football_field_length(110)7 5: Found: football_field_length(110)
8 6: Searching: football_field_width(Candidate Variable_3)8 6: Searching: football_field_width(Candidate Variable_1)
9 7: Searching: football_field_width(55)9 7: Found: football_field_width(55)
10 8: Searching: 110+55 > 010 8: Searching: 110+55>0
11 9: Searching: 110+55 > 011 9: Found: 110+55>0
12 10: Searching: 110>=50, 55>=25
13 11: Searching: 110>=50, 5012 10: Searching: 110>=50
13 11: Found: 110>=50
14 12: Searching: 55>=2514 12: Searching: 55>=25
n15 13: Searching: 55>=25n15 13: Found: 55>=25
16 14: Found: can_fit_field(110, 55)
17 15: Searching: _24944=alcatraz
18 16: Found: alcatraz=alcatraz
16 14: Searching: alcatraz_dimensions(18, Candidate Variable_4)19 17: Searching: alcatraz_dimensions(Candidate Variable_2, Candidate Variable_3)
17 15: Searching: alcatraz_dimensions(18, 12)
18 16: Searching: 18>=110+20
19 17: Searching: 18>=13020 18: Searching: x=18
20 18: Searching: 12>=55+2021 19: Fail: x=18 | {'Result': 'Search Failed'}
21 19: Searching: 12>=7522 20: Fail: alcatraz_dimensions(Candidate Variable_2, Candidate Variable_3) | {'Result': 'Search Failed'}
22 20: Searching: \+ has_impeding_infrastructure(alcatraz)
23 21: Searching: has_impeding_infrastructure(alcatraz)
24 22: Searching: false
25 23: Searching: false
26 24: Searching: has_adequate_access(alcatraz)
27 25: Searching: true
28 26: Searching: has_adequate_access(alcatraz) | {'Result': 'yes'}
29 27Searching: accommodate_field(alcatraz) | {'Result': 'yes'}23 21Fail: accommodate_field(alcatraz) | {'Result': 'Search Failed'}
24 22: Fail: query | {'Result': 'Search Failed'}
3025
t31 [Path 2]:t
3228: Searching: can_fit_field(Candidate Variable_5, Candidate Variable_6)
3329: Searching: football_field_length(Candidate Variable_7)
3430: Searching: football_field_length(110)
3531: Searching: football_field_width(Candidate Variable_8)
3632: Searching: football_field_width(55)
3733: Searching: 110+55 > 0
3834: Searching: 165 > 0
3935: Searching: 110>=50,55>=25
4036: Searching: 110>=50, 55
4137: Searching: 55>=25
4238: Searching: 55>=25
4339: Searching: alcatraz_dimensions(Candidate Variable_9, Candidate Variable_10)
4440: Searching: 18>=110+20
4541: Searching: 18>=130
4642: Searching: 12>=55+20
4743: Searching: 12>=75
4844: Searching: \+ has_impeding_infrastructure(alcatraz)
4945: Searching: has_impeding_infrastructure(alcatraz)
5046: Searching: false
5147: Searching: false
5248: Searching: has_adequate_access(alcatraz)
5349: Searching: true
5450: Searching: has_adequate_access(alcatraz) | {'Result': 'yes'}
5551: Searching: accommodate_field(alcatraz) | {'Result': 'yes'}
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op