[cadynce] A quick update and notice that we will not hold a teleconf. today at 3:45pm

[Gautam Thaker]

Hi Cadynce Friends:

we are working to generate/fill in rest of the summary table that we have at:

https://escher.isis.vanderbilt.edu/twiki/bin/view/CADYNCE/OneFiftyFiftyCase1#Summary_of_All_the_Runs

I expect to have the "Highest Priority" Runs complete this evening, i will 
fill in rest of the table at that time. I don't understand value of "518" that 
the model checker gives for 48 nodes and Rate Monotonic priorities, this will 
take a bit of effort to figure out what is going on here but hopefully not too 
bad - i will do it next.

In any event, I don't have any additional results beyond this table at this 
time and propose that we put of today's teleconf till either next week same 
time or sometime in between. (lots of results are summarized in this table, so 
I don't mean to minimize the information therein.)

Gautam