Fixing width of table
Improving the style
Don't number columns if there is only 1
Better labeling in the HTML display
Renaming function for clarity
Cleaning up and enabling aggressive resolvent checking
Adding some relatively sane cut-offs for var-elim

If both watchlists contain >50 elements, it will take 2500 steps just to
go through them. Skip it.
Adding empty line for clarity
Lower the limit of var-elim skipping if too many elems is watchlists

Lower it to 40*40 = 1600