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: johns_earnings4 2: Searching: johns_earnings
n5 3: Searching: usable_wood(80, 80, Candidate Variable_1)n5 3: Searching: usable_wood(80, 80, wood_for_logs)
6 4: Searching: _14512 is 80*80//1006 4: Searching: wood_for_logs is 80*80/100
7 5: Found: 48 is 80*80//1007 5: Fail: wood_for_logs is 80*80/100 | {'Result': 'Search Failed'}
8 6: Found: usable_wood(80, 80, 48)8 6: Fail: usable_wood(80, 80, wood_for_logs) | {'Result': 'Search Failed'}
9 7: Searching: number_of_logs(48, 4, Candidate Variable_2)9 7: Fail: johns_earnings | {'Result': 'Search Failed'}
10 8: Searching: _16964 is 48//410 8: Fail: query(Candidate Variable_0) | {'Result': 'Search Failed'}
11 9: Found: 12 is 48//4
12 10: Found: number_of_logs(48, 4, 12)
13 11: Searching: number_of_planks(12, Candidate Variable_3)
14 12: Searching: _18190 is 12*5
15 13: Found: 60 is 12*5
16 14: Found: number_of_planks(12, 60)
17 15: Searching: total_earnings(60, 1.2, Candidate Variable_0)
18 16: Searching: _21868 is 60*1.2
19 17: Found: 72.0 is 60*1.2
20 18: Found: total_earnings(60, 1.2, 72.0)
21 19: Found: johns_earnings
22 20: Found: query(72.0) | {'Result': 'TotalEarnings = 72.0'}
2311
t24 t
25[Path 2]:
26 21: Failed attempt: number_of_logs(48, 4, 13)
27 22: Failed: number_of_planks(13, Candidate Variable_3)
28 23: Failed: total_earnings(65, 1.2, Candidate Variable_0)
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op