f1[Path 1]:f1[Path 1]:
t20: Start of execution: Begining Searcht2 0: Start of execution: Beginning Search
31: Searching: query(Candidate Variable_0)3 1: Searching: query(Candidate Variable_0)
42: Searching: father_age(Candidate Variable_0)4 2: Searching: father_age(Candidate Variable_0)
53: Searching: _14512 is 105 3: Searching: _14508 is 10
64: Found: 10 is 106 4: Found: 10 is 10
75: Searching: _15744 is 57 5: Searching: _15734 is 5
86: Found: 5 is 58 6: Found: 5 is 5
97: Searching: _16976 is 3*(10+5)9 7: Searching: _5830 is 3*
108: Found: 45 is 3*(10+5)10 8: Found: 45 is 3*
119: Searching: _18208 is 45+511 9: Searching: 45+5=:=2*
1210: Found: 50 is 45+512 10: Found: 45+5=:=2*
1311: Searching: _19440 is 2*(10+5+5)
1412: Found: 40 is 2*(10+5+5)
1513: Found: father_age(50)13 11: Found: father_age(45)
1614: Found: query(50) | {'Result': 'FatherAge = 50'}14 12: Found: query(45) | {'Result': 'FatherAge = 45'}
15 
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op