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

Introduction

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

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

The structure of a table cell is always the same. In black, you have the output provided by the tool followed by the interpretation mask stating if the tool did computed something corresponding to the expected values (T means that it is the expected result, ? means that no tool computed the corresponding value and X means that the value is not the expected one). Then, three consistency flags are displayed : V means that at least one value was wrong (i.e. at least one X in the result mask), C means that the tool was not consistent between the colored Petri net and the P/T equivalent one. 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 ReachabilityFireability
  LTSMin Tapaal LoLA M4M.full M4M.struct ITS-Tools ITS-Tools.L GreatSPN Irma.full Irma.struct
Total Points 8529 14520 13442 5396 5331 10824 10889 5984 5793 5750

All «Surprise» models
 
  LTSMin Tapaal LoLA M4M.full M4M.struct ITS-Tools ITS-Tools.L GreatSPN Irma.full Irma.struct
Total Points 3188 5336 4856 0 0 3756 3888 1860 0 0
Road Runner 0 39 39 0 0 5 8 2 0 0
Camel 0 55 34 0 0 0 4 0 0 0
ASLink — P/T
  LTSMin Tapaal LoLA M4M.full M4M.struct ITS-Tools ITS-Tools.L GreatSPN Irma.full Irma.struct
Score 96 308 248 0 0 116 188 32 0 0
Road Runner 0 1 0 0 0 0 5 0 0 0
Camel 0 2 0 0 0 0 4 0 0 0
01a

FFTTFFFTFFTTTTFT (expected value)

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

FFTTFFFTFFTTTTFT
TTTTTTTTTTTTTTTT
--:-- / 32
FFTTFFFTFFTTTTFT
TTTTTTTTTTTTTTTT
--:-M / 32
FFTTFF??F?TTT?FT
TTTTTT--T-TTT-TT
--:-- / 24
CC

0
CC

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

0
CC

0
01b

TTFTTFFTTTTFTFTT (expected value)

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

TTF?T?F??T?????T
TTT-T-T--T-----T
--:-- / 12
TTFTTFFTTTTFTFTT
TTTTTTTTTTTTTTTT
--:PM / 32
T?FTTFFT?T??TFTT
T-TTTTTT-T--TTTT
--:-- / 24
CC

0
CC

0
TTFT?FF???????T?
TTTT-TT-------T-
--:-- / 12
TTFT?F????????T?
TTTT-T--------T-
--:-- / 12
DNF

0
CC

0
CC

0
02a

TFFFFFTTTTTTFFFF (expected value)

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

??????TT?TT??F??
------TT-TT--T--
--:-- / 8
??F???TTTTT??F?F
--T---TTTTT--T-T
--:-- / 16
??????TT?TT??F??
------TT-TT--T--
--:-- / 8
CC

0
CC

0
TFFFFFTTTTTTFFFF
TTTTTTTTTTTTTTTT
--:-- / 32
TFFFFFTTTTTTFFFF
TTTTTTTTTTTTTTTT
--:PM / 32
DNF

0
CC

0
CC

0
02b

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

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

?T???????F??????
?T?-?----T---?-?
--:-- / 4
?T?F?TTTTFTTT?T?
?T?T?TTTTTTTT?T?
--:-- / 20
?T?F??TTTFTTT?T?
?T?T?-TTTTTTT?T?
--:-- / 20
CC

0
CC

0
DNF

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

0
CC

0
CC

0
03a

TTFFTFTFFFTFFTTF (expected value)

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

T?????????????TF
T-------------TT
--:-- / 4
TTF?T?T??F????TF
TTT-T-T--T----TT
--:-- / 16
T???T?T??F????T?
T---T-T--T----T-
--:-- / 8
CC

0
CC

0
TTFFTFTFFFTFFTTF
TTTTTTTTTTTTTTTT
--:-- / 32
TTFFTFTFFFTFFTTF
TTTTTTTTTTTTTTTT
--:PM / 32
DNF

0
CC

0
CC

0
03b

? TT? ? FF? FF? ? TTT? (expected value)

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

?T???F???F???T??
?T-??T-?-T??-T-?
--:-- / 8
?TT??FF?FF??TTT?
?TT??TT?TT??TTT?
--:-- / 16
?T???FF??F???TT?
?T-??TT?-T??-TT?
--:-- / 12
CC

0
CC

0
DNF

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

0
CC

0
CC

0
04a

? TTTT? ? FFFTTT? FT (expected value)

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

?T??T??????????T
?T--T??------?-T
--:-- / 4
??TTT??F?FTTT?FT
?-TTT??T-TTTT?TT
--:-- / 20
??T?T????FT?T?FT
?-T-T??--TT-T?TT
--:-- / 12
CC

0
CC

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

0
DNF

0
CC

0
CC

0
04b

TFTTTT? F? FTTTF? T (expected value)

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

??T??T???????F??
--T--T?-?----T?-
--:-- / 4
TFTT?T?F?FTTTF?T
TTTT-T?T?TTTTT?T
--:-- / 24
T?T?TT?F?F?T?F??
T-T-TT?T?T-T-T?-
--:-- / 16
CC

0
CC

0
DNF

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

0
CC

0
CC

0
05a

FTFFTTTTTFTFFFTT (expected value)

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

????TT??????????
----TT----------
--:-- / 4
?T?F??T?TFT????T
-T-T--T-TTT----T
--:-- / 12
?T??T?T?T?T????T
-T--T-T-T-T----T
--:-- / 12
CC

0
CC

0
???F???????????T
---T-----------T
--:-- / 4
FTFFTTTTTFTFFFTT
TTTTTTTTTTTTTTTT
--:PM / 32
DNF

0
CC

0
CC

0
05b

TTF? ? T? ? ? TT? ? ? T? (expected value)

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

T????T???T??????
T--??T???T-???-?
--:-- / 4
TTF??T???TT?????
TTT??T???TT???-?
--:-- / 12
T????T???TT???T?
T--??T???TT???T?
--:-- / 8
CC

0
CC

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

0
CC

0
CC

0
06a

TFFFTTTTFTFFFFFF (expected value)

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

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

0
CC

0
????T???????????
----T-----------
--:-- / 0
TFFFTTTTFTFFFFFF
TTTTTTTTTTTTTTTT
--:PM / 32
DNF

0
CC

0
CC

0
06b

? TFTF? ? ? FTT? ? ? TT (expected value)

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

????????????????
?----???---???--
--:-- / 0
?TFT????FTT???TT
?TTT-???TTT???TT
--:-- / 16
?TFTF???FT??????
?TTTT???TT-???--
--:-- / 12
CC

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
CC

0
07a

? TT? ? ? TFTTT? TF? ? (expected value)

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

????????????????
?--???-----?--??
--:-- / 0
?TT????FTTT??F??
?TT???-TTTT?-T??
--:-- / 12
?TT???T?TT??T???
?TT???T-TT-?T-??
--:-- / 12
CC

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
CC

0
07b

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

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

??T????F?F??????
?-T???-T?T??---?
--:-- / 4
?TT????F?F??TTF?
?TT???-T?T??TTT?
--:-- / 12
??????TF?F??TT??
?--???TT?T??TT-?
--:-- / 8
CC

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
CC

0
08a

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

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

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

0
CC

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

0
DNF

0
CC

0
CC

0
08b

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

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

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

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
CC

0
09a

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

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

?F???????????T??
-T???????-?-?T??
--:-- / 4
TF???????F???T??
TT???????T?-?T??
--:-- / 8
TF???????F?T?T??
TT???????T?T?T??
--:-- / 8
CC

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
CC

0
09b

FT? ? T? ? ? TFFT? ? T? (expected value)

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

????????????????
--??-???----??-?
--:-- / 0
FT??T???TFFT??T?
TT??T???TTTT??T?
--:-- / 16
F???T???T?FT??T?
T-??T???T-TT??T?
--:-- / 12
CC

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
CC

0
10a

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

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

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

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
CC

0
10b

TT? TTTT? ? ? TTTT? T (expected value)

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

???T??T?????????
--?T--T???----?-
--:-- / 4
TT?TT?T???TTT??T
TT?TT-T???TTT-?T
--:-- / 16
TT?TTTT???TTTT?T
TT?TTTT???TTTT?T
--:-- / 20
CC

0
CC

0
DNF

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 272 640 616 0 0 568 416 64 0 0
Road Runner 0 14 6 0 0 0 0 0 0 0
Camel 0 15 5 0 0 0 0 0 0 0
01

TFFFTTTTFFTFFTTT (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)

TFFFTTTTFFTFFTTT
TTTTTTTTTTTTTTTT
--:-- / 32
TFFFTTTTFFTFFTTT
TTTTTTTTTTTTTTTT
--:PM / 32
TFFFTTTTFFTFFTTT
TTTTTTTTTTTTTTTT
--:-- / 32
CC

0
CC

0
TFFFTTTTFFTFFTTT
TTTTTTTTTTTTTTTT
--:-- / 32
TFFFTTTTFFTFFTTT
TTTTTTTTTTTTTTTT
--:-- / 32
TFFFTTTTFFTFFTTT
TTTTTTTTTTTTTTTT
--:-- / 32
CC

0
CC

0
02

FTFFTFTFTTTFTFFT (expected value)

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

FTFFTFTFTTTFTFFT
TTTTTTTTTTTTTTTT
--:-- / 32
FTFFTFTFTTTFTFFT
TTTTTTTTTTTTTTTT
--:PM / 32
FTFFTFT?TTTFTFFT
TTTTTTT-TTTTTTTT
--:-- / 28
CC

0
CC

0
FTFFTFTFTTTFTFFT
TTTTTTTTTTTTTTTT
--:-- / 32
FTFFTFTFTTTFTFFT
TTTTTTTTTTTTTTTT
--:-- / 32
FTFFTFTFTTTFTFFT
TTTTTTTTTTTTTTTT
--:-- / 32
CC

0
CC

0
03

TFFFFFFTFTTTTFTF (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)

TFFFFFFTFTTTTFTF
TTTTTTTTTTTTTTTT
--:-- / 32
TFFFFFFTFTTTTFTF
TTTTTTTTTTTTTTTT
--:PM / 32
TFFFFFFTFTTTTFTF
TTTTTTTTTTTTTTTT
--:-- / 32
CC

0
CC

0
TFFFFFFTFTTTTFTF
TTTTTTTTTTTTTTTT
--:-- / 32
TFFFFFFTFTTTTFTF
TTTTTTTTTTTTTTTT
--:-- / 32
DNF

0
CC

0
CC

0
04

TTTTTTTFFFTTTFTT (expected value)

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

TTTT???F?FTTT??T
TTTT---T-TTTT--T
--:-- / 20
TTTTTTTFFFTTTFTT
TTTTTTTTTTTTTTTT
--:PM / 32
TTTTTTTFFFTTTFTT
TTTTTTTTTTTTTTTT
--:-- / 32
CC

0
CC

0
TTTTTTTFFFTTTFTT
TTTTTTTTTTTTTTTT
--:-- / 32
TTTTTTTFFFTTTFTT
TTTTTTTTTTTTTTTT
--:-- / 32
DNF

0
CC

0
CC

0
05

TFFFTFFTTFTFTTFT (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)

TFFFTFFTTFTFTTFT
TTTTTTTTTTTTTTTT
--:-- / 32
TFFFTFFTTFTFTTFT
TTTTTTTTTTTTTTTT
--:PM / 32
TF?FTFFTTFTFTTFT
TT-TTTTTTTTTTTTT
--:-- / 28
CC

0
CC

0
TFFFTFFTTFTFTTFT
TTTTTTTTTTTTTTTT
--:-- / 32
TFFFTFFTTFTFTTFT
TTTTTTTTTTTTTTTT
--:-- / 32
DNF

0
CC

0
CC

0
06

FFFTFFTFFFTTFTTF (expected value)

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

FFFTFFTFFFTTFTTF
TTTTTTTTTTTTTTTT
--:-- / 32
FFFTFFTFFFTTFTTF
TTTTTTTTTTTTTTTT
--:PM / 32
FFFTFFTFFFTTFTTF
TTTTTTTTTTTTTTTT
--:-- / 32
CC

0
CC

0
FFFTFFTFFFTTFTTF
TTTTTTTTTTTTTTTT
--:-- / 32
FFFTFFTFFFT??T??
TTTTTTTTTTT--T--
--:-- / 24
DNF

0
CC

0
CC

0
07

TTTFFTTTFTTTFFFF (expected value)

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

?TTF?TTTFT?T?F??
-TTT-TTTTT-T-T--
--:-- / 20
TTTFFTTTFTTTFFFF
TTTTTTTTTTTTTTTT
--:PM / 32
TTTFFTTTFTTTFF?F
TTTTTTTTTTTTTT-T
--:-- / 28
CC

0
CC

0
TTTF?TTTFTTTFF?F
TTTT-TTTTTTTTT-T
--:-- / 28
TTTF????????F??F
TTTT--------T--T
--:-- / 12
DNF

0
CC

0
CC

0
08

TFTFTTTTFTTTTFTT (expected value)

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

?????TTT???????T
-----TTT-------T
--:-- / 8
TFTFTTTTFTTTTFTT
TTTTTTTTTTTTTTTT
--:PM / 32
TFTFTTTTFTTTTFTT
TTTTTTTTTTTTTTTT
--:-- / 32
CC

0
CC

0
TFTFTTTTFTTTTFTT
TTTTTTTTTTTTTTTT
--:-- / 32
TFTFTTTTFTTTTFTT
TTTTTTTTTTTTTTTT
--:-- / 32
DNF

0
CC

0
CC

0
09

FTTTTTTTTTTTTTFF (expected value)

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

FTTTTTTTTTTTT???
TTTTTTTTTTTTT---
--:-- / 24
FTTTTTTTTTTTTTFF
TTTTTTTTTTTTTTTT
--:-- / 32
FTTTTTTTTTTTTTFF
TTTTTTTTTTTTTTTT
--:PM / 32
CC

0
CC

0
FTTTTTTTTTTTTTFF
TTTTTTTTTTTTTTTT
--:-- / 32
FTT????????????F
TTT------------T
--:-- / 8
DNF

0
CC

0
CC

0
10

FFTTTTFTFFTFTTTT (expected value)

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

??T?TTFT?FT?TTTT
--T-TTTT-TT-TTTT
--:-- / 20
FFTTTTFTFFTFTTTT
TTTTTTTTTTTTTTTT
--:-- / 32
FFTTTTFTFFTFTTTT
TTTTTTTTTTTTTTTT
--:PM / 32
CC

0
CC

0
FFTT???????F????
TTTT-------T----
--:-- / 8
FF?T???????F????
TT-T-------T----
--:-- / 8
DNF

0
CC

0
CC

0
11

TTTFTFTFFTTTTTFF (expected value)

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

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

0
CC

0
TTTFTFTFFTTTTTFF
TTTTTTTTTTTTTTTT
--:-- / 32
TTTF????F??T??F?
TTTT----T--T--T-
--:-- / 12
DNF

0
CC

0
CC

0
12

TFTFFFTTFTFFFTTF (expected value)

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

???????????FF???
-----------TT---
--:-- / 4
TFTFFFTTFTFFFTTF
TTTTTTTTTTTTTTTT
--:PM / 32
TFTFFFTTFTFFFTTF
TTTTTTTTTTTTTTTT
--:-- / 32
CC

0
CC

0
TFTFFFTTFTFFFTTF
TTTTTTTTTTTTTTTT
--:-- / 32
TFTFFFTTFT?FFTT?
TTTTTTTTTT-TTTT-
--:-- / 28
DNF

0
CC

0
CC

0
13

FTTFFFFTTTFFFTTF (expected value)

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

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

0
CC

0
FTTFFFFTTTFFFTTF
TTTTTTTTTTTTTTTT
--:-- / 32
?TTFFFFT?T??FTTF
-TTTTTTT-T--TTTT
--:-- / 24
DNF

0
CC

0
CC

0
14

FTTTFTFFFTTFTTTT (expected value)

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

???T???????????T
---T-----------T
--:-- / 4
FTTTFTFFFTTFTTTT
TTTTTTTTTTTTTTTT
--:PM / 32
FTTTFTFFFTTFTTT?
TTTTTTTTTTTTTTT-
--:-- / 28
CC

0
CC

0
FTTTFTF?FTTFTTTT
TTTTTTT-TTTTTTTT
--:-- / 28
FTTTFTF?FTTFTTTT
TTTTTTT-TTTTTTTT
--:-- / 28
DNF

0
CC

0
CC

0
15

TTFFFTFTFTTTFTTT (expected value)

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

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

0
CC

0
TTFFFTFTFTTTFTTT
TTTTTTTTTTTTTTTT
--:-- / 32
DNF

0
DNF

0
CC

0
CC

0
16

TFTTTTFFFFTFFFFF (expected value)

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

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

0
CC

0
TFTTTTFFFFTF?F??
TTTTTTTTTTTT-T--
--:-- / 24
T?T??T???????F??
T-T--T-------T--
--:-- / 8
DNF

0
CC

0
CC

0
17

TFFFTTFTFFTFTFTT (expected value)

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

????????????????
----------------
--:-- / 0
TFFFTTFTFFTFTFTT
TTTTTTTTTTTTTTTT
--:-M / 32
TFFFTTFTFFTFTFTT
TTTTTTTTTTTTTTTT
--:P- / 32
CC

0
CC

0
TFFFTTFTFFTFTFTT
TTTTTTTTTTTTTTTT
--:-- / 32
TF?FTTF?F?TFT?TT
TT-TTTT-T-TTT-TT
--:-- / 24
DNF

0
CC

0
CC

0
18

