fond
Model Checking Contest 2018
8th edition, Bratislava, Slovakia, June 26, 2018
Results for ReachabilityCardinality
Last Updated
June 26, 2018

Introduction

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

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

The structure of a table cell is always the same. In black, you have the output provided by the tool followed by the interpretation mask stating if the tool did computed something corresponding to the expected values (T means that it is the expected result, ? means that no tool computed the corresponding value and X means that the value is not the expected one). Then, three consistency flags are displayed : V means that at least one value was wrong (i.e. at least one X in the result mask), C means that the tool was not consistent between the colored Petri net and the P/T equivalent one. 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 +1 bonus that is always considered for green and orange results. These two flags are followed by the score (without bonus) and a link to the execution report containing: a summary of results, a chart reporting memory and CPU evolution over the execution, a full execution log and the commands applied to the tool for this run.

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

The Results

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

Summary of Results for ReachabilityCardinality
  LTSMin Tapaal LoLA M4M.full M4M.struct ITS-Tools ITS-Tools.L GreatSPN Irma.full Irma.struct
Total Points 7943 15251 14771 5073 5754 11101 10931 5956 6053 6068

All «Surprise» models
 
  LTSMin Tapaal LoLA M4M.full M4M.struct ITS-Tools ITS-Tools.L GreatSPN Irma.full Irma.struct
Total Points 2700 5764 5664 0 0 3984 3884 1892 0 0
Road Runner 0 56 37 0 0 2 7 1 0 0
Camel 0 63 33 0 0 1 3 3 0 0
ASLink — P/T
  LTSMin Tapaal LoLA M4M.full M4M.struct ITS-Tools ITS-Tools.L GreatSPN Irma.full Irma.struct
Score 136 536 516 0 0 160 252 32 0 0
Road Runner 0 5 0 0 0 0 5 0 0 0
Camel 0 5 1 0 0 1 3 0 0 0
01a

FFFFTTFFTTTFTFTT (expected value)

6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 (confidence rate)

FFFFTTFFTTTFTFTT
TTTTTTTTTTTTTTTT
--:-- / 32
FFFFTTFFTTTFTFTT
TTTTTTTTTTTTTTTT
--:P- / 32
FFFFTTFFTTTFTFTT
TTTTTTTTTTTTTTTT
--:-M / 32
CC

0
CC

0
FFFFTTFFTTTFTFTT
TTTTTTTTTTTTTTTT
--:-- / 32
FFFFTTFFTTTFTFTT
TTTTTTTTTTTTTTTT
--:-- / 32
FFFFTTFFTTTFTFTT
TTTTTTTTTTTTTTTT
--:-- / 32
CC

0
CC

0
01b

FFFTFFTTFFFFFTFT (expected value)

2.00 2.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 2.00 3.00 4.00 2.00 (confidence rate)

??????T?F????T??
------T-T----T--
--:-- / 4
FFFTFFTTFFFFFTFT
TTTTTTTTTTTTTTTT
--:PM / 32
FFFTFFTTFFFFFTFT
TTTTTTTTTTTTTTTT
--:-- / 32
CC

0
CC

0
??FTFFTTFFFF??F?
--TTTTTTTTTT--T-
--:-- / 20
??FTFF?T?FFF??F?
--TTTT-T-TTT--T-
--:-- / 16
DNF

0
CC

0
CC

0
02a

FTTFFTTTTFTFFFTF (expected value)

5.00 4.00 4.00 5.00 4.00 4.00 4.00 5.00 4.00 4.00 5.00 5.00 5.00 5.00 5.00 5.00 (confidence rate)

F??F???T??TFFFTF
T--T---T--TTTTTT
--:-- / 16
FTTFFTTTTFTFFFTF
TTTTTTTTTTTTTTTT
--:-M / 32
FTTFFTTTTFTFFFTF
TTTTTTTTTTTTTTTT
--:-- / 32
CC

0
CC

0
FTTFFTTTTFTFFFTF
TTTTTTTTTTTTTTTT
--:-- / 32
FTTFFTTTTFTFFFTF
TTTTTTTTTTTTTTTT
--:P- / 32
DNF

0
CC

0
CC

0
02b

FTFTTTFTFFFFTFFT (expected value)

4.00 4.00 1.00 4.00 2.00 4.00 2.00 4.00 2.00 2.00 4.00 1.00 3.00 4.00 3.00 4.00 (confidence rate)

????????????T?F?
------------T-T-
--:-- / 4
FTFTTTFTFFFFTFFT
TTTTTTTTTTTTTTTT
--:PM / 32
FT?TTTFTFFF?TFFT
TT-TTTTTTTT-TTTT
--:-- / 28
CC

0
CC

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

0
CC

0
CC

0
03a

TTTTTFTFTFTFTTTF (expected value)

5.00 4.00 5.00 3.00 4.00 4.00 5.00 2.00 5.00 4.00 5.00 4.00 5.00 5.00 5.00 4.00 (confidence rate)

T?TT??T?TFT?TTT?
T-TT--T-TTT-TTT-
--:-- / 20
TTT?TFT?TFTFTTTF
TTT-TTT-TTTTTTTT
--:-- / 28
TTT?TFT?T?TFTTTF
TTT-TTT-T-TTTTTT
--:-- / 24
CC

0
CC

0
TTTTTFTFTFTFTTTF
TTTTTTTTTTTTTTTT
--:-M / 32
TTTTTFTFTFTFTTTF
TTTTTTTTTTTTTTTT
--:P- / 32
DNF

0
CC

0
CC

0
03b

FFFTFTTFFFTFTTTT (expected value)

2.00 3.00 1.00 3.00 2.00 2.00 3.00 2.00 2.00 2.00 2.00 2.00 3.00 2.00 2.00 2.00 (confidence rate)

?F?T??T?????T???
-T-T--T-----T---
--:-- / 8
FFFTFTTFFFTFTTTT
TTTTTTTTTTTTTTTT
--:PM / 32
FF?TFTTFFFTFTTTT
TT-TTTTTTTTTTTTT
--:-- / 28
CC

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
CC

0
04a

? T? TFTFTFFF? ? FFF (expected value)

0 3.00 0 1.00 2.00 3.00 3.00 3.00 3.00 1.00 2.00 0 0 2.00 3.00 3.00 (confidence rate)

??????????????FF
?-?--------??-TT
--:-- / 4
?T?TFTFTFFF??FFF
?T?TTTTTTTT??TTT
--:-- / 24
?T??FTFTF?F??FFF
?T?-TTTTT-T??TTT
--:-- / 20
CC

0
CC

0
DNF

0
?T???TFTF???????
?T?--TTTT--??---
--:-- / 8
DNF

0
CC

0
CC

0
04b

FFFTTTTFTFTFFTTF (expected value)

1.00 1.00 2.00 4.00 4.00 2.00 1.00 3.00 2.00 3.00 2.00 2.00 3.00 2.00 3.00 2.00 (confidence rate)

?????????F??F?T?
---------T--T-T-
--:-- / 4
F?FTTTTFTFTFFTTF
T-TTTTTTTTTTTTTT
--:-- / 28
?FFTTT?FTFTFFTTF
-TTTTT-TTTTTTTTT
--:-- / 28
CC

0
CC

0
???TT???????????
---TT-----------
--:-- / 4
???TT??F????????
---TT--T--------
--:-- / 4
DNF

0
CC

0
CC

0
05a

FFTFTTTTFFFFTTFF (expected value)

3.00 3.00 3.00 3.00 4.00 3.00 2.00 3.00 2.00 3.00 1.00 4.00 4.00 3.00 4.00 3.00 (confidence rate)

??T?TT?????FT?F?
--T-TT-----TT-T-
--:-- / 12
FF?FT??TFF?FTTFF
TT-TT--TTT-TTTTT
--:-- / 24
FFTFTTTT?F?FTTFF
TTTTTTTT-T-TTTTT
--:-- / 28
CC

0
CC

0
DNF

0
FFTFTTTTFFFFTTFF
TTTTTTTTTTTTTTTT
--:PM / 32
DNF

0
CC

0
CC

0
05b

FTFFFFFFTF? FFTFF (expected value)

2.00 3.00 3.00 3.00 2.00 3.00 2.00 3.00 2.00 2.00 0 2.00 1.00 2.00 2.00 3.00 (confidence rate)

???F?F?F???F???F
---T-T-T--?T---T
--:-- / 8
FTFFFFFFTF?FFTFF
TTTTTTTTTT?TTTTT
--:-- / 28
FTFFFFFFTF???TFF
TTTTTTTTTT?--TTT
--:-- / 24
CC

0
CC

0
DNF

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

0
CC

0
CC

0
06a

TTTFTTFTFFTFFTFF (expected value)

4.00 3.00 2.00 4.00 3.00 4.00 4.00 2.00 2.00 4.00 1.00 4.00 4.00 4.00 4.00 4.00 (confidence rate)

???F?????F?F????
---T-----T-T----
--:-- / 4
TTTFTTFTFF?FFTFF
TTTTTTTTTT-TTTTT
--:-- / 28
TT?FTTF??F?FFTFF
TT-TTTT--T-TTTTT
--:-- / 24
CC

0
CC

0
T????TF?????FTFF
T----TT-----TTTT
--:-- / 12
TTTFTTFTFFTFFTFF
TTTTTTTTTTTTTTTT
--:PM / 32
DNF

0
CC

0
CC

0
06b

TFFTTFFTFFTFTFFT (expected value)

1.00 4.00 4.00 3.00 2.00 1.00 2.00 1.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 (confidence rate)

???T?????F??????
---T-----T------
--:-- / 4
TFFTTFFTFFTFTFFT
TTTTTTTTTTTTTTTT
--:PM / 32
?FFTT?F?F?TFTFFT
-TTTT-T-T-TTTTTT
--:-- / 24
CC

0
CC

0
?FF?????????????
-TT-------------
--:-- / 4
?FF?????????????
-TT-------------
--:-- / 4
DNF

0
CC

0
CC

0
07a

TTTTFTTFFTTFTFFF (expected value)

2.00 3.00 3.00 2.00 3.00 1.00 1.00 3.00 3.00 3.00 1.00 3.00 3.00 3.00 3.00 2.00 (confidence rate)

????????????????
----------------
--:-- / 0
?TTTF??FFT?FTFF?
-TTTT--TTT-TTTT-
--:-- / 20
TTT?F??FFT?FTFFF
TTT-T--TTT-TTTTT
--:-- / 24
CC

0
CC

0
DNF

0
TTTTFTTFFTTFTFFF
TTTTTTTTTTTTTTTT
--:PM / 32
DNF

0
CC

0
CC

0
07b

TTTFFFF? FFFFFTF? (expected value)

2.00 3.00 3.00 1.00 2.00 3.00 2.00 0 2.00 2.00 2.00 1.00 2.00 2.00 2.00 0 (confidence rate)

?????F??????????
-----T-?-------?
--:-- / 0
TTTFFFF?FFFFFTF?
TTTTTTT?TTTTTTT?
--:-- / 28
TTT?FFF?FFF?FTF?
TTT-TTT?TTT-TTT?
--:-- / 24
CC

0
CC

0
DNF

0
?TT?????????????
-TT----?-------?
--:-- / 4
DNF

0
CC

0
CC

0
08a

T? FFFFTF? FTTTFFT (expected value)

3.00 0 2.00 2.00 1.00 3.00 2.00 2.00 0 3.00 2.00 2.00 3.00 2.00 2.00 2.00 (confidence rate)

T????F???F??T???
T?---T--?T--T---
--:-- / 8
T?FF?FTF?FTTTFFT
T?TT-TTT?TTTTTTT
--:-- / 24
T?FFFFTF?FTTTFFT
T?TTTTTT?TTTTTTT
--:-- / 28
CC

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
CC

0
08b

FFTT? TF? FTTT? ? TF (expected value)

2.00 2.00 2.00 1.00 0 2.00 3.00 0 2.00 2.00 2.00 2.00 0 0 2.00 2.00 (confidence rate)

??????F?????????
----?-T?----??--
--:-- / 0
FFTT?TF?FTTT??TF
TTTT?TT?TTTT??TT
--:-- / 24
FFT??TF?FTTT??TF
TTT-?TT?TTTT??TT
--:-- / 20
CC

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
CC

0
09a

? TFFTTFFF? FFF? T? (expected value)

0 3.00 3.00 2.00 3.00 1.00 3.00 2.00 2.00 0 2.00 3.00 2.00 0 2.00 0 (confidence rate)

???????????F????
?--------?-T-?-?
--:-- / 0
?TFFT?FFF?FFF?T?
?TTTT-TTT?TTT?T?
--:-- / 20
?TFFTTFFF?FFF?T?
?TTTTTTTT?TTT?T?
--:-- / 24
CC

0
CC

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

0
DNF

0
CC

0
CC

0
09b

FT? FFFFFTFFTTTF? (expected value)

3.00 1.00 0 3.00 2.00 2.00 1.00 2.00 1.00 2.00 1.00 2.00 2.00 1.00 2.00 0 (confidence rate)

???F??????F?????
--?T------T----?
--:-- / 4
FT?FFF?F?F?TT?F?
TT?TTT-T-T-TT-T?
--:-- / 20
F??FFFFFTF?TTTF?
T-?TTTTTTT-TTTT?
--:-- / 24
CC

0
CC

0
DNF

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

0
CC

0
CC

0
10a

FFFFTFFFFFFTTTFF (expected value)

1.00 3.00 3.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 1.00 2.00 2.00 1.00 2.00 3.00 (confidence rate)

???????????????F
---------------T
--:-- / 0
?FFFTFFFFFFTT?FF
-TTTTTTTTTTTT-TT
--:-- / 28
FFFFTFFFFF?TTTFF
TTTTTTTTTT-TTTTT
--:-- / 28
CC

0
CC

0
DNF

0
?FF?????????????
-TT-------------
--:-- / 4
DNF

0
CC

0
CC

0
10b

FFFTTFFFT? TF? T? ? (expected value)

3.00 1.00 2.00 2.00 3.00 2.00 2.00 2.00 2.00 0 3.00 1.00 0 2.00 0 0 (confidence rate)

????T?????T?????
----T----?T-?-??
--:-- / 4
F?FTTFFFT?TF?T??
T-TTTTTTT?TT?T??
--:-- / 20
FFFTTFFFT?T??T??
TTTTTTTTT?T-?T??
--:-- / 20
CC

0
CC

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

0
DNF

0
CC

0
CC

0
BusinessProcesses — P/T
  LTSMin Tapaal LoLA M4M.full M4M.struct ITS-Tools ITS-Tools.L GreatSPN Irma.full Irma.struct
Score 244 640 620 0 0 612 512 64 0 0
Road Runner 0 13 7 0 0 0 0 0 0 0
Camel 0 15 5 0 0 0 0 0 0 0
01

FFTFTFFFFFFTFTTF (expected value)

6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 (confidence rate)

FFTFTFFFFFFTFTTF
TTTTTTTTTTTTTTTT
--:-- / 32
FFTFTFFFFFFTFTTF
TTTTTTTTTTTTTTTT
--:-M / 32
FFTFTFFFFFFTFTTF
TTTTTTTTTTTTTTTT
--:P- / 32
CC

0
CC

0
FFTFTFFFFFFTFTTF
TTTTTTTTTTTTTTTT
--:-- / 32
FFTFTFFFFFFTFTTF
TTTTTTTTTTTTTTTT
--:-- / 32
FFTFTFFFFFFTFTTF
TTTTTTTTTTTTTTTT
--:-- / 32
CC

0
CC

0
02

FFFFTTFTFFFFTFFF (expected value)

6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 (confidence rate)

FFFFTTFTFFFFTFFF
TTTTTTTTTTTTTTTT
--:-- / 32
FFFFTTFTFFFFTFFF
TTTTTTTTTTTTTTTT
--:-- / 32
FFFFTTFTFFFFTFFF
TTTTTTTTTTTTTTTT
--:PM / 32
CC

0
CC

0
FFFFTTFTFFFFTFFF
TTTTTTTTTTTTTTTT
--:-- / 32
FFFFTTFTFFFFTFFF
TTTTTTTTTTTTTTTT
--:-- / 32
FFFFTTFTFFFFTFFF
TTTTTTTTTTTTTTTT
--:-- / 32
CC

0
CC

0
03

TTFTFFFFTFTTFFFT (expected value)

5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 (confidence rate)

TTFTFFFFTFTTFFFT
TTTTTTTTTTTTTTTT
--:-- / 32
TTFTFFFFTFTTFFFT
TTTTTTTTTTTTTTTT
--:-M / 32
TTFTFFFFTFTTFFFT
TTTTTTTTTTTTTTTT
--:P- / 32
CC

0
CC

0
TTFTFFFFTFTTFFFT
TTTTTTTTTTTTTTTT
--:-- / 32
TTFTFFFFTFTTFFFT
TTTTTTTTTTTTTTTT
--:-- / 32
DNF

0
CC

0
CC

0
04

TFFTFFTFFTTTTFFT (expected value)

5.00 4.00 4.00 5.00 5.00 4.00 4.00 5.00 5.00 5.00 4.00 5.00 4.00 5.00 4.00 4.00 (confidence rate)

T??TF??FFT?T?F??
T--TT--TTT-T-T--
--:-- / 16
TFFTFFTFFTTTTFFT
TTTTTTTTTTTTTTTT
--:PM / 32
TFFTFFTFFTTTTFFT
TTTTTTTTTTTTTTTT
--:-- / 32
CC

0
CC

0
TFFTFFTFFTTTTFFT
TTTTTTTTTTTTTTTT
--:-- / 32
TFFTFFTFFTTTTFFT
TTTTTTTTTTTTTTTT
--:-- / 32
DNF

0
CC

0
CC

0
05

FFFFFTTFFTFTFTFF (expected value)

5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 (confidence rate)

FFFFFTTFFTFTFTFF
TTTTTTTTTTTTTTTT
--:-- / 32
FFFFFTTFFTFTFTFF
TTTTTTTTTTTTTTTT
--:PM / 32
FFFFFTTFFTFTFTFF
TTTTTTTTTTTTTTTT
--:-- / 32
CC

0
CC

0
FFFFFTTFFTFTFTFF
TTTTTTTTTTTTTTTT
--:-- / 32
FFFFFTTFFTFTFTFF
TTTTTTTTTTTTTTTT
--:-- / 32
DNF

0
CC

0
CC

0
06

FFFFFTFTTFTTFTFF (expected value)

5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 (confidence rate)

FFFFFTFTTFTTFTFF
TTTTTTTTTTTTTTTT
--:-- / 32
FFFFFTFTTFTTFTFF
TTTTTTTTTTTTTTTT
--:-- / 32
FFFFFTFTTFTTFTFF
TTTTTTTTTTTTTTTT
--:PM / 32
CC

0
CC

0
FFFFFTFTTFTTFTFF
TTTTTTTTTTTTTTTT
--:-- / 32
FFFFFTFTTFTTFTFF
TTTTTTTTTTTTTTTT
--:-- / 32
DNF

0
CC

0
CC

0
07

FFTTFFFFTFTFFFFT (expected value)

5.00 4.00 4.00 5.00 4.00 5.00 4.00 5.00 5.00 3.00 3.00 4.00 4.00 4.00 4.00 4.00 (confidence rate)

F??T?F?FTFT??F?T
T--T-T-TTTT--T-T
--:-- / 16
FFTTFFFFTFTFFFFT
TTTTTTTTTTTTTTTT
--:PM / 32
FFTTFFFFTFTFFFFT
TTTTTTTTTTTTTTTT
--:-- / 32
CC

0
CC

0
FFTTFFFFT??FFFFT
TTTTTTTTT--TTTTT
--:-- / 28
FFTTFFFFT??FF?F?
TTTTTTTTT--TT-T-
--:-- / 24
DNF

0
CC

0
CC

0
08

FFFFFFFTTFTTFFFT (expected value)

4.00 5.00 4.00 4.00 4.00 4.00 5.00 5.00 5.00 4.00 4.00 4.00 5.00 5.00 4.00 5.00 (confidence rate)

?F????FTT???FF?T
-T----TTT---TT-T
--:-- / 12
FFFFFFFTTFTTFFFT
TTTTTTTTTTTTTTTT
--:-M / 32
FFFFFFFTTFTTFFFT
TTTTTTTTTTTTTTTT
--:P- / 32
CC

0
CC

0
FFFFFFFTTFTTFFFT
TTTTTTTTTTTTTTTT
--:-- / 32
FFFFFFFTTFTTFFFT
TTTTTTTTTTTTTTTT
--:-- / 32
DNF

0
CC

0
CC

0
09

FTTFTTFFTTTFFFTT (expected value)

5.00 2.00 3.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 3.00 4.00 4.00 (confidence rate)

F????TFF?T?F????
T----TTT-T-T----
--:-- / 12
FTTFTTFFTTTFFFTT
TTTTTTTTTTTTTTTT
--:PM / 32
F?TFTTFFTTTFFFTT
T-TTTTTTTTTTTTTT
--:-- / 28
CC

0
CC

0
FTTFTTFFTTTFFFTT
TTTTTTTTTTTTTTTT
--:-- / 32
F??FT???T?T?F?TT
T--TT---T-T-T-TT
--:-- / 16
DNF

0
CC

0
CC

0
10

TFFFTFTFFFTFFFFF (expected value)

4.00 5.00 5.00 5.00 5.00 4.00 4.00 5.00 4.00 4.00 4.00 5.00 4.00 2.00 4.00 4.00 (confidence rate)

?FFFT??F???F???F
-TTTT--T---T---T
--:-- / 12
TFFFTFTFFFTFFFFF
TTTTTTTTTTTTTTTT
--:-- / 32
TFFFTFTFFFTFFFFF
TTTTTTTTTTTTTTTT
--:PM / 32
CC

0
CC

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

0
CC

0
CC

0
11

FTTFTFTFTFFFTFFT (expected value)

4.00 5.00 4.00 5.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 (confidence rate)

?T?F????????????
-T-T------------
--:-- / 4
FTTFTFTFTFFFTFFT
TTTTTTTTTTTTTTTT
--:PM / 32
FTTFTFTFTFFFTFFT
TTTTTTTTTTTTTTTT
--:-- / 32
CC

0
CC

0
FTTFTFTFTFFFTFFT
TTTTTTTTTTTTTTTT
--:-- / 32
FTTFTFTFTFFFTFFT
TTTTTTTTTTTTTTTT
--:-- / 32
DNF

0
CC

0
CC

0
12

TTFFFTTTTTTFTTTF (expected value)

5.00 4.00 5.00 4.00 4.00 3.00 4.00 3.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 (confidence rate)

T?F?????????????
T-T-------------
--:-- / 4
TTFFFTTTTTTFTTTF
TTTTTTTTTTTTTTTT
--:PM / 32
TTFFFTTTTTTFTTTF
TTTTTTTTTTTTTTTT
--:-- / 32
CC

0
CC

0
TTFFFTTTTTTFTTTF
TTTTTTTTTTTTTTTT
--:-- / 32
TTFFF?T?TTTFTTTF
TTTTT-T-TTTTTTTT
--:-- / 28
DNF

0
CC

0
CC

0
13

FFFTFTTFTFFFFFTT (expected value)

4.00 4.00 4.00 4.00 4.00 4.00 4.00 5.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 (confidence rate)

???????F????????
-------T--------
--:-- / 0
FFFTFTTFTFFFFFTT
TTTTTTTTTTTTTTTT
--:-- / 32
FFFTFTTFTFFFFFTT
TTTTTTTTTTTTTTTT
--:PM / 32
CC

0
CC

0
FFFTFTTFTFFFFFTT
TTTTTTTTTTTTTTTT
--:-- / 32
FFFTFTTFTFFFFFTT
TTTTTTTTTTTTTTTT
--:-- / 32
DNF

0
CC

0
CC

0
14

FTFTFFTFFFTFTFTT (expected value)

4.00 4.00 4.00 2.00 1.00 4.00 2.00 4.00 2.00 4.00 4.00 4.00 4.00 4.00 2.00 3.00 (confidence rate)

????????????????
----------------
--:-- / 0
FTFTFFTFFFTFTFTT
TTTTTTTTTTTTTTTT
--:PM / 32
FTFT?FTFFFTFTFTT
TTTT-TTTTTTTTTTT
--:-- / 28
CC

0
CC

0
FTF??F?F?FTFTF??
TTT--T-T-TTTTT--
--:-- / 20
FTF??F?F?FTFTF?T
TTT--T-T-TTTTT-T
--:-- / 20
DNF

0
CC

0
CC

0
15

TFTFTFFTTTFTFFFT (expected value)

3.00 4.00 4.00 3.00 4.00 3.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 (confidence rate)

????????????????
----------------
--:-- / 0
TFTFTFFTTTFTFFFT
TTTTTTTTTTTTTTTT
--:PM / 32
TFTFTFFTTTFTFFFT
TTTTTTTTTTTTTTTT
--:-- / 32
CC

0
CC

0
TFTFTFFTTTFTFFFT
TTTTTTTTTTTTTTTT
--:-- / 32
?FT?T?FTTTFTFFFT
-TT-T-TTTTTTTTTT
--:-- / 24
DNF

0
CC

0
CC

0
16

FTFFTTFFFFFFFTFF (expected value)

5.00 4.00 3.00 4.00 3.00 4.00 4.00 4.00 4.00 4.00 4.00 1.00 4.00 3.00 4.00 3.00 (confidence rate)

F???????????????
T---------------
--:-- / 0
FTFFTTFFFFFFFTFF
TTTTTTTTTTTTTTTT
--:PM / 32
FTFFTTFFFFF?FTFF
TTTTTTTTTTT-TTTT
--:-- / 28
CC

0
CC

0
FTFFTTFFFFF?FTFF
TTTTTTTTTTT-TTTT
--:-- / 28
FT?F?TFFFFF?F?F?
TT-T-TTTTTT-T-T-
--:-- / 20
DNF

0
CC

0
CC

0
17

TTTFTFFFFFFFFFFT (expected value)

4.00 4.00 3.00 4.00 4.00 3.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 5.00 4.00 4.00 (confidence rate)

?????????????F??
-------------T--
--:-- / 0
TTTFTFFFFFFFFFFT
TTTTTTTTTTTTTTTT
--:PM / 32
TTTFT?FFFFFFFFFT
TTTTT-TTTTTTTTTT
--:-- / 28
CC

0
CC

0
TTTFTFFFFFFFFFFT
TTTTTTTTTTTTTTTT
--:-- / 32
TT?FTFFFFFFFFFFT
TT-TTTTTTTTTTTTT
--:-- / 28
DNF

0
CC

0
CC

0
18

FTFTTTTFFTTTFFFT (expected value)

3.00 3.00 3.00 3.00 3.00 3.00 3.00 3.00 4.00 3.00 3.00 3.00 3.00 3.00 4.00 3.00 (confidence rate)

????????F?????F?
--------T-----T-
--:-- / 4
FTFTTTTFFTTTFFFT
TTTTTTTTTTTTTTTT
--:P- / 32
FTFTTTTFFTTTFFFT
TTTTTTTTTTTTTTTT
--:-M / 32
CC

0
CC

0
FTFTTTTFFTTTFFFT
TTTTTTTTTTTTTTTT
--:-- / 32
DNF

0
DNF

0
CC

0
CC

0
19

TFFFFTFTFFTFTTTF (expected value)

4.00 4.00 4.00 3.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 (confidence rate)

????????????????
----------------
--:-- / 0
TFFFFTFTFFTFTTTF
TTTTTTTTTTTTTTTT
--:PM / 32
TFFFFTFTFFTFTTTF
TTTTTTTTTTTTTTTT
--:-- / 32
CC

0
CC

0
TFFFFTFTFFTFTTTF
TTTTTTTTTTTTTTTT
--:-- / 32
TFF?FTFTFFTFTTTF
TTT-TTTTTTTTTTTT
--:-- / 28
DNF

0
CC

0
CC

0
20

TFFTFTTFFTTTFTFT (expected value)

4.00 3.00 3.00 3.00 4.00 3.00 2.00 4.00 4.00 4.00 4.00 4.00 3.00 2.00 3.00 3.00 (confidence rate)

???T??????TT????
---T------TT----
--:-- / 4
TFFTFTTFFTTTFTFT
TTTTTTTTTTTTTTTT
--:PM / 32
TFF?FTTFFTTTFTFT
TTT-TTTTTTTTTTTT
--:-- / 28
CC

0
CC

0
TFFTFT?FFTTTF?FT
TTTTTT-TTTTTT-TT
--:-- / 28
T???F??FFT??????
T---T--TTT------
--:-- / 8
DNF

0
CC

0
CC

0
DLCflexbar — P/T
  LTSMin Tapaal LoLA M4M.full M4M.struct ITS-Tools ITS-Tools.L GreatSPN Irma.full Irma.struct
Score 204 540 480 0 0 284 284 0 0 0
Road Runner 0 10 2 0 0 0 0 0 0 0
Camel 0 8 4 0 0 0 0 0 0 0
2a

FFFFTTTTFTTFTFTF (expected value)

5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 (confidence rate)

FFFFTTTTFTTFTFTF
TTTTTTTTTTTTTTTT
--:-- / 40
FFFFTTTTFTTFTFTF
TTTTTTTTTTTTTTTT
--:PM / 40
FFFFTTTTFTTFTFTF
TTTTTTTTTTTTTTTT
--:-- / 40
CC

0
CC

0
FFFFTTTTFTTFTFTF
TTTTTTTTTTTTTTTT
--:-- / 40
FFFFTTTTFTTFTFTF
TTTTTTTTTTTTTTTT
--:-- / 40
CC

0
CC

0
CC

0
2b

FFTTFTTFTFFFFFFF (expected value)

2.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 (confidence rate)

????????????????
----------------
--:-- / 0
FFTTFTTFTFFFFFFF
TTTTTTTTTTTTTTTT
--:-- / 40
FFTTFTTFTFFFFFFF
TTTTTTTTTTTTTTTT
--:PM / 40
CC

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
CC

0
3a

FFTFFFFTTTFFTFTT (expected value)

5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 (confidence rate)

FFTFFFFTTTFFTFTT
TTTTTTTTTTTTTTTT
--:-- / 40
FFTFFFFTTTFFTFTT
TTTTTTTTTTTTTTTT
--:PM / 40
FFTFFFFTTTFFTFTT
TTTTTTTTTTTTTTTT
--:-- / 40
CC

0
CC

0
FFTFFFFTTTFFTFTT
TTTTTTTTTTTTTTTT
--:-- / 40
FFTFFFFTTTFFTFTT
TTTTTTTTTTTTTTTT
--:-- / 40
CC

0
CC

0
CC

0
3b

TFTTTFTTFTTTFFFT (expected value)

4.00 4.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 (confidence rate)

????????????????
----------------
--:-- / 0
TFTTTFTTFTTTFFFT
TTTTTTTTTTTTTTTT
--:-- / 40
TFTTTFTTFTTTFFFT
TTTTTTTTTTTTTTTT
--:PM / 40
CC

0
CC

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

0
CC

0
CC

0
4a

TTTTFFFTFTTFFFTT (expected value)

5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 (confidence rate)

TTTTFFFTFTTFFFTT
TTTTTTTTTTTTTTTT
--:-- / 40
TTTTFFFTFTTFFFTT
TTTTTTTTTTTTTTTT
--:PM / 40
TTTTFFFTFTTFFFTT
TTTTTTTTTTTTTTTT
--:-- / 40
CC

0
CC

0
TTTTFFFTFTTFFFTT
TTTTTTTTTTTTTTTT
--:-- / 40
TTTTFFFTFTTFFFTT
TTTTTTTTTTTTTTTT
--:-- / 40
CC

0
CC

0
CC

0
4b

FFFFFFFFFFTFFFFF (expected value)

2.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 (confidence rate)

????????????????
----------------
--:-- / 0
FFFFFFFFFFTFFFFF
TTTTTTTTTTTTTTTT
--:P- / 40
FFFFFFFFFFTFFFFF
TTTTTTTTTTTTTTTT
--:-M / 40
CC

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
CC

0
5a

FFTTTFTFFTFTFFFT (expected value)

5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 (confidence rate)

FFTTTFTFFTFTFFFT
TTTTTTTTTTTTTTTT
--:-- / 40
FFTTTFTFFTFTFFFT
TTTTTTTTTTTTTTTT
--:PM / 40
FFTTTFTFFTFTFFFT
TTTTTTTTTTTTTTTT
--:-- / 40
CC

