Context Navigation

UCLA.prop @ 728001e

axis_examplecompt_changesinfo-opsversion-1.30version-2.00version-3.01version-3.02

Last change on this file since 728001e was 728001e, checked in by Jay Jacobs <Jay.Jacobs@…>, 15 years ago
Added Geni examples
Property mode set to `100644`
File size: 7.3 KB

Line
1	subject = UCLA
2
3	update.1.location = local
4
5	update.1.1.type = node
6	update.1.1.name = UCLA: GENI.CTFaccess <<-?- Alice
7	update.1.1.nodeType = RoleTarget
8	update.1.1.isRoot = True
9
10	update.1.2.type = node
11	update.1.2.nodeType = RoleTarget
12	update.1.2.name = UCLA: GENI.CTFaccess <<-?- Alice
13	update.1.2.processing = unprocessed
14	update.1.2.satisfied = Unknown
15
16	update.1.3.type = node
17	update.1.3.nodeType = RoleTarget
18	update.1.3.name = UCLA: GENI.CTFaccess <<-?- Alice
19	update.1.3.processing = unprocessed
20	update.1.3.satisfied = Unknown
21
22	update.1.4.type = edge
23	update.1.4.edgeType = Implication
24	update.1.4.parentName = UCLA: GENI.CTFaccess <<-?- Alice
25	update.1.4.childName = UCLA: ACM.CTFrep.CTFcontestant <<-?- Alice
26	update.1.4.childType = LinkedRoleTarget
27	update.1.4.childProcessing = opponent
28	update.1.4.evidence.1 = GENI.CTFaccess<-ACM.CTFrep.CTFcontestant
29
30	update.1.5.type = node
31	update.1.5.nodeType = LinkedRoleTarget
32	update.1.5.name = UCLA: ACM.CTFrep.CTFcontestant <<-?- Alice
33	update.1.5.processing = opponent
34	update.1.5.satisfied = Unknown
35
36	update.1.6.type = node
37	update.1.6.nodeType = RoleTarget
38	update.1.6.name = UCLA: GENI.CTFaccess <<-?- Alice
39	update.1.6.processing = opponent
40	update.1.6.satisfied = Unknown
41
42	update.1.7.type = node
43	update.1.7.name = UCLA: GENI.CTFaccess <<-?- Alice
44	update.1.7.processing = verifier
45
46	update.1.8.type = edge
47	update.1.8.edgeType = Implication
48	update.1.8.parentName = UCLA: ACM.CTFrep.CTFcontestant <<-?- Alice
49	update.1.8.childName = UCLA: UCLA.ACMofficer.CTFcontestant <<-?- Alice
50	update.1.8.childType = LinkedRoleTarget
51	update.1.8.childProcessing = opponent
52
53	update.1.9.type = node
54	update.1.9.nodeType = LinkedRoleTarget
55	update.1.9.name = UCLA: UCLA.ACMofficer.CTFcontestant <<-?- Alice
56	update.1.9.processing = opponent
57	update.1.9.satisfied = Unknown
58
59	update.1.10.type = node
60	update.1.10.nodeType = LinkedRoleTarget
61	update.1.10.name = UCLA: ACM.CTFrep.CTFcontestant <<-?- Alice
62	update.1.10.processing = opponent
63	update.1.10.satisfied = Unknown
64
65	update.1.11.type = edge
66	update.1.11.edgeType = Implication
67	update.1.11.parentName = UCLA: ACM.CTFrep.CTFcontestant <<-?- Alice
68	update.1.11.childName = UCLA: MIT.student <<-?- Alice
69	update.1.11.childType = RoleTarget
70	update.1.11.childProcessing = verifier
71
72	update.1.12.type = node
73	update.1.12.nodeType = RoleTarget
74	update.1.12.name = UCLA: MIT.student <<-?- Alice
75	update.1.12.processing = verifier
76	update.1.12.satisfied = Unknown
77
78	update.1.13.type = node
79	update.1.13.nodeType = LinkedRoleTarget
80	update.1.13.name = UCLA: ACM.CTFrep.CTFcontestant <<-?- Alice
81	update.1.13.processing = opponent
82	update.1.13.satisfied = Unknown
83
84	update.1.14.type = node
85	update.1.14.name = UCLA: ACM.CTFrep.CTFcontestant <<-?- Alice
86	update.1.14.processing = verifier
87
88	update.1.15.type = edge
89	update.1.15.edgeType = LinkingMonitor
90	update.1.15.parentName = UCLA: UCLA.ACMofficer.CTFcontestant <<-?- Alice
91	update.1.15.childName = UCLA: ?X.CTFcontestant <<-?- Alice
92	update.1.15.childType = LinkingGoal
93	update.1.15.childProcessing = verifier
94
95	update.1.16.type = node
96	update.1.16.nodeType = LinkingGoal
97	update.1.16.name = UCLA: ?X.CTFcontestant <<-?- Alice
98	update.1.16.processing = verifier
99	update.1.16.satisfied = Incomplete
100
101	update.2.location = remote
102
103	update.2.1.type = node
104	update.2.1.name = UCLA: MIT.student <<-?- Alice
105	update.2.1.processing = opponent
106
107	update.2.2.type = node
108	update.2.2.nodeType = RoleTarget
109	update.2.2.name = UCLA: MIT.student <<-?- Alice
110	update.2.2.processing = fully
111	update.2.2.satisfied = Failed
112
113	update.2.3.type = edge
114	update.2.3.edgeType = LinkingSolution
115	update.2.3.parentName = UCLA: ?X.CTFcontestant <<-?- Alice
116	update.2.3.childName = UCLA: USC.CTFcontestant <<-?- Alice
117	update.2.3.childType = RoleTarget
118	update.2.3.childProcessing = verifier
119
120	update.2.4.type = node
121	update.2.4.nodeType = RoleTarget
122	update.2.4.name = UCLA: USC.CTFcontestant <<-?- Alice
123	update.2.4.processing = verifier
124	update.2.4.satisfied = Unknown
125
126	update.2.5.type = node
127	update.2.5.name = UCLA: ?X.CTFcontestant <<-?- Alice
128	update.2.5.processing = opponent
129
130	update.2.6.type = node
131	update.2.6.nodeType = LinkingGoal
132	update.2.6.name = UCLA: ?X.CTFcontestant <<-?- Alice
133	update.2.6.processing = fully
134	update.2.6.satisfied = Incomplete
135
136	update.2.7.type = edge
137	update.2.7.edgeType = Implication
138	update.2.7.parentName = UCLA: USC.CTFcontestant <<-?- Alice
139	update.2.7.childName = UCLA: Alice <<-?- Alice
140	update.2.7.childType = TrivialTarget
141	update.2.7.childProcessing = fully
142	update.2.7.evidence.1 = USC.CTFcontestant<-Alice
143
144	update.2.8.type = node
145	update.2.8.nodeType = TrivialTarget
146	update.2.8.name = UCLA: Alice <<-?- Alice
147	update.2.8.processing = fully
148	update.2.8.satisfied = Satisfied
149
150	update.2.9.type = node
151	update.2.9.nodeType = RoleTarget
152	update.2.9.name = UCLA: USC.CTFcontestant <<-?- Alice
153	update.2.9.processing = verifier
154	update.2.9.satisfied = Unknown
155
156	update.2.10.type = node
157	update.2.10.nodeType = RoleTarget
158	update.2.10.name = UCLA: USC.CTFcontestant <<-?- Alice
159	update.2.10.processing = verifier
160	update.2.10.satisfied = Satisfied
161
162	update.2.11.type = node
163	update.2.11.nodeType = LinkingGoal
164	update.2.11.name = UCLA: ?X.CTFcontestant <<-?- Alice
165	update.2.11.processing = fully
166	update.2.11.satisfied = Complete
167
168	update.2.12.type = node
169	update.2.12.name = UCLA: UCLA.ACMofficer.CTFcontestant <<-?- Alice
170	update.2.12.processing = verifier
171
172	update.2.13.type = node
173	update.2.13.name = UCLA: USC.CTFcontestant <<-?- Alice
174	update.2.13.processing = opponent
175
176	update.3.location = local
177
178	update.3.1.type = edge
179	update.3.1.edgeType = LinkingImplication
180	update.3.1.parentName = UCLA: UCLA.ACMofficer.CTFcontestant <<-?- Alice
181	update.3.1.childName = UCLA: UCLA.ACMofficer <<-?- USC
182	update.3.1.childType = RoleTarget
183	update.3.1.childProcessing = opponent
184
185	update.3.2.type = node
186	update.3.2.nodeType = RoleTarget
187	update.3.2.name = UCLA: UCLA.ACMofficer <<-?- USC
188	update.3.2.processing = opponent
189	update.3.2.satisfied = Unknown
190
191	update.3.3.type = node
192	update.3.3.nodeType = LinkedRoleTarget
193	update.3.3.name = UCLA: UCLA.ACMofficer.CTFcontestant <<-?- Alice
194	update.3.3.processing = fully
195	update.3.3.satisfied = Unknown
196
197	update.3.4.type = edge
198	update.3.4.edgeType = Implication
199	update.3.4.parentName = UCLA: UCLA.ACMofficer <<-?- USC
200	update.3.4.childName = UCLA: Mike <<-?- USC
201	update.3.4.childType = TrivialTarget
202	update.3.4.childProcessing = fully
203	update.3.4.evidence.1 = UCLA.ACMofficer<-Mike
204
205	update.3.5.type = node
206	update.3.5.nodeType = TrivialTarget
207	update.3.5.name = UCLA: Mike <<-?- USC
208	update.3.5.processing = fully
209	update.3.5.satisfied = Satisfied
210
211	update.3.6.type = node
212	update.3.6.nodeType = RoleTarget
213	update.3.6.name = UCLA: UCLA.ACMofficer <<-?- USC
214	update.3.6.processing = opponent
215	update.3.6.satisfied = Unknown
216
217	update.3.7.type = node
218	update.3.7.nodeType = RoleTarget
219	update.3.7.name = UCLA: UCLA.ACMofficer <<-?- USC
220	update.3.7.processing = opponent
221	update.3.7.satisfied = Satisfied
222
223	update.3.8.type = node
224	update.3.8.nodeType = LinkedRoleTarget
225	update.3.8.name = UCLA: UCLA.ACMofficer.CTFcontestant <<-?- Alice
226	update.3.8.processing = fully
227	update.3.8.satisfied = Satisfied
228
229	update.3.9.type = node
230	update.3.9.nodeType = LinkedRoleTarget
231	update.3.9.name = UCLA: ACM.CTFrep.CTFcontestant <<-?- Alice
232	update.3.9.processing = fully
233	update.3.9.satisfied = Satisfied
234
235	update.3.10.type = node
236	update.3.10.nodeType = RoleTarget
237	update.3.10.name = UCLA: GENI.CTFaccess <<-?- Alice
238	update.3.10.processing = fully
239	update.3.10.satisfied = Satisfied
240
241	update.3.11.type = node
242	update.3.11.name = UCLA: UCLA.ACMofficer <<-?- USC
243	update.3.11.processing = verifier
244

Note: See TracBrowser for help on using the repository browser.

Download in other formats:

Original Format