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

Introduction

Please find here the computed results for the ReachabilityCardinality 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 ReachabilityCardinality
  GreatSPN-Meddly ITS-Tools LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total Points 7524 7366 18658 5119 6080 15359 15903 6076 9835

All «Surprise» models
 
  GreatSPN-Meddly ITS-Tools LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total Points 2096 952 4772 1020 2572 4376 4744 1968 2652
BridgeAndVehicles — Colored
  GreatSPN-Meddly ITS-Tools LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 184 0 0 268 0 0 0 0
Bonuses 0 168 0 0 152 0 0 0 0
Scores 0 16 0 0 116 0 0 0 0
V04P05N02

? ? ? (F)? ? (T)? (T)(F)? ? ? ? ? ? (expected value)

0 0 0 0.64 0 0 0.64 0 0.64 0.64 0 0 0 0 0 0 (confidence rate)

CC

0
???F??T?TF??????
????????????????
---:PM / 0
DNC CC

0
???F????F????F??
??????-?X-??????
VC-:-- / -
DNC DNC DNC DNC
V10P10N10

? (F)? (F)(T)(T)? ? ? ? ? ? ? (T)? ? (expected value)

0 0.64 0 0.64 0.64 0.64 0 0 0 0 0 0 0 0.64 0 0 (confidence rate)

CC

0
?F?FTT???????T??
????????????????
---:PM / 0
DNC CC

0
??????F???F?????
?-?---???????-??
-C-:-- / -
DNC DNC DNC DNC
V20P10N10

(F)? ? ? ? (F)? ? ? ? ? ? ? ? ? ? (expected value)

0.64 0 0 0 0 0.64 0 0 0 0 0 0 0 0 0 0 (confidence rate)

CC

0
F????F??????????
????????????????
---:PM / 0
DNC CC

0
??????F?F?FFF???
-????-??????????
-C-:-- / -
DNC DNC DNC DNC
V20P10N20

F(T)(T)(T)T? ? ? ? ? ? ? ? (F)? ? (expected value)

0.92 0.64 0.64 0.64 1.56 0 0 0 0 0 0 0 0 0.64 0 0 (confidence rate)

CC

0
?TTTT????????F??
-???T???????????
---:-- / 4
DNC CC

0
F???T???????????
T---T????????-??
---:PM / 8
DNC DNC DNC DNC
V20P10N50

? T? ? ? ? ? ? ? (F)? ? ? ? ? F (expected value)

0 0.92 0 0 0 0 0 0 0 0.64 0 0 0 0 0 0.92 (confidence rate)

CC

0
?????????F??????
?-?????????????-
---:-- / 0
DNC CC

0
?T?????????????F
?T???????-?????T
---:PM / 8
DNC DNC DNC DNC
V20P20N10

? ? T? (F)? T(F)? (T)F(T)? F? (F) (expected value)

0 0 1.56 0 0.64 0 1.56 0.64 0 0.64 0.92 0.64 0 0.92 0 0.64 (confidence rate)

CC

0
??T?F?TF?T?T???F
??T???T???-??-??
---:-M / 8
DNC CC

0
??T???T???F??F??
??T?-?T-?-T-?T?-
---:P- / 16
DNC DNC DNC DNC
V20P20N20

? ? F(F)(F)? (T)? FF? ? ? ? ? ? (expected value)

0 0 0.92 0.64 0.64 0 0.64 0 0.92 0.92 0 0 0 0 0 0 (confidence rate)

CC

0
???FF?T?T???????
??-?????X-??????
V--:-- / -
DNC CC

0
??F?????FF??????
??T--?-?TT??????
---:PM / 12
DNC DNC DNC DNC
V20P20N50

? ? ? (T)? ? ? ? ? (F)(T)F? (F)? F (expected value)

0 0 0 0.64 0 0 0 0 0 0.64 0.64 0.92 0 0.64 0 0.92 (confidence rate)

CC

0
???T?????FT??F??
???????????-???-
---:-- / 0
DNC CC

0
???????????F???F
???-?????--T?-?T
---:PM / 8
DNC DNC DNC DNC
V50P20N10

(T)F? F(F)? (T)? (F)? ? (T)(F)T? F (expected value)

0.64 0.92 0 0.92 0.64 0 0.64 0 0.64 0 0 0.64 0.64 0.92 0 0.92 (confidence rate)

CC

0
T???F?T?F??TF???
?-?-?????????-?-
---:-- / 0
DNC CC

0
?F?F?????????T?F
-T?T-?-?-??--T?T
---:PM / 16
DNC DNC DNC DNC
V50P20N20

(T)(F)F? ? ? ? ? ? (F)F? ? ? ? ? (expected value)

0.64 0.64 0.92 0 0 0 0 0 0 0.64 0.92 0 0 0 0 0 (confidence rate)

CC

0
TF???????F??????
??-???????-?????
---:P- / 0
DNC CC

0
??F???????F?????
--T??????-T?????
---:-M / 8
DNC DNC DNC DNC
V50P20N50

(F)? ? ? ? (F)(T)? (T)? ? (F)? ? ? (F) (expected value)

0.64 0 0 0 0 0.64 0.64 0 0.64 0 0 0.64 0 0 0 0.64 (confidence rate)

CC

0
F????FT?T??F???F
????????????????
---:PM / 0
DNC CC

0
DNF

0
DNC DNC DNC DNC
V50P50N10

(F)(F)? (T)? ? (T)? ? ? ? ? ? FF? (expected value)

0.64 0.64 0 0.64 0 0 0.64 0 0 0 0 0 0 0.92 0.92 0 (confidence rate)

CC

0
FF?T??T?????????
?????????????--?
---:-- / 0
DNC CC

0
?????????????FF?
--?-??-??????TT?
---:PM / 8
DNC DNC DNC DNC
V50P50N20

F? ? ? ? ? (F)? ? T? F(T)(F)? ? (expected value)

0.92 0 0 0 0 0 0.64 0 0 0.92 0 0.92 0.64 0.64 0 0 (confidence rate)

CC

0
??????F??F??TF??
-????????X?-????
V--:-- / -
DNC CC

0
F????????T?F????
T?????-??T?T--??
---:PM / 12
DNC DNC DNC DNC
V50P50N50

(F)(T)(F)? ? ? ? (T)(T)? ? ? (T)? (F)? (expected value)

0.64 0.64 0.64 0 0 0 0 0.64 0.64 0 0 0 0.64 0 0.64 0 (confidence rate)

CC

0
FTF????TT???T?F?
????????????????
---:PM / 0
DNC CC

0
DNF

0
DNC DNC DNC DNC
V80P20N10

(F)? F? (F)(F)? ? (T)TT(T)? F(T)? (expected value)

0.64 0 0.92 0 0.64 0.64 0 0 0.64 0.92 0.92 0.64 0 0.92 0.64 0 (confidence rate)

CC

0
F?T?FF??T?FT??T?
??X??????-X??-??
V--:-- / -
DNC CC

0
??F??????TT??F??
-?T?--??-TT-?T-?
---:PM / 16
DNC DNC DNC DNC
V80P20N20

(F)(T)? ? ? (T)? ? ? ? ? ? ? (T)? ? (expected value)

0.64 0.64 0 0 0 0.64 0 0 0 0 0 0 0 0.64 0 0 (confidence rate)

CC

0
FT???T???????T??
????????????????
---:PM / 0
DNC CC

0
DNF

0
DNC DNC DNC DNC
V80P20N50

(F)? (T)? (T)? ? (T)(F)(T)? (T)? (T)? (T) (expected value)

0.64 0 0.64 0 0.64 0 0 0.64 0.64 0.64 0 0.64 0 0.64 0 0.64 (confidence rate)

CC

0
F?T?T??TFT?T?T?T
????????????????
---:PM / 0
DNC CC

0
DNF

0
DNC DNC DNC DNC
V80P50N10

(F)? ? ? ? (T)? (F)? (T)? ? ? T(T)? (expected value)

0.64 0 0 0 0 0.64 0 0.64 0 0.64 0 0 0 1.56 0.64 0 (confidence rate)

CC

0
F????T?F?T???TT?
?????????????T??
---:P- / 4
DNC CC

0
?????????????T??
-????-?-?-???T-?
---:-M / 4
DNC DNC DNC DNC
V80P50N20

(T)(T)(F)? (F)(T)? (T)(F)(T)? ? ? ? ? (F) (expected value)

0.64 0.64 0.64 0 0.64 0.64 0 0.64 0.64 0.64 0 0 0 0 0 0.64 (confidence rate)

CC

0
TTF?FT?TFT?????F
????????????????
---:PM / 0
DNC CC

0
DNF

0
DNC DNC DNC DNC
V80P50N50

? ? ? ? (T)? ? (T)? (F)? (F)? ? ? ? (expected value)

0 0 0 0 0.64 0 0 0.64 0 0.64 0 0.64 0 0 0 0 (confidence rate)

CC

0
????T??T?F?F????
????????????????
---:PM / 0
DNC CC

0
DNF

0
DNC DNC DNC DNC
BridgeAndVehicles — P/T
  GreatSPN-Meddly ITS-Tools LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 128 228 732 264 36 720 804 128 128
Bonuses 0 64 128 0 0 32 96 0 0
Scores 128 164 604 264 36 688 708 128 128
V04P05N02

FFFTTFFFFTFTTTFF (expected value)

4.95 4.95 4.95 4.31 4.16 4.95 4.31 4.95 4.31 4.31 4.95 4.16 4.16 4.95 4.95 4.95 (confidence rate)

FFFTTFFFFTFTTTFF
TTTTTTTTTTTTTTTT
---:-- / 64
FFFFTFTFTFFTTTFF
TTTXTTXTXXTTTTTT
V--:-- / -
FFFTTFFFFTFTTTFF
TTTTTTTTTTTTTTTT
---:-- / 64
FFFTFFFFFTFFFTFF
TTTTXTTTTTTXXTTT
V--:-- / -
FFFTTFFFFTFTTTFF
TTTTTTTTTTTTTTTT
-C-:-- / -
FFFTTFFFFTFTTTFF
TTTTTTTTTTTTTTTT
---:-- / 64
FFFTTFFFFTFTTTFF
TTTTTTTTTTTTTTTT
---:PM / 64
FFFTTFFFFTFTTTFF
TTTTTTTTTTTTTTTT
---:-- / 64
FFFTTFFFFTFTTTFF
TTTTTTTTTTTTTTTT
---:-- / 64
V10P10N10

FTTFTTTTFTTFFTFF (expected value)

4.95 3.52 4.16 4.95 4.95 4.95 4.95 4.95 4.95 4.16 4.95 4.95 4.95 4.95 4.95 4.95 (confidence rate)

FTTFTTTTFTTFFTFF
TTTTTTTTTTTTTTTT
---:-- / 64
FFTFTTTTFTTFFTFF
TXTTTTTTTTTTTTTT
V--:-- / -
FTTFTTTTFTTFFTFF
TTTTTTTTTTTTTTTT
---:-M / 64
FFFFTTTTFFTFFTFF
TXXTTTTTTXTTTTTT
V--:-- / -
FTTFTTTTFTTFFTFF
TTTTTTTTTTTTTTTT
-C-:-- / -
FTTFTTTTFTTFFTFF
TTTTTTTTTTTTTTTT
---:P- / 64
FTTFTTTTFTTFFTFF
TTTTTTTTTTTTTTTT
---:-- / 64
FTTFTTTTFTTFFTFF
TTTTTTTTTTTTTTTT
---:-- / 64
FTTFTTTTFTTFFTFF
TTTTTTTTTTTTTTTT
---:-- / 64
V20P10N10

FTFTFTTFTFTTFFTF (expected value)

3.41 3.41 2.77 2.77 2.77 2.77 2.77 2.77 3.41 1.98 2.77 3.41 3.41 2.77 2.77 2.77 (confidence rate)

DNF

0
FT???F??T??TF???
TT---X--T--TT---
V--:-- / -
FTFTFTTFTFTTFFTF
TTTTTTTTTTTTTTTT
---:PM / 64
FTFTFTTFTTTTFFTF
TTTTTTTTTXTTTTTT
V--:-- / -
FT??????TFTTFF??
TT------TTTTTT--
-C-:-- / -
FTFTFTTFTFTTFFTF
TTTTTTTTTTTTTTTT
---:-- / 64
FTFTFTTFTFTTFFTF
TTTTTTTTTTTTTTTT
---:-- / 64
DNF

0
DNF

0
V20P10N20

FTTT(T)FFTFFTFFF(F)F (expected value)

2.77 3.41 3.41 3.41 0.64 2.77 2.77 1.48 3.41 2.77 1.48 1.48 1.48 3.41 0.79 2.77 (confidence rate)

DNF

0
?TTTT???F????F??
-TTT?---T----T--
---:-- / 20
FTTT?FFTFFTFFF?F
TTTT-TTTTTTTTT-T
---:PM / 56
FTTT?FF?FF??TFFF
TTTT-TT-TT--XT?T
V--:-- / -
DNF

0
FTTTFFFTFFTFFFTF
TTTTXTTTTTTTTTXT
V--:-- / -
FTTT?FF?FF???F?F
TTTT-TT-TT---T-T
---:-- / 40
DNF

0
DNF

0
V20P10N50

TFFFTFTFFFFF? FFT (expected value)

1.91 2.77 2.77 2.77 0.98 0.98 0.98 2.77 0.98 2.77 2.77 0.98 0 2.77 2.77 2.77 (confidence rate)

DNF

0
CC

0
TFFFTFTFFFFF?FFT
TTTTTTTTTTTT?TTT
---:PM / 60
FFFFFT?F?FF??FFT
XTTTXX-T-TT-?TTT
V--:-- / -
T???????????????
T-----------?---
---:-- / 4
?FFF???F?FF??FFT
-TTT---T-TT-?TTT
---:-- / 36
?FFF???F?FF??FFT
-TTT---T-TT-?TTT
---:-- / 36
DNF

0
DNF

0
V20P20N10

TTFFTTFFFTFFTFFT (expected value)

2.90 2.90 2.77 2.77 2.77 1.98 2.77 3.41 3.70 4.34 2.90 2.90 2.90 2.77 2.77 2.77 (confidence rate)

DNF

0
??T?F?TF?T?T???F
--X-X-XT-T-X---X
V--:-- / -
TTFFTTFFFTFFTFFT
TTTTTTTTTTTTTTTT
---:-M / 64
FFFFTFFFFTTTFFFT
XXTTTXTTTTXXXTTT
V--:-- / -
TT??????FTFFT???
TT------TTTTT---
---:-- / 28
TTFFTTFFFTFFTFFT
TTTTTTTTTTTTTTTT
---:P- / 64
TTFFTTFFFTFFTFFT
TTTTTTTTTTTTTTTT
---:-- / 64
DNF

0
DNF

0
V20P20N20

FFFFTTTFTFFFFFTF (expected value)

2.40 2.77 2.77 3.41 1.48 1.48 3.41 2.77 2.77 2.77 1.48 2.77 2.77 2.77 1.48 2.77 (confidence rate)

DNF

0
???FF?T?????????
---TX-T---------
V--:-- / -
FFFFTTTFTFFFFFTF
TTTTTTTTTTTTTTTT
---:PM / 64
?FFF?FTFTF?FFFFF
-TTT-XTTTT-TTTXT
V--:-- / -
F???????????????
T---------------
---:-- / 4
FFFFTTTFTFFFFFTF
TTTTTTTTTTTTTTTT
---:-- / 64
?FFF??TFTF?FFF?F
-TTT--TTTT-TTT-T
---:-- / 44
DNF

0
DNF

0
V20P20N50

FT? T? TTTFFTTFTFF (expected value)

2.77 0.98 0 1.43 0 0.98 2.77 0.98 0.98 1.43 3.41 0.98 0.98 0.98 0.98 2.77 (confidence rate)

DNF

0
???T?????FT??F??
--?T?----TT--X--
V--:-- / -
FT?F?TTTF?TTFTFF
TT?X?TTTT-TTTTTT
V--:-- / -
F??T?FTF?FT????F
T-?T?XTX-TT----T
V--:-- / -
DNF

0
F?????T???T????F
T-?-?-T---T----T
---:P- / 16
F?????T???T????F
T-?-?-T---T----T
---:-M / 16
DNF

0
DNF

0
V50P20N10

TTF(F)(F)FT? (F)FTT(F)F? T (expected value)

1.43 0.98 0.98 0.79 0.64 2.77 3.41 0 0.64 3.41 0.98 3.41 0.64 2.77 0 3.41 (confidence rate)

DNF

0
T???F?T?FF?TF??T
T---?-T??T-T?-?T
---:P- / 20
FTF??FT??FTT?F?T
XTT--TT?-TTT-T?T
V--:-- / -
T??F?FT??F?T?F?T
T--?-TT?-T-T-T?T
---:-- / 28
DNF

0
?????FT??F?T?F?T
-----TT?-T-T-T?T
---:-- / 24
?????FT??F?T?F?T
-----TT?-T-T-T?T
---:-M / 24
DNF

0
DNF

0
V50P20N20

TFFT? F? TTFFFF? ? ? (expected value)

1.43 3.41 2.77 0.98 0 2.77 0 2.77 3.41 1.43 3.41 0.98 2.77 0 0 0 (confidence rate)

DNF

0
TF??????TFF?????
TT--?-?-TTT--???
---:P- / 20
FFFT?F?TTTFFF???
XTTT?T?TTXTTT???
V--:-- / -
TFF??F?TTFF?F???
TTT-?T?TTTT-T???
---:-- / 36
DNF

0
?FF??F?TT?F?F???
-TT-?T?TT-T-T???
---:-- / 28
?FF??F?TT?F?F???
-TT-?T?TT-T-T???
---:-M / 28
DNF

0
DNF

0
V50P20N50

FF? FT(F)TFT? TFFF? (F) (expected value)

2.77 0.98 0 2.77 2.77 0.64 1.43 0.98 3.41 0 0.98 1.43 2.77 2.77 0 0.64 (confidence rate)

CC

0
?????FT?T??F???F
--?--?T-T?-T--??
---:P- / 12
FF?FT?FFT?T?FF??
TT?TT-XTT?T-TT?-
V--:-- / -
F??FT?T?T??FFF??
T-?TT-T-T?-TTT?-
---:-- / 32
DNF

0
F??FT???T???FF??
T-?TT---T?--TT?-
---:-- / 24
F??FT???T???FF??
T-?TT---T?--TT?-
---:-M / 24
DNF

0
DNF

0
V50P50N10

FFF(T)F? TFT? T? FTT? (expected value)

3.41 3.41 0.98 0.64 2.77 0 3.41 0.98 2.77 0 0.98 0 2.77 0.98 2.77 0 (confidence rate)

DNF

0
FF?T??T?????????
TT-?-?T--?-?---?
---:P- / 12
FFF?F?TFT?T?FTT?
TTT-T?TTT?T?TTT?
---:-M / 44
FF??F?T?T?F?F?T?
TT--T?T-T?X?T-T?
V--:-- / -
DNF

0
FF??F?T?T???F?T?
TT--T?T-T?-?T-T?
---:-- / 28
FF??F?T?T???F?T?
TT--T?T-T?-?T-T?
---:-- / 28
DNF

0
DNF

0
V50P50N20

(T)(T)? ? TFFF? FFTT(F)FF (expected value)

0.79 0.79 0 0 1.98 2.77 2.62 2.77 0 3.41 2.77 2.77 3.41 0.64 0.98 2.77 (confidence rate)

DNF

0
??????F??F??TF??
--??--T-?T--T?--
---:P- / 12
????TFFF?FFTT?FF
--??TTTT?TTTT-TT
---:-M / 40
TT???F?F?FFTT??F
????-T-T?TTTT--T
---:-- / 28
DNF

0
????TFFF?FFTT??F
--??TTTT?TTTT--T
---:-- / 36
????TFFF?FFTT??F
--??TTTT?TTTT--T
---:-- / 36
DNF

0
DNF

0
V50P50N50

FTFT(F)(F)? (T)T? ? TT? FF (expected value)

1.43 3.41 1.43 2.77 0.79 0.79 0 0.64 3.41 0 0 1.77 3.41 0 1.43 0.98 (confidence rate)

CC

0
FTF????TT???T?F?
TTT---??T??-T?T-
---:P- / 24
TT?T????T??TT?TF
XT-T--?-T??TT?XT
V--:-- / -
FTFTFF??T??TT?F?
TTTT???-T??TT?T-
---:-- / 32
DNF

0
?T?T????T???T???
-T-T--?-T??-T?--
---:-- / 16
?T?T????T???T???
-T-T--?-T??-T?--
---:-M / 16
DNF

0
DNF

0
V80P20N10

FTTT(F)FF(T)TTFTFTT(F) (expected value)

3.41 0.98 1.43 1.98 0.64 3.41 2.77 0.79 1.43 0.98 3.41 1.43 0.98 0.98 1.43 0.79 (confidence rate)

DNF

0
F?T?FF??T?FT??T?
T-T-?T--T-TT--T-
---:P- / 28
FTFT?FF?FTFFFT??
TTXT-TT-XTTXTT--
V--:-- / -
FFT??FFTT?FT??TF
TXT--TT?T-TT--T?
V--:-- / -
DNF

0
F??T?FF???F?????
T--T-TT---T-----
---:-- / 20
F??T?FF???F?????
T--T-TT---T-----
---:-M / 20
DNF

0
DNF

0
V80P20N20

FTT(F)? TFFT? ? T(F)TFF (expected value)

3.41 1.43 2.77 0.79 0 3.41 2.77 2.77 2.77 0 0 0.98 0.79 3.41 2.77 2.77 (confidence rate)

DNF

0
FT???T???????T??
TT--?T---??--T--
---:P- / 16
FFT??TFFT??T?TFF
TXT-?TTTT??T-TTT
V--:-- / -
FTTF?TFFT???FTFF
TTT??TTTT??-?TTT
---:-- / 40
DNF

0
F?T??TFFT????TFF
T-T-?TTTT??--TTT
---:-- / 36
F?T??TFFT????TFF
T-T-?TTTT??--TTT
---:-M / 36
DNF

0
DNF

0
V80P20N50

FFTFFTTFFTTT? TTT (expected value)

3.41 1.77 1.43 2.77 0.98 0.98 2.77 0.98 3.41 3.41 0.98 1.43 0 3.41 2.77 1.43 (confidence rate)

DNF

0
F?T?T??TFT?T?T?T
T-T-X--XTT-T?T-T
V--:-- / -
FFFFFTTFFTTF?TTF
TTXTTTTTTTTX?TTX
V--:-- / -
FFTF?FT?FT?T?TTT
TTTT-XT-TT-T?TTT
V--:-- / -
DNF

0
F??F??T?FT???TT?
T--T--T-TT--?TT-
---:-- / 28
F??F??T?FT???TT?
T--T--T-TT--?TT-
---:PM / 28
DNF

0
DNF

0
V80P50N10

FT(F)(F)? (T)? TTFTFFF(T)F (expected value)

1.43 0.98 0.79 0.79 0 0.64 0 0.98 0.98 0.98 2.77 0.98 2.77 0.98 0.64 2.77 (confidence rate)

DNF

0
F????T?F?T???TT?
T---???X-X---X?-
V--:-- / -
?T?????TTFTFFF?F
-T--?-?TTTTTTT-T
---:PM / 36
FFFF????F?T?F??F
TX???-?-X-T-T--T
V--:-- / -
DNF

0
??????????T?F??F
----?-?---T-T--T
---:-- / 12
??????????T?F??F
----?-?---T-T--T
---:-- / 12
DNF

0
DNF

0
V80P50N20

TTTF(F)T(F)TFTF(F)? TT(F) (expected value)

3.41 3.41 0.98 0.98 0.64 1.43 0.79 3.41 2.77 3.41 2.77 0.79 0 2.77 2.77 0.64 (confidence rate)

DNF

0
TTF?FT?T?T?????F
TTX-?T-T-T--?--?
V--:-- / -
TTTF?F?TFTF??TT?
TTTT-X-TTTT-?TT-
V--:-- / -
TT???TFTFTFF?TT?
TT---T?TTTT??TT-
---:-- / 36
DNF

0
TT?????TFTF??TT?
TT-----TTTT-?TT-
---:P- / 32
TT?????TFTF??TT?
TT-----TTTT-?TT-
---:-M / 32
DNF

0
DNF

0
V80P50N50

FFTTTFFFT(F)? F? FT(F) (expected value)

0.98 0.98 2.77 2.77 3.41 2.77 0.98 0.98 2.77 0.64 0 2.77 0 2.77 2.77 0.79 (confidence rate)

DNF

0
????T??T?F??????
----T--X-??-?---
V--:-- / -
FFTTTFFFT??F?FT?
TTTTTTTTT-?T?TT-
---:PM / 48
??TTTF??T??F?FTF
--TTTT--T-?T?TT?
---:-- / 32
DNF

0
??TTTF??T??F?FT?
--TTTT--T-?T?TT-
---:-- / 32
??TTTF??T??F?FT?
--TTTT--T-?T?TT-
---:-- / 32
DNF

0
DNF

0
HypercubeGrid — P/T
  GreatSPN-Meddly ITS-Tools LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 0 160 24 0 88 84 0 0
Bonuses 0 0 32 0 0 16 0 0 0
Scores 0 0 128 24 0 72 84 0 0
C3K4P4B12

TFFFTF(F)? TFFTFTFF (expected value)

0.98 2.77 1.00 1.00 1.00 1.00 0.79 0 0.98 1.00 2.77 0.98 1.98 1.00 1.00 1.00 (confidence rate)

DNF

0
CC

0
TF??????T?FTF???
TT-----?T-TTT---
---:-M / 24
?F????F???F?????
-T----??--T-----
---:-- / 8
DNF

0
?FFFTF???FF?FTFF
-TTTTT-?-TT-TTTT
---:P- / 44
?FFFTF???FF?FTFF
-TTTTT-?-TT-TTTT
---:-- / 44
DNF

0
DNF

0
C4K3P3B12

FFFTTTFTFTFTT(T)TF (expected value)

1.98 1.77 1.00 0.98 0.98 1.98 1.48 1.48 1.98 1.77 1.77 1.48 1.00 0.79 1.98 2.77 (confidence rate)

CC

0
CC

0
FF?TTTFTFTFT??TF
TT-TTTTTTTTT--TT
---:-M / 52
?F???????TF??T?F
-T-------TT--?-T
---:-- / 16
DNF

0
F?F??T??F???T?TF
T-T--T--T---T-TT
---:P- / 28
F?F??TFTF??TT?TF
T-T--TTTT--TT-TT
---:-- / 40
DNF

0
DNF

0
C5K3P3B15

FTT(T)TTT(F)TFTF(F)FTT (expected value)

0.98 0.98 0.98 0.63 0.98 0.98 0.98 0.63 0.98 0.98 0.98 0.98 0.63 0.98 0.98 0.98 (confidence rate)

TFFTFFFFFTFTFTFF
XXX?XXX?XXXX?XXX
V--:-- / -
CC

0
FTT?TTT?TFTF?FTT
TTT-TTT-TTTT-TTT
---:PM / 52
????????????????
----------------
---:-- / 0
DNF

0
CC

0
????????????????
----------------
---:-- / 0
DNF

0
DNF

0
IBM319 — P/T
  GreatSPN-Meddly ITS-Tools LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 64 0 64 0 64 64 72 0 72
Bonuses 0 0 0 0 0 0 8 0 8
Scores 64 0 64 0 64 64 64 0 64
none

TTTFTFFTFFTTTFFT (expected value)

4.01 4.01 4.80 4.80 4.80 4.80 4.80 4.01 4.80 4.80 4.80 4.01 4.80 4.01 4.80 4.80 (confidence rate)

TTTFTFFTFFTTTFFT
TTTTTTTTTTTTTTTT
---:-- / 64
CC

0
TTTFTFFTFFTTTFFT
TTTTTTTTTTTTTTTT
---:-- / 64
FFTFTFFFFFTFTTFT
XXTTTTTXTTTXTXTT
V--:-- / -
TTTFTFFTFFTTTFFT
TTTTTTTTTTTTTTTT
---:-- / 64
TTTFTFFTFFTTTFFT
TTTTTTTTTTTTTTTT
---:-- / 64
TTTFTFFTFFTTTFFT
TTTTTTTTTTTTTTTT
---:-M / 64
DNF

0
TTTFTFFTFFTTTFFT
TTTTTTTTTTTTTTTT
---:P- / 64
IBM5964 — P/T
  GreatSPN-Meddly ITS-Tools LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 64 0 72 0 64 72 64 0 64
Bonuses 0 0 8 0 0 8 0 0 0
Scores 64 0 64 0 64 64 64 0 64
none

TTTTTFFTFTTTTTFT (expected value)

4.80 4.80 4.80 4.80 4.01 4.80 4.80 4.80 4.80 4.01 4.80 4.01 4.80 4.80 4.80 4.01 (confidence rate)

TTTTTFFTFTTTTTFT
TTTTTTTTTTTTTTTT
---:-- / 64
CC

0
TTTTTFFTFTTTTTFT
TTTTTTTTTTTTTTTT
---:-M / 64
TTTTFFFTFFTFTTFF
TTTTXTTTTXTXTTTX
V--:-- / -
TTTTTFFTFTTTTTFT
TTTTTTTTTTTTTTTT
---:-- / 64
TTTTTFFTFTTTTTFT
TTTTTTTTTTTTTTTT
---:P- / 64
TTTTTFFTFTTTTTFT
TTTTTTTTTTTTTTTT
---:-- / 64
DNF

0
TTTTTFFTFTTTTTFT
TTTTTTTTTTTTTTTT
---:-- / 64
IBM703 — P/T
  GreatSPN-Meddly ITS-Tools LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 64 0 80 0 64 64 64 0 64
Bonuses 0 0 16 0 0 0 0 0 0
Scores 64 0 64 0 64 64 64 0 64
none

FTFFTTFTFFFTTFFF (expected value)

4.80 4.80 4.80 4.80 4.01 4.01 4.80 4.01 4.80 4.80 4.80 4.01 4.80 4.80 4.80 4.80 (confidence rate)

FTFFTTFTFFFTTFFF
TTTTTTTTTTTTTTTT
---:-- / 64
CC

0
FTFFTTFTFFFTTFFF
TTTTTTTTTTTTTTTT
---:PM / 64
FTFFFFFFFFFFTFFF
TTTTXXTXTTTXTTTT
V--:-- / -
FTFFTTFTFFFTTFFF
TTTTTTTTTTTTTTTT
---:-- / 64
FTFFTTFTFFFTTFFF
TTTTTTTTTTTTTTTT
---:-- / 64
FTFFTTFTFFFTTFFF
TTTTTTTTTTTTTTTT
---:-- / 64
DNF

0
FTFFTTFTFFFTTFFF
TTTTTTTTTTTTTTTT
---:-- / 64
IOTPpurchase — P/T
  GreatSPN-Meddly ITS-Tools LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 128 0 288 0 192 264 248 200 208
Bonuses 0 0 32 0 0 16 0 8 8
Scores 128 0 256 0 192 248 248 192 200
C01M01P01D01

FFTFFFFTTTTFFFFT (expected value)

5.24 5.24 5.24 5.24 5.24 5.24 5.24 5.24 4.45 5.24 5.24 5.24 5.24 5.24 5.24 5.24 (confidence rate)

FFTFFFFTTTTFFFFT
TTTTTTTTTTTTTTTT
---:-- / 64
CC

0
FFTFFFFTTTTFFFFT
TTTTTTTTTTTTTTTT
---:-- / 64
FFTFFFFTFTTFFFFT
TTTTTTTTXTTTTTTT
V--:-- / -
FFTFFFFTTTTFFFFT
TTTTTTTTTTTTTTTT
---:-- / 64
FFTFFFFTTTTFFFFT
TTTTTTTTTTTTTTTT
---:-- / 64
FFTFFFFTTTTFFFFT
TTTTTTTTTTTTTTTT
---:-- / 64
FFTFFFFTTTTFFFFT
TTTTTTTTTTTTTTTT
---:-M / 64
FFTFFFFTTTTFFFFT
TTTTTTTTTTTTTTTT
---:P- / 64
C03M03P03D03

TFFTTFTFTFFFFFTF (expected value)

5.24 5.24 5.24 5.24 5.24 5.24 5.24 5.24 5.24 5.24 5.24 5.24 5.24 5.24 4.45 5.24 (confidence rate)

TFFTTFTFTFFFFFTF
TTTTTTTTTTTTTTTT
---:-- / 64
CC

0
TFFTTFTFTFFFFFTF
TTTTTTTTTTTTTTTT
---:-- / 64
TFFTTFTFTFFFFFFF
TTTTTTTTTTTTTTXT
V--:-- / -
TFFTTFTFTFFFFFTF
TTTTTTTTTTTTTTTT
---:-- / 64
TFFTTFTFTFFFFFTF
TTTTTTTTTTTTTTTT
---:PM / 64
TFFTTFTFTFFFFFTF
TTTTTTTTTTTTTTTT
---:-- / 64
TFFTTFTFTFFFFFTF
TTTTTTTTTTTTTTTT
---:-- / 64
TFFTTFTFTFFFFFTF
TTTTTTTTTTTTTTTT
---:-- / 64
C05M04P03D02

TTTFFFTFFTTTTFTF (expected value)

4.62 4.62 3.97 4.76 4.76 4.62 4.62 4.76 4.62 4.62 4.76 4.62 4.62 4.62 4.62 4.62 (confidence rate)

FFTFFTFFTFTFFTFT
XXTTTXXTXXTXXXXX
V--:-- / -
CC

0
TTTFFFTFFTTTTFTF
TTTTTTTTTTTTTTTT
---:PM / 64
TTFFFFTFFTTTTFTF
TTXTTTTTTTTTTTTT
V--:-- / -
TTTFFFTFFTTTTFTF
TTTTTTTTTTTTTTTT
---:-- / 64
TTTFFFTFFTTTTFTF
TTTTTTTTTTTTTTTT
---:-- / 64
TTTFFFTFFTTTTFTF
TTTTTTTTTTTTTTTT
---:-- / 64
TTTFFFTFFTTTTFTF
TTTTTTTTTTTTTTTT
---:-- / 64
TT???FT?FT?TTFTF
TT---TT-TT-TTTTT
---:-- / 44
C12M10P15D17

TTTFTFFTFTTFTFFF (expected value)

3.25 2.60 2.39 2.39 3.25 2.77 3.25 3.25 3.25 2.77 3.25 3.39 2.77 3.25 3.39 3.39 (confidence rate)

FTTFFTTFTFFFFTFF
XTTTXXXXXXXTXXTT
V--:-- / -
CC

0
TTTFTFFTFTTFTFFF
TTTTTTTTTTTTTTTT
---:PM / 64
TFTFTFFTFTTFTFFF
TXTTTTTTTTTTTTTT
V--:-- / -
DNF

0
TT??TFFTFTTFTFFF
TT--TTTTTTTTTTTT
---:-- / 56
TT??TFFTFTTFTFFF
TT--TTTTTTTTTTTT
---:-- / 56
DNF

0
T???T?FTF?T??F??
T---T-TTT-T--T--
---:-- / 28
Parking — P/T
  GreatSPN-Meddly ITS-Tools LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 64 0 196 204 64 200 236 64 64
