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
t4 2: Searching: majority_popular_vote_candidate(Candidate)t4 2: Searching: majority_popular_vote_candidate(Candidate Variable_0)
5 3: Searching: total_popular_vote_percentage(TotalPercentage)5 3: Searching: total_popular_vote_percentage(Candidate Variable_1)
6 4: Searching: popular_vote_percentage(william_howard_taft, TaftPercentage)6 4: Searching: popular_vote_percentage(william_howard_taft, Candidate Variable_2)
7 5: Found: popular_vote_percentage(william_howard_taft, 23)
7 5: Searching: popular_vote_percentage(woodrow_wilson, WilsonPercentage)8 6: Searching: popular_vote_percentage(woodrow_wilson, Candidate Variable_3)
9 7: Found: popular_vote_percentage(woodrow_wilson, 42)
8 6: Searching: popular_vote_percentage(theodore_roosevelt, RooseveltPercentage)10 8: Searching: popular_vote_percentage(theodore_roosevelt, Candidate Variable_4)
11 9: Found: popular_vote_percentage(theodore_roosevelt, 27)
9 7: Searching: popular_vote_percentage(eugene_v_debs, DebsPercentage)12 10: Searching: popular_vote_percentage(eugene_v_debs, Candidate Variable_5)
10 8: Searching: TotalPercentage is 23+42+27+813 11: Found: popular_vote_percentage(eugene_v_debs, 8)
14 12: Searching: _15912 is 23+42+27+8
15 13: Found: 100 is 23+42+27+8
16 14: Found: total_popular_vote_percentage(100)
11 9: Searching: popular_vote_percentage(Candidate, CandidatePercentage)17 15: Searching: popular_vote_percentage(Candidate Variable_6, Candidate Variable_7)
12 10: Searching: CandidatePercentage>100/218 16: Found: popular_vote_percentage(william_howard_taft, 23)
19 17: Searching: 23>100/2
13 11: Fail: CandidatePercentage>100/2 | {'Result': 'Search Failed'}20 18: Fail: 23>100/2 | {'Result': 'Search Failed'}
21 
22Looking for other paths: Redo: popular_vote_percentage(Candidate Variable_6, Candidate Variable_7)
23 
24 
25[Path 2]:
26 19: Found: popular_vote_percentage(woodrow_wilson, 42)
27 20: Searching: 42>100/2
28 21: Fail: 42>100/2 | {'Result': 'Search Failed'}
29 
30Looking for other paths: Redo: popular_vote_percentage(Candidate Variable_6, Candidate Variable_7)
31 
32 
33[Path 3]:
34 22: Found: popular_vote_percentage(theodore_roosevelt, 27)
35 23: Searching: 27>100/2
36 24: Fail: 27>100/2 | {'Result': 'Search Failed'}
37 
38Looking for other paths: Redo: popular_vote_percentage(Candidate Variable_6, Candidate Variable_7)
39 
40 
41[Path 4]:
42 25: Found: popular_vote_percentage(eugene_v_debs, 8)
43 26: Searching: 8>100/2
44 27: Fail: 8>100/2 | {'Result': 'Search Failed'}
14 12: Fail: majority_popular_vote_candidate(Candidate) | {'Result': 'Search Failed'}45 28: Fail: majority_popular_vote_candidate(Candidate Variable_8) | {'Result': 'Search Failed'}
15 13: Fail: query | {'Result': 'Search Failed'}46 29: Fail: query | {'Result': 'Search Failed'}
47 
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op