source: examples/creddy_prover_tests/allout.save @ abf8d5d

mei_rt2mei_rt2_fix_1
Last change on this file since abf8d5d was abf8d5d, checked in by Mei <mei@…>, 12 years ago

1) add backtrack/multiple solutions proof code changes and new

examples.
  • Property mode set to 100644
File size: 8.8 KB
Line 
1
2 ==> RUN on access_rt2
3 
4===good============ Alpha.access(Read,fileA)<-?-Bob
5YAP query succeed
6prover success!!
7credentials needed :
8 pAlpha.access('Read',F:pAlpha.documents(P))  <- pAlpha.team(P)
9 pAlpha.documents('proj1')  <- 'file//fileA'
10 pAlpha.team('proj1')  <- pBob
11 
12===bad============ Alpha.access(Read,fileA)<-?-Joe
13YAP query failed
14prover failed!!
15 
16===good============ Alpha.team(proj2)<-?-Joe
17YAP query succeed
18prover success!!
19credentials needed :
20 pAlpha.team('proj2')  <- pJoe
21
22 ==> RUN on acme_friend_rt1
23 
24===bad============ Acme.friendOf(Roadrunner) <- Coyote
25YAP query failed
26prover failed!!
27 
28===good============ Acme.friendOf(Roadrunner) <- Jackrabbit
29YAP query succeed
30prover success!!
31credentials needed :
32 pAcme.friendOf(pRoadrunner)  <- pJackrabbit
33 
34===good============ Acme.preferred_customer <- Jackrabbit
35YAP query succeed
36prover success!!
37credentials needed :
38 pAcme.preferred_customer  <- pAcme.friendOf(pRoadrunner)
39 pAcme.friendOf(pRoadrunner)  <- pJackrabbit
40 
41===good============ Acme.preferred_customer <- Coyote
42YAP query succeed
43prover success!!
44credentials needed :
45 pAcme.preferred_customer  <- pCoyote
46 
47===bad============ Acme.preferred_customer <- badCoyote
48yyerror: encountered an invalid SHA id
49prover failed!!
50
51 ==> RUN on acme_rockets_intersection_rt0
52 
53===good============ Acme.buy_rockets <- Coyote
54YAP query succeed
55prover success!!
56credentials needed :
57 pAcme.buy_rockets  <- pAcme.preferred_customer & pWarnerBros.character
58 pAcme.preferred_customer  <- pCoyote
59 pWarnerBros.character  <- pCoyote
60 
61===bad============ Acme.bad_buy_rockets <- Coyote
62YAP query failed
63prover failed!!
64 
65===bad============ 99Acme.buy_rockets <- Coyote
66yyerror: encountered an invalid SHA id
67prover failed!!
68 
69===bad=============== Acme.buy_rockets <- Batman
70YAP query failed
71prover failed!!
72
73 ==> RUN on acme_rockets_rt0
74 
75===good============ Acme.preferred_customer <- Coyote
76YAP query succeed
77prover success!!
78credentials needed :
79 pAcme.preferred_customer  <- pCoyote
80 
81===good=============== Acme.buy_rockets <- Coyote
82YAP query succeed
83prover success!!
84credentials needed :
85 pAcme.buy_rockets  <- pAcme.preferred_customer
86 pAcme.preferred_customer  <- pCoyote
87 
88===bad=============== Acme.buy_rockets <- Acme.preferred_customer
89fail, a.o <- b.o and a.r <- a.r query is not implemented yet !!!
90 
91===bad=============== Coyote.friend <- Acme
92YAP query failed
93prover failed!!
94
95 ==> RUN on alice_rt1
96 
97===good============ Party.guests <- dourmouse
98YAP query succeed
99prover success!!
100credentials needed :
101 pParty.guests  <- pParty.friendOf(pMarchHare)
102 pParty.friendOf(pMarchHare)  <- pDormouse
103 
104===bad============ Party.guests <- hatter
105YAP query failed
106prover failed!!
107
108 ==> RUN on alumni2_rt1
109 
110===good============ stateU.foundingAlumni <- Bob
111YAP query succeed
112prover success!!
113credentials needed :
114 pStateU.foundingAlumni  <- pStateU.diploma(_,Year:[1960,1961,1963])
115 pStateU.diploma('mathmatics',1961)  <- pBob
116 
117===bad============ stateU.foundingAlumni <- Maryann
118YAP query failed
119prover failed!!
120 
121===bad============ stateU.foundingAlumni <- Joe
122YAP query failed
123prover failed!!
124
125 ==> RUN on alumni3_rt1
126 
127===good============ stateU.foundingAlumni <- Bob
128YAP query succeed
129prover success!!
130credentials needed :
131 pStateU.foundingAlumni  <- pStateU.diploma(D:['mathmatics','psychology'],Year:[1960,1961,1963])
132 pStateU.diploma('mathmatics',1961)  <- pBob
133 
134===bad============ stateU.foundingAlumni <- Mark
135YAP query failed
136prover failed!!
137 
138===bad============ stateU.foundingAlumni <- Joe
139YAP query failed
140prover failed!!
141 
142===bad============ stateU.foundingAlumni <- Maryann
143YAP query failed
144prover failed!!
145 
146===good============ stateU.foundingAlumni <- Jan
147YAP query succeed
148prover success!!
149credentials needed :
150 pStateU.foundingAlumni  <- pStateU.diploma(D:['mathmatics','psychology'],Year:[1960,1961,1963])
151 pStateU.diploma('psychology',1960)  <- pJan
152
153 ==> RUN on alumni_rt1
154 
155===bad============ stateU.foundingAlumni <- Bob
156YAP query failed
157prover failed!!
158 
159===good============ stateU.foundingAlumni <- Maryann
160YAP query succeed
161prover success!!
162credentials needed :
163 pStateU.foundingAlumni  <- pStateU.diploma(_,Year:[1955..1958])
164 pStateU.diploma('psychology',1956)  <- pMaryann
165 
166===good============ stateU.foundingAlumni <- Joe
167YAP query succeed
168prover success!!
169credentials needed :
170 pStateU.foundingAlumni  <- pStateU.diploma(_,Year:[1955..1958])
171 pStateU.diploma('zoology',1955)  <- pJoe
172
173 ==> RUN on balltime_rt2
174 
175===good============ league.stadium(access,true,20120128T130000)<-?-john
176YAP query succeed
177prover success!!
178credentials needed :
179 pLeague.stadium('access',true,F:pLeague.gametime(T))  <- pLeague.players(T)
180 pLeague.gametime('north')  <- 20120228T130000
181 pLeague.players('north')  <- pJohn
182 
183===bad============ league.stadium(access,true,20120128T110000)<-?-mark
184YAP query failed
185prover failed!!
186 
187===good============ league.stadium(access,true,20120128T080000)<-?-mark
188YAP query succeed
189prover success!!
190credentials needed :
191 pLeague.stadium('access',B:[true],F:[20120228T080000..20120228T090000])  <- pLeague.players(T)
192 pLeague.players('south')  <- pMark
193
194 ==> RUN on evaluator_rt1
195 
196===good============ USC.evaluatorOf(Maryann) <- John
197YAP query succeed
198prover success!!
199credentials needed :
200 pUSC.evaluatorOf(K)  <- pUSC.managerOf(K)
201 pUSC.managerOf(K)  <- pISI.managerOf(K)
202 pISI.managerOf(pMaryann)  <- pJohn
203 
204===good============ ISI.managerOf(Maryann) <- John
205YAP query succeed
206prover success!!
207credentials needed :
208 pISI.managerOf(pMaryann)  <- pJohn
209 
210===good============  USC.employee <-?- John
211YAP query succeed
212prover success!!
213credentials needed :
214 pUSC.employee  <- pISI.employee
215 pISI.employee  <- pJohn
216
217 ==> RUN on experiment_create_rt0
218 
219===good=============== Globotron.admin <- Alice
220YAP query succeed
221prover success!!
222credentials needed :
223 pGlobotron.admin  <- pAlice
224 
225===bad=============== Globotron.admin <- Bob
226YAP query failed
227prover failed!!
228 
229===good=============== Acme.experiment_create <- Bob
230YAP query succeed
231prover success!!
232credentials needed :
233 pAcme.experiment_create  <- pAcme.partner.experiment_create
234 pAcme.partner  <- pGlobotron
235 pGlobotron.experiment_create  <- pGlobotron.admin.power_user
236 pGlobotron.admin  <- pAlice
237 pAlice.power_user  <- pBob
238
239 ==> RUN on file_read_rt2
240 
241===good============ alpha.read(fileA) <- Bob
242YAP query succeed
243prover success!!
244credentials needed :
245 pAlpha.read(F)  <- pAlpha.managerOf(E:pAlpha.ownerOf(F))
246 pAlpha.ownerOf('file://fileA')  <- pJoe
247 pAlpha.managerOf(pJoe)  <- pBob
248 
249===bad============ alpha.read(fileA) <- Maryann
250YAP query failed
251prover failed!!
252
253 ==> RUN on fruits_rt2
254 
255===good============ mary.what2eat <- navel orange
256YAP query succeed
257prover success!!
258credentials needed :
259 pMary.what2eat  <- pRalphs.fruitprice(P:[..2.00])
260 pRalphs.fruitprice(0.50)  <- 'navel orange'
261 
262===good============ mary.what2eat <- kiwi
263YAP query succeed
264prover success!!
265credentials needed :
266 pMary.what2eat  <- pRalphs.fruitprice(P:[..2.00])
267 pRalphs.fruitprice(1.50)  <- 'kiwi'
268 
269===bad============ bob.what2eat <- navel orange
270YAP query failed
271prover failed!!
272 
273===good============ ralphs.fruitprice(1.50) <- apple
274YAP query succeed
275prover success!!
276credentials needed :
277 pRalphs.fruitprice(1.50)  <- 'apple'
278 
279===bad============ ralphs.fruitprice(1.50) <- green apple
280YAP query failed
281prover failed!!
282
283 ==> RUN on leader_rt1
284 
285===yes============ geni.leader <- Bob
286YAP query succeed
287prover success!!
288credentials needed :
289 pGeni.leader  <- pBob
290 
291===no============ geni.leader <- Jack
292YAP query failed
293prover failed!!
294 
295===yes============ geni.leader <- Joe
296YAP query succeed
297prover success!!
298credentials needed :
299 pGeni.leader  <- pGeni.equivalent(P:pGeni.leader)
300 pGeni.leader  <- pBob
301 pGeni.equivalent(pBob)  <- pJoe
302
303 ==> RUN on payraise_rt1
304 
305===bad============ alpha.payRaise <- Joe
306YAP query failed
307prover failed!!
308 
309===good============ alpha.payRaise <- Maryann
310YAP query succeed
311prover success!!
312credentials needed :
313 pAlpha.payRaise  <- pAlpha.evaluatorOf(This).goodPerformance & pAlpha.managerOf(This).niceCoworker
314 pAlpha.evaluatorOf(pMaryann)  <- pBob
315 pBob.goodPerformance  <- pMaryann
316 pAlpha.managerOf(Z)  <- pAlpha.evaluatorOf(Z)
317 pBob.niceCoworker  <- pMaryann
318
319 ==> RUN on acme_multi_rt0
320 
321===good============ Acme.preferred_customer <- Coyote
322YAP query succeed
323prover success!!
324credentials needed :
325 pAcme.preferred_customer  <- pCoyote
326 
327===good=============== Acme.buy_rockets <- Coyote
328YAP query succeed
329prover success!!
330credentials needed :
331 pAcme.buy_rockets  <- pAcme.preferred_customer
332 pAcme.preferred_customer  <- pCoyote
333another proof!!
334credentials needed :
335 pAcme.buy_rockets  <- pAcme.worst_lucked
336 pAcme.worst_lucked  <- pCoyote
337no more!!
338 
339===bad=============== Acme.buy_rockets <- Acme.preferred_customer
340fail, a.o <- b.o and a.r <- a.r query is not implemented yet !!!
341 
342===bad=============== Coyote.friend <- Acme
343YAP query failed
344prover failed!!
Note: See TracBrowser for help on using the repository browser.