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: kilowatts_saved(Candidate Variable_0) | | 2: Searching: kilowatts_saved(Candidate Variable_0) |
n | 3: Searching: _14512=900 | n | 3: Searching: _16902=900 |
| 4: Found: 900=900 | | 4: Found: 900=900 |
n | 5: Searching: _15738=8 | n | 5: Searching: _18128=8 |
| 6: Found: 8=8 | | 6: Found: 8=8 |
n | 7: Searching: _16964=30 | n | |
| 8: Found: 30=30 | | |
| 9: Searching: _18190=8-5 | | 7: Searching: _19354=8-5 |
| 10: Found: 3=8-5 | | 8: Found: 8-5=8-5 |
| | | 9: Searching: true |
| | | 10: Found: true |
| 11: Searching: watt_hours(900, 8, Candidate Variable_1) | | 11: Searching: watt_hours(900, 8, Candidate Variable_1) |
n | 12: Searching: _19416 is 900*8 | n | 12: Searching: _21786 is 900*8 |
| 13: Found: 7200=900*8 | | 13: Found: 7200 is 900*8 |
| 14: Found: watt_hours(900, 8, 7200) | | 14: Found: watt_hours(900, 8, 7200) |
| 15: Searching: kilowatt_hours(7200, Candidate Variable_2) | | 15: Searching: kilowatt_hours(7200, Candidate Variable_2) |
n | 16: Searching: _20642 is 7200/1000 | n | 16: Searching: _24250 is 7200/1000 |
| 17: Found: 7.2=7200/1000 | | 17: Found: 7.2 is 7200/1000 |
| 18: Found: kilowatt_hours(7200, 7.2) | | 18: Found: kilowatt_hours(7200, 7.2) |
n | 19: Searching: new_consumption(900, 3, Candidate Variable_3) | n | 19: Searching: new_consumption(900, 8-5, Candidate Variable_3) |
| 20: Searching: watt_hours(900, 3, Candidate Variable_4) | | 20: Searching: watt_hours(900, 8-5, Candidate Variable_4) |
| 21: Searching: _23100 is 900*3 | | 21: Searching: _27330 is 900* |
| 22: Found: 2700=900*3 | | 22: Found: 2700 is 900* |
| 23: Found: watt_hours(900, 3, 2700) | | 23: Found: watt_hours(900, 8-5, 2700) |
| 24: Searching: kilowatt_hours(2700, Candidate Variable_5) | | 24: Searching: kilowatt_hours(2700, Candidate Variable_3) |
| 25: Searching: _26810 is 2700/1000 | | 25: Searching: _26712 is 2700/1000 |
| 26: Found: 2.7=2700/1000 | | 26: Found: 2.7 is 2700/1000 |
| 27: Found: kilowatt_hours(2700, 2.7) | | 27: Found: kilowatt_hours(2700, 2.7) |
n | 28: Found: new_consumption(900, 3, 2.7) | n | 28: Found: new_consumption(900, 8-5, 2.7) |
| 29: Searching: daily_savings(7.2, 2.7, Candidate Variable_0) | | 29: Searching: daily_savings(7.2, 2.7, Candidate Variable_5) |
| 30: Searching: _29294 is 7.2-2.7 | | 30: Searching: _32870 is 7.2-2.7 |
| 31: Found: 4.5 is 7.2-2.7 | | 31: Found: 4.5 is 7.2-2.7 |
| 32: Found: daily_savings(7.2, 2.7, 4.5) | | 32: Found: daily_savings(7.2, 2.7, 4.5) |
| 33: Searching: total_energy_savings(4.5, Candidate Variable_0) | | 33: Searching: total_energy_savings(4.5, Candidate Variable_0) |
n | 34: Searching: _31778 is 4.5*30 | n | 34: Searching: _8224 is 4.5*30 |
| 35: Found: 135.0 is 4.5*30 | | 35: Found: 135.0 is 4.5*30 |
| 36: Found: total_energy_savings(4.5, 135.0) | | 36: Found: total_energy_savings(4.5, 135.0) |
| 37: Found: kilowatts_saved(135.0) | | 37: Found: kilowatts_saved(135.0) |
| 38: Found: query(135.0) | {'Result': 'TotalSavings = 135.0'} | | 38: Found: query(135.0) | {'Result': 'TotalSavings = 135.0'} |
t | | t | |