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: query_total_water_cost(Candidate Variable_0)4 2: Searching: query_total_water_cost(Candidate Variable_0)
tt5 3: Searching: _14508=2
6 4: Found: 2=2
7 5: Searching: _15734=20
8 6: Found: 20=20
9 7: Searching: _16960=0.15
10 8: Found: 0.15=0.15
5 3: Searching: total_water_cost(2, 20, 0.15, Candidate Variable_0)11 9: Searching: total_water_cost(2, 20, 0.15, Candidate Variable_0)
6 4: Searching: _14512 is 2*5212 10: Searching: _18812 is 2*52
7 5: Found: 104 is 2*5213 11: Found: 104 is 2*52
8 6: Searching: _15738 is 104*2014 12: Searching: _20044 is 104*20
9 7: Found: 2080 is 104*2015 13: Found: 2080 is 104*20
10 8: Searching: _16964 is 2080*0.1516 14: Searching: _5830 is 2080*0.15
11 9: Found: 312.0 is 2080*0.1517 15: Found: 312.0 is 2080*0.15
12 10: Found: total_water_cost(2, 20, 0.15, 312.0)18 16: Found: total_water_cost(2, 20, 0.15, 312.0)
13 11: Found: query_total_water_cost(312.0)19 17: Found: query_total_water_cost(312.0)
14 12: Found: query(312.0) | {'Result': 'Answer = 312.0'}20 18: Found: query(312.0) | {'Result': 'Answer = 312.0'}
21 
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op