const int f;
const int l;
const int T;

// Long-run probability of being in phase f (=1,2,3)
"phase_ss": S=? [ fl=f ];

// Long-run probability that programmer (low priority) queue is size l
"prog_queue_ss": S=? [ pjq=l ];

// Long-run probability that user (high priority) queue is size l
"user_queue_ss": S=? [ ujq=l ];

// Point availability
// (transient and steady state)

"avail_tr": P=? [ F=T "avail" ];

"avail_ss": S=? [ "avail" ];

// Point performability (throughout of high priority jobs)
// (transient and steady state)

"thru_hi_tr": R{"thru_high"}=? [ I=T ];

"thru_hi_ss": R{"thru_high"}=? [ S ];