0
CC

0
FFTTTFTFFTFTFFFT
TTTTTTTTTTTTTTTT
--:-- / 40
FFTTTFTFFTFTFFFT
TTTTTTTTTTTTTTTT
--:-- / 40
CC

0
CC

0
CC

0
5b

TTTTFFFFTTTFTTFT (expected value)

2.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 (confidence rate)

????????????????
----------------
--:-- / 0
TTTTFFFFTTTFTTFT
TTTTTTTTTTTTTTTT
--:P- / 40
TTTTFFFFTTTFTTFT
TTTTTTTTTTTTTTTT
--:-M / 40
CC

0
CC

0
DNF

0
DNF

0
CC

0
CC

0
CC

0
6a

TFFFFFFFFTFTTFTF (expected value)

5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 (confidence rate)

TFFFFFFFFTFTTFTF
TTTTTTTTTTTTTTTT
--:-- / 40
TFFFFFFFFTFTTFTF
TTTTTTTTTTTTTTTT
--:PM / 40
TFFFFFFFFTFTTFTF
TTTTTTTTTTTTTTTT
--:-- / 40
CC

0
CC

0
TFFFFFFFFTFTTFTF
TTTTTTTTTTTTTTTT
--:-- / 40
TFFFFFFFFTFTTFTF
TTTTTTTTTTTTTTTT
--:-- / 40
CC

0
CC

0
CC

0
6b

TFTFFFFTFTTFTTFF (expected value)

2.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 (confidence rate)

????????????????
----------------
--:-- / 0
TFTFFFFTFTTFTTFF
TTTTTTTTTTTTTTTT
--:PM / 40
TFTFFFFTFTTFTTFF
TTTTTTTTTTTTTTTT
--:-- / 40
CC

0
CC

0
DNF

0
DNF

0
CC

0
CC

0
CC

0
7a

TTFFFFTFFFTTTTFT (expected value)

4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 5.00 (confidence rate)

???????????????T
---------------T
--:-- / 4
TTFFFFTFFFTTTTFT
TTTTTTTTTTTTTTTT
--:PM / 40
TTFFFFTFFFTTTTFT
TTTTTTTTTTTTTTTT
--:-- / 40
CC

0
CC

0
TTFFFFTFFFTTTTFT
TTTTTTTTTTTTTTTT
--:-- / 40
TTFFFFTFFFTTTTFT
TTTTTTTTTTTTTTTT
--:-- / 40
CC

0
CC

0
CC

0
7b

TF? FTFTFFTFFTT? T (expected value)

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

????????????????
--?-----------?-
--:-- / 0
TF?FTFTFFTFFTT?T
TT?TTTTTTTTTTT?T
--:-- / 36
CC

0
CC

0
CC

0
DNF

0
DNF

0
CC

0
CC

0
CC

0
8a

FTFFFTTFFTTTFFTF (expected value)

4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 (confidence rate)

????????????????
----------------
--:-- / 0
FTFFFTTFFTTTFFTF
TTTTTTTTTTTTTTTT
--:PM / 40
FTFFFTTFFTTTFFTF
TTTTTTTTTTTTTTTT
--:-- / 40
CC

0
CC

0
FTFFFTTFFTTTFFTF
TTTTTTTTTTTTTTTT
--:-- / 40
FTFFFTTFFTTTFFTF
TTTTTTTTTTTTTTTT
--:-- / 40
CC

0
CC

0
CC

0
8b

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

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

????????????????
?-?-?----?-?-?--
--:-- / 0
?F?T?FTFF?F?F?FF
?T?T?TTTT?T?T?TT
--:-- / 24
CC

0
CC

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
CC

0
DiscoveryGPU — P/T
  LTSMin Tapaal LoLA M4M.full M4M.struct ITS-Tools ITS-Tools.L GreatSPN Irma.full Irma.struct
Score 512 640 632 0 0 640 640 640 0 0
Road Runner 0 7 12 0 0 0 1 0 0 0
Camel 0 10 10 0 0 0 0 0 0 0
06a

FFTFTFFFTTFTTFTT (expected value)

6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 (confidence rate)

FFTFTFFFTTFTTFTT
TTTTTTTTTTTTTTTT
--:-- / 32
FFTFTFFFTTFTTFTT
TTTTTTTTTTTTTTTT
--:PM / 32
FFTFTFFFTTFTTFTT
TTTTTTTTTTTTTTTT
--:-- / 32
CC

0
CC

0
FFTFTFFFTTFTTFTT
TTTTTTTTTTTTTTTT
--:-- / 32
FFTFTFFFTTFTTFTT
TTTTTTTTTTTTTTTT
--:-- / 32
FFTFTFFFTTFTTFTT
TTTTTTTTTTTTTTTT
--:-- / 32
CC

0
CC

0
06b

TFFFTFTFTTFTTFFF (expected value)

6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 (confidence rate)

TFFFTFTFTTFTTFFF
TTTTTTTTTTTTTTTT
--:-- / 32
TFFFTFTFTTFTTFFF
TTTTTTTTTTTTTTTT
--:-- / 32
TFFFTFTFTTFTTFFF
TTTTTTTTTTTTTTTT
--:PM / 32
CC

0
CC

0
TFFFTFTFTTFTTFFF
TTTTTTTTTTTTTTTT
--:-- / 32
TFFFTFTFTTFTTFFF
TTTTTTTTTTTTTTTT
--:-- / 32
TFFFTFTFTTFTTFFF
TTTTTTTTTTTTTTTT
--:-- / 32
CC

0
CC

0
07a

FFTFTFFFTTTTTFFT (expected value)

6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 (confidence rate)

FFTFTFFFTTTTTFFT
TTTTTTTTTTTTTTTT
--:-- / 32
FFTFTFFFTTTTTFFT
TTTTTTTTTTTTTTTT
--:-M / 32
FFTFTFFFTTTTTFFT
TTTTTTTTTTTTTTTT
--:P- / 32
CC

0
CC

0
FFTFTFFFTTTTTFFT
TTTTTTTTTTTTTTTT
--:-- / 32
FFTFTFFFTTTTTFFT
TTTTTTTTTTTTTTTT
--:-- / 32
FFTFTFFFTTTTTFFT
TTTTTTTTTTTTTTTT
--:-- / 32
CC

0
CC

0
07b

FFFFFFFFFFFFFFTT (expected value)

6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 (confidence rate)

FFFFFFFFFFFFFFTT
TTTTTTTTTTTTTTTT
--:-- / 32
FFFFFFFFFFFFFFTT
TTTTTTTTTTTTTTTT
--:-- / 32
FFFFFFFFFFFFFFTT
TTTTTTTTTTTTTTTT
--:PM / 32
CC

0
CC

0
FFFFFFFFFFFFFFTT
TTTTTTTTTTTTTTTT
--:-- / 32
FFFFFFFFFFFFFFTT
TTTTTTTTTTTTTTTT
--:-- / 32
FFFFFFFFFFFFFFTT
TTTTTTTTTTTTTTTT
--:-- / 32
CC

0
CC

0
08a

TTFFFFTFTFFFFFTT (expected value)

6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 (confidence rate)

TTFFFFTFTFFFFFTT
TTTTTTTTTTTTTTTT
--:-- / 32
TTFFFFTFTFFFFFTT
TTTTTTTTTTTTTTTT
--:-- / 32
TTFFFFTFTFFFFFTT
TTTTTTTTTTTTTTTT
--:PM / 32
CC

0
CC

0
TTFFFFTFTFFFFFTT
TTTTTTTTTTTTTTTT
--:-- / 32
TTFFFFTFTFFFFFTT
TTTTTTTTTTTTTTTT
--:-- / 32
TTFFFFTFTFFFFFTT
TTTTTTTTTTTTTTTT
--:-- / 32
CC

0
CC

0
08b

FFTTFFTFFTTTFTFT (expected value)

6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 (confidence rate)

FFTTFFTFFTTTFTFT
TTTTTTTTTTTTTTTT
--:-- / 32
FFTTFFTFFTTTFTFT
TTTTTTTTTTTTTTTT
--:-- / 32
FFTTFFTFFTTTFTFT
TTTTTTTTTTTTTTTT
--:PM / 32
CC

0
CC

0
FFTTFFTFFTTTFTFT
TTTTTTTTTTTTTTTT
--:-- / 32
FFTTFFTFFTTTFTFT
TTTTTTTTTTTTTTTT
--:-- / 32
FFTTFFTFFTTTFTFT
TTTTTTTTTTTTTTTT
--:-- / 32
CC

0
CC

0
09a

FTFFFFTFFTFFTTFT (expected value)

6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 (confidence rate)

FTFFFFTFFTFFTTFT
TTTTTTTTTTTTTTTT
--:-- / 32
FTFFFFTFFTFFTTFT
TTTTTTTTTTTTTTTT
--:-- / 32
FTFFFFTFFTFFTTFT
TTTTTTTTTTTTTTTT
--:PM / 32
CC

0
CC

0
FTFFFFTFFTFFTTFT
TTTTTTTTTTTTTTTT
--:-- / 32
FTFFFFTFFTFFTTFT
TTTTTTTTTTTTTTTT
--:-- / 32
FTFFFFTFFTFFTTFT
TTTTTTTTTTTTTTTT
--:-- / 32
CC

0
CC

0
09b

FFFFFFFTTFFFFTTT (expected value)

5.00 5.00 5.00 6.00 6.00 5.00 5.00 5.00 6.00 6.00 5.00 4.00 5.00 6.00 5.00 6.00 (confidence rate)

???FF???TF???T?T
---TT---TT---T-T
--:-- / 12
FFFFFFFTTFFFFTTT
TTTTTTTTTTTTTTTT
--:PM / 32
FFFFFFFTTFF?FTTT
TTTTTTTTTTT-TTTT
--:-- / 28
CC

0
CC

0
FFFFFFFTTFFFFTTT
TTTTTTTTTTTTTTTT
--:-- / 32
FFFFFFFTTFFFFTTT
TTTTTTTTTTTTTTTT
--:-- / 32
FFFFFFFTTFFFFTTT
TTTTTTTTTTTTTTTT
--:-- / 32
CC

0
CC

0
10a

TFTTFTFTFFFFFTTF (expected value)

6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 (confidence rate)

TFTTFTFTFFFFFTTF
TTTTTTTTTTTTTTTT
--:-- / 32
TFTTFTFTFFFFFTTF
TTTTTTTTTTTTTTTT
--:-- / 32
TFTTFTFTFFFFFTTF
TTTTTTTTTTTTTTTT
--:PM / 32
CC

0
CC

0
TFTTFTFTFFFFFTTF
TTTTTTTTTTTTTTTT
--:-- / 32
TFTTFTFTFFFFFTTF
TTTTTTTTTTTTTTTT
--:-- / 32
TFTTFTFTFFFFFTTF
TTTTTTTTTTTTTTTT
--:-- / 32
CC

0
CC

0
10b

FTFFFTTTTTTFFTTT (expected value)

6.00 6.00 5.00 6.00 6.00 6.00 6.00 6.00 5.00 6.00 5.00 6.00 6.00 6.00 5.00 5.00 (confidence rate)

FT?FFTTT?T?FFT??
TT-TTTTT-T-TTT--
--:-- / 20
FTFFFTTTTTTFFTTT
TTTTTTTTTTTTTTTT
--:PM / 32
FTFFFTTTTTTFFTTT
TTTTTTTTTTTTTTTT
--:-- / 32
CC

0
CC

0
FTFFFTTTTTTFFTTT
TTTTTTTTTTTTTTTT
--:-- / 32
FTFFFTTTTTTFFTTT
TTTTTTTTTTTTTTTT
--:-- / 32
FTFFFTTTTTTFFTTT
TTTTTTTTTTTTTTTT
--:-- / 32
CC

0
CC

0
11a

TFTFTFFTTFTFFFFF (expected value)

6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 (confidence rate)

TFTFTFFTTFTFFFFF
TTTTTTTTTTTTTTTT
--:-- / 32
TFTFTFFTTFTFFFFF
TTTTTTTTTTTTTTTT
--:-- / 32
TFTFTFFTTFTFFFFF
TTTTTTTTTTTTTTTT
--:PM / 32
CC

0
CC

0
TFTFTFFTTFTFFFFF
TTTTTTTTTTTTTTTT
--:-- / 32
TFTFTFFTTFTFFFFF
TTTTTTTTTTTTTTTT
--:-- / 32
TFTFTFFTTFTFFFFF
TTTTTTTTTTTTTTTT
--:-- / 32
CC

0
CC

0
11b

FTFFFFFFFFFFFFFF (expected value)

5.00 6.00 5.00 6.00 5.00 5.00 5.00 5.00 5.00 5.00 6.00 5.00 6.00 6.00 6.00 6.00 (confidence rate)

?T?F??????F?FFFF
-T-T------T-TTTT
--:-- / 12
FTFFFFFFFFFFFFFF
TTTTTTTTTTTTTTTT
--:-- / 32
FTFFFFFFFFFFFFFF
TTTTTTTTTTTTTTTT
--:PM / 32
CC

0
CC

0
FTFFFFFFFFFFFFFF
TTTTTTTTTTTTTTTT
--:-- / 32
FTFFFFFFFFFFFFFF
TTTTTTTTTTTTTTTT
--:-- / 32
FTFFFFFFFFFFFFFF
TTTTTTTTTTTTTTTT
--:-- / 32
CC

0
CC

0
12a

TTTFFTFFFFFTFFFF (expected value)

6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 (confidence rate)

TTTFFTFFFFFTFFFF
TTTTTTTTTTTTTTTT
--:-- / 32
TTTFFTFFFFFTFFFF
TTTTTTTTTTTTTTTT
--:PM / 32
TTTFFTFFFFFTFFFF
TTTTTTTTTTTTTTTT
--:-- / 32
CC

0
CC

0
TTTFFTFFFFFTFFFF
TTTTTTTTTTTTTTTT
--:-- / 32
TTTFFTFFFFFTFFFF
TTTTTTTTTTTTTTTT
--:-- / 32
TTTFFTFFFFFTFFFF
TTTTTTTTTTTTTTTT
--:-- / 32
CC

0
CC

0
12b

TTFTTFFFTFFTTTFF (expected value)

6.00 5.00 5.00 6.00 5.00 6.00 5.00 6.00 6.00 5.00 5.00 5.00 6.00 5.00 5.00 6.00 (confidence rate)

T??T?F?FT???T??F
T--T-T-TT---T--T
--:-- / 12
TTFTTFFFTFFTTTFF
TTTTTTTTTTTTTTTT
--:-M / 32
TTFTTFFFTFFTTTFF
TTTTTTTTTTTTTTTT
--:P- / 32
CC

0
CC

0
TTFTTFFFTFFTTTFF
TTTTTTTTTTTTTTTT
--:-- / 32
TTFTTFFFTFFTTTFF
TTTTTTTTTTTTTTTT
--:-- / 32
TTFTTFFFTFFTTTFF
TTTTTTTTTTTTTTTT
--:-- / 32
CC

0
CC

0
13a

FTTTFFFFFTTFTFFF (expected value)

6.00 5.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 5.00 6.00 6.00 6.00 (confidence rate)

FTTTFFFFFTTFTFFF
TTTTTTTTTTTTTTTT
--:-- / 32
FTTTFFFFFTTFTFFF
TTTTTTTTTTTTTTTT
--:PM / 32
F?TTFFFFFTTF?FFF
T-TTTTTTTTTT-TTT
--:-- / 28
CC

0
CC

0
FTTTFFFFFTTFTFFF
TTTTTTTTTTTTTTTT
--:-- / 32
FTTTFFFFFTTFTFFF
TTTTTTTTTTTTTTTT
--:-- / 32
FTTTFFFFFTTFTFFF
TTTTTTTTTTTTTTTT
--:-- / 32
CC

0
CC

0
13b

FFFTFFFFTTFFFTFF (expected value)

6.00 5.00 6.00 5.00 5.00 6.00 6.00 5.00 6.00 5.00 5.00 5.00 5.00 6.00 6.00 5.00 (confidence rate)

F?F??FF?T????TF?
T-T--TT-T----TT-
--:-- / 12
FFFTFFFFTTFFFTFF
TTTTTTTTTTTTTTTT
--:-- / 32
FFFTFFFFTTFFFTFF
TTTTTTTTTTTTTTTT
--:PM / 32
CC

0
CC

0
FFFTFFFFTTFFFTFF
TTTTTTTTTTTTTTTT
--:-- / 32
FFFTFFFFTTFFFTFF
TTTTTTTTTTTTTTTT
--:-- / 32
FFFTFFFFTTFFFTFF
TTTTTTTTTTTTTTTT
--:-- / 32
CC

0
CC

0
14a

TFTTTTTFFTFFFFFF (expected value)

6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 (confidence rate)

TFTTTTTFFTFFFFFF
TTTTTTTTTTTTTTTT
--:-- / 32
TFTTTTTFFTFFFFFF
TTTTTTTTTTTTTTTT
--:-- / 32
TFTTTTTFFTFFFFFF
TTTTTTTTTTTTTTTT
--:PM / 32
CC

0
CC

0
TFTTTTTFFTFFFFFF
TTTTTTTTTTTTTTTT
--:-- / 32
TFTTTTTFFTFFFFFF
TTTTTTTTTTTTTTTT
--:-- / 32
TFTTTTTFFTFFFFFF
TTTTTTTTTTTTTTTT
--:-- / 32
CC

0
CC

0
14b

TTTFTFTTFFTFTTTT (expected value)

5.00 5.00 6.00 6.00 5.00 5.00 5.00 6.00 5.00 5.00 6.00 5.00 5.00 5.00 6.00 6.00 (confidence rate)

??TF???T??T???TT
--TT---T--T---TT
--:-- / 12
TTTFTFTTFFTFTTTT
TTTTTTTTTTTTTTTT
--:PM / 32
TTTFTFTTFFTFTTTT
TTTTTTTTTTTTTTTT
--:-- / 32
CC

0
CC

0
TTTFTFTTFFTFTTTT
TTTTTTTTTTTTTTTT
--:-- / 32
TTTFTFTTFFTFTTTT
TTTTTTTTTTTTTTTT
--:-- / 32
TTTFTFTTFFTFTTTT
TTTTTTTTTTTTTTTT
--:-- / 32
CC

0
CC

0
15a

FTFTFFFFFTTFTTFF (expected value)

6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 (confidence rate)

FTFTFFFFFTTFTTFF
TTTTTTTTTTTTTTTT
--:-- / 32
FTFTFFFFFTTFTTFF
TTTTTTTTTTTTTTTT
--:-M / 32
FTFTFFFFFTTFTTFF
TTTTTTTTTTTTTTTT
--:-- / 32
CC

0
CC

0
FTFTFFFFFTTFTTFF
TTTTTTTTTTTTTTTT
--:-- / 32
FTFTFFFFFTTFTTFF
TTTTTTTTTTTTTTTT
--:P- / 32
FTFTFFFFFTTFTTFF
TTTTTTTTTTTTTTTT
--:-- / 32
CC

0
CC

0
15b

FFTTFFFTFTTTFFFF (expected value)

5.00 5.00 5.00 5.00 6.00 5.00 6.00 6.00 6.00 6.00 5.00 6.00 6.00 6.00 5.00 6.00 (confidence rate)

????F?FTFT?TFF?F
----T-TTTT-TTT-T
--:-- / 16
FFTTFFFTFTTTFFFF
TTTTTTTTTTTTTTTT
--:PM / 32
FFTTFFFTFTTTFFFF
TTTTTTTTTTTTTTTT
--:-- / 32
CC

0
CC

0
FFTTFFFTFTTTFFFF
TTTTTTTTTTTTTTTT
--:-- / 32
FFTTFFFTFTTTFFFF
TTTTTTTTTTTTTTTT
--:-- / 32
FFTTFFFTFTTTFFFF
TTTTTTTTTTTTTTTT
--:-- / 32
CC

0
CC

0
DoubleExponent — P/T
  LTSMin Tapaal LoLA M4M.full M4M.struct ITS-Tools ITS-Tools.L GreatSPN Irma.full Irma.struct
Score 120 388 396 0 0 292 260 120 0 0
Road Runner 0 3 1 0 0 0 0 0 0 0
Camel 0 3 0 0 0 0 0 1 0 0
001

TTFTTFTFFFTFFTTT (expected value)

6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 (confidence rate)

TTFTTFTFFFTFFTTT
TTTTTTTTTTTTTTTT
--:-- / 60
TTFTTFTFFFTFFTTT
TTTTTTTTTTTTTTTT
--:-- / 60
TTFTTFTFFFTFFTTT
TTTTTTTTTTTTTTTT
--:P- / 60
CC

0
CC

0
TTFTTFTFFFTFFTTT
TTTTTTTTTTTTTTTT
--:-- / 60
TTFTTFTFFFTFFTTT
TTTTTTTTTTTTTTTT
--:-- / 60
TTFTTFTFFFTFFTTT
TTTTTTTTTTTTTTTT
--:-M / 60
CC

0
CC

0
002

FTTFFTTTTTTTFFFT (expected value)

6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 (confidence rate)

FTTFFTTTTTTTFFFT
TTTTTTTTTTTTTTTT
--:-- / 60
FTTFFTTTTTTTFFFT
TTTTTTTTTTTTTTTT
--:PM / 60
FTTFFTTTTTTTFFFT
TTTTTTTTTTTTTTTT
--:-- / 60
CC

0
CC

0
FTTFFTTTTTTTFFFT
TTTTTTTTTTTTTTTT
--:-- / 60
FTTFFTTTTTTTFFFT
TTTTTTTTTTTTTTTT
--:-- / 60
FTTFFTTTTTTTFFFT
TTTTTTTTTTTTTTTT
--:-- / 60
CC

0
CC

0
003

FTTFTFFTFTTFFTTT (expected value)

4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 (confidence rate)

????????????????
----------------
--:-- / 0
FTTFTFFTFTTFFTTT
TTTTTTTTTTTTTTTT
--:PM / 60
FTTFTFFTFTTFFTTT
TTTTTTTTTTTTTTTT
--:-- / 60
CC

0
CC

0
FTTFTFFTFTTFFTTT
TTTTTTTTTTTTTTTT
--:-- / 60
FTTFTFFTFTTFFTTT
TTTTTTTTTTTTTTTT
--:-- / 60
DNF

0
CC

0
CC

0
004

FFTFTTFTTFFTTFTF (expected value)

4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 (confidence rate)

????????????????
----------------
--:-- / 0
FFTFTTFTTFFTTFTF
TTTTTTTTTTTTTTTT
--:PM / 60
FFTFTTFTTFFTTFTF
TTTTTTTTTTTTTTTT
--:-- / 60
CC

0
CC

0
FFTFTTFTTFFTTFTF
TTTTTTTTTTTTTTTT
--:-- / 60
FFTFTTFTTFFTTFTF
TTTTTTTTTTTTTTTT
--:-- / 60
DNF

0
CC

0
CC

0
010

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

4.00 4.00 0 4.00 0 4.00 0 0 0 0 0 4.00 0 0 0 2.00 (confidence rate)

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

0
CC

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

0
CC

0
CC

0
020

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

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

????????????????
------???-?-?-??
--:-- / 0
FT?TFT???F?F?F??
TT-TTT???T?T?T??
--:-- / 32
FTTTFT???F?F?F??
TTTTTT???T?T?T??
--:-- / 36
CC

0
CC

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

0
DNF

0
CC

0
CC

0
100

FTT? T? FFFF? ? TFTF (expected value)

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

????????????????
---?-?----??----
--:-- / 0
FTT?T?FFFF??TFTF
TTT?T?TTTT??TTTT
--:-- / 44
FTT?T?FFFF??TFTF
TTT?T?TTTT??TTTT
--:-- / 44
CC

0
CC

0
DNF

0
DNF

0
CC

0
CC

0
CC

0
200

TTFFFTT? ? TFTTTTF (expected value)

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

????????????????
-------??-------
--:-- / 0
TTFFFTT??TFT?TTF
TTTTTTT??TTT-TTT
--:-- / 48
TTFFFTT??TFTTTTF
TTTTTTT??TTTTTTT
--:-- / 52
CC

0
CC

0
DNF

0
DNF

0
CC

0
CC

0
CC

0
EGFr — P/T
  LTSMin Tapaal LoLA M4M.full M4M.struct ITS-Tools ITS-Tools.L GreatSPN Irma.full Irma.struct
Score 432 432 400 0 0 432 432 432 0 0
Road Runner 0 1 1 0 0 0 0 1 0 0
Camel 0 1 0 0 0 0 0 2 0 0
02010

TFFTFTTTFTTTFFFT (expected value)

6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 (confidence rate)

TFFTFTTTFTTTFFFT
TTTTTTTTTTTTTTTT
--:-- / 144
TFFTFTTTFTTTFFFT
TTTTTTTTTTTTTTTT
--:-- / 144
TFFTFTTTFTTTFFFT
TTTTTTTTTTTTTTTT
--:P- / 144
CC

0
CC

0
TFFTFTTTFTTTFFFT
TTTTTTTTTTTTTTTT
--:-- / 144
TFFTFTTTFTTTFFFT
TTTTTTTTTTTTTTTT
--:-- / 144
TFFTFTTTFTTTFFFT
TTTTTTTTTTTTTTTT
--:-M / 144
CC

0
CC

0
10420

FFFTFFTTFTFTTFTT (expected value)

6.00 6.00 6.00 6.00 6.00 6.00 5.00 6.00 6.00 6.00 6.00 5.00 6.00 6.00 6.00 6.00 (confidence rate)

FFFTFFTTFTFTTFTT
TTTTTTTTTTTTTTTT
--:-- / 144
FFFTFFTTFTFTTFTT
TTTTTTTTTTTTTTTT
--:-- / 144
FFFTFF?TFTF?TFTT
TTTTTT-TTTT-TTTT
--:-- / 128
CC

0
CC

0
FFFTFFTTFTFTTFTT
TTTTTTTTTTTTTTTT
--:-- / 144
FFFTFFTTFTFTTFTT
TTTTTTTTTTTTTTTT
--:-- / 144
FFFTFFTTFTFTTFTT
TTTTTTTTTTTTTTTT
--:PM / 144
CC

0
CC

0
10421

FTFFFFFFTFTFTTTF (expected value)

6.00 6.00 5.00 6.00 6.00 5.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 (confidence rate)

FTFFFFFFTFTFTTTF
TTTTTTTTTTTTTTTT
--:-- / 144
FTFFFFFFTFTFTTTF
TTTTTTTTTTTTTTTT
--:PM / 144
FT?FF?FFTFTFTTTF
TT-TT-TTTTTTTTTT
--:-- / 128
CC

0
CC

0
FTFFFFFFTFTFTTTF
TTTTTTTTTTTTTTTT
--:-- / 144
FTFFFFFFTFTFTTTF
TTTTTTTTTTTTTTTT
--:-- / 144
FTFFFFFFTFTFTTTF
TTTTTTTTTTTTTTTT
--:-- / 144
CC

0
CC

0
HospitalTriage — P/T
  LTSMin Tapaal LoLA M4M.full M4M.struct ITS-Tools ITS-Tools.L GreatSPN Irma.full Irma.struct
Score 408 408 384 0 0 308 308 0 0 0
Road Runner 0 1 0 0 0 0 0 0 0 0
Camel 0 1 0 0 0 0 0 0 0 0
none

TTTFTFFTFFFFTTFF (expected value)

5.00 3.00 5.00 5.00 5.00 5.00 4.00 5.00 5.00 3.00 5.00 5.00 3.00 5.00 3.00 5.00 (confidence rate)

TTTFTFFTFFFFTTFF
TTTTTTTTTTTTTTTT
--:-- / 408
TTTFTFFTFFFFTTFF
TTTTTTTTTTTTTTTT
--:PM / 408
TTTFTF?TFFFFTTFF
TTTTTT-TTTTTTTTT
--:-- / 384
CC

0
CC

0
T?TFTFFTF?FF?T?F
T-TTTTTTT-TT-T-T
--:-- / 308
T?TFTFFTF?FF?T?F
T-TTTTTTT-TT-T-T
--:-- / 308
DNF

0
CC

0
CC

0
MAPKbis — P/T
  LTSMin Tapaal LoLA M4M.full M4M.struct ITS-Tools ITS-Tools.L GreatSPN Irma.full Irma.struct
Score 424 424 424 0 0 424 424 424 0 0
Road Runner 0 0 1 0 0 0 1 0 0 0
Camel 0 1 1 0 0 0 0 0 0 0
5310

FTTFTTTFFTFFTFFT (expected value)

6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 (confidence rate)

FTTFTTTFFTFFTFFT
TTTTTTTTTTTTTTTT
--:-- / 212
FTTFTTTFFTFFTFFT
TTTTTTTTTTTTTTTT
--:-- / 212
FTTFTTTFFTFFTFFT
TTTTTTTTTTTTTTTT
--:PM / 212
CC

0
CC

0
FTTFTTTFFTFFTFFT
TTTTTTTTTTTTTTTT
--:-- / 212
FTTFTTTFFTFFTFFT
TTTTTTTTTTTTTTTT
--:-- / 212
FTTFTTTFFTFFTFFT
TTTTTTTTTTTTTTTT
--:-- / 212
CC

0
CC

0
5320

FTTFTFFFTTTTFTFF (expected value)

6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 (confidence rate)

FTTFTFFFTTTTFTFF
TTTTTTTTTTTTTTTT
--:-- / 212
FTTFTFFFTTTTFTFF
TTTTTTTTTTTTTTTT
--:-M / 212
FTTFTFFFTTTTFTFF
TTTTTTTTTTTTTTTT
--:-- / 212
CC

0
CC

0
FTTFTFFFTTTTFTFF
TTTTTTTTTTTTTTTT
--:-- / 212
FTTFTFFFTTTTFTFF
TTTTTTTTTTTTTTTT
--:P- / 212
FTTFTFFFTTTTFTFF
TTTTTTTTTTTTTTTT
--:-- / 212
CC

0
CC

0
NQueens — P/T
  LTSMin Tapaal LoLA M4M.full M4M.struct ITS-Tools ITS-Tools.L GreatSPN Irma.full Irma.struct
Score 140 480 480 0 0 452 408 180 0 0
Road Runner 0 4 4 0 0 0 0 0 0 0
Camel 0 5 3 0 0 0 0 0 0 0
05

TTTFFTTFTTTTTFTF (expected value)

6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 (confidence rate)

TTTFFTTFTTTTTFTF
TTTTTTTTTTTTTTTT
--:-- / 60
TTTFFTTFTTTTTFTF
TTTTTTTTTTTTTTTT
--:-- / 60
TTTFFTTFTTTTTFTF
TTTTTTTTTTTTTTTT
--:PM / 60
CC

0
CC

0
TTTFFTTFTTTTTFTF
TTTTTTTTTTTTTTTT
--:-- / 60
TTTFFTTFTTTTTFTF
TTTTTTTTTTTTTTTT
--:-- / 60
TTTFFTTFTTTTTFTF
TTTTTTTTTTTTTTTT
--:-- / 60
CC

0
CC

0
08

TFTFTFFFFFFFFFTF (expected value)

6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 (confidence rate)

TFTFTFFFFFFFFFTF
TTTTTTTTTTTTTTTT
--:-- / 60
TFTFTFFFFFFFFFTF
TTTTTTTTTTTTTTTT
--:PM / 60
TFTFTFFFFFFFFFTF
TTTTTTTTTTTTTTTT
--:-- / 60
CC

0
CC

0
TFTFTFFFFFFFFFTF
TTTTTTTTTTTTTTTT
--:-- / 60
TFTFTFFFFFFFFFTF
TTTTTTTTTTTTTTTT
--:-- / 60
TFTFTFFFFFFFFFTF
TTTTTTTTTTTTTTTT
--:-- / 60
CC

0
CC

0
10

TFFTTTFFFFFTFTFT (expected value)

5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 6.00 6.00 5.00 5.00 (confidence rate)

????????????FT??
------------TT--
--:-- / 8
TFFTTTFFFFFTFTFT
TTTTTTTTTTTTTTTT
--:-- / 60
TFFTTTFFFFFTFTFT
TTTTTTTTTTTTTTTT
--:PM / 60
CC

0
CC

