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

Introduction

Please find here the computed results for the ReachabilityFireability 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 ReachabilityFireability
  Cunf GreatSPN-Meddly ITS-Tools LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total Points 5908 2833 8185 19410 12437 11199 15454 15652 6704 9962

All «Surprise» models
 
  Cunf GreatSPN-Meddly ITS-Tools LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total Points 448 520 1560 5268 3624 3364 4368 4632 2360 2836
BridgeAndVehicles — Colored
  Cunf GreatSPN-Meddly ITS-Tools LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 0 256 0 0 40 0 0 0 0
Bonuses 0 0 256 0 0 32 0 0 0 0
Scores 0 0 0 0 0 8 0 0 0 0
V04P05N02

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

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

DNC CC

0
FFFFFFFFFFFFFFFF
??????????X?????
V--:-- / -
DNC CC

0
??????????T?????
----------T-----
---:PM / 4
DNC DNC DNC DNC
V10P10N10

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

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

DNC CC

0
TFTFTFFTFTFFFFFT
?????X??????????
V--:-- / -
DNC CC

0
?????T??????????
-----T----------
---:PM / 4
DNC DNC DNC DNC
V20P10N10

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

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

DNC CC

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

0
????????????????
--?--?---?-?-?-?
---:-- / 0
DNC DNC DNC DNC
V20P10N20

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

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

DNC CC

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

0
????????????????
-?------?--????-
---:-- / 0
DNC DNC DNC DNC
V20P10N50

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

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

DNC CC

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

0
????????????????
?-??----??---?-?
---:-- / 0
DNC DNC DNC DNC
V20P20N10

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

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

DNC CC

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

0
????????????????
----------------
---:-- / 0
DNC DNC DNC DNC
V20P20N20

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

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

DNC CC

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

0
????????????????
?-????--?-??-?-?
---:-- / 0
DNC DNC DNC DNC
V20P20N50

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

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

DNC CC

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

0
????????????????
?---?--?????????
---:-- / 0
DNC DNC DNC DNC
V50P20N10

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

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

DNC CC

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

0
????????????????
-?-???--------??
---:-- / 0
DNC DNC DNC DNC
V50P20N20

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

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

DNC CC

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

0
????????????????
???-????---?????
---:-- / 0
DNC DNC DNC DNC
V50P20N50

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

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

DNC CC

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

0
DNF

0
DNC DNC DNC DNC
V50P50N10

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

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

DNC CC

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

0
????????????????
??????----???-?-
---:-- / 0
DNC DNC DNC DNC
V50P50N20

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

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

DNC CC

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

0
????????????????
???--?--???-?-??
---:-- / 0
DNC DNC DNC DNC
V50P50N50

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

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

DNC CC

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

0
DNF

0
DNC DNC DNC DNC
V80P20N10

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

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

DNC CC

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

0
????????????????
?-???-????---?-?
---:-- / 0
DNC DNC DNC DNC
V80P20N20

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

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

DNC CC

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

0
DNF

0
DNC DNC DNC DNC
V80P20N50

? (expected value)

0 (confidence rate)

DNC CC

0
CC

0
DNC CC

0
DNF

0
DNC DNC DNC DNC
V80P50N10

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

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

DNC CC

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

0
????????????????
???????????--??-
---:-- / 0
DNC DNC DNC DNC
V80P50N20

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

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

DNC CC

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

0
DNF

0
DNC DNC DNC DNC
V80P50N50

? (expected value)

0 (confidence rate)

DNC CC

0
CC

0
DNC CC

0
DNF

0
DNC DNC DNC DNC
BridgeAndVehicles — P/T
  Cunf GreatSPN-Meddly ITS-Tools LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 0 128 616 212 220 396 328 128 144
Bonuses 0 0 64 88 0 16 96 40 0 16
Scores 0 0 64 528 212 204 300 288 128 128
V04P05N02

FFTFTTFFTFTTFFFF (expected value)

5.88 5.88 5.24 5.88 4.45 5.24 4.88 5.26 4.24 5.88 3.83 4.24 5.88 5.88 5.88 5.88 (confidence rate)

DNC FFTFTTFTTFFTFFFF
TTTTTTTXTTXTTTTT
V--:-- / -
FFFFFFFFFFFFFFFF
TTXTXXTTXTXXTTTT
V--:-- / -
FFTFTTFFTFTTFFFF
TTTTTTTTTTTTTTTT
---:-- / 64
FFTFFTFFTFFTFFFF
TTTTXTTTTTXTTTTT
V--:-- / -
FFTFTTFFTFTTFFFF
TTTTTTTTTTTTTTTT
---:-- / 64
FFTFTT?F?FT?FFFF
TTTTTT-T-TT-TTTT
---:-- / 52
FFTFTT?F?FT?FFFF
TTTTTT-T-TT-TTTT
---:-- / 52
FFTFTTFFTFTTFFFF
TTTTTTTTTTTTTTTT
---:-- / 64
FFTFTTFFTFTTFFFF
TTTTTTTTTTTTTTTT
---:PM / 64
V10P10N10

TFFTTTFFFTFFFFTT (expected value)

5.88 4.26 4.24 5.24 5.88 5.24 4.47 5.24 4.88 5.88 4.88 4.88 5.26 4.88 4.24 4.88 (confidence rate)

DNC TTFTTTTFFTFFTFTT
TXTTTTXTTTTTXTTT
V--:-- / -
TFTFTFFTFTFFFFFT
TTXXTXTXTTTTTTXT
V--:-- / -
TFFTTTFFFTFFFFTT
TTTTTTTTTTTTTTTT
---:-M / 64
TFFTTTTFFTFFFFTT
TTTTTTXTTTTTTTTT
V--:-- / -
TFFTTTFFFTFFFFTT
TTTTTTTTTTTTTTTT
---:P- / 64
T??TTTFF?T??F???
T--TTTTT-T--T---
---:-- / 32
T??TTTFF?T??F???
T--TTTTT-T--T---
---:-- / 32
TFFTTTFFFTFFFFTT
TTTTTTTTTTTTTTTT
---:-- / 64
TFFTTTFFFTFFFFTT
TTTTTTTTTTTTTTTT
---:-- / 64
V20P10N10

TFFFFF(F)TTFTTFFFF (expected value)

2.40 3.34 0.98 2.77 2.77 0.98 0.64 0.98 3.34 1.91 2.41 2.77 2.41 1.98 1.77 0.98 (confidence rate)

DNC DNF

0
FF????FFT?T?F???
XT----?XT-T-T---
V--:-- / -
TFFFFF?TTFTTFFFF
TTTTTT-TTTTTTTTT
---:-M / 60
FF?FF???T?TTF?F?
XT-TT---T-TTT-T-
V--:-- / -
TF??????TF??????
TT------TT------
---:-- / 16
T??FF??????T?F??
T--TT------T-T--
---:P- / 20
???FF??????T?F??
---TT------T-T--
---:-- / 16
DNF

0
DNF

0
V20P10N20

TTFFF(F)(F)FFTT(T)TTTF (expected value)

3.34 0.98 3.41 2.77 2.41 0.64 0.64 2.77 1.42 1.92 2.41 0.79 1.77 1.77 2.77 2.41 (confidence rate)

DNC DNF

0
T?F?FFF??FT????F
T-T-T??--XT----T
V--:-- / -
TTFFF??F??T?TTTF
TTTTT--T--T-TTTT
---:-M / 44
T?FFF??F??TTTTTF
T-TTT--T--T?TTTT
---:-- / 40
TF??????FT??????
TX------TT------
V--:-- / -
??FF???FFT????T?
--TT---TTT----T-
---:P- / 24
??FF???F?T????T?
--TT---T-T----T-
---:-- / 20
DNF

0
DNF

0
V20P10N50

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

0.92 2.55 0 1.00 0.64 0.64 1.00 0.64 0.92 0.98 1.62 0.64 0.64 0.98 0.64 0 (confidence rate)

DNC DNF

0
?T??FTFF??FFF?F?
-T?-??X?--T??-??
V--:-- / -
?T???????TF??F??
-T?------TT--T-?
---:-M / 16
????????????????
--?------------?
---:-- / 0
FT??????F???????
TT?-----T------?
---:-- / 12
???F??T?????????
--?T--T--------?
---:P- / 8
???F??T?????????
--?T--T--------?
---:-- / 8
DNF

0
DNF

0
V20P20N10

FFF? FFFTFFFTTFTF (expected value)

4.34 3.34 0.98 0 2.77 1.77 1.48 1.62 4.34 2.40 1.92 1.91 2.90 2.77 1.98 0.98 (confidence rate)

DNC DNF

0
FF?????TF???F?F?
TT-?---TT---X-X-
V--:-- / -
FFF?FFFTFF?TTFTF
TTT?TTTTTT-TTTTT
---:-M / 56
FF??FF??FTT??F??
TT-?TT--TXX--T--
V--:-- / -
FF??????FFFTT???
TT-?----TTTTT---
---:-- / 28
F???F?F?FFF?TFT?
T--?T-T-TTT-TTT-
---:P- / 36
F???F???F?F?TFT?
T--?T---T-T-TTT-
---:-- / 28
DNF

0
DNF

0
V20P20N20

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

0.92 3.41 2.77 1.77 1.77 0 3.41 2.77 0 3.41 0 0 0.64 1.77 2.41 1.77 (confidence rate)

DNC DNF

0
?T????F??T??F?F?
-T---?T-?T???-T-
---:-- / 16
?TTTT?FF?T???TFT
-TTTT?TT?T??-TTT
---:-M / 40
?TTTT?FF?T???TFT
-TTTT?TT?T??-TTT
---:-- / 40
T???????????????
T----?--?-??----
---:-- / 4
?TT???FF?T??????
-TT--?TT?T??----
---:P- / 20
?TT???FF?T??????
-TT--?TT?T??----
---:-- / 20
DNF

0
DNF

0
V20P20N50

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

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

DNC DNF

0
?FFT?TF?????????
-X??????--?????-
V--:-- / -
????????????????
----?--?--?????-
---:-- / 0
????????????????
----?--?--?????-
---:-- / 0
FT??????FF??????
TT--?--?TT?????-
---:-M / 16
???????????????F
----?--?--?????T
---:P- / 4
???????????????F
----?--?--?????T
---:-- / 4
DNF

0
DNF

0
V50P20N10

TFT? (T)? (F)(F)TFTFTT? (T) (expected value)

2.41 2.41 2.77 0 0.79 0 0.64 0.64 2.41 2.41 2.41 2.41 2.41 2.41 0 0.79 (confidence rate)

DNC DNF

0
TF????FFTFTFTT??
TT-?-???TTTTTT?-
---:-- / 32
TFT?????TFTFTT??
TTT?-?--TTTTTT?-
---:-M / 36
TFT?T???TFTFTT?T
TTT???--TTTTTT??
---:-- / 36
DNF

0
??T?????????????
--T?-?--------?-
---:P- / 4
??T?????????????
--T?-?--------?-
---:-- / 4
DNF

0
DNF

0
V50P20N20

TTFT? TT? TT(F)TT? F? (expected value)

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

DNC DNF

0
???T????FTF?????
---T?--?XT?--?-?
V--:-- / -
TTFT?TT??T?TT?F?
TTTT?TT?-T-TT?T?
---:-M / 40
????????????????
----?--?-----?-?
---:-- / 0
DNF

0
????????T???????
----?--?T----?-?
---:P- / 4
????????T???????
----?--?T----?-?
---:-- / 4
DNF

0
DNF

0
V50P20N50

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

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

DNC DNF

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

0
???T??????????TF
--?T??--?-?-??TT
---:-- / 12
???T??????????TF
--?T??--?-?-??TT
---:-- / 12
DNF

0
DNF

0
V50P50N10

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

0.50 3.41 0 1.77 1.00 0 1.77 1.00 2.41 3.41 0 0 1.00 1.77 1.77 2.41 (confidence rate)

DNC DNF

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

0
FT??F??T?F??F???
?T?-T?-T-T??T---
---:P- / 20
?T??F??T?F??F???
-T?-T?-T-T??T---
---:-- / 20
DNF

0
DNF

0
V50P50N20

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

1.62 1.98 1.00 0.64 0.64 0 0.64 0.64 0 0 0 0.64 1.00 0.64 0 1.00 (confidence rate)

DNC DNF

0
F??FT?TT???F?F??
T--?????????-??-
---:-- / 4
FT??????????????
TT---?--???---?-
---:-M / 8
????????????????
-----?--???---?-
---:-- / 0
DNF

0
?TF?????????F??T
-TT--?--???-T-?T
---:-- / 16
?TF?????????F??T
-TT--?--???-T-?T
---:P- / 16
DNF

0
DNF

0
V50P50N50

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

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

DNC CC

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

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

0
DNF

0
V80P20N10

TT? TTF? ? ? TTFTT(F)? (expected value)

2.77 0.98 0 1.77 2.77 1.77 0 0 0 1.77 2.41 1.77 2.41 2.77 0.64 0 (confidence rate)

DNC DNF

0
?F????????T?T?F?
-X?---???-T-T-??
V--:-- / -
TT?TTF???TTFTT??
TT?TTT???TTTTT-?
---:-M / 40
T??TTF???TTFTT??
T-?TTT???TTTTT-?
---:-- / 36
DNF

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

0
DNF

0
V80P20N20

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

0.64 0 0.64 0.64 0 0.50 1.00 0 0.64 0 0 0 0 0 0 0 (confidence rate)

DNC DNF

0
F?TF??F?F???????
?????-X?????????
V--:-- / -
????????????????
-?--?--?-???????
---:-- / 0
????????????????
-?--?--?-???????
---:-- / 0
DNF

0
???T?FT?????????
-?-X??T?-???????
V--:-- / -
??????T?????????
-?--?-T?-???????
---:PM / 4
DNF

0
DNF

0
V80P20N50

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

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

DNC DNF

0
CC

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

0
??T?????????????
??T?????????????
---:P- / 4
??T?????????????
??T?????????????
---:-M / 4
DNF

0
DNF

0
V80P50N10

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

1.77 1.77 1.77 0 1.77 0 0.79 0.50 0 0 1.77 0.64 0.64 0.50 1.77 2.41 (confidence rate)

DNC DNF

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

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

0
DNF

0
V80P50N20

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

0 0 1.00 0 0.64 0 1.64 0 1.64 0 0.50 0.64 0 0 0 0 (confidence rate)

DNC DNF

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

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

0
DNF

0
V80P50N50

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

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

DNC DNF

0
CC

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

0
???????????????T
???????????????T
---:P- / 4
???????????????T
???????????????T
---:-M / 4
DNF

0
DNF

0
HypercubeGrid — P/T
  Cunf GreatSPN-Meddly ITS-Tools LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 0 0 240 4 0 96 108 0 0
Bonuses 0 0 0 48 0 0 0 0 0 0
Scores 0 0 0 192 4 0 96 108 0 0
C3K4P4B12

TTTFFFFTFTTTTFTF (expected value)

1.98 1.98 1.98 1.98 1.98 1.98 1.98 1.98 1.98 1.98 1.98 1.98 1.98 1.98 1.98 1.98 (confidence rate)

DNC DNF

0
CC

0
TTTFFFFTFTTTTFTF
TTTTTTTTTTTTTTTT
---:PM / 64
????????????????
----------------
---:-- / 0
DNF

0
TTTFFFFTFTTTTFTF
TTTTTTTTTTTTTTTT
---:-- / 64
TTTFFFFTFTTTTFTF
TTTTTTTTTTTTTTTT
---:-- / 64
DNF

0
DNF

0
C4K3P3B12

FFFFTTTTTTFTTFTF (expected value)

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

DNC CC

0
CC

0
FFFFTTTTTTFTTFTF
TTTTTTTTTTTTTTTT
---:PM / 64
????T???????????
----T-----------
---:-- / 4
DNF

0
?FFF??TT?T??TF??
-TTT--TT-T--TT--
---:-- / 32
FFFF??TTTT?TTF??
TTTT--TTTT-TTT--
---:-- / 44
DNF

0
DNF

0
C5K3P3B15

FTTFFFTTFFTTTTTT (expected value)

0.98 0.98 1.60 0.98 0.98 1.60 1.60 1.60 0.98 1.60 1.60 1.60 1.60 0.98 0.98 1.60 (confidence rate)

DNC TFTTTFTTTFTTTFFT
XXTXXTTTXTTTTXXT
V--:-- / -
CC

0
FTTFFFTTFFTTTTTT
TTTTTTTTTTTTTTTT
---:PM / 64
????????????????
----------------
---:-- / 0
DNF

0
CC

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

0
DNF

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

FTTTTTFTTFFFFFFT (expected value)

5.77 5.77 5.14 5.14 5.77 5.77 5.77 5.14 5.77 5.14 5.77 5.14 5.77 5.77 5.14 5.14 (confidence rate)

FTTTTTFTTFFFFFFT
TTTTTTTTTTTTTTTT
---:PM / 64
FTFFTTFFTTFTFFTF
TTXXTTTXTXTXTTXX
V--:-- / -
CC

0
FTTTTTFTTFFFFFFT
TTTTTTTTTTTTTTTT
---:-- / 64
FTTTTTFTTFFFFFFT
TTTTTTTTTTTTTTTT
---:-- / 64
FTTTTTFTTFFFFFFT
TTTTTTTTTTTTTTTT
---:-- / 64
FTTTTTFTTFFFFFFT
TTTTTTTTTTTTTTTT
---:-- / 64
FTTTTTFTTFFFFFFT
TTTTTTTTTTTTTTTT
---:-- / 64
DNF

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

FTTFTFFFFFFFFTFF (expected value)

4.01 4.01 4.01 4.01 4.01 3.38 3.38 4.01 4.01 4.01 4.01 4.01 3.38 4.01 4.01 4.01 (confidence rate)

DNC FTTFTTTFFFFFTTFF
TTTTTXXTTTTTXTTT
V--:-- / -
CC

0
FTTFTFFFFFFFFTFF
TTTTTTTTTTTTTTTT
---:-- / 64
????????????????
----------------
---:-- / 0
FTTFTFFFFFFFFTFF
TTTTTTTTTTTTTTTT
---:-- / 64
FTTFTFFFFFFFFTFF
TTTTTTTTTTTTTTTT
---:P- / 64
FTTFTFFFFFFFFTFF
TTTTTTTTTTTTTTTT
---:-M / 64
DNF

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

FTFTFFTFFFFFTFFT (expected value)

5.77 5.77 5.77 5.77 5.77 5.77 5.77 5.77 5.77 5.77 5.14 5.77 5.77 5.77 5.77 5.77 (confidence rate)

FTFTFFTFFFFFTFFT
TTTTTTTTTTTTTTTT
---:P- / 64
FTFTFFTFFFTFTFFT
TTTTTTTTTTXTTTTT
V--:-- / -
CC

0
FTFTFFTFFFFFTFFT
TTTTTTTTTTTTTTTT
---:-- / 64
FTFTFFTFFFFFTFFT
TTTTTTTTTTTTTTTT
---:-- / 64
FTFTFFTFFFFFTFFT
TTTTTTTTTTTTTTTT
---:-- / 64
FTFTFFTFFFFFTFFT
TTTTTTTTTTTTTTTT
---:-- / 64
FTFTFFTFFFFFTFFT
TTTTTTTTTTTTTTTT
---:-M / 64
DNF

0
FTFTFFTFFFFFTFFT
TTTTTTTTTTTTTTTT
---:-- / 64
IOTPpurchase — P/T
  Cunf GreatSPN-Meddly ITS-Tools LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 72 0 0 280 64 256 272 264 200 188
Bonuses 8 0 0 24 0 0 16 8 8 0
Scores 64 0 0 256 64 256 256 256 192 188
C01M01P01D01

TTTFTFTTTFFFTFFF (expected value)

4.94 4.31 4.31 4.94 4.94 4.94 4.31 4.94 4.31 4.94 4.94 4.94 4.94 4.94 4.94 4.94 (confidence rate)

TTTFTFTTTFFFTFFF
TTTTTTTTTTTTTTTT
---:-M / 64
TFFFTFFTFFFFTFFF
TXXTTTXTXTTTTTTT
V--:-- / -
CC

0
TTTFTFTTTFFFTFFF
TTTTTTTTTTTTTTTT
---:-- / 64
????????????????
----------------
---:-- / 0
TTTFTFTTTFFFTFFF
TTTTTTTTTTTTTTTT
---:-- / 64
TTTFTFTTTFFFTFFF
TTTTTTTTTTTTTTTT
---:-- / 64
TTTFTFTTTFFFTFFF
TTTTTTTTTTTTTTTT
---:-- / 64
TTTFTFTTTFFFTFFF
TTTTTTTTTTTTTTTT
---:P- / 64
DNF

0
C03M03P03D03

TFTTTTTTTFFTTTTT (expected value)

4.45 3.83 4.45 4.45 4.45 4.45 4.45 4.45 4.45 4.45 4.45 3.83 4.45 3.83 4.45 4.45 (confidence rate)

DNC TTTTTTTTTFFFTFTT
TXTTTTTTTTTXTXTT
V--:-- / -
CC

0
TFTTTTTTTFFTTTTT
TTTTTTTTTTTTTTTT
---:-- / 64
????????????????
----------------
---:-- / 0
TFTTTTTTTFFTTTTT
TTTTTTTTTTTTTTTT
---:-- / 64
TFTTTTTTTFFTTTTT
TTTTTTTTTTTTTTTT
---:P- / 64
TFTTTTTTTFFTTTTT
TTTTTTTTTTTTTTTT
---:-M / 64
TFTTTTTTTFFTTTTT
TTTTTTTTTTTTTTTT
---:-- / 64
TFTTTTTTTFFTTTTT
TTTTTTTTTTTTTTTT
---:-- / 64
C05M04P03D02

TTFTTTFTFTTFTTTT (expected value)

3.38 3.38 3.38 3.38 3.38 3.38 3.52 3.38 3.38 3.38 3.38 3.38 3.38 3.38 3.38 3.38 (confidence rate)

DNC FFTFFFFFTFFTFFFF
XXXXXXTXXXXXXXXX
V--:-- / -
CC

0
TTFTTTFTFTTFTTTT
TTTTTTTTTTTTTTTT
---:-M / 64
????????????????
----------------
---:-- / 0
TTFTTTFTFTTFTTTT
TTTTTTTTTTTTTTTT
---:-- / 64
TTFTTTFTFTTFTTTT
TTTTTTTTTTTTTTTT
---:P- / 64
TTFTTTFTFTTFTTTT
TTTTTTTTTTTTTTTT
---:-- / 64
DNF

0
TTFTTT?TFTTFTTTT
TTTTTT-TTTTTTTTT
---:-- / 60
C12M10P15D17

FTTTTTTFFTFTTFFF (expected value)

4.62 4.62 4.62 4.62 4.62 4.62 4.62 4.62 4.62 4.62 4.62 4.62 4.62 4.62 4.62 4.62 (confidence rate)

DNC TFFFFFFTTFTFFTTT
XXXXXXXXXXXXXXXX
V--:-- / -
CC

0
FTTTTTTFFTFTTFFF
TTTTTTTTTTTTTTTT
---:PM / 64
FTTTTTTFFTFTTFFF
TTTTTTTTTTTTTTTT
---:-- / 64
FTTTTTTFFTFTTFFF
TTTTTTTTTTTTTTTT
---:-- / 64
FTTTTTTFFTFTTFFF
TTTTTTTTTTTTTTTT
---:-- / 64
FTTTTTTFFTFTTFFF
TTTTTTTTTTTTTTTT
---:-- / 64
FTTTTTTFFTFTTFFF
TTTTTTTTTTTTTTTT
---:-- / 64
FTTTTTTFFTFTTFFF
TTTTTTTTTTTTTTTT
---:-- / 64
Parking — P/T
  Cunf GreatSPN-Meddly ITS-Tools LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 224 0 224 364 392 132 160 168 64 64
Bonuses 32 0 32 16 8 0 0 8 0 0
Scores 192 0 192 348 384 132 160 160 64 64
104

FTTTTTFTTTFFFTFF (expected value)

6.85 6.85 6.21 6.85 6.85 6.23 6.85 6.85 6.85 6.21 6.85 6.85 6.85 6.85 6.85 6.23 (confidence rate)

FTTTTTFTTTFFFTFF
TTTTTTTTTTTTTTTT
---:PM / 64
FTTTTFFTTTFFFTFT
TTTTTXTTTTTTTTTX
V--:-- / -
FTFTTTFTTFFFFTFF
TTXTTTTTTXTTTTTT
V--:-- / -
FTTTTTFTTTFFFTFF
TTTTTTTTTTTTTTTT
---:-- / 64
FTTTTTFTTTFFFTFF
TTTTTTTTTTTTTTTT
---:-- / 64
FTTTTTFTTTFFFTFF
TTTTTTTTTTTTTTTT
---:-- / 64
FTTTTTFTTTFFFTFF
TTTTTTTTTTTTTTTT
---:-- / 64
FTTTTTFTTTFFFTFF
TTTTTTTTTTTTTTTT
---:-- / 64
FTTTTTFTTTFFFTFF
TTTTTTTTTTTTTTTT
---:-- / 64
FTTTTTFTTTFFFTFF
TTTTTTTTTTTTTTTT
---:-- / 64
208

FFTFTTFFTTFFTFFF (expected value)

4.93 5.92 4.93 4.93 4.93 4.93 4.93 4.95 4.93 4.30 5.92 4.33 4.66 4.33 4.93 4.93 (confidence rate)

FFTFTTFFTTFFTFFF
TTTTTTTTTTTTTTTT
---:PM / 64
FFTFTTFFTFFTFTFF
TTTTTTTTTXTXXXTT
V--:-- / -
FFTFTTFFTTFFFFFF
TTTTTTTTTTTTXTTT
V--:-- / -
FFTFTTF?TTF?T?FF
TTTTTTT-TTT-T-TT
---:-- / 52
FFTFTTFFTTFFTFFF
TTTTTTTTTTTTTTTT
---:-- / 64
FFTFTTFFTTFFTFFF
TTTTTTTTTTTTTTTT
---:-- / 64
?F?????F??FFTF??
-T-----T--TTTT--
---:-- / 24
?F?????F??FFTF??
-T-----T--TTTT--
---:-- / 24
DNF

0
DNF

0
416

TFFTTFTTTTTFTTTT (expected value)

3.38 3.38 3.38 3.38 3.38 3.38 3.38 3.38 3.38 3.38 3.38 3.40 3.38 3.38 3.38 4.38 (confidence rate)

TFFTTFTTTTTFTTTT
TTTTTTTTTTTTTTTT
---:-- / 64
DNF

0
TFFTTFTTTTTFTTTT
TTTTTTTTTTTTTTTT
---:PM / 64
TFFTTFTTTTT?TTTT
TTTTTTTTTTT-TTTT
---:-- / 60
TFFTTFTTTTTFTTTT
TTTTTTTTTTTTTTTT
---:-- / 64
DNF

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

0
DNF

0
432

TTTTFFFTFTTTFFFF (expected value)

3.69 3.38 4.38 3.38 2.43 3.38 4.38 3.38 4.38 3.38 3.38 3.38 3.38 3.40 4.38 3.38 (confidence rate)

TTTTTFFTFTTTFFFF
TTTTXTTTTTTTTTTT
V--:-- / -
DNF

0
FTTTFFFTFTTTFFFF
XTTTTTTTTTTTTTTT
V--:-- / -
?TTT?FFTFTTTF?FF
-TTT-TTTTTTTT-TT
---:-- / 52
TTTTFFFTFTTTFFFF
TTTTTTTTTTTTTTTT
---:P- / 64
T???????????????
T---------------
---:-- / 4
T?T?F?F?F????FF?
T-T-T-T-T----TT-
---:-- / 28
T?T?F?F?F????FF?
T-T-T-T-T----TT-
---:-M / 28
DNF

0
DNF

0
832

FTTFFTTFTTTTTTFT (expected value)

3.41 2.41 2.41 2.41 2.43 2.41 2.41 2.41 2.41 2.41 3.41 2.41 3.41 3.41 3.41 2.43 (confidence rate)

CC

0
DNF

0
FTTFFTTFTTTTTTFT
TTTTTTTTTTTTTTTT
---:PM / 64
FTTF?TTFTTTTTTF?
TTTT-TTTTTTTTTT-
---:-- / 56
FTTFFTTFTTTTTTFT
TTTTTTTTTTTTTTTT
---:-- / 64
DNF

0
F???F?????T?TTFT
T---T-----T-TTTT
---:-- / 28
F???F?????T?TTFT
T---T-----T-TTTT
---:-- / 28
DNF

0
DNF

0
864

FTTTTTFTTTTTFTFF (expected value)

3.41 2.41 2.41 2.41 2.41 2.41 2.41 2.41 2.41 2.41 2.41 2.41 2.41 2.41 3.41 2.41 (confidence rate)

CC

0
DNF

0
FTTTTTFTTTTTFTFF
TTTTTTTTTTTTTTTT
---:-- / 64
FTTTTTFTTTTTFTFF
TTTTTTTTTTTTTTTT
---:PM / 64
FTTTTTFTTTTTFTFF
TTTTTTTTTTTTTTTT
---:-- / 64
DNF

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

0
DNF

0
PhaseVariation — P/T
  Cunf GreatSPN-Meddly ITS-Tools LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 0 352 656 284 192 412 392 64 64
Bonuses 0 0 16 104 8 0 0 32 0 0
Scores 0 0 336 552 276 192 412 360 64 64
D02CS010

FFTTFTTFTTFFTFFT (expected value)

5.88 5.26 5.88 5.24 5.88 5.88 5.88 5.88 5.88 5.24 5.26 5.88 5.26 5.88 4.62 5.88 (confidence rate)

