10 9 3 0 1

1

10

1 2 0 0 2
2 3
0

2 3 0 0 1
2
0

3 4 0 0 0
1 1

4 5 0 0 0
0

5 6 0 0 2
1 2
0

6 7 0 0 2
2 3
0

7 8 0 1 0
1 7 12
0

8 9 0 0 1
3
0

9 10 0 0 0
2 1 0 6



M	Run_time
1	0.004453
2	0.010471
3	0.031199
4	0.152298
5	0.451474
6	1.0779
7	2.67533
8	5.42333
9	11.2027
10	20.8801
11	35.6042
12 bad mem allocation(#states : 3526500)