# | Title | # Solved | Avg. Tries |
---|---|---|---|
393 | 2.60 | ||
3,695 | 1.32 | ||
102 | 3.29 | ||
508 | 1.15 | ||
305 | 1.61 | ||
8,490 | 1.54 | ||
315 | 4.18 | ||
155 | 3.03 | ||
638 | 2.52 | ||
1,437 | 2.38 | ||
303 | 2.97 | ||
1,017 | 1.56 | ||
733 | 2.13 | ||
486 | 2.53 | ||
5,200 | 1.49 | ||
755 | 2.56 | ||
1,958 | 2.33 | ||
970 | 3.41 | ||
19,981 | 1.95 | ||
806 | 1.77 | ||
556 | 1.67 | ||
1,580 | 1.65 | ||
462 | 2.79 | ||
383 | 5.87 | ||
6,850 | 1.26 | ||
8,385 | 3.82 | ||
6,522 | 2.76 | ||
8,572 | 2.98 | ||
2,677 | 4.16 | ||
15,147 | 2.16 | ||
3,163 | 1.68 | ||
3-SAT 2ย STANDARD | 31 | 15.35 | |
3-SATย STANDARD | 54 | 24.70 | |
851 | 2.30 | ||
590 | 2.63 | ||
2,243 | 2.73 | ||
7,072 | 2.12 | ||
4,464 | 2.53 | ||
783 | 3.45 | ||
1,100 | 2.80 | ||
928 | 1.60 | ||
7,163 | 2.35 | ||
917 | 1.75 | ||
1,421 | 3.04 | ||
1,186 | 2.08 | ||
4,960 | 1.44 | ||
12,646 | 1.17 | ||
581 | 2.67 | ||
21,703 | 2.27 | ||
9,520 | 4.45 |