f | [Path 1]: | f | [Path 1]: |
n | 0: Start of execution: Begining Search | n | 0: Start of execution: Beginning Search |
| 1: Searching: query(Candidate Variable_0) | | 1: Searching: query(Candidate Variable_0) |
| 2: Searching: calculate_production_rate(Candidate Variable_0) | | 2: Searching: calculate_production_rate(Candidate Variable_0) |
t | 3: Searching: _14512=2 | t | 3: Searching: _14508=400 |
| 4: Found: 2=2 | | 4: Found: 400=400 |
| 5: Searching: _15738=2 | | 5: Searching: _15734=20 |
| 6: Found: 2=2 | | 6: Found: 20=20 |
| 7: Searching: _16964=10 | | 7: Searching: _16960=2 |
| | | 8: Found: 2=2 |
| | | 9: Searching: _18186=2 |
| | | 10: Found: 2=2 |
| | | 11: Searching: _19412=10 |
| 8: Found: 10=10 | | 12: Found: 10=10 |
| 9: Searching: total_toys_produced_by_first_4_workers(2, 2, 10, Candidate Variable_1) | | 13: Searching: total_toys_produced_by_first_4_workers(2, 2, 10, Candidate Variable_1) |
| 10: Searching: _18300 is 2*6*10 | | 14: Searching: _21260 is 2*6*10 |
| 11: Found: 120 is 2*6*10 | | 15: Found: 120 is 2*6*10 |
| 12: Searching: _19554 is 2*4*10 | | 16: Searching: _22498 is 2*4*10 |
| 13: Found: 80 is 2*4*10 | | 17: Found: 80 is 2*4*10 |
| 14: Searching: _20810 is 120+80 | | 18: Searching: _20638 is 120+80 |
| 15: Found: 200 is 120+80 | | 19: Found: 200 is 120+80 |
| 16: Found: total_toys_produced_by_first_4_workers(2, 2, 10, 200) | | 20: Found: total_toys_produced_by_first_4_workers(2, 2, 10, 200) |
| 17: Searching: total_toys_produced_by_all_workers(400, 20, Candidate Variable_2) | | 21: Searching: total_toys_produced_by_all_workers(400, 20, Candidate Variable_2) |
| 18: Searching: _23184 is 400-20 | | 22: Searching: _25586 is 400-20 |
| 19: Found: 380 is 400-20 | | 23: Found: 380 is 400-20 |
| 20: Found: total_toys_produced_by_all_workers(400, 20, 380) | | 24: Found: total_toys_produced_by_all_workers(400, 20, 380) |
| 21: Searching: total_toys_produced_by_fifth_worker(200, 380, Candidate Variable_3) | | 25: Searching: total_toys_produced_by_fifth_worker(200, 380, Candidate Variable_3) |
| 22: Searching: _25566 is 380-200 | | 26: Searching: _28050 is 380-200 |
| 23: Found: 180 is 380-200 | | 27: Found: 180 is 380-200 |
| 24: Found: total_toys_produced_by_fifth_worker(200, 380, 180) | | 28: Found: total_toys_produced_by_fifth_worker(200, 380, 180) |
| 25: Searching: production_rate_fifth_worker(180, 10, Candidate Variable_0) | | 29: Searching: production_rate_fifth_worker(180, 10, Candidate Variable_0) |
| 26: Searching: _27930 is 180/10 | | 30: Searching: _5830 is 180/10 |
| 27: Found: 18.0 is 180/10 | | 31: Found: 18 is 180/10 |
| 28: Found: production_rate_fifth_worker(180, 10, 18.0) | | 32: Found: production_rate_fifth_worker(180, 10, 18) |
| 29: Found: calculate_production_rate(18.0) | | 33: Found: calculate_production_rate(18) |
| 30: Found: query(18.0) | {'Result': 'Rate = 18.0'} | | 34: Found: query(18) | {'Result': 'Rate = 18'} |
| | | |