f | [Path 1]: | f | [Path 1]: |
n | 0: Start of execution: Begining Search | n | 0: Start of execution: Beginning Search |
| 1: Searching: query | | 1: Searching: query |
| 2: Searching: accommodate_field(alcatraz) | | 2: Searching: accommodate_field(alcatraz) |
| 3: Searching: can_fit_field(Candidate Variable_0, Candidate Variable_1) | | 3: Searching: can_fit_field(Candidate Variable_0, Candidate Variable_1) |
n | 4: Searching: football_field_length(Candidate Variable_2) | n | 4: Searching: football_field_length(Candidate Variable_0) |
| 5: Searching: football_field_length(110) | | 5: Found: football_field_length(110) |
| 6: Searching: football_field_width(Candidate Variable_3) | | 6: Searching: football_field_width(Candidate Variable_1) |
| 7: Searching: football_field_width(55) | | 7: Found: football_field_width(55) |
| 8: Searching: 110+55 > 0 | | 8: Searching: 110+55>0 |
| 9: Searching: 110+55 > 0 | | 9: Found: 110+55>0 |
| 10: Searching: 110>=50, 55>=25 | | |
| 11: Searching: 110>=50, 50 | | 10: Searching: 110>=50 |
| | | 11: Found: 110>=50 |
| 12: Searching: 55>=25 | | 12: Searching: 55>=25 |
n | 13: Searching: 55>=25 | n | 13: Found: 55>=25 |
| | | 14: Found: can_fit_field(110, 55) |
| | | 15: Searching: _24944=alcatraz |
| | | 16: Found: alcatraz=alcatraz |
| 14: Searching: alcatraz_dimensions(18, Candidate Variable_4) | | 17: Searching: alcatraz_dimensions(Candidate Variable_2, Candidate Variable_3) |
| 15: Searching: alcatraz_dimensions(18, 12) | | |
| 16: Searching: 18>=110+20 | | |
| 17: Searching: 18>=130 | | 18: Searching: x=18 |
| 18: Searching: 12>=55+20 | | 19: Fail: x=18 | {'Result': 'Search Failed'} |
| 19: Searching: 12>=75 | | 20: Fail: alcatraz_dimensions(Candidate Variable_2, Candidate Variable_3) | {'Result': 'Search Failed'} |
| 20: Searching: \+ has_impeding_infrastructure(alcatraz) | | |
| 21: Searching: has_impeding_infrastructure(alcatraz) | | |
| 22: Searching: false | | |
| 23: Searching: false | | |
| 24: Searching: has_adequate_access(alcatraz) | | |
| 25: Searching: true | | |
| 26: Searching: has_adequate_access(alcatraz) | {'Result': 'yes'} | | |
| 27: Searching: accommodate_field(alcatraz) | {'Result': 'yes'} | | 21: Fail: accommodate_field(alcatraz) | {'Result': 'Search Failed'} |
| | | 22: Fail: query | {'Result': 'Search Failed'} |
| | | |
t | [Path 2]: | t | |
| 28: Searching: can_fit_field(Candidate Variable_5, Candidate Variable_6) | | |
| 29: Searching: football_field_length(Candidate Variable_7) | | |
| 30: Searching: football_field_length(110) | | |
| 31: Searching: football_field_width(Candidate Variable_8) | | |
| 32: Searching: football_field_width(55) | | |
| 33: Searching: 110+55 > 0 | | |
| 34: Searching: 165 > 0 | | |
| 35: Searching: 110>=50,55>=25 | | |
| 36: Searching: 110>=50, 55 | | |
| 37: Searching: 55>=25 | | |
| 38: Searching: 55>=25 | | |
| 39: Searching: alcatraz_dimensions(Candidate Variable_9, Candidate Variable_10) | | |
| 40: Searching: 18>=110+20 | | |
| 41: Searching: 18>=130 | | |
| 42: Searching: 12>=55+20 | | |
| 43: Searching: 12>=75 | | |
| 44: Searching: \+ has_impeding_infrastructure(alcatraz) | | |
| 45: Searching: has_impeding_infrastructure(alcatraz) | | |
| 46: Searching: false | | |
| 47: Searching: false | | |
| 48: Searching: has_adequate_access(alcatraz) | | |
| 49: Searching: true | | |
| 50: Searching: has_adequate_access(alcatraz) | {'Result': 'yes'} | | |
| 51: Searching: accommodate_field(alcatraz) | {'Result': 'yes'} | | |