f | 1 | [Path 1]: | f | 1 | [Path 1]:
n | 2 | 0: Start of execution: Begining Search | n | 2 | 0: Start of execution: Beginning Search
| 3 | 1: Searching: query |  | 3 | 1: Searching: query
| 4 | 2: Searching: image_change_affect_sales |  | 4 | 2: Searching: image_change_affect_sales
| 5 | 3: Searching: sales_increased_after_haircut(metallica) |  | 5 | 3: Searching: sales_increased_after_haircut(metallica)
| 6 | 4: Searching: album_sales(metallica, Candidate Variable_0) |  | 6 | 4: Searching: album_sales(metallica, Candidate Variable_0)
n | 7 | 5: Searching: album_sales(metallica, 30000000) | n | 7 | 5: Found: album_sales(metallica, 30000000)
| 8 | 6: Searching: album_after_haircut(metallica) |  | 8 | 6: Searching: album_after_haircut(metallica)
| 9 | 7: Searching: album_release_date(metallica, Candidate Variable_1) |  | 9 | 7: Searching: album_release_date(metallica, Candidate Variable_1)
n | 10 | 8: Searching: album_release_date(metallica, 1991) | n | 10 | 8: Found: album_release_date(metallica, 1991)
| 11 | 9: Searching: haircut_event(1988) |  | 11 | 9: Searching: haircut_event(1988)
n | 12 | 10: Searching: haircut_event(1988) | n | 12 | 10: Found: haircut_event(1988)
| 13 | 11: Searching: 1991>1988 |  | 13 | 11: Searching: 1991>1988
n | 14 | 12: Searching: 1991>1988 | n | 14 | 12: Found: 1991>1988
| 15 | 13: Searching: album_sales(OtherAlbum, Candidate Variable_2) |  | 15 | 13: Found: album_after_haircut(metallica)
| 16 | 14: Searching: album_sales(and_justice_for_all, 15000000) |  | 16 | 14: Searching: album_sales(Candidate Variable_2, Candidate Variable_3)
|  |  |  | 17 | 15: Found: album_sales(master_of_puppets, 10000000)
| 17 | 15: Searching: album_release_date(OtherAlbum, Candidate Variable_3) |  | 18 | 16: Searching: album_release_date(master_of_puppets, Candidate Variable_4)
| 18 | 16: Searching: album_release_date(and_justice_for_all, 1988) |  | 19 | 17: Found: album_release_date(master_of_puppets, 1986)
| 19 | 17: Searching: haircut_event(1988) |  |  |
| 20 | 18: Searching: haircut_event(1988) |  | 20 | 18: Searching: haircut_event(1988)
n | 21 | 19: Searching: 1988=<1988 | n | 21 | 19: Found: haircut_event(1988)
| 22 | 20: Searching: 1988=<1988 |  | 22 | 20: Searching: 1986=<1988
| 23 | 21: Searching: 30000000>15000000 |  | 23 | 21: Found: 1986=<1988
| 24 | 22: Searching: 30000000>15000000 |  | 24 | 22: Searching: 30000000>10000000
|  |  |  | 25 | 23: Found: 30000000>10000000
| 25 | 23: Searching: sales_increased_after_haircut(metallica) |  | 26 | 24: Found: sales_increased_after_haircut(metallica)
| 26 | 24: Searching: image_change_affect_sales |  |  |
| 27 | 25: Searching: image_change_affect_sales |  | 27 | 25: Found: image_change_affect_sales
| 28 | 26: Searching: query | {'Result': 'yes'} |  | 28 | 26: Found: query | {'Result': 'Yes'}
| 29 |  |  | 29 |
n | 30 | Looking for other paths: Redo: album_sales(OtherAlbum, Candidate Variable_2) | n | 30 | Looking for other paths: Redo: album_sales(Candidate Variable_2, Candidate Variable_3)
| 31 |  |  | 31 |
| 32 |  |  | 32 |
| 33 | [Path 2]: |  | 33 | [Path 2]:
t | 34 | 27: Searching: album_sales(master_of_puppets, 10000000) | t | 34 | 27: Found: album_sales(and_justice_for_all, 15000000)
| 35 | 28: Searching: album_after_haircut(master_of_puppets) |  |  |
| 36 | 29: Searching: album_release_date(master_of_puppets, Candidate Variable_4) |  | 35 | 28: Searching: album_release_date(and_justice_for_all, Candidate Variable_5)
| 37 | 30: Searching: album_release_date(master_of_puppets, 1986) |  | 36 | 29: Found: album_release_date(and_justice_for_all, 1988)
| 38 | 31: Searching: haircut_event(1988) |  | 37 | 30: Searching: haircut_event(1988)
|  |  |  | 38 | 31: Found: haircut_event(1988)
|  |  |  | 39 | 32: Searching: 1988=<1988
|  |  |  | 40 | 33: Found: 1988=<1988
|  |  |  | 41 | 34: Searching: 30000000>15000000
|  |  |  | 42 | 35: Found: 30000000>15000000
|  |  |  | 43 | 36: Found: sales_increased_after_haircut(metallica)
|  |  |  | 44 | 37: Found: image_change_affect_sales
|  |  |  | 45 | 38: Found: query | {'Result': 'Yes'}
|  |  |  | 46 |
|  |  |  | 47 | Looking for other paths: Redo: album_sales(Candidate Variable_2, Candidate Variable_3)
|  |  |  | 48 |
|  |  |  | 49 |
|  |  |  | 50 | [Path 3]:
|  |  |  | 51 | 39: Found: album_sales(metallica, 30000000)
|  |  |  | 52 | 40: Searching: album_release_date(metallica, Candidate Variable_6)
|  |  |  | 53 | 41: Found: album_release_date(metallica, 1991)
| 39 | 32: Searching: haircut_event(1988) |  | 54 | 42: Searching: haircut_event(1988)
| 40 | 33: Searching: 1986<1988 |  | 55 | 43: Found: haircut_event(1988)
| 41 | 34: Searching: 1986<1988 |  | 56 | 44: Searching: 1991=<1988
| 42 | 35: Searching: 10000000>15000000 |  |  |
| 43 | 36: Fail: 10000000>15000000 | {'Result': 'Search Failed'} |  | 57 | 45: Fail: 1991=<1988 | {'Result': 'Search Failed'}
| 44 | 37: Fail: sales_increased_after_haircut(metallica) | {'Result': 'Search Failed'} |  | 58 | 46: Fail: sales_increased_after_haircut(metallica) | {'Result': 'Search Failed'}
| 45 | 38: Fail: image_change_affect_sales | {'Result': 'Search Failed'} |  | 59 | 47: Fail: image_change_affect_sales | {'Result': 'Search Failed'}
| 46 | 39: Fail: query | {'Result': 'Search Failed'} |  | 60 | 48: Fail: query | {'Result': 'Search Failed'}
|  |  |  | 61 |

Legends
Colors
Added
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op