0
TFFTTTFFFFFTFTFT
TTTTTTTTTTTTTTTT
--:-- / 60
TFFTTTFFFFFTFTFT
TTTTTTTTTTTTTTTT
--:-- / 60
TFFTTTFFFFFTFTFT
TTTTTTTTTTTTTTTT
--:-- / 60
CC

0
CC

0
12

FTFFFTFFTFFTTFFT (expected value)

4.00 4.00 4.00 4.00 4.00 5.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 (confidence rate)

?????T??????????
-----T----------
--:-- / 4
FTFFFTFFTFFTTFFT
TTTTTTTTTTTTTTTT
--:-- / 60
FTFFFTFFTFFTTFFT
TTTTTTTTTTTTTTTT
--:PM / 60
CC

0
CC

0
FTFFFTFFTFFTTFFT
TTTTTTTTTTTTTTTT
--:-- / 60
FTFFFTFFTFFTTFFT
TTTTTTTTTTTTTTTT
--:-- / 60
DNF

0
CC

0
CC

0
15

TFFTTTFTFFFTFTTT (expected value)

4.00 4.00 4.00 4.00 4.00 4.00 4.00 5.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 (confidence rate)

???????T????????
-------T--------
--:-- / 4
TFFTTTFTFFFTFTTT
TTTTTTTTTTTTTTTT
--:-M / 60
TFFTTTFTFFFTFTTT
TTTTTTTTTTTTTTTT
--:P- / 60
CC

0
CC

0
TFFTTTFTFFFTFTTT
TTTTTTTTTTTTTTTT
--:-- / 60
TFFTTTFTFFFTFTTT
TTTTTTTTTTTTTTTT
--:-- / 60
DNF

0
CC

0
CC

0
20

FFTFTFFFFFTFFFTF (expected value)

4.00 4.00 4.00 4.00 5.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 (confidence rate)

????T???????????
----T-----------
--:-- / 4
FFTFTFFFFFTFFFTF
TTTTTTTTTTTTTTTT
--:PM / 60
FFTFTFFFFFTFFFTF
TTTTTTTTTTTTTTTT
--:-- / 60
CC

0
CC

0
FFTFTFFFFFTFFFTF
TTTTTTTTTTTTTTTT
--:-- / 60
FFTFTFFFFFTFFFTF
TTTTTTTTTTTTTTTT
--:-- / 60
DNF

0
CC

0
CC

0
25

FFTFFTTFTTTTFFTF (expected value)

3.00 3.00 3.00 3.00 3.00 3.00 3.00 3.00 2.00 3.00 3.00 3.00 2.00 3.00 2.00 2.00 (confidence rate)

????????????????
----------------
--:-- / 0
FFTFFTTFTTTTFFTF
TTTTTTTTTTTTTTTT
--:PM / 60
FFTFFTTFTTTTFFTF
TTTTTTTTTTTTTTTT
--:-- / 60
CC

0
CC

0
FFTFFTTF?TTT?F??
TTTTTTTT-TTT-T--
--:-- / 44
DNF

0
DNF

0
CC

0
CC

0
30

FFFFFTFTTTTFTTFF (expected value)

4.00 4.00 4.00 4.00 4.00 4.00 2.00 4.00 4.00 4.00 2.00 2.00 4.00 4.00 4.00 4.00 (confidence rate)

????????????????
----------------
--:-- / 0
FFFFFTFTTTTFTTFF
TTTTTTTTTTTTTTTT
--:PM / 60
FFFFFTFTTTTFTTFF
TTTTTTTTTTTTTTTT
--:-- / 60
CC

0
CC

0
FFFFFT?TTT??TTFF
TTTTTT-TTT--TTTT
--:-- / 48
FFFFFT?TTT??TTFF
TTTTTT-TTT--TTTT
--:-- / 48
DNF

0
CC

0
CC

0
RERS17pb113 — P/T
  LTSMin Tapaal LoLA M4M.full M4M.struct ITS-Tools ITS-Tools.L GreatSPN Irma.full Irma.struct
Score 20 488 448 0 0 20 8 0 0 0
Road Runner 0 5 2 0 0 0 0 0 0 0
Camel 0 5 2 0 0 0 0 0 0 0
1

FFTTFTFFFFFTF? TF (expected value)

3.00 2.00 1.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 0 1.00 2.00 (confidence rate)

????????????????
-------------?--
--:-- / 0
FFTTFTFFFFFTF?TF
TTTTTTTTTTTTT?TT
--:-- / 52
FF?TFTFFFFFTF??F
TT-TTTTTTTTTT?-T
--:-- / 44
CC

0
CC

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

0
DNF

0
CC

0
CC

0
2

FFFFFFTTFFFTFFFF (expected value)

4.00 2.00 3.00 1.00 2.00 3.00 3.00 2.00 2.00 2.00 2.00 3.00 2.00 2.00 2.00 2.00 (confidence rate)

??F??FT????T????
--T--TT----T----
--:-- / 12
FFFFFFTTFFFTFFFF
TTTTTTTTTTTTTTTT
--:PM / 56
FFF?FFTTFFFTFFFF
TTT-TTTTTTTTTTTT
--:-- / 52
CC

0
CC

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

0
CC

0
CC

0
3

FFTTTTFFFTTTFFTF (expected value)

3.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 (confidence rate)

????????????????
----------------
--:-- / 0
FFTTTTFFFTTTFFTF
TTTTTTTTTTTTTTTT
--:-- / 56
FFTTTTFFFTTTFFTF
TTTTTTTTTTTTTTTT
--:PM / 56
CC

0
CC

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

0
DNF

0
CC

0
CC

0
4

FTTTTTFFTFFFTFFF (expected value)

3.00 2.00 2.00 2.00 1.00 2.00 2.00 2.00 1.00 2.00 1.00 2.00 3.00 2.00 2.00 2.00 (confidence rate)

????????????T???
------------T---
--:-- / 4
FTTTTTFFTFFFTFFF
TTTTTTTTTTTTTTTT
--:PM / 56
FTTT?TFF?F?FTFFF
TTTT-TTT-T-TTTTT
--:-- / 44
CC

0
CC

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

0
DNF

0
CC

0
CC

0
5

TFFFTTTFFTFFFFTF (expected value)

1.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 1.00 2.00 2.00 (confidence rate)

????????????????
----------------
--:-- / 0
TFFFTTTFFTFFFFTF
TTTTTTTTTTTTTTTT
--:PM / 56
?FFFTTTFFTFFF?TF
-TTTTTTTTTTTT-TT
--:-- / 48
CC

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
CC

0
6

? TTFFTFFFFFFFT? F (expected value)

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

????????????????
?-------------?-
--:-- / 0
?TTFFTFFFFFFFT?F
?TTTTTTTTTTTTT?T
--:-- / 48
?TTFFTFFFFFFFT?F
?TTTTTTTTTTTTT?T
--:-- / 48
CC

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
CC

0
7

TFFFTFTFFFFFFFTF (expected value)

2.00 3.00 2.00 2.00 2.00 1.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 (confidence rate)

????????????????
----------------
--:-- / 0
TFFFTFTFFFFFFFTF
TTTTTTTTTTTTTTTT
--:PM / 56
TFFFT?TFFFFFFFTF
TTTTT-TTTTTTTTTT
--:-- / 52
CC

0
CC

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

0
DNF

0
CC

0
CC

0
8

TFFFFFFFTFTFFFFF (expected value)

2.00 2.00 2.00 2.00 1.00 2.00 2.00 2.00 2.00 3.00 2.00 2.00 2.00 2.00 2.00 2.00 (confidence rate)

?????????F??????
---------T------
--:-- / 4
TFFF?FFFTFTFFFFF
TTTT-TTTTTTTTTTT
--:-- / 52
TFFFFFFFTFTFFFFF
TTTTTTTTTTTTTTTT
--:PM / 56
CC

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
CC

0
9

TTTFFFFFTFTFFTTF (expected value)

3.00 2.00 2.00 2.00 2.00 2.00 2.00 1.00 1.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 (confidence rate)

????????????????
----------------
--:-- / 0
TTTFFFFFTFTFFTTF
TTTTTTTTTTTTTTTT
--:PM / 56
TTTFFFF??FTFFTTF
TTTTTTT--TTTTTTT
--:-- / 48
CC

0
CC

0
DNF

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

0
CC

0
CC

0
RERS17pb114 — P/T
  LTSMin Tapaal LoLA M4M.full M4M.struct ITS-Tools ITS-Tools.L GreatSPN Irma.full Irma.struct
Score 0 92 116 0 0 0 0 0 0 0
Road Runner 0 0 0 0 0 0 0 0 0 0
Camel 0 0 0 0 0 0 0 0 0 0
1

? TTTTF? FT? ? ? ? ? ? F (expected value)

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

????????????????
?-----?--??????-
--:-- / 0
?T?TTF?FT???????
?T-TTT?TT??????-
--:-- / 20
??T??F?FT??????F
?-T--T?TT??????T
--:-- / 16
CC

0
CC

0
DNF

0
DNF

0
CC

0
CC

0
CC

0
2

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

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

????????????????
????-???-??????-
--:-- / 0
????T???????????
????T???-??????-
--:-- / 4
????????T??????F
????-???T??????T
--:-- / 8
CC

0
CC

0
DNF

0
DNF

0
CC

0
CC

0
CC

0
3

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

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

????????????????
??--?-?--???????
--:-- / 0
?????T?TT???????
??--?T?TT???????
--:-- / 12
??FT???TT???????
??TT?-?TT???????
--:-- / 12
CC

0
CC

0
DNF

0
DNF

0
CC

0
CC

0
CC

0
4

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

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

????????????????
???-?--????????-
--:-- / 0
?????T??????????
???-?T-????????-
--:-- / 4
???T?TF????????T
???T?TT????????T
--:-- / 12
CC

0
CC

0
DNF

0
DNF

0
CC

0
CC

0
CC

0
5

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

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

????????????????
???--??--??????-
--:-- / 0
???FF??FT??????F
???TT??TT??????T
--:-- / 16
???FF??FT??????F
???TT??TT??????T
--:-- / 16
CC

0
CC

0
DNF

0
DNF

0
CC

0
CC

0
CC

0
6

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

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

????????????????
???-?--???-?????
--:-- / 0
?????FF?????????
???-?TT???-?????
--:-- / 8
???F?FF???F?????
???T?TT???T?????
--:-- / 12
CC

0
CC

0
DNF

0
DNF

0
CC

0
CC

0
CC

0
7

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

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

????????????????
???????-?-?--?--
--:-- / 0
?????????F??F?FT
???????-?T?-T?TT
--:-- / 12
???????T???T????
???????T?-?T-?--
--:-- / 8
CC

0
CC

0
DNF

0
DNF

0
CC

0
CC

0
CC

0
8

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

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

????????????????
-?????????--?-??
--:-- / 0
?????????????F??
-?????????--?T??
--:-- / 4
F?????????FT????
T?????????TT?-??
--:-- / 12
CC

0
CC

0
DNF

0
DNF

0
CC

0
CC

0
CC

0
9

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

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

????????????????
-??-???-??--???-
--:-- / 0
F??F???????F???T
T??T???-??-T???T
--:-- / 12
F??F???F??FF???T
T??T???T??TT???T
--:-- / 20
CC

0
CC

0
DNF

0
DNF

0
CC

0
CC

0
CC

0
RERS17pb115 — P/T
  LTSMin Tapaal LoLA M4M.full M4M.struct ITS-Tools ITS-Tools.L GreatSPN Irma.full Irma.struct
Score 4 120 200 0 0 0 0 0 0 0
Road Runner 0 0 0 0 0 0 0 0 0 0
Camel 0 0 0 0 0 0 0 0 0 0
1

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

0 2.00 2.00 1.00 0 3.00 0 1.00 0 2.00 0 1.00 0 1.00 2.00 0 (confidence rate)

?????F??????????
?---?T?-?-?-?--?
--:-- / 4
?TFF?F???T????F?
?TTT?T?-?T?-?-T?
--:-- / 20
?TF??F?F?T?F?FF?
?TT-?T?T?T?T?TT?
--:-- / 28
CC

0
CC

0
DNF

0
DNF

0
CC

0
CC

0
CC

0
2

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

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

????????????????
--?--???????-?-?
--:-- / 0
F??TF???????T?F?
T-?TT???????T?T?
--:-- / 16
?F?TF?????????F?
-T?TT???????-?T?
--:-- / 12
CC

0
CC

0
DNF

0
DNF

0
CC

0
CC

0
CC

0
3

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

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

????????????????
????---??--??-?-
--:-- / 0
????F?F??????F??
????T-T??--??T?-
--:-- / 12
????FFF??TT??F?F
????TTT??TT??T?T
--:-- / 24
CC

0
CC

0
DNF

0
DNF

0
CC

0
CC

0
CC

0
4

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

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

????????????????
????-????--?????
--:-- / 0
??????????F?????
????-????-T?????
--:-- / 4
????T????T??????
????T????T-?????
--:-- / 8
CC

0
CC

0
DNF

0
DNF

0
CC

0
CC

0
CC

0
5

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

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

????????????????
?---??-?--?-?-??
--:-- / 0
?F??????TT?T????
?T--??-?TT?T?-??
--:-- / 12
?FTF??F??T?T?T??
?TTT??T?-T?T?T??
--:-- / 24
CC

0
CC

0
DNF

0
CC

0
CC

0
CC

0
CC

0
6

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

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

????????????????
-?--?-?-?-??-??-
--:-- / 0
T????????T?????F
T?--?-?-?T??-??T
--:-- / 12
T?TF?F?F????F??F
T?TT?T?T?-??T??T
--:-- / 24
CC

0
CC

0
DNF

0
DNF

0
CC

0
CC

0
CC

0
7

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

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

????????????????
?-?----?-??-?--?
--:-- / 0
?F???F??F???????
?T?--T-?T??-?--?
--:-- / 12
???FFFF?F??T?TF?
?-?TTTT?T??T?TT?
--:-- / 28
CC

0
CC

0
DNF

0
DNF

0
CC

0
CC

0
CC

0
8

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

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

????????????????
??-?-?--????--?-
--:-- / 0
??F?F?FF????????
??T?T?TT????--?-
--:-- / 12
????F?FF????TT?T
??-?T?TT????TT?T
--:-- / 20
CC

0
CC

0
DNF

0
DNF

0
CC

0
CC

0
CC

0
9

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

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

????????????????
--??-?---?-??-?-
--:-- / 0
F???T??FT????T?F
T-??T?-TT?-??T?T
--:-- / 20
FT??T?TFT?F??T?F
TT??T?TTT?T??T?T
--:-- / 32
CC

0
CC

0
DNF

0
DNF

0
CC

0
CC

0
CC

0
RefineWMG — P/T
  LTSMin Tapaal LoLA M4M.full M4M.struct ITS-Tools ITS-Tools.L GreatSPN Irma.full Irma.struct
Score 56 576 568 0 0 360 356 0 0 0
Road Runner 0 7 7 0 0 2 0 0 0 0
Camel 0 9 7 0 0 0 0 0 0 0
002002

TFTFFTFFFFTFTTTF (expected value)

4.00 4.00 3.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 (confidence rate)

????????????????
----------------
--:-- / 0
TFTFFTFFFFTFTTTF
TTTTTTTTTTTTTTTT
--:PM / 36
TF?FFTFFFFTFTTTF
TT-TTTTTTTTTTTTT
--:-- / 32
CC

0
CC

0
TFTFFTFFFFTFTTTF
TTTTTTTTTTTTTTTT
--:-- / 36
TFTFFTFFFFTFTTTF
TTTTTTTTTTTTTTTT
--:-- / 36
CC

0
CC

0
CC

0
002003

FFTTFTTTTTTFTTTT (expected value)

4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 (confidence rate)

????????????????
----------------
--:-- / 0
FFTTFTTTTTTFTTTT
TTTTTTTTTTTTTTTT
--:-- / 36
FFTTFTTTTTTFTTTT
TTTTTTTTTTTTTTTT
--:PM / 36
CC

0
CC

0
FFTTFTTTTTTFTTTT
TTTTTTTTTTTTTTTT
--:-- / 36
FFTTFTTTTTTFTTTT
TTTTTTTTTTTTTTTT
--:-- / 36
CC

0
CC

0
CC

0
005005

FTTFFTFTTTTFFFFT (expected value)

4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 (confidence rate)

????????????????
----------------
--:-- / 0
FTTFFTFTTTTFFFFT
TTTTTTTTTTTTTTTT
--:-- / 36
FTTFFTFTTTTFFFFT
TTTTTTTTTTTTTTTT
--:PM / 36
CC

0
CC

0
FTTFFTFTTTTFFFFT
TTTTTTTTTTTTTTTT
--:-- / 36
FTTFFTFTTTTFFFFT
TTTTTTTTTTTTTTTT
--:-- / 36
CC

0
CC

0
CC

0
005006

TTTTFTFFTTFTFTFT (expected value)

4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 (confidence rate)

????????????????
----------------
--:-- / 0
TTTTFTFFTTFTFTFT
TTTTTTTTTTTTTTTT
--:-M / 36
TTTTFTFFTTFTFTFT
TTTTTTTTTTTTTTTT
--:-- / 36
CC

0
CC

0
TTTTFTFFTTFTFTFT
TTTTTTTTTTTTTTTT
--:P- / 36
TTTTFTFFTTFTFTFT
TTTTTTTTTTTTTTTT
--:-- / 36
CC

0
CC

0
CC

0
007007

FFFTTFTFFFFTTTTT (expected value)

4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 (confidence rate)

????????????????
----------------
--:-- / 0
FFFTTFTFFFFTTTTT
TTTTTTTTTTTTTTTT
--:-- / 36
FFFTTFTFFFFTTTTT
TTTTTTTTTTTTTTTT
--:PM / 36
CC

0
CC

0
FFFTTFTFFFFTTTTT
TTTTTTTTTTTTTTTT
--:-- / 36
FFFTTFTFFFFTTTTT
TTTTTTTTTTTTTTTT
--:-- / 36
CC

0
CC

0
CC

0
007008

FTTFTTFFFTTTTTFF (expected value)

4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 (confidence rate)

????????????????
----------------
--:-- / 0
FTTFTTFFFTTTTTFF
TTTTTTTTTTTTTTTT
--:-M / 36
FTTFTTFFFTTTTTFF
TTTTTTTTTTTTTTTT
--:-- / 36
CC

0
CC

0
FTTFTTFFFTTTTTFF
TTTTTTTTTTTTTTTT
--:P- / 36
FTTFTTFFFTTTTTFF
TTTTTTTTTTTTTTTT
--:-- / 36
CC

0
CC

0
CC

0
010010

FTFFFTTTTFFFFTFT (expected value)

2.00 2.00 2.00 4.00 2.00 2.00 2.00 2.00 2.00 4.00 2.00 4.00 1.00 4.00 3.00 4.00 (confidence rate)

????????????????
----------------
--:-- / 0
FTFFFTTTTFFFFTFT
TTTTTTTTTTTTTTTT
--:PM / 36
FTFFFTTTTFFF?TFT
TTTTTTTTTTTT-TTT
--:-- / 32
CC

0
CC

0
???F?????F?F?TFT
---T-----T-T-TTT
--:-- / 12
???F?????F?F?T?T
---T-----T-T-T-T
--:-- / 12
CC

0
CC

0
CC

0
010011

FFFFTFTTFTTFTTFF (expected value)

4.00 2.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 2.00 4.00 4.00 4.00 (confidence rate)

????????????????
----------------
--:-- / 0
FFFFTFTTFTTFTTFF
TTTTTTTTTTTTTTTT
--:-- / 36
FFFFTFTTFTTFTTFF
TTTTTTTTTTTTTTTT
--:PM / 36
CC

0
CC

0
F?FFTFTTFTTF?TFF
T-TTTTTTTTTT-TTT
--:-- / 32
F?FFTFTTFTTF?TFF
T-TTTTTTTTTT-TTT
--:-- / 32
CC

0
CC

0
CC

0
015015

TFTFFFTTFTFTFTFT (expected value)

4.00 2.00 2.00 4.00 2.00 2.00 4.00 2.00 2.00 4.00 2.00 4.00 2.00 2.00 4.00 4.00 (confidence rate)

????????????????
----------------
--:-- / 0
TFTFFFTTFTFTFTFT
TTTTTTTTTTTTTTTT
--:PM / 36
TFTFFFTTFTFTFTFT
TTTTTTTTTTTTTTTT
--:-- / 36
CC

0
CC

0
T??F??T??T?T??FT
T--T--T--T-T--TT
--:-- / 16
T??F??T??T?T??FT
T--T--T--T-T--TT
--:-- / 16
CC

0
CC

0
CC

0
015016

TTFFFFTTFTTFTFFF (expected value)

2.00 2.00 2.00 2.00 2.00 4.00 2.00 2.00 2.00 2.00 2.00 2.00 4.00 2.00 2.00 2.00 (confidence rate)

????????????????
----------------
--:-- / 0
TTFFFFTTFTTFTFFF
TTTTTTTTTTTTTTTT
--:-- / 36
TTFFFFTTFTTFTFFF
TTTTTTTTTTTTTTTT
--:PM / 36
CC

0
CC

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

0
CC

0
CC

0
025025

FTTFFTTTTTTFFFTT (expected value)

2.00 2.00 2.00 2.00 2.00 4.00 2.00 2.00 2.00 4.00 2.00 2.00 2.00 2.00 2.00 2.00 (confidence rate)

????????????????
----------------
--:-- / 0
FTTFFTTTTTTFFFTT
TTTTTTTTTTTTTTTT
--:PM / 36
FTTFFTTTTTTFFFTT
TTTTTTTTTTTTTTTT
--:-- / 36
CC

0
CC

0
?????T???T??????
-----T---T------
--:-- / 4
?????T???T??????
-----T---T------
--:-- / 4
CC

0
CC

0
CC

0
025026

FFFTTFTTTFFFTFFF (expected value)

2.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 3.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 (confidence rate)

????????????????
----------------
--:-- / 0
FFFTTFTTTFFFTFFF
TTTTTTTTTTTTTTTT
--:PM / 36
FFFTTFTTTFFFTFFF
TTTTTTTTTTTTTTTT
--:-- / 36
CC

0
CC

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

0
CC

0
CC

0
CC

0
050050

TFFTFFFFFFFFFFTT (expected value)

2.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 4.00 2.00 2.00 2.00 2.00 2.00 (confidence rate)

????????????????
----------------
--:-- / 0
TFFTFFFFFFFFFFTT
TTTTTTTTTTTTTTTT
--:-- / 36
TFFTFFFFFFFFFFTT
TTTTTTTTTTTTTTTT
--:PM / 36
CC

0
CC

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

0
CC

0
CC

0
050051

FTTTFTFFFFTTFTTF (expected value)

2.00 2.00 2.00 4.00 2.00 2.00 2.00 2.00 2.00 2.00 4.00 4.00 2.00 2.00 4.00 2.00 (confidence rate)

????????????????
----------------
--:-- / 0
FTTTFTFFFFTTFTTF
TTTTTTTTTTTTTTTT
--:PM / 36
FTTTFTFFFFTTFTTF
TTTTTTTTTTTTTTTT
--:-- / 36
CC

0
CC

0
???T??????TT??T?
---T------TT--T-
--:-- / 8
???T??????TT??T?
---T------TT--T-
--:-- / 8
CC

0
CC

0
CC

0
100100

FTFFFTFFTTFFFTTT (expected value)

5.00 5.00 5.00 4.00 5.00 5.00 5.00 4.00 5.00 5.00 5.00 3.00 4.00 3.00 4.00 4.00 (confidence rate)

FTF?FTF?TTF?F?TT
TTT-TTT-TTT-T-TT
--:-- / 28
FTFFFTFFTTFFFTTT
TTTTTTTTTTTTTTTT
--:-- / 36
FTFFFTFFTTFFFTTT
TTTTTTTTTTTTTTTT
--:PM / 36
CC

0
CC

0
FTFFFTFFTTFFFTTT
TTTTTTTTTTTTTTTT
--:-- / 36
FTFFFTFFTTF?????
TTTTTTTTTTT-----
--:-- / 24
DNF

0
CC

0
CC

0
100101

TFFFFTTFFFTFTTFT (expected value)

4.00 5.00 4.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 4.00 3.00 4.00 3.00 4.00 (confidence rate)

?F?FFTTFFFTF?T?T
-T-TTTTTTTTT-T-T
--:-- / 28
TFFFFTTFFFTFTTFT
TTTTTTTTTTTTTTTT
--:PM / 36
TFFFFTTFFFTFTTFT
TTTTTTTTTTTTTTTT
--:-- / 36
CC

0
CC

0
TFFFFTTFFFT?????
TTTTTTTTTTT-----
--:-- / 24
TFFFFTTFFFTFTTFT
TTTTTTTTTTTTTTTT
--:-- / 36
DNF

0
CC

0
CC

0

All «Known» models
 
  LTSMin Tapaal LoLA M4M.full M4M.struct ITS-Tools ITS-Tools.L GreatSPN Irma.full Irma.struct
Total Points 5243 9487 9107 5073 5754 7117 7047 4064 6053 6068
Road Runner 13 429 177 4 8 34 22 27 2 5
Camel 9 448 223 2 5 1 0 16 13 4
ARMCacheCoherence — P/T
  LTSMin Tapaal LoLA M4M.full M4M.struct ITS-Tools ITS-Tools.L GreatSPN Irma.full Irma.struct
Score 102 102 102 0 0 102 102 102 102 102
Road Runner 0 1 0 0 0 0 0 0 0 0
Camel 0 1 0 0 0 0 0 0 0 0
none

FTFTFFFTFFFFFTTT (expected value)

8.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 (confidence rate)

FTFTFFFTFFFFFTTT
TTTTTTTTTTTTTTTT
--:-- / 102
FTFTFFFTFFFFFTTT
TTTTTTTTTTTTTTTT
--:PM / 102
FTFTFFFTFFFFFTTT
TTTTTTTTTTTTTTTT
--:-- / 102
????????????????
----------------
--:-- / 0
????????????????
----------------
--:-- / 0
FTFTFFFTFFFFFTTT
TTTTTTTTTTTTTTTT
--:-- / 102
FTFTFFFTFFFFFTTT
TTTTTTTTTTTTTTTT
--:-- / 102
FTFTFFFTFFFFFTTT
TTTTTTTTTTTTTTTT
--:-- / 102
FTFTFFFTFFFFFTTT
TTTTTTTTTTTTTTTT
--:-- / 102
FTFTFFFTFFFFFTTT
TTTTTTTTTTTTTTTT
--:-- / 102
AirplaneLD — Colored
  LTSMin Tapaal LoLA M4M.full M4M.struct ITS-Tools ITS-Tools.L GreatSPN Irma.full Irma.struct
Score 0 72 71 42 42 71 72 8 40 40
Road Runner 0 7 0 0 0 1 0 1 0 0
Camel 0 7 2 0 0 0 0 0 0 0
0010

TFFTFFFFTTTTFTTF (expected value)

9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 (confidence rate)

DNC TFFTFFFFTTTTFTTF
TTTTTTTTTTTTTTTT
--:-M / 8
TFFTFFFFTTTTFTTF
TTTTTTTTTTTTTTTT
--:-- / 8
TFFTFFFFTTTTFTTF
TTTTTTTTTTTTTTTT
--:-- / 8
TFFTFFFFTTTTFTTF
TTTTTTTTTTTTTTTT
--:-- / 8
TFFTFFFFTTTTFTTF
TTTTTTTTTTTTTTTT
--:-- / 8
TFFTFFFFTTTTFTTF
TTTTTTTTTTTTTTTT
--:-- / 8
TFFTFFFFTTTTFTTF
TTTTTTTTTTTTTTTT
--:P- / 8
TFFTFFFFTTTTFTTF
TTTTTTTTTTTTTTTT
--:-- / 8
TFFTFFFFTTTTFTTF
TTTTTTTTTTTTTTTT
--:-- / 8
0020

FFFFTFTTTFTFFFFF (expected value)

4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 (confidence rate)

DNC FFFFTFTTTFTFFFFF
TTTTTTTTTTTTTTTT
--:PM / 8
FFFFTFTTTFTFFFFF
TTTTTTTTTTTTTTTT
--:-- / 8
CC

0
CC

0
FFFFTFTTTFTFFFFF
TTTTTTTTTTTTTTTT
--:-- / 8
FFFFTFTTTFTFFFFF
TTTTTTTTTTTTTTTT
--:-- / 8
CC

0
CC

0
CC

0
0050

TTFFTTFTFTFFFFFF (expected value)

4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 (confidence rate)

DNC TTFFTTFTFTFFFFFF
TTTTTTTTTTTTTTTT
--:P- / 8
TTFFTTFTFTFFFFFF
TTTTTTTTTTTTTTTT
--:-M / 8
CC

0
CC

0
TTFFTTFTFTFFFFFF
TTTTTTTTTTTTTTTT
--:-- / 8
TTFFTTFTFTFFFFFF
TTTTTTTTTTTTTTTT
--:-- / 8
CC

0
CC

0
CC

0
0100

TFFTTFFFTTFTFFFT (expected value)

4.00 4.00 4.00 4.00 4.00 3.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 (confidence rate)

DNC TFFTTFFFTTFTFFFT
TTTTTTTTTTTTTTTT
--:PM / 8
TFFTT?FFTTFTFFFT
TTTTT-TTTTTTTTTT
--:-- / 8
CC

0
CC

0
TFFTTFFFTTFTFFFT
TTTTTTTTTTTTTTTT
--:-- / 8
TFFTTFFFTTFTFFFT
TTTTTTTTTTTTTTTT
--:-- / 8
CC

0
CC

0
CC

0
0200

TTTFTFFFTTTFFFFF (expected value)

8.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 (confidence rate)

DNC TTTFTFFFTTTFFFFF
TTTTTTTTTTTTTTTT
--:PM / 8
TTTFTFFFTTTFFFFF
TTTTTTTTTTTTTTTT
--:-- / 8
TTTFTFFFTTTFFFFF
TTTTTTTTTTTTTTTT
--:-- / 8
TTTFTFFFTTTFFFFF
TTTTTTTTTTTTTTTT
--:-- / 8
TTTFTFFFTTTFFFFF
TTTTTTTTTTTTTTTT
--:-- / 8
TTTFTFFFTTTFFFFF
TTTTTTTTTTTTTTTT
--:-- / 8
CC

0
TTTFTFFFTTTFFFFF
TTTTTTTTTTTTTTTT
--:-- / 8
TTTFTFFFTTTFFFFF
TTTTTTTTTTTTTTTT
--:-- / 8
0500

TFFTTFTTTFFFFFFT (expected value)

8.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 (confidence rate)

DNC TFFTTFTTTFFFFFFT
TTTTTTTTTTTTTTTT
--:PM / 8
TFFTTFTTTFFFFFFT
TTTTTTTTTTTTTTTT
--:-- / 8
TFFTTFTTTFFFFFFT
TTTTTTTTTTTTTTTT
--:-- / 8
TFFTTFTTTFFFFFFT
TTTTTTTTTTTTTTTT
--:-- / 8
TFFTTFTTTFFFFFFT
TTTTTTTTTTTTTTTT
--:-- / 8
TFFTTFTTTFFFFFFT
TTTTTTTTTTTTTTTT
--:-- / 8
DNF

0
TFFTTFTTTFFFFFFT
TTTTTTTTTTTTTTTT
--:-- / 8
TFFTTFTTTFFFFFFT
TTTTTTTTTTTTTTTT
--:-- / 8
1000

FTFTFFFTFFFFFFFF (expected value)

8.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 (confidence rate)

DNC FTFTFFFTFFFFFFFF
TTTTTTTTTTTTTTTT
--:-- / 8
FTFTFFFTFFFFFFFF
TTTTTTTTTTTTTTTT
--:-M / 8
FTFTFFFTFFFFFFFF
TTTTTTTTTTTTTTTT
--:-- / 8
FTFTFFFTFFFFFFFF
TTTTTTTTTTTTTTTT
--:-- / 8
FTFTFFFTFFFFFFFF
TTTTTTTTTTTTTTTT
--:P- / 8
FTFTFFFTFFFFFFFF
TTTTTTTTTTTTTTTT
--:-- / 8
DNF

0
FTFTFFFTFFFFFFFF
TTTTTTTTTTTTTTTT
--:-- / 8
FTFTFFFTFFFFFFFF
TTTTTTTTTTTTTTTT
--:-- / 8
2000

TFTTFTFFFTFFFTFT (expected value)

8.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 (confidence rate)