Bonuses 0 0 16 24 0 8 48 0 0
Scores 64 0 180 180 64 192 188 64 64
104

TTTTTTFTTFTFFFFF (expected value)

5.24 4.45 5.24 4.45 5.24 5.24 5.24 5.24 5.88 5.24 5.88 5.24 4.45 5.24 5.24 5.24 (confidence rate)

TTTTTTFTTFTFFFFF
TTTTTTTTTTTTTTTT
---:-- / 64
?????F?FT?T?T???
-----X-XT-T-X---
V--:-- / -
TTTTTTFTTFTFFFFF
TTTTTTTTTTTTTTTT
---:PM / 64
TFTFTTFTTFTFTFFF
TXTXTTTTTTTTXTTT
V--:-- / -
TTTTTTFTTFTFFFFF
TTTTTTTTTTTTTTTT
---:-- / 64
TTTTTTFTTFTFFFFF
TTTTTTTTTTTTTTTT
---:-- / 64
TTTTTTFTTFTFFFFF
TTTTTTTTTTTTTTTT
---:-- / 64
TTTTTTFTTFTFFFFF
TTTTTTTTTTTTTTTT
---:-- / 64
TTTTTTFTTFTFFFFF
TTTTTTTTTTTTTTTT
---:-- / 64
208

TTTFTFFFFFTFTFFT (expected value)

3.03 1.62 1.63 3.03 1.41 3.05 2.05 3.05 3.03 3.05 1.27 3.05 2.41 3.03 3.03 4.03 (confidence rate)

TFTFTFFFFFTFTFFT
TXTTTTTTTTTTTTTT
V--:-- / -
TTFFFFFFFFTFFFFT
TTXTXTTTTTTTXTTT
V--:-- / -
TT?F????F????FFT
TT-T----T----TTT
---:-- / 28
TFFFTFFFFFFFTFFT
TXXTTTTTTTXTTTTT
V--:-- / -
DNF

0
??T??F?F?F?FT??T
--T--T-T-T-TT--T
---:-- / 28
??T??F?F?F?FT??T
--T--T-T-T-TT--T
---:PM / 28
DNF

0
DNF

0
416

FTFTFTFTFFFFFTFF (expected value)

2.41 1.43 1.43 2.43 1.43 1.43 1.64 1.79 2.43 3.41 2.41 2.43 2.43 2.41 1.43 2.43 (confidence rate)

DNF

0
FTFTFTFFFFFFFTFF
TTTTTTTXTTTTTTTT
V--:-- / -
FF???????FF??T??
TX-------TT--T--
V--:-- / -
FTFTFTTTFFFFFTFF
TTTTTTXTTTTTTTTT
V--:-- / -
DNF

0
???T??FTFF?FF??F
---T--TTTT-TT--T
---:P- / 32
???T??FTFF?FF??F
---T--TTTT-TT--T
---:-M / 32
DNF

0
DNF

0
432

FTFFFFFTFTFTTFFT (expected value)

1.43 2.41 2.43 2.43 2.41 2.41 1.43 2.91 1.43 2.41 2.41 1.79 1.43 2.41 2.41 2.41 (confidence rate)

DNF

0
FTFFFFFTFTFFTFFT
TTTTTTTTTTTXTTTT
V--:-- / -
?T??FF?T?TF??FFT
-T--TT-T-TT--TTT
---:-- / 36
FTFFFFFTFTFTTFFT
TTTTTTTTTTTTTTTT
---:P- / 64
DNF

0
??FF???T???T????
--TT---T---T----
---:-- / 16
??FF???????T????
--TT-------T----
---:-M / 12
DNF

0
DNF

0
832

TFTFFFF(T)FFTFT(F)FF (expected value)

3.41 3.41 2.41 2.41 2.43 1.43 3.41 0.79 1.43 1.43 1.79 1.43 2.41 0.79 1.43 1.43 (confidence rate)

DNF

0
TFTFFFFFFFFFTTFF
TTTTTTTXTTXTTXTT
V--:-- / -
TFTF??F?????T???
TTTT--T-----T---
---:-- / 24
TFTFFFFTFFTFTFFF
TTTTTTT?TTTTT?TT
---:P- / 56
DNF

0
TF??F?F???T?????
TT--T-T---T-----
---:-- / 20
TF??F?F???T?????
TT--T-T---T-----
---:-M / 20
DNF

0
DNF

0
864

FFFFTTFFFTFFF(T)TF (expected value)

2.41 2.41 1.43 2.41 2.41 1.79 3.41 1.43 2.41 1.79 3.41 2.43 2.43 0.79 1.79 2.43 (confidence rate)

DNF

0
FFFFTFFFFFFFFFFF
TTTTTXTTTXTTTXXT
V--:-- / -
FF?FT?F?F?F?????
TT-TT-T-T-T-----
---:-- / 28
FFFFTTFFFTFFFTTF
TTTTTTTTTTTTT?TT
---:P- / 60
DNF

0
?????TF??TFFF?TF
-----TT--TTTT-TT
---:-- / 32
?????TF??TFFF?TF
-----TT--TTTT-TT
---:-M / 32
DNF

0
DNF

0
PhaseVariation — P/T
  GreatSPN-Meddly ITS-Tools LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 128 176 620 32 64 340 308 64 64
Bonuses 0 8 112 0 0 16 24 0 0
Scores 128 168 508 32 64 324 284 64 64
D02CS010

FTFTFFTTTTTTTTTT (expected value)

5.88 5.88 5.88 5.09 5.88 5.88 5.09 5.09 5.09 5.09 5.88 5.09 5.88 5.24 5.88 4.45 (confidence rate)

FTFTFFTTTTTTTTTT
TTTTTTTTTTTTTTTT
---:-- / 64
FTFTFFTTTTTTTFTF
TTTTTTTTTTTTTXTX
V--:-- / -
FTFTFFTTTTTTTTTT
TTTTTTTTTTTTTTTT
---:-- / 64
FTFFFFFFFFTFTTTF
TTTXTTXXXXTXTTTX
V--:-- / -
FTFTFFTTTTTTTTTT
TTTTTTTTTTTTTTTT
---:-- / 64
FTFTFFTTTTTTTTTT
TTTTTTTTTTTTTTTT
---:-- / 64
FTFTFFTTTTTTTTTT
TTTTTTTTTTTTTTTT
---:PM / 64
FTFTFFTTTTTTTTTT
TTTTTTTTTTTTTTTT
---:-- / 64
FTFTFFTTTTTTTTTT
TTTTTTTTTTTTTTTT
---:-- / 64
D02CS100

FFTTFFTTFFTFTTTF (expected value)

4.03 2.39 4.03 1.60 4.03 4.03 4.03 4.03 4.03 3.03 4.03 4.03 4.03 3.03 4.03 4.03 (confidence rate)

FFTTFFTTFFTFTTTF
TTTTTTTTTTTTTTTT
---:-- / 64
FTT?FFTTFFTFTTTF
TXT-TTTTTTTTTTTT
V--:-- / -
FFTTFFTTFFTFTTTF
TTTTTTTTTTTTTTTT
---:PM / 64
FFTFFFTTFFTFTTTF
TTTXTTTTTTTTTTTT
V--:-- / -
DNF

0
F?T?FFTTF?TFT?TF
T-T-TTTTT-TTT-TT
---:-- / 48
F?T?FFTTF?TFT?TF
T-T-TTTTT-TTT-TT
---:-- / 48
DNF

0
DNF

0
D05CS010

FFTFFFFFFTFFTTFF (expected value)

3.41 3.03 1.41 3.41 3.41 2.05 2.05 3.05 4.03 1.27 4.03 3.05 2.41 1.41 3.41 3.03 (confidence rate)

TFTTTFFFFTFFTTTF
XTTXXTTTTTTTTTXT
V--:-- / -
FFFFFFFFFTFFFFFF
TTXTTTTTTTTTXXTT
V--:-- / -
FF?FF???F?F???FF
TT-TT---T-T---TT
---:-M / 32
FFTFFFFFFFFFTTFF
TTTTTTTTTXTTTTTT
V--:-- / -
DNF

0
F??FF??FF?FFT?F?
T--TT--TT-TTT-T-
---:P- / 36
F??FF??FF?FFT?F?
T--TT--TT-TTT-T-
---:-- / 36
DNF

0
DNF

0
D05CS100

TFTTTTFTTTTFFTTT (expected value)

1.62 3.41 3.41 2.62 3.41 3.41 2.41 3.41 2.62 1.62 2.62 2.41 1.62 3.41 3.41 3.41 (confidence rate)

DNF

0
TFTTTTFTTTTFFTTT
TTTTTTTTTTTTTTTT
---:-- / 64
TFTTTTFTTTTFFTTT
TTTTTTTTTTTTTTTT
---:PM / 64
?FT?TTFT?F?F?TTT
-TT-TTTT-X-T-TTT
V--:-- / -
DNF

0
?FTTTT?TT?T??TTT
-TTTTT-TT-T--TTT
---:-- / 44
?FTTTT?TT?T??TTT
-TTTTT-TT-T--TTT
---:-- / 44
DNF

0
DNF

0
D10CS010

TTFTTFTF(F)FFF? ? FT (expected value)

2.62 3.41 0.98 1.00 2.62 2.62 0.98 1.00 0.79 3.41 2.62 1.00 0 0 1.00 2.62 (confidence rate)

DNF

0
TT??TF???FF????T
TT--TT---TT-??-T
---:-- / 28
TTF?TFT??FF????T
TTT-TTT--TT-??-T
---:-M / 36
?T??????FF??????
-T------?T--??--
---:-- / 8
DNF

0
TT?TTF?F?FFF??FT
TT-TTT-T-TTT??TT
---:-- / 44
TT?TTF?F?FFF??FT
TT-TTT-T-TTT??TT
---:P- / 44
DNF

0
DNF

0
D10CS100

(F)FTFF(F)TFFTTTF? FF (expected value)

0.64 3.41 0.98 2.62 2.62 0.64 1.98 2.77 2.62 2.62 2.62 1.98 2.62 0 3.41 3.41 (confidence rate)

CC

0
FF?FFF??FTT?F?FF
?T-TT?--TTT-T?TT
---:-- / 36
?FTFF?TFFTTTF?FF
-TTTT-TTTTTTT?TT
---:-M / 52
?F?????F??????FF
-T-----T-----?TT
---:-- / 16
DNF

0
?F?FF?TFFTTTF?FF
-T-TT-TTTTTTT?TT
---:P- / 48
?F?FF?TFFTTTF?FF
-T-TT-TTTTTTT?TT
---:-- / 48
DNF

0
DNF

0
D20CS010

FFFFFF(F)T? (F)FFFFFT (expected value)

1.48 1.62 2.12 1.43 2.12 2.12 0.50 1.48 0 0.50 1.77 1.48 1.48 1.48 1.48 1.48 (confidence rate)

CC

0
?FFFFF??????????
-TTTTT--?-------
---:-- / 20
FFF?FF?T??FFFFFT
TTT-TT-T?-TTTTTT
---:PM / 48
???F??????F?????
---T----?-T-----
---:-- / 8
DNF

0
F?F?FFFT?F?FFFFT
T-T-TT?T??-TTTTT
---:-- / 40
????????????????
--------?-------
---:-- / 0
DNF

0
DNF

0
D20CS100

(F)FTTTFFFFTTTTTTT (expected value)

0.64 2.27 1.48 0.98 1.48 1.48 1.48 1.48 2.12 2.91 1.48 1.48 1.48 1.48 0.98 2.12 (confidence rate)

CC

0
F???????FT??F??T
?-------TT--X--T
V--:-- / -
?FTTTFFFFTTTTTTT
-TTTTTTTTTTTTTTT
---:PM / 60
?F?F?????T????F?
-T-X-----T----X-
V--:-- / -
DNF

0
TFT?TFFFFTTTTT?T
XTT-TTTTTTTTTT-T
V--:-- / -
????????????????
----------------
---:-- / 0
DNF

0
DNF

0
D30CS010

TFTFF? ? ? (F)? TF? F? ? (expected value)

1.62 1.62 0.98 1.62 1.62 0 0 0 0.64 0 0.98 0.98 0 1.62 0 0 (confidence rate)

DNF

0
TF?FF???F????F??
TT-TT?????--?T??
---:P- / 20
TFTFF?????TF?F??
TTTTT???-?TT?T??
---:-M / 32
????????????????
-----???-?--?-??
---:-- / 0
DNF

0
CC

0
????????????????
-----???-?--?-??
---:-- / 0
DNF

0
DNF

0
D30CS100

FTFTFTFTT? FTF(F)TF (expected value)

0.98 0.98 0.98 1.62 0.98 1.62 1.62 1.62 1.62 0 1.62 1.62 0.98 0.64 1.62 0.98 (confidence rate)

DNF

0
???T?TFTT?FTTFT?
---T-TTTT?TTX?T-
V--:-- / -
FTFTFTFTT?FTF?TF
TTTTTTTTT?TTT-TT
---:PM / 56
????????????????
---------?------
---:-- / 0
DNF

0
CC

0
????????????????
---------?------
---:-- / 0
DNF

0
DNF

0
Raft — P/T
  GreatSPN-Meddly ITS-Tools LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 304 40 168 272 128 348 388 64 180
Bonuses 48 0 0 32 0 8 48 0 8
Scores 256 40 168 240 128 340 340 64 172
02

FFTTFFFTFTFTFFTT (expected value)

5.24 5.24 5.24 5.24 5.24 5.24 5.24 4.45 5.24 5.24 5.24 4.45 5.24 5.24 4.45 5.24 (confidence rate)

FFTTFFFTFTFTFFTT
TTTTTTTTTTTTTTTT
---:-- / 64
??FF???F?F?F???F
--XX---X-X-X---X
V--:-- / -
FFTTFFFTFTFTFFTT
TTTTTTTTTTTTTTTT
---:-- / 64
FFTTFFFFFTFFFFFT
TTTTTTTXTTTXTTXT
V--:-- / -
FFTTFFFTFTFTFFTT
TTTTTTTTTTTTTTTT
---:-- / 64
FFTTFFFTFTFTFFTT
TTTTTTTTTTTTTTTT
---:P- / 64
FFTTFFFTFTFTFFTT
TTTTTTTTTTTTTTTT
---:-M / 64
FFTTFFFTFTFTFFTT
TTTTTTTTTTTTTTTT
---:-- / 64
FFTTFFFTFTFTFFTT
TTTTTTTTTTTTTTTT
---:-- / 64
03

FTFFFFTFFFFFFTFF (expected value)

2.34 4.44 3.34 3.80 2.34 3.32 5.44 2.34 3.34 4.80 2.34 3.34 4.31 5.44 4.80 5.44 (confidence rate)

FTFFFFTFFFFFFTFF
TTTTTTTTTTTTTTTT
---:PM / 64
?T????T??????T?F
-T----T------T-T
---:-- / 16
?T?F?FT??F??FTFF
-T-T-TT--T--TTTT
---:-- / 36
FTFFFFTFFFFFFTFF
TTTTTTTTTTTTTTTT
---:-- / 64
FTFFFFTFFFFFFTFF
TTTTTTTTTTTTTTTT
---:-- / 64
??F???T?FF?FFTFF
--T---T-TT-TTTTT
---:-- / 36
??F???T?FF?FFTFF
--T---T-TT-TTTTT
---:-- / 36
DNF

0
?T?F??T??F???TFF
-T-T--T--T---TTT
---:-- / 28
04

FFFFFFFTTFFFFTTF (expected value)

3.05 3.05 3.05 2.05 3.05 1.41 3.05 1.27 3.03 2.26 3.05 4.52 3.52 2.41 1.27 2.05 (confidence rate)

FFFFFFFTTFFFFTTF
TTTTTTTTTTTTTTTT
---:PM / 64
FFFFFTFTTFFFFFTF
TTTTTXTTTTTTTXTT
V--:-- / -
????????T??FF???
--------T--TT---
---:-- / 12
FFFFFFFFTTFFFTFF
TTTTTTTXTXTTTTXT
V--:-- / -
DNF

0
FFF?F?F??FFF?T??
TTT-T-T--TTT-T--
---:-- / 36
FFF?F?F??FFF?T??
TTT-T-T--TTT-T--
---:-- / 36
DNF

0
???????????FF???
-----------TT---
---:-- / 8
05

TFTFTFFFFFTTTFTF (expected value)

4.03 3.05 1.27 2.05 1.41 1.41 3.05 2.05 2.05 3.05 2.41 2.41 1.41 2.05 4.52 4.52 (confidence rate)

TFTFTFFFFFTTTFTF
TTTTTTTTTTTTTTTT
---:PM / 64
TFTFFTFFFFFFFFTF
TTTTXXTTTTXXXTTT
V--:-- / -
TT????????????TF
TX------------TT
V--:-- / -
TFFFTFFFFFTTTFTF
TTXTTTTTTTTTTTTT
V--:-- / -
DNF

0
TF????F??FTT??TF
TT----T--TTT--TT
---:-- / 32
TF????F??FTT??TF
TT----T--TTT--TT
---:-- / 32
DNF

0
??????????????TF
--------------TT
---:-- / 8
06

(F)TFTTFFFFTTTTTFT (expected value)

0.79 4.52 2.41 4.52 1.41 4.52 2.41 1.41 1.41 2.41 4.52 4.52 1.41 2.41 4.52 4.52 (confidence rate)

TTFTTFFFFTTTTTFT
XTTTTTTTTTTTTTTT
V--:-- / -
?T?TFF???FTTFFFT
-T-TXT---XTTXXTT
V--:-- / -
?T?T?F????TT??FT
-T-T-T----TT--TT
---:-- / 28
FTFTTFFFFTTTTTFT
?TTTTTTTTTTTTTTT
---:P- / 60
DNF

0
?TFT?FF??TTT?TFT
-TTT-TT--TTT-TTT
---:-- / 44
?TFT?FF??TTT?TFT
-TTT-TT--TTT-TTT
---:-M / 44
DNF

0
?T?T?F????TT??FT
-T-T-T----TT--TT
---:-- / 28
07

(F)TF(F)FTTTF(F)F(T)T(F)F(T) (expected value)

0.79 1.79 2.91 0.79 1.43 2.91 2.43 2.91 1.79 0.79 1.79 0.79 1.79 0.79 3.89 0.79 (confidence rate)

DNF

0
?FF?FTTT???FF?F?
-XT-TTTT---XX-T-
V--:-- / -
??????????????F?
--------------T-
---:-- / 4
FTFFFTTTFFFTTFFT
?TT?TTTTT?T?T?T?
---:P- / 40
DNF

0
?TF??TTTF?F?T?F?
-TT--TTTT-T-T-T-
---:-- / 36
?TF??TTTF?F?T?F?
-TT--TTTT-T-T-T-
---:-M / 36
DNF

0
??F??T?T??????F?
--T--T-T------T-
---:-- / 16
08

TTFFFFFFFFFF(F)(T)FT (expected value)

1.79 1.79 1.43 2.43 2.91 1.43 1.43 1.43 1.64 3.89 2.41 1.43 0.79 0.79 2.43 1.43 (confidence rate)

DNF

0
FFFFFFFFFFFFTFFT
XXTTTTTTTTTTXXTT
V--:-- / -
?????????FF?????
---------TT-----
---:-- / 8
TTFFFFFFTFFFFTFT
TTTTTTTTXTTT??TT
V--:-- / -
DNF

0
TT?FF???FF????F?
TT-TT---TT----T-
---:-- / 28
TT?FF???FF????F?
TT-TT---TT----T-
---:-M / 28
DNF

0
????F????F??????
----T----T------
---:P- / 8
09

F(F)T(F)FF(F)(T)T(T)(T)(F)FFF(F) (expected value)

1.79 0.79 2.41 0.79 1.79 1.79 0.79 0.79 3.41 0.79 0.79 0.79 3.41 3.89 1.79 0.79 (confidence rate)

DNF

0
??T????FTF??FF??
--T----XTX--TT--
V--:-- / -
??T?????T???FF??
--T-----T---TT--
---:-- / 16
FFTFFFFTTTTFFFFF
T?T?TT??T???TTT?
---:P- / 32
DNF

0
F???FF??T???FFF?
T---TT--T---TTT-
---:-- / 28
F???FF??T???FFF?
T---TT--T---TTT-
---:-M / 28
DNF

0
?????????????F??
-------------T--
---:-- / 4
10

(F)(T)F(T)FTFTF(F)F(F)FTFF (expected value)

0.79 0.79 2.91 0.79 1.79 2.91 1.43 2.43 1.79 0.79 1.43 0.79 1.79 2.43 1.79 1.79 (confidence rate)

DNF

0
??F??TFT??F??T??
--T--TTT--T--T--
---:-- / 24
????????????????
----------------
---:-- / 0
FTFTFTFTFFFFFTFF
??T?TTTTT?T?TTTT
---:P- / 44
DNF

0
??F?FT?TF???FTFF
--T-TT-TT---TTTT
---:-- / 36
??F?FT?TF???FTFF
--T-TT-TT---TTTT
---:-M / 36
DNF

0
??F??T??????????
--T--T----------
---:-- / 8
SafeBus — Colored
  GreatSPN-Meddly ITS-Tools LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 80 0 0 0 0 0 0 0
Bonuses 0 80 0 0 0 0 0 0 0
Scores 0 0 0 0 0 0 0 0 0
03

? ? ? ? ? (F)? ? (T)(F)? ? ? (F)? ? (expected value)

0 0 0 0 0 0.64 0 0 0.64 0.64 0 0 0 0.64 0 0 (confidence rate)

CC

0
?????F??TF???F??
????????????????
---:PM / 0
DNC CC

0
CC

0
DNC DNC DNC DNC
06

? ? ? ? ? (T)? (F)? ? ? (F)? ? (T)? (expected value)

0 0 0 0 0 0.64 0 0.64 0 0 0 0.64 0 0 0.64 0 (confidence rate)

CC

0
?????T?F???F??T?
????????????????
---:PM / 0
DNC CC

0
CC

0
DNC DNC DNC DNC
10

? ? ? ? ? (F)(F)? (F)? ? (F)? (T)(T)(T) (expected value)

0 0 0 0 0 0.64 0.64 0 0.64 0 0 0.64 0 0.64 0.64 0.64 (confidence rate)

CC

0
?????FF?F??F?TTT
????????????????
---:PM / 0
DNC CC

0
CC

0
DNC DNC DNC DNC
15

? (F)? (F)? (F)? ? ? ? (F)? (T)(T)(T)(F) (expected value)

0 0.64 0 0.64 0 0.64 0 0 0 0 0.64 0 0.64 0.64 0.64 0.64 (confidence rate)

CC

0
?F?F?F????F?TTTF
????????????????
---:PM / 0
DNC CC

0
CC

0
DNC DNC DNC DNC
20

(F)? ? ? ? ? ? ? ? ? ? ? ? ? ? ? (expected value)

0.64 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 (confidence rate)

CC

0
F???????????????
????????????????
---:PM / 0
DNC CC

0
CC

0
DNC DNC DNC DNC
50

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNC CC

0
CC

0
DNC DNC DNC DNC
80

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNC CC

0
CC

0
DNC DNC DNC DNC
SafeBus — P/T
  GreatSPN-Meddly ITS-Tools LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 64 36 308 40 108 192 192 64 64
Bonuses 0 8 48 0 0 8 16 0 0
Scores 64 28 260 40 108 184 176 64 64
03

TTTTTTTTFTTFFTFF (expected value)

5.88 5.09 5.09 5.24 5.09 5.24 5.09 5.09 5.24 5.24 5.88 5.88 5.88 4.45 5.88 5.88 (confidence rate)

TTTTTTTTFTTFFTFF
TTTTTTTTTTTTTTTT
---:-- / 64
TTTFTFTTTFTFFFFF
TTTXTXTTXXTTTXTT
V--:-- / -
TTTTTTTTFTTFFTFF
TTTTTTTTTTTTTTTT
---:-- / 64
TFFTFTFFFTTFFFFF
TXXTXTXXTTTTTXTT
V--:-- / -
TTTTTTTTFTTFFTFF
TTTTTTTTTTTTTTTT
---:-- / 64
TTTTTTTTFTTFFTFF
TTTTTTTTTTTTTTTT
---:P- / 64
TTTTTTTTFTTFFTFF
TTTTTTTTTTTTTTTT
---:-M / 64
TTTTTTTTFTTFFTFF
TTTTTTTTTTTTTTTT
---:-- / 64
TTTTTTTTFTTFFTFF
TTTTTTTTTTTTTTTT
---:-- / 64
06

TFFFFTFFTFFTTTFF (expected value)

2.55 4.34 3.34 3.41 2.41 3.41 2.41 3.41 2.55 3.34 3.34 1.91 4.34 2.55 2.70 3.34 (confidence rate)

DNF

0
TFFFFTFFTFFFTTTF
TTTTTTTTTTTXTTXT
V--:-- / -
TFFFFTFFTFFTTTFF
TTTTTTTTTTTTTTTT
---:PM / 64
FFFFFTFFFFFFTFFF
XTTTTTTTXTTXTXTT
V--:-- / -
TFF?????TFFTTTFF
TTT-----TTTTTTTT
---:-- / 44
?F?F?T?F????T???
-T-T-T-T----T---
---:-- / 20
?F?F?T?F????T???
-T-T-T-T----T---
---:-- / 20
DNF

0
DNF

0
10

? F? ? ? F(F)FF? FFFTTT (expected value)

0 0.98 0 0 0 3.41 0.64 3.41 2.41 0 0.98 3.41 1.98 3.41 3.41 1.43 (confidence rate)

DNF

0
?????FFFF??F?TTT
?-???T?TT?-T-TTT
---:P- / 28
?F???F?FF?FFFTT?
?T???T-TT?TTTTT-
---:-- / 36
?????F?FF??F?TTT
?-???T-TT?-T-TTT
---:-- / 28
DNF

0
?????F?F???FFTT?
?-???T-T-?-TTTT-
---:-- / 24
?????F?F???FFTT?
?-???T-T-?-TTTT-
---:-M / 24
DNF

0
DNF

0
15

TFFFTFTFFFFFT(T)FF (expected value)

1.98 2.62 1.00 1.43 0.98 2.27 1.98 1.98 0.98 1.00 2.62 1.77 2.62 0.64 0.98 2.62 (confidence rate)

DNF

0
?F?F??????F?TTTF
-T-T------T-T?XT
V--:-- / -
TF??TFTFF?FFT?FF
TT--TTTTT-TTT-TT
---:PM / 48
???F?F?????F????
---T-T-----T----
---:-- / 12
DNF

0
TFF??FTF?FF?T??F
TTT--TTT-TT-T--T
---:-- / 40
TFF???TF?FF?T??F
TTT---TT-TT-T--T
---:-- / 36
DNF

0
DNF

0
20

TT? TT? ? FFF? FFTFT (expected value)

0.98 0.98 0 1.98 0.98 0 0 1.48 1.98 1.98 0 1.98 2.77 1.98 2.77 1.98 (confidence rate)

CC

0
F???????????????
X-?--??---?-----
V--:-- / -
TT?TT??FFF?FFTFT
TT?TT??TTT?TTTTT
---:PM / 48
?F??F???????F?F?
-X?-X??---?-T-T-
V--:-- / -
DNF

0
???T???FFF?FFTFT
--?T-??TTT?TTTTT
---:-- / 36
???T????FF?FFTFT
--?T-??-TT?TTTTT
---:-- / 32
DNF

0
DNF

0
SmallOperatingSystem — P/T
  GreatSPN-Meddly ITS-Tools LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 832 64 1240 0 1216 1216 1448 1256 1224
Bonuses 0 0 24 0 0 0 232 40 8
Scores 832 64 1216 0 1216 1216 1216 1216 1216
MT0016DC0008

TTTFTFFFTFFTTTTT (expected value)

5.88 5.09 5.88 5.88 5.88 5.24 5.88 5.24 5.24 5.88 5.88 5.09 5.88 5.88 5.09 5.09 (confidence rate)

TTTFTFFFTFFTTTTT
TTTTTTTTTTTTTTTT
---:-- / 64
TTTFTTFTFFFTTTTT
TTTTTXTXXTTTTTTT
V--:-- / -
TTTFTFFFTFFTTTTT
TTTTTTTTTTTTTTTT
---:-- / 64
TFTFTFFFTFFFTTFF
TXTTTTTTTTTXTTXX
V--:-- / -
TTTFTFFFTFFTTTTT
TTTTTTTTTTTTTTTT
---:-- / 64
TTTFTFFFTFFTTTTT
TTTTTTTTTTTTTTTT
---:-- / 64
TTTFTFFFTFFTTTTT
TTTTTTTTTTTTTTTT
---:P- / 64
TTTFTFFFTFFTTTTT
TTTTTTTTTTTTTTTT
---:-M / 64
TTTFTFFFTFFTTTTT
TTTTTTTTTTTTTTTT
---:-- / 64
MT0032DC0008

FTFTTTTTTTFFTTTT (expected value)

5.88 5.09 5.24 5.09 5.24 5.09 5.88 5.24 5.09 4.45 5.88 5.88 5.09 5.09 5.09 5.09 (confidence rate)

FTFTTTTTTTFFTTTT
TTTTTTTTTTTTTTTT
---:-- / 64
FTTTFTTFTFFFTTTT
TTXTXTTXTXTTTTTT
V--:-- / -
FTFTTTTTTTFFTTTT
TTTTTTTTTTTTTTTT
---:-- / 64
FFFFTFTTFFFFFFFF
TXTXTXTTXXTTXXXX
V--:-- / -
FTFTTTTTTTFFTTTT
TTTTTTTTTTTTTTTT
---:-- / 64
FTFTTTTTTTFFTTTT
TTTTTTTTTTTTTTTT
---:-- / 64
FTFTTTTTTTFFTTTT
TTTTTTTTTTTTTTTT
---:-M / 64
FTFTTTTTTTFFTTTT
TTTTTTTTTTTTTTTT
---:-- / 64
FTFTTTTTTTFFTTTT
TTTTTTTTTTTTTTTT
---:P- / 64
MT0032DC0016

TFFTFTTTTFTFFTFF (expected value)

5.09 5.88 5.24 5.88 5.88 4.45 5.09 5.24 5.09 5.88 5.88 5.09 5.24 5.88 5.88 5.24 (confidence rate)

TFFTFTTTTFTFFTFF
TTTTTTTTTTTTTTTT
---:-- / 64
TFTTFFTFTFTFTTFT
TTXTTXTXTTTTXTTX
V--:-- / -
TFFTFTTTTFTFFTFF
TTTTTTTTTTTTTTTT
---:-M / 64
FFFTFFFTFFTTFTFF
XTTTTXXTXTTXTTTT
V--:-- / -
TFFTFTTTTFTFFTFF
TTTTTTTTTTTTTTTT
---:-- / 64
TFFTFTTTTFTFFTFF
TTTTTTTTTTTTTTTT
---:-- / 64
TFFTFTTTTFTFFTFF
TTTTTTTTTTTTTTTT
---:P- / 64
TFFTFTTTTFTFFTFF
TTTTTTTTTTTTTTTT
---:-- / 64
TFFTFTTTTFTFFTFF
TTTTTTTTTTTTTTTT
---:-- / 64
MT0064DC0016

FFFTTFTTFTTTFTTT (expected value)

5.88 5.09 5.88 5.09 5.88 5.88 5.09 5.09 5.88 5.09 5.09 5.09 5.88 5.09 5.09 5.88 (confidence rate)

FFFTTFTTFTTTFTTT
TTTTTTTTTTTTTTTT
---:-- / 64
FFFTTFTTFTTTFTTT
TTTTTTTTTTTTTTTT
---:-- / 64
FFFTTFTTFTTTFTTT
TTTTTTTTTTTTTTTT
---:-- / 64
FTFFTFFFFFFFFFFT
TXTXTTXXTXXXTXXT
V--:-- / -
FFFTTFTTFTTTFTTT
TTTTTTTTTTTTTTTT
---:-- / 64
FFFTTFTTFTTTFTTT
TTTTTTTTTTTTTTTT
---:-- / 64
FFFTTFTTFTTTFTTT
TTTTTTTTTTTTTTTT
---:PM / 64
FFFTTFTTFTTTFTTT
TTTTTTTTTTTTTTTT
---:-- / 64
FFFTTFTTFTTTFTTT
TTTTTTTTTTTTTTTT
---:-- / 64
MT0064DC0032

TTFTTFTTTTTTTTFF (expected value)

5.24 5.88 5.88 5.88 5.09 5.24 5.09 5.88 5.88 5.09 5.88 5.88 5.24 5.88 5.24 5.88 (confidence rate)

TTFTTFTTTTTTTTFF
TTTTTTTTTTTTTTTT
---:-- / 64
FTFTTTTTTTTTFTTF
XTTTTXTTTTTTXTXT
V--:-- / -
TTFTTFTTTTTTTTFF
TTTTTTTTTTTTTTTT
---:-- / 64
TTFTFFFTTFTTTTFF
TTTTXTXTTXTTTTTT
V--:-- / -
TTFTTFTTTTTTTTFF
TTTTTTTTTTTTTTTT
---:-- / 64
TTFTTFTTTTTTTTFF
TTTTTTTTTTTTTTTT
---:-- / 64
TTFTTFTTTTTTTTFF
TTTTTTTTTTTTTTTT
---:PM / 64
TTFTTFTTTTTTTTFF
TTTTTTTTTTTTTTTT
---:-- / 64
TTFTTFTTTTTTTTFF
TTTTTTTTTTTTTTTT
---:-- / 64
MT0128DC0032

TFTTFFFTTTTTTTFF (expected value)

5.24 5.88 5.09 5.09 5.88 5.09 5.88 5.24 5.88 5.09 5.88 5.88 5.88 5.88 5.88 5.88 (confidence rate)

TFTTFFFTTTTTTTFF
TTTTTTTTTTTTTTTT
---:-- / 64
FFTTFFFFTTTTTTFF
XTTTTTTXTTTTTTTT
V--:-- / -
TFTTFFFTTTTTTTFF
TTTTTTTTTTTTTTTT
---:-- / 64
TFFFFTFTTFTTTTFF
TTXXTXTTTXTTTTTT
V--:-- / -
TFTTFFFTTTTTTTFF
TTTTTTTTTTTTTTTT
---:-- / 64
TFTTFFFTTTTTTTFF
TTTTTTTTTTTTTTTT
---:-- / 64
TFTTFFFTTTTTTTFF
TTTTTTTTTTTTTTTT
---:PM / 64
TFTTFFFTTTTTTTFF
TTTTTTTTTTTTTTTT
---:-- / 64
TFTTFFFTTTTTTTFF
TTTTTTTTTTTTTTTT
---:-- / 64
MT0128DC0064

TFTTTTFFTFTTFFTF (expected value)

5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.09 5.88 5.24 5.09 5.88 (confidence rate)

