# state depth glued | gsearch st nodes sol | fsearch_dev st nodes sol | csearch st nodes sol | fps_fix st trials sol | fps_fix -I st trials sol | verdict
0 1 1 | DONE 0 0 | DONE 0 0 | DONE 0 0 | DONE 1 0 | DONE 1 0 | AGREE
1 1 1 | DONE 0 0 | DONE 0 0 | DONE 0 0 | DONE 1 0 | DONE 1 0 | AGREE
2 1 1 | DONE 0 0 | DONE 0 0 | DONE 0 0 | DONE 1 0 | DONE 1 0 | AGREE
3 1 1 | DONE 0 0 | DONE 0 0 | DONE 0 0 | DONE 1 0 | DONE 1 0 | AGREE
4 1 1 | DONE 0 0 | DONE 0 0 | DONE 0 0 | DONE 1 0 | DONE 1 0 | AGREE
5 1 1 | DONE 0 0 | DONE 0 0 | DONE 0 0 | DONE 1 0 | DONE 1 0 | AGREE
6 1 1 | DONE 0 0 | DONE 0 0 | DONE 0 0 | DONE 1 0 | DONE 1 0 | AGREE
7 1 1 | DONE 0 0 | DONE 0 0 | DONE 0 0 | DONE 1 0 | DONE 1 0 | AGREE
8 1 1 | DONE 0 0 | DONE 0 0 | DONE 0 0 | DONE 1 0 | DONE 1 0 | AGREE
9 1 1 | DONE 0 0 | DONE 0 0 | DONE 0 0 | DONE 1 0 | DONE 1 0 | AGREE
10 1 1 | DONE 41 9 | DONE 40 9 | DONE 42 9 | DONE 4723 9 | DONE 4413 9 | AGREE
11 1 1 | DONE 42 9 | DONE 40 9 | DONE 42 9 | DONE 4723 9 | DONE 4413 9 | AGREE
12 1 1 | DONE 42 9 | DONE 40 9 | DONE 42 9 | DONE 4723 9 | DONE 4413 9 | AGREE
13 1 1 | DONE 0 0 | DONE 0 0 | DONE 0 0 | DONE 1 0 | DONE 1 0 | AGREE
14 1 1 | DONE 42 9 | DONE 40 9 | DONE 42 9 | DONE 4723 9 | DONE 4413 9 | AGREE
15 1 1 | DONE 0 0 | DONE 0 0 | DONE 0 0 | DONE 1 0 | DONE 1 0 | AGREE
16 1 1 | DONE 0 0 | DONE 0 0 | DONE 0 0 | DONE 1 0 | DONE 1 0 | AGREE
17 1 1 | DONE 0 0 | DONE 0 0 | DONE 0 0 | DONE 1 0 | DONE 1 0 | AGREE
18 1 1 | DONE 0 0 | DONE 0 0 | DONE 0 0 | DONE 1 0 | DONE 1 0 | AGREE
19 1 1 | DONE 1 0 | DONE 1 0 | DONE 1 0 | DONE 103 0 | DONE 1 0 | AGREE
20 1 1 | DONE 0 0 | DONE 0 0 | DONE 0 0 | DONE 1 0 | DONE 1 0 | AGREE
21 1 1 | DONE 0 0 | DONE 0 0 | DONE 0 0 | DONE 1 0 | DONE 1 0 | AGREE
22 1 1 | DONE 0 0 | DONE 0 0 | DONE 0 0 | DONE 1 0 | DONE 1 0 | AGREE
23 1 1 | DONE 1 0 | DONE 1 0 | DONE 1 0 | DONE 103 0 | DONE 1 0 | AGREE
24 1 1 | DONE 0 0 | DONE 0 0 | DONE 0 0 | DONE 1 0 | DONE 1 0 | AGREE
25 1 1 | DONE 42 9 | DONE 40 9 | DONE 57 9 | DONE 4723 9 | DONE 4413 9 | AGREE
26 1 1 | DONE 0 0 | DONE 0 0 | DONE 0 0 | DONE 1 0 | DONE 1 0 | AGREE
27 1 1 | DONE 33 9 | DONE 33 9 | DONE 33 9 | DONE 4845 9 | DONE 4496 9 | AGREE
28 1 1 | DONE 0 0 | DONE 0 0 | DONE 0 0 | DONE 1 0 | DONE 1 0 | AGREE
29 1 1 | DONE 33 9 | DONE 33 9 | DONE 33 9 | DONE 4851 9 | DONE 4502 9 | AGREE
30 1 1 | DONE 42 9 | DONE 40 9 | DONE 42 9 | DONE 4723 9 | DONE 4413 9 | AGREE
31 1 1 | DONE 33 9 | DONE 33 9 | DONE 33 9 | DONE 4895 9 | DONE 4548 9 | AGREE
32 1 1 | DONE 33 9 | DONE 33 9 | DONE 33 9 | DONE 4845 9 | DONE 4496 9 | AGREE
33 1 1 | DONE 0 0 | DONE 0 0 | DONE 0 0 | DONE 1 0 | DONE 1 0 | AGREE
34 1 1 | DONE 33 9 | DONE 33 9 | DONE 33 9 | DONE 4849 9 | DONE 4500 9 | AGREE
35 1 1 | DONE 33 9 | DONE 33 9 | DONE 33 9 | DONE 4851 9 | DONE 4502 9 | AGREE
36 1 1 | DONE 0 0 | DONE 0 0 | DONE 0 0 | DONE 1 0 | DONE 1 0 | AGREE
37 1 1 | DONE 26 0 | DONE 30 0 | DONE 30 0 | DONE 2523 0 | DONE 2286 0 | AGREE
38 1 1 | DONE 0 0 | DONE 0 0 | DONE 0 0 | DONE 1 0 | DONE 1 0 | AGREE
39 1 1 | DONE 26 0 | DONE 30 0 | DONE 31 0 | DONE 2537 0 | DONE 2295 0 | AGREE
40 1 1 | DONE 26 0 | DONE 30 0 | DONE 30 0 | DONE 2537 0 | DONE 2295 0 | AGREE
41 1 1 | DONE 0 0 | DONE 0 0 | DONE 0 0 | DONE 1 0 | DONE 1 0 | AGREE
42 1 1 | DONE 26 0 | DONE 30 0 | DONE 30 0 | DONE 2523 0 | DONE 2286 0 | AGREE
43 1 1 | DONE 1 0 | DONE 1 0 | DONE 45 0 | DONE 103 0 | DONE 1 0 | AGREE
44 1 1 | DONE 1 0 | DONE 1 0 | DONE 45 0 | DONE 103 0 | DONE 1 0 | AGREE
45 1 1 | DONE 26 0 | DONE 30 0 | DONE 31 0 | DONE 2537 0 | DONE 2295 0 | AGREE
46 1 1 | DONE 26 0 | DONE 30 0 | DONE 30 0 | DONE 2537 0 | DONE 2295 0 | AGREE
47 1 1 | DONE 31 0 | DONE 31 0 | DONE 47 0 | DONE 2781 0 | DONE 2438 0 | AGREE
48 1 1 | DONE 33 9 | DONE 33 9 | DONE 33 9 | DONE 4895 9 | DONE 4548 9 | AGREE
49 1 1 | DONE 33 9 | DONE 33 9 | DONE 50 9 | DONE 4897 9 | DONE 4554 9 | AGREE
50 1 1 | DONE 33 9 | DONE 33 9 | DONE 50 9 | DONE 4850 9 | DONE 4495 9 | AGREE
51 1 1 | DONE 0 0 | DONE 0 0 | DONE 0 0 | DONE 1 0 | DONE 1 0 | AGREE
52 1 1 | DONE 33 9 | DONE 33 9 | DONE 33 9 | DONE 4849 9 | DONE 4500 9 | AGREE
53 1 1 | DONE 83 9 | DONE 86 9 | DONE 86 9 | DONE 7453 9 | DONE 6989 9 | AGREE
54 1 1 | DONE 0 0 | DONE 0 0 | DONE 0 0 | DONE 1 0 | DONE 1 0 | AGREE
55 1 1 | DONE 33 9 | DONE 33 9 | DONE 50 9 | DONE 4897 9 | DONE 4554 9 | AGREE
56 1 1 | DONE 33 9 | DONE 33 9 | DONE 50 9 | DONE 4850 9 | DONE 4495 9 | AGREE
57 1 1 | DONE 66 14 | DONE 86 14 | DONE 67 14 | DONE 10044 14 | DONE 9193 14 | AGREE
58 1 1 | DONE 83 9 | DONE 86 9 | DONE 86 9 | DONE 7453 9 | DONE 6989 9 | AGREE
59 1 1 | DONE 66 14 | DONE 86 14 | DONE 67 14 | DONE 9948 14 | DONE 9149 14 | AGREE
60 1 1 | DONE 0 0 | DONE 0 0 | DONE 0 0 | DONE 1 0 | DONE 1 0 | AGREE
61 1 1 | DONE 1 0 | DONE 1 0 | DONE 48 0 | DONE 103 0 | DONE 1 0 | AGREE
62 1 1 | DONE 1 0 | DONE 1 0 | DONE 48 0 | DONE 103 0 | DONE 1 0 | AGREE
63 1 1 | DONE 47 0 | DONE 62 0 | DONE 76 0 | DONE 3164 0 | DONE 2816 0 | AGREE
64 1 1 | DONE 31 0 | DONE 31 0 | DONE 31 0 | DONE 2781 0 | DONE 2438 0 | AGREE
65 1 1 | DONE 46 0 | DONE 62 0 | DONE 48 0 | DONE 3064 0 | DONE 2766 0 | AGREE
66 1 1 | DONE 0 0 | DONE 0 0 | DONE 0 0 | DONE 1 0 | DONE 1 0 | AGREE
67 1 1 | DONE 42 0 | DONE 62 0 | DONE 42 0 | DONE 3084 0 | DONE 2766 0 | AGREE
68 1 1 | DONE 48 0 | DONE 62 0 | DONE 48 0 | DONE 3064 0 | DONE 2816 0 | AGREE
69 1 1 | DONE 45 0 | DONE 31 0 | DONE 59 0 | DONE 2781 0 | DONE 2438 0 | AGREE
70 1 1 | DONE 42 0 | DONE 62 0 | DONE 42 0 | DONE 3064 0 | DONE 2816 0 | AGREE
71 1 1 | DONE 48 0 | DONE 62 0 | DONE 76 0 | DONE 3064 0 | DONE 2766 0 | AGREE
72 1 1 | DONE 0 0 | DONE 0 0 | DONE 0 0 | DONE 1 0 | DONE 1 0 | AGREE
73 1 1 | DONE 46 6 | DONE 85 6 | DONE 85 6 | DONE 5655 6 | DONE 5186 6 | AGREE
74 1 1 | DONE 65 14 | DONE 86 14 | DONE 95 14 | DONE 10044 14 | DONE 9193 14 | AGREE
75 1 1 | DONE 45 6 | DONE 83 6 | DONE 83 6 | DONE 5563 6 | DONE 3580 6 | AGREE
76 1 1 | DONE 48 6 | DONE 85 6 | DONE 46 6 | DONE 5512 6 | DONE 5051 6 | AGREE
77 1 1 | DONE 63 14 | DONE 86 14 | DONE 94 14 | DONE 9948 14 | DONE 9149 14 | AGREE
78 1 1 | DONE 46 6 | DONE 85 6 | DONE 50 6 | DONE 5655 6 | DONE 5186 6 | AGREE
79 1 1 | DONE 62 9 | DONE 86 9 | DONE 95 9 | DONE 7556 9 | DONE 7096 9 | AGREE
80 1 1 | DONE 62 9 | DONE 86 9 | DONE 95 9 | DONE 7459 9 | DONE 6994 9 | AGREE
81 1 1 | DONE 46 6 | DONE 83 6 | DONE 83 6 | DONE 5542 6 | DONE 3580 6 | AGREE
82 1 1 | DONE 48 6 | DONE 85 6 | DONE 85 6 | DONE 5512 6 | DONE 5051 6 | AGREE
83 1 1 | DONE 53 8 | DONE 99 8 | DONE 77 8 | DONE 6069 8 | DONE 5669 8 | AGREE
84 1 1 | DONE 42 0 | DONE 62 0 | DONE 65 0 | DONE 3084 0 | DONE 2766 0 | AGREE
85 1 1 | DONE 39 0 | DONE 62 0 | DONE 69 0 | DONE 3260 0 | DONE 2901 0 | AGREE
86 1 1 | DONE 40 0 | DONE 62 0 | DONE 62 0 | DONE 3101 0 | DONE 2766 0 | AGREE
87 1 1 | DONE 45 0 | DONE 31 0 | DONE 45 0 | DONE 2781 0 | DONE 2438 0 | AGREE
88 1 1 | DONE 42 0 | DONE 62 0 | DONE 65 0 | DONE 3064 0 | DONE 2816 0 | AGREE
89 1 1 | DONE 54 0 | DONE 99 0 | DONE 75 0 | DONE 3577 0 | DONE 3022 0 | AGREE
90 1 1 | DONE 37 0 | DONE 31 0 | DONE 41 0 | DONE 2909 0 | DONE 2438 0 | AGREE
91 1 1 | DONE 39 0 | DONE 62 0 | DONE 62 0 | DONE 3260 0 | DONE 2901 0 | AGREE
92 1 1 | DONE 40 0 | DONE 62 0 | DONE 69 0 | DONE 3101 0 | DONE 2766 0 | AGREE
93 1 1 | DONE 48 0 | DONE 49 0 | DONE 61 0 | DONE 3617 0 | DONE 3119 0 | AGREE
94 1 1 | DONE 53 0 | DONE 99 0 | DONE 75 0 | DONE 3465 0 | DONE 2900 0 | AGREE
95 1 1 | DONE 57 14 | DONE 86 14 | DONE 86 14 | DONE 10004 14 | DONE 9141 14 | AGREE
96 1 1 | DONE 54 9 | DONE 86 9 | DONE 59 9 | DONE 7556 9 | DONE 7096 9 | AGREE
97 1 1 | DONE 55 9 | DONE 86 9 | DONE 60 9 | DONE 7459 9 | DONE 6994 9 | AGREE
98 1 1 | DONE 57 10 | DONE 60 10 | DONE 67 10 | DONE 9191 10 | DONE 8266 10 | AGREE
99 1 1 | DONE 54 8 | DONE 99 8 | DONE 103 8 | DONE 6069 8 | DONE 5669 8 | AGREE
100 1 1 | DONE 57 14 | DONE 86 14 | DONE 86 14 | DONE 10004 14 | DONE 9141 14 | AGREE
101 1 1 | DONE 53 10 | DONE 60 10 | DONE 64 10 | DONE 9191 10 | DONE 8266 10 | AGREE
102 1 1 | DONE 57 10 | DONE 60 10 | DONE 67 10 | DONE 8965 10 | DONE 8015 10 | AGREE
103 1 1 | DONE 52 10 | DONE 60 10 | DONE 64 10 | DONE 8995 10 | DONE 8023 10 | AGREE
104 1 1 | DONE 37 0 | DONE 31 0 | DONE 37 0 | DONE 2909 0 | DONE 2438 0 | AGREE
105 1 1 | DONE 44 0 | DONE 99 0 | DONE 67 0 | DONE 3577 0 | DONE 3022 0 | AGREE
106 1 1 | DONE 47 0 | DONE 49 0 | DONE 55 0 | DONE 3617 0 | DONE 3119 0 | AGREE
107 1 1 | DONE 43 0 | DONE 99 0 | DONE 99 0 | DONE 3457 0 | DONE 2900 0 | AGREE
108 1 1 | DONE 44 0 | DONE 99 0 | DONE 99 0 | DONE 3577 0 | DONE 3022 0 | AGREE
109 1 1 | DONE 43 0 | DONE 99 0 | DONE 67 0 | DONE 3457 0 | DONE 2900 0 | AGREE
110 1 1 | DONE 47 0 | DONE 47 0 | DONE 47 0 | DONE 3495 0 | DONE 3335 0 | AGREE
111 1 1 | DONE 53 10 | DONE 60 10 | DONE 60 10 | DONE 9221 10 | DONE 8284 10 | AGREE
112 1 1 | DONE 52 10 | DONE 60 10 | DONE 60 10 | DONE 8995 10 | DONE 8023 10 | AGREE
113 1 1 | DONE 54 4 | DONE 54 4 | DONE 54 4 | DONE 6525 4 | DONE 6235 4 | AGREE
114 1 1 | DONE 55 8 | DONE 99 8 | DONE 99 8 | DONE 6069 8 | DONE 5669 8 | AGREE
115 1 1 | DONE 52 4 | DONE 54 4 | DONE 54 4 | DONE 6517 4 | DONE 6211 4 | AGREE
116 1 1 | DONE 41 0 | DONE 49 0 | DONE 49 0 | DONE 3617 0 | DONE 3119 0 | AGREE
117 1 1 | DONE 46 0 | DONE 45 0 | DONE 45 0 | DONE 3491 0 | DONE 3261 0 | AGREE
118 1 1 | DONE 45 0 | DONE 45 0 | DONE 45 0 | DONE 3399 0 | DONE 3185 0 | AGREE
119 1 1 | DONE 44 4 | DONE 45 4 | DONE 45 4 | DONE 6217 4 | DONE 5557 4 | AGREE