DNC FTTTFTTFTTTFFFTT
TXTTTTTTTTXTXTXT
V--:-- / -
FFTFFTTFTFFFTFTT
TTTXTTTTTXTTTTXT
V--:-- / -
FFTTFTTFTTFFTFFT
TTTTTTTTTTTTTTTT
---:-- / 64
FFTTFTTFTTFFTFFT
TTTTTTTTTTTTTTTT
---:-- / 64
FFTTFTTFTTFFTFFT
TTTTTTTTTTTTTTTT
---:-- / 64
FFTTFTTFTTFFTFFT
TTTTTTTTTTTTTTTT
---:-- / 64
FFTTFTTFTTFFTFFT
TTTTTTTTTTTTTTTT
---:PM / 64
FFTTFTTFTTFFTFFT
TTTTTTTTTTTTTTTT
---:-- / 64
FFTTFTTFTTFFTFFT
TTTTTTTTTTTTTTTT
---:-- / 64
D02CS100

TFFFFFFTFTFTTTFF (expected value)

4.95 4.95 4.34 4.95 4.95 4.95 3.35 3.35 4.95 4.95 4.95 4.95 4.95 4.95 4.95 4.95 (confidence rate)

DNC TFTFFFTFFTFTTTFF
TTXTTTXXTTTTTTTT
V--:-- / -
TFFFFFFTFTFTTTFF
TTTTTTTTTTTTTTTT
---:PM / 64
TFFFFF??FTFTTTFF
TTTTTT--TTTTTTTT
---:-- / 56
TFFFFFFTFTFTTTFF
TTTTTTTTTTTTTTTT
---:-- / 64
TFFFFFFTFTFTTTFF
TTTTTTTTTTTTTTTT
---:-- / 64
TFFFFFFTFTFTTTFF
TTTTTTTTTTTTTTTT
---:-- / 64
TFFFFFFTFTFTTTFF
TTTTTTTTTTTTTTTT
---:-- / 64
DNF

0
DNF

0
D05CS010

FTFTTFTTFTTFTFFT (expected value)

3.35 2.71 3.98 2.71 2.71 2.98 3.34 3.98 3.98 2.71 2.71 3.98 2.71 3.35 3.96 4.34 (confidence rate)

DNC TFFFFFTTFFFFFTFF
XXTXXTTTTXXTXXTX
V--:-- / -
FFFFFFFTFFFFFFFT
TXTXXTXTTXXTXTTT
V--:-- / -
??????????????FT
--------------TT
---:-- / 8
FTFTTFTTFTTFTFFT
TTTTTTTTTTTTTTTT
---:P- / 64
FTFTTFTTFTTFTFFT
TTTTTTTTTTTTTTTT
---:-- / 64
FTFTT?TTFTTFTF?T
TTTTT-TTTTTTTT-T
---:-- / 56
FTFTT?TTFTTFTF?T
TTTTT-TTTTTTTT-T
---:-M / 56
DNF

0
DNF

0
D05CS100

FTFFFFFTTFFFFFTF (expected value)

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

DNC DNF

0
FTFFFFFTTFFFFFTF
TTTTTTTTTTTTTTTT
---:-- / 64
FTFFFFFTTFFFFFTF
TTTTTTTTTTTTTTTT
---:PM / 64
??FF?FF????????F
--TT-TT--------T
---:-- / 20
DNF

0
FTFFFFFTT?FFFFTF
TTTTTTTTT-TTTTTT
---:-- / 60
FTFFFFFTT?FFFFTF
TTTTTTTTT-TTTTTT
---:-- / 60
DNF

0
DNF

0
D10CS010

FFTFTFTTTTTTTTTT (expected value)

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

DNC DNF

0
F?TFT?TTTTTTTTTT
T-TTT-TTTTTTTTTT
---:-- / 56
FFTFT?TTTTTTTTTT
TTTTT-TTTTTTTTTT
---:-M / 60
F??FT?T???T???T?
T--TT-T---T---T-
---:-- / 24
DNF

0
FFTF?FTTTTTT?TTT
TTTT-TTTTTTT-TTT
---:-- / 56
FFTF?FTTTTTT?TTT
TTTT-TTTTTTT-TTT
---:P- / 56
DNF

0
DNF

0
D10CS100

TFFFTTFTTTTTTFFT (expected value)

2.62 2.62 1.62 2.62 2.62 3.41 2.62 3.41 2.62 2.62 1.98 3.41 3.41 3.41 2.62 2.62 (confidence rate)

DNC CC

0
TFFFTTFTTT?TTFFT
TTTTTTTTTT-TTTTT
---:-- / 60
TFFFTTFTTTTTTFFT
TTTTTTTTTTTTTTTT
---:PM / 64
?????T?T???TTF??
-----T-T---TTT--
---:-- / 20
DNF

0
TF?FTTFTTTTTTFFT
TT-TTTTTTTTTTTTT
---:-- / 60
TF?FTTFTTTTTTFFT
TT-TTTTTTTTTTTTT
---:-- / 60
DNF

0
DNF

0
D20CS010

TTT(F)FTTFTTFTTF(T)T (expected value)

1.48 2.27 2.27 0.50 1.62 1.48 1.48 2.12 1.48 1.48 2.12 1.48 1.48 2.12 0.50 2.27 (confidence rate)

DNC CC

0
????F??F??F??F??
----T--T--T--T--
---:-- / 16
TTT?FTTFTTFTTF?T
TTT-TTTTTTTTTT-T
---:PM / 56
?TT????????????T
-TT------------T
---:-- / 12
DNF

0
TTTF?TTFTTFTTFTT
TTT?-TTTTTTTTT?T
---:-- / 52
????????????????
----------------
---:-- / 0
DNF

0
DNF

0
D20CS100

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

0.64 1.48 0.50 1.48 2.27 1.48 1.48 1.48 2.12 2.12 1.48 1.48 1.62 2.91 1.48 2.12 (confidence rate)

DNC CC

0
F???????FF??FF?F
?-------TT--TT-T
---:-- / 20
?T?TTTTTFFTTFFTF
-T-TTTTTTTTTTTTT
---:PM / 56
????T????????F??
----T--------T--
---:-- / 8
DNF

0
TTFTTTTTFFTT?FTF
XT?TTTTTTTTT-TTT
V--:-- / -
????????????????
----------------
---:-- / 0
DNF

0
DNF

0
D30CS010

TTTFFFTFTTFTTFT(F) (expected value)

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

DNC DNF

0
???FFF?F??F??F?F
---TTT-T--T--T-?
---:-- / 24
TTTFFFTFTTFTTFT?
TTTTTTTTTTTTTTT-
---:PM / 60
????????????????
----------------
---:-- / 0
DNF

0
CC

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

0
DNF

0
D30CS100

TTFTFTFFFTTTFTFF (expected value)

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

DNC DNF

0
??F?F?FFF???F?FF
--T-T-TTT---T-TT
---:-- / 32
TTFTFTFFFTTTFTFF
TTTTTTTTTTTTTTTT
---:PM / 64
????????????????
----------------
---:-- / 0
DNF

0
CC

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

0
DNF

0
Raft — P/T
  Cunf GreatSPN-Meddly ITS-Tools LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 72 248 428 632 448 508 588 64 304
Bonuses 0 8 0 0 56 0 0 80 0 0
Scores 0 64 248 428 576 448 508 508 64 304
02

TFTFTFFFFTFFTTFF (expected value)

6.21 6.85 5.59 5.88 5.24 6.23 6.85 6.85 6.85 6.21 5.88 5.88 5.59 6.85 5.26 6.85 (confidence rate)

TFTTFFFFFTTTTTTF
TTTXXTTTTTXXTTXT
V--:-- / -
TFFFTTFFFTFFFTTF
TTXTTXTTTTTTXTXT
V--:-- / -
FFFFFFFFFFFFFTFF
XTXTXTTTTXTTXTTT
V--:-- / -
TFTFTFFFFTFFTTFF
TTTTTTTTTTTTTTTT
---:-- / 64
TFTFTFFFFTFFTTFF
TTTTTTTTTTTTTTTT
---:-- / 64
TFTFTFFFFTFFTTFF
TTTTTTTTTTTTTTTT
---:-- / 64
TFTFTFFFFTFFTTFF
TTTTTTTTTTTTTTTT
---:-- / 64
TFTFTFFFFTFFTTFF
TTTTTTTTTTTTTTTT
---:PM / 64
TFTFTFFFFTFFTTFF
TTTTTTTTTTTTTTTT
---:-- / 64
TFTFTFFFFTFFTTFF
TTTTTTTTTTTTTTTT
---:-- / 64
03

FTFTFTTFTTFTFFFT (expected value)

5.44 5.44 5.44 5.44 5.44 5.44 3.34 3.35 5.44 3.34 3.35 4.81 3.35 4.34 4.81 2.71 (confidence rate)

DNF

0
FTFTFTTTTTTFTTTF
TTTTTTTXTTXXXXXX
V--:-- / -
FTFTFTFFTFFTFFFF
TTTTTTXTTXTTTTTX
V--:-- / -
FTFTFT??T??T?FF?
TTTTTT--T--T-TT-
---:-- / 40
FTFTFTTFTTFTFFFT
TTTTTTTTTTTTTTTT
---:-- / 64
FTFTFTTFTTFTFFFT
TTTTTTTTTTTTTTTT
---:-- / 64
FTFTFTTFTTFTFFFT
TTTTTTTTTTTTTTTT
---:-- / 64
FTFTFTTFTTFTFFFT
TTTTTTTTTTTTTTTT
---:PM / 64
DNF

0
FTFTFT??T??T??F?
TTTTTT--T--T--T-
---:-- / 36
04

TTTTTTTTFTFTFFTT (expected value)

2.71 5.44 5.44 3.34 5.44 5.44 2.71 3.70 5.44 3.96 4.81 5.44 3.35 3.98 2.71 2.71 (confidence rate)

CC

0
FTTTTTFFFTTTTFFF
XTTTTTXXTTXTXTXX
V--:-- / -
FTTFTTFFFTFTFFFF
XTTXTTXXTTTTTTXX
V--:-- / -
?TT?TT?TFTFT????
-TT-TT-TTTTT----
---:-- / 36
TTTTTTTTFTFTFFTT
TTTTTTTTTTTTTTTT
---:P- / 64
TTTTTTTTFTFTFFTT
TTTTTTTTTTTTTTTT
---:-- / 64
TTTTTTTTF?FTFFTT
TTTTTTTTT-TTTTTT
---:-- / 60
TTTTTTTTF?FTFFTT
TTTTTTTTT-TTTTTT
---:-M / 60
DNF

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

TTTTFTTTTTTTTTFF (expected value)

3.96 5.44 4.34 2.36 4.44 4.95 3.34 5.44 5.44 5.44 5.44 5.44 4.95 5.44 5.44 3.98 (confidence rate)

CC

0
TTFFFTTTTTTTTTFF
TTXXTTTTTTTTTTTT
V--:-- / -
TTTTFTFTTTTTTTFF
TTTTTTXTTTTTTTTT
V--:-- / -
TTT?FT?TTTTTTTF?
TTT-TT-TTTTTTTT-
---:-- / 52
TTTTFTTTTTTTTTFF
TTTTTTTTTTTTTTTT
---:P- / 64
TTTTFTTTTTTTTTFF
TTTTTTTTTTTTTTTT
---:-- / 64
?TT??TTTTTTTTTFF
-TT--TTTTTTTTTTT
---:-- / 52
?TT??TTTTTTTTTFF
-TT--TTTTTTTTTTT
---:-M / 52
DNF

0
?T??F??TTTTT?TF?
-T--T--TTTTT-TT-
---:-- / 36
06

FTTFTFTFFTTFFTTT (expected value)

5.44 5.44 4.44 5.44 5.44 3.98 5.44 4.95 3.98 4.95 4.95 5.44 5.44 5.44 5.44 5.44 (confidence rate)

CC

0
FTTFTFTFFTTFFTTT
TTTTTTTTTTTTTTTT
---:-M / 64
FTTFTFTFFTTFFTTT
TTTTTTTTTTTTTTTT
---:-- / 64
FTTFT?TF?TTFFTTT
TTTTT-TT-TTTTTTT
---:-- / 56
FTTFTFTFFTTFFTTT
TTTTTTTTTTTTTTTT
---:P- / 64
FTTFTFTFFTTFFTTT
TTTTTTTTTTTTTTTT
---:-- / 64
FT?FTFTFFTTFFTTT
TT-TTTTTTTTTTTTT
---:-- / 60
FT?FTFTFFTTFFTTT
TT-TTTTTTTTTTTTT
---:-- / 60
DNF

0
FTTFT?T????FFTTT
TTTTT-T----TTTTT
---:-- / 44
07

TFFFTFTFTTFTTTTF (expected value)

3.34 2.71 4.81 3.34 4.81 4.81 4.34 4.81 4.81 4.81 4.81 4.81 2.71 4.81 4.81 3.34 (confidence rate)

CC

0
DNF

0
T?FFTFTFTTFTFTTF
T-TTTTTTTTTTXTTT
V--:-- / -
TTFFTFTFTTFT?TTF
TXTTTTTTTTTT-TTT
V--:-- / -
TFFFTFTFTTFTTTTF
TTTTTTTTTTTTTTTT
---:P- / 64
TFFFTFTFTTFTTTTF
TTTTTTTTTTTTTTTT
---:-- / 64
?FF?TFTFTTFTTTT?
-TT-TTTTTTTTTTT-
---:-- / 52
?FF?TFTFTTFTTTT?
-TT-TTTTTTTTTTT-
---:-M / 52
DNF

0
??F?TF?FTTFT?TT?
--T-TT-TTTTT-TT-
---:-- / 40
08

TFFTFFFTTTTTTTTF (expected value)

4.81 3.34 3.34 3.34 4.34 3.34 3.34 4.81 4.34 4.34 2.36 4.34 3.81 4.81 4.81 4.81 (confidence rate)

CC

0
DNF

0
TFFTFFFTTTTTTTTF
TTTTTTTTTTTTTTTT
---:-- / 64
TFFTFFFTTT?TTTTF
TTTTTTTTTT-TTTTT
---:-- / 60
TFFTFFFTTTTTTTTF
TTTTTTTTTTTTTTTT
---:P- / 64
TFFTFFFTTTTTTTTF
TTTTTTTTTTTTTTTT
---:-- / 64
T???F??TTT?T?TTF
T---T--TTT-T-TTT
---:-- / 36
T???F??TTT?T?TTF
T---T--TTT-T-TTT
---:-M / 36
DNF

0
T??????T????TTTF
T------T----TTTT
---:-- / 24
09

FTTTFFTTFFTTTTFF (expected value)

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

CC

0
DNF

0
FTTTFFTTF?TTTTFF
TTTTTTTTT-TTTTTT
---:-- / 60
FTTTFFTTF?TTTTFF
TTTTTTTTT-TTTTTT
---:-- / 60
FTTTFFTTFFTTTTFF
TTTTTTTTTTTTTTTT
---:P- / 64
DNF

0
F?TTFFTTFFTTTTFF
T-TTTTTTTTTTTTTT
---:-- / 60
F?TTFFTTFFTTTTFF
T-TTTTTTTTTTTTTT
---:-M / 60
DNF

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

TTFFFFFTTFTTTTTF (expected value)

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

CC

0
DNF

0
TT?FFFFTTFTTTTTF
TT-TTTTTTTTTTTTT
---:-- / 60
TT?FFFFTTFTTTTTF
TT-TTTTTTTTTTTTT
---:-- / 60
TTFFFFFTTFTTTTTF
TTTTTTTTTTTTTTTT
---:P- / 64
DNF

0
TTFF?FFTTFTTTTTF
TTTT-TTTTTTTTTTT
---:-- / 60
TTFF?FFTTFTTTTTF
TTTT-TTTTTTTTTTT
---:-M / 60
DNF

0
T???????????TTTF
T-----------TTTT
---:-- / 20
SafeBus — Colored
  Cunf GreatSPN-Meddly ITS-Tools LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 0 64 0 0 0 0 0 0 0
Bonuses 0 0 64 0 0 0 0 0 0 0
Scores 0 0 0 0 0 0 0 0 0 0
03

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

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

DNC CC

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

0
CC

0
DNC DNC DNC DNC
06

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

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

DNC CC

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

0
CC

0
DNC DNC DNC DNC
10

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

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

DNC CC

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

0
CC

0
DNC DNC DNC DNC
15

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

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

DNC CC

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

0
CC

0
DNC DNC DNC DNC
20

? (expected value)

0 (confidence rate)

DNC CC

0
CC

0
DNC CC

0
CC

0
DNC DNC DNC DNC
50

? (expected value)

0 (confidence rate)

DNC CC

0
CC

0
DNC CC

0
CC

0
DNC DNC DNC DNC
80

? (expected value)

0 (confidence rate)

DNC CC

0
CC

0
DNC CC

0
CC

0
DNC DNC DNC DNC
SafeBus — P/T
  Cunf GreatSPN-Meddly ITS-Tools LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 0 64 208 168 72 164 160 64 72
Bonuses 0 0 24 32 0 0 8 8 0 8
Scores 0 0 40 176 168 72 156 152 64 64
03

FFFTFFFTTFFFFFTF (expected value)

5.26 6.85 5.26 6.21 5.88 6.23 5.85 3.62 4.62 4.26 6.85 5.88 6.85 5.85 6.21 6.85 (confidence rate)

TFTTTFFFFTFTFFTF
XTXTXTTXXXTXTTTT
V--:-- / -
TFTTFTFFFTFFFFTF
XTXTTXTXXXTTTTTT
V--:-- / -
FFFFFFFFFFFFFFFF
TTTXTTTXXTTTTTXT
V--:-- / -
FFFTFFFTTFFFFFTF
TTTTTTTTTTTTTTTT
---:-M / 64
FFFTFFFTTFFFFFTF
TTTTTTTTTTTTTTTT
---:-- / 64
FFFTFFFTTFFFFFTF
TTTTTTTTTTTTTTTT
---:-- / 64
FFFTFF??T?FFF?TF
TTTTTT--T-TTT-TT
---:-- / 48
FFFTFF??T?FFF?TF
TTTTTT--T-TTT-TT
---:-- / 48
FFFTFFFTTFFFFFTF
TTTTTTTTTTTTTTTT
---:-- / 64
FFFTFFFTTFFFFFTF
TTTTTTTTTTTTTTTT
---:P- / 64
06

FTFTTTTTTTTTFFTF (expected value)

3.34 2.70 2.41 2.77 3.41 1.77 3.41 3.41 3.41 1.77 2.41 2.41 3.41 3.41 3.41 3.41 (confidence rate)

DNF

0
DNF

0
FFFFTFTTTFTTFFTF
TXTXTXTTTXTTTTTT
V--:-- / -
FTFTTTTTTTTTFFTF
TTTTTTTTTTTTTTTT
---:PM / 64
FTFTTTTTTTTTFFTF
TTTTTTTTTTTTTTTT
---:-- / 64
FT??????????????
TT--------------
---:-- / 8
???TT?TTT???FFTF
---TT-TTT---TTTT
---:-- / 36
???TT?TTT???FFTF
---TT-TTT---TTTT
---:-- / 36
DNF

0
DNF

0
10

? (F)TTTTTFTFT? ? TTF (expected value)

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

DNF

0
DNF

0
?FTT?T?FT????TTF
??TT-T-TT--??TTT
---:P- / 32
??TTTTTFTFT??TTF
?-TTTTTTTTT??TTT
---:-M / 48
??TTTTTFT????TTF
?-TTTTTTT--??TTT
---:-- / 40
DNF

0
????TTT?T????TT?
?---TTT-T--??TT-
---:-- / 24
????TTT?T????TT?
?---TTT-T--??TT-
---:-- / 24
DNF

0
DNF

0
15

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

1.00 0 0 1.00 0.64 1.00 1.00 0.64 1.64 1.00 0.64 0.64 1.00 1.00 0 1.14 (confidence rate)

DNF

0
DNF

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

0
T??T?TT?FT??TT?F
T??T-TT-TT--TT?T
---:-- / 36
T??T?TT?FT??TT??
T??T-TT-TT--TT?-
---:-- / 32
DNF

0
DNF

0
20

? (T)? ? ? ? ? (T)TFT? (T)? ? ? (expected value)

0 0.50 0 0 0 0 0 0.50 1.00 1.00 1.00 0 0.50 0 0 0 (confidence rate)

DNF

0
CC

0
CC

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

0
?T?????TTFT?T???
????????TTT?????
---:P- / 12
????????TFT?????
?-?????-TTT?-???
---:-M / 12
DNF

0
DNF

0
SmallOperatingSystem — P/T
  Cunf GreatSPN-Meddly ITS-Tools LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 192 128 1264 1216 1216 1216 1424 1264 1216
Bonuses 0 0 0 48 0 0 0 208 48 0
Scores 0 192 128 1216 1216 1216 1216 1216 1216 1216
MT0016DC0008

FFFTFFFFTTFTFTTT (expected value)

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

DNC FFFTFFFFTTTTFTTT
TTTTTTTTTTXTTTTT
V--:-- / -
FFFFFFFFFTFFFFTF
TTTXTTTTXTTXTXTX
V--:-- / -
FFFTFFFFTTFTFTTT
TTTTTTTTTTTTTTTT
---:-- / 64
FFFTFFFFTTFTFTTT
TTTTTTTTTTTTTTTT
---:-- / 64
FFFTFFFFTTFTFTTT
TTTTTTTTTTTTTTTT
---:-- / 64
FFFTFFFFTTFTFTTT
TTTTTTTTTTTTTTTT
---:-- / 64
FFFTFFFFTTFTFTTT
TTTTTTTTTTTTTTTT
---:PM / 64
FFFTFFFFTTFTFTTT
TTTTTTTTTTTTTTTT
---:-- / 64
FFFTFFFFTTFTFTTT
TTTTTTTTTTTTTTTT
---:-- / 64
MT0032DC0008

FFFFTTTFTFTFFFFF (expected value)

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

DNC FFFFTTTFTFTFFFFF
TTTTTTTTTTTTTTTT
---:-- / 64
FFFFFFFFTFTFFFFF
TTTTXXXTTTTTTTTT
V--:-- / -
FFFFTTTFTFTFFFFF
TTTTTTTTTTTTTTTT
---:-- / 64
FFFFTTTFTFTFFFFF
TTTTTTTTTTTTTTTT
---:-- / 64
FFFFTTTFTFTFFFFF
TTTTTTTTTTTTTTTT
---:-- / 64
FFFFTTTFTFTFFFFF
TTTTTTTTTTTTTTTT
---:-- / 64
FFFFTTTFTFTFFFFF
TTTTTTTTTTTTTTTT
---:P- / 64
FFFFTTTFTFTFFFFF
TTTTTTTTTTTTTTTT
---:-M / 64
FFFFTTTFTFTFFFFF
TTTTTTTTTTTTTTTT
---:-- / 64
MT0032DC0016

FFFFTFFFFFTFFTTF (expected value)

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

DNC FFFFTFFFFFTFFTTF
TTTTTTTTTTTTTTTT
---:-- / 64
FFFFFFFFFFFFFTTF
TTTTXTTTTTXTTTTT
V--:-- / -
FFFFTFFFFFTFFTTF
TTTTTTTTTTTTTTTT
---:-M / 64
FFFFTFFFFFTFFTTF
TTTTTTTTTTTTTTTT
---:-- / 64
FFFFTFFFFFTFFTTF
TTTTTTTTTTTTTTTT
---:-- / 64
FFFFTFFFFFTFFTTF
TTTTTTTTTTTTTTTT
---:-- / 64
FFFFTFFFFFTFFTTF
TTTTTTTTTTTTTTTT
---:P- / 64
FFFFTFFFFFTFFTTF
TTTTTTTTTTTTTTTT
---:-- / 64
FFFFTFFFFFTFFTTF
TTTTTTTTTTTTTTTT
---:-- / 64
MT0064DC0016

FTFFFFFFFFFFFFFF (expected value)

5.88 5.88 5.88 5.88 5.26 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 (confidence rate)

DNC FTFFTFFFFFFFFFFF
TTTTXTTTTTTTTTTT
V--:-- / -
FTFFFFFFFFFFFFFF
TTTTTTTTTTTTTTTT
---:-- / 64
FTFFFFFFFFFFFFFF
TTTTTTTTTTTTTTTT
---:-- / 64
FTFFFFFFFFFFFFFF
TTTTTTTTTTTTTTTT
---:-- / 64
FTFFFFFFFFFFFFFF
TTTTTTTTTTTTTTTT
---:-- / 64
FTFFFFFFFFFFFFFF
TTTTTTTTTTTTTTTT
---:-- / 64
FTFFFFFFFFFFFFFF
TTTTTTTTTTTTTTTT
---:PM / 64
FTFFFFFFFFFFFFFF
TTTTTTTTTTTTTTTT
---:-- / 64
FTFFFFFFFFFFFFFF
TTTTTTTTTTTTTTTT
---:-- / 64
MT0064DC0032

FFTFTFFFFTFTFFFF (expected value)

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

DNC TFTFTFFFFTFTFFFT
XTTTTTTTTTTTTTTX
V--:-- / -
FFFFFFFFFFFTFFFF
TTXTXTTTTXTTTTTT
V--:-- / -
FFTFTFFFFTFTFFFF
TTTTTTTTTTTTTTTT
---:-- / 64
FFTFTFFFFTFTFFFF
TTTTTTTTTTTTTTTT
---:-- / 64
FFTFTFFFFTFTFFFF
TTTTTTTTTTTTTTTT
---:-- / 64
FFTFTFFFFTFTFFFF
TTTTTTTTTTTTTTTT
---:-- / 64
FFTFTFFFFTFTFFFF
TTTTTTTTTTTTTTTT
---:P- / 64
FFTFTFFFFTFTFFFF
TTTTTTTTTTTTTTTT
---:-M / 64
FFTFTFFFFTFTFFFF
TTTTTTTTTTTTTTTT
---:-- / 64
MT0128DC0032

FFFFTFTFFTFFFTTF (expected value)

5.88 5.88 5.26 5.26 4.62 5.88 5.88 5.88 5.88 5.24 5.88 5.26 5.88 5.88 5.88 5.88 (confidence rate)

DNC FFTTFFTFFTFTFTTF
TTXXXTTTTTTXTTTT
V--:-- / -
FFFFFFTFFFFFFTTF
TTTTXTTTTXTTTTTT
V--:-- / -
FFFFTFTFFTFFFTTF
TTTTTTTTTTTTTTTT
---:-M / 64
FFFFTFTFFTFFFTTF
TTTTTTTTTTTTTTTT
---:-- / 64
FFFFTFTFFTFFFTTF
TTTTTTTTTTTTTTTT
---:-- / 64
FFFFTFTFFTFFFTTF
TTTTTTTTTTTTTTTT
---:-- / 64
FFFFTFTFFTFFFTTF
TTTTTTTTTTTTTTTT
---:P- / 64
FFFFTFTFFTFFFTTF
TTTTTTTTTTTTTTTT
---:-- / 64
FFFFTFTFFTFFFTTF
TTTTTTTTTTTTTTTT
---:-- / 64
MT0128DC0064

FTFFTFFFFTFFTTFF (expected value)

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

DNC FTFFTFFFFTFFTFFF
TTTTTTTTTTTTTXTT
V--:-- / -
FFFFFFFFFFFFTTFF
TXTTXTTTTXTTTTTT
V--:-- / -
FTFFTFFFFTFFTTFF
TTTTTTTTTTTTTTTT
---:-- / 64
FTFFTFFFFTFFTTFF
TTTTTTTTTTTTTTTT
---:-- / 64
FTFFTFFFFTFFTTFF
TTTTTTTTTTTTTTTT
---:-- / 64
FTFFTFFFFTFFTTFF
TTTTTTTTTTTTTTTT
---:-- / 64
FTFFTFFFFTFFTTFF
TTTTTTTTTTTTTTTT
---:PM / 64
FTFFTFFFFTFFTTFF
TTTTTTTTTTTTTTTT
---:-- / 64
FTFFTFFFFTFFTTFF
TTTTTTTTTTTTTTTT
---:-- / 64
MT0256DC0064

FTFFTFFFFTTFFFFF (expected value)

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

DNC FTFFTFFFTTTFFFFT
TTTTTTTTXTTTTTTX
V--:-- / -
FTFFTFFFFFFFFFFF
TTTTTTTTTXXTTTTT
V--:-- / -
FTFFTFFFFTTFFFFF
TTTTTTTTTTTTTTTT
---:-M / 64
FTFFTFFFFTTFFFFF
TTTTTTTTTTTTTTTT
---:-- / 64
FTFFTFFFFTTFFFFF
TTTTTTTTTTTTTTTT
---:-- / 64
FTFFTFFFFTTFFFFF
TTTTTTTTTTTTTTTT
---:-- / 64
FTFFTFFFFTTFFFFF
TTTTTTTTTTTTTTTT
---:P- / 64
FTFFTFFFFTTFFFFF
TTTTTTTTTTTTTTTT
---:-- / 64
FTFFTFFFFTTFFFFF
TTTTTTTTTTTTTTTT
---:-- / 64
MT0256DC0128

FTTTFFTFFTFFFTTT (expected value)

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

DNC FTTTFFFFFTFFFTTT
TTTTTTXTTTTTTTTT
V--:-- / -
FTFTFFFFFFFFFFFT
TTXTTTXTTXTTTXXT
V--:-- / -
FTTTFFTFFTFFFTTT
TTTTTTTTTTTTTTTT
---:-- / 64
FTTTFFTFFTFFFTTT
TTTTTTTTTTTTTTTT
---:-- / 64
FTTTFFTFFTFFFTTT
TTTTTTTTTTTTTTTT
---:-- / 64
FTTTFFTFFTFFFTTT
TTTTTTTTTTTTTTTT
---:-- / 64
FTTTFFTFFTFFFTTT
TTTTTTTTTTTTTTTT
---:P- / 64
FTTTFFTFFTFFFTTT
TTTTTTTTTTTTTTTT
---:-M / 64
FTTTFFTFFTFFFTTT
TTTTTTTTTTTTTTTT
---:-- / 64
MT0512DC0128