TFTTTTFFTFTTFFTF
TTTTTTTTTTTTTTTT
---:-- / 64
TFTTTTFFTFTTFTTF
TTTTTTTTTTTTTXTT
V--:-- / -
TFTTTTFFTFTTFFTF
TTTTTTTTTTTTTTTT
---:-- / 64
TFTTTTFFTFTFFFFF
TTTTTTTTTTTXTTXT
V--:-- / -
TFTTTTFFTFTTFFTF
TTTTTTTTTTTTTTTT
---:-- / 64
TFTTTTFFTFTTFFTF
TTTTTTTTTTTTTTTT
---:-- / 64
TFTTTTFFTFTTFFTF
TTTTTTTTTTTTTTTT
---:PM / 64
TFTTTTFFTFTTFFTF
TTTTTTTTTTTTTTTT
---:-- / 64
TFTTTTFFTFTTFFTF
TTTTTTTTTTTTTTTT
---:-- / 64
MT0256DC0064

FFFFTTFFTTTTFTTT (expected value)

5.09 5.24 5.24 5.88 5.88 4.45 5.88 5.88 5.09 5.88 5.88 5.88 5.88 5.09 5.88 5.88 (confidence rate)

FFFFTTFFTTTTFTTT
TTTTTTTTTTTTTTTT
---:-- / 64
FTTFTFFFTTTTFTTT
TXXTTXTTTTTTTTTT
V--:-- / -
FFFFTTFFTTTTFTTT
TTTTTTTTTTTTTTTT
---:-- / 64
TFFFTFFFFTTTFFTT
XTTTTXTTXTTTTXTT
V--:-- / -
FFFFTTFFTTTTFTTT
TTTTTTTTTTTTTTTT
---:-- / 64
FFFFTTFFTTTTFTTT
TTTTTTTTTTTTTTTT
---:-- / 64
FFFFTTFFTTTTFTTT
TTTTTTTTTTTTTTTT
---:P- / 64
FFFFTTFFTTTTFTTT
TTTTTTTTTTTTTTTT
---:-M / 64
FFFFTTFFTTTTFTTT
TTTTTTTTTTTTTTTT
---:-- / 64
MT0256DC0128

FFFTFFTFFTFTTFTF (expected value)

5.88 5.88 5.88 5.88 5.88 5.88 5.24 5.09 5.88 5.09 5.88 5.88 5.88 5.88 5.88 5.88 (confidence rate)

FFFTFFTFFTFTTFTF
TTTTTTTTTTTTTTTT
---:-- / 64
FFFTFFFFFTFTTFTF
TTTTTTXTTTTTTTTT
V--:-- / -
FFFTFFTFFTFTTFTF
TTTTTTTTTTTTTTTT
---:-M / 64
FFFTFFTTFFFTTFTF
TTTTTTTXTXTTTTTT
V--:-- / -
FFFTFFTFFTFTTFTF
TTTTTTTTTTTTTTTT
---:-- / 64
FFFTFFTFFTFTTFTF
TTTTTTTTTTTTTTTT
---:-- / 64
FFFTFFTFFTFTTFTF
TTTTTTTTTTTTTTTT
---:P- / 64
FFFTFFTFFTFTTFTF
TTTTTTTTTTTTTTTT
---:-- / 64
FFFTFFTFFTFTTFTF
TTTTTTTTTTTTTTTT
---:-- / 64
MT0512DC0128

FTFFTTFTFTFFFTFF (expected value)

5.88 5.09 5.88 5.88 5.09 5.88 5.88 4.45 5.88 5.09 5.88 5.88 5.88 5.88 5.88 5.88 (confidence rate)

FTFFTTFTFTFFFTFF
TTTTTTTTTTTTTTTT
---:-- / 64
FTFFTTFFFTFFFTFF
TTTTTTTXTTTTTTTT
V--:-- / -
FTFFTTFTFTFFFTFF
TTTTTTTTTTTTTTTT
---:-M / 64
FFFFFTFFFFFFFTFF
TXTTXTTXTXTTTTTT
V--:-- / -
FTFFTTFTFTFFFTFF
TTTTTTTTTTTTTTTT
---:-- / 64
FTFFTTFTFTFFFTFF
TTTTTTTTTTTTTTTT
---:-- / 64
FTFFTTFTFTFFFTFF
TTTTTTTTTTTTTTTT
---:P- / 64
FTFFTTFTFTFFFTFF
TTTTTTTTTTTTTTTT
---:-- / 64
FTFFTTFTFTFFFTFF
TTTTTTTTTTTTTTTT
---:-- / 64
MT0512DC0256

TFTTFTFTTFFFTTTT (expected value)

5.88 5.88 5.09 5.88 5.88 5.09 5.88 4.45 5.88 5.88 5.88 5.88 5.88 5.09 5.09 5.88 (confidence rate)

TFTTFTFTTFFFTTTT
TTTTTTTTTTTTTTTT
---:-- / 64
TFTTFTFFTFFFTTTT
TTTTTTTXTTTTTTTT
V--:-- / -
TFTTFTFTTFFFTTTT
TTTTTTTTTTTTTTTT
---:-- / 64
TFFTFFFFTFFFTFFT
TTXTTXTXTTTTTXXT
V--:-- / -
TFTTFTFTTFFFTTTT
TTTTTTTTTTTTTTTT
---:-- / 64
TFTTFTFTTFFFTTTT
TTTTTTTTTTTTTTTT
---:-- / 64
TFTTFTFTTFFFTTTT
TTTTTTTTTTTTTTTT
---:PM / 64
TFTTFTFTTFFFTTTT
TTTTTTTTTTTTTTTT
---:-- / 64
TFTTFTFTTFFFTTTT
TTTTTTTTTTTTTTTT
---:-- / 64
MT1024DC0256

TTTFFTTFFFTTFFFT (expected value)

5.09 5.88 5.09 5.88 5.24 5.09 5.09 5.88 5.88 5.24 5.24 5.24 5.24 5.88 4.45 5.88 (confidence rate)

TTTFFTTFFFTTFFFT
TTTTTTTTTTTTTTTT
---:-- / 64
TTTFTTTFFTFFTFTT
TTTTXTTTTXXXXTXT
V--:-- / -
TTTFFTTFFFTTFFFT
TTTTTTTTTTTTTTTT
---:-- / 64
FTFFFFFFFFTTFFTT
XTXTTXXTTTTTTTXT
V--:-- / -
TTTFFTTFFFTTFFFT
TTTTTTTTTTTTTTTT
---:-- / 64
TTTFFTTFFFTTFFFT
TTTTTTTTTTTTTTTT
---:-- / 64
TTTFFTTFFFTTFFFT
TTTTTTTTTTTTTTTT
---:P- / 64
TTTFFTTFFFTTFFFT
TTTTTTTTTTTTTTTT
---:-M / 64
TTTFFTTFFFTTFFFT
TTTTTTTTTTTTTTTT
---:-- / 64
MT1024DC0512

FTFTTFTTTFFTTTTT (expected value)

5.88 5.09 5.88 5.88 5.09 5.24 5.88 5.24 5.09 5.24 5.24 5.24 5.09 5.88 5.09 5.09 (confidence rate)

FTFTTFTTTFFTTTTT
TTTTTTTTTTTTTTTT
---:-- / 64
FTFTTTTFTTTFTTTT
TTTTTXTXTXXXTTTT
V--:-- / -
FTFTTFTTTFFTTTTT
TTTTTTTTTTTTTTTT
---:-- / 64
FFFTFFTTFFFTFTFF
TXTTXTTTXTTTXTXX
V--:-- / -
FTFTTFTTTFFTTTTT
TTTTTTTTTTTTTTTT
---:-- / 64
FTFTTFTTTFFTTTTT
TTTTTTTTTTTTTTTT
---:-- / 64
FTFTTFTTTFFTTTTT
TTTTTTTTTTTTTTTT
---:P- / 64
FTFTTFTTTFFTTTTT
TTTTTTTTTTTTTTTT
---:-M / 64
FTFTTFTTTFFTTTTT
TTTTTTTTTTTTTTTT
---:-- / 64
MT2048DC0512

TFFTFTFTTTFTFFTF (expected value)

4.47 3.83 4.62 4.62 5.26 4.47 5.26 5.26 3.83 5.26 5.26 4.62 5.26 5.26 4.62 5.26 (confidence rate)

DNF

0
TTTFFTFTFTFFFFFF
TXXXTTTTXTTXTTXT
V--:-- / -
TFFTFTFTTTFTFFTF
TTTTTTTTTTTTTTTT
---:-- / 64
FTFTFFFTFTFTFFTF
XXTTTXTTXTTTTTTT
V--:-- / -
TFFTFTFTTTFTFFTF
TTTTTTTTTTTTTTTT
---:-- / 64
TFFTFTFTTTFTFFTF
TTTTTTTTTTTTTTTT
---:-- / 64
TFFTFTFTTTFTFFTF
TTTTTTTTTTTTTTTT
---:P- / 64
TFFTFTFTTTFTFFTF
TTTTTTTTTTTTTTTT
---:-M / 64
TFFTFTFTTTFTFFTF
TTTTTTTTTTTTTTTT
---:-- / 64
MT2048DC1024

FTFFFFFFTTFFTFFF (expected value)

5.26 3.83 4.62 5.26 5.26 5.26 5.26 4.62 5.26 5.26 4.62 5.26 5.26 5.26 5.26 5.26 (confidence rate)

DNF

0
FFTFFFFTTTTFTFFF
TXXTTTTXTTXTTTTT
V--:-- / -
FTFFFFFFTTFFTFFF
TTTTTTTTTTTTTTTT
---:-- / 64
FFFFFFFFTTFFTFFF
TXTTTTTTTTTTTTTT
V--:-- / -
FTFFFFFFTTFFTFFF
TTTTTTTTTTTTTTTT
---:-- / 64
FTFFFFFFTTFFTFFF
TTTTTTTTTTTTTTTT
---:-- / 64
FTFFFFFFTTFFTFFF
TTTTTTTTTTTTTTTT
---:PM / 64
FTFFFFFFTTFFTFFF
TTTTTTTTTTTTTTTT
---:-- / 64
FTFFFFFFTTFFTFFF
TTTTTTTTTTTTTTTT
---:-- / 64
MT4096DC1024

FTTTFFFTFFFFFTTT (expected value)

4.47 5.26 5.26 5.26 5.26 4.62 5.26 5.26 5.26 5.26 5.26 5.26 5.26 5.26 4.62 4.47 (confidence rate)

DNF

0
FTTTFTFTFFFFFTFT
TTTTTXTTTTTTTTXT
V--:-- / -
FTTTFFFTFFFFFTTT
TTTTTTTTTTTTTTTT
---:-- / 64
TTTTFFFTFFFFFTTF
XTTTTTTTTTTTTTTX
V--:-- / -
FTTTFFFTFFFFFTTT
TTTTTTTTTTTTTTTT
---:-- / 64
FTTTFFFTFFFFFTTT
TTTTTTTTTTTTTTTT
---:-- / 64
FTTTFFFTFFFFFTTT
TTTTTTTTTTTTTTTT
---:PM / 64
FTTTFFFTFFFFFTTT
TTTTTTTTTTTTTTTT
---:-- / 64
FTTTFFFTFFFFFTTT
TTTTTTTTTTTTTTTT
---:-- / 64
MT4096DC2048

TTTTTFTFFFTFFFTT (expected value)

4.47 5.26 4.47 3.83 5.26 5.26 4.47 5.26 5.26 4.62 5.26 5.26 5.26 4.47 5.26 5.26 (confidence rate)

DNF

0
TTTFTFTFFTTFFFTT
TTTXTTTTTXTTTTTT
V--:-- / -
TTTTTFTFFFTFFFTT
TTTTTTTTTTTTTTTT
---:-- / 64
FTFFTFFFFFTFFTTT
XTXXTTXTTTTTTXTT
V--:-- / -
TTTTTFTFFFTFFFTT
TTTTTTTTTTTTTTTT
---:-- / 64
TTTTTFTFFFTFFFTT
TTTTTTTTTTTTTTTT
---:-- / 64
TTTTTFTFFFTFFFTT
TTTTTTTTTTTTTTTT
---:PM / 64
TTTTTFTFFFTFFFTT
TTTTTTTTTTTTTTTT
---:-- / 64
TTTTTFTFFFTFFFTT
TTTTTTTTTTTTTTTT
---:-- / 64
MT8192DC2048

FFFTFFFTTTTTTFTF (expected value)

5.26 5.26 5.26 3.83 5.26 4.62 3.83 5.26 4.62 5.26 5.26 4.47 5.26 5.26 4.62 5.26 (confidence rate)

DNF

0
FFFFFTTTFTTTTFFF
TTTXTXXTXTTTTTXT
V--:-- / -
FFFTFFFTTTTTTFTF
TTTTTTTTTTTTTTTT
---:-- / 64
FFFFFFTTTTTFTFTF
TTTXTTXTTTTXTTTT
V--:-- / -
FFFTFFFTTTTTTFTF
TTTTTTTTTTTTTTTT
---:-- / 64
FFFTFFFTTTTTTFTF
TTTTTTTTTTTTTTTT
---:-- / 64
FFFTFFFTTTTTTFTF
TTTTTTTTTTTTTTTT
---:PM / 64
FFFTFFFTTTTTTFTF
TTTTTTTTTTTTTTTT
---:-- / 64
FFFTFFFTTTTTTFTF
TTTTTTTTTTTTTTTT
---:-- / 64
MT8192DC4096

TTTTTTTFFTFTFFFT (expected value)

5.26 4.47 5.26 5.26 5.26 4.47 5.26 5.26 5.26 5.26 5.26 5.26 5.26 4.62 4.62 5.26 (confidence rate)

DNF

0
TTTTTTTFFTFTFTTT
TTTTTTTTTTTTTXXT
V--:-- / -
TTTTTTTFFTFTFFFT
TTTTTTTTTTTTTTTT
---:-- / 64
TFTTTFTFFTFTFFFT
TXTTTXTTTTTTTTTT
V--:-- / -
TTTTTTTFFTFTFFFT
TTTTTTTTTTTTTTTT
---:-- / 64
TTTTTTTFFTFTFFFT
TTTTTTTTTTTTTTTT
---:-- / 64
TTTTTTTFFTFTFFFT
TTTTTTTTTTTTTTTT
---:PM / 64
TTTTTTTFFTFTFFFT
TTTTTTTTTTTTTTTT
---:-- / 64
TTTTTTTFFTFTFFFT
TTTTTTTTTTTTTTTT
---:-- / 64
SquareGrid — P/T
  GreatSPN-Meddly ITS-Tools LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 0 228 92 4 208 212 0 80
Bonuses 0 0 8 16 0 24 16 0 16
Scores 0 0 220 76 4 184 196 0 64
020102

TFTF(F)T(F)TT(F)T(F)F(F)(T)F (expected value)

2.71 3.25 1.79 3.25 0.79 2.46 0.79 1.79 3.25 0.79 2.25 0.79 3.25 0.79 0.79 1.79 (confidence rate)

DNF

0
CC

0
?F?F?T??T?T?F???
-T-T-T--T-T-T---
---:-- / 24
TFTFFFFTTFTFFFTF
TTTT?X?TT?T?T??T
V--:-- / -
T???????????????
T---------------
---:-- / 4
TFTF?T?TT???F??F
TTTT-T-TT---T--T
---:-- / 36
TFTF?T?TT???F??F
TTTT-T-TT---T--T
---:-M / 36
DNF

0
?F?F?T??T?T?F???
-T-T-T--T-T-T---
---:P- / 24
040204

FTF? FTFTFTFT? ? T? (expected value)

2.77 2.46 1.98 0 2.77 1.00 3.25 2.46 3.25 3.25 2.46 3.25 0 0 1.00 0 (confidence rate)

DNF

0
CC

0
FTF?F?FTFTFT????
TTT?T-TTTTTT??-?
---:-- / 40
F???F?F?FT?T????
T--?T-T-TT-T??-?
---:-- / 24
DNF

0
FTF?FTFTFTFT??T?
TTT?TTTTTTTT??T?
---:P- / 48
FTF?FTFTFTFT??T?
TTT?TTTTTTTT??T?
---:-M / 48
DNF

0
?T????FTFTFT????
-T-?--TTTTTT??-?
---:-- / 28
080408

FTFTFFTTFTFTF(F)TF (expected value)

2.75 2.46 2.77 1.98 2.27 2.46 1.48 2.77 1.98 0.98 1.77 2.77 1.00 0.79 1.48 1.98 (confidence rate)

DNF

0
CC

0
FTFTFFTTFTFT??TF
TTTTTTTTTTTT--TT
---:P- / 56
F?F?F??T??FT?F??
T-T-T--T--TT-?--
---:-- / 24
DNF

0
FTFT?F?TF??TF??F
TTTT-T-TT--TT--T
---:-- / 40
?TFTFFTTF??TF?TF
-TTTTTTTT--TT-TT
---:-- / 48
DNF

0
FT???F??????????
TT---T----------
---:-M / 12
100510

TFFTF? FFFFFTFFTF (expected value)

1.98 0.98 0.98 1.77 1.77 0 1.00 1.98 1.98 0.98 1.98 0.98 0.98 1.00 1.00 2.77 (confidence rate)

DNF

0
CC

0
TFFTF??FFFFTF??F
TTTTT?-TTTTTT--T
---:-- / 48
???TF??????????F
---TT?---------T
---:-M / 12
DNF

0
T?????FFF?F??FTF
T----?TTT-T--TTT
---:P- / 32
T?????FFF?F??FTF
T----?TTT-T--TTT
---:-- / 32
DNF

0
DNF

0
130613

TFTFTFFFFFFFFTFT (expected value)

0.98 0.98 1.98 1.77 0.98 2.77 1.00 1.98 1.00 1.77 1.00 1.48 0.98 1.77 0.98 1.98 (confidence rate)

CC

0
CC

0
TFTFTF?F?F?FFTFT
TTTTTT-T-T-TTTTT
---:-- / 52
???F?F???F???T??
---T-T---T---T--
---:-M / 16
DNF

0
??T??FFFF?F????T
--T--TTTT-T----T
---:P- / 28
??T??FFFF?FF???T
--T--TTTT-TT---T
---:-- / 32
DNF

0
DNF

0
SwimmingPool — P/T
  GreatSPN-Meddly ITS-Tools LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 256 144 616 92 300 600 624 128 440
Bonuses 0 16 104 0 0 0 32 0 8
Scores 256 128 512 92 300 600 592 128 432
01

FFFTTFFFTTFTFFTT (expected value)

5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.09 5.88 5.24 5.88 5.88 5.88 5.88 5.88 (confidence rate)

FFFTTFFFTTFTFFTT
TTTTTTTTTTTTTTTT
---:-- / 64
FFFTTFFFTTTTFFTT
TTTTTTTTTTXTTTTT
V--:-- / -
FFFTTFFFTTFTFFTT
TTTTTTTTTTTTTTTT
---:-- / 64
FFFTTFFFFTFTFFTT
TTTTTTTTXTTTTTTT
V--:-- / -
FFFTTFFFTTFTFFTT
TTTTTTTTTTTTTTTT
---:-- / 64
FFFTTFFFTTFTFFTT
TTTTTTTTTTTTTTTT
---:-- / 64
FFFTTFFFTTFTFFTT
TTTTTTTTTTTTTTTT
---:PM / 64
FFFTTFFFTTFTFFTT
TTTTTTTTTTTTTTTT
---:-- / 64
FFFTTFFFTTFTFFTT
TTTTTTTTTTTTTTTT
---:-- / 64
02

FFFFTFFFFTTTTTFT (expected value)

5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 4.45 5.88 (confidence rate)

FFFFTFFFFTTTTTFT
TTTTTTTTTTTTTTTT
---:-- / 64
FFFFTFFFFTTTTTTT
TTTTTTTTTTTTTTXT
V--:-- / -
FFFFTFFFFTTTTTFT
TTTTTTTTTTTTTTTT
---:P- / 64
FFFFTFFFFTTTTTTT
TTTTTTTTTTTTTTXT
V--:-- / -
FFFFTFFFFTTTTTFT
TTTTTTTTTTTTTTTT
---:-- / 64
FFFFTFFFFTTTTTFT
TTTTTTTTTTTTTTTT
---:-- / 64
FFFFTFFFFTTTTTFT
TTTTTTTTTTTTTTTT
---:-M / 64
FFFFTFFFFTTTTTFT
TTTTTTTTTTTTTTTT
---:-- / 64
FFFFTFFFFTTTTTFT
TTTTTTTTTTTTTTTT
---:-- / 64
03

FFFTTTFTTFFTFTFF (expected value)

5.88 5.88 5.88 5.88 5.88 5.44 5.88 5.88 5.88 5.88 4.45 5.88 5.88 5.88 5.88 5.88 (confidence rate)

FFFTTTFTTFFTFTFF
TTTTTTTTTTTTTTTT
---:-- / 64
FFFTTTFTTFTTFTFF
TTTTTTTTTTXTTTTT
V--:-- / -
FFFTTTFTTFFTFTFF
TTTTTTTTTTTTTTTT
---:PM / 64
FFFTTTFTTFTTFTFF
TTTTTTTTTTXTTTTT
V--:-- / -
FFFTTTFTTFFTFTFF
TTTTTTTTTTTTTTTT
---:-- / 64
FFFTTTFTTFFTFTFF
TTTTTTTTTTTTTTTT
---:-- / 64
FFFTTTFTTFFTFTFF
TTTTTTTTTTTTTTTT
---:-- / 64
FFFTTFFTTFFTFTFF
TTTTTXTTTTTTTTTT
V--:-- / -
FFFTTTFTTFFTFTFF
TTTTTTTTTTTTTTTT
---:-- / 64
04

FTTTFFFTTTTFFTFF (expected value)

5.44 5.88 5.88 5.40 5.88 3.61 5.88 4.61 5.88 5.40 4.61 4.95 4.95 5.88 5.88 5.88 (confidence rate)

FTTTFFFTTTTFFTFF
TTTTTTTTTTTTTTTT
---:-- / 64
FTTTFFFTTTTFFTFF
TTTTTTTTTTTTTTTT
---:-- / 64
FTTTFFFTTTTFFTFF
TTTTTTTTTTTTTTTT
---:PM / 64
FTTTFTFFTTFFFTFF
TTTTTXTXTTXTTTTT
V--:-- / -
FTTTFFFTTTTFFTFF
TTTTTTTTTTTTTTTT
---:-- / 64
FTTTF?FTTTTFFTFF
TTTTT-TTTTTTTTTT
---:-- / 60
FTTTF?FTTTTFFTFF
TTTTT-TTTTTTTTTT
---:-- / 60
TTTTFFFTTTTTTTFF
XTTTTTTTTTTXXTTT
V--:-- / -
FTT?F?F?T????TFF
TTT-T-T-T----TTT
---:-- / 36
05

TTTFTTFTFFTFTFTF (expected value)

5.26 5.26 4.33 3.21 3.06 4.33 2.21 4.33 4.27 5.26 5.26 5.26 5.26 4.33 4.33 3.41 (confidence rate)

DNF

0
TTTTTTTTFFTFTFTF
TTTXTTXTTTTTTTTT
V--:-- / -
TTTFTTFTFFTFTFTF
TTTTTTTTTTTTTTTT
---:PM / 64
TTTFFTFTFFTFTFTF
TTTTXTTTTTTTTTTT
V--:-- / -
TT??????FFTFT???
TT------TTTTT---
---:-- / 28
TTTFTT?TFFTFTFTF
TTTTTT-TTTTTTTTT
---:-- / 60
TTTFTT?T?FTFTFTF
TTTTTT-T-TTTTTTT
---:-- / 56
TTTFTTFTFFTFTFTT
TTTTTTTTTTTTTTTX
V--:-- / -
TTT??T?T?FTFTFT?
TTT--T-T-TTTTTT-
---:-- / 44
06

TTTTTFTTFTTFTTTF (expected value)

3.70 3.34 4.33 3.69 2.42 3.69 3.69 3.69 4.62 4.62 4.33 2.71 4.33 3.21 3.21 3.21 (confidence rate)

DNF

0
??T???????TTT??T
--T-------TXT--X
V--:-- / -
TTTTTFTTFTTFTTTF
TTTTTTTTTTTTTTTT
---:PM / 64
TFTTFFTTFTTFTTTF
TXTTXTTTTTTTTTTT
V--:-- / -
TT??????FT??????
TT------TT------
---:-- / 16
TTTTTFTTFTTFTTTF
TTTTTTTTTTTTTTTT
---:-- / 64
TTTTTFTTFTT?TTTF
TTTTTTTTTTT-TTTT
---:-- / 60
FTTTTFTTFTTFTTTF
XTTTTTTTTTTTTTTT
V--:-- / -
??TT?FTTFTT?T???
--TT-TTTTTT-T---
---:-- / 36
07

TFTTTTTFTTTTFFTT (expected value)

1.42 2.77 3.85 1.42 3.54 3.69 3.69 4.33 1.42 1.43 4.33 1.43 3.69 3.25 1.43 3.69 (confidence rate)

DNF

0
??T?T??F?TTT??T?
--T-T--T-TTT--T-
---:-M / 28
TFTTTTTFTFTFFFFT
TTTTTTTTTXTXTTXT
V--:-- / -
FFTF?TTFFTTTFFTT
XTTX-TTTXTTTTTTT
V--:-- / -
DNF

0
?FT?TTTF??T?FF?T
-TT-TTTT--T-TT-T
---:-- / 40
?FT?TTTF??T?FF?T
-TT-TTTT--T-TT-T
---:-- / 40
TTTTTTTFTFTFFTFT
TXTTTTTTTXTXTXXT
V--:-- / -
????TTTF??T?FF?T
----TTTT--T-TT-T
---:P- / 32
08

FTFFTTFFTTTFFFTT (expected value)

3.69 3.25 1.98 1.98 2.77 1.43 2.90 1.98 3.54 3.41 4.33 3.69 2.77 1.98 3.69 4.33 (confidence rate)

DNF

0
?????T??TTT????T
-----T--TTT----T
---:-M / 20
FTFFTFFFTTTFFFTT
TTTTTXTTTTTTTTTT
V--:-- / -
FT??TT???TTFF?TT
TT--TT---TTTT-TT
---:-- / 40
DNF

0
FTFFT?FFTTTFFFTT
TTTTT-TTTTTTTTTT
---:-- / 60
FTFFT?FFTTTFFFTT
TTTTT-TTTTTTTTTT
---:P- / 60
FFTTFFFTTFTFTTTT
TXXXXXTXTXTTXXTT
V--:-- / -
FT????F?T?TF??TT
TT----T-T-TT--TT
---:-- / 32
09

TTFFFFFTFFFTTTFT (expected value)

4.33 3.85 3.21 3.69 1.98 3.69 3.69 1.42 2.77 3.69 2.77 3.69 2.77 1.98 3.69 2.77 (confidence rate)

DNF

0
TT??????????????
TT--------------
---:-- / 8
TTFFFFFTFFFTTTFT
TTTTTTTTTTTTTTTT
---:PM / 64
TTFF?FFFFFFTT?FT
TTTT-TTXTTTTT-TT
V--:-- / -
DNF

0
TTFFFFF?FFFTTTFT
TTTTTTT-TTTTTTTT
---:-- / 60
TTFFFFF?FFFTTTFT
TTTTTTT-TTTTTTTT
---:-- / 60
TTFFTFFTTFTTFFFF
TTTTXTTTXTXTXXTX
V--:-- / -
T??F?FF??F?T??F?
T--T-TT--T-T--T-
---:-- / 28
10

TFFTFFTFTTFFFFFF (expected value)

3.69 3.69 3.21 3.69 3.69 2.90 3.25 2.77 4.33 1.98 3.21 2.77 4.33 2.42 3.21 2.77 (confidence rate)

DNF

0
????????T???F???
--------T---T---
---:-- / 8
TFFTFFTFTTFFFFFF
TTTTTTTTTTTTTTTT
---:PM / 64
TFFTF?TFT?FFF?FF
TTTTT-TTT-TTT-TT
---:-- / 52
DNF

0
TFFTFFTFTTFFFFFF
TTTTTTTTTTTTTTTT
---:-- / 64
TFFTFFTFTTFFFFFF
TTTTTTTTTTTTTTTT
---:-- / 64
TFFTFFFTTFFTFFFT
TTTTTTXXTXTXTTTX
V--:-- / -
TF?TFFT?T???F???
TT-TTTT-T---T---
---:-- / 32

All «Stripped» models
 
  GreatSPN-Meddly ITS-Tools LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total Points 4089 4803 10308 3069 2604 8241 8394 3096 5400
ARMCacheCoherence (stripped) — P/T
  GreatSPN-Meddly ITS-Tools LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 0 12 15 0 0 0 0 0
Bonuses 0 0 6 6 0 0 0 0 0
Scores 0 0 6 9 0 0 0 0 0
none

F(F)(F)(T)(F)(T)(F)(F)(F)(F)(T)T(T)F(T)(F) (expected value)

1.43 0.79 0.79 0.79 0.79 0.79 0.79 0.79 0.79 0.79 0.79 1.77 0.79 2.41 0.79 0.79 (confidence rate)

DNF

0
F????F????F??F??
T----X----X--T--
V--:-- / -
???????????T?F??
-----------T-T--
---:-M / 6
FFFTFTFFFFTTTFTF
T??????????T?T??
---:P- / 9
DNF

0
CC

0
????????????????
----------------
---:-- / 0
DNF

0
DNF

0
Angiogenesis (stripped) — P/T
  GreatSPN-Meddly ITS-Tools LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 102 240 312 192 96 297 294 54 312
Bonuses 6 6 6 0 0 18 12 6 30
Scores 96 234 306 192 96 279 282 48 282
01

FTFTFTTTTTFTFFTT (expected value)

5.88 5.09 5.88 5.88 5.88 5.88 5.09 5.88 5.88 5.09 5.88 5.88 5.88 5.88 5.88 5.88 (confidence rate)

FTFTFTTTTTFTFFTT
TTTTTTTTTTTTTTTT
---:-- / 48
FTFTFTTTTTFTFFTT
TTTTTTTTTTTTTTTT
---:-- / 48
FTFTFTTTTTFTFFTT
TTTTTTTTTTTTTTTT
---:-- / 48
FFFTFTFTTFFTFFTT
TXTTTTXTTXTTTTTT
V--:-- / -
FTFTFTTTTTFTFFTT
TTTTTTTTTTTTTTTT
---:-- / 48
FTFTFTTTTTFTFFTT
TTTTTTTTTTTTTTTT
---:-- / 48
FTFTFTTTTTFTFFTT
TTTTTTTTTTTTTTTT
---:-M / 48
FTFTFTTTTTFTFFTT
TTTTTTTTTTTTTTTT
---:P- / 48
FTFTFTTTTTFTFFTT
TTTTTTTTTTTTTTTT
---:-- / 48
05

FFFTTTTTTFTFTFFF (expected value)

5.44 5.44 5.44 5.44 5.44 4.44 5.44 5.44 5.44 5.44 5.44 5.44 5.44 5.44 5.44 5.44 (confidence rate)

FFFTTTTTTFTFTFFF
TTTTTTTTTTTTTTTT
---:-M / 48
FFFTTTTTTFTFTFFF
TTTTTTTTTTTTTTTT
---:P- / 48
FFFTTTTTTFTFTFFF
TTTTTTTTTTTTTTTT
---:-- / 48
FFFTTTTTTFTFTFFF
TTTTTTTTTTTTTTTT
---:-- / 48
FFFTTTTTTFTFTFFF
TTTTTTTTTTTTTTTT
---:-- / 48
FFFTT?TTTFTFTFFF
TTTTT-TTTTTTTTTT
---:-- / 45
FFFTT?TTTFTFTFFF
TTTTT-TTTTTTTTTT
---:-- / 45
DNF

0
FFFTTTTTTFTFTFFF
TTTTTTTTTTTTTTTT
---:-- / 48
10

FFTTTF(F)FTFFFTFFT (expected value)

3.89 3.89 2.91 1.62 3.89 3.89 0.79 3.89 3.89 3.89 3.89 3.89 3.89 3.89 3.89 2.89 (confidence rate)

DNF

0
FFTTTFTFTFFFTFFT
TTTTTTXTTTTTTTTT
V--:-- / -
FF?TTF?FTFFFTFFT
TT-TTT-TTTTTTTTT
---:P- / 42
FFTFTFFFTFFFTFFT
TTTXTT?TTTTTTTTT
V--:-- / -
DNF

0
FFT?TF?FTFFFTFF?
TTT-TT-TTTTTTTT-
---:-- / 39
FFT?TF?FTFFFTFF?
TTT-TT-TTTTTTTT-
---:-- / 39
DNF

0
FFT?TF?FTFFFTFFT
TTT-TT-TTTTTTTTT
---:-M / 42
15

FTTFTTTTFTFTFTFF (expected value)

3.89 3.89 2.43 3.89 3.89 2.91 2.89 3.89 2.91 3.89 2.89 3.89 3.89 3.89 3.89 3.89 (confidence rate)

DNF

0
FTTFTTTTFTFTFTFF
TTTTTTTTTTTTTTTT
---:-- / 48
FT?FT?TT?TFTFTFF
TT-TT-TT-TTTTTTT
---:-- / 39
FTTFTTTTFTFTFTFF
TTTTTTTTTTTTTTTT
---:-- / 48
DNF

0
FTTFTT?TFT?TFTFF
TTTTTT-TTT-TTTTT
---:-- / 42
FTTFTT?TFT?TFTFF
TTTTTT-TTT-TTTTT
---:P- / 42
DNF

0
FT?FTTTTFTFTFTFF
TT-TTTTTTTTTTTTT
---:-M / 45
20

FFTTT(T)FFTTTFTTTF (expected value)

3.89 2.62 2.46 3.89 3.25 0.64 3.25 3.89 3.89 2.91 3.41 2.89 3.89 3.10 2.77 3.41 (confidence rate)

DNF

0
FF?T?T?FTTTFTT?F
TT-T-?-TTTTTTT-T
---:-- / 33
FFTTT?FFT?TFTTTF
TTTTT-TTT-TTTTTT
---:-- / 42
F??TT?FFTTTFT?TF
T--TT-TTTTTTT-TT
---:-- / 36
DNF

0
FFTTT?FFTTT?TTTF
TTTTT-TTTTT-TTTT
---:P- / 42
FFTTT?FFTTT?TTTF
TTTTT-TTTTT-TTTT
---:-- / 42
DNF

0
F?TTT?FFTT?FTT??
T-TTT-TTTT-TTT--
---:-M / 33
25

TF(F)FTTTFFF(F)TFFFT (expected value)

3.39 3.89 0.79 3.25 3.89 3.89 3.10 3.25 2.77 3.10 0.79 3.25 3.89 3.25 2.60 3.89 (confidence rate)

DNF

0
TF??TTT??F??F?FT
TT--TTT--T--T-TT
---:-- / 27
TF?FTTTFFF?TFFFT
TT-TTTTTTT-TTTTT
---:-- / 42
TFFFTT?FF?FTFF?T
TT?TTT-TT-?TTT-T
---:-- / 33
DNF

0
?F?FTTTFFF?TFF?T
-T-TTTTTTT-TTT-T
---:P- / 36
TF?FTTTFFF?TFFFT
TT-TTTTTTT-TTTTT
---:-- / 42
DNF

0
TF?FTTTF?F?TFFFT
TT-TTTTT-T-TTTTT
---:-M / 39
50