DNC TFTTFTFFFTFFFTFT
TTTTTTTTTTTTTTTT
--:PM / 8
TFTTFTFFFTFFFTFT
TTTTTTTTTTTTTTTT
--:-- / 8
TFTTFTFFFTFFFTFT
TTTTTTTTTTTTTTTT
--:-- / 8
TFTTFTFFFTFFFTFT
TTTTTTTTTTTTTTTT
--:-- / 8
TFTTFTFFFTFFFTFT
TTTTTTTTTTTTTTTT
--:-- / 8
TFTTFTFFFTFFFTFT
TTTTTTTTTTTTTTTT
--:-- / 8
CC

0
TFTTFTFFFTFFFTFT
TTTTTTTTTTTTTTTT
--:-- / 8
TFTTFTFFFTFFFTFT
TTTTTTTTTTTTTTTT
--:-- / 8
4000

FFFTFTFTFFFTTFFT (expected value)

4.00 4.00 4.00 6.00 4.00 6.00 3.00 6.00 4.00 4.00 3.00 4.00 4.00 4.00 3.00 3.00 (confidence rate)

DNC FFFTFTFTFFFTTFFT
TTTTTTTTTTTTTTTT
--:PM / 8
FFFTFT?TFF?TTFFT
TTTTTT-TTT-TTTTT
--:-- / 7
???T?T?T????????
---T-T-T--------
--:-- / 2
???T?T?T????????
---T-T-T--------
--:-- / 2
FFFTFTFTFFFTTF??
TTTTTTTTTTTTTT--
--:-- / 7
FFFTFTFTFFFTTFFT
TTTTTTTTTTTTTTTT
--:-- / 8
CC

0
????????????????
----------------
--:-- / 0
????????????????
----------------
--:-- / 0
AirplaneLD — P/T
  LTSMin Tapaal LoLA M4M.full M4M.struct ITS-Tools ITS-Tools.L GreatSPN Irma.full Irma.struct
Score 40 72 72 34 42 66 66 24 40 40
Road Runner 0 7 0 0 0 0 1 1 0 0
Camel 0 8 1 0 0 0 0 0 0 0
0010

TFFTFFFFTFTTTTFF (expected value)

10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 (confidence rate)

TFFTFFFFTFTTTTFF
TTTTTTTTTTTTTTTT
--:-- / 8
TFFTFFFFTFTTTTFF
TTTTTTTTTTTTTTTT
--:-M / 8
TFFTFFFFTFTTTTFF
TTTTTTTTTTTTTTTT
--:-- / 8
TFFTFFFFTFTTTTFF
TTTTTTTTTTTTTTTT
--:-- / 8
TFFTFFFFTFTTTTFF
TTTTTTTTTTTTTTTT
--:-- / 8
TFFTFFFFTFTTTTFF
TTTTTTTTTTTTTTTT
--:-- / 8
TFFTFFFFTFTTTTFF
TTTTTTTTTTTTTTTT
--:-- / 8
TFFTFFFFTFTTTTFF
TTTTTTTTTTTTTTTT
--:P- / 8
TFFTFFFFTFTTTTFF
TTTTTTTTTTTTTTTT
--:-- / 8
TFFTFFFFTFTTTTFF
TTTTTTTTTTTTTTTT
--:-- / 8
0020

FFFFTFTTFTFTTTTF (expected value)

6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 (confidence rate)

FFFFTFTTFTFTTTTF
TTTTTTTTTTTTTTTT
--:-- / 8
FFFFTFTTFTFTTTTF
TTTTTTTTTTTTTTTT
--:PM / 8
FFFFTFTTFTFTTTTF
TTTTTTTTTTTTTTTT
--:-- / 8
CC

0
CC

0
FFFFTFTTFTFTTTTF
TTTTTTTTTTTTTTTT
--:-- / 8
FFFFTFTTFTFTTTTF
TTTTTTTTTTTTTTTT
--:-- / 8
FFFFTFTTFTFTTTTF
TTTTTTTTTTTTTTTT
--:-- / 8
CC

0
CC

0
0050

TTFFTTFTFTFTTFFT (expected value)

6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 (confidence rate)

TTFFTTFTFTFTTFFT
TTTTTTTTTTTTTTTT
--:-- / 8
TTFFTTFTFTFTTFFT
TTTTTTTTTTTTTTTT
--:PM / 8
TTFFTTFTFTFTTFFT
TTTTTTTTTTTTTTTT
--:-- / 8
CC

0
CC

0
TTFFTTFTFTFTTFFT
TTTTTTTTTTTTTTTT
--:-- / 8
TTFFTTFTFTFTTFFT
TTTTTTTTTTTTTTTT
--:-- / 8
TTFFTTFTFTFTTFFT
TTTTTTTTTTTTTTTT
--:-- / 8
CC

0
CC

0
0100

TFFTTFFFTTFTFFTF (expected value)

5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 (confidence rate)

TFFTTFFFTTFTFFTF
TTTTTTTTTTTTTTTT
--:-- / 8
TFFTTFFFTTFTFFTF
TTTTTTTTTTTTTTTT
--:-- / 8
TFFTTFFFTTFTFFTF
TTTTTTTTTTTTTTTT
--:-M / 8
CC

0
CC

0
TFFTTFFFTTFTFFTF
TTTTTTTTTTTTTTTT
--:-- / 8
TFFTTFFFTTFTFFTF
TTTTTTTTTTTTTTTT
--:P- / 8
CC

0
CC

0
CC

0
0200

TTTFTFFFFFTTTFFF (expected value)

9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 (confidence rate)

TTTFTFFFFFTTTFFF
TTTTTTTTTTTTTTTT
--:-- / 8
TTTFTFFFFFTTTFFF
TTTTTTTTTTTTTTTT
--:PM / 8
TTTFTFFFFFTTTFFF
TTTTTTTTTTTTTTTT
--:-- / 8
TTTFTFFFFFTTTFFF
TTTTTTTTTTTTTTTT
--:-- / 8
TTTFTFFFFFTTTFFF
TTTTTTTTTTTTTTTT
--:-- / 8
TTTFTFFFFFTTTFFF
TTTTTTTTTTTTTTTT
--:-- / 8
TTTFTFFFFFTTTFFF
TTTTTTTTTTTTTTTT
--:-- / 8
CC

0
TTTFTFFFFFTTTFFF
TTTTTTTTTTTTTTTT
--:-- / 8
TTTFTFFFFFTTTFFF
TTTTTTTTTTTTTTTT
--:-- / 8
0500

TFFTTFTTTTTFTTTT (expected value)

8.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 (confidence rate)

????????????????
----------------
--:-- / 0
TFFTTFTTTTTFTTTT
TTTTTTTTTTTTTTTT
--:PM / 8
TFFTTFTTTTTFTTTT
TTTTTTTTTTTTTTTT
--:-- / 8
TFFTTFTTTTTFTTTT
TTTTTTTTTTTTTTTT
--:-- / 8
TFFTTFTTTTTFTTTT
TTTTTTTTTTTTTTTT
--:-- / 8
TFFTTFTTTTTFTTTT
TTTTTTTTTTTTTTTT
--:-- / 8
TFFTTFTTTTTFTTTT
TTTTTTTTTTTTTTTT
--:-- / 8
DNF

0
TFFTTFTTTTTFTTTT
TTTTTTTTTTTTTTTT
--:-- / 8
TFFTTFTTTTTFTTTT
TTTTTTTTTTTTTTTT
--:-- / 8
1000

FTFTFFFTTTTTFTTF (expected value)

7.00 7.00 7.00 7.00 7.00 7.00 7.00 7.00 7.00 7.00 7.00 7.00 7.00 7.00 7.00 7.00 (confidence rate)

????????????????
----------------
--:-- / 0
FTFTFFFTTTTTFTTF
TTTTTTTTTTTTTTTT
--:PM / 8
FTFTFFFTTTTTFTTF
TTTTTTTTTTTTTTTT
--:-- / 8
CC

0
FTFTFFFTTTTTFTTF
TTTTTTTTTTTTTTTT
--:-- / 8
FTFTFFFTTTTTFTTF
TTTTTTTTTTTTTTTT
--:-- / 8
FTFTFFFTTTTTFTTF
TTTTTTTTTTTTTTTT
--:-- / 8
DNF

0
FTFTFFFTTTTTFTTF
TTTTTTTTTTTTTTTT
--:-- / 8
FTFTFFFTTTTTFTTF
TTTTTTTTTTTTTTTT
--:-- / 8
2000

TFTTFTFFTTTFTFFF (expected value)

8.00 8.00 6.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 (confidence rate)

????????????????
----------------
--:-- / 0
TFTTFTFFTTTFTFFF
TTTTTTTTTTTTTTTT
--:PM / 8
TFTTFTFFTTTFTFFF
TTTTTTTTTTTTTTTT
--:-- / 8
TFTTFTFFTTTFTFFF
TTTTTTTTTTTTTTTT
--:-- / 8
TFTTFTFFTTTFTFFF
TTTTTTTTTTTTTTTT
--:-- / 8
TFTTFTFFTTTFTFFF
TTTTTTTTTTTTTTTT
--:-- / 8
TFTTFTFFTTTFTFFF
TTTTTTTTTTTTTTTT
--:-- / 8
CC

0
TF?TFTFFTTTFTFFF
TT-TTTTTTTTTTTTT
--:-- / 8
TF?TFTFFTTTFTFFF
TT-TTTTTTTTTTTTT
--:-- / 8
4000

FFFTFTFTTFTFFFFF (expected value)

2.00 2.00 2.00 6.00 2.00 5.00 2.00 6.00 2.00 2.00 2.00 2.00 2.00 6.00 2.00 2.00 (confidence rate)

????????????????
----------------
--:-- / 0
FFFTFTFTTFTFFFFF
TTTTTTTTTTTTTTTT
--:PM / 8
FFFTFTFTTFTFFFFF
TTTTTTTTTTTTTTTT
--:-- / 8
???T???T?????F??
---T---T-----T--
--:-- / 2
???T?T?T?????F??
---T-T-T-----T--
--:-- / 2
???T?T?T?????F??
---T-T-T-----T--
--:-- / 2
???T?T?T?????F??
---T-T-T-----T--
--:-- / 2
CC

0
????????????????
----------------
--:-- / 0
????????????????
----------------
--:-- / 0
Angiogenesis — P/T
  LTSMin Tapaal LoLA M4M.full M4M.struct ITS-Tools ITS-Tools.L GreatSPN Irma.full Irma.struct
Score 96 119 119 85 85 96 96 34 85 85
Road Runner 0 6 0 0 0 0 0 1 0 0
Camel 0 5 2 0 0 0 0 0 0 0
01

FFFTFFTTFTTFFFFF (expected value)

10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 (confidence rate)

FFFTFFTTFTTFFFFF
TTTTTTTTTTTTTTTT
--:-- / 17
FFFTFFTTFTTFFFFF
TTTTTTTTTTTTTTTT
--:-M / 17
FFFTFFTTFTTFFFFF
TTTTTTTTTTTTTTTT
--:-- / 17
FFFTFFTTFTTFFFFF
TTTTTTTTTTTTTTTT
--:-- / 17
FFFTFFTTFTTFFFFF
TTTTTTTTTTTTTTTT
--:-- / 17
FFFTFFTTFTTFFFFF
TTTTTTTTTTTTTTTT
--:-- / 17
FFFTFFTTFTTFFFFF
TTTTTTTTTTTTTTTT
--:-- / 17
FFFTFFTTFTTFFFFF
TTTTTTTTTTTTTTTT
--:P- / 17
FFFTFFTTFTTFFFFF
TTTTTTTTTTTTTTTT
--:-- / 17
FFFTFFTTFTTFFFFF
TTTTTTTTTTTTTTTT
--:-- / 17
05

FFFTFTFTFTFFTTTT (expected value)

6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 (confidence rate)

FFFTFTFTFTFFTTTT
TTTTTTTTTTTTTTTT
--:-- / 17
FFFTFTFTFTFFTTTT
TTTTTTTTTTTTTTTT
--:PM / 17
FFFTFTFTFTFFTTTT
TTTTTTTTTTTTTTTT
--:-- / 17
CC

0
CC

0
FFFTFTFTFTFFTTTT
TTTTTTTTTTTTTTTT
--:-- / 17
FFFTFTFTFTFFTTTT
TTTTTTTTTTTTTTTT
--:-- / 17
FFFTFTFTFTFFTTTT
TTTTTTTTTTTTTTTT
--:-- / 17
CC

0
CC

0
10

TFTFTTTTTTTTTTTF (expected value)

5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 (confidence rate)

TFTFTTTTTTTTTTTF
TTTTTTTTTTTTTTTT
--:-- / 17
TFTFTTTTTTTTTTTF
TTTTTTTTTTTTTTTT
--:PM / 17
TFTFTTTTTTTTTTTF
TTTTTTTTTTTTTTTT
--:-- / 17
CC

0
CC

0
TFTFTTTTTTTTTTTF
TTTTTTTTTTTTTTTT
--:-- / 17
TFTFTTTTTTTTTTTF
TTTTTTTTTTTTTTTT
--:-- / 17
DNF

0
CC

0
CC

0
15

TFTFTTFFFTTTFFFF (expected value)

9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 (confidence rate)

TFTFTTFFFTTTFFFF
TTTTTTTTTTTTTTTT
--:-- / 17
TFTFTTFFFTTTFFFF
TTTTTTTTTTTTTTTT
--:PM / 17
TFTFTTFFFTTTFFFF
TTTTTTTTTTTTTTTT
--:-- / 17
TFTFTTFFFTTTFFFF
TTTTTTTTTTTTTTTT
--:-- / 17
TFTFTTFFFTTTFFFF
TTTTTTTTTTTTTTTT
--:-- / 17
TFTFTTFFFTTTFFFF
TTTTTTTTTTTTTTTT
--:-- / 17
TFTFTTFFFTTTFFFF
TTTTTTTTTTTTTTTT
--:-- / 17
DNF

0
TFTFTTFFFTTTFFFF
TTTTTTTTTTTTTTTT
--:-- / 17
TFTFTTFFFTTTFFFF
TTTTTTTTTTTTTTTT
--:-- / 17
20

FTTFFTTTTTFFFTFF (expected value)

9.00 9.00 9.00 7.00 9.00 9.00 9.00 9.00 7.00 8.00 9.00 7.00 8.00 7.00 7.00 8.00 (confidence rate)

FTTFFTTTT?FF?TF?
TTTTTTTTT-TT-TT-
--:-- / 14
FTTFFTTTTTFFFTFF
TTTTTTTTTTTTTTTT
--:P- / 17
FTTFFTTTTTFFFTFF
TTTTTTTTTTTTTTTT
--:-M / 17
FTTFFTTTTTFFFTFF
TTTTTTTTTTTTTTTT
--:-- / 17
FTTFFTTTTTFFFTFF
TTTTTTTTTTTTTTTT
--:-- / 17
FTT?FTTT?TF?F??F
TTT-TTTT-TT-T--T
--:-- / 12
FTT?FTTT?TF?F??F
TTT-TTTT-TT-T--T
--:-- / 12
DNF

0
FTTFFTTTTTFFFTFF
TTTTTTTTTTTTTTTT
--:-- / 17
FTTFFTTTTTFFFTFF
TTTTTTTTTTTTTTTT
--:-- / 17
25

FFFTTTTFTFFFFFFF (expected value)

9.00 7.00 6.00 8.00 7.00 6.00 6.00 7.00 6.00 6.00 8.00 9.00 9.00 8.00 9.00 6.00 (confidence rate)

FF??T??F???FF?F?
TT--T--T---TT-T-
--:-- / 7
FFFTTTTFTFFFFFFF
TTTTTTTTTTTTTTTT
--:PM / 17
FFFTTTTFTFFFFFFF
TTTTTTTTTTTTTTTT
--:-- / 17
FFFTTTTFTFFFFFFF
TTTTTTTTTTTTTTTT
--:-- / 17
FFFTTTTFTFFFFFFF
TTTTTTTTTTTTTTTT
--:-- / 17
F??T??????FFFFF?
T--T------TTTTT-
--:-- / 7
F??T??????FFFFF?
T--T------TTTTT-
--:-- / 7
DNF

0
FFFTTTTFTFFFFFFF
TTTTTTTTTTTTTTTT
--:-- / 17
FFFTTTTFTFFFFFFF
TTTTTTTTTTTTTTTT
--:-- / 17
50

TFFFFFTTFTFTTFFF (expected value)

8.00 9.00 7.00 9.00 8.00 6.00 7.00 8.00 7.00 6.00 8.00 6.00 8.00 7.00 9.00 6.00 (confidence rate)

?FFF??T?F????FF?
-TTT--T-T----TT-
--:-- / 7
TFFFFFTTFTFTTFFF
TTTTTTTTTTTTTTTT
--:P- / 17
TFFFFFTTFTFTTFFF
TTTTTTTTTTTTTTTT
--:-M / 17
TFFFFFTTFTFTTFFF
TTTTTTTTTTTTTTTT
--:-- / 17
TFFFFFTTFTFTTFFF
TTTTTTTTTTTTTTTT
--:-- / 17
TF?FF??T??F?T?F?
TT-TT--T--T-T-T-
--:-- / 9
TF?FF??T??F?T?F?
TT-TT--T--T-T-T-
--:-- / 9
DNF

0
TFFFFFTTFTFTTFFF
TTTTTTTTTTTTTTTT
--:-- / 17
TFFFFFTTFTFTTFFF
TTTTTTTTTTTTTTTT
--:-- / 17
AutoFlight — P/T
  LTSMin Tapaal LoLA M4M.full M4M.struct ITS-Tools ITS-Tools.L GreatSPN Irma.full Irma.struct
Score 116 160 154 105 105 125 114 75 92 95
Road Runner 0 18 0 0 0 1 0 1 0 0
Camel 0 16 4 0 0 0 0 0 0 0
01a

TTTFTTTFFTTFTTFF (expected value)

10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 (confidence rate)

TTTFTTTFFTTFTTFF
TTTTTTTTTTTTTTTT
--:-- / 8
TTTFTTTFFTTFTTFF
TTTTTTTTTTTTTTTT
--:PM / 8
TTTFTTTFFTTFTTFF
TTTTTTTTTTTTTTTT
--:-- / 8
TTTFTTTFFTTFTTFF
TTTTTTTTTTTTTTTT
--:-- / 8
TTTFTTTFFTTFTTFF
TTTTTTTTTTTTTTTT
--:-- / 8
TTTFTTTFFTTFTTFF
TTTTTTTTTTTTTTTT
--:-- / 8
TTTFTTTFFTTFTTFF
TTTTTTTTTTTTTTTT
--:-- / 8
TTTFTTTFFTTFTTFF
TTTTTTTTTTTTTTTT
--:-- / 8
TTTFTTTFFTTFTTFF
TTTTTTTTTTTTTTTT
--:-- / 8
TTTFTTTFFTTFTTFF
TTTTTTTTTTTTTTTT
--:-- / 8
01b

FFTTFTTFFTTTTTFT (expected value)

10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 (confidence rate)

FFTTFTTFFTTTTTFT
TTTTTTTTTTTTTTTT
--:-- / 8
FFTTFTTFFTTTTTFT
TTTTTTTTTTTTTTTT
--:PM / 8
FFTTFTTFFTTTTTFT
TTTTTTTTTTTTTTTT
--:-- / 8
FFTTFTTFFTTTTTFT
TTTTTTTTTTTTTTTT
--:-- / 8
FFTTFTTFFTTTTTFT
TTTTTTTTTTTTTTTT
--:-- / 8
FFTTFTTFFTTTTTFT
TTTTTTTTTTTTTTTT
--:-- / 8
FFTTFTTFFTTTTTFT
TTTTTTTTTTTTTTTT
--:-- / 8
FFTTFTTFFTTTTTFT
TTTTTTTTTTTTTTTT
--:-- / 8
FFTTFTTFFTTTTTFT
TTTTTTTTTTTTTTTT
--:-- / 8
FFTTFTTFFTTTTTFT
TTTTTTTTTTTTTTTT
--:-- / 8
02a

FTTFTTTFTTTTFFFF (expected value)

6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 (confidence rate)

FTTFTTTFTTTTFFFF
TTTTTTTTTTTTTTTT
--:-- / 8
FTTFTTTFTTTTFFFF
TTTTTTTTTTTTTTTT
--:-M / 8
FTTFTTTFTTTTFFFF
TTTTTTTTTTTTTTTT
--:-- / 8
CC

0
CC

0
FTTFTTTFTTTTFFFF
TTTTTTTTTTTTTTTT
--:-- / 8
FTTFTTTFTTTTFFFF
TTTTTTTTTTTTTTTT
--:-- / 8
FTTFTTTFTTTTFFFF
TTTTTTTTTTTTTTTT
--:P- / 8
CC

0
CC

0
02b

FTFFFTTFFTFFFFFT (expected value)

5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 (confidence rate)

FTFFFTTFFTFFFFFT
TTTTTTTTTTTTTTTT
--:-- / 8
FTFFFTTFFTFFFFFT
TTTTTTTTTTTTTTTT
--:PM / 8
FTFFFTTFFTFFFFFT
TTTTTTTTTTTTTTTT
--:-- / 8
CC

0
CC

0
FTFFFTTFFTFFFFFT
TTTTTTTTTTTTTTTT
--:-- / 8
FTFFFTTFFTFFFFFT
TTTTTTTTTTTTTTTT
--:-- / 8
DNF

0
CC

0
CC

0
03a

FFFTTFTTFFTFTFTF (expected value)

6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 (confidence rate)

FFFTTFTTFFTFTFTF
TTTTTTTTTTTTTTTT
--:-- / 8
FFFTTFTTFFTFTFTF
TTTTTTTTTTTTTTTT
--:PM / 8
FFFTTFTTFFTFTFTF
TTTTTTTTTTTTTTTT
--:-- / 8
CC

0
CC

0
FFFTTFTTFFTFTFTF
TTTTTTTTTTTTTTTT
--:-- / 8
FFFTTFTTFFTFTFTF
TTTTTTTTTTTTTTTT
--:-- / 8
FFFTTFTTFFTFTFTF
TTTTTTTTTTTTTTTT
--:-- / 8
CC

0
CC

0
03b

FTTFFFTTTFFTTFFF (expected value)

5.00 5.00 4.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 (confidence rate)

FTTFFFTTTFFTTFFF
TTTTTTTTTTTTTTTT
--:-- / 8
FTTFFFTTTFFTTFFF
TTTTTTTTTTTTTTTT
--:PM / 8
FT?FFFTTTFFTTFFF
TT-TTTTTTTTTTTTT
--:-- / 7
CC

0
CC

0
FTTFFFTTTFFTTFFF
TTTTTTTTTTTTTTTT
--:-- / 8
FTTFFFTTTFFTTFFF
TTTTTTTTTTTTTTTT
--:-- / 8
DNF

0
CC

0
CC

0
04a

FTFTTFFFTTTFTFFT (expected value)

6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 (confidence rate)

FTFTTFFFTTTFTFFT
TTTTTTTTTTTTTTTT
--:-- / 8
FTFTTFFFTTTFTFFT
TTTTTTTTTTTTTTTT
--:PM / 8
FTFTTFFFTTTFTFFT
TTTTTTTTTTTTTTTT
--:-- / 8
CC

0
CC

0
FTFTTFFFTTTFTFFT
TTTTTTTTTTTTTTTT
--:-- / 8
FTFTTFFFTTTFTFFT
TTTTTTTTTTTTTTTT
--:-- / 8
FTFTTFFFTTTFTFFT
TTTTTTTTTTTTTTTT
--:-- / 8
CC

0
CC

0
04b

FTFTTFFFFFTTFFFF (expected value)

4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 (confidence rate)

FTFTTFFFFFTTFFFF
TTTTTTTTTTTTTTTT
--:-- / 8
FTFTTFFFFFTTFFFF
TTTTTTTTTTTTTTTT
--:P- / 8
FTFTTFFFFFTTFFFF
TTTTTTTTTTTTTTTT
--:-M / 8
CC

0
CC

0
FTFTTFFFFFTTFFFF
TTTTTTTTTTTTTTTT
--:-- / 8
DNF

0
DNF

0
CC

0
CC

0
05a

FFFTFFTFFTFFFFTF (expected value)

10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 (confidence rate)

FFFTFFTFFTFFFFTF
TTTTTTTTTTTTTTTT
--:-- / 8
FFFTFFTFFTFFFFTF
TTTTTTTTTTTTTTTT
--:PM / 8
FFFTFFTFFTFFFFTF
TTTTTTTTTTTTTTTT
--:-- / 8
FFFTFFTFFTFFFFTF
TTTTTTTTTTTTTTTT
--:-- / 8
FFFTFFTFFTFFFFTF
TTTTTTTTTTTTTTTT
--:-- / 8
FFFTFFTFFTFFFFTF
TTTTTTTTTTTTTTTT
--:-- / 8
FFFTFFTFFTFFFFTF
TTTTTTTTTTTTTTTT
--:-- / 8
FFFTFFTFFTFFFFTF
TTTTTTTTTTTTTTTT
--:-- / 8
FFFTFFTFFTFFFFTF
TTTTTTTTTTTTTTTT
--:-- / 8
FFFTFFTFFTFFFFTF
TTTTTTTTTTTTTTTT
--:-- / 8
05b

FFFTTFTTFFTTFFTT (expected value)

8.00 8.00 8.00 9.00 9.00 8.00 8.00 9.00 7.00 8.00 7.00 8.00 8.00 8.00 8.00 8.00 (confidence rate)

??FTT??TF???FF?T
--TTT--TT---TT-T
--:-- / 4
FFFTTFTTFFTTFFTT
TTTTTTTTTTTTTTTT
--:PM / 8
FFFTTFTT?FTTFFTT
TTTTTTTT-TTTTTTT
--:-- / 7
FFFTTFTTFFTTFFTT
TTTTTTTTTTTTTTTT
--:-- / 8
FFFTTFTTFFTTFFTT
TTTTTTTTTTTTTTTT
--:-- / 8
FFFTTFTTFFTTFFTT
TTTTTTTTTTTTTTTT
--:-- / 8
FF?TTFTT?F?T??T?
TT-TTTTT-T-T--T-
--:-- / 5
DNF

0
FFFTTFTTFFTTFFTT
TTTTTTTTTTTTTTTT
--:-- / 8
FFFTTFTTFFTTFFTT
TTTTTTTTTTTTTTTT
--:-- / 8
06a

FFFFTFTFTFFFTTFT (expected value)

10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 (confidence rate)

FFFFTFTFTFFFTTFT
TTTTTTTTTTTTTTTT
--:-- / 8
FFFFTFTFTFFFTTFT
TTTTTTTTTTTTTTTT
--:-- / 8
FFFFTFTFTFFFTTFT
TTTTTTTTTTTTTTTT
--:-M / 8
FFFFTFTFTFFFTTFT
TTTTTTTTTTTTTTTT
--:-- / 8
FFFFTFTFTFFFTTFT
TTTTTTTTTTTTTTTT
--:-- / 8
FFFFTFTFTFFFTTFT
TTTTTTTTTTTTTTTT
--:P- / 8
FFFFTFTFTFFFTTFT
TTTTTTTTTTTTTTTT
--:-- / 8
FFFFTFTFTFFFTTFT
TTTTTTTTTTTTTTTT
--:-- / 8
FFFFTFTFTFFFTTFT
TTTTTTTTTTTTTTTT
--:-- / 8
FFFFTFTFTFFFTTFT
TTTTTTTTTTTTTTTT
--:-- / 8
06b

TTFFTTFTTFFTFTTF (expected value)

8.00 8.00 9.00 8.00 8.00 9.00 8.00 9.00 8.00 9.00 8.00 9.00 8.00 9.00 8.00 9.00 (confidence rate)

T?FF?T?T?F?T?T?F
T-TT-T-T-T-T-T-T
--:-- / 4
TTFFTTFTTFFTFTTF
TTTTTTTTTTTTTTTT
--:P- / 8
TTFFTTFTTFFTFTTF
TTTTTTTTTTTTTTTT
--:-M / 8
TTFFTTFTTFFTFTTF
TTTTTTTTTTTTTTTT
--:-- / 8
TTFFTTFTTFFTFTTF
TTTTTTTTTTTTTTTT
--:-- / 8
TTFFTTFTTFFTFTTF
TTTTTTTTTTTTTTTT
--:-- / 8
?TF?TTFTTFFTFTTF
-TT-TTTTTTTTTTTT
--:-- / 7
DNF

0
TTFFTTFTTFFTFTTF
TTTTTTTTTTTTTTTT
--:-- / 8
TTFFTTFTTFFTFTTF
TTTTTTTTTTTTTTTT
--:-- / 8
12a

FFTFFTFFTTTFTFTF (expected value)

10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 (confidence rate)

FFTFFTFFTTTFTFTF
TTTTTTTTTTTTTTTT
--:-- / 8
FFTFFTFFTTTFTFTF
TTTTTTTTTTTTTTTT
--:PM / 8
FFTFFTFFTTTFTFTF
TTTTTTTTTTTTTTTT
--:-- / 8
FFTFFTFFTTTFTFTF
TTTTTTTTTTTTTTTT
--:-- / 8
FFTFFTFFTTTFTFTF
TTTTTTTTTTTTTTTT
--:-- / 8
FFTFFTFFTTTFTFTF
TTTTTTTTTTTTTTTT
--:-- / 8
FFTFFTFFTTTFTFTF
TTTTTTTTTTTTTTTT
--:-- / 8
FFTFFTFFTTTFTFTF
TTTTTTTTTTTTTTTT
--:-- / 8
FFTFFTFFTTTFTFTF
TTTTTTTTTTTTTTTT
--:-- / 8
FFTFFTFFTTTFTFTF
TTTTTTTTTTTTTTTT
--:-- / 8
12b

FTFFTFFTTTFTTTFT (expected value)

4.00 7.00 7.00 7.00 4.00 7.00 4.00 4.00 5.00 7.00 7.00 7.00 4.00 7.00 7.00 5.00 (confidence rate)

?T???F?????????T
-T---T---------T
--:-- / 1
FTFFTFFTTTFTTTFT
TTTTTTTTTTTTTTTT
--:P- / 8
FTFFTFFTTTFTTTFT
TTTTTTTTTTTTTTTT
--:-M / 8
FTFFTFFTTTFTTTFT
TTTTTTTTTTTTTTTT
--:-- / 8
FTFFTFFTTTFTTTFT
TTTTTTTTTTTTTTTT
--:-- / 8
?TFF?F??TTFT?TF?
-TTT-T--TTTT-TT-
--:-- / 5
?TFF?F???TFT?TF?
-TTT-T---TTT-TT-
--:-- / 4
DNF

0
DNF

0
??FF?????TFT?TF?
--TT-----TTT-TT-
--:-- / 3
24a

FTFFTFFFFFTTFFTT (expected value)

9.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 (confidence rate)

FTFFTFFFFFTTFFTT
TTTTTTTTTTTTTTTT
--:-- / 8
FTFFTFFFFFTTFFTT
TTTTTTTTTTTTTTTT
--:PM / 8
?TFFTFFFFFTTFFTT
-TTTTTTTTTTTTTTT
--:-- / 7
FTFFTFFFFFTTFFTT
TTTTTTTTTTTTTTTT
--:-- / 8
FTFFTFFFFFTTFFTT
TTTTTTTTTTTTTTTT
--:-- / 8
FTFFTFFFFFTTFFTT
TTTTTTTTTTTTTTTT
--:-- / 8
FTFFTFFFFFTTFFTT
TTTTTTTTTTTTTTTT
--:-- / 8
FTFFTFFFFFTTFFTT
TTTTTTTTTTTTTTTT
--:-- / 8
FTFFTFFFFFTTFFTT
TTTTTTTTTTTTTTTT
--:-- / 8
FTFFTFFFFFTTFFTT
TTTTTTTTTTTTTTTT
--:-- / 8
24b

FFFTFTTTFTFTFTFF (expected value)

7.00 4.00 7.00 7.00 5.00 4.00 7.00 4.00 4.00 6.00 4.00 6.00 4.00 4.00 4.00 5.00 (confidence rate)

