Less data used - Githubissues

cui-unige / mcc4mcc

Model Checker Collection for the Model Checking Contest @ Petri nets

https://cui-unige.github.io/mcc4mcc/

MIT License

4 stars 0 forks source link

Less data used #37

Closed petitgrizzlies closed 6 years ago

petitgrizzlies commented 6 years ago

@saucisson I have noticed there are less datas than before. INFO: Select 9366 best entries. And before it was : INFO: Select 10261 best entries.

Is it normal ?

saucisson commented 6 years ago

Yes, because of 22f1e4009b8e30ee3626239ada4630514bc50865. I have renamed tools that were duplicated, for instance: tapaalSEQ, tapaalEXP, tapaalPAR into only one, tapaal. Thus, the removal of duplicates removes more data.

petitgrizzlies commented 6 years ago

Ok, thanks for the answer. I close the issue.