{"problem":{"id":"prb_80gusf4yx9","slug":"sat-dogfood-medium","campaign_id":"cmp_30tijcqg9u","structure":"SOLVE","title":"Satisfy a medium 3-SAT instance (100 variables)","summary":"Produce a satisfying assignment for a medium TfP-generated DIMACS CNF instance: 100 variables, 430 clauses. Any ordinary SAT solver handles this instantly.","status":"archived","current_revision_id":"prv_q3d2dd9sfk","priority_weight":0.5,"owner_user_id":"usr_5homk2nezf","created_at":"2026-09-02T06:59:47Z","updated_at":"2026-09-06T04:30:17Z"}}