API tools faq
paste
Advertisement
Guest User

Untitled

a guest
Dec 19th, 2014
198
0
Never
Add comment
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 11.38 KB | None | 0 0
raw download clone embed print report
  1. '********** induction on events
  2.  
  3. <(*,John,door_101) --> open>. :|:
  4.  
  5. 11
  6.  
  7. <(*,John,room_101) --> enter>. :|: %0%
  8.  
  9. 10
  10.  
  11. ''outputMustContain('<(&/,<(*,John,door_101) --> open>,+4) =/> <(*,John,room_101) --> enter>>. :|: %0.00;0.45%')
  12. ''outputMustContain('<(&/,<(*,John,door_101) --> open>,+4) </> <(*,John,room_101) --> enter>>. :|: %0.00;0.45%')
  13. 'adjusted +3 to +4
  14.  
  15. 'original output (1.3.3):
  16. ' OUT: <<(*,John,room_101) --> enter>=\><(*,John,door_101) --> open>>. :\: %1.00;0.45%
  17. ' OUT: <<(*,John,door_101) --> open>=/><(*,John,room_101) --> enter>>. :\: %1.00;0.45%
  18. ' OUT: <<(*,John,door_101) --> open></><(*,John,room_101) --> enter>>. :\: %1.00;0.45%
  19. ' OUT: <<(*,John,room_101) --> enter>=\><(*,John,door_101) --> open>>. %1.00;0.45%
  20. ' OUT: <<(*,John,door_101) --> open>=/><(*,John,room_101) --> enter>>. %1.00;0.45%
  21. ' OUT: <<(*,John,door_101) --> open></><(*,John,room_101) --> enter>>. %1.00;0.45%
  22.  
  23.  
  24. --------------- ANALYSIS ----------
  25.  
  26. Active at Time Cycles: [t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27, t28, t29, t30, t31, t32, t33, t34]
  27.  
  28. Non-essential vertices:
  29. t1 (TimeNode)
  30. FireConcept[$0.29;0.50;0.95$ <(*,John,door_101) --> open>,$0.5643;0.5000;0.9500$ $0.8000;0.5000;0.9500$ <(*,John,door_101) --> open>. %1.00;0.90% [1] {1|1 : 0<John --> (/,open,_,door_101)>;<(*,John,door_101) --> open>;<door_101 --> (/,open,John,_)>} ] ()
  31. t2 (TimeNode)
  32. $0.4000;0.1000;0.1900$ <door_101 --> (/,open,John,_)>. %1.00;0.90% [1] (Task)
  33. $0.4000;0.1000;0.1900$ $0.4000;0.1000;0.1900$ <door_101 --> (/,open,John,_)>. %1.00;0.90% [1] {4|1 : 0<John --> (/,open,_,door_101)>;<(*,John,door_101) --> open>;<door_101 --> (/,open,John,_)>} (TaskLink)
  34. t3 (TimeNode)
  35. t4 (TimeNode)
  36. t5 (TimeNode)
  37. t6 (TimeNode)
  38. t7 (TimeNode)
  39. FireConcept[$0.67;0.50;0.71$ enter,$0.3344;0.5000;0.7125$ $0.8000;0.5000;0.7125$ <(*,John,room_101) --> enter>. %0.00;0.90% [13] {13|13 : 1<(*,John,room_101) --> enter>} ] ()
  40. * John (Term)
  41. t8 (TimeNode)
  42. FireConcept[$0.48;0.13;0.95$ (*,John,door_101),$0.2083;0.5000;0.9500$ $0.8000;0.5000;0.9500$ <(*,John,door_101) --> open>. %1.00;0.90% [1] {1|1 : 0<John --> (/,open,_,door_101)>;<(*,John,door_101) --> open>;<door_101 --> (/,open,John,_)>} ] ()
  43. t9 (TimeNode)
  44. FireConcept[$0.05;0.10;0.19$ <John --> (/,open,_,door_101)>,$0.2061;0.1000;0.1900$ $0.4000;0.1000;0.1900$ <John --> (/,open,_,door_101)>. %1.00;0.90% [1] {3|1 : 0<John --> (/,open,_,door_101)>;<(*,John,door_101) --> open>;<door_101 --> (/,open,John,_)>} ] ()
  45. t10 (TimeNode)
  46. t11 (TimeNode)
  47. FireConcept[$0.10;0.01;0.95$ John,$0.3347;0.5000;0.9500$ $0.8000;0.5000;0.9500$ <(*,John,door_101) --> open>. %1.00;0.90% [1] {1|1 : 0<John --> (/,open,_,door_101)>;<(*,John,door_101) --> open>;<door_101 --> (/,open,John,_)>} ] ()
  48. t12 (TimeNode)
  49. t14 (TimeNode)
  50. t15 (TimeNode)
  51. $0.4000;0.1000;0.1900$ <John --> (/,open,_,door_101)>. %1.00;0.90% [1] (Task)
  52. $0.1148;0.1000;0.1900$ $0.4000;0.1000;0.1900$ <John --> (/,open,_,door_101)>. %1.00;0.90% [1] {3|1 : 0<John --> (/,open,_,door_101)>;<(*,John,door_101) --> open>;<door_101 --> (/,open,John,_)>} (TaskLink)
  53. t16 (TimeNode)
  54. t17 (TimeNode)
  55. t18 (TimeNode)
  56. t19 (TimeNode)
  57. t20 (TimeNode)
  58. t21 (TimeNode)
  59. t22 (TimeNode)
  60. t23 (TimeNode)
  61. FireConcept[$0.05;0.10;0.19$ <John --> (/,open,_,door_101)>,$0.2061;0.1000;0.1900$ $0.4000;0.1000;0.1900$ <John --> (/,open,_,door_101)>. %1.00;0.90% [1] {3|1 : 0<John --> (/,open,_,door_101)>;<(*,John,door_101) --> open>;<door_101 --> (/,open,John,_)>} ] ()
  62. t24 (TimeNode)
  63. t25 (TimeNode)
  64. t26 (TimeNode)
  65. * enter (Term)
  66. t27 (TimeNode)
  67. t28 (TimeNode)
  68. t29 (TimeNode)
  69. t30 (TimeNode)
  70. t31 (TimeNode)
  71. t32 (TimeNode)
  72. FireConcept[$0.29;0.50;0.95$ <(*,John,door_101) --> open>,$0.5643;0.5000;0.9500$ $0.8000;0.5000;0.9500$ <(*,John,door_101) --> open>. %1.00;0.90% [1] {1|1 : 0<John --> (/,open,_,door_101)>;<(*,John,door_101) --> open>;<door_101 --> (/,open,John,_)>} ] ()
  73. * room_101 (Term)
  74. t33 (TimeNode)
  75. t34 (TimeNode)
  76. $0.8000;0.5000;0.9500$ <(*,John,door_101) --> open>. %1.00;0.90% [1] (Task)
  77. $0.2083;0.5000;0.9500$ $0.8000;0.5000;0.9500$ <(*,John,door_101) --> open>. %1.00;0.90% [1] {1|1 : 0<John --> (/,open,_,door_101)>;<(*,John,door_101) --> open>;<door_101 --> (/,open,John,_)>} (TaskLink)
  78. FireConcept[$0.48;0.13;0.95$ (*,John,door_101),$0.2083;0.5000;0.9500$ $0.8000;0.5000;0.9500$ <(*,John,door_101) --> open>. %1.00;0.90% [1] {1|1 : 0<John --> (/,open,_,door_101)>;<(*,John,door_101) --> open>;<door_101 --> (/,open,John,_)>} ] ()
  79. $0.4263;0.0056;0.1006$ <(*,John,door_101) --> (*,John,(/,open,John,_))>. %1.00;0.81% [1] (Task)
  80. * (*,John,door_101) (Product)
  81. FireConcept[$0.29;0.50;0.95$ <(*,John,door_101) --> open>,$0.5643;0.5000;0.9500$ $0.8000;0.5000;0.9500$ <(*,John,door_101) --> open>. %1.00;0.90% [1] {1|1 : 0<John --> (/,open,_,door_101)>;<(*,John,door_101) --> open>;<door_101 --> (/,open,John,_)>} ] ()
  82. FireConcept[$0.48;0.13;0.95$ (*,John,door_101),$0.2083;0.5000;0.9500$ $0.8000;0.5000;0.9500$ <(*,John,door_101) --> open>. %1.00;0.90% [1] {1|1 : 0<John --> (/,open,_,door_101)>;<(*,John,door_101) --> open>;<door_101 --> (/,open,John,_)>} ] ()
  83. FireConcept[$0.29;0.50;0.95$ <(*,John,door_101) --> open>,$0.5643;0.5000;0.9500$ $0.8000;0.5000;0.9500$ <(*,John,door_101) --> open>. %1.00;0.90% [1] {1|1 : 0<John --> (/,open,_,door_101)>;<(*,John,door_101) --> open>;<door_101 --> (/,open,John,_)>} ] ()
  84. $0.6986;0.5000;0.7125$ $0.8000;0.5000;0.7125$ <(*,John,room_101) --> enter>. %0.00;0.90% [13] {13|13 : 1<(*,John,room_101) --> enter>} (TaskLink)
  85. $0.3131;0.0011;0.1006$ <(/,open,_,(/,open,John,_)) --> (/,open,_,door_101)>. %1.00;0.81% [1] (Task)
  86. FireConcept[$0.10;0.01;0.95$ door_101,$0.3347;0.5000;0.9500$ $0.8000;0.5000;0.9500$ <(*,John,door_101) --> open>. %1.00;0.90% [1] {1|1 : 0<John --> (/,open,_,door_101)>;<(*,John,door_101) --> open>;<door_101 --> (/,open,John,_)>} ] ()
  87. $0.4000;0.1000;0.1425$ <John --> (/,enter,_,room_101)>. %0.00;0.90% [13] (Task)
  88. FireConcept[$0.67;0.50;0.71$ enter,$0.3344;0.5000;0.7125$ $0.8000;0.5000;0.7125$ <(*,John,room_101) --> enter>. %0.00;0.90% [13] {13|13 : 1<(*,John,room_101) --> enter>} ] ()
  89. FireConcept[$0.54;0.50;0.71$ (*,John,room_101),$0.2698;0.5000;0.7125$ $0.8000;0.5000;0.7125$ <(*,John,room_101) --> enter>. %0.00;0.90% [13] {13|13 : 1<(*,John,room_101) --> enter>} ] ()
  90. * <(*,John,door_101) --> open> (Inheritance)
  91. FireConcept[$0.54;0.50;0.71$ (*,John,room_101),$0.2698;0.5000;0.7125$ $0.8000;0.5000;0.7125$ <(*,John,room_101) --> enter>. %0.00;0.90% [13] {13|13 : 1<(*,John,room_101) --> enter>} ] ()
  92. * door_101 (Term)
  93. FireConcept[$0.10;0.01;0.95$ door_101,$0.3347;0.5000;0.9500$ $0.8000;0.5000;0.9500$ <(*,John,door_101) --> open>. %1.00;0.90% [1] {1|1 : 0<John --> (/,open,_,door_101)>;<(*,John,door_101) --> open>;<door_101 --> (/,open,John,_)>} ] ()
  94. FireConcept[$0.10;0.01;0.95$ John,$0.3347;0.5000;0.9500$ $0.8000;0.5000;0.9500$ <(*,John,door_101) --> open>. %1.00;0.90% [1] {1|1 : 0<John --> (/,open,_,door_101)>;<(*,John,door_101) --> open>;<door_101 --> (/,open,John,_)>} ] ()
  95. * (/,open,_,door_101) (ImageExt)
  96. * <door_101 --> (/,open,John,_)> (Inheritance)
  97. * <(*,John,room_101) --> enter> (Inheritance)
  98. FireConcept[$0.29;0.50;0.95$ <(*,John,door_101) --> open>,$0.5643;0.5000;0.9500$ $0.8000;0.5000;0.9500$ <(*,John,door_101) --> open>. %1.00;0.90% [1] {1|1 : 0<John --> (/,open,_,door_101)>;<(*,John,door_101) --> open>;<door_101 --> (/,open,John,_)>} ] ()
  99. FireConcept[$0.10;0.01;0.95$ door_101,$0.1148;0.1000;0.1900$ $0.4000;0.1000;0.1900$ <door_101 --> (/,open,John,_)>. %1.00;0.90% [1] {4|1 : 0<John --> (/,open,_,door_101)>;<(*,John,door_101) --> open>;<door_101 --> (/,open,John,_)>} ] ()
  100. FireConcept[$0.54;0.50;0.71$ <(*,John,room_101) --> enter>,$0.6986;0.5000;0.7125$ $0.8000;0.5000;0.7125$ <(*,John,room_101) --> enter>. %0.00;0.90% [13] {13|13 : 1<(*,John,room_101) --> enter>} ] ()
  101. FireConcept[$0.48;0.13;0.95$ (*,John,door_101),$0.2083;0.5000;0.9500$ $0.8000;0.5000;0.9500$ <(*,John,door_101) --> open>. %1.00;0.90% [1] {1|1 : 0<John --> (/,open,_,door_101)>;<(*,John,door_101) --> open>;<door_101 --> (/,open,John,_)>} ] ()
  102. FireConcept[$0.33;0.09;0.19$ <door_101 --> (/,open,John,_)>,$0.4000;0.1000;0.1900$ $0.4000;0.1000;0.1900$ <door_101 --> (/,open,John,_)>. %1.00;0.90% [1] {4|1 : 0<John --> (/,open,_,door_101)>;<(*,John,door_101) --> open>;<door_101 --> (/,open,John,_)>} ] ()
  103. FireConcept[$0.47;0.50;0.71$ room_101,$0.3671;0.5000;0.7125$ $0.8000;0.5000;0.7125$ <(*,John,room_101) --> enter>. %0.00;0.90% [13] {13|13 : 1<(*,John,room_101) --> enter>} ] ()
  104. FireConcept[$0.14;0.03;0.19$ (/,open,_,door_101),$0.1148;0.1000;0.1900$ $0.4000;0.1000;0.1900$ <John --> (/,open,_,door_101)>. %1.00;0.90% [1] {3|1 : 0<John --> (/,open,_,door_101)>;<(*,John,door_101) --> open>;<door_101 --> (/,open,John,_)>} ] ()
  105. FireConcept[$0.48;0.13;0.95$ (*,John,door_101),$0.2083;0.5000;0.9500$ $0.8000;0.5000;0.9500$ <(*,John,door_101) --> open>. %1.00;0.90% [1] {1|1 : 0<John --> (/,open,_,door_101)>;<(*,John,door_101) --> open>;<door_101 --> (/,open,John,_)>} ] ()
  106. FireConcept[$0.29;0.50;0.95$ <(*,John,door_101) --> open>,$0.5643;0.5000;0.9500$ $0.8000;0.5000;0.9500$ <(*,John,door_101) --> open>. %1.00;0.90% [1] {1|1 : 0<John --> (/,open,_,door_101)>;<(*,John,door_101) --> open>;<door_101 --> (/,open,John,_)>} ] ()
  107. FireConcept[$0.10;0.01;0.95$ door_101,$0.1148;0.1000;0.1900$ $0.4000;0.1000;0.1900$ <John --> (/,open,_,door_101)>. %1.00;0.90% [1] {3|1 : 0<John --> (/,open,_,door_101)>;<(*,John,door_101) --> open>;<door_101 --> (/,open,John,_)>} ] ()
  108. FireConcept[$0.54;0.50;0.71$ <(*,John,room_101) --> enter>,$0.6986;0.5000;0.7125$ $0.8000;0.5000;0.7125$ <(*,John,room_101) --> enter>. %0.00;0.90% [13] {13|13 : 1<(*,John,room_101) --> enter>} ] ()
  109. FireConcept[$0.54;0.50;0.71$ (*,John,room_101),$0.2698;0.5000;0.7125$ $0.8000;0.5000;0.7125$ <(*,John,room_101) --> enter>. %0.00;0.90% [13] {13|13 : 1<(*,John,room_101) --> enter>} ] ()
  110. $0.4000;0.1000;0.1425$ <room_101 --> (/,enter,John,_)>. %0.00;0.90% [13] (Task)
  111. * (*,John,room_101) (Product)
  112. * <John --> (/,open,_,door_101)> (Inheritance)
  113. FireConcept[$0.48;0.13;0.95$ (*,John,door_101),$0.2083;0.5000;0.9500$ $0.8000;0.5000;0.9500$ <(*,John,door_101) --> open>. %1.00;0.90% [1] {1|1 : 0<John --> (/,open,_,door_101)>;<(*,John,door_101) --> open>;<door_101 --> (/,open,John,_)>} ] ()
  114. FireConcept[$0.29;0.50;0.95$ <(*,John,door_101) --> open>,$0.5643;0.5000;0.9500$ $0.8000;0.5000;0.9500$ <(*,John,door_101) --> open>. %1.00;0.90% [1] {1|1 : 0<John --> (/,open,_,door_101)>;<(*,John,door_101) --> open>;<door_101 --> (/,open,John,_)>} ] ()
  115. FireConcept[$0.54;0.50;0.71$ <(*,John,room_101) --> enter>,$0.6986;0.5000;0.7125$ $0.8000;0.5000;0.7125$ <(*,John,room_101) --> enter>. %0.00;0.90% [13] {13|13 : 1<(*,John,room_101) --> enter>} ] ()
  116. FireConcept[$0.54;0.50;0.71$ (*,John,room_101),$0.2698;0.5000;0.7125$ $0.8000;0.5000;0.7125$ <(*,John,room_101) --> enter>. %0.00;0.90% [13] {13|13 : 1<(*,John,room_101) --> enter>} ] ()
  117.  
  118. Essential vertices:
  119. $0.8000;0.5000;0.7125$ <(*,John,room_101) --> enter>. %0.00;0.90% [13] (Task)
  120. t13 (TimeNode)
  121. $0.8000;0.5000;0.5428$ <(&/,<(*,John,door_101) --> open>,+4) =/> <(*,John,room_101) --> enter>>. %0.00;0.45% [13] (Task)
  122. $0.8000;0.5000;0.5428$ <(&/,<(*,John,door_101) --> open>,+4) </> <(*,John,room_101) --> enter>>. %0.00;0.45% [13] (Task)
  123.  
  124. Total Process vs. Actually Essential: 94 to 6
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement
Public Pastes
Advertisement
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy.  OK, I Understand
Not a member of Pastebin yet?
Sign Up, it unlocks many cool features!