# | Title | # Solved | Avg. Tries |
---|---|---|---|
253 | 2.17 | ||
246 | 1.67 | ||
802 | 1.76 | ||
3-SAT STANDARD | 54 | 24.70 | |
2,244 | 1.79 | ||
237 | 2.32 | ||
73 | 2.42 | ||
2,820 | 1.97 | ||
1,009 | 1.97 | ||
363 | 1.60 | ||
2,496 | 1.65 | ||
231 | 1.64 | ||
2,831 | 2.08 | ||
457 | 3.20 | ||
20,570 | 2.52 | ||
170 | 2.44 | ||
2,676 | 2.28 | ||
5,553 | 3.91 | ||
632 | 2.35 | ||
201 | 3.41 | ||
2,373 | 1.71 | ||
225 | 1.72 | ||
249 | 3.04 | ||
137 | 4.90 | ||
268 | 2.13 | ||
274 | 2.86 | ||
49 | 4.51 | ||
764 | 1.82 | ||
126 | 4.81 | ||
62 | 1.73 | ||
133 | 2.71 | ||
82 | 1.50 | ||
136 | 1.84 | ||
76 | 1.89 | ||
1,347 | 1.85 | ||
204 | 1.58 | ||
652 | 1.71 | ||
113 | 1.73 | ||
1,653 | 2.06 | ||
789 | 3.44 | ||
276 | 2.58 | ||
1,106 | 2.80 | ||
1,094 | 1.91 | ||
952 | 1.60 | ||
3,123 | 1.20 | ||
175 | 1.89 | ||
25 | 2.88 | ||
1,537 | 4.06 | ||
1,797 | 1.54 | ||
1,696 | 1.55 |