Introduction

This page shows the results for the Reachability 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:

• Lola is 1st in this category with 29650 points (it also has 2481 honor points),
• Tapaal is 2nd in this category with 26925 points (it also has 715 honor points),
• GreatSPN is 3rd in this category with 7973 points (it also has 2520 honor points).

Results for all tools are shown below

The table below shows numeric data corresponding to the charts.