TFFTTTFFTFTTFTTF (expected value)

5.24 5.88 5.88 5.24 5.24 5.88 5.88 5.88 4.62 5.26 5.88 5.88 5.88 5.26 5.24 5.88 (confidence rate)

DNC TFFTTTFFFTTTFFTF
TTTTTTTTXXTTTXTT
V--:-- / -
FFFFFTFFFFTTFTFF
XTTXXTTTXTTTTTXT
V--:-- / -
TFFTTTFFTFTTFTTF
TTTTTTTTTTTTTTTT
---:-- / 64
TFFTTTFFTFTTFTTF
TTTTTTTTTTTTTTTT
---:-- / 64
TFFTTTFFTFTTFTTF
TTTTTTTTTTTTTTTT
---:-- / 64
TFFTTTFFTFTTFTTF
TTTTTTTTTTTTTTTT
---:-- / 64
TFFTTTFFTFTTFTTF
TTTTTTTTTTTTTTTT
---:PM / 64
TFFTTTFFTFTTFTTF
TTTTTTTTTTTTTTTT
---:-- / 64
TFFTTTFFTFTTFTTF
TTTTTTTTTTTTTTTT
---:-- / 64
MT0512DC0256

TFFFTFTTFFFFFFTT (expected value)

4.62 5.88 5.88 5.88 5.24 5.26 5.26 5.88 5.88 5.88 5.88 5.88 5.26 5.88 5.88 4.62 (confidence rate)

DNC FFFFTTFTFFFFTFTF
XTTTTXXTTTTTXTTX
V--:-- / -
FFFFFFTTFFFFFFTF
XTTTXTTTTTTTTTTX
V--:-- / -
TFFFTFTTFFFFFFTT
TTTTTTTTTTTTTTTT
---:-- / 64
TFFFTFTTFFFFFFTT
TTTTTTTTTTTTTTTT
---:-- / 64
TFFFTFTTFFFFFFTT
TTTTTTTTTTTTTTTT
---:-- / 64
TFFFTFTTFFFFFFTT
TTTTTTTTTTTTTTTT
---:-- / 64
TFFFTFTTFFFFFFTT
TTTTTTTTTTTTTTTT
---:PM / 64
TFFFTFTTFFFFFFTT
TTTTTTTTTTTTTTTT
---:-- / 64
TFFFTFTTFFFFFFTT
TTTTTTTTTTTTTTTT
---:-- / 64
MT1024DC0256

FFTFTFFFFTTTFFTF (expected value)

5.88 5.88 5.24 5.88 5.24 5.26 5.88 5.88 5.88 5.24 4.62 5.24 5.88 5.88 5.88 5.88 (confidence rate)

DNC FFTFTTFFFTFTFFTF
TTTTTXTTTTXTTTTT
V--:-- / -
FFFFFFFFFFFFFFTF
TTXTXTTTTXXXTTTT
V--:-- / -
FFTFTFFFFTTTFFTF
TTTTTTTTTTTTTTTT
---:-- / 64
FFTFTFFFFTTTFFTF
TTTTTTTTTTTTTTTT
---:-- / 64
FFTFTFFFFTTTFFTF
TTTTTTTTTTTTTTTT
---:-- / 64
FFTFTFFFFTTTFFTF
TTTTTTTTTTTTTTTT
---:-- / 64
FFTFTFFFFTTTFFTF
TTTTTTTTTTTTTTTT
---:P- / 64
FFTFTFFFFTTTFFTF
TTTTTTTTTTTTTTTT
---:-M / 64
FFTFTFFFFTTTFFTF
TTTTTTTTTTTTTTTT
---:-- / 64
MT1024DC0512

TFTTFFTFFFFFFFTF (expected value)

5.24 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 5.88 5.88 (confidence rate)

DNC TFTTFFTFFFFFFFTF
TTTTTTTTTTTTTTTT
---:-- / 64
FFFFFFTFFFFFFFTF
XTXXTTTTTTTTTTTT
V--:-- / -
TFTTFFTFFFFFFFTF
TTTTTTTTTTTTTTTT
---:-M / 64
TFTTFFTFFFFFFFTF
TTTTTTTTTTTTTTTT
---:-- / 64
TFTTFFTFFFFFFFTF
TTTTTTTTTTTTTTTT
---:-- / 64
TFTTFFTFFFFFFFTF
TTTTTTTTTTTTTTTT
---:-- / 64
TFTTFFTFFFFFFFTF
TTTTTTTTTTTTTTTT
---:P- / 64
TFTTFFTFFFFFFFTF
TTTTTTTTTTTTTTTT
---:-- / 64
TFTTFFTFFFFFFFTF
TTTTTTTTTTTTTTTT
---:-- / 64
MT2048DC0512

TFTFFFFFFFFFTFFF (expected value)

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

DNC DNF

0
TFFFFFFFFFFFTFFF
TTXTTTTTTTTTTTTT
V--:-- / -
TFTFFFFFFFFFTFFF
TTTTTTTTTTTTTTTT
---:-- / 64
TFTFFFFFFFFFTFFF
TTTTTTTTTTTTTTTT
---:-- / 64
TFTFFFFFFFFFTFFF
TTTTTTTTTTTTTTTT
---:-- / 64
TFTFFFFFFFFFTFFF
TTTTTTTTTTTTTTTT
---:-- / 64
TFTFFFFFFFFFTFFF
TTTTTTTTTTTTTTTT
---:PM / 64
TFTFFFFFFFFFTFFF
TTTTTTTTTTTTTTTT
---:-- / 64
TFTFFFFFFFFFTFFF
TTTTTTTTTTTTTTTT
---:-- / 64
MT2048DC1024

TFFFFFTTFFFTTFFF (expected value)

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

DNC DNF

0
FFFFFFFTFFFFTFFF
XTTTTTXTTTTXTTTT
V--:-- / -
TFFFFFTTFFFTTFFF
TTTTTTTTTTTTTTTT
---:-- / 64
TFFFFFTTFFFTTFFF
TTTTTTTTTTTTTTTT
---:-- / 64
TFFFFFTTFFFTTFFF
TTTTTTTTTTTTTTTT
---:-- / 64
TFFFFFTTFFFTTFFF
TTTTTTTTTTTTTTTT
---:-- / 64
TFFFFFTTFFFTTFFF
TTTTTTTTTTTTTTTT
---:P- / 64
TFFFFFTTFFFTTFFF
TTTTTTTTTTTTTTTT
---:-M / 64
TFFFFFTTFFFTTFFF
TTTTTTTTTTTTTTTT
---:-- / 64
MT4096DC1024

FFFFFFFFFTTFFFTT (expected value)

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

DNC DNF

0
FFFFFFFFFFFFFFTT
TTTTTTTTTXXTTTTT
V--:-- / -
FFFFFFFFFTTFFFTT
TTTTTTTTTTTTTTTT
---:-M / 64
FFFFFFFFFTTFFFTT
TTTTTTTTTTTTTTTT
---:-- / 64
FFFFFFFFFTTFFFTT
TTTTTTTTTTTTTTTT
---:-- / 64
FFFFFFFFFTTFFFTT
TTTTTTTTTTTTTTTT
---:-- / 64
FFFFFFFFFTTFFFTT
TTTTTTTTTTTTTTTT
---:P- / 64
FFFFFFFFFTTFFFTT
TTTTTTTTTTTTTTTT
---:-- / 64
FFFFFFFFFTTFFFTT
TTTTTTTTTTTTTTTT
---:-- / 64
MT4096DC2048

FTTFFFFFFFFFFFFF (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.26 5.26 5.26 5.26 5.26 (confidence rate)

DNC DNF

0
FTTFFFFFFFFFFFFF
TTTTTTTTTTTTTTTT
---:-- / 64
FTTFFFFFFFFFFFFF
TTTTTTTTTTTTTTTT
---:-- / 64
FTTFFFFFFFFFFFFF
TTTTTTTTTTTTTTTT
---:-- / 64
FTTFFFFFFFFFFFFF
TTTTTTTTTTTTTTTT
---:-- / 64
FTTFFFFFFFFFFFFF
TTTTTTTTTTTTTTTT
---:-- / 64
FTTFFFFFFFFFFFFF
TTTTTTTTTTTTTTTT
---:PM / 64
FTTFFFFFFFFFFFFF
TTTTTTTTTTTTTTTT
---:-- / 64
FTTFFFFFFFFFFFFF
TTTTTTTTTTTTTTTT
---:-- / 64
MT8192DC2048

FFFFFTFFFFFTFFTT (expected value)

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

DNC DNF

0
FFFFFTFFFFFFFFFF
TTTTTTTTTTTXTTXX
V--:-- / -
FFFFFTFFFFFTFFTT
TTTTTTTTTTTTTTTT
---:-M / 64
FFFFFTFFFFFTFFTT
TTTTTTTTTTTTTTTT
---:-- / 64
FFFFFTFFFFFTFFTT
TTTTTTTTTTTTTTTT
---:-- / 64
FFFFFTFFFFFTFFTT
TTTTTTTTTTTTTTTT
---:-- / 64
FFFFFTFFFFFTFFTT
TTTTTTTTTTTTTTTT
---:P- / 64
FFFFFTFFFFFTFFTT
TTTTTTTTTTTTTTTT
---:-- / 64
FFFFFTFFFFFTFFTT
TTTTTTTTTTTTTTTT
---:-- / 64
MT8192DC4096

FFTFFTTTFFTTFTFF (expected value)

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

DNC DNF

0
FFTFFFFTFFTFFFFF
TTTTTXXTTTTXTXTT
V--:-- / -
FFTFFTTTFFTTFTFF
TTTTTTTTTTTTTTTT
---:-- / 64
FFTFFTTTFFTTFTFF
TTTTTTTTTTTTTTTT
---:-- / 64
FFTFFTTTFFTTFTFF
TTTTTTTTTTTTTTTT
---:-- / 64
FFTFFTTTFFTTFTFF
TTTTTTTTTTTTTTTT
---:-- / 64
FFTFFTTTFFTTFTFF
TTTTTTTTTTTTTTTT
---:P- / 64
FFTFFTTTFFTTFTFF
TTTTTTTTTTTTTTTT
---:-M / 64
FFTFFTTTFFTTFTFF
TTTTTTTTTTTTTTTT
---:-- / 64
SquareGrid — P/T
  Cunf GreatSPN-Meddly ITS-Tools LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 0 0 332 132 64 296 292 0 132
Bonuses 0 0 0 32 16 0 16 16 0 0
Scores 0 0 0 300 116 64 280 276 0 132
020102

TTTFTFFFFFTFFTFT (expected value)

4.17 4.17 2.71 3.18 2.71 4.17 4.17 4.17 4.17 4.17 4.17 4.17 2.71 4.17 3.18 4.17 (confidence rate)

DNC DNF

0
CC

0
TT?F?FFFFFTF?TFT
TT-T-TTTTTTT-TTT
---:-- / 52
TTTFTFFFFFTFFTFT
TTTTTTTTTTTTTTTT
---:P- / 64
TTTFTFFFFFTFFTFT
TTTTTTTTTTTTTTTT
---:-- / 64
TTT?TFFFFFTFFT?T
TTT-TTTTTTTTTT-T
---:-- / 56
TTT?TFFFFFTFFT?T
TTT-TTTTTTTTTT-T
---:-M / 56
DNF

0
TT?F?FFFFFTF?TFT
TT-T-TTTTTTT-TTT
---:-- / 52
040204

FTTFFTFTTFTTTFTT (expected value)

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

DNC DNF

0
CC

0
FTT?FTFTTFTTTFTT
TTT-TTTTTTTTTTTT
---:-- / 60
FT??FT?TT?T????T
TT--TT-TT-T----T
---:-- / 32
DNF

0
FTTFFTFTTFTTTFTT
TTTTTTTTTTTTTTTT
---:P- / 64
FTTFFTFTTFTTTFTT
TTTTTTTTTTTTTTTT
---:-M / 64
DNF

0
FTT??TFTTFT?TFTT
TTT--TTTTTT-TTTT
---:-- / 52
080408

FTFTTFTTFTFTTTFF (expected value)

1.98 2.46 1.98 2.46 2.75 1.98 1.98 2.25 1.98 1.98 1.98 2.46 0.98 2.46 2.46 0.98 (confidence rate)

DNC DNF

0
CC

0
FTFTTFTTFTFTTTFF
TTTTTTTTTTTTTTTT
---:PM / 64
????T??T????????
----T--T--------
---:-- / 8
DNF

0
FTFTTFT?FTFT?TF?
TTTTTTT-TTTT-TT-
---:-- / 52
FTFT?FT?FTFT?TF?
TTTT-TT-TTTT-TT-
---:-- / 48
DNF

0
?T?TT??T???T?TF?
-T-TT--T---T-TT-
---:-- / 28
100510

TFTFTTTTFFFFTTTF (expected value)

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

DNC DNF

0
CC

0
TFTFTTTTFFFFTTTF
TTTTTTTTTTTTTTTT
---:PM / 64
???????T????T???
-------T----T---
---:-- / 8
DNF

0
TFTFTTT?F?FFTTTF
TTTTTTT-T-TTTTTT
---:-- / 56
TFTFTTT?F?FFTTTF
TTTTTTT-T-TTTTTT
---:-- / 56
DNF

0
DNF

0
130613

TTTFTTTTTTFTTFFF (expected value)

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

DNC CC

0
CC

0
TTTFTTTTTTFTTF?F
TTTTTTTTTTTTTT-T
---:-- / 60
???????????T????
-----------T----
---:-M / 4
DNF

0
??TFTTTTTTF?TFFF
--TTTTTTTTT-TTTT
---:P- / 52
??TFTTTTTTF?TFFF
--TTTTTTTTT-TTTT
---:-- / 52
DNF

0
DNF

0
SwimmingPool — P/T
  Cunf GreatSPN-Meddly ITS-Tools LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 256 96 688 392 532 648 700 512 460
Bonuses 0 0 0 72 0 0 16 72 0 0
Scores 0 256 96 616 392 532 632 628 512 460
01

FTTTFFTTFTFTFTTF (expected value)

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

DNC FTTTFFTTFTFTFTTF
TTTTTTTTTTTTTTTT
---:-- / 64
FTTFFFTFFTTTFFTF
TTTXTTTXTTXTTXTT
V--:-- / -
FTTTFFTTFTFTFTTF
TTTTTTTTTTTTTTTT
---:-- / 64
FTTTFFTTFTFTFTTF
TTTTTTTTTTTTTTTT
---:-- / 64
FTTTFFTTFTFTFTTF
TTTTTTTTTTTTTTTT
---:-- / 64
FTTTFFTTFTFTFTTF
TTTTTTTTTTTTTTTT
---:-- / 64
FTTTFFTTFTFTFTTF
TTTTTTTTTTTTTTTT
---:PM / 64
FTTTFFTTFTFTFTTF
TTTTTTTTTTTTTTTT
---:-- / 64
FTTTFFTTFTFTFTTF
TTTTTTTTTTTTTTTT
---:-- / 64
02

FTFFFFFTFTFFFFFF (expected value)

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

DNC FTFFFFFTFTFFFFFF
TTTTTTTTTTTTTTTT
---:-- / 64
?F?FFFFT?TFFFF?F
-X-TTTTT-TTTTT-T
V--:-- / -
FTFFFFFTFTFFFFFF
TTTTTTTTTTTTTTTT
---:PM / 64
FTFFFFFTFTFFFFFF
TTTTTTTTTTTTTTTT
---:-- / 64
FTFFFFFTFTFFFFFF
TTTTTTTTTTTTTTTT
---:-- / 64
FTFFFFFTFTFFFFFF
TTTTTTTTTTTTTTTT
---:-- / 64
FTFFFFFTFTFFFFFF
TTTTTTTTTTTTTTTT
---:-- / 64
FTFFFFFTFTFFFFFF
TTTTTTTTTTTTTTTT
---:-- / 64
FTFFFFFTFTFFFFFF
TTTTTTTTTTTTTTTT
---:-- / 64
03

TFTTTFFTFFTFFFFF (expected value)

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

DNC TFTTTFFTFFTFFFFF
TTTTTTTTTTTTTTTT
---:-- / 64
TFTTFFFFFFTFFFF?
TTTTXTTXTTTTTTT-
V--:-- / -
TFTTTFFTFFTFFFFF
TTTTTTTTTTTTTTTT
---:PM / 64
TFTTTFFTFFTFFFFF
TTTTTTTTTTTTTTTT
---:-- / 64
TFTTTFFTFFTFFFFF
TTTTTTTTTTTTTTTT
---:-- / 64
TFTTTFFTFFTFFFFF
TTTTTTTTTTTTTTTT
---:-- / 64
TFTTTFFTFFTFFFFF
TTTTTTTTTTTTTTTT
---:-- / 64
TFTTTFFTFFTFFFFF
TTTTTTTTTTTTTTTT
---:-- / 64
TFTTTFFTFFTFFFFF
TTTTTTTTTTTTTTTT
---:-- / 64
04

FFFFFTFFTFFTFTTT (expected value)

4.76 5.88 5.88 5.88 4.76 5.88 5.88 5.88 5.88 5.88 4.76 5.88 4.76 4.76 4.76 4.76 (confidence rate)

DNC FFFFFTFFTFFTFTTT
TTTTTTTTTTTTTTTT
---:-- / 64
?FFF?TFFTF?T?FFF
-TTT-TTTTT-T-XXX
V--:-- / -
FFFFFTFFTFFTFTTT
TTTTTTTTTTTTTTTT
---:-- / 64
FFFFFTFFTFFTFTTT
TTTTTTTTTTTTTTTT
---:-- / 64
FFFFFTFFTFFTFTTT
TTTTTTTTTTTTTTTT
---:-- / 64
FFFFFTFFTFFTFTTT
TTTTTTTTTTTTTTTT
---:-- / 64
FFFFFTFFTFFTFTTT
TTTTTTTTTTTTTTTT
---:PM / 64
FFFFFTFFTFFTFTTT
TTTTTTTTTTTTTTTT
---:-- / 64
?FFF?TFFTF?T????
-TTT-TTTTT-T----
---:-- / 36
05

FFFFFFFFTTTTFTTF (expected value)

5.26 4.13 5.26 5.26 5.26 5.26 5.26 5.26 5.26 4.76 5.26 4.13 5.26 5.26 4.13 4.13 (confidence rate)

DNC DNF

0
F?FFFFFFTTTFFT??
T-TTTTTTTTTXTT--
V--:-- / -
FFFFFFFFTTTTFTTF
TTTTTTTTTTTTTTTT
---:PM / 64
FFFFFFFFTTTTFTTF
TTTTTTTTTTTTTTTT
---:-- / 64
FFFFFFFFTTTTFTTF
TTTTTTTTTTTTTTTT
---:-- / 64
FFFFFFFFTTTTFTTF
TTTTTTTTTTTTTTTT
---:-- / 64
FFFFFFFFT?TTFTTF
TTTTTTTTT-TTTTTT
---:-- / 60
FFFFFFFFTTTTFTTF
TTTTTTTTTTTTTTTT
---:-- / 64
F?FFFFFFTTT?FT??
T-TTTTTTTTT-TT--
---:-- / 48
06

FFFFFFFFTFTTFFFT (expected value)

5.26 4.13 4.13 4.13 5.26 5.26 4.13 4.13 4.13 5.26 5.26 5.26 5.26 5.26 5.26 5.26 (confidence rate)

DNC DNF

0
F???FF???FTTFFFT
T---TT---TTTTTTT
---:-- / 40
FFFFFFFFTFTTFFFT
TTTTTTTTTTTTTTTT
---:-- / 64
FFFFFFFFTFTTFFFT
TTTTTTTTTTTTTTTT
---:-- / 64
FFFFFFFFTFTTFFFT
TTTTTTTTTTTTTTTT
---:-- / 64
FFFFFFFFTFTTFFFT
TTTTTTTTTTTTTTTT
---:-- / 64
FFFFFFFFTFTTFFFT
TTTTTTTTTTTTTTTT
---:PM / 64
FFFFFFFFTFTTFFFT
TTTTTTTTTTTTTTTT
---:-- / 64
F???FF???FTTFFFT
T---TT---TTTTTTT
---:-- / 40
07

TTFFFFFTFTFTFFTF (expected value)

5.26 4.47 3.47 4.47 3.34 4.47 5.26 4.47 3.54 4.47 4.47 3.98 3.34 3.47 4.47 4.47 (confidence rate)

DNC DNF

0
TTFF?FFTFTFT?FTF
TTTT-TTTTTTT-TTT
---:-- / 56
TTFFFFFTFTFTFFTF
TTTTTTTTTTTTTTTT
---:PM / 64
T?????F?????????
T-----T---------
---:-- / 8
TTFFFFFTFTFTFFTF
TTTTTTTTTTTTTTTT
---:-- / 64
TT?FFFFTFTFTF?TF
TT-TTTTTTTTTT-TT
---:-- / 56
TT?FFFFTFTFTF?TF
TT-TTTTTTTTTT-TT
---:-- / 56
TTFFFFFTTTFTFFTF
TTTTTTTTXTTTTTTT
V--:-- / -
TTFF?FFT?TF??FTF
TTTT-TTT-TT--TTT
---:-- / 48
08

TFTTTTTFFTFTTTTT (expected value)

2.37 3.34 4.47 3.54 4.47 3.34 4.47 4.47 4.47 3.34 4.47 3.34 3.34 4.47 3.34 3.34 (confidence rate)

DNC DNF

0
FTTTTFTFF?F?FTFF
XXTTTXTTT-T-XTXX
V--:-- / -
?FTTTTTFFTFTTTTT
-TTTTTTTTTTTTTTT
---:-- / 60
????????????????
----------------
---:-- / 0
TFTTTTTFFTFTTTTT
TTTTTTTTTTTTTTTT
---:-- / 64
TFTTTTTFFTFTTTTT
TTTTTTTTTTTTTTTT
---:-- / 64
TFTTTTTFFTFTTTTT
TTTTTTTTTTTTTTTT
---:PM / 64
TFTFTTTFFTFTTTTT
TTTXTTTTTTTTTTTT
V--:-- / -
??T?T?TFF?F??T??
--T-T-TTT-T--T--
---:-- / 28
09

FFFTFTFTTFTFTTFF (expected value)

4.47 4.47 3.54 3.54 3.54 3.54 2.42 2.42 3.34 3.34 3.34 3.54 2.42 3.54 3.54 3.54 (confidence rate)

DNC DNF

0
FFFTFT?FF?FFFTFF
TTTTTT-XX-XTXTTT
V--:-- / -
FFFTFTFTTFTFTTFF
TTTTTTTTTTTTTTTT
---:-M / 64
????????????????
----------------
---:-- / 0
FF??????TFT?????
TT------TTT-----
---:-- / 20
FFFTFTFTTFTFTTFF
TTTTTTTTTTTTTTTT
---:P- / 64
FFFTFTFTTFTFTTFF
TTTTTTTTTTTTTTTT
---:-- / 64
FFFTFTFTTFTFTTFF
TTTTTTTTTTTTTTTT
---:-- / 64
FFFTFT?????F?TFF
TTTTTT-----T-TTT
---:-- / 40
10

FFTTFFFTFTTTFFFF (expected value)

3.06 3.54 2.42 1.44 1.44 2.56 2.56 1.44 3.54 2.42 2.42 2.42 3.54 2.42 3.54 3.54 (confidence rate)

DNC DNF

0
FFFF?FFFF?FFF?FF
TTXX-TTXT-XXT-TT
V--:-- / -
FFT?????FTTTFFFF
TTT-----TTTTTTTT
---:-- / 44
????????????????
----------------
---:-- / 0
DNF

0
FFTTFFFTFTTTFFFF
TTTTTTTTTTTTTTTT
---:-M / 64
FFTTFFFTFTTTFFFF
TTTTTTTTTTTTTTTT
---:P- / 64
FFTTFFFTFTTTFFFF
TTTTTTTTTTTTTTTT
---:-- / 64
?F???FF?F???F?FF
-T---TT-T---T-TT
---:-- / 28

All «Stripped» models
 
  Cunf GreatSPN-Meddly ITS-Tools LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total Points 4062 1749 4965 10566 6609 5859 8313 8298 3264 5328
ARMCacheCoherence (stripped) — P/T
  Cunf GreatSPN-Meddly ITS-Tools LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 0 0 0 48 27 0 0 0 0
Bonuses 0 0 0 0 6 6 0 0 0 0
Scores 0 0 0 0 42 21 0 0 0 0
none

FF(T)T(T)FFFFFFTTFFF (expected value)

2.36 2.36 0.79 1.43 0.79 1.43 1.43 1.43 2.36 2.36 2.36 2.36 1.72 1.43 1.43 1.43 (confidence rate)

CC

0
DNF

0
FFFTFFFFFFFTFFFF
TTXTXTTTTTTTXTTT
V--:-- / -
????????????????
----------------
---:-- / 0
FFTTTFFFFFFTTFFF
TT?T?TTTTTTTTTTT
---:P- / 42
FF??????FFFTT???
TT------TTTTT---
---:-M / 21
CC

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

0
DNF

0
Angiogenesis (stripped) — P/T
  Cunf GreatSPN-Meddly ITS-Tools LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 54 54 54 327 285 177 285 285 54 327
Bonuses 6 6 6 12 12 0 6 6 6 24
Scores 48 48 48 315 273 177 279 279 48 303
01

TTFFFFTTTTTTFTFF (expected value)

6.85 6.85 6.23 6.85 6.85 6.85 6.85 6.85 6.85 6.85 6.21 6.21 6.85 6.85 6.85 6.85 (confidence rate)

TTFFFFTTTTTTFTFF
TTTTTTTTTTTTTTTT
---:-M / 48
TTTFFFTTTTTTFTFF
TTXTTTTTTTTTTTTT
V--:-- / -
TTFFFFTTTTFFFTFF
TTTTTTTTTTXXTTTT
V--:-- / -
TTFFFFTTTTTTFTFF
TTTTTTTTTTTTTTTT
---:-- / 48
TTFFFFTTTTTTFTFF
TTTTTTTTTTTTTTTT
---:-- / 48
TTFFFFTTTTTTFTFF
TTTTTTTTTTTTTTTT
---:-- / 48
TTFFFFTTTTTTFTFF
TTTTTTTTTTTTTTTT
---:-- / 48
TTFFFFTTTTTTFTFF
TTTTTTTTTTTTTTTT
---:-- / 48
TTFFFFTTTTTTFTFF
TTTTTTTTTTTTTTTT
---:P- / 48
TTFFFFTTTTTTFTFF
TTTTTTTTTTTTTTTT
---:-- / 48
05

TTTTFTTTTTTTTTTT (expected value)

4.80 4.80 4.80 4.80 4.80 4.80 4.80 4.80 4.80 4.30 4.80 4.80 4.80 4.80 3.34 4.80 (confidence rate)

DNC TTTTFTTTTTTTTTTT
TTTTTTTTTTTTTTTT
---:-M / 48
CC

0
TTTTFTTTTTTTTT?T
TTTTTTTTTTTTTT-T
---:-- / 45
TTTTFTTTTTTTTTTT
TTTTTTTTTTTTTTTT
---:P- / 48
TTTTFTTTTTTTTTTT
TTTTTTTTTTTTTTTT
---:-- / 48
TTTTFTTTTTTTTTTT
TTTTTTTTTTTTTTTT
---:-- / 48
TTTTFTTTT?TTTTTT
TTTTTTTTT-TTTTTT
---:-- / 45
DNF

0
TTTTFTTTTTTTTT?T
TTTTTTTTTTTTTT-T
---:-- / 45
10

TFFFFTTFFTFTTTTT (expected value)

4.17 4.17 4.17 4.17 4.17 4.17 4.17 4.17 4.17 3.67 2.71 4.17 4.17 4.17 4.17 3.67 (confidence rate)

DNC DNF

0
CC

0
TFFFFTTFFT?TTTTT
TTTTTTTTTT-TTTTT
---:-- / 45
TFFFFTTFFTFTTTTT
TTTTTTTTTTTTTTTT
---:P- / 48
TFFFFTTFFTFTTTTT
TTTTTTTTTTTTTTTT
---:-- / 48
TFFFFTTFFTFTTTTT
TTTTTTTTTTTTTTTT
---:-- / 48
TFFFFTTFF?FTTTT?
TTTTTTTTT-TTTTT-
---:-- / 42
DNF

0
TFFFFTTFFT?TTTTT
TTTTTTTTTT-TTTTT
---:-M / 45
15

TTTTTFTTTTTTTFFT (expected value)

4.81 4.81 4.81 3.89 3.41 2.89 3.89 3.89 4.81 4.81 4.81 4.81 4.81 4.81 2.56 4.81 (confidence rate)

DNC DNF

0
TTTTTFTTTTTTTFFT
TTTTTTTTTTTTTTTT
---:-M / 48
TTTTTFTTTTTTTF?T
TTTTTTTTTTTTTT-T
---:-- / 45
TTTTTFTTTTTTTF?T
TTTTTTTTTTTTTT-T
---:-- / 45
TTT?????TTTTTFFT
TTT-----TTTTTTTT
---:-- / 33
TTTTT?TTTTTTTFFT
TTTTT-TTTTTTTTTT
---:-- / 45
TTTTT?TTTTTTTFFT
TTTTT-TTTTTTTTTT
---:P- / 45
DNF

0
TTTT?FTTTTTTTF?T
TTTT-TTTTTTTTT-T
---:-- / 42
20

FTFTTFFT(T)TTFTTTT (expected value)

2.25 3.25 1.00 1.46 3.25 3.25 3.25 3.25 0.48 3.25 2.25 2.25 2.25 3.25 3.25 3.25 (confidence rate)

DNC DNF

0
CC

0
FT?TTFFT?TTFTTTT
TT-TTTTT-TTTTTTT
---:-- / 42
FT??TFFT?TTFTTTT
TT--TTTT-TTTTTTT
---:-- / 39
DNF

0
?TF?TFFT?T???TTT
-TT-TTTT-T---TTT
---:P- / 30
?TF?TFFT?T???TTT
-TT-TTTT-T---TTT
---:-- / 30
DNF

0
FT?TTFFTTTTFTTTT
TT-TTTTT?TTTTTTT
---:-M / 42
25

FTTTTFFTFFTF(F)FFT (expected value)

2.46 2.25 3.25 2.46 3.25 3.25 3.25 3.25 3.25 1.96 0.98 3.25 0.48 3.25 1.96 2.75 (confidence rate)

DNC DNF

0
CC

0
FTTTTFFTFFTF?FFT
TTTTTTTTTTTT-TTT
---:P- / 45
?TT?TFFTF??F?F?T
-TT-TTTTT--T-T-T
---:-- / 30
DNF

0
F?TTTFFTF??F?F??
T-TTTTTTT--T-T--
---:-- / 30
F?TTTFFTFF?F?FFT
T-TTTTTTTT-T-TTT
---:-- / 39
DNF

0
FTTTTFFTFF?FFFFT
TTTTTTTTTT-T?TTT
---:-M / 42
50

TTTTTFTTTTFTFTFF (expected value)

1.46 1.46 1.00 1.46 1.46 3.25 1.46 3.25 1.46 2.46 2.46 2.46 2.46 3.25 2.77 2.77 (confidence rate)

DNC DNF

0
CC

0
TT?TTFTTTTFTFTFF
TT-TTTTTTTTTTTTT
---:P- / 45
?????F?T?????TFF
-----T-T-----TTT
---:-- / 15
DNF

0
??T??F?T?TFTFTFF
--T--T-T-TTTTTTT
---:-- / 30
??T??F?T?TFTFTFF
--T--T-T-TTTTTTT
---:-- / 30
DNF

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

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

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

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

0
????????????????
----------------
---:-- / 0
DNC DNC DNC DNC
03

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

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

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

0
????????????????
----------------
---:-- / 0
DNC DNC DNC DNC
04

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

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

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

0
DNF

0
DNC DNC DNC DNC
05

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

0.64 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 (confidence rate)

DNC DNC TF?FFF??FTTTFFFF
????????????????
---:PM / 0
DNC CC

0
DNF

0
DNC DNC DNC DNC
07

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

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

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

0
DNF

0
DNC DNC DNC DNC
10

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

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

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

0
DNF

0
DNC DNC DNC DNC
CSRepetitions (stripped) — P/T
  Cunf GreatSPN-Meddly ITS-Tools LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 48 81 228 174 96 147 129 48 174
Bonuses 0 0 12 18 6 0 18 0 0 18
Scores 0 48 69 210 168 96 129 129 48 156
02

TTFTTFFTFTFTFTTT (expected value)

5.88 5.24 5.88 5.24 4.74 5.88 5.88 5.88 5.88 5.24 5.88 4.88 5.88 4.88 5.24 5.24 (confidence rate)

DNC TTFTTFFTFTFTFTTT
TTTTTTTTTTTTTTTT
---:-- / 48
TFFFFFFTFFFTFTFF
TXTXXTTTTXTTTTXX
V--:-- / -
TTFTTFFTFTFTFTTT
TTTTTTTTTTTTTTTT
---:-- / 48
TTFTTFFTFTFTFTTT
TTTTTTTTTTTTTTTT
---:-- / 48
TTFTTFFTFTFTFTTT
TTTTTTTTTTTTTTTT
---:-- / 48
TTFTTFFTFTF?F?TT
TTTTTTTTTTT-T-TT
---:-- / 42
TTFT?FFTFTF?F?TT
TTTT-TTTTTT-T-TT
---:-- / 39
TTFTTFFTFTFTFTTT
TTTTTTTTTTTTTTTT
---:-- / 48
TTFTTFFTFTFTFTTT
TTTTTTTTTTTTTTTT
---:PM / 48
03

FFFFTTFTFFTTTFFF (expected value)

3.81 3.81 3.81 4.81 2.70 3.81 3.34 3.81 3.34 3.34 3.81 3.81 4.81 4.81 4.81 3.34 (confidence rate)

DNC DNF

0
FFFFFTFTFFTTTFFF
TTTTXTTTTTTTTTTT
V--:-- / -
FFFFTTFTFFTTTFFF
TTTTTTTTTTTTTTTT
---:-M / 48
FFFFTTFTFFTTTFFF
TTTTTTTTTTTTTTTT
---:P- / 48
FFFFTTFTFFTTTFFF
TTTTTTTTTTTTTTTT
---:-- / 48
???F????????TFF?
---T--------TTT-
---:-- / 12
???F????????TFF?
---T--------TTT-
---:-- / 12
DNF

0
FFFF?T?T??TTTFF?
TTTT-T-T--TTTTT-
---:-- / 33
04

FFFFFFTTFTFFFFFF (expected value)

3.52 2.24 1.27 3.10 3.10 4.52 1.63 2.89 2.10 2.10 2.89 2.26 2.10 1.27 1.60 2.10 (confidence rate)

DNC FFFTTFTFTFTFTFFT
TTTXXTTXXXXTXTTX
V--:-- / -
FFFFFFFTFTFFFFTF
TTTTTTXTTTTTTTXT
V--:-- / -
FF?FFF?TFTF?F?FF
TT-TTT-TTTT-T-TT
---:-M / 36
F????F?T??F?????
T----T-T--T-----
---:-- / 12
DNF

0
???FFFT????F????
---TTTT----T----
---:P- / 15
???FFFT????F????
---TTTT----T----
---:-- / 15
DNF

0
F??FFF?TFTF?F??F
T--TTT-TTTT-T--T
---:-- / 30
05

TF? FFFFFFTTTFFFF (expected value)

3.89 1.13 0 2.89 2.46 2.46 1.46 2.46 2.46 2.89 2.10 2.10 2.89 2.46 2.46 2.46 (confidence rate)

DNC DNF

0
TF?F?????TTTF???
TT?T-----TTTT---
---:-- / 21
TT?FFFFFFTTTFFFF
TX?TTTTTTTTTTTTT
V--:-- / -
T??F?????T??F???
T-?T-----T--T---
---:-- / 12
DNF

0
T???FF?FF????FFF
T-?-TT-TT----TTT
---:P- / 24
T???FF?FF????FFF
T-?-TT-TT----TTT
---:-- / 24
DNF

0
TF?FFFFFFTTTFFFF
TT?TTTTTTTTTTTTT
---:-M / 45
07

FFFFTFTFTTFTFF? ? (expected value)

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

DNC CC

0
FF?FT?TFTTFT????
TT-TT-TTTTTT--??
---:-- / 30
FF?FTFTFTTFTFF??
TT-TTTTTTTTTTT??
---:-M / 39
???FT??FTTFT????
---TT--TTTTT--??
---:-- / 21
DNF

0
FFFF?FT?T???F???
TTTT-TT-T---T-??
---:P- / 24
FFFF?FT?T???F???
TTTT-TT-T---T-??
---:-- / 24
DNF

0
DNF

0
10

? FTF? TT(F)FTFTTFFF (expected value)

0 2.41 1.77 1.98 0 2.77 1.62 0.64 2.41 1.77 2.41 2.27 2.41 1.98 3.41 0.98 (confidence rate)

DNC CC

0
?F????TFF?F?T?F?
?T--?-T?T-T-T-T-
---:PM / 18
?FTF?TT?FTFTTFFF
?TTT?TT-TTTTTTTT
---:-- / 39
?FT??T??FTFTT?F?
?TT-?T--TTTTT-T-
---:-- / 27
DNF

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

0
DNF

0
CircadianClock (stripped) — P/T
  Cunf GreatSPN-Meddly ITS-Tools LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 48 48 0 147 153 198 285 303 96 186
Bonuses 0 0 0 0 0 6 12 30 0 24
Scores 48 48 0 147 153 192 273 273 96 162
000001

FTTTFTFFTFTTFFTT (expected value)

6.85 6.85 6.85 6.85 6.85 6.85 6.85 6.85 6.21 6.85 6.85 6.85 6.85 6.85 6.85 6.85 (confidence rate)

FTTTFTFFTFTTFFTT
TTTTTTTTTTTTTTTT
---:-- / 48
FTTTFTFFTFTTFFTT
TTTTTTTTTTTTTTTT
---:-- / 48
FTTTFTFFFFTTFFTT
TTTTTTTTXTTTTTTT
V--:-- / -
FTTTFTFFTFTTFFTT
TTTTTTTTTTTTTTTT
---:-- / 48
FTTTFTFFTFTTFFTT
TTTTTTTTTTTTTTTT
---:-- / 48
FTTTFTFFTFTTFFTT
TTTTTTTTTTTTTTTT
---:-- / 48
FTTTFTFFTFTTFFTT
TTTTTTTTTTTTTTTT
---:-- / 48
FTTTFTFFTFTTFFTT
TTTTTTTTTTTTTTTT
---:PM / 48
FTTTFTFFTFTTFFTT
TTTTTTTTTTTTTTTT
---:-- / 48
FTTTFTFFTFTTFFTT
TTTTTTTTTTTTTTTT
---:-- / 48
000010

TTTFTTFFFTFFFTFF (expected value)

5.88 4.62 5.24 5.88 5.88 5.24 5.88 5.88 5.88 5.24 5.88 5.88 5.88 5.26 5.88 5.88 (confidence rate)

DNC TFTFTTFFFTFFFFFF
TXTTTTTTTTTTTXTT
V--:-- / -
TFFFTFFFFFFFFTFF
TXXTTXTTTXTTTTTT
V--:-- / -
TTTFTTFFFTFFFTFF
TTTTTTTTTTTTTTTT
---:-- / 48
TTTFTTFFFTFFFTFF
TTTTTTTTTTTTTTTT
---:-- / 48
TTTFTTFFFTFFFTFF
TTTTTTTTTTTTTTTT
---:-- / 48
TTTFTTFFFTFFFTFF
TTTTTTTTTTTTTTTT
---:-- / 48
TTTFTTFFFTFFFTFF
TTTTTTTTTTTTTTTT
---:PM / 48
TTTFTTFFFTFFFTFF
TTTTTTTTTTTTTTTT
---:-- / 48
TTTFTTFFFTFFFTFF
TTTTTTTTTTTTTTTT
---:-- / 48
000100

TFTFFTTFFTFTFTTT (expected value)

3.78 5.88 3.78 4.42 5.88 3.80 2.98 4.90 4.42 3.78 5.88 3.80 4.42 4.42 5.88 5.88 (confidence rate)

DNC TFTFFFTFFTFFFTTT
TTTTTXTTTTTXTTTT
V--:-- / -
FFFFFTTFFFFTFTTT
XTXTTTTTTXTTTTTT
V--:-- / -
?F??F?????F???TT
-T--T-----T---TT
---:-- / 15
TFTFFTTFFTFTFTTT
TTTTTTTTTTTTTTTT
---:-- / 48
TFTFFTTFFTFTFTTT
TTTTTTTTTTTTTTTT
---:P- / 48
TFTFFT?FFTFTFTTT
TTTTTT-TTTTTTTTT
---:-- / 45
TFTFFT?FFTFTFTTT
TTTTTT-TTTTTTTTT
---:-- / 45
TFTFFTFFFTFTFTTT
TTTTTTXTTTTTTTTT
V--:-- / -
?F??F??F??F???TT
-T--T--T--T---TT
---:-M / 18
001000

TFFTTTTFTTFTFTFF (expected value)

3.47 3.01 3.01 2.37 2.37 3.05 2.37 3.01 3.48 2.37 4.28 2.37 3.01 3.01 3.01 3.01 (confidence rate)

DNC DNF

0
TFFFFTFFTFFFFTFF
TTTXXTXTTXTXTTTT
V--:-- / -
T???????????????
T---------------
---:-- / 3
??????????F?????
----------T-----
---:-- / 3
TFFTTTTFTTFTFTFF
TTTTTTTTTTTTTTTT
---:-- / 48
?FFTTTTFTTFTFTFF
-TTTTTTTTTTTTTTT
---:-- / 45
?FFTTTTFTTFTFTFF
-TTTTTTTTTTTTTTT
---:P- / 45
TFFTTFTFTTFTFTFF
TTTTTXTTTTTTTTTT
V--:-- / -
T????T??T?F?????
T----T--T-T-----
---:-M / 12
010000

TFTTTFFFTTFFFFFF (expected value)

2.90 2.90 1.98 1.44 1.44 1.62 1.44 3.54 2.90 1.44 2.10 1.44 1.44 1.44 2.90 1.44 (confidence rate)

DNC DNF

0
???FFF?F?FF?????
---XXT-T-XT-----
V--:-- / -
TFT??F?FT?F???F?
TTT--T-TT-T---T-
---:-- / 24
????????????????
----------------
---:-- / 0
DNF

0
TFTTT?FFTT?FFFFF
TTTTT-TTTT-TTTTT
---:P- / 42
TFTTT?FFTT?FFFFF
TTTTT-TTTT-TTTTT
---:-- / 42
TFFTTTFFTTTFFFFF
TTXTTXTTTTXTTTTT
V--:-- / -
TF?????FT?F???F?
TT-----TT-T---T-
---:-M / 18
100000

FTFTTTFTFFTFTFTT (expected value)

2.08 1.44 2.08 1.44 1.44 1.92 1.13 2.71 4.33 2.08 1.44 3.54 2.90 2.08 1.44 1.44 (confidence rate)

DNC DNF

0
FFFFFFFFFFFFFFFF
TXTXXXTXTTXTXTXX
V--:-- / -
????????F??FT???
--------T--TT---
---:-- / 9
???????TF???????
-------TT-------
---:-- / 6
CC

0
FTFTTT?TFFTFTFTT
TTTTTT-TTTTTTTTT
---:P- / 45
FTFTTT?TFFTFTFTT
TTTTTT-TTTTTTTTT
---:-- / 45
FTFTTTTTFFTFTFTT
TTTTTTXTTTTTTTTT
V--:-- / -
?????TFTF??FT???
-----TTTT--TT---
---:-M / 18
CircularTrains (stripped) — P/T
  Cunf GreatSPN-Meddly ITS-Tools LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 0 192 384 231 249 348 342 102 261
Bonuses 0 0 0 48 0 0 18 12 6 0
Scores 0 0 192 336 231 249 330 330 96 261
012

FTFTFFFTTTTTTFTT (expected value)

5.88 4.62 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)

