API tools faq
paste
ben1996123

K perm

ben1996123
Apr 30th, 2024
93
0
Never
Add comment
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 11.86 KB | None | 0 0
raw download clone embed print report
  1. # This is twsearch v0.6.4-174-g3dcbf5b (C) 2022 Tomas Rokicki.
  2. # /home/ben/software/twsearch/build/bin/twsearch --cachedir /media/ben/drive1/twsearch -q -c 1000 -t 48 -M 131072 --moves U,F,R,r,3r 4x4x4.tws parity-pll-K.scr
  3. Created new moves U2 U' 2U2 2U' 3U2 3U' R2 R' 2R2 2R' 3R2 3R' F2 F' 2F2 2F' 3F2 3F' u2 u' r2 r' f2 f' 3u2 3u' 3r2 3r' 3f2 3f' e2 e' m2 m' s2 s'
  4. State size is about 7.4012 x 10^45 log2 152.375
  5. Requiring 214 bits 28 bytes per entry; 36 from identity.
  6. For quarter turn, rewrote bases to 11
  7. Found 16 canonical move states.
  8. Calculated canonical states in 0.000845909
  9. For memsize 137438953472 bytesize 137438953472 subshift 42 memshift 25 shardshift 33
  10. Trying to allocate 137438953536
  11. Reading /media/ben/drive1/twsearch/tws7-4x4x4-q-128G-o85i923cxc23.dat read in 461.008
  12. Solving s
  13. Depth 22 in 2.58997 lookups 390568816 rate 150.8
  14. U R r' F' 3r U R' 3r' U 3r' F' r r 3r' F U' F U F' 3r U' r' 3r
  15. U R r' F' 3r U R' 3r' U 3r' F' r r 3r' F 3r U' 3r U' 3r' F r' 3r
  16. U r r 3r U U R' 3r U U r r U' 3r F F 3r' U R F F r r
  17. U r r U 3r F' 3r U 3r F' r 3r' F R U' 3r' F R' 3r 3r U' r 3r
  18. U r r F F R' 3r F F r r 3r U' 3r F F 3r' U R F F r r
  19. U r r 3r' U' 3r F F 3r' U F F R R r r F F 3r F F r r
  20. U r r 3r' U' 3r F F 3r' U 3r U U R R r r U U F F r r
  21. U' F' r r U U F F r r F F U 3r' F R' F' 3r U R r r F'
  22. U' F' r' F F R r U R' F' 3r U R' U R 3r' F U r U U r' F
  23. F R' r r U' 3r' F R F' 3r U' F F r r F F U U r r F U
  24. F' r U U r' U' F' R' 3r U' R U' 3r' F R U' R' r' F F r F U
  25. r r F F U U R R r r U U 3r' U' 3r F F 3r' U r r 3r U'
  26. r r F F R' U' 3r F F 3r' U r r U U R 3r' U U r r 3r' U'
  27. r r F F R' U' 3r F F 3r' U r r 3r' F F R 3r' F F r r U'
  28. r r F F 3r' F F R R r r F F U' 3r F F 3r' U r r 3r U'
  29. r 3r' U 3r' F U' F' U F' r r 3r F 3r U' R 3r U' 3r' F R' r U'
  30. r 3r' F' 3r U 3r' U 3r' F' r r 3r F 3r U' R 3r U' 3r' F R' r U'
  31. r' 3r' U R 3r 3r F' 3r U R' F' r' 3r F 3r' U' 3r' F 3r' U' r r U'
  32. Depth 23 in 18.3952 lookups 2810703686 rate 152.796
  33. Depth 24 in 131.411 lookups 20231031325 rate 153.953
  34. U U R' r 3r' F' U' F U R F' 3r U r r 3r U' 3r' F U' F' U F r U
  35. U R R r 3r' F' 3r U R 3r' U 3r' F' r r 3r F U' F U F' 3r U' R r
  36. U R R r 3r' F' 3r U R 3r' U 3r' F' r r 3r F 3r U' 3r U' 3r' F R r
  37. U R r r 3r U U R' 3r U U R' r r U' 3r F F 3r' U R F F r r
  38. U R r' F' 3r U R' U U F U F' U r r 3r' U' F U' F' U 3r' F r' 3r
  39. U R r' F' 3r U R' U U F U F' U r r 3r' U' 3r' F 3r' F 3r U' r' 3r
  40. U R r' F' 3r U R' r' 3r' F' r' 3r 3r F r U' 3r' F U r' 3r 3r U' r' 3r
  41. U R r' F' 3r U R' r' 3r' F' r' 3r 3r F r 3r 3r F U 3r' F' r' U' r' 3r
  42. U R r' F' U' F R U R' F' 3r U r r 3r' U' 3r' F U' R' F' U F r' 3r
  43. U R r' F' U F U F' U' F R' r F' r' U F U' F' 3r' F' r F 3r U' F
  44. U R r r F F R' 3r F F R' r r 3r U' 3r F F 3r' U R F F r r
  45. U R r r F F 3r' F F r r F' 3r U R R U' 3r' F' 3r F F R' r r
  46. U R' r r 3r U U R' 3r U U R r r U' 3r F F 3r' U R F F r r
  47. U R' r r 3r' U U F F r r F 3r U' R R U 3r' F U U R r r 3r
  48. U R' r r F F R' 3r F F R r r 3r U' 3r F F 3r' U R F F r r
  49. U R' r 3r' U F' 3r' F' 3r F R F' 3r U r r 3r U' 3r 3r F 3r F U' r
  50. U F r 3r' F' r' F' r U F U' r' 3r F' U' 3r' F' r' 3r F' 3r U' 3r' F' r
  51. U F' U' 3r' F r r F r 3r U' F U r' U' r F' U U F U U F' r F
  52. U r U R U' R' U F R F' U' R r r U' R U 3r U R R U' R' r 3r'
  53. U r F R U' R' r' 3r' U' R F' R' U 3r' F 3r U' R F r 3r U R' F' r'
  54. U r U' 3r' U' F' r' U' r F U' R U R' r' U r F U F 3r F U' F' r'
  55. U r U' r F F r' U r F F U' F F U' R R r r U F F U r r
  56. U r U' r F F r' U r 3r' F 3r U R R r r U' 3r' F' 3r F F r r
  57. U r r 3r' U U F F R R r r F F U 3r F F 3r' U 3r F F r r
  58. U r r 3r' U U F F R' r' F 3r U' R' U 3r' F' r' F F U U r r 3r
  59. U r r 3r' U U F F r r F 3r U' R' U 3r' F' R' F F U U r r 3r
  60. U r 3r' F' 3r U R' 3r' U F U' R' F' R R r r F 3r 3r U' 3r' U' F r
  61. U r 3r' F' 3r U R' 3r' U 3r' F' R R r r 3r F U' F U F' 3r U' R' r
  62. U r 3r' F' 3r U R' 3r' U 3r' F' R R r r 3r F 3r U' 3r U' 3r' F R' r
  63. U r r U 3r F' 3r U 3r F' r 3r' U F' R U R' U' F U' F 3r U' r 3r
  64. U r r F F 3r' F F R' r' F' 3r U R' U' 3r' F r' F F 3r F F r r
  65. U r r F F 3r' F F r r F' 3r U R' U' 3r' F R' F F 3r F F r r
  66. U r r 3r' U' 3r F F 3r' U R F F R R r r F F R' 3r F F r r
  67. U r r 3r' U' 3r F F 3r' U R F F R r r F F R' 3r F F R r r
  68. U r r 3r' U' 3r F F 3r' U R F F R' r r F F R' 3r F F R' r r
  69. U r r 3r' U' 3r F F 3r' U R F F r r F F R' 3r F F R R r r
  70. U r r 3r' U' 3r F F 3r' U R 3r U U R R r r U U R' F F r r
  71. U r r 3r' U' 3r F F 3r' U R' F F R R r r F F R 3r F F r r
  72. U r r 3r' U' 3r F F 3r' U R' 3r U U R R r r U U R F F r r
  73. U r r 3r' U' 3r F F 3r' U 3r 3r F F r r 3r 3r F F 3r' F F r r
  74. U r r 3r' U' 3r F F 3r' U 3r' U U r r 3r 3r U U 3r 3r F F r r
  75. U r r 3r U' 3r' F' R' U U R F' R R F R' r r U U R F F r r
  76. U r r 3r' U 3r' U' F U' 3r' F R F' r r 3r' U R' F' U 3r U' r r 3r
  77. U r' F U R' F r U' 3r F U R' U' R F' 3r' F' U F r' F' R U' F' r
  78. U r' F U r' F r U' 3r F U R' U' R F' 3r' F' U F r' F' r U' F' r
  79. U r' F U 3r' F r U' 3r F U R' U' R F' 3r' F' U F r' F' 3r U' F' r
  80. U r' F' U' 3r U' r U' 3r' F r' U' F' R' F r U' R U r' U F U F r
  81. U r' F' 3r U' F R U R' F U 3r U' R' F' R U' R' F r 3r' F F R 3r'
  82. U r' F' U 3r' F' 3r U' F U r r U' 3r' F U' R F R' U R F' R' r' 3r
  83. U r' F' U 3r' F' 3r U' F U r r U' 3r' F R' U' R F R' U R F' r' 3r
  84. U 3r' F' r U U R' r' F' R U 3r' F' R F' R' 3r U' F' r' F F r F 3r
  85. U' R' U F' U 3r' F r F' 3r U r r U 3r' F' r r F' 3r U r' F U R
  86. U' F r r U U F F R' r r U 3r' F' R F 3r U' F F U U r r F
  87. U' F r r U U F F r U 3r' F' R F 3r U' R' r F F U U r r F
  88. U' F R r U' 3r' F R' F' 3r U r U U F F r r F F U U r r F
  89. U' F r r U R' U R U F U' R' U' R U F r r F F U U r r F
  90. U' F r r U r' U r U F U' r' U' r U F r r F F U U r r F
  91. U' F r r U' 3r' F R' F' 3r U R U U F F r r F F U U r r F
  92. U' F r r U 3r' U 3r U F U' 3r' U' 3r U F r r F F U U r r F
  93. U' F' U r r F F U 3r' F R F' 3r U R r r U U F F r r U' F
  94. U' F' r r U U F F R' U 3r' F' R F 3r U' r r F F U U r r F'
  95. U' F' r r U U F F r r F U U R' U' R U' F U R' U R r r F'
  96. U' F' r r U U F F r r F F U U R r' U' 3r' F R' F' 3r U r' F'
  97. U' F' r r U U F F r r F 3r' U U 3r F 3r' U U 3r U U r r F'
  98. U' F' r r U U F F r' U 3r' F' R F 3r U' R' r' F F U U r r F'
  99. U' F' r' F F R r U R R U F 3r' F R U F' U' 3r F r U U r' F
  100. U' r r U' R R U' F U F' R R F U' F r r F F U U r r F F
  101. U' r' F' U' F U F' 3r U r r 3r' U' 3r' F R' U' F' U F R r' 3r U U
  102. U' r' U F' U 3r' F r F' 3r U r r U 3r' F' r r F' 3r U r' F U r
  103. U' 3r' U F' U 3r' F r F' 3r U r r U 3r' F' r r F' 3r U r' F U 3r
  104. R R r r F F R 3r' F F r r F F R' U' 3r F F 3r' U r r 3r U'
  105. R r r F F R 3r' F F R r r F F R' U' 3r F F 3r' U r r 3r U'
  106. R r 3r' F R' U' R F' R' U F' 3r U r r U' F' U 3r' F 3r U' F r U'
  107. R r' U 3r' F U' F' U F' R R r r 3r' F 3r U' R 3r U' 3r' F r' 3r U'
  108. R r r F F 3r' F 3r U R R U' 3r' F r r F F 3r F F R' r r U'
  109. R r' U' R' U' r F' R' F U' F' R U R r' U' F R' U' F' R' r F U' R
  110. R r' 3r U R R U' 3r' U' R' U R' r r U F R' F' U' R U R' U' r' U'
  111. R r' F' 3r U 3r' U 3r' F' R R r r 3r' F 3r U' R 3r U' 3r' F r' 3r U'
  112. R' U F' R r' F U R F' U R' r U' R' F U F' R F r' U R U R' r
  113. R' U F' r 3r' U' r 3r U' r F' r' U r F r U F U' R r 3r' U r' 3r
  114. R' U F' r 3r' U' r' 3r U F' 3r U r' U' 3r' F r F U' R r 3r' U r' 3r
  115. R' U r' F R r U R' U' r' F' U 3r' F' r r U' R U r' 3r' F 3r U' 3r
  116. R' U' F' r U' 3r' F r r F 3r U' r r U' 3r' F r' F' 3r U' F U' R U
  117. R' r r 3r' U U F' 3r U' R R U 3r' F' r r F F U U R r r 3r U'
  118. R' r r F F R 3r' F F R' r r F F R' U' 3r F F 3r' U r r 3r U'
  119. R' r' U 3r' F U' F' U F' r r 3r' F 3r U' R' 3r U' 3r' F R R r' 3r U'
  120. R' r' F' 3r U 3r' U 3r' F' r r 3r' F 3r U' R' 3r U' 3r' F R R r' 3r U'
  121. R' 3r F F r' 3r F' R U R' F R U 3r' U' F' R U' R' F' U 3r' F r U'
  122. F R' r r U' R U' F' U R' U R U U F' r r F F U U r r F U
  123. F F r r U U F F r r F' U F' R R F U' F' U R R U r r U
  124. F r U' 3r' F R F' 3r U R' r U U F F r r F F U U r r F U
  125. F r r U U F F R r U 3r' F' R' F 3r U' r F F U U r r F U
  126. F r r U U F F r r U 3r' F' R' F 3r U' R F F U U r r F U
  127. F r F' U' F' r 3r F' 3r U r' 3r 3r F 3r' F 3r F r' U' F' U 3r' F' 3r
  128. F r r U U 3r' U U 3r F' 3r' U U 3r F' r r F F U U r r F U
  129. F' U r r F F U U R' r r U' 3r' F R' F' 3r U' F F r r U' F U
  130. F' U 3r' F' r' F 3r F U F' U' r F R r' F' U F U' F' U' F R' r U'
  131. F' r U U r' F' 3r' U F U' R' F' 3r F' U' R R U' R' r' F F r F U
  132. F' r r U U F F U 3r' F' R' F 3r U' R r r F F U U r r F' U
  133. F' r r U U F F R r' U 3r' F' R' F 3r U' r' F F U U r r F' U
  134. F' r r U U F F r r F F U U R' U' 3r' F R F' 3r U r r F' U
  135. F' r r U U F F r r F F U U r' U' 3r' F R F' 3r U R' r' F' U
  136. F' r r U U F F r r F' U' R' U R U F' U' R' U' R U' r r F' U
  137. F' r r U U F F r r F' U' r' U r U F' U' r' U' r U' r r F' U
  138. F' r r U U F F r r F' U' 3r' U 3r U F' U' 3r' U' 3r U' r r F' U
  139. F' r r F U' 3r' F 3r 3r U' r r U 3r 3r F' U' R U F U' F' R' U 3r
  140. F' r' F U U F' U U F r' U r U' F' U r' 3r' F' r r F' 3r U F U'
  141. r F U F' 3r' F' U' F' r' U' R r U' R' U F' r' U r F U 3r U r' U'
  142. r F R U' r' 3r' F' R' U 3r' F' 3r U' R F R' U R r 3r U R' F' r' U'
  143. r r U' F F U' R R r r U F F U F F r' U' r F F r' U r' U'
  144. r r F F R U U R R r r U U R' 3r' U' 3r F F 3r' U r r 3r U'
  145. r r F F R' U U R R r r U U R 3r' U' 3r F F 3r' U r r 3r U'
  146. r r F F R' U U R r r F' R R F R' U U R F 3r U r r 3r' U'
  147. r r F F R' U' 3r F F 3r' U R r r U U R 3r' U U R' r r 3r' U'
  148. r r F F R' U' 3r F F 3r' U R r r 3r' F F R 3r' F F R' r r U'
  149. r r F F R' U' 3r F F 3r' U R' r r U U R 3r' U U R r r 3r' U'
  150. r r F F R' U' 3r F F 3r' U R' r r 3r' F F R 3r' F F R r r U'
  151. r r F F 3r' U' 3r F F 3r' U' F F R R r r F F U U r r 3r U'
  152. r r F U' 3r' F 3r 3r U' r r U R 3r' F U' F' R' F' 3r' F' U' F U 3r
  153. r r F F 3r' F F R F' 3r U R U' 3r' F r r F F 3r F F r r U'
  154. r r F F 3r F F r r 3r 3r F F 3r 3r U' 3r F F 3r' U r r 3r U'
  155. r r F F 3r' F F r F' 3r U R U' 3r' F R r F F 3r F F r r U'
  156. r r F F 3r' F 3r U R R r r U' 3r' F' r' 3r U' r F F r' U r' U'
  157. r r F F 3r 3r U U r r 3r 3r U U 3r U' 3r F F 3r' U r r 3r U'
  158. r r 3r' U 3r' U' F R U' r r 3r F R' F' 3r U F' U 3r U' r r 3r U'
  159. r r 3r' U U F F R F 3r U' R U 3r' F' r r F F U U r r 3r U'
  160. r r 3r' U U F F r F 3r U' R U 3r' F' R r F F U U r r 3r U'
  161. r r F F R' 3r' F F R R r r F F R U' 3r F F 3r' U r r 3r U'
  162. r r F F R 3r' F F R R r r F F R' U' 3r F F 3r' U r r 3r U'
  163. r 3r' F R' U' R F' R' U R F' 3r U r r U' F' U 3r' F 3r U' F r U'
  164. r 3r' U r 3r 3r U' F' 3r U r' F' r 3r 3r F R r 3r U' 3r' F R' r U'
  165. r 3r' U' R' r' 3r U F' U' r' F' r' U' r F r' U r' 3r' U r' 3r F U' R
  166. r 3r' U' R' r' 3r U F' r' F' 3r U r U' 3r' F U' r 3r' U r' 3r F U' R
  167. r 3r' U 3r' F' 3r F' 3r U r r 3r U' F U' F' U U R U' 3r' F R' r U'
  168. r 3r' U r F 3r U' F' r' 3r 3r F' r 3r 3r F R r 3r U' 3r' F R' r U'
  169. r 3r' F' U' F R U F' 3r U r r 3r U' 3r' F R U' R' F' U F R' r U'
  170. r 3r' F' 3r U' F U F' U r r 3r U' F U' F' U U R U' 3r' F R' r U'
  171. r' U F' 3r' F' 3r 3r U r r 3r' U' 3r' F R' F' 3r' F 3r F U' R r' 3r U'
  172. r' U' F' r U' 3r' F r r F 3r U' r r U' 3r' F r' F' 3r U' F U' r U
  173. r' F U R' F r F' U' F 3r F R' U R U' F' 3r' U r' F' R U' F' r U'
  174. r' F U r' F r F' U' F 3r F R' U R U' F' 3r' U r' F' r U' F' r U'
  175. r' F U 3r' F r F' U' F 3r F R' U R U' F' 3r' U r' F' 3r U' F' r U'
  176. r' F 3r U 3r' F r 3r' F 3r U F r 3r' U F' U' r' F r F r' 3r F' U'
  177. r' F' U' F' U' r U' R' U r' F' R F U r F' 3r U r' U 3r' U F r U'
  178. r' F' U 3r U 3r 3r F' R R r r F R U F' U' R 3r U' 3r' F r' 3r U'
  179. r' 3r' U 3r' F' U F' U R U' R' F U' r' 3r F 3r' U' 3r' F 3r' U' r r U'
  180. 3r F r r F' 3r 3r U 3r' F' U r r U' 3r F' U' R U F U' F' R' U 3r
  181. 3r 3r F r r F' 3r U' 3r U 3r' F' 3r' F 3r U r r U U F F U F 3r
  182. 3r' U 3r' F' r 3r U' R' U r r F 3r U' F r U R U' R' r' F' r U' R
  183. 3r' U' R F U F' U' R' U F 3r 3r U' r r U 3r 3r F' 3r U F' r r F
  184. 3r' U' R F U F' U' R' U F 3r' U r r U' F 3r U' 3r 3r F r r F' 3r'
  185. 3r' U' F' U F 3r F R F U F' R' 3r U' r r U 3r 3r F' 3r U F' r r
  186. 3r' U' F' r U' 3r' F r r F 3r U' r r U' 3r' F r' F' 3r U' F U' 3r U
  187. 3r' F 3r U' F U r F' 3r' F' 3r F' r 3r 3r U' 3r' F r' 3r' F U F r' F'
  188. 3r' F' U' F F U U r r U' 3r' F' 3r F 3r U' 3r' U 3r' F r r F' 3r 3r
  189. 3r' F' r' F F r F U R 3r' F R' F 3r U' R' F R r U U r' F 3r U'
  190. Depth 25 in 917.016 lookups 145623459770 rate 158.801
  191.  
Advertisement
Add Comment
Please, Sign In to add comment
Public Pastes
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy.  OK, I Understand
Not a member of Pastebin yet?
Sign Up, it unlocks many cool features!