f1[Path 1]:f1[Path 1]:
n20: Start of execution: Beginning Searchn2 0: Start of execution: Beginning Search
31: Searching: query3 1: Searching: query
42: Searching: probability(Candidate Variable_0)4 2: Searching: probability(Candidate Variable_0)
53: Searching: wembley_stadium(capacity, Candidate Variable_1)5 3: Searching: wembley_stadium(capacity, Candidate Variable_1)
64: Searching: wembley_stadium(capacity, over_90000)6 4: Found: wembley_stadium(capacity, over_90000)
75: Searching: estimate_probability(over_90000, Candidate Variable_0)7 5: Searching: estimate_probability(over_90000, Candidate Variable_0)
86: Searching: estimate_probability(over_90000, high)8 6: Found: estimate_probability(over_90000, high)
97: Searching: probability(high)9 7: Found: probability(high)
108: Searching: demographic_likelihood(london, high)10 8: Searching: demographic_likelihood(Candidate Variable_2, high)
119: Searching: london(demographic, Candidate Variable_2)11 9: Searching: london(demographic, Candidate Variable_3)
1210: Searching: london(demographic, diverse)12 10: Found: london(demographic, diverse)
1311: Searching: demographic_factor(diverse, high)13 11: Searching: demographic_factor(diverse, high)
1412: Searching: demographic_factor(diverse, high)14 12: Found: demographic_factor(diverse, high)
1513: Searching: demographic_likelihood(london, high)15 13: Found: demographic_likelihood(london, high)
1614: Searching: genetic_likelihood(worldwide, high)16 14: Searching: genetic_likelihood(Candidate Variable_4, high)
1715: Searching: worldwide(genetic_diversity, Candidate Variable_3)17 15: Searching: worldwide(genetic_diversity, Candidate Variable_5)
1816: Searching: worldwide(genetic_diversity, diverse)18 16: Found: worldwide(genetic_diversity, diverse)
1917: Searching: genetic_distribution(Candidate Variable_4)19 17: Searching: genetic_distribution(Candidate Variable_6)
2018: Searching: genetic_distribution(uniform)20 18: Found: genetic_distribution(uniform)
2119: Searching: genetic_factor(diverse, uniform, high)21 19: Searching: genetic_factor(diverse, uniform, high)
2220: Searching: genetic_factor(diverse, uniform, high)22 20: Found: genetic_factor(diverse, uniform, high)
2321: Searching: genetic_likelihood(worldwide, high)23 21: Found: genetic_likelihood(worldwide, high)
2422: Searching: historical_likelihood(historical_context(mongol_empire, wide_reach), high)24 22: Searching: historical_likelihood(Candidate Variable_7, high)
2523: Searching: historical_context(mongol_empire, Candidate Variable_5)25 23: Searching: historical_context_factor(Candidate Variable_8, high)
2624: Searching: historical_context(mongol_empire, wide_reach)26 24: Fail: historical_context_factor(Candidate Variable_8, high) | {'Result': 'Search Failed'}
2725: Searching: historical_context_factor(wide_reach, moderate)27 25: Fail: historical_likelihood(Candidate Variable_9, high) | {'Result': 'Search Failed'}
2826: Searching: historical_context_factor(wide_reach, moderate)
2927: Searching: historical_likelihood(historical_context(mongol_empire, wide_reach), high)
3028: Searching: compute_overall_likelihood([high, high, high], high)
3129: Searching: sum_list([high, high, high], Candidate Variable_6)
3230: Exception: is/2: Arguments are not sufficiently instantiated
3328
n34Looking for other paths: Redo: demographic_factor(_, Candidate Variable_7)n29Looking for other paths: Redo: genetic_factor(diverse, uniform, high)
3530
3631
37[Path 2]:32[Path 2]:
n3831: Searching: demographic_factor(_, moderate)n33 26: Fail: genetic_factor(diverse, uniform, high) | {'Result': 'Search Failed'}
3932: Searching: demographic_likelihood(london, high)34 27: Fail: genetic_likelihood(Candidate Variable_10, high) | {'Result': 'Search Failed'}
4033: Searching: genetic_likelihood(worldwide, high)
4134: Searching: worldwide(genetic_diversity, Candidate Variable_8)
4235: Searching: worldwide(genetic_diversity, diverse)
4336: Searching: genetic_distribution(Candidate Variable_9)
4437: Searching: genetic_distribution(uniform)
4538: Searching: genetic_factor(diverse, uniform, high)
4639: Searching: genetic_factor(diverse, uniform, high)
4740: Searching: genetic_likelihood(worldwide, high)
4841: Searching: historical_likelihood(historical_context(mongol_empire, wide_reach), high)
4942: Searching: historical_context(mongol_empire, Candidate Variable_10)
5043: Searching: historical_context(mongol_empire, wide_reach)
5144: Searching: historical_context_factor(wide_reach, moderate)
5245: Searching: historical_context_factor(wide_reach, moderate)
5346: Searching: historical_likelihood(historical_context(mongol_empire, wide_reach), high)
5447: Searching: compute_overall_likelihood([high, high, high], high)
5548: Searching: sum_list([high, high, high], Candidate Variable_11)
5649: Exception: is/2: Arguments are not sufficiently instantiated
5735
n58Looking for other paths: Redo: genetic_factor(_, _, Candidate Variable_12)n36Looking for other paths: Redo: demographic_factor(diverse, high)
5937
6038
61[Path 3]:39[Path 3]:
t6250: Searching: genetic_factor(_, _, low)t40 28: Fail: demographic_factor(diverse, high) | {'Result': 'Search Failed'}
6351: Fail: genetic_likelihood(worldwide, high) | {'Result': 'Search Failed'}41 29: Fail: demographic_likelihood(Candidate Variable_11, high) | {'Result': 'Search Failed'}
6452: Fail: likelihood(genetic, high) | {'Result': 'Search Failed'}
6553: Fail: cumulative_likelihoods(high) | {'Result': 'Search Failed'}
6654: Fail: overall_likelihood(high) | {'Result': 'Search Failed'}
6755: Fail: query | {'Result': 'Search Failed'}42 30: Fail: query | {'Result': 'Search Failed'}
43 
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op