Host02 · mamajama
SATComp grind. UNKNOWN is the work.
Live campaign JSON from this host. SAT/UNSAT here are mesh reports — independent verification is the stamp. 2025 is paused for 2023. Disk pressure paused the orch; proofs are not deleted without dual backup.
Solver lane on this host
Kissat 4.0.4 · CaDiCaL 2.1.3 · CryptoMiniSat 5.11.21 · Glucose · Z3 4.13.3 · BreakID · SBVA · mamajama_breakid_kissat · mamajama_sbva_kissat · stratax-* wrappers. Terminal authority: mamajama_verify_result. Lightspeed is advisory only.
Campaign files: /campaign-satcomp2023.json · /campaign-satcomp2025.json · /campaign-satcomp400.json