DNC FFFTFFFTTTTTTFTT
TXTTTTTTTTTTTTTT
V--:-- / -
FFFTFFFTTTTTTFTT
TXTTTTTTTTTTTTTT
V--:-- / -
FTFTFFFTTTTTTFTT
TTTTTTTTTTTTTTTT
---:-- / 48
FTFTFFFTTTTTTFTT
TTTTTTTTTTTTTTTT
---:-- / 48
FTFTFFFTTTTTTFTT
TTTTTTTTTTTTTTTT
---:-- / 48
FTFTFFFTTTTTTFTT
TTTTTTTTTTTTTTTT
---:-- / 48
FTFTFFFTTTTTTFTT
TTTTTTTTTTTTTTTT
---:P- / 48
FTFTFFFTTTTTTFTT
TTTTTTTTTTTTTTTT
---:-M / 48
FTFTFFFTTTTTTFTT
TTTTTTTTTTTTTTTT
---:-- / 48
024

FTFTFFFTFTTFTTFT (expected value)

5.88 5.88 5.88 5.88 5.26 4.62 5.88 5.88 5.26 5.88 5.88 5.88 5.88 5.88 5.88 5.88 (confidence rate)

DNC FTFTTTFTTTTFTTFT
TTTTXXTTXTTTTTTT
V--:-- / -
FTFTFTFTFTTFTTFT
TTTTTXTTTTTTTTTT
V--:-- / -
FTFTFFFTFTTFTTFT
TTTTTTTTTTTTTTTT
---:-- / 48
FTFTFFFTFTTFTTFT
TTTTTTTTTTTTTTTT
---:-- / 48
FTFTFFFTFTTFTTFT
TTTTTTTTTTTTTTTT
---:-- / 48
FTFTFFFTFTTFTTFT
TTTTTTTTTTTTTTTT
---:P- / 48
FTFTFFFTFTTFTTFT
TTTTTTTTTTTTTTTT
---:-M / 48
FTFTFFFTFTTFTTFT
TTTTTTTTTTTTTTTT
---:-- / 48
FTFTFFFTFTTFTTFT
TTTTTTTTTTTTTTTT
---:-- / 48
048

TFTTTTFTTTTFFFFT (expected value)

4.81 4.34 4.81 4.81 4.81 3.70 3.70 4.81 4.81 3.81 4.81 4.34 3.81 4.34 4.81 4.81 (confidence rate)

DNC DNF

0
TFTTTFTTTTTFFFFT
TTTTTXXTTTTTTTTT
V--:-- / -
TFTTTTFTTTTFFFFT
TTTTTTTTTTTTTTTT
---:PM / 48
TFTTTTFTTTTFFFFT
TTTTTTTTTTTTTTTT
---:-- / 48
TFTTTTFTTTTFFFFT
TTTTTTTTTTTTTTTT
---:-- / 48
TFTTTTFTT?TF?FFT
TTTTTTTTT-TT-TTT
---:-- / 42
TFTTTTFTT?TF?FFT
TTTTTTTTT-TT-TTT
---:-- / 42
DNF

0
T?TTT??TTTT?F?FT
T-TTT--TTTT-T-TT
---:-- / 33
096

TTFTTFFTTTFTTTFF (expected value)

4.81 4.81 4.81 4.81 4.81 4.81 4.81 3.54 4.81 4.81 4.81 4.81 4.02 4.02 3.54 4.81 (confidence rate)

DNC DNF

0
TTFTTFFTTTFTTTFF
TTTTTTTTTTTTTTTT
---:-- / 48
TTFTTFFTTTFTTTFF
TTTTTTTTTTTTTTTT
---:-M / 48
TTFTTFF?TTFT???F
TTTTTTT-TTTT---T
---:-- / 36
TTFTTFFTTTFTTTFF
TTTTTTTTTTTTTTTT
---:-- / 48
TTFTTFFTTTFTTTFF
TTTTTTTTTTTTTTTT
---:P- / 48
TTFTTFFTTTFTTTFF
TTTTTTTTTTTTTTTT
---:-- / 48
DNF

0
TTFTTFF?TTFTTT?F
TTTTTTT-TTTTTT-T
---:-- / 42
192

TFTTTFTTFTTFTTTT (expected value)

3.54 4.81 4.02 4.02 4.02 4.02 4.81 4.81 4.02 4.34 4.81 4.81 3.54 4.02 4.81 4.02 (confidence rate)

DNC DNF

0
TFTTTFTTFTTFTTTT
TTTTTTTTTTTTTTTT
---:-- / 48
TFTTTFTTFTTFTTTT
TTTTTTTTTTTTTTTT
---:-M / 48
?F????TT?TTF??T?
-T----TT-TTT--T-
---:-- / 21
TFTTTFTTFTTFTTTT
TTTTTTTTTTTTTTTT
---:-- / 48
TFTTTFTTFTTFTTTT
TTTTTTTTTTTTTTTT
---:P- / 48
TFTTTFTTFTTFTTTT
TTTTTTTTTTTTTTTT
---:-- / 48
DNF

0
?FTTTFTTF?TF?TTT
-TTTTTTTT-TT-TTT
---:-- / 39
384

FTFFFTTTTTTTTTTT (expected value)

4.81 4.81 3.89 3.10 3.10 3.89 2.62 3.10 4.81 3.10 3.41 3.10 3.10 3.10 3.10 3.89 (confidence rate)

DNC DNF

0
FTFFFTTTTTTTTTTT
TTTTTTTTTTTTTTTT
---:-- / 48
FTFFFTTTTTTTTTTT
TTTTTTTTTTTTTTTT
---:PM / 48
FTF??T??T?T????T
TTT--T--T-T----T
---:-- / 21
FT??????T???????
TT------T-------
---:-- / 9
FTFFFTTTTTTTTTTT
TTTTTTTTTTTTTTTT
---:-- / 48
FTFFFTTTTTTTTTTT
TTTTTTTTTTTTTTTT
---:-- / 48
DNF

0
FTFFFT?TTT?TTTTT
TTTTTT-TTT-TTTTT
---:-- / 42
768

TTTFFFTTTTTTFFTF (expected value)

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

DNC DNF

0
TTTFFFTTTTTTFFTF
TTTTTTTTTTTTTTTT
---:-- / 48
TTTFFFTTTTTTFFTF
TTTTTTTTTTTTTTTT
---:PM / 48
?T???????T????T?
-T-------T----T-
---:-- / 9
DNF

0
TTTFFFTTTTTTFFTF
TTTTTTTTTTTTTTTT
---:-- / 48
TTTFFFTTTTTTFFTF
TTTTTTTTTTTTTTTT
---:-- / 48
DNF

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

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

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

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

0
????????????????
----------------
---:-- / 0
DNC DNC DNC DNC
04

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

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

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

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

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

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

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

0
DNF

0
DNC DNC DNC DNC
20

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

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

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

0
DNF

0
DNC DNC DNC DNC
40

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

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

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

0
DNF

0
DNC DNC DNC DNC
DatabaseWithMutex (stripped) — P/T
  Cunf GreatSPN-Meddly ITS-Tools LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 102 48 105 90 162 96 141 135 48 147
Bonuses 6 0 30 0 6 0 6 0 0 12
Scores 96 48 75 90 156 96 135 135 48 135
02

TTFFTTFTTFTTFTTT (expected value)

6.85 6.85 6.85 6.85 6.85 6.21 6.85 6.85 6.85 6.85 6.85 6.85 6.85 6.85 6.85 6.85 (confidence rate)

TTFFTTFTTFTTFTTT
TTTTTTTTTTTTTTTT
---:-M / 48
TTFFTTFTTFTTFTTT
TTTTTTTTTTTTTTTT
---:-- / 48
TTFFTFFTTFTTFTTT
TTTTTXTTTTTTTTTT
V--:-- / -
TTFFTTFTTFTTFTTT
TTTTTTTTTTTTTTTT
---:-- / 48
TTFFTTFTTFTTFTTT
TTTTTTTTTTTTTTTT
---:-- / 48
TTFFTTFTTFTTFTTT
TTTTTTTTTTTTTTTT
---:-- / 48
TTFFTTFTTFTTFTTT
TTTTTTTTTTTTTTTT
---:-- / 48
TTFFTTFTTFTTFTTT
TTTTTTTTTTTTTTTT
---:-- / 48
TTFFTTFTTFTTFTTT
TTTTTTTTTTTTTTTT
---:-- / 48
TTFFTTFTTFTTFTTT
TTTTTTTTTTTTTTTT
---:P- / 48
04

TFTTTFTTTTTTTTFT (expected value)

5.78 3.33 5.78 5.78 4.79 4.79 5.78 5.78 5.78 4.79 5.78 5.78 5.78 5.78 5.78 5.78 (confidence rate)

TFTTTFTTTTTTTTFT
TTTTTTTTTTTTTTTT
---:-- / 48
DNF

0
TFTTTFTTTTTTTTFT
TTTTTTTTTTTTTTTT
---:PM / 48
TTTTTFTTTTTTTTFT
TXTTTTTTTTTTTTTT
V--:-- / -
TFTTTFTTTTTTTTFT
TTTTTTTTTTTTTTTT
---:-- / 48
TFTTTFTTTTTTTTFT
TTTTTTTTTTTTTTTT
---:-- / 48
T?TT??TTT?TTTTFT
T-TT--TTT-TTTTTT
---:-- / 36
T?TT??TTT?TTTTFT
T-TT--TTT-TTTTTT
---:-- / 36
DNF

0
T?TTTFTTTTTTTTFT
T-TTTTTTTTTTTTTT
---:-- / 45
10

FTFFTTFTFTFTFTFT (expected value)

3.89 2.89 1.00 2.25 1.46 2.25 2.89 2.25 2.89 3.25 3.10 3.25 2.89 2.25 1.00 3.25 (confidence rate)

CC

0
DNF

0
FT????F?F?F?F???
TT----T-T-T-T---
---:-- / 18
FT?FTTFTFTFTFT?T
TT-TTTTTTTTTTT-T
---:-- / 42
FT?F?TFTFT?TFT?T
TT-T-TTTTT-TTT-T
---:-- / 36
DNF

0
F?F??????TFT??FT
T-T------TTT--TT
---:P- / 21
F?F??????TFT??FT
T-T------TTT--TT
---:-- / 21
DNF

0
FT?FTTFTFTFTFT?T
TT-TTTTTTTTTTT-T
---:-M / 42
20

TFFTTTTFFTTF? FTT (expected value)

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

CC

0
DNF

0
??F????F???F????
--T----T---T?---
---:P- / 9
TTFTTTTFFTTF?FTT
TXTTTTTTTTTT?TTT
V--:-- / -
T??T?TTF?T?F???T
T--T-TTT-T-T?--T
---:-M / 24
DNF

0
TF?TTT??F?TF?FT?
TT-TTT--T-TT?TT-
---:-- / 30
TF?TTT??F?TF?FT?
TT-TTT--T-TT?TT-
---:-- / 30
DNF

0
DNF

0
40

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

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

CC

0
CC

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

0
DNF

0
DNF

0
CC

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

0
DNF

0
Dekker (stripped) — P/T
  Cunf GreatSPN-Meddly ITS-Tools LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 276 0 204 306 141 144 219 219 96 96
Bonuses 36 0 12 18 0 0 0 6 0 0
Scores 240 0 192 288 141 144 219 213 96 96
010

TTTTTTFTFTTFTFTF (expected value)

6.21 6.23 6.23 6.85 6.85 6.23 6.85 6.23 6.85 6.23 6.23 6.85 6.85 6.85 6.85 6.85 (confidence rate)

TTTTTTFTFTTFTFTF
TTTTTTTTTTTTTTTT
---:P- / 48
TFFTTFFFFFFFTFTF
TXXTTXTXTXXTTTTT
V--:-- / -
FTTTTTFTFTTFTFTF
XTTTTTTTTTTTTTTT
V--:-- / -
TTTTTTFTFTTFTFTF
TTTTTTTTTTTTTTTT
---:-- / 48
TTTTTTFTFTTFTFTF
TTTTTTTTTTTTTTTT
---:-- / 48
TTTTTTFTFTTFTFTF
TTTTTTTTTTTTTTTT
---:-- / 48
TTTTTTFTFTTFTFTF
TTTTTTTTTTTTTTTT
---:-- / 48
TTTTTTFTFTTFTFTF
TTTTTTTTTTTTTTTT
---:-M / 48
TTTTTTFTFTTFTFTF
TTTTTTTTTTTTTTTT
---:-- / 48
TTTTTTFTFTTFTFTF
TTTTTTTTTTTTTTTT
---:-- / 48
015

FTTFFTTTTTTTFFTF (expected value)

6.35 6.23 6.85 6.23 6.85 6.21 6.85 6.23 6.85 6.85 6.21 6.21 6.23 6.85 6.85 6.85 (confidence rate)

FTTFFTTTTTTTFFTF
TTTTTTTTTTTTTTTT
---:PM / 48
FFTTFTTFTTTTTFTF
TXTXTTTXTTTTXTTT
V--:-- / -
FTTFFFTTTTFFFFTF
TTTTTXTTTTXXTTTT
V--:-- / -
FTTFFTTTTTTTFFTF
TTTTTTTTTTTTTTTT
---:-- / 48
FTTFFTTTTTTTFFTF
TTTTTTTTTTTTTTTT
---:-- / 48
FTTFFTTTTTTTFFTF
TTTTTTTTTTTTTTTT
---:-- / 48
FTTFFTTTTTTTFFTF
TTTTTTTTTTTTTTTT
---:-- / 48
?TTFFTTTTTTTFFTF
-TTTTTTTTTTTTTTT
---:-- / 45
FTTFFTTTTTTTFFTF
TTTTTTTTTTTTTTTT
---:-- / 48
FTTFFTTTTTTTFFTF
TTTTTTTTTTTTTTTT
---:-- / 48
020

FFFTTFTTFFTFFTTT (expected value)

5.30 5.92 5.13 5.92 5.92 5.30 5.92 5.30 5.30 5.30 5.92 4.51 5.92 4.13 5.30 5.30 (confidence rate)

FFFTTFTTFFTFFTTT
TTTTTTTTTTTTTTTT
---:PM / 48
TFFTTTTFTTTTFTFF
XTTTTXTXXXTXTTXX
V--:-- / -
FFFTTFTTFFTFFTTT
TTTTTTTTTTTTTTTT
---:-- / 48
FFFTTFTTFFTFFTTT
TTTTTTTTTTTTTTTT
---:-- / 48
FF?TTFTTFFT?F?TT
TT-TTTTTTTT-T-TT
---:-- / 39
FFFTTFTTFFTFFTTT
TTTTTTTTTTTTTTTT
---:-- / 48
FFFTTFTTFFTFF?TT
TTTTTTTTTTTTT-TT
---:-- / 45
FFFTTFTTFFTFF?TT
TTTTTTTTTTTTT-TT
---:-- / 45
DNF

0
DNF

0
050

TFFFTTFTFTFFTTTT (expected value)

4.38 2.59 3.59 3.59 3.59 3.59 3.59 3.59 3.59 3.59 3.59 2.59 3.59 2.59 3.09 3.59 (confidence rate)

TFFFTTFTFTFFTTTT
TTTTTTTTTTTTTTTT
---:P- / 48
DNF

