f1[Path 1]:f1[Path 1]:
t20: Start of execution: Beginning Searcht2 0: Start of execution: Beginning Search
31: Searching: query3 1: Searching: query(Candidate Variable_0)
42: Searching: verify_answer(Candidate Variable_0, 6)4 2: Searching: verify_answer(Candidate Variable_1, 6)
53: Searching: corn_quantity(Candidate Variable_0)5 3: Searching: corn_quantity(Candidate Variable_1)
64: Searching: rice_ratio(Candidate Variable_1)6 4: Searching: rice_ratio(Candidate Variable_2)
75: Found: rice_ratio(2)7 5: Found: rice_ratio(2)
86: Searching: corn_ratio(Candidate Variable_2)8 6: Searching: corn_ratio(Candidate Variable_3)
97: Found: corn_ratio(5)9 7: Found: corn_ratio(5)
108: Searching: rice_quantity(Candidate Variable_3)10 8: Searching: rice_quantity(Candidate Variable_4)
119: Found: rice_quantity(3)11 9: Found: rice_quantity(3)
12 10: Searching: _16534 is 5/2*3
13 11: Found: 7.5 is 5/2*3
1210: Found: corn_quantity(7.5)14 12: Found: corn_quantity(7.5)
1311: Found: verify_answer(7.5, 6) | {'Result': 'TooHigh'}15 13: Searching: 7.5>6
16 14: Found: 7.5>6
17 15: Searching: true
18 16: Found: true
19 17: Found: verify_answer(7.5, 6)
1412: Comment: Option D is correct: Corn quantity is 7.5 pounds20 18: Comment: Option _8464 is correct: Corn quantity is 7.5 pounds
1513: Found: query | {'Result': 'truth = Option D is correct: Corn quantity is 7.5 pounds'}21 19: Found: query(Candidate Variable_0) | {'Result': ['_8464']}
22 
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op