????F??????????F
----T----------T
--:-- / 1
FFFTFTTTFTFTFTFF
TTTTTTTTTTTTTTTT
--:PM / 8
FFFTFTTTFTFTFTFF
TTTTTTTTTTTTTTTT
--:-- / 8
FFFTFTTTFTFTFTFF
TTTTTTTTTTTTTTTT
--:-- / 8
FFFTFTTTFTFTFTFF
TTTTTTTTTTTTTTTT
--:-- / 8
DNF

0
F?FT??T?????????
T-TT--T---------
--:-- / 2
DNF

0
F?FT??T??T?T????
T-TT--T--T-T----
--:-- / 3
F?FT??T??T?T????
T-TT--T--T-T----
--:-- / 3
48a

TFFFFFTFTFTFTTFF (expected value)

10.00 10.00 10.00 10.00 10.00 10.00 9.00 8.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 (confidence rate)

TFFFFFTFTFTFTTFF
TTTTTTTTTTTTTTTT
--:-- / 8
TFFFFFTFTFTFTTFF
TTTTTTTTTTTTTTTT
--:PM / 8
TFFFFFT?TFTFTTFF
TTTTTTT-TTTTTTTT
--:-- / 7
TFFFFFTFTFTFTTFF
TTTTTTTTTTTTTTTT
--:-- / 8
TFFFFFTFTFTFTTFF
TTTTTTTTTTTTTTTT
--:-- / 8
TFFFFFTFTFTFTTFF
TTTTTTTTTTTTTTTT
--:-- / 8
TFFFFFTFTFTFTTFF
TTTTTTTTTTTTTTTT
--:-- / 8
TFFFFF??????????
TTTTTT----------
--:-- / 3
TFFFFFTFTFTFTTFF
TTTTTTTTTTTTTTTT
--:-- / 8
TFFFFFTFTFTFTTFF
TTTTTTTTTTTTTTTT
--:-- / 8
48b

FFFTTFFFTFTTTFFT (expected value)

6.00 6.00 6.00 1.00 7.00 6.00 6.00 2.00 6.00 6.00 6.00 6.00 7.00 6.00 6.00 6.00 (confidence rate)

????T???????T???
----T-------T---
--:-- / 1
FFFTTFFFTFTTTFFT
TTTTTTTTTTTTTTTT
--:PM / 8
FFF?TFFFTFTTTFFT
TTT-TTTTTTTTTTTT
--:-- / 7
FFF?TFF?TFTTTFFT
TTT-TTT-TTTTTTTT
--:-- / 7
FFF?TFF?TFTTTFFT
TTT-TTT-TTTTTTTT
--:-- / 7
DNF

0
DNF

0
DNF

0
FFF?TFF?TFTTTFFT
TTT-TTT-TTTTTTTT
--:-- / 7
FFF?TFF?TFTTTFFT
TTT-TTT-TTTTTTTT
--:-- / 7
96a

FFTFTTFFTTTTFFFF (expected value)

7.00 6.00 6.00 6.00 7.00 6.00 6.00 6.00 6.00 7.00 6.00 6.00 6.00 6.00 6.00 6.00 (confidence rate)

????T????T??????
----T----T------
--:-- / 1
FFTFTTFFTTTTFFFF
TTTTTTTTTTTTTTTT
--:PM / 8
FFTFTTFFTTTTFFFF
TTTTTTTTTTTTTTTT
--:-- / 8
FFTFTTFFTTTTFFFF
TTTTTTTTTTTTTTTT
--:-- / 8
FFTFTTFFTTTTFFFF
TTTTTTTTTTTTTTTT
--:-- / 8
DNF

0
DNF

0
F???????????????
T---------------
--:-- / 0
FFTFTTFFTTTTFFFF
TTTTTTTTTTTTTTTT
--:-- / 8
FFTFTTFFTTTTFFFF
TTTTTTTTTTTTTTTT
--:-- / 8
96b

TFTFTTTFFFTTTFFF (expected value)

6.00 5.00 2.00 6.00 4.00 6.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 (confidence rate)

????????????????
----------------
--:-- / 0
TFTFTTTFFFTTTFFF
TTTTTTTTTTTTTTTT
--:PM / 8
T?TFTTTFFFTTTFFF
T-TTTTTTTTTTTTTT
--:-- / 7
TF?FTT??????????
TT-TTT----------
--:-- / 2
TF?FTT??????????
TT-TTT----------
--:-- / 2
DNF

0
DNF

0
DNF

0
TF?F?T??????????
TT-T-T----------
--:-- / 2
TF?F?T??????????
TT-T-T----------
--:-- / 2
BART — Colored (first 8 formulas disabled + no check between colored and P/T)
  LTSMin Tapaal LoLA M4M.full M4M.struct ITS-Tools ITS-Tools.L GreatSPN Irma.full Irma.struct
Score 0 56 0 0 60 61 61 0 0 0
Road Runner 0 0 0 0 0 2 2 0 0 0
Camel 0 0 0 0 4 0 0 0 0 0
002

TTTFTFTTTFFTTTTT (expected value)

3.00 4.00 4.00 3.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 3.00 4.00 (confidence rate)

DNC ?TT?TFTTTFFTTT?T
-TT-TTTTTTTTTT-T
--:-- / 7
CC

0
CC

0
TTTFTFTTTFFTTTTT
TTTTTTTTTTTTTTTT
--:-M / 9
TTTFTFTTTFFTTTTT
TTTTTTTTTTTTTTTT
--:P- / 9
TTTFTFTTTFFTTTTT
TTTTTTTTTTTTTTTT
--:-- / 9
DNF

0
????????????????
----------------
--:-- / 0
????????????????
----------------
--:-- / 0
005

FTTFTFTTFTFTTFFF (expected value)

4.00 4.00 4.00 4.00 4.00 4.00 3.00 4.00 4.00 4.00 3.00 4.00 4.00 4.00 4.00 4.00 (confidence rate)

DNC FTTFTF?TFT?TTFFF
TTTTTT-TTT-TTTTT
--:-- / 8
CC

0
CC

0
FTTFTFTTFTFTTFFF
TTTTTTTTTTTTTTTT
--:-M / 9
FTTFTFTTFTFTTFFF
TTTTTTTTTTTTTTTT
--:-- / 9
FTTFTFTTFTFTTFFF
TTTTTTTTTTTTTTTT
--:P- / 9
DNF

0
????????????????
----------------
--:-- / 0
????????????????
----------------
--:-- / 0
010

TTFTFTTTTTTFFTFT (expected value)

4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 3.00 4.00 4.00 3.00 4.00 4.00 3.00 (confidence rate)

DNC TTFTFTTTT?TF?TF?
TTTTTTTTT-TT-TT-
--:-- / 7
CC

0
CC

0
TTFTFTTTTTTFFTFT
TTTTTTTTTTTTTTTT
--:-M / 9
TTFTFTTTTTTFFTFT
TTTTTTTTTTTTTTTT
--:-- / 9
TTFTFTTTTTTFFTFT
TTTTTTTTTTTTTTTT
--:P- / 9
DNF

0
????????????????
----------------
--:-- / 0
????????????????
----------------
--:-- / 0
020

FFTTFTFFTTTTTTFF (expected value)

4.00 4.00 3.00 4.00 4.00 4.00 4.00 4.00 3.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 (confidence rate)

DNC FF?TFTFF?TTTTTFF
TT-TTTTT-TTTTTTT
--:-- / 8
CC

0
CC

0
FFTTFTFFTTTTTTFF
TTTTTTTTTTTTTTTT
--:-M / 9
FFTTFTFFTTTTTTFF
TTTTTTTTTTTTTTTT
--:P- / 9
FFTTFTFFTTTTTTFF
TTTTTTTTTTTTTTTT
--:-- / 9
DNF

0
????????????????
----------------
--:-- / 0
????????????????
----------------
--:-- / 0
030

TFFT? TTTTFT? ? TF? (expected value)

2.00 4.00 4.00 4.00 0 4.00 4.00 4.00 4.00 1.00 4.00 0 0 4.00 1.00 0 (confidence rate)

DNC ?FFT?TTTTFT??TF?
-TTT?TTTTTT??TT?
--:-- / 6
CC

0
CC

0
?FFT?TTTT?T??T??
-TTT?TTTT-T??T-?
--:-- / 5
TFFT?TTTT?T??T??
TTTT?TTTT-T??T-?
--:-- / 6
TFFT?TTTT?T??T??
TTTT?TTTT-T??T-?
--:-- / 6
DNF

0
????????????????
----?------??--?
--:-- / 0
????????????????
----?------??--?
--:-- / 0
040

FFT? FF? ? FTFFT? TF (expected value)

3.00 4.00 4.00 0 4.00 4.00 0 0 4.00 1.00 1.00 3.00 4.00 0 4.00 4.00 (confidence rate)

DNC ?FT?FF??FTFFT?TF
-TT?TT??TTTTT?TT
--:-- / 6
CC

0
CC

0
FFT?FF??F??FT?TF
TTT?TT??T--TT?TT
--:-- / 6
FFT?FF??F??FT?TF
TTT?TT??T--TT?TT
--:-- / 6
FFT?FF??F???T?TF
TTT?TT??T---T?TT
--:-- / 5
DNF

0
????????????????
---?--??-----?--
--:-- / 0
????????????????
---?--??-----?--
--:-- / 0
050

? ? TT? TTT? TFTFTTF (expected value)

0 0 4.00 4.00 0 4.00 4.00 4.00 0 4.00 4.00 4.00 4.00 2.00 4.00 4.00 (confidence rate)

DNC ??TT?TTT?TFTFTTF
??TT?TTT?TTTTTTT
--:-- / 7
CC

0
CC

0
??TT?TTT?TFTF?TF
??TT?TTT?TTTT-TT
--:-- / 6
??TT?TTT?TFTF?TF
??TT?TTT?TTTT-TT
--:-- / 6
??TT?TTT?TFTFTTF
??TT?TTT?TTTTTTT
--:-- / 7
DNF

0
????????????????
??--?---?-------
--:-- / 0
????????????????
??--?---?-------
--:-- / 0
060

? TFTTTT? TFFTTT? F (expected value)

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

DNC ?TFTTTT?TFFTTT?F
?TTTTTT?TTTTTT?T
--:-- / 7
CC

0
CC

0
?TFTTTT?TFFTTT?F
?TTTTTT?TTTTTT?T
--:-- / 7
?TFTTTT?TFFTTT?F
?TTTTTT?TTTTTT?T
--:-- / 7
?TFTTTT?TFFTTT?F
?TTTTTT?TTTTTT?T
--:-- / 7
DNF

0
????????????????
?------?------?-
--:-- / 0
????????????????
?------?------?-
--:-- / 0
BART — P/T (first 8 formulas disabled + no check between colored and P/T)
  LTSMin Tapaal LoLA M4M.full M4M.struct ITS-Tools ITS-Tools.L GreatSPN Irma.full Irma.struct
Score 7 0 38 0 8 11 8 15 40 40
Road Runner 0 8 0 0 0 0 0 0 0 0
Camel 0 8 0 0 0 0 0 0 0 0
002

TTTFTFTTFFTTFFTT (expected value)

9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 8.00 9.00 9.00 9.00 (confidence rate)

TTTFTFTTFFTTFFTT
--------TTTTTTTT
--:-- / 5
TTTFTFTTFFTTFFTT
?
--:PM / 0
TTTFTFTTFFTT?FTT
--------TTTT-TTT
--:-- / 4
CC

0
TTTFTFTTFFTTFFTT
--------TTTTTTTT
--:-- / 5
TTTFTFTTFFTTFFTT
--------TTTTTTTT
--:-- / 5
TTTFTFTTFFTTFFTT
--------TTTTTTTT
--:-- / 5
TTTFTFTTFFTTFFTT
--------TTTTTTTT
--:-- / 5
TTTFTFTTFFTTFFTT
--------TTTTTTTT
--:-- / 5
TTTFTFTTFFTTFFTT
--------TTTTTTTT
--:-- / 5
005

FTTFTFTTTFTFTFTT (expected value)

7.00 8.00 8.00 8.00 8.00 7.00 7.00 8.00 5.00 5.00 5.00 7.00 7.00 5.00 7.00 8.00 (confidence rate)

???????????????T
---------------T
--:-- / 1
FTTFTFTTTFTFTFTT
?
--:PM / 0
FTTFTFTTTFTFTFTT
--------TTTTTTTT
--:-- / 5
CC

0
?TTFT??T????????
----------------
--:-- / 0
FTTFTFTT???FT?TT
-----------TT-TT
--:-- / 2
FTTFTFTT???FT?TT
-----------TT-TT
--:-- / 2
FTTFTFTTTFTFTFTT
--------TTTTTTTT
--:-- / 5
FTTFTFTTTFTFTFTT
--------TTTTTTTT
--:-- / 5
FTTFTFTTTFTFTFTT
--------TTTTTTTT
--:-- / 5
010

TTFTFTTTFFFFFFFF (expected value)

8.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 7.00 6.00 7.00 7.00 6.00 7.00 5.00 5.00 (confidence rate)

??????????F?F???
----------T-T---
--:-- / 1
TTFTFTTTFFFFFFFF
?
--:PM / 0
TTFTFTTTFFFFFFFF
--------TTTTTTTT
--:-- / 5
CC

0
TTFTFTTTF??F?F??
--------T--T-T--
--:-- / 2
TTFTFTTTFFFF?F??
--------TTTT-T--
--:-- / 3
TTFTFTTT????????
----------------
--:-- / 0
TTFTFTTTFFFFFFFF
--------TTTTTTTT
--:-- / 5
TTFTFTTTFFFFFFFF
--------TTTTTTTT
--:-- / 5
TTFTFTTTFFFFFFFF
--------TTTTTTTT
--:-- / 5
020

FFTTFTFFFTTFTFFF (expected value)

7.00 7.00 4.00 7.00 7.00 7.00 7.00 6.00 4.00 4.00 4.00 4.00 4.00 4.00 3.00 4.00 (confidence rate)

????????????????
----------------
--:-- / 0
FFTTFTFFFTTFTFFF
?
--:PM / 0
FFTTFTFFFTTFTF?F
--------TTTTTT-T
--:-- / 4
CC

0
FF?TFTFF????????
----------------
--:-- / 0
FF?TFTFF????????
----------------
--:-- / 0
FF?TFTF?????????
----------------
--:-- / 0
CC

0
FFTTFTFFFTTFTFFF
--------TTTTTTTT
--:-- / 5
FFTTFTFFFTTFTFFF
--------TTTTTTTT
--:-- / 5
030

TFFTTTTTFFFFTFFF (expected value)

4.00 7.00 7.00 7.00 4.00 7.00 7.00 7.00 4.00 4.00 4.00 4.00 7.00 4.00 4.00 4.00 (confidence rate)

????????????????
----------------
--:-- / 0
TFFTTTTTFFFFTFFF
?
--:PM / 0
TFFTTTTTFFFFTFFF
--------TTTTTTTT
--:-- / 5
CC

0
?FFT?TTT????T???
------------T---
--:-- / 1
?FFT?TTT????T???
------------T---
--:-- / 1
?FFT?TTT????T???
------------T---
--:-- / 1
CC

0
TFFTTTTTFFFFTFFF
--------TTTTTTTT
--:-- / 5
TFFTTTTTFFFFTFFF
--------TTTTTTTT
--:-- / 5
040

FFTTFFFFFFFTTTFT (expected value)

9.00 8.00 8.00 4.00 7.00 7.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 (confidence rate)

F???????????????
----------------
--:-- / 0
FFTTFFFFFFFTTTFT
?
--:PM / 0
FFTTFFFFFFFTTTFT
--------TTTTTTTT
--:-- / 5
CC

0
FFT?FF??????????
----------------
--:-- / 0
FFT?FF??????????
----------------
--:-- / 0
FFT?FF??????????
----------------
--:-- / 0
FFT?????????????
----------------
--:-- / 0
FFTTFFFFFFFTTTFT
--------TTTTTTTT
--:-- / 5
FFTTFFFFFFFTTTFT
--------TTTTTTTT
--:-- / 5
050

FTTTTTTTFFFFTFFT (expected value)

4.00 4.00 7.00 7.00 4.00 7.00 7.00 7.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 (confidence rate)

????????????????
----------------
--:-- / 0
FTTTTTTTFFFFTFFT
?
--:PM / 0
FTTTTTTTFFFFTFFT
--------TTTTTTTT
--:-- / 5
CC

0
??TT?TTT????????
----------------
--:-- / 0
??TT?TTT????????
----------------
--:-- / 0
??TT?TTT????????
----------------
--:-- / 0
CC

0
FTTTTTTTFFFFTFFT
--------TTTTTTTT
--:-- / 5
FTTTTTTTFFFFTFFT
--------TTTTTTTT
--:-- / 5
060

FTFTTTTTFFTFFTFF (expected value)

4.00 7.00 7.00 7.00 7.00 7.00 7.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 (confidence rate)

????????????????
----------------
--:-- / 0
FTFTTTTTFFTFFTFF
?
--:PM / 0
FTFTTTTTFFTFFTFF
--------TTTTTTTT
--:-- / 5
CC

0
?TFTTTT?????????
----------------
--:-- / 0
?TFTTTT?????????
----------------
--:-- / 0
?TFTTTT?????????
----------------
--:-- / 0
CC

0
FTFTTTTTFFTFFTFF
--------TTTTTTTT
--:-- / 5
FTFTTTTTFFTFFTFF
--------TTTTTTTT
--:-- / 5
BridgeAndVehicles — Colored
  LTSMin Tapaal LoLA M4M.full M4M.struct ITS-Tools ITS-Tools.L GreatSPN Irma.full Irma.struct
Score 0 98 97 48 44 71 72 20 72 72
Road Runner 0 12 2 0 0 0 0 0 0 0
Camel 0 12 2 0 0 0 0 0 0 0
V04P05N02

TFFTFTTTTTFTFFTF (expected value)

9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 (confidence rate)

DNC TFFTFTTTTTFTFFTF
TTTTTTTTTTTTTTTT
--:-- / 5
TFFTFTTTTTFTFFTF
TTTTTTTTTTTTTTTT
--:PM / 5
TFFTFTTTTTFTFFTF
TTTTTTTTTTTTTTTT
--:-- / 5
TFFTFTTTTTFTFFTF
TTTTTTTTTTTTTTTT
--:-- / 5
TFFTFTTTTTFTFFTF
TTTTTTTTTTTTTTTT
--:-- / 5
TFFTFTTTTTFTFFTF
TTTTTTTTTTTTTTTT
--:-- / 5
TFFTFTTTTTFTFFTF
TTTTTTTTTTTTTTTT
--:-- / 5
TFFTFTTTTTFTFFTF
TTTTTTTTTTTTTTTT
--:-- / 5
TFFTFTTTTTFTFFTF
TTTTTTTTTTTTTTTT
--:-- / 5
V10P10N10

FFFFTTFFFTTTFTTF (expected value)

5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 4.00 (confidence rate)

DNC FFFFTTFFFTTTFTTF
TTTTTTTTTTTTTTTT
--:PM / 5
FFFFTTFFFTTTFTT?
TTTTTTTTTTTTTTT-
--:-- / 5
CC

0
CC

0
FFFFTTFFFTTTFTTF
TTTTTTTTTTTTTTTT
--:-- / 5
FFFFTTFFFTTTFTTF
TTTTTTTTTTTTTTTT
--:-- / 5
FFFFTTFFFTTTFTTF
TTTTTTTTTTTTTTTT
--:-- / 5
CC

0
CC

0
V20P10N10

FFFTFTTFTTFTTFTF (expected value)

5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 (confidence rate)

DNC FFFTFTTFTTFTTFTF
TTTTTTTTTTTTTTTT
--:PM / 5
FFFTFTTFTTFTTFTF
TTTTTTTTTTTTTTTT
--:-- / 5
CC

0
CC

0
FFFTFTTFTTFTTFTF
TTTTTTTTTTTTTTTT
--:-- / 5
FFFTFTTFTTFTTFTF
TTTTTTTTTTTTTTTT
--:-- / 5
FFFTFTTFTTFTTFTF
TTTTTTTTTTTTTTTT
--:-- / 5
CC

0
CC

0
V20P10N20

TTFTFTTTTTFTTTTF (expected value)

4.00 4.00 4.00 3.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 (confidence rate)

DNC TTFTFTTTTTFTTTTF
TTTTTTTTTTTTTTTT
--:PM / 5
TTF?FTTTTTFTTTTF
TTT-TTTTTTTTTTTT
--:-- / 5
CC

0
CC

0
TTFTFTTTTTFTTTTF
TTTTTTTTTTTTTTTT
--:-- / 5
TTFTFTTTTTFTTTTF
TTTTTTTTTTTTTTTT
--:-- / 5
DNF

0
CC

0
CC

0
V20P10N50

TFFFTFFFTFTTTTTT (expected value)

4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 (confidence rate)

DNC TFFFTFFFTFTTTTTT
TTTTTTTTTTTTTTTT
--:PM / 5
TFFFTFFFTFTTTTTT
TTTTTTTTTTTTTTTT
--:-- / 5
CC

0
CC

0
TFFFTFFFTFTTTTTT
TTTTTTTTTTTTTTTT
--:-- / 5
TFFFTFFFTFTTTTTT
TTTTTTTTTTTTTTTT
--:-- / 5
DNF

0
CC

0
CC

0
V20P20N10

TFFTTFTTTTTFTTTF (expected value)

9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 (confidence rate)

DNC TFFTTFTTTTTFTTTF
TTTTTTTTTTTTTTTT
--:PM / 5
TFFTTFTTTTTFTTTF
TTTTTTTTTTTTTTTT
--:-- / 5
TFFTTFTTTTTFTTTF
TTTTTTTTTTTTTTTT
--:-- / 5
TFFTTFTTTTTFTTTF
TTTTTTTTTTTTTTTT
--:-- / 5
TFFTTFTTTTTFTTTF
TTTTTTTTTTTTTTTT
--:-- / 5
TFFTTFTTTTTFTTTF
TTTTTTTTTTTTTTTT
--:-- / 5
TFFTTFTTTTTFTTTF
TTTTTTTTTTTTTTTT
--:-- / 5
TFFTTFTTTTTFTTTF
TTTTTTTTTTTTTTTT
--:-- / 5
TFFTTFTTTTTFTTTF
TTTTTTTTTTTTTTTT
--:-- / 5
V20P20N20

FFFTTTTTTTFTFTFT (expected value)

8.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 (confidence rate)

DNC FFFTTTTTTTFTFTFT
TTTTTTTTTTTTTTTT
--:-- / 5
FFFTTTTTTTFTFTFT
TTTTTTTTTTTTTTTT
--:PM / 5
FFFTTTTTTTFTFTFT
TTTTTTTTTTTTTTTT
--:-- / 5
FFFTTTTTTTFTFTFT
TTTTTTTTTTTTTTTT
--:-- / 5
FFFTTTTTTTFTFTFT
TTTTTTTTTTTTTTTT
--:-- / 5
FFFTTTTTTTFTFTFT
TTTTTTTTTTTTTTTT
--:-- / 5
DNF

0
FFFTTTTTTTFTFTFT
TTTTTTTTTTTTTTTT
--:-- / 5
FFFTTTTTTTFTFTFT
TTTTTTTTTTTTTTTT
--:-- / 5
V20P20N50

TFFFFFFFTFFFFTFT (expected value)

8.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 7.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 (confidence rate)

DNC TFFFFFFFTFFFFTFT
TTTTTTTTTTTTTTTT
--:PM / 5
TFFFFFFF?FFFFTFT
TTTTTTTT-TTTTTTT
--:-- / 5
TFFFFFFFTFFFFTFT
TTTTTTTTTTTTTTTT
--:-- / 5
TFFFFFFFTFFFFTFT
TTTTTTTTTTTTTTTT
--:-- / 5
TFFFFFFFTFFFFTFT
TTTTTTTTTTTTTTTT
--:-- / 5
TFFFFFFFTFFFFTFT
TTTTTTTTTTTTTTTT
--:-- / 5
DNF

0
TFFFFFFFTFFFFTFT
TTTTTTTTTTTTTTTT
--:-- / 5
TFFFFFFFTFFFFTFT
TTTTTTTTTTTTTTTT
--:-- / 5
V50P20N10

FFTFTFFFTFFF? T? F (expected value)

8.00 8.00 4.00 8.00 8.00 1.00 8.00 8.00 4.00 8.00 4.00 4.00 0 4.00 0 4.00 (confidence rate)

DNC FFTFTFFFTFFF?T?F
TTTTTTTTTTTT?T?T
--:-- / 5
FFTFT?FFTFFF?T?F
TTTTT-TTTTTT?T?T
--:-- / 4
FF?FT?FF?F??????
TT-TT-TT-T--?-?-
--:-- / 2
FF?FT?FF?F??????
TT-TT-TT-T--?-?-
--:-- / 2
FF?FT?FF?F??????
TT-TT-TT-T--?-?-
--:-- / 2
FF?FT?FF?F??????
TT-TT-TT-T--?-?-
--:-- / 2
DNF

0
FFTFT?FFTFFF?T?F
TTTTT-TTTTTT?T?T
--:-- / 4
FFTFT?FFTFFF?T?F
TTTTT-TTTTTT?T?T
--:-- / 4
V50P20N20

FTFFFTTFFTTTFTTT (expected value)

7.00 4.00 8.00 7.00 7.00 4.00 7.00 4.00 4.00 4.00 7.00 4.00 7.00 7.00 7.00 4.00 (confidence rate)

DNC FTFFFTTFFTTTFTTT
TTTTTTTTTTTTTTTT
--:PM / 5
FTFFFTTFFTTTFTTT
TTTTTTTTTTTTTTTT
--:-- / 5
??F?????????????
--T-------------
--:-- / 0
F?FFF?T???T?FTT?
T-TTT-T---T-TTT-
--:-- / 3
F?FFF?T???T?FTT?
T-TTT-T---T-TTT-
--:-- / 3
F?FFF?T???T?FTT?
T-TTT-T---T-TTT-
--:-- / 3
DNF

0
FTFFFTTFFTTTFTTT
TTTTTTTTTTTTTTTT
--:-- / 5
FTFFFTTFFTTTFTTT
TTTTTTTTTTTTTTTT
--:-- / 5
V50P20N50

FTTFTTTTFFFFFTTT (expected value)

7.00 7.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 7.00 4.00 7.00 7.00 8.00 (confidence rate)

DNC FTTFTTTTFFFFFTTT
TTTTTTTTTTTTTTTT
--:PM / 5
FTTFTTTTFFFFFTTT
TTTTTTTTTTTTTTTT
--:-- / 5
FT?????????F?TTT
TT---------T-TTT
--:-- / 2
???????????????T
---------------T
--:-- / 0
FT?????????F?TTT
TT---------T-TTT
--:-- / 2
FT?????????F?TTT
TT---------T-TTT
--:-- / 2
DNF

0
FTTFTTTTFFFFFTTT
TTTTTTTTTTTTTTTT
--:-- / 5
FTTFTTTTFFFFFTTT
TTTTTTTTTTTTTTTT
--:-- / 5
V50P50N10

TFTTFFTFTTTFTFTF (expected value)

4.00 8.00 4.00 8.00 8.00 4.00 4.00 1.00 8.00 4.00 8.00 8.00 4.00 8.00 8.00 4.00 (confidence rate)

DNC TFTTFFTFTTTFTFTF
TTTTTTTTTTTTTTTT
--:PM / 5
TFTTFFT?TTTFTFTF
TTTTTTT-TTTTTTTT
--:-- / 5
?F?TF???T?TF?FT?
-T-TT---T-TT-TT-
--:-- / 3
?F?TF???T?TF?FT?
-T-TT---T-TT-TT-
--:-- / 3
?F?TF???T?TF?FT?
-T-TT---T-TT-TT-
--:-- / 3
?F?TF???T?TF?FT?
-T-TT---T-TT-TT-
--:-- / 3
DNF

0
TFTTFFT?TTTFTFTF
TTTTTTT-TTTTTTTT
--:-- / 5
TFTTFFT?TTTFTFTF
TTTTTTT-TTTTTTTT
--:-- / 5
V50P50N20

? TFFFFFFFFTFFTFT (expected value)

0 3.00 6.00 2.00 2.00 2.00 2.00 6.00 2.00 6.00 6.00 6.00 6.00 6.00 2.00 6.00 (confidence rate)

DNC ?TFFFFFFFFTFFTFT
?TTTTTTTTTTTTTTT
--:-- / 5
??FFFFFFFFTFFTFT
?-TTTTTTTTTTTTTT
--:-- / 5
??F????F?FTFFT?T
?-T----T-TTTTT-T
--:-- / 3
??F????F?FTFFT?T
?-T----T-TTTTT-T
--:-- / 3
?TF????F?FTFFT?T
?TT----T-TTTTT-T
--:-- / 3
?TF????F?FTFFT?T
?TT----T-TTTTT-T
--:-- / 3
DNF

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

FTFTFFTFTTTFFTFF (expected value)

8.00 8.00 4.00 8.00 8.00 4.00 8.00 8.00 8.00 8.00 4.00 8.00 8.00 8.00 7.00 8.00 (confidence rate)

DNC FTFTFFTFTTTFFTFF
TTTTTTTTTTTTTTTT
--:PM / 5
FTFTFFTFTTTFFT?F
TTTTTTTTTTTTTT-T
--:-- / 5
FT?TF?TFTT?FFTFF
TT-TT-TTTT-TTTTT
--:-- / 4
FT?TF?TFTT?FFTFF
TT-TT-TTTT-TTTTT
--:-- / 4
FT?TF?TFTT?FFTFF
TT-TT-TTTT-TTTTT
--:-- / 4
FT?TF?TFTT?FFTFF
TT-TT-TTTT-TTTTT
--:-- / 4
DNF

0
FTFTFFTFTTTFFTFF
TTTTTTTTTTTTTTTT
--:-- / 5
FTFTFFTFTTTFFTFF
TTTTTTTTTTTTTTTT
--:-- / 5
V80P20N10

FTTTTTTTFTFF? TFT (expected value)

4.00 8.00 8.00 4.00 4.00 8.00 4.00 6.00 8.00 4.00 8.00 8.00 0 4.00 4.00 8.00 (confidence rate)

DNC FTTTTTTTFTFF?TFT
TTTTTTTTTTTT?TTT
--:-- / 5
FTTTTTTTFTFF?TFT
TTTTTTTTTTTT?TTT
--:-- / 5
?TT??T??F?FF???T
-TT--T--T-TT?--T
--:-- / 2
?TT??T??F?FF???T
-TT--T--T-TT?--T
--:-- / 2
?TT??T?TF?FF???T
-TT--T-TT-TT?--T
--:-- / 3
?TT??T?TF?FF???T
-TT--T-TT-TT?--T
--:-- / 3
DNF

0
FTTTTTTTFTFF?TFT
TTTTTTTTTTTT?TTT
--:-- / 5
FTTTTTTTFTFF?TFT
TTTTTTTTTTTT?TTT
--:-- / 5
V80P20N20

FTTTTFTF? FTTTFFF (expected value)

7.00 8.00 7.00 4.00 4.00 4.00 4.00 4.00 0 4.00 8.00 7.00 7.00 4.00 4.00 4.00 (confidence rate)

DNC FTTTTFTF?FTTTFFF
TTTTTTTT?TTTTTTT
--:-- / 5
FTTTTFTF?FTTTFFF
TTTTTTTT?TTTTTTT
--:-- / 5
FTT???????TTT???
TTT-----?-TTT---
--:-- / 2
FTT???????TTT???
TTT-----?-TTT---
--:-- / 2
?T????????T?????
-T------?-T-----
--:-- / 1
FTT???????TTT???
TTT-----?-TTT---
--:-- / 2
DNF

0
FTTTTFTF?FTTTFFF
TTTTTTTT?TTTTTTT
--:-- / 5
FTTTTFTF?FTTTFFF
TTTTTTTT?TTTTTTT
--:-- / 5
V80P20N50

TTFFFFTFFFTFFTFT (expected value)

7.00 4.00 3.00 4.00 4.00 4.00 7.00 4.00 7.00 7.00 4.00 4.00 4.00 4.00 7.00 7.00 (confidence rate)

DNC TTFFFFTFFFTFFTFT
TTTTTTTTTTTTTTTT
--:PM / 5
TTFFFFTFFFTFFTFT
TTTTTTTTTTTTTTTT
--:-- / 5
T?????T?FF????FT
T-----T-TT----TT
--:-- / 2
DNF

0
T?????T?FF????FT
T-----T-TT----TT
--:-- / 2
T?????T?FF????FT
T-----T-TT----TT
--:-- / 2
DNF

