# | Title | # Solved | Avg. Tries |
---|---|---|---|
1,404 | 2.02 | ||
263 | 3.43 | ||
866 | 1.63 | ||
3-SAT STANDARD | 55 | 24.35 | |
250 | 1.66 | ||
3-SAT 2 STANDARD | 31 | 15.35 | |
100 | 2.16 | ||
352 | 1.93 | ||
52 | 2.33 | ||
679 | 2.20 | ||
158 | 3.22 | ||
69 | 2.17 | ||
213 | 1.91 | ||
5,775 | 2.27 | ||
1,241 | 2.86 | ||
4,049 | 2.70 | ||
4,692 | 3.92 | ||
9,136 | 1.67 | ||
242 | 2.36 | ||
471 | 5.83 | ||
332 | 3.12 | ||
1,623 | 2.47 | ||
3,888 | 3.95 | ||
4,559 | 2.49 | ||
629 | 1.63 | ||
452 | 2.50 | ||
67 | 2.94 | ||
1,243 | 2.72 | ||
3,147 | 2.38 | ||
1,433 | 3.62 | ||
48 | 4.02 | ||
31 | 3.03 | ||
460 | 2.02 | ||
4,841 | 2.09 | ||
334 | 2.46 | ||
37 | 5.16 | ||
356 | 1.76 | ||
32 | 1.69 | ||
177 | 1.76 | ||
2,430 | 3.23 | ||
1,346 | 3.29 | ||
80 | 4.70 | ||
122 | 3.15 | ||
256 | 2.41 | ||
1,993 | 3.81 | ||
304 | 2.80 | ||
44 | 1.43 | ||
49 | 2.92 | ||
318 | 2.34 | ||
117 | 5.11 |