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: calculate_production_rate(Candidate Variable_0)4 2: Searching: calculate_production_rate(Candidate Variable_0)
t5 3: Searching: _14512=2t5 3: Searching: _14508=400
6 4: Found: 2=26 4: Found: 400=400
7 5: Searching: _15738=27 5: Searching: _15734=20
8 6: Found: 2=28 6: Found: 20=20
9 7: Searching: _16964=109 7: Searching: _16960=2
10 8: Found: 2=2
11 9: Searching: _18186=2
12 10: Found: 2=2
13 11: Searching: _19412=10
10 8: Found: 10=1014 12: Found: 10=10
11 9: Searching: total_toys_produced_by_first_4_workers(2, 2, 10, Candidate Variable_1)15 13: Searching: total_toys_produced_by_first_4_workers(2, 2, 10, Candidate Variable_1)
12 10: Searching: _18300 is 2*6*1016 14: Searching: _21260 is 2*6*10
13 11: Found: 120 is 2*6*1017 15: Found: 120 is 2*6*10
14 12: Searching: _19554 is 2*4*1018 16: Searching: _22498 is 2*4*10
15 13: Found: 80 is 2*4*1019 17: Found: 80 is 2*4*10
16 14: Searching: _20810 is 120+8020 18: Searching: _20638 is 120+80
17 15: Found: 200 is 120+8021 19: Found: 200 is 120+80
18 16: Found: total_toys_produced_by_first_4_workers(2, 2, 10, 200)22 20: Found: total_toys_produced_by_first_4_workers(2, 2, 10, 200)
19 17: Searching: total_toys_produced_by_all_workers(400, 20, Candidate Variable_2)23 21: Searching: total_toys_produced_by_all_workers(400, 20, Candidate Variable_2)
20 18: Searching: _23184 is 400-2024 22: Searching: _25586 is 400-20
21 19: Found: 380 is 400-2025 23: Found: 380 is 400-20
22 20: Found: total_toys_produced_by_all_workers(400, 20, 380)26 24: Found: total_toys_produced_by_all_workers(400, 20, 380)
23 21: Searching: total_toys_produced_by_fifth_worker(200, 380, Candidate Variable_3)27 25: Searching: total_toys_produced_by_fifth_worker(200, 380, Candidate Variable_3)
24 22: Searching: _25566 is 380-20028 26: Searching: _28050 is 380-200
25 23: Found: 180 is 380-20029 27: Found: 180 is 380-200
26 24: Found: total_toys_produced_by_fifth_worker(200, 380, 180)30 28: Found: total_toys_produced_by_fifth_worker(200, 380, 180)
27 25: Searching: production_rate_fifth_worker(180, 10, Candidate Variable_0)31 29: Searching: production_rate_fifth_worker(180, 10, Candidate Variable_0)
28 26: Searching: _27930 is 180/1032 30: Searching: _5830 is 180/10
29 27: Found: 18.0 is 180/1033 31: Found: 18 is 180/10
30 28: Found: production_rate_fifth_worker(180, 10, 18.0)34 32: Found: production_rate_fifth_worker(180, 10, 18)
31 29: Found: calculate_production_rate(18.0)35 33: Found: calculate_production_rate(18)
32 30: Found: query(18.0) | {'Result': 'Rate = 18.0'}36 34: Found: query(18) | {'Result': 'Rate = 18'}
37 
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op