0
TFFFTTFTFTFFTTTT
TTTTTTTTTTTTTTTT
---:-- / 48
TFFFTTFTFTFFTTTT
TTTTTTTTTTTTTTTT
---:-M / 48
T???????????????
T---------------
---:-- / 3
DNF

0
T?FFTTFTFTF?T?TT
T-TTTTTTTTT-T-TT
---:-- / 39
T?FFTTFTFTF?T??T
T-TTTTTTTTT-T--T
---:-- / 36
DNF

0
DNF

0
100

TTTTFFTTFTFFTFTF (expected value)

3.59 3.59 3.59 4.38 3.59 2.59 3.59 3.59 2.59 3.59 3.59 3.59 3.59 3.59 3.59 2.59 (confidence rate)

TTTTFFTTFTFFTFTF
TTTTTTTTTTTTTTTT
---:-- / 48
DNF

0
TTTTFFTTFTFFTFTF
TTTTTTTTTTTTTTTT
---:P- / 48
TTTTFFTTFTFFTFTF
TTTTTTTTTTTTTTTT
---:-M / 48
???T????????????
---T------------
---:-- / 3
DNF

0
TTTTF?TT?TFFTFT?
TTTTT-TT-TTTTTT-
---:-- / 39
TTTTF?TT?TFFTFT?
TTTTT-TT-TTTTTT-
---:-- / 39
DNF

0
DNF

0
200

TFFFTFTFTTTTTFTF (expected value)

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

CC

0
DNF

0
TFFFTFTFTTTTTFTF
TTTTTTTTTTTTTTTT
---:P- / 48
TFFFTFTFTTTTTFTF
TTTTTTTTTTTTTTTT
---:-M / 48
????????????????
----------------
---:-- / 0
DNF

0
DNF

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

0
DNF

0
Diffusion2D (stripped) — P/T
  Cunf GreatSPN-Meddly ITS-Tools LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 732 903 1551 342 462 774 723 0 0
Bonuses 0 12 6 234 0 0 54 42 0 0
Scores 0 720 897 1317 342 462 720 681 0 0
D05N010

FFFFTFFTTTFTFTTT (expected value)

4.95 4.95 4.95 4.95 4.95 3.98 4.95 4.95 3.34 4.95 4.95 4.95 4.95 4.95 4.95 4.95 (confidence rate)

DNC FFFFTFFTTTFTFTTT
TTTTTTTTTTTTTTTT
---:-- / 48
FFFFTFFTFTFTFTTT
TTTTTTTTXTTTTTTT
V--:-- / -
FFFFT?FT?TFTFTTT
TTTTT-TT-TTTTTTT
---:-- / 42
FFFFTFFTTTFTFTTT
TTTTTTTTTTTTTTTT
---:-- / 48
FFFFTFFTTTFTFTTT
TTTTTTTTTTTTTTTT
---:-- / 48
FFFFTFFTTTFTFTTT
TTTTTTTTTTTTTTTT
---:P- / 48
FFFFTFFTTTFTFTTT
TTTTTTTTTTTTTTTT
---:-M / 48
DNF

0
DNF

0
D05N050

TFFFTFTFFTTTTFFF (expected value)

3.98 4.95 3.98 3.98 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)

DNC TFFFTFTFFTTTTFFF
TTTTTTTTTTTTTTTT
---:-- / 48
TFFFTFTFFTTTTFFF
TTTTTTTTTTTTTTTT
---:-- / 48
?F??TFTFFTTTTFFF
-T--TTTTTTTTTTTT
---:-- / 39
TFFFTFTFFTTTTFFF
TTTTTTTTTTTTTTTT
---:-- / 48
TFFFTFTFFTTTTFFF
TTTTTTTTTTTTTTTT
---:-- / 48
TFFFTFTFFTTTTFFF
TTTTTTTTTTTTTTTT
---:PM / 48
TFFFTFTFFTTTTFFF
TTTTTTTTTTTTTTTT
---:-- / 48
DNF

0
DNF

0
D05N100

FFFFFFTFTTFTTFTT (expected value)

2.55 4.16 2.55 3.19 3.19 3.19 3.19 3.19 4.16 4.16 4.16 2.55 4.16 4.16 4.95 4.16 (confidence rate)

DNC FFFFFFTFTTFTTFTT
TTTTTTTTTTTTTTTT
---:-- / 48
?F?FFFTFTTF?TFTT
-T-TTTTTTTT-TTTT
---:-- / 39
?F??????TTF?TFTT
-T------TTT-TTTT
---:-- / 24
??????????????T?
--------------T-
---:-- / 3
FFFFFFTFTTFTTFTT
TTTTTTTTTTTTTTTT
---:-- / 48
FFFFFFTFTTFTTFTT
TTTTTTTTTTTTTTTT
---:-- / 48
FFFFFFTFTTFTTFTT
TTTTTTTTTTTTTTTT
---:PM / 48
DNF

0
DNF

0
D05N150

TTTFTFTFTTTFTTTT (expected value)

4.16 3.52 4.16 4.16 4.95 4.95 4.95 4.16 4.95 4.95 2.55 3.19 2.55 4.16 4.16 4.16 (confidence rate)

DNC TTTFTFTFTTTFTTTT
TTTTTTTTTTTTTTTT
---:-- / 48
TFTFTFTFTTFFFTTT
TXTTTTTTTTXTXTTT
V--:-- / -
TTTFTFTFTT???TTT
TTTTTTTTTT---TTT
---:-- / 39
????TFT?TT??????
----TTT-TT------
---:-- / 15
TTTFTFTFTTTFTTTT
TTTTTTTTTTTTTTTT
---:-- / 48
TTTFTFTFTTTFTTTT
TTTTTTTTTTTTTTTT
---:P- / 48
TTTFTFTFTTTFTTTT
TTTTTTTTTTTTTTTT
---:-M / 48
DNF

0
DNF

0
D05N200

TTTTFFFTFFTFFTFF (expected value)

4.16 4.16 4.16 4.95 4.16 4.16 4.03 3.24 4.95 4.16 4.16 4.16 4.16 4.16 2.55 4.16 (confidence rate)

DNC TTTTFFFTFFTFFTFF
TTTTTTTTTTTTTTTT
---:-- / 48
TTTTFFFTFFTFFT?F
TTTTTTTTTTTTTT-T
---:-- / 45
TTTTFFFTFFTFFT?F
TTTTTTTTTTTTTT-T
---:-- / 45
???T??F?F???????
---T--T-T-------
---:-- / 9
TTTTFF??FFTFFTFF
TTTTTT--TTTTTTTT
---:-- / 42
TTTTFFFTFFTFFTFF
TTTTTTTTTTTTTTTT
---:P- / 48
TTTTFFFTFFTFFTFF
TTTTTTTTTTTTTTTT
---:-M / 48
DNF

0
DNF

0
D05N250

TTFFFTTTFFTFTTTT (expected value)

2.55 4.16 3.24 3.24 3.24 4.03 3.24 3.24 4.16 4.16 4.16 4.16 2.55 4.16 4.16 2.55 (confidence rate)

DNC TTFFFTTTFFTFTTTT
TTTTTTTTTTTTTTTT
---:-M / 48
FTFFFTTTFFTFFTTF
XTTTTTTTTTTTXTTX
V--:-- / -
?TFFFTTTFFTF?TT?
-TTTTTTTTTTT-TT-
---:-- / 39
?????T??????????
-----T----------
---:-- / 3
TT??????FFTFTTTT
TT------TTTTTTTT
---:-- / 30
TTFFFTTTFFTFTTTT
TTTTTTTTTTTTTTTT
---:P- / 48
TTFFFTTTFFTFTTTT
TTTTTTTTTTTTTTTT
---:-- / 48
DNF

0
DNF

0
D05N300

TTFTTFTTFTTTFTTF (expected value)

2.55 4.16 3.24 3.24 3.24 3.24 3.24 1.63 4.16 2.55 4.16 4.16 3.24 3.24 3.24 3.24 (confidence rate)

DNC TTFTTFTTFTTTFTTF
TTTTTTTTTTTTTTTT
---:-M / 48
FTFTTFTFFFTTFTTF
XTTTTTTXTXTTTTTT
V--:-- / -
?TFTTFT?F?TTFTTF
-TTTTTT-T-TTTTTT
---:-- / 39
????????????????
----------------
---:-- / 0
TT??????FTTT????
TT------TTTT----
---:-- / 18
TTFTTFTTFTTTFTTF
TTTTTTTTTTTTTTTT
---:P- / 48
TTFTTFTTFTTTFTTF
TTTTTTTTTTTTTTTT
---:-- / 48
DNF

0
DNF

0
D05N350

FFFTTFTTFTFTTTFT (expected value)

2.62 2.62 2.62 2.62 2.62 1.00 3.41 2.62 2.62 2.62 2.62 2.62 2.62 2.62 3.41 2.62 (confidence rate)

DNC DNF

0
FFFTT?TTFTFTTTFT
TTTTT-TTTTTTTTTT
---:-- / 45
FFFTT?TTFTFTTTFT
TTTTT-TTTTTTTTTT
---:-- / 45
??????T???????F?
------T-------T-
---:-- / 6
????????????????
----------------
---:-- / 0
FFFTTFTTFTFTTTFT
TTTTTTTTTTTTTTTT
---:P- / 48
FFFTTFTTFTFTTTFT
TTTTTTTTTTTTTTTT
---:-M / 48
DNF

0
DNF

0
D10N010

FFTFTTFTTTFTFTFF (expected value)

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 4.95 4.95 (confidence rate)

DNC FFTFTTFTTTFTFTFF
TTTTTTTTTTTTTTTT
---:-- / 48
FFTFTTFTTTFTFTFF
TTTTTTTTTTTTTTTT
---:-- / 48
FFTFTTFTTTFTFTFF
TTTTTTTTTTTTTTTT
---:PM / 48
FFTFTTFTTTFTFTFF
TTTTTTTTTTTTTTTT
---:-- / 48
FFTFTTFTTTFTFTFF
TTTTTTTTTTTTTTTT
---:-- / 48
FFT?TTFTTTFTFTFF
TTT-TTTTTTTTTTTT
---:-- / 45
FFT?TTFTTTFTFTFF
TTT-TTTTTTTTTTTT
---:-- / 45
DNF

0
DNF

0
D10N050

FFTFTFFTTFTTTTFF (expected value)

4.16 4.16 4.16 4.16 4.16 4.16 4.16 4.16 4.16 4.16 2.55 4.95 4.16 4.16 4.16 4.16 (confidence rate)

DNC FFTFTFFTTFTTTTFF
TTTTTTTTTTTTTTTT
---:-- / 48
FFTFTFFTTFFTTTFF
TTTTTTTTTTXTTTTT
V--:-- / -
FFTFTFFTTF?TTTFF
TTTTTTTTTT-TTTTT
---:-- / 45
???????????T????
-----------T----
---:-- / 3
FFTFTFFTTFTTTTFF
TTTTTTTTTTTTTTTT
---:-- / 48
FFTFTFFTTFTTTTFF
TTTTTTTTTTTTTTTT
---:P- / 48
FFTFTFFTTFTTTTFF
TTTTTTTTTTTTTTTT
---:-M / 48
DNF

0
DNF

0
D10N100

TFTFTFTTFTTFFTTT (expected value)

4.16 4.16 4.16 4.16 4.16 3.24 3.24 4.03 4.16 4.16 4.16 4.16 4.16 4.95 4.16 4.16 (confidence rate)

DNC TFTFTFTTFTTFFTTT
TTTTTTTTTTTTTTTT
---:-- / 48
TFTFTFTTFTTFFTTT
TTTTTTTTTTTTTTTT
---:-- / 48
TFTFTFTTFTTFFTTT
TTTTTTTTTTTTTTTT
---:PM / 48
???????T?????T??
-------T-----T--
---:-- / 6
TFTFT???FTTFFTTT
TTTTT---TTTTTTTT
---:-- / 39
TFTFTFTTFTTFFTTT
TTTTTTTTTTTTTTTT
---:-- / 48
TFTFTFTTFTTFFTTT
TTTTTTTTTTTTTTTT
---:-- / 48
DNF

0
DNF

0
D10N150

TTFFTFFFTFFTFTFT (expected value)

2.12 2.62 2.62 2.62 2.62 3.41 3.41 2.62 2.12 2.62 2.12 1.62 1.62 2.62 2.62 1.62 (confidence rate)

DNC DNF

0
TTFFTFFFTFFTFTFT
TTTTTTTTTTTTTTTT
---:-- / 48
TTFFTFFFTFFTFTFT
TTTTTTTTTTTTTTTT
---:PM / 48
?????FF?????????
-----TT---------
---:-- / 6
DNF

0
?TFFTFFF?F???TF?
-TTTTTTT-T---TT-
---:-- / 30
TTFFTFFFTFF??TF?
TTTTTTTTTTT--TT-
---:-- / 39
DNF

0
DNF

0
D10N200

TTTFTTTTFTTTTTTT (expected value)

1.62 1.62 2.62 1.62 1.62 2.62 1.62 1.62 2.62 2.62 2.62 1.62 2.62 2.62 2.62 1.62 (confidence rate)

DNC DNF

0
TTTFTTTTFTTTTTTT
TTTTTTTTTTTTTTTT
---:-- / 48
TTTFTTTTFTTTTTTT
TTTTTTTTTTTTTTTT
---:PM / 48
????????????????
----------------
---:-- / 0
DNF

0
??T??T??FTT?TTT?
--T--T--TTT-TTT-
---:-- / 24
??T??T??FTT?TTT?
--T--T--TTT-TTT-
---:-- / 24
DNF

0
DNF

0
D20N010

TFTFFTTTTFTTFTTT (expected value)

4.95 3.96 3.96 3.96 3.96 3.96 3.03 3.03 4.95 4.45 3.96 3.96 4.95 3.96 3.96 4.95 (confidence rate)

DNC TFTFFTTTTFTTFTTT
TTTTTTTTTTTTTTTT
---:-- / 48
TFTFFTTTTFTTFTTT
TTTTTTTTTTTTTTTT
---:-- / 48
TFTFFTTTTFTTFTTT
TTTTTTTTTTTTTTTT
---:PM / 48
TFTFFTTTTFTTFTTT
TTTTTTTTTTTTTTTT
---:-- / 48
TFTFFT??TFTTFTTT
TTTTTT--TTTTTTTT
---:-- / 42
T???????TF??F??T
T-------TT--T--T
---:-- / 15
T???????T???F??T
T-------T---T--T
---:-- / 12
DNF

0
DNF

0
D20N050

TFTTTFFTTFTTTTFT (expected value)

3.16 2.24 2.24 3.24 2.24 3.24 3.24 2.24 3.24 2.24 2.24 2.24 3.24 2.24 3.24 2.24 (confidence rate)

DNC TFTTTFFTTFTTTTFT
TTTTTTTTTTTTTTTT
---:-- / 48
TFTTTFFTTFTTTTFT
TTTTTTTTTTTTTTTT
---:-- / 48
TFTTTFFTTFTTTTFT
TTTTTTTTTTTTTTTT
---:PM / 48
????????????????
----------------
---:-- / 0
T???????????????
T---------------
---:-- / 3
???T?FF?T???T?F?
---T-TT-T---T-T-
---:-- / 18
???T?FF?T???T?F?
---T-TT-T---T-T-
---:-- / 18
DNF

0
DNF

0
D20N100

TFFTTFTTFTTTTFTT (expected value)

2.62 2.62 1.62 2.12 1.62 2.62 1.62 1.62 1.62 1.62 1.62 1.62 1.62 1.62 1.62 1.62 (confidence rate)

DNC DNF

0
TFFTTFTTFTTTTFTT
TTTTTTTTTTTTTTTT
---:-- / 48
TFFTTFTTFTTTTFTT
TTTTTTTTTTTTTTTT
---:PM / 48
????????????????
----------------
---:-- / 0
DNF

0
TF?T?F??????????
TT-T-T----------
---:-- / 12
TF???F??????????
TT---T----------
---:-- / 9
DNF

0
DNF

0
D20N150

FTFFTTTTFTFTTFFT (expected value)

1.62 1.62 1.62 1.62 1.62 1.62 1.62 2.12 1.62 2.62 1.62 1.62 1.62 2.62 1.62 2.62 (confidence rate)

DNC DNF

0
FTFFTTTTFTFTTFFT
TTTTTTTTTTTTTTTT
---:-- / 48
FTFFTTTTFTFTTFFT
TTTTTTTTTTTTTTTT
---:PM / 48
????????????????
----------------
---:-- / 0
DNF

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

0
DNF

0
D30N010

TTTTTTTTFFTTTTTF (expected value)

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

DNC TTTTTTTTFFTTTTTF
TTTTTTTTTTTTTTTT
---:-- / 48
TTTTTTTTFFTTTTTF
TTTTTTTTTTTTTTTT
---:-- / 48
TTTTTTTTFFTTTTTF
TTTTTTTTTTTTTTTT
---:PM / 48
TTTTTTTTFFTTTTTF
TTTTTTTTTTTTTTTT
---:-- / 48
DNF

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

0
DNF

0
D30N050

TFTTFFTTTFTTFFTF (expected value)

1.62 2.62 1.62 1.62 1.62 1.62 2.12 1.62 1.62 1.62 1.62 1.62 1.62 1.62 2.62 1.62 (confidence rate)

DNC DNF

0
TFTTFFTTTFTTFFTF
TTTTTTTTTTTTTTTT
---:-- / 48
TFTTFFTTTFTTFFTF
TTTTTTTTTTTTTTTT
---:PM / 48
????????????????
----------------
---:-- / 0
DNF

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

0
DNF

0
D30N100

FTTTTTTTFTTTTFTT (expected value)

2.62 1.62 1.62 1.62 1.62 2.62 1.62 1.62 1.62 1.62 1.62 2.62 1.62 2.62 1.62 1.62 (confidence rate)

DNC DNF

0
FTTTTTTTFTTTTFTT
TTTTTTTTTTTTTTTT
---:-- / 48
FTTTTTTTFTTTTFTT
TTTTTTTTTTTTTTTT
---:PM / 48
????????????????
----------------
---:-- / 0
DNF

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

0
DNF

0
D30N150

TTTTTTFFTFTTTFFF (expected value)

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

DNC DNF

0
?T????FF?F???FFF
-T----TT-T---TTT
---:-- / 21
TTTTTTFFTFTTTFFF
TTTTTTTTTTTTTTTT
---:PM / 48
??T?????????????
--T-------------
---:-- / 3
DNF

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

0
DNF

0
D40N010

TFTTTTTTTTTFTTTT (expected value)

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

DNC TFTTTTTTTTTFTTTT
TTTTTTTTTTTTTTTT
---:-- / 48
TFTTTTTTTTTFTTTT
TTTTTTTTTTTTTTTT
---:-- / 48
TFTTTTTTTTTFTTTT
TTTTTTTTTTTTTTTT
---:PM / 48
TFTTTTTTTTTFTTTT
TTTTTTTTTTTTTTTT
---:-- / 48
DNF

0
T?????????T?????
T---------T-----
---:-- / 6
????????????????
----------------
---:-- / 0
DNF

0
DNF

0
D40N050

TTTTTFTTTTTFTTTF (expected value)

1.62 0.98 0.98 1.48 0.98 2.12 0.98 0.98 0.98 0.98 0.98 2.12 0.98 0.98 0.98 2.12 (confidence rate)

DNC DNF

0
T????F?????F???F
T----T-----T---T
---:-- / 12
TTTTTFTTTTTFTTTF
TTTTTTTTTTTTTTTT
---:PM / 48
????????????????
----------------
---:-- / 0
DNF

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

0
DNF

0
D40N100

TTTTFTFTTTTTTTTT (expected value)

0.98 0.98 0.98 0.98 1.62 0.98 1.62 0.98 1.48 0.98 0.98 1.48 0.98 1.48 0.98 0.98 (confidence rate)

DNC DNF

0
????F?F?????????
----T-T---------
---:-- / 6
TTTTFTFTTTTTTTTT
TTTTTTTTTTTTTTTT
---:PM / 48
????????????????
----------------
---:-- / 0
DNF

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

0
DNF

0
D40N150

FTTFFTTTTFFTTTTT (expected value)

1.62 0.98 0.98 1.62 1.62 0.98 0.98 0.98 0.98 2.12 1.62 0.98 1.48 0.98 0.98 1.48 (confidence rate)

DNC DNF

0
F??FF????FF?????
T--TT----TT-----
---:-- / 15
FTTFFTTTTFFTTTTT
TTTTTTTTTTTTTTTT
---:PM / 48
????????????????
----------------
---:-- / 0
DNF

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

0
DNF

0
D50N010

TFTTTFTTFTFTFFTT (expected value)

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

DNC TFTTTFTTFTFTFFTT
TTTTTTTTTTTTTTTT
---:-- / 48
TFTTTFTTFTFTFFTT
TTTTTTTTTTTTTTTT
---:P- / 48
TFTTTFTTFTFTFFTT
TTTTTTTTTTTTTTTT
---:-M / 48
????????????????
----------------
---:-- / 0
DNF

0
DNF

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

0
DNF

0
D50N050

TTTTTTTTTTTFTTTT (expected value)

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

DNC DNF

0
???????????F????
-----------T----
---:-- / 3
TTTTTTTTTTTFTTTT
TTTTTTTTTTTTTTTT
---:PM / 48
????????????????
----------------
---:-- / 0
DNF

0
DNF

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

0
DNF

0
D50N100

TFTFTTFFTTTTTTTF (expected value)

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

DNC DNF

0
?F?F??FF???????F
-T-T--TT-------T
---:-- / 15
TFTFTTFFTTTTTTTF
TTTTTTTTTTTTTTTT
---:PM / 48
????????????????
----------------
---:-- / 0
DNF

0
DNF

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

0
DNF

0
D50N150

TFFFTFFTFFTFTTTT (expected value)

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

DNC DNF

0
?FFF?FF?FF?F????
-TTT-TT-TT-T----
---:-- / 24
TFFFTFFTFFTFTTTT
TTTTTTTTTTTTTTTT
---:PM / 48
????????????????
----------------
---:-- / 0
DNF

0
DNF

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

0
DNF

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

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

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

DNC CC

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

0
????????????????
----------------
---:-- / 0
DNC DNC DNC DNC
3

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

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

DNC CC

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

0
DNF

0
DNC DNC DNC DNC
4

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

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

DNC CC

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

0
DNF

0
DNC DNC DNC DNC
5

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

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

DNC CC

0
???FFF???FFFF???
????????????????
---:PM / 0
DNC CC

0
DNF

0
DNC DNC DNC DNC
DrinkVendingMachine (stripped) — Colored
  Cunf GreatSPN-Meddly ITS-Tools LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 0 0 0 0 0 0 0 0 0
Bonuses 0 0 0 0 0 0 0 0 0 0
Scores 0 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 CC

0
TFTFFTFTTTTTTFFT
????????????????
-C-:-- / -
DNC CC

0
????????????????
????????????????
---:-- / 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 CC

0
CC

0
DNC CC

0
????????????????
????????????????
---:-- / 0
DNC DNC DNC DNC
16

? (expected value)

0 (confidence rate)

DNC CC

0
CC

0
DNC CC

0
DNF

0
DNC DNC DNC DNC
24

? (expected value)

0 (confidence rate)

DNC CC

0
CC

0
DNC CC

0
CC

0
DNC DNC DNC DNC
48

? (expected value)

0 (confidence rate)

DNC CC

0
CC

0
DNC CC

0
CC

0
DNC DNC DNC DNC
76

? (expected value)

0 (confidence rate)

DNC CC

0
CC

0
DNC CC

0
CC

0
DNC DNC DNC DNC
98

? (expected value)

0 (confidence rate)

DNC CC

0
CC

0
DNC CC

0
CC

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

FTTTTFTTFFFFTTFF (expected value)

4.24 5.24 5.24 4.45 4.24 4.45 4.45 4.24 4.45 4.45 4.24 4.45 4.24 3.45 5.24 4.45 (confidence rate)

DNC FTTTTFTTFFFFTTFF
TTTTTTTTTTTTTTTT
---:-- / 48
TFTFFFTTFFTTTFFF
XXTXXTTTTTXXTXTT
VC-:-- / -
FTTTTFTTFFFFTTFF
TTTTTTTTTTTTTTTT
---:-M / 48
FTTFTTFTTTFTTFFT
TTTXTXXTXXTXTXTX
V--:-- / -
FTTTTFTTFFFFTTFF
TTTTTTTTTTTTTTTT
---:-- / 48
?TTT?FT?FF?F??FF
-TTT-TT-TT-T--TT
---:-- / 30
?TTT?FT?FF?F??FF
-TTT-TT-TT-T--TT
---:-- / 30
FTTTTFTTFFFFTTFF
TTTTTTTTTTTTTTTT
---:-- / 48
FTTTTFTTFFFFTTFF
TTTTTTTTTTTTTTTT
---:P- / 48
10

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

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

DNC DNF

0
DNF

0
DNF

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

0
CC

0
DNF

0
DNF

0
ERK (stripped) — P/T
  Cunf GreatSPN-Meddly ITS-Tools LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 48 48 57 264 150 144 261 291 102 234
Bonuses 0 0 0 12 0 0 0 30 6 24
Scores 48 48 57 252 150 144 261 261 96 210
000001

FTFFTFTTTFTTTFTT (expected value)

6.85 6.23 6.85 6.85 6.85 6.85 6.85 6.85 6.85 6.85 6.85 6.85 6.85 6.23 6.85 6.85 (confidence rate)

FTFFTFTTTFTTTFTT
TTTTTTTTTTTTTTTT
---:-- / 48
FFFFTFTTTFTTTTTT
TXTTTTTTTTTTTXTT
V--:-- / -
FTFFTFTTTFTTTFTT
TTTTTTTTTTTTTTTT
---:-- / 48
FTFFTFTTTFTTTFTT
TTTTTTTTTTTTTTTT
---:-- / 48
FTFFTFTTTFTTTFTT
TTTTTTTTTTTTTTTT
---:-- / 48
FTFFTFTTTFTTTFTT
TTTTTTTTTTTTTTTT
---:-- / 48
FTFFTFTTTFTTTFTT
TTTTTTTTTTTTTTTT
---:-- / 48
FTFFTFTTTFTTTFTT
TTTTTTTTTTTTTTTT
---:-M / 48
FTFFTFTTTFTTTFTT
TTTTTTTTTTTTTTTT
---:P- / 48
FTFFTFTTTFTTTFTT
TTTTTTTTTTTTTTTT
---:-- / 48
000010

TTFFTFTTTFFFTFTF (expected value)

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

DNC TTFFTFTTTFFFTFTF
TTTTTTTTTTTTTTTT
---:-- / 48
TFFTFTFFTFFTTFTF
TXTXXXXXTTTXTTTT
V--:-- / -
TTFFTFTTTFFFTFTF
TTTTTTTTTTTTTTTT
---:-- / 48
TTFFTFTTTFFFTFTF
TTTTTTTTTTTTTTTT
---:-- / 48
TTFFTFTTTFFFTFTF
TTTTTTTTTTTTTTTT
---:-- / 48
TTFFTFTTTFFFTFTF
TTTTTTTTTTTTTTTT
---:-- / 48
TTFFTFTTTFFFTFTF
TTTTTTTTTTTTTTTT
---:PM / 48
TTFFTFTTTFFFTFTF
TTTTTTTTTTTTTTTT
---:-- / 48
TTFFTFTTTFFFTFTF
TTTTTTTTTTTTTTTT
---:-- / 48
000100

FTTFFTFFFFFFFFTF (expected value)

4.81 4.13 4.77 5.26 5.26 4.81 4.26 5.26 4.81 4.81 4.77 5.26 5.26 5.26 5.26 5.26 (confidence rate)

DNC DNF

0
FFTFFTFFFFFFFFTF
TXTTTTTTTTTTTTTT
V--:-- / -
FTTFFTFFFFFFFFTF
TTTTTTTTTTTTTTTT
---:PM / 48
FTTFFTFFFFFFFFTF
TTTTTTTTTTTTTTTT
---:-- / 48
FTTFFTFFFFFFFFTF
TTTTTTTTTTTTTTTT
---:-- / 48
FTTFFT?FFFFFFFTF
TTTTTT-TTTTTTTTT
---:-- / 45
FTTFFT?FFFFFFFTF
TTTTTT-TTTTTTTTT
---:-- / 45
TTTFFFFFTTFFFFTF
XTTTTXTTXXTTTTTT
V--:-- / -
F??FFTFFFF?FFFTF
T--TTTTTTT-TTTTT
---:-- / 39
001000

FFTTTFFFTTTTTTTT (expected value)

2.90 2.46 2.42 3.54 1.44 1.92 1.48 0.92 3.54 2.54 3.54 1.44 2.42 2.42 2.90 1.44 (confidence rate)

DNC DNF

0
???T????TTT?FF??
---T----TTT-XX--
V--:-- / -
FFTT????TTT?TTT?
TTTT----TTT-TTT-
---:-- / 30
????????????????
----------------
---:-- / 0
DNF

0
FFTTTFF?T?TTTTTT
TTTTTTT-T-TTTTTT
---:-- / 42
FFTTTFF?T?TTTTTT
TTTTTTT-T-TTTTTT
---:P- / 42
FTTTTFTFTTTTTTTT
TXTTTTXTTTTTTTTT
V--:-- / -
FF?T?FFFTTT???T?
TT-T-TTTTTT---T-
---:-M / 30
010000

FFTFFTFTFFTFTFFT (expected value)

1.44 0.98 3.54 1.90 2.90 2.90 2.90 2.90 2.90 2.42 4.33 2.42 2.54 1.44 0.98 1.98 (confidence rate)

DNC DNF

0
??T???????T?T???
--T-------T-T---
---:-- / 9
?FTFFTFTFFTFT?FT
-TTTTTTTTTTTT-TT
---:-- / 42
??????????T?????
----------T-----
---:-- / 3
DNF

