# | Title | # Solved | Avg. Tries |
---|---|---|---|
4,650 | 1.45 | ||
21,030 | 2.51 | ||
3,357 | 3.46 | ||
600 | 2.61 | ||
1,713 | 2.85 | ||
174 | 2.90 | ||
880 | 1.63 | ||
3-SAT STANDARD | 55 | 24.35 | |
3,211 | 1.68 | ||
15,490 | 2.15 | ||
2,761 | 4.14 | ||
565 | 4.62 | ||
5,055 | 2.10 | ||
1,641 | 2.97 | ||
579 | 4.26 | ||
1,093 | 2.53 | ||
8,655 | 2.98 | ||
6,617 | 2.75 | ||
253 | 1.62 | ||
626 | 2.13 | ||
453 | 1.87 | ||
1,119 | 2.39 | ||
6,969 | 1.26 | ||
5,805 | 2.28 | ||
์๋๊ฒ์ ์คํฌ์ผ๋ฌ STANDARD | 6,605 | 1.27 | |
738 | 2.00 | ||
7,529 | 2.95 | ||
20,519 | 2.55 | ||
419 | 4.86 | ||
์คํํ๋ฅด์ธ STANDARD | 4,243 | 1.40 | |
10,481 | 2.32 | ||
6,660 | 3.44 | ||
2,033 | 2.43 | ||
1,248 | 2.71 | ||
26 | 4.85 | ||
3,772 | 4.03 | ||
291 | 3.57 | ||
4,558 | 1.09 | ||
127,445 | 1.57 | ||
14,982 | 4.16 | ||
303 | 3.53 | ||
996 | 3.51 | ||
2,452 | 3.24 | ||
1,352 | 3.29 | ||
749 | 2.78 | ||
30,498 | 3.04 | ||
5,430 | 1.25 | ||
13,717 | 3.14 | ||
939 | 2.10 | ||
6,315 | 3.35 |