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

Introduction

Please find here the computed results for the CTLCardinality 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 CTLCardinality
  LTSMin Tapaal LoLA M4M.full M4M.struct ITS-Tools ITS-Tools.L GreatSPN Irma.full Irma.struct
Total Points 6136 14952 13344 2209 2046 6805 6621 5932 3504 3523

All «Surprise» models
 
  LTSMin Tapaal LoLA M4M.full M4M.struct ITS-Tools ITS-Tools.L GreatSPN Irma.full Irma.struct
Total Points 2252 6232 5376 0 0 2496 2224 1832 0 0
Road Runner 0 55 19 0 0 8 2 3 0 0
Camel 0 52 26 0 0 1 0 8 0 0
ASLink — P/T
  LTSMin Tapaal LoLA M4M.full M4M.struct ITS-Tools ITS-Tools.L GreatSPN Irma.full Irma.struct
Score 32 540 524 0 0 40 64 32 0 0
Road Runner 0 6 0 0 0 0 0 0 0 0
Camel 0 3 3 0 0 0 0 0 0 0
01a

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

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

0
CC

0
FFTFFFFTTTTFFFTT
TTTTTTTTTTTTTTTT
--:-- / 32
FFTFFFFTTTTFFFTT
TTTTTTTTTTTTTTTT
--:-- / 32
FFTFFFFTTTTFFFTT
TTTTTTTTTTTTTTTT
--:-- / 32
CC

0
CC

0
01b

FFTFFTFFFTFFFFTT (expected value)

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

????????????????
----------------
--:-- / 0
FFTFFTFFFTFFFFTT
TTTTTTTTTTTTTTTT
--:PM / 32
F?TFFTFF?TFF??TT
T-TTTTTT-TTT--TT
--:-- / 24
CC

0
CC

0
CC

0
CC

0
DNF

0
CC

0
CC

0
02a

FFFTTFFTTFFTFFFF (expected value)

4.00 4.00 4.00 4.00 4.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
FFFTTFFTTFFTFFFF
TTTTTTTTTTTTTTTT
--:P- / 32
FFFTTFFTTFFTFFFF
TTTTTTTTTTTTTTTT
--:-M / 32
CC

0
CC

0
FFFTT???????????
TTTTT-----------
--:-- / 8
FFFTTFFTTFFTFFFF
TTTTTTTTTTTTTTTT
--:-- / 32
DNF

0
CC

0
CC

0
02b

