fond
Model Checking Contest @ Petri Nets 2015
Bruxelles, Belgium, June 23, 2015
Results for StateSpace
Last Updated
August 19, 2015

Introduction

Please find here the computed results for the StateSpace examination. The table is organized as follows:

The information for a model instance is summarized in a «line» where:

The structure of a table cell is always the same. In black, you have the output provided by the tool followed by the interpretation mask stating if the tool did computed something corresponding to the expected values (T means that it is the expected result, ? means that no tool computed the corresponding value and X means that the value is not the expected one). Then, three consistency flags are displayed : V means that at least one value was wrong (i.e. at least one X in the result mask), C means that the tool was not consistent between the colored Petri net and the P/T equivalent one, S means that the tool is not consistent between the result of the «Stripped» model and of the corresponding «Known» one. This part is displayed in green when some points was considered, in orange when it was not possible («unsafe» values estimated for example) and red when the result is discarded due to an error.

Then a second group of flags outline the fastest tool (P) and the tool having the smallest memory footprint (M). These tools get a +2 bonus that is always considered for green and orange results. These two flags are followed by the score (without bonus) and a link to the execution report containing: a summary of results, a chart reporting memory and CPU evolution over the execution, a full execution log and the commands applied to the tool for this run.

You will note that DNC means «Do Not Compete» and CC means «Cannot Compute». Results are labelled CC only when no output was produced for this execution and the tool reported a problem. DNF (Did Not Finished) is displayed when no output was produced within the 1 hour time confinement.

The Results

They are displayed in the table below, together with scores (total, sum per category of model and sum per model).

Summary of Results for StateSpace
  GreatSPN-Meddly ITS-Tools LTSMin Marcie pnmc PNXDD TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ) StrataGEM0.5.0
Total Points 6434 10696 7806 14714 12554 562 5966 6132 3650 3872 5600

All «Surprise» models
 
  GreatSPN-Meddly ITS-Tools LTSMin Marcie pnmc PNXDD TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ) StrataGEM0.5.0
Total Points 1704 1984 2192 3736 3424 0 2408 2400 1240 1408 1488
BridgeAndVehicles — Colored
  GreatSPN-Meddly ITS-Tools LTSMin Marcie pnmc PNXDD TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ) StrataGEM0.5.0
Total 0 96 0 480 0 0 0 0 0 0 0
Bonuses 0 96 0 96 0 0 0 0 0 0 0
Scores 0 0 0 384 0 0 0 0 0 0 0
V04P05N02

(2874) ? ? ? (expected value)

0.64 0 0 0 (confidence rate)

CC

0
2874 ? ? ?
????
---:PM / 0
CC

0
864 2288 5 17
X???
VC-:-- / -
DNC DNC DNC DNC DNC DNC DNC
V10P10N10

(259556) ? ? ? (expected value)

0.64 0 0 0 (confidence rate)

CC

0
259556 ? ? ?
????
---:PM / 0
CC

0
61184 189533 10 34
X???
VC-:-- / -
DNC DNC DNC DNC DNC DNC DNC
V20P10N10

(6732570) ? ? ? (expected value)

0.64 0 0 0 (confidence rate)

CC

0
6732570 ? ? ?
????
---:PM / 0
CC

0
521764 1752048 20 54
X???
VC-:-- / -
DNC DNC DNC DNC DNC DNC DNC
V20P10N20

(9076326) ? ? ? (expected value)

0.64 0 0 0 (confidence rate)

CC

0
9076326 ? ? ?
????
---:PM / 0
CC

0
1131034 3767703 20 54
X???
VC-:-- / -
DNC DNC DNC DNC DNC DNC DNC
V20P10N50

? ? ? ? (expected value)

0 0 0 0 (confidence rate)

CC

0
CC

0
CC

0
1133562 3774828 20 54
????
-C-:-- / -
DNC DNC DNC DNC DNC DNC DNC
V20P20N10

(6732570) ? ? ? (expected value)

0.64 0 0 0 (confidence rate)

CC

0
6732570 ? ? ?
????
---:PM / 0
CC

0
521764 1752048 20 64
X???
VC-:-- / -
DNC DNC DNC DNC DNC DNC DNC
V20P20N20

(9783606) ? ? ? (expected value)

0.64 0 0 0 (confidence rate)

CC

0
9783606 ? ? ?
????
---:PM / 0
CC

0
1290214 4314313 20 64
X???
VC-:-- / -
DNC DNC DNC DNC DNC DNC DNC
V20P20N50

? ? ? ? (expected value)

0 0 0 0 (confidence rate)

CC

0
CC

0
CC

0
1295042 4328128 20 64
????
-C-:-- / -
DNC DNC DNC DNC DNC DNC DNC
V50P20N10

4584304 15789618 50 124 (expected value)

0.92 0.92 0.92 0.92 (confidence rate)

CC

0
CC

0
CC

0
4584304 15789618 50 124
TTTT
---:PM / 64
DNC DNC DNC DNC DNC DNC DNC
V50P20N20

22992154 80857683 50 124 (expected value)

0.92 0.92 0.92 0.92 (confidence rate)

CC

0
CC

0
CC

0
22992154 80857683 50 124
TTTT
---:PM / 64
DNC DNC DNC DNC DNC DNC DNC
V50P20N50

? (expected value)

0 (confidence rate)

CC

0
CC

0
CC

0
DNF

0
DNC DNC DNC DNC DNC DNC DNC
V50P50N10

4584304 15789618 50 154 (expected value)

0.92 0.92 0.92 0.92 (confidence rate)

CC

0
CC

0
CC

0
4584304 15789618 50 154
TTTT
---:PM / 64
DNC DNC DNC DNC DNC DNC DNC
V50P50N20

22992154 80857683 50 154 (expected value)

0.92 0.92 0.92 0.92 (confidence rate)

CC

0
CC

0
CC

0
22992154 80857683 50 154
TTTT
---:PM / 64
DNC DNC DNC DNC DNC DNC DNC
V50P50N50

? (expected value)

0 (confidence rate)

CC

0
CC

0
CC

0
DNF

0
DNC DNC DNC DNC DNC DNC DNC
V80P20N10

12668044 43850988 80 184 (expected value)

0.92 0.92 0.92 0.92 (confidence rate)

CC

0
CC

0
CC

0
12668044 43850988 80 184
TTTT
---:PM / 64
DNC DNC DNC DNC DNC DNC DNC
V80P20N20

? (expected value)

0 (confidence rate)

CC

0
CC

0
CC

0
DNF

0
DNC DNC DNC DNC DNC DNC DNC
V80P20N50

? (expected value)

0 (confidence rate)

CC

0
CC

0
CC

0
DNF

0
DNC DNC DNC DNC DNC DNC DNC
V80P50N10

12668044 43850988 80 214 (expected value)

0.92 0.92 0.92 0.92 (confidence rate)

CC

0
CC

0
CC

0
12668044 43850988 80 214
TTTT
---:PM / 64
DNC DNC DNC DNC DNC DNC DNC
V80P50N20

? (expected value)

0 (confidence rate)

CC

0
CC

0
CC

0
DNF

0
DNC DNC DNC DNC DNC DNC DNC
V80P50N50

? (expected value)

0 (confidence rate)

CC

0
CC

0
CC

0
DNF

0
DNC DNC DNC DNC DNC DNC DNC
BridgeAndVehicles — P/T
  GreatSPN-Meddly ITS-Tools LTSMin Marcie pnmc PNXDD TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ) StrataGEM0.5.0
Total 304 80 0 0 640 0 448 528 80 80 80
Bonuses 64 0 0 0 80 0 0 80 0 0 0
Scores 240 80 0 0 560 0 448 448 80 80 80
V04P05N02

2874 ? 5 17 (expected value)

5.18 0 2.79 1.99 (confidence rate)

2874 ? ? ?
T?--
---:-- / 40
2874 ? ? ?
T?--
---:-- / 40
10658 ? 5 ?
X?T-
V--:-- / -
2874 7160 5 17
T?TT
-C-:-- / -
2874 ? 5 17
T?TT
---:-- / 56
CC

0
2874 ? 5 17
T?TT
---:-- / 56
2874 ? 5 17
T?TT
---:PM / 56
2874 ? ? ?
T?--
---:-- / 40
2874 ? ? ?
T?--
---:-- / 40
2874 ? ? ?
T?--
---:-- / 40
V10P10N10

259556 ? 10 34 (expected value)

5.18 0 2.79 1.99 (confidence rate)

259556 ? ? ?
T?--
---:-- / 40
259556 ? ? ?
T?--
---:-- / 40
1770956 ? 10 ?
X?T-
V--:-- / -
259556 821282 10 34
T?TT
-C-:-- / -
259556 ? 10 34
T?TT
---:-- / 56
CC

0
259556 ? 10 34
T?TT
---:-- / 56
259556 ? 10 34
T?TT
---:PM / 56
259556 ? ? ?
T?--
---:-- / 40
259556 ? ? ?
T?--
---:-- / 40
259556 ? ? ?
T?--
---:-- / 40
V20P10N10

6732570 ? 20 54 (expected value)

2.62 0 2.79 1.99 (confidence rate)

6732570 ? ? ?
T?--
---:-- / 40
CC

0
58718346 ? 20 ?
X?T-
V--:-- / -
6732570 23489216 20 54
T?TT
-C-:-- / -
6732570 ? 20 54
T?TT
---:P- / 56
CC

0
6732570 ? 20 54
T?TT
---:-- / 56
6732570 ? 20 54
T?TT
---:-M / 56
DNF

0
DNF

0
DNF

0
V20P10N20

9076326 ? 20 54 (expected value)

1.99 0 1.99 1.99 (confidence rate)

9076330 ? ? ?
X?--
V--:-- / -
CC

0
DNF

0
9076326 31773042 20 54
T?TT
-C-:-- / -
9076326 ? 20 54
T?TT
---:PM / 56
CC

0
9076326 ? 20 54
T?TT
---:-- / 56
9076326 ? 20 54
T?TT
---:-- / 56
DNF

0
DNF

0
DNF

0
V20P10N50

9080862 ? 20 54 (expected value)

1.00 0 1.00 1.00 (confidence rate)

9080860 ? ? ?
X?--
V--:-- / -
CC

0
DNF

0
9080862 31785878 20 54
T?TT
-C-:-- / -
DNF

0
CC

0
9080862 ? 20 54
T?TT
---:-- / 56
9080862 ? 20 54
T?TT
---:PM / 56
DNF

0
DNF

0
DNF

0
V20P20N10

6732570 ? 20 64 (expected value)

2.62 0 2.79 1.99 (confidence rate)

6732570 ? ? ?
T?--
---:-- / 40
CC

0
1.0506E+0008 ? 20 ?
X?T-
V--:-- / -
6732570 23489216 20 64
T?TT
-C-:-- / -
6732570 ? 20 64
T?TT
---:P- / 56
CC

0
6732570 ? 20 64
T?TT
---:-- / 56
6732570 ? 20 64
T?TT
---:-M / 56
DNF

0
DNF

0
DNF

0
V20P20N20

9783606 ? 20 64 (expected value)

1.99 0 1.99 1.99 (confidence rate)

9783610 ? ? ?
X?--
V--:-- / -
CC

0
DNF

0
9783606 34320762 20 64
T?TT
-C-:-- / -
9783606 ? 20 64
T?TT
---:PM / 56
CC

0
9783606 ? 20 64
T?TT
---:-- / 56
9783606 ? 20 64
T?TT
---:-- / 56
DNF

0
DNF

0
DNF

0
V20P20N50

9792342 ? 20 64 (expected value)

1.00 0 1.00 1.00 (confidence rate)

9792340 ? ? ?
X?--
V--:-- / -
CC

0
DNF

0
9792342 34345798 20 64
T?TT
-C-:-- / -
DNF

0
CC

0
9792342 ? 20 64
T?TT
---:-- / 56
9792342 ? 20 64
T?TT
---:PM / 56
DNF

0
DNF

0
DNF

0
V50P20N10

3.4763E+0008 ? 50 124 (expected value)

0.99 0 0.99 0.99 (confidence rate)

DNF

0
CC

0
DNF

0
DNF

0
3.4763E+0008 ? 50 124
T?TT
---:PM / 56
CC

0
CC

0
CC

0
DNF

0
DNF

0
DNF

0
V50P20N20

8.9629E+0008 ? 50 124 (expected value)

1.62 0 0.99 0.99 (confidence rate)

8.9629E+0008 ? ? ?
T?--
---:PM / 40
CC

0
DNF

0
DNF

0
8.9629E+0008 ? 50 124
T?TT
---:-- / 56
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
V50P20N50

(1.4546E+0009) ? ? ? (expected value)

0.63 0 0 0 (confidence rate)

1.4546E+0009 ? ? ?
????
---:PM / 0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
V50P50N10

3.4763E+0008 ? 50 154 (expected value)

0.99 0 0.99 0.99 (confidence rate)

DNF

0
CC

0
DNF

0
DNF

0
3.4763E+0008 ? 50 154
T?TT
---:PM / 56
CC

0
CC

0
CC

0
DNF

0
DNF

0
DNF

0
V50P50N20

8.9629E+0008 ? 50 154 (expected value)

1.62 0 0.99 0.99 (confidence rate)

8.9629E+0008 ? ? ?
T?--
---:PM / 40
CC

0
DNF

0
DNF

0
8.9629E+0008 ? 50 154
T?TT
---:-- / 56
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
V50P50N50

(1.6769E+0009) ? ? ? (expected value)

0.63 0 0 0 (confidence rate)

1.6769E+0009 ? ? ?
????
---:PM / 0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
V80P20N10

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
V80P20N20

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
V80P20N50

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
V80P50N10

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
V80P50N20

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
V80P50N50

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
HypercubeGrid — P/T
  GreatSPN-Meddly ITS-Tools LTSMin Marcie pnmc PNXDD TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ) StrataGEM0.5.0
Total 16 0 0 0 0 0 0 0 0 16 0
Bonuses 16 0 0 0 0 0 0 0 0 16 0
Scores 0 0 0 0 0 0 0 0 0 0 0
C3K4P4B12

(1760) ? ? ? (expected value)

0.48 0 0 0 (confidence rate)

DNF

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
1760 ? ? ?
????
---:PM / 0
DNF

0
C4K3P3B12

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
C5K3P3B15

(1) ? ? ? (expected value)

0.63 0 0 0 (confidence rate)

1 ? ? ?
????
---:PM / 0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
CC

0
CC

0
DNF

0
DNF

0
DNF

0
IBM319 — P/T
  GreatSPN-Meddly ITS-Tools LTSMin Marcie pnmc PNXDD TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ) StrataGEM0.5.0
Total 40 0 48 64 56 0 64 64 0 40 40
Bonuses 0 0 0 0 0 0 8 8 0 0 0
Scores 40 0 48 64 56 0 56 56 0 40 40
none

2482 6705 1 7 (expected value)

5.81 0.92 3.71 2.92 (confidence rate)

2482 ? ? ?
T---
---:-- / 40
CC

0
2482 ? 1 ?
T-T-
---:-- / 48
2482 6705 1 7
TTTT
---:-- / 64
2482 ? 1 7
T-TT
---:-- / 56
CC

0
2482 ? 1 7
T-TT
---:P- / 56
2482 ? 1 7
T-TT
---:-M / 56
DNF

0
2482 ? ? ?
T---
---:-- / 40
2482 ? ? ?
T---
---:-- / 40
IBM5964 — P/T
  GreatSPN-Meddly ITS-Tools LTSMin Marcie pnmc PNXDD TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ) StrataGEM0.5.0
Total 0 0 48 64 56 0 64 64 0 40 40
Bonuses 0 0 0 0 0 0 8 8 0 0 0
Scores 0 0 48 64 56 0 56 56 0 40 40
none

15546 59846 5 17 (expected value)

5.20 0.92 3.71 2.92 (confidence rate)

15474 ? ? ?
X---
V--:-- / -
CC

0
15546 ? 5 ?
T-T-
---:-- / 48
15546 59846 5 17
TTTT
---:-- / 64
15546 ? 5 17
T-TT
---:-- / 56
CC

0
15546 ? 5 17
T-TT
---:P- / 56
15546 ? 5 17
T-TT
---:-M / 56
DNF

0
15546 ? ? ?
T---
---:-- / 40
15546 ? ? ?
T---
---:-- / 40
IBM703 — P/T
  GreatSPN-Meddly ITS-Tools LTSMin Marcie pnmc PNXDD TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ) StrataGEM0.5.0
Total 48 0 48 64 56 0 56 64 0 40 40
Bonuses 8 0 0 0 0 0 0 8 0 0 0
Scores 40 0 48 64 56 0 56 56 0 40 40
none

8370 20499 1 3 (expected value)

5.81 0.92 3.71 2.92 (confidence rate)

8370 ? ? ?
T---
---:-M / 40
CC

0
8370 ? 1 ?
T-T-
---:-- / 48
8370 20499 1 3
TTTT
---:-- / 64
8370 ? 1 3
T-TT
---:-- / 56
CC

0
8370 ? 1 3
T-TT
---:-- / 56
8370 ? 1 3
T-TT
---:P- / 56
DNF

0
8370 ? ? ?
T---
---:-- / 40
8370 ? ? ?
T---
---:-- / 40
IOTPpurchase — P/T
  GreatSPN-Meddly ITS-Tools LTSMin Marcie pnmc PNXDD TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ) StrataGEM0.5.0
Total 88 0 192 272 184 0 120 120 80 80 128
Bonuses 8 0 0 16 16 0 8 8 0 0 8
Scores 80 0 192 256 168 0 112 112 80 80 120
C01M01P01D01

204 436 1 22 (expected value)

6.26 0.92 3.71 2.92 (confidence rate)

204 ? ? ?
T---
---:-- / 40
CC

0
204 ? 1 ?
T-T-
---:-- / 48
204 436 1 22
TTTT
---:-- / 64
204 ? 1 22
T-TT
---:-- / 56
CC

0
204 ? 1 22
T-TT
---:P- / 56
204 ? 1 22
T-TT
---:-M / 56
204 ? ? ?
T---
---:-- / 40
204 ? ? ?
T---
---:-- / 40
204 ? ? ?
T---
---:-- / 40
C03M03P03D03

354176 1684054 3 40 (expected value)

6.26 0.92 3.71 2.92 (confidence rate)

354176 ? ? ?
T---
---:-M / 40
CC

0
354176 ? 3 ?
T-T-
---:-- / 48
354176 1684054 3 40
TTTT
---:-- / 64
354176 ? 3 40
T-TT
---:P- / 56
CC

0
354176 ? 3 40
T-TT
---:-- / 56
354176 ? 3 40
T-TT
---:-- / 56
354176 ? ? ?
T---
---:-- / 40
354176 ? ? ?
T---
---:-- / 40
354176 ? ? ?
T---
---:-- / 40
C05M04P03D02

17406024 1.0842E+0008 5 51 (expected value)

3.71 0.92 2.71 1.92 (confidence rate)

1 ? ? ?
X---
V--:-- / -
CC

0
17406024 ? 5 ?
T-T-
---:-- / 48
17406024 1.0842E+0008 5 51
TTTT
---:-- / 64
17406024 ? 5 51
T-TT
---:P- / 56
CC

0
DNF

0
DNF

0
DNF

0
4011678 ? ? ?
X---
V--:-- / -
17406024 ? ? ?
T---
---:-M / 40
C12M10P15D17