0
F?T?FTFTFFTF?F?T
T-T-TTTTTTTT-T-T
---:-- / 36
F?T?FTFTFFTF?F?T
T-T-TTTTTTTT-T-T
---:-- / 36
FTTFFTFTFFTFTFTF
TXTTTTTTTTTTTTXX
V--:-- / -
??TFFTFTF?T?T???
--TTTTTTT-T-T---
---:PM / 27
100000

TTFFFFTTFFFFFFFF (expected value)

2.62 2.42 3.54 1.90 1.90 2.90 2.42 1.98 4.33 2.08 2.08 2.62 2.08 3.54 2.08 3.06 (confidence rate)

DNC DNF

0
TFFTTTFFFFFFFFFF
TXTXXXXXTTTTTTTT
V--:-- / -
TTFFFFTTF??F?F?F
TTTTTTTTT--T-T-T
---:-- / 36
????????F???????
--------T-------
---:-- / 3
CC

0
TTF??FTTFFFFFFFF
TTT--TTTTTTTTTTT
---:-- / 42
TTF??FTTFFFFFFFF
TTT--TTTTTTTTTTT
---:P- / 42
FTFFFFTFFFFTFFFF
XTTTTTTXTTTXTTTT
V--:-- / -
??FFFF??F????F??
--TTTT--T----T--
---:-M / 18
Echo (stripped) — P/T
  Cunf GreatSPN-Meddly ITS-Tools LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 0 129 432 39 0 360 381 0 27
Bonuses 0 0 0 66 0 0 6 36 0 0
Scores 0 0 129 366 39 0 354 345 0 27
d02r09

TTTTTTTTTFTTFFTF (expected value)

2.62 2.62 0.98 2.12 2.62 1.98 0.98 1.98 2.62 2.62 2.62 2.62 2.62 1.62 2.62 2.62 (confidence rate)

CC

0
DNF

0
TT?TT???TFTTFFTF
TT-TT---TTTTTTTT
---:-- / 36
TTTTTTTTTFTTFFTF
TTTTTTTTTTTTTTTT
---:PM / 48
????????????????
----------------
---:-- / 0
DNF

0
TT?TTT?TTFTTF?TF
TT-TTT-TTTTTT-TT
---:-- / 39
TT??TT?TTFTTF?TF
TT--TT-TTTTTT-TT
---:-- / 36
DNF

0
DNF

0
d02r11

TFTTF(F)FTTTFTTTTF (expected value)

2.62 3.41 1.98 1.98 1.62 0.64 2.62 1.98 1.98 1.98 3.41 1.98 1.98 0.98 1.98 1.62 (confidence rate)

CC

0
DNF

0
TF??FFF???F????F
TT--T?T---T----T
---:-- / 18
TFTTF?FTTTFTTTTF
TTTTT-TTTTTTTTTT
---:P- / 45
?F????????F?????
-T--------T-----
---:-- / 6
DNF

0
TFTT??FTTTFTT?T?
TTTT--TTTTTTT-T-
---:-- / 36
TFTT??FTTTFTT?T?
TTTT--TTTTTTT-T-
---:-M / 36
DNF

0
DNF

0
d02r15

FTTFTFTTF(F)FFTTTT (expected value)

1.62 1.98 1.98 2.62 1.98 2.62 2.77 1.98 2.62 0.64 1.62 2.62 1.98 1.98 1.98 1.98 (confidence rate)

CC

0
DNF

0
F??F?F??FFFF????
T--T-T--T?TT----
---:-- / 18
FTTFTFTTF?FFTTTT
TTTTTTTTT-TTTTTT
---:P- / 45
??????T?????????
------T---------
---:-- / 3
DNF

0
?TTFTFTTF??FTTTT
-TTTTTTTT--TTTTT
---:-- / 39
?TTFTFTTF??FTTTT
-TTTTTTTT--TTTTT
---:-M / 39
DNF

0
DNF

0
d02r19

TFTTTFFFTTTTFTFT (expected value)

1.98 2.62 1.98 1.98 1.00 2.12 1.62 1.62 1.98 0.98 1.98 1.98 2.62 1.98 2.62 1.48 (confidence rate)

CC

0
DNF

0
?F???FFF????F?F?
-T---TTT----T-T-
---:-- / 18
TFTT?FFFTTTTFTFT
TTTT-TTTTTTTTTTT
---:P- / 45
????????????????
----------------
---:-- / 0
DNF

0
TFTTTF??T?TTFTFT
TTTTTT--T-TTTTTT
---:-- / 39
TFTTT???T?TTFTF?
TTTTT---T-TTTTT-
---:-M / 33
DNF

0
DNF

0
d03r03

(F)TTFFTTFTFTTTFT? (expected value)

0.64 2.12 2.91 1.64 2.91 1.00 2.91 1.91 1.64 1.13 1.64 2.12 2.43 2.12 2.91 0 (confidence rate)

CC

0
DNF

0
FTTFFFTFTFTTTFT?
?TTTTXTTTTTTTTT?
V--:-- / -
????????????????
---------------?
---:-- / 0
??T?F?TF????T?T?
--T-T-TT----T-T?
---:-- / 18
DNF

0
?TTFFTT?T?TTTFT?
-TTTTTT-T-TTTTT?
---:P- / 36
?TTFFTT?T?TTTFT?
-TTTTTT-T-TTTTT?
---:-M / 36
DNF

0
?TT?F?TF?F?T?FT?
-TT-T-TT-T-T-TT?
---:-- / 27
d03r05

TTTFTFTTTTFTF? TT (expected value)

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

CC

0
DNF

0
?F?F?F?T?TFTF?T?
-X-T-T-T-TTTT?T-
V--:-- / -
TTTFTFTTTTFT??TT
TTTTTTTTTTTT-?TT
---:P- / 42
????T?????F?????
----T-----T--?--
---:-- / 6
DNF

0
T?TFTFTT?TFTF?TT
T-TTTTTT-TTTT?TT
---:-- / 39
T?TFTFTT?TFTF?TT
T-TTTTTT-TTTT?TT
---:-M / 39
DNF

0
DNF

0
d03r07

FFTTFTTTTTTTTFTT (expected value)

2.62 2.62 1.98 1.98 2.62 1.98 1.98 1.98 1.98 1.98 2.77 1.98 1.98 1.62 1.98 1.98 (confidence rate)

CC

0
DNF

0
FF??F????????F??
TT--T--------T--
---:-- / 12
FFTTFTTTTTTTTFTT
TTTTTTTTTTTTTTTT
---:PM / 48
??????????T?????
----------T-----
---:-- / 3
DNF

0
FFTTFTTTTTTTT?TT
TTTTTTTTTTTTT-TT
---:-- / 45
FFTTFTTTTTTTT?TT
TTTTTTTTTTTTT-TT
---:-- / 45
DNF

0
DNF

0
d04r03

TFTTFTTTTFTFTTTF (expected value)

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

CC

0
DNF

0
?F?TF??T?F?F????
-T-TT--T-T-T----
---:-- / 18
TFTTFTTTTFTFTTT?
TTTTTTTTTTTTTTT-
---:P- / 45
????????????????
----------------
---:-- / 0
DNF

0
TFTTFTTT?FT?TTTF
TTTTTTTT-TT-TTTT
---:-- / 42
TFTTFTTT?FT?TTTF
TTTTTTTT-TT-TTTT
---:-M / 42
DNF

0
DNF

0
d05r03

FTTTTTTTTTTTFTTF (expected value)

1.62 1.98 1.98 0.98 1.98 0.98 1.98 1.98 1.98 2.77 1.98 1.98 2.62 1.98 1.98 2.62 (confidence rate)

CC

0
CC

0
F???????????F??F
T-----------T--T
---:-- / 9
FTTTTTTTTTTTFTTF
TTTTTTTTTTTTTTTT
---:PM / 48
?????????T??????
---------T------
---:-- / 3
DNF

0
?TT?T?TTTTTTFTTF
-TT-T-TTTTTTTTTT
---:-- / 39
?TT?T?TTTTTTFTTF
-TT-T-TTTTTTTTTT
---:-- / 39
DNF

0
DNF

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

TFFFFFTTTFTTTFTT (expected value)

2.55 2.55 2.55 2.55 1.56 2.55 0.92 2.55 2.55 2.55 2.55 2.55 2.55 2.55 2.55 2.55 (confidence rate)

DNF

0
TTFFTFFTTFTTTTTT
TXTTXTXTTTTTTXTT
V--:-- / -
FF??F??FF?FFFFFF
XT--T--XX-XXXTXX
V--:-- / -
?F???????????F??
-T-----------T--
---:-M / 6
????????????????
----------------
---:-- / 0
TFFFFFTTTFTTTFTT
TTTTTTTTTTTTTTTT
---:-- / 48
T?FF?F?TTFTTT?TT
T-TT-T-TTTTTT-TT
---:P- / 36
T?FF?F?TTFTTT?TT
T-TT-T-TTTTTT-TT
---:-- / 36
DNF

0
DNF

0
Eratosthenes (stripped) — P/T
  Cunf GreatSPN-Meddly ITS-Tools LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 102 0 240 309 288 288 291 309 96 48
Bonuses 6 0 0 24 0 0 12 30 0 0
Scores 96 0 240 285 288 288 279 279 96 48
010

FTFFTTTFTFFTTFTT (expected value)

6.37 6.37 6.37 6.37 5.74 6.37 6.37 6.37 5.74 6.37 5.74 6.37 6.37 6.37 6.37 6.37 (confidence rate)

FTFFTTTFTFFTTFTT
TTTTTTTTTTTTTTTT
---:-M / 48
FTFFFTTFFFTTTFTT
TTTTXTTTXTXTTTTT
V--:-- / -
FTFFTTTFTFFTTFTT
TTTTTTTTTTTTTTTT
---:-- / 48
FTFFTTTFTFFTTFTT
TTTTTTTTTTTTTTTT
---:-- / 48
FTFFTTTFTFFTTFTT
TTTTTTTTTTTTTTTT
---:-- / 48
FTFFTTTFTFFTTFTT
TTTTTTTTTTTTTTTT
---:-- / 48
FTFFTTTFTFFTTFTT
TTTTTTTTTTTTTTTT
---:-- / 48
FTFFTTTFTFFTTFTT
TTTTTTTTTTTTTTTT
---:P- / 48
FTFFTTTFTFFTTFTT
TTTTTTTTTTTTTTTT
---:-- / 48
DNF

0
020

TTFFFTFFTTTFFTFF (expected value)

6.85 6.85 6.85 6.85 6.85 6.85 6.85 6.21 6.85 6.85 6.85 6.23 6.85 6.85 6.23 6.23 (confidence rate)

TTFFFTFFTTTFFTFF
TTTTTTTTTTTTTTTT
---:-- / 48
TTFFFTFFTTTTFTTT
TTTTTTTTTTTXTTXX
V--:-- / -
TTFFFTFTTTTFFTFF
TTTTTTTXTTTTTTTT
V--:-- / -
TTFFFTFFTTTFFTFF
TTTTTTTTTTTTTTTT
---:-- / 48
TTFFFTFFTTTFFTFF
TTTTTTTTTTTTTTTT
---:-- / 48
TTFFFTFFTTTFFTFF
TTTTTTTTTTTTTTTT
---:-- / 48
TTFFFTFFTTTFFTFF
TTTTTTTTTTTTTTTT
---:-- / 48
TTFFFTFFTTTFFTFF
TTTTTTTTTTTTTTTT
---:PM / 48
TTFFFTFFTTTFFTFF
TTTTTTTTTTTTTTTT
---:-- / 48
TTFFFTFFTTTFFTFF
TTTTTTTTTTTTTTTT
---:-- / 48
050

TFTFFTFTFFTFFFTF (expected value)

4.95 4.95 4.34 4.95 4.95 4.95 4.34 4.95 4.95 4.95 4.34 4.95 4.95 4.95 4.95 4.95 (confidence rate)

CC

0
TFFFFTTTFFFFFFTF
TTXTTTXTTTXTTTTT
V--:-- / -
TFTFFTFTFFTFFFTF
TTTTTTTTTTTTTTTT
---:-- / 48
TFTFFTFTFFTFFFTF
TTTTTTTTTTTTTTTT
---:-- / 48
TFTFFTFTFFTFFFTF
TTTTTTTTTTTTTTTT
---:-- / 48
TFTFFTFTFFTFFFTF
TTTTTTTTTTTTTTTT
---:-- / 48
TFTFFTFTFFTFFFTF
TTTTTTTTTTTTTTTT
---:-- / 48
TFTFFTFTFFTFFFTF
TTTTTTTTTTTTTTTT
---:PM / 48
DNF

0
DNF

0
100

TTFTTFFTFFFTFTTF (expected value)

4.34 4.95 4.95 4.34 3.98 4.95 4.95 4.95 4.95 4.95 4.34 4.95 4.95 4.95 4.34 4.95 (confidence rate)

CC

0
FTFFTFFTFFTTFTFF
XTTXTTTTTTXTTTXT
V--:-- / -
TTFTTFFTFFFTFTTF
TTTTTTTTTTTTTTTT
---:-- / 48
TTFT?FFTFFFTFTTF
TTTT-TTTTTTTTTTT
---:-- / 45
TTFTTFFTFFFTFTTF
TTTTTTTTTTTTTTTT
---:-- / 48
TTFTTFFTFFFTFTTF
TTTTTTTTTTTTTTTT
---:-- / 48
TTFTTFFTFFFTFTTF
TTTTTTTTTTTTTTTT
---:PM / 48
TTFTTFFTFFFTFTTF
TTTTTTTTTTTTTTTT
---:-- / 48
DNF

0
DNF

0
200

FFFFFTFTFFTTTTTT (expected value)

4.34 4.34 4.34 4.34 4.34 4.34 4.34 4.34 4.34 4.34 4.34 4.34 4.34 4.34 4.34 4.34 (confidence rate)

CC

0
CC

0
FFFFFTFTFFTTTTTT
TTTTTTTTTTTTTTTT
---:-- / 48
FFFFFTFTFFTTTTTT
TTTTTTTTTTTTTTTT
---:PM / 48
FFFFFTFTFFTTTTTT
TTTTTTTTTTTTTTTT
---:-- / 48
FFFFFTFTFFTTTTTT
TTTTTTTTTTTTTTTT
---:-- / 48
FFFFFTFTFFTTTTTT
TTTTTTTTTTTTTTTT
---:-- / 48
FFFFFTFTFFTTTTTT
TTTTTTTTTTTTTTTT
---:-- / 48
DNF

0
DNF

0
500

FFTFFTTTFTTFFFTT (expected value)

4.34 4.34 4.34 4.34 4.34 4.34 4.34 4.34 4.34 3.34 4.34 4.34 4.34 3.34 3.34 4.34 (confidence rate)

CC

0
CC

0
FFTFFTTTFTTFFFTT
TTTTTTTTTTTTTTTT
---:-- / 48
FFTFFTTTFTTFFFTT
TTTTTTTTTTTTTTTT
---:PM / 48
FFTFFTTTFTTFFFTT
TTTTTTTTTTTTTTTT
---:-- / 48
FFTFFTTTFTTFFFTT
TTTTTTTTTTTTTTTT
---:-- / 48
FFTFFTTTF?TFF??T
TTTTTTTTT-TTT--T
---:-- / 39
FFTFFTTTF?TFF??T
TTTTTTTTT-TTT--T
---:-- / 39
DNF

0
DNF

0
FMS (stripped) — P/T
  Cunf GreatSPN-Meddly ITS-Tools LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 150 201 402 324 255 366 396 240 354
Bonuses 0 6 12 24 0 0 12 42 0 0
Scores 0 144 189 378 324 255 354 354 240 354
002

TTFTTTFFTTFTTTFF (expected value)

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

DNC TTFTFTFFTTFFTTTF
TTTTXTTTTTTXTTXT
V--:-- / -
TTFTTTFFTFFTTTFF
TTTTTTTTTXTTTTTT
V--:-- / -
TTFTTTFFTTFTTTFF
TTTTTTTTTTTTTTTT
---:-- / 48
TTFTTTFFTTFTTTFF
TTTTTTTTTTTTTTTT
---:-- / 48
TTFTTTFFTTFTTTFF
TTTTTTTTTTTTTTTT
---:-- / 48
TTFTTTFFTTFTTTFF
TTTTTTTTTTTTTTTT
---:-- / 48
TTFTTTFFTTFTTTFF
TTTTTTTTTTTTTTTT
---:PM / 48
TTFTTTFFTTFTTTFF
TTTTTTTTTTTTTTTT
---:-- / 48
TTFTTTFFTTFTTTFF
TTTTTTTTTTTTTTTT
---:-- / 48
005

TTTTTTTTFTTFTTTT (expected value)

5.88 5.24 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)

DNC TTTTTTTTFTTFTTTT
TTTTTTTTTTTTTTTT
---:-- / 48
TFTTTTTTFTTFTTTT
TXTTTTTTTTTTTTTT
V--:-- / -
TTTTTTTTFTTFTTTT
TTTTTTTTTTTTTTTT
---:-- / 48
TTTTTTTTFTTFTTTT
TTTTTTTTTTTTTTTT
---:-- / 48
TTTTTTTTFTTFTTTT
TTTTTTTTTTTTTTTT
---:-- / 48
TTTTTTTTFTTFTTTT
TTTTTTTTTTTTTTTT
---:-- / 48
TTTTTTTTFTTFTTTT
TTTTTTTTTTTTTTTT
---:PM / 48
TTTTTTTTFTTFTTTT
TTTTTTTTTTTTTTTT
---:-- / 48
TTTTTTTTFTTFTTTT
TTTTTTTTTTTTTTTT
---:-- / 48
010

FTFTTFFTTFTTFFFT (expected value)

5.88 5.88 5.40 5.40 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.40 5.88 (confidence rate)

DNC FTFTTFFTTFTTFFFT
TTTTTTTTTTTTTTTT
---:-- / 48
FTFTTFFTTFTTFFFT
TTTTTTTTTTTTTTTT
---:-- / 48
FTFTTFFTTFTTFFFT
TTTTTTTTTTTTTTTT
---:-- / 48
FTFTTFFTTFTTFFFT
TTTTTTTTTTTTTTTT
---:-- / 48
FTFTTFFTTFTTFFFT
TTTTTTTTTTTTTTTT
---:-- / 48
FTFTTFFTTFTTFFFT
TTTTTTTTTTTTTTTT
---:-M / 48
FTFTTFFTTFTTFFFT
TTTTTTTTTTTTTTTT
---:P- / 48
FTFTTFFTTFTTFFFT
TTTTTTTTTTTTTTTT
---:-- / 48
FT??TFFTTFTTFF?T
TT--TTTTTTTTTT-T
---:-- / 39
020

FTFTTFFFTFTTTFTT (expected value)

5.88 5.88 5.88 5.88 5.88 5.88 5.26 5.88 4.76 5.88 5.88 5.88 5.88 5.88 5.88 5.88 (confidence rate)

DNC FTFTTFTFTFTTTFTT
TTTTTTXTTTTTTTTT
V--:-- / -
FTFTTFFFFFTTTFTT
TTTTTTTTXTTTTTTT
V--:-- / -
FTFTTFFFTFTTTFTT
TTTTTTTTTTTTTTTT
---:-- / 48
FTFTTFFFTFTTTFTT
TTTTTTTTTTTTTTTT
---:-- / 48
FTFTTFFFTFTTTFTT
TTTTTTTTTTTTTTTT
---:-- / 48
FTFTTFFFTFTTTFTT
TTTTTTTTTTTTTTTT
---:-- / 48
FTFTTFFFTFTTTFTT
TTTTTTTTTTTTTTTT
---:PM / 48
FTFTTFFFTFTTTFTT
TTTTTTTTTTTTTTTT
---:-- / 48
FTFTTFFF?FTTTFTT
TTTTTTTT-TTTTTTT
---:-- / 45
050

TTTTTFTTFFFTTFTF (expected value)

5.88 5.88 4.76 5.88 5.88 5.88 5.88 3.78 5.88 5.88 5.88 5.88 5.88 5.88 5.88 4.76 (confidence rate)

DNC TTTTTFTTFFFTTFTF
TTTTTTTTTTTTTTTT
---:-M / 48
TT?TTFTFFFFTTFT?
TT-TTTTXTTTTTTT-
V--:-- / -
TTTTTFT?FFFTTFTF
TTTTTTT-TTTTTTTT
---:-- / 45
TTTTTFTTFFFTTFTF
TTTTTTTTTTTTTTTT
---:-- / 48
TTTTTFTTFFFTTFTF
TTTTTTTTTTTTTTTT
---:-- / 48
TTTTTFTTFFFTTFTF
TTTTTTTTTTTTTTTT
---:P- / 48
TTTTTFTTFFFTTFTF
TTTTTTTTTTTTTTTT
---:-- / 48
TTTTTFTTFFFTTFTF
TTTTTTTTTTTTTTTT
---:-- / 48
TT?TTFT?FFFTTFT?
TT-TTTT-TTTTTTT-
---:-- / 39
100

FFTTTTTFFTFFFFFT (expected value)

3.77 4.26 4.33 2.89 2.89 4.33 4.33 4.33 4.26 5.26 5.26 4.33 4.33 4.33 4.33 4.33 (confidence rate)

DNC DNF

0
FFTTTTTFFTFFFFFT
TTTTTTTTTTTTTTTT
---:-- / 48
FFTTTTTFFTFFFFFT
TTTTTTTTTTTTTTTT
---:PM / 48
FFTTTTTFFTFFFFFT
TTTTTTTTTTTTTTTT
---:-- / 48
FF??????FTF?????
TT------TTT-----
---:-- / 15
??T??TTF?TFFFFFT
--T--TTT-TTTTTTT
---:-- / 33
??T??TTF?TFFFFFT
--T--TTT-TTTTTTT
---:-- / 33
FFTFFTTFFTFFFFFT
TTTXXTTTTTTTTTTT
V--:-- / -
?FTTTTTFFTFFFFFT
-TTTTTTTTTTTTTTT
---:-- / 45
200

TFTTFTTTTFFTTFFT (expected value)

3.54 4.33 3.54 4.33 3.54 4.33 4.33 3.34 2.41 4.33 4.33 4.33 4.33 3.54 4.33 4.33 (confidence rate)

DNC DNF

0
TFTTFTTTTFFTTFFT
TTTTTTTTTTTTTTTT
---:-- / 48
TFTTFTTTTFFTTFFT
TTTTTTTTTTTTTTTT
---:PM / 48
?F?T?TTTTFFTT?FT
-T-T-TTTTTTTT-TT
---:-- / 36
DNF

0
TFTTFTT??FFTTFFT
TTTTTTT--TTTTTTT
---:-- / 42
TFTTFTT??FFTTFFT
TTTTTTT--TTTTTTT
---:-- / 42
TFTTFTTTFFFTTFFT
TTTTTTTTXTTTTTTT
V--:-- / -
TFTTFTTT?FFTTFFT
TTTTTTTT-TTTTTTT
---:-- / 45
500

FTFTTTTFTFFTTTTF (expected value)

3.10 3.54 3.54 3.10 1.44 2.10 3.54 3.54 3.54 2.54 3.10 3.10 3.10 3.54 2.10 3.54 (confidence rate)

DNC DNF

0
FTFT?TTFTFFTTTTF
TTTT-TTTTTTTTTTT
---:PM / 45
FTFT?TTFTFFTTTTF
TTTT-TTTTTTTTTTT
---:-- / 45
????????????????
----------------
---:-- / 0
DNF

0
FTFTT?TFT?FTTT?F
TTTTT-TTT-TTTT-T
---:-- / 39
FTFTT?TFT?FTTT?F
TTTTT-TTT-TTTT-T
---:-- / 39
TTFFTFTFTFTFFTFF
XTTXTXTTTTXXXTXT
V--:-- / -
FTFT?TTFTFFTTTTF
TTTT-TTTTTTTTTTT
---:-- / 45
GlobalResAllocation (stripped) — Colored
  Cunf GreatSPN-Meddly ITS-Tools LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 0 0 0 0 0 0 0 0 0
Bonuses 0 0 0 0 0 0 0 0 0 0
Scores 0 0 0 0 0 0 0 0 0 0
03

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

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

DNC DNC CC

0
DNC CC

0
????????????????
????????????????
---:-- / 0
DNC DNC DNC DNC
05

? (expected value)

0 (confidence rate)

DNC DNC CC

0
DNC CC

0
DNF

0
DNC DNC DNC DNC
06

? (expected value)

0 (confidence rate)

DNC DNC CC

0
DNC CC

0
DNF

0
DNC DNC DNC DNC
07

? (expected value)

0 (confidence rate)

DNC DNC CC

0
DNC CC

0
DNF

0
DNC DNC DNC DNC
09

? (expected value)

0 (confidence rate)

DNC DNC CC

0
DNC CC

0
DNF

0
DNC DNC DNC DNC
10

? (expected value)

0 (confidence rate)

DNC DNC CC

0
DNC CC

0
DNF

0
DNC DNC DNC DNC
11

? (expected value)

0 (confidence rate)

DNC DNC CC

0
DNC CC

0
DNF

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

FTFTFTTTFFFTFTTT (expected value)

1.55 2.55 1.55 1.55 0.92 1.55 1.55 1.55 1.55 2.55 1.55 1.55 1.55 2.55 1.55 2.55 (confidence rate)

DNC FTFTTTTTFFFTFTTT
TTTTXTTTTTTTTTTT
V--:-- / -
CC

0
????????????????
----------------
---:-- / 0
????????????????
----------------
---:-- / 0
FTFTFTTTFFFTFTTT
TTTTTTTTTTTTTTTT
---:PM / 48
?T???????F???T?T
-T-------T---T-T
---:-- / 12
?T???????F???T?T
-T-------T---T-T
---:-- / 12
DNF

0
DNF

0
05

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

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

DNC DNF

0
DNF

0
DNF

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

0
CC

0
CC

0
DNF

0
DNF

0
HouseConstruction (stripped) — P/T
  Cunf GreatSPN-Meddly ITS-Tools LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 0 129 438 225 192 378 408 384 348
Bonuses 0 0 0 54 0 0 6 36 0 0
Scores 0 0 129 384 225 192 372 372 384 348
002

FTTFTFFFFFFFTFTF (expected value)

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

DNC FFTFTFFFFFFFTFFF
TXTTTTTTTTTTTTXT
V--:-- / -
FFFFFFFFFFFFFFFF
TXXTXTTTTTTTXTXT
V--:-- / -
FTTFTFFFFFFFTFTF
TTTTTTTTTTTTTTTT
---:-- / 48
FTTFTFFFFFFFTFTF
TTTTTTTTTTTTTTTT
---:-- / 48
FTTFTFFFFFFFTFTF
TTTTTTTTTTTTTTTT
---:-- / 48
FTTFTFFFFFFFTFTF
TTTTTTTTTTTTTTTT
---:-- / 48
FTTFTFFFFFFFTFTF
TTTTTTTTTTTTTTTT
---:PM / 48
FTTFTFFFFFFFTFTF
TTTTTTTTTTTTTTTT
---:-- / 48
FTTFTFFFFFFFTFTF
TTTTTTTTTTTTTTTT
---:-- / 48
005

TTTTTFFTTFTTFTFT (expected value)

5.26 5.26 5.26 5.26 5.26 5.26 5.26 5.24 5.26 5.26 5.26 5.26 5.26 5.26 5.26 5.26 (confidence rate)

DNC FFFFFTTTFTFFTFTF
XXXXXXXTXXXXXXXX
V--:-- / -
TTTTTFFFTFTTFTFT
TTTTTTTXTTTTTTTT
V--:-- / -
TTTTTFFTTFTTFTFT
TTTTTTTTTTTTTTTT
---:-- / 48
TTTTTFFTTFTTFTFT
TTTTTTTTTTTTTTTT
---:-- / 48
TTTTTFFTTFTTFTFT
TTTTTTTTTTTTTTTT
---:-- / 48
TTTTTFFTTFTTFTFT
TTTTTTTTTTTTTTTT
---:-- / 48
TTTTTFFTTFTTFTFT
TTTTTTTTTTTTTTTT
---:PM / 48
TTTTTFFTTFTTFTFT
TTTTTTTTTTTTTTTT
---:-- / 48
TTTTTFFTTFTTFTFT
TTTTTTTTTTTTTTTT
---:-- / 48
010

TFTTTFTTFFTFFTTT (expected value)

5.26 5.40 5.26 5.26 5.26 5.26 5.26 5.26 5.26 5.26 5.26 5.26 5.26 5.26 5.26 5.26 (confidence rate)

DNC FFFFFTFFTTFTTFFF
XTXXXXXXXXXXXXXX
V--:-- / -
TFTTTFTTFFTFFTTT
TTTTTTTTTTTTTTTT
---:-- / 48
TFTTTFTTFFTFFTTT
TTTTTTTTTTTTTTTT
---:-M / 48
TFTTTFTTFFTFFTTT
TTTTTTTTTTTTTTTT
---:-- / 48
TFTTTFTTFFTFFTTT
TTTTTTTTTTTTTTTT
---:-- / 48
TFTTTFTTFFTFFTTT
TTTTTTTTTTTTTTTT
---:-- / 48
TFTTTFTTFFTFFTTT
TTTTTTTTTTTTTTTT
---:P- / 48
TFTTTFTTFFTFFTTT
TTTTTTTTTTTTTTTT
---:-- / 48
T?TTTFTTFFTFFTTT
T-TTTTTTTTTTTTTT
---:-- / 45
020

FFTFTTTTFFFFTFTT (expected value)

5.26 5.26 4.76 5.26 5.26 5.88 5.26 5.26 5.26 5.26 5.26 5.26 5.26 5.26 5.26 4.76 (confidence rate)