0
TT?FFFTFFFTFFTFT
TT-TTTTTTTTTTTTT
--:-- / 5
TTFFFFTFFFTFFTFT
TTTTTTTTTTTTTTTT
--:-- / 5
V80P50N10

FTFTT? T? FTTF? TFT (expected value)

6.00 8.00 4.00 8.00 4.00 0 4.00 0 8.00 8.00 4.00 4.00 0 8.00 4.00 4.00 (confidence rate)

DNC FTFTT?T?FTTF?TFT
TTTTT?T?TTTT?TTT
--:-- / 4
FTFTT?T?FTTF?TFT
TTTTT?T?TTTT?TTT
--:-- / 4
?T?T????FT???T??
-T-T-?-?TT--?T--
--:-- / 2
?T?T????FT???T??
-T-T-?-?TT--?T--
--:-- / 2
FT?T????FT???T??
TT-T-?-?TT--?T--
--:-- / 2
FT?T????FT???T??
TT-T-?-?TT--?T--
--:-- / 2
DNF

0
FTFTT?T?FTTF?TFT
TTTTT?T?TTTT?TTT
--:-- / 4
FTFTT?T?FTTF?TFT
TTTTT?T?TTTT?TTT
--:-- / 4
V80P50N20

FF? FF? F? FTTFFFTT (expected value)

4.00 7.00 0 7.00 4.00 0 7.00 0 7.00 7.00 7.00 7.00 7.00 4.00 4.00 7.00 (confidence rate)

DNC FF?FF?F?FTTFFFTT
TT?TT?T?TTTTTTTT
--:-- / 4
FF?FF?F?FTTFFFTT
TT?TT?T?TTTTTTTT
--:-- / 4
?F?F??F?FTTFF??T
-T?T-?T?TTTTT--T
--:-- / 3
DNF

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

0
FF?FF?F?FTTFFFTT
TT?TT?T?TTTTTTTT
--:-- / 4
FF?FF?F?FTTFFFTT
TT?TT?T?TTTTTTTT
--:-- / 4
V80P50N50

FFTTTFFTTTFFTTTF (expected value)

4.00 4.00 8.00 8.00 8.00 8.00 8.00 4.00 8.00 8.00 8.00 8.00 4.00 4.00 4.00 4.00 (confidence rate)

DNC FFTTTFFTTTFFTTTF
TTTTTTTTTTTTTTTT
--:PM / 5
FFTTTFFTTTFFTTTF
TTTTTTTTTTTTTTTT
--:-- / 5
??TTTFF?TTFF????
--TTTTT-TTTT----
--:-- / 3
??TTTFF?TTFF????
--TTTTT-TTTT----
--:-- / 3
??TTTFF?TTFF????
--TTTTT-TTTT----
--:-- / 3
??TTTFF?TTFF????
--TTTTT-TTTT----
--:-- / 3
DNF

0
FFTTTFFTTTFFTTTF
TTTTTTTTTTTTTTTT
--:-- / 5
FFTTTFFTTTFFTTTF
TTTTTTTTTTTTTTTT
--:-- / 5
BridgeAndVehicles — P/T
  LTSMin Tapaal LoLA M4M.full M4M.struct ITS-Tools ITS-Tools.L GreatSPN Irma.full Irma.struct
Score 65 99 98 37 32 54 54 30 67 67
Road Runner 0 16 1 0 0 0 0 0 0 0
Camel 0 15 2 0 0 0 0 0 0 0
V04P05N02

TFFTFTTTFFTFTFTF (expected value)

10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 (confidence rate)

TFFTFTTTFFTFTFTF
TTTTTTTTTTTTTTTT
--:-- / 5
TFFTFTTTFFTFTFTF
TTTTTTTTTTTTTTTT
--:-- / 5
TFFTFTTTFFTFTFTF
TTTTTTTTTTTTTTTT
--:PM / 5
TFFTFTTTFFTFTFTF
TTTTTTTTTTTTTTTT
--:-- / 5
TFFTFTTTFFTFTFTF
TTTTTTTTTTTTTTTT
--:-- / 5
TFFTFTTTFFTFTFTF
TTTTTTTTTTTTTTTT
--:-- / 5
TFFTFTTTFFTFTFTF
TTTTTTTTTTTTTTTT
--:-- / 5
TFFTFTTTFFTFTFTF
TTTTTTTTTTTTTTTT
--:-- / 5
TFFTFTTTFFTFTFTF
TTTTTTTTTTTTTTTT
--:-- / 5
TFFTFTTTFFTFTFTF
TTTTTTTTTTTTTTTT
--:-- / 5
V10P10N10

FFFFTTFFTFFFFFFT (expected value)

6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 (confidence rate)

FFFFTTFFTFFFFFFT
TTTTTTTTTTTTTTTT
--:-- / 5
FFFFTTFFTFFFFFFT
TTTTTTTTTTTTTTTT
--:PM / 5
FFFFTTFFTFFFFFFT
TTTTTTTTTTTTTTTT
--:-- / 5
CC

0
CC

0
FFFFTTFFTFFFFFFT
TTTTTTTTTTTTTTTT
--:-- / 5
FFFFTTFFTFFFFFFT
TTTTTTTTTTTTTTTT
--:-- / 5
FFFFTTFFTFFFFFFT
TTTTTTTTTTTTTTTT
--:-- / 5
CC

0
CC

0
V20P10N10

FFFTFTTFTFFTFTFF (expected value)

6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 (confidence rate)

FFFTFTTFTFFTFTFF
TTTTTTTTTTTTTTTT
--:-- / 5
FFFTFTTFTFFTFTFF
TTTTTTTTTTTTTTTT
--:PM / 5
FFFTFTTFTFFTFTFF
TTTTTTTTTTTTTTTT
--:-- / 5
CC

0
CC

0
FFFTFTTFTFFTFTFF
TTTTTTTTTTTTTTTT
--:-- / 5
FFFTFTTFTFFTFTFF
TTTTTTTTTTTTTTTT
--:-- / 5
FFFTFTTFTFFTFTFF
TTTTTTTTTTTTTTTT
--:-- / 5
CC

0
CC

0
V20P10N20

TTFTFTTTTFTFFFFF (expected value)

4.00 4.00 5.00 4.00 5.00 4.00 4.00 4.00 5.00 5.00 5.00 5.00 4.00 5.00 4.00 4.00 (confidence rate)

TT?T?TTT????F?FF
TT-T-TTT----T-TT
--:-- / 3
TTFTFTTTTFTFFFFF
TTTTTTTTTTTTTTTT
--:PM / 5
TTFTFTTTTFTFFFFF
TTTTTTTTTTTTTTTT
--:-- / 5
CC

0
CC

0
??F?F???TFTF?F??
--T-T---TTTT-T--
--:-- / 2
??F?F???TFTF?F??
--T-T---TTTT-T--
--:-- / 2
TTFTFTTTTFTFFFFF
TTTTTTTTTTTTTTTT
--:-- / 5
CC

0
CC

0
V20P10N50

TFFFTFFFTTFTTFFF (expected value)

4.00 5.00 5.00 3.00 5.00 5.00 4.00 4.00 4.00 1.00 1.00 4.00 1.00 1.00 4.00 4.00 (confidence rate)

?FFFTF??????????
-TTTTT----------
--:-- / 2
TFFFTFFFTTFTTFFF
TTTTTTTTTTTTTTTT
--:PM / 5
TFFFTFFFT??T??FF
TTTTTTTTT--T--TT
--:-- / 4
CC

0
CC

0
TFF?TFFFT??T??FF
TTT-TTTTT--T--TT
--:-- / 4
TFF?TFFFT??T??FF
TTT-TTTTT--T--TT
--:-- / 4
DNF

0
CC

0
CC

0
V20P20N10

TFFTTFTTTFFTFTFF (expected value)

10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 (confidence rate)

TFFTTFTTTFFTFTFF
TTTTTTTTTTTTTTTT
--:-- / 5
TFFTTFTTTFFTFTFF
TTTTTTTTTTTTTTTT
--:PM / 5
TFFTTFTTTFFTFTFF
TTTTTTTTTTTTTTTT
--:-- / 5
TFFTTFTTTFFTFTFF
TTTTTTTTTTTTTTTT
--:-- / 5
TFFTTFTTTFFTFTFF
TTTTTTTTTTTTTTTT
--:-- / 5
TFFTTFTTTFFTFTFF
TTTTTTTTTTTTTTTT
--:-- / 5
TFFTTFTTTFFTFTFF
TTTTTTTTTTTTTTTT
--:-- / 5
TFFTTFTTTFFTFTFF
TTTTTTTTTTTTTTTT
--:-- / 5
TFFTTFTTTFFTFTFF
TTTTTTTTTTTTTTTT
--:-- / 5
TFFTTFTTTFFTFTFF
TTTTTTTTTTTTTTTT
--:-- / 5
V20P20N20

FFFTTTTTFFTFTTFF (expected value)

8.00 6.00 8.00 8.00 6.00 6.00 6.00 6.00 8.00 8.00 6.00 8.00 8.00 6.00 6.00 8.00 (confidence rate)

?F??TTTT??T??TF?
-T--TTTT--T--TT-
--:-- / 3
FFFTTTTTFFTFTTFF
TTTTTTTTTTTTTTTT
--:PM / 5
FFFTTTTTFFTFTTFF
TTTTTTTTTTTTTTTT
--:-- / 5
F?FT????FF?FT??F
T-TT----TT-TT--T
--:-- / 3
DNF

0
F?FT????FF?FT??F
T-TT----TT-TT--T
--:-- / 3
F?FT????FF?FT??F
T-TT----TT-TT--T
--:-- / 3
FFFTTTTTFFTFTTFF
TTTTTTTTTTTTTTTT
--:-- / 5
FFFTTTTTFFTFTTFF
TTTTTTTTTTTTTTTT
--:-- / 5
FFFTTTTTFFTFTTFF
TTTTTTTTTTTTTTTT
--:-- / 5
V20P20N50

TFFFFFFFFFTFFFTT (expected value)

3.00 4.00 3.00 3.00 4.00 6.00 5.00 4.00 3.00 3.00 5.00 1.00 5.00 1.00 5.00 5.00 (confidence rate)

TFFFF??FFF??????
TTTTT--TTT------
--:-- / 3
TFFFFFFFFFTFFFTT
TTTTTTTTTTTTTTTT
--:PM / 5
TFFFFFFFFFT?F?TT
TTTTTTTTTTT-T-TT
--:-- / 5
?????FF???T?F?TT
-----TT---T-T-TT
--:-- / 2
?????FF???T?F?TT
-----TT---T-T-TT
--:-- / 2
?????F??????????
-----T----------
--:-- / 0
?F??FFFF??T?F?TT
-T--TTTT--T-T-TT
--:-- / 3
DNF

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

FFTFTFFFTTFFFFFT (expected value)

7.00 7.00 5.00 7.00 7.00 3.00 7.00 7.00 5.00 7.00 5.00 7.00 7.00 7.00 5.00 7.00 (confidence rate)

??T??F??T?F???F?
--T--T--T-T---T-
--:-- / 2
FFTFTFFFTTFFFFFT
TTTTTTTTTTTTTTTT
--:PM / 5
FFTFTFFFTTFFFFFT
TTTTTTTTTTTTTTTT
--:-- / 5
DNF

0
FF?FT?FF?T?FFF?T
TT-TT-TT-T-TTT-T
--:-- / 4
FF?FT?FF?T?FFF?T
TT-TT-TT-T-TTT-T
--:-- / 4
FF?FT?FF?T?FFF?T
TT-TT-TT-T-TTT-T
--:-- / 4
DNF

0
FFTFT?FFTTFFFFFT
TTTTT-TTTTTTTTTT
--:-- / 5
FFTFT?FFTTFFFFFT
TTTTT-TTTTTTTTTT
--:-- / 5
V50P20N20

FTFFFTTFFFFFTFFF (expected value)

6.00 5.00 6.00 6.00 6.00 5.00 6.00 5.00 5.00 6.00 6.00 6.00 5.00 5.00 6.00 6.00 (confidence rate)

?T???T?FF???TF??
-T---T-TT---TT--
--:-- / 2
FTFFFTTFFFFFTFFF
TTTTTTTTTTTTTTTT
--:PM / 5
FTFFFTTFFFFFTFFF
TTTTTTTTTTTTTTTT
--:-- / 5
F?FFF?T??FFF??FF
T-TTT-T--TTT--TT
--:-- / 3
F?FFF?T??FFF??FF
T-TTT-T--TTT--TT
--:-- / 3
DNF

0
DNF

0
DNF

0
FTFFFTTFFFFFTFFF
TTTTTTTTTTTTTTTT
--:-- / 5
FTFFFTTFFFFFTFFF
TTTTTTTTTTTTTTTT
--:-- / 5
V50P20N50

FTTFTTTTTFFTFFFF (expected value)

7.00 7.00 5.00 5.00 5.00 5.00 5.00 4.00 5.00 5.00 5.00 4.00 5.00 7.00 5.00 5.00 (confidence rate)

??TFTTT?TFF?F?FF
--TTTTT-TTT-T-TT
--:-- / 4
FTTFTTTTTFFTFFFF
TTTTTTTTTTTTTTTT
--:PM / 5
FTTFTTTTTFFTFFFF
TTTTTTTTTTTTTTTT
--:-- / 5
FT???????????F??
TT-----------T--
--:-- / 1
FT???????????F??
TT-----------T--
--:-- / 1
FT???????????F??
TT-----------T--
--:-- / 1
DNF

0
DNF

0
FTTFTTTTTFFTFFFF
TTTTTTTTTTTTTTTT
--:-- / 5
FTTFTTTTTFFTFFFF
TTTTTTTTTTTTTTTT
--:-- / 5
V50P50N10

TFTTFFTFFFFTFFFF (expected value)

6.00 8.00 6.00 8.00 8.00 6.00 6.00 1.00 5.00 8.00 1.00 6.00 8.00 8.00 5.00 5.00 (confidence rate)

T?T??FT?F??T??FF
T-T--TT-T--T--TT
--:-- / 3
TFTTFFTFFFFTFFFF
TTTTTTTTTTTTTTTT
--:PM / 5
TFTTFFT?FF?TFFFF
TTTTTTT-TT-TTTTT
--:-- / 5
?F?TF????F??FF??
-T-TT----T--TT--
--:-- / 2
?F?TF????F??FF??
-T-TT----T--TT--
--:-- / 2
TFTTFFT??F?TFF??
TTTTTTT--T-TTT--
--:-- / 4
?F?TF????F??FF??
-T-TT----T--TT--
--:-- / 2
DNF

0
TFTTFFT?FF?TFFFF
TTTTTTT-TT-TTTTT
--:-- / 5
TFTTFFT?FF?TFFFF
TTTTTTT-TT-TTTTT
--:-- / 5
V50P50N20

? TFFFFFFFFTFFTTT (expected value)

0 4.00 5.00 3.00 3.00 3.00 3.00 5.00 5.00 3.00 5.00 5.00 3.00 3.00 3.00 5.00 (confidence rate)

?T?FFFF??F??FTT?
?T-TTTT--T--TTT-
--:-- / 3
?TFFFFFFFFTFFTTT
?TTTTTTTTTTTTTTT
--:-- / 5
??FFFFFFFFTFFTTT
?-TTTTTTTTTTTTTT
--:-- / 5
??F????FF?TF???T
?-T----TT-TT---T
--:-- / 2
DNF

0
?TF????FF?TF???T
?TT----TT-TT---T
--:-- / 2
?TF????FF?TF???T
?TT----TT-TT---T
--:-- / 2
DNF

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

FTFTFFTFTTFFFTFF (expected value)

6.00 8.00 5.00 8.00 6.00 2.00 6.00 6.00 5.00 5.00 6.00 6.00 2.00 5.00 5.00 4.00 (confidence rate)

??F??F??TT??FTF?
--T--T--TT--TTT-
--:-- / 2
FTFTFFTFTTFFFTFF
TTTTTTTTTTTTTTTT
--:PM / 5
FTFTF?TFTTFF?TFF
TTTTT-TTTTTT-TTT
--:-- / 5
FT?TF?TF??FF???F
TT-TT-TT--TT---T
--:-- / 3
?T?T????????????
-T-T------------
--:-- / 1
?T?T????????????
-T-T------------
--:-- / 1
FT?TF?TF??FF???F
TT-TT-TT--TT---T
--:-- / 3
DNF

0
FTFTF?TFTTFF?TF?
TTTTT-TTTTTT-TT-
--:-- / 4
FTFTF?TFTTFF?TF?
TTTTT-TTTTTT-TT-
--:-- / 4
V80P20N10

FTTTTTTTFTFFFFTF (expected value)

5.00 7.00 7.00 5.00 5.00 7.00 5.00 5.00 5.00 7.00 5.00 5.00 5.00 5.00 5.00 8.00 (confidence rate)

F??TT?TTF?FFFFT?
T--TT-TTT-TTTTT-
--:-- / 4
FTTTTTTTFTFFFFTF
TTTTTTTTTTTTTTTT
--:P- / 5
FTTTTTTTFTFFFFTF
TTTTTTTTTTTTTTTT
--:-M / 5
?TT??T???T?????F
-TT--T---T-----T
--:-- / 2
???????????????F
---------------T
--:-- / 0
?TT??T???T?????F
-TT--T---T-----T
--:-- / 2
?TT??T???T?????F
-TT--T---T-----T
--:-- / 2
DNF

0
FTTTTTTTFTFFFFTF
TTTTTTTTTTTTTTTT
--:-- / 5
FTTTTTTTFTFFFFTF
TTTTTTTTTTTTTTTT
--:-- / 5
V80P20N20

FTTTTFTFTFTTFFFF (expected value)

8.00 8.00 8.00 5.00 5.00 2.00 5.00 5.00 5.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 (confidence rate)

???TTFTFT???????
---TTTTTT-------
--:-- / 2
FTTTTFTFTFTTFFFF
TTTTTTTTTTTTTTTT
--:PM / 5
FTTTT?TFTFTTFFFF
TTTTT-TTTTTTTTTT
--:-- / 5
FTT??????FTTFFFF
TTT------TTTTTTT
--:-- / 3
FTT??????FTTFFFF
TTT------TTTTTTT
--:-- / 3
FTT??????FTTFFFF
TTT------TTTTTTT
--:-- / 3
FTT??????FTTFFFF
TTT------TTTTTTT
--:-- / 3
DNF

0
FTTTT?TFTFTTFFFF
TTTTT-TTTTTTTTTT
--:-- / 5
FTTTT?TFTFTTFFFF
TTTTT-TTTTTTTTTT
--:-- / 5
V80P20N50

TTFFFFTFTTFTFFTF (expected value)

8.00 5.00 2.00 5.00 5.00 5.00 8.00 5.00 8.00 8.00 5.00 5.00 5.00 5.00 5.00 5.00 (confidence rate)

?TFFFF?F??FTFFTF
-TTTTT-T--TTTTTT
--:-- / 4
TTFFFFTFTTFTFFTF
TTTTTTTTTTTTTTTT
--:PM / 5
TT?FFFTFTTFTFFTF
TT-TTTTTTTTTTTTT
--:-- / 5
T?????T?TT??????
T-----T-TT------
--:-- / 1
T?????T?TT??????
T-----T-TT------
--:-- / 1
T?????T?TT??????
T-----T-TT------
--:-- / 1
T?????T?TT??????
T-----T-TT------
--:-- / 1
DNF

0
TT?FFFTFTTFTFFTF
TT-TTTTTTTTTTTTT
--:-- / 5
TT?FFFTFTTFTFFTF
TT-TTTTTTTTTTTTT
--:-- / 5
V80P50N10

FTFTT? T? FFTFTFFF (expected value)

5.00 6.00 5.00 6.00 5.00 0 5.00 0 5.00 6.00 6.00 6.00 5.00 3.00 5.00 3.00 (confidence rate)

F?F?T?T?F???TFFF
T-T-T?T?T---TTTT
--:-- / 3
FTFTT?T?FFTFTFFF
TTTTT?T?TTTTTTTT
--:-- / 5
FTFTT?T?FFTFTFFF
TTTTT?T?TTTTTTTT
--:-- / 5
DNF

0
DNF

0
?T?T?????FTF????
-T-T-?-?-TTT----
--:-- / 2
?T?T?????FTF????
-T-T-?-?-TTT----
--:-- / 2
DNF

0
FTFTT?T?FFTFT?F?
TTTTT?T?TTTTT-T-
--:-- / 4
FTFTT?T?FFTFT?F?
TTTTT?T?TTTTT-T-
--:-- / 4
V80P50N20

FF? FF? F? FFFTFFTF (expected value)

4.00 7.00 0 7.00 5.00 0 7.00 0 5.00 7.00 5.00 7.00 5.00 5.00 5.00 5.00 (confidence rate)

????F???F?F?FFTF
--?-T?-?T-T-TTTT
--:-- / 2
FF?FF?F?FFFTFFTF
TT?TT?T?TTTTTTTT
--:-- / 4
FF?FF?F?FFFTFFTF
TT?TT?T?TTTTTTTT
--:-- / 4
?F?F??F??F?T????
-T?T-?T?-T-T----
--:-- / 2
?F?F??F??F?T????
-T?T-?T?-T-T----
--:-- / 2
?F?F??F??F?T????
-T?T-?T?-T-T----
--:-- / 2
DNF

0
DNF

0
FF?FF?F?FFFTFFTF
TT?TT?T?TTTTTTTT
--:-- / 4
FF?FF?F?FFFTFFTF
TT?TT?T?TTTTTTTT
--:-- / 4
V80P50N50

FFTTTFFTFTFFTTFF (expected value)

5.00 5.00 8.00 8.00 8.00 8.00 8.00 5.00 8.00 5.00 8.00 8.00 5.00 2.00 5.00 5.00 (confidence rate)

FF?????T?T??TTFF
TT-----T-T--TTTT
--:-- / 3
FFTTTFFTFTFFTTFF
TTTTTTTTTTTTTTTT
--:PM / 5
FFTTTFFTFTFFT?FF
TTTTTTTTTTTTT-TT
--:-- / 5
??TTTFF?F?FF????
--TTTTT-T-TT----
--:-- / 3
??TTTFF?F?FF????
--TTTTT-T-TT----
--:-- / 3
??TTTFF?F?FF????
--TTTTT-T-TT----
--:-- / 3
??TTTFF?F?FF????
--TTTTT-T-TT----
--:-- / 3
DNF

0
FFTTTFFTFTFFT?FF
TTTTTTTTTTTTT-TT
--:-- / 5
FFTTTFFTFTFFT?FF
TTTTTTTTTTTTT-TT
--:-- / 5
CSRepetitions — Colored
  LTSMin Tapaal LoLA M4M.full M4M.struct ITS-Tools ITS-Tools.L GreatSPN Irma.full Irma.struct
Score 0 66 62 44 44 45 29 33 44 44
Road Runner 0 5 1 0 0 0 0 0 0 0
Camel 0 5 1 0 0 0 0 0 0 0
02

FFTFTFFTTFTTFTTF (expected value)

8.00 9.00 9.00 9.00 9.00 9.00 9.00 8.00 9.00 9.00 8.00 9.00 9.00 9.00 9.00 9.00 (confidence rate)

DNC FFTFTFFTTFTTFTTF
TTTTTTTTTTTTTTTT
--:PM / 11
?FTFTFF?TF?TFTTF
-TTTTTT-TT-TTTTT
--:-- / 9
FFTFTFFTTFTTFTTF
TTTTTTTTTTTTTTTT
--:-- / 11
FFTFTFFTTFTTFTTF
TTTTTTTTTTTTTTTT
--:-- / 11
FFTFTFFTTFTTFTTF
TTTTTTTTTTTTTTTT
--:-- / 11
FFTFTFFTTFTTFTTF
TTTTTTTTTTTTTTTT
--:-- / 11
FFTFTFFTTFTTFTTF
TTTTTTTTTTTTTTTT
--:-- / 11
FFTFTFFTTFTTFTTF
TTTTTTTTTTTTTTTT
--:-- / 11
FFTFTFFTTFTTFTTF
TTTTTTTTTTTTTTTT
--:-- / 11
03

FFFTFFTTFFFTFFTT (expected value)

5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 (confidence rate)

DNC FFFTFFTTFFFTFFTT
TTTTTTTTTTTTTTTT
--:-- / 11
FFFTFFTTFFFTFFTT
TTTTTTTTTTTTTTTT
--:PM / 11
CC

0
CC

0
FFFTFFTTFFFTFFTT
TTTTTTTTTTTTTTTT
--:-- / 11
FFFTFFTTFFFTFFTT
TTTTTTTTTTTTTTTT
--:-- / 11
FFFTFFTTFFFTFFTT
TTTTTTTTTTTTTTTT
--:-- / 11
CC

0
CC

0
04

TFFFFTTFTFFTTTTT (expected value)

4.00 5.00 3.00 5.00 4.00 5.00 4.00 4.00 5.00 4.00 4.00 4.00 4.00 4.00 4.00 5.00 (confidence rate)

DNC TFFFFTTFTFFTTTTT
TTTTTTTTTTTTTTTT
--:PM / 11
TF?FFTTFTFFTTTTT
TT-TTTTTTTTTTTTT
--:-- / 10
CC

0
CC

0
TFFFFTTFTFFTTTTT
TTTTTTTTTTTTTTTT
--:-- / 11
?F?F?T??T??????T
-T-T-T--T------T
--:-- / 3
TFFFFTTFTFFTTTTT
TTTTTTTTTTTTTTTT
--:-- / 11
CC

0
CC

0
05

FTFTTFFFTFFFFFTF (expected value)

8.00 7.00 7.00 7.00 8.00 8.00 7.00 7.00 7.00 7.00 7.00 8.00 7.00 7.00 7.00 7.00 (confidence rate)

DNC FTFTTFFFTFFFFFTF
TTTTTTTTTTTTTTTT
--:PM / 11
FTFTTFFFTFFFFFTF
TTTTTTTTTTTTTTTT
--:-- / 11
FTFTTFFFTFFFFFTF
TTTTTTTTTTTTTTTT
--:-- / 11
FTFTTFFFTFFFFFTF
TTTTTTTTTTTTTTTT
--:-- / 11
FTFTTFFFTFFFFFTF
TTTTTTTTTTTTTTTT
--:-- / 11
F???TF?????F????
T---TT-----T----
--:-- / 3
DNF

0
FTFTTFFFTFFFFFTF
TTTTTTTTTTTTTTTT
--:-- / 11
FTFTTFFFTFFFFFTF
TTTTTTTTTTTTTTTT
--:-- / 11
07

FFFFTFFTFTTFTTFT (expected value)

8.00 6.00 6.00 6.00 8.00 6.00 6.00 6.00 5.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 (confidence rate)

DNC FFFFTFFTFTTFTTFT
TTTTTTTTTTTTTTTT
--:PM / 11
FFFFTFFT?TTFTTFT
TTTTTTTT-TTTTTTT
--:-- / 10
FFFFTFFTFTTFTTFT
TTTTTTTTTTTTTTTT
--:-- / 11
FFFFTFFTFTTFTTFT
TTTTTTTTTTTTTTTT
--:-- / 11
F???T???????????
T---T-----------
--:-- / 1
F???T???????????
T---T-----------
--:-- / 1
DNF

0
FFFFTFFTFTTFTTFT
TTTTTTTTTTTTTTTT
--:-- / 11
FFFFTFFTFTTFTTFT
TTTTTTTTTTTTTTTT
--:-- / 11
10

FTFFTTTTTFTTTTFF (expected value)

6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 (confidence rate)

DNC FTFFTTTTTFTTTTFF
TTTTTTTTTTTTTTTT
--:PM / 11
FTFFTTTTTFTTTTFF
TTTTTTTTTTTTTTTT
--:-- / 11
FTFFTTTTTFTTTTFF
TTTTTTTTTTTTTTTT
--:-- / 11
FTFFTTTTTFTTTTFF
TTTTTTTTTTTTTTTT
--:-- / 11
DNF

0
DNF

0
DNF

0
FTFFTTTTTFTTTTFF
TTTTTTTTTTTTTTTT
--:-- / 11
FTFFTTTTTFTTTTFF
TTTTTTTTTTTTTTTT
--:-- / 11
CSRepetitions — P/T
  LTSMin Tapaal LoLA M4M.full M4M.struct ITS-Tools ITS-Tools.L GreatSPN Irma.full Irma.struct
Score 39 66 65 44 44 43 44 44 44 43
Road Runner 0 4 2 0 0 0 0 0 0 0
Camel 0 2 4 0 0 0 0 0 0 0
02

FFTFTFFTFTFFTTFF (expected value)

10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 9.00 (confidence rate)

FFTFTFFTFTFFTTFF
TTTTTTTTTTTTTTTT
--:-- / 11
FFTFTFFTFTFFTTFF
TTTTTTTTTTTTTTTT
--:PM / 11
FFTFTFFTFTFFTTFF
TTTTTTTTTTTTTTTT
--:-- / 11
FFTFTFFTFTFFTTFF
TTTTTTTTTTTTTTTT
--:-- / 11
FFTFTFFTFTFFTTFF
TTTTTTTTTTTTTTTT
--:-- / 11
FFTFTFFTFTFFTTFF
TTTTTTTTTTTTTTTT
--:-- / 11
FFTFTFFTFTFFTTFF
TTTTTTTTTTTTTTTT
--:-- / 11
FFTFTFFTFTFFTTFF
TTTTTTTTTTTTTTTT
--:-- / 11
FFTFTFFTFTFFTTFF
TTTTTTTTTTTTTTTT
--:-- / 11
FFTFTFFTFTFFTTF?
TTTTTTTTTTTTTTT-
--:-- / 10
03

FFFTFFTTTTFTFFFT (expected value)

6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 (confidence rate)

FFFTFFTTTTFTFFFT
TTTTTTTTTTTTTTTT
--:-- / 11
FFFTFFTTTTFTFFFT
TTTTTTTTTTTTTTTT
--:-- / 11
FFFTFFTTTTFTFFFT
TTTTTTTTTTTTTTTT
--:PM / 11
CC

0
CC

0
FFFTFFTTTTFTFFFT
TTTTTTTTTTTTTTTT
--:-- / 11
FFFTFFTTTTFTFFFT
TTTTTTTTTTTTTTTT
--:-- / 11
FFFTFFTTTTFTFFFT
TTTTTTTTTTTTTTTT
--:-- / 11
CC

0
CC

0
04

TFFFFTTFTFTFFFFT (expected value)

6.00 5.00 5.00 6.00 6.00 5.00 6.00 6.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 (confidence rate)

T??FF?TF????????
T--TT-TT--------
--:-- / 3
TFFFFTTFTFTFFFFT
TTTTTTTTTTTTTTTT
--:P- / 11
TFFFFTTFTFTFFFFT
TTTTTTTTTTTTTTTT
--:-M / 11
CC

0
CC

0
TFFFFTTFTFTFFFFT
TTTTTTTTTTTTTTTT
--:-- / 11
TFFFFTTFTFTFFFFT
TTTTTTTTTTTTTTTT
--:-- / 11
TFFFFTTFTFTFFFFT
TTTTTTTTTTTTTTTT
--:-- / 11
CC

0
CC

0
05

FTFTTFFFTFFFTTTT (expected value)

10.00 8.00 7.00 8.00 8.00 8.00 7.00 8.00 9.00 9.00 9.00 9.00 9.00 10.00 9.00 9.00 (confidence rate)

FT?TTFFF?????T??
TT-TTTTT-----T--
--:-- / 6
FTFTTFFFTFFFTTTT
TTTTTTTTTTTTTTTT
--:PM / 11
FTFTTF?FTFFFTTTT
TTTTTT-TTTTTTTTT
--:-- / 10
FTFTTFFFTFFFTTTT
TTTTTTTTTTTTTTTT
--:-- / 11
FTFTTFFFTFFFTTTT
TTTTTTTTTTTTTTTT
--:-- / 11
F???????TFFFTTTT
T-------TTTTTTTT
--:-- / 6
F???????TFFFTTTT
T-------TTTTTTTT
--:-- / 6
FTFTTFFFTFFFTTTT
TTTTTTTTTTTTTTTT
--:-- / 11
FTFTTFFFTFFFTTTT
TTTTTTTTTTTTTTTT
--:-- / 11
FTFTTFFFTFFFTTTT
TTTTTTTTTTTTTTTT
--:-- / 11
07