9.2677E+0013 1.0921E+0015 17 125 (expected value)

1.72 0.92 1.72 0.92 (confidence rate)

1 ? ? ?
X---
V--:-- / -
CC

0
9.2677E+0013 ? 17 ?
T-T-
---:-- / 48
9.2677E+0013 1.0921E+0015 17 125
TTTT
---:PM / 64
DNF

0
CC

0
CC

0
CC

0
16777200 ? ? ?
X---
V--:-- / -
3668926 ? ? ?
X---
V--:-- / -
DNF

0
Parking — P/T
  GreatSPN-Meddly ITS-Tools LTSMin Marcie pnmc PNXDD TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ) StrataGEM0.5.0
Total 272 216 232 256 200 0 56 64 40 40 40
Bonuses 72 16 0 0 0 0 0 8 0 0 0
Scores 200 200 232 256 200 0 56 56 40 40 40
104

31745 339201 1 15 (expected value)

6.90 0.92 2.71 1.92 (confidence rate)

31745 ? ? ?
T---
---:P- / 40
31745 ? ? ?
T---
---:-- / 40
31745 ? 1 ?
T-T-
---:-- / 48
31745 339201 1 15
TTTT
---:-- / 64
31745 ? ? ?
T---
---:-- / 40
CC

0
31745 ? 1 15
T-TT
---:-- / 56
31745 ? 1 15
T-TT
---:-M / 56
31745 ? ? ?
T---
---:-- / 40
31745 ? ? ?
T---
---:-- / 40
31745 ? ? ?
T---
---:-- / 40
208

4.5676E+0009 1.0637E+0011 1 32 (expected value)

3.98 0.92 1.72 0.92 (confidence rate)

4.5676E+0009 ? ? ?
T---
---:PM / 40
4.5676E+0009 ? ? ?
T---
---:-- / 40
4.5676E+0009 ? 1 ?
T-T-
---:-- / 48
4.5676E+0009 1.0637E+0011 1 32
TTTT
---:-- / 64
4.5676E+0009 ? ? ?
T---
---:-- / 40
CC

0
DNF

0
DNF

0
DNF

0
1506393 ? ? ?
X---
V--:-- / -
DNF

0
416

8.4405E+0021 4.5829E+0023 1 72 (expected value)

3.98 0.92 1.72 0.92 (confidence rate)

8.4405E+0021 ? ? ?
T---
---:PM / 40
8.4405E+0021 ? ? ?
T---
---:-- / 40
8.4405E+0021 ? 1 ?
T-T-
---:-- / 48
8.4405E+0021 4.5829E+0023 1 72
TTTT
---:-- / 64
8.4405E+0021 ? ? ?
T---
---:-- / 40
CC

0
DNF

0
DNF

0
DNF

0
102526 ? ? ?
X---
V--:-- / -
DNF

0
432

3.6702E+0032 3.1753E+0034 1 120 (expected value)

2.36 0.92 1.72 0.92 (confidence rate)

3.6703E+0032 ? ? ?
X---
V--:-- / -
3.6702E+0032 ? ? ?
T---
---:PM / 40
3.6702E+0032 ? 1 ?
T-T-
---:-- / 48
3.6702E+0032 3.1753E+0034 1 120
TTTT
---:-- / 64
3.6703E+0032 ? ? ?
X---
V--:-- / -
CC

0
DNF

0
DNF

0
DNF

0
22601 ? ? ?
X---
V--:-- / -
DNF

0
832

1.4648E+0054 ? (1) ? (expected value)

3.05 0 0.79 0 (confidence rate)

1.4648E+0054 ? ? ?
T?-?
---:PM / 40
1.4648E+0054 ? ? ?
T?-?
---:-- / 40
1.4648E+0054 ? 1 ?
T???
---:-- / 40
DNF

0
1.4648E+0054 ? ? ?
T?-?
---:-- / 40
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
864

1.4449E+0075 ? (1) ? (expected value)

1.62 0 0.79 0 (confidence rate)

1.4449E+0075 ? ? ?
T?-?
---:PM / 40
1.4450E+0075 ? ? ?
X?-?
V--:-- / -
1.4450E+0075 ? 1 ?
X???
V--:-- / -
DNF

0
1.4449E+0075 ? ? ?
T?-?
---:-- / 40
CC

0
DNF

0
DNF

0
DNF

0
2708 ? ? ?
X?-?
V--:-- / -
DNF

0
PhaseVariation — P/T
  GreatSPN-Meddly ITS-Tools LTSMin Marcie pnmc PNXDD TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ) StrataGEM0.5.0
Total 96 144 0 192 176 0 64 64 40 40 40
Bonuses 16 24 0 0 8 0 8 8 0 0 0
Scores 80 120 0 192 168 0 56 56 40 40 40
D02CS010

7716 137156 12 25 (expected value)

6.11 0.92 3.71 2.92 (confidence rate)

7716 ? ? ?
T---
---:-- / 40
7716 ? ? ?
T---
---:-- / 40
98254 ? 12 ?
X-T-
V--:-- / -
7716 137156 12 25
TTTT
---:-- / 64
7716 ? 12 25
T-TT
---:-- / 56
CC

0
7716 ? 12 25
T-TT
---:P- / 56
7716 ? 12 25
T-TT
---:-M / 56
7716 ? ? ?
T---
---:-- / 40
7716 ? ? ?
T---
---:-- / 40
7716 ? ? ?
T---
---:-- / 40
D02CS100

1.8989E+0010 1.0545E+0012 104 209 (expected value)

3.19 0.92 2.71 1.92 (confidence rate)

1.8989E+0010 ? ? ?
T---
---:PM / 40
1.8989E+0010 ? ? ?
T---
---:-- / 40
3.1288E+0014 ? 104 ?
X-T-
V--:-- / -
1.8989E+0010 1.0545E+0012 104 209
TTTT
---:-- / 64
1.8989E+0010 ? 104 209
T-TT
---:-- / 56
CC

0
CC

0
CC

0
DNF

0
DNF

0
DNF

0
D05CS010

4.7639E+0011 1.4767E+0013 25 51 (expected value)

2.56 0.92 2.71 1.92 (confidence rate)

5.6294E+0014 ? ? ?
X---
V--:-- / -
4.7639E+0011 ? ? ?
T---
---:-M / 40
4.7643E+0011 ? 25 ?
X-T-
V--:-- / -
4.7639E+0011 1.4767E+0013 25 51
TTTT
---:-- / 64
4.7639E+0011 ? 25 51
T-TT
---:P- / 56
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
D05CS100

(8.2190E+0032) ? ? ? (expected value)

0.64 0 0 0 (confidence rate)

DNF

0
8.2190E+0032 ? ? ?
????
---:PM / 0
DNF

0
DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
D10CS010

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
D10CS100

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
D20CS010

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
D20CS100

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
D30CS010

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
D30CS100

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
Raft — P/T
  GreatSPN-Meddly ITS-Tools LTSMin Marcie pnmc PNXDD TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ) StrataGEM0.5.0
Total 144 304 432 448 344 0 64 64 40 40 240
Bonuses 24 24 16 0 64 0 8 8 0 0 0
Scores 120 280 416 448 280 0 56 56 40 40 240
02

7381 55824 1 6 (expected value)

6.90 0.92 2.71 1.92 (confidence rate)

7381 ? ? ?
T---
---:-- / 40
7381 ? ? ?
T---
---:-- / 40
7381 ? 1 ?
T-T-
---:-- / 48
7381 55824 1 6
TTTT
---:-- / 64
7381 ? ? ?
T---
---:-- / 40
CC

0
7381 ? 1 6
T-TT
---:P- / 56
7381 ? 1 6
T-TT
---:-M / 56
7381 ? ? ?
T---
---:-- / 40
7381 ? ? ?
T---
---:-- / 40
7381 ? ? ?
T---
---:-- / 40
03

33819621 3.5057E+0008 1 11 (expected value)

3.36 0.92 1.72 0.92 (confidence rate)

33819600 ? ? ?
X---
V--:-- / -
33819621 ? ? ?
T---
---:-M / 40
33819621 ? 1 ?
T-T-
---:P- / 48
33819621 3.5057E+0008 1 11
TTTT
---:-- / 64
33819600 ? ? ?
X---
V--:-- / -
CC

0
DNF

0
DNF

0
DNF

0
5390349 ? ? ?
X---
V--:-- / -
33819621 ? ? ?
T---
---:-- / 40
04

2.9659E+0012 4.1776E+0013 1 18 (expected value)

4.98 0.92 1.72 0.92 (confidence rate)

2.9659E+0012 ? ? ?
T---
---:-M / 40
2.9659E+0012 ? ? ?
T---
---:-- / 40
2.9659E+0012 ? 1 ?
T-T-
---:-- / 48
2.9659E+0012 4.1776E+0013 1 18
TTTT
---:-- / 64
2.9659E+0012 ? ? ?
T---
---:P- / 40
CC

0
DNF

0
DNF

0
DNF

0
1334385 ? ? ?
X---
V--:-- / -
2.9659E+0012 ? ? ?
T---
---:-- / 40
05

5.9379E+0018 1.1095E+0020 1 27 (expected value)

3.36 0.92 1.72 0.92 (confidence rate)

5.9380E+0018 ? ? ?
X---
V--:-- / -
5.9379E+0018 ? ? ?
T---
---:-M / 40
5.9379E+0018 ? 1 ?
T-T-
---:P- / 48
5.9379E+0018 1.1095E+0020 1 27
TTTT
---:-- / 64
5.9380E+0018 ? ? ?
X---
V--:-- / -
CC

0
DNF

0
DNF

0
DNF

0
179499 ? ? ?
X---
V--:-- / -
5.9379E+0018 ? ? ?
T---
---:-- / 40
06

2.9094E+0026 6.9926E+0027 1 38 (expected value)

4.98 0.92 1.72 0.92 (confidence rate)

2.9094E+0026 ? ? ?
T---
---:PM / 40
2.9094E+0026 ? ? ?
T---
---:-- / 40
2.9094E+0026 ? 1 ?
T-T-
---:-- / 48
2.9094E+0026 6.9926E+0027 1 38
TTTT
---:-- / 64
2.9094E+0026 ? ? ?
T---
---:-- / 40
CC

0
DNF

0
DNF

0
DNF

0
97798 ? ? ?
X---
V--:-- / -
2.9094E+0026 ? ? ?
T---
---:-- / 40
07

3.5527E+0035 1.0676E+0037 1 51 (expected value)

4.35 0.92 1.72 0.92 (confidence rate)

DNF

0
3.5527E+0035 ? ? ?
T---
---:-M / 40
3.5527E+0035 ? 1 ?
T-T-
---:-- / 48
3.5527E+0035 1.0676E+0037 1 51
TTTT
---:-- / 64
3.5527E+0035 ? ? ?
T---
---:P- / 40
CC

0
DNF

0
DNF

0
DNF

0
29272 ? ? ?
X---
V--:-- / -
3.5527E+0035 ? ? ?
T---
---:-- / 40
08

1.0842E+0046 3.9801E+0047 1 66 (expected value)

3.35 0.92 1.72 0.92 (confidence rate)

DNF

0
1.0842E+0046 ? ? ?
T---
---:-- / 40
1.0842E+0046 ? 1 ?
T-T-
---:-- / 48
1.0842E+0046 3.9801E+0047 1 66
TTTT
---:-- / 64
1.0842E+0046 ? ? ?
T---
---:PM / 40
CC

0
DNF

0
DNF

0
DNF

0
26894 ? ? ?
X---
V--:-- / -
DNF

0
09

8.2718E+0057 ? (1) ? (expected value)

1.79 0 0.79 0 (confidence rate)

DNF

0
CC

0
8.2718E+0057 ? 1 ?
T???
---:-- / 40
DNF

0
8.2718E+0057 ? ? ?
T?-?
---:PM / 40
CC

0
DNF

0
DNF

0
DNF

0
4849 ? ? ?
X?-?
V--:-- / -
DNF

0
10

1.5777E+0071 ? (1) ? (expected value)

1.79 0 0.79 0 (confidence rate)

DNF

0
CC

0
1.5777E+0071 ? 1 ?
T???
---:-- / 40
DNF

0
1.5777E+0071 ? ? ?
T?-?
---:PM / 40
CC

0
DNF

0
DNF

0
DNF

0
3887 ? ? ?
X?-?
V--:-- / -
DNF

0
SafeBus — Colored
  GreatSPN-Meddly ITS-Tools LTSMin Marcie pnmc PNXDD TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ) StrataGEM0.5.0
Total 0 32 0 0 0 0 0 0 0 0 0
Bonuses 0 32 0 0 0 0 0 0 0 0 0
Scores 0 0 0 0 0 0 0 0 0 0 0
03

(4650) ? ? ? (expected value)

0.64 0 0 0 (confidence rate)

CC

0
4650 ? ? ?
????
---:PM / 0
CC

0
CC

0
DNC DNC DNC DNC DNC DNC DNC
06

(6816756) ? ? ? (expected value)

0.64 0 0 0 (confidence rate)

CC

0
6816756 ? ? ?
????
---:PM / 0
CC

0
CC

0
DNC DNC DNC DNC DNC DNC DNC
10

? (expected value)

0 (confidence rate)

CC

0
CC

0
CC

0
CC

0
DNC DNC DNC DNC DNC DNC DNC
15

? (expected value)

0 (confidence rate)

CC

0
CC

0
CC

0
CC

0
DNC DNC DNC DNC DNC DNC DNC
20

? (expected value)

0 (confidence rate)

CC

0
CC

0
CC

0
CC

0
DNC DNC DNC DNC DNC DNC DNC
50

? (expected value)

0 (confidence rate)

CC

0
CC

0
CC

0
CC

0
DNC DNC DNC DNC DNC DNC DNC
80

? (expected value)

0 (confidence rate)

CC

0
CC

0
CC

0
CC

0
DNC DNC DNC DNC DNC DNC DNC
SafeBus — P/T
  GreatSPN-Meddly ITS-Tools LTSMin Marcie pnmc PNXDD TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ) StrataGEM0.5.0
Total 40 88 96 128 120 0 64 56 40 48 40
Bonuses 0 8 0 0 8 0 8 0 0 8 0
Scores 40 80 96 128 112 0 56 56 40 40 40
03

4650 12888 1 14 (expected value)

6.90 0.92 3.71 2.92 (confidence rate)

4650 ? ? ?
T---
---:-- / 40
4650 ? ? ?
T---
---:-- / 40
4650 ? 1 ?
T-T-
---:-- / 48
4650 12888 1 14
TTTT
---:-- / 64
4650 ? 1 14
T-TT
---:-- / 56
CC

0
4650 ? 1 14
T-TT
---:P- / 56
4650 ? 1 14
T-TT
---:-- / 56
4650 ? ? ?
T---
---:-- / 40
4650 ? ? ?
T---
---:-M / 40
4650 ? ? ?
T---
---:-- / 40
06

6816756 29904912 1 23 (expected value)

3.35 0.92 2.71 1.92 (confidence rate)

DNF

0
6816756 ? ? ?
T---
---:P- / 40
6816756 ? 1 ?
T-T-
---:-- / 48
6816756 29904912 1 23
TTTT
---:-- / 64
6816756 ? 1 23
T-TT
---:-M / 56
CC

0
DNF

0
DNF

0
DNF

0
3809175 ? ? ?
X---
V--:-- / -
DNF

0
10

? ? ? ? (expected value)

0 0 0 0 (confidence rate)

DNF

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
? ? ? ?
????
---:-- / 0
15

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
20

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
SmallOperatingSystem — P/T
  GreatSPN-Meddly ITS-Tools LTSMin Marcie pnmc PNXDD TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ) StrataGEM0.5.0
Total 520 760 760 1064 1064 0 1216 1136 840 760 680
Bonuses 0 0 0 0 0 0 152 72 80 0 0
Scores 520 760 760 1064 1064 0 1064 1064 760 760 680
MT0016DC0008

1 ? 16 32 (expected value)

6.90 0 2.92 2.92 (confidence rate)

1 ? ? ?
T?--
---:-- / 40
1 ? ? ?
T?--
---:-- / 40
1 ? ? ?
T?--
---:-- / 40
1 ? 16 32
T?TT
---:-- / 56
1 ? 16 32
T?TT
---:-- / 56
CC

0
1 ? 16 32
T?TT
---:P- / 56
1 ? 16 32
T?TT
---:-- / 56
1 ? ? ?
T?--
---:-M / 40
1 ? ? ?
T?--
---:-- / 40
1 ? ? ?
T?--
---:-- / 40
MT0032DC0008

1 ? 32 64 (expected value)

6.90 0 2.92 2.92 (confidence rate)

1 ? ? ?
T?--
---:-- / 40
1 ? ? ?
T?--
---:-- / 40
1 ? ? ?
T?--
---:-- / 40
1 ? 32 64
T?TT
---:-- / 56
1 ? 32 64
T?TT
---:-- / 56
CC

0
1 ? 32 64
T?TT
---:P- / 56
1 ? 32 64
T?TT
---:-M / 56
1 ? ? ?
T?--
---:-- / 40
1 ? ? ?
T?--
---:-- / 40
1 ? ? ?
T?--
---:-- / 40
MT0032DC0016

1 ? 32 64 (expected value)

6.90 0 2.92 2.92 (confidence rate)

1 ? ? ?
T?--
---:-- / 40
1 ? ? ?
T?--
---:-- / 40
1 ? ? ?
T?--
---:-- / 40
1 ? 32 64
T?TT
---:-- / 56
1 ? 32 64
T?TT
---:-- / 56
CC

0
1 ? 32 64
T?TT
---:P- / 56
1 ? 32 64
T?TT
---:-M / 56
1 ? ? ?
T?--
---:-- / 40
1 ? ? ?
T?--
---:-- / 40
1 ? ? ?
T?--
---:-- / 40
MT0064DC0016

1 ? 64 128 (expected value)

6.90 0 2.92 2.92 (confidence rate)

1 ? ? ?
T?--
---:-- / 40
1 ? ? ?
T?--
---:-- / 40
1 ? ? ?
T?--
---:-- / 40
1 ? 64 128
T?TT
---:-- / 56
1 ? 64 128
T?TT
---:-- / 56
CC

0
1 ? 64 128
T?TT
---:P- / 56
1 ? 64 128
T?TT
---:-M / 56
1 ? ? ?
T?--
---:-- / 40
1 ? ? ?
T?--
---:-- / 40
1 ? ? ?
T?--
---:-- / 40
MT0064DC0032

1 ? 64 128 (expected value)

6.90 0 2.92 2.92 (confidence rate)

1 ? ? ?
T?--
---:-- / 40
1 ? ? ?
T?--
---:-- / 40
1 ? ? ?
T?--
---:-- / 40
1 ? 64 128
T?TT
---:-- / 56
1 ? 64 128
T?TT
---:-- / 56
CC

0
1 ? 64 128
T?TT
---:P- / 56
1 ? 64 128
T?TT
---:-M / 56
1 ? ? ?
T?--
---:-- / 40
1 ? ? ?
T?--
---:-- / 40
1 ? ? ?
T?--
---:-- / 40
MT0128DC0032

1 ? 128 256 (expected value)

6.90 0 2.92 2.92 (confidence rate)

