Forum for the Model Checking Contest
Would you like to react to this message? Create an account in a few clicks or log in to continue.

PT vs COL scores

2 posters

Go down

PT vs COL scores Empty PT vs COL scores

Post by meijuh Fri 14 Apr - 17:14

Are scores (such as in the statespace category) summed over both ordinary PT nets as well as COLored nets? Or is the highest score taken?
Am I at a disadvantage if I do not unfold colored nets?
Will the scoring be the same as last year?

meijuh

Posts : 3
Join date : 2017-01-09

Back to top Go down

PT vs COL scores Empty Re: PT vs COL scores

Post by Admin Sun 16 Apr - 19:21

This is an addition. In past years, this was not much a disadvantage considering the number of colored Petri Nets. The scoring is presented in the updated rules (see the rule section in the current web site). Basically, more or less he same but the bonuses were lowered after some remarks from last year.

Admin
Admin

Posts : 25
Join date : 2016-11-26

https://mc-contest.forumactif.com

Back to top Go down

Back to top


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