# | Title | # Solved | Avg. Tries |
---|---|---|---|
241 | 3.45 | ||
98 | 2.35 | ||
3-SAT STANDARD | 54 | 24.70 | |
237 | 2.21 | ||
3-SAT 2 STANDARD | 31 | 15.35 | |
339 | 1.94 | ||
14,802 | 2.16 | ||
85 | 1.99 | ||
9,504 | 2.90 | ||
539 | 4.01 | ||
113 | 2.64 | ||
633 | 2.23 | ||
9,783 | 3.64 | ||
16,240 | 1.81 | ||
52 | 2.10 | ||
31 | 1.74 | ||
59 | 2.46 | ||
35 | 2.17 | ||
237 | 2.14 | ||
59 | 3.51 | ||
16,622 | 1.40 | ||
1,172 | 2.87 | ||
102 | 2.66 | ||
3,775 | 2.74 | ||
4,346 | 3.97 | ||
393 | 2.83 | ||
639 | 2.08 | ||
8,540 | 1.68 | ||
886 | 1.55 | ||
387 | 2.09 | ||
444 | 5.78 | ||
366 | 4.25 | ||
31 | 2.65 | ||
955 | 1.77 | ||
80 | 2.71 | ||
29 | 3.28 | ||
420 | 3.74 | ||
70 | 1.87 | ||
260 | 2.72 | ||
21 | 1.24 | ||
28 | 2.18 | ||
565 | 2.34 | ||
1,171 | 2.19 | ||
11,335 | 2.29 | ||
387 | 3.27 | ||
112 | 11.49 | ||
13 | 1.15 | ||
52 | 3.37 | ||
25 | 1.80 | ||
335 | 1.77 |