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

Legends
Colors
Added
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op