contification paper

[Matthew Fluet]

> What might be even better would be to have the analyses be the rows and the
> benchmarks be the columns.  That way, the table would have only four rows and
> would look so busy.  It would also be easier to compare the analyses for a given 
> benchmark.

Something like:

          barnes-hut        count-graphs
none   0/118  0/96  0/43    0/102 0/82 0/48
call  67/118  6/49  0/7    61/102 7/41 0/11
cont  64/118  6/52  0/10   62/102 8/40 0/10
dom   72/118  5/44  0/9    62/102 6/33 0/9