> (load "demo/reactor.ops")
;;; Loading source file "demo/reactor.ops"
;;; Warning: File "demo/reactor.ops" does not begin with IN-PACKAGE.  Loading into package "OPS"
Common Lisp OPS5 interpreter, version 14-OCT-92.
*****************************
#P"/afs/andrew.cmu.edu/scs/cs/15-381/ops5/demo/reactor.ops"
> (make ready)
NIL
> (run)

Enter id number for this run:   12

Enter value for HPIS [on, off]:  on
Enter value for STEAM FLOW [1..100]:  52
Enter old value for SG LEVEL [1..100]:  46
Enter new value for SG LEVEL [1..100]:  32
Enter old value for PCS TEMPERATURE [1..100]:  57
Enter new value for PCS TEMPERATURE [1..100]:  59
Enter old value for PCS PRESSURE [1..100]:  45
Enter new value for PCS PRESSURE [1..100]:  67
Enter value for FEEDWATER FLOW [1..100]:  11
Enter value for CONTAINMENT RADIATION [1..100]:  52
Enter old value for CONTAINMENT PRESSURE [1..100]:  56
Enter new value for CONTAINMENT PRESSURE [1..100]:  67

Starting classification... 
Rule classify-increasing concludes that CONTAINMENT PRESSURE is increasing 
Rule classify-nominal concludes that CONTAINMENT RADIATION is nominal 
Rule classify-low concludes that FEEDWATER FLOW is low 
Rule classify-increasing concludes that PCS PRESSURE is increasing 
Rule classify-steady concludes that PCS TEMPERATURE is steady 
Rule classify-decreasing concludes that SG LEVEL is decreasing 
Rule classify-nominal concludes that STEAM FLOW is nominal 

Starting diagnosis... 
Rule 3 concludes:     SG INVENTORY INADEQUATE 
Rule 6 concludes accident is loss of feedwater 

STARTING EXPLANATIONS 
Explanations [facts, high/low, none]:  facts
    Fact used:  RULE-6 USED FEEDWATER FLOW LOW 
    Fact used:  RULE-6 USED SG INVENTORY INADEQUATE 
    Fact used:  RULE-3 USED SG LEVEL DECREASING 
Explanations [facts, high/low, none]:  high
Explanations [facts, high/low, none]:  low
    LOW : FEEDWATER FLOW 11 
Explanations [facts, high/low, none]:  steady
    STEADY : PCS TEMPERATURE CHANGED 2 
Explanations [facts, high/low, none]:  nominal
    NOMINAL : STEAM FLOW 52 
    NOMINAL : CONTAINMENT RADIATION 52 
Explanations [facts, high/low, none]:  decreasing
    DECREASING : SG LEVEL CHANGED -14 
Explanations [facts, high/low, none]:  increasing
    INCREASING : PCS PRESSURE CHANGED 22 
    INCREASING : CONTAINMENT PRESSURE CHANGED 11 
Explanations [facts, high/low, none]:  none

end -- no production true
 29 productions (150 // 293 nodes)
 47 firings (87 rhs actions)
 13 mean working memory size (15 maximum)
  3 mean conflict set size (12 maximum)
 18 mean token memory size (25 maximum)
NIL