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: can_shatter_glass4 2: Searching: can_shatter_glass
n5 3: Searching: kelly_clarkson_vocal_range(Low, High)n5 3: Searching: kelly_clarkson_vocal_range(Candidate Variable_0, Candidate Variable_1)
6 4: Searching: kelly_clarkson_vocal_range(2.5, 5.5)6 4: Found: kelly_clarkson_vocal_range(2.5, 5.5)
7 5: Searching: Low =< 1207 5: Searching: 2.5=<120
8 6: Searching: Low =< 1208 6: Found: 2.5=<120
9 7: Searching: High >= 1209 7: Searching: 5.5>=120
10 8: Searching: High >= 12010 8: Fail: 5.5>=120 | {'Result': 'Search Failed'}
11 9: Fail: can_shatter_glass | {'Result': 'Search Failed'}11 9: Fail: can_shatter_glass | {'Result': 'Search Failed'}
12 10: Fail: query | {'Result': 'Search Failed'}12 10: Fail: query | {'Result': 'Search Failed'}
1313
t14Looking for other paths: Redo: kelly_clarkson_vocal_range(Low, High)t
15 
16 
17[Path 2]:
18 11: Searching: kelly_clarkson_vocal_range(2.5, 5.5)
19 12: Searching: Low =< 120
20 13: Searching: Low =< 120
21 14: Searching: frequency_to_intensity(Frequency, Intensity)
22 15: Searching: frequency_to_decibels(Frequency, Decibels)
23 16: Searching: decibels_from_power(Power, Decibels)
24 17: Searching: power_from_wavelength(Wavelength, Power)
25 18: Searching: frequency_to_wavelength(Frequency, Wavelength)
26 19: Searching: speed_of_sound(343)
27 20: Searching: speed_of_sound(343)
28 21: Searching: Wavelength = 343 / Frequency
29 22: Searching: Wavelength = 343 / Frequency
30 23: Searching: power_from_wavelength(Wavelength, Power)
31 24: Searching: power_from_wavelength(Wavelength, Power)
32 25: Searching: decibels_from_power(Power, Decibels)
33 26: Searching: decibels_from_power(Power, Decibels)
34 27: Searching: frequency_to_decibels(Frequency, Decibels)
35 28: Searching: frequency_to_decibels(Frequency, Decibels)
36 29: Searching: frequency_to_intensity(Frequency, Intensity)
37 30: Searching: frequency_to_intensity(Frequency, Intensity)
38 31: Searching: Low =< 120
39 32: Searching: Low =< 120
40 33: Searching: High >= 120
41 34: Searching: High >= 120
42 35: Fail: can_shatter_glass | {'Result': 'Search Failed'}
43 36: Fail: query | {'Result': 'Search Failed'}
44 
45Looking for other paths: Redo: kelly_clarkson_vocal_range(Low, High)
46 
47 
48[Path 3]:
49 37: Searching: kelly_clarkson_vocal_range(2.5, 5.5)
50 38: Searching: Low =< 120
51 39: Searching: Low =< 120
52 40: Searching: frequency_to_intensity(Frequency, Intensity)
53 41: Searching: frequency_to_decibels(Frequency, Decibels)
54 42: Searching: decibels_from_power(Power, Decibels)
55 43: Searching: power_from_wavelength(Wavelength, Power)
56 44: Searching: frequency_to_wavelength(Frequency, Wavelength)
57 45: Searching: speed_of_sound(343)
58 46: Searching: speed_of_sound(343)
59 47: Searching: Wavelength = 343 / Frequency
60 48: Searching: Wavelength = 343 / Frequency
61 49: Searching: power_from_wavelength(Wavelength, Power)
62 50: Searching: power_from_wavelength(Wavelength, Power)
63 51: Searching: decibels_from_power(Power, Decibels)
64 52: Searching: decibels_from_power(Power, Decibels)
65 53: Searching: frequency_to_decibels(Frequency, Decibels)
66 54: Searching: frequency_to_decibels(Frequency, Decibels)
67 55: Searching: frequency_to_intensity(Frequency, Intensity)
68 56: Searching: frequency_to_intensity(Frequency, Intensity)
69 57: Searching: High >= 120
70 58: Searching: High >= 120
71 59: Searching: Low =< 120
72 60: Searching: Low =< 120
73 61: Fail: can_shatter_glass | {'Result': 'Search Failed'}
74 62: Fail: query | {'Result': 'Search Failed'}
75 
76Looking for other paths: Redo: kelly_clarkson_vocal_range(Low, High)
77 
78 
79[Path 4]:
80 63: Searching: kelly_clarkson_vocal_range(2.5, 5.5)
81 64: Searching: Low =< 120
82 65: Searching: Low =< 120
83 66: Searching: frequency_to_intensity(Frequency, Intensity)
84 67
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op