# | Title | # Solved | Avg. Tries |
---|---|---|---|
1,420 | 2.05 | ||
268 | 3.41 | ||
880 | 1.63 | ||
3-SAT STANDARD | 55 | 24.35 | |
250 | 1.66 | ||
3-SAT 2 STANDARD | 31 | 15.35 | |
101 | 2.20 | ||
352 | 1.93 | ||
52 | 2.33 | ||
679 | 2.20 | ||
158 | 3.22 | ||
69 | 2.17 | ||
213 | 1.91 | ||
5,805 | 2.28 | ||
1,258 | 2.86 | ||
4,082 | 2.70 | ||
4,754 | 3.93 | ||
9,207 | 1.67 | ||
242 | 2.36 | ||
472 | 5.84 | ||
332 | 3.12 | ||
1,638 | 2.48 | ||
3,926 | 3.95 | ||
4,593 | 2.48 | ||
629 | 1.63 | ||
452 | 2.50 | ||
67 | 2.94 | ||
1,248 | 2.71 | ||
3,197 | 2.38 | ||
1,438 | 3.62 | ||
48 | 4.02 | ||
31 | 3.03 | ||
460 | 2.02 | ||
4,867 | 2.08 | ||
344 | 2.43 | ||
37 | 5.16 | ||
359 | 1.77 | ||
32 | 1.69 | ||
177 | 1.76 | ||
2,452 | 3.24 | ||
1,352 | 3.29 | ||
80 | 4.70 | ||
122 | 3.15 | ||
256 | 2.41 | ||
1,998 | 3.81 | ||
310 | 2.78 | ||
44 | 1.43 | ||
50 | 2.90 | ||
318 | 2.34 | ||
119 | 5.08 |