# 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 4 | DONE 29 0 | DONE 1 0 | DONE 29 0 | DONE 2 0 | DONE 2 0 | AGREE
1 2 4 | DONE 2 0 | DONE 2 0 | DONE 2 0 | DONE 72 0 | DONE 72 0 | AGREE
2 2 4 | DONE 18 0 | DONE 3 0 | DONE 18 0 | DONE 142 0 | DONE 142 0 | AGREE
3 2 6 | DONE 5 0 | DONE 5 0 | DONE 5 0 | DONE 252 0 | DONE 252 0 | AGREE
4 2 6 | DONE 4 0 | DONE 1 0 | DONE 4 0 | DONE 52 0 | DONE 52 0 | AGREE
5 2 4 | DONE 1 0 | DONE 1 0 | DONE 1 0 | DONE 72 0 | DONE 72 0 | AGREE
6 2 8 | DONE 1 0 | DONE 1 0 | DONE 1 0 | DONE 32 0 | DONE 32 0 | AGREE
7 2 4 | DONE 17 0 | DONE 4 0 | DONE 17 0 | DONE 590 0 | DONE 590 0 | AGREE
8 2 4 | DONE 13 0 | DONE 4 0 | DONE 13 0 | DONE 576 0 | DONE 576 0 | AGREE
9 2 4 | DONE 20 0 | DONE 4 0 | DONE 20 0 | DONE 587 0 | DONE 587 0 | AGREE
10 2 4 | DONE 8 0 | DONE 8 0 | DONE 24 0 | DONE 583 0 | DONE 583 0 | AGREE
11 2 4 | DONE 4 0 | DONE 4 0 | DONE 17 0 | DONE 572 0 | DONE 572 0 | AGREE
12 2 4 | DONE 6 2 | DONE 6 2 | DONE 26 2 | DONE 600 2 | DONE 600 2 | AGREE
13 2 4 | DONE 7 0 | DONE 7 0 | DONE 26 0 | DONE 593 0 | DONE 593 0 | AGREE
14 2 4 | DONE 4 2 | DONE 4 2 | DONE 25 2 | DONE 562 2 | DONE 562 2 | AGREE
15 2 4 | DONE 24 1 | DONE 3 1 | DONE 28 1 | DONE 562 1 | DONE 562 1 | AGREE
16 2 4 | DONE 14 0 | DONE 5 0 | DONE 8 0 | DONE 575 0 | DONE 575 0 | AGREE
17 2 4 | DONE 30 0 | DONE 1 0 | DONE 30 0 | DONE 212 0 | DONE 212 0 | AGREE
18 2 4 | DONE 20 0 | DONE 6 0 | DONE 20 0 | DONE 582 0 | DONE 582 0 | AGREE
19 2 6 | DONE 7 0 | DONE 1 0 | DONE 7 0 | DONE 2 0 | DONE 2 0 | AGREE
20 2 4 | DONE 31 0 | DONE 2 0 | DONE 31 0 | DONE 282 0 | DONE 282 0 | AGREE
21 2 4 | DONE 32 0 | DONE 4 0 | DONE 36 0 | DONE 142 0 | DONE 142 0 | AGREE
22 2 6 | DONE 3 0 | DONE 1 0 | DONE 3 0 | DONE 2 0 | DONE 2 0 | AGREE
23 2 4 | DONE 13 0 | DONE 15 0 | DONE 13 0 | DONE 583 0 | DONE 583 0 | AGREE
24 2 4 | DONE 19 0 | DONE 1 0 | DONE 25 0 | DONE 282 0 | DONE 282 0 | AGREE
25 2 4 | DONE 21 0 | DONE 6 0 | DONE 22 0 | DONE 575 0 | DONE 575 0 | AGREE
26 2 4 | DONE 11 0 | DONE 5 0 | DONE 10 0 | DONE 142 0 | DONE 142 0 | AGREE
27 2 4 | DONE 15 0 | DONE 4 0 | DONE 16 0 | DONE 282 0 | DONE 282 0 | AGREE
28 2 4 | DONE 9 0 | DONE 3 0 | DONE 9 0 | DONE 580 0 | DONE 580 0 | AGREE
29 2 4 | DONE 20 0 | DONE 4 0 | DONE 20 0 | DONE 212 0 | DONE 212 0 | AGREE
30 2 4 | DONE 13 0 | DONE 3 0 | DONE 20 0 | DONE 571 0 | DONE 571 0 | AGREE
31 2 4 | DONE 16 0 | DONE 6 0 | DONE 16 0 | DONE 575 0 | DONE 575 0 | AGREE
32 2 4 | DONE 5 0 | DONE 5 0 | DONE 5 0 | DONE 576 0 | DONE 576 0 | AGREE
33 2 4 | DONE 20 0 | DONE 6 0 | DONE 20 0 | DONE 352 0 | DONE 352 0 | AGREE
34 2 4 | DONE 8 0 | DONE 8 0 | DONE 8 0 | DONE 608 0 | DONE 608 0 | AGREE
35 2 4 | DONE 47 0 | DONE 3 0 | DONE 54 0 | DONE 142 0 | DONE 142 0 | AGREE
36 2 4 | DONE 26 0 | DONE 1 0 | DONE 28 0 | DONE 492 0 | DONE 492 0 | AGREE
37 2 4 | DONE 25 0 | DONE 3 0 | DONE 31 0 | DONE 574 0 | DONE 574 0 | AGREE
38 2 4 | DONE 45 0 | DONE 1 0 | DONE 43 0 | DONE 2 0 | DONE 2 0 | AGREE
39 2 6 | DONE 6 2 | DONE 6 2 | DONE 6 2 | DONE 318 2 | DONE 318 2 | AGREE
40 2 4 | DONE 27 0 | DONE 2 0 | DONE 29 0 | DONE 492 0 | DONE 492 0 | AGREE
41 2 4 | DONE 22 0 | DONE 1 0 | DONE 25 0 | DONE 562 0 | DONE 562 0 | AGREE
42 2 4 | DONE 6 0 | DONE 6 0 | DONE 6 0 | DONE 601 0 | DONE 601 0 | AGREE
43 2 4 | DONE 40 0 | DONE 2 0 | DONE 40 0 | DONE 142 0 | DONE 142 0 | AGREE
44 2 4 | DONE 2 0 | DONE 2 0 | DONE 2 0 | DONE 72 0 | DONE 72 0 | AGREE
45 2 4 | DONE 17 0 | DONE 17 0 | DONE 17 0 | DONE 702 0 | DONE 702 0 | AGREE
46 2 4 | DONE 29 0 | DONE 19 0 | DONE 29 0 | DONE 712 0 | DONE 712 0 | AGREE
47 2 4 | DONE 19 0 | DONE 17 0 | DONE 22 0 | DONE 658 0 | DONE 658 0 | AGREE
48 2 4 | DONE 34 0 | DONE 31 0 | DONE 33 0 | DONE 728 0 | DONE 728 0 | AGREE
49 2 4 | DONE 55 0 | DONE 29 0 | DONE 52 0 | DONE 596 0 | DONE 596 0 | AGREE
50 2 4 | DONE 34 0 | DONE 27 0 | DONE 27 0 | DONE 728 0 | DONE 728 0 | AGREE
51 2 4 | DONE 55 0 | DONE 29 0 | DONE 62 0 | DONE 596 0 | DONE 596 0 | AGREE
52 2 4 | DONE 21 0 | DONE 21 0 | DONE 21 0 | DONE 748 0 | DONE 748 0 | AGREE
53 2 4 | DONE 38 1 | DONE 23 1 | DONE 39 1 | DONE 850 1 | DONE 850 1 | AGREE
54 2 4 | DONE 36 2 | DONE 26 2 | DONE 36 2 | DONE 916 2 | DONE 916 2 | AGREE
55 2 4 | DONE 28 1 | DONE 29 1 | DONE 28 1 | DONE 950 1 | DONE 950 1 | AGREE
56 2 4 | DONE 24 0 | DONE 26 0 | DONE 24 0 | DONE 740 0 | DONE 740 0 | AGREE
57 2 4 | DONE 40 0 | DONE 28 0 | DONE 68 0 | DONE 832 0 | DONE 832 0 | AGREE
58 2 4 | DONE 38 0 | DONE 3 0 | DONE 43 0 | DONE 590 0 | DONE 590 0 | AGREE
59 2 4 | DONE 29 2 | DONE 27 2 | DONE 60 2 | DONE 783 2 | DONE 783 2 | AGREE
60 2 4 | DONE 31 0 | DONE 29 0 | DONE 49 0 | DONE 1015 0 | DONE 1015 0 | AGREE
61 2 4 | DONE 15 0 | DONE 15 0 | DONE 17 0 | DONE 695 0 | DONE 695 0 | AGREE
62 2 4 | DONE 5 0 | DONE 5 0 | DONE 5 0 | DONE 594 0 | DONE 594 0 | AGREE
63 2 4 | DONE 34 0 | DONE 35 0 | DONE 52 0 | DONE 932 0 | DONE 932 0 | AGREE
64 2 4 | DONE 33 0 | DONE 28 0 | DONE 33 0 | DONE 694 0 | DONE 694 0 | AGREE
65 2 4 | DONE 31 0 | DONE 20 0 | DONE 48 0 | DONE 733 0 | DONE 733 0 | AGREE
66 2 4 | DONE 60 0 | DONE 13 0 | DONE 60 0 | DONE 814 0 | DONE 814 0 | AGREE
67 2 4 | DONE 33 0 | DONE 1 0 | DONE 33 0 | DONE 352 0 | DONE 352 0 | AGREE
68 2 4 | DONE 2 0 | DONE 2 0 | DONE 2 0 | DONE 72 0 | DONE 72 0 | AGREE
69 2 4 | DONE 2 0 | DONE 2 0 | DONE 2 0 | DONE 72 0 | DONE 72 0 | AGREE
70 2 4 | DONE 24 0 | DONE 23 0 | DONE 24 0 | DONE 662 0 | DONE 662 0 | AGREE
71 2 4 | DONE 34 0 | DONE 20 0 | DONE 26 0 | DONE 724 0 | DONE 724 0 | AGREE
72 2 4 | DONE 34 0 | DONE 1 0 | DONE 33 0 | DONE 142 0 | DONE 142 0 | AGREE
73 2 4 | DONE 15 0 | DONE 2 0 | DONE 15 0 | DONE 212 0 | DONE 212 0 | AGREE
74 2 4 | DONE 23 0 | DONE 1 0 | DONE 26 0 | DONE 562 0 | DONE 562 0 | AGREE
75 2 4 | DONE 15 0 | DONE 15 0 | DONE 14 0 | DONE 611 0 | DONE 611 0 | AGREE
76 2 4 | DONE 41 0 | DONE 1 0 | DONE 41 0 | DONE 142 0 | DONE 142 0 | AGREE
77 2 4 | DONE 9 0 | DONE 9 0 | DONE 9 0 | DONE 2 0 | DONE 2 0 | AGREE
78 2 4 | DONE 37 0 | DONE 9 0 | DONE 53 0 | DONE 642 0 | DONE 642 0 | AGREE
79 2 4 | DONE 29 0 | DONE 1 0 | DONE 25 0 | DONE 2 0 | DONE 2 0 | AGREE