1 ? ? ?
T?--
---:-- / 40
1 ? ? ?
T?--
---:-- / 40
1 ? ? ?
T?--
---:-- / 40
1 ? 128 256
T?TT
---:-- / 56
1 ? 128 256
T?TT
---:-- / 56
CC

0
1 ? 128 256
T?TT
---:P- / 56
1 ? 128 256
T?TT
---:-- / 56
1 ? ? ?
T?--
---:-M / 40
1 ? ? ?
T?--
---:-- / 40
1 ? ? ?
T?--
---:-- / 40
MT0128DC0064

1 ? 128 256 (expected value)

6.90 0 2.92 2.92 (confidence rate)

1 ? ? ?
T?--
---:-- / 40
1 ? ? ?
T?--
---:-- / 40
1 ? ? ?
T?--
---:-- / 40
1 ? 128 256
T?TT
---:-- / 56
1 ? 128 256
T?TT
---:-- / 56
CC

0
1 ? 128 256
T?TT
---:P- / 56
1 ? 128 256
T?TT
---:-- / 56
1 ? ? ?
T?--
---:-M / 40
1 ? ? ?
T?--
---:-- / 40
1 ? ? ?
T?--
---:-- / 40
MT0256DC0064

1 ? 256 512 (expected value)

6.90 0 2.92 2.92 (confidence rate)

1 ? ? ?
T?--
---:-- / 40
1 ? ? ?
T?--
---:-- / 40
1 ? ? ?
T?--
---:-- / 40
1 ? 256 512
T?TT
---:-- / 56
1 ? 256 512
T?TT
---:-- / 56
CC

0
1 ? 256 512
T?TT
---:P- / 56
1 ? 256 512
T?TT
---:-- / 56
1 ? ? ?
T?--
---:-M / 40
1 ? ? ?
T?--
---:-- / 40
1 ? ? ?
T?--
---:-- / 40
MT0256DC0128

1 ? 256 512 (expected value)

6.90 0 2.92 2.92 (confidence rate)

1 ? ? ?
T?--
---:-- / 40
1 ? ? ?
T?--
---:-- / 40
1 ? ? ?
T?--
---:-- / 40
1 ? 256 512
T?TT
---:-- / 56
1 ? 256 512
T?TT
---:-- / 56
CC

0
1 ? 256 512
T?TT
---:P- / 56
1 ? 256 512
T?TT
---:-M / 56
1 ? ? ?
T?--
---:-- / 40
1 ? ? ?
T?--
---:-- / 40
1 ? ? ?
T?--
---:-- / 40
MT0512DC0128

1 ? 512 1024 (expected value)

6.90 0 2.92 2.92 (confidence rate)

1 ? ? ?
T?--
---:-- / 40
1 ? ? ?
T?--
---:-- / 40
1 ? ? ?
T?--
---:-- / 40
1 ? 512 1024
T?TT
---:-- / 56
1 ? 512 1024
T?TT
---:-- / 56
CC

0
1 ? 512 1024
T?TT
---:P- / 56
1 ? 512 1024
T?TT
---:-- / 56
1 ? ? ?
T?--
---:-M / 40
1 ? ? ?
T?--
---:-- / 40
1 ? ? ?
T?--
---:-- / 40
MT0512DC0256

1 ? 512 1024 (expected value)

6.90 0 2.92 2.92 (confidence rate)

1 ? ? ?
T?--
---:-- / 40
1 ? ? ?
T?--
---:-- / 40
1 ? ? ?
T?--
---:-- / 40
1 ? 512 1024
T?TT
---:-- / 56
1 ? 512 1024
T?TT
---:-- / 56
CC

0
1 ? 512 1024
T?TT
---:P- / 56
1 ? 512 1024
T?TT
---:-- / 56
1 ? ? ?
T?--
---:-M / 40
1 ? ? ?
T?--
---:-- / 40
1 ? ? ?
T?--
---:-- / 40
MT1024DC0256

1 ? 1024 2048 (expected value)

6.90 0 2.92 2.92 (confidence rate)

1 ? ? ?
T?--
---:-- / 40
1 ? ? ?
T?--
---:-- / 40
1 ? ? ?
T?--
---:-- / 40
1 ? 1024 2048
T?TT
---:-- / 56
1 ? 1024 2048
T?TT
---:-- / 56
CC

0
1 ? 1024 2048
T?TT
---:P- / 56
1 ? 1024 2048
T?TT
---:-- / 56
1 ? ? ?
T?--
---:-M / 40
1 ? ? ?
T?--
---:-- / 40
1 ? ? ?
T?--
---:-- / 40
MT1024DC0512

1 ? 1024 2048 (expected value)

6.90 0 2.92 2.92 (confidence rate)

1 ? ? ?
T?--
---:-- / 40
1 ? ? ?
T?--
---:-- / 40
1 ? ? ?
T?--
---:-- / 40
1 ? 1024 2048
T?TT
---:-- / 56
1 ? 1024 2048
T?TT
---:-- / 56
CC

0
1 ? 1024 2048
T?TT
---:P- / 56
1 ? 1024 2048
T?TT
---:-M / 56
1 ? ? ?
T?--
---:-- / 40
1 ? ? ?
T?--
---:-- / 40
1 ? ? ?
T?--
---:-- / 40
MT2048DC0512

1 ? 2048 4096 (expected value)

6.27 0 2.92 2.92 (confidence rate)

DNF

0
1 ? ? ?
T?--
---:-- / 40
1 ? ? ?
T?--
---:-- / 40
1 ? 2048 4096
T?TT
---:-- / 56
1 ? 2048 4096
T?TT
---:-- / 56
CC

0
1 ? 2048 4096
T?TT
---:P- / 56
1 ? 2048 4096
T?TT
---:-M / 56
1 ? ? ?
T?--
---:-- / 40
1 ? ? ?
T?--
---:-- / 40
1 ? ? ?
T?--
---:-- / 40
MT2048DC1024

1 ? 2048 4096 (expected value)

6.27 0 2.92 2.92 (confidence rate)

DNF

0
1 ? ? ?
T?--
---:-- / 40
1 ? ? ?
T?--
---:-- / 40
1 ? 2048 4096
T?TT
---:-- / 56
1 ? 2048 4096
T?TT
---:-- / 56
CC

0
1 ? 2048 4096
T?TT
---:P- / 56
1 ? 2048 4096
T?TT
---:-- / 56
1 ? ? ?
T?--
---:-M / 40
1 ? ? ?
T?--
---:-- / 40
1 ? ? ?
T?--
---:-- / 40
MT4096DC1024

1 ? 4096 8192 (expected value)

6.27 0 2.92 2.92 (confidence rate)

DNF

0
1 ? ? ?
T?--
---:-- / 40
1 ? ? ?
T?--
---:-- / 40
1 ? 4096 8192
T?TT
---:-- / 56
1 ? 4096 8192
T?TT
---:-- / 56
CC

0
1 ? 4096 8192
T?TT
---:P- / 56
1 ? 4096 8192
T?TT
---:-- / 56
1 ? ? ?
T?--
---:-M / 40
1 ? ? ?
T?--
---:-- / 40
1 ? ? ?
T?--
---:-- / 40
MT4096DC2048

1 ? 4096 8192 (expected value)

6.27 0 2.92 2.92 (confidence rate)

DNF

0
1 ? ? ?
T?--
---:-- / 40
1 ? ? ?
T?--
---:-- / 40
1 ? 4096 8192
T?TT
---:-- / 56
1 ? 4096 8192
T?TT
---:-- / 56
CC

0
1 ? 4096 8192
T?TT
---:P- / 56
1 ? 4096 8192
T?TT
---:-M / 56
1 ? ? ?
T?--
---:-- / 40
1 ? ? ?
T?--
---:-- / 40
1 ? ? ?
T?--
---:-- / 40
MT8192DC2048

1 ? 8192 16384 (expected value)

5.27 0 2.92 2.92 (confidence rate)

DNF

0
1 ? ? ?
T?--
---:-- / 40
1 ? ? ?
T?--
---:-- / 40
1 ? 8192 16384
T?TT
---:-- / 56
1 ? 8192 16384
T?TT
---:-- / 56
CC

0
1 ? 8192 16384
T?TT
---:P- / 56
1 ? 8192 16384
T?TT
---:-M / 56
1 ? ? ?
T?--
---:-- / 40
1 ? ? ?
T?--
---:-- / 40
DNF

0
MT8192DC4096

1 ? 8192 16384 (expected value)

5.27 0 2.92 2.92 (confidence rate)

DNF

0
1 ? ? ?
T?--
---:-- / 40
1 ? ? ?
T?--
---:-- / 40
1 ? 8192 16384
T?TT
---:-- / 56
1 ? 8192 16384
T?TT
---:-- / 56
CC

0
1 ? 8192 16384
T?TT
---:P- / 56
1 ? 8192 16384
T?TT
---:-- / 56
1 ? ? ?
T?--
---:-M / 40
1 ? ? ?
T?--
---:-- / 40
DNF

0
SquareGrid — P/T
  GreatSPN-Meddly ITS-Tools LTSMin Marcie pnmc PNXDD TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ) StrataGEM0.5.0
Total 0 56 48 64 56 0 0 0 0 48 40
Bonuses 0 16 0 0 0 0 0 0 0 48 0
Scores 0 40 48 64 56 0 0 0 0 0 40
020102

2.0854E+0012 4.0384E+0013 6 48 (expected value)

4.35 0.92 2.71 1.92 (confidence rate)

DNF

0
2.0854E+0012 ? ? ?
T---
---:PM / 40
2.0854E+0012 ? 6 ?
T-T-
---:-- / 48
2.0854E+0012 4.0384E+0013 6 48
TTTT
---:-- / 64
2.0854E+0012 ? 6 48
T-TT
---:-- / 56
CC

0
DNF

0
DNF

0
DNF

0
2413993 ? ? ?
X---
V--:-- / -
2.0854E+0012 ? ? ?
T---
---:-- / 40
040204

(88931) ? ? ? (expected value)

0.48 0 0 0 (confidence rate)

DNF

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
88931 ? ? ?
????
---:PM / 0
DNF

0
080408

(2686) ? ? ? (expected value)

0.48 0 0 0 (confidence rate)

DNF

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
2686 ? ? ?
????
---:PM / 0
DNF

0
100510

(1734) ? ? ? (expected value)

0.48 0 0 0 (confidence rate)

DNF

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
1734 ? ? ?
????
---:PM / 0
DNF

0
130613

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
CC

0
CC

0
DNF

0
DNF

0
DNF

0
SwimmingPool — P/T
  GreatSPN-Meddly ITS-Tools LTSMin Marcie pnmc PNXDD TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ) StrataGEM0.5.0
Total 136 208 288 640 472 0 192 176 80 136 80
Bonuses 16 8 0 64 24 0 24 8 0 16 0
Scores 120 200 288 576 448 0 168 168 80 120 80
01

89621 450003 20 45 (expected value)

6.90 0.92 3.71 2.92 (confidence rate)

89621 ? ? ?
T---
---:-- / 40
89621 ? ? ?
T---
---:-- / 40
89621 ? 20 ?
T-T-
---:-- / 48
89621 450003 20 45
TTTT
---:-- / 64
89621 ? 20 45
T-TT
---:-- / 56
CC

0
89621 ? 20 45
T-TT
---:P- / 56
89621 ? 20 45
T-TT
---:-M / 56
89621 ? ? ?
T---
---:-- / 40
89621 ? ? ?
T---
---:-- / 40
89621 ? ? ?
T---
---:-- / 40
02

3408031 19929811 40 90 (expected value)

6.27 0.92 3.71 2.92 (confidence rate)

3408030 ? ? ?
X---
V--:-- / -
3408031 ? ? ?
T---
---:-- / 40
3408031 ? 40 ?
T-T-
---:-- / 48
3408031 19929811 40 90
TTTT
---:-- / 64
3408031 ? 40 90
T-TT
---:-- / 56
CC

0
3408031 ? 40 90
T-TT
---:PM / 56
3408031 ? 40 90
T-TT
---:-- / 56
3408031 ? ? ?
T---
---:-- / 40
3408031 ? ? ?
T---
---:-- / 40
3408031 ? ? ?
T---
---:-- / 40
03

32209356 1.9929E+0008 60 135 (expected value)

4.84 0.92 3.71 2.92 (confidence rate)

32209400 ? ? ?
X---
V--:-- / -
32209356 ? ? ?
T---
---:-M / 40
32209356 ? 60 ?
T-T-
---:-- / 48
32209356 1.9929E+0008 60 135
TTTT
---:-- / 64
32209356 ? 60 135
T-TT
---:P- / 56
CC

0
32209356 ? 60 135
T-TT
---:-- / 56
32209356 ? 60 135
T-TT
---:-- / 56
16777206 ? ? ?
X---
V--:-- / -
32209356 ? ? ?
T---
---:-- / 40
DNF

0
04

1.6439E+0008 1.0475E+0009 80 180 (expected value)

3.98 0.92 2.71 1.92 (confidence rate)

1.6439E+0008 ? ? ?
T---
---:-M / 40
1.6439E+0008 ? ? ?
T---
---:-- / 40
1.6439E+0008 ? 80 ?
T-T-
---:-- / 48
1.6439E+0008 1.0475E+0009 80 180
TTTT
---:P- / 64
1.6439E+0008 ? 80 180
T-TT
---:-- / 56
CC

0
CC

0
CC

0
16777179 ? ? ?
X---
V--:-- / -
65783741 ? ? ?
X---
V--:-- / -
DNF

0
05

5.9137E+0008 3.8372E+0009 100 225 (expected value)

3.98 0.92 2.71 1.92 (confidence rate)

5.9137E+0008 ? ? ?
T---
---:-M / 40
5.9137E+0008 ? ? ?
T---
---:-- / 40
5.9137E+0008 ? 100 ?
T-T-
---:-- / 48
5.9137E+0008 3.8372E+0009 100 225
TTTT
---:P- / 64
5.9137E+0008 ? 100 225
T-TT
---:-- / 56
CC

0
CC

0
CC

0
16777194 ? ? ?
X---
V--:-- / -
65067121 ? ? ?
X---
V--:-- / -
DNF

0
06

1.6974E+0009 1.1150E+0010 120 270 (expected value)

2.71 0.92 2.71 1.92 (confidence rate)

DNF

0
CC

0
1.6974E+0009 ? 120 ?
T-T-
---:-- / 48
1.6974E+0009 1.1150E+0010 120 270
TTTT
---:P- / 64
1.6974E+0009 ? 120 270
T-TT
---:-M / 56
CC

0
CC

0
CC

0
16777193 ? ? ?
X---
V--:-- / -
64791775 ? ? ?
X---
V--:-- / -
DNF

0
07

4.1604E+0009 2.7571E+0010 140 315 (expected value)

1.92 0.92 1.92 1.92 (confidence rate)

DNF

0
CC

0
DNF

0
4.1604E+0009 2.7571E+0010 140 315
TTTT
---:P- / 64
4.1604E+0009 ? 140 315
T-TT
---:-M / 56
CC

0
CC

0
CC

0
16777165 ? ? ?
X---
V--:-- / -
64811284 ? ? ?
X---
V--:-- / -
DNF

0
08

9.0737E+0009 6.0534E+0010 160 360 (expected value)

1.92 0.92 1.92 1.92 (confidence rate)

DNF

0
CC

0
DNF

0
9.0737E+0009 6.0534E+0010 160 360
TTTT
---:PM / 64
9.0737E+0009 ? 160 360
T-TT
---:-- / 56
CC

0
CC

0
CC

0
16777182 ? ? ?
X---
V--:-- / -
64837847 ? ? ?
X---
V--:-- / -
DNF

0
09

1.8090E+0010 1.2132E+0011 180 405 (expected value)

0.92 0.92 0.92 0.92 (confidence rate)

DNF

0
CC

0
DNF

0
1.8090E+0010 1.2132E+0011 180 405
TTTT
---:PM / 64
DNF

0
CC

0
CC

0
CC

0
16777152 ? ? ?
X---
V--:-- / -
64793934 ? ? ?
X---
V--:-- / -
DNF

0
10

(64790327) ? ? ? (expected value)

0.48 0 0 0 (confidence rate)

DNF

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
CC

0
CC

0
16777179 ? ? ?
X???
V--:-- / -
64790327 ? ? ?
????
---:PM / 0
DNF

0

All «Stripped» models
 
  GreatSPN-Meddly ITS-Tools LTSMin Marcie pnmc PNXDD TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ) StrataGEM0.5.0
Total Points 3552 6402 4212 8226 6546 0 2670 2814 1812 1848 3042
ARMCacheCoherence (stripped) — P/T
  GreatSPN-Meddly ITS-Tools LTSMin Marcie pnmc PNXDD TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ) StrataGEM0.5.0
Total 0 36 36 48 36 0 0 0 0 0 0
Bonuses 0 6 0 0 6 0 0 0 0 0 0
Scores 0 30 36 48 30 0 0 0 0 0 0
none

3.2057E+0008 2.2340E+0010 1 12 (expected value)

3.35 0.92 1.72 0.92 (confidence rate)

DNF

0
3.2057E+0008 ? ? ?
T---
---:-M / 30
3.2057E+0008 ? 1 ?
T-T-
---:-- / 36
3.2057E+0008 2.2340E+0010 1 12
TTTT
---:-- / 48
3.2057E+0008 ? ? ?
T---
---:P- / 30
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
Angiogenesis (stripped) — P/T
  GreatSPN-Meddly ITS-Tools LTSMin Marcie pnmc PNXDD TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ) StrataGEM0.5.0
Total 72 138 144 258 126 0 42 54 30 30 90
Bonuses 12 18 0 18 0 0 0 12 0 0 0
Scores 60 120 144 240 126 0 42 42 30 30 90
01

110 288 1 8 (expected value)

6.90 0.92 3.71 2.92 (confidence rate)

110 ? ? ?
T---
---:-- / 30
110 ? ? ?
T---
---:-- / 30
110 ? 1 ?
T-T-
---:-- / 36
110 288 1 8
TTTT
---:-- / 48
110 ? 1 8
T-TT
---:-- / 42
CC

0
110 ? 1 8
T-TT
---:-- / 42
110 ? 1 8
T-TT
---:PM / 42
110 ? ? ?
T---
---:-- / 30
110 ? ? ?
T---
---:-- / 30
110 ? ? ?
T---
---:-- / 30
05

42734935 4.8687E+0008 5 40 (expected value)

4.35 0.92 2.71 1.92 (confidence rate)

42734900 ? ? ?
X---
V--:-- / -
42734935 ? ? ?
T---
---:PM / 30
42734935 ? 5 ?
T-T-
---:-- / 36
42734935 4.8687E+0008 5 40
TTTT
---:-- / 48
42734935 ? 5 40
T-TT
---:-- / 42
CC

0
DNF

0
DNF

0
DNF

0
13823529 ? ? ?
X---
V-S:-- / -
42734935 ? ? ?
T---
---:-- / 30
10

8.2265E+0011 1.5636E+0013 10 80 (expected value)

4.98 0.92 2.71 1.92 (confidence rate)

8.2265E+0011 ? ? ?
T---
---:PM / 30
8.2265E+0011 ? ? ?
T---
---:-- / 30
8.2265E+0011 ? 10 ?
T-T-
---:-- / 36
8.2265E+0011 1.5636E+0013 10 80
TTTT
---:-- / 48
8.2265E+0011 ? 10 80
T-TT
---:-- / 42
CC

