[cadynce] some model checking results for GT-4 and its 300 allocations in "perturb3" set..

[Gautam Thaker]

I have used the 300 allocations from below and obtained  average end to 
end times for AppString A (the first app string) for each of the runs. I 
think these is not enough allocations to make graphs just yet, in some 
cases we don't have enough samples. These results are preliminary and 
not yet ready for sharing outside but I wanted to share internally:

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

# of       # of       Mean E2E time
Nodes      allocs    for appstring A
_____      ______   ________________
43             2    621.3289565
44             9    598.960861555556
45            34    610.459727441176
46            92    609.888486369565
47            54    606.708171518518
48             9    613.078107111111
50           100    538.95367793

I will try to follow more of Adams suggestions and do more runs, but all 
this takes time.

Gautam