f1[Path 1]:f1[Path 1]:
t20: Start of execution: Begining Searcht2 0: Start of execution: Beginning Search
31: Searching: query(Candidate Variable_0)3 1: Searching: query(Candidate Variable_0)
42: Searching: flowers_picked(6, Candidate Variable_0)4 2: Searching: flowers_picked(6, Candidate Variable_0)
53: Searching: _14512>15 3: Searching: 6>1
64: Found: 1>16 4: Found: 6>1
75: Searching: _15738 is 1-17 5: Searching: _15742 is 6+ -1
86: Found: 0 is 1-18 6: Found: 5 is 6+ -1
97: Searching: flowers_picked(0, Candidate Variable_1)9 7: Searching: flowers_picked(5, Candidate Variable_1)
10 8: Searching: 5>1
11 9: Found: 5>1
12 10: Searching: _18812 is 5+ -1
13 11: Found: 4 is 5+ -1
14 12: Searching: flowers_picked(4, Candidate Variable_2)
15 13: Searching: 4>1
16 14: Found: 4>1
17 15: Searching: _21882 is 4+ -1
18 16: Found: 3 is 4+ -1
19 17: Searching: flowers_picked(3, Candidate Variable_3)
20 18: Searching: 3>1
21 19: Found: 3>1
22 20: Searching: _24952 is 3+ -1
23 21: Found: 2 is 3+ -1
24 22: Searching: flowers_picked(2, Candidate Variable_4)
25 23: Searching: 2>1
26 24: Found: 2>1
27 25: Searching: _28022 is 2+ -1
28 26: Found: 1 is 2+ -1
29 27: Searching: flowers_picked(1, Candidate Variable_5)
108: Found: flowers_picked(1, 18)30 28: Found: flowers_picked(1, 18)
119: Found: flowers_picked(0, 18)
1210: Searching: _18190 is 18+431 29: Searching: _26178 is 18+4
1311: Found: 22 is 18+432 30: Found: 22 is 18+4
1412: Found: flowers_picked(1, 22)33 31: Found: flowers_picked(2, 22)
1513: Searching: _20642>1
1614: Found: 2>1
1715: Searching: _21868 is 2-1
1816: Found: 1 is 2-1
1917: Searching: flowers_picked(1, Candidate Variable_2)
2018: Found: flowers_picked(1, 18)
2119: Found: flowers_picked(1, 18)
2220: Searching: _24326 is 18+4
2321: Found: 22 is 18+4
2422: Found: flowers_picked(2, 22)
2523: Searching: _26810>1
2624: Found: 3>1
2725: Searching: _28036 is 3-1
2826: Found: 2 is 3-1
2927: Searching: flowers_picked(2, Candidate Variable_3)
3028: Found: flowers_picked(2, 22)
3129: Found: flowers_picked(2, 22)
3230: Searching: _30528 is 22+434 32: Searching: _23108 is 22+4
3331: Found: 26 is 22+435 33: Found: 26 is 22+4
3432: Found: flowers_picked(3, 26)36 34: Found: flowers_picked(3, 26)
3533: Searching: _33022>1
3634: Found: 4>1
3735: Searching: _34248 is 4-137 35: Searching: _20038 is 26+4
3836: Found: 3 is 4-1
3937: Searching: flowers_picked(3, Candidate Variable_4)
4038: Found: flowers_picked(3, 26)
4139: Found: flowers_picked(3, 26)
4240: Searching: _36740 is 26+4
4341: Found: 30 is 26+438 36: Found: 30 is 26+4
4442: Found: flowers_picked(4, 30)39 37: Found: flowers_picked(4, 30)
4543: Searching: _39234>1
4644: Found: 5>1
4745: Searching: _40460 is 5-1
4846: Found: 4 is 5-1
4947: Searching: flowers_picked(4, Candidate Variable_5)
5048: Found: flowers_picked(4, 30)
5149: Found: flowers_picked(4, 30)
5250: Searching: _42952 is 30+440 38: Searching: _16968 is 30+4
5351: Found: 34 is 30+441 39: Found: 34 is 30+4
5452: Found: flowers_picked(5, 34)42 40: Found: flowers_picked(5, 34)
5553: Searching: _45446>1
5654: Found: 6>1
5755: Searching: _46672 is 6-1
5856: Found: 5 is 6-1
5957: Searching: flowers_picked(5, Candidate Variable_6)
6058: Found: flowers_picked(5, 34)
6159: Found: flowers_picked(5, 34)
6260: Searching: _49164 is 34+443 41: Searching: _5830 is 34+4
6361: Found: 38 is 34+444 42: Found: 38 is 34+4
6462: Found: flowers_picked(6, 38)45 43: Found: flowers_picked(6, 38)
6563: Found: query(38) | {'Result': 'FlowersPicked = 38'}46 44: Found: query(38) | {'Result': 'FlowersPicked = 38'}
47 
48Looking for other paths: Redo: flowers_picked(1, Candidate Variable_5)
49 
50 
51[Path 2]:
52 45: Searching: 1>1
53 46: Fail: 1>1 | {'Result': 'Search Failed'}
54 47: Fail: flowers_picked(1, Candidate Variable_5) | {'Result': 'Search Failed'}
55 48: Fail: flowers_picked(2, Candidate Variable_4) | {'Result': 'Search Failed'}
56 49: Fail: flowers_picked(3, Candidate Variable_3) | {'Result': 'Search Failed'}
57 50: Fail: flowers_picked(4, Candidate Variable_2) | {'Result': 'Search Failed'}
58 51: Fail: flowers_picked(5, Candidate Variable_1) | {'Result': 'Search Failed'}
59 52: Fail: flowers_picked(6, Candidate Variable_0) | {'Result': 'Search Failed'}
60 53: Fail: query(Candidate Variable_0) | {'Result': 'Search Failed'}
61 
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op