0
DNF

0
DNF

0
DNF

0
10358778 ? ? ?
X---
V-S:-- / -
8.2265E+0011 ? ? ?
T---
---:-- / 30
15

1.1155E+0015 2.7474E+0016 15 120 (expected value)

2.36 0.92 1.72 0.92 (confidence rate)

DNF

0
1.1155E+0015 ? ? ?
T---
---:-M / 30
1.1155E+0015 ? 15 ?
T-T-
---:-- / 36
1.1155E+0015 2.7474E+0016 15 120
TTTT
---:P- / 48
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
9791354 ? ? ?
X---
V-S:-- / -
DNF

0
20

3.5182E+0017 1.0195E+0019 20 160 (expected value)

0.92 0.92 0.92 0.92 (confidence rate)

DNF

0
CC

0
DNF

0
3.5182E+0017 1.0195E+0019 20 160
TTTT
---:PM / 48
DNF

0
CC

0
CC

0
CC

0
DNF

0
9923452 ? ? ?
X---
V-S:-- / -
DNF

0
25

? ? ? ? (expected value)

0 0 0 0 (confidence rate)

DNF

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
10051791 ? ? ?
????
--S:-- / -
DNF

0
50

? ? ? ? (expected value)

0 0 0 0 (confidence rate)

DNF

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
10204794 ? ? ?
????
--S:-- / -
DNF

0
CSRepetitions (stripped) — Colored
  GreatSPN-Meddly ITS-Tools LTSMin Marcie pnmc PNXDD TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ) StrataGEM0.5.0
Total 42 84 0 96 0 0 0 0 0 0 0
Bonuses 12 24 0 0 0 0 0 0 0 0 0
Scores 30 60 0 96 0 0 0 0 0 0 0
02

7424 37088 2 8 (expected value)

2.19 0.92 0.92 0.92 (confidence rate)

7424 ? ? ?
T---
---:PM / 30
7424 ? ? ?
T---
---:-- / 30
CC

0
7424 37088 2 8
TTTT
---:-- / 48
DNC DNC DNC DNC DNC DNC DNC
03

1.3407E+0008 1.2939E+0009 3 15 (expected value)

1.56 0.92 0.92 0.92 (confidence rate)

DNF

0
1.3407E+0008 ? ? ?
T---
---:PM / 30
CC

0
1.3407E+0008 1.2939E+0009 3 15
TTTT
---:-- / 48
DNC DNC DNC DNC DNC DNC DNC
04

(3.0948E+0013) ? ? ? (expected value)

0.64 0 0 0 (confidence rate)

CC

0
3.0948E+0013 ? ? ?
????
---:PM / 0
CC

0
DNF

0
DNC DNC DNC DNC DNC DNC DNC
05

? (expected value)

0 (confidence rate)

DNF

0
CC

0
CC

0
DNF

0
DNC DNC DNC DNC DNC DNC DNC
07

? (expected value)

0 (confidence rate)

CC

0
CC

0
CC

0
DNF

0
DNC DNC DNC DNC DNC DNC DNC
10

? (expected value)

0 (confidence rate)

CC

0
CC

0
CC

0
DNF

0
DNC DNC DNC DNC DNC DNC DNC
CSRepetitions (stripped) — P/T
  GreatSPN-Meddly ITS-Tools LTSMin Marcie pnmc PNXDD TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ) StrataGEM0.5.0
Total 42 114 72 96 126 0 42 54 30 30 60
Bonuses 12 24 0 0 0 0 0 12 0 0 0
Scores 30 90 72 96 126 0 42 42 30 30 60
02

7424 37088 2 8 (expected value)

6.90 0.92 3.71 2.92 (confidence rate)

7424 ? ? ?
T---
---:-- / 30
7424 ? ? ?
T---
---:-- / 30
7424 ? 2 ?
T-T-
---:-- / 36
7424 37088 2 8
TTTT
---:-- / 48
7424 ? 2 8
T-TT
---:-- / 42
CC

0
7424 ? 2 8
T-TT
---:-- / 42
7424 ? 2 8
T-TT
---:PM / 42
7424 ? ? ?
T---
---:-- / 30
7424 ? ? ?
T---
---:-- / 30
7424 ? ? ?
T---
---:-- / 30
03

1.3407E+0008 1.2939E+0009 3 15 (expected value)

4.35 0.92 2.71 1.92 (confidence rate)

DNF

0
1.3407E+0008 ? ? ?
T---
---:PM / 30
1.3407E+0008 ? 3 ?
T-T-
---:-- / 36
1.3407E+0008 1.2939E+0009 3 15
TTTT
---:-- / 48
1.3407E+0008 ? 3 15
T-TT
---:-- / 42
CC

0
DNF

0
DNF

0
DNF

0
4651639 ? ? ?
X---
V-S:-- / -
1.3407E+0008 ? ? ?
T---
---:-- / 30
04

3.0948E+0013 ? 4 24 (expected value)

1.63 0 0.99 0.99 (confidence rate)

65536 ? ? ?
X?--
V--:-- / -
3.0948E+0013 ? ? ?
T?--
---:PM / 30
DNF

0
DNF

0
3.0948E+0013 ? 4 24
T?TT
---:-- / 42
CC

0
DNF

0
DNF

0
DNF

0
953504 ? ? ?
X?--
V-S:-- / -
DNF

0
05

(33554400) ? ? ? (expected value)

0.63 0 0 0 (confidence rate)

33554400 ? ? ?
????
---:PM / 0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
290091 ? ? ?
X???
V-S:-- / -
DNF

0
07

? ? ? ? (expected value)

0 0 0 0 (confidence rate)

CC

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
56905 ? ? ?
????
--S:-- / -
DNF

0
10

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
CircadianClock (stripped) — P/T
  GreatSPN-Meddly ITS-Tools LTSMin Marcie pnmc PNXDD TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ) StrataGEM0.5.0
Total 108 138 108 192 180 0 90 84 78 60 90
Bonuses 18 18 0 0 12 0 6 0 18 0 0
Scores 90 120 108 192 168 0 84 84 60 60 90
000001

128 624 1 7 (expected value)

6.90 0.92 3.71 2.92 (confidence rate)

128 ? ? ?
T---
---:-- / 30
128 ? ? ?
T---
---:-- / 30
128 ? 1 ?
T-T-
---:-- / 36
128 624 1 7
TTTT
---:-- / 48
128 ? 1 7
T-TT
---:-- / 42
CC

0
128 ? 1 7
T-TT
---:P- / 42
128 ? 1 7
T-TT
---:-- / 42
128 ? ? ?
T---
---:-M / 30
128 ? ? ?
T---
---:-- / 30
128 ? ? ?
T---
---:-- / 30
000010

644204 6766320 10 52 (expected value)

6.90 0.92 3.71 2.92 (confidence rate)

644204 ? ? ?
T---
---:PM / 30
644204 ? ? ?
T---
---:-- / 30
644204 ? 10 ?
T-T-
---:-- / 36
644204 6766320 10 52
TTTT
---:-- / 48
644204 ? 10 52
T-TT
---:-- / 42
CC

0
644204 ? 10 52
T-TT
---:-- / 42
644204 ? 10 52
T-TT
---:-- / 42
644204 ? ? ?
T---
---:-- / 30
644204 ? ? ?
T---
---:-- / 30
644204 ? ? ?
T---
---:-- / 30
000100

4.2040E+0010 4.9743E+0011 100 502 (expected value)

4.98 0.92 2.71 1.92 (confidence rate)

4.2040E+0010 ? ? ?
T---
---:-M / 30
4.2040E+0010 ? ? ?
T---
---:-- / 30
4.2040E+0010 ? 100 ?
T-T-
---:-- / 36
4.2040E+0010 4.9743E+0011 100 502
TTTT
---:-- / 48
4.2040E+0010 ? 100 502
T-TT
---:P- / 42
CC

0
CC

0
CC

0
16777207 ? ? ?
X---
V--:-- / -
31385884 ? ? ?
X---
V-S:-- / -
4.2040E+0010 ? ? ?
T---
---:-- / 30
001000

4.0200E+0015 4.8172E+0016 1000 5002 (expected value)

2.56 0.92 1.92 1.92 (confidence rate)

DNF

0
4.0200E+0015 ? ? ?
T---
---:-M / 30
DNF

0
4.0200E+0015 4.8172E+0016 1000 5002
TTTT
---:-- / 48
4.0200E+0015 ? 1000 5002
T-TT
---:P- / 42
CC

0
CC

0
CC

0
16777149 ? ? ?
X---
V--:-- / -
31410024 ? ? ?
X---
V-S:-- / -
DNF

0
010000

(16777196) ? ? ? (expected value)

0.45 0 0 0 (confidence rate)

DNF

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
CC

0
CC

0
16777196 ? ? ?
????
---:PM / 0
31430334 ? ? ?
X???
V-S:-- / -
DNF

0
100000

(1) ? ? ? (expected value)

0.64 0 0 0 (confidence rate)

DNF

0
1 ? ? ?
????
---:PM / 0
CC

0
CC

0
DNF

0
CC

0
CC

0
CC

0
16777211 ? ? ?
X???
V--:-- / -
31447129 ? ? ?
X???
V-S:-- / -
DNF

0
CircularTrains (stripped) — P/T
  GreatSPN-Meddly ITS-Tools LTSMin Marcie pnmc PNXDD TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ) StrataGEM0.5.0
Total 60 228 108 288 126 0 96 90 66 60 150
Bonuses 0 48 0 0 0 0 12 6 6 0 0
Scores 60 180 108 288 126 0 84 84 60 60 150
012

195 496 2 12 (expected value)

6.90 0.92 3.71 2.92 (confidence rate)

195 ? ? ?
T---
---:-- / 30
195 ? ? ?
T---
---:-- / 30
195 ? 2 ?
T-T-
---:-- / 36
195 496 2 12
TTTT
---:-- / 48
195 ? 2 12
T-TT
---:-- / 42
CC

0
195 ? 2 12
T-TT
---:P- / 42
195 ? 2 12
T-TT
---:-- / 42
195 ? ? ?
T---
---:-M / 30
195 ? ? ?
T---
---:-- / 30
195 ? ? ?
T---
---:-- / 30
024

86515 411680 2 24 (expected value)

6.90 0.92 3.71 2.92 (confidence rate)

86515 ? ? ?
T---
---:-- / 30
86515 ? ? ?
T---
---:-- / 30
86515 ? 2 ?
T-T-
---:-- / 36
86515 411680 2 24
TTTT
---:-- / 48
86515 ? 2 24
T-TT
---:-- / 42
CC

0
86515 ? 2 24
T-TT
---:P- / 42
86515 ? 2 24
T-TT
---:-M / 42
86515 ? ? ?
T---
---:-- / 30
86515 ? ? ?
T---
---:-- / 30
86515 ? ? ?
T---
---:-- / 30
048

2.3973E+0010 2.2124E+0011 2 48 (expected value)

4.35 0.92 2.71 1.92 (confidence rate)

DNF

0
2.3973E+0010 ? ? ?
T---
---:PM / 30
2.3973E+0010 ? 2 ?
T-T-
---:-- / 36
2.3973E+0010 2.2124E+0011 2 48
TTTT
---:-- / 48
2.3973E+0010 ? 2 48
T-TT
---:-- / 42
CC

0
DNF

0
DNF

0
DNF

0
4136986 ? ? ?
X---
V-S:-- / -
2.3973E+0010 ? ? ?
T---
---:-- / 30
096

2.5913E+0021 4.7121E+0022 2 96 (expected value)

2.56 0.92 0.92 0.92 (confidence rate)

DNF

0
2.5913E+0021 ? ? ?
T---
---:PM / 30
DNF

0
2.5913E+0021 4.7121E+0022 2 96
TTTT
---:-- / 48
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
580429 ? ? ?
X---
V-S:-- / -
2.5913E+0021 ? ? ?
T---
---:-- / 30
192

4.2702E+0043 1.5416E+0045 2 192 (expected value)

2.56 0.92 0.92 0.92 (confidence rate)

DNF

0
4.2702E+0043 ? ? ?
T---
---:PM / 30
DNF

0
4.2702E+0043 1.5416E+0045 2 192
TTTT
---:-- / 48
DNF

0
CC

0
CC

0
CC

0
DNF

0
95406 ? ? ?
X---
V-S:-- / -
4.2702E+0043 ? ? ?
T---
---:-- / 30
384

1.6377E+0088 1.1782E+0090 2 384 (expected value)

1.56 0.92 0.92 0.92 (confidence rate)

DNF

0
1.6377E+0088 ? ? ?
T---
---:PM / 30
DNF

0
1.6377E+0088 1.1782E+0090 2 384
TTTT
---:-- / 48
DNF

0
CC

0
CC

0
CC

0
DNF

0
19099 ? ? ?
X---
V-S:-- / -
DNF

0
768

? ? ? ? (expected value)

0 0 0 0 (confidence rate)

DNF

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
CC

0
CC

0
DNF

0
2729 ? ? ?
????
--S:-- / -
DNF

0
DatabaseWithMutex (stripped) — Colored
  GreatSPN-Meddly ITS-Tools LTSMin Marcie pnmc PNXDD TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ) StrataGEM0.5.0
Total 0 0 0 120 0 0 0 0 0 0 0
Bonuses 0 0 0 24 0 0 0 0 0 0 0
Scores 0 0 0 96 0 0 0 0 0 0 0
02

153 312 1 6 (expected value)

0.92 0.92 0.92 0.92 (confidence rate)

CC

0
CC

0
CC

0
153 312 1 6
TTTT
---:PM / 48
DNC DNC DNC DNC DNC DNC DNC
04

4.7179E+0009 3.9697E+0010 1 20 (expected value)

0.92 0.92 0.92 0.92 (confidence rate)

CC

0
CC

0
CC

0
4.7179E+0009 3.9697E+0010 1 20
TTTT
---:PM / 48
DNC DNC DNC DNC DNC DNC DNC
10

? (expected value)

0 (confidence rate)

CC

0
CC

0
CC

0
DNF

0
DNC DNC DNC DNC DNC DNC DNC
20

? (expected value)

0 (confidence rate)

CC

0
CC

0
CC

0
DNF

0
DNC DNC DNC DNC DNC DNC DNC
40

? (expected value)

0 (confidence rate)

CC

0
CC

0
CC

0
DNF

0
DNC DNC DNC DNC DNC DNC DNC
DatabaseWithMutex (stripped) — P/T
  GreatSPN-Meddly ITS-Tools LTSMin Marcie pnmc PNXDD TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ) StrataGEM0.5.0
Total 30 66 72 96 90 0 42 54 30 30 60
Bonuses 0 6 0 0 6 0 0 12 0 0 0
Scores 30 60 72 96 84 0 42 42 30 30 60
02

153 312 1 6 (expected value)

6.90 0.92 3.71 2.92 (confidence rate)

153 ? ? ?
T---
---:-- / 30
153 ? ? ?
T---
---:-- / 30
153 ? 1 ?
T-T-
---:-- / 36
153 312 1 6
TTTT
---:-- / 48
153 ? 1 6
T-TT
---:-- / 42
CC

0
153 ? 1 6
T-TT
---:-- / 42
153 ? 1 6
T-TT
---:PM / 42
153 ? ? ?
T---
---:-- / 30
153 ? ? ?
T---
---:-- / 30
153 ? ? ?
T---
---:-- / 30
04

4.7179E+0009 3.9697E+0010 1 20 (expected value)

4.35 0.92 2.71 1.92 (confidence rate)

DNF

0
4.7179E+0009 ? ? ?
T---
---:-M / 30
4.7179E+0009 ? 1 ?
T-T-
---:-- / 36
4.7179E+0009 3.9697E+0010 1 20
TTTT
---:-- / 48
4.7179E+0009 ? 1 20
T-TT
---:P- / 42
CC

0
DNF

0
DNF

0
DNF

0
2323906 ? ? ?
X---
V-S:-- / -
4.7179E+0009 ? ? ?
T---
---:-- / 30
10

? ? ? ? (expected value)

0 0 0 0 (confidence rate)

DNF

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
15614 ? ? ?
????
--S:-- / -
DNF

0
20

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
40

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNF

0
DNF

0
CC

0
CC

0
CC

0
CC

0
DNF

0
DNF

0
DNF

0
Dekker (stripped) — P/T
  GreatSPN-Meddly ITS-Tools LTSMin Marcie pnmc PNXDD TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ) StrataGEM0.5.0
Total 72 138 72 144 84 0 96 84 60 60 60
Bonuses 12 48 0 0 0 0 12 0 0 0 0
Scores 60 90 72 144 84 0 84 84 60 60 60
010

6144 171530 1 20 (expected value)

6.90 0.92 3.71 2.92 (confidence rate)

6144 ? ? ?
T---
---:-- / 30
6144 ? ? ?
T---
---:-- / 30
6144 ? 1 ?
T-T-
---:-- / 36
6144 171530 1 20
TTTT
---:-- / 48
6144 ? 1 20
T-TT
---:-- / 42
CC

0
6144 ? 1 20
T-TT
---:PM / 42
6144 ? 1 20
T-TT
---:-- / 42
6144 ? ? ?
T---
---:-- / 30
6144 ? ? ?
T---
---:-- / 30
6144 ? ? ?
T---
---:-- / 30
015

278528 16834575 1 30 (expected value)

6.90 0.92 3.71 2.92 (confidence rate)

278528 ? ? ?
T---
---:PM / 30
278528 ? ? ?
T---
---:-- / 30
278528 ? 1 ?
T-T-
---:-- / 36
278528 16834575 1 30
TTTT
---:-- / 48
278528 ? 1 30
T-TT
---:-- / 42
CC

0
278528 ? 1 30
T-TT
---:-- / 42
278528 ? 1 30
T-TT
---:-- / 42
278528 ? ? ?
T---
---:-- / 30
278528 ? ? ?
T---
---:-- / 30
278528 ? ? ?
T---
---:-- / 30
020

11534336 1.2163E+0009 1 40 (expected value)

1.56 0.92 0.92 0.92 (confidence rate)

11534300 ? ? ?
X---
V--:-- / -
11534336 ? ? ?
T---
---:PM / 30
DNF

0
11534336 1.2163E+0009 1 40
TTTT
---:-- / 48
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
050

(2.9273E+0016) ? ? ? (expected value)

0.64 0 0 0 (confidence rate)

DNF

0
2.9273E+0016 ? ? ?
????
---:PM / 0
DNF

0
DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
100

(6.4650E+0031) ? ? ? (expected value)

0.64 0 0 0 (confidence rate)

DNF

0
6.4650E+0031 ? ? ?
????
---:PM / 0
DNF

0
DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
200

(1.6230E+0062) ? ? ? (expected value)

0.64 0 0 0 (confidence rate)

DNF

0
1.6230E+0062 ? ? ?
????
---:PM / 0
DNF

0
DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
Diffusion2D (stripped) — P/T
  GreatSPN-Meddly ITS-Tools LTSMin Marcie pnmc PNXDD TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ) StrataGEM0.5.0
Total 552 906 216 720 1236 0 0 0 0 0 0
Bonuses 42 126 0 0 144 0 0 0 0 0 0
Scores 510 780 216 720 1092 0 0 0 0 0 0
D05N010

1.3113E+0008 5.5537E+0009 10 10 (expected value)

