| Every photo is posted by one user |
1866 |
2456 |
0.03 |
2 |
2 |
2 |
2 |
2 |
100.00 |
1 |
118 |
45 |
38.14 |
| Users cannot follow themselves |
1879 |
3481 |
0.04 |
2 |
2 |
2 |
2 |
2 |
100.00 |
1 |
44 |
14 |
31.82 |
| Users can see ads posted by everyone, but only see non ads posted by followed users |
1899 |
4658 |
0.05 |
2 |
2 |
2 |
2 |
1 |
50.00 |
0 |
|
|
|
| If a user posts an ad then all its posts should be labeled as ads |
1915 |
6160 |
0.06 |
2 |
2 |
2 |
2 |
2 |
100.00 |
1 |
149 |
34 |
22.82 |
| Influencers are followed by everyone else |
1923 |
4924 |
0.05 |
2 |
2 |
2 |
2 |
2 |
100.00 |
1 |
166 |
38 |
22.89 |
| Influencers post every day |
1929 |
5258 |
0.05 |
2 |
2 |
2 |
2 |
2 |
100.00 |
1 |
70 |
37 |
52.86 |
| Suggested are other users followed by followed users, but not yet followed |
1943 |
5030 |
0.05 |
2 |
2 |
2 |
2 |
2 |
100.00 |
1 |
527 |
202 |
38.33 |
| A user only sees ads from followed or suggested users |
1954 |
6562 |
0.07 |
2 |
2 |
2 |
2 |
2 |
100.00 |
1 |
255 |
159 |
62.35 |
| Photo sharing social network totals |
15308 |
38529 |
0.40 |
16 |
16 |
16 |
16 |
15 |
93.8 |
7 |
1329 |
529 |
38.46 |
| Workers are either human or robots |
1884 |
4290 |
0.05 |
2 |
2 |
2 |
2 |
2 |
100.00 |
1 |
44 |
10 |
22.73 |
| Every workstation has workers and every worker works in one workstation |
1904 |
5094 |
0.05 |
2 |
2 |
2 |
2 |
2 |
100.00 |
1 |
93 |
62 |
66.67 |
| Every component is assembled in one workstation |
1914 |
6016 |
0.06 |
2 |
2 |
2 |
2 |
2 |
100.00 |
1 |
28 |
9 |
32.14 |
| Components must have parts and materials have no parts |
1924 |
5405 |
0.06 |
2 |
2 |
2 |
2 |
2 |
100.00 |
1 |
79 |
24 |
30.38 |
| Humans and robots cannot work together |
1932 |
5563 |
0.06 |
2 |
2 |
2 |
2 |
2 |
100.00 |
1 |
118 |
41 |
34.75 |
| Components cannot be their own parts |
1939 |
5883 |
0.06 |
2 |
2 |
2 |
2 |
2 |
100.00 |
1 |
56 |
32 |
57.14 |
| Components built of dangerous parts are also dangerous |
1948 |
6785 |
0.07 |
2 |
2 |
2 |
2 |
2 |
100.00 |
1 |
109 |
46 |
42.20 |
| Dangerous components cannot be assembled by humans |
1957 |
6369 |
0.07 |
2 |
2 |
2 |
2 |
2 |
100.00 |
1 |
99 |
46 |
46.46 |
| The workstations form a single line between begin and end |
1969 |
5492 |
0.06 |
2 |
2 |
2 |
2 |
2 |
100.00 |
1 |
589 |
276 |
46.86 |
| The parts of a component must be assembled before it in the production line |
1984 |
6449 |
0.07 |
2 |
2 |
2 |
2 |
2 |
100.00 |
1 |
265 |
46 |
17.36 |
| Production line totals |
19355 |
57346 |
0.60 |
20 |
20 |
20 |
20 |
20 |
100.0 |
10 |
1480 |
592 |
39.67 |
| The station has at least one entry and one exit |
1857 |
2888 |
0.03 |
2 |
2 |
2 |
2 |
2 |
100.00 |
1 |
126 |
32 |
25.40 |
| Signals belong to one track |
1871 |
4043 |
0.04 |
2 |
2 |
2 |
2 |
2 |
100.00 |
1 |
54 |
18 |
33.33 |
| Exit tracks are those without successor |
1879 |
3537 |
0.04 |
2 |
2 |
2 |
2 |
2 |
100.00 |
1 |
142 |
73 |
51.41 |
| Entry tracks are those without predecessors |
1886 |
4762 |
0.05 |
2 |
2 |
2 |
2 |
2 |
100.00 |
1 |
109 |
53 |
48.62 |
| Junctions are the tracks with more than one predecessor |
1898 |
3779 |
0.04 |
2 |
2 |
2 |
2 |
2 |
100.00 |
1 |
163 |
23 |
14.11 |
| Entry tracks must have a speed signal |
1906 |
5556 |
0.06 |
2 |
2 |
2 |
2 |
2 |
100.00 |
1 |
68 |
22 |
32.35 |
| The station has no cycles |
1912 |
5766 |
0.06 |
2 |
2 |
2 |
2 |
2 |
100.00 |
1 |
36 |
4 |
11.11 |
| It should be possible to reach every exit from every entry |
1924 |
5639 |
0.06 |
2 |
2 |
2 |
2 |
2 |
100.00 |
1 |
50 |
25 |
50.00 |
| Tracks not followed by junctions do not have semaphores |
1937 |
4388 |
0.05 |
2 |
2 |
2 |
2 |
2 |
100.00 |
1 |
203 |
52 |
25.62 |
| Every track before a junction has a semaphore |
1946 |
5988 |
0.06 |
2 |
2 |
2 |
2 |
2 |
100.00 |
1 |
86 |
22 |
25.58 |
| Train station totals |
19016 |
46346 |
0.49 |
20 |
20 |
20 |
20 |
20 |
100.0 |
10 |
1037 |
324 |
31.75 |
| Only students can be enrolled in courses |
1873 |
4652 |
0.05 |
2 |
2 |
2 |
2 |
2 |
100.00 |
1 |
161 |
67 |
41.61 |
| Only professors can teach courses |
1887 |
5898 |
0.06 |
2 |
2 |
2 |
2 |
2 |
100.00 |
1 |
33 |
14 |
42.42 |
| Courses must have teachers |
1894 |
5723 |
0.06 |
2 |
2 |
2 |
2 |
2 |
100.00 |
1 |
82 |
29 |
35.37 |
| Projects are proposed by one course |
1901 |
5144 |
0.05 |
2 |
2 |
2 |
2 |
2 |
100.00 |
1 |
87 |
34 |
39.08 |
| Only students work on projects and projects must have someone working on them |
1915 |
6466 |
0.07 |
2 |
2 |
2 |
2 |
2 |
100.00 |
1 |
248 |
92 |
37.10 |
| Students only work on projects of courses they are enrolled in |
1927 |
4954 |
0.05 |
2 |
2 |
2 |
2 |
2 |
100.00 |
1 |
168 |
76 |
45.24 |
| Students work on at most one project per course |
1937 |
5019 |
0.05 |
2 |
2 |
2 |
2 |
2 |
100.00 |
1 |
177 |
107 |
60.45 |
| A professor cannot teach herself |
1943 |
6438 |
0.07 |
2 |
2 |
2 |
2 |
2 |
100.00 |
1 |
79 |
34 |
43.04 |
| A professor cannot teach colleagues |
1949 |
6005 |
0.06 |
2 |
2 |
2 |
2 |
1 |
50.00 |
0 |
|
|
|
| Only students have grades |
1954 |
7877 |
0.08 |
2 |
2 |
2 |
2 |
2 |
100.00 |
1 |
80 |
8 |
10.00 |
| Students only have grades in courses they are enrolled |
1964 |
7798 |
0.08 |
2 |
2 |
2 |
2 |
2 |
100.00 |
1 |
87 |
35 |
40.23 |
| Students have at most one grade per course |
1973 |
7744 |
0.08 |
2 |
2 |
2 |
2 |
2 |
100.00 |
1 |
87 |
34 |
39.08 |
| A student with the highest mark in a course must have worked on a project on that course |
1992 |
7366 |
0.08 |
2 |
2 |
2 |
2 |
2 |
100.00 |
1 |
292 |
148 |
50.68 |
| A student cannot work with the same student in different projects |
2004 |
7969 |
0.08 |
2 |
2 |
2 |
2 |
2 |
100.00 |
1 |
50 |
19 |
38.00 |
| Students working on the same project in a course cannot have marks differing by more than one unit |
2023 |
7097 |
0.07 |
2 |
2 |
2 |
2 |
2 |
100.00 |
1 |
110 |
62 |
56.36 |
| Courses totals |
29136 |
96150 |
1.00 |
30 |
30 |
30 |
30 |
29 |
96.7 |
14 |
1741 |
759 |
41.33 |
| Totals |
82815 |
238371 |
2.49 |
86 |
86 |
86 |
86 |
84 |
97.67 |
41 |
5587 |
2204 |
38.10 |