f | [Path 1]: | f | [Path 1]: |
| 0: Start of execution: Beginning Search | | 0: Start of execution: Beginning Search |
| 1: Searching: query | | 1: Searching: query |
| 2: Searching: compare_episode_counts(Candidate Variable_0, Candidate Variable_1, Candidate Variable_2) | | 2: Searching: compare_episode_counts(Candidate Variable_0, Candidate Variable_1, Candidate Variable_2) |
| 3: Searching: total_seinfeld_episodes(Candidate Variable_3) | | 3: Searching: total_seinfeld_episodes(Candidate Variable_3) |
n | 4: Searching: total_seinfeld_episodes(180) | n | 4: Found: total_seinfeld_episodes(180) |
| 5: Searching: episodes_in_a_year(Candidate Variable_4) | | 5: Searching: episodes_in_a_year(Candidate Variable_4) |
t | 6: Searching: episodes_in_a_year(365) | t | 6: Found: episodes_in_a_year(365) |
| 7: Searching: >(180, 365) | | 7: Searching: 180<365 |
| | | 8: Found: 180<365 |
| | | 9: Searching: _20668=true |
| | | 10: Found: true=true |
| | | 11: Searching: 180=365 |
| 8: Fail: >(180, 365) | {'Result': 'Search Failed'} | | 12: Fail: 180=365 | {'Result': 'Search Failed'} |
| 9: Searching: =(180, 365) | | |
| | | Looking for other paths: Redo: compare_episode_counts(true, Candidate Variable_1, Candidate Variable_5) |
| | | |
| | | |
| | | [Path 2]: |
| | | 13: Searching: _16390=false |
| | | 14: Found: false=false |
| 10: Searching: =(180, 365) | | 15: Searching: 180>365 |
| 11: Searching: query | {'Result': 'yes'} | | 16: Fail: 180>365 | {'Result': 'Search Failed'} |
| | | |
| | | Looking for other paths: Redo: compare_episode_counts(true, false, Candidate Variable_6) |
| | | |
| | | |
| | | [Path 3]: |
| | | 17: Searching: _26798=false |
| | | 18: Found: false=false |
| | | 19: Found: compare_episode_counts(true, false, false) |
| | | 20: Searching: false=true |
| | | 21: Fail: false=true | {'Result': 'Search Failed'} |
| | | 22: Fail: query | {'Result': 'Search Failed'} |
| | | |