Closed jwaldmann closed 7 years ago
perhaps optionally, otherwise it's too much numbers.
tables should be sort-able by answer size as well, see #113
Is size available from starexec? Else, postprocessor can compute it.
duplicate of #149
perhaps optionally, otherwise it's too much numbers.
tables should be sort-able by answer size as well, see #113
Is size available from starexec? Else, postprocessor can compute it.