I ran some of the traces of the FMCAD'98 study with different intial memory setting with my library ABCD. Following the links below you will find graphs generated by gnuplot. The x-axis is the number of MB the library is allowed to take (following the space link you find the number of MB that were actually taken). Here is the script to generate the statistics. You have to adjust the line `ABCD_MB=...', of course! Here you find the script to generate the graphs with gnuplot.
Last Modified Sun May 10 14:12:43 EDT 1998 by Armin Biere