Do any of the common SAT solvers offer this feature? If they do then I'll try to support it in LLS.wildmyron wrote:That is very unfortunate. The lack of check-pointing in LLS is a significant drawback to using it for hard search problems.LaundryPizza03 wrote:A power surge killed all my LLS searches.
Requests for Searches - Non-apgsearch
Re: Requests for Searches - Non-apgsearch
-
- Posts: 1334
- Joined: July 1st, 2016, 3:58 pm
Re: Requests for Searches - Non-apgsearch
Things to work on:
- Find (7,1)c/8 and 9c/10 ships in non-B0 INT.
- EPE improvements.
- LaundryPizza03
- Posts: 2298
- Joined: December 15th, 2017, 12:05 am
- Location: Unidentified location "https://en.wikipedia.org/wiki/Texas"
Re: Requests for Searches - Non-apgsearch
EDIT: The 12c/31d search was actually in an 18*18 box and had D2\ symmetry.
Code: Select all
x = 4, y = 3, rule = B3-q4z5y/S234k5j
2b2o$b2o$2o!
- LaundryPizza03
- Posts: 2298
- Joined: December 15th, 2017, 12:05 am
- Location: Unidentified location "https://en.wikipedia.org/wiki/Texas"
Re: Requests for Searches - Non-apgsearch
Specifically, I am looking for:
- 18c/36d, 13*13 bounding box (smallest unknown multiple)
- 19c/38d, 14*14 bounding box (current record is 5 cells)
- 20c/40d, 14*14 bounding box (current record is 13 cells)
Code: Select all
x = 4, y = 3, rule = B3-q4z5y/S234k5j
2b2o$b2o$2o!
Re: Requests for Searches - Non-apgsearch
Unfortunately the computer I was running this on had a forced update before the solver completedwildmyron wrote:<snip>LaundryPizza03 wrote:I now request that it be carried out for finding spaceships of the following speeds for 5s:(There were two more searches, but I forgot what they were.)
- (7,1)c/8
- 12c/31d
- (7,3)c/17
- 12c/20 (3 cells)
I'll have a go at the 12c/31d.
I posted 4-cell ships of the first two to the 5S threadLaundryPizza03 wrote:
- 18c/36d, 13*13 bounding box (smallest unknown multiple)
- 19c/38d, 14*14 bounding box (current record is 5 cells)
- 20c/40d, 14*14 bounding box (current record is 13 cells)
Semi-active here - recovering from a severe case of LWTDS.
- LaundryPizza03
- Posts: 2298
- Joined: December 15th, 2017, 12:05 am
- Location: Unidentified location "https://en.wikipedia.org/wiki/Texas"
Re: Requests for Searches - Non-apgsearch
Where? I don't see them.wildmyron wrote:I posted 4-cell ships of the first two to the 5S threadLaundryPizza03 wrote:
- 18c/36d, 13*13 bounding box (smallest unknown multiple)
- 19c/38d, 14*14 bounding box (current record is 5 cells)
- 20c/40d, 14*14 bounding box (current record is 13 cells)
Code: Select all
x = 4, y = 3, rule = B3-q4z5y/S234k5j
2b2o$b2o$2o!
Re: Requests for Searches - Non-apgsearch
As I mentioned to you elsewhere, I'd included them in a previous update to the 5S project but didn't get around to posting them to the thread. For the record:LaundryPizza03 wrote:Where? I don't see them.wildmyron wrote:I posted 4-cell ships of the first two to the 5S threadLaundryPizza03 wrote:
- 18c/36d, 13*13 bounding box (smallest unknown multiple)
- 19c/38d, 14*14 bounding box (current record is 5 cells)
- 20c/40d, 14*14 bounding box (current record is 13 cells)
18c/36 diagonal, 4 cells
Code: Select all
x = 3, y = 3, rule = B2ac3cr4jnrty5-jnr6eik/S1e2n3cjk4-crwy5ceiry6ik7
o2$3o!
Code: Select all
x = 3, y = 3, rule = B2acn3ky4eintwyz5ajry6i7e/S01e3ciqy4eyz5aejnq6k7e
o2$3o!
I reran the search with cadical and it completed in 15 hours, as opposed to the longer than 1 week I had glucose-syrup running for (with 4 threads)! Posted to the 5S thread.wildmyron wrote:Unfortunately the computer I was running this on had a forced update before the solver completedwildmyron wrote:I'll have a go at the 12c/31d.
Semi-active here - recovering from a severe case of LWTDS.
-
- Posts: 58
- Joined: June 19th, 2019, 12:18 pm
Re: Requests for Searches - Non-apgsearch
- LaundryPizza03
- Posts: 2298
- Joined: December 15th, 2017, 12:05 am
- Location: Unidentified location "https://en.wikipedia.org/wiki/Texas"
Re: Requests for Searches - Non-apgsearch
Which ones? Perhaps a c/6 orthogonal forerake matching this?CoolCreeper39 wrote:Can someone search for oscillators or spaceships in Seeds (B2/S)?
Code: Select all
x = 4, y = 3, rule = B3-q4z5y/S234k5j
2b2o$b2o$2o!
-
- Posts: 58
- Joined: June 19th, 2019, 12:18 pm
Re: Requests for Searches - Non-apgsearch
Yes.LaundryPizza03 wrote:Which ones? Perhaps a c/6 orthogonal forerake matching this?CoolCreeper39 wrote:Can someone search for oscillators or spaceships in Seeds (B2/S)?
- LaundryPizza03
- Posts: 2298
- Joined: December 15th, 2017, 12:05 am
- Location: Unidentified location "https://en.wikipedia.org/wiki/Texas"
Re: Requests for Searches - Non-apgsearch
Hmm... I am getting the same nonsense in LLS as the last person who tried c/6o.CoolCreeper39 wrote:Yes.LaundryPizza03 wrote:Which ones? Perhaps a c/6 orthogonal forerake matching this?CoolCreeper39 wrote:Can someone search for oscillators or spaceships in Seeds (B2/S)?
Code: Select all
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 a12 a11 a10 a9 a8 a7 a6 a5 a4 a3 a2 a1 0
0 b1 b2 b3 b4 b5 b6 b7 b8 b9 b10 b11 b12 b12 b11 b10 b9 b8 b7 b6 b5 b4 b3 b2 b1 0
0 c1 c2 c3 c4 c5 c6 c7 c8 c9 c10 c11 c12 c12 c11 c10 c9 c8 c7 c6 c5 c4 c3 c2 c1 0
0 d1 d2 d3 d4 d5 d6 d7 d8 d9 d10 d11 d12 d12 d11 d10 d9 d8 d7 d6 d5 d4 d3 d2 d1 0
0 e1 e2 e3 e4 e5 e6 e7 e8 e9 e10 e11 e12 e12 e11 e10 e9 e8 e7 e6 e5 e4 e3 e2 e1 0
0 f1 f2 f3 f4 f5 f6 f7 f8 f9 f10 f11 f12 f12 f11 f10 f9 f8 f7 f6 f5 f4 f3 f2 f1 0
0 g1 g2 g3 g4 g5 g6 g7 g8 g9 g10 g11 g12 g12 g11 g10 g9 g8 g7 g6 g5 g4 g3 g2 g1 0
0 h1 h2 h3 h4 h5 h6 h7 h8 h9 h10 h11 h12 h12 h11 h10 h9 h8 h7 h6 h5 h4 h3 h2 h1 0
0 i1 i2 i3 i4 i5 i6 i7 i8 i9 i10 i11 i12 i12 i11 i10 i9 i8 i7 i6 i5 i4 i3 i2 i1 0
0 j1 j2 j3 j4 j5 j6 j7 j8 j9 j10 j11 j12 j12 j11 j10 j9 j8 j7 j6 j5 j4 j3 j2 j1 0
0 k1 k2 k3 k4 k5 k6 k7 k8 k9 k10 k11 k12 k12 k11 k10 k9 k8 k7 k6 k5 k4 k3 k2 k1 0
0 l1 l2 l3 l4 l5 l6 l7 l8 l9 l10 l11 l12 l12 l11 l10 l9 l8 l7 l6 l5 l4 l3 l2 l1 0
0 m1 m2 m3 m4 m5 m6 m7 m8 m9 m10 m11 m12 m12 m11 m10 m9 m8 m7 m6 m5 m4 m3 m2 m1 0
0 n1 n2 n3 n4 n5 n6 n7 n8 n9 n10 n11 n12 n12 n11 n10 n9 n8 n7 n6 n5 n4 n3 n2 n1 0
0 o1 o2 o3 o4 o5 o6 o7 o8 o9 o10 o11 o12 o12 o11 o10 o9 o8 o7 o6 o5 o4 o3 o2 o1 0
0 p1 p2 p3 p4 p5 p6 p7 p8 p9 p10 p11 p12 p12 p11 p10 p9 p8 p7 p6 p5 p4 p3 p2 p1 0
0 q1 q2 q3 q4 q5 q6 q7 q8 q9 q10 q11 q12 q12 q11 q10 q9 q8 q7 q6 q5 q4 q3 q2 q1 0
0 r1 r2 r3 r4 r5 r6 r7 r8 r9 r10 r11 r12 r12 r11 r10 r9 r8 r7 r6 r5 r4 r3 r2 r1 0
0 s1 s2 s3 s4 s5 s6 s7 s8 s9 s10 s11 s12 s12 s11 s10 s9 s8 s7 s6 s5 s4 s3 s2 s1 0
0 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t12 t11 t10 t9 t8 t7 t6 t5 t4 t3 t2 t1 0
*' *' *' *' *' *' *' *' *' *' *' *' *' *' *' *' *' *' *' *' *' *' *' *' *' *'
* * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * * * * * *
*' *' *' *' *' *' *' *' *' *' *' *' *' *' *' *' *' *' *' *' *' *' *' *' *' *'
* * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * * * * * *
*' *' *' *' *' *' *' *' *' *' *' *' *' *' *' *' *' *' *' *' *' *' *' *' *' *'
* * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * * * * * *
*' *' *' *' *' *' *' *' *' *' *' *' *' *' *' *' *' *' *' *' *' *' *' *' *' *'
* * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * * * * * *
*' *' *' *' *' *' *' *' *' *' *' *' *' *' *' *' *' *' *' *' *' *' *' *' *' *'
* * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * * * * * *
*' *' *' *' *' *' *' *' *' *' *' *' *' *' *' *' *' *' *' *' *' *' *' *' *' *'
0 0 0 0 0 1 1 0 0 0 0 0 1 1 0 0 0 0 0 1 1 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 1 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 1 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 a12 a11 a10 a9 a8 a7 a6 a5 a4 a3 a2 a1 0
0 b1 b2 b3 b4 b5 b6 b7 b8 b9 b10 b11 b12 b12 b11 b10 b9 b8 b7 b6 b5 b4 b3 b2 b1 0
0 c1 c2 c3 c4 c5 c6 c7 c8 c9 c10 c11 c12 c12 c11 c10 c9 c8 c7 c6 c5 c4 c3 c2 c1 0
0 d1 d2 d3 d4 d5 d6 d7 d8 d9 d10 d11 d12 d12 d11 d10 d9 d8 d7 d6 d5 d4 d3 d2 d1 0
0 e1 e2 e3 e4 e5 e6 e7 e8 e9 e10 e11 e12 e12 e11 e10 e9 e8 e7 e6 e5 e4 e3 e2 e1 0
0 f1 f2 f3 f4 f5 f6 f7 f8 f9 f10 f11 f12 f12 f11 f10 f9 f8 f7 f6 f5 f4 f3 f2 f1 0
0 g1 g2 g3 g4 g5 g6 g7 g8 g9 g10 g11 g12 g12 g11 g10 g9 g8 g7 g6 g5 g4 g3 g2 g1 0
0 h1 h2 h3 h4 h5 h6 h7 h8 h9 h10 h11 h12 h12 h11 h10 h9 h8 h7 h6 h5 h4 h3 h2 h1 0
0 i1 i2 i3 i4 i5 i6 i7 i8 i9 i10 i11 i12 i12 i11 i10 i9 i8 i7 i6 i5 i4 i3 i2 i1 0
0 j1 j2 j3 j4 j5 j6 j7 j8 j9 j10 j11 j12 j12 j11 j10 j9 j8 j7 j6 j5 j4 j3 j2 j1 0
0 k1 k2 k3 k4 k5 k6 k7 k8 k9 k10 k11 k12 k12 k11 k10 k9 k8 k7 k6 k5 k4 k3 k2 k1 0
0 l1 l2 l3 l4 l5 l6 l7 l8 l9 l10 l11 l12 l12 l11 l10 l9 l8 l7 l6 l5 l4 l3 l2 l1 0
0 m1 m2 m3 m4 m5 m6 m7 m8 m9 m10 m11 m12 m12 m11 m10 m9 m8 m7 m6 m5 m4 m3 m2 m1 0
0 n1 n2 n3 n4 n5 n6 n7 n8 n9 n10 n11 n12 n12 n11 n10 n9 n8 n7 n6 n5 n4 n3 n2 n1 0
0 o1 o2 o3 o4 o5 o6 o7 o8 o9 o10 o11 o12 o12 o11 o10 o9 o8 o7 o6 o5 o4 o3 o2 o1 0
0 p1 p2 p3 p4 p5 p6 p7 p8 p9 p10 p11 p12 p12 p11 p10 p9 p8 p7 p6 p5 p4 p3 p2 p1 0
0 q1 q2 q3 q4 q5 q6 q7 q8 q9 q10 q11 q12 q12 q11 q10 q9 q8 q7 q6 q5 q4 q3 q2 q1 0
0 r1 r2 r3 r4 r5 r6 r7 r8 r9 r10 r11 r12 r12 r11 r10 r9 r8 r7 r6 r5 r4 r3 r2 r1 0
0 s1 s2 s3 s4 s5 s6 s7 s8 s9 s10 s11 s12 s12 s11 s10 s9 s8 s7 s6 s5 s4 s3 s2 s1 0
0 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t12 t11 t10 t9 t8 t7 t6 t5 t4 t3 t2 t1 0
* * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * * * * * *
Code: Select all
x = 26, y = 21, rule = B2/S
5b2o5b2o5b2o2$4bo2bo3bo2bo3bo2bo3$5b2o5b2o5b2o2$4bo2bo3bo2bo3bo2bo3$5b
2o5b2o5b2o2$4bo2bo3bo2bo3bo2bo3$5b2o5b2o5b2o2$5bobo3bo2bo3bobo$6bob3ob
2ob3obo$b4o16b4o$o6bo2bo4bo2bo6bo!
Code: Select all
x = 4, y = 3, rule = B3-q4z5y/S234k5j
2b2o$b2o$2o!
- LaundryPizza03
- Posts: 2298
- Joined: December 15th, 2017, 12:05 am
- Location: Unidentified location "https://en.wikipedia.org/wiki/Texas"
Re: Requests for Searches - Non-apgsearch
Code: Select all
x = 5, y = 3, rule = B2cen3q4ekqrt5-ajry6ek7/S02ci3-ejnr4-cekz5-kqy6eik7
o3bo$o$2bobo!
Code: Select all
x = 4, y = 3, rule = B3-q4z5y/S234k5j
2b2o$b2o$2o!
- LaundryPizza03
- Posts: 2298
- Joined: December 15th, 2017, 12:05 am
- Location: Unidentified location "https://en.wikipedia.org/wiki/Texas"
Re: Requests for Searches - Non-apgsearch
Here, convert this to an LLS search:wildmyron wrote:I'm not sure about the correctness either, but gfind does seem to work for speeds between c/2 and c. At light speed gfind can only find p1 photons. I ran a gfind search for 9c/10 in B2acn3aenr4-cinq5aek6cin7e8/S12i3-cnr4kqwy5ckny6-e78. The search tree seems to just completely peter out beyond about 7 rows, by which I mean that increasing the search width (up to the maximum of a full width of 55) results in almost no increase to the maximum depth reached (which was about 70, or 7 rows).
To find such a ship I can see two possibilities:
1) Scan the rulespace where this frontend works and hope that a gfind search in one of those candidate rules turns up a result. This would require a bit of work to polish ntgfind to a point where it can be programmatically run without being manually built for every rule (and also adapting the get_all_iso_rules script to ignore the chaos at the back of the ship).
2) Adapt LLS to simplify iterated searching for successively longer partials (a bit like ikpx, but not so rigid).
Code: Select all
x = 47, y = 53, rule = B2acn3aenr4-cinq5aek6cin7e8/S12i3-cnr4kqwy5ckny6-e78History
12.2B12D21B$12.2B12DBA19B$12.2B12D2A4B5A10B$12.2B12D2ABA2BA3BA10B$12.
2B12DB4A3BAB2A9B$12.2B12DA2BA4BA2BA9B$12.2B12D2ABA2BABA12B$12.2B12DB
2A3B2ABABA9B$6.3E3.2B12DB2AB2A15B$5.E3.E2.2B12DBA4BA4BA9B$5.E2.2E2.2B
12DA3BA4BA11B$5.E.E.E2.2B12DABA2BAB2AB2A9B$5.2E2.E2.2B12DA3BA4BA11B$
5.E3.E2.2B12DBA4BA4BA9B$6.3E3.2B12DB2AB2A15B$12.2B12DB2A3B2ABABA9B$
12.2B12D2ABA2BABA12B$12.2B12DA2BA4BA2BA9B$12.2B12DB4A3BAB2A9B$12.2B
12D2ABA2BA3BA10B$12.2B12D2A4B5A10B$12.2B12DBA19B$12.2B12D21B2$26.E2$
26.E2$26.E2$12.11B12D12B$12.11B12DBA10B$12.11B12D2A4B5AB$12.11B12D2AB
A2BA3BAB$12.11B12DB4A3BAB2A$12.11B12DA2BA4BA2BA$12.11B12D2ABA2BABA3B$
12.11B12DB2A3B2ABABA$.E4.3E3.11B12DB2AB2A6B$2E3.E3.E2.11B12DBA4BA4BA$
.E3.E2.2E2.11B12DA3BA4BA2B$.E3.E.E.E2.11B12DABA2BAB2AB2A$.E3.2E2.E2.
11B12DA3BA4BA2B$.E3.E3.E2.11B12DBA4BA4BA$3E3.3E3.11B12DB2AB2A6B$12.
11B12DB2A3B2ABABA$12.11B12D2ABA2BABA3B$12.11B12DA2BA4BA2BA$12.11B12DB
4A3BAB2A$12.11B12D2ABA2BA3BAB$12.11B12D2A4B5AB$12.11B12DBA10B$12.11B
12D12B!
If there is a ship with length less than 24, it will come out as SAT. Else, try
Code: Select all
x = 46, y = 53, rule = B2acn3aenr4-cinq5aek6cin7e8/S12i3-cnr4kqwy5ckny6-e78History
12.C12D21B$12.C12DBA19B$12.C12D2A4B5A10B$12.C12D2ABA2BA3BA10B$12.C12D
B4A3BAB2A9B$12.C12DA2BA4BA2BA9B$12.C12D2ABA2BABA12B$12.C12DB2A3B2ABAB
A9B$6.3E3.C12DB2AB2A15B$5.E3.E2.C12DBA4BA4BA9B$5.E2.2E2.C12DA3BA4BA
11B$5.E.E.E2.C12DABA2BAB2AB2A9B$5.2E2.E2.C12DA3BA4BA11B$5.E3.E2.C12DB
A4BA4BA9B$6.3E3.C12DB2AB2A15B$12.C12DB2A3B2ABABA9B$12.C12D2ABA2BABA
12B$12.C12DA2BA4BA2BA9B$12.C12DB4A3BAB2A9B$12.C12D2ABA2BA3BA10B$12.C
12D2A4B5A10B$12.C12DBA19B$12.C12D21B2$25.E2$25.E2$25.E2$12.10C12D12B$
12.10C12DBA10B$12.10C12D2A4B5AB$12.10C12D2ABA2BA3BAB$12.10C12DB4A3BAB
2A$12.10C12DA2BA4BA2BA$12.10C12D2ABA2BABA3B$12.10C12DB2A3B2ABABA$.E4.
3E3.10C12DB2AB2A6B$2E3.E3.E2.10C12DBA4BA4BA$.E3.E2.2E2.10C12DA3BA4BA
2B$.E3.E.E.E2.10C12DABA2BAB2AB2A$.E3.2E2.E2.10C12DA3BA4BA2B$.E3.E3.E
2.10C12DBA4BA4BA$3E3.3E3.10C12DB2AB2A6B$12.10C12DB2A3B2ABABA$12.10C
12D2ABA2BABA3B$12.10C12DA2BA4BA2BA$12.10C12DB4A3BAB2A$12.10C12D2ABA2B
A3BAB$12.10C12D2A4B5AB$12.10C12DBA10B$12.10C12D12B!
If you find an additional segment, repeat similar searches with the newly extended partial, and continue until you come up with a ship or are unable to complete the partial. (I would do this myself, but composing the search will be too tedious, especially trying to reproduce the frontend exactly.)
(It would be interesting to see this idea implemented as an automated script...)
How would we determine the rulespace of this partial (and the shorter one mentioned earlier in 5s):
Code: Select all
x = 4, y = 21, rule = B2-in3-ain4einqtz5-eij6cen7/S02an3jnqry4ijkqrty5-ekn6ai7c8
bo$obo$b2o$o$bobo$2bo$obo$bobo$2b2o$bo$b3o$bo$2b2o$bobo$obo$2bo$bobo$o
$b2o$obo$bo!
Code: Select all
x = 4, y = 3, rule = B3-q4z5y/S234k5j
2b2o$b2o$2o!
Re: Requests for Searches - Non-apgsearch
I would suggest that a c/6 forerake is particularly ambitious - and what's more you are searching for a triple forerake. However, I wouldn't call the original result you got nonsense - it's a perfectly valid solution to the search problem.LaundryPizza03 wrote:<snip nested quote>Hmm... I am getting the same nonsense in LLS as the last person who tried c/6o.LaundryPizza03 wrote:Which ones? Perhaps a c/6 orthogonal forerake matching this?CoolCreeper39 wrote:Can someone search for oscillators or spaceships in Seeds (B2/S)?Code: Select all
<snip search pattern>
I would suggest JLS or WLS for this search problem. Here's a partial for a single barrelled c/6 forerake from JLS:LaundryPizza03 wrote:Changing all instances of f5 to 0 returns UNSAT. Anyone have any other ideas?
Code: Select all
x = 19, y = 26, rule = B2/S
16bo$10bo$10bobobo3bo$8b3o4bob2o$16bo$6bobo6bo$8bo3bo$5b2o6bo$13b3obo$
2bo11b2o$bo3bob2obob2o$4b2obo10bo$o13b2obo$o13b2obo$4b2obo10bo$bo3bob
2obob2o$2bo11b2o$13b3obo$5b2o6bo$8bo3bo$6bobo6bo$16bo$8b3o4bob2o$10bob
obo3bo$10bo$16bo!
How about something less ambitious - like c/3 orthogonal or c/4 orthogonal - it seems as though no one has found one of those. For reference, there is a c/3 orthogonal in B2/S0 (p6, width 29, odd bilateral symmetry)
Well, that was precisely what I meant. I have no intention of attempting to manually extend the partial further - I'm fairly sure an automated process would be required to get deep enough into the search space.LaundryPizza03 wrote:<snip details of 9c/10 partial spaceship extension method>
(It would be interesting to see this idea implemented as an automated script...)
By modification to the rulespace finding script (or functions within sss.py) which would only require that the front-most rows (or columns in this case) of the partial spaceship match under the modified rules. To be a bit more specific, consider the following code from the getRuleRangeElems function in sss.py:LaundryPizza03 wrote:How would we determine the rulespace of this partial (and the shorter one mentioned earlier in 5s):Code: Select all
x = 4, y = 21, rule = B2-in3-ain4einqtz5-eij6cen7/S02an3jnqry4ijkqrty5-ekn6ai7c8 bo$obo$b2o$o$bobo$2bo$obo$bobo$2b2o$bo$b3o$bo$2b2o$bobo$obo$2bo$bobo$o $b2o$obo$bo!
Code: Select all
# Record behavior of pattern in current rule
clist = []
poplist = []
for i in range(0,period):
g.run(1)
clist.append(g.getcells(g.getrect()))
poplist.append(g.getpop())
finalpop = g.getpop()
Perhaps, but the 9c10 search I previously mentioned is still running and I'm no more hopeful of it finishing prior to either the machine it's running on losing power or being forced to reboot, or me giving up on it.LaundryPizza03 wrote:The alternative would be to find a 9c/10o directly, at a width greater than 21, perhaps what you are already doing.
Semi-active here - recovering from a severe case of LWTDS.
-
- Posts: 1175
- Joined: June 14th, 2014, 5:03 pm
- Contact:
Re: Requests for Searches - Non-apgsearch
I think calcyman already did this with ikpx.LaundryPizza03 wrote:If you find an additional segment, repeat similar searches with the newly extended partial, and continue until you come up with a ship or are unable to complete the partial.
[...]
(It would be interesting to see this idea implemented as an automated script...)
Re: Requests for Searches - Non-apgsearch
Indeed, that is pretty much ikpx's algorithm, with some clever interleaving of the rows and columns from the individual phases in the representation of the partial spaceship. However, it is CGoL only, so the conversion to SAT problem would need to be replaced with something like the one that LLS uses for isotropic rulesfluffykitty wrote:I think calcyman already did this with ikpx.LaundryPizza03 wrote:If you find an additional segment, repeat similar searches with the newly extended partial, and continue until you come up with a ship or are unable to complete the partial.
[...]
(It would be interesting to see this idea implemented as an automated script...)
Semi-active here - recovering from a severe case of LWTDS.
- Hdjensofjfnen
- Posts: 1742
- Joined: March 15th, 2016, 6:41 pm
- Location: re^jθ
Re: Requests for Searches - Non-apgsearch
Usually laptops are immune to those, right? (I agree with Macbi, though: that's a huge bummer, especially with the LLS searches spanning days or weeks.)LaundryPizza03 wrote:A power surge killed all my LLS searches.
Code: Select all
x = 5, y = 9, rule = B3-jqr/S01c2-in3
3bo$4bo$o2bo$2o2$2o$o2bo$4bo$3bo!
Code: Select all
x = 7, y = 5, rule = B3/S2-i3-y4i
4b3o$6bo$o3b3o$2o$bo!
- phdanielli
- Posts: 114
- Joined: May 21st, 2013, 6:15 am
- Location: Virtuality Cyberverse 6174
- Contact:
Re: Requests for Searches - Non-apgsearch
Conquerors and Colonizers (B2ace3acei4ace5acei6ace/S)
viewtopic.php?f=11&t=4087&p=81297#p81297
-Expert in non-23/3 rules (not really)
- LaundryPizza03
- Posts: 2298
- Joined: December 15th, 2017, 12:05 am
- Location: Unidentified location "https://en.wikipedia.org/wiki/Texas"
Re: Requests for Searches - Non-apgsearch
Definitely not. Your scribble in the linked post produces a dot agar that expands to infinity.phdanielli wrote:is this rule searchable?
Conquerors and Colonizers (B2ace3acei4ace5acei6ace/S)
viewtopic.php?f=11&t=4087&p=81297#p81297
Very few rules beginning with B2a are apgsearchable, since patterns tend to expand at the speed of light. If you do want to search such a rule, you could begin with B2ac3q/S0 or a close variant.
Code: Select all
x = 4, y = 3, rule = B3-q4z5y/S234k5j
2b2o$b2o$2o!
- LaundryPizza03
- Posts: 2298
- Joined: December 15th, 2017, 12:05 am
- Location: Unidentified location "https://en.wikipedia.org/wiki/Texas"
Re: Requests for Searches - Non-apgsearch
Code: Select all
x = 8, y = 8, rule = B2cin3ai4ky5ae6e/S23-a5a6e
2bobo$b3obo$3o3bo$bo5bo$o5bo$bo5bo$2bobo$3bo!
If a spaceship exists, it is likely to travel at a high period multiple of c/3 diagonal. The smallest undiscovered period is 87.
Code: Select all
x = 4, y = 3, rule = B3-q4z5y/S234k5j
2b2o$b2o$2o!
- LaundryPizza03
- Posts: 2298
- Joined: December 15th, 2017, 12:05 am
- Location: Unidentified location "https://en.wikipedia.org/wiki/Texas"
Re: Requests for Searches - Non-apgsearch
Code: Select all
./lls -S cadical -b 18 18 -s p26 x13 y13 "RE\\" -p "=4" -a p4 x2 y2 -a "D2\\" -r pB2a345678/S012345678 --parameters="simplify=false"
Code: Select all
x = 95, y = 86, rule = B2ac3cy4ey/S12ack3c4ky
62bo$61bo3bo$60bo5bobo$66b2obo$62bobobob3obo$63bobobo5bo$73bo$68b3obo$
63bo3bobo$68bo2$68bo$63bo3bobo$68b3obo$73bo$63bobobo5bo$62bobobob3obo$
66b2obo$60bo5bobo$61bo3bo$62bo8$62bo$61bobo$60bob3obo$61b2ob2obobo$62b
obobobobo$69bob2o$69bob2o$61bo6bobo$63bo3bobo$60bo3bo2$4bo$5bo4$3bobo
10$3bo3bo$2bo5bo$3bo3bo11$90bobobo$92bo9$23bo11bo$2o10bo9bo11bo11bo18b
o$2o41bobo17b2obo$11b2o8b2o8bob2o9bo22bo$10bo9bo9bobo9bob2o15bo4bo$43b
o17bo4bo$60bo$61bob2o$62bo!
Code: Select all
x = 4, y = 3, rule = B3-q4z5y/S234k5j
2b2o$b2o$2o!
- LaundryPizza03
- Posts: 2298
- Joined: December 15th, 2017, 12:05 am
- Location: Unidentified location "https://en.wikipedia.org/wiki/Texas"
Re: Requests for Searches - Non-apgsearch
I'm looking for a c/4 diagonal spaceship in B2e3-cnqr5e78/S1c23-q4eqz6. Repeatedly extending with LLS is too tedious to do manually; ntzfind is too memory-intensive. The largest partial so far is the upper-right 5*8 box in the following pattern:
Code: Select all
x = 11, y = 14, rule = B2e3-cnqr5e78/S1c23-q4eqz6
bbbbbbbbbbb$
bbbbbbbbbbb$
bbbbbbbobbb$
bbbbooooobb$
bbbbboobobb$
bbbooobbbbb$
bbobbbooobb$
bobbbbboobb$
bbboobbbbbb$
bbobooboobb$
bbbbbbobobb$
bbbobobbobb$
bbbbbobobbb$
bbbbbbbbbbb!
Code: Select all
x = 4, y = 3, rule = B3-q4z5y/S234k5j
2b2o$b2o$2o!
Re: Requests for Searches - Non-apgsearch
Can anyone run The Synthesis Component Search Script on LeapLife? Especially on boat-with-tail.
-
- Posts: 2200
- Joined: August 5th, 2016, 10:27 am
- Location: 拆哪!I repeat, CHINA! (a.k.a. 种花家)
- Contact:
Re: Requests for Searches - Non-apgsearch
Code: Select all
x = 11, y = 11, rule = B3aijr4nw/S2-cn3ijnr6an
8b2o$7b3o$6b2ob2o$7b2o3$2bo$b3o$2obo$3o$2bo!
3) Related to 2), did someone search for wickships based on this?
Code: Select all
x = 9, y = 6, rule = B3-cn/S234q
8bo$7bo$b2o3bo$o4bo$b2obo$2b2o!
Code: Select all
# Search results matching pattern 8b2o$7b3o$6b2ob2o$7b2o3$2bo$b3o$2obo$3o$2bo! for 10 gen in rule B3aijr4nw/S2-cn3ijnr6an with searchRule-matchPatt2.py using seed=214
8, B2i3-enqy4cknqrwz5-anr6-an8/S2-cn3-aky4cityz5acenr6-ek8, 0, 0, 794, 4bo2$2bobo$4bo$ob3o!
12, B3-y4-ajqz5-aen6cik7e8/S2-cn3-aky4cejyz5r6acn, 0, 0, 1398, bobo$2ob2o$2b2o$3o$bo!
23, B3-ny4-ajqyz5cikqy6ek/S2-cn3-acky4int5nr6an7e8, 0, 0, 580, 5bo$4bo2bo$3bobo2bo$2bob2o2bo$bob2o2b2o$ob2o2$bo2bo$2b3o!
10, B3-cnq4eknrtwz5cekqr6ack/S2-cn3-aeky4i5acn6ain8, 0, 0, 576, 13bo$13b2o$12b2o10$2bo$3o$bo!
22, B3-cey4iknqtwy5ijkq6ik7e8/S2-cn3-aek4ceityz5ar6ain7e8, 7, 7, 549, 8b3o$10bo$10bo2b3o$7b3o4$3bo$o2bo$o2bo$3o3$2bo$2bo$2bo!
12, B2i3-ceky4nqtwz5-aer6cik8/S2-cn3-aekq4inty5cenr6-ek7e8, 0, 0, 934, b3o$o$o$o6bo$5b2o$4bo$4bo$3bo!
7, B2i3-cq4-aej5cnr6-en7e8/S2-cn3-aeky4ityz5cn6an8, 0, 0, 616, b3o$o$o$o2bo!
13, B2i3-cek4ceinrwz5cej6ak7e/S2-cn3-aek4eintz5acer6ain8, 0, 0, 612, 3bo$3b3o$5bo$2o3bo$bo2bo$b3o!
12, B2i3-c4cknrwyz5ekqry6-an7e/S2-cn3-akqy4ceijty5anr6an, 0, 0, 1098, 6bo$7bo$6b2o$5bobo2$3bo$obo$b3o!
7, B3-cey4knqrtwy5eijk6ik7e8/S2-cn3-ak4ceinz5a6an7e, 0, 0, 554, 2b2o$bo$o2bo$obo!
14, B2i3-k4enrtwz5ceiky6ei8/S2-cn3-aek4centyz5ac6an8, 0, 0, 622, 4bo$2b2obo$bo3b2o$bo3bo$o$b3o$2bo!
16, B34ceiknwy5jnry6eik/S2-cn3-aek4cijntz5an6acn7e, 0, 0, 608, 5b2o$5bobo$7bo$5b3o2$2obo$o2bo$b3o!
10, B3-ceny4inrtwz5-ajkn6ei7e8/S2-cn3-aeky4int5ar6-ek7e, 3, 3, 341, 3bo$2b3o$bo2bo$2o$b2o!
12, B2i3-ky4-acijz5cjk6c7e/S2-cn3-ak4cntz5aen6ain, 0, 0, 624, 3o$o2bo$o3bo$bo2bo$2b3o!
10, B2i3-cn4cinrwy5-aijr6e8/S2-cn3ijnqr4ceiz5aer6-ek7e8, 18, 18, 157, 8bo$8b2obo$8bo6$3o$bo2$bo!
9, B2i3-ekn4-aejyz5-ajnq6ck7e8/S2-cn3ijnqr4ceint5acr6-ek, 0, 0, 540, 2b2o$bobo$o2bo$3o!
Code: Select all
# Search results matching pattern 8bo$7bo$b2o3bo$o4bo$b2obo$2b2o! for 16 gen in rule B3-cn/S234q with searchRule-matchPatt2.py using seed=492
13, B2n3-cn4qwz5aej6i7c8/S23-cy4ekqt5cejr6cin, 0, 0, 1696, 2b2o$2o2bo$o4bo$2bobo$3bo$7bo$7bo$7bo!
17, B2n3-cn4eqz5aj6in8/S23-cy4eqyz5cj6-ck78, 0, 0, 1032, 2b2o$3bo$2b2o$bo$obo$bo$o$b2obo$2b3o$3bo!
6, B2n3-cn4q5ajn6ci7c/S23-cy4ckqtyz5ckn6ein78, 0, 0, 1252, 3b2o$2b2o$o$o!
16, B2n3-cn4e5an6cn7c/S23-cy4eqtz5cejn6-ak78, 0, 0, 1032, 5b2o$bo4bo$2o2b2o$2o5bo$o5b2o$bo4bo!
8, B2n3-ckn4ekq5acn6ci7c8/S23-c4qty5cjr6cin7e8, 0, 0, 2084, b2o$ob2o$obo$bo!
6, B2n3-ckn4ekqw5ejn6i7c/S23-cy4eqz5-aiqy6ekn7e8, 6, 5, 224, bobo$ob2o$bo!
7, B3-cn4w5acej6in7c/S23-cy4ekqtyz5cejkr6-kn, 12, 3, 353, b2o$o2bo$b3o!
14, B2n3-cn4ekw5acej6in/S23-cy4eqz5jnr6ain8, 0, 0, 1204, 9b2o$2o6bo2bo$2o7b2o$bo$bo$obo!
Harvest Moon
2-engine p45 gliderless HWSS gun
Small p2070 glider gun
Forgive me if I withhold my enthusiasm.
- LaundryPizza03
- Posts: 2298
- Joined: December 15th, 2017, 12:05 am
- Location: Unidentified location "https://en.wikipedia.org/wiki/Texas"
Re: Requests for Searches - Non-apgsearch
Code: Select all
x = 20, y = 7, rule = B267/S012:T20,0
2bo3bo3bo3bo3bo$b3ob3ob3ob3ob3o2$obobobobobobobobobo$obobobobobobobobo
bo2$20o!
Code: Select all
x = 4, y = 3, rule = B3-q4z5y/S234k5j
2b2o$b2o$2o!