Problem Forge
統計
これまでのすべての月で、各段がどうだったかを示します。挑戦とは、ある月にプレイヤーがその段を初めて見るかダウンロードすることです。成功とは正解のことです。各プレイヤーは、1つの段につき、1か月に1回だけ数えます。
ブール充足可能性問題 (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。