TTFFTTTTTFTFTFTF (expected value)

2.89 3.41 3.89 2.77 1.48 3.89 0.98 3.10 3.89 3.41 0.98 2.89 0.98 3.39 0.98 2.10 (confidence rate)

DNF

0
TTF??T?TTF?F?F?F
TTT--T-TTT-T-T-T
---:-- / 30
TTFF?TTTTFTFTFTF
TTTT-TTTTTTTTTTT
---:-- / 45
TTFF?T??TF?F?F??
TTTT-T--TT-T-T--
---:-- / 27
DNF

0
?TFFTT?TTF???F??
-TTTTT-TTT---T--
---:P- / 27
?TFFTT?TTF??????
-TTTTT-TTT------
---:-- / 24
DNF

0
T?F?TT?TT??F?F?F
T-T-TT-TT--T-T-T
---:-M / 27
CSRepetitions (stripped) — Colored
  GreatSPN-Meddly ITS-Tools LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 72 0 0 0 0 0 0 0
Bonuses 0 72 0 0 0 0 0 0 0
Scores 0 0 0 0 0 0 0 0 0
02

? ? ? ? ? ? (F)? ? ? ? ? (F)? (F)(F) (expected value)

0 0 0 0 0 0 0.64 0 0 0 0 0 0.64 0 0.64 0.64 (confidence rate)

DNC ??????F?????F?FF
????????????????
---:PM / 0
DNC CC

0
???????F??FF?F??
??????-?????-?--
-C-:-- / -
DNC DNC DNC DNC
03

? ? ? ? ? ? ? ? ? (F)(F)? (F)(T)? (T) (expected value)

0 0 0 0 0 0 0 0 0 0.64 0.64 0 0.64 0.64 0 0.64 (confidence rate)

DNC ?????????FF?FT?T
????????????????
---:PM / 0
DNC CC

0
?F??F????????T?T
?????????--?-???
-C-:-- / -
DNC DNC DNC DNC
04

? (T)? (T)(F)? ? ? (T)? ? (F)? ? ? ? (expected value)

0 0.64 0 0.64 0.64 0 0 0 0.64 0 0 0.64 0 0 0 0 (confidence rate)

DNC ?T?TF???T??F????
????????????????
---:PM / 0
DNC CC

0
DNF

0
DNC DNC DNC DNC
05

? ? ? (F)? ? (F)? ? ? ? (T)(F)? (T)? (expected value)

0 0 0 0.64 0 0 0.64 0 0 0 0 0.64 0.64 0 0.64 0 (confidence rate)

DNC ???F??F????TF?T?
????????????????
---:PM / 0
DNC CC

0
DNF

0
DNC DNC DNC DNC
07

? (T)? ? ? ? ? ? ? ? (F)? ? ? ? ? (expected value)

0 0.64 0 0 0 0 0 0 0 0 0.64 0 0 0 0 0 (confidence rate)

DNC ?T????????F?????
????????????????
---:PM / 0
DNC CC

0
DNF

0
DNC DNC DNC DNC
10

(F)(T)? (F)? ? ? ? ? ? (F)? (F)(F)? (T) (expected value)

0.64 0.64 0 0.64 0 0 0 0 0 0 0.64 0 0.64 0.64 0 0.64 (confidence rate)

DNC FT?F??????F?FF?T
????????????????
---:PM / 0
DNC CC

0
DNF

0
DNC DNC DNC DNC
CSRepetitions (stripped) — P/T
  GreatSPN-Meddly ITS-Tools LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 48 72 225 42 0 222 234 48 144
Bonuses 0 6 36 0 0 6 18 0 6
Scores 48 66 189 42 0 216 216 48 138
02

TFFFFFTTTFTFTTTT (expected value)

4.16 4.95 4.95 4.16 4.95 4.95 4.31 4.95 4.16 4.95 4.95 4.95 4.31 4.95 3.52 4.31 (confidence rate)

TFFFFFTTTFTFTTTT
TTTTTTTTTTTTTTTT
---:-- / 48
TFFFFFFTTFTFFTFF
TTTTTTXTTTTTXTXX
V--:-- / -
TFFFFFTTTFTFTTTT
TTTTTTTTTTTTTTTT
---:-- / 48
FFFTFFTTFFTFTTFT
XTTXTTTTXTTTTTXT
V--:-- / -
TFFFFFTTTFTFTTTT
TTTTTTTTTTTTTTTT
-C-:-- / -
TFFFFFTTTFTFTTTT
TTTTTTTTTTTTTTTT
---:P- / 48
TFFFFFTTTFTFTTTT
TTTTTTTTTTTTTTTT
---:-M / 48
TFFFFFTTTFTFTTTT
TTTTTTTTTTTTTTTT
---:-- / 48
TFFFFFTTTFTFTTTT
TTTTTTTTTTTTTTTT
---:-- / 48
03

TTFFTFTFFFTFFTTT (expected value)

1.62 3.41 2.41 3.89 3.41 3.89 3.89 2.41 3.89 3.89 2.77 3.89 3.89 1.43 3.89 3.89 (confidence rate)

DNF

0
TTFFTFTFFFFFFTTT
TTTTTTTTTTXTTTTT
V--:-- / -
TTFFTFTFFFTFFFTT
TTTTTTTTTTTTTXTT
V--:-- / -
FTFFTFTFFFTFFTTT
XTTTTTTTTTTTTTTT
V--:-- / -
TT??????FFTF????
TT------TTTT----
-C-:-- / -
?T?FTFT?FFTFF?TT
-T-TTTT-TTTTT-TT
---:-- / 36
?T?FTFT?FFTFF?TT
-T-TTTT-TTTTT-TT
---:-M / 36
DNF

0
???F?FT?FF?FF?TT
---T-TT-TT-TT-TT
---:P- / 27
04

FTFTFFTTTTTFFTFT (expected value)

3.89 3.88 3.25 3.89 3.89 3.89 1.60 4.52 2.89 3.89 3.25 3.89 3.88 1.60 3.88 1.60 (confidence rate)

TTTFTTTTFFFTFTFT
XTXXXXTTXXXXTTTT
V--:-- / -
F??TFF?TTT?F????
T--TTT-TTT-T----
---:-- / 24
FTFTFFTTTTTFFTFT
TTTTTTTTTTTTTTTT
---:PM / 48
FTFTFFFTTTTFF?FF
TTTTTTXTTTTTT-TX
V--:-- / -
DNF

0
FTFTFF?T?TTFF?F?
TTTTTT-T-TTTT-T-
---:-- / 36
FTFTFF?T?TTFF?F?
TTTTTT-T-TTTT-T-
---:-- / 36
DNF

0
FTFTFF?TTTTFF?F?
TTTTTT-TTTTTT-T-
---:-- / 39
05

TTFF(F)FF(F)FF? TFTTT (expected value)

0.98 0.98 3.25 3.10 0.79 3.25 3.89 0.79 3.89 3.25 0 1.43 3.10 0.98 3.89 0.98 (confidence rate)

DNF

0
???F??F?F??TF?T?
---T--T-T-?TT-T-
---:P- / 18
TTFF?FF?FF?FFTTT
TTTT-TT-TT?XTTTT
V--:-- / -
?FF?FFFFFF?T?FTF
-XT-?TT?TT?T-XTX
V--:-- / -
DNF

0
??FF?FF?FF??F?T?
--TT-TT-TT?-T-T-
---:-- / 24
??FF?FF?FF??F?T?
--TT-TT-TT?-T-T-
---:-M / 24
DNF

0
??FF?FF?FF??F?T?
--TT-TT-TT?-T-T-
---:-- / 24
07

TTF? FFFTFTFFTTTT (expected value)

0.98 1.98 0.98 0 1.77 1.77 2.77 2.77 2.77 2.77 3.41 2.77 0.98 2.77 2.77 2.77 (confidence rate)

CC

0
??????????F?????
---?------T-----
---:-- / 3
TTF?FFFTFTFFTTTT
TTT?TTTTTTTTTTTT
---:PM / 45
??T?FFFTFTFFFTTT
--X?TTTTTTTTXTTT
V--:-- / -
DNF

0
?T????FTFTFF?TTT
-T-?--TTTTTT-TTT
---:-- / 30
?T????FTFTFF?TTT
-T-?--TTTTTT-TTT
---:-- / 30
DNF

0
DNF

0
10

FTTFFTTFFFFTFFFT (expected value)

3.41 3.41 2.77 3.41 1.77 1.98 0.98 2.77 2.77 2.77 3.41 2.77 3.41 3.41 2.77 3.41 (confidence rate)

CC

0
FT?F??????F?FF?T
TT-T------T-TT-T
---:-- / 21
FTTFFTTFFFFTFFFT
TTTTTTTTTTTTTTTT
---:PM / 48
FTTFF??FFFFTFFFT
TTTTT--TTTTTTTTT
---:-- / 42
DNF

0
FTTF?T?FFFFTFFFT
TTTT-T-TTTTTTTTT
---:-- / 42
FTTF?T?FFFFTFFFT
TTTT-T-TTTTTTTTT
---:-- / 42
DNF

0
DNF

0
CircadianClock (stripped) — P/T
  GreatSPN-Meddly ITS-Tools LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 168 54 180 3 96 267 255 96 213
Bonuses 24 0 6 0 0 18 6 0 18
Scores 144 54 174 3 96 249 249 96 195
000001

FFTFTTFTTFTTTFTT (expected value)

5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 4.45 5.88 (confidence rate)

FFTFTTFTTFTTTFTT
TTTTTTTTTTTTTTTT
---:-- / 48
FFTFTTFTTFTTTFFT
TTTTTTTTTTTTTTXT
V--:-- / -
FFTFTTFTTFTTTFTT
TTTTTTTTTTTTTTTT
---:-M / 48
FFTFTTFTTFTTTFFT
TTTTTTTTTTTTTTXT
V--:-- / -
FFTFTTFTTFTTTFTT
TTTTTTTTTTTTTTTT
---:-- / 48
FFTFTTFTTFTTTFTT
TTTTTTTTTTTTTTTT
---:-- / 48
FFTFTTFTTFTTTFTT
TTTTTTTTTTTTTTTT
---:P- / 48
FFTFTTFTTFTTTFTT
TTTTTTTTTTTTTTTT
---:-- / 48
FFTFTTFTTFTTTFTT
TTTTTTTTTTTTTTTT
---:-- / 48
000010

FFFFFTFFFFTFFFFT (expected value)

5.88 5.88 5.88 5.88 5.88 5.24 5.88 5.88 5.88 5.88 5.09 5.88 5.88 5.88 5.88 5.88 (confidence rate)

FFFFFTFFFFTFFFFT
TTTTTTTTTTTTTTTT
---:PM / 48
FFFFFFFFFFTFFFFT
TTTTTXTTTTTTTTTT
V--:-- / -
FFFFFTFFFFTFFFFT
TTTTTTTTTTTTTTTT
---:-- / 48
FFFFFTFFFFFFFFFT
TTTTTTTTTTXTTTTT
V--:-- / -
FFFFFTFFFFTFFFFT
TTTTTTTTTTTTTTTT
---:-- / 48
FFFFFTFFFFTFFFFT
TTTTTTTTTTTTTTTT
---:-- / 48
FFFFFTFFFFTFFFFT
TTTTTTTTTTTTTTTT
---:-- / 48
FFFFFTFFFFTFFFFT
TTTTTTTTTTTTTTTT
---:-- / 48
FFFFFTFFFFTFFFFT
TTTTTTTTTTTTTTTT
---:-- / 48
000100

TFTFTTFTFFTTFFTF (expected value)

4.95 3.49 2.50 4.95 2.85 4.95 3.49 4.52 2.05 4.95 4.52 4.95 2.06 4.95 4.95 3.48 (confidence rate)

TFTFTTFTFFTTFFTF
TTTTTTTTTTTTTTTT
---:PM / 48
TFTFFTFTTFTTTFTF
TTTTXTTTXTTTXTTT
V--:-- / -
TT?F?T?TFFTT?FTF
TX-T-T-TTTTT-TTT
V--:-- / -
TFTFTTFTTFTTTFTF
TTTTTTTTXTTTXTTT
V--:-- / -
DNF

0
TF?FTTFT?FTTFFT?
TT-TTTTT-TTTTTT-
---:-- / 39
TF?FTTFT?FTTFFT?
TT-TTTTT-TTTTTT-
---:-- / 39
TFTFTTFFFFFTFFTF
TTTTTTTXTTXTTTTT
V--:-- / -
T??F?T?T?FTT?FT?
T--T-T-T-TTT-TT-
---:-- / 27
001000

FFTTTFFTTTTFTFFT (expected value)

3.54 2.06 4.33 4.33 4.33 2.08 4.33 3.54 2.06 2.06 3.54 4.33 4.33 2.08 3.41 4.33 (confidence rate)

DNF

0
FFTTTFFTTTTFTFFT
TTTTTTTTTTTTTTTT
---:-- / 48
FFTTT?FTTTTFT?FT
TTTTT-TTTTTTT-TT
---:-- / 42
??TTT?F?FF?FT?FT
--TTT-T-XX-TT-TT
V--:-- / -
DNF

0
F?TTTFFT??TFTFFT
T-TTTTTT--TTTTTT
---:P- / 39
F?TTTFFT??TFTFFT
T-TTTTTT--TTTTTT
---:-- / 39
FFTTTFFTTTTFTFTT
TTTTTTTTTTTTTTXT
V--:-- / -
F?TTT?FT??TFT??T
T-TTT-TT--TTT--T
---:-M / 30
010000

FTTFFTF(F)T(F)TFFFTT (expected value)

3.69 2.90 2.62 2.90 1.44 1.98 1.98 0.45 2.90 0.79 3.54 1.44 2.90 1.98 2.42 2.90 (confidence rate)

DNF

0
??T???????T?????
--T-------T-----
---:-- / 6
FTTF?TF?T?T?FFTT
TTTT-TT-T-T-TTTT
---:-- / 36
F????????F??????
T--------?------
---:-- / 3
DNF

0
FTTFFTF?T?TFFFTT
TTTTTTT-T-TTTTTT
---:P- / 42
FTTFFTF?T?TFFFTT
TTTTTTT-T-TTTTTT
---:-- / 42
FTFFFFTFTTTFFTTT
TTXTTXX?TXTTTXTT
V--:-- / -
FT?F????T?T?F??T
TT-T----T-T-T--T
---:-M / 21
100000

FFFFFFTFTTFFTTFT (expected value)

2.62 1.77 4.33 1.09 2.90 2.08 3.54 3.54 1.44 1.43 3.54 4.33 1.62 1.09 3.54 1.98 (confidence rate)

DNF

0
FTFFTFTFFTFFTTFF
TXTTXTTTXTTTTTTX
V--:-- / -
FFF?F?TF?FFFT?FT
TTT-T-TT-XTTT-TT
V--:-- / -
?FF??????T?F?F??
-TT------T-T-X--
V--:-- / -
CC

0
F?F?FFTFT?FF??FT
T-T-TTTTT-TT--TT
---:P- / 33
F?F?FFTFT?FF??FT
T-T-TTTTT-TT--TT
---:-- / 33
TTFFFFTFTFFFFTFF
XXTTTTTTTXTTXTTX
V--:-- / -
??F?F?TF??FF??F?
--T-T-TT--TT--T-
---:-M / 21
CircularTrains (stripped) — P/T
  GreatSPN-Meddly ITS-Tools LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 96 48 327 39 96 267 273 96 207
Bonuses 0 0 30 0 0 12 18 0 24
Scores 96 48 297 39 96 255 255 96 183
012

FFTTFTFFTFFFFFFF (expected value)

5.88 5.88 5.88 5.09 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 (confidence rate)

FFTTFTFFTFFFFFFF
TTTTTTTTTTTTTTTT
---:-- / 48
FFTTFTFFTFFFFFFF
TTTTTTTTTTTTTTTT
---:-- / 48
FFTTFTFFTFFFFFFF
TTTTTTTTTTTTTTTT
---:-- / 48
FFTFFTFFTFFFFFFF
TTTXTTTTTTTTTTTT
V--:-- / -
FFTTFTFFTFFFFFFF
TTTTTTTTTTTTTTTT
---:-- / 48
FFTTFTFFTFFFFFFF
TTTTTTTTTTTTTTTT
---:-- / 48
FFTTFTFFTFFFFFFF
TTTTTTTTTTTTTTTT
---:PM / 48
FFTTFTFFTFFFFFFF
TTTTTTTTTTTTTTTT
---:-- / 48
FFTTFTFFTFFFFFFF
TTTTTTTTTTTTTTTT
---:-- / 48
024

FFFFFFFTFTTTFTFT (expected value)

5.24 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.24 5.09 5.88 5.88 5.24 5.88 5.24 (confidence rate)

FFFFFFFTFTTTFTFT
TTTTTTTTTTTTTTTT
---:-- / 48
TFFFFFFTFFTTFFFF
XTTTTTTTTXTTTXTX
V--:-- / -
FFFFFFFTFTTTFTFT
TTTTTTTTTTTTTTTT
---:PM / 48
FFFFFFFTFTFTFTFT
TTTTTTTTTTXTTTTT
V--:-- / -
FFFFFFFTFTTTFTFT
TTTTTTTTTTTTTTTT
---:-- / 48
FFFFFFFTFTTTFTFT
TTTTTTTTTTTTTTTT
---:-- / 48
FFFFFFFTFTTTFTFT
TTTTTTTTTTTTTTTT
---:-- / 48
FFFFFFFTFTTTFTFT
TTTTTTTTTTTTTTTT
---:-- / 48
FFFFFFFTFTTTFTFT
TTTTTTTTTTTTTTTT
---:-- / 48
048

FTFFFFFTFTFTFFTF (expected value)

3.41 1.62 2.41 3.41 3.41 3.41 2.41 2.41 3.89 1.77 3.89 1.77 3.89 3.89 2.77 3.41 (confidence rate)

DNF

0
FTFFFFFTFFFFFFFF
TTTTTTTTTXTXTTXT
V--:-- / -
FTFFFFFTFTFTFFTF
TTTTTTTTTTTTTTTT
---:PM / 48
FFFFFFFTFTFTFFTF
TXTTTTTTTTTTTTTT
V--:-- / -
DNF

0
F??FFF??F?F?FFTF
T--TTT--T-T-TTTT
---:-- / 30
F??FFF??F?F?FFTF
T--TTT--T-T-TTTT
---:-- / 30
DNF

0
????????F?F?FF??
--------T-T-TT--
---:-- / 12
096

(F)TTTTTFFFTT(F)TF(F)F (expected value)

0.64 3.89 1.98 1.62 1.62 1.98 3.89 1.62 3.89 0.98 3.89 0.79 1.62 3.89 0.64 1.62 (confidence rate)

DNF

0
FTFTTFFFFFTTTFFF
?TXTTXTTTXTXTT?T
V--:-- / -
?TTTTTFFFTT?TF?F
-TTTTTTTTTT-TT-T
---:-- / 39
?T?FF?F?F?TFFF??
-T-XX-T-T-T?XT--
V--:-- / -
DNF

0
?TT??TF?F?T??F??
-TT--TT-T-T--T--
---:-- / 21
?TT??TF?F?T??F??
-TT--TT-T-T--T--
---:-- / 21
DNF

0
?T????F?F?T??F??
-T----T-T-T--T--
---:PM / 15
192

? ? TTFTFTTFFFFTTT (expected value)

0 0 1.98 0.98 0.98 2.41 3.89 3.10 3.89 1.98 3.10 3.89 1.98 0.98 1.98 3.10 (confidence rate)

DNF

0
??F?TTFTT?FF?FFT
??X-XTTTT-TT-XXT
V--:-- / -
??TTFTFTTFFFFTTT
??TTTTTTTTTTTTTT
---:P- / 42
?????TF?T??F????
??---TT-T--T----
---:-- / 12
DNF

0
??T???FTTFFFF?TT
??T---TTTTTTT-TT
---:-- / 30
??T???FTTFFFF?TT
??T---TTTTTTT-TT
---:-- / 30
DNF

0
??????FTT?FF???T
??----TTT-TT---T
---:-M / 18
384

TF(F)? ? F(F)T? T? FTFFF (expected value)

1.00 3.89 0.64 0 0 3.89 0.64 3.10 0 3.10 0 1.98 3.89 3.10 1.98 3.89 (confidence rate)

DNF

0
FFF??FFT?T??TF?F
XT???T?T?T?-TT-T
V--:-- / -
?F???F?T?T?FTFFF
-T-??T-T?T?TTTTT
---:-- / 27
?F???F??????T??F
-T-??T--?-?-T--T
---:-- / 12
DNF

0
TF???F?T?T?FTFFF
TT-??T-T?T?TTTTT
---:P- / 30
TF???F?T?T?FTFFF
TT-??T-T?T?TTTTT
---:-- / 30
DNF

0
?F???F?T?T??TF?F
-T-??T-T?T?-TT-T
---:-M / 21
768

FFFTTFFTFTFTFFTT (expected value)

1.98 2.62 3.41 3.10 1.98 3.89 3.89 1.98 3.89 1.98 1.98 3.10 1.98 1.00 3.89 3.10 (confidence rate)

DNF

0
?FFTFFFFFF?T??TT
-TTTXTTXTX-T--TT
V--:-- / -
FFFTTFFTFTFTF?TT
TTTTTTTTTTTTT-TT
---:-- / 45
??F??FF?F?????T?
--T--TT-T-----T-
---:-- / 15
DNF

0
FFFTTFFTFTFTFFTT
TTTTTTTTTTTTTTTT
---:P- / 48
FFFTTFFTFTFTFFTT
TTTTTTTTTTTTTTTT
---:-M / 48
DNF

0
???T?FF?F??T??TT
---T-TT-T--T--TT
---:-- / 21
DatabaseWithMutex (stripped) — Colored
  GreatSPN-Meddly ITS-Tools LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 48 0 0 0 0 0 0 0
Bonuses 0 48 0 0 0 0 0 0 0
Scores 0 0 0 0 0 0 0 0 0
02

? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? (expected value)

0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 (confidence rate)

DNC TFTF?TTF?TFF?FT?
????????????????
-C-:-- / -
DNC CC

0
?FF??TF??F?T???F
????????????????
-C-:-- / -
DNC DNC DNC DNC
04

(F)? ? (T)(T)? ? (F)? (T)(F)? ? (T)(F)(F) (expected value)

0.64 0 0 0.64 0.64 0 0 0.64 0 0.64 0.64 0 0 0.64 0.64 0.64 (confidence rate)

DNC F??TT??F?TF??TFF
????????????????
---:PM / 0
DNC CC

0
????????????????
-??--??-?--??---
---:-- / 0
DNC DNC DNC DNC
10

(F)(T)? ? ? ? ? ? (T)(F)? (F)? ? (T)(F) (expected value)

0.64 0.64 0 0 0 0 0 0 0.64 0.64 0 0.64 0 0 0.64 0.64 (confidence rate)

DNC FT??????TF?F??TF
????????????????
---:PM / 0
DNC CC

0
DNF

0
DNC DNC DNC DNC
20

? ? ? ? ? (T)? ? ? ? (F)? ? ? ? ? (expected value)

0 0 0 0 0 0.64 0 0 0 0 0.64 0 0 0 0 0 (confidence rate)

DNC ?????T????F?????
????????????????
---:PM / 0
DNC CC

0
DNF

0
DNC DNC DNC DNC
40

? ? ? ? ? ? ? ? ? ? ? (F)? ? (F)(F) (expected value)

0 0 0 0 0 0 0 0 0 0 0 0.64 0 0 0.64 0.64 (confidence rate)

DNC ???????????F??FF
????????????????
---:PM / 0
DNC CC

0
DNF

0
DNC DNC DNC DNC
DatabaseWithMutex (stripped) — P/T
  GreatSPN-Meddly ITS-Tools LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 48 75 201 114 0 174 189 48 141
Bonuses 0 12 18 6 0 0 18 0 6
Scores 48 63 183 108 0 174 171 48 135
02

FFTFFTTFTTFFFFTF (expected value)

4.31 4.31 4.31 4.31 3.52 4.31 4.31 4.31 3.52 4.31 4.31 4.31 4.31 4.31 4.31 4.31 (confidence rate)

FFTFFTTFTTFFFFTF
TTTTTTTTTTTTTTTT
---:-- / 48
FFTFFTTFTTFFFFTF
TTTTTTTTTTTTTTTT
-C-:-- / -
FFTFFTTFTTFFFFTF
TTTTTTTTTTTTTTTT
---:-- / 48
FFTFTTTFFTFFFFTF
TTTTXTTTXTTTTTTT
V--:-- / -
FFTFFTTFTTFFFFTF
TTTTTTTTTTTTTTTT
-C-:-- / -
FFTFFTTFTTFFFFTF
TTTTTTTTTTTTTTTT
---:-- / 48
FFTFFTTFTTFFFFTF
TTTTTTTTTTTTTTTT
---:-M / 48
FFTFFTTFTTFFFFTF
TTTTTTTTTTTTTTTT
---:-- / 48
FFTFFTTFTTFFFFTF
TTTTTTTTTTTTTTTT
---:P- / 48
04

FTFTT(F)FFFTFFTTFF (expected value)

3.89 2.41 3.89 3.89 3.89 0.79 3.25 3.25 3.89 3.89 3.89 3.89 3.89 3.89 3.89 3.89 (confidence rate)

DNF

0
FTFTT???FTFFTTFF
TTTTT---TTTTTTTT
---:-- / 39
FTFTT?FFFTFFTTFF
TTTTT-TTTTTTTTTT
---:-- / 45
FTFTTFFFFTFFTTFF
TTTTT?TTTTTTTTTT
---:P- / 45
DNF

0
F?FTT?FFFTFFTTFF
T-TTT-TTTTTTTTTT
---:-- / 42
F?FTT?FFFTFFTTFF
T-TTT-TTTTTTTTTT
---:-M / 42
DNF

0
F?FTT?FFFTFFTTFF
T-TTT-TTTTTTTTTT
---:-- / 42
10

FTTTFTTTTFFFTTTF (expected value)

3.10 3.89 3.25 3.25 1.98 3.25 3.25 3.25 3.89 1.46 3.25 3.89 3.25 3.25 3.89 3.89 (confidence rate)

DNF

0
FT??????T??F??TF
TT------T--T--TT
---:-- / 18
FTTTFTTTTFFFTTTF
TTTTTTTTTTTTTTTT
---:PM / 48
?TTT?TTTT?FFTTTF
-TTT-TTTT-TTTTTT
---:-- / 39
DNF

0
FTTTFTTTT?FFTTTF
TTTTTTTTT-TTTTTT
---:-- / 45
FTTTFTTTT?FFTTTF
TTTTTTTTT-TTTTTT
---:-- / 45
DNF

0
FTTT?TTTTFFFTTTF
TTTT-TTTTTTTTTTT
---:-- / 45
20

FTFFFTTFTFFTFTF? (expected value)

1.98 2.77 2.77 2.27 2.77 2.41 1.98 2.77 0.98 2.77 3.41 1.98 1.00 1.98 1.98 0 (confidence rate)

DNF

0
?????T????F?????
-----T----T----?
---:-- / 6
FTFFFTTFTFFT?TF?
TTTTTTTTTTTT-TT?
---:P- / 42
?TFFFT?F?FF?????
-TTTTT-T-TT----?
---:-- / 24
DNF

0
FTFFF?TF?FFTFTF?
TTTTT-TT-TTTTTT?
---:-- / 39
FTF?F?TF?FFTFTF?
TTT-T-TT-TTTTTT?
---:-M / 36
DNF

0
DNF

0
40

? ? ? ? ? ? ? ? ? ? ? (F)? ? (F)(F) (expected value)

0 0 0 0 0 0 0 0 0 0 0 0.64 0 0 0.64 0.64 (confidence rate)

CC

0
???????????F??FF
????????????????
---:PM / 0
DNF

0
DNF

0
DNF

0
CC

0
????????????????
???????????-??--
---:-- / 0
DNF

0
DNF

0
Dekker (stripped) — P/T
  GreatSPN-Meddly ITS-Tools LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 156 15 252 9 144 177 159 96 96
Bonuses 12 6 42 0 0 6 6 0 0
Scores 144 9 210 9 144 171 153 96 96
010

FFFTFTTFFFFFFTFT (expected value)

5.24 5.24 5.24 5.24 5.24 5.24 5.24 5.24 5.24 5.24 5.24 5.24 5.24 4.45 5.24 5.24 (confidence rate)

FFFTFTTFFFFFFTFT
TTTTTTTTTTTTTTTT
---:-- / 48
CC

0
FFFTFTTFFFFFFTFT
TTTTTTTTTTTTTTTT
---:-M / 48
FFFTFTTFFFFFFFFT
TTTTTTTTTTTTTXTT
V--:-- / -
FFFTFTTFFFFFFTFT
TTTTTTTTTTTTTTTT
---:-- / 48
FFFTFTTFFFFFFTFT
TTTTTTTTTTTTTTTT
---:P- / 48
FFFTFTTFFFFFFTFT
TTTTTTTTTTTTTTTT
---:-- / 48
FFFTFTTFFFFFFTFT
TTTTTTTTTTTTTTTT
---:-- / 48
FFFTFTTFFFFFFTFT
TTTTTTTTTTTTTTTT
---:-- / 48
015

FTFFTFFTFFTTFFTF (expected value)

5.38 5.88 5.88 5.38 4.74 5.38 5.88 5.24 5.88 5.38 5.24 3.95 5.88 5.88 5.24 5.88 (confidence rate)

FTFFTFFTFFTTFFTF
TTTTTTTTTTTTTTTT
---:P- / 48
FTFFFFFFFFFFFFFF
TTTTXTTXTTXXTTXT
V--:-- / -
FTFFTFFTFFTTFFTF
TTTTTTTTTTTTTTTT
---:-M / 48
FTFFTFFTFFTFFFTF
TTTTTTTTTTTXTTTT
V--:-- / -
FTFFTFFTFFTTFFTF
TTTTTTTTTTTTTTTT
---:-- / 48
FTFFTFFTFFTTFFTF
TTTTTTTTTTTTTTTT
---:-- / 48
?TF???FTF?T?FFTF
-TT---TTT-T-TTTT
---:-- / 30
FTFFTFFTFFTTFFTF
TTTTTTTTTTTTTTTT
---:-- / 48
FTFFTFFTFFTTFFTF
TTTTTTTTTTTTTTTT
---:-- / 48
020

FTTFTFFFTFFFFFFT (expected value)

4.16 3.96 3.16 4.16 3.52 3.16 4.16 3.16 2.52 4.16 3.16 4.16 3.16 4.16 3.16 3.52 (confidence rate)

FTTFTFFFTFFFFFFT
TTTTTTTTTTTTTTTT
---:P- / 48
FTTFFFFFFFFFFFFF
TTTTXTTTXTTTTTTX
V--:-- / -
FTTFTFFFTFFFFFFT
TTTTTTTTTTTTTTTT
---:-M / 48
?TF?????F???????
-TX-----X-------
V--:-- / -
FTTFTFFFTFFFFFFT
TTTTTTTTTTTTTTTT
---:-- / 48
F??FT?F??F?F?F?T
T--TT-T--T-T-T-T
---:-- / 24
F??FT?F??F?F?F?T
T--TT-T--T-T-T-T
---:-- / 24
DNF

0
DNF

0
050

FFFTTFTFFFF(F)(F)FFT (expected value)

1.62 2.62 1.62 1.98 1.00 2.62 1.43 2.62 2.62 2.62 2.62 0.64 0.64 2.62 2.62 0.98 (confidence rate)

DNF

0
FFFFFFTFFFFFFFFF
TTTXXTTTTTT??TTX
V--:-- / -
FFFT?F?FFFF??FFT
TTTT-T-TTTT--TTT
---:-M / 36
??????T?????????
------T---------
---:-- / 3
DNF

0
?F?TTF?FFFF??FF?
-T-TTT-TTTT--TT-
---:-- / 30
?F?TTF?FFFF??FF?
-T-TTT-TTTT--TT-
---:P- / 30
DNF

0
DNF

0
100

(F)FFFFFFTF(F)TF(F)F(F)F (expected value)

0.64 1.64 1.62 1.64 1.64 2.62 1.43 1.00 2.62 0.64 1.62 2.62 0.64 2.41 0.64 1.62 (confidence rate)

DNF

0
FFFFFFFFFFTFFFFF
?TTTTTTXT?TT?T?T
V--:-- / -
??F??F??F?TF?F?F
--T--T--T-TT-T-T
---:PM / 21
??????F??????F??
------T------T--
---:-- / 6
DNF

0
?F?FFF?TF??F????
-T-TTT-TT--T----
---:-- / 21
?F?FFF?TF??F????
-T-TTT-TT--T----
---:-- / 21
DNF

0
DNF

0
200

(F)F(F)(F)(F)(F)(T)(F)FF(F)(F)(F)(F)(F)(F) (expected value)

0.64 1.62 0.64 0.64 0.64 0.64 0.64 0.64 1.62 1.62 0.64 0.64 0.64 0.64 0.64 0.64 (confidence rate)

DNF

0
FFFFFFTFFFFFFFFF
?T??????TT??????
---:P- / 9
?F??????FF??????
-T------TT------
---:-M / 9
????????????????
----------------
---:-- / 0
DNF

0
DNF

0
????????????????
----------------
---:-- / 0
DNF

0
DNF

0
Diffusion2D (stripped) — P/T
  GreatSPN-Meddly ITS-Tools LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 585 1047 1359 576 48 696 684 0 48
Bonuses 18 66 210 6 0 18 30 0 0
Scores 567 981 1149 570 48 678 654 0 48
D05N010

TFFFTTTFTTFTFTTT (expected value)

4.95 4.95 4.95 4.95 4.95 3.96 4.95 4.95 4.95 4.95 4.95 4.95 4.95 4.95 4.95 4.95 (confidence rate)

TFFFTTTFTTFTFTTT
TTTTTTTTTTTTTTTT
---:-- / 48
TFFFTTTFTTFTFTTT
TTTTTTTTTTTTTTTT
---:-- / 48
TFFFTTTFTTFTFTTT
TTTTTTTTTTTTTTTT
---:PM / 48
TFFFTTTFTTFTFTTT
TTTTTTTTTTTTTTTT
---:-- / 48
TFFFTTTFTTFTFTTT
TTTTTTTTTTTTTTTT
---:-- / 48
TFFFT?TFTTFTFTTT
TTTTT-TTTTTTTTTT
---:-- / 45
TFFFT?TFTTFTFTTT
TTTTT-TTTTTTTTTT
---:-- / 45
DNF

0
DNF

0
D05N050

FFFTTTTTTTTTFFTT (expected value)

4.03 4.03 4.03 4.03 4.03 4.03 4.03 4.03 4.03 4.03 2.05 4.03 4.03 4.03 4.03 4.03 (confidence rate)

FFFTTTTTTTTTFFTT
TTTTTTTTTTTTTTTT
---:-M / 48
FFFTTTTTTTTTFFTT
TTTTTTTTTTTTTTTT
---:P- / 48
FFFTTTTTTT?TFFTT
TTTTTTTTTT-TTTTT
---:-- / 45
FFFTTTTTTTTTFFTT
TTTTTTTTTTTTTTTT
---:-- / 48
DNF