3.98 0.92 2.71 1.92 (confidence rate)

1.3113E+0008 ? ? ?
T---
---:PM / 30
1.3113E+0008 ? ? ?
T---
---:-- / 30
1.3113E+0008 ? 10 ?
T-T-
---:-- / 36
1.3113E+0008 5.5537E+0009 10 10
TTTT
---:-- / 48
1.3113E+0008 ? 10 10
T-TT
---:-- / 42
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
? ? ? ?
----
---:-- / 0
D05N050

1.7530E+0019 1.7056E+0021 50 50 (expected value)

3.98 0.92 2.71 1.92 (confidence rate)

1.7530E+0019 ? ? ?
T---
---:-M / 30
1.7530E+0019 ? ? ?
T---
---:-- / 30
1.7530E+0019 ? 50 ?
T-T-
---:-- / 36
1.7530E+0019 1.7056E+0021 50 50
TTTT
---:-- / 48
1.7530E+0019 ? 50 50
T-TT
---:P- / 42
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
? ? ? ?
----
---:-- / 0
D05N100

2.6011E+0025 3.0206E+0027 100 100 (expected value)

3.19 0.92 1.92 1.92 (confidence rate)

2.6011E+0025 ? ? ?
T---
---:-M / 30
2.6011E+0025 ? ? ?
T---
---:-- / 30
DNF

0
2.6011E+0025 3.0206E+0027 100 100
TTTT
---:-- / 48
2.6011E+0025 ? 100 100
T-TT
---:P- / 42
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
? ? ? ?
----
---:-- / 0
D05N150

1.8126E+0029 2.2501E+0031 150 150 (expected value)

3.19 0.92 1.92 1.92 (confidence rate)

1.8126E+0029 ? ? ?
T---
---:-M / 30
1.8126E+0029 ? ? ?
T---
---:-- / 30
DNF

0
1.8126E+0029 2.2501E+0031 150 150
TTTT
---:-- / 48
1.8126E+0029 ? 150 150
T-TT
---:P- / 42
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
? ? ? ?
----
---:-- / 0
D05N200

1.1439E+0032 1.4707E+0034 200 200 (expected value)

3.19 0.92 1.92 1.92 (confidence rate)

1.1439E+0032 ? ? ?
T---
---:-- / 30
1.1439E+0032 ? ? ?
T---
---:-M / 30
DNF

0
1.1439E+0032 1.4707E+0034 200 200
TTTT
---:-- / 48
1.1439E+0032 ? 200 200
T-TT
---:P- / 42
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
? ? ? ?
----
---:-- / 0
D05N250

1.8314E+0034 2.4062E+0036 250 250 (expected value)

3.19 0.92 1.92 1.92 (confidence rate)

1.8314E+0034 ? ? ?
T---
---:-- / 30
1.8314E+0034 ? ? ?
T---
---:-M / 30
DNF

0
1.8314E+0034 2.4062E+0036 250 250
TTTT
---:-- / 48
1.8314E+0034 ? 250 250
T-TT
---:P- / 42
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
? ? ? ?
----
---:-- / 0
D05N300

1.2054E+0036 1.6072E+0038 300 300 (expected value)

3.19 0.92 1.92 1.92 (confidence rate)

1.2054E+0036 ? ? ?
T---
---:-- / 30
1.2054E+0036 ? ? ?
T---
---:-M / 30
DNF

0
1.2054E+0036 1.6072E+0038 300 300
TTTT
---:-- / 48
1.2054E+0036 ? 300 300
T-TT
---:P- / 42
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
? ? ? ?
----
---:-- / 0
D05N350

4.2539E+0037 5.7325E+0039 350 350 (expected value)

2.56 0.92 1.92 1.92 (confidence rate)

DNF

0
4.2539E+0037 ? ? ?
T---
---:-M / 30
DNF

0
4.2539E+0037 5.7325E+0039 350 350
TTTT
---:-- / 48
4.2539E+0037 ? 350 350
T-TT
---:P- / 42
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
? ? ? ?
----
---:-- / 0
D10N010

4.2634E+0013 2.6754E+0015 10 10 (expected value)

3.98 0.92 2.71 1.92 (confidence rate)

4.2634E+0013 ? ? ?
T---
---:-M / 30
4.2634E+0013 ? ? ?
T---
---:-- / 30
4.2634E+0013 ? 10 ?
T-T-
---:-- / 36
4.2634E+0013 2.6754E+0015 10 10
TTTT
---:-- / 48
4.2634E+0013 ? 10 10
T-TT
---:P- / 42
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
? ? ? ?
----
---:-- / 0
D10N050

1.3419E+0040 3.0801E+0042 50 50 (expected value)

3.19 0.92 1.92 1.92 (confidence rate)

1.3419E+0040 ? ? ?
T---
---:-- / 30
1.3419E+0040 ? ? ?
T---
---:-M / 30
DNF

0
1.3419E+0040 3.0801E+0042 50 50
TTTT
---:-- / 48
1.3419E+0040 ? 50 50
T-TT
---:P- / 42
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
? ? ? ?
----
---:-- / 0
D10N100

4.5274E+0058 1.5562E+0061 100 100 (expected value)

3.19 0.92 1.92 1.92 (confidence rate)

4.5274E+0058 ? ? ?
T---
---:-- / 30
4.5274E+0058 ? ? ?
T---
---:-M / 30
DNF

0
4.5274E+0058 1.5562E+0061 100 100
TTTT
---:-- / 48
4.5274E+0058 ? 100 100
T-TT
---:P- / 42
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
? ? ? ?
----
---:-- / 0
D10N150

2.4252E+0071 9.9930E+0073 150 150 (expected value)

2.56 0.92 1.92 1.92 (confidence rate)

DNF

0
2.4252E+0071 ? ? ?
T---
---:-M / 30
DNF

0
2.4252E+0071 9.9930E+0073 150 150
TTTT
---:-- / 48
2.4252E+0071 ? 150 150
T-TT
---:P- / 42
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
? ? ? ?
----
---:-- / 0
D10N200

1.3861E+0081 ? 200 200 (expected value)

1.63 0 0.99 0.99 (confidence rate)

DNF

0
1.3861E+0081 ? ? ?
T?--
---:-M / 30
DNF

0
DNF

0
1.3861E+0081 ? 200 200
T?TT
---:P- / 42
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
? ? ? ?
-?--
---:-- / 0
D20N010

3.2308E+0019 2.3414E+0021 10 10 (expected value)

3.98 0.92 2.71 1.92 (confidence rate)

3.2308E+0019 ? ? ?
T---
---:-M / 30
3.2308E+0019 ? ? ?
T---
---:-- / 30
3.2308E+0019 ? 10 ?
T-T-
---:-- / 36
3.2308E+0019 2.3414E+0021 10 10
TTTT
---:-- / 48
3.2308E+0019 ? 10 10
T-TT
---:P- / 42
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
? ? ? ?
----
---:-- / 0
D20N050

7.9113E+0066 2.6113E+0069 50 50 (expected value)

3.19 0.92 1.92 1.92 (confidence rate)

7.9113E+0066 ? ? ?
T---
---:-- / 30
7.9113E+0066 ? ? ?
T---
---:-M / 30
DNF

0
7.9113E+0066 2.6113E+0069 50 50
TTTT
---:-- / 48
7.9113E+0066 ? 50 50
T-TT
---:P- / 42
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
? ? ? ?
----
---:-- / 0
D20N100

1.6334E+0107 ? 100 100 (expected value)

2.26 0 0.99 0.99 (confidence rate)

1.6334E+0107 ? ? ?
T?--
---:-- / 30
1.6334E+0107 ? ? ?
T?--
---:-M / 30
DNF

0
DNF

0
1.6334E+0107 ? 100 100
T?TT
---:P- / 42
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
? ? ? ?
-?--
---:-- / 0
D20N150

2.5424E+0138 ? 150 150 (expected value)

1.63 0 0.99 0.99 (confidence rate)

DNF

0
2.5424E+0138 ? ? ?
T?--
---:-M / 30
DNF

0
DNF

0
2.5424E+0138 ? 150 150
T?TT
---:P- / 42
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
? ? ? ?
-?--
---:-- / 0
D30N010

1.0100E+0023 7.6041E+0024 10 10 (expected value)

3.98 0.92 2.71 1.92 (confidence rate)

1.0100E+0023 ? ? ?
T---
---:-- / 30
1.0100E+0023 ? ? ?
T---
---:-M / 30
1.0100E+0023 ? 10 ?
T-T-
---:-- / 36
1.0100E+0023 7.6041E+0024 10 10
TTTT
---:-- / 48
1.0100E+0023 ? 10 10
T-TT
---:P- / 42
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
? ? ? ?
----
---:-- / 0
D30N050

6.4510E+0083 ? 50 50 (expected value)

2.26 0 0.99 0.99 (confidence rate)

6.4510E+0083 ? ? ?
T?--
---:-- / 30
6.4510E+0083 ? ? ?
T?--
---:-M / 30
DNF

0
DNF

0
6.4510E+0083 ? 50 50
T?TT
---:P- / 42
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
? ? ? ?
-?--
---:-- / 0
D30N100

5.7465E+0139 ? 100 100 (expected value)

1.63 0 0.99 0.99 (confidence rate)

DNF

0
5.7465E+0139 ? ? ?
T?--
---:-M / 30
DNF

0
DNF

0
5.7465E+0139 ? 100 100
T?TT
---:P- / 42
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
? ? ? ?
-?--
---:-- / 0
D30N150

3.1330E+0185 ? 150 150 (expected value)

1.63 0 0.99 0.99 (confidence rate)

DNF

0
3.1330E+0185 ? ? ?
T?--
---:-M / 30
DNF

0
DNF

0
3.1330E+0185 ? 150 150
T?TT
---:P- / 42
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
? ? ? ?
-?--
---:-- / 0
D40N010

3.1162E+0025 ? 10 10 (expected value)

3.05 0 1.79 0.99 (confidence rate)

3.1162E+0025 ? ? ?
T?--
---:-- / 30
3.1162E+0025 ? ? ?
T?--
---:-M / 30
3.1162E+0025 ? 10 ?
T?T-
---:-- / 36
DNF

0
3.1162E+0025 ? 10 10
T?TT
---:P- / 42
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
? ? ? ?
-?--
---:-- / 0
D40N050

1.1273E+0096 ? 50 50 (expected value)

1.63 0 0.99 0.99 (confidence rate)

DNF

0
1.1273E+0096 ? ? ?
T?--
---:-M / 30
DNF

0
DNF

0
1.1273E+0096 ? 50 50
T?TT
---:P- / 42
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
? ? ? ?
-?--
---:-- / 0
D40N100

5.7356E+0163 ? 100 100 (expected value)

1.63 0 0.99 0.99 (confidence rate)

DNF

0
5.7356E+0163 ? ? ?
T?--
---:P- / 30
DNF

0
DNF

0
5.7356E+0163 ? 100 100
T?TT
---:-M / 42
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
? ? ? ?
-?--
---:-- / 0
D40N150

? ? ? ? (expected value)

0 0 0 0 (confidence rate)

DNF

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
? ? ? ?
????
---:-- / 0
D50N010

2.6757E+0027 ? 10 10 (expected value)

2.26 0 0.99 0.99 (confidence rate)

2.6757E+0027 ? ? ?
T?--
---:-- / 30
2.6757E+0027 ? ? ?
T?--
---:-M / 30
DNF

0
DNF

0
2.6757E+0027 ? 10 10
T?TT
---:P- / 42
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
? ? ? ?
-?--
---:-- / 0
D50N050

4.2203E+0105 ? 50 50 (expected value)

1.63 0 0.99 0.99 (confidence rate)

DNF

0
4.2203E+0105 ? ? ?
T?--
---:PM / 30
DNF

0
DNF

0
4.2203E+0105 ? 50 50
T?TT
---:-- / 42
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
? ? ? ?
-?--
---:-- / 0
D50N100

? ? ? ? (expected value)

0 0 0 0 (confidence rate)

DNF

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
? ? ? ?
????
---:-- / 0
D50N150

? ? ? ? (expected value)

0 0 0 0 (confidence rate)

DNF

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
? ? ? ?
????
---:-- / 0
DotAndBoxes (stripped) — Colored
  GreatSPN-Meddly ITS-Tools LTSMin Marcie pnmc PNXDD TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ) StrataGEM0.5.0
Total 0 36 0 60 0 0 0 0 0 0 0
Bonuses 0 36 0 12 0 0 0 0 0 0 0
Scores 0 0 0 48 0 0 0 0 0 0 0
2

854 919 1 13 (expected value)

0.92 0.92 0.92 0.92 (confidence rate)

CC

0
11 ? ? ?
X---
V--:-- / -
CC

0
854 919 1 13
TTTT
---:PM / 48
DNC DNC DNC DNC DNC DNC DNC
3

(383) ? ? ? (expected value)

0.64 0 0 0 (confidence rate)

CC

0
383 ? ? ?
????
---:PM / 0
CC

0
DNF

0
DNC DNC DNC DNC DNC DNC DNC
4

(220819) ? ? ? (expected value)

0.64 0 0 0 (confidence rate)

CC

0
220819 ? ? ?
????
---:PM / 0
CC

0
DNF

0
DNC DNC DNC DNC DNC DNC DNC
5

(3.1563E+0009) ? ? ? (expected value)

0.64 0 0 0 (confidence rate)

CC

0
3.1563E+0009 ? ? ?
????
---:PM / 0
CC

0
DNF

0
DNC DNC DNC DNC DNC DNC DNC
DrinkVendingMachine (stripped) — Colored
  GreatSPN-Meddly ITS-Tools LTSMin Marcie pnmc PNXDD TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ) StrataGEM0.5.0
Total 0 102 0 102 0 0 0 0 0 0 0
Bonuses 0 42 0 6 0 0 0 0 0 0 0
Scores 0 60 0 96 0 0 0 0 0 0 0
02

1024 7680 1 12 (expected value)

1.56 0.92 0.92 0.92 (confidence rate)

CC

0
1024 ? ? ?
T---
---:-M / 30
CC

0
1024 7680 1 12
TTTT
---:P- / 48
DNC DNC DNC DNC DNC DNC DNC
10

1.1529E+0018 3.4501E+0021 1 60 (expected value)

1.56 0.92 0.92 0.92 (confidence rate)

CC

0
1.1529E+0018 ? ? ?
T---
---:PM / 30
CC

0
1.1529E+0018 3.4501E+0021 1 60
TTTT
---:-- / 48
DNC DNC DNC DNC DNC DNC DNC
16

(7.9228E+0028) ? ? ? (expected value)

0.64 0 0 0 (confidence rate)

CC

0
7.9228E+0028 ? ? ?
????
---:PM / 0
CC

0
DNF

0
DNC DNC DNC DNC DNC DNC DNC
24

(2.2301E+0043) ? ? ? (expected value)

0.64 0 0 0 (confidence rate)

CC

0
2.2301E+0043 ? ? ?
????
---:PM / 0
CC

0
CC

0
DNC DNC DNC DNC DNC DNC DNC
48

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
CC

0
DNC DNC DNC DNC DNC DNC DNC
76

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
CC

0
DNC DNC DNC DNC DNC DNC DNC
98

? (expected value)

0 (confidence rate)

CC

0
CC

0
CC

0
CC

0
DNC DNC DNC DNC DNC DNC DNC
DrinkVendingMachine (stripped) — P/T
  GreatSPN-Meddly ITS-Tools LTSMin Marcie pnmc PNXDD TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ) StrataGEM0.5.0
Total 30 60 0 96 96 0 48 48 30 30 30
Bonuses 0 0 0 0 12 0 6 6 0 0 0
Scores 30 60 0 96 84 0 42 42 30 30 30
02

1024 7680 1 12 (expected value)

6.11 0.92 3.71 2.92 (confidence rate)

1024 ? ? ?
T---
---:-- / 30
1024 ? ? ?
T---
---:-- / 30
4096 ? 1 ?
X-T-
V--:-- / -
1024 7680 1 12
TTTT
---:-- / 48
1024 ? 1 12
T-TT
---:-- / 42
CC

0
1024 ? 1 12
T-TT
---:P- / 42
1024 ? 1 12
T-TT
---:-M / 42
1024 ? ? ?
T---
---:-- / 30
1024 ? ? ?
T---
---:-- / 30
1024 ? ? ?
T---
---:-- / 30
10

1.1529E+0018 3.4501E+0021 1 60 (expected value)

2.56 0.92 1.92 1.92 (confidence rate)

DNF

0
1.1529E+0018 ? ? ?
T---
---:-- / 30
CC

0
1.1529E+0018 3.4501E+0021 1 60
TTTT
---:-- / 48
1.1529E+0018 ? 1 60
T-TT
---:PM / 42
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
ERK (stripped) — P/T
  GreatSPN-Meddly ITS-Tools LTSMin Marcie pnmc PNXDD TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ) StrataGEM0.5.0
Total 60 108 108 150 126 0 84 108 84 60 90
Bonuses 0 18 0 6 0 0 0 24 24 0 0
Scores 60 90 108 144 126 0 84 84 60 60 90
000001

13 30 1 5 (expected value)

6.90 0.92 3.71 2.92 (confidence rate)

13 ? ? ?
T---
---:-- / 30
13 ? ? ?
T---
---:-- / 30
13 ? 1 ?
T-T-
---:-- / 36
13 30 1 5
TTTT
---:-- / 48
13 ? 1 5
T-TT
---:-- / 42
CC

0
13 ? 1 5
T-TT
---:-- / 42
13 ? 1 5
T-TT
---:PM / 42
13 ? ? ?
T---
---:-- / 30
13 ? ? ?
T---
---:-- / 30
13 ? ? ?
T---
---:-- / 30
000010

47047 372372 10 50 (expected value)

6.90 0.92 3.71 2.92 (confidence rate)

47047 ? ? ?
T---
---:-- / 30
47047 ? ? ?
T---
---:-- / 30
47047 ? 10 ?
T-T-
---:-- / 36
47047 372372 10 50
TTTT
---:-- / 48
47047 ? 10 50
T-TT
---:-- / 42
CC

0
47047 ? 10 50
T-TT
---:-- / 42
47047 ? 10 50
T-TT
---:PM / 42
47047 ? ? ?
T---
---:-- / 30
47047 ? ? ?
T---
---:-- / 30
47047 ? ? ?
T---
---:-- / 30
000100

1.5914E+0010 1.6845E+0011 100 500 (expected value)

4.35 0.92 2.71 1.92 (confidence rate)

DNF

0
1.5914E+0010 ? ? ?
T---
---:-M / 30
1.5914E+0010 ? 100 ?
T-T-
---:-- / 36
1.5914E+0010 1.6845E+0011 100 500
TTTT
---:P- / 48
1.5914E+0010 ? 100 500
T-TT
---:-- / 42
CC

0
CC

0
CC

0
16777205 ? ? ?
X---
V--:-- / -
64384218 ? ? ?
X---
V-S:-- / -
1.5914E+0010 ? ? ?
T---
---:-- / 30
001000

(16777201) ? ? ? (expected value)

0.45 0 0 0 (confidence rate)

DNF

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
CC

0
CC

0
16777201 ? ? ?
????
---:PM / 0
64352809 ? ? ?
X???
V-S:-- / -
DNF

0
010000

(16777200) ? ? ? (expected value)

0.45 0 0 0 (confidence rate)