FFFFTFFTTFTFFFTF (expected value)

8.00 6.00 7.00 6.00 8.00 6.00 7.00 7.00 6.00 8.00 6.00 8.00 6.00 8.00 7.00 8.00 (confidence rate)

??F???FT??????T?
--T---TT------T-
--:-- / 3
FFFFTFFTTFTFFFTF
TTTTTTTTTTTTTTTT
--:-- / 11
FFFFTFFTTFTFFFTF
TTTTTTTTTTTTTTTT
--:PM / 11
FFFFTFFTTFTFFFTF
TTTTTTTTTTTTTTTT
--:-- / 11
FFFFTFFTTFTFFFTF
TTTTTTTTTTTTTTTT
--:-- / 11
F???T????F?F?F?F
T---T----T-T-T-T
--:-- / 4
F???T????F?F?F?F
T---T----T-T-T-T
--:-- / 4
DNF

0
FFFFTFFTTFTFFFTF
TTTTTTTTTTTTTTTT
--:-- / 11
FFFFTFFTTFTFFFTF
TTTTTTTTTTTTTTTT
--:-- / 11
10

FTFFTTTTTFFTFTFF (expected value)

6.00 7.00 7.00 7.00 7.00 7.00 7.00 7.00 6.00 7.00 7.00 6.00 6.00 6.00 6.00 6.00 (confidence rate)

?TFFTTTT????????
-TTTTTTT--------
--:-- / 5
FTFFTTTTTFFTFTFF
TTTTTTTTTTTTTTTT
--:P- / 11
FTFFTTTTTFFTFTFF
TTTTTTTTTTTTTTTT
--:-M / 11
FTFFTTTTTFFTFTFF
TTTTTTTTTTTTTTTT
--:-- / 11
FTFFTTTTTFFTFTFF
TTTTTTTTTTTTTTTT
--:-- / 11
DNF

0
?????????FF?????
---------TT-----
--:-- / 1
DNF

0
FTFFTTTTTFFTFTFF
TTTTTTTTTTTTTTTT
--:-- / 11
FTFFTTTTTFFTFTFF
TTTTTTTTTTTTTTTT
--:-- / 11
CircadianClock — P/T
  LTSMin Tapaal LoLA M4M.full M4M.struct ITS-Tools ITS-Tools.L GreatSPN Irma.full Irma.struct
Score 70 114 113 19 50 88 88 61 76 76
Road Runner 1 1 3 0 0 0 0 1 0 0
Camel 1 2 3 0 0 0 0 0 0 0
000001

FTFFTTTFFTFFFTTF (expected value)

10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 9.00 10.00 10.00 (confidence rate)

FTFFTTTFFTFFFTTF
TTTTTTTTTTTTTTTT
--:PM / 19
FTFFTTTFFTFFFTTF
TTTTTTTTTTTTTTTT
--:-- / 19
FTFFTTTFFTFFF?TF
TTTTTTTTTTTTT-TT
--:-- / 18
FTFFTTTFFTFFFTTF
TTTTTTTTTTTTTTTT
--:-- / 19
FTFFTTTFFTFFFTTF
TTTTTTTTTTTTTTTT
--:-- / 19
FTFFTTTFFTFFFTTF
TTTTTTTTTTTTTTTT
--:-- / 19
FTFFTTTFFTFFFTTF
TTTTTTTTTTTTTTTT
--:-- / 19
FTFFTTTFFTFFFTTF
TTTTTTTTTTTTTTTT
--:-- / 19
FTFFTTTFFTFFFTTF
TTTTTTTTTTTTTTTT
--:-- / 19
FTFFTTTFFTFFFTTF
TTTTTTTTTTTTTTTT
--:-- / 19
000010

TFTTFFFTTTTFFFTT (expected value)

6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 (confidence rate)

TFTTFFFTTTTFFFTT
TTTTTTTTTTTTTTTT
--:-- / 19
TFTTFFFTTTTFFFTT
TTTTTTTTTTTTTTTT
--:-M / 19
TFTTFFFTTTTFFFTT
TTTTTTTTTTTTTTTT
--:-- / 19
CC

0
CC

0
TFTTFFFTTTTFFFTT
TTTTTTTTTTTTTTTT
--:-- / 19
TFTTFFFTTTTFFFTT
TTTTTTTTTTTTTTTT
--:-- / 19
TFTTFFFTTTTFFFTT
TTTTTTTTTTTTTTTT
--:P- / 19
CC

0
CC

0
000100

FFTTTTTFFTTFFFFF (expected value)

6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 (confidence rate)

FFTTTTTFFTTFFFFF
TTTTTTTTTTTTTTTT
--:-- / 19
FFTTTTTFFTTFFFFF
TTTTTTTTTTTTTTTT
--:PM / 19
FFTTTTTFFTTFFFFF
TTTTTTTTTTTTTTTT
--:-- / 19
CC

0
CC

0
FFTTTTTFFTTFFFFF
TTTTTTTTTTTTTTTT
--:-- / 19
FFTTTTTFFTTFFFFF
TTTTTTTTTTTTTTTT
--:-- / 19
FFTTTTTFFTTFFFFF
TTTTTTTTTTTTTTTT
--:-- / 19
CC

0
CC

0
001000

TTFFFTTFTTFFFTTF (expected value)

9.00 9.00 8.00 8.00 7.00 8.00 7.00 7.00 7.00 7.00 8.00 7.00 8.00 7.00 7.00 8.00 (confidence rate)

TT?F?T????F?F??F
TT-T-T----T-T--T
--:-- / 8
TTFFFTTFTTFFFTTF
TTTTTTTTTTTTTTTT
--:-- / 19
TTFFFTTFTTFFFTTF
TTTTTTTTTTTTTTTT
--:PM / 19
DNF

0
TTFFFTTFTTFFFTTF
TTTTTTTTTTTTTTTT
--:-- / 19
TTFFFTTFTTFFFTTF
TTTTTTTTTTTTTTTT
--:-- / 19
TTFFFTTFTTFFFTTF
TTTTTTTTTTTTTTTT
--:-- / 19
TTF?????????????
TTT-------------
--:-- / 4
TTFFFTTFTTFFFTTF
TTTTTTTTTTTTTTTT
--:-- / 19
TTFFFTTFTTFFFTTF
TTTTTTTTTTTTTTTT
--:-- / 19
010000

FFFFFTTFTTFTFFFF (expected value)

7.00 5.00 5.00 7.00 4.00 7.00 7.00 7.00 5.00 4.00 7.00 5.00 4.00 4.00 7.00 7.00 (confidence rate)

?FF?????T??T????
-TT-----T--T----
--:-- / 5
FFFFFTTFTTFTFFFF
TTTTTTTTTTTTTTTT
--:-- / 19
FFFFFTTFTTFTFFFF
TTTTTTTTTTTTTTTT
--:PM / 19
DNF

0
F??F?TTF??F???FF
T--T-TTT--T---TT
--:-- / 10
F??F?TTF??F???FF
T--T-TTT--T---TT
--:-- / 10
F??F?TTF??F???FF
T--T-TTT--T---TT
--:-- / 10
DNF

0
FFFFFTTFTTFTFFFF
TTTTTTTTTTTTTTTT
--:-- / 19
FFFFFTTFTTFTFFFF
TTTTTTTTTTTTTTTT
--:-- / 19
100000

TFFFFFTTTTTTFFTT (expected value)

4.00 7.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 7.00 4.00 4.00 4.00 4.00 4.00 (confidence rate)

????????????????
----------------
--:-- / 0
TFFFFFTTTTTTFFTT
TTTTTTTTTTTTTTTT
--:-- / 19
TFFFFFTTTTTTFFTT
TTTTTTTTTTTTTTTT
--:PM / 19
DNF

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

0
TFFFFFTTTTTTFFTT
TTTTTTTTTTTTTTTT
--:-- / 19
TFFFFFTTTTTTFFTT
TTTTTTTTTTTTTTTT
--:-- / 19
CircularTrains — P/T
  LTSMin Tapaal LoLA M4M.full M4M.struct ITS-Tools ITS-Tools.L GreatSPN Irma.full Irma.struct
Score 93 119 119 51 51 119 119 68 51 51
Road Runner 0 3 4 0 0 0 0 0 0 0
Camel 0 3 4 0 0 0 0 0 0 0
012

FFTTTTFFFTFFFFTT (expected value)

10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 (confidence rate)

FFTTTTFFFTFFFFTT
TTTTTTTTTTTTTTTT
--:-- / 17
FFTTTTFFFTFFFFTT
TTTTTTTTTTTTTTTT
--:-- / 17
FFTTTTFFFTFFFFTT
TTTTTTTTTTTTTTTT
--:PM / 17
FFTTTTFFFTFFFFTT
TTTTTTTTTTTTTTTT
--:-- / 17
FFTTTTFFFTFFFFTT
TTTTTTTTTTTTTTTT
--:-- / 17
FFTTTTFFFTFFFFTT
TTTTTTTTTTTTTTTT
--:-- / 17
FFTTTTFFFTFFFFTT
TTTTTTTTTTTTTTTT
--:-- / 17
FFTTTTFFFTFFFFTT
TTTTTTTTTTTTTTTT
--:-- / 17
FFTTTTFFFTFFFFTT
TTTTTTTTTTTTTTTT
--:-- / 17
FFTTTTFFFTFFFFTT
TTTTTTTTTTTTTTTT
--:-- / 17
024

TFFFTFFTFFTTFFFF (expected value)

6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 (confidence rate)

TFFFTFFTFFTTFFFF
TTTTTTTTTTTTTTTT
--:-- / 17
TFFFTFFTFFTTFFFF
TTTTTTTTTTTTTTTT
--:PM / 17
TFFFTFFTFFTTFFFF
TTTTTTTTTTTTTTTT
--:-- / 17
CC

0
CC

0
TFFFTFFTFFTTFFFF
TTTTTTTTTTTTTTTT
--:-- / 17
TFFFTFFTFFTTFFFF
TTTTTTTTTTTTTTTT
--:-- / 17
TFFFTFFTFFTTFFFF
TTTTTTTTTTTTTTTT
--:-- / 17
CC

0
CC

0
048

FFFTTTFTTFFTFFFF (expected value)

6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 (confidence rate)

FFFTTTFTTFFTFFFF
TTTTTTTTTTTTTTTT
--:-- / 17
FFFTTTFTTFFTFFFF
TTTTTTTTTTTTTTTT
--:-- / 17
FFFTTTFTTFFTFFFF
TTTTTTTTTTTTTTTT
--:PM / 17
CC

0
CC

0
FFFTTTFTTFFTFFFF
TTTTTTTTTTTTTTTT
--:-- / 17
FFFTTTFTTFFTFFFF
TTTTTTTTTTTTTTTT
--:-- / 17
FFFTTTFTTFFTFFFF
TTTTTTTTTTTTTTTT
--:-- / 17
CC

0
CC

0
096

TFTTFFFFTFFTFFFF (expected value)

6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 (confidence rate)

TFTTFFFFTFFTFFFF
TTTTTTTTTTTTTTTT
--:-- / 17
TFTTFFFFTFFTFFFF
TTTTTTTTTTTTTTTT
--:-M / 17
TFTTFFFFTFFTFFFF
TTTTTTTTTTTTTTTT
--:P- / 17
CC

0
CC

0
TFTTFFFFTFFTFFFF
TTTTTTTTTTTTTTTT
--:-- / 17
TFTTFFFFTFFTFFFF
TTTTTTTTTTTTTTTT
--:-- / 17
TFTTFFFFTFFTFFFF
TTTTTTTTTTTTTTTT
--:-- / 17
CC

0
CC

0
192

FFFFFTTFFTFFTFFF (expected value)

5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 (confidence rate)

FFFFFTTFFTFFTFFF
TTTTTTTTTTTTTTTT
--:-- / 17
FFFFFTTFFTFFTFFF
TTTTTTTTTTTTTTTT
--:-M / 17
FFFFFTTFFTFFTFFF
TTTTTTTTTTTTTTTT
--:P- / 17
CC

0
CC

0
FFFFFTTFFTFFTFFF
TTTTTTTTTTTTTTTT
--:-- / 17
FFFFFTTFFTFFTFFF
TTTTTTTTTTTTTTTT
--:-- / 17
DNF

0
CC

0
CC

0
384

TFFFFFFTTTTTFFFF (expected value)

8.00 8.00 8.00 9.00 9.00 8.00 9.00 8.00 8.00 9.00 8.00 8.00 8.00 8.00 8.00 8.00 (confidence rate)

???FF?F??T??????
---TT-T--T------
--:-- / 4
TFFFFFFTTTTTFFFF
TTTTTTTTTTTTTTTT
--:P- / 17
TFFFFFFTTTTTFFFF
TTTTTTTTTTTTTTTT
--:-M / 17
TFFFFFFTTTTTFFFF
TTTTTTTTTTTTTTTT
--:-- / 17
TFFFFFFTTTTTFFFF
TTTTTTTTTTTTTTTT
--:-- / 17
TFFFFFFTTTTTFFFF
TTTTTTTTTTTTTTTT
--:-- / 17
TFFFFFFTTTTTFFFF
TTTTTTTTTTTTTTTT
--:-- / 17
DNF

0
TFFFFFFTTTTTFFFF
TTTTTTTTTTTTTTTT
--:-- / 17
TFFFFFFTTTTTFFFF
TTTTTTTTTTTTTTTT
--:-- / 17
768

FTFFTFFFTTTFFTTT (expected value)

8.00 8.00 9.00 8.00 8.00 8.00 8.00 9.00 8.00 8.00 9.00 8.00 9.00 8.00 8.00 8.00 (confidence rate)

??F????F??T?F???
--T----T--T-T---
--:-- / 4
FTFFTFFFTTTFFTTT
TTTTTTTTTTTTTTTT
--:P- / 17
FTFFTFFFTTTFFTTT
TTTTTTTTTTTTTTTT
--:-M / 17
FTFFTFFFTTTFFTTT
TTTTTTTTTTTTTTTT
--:-- / 17
FTFFTFFFTTTFFTTT
TTTTTTTTTTTTTTTT
--:-- / 17
FTFFTFFFTTTFFTTT
TTTTTTTTTTTTTTTT
--:-- / 17
FTFFTFFFTTTFFTTT
TTTTTTTTTTTTTTTT
--:-- / 17
DNF

0
FTFFTFFFTTTFFTTT
TTTTTTTTTTTTTTTT
--:-- / 17
FTFFTFFFTTTFFTTT
TTTTTTTTTTTTTTTT
--:-- / 17
ClientsAndServers — P/T
  LTSMin Tapaal LoLA M4M.full M4M.struct ITS-Tools ITS-Tools.L GreatSPN Irma.full Irma.struct
Score 77 160 154 158 158 122 122 40 158 158
Road Runner 0 12 8 0 0 0 0 0 0 0
Camel 0 12 8 0 0 0 0 0 0 0
N0001P0

FTTTTFTTFFFFFFTT (expected value)

10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 9.00 10.00 (confidence rate)

FTTTTFTTFFFFFFTT
TTTTTTTTTTTTTTTT
--:-- / 8
FTTTTFTTFFFFFFTT
TTTTTTTTTTTTTTTT
--:PM / 8
FTTTTFTTFFFFFF?T
TTTTTTTTTTTTTT-T
--:-- / 7
FTTTTFTTFFFFFFTT
TTTTTTTTTTTTTTTT
--:-- / 8
FTTTTFTTFFFFFFTT
TTTTTTTTTTTTTTTT
--:-- / 8
FTTTTFTTFFFFFFTT
TTTTTTTTTTTTTTTT
--:-- / 8
FTTTTFTTFFFFFFTT
TTTTTTTTTTTTTTTT
--:-- / 8
FTTTTFTTFFFFFFTT
TTTTTTTTTTTTTTTT
--:-- / 8
FTTTTFTTFFFFFFTT
TTTTTTTTTTTTTTTT
--:-- / 8
FTTTTFTTFFFFFFTT
TTTTTTTTTTTTTTTT
--:-- / 8
N0002P0

TFTFTFTFFTTTTTTT (expected value)

10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 9.00 10.00 10.00 10.00 10.00 10.00 (confidence rate)

TFTFTFTFFTTTTTTT
TTTTTTTTTTTTTTTT
--:-- / 8
TFTFTFTFFTTTTTTT
TTTTTTTTTTTTTTTT
--:PM / 8
TFTFTFTFFT?TTTTT
TTTTTTTTTT-TTTTT
--:-- / 7
TFTFTFTFFTTTTTTT
TTTTTTTTTTTTTTTT
--:-- / 8
TFTFTFTFFTTTTTTT
TTTTTTTTTTTTTTTT
--:-- / 8
TFTFTFTFFTTTTTTT
TTTTTTTTTTTTTTTT
--:-- / 8
TFTFTFTFFTTTTTTT
TTTTTTTTTTTTTTTT
--:-- / 8
TFTFTFTFFTTTTTTT
TTTTTTTTTTTTTTTT
--:-- / 8
TFTFTFTFFTTTTTTT
TTTTTTTTTTTTTTTT
--:-- / 8
TFTFTFTFFTTTTTTT
TTTTTTTTTTTTTTTT
--:-- / 8
N0002P1

TTFFTTFFFFTFTTTF (expected value)

10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 (confidence rate)

TTFFTTFFFFTFTTTF
TTTTTTTTTTTTTTTT
--:-- / 8
TTFFTTFFFFTFTTTF
TTTTTTTTTTTTTTTT
--:PM / 8
TTFFTTFFFFTFTTTF
TTTTTTTTTTTTTTTT
--:-- / 8
TTFFTTFFFFTFTTTF
TTTTTTTTTTTTTTTT
--:-- / 8
TTFFTTFFFFTFTTTF
TTTTTTTTTTTTTTTT
--:-- / 8
TTFFTTFFFFTFTTTF
TTTTTTTTTTTTTTTT
--:-- / 8
TTFFTTFFFFTFTTTF
TTTTTTTTTTTTTTTT
--:-- / 8
TTFFTTFFFFTFTTTF
TTTTTTTTTTTTTTTT
--:-- / 8
TTFFTTFFFFTFTTTF
TTTTTTTTTTTTTTTT
--:-- / 8
TTFFTTFFFFTFTTTF
TTTTTTTTTTTTTTTT
--:-- / 8
N0005P0

TTTFTFTTTFTTTTFF (expected value)

10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 (confidence rate)

TTTFTFTTTFTTTTFF
TTTTTTTTTTTTTTTT
--:-- / 8
TTTFTFTTTFTTTTFF
TTTTTTTTTTTTTTTT
--:PM / 8
TTTFTFTTTFTTTTFF
TTTTTTTTTTTTTTTT
--:-- / 8
TTTFTFTTTFTTTTFF
TTTTTTTTTTTTTTTT
--:-- / 8
TTTFTFTTTFTTTTFF
TTTTTTTTTTTTTTTT
--:-- / 8
TTTFTFTTTFTTTTFF
TTTTTTTTTTTTTTTT
--:-- / 8
TTTFTFTTTFTTTTFF
TTTTTTTTTTTTTTTT
--:-- / 8
TTTFTFTTTFTTTTFF
TTTTTTTTTTTTTTTT
--:-- / 8
TTTFTFTTTFTTTTFF
TTTTTTTTTTTTTTTT
--:-- / 8
TTTFTFTTTFTTTTFF
TTTTTTTTTTTTTTTT
--:-- / 8
N0005P1

FFFFTTTTFTFTFTFT (expected value)

10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 (confidence rate)

FFFFTTTTFTFTFTFT
TTTTTTTTTTTTTTTT
--:-- / 8
FFFFTTTTFTFTFTFT
TTTTTTTTTTTTTTTT
--:-- / 8
FFFFTTTTFTFTFTFT
TTTTTTTTTTTTTTTT
--:PM / 8
FFFFTTTTFTFTFTFT
TTTTTTTTTTTTTTTT
--:-- / 8
FFFFTTTTFTFTFTFT
TTTTTTTTTTTTTTTT
--:-- / 8
FFFFTTTTFTFTFTFT
TTTTTTTTTTTTTTTT
--:-- / 8
FFFFTTTTFTFTFTFT
TTTTTTTTTTTTTTTT
--:-- / 8
FFFFTTTTFTFTFTFT
TTTTTTTTTTTTTTTT
--:-- / 8
FFFFTTTTFTFTFTFT
TTTTTTTTTTTTTTTT
--:-- / 8
FFFFTTTTFTFTFTFT
TTTTTTTTTTTTTTTT
--:-- / 8
N0010P0

TFFTTTTTTTTFFTTF (expected value)

9.00 9.00 9.00 8.00 9.00 9.00 7.00 7.00 9.00 8.00 7.00 8.00 7.00 9.00 9.00 8.00 (confidence rate)

TFF?TTTTT?T?FTT?
TTT-TTTTT-T-TTT-
--:-- / 6
TFFTTTTTTTTFFTTF
TTTTTTTTTTTTTTTT
--:-- / 8
TFFTTTTTTTTFFTTF
TTTTTTTTTTTTTTTT
--:PM / 8
TFFTTTTTTTTFFTTF
TTTTTTTTTTTTTTTT
--:-- / 8
TFFTTTTTTTTFFTTF
TTTTTTTTTTTTTTTT
--:-- / 8
TFFTTT??TT?F?TTF
TTTTTT--TT-T-TTT
--:-- / 6
TFFTTT??TT?F?TTF
TTTTTT--TT-T-TTT
--:-- / 6
DNF

0
TFFTTTTTTTTFFTTF
TTTTTTTTTTTTTTTT
--:-- / 8
TFFTTTTTTTTFFTTF
TTTTTTTTTTTTTTTT
--:-- / 8
N0010P1

FFTFFFFTFTTTTTTF (expected value)

9.00 9.00 9.00 7.00 8.00 8.00 7.00 8.00 9.00 8.00 9.00 9.00 8.00 7.00 9.00 9.00 (confidence rate)

FFTF?FF?F?TT?TTF
TTTT-TT-T-TT-TTT
--:-- / 6
FFTFFFFTFTTTTTTF
TTTTTTTTTTTTTTTT
--:PM / 8
FFTFF?FTFTTTTTTF
TTTTT-TTTTTTTTTT
--:-- / 7
FFTFFFFTFTTTTTTF
TTTTTTTTTTTTTTTT
--:-- / 8
FFTFFFFTFTTTTTTF
TTTTTTTTTTTTTTTT
--:-- / 8
FFT?FF?TFTTTT?TF
TTT-TT-TTTTTT-TT
--:-- / 6
FFT?FF?TFTTTT?TF
TTT-TT-TTTTTT-TT
--:-- / 6
DNF

0
FFTFFFFTFTTTTTTF
TTTTTTTTTTTTTTTT
--:-- / 8
FFTFFFFTFTTTTTTF
TTTTTTTTTTTTTTTT
--:-- / 8
N0010P2

FFTTTTFFTTFFTTFF (expected value)

8.00 9.00 8.00 9.00 8.00 9.00 8.00 9.00 6.00 8.00 9.00 8.00 9.00 7.00 8.00 9.00 (confidence rate)

?F?T?T?F??F?TT?F
-T-T-T-T--T-TT-T
--:-- / 4
FFTTTTFFTTFFTTFF
TTTTTTTTTTTTTTTT
--:PM / 8
FFTTTTFFTTFFTTFF
TTTTTTTTTTTTTTTT
--:-- / 8
FFTTTTFFTTFFTTFF
TTTTTTTTTTTTTTTT
--:-- / 8
FFTTTTFFTTFFTTFF
TTTTTTTTTTTTTTTT
--:-- / 8
FFTTTTFF?TFFT?FF
TTTTTTTT-TTTT-TT
--:-- / 7
FFTTTTFF?TFFT?FF
TTTTTTTT-TTTT-TT
--:-- / 7
DNF

0
FFTTTTFFTTFFTTFF
TTTTTTTTTTTTTTTT
--:-- / 8
FFTTTTFFTTFFTTFF
TTTTTTTTTTTTTTTT
--:-- / 8
N0020P0

TFTTTTFTFTTTTTFF (expected value)

7.00 8.00 8.00 9.00 8.00 7.00 7.00 8.00 8.00 8.00 9.00 8.00 9.00 8.00 8.00 7.00 (confidence rate)

T??T?TF???T?T??F
T--T-TT---T-T--T
--:-- / 3
TFTTTTFTFTTTTTFF
TTTTTTTTTTTTTTTT
--:PM / 8
TFTTTTFTFTTTTTFF
TTTTTTTTTTTTTTTT
--:-- / 8
TFTTTTFTFTTTTTFF
TTTTTTTTTTTTTTTT
--:-- / 8
TFTTTTFTFTTTTTFF
TTTTTTTTTTTTTTTT
--:-- / 8
?FTTT??TFTTTTTF?
-TTTT--TTTTTTTT-
--:-- / 6
?FTTT??TFTTTTTF?
-TTTT--TTTTTTTT-
--:-- / 6
DNF

0
TFTTTTFTFTTTTTFF
TTTTTTTTTTTTTTTT
--:-- / 8
TFTTTTFTFTTTTTFF
TTTTTTTTTTTTTTTT
--:-- / 8
N0020P1

FTTTFTTFFFTFFFTF (expected value)

7.00 9.00 9.00 9.00 8.00 8.00 8.00 8.00 9.00 7.00 8.00 9.00 7.00 8.00 7.00 8.00 (confidence rate)

FTTT????FF?FF?T?
TTTT----TT-TT-T-
--:-- / 4
FTTTFTTFFFTFFFTF
TTTTTTTTTTTTTTTT
--:-- / 8
FTTTFTTFFFTFFFTF
TTTTTTTTTTTTTTTT
--:PM / 8
FTTTFTTFFFTFFFTF
TTTTTTTTTTTTTTTT
--:-- / 8
FTTTFTTFFFTFFFTF
TTTTTTTTTTTTTTTT
--:-- / 8
?TTTFTTFF?TF?F?F
-TTTTTTTT-TT-T-T
--:-- / 6
?TTTFTTFF?TF?F?F
-TTTTTTTT-TT-T-T
--:-- / 6
DNF

0
FTTTFTTFFFTFFFTF
TTTTTTTTTTTTTTTT
--:-- / 8
FTTTFTTFFFTFFFTF
TTTTTTTTTTTTTTTT
--:-- / 8
N0020P2

TTFTFFTFTTFTFFTF (expected value)

9.00 8.00 8.00 9.00 8.00 6.00 8.00 7.00 8.00 7.00 7.00 8.00 8.00 6.00 8.00 7.00 (confidence rate)

T??T???F?TF????F
T--T---T-TT----T
--:-- / 3
TTFTFFTFTTFTFFTF
TTTTTTTTTTTTTTTT
--:PM / 8
TTFTFFTFTTFTFFTF
TTTTTTTTTTTTTTTT
--:-- / 8
TTFTFFTFTTFTFFTF
TTTTTTTTTTTTTTTT
--:-- / 8
TTFTFFTFTTFTFFTF
TTTTTTTTTTTTTTTT
--:-- / 8
TTFTF?T?T??TF?T?
TTTTT-T-T--TT-T-
--:-- / 5
TTFTF?T?T??TF?T?
TTTTT-T-T--TT-T-
--:-- / 5
DNF

0
TTFTFFTFTTFTFFTF
TTTTTTTTTTTTTTTT
--:-- / 8
TTFTFFTFTTFTFFTF
TTTTTTTTTTTTTTTT
--:-- / 8
N0020P3

TTFFTTTFFFFFFTFT (expected value)

8.00 8.00 8.00 8.00 9.00 8.00 8.00 9.00 7.00 8.00 8.00 8.00 6.00 9.00 9.00 8.00 (confidence rate)

????T??FF????TF?
----T--TT----TT-
--:-- / 2
TTFFTTTFFFFFFTFT
TTTTTTTTTTTTTTTT
--:-- / 8
TTFFTTTFFFFFFTFT
TTTTTTTTTTTTTTTT
--:PM / 8
TTFFTTTFFFFFFTFT
TTTTTTTTTTTTTTTT
--:-- / 8
TTFFTTTFFFFFFTFT
TTTTTTTTTTTTTTTT
--:-- / 8
TTFFTTTF?FFF?TFT
TTTTTTTT-TTT-TTT
--:-- / 7
TTFFTTTF?FFF?TFT
TTTTTTTT-TTT-TTT
--:-- / 7
DNF

0
TTFFTTTFFFFFFTFT
TTTTTTTTTTTTTTTT
--:-- / 8
TTFFTTTFFFFFFTFT
TTTTTTTTTTTTTTTT
--:-- / 8
N0020P4

FTFFFTTTFTTTFFFT (expected value)

6.00 8.00 8.00 6.00 9.00 8.00 8.00 7.00 7.00 9.00 9.00 6.00 8.00 8.00 7.00 9.00 (confidence rate)

????F??TFTT???FT
----T--TTTT---TT
--:-- / 3
FTFFFTTTFTTTFFFT
TTTTTTTTTTTTTTTT
--:PM / 8
FTFFFTTTFTTTFFFT
TTTTTTTTTTTTTTTT
--:-- / 8
FTFFFTTTFTTTFFFT
TTTTTTTTTTTTTTTT
--:-- / 8
FTFFFTTTFTTTFFFT
TTTTTTTTTTTTTTTT
--:-- / 8
?TF?FTT??TT?FF?T
-TT-TTT--TT-TT-T
--:-- / 5
?TF?FTT??TT?FF?T
-TT-TTT--TT-TT-T
--:-- / 5
DNF

0
FTFFFTTTFTTTFFFT
TTTTTTTTTTTTTTTT
--:-- / 8
FTFFFTTTFTTTFFFT
TTTTTTTTTTTTTTTT
--:-- / 8
N0050P0

TTFTFFFTFFTFTTFF (expected value)

8.00 8.00 9.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 6.00 8.00 8.00 9.00 8.00 8.00 (confidence rate)

??F??????????T??
--T----------T--
--:-- / 1
TTFTFFFTFFTFTTFF
TTTTTTTTTTTTTTTT
--:-- / 8
TTFTFFFTFFTFTTFF
TTTTTTTTTTTTTTTT
--:PM / 8
TTFTFFFTFFTFTTFF
TTTTTTTTTTTTTTTT
--:-- / 8
TTFTFFFTFFTFTTFF
TTTTTTTTTTTTTTTT
--:-- / 8
TTFTFFFTFF?FTTFF
TTTTTTTTTT-TTTTT
--:-- / 7
TTFTFFFTFF?FTTFF
TTTTTTTTTT-TTTTT
--:-- / 7
DNF

0
TTFTFFFTFFTFTTFF
TTTTTTTTTTTTTTTT
--:-- / 8
TTFTFFFTFFTFTTFF
TTTTTTTTTTTTTTTT
--:-- / 8
N0100P0

TTFTTTTFTTTTFTTF (expected value)

8.00 8.00 6.00 8.00 7.00 8.00 8.00 8.00 8.00 7.00 7.00 8.00 8.00 8.00 8.00 6.00 (confidence rate)

????T????TT?????
----T----TT-----
--:-- / 1
TTFTTTTFTTTTFTTF
TTTTTTTTTTTTTTTT
--:-- / 8
TTFTTTTFTTTTFTTF
TTTTTTTTTTTTTTTT
--:PM / 8
TTFTTTTFTTTTFTTF
TTTTTTTTTTTTTTTT
--:-- / 8
TTFTTTTFTTTTFTTF
TTTTTTTTTTTTTTTT
--:-- / 8
TT?T?TTFT??TFTT?
TT-T-TTTT--TTTT-
--:-- / 5
TT?T?TTFT??TFTT?
TT-T-TTTT--TTTT-
--:-- / 5
DNF

0
TTFTTTTFTTTTFTTF
TTTTTTTTTTTTTTTT
--:-- / 8
TTFTTTTFTTTTFTTF
TTTTTTTTTTTTTTTT
--:-- / 8
N0200P0

FTFFTTFTTTTFTFTF (expected value)

8.00 8.00 8.00 8.00 8.00 7.00 8.00 8.00 7.00 6.00 7.00 6.00 8.00 8.00 6.00 8.00 (confidence rate)

