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: conclusion(schwarzenegger, bjornsson)4 2: Searching: conclusion(schwarzenegger, bjornsson)
5 3: Searching: hypothetical_scenario(schwarzenegger, bjornsson)5 3: Searching: hypothetical_scenario(schwarzenegger, bjornsson)
6 4: Searching: compare_strengths(schwarzenegger, bjornsson)6 4: Searching: compare_strengths(schwarzenegger, bjornsson)
7 5: Searching: schwarzenegger(peak_strength, Candidate Variable_0)7 5: Searching: schwarzenegger(peak_strength, Candidate Variable_0)
n8 6: Searching: schwarzenegger(peak_strength, 1000)n8 6: Found: schwarzenegger(peak_strength, 1000)
9 7: Searching: bjornsson(peak_strength, Candidate Variable_1)9 7: Searching: bjornsson(peak_strength, Candidate Variable_1)
n10 8: Searching: bjornsson(peak_strength, 1200)n10 8: Found: bjornsson(peak_strength, 1200)
11 9: Searching: 1000>120011 9: Searching: 1000>1200
12 10: Fail: 1000>1200 | {'Result': 'Search Failed'}12 10: Fail: 1000>1200 | {'Result': 'Search Failed'}
1313
14Looking for other paths: Redo: compare_strengths(schwarzenegger, bjornsson)14Looking for other paths: Redo: compare_strengths(schwarzenegger, bjornsson)
1515
1616
17[Path 2]:17[Path 2]:
t18 11: Searching: compare_training_methods(schwarzenegger, bjornsson)t18 11: Searching: false
19 12: Searching: schwarzenegger(training_method, Candidate Variable_2)
20 13: Searching: schwarzenegger(training_method, conventional)
21 14: Searching: bjornsson(training_method, Candidate Variable_3)
22 15: Searching: bjornsson(training_method, modern)
23 16: Searching: conventional==modern
24 17: Fail: conventional==modern | {'Result': 'Search Failed'}19 12: Fail: false | {'Result': 'Search Failed'}
20 13: Fail: compare_strengths(schwarzenegger, bjornsson) | {'Result': 'Search Failed'}
25 18: Fail: hypothetical_scenario(schwarzenegger, bjornsson) | {'Result': 'Search Failed'}21 14: Fail: hypothetical_scenario(schwarzenegger, bjornsson) | {'Result': 'Search Failed'}
26 19: Fail: conclusion(schwarzenegger, bjornsson) | {'Result': 'Search Failed'}22 15: Fail: conclusion(schwarzenegger, bjornsson) | {'Result': 'Search Failed'}
27 20: Fail: query | {'Result': 'Search Failed'}23 16: Fail: query | {'Result': 'Search Failed'}
24 
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op