0
FFFTTTTTTT?TFFTT
TTTTTTTTTT-TTTTT
---:-- / 45
FFFTTTTTTT?TFFTT
TTTTTTTTTT-TTTTT
---:-- / 45
DNF

0
DNF

0
D05N100

TTTTTTFTFFTTTTTT (expected value)

4.52 3.72 4.52 4.52 3.72 4.52 3.72 3.72 4.52 4.52 4.52 3.72 3.72 3.72 3.72 3.72 (confidence rate)

TTTTTTFTFFTTTTTT
TTTTTTTTTTTTTTTT
---:-- / 48
TTTTTTFTFFTTTTTT
TTTTTTTTTTTTTTTT
---:-- / 48
TTTTTTFTFFTTTTTT
TTTTTTTTTTTTTTTT
---:PM / 48
T?TT?T??FFT?????
T-TT-T--TTT-----
---:-- / 21
DNF

0
TTTTTTFTFFTTTTTT
TTTTTTTTTTTTTTTT
---:-- / 48
TTTTTTFTFFTTTTTT
TTTTTTTTTTTTTTTT
---:-- / 48
DNF

0
TTTTTTFTFFTTTTTT
TTTTTTTTTTTTTTTT
---:-- / 48
D05N150

FTTFTTTFFFTTFTTF (expected value)

4.03 3.24 3.24 3.24 3.24 3.24 3.24 4.03 4.03 3.24 4.03 1.60 4.03 4.03 3.24 3.24 (confidence rate)

FTTFTTTFFFTTFTTF
TTTTTTTTTTTTTTTT
---:-- / 48
FTTFTTTFFFT?FTTF
TTTTTTTTTTT-TTTT
---:-- / 45
FTTFTTTFFFTTFTTF
TTTTTTTTTTTTTTTT
---:PM / 48
F??????FF?T?FT??
T------TT-T-TT--
---:-- / 18
DNF

0
FTTFTTTFFFT?FTTF
TTTTTTTTTTT-TTTT
---:-- / 45
FTTFTTTFFFT?FTTF
TTTTTTTTTTT-TTTT
---:-- / 45
DNF

0
DNF

0
D05N200

FTFFTTTFTTTTTTFF (expected value)

4.03 3.24 3.41 3.41 2.43 3.41 1.43 2.62 3.24 3.24 4.03 3.24 3.24 4.03 3.24 4.03 (confidence rate)

FT??????TTTTTTFF
TT------TTTTTTTT
---:-- / 30
FTFFTTTFTTTTTTFF
TTTTTTTTTTTTTTTT
---:PM / 48
FTFF?TFFTTTTTTFF
TTTT-TXTTTTTTTTT
V--:-- / -
F?FFTTT???T??T?F
T-TTTTT---T--T-T
---:-- / 27
DNF

0
FTFFTT?FTTTTTTFF
TTTTTT-TTTTTTTTT
---:-- / 45
FTFFTT?FTTTTTTFF
TTTTTT-TTTTTTTTT
---:-- / 45
DNF

0
DNF

0
D05N250

TTFFFTTTTTTTTTTT (expected value)

3.24 3.24 2.62 2.62 2.62 2.62 1.62 2.62 3.24 3.41 2.62 3.41 0.98 2.62 3.41 3.41 (confidence rate)

TT??????T???????
TT------T-------
---:-- / 9
TTFFFTTTTTTT?TTT
TTTTTTTTTTTT-TTT
---:-- / 45
TTFFFTTTTTTTTTTT
TTTTTTTTTTTTTTTT
---:PM / 48
?????????T?T??TT
---------T-T--TT
---:-- / 12
DNF

0
TTFFFT?TTTTT?TTT
TTTTTT-TTTTT-TTT
---:-- / 42
TTFFFT?TTTTT?TTT
TTTTTT-TTTTT-TTT
---:-- / 42
DNF

0
DNF

0
D05N300

FFFTTTTFTFTTFFTF (expected value)

3.41 2.62 2.62 3.41 2.62 2.62 0.98 3.41 2.62 3.41 2.62 2.62 2.62 2.62 2.62 2.62 (confidence rate)

DNF

0
FFFTTT?FTFTTFFTF
TTTTTT-TTTTTTTTT
---:PM / 45
FFFTTTTFTFTTFFTF
TTTTTTTTTTTTTTTT
---:-- / 48
F??T???F?F??????
T--T---T-T------
---:-- / 12
DNF

0
FFFTTT?FTFTTFFTF
TTTTTT-TTTTTTTTT
---:-- / 45
FFFTTT?FTFTTFFTF
TTTTTT-TTTTTTTTT
---:-- / 45
DNF

0
DNF

0
D05N350

TFTFTTFFFFFTTTFF (expected value)

3.41 2.41 2.41 3.41 3.41 0.98 3.41 3.41 2.62 3.41 3.41 2.62 2.62 3.41 3.41 2.62 (confidence rate)

DNF

0
TFTFT?FFFFFTTTFF
TTTTT-TTTTTTTTTT
---:-- / 45
TFTFTTFFFFFTTTFF
TTTTTTTTTTTTTTTT
---:PM / 48
TFTFT?FF?FF??TF?
TTTTT-TT-TT--TT-
---:-- / 33
DNF

0
T??FT?FFFFFTTTFF
T--TT-TTTTTTTTTT
---:-- / 39
T??FT?FFFFFTTTFF
T--TT-TTTTTTTTTT
---:-- / 39
DNF

0
DNF

0
D10N010

TFFTTFTTFFFFTTFT (expected value)

4.03 4.03 4.03 4.03 4.03 4.03 4.03 4.03 4.03 4.03 4.03 4.03 4.03 4.03 3.03 4.03 (confidence rate)

TFFTTFTTFFFFTTFT
TTTTTTTTTTTTTTTT
---:-- / 48
TFFTTFTTFFFFTTFT
TTTTTTTTTTTTTTTT
---:-- / 48
TFFTTFTTFFFFTTFT
TTTTTTTTTTTTTTTT
---:PM / 48
TFFTTFTTFFFFTTFT
TTTTTTTTTTTTTTTT
---:-- / 48
DNF

0
TFFTTFTTFFFFTT?T
TTTTTTTTTTTTTT-T
---:-- / 45
TFFTTFTTFFFFTT?T
TTTTTTTTTTTTTT-T
---:-- / 45
DNF

0
DNF

0
D10N050

FTTFFFFFTTFTTFFF (expected value)

4.03 3.24 4.03 4.03 4.03 3.24 4.03 4.03 3.24 3.24 4.03 3.24 3.24 3.24 4.03 4.03 (confidence rate)

FTTFFFFFTTFTTFFF
TTTTTTTTTTTTTTTT
---:-- / 48
FTTFFFFFTTFTTFFF
TTTTTTTTTTTTTTTT
---:-- / 48
FTTFFFFFTTFTTFFF
TTTTTTTTTTTTTTTT
---:-M / 48
F?TFF?FF??F???FF
T-TTT-TT--T---TT
---:-- / 27
DNF

0
FTTFFFFFTTFTTFFF
TTTTTTTTTTTTTTTT
---:P- / 48
FTTFFFFFTTFTTFFF
TTTTTTTTTTTTTTTT
---:-- / 48
DNF

0
DNF

0
D10N100

FTTFTTFFFFTTTTTT (expected value)

3.24 3.24 3.41 2.77 1.98 2.77 2.62 3.41 2.41 2.62 2.62 2.62 1.98 1.98 2.62 1.98 (confidence rate)

FT??????????????
TT--------------
---:-- / 6
FTT???FFFFTT??T?
TTT---TTTTTT--T-
---:-- / 30
FTTFTTFFFFTTTTTT
TTTTTTTTTTTTTTTT
---:PM / 48
??TF?T?FF???????
--TT-T-TT-------
---:-- / 15
DNF

0
FTTFTTFF?FTTTTTT
TTTTTTTT-TTTTTTT
---:-- / 45
FTTFTTFF?FTTTTTT
TTTTTTTT-TTTTTTT
---:-- / 45
DNF

0
DNF

0
D10N150

FTFFTFFFFFTTTFTT (expected value)

3.41 2.12 2.62 2.62 1.98 2.12 2.62 2.62 2.41 2.43 1.98 1.98 1.98 1.62 1.98 2.62 (confidence rate)

DNF

0
FTFF?FFFFF???F?T
TTTT-TTTTT---T-T
---:-- / 33
FTFFTFFFF?TTTFTT
TTTTTTTTT-TTTTTT
---:-M / 45
F???????FF??????
T-------TT------
---:-- / 9
DNF

0
F?FFT?FF?FTTT?TT
T-TTT-TT-TTTT-TT
---:P- / 36
FTFFTFFF?FTTT?TT
TTTTTTTT-TTTT-TT
---:-- / 42
DNF

0
DNF

0
D10N200

TF? FTTTFT(F)TTFFFT (expected value)

2.62 2.43 0 2.77 1.98 1.98 1.98 2.77 1.62 0.79 1.48 0.98 1.77 2.41 1.77 2.41 (confidence rate)

DNF

0
TF??????T????F?T
TT?-----T----T-T
---:-- / 15
TT?FTTTFT?TTFFFT
TX?TTTTTT-TTTTTT
V--:-- / -
?F?F???F?F??FFFT
-T?T---T-?--TTTT
---:-M / 21
DNF

0
TF?FTTTF????????
TT?TTTTT--------
---:P- / 21
TF?FTTTF??T?????
TT?TTTTT--T-----
---:-- / 24
DNF

0
DNF

0
D20N010

FFTTTTTTFTTFFTFF (expected value)

3.03 3.03 4.03 3.03 4.03 3.03 3.53 3.03 3.03 2.05 3.03 3.03 4.03 4.03 3.03 4.03 (confidence rate)

FFTTTTTTFTTFFTFF
TTTTTTTTTTTTTTTT
---:-M / 48
FFTTTTTTFTTFFTFF
TTTTTTTTTTTTTTTT
---:P- / 48
FFTTTTTTF?TFFTFF
TTTTTTTTT-TTTTTT
---:-- / 45
FFTTTTTTFTTFFTFF
TTTTTTTTTTTTTTTT
---:-- / 48
DNF

0
??T?T?T?????FT?F
--T-T-T-----TT-T
---:-- / 18
??T?T???????FT?F
--T-T-------TT-T
---:-- / 15
DNF

0
DNF

0
D20N050

TTTTTFTFTFTTFTFF (expected value)

2.24 3.24 2.24 2.24 3.03 3.24 1.43 2.62 3.24 4.03 2.24 2.24 2.05 3.24 3.24 3.03 (confidence rate)

TTTTTF??TFTTFTFF
TTTTTT--TTTTTTTT
---:-- / 42
TTTTTFTFTFTTFTFF
TTTTTTTTTTTTTTTT
---:P- / 48
TTTTTF?FTFTT?TFF
TTTTTT-TTTTT-TTT
---:-- / 42
????T?T??F??F??F
----T-T--T--T--T
---:-- / 15
DNF

0
?T???F?FTF???TF?
-T---T-TTT---TT-
---:-- / 21
?T???F?FTF???TF?
-T---T-TTT---TT-
---:-M / 21
DNF

0
DNF

0
D20N100

TTFTT(F)TTFTTTFFTT (expected value)

1.62 1.62 1.62 1.62 1.62 0.64 1.62 2.41 1.62 1.62 1.62 1.62 1.62 1.62 1.62 1.62 (confidence rate)

DNF

0
TTFTTFTTFTTTFFTT
TTTTT?TTTTTTTTTT
---:P- / 45
TTFTT?TTFTTTFFTT
TTTTT-TTTTTTTTTT
---:-M / 45
???????T????????
-------T--------
---:-- / 3
DNF

0
DNF

0
????????????????
----------------
---:-- / 0
DNF

0
DNF

0
D20N150

TTFF(F)TTTFFFFFFF(T) (expected value)

1.62 2.62 2.41 1.77 0.79 1.98 0.98 1.98 1.77 2.62 2.62 2.62 1.62 1.62 1.77 0.64 (confidence rate)

DNF

0
TTF??????FFFFF?T
TTT------TTTTT-?
---:-- / 24
TTFF?TTTFFFFFFF?
TTTT-TTTTTTTTTT-
---:P- / 42
??FFF???F?????F?
--TT?---T-----T-
---:-- / 12
DNF

0
?T???T?T?FFF????
-T---T-T-TTT----
---:-- / 18
?T???T?T?FFF????
-T---T-T-TTT----
---:-M / 18
DNF

0
DNF

0
D30N010

TTFFTFFTTFTTTFTT (expected value)

4.03 3.03 3.03 3.03 4.03 3.03 3.03 3.03 3.03 3.03 3.03 4.03 3.03 3.03 3.03 3.03 (confidence rate)

TTFFTFFTTFTTTFTT
TTTTTTTTTTTTTTTT
---:-- / 48
TTFFTFFTTFTTTFTT
TTTTTTTTTTTTTTTT
---:P- / 48
TTFFTFFTTFTTTFTT
TTTTTTTTTTTTTTTT
---:-M / 48
TTFFTFFTTFTTTFTT
TTTTTTTTTTTTTTTT
---:-- / 48
DNF

0
T???T??????T????
T---T------T----
---:-- / 9
T???T??????T????
T---T------T----
---:-- / 9
DNF

0
DNF

0
D30N050

TTF(T)FTFTFFFTTFTT (expected value)

2.41 2.62 2.62 0.64 2.62 2.62 1.62 1.62 1.62 1.62 1.43 1.62 1.62 1.62 2.62 1.62 (confidence rate)

DNF

0
TTFTFTFTFFFTTFTT
TTT?TTTTTTTTTTTT
---:P- / 45
TTF?FTFTFF?TTFTT
TTT-TTTTTT-TTTTT
---:-- / 42
T?????????F?????
T---------T-----
---:-- / 6
DNF

0
?TF?FT????????T?
-TT-TT--------T-
---:-- / 15
?TF?FT????????T?
-TT-TT--------T-
---:-M / 15
DNF

0
DNF

0
D30N100

TTTFFT(F)TTFFFFT(F)F (expected value)

1.62 0.98 1.98 2.62 0.98 0.98 0.79 0.98 1.98 2.62 1.77 1.62 1.77 1.64 0.79 0.98 (confidence rate)

DNF

0
TF?F?????F?F?T??
TX-T-----T-T-T--
V--:-- / -
TTTFFT?TTFFFF??F
TTTTTT-TTTTTT--T
---:P- / 39
??????F???F?F?F?
------?---T-T-?-
---:-- / 6
DNF

0
??TF????TF???T??
--TT----TT---T--
---:-- / 15
??TF????TF???T??
--TT----TT---T--
---:-M / 15
DNF

0
DNF

0
D30N150

TTTTTFT(F)TTFTFFTT (expected value)

0.98 0.98 0.98 0.98 1.62 0.98 1.62 0.79 1.62 0.98 1.77 1.98 1.77 0.98 0.98 0.98 (confidence rate)

DNF

0
????T?T?T???????
----T-T-T-------
---:-- / 9
TTTTTFT?TTFTFFTT
TTTTTTT-TTTTTTTT
---:P- / 45
???????F??F?F???
-------?--T-T---
---:-- / 6
DNF

0
???????????T????
-----------T----
---:-- / 3
???????????T????
-----------T----
---:-M / 3
DNF

0
DNF

0
D40N010

TTFTTTTFTFTFFTFF (expected value)

3.03 3.03 2.05 2.05 2.05 3.03 3.03 3.03 3.03 3.53 3.03 3.03 3.03 3.03 3.03 2.05 (confidence rate)

TTFTTTTFTFTFFTFF
TTTTTTTTTTTTTTTT
---:-- / 48
TTFTTTTFTFTFFTFF
TTTTTTTTTTTTTTTT
---:P- / 48
TT???TTFTFTFFTF?
TT---TTTTTTTTTT-
---:-M / 36
TTFTTTTFTFTFFTFF
TTTTTTTTTTTTTTTT
---:-- / 48
DNF

0
?????????F??????
---------T------
---:-- / 3
????????????????
----------------
---:-- / 0
DNF

0
DNF

0
D40N050

TTTFTTF(T)TTFTTTFF (expected value)

0.98 0.98 1.48 1.48 0.98 0.98 2.41 0.64 0.98 2.41 1.43 0.98 0.98 0.98 1.62 0.98 (confidence rate)

DNF

0
??????FT?TF???F?
------T?-TT---T-
---:-- / 12
TTTFTTF?TT?TTTFF
TTTTTTT-TT-TTTTT
---:PM / 42
??????F??TF?????
------T--TT-----
---:-- / 9
DNF

0
??TF????????????
--TT------------
---:-- / 6
????????????????
----------------
---:-- / 0
DNF

0
DNF

0
D40N100

(F)FTF? FF(F)TT(T)TFTTT (expected value)

0.79 0.98 0.98 1.62 0 2.27 1.77 0.79 2.41 1.48 0.79 1.62 1.77 0.98 1.62 1.48 (confidence rate)

DNF

0
???F????T??T??T?
---T?---T--T--T-
---:-- / 12
?FTF?FF?TT?TFTTT
-TTT?TT-TT-TTTTT
---:PM / 36
F????FFFT?T?F???
?---?TT?T-?-T---
---:-- / 12
DNF

0
?????F???T?????T
----?T---T-----T
---:-- / 9
????????????????
----?-----------
---:-- / 0
DNF

0
DNF

0
D40N150

TTFFTFTTTFFTFFFT (expected value)

2.12 1.77 2.27 0.98 1.62 0.98 1.48 0.98 0.98 1.77 1.77 2.12 0.98 1.77 2.41 0.98 (confidence rate)

DNF

0
T???T??????T??F?
T---T------T--T-
---:-- / 12
TTFFTFTTTFFTFFFT
TTTTTTTTTTTTTTTT
---:PM / 48
?TF??????FF??FF?
-TT------TT--TT-
---:-- / 18
DNF

0
T?F???T????T????
T-T---T----T----
---:-- / 12
????????????????
----------------
---:-- / 0
DNF

0
DNF

0
D50N010

FTFTTFFTTFTTFFFT (expected value)

2.24 2.24 1.27 1.27 1.27 1.27 1.27 1.27 2.24 1.27 1.27 1.27 1.27 1.27 1.27 1.27 (confidence rate)

FTFTTFFTTFTTFFFT
TTTTTTTTTTTTTTTT
---:P- / 48
FTFTTFFTTFTTFFFT
TTTTTTTTTTTTTTTT
---:-- / 48
FT??????T???????
TT------T-------
---:-M / 9
????????????????
----------------
---:-- / 0
DNF

0
DNF

0
????????????????
----------------
---:-- / 0
DNF

0
DNF

0
D50N050

FT? FTTFT(T)FFTT? FF (expected value)

0.98 1.62 0 0.98 0.98 0.98 0.98 0.98 0.64 1.62 1.62 1.62 0.98 0 1.62 1.62 (confidence rate)

DNF

0
?T??????TFFT??FF
-T?-----?TTT-?TT
---:-- / 18
FT?FTTFT?FFTT?FF
TT?TTTTT-TTTT?TT
---:PM / 39
????????????????
--?----------?--
---:-- / 0
DNF

0
DNF

0
????????????????
--?----------?--
---:-- / 0
DNF

0
DNF

0
D50N100

TT? ? ? ? FFF? F? FFTF (expected value)

1.62 0.98 0 0 0 0 0.98 0.98 1.62 0 1.62 0 1.62 0.98 0.98 0.98 (confidence rate)

DNF

0
T???????F?F?F???
T-????--T?T?T---
---:-- / 12
TT????FFF?F?FFTF
TT????TTT?T?TTTT
---:PM / 30
????????????????
--????---?-?----
---:-- / 0
DNF

0
DNF

0
????????????????
--????---?-?----
---:-- / 0
DNF

0
DNF

0
D50N150

FF? TFTT? TFTFTT? T (expected value)

0.98 0.98 0 0.98 1.62 0.98 0.98 0 0.98 0.98 0.98 0.98 1.62 0.98 0 0.98 (confidence rate)

DNF

0
????F???????T???
--?-T--?----T-?-
---:-- / 6
FF?TFTT?TFTFTT?T
TT?TTTT?TTTTTT?T
---:PM / 39
????????????????
--?----?------?-
---:-- / 0
DNF

0
DNF

0
????????????????
--?----?------?-
---:-- / 0
DNF

0
DNF

0
DotAndBoxes (stripped) — Colored
  GreatSPN-Meddly ITS-Tools LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 48 0 0 15 0 0 0 0
Bonuses 0 42 0 0 6 0 0 0 0
Scores 0 6 0 0 9 0 0 0 0
2

? (F)(F)? ? (F)? ? FF? (F)? ? ? T (expected value)

0 0.64 0.64 0 0 0.64 0 0 1.56 0.92 0 0.64 0 0 0 1.56 (confidence rate)

CC

0
?FF??F??F??F???T
????????T-?????T
---:-M / 6
DNC CC

0
????????FF?????T
?--??-??TT?-???T
---:P- / 9
DNC DNC DNC DNC
3

(T)? ? ? ? (F)? ? (F)(T)(T)(F)? ? (T)(T) (expected value)

0.64 0 0 0 0 0.64 0 0 0.64 0.64 0.64 0.64 0 0 0.64 0.64 (confidence rate)

CC

0
T????F??FTTF??TT
????????????????
---:PM / 0
DNC CC

0
DNF

0
DNC DNC DNC DNC
4

(T)(T)(T)? (F)(F)? ? (T)? ? ? ? (F)? ? (expected value)

0.64 0.64 0.64 0 0.64 0.64 0 0 0.64 0 0 0 0 0.64 0 0 (confidence rate)

CC

0
TTT?FF??T????F??
????????????????
---:PM / 0
DNC CC

0
DNF

0
DNC DNC DNC DNC
5

(T)(T)? (F)(F)? (F)? (T)(T)? (T)(T)(F)? (T) (expected value)

0.64 0.64 0 0.64 0.64 0 0.64 0 0.64 0.64 0 0.64 0.64 0.64 0 0.64 (confidence rate)

CC

0
TT?FF?F?TT?TTF?T
????????????????
---:PM / 0
DNC CC

0
DNF

0
DNC DNC DNC DNC
DrinkVendingMachine (stripped) — Colored
  GreatSPN-Meddly ITS-Tools LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 84 0 0 0 0 0 0 0
Bonuses 0 84 0 0 0 0 0 0 0
Scores 0 0 0 0 0 0 0 0 0
02

? (T)(T)? ? ? ? ? (T)? ? (T)? (F)(F)? (expected value)

0 0.64 0.64 0 0 0 0 0 0.64 0 0 0.64 0 0.64 0.64 0 (confidence rate)

CC

0
?TT?????T??T?FF?
????????????????
---:PM / 0
DNC CC

0
?TT???T?TF????T?
???????????-?-X?
VC-:-- / -
DNC DNC DNC DNC
10

? (T)? ? ? ? ? ? ? ? (F)? (F)(T)(T)? (expected value)

0 0.64 0 0 0 0 0 0 0 0 0.64 0 0.64 0.64 0.64 0 (confidence rate)

CC

0
?T????????F?FTT?
????????????????
---:PM / 0
DNC CC

0
DNF

0
DNC DNC DNC DNC
16

(T)(T)(F)? ? ? ? ? (T)? (F)(T)(T)(F)(F)(T) (expected value)

0.64 0.64 0.64 0 0 0 0 0 0.64 0 0.64 0.64 0.64 0.64 0.64 0.64 (confidence rate)

CC

0
TTF?????T?FTTFFT
????????????????
---:PM / 0
DNC CC

0
DNF

0
DNC DNC DNC DNC
24

(F)(T)(T)? (T)? (T)(T)? (F)? ? ? (T)(F)? (expected value)

0.64 0.64 0.64 0 0.64 0 0.64 0.64 0 0.64 0 0 0 0.64 0.64 0 (confidence rate)

CC

0
FTT?T?TT?F???TF?
????????????????
---:PM / 0
DNC CC

0
CC

0
DNC DNC DNC DNC
48

? (T)(T)(F)? ? ? (F)? (F)? (T)? (T)(F)(T) (expected value)

0 0.64 0.64 0.64 0 0 0 0.64 0 0.64 0 0.64 0 0.64 0.64 0.64 (confidence rate)

CC

0
?TTF???F?F?T?TFT
????????????????
---:PM / 0
DNC CC

0
CC

0
DNC DNC DNC DNC
76

? ? ? (T)? (T)(F)(F)? (F)(T)(F)(F)(F)? (T) (expected value)

0 0 0 0.64 0 0.64 0.64 0.64 0 0.64 0.64 0.64 0.64 0.64 0 0.64 (confidence rate)

CC

0
???T?TFF?FTFFF?T
????????????????
---:PM / 0
DNC CC

0
CC

0
DNC DNC DNC DNC
98

? (F)? ? ? ? (F)? ? ? ? (F)? ? ? (T) (expected value)

0 0.64 0 0 0 0 0.64 0 0 0 0 0.64 0 0 0 0.64 (confidence rate)

CC

0
?F????F????F???T
????????????????
---:PM / 0
DNC CC

0
CC

0
DNC DNC DNC DNC
DrinkVendingMachine (stripped) — P/T
  GreatSPN-Meddly ITS-Tools LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 48 12 54 0 0 48 48 48 54
Bonuses 0 12 6 0 0 0 0 0 6
Scores 48 0 48 0 0 48 48 48 48
02

FFFTTTTFFTTFFTFT (expected value)

4.95 4.31 4.31 4.95 4.16 4.16 4.16 4.95 4.31 4.95 4.95 3.52 4.95 3.52 4.95 4.16 (confidence rate)

FFFTTTTFFTTFFTFT
TTTTTTTTTTTTTTTT
---:-- / 48
FTTTTTTFTTTTFFFT
TXXTTTTTXTTXTXTT
V--:-- / -
FFFTTTTFFTTFFTFT
TTTTTTTTTTTTTTTT
---:-M / 48
FFFTFFFFFTTTFFFF
TTTTXXXTTTTXTXTX
V--:-- / -
FFFTTTTFFTTFFTFT
TTTTTTTTTTTTTTTT
-C-:-- / -
FFFTTTTFFTTFFTFT
TTTTTTTTTTTTTTTT
---:-- / 48
FFFTTTTFFTTFFTFT
TTTTTTTTTTTTTTTT
---:-- / 48
FFFTTTTFFTTFFTFT
TTTTTTTTTTTTTTTT
---:-- / 48
FFFTTTTFFTTFFTFT
TTTTTTTTTTTTTTTT
---:P- / 48
10

? (T)? ? ? ? ? ? ? ? (F)? (F)(T)(T)? (expected value)

0 0.64 0 0 0 0 0 0 0 0 0.64 0 0.64 0.64 0.64 0 (confidence rate)

DNF

0
?T????????F?FTT?
????????????????
---:PM / 0
DNF

0
????????????????
?-????????-?---?
---:-- / 0
DNF

0
DNF

0
CC

0
DNF

0
DNF

0
ERK (stripped) — P/T
  GreatSPN-Meddly ITS-Tools LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 96 39 216 138 96 234 246 96 213
Bonuses 0 0 30 0 0 0 12 0 30
Scores 96 39 186 138 96 234 234 96 183
000001

FTFFTFTFFTFTFFFF (expected value)

5.24 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.24 5.88 5.88 5.88 5.88 5.88 5.88 (confidence rate)

FTFFTFTFFTFTFFFF
TTTTTTTTTTTTTTTT
---:-- / 48
TTFFTFTFFFFTFFFF
XTTTTTTTTXTTTTTT
V--:-- / -
FTFFTFTFFTFTFFFF
TTTTTTTTTTTTTTTT
---:-M / 48
FTFFTFTFFTFTFFFF
TTTTTTTTTTTTTTTT
---:-- / 48
FTFFTFTFFTFTFFFF
TTTTTTTTTTTTTTTT
---:-- / 48
FTFFTFTFFTFTFFFF
TTTTTTTTTTTTTTTT
---:-- / 48
FTFFTFTFFTFTFFFF
TTTTTTTTTTTTTTTT
---:P- / 48
FTFFTFTFFTFTFFFF
TTTTTTTTTTTTTTTT
---:-- / 48
FTFFTFTFFTFTFFFF
TTTTTTTTTTTTTTTT
---:-- / 48
000010

TFTFTFTFFFFFFTTF (expected value)

5.09 5.88 5.88 5.88 5.88 4.45 5.88 5.88 5.88 5.88 5.88 5.24 5.88 5.88 5.88 5.88 (confidence rate)

TFTFTFTFFFFFFTTF
TTTTTTTTTTTTTTTT
---:-- / 48
TFTFTTTFFFFTFTTF
TTTTTXTTTTTXTTTT
V--:-- / -
TFTFTFTFFFFFFTTF
TTTTTTTTTTTTTTTT
---:-M / 48
FFTFTTTFFFFFFTTF
XTTTTXTTTTTTTTTT
V--:-- / -
TFTFTFTFFFFFFTTF
TTTTTTTTTTTTTTTT
---:-- / 48
TFTFTFTFFFFFFTTF
TTTTTTTTTTTTTTTT
---:-- / 48
TFTFTFTFFFFFFTTF
TTTTTTTTTTTTTTTT
---:P- / 48
TFTFTFTFFFFFFTTF
TTTTTTTTTTTTTTTT
---:-- / 48
TFTFTFTFFFFFFTTF
TTTTTTTTTTTTTTTT
---:-- / 48
000100

FFTFFFFFFTTFFFTF (expected value)

2.21 4.33 4.33 3.25 3.25 3.69 3.69 3.25 3.25 3.25 4.33 3.69 3.25 2.21 2.77 4.33 (confidence rate)

DNF

0
?FT???????T??T?F
-TT-------T--X-T
V--:-- / -
FFTFFFFFFTTFFFTF
TTTTTTTTTTTTTTTT
---:PM / 48
FFTFFFFFFTTFFFTF
TTTTTTTTTTTTTTTT
---:-- / 48
DNF

0
?FTFFFFFFTTFF?TF
-TTTTTTTTTTTT-TT
---:-- / 42
?FTFFFFFFTTFF?TF
-TTTTTTTTTTTT-TT
---:-- / 42
FFTTTFFTTFTFTFFF
TTTXXTTXXXTTXTXT
V--:-- / -
?FTFFFFFFTTFF??F
-TTTTTTTTTTTT--T
---:-- / 39
001000

FFF(F)TFFTTT(F)FFFFT (expected value)

1.43 3.35 2.23 0.79 2.43 1.48 3.35 2.56 1.48 0.92 0.79 1.43 1.00 1.79 1.92 2.12 (confidence rate)

DNF

0
FF??T?FT???F???T
TT--T-TT---T---T
---:-- / 21
????????????????
----------------
---:-- / 0
FFFFT?F???FF?F??
TTT?T-T---?T-T--
---:-- / 21
DNF

0
?FF?TFFTT???FFFT
-TT-TTTTT---TTTT
---:-- / 33
?FF?TFFTT???FFFT
-TT-TTTTT---TTTT
---:-- / 33
TFFTFTFTFTTTTTFF
XTTXXXTTXTXXXXTX
V--:-- / -
?F???FFTTT????FT
-T---TTTTT----TT
---:PM / 24
010000

(F)TTTFFF(T)TFTF(F)FTF (expected value)

0.45 1.43 2.62 1.43 1.77 1.98 3.69 0.45 1.98 2.77 2.62 1.98 0.79 3.69 2.62 3.89 (confidence rate)

DNF

0
?TTT??????T???TF
-TTT------T---TT
---:-- / 18
?FTFFFF?TFTF?FTF
-XTXTTT-TTTT-TTT
V--:-- / -
?T?TF?F??F??FF?F
-T-TT-T--T--?T-T
---:-- / 21
DNF

0
??T??FF?TFTF?FTF
--T--TT-TTTT-TTT
---:-- / 30
??T??FF?TFTF?FTF
--T--TT-TTTT-TTT
---:-- / 30
FFFFTTFTFTFTTFFT
?XXXXXT?XXXXXTXX
V--:-- / -
??????F??????F?F
------T------T-T
---:PM / 9
100000

FFTTTFFTFFFFFTTT (expected value)

3.54 3.41 3.54 2.62 1.09 2.62 3.41 3.54 2.06 3.41 2.62 3.69 2.41 4.33 1.09 2.06 (confidence rate)

DNF

0
FFTTTFFTFFFTFTTT
TTTTTTTTTTTXTTTT
V--:-- / -
FFTT?FFTFFFFFT?T
TTTT-TTTTTTTTT-T
---:P- / 42
?F??F?F??F?FFTF?
-T--X-T--T-TTTX-
V--:-- / -
CC

0
FFTT?FFT?FFF?T??
TTTT-TTT-TTT-T--
---:-- / 33
FFTT?FFT?FFF?T??
TTTT-TTT-TTT-T--
---:-- / 33
FTTFTTTTFTTFTTTT
TXTXTXXTTXXTXTTT
V--:-- / -
F?T????T???F?T??
T-T----T---T-T--
---:-M / 15
Echo (stripped) — P/T
  GreatSPN-Meddly ITS-Tools LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 90 180 114 0 177 225 0 27
Bonuses 0 24 18 6 0 0 48 0 12
Scores 0 66 162 108 0 177 177 0 15
d02r09

TFFT? FF? ? ? FFFFFF (expected value)

2.62 1.43 1.98 2.62 0 1.77 2.62 0 0 0 1.98 2.41 1.77 1.00 1.00 0.98 (confidence rate)

DNF

0
TF?T??F????F????
TT-T?-T???-T----
---:P- / 15
TTFT?FF???FFF??F
TXTT?TT???TTT--T
V--:-- / -
?F???F?????FF???
-T--?T-???-TT---
---:-- / 12
DNF

0
T?FT??F???F??FF?
T-TT?-T???T--TT-
---:-- / 21
T?FT??F???F??FF?
T-TT?-T???T--TT-
---:-M / 21
DNF

0
DNF

0
d02r11

FFTF(F)FT? FFFFFTF? (expected value)

1.77 1.98 2.43 2.77 0.79 1.00 1.00 0 1.77 2.62 1.98 1.98 1.98 3.41 0.98 0 (confidence rate)

DNF

0
??T???F??F???T??
--T---X?-T---T-?
V--:-- / -
FF?F????FFFFFTF?
TT-T---?TTTTTTT?
---:-- / 30
F?TFF???F????T??
T-TT?--?T----T-?
---:-- / 15
DNF

0
?FTF?FT??FFFFT??
-TTT-TT?-TTTTT-?
---:-- / 30
?FTF?FT??FFFFT??
-TTT-TT?-TTTTT-?
---:PM / 30
DNF

0
DNF

0
d02r15

TF? (F)FF(F)FFTTF? FTF (expected value)

1.98 1.00 0 0.79 1.98 1.98 0.79 2.77 1.00 2.62 0.98 1.62 0 1.98 1.62 0.98 (confidence rate)

DNF

0
?????????T?F??T?
--?------T-T?-T-
---:P- / 9
TT??FF?F?TTF?FTF
TX?-TT-T-TTT?TTT
V--:-- / -
???F??FF????????
--??--?T----?---
---:-- / 3
DNF

