f1[Path 1]:f1[Path 1]:
n2 0: Start of execution: Begining Searchn2 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)
n5 3: Searching: _14512=900n5 3: Searching: _16902=900
6 4: Found: 900=9006 4: Found: 900=900
n7 5: Searching: _15738=8n7 5: Searching: _18128=8
8 6: Found: 8=88 6: Found: 8=8
n9 7: Searching: _16964=30n
10 8: Found: 30=30
11 9: Searching: _18190=8-59 7: Searching: _19354=8-5
12 10: Found: 3=8-510 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)
n14 12: Searching: _19416 is 900*8n14 12: Searching: _21786 is 900*8
15 13: Found: 7200=900*815 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)
n18 16: Searching: _20642 is 7200/1000n18 16: Searching: _24250 is 7200/1000
19 17: Found: 7.2=7200/100019 17: Found: 7.2 is 7200/1000
20 18: Found: kilowatt_hours(7200, 7.2)20 18: Found: kilowatt_hours(7200, 7.2)
n21 19: Searching: new_consumption(900, 3, Candidate Variable_3)n21 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*323 21: Searching: _27330 is 900*
24 22: Found: 2700=900*324 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/100027 25: Searching: _26712 is 2700/1000
28 26: Found: 2.7=2700/100028 26: Found: 2.7 is 2700/1000
29 27: Found: kilowatt_hours(2700, 2.7)29 27: Found: kilowatt_hours(2700, 2.7)
n30 28: Found: new_consumption(900, 3, 2.7)n30 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.732 30: Searching: _32870 is 7.2-2.7
33 31: Found: 4.5 is 7.2-2.733 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)
n36 34: Searching: _31778 is 4.5*30n36 34: Searching: _8224 is 4.5*30
37 35: Found: 135.0 is 4.5*3037 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'}
tt41 
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op