PT vs COL scores
2 posters
Forum for the Model Checking Contest :: MCC'2017 (archives) :: Questions about the tool submission Kit
Page 1 of 1
PT vs COL scores
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?
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
Re: PT vs COL scores
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.
Forum for the Model Checking Contest :: MCC'2017 (archives) :: Questions about the tool submission Kit
Page 1 of 1
Permissions in this forum:
You cannot reply to topics in this forum
|
|