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: Searching: query(Candidate Variable_0) |
| 2: Searching: total_cost(Candidate Variable_0) | | 2: Searching: total_cost(Candidate Variable_0) |
| 3: Searching: total_movies(Candidate Variable_1) | | 3: Searching: total_movies(Candidate Variable_1) |
| 4: Found: total_movies(600) | | 4: Found: total_movies(600) |
| 5: Searching: series_movies(600, Candidate Variable_2, Candidate Variable_3) | | 5: Searching: series_movies(600, Candidate Variable_2, Candidate Variable_3) |
| 6: Searching: _14512 is 600//3 | | 6: Searching: _17812 is 600//3 |
| 7: Found: 200 is 600//3 | | 7: Found: 200 is 600//3 |
| 8: Searching: _14514 is 200*6 | | 8: Searching: _17814 is 200*6 |
| 9: Found: 1200 is 200*6 | | 9: Found: 1200 is 200*6 |
| 10: Found: series_movies(600, 200, 1200) | | 10: Found: series_movies(600, 200, 1200) |
| 11: Searching: older_movies(600, 200, Candidate Variable_4, Candidate Variable_5) | | 11: Searching: older_movies(600, 200, Candidate Variable_4, Candidate Variable_5) |
| 12: Searching: _14516 is 600-200 | | 12: Searching: _22132 is 600-200 |
| 13: Found: 400 is 600-200 | | 13: Found: 400 is 600-200 |
| 14: Searching: _14518 is 0.40*400 | | 14: Searching: _21508 is 0.4*400 |
| 15: Found: 160 is 0.40*400 | | 15: Found: 160.0 is 0.4*400 |
| 16: Searching: _14520 is 160*5 | | 16: Searching: _21510 is 160.0*5 |
| 17: Found: 800 is 160*5 | | 17: Found: 800.0 is 160.0*5 |
| 18: Found: older_movies(600, 200, 160, 800) | | 18: Found: older_movies(600, 200, 160.0, 800.0) |
| 19: Searching: normal_movies(600, 200, 160, Candidate Variable_6, Candidate Variable_7) | | 19: Searching: normal_movies(600, 200, 160.0, Candidate Variable_6, Candidate Variable_7) |
| 20: Searching: _14522 is 600-200-160 | | 20: Searching: _27088 is 600-200-160.0 |
| 21: Found: 240 is 600-200-160 | | 21: Found: 240.0 is 600-200-160.0 |
| 22: Searching: _14524 is 240*10 | | 22: Searching: _28332 is 240.0 |
| 23: Found: 2400 is 240*10 | | 23: Found: 240.0 is 240.0 |
| | | 24: Searching: _26462 is 240.0*10 |
| | | 25: Found: 2400.0 is 240.0*10 |
| 24: Found: normal_movies(600, 200, 160, 240, 2400) | | 26: Found: normal_movies(600, 200, 160.0, 240.0, 2400.0) |
| 25: Searching: _14526 is 1200+800+2400 | | 27: Searching: _7916 is 1200+800.0+2400.0 |
| 26: Found: 4400 is 1200+800+2400 | | 28: Found: 4400.0 is 1200+800.0+2400.0 |
| 27: Found: total_cost(4400) | | 29: Found: total_cost(4400.0) |
| 28: Found: query(4400) | {'Result': 'TotalCost = 4400'} | | 30: Found: query(4400.0) | {'Result': 'TotalCost = 4400.0'} |
| | | |