DNF

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
CC

0
CC

0
16777200 ? ? ?
????
---:PM / 0
64358597 ? ? ?
X???
V-S:-- / -
DNF

0
100000

(1) ? ? ? (expected value)

0.64 0 0 0 (confidence rate)

DNF

0
1 ? ? ?
????
---:PM / 0
DNF

0
CC

0
CC

0
CC

0
CC

0
CC

0
16777192 ? ? ?
X???
V--:-- / -
64367025 ? ? ?
X???
V-S:-- / -
DNF

0
Echo (stripped) — P/T
  GreatSPN-Meddly ITS-Tools LTSMin Marcie pnmc PNXDD TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ) StrataGEM0.5.0
Total 0 0 0 0 0 0 0 0 0 0 0
Bonuses 0 0 0 0 0 0 0 0 0 0 0
Scores 0 0 0 0 0 0 0 0 0 0 0
d02r09

? ? ? ? (expected value)

0 0 0 0 (confidence rate)

DNF

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
194073 ? ? ?
????
--S:-- / -
DNF

0
d02r11

? ? ? ? (expected value)

0 0 0 0 (confidence rate)

DNF

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
93550 ? ? ?
????
--S:-- / -
DNF

0
d02r15

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
d02r19

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
d03r03

? ? ? ? (expected value)

0 0 0 0 (confidence rate)

DNF

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
387676 ? ? ?
????
--S:-- / -
DNF

0
d03r05

? ? ? ? (expected value)

0 0 0 0 (confidence rate)

DNF

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
53232 ? ? ?
????
--S:-- / -
DNF

0
d03r07

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
d04r03

? ? ? ? (expected value)

0 0 0 0 (confidence rate)

DNF

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
48279 ? ? ?
????
--S:-- / -
DNF

0
d05r03

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
EnergyBus (stripped) — P/T
  GreatSPN-Meddly ITS-Tools LTSMin Marcie pnmc PNXDD TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ) StrataGEM0.5.0
Total 36 0 0 48 36 0 0 0 0 0 0
Bonuses 6 0 0 0 6 0 0 0 0 0 0
Scores 30 0 0 48 30 0 0 0 0 0 0
none

2.1318E+0012 4.0859E+0013 1 22 (expected value)

2.55 0.92 0.92 0.92 (confidence rate)

2.1318E+0012 ? ? ?
T---
---:-M / 30
7.0471E+0009 ? ? ?
X---
V--:-- / -
DNF

0
2.1318E+0012 4.0859E+0013 1 22
TTTT
---:-- / 48
2.1318E+0012 ? ? ?
T---
---:P- / 30
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
Eratosthenes (stripped) — P/T
  GreatSPN-Meddly ITS-Tools LTSMin Marcie pnmc PNXDD TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ) StrataGEM0.5.0
Total 102 210 216 288 258 0 84 96 72 60 180
Bonuses 12 30 0 0 6 0 0 12 12 0 0
Scores 90 180 216 288 252 0 84 84 60 60 180
010

32 120 1 9 (expected value)

6.90 0.92 3.71 2.92 (confidence rate)

32 ? ? ?
T---
---:-- / 30
32 ? ? ?
T---
---:-- / 30
32 ? 1 ?
T-T-
---:-- / 36
32 120 1 9
TTTT
---:-- / 48
32 ? 1 9
T-TT
---:-- / 42
CC

0
32 ? 1 9
T-TT
---:-- / 42
32 ? 1 9
T-TT
---:P- / 42
32 ? ? ?
T---
---:-M / 30
32 ? ? ?
T---
---:-- / 30
32 ? ? ?
T---
---:-- / 30
020

2048 23040 1 19 (expected value)

6.90 0.92 3.71 2.92 (confidence rate)

2048 ? ? ?
T---
---:-- / 30
2048 ? ? ?
T---
---:-- / 30
2048 ? 1 ?
T-T-
---:-- / 36
2048 23040 1 19
TTTT
---:-- / 48
2048 ? 1 19
T-TT
---:-- / 42
CC

0
2048 ? 1 19
T-TT
---:-- / 42
2048 ? 1 19
T-TT
---:P- / 42
2048 ? ? ?
T---
---:-M / 30
2048 ? ? ?
T---
---:-- / 30
2048 ? ? ?
T---
---:-- / 30
050

1.7180E+0010 7.3014E+0011 1 49 (expected value)

4.98 0.92 2.71 1.92 (confidence rate)

1.7180E+0010 ? ? ?
T---
---:PM / 30
1.7180E+0010 ? ? ?
T---
---:-- / 30
1.7180E+0010 ? 1 ?
T-T-
---:-- / 36
1.7180E+0010 7.3014E+0011 1 49
TTTT
---:-- / 48
1.7180E+0010 ? 1 49
T-TT
---:-- / 42
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
1.7180E+0010 ? ? ?
T---
---:-- / 30
100

1.8889E+0022 2.0259E+0024 1 99 (expected value)

4.35 0.92 2.71 1.92 (confidence rate)

1.8890E+0022 ? ? ?
X---
V--:-- / -
1.8889E+0022 ? ? ?
T---
---:PM / 30
1.8889E+0022 ? 1 ?
T-T-
---:-- / 36
1.8889E+0022 2.0259E+0024 1 99
TTTT
---:-- / 48
1.8889E+0022 ? 1 99
T-TT
---:-- / 42
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
1.8889E+0022 ? ? ?
T---
---:-- / 30
200

1.1418E+0046 2.9173E+0048 1 199 (expected value)

4.35 0.92 2.71 1.92 (confidence rate)

CC

0
1.1418E+0046 ? ? ?
T---
---:PM / 30
1.1418E+0046 ? 1 ?
T-T-
---:-- / 36
1.1418E+0046 2.9173E+0048 1 199
TTTT
---:-- / 48
1.1418E+0046 ? 1 199
T-TT
---:-- / 42
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
1.1418E+0046 ? ? ?
T---
---:-- / 30
500

4.1316E+0121 3.2061E+0124 1 499 (expected value)

4.35 0.92 2.71 1.92 (confidence rate)

CC

0
4.1316E+0121 ? ? ?
T---
---:-M / 30
4.1316E+0121 ? 1 ?
T-T-
---:-- / 36
4.1316E+0121 3.2061E+0124 1 499
TTTT
---:-- / 48
4.1316E+0121 ? 1 499
T-TT
---:P- / 42
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
4.1316E+0121 ? ? ?
T---
---:-- / 30
FMS (stripped) — P/T
  GreatSPN-Meddly ITS-Tools LTSMin Marcie pnmc PNXDD TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ) StrataGEM0.5.0
Total 204 186 228 288 252 0 84 96 72 60 150
Bonuses 54 6 12 0 0 0 0 12 12 0 0
Scores 150 180 216 288 252 0 84 84 60 60 150
002

3444 16311 3 12 (expected value)

6.90 0.92 3.71 2.92 (confidence rate)

3444 ? ? ?
T---
---:-- / 30
3444 ? ? ?
T---
---:-- / 30
3444 ? 3 ?
T-T-
---:-- / 36
3444 16311 3 12
TTTT
---:-- / 48
3444 ? 3 12
T-TT
---:-- / 42
CC

0
3444 ? 3 12
T-TT
---:-- / 42
3444 ? 3 12
T-TT
---:PM / 42
3444 ? ? ?
T---
---:-- / 30
3444 ? ? ?
T---
---:-- / 30
3444 ? ? ?
T---
---:-- / 30
005

2895018 23527185 5 21 (expected value)

6.27 0.92 3.71 2.92 (confidence rate)

2895020 ? ? ?
X---
V--:-- / -
2895018 ? ? ?
T---
---:-- / 30
2895018 ? 5 ?
T-T-
---:PM / 36
2895018 23527185 5 21
TTTT
---:-- / 48
2895018 ? 5 21
T-TT
---:-- / 42
CC

0
2895018 ? 5 21
T-TT
---:-- / 42
2895018 ? 5 21
T-TT
---:-- / 42
2895018 ? ? ?
T---
---:-- / 30
2895018 ? ? ?
T---
---:-- / 30
2895018 ? ? ?
T---
---:-- / 30
010

2.5014E+0009 2.7568E+0010 10 36 (expected value)

4.98 0.92 2.71 1.92 (confidence rate)

2.5014E+0009 ? ? ?
T---
---:PM / 30
2.5014E+0009 ? ? ?
T---
---:-- / 30
2.5014E+0009 ? 10 ?
T-T-
---:-- / 36
2.5014E+0009 2.7568E+0010 10 36
TTTT
---:-- / 48
2.5014E+0009 ? 10 36
T-TT
---:-- / 42
CC

0
DNF

0
DNF

0
16777199 ? ? ?
X---
V--:-- / -
27080486 ? ? ?
X---
V-S:-- / -
2.5014E+0009 ? ? ?
T---
---:-- / 30
020

6.0292E+0012 8.1442E+0013 20 66 (expected value)

4.98 0.92 2.71 1.92 (confidence rate)

6.0292E+0012 ? ? ?
T---
---:PM / 30
6.0292E+0012 ? ? ?
T---
---:-- / 30
6.0292E+0012 ? 20 ?
T-T-
---:-- / 36
6.0292E+0012 8.1442E+0013 20 66
TTTT
---:-- / 48
6.0292E+0012 ? 20 66
T-TT
---:-- / 42
CC

0
CC

0
DNF

0
16777186 ? ? ?
X---
V--:-- / -
25878771 ? ? ?
X---
V-S:-- / -
6.0292E+0012 ? ? ?
T---
---:-- / 30
050

4.2403E+0017 6.6135E+0018 50 156 (expected value)

4.98 0.92 2.71 1.92 (confidence rate)

4.2403E+0017 ? ? ?
T---
---:PM / 30
4.2403E+0017 ? ? ?
T---
---:-- / 30
4.2403E+0017 ? 50 ?
T-T-
---:-- / 36
4.2403E+0017 6.6135E+0018 50 156
TTTT
---:-- / 48
4.2403E+0017 ? 50 156
T-TT
---:-- / 42
CC

0
CC

0
DNF

0
16777200 ? ? ?
X---
V--:-- / -
25766580 ? ? ?
X---
V-S:-- / -
4.2403E+0017 ? ? ?
T---
---:-- / 30
100

2.7031E+0021 4.4401E+0022 100 306 (expected value)

3.98 0.92 2.71 1.92 (confidence rate)

2.7031E+0021 ? ? ?
T---
---:-M / 30
2.7031E+0021 ? ? ?
T---
---:P- / 30
2.7031E+0021 ? 100 ?
T-T-
---:-- / 36
2.7031E+0021 4.4401E+0022 100 306
TTTT
---:-- / 48
2.7031E+0021 ? 100 306
T-TT
---:-- / 42
CC

0
CC

0
DNF

0
16777195 ? ? ?
X---
V--:-- / -
26311512 ? ? ?
X---
V-S:-- / -
DNF

0
200

(1.9536E+0025) ? ? ? (expected value)

0.63 0 0 0 (confidence rate)

1.9536E+0025 ? ? ?
????
---:PM / 0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
DNF

0
CC

0
16777179 ? ? ?
X???
V--:-- / -
25974436 ? ? ?
X???
V-S:-- / -
DNF

0
500

(16777211) ? ? ? (expected value)

0.45 0 0 0 (confidence rate)

DNF

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
CC

0
DNF

0
16777211 ? ? ?
????
---:PM / 0
26071077 ? ? ?
X???
V-S:-- / -
DNF

0
GlobalResAllocation (stripped) — Colored
  GreatSPN-Meddly ITS-Tools LTSMin Marcie pnmc PNXDD TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ) StrataGEM0.5.0
Total 0 54 0 48 0 0 0 0 0 0 0
Bonuses 0 24 0 0 0 0 0 0 0 0 0
Scores 0 30 0 48 0 0 0 0 0 0 0
03

6320 116178 4 18 (expected value)

1.56 0.92 0.92 0.92 (confidence rate)

CC

0
6320 ? ? ?
T---
---:PM / 30
CC

0
6320 116178 4 18
TTTT
---:-- / 48
DNC DNC DNC DNC DNC DNC DNC
05

(1.0660E+0008) ? ? ? (expected value)

0.64 0 0 0 (confidence rate)

CC

0
1.0660E+0008 ? ? ?
????
---:PM / 0
CC

0
DNF

0
DNC DNC DNC DNC DNC DNC DNC
06

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
DNF

0
DNC DNC DNC DNC DNC DNC DNC
07

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
DNF

0
DNC DNC DNC DNC DNC DNC DNC
09

? (expected value)

0 (confidence rate)

CC

0
CC

0
CC

0
DNF

0
DNC DNC DNC DNC DNC DNC DNC
10

? (expected value)

0 (confidence rate)

CC

0
CC

0
CC

0
DNF

0
DNC DNC DNC DNC DNC DNC DNC
11

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
DNF

0
DNC DNC DNC DNC DNC DNC DNC
GlobalResAllocation (stripped) — P/T
  GreatSPN-Meddly ITS-Tools LTSMin Marcie pnmc PNXDD TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ) StrataGEM0.5.0
Total 30 60 0 48 96 0 48 48 30 30 30
Bonuses 0 0 0 0 12 0 6 6 0 0 0
Scores 30 60 0 48 84 0 42 42 30 30 30
03

6320 116178 4 18 (expected value)

6.11 0.92 2.92 2.92 (confidence rate)

6320 ? ? ?
T---
---:-- / 30
6320 ? ? ?
T---
---:-- / 30
DNF

0
6320 116178 4 18
TTTT
---:-- / 48
6320 ? 4 18
T-TT
---:-- / 42
CC

0
6320 ? 4 18
T-TT
---:P- / 42
6320 ? 4 18
T-TT
---:-M / 42
6320 ? ? ?
T---
---:-- / 30
6320 ? ? ?
T---
---:-- / 30
6320 ? ? ?
T---
---:-- / 30
05

1.0660E+0008 ? 4 30 (expected value)

1.63 0 0.99 0.99 (confidence rate)

DNF

0
1.0660E+0008 ? ? ?
T?--
---:-- / 30
CC

0
DNF

0
1.0660E+0008 ? 4 30
T?TT
---:PM / 42
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
HouseConstruction (stripped) — P/T
  GreatSPN-Meddly ITS-Tools LTSMin Marcie pnmc PNXDD TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ) StrataGEM0.5.0
Total 84 126 150 192 186 0 90 90 60 60 90
Bonuses 54 6 6 0 18 0 6 6 0 0 0
Scores 30 120 144 192 168 0 84 84 60 60 90
002

1501 4780 2 12 (expected value)

6.90 0.92 3.71 2.92 (confidence rate)

1501 ? ? ?
T---
---:-M / 30
1501 ? ? ?
T---
---:-- / 30
1501 ? 2 ?
T-T-
---:-- / 36
1501 4780 2 12
TTTT
---:-- / 48
1501 ? 2 12
T-TT
---:-- / 42
CC

0
1501 ? 2 12
T-TT
---:P- / 42
1501 ? 2 12
T-TT
---:-- / 42
1501 ? ? ?
T---
---:-- / 30
1501 ? ? ?
T---
---:-- / 30
1501 ? ? ?
T---
---:-- / 30
005

1187984 7191110 5 30 (expected value)

6.27 0.92 3.71 2.92 (confidence rate)

1 ? ? ?
X---
V--:-- / -
1187984 ? ? ?
T---
---:-- / 30
1187984 ? 5 ?
T-T-
---:P- / 36
1187984 7191110 5 30
TTTT
---:-- / 48
1187984 ? 5 30
T-TT
---:-- / 42
CC

0
1187984 ? 5 30
T-TT
---:-- / 42
1187984 ? 5 30
T-TT
---:-M / 42
1187984 ? ? ?
T---
---:-- / 30
1187984 ? ? ?
T---
---:-- / 30
1187984 ? ? ?
T---
---:-- / 30
010

1.6636E+0009 1.4808E+0010 10 60 (expected value)

4.35 0.92 2.71 1.92 (confidence rate)

1 ? ? ?
X---
V--:-- / -
1.6636E+0009 ? ? ?
T---
---:-M / 30
1.6636E+0009 ? 10 ?
T-T-
---:-- / 36
1.6636E+0009 1.4808E+0010 10 60
TTTT
---:-- / 48
1.6636E+0009 ? 10 60
T-TT
---:P- / 42
CC

0
DNF

0
DNF

0
16777199 ? ? ?
X---
V--:-- / -
13836945 ? ? ?
X---
V-S:-- / -
1.6636E+0009 ? ? ?
T---
---:-- / 30
020

1.3666E+0013 1.6144E+0014 20 120 (expected value)

3.35 0.92 2.71 1.92 (confidence rate)

1 ? ? ?
X---
V--:-- / -
1.3666E+0013 ? ? ?
T---
---:-- / 30
1.3666E+0013 ? 20 ?
T-T-
---:-- / 36
1.3666E+0013 1.6144E+0014 20 120
TTTT
---:-- / 48
1.3666E+0013 ? 20 120
T-TT
---:PM / 42
CC

0
CC

0
CC

0
16777207 ? ? ?
X---
V--:-- / -
13284287 ? ? ?
X---
V-S:-- / -
DNF

0
050

(1) ? ? ? (expected value)

0.63 0 0 0 (confidence rate)

1 ? ? ?
????
---:PM / 0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
CC

0
CC

0
16777197 ? ? ?
X???
V--:-- / -
13216696 ? ? ?
X???
V-S:-- / -
DNF

0
100

(1) ? ? ? (expected value)

0.63 0 0 0 (confidence rate)

1 ? ? ?
????
---:PM / 0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
CC

0
CC

0
16777203 ? ? ?
X???
V--:-- / -
13249418 ? ? ?
X???
V-S:-- / -
DNF

0
200

(1) ? ? ? (expected value)

0.63 0 0 0 (confidence rate)

1 ? ? ?
????
---:PM / 0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
CC

0
CC

0
16777190 ? ? ?
X???
V--:-- / -
13226083 ? ? ?
X???
V-S:-- / -
DNF

0
500

(1) ? ? ? (expected value)

0.63 0 0 0 (confidence rate)

1 ? ? ?
????
---:PM / 0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
CC

0
CC

0
16777177 ? ? ?
X???
V--:-- / -
13139683 ? ? ?
X???
V-S:-- / -
DNF

0
IBMB2S565S3960 (stripped) — P/T
  GreatSPN-Meddly ITS-Tools LTSMin Marcie pnmc PNXDD TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ) StrataGEM0.5.0
Total 0 0 0 54 48 0 0 0 0 0 30
Bonuses 0 0 0 6 6 0 0 0 0 0 0
Scores 0 0 0 48 42 0 0 0 0 0 30
none

1.5511E+0016 2.0113E+0017 7 60 (expected value)

2.92 0.92 1.92 1.92 (confidence rate)

DNF

0
CC

0
DNF

0
1.5511E+0016 2.0113E+0017 7 60
TTTT
---:P- / 48
1.5511E+0016 ? 7 60
T-TT
---:-M / 42
CC

0
DNF

0
DNF

0
DNF

0
1325179 ? ? ?
X---
V-S:-- / -
1.5511E+0016 ? ? ?
T---
---:-- / 30
Kanban (stripped) — P/T
  GreatSPN-Meddly ITS-Tools LTSMin Marcie pnmc PNXDD TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ) StrataGEM0.5.0
