| Tool | answer_total | answer_ReachabilityCardinality | answer_ReachabilityFireability |
|---|---|---|---|
| Ideal Tool | 30304 | 15152 | 15152 |
| BVT | 28551 | 14503 | 14048 |
| Tapaal | 27662 | 14186 | 13476 |
| LoLA | 25998 | 13588 | 12410 |
| ITS-Tools | 19915 | 10019 | 9896 |
| ITS-Tools.L | 19356 | 9868 | 9488 |
| Irma.full | 13599 | 7110 | 6489 |
| Irma.struct | 13579 | 7147 | 6432 |
| LTSMin | 13148 | 6423 | 6725 |
| M4M.struct | 12808 | 6761 | 6047 |
| M4M.full | 12244 | 6062 | 6182 |
| GreatSPN | 9969 | 4896 | 5073 |