# | Title | # Solved | Avg. Tries |
---|---|---|---|
406 | 2.09 | ||
60 | 2.20 | ||
74 | 4.41 | ||
97 | 1.31 | ||
33 | 4.79 | ||
18 | 2.67 | ||
49 | 5.67 | ||
40 | 2.73 | ||
23 | 1.83 | ||
529 | 2.49 | ||
858 | 2.42 | ||
142 | 3.65 | ||
383 | 4.46 | ||
26 | 2.50 | ||
527 | 1.76 | ||
1,235 | 2.47 | ||
50 | 1.70 | ||
42 | 1.33 | ||
1,033 | 2.52 | ||
15 | 2.80 | ||
396 | 1.40 | ||
31 | 1.71 | ||
52 | 1.33 | ||
448 | 2.45 | ||
65 | 4.57 | ||
10 | 3.80 | ||
27 | 4.41 | ||
298 | 1.88 | ||
23 | 7.13 | ||
69 | 3.01 | ||
14,077 | 3.21 | ||
3-SAT STANDARD | 54 | 24.70 | |
90 | 2.16 | ||
51 | 2.43 | ||
3,919 | 2.80 | ||
610 | 3.15 | ||
77 | 2.60 | ||
57 | 2.46 | ||
21 | 6.90 | ||
41 | 1.76 | ||
1,768 | 2.76 | ||
1,830 | 2.12 | ||
66 | 1.67 | ||
1,037 | 2.30 | ||
A/B STANDARD | 209,102 | 2.90 | |
101 | 4.41 | ||
32 | 3.94 | ||
7,761 | 3.28 | ||
28 | 1.32 | ||
1,434 | 1.64 |