f1[Path 1]:f1[Path 1]:
n2 0: Start of execution: Begining Searchn2 0: Start of execution: Beginning Search
3 1: Searching: query3 1: Searching: query
4 2: Searching: can_accommodate(tata_hexa, spice_girls)4 2: Searching: can_accommodate(tata_hexa, spice_girls)
n5 3: Searching: seating_capacity(tata_hexa, Capacity)n5 3: Searching: seating_capacity(tata_hexa, Candidate Variable_0)
6 4: Searching: seating_capacity(tata_hexa, 7)6 4: Found: seating_capacity(tata_hexa, 7)
7 5: Searching: group_size(spice_girls, Size)7 5: Searching: group_size(spice_girls, Candidate Variable_1)
8 6: Searching: group_size(spice_girls, 5)8 6: Found: group_size(spice_girls, 5)
9 7: Searching: 7>=59 7: Searching: 7>=5
t10 8: Searching: 7>=5t10 8: Found: 7>=5
11 9: Searching: _13914=true
12 10Searching: can_accommodate(tata_hexa, spice_girls)11 9Found: can_accommodate(tata_hexa, spice_girls)
13 11Searching: query | {'Result': 'yes'}12 10Found: query | {'Result': 'Yes'}
13 
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op