		CADE 2000 Testing

This directory contains control files and results for the testing in our
CADE2000 paper.  

File		Description

Tests		shell script to run the tests and create the graphs
DLP-4.1		shell script to run a single test
plot-dlp	shell script to create the graph from a test set
extract		shell script to fix up the results for graphing

*.res2		testing results (summaries)
*.ps		CADE2000 graphs 


WARNING:  The actual generation of the results used a parallel-execution
scheme using multiple machines, so these scripts are only a
reconstruction.  