TTTTTTFFFTFFTTFF (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 3.00 3.00 2.00 4.00 (confidence rate)

????????????????
----------------
--:-- / 0
TTTTTTFFFTFFTTFF
TTTTTTTTTTTTTTTT
--:PM / 32
TTTTTTFFFTFFTT?F
TTTTTTTTTTTTTT-T
--:-- / 28
CC

0
CC

0
TTTTTTFFFTFFTTFF
TTTTTTTTTTTTTTTT
--:-- / 32
TTTTTTFFFTFF???F
TTTTTTTTTTTT---T
--:-- / 24
DNF

0
CC

0
CC

0
19

TTTTTTFTTFTFTTTT (expected value)

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

??????????????T?
--------------T-
--:-- / 0
TTTTTTFTTFTFTTTT
TTTTTTTTTTTTTTTT
--:PM / 32
TTTT?TFTTFTFTTTT
TTTT-TTTTTTTTTTT
--:-- / 28
CC

0
CC

0
TTTTTTFTTFTFTTTT
TTTTTTTTTTTTTTTT
--:-- / 32
TTTTTT?T?FTF?TTT
TTTTTT-T-TTT-TTT
--:-- / 24
DNF

0
CC

0
CC

0
20

FTFTFTFFFTTFTFFF (expected value)

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

?????T??FT?F????
-----T--TT-T----
--:-- / 8
FTFTFTFFFTTFTFFF
TTTTTTTTTTTTTTTT
--:PM / 32
FTFTFTFFFTTFTFFF
TTTTTTTTTTTTTTTT
--:-- / 32
CC

0
CC

0
DNF

0
DNF

0
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 268 492 536 0 0 280 280 0 0 0
Road Runner 0 2 10 0 0 0 0 0 0 0
Camel 0 6 6 0 0 0 0 0 0 0
2a

TFFFFTFFTTTTTFTT (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)

TFFFFTFFTTTTTFTT
TTTTTTTTTTTTTTTT
--:-- / 40
TFFFFTFFTTTTTFTT
TTTTTTTTTTTTTTTT
--:-- / 40
TFFFFTFFTTTTTFTT
TTTTTTTTTTTTTTTT
--:PM / 40
CC

0
CC

0
TFFFFTFFTTTTTFTT
TTTTTTTTTTTTTTTT
--:-- / 40
TFFFFTFFTTTTTFTT
TTTTTTTTTTTTTTTT
--:-- / 40
CC

0
CC

0
CC

0
2b

TTFFFTTTTTFTTFFT (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
TTFFFTTTTTFTTFFT
TTTTTTTTTTTTTTTT
--:-- / 40
TTFFFTTTTTFTTFFT
TTTTTTTTTTTTTTTT
--:PM / 40
CC

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
CC

0
3a

TFFTTTFTFTTTTTTF (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)

TFFTTTFTFTTTTTTF
TTTTTTTTTTTTTTTT
--:-- / 40
TFFTTTFTFTTTTTTF
TTTTTTTTTTTTTTTT
--:PM / 40
TFFTTTFTFTTTTTTF
TTTTTTTTTTTTTTTT
--:-- / 40
CC

0
CC

0
TFFTTTFTFTTTTTTF
TTTTTTTTTTTTTTTT
--:-- / 40
TFFTTTFTFTTTTTTF
TTTTTTTTTTTTTTTT
--:-- / 40
CC

0
CC

0
CC

0
3b

TTFFTFTTFTTTFFTT (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
TTFFTFTTFTTTFFTT
TTTTTTTTTTTTTTTT
--:-- / 40
TTFFTFTTFTTTFFTT
TTTTTTTTTTTTTTTT
--:PM / 40
CC

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
CC

0
4a

FTTFFTTTTTTTTTFT (expected value)

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

FTTFFTTTTTTTTTFT
TTTTTTTTTTTTTTTT
--:-- / 40
FTTFFTTTTTTTTTFT
TTTTTTTTTTTTTTTT
--:PM / 40
FTTF?TTTTTTTTTFT
TTTT-TTTTTTTTTTT
--:-- / 36
CC

0
CC

0
FTTFFTTTTTTTTTFT
TTTTTTTTTTTTTTTT
--:-- / 40
FTTFFTTTTTTTTTFT
TTTTTTTTTTTTTTTT
--:-- / 40
CC

0
CC

0
CC

0
4b

FTTTTFTTFTFFTTTT (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
FTTTTFTTFTFFTTTT
TTTTTTTTTTTTTTTT
--:-- / 40
FTTTTFTTFTFFTTTT
TTTTTTTTTTTTTTTT
--:PM / 40
CC

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
CC

0
5a

TTTFFFFTFFTTFTFT (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)

TTTFFFFTFFTTFTFT
TTTTTTTTTTTTTTTT
--:-- / 40
TTTFFFFTFFTTFTFT
TTTTTTTTTTTTTTTT
--:-M / 40
TTTFFFFTFFTTFTFT
TTTTTTTTTTTTTTTT
--:P- / 40
CC

0
CC

0
TTTFFFFTFFTTFTFT
TTTTTTTTTTTTTTTT
--:-- / 40
TTTFFFFTFFTTFTFT
TTTTTTTTTTTTTTTT
--:-- / 40
CC

0
CC

0
CC

0
5b

TTTTTTTFTTFTTFFT (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 1.00 1.00 2.00 2.00 (confidence rate)

????????????????
----------------
--:-- / 0
TTTTTTTFTTFTT?FT
TTTTTTTTTTTTT-TT
--:-- / 36
TTTTTTTFTTFT?FFT
TTTTTTTTTTTT-TTT
--:-- / 36
CC

0
CC

0
DNF

0
DNF

0
CC

0
CC

0
CC

0
6a

TFTTTTTTFFTTTTTF (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)

TFTTTTTTFFTTTTTF
TTTTTTTTTTTTTTTT
--:-- / 40
TFTTTTTTFFTTTTTF
TTTTTTTTTTTTTTTT
--:-M / 40
TFTTTTTTFFTTTTTF
TTTTTTTTTTTTTTTT
--:P- / 40
CC

0
CC

0
TFTTTTTTFFTTTTTF
TTTTTTTTTTTTTTTT
--:-- / 40
TFTTTTTTFFTTTTTF
TTTTTTTTTTTTTTTT
--:-- / 40
CC

0
CC

0
CC

0
6b

TTTTTTFFFFTFFTFF (expected value)

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

????????????????
----------------
--:-- / 0
T?TTTTF?FFTFF?FF
T-TTTTT-TTTTT-TT
--:-- / 32
TTTTTTFFFFTFFTFF
TTTTTTTTTTTTTTTT
--:PM / 40
CC

0
CC

0
DNF

0
DNF

0
CC

0
CC

0
CC

0
7a

FTFFTTTFTTTFFFTF (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)

FTFFTTTFTTTFFFTF
TTTTTTTTTTTTTTTT
--:-- / 40
FTFFTTTFTTTFFFTF
TTTTTTTTTTTTTTTT
--:-M / 40
FTFFTTTFTTTFFFTF
TTTTTTTTTTTTTTTT
--:P- / 40
CC

0
CC

0
FTFFTTTFTTTFFFTF
TTTTTTTTTTTTTTTT
--:-- / 40
FTFFTTTFTTTFFFTF
TTTTTTTTTTTTTTTT
--:-- / 40
CC

0
CC

0
CC

0
7b

TFTTTTTTTTTTFTTT (expected value)

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

????????????????
----------------
--:-- / 0
T?????T?????F???
T-----T-----T---
--:-- / 8
TFTTTTTTTTTTFTTT
TTTTTTTTTTTTTTTT
--:PM / 40
CC

0
CC

0
DNF

0
DNF

0
CC

0
CC

0
CC

0
8a

FTTTTFFFFTFTTTFT (expected value)

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

FTTTT?FF?T?TT??T
TTTTT-TT-T-TT--T
--:-- / 28
FTTTTFFFFTFTTTFT
TTTTTTTTTTTTTTTT
--:-M / 40
FTTTTFFFFTFTTTFT
TTTTTTTTTTTTTTTT
--:P- / 40
CC

0
CC

0
FTTTTFFFFTFTTTFT
TTTTTTTTTTTTTTTT
--:-- / 40
FTTTTFFFFTFTTTFT
TTTTTTTTTTTTTTTT
--:-- / 40
CC

0
CC

0
CC

0
8b

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

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

????????????????
-?------?----??-
--:-- / 0
T?????FT?FTF????
T?----TT?TTT-??-
--:-- / 16
T?FFFF?T?FT?T??F
T?TTTT-T?TT-T??T
--:-- / 24
CC

0
CC

0
DNF

0
DNF

0
CC

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 608 640 632 0 0 640 640 608 0 0
Road Runner 0 6 10 0 0 2 2 0 0 0
Camel 0 9 11 0 0 0 0 0 0 0
06a

TFFTFTFTTTFTTFTT (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)

TFFTFTFTTTFTTFTT
TTTTTTTTTTTTTTTT
--:-- / 32
TFFTFTFTTTFTTFTT
TTTTTTTTTTTTTTTT
--:-M / 32
TFFTFTFTTTFTTFTT
TTTTTTTTTTTTTTTT
--:-- / 32
CC

0
CC

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

0
CC

0
06b

FTTTTFTTTTTFTTFT (expected value)

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

FTTTTFTTTTTFTTFT
TTTTTTTTTTTTTTTT
--:-- / 32
FTTTTFTTTTTFTTFT
TTTTTTTTTTTTTTTT
--:PM / 32
FTTTTFTTTT?FTTFT
TTTTTTTTTT-TTTTT
--:-- / 28
CC

0
CC

0
FTTTTFTTTTTFTTFT
TTTTTTTTTTTTTTTT
--:-- / 32
FTTTTFTTTTTFTTFT
TTTTTTTTTTTTTTTT
--:-- / 32
FTTTTFTTTTTFTTFT
TTTTTTTTTTTTTTTT
--:-- / 32
CC

0
CC

0
07a

FTTTTFFFTTTTFTFT (expected value)

5.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)

FTTTTFFFTTTTFTFT
TTTTTTTTTTTTTTTT
--:-- / 32
FTTTTFFFTTTTFTFT
TTTTTTTTTTTTTTTT
--:PM / 32
?TTTTFFFTTTTFTFT
-TTTTTTTTTTTTTTT
--:-- / 28
CC

0
CC

0
FTTTTFFFTTTTFTFT
TTTTTTTTTTTTTTTT
--:-- / 32
FTTTTFFFTTTTFTFT
TTTTTTTTTTTTTTTT
--:-- / 32
FTTTTFFFTTTTFTFT
TTTTTTTTTTTTTTTT
--:-- / 32
CC

0
CC

0
07b

TTTTFFFFTFTFFFTF (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)

TTTTFFFFTFTFFFTF
TTTTTTTTTTTTTTTT
--:-- / 32
TTTTFFFFTFTFFFTF
TTTTTTTTTTTTTTTT
--:PM / 32
TTTTFFFFTFTFFFTF
TTTTTTTTTTTTTTTT
--:-- / 32
CC

0
CC

0
TTTTFFFFTFTFFFTF
TTTTTTTTTTTTTTTT
--:-- / 32
TTTTFFFFTFTFFFTF
TTTTTTTTTTTTTTTT
--:-- / 32
TTTTFFFFTFTFFFTF
TTTTTTTTTTTTTTTT
--:-- / 32
CC

0
CC

0
08a

TFTTFTFTTTFTTTFF (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)

TFTTFTFTTTFTTTFF
TTTTTTTTTTTTTTTT
--:-- / 32
TFTTFTFTTTFTTTFF
TTTTTTTTTTTTTTTT
--:-- / 32
TFTTFTFTTTFTTTFF
TTTTTTTTTTTTTTTT
--:PM / 32
CC

0
CC

0
TFTTFTFTTTFTTTFF
TTTTTTTTTTTTTTTT
--:-- / 32
TFTTFTFTTTFTTTFF
TTTTTTTTTTTTTTTT
--:-- / 32
TFTTFTFTTTFTTTFF
TTTTTTTTTTTTTTTT
--:-- / 32
CC

0
CC

0
08b

TTFFFTFTTTFTFTTF (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)

TTFFFTFTTTFTFTTF
TTTTTTTTTTTTTTTT
--:-- / 32
TTFFFTFTTTFTFTTF
TTTTTTTTTTTTTTTT
--:-- / 32
TTFFFTFTTTFTFTTF
TTTTTTTTTTTTTTTT
--:PM / 32
CC

0
CC

0
TTFFFTFTTTFTFTTF
TTTTTTTTTTTTTTTT
--:-- / 32
TTFFFTFTTTFTFTTF
TTTTTTTTTTTTTTTT
--:-- / 32
TTFFFTFTTTFTFTTF
TTTTTTTTTTTTTTTT
--:-- / 32
CC

0
CC

0
09a

TFFFFFTTTTTTTFTT (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)

TFFFFFTTTTTTTFTT
TTTTTTTTTTTTTTTT
--:-- / 32
TFFFFFTTTTTTTFTT
TTTTTTTTTTTTTTTT
--:-- / 32
TFFFFFTTTTTTTFTT
TTTTTTTTTTTTTTTT
--:PM / 32
CC

0
CC

0
TFFFFFTTTTTTTFTT
TTTTTTTTTTTTTTTT
--:-- / 32
TFFFFFTTTTTTTFTT
TTTTTTTTTTTTTTTT
--:-- / 32
TFFFFFTTTTTTTFTT
TTTTTTTTTTTTTTTT
--:-- / 32
CC

0
CC

0
09b

TFTTTTTFTTTTFTFT (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)

TFTTTTTFTTTTFTFT
TTTTTTTTTTTTTTTT
--:-- / 32
TFTTTTTFTTTTFTFT
TTTTTTTTTTTTTTTT
--:PM / 32
TFTTTTTFTTTTFTFT
TTTTTTTTTTTTTTTT
--:-- / 32
CC

0
CC

0
TFTTTTTFTTTTFTFT
TTTTTTTTTTTTTTTT
--:-- / 32
TFTTTTTFTTTTFTFT
TTTTTTTTTTTTTTTT
--:-- / 32
TFTTTTTFTTTTFTFT
TTTTTTTTTTTTTTTT
--:-- / 32
CC

0
CC

0
10a

TTTFTTFTTTFTFTFF (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)

TTTFTTFTTTFTFTFF
TTTTTTTTTTTTTTTT
--:-- / 32
TTTFTTFTTTFTFTFF
TTTTTTTTTTTTTTTT
--:-- / 32
TTTFTTFTTTFTFTFF
TTTTTTTTTTTTTTTT
--:PM / 32
CC

0
CC

0
TTTFTTFTTTFTFTFF
TTTTTTTTTTTTTTTT
--:-- / 32
TTTFTTFTTTFTFTFF
TTTTTTTTTTTTTTTT
--:-- / 32
TTTFTTFTTTFTFTFF
TTTTTTTTTTTTTTTT
--:-- / 32
CC

0
CC

0
10b

FTFTTTTTTTFTTFFF (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)

FTFTTTTTTTFTTFFF
TTTTTTTTTTTTTTTT
--:-- / 32
FTFTTTTTTTFTTFFF
TTTTTTTTTTTTTTTT
--:-- / 32
FTFTTTTTTTFTTFFF
TTTTTTTTTTTTTTTT
--:PM / 32
CC

0
CC

0
FTFTTTTTTTFTTFFF
TTTTTTTTTTTTTTTT
--:-- / 32
FTFTTTTTTTFTTFFF
TTTTTTTTTTTTTTTT
--:-- / 32
FTFTTTTTTTFTTFFF
TTTTTTTTTTTTTTTT
--:-- / 32
CC

0
CC

0
11a

TFTFTTTFFFFFTFTF (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)

TFTFTTTFFFFFTFTF
TTTTTTTTTTTTTTTT
--:-- / 32
TFTFTTTFFFFFTFTF
TTTTTTTTTTTTTTTT
--:-- / 32
TFTFTTTFFFFFTFTF
TTTTTTTTTTTTTTTT
--:PM / 32
CC

0
CC

0
TFTFTTTFFFFFTFTF
TTTTTTTTTTTTTTTT
--:-- / 32
TFTFTTTFFFFFTFTF
TTTTTTTTTTTTTTTT
--:-- / 32
TFTFTTTFFFFFTFTF
TTTTTTTTTTTTTTTT
--:-- / 32
CC

0
CC

0
11b

TTTFFTFFTFFTFTFT (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)

TTTFFTFFTFFTFTFT
TTTTTTTTTTTTTTTT
--:-- / 32
TTTFFTFFTFFTFTFT
TTTTTTTTTTTTTTTT
--:-- / 32
TTTFFTFFTFFTFTFT
TTTTTTTTTTTTTTTT
--:-M / 32
CC

0
CC

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

0
CC

0
12a

TTFFTTTTFFFTTFFT (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)

TTFFTTTTFFFTTFFT
TTTTTTTTTTTTTTTT
--:-- / 32
TTFFTTTTFFFTTFFT
TTTTTTTTTTTTTTTT
--:-M / 32
TTFFTTTTFFFTTFFT
TTTTTTTTTTTTTTTT
--:-- / 32
CC

0
CC

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

0
CC

0
12b

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

FTTTTTTFFTTFTT??
TTTTTTTTTTTTTT--
--:-- / 28
FTTTTTTFFTTFTTTT
TTTTTTTTTTTTTTTT
--:PM / 32
FTTTTTTFFTTFTTTT
TTTTTTTTTTTTTTTT
--:-- / 32
CC

0
CC

0
FTTTTTTFFTTFTTTT
TTTTTTTTTTTTTTTT
--:-- / 32
FTTTTTTFFTTFTTTT
TTTTTTTTTTTTTTTT
--:-- / 32
FTTTTTTFFTTFTTTT
TTTTTTTTTTTTTTTT
--:-- / 32
CC

0
CC

0
13a

TTFFFFTFTTTTTTFT (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)

TTFFFFTFTTTTTTFT
TTTTTTTTTTTTTTTT
--:-- / 32
TTFFFFTFTTTTTTFT
TTTTTTTTTTTTTTTT
--:-- / 32
TTFFFFTFTTTTTTFT
TTTTTTTTTTTTTTTT
--:PM / 32
CC

0
CC

0
TTFFFFTFTTTTTTFT
TTTTTTTTTTTTTTTT
--:-- / 32
TTFFFFTFTTTTTTFT
TTTTTTTTTTTTTTTT
--:-- / 32
TTFFFFTFTTTTTTFT
TTTTTTTTTTTTTTTT
--:-- / 32
CC

0
CC

0
13b

TFFFFFTFTTTFTFFT (expected value)

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

TFFFFF?FTTTFT?FT
TTTTTT-TTTTTT-TT
--:-- / 28
TFFFFFTFTTTFTFFT
TTTTTTTTTTTTTTTT
--:PM / 32
TFFFFFTFTTTFTFFT
TTTTTTTTTTTTTTTT
--:-- / 32
CC

0
CC

0
TFFFFFTFTTTFTFFT
TTTTTTTTTTTTTTTT
--:-- / 32
TFFFFFTFTTTFTFFT
TTTTTTTTTTTTTTTT
--:-- / 32
TFFFFFTFTTTFTFFT
TTTTTTTTTTTTTTTT
--:-- / 32
CC

0
CC

0
14a

TFTFTTTFTTFFFTFT (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)

TFTFTTTFTTFFFTFT
TTTTTTTTTTTTTTTT
--:-- / 32
TFTFTTTFTTFFFTFT
TTTTTTTTTTTTTTTT
--:-- / 32
TFTFTTTFTTFFFTFT
TTTTTTTTTTTTTTTT
--:PM / 32
CC

0
CC

0
TFTFTTTFTTFFFTFT
TTTTTTTTTTTTTTTT
--:-- / 32
TFTFTTTFTTFFFTFT
TTTTTTTTTTTTTTTT
--:-- / 32
DNF

0
CC

0
CC

0
14b

TTTFTTTFFTFTTFTT (expected value)

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

T?T?T?TFF?F??F?T
T-T-T-TTT-T--T-T
--:-- / 16
TTTFTTTFFTFTTFTT
TTTTTTTTTTTTTTTT
--:-- / 32
TTTFTTTFFTFTTFTT
TTTTTTTTTTTTTTTT
--:PM / 32
CC

0
CC

0
TTTFTTTFFTFTTFTT
TTTTTTTTTTTTTTTT
--:-- / 32
TTTFTTTFFTFTTFTT
TTTTTTTTTTTTTTTT
--:-- / 32
TTTFTTTFFTFTTFTT
TTTTTTTTTTTTTTTT
--:-- / 32
CC

0
CC

0
15a

TTFTFFFTTTTTTFTF (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)

TTFTFFFTTTTTTFTF
TTTTTTTTTTTTTTTT
--:-- / 32
TTFTFFFTTTTTTFTF
TTTTTTTTTTTTTTTT
--:-M / 32
TTFTFFFTTTTTTFTF
TTTTTTTTTTTTTTTT
--:-- / 32
CC

0
CC

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

0
CC

0
15b

TTTTFTTFTTTFFTTT (expected value)

5.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 6.00 5.00 6.00 (confidence rate)

?TTTFTTFT?TFFT?T
-TTTTTTTT-TTTT-T
--:-- / 24
TTTTFTTFTTTFFTTT
TTTTTTTTTTTTTTTT
--:-- / 32
TTTTFTTFTTTFFTTT
TTTTTTTTTTTTTTTT
--:PM / 32
CC

0
CC

0
TTTTFTTFTTTFFTTT
TTTTTTTTTTTTTTTT
--:-- / 32
TTTTFTTFTTTFFTTT
TTTTTTTTTTTTTTTT
--:-- / 32
TTTTFTTFTTTFFTTT
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 168 388 364 0 0 256 260 120 0 0
Road Runner 0 1 1 0 0 0 0 1 0 0
Camel 0 3 0 0 0 0 0 0 0 0
001

TTTTFFFFTFTTTFTF (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)

TTTTFFFFTFTTTFTF
TTTTTTTTTTTTTTTT
--:-- / 60
TTTTFFFFTFTTTFTF
TTTTTTTTTTTTTTTT
--:-M / 60
TTTTFFFFTFTTTFTF
TTTTTTTTTTTTTTTT
--:-- / 60
CC

0
CC

0
TTTTFFFFTFTTTFTF
TTTTTTTTTTTTTTTT
--:-- / 60
TTTTFFFFTFTTTFTF
TTTTTTTTTTTTTTTT
--:-- / 60
TTTTFFFFTFTTTFTF
TTTTTTTTTTTTTTTT
--:P- / 60
CC

0
CC

0
002

FFFTFFFFTFFTTFTF (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)

FFFTFFFFTFFTTFTF
TTTTTTTTTTTTTTTT
--:-- / 60
FFFTFFFFTFFTTFTF
TTTTTTTTTTTTTTTT
--:-M / 60
FFFTFFFFTFFTTFTF
TTTTTTTTTTTTTTTT
--:P- / 60
CC

0
CC

0
FFFTFFFFTFFTTFTF
TTTTTTTTTTTTTTTT
--:-- / 60
FFFTFFFFTFFTTFTF
TTTTTTTTTTTTTTTT
--:-- / 60
FFFTFFFFTFFTTFTF
TTTTTTTTTTTTTTTT
--:-- / 60
CC

0
CC

0
003

FFTFFFTFFTFFFTTF (expected value)

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

?????F?????F?T??
-----T-----T-T--
--:-- / 12
FFTFFFTFFTFFFTTF
TTTTTTTTTTTTTTTT
--:PM / 60
FFTFFFTFFT?FFTTF
TTTTTTTTTT-TTTTT
--:-- / 56
CC

0
CC

0
FFTFFFTFFTFFFTTF
TTTTTTTTTTTTTTTT
--:-- / 60
FFTFFFTFFTFFFTTF
TTTTTTTTTTTTTTTT
--:-- / 60
DNF

0
CC

0
CC

0
004

TTTFFTTTFTFTT? TF (expected value)

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

?TT???TT?TF?????
-TT---TT-TT--?--
--:-- / 24
TTTFFTTTFTFTT?TF
TTTTTTTTTTTTT?TT
--:-- / 56
TTTFFTTTFTFTT?TF
TTTTTTTTTTTTT?TT
--:-- / 56
CC

0
CC

0
TTTF?TTTFTFTT?TF
TTTT-TTTTTTTT?TT
--:-- / 52
TTTF?TTTFTFTT?TF
TTTT-TTTTTTTT?TT
--:-- / 52
DNF

0
CC

0
CC

0
010

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

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

??F?????????????
-?T?---??--???-?
--:-- / 4
F?F?FFT???F???T?
T?T?TTT??-T???T?
--:-- / 28
F?F?FFT??FF???T?
T?T?TTT??TT???T?
--:-- / 32
CC

0
CC

0
??F?????????????
-?T?---??--???-?
--:-- / 4
F?F?FFT???F???T?
T?T?TTT??-T???T?
--:-- / 28
DNF

0
CC

0
CC

0
020

? FT? ? ? ? FFT? FT? ? ? (expected value)

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

?F?????F????????
?T-????T--?--???
--:-- / 8
?FT????FFT?FT???
?TT????TTT?TT???
--:-- / 28
?FT????FFT?FT???
?TT????TTT?TT???
--:-- / 28
CC

0
CC

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

0
DNF

0
CC

0
CC

0
100

T? F? FF? FFTFFTFFT (expected value)

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

????????????????
-?-?--?---------
--:-- / 0
T?F?FF?FFTFFTFFT
T?T?TT?TTTTTTTTT
--:-- / 48
T?F?FF?FFT??T?FT
T?T?TT?TTT--T-TT
--:-- / 40
CC

0
CC

0
DNF

0
DNF

0
CC

0
CC

0
CC

0
200

TFTT? FFTFFF? FTF? (expected value)

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

????????????????
----?------?---?
--:-- / 0
TFTT?FFTFFF?FTF?
TTTT?TTTTTT?TTT?
--:-- / 48
TF?T?FFT????F?F?
TT-T?TTT---?T-T?
--:-- / 32
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 2 1 0 0 0 0 0 0 0
Camel 0 2 1 0 0 0 0 0 0 0
02010

FTTFFFFTFFFFFFTF (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)

FTTFFFFTFFFFFFTF
TTTTTTTTTTTTTTTT
--:-- / 144
FTTFFFFTFFFFFFTF
TTTTTTTTTTTTTTTT
--:-- / 144
FTTFFFFTFFFFFFTF
TTTTTTTTTTTTTTTT
--:PM / 144
CC

0
CC

0
FTTFFFFTFFFFFFTF
TTTTTTTTTTTTTTTT
--:-- / 144
FTTFFFFTFFFFFFTF
TTTTTTTTTTTTTTTT
--:-- / 144
FTTFFFFTFFFFFFTF
TTTTTTTTTTTTTTTT
--:-- / 144
CC

0
CC

0
10420

FFFTFFFFFFFTTFTF (expected value)

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

FFFTFFFFFFFTTFTF
TTTTTTTTTTTTTTTT
--:-- / 144
FFFTFFFFFFFTTFTF
TTTTTTTTTTTTTTTT
--:PM / 144
?FFTFF?FFFFTTFTF
-TTTTT-TTTTTTTTT
--:-- / 128
CC

0
CC

0
FFFTFFFFFFFTTFTF
TTTTTTTTTTTTTTTT
--:-- / 144
FFFTFFFFFFFTTFTF
TTTTTTTTTTTTTTTT
--:-- / 144
FFFTFFFFFFFTTFTF
TTTTTTTTTTTTTTTT
--:-- / 144
CC

0
CC

0
10421

TFTTTFFFFTTFTFFF (expected value)

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

TFTTTFFFFTTFTFFF
TTTTTTTTTTTTTTTT
--:-- / 144
TFTTTFFFFTTFTFFF
TTTTTTTTTTTTTTTT
--:PM / 144
TFTTTF?F?TTFTFFF
TTTTTT-T-TTTTTTT
--:-- / 128
CC

0
CC

0
TFTTTFFFFTTFTFFF
TTTTTTTTTTTTTTTT
--:-- / 144
TFTTTFFFFTTFTFFF
TTTTTTTTTTTTTTTT
--:-- / 144
TFTTTFFFFTTFTFFF
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 408 0 0 128 408 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

FFFTFTFTTTTFFTFF (expected value)

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

FFFTFTFTTTTFFTFF
TTTTTTTTTTTTTTTT
--:-- / 408
FFFTFTFTTTTFFTFF
TTTTTTTTTTTTTTTT
--:PM / 408
FFFTFTFTTTTFFTFF
TTTTTTTTTTTTTTTT
--:-- / 408
CC

0
CC

0
???T?T??T?T????F
---T-T--T-T----T
--:-- / 128
FFFTFTFTTTTFFTFF
TTTTTTTTTTTTTTTT
--:-- / 408
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 384 0 0 424 424 424 0 0
Road Runner 0 0 0 0 0 1 1 0 0 0
Camel 0 2 0 0 0 0 0 0 0 0
5310

TFTTTTFFTTTTFTFT (expected value)

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

TFTTTTFFTTTTFTFT
TTTTTTTTTTTTTTTT
--:-- / 212
TFTTTTFFTTTTFTFT
TTTTTTTTTTTTTTTT
--:-M / 212
TFT?TT?FTT?TFTFT
TTT-TT-TTT-TTTTT
--:-- / 172
CC

0
CC

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

0
CC

0
5320

FFTTFFTFFFFFFFTF (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)

FFTTFFTFFFFFFFTF
TTTTTTTTTTTTTTTT
--:-- / 212
FFTTFFTFFFFFFFTF
TTTTTTTTTTTTTTTT
--:-M / 212
FFTTFFTFFFFFFFTF
TTTTTTTTTTTTTTTT
--:-- / 212
CC

0
CC

0
FFTTFFTFFFFFFFTF
TTTTTTTTTTTTTTTT
--:-- / 212
FFTTFFTFFFFFFFTF
TTTTTTTTTTTTTTTT
--:P- / 212
FFTTFFTFFFFFFFTF
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 476 480 472 0 0 452 420 180 0 0
Road Runner 0 4 3 0 0 0 0 1 0 0
Camel 0 5 3 0 0 0 0 0 0 0
05

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

TTTFFFTTFTFTFFTT
TTTTTTTTTTTTTTTT
--:-- / 60
TTTFFFTTFTFTFFTT
TTTTTTTTTTTTTTTT
--:-M / 60
TTTFF?TTFTFTFFTT
TTTTT-TTTTTTTTTT
--:-- / 56
CC

0
CC

0
TTTFFFTTFTFTFFTT
TTTTTTTTTTTTTTTT
--:-- / 60
TTTFFFTTFTFTFFTT
TTTTTTTTTTTTTTTT
--:-- / 60
TTTFFFTTFTFTFFTT
TTTTTTTTTTTTTTTT
--:P- / 60
CC

0
CC

0
08

TTFTFTFFTTTFFTFT (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)

TTFTFTFFTTTFFTFT
TTTTTTTTTTTTTTTT
--:-- / 60
TTFTFTFFTTTFFTFT
TTTTTTTTTTTTTTTT
--:-- / 60
TTFTFTFFTTTFFTFT
TTTTTTTTTTTTTTTT
--:PM / 60
CC

0
CC

0
TTFTFTFFTTTFFTFT
TTTTTTTTTTTTTTTT
--:-- / 60
TTFTFTFFTTTFFTFT
TTTTTTTTTTTTTTTT
--:-- / 60
TTFTFTFFTTTFFTFT
TTTTTTTTTTTTTTTT
--:-- / 60
CC

0
CC

0
10

FFFTFFTFTFTFTFFF (expected value)

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

FFFTFFTFTFTFTFFF
TTTTTTTTTTTTTTTT
--:-- / 60
FFFTFFTFTFTFTFFF
TTTTTTTTTTTTTTTT
--:PM / 60
FFFTFFTF?FTFTFFF
TTTTTTTT-TTTTTTT
--:-- / 56
CC

0
CC

0
FFFTFFTFTFTFTFFF
TTTTTTTTTTTTTTTT
--:-- / 60
FFFTFFTFTFTFTFFF
TTTTTTTTTTTTTTTT
--:-- / 60
FFFTFFTFTFTFTFFF
TTTTTTTTTTTTTTTT
--:-- / 60
CC

0
CC

0
12

FFFFTFFFFTTTFTTT (expected value)

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

?FFFTFFFFTTTFTTT
-TTTTTTTTTTTTTTT
--:-- / 56
FFFFTFFFFTTTFTTT
TTTTTTTTTTTTTTTT
--:PM / 60
FFFFTFFFFTTTFTTT
TTTTTTTTTTTTTTTT
--:-- / 60
CC

0
CC

0
FFFFTFFFFTTTFTTT
TTTTTTTTTTTTTTTT
--:-- / 60
FFFFTFFFFTTTFTTT
TTTTTTTTTTTTTTTT
--:-- / 60
DNF

0
CC

0
CC

0
15

TFFTFFFFTFFTFTTF (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)

TFFTFFFFTFFTFTTF
TTTTTTTTTTTTTTTT
--:-- / 60
TFFTFFFFTFFTFTTF
TTTTTTTTTTTTTTTT
--:PM / 60
TFFTFFFFTFFTFTTF
TTTTTTTTTTTTTTTT
--:-- / 60
CC

0
CC

0
TFFTFFFFTFFTFTTF
TTTTTTTTTTTTTTTT
--:-- / 60
TFFTFFFFTFFTFTTF
TTTTTTTTTTTTTTTT
--:-- / 60
DNF

0
CC

0
CC

0
20

FFFFTTTTTTTTFTTF (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)

FFFFTTTTTTTTFTTF
TTTTTTTTTTTTTTTT
--:-- / 60
FFFFTTTTTTTTFTTF
TTTTTTTTTTTTTTTT
--:PM / 60
FFFFTTTTTTTTFTTF
TTTTTTTTTTTTTTTT
--:-- / 60
CC

0
CC

0
FFFFTTTTTTTTFTTF
TTTTTTTTTTTTTTTT
--:-- / 60
FFFFTTTTTTTTFTTF
TTTTTTTTTTTTTTTT
--:-- / 60
DNF

0
CC

0
CC

0
25

FTFTFFFTTFFFFTTF (expected value)

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

FTFTFFFTTFFFFTTF
TTTTTTTTTTTTTTTT
--:-- / 60
FTFTFFFTTFFFFTTF
TTTTTTTTTTTTTTTT
--:-- / 60
FTFTFFFTTFFFFTTF
TTTTTTTTTTTTTTTT
--:PM / 60
CC

0
CC

0
FTFTFFFTTFFFFTTF
TTTTTTTTTTTTTTTT
--:-- / 60
??????????F?F?T?
----------T-T-T-
--:-- / 12
DNF

0
CC

0
CC

0
30

FTFFTFTFFTTFTTTF (expected value)

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

FTFFTFTFFTTFTTTF
TTTTTTTTTTTTTTTT
--:-- / 60
FTFFTFTFFTTFTTTF
TTTTTTTTTTTTTTTT
--:-- / 60
FTFFTFTFFTTFTTTF
TTTTTTTTTTTTTTTT
--:PM / 60
CC

0
CC

0
FT????????TFTTTF
TT--------TTTTTT
--:-- / 32
FTFFT?TF??TFTTTF
TTTTT-TT--TTTTTT
--:-- / 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 0 440 140 0 0 24 16 0 0 0
Road Runner 0 2 0 0 0 0 0 0 0 0
Camel 0 2 0 0 0 0 0 0 0 0
1

TFTFT? TFTTTFFFTF (expected value)

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

????????????????
-----?----------
--:-- / 0
TFTFT?TFTTTFFFTF
TTTTT?TTTTTTTTTT
--:-- / 52
?FT???T?TTT???T?
-TT--?T-TTT---T-
--:-- / 24
CC

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
CC

0
2

TTTF? FFF? T? TTT? F (expected value)

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

????????????????
----?---?-?---?-
--:-- / 0
TTTF??FF?T?TTT?F
TTTT?-TT?T?TTT?T
--:-- / 36
T????FF??T?TT???
T---?TT-?T?TT-?-
--:-- / 20
CC

0
CC

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

0
DNF

0
CC

0
CC

0
3

FTFTFTF? F? TTFTTT (expected value)

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

????????????????
-------?-?------
--:-- / 0
FTFTFTF?F?TTFTTT
TTTTTTT?T?TTTTTT
--:-- / 48
?TFT?????????T?T
-TTT---?-?---T-T
--:-- / 16
CC

0
CC

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

0
CC

0
CC

0
4

TFTF? F? TFFFTFTTT (expected value)

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

????????????????
----?-?---------
--:-- / 0
TFTF?F?TFFFTFTTT
TTTT?T?TTTTTTTTT
--:-- / 48
???????T?F?T????
----?-?T-T-T----
--:-- / 12
CC

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
CC

0
5

TTFTTFTTFFTFFTFT (expected value)

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

????????????????
----------------
--:-- / 0
TTFTTFTTFFTFFTFT
TTTTTTTTTTTTTTTT
--:PM / 56
???TT????FTF????
---TT----TTT----
--:-- / 16
CC

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
CC

0
6

TT? FT? TTT? FFTTFT (expected value)

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

????????????????
--?--?---?------
--:-- / 0
TT?FT?TTT?FFTTFT
TT?TT?TTT?TTTTTT
--:-- / 44
?T??????T???????
-T?--?--T?------
--:-- / 8
CC

0
CC

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

0
CC

0
CC

0
7

FFFFTTTFFTFFFFFT (expected value)

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

????????????????
----------------
--:-- / 0
FFFFTTTFFTFFFFFT
TTTTTTTTTTTTTTTT
--:PM / 56
?????TT??T????FT
-----TT--T----TT
--:-- / 16
CC

0
CC

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

0
DNF

0
CC

0
CC

0
8

TTTTFTFFTF? FTTFT (expected value)

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

????????????????
----------?-----
--:-- / 0
TTTTFTFFTF?FTTFT
TTTTTTTTTT?TTTTT
--:-- / 52
?????T?F?F??T?F?
-----T-T-T?-T-T-
--:-- / 16
CC

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
CC

0
9

TT? TFFTT? TTFTFTF (expected value)

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

????????????????
--?-----?-------
--:-- / 0
TT?TFFTT?TTFTFTF
TT?TTTTT?TTTTTTT
--:-- / 48
T?????T???????T?
T-?---T-?-----T-
--:-- / 12
CC

0
CC

0
?T??????????????
-T?-----?-------
--:-- / 4
?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 48 32 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

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

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

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

0
CC

0
CC

0
CC

0
DNF

0
DNF

0
CC

0
CC

0
CC

0
2

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

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

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

0
CC

0
DNF

0
DNF

0
CC

0
CC

0
CC

0
3

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

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

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

0
CC

0
CC

0
DNF

0
CC

0
CC

0
CC

0
4

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

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

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

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

0
CC

0
DNF

0
DNF

0
CC

0
CC

0
CC

0
5

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

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

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

0
CC

0
DNF

0
DNF

0
CC

0
CC

0
CC

0
6

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

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

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

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

0
CC

0
DNF

0
DNF

0
CC

0
CC

0
CC

0
7

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

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

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

0
CC

0
DNF

0
DNF

0
CC

0
CC

0
CC

0
8

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

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

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

0
CC

0
DNF

0
DNF

0
CC

0
CC

0
CC

0
9

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

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

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

0
DNF

0
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 0 60 60 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

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

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

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

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

0
CC

0
DNF

0
DNF

0
CC

0
CC

0
CC

0
2

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

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

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

0
CC

0
DNF

0
DNF

0
CC

0
CC

0
CC

0
3

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

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

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

0
CC

0
CC

0
DNF

0
CC

0
CC

0
CC

0
4

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

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

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

0
CC

0
DNF

0
DNF

0
CC

0
CC

0
CC

0
5

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

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

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

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
6

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

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

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

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
7

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

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

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

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
8

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

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

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

0
CC

0
DNF

0
DNF

0
CC

0
CC

0
CC

0
9

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

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

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

0
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 36 576 564 0 0 436 404 0 0 0
Road Runner 0 6 8 0 0 2 0 0 0 0
Camel 0 8 8 0 0 0 0 0 0 0
002002

TTTTTFTTTFFTTFTF (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
TTTTTFTTTFFTTFTF
TTTTTTTTTTTTTTTT
--:-- / 36
TTTTTFTTTFFTTFTF
TTTTTTTTTTTTTTTT
--:PM / 36
CC

0
CC

0
TTTTTFTTTFFTTFTF
TTTTTTTTTTTTTTTT
--:-- / 36
TTTTTFTTTFFTTFTF
TTTTTTTTTTTTTTTT
--:-- / 36
CC

0
CC

0
CC

0
002003

FTTTFTTFTTFFFTFF (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
FTTTFTTFTTFFFTFF
TTTTTTTTTTTTTTTT
--:-M / 36
FTTTFTTFTTFFFTFF
TTTTTTTTTTTTTTTT
--:-- / 36
CC

0
CC

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

0
CC

0
CC

0
005005

TFTTFTTFFTFFFFTT (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
TFTTFTTFFTFFFFTT
TTTTTTTTTTTTTTTT
--:-- / 36
TFTTFTTFFTFFFFTT
TTTTTTTTTTTTTTTT
--:PM / 36
CC

0
CC

0
TFTTFTTFFTFFFFTT
TTTTTTTTTTTTTTTT
--:-- / 36
TFTTFTTFFTFFFFTT
TTTTTTTTTTTTTTTT
--:-- / 36
CC

0
CC

0
CC

0
005006

TFFTTTFFTFFFTTTT (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
TFFTTTFFTFFFTTTT
TTTTTTTTTTTTTTTT
--:-- / 36
TFFTTTFFTFFFTTTT
TTTTTTTTTTTTTTTT
--:PM / 36
CC

0
CC

0
TFFTTTFFTFFFTTTT
TTTTTTTTTTTTTTTT
--:-- / 36
TFFTTTFFTFFFTTTT
TTTTTTTTTTTTTTTT
--:-- / 36
CC

0
CC

0
CC

0
007007

TFFTFFTFFTTFTFTT (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
TFFTFFTFFTTFTFTT
TTTTTTTTTTTTTTTT
--:-- / 36
TFFTFFTFFTTFTFTT
TTTTTTTTTTTTTTTT
--:PM / 36
CC

0
CC

0
TFFTFFTFFTTFTFTT
TTTTTTTTTTTTTTTT
--:-- / 36
TFFTFFTFFTTFTFTT
TTTTTTTTTTTTTTTT
--:-- / 36
CC

0
CC

0
CC

0
007008

FFTFTFTFTTTFFFFF (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 3.00 4.00 4.00 (confidence rate)

????????????????
----------------
--:-- / 0
FFTFTFTFTTTFFFFF
TTTTTTTTTTTTTTTT
--:-M / 36
FFTFTFTFTTTFF?FF
TTTTTTTTTTTTT-TT
--:-- / 32
CC

0
CC

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

0
CC

0
CC

0
010010

FTTFTFFTTFFFTTTF (expected value)

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

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

0
CC

0
FTTFTFF?T??FTTTF
TTTTTTT-T--TTTTT
--:-- / 28
FTTFTFF?T??FTTTF
TTTTTTT-T--TTTTT
--:-- / 28
CC

0
CC

0
CC

0
010011

FTFFFTTTTTTTTFFT (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
FTFFFTTTTTTTTFFT
TTTTTTTTTTTTTTTT
--:-- / 36
FTFFFTTTTTTTTFFT
TTTTTTTTTTTTTTTT
--:PM / 36
CC

0
CC

0
FTFFFTTTTTTTTFFT
TTTTTTTTTTTTTTTT
--:-- / 36
FTFFFTTTTTTTTFFT
TTTTTTTTTTTTTTTT
--:-- / 36
CC

0
CC

0
CC

0
015015

TTFTTTTFTFFTTTFF (expected value)

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

????????????????
----------------
--:-- / 0
TTFTTTTFTFFTTTFF
TTTTTTTTTTTTTTTT
--:PM / 36
TT?TTTTFTFFTTTFF
TT-TTTTTTTTTTTTT
--:-- / 32
CC

0
CC

0
TTFTTT?FTFFTTTFF
TTTTTT-TTTTTTTTT
--:-- / 32
TTFTTT?FTFFTTTFF
TTTTTT-TTTTTTTTT
--:-- / 32
CC

0
CC

0
CC

0
015016

FTTFTFTFTTTTFTFT (expected value)

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

????????????????
----------------
--:-- / 0
FTTFTFTFTTTTFTFT
TTTTTTTTTTTTTTTT
--:PM / 36
FTT?TFTFTTTTFTFT
TTT-TTTTTTTTTTTT
--:-- / 32
CC

0
CC

0
FT?FTFTFTTT?FT?T
TT-TTTTTTTT-TT-T
--:-- / 28
FT?FTFT?TTT????T
TT-TTTT-TTT----T
--:-- / 24
CC

0
CC

0
CC

0
025025

TFTTTTTFFFFFTTTF (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 4.00 2.00 2.00 3.00 (confidence rate)

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

0
CC

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

0
CC

0
CC

0
025026

FTFFTFFTTTTFTTFF (expected value)

4.00 2.00 4.00 4.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 (confidence rate)

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

0
CC

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

0
CC

0
CC

0
050050

FFFTFTTTTFTTFFTT (expected value)

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

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

0
CC

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

0
CC

0
CC

0
050051

FTFFTFFFTTTTFFTT (expected value)

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

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

0
CC

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

0
CC

0
CC

0
100100

FFTFTTTTTTTFTFTT (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
FFTFTTTTTTTFTFTT
TTTTTTTTTTTTTTTT
--:-- / 36
FFTFTTTTTTTFTFTT
TTTTTTTTTTTTTTTT
--:PM / 36
CC

0
CC

0
FFTFTTTTTTTFTFTT
TTTTTTTTTTTTTTTT
--:-- / 36
FFTFTTTTTTTFTFTT
TTTTTTTTTTTTTTTT
--:-- / 36
DNF

0
CC

0
CC

0
100101

TTTFTTTFTFTTTTTT (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)

TTTFTTTFTFTTTTTT
TTTTTTTTTTTTTTTT
--:-- / 36
TTTFTTTFTFTTTTTT
TTTTTTTTTTTTTTTT
--:PM / 36
TTTFTTTFTFTTTTTT
TTTTTTTTTTTTTTTT
--:-- / 36
CC

0
CC

0
TTTFTTTFTFTTTTTT
TTTTTTTTTTTTTTTT
--:-- / 36
DNF

0
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 5341 9184 8586 5396 5331 7068 7001 4124 5793 5750
Road Runner 16 204 224 6 3 83 62 52 4 5
Camel 11 347 227 4 10 9 10 23 10 8
ARMCacheCoherence — P/T
  LTSMin Tapaal LoLA M4M.full M4M.struct ITS-Tools ITS-Tools.L GreatSPN Irma.full Irma.struct
Score 102 102 57 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

FFTFFTFFTFTTFFFT (expected value)

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

FFTFFTFFTFTTFFFT
TTTTTTTTTTTTTTTT
--:-- / 102
FFTFFTFFTFTTFFFT
TTTTTTTTTTTTTTTT
--:PM / 102
?FT?FT?FTFTT????
-TT-TT-TTTTT----
--:-- / 57
????????????????
----------------
--:-- / 0
????????????????
----------------
--:-- / 0
FFTFFTFFTFTTFFFT
TTTTTTTTTTTTTTTT
--:-- / 102
FFTFFTFFTFTTFFFT
TTTTTTTTTTTTTTTT
--:-- / 102
FFTFFTFFTFTTFFFT
TTTTTTTTTTTTTTTT
--:-- / 102
FFTFFTFFTFTTFFFT
TTTTTTTTTTTTTTTT
--:-- / 102
FFTFFTFFTFTTFFFT
TTTTTTTTTTTTTTTT
--:-- / 102
AirplaneLD — Colored
  LTSMin Tapaal LoLA M4M.full M4M.struct ITS-Tools ITS-Tools.L GreatSPN Irma.full Irma.struct
Score 0 68 65 35 40 66 68 8 46 35
Road Runner 0 0 0 0 0 3 4 1 0 0
Camel 0 4 1 0 2 0 0 0 1 0
0010

FTTFFTTTTFTFFFTF (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 FTTFFTTTTFTFFFTF
TTTTTTTTTTTTTTTT
--:-- / 8
FTTFFTTTTFTFFFTF
TTTTTTTTTTTTTTTT
--:-M / 8
FTTFFTTTTFTFFFTF
TTTTTTTTTTTTTTTT
--:-- / 8
FTTFFTTTTFTFFFTF
TTTTTTTTTTTTTTTT
--:-- / 8
FTTFFTTTTFTFFFTF
TTTTTTTTTTTTTTTT
--:-- / 8
FTTFFTTTTFTFFFTF
TTTTTTTTTTTTTTTT
--:-- / 8
FTTFFTTTTFTFFFTF
TTTTTTTTTTTTTTTT
--:P- / 8
FTTFFTTTTFTFFFTF
TTTTTTTTTTTTTTTT
--:-- / 8
FTTFFTTTTFTFFFTF
TTTTTTTTTTTTTTTT
--:-- / 8
0020

FTTTTTFTFFFTFFTF (expected value)

4.00 4.00 4.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 FTTTTTFTFFFTFFTF
TTTTTTTTTTTTTTTT
--:-M / 8
FTTTTTFT?FFTFFTF
TTTTTTTT-TTTTTTT
--:-- / 8
CC

0
CC

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

0
CC

0
CC

0
0050

TTTTFFFTFTTTTTTT (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 TTTTFFFTFTTTTTTT
TTTTTTTTTTTTTTTT
--:-M / 8
TTTTFFFTFTTTTTTT
TTTTTTTTTTTTTTTT
--:-- / 8
CC

0
CC

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

0
CC

0
CC

0
0100

FTTTTFFFTFTFTTTF (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 FTTTTFFFTFTFTTTF
TTTTTTTTTTTTTTTT
--:-M / 8
FTTTTFFFTFTFTTTF
TTTTTTTTTTTTTTTT
--:-- / 8
CC

0
CC

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

0
CC

0
CC

0
0200

FFTTFFFTFFTTTFFF (expected value)

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

DNC FFTTFFFTFFTTTFFF
TTTTTTTTTTTTTTTT
--:-M / 8
FFTTFFFTFFTTTFFF
TTTTTTTTTTTTTTTT
--:-- / 8
FFTTF?FT?F?TTFFF
TTTTT-TT-T-TTTTT
--:-- / 7
FFTTFFFTFFTTTFFF
TTTTTTTTTTTTTTTT
--:-- / 8
FFTTFFFTFFTTTFFF
TTTTTTTTTTTTTTTT
--:P- / 8
FFTTFFFTFFTTTFFF
TTTTTTTTTTTTTTTT
--:-- / 8
CC

0
FFTTFFFTFF?TTFFF
TTTTTTTTTT-TTTTT
--:-- / 8
CC

0
0500

FTFFFFTTTFFTTTTT (expected value)

7.00 8.00 8.00 5.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 FTF?FFTTTFFTTTTT
TTT-TTTTTTTTTTTT
--:-- / 8
?TF?FFTTTFFTTTTT
-TT-TTTTTTTTTTTT
--:-- / 7
FTF?FFTTTFFTTTTT
TTT-TTTTTTTTTTTT
--:-- / 8
FTFFFFTTTFFTTTTT
TTTTTTTTTTTTTTTT
--:-M / 8
FTFFFFTTTFFTTTTT
TTTTTTTTTTTTTTTT
--:P- / 8
FTFFFFTTTFFTTTTT
TTTTTTTTTTTTTTTT
--:-- / 8
DNF

0
FTFFFFTTTFFTTTTT
TTTTTTTTTTTTTTTT
--:-- / 8
FTFFFFTTTFFTTTTT
TTTTTTTTTTTTTTTT
--:-- / 8
1000

TFTFFTFFTTTFFFTF (expected value)

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

DNC T?TFFTF?TTTFFF?F
T-TTTTT-TTTTTT-T
--:-- / 7
TF?FFTF?TTTFF??F
TT-TTTT-TTTTT--T
--:-- / 6
TFTFFTF?TTTF???F
TTTTTTT-TTTT---T
--:-- / 6
TFTFFTFFTTTFFFTF
TTTTTTTTTTTTTTTT
--:-- / 8
TFTFFTFFTTTFFFTF
TTTTTTTTTTTTTTTT
--:-- / 8
TFTFFTFFTTTFFFTF
TTTTTTTTTTTTTTTT
--:P- / 8
DNF

0
TFTFFTFFTTTFFFTF
TTTTTTTTTTTTTTTT
--:-M / 8
TFTFFTFFTTTFFFTF
TTTTTTTTTTTTTTTT
--:-- / 8
2000

TFFFTFTTTTFFTTTF (expected value)

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

DNC TFF?T?TTTTF?T?TF
TTT-T-TTTTT-T-TT
--:-- / 6
TFF?T?T?TT?FTTTF
TTT-T-T-TT-TTTTT
--:-- / 6
????????????????
----------------
--:-- / 0
TFFFTFTTTTFFTTTF
TTTTTTTTTTTTTTTT
--:-M / 8
TFFFTFTTTTFFTTTF
TTTTTTTTTTTTTTTT
--:-- / 8
TFFFTFTTTTFFTTTF
TTTTTTTTTTTTTTTT
--:P- / 8
CC

0
TFF?T?TTTT?FTTTF
TTT-T-TTTT-TTTTT
--:-- / 7
TFF?T?T?TT?FTTTF
TTT-T-T-TT-TTTTT
--:-- / 6
4000

TTTFTFTTFTFFFTTT (expected value)

7.00 5.00 3.00 7.00 6.00 5.00 6.00 6.00 1 1.00 5.00 5.00 1.00 5.00 5.00 5.00 (confidence rate)

DNC T?TFTFTT?TFFFTTT
T-TTTTTT-TTTTTTT
--:-- / 7
TT?FTFTT??FF?TTT
TT-TTTTT--TT-TTT
--:-- / 6
TT?FTFTT??FF?TTT
TT-TTTTT--TT-TTT
--:-- / 6
DNF

0
TTTF????????????
TTTT------------
--:-- / 2
TTTFTFTT????????
TTTTTTTT--------
--:-- / 4
CC

0
TT?FTFTTF?FF?TTT
TT-TTTTTT-TT-TTT
--:-- / 7
T??FT?TT??FF?TTT
T--TT-TT--TT-TTT
--:-- / 5
AirplaneLD — P/T
  LTSMin Tapaal LoLA M4M.full M4M.struct ITS-Tools ITS-Tools.L GreatSPN Irma.full Irma.struct
Score 38 72 66 28 40 64 66 24 40 40
Road Runner 0 0 0 0 0 3 4 2 0 0
Camel 0 6 1 0 1 0 1 0 0 0
0010

FTTFFTTTTFFFFTFT (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)

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

FTTTTTFTTFFFTTFT (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)

FTTTTTFTTFFFTTFT
TTTTTTTTTTTTTTTT
--:-- / 8
FTTTTTFTTFFFTTFT
TTTTTTTTTTTTTTTT
--:-M / 8
FTTTTTFTTFFFTTFT
TTTTTTTTTTTTTTTT
--:-- / 8
CC

0
CC

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

0
CC

0
0050

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

TTTTFFFTTFTTFFFF
TTTTTTTTTTTTTTTT
--:-- / 8
TTTTFFFTTFTTFFFF
TTTTTTTTTTTTTTTT
--:-M / 8
TTTTF?FTTFTTFFFF
TTTTT-TTTTTTTTTT
--:-- / 8
CC

0
CC

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

0
CC

0
0100

FTTTTFFFFTFTFTTT (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)

FTTTTFFFFTFTFTTT
TTTTTTTTTTTTTTTT
--:-- / 8
FTTTTFFFFTFTFTTT
TTTTTTTTTTTTTTTT
--:-M / 8
FTTTTFFFFTFTFTTT
TTTTTTTTTTTTTTTT
--:-- / 8
CC

0
CC

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

0
CC

0
CC

0
0200

FFTTFFFTTTTFFTTF (expected value)

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

?FTT?????????TTF
-TTT---------TTT
--:-- / 3
FFTTFFFTTTTFFTTF
TTTTTTTTTTTTTTTT
--:-M / 8
FFTTF?FTTTTFFTTF
TTTTT-TTTTTTTTTT
--:-- / 8
FF?TF?FTTTTFFTTF
TT-TT-TTTTTTTTTT
--:-- / 7
FFTTFFFTTTTFFTTF
TTTTTTTTTTTTTTTT
--:-- / 8
FFTTFFFTTTTFFTTF
TTTTTTTTTTTTTTTT
--:P- / 8
????F???T???F???
----T---T---T---
--:-- / 2
CC

0
FFTTFFFTTTTFFTTF
TTTTTTTTTTTTTTTT
--:-- / 8
FFTTFFFTTTTFFTTF
TTTTTTTTTTTTTTTT
--:-- / 8
0500

FTFFFFTTTFFFFFTF (expected value)

6.00 7.00 7.00 5.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
FTF?FFTTTFFFFFTF
TTT-TTTTTTTTTTTT
--:-- / 8
?TF?FFTTTFFFFFTF
-TT-TTTTTTTTTTTT
--:-- / 7
????????????????
----------------
--:-- / 0
FTFFFFTTTFFFFFTF
TTTTTTTTTTTTTTTT
--:-M / 8
FTFFFFTTTFFFFFTF
TTTTTTTTTTTTTTTT
--:-- / 8
FTFFFFTTTFFFFFTF
TTTTTTTTTTTTTTTT
--:P- / 8
DNF

0
FTFFFFTTTFFFFFTF
TTTTTTTTTTTTTTTT
--:-- / 8
FTFFFFTTTFFFFFTF
TTTTTTTTTTTTTTTT
--:-- / 8
1000

TFTFFTFFFTFFTTTF (expected value)

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

T??FFTF?????????
T--TTTT---------
--:-- / 3
TFTFFTFFFTFFTTTF
TTTTTTTTTTTTTTTT
--:-M / 8
T?TFFTF?FTFFTTTF
T-TTTTT-TTTTTTTT
--:-- / 7
T?TFFTF?FTFFTTTF
T-TTTTT-TTTTTTTT
--:-- / 7
TFTFFTFFFTFFTTTF
TTTTTTTTTTTTTTTT
--:-- / 8
TFTFFTFFFTFFTTTF
TTTTTTTTTTTTTTTT
--:-- / 8
TFTFFTFFFTFFTTTF
TTTTTTTTTTTTTTTT
--:P- / 8
DNF

0
TFTFFTFFFTFFTTTF
TTTTTTTTTTTTTTTT
--:-- / 8
TFTFFTFFFTFFTTTF
TTTTTTTTTTTTTTTT
--:-- / 8
2000

TFFFTFTTFFTTTTFT (expected value)

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

????????????????
----------------
--:-- / 0
TFFFTFTTFFTTTTFT
TTTTTTTTTTTTTTTT
--:-M / 8
TFF?T?T?F?TT?TF?
TTT-T-T-T-TT-TT-
--:-- / 5
TFF?T?T?F?TTTTF?
TTT-T-T-T-TTTTT-
--:-- / 6
TFFFTFTTFFTTTTFT
TTTTTTTTTTTTTTTT
--:-- / 8
TFFFTFTTFFTTTTFT
TTTTTTTTTTTTTTTT
--:-- / 8
TFFFTFTTFFTTTTFT
TTTTTTTTTTTTTTTT
--:P- / 8
CC

0
TFFFTFTTFFTTTTFT
TTTTTTTTTTTTTTTT
--:-- / 8
TFFFTFTTFFTTTTFT
TTTTTTTTTTTTTTTT
--:-- / 8
4000

TTTFTFTTFTFFFTTF (expected value)

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

????????????????
----------------
--:-- / 0
TTTFTFTTFTF?FTTF
TTTTTTTTTTT-TTTT
--:-- / 8
TT?FTFTT?TF?FTTF
TT-TTTTT-TT-TTTT
--:-- / 7
????????????????
----------------
--:-- / 0
DNF

0
DNF

0
TTTFTFTTFTFFFTTF
TTTTTTTTTTTTTTTT
--:PM / 8
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 98 119 119 85 85 116 115 51 85 68
Road Runner 0 5 0 0 0 1 0 1 0 0
Camel 0 3 4 0 0 0 0 0 0 0
01

FFFTTFFTFFFTFFFF (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)

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

0
05

TTFTFTTTTTTTFTTT (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)

TTFTFTTTTTTTFTTT
TTTTTTTTTTTTTTTT
--:-- / 17
TTFTFTTTTTTTFTTT
TTTTTTTTTTTTTTTT
--:-- / 17
TTFTFTTTTTTTFTTT
TTTTTTTTTTTTTTTT
--:-M / 17
CC

0
CC

0
TTFTFTTTTTTTFTTT
TTTTTTTTTTTTTTTT
--:P- / 17
TTFTFTTTTTTTFTTT
TTTTTTTTTTTTTTTT
--:-- / 17
TTFTFTTTTTTTFTTT
TTTTTTTTTTTTTTTT
--:-- / 17
CC

0
CC

0
10

TTTTTTTTTTTTTTTT (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)

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

0
CC

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

0
CC

0
15

TFFTTFTTTTTTTTTF (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)

TFFTTFTTTTTTTTTF
TTTTTTTTTTTTTTTT
--:-- / 17
TFFTTFTTTTTTTTTF
TTTTTTTTTTTTTTTT
--:P- / 17
TFFTTFTTTTTTTTTF
TTTTTTTTTTTTTTTT
--:-M / 17
TFFTTFTTTTTTTTTF
TTTTTTTTTTTTTTTT
--:-- / 17
TFFTTFTTTTTTTTTF
TTTTTTTTTTTTTTTT
--:-- / 17
TFFTTFTTTTTTTTTF
TTTTTTTTTTTTTTTT
--:-- / 17
TFFTTFTTTTTTTTTF
TTTTTTTTTTTTTTTT
--:-- / 17
DNF

0
TFFTTFTTTTTTTTTF
TTTTTTTTTTTTTTTT
--:-- / 17
TFFTTFTTTTTTTTTF
TTTTTTTTTTTTTTTT
--:-- / 17
20

TFTFTTTTTTTFTTFF (expected value)

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

TFTFTTTTTTT?TTF?
TTTTTTTTTTT-TTT-
--:-- / 15
TFTFTTTTTTTFTTFF
TTTTTTTTTTTTTTTT
--:PM / 17
TFTFTTTTTTTFTTFF
TTTTTTTTTTTTTTTT
--:-- / 17
TFTFTTTTTTTFTTFF
TTTTTTTTTTTTTTTT
--:-- / 17
TFTFTTTTTTTFTTFF
TTTTTTTTTTTTTTTT
--:-- / 17
TFTFTTTTTTTFTTFF
TTTTTTTTTTTTTTTT
--:-- / 17
TFTFTTTTTTTFTTFF
TTTTTTTTTTTTTTTT
--:-- / 17
DNF

0
TFTFTTTTTTTFTTFF
TTTTTTTTTTTTTTTT
--:-- / 17
TFTFTTTTTTTFTTFF
TTTTTTTTTTTTTTTT
--:-- / 17
25

FTTTTFTTFFFTTTTF (expected value)

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

FT?TT?TTFFF?TTT?
TT-TT-TTTTT-TTT-
--:-- / 13
FTTTTFTTFFFTTTTF
TTTTTTTTTTTTTTTT
--:PM / 17
FTTTTFTTFFFTTTTF
TTTTTTTTTTTTTTTT
--:-- / 17
FTTTTFTTFFFTTTTF
TTTTTTTTTTTTTTTT
--:-- / 17
FTTTTFTTFFFTTTTF
TTTTTTTTTTTTTTTT
--:-- / 17
F?TTTFTTFFFTTTT?
T-TTTTTTTTTTTTT-
--:-- / 15
F?TTTFTT?FFTTTT?
T-TTTTTT-TTTTTT-
--:-- / 14
DNF

0
FTTTTFTTFFFTTTTF
TTTTTTTTTTTTTTTT
--:-- / 17
FTTTTFTTFFFTTTTF
TTTTTTTTTTTTTTTT
--:-- / 17
50

TFTFFFTTTTFTFTFF (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 9.00 7.00 8.00 8.00 (confidence rate)

????????????FT??
------------TT--
--:-- / 2
TFTFFFTTTTFTFTFF
TTTTTTTTTTTTTTTT
--:P- / 17
TFTFFFTTTTFTFTFF
TTTTTTTTTTTTTTTT
--:-M / 17
TFTFFFTTTTFTFTFF
TTTTTTTTTTTTTTTT
--:-- / 17
TFTFFFTTTTFTFTFF
TTTTTTTTTTTTTTTT
--:-- / 17
TFTFFFTTTTFTF?FF
TTTTTTTTTTTTT-TT
--:-- / 16
TFTFFFTTTTFTF?FF
TTTTTTTTTTTTT-TT
--:-- / 16
DNF

0
TFTFFFTTTTFTFTFF
TTTTTTTTTTTTTTTT
--:-- / 17
TFTFFFTTTTFTFTFF
TTTTTTTTTTTTTTTT
--:-- / 17
AutoFlight — P/T
  LTSMin Tapaal LoLA M4M.full M4M.struct ITS-Tools ITS-Tools.L GreatSPN Irma.full Irma.struct
Score 124 160 148 76 84 125 104 64 78 77
Road Runner 0 18 0 0 0 1 0 1 0 0
Camel 0 17 3 0 0 0 0 0 0 0
01a

FFFTTFFFFTFFTTFT (expected value)

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

FFFTTFFFFTFFTTFT
TTTTTTTTTTTTTTTT
--:-- / 8
FFFTTFFFFTFFTTFT
TTTTTTTTTTTTTTTT
--:PM / 8
F?FTTFFFFTFFTTFT
T-TTTTTTTTTTTTTT
--:-- / 7
FFFTTFFFFTFFTTFT
TTTTTTTTTTTTTTTT
--:-- / 8
FFFTTFFFFTFFTTFT
TTTTTTTTTTTTTTTT
--:-- / 8
FFFTTFFFFTFFTTFT
TTTTTTTTTTTTTTTT
--:-- / 8
FFFTTFFFFTFFTTFT
TTTTTTTTTTTTTTTT
--:-- / 8
FFFTTFFFFTFFTTFT
TTTTTTTTTTTTTTTT
--:-- / 8
FFFTTFFFFTFFTTFT
TTTTTTTTTTTTTTTT
--:-- / 8
FFFTTFFFFTFFTTFT
TTTTTTTTTTTTTTTT
--:-- / 8
01b

TTTTFFFTTTFFFFFF (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)

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

FFTTTFTTFTFTFTTF (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)

FFTTTFTTFTFTFTTF
TTTTTTTTTTTTTTTT
--:-- / 8
FFTTTFTTFTFTFTTF
TTTTTTTTTTTTTTTT
--:-M / 8
FFTTTFTTFTFTFTTF
TTTTTTTTTTTTTTTT
--:-- / 8
CC

0
CC

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

0
CC

0
02b

FFTTTTFFTTFTTTTT (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)

FFTTTTFFTTFTTTTT
TTTTTTTTTTTTTTTT
--:-- / 8
FFTTTTFFTTFTTTTT
TTTTTTTTTTTTTTTT
--:PM / 8
FFTTTTFFTTFTTTTT
TTTTTTTTTTTTTTTT
--:-- / 8
CC

0
CC

0
FFTTTTFFTTFTTTTT
TTTTTTTTTTTTTTTT
--:-- / 8
FFTTTTFFTTFTTTTT
TTTTTTTTTTTTTTTT
--:-- / 8
DNF

0
CC

0
CC

0
03a

FTFTFTTTTTFTTTFF (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)

FTFTFTTTTTFTTTFF
TTTTTTTTTTTTTTTT
--:-- / 8
FTFTFTTTTTFTTTFF
TTTTTTTTTTTTTTTT
--:-M / 8
FTFTFTTTTTFTTTFF
TTTTTTTTTTTTTTTT
--:-- / 8
CC

0
CC

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

0
CC

0
03b

TTTTFTTFTTTTFTTT (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 4.00 5.00 5.00 (confidence rate)

TTTTFTTFTTTTFTTT
TTTTTTTTTTTTTTTT
--:-- / 8
TTTTFTTFTTTTFTTT
TTTTTTTTTTTTTTTT
--:PM / 8
TTTTFTTFTTTTF?TT
TTTTTTTTTTTTT-TT
--:-- / 7
CC

0
CC

0
TTTTFTTFTTTTFTTT
TTTTTTTTTTTTTTTT
--:-- / 8
TTTTFTTFTTTTFTTT
TTTTTTTTTTTTTTTT
--:-- / 8
DNF

0
CC

0
CC

0
04a

TTFTFTTTFTTFTFTF (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)

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

0
CC

0
TTFTFTTTFTTFTFTF
TTTTTTTTTTTTTTTT
--:-- / 8
TTFTFTTTFTTFTFTF
TTTTTTTTTTTTTTTT
--:-- / 8
TTFTFTTTFTTFTFTF
TTTTTTTTTTTTTTTT
--:-- / 8
CC

0
CC

0
04b

TTTTFTTFFTTFTTFT (expected value)

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

TTTTFTTFFTTFTTFT
TTTTTTTTTTTTTTTT
--:-- / 8
TTTTFTTFFTTFTTFT
TTTTTTTTTTTTTTTT
--:PM / 8
TTTTFTTFFTTFTT?T
TTTTTTTTTTTTTT-T
--:-- / 7
CC

0
CC

0
TTTTFTTFFTTFTTFT
TTTTTTTTTTTTTTTT
--:-- / 8
TTTTFTTF??TFT???
TTTTTTTT--TTT---
--:-- / 5
DNF

0
CC

0
CC

0
05a

TTTTTFTTFFFFFFFF (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)

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

TFFFTFTTTFTTTTTT (expected value)

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

TFFFTFT?TFTTTT?T
TTTTTTT-TTTTTT-T
--:-- / 7
TFFFTFTTTFTTTTTT
TTTTTTTTTTTTTTTT
--:PM / 8
TFFFTFTTTFTTTTTT
TTTTTTTTTTTTTTTT
--:-- / 8
TFFFTFTTTFTTTTTT
TTTTTTTTTTTTTTTT
--:-- / 8
TFFFTFTTTFTTTTTT
TTTTTTTTTTTTTTTT
--:-- / 8
TFFFTFTTTFTTTTTT
TTTTTTTTTTTTTTTT
--:-- / 8
TF?F???T????????
TT-T---T--------
--:-- / 2
DNF

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

FTFTTTTFFTTFTFTT (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)

FTFTTTTFFTTFTFTT
TTTTTTTTTTTTTTTT
--:-- / 8
FTFTTTTFFTTFTFTT
TTTTTTTTTTTTTTTT
--:PM / 8
FTFTTTTFFTTFTFTT
TTTTTTTTTTTTTTTT
--:-- / 8
CC

0
FTFTTTTFFTTFTFTT
TTTTTTTTTTTTTTTT
--:-- / 8
FTFTTTTFFTTFTFTT
TTTTTTTTTTTTTTTT
--:-- / 8
FTFTTTTFFTTFTFTT
TTTTTTTTTTTTTTTT
--:-- / 8
FTFTTTTFFTTFTFTT
TTTTTTTTTTTTTTTT
--:-- / 8
FTFTTTTFFTTFTFTT
TTTTTTTTTTTTTTTT
--:-- / 8
FTFTTTTFFTTFTFTT
TTTTTTTTTTTTTTTT
--:-- / 8
06b

TTFTFTTTFFTFTFTT (expected value)

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

?T?TFT??????TF??
-T-TTT------TT--
--:-- / 3
TTFTFTTTFFTFTFTT
TTTTTTTTTTTTTTTT
--:PM / 8
?TFTFTTTFFTFTFT?
-TTTTTTTTTTTTTT-
--:-- / 7
????????????????
----------------
--:-- / 0
????????????????
----------------
--:-- / 0
TTFTFTTTFFTFTFTT
TTTTTTTTTTTTTTTT
--:-- / 8
???????T?F??????
-------T-T------
--:-- / 1
DNF

0
????????????????
----------------
--:-- / 0
????????????????
----------------
--:-- / 0
12a

FTTFFTTFTFTTTTFF (expected value)

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

FTTFFTTFTFTTTTFF
TTTTTTTTTTTTTTTT
--:-- / 8
FTTFFTTFTFTTTTFF
TTTTTTTTTTTTTTTT
--:PM / 8
FTTFFTTF?FTTTTF?
TTTTTTTT-TTTTTT-
--:-- / 7
FTTFFTTF?FTTTTF?
TTTTTTTT-TTTTTT-
--:-- / 7
FTTFFTTF?FTTTTF?
TTTTTTTT-TTTTTT-
--:-- / 7
FTTFFTTFTFTTTTFF
TTTTTTTTTTTTTTTT
--:-- / 8
FTTFFTTFTFTTTTFF
TTTTTTTTTTTTTTTT
--:-- / 8
FTTFFTTFTFTTTTFF
TTTTTTTTTTTTTTTT
--:-- / 8
FTTFFTTF?FTTTTF?
TTTTTTTT-TTTTTT-
--:-- / 7
FTTFFTTF?FTTTTF?
TTTTTTTT-TTTTTT-
--:-- / 7
12b

TFTTTTFFTTTTTFFF (expected value)

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

??????F?T?T??F??
------T-T-T--T--
--:-- / 2
TFTTTTFFTTTTTFFF
TTTTTTTTTTTTTTTT
--:PM / 8
TFTTTTFFTTTTTFF?
TTTTTTTTTTTTTTT-
--:-- / 7
TFTTTTFFTTTTTFF?
TTTTTTTTTTTTTTT-
--:-- / 7
TFTTTTFFTTTTTFF?
TTTTTTTTTTTTTTT-
--:-- / 7
TFTT?TF?T?TT?F??
TTTT-TT-T-TT-T--
--:-- / 5
DNF

0
DNF

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

0
24a

FTTTFTFTTTFTTTTT (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)

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

0
FTTTFTFTTTFTTTTT
TTTTTTTTTTTTTTTT
--:-- / 8
FTTTFTFTTTFTTTTT
TTTTTTTTTTTTTTTT
--:-- / 8
24b

FTTTFTFTTFFTTTTF (expected value)

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

FTT?????TFF??TT?
TTT-----TTT--TT-
--:-- / 4
FTTTFTFTTFFTTTTF
TTTTTTTTTTTTTTTT
--:PM / 8
FTTTFT??TFFTTTTF
TTTTTT--TTTTTTTT
--:-- / 7
????????????????
----------------
--:-- / 0
????????????????
----------------
--:-- / 0
DNF

0
DNF

0
DNF

0
????????????????
----------------
--:-- / 0
????????????????
----------------
--:-- / 0
48a

FFFTFTTFTTFFFTTT (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)

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

0
FFFTFTTFTTFFFTTT
TTTTTTTTTTTTTTTT
--:-- / 8
FFFTFTTFTTFFFTTT
TTTTTTTTTTTTTTTT
--:-- / 8
48b

TTFTTTTTFTTTTTTF (expected value)

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

??F???????T???T?
--T-------T---T-
--:-- / 1
TTFTTTTTFTTTTTTF
TTTTTTTTTTTTTTTT
--:PM / 8
TTFT?TT?FTTTT?TF
TTTT-TT-TTTTT-TT
--:-- / 6
TTFT?TT?FTTTT?TF
TTTT-TT-TTTTT-TT
--:-- / 6
TTFT?TT?FTTTT?TF
TTTT-TT-TTTTT-TT
--:-- / 6
DNF

0
DNF

0
DNF

0
TTFT?TT?FTTTT?TF
TTTT-TT-TTTTT-TT
--:-- / 6
TTFT?TT?FTTTT?TF
TTTT-TT-TTTTT-TT
--:-- / 6
96a

TTTFTTTFTTFTFFTT (expected value)

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

?TT?T????T????TT
-TT-T----T----TT
--:-- / 3
TTTFTTTFTTFTFFTT
TTTTTTTTTTTTTTTT
--:PM / 8
TTTFTTTFTTFTFFTT
TTTTTTTTTTTTTTTT
--:-- / 8
TTTFTTTFTTFTFFTT
TTTTTTTTTTTTTTTT
--:-- / 8
TTTFTTTFTTFTFFTT
TTTTTTTTTTTTTTTT
--:-- / 8
DNF

0
DNF

0
DNF

0
TTTFTTTFTTFTFFTT
TTTTTTTTTTTTTTTT
--:-- / 8
TTTFTTTFTTFTFFTT
TTTTTTTTTTTTTTTT
--:-- / 8
96b

TTTTTTTTTTTFTFFT (expected value)

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

????????????????
----------------
--:-- / 0
TTTTTTTTTTTFTFFT
TTTTTTTTTTTTTTTT
--:PM / 8
?T??TTTTT?T?TF?T
-T--TTTTT-T-TT-T
--:-- / 5
????????????????
----------------
--:-- / 0
????????????????
----------------
--:-- / 0
DNF

0
DNF

0
DNF

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

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

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

DNC CC

0
CC

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

0
DNF

0
DNF

0
DNF

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

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

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

DNC CC

0
CC

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

0
DNF

0
DNF

0
DNF

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

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

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

DNC CC

0
CC

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

0
DNF

0
DNF

0
DNF

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

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

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

DNC CC

0
CC

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

0
DNF

0
DNF

0
DNF

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

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

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

DNC CC

0
CC

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

0
DNF

0
DNF

0
DNF

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

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

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

DNC CC

0
CC

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

0
DNF

0
DNF

0
DNF

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

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

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

DNC CC

0
CC

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

0
DNF

0
DNF

0
DNF

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

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

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

DNC CC

0
CC

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

0
DNF

0
CC

0
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 0 0 0 0 10 10 30 30 11 11
Road Runner 0 0 0 0 0 1 5 0 0 0
Camel 0 0 0 0 1 0 4 0 1 0
002

TTTFTFFTTTFTFFTF (expected value)

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

????????????????
----------------
--:-- / 0
TT??T?F?FFTF????
?
--:-- / 0
CC

0
????????????????
----------------
--:-- / 0
TTTFTFFTTTFTFFTF
--------TTTTTTTT
--:-- / 5
TTTFTFFTTTFTFFTF
--------TTTTTTTT
--:P- / 5
TTTFTFFTTTFTFFTF
--------TTTTTTTT
--:-- / 5
TT??T?F?TTFTFFTF
--------TTTTTTTT
--:-- / 5
TTTFTFFTTTFTFFTF
--------TTTTTTTT
--:-M / 5
TTTFTFFTTTFTFFTF
--------TTTTTTTT
--:-- / 5
005

FTTFTFTTFFTFFTFT (expected value)

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

????????????????
----------------
--:-- / 0
FT?T??T?FTFT????
?
--:-- / 0
CC

0
????????????????
----------------
--:-- / 0
FTTFTFTTFFTFFTFT
--------TTTTTTTT
--:-M / 5
FTTFTFTTFFTFFTFT
--------TTTTTTTT
--:-- / 5
FTTFTFTTFFTFFTFT
--------TTTTTTTT
--:P- / 5
FT?F??T?FFTFFTFT
--------TTTTTTTT
--:-- / 5
FTTFTFTTFFTFFTFT
--------TTTTTTTT
--:-- / 5
FTTFTFTTFFTFFTFT
--------TTTTTTTT
--:-- / 5
010

TTFFTFFFTTTTFTTF (expected value)

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

????????????????
----------------
--:-- / 0
?FT?T???TTF?????
?
--:-- / 0
CC

0
????????????????
----------------
--:-- / 0
?????FF?????????
----------------
--:-- / 0
?????FF?????????
----------------
--:-- / 0
TTFFTFFFTTTTFTTF
--------TTTTTTTT
--:PM / 5
?TF?T???TTTTFTTF
--------TTTTTTTT
--:-- / 5
?????FF?????FT??
------------TT--
--:-- / 1
?????FF?????FT??
------------TT--
--:-- / 1
020

TFFTFTTFTTFTTFTT (expected value)

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

????????????????
----------------
--:-- / 0
?FTFTF?TFTTFTT??
?
--:-- / 0
CC

0
????????????????
----------------
--:-- / 0
??F???T?????????
----------------
--:-- / 0
??F???T?????????
----------------
--:-- / 0
TFFTFTTFTTFTTFTT
--------TTTTTTTT
--:PM / 5
?FFTFT?FTTFTTFTT
--------TTTTTTTT
--:-- / 5
????????????????
----------------
--:-- / 0
????????????????
----------------
--:-- / 0
030

FFTFTTTTTTTTTTFT (expected value)

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

????????????????
----------------
--:-- / 0
????T??TFT??????
?
--:-- / 0
CC

0
????????????????
----------------
--:-- / 0
FFTF?TT?????????
----------------
--:-- / 0
F?TF?TT?????????
----------------
--:-- / 0
F?TF?TT?????????
----------------
--:-- / 0
????T??TTTTTTTFT
--------TTTTTTTT
--:-- / 5
????????????????
----------------
--:-- / 0
????????????????
----------------
--:-- / 0
040

TFTTTFFFFTTTFTTT (expected value)

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

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

0
????????????????
----------------
--:-- / 0
TFT???F?????????
----------------
--:-- / 0
TFT???F?????????
----------------
--:-- / 0
TFTTTFFFFTTTFTTT
--------TTTTTTTT
--:PM / 5
????????????????
----------------
--:-- / 0
????????????????
----------------
--:-- / 0
????????????????
----------------
--:-- / 0
050

TTFFTFTFFTTFTFTF (expected value)

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

????????????????
----------------
--:-- / 0
?????TFTFTF?????
?
--:-- / 0
CC

0
????????????????
----------------
--:-- / 0
T?FFT???????????
----------------
--:-- / 0
TTFFT???????????
----------------
--:-- / 0
T?FFT???????????
----------------
--:-- / 0
?????FTFFTTFTFTF
--------TTTTTTTT
--:-- / 5
????????????????
----------------
--:-- / 0
????????????????
----------------
--:-- / 0
060

FFTFFFFFFTTFTFTT (expected value)

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

????????????????
----------------
--:-- / 0
?TF?????TT??????
?
--:-- / 0
CC

0
????????????????
----------------
--:-- / 0
F??FFFFF????????
----------------
--:-- / 0
F??FFFFF????????
----------------
--:-- / 0
FFTFFFFFFTTFTFTT
--------TTTTTTTT
--:PM / 5
?FT?????????????
----------------
--:-- / 0
????????????????
----------------
--:-- / 0
????????????????
----------------
--:-- / 0
BridgeAndVehicles — Colored
  LTSMin Tapaal LoLA M4M.full M4M.struct ITS-Tools ITS-Tools.L GreatSPN Irma.full Irma.struct
Score 0 91 72 44 43 65 65 25 24 20
Road Runner 0 0 1 0 0 5 2 0 0 0
Camel 0 7 1 0 0 0 0 0 0 0
V04P05N02

FFTTFTFFFFFTFFFF (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 FFTTFTFFFFFTFFFF
TTTTTTTTTTTTTTTT
--:-- / 5
FFTTFTFFFFFTFFFF
TTTTTTTTTTTTTTTT
--:PM / 5
FFTTFTFFFFFTFFFF
TTTTTTTTTTTTTTTT
--:-- / 5
FFTTFTFFFFFTFFFF
TTTTTTTTTTTTTTTT
--:-- / 5
FFTTFTFFFFFTFFFF
TTTTTTTTTTTTTTTT
--:-- / 5
FFTTFTFFFFFTFFFF
TTTTTTTTTTTTTTTT
--:-- / 5
FFTTFTFFFFFTFFFF
TTTTTTTTTTTTTTTT
--:-- / 5
FFTTFTFFFFFTFFFF
TTTTTTTTTTTTTTTT
--:-- / 5
FFTTFTFFFFFTFFFF
TTTTTTTTTTTTTTTT
--:-- / 5
V10P10N10

TFFFTTFTTFTFTFFT (expected value)

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

DNC TFFFTTFTTFTFTFFT
TTTTTTTTTTTTTTTT
--:-M / 5
TFFFTTF?TFTFTFFT
TTTTTTT-TTTTTTTT
--:-- / 5
CC

0
CC

0
TFFFTTFTTFTFTFFT
TTTTTTTTTTTTTTTT
--:P- / 5
TFFFTTFTTFTFTFFT
TTTTTTTTTTTTTTTT
--:-- / 5
TFFFTTFTTFTFTFFT
TTTTTTTTTTTTTTTT
--:-- / 5
CC

0
CC

0
V20P10N10

FFTTFFFFFTTFFFFF (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 FFTTFFFFFTTFFFFF
TTTTTTTTTTTTTTTT
--:-M / 5
FFTTFFFFFTTFFFFF
TTTTTTTTTTTTTTTT
--:-- / 5
CC

0
CC

0
FFTTFFFFFTTFFFFF
TTTTTTTTTTTTTTTT
--:-- / 5
FFTTFFFFFTTFFFFF
TTTTTTTTTTTTTTTT
--:P- / 5
FFTTFFFFFTTFFFFF
TTTTTTTTTTTTTTTT
--:-- / 5
CC

0
CC

0
V20P10N20

TFTTTFFFFFTTFFFF (expected value)

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

DNC TFTTTFFFFFTTFFFF
TTTTTTTTTTTTTTTT
--:-M / 5
TFTTTFFFFF?T?FFF
TTTTTTTTTT-T-TTT
--:-- / 5
CC

0
CC

0
TFTTTFFFFFTTFFFF
TTTTTTTTTTTTTTTT
--:P- / 5
TFTTTFFFFFTTFFFF
TTTTTTTTTTTTTTTT
--:-- / 5
DNF

0
CC

0
CC

0
V20P10N50

FFFTTFFFFFFFTTFF (expected value)

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

DNC FFFTTFFFFFFFTTFF
TTTTTTTTTTTTTTTT
--:-M / 5
????T??FFFF?T??F
----T--TTTT-T--T
--:-- / 2
CC

0
CC

0
FFFTTFFFFFFFTTFF
TTTTTTTTTTTTTTTT
--:P- / 5
FFFTTFFFFFFFTTFF
TTTTTTTTTTTTTTTT
--:-- / 5
FFFTTFFFFFFFTTFF
TTTTTTTTTTTTTTTT
--:-- / 5
CC

0
CC

0
V20P20N10

TTFTFFFFTFTFTTTF (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 TTFTFFFFTFTFTTTF
TTTTTTTTTTTTTTTT
--:-M / 5
TTFTFFFFTFTFTTTF
TTTTTTTTTTTTTTTT
--:-- / 5
TTFTFFFFTFTFTTTF
TTTTTTTTTTTTTTTT
--:-- / 5
TTFTFFFFTFTFTTTF
TTTTTTTTTTTTTTTT
--:-- / 5
TTFTFFFFTFTFTTTF
TTTTTTTTTTTTTTTT
--:-- / 5
TTFTFFFFTFTFTTTF
TTTTTTTTTTTTTTTT
--:P- / 5
TTFTFFFFTFTFTTTF
TTTTTTTTTTTTTTTT
--:-- / 5
TTFTFFFFTFTFTTTF
TTTTTTTTTTTTTTTT
--:-- / 5
TTFTFFFFTFTFTTTF
TTTTTTTTTTTTTTTT
--:-- / 5
V20P20N20

TFFTFFTFFFFFTTTT (expected value)

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

DNC TFFTFFTFFFFFTTTT
TTTTTTTTTTTTTTTT
--:-M / 5
TF??F?TFFF???TTT
TT--T-TTTT---TTT
--:-- / 3
TFFTFFTFFFFFTTTT
TTTTTTTTTTTTTTTT
--:-- / 5
TFFTFFTFFFFFTTTT
TTTTTTTTTTTTTTTT
--:-- / 5
TFFTFFTFFFFFTTTT
TTTTTTTTTTTTTTTT
--:P- / 5
TFFTFFTFFFFFTTTT
TTTTTTTTTTTTTTTT
--:-- / 5
DNF

0
TFFTFFTFFFFFTTTT
TTTTTTTTTTTTTTTT
--:-- / 5
TFFTFFTFFFFFTTTT
TTTTTTTTTTTTTTTT
--:-- / 5
V20P20N50

FFTFFFFFFFFFTTFT (expected value)

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

DNC FFTFFFFFFFFFTTFT
TTTTTTTTTTTTTTTT
--:-M / 5
F?T????F????T???
T-T----T----T---
--:-- / 1
FFTFFFFFFFFFTTFT
TTTTTTTTTTTTTTTT
--:-- / 5
FFTFFFFFFFFFTTFT
TTTTTTTTTTTTTTTT
--:-- / 5
FFTFFFFFFFFFTTFT
TTTTTTTTTTTTTTTT
--:P- / 5
FFTFFFFFFFFFTTFT
TTTTTTTTTTTTTTTT
--:-- / 5
DNF

0
FFTFFFFFFFFFTTFT
TTTTTTTTTTTTTTTT
--:-- / 5
FFTFFFFFFFFFTTFT
TTTTTTTTTTTTTTTT
--:-- / 5
V50P20N10

FFFTFT? FTFFFTTFF (expected value)

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

DNC FFFTFT?F???FTT?F
TTTTTT?T---TTT-T
--:-- / 4
?F?TFT?F???FTT?F
-T-TTT?T---TTT-T
--:-- / 3
F?F????FTFF???F?
T-T---?TTTT---T-
--:-- / 2
F?F????FTFF???F?
T-T---?TTTT---T-
--:-- / 2
F?F????FTFF???F?
T-T---?TTTT---T-
--:-- / 2
F?F????FTFF???F?
T-T---?TTTT---T-
--:-- / 2
DNF

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

TFFFFFTFFFTTFFFF (expected value)

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

DNC T??F?F?FFFTTFF?F
T--T-T-TTTTTTT-T
--:-- / 4
T??F?F?FFFT?FF?F
T--T-T-TTTT-TT-T
--:-- / 3
?FF?F?T????T??F?
-TT-T-T----T--T-
--:-- / 2
?FF?F?T????T??F?
-TT-T-T----T--T-
--:-- / 2
?FF?F?T????T??F?
-TT-T-T----T--T-
--:-- / 2
?FF?F?T????T??F?
-TT-T-T----T--T-
--:-- / 2
DNF

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

TTFTFTTT? FTTTFTF (expected value)

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

DNC T?FTFTTT?FTTTFTF
T-TTTTTT?TTTTTTT
--:-- / 5
??F?F?TT?FTTTFTF
--T-T-TT?TTTTTTT
--:-- / 4
?T?T???????????F
-T-T----?------T
--:-- / 1
?T?T???????????F
-T-T----?------T
--:-- / 1
?T?T???????????F
-T-T----?------T
--:-- / 1
?T?T???????????F
-T-T----?------T
--:-- / 1
DNF

0
T?F?FTTT?FTTTFTF
T-T-TTTT?TTTTTTT
--:-- / 4
????????????????
--------?-------
--:-- / 0
V50P50N10

FTT? FFFTFTTFTTTF (expected value)

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

DNC FTT?FFF?FTTFTTTF
TTT?TTT-TTTTTTTT
--:-- / 5
?TT??FF?FTTF?TTF
-TT?-TT-TTTT-TTT
--:-- / 4
F???F??T????T?T?
T--?T--T----T-T-
--:-- / 2
F???F??T????T?T?
T--?T--T----T-T-
--:-- / 2
F???F??T????T?T?
T--?T--T----T-T-
--:-- / 2
F???F??T????T?T?
T--?T--T----T-T-
--:-- / 2
DNF

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

TFTFFFFFTTTFFFFF (expected value)

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

DNC ???F?FFFTTTFFFFF
---T-TTTTTTTTTTT
--:-- / 4
?????FFFTTT??FFF
-----TTTTTT--TTT
--:-- / 3
???F???????FF???
---T-------TT---
--:-- / 1
TFTFF??????FF???
TTTTT------TT---
--:-- / 2
TFTFF??????FF???
TTTTT------TT---
--:-- / 2
TFTFF??????FF???
TTTTT------TT---
--:-- / 2
DNF

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

FFFFTTFTFFFTFTTF (expected value)

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

DNC F?FFT?F?FFFTFTTF
T-TTT-T-TTTTTTTT
--:-- / 4
F?FF??F?FFF?FTTF
T-TT--T-TTT-TTTT
--:-- / 4
FF???T?T???T????
TT---T-T---T----
--:-- / 2
FF???T?T???T????
TT---T-T---T----
--:-- / 2
FF???T?T???T????
TT---T-T---T----
--:-- / 2
FF???T?T???T????
TT---T-T---T----
--:-- / 2
CC

0
????????????????
----------------
--:-- / 0
????????????????
----------------
--:-- / 0
V80P20N10

? FFTTTTTFTFTTFTF (expected value)

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

DNC ?F?TTT?TFTFTTFT?
?T-TTT-TTTTTTTT-
--:-- / 4
?F?TT??T??FTTF??
?T-TT--T--TTTT--
--:-- / 3
?FF??TT?FT????TF
?TT--TT-TT----TT
--:-- / 3
?FF??TT?FT????TF
?TT--TT-TT----TT
--:-- / 3
?FF??TT?FT????TF
?TT--TT-TT----TT
--:-- / 3
?FF??TT?FT????TF
?TT--TT-TT----TT
--:-- / 3
DNF

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

FTFTFFTFFFFTFFFT (expected value)

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

DNC FTFTFFTFF?FTF?FT
TTTTTTTTT-TTT-TT
--:-- / 5
F?FTFF?FF?F?F?F?
T-TTTT-TT-T-T-T-
--:-- / 3
?T????T??F?T?F?T
-T----T--T-T-T-T
--:-- / 2
?T????T??F?T?F?T
-T----T--T-T-T-T
--:-- / 2
?T????T??F?T?F?T
-T----T--T-T-T-T
--:-- / 2
?T????T??F?T?F?T
-T----T--T-T-T-T
--:-- / 2
DNF

0
????????????????
----------------
--:-- / 0
????????????????
----------------
--:-- / 0
V80P20N50

FFTTTTT? TTFFFFFF (expected value)

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

DNC F??TTTT??T???F?F
T--TTTT?-T---T-T
--:-- / 3
F??TTTT??T?????F
T--TTTT?-T-----T
--:-- / 2
?FT?????T?FFFFF?
-TT----?T-TTTTT-
--:-- / 3
?FT?????T?FFFFF?
-TT----?T-TTTTT-
--:-- / 3
?FT?????T?FFFFF?
-TT----?T-TTTTT-
--:-- / 3
?FT?????T?FFFFF?
-TT----?T-TTTTT-
--:-- / 3
DNF

0
????????????????
-------?--------
--:-- / 0
????????????????
-------?--------
--:-- / 0
V80P50N10

FFTFFFTTFFTT? TFF (expected value)

2.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 5.00 2.00 5.00 3.00 0 2.00 3.00 5.00 (confidence rate)

DNC FFTFFFTTFFT??T?F
TTTTTTTTTTT-?T-T
--:-- / 4
FFTFFFTTFF???T?F
TTTTTTTTTT--?T-T
--:-- / 4
????????F?TT??FF
--------T-TT?-TT
--:-- / 2
??????????T?????
----------T-?---
--:-- / 0
????????F?TT??FF
--------T-TT?-TT
--:-- / 2
????????F?TT??FF
--------T-TT?-TT
--:-- / 2
DNF

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

FFFFFFFFTTTFFFFF (expected value)

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

DNC FFFFFFF?TTT?FFFF
TTTTTTT-TTT-TTTT
--:-- / 5
FFFFFFF?TTT?FFFF
TTTTTTT-TTT-TTTT
--:-- / 5
F????F?F???FF???
T----T-T---TT---
--:-- / 2
F????F?F???FF???
T----T-T---TT---
--:-- / 2
F????F?F???FF???
T----T-T---TT---
--:-- / 2
F????F?F???FF???
T----T-T---TT---
--:-- / 2
DNF

0
????????????????
----------------
--:-- / 0
????????????????
----------------
--:-- / 0
V80P50N50

TTFTFTTFFF? TFT? F (expected value)

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

DNC TTFT?TT?FF?T?T?F
TTTT-TT-TT?T-T?T
--:-- / 4
?TF??TT??F?T?T?F
-TT--TT--T?T-T?T
--:-- / 3
T??TFT?FF???F???
T--TTT-TT-?-T-?-
--:-- / 2
T??TFT?FF???F???
T--TTT-TT-?-T-?-
--:-- / 2
T??TFT?FF???F???
T--TTT-TT-?-T-?-
--:-- / 2
T??TFT?FF???F???
T--TTT-TT-?-T-?-
--:-- / 2
DNF

0
????????????????
----------?---?-
--:-- / 0
????????????????
----------?---?-
--:-- / 0
BridgeAndVehicles — P/T
  LTSMin Tapaal LoLA M4M.full M4M.struct ITS-Tools ITS-Tools.L GreatSPN Irma.full Irma.struct
Score 52 91 64 32 34 50 58 30 18 18
Road Runner 0 2 1 0 0 0 4 1 0 0
Camel 0 7 1 0 0 0 0 0 0 0
V04P05N02

FFTTFTFFFFTFFFTF (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)

FFTTFTFFFFTFFFTF
TTTTTTTTTTTTTTTT
--:-- / 5
FFTTFTFFFFTFFFTF
TTTTTTTTTTTTTTTT
--:-- / 5
FFTTFTFFFFTFFFTF
TTTTTTTTTTTTTTTT
--:PM / 5
FFTTFTFFFFTFFFTF
TTTTTTTTTTTTTTTT
--:-- / 5
FFTTFTFFFFTFFFTF
TTTTTTTTTTTTTTTT
--:-- / 5
FFTTFTFFFFTFFFTF
TTTTTTTTTTTTTTTT
--:-- / 5
FFTTFTFFFFTFFFTF
TTTTTTTTTTTTTTTT
--:-- / 5
FFTTFTFFFFTFFFTF
TTTTTTTTTTTTTTTT
--:-- / 5
FFTTFTFFFFTFFFTF
TTTTTTTTTTTTTTTT
--:-- / 5
FFTTFTFFFFTFFFTF
TTTTTTTTTTTTTTTT
--:-- / 5
V10P10N10

TFFFTTFTFTTFTTFF (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)

TFFFTTFTFTTFTTFF
TTTTTTTTTTTTTTTT
--:-- / 5
TFFFTTFTFTTFTTFF
TTTTTTTTTTTTTTTT
--:-M / 5
TFFFTTFTFTTFTTFF
TTTTTTTTTTTTTTTT
--:-- / 5
CC

0
CC

0
TFFFTTFTFTTFTTFF
TTTTTTTTTTTTTTTT
--:-- / 5
TFFFTTFTFTTFTTFF
TTTTTTTTTTTTTTTT
--:-- / 5
TFFFTTFTFTTFTTFF
TTTTTTTTTTTTTTTT
--:P- / 5
CC

0
CC

0
V20P10N10

FFTTFFFFFTTTFFTT (expected value)

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

FF??FFF?FTTTF?TT
TT--TTT-TTTTT-TT
--:-- / 4
FFTTFFFFFTTTFFTT
TTTTTTTTTTTTTTTT
--:-M / 5
FFTTFFFFFTTTFFTT
TTTTTTTTTTTTTTTT
--:-- / 5
CC

0
CC

0
FFTTFFFFFTTTFFTT
TTTTTTTTTTTTTTTT
--:-- / 5
FFTTFFFFFTTTFFTT
TTTTTTTTTTTTTTTT
--:P- / 5
FFTTFFFFFTTTFFTT
TTTTTTTTTTTTTTTT
--:-- / 5
CC

0
CC

0
V20P10N20

TFTTTFFFTTFTFTFT (expected value)

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

T??TTFFFTT?TFT??
T--TTTTTTT-TTT--
--:-- / 4
TFTTTFFFTTFTFTFT
TTTTTTTTTTTTTTTT
--:-M / 5
T??TTFFFTT?TFTFT
T--TTTTTTT-TTTTT
--:-- / 4
CC

0
CC

0
TF??T?FF??FT?TFT
TT--T-TT--TT-TTT
--:-- / 3
TFTTTFFFTTFTFTFT
TTTTTTTTTTTTTTTT
--:P- / 5
TFTTTFFFTTFTFTFT
TTTTTTTTTTTTTTTT
--:-- / 5
CC

0
CC

0
V20P10N50

FFFTTFFFTTTTFTTF (expected value)

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

????T??FT??TFT??
----T--TT--TTT--
--:-- / 2
FFFTTFFFTTTTFTTF
TTTTTTTTTTTTTTTT
--:-M / 5
????T??F??????TF
----T--T------TT
--:-- / 1
CC

0
CC

0
?????FF???????TF
-----TT-------TT
--:-- / 1
FFFTTFFFTTTTFTTF
TTTTTTTTTTTTTTTT
--:P- / 5
FFFTTFFFTTTTFTTF
TTTTTTTTTTTTTTTT
--:-- / 5
CC

0
CC

0
V20P20N10

TTFTFFFFFTFFTTFF (expected value)

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

T?FT?FFF??F?T?FF
T-TT-TTT--T-T-TT
--:-- / 3
TTFTFFFFFTFFTTFF
TTTTTTTTTTTTTTTT
--:-M / 5
?TFTFFFFFTFFTTFF
-TTTTTTTTTTTTTTT
--:-- / 5
TTFTFFFFFTFFTTFF
TTTTTTTTTTTTTTTT
--:-- / 5
TTFTFFFFFTFFTTFF
TTTTTTTTTTTTTTTT
--:-- / 5
TTFTFFFFFTFFTTFF
TTTTTTTTTTTTTTTT
--:-- / 5
TTFTFFFFFTFFTTFF
TTTTTTTTTTTTTTTT
--:P- / 5
TTFTFFFFFTFFTTFF
TTTTTTTTTTTTTTTT
--:-- / 5
T?FTFFFFFTFFTTFF
T-TTTTTTTTTTTTTT
--:-- / 5
T?FTFFFFFTFFTTFF
T-TTTTTTTTTTTTTT
--:-- / 5
V20P20N20

TFFTFFTFFTTTFTTT (expected value)

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

TF??F?TF?TTT?TTT
TT--T-TT-TTT-TTT
--:-- / 4
TFFTFFTFFTTTFTTT
TTTTTTTTTTTTTTTT
--:PM / 5
TFF?F?TFFTTTFTTT
TTT-T-TTTTTTTTTT
--:-- / 5
T?FT?F??F???F???
T-TT-T--T---T---
--:-- / 2
T?FT?F??F???F???
T-TT-T--T---T---
--:-- / 2
TFFTFFTFF?T?F??T
TTTTTTTTT-T-T--T
--:-- / 4
TFFTFFTFFTT?F??T
TTTTTTTTTTT-T--T
--:-- / 4
DNF

0
TF??F?TFFTTTFTTT
TT--T-TTTTTTTTTT
--:-- / 4
TF??F?TFFTTTFTTT
TT--T-TTTTTTTTTT
--:-- / 4
V20P20N50

FFTFFFFFFTFTFFFF (expected value)

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

F?T????F??F?????
T-T----T--T-----
--:-- / 1
FFTFFFFFFTFTFFFF
TTTTTTTTTTTTTTTT
--:PM / 5
F?T????FF????F?F
T-T----TT----T-T
--:-- / 2
DNF

0
DNF

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

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

FFFTFT? FTTTFFTT? (expected value)

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

?F?TFT???TTFFT??
-T-TTT?--TTTTT-?
--:-- / 3
FFFTFT?FTTTFFTT?
TTTTTT?TTTTTTTT?
--:-- / 5
?F?TFT?FT??F?TT?
-T-TTT?TT--T-TT?
--:-- / 3
F?F????FT?????T?
T-T---?TT-----T?
--:-- / 2
F?F????FT?????T?
T-T---?TT-----T?
--:-- / 2
F?F????FT?????T?
T-T---?TT-----T?
--:-- / 2
F?F????FT?????T?
T-T---?TT-----T?
--:-- / 2
DNF

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

TFFFFFTFTF? FT? TF (expected value)

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

T??F?F?F????T??F
T--T-T-T--?-T?-T
--:-- / 2
T??F?F?FTF?FT?TF
T--T-T-TTT?TT?TT
--:-- / 3
T??F?F?F????T?TF
T--T-T-T--?-T?TT
--:-- / 2
?FF?F?T???????T?
-TT-T-T---?--?T-
--:-- / 2
?FF?F?T???????T?
-TT-T-T---?--?T-
--:-- / 2
?FF?F?T???????T?
-TT-T-T---?--?T-
--:-- / 2
?FF?F?T?????T?T?
-TT-T-T---?-T?T-
--:-- / 2
DNF

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

TTFTFTTTFTTTTFFT (expected value)

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

??F??????T??????
--T------T------
--:-- / 1
T?F?FTTTFTTTTFFT
T-T-TTTTTTTTTTTT
--:-- / 5
T?F?FTTTF???????
T-T-TTTTT-------
--:-- / 2
?T?T????F????FF?
-T-T----T----TT-
--:-- / 2
?T?T????F????FF?
-T-T----T----TT-
--:-- / 2
?T?T????F????FF?
-T-T----T----TT-
--:-- / 2
?T?T????F????FF?
-T-T----T----TT-
--:-- / 2
DNF

0
????????????????
----------------
--:-- / 0
????????????????
----------------
--:-- / 0
V50P50N10

FTT? FFFTFFFTTTTT (expected value)

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

?TT??FF??FFTT?TT
-TT?-TT--TTTT-TT
--:-- / 3
FTT??FF?FFFTTTTT
TTT?-TT-TTTTTTTT
--:-- / 4
?TT??FF?F?FT??T?
-TT?-TT-T-TT--T-
--:-- / 3
F???F??TF????T??
T--?T--TT----T--
--:-- / 2
F???F??TF????T??
T--?T--TT----T--
--:-- / 2
F???F??TF????T??
T--?T--TT----T--
--:-- / 2
F???F??TF????T??
T--?T--TT----T--
--:-- / 2
DNF

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

TFTFFFFFTTFFTFTF (expected value)

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

?????FFFT??F?FT?
-----TTTT--T-TT-
--:-- / 2
???F?FFFTTFFTFTF
---T-TTTTTTTTTTT
--:-- / 4
?????FFF?TF???TF
-----TTT-TT---TT
--:-- / 2
TFTFF?????F????F
TTTTT-----T----T
--:-- / 2
TFTFF?????F????F
TTTTT-----T----T
--:-- / 2
TFTFF?????F????F
TTTTT-----T----T
--:-- / 2
TFTFF?????F???TF
TTTTT-----T---TT
--:-- / 3
DNF

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

FFFFTTFTTTTTFTTF (expected value)

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

F?FF??F??????TT?
T-TT--T------TT-
--:-- / 2
F?FFT?F?TTTTFTTF
T-TTT-T-TTTTTTTT
--:-- / 4
F?FF??F???????TF
T-TT--T-------TT
--:-- / 2
FF???T?T??T?F??F
TT---T-T--T-T--T
--:-- / 2
FF???T?T??T?F??F
TT---T-T--T-T--T
--:-- / 2
FF???T?T??T?F??F
TT---T-T--T-T--T
--:-- / 2
FF???T?T??T?F??F
TT---T-T--T-T--T
--:-- / 2
CC

0
????????????????
----------------
--:-- / 0
????????????????
----------------
--:-- / 0
V80P20N10

? FFTTTTTTFTTTTFF (expected value)

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

????T?????TTT???
?---T-----TTT---
--:-- / 1
?F?TTT?TTFTTTTFF
?T-TTT-TTTTTTTTT
--:-- / 4
?F?TT??TTF?T??FF
?T-TT--TTT-T--TT
--:-- / 3
DNF

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

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

FTFTFFTFTFTTTTTT (expected value)

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

F?FT?F??TFTTTTTT
T-TT-T--TTTTTTTT
--:-- / 4
FTFTFF?FTFTTTTTT
TTTTTT-TTTTTTTTT
--:-- / 5
F?FTFF?F?F?T????
T-TTTT-T-T-T----
--:-- / 3
?T????T?????????
-T----T---------
--:-- / 1
?T????T?????????
-T----T---------
--:-- / 1
?T????T?????????
-T----T---------
--:-- / 1
?T????T?????????
-T----T---------
--:-- / 1
DNF

0
????????????????
----------------
--:-- / 0
????????????????
----------------
--:-- / 0
V80P20N50

FFTTTTT? FTT? T? TT (expected value)

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

??????T?????????
------T?---?-?--
--:-- / 0
F??TTTT?FTT?T?T?
T--TTTT?TTT?T?T-
--:-- / 3
F??TTTT?F?T?T??T
T--TTTT?T-T?T?-T
--:-- / 3
?FT?????F?T?T???
-TT----?T-T?T?--
--:-- / 2
?FT?????F?T?T???
-TT----?T-T?T?--
--:-- / 2
?FT?????F?T?T???
-TT----?T-T?T?--
--:-- / 2
?FT?????F?T?T???
-TT----?T-T?T?--
--:-- / 2
DNF

0
????????????????
-------?---?-?--
--:-- / 0
????????????????
-------?---?-?--
--:-- / 0
V80P50N10

FFTFFFTTTTFFFT? T (expected value)

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

FFTFF?TT?T?????T
TTTTT-TT-T----?T
--:-- / 3
FFTFFFTTTTFFFT?T
TTTTTTTTTTTTTT?T
--:-- / 5
FFTFFFTTTTFF?T??
TTTTTTTTTTTT-T?-
--:-- / 4
??????????FFFT??
----------TTTT?-
--:-- / 1
??????????FFFT??
----------TTTT?-
--:-- / 1
DNF

0
??????????FFFT??
----------TTTT?-
--:-- / 1
DNF

0
FFTFFFTT?T?F?T??
TTTTTTTT-T-T-T?-
--:-- / 4
FFTFFFTT?T?F?T??
TTTTTTTT-T-T-T?-
--:-- / 4
V80P50N20

FFFFFFFFTTFT? FTF (expected value)

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

?FFFF?F?TT?T??TF
-TTTT-T-TT-T?-TT
--:-- / 3
FFFFFFF?TTFT?FTF
TTTTTTT-TTTT?TTT
--:-- / 5
FFFFFFF???F??FT?
TTTTTTT---T-?TT-
--:-- / 3
F????F?F??F??F??
T----T-T--T-?T--
--:-- / 2
F????F?F??F??F??
T----T-T--T-?T--
--:-- / 2
F????F?F??F??F??
T----T-T--T-?T--
--:-- / 2
F????F?F??F??F??
T----T-T--T-?T--
--:-- / 2
DNF

0
????????????????
------------?---
--:-- / 0
????????????????
------------?---
--:-- / 0
V80P50N50

TTFTFTTFTTFTF? FF (expected value)

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

??????T?????????
------T------?--
--:-- / 0
TTF??TT?TTFT??FF
TTT--TT-TTTT-?TT
--:-- / 4
?TF??TT?TT??F???
-TT--TT-TT--T?--
--:-- / 2
T??TFT?FT???????
T--TTT-TT----?--
--:-- / 2
T??TFT?FT???????
T--TTT-TT----?--
--:-- / 2
T??TFT?FT???????
T--TTT-TT----?--
--:-- / 2
T??TFT?FT???????
T--TTT-TT----?--
--:-- / 2
DNF

0
????????????????
-------------?--
--:-- / 0
????????????????
-------------?--
--:-- / 0
CSRepetitions — Colored
  LTSMin Tapaal LoLA M4M.full M4M.struct ITS-Tools ITS-Tools.L GreatSPN Irma.full Irma.struct
Score 0 66 52 18 21 47 47 44 20 20
Road Runner 0 3 0 0 0 0 0 3 0 0
Camel 0 6 0 0 0 0 0 0 0 0
02

FFFTTTFFFTFTFTTT (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)

DNC FFFTTTFFFTFTFTTT
TTTTTTTTTTTTTTTT
--:-M / 11
FFFTTTFFFTFT?TTT
TTTTTTTTTTTT-TTT
--:-- / 10
FFFTTTFFFTFTFTTT
TTTTTTTTTTTTTTTT
--:-- / 11
FFFTTTFFFTFTFTTT
TTTTTTTTTTTTTTTT
--:-- / 11
FFFTTTFFFTFTFTTT
TTTTTTTTTTTTTTTT
--:-- / 11
FFFTTTFFFTFTFTTT
TTTTTTTTTTTTTTTT
--:-- / 11
FFFTTTFFFTFTFTTT
TTTTTTTTTTTTTTTT
--:P- / 11
FFFTTTFFFTFTFTTT
TTTTTTTTTTTTTTTT
--:-- / 11
FFFTTTFFFTFTFTTT
TTTTTTTTTTTTTTTT
--:-- / 11
03

TTFTFTFFTTTTTTFT (expected value)

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

DNC TTFTFTFFTTTTTTFT
TTTTTTTTTTTTTTTT
--:-M / 11
T?FTF?FFTTTT??FT
T-TTT-TTTTTT--TT
--:-- / 8
CC

0
CC

0
TTFTFTFFTTTTTTFT
TTTTTTTTTTTTTTTT
--:-- / 11
TTFTFTFFTTTTTTFT
TTTTTTTTTTTTTTTT
--:-- / 11
TTFTFTFFTTTTTTFT
TTTTTTTTTTTTTTTT
--:P- / 11
CC

0
CC

0
04

FTFFFFTTFFTFTFTT (expected value)

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

DNC FTFFFFTTFFTFTFTT
TTTTTTTTTTTTTTTT
--:-M / 11
F?F?FFT?FFTFTFTT
T-T-TTT-TTTTTTTT
--:-- / 9
CC

0
CC

0
FTFFFFTTFFTFTFTT
TTTTTTTTTTTTTTTT
--:-- / 11
FTFFFFTTFFTFTFTT
TTTTTTTTTTTTTTTT
--:-- / 11
FTFFFFTTFFTFTFTT
TTTTTTTTTTTTTTTT
--:P- / 11
CC

0
CC

0
05

FTFTFFFTFTFFFFTT (expected value)

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

DNC FTFTFFFTFTFFFFTT
TTTTTTTTTTTTTTTT
--:PM / 11
FTFTF?FTF??FFFT?
TTTTT-TTT--TTTT-
--:-- / 8
??F???FT?TF????T
--T---TT-TT----T
--:-- / 4
??F???FT?TF????T
--T---TT-TT----T
--:-- / 4
??F???FTFTF???TT
--T---TTTTT---TT
--:-- / 6
??F???FTFTF???TT
--T---TTTTT---TT
--:-- / 6
FTFTFFFTFTFFFFTT
TTTTTTTTTTTTTTTT
--:-- / 11
FTFTFFFTF??FFFT?
TTTTTTTTT--TTTT-
--:-- / 9
FTFTFFFTF??FFFT?
TTTTTTTTT--TTTT-
--:-- / 9
07

FFFFTFTFTFFTTFFF (expected value)

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

DNC FFFFTFTFTFFTTFFF
TTTTTTTTTTTTTTTT
--:PM / 11
FFFFTFTFTFF???FF
TTTTTTTTTTT---TT
--:-- / 9
?F??????T??TTF??
-T------T--TTT--
--:-- / 3
?F??????T??TTF??
-T------T--TTT--
--:-- / 3
?F????TFT??TTF??
-T----TTT--TTT--
--:-- / 5
?F????TFT??TTF??
-T----TTT--TTT--
--:-- / 5
DNF

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

FTFFFTTFFTFTFFTT (expected value)

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

DNC FTFFFTTFFTFTFFTT
TTTTTTTTTTTTTTTT
--:PM / 11
FTF?FTT?FT??FFTT
TTT-TTT-TT--TTTT
--:-- / 8
DNF

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

0
????????????????
----------------
--:-- / 0
????????????????
----------------
--:-- / 0
CSRepetitions — P/T
  LTSMin Tapaal LoLA M4M.full M4M.struct ITS-Tools ITS-Tools.L GreatSPN Irma.full Irma.struct
Score 31 66 61 23 22 47 39 22 43 43
Road Runner 0 1 2 0 0 2 0 0 1 0
Camel 0 4 2 0 0 0 0 0 0 0
02

FFFTTTFFTFTFTFTF (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)

FFFTTTFFTFTFTFTF
TTTTTTTTTTTTTTTT
--:-- / 11
FFFTTTFFTFTFTFTF
TTTTTTTTTTTTTTTT
--:-- / 11
FFFTTTFFTFTFTFTF
TTTTTTTTTTTTTTTT
--:PM / 11
FFFTTTFFTFTFTFTF
TTTTTTTTTTTTTTTT
--:-- / 11
FFFTTTFFTFTFTFTF
TTTTTTTTTTTTTTTT
--:-- / 11
FFFTTTFFTFTFTFTF
TTTTTTTTTTTTTTTT
--:-- / 11
FFFTTTFFTFTFTFTF
TTTTTTTTTTTTTTTT
--:-- / 11
FFFTTTFFTFTFTFTF
TTTTTTTTTTTTTTTT
--:-- / 11
FFFTTTFFTFTFTFTF
TTTTTTTTTTTTTTTT
--:-- / 11
FFFTTTFFTFTFTFTF
TTTTTTTTTTTTTTTT
--:-- / 11
03

TTFTFTFFFTFFFFFT (expected value)

6.00 5.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 6.00 6.00 (confidence rate)

TTFTFTFFFTFFFFFT
TTTTTTTTTTTTTTTT
--:-- / 11
TTFTFTFFFTFFFFFT
TTTTTTTTTTTTTTTT
--:-M / 11
T?FTF?FFFTFFFFFT
T-TTT-TTTTTTTTTT
--:-- / 10
CC

0
CC

0
TTFTFTFFFTFFFFFT
TTTTTTTTTTTTTTTT
--:P- / 11
TTFTFTFFFTFFFFFT
TTTTTTTTTTTTTTTT
--:-- / 11
TTFTFTFFFTFFFFFT
TTTTTTTTTTTTTTTT
--:-- / 11
CC

0
CC

0
04

FTFFFFTTFFFFFFTT (expected value)

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

?????????F?????T
---------T-----T
--:-- / 1
FTFFFFTTFFFFFFTT
TTTTTTTTTTTTTTTT
--:-M / 11
F?F?FFT?FFFF?FTT
T-T-TTT-TTTT-TTT
--:-- / 8
CC

0
CC

0
FTFFFFTTFFFFFFTT
TTTTTTTTTTTTTTTT
--:P- / 11
FT?F???TFFFF?FTT
TT-T---TTTTT-TTT
--:-- / 8
DNF

0
CC

0
CC

0
05

FTFTFFFTFTFTTFFT (expected value)

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

?TF???FT????TF??
-TT---TT----TT--
--:-- / 4
FTFTFFFTFTFTTFFT
TTTTTTTTTTTTTTTT
--:-- / 11
FTFTFFFTFTFTTFFT
TTTTTTTTTTTTTTTT
--:PM / 11
??F???FTFT?TTFFT
--T---TTTT-TTTTT
--:-- / 7
??F???FTFT?TTFFT
--T---TTTT-TTTTT
--:-- / 7
??F???FTFTFTTFFT
--T---TTTTTTTTTT
--:-- / 8
??F???FT?T???F?T
--T---TT-T---T-T
--:-- / 4
DNF

0
FTFTFFFTFTFTTFFT
TTTTTTTTTTTTTTTT
--:-- / 11
FTFTFFFTFTFTTFFT
TTTTTTTTTTTTTTTT
--:-- / 11
07

FFFFTFTFTTTTFFTT (expected value)

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

??????TF????????
------TT--------
--:-- / 1
FFFFTFTFTTTTFFTT
TTTTTTTTTTTTTTTT
--:-M / 11
FFFFTFTFTTTTFFTT
TTTTTTTTTTTTTTTT
--:-- / 11
?F????TFT?T????T
-T----TTT-T----T
--:-- / 4
?F??????T?T????T
-T------T-T----T
--:-- / 3
?F????TFT?T??F?T
-T----TTT-T--T-T
--:-- / 5
?F????TFT?T??F?T
-T----TTT-T--T-T
--:-- / 5
DNF

0
FFFFTFTFTTTTFFTT
TTTTTTTTTTTTTTTT
--:P- / 11
FFFFTFTFTTTTFFTT
TTTTTTTTTTTTTTTT
--:-- / 11
10

FTFFFTTFTTTFTFTF (expected value)

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

FT???TT?????????
TT---TT---------
--:-- / 3
FTFFFTTFTTTFTFTF
TTTTTTTTTTTTTTTT
--:PM / 11
FTF?FTT?TTTFTFTF
TTT-TTT-TTTTTTTT
--:-- / 10
???F???F????????
---T---T--------
--:-- / 1
???F???F????????
---T---T--------
--:-- / 1
???F???F????????
---T---T--------
--:-- / 1
DNF

0
DNF

0
FTF?FTT?TTTFTFTF
TTT-TTT-TTTTTTTT
--:-- / 10
FTF?FTT?TTTFTFTF
TTT-TTT-TTTTTTTT
--:-- / 10
CircadianClock — P/T
  LTSMin Tapaal LoLA M4M.full M4M.struct ITS-Tools ITS-Tools.L GreatSPN Irma.full Irma.struct
Score 58 114 110 75 63 101 97 57 75 75
Road Runner 1 4 0 0 0 0 0 1 0 0
Camel 1 5 0 0 0 0 0 0 0 0
000001

FFFFFTFFFTFFTTTT (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)

FFFFFTFFFTFFTTTT
TTTTTTTTTTTTTTTT
--:PM / 19
FFFFFTFFFTFFTTTT
TTTTTTTTTTTTTTTT
--:-- / 19
FFFFFTFFFTFFTTTT
TTTTTTTTTTTTTTTT
--:-- / 19
FFFFFTFFFTFFTTTT
TTTTTTTTTTTTTTTT
--:-- / 19
FFFFFTFFFTFFTTTT
TTTTTTTTTTTTTTTT
--:-- / 19
FFFFFTFFFTFFTTTT
TTTTTTTTTTTTTTTT
--:-- / 19
FFFFFTFFFTFFTTTT
TTTTTTTTTTTTTTTT
--:-- / 19
FFFFFTFFFTFFTTTT
TTTTTTTTTTTTTTTT
--:-- / 19
FFFFFTFFFTFFTTTT
TTTTTTTTTTTTTTTT
--:-- / 19
FFFFFTFFFTFFTTTT
TTTTTTTTTTTTTTTT
--:-- / 19
000010

TTTTFFTFTFFTTTTT (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)

TTTTFFTFTFFTTTTT
TTTTTTTTTTTTTTTT
--:-- / 19
TTTTFFTFTFFTTTTT
TTTTTTTTTTTTTTTT
--:-M / 19
TTTTFFTFTFFTTTTT
TTTTTTTTTTTTTTTT
--:-- / 19
CC

0
CC

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

0
CC

0
000100

FFTTTFFTFTTFTFFT (expected value)

5.00 6.00 6.00 5.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)

TFTFTFFTFTTFTFFT
XTTXTTTTTTTTTTTT
V-:-- / 12
FFTTTFFTFTTFTFFT
TTTTTTTTTTTTTTTT
--:PM / 19
FFTTT?FTFTTFTFFT
TTTTT-TTTTTTTTTT
--:-- / 18
CC

0
CC

0
FFTTTFFTFTTFTFFT
TTTTTTTTTTTTTTTT
--:-- / 19
FFTTTFFTFTTFTFFT
TTTTTTTTTTTTTTTT
--:-- / 19
FFTTTFFTFTTFTFFT
TTTTTTTTTTTTTTTT
--:-- / 19
CC

0
CC

0
001000

FFFTFTTFFTTTTFTT (expected value)

9.00 8.00 8.00 8.00 7.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)

FF?T??TF????????
TT-T--TT--------
--:-- / 6
FFFTFTTFFTTTTFTT
TTTTTTTTTTTTTTTT
--:PM / 19
FFFT?TTFFTTTTFTT
TTTT-TTTTTTTTTTT
--:-- / 18
FFFTFTTFFTTTTFTT
TTTTTTTTTTTTTTTT
--:-- / 19
FFFTFTTFFTTTTFTT
TTTTTTTTTTTTTTTT
--:-- / 19
FFFTFTTFFTTTTFTT
TTTTTTTTTTTTTTTT
--:-- / 19
F?F?FT??FTTTTFTT
T-T-TT--TTTTTTTT
--:-- / 15
DNF

0
FFFTFTTFFTTTTFTT
TTTTTTTTTTTTTTTT
--:-- / 19
FFFTFTTFFTTTTFTT
TTTTTTTTTTTTTTTT
--:-- / 19
010000

TFTFTTTTFFTTFFFT (expected value)

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

?F????T?????????
-T----T---------
--:-- / 2
TFTFTTTTFFTTFFFT
TTTTTTTTTTTTTTTT
--:PM / 19
TFTFTTTTFFT?FFFT
TTTTTTTTTTT-TTTT
--:-- / 18
TFTFTTTTFFTTFFFT
TTTTTTTTTTTTTTTT
--:-- / 19
T?TFT???F?TT???T
T-TTT---T-TT---T
--:-- / 10
T?TFT???F?TT???T
T-TTT---T-TT---T
--:-- / 10
T?TFT???F?TT???T
T-TTT---T-TT---T
--:-- / 10
DNF

0
TFTFTTTTFFTTFFFT
TTTTTTTTTTTTTTTT
--:-- / 19
TFTFTTTTFFTTFFFT
TTTTTTTTTTTTTTTT
--:-- / 19
100000

FTFFTTTTFFFTTTTF (expected value)

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

????????????????
----------------
--:-- / 0
FTFFTTTTFFFTTTTF
TTTTTTTTTTTTTTTT
--:PM / 19
FTFFTTTT?FFTTTTF
TTTTTTTT-TTTTTTT
--:-- / 18
FTFFTTTT?FFTTTTF
TTTTTTTT-TTTTTTT
--:-- / 18
FTFFTT?T??FTT?TF
TTTTTT-T--TTT-TT
--:-- / 15
FTFFTT?T??FTT?TF
TTTTTT-T--TTT-TT
--:-- / 15
FTFFTT?T??FTT?TF
TTTTTT-T--TTT-TT
--:-- / 15
DNF

0
FTFFTTTT?FFTTTTF
TTTTTTTT-TTTTTTT
--:-- / 18
FTFFTTTT?FFTTTTF
TTTTTTTT-TTTTTTT
--:-- / 18
CircularTrains — P/T
  LTSMin Tapaal LoLA M4M.full M4M.struct ITS-Tools ITS-Tools.L GreatSPN Irma.full Irma.struct
Score 113 119 118 51 51 119 89 51 51 51
Road Runner 1 1 5 0 0 0 0 0 0 0
Camel 1 1 5 0 0 0 0 0 0 0
012

TTTFFTFFFFFFTTFT (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)

TTTFFTFFFFFFTTFT
TTTTTTTTTTTTTTTT
--:PM / 17
TTTFFTFFFFFFTTFT
TTTTTTTTTTTTTTTT
--:-- / 17
TTTFFTFFFFFFTTFT
TTTTTTTTTTTTTTTT
--:-- / 17
TTTFFTFFFFFFTTFT
TTTTTTTTTTTTTTTT
--:-- / 17
TTTFFTFFFFFFTTFT
TTTTTTTTTTTTTTTT
--:-- / 17
TTTFFTFFFFFFTTFT
TTTTTTTTTTTTTTTT
--:-- / 17
TTTFFTFFFFFFTTFT
TTTTTTTTTTTTTTTT
--:-- / 17
TTTFFTFFFFFFTTFT
TTTTTTTTTTTTTTTT
--:-- / 17
TTTFFTFFFFFFTTFT
TTTTTTTTTTTTTTTT
--:-- / 17
TTTFFTFFFFFFTTFT
TTTTTTTTTTTTTTTT
--:-- / 17
024

FFFFFTTTTTTFFFFT (expected value)

6.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 6.00 (confidence rate)

FFFFFTTTTTTFFFFT
TTTTTTTTTTTTTTTT
--:-- / 17
FFFFFTTTTTTFFFFT
TTTTTTTTTTTTTTTT
--:PM / 17
FFFFFTTTTTT?FFFT
TTTTTTTTTTT-TTTT
--:-- / 16
CC

0
CC

0
FFFFFTTTTTTFFFFT
TTTTTTTTTTTTTTTT
--:-- / 17
FFFFFTTTTTTFFFFT
TTTTTTTTTTTTTTTT
--:-- / 17
FFFFFTTTTTTFFFFT
TTTTTTTTTTTTTTTT
--:-- / 17
CC

0
CC

0
048

TTTTFTTTFTTTTTTF (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)

TTTTFTTTFTTTTTTF
TTTTTTTTTTTTTTTT
--:-- / 17
TTTTFTTTFTTTTTTF
TTTTTTTTTTTTTTTT
--:-- / 17
TTTTFTTTFTTTTTTF
TTTTTTTTTTTTTTTT
--:PM / 17
CC

0
CC

0
TTTTFTTTFTTTTTTF
TTTTTTTTTTTTTTTT
--:-- / 17
TTTTFTTTFTTTTTTF
TTTTTTTTTTTTTTTT
--:-- / 17
TTTTFTTTFTTTTTTF
TTTTTTTTTTTTTTTT
--:-- / 17
CC

0
CC

0
096

TTTTFFTFTFFTTTTT (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)

TTTTFFTFTFFTTTTT
TTTTTTTTTTTTTTTT
--:-- / 17
TTTTFFTFTFFTTTTT
TTTTTTTTTTTTTTTT
--:-- / 17
TTTTFFTFTFFTTTTT
TTTTTTTTTTTTTTTT
--:PM / 17
CC

0
CC

0
TTTTFFTFTFFTTTTT
TTTTTTTTTTTTTTTT
--:-- / 17
TTTTFFTFTFFTTTTT
TTTTTTTTTTTTTTTT
--:-- / 17
DNF

0
CC

0
CC

0
192

FTFTFFFTTTTTTFFT (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)

FTFTFFFTTTTTTFFT
TTTTTTTTTTTTTTTT
--:-- / 17
FTFTFFFTTTTTTFFT
TTTTTTTTTTTTTTTT
--:-- / 17
FTFTFFFTTTTTTFFT
TTTTTTTTTTTTTTTT
--:PM / 17
CC

0
CC

0
FTFTFFFTTTTTTFFT
TTTTTTTTTTTTTTTT
--:-- / 17
FTFTFFFTTTTTTFFT
TTTTTTTTTTTTTTTT
--:-- / 17
DNF

0
CC

0
CC

0
384

TFTTFTTFFFTTTTFF (expected value)

9.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 8.00 9.00 8.00 (confidence rate)

TFTTFTTFFFTTTTFF
TTTTTTTTTTTTTTTT
--:-- / 17
TFTTFTTFFFTTTTFF
TTTTTTTTTTTTTTTT
--:-- / 17
TFTTFTTFFFTTTTFF
TTTTTTTTTTTTTTTT
--:PM / 17
TFTTFTTFFFTTTTFF
TTTTTTTTTTTTTTTT
--:-- / 17
TFTTFTTFFFTTTTFF
TTTTTTTTTTTTTTTT
--:-- / 17
TFTTFTTFFFTTTTFF
TTTTTTTTTTTTTTTT
--:-- / 17
T???F?????????F?
T---T---------T-
--:-- / 3
DNF

0
TFTTFTTFFFTTTTFF
TTTTTTTTTTTTTTTT
--:-- / 17
TFTTFTTFFFTTTTFF
TTTTTTTTTTTTTTTT
--:-- / 17
768

TFTTTTFTFFFFTTTT (expected value)

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

TFT?TTFTF??FT???
TTT-TTTTT--TT---
--:-- / 11
TFTTTTFTFFFFTTTT
TTTTTTTTTTTTTTTT
--:-- / 17
TFTTTTFTFFFFTTTT
TTTTTTTTTTTTTTTT
--:PM / 17
TFTTTTFTFFFFTTTT
TTTTTTTTTTTTTTTT
--:-- / 17
TFTTTTFTFFFFTTTT
TTTTTTTTTTTTTTTT
--:-- / 17
TFTTTTFTFFFFTTTT
TTTTTTTTTTTTTTTT
--:-- / 17
??????????F?????
----------T-----
--:-- / 1
DNF

0
TFTTTTFTFFFFTTTT
TTTTTTTTTTTTTTTT
--:-- / 17
TFTTTTFTFFFFTTTT
TTTTTTTTTTTTTTTT
--:-- / 17
ClientsAndServers — P/T
  LTSMin Tapaal LoLA M4M.full M4M.struct ITS-Tools ITS-Tools.L GreatSPN Irma.full Irma.struct
Score 80 160 158 160 160 126 126 40 160 160
Road Runner 0 10 10 0 0 0 0 0 0 0
Camel 0 11 9 0 0 0 0 0 0 0
N0001P0

FFTFFFFTTFTTTFFT (expected value)

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

FFTFFFFTTFTTTFFT
TTTTTTTTTTTTTTTT
--:-- / 8
FFTFFFFTTFTTTFFT
TTTTTTTTTTTTTTTT
--:PM / 8
FFTFFFFT?FTTTFFT
TTTTTTTT-TTTTTTT
--:-- / 7
FFTFFFFTTFTTTFFT
TTTTTTTTTTTTTTTT
--:-- / 8
FFTFFFFTTFTTTFFT
TTTTTTTTTTTTTTTT
--:-- / 8
FFTFFFFTTFTTTFFT
TTTTTTTTTTTTTTTT
--:-- / 8
FFTFFFFTTFTTTFFT
TTTTTTTTTTTTTTTT
--:-- / 8
FFTFFFFTTFTTTFFT
TTTTTTTTTTTTTTTT
--:-- / 8
FFTFFFFTTFTTTFFT
TTTTTTTTTTTTTTTT
--:-- / 8
FFTFFFFTTFTTTFFT
TTTTTTTTTTTTTTTT
--:-- / 8
N0002P0

FTTTTFTTTFFFFTFF (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)

FTTTTFTTTFFFFTFF
TTTTTTTTTTTTTTTT
--:-- / 8
FTTTTFTTTFFFFTFF
TTTTTTTTTTTTTTTT
--:PM / 8
FTTTTFTTTFFFFTFF
TTTTTTTTTTTTTTTT
--:-- / 8
FTTTTFTTTFFFFTFF
TTTTTTTTTTTTTTTT
--:-- / 8
FTTTTFTTTFFFFTFF
TTTTTTTTTTTTTTTT
--:-- / 8
FTTTTFTTTFFFFTFF
TTTTTTTTTTTTTTTT
--:-- / 8
FTTTTFTTTFFFFTFF
TTTTTTTTTTTTTTTT
--:-- / 8
FTTTTFTTTFFFFTFF
TTTTTTTTTTTTTTTT
--:-- / 8
FTTTTFTTTFFFFTFF
TTTTTTTTTTTTTTTT
--:-- / 8
FTTTTFTTTFFFFTFF
TTTTTTTTTTTTTTTT
--:-- / 8
N0002P1

TFFTFTFFFFTTTFFF (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)

TFFTFTFFFFTTTFFF
TTTTTTTTTTTTTTTT
--:-- / 8
TFFTFTFFFFTTTFFF
TTTTTTTTTTTTTTTT
--:PM / 8
TFFTFTFFFFTTTFFF
TTTTTTTTTTTTTTTT
--:-- / 8
TFFTFTFFFFTTTFFF
TTTTTTTTTTTTTTTT
--:-- / 8
TFFTFTFFFFTTTFFF
TTTTTTTTTTTTTTTT
--:-- / 8
TFFTFTFFFFTTTFFF
TTTTTTTTTTTTTTTT
--:-- / 8
TFFTFTFFFFTTTFFF
TTTTTTTTTTTTTTTT
--:-- / 8
TFFTFTFFFFTTTFFF
TTTTTTTTTTTTTTTT
--:-- / 8
TFFTFTFFFFTTTFFF
TTTTTTTTTTTTTTTT
--:-- / 8
TFFTFTFFFFTTTFFF
TTTTTTTTTTTTTTTT
--:-- / 8
N0005P0

TTFTFTFFTFTFFFTF (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)

TTFTFTFFTFTFFFTF
TTTTTTTTTTTTTTTT
--:-- / 8
TTFTFTFFTFTFFFTF
TTTTTTTTTTTTTTTT
--:-- / 8
TTFTFTFFTFTFFFTF
TTTTTTTTTTTTTTTT
--:PM / 8
TTFTFTFFTFTFFFTF
TTTTTTTTTTTTTTTT
--:-- / 8
TTFTFTFFTFTFFFTF
TTTTTTTTTTTTTTTT
--:-- / 8
TTFTFTFFTFTFFFTF
TTTTTTTTTTTTTTTT
--:-- / 8
TTFTFTFFTFTFFFTF
TTTTTTTTTTTTTTTT
--:-- / 8
TTFTFTFFTFTFFFTF
TTTTTTTTTTTTTTTT
--:-- / 8
TTFTFTFFTFTFFFTF
TTTTTTTTTTTTTTTT
--:-- / 8
TTFTFTFFTFTFFFTF
TTTTTTTTTTTTTTTT
--:-- / 8
N0005P1

TTFTFTFFTTFTFTFT (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)

TTFTFTFFTTFTFTFT
TTTTTTTTTTTTTTTT
--:-- / 8
TTFTFTFFTTFTFTFT
TTTTTTTTTTTTTTTT
--:-- / 8
TTFTFTFFTTFTFTFT
TTTTTTTTTTTTTTTT
--:PM / 8
TTFTFTFFTTFTFTFT
TTTTTTTTTTTTTTTT
--:-- / 8
TTFTFTFFTTFTFTFT
TTTTTTTTTTTTTTTT
--:-- / 8
TTFTFTFFTTFTFTFT
TTTTTTTTTTTTTTTT
--:-- / 8
TTFTFTFFTTFTFTFT
TTTTTTTTTTTTTTTT
--:-- / 8
TTFTFTFFTTFTFTFT
TTTTTTTTTTTTTTTT
--:-- / 8
TTFTFTFFTTFTFTFT
TTTTTTTTTTTTTTTT
--:-- / 8
TTFTFTFFTTFTFTFT
TTTTTTTTTTTTTTTT
--:-- / 8
N0010P0

TFTFFTTFFFFFTFFT (expected value)

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

?FTF??TFFFFFT?FT
-TTT--TTTTTTT-TT
--:-- / 6
TFTFFTTFFFFFTFFT
TTTTTTTTTTTTTTTT
--:-- / 8
TFTFFTTFFFFFTFFT
TTTTTTTTTTTTTTTT
--:PM / 8
TFTFFTTFFFFFTFFT
TTTTTTTTTTTTTTTT
--:-- / 8
TFTFFTTFFFFFTFFT
TTTTTTTTTTTTTTTT
--:-- / 8
T??FFTT?FF?FTFFT
T--TTTT-TT-TTTTT
--:-- / 6
T??FFTT?FF?FTFFT
T--TTTT-TT-TTTTT
--:-- / 6
DNF

0
TFTFFTTFFFFFTFFT
TTTTTTTTTTTTTTTT
--:-- / 8
TFTFFTTFFFFFTFFT
TTTTTTTTTTTTTTTT
--:-- / 8
N0010P1

TFFTFTFFFFFTTFTF (expected value)

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

T?FT?TF?FFFTT?TF
T-TT-TT-TTTTT-TT
--:-- / 6
TFFTFTFFFFFTTFTF
TTTTTTTTTTTTTTTT
--:-- / 8
TFFTFTFFFFFTTFTF
TTTTTTTTTTTTTTTT
--:PM / 8
TFFTFTFFFFFTTFTF
TTTTTTTTTTTTTTTT
--:-- / 8
TFFTFTFFFFFTTFTF
TTTTTTTTTTTTTTTT
--:-- / 8
TFFTFT?F?F??TFTF
TTTTTT-T-T--TTTT
--:-- / 6
TFFTFT?F?F??TFTF
TTTTTT-T-T--TTTT
--:-- / 6
DNF

0
TFFTFTFFFFFTTFTF
TTTTTTTTTTTTTTTT
--:-- / 8
TFFTFTFFFFFTTFTF
TTTTTTTTTTTTTTTT
--:-- / 8
N0010P2

TFTTTFTTTFFTFTTT (expected value)

9.00 8.00 7.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 7.00 (confidence rate)

T?TTTFTTTFFTFT?T
T-TTTTTTTTTTTT-T
--:-- / 7
TFTTTFTTTFFTFTTT
TTTTTTTTTTTTTTTT
--:PM / 8
TFTTTFTTTFFTFTTT
TTTTTTTTTTTTTTTT
--:-- / 8
TFTTTFTTTFFTFTTT
TTTTTTTTTTTTTTTT
--:-- / 8
TFTTTFTTTFFTFTTT
TTTTTTTTTTTTTTTT
--:-- / 8
TF?TTFTTTFFTFTT?
TT-TTTTTTTTTTTT-
--:-- / 7
TF?TTFTTTFFTFTT?
TT-TTTTTTTTTTTT-
--:-- / 7
DNF

0
TFTTTFTTTFFTFTTT
TTTTTTTTTTTTTTTT
--:-- / 8
TFTTTFTTTFFTFTTT
TTTTTTTTTTTTTTTT
--:-- / 8
N0020P0

TTFTFFFFFTFFTTTT (expected value)

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

?TF?FFF??T?F???T
-TT-TTT--T-T---T
--:-- / 4
TTFTFFFFFTFFTTTT
TTTTTTTTTTTTTTTT
--:PM / 8
TTFTFFFF?TFFTTTT
TTTTTTTT-TTTTTTT
--:-- / 7
TTFTFFFFFTFFTTTT
TTTTTTTTTTTTTTTT
--:-- / 8
TTFTFFFFFTFFTTTT
TTTTTTTTTTTTTTTT
--:-- / 8
TT?T???F??FFTTTT
TT-T---T--TTTTTT
--:-- / 5
TT?T???F??FFTTTT
TT-T---T--TTTTTT
--:-- / 5
DNF

0
TTFTFFFFFTFFTTTT
TTTTTTTTTTTTTTTT
--:-- / 8
TTFTFFFFFTFFTTTT
TTTTTTTTTTTTTTTT
--:-- / 8
N0020P1

FTFTTFTTTTTFTTFT (expected value)

7.00 8.00 8.00 8.00 7.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)

F???T???????????
T---T-----------
--:-- / 1
FTFTTFTTTTTFTTFT
TTTTTTTTTTTTTTTT
--:PM / 8
FTFTTFTTTTTFTTFT
TTTTTTTTTTTTTTTT
--:-- / 8
FTFTTFTTTTTFTTFT
TTTTTTTTTTTTTTTT
--:-- / 8
FTFTTFTTTTTFTTFT
TTTTTTTTTTTTTTTT
--:-- / 8
?TFT?FTTTTTFTTFT
-TTT-TTTTTTTTTTT
--:-- / 7
?TFT?FTTTTTFTTFT
-TTT-TTTTTTTTTTT
--:-- / 7
DNF

0
FTFTTFTTTTTFTTFT
TTTTTTTTTTTTTTTT
--:-- / 8
FTFTTFTTTTTFTTFT
TTTTTTTTTTTTTTTT
--:-- / 8
N0020P2

FFFFFTFTTFTFFFFF (expected value)

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

F????????????F?F
T------------T-T
--:-- / 1
FFFFFTFTTFTFFFFF
TTTTTTTTTTTTTTTT
--:-- / 8
FFFFFTFTTFTFFFFF
TTTTTTTTTTTTTTTT
--:PM / 8
FFFFFTFTTFTFFFFF
TTTTTTTTTTTTTTTT
--:-- / 8
FFFFFTFTTFTFFFFF
TTTTTTTTTTTTTTTT
--:-- / 8
?FFFFTFTTFT?F??F
-TTTTTTTTTT-T--T
--:-- / 6
?FFFFTFTTFT?F??F
-TTTTTTTTTT-T--T
--:-- / 6
DNF

0
FFFFFTFTTFTFFFFF
TTTTTTTTTTTTTTTT
--:-- / 8
FFFFFTFTTFTFFFFF
TTTTTTTTTTTTTTTT
--:-- / 8
N0020P3

FFTFFFTFTFFTTTFT (expected value)

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

FF?FFFTF?F??T?F?
TT-TTTTT-T--T-T-
--:-- / 5
FFTFFFTFTFFTTTFT
TTTTTTTTTTTTTTTT
--:-- / 8
FFTFFFTFTFFTTTFT
TTTTTTTTTTTTTTTT
--:PM / 8
FFTFFFTFTFFTTTFT
TTTTTTTTTTTTTTTT
--:-- / 8
FFTFFFTFTFFTTTFT
TTTTTTTTTTTTTTTT
--:-- / 8
??T?F???TFFT?T?T
--T-T---TTTT-T-T
--:-- / 4
??T?F???TFFT?T?T
--T-T---TTTT-T-T
--:-- / 4
DNF

0
FFTFFFTFTFFTTTFT
TTTTTTTTTTTTTTTT
--:-- / 8
FFTFFFTFTFFTTTFT
TTTTTTTTTTTTTTTT
--:-- / 8
N0020P4

TFFTFTTFTTTFFTTT (expected value)

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

TF????TF????FT??
TT----TT----TT--
--:-- / 3
TFFTFTTFTTTFFTTT
TTTTTTTTTTTTTTTT
--:-- / 8
TFFTFTTFTTTFFTTT
TTTTTTTTTTTTTTTT
--:PM / 8
TFFTFTTFTTTFFTTT
TTTTTTTTTTTTTTTT
--:-- / 8
TFFTFTTFTTTFFTTT
TTTTTTTTTTTTTTTT
--:-- / 8
??FTFT??TTTF??TT
--TTTT--TTTT--TT
--:-- / 5
??FTFT??TTTF??TT
--TTTT--TTTT--TT
--:-- / 5
DNF

0
TFFTFTTFTTTFFTTT
TTTTTTTTTTTTTTTT
--:-- / 8
TFFTFTTFTTTFFTTT
TTTTTTTTTTTTTTTT
--:-- / 8
N0050P0

FFTFTTFFTTTTFFTT (expected value)

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

????T?FFT???F???
----T-TTT---T---
--:-- / 2
FFTFTTFFTTTTFFTT
TTTTTTTTTTTTTTTT
--:PM / 8
FFTFTTFFTTTTFFTT
TTTTTTTTTTTTTTTT
--:-- / 8
FFTFTTFFTTTTFFTT
TTTTTTTTTTTTTTTT
--:-- / 8
FFTFTTFFTTTTFFTT
TTTTTTTTTTTTTTTT
--:-- / 8
FFTFTT??TTTT?FTT
TTTTTT--TTTT-TTT
--:-- / 6
FFTFTT??TTTT?FTT
TTTTTT--TTTT-TTT
--:-- / 6
DNF

0
FFTFTTFFTTTTFFTT
TTTTTTTTTTTTTTTT
--:-- / 8
FFTFTTFFTTTTFFTT
TTTTTTTTTTTTTTTT
--:-- / 8
N0100P0

FFFFFFFTFFTFFTFT (expected value)

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

?F????F?FF??????
-T----T-TT------
--:-- / 2
FFFFFFFTFFTFFTFT
TTTTTTTTTTTTTTTT
--:PM / 8
FFFFFFFTFFTFFTFT
TTTTTTTTTTTTTTTT
--:-- / 8
FFFFFFFTFFTFFTFT
TTTTTTTTTTTTTTTT
--:-- / 8
FFFFFFFTFFTFFTFT
TTTTTTTTTTTTTTTT
--:-- / 8
F?FFFF???FTFFTFT
T-TTTT---TTTTTTT
--:-- / 6
F?FFFF???FTFFTFT
T-TTTT---TTTTTTT
--:-- / 6
DNF

0
FFFFFFFTFFTFFTFT
TTTTTTTTTTTTTTTT
--:-- / 8
FFFFFFFTFFTFFTFT
TTTTTTTTTTTTTTTT
--:-- / 8
N0200P0

FTTFFTTTFTTFTTFT (expected value)

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

F???????????????
T---------------
--:-- / 0
FTTFFTTTFTTFTTFT
TTTTTTTTTTTTTTTT
--:PM / 8
FTTFFTTTFTTFTTFT
TTTTTTTTTTTTTTTT
--:-- / 8
FTTFFTTTFTTFTTFT
TTTTTTTTTTTTTTTT
--:-- / 8
FTTFFTTTFTTFTTFT
TTTTTTTTTTTTTTTT
--:-- / 8
?TTFFTTTFT??TTFT
-TTTTTTTTT--TTTT
--:-- / 6
?TTFFTTTFT??TTFT
-TTTTTTTTT--TTTT
--:-- / 6
DNF

0
FTTFFTTTFTTFTTFT
TTTTTTTTTTTTTTTT
--:-- / 8
FTTFFTTTFTTFTTFT
TTTTTTTTTTTTTTTT
--:-- / 8
N0500P0

FTTTFTFFTFTTFTFT (expected value)

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

????????????????
----------------
--:-- / 0
FTTTFTFFTFTTFTFT
TTTTTTTTTTTTTTTT
--:PM / 8
FTTTFTFFTFTTFTFT
TTTTTTTTTTTTTTTT
--:-- / 8
FTTTFTFFTFTTFTFT
TTTTTTTTTTTTTTTT
--:-- / 8
FTTTFTFFTFTTFTFT
TTTTTTTTTTTTTTTT
--:-- / 8
FTTTFTF?TFTTFTFT
TTTTTTT-TTTTTTTT
--:-- / 7
FTTTFTF?TFTTFTFT
TTTTTTT-TTTTTTTT
--:-- / 7
DNF

0
FTTTFTFFTFTTFTFT
TTTTTTTTTTTTTTTT
--:-- / 8
FTTTFTFFTFTTFTFT
TTTTTTTTTTTTTTTT
--:-- / 8
N1000P0

TFTTTFTFTTFFTFFF (expected value)

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

?F?????????F????
-T---------T----
--:-- / 1
TFTTTFTFTTFFTFFF
TTTTTTTTTTTTTTTT
--:-- / 8
TFTTTFTFTTFFTFFF
TTTTTTTTTTTTTTTT
--:PM / 8
TFTTTFTFTTFFTFFF
TTTTTTTTTTTTTTTT
--:-- / 8
TFTTTFTFTTFFTFFF
TTTTTTTTTTTTTTTT
--:-- / 8
??TTTFTFTTF???FF
--TTTTTTTTT---TT
--:-- / 5
??TTTFTFTTF???FF
--TTTTTTTTT---TT
--:-- / 5
DNF

0
TFTTTFTFTTFFTFFF
TTTTTTTTTTTTTTTT
--:-- / 8
TFTTTFTFTTFFTFFF
TTTTTTTTTTTTTTTT
--:-- / 8
N2000P0

FTTTTFTTTFFTFTFT (expected value)

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

FT??????????????
TT--------------
--:-- / 1
FTTTTFTTTFFTFTFT
TTTTTTTTTTTTTTTT
--:-M / 8
FTTTTFTTTFFTFTFT
TTTTTTTTTTTTTTTT
--:P- / 8
FTTTTFTTTFFTFTFT
TTTTTTTTTTTTTTTT
--:-- / 8
FTTTTFTTTFFTFTFT
TTTTTTTTTTTTTTTT
--:-- / 8
??TTTFTTTFFT?TFT
--TTTTTTTTTT-TTT
--:-- / 6
??TTTFTTTFFT?TFT
--TTTTTTTTTT-TTT
--:-- / 6
DNF

0
FTTTTFTTTFFTFTFT
TTTTTTTTTTTTTTTT
--:-- / 8
FTTTTFTTTFFTFTFT
TTTTTTTTTTTTTTTT
--:-- / 8
N5000P0

TTFTFTFTFFFTTFTT (expected value)

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

?T???????F?T????
-T-------T-T----
--:-- / 1
TTFTFTFTFFFTTFTT
TTTTTTTTTTTTTTTT
--:-- / 8
TTFTFTFTFFFTTFTT
TTTTTTTTTTTTTTTT
--:PM / 8
TTFTFTFTFFFTTFTT
TTTTTTTTTTTTTTTT
--:-- / 8
TTFTFTFTFFFTTFTT
TTTTTTTTTTTTTTTT
--:-- / 8
T?FTF?F?F?F??F?T
T-TTT-T-T-T--T-T
--:-- / 4
T?FTF?F?F?F??F?T
T-TTT-T-T-T--T-T
--:-- / 4
DNF

0
TTFTFTFTFFFTTFTT
TTTTTTTTTTTTTTTT
--:-- / 8
TTFTFTFTFFFTTFTT
TTTTTTTTTTTTTTTT
--:-- / 8
CloudDeployment — P/T
  LTSMin Tapaal LoLA M4M.full M4M.struct ITS-Tools ITS-Tools.L GreatSPN Irma.full Irma.struct
Score 83 130 116 64 11 88 88 55 64 64
Road Runner 0 5 2 0 0 4 0 0 0 0
Camel 0 8 2 0 0 0 0 1 0 0
2a

TFFFFFFTTFTFTTTT (expected value)

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

TFFFFFFTTFTFTTTT
TTTTTTTTTTTTTTTT
--:-- / 11
TFFFFFFTTFTFTTTT
TTTTTTTTTTTTTTTT
--:PM / 11
TFFFFFF?TFTFTTTT
TTTTTTT-TTTTTTTT
--:-- / 10
TFFFFFFTTFTFTTTT
TTTTTTTTTTTTTTTT
--:-- / 11
TFFFFFFTTFTFTTTT
TTTTTTTTTTTTTTTT
--:-- / 11
TFFFFFFTTFTFTTTT
TTTTTTTTTTTTTTTT
--:-- / 11
TFFFFFFTTFTFTTTT
TTTTTTTTTTTTTTTT
--:-- / 11
TFFFFFFTTFTFTTTT
TTTTTTTTTTTTTTTT
--:-- / 11
TFFFFFFTTFTFTTTT
TTTTTTTTTTTTTTTT
--:-- / 11
TFFFFFFTTFTFTTTT
TTTTTTTTTTTTTTTT
--:-- / 11
2b

TTTFFFTTTTTTTTFF (expected value)

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

T?TFFFT?TT??TTF?
T-TTTTT-TT--TTT-
--:-- / 8
TTTFFFTTTTTTTTFF
TTTTTTTTTTTTTTTT
--:PM / 11
TTTFFFTTTTTTTTFF
TTTTTTTTTTTTTTTT
--:-- / 11
TTTFFFTTTTTTTTFF
TTTTTTTTTTTTTTTT
--:-- / 11
DNF

0
TTTFFFTTTTTTTTFF
TTTTTTTTTTTTTTTT
--:-- / 11
TTTFFFTTTTTTTTFF
TTTTTTTTTTTTTTTT
--:-- / 11
DNF

0
TTTFFFTTTTTTTTFF
TTTTTTTTTTTTTTTT
--:-- / 11
TTTFFFTTTTTTTTFF
TTTTTTTTTTTTTTTT
--:-- / 11
3a

FFFTTTTTTTTFFTFT (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)

FFFTTTTTTTTFFTFT
TTTTTTTTTTTTTTTT
--:-- / 11
FFFTTTTTTTTFFTFT
TTTTTTTTTTTTTTTT
--:PM / 11
FFFTTTTTTTTFFTFT
TTTTTTTTTTTTTTTT
--:-- / 11
CC

0
CC

0
FFFTTTTTTTTFFTFT
TTTTTTTTTTTTTTTT
--:-- / 11
FFFTTTTTTTTFFTFT
TTTTTTTTTTTTTTTT
--:-- / 11
FFFTTTTTTTTFFTFT
TTTTTTTTTTTTTTTT
--:-- / 11
CC

0
CC

0
3b

TTTFTTTTFFTFFTTF (expected value)

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

?????TTT??TF??T?
-----TTT--TT--T-
--:-- / 4
TTTFTTTTFFTFFTTF
TTTTTTTTTTTTTTTT
--:-- / 11
TTTFTTTTFFTFFTTF
TTTTTTTTTTTTTTTT
--:PM / 11
CC

0
CC

0
TTTFTTTTFFTFFTTF
TTTTTTTTTTTTTTTT
--:-- / 11
TTTFTTTTFFTFFTTF
TTTTTTTTTTTTTTTT
--:-- / 11
DNF

0
CC

0
CC

0
4a

FTFTTFFFFTFTFFTT (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)

FTFTTFFFFTFTFFTT
TTTTTTTTTTTTTTTT
--:-- / 11
FTFTTFFFFTFTFFTT
TTTTTTTTTTTTTTTT
--:-M / 11
FTFTTFFFFTFTFFTT
TTTTTTTTTTTTTTTT
--:-- / 11
CC

0
CC

0
FTFTTFFFFTFTFFTT
TTTTTTTTTTTTTTTT
--:P- / 11
FTFTTFFFFTFTFFTT
TTTTTTTTTTTTTTTT
--:-- / 11
FTFTTFFFFTFTFFTT
TTTTTTTTTTTTTTTT
--:-- / 11
CC

0
CC

0
4b

TTFFTTTTTFFTTTTT (expected value)

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

T???TTT?T??T????
T---TTT-T--T----
--:-- / 4
TTFFTTTTTFFTTTTT
TTTTTTTTTTTTTTTT
--:PM / 11
TT?FTTTTT?FTTTTT
TT-TTTTTT-TTTTTT
--:-- / 10
CC

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
CC

0
5a

FTTTFFTFTTFFTFFF (expected value)

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

FTTTFFTFTTFFTFFF
TTTTTTTTTTTTTTTT
--:-- / 11
FTTTFFTFTTFFTFFF
TTTTTTTTTTTTTTTT
--:-M / 11
FTTTFFT?TTFFTFFF
TTTTTTT-TTTTTTTT
--:-- / 10
FTTTFFT?TTFFTFFF
TTTTTTT-TTTTTTTT
--:-- / 10
DNF

0
FTTTFFTFTTFFTFFF
TTTTTTTTTTTTTTTT
--:P- / 11
FTTTFFTFTTFFTFFF
TTTTTTTTTTTTTTTT
--:-- / 11
FTTTFFTFTTFFTFFF
TTTTTTTTTTTTTTTT
--:-- / 11
FTTTFFT?TTFFTFFF
TTTTTTT-TTTTTTTT
--:-- / 10
FTTTFFT?TTFFTFFF
TTTTTTT-TTTTTTTT
--:-- / 10
5b

TFTTFTTTTFFFTFFT (expected value)

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

?F?????????F????
-T---------T----
--:-- / 1
TFTTFTTTTFFFTFFT
TTTTTTTTTTTTTTTT
--:-- / 11
TFTTFTTTTFFFTFFT
TTTTTTTTTTTTTTTT
--:PM / 11
TFTTFTTTTFFFTFFT
TTTTTTTTTTTTTTTT
--:-- / 11
DNF

0
DNF

0
DNF

0
DNF

0
TFTTFTTTTFFFTFFT
TTTTTTTTTTTTTTTT
--:-- / 11
TFTTFTTTTFFFTFFT
TTTTTTTTTTTTTTTT
--:-- / 11
6a

TTTFTTTTTTTFFTFT (expected value)

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

TTTFTTTTTTTFFTFT
TTTTTTTTTTTTTTTT
--:-- / 11
TTTFTTTTTTT?FTFT
TTTTTTTTTTT-TTTT
--:-- / 10
TTTFTTTTTTT?FTFT
TTTTTTTTTTT-TTTT
--:-- / 10
????????????????
----------------
--:-- / 0
DNF

0
TTTFTTTTTTTFFTFT
TTTTTTTTTTTTTTTT
--:P- / 11
TTTFTTTTTTTFFTFT
TTTTTTTTTTTTTTTT
--:-- / 11
TTTFTTTTTTTFFTFT
TTTTTTTTTTTTTTTT
--:-M / 11
????????????????
----------------
--:-- / 0
????????????????
----------------
--:-- / 0
6b

FFTFFFT? TFTFTTTT (expected value)

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

????????????????
-------?--------
--:-- / 0
FF?FFFT?TFTFTTTT
TT-TTTT?TTTTTTTT
--:-- / 10
FFTFFFT?TFTFTTTT
TTTTTTT?TTTTTTTT
--:-- / 10
FFTFFFT?TFTFTTTT
TTTTTTT?TTTTTTTT
--:-- / 10
DNF

0
DNF

0
DNF

0
DNF

0
FFTFFFT?TFTFTTTT
TTTTTTT?TTTTTTTT
--:-- / 10
FFTFFFT?TFTFTTTT
TTTTTTT?TTTTTTTT
--:-- / 10
7a

TTFTTTFTTTFFTTTT (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)

TTFTTTFTTTFFTTTT
TTTTTTTTTTTTTTTT
--:-- / 11
TTFTTTFTTTFFTTTT
TTTTTTTTTTTTTTTT
--:-M / 11
TTFTTTFTTTFFTTTT
TTTTTTTTTTTTTTTT
--:-- / 11
TTFTTTFTTTFFTTTT
TTTTTTTTTTTTTTTT
--:-- / 11
DNF

0
TTFTTTFTTTFFTTTT
TTTTTTTTTTTTTTTT
--:P- / 11
TTFTTTFTTTFFTTTT
TTTTTTTTTTTTTTTT
--:-- / 11
DNF

0
TTFTTTFTTTFFTTTT
TTTTTTTTTTTTTTTT
--:-- / 11
TTFTTTFTTTFFTTTT
TTTTTTTTTTTTTTTT
--:-- / 11
7b

FTTFTTTFFTFFFTFF (expected value)

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

????????????????
----------------
--:-- / 0
FTTFTTTFFTFFFTFF
TTTTTTTTTTTTTTTT
--:PM / 11
CC

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

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 94 154 153 125 125 154 154 0 147 147
Road Runner 0 0 7 0 0 8 4 0 1 2
Camel 0 13 6 0 0 0 0 0 1 2
301

TTTFFFTTTFFFFTTT (expected value)

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

TTT?FF???FF??TTT
TTT-TT---TT--TTT
--:-- / 5
TTTFFFTTTFFFFTTT
TTTTTTTTTTTTTTTT
--:-M / 7
TTTFFFTTTFFFFTTT
TTTTTTTTTTTTTTTT
--:-- / 7
????????????????
----------------
--:-- / 0
????????????????
----------------
--:-- / 0
TTTFFFTTTFFFFTTT
TTTTTTTTTTTTTTTT
--:-- / 7
TTTFFFTTTFFFFTTT
TTTTTTTTTTTTTTTT
--:P- / 7
DNF

0
????????????????
----------------
--:-- / 0
????????????????
----------------
--:-- / 0
302

TTTTTTTFFTFFTTTT (expected value)

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

?T????TFF??F?T??
-T----TTT--T-T--
--:-- / 3
TTTTTTTFFTFFTTTT
TTTTTTTTTTTTTTTT
--:-- / 7
TTTTTTTFFTFFTTTT
TTTTTTTTTTTTTTTT
--:-M / 7
TTTTTTTFFTFFTTTT
TTTTTTTTTTTTTTTT
--:-- / 7
TTTTTTTFFTFFTTTT
TTTTTTTTTTTTTTTT
--:-- / 7
TTTTTTTFFTFFTTTT
TTTTTTTTTTTTTTTT
--:-- / 7
TTTTTTTFFTFFTTTT
TTTTTTTTTTTTTTTT
--:P- / 7
DNF

0
TTTTTTTFFTFFTTTT
TTTTTTTTTTTTTTTT
--:-- / 7
TTTTTTTFFTFFTTTT
TTTTTTTTTTTTTTTT
--:-- / 7
303

TTFTTTTTTFTTFTFT (expected value)

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

TTFTT?TTTFT?FTFT
TTTTT-TTTTT-TTTT
--:-- / 6
TTFTTTTTTFTTFTFT
TTTTTTTTTTTTTTTT
--:-- / 7
TTFTTTTTTFTTFTFT
TTTTTTTTTTTTTTTT
--:-M / 7
TTFTTTTTTFTTFTFT
TTTTTTTTTTTTTTTT
--:-- / 7
TTFTTTTTTFTTFTFT
TTTTTTTTTTTTTTTT
--:-- / 7
TTFTTTTTTFTTFTFT
TTTTTTTTTTTTTTTT
--:-- / 7
TTFTTTTTTFTTFTFT
TTTTTTTTTTTTTTTT
--:P- / 7
DNF

0
TTFTTTTTTFTTFTFT
TTTTTTTTTTTTTTTT
--:-- / 7
TTFTTTTTTFTTFTFT
TTTTTTTTTTTTTTTT
--:-- / 7
304

FTTTTTTFTTTTTTTF (expected value)

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

??TTT??F??T?TTT?
--TTT--T--T-TTT-
--:-- / 4
FTTTTTTFTTTTTTTF
TTTTTTTTTTTTTTTT
--:-- / 7
FTTTTTTFTTTTTTTF
TTTTTTTTTTTTTTTT
--:PM / 7
FTTTTTTFTTTTTTTF
TTTTTTTTTTTTTTTT
--:-- / 7
FTTTTTTFTTTTTTTF
TTTTTTTTTTTTTTTT
--:-- / 7
FTTTTTTFTTTTTTTF
TTTTTTTTTTTTTTTT
--:-- / 7
FTTTTTTFTTTTTTTF
TTTTTTTTTTTTTTTT
--:-- / 7
DNF

0
FTTTTTTFTTTTTTTF
TTTTTTTTTTTTTTTT
--:-- / 7
FTTTTTTFTTTTTTTF
TTTTTTTTTTTTTTTT
--:-- / 7
305

FTFTFTFFTTTTTTFT (expected value)

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

????F??FTT??TT??
----T--TTT--TT--
--:-- / 3
FTFTFTFFTTTTTTFT
TTTTTTTTTTTTTTTT
--:-- / 7
F?FTFT?FTTTTTTFT
T-TTTT-TTTTTTTTT
--:-- / 6
????????????????
----------------
--:-- / 0
????????????????
----------------
--:-- / 0
FTFTFTFFTTTTTTFT
TTTTTTTTTTTTTTTT
--:P- / 7
FTFTFTFFTTTTTTFT
TTTTTTTTTTTTTTTT
--:-- / 7
DNF

0
FTFTFTFFTTTTTTFT
TTTTTTTTTTTTTTTT
--:-- / 7
FTFTFTFFTTTTTTFT
TTTTTTTTTTTTTTTT
--:-M / 7
306

FFFFFTFTFTTTFTTT (expected value)

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

FFFF?T?TFT?T?T?T
TTTT-T-TTT-T-T-T
--:-- / 5
FFFFFTFTFTTTFTTT
TTTTTTTTTTTTTTTT
--:-M / 7
FFFFFTFTFTTTFTTT
TTTTTTTTTTTTTTTT
--:-- / 7
FFFFFTFTFTTTFTTT
TTTTTTTTTTTTTTTT
--:-- / 7
FFFFFTFTFTTTFTTT
TTTTTTTTTTTTTTTT
--:-- / 7
FFFFFTFTFTTTFTTT
TTTTTTTTTTTTTTTT
--:P- / 7
FFFFFTFTFTTTFTTT
TTTTTTTTTTTTTTTT
--:-- / 7
DNF

0
FFFFFTFTFTTTFTTT
TTTTTTTTTTTTTTTT
--:-- / 7
FFFFFTFTFTTTFTTT
TTTTTTTTTTTTTTTT
--:-- / 7
307

TFTTTTTTTTFTTFFF (expected value)

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

TFTTTT?TTTFTTFFF
TTTTTT-TTTTTTTTT
--:-- / 7
TFTTTTTTTTFTTFFF
TTTTTTTTTTTTTTTT
--:-M / 7
TFTTTTTTTTFTTFFF
TTTTTTTTTTTTTTTT
--:P- / 7
TFTTTTTTTTFTTFFF
TTTTTTTTTTTTTTTT
--:-- / 7
TFTTTTTTTTFTTFFF
TTTTTTTTTTTTTTTT
--:-- / 7
TFTTTTTTTTFTTFFF
TTTTTTTTTTTTTTTT
--:-- / 7
TFTTTTTTTTFTTFFF
TTTTTTTTTTTTTTTT
--:-- / 7
DNF

0
TFTTTTTTTTFTTFFF
TTTTTTTTTTTTTTTT
--:-- / 7
TFTTTTTTTTFTTFFF
TTTTTTTTTTTTTTTT
--:-- / 7
308

TTTFTFTFFTFFTTTT (expected value)

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

?TTFTFTF?TF?????
-TTTTTTT-TT-----
--:-- / 4
TTTFTFTFFTFFTTTT
TTTTTTTTTTTTTTTT
--:-M / 7
TTTFTFTFFTFFTTTT
TTTTTTTTTTTTTTTT
--:-- / 7
TTTFTFTFFTFFTTTT
TTTTTTTTTTTTTTTT
--:-- / 7
TTTFTFTFFTFFTTTT
TTTTTTTTTTTTTTTT
--:-- / 7
TTTFTFTFFTFFTTTT
TTTTTTTTTTTTTTTT
--:P- / 7
TTTFTFTFFTFFTTTT
TTTTTTTTTTTTTTTT
--:-- / 7
DNF

0
TTTFTFTFFTFFTTTT
TTTTTTTTTTTTTTTT
--:-- / 7
TTTFTFTFFTFFTTTT
TTTTTTTTTTTTTTTT
--:-- / 7
309

FTTTFFTTFFFFTTTT (expected value)

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

???TFFTTFF?FTTT?
---TTTTTTT-TTTT-
--:-- / 5
FTTTFFTTFFFFTTTT
TTTTTTTTTTTTTTTT
--:-M / 7
FTTTFFTTFFFFTTTT
TTTTTTTTTTTTTTTT
--:-- / 7
FTTTFFTTFFFFTTTT
TTTTTTTTTTTTTTTT
--:-- / 7
FTTTFFTTFFFFTTTT
TTTTTTTTTTTTTTTT
--:-- / 7
FTTTFFTTFFFFTTTT
TTTTTTTTTTTTTTTT
--:P- / 7
FTTTFFTTFFFFTTTT
TTTTTTTTTTTTTTTT
--:-- / 7
DNF

0
FTTTFFTTFFFFTTTT
TTTTTTTTTTTTTTTT
--:-- / 7
FTTTFFTTFFFFTTTT
TTTTTTTTTTTTTTTT
--:-- / 7
310

FTTTFFTTTTTFTFFT (expected value)

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

FTTT?FT?TT?FTF?T
TTTT-TT-TT-TTT-T
--:-- / 5
FTTTFFTTTTTFTFFT
TTTTTTTTTTTTTTTT
--:-M / 7
FTTTFFTTTTTFTF?T
TTTTTTTTTTTTTT-T
--:-- / 7
FTTTFFTTTTTFTF?T
TTTTTTTTTTTTTT-T
--:-- / 7
FTTTFFTTTTTFTF?T
TTTTTTTTTTTTTT-T
--:-- / 7
FTTTFFTTTTTFTFFT
TTTTTTTTTTTTTTTT
--:P- / 7
FTTTFFTTTTTFTFFT
TTTTTTTTTTTTTTTT
--:-- / 7
DNF

0
FTTTFFTTTTTFTF?T
TTTTTTTTTTTTTT-T
--:-- / 7
FTTTFFTTTTTFTF?T
TTTTTTTTTTTTTT-T
--:-- / 7
311

TFTTTFTFFFFTFFTF (expected value)

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

TF??T?T??F?TF???
TT--T-T--T-TT---
--:-- / 3
TFTTTFTFFFFTFFTF
TTTTTTTTTTTTTTTT
--:-M / 7
TFTTTFTFFFFTFFT?
TTTTTTTTTTTTTTT-
--:-- / 7
TFTTTFTFFFFTFFT?
TTTTTTTTTTTTTTT-
--:-- / 7
TFTTTFTFFFFTFFT?
TTTTTTTTTTTTTTT-
--:-- / 7
TFTTTFTFFFFTFFTF
TTTTTTTTTTTTTTTT
--:-- / 7
TFTTTFTFFFFTFFTF
TTTTTTTTTTTTTTTT
--:P- / 7
DNF

0
TFTTTFTFFFFTFFTF
TTTTTTTTTTTTTTTT
--:-- / 7
TFTTTFTFFFFTFFTF
TTTTTTTTTTTTTTTT
--:-- / 7
312

TTTTFFTFFTFFTTFT (expected value)

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

TTTT?FTFFT?F???T
TTTT-TTTTT-T---T
--:-- / 5
TTTTFFTFFTFFTTFT
TTTTTTTTTTTTTTTT
--:-M / 7
TTTTFFTFFTFFTTFT
TTTTTTTTTTTTTTTT
--:P- / 7
TTTTFFTFFTFFTTFT
TTTTTTTTTTTTTTTT
--:-- / 7
TTTTFFTFFTFFTTFT
TTTTTTTTTTTTTTTT
--:-- / 7
TTTTFFTFFTFFTTFT
TTTTTTTTTTTTTTTT
--:-- / 7
TTTTFFTFFTFFTTFT
TTTTTTTTTTTTTTTT
--:-- / 7
DNF

0
TTTTFFTFFTFFTTFT
TTTTTTTTTTTTTTTT
--:-- / 7
TTTTFFTFFTFFTTFT
TTTTTTTTTTTTTTTT
--:-- / 7
313

TFTFFFTTTTTTTTFF (expected value)

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

T????FTT?TT?TTFF
T----TTT-TT-TTTT
--:-- / 5
TFTFFFTTTTTTTTFF
TTTTTTTTTTTTTTTT
--:-M / 7
TFTFFFTTTTTTTTFF
TTTTTTTTTTTTTTTT
--:-- / 7
TFTFFFTTTTTTTTFF
TTTTTTTTTTTTTTTT
--:-- / 7
TFTFFFTTTTTTTTFF
TTTTTTTTTTTTTTTT
--:-- / 7
TFTFFFTTTTTTTTFF
TTTTTTTTTTTTTTTT
--:P- / 7
TFTFFFTTTTTTTTFF
TTTTTTTTTTTTTTTT
--:-- / 7
DNF

0
TFTFFFTTTTTTTTFF
TTTTTTTTTTTTTTTT
--:-- / 7
TFTFFFTTTTTTTTFF
TTTTTTTTTTTTTTTT
--:-- / 7
314

TTTTFFTTFTFFTTFT (expected value)

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

TTTT?FT???F???FT
TTTT-TT---T---TT
--:-- / 4
TTTTFFTTFTFFTTFT
TTTTTTTTTTTTTTTT
--:-M / 7
TTTTFFTTFTFFTTFT
TTTTTTTTTTTTTTTT
--:P- / 7
TTTTFFTTFTFFTTFT
TTTTTTTTTTTTTTTT
--:-- / 7
TTTTFFTTFTFFTTFT
TTTTTTTTTTTTTTTT
--:-- / 7
TTTTFFTTFTFFTTFT
TTTTTTTTTTTTTTTT
--:-- / 7
TTTTFFTTFTFFTTFT
TTTTTTTTTTTTTTTT
--:-- / 7
DNF

0
TTTTFFTTFTFFTTFT
TTTTTTTTTTTTTTTT
--:-- / 7
TTTTFFTTFTFFTTFT
TTTTTTTTTTTTTTTT
--:-- / 7
315

TTTTFFFFTTTFTFFF (expected value)

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

TTT?FFF??T??T?F?
TTT-TTT--T--T-T-
--:-- / 4
TTTTFFFFTTTFTFFF
TTTTTTTTTTTTTTTT
--:-M / 7
TTTT?FFFTTTFTFFF
TTTT-TTTTTTTTTTT
--:-- / 7
TTTTFFFFTTTFTFFF
TTTTTTTTTTTTTTTT
--:-- / 7
TTTTFFFFTTTFTFFF
TTTTTTTTTTTTTTTT
--:-- / 7
TTTTFFFFTTTFTFFF
TTTTTTTTTTTTTTTT
--:-- / 7
TTTTFFFFTTTFTFFF
TTTTTTTTTTTTTTTT
--:-- / 7
DNF

0
TTTTFFFFTTTFTFFF
TTTTTTTTTTTTTTTT
--:-- / 7
TTTTFFFFTTTFTFFF
TTTTTTTTTTTTTTTT
--:P- / 7
316

TFTTTTTTTTTTTTTT (expected value)

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

TFTTT?TTTTTTTTTT
TTTTT-TTTTTTTTTT
--:-- / 7
TFTTTTTTTTTTTTTT
TTTTTTTTTTTTTTTT
--:-- / 7
TFTTTTTTTTTTTTTT
TTTTTTTTTTTTTTTT
--:PM / 7
TFTTTTTTTTTTTTTT
TTTTTTTTTTTTTTTT
--:-- / 7
TFTTTTTTTTTTTTTT
TTTTTTTTTTTTTTTT
--:-- / 7
TFTTTTTTTTTTTTTT
TTTTTTTTTTTTTTTT
--:-- / 7
TFTTTTTTTTTTTTTT
TTTTTTTTTTTTTTTT
--:-- / 7
DNF

0
TFTTTTTTTTTTTTTT
TTTTTTTTTTTTTTTT
--:-- / 7
TFTTTTTTTTTTTTTT
TTTTTTTTTTTTTTTT
--:-- / 7