{"problem":{"id":"prb_mriiieerce","slug":"sat-dogfood-large","campaign_id":"cmp_30tijcqg9u","structure":"SOLVE","title":"Satisfy a larger 3-SAT instance (250 variables)","summary":"Produce a satisfying assignment for a larger TfP-generated DIMACS CNF instance: 250 variables, 1065 clauses. Still easy for a real solver; impractical by hand.","status":"archived","current_revision_id":"prv_hab47gn864","priority_weight":0.4,"owner_user_id":"usr_5homk2nezf","created_at":"2026-09-02T06:59:47Z","updated_at":"2026-09-06T04:30:17Z"}}