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
n4 2: Searching: total_weight_thirty_clones(_3874)n4 2: Searching: total_weight_thirty_clones(Candidate Variable_0)
5 3: Searching: weight_of_clone(big_john_studd_clone, _4004)5 3: Searching: weight_of_clone(big_john_studd_clone, Candidate Variable_1)
6 4: Found: weight_of_clone(big_john_studd_clone, 100)6 4: Found: weight_of_clone(big_john_studd_clone, 100)
n7 5: Searching: _3874 is 100*30n7 5: Searching: _15498 is 100*30
8 6: Found: 3000 is 100*308 6: Found: 3000 is 100*30
nn9 7: Found: total_weight_thirty_clones(3000)
9 7: Searching: can_support_weight(toyota_hilux_2019, 3000)10 8: Searching: can_support_weight(toyota_hilux_2019, 3000)
10 8: Searching: weight_capacity(toyota_hilux_2019, _4154)11 9: Searching: weight_capacity(toyota_hilux_2019, Candidate Variable_2)
11 9: Found: weight_capacity(toyota_hilux_2019, 2000)12 10: Found: weight_capacity(toyota_hilux_2019, 2000)
12 10: Searching: 3000=<200013 11: Searching: 3000=<2000
13 11: Fail: 3000=<2000 | {'Result': 'Search Failed'}14 12: Fail: 3000=<2000 | {'Result': 'Search Failed'}
14 12: Fail: can_support_weight(toyota_hilux_2019, 3000) | {'Result': 'Search Failed'}15 13: Fail: can_support_weight(toyota_hilux_2019, 3000) | {'Result': 'Search Failed'}
15 13: Fail: total_weight_thirty_clones(_3874) | {'Result': 'Search Failed'}
16 14: Fail: query | {'Result': 'Search Failed'}16 14: Fail: query | {'Result': 'Search Failed'}
tt17 
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op