# 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 2 12 | DONE 1 0 | DONE 1 0 | DONE 1 0 | DONE 45 0 | DONE 45 0 | AGREE
1 2 8 | DONE 1 0 | DONE 1 0 | DONE 1 0 | DONE 68 0 | DONE 68 0 | AGREE
2 2 20 | DONE 1 1 | DONE 1 1 | DONE 1 1 | DONE 2 1 | DONE 2 1 | AGREE
3 2 10 | DONE 1 0 | DONE 1 0 | DONE 1 0 | DONE 56 0 | DONE 56 0 | AGREE
4 2 8 | DONE 1 0 | DONE 1 0 | DONE 1 0 | DONE 68 0 | DONE 68 0 | AGREE
5 2 8 | DONE 1 0 | DONE 1 0 | DONE 1 0 | DONE 68 0 | DONE 2 0 | AGREE
6 2 10 | DONE 1 0 | DONE 1 0 | DONE 1 0 | DONE 56 0 | DONE 56 0 | AGREE
7 2 8 | DONE 1 0 | DONE 1 0 | DONE 1 0 | DONE 68 0 | DONE 68 0 | AGREE
8 2 10 | DONE 1 0 | DONE 1 0 | DONE 1 0 | DONE 2 0 | DONE 2 0 | AGREE
9 2 8 | DONE 1 0 | DONE 1 0 | DONE 1 0 | DONE 2 0 | DONE 2 0 | AGREE
10 2 8 | DONE 1 0 | DONE 1 0 | DONE 1 0 | DONE 68 0 | DONE 2 0 | AGREE
11 2 8 | DONE 1 0 | DONE 1 0 | DONE 1 0 | DONE 68 0 | DONE 68 0 | AGREE
12 2 8 | DONE 1 0 | DONE 1 0 | DONE 1 0 | DONE 2 0 | DONE 2 0 | AGREE
13 2 8 | DONE 1 0 | DONE 1 0 | DONE 1 0 | DONE 68 0 | DONE 68 0 | AGREE
14 2 10 | DONE 1 0 | DONE 1 0 | DONE 1 0 | DONE 56 0 | DONE 56 0 | AGREE
15 2 8 | DONE 1 0 | DONE 1 0 | DONE 1 0 | DONE 68 0 | DONE 68 0 | AGREE
16 2 8 | DONE 1 0 | DONE 1 0 | DONE 1 0 | DONE 68 0 | DONE 68 0 | AGREE
17 2 8 | DONE 1 0 | DONE 1 0 | DONE 1 0 | DONE 68 0 | DONE 68 0 | AGREE
18 2 10 | DONE 1 0 | DONE 1 0 | DONE 1 0 | DONE 56 0 | DONE 56 0 | AGREE
19 2 8 | DONE 1 0 | DONE 1 0 | DONE 1 0 | DONE 68 0 | DONE 68 0 | AGREE
20 2 6 | DONE 1 0 | DONE 1 0 | DONE 2 0 | DONE 80 0 | DONE 2 0 | AGREE
21 2 6 | DONE 1 0 | DONE 1 0 | DONE 2 0 | DONE 80 0 | DONE 80 0 | AGREE
22 2 6 | DONE 4 0 | DONE 1 0 | DONE 4 0 | DONE 158 0 | DONE 158 0 | AGREE
23 2 6 | DONE 1 0 | DONE 1 0 | DONE 2 0 | DONE 80 0 | DONE 80 0 | AGREE
24 2 6 | DONE 2 1 | DONE 2 1 | DONE 3 1 | DONE 1094 1 | DONE 1094 1 | AGREE
25 2 6 | DONE 1 0 | DONE 1 0 | DONE 1 0 | DONE 80 0 | DONE 80 0 | AGREE
26 2 6 | DONE 1 0 | DONE 1 0 | DONE 2 0 | DONE 2 0 | DONE 2 0 | AGREE
27 2 6 | DONE 1 0 | DONE 1 0 | DONE 1 0 | DONE 80 0 | DONE 80 0 | AGREE
28 2 6 | DONE 1 0 | DONE 1 0 | DONE 1 0 | DONE 80 0 | DONE 80 0 | AGREE
29 2 6 | DONE 1 0 | DONE 1 0 | DONE 1 0 | DONE 80 0 | DONE 80 0 | AGREE
30 2 6 | DONE 1 0 | DONE 1 0 | DONE 1 0 | DONE 80 0 | DONE 2 0 | AGREE
31 2 6 | DONE 1 0 | DONE 1 0 | DONE 2 0 | DONE 80 0 | DONE 80 0 | AGREE
32 2 6 | DONE 1 0 | DONE 1 0 | DONE 1 0 | DONE 80 0 | DONE 2 0 | AGREE
