# | Title | # Solved | Avg. Tries |
---|---|---|---|
131 | 1.67 | ||
81 | 2.21 | ||
98 | 2.35 | ||
36 | 2.36 | ||
25 | 1.56 | ||
823 | 1.66 | ||
3-SAT STANDARD | 54 | 24.70 | |
768 | 1.77 | ||
230 | 1.64 | ||
3-SAT 2 STANDARD | 31 | 15.35 | |
10 | 2.00 | ||
19 | 7.26 | ||
339 | 1.94 | ||
79 | 2.01 | ||
54 | 2.39 | ||
17 | 1.65 | ||
2,587 | 4.15 | ||
63 | 2.70 | ||
23 | 1.91 | ||
244 | 2.03 | ||
98 | 3.81 | ||
32 | 4.06 | ||
52 | 5.46 | ||
4,627 | 2.03 | ||
712 | 2.27 | ||
724 | 2.14 | ||
176 | 1.53 | ||
1,582 | 1.37 | ||
89 | 2.69 | ||
42 | 3.17 | ||
52 | 2.33 | ||
16 | 6.06 | ||
85 | 1.99 | ||
12 | 2.17 | ||
57 | 2.09 | ||
12 | 3.42 | ||
539 | 4.01 | ||
991 | 1.43 | ||
517 | 2.15 | ||
633 | 2.23 | ||
40 | 2.35 | ||
30 | 2.47 | ||
133 | 3.57 | ||
77 | 5.03 | ||
190 | 2.08 | ||
83 | 2.87 | ||
48 | 3.33 | ||
237 | 2.14 | ||
62 | 4.13 | ||
59 | 3.51 |