-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy path3_9_count
92 lines (90 loc) · 1.26 KB
/
3_9_count
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
version 6.8
command line jprime 3 9 1- -count -threads 4 -file 3_9_count -status
states 84
shift cycles 10
short cycles 1
length bound 74
states (in mem) 84
patterns 30513071763
patterns (total) 30513071763
nodes completed 141115707297
seconds elapsed 170.7481
seconds working 682.3288
seconds avail 682.9922
cores avail 12
patterns
counts
1, 1
2, 3
3, 11
4, 32
5, 96
6, 265
7, 779
8, 1835
9, 4387
10, 8056
11, 19286
12, 44305
13, 95010
14, 201706
15, 398582
16, 784915
17, 1470919
18, 2701523
19, 4810615
20, 8443341
21, 14411815
22, 23692210
23, 38039379
24, 59262926
25, 90077054
26, 133164036
27, 191518933
28, 268348558
29, 366192970
30, 486715477
31, 629506872
32, 793702461
33, 974088851
34, 1165555758
35, 1359112025
36, 1543224770
37, 1709093643
38, 1843311732
39, 1936063322
40, 1981037555
41, 1974197780
42, 1917405163
43, 1812883542
44, 1669618624
45, 1495901919
46, 1304479452
47, 1106423686
48, 911657862
49, 730798376
50, 569514197
51, 431014308
52, 316198954
53, 224986972
54, 155044470
55, 103425845
56, 66895921
57, 41574499
58, 25030994
59, 14486318
60, 8049813
61, 4285182
62, 2180382
63, 1066382
64, 490110
65, 214035
66, 89223
67, 33889
68, 12375
69, 4126
70, 1027
71, 264
72, 48
73, 10
74, 1