0
TF??FF?FFT???F??
TT?-TT-TTT--?T--
---:-- / 24
TF??FF?FFT???F??
TT?-TT-TTT--?T--
---:-M / 24
DNF

0
DNF

0
d02r19

FFFF? FFFFFFTFFFT (expected value)

3.41 1.62 1.98 1.00 0 2.62 1.79 1.98 0.98 1.77 1.98 1.00 1.00 1.00 1.00 3.41 (confidence rate)

DNF

0
FF???F?????F???T
TT--?T-----X---T
V--:-- / -
FFF??F?FFFF????T
TTT-?T-TTTT----T
---:P- / 27
F?????F??F?????T
T---?-T--T-----T
---:-M / 12
DNF

0
FTFF?FFF??FTFFFT
TXTT?TTT--TTTTTT
V--:-- / -
FTFF?FFF??FTFFFT
TXTT?TTT--TTTTTT
V--:-- / -
DNF

0
DNF

0
d03r03

T(F)TF? ? FTFF(F)F? T? T (expected value)

1.00 0.79 2.91 1.00 0 0 1.91 2.91 1.00 2.12 0.64 1.43 0 1.91 0 1.00 (confidence rate)

DNF

0
F?T???FT?FFF?T?F
X-T-??TT-T?T?T?X
V--:-- / -
????????????????
----??------?-?-
---:-- / 0
?FT???FT???F?T??
-?T-??TT---T?T?-
---:-- / 15
DNF

0
T?TF???TFF?T???T
T-TT??-TTT-X?-?T
V--:-- / -
T?TF???TFF?T???T
T-TT??-TTT-X?-?T
V--:-- / -
DNF

0
??T???FT?F???T??
--T-??TT-T--?T?-
---:PM / 15
d03r05

FFT? ? F(F)TFFFFTF? F (expected value)

2.62 0.98 1.43 0 0 2.43 0.64 2.43 3.41 1.62 2.77 1.00 1.00 1.00 0 1.00 (confidence rate)

DNF

0
F?T??FFTFF??????
T-T??T?TTT----?-
---:P- / 18
FF??????FFF?????
TT-??---TTT---?-
---:-- / 15
??T??F?TF?F?????
--T??T-TT-T---?-
---:-- / 15
DNF

0
F????F?TF?FFTF?F
T--??T-TT-TTTT?T
---:-- / 27
F????F?TF?FFTF?F
T--??T-TT-TTTT?T
---:-M / 27
DNF

0
DNF

0
d03r07

FTFTTFTFTFTTFTFT (expected value)

2.62 2.62 1.98 0.98 0.98 1.00 1.98 1.00 2.41 0.98 1.98 1.00 1.00 1.64 1.98 2.77 (confidence rate)

DNF

0
FT??????T??F?T??
TT------T--X-T--
V--:-- / -
FTFTT?T?TFT???FT
TTTTT-T-TTT---TT
---:P- / 33
????????T??????T
--------T------T
---:-- / 6
DNF

0
FTF??FTF??TTFTFT
TTT--TTT--TTTTTT
---:-- / 36
FTF??FTF??TTFTFT
TTT--TTT--TTTTTT
---:-M / 36
DNF

0
DNF

0
d04r03

FF? (F)? FFFFFFTF? TF (expected value)

3.41 0.98 0 0.79 0 0.98 0.98 1.43 1.00 1.00 0.98 2.41 1.98 0 2.62 1.43 (confidence rate)

DNF

0
F??????F???T??TF
T-?-?--T---T-?TT
---:P- / 15
FF???FF???FTF?T?
TT?-?TT---TTT?T-
---:-- / 24
F??F???F???T???F
T-???--T---T-?-T
---:-- / 12
DNF

0
F???????FF??F?T?
T-?-?---TT--T?T-
---:-- / 15
F???????FF??F?T?
T-?-?---TT--T?T-
---:-M / 15
DNF

0
DNF

0
d05r03

TTFFFFFF? FFTFT? F (expected value)

0.98 1.98 2.77 2.77 1.00 1.62 0.98 1.77 0 1.00 3.41 0.98 1.00 3.41 0 1.77 (confidence rate)

CC

0
?????F????F??T??
-----T--?-T--T?-
---:-- / 9
TTFF?FFF??FT?T?F
TTTT-TTT?-TT-T?T
---:P- / 33
??FF???F??F??T?F
--TT---T?-T--T?T
---:-- / 18
DNF

0
?TFFF????FF?FT??
-TTTT---?TT-TT?-
---:-- / 24
?TFFF????FF?FT??
-TTTT---?TT-TT?-
---:-M / 24
DNF

0
DNF

0
EnergyBus (stripped) — P/T
  GreatSPN-Meddly ITS-Tools LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 0 24 6 0 18 18 0 0
Bonuses 0 0 12 0 0 0 0 0 0
Scores 0 0 12 6 0 18 18 0 0
none

(F)T(T)TFF? TF? (F)(F)TTF(F) (expected value)

0.64 1.62 0.64 2.62 1.00 1.00 0 2.43 1.77 0 0.79 0.79 1.00 0.98 1.00 0.79 (confidence rate)

DNF

0
FTTT???T????F???
?T?T--?T-?--X---
V--:-- / -
?T?T????F????T??
-T-T--?-T?---T--
---:PM / 12
???????TF?FF???F
------?TT???---?
---:-- / 6
DNF

0
???TFF?T????T?F?
---TTT?T-?--T-T-
---:-- / 18
???TFF?T????T?F?
---TTT?T-?--T-T-
---:-- / 18
DNF

0
DNF

0
Eratosthenes (stripped) — P/T
  GreatSPN-Meddly ITS-Tools LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 150 0 285 54 96 198 240 96 96
Bonuses 6 0 18 6 0 0 42 0 0
Scores 144 0 267 48 96 198 198 96 96
010

TTFTFFFTTTFTFFFF (expected value)

5.24 5.09 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.24 5.88 5.88 5.24 5.24 (confidence rate)

TTFTFFFTTTFTFFFF
TTTTTTTTTTTTTTTT
---:-- / 48
FTFTFFFTTTFFFFTT
XTTTTTTTTTTXTTXX
V--:-- / -
TTFTFFFTTTFTFFFF
TTTTTTTTTTTTTTTT
---:-- / 48
TFFTFFFTTTFTFFFF
TXTTTTTTTTTTTTTT
V--:-- / -
TTFTFFFTTTFTFFFF
TTTTTTTTTTTTTTTT
---:-- / 48
TTFTFFFTTTFTFFFF
TTTTTTTTTTTTTTTT
---:-- / 48
TTFTFFFTTTFTFFFF
TTTTTTTTTTTTTTTT
---:PM / 48
TTFTFFFTTTFTFFFF
TTTTTTTTTTTTTTTT
---:-- / 48
TTFTFFFTTTFTFFFF
TTTTTTTTTTTTTTTT
---:-- / 48
020

TTTFFTFFTFTFFTTF (expected value)

5.24 5.24 5.24 4.45 5.88 5.88 5.88 5.24 5.09 5.88 5.88 5.88 5.24 5.09 5.24 5.88 (confidence rate)

TTTFFTFFTFTFFTTF
TTTTTTTTTTTTTTTT
---:-- / 48
FFFTFTFTTFTFTTFF
XXXXTTTXTTTTXTXT
V--:-- / -
TTTFFTFFTFTFFTTF
TTTTTTTTTTTTTTTT
---:-- / 48
TTTTFTFFFFTFFFTF
TTTXTTTTXTTTTXTT
V--:-- / -
TTTFFTFFTFTFFTTF
TTTTTTTTTTTTTTTT
---:-- / 48
TTTFFTFFTFTFFTTF
TTTTTTTTTTTTTTTT
---:-- / 48
TTTFFTFFTFTFFTTF
TTTTTTTTTTTTTTTT
---:PM / 48
TTTFFTFFTFTFFTTF
TTTTTTTTTTTTTTTT
---:-- / 48
TTTFFTFFTFTFFTTF
TTTTTTTTTTTTTTTT
---:-- / 48
050

TTTTFFFTTTFFFFTF (expected value)

3.03 3.39 2.39 3.39 3.03 4.03 4.03 3.39 2.39 4.03 4.03 3.03 4.03 4.03 1.43 4.03 (confidence rate)

TTTTFFFTTTFFFFFF
TTTTTTTTTTTTTTXT
V--:-- / -
TFFFFFFFFTFFFFTF
TXXXTTTXXTTTTTTT
V--:-- / -
TTTTFFFTTTFFFF?F
TTTTTTTTTTTTTT-T
---:-- / 45
TTTTFFFTTTFFFFTF
TTTTTTTTTTTTTTTT
---:P- / 48
DNF

0
?T?T?FFT?TF?FF?F
-T-T-TTT-TT-TT-T
---:-- / 30
?T?T?FFT?TF?FF?F
-T-T-TTT-TT-TT-T
---:-M / 30
DNF

0
DNF

0
100

TFFTTFTTFTFTTTFT (expected value)

4.03 3.03 3.03 3.39 3.39 4.03 1.27 3.03 3.03 1.27 4.03 2.26 2.60 3.03 4.03 3.03 (confidence rate)

TFFTTFTTFTFTTTFT
TTTTTTTTTTTTTTTT
---:P- / 48
TFFFFFTTFTFTFTFT
TTTXXTTTTTTTXTTT
V--:-- / -
TFFTTF?TF?F?TTFT
TTTTTT-TT-T-TTTT
---:-- / 39
TFFTTFFTFFFFFTFT
TTTTTTXTTXTXXTTT
V--:-- / -
DNF

0
T??TTF????FTT?F?
T--TTT----TTT-T-
---:-- / 24
T??TTF????FTT?F?
T--TTT----TTT-T-
---:-M / 24
DNF

0
DNF

0
200

(F)FFFTTFFTFTF(F)FTF (expected value)

0.79 2.41 3.41 3.41 2.77 1.62 3.41 3.41 1.77 2.77 2.41 3.41 0.79 3.41 1.62 1.43 (confidence rate)

CC

0
TFFFFTFFFTTFTFTF
XTTTXTTTXXTTXTTT
V--:-- / -
?FFFTTFFTFTF?FT?
-TTTTTTTTTTT-TT-
---:P- / 39
FFFFTFFFTFTFFFFF
?TTTTXTTTTTT?TXT
V--:-- / -
DNF

0
??FFT?FF?F?F?F??
--TTT-TT-T-T-T--
---:-- / 24
??FFT?FF?F?F?F??
--TTT-TT-T-T-T--
---:-M / 24
DNF

0
DNF

0
500

FFFTTTTTFFTFFTFF (expected value)

2.41 2.41 3.41 3.41 1.62 2.41 2.62 2.77 3.41 3.41 3.41 2.41 2.41 2.77 2.41 2.41 (confidence rate)

CC

0
FFFTTTTFFFTFFFFF
TTTTTTTXTTTTTXTT
V--:-- / -
FFFTTTTTFFTFFTFF
TTTTTTTTTTTTTTTT
---:PM / 48
FFFTFTFTFFTFFTFF
TTTTXTXTTTTTTTTT
V--:-- / -
DNF

0
??FT??TTFFT??T??
--TT--TTTTT--T--
---:-- / 24
??FT??TTFFT??T??
--TT--TTTTT--T--
---:-- / 24
DNF

0
DNF

0
FMS (stripped) — P/T
  GreatSPN-Meddly ITS-Tools LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 276 195 336 78 135 351 363 96 321
Bonuses 36 30 12 0 0 0 12 0 6
Scores 240 165 324 78 135 351 351 96 315
002

FTFFTFFFTTFFFTFT (expected value)

5.88 5.88 5.88 5.88 4.45 5.88 5.88 5.88 5.88 5.24 5.88 5.88 5.88 5.24 5.88 5.88 (confidence rate)

FTFFTFFFTTFFFTFT
TTTTTTTTTTTTTTTT
---:-- / 48
FTFFFFFFTFFFFFFT
TTTTXTTTTXTTTXTT
V--:-- / -
FTFFTFFFTTFFFTFT
TTTTTTTTTTTTTTTT
---:-- / 48
FTFFFFFFTTFFFTFT
TTTTXTTTTTTTTTTT
V--:-- / -
FTFFTFFFTTFFFTFT
TTTTTTTTTTTTTTTT
---:-- / 48
FTFFTFFFTTFFFTFT
TTTTTTTTTTTTTTTT
---:-- / 48
FTFFTFFFTTFFFTFT
TTTTTTTTTTTTTTTT
---:PM / 48
FTFFTFFFTTFFFTFT
TTTTTTTTTTTTTTTT
---:-- / 48
FTFFTFFFTTFFFTFT
TTTTTTTTTTTTTTTT
---:-- / 48
005

FFTTFFTTTFTFFTTF (expected value)

5.88 5.88 5.09 5.88 5.88 4.45 5.24 5.88 5.88 5.88 5.88 4.45 5.88 5.88 5.88 5.88 (confidence rate)

FFTTFFTTTFTFFTTF
TTTTTTTTTTTTTTTT
---:PM / 48
FFTTFTFTTFTTFTTF
TTTTTXXTTTTXTTTT
V--:-- / -
FFTTFFTTTFTFFTTF
TTTTTTTTTTTTTTTT
---:-- / 48
FFFTFTTTTFTTFTTF
TTXTTXTTTTTXTTTT
V--:-- / -
FFTTFFTTTFTFFTTF
TTTTTTTTTTTTTTTT
---:-- / 48
FFTTFFTTTFTFFTTF
TTTTTTTTTTTTTTTT
---:-- / 48
FFTTFFTTTFTFFTTF
TTTTTTTTTTTTTTTT
---:-- / 48
FFTTFFTTTFTFFTTF
TTTTTTTTTTTTTTTT
---:-- / 48
FFTTFFTTTFTFFTTF
TTTTTTTTTTTTTTTT
---:-- / 48
010

FTFTFFTFTTFTFFFT (expected value)

5.88 4.76 5.88 4.95 4.48 4.48 4.95 4.95 5.88 5.88 5.40 5.88 4.76 5.44 5.88 5.88 (confidence rate)

FTFTFFTFTTFTFFFT
TTTTTTTTTTTTTTTT
---:PM / 48
FFFTFFTFTTFTTFFT
TXTTTTTTTTTTXTTT
V--:-- / -
FTFTFFTFTTFTFFFT
TTTTTTTTTTTTTTTT
---:-- / 48
FTFTFFTFTTFTFFFT
TTTTTTTTTTTTTTTT
---:-- / 48
FTF?????TTFTFFFT
TTT-----TTTTTTTT
---:-- / 33
FTFTFFTFTTFTFFFT
TTTTTTTTTTTTTTTT
---:-- / 48
FTFTFFTFTTFTFFFT
TTTTTTTTTTTTTTTT
---:-- / 48
FTFTFFTFTTFTFTFT
TTTTTTTTTTTTTXTT
V--:-- / -
F?FT??TFTT?T?FFT
T-TT--TTTT-T-TTT
---:-- / 33
020

TFTTFFTTFTTFFFFF (expected value)

5.88 5.40 4.95 4.95 4.95 4.95 4.95 4.52 4.95 2.50 4.95 4.95 4.95 3.68 3.84 4.95 (confidence rate)

TFTTFFTTFTTFFFFF
TTTTTTTTTTTTTTTT
---:PM / 48
TFTTFFTTFTTFFFTF
TTTTTTTTTTTTTTXT
V--:-- / -
TFTTFFTTF?TFFFFF
TTTTTTTTT-TTTTTT
---:-- / 45
TFTTFFTTFTTFFTFF
TTTTTTTTTTTTTXTT
V--:-- / -
TF??????????????
TT--------------
---:-- / 6
TFTTFFTTF?TFFFFF
TTTTTTTTT-TTTTTT
---:-- / 45
TFTTFFTTF?TFFFFF
TTTTTTTTT-TTTTTT
---:-- / 45
TFTTFFTFFTTFFFFF
TTTTTTTXTTTTTTTT
V--:-- / -
T?TTFFTTF?TFF??F
T-TTTTTTT-TTT--T
---:-- / 36
050

FTFTTFFTFFTFTFFF (expected value)

1.86 4.95 4.95 4.95 4.95 4.48 4.95 4.95 4.95 4.95 4.95 3.95 4.16 4.95 4.95 3.52 (confidence rate)

FTFTTFFTFFTFTFFF
TTTTTTTTTTTTTTTT
---:-- / 48
?TFTTFFTFFTFTFFF
-TTTTTTTTTTTTTTT
---:PM / 45
?TFTTFFTFFTFTFFF
-TTTTTTTTTTTTTTT
---:-- / 45
FTFTTFFTFFTFFFFF
TTTTTTTTTTTTXTTT
V--:-- / -
DNF

0
?TFTTFFTFFT?TFF?
-TTTTTTTTTT-TTT-
---:-- / 39
?TFTTFFTFFT?TFF?
-TTTTTTTTTT-TTT-
---:-- / 39
FTFTTFFTFFTFTFFT
TTTTTTTTTTTTTTTX
V--:-- / -
?TFTT?FTFFTFTFFF
-TTTT-TTTTTTTTTT
---:-- / 42
100

TFFTTFTTFFFFFFFT (expected value)

4.33 4.33 4.33 1.42 4.33 2.89 4.33 4.33 4.33 4.33 4.33 4.33 4.33 4.33 4.33 4.33 (confidence rate)

DNF

0
TFF?TFTTFFFFFFFT
TTT-TTTTTTTTTTTT
---:-- / 45
TFFTTFTTFFFFFFFT
TTTTTTTTTTTTTTTT
---:PM / 48
TFFFTFTTFFFFFFFT
TTTXTTTTTTTTTTTT
V--:-- / -
DNF

0
TFF?T?TTFFFFFFFT
TTT-T-TTTTTTTTTT
---:-- / 42
TFF?T?TTFFFFFFFT
TTT-T-TTTTTTTTTT
---:-- / 42
TFFTTTTTFFFFFFFT
TTTTTXTTTTTTTTTT
V--:-- / -
TFF?TFTTFFFFFFFT
TTT-TTTTTTTTTTTT
---:-- / 45
200

FFFTFFFTFFT(F)FFTF (expected value)

3.85 3.54 3.54 3.10 2.89 3.25 2.90 3.69 1.43 3.54 1.43 0.45 4.33 1.44 3.89 3.54 (confidence rate)

DNF

0
FFFTF???FFT?F?TF
TTTTT---TTT-T-TT
---:-M / 33
FFFTFFFT?FF?F?TF
TTTTTTTT-TX-T-TT
V--:-- / -
F???FF?TF?T?F?T?
T---TT-TT-T-T-T-
---:-- / 24
DNF

0
FFFT?FFT?F??FFTF
TTTT-TTT-T--TTTT
---:-- / 36
FFFT?FFT?F??FFTF
TTTT-TTT-T--TTTT
---:-- / 36
FFFFTTFTTFFFFFFF
TTTXXXTTXTX?TTXT
V--:-- / -
?FFTFFFT?F??F?TF
-TTTTTTT-T--T-TT
---:P- / 33
500

FTFFTFFFFTTTTFTT (expected value)

3.54 2.62 1.44 3.10 3.89 3.41 3.10 1.44 3.54 2.10 3.10 3.54 3.54 2.62 3.10 2.62 (confidence rate)

DNF

0
FT?FTFF?FTTTTFTT
TT-TTTT-TTTTTTTT
---:PM / 42
FT?FTFF?FTTTTFTT
TT-TTTT-TTTTTTTT
---:-- / 42
????TF??????????
----TT----------
---:-- / 6
DNF

0
FTFFTFFFF?TTTFTT
TTTTTTTTT-TTTTTT
---:-- / 45
FTFFTFFFF?TTTFTT
TTTTTTTTT-TTTTTT
---:-- / 45
FFFTFTTFFFFTTTFF
TXTXXXXTTXXTTXXX
V--:-- / -
F??FT?F?FTTTT?T?
T--TT-T-TTTTT-T-
---:-- / 30
GlobalResAllocation (stripped) — Colored
  GreatSPN-Meddly ITS-Tools LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 48 0 0 0 0 0 0 0
Bonuses 0 48 0 0 0 0 0 0 0
Scores 0 0 0 0 0 0 0 0 0
03

(T)(T)? ? ? ? ? (T)? (T)? (T)? (F)(T)? (expected value)

0.64 0.64 0 0 0 0 0 0.64 0 0.64 0 0.64 0 0.64 0.64 0 (confidence rate)

DNC TT?????T?T?T?FT?
????????????????
---:PM / 0
DNC CC

0
????????????F???
--?????-?-?-?--?
-C-:-- / -
DNC DNC DNC DNC
05

(T)(T)? ? ? (F)? ? ? ? ? (T)(T)? ? ? (expected value)

0.64 0.64 0 0 0 0.64 0 0 0 0 0 0.64 0.64 0 0 0 (confidence rate)

DNC TT???F?????TT???
????????????????
---:PM / 0
DNC CC

0
DNF

0
DNC DNC DNC DNC
06

(F)? (T)(F)(F)? ? (F)(F)(T)(T)(F)(T)(F)(T)? (expected value)

0.64 0 0.64 0.64 0.64 0 0 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0 (confidence rate)

DNC F?TFF??FFTTFTFT?
????????????????
---:PM / 0
DNC CC

0
DNF

0
DNC DNC DNC DNC
07

? (F)? ? (F)(T)(T)(F)? (T)(T)(F)? ? ? (T) (expected value)

0 0.64 0 0 0.64 0.64 0.64 0.64 0 0.64 0.64 0.64 0 0 0 0.64 (confidence rate)

DNC ?F??FTTF?TTF???T
????????????????
---:PM / 0
DNC CC

0
DNF

0
DNC DNC DNC DNC
09

? (expected value)

0 (confidence rate)

DNC DNF

0
DNC CC

0
DNF

0
DNC DNC DNC DNC
10

? (expected value)

0 (confidence rate)

DNC DNF

0
DNC CC

0
DNF

0
DNC DNC DNC DNC
11

? (expected value)

0 (confidence rate)

DNC CC

0
DNC CC

0
DNF

0
DNC DNC DNC DNC
GlobalResAllocation (stripped) — P/T
  GreatSPN-Meddly ITS-Tools LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 48 12 48 0 0 54 54 0 48
Bonuses 0 12 0 0 0 6 6 0 0
Scores 48 0 48 0 0 48 48 0 48
03

TFFFTFTTFFTFTTFF (expected value)

4.52 3.08 3.72 3.72 3.72 3.72 3.72 4.52 4.52 3.08 3.72 3.08 3.72 3.08 3.08 3.72 (confidence rate)

TFFFTFTTFFTFTTFF
TTTTTTTTTTTTTTTT
---:-- / 48
TTFFTFTTFTTTTFTF
TXTTTTTTTXTXTXXT
V--:-- / -
TFFFTFTTFFTFTTFF
TTTTTTTTTTTTTTTT
---:-- / 48
TT?T?TFTF???F?TT
TX-X-XXTT---X-XX
V--:-- / -
TFFFTFTTFFTFTTFF
TTTTTTTTTTTTTTTT
-C-:-- / -
TFFFTFTTFFTFTTFF
TTTTTTTTTTTTTTTT
---:P- / 48
TFFFTFTTFFTFTTFF
TTTTTTTTTTTTTTTT
---:-M / 48
DNF

0
TFFFTFTTFFTFTTFF
TTTTTTTTTTTTTTTT
---:-- / 48
05

(T)(T)? ? ? (F)? ? ? ? ? (T)(T)? ? ? (expected value)

0.64 0.64 0 0 0 0.64 0 0 0 0 0 0.64 0.64 0 0 0 (confidence rate)

DNF

0
TT???F?????TT???
????????????????
---:PM / 0
DNF

0
????????????????
--???-?????--???
---:-- / 0
DNF

0
CC

0
CC

0
DNF

0
DNF

0
HouseConstruction (stripped) — P/T
  GreatSPN-Meddly ITS-Tools LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 48 165 444 189 102 366 393 384 378
Bonuses 0 0 60 0 0 0 30 0 6
Scores 48 165 384 189 102 366 363 384 372
002

FTFTFTFTTTTFFFTT (expected value)

5.88 5.24 5.88 5.09 5.88 5.24 4.45 5.24 5.88 5.24 5.24 5.88 5.88 5.88 5.09 5.88 (confidence rate)

FTFTFTFTTTTFFFTT
TTTTTTTTTTTTTTTT
---:-- / 48
FFFTFFTFTFFFFFTT
TXTTTXXXTXXTTTTT
V--:-- / -
FTFTFTFTTTTFFFTT
TTTTTTTTTTTTTTTT
---:-- / 48
FTFFFTTTTTTFFFFT
TTTXTTXTTTTTTTXT
V--:-- / -
FTFTFTFTTTTFFFTT
TTTTTTTTTTTTTTTT
---:-- / 48
FTFTFTFTTTTFFFTT
TTTTTTTTTTTTTTTT
---:-- / 48
FTFTFTFTTTTFFFTT
TTTTTTTTTTTTTTTT
---:-M / 48
FTFTFTFTTTTFFFTT
TTTTTTTTTTTTTTTT
---:-- / 48
FTFTFTFTTTTFFFTT
TTTTTTTTTTTTTTTT
---:P- / 48
005

FFFFFFFTTTTFTFTT (expected value)

5.26 5.26 5.26 5.26 5.26 5.26 5.26 5.26 5.26 5.26 5.26 5.24 5.26 5.26 5.26 5.26 (confidence rate)

TTTTTTTFFFFFFTFF
XXXXXXXXXXXTXXXX
V--:-- / -
FFFFFFFTTTTTTFTT
TTTTTTTTTTTXTTTT
V--:-- / -
FFFFFFFTTTTFTFTT
TTTTTTTTTTTTTTTT
---:-- / 48
FFFFFFFTTTTFTFTT
TTTTTTTTTTTTTTTT
---:-- / 48
FFFFFFFTTTTFTFTT
TTTTTTTTTTTTTTTT
---:-- / 48
FFFFFFFTTTTFTFTT
TTTTTTTTTTTTTTTT
---:-- / 48
FFFFFFFTTTTFTFTT
TTTTTTTTTTTTTTTT
---:PM / 48
FFFFFFFTTTTFTFTT
TTTTTTTTTTTTTTTT
---:-- / 48
FFFFFFFTTTTFTFTT
TTTTTTTTTTTTTTTT
---:-- / 48
010

TTTTFTTTTFFFFTFT (expected value)

5.26 5.26 4.33 4.33 4.33 4.33 4.33 4.33 4.33 4.33 4.33 4.33 4.33 4.48 4.33 4.33 (confidence rate)

FFFFTFFFFTTTTTTF
XXXXXXXXXXXXXTXX
V--:-- / -
TTTTFTTTTFFFFTFT
TTTTTTTTTTTTTTTT
---:-- / 48
TTTTFTTTTFFFFTFT
TTTTTTTTTTTTTTTT
---:-- / 48
TTTTFTTTTFFFFTFT
TTTTTTTTTTTTTTTT
---:-- / 48
TT??????????????
TT--------------
---:-- / 6
TTTTFTTTTFFFFTFT
TTTTTTTTTTTTTTTT
---:-- / 48
TTTTFTTTTFFFFTFT
TTTTTTTTTTTTTTTT
---:PM / 48
TTTTFTTTTFFFFTFT
TTTTTTTTTTTTTTTT
---:-- / 48
TTTTFTTTTFFFF?FT
TTTTTTTTTTTTT-TT
---:-- / 45
020

FFFTTFFTFTFTTFFF (expected value)

4.33 4.33 4.33 4.33 4.33 4.33 4.33 3.84 4.33 4.33 4.33 4.33 4.33 4.33 4.33 4.33 (confidence rate)

TTTFFTTTTFTFFTTT
XXXXXXXTXXXXXXXX
V--:-- / -
FFFTTFFFFTFTTFFF
TTTTTTTXTTTTTTTT
V--:-- / -
FFFTTFFTFTFTTFFF
TTTTTTTTTTTTTTTT
---:PM / 48
FFFTTFFTFTFTTFFF
TTTTTTTTTTTTTTTT
---:-- / 48
DNF

0
FFFTTFFTFTFTTFFF
TTTTTTTTTTTTTTTT
---:-- / 48
FFFTTFFTFTFTTFFF
TTTTTTTTTTTTTTTT
---:-- / 48
FFFTTFFTFTFTTFFF
TTTTTTTTTTTTTTTT
---:-- / 48
FFFTTFF?FTFTTFFF
TTTTTTT-TTTTTTTT
---:-- / 45
050

FTTTFTTTFTTTFFFF (expected value)

4.33 3.54 3.69 2.90 4.33 2.90 3.69 1.90 3.69 3.69 2.90 3.54 4.33 4.33 4.33 4.33 (confidence rate)

TFFFTFFFTFFFTTTT
XXXXXXXXXXXXXXXX
V--:-- / -
FT??F??????TFFFF
TT--T------TTTTT
---:-- / 24
FTTTFTTTFTTTFFFF
TTTTTTTTTTTTTTTT
---:PM / 48
F?T?F?T?FT??FFFF
T-T-T-T-TT--TTTT
---:-- / 30
DNF

0
FTTTFTT?FTTTFFFF
TTTTTTT-TTTTTTTT
---:-- / 45
FTTTFTT?FTTTFFFF
TTTTTTT-TTTTTTTT
---:-- / 45
FTTTFTTTFTTTFFFF
TTTTTTTTTTTTTTTT
---:-- / 48
FTTTFTTTFTTTFFFF
TTTTTTTTTTTTTTTT
---:-- / 48
100

TFFTTTTTTTFFTTTF (expected value)

2.54 3.54 4.33 3.54 3.54 4.33 3.54 3.54 4.33 3.54 3.34 3.54 3.54 3.54 3.54 4.33 (confidence rate)

FTTFFFFFFFTTFFFT
XXXXXXXXXXXXXXXX
V--:-- / -
TFFTTTTTTTFFTTTF
TTTTTTTTTTTTTTTT
---:-- / 48
TFFTTTTTTTFFTTTF
TTTTTTTTTTTTTTTT
---:PM / 48
??F??T??T?F????F
--T--T--T-T----T
---:-- / 15
DNF

0
?FFTTTTTTT?FTTTF
-TTTTTTTTT-TTTTT
---:-- / 42
?FFTTTTTTT?FTTTF
-TTTTTTTTT-TTTTT
---:-- / 42
TFFTTTTTTTFFTTTF
TTTTTTTTTTTTTTTT
---:-- / 48
TFFTTTTTTTFFTTTF
TTTTTTTTTTTTTTTT
---:-- / 48
200

FTFFFFFFFTFTTFFF (expected value)

3.54 3.54 4.33 3.54 3.54 4.33 4.33 4.33 4.33 2.05 3.04 3.54 3.54 4.33 3.34 4.33 (confidence rate)

TFTTTTTTTTTFFTTT
XXXXXXXXXTXXXXXX
V--:-- / -
FTFFFFFFFFFTTFFF
TTTTTTTTTXTTTTTT
V--:-- / -
FTFFFFFFFTFTTFFF
TTTTTTTTTTTTTTTT
---:PM / 48
??F??FFFFF???FFF
--T--TTTTX---TTT
V--:-- / -
DNF

0
FTFFFFFFF?FTTF?F
TTTTTTTTT-TTTT-T
---:-- / 42
FTFFFFFFF??TTF?F
TTTTTTTTT--TTT-T
---:-- / 39
FTFFFFFFFTFTTFFF
TTTTTTTTTTTTTTTT
---:-- / 48
FTFFFFFFF?FTTFFF
TTTTTTTTT-TTTTTT
---:-- / 45
500

FFTFTFTTFFTFFTFF (expected value)

3.54 4.33 2.05 3.54 3.54 4.33 4.33 4.33 4.33 4.33 3.54 3.54 4.33 3.54 3.54 3.54 (confidence rate)

TTTTFTFFTTFTTFTT
XXTXXXXXXXXXXXXX
V--:-- / -
FF?FTFTTFFTFFTFF
TT-TTTTTTTTTTTTT
---:-- / 45
FFTFTFTTFFTFFTFF
TTTTTTTTTTTTTTTT
---:PM / 48
?FF??FTTFF??F???
-TX--TTTTT--T---
V--:-- / -
DNF

0
FF?FTFTTFFTFFTFF
TT-TTTTTTTTTTTTT
---:-- / 45
FF?FTFTTFFTFFTFF
TT-TTTTTTTTTTTTT
---:-- / 45
FFTFTFTTFFTFFTFF
TTTTTTTTTTTTTTTT
---:-- / 48
FF?FTFTTFFTFFTFF
TT-TTTTTTTTTTTTT
---:-- / 45
IBMB2S565S3960 (stripped) — P/T
  GreatSPN-Meddly ITS-Tools LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 27 60 39 0 42 42 0 36
Bonuses 0 0 12 0 0 0 0 0 0
Scores 0 27 48 39 0 42 42 0 36
none

FFTFTFTFFTTTTFFF (expected value)

3.89 3.89 1.98 3.25 3.89 2.62 2.77 2.25 2.46 2.41 3.89 3.89 3.25 3.25 3.89 3.89 (confidence rate)

DNF

0
FF??TF???TTT??FF
TT--TT---TTT--TT
---:-- / 27
FFTFTFTFFTTTTFFF
TTTTTTTTTTTTTTTT
---:PM / 48
FF?FT?TF?TTTTFFF
TT-TT-TT-TTTTTTT
---:-- / 39
DNF

0
FFTFTFT?F?TTTFFF
TTTTTTT-T-TTTTTT
---:-- / 42
FFTFTFT?F?TTTFFF
TTTTTTT-T-TTTTTT
---:-- / 42
CC

0
FF?FT??FF?TTTFFF
TT-TT--TT-TTTTTT
---:-- / 36
Kanban (stripped) — P/T
  GreatSPN-Meddly ITS-Tools LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 204 249 381 33 96 357 345 144 348
Bonuses 12 0 54 0 0 12 0 0 18
Scores 192 249 327 33 96 345 345 144 330
0005

FFTTFFFFFFFTFFTT (expected value)

5.88 5.88 5.88 5.09 5.09 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 (confidence rate)

FFTTFFFFFFFTFFTT
TTTTTTTTTTTTTTTT
---:-- / 48
FFTTFFFFFFFTFFTT
TTTTTTTTTTTTTTTT
---:-- / 48
FFTTFFFFFFFTFFTT
TTTTTTTTTTTTTTTT
---:PM / 48
FFTFTFFFFFFTFFTT
TTTXXTTTTTTTTTTT
V--:-- / -
FFTTFFFFFFFTFFTT
TTTTTTTTTTTTTTTT
---:-- / 48
FFTTFFFFFFFTFFTT
TTTTTTTTTTTTTTTT
---:-- / 48
FFTTFFFFFFFTFFTT
TTTTTTTTTTTTTTTT
---:-- / 48
FFTTFFFFFFFTFFTT
TTTTTTTTTTTTTTTT
---:-- / 48
FFTTFFFFFFFTFFTT
TTTTTTTTTTTTTTTT
---:-- / 48
0010

FFTTFTTTFTFFTTTT (expected value)

