source: examples/scaling_tests/haystack/fruit_prover/base/RESULT @ 880e924

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

1) add the scaling test suite

  • Property mode set to 100644
File size: 722 bytes
Line 
1 
2===good============ mary.what2eat <- navel orange
3YAP query succeed
4prover success!!
5credentials needed :
6 pMary.what2eat  <- pRalphs.fruitprice(P:[..2.00])
7 pRalphs.fruitprice(0.50)  <- 'navel orange'
8 
9===good============ mary.what2eat <- kiwi
10YAP query succeed
11prover success!!
12credentials needed :
13 pMary.what2eat  <- pRalphs.fruitprice(P:[..2.00])
14 pRalphs.fruitprice(1.50)  <- 'kiwi'
15 
16===bad============ bob.what2eat <- navel orange
17YAP query failed
18prover failed!!
19 
20===good============ ralphs.fruitprice(1.50) <- apple
21YAP query succeed
22prover success!!
23credentials needed :
24 pRalphs.fruitprice(1.50)  <- 'apple'
25 
26===bad============ ralphs.fruitprice(1.50) <- green apple
27YAP query failed
28prover failed!!
Note: See TracBrowser for help on using the repository browser.