Model Checking Contest @ Petri Nets 2014
Tunis, Tunisia, June 24, 2014
Winners for the StateSpace Category
Last Updated
Sept. 1, 2014


This page shows the results for the StateSpace examination.

There are two charts. The left one shows the actual points gained by tools. It corresponds to results that were confirmed by a majority of the participating tools. The right one corresponds to honor points gained by tools. It corresponds to situations where only one tool could provide a result (it was thus not confirmed by any other one). Honor points are not used to rank tools since we cannot ensure that results are corrects.

Red color is for Colored nets (rose for honor points) and blue is for P/T nets (light blue for honor points).

The Results

Winners are summarized in the table an charts below. We are glad to state that:

Results for all tools are shown below

winner chart winner chart

The table below shows numeric data corresponding to the charts.

Detail of scores for StateSpace
  greatspn helena marcie pnmc pnxdd stratagem tapaal
Total 1167 35 3845 3557 1516 756 1555
Points for
P/T nets
1132 0 3845 3557 1516 756 1555
Points for
Colored nets
35 35 0 0 0 0 0
Honors for
P/T nets
896 0 90 360 28 0 0
Honors for
Colored nets
28 528 0 0 0 0 0