5.88 5.88 5.88 5.88 5.88 4.61 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.40 (confidence rate)

FFTTFTTTFTFFTTTT
TTTTTTTTTTTTTTTT
---:-- / 48
FFTTFTTTFTFFTTTT
TTTTTTTTTTTTTTTT
---:-- / 48
FFTTFTTTFTFFTTTT
TTTTTTTTTTTTTTTT
---:PM / 48
FFTTFFTTFTFFTTTT
TTTTTXTTTTTTTTTT
V--:-- / -
FFTTFTTTFTFFTTTT
TTTTTTTTTTTTTTTT
---:-- / 48
FFTTFTTTFTFFTTTT
TTTTTTTTTTTTTTTT
---:-- / 48
FFTTFTTTFTFFTTTT
TTTTTTTTTTTTTTTT
---:-- / 48
FFTTFTTTFTFFTTTT
TTTTTTTTTTTTTTTT
---:-- / 48
FFTTF?TTFTFFTTT?
TTTTT-TTTTTTTTT-
---:-- / 42
0020

FFTFTTTTFFFTFFFF (expected value)

4.95 4.95 4.95 1.70 4.95 4.95 4.95 4.95 4.95 4.95 4.95 4.95 4.95 4.95 4.95 4.03 (confidence rate)

FFTFTTTTFFFTFFFF
TTTTTTTTTTTTTTTT
---:PM / 48
FFTFTTTTFFFTFFFF
TTTTTTTTTTTTTTTT
---:-- / 48
FFT?TTTTFFFTFFFF
TTT-TTTTTTTTTTTT
---:-- / 45
FFTTTTTTFFFTFFFF
TTTXTTTTTTTTTTTT
V--:-- / -
DNF

0
FFT?TTTTFFFTFFFF
TTT-TTTTTTTTTTTT
---:-- / 45
FFT?TTTTFFFTFFFF
TTT-TTTTTTTTTTTT
---:-- / 45
FFTFTTTTFFFTFFFT
TTTTTTTTTTTTTTTX
V--:-- / -
FFT?TTTTFFFTFFF?
TTT-TTTTTTTTTTT-
---:-- / 42
0050

TTTFFTTTTFTFTFFT (expected value)

2.69 3.95 4.95 4.95 4.95 4.95 4.95 4.95 4.95 4.95 4.95 4.95 4.95 4.95 4.95 4.95 (confidence rate)

TTTFFTTTTFTFTFFT
TTTTTTTTTTTTTTTT
---:-- / 48
TTTFFTTTTFTFTFFT
TTTTTTTTTTTTTTTT
---:-- / 48
TTTFFTTTTFTFTFFT
TTTTTTTTTTTTTTTT
---:PM / 48
FTTFFTTTTFTFTFFT
XTTTTTTTTTTTTTTT
V--:-- / -
DNF

0
??TFFTTTTFTFTFFT
--TTTTTTTTTTTTTT
---:-- / 42
??TFFTTTTFTFTFFT
--TTTTTTTTTTTTTT
---:-- / 42
TTTFFTTTTFTFTFFT
TTTTTTTTTTTTTTTT
---:-- / 48
?TTFFTTTTFTFTFFT
-TTTTTTTTTTTTTTT
---:-- / 45
0100

TTF(F)FTTFFFTTFTFF (expected value)

4.33 4.33 3.69 0.45 2.90 1.42 1.98 3.54 3.69 3.69 1.42 1.42 3.69 3.69 3.69 3.69 (confidence rate)

DNF

0
TT?????F????????
TT-----T--------
---:-- / 9
TTF?FTTFFFTTFTFF
TTT-TTTTTTTTTTTT
---:P- / 45
TTF?????FFFFFTFF
TTT-----TTXXTTTT
V--:-- / -
DNF

0
TTF?F?TFFF??FTFF
TTT-T-TTTT--TTTT
---:-- / 36
TTF?F?TFFF??FTFF
TTT-T-TTTT--TTTT
---:-- / 36
TTFFFTFFFFTTFTFF
TTT?TTXTTTTTTTTT
V--:-- / -
TTF?F??FFF??FTFF
TTT-T--TTT--TTTT
---:-M / 33
0200

TTFTFFTTFFFTTFTT (expected value)

3.54 4.33 3.06 3.54 3.69 2.90 1.42 1.42 3.69 3.89 3.69 4.33 3.69 4.33 3.89 4.33 (confidence rate)

DNF

0
TTFT?????F?T?FTT
TTTT-----T-T-TTT
---:-- / 27
TTFTFFTTFFFTTFTT
TTTTTTTTTTTTTTTT
---:PM / 48
?T??F?F?FFFTTFTT
-T--T-X-TTTTTTTT
V--:-- / -
CC

0
TTFTFF??FFFTTFTT
TTTTTT--TTTTTTTT
---:-- / 42
TTFTFF??FFFTTFTT
TTTTTT--TTTTTTTT
---:-- / 42
TTFTFFTTFTFTTFFT
TTTTTTTTTXTTTTXT
V--:-- / -
TT?TFF??FFFTTFTT
TT-TTT--TTTTTTTT
---:-- / 39
0500

FTFTTT(F)FFTFTFFTT (expected value)

3.69 3.85 3.69 2.90 2.90 3.54 0.45 3.25 4.33 4.33 1.90 3.10 2.90 3.54 3.10 2.46 (confidence rate)

DNF

0
?T???T??FT?T?FT?
-T---T--TT-T-TT-
---:-- / 21
FTFTTT?FFTFTFFTT
TTTTTT-TTTTTTTTT
---:-- / 45
FTF????FFT??????
TTT----TTT------
---:-- / 18
CC

0
FTFTTT?FFT?TFFTT
TTTTTT-TTT-TTTTT
---:P- / 42
FTFTTT?FFT?TFFTT
TTTTTT-TTT-TTTTT
---:-- / 42
FTFTTTFTFTFFFFFF
TTTTTT?XTTTXTTXX
V--:-- / -
F?FTTT?FFTFTFFTT
T-TTTT-TTTTTTTTT
---:-M / 42
1000

FTFFFTFTTFTFFTFF (expected value)

3.69 3.10 3.69 3.69 3.54 2.90 1.98 2.90 3.54 4.33 3.54 2.90 3.54 1.43 1.42 2.90 (confidence rate)

DNF

0
?T??F???TFT?FTT?
-T--T---TTT-TTX-
V--:-- / -
FTFFFTFTTFTFFFFF
TTTTTTTTTTTTTXTT
V--:-- / -
F?FF?????F???T??
T-TT-----T---T--
---:-- / 15
CC

0
FTFFFTFTTFTFF??F
TTTTTTTTTTTTT--T
---:P- / 42
FTFFFTFTTFTFF??F
TTTTTTTTTTTTT--T
---:-- / 42
FFFFFTTTTFTFFFFF
TXTTTTXTTTTTTXTT
V--:-- / -
FTFFFT?TTFTFF??F
TTTTTT-TTTTTT--T
---:-M / 39
LamportFastMutEx (stripped) — Colored
  GreatSPN-Meddly ITS-Tools LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 84 0 0 3 0 0 0 0
Bonuses 0 84 0 0 0 0 0 0 0
Scores 0 0 0 0 3 0 0 0 0
2

(F)? ? ? (T)? ? (T)(T)? (T)(T)(F)(F)? (F) (expected value)

0.64 0 0 0 0.64 0 0 0.64 0.64 0 0.64 0.64 0.64 0.64 0 0.64 (confidence rate)

DNC F???T??TT?TTFF?F
????????????????
---:PM / 0
DNC CC

0
??F?T??????F????
-??????--?-X--?-
VC-:-- / -
DNC DNC DNC DNC
3

? ? (F)(T)F? ? ? ? ? ? (T)? ? ? (F) (expected value)

0 0 0.64 0.64 0.92 0 0 0 0 0 0 0.64 0 0 0 0.64 (confidence rate)

DNC ??FT???????T???F
????-???????????
---:PM / 0
DNC CC

0
????F???????????
??--T??????-???-
---:-- / 3
DNC DNC DNC DNC
4

? ? ? (F)(T)? ? ? (T)? (F)? ? ? (F)? (expected value)

0 0 0 0.64 0.64 0 0 0 0.64 0 0.64 0 0 0 0.64 0 (confidence rate)

DNC ???FT???T?F???F?
????????????????
---:PM / 0
DNC CC

0
?????F??????TF??
???--???-?-???-?
-C-:-- / -
DNC DNC DNC DNC
5

? ? ? (F)(T)(F)? ? ? ? (T)(T)? ? (F)? (expected value)

0 0 0 0.64 0.64 0.64 0 0 0 0 0.64 0.64 0 0 0.64 0 (confidence rate)

DNC ???FTF????TT??F?
????????????????
---:PM / 0
DNC CC

0
DNF

0
DNC DNC DNC DNC
6

? ? ? ? ? (F)? ? ? ? ? (F)? ? (F)? (expected value)

0 0 0 0 0 0.64 0 0 0 0 0 0.64 0 0 0.64 0 (confidence rate)

DNC ?????F?????F??F?
????????????????
---:PM / 0
DNC CC

0
DNF

0
DNC DNC DNC DNC
7

? ? (F)? (F)? ? ? ? ? ? ? (T)? (F)? (expected value)

0 0 0.64 0 0.64 0 0 0 0 0 0 0 0.64 0 0.64 0 (confidence rate)

DNC ??F?F???????T?F?
????????????????
---:PM / 0
DNC CC

0
DNF

0
DNC DNC DNC DNC
8

? ? (T)? ? ? ? ? ? ? (F)? ? (F)? ? (expected value)

0 0 0.64 0 0 0 0 0 0 0 0.64 0 0 0.64 0 0 (confidence rate)

DNC ??T???????F??F??
????????????????
---:PM / 0
DNC CC

0
DNF

0
DNC DNC DNC DNC
LamportFastMutEx (stripped) — P/T
  GreatSPN-Meddly ITS-Tools LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 96 0 360 0 48 234 255 150 180
Bonuses 0 0 48 0 0 0 24 6 6
Scores 96 0 312 0 48 234 231 144 174
2

FTFFTTFTTFTTFFTT (expected value)

4.31 4.31 4.31 4.31 4.31 4.31 4.31 3.52 4.31 4.31 4.31 4.31 4.31 4.31 4.31 4.31 (confidence rate)

FTFFTTFTTFTTFFTT
TTTTTTTTTTTTTTTT
---:-- / 48
CC

0
FTFFTTFTTFTTFFTT
TTTTTTTTTTTTTTTT
---:-- / 48
FTFFTTFFTFTTFFTT
TTTTTTTXTTTTTTTT
V--:-- / -
FTFFTTFTTFTTFFTT
TTTTTTTTTTTTTTTT
-C-:-- / -
FTFFTTFTTFTTFFTT
TTTTTTTTTTTTTTTT
---:-- / 48
FTFFTTFTTFTTFFTT
TTTTTTTTTTTTTTTT
---:-- / 48
FTFFTTFTTFTTFFTT
TTTTTTTTTTTTTTTT
---:-M / 48
FTFFTTFTTFTTFFTT
TTTTTTTTTTTTTTTT
---:P- / 48
3

TTFFFTTFTTTFTTFF (expected value)

4.45 5.24 5.24 4.45 5.24 5.24 4.45 5.24 5.24 5.24 5.24 4.45 5.24 5.24 5.24 5.24 (confidence rate)

TTFFFTTFTTTFTTFF
TTTTTTTTTTTTTTTT
---:-- / 48
CC

0
TTFFFTTFTTTFTTFF
TTTTTTTTTTTTTTTT
---:PM / 48
FTFTFTFFTTTTTTFF
XTTXTTXTTTTXTTTT
V--:-- / -
TTFFFTTFTTTFTTFF
TTTTTTTTTTTTTTTT
---:-- / 48
TTFFFTTFTTTFTTFF
TTTTTTTTTTTTTTTT
---:-- / 48
TTFFFTTFTTTFTTFF
TTTTTTTTTTTTTTTT
---:-- / 48
TTFFFTTFTTTFTTFF
TTTTTTTTTTTTTTTT
---:-- / 48
TTFFFTTFTTTFTTFF
TTTTTTTTTTTTTTTT
---:-- / 48
4

FTTFTTTTFTFFFFFF (expected value)

3.69 2.90 3.69 3.69 3.69 2.70 3.69 2.70 1.90 2.90 3.69 3.69 3.69 3.69 3.69 2.70 (confidence rate)

DNF

0
CC

0
FTTFTTTTFTFFFFFF
TTTTTTTTTTTTTTTT
---:PM / 48
FFTFTTTTTFFFFFFF
TXTTTTTTXXTTTTTT
V--:-- / -
FTT?????FTFFFFFF
TTT-----TTTTTTTT
-C-:-- / -
FTTFT?T??TFFFFF?
TTTTT-T--TTTTTT-
---:-- / 36
FTTFT?T??TFFFFF?
TTTTT-T--TTTTTT-
---:-- / 36
FTTFTTTTFTFFFFFF
TTTTTTTTTTTTTTTT
---:-- / 48
FTTFTTTTFTFFFFFF
TTTTTTTTTTTTTTTT
---:-- / 48
5

TTTFFFFTTTF(T)TTFF (expected value)

1.98 0.98 0.98 2.77 0.98 2.77 2.77 0.98 0.98 1.98 0.98 0.79 0.98 0.98 2.77 2.77 (confidence rate)

DNF

0
CC

0
TTTFFFFTTTF?TTFF
TTTTTTTTTTT-TTTT
---:P- / 45
???F?FF????TFFFF
---T-TT----?XXTT
V--:-- / -
DNF

0
T??F?FF??T????FF
T--T-TT--T----TT
---:-- / 21
T??F?FF??T????FF
T--T-TT--T----TT
---:-M / 21
DNF

0
DNF

0
6

FFFTTFTT(F)FF? FTF? (expected value)

2.25 0.98 3.25 3.25 3.25 3.25 2.75 0.98 0.79 1.77 3.25 0 3.25 2.25 3.25 0 (confidence rate)

DNF

0
CC

0
FFFTTFTT?FF?FTF?
TTTTTTTT-TT?TTT?
---:P- / 39
F?FTTFTFFFF?FTF?
T-TTTTTX?TT?TTT?
V--:-- / -
DNF

0
??FTTFT???F?F?F?
--TTTTT---T?T-T?
---:-- / 24
??FTTF????F?F?F?
--TTTT----T?T-T?
---:-M / 21
DNF

0
F?FTTFT???F?FTF?
T-TTTTT---T?TTT?
---:-- / 30
7

FFF? FTFTTFF? TTFF (expected value)

1.98 0.98 2.77 0 2.77 2.77 0.98 0.98 1.98 2.77 2.77 0 2.77 2.77 2.77 0.98 (confidence rate)

DNF

0
CC

0
FFF?FTFTTFF?TTFF
TTT?TTTTTTT?TTTT
---:P- / 42
??F?FT?F?FF?TTFT
--T?TT-X-TT?TTTX
V--:-- / -
DNF

0
F?F?FT??TFF?TTF?
T-T?TT--TTT?TTT-
---:-- / 30
F?F?FT??TFF?TTF?
T-T?TT--TTT?TTT-
---:-M / 30
DNF

0
DNF

0
8

FFTT? TFFTT? FFFFF (expected value)

0.98 2.77 2.77 0.98 0 1.98 1.98 1.98 1.98 0.98 0 0.98 0.98 2.77 2.77 2.77 (confidence rate)

DNF

0
CC

0
FFTT?TFFTT?FFFFF
TTTT?TTTTT?TTTTT
---:P- / 42
?FT??????F??TFFF
-TT-?----X?-XTTT
V--:-- / -
DNF

0
?FT??TFFT????FFF
-TT-?TTTT-?--TTT
---:-- / 27
?FT??TFFT????FFF
-TT-?TTTT-?--TTT
---:-M / 27
DNF

0
DNF

0
MAPK (stripped) — P/T
  GreatSPN-Meddly ITS-Tools LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 48 177 309 192 48 270 258 48 228
Bonuses 0 12 30 6 0 12 0 0 12
Scores 48 165 279 186 48 258 258 48 216
008

TTTFFTFFTFFFTTFF (expected value)

5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 (confidence rate)

TTTFFTFFTFFFTTFF
TTTTTTTTTTTTTTTT
---:-- / 48
TTTFFTFFTFFFTTFF
TTTTTTTTTTTTTTTT
---:-- / 48
TTTFFTFFTFFFTTFF
TTTTTTTTTTTTTTTT
---:PM / 48
TTTFFTFFTFFFTTFF
TTTTTTTTTTTTTTTT
---:-- / 48
TTTFFTFFTFFFTTFF
TTTTTTTTTTTTTTTT
---:-- / 48
TTTFFTFFTFFFTTFF
TTTTTTTTTTTTTTTT
---:-- / 48
TTTFFTFFTFFFTTFF
TTTTTTTTTTTTTTTT
---:-- / 48
TTTFFTFFTFFFTTFF
TTTTTTTTTTTTTTTT
---:-- / 48
TTTFFTFFTFFFTTFF
TTTTTTTTTTTTTTTT
---:-- / 48
020

FTFTTFFTTTTFFFFT (expected value)

4.33 4.33 4.33 4.33 3.41 1.88 4.33 2.85 4.33 4.33 4.33 4.33 4.33 4.33 3.89 4.33 (confidence rate)

DNF

0
FTFTTFFTTTTFFFFT
TTTTTTTTTTTTTTTT
---:-M / 48
FTFTT?FTTTTFFFFT
TTTTT-TTTTTTTTTT
---:-- / 45
FTFTTFFTTTTFFFFT
TTTTTTTTTTTTTTTT
---:P- / 48
DNF

0
FTFTT?F?TTTFFFFT
TTTTT-T-TTTTTTTT
---:-- / 42
FTFTT?F?TTTFFFFT
TTTTT-T-TTTTTTTT
---:-- / 42
FTFTFFFTTTTFFFTT
TTTTXTTTTTTTTTXT
V--:-- / -
FTFT??F?TTTFFFFT
TTTT--T-TTTTTTTT
---:-- / 39
040

TTTFFTFTTTFFFTFT (expected value)

3.25 3.69 2.89 4.33 4.33 3.69 3.25 3.69 3.69 3.41 3.69 3.69 3.25 3.54 3.89 4.33 (confidence rate)

DNF

0
??TFF????T???TFT
--TTT----T---TTT
---:-M / 21
TTTFFTFTTTFFFTFT
TTTTTTTTTTTTTTTT
---:P- / 48
TTTFFTFTTTFFFFFT
TTTTTTTTTTTTTXTT
V--:-- / -
DNF

0
TT?FFTFTTTFFFTFT
TT-TTTTTTTTTTTTT
---:-- / 45
TT?FFTFTTTFFFTFT
TT-TTTTTTTTTTTTT
---:-- / 45
FTFFFTTTTFFFTTTT
XTXTTTXTTXTTXTXT
V--:-- / -
TTTFFTFTT?FFFTFT
TTTTTTTTT-TTTTTT
---:-- / 45
080

FTFTTFTTTTFTTFTT (expected value)

4.33 3.41 2.70 3.89 2.89 3.69 3.69 4.33 3.21 3.89 2.77 3.25 2.77 3.69 3.25 3.25 (confidence rate)

DNF

0
FT?TT??T?T??????
TT-TT--T-T------
---:-- / 18
FTFTTFTTTTFTTFTT
TTTTTTTTTTTTTTTT
---:PM / 48
FTFTTFTTTTFTTFTT
TTTTTTTTTTTTTTTT
---:-- / 48
DNF

0
FT?T?FTTTTFTTFTT
TT-T-TTTTTTTTTTT
---:-- / 42
FT?T?FTTTTFTTFTT
TT-T-TTTTTTTTTTT
---:-- / 42
FFFFFFTTTFTFFFFF
TXTXXTTTTXXXXTXX
V--:-- / -
F?FTTFTT?T?T?FTT
T-TTTTTT-T-T-TTT
---:-- / 36
160

TFFTTTTFFFTTFFTT (expected value)

2.42 3.21 3.21 3.10 2.46 4.33 1.43 3.69 3.69 3.69 2.10 3.69 3.69 2.77 3.10 3.25 (confidence rate)

DNF

0
???T?TT???T???T?
---T-TT---T---T-
---:-- / 15
TFFTTT?FFFTTFFTT
TTTTTT-TTTTTTTTT
---:-- / 45
?FF??TTFFF?TFF?T
-TT--TTTTT-TTT-T
---:-- / 33
DNF

0
TFFTTT?FFF?TFFTT
TTTTTT-TTT-TTTTT
---:P- / 42
TFFTTT?FFF?TFFTT
TTTTTT-TTT-TTTTT
---:-- / 42
TFFFFTFFFFFTFTFF
TTTXXTXTTTXTTXXX
V--:-- / -
???TTT?FFFTTF?TT
---TTT-TTTTTT-TT
---:-M / 33
320

FTTFTFTFFFTFFTT(F) (expected value)

1.98 2.21 2.42 2.77 3.10 2.46 3.10 1.98 1.98 1.98 1.42 3.06 3.89 1.98 3.10 0.64 (confidence rate)

DNF

0
????T?T????FF?TF
----T-T----TT-T?
---:-- / 15
FTTFTFTFFFTFFTT?
TTTTTTTTTTTTTTT-
---:-- / 45
?T?F????????F???
-T-T--------T---
---:-- / 9
DNF

0
F?TFTFTFFF?FFTT?
T-TTTTTTTT-TTTT-
---:P- / 39
F?TFTFTFFF?FFTT?
T-TTTTTTTT-TTTT-
---:-- / 39
TTTTFTFTTTTFTFFT
XTTXXXXXXXTTXXXX
V--:-- / -
????TFT?????F?T?
----TTT-----T-T-
---:-M / 15
MultiwaySync (stripped) — P/T
  GreatSPN-Meddly ITS-Tools LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 0 9 51 0 18 18 0 0
Bonuses 0 0 6 6 0 0 0 0 0
Scores 0 0 3 45 0 18 18 0 0
none

FFF(F)FFFTFFTTFFFF (expected value)

2.39 2.41 2.41 0.79 2.41 2.41 1.41 1.41 1.41 1.41 1.41 1.41 1.41 2.41 2.41 1.41 (confidence rate)

FFFTFFFTFFTTFFFF
TTTXTTTTTTTTTTTT
V--:-- / -
???????????F????
-----------X----
V--:-- / -
F???????????????
T---------------
---:-M / 3
FFFFFFFTFFTTFFFF
TTT?TTTTTTTTTTTT
---:P- / 45
DNF

0
?FF?FF???????FF?
-TT-TT-------TT-
---:-- / 18
?FF?FF???????FF?
-TT-TT-------TT-
---:-- / 18
DNF

0
DNF

0
NeoElection (stripped) — Colored
  GreatSPN-Meddly ITS-Tools LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 48 0 0 0 0 0 0 0
Bonuses 0 48 0 0 0 0 0 0 0
Scores 0 0 0 0 0 0 0 0 0
2

(F)? ? (T)(T)? ? ? (F)(T)(T)? ? (T)(F)? (expected value)

0.64 0 0 0.64 0.64 0 0 0 0.64 0.64 0.64 0 0 0.64 0.64 0 (confidence rate)

CC

0
F??TT???FTT??TF?
????????????????
---:PM / 0
DNC CC

0
??TF???F??????F?
-??X-???---??-??
VC-:-- / -
DNC DNC DNC DNC
3

? ? ? (T)? ? ? ? ? ? ? ? ? ? (T)? (expected value)

0 0 0 0.64 0 0 0 0 0 0 0 0 0 0 0.64 0 (confidence rate)

CC

0
???T??????????T?
????????????????
---:PM / 0
DNC CC

0
??????F????FFF??
???-??????????-?
-C-:-- / -
DNC DNC DNC DNC
4

? (T)(T)? (F)? (F)(T)? (F)? ? ? ? ? ? (expected value)

0 0.64 0.64 0 0.64 0 0.64 0.64 0 0.64 0 0 0 0 0 0 (confidence rate)

CC

0
?TT?F?FT?F??????
????????????????
---:PM / 0
DNC CC

0
DNF

0
DNC DNC DNC DNC
5

? (F)? ? ? ? ? ? (F)? ? ? ? (T)? ? (expected value)

0 0.64 0 0 0 0 0 0 0.64 0 0 0 0 0.64 0 0 (confidence rate)

CC

0
?F??????F????T??
????????????????
---:PM / 0
DNC CC

0
DNF

0
DNC DNC DNC DNC
6

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNC CC

0
DNF

0
DNC DNC DNC DNC
7

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNC CC

0
DNF

0
DNC DNC DNC DNC
8

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNC CC

0
DNF

0
DNC DNC DNC DNC
NeoElection (stripped) — P/T
  GreatSPN-Meddly ITS-Tools LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 60 0 105 39 0 120 126 0 54
Bonuses 12 0 12 12 0 0 18 0 6
Scores 48 0 93 27 0 120 108 0 48
2

FFFTFTFTFTTFTFFT (expected value)

3.25 3.25 3.25 3.25 3.25 3.25 3.25 3.25 3.25 2.46 3.25 3.25 3.25 3.25 3.25 3.25 (confidence rate)

DNF

0
CC

0
FFFTFTFTFTTFTFFT
TTTTTTTTTTTTTTTT
---:-M / 48
FFFTFTFTFFTFTFFT
TTTTTTTTTXTTTTTT
V--:-- / -
FFFTFTFTFTTFTFFT
TTTTTTTTTTTTTTTT
-C-:-- / -
FFFTFTFTFTTFTFFT
TTTTTTTTTTTTTTTT
---:-- / 48
FFFTFTFTFTTFTFFT
TTTTTTTTTTTTTTTT
---:-- / 48
DNF

0
FFFTFTFTFTTFTFFT
TTTTTTTTTTTTTTTT
---:P- / 48
3

TFTFFTTTTFFTTFFF (expected value)

3.39 1.91 2.60 1.60 3.39 3.39 3.39 1.63 1.13 3.39 1.91 2.41 2.41 3.39 2.89 3.39 (confidence rate)

TFTFFTTTTFFTTFFF
TTTTTTTTTTTTTTTT
---:PM / 48
CC

0
TTTFFTT??F???FFF
TXTTTTT--T---TTT
V--:-- / -
TFFTFTTFFFFTTFFF
TTXXTTTXXTTTTTTT
V--:-- / -
TFTFFTTTTFFTTFFF
TTTTTTTTTTTTTTTT
-C-:-- / -
TFT?FTTTTFFTTFFF
TTT-TTTTTTTTTTTT
---:-- / 45
T?T?FTTT?F?TTF?F
T-T-TTTT-T-TTT-T
---:-- / 33
DNF

0
DNF

0
4

(F)FT(F)F(T)(T)(F)F(T)TF(F)(T)(F)(F) (expected value)

0.79 1.77 2.77 0.79 1.79 0.79 0.79 0.79 1.77 0.79 1.77 1.77 0.79 0.79 0.79 0.79 (confidence rate)

DNF

0
CC

0
?FT?????F?TF????
-TT-----T-TT----
---:-- / 15
FFTFFTTFFTTFFTFF
?TT?T???T?TT????
---:P- / 18
DNF

0
??T?F???????????
--T-T-----------
---:-- / 6
??T?F???????????
--T-T-----------
---:-M / 6
DNF

0
DNF

0
5

FT? TFT(F)(F)T? F? (F)FT? (expected value)

0.98 0.98 0 0.98 1.79 1.79 0.79 0.79 0.98 0 0.98 0 0.79 0.98 2.77 0 (confidence rate)

DNF

0
CC

0
FT?T????T?F??FT?
TT?T----T?T?-TT?
---:P- / 21
????FTFF????F?T?
--?-TT??-?-??-T?
---:-- / 9
DNF

0
????FT????????T?
--?-TT---?-?--T?
---:-- / 9
????FT????????T?
--?-TT---?-?--T?
---:-M / 9
DNF

0
DNF

0
6

TF? T? ? ? ? F(F)(T)? ? T? ? (expected value)

0.98 1.98 0 1.00 0 0 0 0 1.98 0.79 0.50 0 0 1.00 0 0 (confidence rate)

CC

0
CC

0
TF??????F???????
TT?-????T--??-??
---:-- / 9
?????????F??????
--?-????-?-??-??
---:P- / 0
DNF

0
?F?T????F?T??T??
-T?T????T-???T??
---:-- / 12
?F?T????F????T??
-T?T????T--??T??
---:-M / 12
DNF

0
DNF

0
7

? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? (expected value)

0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 (confidence rate)

DNF

0
CC

0
????????????????
????????????????
---:-- / 0
????????????????
????????????????
---:-- / 0
DNF

0
CC

0
????????????????
????????????????
---:-- / 0
DNF

0
DNF

0
8

? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? (expected value)

0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 (confidence rate)

CC

0
CC

0
????????????????
????????????????
---:-- / 0
????????????????
????????????????
---:-- / 0
DNF

0
CC

0
????????????????
????????????????
---:-- / 0
DNF

0
DNF

0
ParamProductionCell (stripped) — P/T
  GreatSPN-Meddly ITS-Tools LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 288 54 354 0 288 288 270 240 276
Bonuses 0 6 66 0 0 0 0 0 0
Scores 288 48 288 0 288 288 270 240 276
0

TFFFTFFFFTTFFTFF (expected value)

5.24 5.88 5.88 5.88 5.09 5.88 5.88 5.88 5.88 5.88 5.24 5.88 5.88 5.88 5.88 5.88 (confidence rate)

TFFFTFFFFTTFFTFF
TTTTTTTTTTTTTTTT
---:-- / 48
FFFFTFFFFTFFFTFF
XTTTTTTTTTXTTTTT
V--:-- / -
TFFFTFFFFTTFFTFF
TTTTTTTTTTTTTTTT
---:PM / 48
TFFFFFFFFTTFFTFF
TTTTXTTTTTTTTTTT
V--:-- / -
TFFFTFFFFTTFFTFF
TTTTTTTTTTTTTTTT
---:-- / 48
TFFFTFFFFTTFFTFF
TTTTTTTTTTTTTTTT
---:-- / 48
TFFFTFFFFTTFFTFF
TTTTTTTTTTTTTTTT
---:-- / 48
TFFFTFFFFTTFFTFF
TTTTTTTTTTTTTTTT
---:-- / 48
TFFFTFFFFTTFFTFF
TTTTTTTTTTTTTTTT
---:-- / 48
1

TFTFTTFTTFFFTFFF (expected value)

5.24 5.88 5.09 5.88 5.24 5.24 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 (confidence rate)

TFTFTTFTTFFFTFFF
TTTTTTTTTTTTTTTT
---:-- / 48
FFTFFFFTTFFFTFFF
XTTTXXTTTTTTTTTT
V--:-- / -
TFTFTTFTTFFFTFFF
TTTTTTTTTTTTTTTT
---:PM / 48
TFFFTTFTTFFFTFFF
TTXTTTTTTTTTTTTT
V--:-- / -
TFTFTTFTTFFFTFFF
TTTTTTTTTTTTTTTT
---:-- / 48
TFTFTTFTTFFFTFFF
TTTTTTTTTTTTTTTT
---:-- / 48
TFTFTTFTTFFFTFFF
TTTTTTTTTTTTTTTT
---:-- / 48
TFTFTTFTTFFFTFFF
TTTTTTTTTTTTTTTT
---:-- / 48
TFTFTTFTTFFFTFFF
TTTTTTTTTTTTTTTT
---:-- / 48
2

TTTTFTFTTTTTTFFF (expected value)

5.09 5.24 5.88 5.09 5.88 5.24 5.88 5.24 5.88 5.24 5.24 5.09 5.09 5.88 5.88 5.88 (confidence rate)

TTTTFTFTTTTTTFFF
TTTTTTTTTTTTTTTT
---:-- / 48
TFTTFFFFTFFTTFFF
TXTTTXTXTXXTTTTT
V--:-- / -
TTTTFTFTTTTTTFFF
TTTTTTTTTTTTTTTT
---:PM / 48
FTTFFTFTTTTFFFFF
XTTXTTTTTTTXXTTT
V--:-- / -
TTTTFTFTTTTTTFFF
TTTTTTTTTTTTTTTT
---:-- / 48
TTTTFTFTTTTTTFFF
TTTTTTTTTTTTTTTT
---:-- / 48
TTTTFTFTTTTTTFFF
TTTTTTTTTTTTTTTT
---:-- / 48
TTTTFTFTTTTTTFFF
TTTTTTTTTTTTTTTT
---:-- / 48
TTTTFTFTTTTTTFFF
TTTTTTTTTTTTTTTT
---:-- / 48
3

FFFTFFTFFTFFFTTF (expected value)

5.88 5.88 5.88 5.88 5.09 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.09 5.88 (confidence rate)

FFFTFFTFFTFFFTTF
TTTTTTTTTTTTTTTT
---:-- / 48
FFFTFFTFFTFFFTTF
TTTTTTTTTTTTTTTT
---:P- / 48
FFFTFFTFFTFFFTTF
TTTTTTTTTTTTTTTT
---:-M / 48
FFFTTFTFFTFFFTFF
TTTTXTTTTTTTTTXT
V--:-- / -
FFFTFFTFFTFFFTTF
TTTTTTTTTTTTTTTT
---:-- / 48
FFFTFFTFFTFFFTTF
TTTTTTTTTTTTTTTT
---:-- / 48
FFFTFFTFFTFFFTTF
TTTTTTTTTTTTTTTT
---:-- / 48
FFFTFFTFFTFFFTTF
TTTTTTTTTTTTTTTT
---:-- / 48
FFFTFFTFFTFFFTTF
TTTTTTTTTTTTTTTT
---:-- / 48
4

FFFFTFFTTTTFFFTF (expected value)

4.95 5.44 5.44 5.44 5.44 5.44 5.44 5.44 5.44 5.44 3.81 5.44 4.95 3.66 4.65 5.44 (confidence rate)

FFFFTFFTTTTFFFTF
TTTTTTTTTTTTTTTT
---:-- / 48
FFFFTFFTTTFFFFTF
TTTTTTTTTTXTTTTT
V--:-- / -
FFFFTFFTTTTFFFTF
TTTTTTTTTTTTTTTT
---:PM / 48
FFFFTFFTTTTFFTFF
TTTTTTTTTTTTTXXT
V--:-- / -
FFFFTFFTTTTFFFTF
TTTTTTTTTTTTTTTT
---:-- / 48
FFFFTFFTTTTFFFTF
TTTTTTTTTTTTTTTT
---:-- / 48
FFFFTFFTTT?FF?TF
TTTTTTTTTT-TT-TT
---:-- / 42
DNF

0
?FFFTFFTTT?F??TF
-TTTTTTTTT-T--TT
---:-- / 36
5

TTTTFFTTTFTTTFFT (expected value)

4.74 4.45 4.59 5.88 5.88 5.88 5.88 4.74 5.88 5.88 5.88 5.88 5.09 5.88 5.88 4.59 (confidence rate)