DNC TTTTFTFFTTTTFTFT
XXTXXTXXXXXXXXXT
V--:-- / -
FFFFTTTTFFFFTFTF
TTXTTTTTTTTTTTTX
V--:-- / -
FFTFTTTTFFFFTFTT
TTTTTTTTTTTTTTTT
---:PM / 48
FFTFTTTTFFFFTFTT
TTTTTTTTTTTTTTTT
---:-- / 48
FFTFTTTTFFFFTFTT
TTTTTTTTTTTTTTTT
---:-- / 48
FFTFTTTTFFFFTFTT
TTTTTTTTTTTTTTTT
---:-- / 48
FFTFTTTTFFFFTFTT
TTTTTTTTTTTTTTTT
---:-- / 48
FFTFTTTTFFFFTFTT
TTTTTTTTTTTTTTTT
---:-- / 48
FF?FTTTTFFFFTFT?
TT-TTTTTTTTTTTT-
---:-- / 42
050

TTFTFTTFFTFTFFTT (expected value)

4.33 3.54 3.54 3.04 4.95 3.54 4.95 3.54 3.54 3.54 3.54 3.54 3.54 4.95 3.54 3.54 (confidence rate)

DNC FFTTFFTTTFTFTFFF
XXXTTXTXXXXXXTXX
V--:-- / -
TTFFFTTFFTFTFFTT
TTTXTTTTTTTTTTTT
V--:-- / -
TTFTFTTFFTFTFFTT
TTTTTTTTTTTTTTTT
---:PM / 48
T???F?T??????F??
T---T-T------T--
---:-- / 12
DNF

0
TTFTFTTFFTFTFFTT
TTTTTTTTTTTTTTTT
---:-- / 48
TTFTFTTFFTFTFFTT
TTTTTTTTTTTTTTTT
---:-- / 48
TTFTFTTFFTFTFFTT
TTTTTTTTTTTTTTTT
---:-- / 48
TTF?FTTFFTFTFFTT
TTT-TTTTTTTTTTTT
---:-- / 45
100

FTFTTTFFFTFFTFFF (expected value)

4.95 3.54 3.54 3.54 3.54 4.95 3.54 3.04 3.54 3.54 4.95 3.04 3.04 3.54 3.54 2.54 (confidence rate)

DNC FFTFFTTFTFFFTTTT
TXXXXTXTXXTTTXXX
V--:-- / -
FTFTTTF?FTF?FFFF
TTTTTTT-TTT-XTTT
V--:-- / -
FTFTTTFFFTFFTFFF
TTTTTTTTTTTTTTTT
---:PM / 48
F????T????F?????
T----T----T-----
---:-- / 9
DNF

0
FTFTTTFFFTFFTFF?
TTTTTTTTTTTTTTT-
---:-- / 45
FTFTTTFFFTFFTFF?
TTTTTTTTTTTTTTT-
---:-- / 45
FTFTTTFFFTFFTFFF
TTTTTTTTTTTTTTTT
---:-- / 48
FTFTTTF?FTF??FFF
TTTTTTT-TTT--TTT
---:-- / 39
200

TFFTTTTTFFFFFFTT (expected value)

3.54 4.95 3.04 4.33 3.54 3.04 3.54 3.54 2.54 3.54 3.04 4.95 2.54 2.54 4.95 3.54 (confidence rate)

DNC FFFFFTFFTTFFTTTF
XTTXXTXXXXTTXXTX
V--:-- / -
TF?TT?TTFF?FFFTT
TT-TT-TTTT-TTTTT
---:-- / 39
TFFTTTTTFFFFFFTT
TTTTTTTTTTTTTTTT
---:PM / 48
?F?T???????F??T?
-T-T-------T--T-
---:-- / 12
DNF

0
TFFTTTTT?FFF??TT
TTTTTTTT-TTT--TT
---:-- / 39
TFFTTTTT?FFF??TT
TTTTTTTT-TTT--TT
---:-- / 39
TFFTTTTTFFFFFFTT
TTTTTTTTTTTTTTTT
---:-- / 48
TF?TT?TTFF?FFFTT
TT-TT-TTTT-TTTTT
---:-- / 39
500

TTFTTTTFTFTTTTFT (expected value)

4.16 3.54 3.54 3.54 3.54 3.54 3.54 3.04 3.54 3.54 3.54 3.54 3.04 3.54 3.54 3.54 (confidence rate)

DNC TFTFFFFFFTFFTFTF
TXXXXXXTXXXXTXXX
V--:-- / -
TTFTTTT?TFTT?TFT
TTTTTTT-TTTT-TTT
---:-- / 42
TTFTTTTFTFTTTTFT
TTTTTTTTTTTTTTTT
---:-- / 48
????????????????
----------------
---:-- / 0
DNF

0
TTFTTTTFTFTTTTFT
TTTTTTTTTTTTTTTT
---:P- / 48
TTFTTTTFTFTTTTFT
TTTTTTTTTTTTTTTT
---:-M / 48
TTFTTTTFTFTTTTFT
TTTTTTTTTTTTTTTT
---:-- / 48
TTFTTTT?TFTT?TFT
TTTTTTT-TTTT-TTT
---:-- / 42
IBMB2S565S3960 (stripped) — P/T
  Cunf GreatSPN-Meddly ITS-Tools LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 0 24 60 45 9 48 48 0 0
Bonuses 0 0 0 12 0 0 0 0 0 0
Scores 0 0 24 48 45 9 48 48 0 0
none

TTTTTTFFTTFFTTTF (expected value)

3.54 3.70 2.77 2.77 2.77 2.77 3.41 3.41 4.34 2.77 3.41 3.41 3.41 2.77 2.77 3.41 (confidence rate)

DNC DNF

0
T?????FFT?FFT??F
T-----TTT-TTT--T
---:-- / 24
TTTTTTFFTTFFTTTF
TTTTTTTTTTTTTTTT
---:PM / 48
?TTTTTFFTTFFTTTF
-TTTTTTTTTTTTTTT
---:-- / 45
TT??????T???????
TT------T-------
---:-- / 9
TTTTTTFFTTFFTTTF
TTTTTTTTTTTTTTTT
---:-- / 48
TTTTTTFFTTFFTTTF
TTTTTTTTTTTTTTTT
---:-- / 48
CC

0
CC

0
Kanban (stripped) — P/T
  Cunf GreatSPN-Meddly ITS-Tools LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 306 0 309 225 240 396 414 240 300
Bonuses 0 18 0 6 0 0 24 42 0 6
Scores 0 288 0 303 225 240 372 372 240 294
0005

TFTTFFFTTTFTFFTT (expected value)

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

DNC TFTTFFFTTTFTFFTT
TTTTTTTTTTTTTTTT
---:-- / 48
FFTTFFFTFFFTFFTF
XTTTTTTTXXTTTTTX
V--:-- / -
TFTTFFFTTTFTFFTT
TTTTTTTTTTTTTTTT
---:-- / 48
TFTTFFFTTTFTFFTT
TTTTTTTTTTTTTTTT
---:-- / 48
TFTTFFFTTTFTFFTT
TTTTTTTTTTTTTTTT
---:-- / 48
TFTTFFFTTTFTFFTT
TTTTTTTTTTTTTTTT
---:-- / 48
TFTTFFFTTTFTFFTT
TTTTTTTTTTTTTTTT
---:PM / 48
TFTTFFFTTTFTFFTT
TTTTTTTTTTTTTTTT
---:-- / 48
TFTTFFFTTTFTFFTT
TTTTTTTTTTTTTTTT
---:-- / 48
0010

FTTFFTFTTTTFFTFT (expected value)

5.40 5.88 5.88 5.40 5.40 5.88 5.88 5.88 4.76 4.76 5.88 5.40 5.88 5.88 5.88 4.76 (confidence rate)

DNC FTTFFTFTTTTFFTFT
TTTTTTTTTTTTTTTT
---:-- / 48
FTTFFTFTFFTFFTFF
TTTTTTTTXXTTTTTX
V--:-- / -
FTTFFTFTTTTFFTFT
TTTTTTTTTTTTTTTT
---:-- / 48
FTTFFTFTTTTFFTFT
TTTTTTTTTTTTTTTT
---:-- / 48
FTTFFTFTTTTFFTFT
TTTTTTTTTTTTTTTT
---:-- / 48
FTTFFTFTTTTFFTFT
TTTTTTTTTTTTTTTT
---:P- / 48
FTTFFTFTTTTFFTFT
TTTTTTTTTTTTTTTT
---:-M / 48
FTTFFTFTTTTFFTFT
TTTTTTTTTTTTTTTT
---:-- / 48
?TT??TFT??T?FTF?
-TT--TTT--T-TTT-
---:-- / 27
0020

TTTTFTTFFFTFFFFF (expected value)

5.88 5.88 3.78 4.76 5.40 4.76 4.76 5.88 5.88 5.88 5.88 5.88 5.40 5.88 5.88 5.88 (confidence rate)

DNC TTTTFTTFFFTFFFFF
TTTTTTTTTTTTTTTT
---:-- / 48
TTFFFFFFFFTFFFFF
TTXXTXXTTTTTTTTT
V--:-- / -
TT?TFTTFFFTFFFFF
TT-TTTTTTTTTTTTT
---:-- / 45
TTTTFTTFFFTFFFFF
TTTTTTTTTTTTTTTT
---:-- / 48
TTTTFTTFFFTFFFFF
TTTTTTTTTTTTTTTT
---:-- / 48
TTTTFTTFFFTFFFFF
TTTTTTTTTTTTTTTT
---:-- / 48
TTTTFTTFFFTFFFFF
TTTTTTTTTTTTTTTT
---:PM / 48
TTTTFTTFFFTFFFFF
TTTTTTTTTTTTTTTT
---:-- / 48
TT?????FFFTF?FFF
TT-----TTTTT-TTT
---:-- / 30
0050

FFTTFFTFFFFFTFTT (expected value)

4.88 5.88 5.88 5.88 5.88 4.42 3.78 5.88 5.88 5.88 5.88 5.88 5.88 4.42 5.88 5.88 (confidence rate)

DNC FFTTFFTFFFFFTFTT
TTTTTTTTTTTTTTTT
---:PM / 48
FFTTFFFFFFFFTFTT
TTTTTTXTTTTTTTTT
V--:-- / -
FFTTF??FFFFFT?TT
TTTTT--TTTTTT-TT
---:-- / 39
FFTTFFTFFFFFTFTT
TTTTTTTTTTTTTTTT
---:-- / 48
FFTTFFTFFFFFTFTT
TTTTTTTTTTTTTTTT
---:-- / 48
?FTTFFTFFFFFTFTT
-TTTTTTTTTTTTTTT
---:-- / 45
?FTTFFTFFFFFTFTT
-TTTTTTTTTTTTTTT
---:-- / 45
FFTTFFTFFFFFTFTT
TTTTTTTTTTTTTTTT
---:-- / 48
FFTTF??FFFFFT?TT
TTTTT--TTTTTT-TT
---:-- / 39
0100

FFTTTTTFTFTFTFFF (expected value)

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

DNC FFTTTTTFTFTFTFFF
TTTTTTTTTTTTTTTT
---:-- / 48
?FFTTFTFTFTFTFFF
-TXTTXTTTTTTTTTT
V--:-- / -
?F?TT?TFTFTFTFFF
-T-TT-TTTTTTTTTT
---:-- / 39
???TT??F?FT??FFF
---TT--T-TT--TTT
---:-- / 24
FFTTTTTFTFTFTFFF
TTTTTTTTTTTTTTTT
---:-- / 48
FFTTTTTFTFTFTFFF
TTTTTTTTTTTTTTTT
---:PM / 48
FFTTTTTFTFTFTFFF
TTTTTTTTTTTTTTTT
---:-- / 48
FFTTTTTFTFTFTFFF
TTTTTTTTTTTTTTTT
---:-- / 48
?F?TT?TFTFTFTFFF
-T-TT-TTTTTTTTTT
---:-- / 39
0200

TTFTTTTFFFTTTFTT (expected value)

4.16 2.06 2.06 3.19 3.19 2.06 2.06 2.19 3.19 3.19 3.53 3.19 3.19 2.06 3.98 3.98 (confidence rate)

DNC TTFTTTTFFFTTTFTT
TTTTTTTTTTTTTTTT
---:-M / 48
TF?TTFFFFFTTT?TT
TX-TTXXTTTTTT-TT
V--:-- / -
T???????????????
T---------------
---:-- / 3
??????????T???TT
----------T---TT
---:-- / 9
CC

0
TTFTTTT?FFTTTFTT
TTTTTTT-TTTTTTTT
---:-- / 45
TTFTTTT?FFTTTFTT
TTTTTTT-TTTTTTTT
---:P- / 45
TTFTTTTFFFFTTFTT
TTTTTTTTTTXTTTTT
V--:-- / -
T??TT??FFFTTT?TT
T--TT--TTTTTT-TT
---:-- / 33
0500

TFFTFFFFTFFFTTTF (expected value)

3.54 2.54 3.54 3.54 2.62 3.54 3.54 3.54 3.10 3.54 2.54 3.54 3.54 1.44 3.54 3.54 (confidence rate)

DNC DNF

0
TFFTFFFFTFFFTFTF
TTTTTTTTTTTTTXTT
V--:-- / -
TFFTFFFFTFFFT?TF
TTTTTTTTTTTTT-TT
---:P- / 45
????????????????
----------------
---:-- / 0
CC

0
T?FTFFFFTF?FTTTF
T-TTTTTTTT-TTTTT
---:-- / 42
T?FTFFFFTF?FTTTF
T-TTTTTTTT-TTTTT
---:-- / 42
TFFTTFFFFFFFTTTF
TTTTXTTTXTTTTTTT
V--:-- / -
TFFT?FFFTFFFT?TF
TTTT-TTTTTTTT-TT
---:-M / 42
1000

TFFTTTTTTFFFTTFT (expected value)

2.90 2.90 3.10 3.54 3.54 1.44 3.54 3.10 2.90 2.90 1.44 1.44 1.44 3.54 3.10 3.54 (confidence rate)

DNC DNF

0
??FTTFTT????FTFT
--TTTXTT----XTTT
V--:-- / -
TFFTT?TTTF???TFT
TTTTT-TTTT---TTT
---:-- / 36
????????????????
----------------
---:-- / 0
CC

0
TFFTTTTTTFFFTTFT
TTTTTTTTTTTTTTTT
---:P- / 48
TFFTTTTTTFFFTTFT
TTTTTTTTTTTTTTTT
---:-M / 48
TFTTTTTFTFFFTTTT
TTXTTTTXTTTTTTXT
V--:-- / -
TFFTT?TTTF???TFT
TTTTT-TTTT---TTT
---:-- / 36
LamportFastMutEx (stripped) — Colored
  Cunf GreatSPN-Meddly ITS-Tools LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 0 84 0 0 0 0 0 0 0
Bonuses 0 0 84 0 0 0 0 0 0 0
Scores 0 0 0 0 0 0 0 0 0 0
2

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

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

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

0
????????????????
----------------
---:-- / 0
DNC DNC DNC DNC
3

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

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

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

0
????????????????
----------------
---:-- / 0
DNC DNC DNC DNC
4

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

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

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

0
????????????????
?-?-?-???----?--
---:-- / 0
DNC DNC DNC DNC
5

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

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

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

0
DNF

0
DNC DNC DNC DNC
6

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

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

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

0
DNF

0
DNC DNC DNC DNC
7

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

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

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

0
DNF

0
DNC DNC DNC DNC
8

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

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

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

0
DNF

0
DNC DNC DNC DNC
LamportFastMutEx (stripped) — P/T
  Cunf GreatSPN-Meddly ITS-Tools LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 108 0 0 357 228 144 207 192 144 96
Bonuses 12 0 0 48 0 0 24 0 0 0
Scores 96 0 0 309 228 144 183 192 144 96
2

TFTFTTFTFFFTFTTT (expected value)

5.10 5.10 5.73 5.73 5.73 5.10 5.73 5.73 5.73 4.73 4.73 5.73 5.73 5.10 5.10 4.73 (confidence rate)

TFTFTTFTFFFTFTTT
TTTTTTTTTTTTTTTT
---:PM / 48
FTTFTFFTFFFTFFFT
XXTTTXTTTTTTTXXT
V--:-- / -
CC

0
TFTFTTFTFFFTFTTT
TTTTTTTTTTTTTTTT
---:-- / 48
TFTFTTFTFFFTFTTT
TTTTTTTTTTTTTTTT
---:-- / 48
TFTFTTFTFFFTFTTT
TTTTTTTTTTTTTTTT
---:-- / 48
TFTFTTFTF??TFTT?
TTTTTTTTT--TTTT-
---:-- / 39
TFTFTTFTF??TFTT?
TTTTTTTTT--TTTT-
---:-- / 39
TFTFTTFTFFFTFTTT
TTTTTTTTTTTTTTTT
---:-- / 48
DNF

0
3

FTTTTFFFFFFTTTFT (expected value)

4.59 5.59 5.59 5.59 5.59 5.59 5.21 5.24 6.21 5.59 5.59 5.59 6.21 6.21 6.21 6.21 (confidence rate)

FTTTTFFTFFFTTTFT
TTTTTTTXTTTTTTTT
V--:-- / -
TFFFFTFFFTTFTTFT
XXXXXXTTTXXXTTTT
V--:-- / -
CC

0
FTTTTFFFFFFTTTFT
TTTTTTTTTTTTTTTT
---:PM / 48
FTTTTFFFFFFTTTFT
TTTTTTTTTTTTTTTT
---:-- / 48
FTTTTFFFFFFTTTFT
TTTTTTTTTTTTTTTT
---:-- / 48
?TTTTF?FFFFTTTFT
-TTTTT-TTTTTTTTT
---:-- / 42
?TTTTF?FFFFTTTFT
-TTTTT-TTTTTTTTT
---:-- / 42
FTTTTFFFFFFTTTFT
TTTTTTTTTTTTTTTT
---:-- / 48
FTTTTFFFFFFTTTFT
TTTTTTTTTTTTTTTT
---:-- / 48
4

TFTFTFTTTFTFTTTF (expected value)

5.59 4.59 5.59 5.59 5.59 4.59 5.59 5.59 5.59 5.59 5.59 4.59 5.59 4.59 4.59 4.59 (confidence rate)

TFTFTFTTTFTFTTTF
TTTTTTTTTTTTTTTT
---:-- / 48
DNF

0
CC

0
TFTFTFTTTFTFTTTF
TTTTTTTTTTTTTTTT
---:PM / 48
TFTFTFTTTFTFTTTF
TTTTTTTTTTTTTTTT
---:-- / 48
TFTFTFTTTFTFTTTF
TTTTTTTTTTTTTTTT
---:-- / 48
T?TFT?TTTFT?T???
T-TTT-TTTTT-T---
---:-- / 30
T?TFT?TTTFT?T???
T-TTT-TTTTT-T---
---:-- / 30
TFTFTFTTTFTFTTTF
TTTTTTTTTTTTTTTT
---:-- / 48
TFTFTFTTTFTFTTTF
TTTTTTTTTTTTTTTT
---:-- / 48
5

TTTTTFT? TT? ? TTFF (expected value)

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

DNF

0
DNF

0
CC

0
TTTTTFT?TT??TTFF
TTTTTTT?TT??TTTT
---:-M / 39
??T??F???T??TTF?
--T--T-?-T??TTT-
---:-- / 18
DNF

0
TT?TT???TT??TT??
TT-TT--?TT??TT--
---:P- / 24
TT?TT???TT??TT??
TT-TT--?TT??TT--
---:-- / 24
DNF

0
DNF

0
6

TTFTFT? TTFF? TTTT (expected value)

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

DNF

0
DNF

0
CC

0
TTFTFT?TTFF?TTTT
TTTTTT?TTTT?TTTT
---:-M / 42
?TF????T?FF?TT??
-TT---?T-TT?TT--
---:-- / 21
DNF

0
???TF??TT???????
---TT-?TT--?----
---:P- / 12
???TF??TT???????
---TT-?TT--?----
---:-- / 12
DNF

0
DNF

0
7

? TTT? TFFFFFTFTTF (expected value)

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

DNF

0
DNF

0
CC

0
?TTT?TFFF?FTFTTF
?TTT?TTTT-TTTTTT
---:-M / 39
?TT???FFF?F?FT??
?TT-?-TTT-T-TT--
---:-- / 24
DNF

0
?????????F??F?T?
?---?----T--T-T-
---:P- / 9
??TT??FF?F??F?TF
?-TT?-TT-T--T-TT
---:-- / 24
DNF

0
DNF

0
8

? TTTFTTTTTTFTTTT (expected value)

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

DNF

0
DNF

0
CC

0
?TTTFTTTTTTFTTTT
?TTTTTTTTTTTTTTT
---:-M / 45
??T?????T?TFTT?T
?-T-----T-TTTT-T
---:-- / 21
DNF

0
?TTT?TTTTTT?????
?TTT-TTTTTT-----
---:P- / 27
?TT??T?TTTT?????
?TT--T-TTTT-----
---:-- / 21
DNF

0
DNF

0
MAPK (stripped) — P/T
  Cunf GreatSPN-Meddly ITS-Tools LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 0 45 159 216 204 270 258 48 240
Bonuses 0 0 6 0 6 12 18 6 0 24
Scores 0 0 39 159 210 192 252 252 48 216
008

FTTFFTTTTFTTFTTT (expected value)

5.88 5.26 5.88 5.88 5.26 5.88 5.88 5.88 5.88 5.26 5.88 5.88 5.88 5.26 5.88 4.62 (confidence rate)

DNC FFTFTTTTTTTTFFTF
TXTTXTTTTXTTTXTX
V--:-- / -
FTTFFTTTTFTTFTTF
TTTTTTTTTTTTTTTX
V--:-- / -
FTTFFTTTTFTTFTTT
TTTTTTTTTTTTTTTT
---:-- / 48
FTTFFTTTTFTTFTTT
TTTTTTTTTTTTTTTT
---:P- / 48
FTTFFTTTTFTTFTTT
TTTTTTTTTTTTTTTT
---:-- / 48
FTTFFTTTTFTTFTTT
TTTTTTTTTTTTTTTT
---:-- / 48
FTTFFTTTTFTTFTTT
TTTTTTTTTTTTTTTT
---:-M / 48
FTTFFTTTTFTTFTTT
TTTTTTTTTTTTTTTT
---:-- / 48
FTTFFTTTTFTTFTTT
TTTTTTTTTTTTTTTT
---:-- / 48
020

TFFFTFTFTTTFTTTT (expected value)

3.81 3.80 5.26 5.26 5.26 5.26 5.26 5.26 5.26 3.16 5.26 3.80 4.81 5.26 5.26 5.26 (confidence rate)

DNC DNF

0
TFFFTFTFTFTFTTTT
TTTTTTTTTXTTTTTT
V--:-- / -
TTFFTFTFT?T?TTTT
TXTTTTTTT-T-TTTT
V--:-- / -
TFFFTFTFTTTFTTTT
TTTTTTTTTTTTTTTT
---:-- / 48
TFFFTFTFTTTFTTTT
TTTTTTTTTTTTTTTT
---:P- / 48
?FFFTFTFTTTFTTTT
-TTTTTTTTTTTTTTT
---:-- / 45
?FFFTFTFTTTFTTTT
-TTTTTTTTTTTTTTT
---:-- / 45
FFFFTFTFTTTFFTTT
XTTTTTTTTTTTXTTT
V--:-- / -
T?FFTFTFT?T?TTTT
T-TTTTTTT-T-TTTT
---:-M / 39
040

FFFFTFTFTFFTTTTF (expected value)

3.16 3.16 3.28 3.16 4.28 4.28 4.28 4.28 4.28 3.84 4.28 3.28 4.28 4.28 3.84 3.28 (confidence rate)

DNC DNF

0
??F?TFTFTFFTTTTF
--T-TTTTTTTTTTTT
---:-M / 39
????????????????
----------------
---:-- / 0
FFFFTFTFTFFTTTTF
TTTTTTTTTTTTTTTT
---:-- / 48
FFFFTFTFTFFTTTTF
TTTTTTTTTTTTTTTT
---:P- / 48
FF?FTFTFTFF?TTT?
TT-TTTTTTTT-TTT-
---:-- / 39
FF?FTFTFTFF?TTT?
TT-TTTTTTTT-TTT-
---:-- / 39
FFFFTFTFTTFTTTFF
TTTTTTTTTXTTTTXT
V--:-- / -
??F?TFTFTFFTTTTF
--T-TTTTTTTTTTTT
---:-- / 39
080

TTTTTFFFTFTFTTTF (expected value)

4.81 4.13 5.26 4.81 3.16 3.16 2.70 5.26 3.16 4.81 4.81 4.26 5.26 3.16 5.26 4.81 (confidence rate)

DNC DNF

0
TFTTF??FFFTFTFTF
TXTTX--TXTTTTXTT
V--:-- / -
TTTT??FF?FTFT?TF
TTTT--TT-TTTT-TT
---:-- / 36
TTTTTFFFTFTFTTTF
TTTTTTTTTTTTTTTT
---:-- / 48
TTTTTFFFTFTFTTTF
TTTTTTTTTTTTTTTT
---:-- / 48
TTTTTF?FTFT?TTTF
TTTTTT-TTTT-TTTT
---:P- / 42
TTTTTF?FTFT?TTTF
TTTTTT-TTTT-TTTT
---:-- / 42
FTTFTFTFTTFFTTTT
XTTXTTXTTXXTTTTX
V--:-- / -
T?TT???F?FTFT?TF
T-TT---T-TTTT-TT
---:-M / 30
160

FTFFFTFFFTFTTTTT (expected value)

4.33 2.10 3.89 3.54 3.41 2.54 1.44 2.77 3.10 2.54 1.44 3.54 3.54 3.10 3.54 2.62 (confidence rate)

DNC DNF

0
FTFFFT??FTTTTTTT
TTTTTT--TTXTTTTT
V--:-- / -
FTFFFT?FFT?TTTTT
TTTTTT-TTT-TTTTT
---:-- / 42
F?F?F??F????????
T-T-T--T--------
---:-- / 12
????????????????
----------------
---:-- / 0
F?FFF?FFF?FTTTTT
T-TTT-TTT-TTTTTT
---:P- / 39
F?FFF?FFF?FTTTTT
T-TTT-TTT-TTTTTT
---:-- / 39
FFTFTTFTTTFTTFTF
TXXTXTTXXTTTTXTX
V--:-- / -
FTFF?T??FT?TTTT?
TTTT-T--TT-TTTT-
---:-M / 33
320

TFTFFTFFTTTFTTTT (expected value)

3.10 3.54 3.41 3.10 1.44 2.41 1.44 2.10 3.10 1.44 3.10 2.10 3.10 1.44 3.10 1.44 (confidence rate)

DNC DNF

0
TFTF?T?FTFTFTFTF
TTTT-T-TTXTTTXTX
V--:-- / -
TFTF?T?FT?TFT?T?
TTTT-T-TT-TTT-T-
---:-- / 33
??T??T??????????
--T--T----------
---:-- / 6
DNF

0
TFTFF?F?TTT?TTTT
TTTTT-T-TTT-TTTT
---:P- / 39
TFTFF?F?TTT?TTTT
TTTTT-T-TTT-TTTT
---:-- / 39
FFFTFFFTFTFTFTFT
XTXXTXTXXTXXXTXT
V--:-- / -
TF?F???FT?TFT?T?
TT-T---TT-TTT-T-
---:-M / 27
MultiwaySync (stripped) — P/T
  Cunf GreatSPN-Meddly ITS-Tools LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 0 0 33 54 48 30 36 0 0
Bonuses 0 0 0 0 6 0 0 6 0 0
Scores 0 0 0 33 48 48 30 30 0 0
none

TTTFTTTTFTTTTTFT (expected value)

4.95 3.96 4.95 3.35 2.98 3.96 3.34 4.95 3.96 2.98 4.34 4.95 2.71 3.98 4.95 4.95 (confidence rate)

DNF

0
TTTTTTFTFTFTFTFT
TTTXTTXTTTXTXTTT
V--:-- / -
TTTFTTTTFTTTFTFT
TTTTTTTTTTTTXTTT
V--:-- / -
TTT??TTTF?TT??FT
TTT--TTTT-TT--TT
---:-- / 33
TTTFTTTTFTTTTTFT
TTTTTTTTTTTTTTTT
---:P- / 48
TTTFTTTTFTTTTTFT
TTTTTTTTTTTTTTTT
---:-- / 48
T?TF???T??TTTTFT
T-TT---T--TTTTTT
---:-- / 30
T?TF???T??TTTTFT
T-TT---T--TTTTTT
---:-M / 30
DNF

0
DNF

0
NeoElection (stripped) — Colored
  Cunf GreatSPN-Meddly ITS-Tools LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 0 60 0 0 0 0 0 0 0
Bonuses 0 0 60 0 0 0 0 0 0 0
Scores 0 0 0 0 0 0 0 0 0 0
2

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

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

DNC CC

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

0
????????????????
?-??--??--??-???
---:-- / 0
DNC DNC DNC DNC
3

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

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

DNC CC

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

0
????????????????
??-???-?????-???
---:-- / 0
DNC DNC DNC DNC
4

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

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

DNC CC

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

0
DNF

0
DNC DNC DNC DNC
5

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

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

DNC CC

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

0
DNF

0
DNC DNC DNC DNC
6

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

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

DNC CC

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

0
DNF

0
DNC DNC DNC DNC
7

? (expected value)

0 (confidence rate)

DNC CC

0
CC

0
DNC CC

0
DNF

0
DNC DNC DNC DNC
8

? (expected value)

0 (confidence rate)

DNC CC

0
CC

0
DNC CC

0
DNF

0
DNC DNC DNC DNC
NeoElection (stripped) — P/T
  Cunf GreatSPN-Meddly ITS-Tools LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 120 0 0 63 105 96 108 81 0 48