FTTTTTFFFFFTTFTT (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
FTTTTTFFFFFTTFTT
TTTTTTTTTTTTTTTT
--:P- / 32
FTTTTTFFFFFTTFTT
TTTTTTTTTTTTTTTT
--:-M / 32
CC

0
CC

0
CC

0
CC

0
DNF

0
CC

0
CC

0
03a

FFFFFFFTFF? TFFFF (expected value)

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

????????????????
----------?-----
--:-- / 0
FFFFFFFTFF?TFFFF
TTTTTTTTTT?TTTTT
--:-- / 28
?FFFFFFTFF?TFFFF
-TTTTTTTTT?TTTTT
--:-- / 28
CC

0
CC

0
CC

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

0
CC

0
CC

0
03b

TTT? ? ? TFTFTTTFFT (expected value)

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

????????????????
---???----------
--:-- / 0
TTT???TFTFTTTFFT
TTT???TTTTTTTTTT
--:-- / 24
TTT????FTFTTTFFT
TTT???-TTTTTTTTT
--:-- / 24
CC

0
CC

0
CC

0
CC

0
DNF

0
CC

0
CC

0
04a

TFTFTFFTFFTFFFFT (expected value)

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

????????????????
----------------
--:-- / 0
TFTFTFFTFFTFFFFT
TTTTTTTTTTTTTTTT
--:PM / 32
TFTF?FFTFFTFFFF?
TTTT-TTTTTTTTTT-
--:-- / 28
CC

0
CC

0
CC

0
DNF

0
DNF

0
CC

0
CC

0
04b

FFF? FFFF? FTFFFF? (expected value)

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

????????????????
---?----?------?
--:-- / 0
FFF?FFFF?FTFFFF?
TTT?TTTT?TTTTTT?
--:-- / 24
FFF?F?FF?FTFFFF?
TTT?T-TT?TTTTTT?
--:-- / 24
CC

0
CC

0
CC

0
CC

0
DNF

0
CC

0
CC

0
05a

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

????????????????
----------------
--:-- / 0
TTFFFFTTTTTFFFTT
TTTTTTTTTTTTTTTT
--:PM / 32
TTFFFFTTTTTFFF?T
TTTTTTTTTTTTTT-T
--:-- / 28
CC

0
CC

0
CC

0
CC

0
DNF

0
CC

0
CC

0
05b

FFFFF? FTTFFFFFFT (expected value)

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

????????????????
-----?----------
--:-- / 0
FFFFF?FTTFFFFFFT
TTTTT?TTTTTTTTTT
--:-- / 28
FFF?F??TTFFFFFFT
TTT-T?-TTTTTTTTT
--:-- / 24
CC

0
CC

0
CC

0
CC

0
DNF

0
CC

0
CC

0
06a

TTF? TFFF? TF? ? FT? (expected value)

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

????????????????
---?----?--??--?
--:-- / 0
TTF?TFFF?TF??FT?
TTT?TTTT?TT??TT?
--:-- / 20
TTF?TFFF?TF??FT?
TTT?TTTT?TT??TT?
--:-- / 20
CC

0
CC

0
CC

0
CC

0
DNF

0
CC

0
CC

0
06b

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

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

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

0
CC

0
CC

0
CC

0
DNF

0
CC

0
CC

0
07a

TFFTFFFTTTFFFFF? (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 0 (confidence rate)

????????????????
---------------?
--:-- / 0
TFFTFFFTTTFFFFF?
TTTTTTTTTTTTTTT?
--:-- / 28
TFFTFFFTTTFFFFF?
TTTTTTTTTTTTTTT?
--:-- / 28
CC

0
CC

0
CC

0
DNF

0
DNF

0
CC

0
CC

0
07b

TFTFFFTFFTTTFTFF (expected value)

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

????????????????
----------------
--:-- / 0
TFTFFF?FFTTTFTFF
TTTTTT-TTTTTTTTT
--:-- / 28
T?TFFFTFFTT?FTFF
T-TTTTTTTTT-TTTT
--:-- / 28
CC

0
CC

0
CC

0
CC

0
DNF

0
CC

0
CC

0
08a

FFTFFTFTFFTFFTFT (expected value)

2.00 2.00 2.00 1.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
FFT?FTFTFFTFFTFT
TTT-TTTTTTTTTTTT
--:-- / 28
FFTFFTFTFFTF??FT
TTTTTTTTTTTT--TT
--:-- / 28
CC

0
CC

0
CC

0
CC

0
DNF

0
CC

0
CC

0
08b

? ? ? T? TTFTFFFFFFF (expected value)

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

????????????????
???-?-----------
--:-- / 0
???T?TTF?FF?FFFF
???T?TTT-TT-TTTT
--:-- / 20
???T?TTFTFFFFFFF
???T?TTTTTTTTTTT
--:-- / 24
CC

0
CC

0
CC

0
CC

0
DNF

0
CC

0
CC

0
09a

T? FFFFF? ? FFFFFFF (expected value)

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

????????????????
-?-----??-------
--:-- / 0
T?FFFFF??FFFFFFF
T?TTTTT??TTTTTTT
--:-- / 24
??FFF?F??FFFFFFF
-?TTT-T??TTTTTTT
--:-- / 20
CC

0
CC

0
CC

0
DNF

0
DNF

0
CC

0
CC

0
09b

TTFFTFFT? ? FTFTFF (expected value)

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

????????????????
--------??------
--:-- / 0
TTFFTFFT??FTFT?F
TTTTTTTT??TTTT-T
--:-- / 24
TTFFTFFT??FT?TFF
TTTTTTTT??TT-TTT
--:-- / 24
CC

0
CC

0
CC

0
CC

0
DNF

0
CC

0
CC

0
10a

FTFF? FT? TTFFTTFF (expected value)

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

????????????????
----?--?--------
--:-- / 0
F?FF?FT?TTFFTTFF
T-TT?TT?TTTTTTTT
--:-- / 24
FTFF?FT?TTFFTTFF
TTTT?TT?TTTTTTTT
--:-- / 28
CC

0
CC

0
CC

0
CC

0
DNF

0
CC

0
CC

0
10b

FFTFTFTFFFF? TTFF (expected value)

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

????????????????
-----------?----
--:-- / 0
FFTFTFTFFFF?T?FF
TTTTTTTTTTT?T-TT
--:-- / 28
?FTFTF?FFFF?TTFF
-TTTTT-TTTT?TTTT
--:-- / 24
CC

0
CC

0
CC

0
CC

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 124 632 580 0 0 284 76 64 0 0
Road Runner 0 16 2 0 0 1 0 0 0 0
Camel 0 14 4 0 0 0 0 1 0 0
01

TTFTFFFFFFFFTFFT (expected value)

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

TTFTFFFFFFFFTFFT
TTTTTTTTTTTTTTTT
--:-- / 32
TTFTFFFFFF?FTFFT
TTTTTTTTTT-TTTTT
--:-- / 28
TTFTF??FFF?FTFFT
TTTTT--TTT-TTTTT
--:-- / 24
CC

0
CC

0
TTFTFFFFFFFFTFFT
TTTTTTTTTTTTTTTT
--:P- / 32
TTFTFFFFFFFFTFFT
TTTTTTTTTTTTTTTT
--:-- / 32
TTFTFFFFFFFFTFFT
TTTTTTTTTTTTTTTT
--:-M / 32
CC

0
CC

0
02

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

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

0
CC

0
TFTTFFFFFTTTFTTT
TTTTTTTTTTTTTTTT
--:-- / 32
TFTTFFFFFTTTFTTT
TTTTTTTTTTTTTTTT
--:-- / 32
TFTTFFFFFTTTFTTT
TTTTTTTTTTTTTTTT
--:-- / 32
CC

0
CC

0
03

FTFFFFFTTFFFFFTF (expected value)

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

FTFFFFFTTFFFFFTF
TTTTTTTTTTTTTTTT
--:-- / 32
FTFFFFFTTFFFFFTF
TTTTTTTTTTTTTTTT
--:PM / 32
?TFFFFFTTFFFFFTF
-TTTTTTTTTTTTTTT
--:-- / 28
CC

0
CC

0
FTFFFFFTTFFFFFTF
TTTTTTTTTTTTTTTT
--:-- / 32
CC

0
DNF

0
CC

0
CC

0
04

FFFFFFFFFTFFTFFT (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
FFFFFFFFFTFFTFFT
TTTTTTTTTTTTTTTT
--:PM / 32
FFFFFFFFFTFFTFFT
TTTTTTTTTTTTTTTT
--:-- / 32
CC

0
CC

0
FFFFFFFFFTFFTFFT
TTTTTTTTTTTTTTTT
--:-- / 32
CC

0
DNF

0
CC

0
CC

0
05

TTTFFFFFFFTFFTFF (expected value)

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

?TTFF?F????FFTFF
-TTTT-T----TTTTT
--:-- / 20
TTTFFFFFFFTFFTFF
TTTTTTTTTTTTTTTT
--:PM / 32
TTTFF?FFFFTFFTF?
TTTTT-TTTTTTTTT-
--:-- / 28
CC

0
CC

0
TTTFFF??????????
TTTTTT----------
--:-- / 12
CC

0
DNF

0
CC

0
CC

0
06

TFTTTTTTFFFFFFFF (expected value)

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

?FTT???????????F
-TTT-----------T
--:-- / 8
TFTTTTTTFFFFFFFF
TTTTTTTTTTTTTTTT
--:PM / 32
TFTTTTTTFFFFFFFF
TTTTTTTTTTTTTTTT
--:-- / 32
CC

0
CC

0
TFTTTTTTFFFFFFFF
TTTTTTTTTTTTTTTT
--:-- / 32
CC

0
DNF

0
CC

0
CC

0
07

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

????????????????
----------------
--:-- / 0
TTTFFTTTTTTTFFFT
TTTTTTTTTTTTTTTT
--:PM / 32
TTTFFTTTTTTTF?F?
TTTTTTTTTTTTT-T-
--:-- / 28
CC

0
CC

0
CC

0
CC

0
DNF

0
CC

0
CC

0
08

TFFFTFFTTFFFFTFF (expected value)

4.00 4.00 4.00 4.00 4.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
TFFFTFFTTFFFFTFF
TTTTTTTTTTTTTTTT
--:PM / 32
TFFFTFFTTFFFFTFF
TTTTTTTTTTTTTTTT
--:-- / 32
CC

0
CC

0
TFFFTFFTTFFFFTFF
TTTTTTTTTTTTTTTT
--:-- / 32
TFFFT???????????
TTTTT-----------
--:-- / 8
DNF

0
CC

0
CC

0
09

FTTTFFTFFTTFTTFF (expected value)

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

????????????????
----------------
--:-- / 0
FTTTFFTFFTTFTTFF
TTTTTTTTTTTTTTTT
--:PM / 32
FTTTFFTFFT?FT?FF
TTTTTTTTTT-TT-TT
--:-- / 28
CC

0
CC

0
FTTTFFTFF???????
TTTTTTTTT-------
--:-- / 16
CC

0
DNF

0
CC

0
CC

0
10

TTFFFFTFTTFFTFTT (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
TTFFFFTFTTFFTFTT
TTTTTTTTTTTTTTTT
--:-- / 32
TTFFFFTFTTFFTFTT
TTTTTTTTTTTTTTTT
--:PM / 32
CC

0
CC

0
CC

0
CC

0
DNF

0
CC

0
CC

0
11

FFTTTFFFTTFTFFFF (expected value)

4.00 4.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
FFTTTFFFTTFTFFFF
TTTTTTTTTTTTTTTT
--:PM / 32
FFTTTFFFTTFTFFFF
TTTTTTTTTTTTTTTT
--:-- / 32
CC

0
CC

0
FFTTTFFFTTFTFFFF
TTTTTTTTTTTTTTTT
--:-- / 32
FF??????????????
TT--------------
--:-- / 4
DNF

0
CC

0
CC

0
12

FTFFTTTFTTTFTTTT (expected value)

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

????????????????
----------------
--:-- / 0
FTFFTTTFTTTFTTTT
TTTTTTTTTTTTTTTT
--:PM / 32
FTFFTTT?T??FTTTT
TTTTTTT-T--TTTTT
--:-- / 24
CC

0
CC

0
FTF?????????????
TTT-------------
--:-- / 4
CC

0
DNF

0
CC

0
CC

0
13

FTFFFFFTFTTTTTTT (expected value)

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

????????????????
----------------
--:-- / 0
FTFFFFFTFTTTTTTT
TTTTTTTTTTTTTTTT
--:PM / 32
?TFFFFFT?TTTTT?T
-TTTTTTT-TTTTT-T
--:-- / 24
CC

0
CC

0
CC

0
CC

0
DNF

0
CC

0
CC

0
14

FTTFFFFFTFTTFFTF (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
FTTFFFFFTFTTFFTF
TTTTTTTTTTTTTTTT
--:-- / 32
FTTFFFFFTFTTFFTF
TTTTTTTTTTTTTTTT
--:PM / 32
CC

0
CC

0
CC

0
CC

0
DNF

0
CC

0
CC

0
15

FTFFTFTFFFFTTFTF (expected value)

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

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

0
CC

0
FT??????????????
TT--------------
--:-- / 4
CC

0
DNF

0
CC

0
CC

0
16

TTTFTFFTTFTFFFTF (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
TTTFTFFTTFTFFFTF
TTTTTTTTTTTTTTTT
--:P- / 32
TTTFTFFTTFTFFFTF
TTTTTTTTTTTTTTTT
--:-M / 32
CC

0
CC

0
CC

0
CC

0
DNF

0
CC

0
CC

0
17

FFTTFFTTFTTFTTFF (expected value)

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

????????????????
----------------
--:-- / 0
FFTTFFTTFTTFTTFF
TTTTTTTTTTTTTTTT
--:PM / 32
FFT?FFTTFTTF?TFF
TTT-TTTTTTTT-TTT
--:-- / 28
CC

0
CC

0
CC

0
CC

0
DNF

0
CC

0
CC

0
18

TTTFFTFFTFFFFFFT (expected value)

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

????????????????
----------------
--:-- / 0
TTTFFTFFTFFFFFFT
TTTTTTTTTTTTTTTT
--:PM / 32
TTTF?TFFTF?FFFFT
TTTT-TTTTT-TTTTT
--:-- / 28
CC

0
CC

0
CC

0
CC

0
DNF

0
CC

0
CC

0
19

FFFTFFTTFTFFTFTF (expected value)

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

????????????????
----------------
--:-- / 0
FFFTFFTTFTFFTFTF
TTTTTTTTTTTTTTTT
--:PM / 32
F?FTFFTTFTFF?FTF
T-TTTTTTTTTT-TTT
--:-- / 28
CC

0
CC

0
FFFTFFTTFTFFT???
TTTTTTTTTTTTT---
--:-- / 24
CC

0
DNF

0
CC

0
CC

0
20

FFFTTFTFFTTFTTF? (expected value)

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

????????????????
---------------?
--:-- / 0
FFFTTFTFFTTFTTF?
TTTTTTTTTTTTTTT?
--:-- / 28
FFFTTFTFF?TF?TF?
TTTTTTTTT-TT-TT?
--:-- / 24
CC

0
CC

0
CC

0
CC

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 204 532 376 0 0 212 176 0 0 0
Road Runner 0 8 2 0 0 0 0 0 0 0
Camel 0 8 2 0 0 0 0 0 0 0
2a

TFTFFFFFTFTFTTTT (expected value)

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

TFTFFFFFTFTFTTTT
TTTTTTTTTTTTTTTT
--:-- / 40
TFTFFFFFTFTFTTTT
TTTTTTTTTTTTTTTT
--:PM / 40
?FTFFF?F?FTFTTTT
-TTTTT-T-TTTTTTT
--:-- / 32
CC

0
CC

0
TFTFFFFFTFTFTTTT
TTTTTTTTTTTTTTTT
--:-- / 40
TFTFFFFFTFTFTTTT
TTTTTTTTTTTTTTTT
--:-- / 40
CC

0
CC

0
CC

0
2b

TTFTFTFFTTFFTFFF (expected value)

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

????????????????
----------------
--:-- / 0
TTFTFTFFTTFFTFFF
TTTTTTTTTTTTTTTT
--:PM / 40
TTFTFT?FT?F?TFFF
TTTTTT-TT-T-TTTT
--:-- / 32
CC

0
CC

0
CC

0
CC

0
DNF

0
CC

0
CC

0
3a

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

TFTFTFFTFTFFFTTT
TTTTTTTTTTTTTTTT
--:-- / 40
TFTFTFFTFTFFFTTT
TTTTTTTTTTTTTTTT
--:-- / 40
TFTFTFFTFTFFFTTT
TTTTTTTTTTTTTTTT
--:PM / 40
CC

0
CC

0
TFTFTFFTFTFFFTTT
TTTTTTTTTTTTTTTT
--:-- / 40
TFTFTFFTFTFFFTTT
TTTTTTTTTTTTTTTT
--:-- / 40
CC

0
CC

0
CC

0
3b

FFTFFTFTTFFFFTTF (expected value)

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

????????????????
----------------
--:-- / 0
FFTFFTFTTFFFFTTF
TTTTTTTTTTTTTTTT
--:PM / 40
FFTF?TFT?FFFF?TF
TTTT-TTT-TTTT-TT
--:-- / 32
CC

0
CC

0
CC

0
CC

0
DNF

0
CC

0
CC

0
4a

FFTTTTFTFFFTFFTF (expected value)

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

FFTTTTFTFFFTFFTF
TTTTTTTTTTTTTTTT
--:-- / 40
FFTTTTFTFFFTFFTF
TTTTTTTTTTTTTTTT
--:PM / 40
FFTTT?FTFFFT?FTF
TTTTT-TTTTTT-TTT
--:-- / 36
CC

0
CC

0
FFTTTTFTFFFTFFTF
TTTTTTTTTTTTTTTT
--:-- / 40
FFTTTTFTFFFTFFTF
TTTTTTTTTTTTTTTT
--:-- / 40
CC

0
CC

0
CC

0
4b

TTTTTTTFFTTFTTFF (expected value)

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

????????????????
----------------
--:-- / 0
TTTTTTTFFTTFTTFF
TTTTTTTTTTTTTTTT
--:PM / 40
TTT?TTTFFTTFT?FF
TTT-TTTTTTTTT-TT
--:-- / 36
CC

0
CC

0
CC

0
DNF

0
DNF

0
CC

0
CC

0
5a

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

FFFFTTTTTFFTFTFF
TTTTTTTTTTTTTTTT
--:-- / 40
FFFFTTTTTFFTFTFF
TTTTTTTTTTTTTTTT
--:-- / 40
FFFFTTTTTFFTFTFF
TTTTTTTTTTTTTTTT
--:PM / 40
CC

0
CC

0
FFFFTTTTTFFTFTFF
TTTTTTTTTTTTTTTT
--:-- / 40
FFFFTTTTTFFTFTFF
TTTTTTTTTTTTTTTT
--:-- / 40
CC

0
CC

0
CC

0
5b

FTFTFFTTFTFFFTFF (expected value)

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

????????????????
----------------
--:-- / 0
FTFTFF?TFTFFFTFF
TTTTTT-TTTTTTTTT
--:-- / 36
FTF??FTTF?FFF??F
TTT--TTTT-TTT--T
--:-- / 28
CC

0
CC

0
CC

0
DNF

0
CC

0
CC

0
CC

0
6a

TTTTTTTTFTTTTFTF (expected value)

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

TTTTTTTTFTTTTFTF
TTTTTTTTTTTTTTTT
--:-- / 40
TTTTTTTTFTTTTFTF
TTTTTTTTTTTTTTTT
--:PM / 40
TTTTTTTTFT?TTFTF
TTTTTTTTTT-TTTTT
--:-- / 36
CC

0
CC

0
TTT?????????????
TTT-------------
--:-- / 8
TTT?????????????
TTT-------------
--:-- / 8
CC

0
CC

0
CC

0
6b

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

0
CC

0
CC

0
CC

0
DNF

0
CC

0
CC

0
CC

0
7a

TFTFTFFTTFTFTTFF (expected value)

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

TF??????????????
TT--------------
--:-- / 4
TFTFTFFTTFTFTTFF
TTTTTTTTTTTTTTTT
--:PM / 40
TFTF?FFTT?TF?TF?
TTTT-TTTT-TT-TT-
--:-- / 28
CC

0
CC

0
TFTFTFFTTFTFTTFF
TTTTTTTTTTTTTTTT
--:-- / 40
TF??????????????
TT--------------
--:-- / 4
CC

0
CC

0
CC

0
7b

FTFFFFTTTFFTT? TT (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 0 1.00 1.00 (confidence rate)

????????????????
-------------?--
--:-- / 0
FTFFFFTTTFFTT?TT
TTTTTTTTTTTTT?TT
--:-- / 36
CC

0
CC

0
CC

0
CC

0
DNF

0
CC

0
CC

0
CC

0
8a

TTTFTFFTFFTTTFFT (expected value)

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

????????????????
----------------
--:-- / 0
TTTFTFFTFFTTTF?T
TTTTTTTTTTTTTT-T
--:-- / 36
?T?FTFFTFFTTTFFT
-T-TTTTTTTTTTTTT
--:-- / 36
CC

0
CC

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

0
CC

0
CC

0
8b

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

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

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

0
CC

0
CC

0
CC

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 436 628 596 0 0 640 588 640 0 0
Road Runner 0 9 6 0 0 2 2 1 0 0
Camel 0 9 8 0 0 0 0 3 0 0
06a

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

FTFTFFTFFFFFTTFF
TTTTTTTTTTTTTTTT
--:-- / 32
FTFTFFTFFFFFTTFF
TTTTTTTTTTTTTTTT
--:-- / 32
FTFTFFTFFFFFTTFF
TTTTTTTTTTTTTTTT
--:PM / 32
CC

0
CC

0
FTFTFFTFFFFFTTFF
TTTTTTTTTTTTTTTT
--:-- / 32
FTFTFFTFFFFFTTFF
TTTTTTTTTTTTTTTT
--:-- / 32
FTFTFFTFFFFFTTFF
TTTTTTTTTTTTTTTT
--:-- / 32
CC

0
CC

0
06b

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

TFTTFTFFTFFTFFTF
TTTTTTTTTTTTTTTT
--:-- / 32
TFTTFTFFTFFTFFTF
TTTTTTTTTTTTTTTT
--:PM / 32
TFTTF?FFTFFTFFTF
TTTTT-TTTTTTTTTT
--:-- / 28
CC

0
CC

0
TFTTFTFFTFFTFFTF
TTTTTTTTTTTTTTTT
--:-- / 32
TFTTFTFFTFFTFFTF
TTTTTTTTTTTTTTTT
--:-- / 32
TFTTFTFFTFFTFFTF
TTTTTTTTTTTTTTTT
--:-- / 32
CC

0
CC

0
07a

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

TFTFTFFTFTFFFFTF
TTTTTTTTTTTTTTTT
--:-- / 32
TFTFTFFTFTFFFFTF
TTTTTTTTTTTTTTTT
--:P- / 32
TFTFTFFTFTFFFFTF
TTTTTTTTTTTTTTTT
--:-- / 32
CC

0
CC

0
TFTFTFFTFTFFFFTF
TTTTTTTTTTTTTTTT
--:-- / 32
TFTFTFFTFTFFFFTF
TTTTTTTTTTTTTTTT
--:-- / 32
TFTFTFFTFTFFFFTF
TTTTTTTTTTTTTTTT
--:-M / 32
CC

0
CC

0
07b

FTFFTFFFTFFFTTTF (expected value)

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

FTFFTFFFTFFFTTT?
TTTTTTTTTTTTTTT-
--:-- / 28
?TFFTFFFTFFFTTTF
-TTTTTTTTTTTTTTT
--:-- / 28
??FFTFFFTFFFTTTF
--TTTTTTTTTTTTTT
--:-- / 28
CC

0
CC

0
FTFFTFFFTFFFTTTF
TTTTTTTTTTTTTTTT
--:-- / 32
FTFFTFFFTFFFTTTF
TTTTTTTTTTTTTTTT
--:-- / 32
FTFFTFFFTFFFTTTF
TTTTTTTTTTTTTTTT
--:PM / 32
CC

0
CC

0
08a

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

FFFTFTFTTFFTFFTT
TTTTTTTTTTTTTTTT
--:-- / 32
FFFTFTFTTFFTFFTT
TTTTTTTTTTTTTTTT
--:PM / 32
FFFTFTFTTFFTFFTT
TTTTTTTTTTTTTTTT
--:-- / 32
CC

0
CC

0
FFFTFTFTTFFTFFTT
TTTTTTTTTTTTTTTT
--:-- / 32
FFFTFTFTTFFTFFTT
TTTTTTTTTTTTTTTT
--:-- / 32
FFFTFTFTTFFTFFTT
TTTTTTTTTTTTTTTT
--:-- / 32
CC

0
CC

0
08b

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

TTFTFFFTFTF?FFFT
TTTTTTTTTTT-TTTT
--:-- / 28
TTFTFFFTFTFT?FFT
TTTTTTTTTTTT-TTT
--:-- / 28
TTFTFFFTFTFTFFFT
TTTTTTTTTTTTTTTT
--:PM / 32
CC

0
CC

0
TTFTFFFTFTFTFFFT
TTTTTTTTTTTTTTTT
--:-- / 32
TTFTFFFTFTFTFFFT
TTTTTTTTTTTTTTTT
--:-- / 32
TTFTFFFTFTFTFFFT
TTTTTTTTTTTTTTTT
--:-- / 32
CC

0
CC

0
09a

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

TFTFFFTTFFTTTTFF
TTTTTTTTTTTTTTTT
--:-- / 32
TFTFFFTTFFTTTTFF
TTTTTTTTTTTTTTTT
--:-M / 32
TFTFFFTTFFT??TFF
TTTTTTTTTTT--TTT
--:-- / 28
CC

0
CC

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

0
CC

0
09b

FTFTTFTFFFFTFFTT (expected value)

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

FTFTTFTFFFFTF??T
TTTTTTTTTTTTT--T
--:-- / 28
FTFTTFTFFFFTFFTT
TTTTTTTTTTTTTTTT
--:PM / 32
FTF?TFTFFFF?FFTT
TTT-TTTTTTT-TTTT
--:-- / 28
CC

0
CC

0
FTFTTFTFFFFTFFTT
TTTTTTTTTTTTTTTT
--:-- / 32
FTFTTFTFFFFTFFTT
TTTTTTTTTTTTTTTT
--:-- / 32
FTFTTFTFFFFTFFTT
TTTTTTTTTTTTTTTT
--:-- / 32
CC

0
CC

0
10a

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

FFFFTFTTFFTFFTFF
TTTTTTTTTTTTTTTT
--:-- / 32
FFFFTFTTFFTFFTFF
TTTTTTTTTTTTTTTT
--:PM / 32
FFFFTFTTFFTFF?FF
TTTTTTTTTTTTT-TT
--:-- / 28
CC

0
CC

0
FFFFTFTTFFTFFTFF
TTTTTTTTTTTTTTTT
--:-- / 32
FFFFTFTTFFTFFTFF
TTTTTTTTTTTTTTTT
--:-- / 32
FFFFTFTTFFTFFTFF
TTTTTTTTTTTTTTTT
--:-- / 32
CC

0
CC

0
10b

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

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

0
CC

0
FTTTFTTTFFTTTTFF
TTTTTTTTTTTTTTTT
--:-- / 32
FTTTFTTTFFTT????
TTTTTTTTTTTT----
--:-- / 24
FTTTFTTTFFTTTTFF
TTTTTTTTTTTTTTTT
--:-- / 32
CC

0
CC

0
11a

TFTFTTFTFFTTFTFT (expected value)

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

TFTFTTFTFFTTFTFT
TTTTTTTTTTTTTTTT
--:-- / 32
TFTFTTFTFFTTFTFT
TTTTTTTTTTTTTTTT
--:-- / 32
T?TFTT?TFF???T?T
T-TTTT-TTT---T-T
--:-- / 20
CC

0
CC

0
TFTFTTFTFFTTFTFT
TTTTTTTTTTTTTTTT
--:-- / 32
TFTFTTFTFFTTFTFT
TTTTTTTTTTTTTTTT
--:P- / 32
TFTFTTFTFFTTFTFT
TTTTTTTTTTTTTTTT
--:-M / 32
CC

0
CC

0
11b

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

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

0
CC

0
FTFTFFFFTFFFFFFF
TTTTTTTTTTTTTTTT
--:-- / 32
FTFTFFFFTFFFFFFF
TTTTTTTTTTTTTTTT
--:-- / 32
FTFTFFFFTFFFFFFF
TTTTTTTTTTTTTTTT
--:-- / 32
CC

0
CC

0
12a

FTFFTFFFFFTFFTTF (expected value)

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

FTFFTFFFFFTFFTTF
TTTTTTTTTTTTTTTT
--:-- / 32
FTFFTFFFFFTFFTTF
TTTTTTTTTTTTTTTT
--:PM / 32
FTFFTF?FFFT?F?TF
TTTTTT-TTTT-T-TT
--:-- / 24
CC

0
CC

0
FTFFTFFFFFTFFTTF
TTTTTTTTTTTTTTTT
--:-- / 32
FTFFTFFFFFTFFTTF
TTTTTTTTTTTTTTTT
--:-- / 32
FTFFTFFFFFTFFTTF
TTTTTTTTTTTTTTTT
--:-- / 32
CC

0
CC

0
12b

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

????????????????
----------------
--:-- / 0
FTFTFFFFFTTFFTTT
TTTTTTTTTTTTTTTT
--:PM / 32
FTFTFFFFFTTF??TT
TTTTTTTTTTTT--TT
--:-- / 28
CC

0
CC

0
FTFTFFFFFTTFFTTT
TTTTTTTTTTTTTTTT
--:-- / 32
FTFTFFFFFTTFFTTT
TTTTTTTTTTTTTTTT
--:-- / 32
FTFTFFFFFTTFFTTT
TTTTTTTTTTTTTTTT
--:-- / 32
CC

0
CC

0
13a

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

TFTFFTTFTFFFTFFF
TTTTTTTTTTTTTTTT
--:-- / 32
TFTFFTTFTFFFTFFF
TTTTTTTTTTTTTTTT
--:PM / 32
TFTFFTTFTFFFTFFF
TTTTTTTTTTTTTTTT
--:-- / 32
CC

0
CC

0
TFTFFTTFTFFFTFFF
TTTTTTTTTTTTTTTT
--:-- / 32
TFTFFTTFTFFFTFFF
TTTTTTTTTTTTTTTT
--:-- / 32
TFTFFTTFTFFFTFFF
TTTTTTTTTTTTTTTT
--:-- / 32
CC

0
CC

0
13b

FTFFFTTFFTTTFFFF (expected value)

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

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

0
CC

0
FTFFFTTFFTTTFFFF
TTTTTTTTTTTTTTTT
--:-- / 32
FTFFFTTF????????
TTTTTTTT--------
--:-- / 16
FTFFFTTFFTTTFFFF
TTTTTTTTTTTTTTTT
--:-- / 32
CC

0
CC

0
14a

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

TFFFFFFFFFFFFTFF
TTTTTTTTTTTTTTTT
--:-- / 32
TFFFF?FFFFFFFTFF
TTTTT-TTTTTTTTTT
--:-- / 28
TFFFFFFFFFFFFTFF
TTTTTTTTTTTTTTTT
--:-M / 32
CC

0
CC

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

0
CC

0
14b

FFFTFFFTFTFTTTTF (expected value)

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

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

0
CC

0
FFFTFFFTFTFTTTTF
TTTTTTTTTTTTTTTT
--:-- / 32
FF??????????????
TT--------------
--:-- / 4
FFFTFFFTFTFTTTTF
TTTTTTTTTTTTTTTT
--:-- / 32
CC

0
CC

0
15a

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

FFFTFFTFFFFTFTTT
TTTTTTTTTTTTTTTT
--:-- / 32
FFFTFFTFFFFTFTTT
TTTTTTTTTTTTTTTT
--:-- / 32
FFFTFFTFFFFTFTTT
TTTTTTTTTTTTTTTT
--:-M / 32
CC

0
CC

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

0
CC

0
15b

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

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

0
CC

0
FFFTFFFFTTTTFFFF
TTTTTTTTTTTTTTTT
--:-- / 32
FFFTFFFFTTTTFFFF
TTTTTTTTTTTTTTTT
--:-- / 32
FFFTFFFFTTTTFFFF
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 60 428 416 0 0 180 180 120 0 0
Road Runner 0 1 2 0 0 0 0 0 0 0
Camel 0 2 1 0 0 0 0 0 0 0
001

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

TFTFFFFTTTTTFFTF
TTTTTTTTTTTTTTTT
--:-- / 60
TFTFFFFTTTTTFFTF
TTTTTTTTTTTTTTTT
--:-- / 60
TFTFFFFTTTTTFFTF
TTTTTTTTTTTTTTTT
--:PM / 60
CC

0
CC

0
TFTFFFFTTTTTFFTF
TTTTTTTTTTTTTTTT
--:-- / 60
TFTFFFFTTTTTFFTF
TTTTTTTTTTTTTTTT
--:-- / 60
TFTFFFFTTTTTFFTF
TTTTTTTTTTTTTTTT
--:-- / 60
CC

0
CC

0
002

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

????????????????
----------------
--:-- / 0
FTTFFFFTFFFFTFTF
TTTTTTTTTTTTTTTT
--:PM / 60
FTTFFFFTFFFF?FTF
TTTTTTTTTTTT-TTT
--:-- / 56
CC

0
CC

0
FTTFFFFTFFFFTFTF
TTTTTTTTTTTTTTTT
--:-- / 60
FTTFFFFTFFFFTFTF
TTTTTTTTTTTTTTTT
--:-- / 60
FTTFFFFTFFFFTFTF
TTTTTTTTTTTTTTTT
--:-- / 60
CC

0
CC

0
003

TFFFFFFTFFFTFFFT (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
TFFFFFFTFFFTFFFT
TTTTTTTTTTTTTTTT
--:-M / 60
TFFFFFFTFFFTFFFT
TTTTTTTTTTTTTTTT
--:P- / 60
CC

0
CC

0
TFFFFFFTFFFTFFFT
TTTTTTTTTTTTTTTT
--:-- / 60
TFFFFFFTFFFTFFFT
TTTTTTTTTTTTTTTT
--:-- / 60
DNF

0
CC

0
CC

0
004

TFF? TFFTFFTT? FF? (expected value)

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

????????????????
---?--------?--?
--:-- / 0
TFF?TFFTFFTT?FF?
TTT?TTTTTTTT?TT?
--:-- / 48
?FF?TFFTFFTT?FF?
-TT?TTTTTTTT?TT?
--:-- / 44
CC

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
CC

0
010

? TTTFTFTFFFTFTFF (expected value)

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

????????????????
?---------------
--:-- / 0
?TTTFTFTFFFTFTFF
?TTTTTTTTTTTTTTT
--:-- / 56
?TTTFTFTFFFTFTFF
?TTTTTTTTTTTTTTT
--:-- / 56
CC

0
CC

0
CC

0
CC

0
DNF

0
CC

0
CC

0
020

F? T? FFTFT? TFFF? ? (expected value)

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

????????????????
-?-?-----?----??
--:-- / 0
F?T?FFTFT?TFFF??
T?T?TTTTT?TTTT??
--:-- / 40
F?T??F?FT?TFFF??
T?T?-T-TT?TTTT??
--:-- / 36
CC

0
CC

0
CC

0
CC

0
DNF

0
CC

0
CC

0
100

FFTTFFFFFTF? ? F? F (expected value)

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

????????????????
-----------??-?-
--:-- / 0
FFTTFFFFFTF??F?F
TTTTTTTTTTT??T?T
--:-- / 48
FFTTFFFFFTF??F?F
TTTTTTTTTTT??T?T
--:-- / 48
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
200

? FFTFFFFFFTTFFFF (expected value)

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

????????????????
?---------------
--:-- / 0
?FFTFFFFFFTTFFFF
?TTTTTTTTTTTTTTT
--:-- / 56
?FFTFFFFFFTTFFFF
?TTTTTTTTTTTTTTT
--:-- / 56
CC

0
CC

0
CC

0
CC

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 380 0 0 360 360 432 0 0
Road Runner 0 0 1 0 0 0 0 2 0 0
Camel 0 0 1 0 0 0 0 2 0 0
02010

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

TTFFFFFFFFFTFTFF
TTTTTTTTTTTTTTTT
--:-- / 144
TTFFFFFFFFFTFTFF
TTTTTTTTTTTTTTTT
--:-- / 144
TTFFFFFFFFFTFTFF
TTTTTTTTTTTTTTTT
--:PM / 144
CC

0
CC

0
TTFFFFFFFFFTFTFF
TTTTTTTTTTTTTTTT
--:-- / 144
TTFFFFFFFFFTFTFF
TTTTTTTTTTTTTTTT
--:-- / 144
TTFFFFFFFFFTFTFF
TTTTTTTTTTTTTTTT
--:-- / 144
CC

0
CC

0
10420

FTTFTFFFFTTTTFFF (expected value)

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

FTTFTFFFFTTTTFFF
TTTTTTTTTTTTTTTT
--:-- / 144
FTTFTFFFFTTTTFFF
TTTTTTTTTTTTTTTT
--:-- / 144
FTTFTFFFFTT??FFF
TTTTTTTTTTT--TTT
--:-- / 128
CC

0
CC

0
FTTFTFFF????????
TTTTTTTT--------
--:-- / 72
FTTFTFFF????????
TTTTTTTT--------
--:-- / 72
FTTFTFFFFTTTTFFF
TTTTTTTTTTTTTTTT
--:PM / 144
CC

0
CC

0
10421

FTFFTTFFFTFTFFTT (expected value)

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

FTFFTTFFFTFTFFTT
TTTTTTTTTTTTTTTT
--:-- / 144
FTFFTTFFFTFTFFTT
TTTTTTTTTTTTTTTT
--:-- / 144
F?FF?TFFFTFTFF??
T-TT-TTTTTTTTT--
--:-- / 108
CC

0
CC

0
FTFFTTFFFTFTFFTT
TTTTTTTTTTTTTTTT
--:-- / 144
FTFFTTFFFTFTFFTT
TTTTTTTTTTTTTTTT
--:-- / 144
FTFFTTFFFTFTFFTT
TTTTTTTTTTTTTTTT
--:PM / 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 0 0 0 0 0
Road Runner 0 0 1 0 0 0 0 0 0 0
Camel 0 0 1 0 0 0 0 0 0 0
none

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

FFFTFFTFTFFTTFFF
TTTTTTTTTTTTTTTT
--:-- / 408
FFFTFFTFTFFTTFFF
TTTTTTTTTTTTTTTT
--:-- / 408
FFFTFFTFTFFTTFFF
TTTTTTTTTTTTTTTT
--:PM / 408
CC

0
CC

0
CC

0
CC

0
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 408 408 0 0 424 424 424 0 0
Road Runner 0 0 0 0 0 2 0 0 0 0
Camel 0 0 0 0 0 0 0 2 0 0
5310

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

TFFFTFFFFFFTFFTT
TTTTTTTTTTTTTTTT
--:-- / 212
TFFFTFFFFFFTFF?T
TTTTTTTTTTTTTT-T
--:-- / 196
?FFFTFFFFFFTFFTT
-TTTTTTTTTTTTTTT
--:-- / 196
CC

0
CC

0
TFFFTFFFFFFTFFTT
TTTTTTTTTTTTTTTT
--:P- / 212
TFFFTFFFFFFTFFTT
TTTTTTTTTTTTTTTT
--:-- / 212
TFFFTFFFFFFTFFTT
TTTTTTTTTTTTTTTT
--:-M / 212
CC

0
CC

0
5320

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

FFFTFTTFFFFFTFTF
TTTTTTTTTTTTTTTT
--:-- / 212
FFFTFTTFFFFFTFTF
TTTTTTTTTTTTTTTT
--:-- / 212
FFFTFTTFFFFFTFTF
TTTTTTTTTTTTTTTT
--:-- / 212
CC

0
CC

0
FFFTFTTFFFFFTFTF
TTTTTTTTTTTTTTTT
--:P- / 212
FFFTFTTFFFFFTFTF
TTTTTTTTTTTTTTTT
--:-- / 212
FFFTFTTFFFFFTFTF
TTTTTTTTTTTTTTTT
--:-M / 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 132 472 428 0 0 120 120 120 0 0
Road Runner 0 5 2 0 0 0 0 0 0 0
Camel 0 4 3 0 0 0 0 0 0 0
05

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

TFTTFFTTTTTFTFTF
TTTTTTTTTTTTTTTT
--:-- / 60
TFTTFFTTTTTFTFTF
TTTTTTTTTTTTTTTT
--:-- / 60
TFTTFFTTTTTFTFTF
TTTTTTTTTTTTTTTT
--:PM / 60
CC

0
CC

0
TFTTFFTTTTTFTFTF
TTTTTTTTTTTTTTTT
--:-- / 60
TFTTFFTTTTTFTFTF
TTTTTTTTTTTTTTTT
--:-- / 60
TFTTFFTTTTTFTFTF
TTTTTTTTTTTTTTTT
--:-- / 60
CC

0
CC

0
08

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

FFTFFFTFFTFFFTTT
TTTTTTTTTTTTTTTT
--:-- / 60
FFTFFFTFFTFFFTTT
TTTTTTTTTTTTTTTT
--:-- / 60
FFTFFFTFFTFFFTTT
TTTTTTTTTTTTTTTT
--:PM / 60
CC

0
CC

0
FFTFFFTFFTFFFTTT
TTTTTTTTTTTTTTTT
--:-- / 60
FFTFFFTFFTFFFTTT
TTTTTTTTTTTTTTTT
--:-- / 60
FFTFFFTFFTFFFTTT
TTTTTTTTTTTTTTTT
--:-- / 60
CC

0
CC

0
10

FTTFFFTFTFFFFTTT (expected value)

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

??T??F?F????????
--T--T-T--------
--:-- / 12
FTTFFFTFTFFFFTTT
TTTTTTTTTTTTTTTT
--:P- / 60
FTTFFFTFTFFFFTTT
TTTTTTTTTTTTTTTT
--:-M / 60
CC

0
CC

0
CC

0
CC

0
DNF

0
CC

0
CC

0
12

FFTTFFTTTFTFFTFF (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
FFTTFFTTTFTFFTFF
TTTTTTTTTTTTTTTT
--:PM / 60
FFTTFFTTTFTFFTFF
TTTTTTTTTTTTTTTT
--:-- / 60
CC

0
CC

0
CC

0
CC

0
DNF

0
CC

0
CC

0
15

TFTTFFT? FFF? TFTT (expected value)

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

????????????????
-------?---?----
--:-- / 0
TFTTFFT?FFF?TFTT
TTTTTTT?TTT?TTTT
--:-- / 52
?FTTFFT?FFF?TFTT
-TTTTTT?TTT?TTTT
--:-- / 48
CC

0
CC

0
CC

0
CC

0
DNF

0
CC

0
CC

0
20

TTTTFTTTTTTFFTFT (expected value)

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

????????????????
----------------
--:-- / 0
TTTTFTTTTTTFFTFT
TTTTTTTTTTTTTTTT
--:PM / 60
?TT?FTTTTTTFFTFT
-TT-TTTTTTTTTTTT
--:-- / 52
CC

0
CC

0
CC

0
CC

0
DNF

0
CC

0
CC

0
25

FTTTFTTFFFFTTFTF (expected value)

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

????????????????
----------------
--:-- / 0
FTTTFTTFFFFTTFTF
TTTTTTTTTTTTTTTT
--:PM / 60
FTT?F?TF?FF?TF?F
TTT-T-TT-TT-TT-T
--:-- / 40
CC

0
CC

0
CC

0
CC

0
DNF

0
CC

0
CC

0
30

TFFFTFTFFTTFFTTF (expected value)

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

????????????????
----------------
--:-- / 0
TFFFTFTFFTTFFTTF
TTTTTTTTTTTTTTTT
--:PM / 60
?FFFTFT?F?TFFTTF
-TTTTTT-T-TTTTTT
--:-- / 48
CC

0
CC

0
CC

0
CC

0
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 480 412 0 0 0 0 0 0 0
Road Runner 0 5 1 0 0 0 0 0 0 0
Camel 0 5 1 0 0 0 0 0 0 0
1

FFFFFFFTTTFFTFTF (expected value)

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

????????????????
----------------
--:-- / 0
FFFFFFFTTTFFTFTF
TTTTTTTTTTTTTTTT
--:PM / 56
FFFFFFFTTTF?TFTF
TTTTTTTTTTT-TTTT
--:-- / 52
CC

0
CC

0
DNF

0
CC

0
DNF

0
CC

0
CC

0
2

? TT? TFTTFFTTFFFF (expected value)

0 2.00 2.00 0 1.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
?TT?TFTTFFTTFFFF
?TT?TTTTTTTTTTTT
--:-- / 48
?TT??FTTFFTTFFFF
?TT?-TTTTTTTTTTT
--:-- / 44
CC

0
CC

0
CC

0
DNF

0
DNF

0
CC

0
CC

0
3

FFTFFTFFFTFFFFFF (expected value)

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

????????????????
----------------
--:-- / 0
FFTFFTFFFTFFFFFF
TTTTTTTTTTTTTTTT
--:PM / 56
F?TFFT?FFT?F?F?F
T-TTTT-TTT-T-T-T
--:-- / 36
CC

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
CC

0
4

FTTTFTT? TF? TFTFF (expected value)

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

????????????????
-------?--?-----
--:-- / 0
FTTTFTT?TF?TFTFF
TTTTTTT?TT?TTTTT
--:-- / 48
?TTTFTT?TF??FTF?
-TTTTTT?TT?-TTT-
--:-- / 36
CC

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
CC

0
5

FFTTFFFTFFTFFTTT (expected value)

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

????????????????
----------------
--:-- / 0
FFTTFFF?FFTFFTTT
TTTTTTT-TTTTTTTT
--:-- / 52
FF?TFFFTFFTFFTTT
TT-TTTTTTTTTTTTT
--:-- / 52
CC

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
CC

0
6

FTTTTFTFFFTFFFFF (expected value)

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

????????????????
----------------
--:-- / 0
FTTTTFTFFF?FFFFF
TTTTTTTTTT-TTTTT
--:-- / 52
FTTTTFTFFFTFFFFF
TTTTTTTTTTTTTTTT
--:PM / 56
CC

0
CC

0
DNF

0
CC

0
DNF

0
CC

0
CC

0
7

TFTFTTTTTTTTTFFT (expected value)

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

????????????????
----------------
--:-- / 0
TFTFTTTTTTTTTFFT
TTTTTTTTTTTTTTTT
--:PM / 56
TFTFTTTTT?TT?FF?
TTTTTTTTT-TT-TT-
--:-- / 44
CC

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
CC

0
8

TTTFTFFFFFTTFTTF (expected value)

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

????????????????
----------------
--:-- / 0
TTTFTFFFFFTTFTTF
TTTTTTTTTTTTTTTT
--:PM / 56
TTT?TFFF?FT?FTTF
TTT-TTTT-TT-TTTT
--:-- / 44
CC

0
CC

0
CC

0
CC

0
DNF

0
CC

0
CC

0
9

FFTTFTTTTFTFTTTF (expected value)

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

????????????????
----------------
--:-- / 0
FFTTFTTTTFTFTTTF
TTTTTTTTTTTTTTTT
--:PM / 56
FFT?FTTTTF?FTTTF
TTT-TTTTTT-TTTTT
--:-- / 48
CC

0
CC

0
CC

0
DNF

0
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 368 324 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

T? FFFFFFFFTT? FF? (expected value)

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

????????????????
-?----------?--?
--:-- / 0
T?FFFFFFFFTT?FF?
T?TTTTTTTTTT?TT?
--:-- / 44
T??FF?FFFFTT?F??
T?-TT-TTTTTT?T-?
--:-- / 36
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
2

FFFFTTTTF? TTTFF? (expected value)

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

????????????????
---------?-----?
--:-- / 0
FFFFTTTTF?TTTFF?
TTTTTTTTT?TTTTT?
--:-- / 48
??FF?TTT??T??FF?
--TT-TTT-?T--TT?
--:-- / 28
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
3

? TTTF? TFTFFFTTFF (expected value)

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

????????????????
?----?----------
--:-- / 0
??TTF?TFTFFFTTFF
?-TTT?TTTTTTTTTT
--:-- / 44
?T?T??TFTF?FTTFF
?T-T-?TTTT-TTTTT
--:-- / 36
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
4

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

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

????????????????
--?-??------?-?-
--:-- / 0
FF?????FFT?F???F
TT?-??-TTT-T?-?T
--:-- / 24
FF?T??FF?TTF?F??
TT?T??TT-TTT?T?-
--:-- / 32
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
5

TF? FTFFFTTFT? FF? (expected value)

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

????????????????
--?---------?--?
--:-- / 0
TF?FTFFFTTFT?FF?
TT?TTTTTTTTT?TT?
--:-- / 44
TF?FTFFFTTFT?FF?
TT?TTTTTTTTT?TT?
--:-- / 44
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
6

TFTF? ? ? ? FFTFFT? T (expected value)

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

????????????????
----????------?-
--:-- / 0
TFT?????FFTFFT?T
TTT-????TTTTTT?T
--:-- / 36
TFTF????FFTFFT?T
TTTT????TTTTTT?T
--:-- / 36
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
7

F? TTTTFTF? FTTFFF (expected value)

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

????????????????
-?-------?------
--:-- / 0
F?TTTTFTF?FTTFFF
T?TTTTTTT?TTTTTT
--:-- / 48
??TTTT?TF?F?TFFF
-?TTTT-TT?T-TTTT
--:-- / 36
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
8

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

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

????????????????
------??---?--?-
--:-- / 0
FFTFT???FFF?FT?F
TTTTT-??TTT?TT?T
--:-- / 36
??TFTT??FFF??T?F
--TTTT??TTT?-T?T
--:-- / 32
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
9

FFFFTFFFFTT? FFTF (expected value)

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

????????????????
-----------?----
--:-- / 0
FF?FTF?FFTT?FFTF
TT-TTT-TTTT?TTTT
--:-- / 44
FFFFT?FFFT??FFTF
TTTTT-TTTT-?TTTT
--:-- / 44
CC

0
CC

0
CC

0
CC

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 372 180 0 0 0 0 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

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

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

????????????????
----?-??-??--?--
--:-- / 0
FTFT?T??F??TT?FF
TTTT?T??T??TT?TT
--:-- / 36
???T????????????
---T?-??-??--?--
--:-- / 4
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
2

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

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

????????????????
--??-?--?-------
--:-- / 0
FT??T?TF?FTTFTFT
TT??T?TT?TTTTTTT
--:-- / 40
???????????T????
--??-?--?--T----
--:-- / 4
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
3

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

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

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

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
4

? FTF? TF? FFTTFF? ? (expected value)

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

????????????????
?---?--?------??
--:-- / 0
?FTF?TF?FFTTFF??
?TTT?TT?TTTTTT??
--:-- / 36
?FTF?TF?????FF??
?TTT?TT?----TT??
--:-- / 24
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
5

TFTFF? TFFT? FFTTF (expected value)

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

????????????????
-----?----?-----
--:-- / 0
TFTFF?TFFT?FFTTF
TTTTT?TTTT?TTTTT
--:-- / 48
??T???TFFT??F??F
--T--?TTTT?-T--T
--:-- / 24
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
6

FFTFFTFTFTFTFFTT (expected value)

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

????????????????
----------------
--:-- / 0
FFTFFTFTFTFTFFTT
TTTTTTTTTTTTTTTT
--:PM / 56
?FTF?T????FTF?T?
-TTT-T----TTT-T-
--:-- / 28
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
7

FTT? T? TFFFT? ? FFF (expected value)

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

????????????????
---?-?-----??---
--:-- / 0
FTT?T?TFFFT??FFF
TTT?T?TTTTT??TTT
--:-- / 40
????T??FF?T???FF
---?T?-TT-T??-TT
--:-- / 20
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
8

TFFFTTFTTFFTTFFF (expected value)

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

????????????????
----------------
--:-- / 0
TFFFTTFTTFFTTFFF
TTTTTTTTTTTTTTTT
--:PM / 56
?FFF?TFT?F??TF??
-TTT-TTT-T--TT--
--:-- / 32
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
9

TT? TF? FTFFTT? TF? (expected value)

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

????????????????
--?--?------?--?
--:-- / 0
TT?TF?FTFFTT?T??
TT?TT?TTTTTT?T-?
--:-- / 36
?T??F?FTFF?T??F?
-T?-T?TTTT-T?-T?
--:-- / 28
CC

0
CC

0
CC

0
CC

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 0 532 344 0 0 236 236 0 0 0
Road Runner 0 3 2 0 0 3 0 0 0 0
Camel 0 5 2 0 0 1 0 0 0 0
002002

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

0
CC

0
FFTTFTFFTFTFTFTT
TTTTTTTTTTTTTTTT
--:-- / 36
FFTTFTFFTFTFTFTT
TTTTTTTTTTTTTTTT
--:-- / 36
CC

0
CC

0
CC

0
002003

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

0
CC

0
TFTFFFTTFFFTFTFF
TTTTTTTTTTTTTTTT
--:-- / 36
TFTFFFTTFFFTFTFF
TTTTTTTTTTTTTTTT
--:-- / 36
CC

0
CC

0
CC

0
005005

TFTFFTTTTFFFFFTF (expected value)

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

????????????????
----------------
--:-- / 0
TFTFFTTTTFFFFFTF
TTTTTTTTTTTTTTTT
--:PM / 36
TFTFF?TT??FFFF??
TTTTT-TT--TTTT--
--:-- / 24
CC

0
CC

0
TFTFFTTTTFFFFFTF
TTTTTTTTTTTTTTTT
--:-- / 36
TFTFFTTTTFFFFFTF
TTTTTTTTTTTTTTTT
--:-- / 36
CC

0
CC

0
CC

0
005006

FTFTTFTFFFTTTTFT (expected value)

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

????????????????
----------------
--:-- / 0
FTFTTFTFFFTTTTFT
TTTTTTTTTTTTTTTT
--:-M / 36
FTFTTFTFFF??TTF?
TTTTTTTTTT--TTT-
--:-- / 28
CC

0
CC

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

0
CC

0
CC

0
007007

FTTTFTTFFTTFTFFT (expected value)

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

????????????????
----------------
--:-- / 0
FTTTFTTFFTTFTFFT
TTTTTTTTTTTTTTTT
--:-M / 36
?TTTFT?F?TT?TFFT
-TTTTT-T-TT-TTTT
--:-- / 28
CC

0
CC

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

0
CC

0
CC

0
007008

TTFFTFTFTTFTTFFT (expected value)

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

????????????????
----------------
--:-- / 0
?TFFTFTFTTFTT?FT
-TTTTTTTTTTTT-TT
--:-- / 32
??F????FT?FTT?F?
--T----TT-TTT-T-
--:-- / 16
CC

0
CC

0
TTFFTFTFTTFTTFFT
TTTTTTTTTTTTTTTT
--:PM / 36
TTFFTFTFTTFTTFFT
TTTTTTTTTTTTTTTT
--:-- / 36
CC

0
CC

0
CC

0
010010

FTTFTTFTFTFFTFFF (expected value)

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

????????????????
----------------
--:-- / 0
FTTFTTFTFTFFTFFF
TTTTTTTTTTTTTTTT
--:PM / 36
FTT?TTFTF?F??FFF
TTT-TTTTT-T--TTT
--:-- / 28
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
010011

TTTFTFTFFF? TTFTF (expected value)

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

????????????????
----------?-----
--:-- / 0
TTTFTFTFFF?TTFTF
TTTTTTTTTT?TTTTT
--:-- / 32
?TTF?F???F?T?FTF
-TTT-T---T?T-TTT
--:-- / 20
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
015015

FFTFTFFT? TTTFFTF (expected value)

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

????????????????
--------?-------
--:-- / 0
FFTFTFFT?TTT??TF
TTTTTTTT?TTT--TT
--:-- / 28
?F?F?FF??T??FFTF
-T-T-TT-?T--TTTT
--:-- / 20
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
015016

FFTFTFTFTFFTTTTT (expected value)

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

????????????????
----------------
--:-- / 0
FFTF?FTFTFFTTTTT
TTTT-TTTTTTTTTTT
--:-- / 32
????TF?F??FT?TTT
----TT-T--TT-TTT
--:-- / 20
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
025025

FTTTFTFFTTFTTFTT (expected value)

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

????????????????
----------------
--:-- / 0
FTTTFTFFTTFTTFTT
TTTTTTTTTTTTTTTT
--:PM / 36
??TT?T???TF???T?
--TT-T---TT---T-
--:-- / 12
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
025026

FFFFTFTTFFFTTF? T (expected value)

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

????????????????
--------------?-
--:-- / 0
FFFFTFTTFFFTTF?T
TTTTTTTTTTTTTT?T
--:-- / 32
F?F?TF????FTTF?T
T-T-TT----TTTT?T
--:-- / 20
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
050050

? FFFFF? TTTFTFTTT (expected value)

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

????????????????
?-----?---------
--:-- / 0
?FFFFF?TTTFTFTTT
?TTTTT?TTTTTTTTT
--:-- / 32
??F?F???T??T?T?T
?-T-T-?-T--T-T-T
--:-- / 12
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
050051

FTF? TFFFFTFFT? TT (expected value)

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

????????????????
---?---------?--
--:-- / 0
FTF?TFFFFTFFT?TT
TTT?TTTTTTTTT?TT
--:-- / 32
F????F?F??FFT??T
T--?-T-T--TTT?-T
--:-- / 16
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
100100

FFTTFFTFF? ? TFTFT (expected value)

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

????????????????
---------??-----
--:-- / 0
FFTTFFTFF??TFTFT
TTTTTTTTT??TTTTT
--:-- / 32
FF?????F????????
TT-----T-??-----
--:-- / 8
CC

0
CC

0
FFTT????????????
TTTT-----??-----
--:-- / 8
FFTT????????????
TTTT-----??-----
--:-- / 8
DNF

0
CC

0
CC

0
100101

TFFTTTTTF? T? TF? T (expected value)

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

????????????????
---------?-?--?-
--:-- / 0
TFFTTTTTF?T?TF?T
TTTTTTTTT?T?TT?T
--:-- / 28
T??TT?TT??T?TF?T
T--TT-TT-?T?TT?T
--:-- / 20
CC

0
CC

0
TFFTT???????????
TTTTT----?-?--?-
--:-- / 12
TFFTT???????????
TTTTT----?-?--?-
--:-- / 12
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 3884 8720 7968 2209 2046 4309 4397 4100 3504 3523
Road Runner 30 192 97 2 0 25 29 103 2 3
Camel 4 151 161 2 2 7 7 126 12 11
ARMCacheCoherence — P/T
  LTSMin Tapaal LoLA M4M.full M4M.struct ITS-Tools ITS-Tools.L GreatSPN Irma.full Irma.struct
Score 102 89 96 0 0 102 102 102 102 102
Road Runner 0 0 0 0 0 0 0 1 0 0
Camel 0 0 0 0 0 0 0 1 0 0
none

TFTFFFTFFFFFFTFF (expected value)

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

TFTFFFTFFFFFFTFF
TTTTTTTTTTTTTTTT
--:-- / 102
TF?FFFTFFFFFFTF?
TT-TTTTTTTTTTTT-
--:-- / 89
TFTFFFTFFFFFFTF?
TTTTTTTTTTTTTTT-
--:-- / 96
????????????????
----------------
--:-- / 0
????????????????
----------------
--:-- / 0
TFTFFFTFFFFFFTFF
TTTTTTTTTTTTTTTT
--:-- / 102
TFTFFFTFFFFFFTFF
TTTTTTTTTTTTTTTT
--:-- / 102
TFTFFFTFFFFFFTFF
TTTTTTTTTTTTTTTT
--:PM / 102
TFTFFFTFFFFFFTFF
TTTTTTTTTTTTTTTT
--:-- / 102
TFTFFFTFFFFFFTFF
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 7 7 56 56 8 24 24
Road Runner 0 2 0 0 0 1 3 1 0 0
Camel 0 0 5 0 0 0 1 0 0 1
0010

FTTTFFFTFFFTFTTT (expected value)

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

DNC FTTTFFFTFFFTFTTT
TTTTTTTTTTTTTTTT
--:-- / 8
FTTTFFFTFFFTFTTT
TTTTTTTTTTTTTTTT
--:-M / 8
FTTTTFFTFFFTFTTT
TTTTXTTTTTTTTTTT
V-:-- / 7
FTTTTFFTFFFTFTTT
TTTTXTTTTTTTTTTT
V-:-- / 7
FTTTFFFTFFFTFTTT
TTTTTTTTTTTTTTTT
--:-- / 8
FTTTFFFTFFFTFTTT
TTTTTTTTTTTTTTTT
--:-- / 8
FTTTFFFTFFFTFTTT
TTTTTTTTTTTTTTTT
--:P- / 8
FTTTFFFTFFFTFTTT
TTTTTTTTTTTTTTTT
--:-- / 8
FTTTFFFTFFFTFTTT
TTTTTTTTTTTTTTTT
--:-- / 8
0020

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

0
CC

0
FFTTFFTFFTFTTFTT
TTTTTTTTTTTTTTTT
--:-- / 8
FFTTFFTFFTFTTFTT
TTTTTTTTTTTTTTTT
--:-- / 8
CC

0
CC

0
CC

0
0050

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

0
CC

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

0
CC

0
CC

0
0100

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

0
CC

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

0
CC

0
CC

0
0200

FFFFTFTFTTTFTTFF (expected value)

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

DNC FFFFTFTFTTTF?TFF
TTTTTTTTTTTT-TTT
--:-- / 8
FF?FTFTF?TTF?TFF
TT-TTTTT-TTT-TTT
--:-- / 7
????????????????
----------------
--:-- / 0
????????????????
----------------
--:-- / 0
FFFFTFTFTTTFTTFF
TTTTTTTTTTTTTTTT
--:-- / 8
FFFFTFTFTTTFTTFF
TTTTTTTTTTTTTTTT
--:P- / 8
CC

0
FFFFTFTFTTTFTTFF
TTTTTTTTTTTTTTTT
--:-- / 8
FFFFTFTFTTTFTTFF
TTTTTTTTTTTTTTTT
--:-M / 8
0500

FFFFFTTFFFTTFFTT (expected value)

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

DNC FFFFFTTFFFTTFFTT
TTTTTTTTTTTTTTTT
--:P- / 8
FFFFFTTFFFTTFFTT
TTTTTTTTTTTTTTTT
--:-M / 8
????????????????
----------------
--:-- / 0
????????????????
----------------
--:-- / 0
FFFFFTTFFFTTFFTT
TTTTTTTTTTTTTTTT
--:-- / 8
FFFFFTTFFFTTFFTT
TTTTTTTTTTTTTTTT
--:-- / 8
DNF

0
FFFFFTTFFFTTFFTT
TTTTTTTTTTTTTTTT
--:-- / 8
FFFFFTTFFFTTFFTT
TTTTTTTTTTTTTTTT
--:-- / 8
1000

FTTTFTFTTFTTFTFT (expected value)

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

DNC ?TTTFTFTTF?TFTF?
-TTTTTTTTT-TTTT-
--:-- / 7
?TTTFTFTTF?TFTF?
-TTTTTTTTT-TTTT-
--:-- / 7
????????????????
----------------
--:-- / 0
????????????????
----------------
--:-- / 0
FTTTFTFTTFTTFTFT
TTTTTTTTTTTTTTTT
--:-- / 8
FTTTFTFTTFTTFTFT
TTTTTTTTTTTTTTTT
--:PM / 8
DNF

0
????????????????
----------------
--:-- / 0
????????????????
----------------
--:-- / 0
2000

? FTT? TFTFFFFTFTF (expected value)

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

DNC ?FTT?TFTFFFFTFTF
?TTT?TTTTTTTTTTT
--:-- / 7
???T?TFTFFFFTFTF
?--T?TTTTTTTTTTT
--:-- / 6
????????????????
?---?-----------
--:-- / 0
????????????????
?---?-----------
--:-- / 0
CC

0
CC

0
CC

0
????????????????
?---?-----------
--:-- / 0
????????????????
?---?-----------
--:-- / 0
4000

F? FTFF? ? TTFFTT? ? (expected value)

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

DNC F?FTFF??TTFFTT??
T?TTTT??TTTTTT??
--:-- / 6
F?FTFF??T?FFTT??
T?TTTT??T-TTTT??
--:-- / 5
????????????????
-?----??------??
--:-- / 0
????????????????
-?----??------??
--:-- / 0
CC

0
CC

0
CC

0
????????????????
-?----??------??
--:-- / 0
????????????????
-?----??------??
--:-- / 0
AirplaneLD — P/T
  LTSMin Tapaal LoLA M4M.full M4M.struct ITS-Tools ITS-Tools.L GreatSPN Irma.full Irma.struct
Score 40 70 67 7 7 56 56 24 32 32
Road Runner 0 2 0 0 0 1 1 3 0 0
Camel 0 2 2 0 0 0 0 2 0 1
0010

FTTTFFFTFTFFTFTT (expected value)

10.00 10.00 10.00 10.00 8.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)

FTTTFFFTFTFFTFTT
TTTTTTTTTTTTTTTT
--:-- / 8
FTTTFFFTFTFFTFTT
TTTTTTTTTTTTTTTT
--:-- / 8
FTTTFFFTFTFFTFTT
TTTTTTTTTTTTTTTT
--:-M / 8
FTTTTFFTFTFFTFTT
TTTTXTTTTTTTTTTT
V-:-- / 7
FTTTTFFTFTFFTFTT
TTTTXTTTTTTTTTTT
V-:-- / 7
FTTTFFFTFTFFTFTT
TTTTTTTTTTTTTTTT
--:-- / 8
FTTTFFFTFTFFTFTT
TTTTTTTTTTTTTTTT
--:-- / 8
FTTTFFFTFTFFTFTT
TTTTTTTTTTTTTTTT
--:P- / 8
FTTTFFFTFTFFTFTT
TTTTTTTTTTTTTTTT
--:-- / 8
FTTTFFFTFTFFTFTT
TTTTTTTTTTTTTTTT
--:-- / 8
0020

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

FFTTFFTFFFFFTFTF
TTTTTTTTTTTTTTTT
--:-- / 8
FFTTFFTFFFFFTFTF
TTTTTTTTTTTTTTTT
--:-- / 8
FFTTFFTFFFFFTFTF
TTTTTTTTTTTTTTTT
--:-- / 8
CC

0
CC

0
FFTTFFTFFFFFTFTF
TTTTTTTTTTTTTTTT
--:-- / 8
FFTTFFTFFFFFTFTF
TTTTTTTTTTTTTTTT
--:-- / 8
FFTTFFTFFFFFTFTF
TTTTTTTTTTTTTTTT
--:PM / 8
CC

0
CC

0
0050

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

FFFTFTFFTFFTFFTT
TTTTTTTTTTTTTTTT
--:-- / 8
FFFTFTFFTFFTFFTT
TTTTTTTTTTTTTTTT
--:-- / 8
FFFTFTFFTFFTFFTT
TTTTTTTTTTTTTTTT
--:-- / 8
CC

0
CC

0
FFFTFTFFTFFTFFTT
TTTTTTTTTTTTTTTT
--:-- / 8
FFFTFTFFTFFTFFTT
TTTTTTTTTTTTTTTT
--:-- / 8
FFFTFTFFTFFTFFTT
TTTTTTTTTTTTTTTT
--:PM / 8
CC

0
CC

0
0100

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

FFFTFTFFTFFFTTFF
TTTTTTTTTTTTTTTT
--:-- / 8
FFFTFTFFTFFFTTFF
TTTTTTTTTTTTTTTT
--:-- / 8
FFFTFTFFTFFFTTFF
TTTTTTTTTTTTTTTT
--:-M / 8
CC

0
CC

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

0
CC

0
CC

0
0200

FFFFTFTFFFTFFTFT (expected value)

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

FFFFTFTFFFTFFTFT
TTTTTTTTTTTTTTTT
--:-- / 8
FFFFTFTFFFTFFTFT
TTTTTTTTTTTTTTTT
--:PM / 8
FF?FTFTFFFTFFTFT
TT-TTTTTTTTTTTTT
--:-- / 8
????????????????
----------------
--:-- / 0
????????????????
----------------
--:-- / 0
FFFFTFTFFFTFFTFT
TTTTTTTTTTTTTTTT
--:-- / 8
FFFFTFTFFFTFFTFT
TTTTTTTTTTTTTTTT
--:-- / 8
CC

0
FFFFTFTFFFTFFTFT
TTTTTTTTTTTTTTTT
--:-- / 8
FFFFTFTFFFTFFTFT
TTTTTTTTTTTTTTTT
--:-- / 8
0500

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

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

0
FFFFFTTFFTTTTTFT
TTTTTTTTTTTTTTTT
--:-- / 8
FFFFFTTFFTTTTTFT
TTTTTTTTTTTTTTTT
--:-- / 8
1000

FTTTFTFTTTFTTFFF (expected value)

4.00 6.00 6.00 6.00 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)

????????????????
----------------
--:-- / 0
?TTTFTFTTTFTTFFF
-TTTTTTTTTTTTTTT
--:-- / 8
?TTTFTFTTTFTTFFF
-TTTTTTTTTTTTTTT
--:-- / 8
????????????????
----------------
--:-- / 0
????????????????
----------------
--:-- / 0
FTTTFTFTTTFTTFFF
TTTTTTTTTTTTTTTT
--:P- / 8
FTTTFTFTTTFTTFFF
TTTTTTTTTTTTTTTT
--:-- / 8
DNF

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

? FTT? TFTTFTTFTTF (expected value)

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

????????????????
?---?-----------
--:-- / 0
?FTT?TFTTFTTFTTF
?TTT?TTTTTTTTTTT
--:-- / 7
???T?TFT?F?T?TTF
?--T?TTT-T-T-TTT
--:-- / 5
????????????????
?---?-----------
--:-- / 0
????????????????
?---?-----------
--:-- / 0
CC

0
CC

0
CC

0
????????????????
?---?-----------
--:-- / 0
????????????????
?---?-----------
--:-- / 0
4000

F? FTFF? ? FFFFFFTF (expected value)

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

????????????????
-?----??--------
--:-- / 0
F?FTFF??FFFFFFTF
T?TTTT??TTTTTTTT
--:-- / 7
F?FTFF??FFF?FFTF
T?TTTT??TTT-TTTT
--:-- / 6
????????????????
-?----??--------
--:-- / 0
????????????????
-?----??--------
--:-- / 0
DNF

0
DNF

0
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 40 105 106 47 18 49 49 34 48 48
Road Runner 0 0 1 0 0 0 1 1 0 0
Camel 0 1 1 0 0 0 0 1 0 0
01

FFFTFTFTTFTFFFFT (expected value)

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

FFFTFTFTTFTFFFFT
TTTTTTTTTTTTTTTT
--:-- / 17
FFFTFTFTTFTFFFFT
TTTTTTTTTTTTTTTT
--:-M / 17
FFFTFTFTTFTFFFFT
TTTTTTTTTTTTTTTT
--:-- / 17
FFFTFTFTTFTFFFF?
TTTTTTTTTTTTTTT-
--:-- / 16
FFFTFTFTTFTFFFFT
TTTTTTTTTTTTTTTT
--:-- / 17
FFFTFTFTTFTFFFFT
TTTTTTTTTTTTTTTT
--:-- / 17
FFFTFTFTTFTFFFFT
TTTTTTTTTTTTTTTT
--:-- / 17
FFFTFTFTTFTFFFFT
TTTTTTTTTTTTTTTT
--:P- / 17
FFFTFTFTTFTFFFFT
TTTTTTTTTTTTTTTT
--:-- / 17
FFFTFTFTTFTFFFFT
TTTTTTTTTTTTTTTT
--:-- / 17
05

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

FTFFFTFTTTTFTFFT
TTTTTTTTTTTTTTTT
--:-- / 17
FTFFFTFTTTTFTFFT
TTTTTTTTTTTTTTTT
--:-- / 17
FTFFFTFTTT?FTFFT
TTTTTTTTTT-TTTTT
--:-- / 16
CC

0
CC

0
FTFFFTFTTTTFTFFT
TTTTTTTTTTTTTTTT
--:-- / 17
FTFFFTFTTTTFTFFT
TTTTTTTTTTTTTTTT
--:P- / 17
FTFFFTFTTTTFTFFT
TTTTTTTTTTTTTTTT
--:-M / 17
CC

0
CC

0
10

TTTTFTTFFFTFFFTT (expected value)

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

?TTTF?T????????T
-TTTT-T--------T
--:-- / 6
TTTTFTTFFF?FFF?T
TTTTTTTTTT-TTT-T
--:-- / 15
TTTTFTTFFFTFFFTT
TTTTTTTTTTTTTTTT
--:PM / 17
CC

0
CC

0
TTTTFTTFFFTFF???
TTTTTTTTTTTTT---
--:-- / 14
TTTTFTTFFFTFF???
TTTTTTTTTTTTT---
--:-- / 14
DNF

0
CC

0
CC

0
15

FFTFFFFTFFFFTTTT (expected value)

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

????????????????
----------------
--:-- / 0
FF?FFFFTF?FFTTTT
TT-TTTTTT-TTTTTT
--:-- / 15
FFT??FFT?FFFTTTT
TTT--TTT-TTTTTTT
--:-- / 14
FFT?FFFT?FFFTTTT
TTT-TTTT-TTTTTTT
--:-- / 15
F???????????????
T---------------
--:-- / 1
F???????????????
T---------------
--:-- / 1
F???????????????
T---------------
--:-- / 1
DNF

0
FFT?FFFT?FFFTTTT
TTT-TTTT-TTTTTTT
--:-- / 15
FFT?FFFT?FFFTTTT
TTT-TTTT-TTTTTTT
--:-- / 15
20

TFFFTFTTTTFTTTFT (expected value)

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

????????????????
----------------
--:-- / 0
TFFFTFT?TTFTTT?T
TTTTTTT-TTTTTT-T
--:-- / 15
TF?FTFTTTTFTTTFT
TT-TTTTTTTTTTTTT
--:-- / 16
TF?FTFTTTTFTTTFT
TT-TTTTTTTTTTTTT
--:-- / 16
DNF

0
DNF

0
DNF

0
DNF

0
TF?FTFTTTTFTTTFT
TT-TTTTTTTTTTTTT
--:-- / 16
TF?FTFTTTTFTTTFT
TT-TTTTTTTTTTTTT
--:-- / 16
25

? FFTFFTTTTTFFTTT (expected value)

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

????????????????
?---------------
--:-- / 0
?F?TFFTTTTTFFTTT
?T-TTTTTTTTTTTTT
--:-- / 15
?FFTFF?TTTTFF?TT
?TTTTT-TTTTTT-TT
--:-- / 14
????????????????
?---------------
--:-- / 0
DNF

0
DNF

0
DNF

0
DNF

0
????????????????
?---------------
--:-- / 0
????????????????
?---------------
--:-- / 0
50

TTFTTTTTTTT? TTTF (expected value)

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

????????????????
-----------?----
--:-- / 0
TTF?T?T?T?T?TTT?
TTT-T-T-T-T?TTT-
--:-- / 11
T?FTTT?T?TT?TT?F
T-TTTT-T-TT?TT-T
--:-- / 12
????????????????
-----------?----
--:-- / 0
DNF

0
CC

0
CC

0
DNF

0
????????????????
-----------?----
--:-- / 0
????????????????
-----------?----
--:-- / 0
AutoFlight — P/T
  LTSMin Tapaal LoLA M4M.full M4M.struct ITS-Tools ITS-Tools.L GreatSPN Irma.full Irma.struct
Score 86 148 140 21 21 77 63 73 39 39
Road Runner 0 6 0 0 0 2 0 3 0 0
Camel 1 3 3 0 0 0 0 4 0 0
01a

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

FFFTFTTFFFTFTFFF
TTTTTTTTTTTTTTTT
--:-- / 8
FFFTFTTFFFTFTFFF
TTTTTTTTTTTTTTTT
--:P- / 8
F?FTFTTFFFTFTFFF
T-TTTTTTTTTTTTTT
--:-- / 7
FFFTFTTFFFTFTFFF
TTTTTTTTTTTTTTTT
--:-- / 8
FFFTFTTFFFTFTFFF
TTTTTTTTTTTTTTTT
--:-- / 8
FFFTFTTFFFTFTFFF
TTTTTTTTTTTTTTTT
--:-- / 8
FFFTFTTFFFTFTFFF
TTTTTTTTTTTTTTTT
--:-- / 8
FFFTFTTFFFTFTFFF
TTTTTTTTTTTTTTTT
--:-M / 8
FFFTFTTFFFTFTFFF
TTTTTTTTTTTTTTTT
--:-- / 8
FFFTFTTFFFTFTFFF
TTTTTTTTTTTTTTTT
--:-- / 8
01b

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

FTFTFFTFTFTTFFFF
TTTTTTTTTTTTTTTT
--:-- / 8
FTFTFFTFTFTTFFFF
TTTTTTTTTTTTTTTT
--:P- / 8
FTFTFFTFTFTTFFFF
TTTTTTTTTTTTTTTT
--:-M / 8
FTFTFFTFTFTTFFF?
TTTTTTTTTTTTTTT-
--:-- / 7
FTFTFFTFTFTTFFF?
TTTTTTTTTTTTTTT-
--:-- / 7
FTFTFFTFTFTTFFFF
TTTTTTTTTTTTTTTT
--:-- / 8
FTFTFFTFTFTTFFFF
TTTTTTTTTTTTTTTT
--:-- / 8
FTFTFFTFTFTTFFFF
TTTTTTTTTTTTTTTT
--:-- / 8
FTFTFFTFTFTTFFFF
TTTTTTTTTTTTTTTT
--:-- / 8
FTFTFFTFTFTTFFFF
TTTTTTTTTTTTTTTT
--:-- / 8
02a

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

FFFFFFFFFTFTTTFF
TTTTTTTTTTTTTTTT
--:-- / 8
FFFFFFFFFTFTTTFF
TTTTTTTTTTTTTTTT
--:-M / 8
FFFFFFFFFTFTTTFF
TTTTTTTTTTTTTTTT
--:-- / 8
CC

0
CC

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

0
CC

0
02b

FFTFFFTTFFTTFTTF (expected value)

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

FFTFFFTTFFTTFTTF
TTTTTTTTTTTTTTTT
--:-M / 8
F?TFFFTTFFTTFTTF
T-TTTTTTTTTTTTTT
--:-- / 7
F?TFFFTTFF??F?TF
T-TTTTTTTT--T-TT
--:-- / 6
CC

0
CC

0
FFTFFFTTFFTTFTTF
TTTTTTTTTTTTTTTT
--:P- / 8
CC

0
DNF

0
CC

0
CC

0
03a

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

FFTFFTTFFFFTTFFF
TTTTTTTTTTTTTTTT
--:-- / 8
FFTFFTTFFFFTTFFF
TTTTTTTTTTTTTTTT
--:-- / 8
FFTFFTTFFFFTTFFF
TTTTTTTTTTTTTTTT
--:-M / 8
CC

0
CC

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

0
CC

0
03b

FFTFFFFFFTFFFFTF (expected value)

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

?F?????????????F
-T-------------T
--:-- / 1
FFTFFFFFFTFFFFTF
TTTTTTTTTTTTTTTT
--:PM / 8
FFTFF?FFFTFFFFTF
TTTTT-TTTTTTTTTT
--:-- / 7
CC

0
CC

0
FFTFFFFFFTF?????
TTTTTTTTTTT-----
--:-- / 5
CC

0
DNF

0
CC

0
CC

0
04a

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

FFFFFFFFFFFTFTFT
TTTTTTTTTTTTTTTT
--:-- / 8
FFFFFFFFFFFTFTFT
TTTTTTTTTTTTTTTT
--:P- / 8
FFFFFFFFFFFTFTFT
TTTTTTTTTTTTTTTT
--:-- / 8
CC

0
CC

0
FFFFFFFFFFFTFTFT
TTTTTTTTTTTTTTTT
--:-- / 8
FFFFFFFFFFFTFTFT
TTTTTTTTTTTTTTTT
--:-- / 8
FFFFFFFFFFFTFTFT
TTTTTTTTTTTTTTTT
--:-M / 8
CC

0
CC

0
04b

FFFFF? TTFFFFTFTF (expected value)

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

?F????????????TF
-T---?--------TT
--:-- / 1
?FFFF?TTFFFFTFTF
-TTTT?TTTTTTTTTT
--:-- / 7
FFFF??TTFFFFTFT?
TTTT-?TTTTTTTTT-
--:-- / 6
CC

0
CC

0
CC

0
CC

0
DNF

0
CC

0
CC

0
05a

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

FTFFFFFTFTTFFTTT
TTTTTTTTTTTTTTTT
--:-- / 8
FTFFFFFTFTTFFTTT
TTTTTTTTTTTTTTTT
--:-- / 8
FTFFFFFTFTTFFTTT
TTTTTTTTTTTTTTTT
--:-M / 8
????????????????
----------------
--:-- / 0
????????????????
----------------
--:-- / 0
FTFFFFFTFTTFFTTT
TTTTTTTTTTTTTTTT
--:-- / 8
FTFFFFFTFTTFFTTT
TTTTTTTTTTTTTTTT
--:-- / 8
FTFFFFFTFTTFFTTT
TTTTTTTTTTTTTTTT
--:P- / 8
FTFFFFFTFTTFFTTT
TTTTTTTTTTTTTTTT
--:-- / 8
FTFFFFFTFTTFFTTT
TTTTTTTTTTTTTTTT
--:-- / 8
05b

TTFTTFTTFTFTTFTF (expected value)

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

????????????????
----------------
--:-- / 0
TTFTTFTTFTFTT?TF
TTTTTTTTTTTTT-TT
--:-- / 7
T?FTTF?TFTFTTFTF
T-TTTT-TTTTTTTTT
--:-- / 7
????????????????
----------------
--:-- / 0
????????????????
----------------
--:-- / 0
TTF?????????????
TTT-------------
--:-- / 1
CC

0
DNF

0
????????????????
----------------
--:-- / 0
????????????????
----------------
--:-- / 0
06a

TTFFTFTFFTTTFFTT (expected value)

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

TTFFTFTFFTTTFFTT
TTTTTTTTTTTTTTTT
--:-- / 8
TTFFTFTFFTTTFFTT
TTTTTTTTTTTTTTTT
--:P- / 8
TTFFTFTFFTTTFFTT
TTTTTTTTTTTTTTTT
--:-- / 8
TTFFT?TFFTTTF??T
TTTTT-TTTTTTT--T
--:-- / 6
TTFFT?TFFTTTF??T
TTTTT-TTTTTTT--T
--:-- / 6
TTFFTFTFFTTTFFTT
TTTTTTTTTTTTTTTT
--:-- / 8
TTFFTFTFFTTTFFTT
TTTTTTTTTTTTTTTT
--:-- / 8
TTFFTFTFFTTTFFTT
TTTTTTTTTTTTTTTT
--:-M / 8
TTFFTFTFFTTTFFTT
TTTTTTTTTTTTTTTT
--:-- / 8
TTFFTFTFFTTTFFTT
TTTTTTTTTTTTTTTT
--:-- / 8
06b

FTTTFFFFFTFFTFFF (expected value)

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

????????????????
----------------
--:-- / 0
FTTTFFFFFTFF?FFF
TTTTTTTTTTTT-TTT
--:-- / 7
FTTT?FFFFT?FTFFF
TTTT-TTTTT-TTTTT
--:-- / 7
????????????????
----------------
--:-- / 0
????????????????
----------------
--:-- / 0
CC

0
CC

0
DNF

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

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

FTFFTFTFFTTFFFFT
TTTTTTTTTTTTTTTT
--:-- / 8
FTFFTFTFFTTFFFFT
TTTTTTTTTTTTTTTT
--:PM / 8
FTFFTFTFFTTFFFFT
TTTTTTTTTTTTTTTT
--:-- / 8
????????????????
----------------
--:-- / 0
????????????????
----------------
--:-- / 0
FTFFTFTFFTTFFFF?
TTTTTTTTTTTTTTT-
--:-- / 7
FTFFTFTFFTTFFFF?
TTTTTTTTTTTTTTT-
--:-- / 7
FTFFTFTFFTTFFFFT
TTTTTTTTTTTTTTTT
--:-- / 8
FTFFTFTFFTTFFFF?
TTTTTTTTTTTTTTT-
--:-- / 7
FTFFTFTFFTTFFFF?
TTTTTTTTTTTTTTT-
--:-- / 7
12b

TFTFTFFF? TTFTF? T (expected value)

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

????????????????
--------?-----?-
--:-- / 0
TFTFTFFF?TTFTF?T
TTTTTTTT?TTTTT?T
--:-- / 7
TFTFTFFF?TTFTF?T
TTTTTTTT?TTTTT?T
--:-- / 7
????????????????
--------?-----?-
--:-- / 0
????????????????
--------?-----?-
--:-- / 0
CC

0
CC

0
DNF

0
????????????????
--------?-----?-
--:-- / 0
????????????????
--------?-----?-
--:-- / 0
24a

FFTFFFTFFTTTTFFF (expected value)

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

FFTFFFTFFTTTTFFF
TTTTTTTTTTTTTTTT
--:-- / 8
FFTFFFTFF?TTTFFF
TTTTTTTTT-TTTTTT
--:-- / 7
FFTFFFTFFTTTT?FF
TTTTTTTTTTTTT-TT
--:-- / 7
????????????????
----------------
--:-- / 0
????????????????
----------------
--:-- / 0
DNF

0
CC

0
FFTFFFTFFTTTTFFF
TTTTTTTTTTTTTTTT
--:PM / 8
????????????????
----------------
--:-- / 0
????????????????
----------------
--:-- / 0
24b

FTFTTT? TFTTFT? TT (expected value)

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

????????????????
------?------?--
--:-- / 0
FTFTTT?TFTTFT?TT
TTTTTT?TTTTTT?TT
--:-- / 7
FT?TTT?TFTTFT?TT
TT-TTT?TTTTTT?TT
--:-- / 6
????????????????
------?------?--
--:-- / 0
????????????????
------?------?--
--:-- / 0
CC

0
CC

0
DNF

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

FFFF? TTFTTTTFFFF (expected value)

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

??F??TTFTT????FF
--T-?TTTTT----TT
--:-- / 4
FFFF?TTFT?TTFFFF
TTTT?TTTT-TTTTTT
--:-- / 7
FF?F?TTFT?TT?FFF
TT-T?TTTT-TT-TTT
--:-- / 6
????????????????
----?-----------
--:-- / 0
????????????????
----?-----------
--:-- / 0
DNF

0
DNF

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

0
DNF

0
48b

FTTFT? FTTFTFTTFF (expected value)

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

????????????????
-----?----------
--:-- / 0
FTTFT?FTTFTFTTFF
TTTTT?TTTTTTTTTT
--:-- / 7
FT?FT?FTT?TFTTFF
TT-TT?TTT-TTTTTT
--:-- / 6
????????????????
-----?----------
--:-- / 0
????????????????
-----?----------
--:-- / 0
CC

0
CC

0
DNF

0
????????????????
-----?----------
--:-- / 0
????????????????
-----?----------
--:-- / 0
96a

TFFFFFT? TFTFFFFF (expected value)

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

????????????????
-------?--------
--:-- / 0
TFFFFFT?TFTFF?FF
TTTTTTT?TTTTT-TT
--:-- / 7
T?FFF?T?TFT??FFF
T-TTT-T?TTT--TTT
--:-- / 5
????????????????
-------?--------
--:-- / 0
????????????????
-------?--------
--:-- / 0
CC

0
CC

0
T???????????????
T------?--------
--:-- / 0
????????????????
-------?--------
--:-- / 0
????????????????
-------?--------
--:-- / 0
96b

FFFFFFFFFTF? ? FFT (expected value)

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

????????????????
-----------??---
--:-- / 0
FFFF?FFFFTF??FFT
TTTT-TTTTTT??TTT
--:-- / 6
FFFFFFFFFTF??FFT
TTTTTTTTTTT??TTT
--:-- / 7
????????????????
-----------??---
--:-- / 0
????????????????
-----------??---
--:-- / 0
CC

0
CC

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 8 0 0 0 32 33 0 0 0
Road Runner 0 0 0 0 0 2 1 0 0 0
Camel 0 0 0 0 0 2 1 0 0 0
002

TTTTFFTFFTFTTTTF (expected value)

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

DNC ??????????FTT???
----------TTT---
--:-- / 2
CC

0
????????????????
----------------
--:-- / 0
????????????????
----------------
--:-- / 0
TTTTFFTFFTFTTTTF
TTTTTTTTTTTTTTTT
--:PM / 9
TTTTFFTFFTFTTTTF
TTTTTTTTTTTTTTTT
--:-- / 9
DNF

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

FFTTTTFTFFTTTFFF (expected value)

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

DNC ?F??????????????
-T--------------
--:-- / 1
CC

0
????????????????
----------------
--:-- / 0
????????????????
----------------
--:-- / 0
FFTTTTFTFFTTTFFF
TTTTTTTTTTTTTTTT
--:PM / 9
FFTTTTFTFFTTTFFF
TTTTTTTTTTTTTTTT
--:-- / 9
DNF

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

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

DNC CC

0
CC

0
????????????????
----------------
--:-- / 0
????????????????
----------------
--:-- / 0
FFTTFFTFTFFTFFFT
TTTTTTTTTTTTTTTT
--:-- / 9
FFTTFFTFTFFTFFFT
TTTTTTTTTTTTTTTT
--:PM / 9
DNF

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

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

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

DNC ????T???????????
----T-??????????
--:-- / 1
CC

0
????????????????
------??????????
--:-- / 0
????????????????
------??????????
--:-- / 0
TFFTTF??????????
TTTTTT??????????
--:-- / 3
TFFTTF??????????
TTTTTT??????????
--:-- / 3
DNF

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

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

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

DNC ?T????T?????????
-T-???T?????????
--:-- / 1
CC

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

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

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

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

DNC ????F???????????
-???T???????????
--:-- / 1
CC

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

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

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

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

DNC ?????????F??????
?????????T??????
--:-- / 1
CC

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

0
CC

0
DNF

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

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

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

DNC ????????T???????
????????T???????
--:-- / 1
CC

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

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 6 0 35 14 14 5 5 15 14 14
Road Runner 0 4 3 0 0 0 0 0 0 0
Camel 0 4 3 0 0 0 0 0 0 0
002

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

TTTTFFTFFFFFFTTF
--------TTTTTTTT
--:-- / 5
TTTTFFTFFFFFFTTF
?
--:-M / 0
TTTTFFTFFFFFFTTF
--------TTTTTTTT
--:P- / 5
TTTTFFTFFFFFFTTF
--------TTTTTTTT
--:-- / 5
TTTTFFTFFFFFFTTF
--------TTTTTTTT
--:-- / 5
TTTTFFTFFFFFFTTF
--------TTTTTTTT
--:-- / 5
TTTTFFTFFFFFFTTF
--------TTTTTTTT
--:-- / 5
TTTTFFTFFFFFFTTF
--------TTTTTTTT
--:-- / 5
TTTTFFTFFFFFFTTF
--------TTTTTTTT
--:-- / 5
TTTTFFTFFFFFFTTF
--------TTTTTTTT
--:-- / 5
005

FFFTTTFTFTFTFFTF (expected value)

7.00 8.00 7.00 8.00 7.00 7.00 7.00 7.00 7.00 2.00 3.00 7.00 7.00 7.00 8.00 8.00 (confidence rate)

?F?T??????????TF
--------------TT
--:-- / 1
FFFTTTFTFTFTFFTF
?
--:PM / 0
FFFTTTFTF?FTFFTF
--------T-TTTTTT
--:-- / 4
FFFTTTFTF??TFFTF
--------T--TTTTT
--:-- / 3
FFFTTTFTF??TFFTF
--------T--TTTTT
--:-- / 3
DNF

0
DNF

0
FFFTTTFTFTFTFFTF
--------TTTTTTTT
--:-- / 5
FFFTTTFTF??TFFTF
--------T--TTTTT
--:-- / 3
FFFTTTFTF??TFFTF
--------T--TTTTT
--:-- / 3
010

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

????????????????
----------------
--:-- / 0
FFTTFFTFFTTTFTTF
?
--:PM / 0
FFTTFFTFFTTTFTT?
--------TTTTTTT-
--:-- / 4
????????????????
----------------
--:-- / 0
????????????????
----------------
--:-- / 0
CC

0
CC

0
FFTTFFTFFTTTFTTF
--------TTTTTTTT
--:-- / 5
????????????????
----------------
--:-- / 0
????????????????
----------------
--:-- / 0
020

TFFTTFTTTFFTFFTF (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
TFFTTFTTTFFTFFTF
?
--:P- / 0
TFFTTFTTTFFTFFTF
--------TTTTTTTT
--:-M / 5
????????????????
----------------
--:-- / 0
????????????????
----------------
--:-- / 0
CC

0
CC

0
CC

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

TTTFFFTTT? FFTFFT (expected value)

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

????????????????
---------?------
--:-- / 0
TTTFFFTTT?FFTFFT
?
--:-- / 0
TTTFFFTTT??FTFFT
--------T?-TTTTT
--:-- / 3
TT???FTTT??F?FF?
--------T?-T-TT-
--:-- / 2
TT???FTTT??F?FF?
--------T?-T-TT-
--:-- / 2
CC

0
CC

0
CC

0
TT???FTTT??F?FF?
--------T?-T-TT-
--:-- / 2
TT???FTTT??F?FF?
--------T?-T-TT-
--:-- / 2
040

TFTTFFTTTTTTFTTT (expected value)

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

????????????????
----------------
--:-- / 0
TFTTFFTTTTTTFTTT
?
--:-- / 0
TFTTFFTTTTTTFTTT
--------TTTTTTTT
--:PM / 5
TFTTFFTTTTTT?TTT
--------TTTT-TTT
--:-- / 4
TFTTFFTTTTTT?TTT
--------TTTT-TTT
--:-- / 4
CC

0
CC

0
T???????????????
----------------
--:-- / 0
TFTTFFTTTTTT?TTT
--------TTTT-TTT
--:-- / 4
TFTTFFTTTTTT?TTT
--------TTTT-TTT
--:-- / 4
050

FFFTTTTTFTFFTTTF (expected value)

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

????????????????
----------------
--:-- / 0
FFFTTTTTFTFFTTTF
?
--:PM / 0
FFFTTTTTFTFF?TTF
--------TTTT-TTT
--:-- / 4
FFFTTT??????????
----------------
--:-- / 0
FFFTTT??????????
----------------
--:-- / 0
CC

0
CC

0
CC

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

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

????????????????
----------------
--:-- / 0
FTFFTTTTFFFFT?FF
?
--:-- / 0
FTFFTTTTFFFFTTFF
--------TTTTTTTT
--:PM / 5
????????????????
----------------
--:-- / 0
????????????????
----------------
--:-- / 0
CC

0
CC

0
CC

0
????????????????
----------------
--:-- / 0
????????????????
----------------
--:-- / 0
BridgeAndVehicles — Colored
  LTSMin Tapaal LoLA M4M.full M4M.struct ITS-Tools ITS-Tools.L GreatSPN Irma.full Irma.struct
Score 0 89 79 30 35 10 10 20 26 21
Road Runner 0 6 2 0 0 0 0 0 0 0
Camel 0 1 6 0 1 0 0 0 0 0
V04P05N02

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

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

0
CC

0
FFFTFFTTFTTTFTTT
TTTTTTTTTTTTTTTT
--:-- / 5
FFFTFFTTFTTTFTTT
TTTTTTTTTTTTTTTT
--:-- / 5
FFFTFFTTFTTTFTTT
TTTTTTTTTTTTTTTT
--:-- / 5
CC

0
CC

0
V20P10N10

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

DNC TTFFFTFFTTFTFTFT
TTTTTTTTTTTTTTTT
--:P- / 5
TTFFFTFFTTFTFTFT
TTTTTTTTTTTTTTTT
--:-M / 5
CC

0
CC

0
CC

0
CC

0
TTFFFTFFTTFTFTFT
TTTTTTTTTTTTTTTT
--:-- / 5
CC

0
CC

0
V20P10N20

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

DNC FTFTFTTFFFTTTFFF
TTTTTTTTTTTTTTTT
--:P- / 5
FTFTFTTFFFTTTFFF
TTTTTTTTTTTTTTTT
--:-M / 5
CC

0
CC

0
CC

0
CC

0
DNF

0
CC

0
CC

0
V20P10N50

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

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

0
CC

0
CC

0
CC

0
DNF

0
CC

0
CC

0
V20P20N10

FFFTFTTTTFFTFFTF (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 FFFTFTTTTFFTFFTF
TTTTTTTTTTTTTTTT
--:P- / 5
FFFTFTTT?FFTFFTF
TTTTTTTT-TTTTTTT
--:-- / 5
????????????????
----------------
--:-- / 0
FFFTFTTTTFFTFFTF
TTTTTTTTTTTTTTTT
--:-M / 5
CC

0
CC

0
FFFTFTTTTFFTFFTF
TTTTTTTTTTTTTTTT
--:-- / 5
????????????????
----------------
--:-- / 0
????????????????
----------------
--:-- / 0
V20P20N20

TFFFFTFFFFFTFTFT (expected value)

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

DNC TFFFFTFFFFFTFTFT
TTTTTTTTTTTTTTTT
--:P- / 5
TFFFFTFFFFFTFTFT
TTTTTTTTTTTTTTTT
--:-M / 5
TFFFFTFFFFFTFTF?
TTTTTTTTTTTTTTT-
--:-- / 5
TFFFFTFFFFFTFTF?
TTTTTTTTTTTTTTT-
--:-- / 5
T???????????????
T---------------
--:-- / 0
T???????????????
T---------------
--:-- / 0
DNF

0
TFFFFTFFFFFTFTF?
TTTTTTTTTTTTTTT-
--:-- / 5
TFFFFTFFFFFTFTF?
TTTTTTTTTTTTTTT-
--:-- / 5
V20P20N50

FFTTFTFTFFTTFFTT (expected value)

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

DNC FFTTFTFTFFTTFFTT
TTTTTTTTTTTTTTTT
--:PM / 5
?FTTFTF?FFTTFFTT
-TTTTTT-TTTTTTTT
--:-- / 5
FF?TFTF?FFTTFFTT
TT-TTTT-TTTTTTTT
--:-- / 5
FF?TFTF?FFTTFFTT
TT-TTTT-TTTTTTTT
--:-- / 5
CC

0
CC

0
DNF

0
CC

0
CC

0
V50P20N10

TTTFFTFTT? FT? FT? (expected value)

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

DNC TTTFFTFTT?FT?FT?
TTTTTTTTT?TT?TT?
--:-- / 4
TTTFFTFTT?FT?F??
TTTTTTTTT?TT?T-?
--:-- / 4
TTTFFTFTT?FT????
TTTTTTTTT?TT?--?
--:-- / 4
TTTFFTFTT?FT??T?
TTTTTTTTT?TT?-T?
--:-- / 4
DNF

0
DNF

0
DNF

0
TTTFFTFTT?FT??T?
TTTTTTTTT?TT?-T?
--:-- / 4
????????????????
---------?--?--?
--:-- / 0
V50P20N20

FFFFFFTT? FFTT? FF (expected value)

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

DNC FFFFFFTT?F?TT?FF
TTTTTTTT?T-TT?TT
--:-- / 4
FFFFFFT??FFTT?FF
TTTTTTT-?TTTT?TT
--:-- / 4
????????????????
--------?----?--
--:-- / 0
????????????????
--------?----?--
--:-- / 0
DNF

0
DNF

0
DNF

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

FTF? ? FF? FFFFF? TF (expected value)

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

DNC FTF??FF?FFFFF?TF
TTT??TT?TTTTT?TT
--:-- / 4
FTF??F??FFFF??T?
TTT??T-?TTTT-?T-
--:-- / 3
????????????????
---??--?-----?--
--:-- / 0
????????????????
---??--?-----?--
--:-- / 0
DNF

0
DNF

0
DNF

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

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

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

DNC T?T?F?T?T?TFFFFT
T?T?T?T?T?TTTTTT
--:-- / 4
T?T?F?T?T?TFFFF?
T?T?T?T?T?TTTTT-
--:-- / 3
????????????????
-?-?-?-?-?------
--:-- / 0
????????????????
-?-?-?-?-?------
--:-- / 0
DNF

0
DNF

0
DNF

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

TF? FFFFFF? ? TTFF? (expected value)

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

DNC TF?FFFFFF??TTFF?
TT?TTTTTT??TTTT?
--:-- / 4
???FFFFFF??TTFF?
--?TTTTTT??TTTT?
--:-- / 3
TF?FFFFFF??TTFF?
TT?TTTTTT??TTTT?
--:-- / 4
TF?FFFFFF??TTFF?
TT?TTTTTT??TTTT?
--:-- / 4
DNF

0
DNF

0
DNF

0
TF?FFFFFF??TTFF?
TT?TTTTTT??TTTT?
--:-- / 4
TF?FFFFFF??TTFF?
TT?TTTTTT??TTTT?
--:-- / 4
V50P50N50

FTTFFTT? TFTFFT? T (expected value)

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

DNC FTTFFTT?TFTFFT?T
TTTTTTT?TTTTTT?T
--:-- / 5
FTTFFTT?T?TFF??T
TTTTTTT?T-TTT-?T
--:-- / 4
FTT?FTT?TFTFF??T
TTT-TTT?TTTTT-?T
--:-- / 4
FTT?FTT?TFTFF??T
TTT-TTT?TTTTT-?T
--:-- / 4
DNF

0
DNF

0
DNF

0
FTT?FTT?TFTFF??T
TTT-TTT?TTTTT-?T
--:-- / 4
FTT?FTT?TFTFF??T
TTT-TTT?TTTTT-?T
--:-- / 4
V80P20N10

TTTFF? ? TF? ? FTF? T (expected value)

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

DNC TTTFF??TF??FTF?T
TTTTT??TT??TTT?T
--:-- / 4
T???F??T???FTF?T
T---T??T-??TTT?T
--:-- / 2
????????????????
-----??--??---?-
--:-- / 0
????????????????
-----??--??---?-
--:-- / 0
DNF

0
DNF

0
DNF

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

FFTF? FFTFF? F? FFT (expected value)

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

DNC FFTF?FFTFF?F?FFT
TTTT?TTTTT?T?TTT
--:-- / 4
?FT??FF??????F??
-TT-?TT---?-?T--
--:-- / 2
????????????????
----?-----?-?---
--:-- / 0
????????????????
----?-----?-?---
--:-- / 0
DNF

0
DNF

0
DNF

0
FF?F????????????
TT-T?-----?-?---
--:-- / 1
????????????????
----?-----?-?---
--:-- / 0
V80P20N50

? FTTTTFTTFTF? FFT (expected value)

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

DNC ?FTTTTFTTFTF?FFT
?TTTTTTTTTTT?TTT
--:-- / 5
?F?TTTFTTFTF?F?T
?T-TTTTTTTTT?T-T
--:-- / 4
????????????????
?-----------?---
--:-- / 0
????????????????
?-----------?---
--:-- / 0
DNF

0
DNF

0
DNF

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

FTFTT? FF? T? FTFFT (expected value)

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

DNC FTFTT?FF?T?FTFFT
TTTTT?TT?T?TTTTT
--:-- / 4
FTFTT??F?T?FTFFT
TTTTT?-T?T?TTTTT
--:-- / 4
????????????????
-----?--?-?-----
--:-- / 0
????????????????
-----?--?-?-----
--:-- / 0
DNF

0
DNF

0
DNF

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

T? ? ? ? FTT? ? TFTFF? (expected value)

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

DNC T????FTT??TFTFF?
T????TTT??TTTTT?
--:-- / 3
T????FTT??TFTFF?
T????TTT??TTTTT?
--:-- / 3
T????FTT??TFTFF?
T????TTT??TTTTT?
--:-- / 3
T????FTT??TFTFF?
T????TTT??TTTTT?
--:-- / 3
DNF

0
DNF

0
DNF

0
T????FT???TFTFF?
T????TT-??TTTTT?
--:-- / 3
T????FTT??TFTFF?
T????TTT??TTTTT?
--:-- / 3
V80P50N50

TTTF? ? ? ? FF? FTTFT (expected value)

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

DNC TTTF????FF?FTTFT
TTTT????TT?TTTTT
--:-- / 4
??TF????FF?FTTF?
--TT????TT?TTTT-
--:-- / 3
????????????????
----????--?-----
--:-- / 0
????????????????
----????--?-----
--:-- / 0
DNF

0
DNF

0
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 19 96 86 28 28 10 10 25 28 28
Road Runner 0 9 0 0 0 0 0 1 0 0
Camel 0 6 3 0 0 0 0 1 0 0
V04P05N02

FFFFFTFFTFTTFTTF (expected value)

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

FFFFFTFFTFTTFTTF
TTTTTTTTTTTTTTTT
--:-- / 5
FFFFFTFFTFTTFTTF
TTTTTTTTTTTTTTTT
--:-- / 5
?FFFFTFFTF?TFTTF
-TTTTTTTTT-TTTTT
--:-- / 5
FFFFFTFFTFTTFTTF
TTTTTTTTTTTTTTTT
--:-- / 5
FFFFFTFFTFTTFTTF
TTTTTTTTTTTTTTTT
--:-- / 5
FFFFFTFFTFTTFTTF
TTTTTTTTTTTTTTTT
--:-- / 5
FFFFFTFFTFTTFTTF
TTTTTTTTTTTTTTTT
--:-- / 5
FFFFFTFFTFTTFTTF
TTTTTTTTTTTTTTTT
--:PM / 5
FFFFFTFFTFTTFTTF
TTTTTTTTTTTTTTTT
--:-- / 5
FFFFFTFFTFTTFTTF
TTTTTTTTTTTTTTTT
--:-- / 5
V10P10N10

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

FFFTFFTTTFFTTTTT
TTTTTTTTTTTTTTTT
--:-- / 5
FFFTFFTTTFFTTTTT
TTTTTTTTTTTTTTTT
--:PM / 5
FFFTFFTTTFFTTTT?
TTTTTTTTTTTTTTT-
--:-- / 5
CC

0
CC

0
FFFTFFTTTFFTTTTT
TTTTTTTTTTTTTTTT
--:-- / 5
FFFTFFTTTFFTTTTT
TTTTTTTTTTTTTTTT
--:-- / 5
FFFTFFTTTFFTTTTT
TTTTTTTTTTTTTTTT
--:-- / 5
CC

0
CC

0
V20P10N10

TTFFFTFFFTTTTFFF (expected value)

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

TTFF??FFFTTTTF??
TTTT--TTTTTTTT--
--:-- / 4
TTFFFTFFFTTTTFFF
TTTTTTTTTTTTTTTT
--:P- / 5
TTFFFTFFFTTTTFFF
TTTTTTTTTTTTTTTT
--:-M / 5
CC

0
CC

0
CC

0
CC

0
TTFFFTFFFTTTTFFF
TTTTTTTTTTTTTTTT
--:-- / 5
CC

0
CC

0
V20P10N20

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

????????????????
----------------
--:-- / 0
FTFTFTTFFFFFFFFF
TTTTTTTTTTTTTTTT
--:PM / 5
FTFTFTTFFFFFFFF?
TTTTTTTTTTTTTTT-
--:-- / 5
CC

0
CC

0
DNF

0
DNF

0
FTFTFTTFFFFFFFFF
TTTTTTTTTTTTTTTT
--:-- / 5
CC

0
CC

0
V20P10N50

FFFFTTFFTFFFTFFT (expected value)

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

????????????????
----------------
--:-- / 0
FFFFTTFFTFFFTFFT
TTTTTTTTTTTTTTTT
--:PM / 5
?????T????FFTFF?
-----T----TTTTT-
--:-- / 2
CC

0
CC

0
CC

0
CC

0
DNF

0
CC

0
CC

0
V20P20N10

FFFTFTTTFFTTFFFF (expected value)

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

F?FTFTTTFFTTFFFF
T-TTTTTTTTTTTTTT
--:-- / 5
FFFTFTTTFFTTFFFF
TTTTTTTTTTTTTTTT
--:P- / 5
FFFTFTTTFFTTFFFF
TTTTTTTTTTTTTTTT
--:-M / 5
????????????????
----------------
--:-- / 0
????????????????
----------------
--:-- / 0
CC

0
CC

0
FFFTFTTTFFTTFFFF
TTTTTTTTTTTTTTTT
--:-- / 5
????????????????
----------------
--:-- / 0
????????????????
----------------
--:-- / 0
V20P20N20

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

????????????????
----------------
--:-- / 0
TFFFFTFFFFTTFFFT
TTTTTTTTTTTTTTTT
--:P- / 5
TFFFFTFFFFTTFFFT
TTTTTTTTTTTTTTTT
--:-M / 5
TFFFFTFFFFTTFF?T
TTTTTTTTTTTTTT-T
--:-- / 5
TFFFFTFFFFTTFF?T
TTTTTTTTTTTTTT-T
--:-- / 5
DNF

0
DNF

0
DNF

0
TFFFFTFFFFTTFF?T
TTTTTTTTTTTTTT-T
--:-- / 5
TFFFFTFFFFTTFF?T
TTTTTTTTTTTTTT-T
--:-- / 5
V20P20N50

FFTTFTFTTTFTFTTF (expected value)

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

????????????????
----------------
--:-- / 0
FFTTFTFTTTFTFTTF
TTTTTTTTTTTTTTTT
--:PM / 5
FFTTF?F?TTFTFTTF
TTTTT-T-TTTTTTTT
--:-- / 5
FF?TFTF?TTFTFTT?
TT-TTTT-TTTTTTT-
--:-- / 4
FF?TFTF?TTFTFTT?
TT-TTTT-TTTTTTT-
--:-- / 4
CC

0
CC

0
DNF

0
FF?TFTF?TTFTFTT?
TT-TTTT-TTTTTTT-
--:-- / 4
FF?TFTF?TTFTFTT?
TT-TTTT-TTTTTTT-
--:-- / 4
V50P20N10

TTTFFTFTFFTTTFTT (expected value)

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

????????????????
----------------
--:-- / 0
TTTFFTFTFFTTTFTT
TTTTTTTTTTTTTTTT
--:PM / 5
TTTFFTFT?F?TTFTT
TTTTTTTT-T-TTTTT
--:-- / 5
TTTFFTFT?FTTTFT?
TTTTTTTT-TTTTTT-
--:-- / 5
TTTFFTFT?FTTTFT?
TTTTTTTT-TTTTTT-
--:-- / 5
CC

0
CC

0
DNF

0
TTTFFTFT?FTTTFT?
TTTTTTTT-TTTTTT-
--:-- / 5
TTTFFTFT?FTTTFT?
TTTTTTTT-TTTTTT-
--:-- / 5
V50P20N20

FFFFFFTTFFFFTFTF (expected value)

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

????????????????
----------------
--:-- / 0
FFFFFFTTFFFFTFTF
TTTTTTTTTTTTTTTT
--:PM / 5
FFFFFFT?FFF?TFTF
TTTTTTT-TTT-TTTT
--:-- / 5
????????????????
----------------
--:-- / 0
????????????????
----------------
--:-- / 0
CC

0
CC

0
DNF

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

FTF? ? FF? TTFFTTTT (expected value)

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

????????????????
---??--?--------
--:-- / 0
FTF??FF?TTFFTTTT
TTT??TT?TTTTTTTT
--:-- / 4
FTF??FF?TTFFTTTT
TTT??TT?TTTTTTTT
--:-- / 4
????????????????
---??--?--------
--:-- / 0
????????????????
---??--?--------
--:-- / 0
CC

0
CC

0
DNF

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

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

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

????????????????
-?-?-?-?----?---
--:-- / 0
T?T?F?T?FTFT?TTF
T?T?T?T?TTTT?TTT
--:-- / 4
T?T?F?T?FTFT?T?F
T?T?T?T?TTTT?T-T
--:-- / 3
????????????????
-?-?-?-?----?---
--:-- / 0
????????????????
-?-?-?-?----?---
--:-- / 0
CC

0
CC

0
DNF

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

TF? FFFFFTFTTTFFF (expected value)

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

????????????????
--?-------------
--:-- / 0
TF?FFFFFTFTTTFFF
TT?TTTTTTTTTTTTT
--:-- / 5
???FFFFFTFTTTFFF
--?TTTTTTTTTTTTT
--:-- / 4
TF?FFFFFTFTTTFF?
TT?TTTTTTTTTTTT-
--:-- / 5
TF?FFFFFTFTTTFF?
TT?TTTTTTTTTTTT-
--:-- / 5
CC

0
CC

0
DNF

0
TF?FFFFFTFTTTFF?
TT?TTTTTTTTTTTT-
--:-- / 5
TF?FFFFFTFTTTFF?
TT?TTTTTTTTTTTT-
--:-- / 5
V50P50N50

FTTFFTT? TTFTTFFF (expected value)

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

????????????????
-------?--------
--:-- / 0
FTTFFTT?TTFTTFFF
TTTTTTT?TTTTTTTT
--:-- / 5
FTTFFTT?TTFTTFF?
TTTTTTT?TTTTTTT-
--:-- / 5
????????????????
-------?--------
--:-- / 0
????????????????
-------?--------
--:-- / 0
CC

0
CC

0
DNF

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

TTTFF? ? TTFTFFFFF (expected value)

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

????????????????
-----??---------
--:-- / 0
TTTFF??TTFTFFFFF
TTTTT??TTTTTTTTT
--:-- / 5
T?TFF??TT??FFFFF
T-TTT??TT--TTTTT
--:-- / 4
????????????????
-----??---------
--:-- / 0
????????????????
-----??---------
--:-- / 0
CC

0
CC

0
DNF

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

FFTF? FFTFTFTT? FF (expected value)

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

????????????????
----?--------?--
--:-- / 0
FFTF?FFTFTFTT?FF
TTTT?TTTTTTTT?TT
--:-- / 5
?FT??FF?F?FT???F
-TT-?TT-T-TT-?-T
--:-- / 3
????????????????
----?--------?--
--:-- / 0
????????????????
----?--------?--
--:-- / 0
CC

0
CC

0
DNF

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

? FTTTTFTFFTFFFFT (expected value)

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

????????????????
?---------------
--:-- / 0
?FTTTTFTFFTFFFFT
?TTTTTTTTTTTTTTT
--:-- / 5
?FT?T?FTFF?FF?FT
?TT-T-TTTT-TT-TT
--:-- / 4
????????????????
?---------------
--:-- / 0
????????????????
?---------------
--:-- / 0
CC

0
CC

0
DNF

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

FTFTT? FFTTTTFFFF (expected value)

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

????????????????
-----?----------
--:-- / 0
FTFTT?FFTTTTFFFF
TTTTT?TTTTTTTTTT
--:-- / 5
FTFTT??F??TTFFFF
TTTTT?-T--TTTTTT
--:-- / 4
????????????????
-----?----------
--:-- / 0
????????????????
-----?----------
--:-- / 0
CC

0
CC

0
DNF

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

T? ? ? ? FTTFFFFFTTT (expected value)

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

????????????????
-????-----------
--:-- / 0
T????FTTFFFFFTTT
T????TTTTTTTTTTT
--:-- / 4
T????FTTFFFF?TTT
T????TTTTTTT-TTT
--:-- / 4
T????FTTFFFFFT?T
T????TTTTTTTTT-T
--:-- / 4
T????FTTFFFFFT?T
T????TTTTTTTTT-T
--:-- / 4
CC

0
CC

0
DNF

0
T????FTTFFFFFT?T
T????TTTTTTTTT-T
--:-- / 4
T????FTTFFFFFT?T
T????TTTTTTTTT-T
--:-- / 4
V80P50N50

TTTF? ? ? ? TTTTFFFT (expected value)

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

????????????????
----????--------
--:-- / 0
TTTF????TTTTFFFT
TTTT????TTTTTTTT
--:-- / 4
T?TF????TTTTFFFT
T-TT????TTTTTTTT
--:-- / 4
????????????????
----????--------
--:-- / 0
????????????????
----????--------
--:-- / 0
CC

0
CC

0
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 63 55 11 22 34 22 33 22 22
Road Runner 0 1 0 0 0 0 0 3 0 0
Camel 0 1 0 0 0 0 0 3 0 0
02

FTFFTFFTFFTFTTFF (expected value)

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

DNC FTFFTFFTFFTFTTFF
TTTTTTTTTTTTTTTT
--:-- / 11
FTF?TFFTFF?FTTF?
TTT-TTTTTT-TTTT-
--:-- / 9
FTFFTFFTFFTFTTFF
TTTTTTTTTTTTTTTT
--:-- / 11
FTFFTFFTFFTFTTFF
TTTTTTTTTTTTTTTT
--:-- / 11
FTFFTFFTFFTFTTFF
TTTTTTTTTTTTTTTT
--:-- / 11
FTFFTFFTFFTFTTFF
TTTTTTTTTTTTTTTT
--:-- / 11
FTFFTFFTFFTFTTFF
TTTTTTTTTTTTTTTT
--:PM / 11
FTFFTFFTFFTFTTFF
TTTTTTTTTTTTTTTT
--:-- / 11
FTFFTFFTFFTFTTFF
TTTTTTTTTTTTTTTT
--:-- / 11
03

TFTTTFTTFFTTFFFF (expected value)

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

DNC TFTTTFTTFFTTFFFF
TTTTTTTTTTTTTTTT
--:-- / 11
T?TTT?TT?F?TFFFF
T-TTT-TT-T-TTTTT
--:-- / 8
CC

0
CC

0
TFTTTFTTFFTTFFFF
TTTTTTTTTTTTTTTT
--:-- / 11
TFTTTFTTFFTTFFFF
TTTTTTTTTTTTTTTT
--:-- / 11
TFTTTFTTFFTTFFFF
TTTTTTTTTTTTTTTT
--:PM / 11
CC

0
CC

0
04

FTFTTFTTFTFTFTTT (expected value)

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

DNC F?FTTFTTFTFTFTTT
T-TTTTTTTTTTTTTT
--:-- / 10
F?FTTFTTFT??FTTT
T-TTTTTTTT--TTTT
--:-- / 9
CC

0
CC

0
FTFTTFTTFTFTFTTT
TTTTTTTTTTTTTTTT
--:-- / 11
DNF

0
FTFTTFTTFTFTFTTT
TTTTTTTTTTTTTTTT
--:PM / 11
CC

0
CC

0
05

TTFTTTTFTTFTFT? T (expected value)

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

DNC TTFTTTTFTTFTFT?T
TTTTTTTTTTTTTT?T
--:-- / 10
TT?TTTTFTTFTFT?T
TT-TTTTTTTTTTT?T
--:-- / 10
????????????????
--------------?-
--:-- / 0
????????????????
--------------?-
--:-- / 0
TT??????????????
TT------------?-
--:-- / 1
CC

0
DNF

0
????????????????
--------------?-
--:-- / 0
????????????????
--------------?-
--:-- / 0
07

FFFFTTFFFTFFFTTF (expected value)

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

DNC FFFFTTFFFTFFFTTF
TTTTTTTTTTTTTTTT
--:PM / 11
FF?FTT??FTFFFTTF
TT-TTT--TTTTTTTT
--:-- / 9
????????????????
----------------
--:-- / 0
FFFFTTFFFTFFFTTF
TTTTTTTTTTTTTTTT
--:-- / 11
CC

0
CC

0
DNF

0
FFFFTTFFFTFFFTTF
TTTTTTTTTTTTTTTT
--:-- / 11
FFFFTTFFFTFFFTTF
TTTTTTTTTTTTTTTT
--:-- / 11
10

FT? TFFFTTTTFFF? T (expected value)

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

DNC FT?TFFFTTTTFFF?T
TT?TTTTTTTTTTT?T
--:-- / 10
FT?TFFFTTTTFFF?T
TT?TTTTTTTTTTT?T
--:-- / 10
????????????????
--?-----------?-
--:-- / 0
????????????????
--?-----------?-
--:-- / 0
CC

0
CC

0
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 29 63 57 11 11 25 25 33 11 11
Road Runner 0 2 1 0 0 0 1 1 0 0
Camel 0 1 2 0 0 0 0 2 0 0
02

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

FTFFTFFTFFFFFFFF
TTTTTTTTTTTTTTTT
--:-- / 11
FTFFTFFTFFFFFFFF
TTTTTTTTTTTTTTTT
--:-- / 11
FTFFTFFTFFFFFFFF
TTTTTTTTTTTTTTTT
--:PM / 11
FTFFTFFTFFFFFFFF
TTTTTTTTTTTTTTTT
--:-- / 11
FTFFTFFTFFFFFFFF
TTTTTTTTTTTTTTTT
--:-- / 11
FTFFTFFTFFFFFFFF
TTTTTTTTTTTTTTTT
--:-- / 11
FTFFTFFTFFFFFFFF
TTTTTTTTTTTTTTTT
--:-- / 11
FTFFTFFTFFFFFFFF
TTTTTTTTTTTTTTTT
--:-- / 11
FTFFTFFTFFFFFFFF
TTTTTTTTTTTTTTTT
--:-- / 11
FTFFTFFTFFFFFFFF
TTTTTTTTTTTTTTTT
--:-- / 11
03

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

TFTTTFTTTFFFFTFF
TTTTTTTTTTTTTTTT
--:-- / 11
TFTTTFTTTFFFFT?F
TTTTTTTTTTTTTT-T
--:-- / 10
TFTTTFTTTF?FFT?F
TTTTTTTTTT-TTT-T
--:-- / 10
CC

0
CC

0
TFTTTFTTTFFFFTFF
TTTTTTTTTTTTTTTT
--:-- / 11
TFTTTFTTTFFFFTFF
TTTTTTTTTTTTTTTT
--:P- / 11
TFTTTFTTTFFFFTFF
TTTTTTTTTTTTTTTT
--:-M / 11
CC

0
CC

0
04

FTFTTFTTTFTFFFFF (expected value)

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

?TF?????TFTFFFFF
-TT-----TTTTTTTT
--:-- / 7
F?FTTFTTTFTFFFFF
T-TTTTTTTTTTTTTT
--:-- / 10
F?FTTFTTTFTFFFFF
T-TTTTTTTTTTTTTT
--:-- / 10
CC

0
CC

0
FTFTT???????????
TTTTT-----------
--:-- / 3
FTFTT???????????
TTTTT-----------
--:-- / 3
FTFTTFTTTFTFFFFF
TTTTTTTTTTTTTTTT
--:PM / 11
CC

0
CC

0
05

TTFTTTTFTFFTFFTT (expected value)

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

????????????????
----------------
--:-- / 0
TTFTTTTFTFFTFFTT
TTTTTTTTTTTTTTTT
--:PM / 11
T????TTF?FF?F???
T----TTT-TT-T---
--:-- / 5
????????????????
----------------
--:-- / 0
????????????????
----------------
--:-- / 0
CC

0
CC

0
DNF

0
????????????????
----------------
--:-- / 0
????????????????
----------------
--:-- / 0
07

FFFFTTFFTFFTTFFT (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
FFFFTTFFTFFTTFFT
TTTTTTTTTTTTTTTT
--:P- / 11
FFFFTTFFTFFTTFFT
TTTTTTTTTTTTTTTT
--:-M / 11
????????????????
----------------
--:-- / 0
????????????????
----------------
--:-- / 0
CC

0
CC

0
DNF

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

FT? TFFFTFFTTFFFT (expected value)

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

????????????????
--?-------------
--:-- / 0
FT?TFFFTFFTTFFFT
TT?TTTTTTTTTTTTT
--:-- / 10
FT?TFFFTFFTTFFFT
TT?TTTTTTTTTTTTT
--:-- / 10
????????????????
--?-------------
--:-- / 0
????????????????
--?-------------
--:-- / 0
CC

0
CC

0
DNF

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

0
CircadianClock — P/T
  LTSMin Tapaal LoLA M4M.full M4M.struct ITS-Tools ITS-Tools.L GreatSPN Irma.full Irma.struct
Score 57 98 97 19 19 76 76 57 19 19
Road Runner 0 0 1 0 0 0 2 1 0 0
Camel 0 0 1 0 0 0 1 2 0 0
000001

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

FFFTFTFFFFFFTFTF
TTTTTTTTTTTTTTTT
--:-- / 19
FFFTFTFFFFFFTFTF
TTTTTTTTTTTTTTTT
--:-- / 19
FFFTFTFFFFFFTFTF
TTTTTTTTTTTTTTTT
--:PM / 19
FFFTFTFFFFFFTFTF
TTTTTTTTTTTTTTTT
--:-- / 19
FFFTFTFFFFFFTFTF
TTTTTTTTTTTTTTTT
--:-- / 19
FFFTFTFFFFFFTFTF
TTTTTTTTTTTTTTTT
--:-- / 19
FFFTFTFFFFFFTFTF
TTTTTTTTTTTTTTTT
--:-- / 19
FFFTFTFFFFFFTFTF
TTTTTTTTTTTTTTTT
--:-- / 19
FFFTFTFFFFFFTFTF
TTTTTTTTTTTTTTTT
--:-- / 19
FFFTFTFFFFFFTFTF
TTTTTTTTTTTTTTTT
--:-- / 19
000010

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

FTFFFTTFTFFTTTFT
TTTTTTTTTTTTTTTT
--:-- / 19
FTFFFTTFTFFTTTFT
TTTTTTTTTTTTTTTT
--:-- / 19
FTFFFTTFTFFTTTFT
TTTTTTTTTTTTTTTT
--:-- / 19
CC

0
CC

0
FTFFFTTFTFFTTTFT
TTTTTTTTTTTTTTTT
--:-- / 19
FTFFFTTFTFFTTTFT
TTTTTTTTTTTTTTTT
--:-- / 19
FTFFFTTFTFFTTTFT
TTTTTTTTTTTTTTTT
--:PM / 19
CC

0
CC

0
000100

FFFTTTFFTFTFTFFF (expected value)

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

FFFTTTFFTFTFTFFF
TTTTTTTTTTTTTTTT
--:-- / 19
?FFTTTFFTFTF?FFF
-TTTTTTTTTTT-TTT
--:-- / 17
?FFTTTFFTFTF?FFF
-TTTTTTTTTTT-TTT
--:-- / 17
CC

0
CC

0
FFFTTTFFTFTFTFFF
TTTTTTTTTTTTTTTT
--:-- / 19
FFFTTTFFTFTFTFFF
TTTTTTTTTTTTTTTT
--:P- / 19
FFFTTTFFTFTFTFFF
TTTTTTTTTTTTTTTT
--:-M / 19
CC

0
CC

0
001000

FFFFTTFFTTFFFFTF (expected value)

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

????????????????
----------------
--:-- / 0
FFFFT?FFTTFFF?TF
TTTTT-TTTTTTT-TT
--:-- / 17
FFFFTTFFTTF?FF?F
TTTTTTTTTTT-TT-T
--:-- / 17
????????????????
----------------
--:-- / 0
????????????????
----------------
--:-- / 0
FFFFTTFFTTFFFFTF
TTTTTTTTTTTTTTTT
--:-- / 19
FFFFTTFFTTFFFFTF
TTTTTTTTTTTTTTTT
--:PM / 19
DNF

0
????????????????
----------------
--:-- / 0
????????????????
----------------
--:-- / 0
010000

FFFT? FFFTFT? ? ? F? (expected value)

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

????????????????
----?------???-?
--:-- / 0
FFFT?FFFTFT???F?
TTTT?TTTTTT???T?
--:-- / 13
FFFT??F?T?T???F?
TTTT?-T-T-T???T?
--:-- / 10
????????????????
----?------???-?
--:-- / 0
????????????????
----?------???-?
--:-- / 0
DNF

0
DNF

0
DNF

0
????????????????
----?------???-?
--:-- / 0
????????????????
----?------???-?
--:-- / 0
100000

F? FFTF? FFTTTTTF? (expected value)

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

????????????????
-?----?--------?
--:-- / 0
F?FFTF??FTTTTT??
T?TTTT?-TTTTTT-?
--:-- / 13
F?FFTF?FF?TTTTF?
T?TTTT?TT-TTTTT?
--:-- / 15
????????????????
-?----?--------?
--:-- / 0
????????????????
-?----?--------?
--:-- / 0
CC

0
CC

0
DNF

0
????????????????
-?----?--------?
--:-- / 0
????????????????
-?----?--------?
--:-- / 0
CircularTrains — P/T
  LTSMin Tapaal LoLA M4M.full M4M.struct ITS-Tools ITS-Tools.L GreatSPN Irma.full Irma.struct
Score 67 96 105 17 19 58 58 68 17 17
Road Runner 0 0 2 0 0 0 0 2 0 0
Camel 0 0 2 0 0 0 0 2 0 0
012

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

TFTTTFTFTFTTFTTF
TTTTTTTTTTTTTTTT
--:-- / 17
TFTTTFTFTFTTFTTF
TTTTTTTTTTTTTTTT
--:-- / 17
TFTTTFTFTFTTFTTF
TTTTTTTTTTTTTTTT
--:PM / 17
TFTTTFTFTFTTFTTF
TTTTTTTTTTTTTTTT
--:-- / 17
TFTTTFTFTFTTFTTF
TTTTTTTTTTTTTTTT
--:-- / 17
TFTTTFTFTFTTFTTF
TTTTTTTTTTTTTTTT
--:-- / 17
TFTTTFTFTFTTFTTF
TTTTTTTTTTTTTTTT
--:-- / 17
TFTTTFTFTFTTFTTF
TTTTTTTTTTTTTTTT
--:-- / 17
TFTTTFTFTFTTFTTF
TTTTTTTTTTTTTTTT
--:-- / 17
TFTTTFTFTFTTFTTF
TTTTTTTTTTTTTTTT
--:-- / 17
024

TTFFTFTFFFFTTTFF (expected value)

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

TTFFTFTFFFFTTTFF
TTTTTTTTTTTTTTTT
--:-- / 17
TTFFTFTFFFFTTTFF
TTTTTTTTTTTTTTTT
--:-- / 17
T?FFTFTFFFFTTTF?
T-TTTTTTTTTTTTT-
--:-- / 15
CC

0
CC

0
TTFFTFTFFFFTTTFF
TTTTTTTTTTTTTTTT
--:-- / 17
TTFFTFTFFFFTTTFF
TTTTTTTTTTTTTTTT
--:-- / 17
TTFFTFTFFFFTTTFF
TTTTTTTTTTTTTTTT
--:PM / 17
CC

0
CC

0
048

FTFTFTTTFTFTFFTF (expected value)

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

FTFTFTTTFTFTFFTF
TTTTTTTTTTTTTTTT
--:-- / 17
FT??FT??FTFTF?TF
TT--TT--TTTTT-TT
--:-- / 12
FT?TFTTTFTFTF?T?
TT-TTTTTTTTTT-T-
--:-- / 14
CC

0
CC

0
FTFTFTTTFTFTFFTF
TTTTTTTTTTTTTTTT
--:-- / 17
FTFTFTTTFTFTFFTF
TTTTTTTTTTTTTTTT
--:-- / 17
FTFTFTTTFTFTFFTF
TTTTTTTTTTTTTTTT
--:PM / 17
CC

0
CC

0
096

TFFFFFTFFFTFTFTF (expected value)

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

??FFFFTFFFT?TFTF
--TTTTTTTTT-TTTT
--:-- / 14
???FFFTFFFTFTFTF
---TTTTTTTTTTTTT
--:-- / 14
TFFFFFTFFFTFTFTF
TTTTTTTTTTTTTTTT
--:PM / 17
CC

0
CC

0
TF??????????????
TT--------------
--:-- / 2
TF??????????????
TT--------------
--:-- / 2
TFFFFFTFFFTFTFTF
TTTTTTTTTTTTTTTT
--:-- / 17
CC

0
CC

0
192

TFT? ? TTFFFFTFT? ? (expected value)

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

TF??????????????
TT-??---------??
--:-- / 2
TFT??T?FFFF?F???
TTT??T-TTTT-T-??
--:-- / 10
TF???TTFFFFTFT??
TT-??TTTTTTTTT??
--:-- / 12
CC

0
CC

0
TFT?????????????
TTT??---------??
--:-- / 3
TFT?????????????
TTT??---------??
--:-- / 3
DNF

0
CC

0
CC

0
384

FTTTFTFFTF? TFFTF (expected value)

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

????????????????
----------?-----
--:-- / 0
F???FTF?TF?TFFTF
T---TTT-TT?TTTTT
--:-- / 12
FTTTFTFFTF?TFFTF
TTTTTTTTTT?TTTTT
--:-- / 16
????????????????
----------?-----
--:-- / 0
F???????????????
T---------?-----
--:-- / 1
F???????????????
T---------?-----
--:-- / 1
F???????????????
T---------?-----
--:-- / 1
DNF

0
????????????????
----------?-----
--:-- / 0
????????????????
----------?-----
--:-- / 0
768

T? TFFF? FF? TFFFTF (expected value)

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

????????????????
-?----?--?------
--:-- / 0
T?TFFF?FF?TFFFTF
T?TTTT?TT?TTTTTT
--:-- / 14
T?TFFF?FF?TFFFTF
T?TTTT?TT?TTTTTT
--:-- / 14
????????????????
-?----?--?------
--:-- / 0
T???????????????
T?----?--?------
--:-- / 1
T???????????????
T?----?--?------
--:-- / 1
T???????????????
T?----?--?------
--:-- / 1
DNF

0
????????????????
-?----?--?------
--:-- / 0
????????????????
-?----?--?------
--:-- / 0
ClientsAndServers — P/T
  LTSMin Tapaal LoLA M4M.full M4M.struct ITS-Tools ITS-Tools.L GreatSPN Irma.full Irma.struct
Score 37 137 128 24 35 35 35 40 100 99
Road Runner 1 1 3 0 0 0 0 1 0 1
Camel 0 0 4 1 0 0 0 1 1 0
N0001P0

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

TTFTTFFFFFTTFTFF
TTTTTTTTTTTTTTTT
--:-- / 8
TTFTTFFFFFTTFTFF
TTTTTTTTTTTTTTTT
--:-- / 8
TTFTTFFFFFTTFTFF
TTTTTTTTTTTTTTTT
--:PM / 8
TTFTTFFFFFTTFTFF
TTTTTTTTTTTTTTTT
--:-- / 8
TTFTTFFFFFTTFTFF
TTTTTTTTTTTTTTTT
--:-- / 8
TTFTTFFFFFTTFTFF
TTTTTTTTTTTTTTTT
--:-- / 8
TTFTTFFFFFTTFTFF
TTTTTTTTTTTTTTTT
--:-- / 8
TTFTTFFFFFTTFTFF
TTTTTTTTTTTTTTTT
--:-- / 8
TTFTTFFFFFTTFTFF
TTTTTTTTTTTTTTTT
--:-- / 8
TTFTTFFFFFTTFTFF
TTTTTTTTTTTTTTTT
--:-- / 8
N0002P0

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

FTTFFTFFTTTTFTFT
TTTTTTTTTTTTTTTT
--:P- / 8
FTTFFTFFTTTTFTFT
TTTTTTTTTTTTTTTT
--:-- / 8
FTTFFTFFTTTTFTFT
TTTTTTTTTTTTTTTT
--:-- / 8
FTTFFTFFTTTTFTFT
TTTTTTTTTTTTTTTT
--:-M / 8
FTTFFTFFTTTTFTFT
TTTTTTTTTTTTTTTT
--:-- / 8
FTTFFTFFTTTTFTFT
TTTTTTTTTTTTTTTT
--:-- / 8
FTTFFTFFTTTTFTFT
TTTTTTTTTTTTTTTT
--:-- / 8
FTTFFTFFTTTTFTFT
TTTTTTTTTTTTTTTT
--:-- / 8
FTTFFTFFTTTTFTF?
TTTTTTTTTTTTTTT-
--:-- / 7
FTTFFTFFTTTTFTF?
TTTTTTTTTTTTTTT-
--:-- / 7
N0002P1

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

FFTTTTTFTTTTFFFT
TTTTTTTTTTTTTTTT
--:-- / 8
FFTTTTTFTTTTFFFT
TTTTTTTTTTTTTTTT
--:-- / 8
FFTTTTTFTTTTFFFT
TTTTTTTTTTTTTTTT
--:PM / 8
FFTTTTTFTTTTFFFT
TTTTTTTTTTTTTTTT
--:-- / 8
FFTTTTTFTTTTFFFT
TTTTTTTTTTTTTTTT
--:-- / 8
FFTTTTTFTTTTFFFT
TTTTTTTTTTTTTTTT
--:-- / 8
FFTTTTTFTTTTFFFT
TTTTTTTTTTTTTTTT
--:-- / 8
FFTTTTTFTTTTFFFT
TTTTTTTTTTTTTTTT
--:-- / 8
????????????????
----------------
--:-- / 0
????????????????
----------------
--:-- / 0
N0005P0

FFFFTTTFTTFFTFFF (expected value)

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

FFFFTTTFTTFFTFFF
TTTTTTTTTTTTTTTT
--:-- / 8
FFFF?TTFTTF?TFFF
TTTT-TTTTTT-TTTT
--:-- / 7
FFFF??TF?T?FTFFF
TTTT--TT-T-TTTTT
--:-- / 6
DNF

0
FFFFTT??????????
TTTTTT----------
--:-- / 3
FFFFTT??????????
TTTTTT----------
--:-- / 3
FFFFTT??????????
TTTTTT----------
--:-- / 3
FFFFTTTFTTFFTFFF
TTTTTTTTTTTTTTTT
--:PM / 8
FFFFTTTFT?FFTFFF
TTTTTTTTT-TTTTTT
--:-- / 7
FFFFTTTFT?FFTFFF
TTTTTTTTT-TTTTTT
--:-- / 7
N0005P1

FFFTTTTFFTFTTTTT (expected value)

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

FFFTTT?FFTF?T???
TTTTTT-TTTT-T---
--:-- / 5
FFFTTTTFFTFTTTTT
TTTTTTTTTTTTTTTT
--:P- / 8
FFFTTTTFFTFTTTTT
TTTTTTTTTTTTTTTT
--:-M / 8
DNF

0
FFFTTTTFFTFTTTTT
TTTTTTTTTTTTTTTT
--:-- / 8
FFFTTTTFFTFTTTTT
TTTTTTTTTTTTTTTT
--:-- / 8
FFFTTTTFFTFTTTTT
TTTTTTTTTTTTTTTT
--:-- / 8
FFFTTTTFFTFTTTTT
TTTTTTTTTTTTTTTT
--:-- / 8
FFFTTTTFFTFTTTTT
TTTTTTTTTTTTTTTT
--:-- / 8
FFFTTTTFFTFTTTTT
TTTTTTTTTTTTTTTT
--:-- / 8
N0010P0

TFTTFTFTFTFTTTFT (expected value)

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

????????????????
----------------
--:-- / 0
?FTT?TFTFTFTTTFT
-TTT-TTTTTTTTTTT
--:-- / 7
TFTT?TFTFTFTTTFT
TTTT-TTTTTTTTTTT
--:-- / 7
DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
TFTTFTFTFTFTTT?T
TTTTTTTTTTTTTT-T
--:-- / 7
TFTTFTFTFTFTTT?T
TTTTTTTTTTTTTT-T
--:-- / 7
N0010P1

FFTT? TTTTFFTTFTF (expected value)

2 4.00 4.00 4.00 0 4.00 4.00 3.00 4.00 4.00 4.00 3.00 4.00 4.00 4.00 4.00 (confidence rate)

????????????????
----?-----------
--:-- / 0
?FTT?TT?TFF?TFTF
-TTT?TT-TTT-TTTT
--:-- / 6
?FTT?TTTTFFTTFTF
-TTT?TTTTTTTTTTT
--:-- / 7
DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
FFTT?TTTTFFTTFTF
TTTT?TTTTTTTTTTT
--:-- / 7
FFTT?TTTTFFTTFTF
TTTT?TTTTTTTTTTT
--:-- / 7
N0010P2

F? FTFFFFFFTFTTFF (expected value)

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

????????????????
-?--------------
--:-- / 0
F??TFFF??FTFTTFF
T?-TTTT--TTTTTTT
--:-- / 6
F?FTFFFFFFTFTTFF
T?TTTTTTTTTTTTTT
--:-- / 7
DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
F?FTFFFFFFTFTT?F
T?TTTTTTTTTTTT-T
--:-- / 7
F?FTFFFFFFTFTT??
T?TTTTTTTTTTTT--
--:-- / 6
N0020P0

TFTFFTTTFFFTFTTT (expected value)

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

????????????????
----------------
--:-- / 0
TFTF?TTTF?FTFTTT
TTTT-TTTT-TTTTTT
--:-- / 7
TF?FFTTTFFFTFTTT
TT-TTTTTTTTTTTTT
--:-- / 7
DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
TFTFFTTTF?FTFTTT
TTTTTTTTT-TTTTTT
--:-- / 7
TFTFFTTTF?FTFTTT
TTTTTTTTT-TTTTTT
--:-- / 7
N0020P1

FTFFTT? FTTFFFTTF (expected value)

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

????????????????
------?---------
--:-- / 0
FTFFTT?FTTFFFTTF
TTTTTT?TTTTTTTTT
--:-- / 7
FTFFTT?FTTFFF?TF
TTTTTT?TTTTTT-TT
--:-- / 7
DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
????????????????
------?---------
--:-- / 0
????????????????
------?---------
--:-- / 0
N0020P2

TTFTF? TFTTTTFTTF (expected value)

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

????????????????
-----?----------
--:-- / 0
TTFTF?TFTTTTFTT?
TTTTT?TTTTTTTTT-
--:-- / 7
TTFTF?TFTTTTFTTF
TTTTT?TTTTTTTTTT
--:-- / 7
DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
TTFTF?TFTTTTFTTF
TTTTT?TTTTTTTTTT
--:-- / 7
TTFTF?TFTTTTFTTF
TTTTT?TTTTTTTTTT
--:-- / 7
N0020P3

FTFTFTTTTTTTTFTT (expected value)

3.00 4.00 3.00 3.00 3.00 3.00 3.00 3.00 3.00 3.00 3.00 3.00 3.00 2 3.00 1.00 (confidence rate)

????????????????
----------------
--:-- / 0
FTFTFTTTTTTTT?TT
TTTTTTTTTTTTT-TT
--:-- / 7
?T??????????????
-T--------------
--:-- / 0
DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
FTFTFTTTTTTTTFT?
TTTTTTTTTTTTTTT-
--:-- / 7
FTFTFTTTTTTTTFT?
TTTTTTTTTTTTTTT-
--:-- / 7
N0020P4

FTFFTTTFTFTTTTFT (expected value)

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

????????????????
----------------
--:-- / 0
?TFFTTTFTFTTTTFT
-TTTTTTTTTTTTTTT
--:-- / 7
FTFFTTTFTFTTTTF?
TTTTTTTTTTTTTTT-
--:-- / 7
DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
FTFFTTTFTFTTT?FT
TTTTTTTTTTTTT-TT
--:-- / 7
FTFFTTTFTFTTT?FT
TTTTTTTTTTTTT-TT
--:-- / 7
N0050P0

TTTTFTTFTTFFTTTT (expected value)

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

????????????????
----------------
--:-- / 0
?TTTFTTFTTFFTTTT
-TTTTTTTTTTTTTTT
--:-- / 7
TTT??T?FTTFF?TTT
TTT--T-TTTTT-TTT
--:-- / 6
DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
TTTTFTTFTTFFTTTT
TTTTTTTTTTTTTTTT
--:-M / 8
TTTTFTTFTTFFTTTT
TTTTTTTTTTTTTTTT
--:P- / 8
N0100P0

FTTTTFTFFTTTT? TF (expected value)

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

????????????????
-------------?--
--:-- / 0
FT??TFTFFTTTT?TF
TT--TTTTTTTTT?TT
--:-- / 6
FTTTTFTFFTTTT?TF
TTTTTTTTTTTTT?TT
--:-- / 7
DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
FTTTTFTFFTTTT?TF
TTTTTTTTTTTTT?TT
--:-- / 7
FTTTTFTFFTTTT?TF
TTTTTTTTTTTTT?TT
--:-- / 7
N0200P0

TTFTFT? F? TF? FTTF (expected value)

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

????????????????
------?-?--?----
--:-- / 0
TTFTFT?F??F?FTTF
TTTTTT?T?-T?TTTT
--:-- / 6
TTFTFT?F?TF?FTTF
TTTTTT?T?TT?TTTT
--:-- / 6
DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
????????????????
------?-?--?----
--:-- / 0
????????????????
------?-?--?----
--:-- / 0
N0500P0

FTFTF? TFFFFFFFFT (expected value)

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

????????????????
-----?----------
--:-- / 0
FTFTF?TFFFFFFF?T
TTTTT?TTTTTTTT-T
--:-- / 7
FTFTF?TFFFFFFFFT
TTTTT?TTTTTTTTTT
--:-- / 7
DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
FTFTF?TFFF?FFFF?
TTTTT?TTTT-TTTT-
--:-- / 6
FTFTF?TFFF?FFFF?
TTTTT?TTTT-TTTT-
--:-- / 6
N1000P0

FFFFTFFTTFFFFFTF (expected value)

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

????????????????
----------------
--:-- / 0
FFFFTFFTTF??F?TF
TTTTTTTTTT--T-TT
--:-- / 6
FFFFTFFTTFFFFFTF
TTTTTTTTTTTTTTTT
--:PM / 8
DNF

0
CC

0
CC

0
CC

0
DNF

0
????????????????
----------------
--:-- / 0
????????????????
----------------
--:-- / 0
N2000P0

TTFF? FT? ? FTT? FTT (expected value)

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

????????????????
----?--??---?---
--:-- / 0
TTFF?FT??FTT?FTT
TTTT?TT??TTT?TTT
--:-- / 6
TTFF?F???FTT?FTT
TTTT?T-??TTT?TTT
--:-- / 5
DNF

0
CC

0
CC

0
CC

0
DNF

0
????????????????
----?--??---?---
--:-- / 0
????????????????
----?--??---?---
--:-- / 0
N5000P0

? ? FTFFF? TTTF? FFT (expected value)

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

????????????????
??-----?----?---
--:-- / 0
??FTFFF?TTTF?FFT
??TTTTT?TTTT?TTT
--:-- / 6
??????F??T????FT
??----T?-T--?-TT
--:-- / 2
DNF

0
CC

0
CC

0
CC

0
DNF

0
????????????????
??-----?----?---
--:-- / 0
????????????????
??-----?----?---
--:-- / 0
CloudDeployment — P/T
  LTSMin Tapaal LoLA M4M.full M4M.struct ITS-Tools ITS-Tools.L GreatSPN Irma.full Irma.struct
Score 66 126 112 46 46 77 67 55 51 51
Road Runner 0 3 3 0 0 3 1 0 0 0
Camel 0 1 4 0 0 1 0 1 3 0
2a

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

TFFFFFTTFTFFFFTF
TTTTTTTTTTTTTTTT
--:-- / 11
TFFFFFTTFTFFFFTF
TTTTTTTTTTTTTTTT
--:-- / 11
TFFFFFTTFTFFFFTF
TTTTTTTTTTTTTTTT
--:PM / 11
TFFFFFTTFTFFFF??
TTTTTTTTTTTTTT--
--:-- / 10
TFFFFFTTFTFFFF??
TTTTTTTTTTTTTT--
--:-- / 10
TFFFFFTTFTFFFFTF
TTTTTTTTTTTTTTTT
--:-- / 11
TFFFFFTTFTFFFFTF
TTTTTTTTTTTTTTTT
--:-- / 11
TFFFFFTTFTFFFFTF
TTTTTTTTTTTTTTTT
--:-- / 11
TFFFFFTTFTFFFF??
TTTTTTTTTTTTTT--
--:-- / 10
TFFFFFTTFTFFFF??
TTTTTTTTTTTTTT--
--:-- / 10
2b

TFFFFTTTFTFFTFTT (expected value)

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

????????????????
----------------
--:-- / 0
TFF?FTT?FTFFTFTT
TTT-TTT-TTTTTTTT
--:-- / 10
?FF??TT?F??FT??T
-TT--TT-T--TT--T
--:-- / 6
????????????????
----------------
--:-- / 0
????????????????
----------------
--:-- / 0
TFFFFTTTFTFFTFTT
TTTTTTTTTTTTTTTT
--:PM / 11
T???????????????
T---------------
--:-- / 1
DNF

0
????????????????
----------------
--:-- / 0
????????????????
----------------
--:-- / 0
3a

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

TTFFTTFTTFTFFFFF
TTTTTTTTTTTTTTTT
--:-- / 11
TTFFTTFTTFTFFFFF
TTTTTTTTTTTTTTTT
--:P- / 11
TTFFTTFTTFTFFFFF
TTTTTTTTTTTTTTTT
--:-- / 11
CC

0
CC

0
TTFFTTFTTFTFFFFF
TTTTTTTTTTTTTTTT
--:-- / 11
TTFFTTFTTFTFFFFF
TTTTTTTTTTTTTTTT
--:-- / 11
TTFFTTFTTFTFFFFF
TTTTTTTTTTTTTTTT
--:-M / 11
CC

0
CC

0
3b

FTFFTFFFTFTFFTFF (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
FTFFTFFFTFTFFTFF
TTTTTTTTTTTTTTTT
--:-- / 11
FTFFTFFFTFTFFTFF
TTTTTTTTTTTTTTTT
--:PM / 11
CC

0
CC

0
DNF

0
CC

0
DNF

0
CC

0
CC

0
4a

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

TFTTTTFFTFFFTFFF
TTTTTTTTTTTTTTTT
--:-- / 11
TFTTTTFFTFFFTFFF
TTTTTTTTTTTTTTTT
--:P- / 11
TFTTTTFFTFFFTFFF
TTTTTTTTTTTTTTTT
--:-M / 11
CC

0
CC

0
TFTTTTFFTFFFTFFF
TTTTTTTTTTTTTTTT
--:-- / 11
TFTTTTFFTFFFTFFF
TTTTTTTTTTTTTTTT
--:-- / 11
TFTTTTFFTFFFTFFF
TTTTTTTTTTTTTTTT
--:-- / 11
CC

0
CC

0
4b

? FFFFFTFFFFFFFTF (expected value)

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

????????????????
?---------------
--:-- / 0
?FFFFFTFFFFFFFTF
?TTTTTTTTTTTTTTT
--:-- / 10
?FFFFFTFFFFFFFTF
?TTTTTTTTTTTTTTT
--:-- / 10
CC

0
CC

0
CC

0
CC

0
DNF

0
CC

0
CC

0
5a

FFTTFTFTFTTFTTFF (expected value)

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

FFTTFTFTFTTFTTFF
TTTTTTTTTTTTTTTT
--:-- / 11
FFTTFTFTFTTFTT?F
TTTTTTTTTTTTTT-T
--:-- / 10
F?????F???T??T?F
T-----T---T--T-T
--:-- / 3
FFTTFTFTFTTFTTF?
TTTTTTTTTTTTTTT-
--:-- / 10
FFTTFTFTFTTFTTF?
TTTTTTTTTTTTTTT-
--:-- / 10
FFTTFTFTFTTFTTFF
TTTTTTTTTTTTTTTT
--:P- / 11
FFTTFTFTFTTFTTFF
TTTTTTTTTTTTTTTT
--:-- / 11
FFTTFTFTFTTFTTFF
TTTTTTTTTTTTTTTT
--:-- / 11
FFTTFTFTFTTFTTFF
TTTTTTTTTTTTTTTT
--:-M / 11
FFTTFTFTFTTFTTFF
TTTTTTTTTTTTTTTT
--:-- / 11
5b

TFFFFTTFTFFFTFFF (expected value)

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

????????????????
----------------
--:-- / 0
TFFFFTTFTFFFTFFF
TTTTTTTTTTTTTTTT
--:-- / 11
TFFFFTTFTFFFTFFF
TTTTTTTTTTTTTTTT
--:PM / 11
T??FFTTFT?FFT?F?
T--TTTTTT-TTT-T-
--:-- / 8
T??FFTTFT?FFT?F?
T--TTTTTT-TTT-T-
--:-- / 8
CC

0
CC

0
DNF

0
T??FFTTFT?FFT?F?
T--TTTTTT-TTT-T-
--:-- / 8
T??FFTTFT?FFT?F?
T--TTTTTT-TTT-T-
--:-- / 8
6a

FFFTFTTFFTFFFFTT (expected value)

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

FFFTFTTFFTFFFFTT
TTTTTTTTTTTTTTTT
--:-- / 11
F?FTFTTF?TFFFFTT
T-TTTTTT-TTTTTTT
--:-- / 10
F?FTFT?FFTFFFFTT
T-TTTT-TTTTTTTTT
--:-- / 10
F?FT?TTFFTFFFFTT
T-TT-TTTTTTTTTTT
--:-- / 10
F?FT?TTFFTFFFFTT
T-TT-TTTTTTTTTTT
--:-- / 10
FFFTFTTFFTFFFFTT
TTTTTTTTTTTTTTTT
--:-- / 11
FFFTFTTFFTFFFFTT
TTTTTTTTTTTTTTTT
--:P- / 11
FFFTFTTFFTFFFFTT
TTTTTTTTTTTTTTTT
--:-- / 11
FFFTFTTFFTFFFFTT
TTTTTTTTTTTTTTTT
--:-M / 11
FFFTFTTFFTFFFFTT
TTTTTTTTTTTTTTTT
--:-- / 11
6b

TTFTTTTFFTFTFFTF (expected value)

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

????????????????
----------------
--:-- / 0
TTFTTTTFFTFTFFTF
TTTTTTTTTTTTTTTT
--:PM / 11
TTFTTTTFF?FTFFTF
TTTTTTTTT-TTTTTT
--:-- / 10
????????????????
----------------
--:-- / 0
????????????????
----------------
--:-- / 0
CC

0
CC

0
DNF

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

FFFFTFTTTFTTFTFT (expected value)

9.00 9.00 9.00 7.00 9.00 9.00 9.00 7.00 9.00 9.00 7.00 9.00 9.00 5.00 7.00 9.00 (confidence rate)

FFFFTFTTTFTTFTFT
TTTTTTTTTTTTTTTT
--:-- / 11
FFFFTFTTTFTTF?FT
TTTTTTTTTTTTT-TT
--:-- / 10
FFFFTFTTTFTTF?FT
TTTTTTTTTTTTT-TT
--:-- / 10
FFF?TFT?TF?TF??T
TTT-TTT-TT-TT--T
--:-- / 8
FFF?TFT?TF?TF??T
TTT-TTT-TT-TT--T
--:-- / 8
FFFFTFTTTFTTFTFT
TTTTTTTTTTTTTTTT
--:P- / 11
FFFFTFTTTFTTFTFT
TTTTTTTTTTTTTTTT
--:-- / 11
DNF

0
FFFFTFTTTFTTFTFT
TTTTTTTTTTTTTTTT
--:-M / 11
FFFFTFTTTFTTFTFT
TTTTTTTTTTTTTTTT
--:-- / 11
7b

? TTFFTTTTFTFFFFF (expected value)

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

????????????????
?---------------
--:-- / 0
?TTFFTTTTF?FFFFF
?TTTTTTTTT-TTTTT
--:-- / 10
?TTFFT??TFTFFFF?
?TTTTT--TTTTTTT-
--:-- / 8
????????????????
?---------------
--:-- / 0
????????????????
?---------------
--:-- / 0
CC

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 0 152 137 58 58 50 24 0 45 45
Road Runner 0 14 0 0 0 1 0 0 0 0
Camel 0 9 5 0 0 0 1 0 0 0
301

TFFFFFTFFFTFF? TF (expected value)

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

????????????????
-------------?--
--:-- / 0
TFFFFFTFFFTFF?TF
TTTTTTTTTTTTT?TT
--:-- / 7
?FFFFF?F?F????T?
-TTTTT-T-T---?T-
--:-- / 4
????????????????
-------------?--
--:-- / 0
????????????????
-------------?--
--:-- / 0
TFFFFFTFFFT?????
TTTTTTTTTTT--?--
--:-- / 5
TFFFFF??????????
TTTTTT-------?--
--:-- / 3
DNF

0
????????????????
-------------?--
--:-- / 0
????????????????
-------------?--
--:-- / 0
302

FFFTTFFTFTFFTFFT (expected value)

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

????????????????
----------------
--:-- / 0
FFFTTFFTFTFFTFFT
TTTTTTTTTTTTTTTT
--:PM / 7
?FFTTFFTFTF?TFF?
-TTTTTTTTTT-TTT-
--:-- / 6
????????????????
----------------
--:-- / 0
????????????????
----------------
--:-- / 0
FFFTTFF?????????
TTTTTTT---------
--:-- / 3
FFF?????????????
TTT-------------
--:-- / 1
DNF

0
FFFTTFF?????????
TTTTTTT---------
--:-- / 3
FFFTTFF?????????
TTTTTTT---------
--:-- / 3
303

TFFFFFFFFTFFFTTT (expected value)

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

????????????????
----------------
--:-- / 0
TFFFFFFFFTFFFTTT
TTTTTTTTTTTTTTTT
--:PM / 7
TFFFFFFF???FFT??
TTTTTTTT---TTT--
--:-- / 5
????????????????
----------------
--:-- / 0
????????????????
----------------
--:-- / 0
TFFFFFFF????????
TTTTTTTT--------
--:-- / 4
CC

0
DNF

0
????????????????
----------------
--:-- / 0
????????????????
----------------
--:-- / 0
304

TTTFTTFFFFFTTTTT (expected value)

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

????????????????
----------------
--:-- / 0
TTTFTTFFFFFTTTTT
TTTTTTTTTTTTTTTT
--:P- / 7
TTTFTTFFFFFTTTTT
TTTTTTTTTTTTTTTT
--:-M / 7
TTTFTTFFF?FTTTT?
TTTTTTTTT-TTTTT-
--:-- / 6
TTTFTTFFF?FTTTT?
TTTTTTTTT-TTTTT-
--:-- / 6
TTTFT???????????
TTTTT-----------
--:-- / 2
TTTFT???????????
TTTTT-----------
--:-- / 2
DNF

0
TTTFT???????????
TTTTT-----------
--:-- / 2
TTTFT???????????
TTTTT-----------
--:-- / 2
305

FTTTFFFFFF? TFFFF (expected value)

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

????????????????
----------?-----
--:-- / 0
FTTTFFFF?F?TFFFF
TTTTTTTT-T?TTTTT
--:-- / 6
FTTTFFFF?F?T?FFF
TTTTTTTT-T?T-TTT
--:-- / 6
????????????????
----------?-----
--:-- / 0
????????????????
----------?-----
--:-- / 0
FTTTFFFFFF??????
TTTTTTTTTT?-----
--:-- / 5
FT??????????????
TT--------?-----
--:-- / 1
DNF

0
????????????????
----------?-----
--:-- / 0
????????????????
----------?-----
--:-- / 0
306

FFTTFTFFFTFFTTFF (expected value)

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

????????????????
----------------
--:-- / 0
FFTTFTFFFTFFTTFF
TTTTTTTTTTTTTTTT
--:PM / 7
F?TTFTFFFTFFT?FF
T-TTTTTTTTTTT-TT
--:-- / 6
????????????????
----------------
--:-- / 0
????????????????
----------------
--:-- / 0
FFTTFTF?????????
TTTTTTT---------
--:-- / 3
FFTTFTF?????????
TTTTTTT---------
--:-- / 3
DNF

0
????????????????
----------------
--:-- / 0
????????????????
----------------
--:-- / 0
307

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

????????????????
----------------
--:-- / 0
FFFFTFFFFTFTFTF?
TTTTTTTTTTTTTTT-
--:-- / 7
FFFFTFFFFTFTF?F?
TTTTTTTTTTTTT-T-
--:-- / 6
????????????????
----------------
--:-- / 0
????????????????
----------------
--:-- / 0
FFFFTFFFFTFTFTFT
TTTTTTTTTTTTTTTT
--:P- / 7
FFFFTFFFFTFTFTFT
TTTTTTTTTTTTTTTT
--:-M / 7
DNF

0
????????????????
----------------
--:-- / 0
????????????????
----------------
--:-- / 0
308

TFFFTFFFFTTTFTFF (expected value)

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

????????????????
----------------
--:-- / 0
TFFFTF?FFTTTFTFF
TTTTTT-TTTTTTTTT
--:-- / 7
TFFF?FFFFT?TFTFF
TTTT-TTTTT-TTTTT
--:-- / 6
TFFF?FFFFTTTFTF?
TTTT-TTTTTTTTTT-
--:-- / 6
TFFF?FFFFTTTFTF?
TTTT-TTTTTTTTTT-
--:-- / 6
TFFFT???????????
TTTTT-----------
--:-- / 2
TFFF????????????
TTTT------------
--:-- / 2
DNF

0
TFFF?FFFFTTTFTF?
TTTT-TTTTTTTTTT-
--:-- / 6
TFFF?FFFFTTTFTF?
TTTT-TTTTTTTTTT-
--:-- / 6
309

FFTTFFFFTFFFFFFT (expected value)

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

????????????????
----------------
--:-- / 0
FFTTFFFFTFFFFFFT
TTTTTTTTTTTTTTTT
--:P- / 7
FFTTFFFFTFFFFFFT
TTTTTTTTTTTTTTTT
--:-M / 7
FFTTFFFFT??F?F??
TTTTTTTTT--T-T--
--:-- / 5
FFTTFFFFT??F?F??
TTTTTTTTT--T-T--
--:-- / 5
FFT?????????????
TTT-------------
--:-- / 1
FF??????????????
TT--------------
--:-- / 1
DNF

0
FFT?????????????
TTT-------------
--:-- / 1
FFT?????????????
TTT-------------
--:-- / 1
310

TTTFTTFTTFFFTFTT (expected value)

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

????????????????
----------------
--:-- / 0
TTTFTTFTTFFFTFTT
TTTTTTTTTTTTTTTT
--:PM / 7
TTTFTTFT?FFF?FTT
TTTTTTTT-TTT-TTT
--:-- / 6
TTT?TTFTTFFF?FTT
TTT-TTTTTTTT-TTT
--:-- / 6
TTT?TTFTTFFF?FTT
TTT-TTTTTTTT-TTT
--:-- / 6
TTTF????????????
TTTT------------
--:-- / 2
T???????????????
T---------------
--:-- / 0
DNF

0
TTTF????????????
TTTT------------
--:-- / 2
TTTF????????????
TTTT------------
--:-- / 2
311

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

????????????????
----------------
--:-- / 0
FTTTTFTTTFTFTTTT
TTTTTTTTTTTTTTTT
--:PM / 7
FTTTTFTTTFTFTTTT
TTTTTTTTTTTTTTTT
--:-- / 7
FTTTTFTTTFTFTT?T
TTTTTTTTTTTTTT-T
--:-- / 7
FTTTTFTTTFTFTT?T
TTTTTTTTTTTTTT-T
--:-- / 7
DNF

0
DNF

0
DNF

0
FTTTTFTTTFTFTT?T
TTTTTTTTTTTTTT-T
--:-- / 7
FTTTTFTTTFTFTT?T
TTTTTTTTTTTTTT-T
--:-- / 7
312

FTFTTFTFFFTFFFTF (expected value)

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

????????????????
----------------
--:-- / 0
FTFTTFTFFFTFFFTF
TTTTTTTTTTTTTTTT
--:P- / 7
FTFTTFTFFFTFFFTF
TTTTTTTTTTTTTTTT
--:-M / 7
FTF?TFTFF?TFFFTF
TTT-TTTTT-TTTTTT
--:-- / 6
FTF?TFTFF?TFFFTF
TTT-TTTTT-TTTTTT
--:-- / 6
F???????????????
T---------------
--:-- / 0
F???????????????
T---------------
--:-- / 0
DNF

0
FTF?TFTFF?TFFFTF
TTT-TTTTT-TTTTTT
--:-- / 6
FTF?TFTFF?TFFFTF
TTT-TTTTT-TTTTTT
--:-- / 6
313

FTFFFFFFTFTTTTFF (expected value)

4.00 4.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
FTFFFFFFTFTTTTFF
TTTTTTTTTTTTTTTT
--:PM / 7
FTFFFFFFTFTTTTFF
TTTTTTTTTTTTTTTT
--:-- / 7
????????????????
----------------
--:-- / 0
????????????????
----------------
--:-- / 0
FTFFFFFFTFTTTTFF
TTTTTTTTTTTTTTTT
--:-- / 7
FT??????????????
TT--------------
--:-- / 1
DNF

0
????????????????
----------------
--:-- / 0
????????????????
----------------
--:-- / 0
314

TTTTFTTFFTTFFFFT (expected value)

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

????????????????
----------------
--:-- / 0
TTTTFTTFFTTFFFFT
TTTTTTTTTTTTTTTT
--:PM / 7
TTTTFT?FFTTFFFFT
TTTTTT-TTTTTTTTT
--:-- / 7
????????????????
----------------
--:-- / 0
????????????????
----------------
--:-- / 0
TTTTFTTFFT??????
TTTTTTTTTT------
--:-- / 5
TTT?????????????
TTT-------------
--:-- / 1
DNF

0
????????????????
----------------
--:-- / 0
????????????????
----------------
--:-- / 0
315

TTFFTFTTTFFTTF? F (expected value)

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

????????????????
--------------?-
--:-- / 0
TTFFTFTT?FFTTF?F
TTTTTTTT-TTTTT?T
--:-- / 6
TT?FTFTTTFFTTF?F
TT-TTTTTTTTTTT?T
--:-- / 6
TTF?TFTTTF?TTF??
TTT-TTTTTT-TTT?-
--:-- / 5
TTF?TFTTTF?TTF??
TTT-TTTTTT-TTT?-
--:-- / 5
TT??????????????
TT------------?-
--:-- / 1
TT??????????????
TT------------?-
--:-- / 1
DNF

0
TTF?TFTTTF?TTF??
TTT-TTTTTT-TTT?-
--:-- / 5
TTF?TFTTTF?TTF??
TTT-TTTTTT-TTT?-
--:-- / 5
316

FFTFFTFFTFTFFTTF (expected value)

6.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
FFTFFTFFTFTFFTTF
TTTTTTTTTTTTTTTT
--:P- / 7
FFTFFTFFTFTFFTTF
TTTTTTTTTTTTTTTT
--:-M / 7
????????????????
----------------
--:-- / 0
????????????????
----------------
--:-- / 0
F???????????????
T---------------
--:-- / 0
F???????????????
T---------------
--:-- / 0
DNF

0
F???????????????
T---------------
--:-- / 0
F???????????????
T---------------
--:-- / 0
317

TFTTFFTFTFFTFFTF (expected value)

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

????????????????
----------------
--:-- / 0
TFTTFFTFTFFTFFTF
TTTTTTTTTTTTTTTT
--:PM / 7
T?TTFFTFTFFTFFTF
T-TTTTTTTTTTTTTT
--:-- / 7
T?TT?FTFTFFTF?TF
T-TT-TTTTTTTT-TT
--:-- / 6
T?TT?FTFTFFTF?TF
T-TT-TTTTTTTT-TT
--:-- / 6
CC

0
CC

0
DNF

0
T?TT?FTFTFFTF?TF
T-TT-TTTTTTTT-TT
--:-- / 6
T?TT?FTFTFFTF?TF
T-TT-TTTTTTTT-TT
--:-- / 6
318

FFTFFTTFTFTFFTFF (expected value)

6.00 5.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
FFTFFTTFTFTFFTFF
TTTTTTTTTTTTTTTT
--:P- / 7
FFTFFTTFTFTFFTFF
TTTTTTTTTTTTTTTT
--:-M / 7
????????????????
----------------
--:-- / 0
????????????????
----------------
--:-- / 0
FF??????????????
TT--------------
--:-- / 1
F???????????????
T---------------
--:-- / 0
DNF

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

FTFTTTFTFFFTFFFT (expected value)

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

????????????????
----------------
--:-- / 0
FTFTTTFTFFFTFFFT
TTTTTTTTTTTTTTTT
--:PM / 7
F?FTTTFTFFFTFFF?
T-TTTTTTTTTTTTT-
--:-- / 6
FTFTTTFTFFFTFF??
TTTTTTTTTTTTTT--
--:-- / 6
FTFTTTFTFFFTFF??
TTTTTTTTTTTTTT--
--:-- / 6
FTF?????????????
TTT-------------
--:-- / 1
FTF?????????????
TTT-------------
--:-- / 1
DNF

0
FTFTTTFTFFFTFF??
TTTTTTTTTTTTTT--
--:-- / 6
FTFTTTFTFFFTFF??
TTTTTTTTTTTTTT--
--:-- / 6
320

FF? FTTTFTTTFTFFF (expected value)

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

????????????????
--?-------------
--:-- / 0
FF?FTTTFTTTFTFFF
TT?TTTTTTTTTTTTT
--:-- / 7
FF?F?TTFTTTFTFFF
TT?T-TTTTTTTTTTT
--:-- / 6
FF?F?TTFTTTFT??F
TT?T-TTTTTTTT--T
--:-- / 5
FF?F?TTFTTTFT??F
TT?T-TTTTTTTT--T
--:-- / 5
F???????????????
T-?-------------
--:-- / 0
F???????????????
T-?-------------
--:-- / 0
DNF

0
F???????????????
T-?-------------
--:-- / 0
F???????????????
T-?-------------
--:-- / 0
401

TTTFFFFFTFFTTTT? (expected value)

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

????????????????
---------------?
--:-- / 0
TTTFFFFFTFFTTTT?
TTTTTTTTTTTTTTT?
--:-- / 7
TTTFFF?F?FFTTTT?
TTTTTT-T-TTTTTT?
--:-- / 6
????????????????
---------------?
--:-- / 0
????????????????
---------------?
--:-- / 0
TT??????????????
TT-------------?
--:-- / 1
CC

0
DNF

0
????????????????
---------------?
--:-- / 0
????????????????
---------------?
--:-- / 0
402

TFTTTTTFTFTFFFTT (expected value)

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

????????????????
----------------
--:-- / 0
TFTTT?TFTFTFFFTT
TTTTT-TTTTTTTTTT
--:-- / 7
TF?T?T?FTFTFFF?T
TT-T-T-TTTTTTT-T
--:-- / 5
????????????????
----------------
--:-- / 0
????????????????
----------------
--:-- / 0
CC

0
CC

0
DNF

0
CC

0
CC

0
DES — P/T
  LTSMin Tapaal LoLA M4M.full M4M.struct ITS-Tools ITS-Tools.L GreatSPN Irma.full Irma.struct
Score 55 149 138 34 34 19 1 24 36 36
Road Runner 1 8 6 0 0 0 0 0 0 0
Camel 1 7 7 0 0 0 0 0 0 0
00a

TFFTTTTFTFFTFFFT (expected value)

8.00 8.00 6.00 6.00 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)

TFFTTTTFTFFTFFFT
TTTTTTTTTTTTTTTT
--:-- / 8
TFFTTTTFTFFTFFFT
TTTTTTTTTTTTTTTT
--:-- / 8
TFFTTTTFTFFTFFFT
TTTTTTTTTTTTTTTT
--:PM / 8
????????????????
----------------
--:-- / 0
????????????????
----------------
--:-- / 0
TF??????????????
TT--------------
--:-- / 1
TF??????????????
TT--------------
--:-- / 1
TFFTTTTFTFFTFFFT
TTTTTTTTTTTTTTTT
--:-- / 8
TFFTTTTFTFFTFFFT
TTTTTTTTTTTTTTTT
--:-- / 8
TFFTTTTFTFFTFFFT
TTTTTTTTTTTTTTTT
--:-- / 8
00b

TTFTFTTTFFFFTTFF (expected value)

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

??????????????FF
--------------TT
--:-- / 1
TTFTFT?TFFFFTTFF
TTTTTT-TTTTTTTTT
--:-- / 7
TTFTFTTTFFFFTTFF
TTTTTTTTTTTTTTTT
--:PM / 8
TTF?FTTT?FFFTT?F
TTT-TTTT-TTTTT-T
--:-- / 6
TTF?FTTT?FFFTT?F
TTT-TTTT-TTTTT-T
--:-- / 6
CC

0
CC

0
DNF

0
TTF?FTTT?FFFTT?F
TTT-TTTT-TTTTT-T
--:-- / 6
TTF?FTTT?FFFTT?F
TTT-TTTT-TTTTT-T
--:-- / 6
01a

FFFTFTTFFFTTTFFT (expected value)

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