f1[Path 1]:f1[Path 1]:
2 0: Start of execution: Beginning Search2 0: Start of execution: Beginning Search
3 1: Searching: query(Candidate Variable_0)3 1: Searching: query(Candidate Variable_0)
4 2: Searching: car_trip_time(Candidate Variable_1)4 2: Searching: car_trip_time(Candidate Variable_1)
5 3: Searching: train_and_car_time(Candidate Variable_2)5 3: Searching: train_and_car_time(Candidate Variable_2)
6 4: Found: train_and_car_time(17)6 4: Found: train_and_car_time(17)
7 5: Searching: time_saved_by_car(Candidate Variable_3)7 5: Searching: time_saved_by_car(Candidate Variable_3)
8 6: Searching: train_only_extra_time(Candidate Variable_4)8 6: Searching: train_only_extra_time(Candidate Variable_4)
9 7: Found: train_only_extra_time(4)9 7: Found: train_only_extra_time(4)
n10 8: Searching: _15130 is 4n10 8: Searching: _17302 is 4
11 9: Found: 4=411 9: Found: 4 is 4
12 10: Found: time_saved_by_car(4)12 10: Found: time_saved_by_car(4)
n13 11: Searching: _16356 is 17+4n13 11: Searching: _15474 is 17+4
14 12: Found: 21 is 17+414 12: Found: 21 is 17+4
15 13: Found: car_trip_time(21)15 13: Found: car_trip_time(21)
t16 14: Foundquery(21) | {'Result': 'Mr. Sam would have taken 21 hours traveling both ways by car.'}t16 14: Comment: Mr. Sam would have taken 21 hours traveling both ways by car.
17 15: Found: query(Candidate Variable_0) | {'Result': ['_7404']}
18 
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op