[cadynce] GT-4 Allocations

[Gautam Thaker]

Thanks to fast work by Gaurav Bhatia of CMU we have 3 different allocations up on the wiki for BFD, FFD and WFD. Please see 
details at link below. I believe full information exists so that Adam can run the CUTS models w/ these allocations.

I will attempt to do some model checking on these. There are some tricky aspects since there is some merging of strings. (or at 
elast there are partial strings inside strings.) For this thursday we may have to show as much as we can.

Gaurav is also going to look into generating ~100 allocations and to generate at least the Joe Cross Distance Metric for these 
allocations. We have much much work to do, full interpreations of everything can't be ready by this thursday, but for May 7th we 
could have nice summaries. At that point we would be able to know more, but in short for practical use of ARMS technologies much 
much work remains but we are making a good demonstration of concepts and some very early example prototypes and some concept tools 
(just good for engineering at this point, work to harden and transition woudl be in the program.)

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

Gautam