This folder contains archive for the results and a Python script to generate
result plots for the NASA ATC models.

-------------------------------------------------------------------------------

To generate all plots, make sure Python is installed with numpy and matplotlib.

1. Extract the result_archive.7z

    The archive contains the following files:

    1. results_individual.json - result for checking all models against all
                                 properties one-by-one

    2. results_genpc.json - results for checking reduced models against all
                            properties one-by-one

    3. results_checkrp - results for checking all models against reduced
                         properties

    4. results_d3.json - results for checking reduced models against reduced
                         properties

2. Once extract, run

    python all_plots.py

-------------------------------------------------------------------------------

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