Results table: custom sorting for Solved Benchmarks and SGM Runtime

[siddharth-krishna]

Sorting the solved benchmarks column doesn't work when one row is 100%:

Can we use a custom class/datatype and define the sorting key to be the number of solved benchmarks (e.g. 20 or 24 in the above picture), but the appearance to be the string that we are using currently?

We can also round the percentage to a whole number, without any decimal places.

Similarly, it would be good to show both the normalized and un-normalized SGM in the SGM Runtime column. Each value should look like 1 (438.25) or 1.47 (644.23)

[siddharth-krishna]

Thanks @jacek-oet , it works much better now, but there's still a small bug when sorting Solved Benchmarks column when one or more numbers are 100%, as you can see when you filter to only XS size and click on this column header:

The sorting arrow points down when the order is 100%, 100%, 67% (i.e. descending), but if you sort by the SGM column, then the arrow points down when the order is ascending:

[siddharth-krishna]

Closed as completed in #142