?????T??T?T?????
-----T--T-T-----
--:-- / 1
FTFFTTFTTTTFTFTF
TTTTTTTTTTTTTTTT
--:-- / 8
FTFFTTFTTTTFTFTF
TTTTTTTTTTTTTTTT
--:PM / 8
FTFFTTFTTTTFTFTF
TTTTTTTTTTTTTTTT
--:-- / 8
FTFFTTFTTTTFTFTF
TTTTTTTTTTTTTTTT
--:-- / 8
FTFFT?FT????TF?F
TTTTT-TT----TT-T
--:-- / 5
FTFFT?FT????TF?F
TTTTT-TT----TT-T
--:-- / 5
DNF

0
FTFFTTFTTTTFTFTF
TTTTTTTTTTTTTTTT
--:-- / 8
FTFFTTFTTTTFTFTF
TTTTTTTTTTTTTTTT
--:-- / 8
N0500P0

TTTTTFTFFTTTTTTT (expected value)

8.00 8.00 8.00 1.00 8.00 1.00 7.00 6.00 6.00 6.00 8.00 6.00 6.00 7.00 8.00 7.00 (confidence rate)

??????T??????T?T
------T------T-T
--:-- / 1
TTTTTFTFFTTTTTTT
TTTTTTTTTTTTTTTT
--:PM / 8
TTT?T?TFFTTTTTTT
TTT-T-TTTTTTTTTT
--:-- / 7
TTT?T?TFFTTTTTTT
TTT-T-TTTTTTTTTT
--:-- / 7
TTT?T?TFFTTTTTTT
TTT-T-TTTTTTTTTT
--:-- / 7
TTT?T?????T???T?
TTT-T-----T---T-
--:-- / 3
TTT?T?????T???T?
TTT-T-----T---T-
--:-- / 3
DNF

0
TTT?T?TFFTTTTTTT
TTT-T-TTTTTTTTTT
--:-- / 7
TTT?T?TFFTTTTTTT
TTT-T-TTTTTTTTTT
--:-- / 7
N1000P0

FFTFFFFTTFFFTTTT (expected value)

7.00 6.00 8.00 8.00 8.00 8.00 7.00 8.00 7.00 8.00 8.00 8.00 8.00 6.00 8.00 8.00 (confidence rate)

F?????F?T???????
T-----T-T-------
--:-- / 1
FFTFFFFTTFFFTTTT
TTTTTTTTTTTTTTTT
--:-- / 8
FFTFFFFTTFFFTTTT
TTTTTTTTTTTTTTTT
--:PM / 8
FFTFFFFTTFFFTTTT
TTTTTTTTTTTTTTTT
--:-- / 8
FFTFFFFTTFFFTTTT
TTTTTTTTTTTTTTTT
--:-- / 8
??TFFF?T?FFFT?TT
--TTTT-T-TTTT-TT
--:-- / 5
??TFFF?T?FFFT?TT
--TTTT-T-TTTT-TT
--:-- / 5
DNF

0
FFTFFFFTTFFFTTTT
TTTTTTTTTTTTTTTT
--:-- / 8
FFTFFFFTTFFFTTTT
TTTTTTTTTTTTTTTT
--:-- / 8
N2000P0

FFTFTTFFTFTFTFFT (expected value)

8.00 6.00 8.00 8.00 8.00 8.00 8.00 9.00 6.00 6.00 9.00 6.00 8.00 6.00 6.00 8.00 (confidence rate)

???????F??T???F?
-------T--T---T-
--:-- / 1
FFTFTTFFTFTFTFFT
TTTTTTTTTTTTTTTT
--:PM / 8
FFTFTTFFTFTFTF?T
TTTTTTTTTTTTTT-T
--:-- / 7
FFTFTTFFTFTFTFFT
TTTTTTTTTTTTTTTT
--:-- / 8
FFTFTTFFTFTFTFFT
TTTTTTTTTTTTTTTT
--:-- / 8
F?TFTTFF??T?T??T
T-TTTTTT--T-T--T
--:-- / 5
F?TFTTFF??T?T??T
T-TTTTTT--T-T--T
--:-- / 5
DNF

0
FFTFTTFFTFTFTFFT
TTTTTTTTTTTTTTTT
--:-- / 8
FFTFTTFFTFTFTFFT
TTTTTTTTTTTTTTTT
--:-- / 8
N5000P0

TFFFFTFTTTFFTFTT (expected value)

8.00 6.00 8.00 2.00 6.00 7.00 8.00 8.00 6.00 8.00 8.00 8.00 6.00 1.00 8.00 8.00 (confidence rate)

?????T??????????
-----T----------
--:-- / 0
TFFFFTFTTTFFTFTT
TTTTTTTTTTTTTTTT
--:PM / 8
TFFFFTFTTTFFT?TT
TTTTTTTTTTTTT-TT
--:-- / 7
TFF?FTFTTTFFT?TT
TTT-TTTTTTTTT-TT
--:-- / 7
TFF?FTFTTTFFT?TT
TTT-TTTTTTTTT-TT
--:-- / 7
T?F???FT?TFF??TT
T-T---TT-TTT--TT
--:-- / 4
T?F???FT?TFF??TT
T-T---TT-TTT--TT
--:-- / 4
DNF

0
TFF?FTFTTTFFT?TT
TTT-TTTTTTTTT-TT
--:-- / 7
TFF?FTFTTTFFT?TT
TTT-TTTTTTTTT-TT
--:-- / 7
CloudDeployment — P/T
  LTSMin Tapaal LoLA M4M.full M4M.struct ITS-Tools ITS-Tools.L GreatSPN Irma.full Irma.struct
Score 78 124 123 74 74 88 88 55 75 75
Road Runner 0 4 3 0 0 2 0 0 0 0
Camel 0 5 3 0 0 0 0 0 1 0
2a

FFFTFTTFFFFFTFFT (expected value)

10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 9.00 10.00 9.00 10.00 10.00 10.00 10.00 9.00 (confidence rate)

FFFTFTTFFFFFTFFT
TTTTTTTTTTTTTTTT
--:-- / 11
FFFTFTTFFFFFTFFT
TTTTTTTTTTTTTTTT
--:PM / 11
FFFTFTTF?F?FTFF?
TTTTTTTT-T-TTTT-
--:-- / 9
FFFTFTTFFFFFTFFT
TTTTTTTTTTTTTTTT
--:-- / 11
FFFTFTTFFFFFTFFT
TTTTTTTTTTTTTTTT
--:-- / 11
FFFTFTTFFFFFTFFT
TTTTTTTTTTTTTTTT
--:-- / 11
FFFTFTTFFFFFTFFT
TTTTTTTTTTTTTTTT
--:-- / 11
FFFTFTTFFFFFTFFT
TTTTTTTTTTTTTTTT
--:-- / 11
FFFTFTTFFFFFTFFT
TTTTTTTTTTTTTTTT
--:-- / 11
FFFTFTTFFFFFTFFT
TTTTTTTTTTTTTTTT
--:-- / 11
2b

FTFFTTFFFTFFFFTF (expected value)

8.00 8.00 9.00 9.00 9.00 8.00 8.00 9.00 8.00 8.00 8.00 8.00 9.00 9.00 9.00 9.00 (confidence rate)

??FFT??F????FFTF
--TTT--T----TTTT
--:-- / 6
FTFFTTFFFTFFFFTF
TTTTTTTTTTTTTTTT
--:PM / 11
FTFFTTFFFTFFFFTF
TTTTTTTTTTTTTTTT
--:-- / 11
FTFFTTFFFTFFFFTF
TTTTTTTTTTTTTTTT
--:-- / 11
FTFFTTFFFTFFFFTF
TTTTTTTTTTTTTTTT
--:-- / 11
FTFFTTFFFTFFFFTF
TTTTTTTTTTTTTTTT
--:-- / 11
FTFFTTFFFTFFFFTF
TTTTTTTTTTTTTTTT
--:-- / 11
DNF

0
FTFFTTFFFTFFFFTF
TTTTTTTTTTTTTTTT
--:-- / 11
FTFFTTFFFTFFFFTF
TTTTTTTTTTTTTTTT
--:-- / 11
3a

FTFTFFFFTFTTTTTF (expected value)

6.00 6.00 6.00 6.00 6.00 5.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 5.00 6.00 (confidence rate)

FTFTFFFFTFTTTTTF
TTTTTTTTTTTTTTTT
--:-- / 11
FTFTFFFFTFTTTTTF
TTTTTTTTTTTTTTTT
--:PM / 11
FTFTF?FFTFTTTT?F
TTTTT-TTTTTTTT-T
--:-- / 10
CC

0
CC

0
FTFTFFFFTFTTTTTF
TTTTTTTTTTTTTTTT
--:-- / 11
FTFTFFFFTFTTTTTF
TTTTTTTTTTTTTTTT
--:-- / 11
FTFTFFFFTFTTTTTF
TTTTTTTTTTTTTTTT
--:-- / 11
CC

0
CC

0
3b

TFTFTTFFFFFFFFTF (expected value)

5.00 5.00 4.00 4.00 4.00 4.00 5.00 4.00 4.00 4.00 3.00 4.00 5.00 5.00 4.00 4.00 (confidence rate)

TF????F?????FF??
TT----T-----TT--
--:-- / 3
TFTFTTFFFF?FFFTF
TTTTTTTTTT-TTTTT
--:-- / 10
TFTFTTFFFFFFFFTF
TTTTTTTTTTTTTTTT
--:PM / 11
CC

0
CC

0
TFTFTTFFFFFFFFTF
TTTTTTTTTTTTTTTT
--:-- / 11
TFTFTTFFFFFFFFTF
TTTTTTTTTTTTTTTT
--:-- / 11
DNF

0
CC

0
CC

0
4a

FFFFTTFFFFTTFFTF (expected value)

6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 (confidence rate)

FFFFTTFFFFTTFFTF
TTTTTTTTTTTTTTTT
--:-- / 11
FFFFTTFFFFTTFFTF
TTTTTTTTTTTTTTTT
--:-M / 11
FFFFTTFFFFTTFFTF
TTTTTTTTTTTTTTTT
--:-- / 11
CC

0
CC

0
FFFFTTFFFFTTFFTF
TTTTTTTTTTTTTTTT
--:P- / 11
FFFFTTFFFFTTFFTF
TTTTTTTTTTTTTTTT
--:-- / 11
FFFFTTFFFFTTFFTF
TTTTTTTTTTTTTTTT
--:-- / 11
CC

0
CC

0
4b

FTFFFFTTFFTTFFFT (expected value)

2.00 3.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 3.00 2.00 (confidence rate)

?T????????????F?
-T------------T-
--:-- / 1
FTFFFFTTFFTTFFFT
TTTTTTTTTTTTTTTT
--:PM / 11
FTFFFFTTFFTTFFFT
TTTTTTTTTTTTTTTT
--:-- / 11
CC

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
CC

0
5a

TFTFFFTFFTFFFFTF (expected value)

10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 7.00 10.00 10.00 10.00 10.00 10.00 10.00 (confidence rate)

TFTFFFTFFTFFFFTF
TTTTTTTTTTTTTTTT
--:-- / 11
TFTFFFTFFTFFFFTF
TTTTTTTTTTTTTTTT
--:-- / 11
TFTFFFTFF?FFFFTF
TTTTTTTTT-TTTTTT
--:-- / 10
TFTFFFTFF?FFFFTF
TTTTTTTTT-TTTTTT
--:-- / 10
TFTFFFTFF?FFFFTF
TTTTTTTTT-TTTTTT
--:-- / 10
TFTFFFTFFTFFFFTF
TTTTTTTTTTTTTTTT
--:P- / 11
TFTFFFTFFTFFFFTF
TTTTTTTTTTTTTTTT
--:-- / 11
TFTFFFTFFTFFFFTF
TTTTTTTTTTTTTTTT
--:-- / 11
TFTFFFTFFTFFFFTF
TTTTTTTTTTTTTTTT
--:-M / 11
TFTFFFTFFTFFFFTF
TTTTTTTTTTTTTTTT
--:-- / 11
5b

TFFFTFFTTFTFFFTF (expected value)

6.00 7.00 6.00 6.00 6.00 6.00 6.00 1.00 6.00 6.00 6.00 5.00 5.00 6.00 2.00 6.00 (confidence rate)

?F??????????????
-T--------------
--:-- / 1
TFFFTFFTTFT??FTF
TTTTTTTTTTT--TTT
--:-- / 10
TFFFTFF?TFTFFFTF
TTTTTTT-TTTTTTTT
--:-- / 10
TFFFTFF?TFTFFF?F
TTTTTTT-TTTTTT-T
--:-- / 10
TFFFTFF?TFTFFF?F
TTTTTTT-TTTTTT-T
--:-- / 10
DNF

0
DNF

0
DNF

0
TFFFTFF?TFTFFF?F
TTTTTTT-TTTTTT-T
--:-- / 10
TFFFTFF?TFTFFF?F
TTTTTTT-TTTTTT-T
--:-- / 10
6a

FTTTFTTTTTFTTFFT (expected value)

10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 (confidence rate)

FTTTFTTTTTFTTFFT
TTTTTTTTTTTTTTTT
--:-- / 11
FTTTFTTTTTFTTFFT
TTTTTTTTTTTTTTTT
--:-- / 11
FTTTFTTTTTFTTFFT
TTTTTTTTTTTTTTTT
--:PM / 11
FTTTFTTTTTFTTFFT
TTTTTTTTTTTTTTTT
--:-- / 11
FTTTFTTTTTFTTFFT
TTTTTTTTTTTTTTTT
--:-- / 11
FTTTFTTTTTFTTFFT
TTTTTTTTTTTTTTTT
--:-- / 11
FTTTFTTTTTFTTFFT
TTTTTTTTTTTTTTTT
--:-- / 11
FTTTFTTTTTFTTFFT
TTTTTTTTTTTTTTTT
--:-- / 11
FTTTFTTTTTFTTFFT
TTTTTTTTTTTTTTTT
--:-- / 11
FTTTFTTTTTFTTFFT
TTTTTTTTTTTTTTTT
--:-- / 11
6b

FFFF? FFTFTTTTTFF (expected value)

6.00 7.00 6.00 6.00 0 6.00 6.00 6.00 6.00 7.00 1.00 6.00 6.00 6.00 6.00 6.00 (confidence rate)

?F???????T??????
-T--?----T------
--:-- / 1
FFFF?FFTFT?TTTFF
TTTT?TTTTT-TTTTT
--:-- / 10
FFFF?FFTFTTTTTFF
TTTT?TTTTTTTTTTT
--:-- / 10
FFFF?FFTFT?TTTFF
TTTT?TTTTT-TTTTT
--:-- / 10
FFFF?FFTFT?TTTFF
TTTT?TTTTT-TTTTT
--:-- / 10
DNF

0
DNF

0
DNF

0
FFFF?FFTFT?TTTFF
TTTT?TTTTT-TTTTT
--:-- / 10
FFFF?FFTFT?TTTFF
TTTT?TTTTT-TTTTT
--:-- / 10
7a

TFTFTFFFFTTTFFFT (expected value)

9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 (confidence rate)

TFTFTFFFFTTTFFFT
TTTTTTTTTTTTTTTT
--:-- / 11
TFTFTFFFFTTTFFFT
TTTTTTTTTTTTTTTT
--:-- / 11
TFTFTFFFFTTTFFFT
TTTTTTTTTTTTTTTT
--:PM / 11
TFTFTFFFFTTTFFFT
TTTTTTTTTTTTTTTT
--:-- / 11
TFTFTFFFFTTTFFFT
TTTTTTTTTTTTTTTT
--:-- / 11
TFTFTFFFFTTTFFFT
TTTTTTTTTTTTTTTT
--:-- / 11
TFTFTFFFFTTTFFFT
TTTTTTTTTTTTTTTT
--:-- / 11
DNF

0
TFTFTFFFFTTTFFFT
TTTTTTTTTTTTTTTT
--:-- / 11
TFTFTFFFFTTTFFFT
TTTTTTTTTTTTTTTT
--:-- / 11
7b

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

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

????????????????
------??--?-?---
--:-- / 0
T??FFT???T?T?FTF
T--TTT??-T?T?TTT
--:-- / 6
TTTFFT??FT?T?FTF
TTTTTT??TT?T?TTT
--:-- / 8
????????????????
------??--?-?---
--:-- / 0
????????????????
------??--?-?---
--:-- / 0
DNF

0
DNF

0
CC

0
????????????????
------??--?-?---
--:-- / 0
????????????????
------??--?-?---
--:-- / 0
CloudReconfiguration — P/T
  LTSMin Tapaal LoLA M4M.full M4M.struct ITS-Tools ITS-Tools.L GreatSPN Irma.full Irma.struct
Score 54 154 151 145 145 154 154 0 154 154
Road Runner 0 4 0 0 0 12 5 0 0 1
Camel 0 16 4 0 0 0 0 0 2 0
301

TFFTTFFTFFFTFFFF (expected value)

8.00 8.00 8.00 8.00 9.00 8.00 9.00 8.00 8.00 8.00 9.00 8.00 8.00 8.00 9.00 9.00 (confidence rate)

????T?F???F???FF
----T-T---T---TT
--:-- / 2
TFFTTFFTFFFTFFFF
TTTTTTTTTTTTTTTT
--:-M / 7
TFFTTFFTFFFTFFFF
TTTTTTTTTTTTTTTT
--:-- / 7
TFFTTFFTFFFTFFFF
TTTTTTTTTTTTTTTT
--:-- / 7
TFFTTFFTFFFTFFFF
TTTTTTTTTTTTTTTT
--:-- / 7
TFFTTFFTFFFTFFFF
TTTTTTTTTTTTTTTT
--:-- / 7
TFFTTFFTFFFTFFFF
TTTTTTTTTTTTTTTT
--:P- / 7
DNF

0
TFFTTFFTFFFTFFFF
TTTTTTTTTTTTTTTT
--:-- / 7
TFFTTFFTFFFTFFFF
TTTTTTTTTTTTTTTT
--:-- / 7
302

FFTTFTFFFFTFTFTT (expected value)

8.00 8.00 9.00 8.00 8.00 8.00 8.00 9.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 (confidence rate)

??T????F????????
--T----T--------
--:-- / 1
FFTTFTFFFFTFTFTT
TTTTTTTTTTTTTTTT
--:-- / 7
FFTTFTFFFFTFTFTT
TTTTTTTTTTTTTTTT
--:-M / 7
FFTTFTFFFFTFTFTT
TTTTTTTTTTTTTTTT
--:-- / 7
FFTTFTFFFFTFTFTT
TTTTTTTTTTTTTTTT
--:-- / 7
FFTTFTFFFFTFTFTT
TTTTTTTTTTTTTTTT
--:P- / 7
FFTTFTFFFFTFTFTT
TTTTTTTTTTTTTTTT
--:-- / 7
DNF

0
FFTTFTFFFFTFTFTT
TTTTTTTTTTTTTTTT
--:-- / 7
FFTTFTFFFFTFTFTT
TTTTTTTTTTTTTTTT
--:-- / 7
303

TFTFTTFFTTTFFTTF (expected value)

9.00 9.00 5.00 9.00 9.00 8.00 9.00 8.00 8.00 8.00 8.00 9.00 8.00 8.00 5.00 9.00 (confidence rate)

TF?FT?F????F???F
TT-TT-T----T---T
--:-- / 3
TFTFTTFFTTTFFTTF
TTTTTTTTTTTTTTTT
--:-M / 7
TF?FTTFFTTTFFT?F
TT-TTTTTTTTTTT-T
--:-- / 6
TF?FTTFFTTTFFT?F
TT-TTTTTTTTTTT-T
--:-- / 6
TF?FTTFFTTTFFT?F
TT-TTTTTTTTTTT-T
--:-- / 6
TFTFTTFFTTTFFTTF
TTTTTTTTTTTTTTTT
--:P- / 7
TFTFTTFFTTTFFTTF
TTTTTTTTTTTTTTTT
--:-- / 7
DNF

0
TFTFTTFFTTTFFTTF
TTTTTTTTTTTTTTTT
--:-- / 7
TFTFTTFFTTTFFTTF
TTTTTTTTTTTTTTTT
--:-- / 7
304

FTFTFTFFFFTFFFTF (expected value)

8.00 9.00 8.00 9.00 8.00 5.00 8.00 9.00 9.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 (confidence rate)

?T?T???FF???????
-T-T---TT-------
--:-- / 2
FTFTFTFFFFTFFFTF
TTTTTTTTTTTTTTTT
--:-M / 7
FTFTF?FFFFTFFFTF
TTTTT-TTTTTTTTTT
--:-- / 7
FTFTF?FFFFTFFFTF
TTTTT-TTTTTTTTTT
--:-- / 7
FTFTF?FFFFTFFFTF
TTTTT-TTTTTTTTTT
--:-- / 7
FTFTFTFFFFTFFFTF
TTTTTTTTTTTTTTTT
--:P- / 7
FTFTFTFFFFTFFFTF
TTTTTTTTTTTTTTTT
--:-- / 7
DNF

0
FTFTFTFFFFTFFFTF
TTTTTTTTTTTTTTTT
--:-- / 7
FTFTFTFFFFTFFFTF
TTTTTTTTTTTTTTTT
--:-- / 7
305

FFFFFFFFTTFFFTTT (expected value)

9.00 8.00 8.00 9.00 9.00 9.00 9.00 8.00 9.00 8.00 8.00 9.00 8.00 9.00 8.00 9.00 (confidence rate)

F??FFFF?T??F?T?T
T--TTTT-T--T-T-T
--:-- / 4
FFFFFFFFTTFFFTTT
TTTTTTTTTTTTTTTT
--:-M / 7
FFFFFFFFTTFFFTTT
TTTTTTTTTTTTTTTT
--:-- / 7
FFFFFFFFTTFFFTTT
TTTTTTTTTTTTTTTT
--:-- / 7
FFFFFFFFTTFFFTTT
TTTTTTTTTTTTTTTT
--:-- / 7
FFFFFFFFTTFFFTTT
TTTTTTTTTTTTTTTT
--:P- / 7
FFFFFFFFTTFFFTTT
TTTTTTTTTTTTTTTT
--:-- / 7
DNF

0
FFFFFFFFTTFFFTTT
TTTTTTTTTTTTTTTT
--:-- / 7
FFFFFFFFTTFFFTTT
TTTTTTTTTTTTTTTT
--:-- / 7
306

FFFFTFFTTFTTTFTT (expected value)

8.00 9.00 8.00 8.00 9.00 9.00 8.00 8.00 8.00 8.00 9.00 8.00 9.00 9.00 9.00 8.00 (confidence rate)

?F??TF????T?TFT?
-T--TT----T-TTT-
--:-- / 3
FFFFTFFTTFTTTFTT
TTTTTTTTTTTTTTTT
--:-- / 7
FFFFTFFTTFTTTFTT
TTTTTTTTTTTTTTTT
--:-M / 7
FFFFTFFTTFTTTFTT
TTTTTTTTTTTTTTTT
--:-- / 7
FFFFTFFTTFTTTFTT
TTTTTTTTTTTTTTTT
--:-- / 7
FFFFTFFTTFTTTFTT
TTTTTTTTTTTTTTTT
--:P- / 7
FFFFTFFTTFTTTFTT
TTTTTTTTTTTTTTTT
--:-- / 7
DNF

0
FFFFTFFTTFTTTFTT
TTTTTTTTTTTTTTTT
--:-- / 7
FFFFTFFTTFTTTFTT
TTTTTTTTTTTTTTTT
--:-- / 7
307

TTFFFTTTTFTTFFFT (expected value)

5.00 6.00 7.00 7.00 6.00 6.00 7.00 6.00 6.00 6.00 6.00 5.00 7.00 6.00 6.00 7.00 (confidence rate)

??FF??T?????F??T
--TT--T-----T--T
--:-- / 2
TTFFFTTTTFTTFFFT
TTTTTTTTTTTTTTTT
--:-- / 7
?TFFFTTTTFT?FFFT
-TTTTTTTTTT-TTTT
--:-- / 6
????????????????
----------------
--:-- / 0
????????????????
----------------
--:-- / 0
TTFFFTTTTFTTFFFT
TTTTTTTTTTTTTTTT
--:P- / 7
TTFFFTTTTFTTFFFT
TTTTTTTTTTTTTTTT
--:-- / 7
DNF

0
TTFFFTTTTFTTFFFT
TTTTTTTTTTTTTTTT
--:-M / 7
TTFFFTTTTFTTFFFT
TTTTTTTTTTTTTTTT
--:-- / 7
308

FTFFFTFFFFTFFFTT (expected value)

8.00 8.00 8.00 9.00 8.00 8.00 8.00 8.00 8.00 8.00 9.00 8.00 9.00 8.00 9.00 8.00 (confidence rate)

???F??????T?F?T?
---T------T-T-T-
--:-- / 2
FTFFFTFFFFTFFFTT
TTTTTTTTTTTTTTTT
--:-- / 7
FTFFFTFFFFTFFFTT
TTTTTTTTTTTTTTTT
--:-M / 7
FTFFFTFFFFTFFFTT
TTTTTTTTTTTTTTTT
--:-- / 7
FTFFFTFFFFTFFFTT
TTTTTTTTTTTTTTTT
--:-- / 7
FTFFFTFFFFTFFFTT
TTTTTTTTTTTTTTTT
--:-- / 7
FTFFFTFFFFTFFFTT
TTTTTTTTTTTTTTTT
--:P- / 7
DNF

0
FTFFFTFFFFTFFFTT
TTTTTTTTTTTTTTTT
--:-- / 7
FTFFFTFFFFTFFFTT
TTTTTTTTTTTTTTTT
--:-- / 7
309

TTTTTTFFFFFTTFFT (expected value)

8.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 9.00 8.00 (confidence rate)

??????????????F?
--------------T-
--:-- / 0
TTTTTTFFFFFTTFFT
TTTTTTTTTTTTTTTT
--:P- / 7
TTTTTTFFFFFTTFFT
TTTTTTTTTTTTTTTT
--:-M / 7
TTTTTTFFFFFTTFFT
TTTTTTTTTTTTTTTT
--:-- / 7
TTTTTTFFFFFTTFFT
TTTTTTTTTTTTTTTT
--:-- / 7
TTTTTTFFFFFTTFFT
TTTTTTTTTTTTTTTT
--:-- / 7
TTTTTTFFFFFTTFFT
TTTTTTTTTTTTTTTT
--:-- / 7
DNF

0
TTTTTTFFFFFTTFFT
TTTTTTTTTTTTTTTT
--:-- / 7
TTTTTTFFFFFTTFFT
TTTTTTTTTTTTTTTT
--:-- / 7
310

FFTTFFTFTTFTFFFF (expected value)

8.00 8.00 8.00 9.00 9.00 5.00 9.00 8.00 8.00 8.00 8.00 9.00 9.00 8.00 5.00 8.00 (confidence rate)

???TF?T????TF???
---TT-T----TT---
--:-- / 2
FFTTFFTFTTFTFFFF
TTTTTTTTTTTTTTTT
--:-- / 7
FFTTF?TFTTFTFF?F
TTTTT-TTTTTTTT-T
--:-- / 6
FFTTF?TFTTFTFF?F
TTTTT-TTTTTTTT-T
--:-- / 6
FFTTF?TFTTFTFF?F
TTTTT-TTTTTTTT-T
--:-- / 6
FFTTFFTFTTFTFFFF
TTTTTTTTTTTTTTTT
--:P- / 7
FFTTFFTFTTFTFFFF
TTTTTTTTTTTTTTTT
--:-- / 7
DNF

0
FFTTFFTFTTFTFFFF
TTTTTTTTTTTTTTTT
--:-M / 7
FFTTFFTFTTFTFFFF
TTTTTTTTTTTTTTTT
--:-- / 7
311

TTFFFTTTTTFFTTTT (expected value)

9.00 8.00 9.00 9.00 8.00 9.00 9.00 8.00 6.00 8.00 8.00 9.00 8.00 8.00 9.00 8.00 (confidence rate)

T?FF?TT?T??F??T?
T-TT-TT-T--T--T-
--:-- / 4
TTFFFTTTTTFFTTTT
TTTTTTTTTTTTTTTT
--:-M / 7
TTFFFTTT?TFFTTTT
TTTTTTTT-TTTTTTT
--:-- / 7
TTFFFTTT?TFFTTTT
TTTTTTTT-TTTTTTT
--:-- / 7
TTFFFTTT?TFFTTTT
TTTTTTTT-TTTTTTT
--:-- / 7
TTFFFTTTTTFFTTTT
TTTTTTTTTTTTTTTT
--:-- / 7
TTFFFTTTTTFFTTTT
TTTTTTTTTTTTTTTT
--:P- / 7
DNF

0
TTFFFTTTTTFFTTTT
TTTTTTTTTTTTTTTT
--:-- / 7
TTFFFTTTTTFFTTTT
TTTTTTTTTTTTTTTT
--:-- / 7
312

TTFFFTFFFTTFTFFF (expected value)

8.00 9.00 8.00 8.00 8.00 9.00 9.00 8.00 9.00 9.00 9.00 8.00 9.00 9.00 9.00 9.00 (confidence rate)

?T???TF?FTT?TFFF
-T---TT-TTT-TTTT
--:-- / 5
TTFFFTFFFTTFTFFF
TTTTTTTTTTTTTTTT
--:PM / 7
TTFFFTFFFTTFTFFF
TTTTTTTTTTTTTTTT
--:-- / 7
TTFFFTFFFTTFTFFF
TTTTTTTTTTTTTTTT
--:-- / 7
TTFFFTFFFTTFTFFF
TTTTTTTTTTTTTTTT
--:-- / 7
TTFFFTFFFTTFTFFF
TTTTTTTTTTTTTTTT
--:-- / 7
TTFFFTFFFTTFTFFF
TTTTTTTTTTTTTTTT
--:-- / 7
DNF

0
TTFFFTFFFTTFTFFF
TTTTTTTTTTTTTTTT
--:-- / 7
TTFFFTFFFTTFTFFF
TTTTTTTTTTTTTTTT
--:-- / 7
313

FTFTFTFFFTFFFFFT (expected value)

8.00 8.00 9.00 8.00 9.00 8.00 9.00 8.00 8.00 9.00 9.00 9.00 9.00 8.00 8.00 9.00 (confidence rate)

??F?F?F??TFFF??T
--T-T-T--TTTT--T
--:-- / 4
FTFTFTFFFTFFFFFT
TTTTTTTTTTTTTTTT
--:-M / 7
FTFTFTFFFTFFFFFT
TTTTTTTTTTTTTTTT
--:-- / 7
FTFTFTFFFTFFFFFT
TTTTTTTTTTTTTTTT
--:-- / 7
FTFTFTFFFTFFFFFT
TTTTTTTTTTTTTTTT
--:-- / 7
FTFTFTFFFTFFFFFT
TTTTTTTTTTTTTTTT
--:P- / 7
FTFTFTFFFTFFFFFT
TTTTTTTTTTTTTTTT
--:-- / 7
DNF

0
FTFTFTFFFTFFFFFT
TTTTTTTTTTTTTTTT
--:-- / 7
FTFTFTFFFTFFFFFT
TTTTTTTTTTTTTTTT
--:-- / 7
314

FFTTTTTFFFFTFTFF (expected value)

8.00 8.00 9.00 8.00 8.00 8.00 9.00 8.00 9.00 8.00 8.00 9.00 8.00 8.00 8.00 9.00 (confidence rate)

??T???T?F??T???F
--T---T-T--T---T
--:-- / 2
FFTTTTTFFFFTFTFF
TTTTTTTTTTTTTTTT
--:PM / 7
FFTTTTTFFFFTFTFF
TTTTTTTTTTTTTTTT
--:-- / 7
FFTTTTTFFFFTFTFF
TTTTTTTTTTTTTTTT
--:-- / 7
FFTTTTTFFFFTFTFF
TTTTTTTTTTTTTTTT
--:-- / 7
FFTTTTTFFFFTFTFF
TTTTTTTTTTTTTTTT
--:-- / 7
FFTTTTTFFFFTFTFF
TTTTTTTTTTTTTTTT
--:-- / 7
DNF

0
FFTTTTTFFFFTFTFF
TTTTTTTTTTTTTTTT
--:-- / 7
FFTTTTTFFFFTFTFF
TTTTTTTTTTTTTTTT
--:-- / 7
315

TTFFFTTFTFFFFTFF (expected value)

8.00 8.00 8.00 8.00 9.00 9.00 8.00 8.00 8.00 9.00 8.00 8.00 8.00 8.00 8.00 8.00 (confidence rate)

????FT???F??????