selected model instances for MCC'17
Forum for the Model Checking Contest :: MCC'2017 (archives) :: Questions about the tool submission Kit
Page 1 of 1
selected model instances for MCC'17
by crohr Thu 27 Apr - 13:53
We have an issue with the selected instances of this year's MCC.
The totally valid statement for the reduction of the instances is, to remove those instances of a model, where all/most of the tools agree on the results, in order to reduce the overall run-time of the MCC.
But there has been removed one instance of the GPPP model (GPPP-PT-C0010N1000000000), where that statement is not correct and which is of special interest at all, because it is the only instance in the MCC that has an initial number of tokens greater than 2^31.
We think this instance should be kept in the MCC.
kind regards,
Christian
PS: I want to stress the fact that we were outvoted in that instance for the number of state transitions and got a penalty, even though that we computed the correct results and the other two were wrong.
The totally valid statement for the reduction of the instances is, to remove those instances of a model, where all/most of the tools agree on the results, in order to reduce the overall run-time of the MCC.
But there has been removed one instance of the GPPP model (GPPP-PT-C0010N1000000000), where that statement is not correct and which is of special interest at all, because it is the only instance in the MCC that has an initial number of tokens greater than 2^31.
We think this instance should be kept in the MCC.
kind regards,
Christian
PS: I want to stress the fact that we were outvoted in that instance for the number of state transitions and got a penalty, even though that we computed the correct results and the other two were wrong.
crohr- Posts : 3
Join date : 2017-02-07
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|
|
|