Total 210 186 150 240 210 0 42 42 54 30 150
Bonuses 60 6 6 0 0 0 0 0 24 0 0
Scores 150 180 144 240 210 0 42 42 30 30 150
0005

2546432 24460016 5 20 (expected value)

6.27 0.92 3.71 2.92 (confidence rate)

2546430 ? ? ?
X---
V--:-- / -
2546432 ? ? ?
T---
---:-M / 30
2546432 ? 5 ?
T-T-
---:P- / 36
2546432 24460016 5 20
TTTT
---:-- / 48
2546432 ? 5 20
T-TT
---:-- / 42
CC

0
2546432 ? 5 20
T-TT
---:-- / 42
2546432 ? 5 20
T-TT
---:-- / 42
2546432 ? ? ?
T---
---:-- / 30
2546432 ? ? ?
T---
---:-- / 30
2546432 ? ? ?
T---
---:-- / 30
0010

1.0059E+0009 1.2032E+0010 10 40 (expected value)

4.98 0.92 2.71 1.92 (confidence rate)

1.0059E+0009 ? ? ?
T---
---:PM / 30
1.0059E+0009 ? ? ?
T---
---:-- / 30
1.0059E+0009 ? 10 ?
T-T-
---:-- / 36
1.0059E+0009 1.2032E+0010 10 40
TTTT
---:-- / 48
1.0059E+0009 ? 10 40
T-TT
---:-- / 42
CC

0
DNF

0
DNF

0
16777208 ? ? ?
X---
V--:-- / -
29505766 ? ? ?
X---
V-S:-- / -
1.0059E+0009 ? ? ?
T---
---:-- / 30
0020

8.0542E+0011 1.1012E+0013 20 80 (expected value)

4.98 0.92 2.71 1.92 (confidence rate)

8.0542E+0011 ? ? ?
T---
---:PM / 30
8.0542E+0011 ? ? ?
T---
---:-- / 30
8.0542E+0011 ? 20 ?
T-T-
---:-- / 36
8.0542E+0011 1.1012E+0013 20 80
TTTT
---:-- / 48
8.0542E+0011 ? 20 80
T-TT
---:-- / 42
CC

0
CC

0
CC

0
16777198 ? ? ?
X---
V--:-- / -
28482957 ? ? ?
X---
V-S:-- / -
8.0542E+0011 ? ? ?
T---
---:-- / 30
0050

1.0426E+0016 1.5612E+0017 50 200 (expected value)

4.98 0.92 2.71 1.92 (confidence rate)

1.0426E+0016 ? ? ?
T---
---:PM / 30
1.0426E+0016 ? ? ?
T---
---:-- / 30
1.0426E+0016 ? 50 ?
T-T-
---:-- / 36
1.0426E+0016 1.5612E+0017 50 200
TTTT
---:-- / 48
1.0426E+0016 ? 50 200
T-TT
---:-- / 42
CC

0
CC

0
CC

0
16777184 ? ? ?
X---
V--:-- / -
28567911 ? ? ?
X---
V-S:-- / -
1.0426E+0016 ? ? ?
T---
---:-- / 30
0100

1.7263E+0019 2.6705E+0020 100 400 (expected value)

4.19 0.92 1.92 1.92 (confidence rate)

1.7263E+0019 ? ? ?
T---
---:PM / 30
1.7263E+0019 ? ? ?
T---
---:-- / 30
DNF

0
1.7263E+0019 2.6705E+0020 100 400
TTTT
---:-- / 48
1.7263E+0019 ? 100 400
T-TT
---:-- / 42
CC

0
CC

0
CC

0
16777194 ? ? ?
X---
V--:-- / -
28416360 ? ? ?
X---
V-S:-- / -
1.7263E+0019 ? ? ?
T---
---:-- / 30
0200

3.1732E+0022 ? ? ? (expected value)

1.27 0 0 0 (confidence rate)

3.1732E+0022 ? ? ?
T???
---:PM / 30
3.1732E+0022 ? ? ?
T???
---:-- / 30
DNF

0
CC

0
DNF

0
CC

0
CC

0
CC

0
16777207 ? ? ?
X???
V--:-- / -
28235471 ? ? ?
X???
V-S:-- / -
DNF

0
0500

(16777179) ? ? ? (expected value)

0.45 0 0 0 (confidence rate)

DNF

0
CC

0
DNF

0
CC

0
DNF

0
CC

0
CC

0
CC

0
16777179 ? ? ?
????
---:PM / 0
28294558 ? ? ?
X???
V-S:-- / -
DNF

0
1000

(16777193) ? ? ? (expected value)

0.45 0 0 0 (confidence rate)

DNF

0
CC

0
DNF

0
CC

0
DNF

0
CC

0
CC

0
CC

0
16777193 ? ? ?
????
---:PM / 0
28233317 ? ? ?
X???
V-S:-- / -
DNF

0
LamportFastMutEx (stripped) — Colored
  GreatSPN-Meddly ITS-Tools LTSMin Marcie pnmc PNXDD TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ) StrataGEM0.5.0
Total 0 150 0 144 0 0 0 0 0 0 0
Bonuses 0 60 0 0 0 0 0 0 0 0 0
Scores 0 90 0 144 0 0 0 0 0 0 0
2

380 716 1 8 (expected value)

1.56 0.92 0.92 0.92 (confidence rate)

CC

0
380 ? ? ?
T---
---:PM / 30
CC

0
380 716 1 8
TTTT
---:-- / 48
DNC DNC DNC DNC DNC DNC DNC
3

19742 58272 1 14 (expected value)

1.56 0.92 0.92 0.92 (confidence rate)

CC

0
19742 ? ? ?
T---
---:PM / 30
CC

0
19742 58272 1 14
TTTT
---:-- / 48
DNC DNC DNC DNC DNC DNC DNC
4

1914784 9046048 1 22 (expected value)

1.56 0.92 0.92 0.92 (confidence rate)

CC

0
1914784 ? ? ?
T---
---:PM / 30
CC

0
1914784 9046048 1 22
TTTT
---:-- / 48
DNC DNC DNC DNC DNC DNC DNC
5

(5.3068E+0008) ? ? ? (expected value)

0.64 0 0 0 (confidence rate)

CC

0
5.3068E+0008 ? ? ?
????
---:PM / 0
CC

0
DNF

0
DNC DNC DNC DNC DNC DNC DNC
6

(5.4723E+0011) ? ? ? (expected value)

0.64 0 0 0 (confidence rate)

CC

0
5.4723E+0011 ? ? ?
????
---:PM / 0
CC

0
DNF

0
DNC DNC DNC DNC DNC DNC DNC
7

? (expected value)

0 (confidence rate)

CC

0
CC

0
CC

0
DNF

0
DNC DNC DNC DNC DNC DNC DNC
8

? (expected value)

0 (confidence rate)

CC

0
CC

0
CC

0
DNF

0
DNC DNC DNC DNC DNC DNC DNC
LamportFastMutEx (stripped) — P/T
  GreatSPN-Meddly ITS-Tools LTSMin Marcie pnmc PNXDD TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ) StrataGEM0.5.0
Total 60 156 108 144 168 0 96 96 90 90 90
Bonuses 0 36 0 0 0 0 12 12 0 0 0
Scores 60 120 108 144 168 0 84 84 90 90 90
2

380 716 1 8 (expected value)

6.90 0.92 3.71 2.92 (confidence rate)

380 ? ? ?
T---
---:-- / 30
380 ? ? ?
T---
---:-- / 30
380 ? 1 ?
T-T-
---:-- / 36
380 716 1 8
TTTT
---:-- / 48
380 ? 1 8
T-TT
---:-- / 42
CC

0
380 ? 1 8
T-TT
---:P- / 42
380 ? 1 8
T-TT
---:-M / 42
380 ? ? ?
T---
---:-- / 30
380 ? ? ?
T---
---:-- / 30
380 ? ? ?
T---
---:-- / 30
3

19742 58272 1 14 (expected value)

6.90 0.92 3.71 2.92 (confidence rate)

19742 ? ? ?
T---
---:-- / 30
19742 ? ? ?
T---
---:-- / 30
19742 ? 1 ?
T-T-
---:-- / 36
19742 58272 1 14
TTTT
---:-- / 48
19742 ? 1 14
T-TT
---:-- / 42
CC

0
19742 ? 1 14
T-TT
---:P- / 42
19742 ? 1 14
T-TT
---:-M / 42
19742 ? ? ?
T---
---:-- / 30
19742 ? ? ?
T---
---:-- / 30
19742 ? ? ?
T---
---:-- / 30
4

1914784 9046048 1 22 (expected value)

5.27 0.92 2.71 1.92 (confidence rate)

1914780 ? ? ?
X---
V--:-- / -
1914784 ? ? ?
T---
---:PM / 30
1914784 ? 1 ?
T-T-
---:-- / 36
1914784 9046048 1 22
TTTT
---:-- / 48
1914784 ? 1 22
T-TT
---:-- / 42
CC

0
DNF

0
DNF

0
1914784 ? ? ?
T---
---:-- / 30
1914784 ? ? ?
T---
---:-- / 30
1914784 ? ? ?
T---
---:-- / 30
5

5.3068E+0008 ? 1 32 (expected value)

1.63 0 0.99 0.99 (confidence rate)

DNF

0
5.3068E+0008 ? ? ?
T?--
---:PM / 30
DNF

0
DNF

0
5.3068E+0008 ? 1 32
T?TT
---:-- / 42
CC

0
DNF

0
DNF

0
DNF

0
3008002 ? ? ?
X?--
V-S:-- / -
DNF

0
6

(5.4723E+0011) ? ? ? (expected value)

0.64 0 0 0 (confidence rate)

DNF

0
5.4723E+0011 ? ? ?
????
---:PM / 0
DNF

0
DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
1141832 ? ? ?
X???
V-S:-- / -
DNF

0
7

? ? ? ? (expected value)

0 0 0 0 (confidence rate)

DNF

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
969661 ? ? ?
????
--S:-- / -
DNF

0
8

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
MAPK (stripped) — P/T
  GreatSPN-Meddly ITS-Tools LTSMin Marcie pnmc PNXDD TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ) StrataGEM0.5.0
Total 0 108 150 192 300 0 42 42 30 30 60
Bonuses 0 18 6 0 48 0 0 0 0 0 0
Scores 0 90 144 192 252 0 42 42 30 30 60
008

6110643 78948888 8 36 (expected value)

6.27 0.92 3.71 2.92 (confidence rate)

6110640 ? ? ?
X---
V--:-- / -
6110643 ? ? ?
T---
---:-M / 30
6110643 ? 8 ?
T-T-
---:P- / 36
6110643 78948888 8 36
TTTT
---:-- / 48
6110643 ? 8 36
T-TT
---:-- / 42
CC

0
6110643 ? 8 36
T-TT
---:-- / 42
6110643 ? 8 36
T-TT
---:-- / 42
6110643 ? ? ?
T---
---:-- / 30
6110643 ? ? ?
T---
---:-- / 30
6110643 ? ? ?
T---
---:-- / 30
020

8.8126E+0010 1.6890E+0012 20 90 (expected value)

4.35 0.92 2.71 1.92 (confidence rate)

DNF

0
8.8126E+0010 ? ? ?
T---
---:-M / 30
8.8126E+0010 ? 20 ?
T-T-
---:-- / 36
8.8126E+0010 1.6890E+0012 20 90
TTTT
---:-- / 48
8.8126E+0010 ? 20 90
T-TT
---:P- / 42
CC

0
CC

0
DNF

0
16777202 ? ? ?
X---
V--:-- / -
26019649 ? ? ?
X---
V-S:-- / -
8.8126E+0010 ? ? ?
T---
---:-- / 30
040

4.7829E+0014 1.1099E+0016 40 180 (expected value)

3.35 0.92 2.71 1.92 (confidence rate)

DNF

0
4.7829E+0014 ? ? ?
T---
---:-M / 30
4.7829E+0014 ? 40 ?
T-T-
---:-- / 36
4.7829E+0014 1.1099E+0016 40 180
TTTT
---:-- / 48
4.7829E+0014 ? 40 180
T-TT
---:P- / 42
CC

0
CC

0
CC

0
16777205 ? ? ?
X---
V--:-- / -
25672545 ? ? ?
X---
V-S:-- / -
DNF

0
080

5.6349E+0018 1.4704E+0020 80 360 (expected value)

2.71 0.92 2.71 1.92 (confidence rate)

DNF

0
CC

0
5.6349E+0018 ? 80 ?
T-T-
---:-- / 36
5.6349E+0018 1.4704E+0020 80 360
TTTT
---:-- / 48
5.6349E+0018 ? 80 360
T-TT
---:PM / 42
CC

0
CC

0
CC

0
16777195 ? ? ?
X---
V--:-- / -
25531166 ? ? ?
X---
V-S:-- / -
DNF

0
160

1.0640E+0023 ? 160 720 (expected value)

0.99 0 0.99 0.99 (confidence rate)

DNF

0
CC

0
DNF

0
DNF

0
1.0640E+0023 ? 160 720
T?TT
---:PM / 42
CC

0
CC

0
CC

0
16777198 ? ? ?
X?--
V--:-- / -
25730093 ? ? ?
X?--
V-S:-- / -
DNF

0
320

2.6163E+0027 ? 320 1440 (expected value)

0.99 0 0.99 0.99 (confidence rate)

DNF

0
CC

0
DNF

0
DNF

0
2.6163E+0027 ? 320 1440
T?TT
---:PM / 42
CC

0
CC

0
CC

0
16777204 ? ? ?
X?--
V--:-- / -
25943030 ? ? ?
X?--
V-S:-- / -
DNF

0
MultiwaySync (stripped) — P/T
  GreatSPN-Meddly ITS-Tools LTSMin Marcie pnmc PNXDD TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ) StrataGEM0.5.0
Total 42 30 36 48 30 0 0 0 0 0 0
Bonuses 12 0 0 0 0 0 0 0 0 0 0
Scores 30 30 36 48 30 0 0 0 0 0 0
none

5.2596E+0019 2.1892E+0021 1 27 (expected value)

3.98 0.92 1.72 0.92 (confidence rate)

5.2596E+0019 ? ? ?
T---
---:PM / 30
5.2596E+0019 ? ? ?
T---
---:-- / 30
5.2596E+0019 ? 1 ?
T-T-
---:-- / 36
5.2596E+0019 2.1892E+0021 1 27
TTTT
---:-- / 48
5.2596E+0019 ? ? ?
T---
---:-- / 30
CC

0
DNF

0
DNF

0
DNF

0
424045 ? ? ?
X---
V-S:-- / -
DNF

0
NeoElection (stripped) — Colored
  GreatSPN-Meddly ITS-Tools LTSMin Marcie pnmc PNXDD TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ) StrataGEM0.5.0
Total 0 0 0 120 0 0 0 0 0 0 0
Bonuses 0 0 0 24 0 0 0 0 0 0 0
Scores 0 0 0 96 0 0 0 0 0 0 0
2

241 448 1 14 (expected value)

0.92 0.92 0.92 0.92 (confidence rate)

CC

0
CC

0
CC

0
241 448 1 14
TTTT
---:PM / 48
DNC DNC DNC DNC DNC DNC DNC
3

974325 3599110 1 30 (expected value)

0.92 0.92 0.92 0.92 (confidence rate)

CC

0
CC

0
CC

0
974325 3599110 1 30
TTTT
---:PM / 48
DNC DNC DNC DNC DNC DNC DNC
4

? (expected value)

0 (confidence rate)

CC

0
CC

0
CC

0
DNF

0
DNC DNC DNC DNC DNC DNC DNC
5

? (expected value)

0 (confidence rate)

CC

0
CC

0
CC

0
DNF

0
DNC DNC DNC DNC DNC DNC DNC
6

? (expected value)

0 (confidence rate)

CC

0
CC

0
CC

0
DNF

0
DNC DNC DNC DNC DNC DNC DNC
7

? (expected value)

0 (confidence rate)

CC

0
CC

0
CC

0
DNF

0
DNC DNC DNC DNC DNC DNC DNC
8

? (expected value)

0 (confidence rate)

CC

0
CC

0
CC

0
DNF

0
DNC DNC DNC DNC DNC DNC DNC
NeoElection (stripped) — P/T
  GreatSPN-Meddly ITS-Tools LTSMin Marcie pnmc PNXDD TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ) StrataGEM0.5.0
Total 60 102 108 96 138 0 42 96 0 30 60
Bonuses 0 12 0 0 12 0 0 12 0 0 0
Scores 60 90 108 96 126 0 42 84 0 30 60
2

241 448 1 14 (expected value)

6.45 0.92 3.71 2.92 (confidence rate)

241 ? ? ?
T---
---:-- / 30
241 ? ? ?
T---
---:-- / 30
241 ? 1 ?
T-T-
---:-- / 36
241 448 1 14
TTTT
---:-- / 48
241 ? 1 14
T-TT
---:-- / 42
CC

0
241 ? 1 14
T-TT
---:-- / 42
241 ? 1 14
T-TT
---:PM / 42
DNF

0
241 ? ? ?
T---
---:-- / 30
241 ? ? ?
T---
---:-- / 30
3

974325 3599110 1 30 (expected value)

5.48 0.92 3.21 2.42 (confidence rate)

974325 ? ? ?
T---
---:-- / 30
974325 ? ? ?
T---
---:-M / 30
974325 ? 1 ?
T-T-
---:-- / 36
974325 3599110 1 30
TTTT
---:-- / 48
974325 ? 1 30
T-TT
---:P- / 42
CC

0
DNF

0
974325 ? 1 30
T-TT
---:-- / 42
DNF

0
DNF

0
974325 ? ? ?
T---
---:-- / 30
4

2.9191E+0011 ? 1 52 (expected value)

2.43 0 1.79 0.99 (confidence rate)

DNF

0
2.9191E+0011 ? ? ?
T?--
---:-M / 30
2.9191E+0011 ? 1 ?
T?T-
---:-- / 36
DNF

0
2.9191E+0011 ? 1 52
T?TT
---:P- / 42
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
5

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
6

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
7

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
8

? (expected value)

0 (confidence rate)

CC

0
DNF

0
DNF

0
DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
ParamProductionCell (stripped) — P/T
  GreatSPN-Meddly ITS-Tools LTSMin Marcie pnmc PNXDD TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ) StrataGEM0.5.0
Total 72 204 216 288 282 0 258 210 180 150 180
Bonuses 12 24 0 0 30 0 6 0 0 0 0
Scores 60 180 216 288 252 0 252 210 180 150 180
0

2776936 13152132 1 32 (expected value)

5.77 0.92 3.21 2.42 (confidence rate)

2776940 ? ? ?
X---
V--:-- / -
2776936 ? ? ?
T---
---:-M / 30
2776936 ? 1 ?
T-T-
---:-- / 36
2776936 13152132 1 32
TTTT
---:-- / 48
2776936 ? 1 32
T-TT
---:P- / 42
CC

0
2776936 ? 1 32
T-TT
---:-- / 42
DNF

0
2776936 ? ? ?
T---
---:-- / 30
2776936 ? ? ?
T---
---:-- / 30
2776936 ? ? ?
T---
---:-- / 30
1

25632 96722 1 36 (expected value)

6.90 0.92 3.71 2.92 (confidence rate)

