| Every photo is posted by one user |
1901 |
4313 |
0.05 |
6 |
6 |
6 |
6 |
6 |
100.00 |
1 |
118 |
3 |
2.54 |
| Users cannot follow themselves |
1914 |
2933 |
0.03 |
6 |
6 |
6 |
6 |
6 |
100.00 |
1 |
44 |
2 |
4.55 |
| Users can see ads posted by everyone, but only see non ads posted by followed users |
1934 |
4605 |
0.05 |
6 |
6 |
6 |
6 |
5 |
83.33 |
0 |
|
|
|
| If a user posts an ad then all its posts should be labeled as ads |
1950 |
4982 |
0.05 |
6 |
6 |
6 |
6 |
6 |
100.00 |
1 |
149 |
9 |
6.04 |
| Influencers are followed by everyone else |
1958 |
5832 |
0.06 |
6 |
6 |
0 |
0 |
0 |
0.00 |
0 |
|
|
|
| Influencers post every day |
1964 |
7763 |
0.08 |
6 |
6 |
6 |
6 |
6 |
100.00 |
1 |
70 |
9 |
12.86 |
| Suggested are other users followed by followed users, but not yet followed |
1978 |
7868 |
0.08 |
6 |
6 |
6 |
6 |
6 |
100.00 |
1 |
527 |
36 |
6.83 |
| A user only sees ads from followed or suggested users |
1989 |
14178 |
0.14 |
6 |
2 |
2 |
0 |
0 |
0.00 |
0 |
|
|
|
| Photo sharing social network totals |
15588 |
52474 |
0.54 |
48 |
44 |
38 |
36 |
35 |
72.9 |
5 |
908 |
59 |
6.56 |
| Workers are either human or robots |
1919 |
4892 |
0.05 |
6 |
6 |
6 |
6 |
6 |
100.00 |
1 |
44 |
7 |
15.91 |
| Every workstation has workers and every worker works in one workstation |
1939 |
4218 |
0.04 |
6 |
6 |
6 |
6 |
6 |
100.00 |
1 |
93 |
4 |
4.30 |
| Every component is assembled in one workstation |
1949 |
6694 |
0.07 |
6 |
6 |
6 |
6 |
6 |
100.00 |
1 |
28 |
1 |
3.57 |
| Components must have parts and materials have no parts |
1959 |
6086 |
0.06 |
6 |
6 |
6 |
6 |
6 |
100.00 |
1 |
79 |
14 |
17.72 |
| Humans and robots cannot work together |
1966 |
5747 |
0.06 |
6 |
6 |
6 |
6 |
6 |
100.00 |
1 |
118 |
4 |
3.39 |
| Components cannot be their own parts |
1973 |
4863 |
0.05 |
6 |
6 |
0 |
0 |
0 |
0.00 |
0 |
|
|
|
| Components built of dangerous parts are also dangerous |
1982 |
4998 |
0.05 |
6 |
6 |
6 |
6 |
6 |
100.00 |
1 |
109 |
4 |
3.67 |
| Dangerous components cannot be assembled by humans |
1990 |
6632 |
0.07 |
6 |
6 |
6 |
6 |
6 |
100.00 |
1 |
99 |
9 |
9.09 |
| The workstations form a single line between begin and end |
2001 |
7550 |
0.08 |
6 |
6 |
6 |
6 |
6 |
100.00 |
1 |
589 |
81 |
13.75 |
| The parts of a component must be assembled before it in the production line |
2016 |
6757 |
0.07 |
6 |
6 |
6 |
4 |
4 |
66.67 |
0 |
|
|
|
| Production line totals |
19694 |
58437 |
0.61 |
60 |
60 |
54 |
52 |
52 |
86.7 |
8 |
1159 |
124 |
8.93 |
| The station has at least one entry and one exit |
1892 |
2065 |
0.02 |
6 |
6 |
6 |
6 |
6 |
100.00 |
1 |
126 |
5 |
3.97 |
| Signals belong to one track |
1906 |
5049 |
0.05 |
6 |
6 |
6 |
6 |
6 |
100.00 |
1 |
54 |
3 |
5.56 |
| Exit tracks are those without successor |
1915 |
3494 |
0.04 |
6 |
6 |
6 |
6 |
6 |
100.00 |
1 |
142 |
16 |
11.27 |
| Entry tracks are those without predecessors |
1922 |
4578 |
0.05 |
6 |
6 |
6 |
6 |
6 |
100.00 |
1 |
109 |
4 |
3.67 |
| Junctions are the tracks with more than one predecessor |
1934 |
4239 |
0.04 |
6 |
6 |
6 |
6 |
6 |
100.00 |
1 |
163 |
5 |
3.07 |
| Entry tracks must have a speed signal |
1942 |
5688 |
0.06 |
6 |
6 |
6 |
6 |
6 |
100.00 |
1 |
68 |
5 |
7.35 |
| The station has no cycles |
1948 |
6746 |
0.07 |
6 |
6 |
6 |
6 |
6 |
100.00 |
1 |
36 |
1 |
2.78 |
| It should be possible to reach every exit from every entry |
1960 |
7245 |
0.07 |
6 |
6 |
6 |
6 |
6 |
100.00 |
1 |
50 |
6 |
12.00 |
| Tracks not followed by junctions do not have semaphores |
1972 |
7093 |
0.07 |
6 |
6 |
6 |
6 |
6 |
100.00 |
1 |
203 |
4 |
1.97 |
| Every track before a junction has a semaphore |
1981 |
6889 |
0.07 |
6 |
6 |
5 |
4 |
4 |
66.67 |
0 |
|
|
|
| Train station totals |
19372 |
53086 |
0.56 |
60 |
60 |
59 |
58 |
58 |
96.7 |
9 |
951 |
49 |
5.74 |
| Only students can be enrolled in courses |
1908 |
4284 |
0.05 |
6 |
6 |
2 |
2 |
2 |
33.33 |
0 |
|
|
|
| Only professors can teach courses |
1922 |
4255 |
0.04 |
6 |
0 |
0 |
0 |
0 |
0.00 |
0 |
|
|
|
| Courses must have teachers |
1929 |
4834 |
0.05 |
6 |
6 |
6 |
6 |
6 |
100.00 |
1 |
82 |
11 |
13.41 |
| Projects are proposed by one course |
1936 |
6777 |
0.07 |
6 |
6 |
6 |
6 |
6 |
100.00 |
1 |
87 |
4 |
4.60 |
| Only students work on projects and projects must have someone working on them |
1950 |
5654 |
0.06 |
6 |
6 |
6 |
6 |
6 |
100.00 |
1 |
248 |
43 |
17.34 |
| Students only work on projects of courses they are enrolled in |
1962 |
6236 |
0.06 |
6 |
6 |
6 |
5 |
5 |
83.33 |
0 |
|
|
|
| Students work on at most one project per course |
1972 |
4146 |
0.04 |
6 |
6 |
4 |
4 |
4 |
66.67 |
0 |
|
|
|
| A professor cannot teach herself |
1978 |
5973 |
0.06 |
6 |
6 |
2 |
2 |
2 |
33.33 |
0 |
|
|
|
| A professor cannot teach colleagues |
1984 |
8851 |
0.09 |
6 |
6 |
6 |
4 |
3 |
50.00 |
0 |
|
|
|
| Only students have grades |
1989 |
9749 |
0.10 |
6 |
6 |
6 |
6 |
6 |
100.00 |
1 |
80 |
4 |
5.00 |
| Students only have grades in courses they are enrolled |
1999 |
7258 |
0.08 |
6 |
6 |
2 |
2 |
2 |
33.33 |
0 |
|
|
|
| Students have at most one grade per course |
2008 |
8214 |
0.08 |
6 |
6 |
6 |
6 |
6 |
100.00 |
1 |
87 |
26 |
29.89 |
| A student with the highest mark in a course must have worked on a project on that course |
2027 |
8227 |
0.08 |
6 |
6 |
6 |
6 |
6 |
100.00 |
1 |
292 |
65 |
22.26 |
| A student cannot work with the same student in different projects |
2039 |
11614 |
0.12 |
6 |
6 |
5 |
5 |
5 |
83.33 |
0 |
|
|
|
| Students working on the same project in a course cannot have marks differing by more than one unit |
2058 |
7449 |
0.08 |
6 |
6 |
6 |
6 |
6 |
100.00 |
1 |
110 |
54 |
49.09 |
| Courses totals |
29661 |
103521 |
1.07 |
90 |
84 |
69 |
66 |
65 |
72.2 |
7 |
986 |
207 |
20.23 |
| Totals |
84315 |
267518 |
2.78 |
258 |
248 |
220 |
212 |
210 |
81.40 |
29 |
4004 |
439 |
10.26 |