This folder contains archive for the results for every model-property pair of
the Boeing-WBS models.

Used for fast reproduction of results for artifact evaluation.

DO NOT MODIFY. INCLUDED FOR ARTIFACT EVALUATION PURPOSES ONLY.

For further information, contact Rohit Dureja (dureja@iastate.edu)