f | [Path 1]: | f | [Path 1]: |
t | 0: Start of execution: Beginning Search | t | 0: Start of execution: Beginning Search |
| 1: Searching: query(Candidate Variable_0) | | 1: Call: query(Candidate Variable_0) |
| 2: Searching: query_daily_rate_second_half(Candidate Variable_0) | | 2: Call: query_daily_rate_second_half(Candidate Variable_0) |
| 3: Searching: monthly_target(Candidate Variable_1) | | 3: Call: monthly_target(Candidate Variable_1) |
| 4: Found: monthly_target(1125) | | 4: Exit: monthly_target(1125) |
| 5: Searching: days_in_first_half(_, Candidate Variable_2) | | 5: Call: days_in_first_half(Candidate Variable_2, Candidate Variable_3) |
| 6: Searching: days_in_month(Candidate Variable_3) | | 6: Call: days_in_month(Candidate Variable_4) |
| 7: Found: days_in_month(30) | | 7: Exit: days_in_month(30) |
| 8: Searching: _15130 is 30+ -15 | | 8: Exit: days_in_first_half(30, 15) |
| 9: Found: 15 is 30+ -15 | | |
| 10: Searching: daily_rate_first_half(1125, 15, Candidate Variable_4) | | 9: Call: daily_rate_first_half(1125, 15, Candidate Variable_5) |
| 11: Searching: _16356 is 1125/15 | | 10: Call: _19948 is 1125/15 |
| 12: Found: 75 is 1125/15 | | 11: Exit: 75 is 1125/15 |
| | | 12: Exit: daily_rate_first_half(1125, 15, 75) |
| 13: Searching: daily_rate_second_half(75, Candidate Variable_0) | | 13: Call: daily_rate_second_half(75, Candidate Variable_0) |
| 14: Searching: _17582 is 75*2 | | 14: Call: _7608 is 75*2 |
| 15: Found: 150 is 75*2 | | 15: Exit: 150 is 75*2 |
| 16: Found: daily_rate_second_half(75, 150) | | 16: Exit: daily_rate_second_half(75, 150) |
| 17: Found: query_daily_rate_second_half(150) | | 17: Exit: query_daily_rate_second_half(150) |
| 18: Found: query(150) | {'Result': 'Answer = 150'} | | 18: Exit: query(150) | {'Result': 'Answer = 150'} |
| | | |