# | Title | # Solved | Avg. Tries |
---|---|---|---|
222 | 1.66 | ||
221 | 2.18 | ||
30 | 1.17 | ||
3-SAT 2ย STANDARD | 31 | 15.35 | |
2,710 | 1.27 | ||
1,741 | 1.14 | ||
180 | 1.21 | ||
164 | 1.50 | ||
51 | 2.43 | ||
23 | 3.22 | ||
174 | 1.66 | ||
263 | 1.50 | ||
402 | 2.02 | ||
705 | 1.63 | ||
414 | 1.93 | ||
323 | 1.96 | ||
416 | 2.65 | ||
187 | 1.32 | ||
24 | 2.29 | ||
12 | 3.17 | ||
34 | 1.71 | ||
8 | 2.00 | ||
18 | 1.61 | ||
46 | 1.48 | ||
2,857 | 1.68 | ||
13,834 | 2.17 | ||
2,395 | 4.13 | ||
849 | 1.65 | ||
1,126 | 2.61 | ||
456 | 3.28 | ||
239 | 2.03 | ||
91 | 3.82 | ||
4,523 | 2.10 | ||
4,442 | 2.04 | ||
674 | 2.29 | ||
678 | 2.10 | ||
1,467 | 2.98 | ||
199 | 3.78 | ||
55 | 2.25 | ||
161 | 1.55 | ||
1,444 | 1.38 | ||
77 | 2.65 | ||
82 | 1.96 | ||
54 | 2.06 | ||
8,567 | 2.86 | ||
488 | 4.10 | ||
103 | 2.58 | ||
1,085 | 3.60 | ||
198 | 2.77 | ||
489 | 4.32 |