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: Call: query(Candidate Variable_0)
42: Searching: query_passenger_count(Candidate Variable_0)4 2: Call: query_passenger_count(Candidate Variable_0)
53: Searching: train_passenger_count(172, 13, 47, 38, Candidate Variable_0)5 3: Call: train_passenger_count(172, 13, 47, 38, Candidate Variable_0)
64: Searching: _14532 is 13-476 4: Call: _15132 is 13-47
75: Found: -34 is 13-477 5: Exit: -34 is 13-47
86: Searching: _16356 is 172+-348 6: Call: _16364 is 172+ -34
97: Found: 138 is 172+-349 7: Exit: 138 is 172+ -34
108: Searching: _16996 is 138-3810 8: Call: _17596 is 138-38
119: Found: 100 is 138-3811 9: Exit: 100 is 138-38
12 10: Call: _5830 is 100
13 11: Exit: 100 is 100
1210Found: train_passenger_count(172, 13, 47, 38, 100)14 12Exit: train_passenger_count(172, 13, 47, 38, 100)
1311Found: query_passenger_count(100)15 13Exit: query_passenger_count(100)
1412Found: query(100) | {'Result': 'Answer = 100'}16 14Exit: query(100) | {'Result': 'Answer = 100'}
17 
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op