Order of the results in the raw-result-analysis.csv of MCC2016.

View previous topic View next topic Go down

Order of the results in the raw-result-analysis.csv of MCC2016.

Post by amparore on Tue 11 Apr - 10:54

Dear Fabrice, dear organizers of the MCC,
I suspect that the order of the results in the raw-result-analysis.csv file (the large file with all the processed informations) of the 2016 edition has the CTL formula results in (apparently) alphabetic order, i.e. the formulas appear in order 0, 1, 10, 11, 12, 13, 14, 15, 2, 3, 4, 5, 6, 7, 8, 9.

Anyone can confirm this?

Regards
--Elvio

amparore

Posts : 4
Join date : 2016-11-30

View user profile

Back to top Go down

Re: Order of the results in the raw-result-analysis.csv of MCC2016.

Post by meijuh on Tue 11 Apr - 11:18

Hi Elvio,

I am not an organizer or anything, but your suspicion is correct. And to me this was also highly confusing.
I would also very much like to see a alphanumeric sort this year (sort -V).

meijuh

Posts : 3
Join date : 2017-01-09

View user profile

Back to top Go down

Re: Order of the results in the raw-result-analysis.csv of MCC2016.

Post by Admin on Wed 12 Apr - 17:23

Dear all,

In 2015, we had a problem with the order of formulas and this was sorted out in the results by providing the name of the formula you solve. Then, this name is sorted and the vector respects this order. This is to avoid any confusion (some tool where loading the formulas, doing themselves the sorting and we got some bad surprise).

Now, you can provide formulas in any order and it will be sorted lexicographically after their name. So the order you suggest is in fact the real one as meijuh answered.

Sorry for the delay but I am ins vacation with a time to time internet connection.

Fabrice

Admin
Admin

Posts : 24
Join date : 2016-11-26

View user profile http://mc-contest.forumactif.com

Back to top Go down

Re: Order of the results in the raw-result-analysis.csv of MCC2016.

Post by Sponsored content


Sponsored content


Back to top Go down

View previous topic View next topic Back to top

- Similar topics

 
Permissions in this forum:
You cannot reply to topics in this forum