Problem Forge
统计
到目前为止，所有月份中每一级的情况。尝试是指一个玩家在一个月中第一次查看或下载某一级。成功是指一个正确答案。每个玩家在每个月的每一级只计一次。
布尔可满足性问题 (SAT) · 3-SAT · 独立集 · 团 · 顶点覆盖 · 图的 3-着色 · 哈密顿回路 · 旅行商问题 (TSP) · 0-1 整数规划 · 3-集合精确覆盖 (X3C)
3-SAT
| 级 | 尝试 | 成功 | 成功率 | 典型用时 | 解出用时（1 分钟以内 … 7 天以上） |
|---|---|---|---|---|---|
| r00 （练习） | 5 | 5 | 100% | 2:10 | |
| r01 | 5 | 5 | 100% | 0:50 | |
| r02 | 5 | 5 | 100% | 1:46 | |
| r03 | 5 | 5 | 100% | 2:32 | |
| r04 | 5 | 5 | 100% | 1:03 | |
| r05 | 5 | 5 | 100% | 1:59 | |
| r06 | 5 | 5 | 100% | 6:37 | |
| r07 | 5 | 5 | 100% | 46:38 | |
| r08 | 5 | 3 | 60% | 20:39:45 | |
| r09 | 2 | 0 | 0% | — | 还没有 |
| r10 | 0 | 0 | — | — | 还没有 |
| r11 | 0 | 0 | — | — | 还没有 |
| r12 | 0 | 0 | — | — | 还没有 |
柱状条按解出用时统计正确答案：1 分钟以内、1-10 分钟、10-60 分钟、1-6 小时、6-24 小时、1-7 天、7 天以上。把鼠标悬停在柱状条上可以看到数量。“典型用时”是中位数。第 00 级是练习级。它不计入得分。
同样的数字的 JSON 版本：/api/v1/statistics/3sat。