Bonuses 24 0 0 6 6 0 24 0 0 0
Scores 96 0 0 57 99 96 84 81 0 48
2

TFTTTFFTTTTFFTFF (expected value)

5.14 4.77 4.77 5.14 5.77 5.77 5.77 5.77 4.77 5.77 4.77 5.77 4.77 5.77 5.77 4.77 (confidence rate)

TFTTTFFTTTTFFTFF
TTTTTTTTTTTTTTTT
---:PM / 48
FFTFTFFTTTTFFTFF
XTTXTTTTTTTTTTTT
V--:-- / -
CC

0
TFTTTFFTTTTFFTFF
TTTTTTTTTTTTTTTT
---:-- / 48
TFTTTFFTTTTFFTFF
TTTTTTTTTTTTTTTT
---:-- / 48
TFTTTFFTTTTFFTFF
TTTTTTTTTTTTTTTT
---:-- / 48
T??TTFFT?T?F?TF?
T--TTTTT-T-T-TT-
---:-- / 30
T??TTFFT?T?F?TF?
T--TTTTT-T-T-TT-
---:-- / 30
DNF

0
TFTTTFFTTTTFFTFF
TTTTTTTTTTTTTTTT
---:-- / 48
3

FFTFTFTFFTFFTTFF (expected value)

3.16 3.16 4.16 3.16 3.16 4.16 3.16 3.16 4.16 5.14 3.16 4.16 4.16 2.69 4.16 4.16 (confidence rate)

FFTFTFTFFTFFTTFF
TTTTTTTTTTTTTTTT
---:PM / 48
DNF

0
CC

0
?????????T??????
---------T------
---:-- / 3
FFTFTFTFFTFFTTFF
TTTTTTTTTTTTTTTT
---:-- / 48
FFTFTFTFFTFFTTFF
TTTTTTTTTTTTTTTT
---:-- / 48
??T??F??FT?FT?FF
--T--T--TT-TT-TT
---:-- / 24
??T??F??FT?FT?FF
--T--T--TT-TT-TT
---:-- / 24
DNF

0
FFTFTFTFFTFFTFFF
TTTTTTTTTTTTTXTT
V--:-- / -
4

F? ? ? TF(F)? F? FT? ? FT (expected value)

1.00 0 0 0 1.00 1.00 0.50 0 1.00 0 1.00 1.00 0 0 1.00 1.79 (confidence rate)

DNF

0
DNF

0
CC

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

0
F???TFF?F?FT??FT
T???TT??T?TT??TT
---:P- / 24
F???TF??F?FT??FT
T???TT-?T?TT??TT
---:-- / 24
DNF

0
DNF

0
5

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

0 1.48 0 0 0.50 0 0 0.50 0 0.98 0 0 0 0 1.00 0 (confidence rate)

CC

0
DNF

0
CC

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

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

0
DNF

0
6

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

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

DNF

0
CC

0
CC

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

0
??TF?TT??F?F????
????????????????
---:PM / 0
????????????????
??--?--??-?-????
---:-- / 0
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
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)

DNF

0
CC

0
CC

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

0
CC

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

0
DNF

0
ParamProductionCell (stripped) — P/T
  Cunf GreatSPN-Meddly ITS-Tools LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 360 0 96 288 288 288 288 288 192 288
Bonuses 72 0 0 0 0 0 0 0 0 0
Scores 288 0 96 288 288 288 288 288 192 288
0

TTFTFTTTTFFFFFTF (expected value)

6.23 6.23 6.23 6.23 6.85 6.85 6.85 6.23 6.23 6.23 6.85 6.23 6.85 6.85 6.85 6.85 (confidence rate)

TTFTFTTTTFFFFFTF
TTTTTTTTTTTTTTTT
---:PM / 48
FFTFFTTFFTFTFFTF
XXXXTTTXXXTXTTTT
V--:-- / -
TTFTFTTTTFFFFFTF
TTTTTTTTTTTTTTTT
---:-- / 48
TTFTFTTTTFFFFFTF
TTTTTTTTTTTTTTTT
---:-- / 48
TTFTFTTTTFFFFFTF
TTTTTTTTTTTTTTTT
---:-- / 48
TTFTFTTTTFFFFFTF
TTTTTTTTTTTTTTTT
---:-- / 48
TTFTFTTTTFFFFFTF
TTTTTTTTTTTTTTTT
---:-- / 48
TTFTFTTTTFFFFFTF
TTTTTTTTTTTTTTTT
---:-- / 48
TTFTFTTTTFFFFFTF
TTTTTTTTTTTTTTTT
---:-- / 48
TTFTFTTTTFFFFFTF
TTTTTTTTTTTTTTTT
---:-- / 48
1

TFFTFTFFFFFTTFTF (expected value)

6.21 6.85 6.85 6.21 6.85 6.21 6.85 6.85 6.85 6.85 6.23 5.59 6.21 6.85 6.23 6.85 (confidence rate)

TFFTFTFFFFFTTFTF
TTTTTTTTTTTTTTTT
---:PM / 48
TFFTFTFFFFTFTFFF
TTTTTTTTTTXXTTXT
V--:-- / -
FFFFFFFFFFFFFFTF
XTTXTXTTTTTXXTTT
V--:-- / -
TFFTFTFFFFFTTFTF
TTTTTTTTTTTTTTTT
---:-- / 48
TFFTFTFFFFFTTFTF
TTTTTTTTTTTTTTTT
---:-- / 48
TFFTFTFFFFFTTFTF
TTTTTTTTTTTTTTTT
---:-- / 48
TFFTFTFFFFFTTFTF
TTTTTTTTTTTTTTTT
---:-- / 48
TFFTFTFFFFFTTFTF
TTTTTTTTTTTTTTTT
---:-- / 48
TFFTFTFFFFFTTFTF
TTTTTTTTTTTTTTTT
---:-- / 48
TFFTFTFFFFFTTFTF
TTTTTTTTTTTTTTTT
---:-- / 48
2

TTTTFTTTTTTFTTTF (expected value)

6.21 6.23 6.85 6.23 6.23 6.23 6.23 6.23 6.23 6.85 6.85 6.23 6.23 6.21 6.85 6.23 (confidence rate)

TTTTFTTTTTTFTTTF
TTTTTTTTTTTTTTTT
---:PM / 48
TFTFTFFFFTTTFTTT
TXTXXXXXXTTXXTTX
V--:-- / -
FTTTFTTTTTTFTFTF
XTTTTTTTTTTTTXTT
V--:-- / -
TTTTFTTTTTTFTTTF
TTTTTTTTTTTTTTTT
---:-- / 48
TTTTFTTTTTTFTTTF
TTTTTTTTTTTTTTTT
---:-- / 48
TTTTFTTTTTTFTTTF
TTTTTTTTTTTTTTTT
---:-- / 48
TTTTFTTTTTTFTTTF
TTTTTTTTTTTTTTTT
---:-- / 48
TTTTFTTTTTTFTTTF
TTTTTTTTTTTTTTTT
---:-- / 48
TTTTFTTTTTTFTTTF
TTTTTTTTTTTTTTTT
---:-- / 48
TTTTFTTTTTTFTTTF
TTTTTTTTTTTTTTTT
---:-- / 48
3

TTTTFFTFFTFFFFFT (expected value)

6.85 6.23 6.85 6.23 6.85 6.85 6.23 6.85 6.85 6.23 6.85 6.23 6.23 6.85 6.85 6.21 (confidence rate)

TTTTFFTFFTFFFFFT
TTTTTTTTTTTTTTTT
---:PM / 48
TFTFFFFFFFFTTFFT
TXTXTTXTTXTXXTTT
V--:-- / -
TTTTFFTFFTFFFFFF
TTTTTTTTTTTTTTTX
V--:-- / -
TTTTFFTFFTFFFFFT
TTTTTTTTTTTTTTTT
---:-- / 48
TTTTFFTFFTFFFFFT
TTTTTTTTTTTTTTTT
---:-- / 48
TTTTFFTFFTFFFFFT
TTTTTTTTTTTTTTTT
---:-- / 48
TTTTFFTFFTFFFFFT
TTTTTTTTTTTTTTTT
---:-- / 48
TTTTFFTFFTFFFFFT
TTTTTTTTTTTTTTTT
---:-- / 48
TTTTFFTFFTFFFFFT
TTTTTTTTTTTTTTTT
---:-- / 48
TTTTFFTFFTFFFFFT
TTTTTTTTTTTTTTTT
---:-- / 48
4

TFFTTTTFFTFTTFTF (expected value)

5.78 5.78 6.41 6.41 6.41 6.41 5.78 5.78 5.78 6.41 6.41 6.41 6.41 5.78 5.78 6.41 (confidence rate)

TFFTTTTFFTFTTFTF
TTTTTTTTTTTTTTTT
---:PM / 48
FTFTTTFTTTFTTTFF
XXTTTTXXXTTTTXXT
V--:-- / -
TFFTTTTFFTFTTFTF
TTTTTTTTTTTTTTTT
---:-- / 48
TFFTTTTFFTFTTFTF
TTTTTTTTTTTTTTTT
---:-- / 48
TFFTTTTFFTFTTFTF
TTTTTTTTTTTTTTTT
---:-- / 48
TFFTTTTFFTFTTFTF
TTTTTTTTTTTTTTTT
---:-- / 48
TFFTTTTFFTFTTFTF
TTTTTTTTTTTTTTTT
---:-- / 48
TFFTTTTFFTFTTFTF
TTTTTTTTTTTTTTTT
---:-- / 48
DNF

0
TFFTTTTFFTFTTFTF
TTTTTTTTTTTTTTTT
---:-- / 48
5

FTTTTFFFTFFTFFFT (expected value)

5.78 5.77 5.78 6.41 5.78 5.78 6.41 5.78 5.78 6.41 5.78 6.41 6.41 6.41 5.78 5.78 (confidence rate)

FTTTTFFFTFFTFFFT
TTTTTTTTTTTTTTTT
---:PM / 48
TTFTFTFTFFTTFFTF
XTXTXXTXXTXTTTXX
V--:-- / -
FFTTTFFFTFFTFFFT
TXTTTTTTTTTTTTTT
V--:-- / -
FTTTTFFFTFFTFFFT
TTTTTTTTTTTTTTTT
---:-- / 48
FTTTTFFFTFFTFFFT
TTTTTTTTTTTTTTTT
---:-- / 48
FTTTTFFFTFFTFFFT
TTTTTTTTTTTTTTTT
---:-- / 48
FTTTTFFFTFFTFFFT
TTTTTTTTTTTTTTTT
---:-- / 48
FTTTTFFFTFFTFFFT
TTTTTTTTTTTTTTTT
---:-- / 48
DNF

0
FTTTTFFFTFFTFFFT
TTTTTTTTTTTTTTTT
---:-- / 48
PermAdmissibility (stripped) — Colored
  Cunf GreatSPN-Meddly ITS-Tools LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 0 72 0 0 0 0 0 0 0
Bonuses 0 0 72 0 0 0 0 0 0 0
Scores 0 0 0 0 0 0 0 0 0 0
01

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

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

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

0
????????????????
----------------
---:-- / 0
DNC DNC DNC DNC
02

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

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

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

0
DNF

0
DNC DNC DNC DNC
05

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

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

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

0
DNF

0
DNC DNC DNC DNC
10

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

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

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

0
DNF

0
DNC DNC DNC DNC
20

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

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

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

0
DNF

0
DNC DNC DNC DNC
50

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

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

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

0
DNF

0
DNC DNC DNC DNC
PermAdmissibility (stripped) — P/T
  Cunf GreatSPN-Meddly ITS-Tools LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 0 165 327 84 48 141 132 48 48
Bonuses 0 0 0 60 0 0 12 0 0 0
Scores 0 0 165 267 84 48 129 132 48 48
01

TTFFFFFFTFTFFTTT (expected value)

4.24 4.24 4.88 5.88 4.88 4.88 5.88 5.26 5.88 4.88 5.26 4.88 5.88 5.88 4.88 4.88 (confidence rate)

DNC TTFFFFFTTFFFFTTT
TTTTTTTXTTXTTTTT
V--:-- / -
FFFFFFFFTFTFFTTT
XXTTTTTTTTTTTTTT
V--:-- / -
TTFFFFFFTFTFFTTT
TTTTTTTTTTTTTTTT
---:PM / 48
TTFFFFFFTFTFFTTT
TTTTTTTTTTTTTTTT
---:-- / 48
TTFFFFFFTFTFFTTT
TTTTTTTTTTTTTTTT
---:-- / 48
???F??FFT?T?FT??
---T--TTT-T-TT--
---:-- / 21
???F??FFT?T?FT??
---T--TTT-T-TT--
---:-- / 21
TTFFFFFFTFTFFTTT
TTTTTTTTTTTTTTTT
---:-- / 48
TTFFFFFFTFTFFTTT
TTTTTTTTTTTTTTTT
---:-- / 48
02

TTT? TFTT(F)FTF? TTT (expected value)

0.98 3.41 1.62 0 3.41 2.41 2.62 2.41 0.50 1.98 2.41 2.41 0 0.98 2.41 3.41 (confidence rate)

DNC DNF

0
FTT?TFTT??TF??TT
XTT?TTTT--TT?-TT
V--:-- / -
TTT?TFTT?FTF?TTT
TTT?TTTT-TTT?TTT
---:PM / 39
?T??TF?T??TF??TT
-T-?TT-T--TT?-TT
---:-- / 24
DNF

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

0
DNF

0
05

(F)TFTTFFTTTFTTTTT (expected value)

0.64 2.62 1.62 2.62 2.62 1.62 1.64 2.62 1.62 1.62 1.62 1.62 1.62 1.62 2.62 2.62 (confidence rate)

DNC TFTFFTTFFFTFFFFF
XXXXXXXXXXXXXXXX
V--:-- / -
FTFTTFFTTTFTTTTT
?TTTTTTTTTTTTTTT
---:-- / 45
?TFTTF?TTTFTTTTT
-TTTTT-TTTTTTTTT
---:-M / 42
????????????????
----------------
---:-- / 0
DNF

0
?T?TT?FT??????TT
-T-TT-TT------TT
---:P- / 21
?T?TT?FT??????TT
-T-TT-TT------TT
---:-- / 21
DNF

0
DNF

0
10

FTT(F)FTTTTTTTTT(T)T (expected value)

2.62 1.62 1.62 0.63 4.03 3.03 2.62 4.03 1.62 2.62 2.62 2.62 2.62 1.62 0.64 0.98 (confidence rate)

DNC TFFFFTFTFFFFFFFF
XXX?TTXTXXXXXXXX
V--:-- / -
FTT?FTTTTTTTTTT?
TTT-TTTTTTTTTT?-
---:-- / 39
FTT?FTTTTTTTTT?T
TTT-TTTTTTTTTT-T
---:-M / 42
????FT?T????????
----TT-T--------
---:-- / 9
DNF

0
F???F?TT?TTTT???
T---T-TT-TTTT---
---:P- / 24
F???F?TT?TTTT???
T---T-TT-TTTT---
---:-- / 24
DNF

0
DNF

0
20

TFFTFFTTTTTFTFFT (expected value)

0.98 1.62 1.62 2.62 2.62 1.62 4.03 1.98 1.98 1.62 2.62 1.62 2.62 0.98 1.98 2.62 (confidence rate)

DNC FTTFTTTFFFFTFTTF
XXXXXXTXXXXXXXXX
V--:-- / -
?FFTFFT??TTFT??T
-TTTTTT--TTTT--T
---:-- / 33
TFFTFFTTTTTFTFFT
TTTTTTTTTTTTTTTT
---:PM / 48
??????T?????????
------T---------
---:-- / 3
DNF

0
???TF?TTT?T?T?FT
---TT-TTT-T-T-TT
---:-- / 27
???TF?TTT?T?T?FT
---TT-TTT-T-T-TT
---:-- / 27
DNF

0
DNF

0
50

FFTTFTTTTTFTTTTF (expected value)

1.62 1.62 1.62 2.62 2.62 2.62 1.62 2.62 1.62 2.12 1.62 1.62 2.62 2.62 2.62 1.62 (confidence rate)

DNC TTFFTFFFFFTFFFFT
XXXXXXXXXXXXXXXX
V--:-- / -
FFTTFTTTTTFTTTTF
TTTTTTTTTTTTTTTT
---:-- / 48
FFTTFTTTTTFTTTTF
TTTTTTTTTTTTTTTT
---:PM / 48
????????????????
----------------
---:-- / 0
DNF

0
???TFT?T????TTT?
---TTT-T----TTT-
---:-- / 21
???TFT?T?T??TTT?
---TTT-T-T--TTT-
---:-- / 24
DNF

0
DNF

0
Peterson (stripped) — Colored
  Cunf GreatSPN-Meddly ITS-Tools LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 0 72 0 0 0 0 0 0 0
Bonuses 0 0 72 0 0 0 0 0 0 0
Scores 0 0 0 0 0 0 0 0 0 0
2

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

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

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

0
????????????????
----------------
---:-- / 0
DNC DNC DNC DNC
3

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

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

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

0
????????????????
----------------
---:-- / 0
DNC DNC DNC DNC
4

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

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

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

0
DNF

0
DNC DNC DNC DNC
5

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

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

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

0
DNF

0
DNC DNC DNC DNC
6

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

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

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

0
DNF

0
DNC DNC DNC DNC
7

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

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

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

0
DNF

0
DNC DNC DNC DNC
Peterson (stripped) — P/T
  Cunf GreatSPN-Meddly ITS-Tools LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 108 0 111 291 162 96 153 153 48 90
Bonuses 12 0 18 42 0 0 0 0 0 0
Scores 96 0 93 249 162 96 153 153 48 90
2

TFFFTFFFTFTFTTFT (expected value)

6.85 5.85 6.85 6.23 6.23 5.23 6.85 6.85 6.85 6.85 6.85 6.85 6.85 6.85 6.85 6.85 (confidence rate)

TFFFTFFFTFTFTTFT
TTTTTTTTTTTTTTTT
---:PM / 48
TFFTFTFFTFTFTTFT
TTTXXXTTTTTTTTTT
V--:-- / -
TFFFTFFFTFTFTTFT
TTTTTTTTTTTTTTTT
---:-- / 48
TFFFTFFFTFTFTTFT
TTTTTTTTTTTTTTTT
---:-- / 48
TFFFTFFFTFTFTTFT
TTTTTTTTTTTTTTTT
---:-- / 48
TFFFTFFFTFTFTTFT
TTTTTTTTTTTTTTTT
---:-- / 48
T?FFT?FFTFTFTTFT
T-TTT-TTTTTTTTTT
---:-- / 42
T?FFT?FFTFTFTTFT
T-TTT-TTTTTTTTTT
---:-- / 42
TFFFTFFFTFTFTTFT
TTTTTTTTTTTTTTTT
---:-- / 48
TFFFTFFFTFTFTTFT
TTTTTTTTTTTTTTTT
---:-- / 48
3

TTFFTFTFTFTTTFTF (expected value)

5.78 5.78 4.79 4.79 5.78 4.66 4.30 5.78 4.79 4.79 4.79 5.78 5.78 5.78 4.79 4.79 (confidence rate)

TTFFTFTFTFTTTFTF
TTTTTTTTTTTTTTTT
---:-- / 48
DNF

0
TTFFTTTFTFTTTFTF
TTTTTXTTTTTTTTTT
V--:-- / -
TTFFTFTFTFTTTFTF
TTTTTTTTTTTTTTTT
---:PM / 48
TTFFTFTFTFTTTFTF
TTTTTTTTTTTTTTTT
---:-- / 48
TTFFTFTFTFTTTFTF
TTTTTTTTTTTTTTTT
---:-- / 48
TT??TF?F???TTF??
TT--TT-T---TTT--
---:-- / 24
TT??TF?F???TTF??
TT--TT-T---TTT--
---:-- / 24
DNF

0
TTFFT??FTFTTTFTF
TTTTT--TTTTTTTTT
---:-- / 42
4

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

2.41 2.77 2.91 3.41 2.77 2.77 0.79 2.77 2.77 0 1.77 0.79 0.64 1.00 0.79 2.77 (confidence rate)

DNF

0
DNF

0
F?FF????????F???
T-TT-----?--?---
---:P- / 9
FTFFTT?TT?T????T
TTTTTT-TT?T----T
---:-M / 30
FTFFTTTTT?TT??TT
TTTTTT?TT?T?--?T
---:-- / 30
DNF

0
?TFFTT?TT????F?T
-TTTTT-TT?---T-T
---:-- / 27
?T?FTT?TT????F?T
-T-TTT-TT?---T-T
---:-- / 24
DNF

0
DNF

0
5

TT? TTFFTF(F)TFTFTF (expected value)

2.77 0.98 0 1.77 1.77 1.62 2.41 1.77 2.41 0.64 1.77 2.41 2.77 3.41 1.77 3.41 (confidence rate)

DNF

0
DNF

0
?????FF?FF?F?F?F
--?--TT-T?-T-T-T
---:P- / 18
TT?TTFFTF?TFTFTF
TT?TTTTTT-TTTTTT
---:-M / 42
T??TT?FTF?TFTFTF
T-?TT-TTT-TTTTTT
---:-- / 36
DNF

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

0
DNF

0
6

TT? FTTTTTTTFTTF? (expected value)

0.98 0.98 0 1.62 1.98 1.98 0.98 0.98 1.98 0.98 1.98 2.62 1.98 1.98 1.98 0 (confidence rate)

DNF

0
DNF

0
???F???????F????
--?T-------T---?
---:-- / 6
TT?FTTTTTTTFTTF?
TT?TTTTTTTTTTTT?
---:PM / 42
????????????????
--?------------?
---:-- / 0
DNF

0
????TT??T?TFTTF?
--?-TT--T-TTTTT?
---:-- / 24
????TT??T?TFTTF?
--?-TT--T-TTTTT?
---:-- / 24
DNF

0
DNF

0
7

? TFTFTFT? FTTFTT? (expected value)

0 1.98 1.62 1.98 1.98 1.98 1.62 1.98 0 1.62 1.98 1.48 0.98 2.62 1.98 0 (confidence rate)

DNF

0
CC

0
??F???F??F???T??
?-T---T-?T---T-?
---:P- / 12
?TFTFTFT?FTTFTT?
?TTTTTTT?TTTTTT?
---:-M / 39
????????????????
?-------?------?
---:-- / 0
DNF

0
?T?TFT?T??T??TT?
?T-TTT-T?-T--TT?
---:-- / 24
?T?TFT?T??TT?TT?
?T-TTT-T?-TT-TT?
---:-- / 27
DNF

0
DNF

0
Philosophers (stripped) — Colored
  Cunf GreatSPN-Meddly ITS-Tools LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 0 96 0 0 0 0 0 0 0
Bonuses 0 0 96 0 0 0 0 0 0 0
Scores 0 0 0 0 0 0 0 0 0 0
000005

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

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

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

0
????????????????
----------------
---:-- / 0
DNC DNC DNC DNC
000010

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

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

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

0
????????????????
----------------
---:-- / 0
DNC DNC DNC DNC
000020

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

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

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

0
????????????????
----------------
---:-- / 0
DNC DNC DNC DNC
000050

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

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

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

0
????????????????
----------------
---:-- / 0
DNC DNC DNC DNC
000100

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

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

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

0
????????????????
----------------
---:-- / 0
DNC DNC DNC DNC
000200

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

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

DNC DNC FFFFFTFFFTFFTTFF
????????????????
-C-:-- / -
DNC CC

0
????????????????
????????????????
---:-- / 0
DNC DNC DNC DNC
000500

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

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

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

0
????????????????
----------------
---:-- / 0
DNC DNC DNC DNC
001000

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

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

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

0
????????????????
-??-?-?-?-??????
---:-- / 0
DNC DNC DNC DNC
002000

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

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

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

0
????????????????
-??????--???????
---:-- / 0
DNC DNC DNC DNC
005000

? (expected value)

0 (confidence rate)

DNC DNC CC

0
DNC CC

0
DNF

0
DNC DNC DNC DNC
010000

? (expected value)

0 (confidence rate)

DNC DNC CC

0
DNC CC

0
DNF

0
DNC DNC DNC DNC
050000

? (expected value)

0 (confidence rate)

DNC DNC CC

0
DNC CC

0
DNF

0
DNC DNC DNC DNC
100000

? (expected value)

0 (confidence rate)

DNC DNC CC

0
DNC CC

0
DNF

0
DNC DNC DNC DNC
Philosophers (stripped) — P/T
  Cunf GreatSPN-Meddly ITS-Tools LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 582 48 261 300 261 258 108 96 96 183
Bonuses 102 0 6 0 0 0 0 6 0 6
Scores 480 48 255 300 261 258 108 90 96 177
000005

FFFFFFFFFFTFFFFF (expected value)

6.85 6.85 6.85 6.85 6.85 6.85 6.85 6.85 6.85 6.85 6.85 6.85 6.85 6.85 6.85 6.85 (confidence rate)

FFFFFFFFFFTFFFFF
TTTTTTTTTTTTTTTT
---:-- / 48
FFFFFFFFFFTFFFFF
TTTTTTTTTTTTTTTT
---:-- / 48
FFFFFFFFFFTFFFFF
TTTTTTTTTTTTTTTT
---:-- / 48
FFFFFFFFFFTFFFFF
TTTTTTTTTTTTTTTT
---:-- / 48
FFFFFFFFFFTFFFFF
TTTTTTTTTTTTTTTT
---:-- / 48
FFFFFFFFFFTFFFFF
TTTTTTTTTTTTTTTT
---:-- / 48
FFFFFFFFFFTFFFFF
TTTTTTTTTTTTTTTT
---:-- / 48
FFFFFFFFFFTFFFFF
TTTTTTTTTTTTTTTT
---:-M / 48
FFFFFFFFFFTFFFFF
TTTTTTTTTTTTTTTT
---:-- / 48
FFFFFFFFFFTFFFFF
TTTTTTTTTTTTTTTT
---:P- / 48
000010

TFFFTFFFTFFFTFFT (expected value)

5.85 6.85 6.85 6.85 6.23 5.85 5.23 6.85 6.85 5.85 5.21 5.23 6.85 5.85 6.85 6.85 (confidence rate)

TFFFTFFFTFFFTFFT
TTTTTTTTTTTTTTTT
---:PM / 48
TFFFFFTFTFFTTFFT
TTTTXTXTTTTXTTTT
V--:-- / -
TFFFTFFFTFTFTFFT
TTTTTTTTTTXTTTTT
V--:-- / -
TFFFTFFFTFFFTFFT
TTTTTTTTTTTTTTTT
---:-- / 48
TFFFTFFFTFFFTFFT
TTTTTTTTTTTTTTTT
---:-- / 48
TFFFTFFFTFFFTFFT
TTTTTTTTTTTTTTTT
---:-- / 48
?FFFT??FT???T?FT
-TTTT--TT---T-TT
---:-- / 27
?FFFT??FT???T?FT
-TTTT--TT---T-TT
---:-- / 27
TFFFTFFFTFFFTFFT
TTTTTTTTTTTTTTTT
---:-- / 48
TFFFTFFFTFFFTFFT
TTTTTTTTTTTTTTTT
---:-- / 48
000020

FFFFTFTFFTFFTFFF (expected value)

4.79 4.30 3.33 4.79 4.30 4.79 3.33 4.30 5.28 5.28 4.79 4.30 4.79 5.28 5.28 4.30 (confidence rate)

FFFFTFTFFTFFTFFF
TTTTTTTTTTTTTTTT
---:PM / 48
DNF

0
FFFFTFTFFTFFTFFF
TTTTTTTTTTTTTTTT
---:-- / 48
FF?FTF??FTFFTFFF
TT-TTT--TTTTTTTT
---:-- / 39
FFFFTFTFFTFFTFFF
TTTTTTTTTTTTTTTT
---:-- / 48
FFFFTFTFFTFFTFFF
TTTTTTTTTTTTTTTT
---:-- / 48
???????FFT???FF?
-------TTT---TT-
---:-- / 15
????????????????
----------------
---:-- / 0
DNF

0
F??F?F?FFTF?TFF?
T--T-T-TTTT-TTT-
---:-- / 30
000050

TTFFTFFFFFFFFTTF (expected value)

3.33 4.79 4.79 3.33 4.79 4.79 4.79 4.79 4.79 4.79 4.79 4.79 4.79 4.79 4.79 4.79 (confidence rate)

TTFFTFFFFFFFFTTF
TTTTTTTTTTTTTTTT
---:PM / 48
DNF

0
TTFFTFFFFFFFFTTF
TTTTTTTTTTTTTTTT
---:-- / 48
?TF?TFFFFFFFFTTF
-TT-TTTTTTTTTTTT
---:-- / 42
TTFFTFFFFFFFFTTF
TTTTTTTTTTTTTTTT
---:-- / 48
TTFFTFFFFFFFFTTF
TTTTTTTTTTTTTTTT
---:-- / 48
CC

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

0
?TF?TFFFFFFFFTTF
-TT-TTTTTTTTTTTT
---:-- / 42
000100

FFFFFFFFTTFFTTFF (expected value)

4.30 4.30 4.79 4.30 4.30 4.30 4.30 4.30 5.78 4.30 3.33 4.30 4.30 4.30 4.79 4.30 (confidence rate)

FFFFFFFFTTFFTTFF
TTTTTTTTTTTTTTTT
---:PM / 48
DNF

0
FFFFFFFFTTFFTTFF
TTTTTTTTTTTTTTTT
---:-- / 48
FFFFFFFFTT?FTTFF
TTTTTTTTTT-TTTTT
---:-- / 45
FFFFFFFFTTFFTTFF
TTTTTTTTTTTTTTTT
---:-- / 48
FFFFFFFFTTFFTTFF
TTTTTTTTTTTTTTTT
---:-- / 48
????????T???????
--------T-------
---:-- / 3
????????T???????
--------T-------
---:-- / 3
DNF

0