contification paper

[Stephen Weeks]

I am thinking of changing the compilation statistics to the following two
tables.

The first table gives line numbers and compile times.  I don't think it's
necessary to report compile times for each of the four cases, since they're all
computing all of the analyses.   So I'd just like to report the None numbers.
I'd also like to report absolute compile times.  The first table would look
like: 

		#lines	compile time  contify time
barnes-hut	1262      3.79		0.08 (1.66%)
...

The second table would look like the current table 1, but with the lines and the 
times removed -- i.e. just the counts.

Reasonable?