f1[Path 1]:f1[Path 1]:
t20: Start of execution: Beginning Searcht2 0: Start of execution: Beginning Search
31: Searching: query(Candidate Variable_0)3 1: Searching: query(Candidate Variable_0)
42: Searching: total_cost(Candidate Variable_0)4 2: Searching: total_cost(Candidate Variable_0)
53: Searching: total_movies(Candidate Variable_1)5 3: Searching: total_movies(Candidate Variable_1)
64: Found: total_movies(600)6 4: Found: total_movies(600)
75: Searching: series_movies(600, Candidate Variable_2, Candidate Variable_3)7 5: Searching: series_movies(600, Candidate Variable_2, Candidate Variable_3)
86: Searching: _14512 is 600//38 6: Searching: _17812 is 600//3
97: Found: 200 is 600//39 7: Found: 200 is 600//3
108: Searching: _14514 is 200*610 8: Searching: _17814 is 200*6
119: Found: 1200 is 200*611 9: Found: 1200 is 200*6
1210: Found: series_movies(600, 200, 1200)12 10: Found: series_movies(600, 200, 1200)
1311: Searching: older_movies(600, 200, Candidate Variable_4, Candidate Variable_5)13 11: Searching: older_movies(600, 200, Candidate Variable_4, Candidate Variable_5)
1412: Searching: _14516 is 600-20014 12: Searching: _22132 is 600-200
1513: Found: 400 is 600-20015 13: Found: 400 is 600-200
1614: Searching: _14518 is 0.40*40016 14: Searching: _21508 is 0.4*400
1715: Found: 160 is 0.40*40017 15: Found: 160.0 is 0.4*400
1816: Searching: _14520 is 160*518 16: Searching: _21510 is 160.0*5
1917: Found: 800 is 160*519 17: Found: 800.0 is 160.0*5
2018: Found: older_movies(600, 200, 160, 800)20 18: Found: older_movies(600, 200, 160.0, 800.0)
2119: Searching: normal_movies(600, 200, 160, Candidate Variable_6, Candidate Variable_7)21 19: Searching: normal_movies(600, 200, 160.0, Candidate Variable_6, Candidate Variable_7)
2220: Searching: _14522 is 600-200-16022 20: Searching: _27088 is 600-200-160.0
2321: Found: 240 is 600-200-16023 21: Found: 240.0 is 600-200-160.0
2422: Searching: _14524 is 240*1024 22: Searching: _28332 is 240.0
2523: Found: 2400 is 240*1025 23: Found: 240.0 is 240.0
26 24: Searching: _26462 is 240.0*10
27 25: Found: 2400.0 is 240.0*10
2624: Found: normal_movies(600, 200, 160, 240, 2400)28 26: Found: normal_movies(600, 200, 160.0, 240.0, 2400.0)
2725: Searching: _14526 is 1200+800+240029 27: Searching: _7916 is 1200+800.0+2400.0
2826: Found: 4400 is 1200+800+240030 28: Found: 4400.0 is 1200+800.0+2400.0
2927: Found: total_cost(4400)31 29: Found: total_cost(4400.0)
3028: Found: query(4400) | {'Result': 'TotalCost = 4400'}32 30: Found: query(4400.0) | {'Result': 'TotalCost = 4400.0'}
33 
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op