number of boards: 1
number of board states: 1
number of boards: 3
number of board states: 3
number of boards: 11
number of board states: 11
number of boards: 54
number of board states: 47
number of boards: 251
number of board states: 175
number of boards: 904
number of board states: 504
number of boards: 2453
number of board states: 1152
number of boards: 5224
number of board states: 2097
number of boards: 8698
number of board states: 3094
number of boards: 11612
number of board states: 3837
number of boards: 13203
number of board states: 4232
number of boards: 13782
number of board states: 4389
number of boards: 13924
number of board states: 4434
number of boards: 13932
number of board states: 4438
Number of solution states: 4
Number of links: 13931