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.

Statistics

How each rung has gone, over all months so far. An attempt is a climber's first download of a rung in a month. A success is an accepted answer. Each climber counts once per rung per month.

Boolean Satisfiability (SAT) · 3-SAT · Independent Set · Clique · Vertex Cover · Graph 3-Coloring · Hamiltonian Cycle · Travelling Salesperson (TSP) · 0-1 Integer Programming · Exact Cover by 3-Sets (X3C)

Boolean Satisfiability (SAT)

rungattemptssuccessessuccess ratetypical timetime to solve (under 1 min … over 7 days)
r00 (practice)55 100% 2:23 under 1 min: 11-10 min: 410-60 min: 01-6 h: 06-24 h: 01-7 days: 0over 7 days: 0
r0155 100% 0:49 under 1 min: 31-10 min: 210-60 min: 01-6 h: 06-24 h: 01-7 days: 0over 7 days: 0
r0255 100% 1:46 under 1 min: 21-10 min: 310-60 min: 01-6 h: 06-24 h: 01-7 days: 0over 7 days: 0
r0355 100% 2:32 under 1 min: 11-10 min: 410-60 min: 01-6 h: 06-24 h: 01-7 days: 0over 7 days: 0
r0455 100% 1:08 under 1 min: 11-10 min: 310-60 min: 11-6 h: 06-24 h: 01-7 days: 0over 7 days: 0
r0555 100% 2:00 under 1 min: 11-10 min: 410-60 min: 01-6 h: 06-24 h: 01-7 days: 0over 7 days: 0
r0655 100% 6:35 under 1 min: 01-10 min: 410-60 min: 11-6 h: 06-24 h: 01-7 days: 0over 7 days: 0
r0755 100% 9:50 under 1 min: 01-10 min: 310-60 min: 21-6 h: 06-24 h: 01-7 days: 0over 7 days: 0
r0852 40% 21:47:14 under 1 min: 01-10 min: 010-60 min: 01-6 h: 16-24 h: 11-7 days: 0over 7 days: 0
r0910 0% — none yet
r1000 — — none yet
r1100 — — none yet
r1200 — — none yet

The bars count accepted answers by time to solve: under 1 minute, 1-10 minutes, 10-60 minutes, 1-6 hours, 6-24 hours, 1-7 days, over 7 days. Hover over a bar to see its count. "Typical time" is the median. Rung 00 is practice. It does not count toward your score.

The same numbers as JSON: /api/v1/statistics/sat.