25632 ? ? ?
T---
---:-M / 30
25632 ? ? ?
T---
---:-- / 30
25632 ? 1 ?
T-T-
---:-- / 36
25632 96722 1 36
TTTT
---:-- / 48
25632 ? 1 36
T-TT
---:-- / 42
CC

0
25632 ? 1 36
T-TT
---:P- / 42
25632 ? 1 36
T-TT
---:-- / 42
25632 ? ? ?
T---
---:-- / 30
25632 ? ? ?
T---
---:-- / 30
25632 ? ? ?
T---
---:-- / 30
2

349874 1380742 1 36 (expected value)

6.90 0.92 3.71 2.92 (confidence rate)

349874 ? ? ?
T---
---:-M / 30
349874 ? ? ?
T---
---:-- / 30
349874 ? 1 ?
T-T-
---:-- / 36
349874 1380742 1 36
TTTT
---:-- / 48
349874 ? 1 36
T-TT
---:P- / 42
CC

0
349874 ? 1 36
T-TT
---:-- / 42
349874 ? 1 36
T-TT
---:-- / 42
349874 ? ? ?
T---
---:-- / 30
349874 ? ? ?
T---
---:-- / 30
349874 ? ? ?
T---
---:-- / 30
3

1465206 5922650 1 36 (expected value)

6.27 0.92 3.71 2.92 (confidence rate)

1465210 ? ? ?
X---
V--:-- / -
1465206 ? ? ?
T---
---:-M / 30
1465206 ? 1 ?
T-T-
---:-- / 36
1465206 5922650 1 36
TTTT
---:-- / 48
1465206 ? 1 36
T-TT
---:P- / 42
CC

0
1465206 ? 1 36
T-TT
---:-- / 42
1465206 ? 1 36
T-TT
---:-- / 42
1465206 ? ? ?
T---
---:-- / 30
1465206 ? ? ?
T---
---:-- / 30
1465206 ? ? ?
T---
---:-- / 30
4

2409739 9827662 1 36 (expected value)

5.80 0.92 3.71 2.92 (confidence rate)

2409740 ? ? ?
X---
V--:-- / -
2409739 ? ? ?
T---
---:-M / 30
2409739 ? 1 ?
T-T-
---:-- / 36
2409739 9827662 1 36
TTTT
---:-- / 48
2409739 ? 1 36
T-TT
---:P- / 42
CC

0
2409739 ? 1 36
T-TT
---:-- / 42
2409739 ? 1 36
T-TT
---:-- / 42
2409739 ? ? ?
T---
---:-- / 30
2083970 ? ? ?
X---
V-S:-- / -
2409739 ? ? ?
T---
---:-- / 30
5

1657242 6746379 1 36 (expected value)

6.27 0.92 3.71 2.92 (confidence rate)

1657240 ? ? ?
X---
V--:-- / -
1657242 ? ? ?
T---
---:-M / 30
1657242 ? 1 ?
T-T-
---:-- / 36
1657242 6746379 1 36
TTTT
---:-- / 48
1657242 ? 1 36
T-TT
---:P- / 42
CC

0
1657242 ? 1 36
T-TT
---:-- / 42
1657242 ? 1 36
T-TT
---:-- / 42
1657242 ? ? ?
T---
---:-- / 30
1657242 ? ? ?
T---
---:-- / 30
1657242 ? ? ?
T---
---:-- / 30
PermAdmissibility (stripped) — Colored
  GreatSPN-Meddly ITS-Tools LTSMin Marcie pnmc PNXDD TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ) StrataGEM0.5.0
Total 0 54 0 48 0 0 0 0 0 0 0
Bonuses 0 24 0 0 0 0 0 0 0 0 0
Scores 0 30 0 48 0 0 0 0 0 0 0
01

52537 54600 1 9 (expected value)

1.56 0.92 0.92 0.92 (confidence rate)

CC

0
52537 ? ? ?
T---
---:PM / 30
CC

0
52537 54600 1 9
TTTT
---:-- / 48
DNC DNC DNC DNC DNC DNC DNC
02

(3.2097E+0010) ? ? ? (expected value)

0.64 0 0 0 (confidence rate)

CC

0
3.2097E+0010 ? ? ?
????
---:PM / 0
CC

0
DNF

0
DNC DNC DNC DNC DNC DNC DNC
05

? (expected value)

0 (confidence rate)

CC

0
CC

0
CC

0
DNF

0
DNC DNC DNC DNC DNC DNC DNC
10

? (expected value)

0 (confidence rate)

CC

0
CC

0
CC

0
DNF

0
DNC DNC DNC DNC DNC DNC DNC
20

? (expected value)

0 (confidence rate)

CC

0
CC

0
CC

0
DNF

0
DNC DNC DNC DNC DNC DNC DNC
50

? (expected value)

0 (confidence rate)

CC

0
CC

0
CC

0
DNF

0
DNC DNC DNC DNC DNC DNC DNC
PermAdmissibility (stripped) — P/T
  GreatSPN-Meddly ITS-Tools LTSMin Marcie pnmc PNXDD TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ) StrataGEM0.5.0
Total 78 30 36 48 42 0 48 48 30 30 30
Bonuses 48 0 0 0 0 0 6 6 0 0 0
Scores 30 30 36 48 42 0 42 42 30 30 30
01

52537 54600 1 9 (expected value)

6.90 0.92 3.71 2.92 (confidence rate)

52537 ? ? ?
T---
---:-- / 30
52537 ? ? ?
T---
---:-- / 30
52537 ? 1 ?
T-T-
---:-- / 36
52537 54600 1 9
TTTT
---:-- / 48
52537 ? 1 9
T-TT
---:-- / 42
CC

0
52537 ? 1 9
T-TT
---:P- / 42
52537 ? 1 9
T-TT
---:-M / 42
52537 ? ? ?
T---
---:-- / 30
52537 ? ? ?
T---
---:-- / 30
52537 ? ? ?
T---
---:-- / 30
02

? ? ? ? (expected value)

0 0 0 0 (confidence rate)

DNF

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
1834392 ? ? ?
????
--S:-- / -
DNF

0
05

(1) ? ? ? (expected value)

0.63 0 0 0 (confidence rate)

1 ? ? ?
????
---:PM / 0
CC

0
CC

0
DNF

0
DNF

0
CC

0
CC

0
CC

0
DNF

0
896218 ? ? ?
X???
V-S:-- / -
DNF

0
10

(1) ? ? ? (expected value)

0.63 0 0 0 (confidence rate)

1 ? ? ?
????
---:PM / 0
CC

0
CC

0
DNF

0
DNF

0
CC

0
CC

0
CC

0
DNF

0
910972 ? ? ?
X???
V-S:-- / -
DNF

0
20

(1) ? ? ? (expected value)

0.63 0 0 0 (confidence rate)

1 ? ? ?
????
---:PM / 0
CC

0
CC

0
DNF

0
DNF

0
CC

0
CC

0
CC

0
DNF

0
845661 ? ? ?
X???
V-S:-- / -
DNF

0
50

(1) ? ? ? (expected value)

0.63 0 0 0 (confidence rate)

1 ? ? ?
????
---:PM / 0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
CC

0
CC

0
DNF

0
894222 ? ? ?
X???
V-S:-- / -
DNF

0
Peterson (stripped) — Colored
  GreatSPN-Meddly ITS-Tools LTSMin Marcie pnmc PNXDD TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ) StrataGEM0.5.0
Total 0 90 0 102 0 0 0 0 0 0 0
Bonuses 0 30 0 6 0 0 0 0 0 0 0
Scores 0 60 0 96 0 0 0 0 0 0 0
2

20754 62262 1 8 (expected value)

1.56 0.92 0.92 0.92 (confidence rate)

CC

0
20754 ? ? ?
T---
---:-M / 30
CC

0
20754 62262 1 8
TTTT
---:P- / 48
DNC DNC DNC DNC DNC DNC DNC
3

3407946 13631784 1 11 (expected value)

1.56 0.92 0.92 0.92 (confidence rate)

CC

0
3407946 ? ? ?
T---
---:PM / 30
CC

0
3407946 13631784 1 11
TTTT
---:-- / 48
DNC DNC DNC DNC DNC DNC DNC
4

(6.2995E+0008) ? ? ? (expected value)

0.64 0 0 0 (confidence rate)

CC

0
6.2995E+0008 ? ? ?
????
---:PM / 0
CC

0
DNF

0
DNC DNC DNC DNC DNC DNC DNC
5

? (expected value)

0 (confidence rate)

CC

0
CC

0
CC

0
DNF

0
DNC DNC DNC DNC DNC DNC DNC
6

? (expected value)

0 (confidence rate)

CC

0
CC

0
CC

0
DNF

0
DNC DNC DNC DNC DNC DNC DNC
7

? (expected value)

0 (confidence rate)

CC

0
CC

0
CC

0
DNF

0
DNC DNC DNC DNC DNC DNC DNC
Peterson (stripped) — P/T
  GreatSPN-Meddly ITS-Tools LTSMin Marcie pnmc PNXDD TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ) StrataGEM0.5.0
Total 30 66 72 96 90 0 48 48 30 30 30
Bonuses 0 6 0 0 6 0 6 6 0 0 0
Scores 30 60 72 96 84 0 42 42 30 30 30
2

20754 62262 1 8 (expected value)

6.90 0.92 3.71 2.92 (confidence rate)

20754 ? ? ?
T---
---:-- / 30
20754 ? ? ?
T---
---:-- / 30
20754 ? 1 ?
T-T-
---:-- / 36
20754 62262 1 8
TTTT
---:-- / 48
20754 ? 1 8
T-TT
---:-- / 42
CC

0
20754 ? 1 8
T-TT
---:P- / 42
20754 ? 1 8
T-TT
---:-M / 42
20754 ? ? ?
T---
---:-- / 30
20754 ? ? ?
T---
---:-- / 30
20754 ? ? ?
T---
---:-- / 30
3

3407946 13631784 1 11 (expected value)

3.35 0.92 2.71 1.92 (confidence rate)

3407950 ? ? ?
X---
V--:-- / -
3407946 ? ? ?
T---
---:-M / 30
3407946 ? 1 ?
T-T-
---:-- / 36
3407946 13631784 1 11
TTTT
---:-- / 48
3407946 ? 1 11
T-TT
---:P- / 42
CC

0
DNF

0
DNF

0
DNF

0
2034602 ? ? ?
X---
V-S:-- / -
? ? ? ?
----
---:-- / 0
4

? ? ? ? (expected value)

0 0 0 0 (confidence rate)

DNF

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
769755 ? ? ?
????
--S:-- / -
? ? ? ?
????
---:-- / 0
5

? ? ? ? (expected value)

0 0 0 0 (confidence rate)

DNF

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
? ? ? ?
????
---:-- / 0
6

? ? ? ? (expected value)

0 0 0 0 (confidence rate)

DNF

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
? ? ? ?
????
---:-- / 0
7

? ? ? ? (expected value)

0 0 0 0 (confidence rate)

CC

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
? ? ? ?
????
---:-- / 0
Philosophers (stripped) — Colored
  GreatSPN-Meddly ITS-Tools LTSMin Marcie pnmc PNXDD TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ) StrataGEM0.5.0
Total 78 270 0 354 0 0 0 0 0 0 0
Bonuses 18 60 0 18 0 0 0 0 0 0 0
Scores 60 210 0 336 0 0 0 0 0 0 0
000005

243 945 1 10 (expected value)

2.19 0.92 0.92 0.92 (confidence rate)

243 ? ? ?
T---
---:PM / 30
243 ? ? ?
T---
---:-- / 30
CC

0
243 945 1 10
TTTT
---:-- / 48
DNC DNC DNC DNC DNC DNC DNC
000010

59049 459270 1 20 (expected value)

2.19 0.92 0.92 0.92 (confidence rate)

59049 ? ? ?
T---
---:-M / 30
59049 ? ? ?
T---
---:-- / 30
CC

0
59049 459270 1 20
TTTT
---:P- / 48
DNC DNC DNC DNC DNC DNC DNC
000020

3.4868E+0009 5.4239E+0010 1 40 (expected value)

1.56 0.92 0.92 0.92 (confidence rate)

DNF

0
3.4868E+0009 ? ? ?
T---
---:-M / 30
CC

0
3.4868E+0009 5.4239E+0010 1 40
TTTT
---:P- / 48
DNC DNC DNC DNC DNC DNC DNC
000050

7.1790E+0023 2.7918E+0025 1 100 (expected value)

1.56 0.92 0.92 0.92 (confidence rate)

CC

0
7.1790E+0023 ? ? ?
T---
---:-M / 30
CC

0
7.1790E+0023 2.7918E+0025 1 100
TTTT
---:P- / 48
DNC DNC DNC DNC DNC DNC DNC
000100

5.1538E+0047 4.0085E+0049 1 200 (expected value)

1.56 0.92 0.92 0.92 (confidence rate)

CC

0
5.1538E+0047 ? ? ?
T---
---:PM / 30
CC

0
5.1538E+0047 4.0085E+0049 1 200
TTTT
---:-- / 48
DNC DNC DNC DNC DNC DNC DNC
000200

? ? ? ? (expected value)

0 0 0 0 (confidence rate)

CC

0
3.9360E+0083 ? ? ?
????
-CS:-- / -
CC

0
3.9360E+0083 4.3515E+0085 1 400
????
-C-:-- / -
DNC DNC DNC DNC DNC DNC DNC
000500

3.6360E+0238 1.4140E+0241 1 1000 (expected value)

1.56 0.92 0.92 0.92 (confidence rate)

CC

0
3.6360E+0238 ? ? ?
T---
---:PM / 30
CC

0
3.6360E+0238 1.4140E+0241 1 1000
TTTT
---:-- / 48
DNC DNC DNC DNC DNC DNC DNC
001000

1.3221E+0477 1.0283E+0480 1 2000 (expected value)

1.56 0.92 0.92 0.92 (confidence rate)

CC

0
1.3221E+0477 ? ? ?
T---
---:PM / 30
CC

0
1.3221E+0477 1.0283E+0480 1 2000
TTTT
---:-- / 48
DNC DNC DNC DNC DNC DNC DNC
002000

? ? ? ? (expected value)

0 0 0 0 (confidence rate)

CC

0
8.9240E+0835 ? ? ?
????
-CS:-- / -
CC

0
8.9240E+0835 9.8662E+0838 1 4000
????
-C-:-- / -
DNC DNC DNC DNC DNC DNC DNC
005000

(4.0390E+2385) ? ? ? (expected value)

0.64 0 0 0 (confidence rate)

CC

0
4.0390E+2385 ? ? ?
????
---:PM / 0
CC

0
DNF

0
DNC DNC DNC DNC DNC DNC DNC
010000

? (expected value)

0 (confidence rate)

CC

0
CC

0
CC

0
DNF

0
DNC DNC DNC DNC DNC DNC DNC
050000

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
DNF

0
DNC DNC DNC DNC DNC DNC DNC
100000

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
DNF

0
DNC DNC DNC DNC DNC DNC DNC
Philosophers (stripped) — P/T
  GreatSPN-Meddly ITS-Tools LTSMin Marcie pnmc PNXDD TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ) StrataGEM0.5.0
Total 102 246 294 336 318 0 90 90 60 60 288
Bonuses 12 36 6 0 24 0 6 6 0 0 18
Scores 90 210 288 336 294 0 84 84 60 60 270
000005

243 945 1 10 (expected value)

6.90 0.92 3.71 2.92 (confidence rate)

243 ? ? ?
T---
---:-- / 30
243 ? ? ?
T---
---:-- / 30
243 ? 1 ?
T-T-
---:-- / 36
243 945 1 10
TTTT
---:-- / 48
243 ? 1 10
T-TT
---:-- / 42
CC

0
243 ? 1 10
T-TT
---:P- / 42
243 ? 1 10
T-TT
---:-M / 42
243 ? ? ?
T---
---:-- / 30
243 ? ? ?
T---
---:-- / 30
243 ? ? ?
T---
---:-- / 30
000010

59049 459270 1 20 (expected value)

6.90 0.92 3.71 2.92 (confidence rate)

59049 ? ? ?
T---
---:PM / 30
59049 ? ? ?
T---
---:-- / 30
59049 ? 1 ?
T-T-
---:-- / 36
59049 459270 1 20
TTTT
---:-- / 48
59049 ? 1 20
T-TT
---:-- / 42
CC

0
59049 ? 1 20
T-TT
---:-- / 42
59049 ? 1 20
T-TT
---:-- / 42
59049 ? ? ?
T---
---:-- / 30
59049 ? ? ?
T---
---:-- / 30
59049 ? ? ?
T---
---:-- / 30
000020

3.4868E+0009 5.4239E+0010 1 40 (expected value)

4.98 0.92 2.71 1.92 (confidence rate)

3.4868E+0009 ? ? ?
T---
---:-- / 30
3.4868E+0009 ? ? ?
T---
---:-- / 30
3.4868E+0009 ? 1 ?
T-T-
---:-M / 36
3.4868E+0009 5.4239E+0010 1 40
TTTT
---:-- / 48
3.4868E+0009 ? 1 40
T-TT
---:P- / 42
CC

0
DNF

0
DNF

0
DNF

0
1457249 ? ? ?
X---
V-S:-- / -
3.4868E+0009 ? ? ?
T---
---:-- / 30
000050

7.1790E+0023 2.7918E+0025 1 100 (expected value)

4.35 0.92 2.71 1.92 (confidence rate)

DNF

0
7.1790E+0023 ? ? ?
T---
---:-M / 30
7.1790E+0023 ? 1 ?
T-T-
---:-- / 36
7.1790E+0023 2.7918E+0025 1 100
TTTT
---:-- / 48
7.1790E+0023 ? 1 100
T-TT
---:P- / 42
CC

0
DNF

0
DNF

0
DNF

0
58830 ? ? ?
X---
V-S:-- / -
7.1790E+0023 ? ? ?
T---
---:-- / 30
000100

5.1538E+0047 4.0085E+0049 1 200 (expected value)

4.35 0.92 2.71 1.92 (confidence rate)

DNF

0
5.1538E+0047 ? ? ?
T---
---:-M / 30
5.1538E+0047 ? 1 ?
T-T-
---:-- / 36
5.1538E+0047 4.0085E+0049 1 200
TTTT
---:-- / 48
5.1538E+0047 ? 1 200
T-TT
---:P- / 42
CC

0
DNF

0
DNF

0
DNF

0
10189 ? ? ?
X---
V-S:-- / -
5.1538E+0047 ? ? ?
T---
---:-- / 30
000200

2.6561E+0095 ? 1 400 (expected value)

2.79 0 1.79 0.99 (confidence rate)

DNF

0
2.6561E+0095 ? ? ?
T?--
-C-:-- / -
2.6561E+0095 ? 1 ?
T?T-
---:-- / 36
2.6561E+0095 4.1318E+0097 1 400
T?TT
-C-:-- / -
2.6561E+0095 ? 1 400
T?TT
---:P- / 42
CC

0
DNF

0
DNF

0
DNF

0
1784 ? ? ?
X?--
V-S:-- / -
2.6561E+0095 ? ? ?
T?--
---:-M / 30
000500

3.6360E+0238 1.4140E+0241 1 1000 (expected value)

4.35 0.92 2.71 1.92 (confidence rate)

DNF

0
3.6360E+0238 ? ? ?
T---
---:PM / 30
3.6360E+0238 ? 1 ?
T-T-
---:-- / 36