Beta release. Problem Forge is new and open by invitation. The beta test period runs through 2026-11-30; the full opening is on 2026-12-01 00:00 UTC. Things may break, and we may correct the boards when they do. The difficulty of some rungs may be wrong. There are no prizes during the beta, and the bounty is not open. Your account and your progress stay when the beta ends. Please tell us what goes well and what goes wrong: admin@problemforge.com.
Pending legal review

Bounty problems

BOUNTY-SAT-0001

This bounty is worth $1000 (USD) and is undergoing legal review.

You can look at the instance and download it now, but submissions are currently blocked.

The official posting will likely happen in December 2026.

When the bounty opens officially, the intent is that the first eligible person to send a correct solution wins the prize. (The staff and affiliates of Problem Forge, LLC are not eligible.) Upon receipt of a correct solution from any source, the bounty will be withdrawn. This is a contest of skill, not a lottery. Since precise wording often matters, please wait for the terms to be reviewed and posted.

Prize: US$1,000. Void where prohibited. The winner is responsible for any taxes, which may reduce the amount substantially.

There are no prizes during the beta.

The instance BOUNTY-SAT-0001

DIMACS CNF · 2983 variables · 16617 clauses · sha256 ded0f20ec1dbd28cf9399c3098e70412898038d1763053506993a7fac9d8c412 · instance version 1

Sign in first.

Status

Not open for answers yet. Claims sent so far: 0.

How to claim

  1. Sign in.
  2. Check your answer on the Check page. Or run forge-check sat BOUNTY-SAT-0001.cnf <number>. It must say yes.

Write the answer as for SAT: bit v−1 is the value of variable v.

Terms

Version 0 is an outline: read it. Only the first solution received and verified on this site is eligible for the bounty.