TTTTFFTTTFTTTFFT
TTTTTTTTTTTTTTTT
---:-- / 48
FFTTFFTFTFTTTFFT
XXTTTTTXTTTTTTTT
V--:-- / -
TTTTFFTTTFTTTFFT
TTTTTTTTTTTTTTTT
---:PM / 48
TFFTFFTTTFTTFFFF
TXXTTTTTTTTTXTTX
V--:-- / -
TTTTFFTTTFTTTFFT
TTTTTTTTTTTTTTTT
---:-- / 48
TTTTFFTTTFTTTFFT
TTTTTTTTTTTTTTTT
---:-- / 48
?T?TFFT?TFTTTFF?
-T-TTTT-TTTTTTT-
---:-- / 36
TTTTFFTTTFTTTFFT
TTTTTTTTTTTTTTTT
---:-- / 48
TTTTFFTTTFTTTFFT
TTTTTTTTTTTTTTTT
---:-- / 48
PermAdmissibility (stripped) — Colored
  GreatSPN-Meddly ITS-Tools LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 75 0 0 3 0 0 0 0
Bonuses 0 72 0 0 0 0 0 0 0
Scores 0 3 0 0 3 0 0 0 0
01

? (F)? ? ? ? ? (T)T? ? ? ? ? ? ? (expected value)

0 0.64 0 0 0 0 0 0.64 1.56 0 0 0 0 0 0 0 (confidence rate)

DNC ?F?????TT???????
????????T???????
---:PM / 3
DNC CC

0
????????T???????
?-?????-T???????
---:-- / 3
DNC DNC DNC DNC
02

(T)(T)? (F)? ? ? ? ? ? (F)(T)? ? ? ? (expected value)

0.64 0.64 0 0.64 0 0 0 0 0 0 0.64 0.64 0 0 0 0 (confidence rate)

DNC TT?F??????FT????
????????????????
---:PM / 0
DNC CC

0
DNF

0
DNC DNC DNC DNC
05

(T)(T)(F)? ? ? (F)? ? (F)(F)(T)? ? ? ? (expected value)

0.64 0.64 0.64 0 0 0 0.64 0 0 0.64 0.64 0.64 0 0 0 0 (confidence rate)

DNC TTF???F??FFT????
????????????????
---:PM / 0
DNC CC

0
DNF

0
DNC DNC DNC DNC
10

(F)? ? ? (F)(F)(T)? ? ? (T)? ? ? (T)? (expected value)

0.64 0 0 0 0.64 0.64 0.64 0 0 0 0.64 0 0 0 0.64 0 (confidence rate)

DNC F???FFT???T???T?
????????????????
---:PM / 0
DNC CC

0
DNF

0
DNC DNC DNC DNC
20

(F)? ? ? (F)(F)(F)? ? (T)? (F)? ? ? ? (expected value)

0.64 0 0 0 0.64 0.64 0.64 0 0 0.64 0 0.64 0 0 0 0 (confidence rate)

DNC F???FFF??T?F????
????????????????
---:PM / 0
DNC CC

0
DNF

0
DNC DNC DNC DNC
50

(T)(T)(T)(T)(F)? ? (F)(F)(T)? ? (T)(T)? ? (expected value)

0.64 0.64 0.64 0.64 0.64 0 0 0.64 0.64 0.64 0 0 0.64 0.64 0 0 (confidence rate)

DNC TTTTF??FFT??TT??
????????????????
---:PM / 0
DNC CC

0
DNF

0
DNC DNC DNC DNC
PermAdmissibility (stripped) — P/T
  GreatSPN-Meddly ITS-Tools LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 48 132 309 51 48 225 219 48 48
Bonuses 0 6 48 0 0 12 6 0 0
Scores 48 126 261 51 48 213 213 48 48
01

FTTFFFTFTFTFFTFF (expected value)

5.88 5.24 5.88 5.88 5.88 5.88 5.09 4.45 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 (confidence rate)

FTTFFFTFTFTFFTFF
TTTTTTTTTTTTTTTT
---:-- / 48
FFTFFFTTTFTFFTFF
TXTTTTTXTTTTTTTT
V--:-- / -
FTTFFFTFTFTFFTFF
TTTTTTTTTTTTTTTT
---:PM / 48
FTTFFFFTTFTFFTFF
TTTTTTXXTTTTTTTT
V--:-- / -
FTTFFFTFTFTFFTFF
TTTTTTTTTTTTTTTT
---:-- / 48
FTTFFFTFTFTFFTFF
TTTTTTTTTTTTTTTT
---:-- / 48
FTTFFFTFTFTFFTFF
TTTTTTTTTTTTTTTT
---:-- / 48
FTTFFFTFTFTFFTFF
TTTTTTTTTTTTTTTT
---:-- / 48
FTTFFFTFTFTFFTFF
TTTTTTTTTTTTTTTT
---:-- / 48
02

TT? TTF(F)TTTFTTTF? (expected value)

2.62 2.41 0 0.98 0.98 2.77 0.79 1.98 1.98 0.98 3.41 3.41 1.98 0.98 3.41 0 (confidence rate)

DNF

0
TT????????FT??F?
TT?-------TT--T?
---:P- / 15
TT?TTF?TTTFTTTF?
TT?TTT-TTTTTTTT?
---:-- / 39
?T??FFF??FFT?FF?
-T?-XT?--XTT-XT?
V--:-- / -
DNF

0
T????F?TT?FTT?F?
T-?--T-TT-TTT-T?
---:-- / 24
T????F?TT?FTT?F?
T-?--T-TT-TTT-T?
---:-M / 24
DNF

0
DNF

0
05

TTF(F)FT(T)FFFFTTTFF (expected value)

1.62 3.41 3.41 0.79 2.77 1.98 0.63 2.62 1.77 2.62 2.62 3.41 2.62 0.98 1.98 3.41 (confidence rate)

FFTTTFTTTTTFFFTT
XXXXXX?XXXXXXXXX
V--:-- / -
TTF????F?FFTT??F
TTT----T-TTTT--T
---:-- / 27
TTF?FT?FFFFTTTFF
TTT-TT-TTTTTTTTT
---:PM / 42
?TFFF???F??T???F
-TT?T---T--T---T
---:-- / 18
DNF

0
?TF?FT?F?FFTT?FF
-TT-TT-T-TTTT-TT
---:-- / 33
?TF?FT?F?FFTT?FF
-TT-TT-T-TTTT-TT
---:-- / 33
DNF

0
DNF

0
10

FFTTFFTFTFTTTTTT (expected value)

3.41 1.98 1.62 1.00 2.62 3.41 2.62 1.98 1.98 1.98 2.62 0.98 1.98 2.62 3.41 1.98 (confidence rate)

TTFFTTFTFTFFFFFF
XXXXXXXXXXXXXXXX
V--:-- / -
F?T?FFT???T??TT?
T-T-TTT---T--TT-
---:-- / 24
FFT?FFTFTFTTTTTT
TTT-TTTTTTTTTTTT
---:-M / 45
F????F????????T?
T----T--------T-
---:-- / 9
DNF

0
FF?TFFTFTFT?TTTT
TT-TTTTTTTT-TTTT
---:P- / 42
FF?TFFTFTFT?TTTT
TT-TTTTTTTT-TTTT
---:-- / 42
DNF

0
DNF

0
20

FTTTFFFFTTFFTFTT (expected value)

2.41 2.62 1.00 3.41 2.62 2.62 1.62 3.41 2.62 3.41 2.41 1.62 1.98 2.77 1.98 0.98 (confidence rate)

TFFFTTTTFFTTFTFF
XXXXXXXXXXXXXXXX
V--:-- / -
FT?TFFFFTTFF????
TT-TTTTTTTTT----
---:-- / 33
FT?TFFFFTTFFTFTT
TT-TTTTTTTTTTTTT
---:PM / 45
F??T???F?TF??F??
T--T---T-TT--T--
---:-- / 18
DNF

0
?TTTFF?FTT??TFT?
-TTTTT-TTT--TTT-
---:-- / 33
?TTTFF?FTT??TFT?
-TTTTT-TTT--TTT-
---:-- / 33
DNF

0
DNF

0
50

TTTTFTTFFT(F)(F)TTTF (expected value)

2.62 2.62 2.62 2.62 2.62 1.98 1.98 1.77 1.62 2.41 0.63 0.79 2.62 2.62 1.98 1.98 (confidence rate)

FFFFTFFTTFFTFFFT
XXXXXXXXXX?XXXXX
V--:-- / -
TTTTF???FT??TT??
TTTTT---TT--TT--
---:-- / 27
TTTTFTTFFT??TTTF
TTTTTTTTTT--TTTT
---:-M / 42
???????F?T?F????
-------T-T-?----
---:-- / 6
DNF

0
TTTTFTT?????TTTF
TTTTTTT-----TTTT
---:P- / 33
TTTTFTT?????TTTF
TTTTTTT-----TTTT
---:-- / 33
DNF

0
DNF

0
Peterson (stripped) — Colored
  GreatSPN-Meddly ITS-Tools LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 72 0 0 0 0 0 0 0
Bonuses 0 72 0 0 0 0 0 0 0
Scores 0 0 0 0 0 0 0 0 0
2

(T)? ? ? ? (T)? ? ? ? (T)? ? ? (T)? (expected value)

0.64 0 0 0 0 0.64 0 0 0 0 0.64 0 0 0 0.64 0 (confidence rate)

DNC T????T????T???T?
????????????????
---:PM / 0
DNC CC

0
????FT?F????????
-?????????-???-?
-C-:-- / -
DNC DNC DNC DNC
3

? ? ? ? ? (F)? (T)? ? ? (T)? (F)? ? (expected value)

0 0 0 0 0 0.64 0 0.64 0 0 0 0.64 0 0.64 0 0 (confidence rate)

DNC ?????F?T???T?F??
????????????????
---:PM / 0
DNC CC

0
????????????????
?????-?-???-?-??
---:-- / 0
DNC DNC DNC DNC
4

? (F)? ? (T)? ? ? (F)? (F)(T)? ? ? (T) (expected value)

0 0.64 0 0 0.64 0 0 0 0.64 0 0.64 0.64 0 0 0 0.64 (confidence rate)

DNC ?F??T???F?FT???T
????????????????
---:PM / 0
DNC CC

0
DNF

0
DNC DNC DNC DNC
5

? (T)? ? ? ? ? (T)(T)? ? ? ? ? ? ? (expected value)

0 0.64 0 0 0 0 0 0.64 0.64 0 0 0 0 0 0 0 (confidence rate)

DNC ?T?????TT???????
????????????????
---:PM / 0
DNC CC

0
DNF

0
DNC DNC DNC DNC
6

(T)? ? ? (F)? (F)? (T)? ? ? ? ? ? (F) (expected value)

0.64 0 0 0 0.64 0 0.64 0 0.64 0 0 0 0 0 0 0.64 (confidence rate)

DNC T???F?F?T??????F
????????????????
---:PM / 0
DNC CC

0
DNF

0
DNC DNC DNC DNC
7

? ? (T)? ? ? ? ? (F)(F)? ? ? (T)? ? (expected value)

0 0 0.64 0 0 0 0 0 0.64 0.64 0 0 0 0.64 0 0 (confidence rate)

DNC ??T?????FF???T??
????????????????
---:PM / 0
DNC CC

0
DNF

0
DNC DNC DNC DNC
Peterson (stripped) — P/T
  GreatSPN-Meddly ITS-Tools LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 48 15 237 60 48 189 210 48 75
Bonuses 0 6 30 0 0 6 30 0 0
Scores 48 9 207 60 48 183 180 48 75
2

FTTTFFTFTTFFTFFF (expected value)

3.52 4.95 4.95 4.16 4.95 4.31 4.16 4.95 4.95 4.16 3.52 4.95 4.16 4.95 3.52 4.95 (confidence rate)

FTTTFFTFTTFFTFFF
TTTTTTTTTTTTTTTT
---:-- / 48
TTTTFTTFTTTFTFTF
XTTTTXTTTTXTTTXT
V--:-- / -
FTTTFFTFTTFFTFFF
TTTTTTTTTTTTTTTT
---:PM / 48
TTTFFFFFTFTFFFTF
XTTXTTXTTXXTXTXT
V--:-- / -
FTTTFFTFTTFFTFFF
TTTTTTTTTTTTTTTT
-C-:-- / -
FTTTFFTFTTFFTFFF
TTTTTTTTTTTTTTTT
---:-- / 48
FTTTFFTFTTFFTFFF
TTTTTTTTTTTTTTTT
---:-- / 48
FTTTFFTFTTFFTFFF
TTTTTTTTTTTTTTTT
---:-- / 48
FTTTFFTFTTFFTFFF
TTTTTTTTTTTTTTTT
---:-- / 48
3

TFTTTTFFTTTTTFTT (expected value)

4.81 4.34 4.81 2.55 4.34 3.20 4.81 1.91 4.02 4.34 4.34 4.81 4.81 4.81 4.81 4.81 (confidence rate)

DNF

0
TFTTTFFTTTTTTFTT
TTTTTXTXTTTTTTTT
V--:-- / -
TFTTTTFFTTTTTFTT
TTTTTTTTTTTTTTTT
---:P- / 48
TFTFTTFTFTTTTFTT
TTTXTTTXXTTTTTTT
V--:-- / -
TFTTTTFFTTTTTFTT
TTTTTTTTTTTTTTTT
---:-- / 48
TFT?TTF?TTTTTFTT
TTT-TTT-TTTTTTTT
---:-- / 42
TFT?T?F?TTTTTFTT
TTT-T-T-TTTTTTTT
---:-M / 39
DNF

0
T?T???F?T??TTFTT
T-T---T-T--TTTTT
---:-- / 27
4

(T)FF? TFFTFFFFTFFT (expected value)

0.79 3.41 0.98 0 3.41 2.77 2.77 2.77 3.41 0.98 3.41 0.98 2.77 2.77 2.77 1.43 (confidence rate)

DNF

0
?F??T???F?FT???T
-T-?T---T-TX---T
V--:-- / -
?FF?TFFTFFFFTFF?
-TT?TTTTTTTTTTT-
---:P- / 39
TF??TFFTF?F?TFFT
?T-?TTTTT-T-TTTT
---:-- / 33
DNF

0
?F??TFFTF?F?TFF?
-T-?TTTTT-T-TTT-
---:-- / 30
?F??TFFTF?F?TFF?
-T-?TTTTT-T-TTT-
---:-M / 30
DNF

0
DNF

0
5

FFTT(F)T? T(T)? FFTFT? (expected value)

1.98 0.98 1.00 1.00 0.79 1.00 0 1.43 0.64 0 1.79 1.79 1.79 1.79 1.79 0 (confidence rate)

DNF

0
?T?????TT???????
-X----?T??-----?
V--:-- / -
FF??????????????
TT----?--?-----?
---:-- / 6
????F??T??FFTFT?
----?-?T-?TTTTT?
---:-- / 18
DNF

0
F?TT?T????FFTFT?
T-TT-T?--?TTTTT?
---:P- / 27
F?TT?T????FFTFT?
T-TT-T?--?TTTTT?
---:-M / 27
DNF

0
DNF

0
6

FFT(F)F? (F)TTT(F)? TTTF (expected value)

0.98 0.98 1.98 0.79 3.41 0 0.64 1.98 2.41 0.98 0.79 0 1.98 0.98 1.98 3.41 (confidence rate)

DNF

0
T???F?F?T??????F
X---T??-T--?---T
V--:-- / -
FFT?F??TTT??TTTF
TTT-T?-TTT-?TTTT
---:P- / 33
???FF???TFF????F
---?T?--TX??---T
V--:-- / -
DNF

0
??T?F??T????T?TF
--T-T?-T---?T-TT
---:-- / 18
??T?F??T????T?TF
--T-T?-T---?T-TT
---:-M / 18
DNF

0
DNF

0
7

? TTT? T? TF(F)TFFTTT (expected value)

0 0.98 1.43 0.98 0 1.98 0 1.98 1.62 0.64 1.98 1.98 2.77 2.41 0.98 1.98 (confidence rate)

CC

0
??T?????FF???T??
?-T-?-?-T?---T--
---:P- / 9
?T?T?T?TF?TFFTTT
?T-T?T?TT-TTTTTT
---:-- / 33
??T?????????FT??
?-T-?-?-----TT--
---:-- / 9
DNF

0
?????T?T??TFF??T
?---?T?T--TTT--T
---:-- / 18
?????T?T??TFF??T
?---?T?T--TTT--T
---:-M / 18
DNF

0
DNF

0
Philosophers (stripped) — Colored
  GreatSPN-Meddly ITS-Tools LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 108 0 0 0 0 0 0 0
Bonuses 0 108 0 0 0 0 0 0 0
Scores 0 0 0 0 0 0 0 0 0
000005

? (F)(F)(F)? ? (T)(T)(F)(F)(T)(F)? (T)(T)? (expected value)

0 0.64 0.64 0.64 0 0 0.64 0.64 0.64 0.64 0.64 0.64 0 0.64 0.64 0 (confidence rate)

DNC ?FFF??TTFFTF?TT?
????????????????
---:PM / 0
DNC CC

0
??FT?????T??????
?-?X??---X--?--?
VC-:-- / -
DNC DNC DNC DNC
000010

? (T)? ? ? ? ? ? ? ? (F)? ? ? ? (F) (expected value)

0 0.64 0 0 0 0 0 0 0 0 0.64 0 0 0 0 0.64 (confidence rate)

DNC ?T????????F????F
????????????????
---:PM / 0
DNC CC

0
???????T?????F?T
?-????????-????X
VC-:-- / -
DNC DNC DNC DNC
000020

? ? ? ? (T)(T)(T)? ? (T)? ? (T)(F)? ? (expected value)

0 0 0 0 0.64 0.64 0.64 0 0 0.64 0 0 0.64 0.64 0 0 (confidence rate)

DNC ????TTT??T??TF??
????????????????
---:PM / 0
DNC CC

0
????????????????
????---??-??--??
---:-- / 0
DNC DNC DNC DNC
000050

? ? ? ? ? (T)(F)? ? ? (T)? (T)? ? ? (expected value)

0 0 0 0 0 0.64 0.64 0 0 0 0.64 0 0.64 0 0 0 (confidence rate)

DNC ?????TF???T?T???
????????????????
---:PM / 0
DNC CC

0
????????????????
?????--???-?-???
---:-- / 0
DNC DNC DNC DNC
000100

? ? (T)(T)? ? ? ? ? ? ? ? ? ? ? ? (expected value)

0 0 0.64 0.64 0 0 0 0 0 0 0 0 0 0 0 0 (confidence rate)

DNC ??TT????????????
????????????????
---:PM / 0
DNC CC

0
DNF

0
DNC DNC DNC DNC
000200

? ? ? ? ? (T)? (F)(F)? ? ? (T)? ? ? (expected value)

0 0 0 0 0 0.64 0 0.64 0.64 0 0 0 0.64 0 0 0 (confidence rate)

DNC ?????T?FF???T???
????????????????
---:PM / 0
DNC CC

0
????????????????
?????-?--???-???
---:-- / 0
DNC DNC DNC DNC
000500

? (F)(T)? ? ? ? (T)? ? ? ? ? ? (F)? (expected value)

0 0.64 0.64 0 0 0 0 0.64 0 0 0 0 0 0 0.64 0 (confidence rate)

DNC ?FT????T??????F?
????????????????
---:PM / 0
DNC CC

0
DNF

0
DNC DNC DNC DNC
001000

? ? (T)(T)? (F)? (T)? ? ? ? ? ? ? ? (expected value)

0 0 0.64 0.64 0 0.64 0 0.64 0 0 0 0 0 0 0 0 (confidence rate)

DNC ??TT?F?T????????
????????????????
---:PM / 0
DNC CC

0
????????????????
??--?-?-????????
---:-- / 0
DNC DNC DNC DNC
002000

? ? ? ? ? (F)? (T)(F)? ? ? ? ? ? ? (expected value)

0 0 0 0 0 0.64 0 0.64 0.64 0 0 0 0 0 0 0 (confidence rate)

DNC ?????F?TF???????
????????????????
---:PM / 0
DNC CC

0
DNF

0
DNC DNC DNC DNC
005000

? (expected value)

0 (confidence rate)

DNC CC

0
DNC CC

0
DNF

0
DNC DNC DNC DNC
010000

? (expected value)

0 (confidence rate)

DNC CC

0
DNC CC

0
DNF

0
DNC DNC DNC DNC
050000

? (expected value)

0 (confidence rate)

DNC CC

0
DNC CC

0
DNF

0
DNC DNC DNC DNC
100000

? (expected value)

0 (confidence rate)

DNC CC

0
DNC CC

0
DNF

0
DNC DNC DNC DNC
Philosophers (stripped) — P/T
  GreatSPN-Meddly ITS-Tools LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 96 171 342 93 0 273 291 102 183
Bonuses 0 12 36 12 0 0 18 6 24
Scores 96 159 306 81 0 273 273 96 159
000005

FFFFFTTTFFTFTTTF (expected value)

4.95 4.95 4.95 4.95 4.95 4.16 4.16 4.95 4.95 4.95 4.95 4.95 4.95 4.95 4.95 4.95 (confidence rate)

FFFFFTTTFFTFTTTF
TTTTTTTTTTTTTTTT
---:-- / 48
FFFFFTTTFFTFTTTF
TTTTTTTTTTTTTTTT
---:-- / 48
FFFFFTTTFFTFTTTF
TTTTTTTTTTTTTTTT
---:-- / 48
FFFFFFFTFFTFTTTF
TTTTTXXTTTTTTTTT
V--:-- / -
FFFFFTTTFFTFTTTF
TTTTTTTTTTTTTTTT
-C-:-- / -
FFFFFTTTFFTFTTTF
TTTTTTTTTTTTTTTT
---:-- / 48
FFFFFTTTFFTFTTTF
TTTTTTTTTTTTTTTT
---:-- / 48
FFFFFTTTFFTFTTTF
TTTTTTTTTTTTTTTT
---:-M / 48
FFFFFTTTFFTFTTTF
TTTTTTTTTTTTTTTT
---:P- / 48
000010

TTTTFFFFTFFFFFTF (expected value)

4.16 4.95 4.95 4.95 4.95 4.95 4.95 4.95 4.95 4.95 4.95 4.95 4.16 4.95 4.95 4.95 (confidence rate)

TTTTFFFFTFFFFFTF
TTTTTTTTTTTTTTTT
---:-- / 48
TTTTFFFFTFFFFFTF
TTTTTTTTTTTTTTTT
---:-- / 48
TTTTFFFFTFFFFFTF
TTTTTTTTTTTTTTTT
---:PM / 48
FTTTFFFFTFFFTFTF
XTTTTTTTTTTTXTTT
V--:-- / -
TTTTFFFFTFFFFFTF
TTTTTTTTTTTTTTTT
-C-:-- / -
TTTTFFFFTFFFFFTF
TTTTTTTTTTTTTTTT
---:-- / 48
TTTTFFFFTFFFFFTF
TTTTTTTTTTTTTTTT
---:-- / 48
TTTTFFFFTFFFFFTF
TTTTTTTTTTTTTTTT
---:-- / 48
TTTTFFFFTFFFFFTF
TTTTTTTTTTTTTTTT
---:-- / 48
000020

TTTTTTTFTTFFTFTT (expected value)

3.41 3.89 3.89 2.41 3.41 3.41 3.89 3.89 3.89 3.89 3.41 3.89 3.41 3.89 3.41 3.89 (confidence rate)

DNF

0
TTTTTTTFTTFFTFTT
TTTTTTTTTTTTTTTT
---:-- / 48
TTTTTTTFTTFFTFTT
TTTTTTTTTTTTTTTT
---:PM / 48
TTTTTTTFTTFFTFTT
TTTTTTTTTTTTTTTT
---:-- / 48
DNF

0
TTT?TTTFTTFFTFTT
TTT-TTTTTTTTTTTT
---:-- / 45
TTT?TTTFTTFFTFTT
TTT-TTTTTTTTTTTT
---:-- / 45
DNF

0
?TT???TFTT?F?F?T
-TT---TTTT-T-T-T
---:-- / 27
000050

FF(T)FFTFTFTFTTFTT (expected value)

2.46 2.46 0.79 2.46 1.48 1.43 3.89 2.46 3.25 0.98 0.98 0.98 2.91 2.46 0.98 0.98 (confidence rate)

DNF

0
?????TF???T?T???
-----TT---X-T---
V--:-- / -
FF?F??FTFTFT?FTT
TT-T--TTTTTT-TTT
---:-- / 36
??T??TF?FF??T??F
--?--TT-TX--T--X
V--:-- / -
DNF

0
FF?FF?FTF???TF??
TT-TT-TTT---TT--
---:-- / 27
FF?FF?FTF???TF??
TT-TT-TTT---TT--
---:-M / 27
DNF

0
FF?FF?FTF???TF??
TT-TT-TTT---TT--
---:P- / 27
000100

TTT(T)TTTTTF? FTTFF (expected value)

0.98 1.98 1.43 0.64 1.98 0.98 3.25 0.98 1.98 1.98 0 2.77 3.25 1.98 0.98 2.77 (confidence rate)

DNF

0
??TT????????????
--T?------?-----
---:-- / 3
TT??TTTTTF?FTTFF
TT--TTTTTT?TTTTT
---:-- / 39
F?T??FT????FT??F
X-T--XT---?TT--T
V--:-- / -
DNF

0
?T??T?T?TF?FTT?F
-T--T-T-TT?TTT-T
---:-- / 27
?T??T?T?TF?FTT?F
-T--T-T-TT?TTT-T
---:-M / 27
DNF

0
??????T?????T???
------T---?-T---
---:P- / 6
000200

(F)TFTTTTFFTFFTF? T (expected value)

0.79 2.46 2.77 1.98 1.98 2.62 1.98 2.62 3.41 0.98 1.98 1.77 2.62 1.98 0 1.98 (confidence rate)

DNF

0
?????T?FF???T???
-----T-TT---T-?-
---:-- / 12
?TFTTTTFFTFFTF?T
-TTTTTTTTTTTTT?T
---:P- / 42
F?F?????F??F????
?-T-----T--T--?-
---:-- / 9
DNF

0
?TFTTTTFF?F?TF?T
-TTTTTTTT-T-TT?T
---:-- / 36
?TFTTTTFF?F?TF?T
-TTTTTTTT-T-TT?T
---:-- / 36
DNF

0
?T??????????????
-T------------?-
---:-M / 3
000500

TFTTTFFFFTTTFFT(F) (expected value)

1.98 3.41 3.41 1.98 1.98 1.98 2.77 0.98 1.98 2.77 2.77 2.77 2.77 2.77 0.98 0.79 (confidence rate)

DNF

0
?FT????T??????F?
-TT----X------X-
V--:-- / -
TFTTTFFFFTTTFFT?
TTTTTTTTTTTTTTT-
---:P- / 45
?FT???F??TTTFF?F
-TT---T--TTTTT-?
---:-- / 24
DNF

0
TFTTTFF?FTTTFF??
TTTTTTT-TTTTTT--
---:-- / 39
TFTTTFF?FTTTFF??
TTTTTTT-TTTTTT--
---:-M / 39
DNF

0
DNF

0
001000

? ? (T)(T)? (F)? (T)(F)? ? ? ? ? F? (expected value)

0 0 0.64 0.64 0 0.64 0 0.64 0.79 0 0 0 0 0 1.00 0 (confidence rate)

DNF

0
??TT?F?T????????
????????-?????-?
---:-- / 0
????????????????
??--?-?--?????-?
---:-- / 0
????????F???????
??--?-?-??????-?
---:PM / 0
DNF

0
??????????????F?
??--?-?--?????T?
---:-- / 3
??????????????F?
??--?-?--?????T?
---:-- / 3
DNF

0
DNF

0
002000

? (F)? ? ? (F)? (T)(F)? ? ? ? ? ? ? (expected value)

0 0.50 0 0 0 0.64 0 0.64 0.64 0 0 0 0 0 0 0 (confidence rate)

CC

0
?????F?TF???????
?-??????????????
---:PM / 0
????????????????
?-???-?--???????
---:-- / 0
????????????????
?-???-?--???????
---:-- / 0
DNF

0
?F??????????????
?????-?--???????
---:-- / 0
????????????????
?-???-?--???????
---:-- / 0
DNF

0
DNF

0
005000

? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? (expected value)

0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 (confidence rate)

CC

0
CC

0
????????????????
????????????????
---:-- / 0
DNF

0
DNF

0
CC

0
????????????????
????????????????
---:-- / 0
DNF

0
CC

0
010000

? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? (expected value)

0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 (confidence rate)

CC

0
CC

0
DNF

0
????????????????
????????????????
---:-- / 0
DNF

0
CC

0
CC

0
CC

0
CC

0
PhilosophersDyn (stripped) — Colored
  GreatSPN-Meddly ITS-Tools LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 24 0 0 0 0 0 0 0
Bonuses 0 24 0 0 0 0 0 0 0
Scores 0 0 0 0 0 0 0 0 0
03

? ? (T)? ? ? ? ? (T)(F)(T)? (T)? ? (T) (expected value)

0 0 0.64 0 0 0 0 0 0.64 0.64 0.64 0 0.64 0 0 0.64 (confidence rate)

DNC ??T?????TFT?T??T
????????????????
---:PM / 0
DNC CC

0
DNF

0
DNC DNC DNC DNC
10

? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? (expected value)

0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 (confidence rate)

DNC TFFT?FTFTTT??TFF
????????????????
-C-:-- / -
DNC CC

0
DNF

0
DNC DNC DNC DNC
20

? ? (T)(T)? ? ? ? ? (T)(T)? (T)? ? ? (expected value)

0 0 0.64 0.64 0 0 0 0 0 0.64 0.64 0 0.64 0 0 0 (confidence rate)

DNC ??TT?????TT?T???
????????????????
---:PM / 0
DNC CC

0
DNF

0
DNC DNC DNC DNC
50

? (expected value)

0 (confidence rate)

DNC CC

0
DNC CC

0
DNF

0
DNC DNC DNC DNC
80

? (expected value)

0 (confidence rate)

DNC CC

0
DNC CC

0
DNF

0
DNC DNC DNC DNC
PhilosophersDyn (stripped) — P/T
  GreatSPN-Meddly ITS-Tools LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 48 0 168 0 48 126 108 48 48
Bonuses 0 0 30 0 0 6 0 0 0
Scores 48 0 138 0 48 120 108 48 48
03

FFTTFFFTTFTFTFTF (expected value)

5.88 5.09 5.88 5.88 5.09 5.88 5.88 5.09 5.09 5.88 5.88 5.09 5.88 5.88 5.88 4.45 (confidence rate)

FFTTFFFTTFTFTFTF
TTTTTTTTTTTTTTTT
---:-- / 48
FFTTFFFTTFTFTFTT
TTTTTTTTTTTTTTTX
V--:-- / -
FFTTFFFTTFTFTFTF
TTTTTTTTTTTTTTTT
---:-M / 48
F?TT?FF??FT?TFTT
T-TT-TT--TT-TTTX
V--:-- / -
FFTTFFFTTFTFTFTF
TTTTTTTTTTTTTTTT
---:-- / 48
FFTTFFFTTFTFTFTF
TTTTTTTTTTTTTTTT
---:P- / 48
FFTTFFFTTFTFTFTF
TTTTTTTTTTTTTTTT
---:-- / 48
FFTTFFFTTFTFTFTF
TTTTTTTTTTTTTTTT
---:-- / 48
FFTTFFFTTFTFTFTF
TTTTTTTTTTTTTTTT
---:-- / 48
10

TTTTFFTTTTFFTFTT (expected value)

1.98 1.98 1.98 1.98 1.98 1.98 1.98 1.98 1.98 2.77 1.98 1.98 1.98 1.98 1.98 1.98 (confidence rate)

DNF

0
TFFTFFTFTTFFTTFF
TXXTTTTXTTTTTXXX
VC-:-- / -
TTTTFFTTTTFFTFTT
TTTTTTTTTTTTTTTT
---:PM / 48
?F?????F?TT?FT?F
-X-----X-TX-XX-X
V--:-- / -
DNF

0
TTTTFFTTTTFFTFTT
TTTTTTTTTTTTTTTT
---:-- / 48
TTTTFFTTTTFFTFTT
TTTTTTTTTTTTTTTT
---:-- / 48
DNF

0
DNF

0
20

TTT(T)FTTFTFTT(T)FTF (expected value)

1.48 0.98 2.62 0.64 1.48 1.48 1.48 0.98 1.98 0.98 2.62 0.98 0.64 0.98 1.98 0.98 (confidence rate)

DNF

0
??TT?????TT?T???
--T?-----XT-?---
V--:-- / -
TTT?FTTFTFTT?FTF
TTT-TTTTTTTT-TTT
---:PM / 42
???????????F????
-----------X----
V--:-- / -
DNF

0
T?T?FTT?T?T???T?
T-T-TTT-T-T---T-
---:-- / 24
??T?????T?T???T?
--T-----T-T---T-
---:-- / 12
DNF

0
DNF

0
Planning (stripped) — P/T
  GreatSPN-Meddly ITS-Tools LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 0 24 9 0 18 12 0 15
Bonuses 0 0 0 0 0 6 0 0 6
Scores 0 0 24 9 0 12 12 0 9
none

TT? F(F)FFTF? TT? TFT (expected value)

2.10 2.10 0 2.41 0.79 1.00 1.00 1.43 1.77 0 1.62 1.00 0 0.98 2.10 1.98 (confidence rate)

DNF

0
TT?F???T??TF??F?
TT?T---T-?TX?-T-
V--:-- / -
TT?F????F?T??TFT
TT?T----T?T-?TTT
---:-- / 24
???FF??TF???????
--?T?--TT?--?---
---:-- / 9
DNF

0
?????FF????T???T
--?--TT--?-T?--T
---:P- / 12
?????FF????T???T
--?--TT--?-T?--T
---:-- / 12
DNF

0
TT????????????F?
TT?------?--?-T-
---:-M / 9
PolyORBLF (stripped) — Colored
  GreatSPN-Meddly ITS-Tools LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 192 0 0 0 0 0 0 0
Bonuses 0 192 0 0 0 0 0 0 0
Scores 0 0 0 0 0 0 0 0 0
S02J04T06

? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? (expected value)

0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 (confidence rate)

DNC T?????T??F??FT??
????????????????
-C-:-- / -
DNC CC

0
DNF

0
DNC DNC DNC DNC
S02J04T08

? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? (expected value)

0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 (confidence rate)

DNC ????FTFT?FT????F
????????????????
-C-:-- / -
DNC CC

0
DNF

0
DNC DNC DNC DNC
S02J04T10

? ? (F)(T)? (T)? ? ? (F)? ? (F)? ? (F) (expected value)

0 0 0.64 0.64 0 0.64 0 0 0 0.64 0 0 0.64 0 0 0.64 (confidence rate)

DNC ??FT?T???F??F??F
????????????????
---:PM / 0
DNC CC

0
DNF

0
DNC DNC DNC DNC
S02J06T06

? (F)? ? ? ? ? ? ? ? ? ? (F)? ? (T) (expected value)

0 0.64 0 0 0 0 0 0 0 0 0 0 0.64 0 0 0.64 (confidence rate)

DNC ?F??????????F??T
????????????????
---:PM / 0
DNC CC

0
DNF

0
DNC DNC DNC DNC