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

Introduction

Please find here the computed results for the StateSpace 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 StateSpace
  LTSMin Tapaal LoLA M4M.full M4M.struct ITS-Tools ITS-Tools.L GreatSPN smart TINA.tedd Irma.full Irma.struct
Total Points 5995 3113 0 3459 3418 8022 8074 10002 5720 9730 3953 3938

All «Surprise» models
 
  LTSMin Tapaal LoLA M4M.full M4M.struct ITS-Tools ITS-Tools.L GreatSPN smart TINA.tedd Irma.full Irma.struct
Total Points 2000 800 0 0 0 2636 2788 3096 1700 2892 0 0
Road Runner 0 7 0 0 0 8 4 20 4 29 0 0
Camel 0 6 0 0 0 3 2 48 5 8 0 0
ASLink — P/T
  LTSMin Tapaal LoLA M4M.full M4M.struct ITS-Tools ITS-Tools.L GreatSPN smart TINA.tedd Irma.full Irma.struct
Score 28 28 0 0 0 84 168 128 0 128 0 0
Road Runner 0 0 0 0 0 0 4 1 0 2 0 0
Camel 0 0 0 0 0 0 2 4 0 1 0 0
01a

1.8940E+0008 9.5662E+0008 1 23 (expected value)

6.00 2.00 6.00 6.00 (confidence rate)

1.8940E+0008 ? 1 23
T-TT
--:-- / 28
1.8940E+0008 ? 1 23
T-TT
--:-- / 28
CC

0
CC

0
CC

0
1.8940E+0008 ? 1 23
T-TT
--:-- / 28
1.8940E+0008 ? 1 23
T-TT
--:-- / 28
1.8940E+0008 9.5662E+0008 1 23
TTTT
--:-M / 32
DNF

0
1.8940E+0008 9.5662E+0008 1 23
TTTT
--:P- / 32
CC

0
CC

0
01b

5.9495E+0014 7.3479E+0015 1 23 (expected value)

1.00 1.00 1.00 1.00 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
DNF

0
DNF

0
5.9495E+0014 7.3479E+0015 1 23
TTTT
--:PM / 32
CC

0
CC

0
02a

8.8673E+0012 7.0218E+0013 1 36 (expected value)

4.00 2.00 4.00 4.00 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
CC

0
8.8673E+0012 ? 1 36
T-TT
--:-- / 28
8.8673E+0012 ? 1 36
T-TT
--:P- / 28
8.8673E+0012 7.0218E+0013 1 36
TTTT
--:-M / 32
DNF

0
8.8673E+0012 7.0218E+0013 1 36
TTTT
--:-- / 32
CC

0
CC

0
02b

? (expected value)

0 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
CC

0
03a

4.2435E+0017 4.5791E+0018 1 49 (expected value)

4.00 2.00 4.00 4.00 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
CC

0
4.2435E+0017 ? 1 49
T-TT
--:-- / 28
4.2435E+0017 ? 1 49
T-TT
--:P- / 28
4.2435E+0017 4.5791E+0018 1 49
TTTT
--:-M / 32
DNF

0
4.2435E+0017 4.5791E+0018 1 49
TTTT
--:-- / 32
CC

0
CC

0
03b

? (expected value)

0 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
CC

0
04a

2.0328E+0022 2.7772E+0023 1 62 (expected value)

2.00 1 2.00 2.00 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
CC

0
CC

0
2.0328E+0022 ? 1 62
T-TT
--:-- / 28
2.0328E+0022 2.7772E+0023 1 62
TTTT
--:PM / 32
DNF

0
DNF

0
CC

0
CC

0
04b

? (expected value)

0 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
CC

0
05a

9.7382E+0026 ? 1 75 (expected value)

1.00 0 1.00 1.00 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
CC

0
CC

0
9.7382E+0026 ? 1 75
T?TT
--:PM / 28
DNF

0
DNF

0
DNF

0
CC

0
CC

0
05b

? (expected value)

0 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
CC

0
06a

4.6652E+0031 ? 1 88 (expected value)

1.00 0 1.00 1.00 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
CC

0
CC

0
4.6652E+0031 ? 1 88
T?TT
--:PM / 28
DNF

0
DNF

0
DNF

0
CC

0
CC

0
06b

? (expected value)

0 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
CC

0
07a

? (expected value)

0 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
CC

0
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
CC

0
CC

0
07b

? (expected value)

0 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
CC

0
08a

? (expected value)

0 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
CC

0
08b

? (expected value)

0 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
DNF

0
CC

0
DNF

0
CC

0
CC

0
09a

? (expected value)

0 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
CC

0
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
CC

0
CC

0
09b

? (expected value)

0 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
DNF

0
CC

0
DNF

0
CC

0
CC

0
10a

? (expected value)

0 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
CC

0
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
CC

0
CC

0
10b

? (expected value)

0 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
DNF

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 smart TINA.tedd Irma.full Irma.struct
Score 140 0 0 0 0 420 196 432 128 544 0 0
Road Runner 0 0 0 0 0 5 0 1 0 12 0 0
Camel 0 0 0 0 0 1 0 9 1 7 0 0
01

2.4161E+0010 2.7650E+0011 1 22 (expected value)

6.00 3.00 6.00 6.00 (confidence rate)

2.4161E+0010 ? 1 22
T-TT
--:-- / 28
CC

0
CC

0
CC

0
CC

0
2.4161E+0010 ? 1 22
T-TT
--:-- / 28
2.4161E+0010 ? 1 22
T-TT
--:-- / 28
2.4161E+0010 2.7650E+0011 1 22
TTTT
--:-M / 32
2.4161E+0010 2.7650E+0011 1 22
TTTT
--:-- / 32
2.4161E+0010 2.7650E+0011 1 22
TTTT
--:P- / 32
CC

0
CC

0
02

3.1432E+0012 5.0565E+0013 1 32 (expected value)

6.00 3.00 6.00 6.00 (confidence rate)

3.1432E+0012 ? 1 32
T-TT
--:-- / 28
CC

0
CC

0
CC

0
CC

0
3.1432E+0012 ? 1 32
T-TT
--:-- / 28
3.1432E+0012 ? 1 32
T-TT
--:-- / 28
3.1432E+0012 5.0565E+0013 1 32
TTTT
--:-M / 32
3.1432E+0012 5.0565E+0013 1 32
TTTT
--:-- / 32
3.1432E+0012 5.0565E+0013 1 32
TTTT
--:P- / 32
CC

0
CC

0
03

1.4794E+0013 2.5822E+0014 1 31 (expected value)

6.00 3.00 6.00 6.00 (confidence rate)

1.4794E+0013 ? 1 31
T-TT
--:-- / 28
CC

0
CC

0
CC

0
CC

0
1.4794E+0013 ? 1 31
T-TT
--:-- / 28
1.4794E+0013 ? 1 31
T-TT
--:-- / 28
1.4794E+0013 2.5822E+0014 1 31
TTTT
--:-M / 32
1.4794E+0013 2.5822E+0014 1 31
TTTT
--:-- / 32
1.4794E+0013 2.5822E+0014 1 31
TTTT
--:P- / 32
CC

0
CC

0
04

2.1970E+0011 2.5575E+0012 1 25 (expected value)

5.00 3.00 5.00 5.00 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
CC

0
2.1970E+0011 ? 1 25
T-TT
--:-- / 28
2.1970E+0011 ? 1 25
T-TT
--:-- / 28
2.1970E+0011 2.5575E+0012 1 25
TTTT
--:-- / 32
2.1970E+0011 2.5575E+0012 1 25
TTTT
--:-M / 32
2.1970E+0011 2.5575E+0012 1 25
TTTT
--:P- / 32
CC

0
CC

0
05

2.3839E+0017 5.5862E+0018 1 41 (expected value)

5.00 2.00 5.00 5.00 (confidence rate)

2.3839E+0017 ? 1 41
T-TT
--:-- / 28
CC

0
CC

0
CC

0
CC

0
2.3839E+0017 ? 1 41
T-TT
--:-- / 28
2.3839E+0017 ? 1 41
T-TT
--:-- / 28
2.3839E+0017 5.5862E+0018 1 41
TTTT
--:-M / 32
DNF

0
2.3839E+0017 5.5862E+0018 1 41
TTTT
--:P- / 32
CC

0
CC

0
06

2.9156E+0018 6.7554E+0019 1 56 (expected value)

4.00 2.00 4.00 4.00 (confidence rate)

2.9156E+0018 ? 1 56
T-TT
--:-- / 28
CC

0
CC

0
CC

0
CC

0
2.9156E+0018 ? 1 56
T-TT
--:P- / 28
CC

0
2.9156E+0018 6.7554E+0019 1 56
TTTT
--:-M / 32
DNF

0
2.9156E+0018 6.7554E+0019 1 56
TTTT
--:-- / 32
CC

0
CC

0
07

8.1436E+0017 1.4959E+0019 1 39 (expected value)

1.00 1.00 1.00 1.00 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
DNF

0
DNF

0
8.1436E+0017 1.4959E+0019 1 39
TTTT
--:PM / 32
CC

0
CC

0
08

4.9400E+0017 1.1592E+0019 1 44 (expected value)

4.00 2.00 4.00 4.00 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
CC

0
4.9400E+0017 ? 1 44
T-TT
--:-- / 28
4.9400E+0017 ? 1 44
T-TT
--:-- / 28
4.9400E+0017 1.1592E+0019 1 44
TTTT
--:-M / 32
DNF

0
4.9400E+0017 1.1592E+0019 1 44
TTTT
--:P- / 32
CC

0
CC

0
09

7.5226E+0018 1.4557E+0020 1 41 (expected value)

3.00 1.00 3.00 3.00 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
CC

0
7.5226E+0018 ? 1 41
T-TT
--:-- / 28
CC

0
7.5226E+0018 ? 1 41
T-TT
--:-- / 28
DNF

0
7.5226E+0018 1.4557E+0020 1 41
TTTT
--:PM / 32
CC

0
CC

0
10

? (expected value)

0 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
CC

0
11

7.1819E+0022 2.0996E+0024 1 61 (expected value)

4.00 2.00 4.00 4.00 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
CC

0
7.1819E+0022 ? 1 61
T-TT
--:P- / 28
7.1819E+0022 ? 1 61
T-TT
--:-- / 28
7.1819E+0022 2.0996E+0024 1 61
TTTT
--:-M / 32
DNF

0
7.1819E+0022 2.0996E+0024 1 61
TTTT
--:-- / 32
CC

0
CC

0
12

6.1433E+0023 1.8594E+0025 1 63 (expected value)

3.00 2.00 3.00 3.00 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
CC

0
6.1433E+0023 ? 1 63
T-TT
--:P- / 28
CC

0
6.1433E+0023 1.8594E+0025 1 63
TTTT
--:-M / 32
DNF

0
6.1433E+0023 1.8594E+0025 1 63
TTTT
--:-- / 32
CC

0
CC

0
13

3.1266E+0025 1.0051E+0027 1 62 (expected value)

3.00 1.00 3.00 3.00 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
CC

0
3.1266E+0025 ? 1 62
T-TT
--:-- / 28
CC

0
3.1266E+0025 ? 1 62
T-TT
--:-- / 28
DNF

0
3.1266E+0025 1.0051E+0027 1 62
TTTT
--:PM / 32
CC

0
CC

0
14

5.1850E+0026 1.7608E+0028 1 65 (expected value)

1.00 1.00 1.00 1.00 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
DNF

0
DNF

0
5.1850E+0026 1.7608E+0028 1 65
TTTT
--:PM / 32
CC

0
CC

0
15

8.8732E+0025 2.9366E+0027 1 67 (expected value)

3.00 2.00 3.00 3.00 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
CC

0
8.8732E+0025 ? 1 67
T-TT
--:P- / 28
CC

0
8.8732E+0025 2.9366E+0027 1 67
TTTT
--:-M / 32
DNF

0
8.8732E+0025 2.9366E+0027 1 67
TTTT
--:-- / 32
CC

0
CC

0
16

3.7427E+0027 1.3080E+0029 1 66 (expected value)

1.00 1.00 1.00 1.00 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
DNF

0
DNF

0
3.7427E+0027 1.3080E+0029 1 66
TTTT
--:PM / 32
CC

0
CC

0
17

3.7496E+0026 1.2757E+0028 1 70 (expected value)

3.00 1.00 3.00 3.00 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
CC

0
3.7496E+0026 ? 1 70
T-TT
--:-- / 28
CC

0
3.7496E+0026 ? 1 70
T-TT
--:-- / 28
DNF

0
3.7496E+0026 1.2757E+0028 1 70
TTTT
--:PM / 32
CC

0
CC

0
18

3.7276E+0031 1.4065E+0033 1 77 (expected value)

3.00 1.00 3.00 3.00 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
CC

0
3.7276E+0031 ? 1 77
T-TT
--:-- / 28
CC

0
3.7276E+0031 ? 1 77
T-TT
--:P- / 28
DNF

0
3.7276E+0031 1.4065E+0033 1 77
TTTT
--:-M / 32
CC

0
CC

0
19

7.1571E+0033 ? 1 84 (expected value)

1.00 0 1.00 1.00 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
CC

0
7.1571E+0033 ? 1 84
T?TT
--:PM / 28
CC

0
DNF

0
DNF

0
DNF

0
CC

0
CC

0
20

? (expected value)

0 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
CC

0
DLCflexbar — P/T
  LTSMin Tapaal LoLA M4M.full M4M.struct ITS-Tools ITS-Tools.L GreatSPN smart TINA.tedd Irma.full Irma.struct
Score 72 0 0 0 0 252 252 280 0 280 0 0
Road Runner 0 0 0 0 0 0 0 0 0 7 0 0
Camel 0 0 0 0 0 0 0 7 0 0 0 0
2a

7.9792E+0020 2.0377E+0023 1 196 (expected value)

5.00 2.00 5.00 5.00 (confidence rate)

7.9792E+0020 ? 1 196
T-TT
--:-- / 36
CC

0
CC

0
CC

0
CC

0
7.9792E+0020 ? 1 196
T-TT
--:-- / 36
7.9792E+0020 ? 1 196
T-TT
--:-- / 36
7.9792E+0020 2.0377E+0023 1 196
TTTT
--:-M / 40
DNF

0
7.9792E+0020 2.0377E+0023 1 196
TTTT
--:P- / 40
CC

0
CC

0
2b

? (expected value)

0 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
DNF

0
CC

0
DNF

0
CC

0
CC

0
3a

2.2539E+0030 1.0304E+0033 1 355 (expected value)

4.00 2.00 4.00 4.00 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
CC

0
2.2539E+0030 ? 1 355
T-TT
--:-- / 36
2.2539E+0030 ? 1 355
T-TT
--:-- / 36
2.2539E+0030 1.0304E+0033 1 355
TTTT
--:-M / 40
DNF

0
2.2539E+0030 1.0304E+0033 1 355
TTTT
--:P- / 40
CC

0
CC

0
3b

? (expected value)

0 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
DNF

0
CC

0
DNF

0
CC

0
CC

0
4a

1.5287E+0043 1.1869E+0046 1 608 (expected value)

5.00 2.00 5.00 5.00 (confidence rate)

1.5287E+0043 ? 1 608
T-TT
--:-- / 36
CC

0
CC

0
CC

0
CC

0
1.5287E+0043 ? 1 608
T-TT
--:-- / 36
1.5287E+0043 ? 1 608
T-TT
--:-- / 36
1.5287E+0043 1.1869E+0046 1 608
TTTT
--:-M / 40
CC

0
1.5287E+0043 1.1869E+0046 1 608
TTTT
--:P- / 40
CC

0
CC

0
4b

? (expected value)

0 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
CC

0
CC

0
DNF

0
DNF

0
CC

0
DNF

0
CC

0
CC

0
5a

2.4893E+0059 3.0931E+0062 1 979 (expected value)

4.00 2.00 4.00 4.00 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
CC

0
2.4893E+0059 ? 1 979
T-TT
--:-- / 36
2.4893E+0059 ? 1 979
T-TT
--:-- / 36
2.4893E+0059 3.0931E+0062 1 979
TTTT
--:-M / 40
CC

0
2.4893E+0059 3.0931E+0062 1 979
TTTT
--:P- / 40
CC

0
CC

0
5b

? (expected value)

0 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
CC

0
CC

0
DNF

0
CC

0
CC

0
DNF

0
CC

0
CC

0
6a

9.7327E+0078 1.8344E+0082 1 1492 (expected value)

4.00 2.00 4.00 4.00 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
CC

0
9.7327E+0078 ? 1 1492
T-TT
--:-- / 36
9.7327E+0078 ? 1 1492
T-TT
--:-- / 36
9.7327E+0078 1.8344E+0082 1 1492
TTTT
--:-M / 40
CC

0
9.7327E+0078 1.8344E+0082 1 1492
TTTT
--:P- / 40
CC

0
CC

0
6b

? (expected value)

0 (confidence rate)

CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
DNF

0
CC

0
CC

0
DNF

0
CC

0
CC

0
7a

9.1366E+0101 2.4966E+0105 1 2171 (expected value)

4.00 2.00 4.00 4.00 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
CC

0
9.1366E+0101 ? 1 2171
T-TT
--:-- / 36
9.1366E+0101 ? 1 2171
T-TT
--:-- / 36
9.1366E+0101 2.4966E+0105 1 2171
TTTT
--:-M / 40
CC

0
9.1366E+0101 2.4966E+0105 1 2171
TTTT
--:P- / 40
CC

0
CC

0
7b

? (expected value)

0 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
CC

0
CC

0
DNF

0
CC

0
CC

0
DNF

0
CC

0
CC

0
8a

2.0593E+0128 7.8563E+0131 1 3040 (expected value)

4.00 2.00 4.00 4.00 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
CC

0
2.0593E+0128 ? 1 3040
T-TT
--:-- / 36
2.0593E+0128 ? 1 3040
T-TT
--:-- / 36
2.0593E+0128 7.8563E+0131 1 3040
TTTT
--:-M / 40
CC

0
2.0593E+0128 7.8563E+0131 1 3040
TTTT
--:P- / 40
CC

0
CC

0
8b

? (expected value)

0 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
CC

0
CC

0
DNF

0
CC

0
CC

0
DNF

0
CC

0
CC

0
DiscoveryGPU — P/T
  LTSMin Tapaal LoLA M4M.full M4M.struct ITS-Tools ITS-Tools.L GreatSPN smart TINA.tedd Irma.full Irma.struct
Score 392 84 0 0 0 560 560 640 352 640 0 0
Road Runner 0 0 0 0 0 0 0 13 0 7 0 0
Camel 0 1 0 0 0 0 0 19 0 0 0 0
06a

1.7716E+0006 1.3528E+0007 1 8 (expected value)

7.00 3.00 7.00 7.00 (confidence rate)

1.7716E+0006 ? 1 8
T-TT
--:-- / 28
1.7716E+0006 ? 1 8
T-TT
--:-M / 28
CC

0
CC

0
CC

0
1.7716E+0006 ? 1 8
T-TT
--:-- / 28
1.7716E+0006 ? 1 8
T-TT
--:-- / 28
1.7716E+0006 1.3528E+0007 1 8
TTTT
--:P- / 32
1.7716E+0006 1.3528E+0007 1 8
TTTT
--:-- / 32
1.7716E+0006 1.3528E+0007 1 8
TTTT
--:-- / 32
CC

0
CC

0
06b

6.1387E+0009 3.8660E+0010 1 8 (expected value)

6.00 3.00 6.00 6.00 (confidence rate)

6.1387E+0009 ? 1 8
T-TT
--:-- / 28
CC

0
CC

0
CC

0
CC

0
6.1387E+0009 ? 1 8
T-TT
--:-- / 28
6.1387E+0009 ? 1 8
T-TT
--:-- / 28
6.1387E+0009 3.8660E+0010 1 8
TTTT
--:PM / 32
6.1387E+0009 3.8660E+0010 1 8
TTTT
--:-- / 32
6.1387E+0009 3.8660E+0010 1 8
TTTT
--:-- / 32
CC

0
CC

0
07a

1.9487E+0007 1.7361E+0008 1 9 (expected value)

7.00 3.00 7.00 7.00 (confidence rate)

1.9487E+0007 ? 1 9
T-TT
--:-- / 28
1.9487E+0007 ? 1 9
T-TT
--:-- / 28
CC

0
CC

0
CC

0
1.9487E+0007 ? 1 9
T-TT
--:-- / 28
1.9487E+0007 ? 1 9
T-TT
--:-- / 28
1.9487E+0007 1.7361E+0008 1 9
TTTT
--:PM / 32
1.9487E+0007 1.7361E+0008 1 9
TTTT
--:-- / 32
1.9487E+0007 1.7361E+0008 1 9
TTTT
--:-- / 32
CC

0
CC

0
07b

1.7868E+0011 1.2725E+0012 1 9 (expected value)

5.00 2.00 5.00 5.00 (confidence rate)

1.7868E+0011 ? 1 9
T-TT
--:-- / 28
CC

0
CC

0
CC

0
CC

0
1.7868E+0011 ? 1 9
T-TT
--:-- / 28
1.7868E+0011 ? 1 9
T-TT
--:-- / 28
1.7868E+0011 1.2725E+0012 1 9
TTTT
--:PM / 32
DNF

0
1.7868E+0011 1.2725E+0012 1 9
TTTT
--:-- / 32
CC

0
CC

0
08a

2.1436E+0008 2.1826E+0009 1 10 (expected value)

7.00 3.00 7.00 7.00 (confidence rate)

2.1436E+0008 ? 1 10
T-TT
--:-- / 28
2.1436E+0008 ? 1 10
T-TT
--:-- / 28
CC

0
CC

0
CC

0
2.1436E+0008 ? 1 10
T-TT
--:-- / 28
2.1436E+0008 ? 1 10
T-TT
--:-- / 28
2.1436E+0008 2.1826E+0009 1 10
TTTT
--:PM / 32
2.1436E+0008 2.1826E+0009 1 10
TTTT
--:-- / 32
2.1436E+0008 2.1826E+0009 1 10
TTTT
--:-- / 32
CC

0
CC

0
08b

5.1215E+0012 4.0675E+0013 1 10 (expected value)

5.00 2.00 5.00 5.00 (confidence rate)

5.1215E+0012 ? 1 10
T-TT
--:-- / 28
CC

0
CC

0
CC

0
CC

0
5.1215E+0012 ? 1 10
T-TT
--:-- / 28
5.1215E+0012 ? 1 10
T-TT
--:-- / 28
5.1215E+0012 4.0675E+0013 1 10
TTTT
--:PM / 32
DNF

0
5.1215E+0012 4.0675E+0013 1 10
TTTT
--:-- / 32
CC

0
CC

0
09a

2.3579E+0009 2.7009E+0010 1 11 (expected value)

6.00 3.00 6.00 6.00 (confidence rate)

2.3579E+0009 ? 1 11
T-TT
--:-- / 28
CC

0
CC

0
CC

0
CC

0
2.3579E+0009 ? 1 11
T-TT
--:-- / 28
2.3579E+0009 ? 1 11
T-TT
--:-- / 28
2.3579E+0009 2.7009E+0010 1 11
TTTT
--:-M / 32
2.3579E+0009 2.7009E+0010 1 11
TTTT
--:-- / 32
2.3579E+0009 2.7009E+0010 1 11
TTTT
--:P- / 32
CC

0
CC

0
09b

1.4510E+0014 1.2710E+0015 1 11 (expected value)

4.00 2.00 4.00 4.00 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
CC

0
1.4510E+0014 ? 1 11
T-TT
--:-- / 28
1.4510E+0014 ? 1 11
T-TT
--:-- / 28
1.4510E+0014 1.2710E+0015 1 11
TTTT
--:PM / 32
DNF

0
1.4510E+0014 1.2710E+0015 1 11
TTTT
--:-- / 32
CC

0
CC

0
10a

2.5937E+0010 3.3011E+0011 1 12 (expected value)

6.00 3.00 6.00 6.00 (confidence rate)

2.5937E+0010 ? 1 12
T-TT
--:-- / 28
CC

0
CC

0
CC

0
CC

0
2.5937E+0010 ? 1 12
T-TT
--:-- / 28
2.5937E+0010 ? 1 12
T-TT
--:-- / 28
2.5937E+0010 3.3011E+0011 1 12
TTTT
--:-M / 32
2.5937E+0010 3.3011E+0011 1 12
TTTT
--:-- / 32
2.5937E+0010 3.3011E+0011 1 12
TTTT
--:P- / 32
CC

0
CC

0
10b

4.0741E+0015 3.9011E+0016 1 12 (expected value)

5.00 2.00 5.00 5.00 (confidence rate)

4.0741E+0015 ? 1 12
T-TT
--:-- / 28
CC

0
CC

0
CC

0
CC

0
4.0741E+0015 ? 1 12
T-TT
--:-- / 28
4.0741E+0015 ? 1 12
T-TT
--:-- / 28
4.0741E+0015 3.9011E+0016 1 12
TTTT
--:PM / 32
DNF

0
4.0741E+0015 3.9011E+0016 1 12
TTTT
--:-- / 32
CC

0
CC

0
11a

2.8531E+0011 3.9944E+0012 1 13 (expected value)

6.00 3.00 6.00 6.00 (confidence rate)

2.8531E+0011 ? 1 13
T-TT
--:-- / 28
CC

0
CC

0
CC

0
CC

0
2.8531E+0011 ? 1 13
T-TT
--:-- / 28
2.8531E+0011 ? 1 13
T-TT
--:-- / 28
2.8531E+0011 3.9944E+0012 1 13
TTTT
--:-M / 32
2.8531E+0011 3.9944E+0012 1 13
TTTT
--:-- / 32
2.8531E+0011 3.9944E+0012 1 13
TTTT
--:P- / 32
CC

0
CC

0
11b

1.1358E+0017 1.1800E+0018 1 13 (expected value)

4.00 2.00 4.00 4.00 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
CC

0
1.1358E+0017 ? 1 13
T-TT
--:-- / 28
1.1358E+0017 ? 1 13
T-TT
--:-- / 28
1.1358E+0017 1.1800E+0018 1 13
TTTT
--:PM / 32
DNF

0
1.1358E+0017 1.1800E+0018 1 13
TTTT
--:-- / 32
CC

0
CC

0
12a

3.1384E+0012 4.7932E+0013 1 14 (expected value)

6.00 3.00 6.00 6.00 (confidence rate)

3.1384E+0012 ? 1 14
T-TT
--:-- / 28
CC

0
CC

0
CC

0
CC

0
3.1384E+0012 ? 1 14
T-TT
--:-- / 28
3.1384E+0012 ? 1 14
T-TT
--:-- / 28
3.1384E+0012 4.7932E+0013 1 14
TTTT
--:-M / 32
3.1384E+0012 4.7932E+0013 1 14
TTTT
--:-- / 32
3.1384E+0012 4.7932E+0013 1 14
TTTT
--:P- / 32
CC

0
CC

0
12b

3.1487E+0018 3.5272E+0019 1 14 (expected value)

4.00 2.00 4.00 4.00 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
CC

0
3.1487E+0018 ? 1 14
T-TT
--:-- / 28
3.1487E+0018 ? 1 14
T-TT
--:-- / 28
3.1487E+0018 3.5272E+0019 1 14
TTTT
--:PM / 32
DNF

0
3.1487E+0018 3.5272E+0019 1 14
TTTT
--:-- / 32
CC

0
CC

0
13a

3.4523E+0013 5.7119E+0014 1 15 (expected value)

6.00 3.00 6.00 6.00 (confidence rate)

3.4523E+0013 ? 1 15
T-TT
--:-- / 28
CC

0
CC

0
CC

0
CC

0
3.4523E+0013 ? 1 15
T-TT
--:-- / 28
3.4523E+0013 ? 1 15
T-TT
--:-- / 28
3.4523E+0013 5.7119E+0014 1 15
TTTT
--:-M / 32
3.4523E+0013 5.7119E+0014 1 15
TTTT
--:-- / 32
3.4523E+0013 5.7119E+0014 1 15
TTTT
--:P- / 32
CC

0
CC

0
13b

8.6891E+0019 1.0439E+0021 1 15 (expected value)

4.00 2.00 4.00 4.00 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
CC

0
8.6891E+0019 ? 1 15
T-TT
--:-- / 28
8.6891E+0019 ? 1 15
T-TT
--:-- / 28
8.6891E+0019 1.0439E+0021 1 15
TTTT
--:PM / 32
DNF

0
8.6891E+0019 1.0439E+0021 1 15
TTTT
--:-- / 32
CC

0
CC

0
14a

3.7975E+0014 6.7665E+0015 1 16 (expected value)

6.00 3.00 6.00 6.00 (confidence rate)

3.7975E+0014 ? 1 16
T-TT
--:-- / 28
CC

0
CC

0
CC

0
CC

0
3.7975E+0014 ? 1 16
T-TT
--:-- / 28
3.7975E+0014 ? 1 16
T-TT
--:-- / 28
3.7975E+0014 6.7665E+0015 1 16
TTTT
--:-M / 32
3.7975E+0014 6.7665E+0015 1 16
TTTT
--:-- / 32
3.7975E+0014 6.7665E+0015 1 16
TTTT
--:P- / 32
CC

0
CC

0
14b

2.3890E+0021 3.0638E+0022 1 16 (expected value)

4.00 2.00 4.00 4.00 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
CC

0
2.3890E+0021 ? 1 16
T-TT
--:-- / 28
2.3890E+0021 ? 1 16
T-TT
--:-- / 28
2.3890E+0021 3.0638E+0022 1 16
TTTT
--:PM / 32
DNF

0
2.3890E+0021 3.0638E+0022 1 16
TTTT
--:-- / 32
CC

0
CC

0
15a

4.1772E+0015 7.9747E+0016 1 17 (expected value)

6.00 3.00 6.00 6.00 (confidence rate)

4.1772E+0015 ? 1 17
T-TT
--:-- / 28
CC

0
CC

0
CC

0
CC

0
4.1772E+0015 ? 1 17
T-TT
--:-- / 28
4.1772E+0015 ? 1 17
T-TT
--:-- / 28
4.1772E+0015 7.9747E+0016 1 17
TTTT
--:-M / 32
4.1772E+0015 7.9747E+0016 1 17
TTTT
--:-- / 32
4.1772E+0015 7.9747E+0016 1 17
TTTT
--:P- / 32
CC

0
CC

0
15b

6.5486E+0022 8.9289E+0023 1 17 (expected value)

4.00 2.00 4.00 4.00 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
CC

0
6.5486E+0022 ? 1 17
T-TT
--:-- / 28
6.5486E+0022 ? 1 17
T-TT
--:-- / 28
6.5486E+0022 8.9289E+0023 1 17
TTTT
--:PM / 32
DNF

0
6.5486E+0022 8.9289E+0023 1 17
TTTT
--:-- / 32
CC

0
CC

0
DoubleExponent — P/T
  LTSMin Tapaal LoLA M4M.full M4M.struct ITS-Tools ITS-Tools.L GreatSPN smart TINA.tedd Irma.full Irma.struct
Score 104 156 0 0 0 156 156 180 180 180 0 0
Road Runner 0 2 0 0 0 1 0 0 0 0 0 0
Camel 0 1 0 0 0 0 0 2 0 0 0 0
001

149 148 4 21 (expected value)

7.00 3.00 7.00 7.00 (confidence rate)

149 ? 4 21
T-TT
--:-- / 52
149 ? 4 21
T-TT
--:P- / 52
CC

0
CC

0
CC

0
149 ? 4 21
T-TT
--:-- / 52
149 ? 4 21
T-TT
--:-- / 52
149 148 4 21
TTTT
--:-M / 60
149 148 4 21
TTTT
--:-- / 60
149 148 4 21
TTTT
--:-- / 60
CC

0
CC

0
002

3708 3707 16 71 (expected value)

7.00 3.00 7.00 7.00 (confidence rate)

3708 ? 16 71
T-TT
--:-- / 52
3708 ? 16 71
T-TT
--:P- / 52
CC

0
CC

0
CC

0
3708 ? 16 71
T-TT
--:-- / 52
3708 ? 16 71
T-TT
--:-- / 52
3708 3707 16 71
TTTT
--:-M / 60
3708 3707 16 71
TTTT
--:-- / 60
3708 3707 16 71
TTTT
--:-- / 60
CC

0
CC

0
003

2.3851E+0006 2.3851E+0006 256 841 (expected value)

6.00 3.00 6.00 6.00 (confidence rate)

DNF

0
2.3851E+0006 ? 256 841
T-TT
--:-M / 52
CC

0
CC

0
CC

0
2.3851E+0006 ? 256 841
T-TT
--:P- / 52
2.3851E+0006 ? 256 841
T-TT
--:-- / 52
2.3851E+0006 2.3851E+0006 256 841
TTTT
--:-- / 60
2.3851E+0006 2.3851E+0006 256 841
TTTT
--:-- / 60
2.3851E+0006 2.3851E+0006 256 841
TTTT
--:-- / 60
CC

0
CC

0
004

? (expected value)

0 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
CC

0
CC

0
010

? (expected value)

0 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
CC

0
020

? (expected value)

0 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
CC

0
100

? (expected value)

0 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
DNF

0
CC

0
CC

0
200

? (expected value)

0 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
CC

0
DNF

0
CC

0
CC

0
CC

0
DNF

0
CC

0
CC

0
EGFr — P/T
  LTSMin Tapaal LoLA M4M.full M4M.struct ITS-Tools ITS-Tools.L GreatSPN smart TINA.tedd Irma.full Irma.struct
Score 384 128 0 0 0 384 384 432 432 432 0 0
Road Runner 0 0 0 0 0 0 0 3 0 0 0 0
Camel 0 0 0 0 0 0 0 3 0 0 0 0
02010

4200 26923 1 20 (expected value)

7.00 3.00 7.00 7.00 (confidence rate)

4200 ? 1 20
T-TT
--:-- / 128
4200 ? 1 20
T-TT
--:-- / 128
CC

0
CC

0
CC

0
4200 ? 1 20
T-TT
--:-- / 128
4200 ? 1 20
T-TT
--:-- / 128
4200 26923 1 20
TTTT
--:PM / 144
4200 26923 1 20
TTTT
--:-- / 144
4200 26923 1 20
TTTT
--:-- / 144
CC

0
CC

0
10420

2.7022E+0016 8.4643E+0017 1 104 (expected value)

6.00 3.00 6.00 6.00 (confidence rate)

2.7022E+0016 ? 1 104
T-TT
--:-- / 128
CC

0
CC

0
CC

0
CC

0
2.7022E+0016 ? 1 104
T-TT
--:-- / 128
2.7022E+0016 ? 1 104
T-TT
--:-- / 128
2.7022E+0016 8.4643E+0017 1 104
TTTT
--:PM / 144
2.7022E+0016 8.4643E+0017 1 104
TTTT
--:-- / 144
2.7022E+0016 8.4643E+0017 1 104
TTTT
--:-- / 144
CC

0
CC

0
10421

2.7022E+0016 8.4643E+0017 1 104 (expected value)

6.00 3.00 6.00 6.00 (confidence rate)

2.7022E+0016 ? 1 104
T-TT
--:-- / 128
CC

0
CC

0
CC

0
CC

0
2.7022E+0016 ? 1 104
T-TT
--:-- / 128
2.7022E+0016 ? 1 104
T-TT
--:-- / 128
2.7022E+0016 8.4643E+0017 1 104
TTTT
--:PM / 144
2.7022E+0016 8.4643E+0017 1 104
TTTT
--:-- / 144
2.7022E+0016 8.4643E+0017 1 104
TTTT
--:-- / 144
CC

0
CC

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

1.7342E+0020 3.5036E+0021 4 61 (expected value)

4.00 2.00 4.00 4.00 (confidence rate)

1.7342E+0020 ? 4 61
T-TT
--:-- / 356
CC

0
CC

0
CC

0
CC

0
CC

0
1.7342E+0020 ? 4 61
T-TT
--:-- / 356
1.7342E+0020 3.5036E+0021 4 61
TTTT
--:PM / 408
DNF

0
1.7342E+0020 3.5036E+0021 4 61
TTTT
--:-- / 408
CC

0
CC

0
MAPKbis — P/T
  LTSMin Tapaal LoLA M4M.full M4M.struct ITS-Tools ITS-Tools.L GreatSPN smart TINA.tedd Irma.full Irma.struct
Score 368 184 0 0 0 368 368 424 212 424 0 0
Road Runner 0 0 0 0 0 0 0 1 0 1 0 0
Camel 0 0 0 0 0 0 0 2 0 0 0 0
5310

3.8464E+0012 9.4861E+0013 1 53 (expected value)

5.00 2.00 5.00 5.00 (confidence rate)

3.8464E+0012 ? 1 53
T-TT
--:-- / 184
CC

0
CC

0
CC

0
CC

0
3.8464E+0012 ? 1 53
T-TT
--:-- / 184
3.8464E+0012 ? 1 53
T-TT
--:-- / 184
3.8464E+0012 9.4861E+0013 1 53
TTTT
--:-M / 212
DNF

0
3.8464E+0012 9.4861E+0013 1 53
TTTT
--:P- / 212
CC

0
CC

0
5320

8.1265E+0006 1.0158E+0008 1 53 (expected value)

7.00 3.00 7.00 7.00 (confidence rate)

8.1265E+0006 ? 1 53
T-TT
--:-- / 184
8.1265E+0006 ? 1 53
T-TT
--:-- / 184
CC

0
CC

0
CC

0
8.1265E+0006 ? 1 53
T-TT
--:-- / 184
8.1265E+0006 ? 1 53
T-TT
--:-- / 184
8.1265E+0006 1.0158E+0008 1 53
TTTT
--:PM / 212
8.1265E+0006 1.0158E+0008 1 53
TTTT
--:-- / 212
8.1265E+0006 1.0158E+0008 1 53
TTTT
--:-- / 212
CC

0
CC

0
NQueens — P/T
  LTSMin Tapaal LoLA M4M.full M4M.struct ITS-Tools ITS-Tools.L GreatSPN smart TINA.tedd Irma.full Irma.struct
Score 156 156 0 0 0 156 156 172 180 120 0 0
Road Runner 0 3 0 0 0 0 0 0 0 0 0 0
Camel 0 2 0 0 0 0 0 1 0 0 0 0
05

462 1295 1 30 (expected value)

7.00 3.00 7.00 7.00 (confidence rate)

462 ? 1 30
T-TT
--:-- / 52
462 ? 1 30
T-TT
--:P- / 52
CC

0
CC

0
CC

0
462 ? 1 30
T-TT
--:-- / 52
462 ? 1 30
T-TT
--:-- / 52
462 1295 1 30
TTTT
--:-M / 60
462 1295 1 30
TTTT
--:-- / 60
462 1295 1 30
TTTT
--:-- / 60
CC

0
CC

0
08

1.1897E+0005 5.6488E+0005 1 48 (expected value)

7.00 3.00 7.00 7.00 (confidence rate)

1.1897E+0005 ? 1 48
T-TT
--:-- / 52
1.1897E+0005 ? 1 48
T-TT
--:PM / 52
CC

0
CC

0
CC

0
1.1897E+0005 ? 1 48
T-TT
--:-- / 52
1.1897E+0005 ? 1 48
T-TT
--:-- / 52
1.1897E+0005 5.6488E+0005 1 48
TTTT
--:-- / 60
1.1897E+0005 5.6488E+0005 1 48
TTTT
--:-- / 60
1.1897E+0005 5.6488E+0005 1 48
TTTT
--:-- / 60
CC

0
CC

0
10

7.5354E+0006 4.6240E+0007 1 60 (expected value)

6.00 1 6.00 6.00 (confidence rate)

7.5354E+0006 ? 1 60
T-TT
--:-- / 52
7.5354E+0006 ? 1 60
T-TT
--:PM / 52
CC

0
CC

0
CC

0
7.5354E+0006 ? 1 60
T-TT
--:-- / 52
7.5354E+0006 ? 1 60
T-TT
--:-- / 52
7.5354E+0006 ? 1 60
T-TT
--:-- / 52
7.5354E+0006 4.6240E+0007 1 60
TTTT
--:-- / 60
DNF

0
CC

0
CC

0
12

? (expected value)

0 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
CC

0
15

? (expected value)

0 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
CC

0
20

? (expected value)

0 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
CC

0
25

? (expected value)

0 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
CC

0
30

? (expected value)

0 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
CC

0
RERS17pb113 — P/T
  LTSMin Tapaal LoLA M4M.full M4M.struct ITS-Tools ITS-Tools.L GreatSPN smart TINA.tedd Irma.full Irma.struct
Score 0 0 0 0 0 0 0 0 0 0 0 0
Road Runner 0 0 0 0 0 0 0 0 0 0 0 0
Camel 0 0 0 0 0 0 0 0 0 0 0 0
1

? (expected value)

0 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
DNF

0
CC

0
CC

0
2

? (expected value)

0 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
DNF

0
CC

0
CC

0
3

? (expected value)

0 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
DNF

0
CC

0
CC

0
4

? (expected value)

0 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
CC

0
DNF

0
CC

0
DNF

0
CC

0
DNF

0
CC

0
CC

0
5

? (expected value)

0 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
CC

0
DNF

0
CC

0
DNF

0
CC

0
DNF

0
CC

0
CC

0
6

? (expected value)

0 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
DNF

0
CC

0
CC

0
7

? (expected value)

0 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
DNF

0
CC

0
CC

0
8

? (expected value)

0 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
DNF

0
CC

0
CC

0
9

? (expected value)

0 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
CC

0
DNF

0
CC

0
DNF

0
CC

0
DNF

0
CC

0
CC

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

? (expected value)

0 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
DNF

0
DNF

0
CC

0
CC

0
2

? (expected value)

0 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
DNF

0
DNF

0
CC

0
CC

0
3

? (expected value)

0 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
DNF

0
DNF

0
CC

0
CC

0
4

? (expected value)

0 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
DNF

0
DNF

0
CC

0
CC

0
5

? (expected value)

0 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
DNF

0
DNF

0
CC

0
CC

0
6

? (expected value)

0 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
DNF

0
DNF

0
CC

0
CC

0
7

? (expected value)

0 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
DNF

0
DNF

0
CC

0
CC

0
8

? (expected value)

0 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
DNF

0
DNF

0
CC

0
CC

0
9

? (expected value)

0 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
DNF

0
DNF

0
CC

0
CC

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

? (expected value)

0 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
DNF

0
DNF

0
CC

0
CC

0
2

? (expected value)

0 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
DNF

0
DNF

0
CC

0
CC

0
3

? (expected value)

0 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
DNF

0
DNF

0
CC

0
CC

0
4

? (expected value)

0 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
DNF

0
DNF

0
CC

0
CC

0
5

? (expected value)

0 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
DNF

0
DNF

0
CC

0
CC

0
6

? (expected value)

0 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
DNF

0
DNF

0
CC

0
CC

0
7

? (expected value)

0 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
DNF

0
DNF

0
CC

0
CC

0
8

? (expected value)

0 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
DNF

0
DNF

0
CC

0
CC

0
9

? (expected value)

0 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
DNF

0
DNF

0
CC

0
CC

0
RefineWMG — P/T
  LTSMin Tapaal LoLA M4M.full M4M.struct ITS-Tools ITS-Tools.L GreatSPN smart TINA.tedd Irma.full Irma.struct
Score 0 64 0 0 0 256 192 0 216 -264 0 0
Road Runner 0 2 0 0 0 2 0 0 4 0 0 0
Camel 0 2 0 0 0 2 0 0 4 0 0 0
002002

58320 3.2173E+0005 7 20 (expected value)

4.00 1 5.00 5.00 (confidence rate)

CC

0
58320 ? 7 20
T-TT
--:PM / 32
CC

0
CC

0
CC

0
58320 ? 7 20
T-TT
--:-- / 32
58320 ? 7 20
T-TT
--:-- / 32
CC

0
58320 3.2173E+0005 7 20
TTTT
--:-- / 36
77760 4.4172E+0005 7 20
XXTT
V-:-- / -44
CC

0
CC

0
002003

1.8432E+0005 1.1395E+0006 7 24 (expected value)

4.00 1 5.00 5.00 (confidence rate)

CC

0
1.8432E+0005 ? 7 24
T-TT
--:PM / 32
CC

0
CC

0
CC

0
1.8432E+0005 ? 7 24
T-TT
--:-- / 32
1.8432E+0005 ? 7 24
T-TT
--:-- / 32
CC

0
1.8432E+0005 1.1395E+0006 7 24
TTTT
--:-- / 36
2.4576E+0005 1.5596E+0006 7 24
XXTT
V-:-- / -44
CC

0
CC

0
005005

6.2256E+0011 9.3792E+0012 7 62 (expected value)

3.00 1 4.00 4.00 (confidence rate)

CC

0
CC

0
CC

0
CC

0
CC

0
6.2256E+0011 ? 7 62
T-TT
--:-- / 32
6.2256E+0011 ? 7 62
T-TT
--:-- / 32
CC

0
6.2256E+0011 9.3792E+0012 7 62
TTTT
--:PM / 36
8.3008E+0011 1.2628E+0013 7 62
XXTT
V-:-- / -44
CC

0
CC

0
005006

2.9084E+0012 4.5170E+0013 7 72 (expected value)

3.00 1 4.00 4.00 (confidence rate)

CC

0
CC

0
CC

0
CC

0
CC

0
2.9084E+0012 ? 7 72
T-TT
--:-- / 32
2.9084E+0012 ? 7 72
T-TT
--:-- / 32
CC

0
2.9084E+0012 4.5170E+0013 7 72
TTTT
--:PM / 36
3.8778E+0012 6.0798E+0013 7 72
XXTT
V-:-- / -44
CC

0
CC

0
007007

1.6981E+0017 3.6537E+0018 7 110 (expected value)

3.00 1 4.00 4.00 (confidence rate)

CC

0
CC

0
CC

0
CC

0
CC

0
1.6981E+0017 ? 7 110
T-TT
--:-- / 32
1.6981E+0017 ? 7 110
T-TT
--:-- / 32
CC

0
1.6981E+0017 3.6537E+0018 7 110
TTTT
--:PM / 36
2.2641E+0017 4.9036E+0018 7 110
XXTT
V-:-- / -44
CC

0
CC

0
007008

8.8327E+0017 1.9333E+0019 8 124 (expected value)

3.00 1 4.00 4.00 (confidence rate)

CC

0
CC

0
CC

0
CC

0
CC

0
8.8327E+0017 ? 8 124
T-TT
--:-- / 32
8.8327E+0017 ? 8 124
T-TT
--:-- / 32
CC

0
8.8327E+0017 1.9333E+0019 8 124
TTTT
--:PM / 36
1.1777E+0018 2.5944E+0019 8 124
XXTT
V-:-- / -44
CC

0
CC

0
010010

? (expected value)

0 (confidence rate)

CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
DNF

0
CC

0
CC

0
010011

? (expected value)

0 (confidence rate)

CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
DNF

0
CC

0
CC

0
015015

? (expected value)

0 (confidence rate)

CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
DNF

0
CC

0
CC

0
015016

? (expected value)

0 (confidence rate)

CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
DNF

0
CC

0
CC

0
DNF

0
CC

0
CC

0
025025

? (expected value)

0 (confidence rate)

CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
DNF

0
CC

0
CC

0
025026

? (expected value)

0 (confidence rate)

CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
DNF

0
CC

0
CC

0
050050

? (expected value)

0 (confidence rate)

CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
DNF

0
CC

0
DNF

0
DNF

0
CC

0
CC

0
050051

? (expected value)

0 (confidence rate)

CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
DNF

0
CC

0
DNF

0
DNF

0
CC

0
CC

0
100100

1.2240E+0412 ? 100 20012 (expected value)

1.00 0 1.00 1.00 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
CC

0
1.2240E+0412 ? 100 20012
T?TT
--:PM / 32
DNF

0
DNF

0
DNF

0
DNF

0
CC

0
CC

0
100101

8.7807E+0412 ? 101 20212 (expected value)

1.00 0 1.00 1.00 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
CC

0
8.7807E+0412 ? 101 20212
T?TT
--:PM / 32
DNF

0
DNF

0
DNF

0
DNF

0
CC

0
CC

0

All «Known» models
 
  LTSMin Tapaal LoLA M4M.full M4M.struct ITS-Tools ITS-Tools.L GreatSPN smart TINA.tedd Irma.full Irma.struct
Total Points 3995 2313 0 3459 3418 5386 5286 6906 4020 6838 3953 3938
Road Runner 4 70 0 2 1 33 58 233 31 131 22 15
Camel 0 74 0 3 9 10 10 356 46 43 39 10
ARMCacheCoherence — P/T
  LTSMin Tapaal LoLA M4M.full M4M.struct ITS-Tools ITS-Tools.L GreatSPN smart TINA.tedd Irma.full Irma.struct
Score 89 0 0 102 102 89 89 102 0 102 102 102
Road Runner 0 0 0 0 0 0 0 0 0 1 0 0
Camel 0 0 0 0 0 0 0 1 0 0 0 0
none

3.2057E+0008 2.2340E+0010 1 12 (expected value)

9.00 6.00 9.00 9.00 (confidence rate)

3.2057E+0008 ? 1 12
T-TT
--:-- / 89
CC

0
CC

0
3.2057E+0008 2.2340E+0010 1 12
TTTT
--:-- / 102
3.2057E+0008 2.2340E+0010 1 12
TTTT
--:-- / 102
3.2057E+0008 ? 1 12
T-TT
--:-- / 89
3.2057E+0008 ? 1 12
T-TT
--:-- / 89
3.2057E+0008 2.2340E+0010 1 12
TTTT
--:-M / 102
CC

0
3.2057E+0008 2.2340E+0010 1 12
TTTT
--:P- / 102
3.2057E+0008 2.2340E+0010 1 12
TTTT
--:-- / 102
3.2057E+0008 2.2340E+0010 1 12
TTTT
--:-- / 102
AirplaneLD — Colored
  LTSMin Tapaal LoLA M4M.full M4M.struct ITS-Tools ITS-Tools.L GreatSPN smart TINA.tedd Irma.full Irma.struct
Score 0 28 0 48 35 63 63 40 0 72 48 48
Road Runner 0 2 0 0 0 0 3 0 0 4 0 0
Camel 0 2 0 1 4 0 0 2 0 0 0 0
0010

43463 1.8366E+0005 1 38 (expected value)

9.00 5.00 9.00 9.00 (confidence rate)

DNC 43463 ? 1 38
T-TT
--:PM / 7
CC

0
43463 1.8366E+0005 1 38
TTTT
--:-- / 8
43463 ? 1 38
T-TT
--:-- / 7
43463 ? 1 38
T-TT
--:-- / 7
43463 ? 1 38
T-TT
--:-- / 7
43463 1.8366E+0005 1 38
TTTT
--:-- / 8
DNC 43463 1.8366E+0005 1 38
TTTT
--:-- / 8
43463 1.8366E+0005 1 38
TTTT
--:-- / 8
43463 1.8366E+0005 1 38
TTTT
--:-- / 8
0020

3.0830E+0005 1.3391E+0006 1 68 (expected value)

5.00 2.00 5.00 5.00 (confidence rate)

DNC 3.0830E+0005 ? 1 68
T-TT
--:PM / 7
CC

0
CC

0
CC

0
3.0830E+0005 ? 1 68
T-TT
--:-- / 7
3.0830E+0005 ? 1 68
T-TT
--:-- / 7
3.0830E+0005 1.3391E+0006 1 68
TTTT
--:-- / 8
DNC 3.0830E+0005 1.3391E+0006 1 68
TTTT
--:-- / 8
CC

0
CC

0
0050

4.4712E+0006 1.9756E+0007 1 158 (expected value)

5.00 2.00 5.00 5.00 (confidence rate)

DNC 4.4712E+0006 ? 1 158
T-TT
--:-- / 7
CC

0
CC

0
CC

0
4.4712E+0006 ? 1 158
T-TT
--:-- / 7
4.4712E+0006 ? 1 158
T-TT
--:-- / 7
4.4712E+0006 1.9756E+0007 1 158
TTTT
--:-M / 8
DNC 4.4712E+0006 1.9756E+0007 1 158
TTTT
--:P- / 8
CC

0
CC

0
0100

3.4877E+0007 1.5501E+0008 1 308 (expected value)

5.00 2.00 5.00 5.00 (confidence rate)

DNC 3.4877E+0007 ? 1 308
T-TT
--:-- / 7
CC

0
CC

0
CC

0
3.4877E+0007 ? 1 308
T-TT
--:-- / 7
3.4877E+0007 ? 1 308
T-TT
--:-- / 7
3.4877E+0007 1.5501E+0008 1 308
TTTT
--:-M / 8
DNC 3.4877E+0007 1.5501E+0008 1 308
TTTT
--:P- / 8
CC

0
CC

0
0200

2.7549E+0008 1.2280E+0009 1 608 (expected value)

8.00 5.00 8.00 8.00 (confidence rate)

DNC CC

0
CC

0
2.7549E+0008 1.2280E+0009 1 608
TTTT
--:-- / 8
2.7549E+0008 ? 1 608
T-TT
--:-M / 7
2.7549E+0008 ? 1 608
T-TT
--:-- / 7
2.7549E+0008 ? 1 608
T-TT
--:-- / 7
2.7549E+0008 1.2280E+0009 1 608
TTTT
--:-- / 8
DNC 2.7549E+0008 1.2280E+0009 1 608
TTTT
--:P- / 8
2.7549E+0008 1.2280E+0009 1 608
TTTT
--:-- / 8
2.7549E+0008 1.2280E+0009 1 608
TTTT
--:-- / 8
0500

4.2718E+0009 1.9075E+0010 1 1508 (expected value)

7.00 4.00 7.00 7.00 (confidence rate)

DNC CC

0
CC

0
4.2718E+0009 1.9075E+0010 1 1508
TTTT
--:-- / 8
4.2718E+0009 ? 1 1508
T-TT
--:-M / 7
4.2718E+0009 ? 1 1508
T-TT
--:-- / 7
4.2718E+0009 ? 1 1508
T-TT
--:P- / 7
DNF

0
DNC 4.2718E+0009 1.9075E+0010 1 1508
TTTT
--:-- / 8
4.2718E+0009 1.9075E+0010 1 1508
TTTT
--:-- / 8
4.2718E+0009 1.9075E+0010 1 1508
TTTT
--:-- / 8
1000

3.4087E+0010 1.5230E+0011 1 3008 (expected value)

7.00 4.00 7.00 7.00 (confidence rate)

DNC CC

0
CC

0
3.4087E+0010 1.5230E+0011 1 3008
TTTT
--:-- / 8
3.4087E+0010 ? 1 3008
T-TT
--:-M / 7
3.4087E+0010 ? 1 3008
T-TT
--:-- / 7
3.4087E+0010 ? 1 3008
T-TT
--:P- / 7
DNF

0
DNC 3.4087E+0010 1.5230E+0011 1 3008
TTTT
--:-- / 8
3.4087E+0010 1.5230E+0011 1 3008
TTTT
--:-- / 8
3.4087E+0010 1.5230E+0011 1 3008
TTTT
--:-- / 8
2000

2.7235E+0011 1.2172E+0012 1 6008 (expected value)

7.00 4.00 7.00 7.00 (confidence rate)

DNC CC

0
CC

0
2.7235E+0011 1.2172E+0012 1 6008
TTTT
--:-- / 8
2.7235E+0011 ? 1 6008
T-TT
--:-M / 7
2.7235E+0011 ? 1 6008
T-TT
--:-- / 7
2.7235E+0011 ? 1 6008
T-TT
--:P- / 7
CC

0
DNC 2.7235E+0011 1.2172E+0012 1 6008
TTTT
--:-- / 8
2.7235E+0011 1.2172E+0012 1 6008
TTTT
--:-- / 8
2.7235E+0011 1.2172E+0012 1 6008
TTTT
--:-- / 8
4000

2.1774E+0012 9.7328E+0012 1 12008 (expected value)

6.00 4.00 6.00 6.00 (confidence rate)

DNC CC

0
CC

0
2.1774E+0012 9.7328E+0012 1 12008
TTTT
--:-M / 8
CC

0
2.1774E+0012 ? 1 12008
T-TT
--:-- / 7
2.1774E+0012 ? 1 12008
T-TT
--:-- / 7
CC

0
DNC 2.1774E+0012 9.7328E+0012 1 12008
TTTT
--:P- / 8
2.1774E+0012 9.7328E+0012 1 12008
TTTT
--:-- / 8
2.1774E+0012 9.7328E+0012 1 12008
TTTT
--:-- / 8
AirplaneLD — P/T
  LTSMin Tapaal LoLA M4M.full M4M.struct ITS-Tools ITS-Tools.L GreatSPN smart TINA.tedd Irma.full Irma.struct
Score 35 28 0 48 35 56 63 48 40 72 48 48
Road Runner 0 0 0 0 0 0 6 3 0 0 0 0
Camel 0 1 0 0 4 0 0 2 1 1 0 0
0010

43463 1.8366E+0005 1 38 (expected value)

11.00 6.00 11.00 11.00 (confidence rate)

43463 ? 1 38
T-TT
--:-- / 7
43463 ? 1 38
T-TT
--:-M / 7
CC

0
43463 1.8366E+0005 1 38
TTTT
--:-- / 8
43463 ? 1 38
T-TT
--:-- / 7
43463 ? 1 38
T-TT
--:-- / 7
43463 ? 1 38
T-TT
--:-- / 7
43463 1.8366E+0005 1 38
TTTT
--:P- / 8
43463 1.8366E+0005 1 38
TTTT
--:-- / 8
43463 1.8366E+0005 1 38
TTTT
--:-- / 8
43463 1.8366E+0005 1 38
TTTT
--:-- / 8
43463 1.8366E+0005 1 38
TTTT
--:-- / 8
0020

3.0830E+0005 1.3391E+0006 1 68 (expected value)

7.00 3.00 7.00 7.00 (confidence rate)

3.0830E+0005 ? 1 68
T-TT
--:-- / 7
3.0830E+0005 ? 1 68
T-TT
--:-- / 7
CC

0
CC

0
CC

0
3.0830E+0005 ? 1 68
T-TT
--:-- / 7
3.0830E+0005 ? 1 68
T-TT
--:-- / 7
3.0830E+0005 1.3391E+0006 1 68
TTTT
--:PM / 8
3.0830E+0005 1.3391E+0006 1 68
TTTT
--:-- / 8
3.0830E+0005 1.3391E+0006 1 68
TTTT
--:-- / 8
CC

0
CC

0
0050

4.4712E+0006 1.9756E+0007 1 158 (expected value)

7.00 3.00 7.00 7.00 (confidence rate)

4.4712E+0006 ? 1 158
T-TT
--:-- / 7
4.4712E+0006 ? 1 158
T-TT
--:-- / 7
CC

0
CC

0
CC

0
4.4712E+0006 ? 1 158
T-TT
--:-- / 7
4.4712E+0006 ? 1 158
T-TT
--:-- / 7
4.4712E+0006 1.9756E+0007 1 158
TTTT
--:PM / 8
4.4712E+0006 1.9756E+0007 1 158
TTTT
--:-- / 8
4.4712E+0006 1.9756E+0007 1 158
TTTT
--:-- / 8
CC

0
CC

0
0100

3.4877E+0007 1.5501E+0008 1 308 (expected value)

7.00 3.00 7.00 7.00 (confidence rate)

3.4877E+0007 ? 1 308
T-TT
--:-- / 7
3.4877E+0007 ? 1 308
T-TT
--:-- / 7
CC

0
CC

0
CC

0
3.4877E+0007 ? 1 308
T-TT
--:-- / 7
3.4877E+0007 ? 1 308
T-TT
--:P- / 7
3.4877E+0007 1.5501E+0008 1 308
TTTT
--:-- / 8
3.4877E+0007 1.5501E+0008 1 308
TTTT
--:-M / 8
3.4877E+0007 1.5501E+0008 1 308
TTTT
--:-- / 8
CC

0
CC

0
0200

2.7549E+0008 1.2280E+0009 1 608 (expected value)

10.00 6.00 10.00 10.00 (confidence rate)

2.7549E+0008 ? 1 608
T-TT
--:-- / 7
CC

0
CC

0
2.7549E+0008 1.2280E+0009 1 608
TTTT
--:-- / 8
2.7549E+0008 ? 1 608
T-TT
--:-M / 7
2.7549E+0008 ? 1 608
T-TT
--:-- / 7
2.7549E+0008 ? 1 608
T-TT
--:P- / 7
2.7549E+0008 1.2280E+0009 1 608
TTTT
--:-- / 8
2.7549E+0008 1.2280E+0009 1 608
TTTT
--:-- / 8
2.7549E+0008 1.2280E+0009 1 608
TTTT
--:-- / 8
2.7549E+0008 1.2280E+0009 1 608
TTTT
--:-- / 8
2.7549E+0008 1.2280E+0009 1 608
TTTT
--:-- / 8
0500

4.2718E+0009 1.9075E+0010 1 1508 (expected value)

7.00 4.00 7.00 7.00 (confidence rate)

DNF

0
CC

0
CC

0
4.2718E+0009 1.9075E+0010 1 1508
TTTT
--:-- / 8
4.2718E+0009 ? 1 1508
T-TT
--:-M / 7
4.2718E+0009 ? 1 1508
T-TT
--:-- / 7
4.2718E+0009 ? 1 1508
T-TT
--:P- / 7
DNF

0
DNF

0
4.2718E+0009 1.9075E+0010 1 1508
TTTT
--:-- / 8
4.2718E+0009 1.9075E+0010 1 1508
TTTT
--:-- / 8
4.2718E+0009 1.9075E+0010 1 1508
TTTT
--:-- / 8
1000

3.4087E+0010 1.5230E+0011 1 3008 (expected value)

8.00 5.00 8.00 8.00 (confidence rate)

DNF

0
CC

0
CC

0
3.4087E+0010 1.5230E+0011 1 3008
TTTT
--:-- / 8
3.4087E+0010 ? 1 3008
T-TT
--:-M / 7
3.4087E+0010 ? 1 3008
T-TT
--:-- / 7
3.4087E+0010 ? 1 3008
T-TT
--:P- / 7
3.4087E+0010 1.5230E+0011 1 3008
TTTT
--:-- / 8
CC

0
3.4087E+0010 1.5230E+0011 1 3008
TTTT
--:-- / 8
3.4087E+0010 1.5230E+0011 1 3008
TTTT
--:-- / 8
3.4087E+0010 1.5230E+0011 1 3008
TTTT
--:-- / 8
2000

2.7235E+0011 1.2172E+0012 1 6008 (expected value)

7.00 4.00 7.00 7.00 (confidence rate)

DNF

0
CC

0
CC

0
2.7235E+0011 1.2172E+0012 1 6008
TTTT
--:-- / 8
2.7235E+0011 ? 1 6008
T-TT
--:-M / 7
2.7235E+0011 ? 1 6008
T-TT
--:-- / 7
2.7235E+0011 ? 1 6008
T-TT
--:P- / 7
CC

0
CC

0
2.7235E+0011 1.2172E+0012 1 6008
TTTT
--:-- / 8
2.7235E+0011 1.2172E+0012 1 6008
TTTT
--:-- / 8
2.7235E+0011 1.2172E+0012 1 6008
TTTT
--:-- / 8
4000

2.1774E+0012 9.7328E+0012 1 12008 (expected value)

5.00 4.00 5.00 5.00 (confidence rate)

CC

0
CC

0
CC

0
2.1774E+0012 9.7328E+0012 1 12008
TTTT
--:-- / 8
CC

0
DNF

0
2.1774E+0012 ? 1 12008
T-TT
--:P- / 7
CC

0
CC

0
2.1774E+0012 9.7328E+0012 1 12008
TTTT
--:-M / 8
2.1774E+0012 9.7328E+0012 1 12008
TTTT
--:-- / 8
2.1774E+0012 9.7328E+0012 1 12008
TTTT
--:-- / 8
Angiogenesis — P/T
  LTSMin Tapaal LoLA M4M.full M4M.struct ITS-Tools ITS-Tools.L GreatSPN smart TINA.tedd Irma.full Irma.struct
Score 60 30 0 0 34 75 30 102 85 85 49 34
Road Runner 0 0 0 0 0 0 0 4 2 0 0 0
Camel 0 0 0 0 0 0 0 3 3 0 0 0
01

110 288 1 8 (expected value)

10.00 6.00 10.00 10.00 (confidence rate)

110 ? 1 8
T-TT
--:-- / 15
110 ? 1 8
T-TT
--:-- / 15
CC

0
CC

0
110 288 1 8
TTTT
--:-- / 17
110 ? 1 8
T-TT
--:-- / 15
110 ? 1 8
T-TT
--:-- / 15
110 288 1 8
TTTT
--:PM / 17
110 288 1 8
TTTT
--:-- / 17
110 288 1 8
TTTT
--:-- / 17
110 288 1 8
TTTT
--:-- / 17
110 288 1 8
TTTT
--:-- / 17
05

4.2735E+0007 4.8687E+0008 5 40 (expected value)

7.00 3.00 7.00 7.00 (confidence rate)

4.2735E+0007 ? 5 40
T-TT
--:-- / 15
4.2735E+0007 ? 5 40
T-TT
--:-- / 15
CC

0
CC

0
CC

0
4.2735E+0007 ? 5 40
T-TT
--:-- / 15
4.2735E+0007 ? 5 40
T-TT
--:-- / 15
4.2735E+0007 4.8687E+0008 5 40
TTTT
--:PM / 17
4.2735E+0007 4.8687E+0008 5 40
TTTT
--:-- / 17
4.2735E+0007 4.8687E+0008 5 40
TTTT
--:-- / 17
CC

0
CC

0
10

8.2265E+0011 1.5636E+0013 10 80 (expected value)

5.00 3.00 5.00 5.00 (confidence rate)

8.2265E+0011 ? 10 80
T-TT
--:-- / 15
CC

0
CC

0
CC

0
CC

0
8.2265E+0011 ? 10 80
T-TT
--:-- / 15
DNF

0
8.2265E+0011 1.5636E+0013 10 80
TTTT
--:-- / 17
8.2265E+0011 1.5636E+0013 10 80
TTTT
--:PM / 17
8.2265E+0011 1.5636E+0013 10 80
TTTT
--:-- / 17
CC

0
CC

0
15

1.1155E+0015 2.7474E+0016 15 120 (expected value)

8.00 6.00 8.00 8.00 (confidence rate)

1.1155E+0015 ? 15 120
T-TT
--:-- / 15
CC

0
CC

0
CC

0
1.1155E+0015 2.7474E+0016 15 120
TTTT
--:-- / 17
1.1155E+0015 ? 15 120
T-TT
--:-- / 15
DNF

0
1.1155E+0015 2.7474E+0016 15 120
TTTT
--:-- / 17
1.1155E+0015 2.7474E+0016 15 120
TTTT
--:PM / 17
1.1155E+0015 2.7474E+0016 15 120
TTTT
--:-- / 17
1.1155E+0015 2.7474E+0016 15 120
TTTT
--:-- / 17
1.1155E+0015 2.7474E+0016 15 120
TTTT
--:-- / 17
20

3.5182E+0017 1.0195E+0019 20 160 (expected value)

5.00 3.00 5.00 5.00 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
DNF

0
3.5182E+0017 ? 20 160
T-TT
--:-- / 15
DNF

0
3.5182E+0017 1.0195E+0019 20 160
TTTT
--:P- / 17
3.5182E+0017 1.0195E+0019 20 160
TTTT
--:-M / 17
3.5182E+0017 1.0195E+0019 20 160
TTTT
--:-- / 17
3.5182E+0017 ? 20 160
T-TT
--:-- / 15
DNF

0
25

4.3090E+0019 1.3984E+0021 25 200 (expected value)

1 1 1 1 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
DNF

0
DNF

0
DNF

0
4.3090E+0019 1.3984E+0021 25 200
TTTT
--:PM / 17
DNF

0
DNF

0
CC

0
CC

0
50

? (expected value)

0 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
CC

0
CC

0
AutoFlight — P/T
  LTSMin Tapaal LoLA M4M.full M4M.struct ITS-Tools ITS-Tools.L GreatSPN smart TINA.tedd Irma.full Irma.struct
Score 70 42 0 71 71 105 84 119 72 120 71 71
Road Runner 0 1 0 1 1 4 0 6 0 2 1 0
Camel 0 3 0 0 0 0 0 9 0 1 3 0
01a

253 1120 1 9 (expected value)

11.00 7.00 11.00 11.00 (confidence rate)

253 ? 1 9
T-TT
--:-- / 7
253 ? 1 9
T-TT
--:-M / 7
CC

0
253 1120 1 9
TTTT
--:-- / 8
253 1120 1 9
TTTT
--:-- / 8
253 ? 1 9
T-TT
--:-- / 7
253 ? 1 9
T-TT
--:-- / 7
253 1120 1 9
TTTT
--:P- / 8
253 1120 1 9
TTTT
--:-- / 8
253 1120 1 9
TTTT
--:-- / 8
253 1120 1 9
TTTT
--:-- / 8
253 1120 1 9
TTTT
--:-- / 8
01b

4.8882E+0007 3.5442E+0008 1 9 (expected value)

11.00 7.00 11.00 11.00 (confidence rate)

4.8882E+0007 ? 1 9
T-TT
--:-- / 7
4.8882E+0007 ? 1 9
T-TT
--:-- / 7
CC

0
4.8882E+0007 3.5442E+0008 1 9
TTTT
--:-- / 8
4.8882E+0007 3.5442E+0008 1 9
TTTT
--:-- / 8
4.8882E+0007 ? 1 9
T-TT
--:-- / 7
4.8882E+0007 ? 1 9
T-TT
--:-- / 7
4.8882E+0007 3.5442E+0008 1 9
TTTT
--:PM / 8
4.8882E+0007 3.5442E+0008 1 9
TTTT
--:-- / 8
4.8882E+0007 3.5442E+0008 1 9
TTTT
--:-- / 8
4.8882E+0007 3.5442E+0008 1 9
TTTT
--:-- / 8
4.8882E+0007 3.5442E+0008 1 9
TTTT
--:-- / 8
02a

6949 55285 1 15 (expected value)

7.00 3.00 7.00 7.00 (confidence rate)

6949 ? 1 15
T-TT
--:-- / 7
6949 ? 1 15
T-TT
--:PM / 7
CC

0
CC

0
CC

0
6949 ? 1 15
T-TT
--:-- / 7
6949 ? 1 15
T-TT
--:-- / 7
6949 55285 1 15
TTTT
--:-- / 8
6949 55285 1 15
TTTT
--:-- / 8
6949 55285 1 15
TTTT
--:-- / 8
CC

0
CC

0
02b

1.6155E+0013 2.0351E+0014 1 15 (expected value)

6.00 3.00 6.00 6.00 (confidence rate)

1.6155E+0013 ? 1 15
T-TT
--:-- / 7
CC

0
CC

0
CC

0
CC

0
1.6155E+0013 ? 1 15
T-TT
--:-- / 7
1.6155E+0013 ? 1 15
T-TT
--:-- / 7
1.6155E+0013 2.0351E+0014 1 15
TTTT
--:PM / 8
1.6155E+0013 2.0351E+0014 1 15
TTTT
--:-- / 8
1.6155E+0013 2.0351E+0014 1 15
TTTT
--:-- / 8
CC

0
CC

0
03a

1.5768E+0005 1.8212E+0006 1 21 (expected value)

7.00 3.00 7.00 7.00 (confidence rate)

1.5768E+0005 ? 1 21
T-TT
--:-- / 7
1.5768E+0005 ? 1 21
T-TT
--:-M / 7
CC

0
CC

0
CC

0
1.5768E+0005 ? 1 21
T-TT
--:-- / 7
1.5768E+0005 ? 1 21
T-TT
--:-- / 7
1.5768E+0005 1.8212E+0006 1 21
TTTT
--:P- / 8
1.5768E+0005 1.8212E+0006 1 21
TTTT
--:-- / 8
1.5768E+0005 1.8212E+0006 1 21
TTTT
--:-- / 8
CC

0
CC

0
03b

4.0962E+0018 7.3643E+0019 1 21 (expected value)

5.00 2.00 5.00 5.00 (confidence rate)

4.0962E+0018 ? 1 21
T-TT
--:-- / 7
CC

0
CC

0
CC

0
CC

0
4.0962E+0018 ? 1 21
T-TT
--:-- / 7
4.0962E+0018 ? 1 21
T-TT
--:-- / 7
4.0962E+0018 7.3643E+0019 1 21
TTTT
--:-M / 8
DNF

0
4.0962E+0018 7.3643E+0019 1 21
TTTT
--:P- / 8
CC

0
CC

0
04a

3.3320E+0006 5.0619E+0007 1 27 (expected value)

7.00 3.00 7.00 7.00 (confidence rate)

3.3320E+0006 ? 1 27
T-TT
--:-- / 7
3.3320E+0006 ? 1 27
T-TT
--:-- / 7
CC

0
CC

0
CC

0
3.3320E+0006 ? 1 27
T-TT
--:P- / 7
3.3320E+0006 ? 1 27
T-TT
--:-- / 7
3.3320E+0006 5.0619E+0007 1 27
TTTT
--:-M / 8
3.3320E+0006 5.0619E+0007 1 27
TTTT
--:-- / 8
3.3320E+0006 5.0619E+0007 1 27
TTTT
--:-- / 8
CC

0
CC

0
04b

9.0465E+0023 2.1140E+0025 1 27 (expected value)

4.00 2.00 4.00 4.00 (confidence rate)

9.0465E+0023 ? 1 27
T-TT
--:-- / 7
CC

0
CC

0
CC

0
CC

0
9.0465E+0023 ? 1 27
T-TT
--:P- / 7
CC

0
9.0465E+0023 2.1140E+0025 1 27
TTTT
--:-M / 8
DNF

0
9.0465E+0023 2.1140E+0025 1 27
TTTT
--:-- / 8
CC

0
CC

0
05a

6.8180E+0007 1.2862E+0009 1 33 (expected value)

11.00 7.00 11.00 11.00 (confidence rate)

6.8180E+0007 ? 1 33
T-TT
--:-- / 7
6.8180E+0007 ? 1 33
T-TT
--:-- / 7
CC

0
6.8180E+0007 1.2862E+0009 1 33
TTTT
--:-- / 8
6.8180E+0007 1.2862E+0009 1 33
TTTT
--:-- / 8
6.8180E+0007 ? 1 33
T-TT
--:-- / 7
6.8180E+0007 ? 1 33
T-TT
--:-- / 7
6.8180E+0007 1.2862E+0009 1 33
TTTT
--:PM / 8
6.8180E+0007 1.2862E+0009 1 33
TTTT
--:-- / 8
6.8180E+0007 1.2862E+0009 1 33
TTTT
--:-- / 8
6.8180E+0007 1.2862E+0009 1 33
TTTT
--:-- / 8
6.8180E+0007 1.2862E+0009 1 33
TTTT
--:-- / 8
05b

1.8382E+0029 5.2864E+0030 1 33 (expected value)

7.00 1.00 7.00 7.00 (confidence rate)

DNF

0
CC

0
CC

0
1.8382E+0029 ? 1 33
T-TT
--:-- / 7
1.8382E+0029 ? 1 33
T-TT
--:-- / 7
1.8382E+0029 ? 1 33
T-TT
--:-- / 7
CC

0
1.8382E+0029 ? 1 33
T-TT
--:-- / 7
DNF

0
1.8382E+0029 5.2864E+0030 1 33
TTTT
--:P- / 8
1.8382E+0029 ? 1 33
T-TT
--:-M / 7
1.8382E+0029 ? 1 33
T-TT
--:-- / 7
06a

1.3719E+0009 3.0943E+0010 1 39 (expected value)

10.00 7.00 10.00 10.00 (confidence rate)

1.3719E+0009 ? 1 39
T-TT
--:-- / 7
CC

0
CC

0
1.3719E+0009 3.0943E+0010 1 39
TTTT
--:-- / 8
1.3719E+0009 3.0943E+0010 1 39
TTTT
--:-- / 8
1.3719E+0009 ? 1 39
T-TT
--:P- / 7
1.3719E+0009 ? 1 39
T-TT
--:-- / 7
1.3719E+0009 3.0943E+0010 1 39
TTTT
--:-M / 8
1.3719E+0009 3.0943E+0010 1 39
TTTT
--:-- / 8
1.3719E+0009 3.0943E+0010 1 39
TTTT
--:-- / 8
1.3719E+0009 3.0943E+0010 1 39
TTTT
--:-- / 8
1.3719E+0009 3.0943E+0010 1 39
TTTT
--:-- / 8
06b

3.5325E+0034 1.2063E+0036 1 39 (expected value)

2.00 1.00 2.00 2.00 (confidence rate)

DNF

0
CC

0
CC

0
DNF

0
DNF

0
3.5325E+0034 ? 1 39
T-TT
--:P- / 7
CC

0
DNF

0
DNF

0
3.5325E+0034 1.2063E+0036 1 39
TTTT
--:-M / 8
DNF

0
DNF

0
12a

7.8221E+0016 3.4975E+0018 1 75 (expected value)

9.00 7.00 9.00 9.00 (confidence rate)

DNF

0
CC

0
CC

0
7.8221E+0016 3.4975E+0018 1 75
TTTT
--:-- / 8
7.8221E+0016 3.4975E+0018 1 75
TTTT
--:-- / 8
7.8221E+0016 ? 1 75
T-TT
--:-- / 7
7.8221E+0016 ? 1 75
T-TT
--:-- / 7
7.8221E+0016 3.4975E+0018 1 75
TTTT
--:PM / 8
7.8221E+0016 3.4975E+0018 1 75
TTTT
--:-- / 8
7.8221E+0016 3.4975E+0018 1 75
TTTT
--:-- / 8
7.8221E+0016 3.4975E+0018 1 75
TTTT
--:-- / 8
7.8221E+0016 3.4975E+0018 1 75
TTTT
--:-- / 8
12b

? (expected value)

0 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
CC

0
24a

1.6997E+0032 1.5091E+0034 1 147 (expected value)

8.00 6.00 8.00 8.00 (confidence rate)

DNF

0
CC

0
CC

0
1.6997E+0032 1.5091E+0034 1 147
TTTT
--:-- / 8
1.6997E+0032 1.5091E+0034 1 147
TTTT
--:P- / 8
1.6997E+0032 ? 1 147
T-TT
--:-- / 7
1.6997E+0032 ? 1 147
T-TT
--:-- / 7
1.6997E+0032 1.5091E+0034 1 147
TTTT
--:-M / 8
DNF

0
1.6997E+0032 1.5091E+0034 1 147
TTTT
--:-- / 8
1.6997E+0032 1.5091E+0034 1 147
TTTT
--:-- / 8
1.6997E+0032 1.5091E+0034 1 147
TTTT
--:-- / 8
24b

? (expected value)

0 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
CC

0
48a

1.6136E+0051 2.3370E+0053 1 257 (expected value)

8.00 6.00 8.00 8.00 (confidence rate)

DNF

0
CC

0
CC

0
1.6136E+0051 2.3370E+0053 1 257
TTTT
--:P- / 8
1.6136E+0051 2.3370E+0053 1 257
TTTT
--:-- / 8
1.6136E+0051 ? 1 257
T-TT
--:-- / 7
1.6136E+0051 ? 1 257
T-TT
--:-- / 7
1.6136E+0051 2.3370E+0053 1 257
TTTT
--:-- / 8
DNF

0
1.6136E+0051 2.3370E+0053 1 257
TTTT
--:-- / 8
1.6136E+0051 2.3370E+0053 1 257
TTTT
--:-M / 8
1.6136E+0051 2.3370E+0053 1 257
TTTT
--:-- / 8
48b

? (expected value)

0 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
CC

0
96a

2.0424E+0100 5.8990E+0102 1 513 (expected value)

5.00 5.00 5.00 5.00 (confidence rate)

DNF

0
CC

0
CC

0
2.0424E+0100 5.8990E+0102 1 513
TTTT
--:-- / 8
2.0424E+0100 5.8990E+0102 1 513
TTTT
--:-- / 8
CC

0
CC

0
2.0424E+0100 5.8990E+0102 1 513
TTTT
--:-- / 8
DNF

0
DNF

0
2.0424E+0100 5.8990E+0102 1 513
TTTT
--:PM / 8
2.0424E+0100 5.8990E+0102 1 513
TTTT
--:-- / 8
96b

? (expected value)

0 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
DNF

0
CC

0
DNF

0
CC

0
CC

0
BART — Colored (no check between colored and P/T)
  LTSMin Tapaal LoLA M4M.full M4M.struct ITS-Tools ITS-Tools.L GreatSPN smart TINA.tedd Irma.full Irma.struct
Score 0 0 0 0 0 64 64 0 0 0 0 0
Road Runner 0 0 0 0 0 2 6 0 0 0 0 0
Camel 0 0 0 0 0 4 4 0 0 0 0 0
002

17424 ? 1 274 (expected value)

2.00 0 2.00 2.00 (confidence rate)

DNC CC

0
CC

0
CC

0
CC

0
17424 ? 1 274
T?TT
--:-- / 8
17424 ? 1 274
T?TT
--:PM / 8
DNF

0
DNC CC

0
CC

0
CC

0
005

4.0075E+0010 ? 1 277 (expected value)

2.00 0 2.00 2.00 (confidence rate)

DNC CC

0
CC

0
CC

0
CC

0
4.0075E+0010 ? 1 277
T?TT
--:PM / 8
4.0075E+0010 ? 1 277
T?TT
--:-- / 8
DNF

0
DNC CC

0
CC

0
CC

0
010

1.6060E+0021 ? 1 282 (expected value)

2.00 0 2.00 2.00 (confidence rate)

DNC CC

0
CC

0
CC

0
CC

0
1.6060E+0021 ? 1 282
T?TT
--:-- / 8
1.6060E+0021 ? 1 282
T?TT
--:PM / 8
DNF

0
DNC CC

0
CC

0
CC

0
020

2.5792E+0042 ? 1 292 (expected value)

2.00 0 2.00 2.00 (confidence rate)

DNC CC

0
CC

0
CC

0
CC

0
2.5792E+0042 ? 1 292
T?TT
--:PM / 8
2.5792E+0042 ? 1 292
T?TT
--:-- / 8
DNF

0
DNC CC

0
CC

0
CC

0
030

4.1421E+0063 ? 1 302 (expected value)

2.00 0 2.00 2.00 (confidence rate)

DNC CC

0
CC

0
CC

0
CC

0
4.1421E+0063 ? 1 302
T?TT
--:-- / 8
4.1421E+0063 ? 1 302
T?TT
--:PM / 8
DNF

0
DNC CC

0
CC

0
CC

0
040

6.6521E+0084 ? 1 312 (expected value)

2.00 0 2.00 2.00 (confidence rate)

DNC CC

0
CC

0
CC

0
CC

0
6.6521E+0084 ? 1 312
T?TT
--:-M / 8
6.6521E+0084 ? 1 312
T?TT
--:P- / 8
DNF

0
DNC CC

0
CC

0
CC

0
050

1.0683E+0106 ? 1 322 (expected value)

2.00 0 2.00 2.00 (confidence rate)

DNC CC

0
CC

0
CC

0
CC

0
1.0683E+0106 ? 1 322
T?TT
--:-- / 8
1.0683E+0106 ? 1 322
T?TT
--:PM / 8
DNF

0
DNC CC

0
CC

0
CC

0
060

1.7157E+0127 ? 1 332 (expected value)

2.00 0 2.00 2.00 (confidence rate)

DNC CC

0
CC

0
CC

0
CC

0
1.7157E+0127 ? 1 332
T?TT
--:-M / 8
1.7157E+0127 ? 1 332
T?TT
--:P- / 8
DNF

0
DNC CC

0
CC

0
CC

0
BART — P/T (no check between colored and P/T)
  LTSMin Tapaal LoLA M4M.full M4M.struct ITS-Tools ITS-Tools.L GreatSPN smart TINA.tedd Irma.full Irma.struct
Score 16 8 0 12 12 16 64 72 9 72 12 12
Road Runner 0 1 0 0 0 0 3 1 0 3 0 0
Camel 0 0 0 0 0 0 0 8 0 0 0 0
002

17424 53328 1 212 (expected value)

11.00 3.00 7.00 7.00 (confidence rate)

17424 ? 1 212
T-TT
--:-- / 8
17424 ? 1 212
T-TT
--:P- / 8
CC

0
17424 ? ? ?
T---
--:-- / 6
17424 ? ? ?
T---
--:-- / 6
17424 ? 1 212
T-TT
--:-- / 8
17424 ? 1 212
T-TT
--:-- / 8
17424 53328 1 212
TTTT
--:-M / 9
17424 53328 1 212
TTTT
--:-- / 9
17424 53328 1 212
TTTT
--:-- / 9
17424 ? ? ?
T---
--:-- / 6
17424 ? ? ?
T---
--:-- / 6
005

4.0075E+0010 3.0663E+0011 1 215 (expected value)

9.00 2.00 5.00 5.00 (confidence rate)

4.0075E+0010 ? 1 215
T-TT
--:-- / 8
CC

0
CC

0
4.0075E+0010 ? ? ?
T---
--:-- / 6
4.0075E+0010 ? ? ?
T---
--:-- / 6
4.0075E+0010 ? 1 215
T-TT
--:-- / 8
4.0075E+0010 ? 1 215
T-TT
--:-- / 8
4.0075E+0010 3.0663E+0011 1 215
TTTT
--:PM / 9
DNF

0
4.0075E+0010 3.0663E+0011 1 215
TTTT
--:-- / 9
4.0075E+0010 ? ? ?
T---
--:-- / 6
4.0075E+0010 ? ? ?
T---
--:-- / 6
010

1.6060E+0021 2.4576E+0022 1 220 (expected value)

3.00 2.00 3.00 3.00 (confidence rate)

DNF

0
CC

0
CC

0
DNF

0
DNF

0
CC

0
1.6060E+0021 ? 1 220
T-TT
--:-- / 8
1.6060E+0021 2.4576E+0022 1 220
TTTT
--:-M / 9
DNF

0
1.6060E+0021 2.4576E+0022 1 220
TTTT
--:P- / 9
DNF

0
DNF

0
020

2.5792E+0042 7.8938E+0043 1 230 (expected value)

3.00 2.00 3.00 3.00 (confidence rate)

DNF

0
CC

0
CC

0
DNF

0
DNF

0
CC

0
2.5792E+0042 ? 1 230
T-TT
--:-- / 8
2.5792E+0042 7.8938E+0043 1 230
TTTT
--:-M / 9
DNF

0
2.5792E+0042 7.8938E+0043 1 230
TTTT
--:P- / 9
CC

0
CC

0
030

4.1421E+0063 1.9016E+0065 1 240 (expected value)

3.00 2.00 3.00 3.00 (confidence rate)

DNF

0
CC

0
CC

0
DNF

0
DNF

0
CC

0
4.1421E+0063 ? 1 240
T-TT
--:-- / 8
4.1421E+0063 1.9016E+0065 1 240
TTTT
--:-M / 9
CC

0
4.1421E+0063 1.9016E+0065 1 240
TTTT
--:P- / 9
CC

0
DNF

0
040

6.6521E+0084 4.0719E+0086 1 250 (expected value)

3.00 2.00 3.00 3.00 (confidence rate)

DNF

0
CC

0
CC

0
DNF

0
DNF

0
CC

0
6.6521E+0084 ? 1 250
T-TT
--:P- / 8
6.6521E+0084 4.0719E+0086 1 250
TTTT
--:-M / 9
CC

0
6.6521E+0084 4.0719E+0086 1 250
TTTT
--:-- / 9
CC

0
CC

0
050

1.0683E+0106 8.1742E+0107 1 260 (expected value)

3.00 2.00 3.00 3.00 (confidence rate)

DNF

0
CC

0
CC

0
DNF

0
DNF

0
CC

0
1.0683E+0106 ? 1 260
T-TT
--:P- / 8
1.0683E+0106 8.1742E+0107 1 260
TTTT
--:-M / 9
CC

0
1.0683E+0106 8.1742E+0107 1 260
TTTT
--:-- / 9
DNF

0
DNF

0
060

1.7157E+0127 1.5753E+0129 1 270 (expected value)

3.00 2.00 3.00 3.00 (confidence rate)

CC

0
CC

0
CC

0
DNF

0
DNF

0
CC

0
1.7157E+0127 ? 1 270
T-TT
--:P- / 8
1.7157E+0127 1.5753E+0129 1 270
TTTT
--:-M / 9
CC

0
1.7157E+0127 1.5753E+0129 1 270
TTTT
--:-- / 9
DNF

0
DNF

0
BridgeAndVehicles — Colored
  LTSMin Tapaal LoLA M4M.full M4M.struct ITS-Tools ITS-Tools.L GreatSPN smart TINA.tedd Irma.full Irma.struct
Score 0 40 0 20 20 40 40 100 0 80 70 70
Road Runner 0 2 0 0 0 1 0 4 0 4 6 3
Camel 0 6 0 0 0 0 0 10 0 0 4 0
V04P05N02

2874 7160 5 17 (expected value)

9.00 4.00 9.00 9.00 (confidence rate)

DNC 2874 ? 5 17
T-TT
--:PM / 5
CC

0
2874 ? 5 17
T-TT
--:-- / 5
2874 ? 5 17
T-TT
--:-- / 5
2874 ? 5 17
T-TT
--:-- / 5
2874 ? 5 17
T-TT
--:-- / 5
2874 7160 5 17
TTTT
--:-- / 5
DNC 2874 7160 5 17
TTTT
--:-- / 5
2874 7160 5 17
TTTT
--:-- / 5
2874 7160 5 17
TTTT
--:-- / 5
V10P10N10

2.5956E+0005 8.2128E+0005 10 34 (expected value)

5.00 2.00 5.00 5.00 (confidence rate)

DNC 2.5956E+0005 ? 10 34
T-TT
--:PM / 5
CC

0
CC

0
CC

0
2.5956E+0005 ? 10 34
T-TT
--:-- / 5
2.5956E+0005 ? 10 34
T-TT
--:-- / 5
2.5956E+0005 8.2128E+0005 10 34
TTTT
--:-- / 5
DNC 2.5956E+0005 8.2128E+0005 10 34
TTTT
--:-- / 5
CC

0
CC

0
V20P10N10

6.7326E+0006 2.3489E+0007 20 54 (expected value)

5.00 2.00 5.00 5.00 (confidence rate)

DNC 6.7326E+0006 ? 20 54
T-TT
--:-- / 5
CC

0
CC

0
CC

0
6.7326E+0006 ? 20 54
T-TT
--:-- / 5
6.7326E+0006 ? 20 54
T-TT
--:-- / 5
6.7326E+0006 2.3489E+0007 20 54
TTTT
--:-M / 5
DNC 6.7326E+0006 2.3489E+0007 20 54
TTTT
--:P- / 5
CC

0
CC

0
V20P10N20

9.0763E+0006 3.1773E+0007 20 54 (expected value)

5.00 2.00 5.00 5.00 (confidence rate)

DNC 9.0763E+0006 ? 20 54
T-TT
--:-M / 5
CC

0
CC

0
CC

0
9.0763E+0006 ? 20 54
T-TT
--:-- / 5
9.0763E+0006 ? 20 54
T-TT
--:-- / 5
9.0763E+0006 3.1773E+0007 20 54
TTTT
--:-- / 5
DNC 9.0763E+0006 3.1773E+0007 20 54
TTTT
--:P- / 5
CC

0
CC

0
V20P10N50

9.0809E+0006 3.1786E+0007 20 54 (expected value)

5.00 2.00 5.00 5.00 (confidence rate)

DNC 9.0809E+0006 ? 20 54
T-TT
--:-M / 5
CC

0
CC

0
CC

0
9.0809E+0006 ? 20 54
T-TT
--:-- / 5
9.0809E+0006 ? 20 54
T-TT
--:-- / 5
9.0809E+0006 3.1786E+0007 20 54
TTTT
--:P- / 5
DNC 9.0809E+0006 3.1786E+0007 20 54
TTTT
--:-- / 5
CC

0
CC

0
V20P20N10

6.7326E+0006 2.3489E+0007 20 64 (expected value)

9.00 4.00 9.00 9.00 (confidence rate)

DNC 6.7326E+0006 ? 20 64
T-TT
--:-- / 5
CC

0
6.7326E+0006 ? 20 64
T-TT
--:-- / 5
6.7326E+0006 ? 20 64
T-TT
--:-- / 5
6.7326E+0006 ? 20 64
T-TT
--:-- / 5
6.7326E+0006 ? 20 64
T-TT
--:-- / 5
6.7326E+0006 2.3489E+0007 20 64
TTTT
--:-M / 5
DNC 6.7326E+0006 2.3489E+0007 20 64
TTTT
--:P- / 5
6.7326E+0006 2.3489E+0007 20 64
TTTT
--:-- / 5
6.7326E+0006 2.3489E+0007 20 64
TTTT
--:-- / 5
V20P20N20

9.7836E+0006 3.4321E+0007 20 64 (expected value)

9.00 4.00 9.00 9.00 (confidence rate)

DNC 9.7836E+0006 ? 20 64
T-TT
--:-M / 5
CC

0
9.7836E+0006 ? 20 64
T-TT
--:-- / 5
9.7836E+0006 ? 20 64
T-TT
--:-- / 5
9.7836E+0006 ? 20 64
T-TT
--:-- / 5
9.7836E+0006 ? 20 64
T-TT
--:-- / 5
9.7836E+0006 3.4321E+0007 20 64
TTTT
--:-- / 5
DNC 9.7836E+0006 3.4321E+0007 20 64
TTTT
--:P- / 5
9.7836E+0006 3.4321E+0007 20 64
TTTT
--:-- / 5
9.7836E+0006 3.4321E+0007 20 64
TTTT
--:-- / 5
V20P20N50

9.7923E+0006 3.4346E+0007 20 64 (expected value)

9.00 4.00 9.00 9.00 (confidence rate)

DNC 9.7923E+0006 ? 20 64
T-TT
--:-M / 5
CC

0
9.7923E+0006 ? 20 64
T-TT
--:-- / 5
9.7923E+0006 ? 20 64
T-TT
--:-- / 5
9.7923E+0006 ? 20 64
T-TT
--:P- / 5
9.7923E+0006 ? 20 64
T-TT
--:-- / 5
9.7923E+0006 3.4346E+0007 20 64
TTTT
--:-- / 5
DNC 9.7923E+0006 3.4346E+0007 20 64
TTTT
--:-- / 5
9.7923E+0006 3.4346E+0007 20 64
TTTT
--:-- / 5
9.7923E+0006 3.4346E+0007 20 64
TTTT
--:-- / 5
V50P20N10

3.4763E+0008 1.2717E+0009 50 124 (expected value)

4.00 4.00 4.00 4.00 (confidence rate)

DNC CC

0
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
3.4763E+0008 1.2717E+0009 50 124
TTTT
--:-M / 5
DNC 3.4763E+0008 1.2717E+0009 50 124
TTTT
--:-- / 5
3.4763E+0008 1.2717E+0009 50 124
TTTT
--:-- / 5
3.4763E+0008 1.2717E+0009 50 124
TTTT
--:P- / 5
V50P20N20

8.9629E+0008 3.3637E+0009 50 124 (expected value)

4.00 4.00 4.00 4.00 (confidence rate)

DNC CC

0
CC

0
DNF

0
DNF

0
CC

0
DNF

0
8.9629E+0008 3.3637E+0009 50 124
TTTT
--:-M / 5
DNC 8.9629E+0008 3.3637E+0009 50 124
TTTT
--:-- / 5
8.9629E+0008 3.3637E+0009 50 124
TTTT
--:P- / 5
8.9629E+0008 3.3637E+0009 50 124
TTTT
--:-- / 5
V50P20N50

1.4546E+0009 5.4840E+0009 50 124 (expected value)

4.00 3.00 4.00 4.00 (confidence rate)

DNC CC

0
CC

0
CC

0
DNF

0
DNF

0
DNF

0
1.4546E+0009 ? 50 124
T-TT
--:PM / 5
DNC 1.4546E+0009 5.4840E+0009 50 124
TTTT
--:-- / 5
1.4546E+0009 5.4840E+0009 50 124
TTTT
--:-- / 5
1.4546E+0009 5.4840E+0009 50 124
TTTT
--:-- / 5
V50P50N10

3.4763E+0008 1.2717E+0009 50 154 (expected value)

4.00 4.00 4.00 4.00 (confidence rate)

DNC CC

0
CC

0
DNF

0
CC

0
DNF

0
DNF

0
3.4763E+0008 1.2717E+0009 50 154
TTTT
--:-M / 5
DNC 3.4763E+0008 1.2717E+0009 50 154
TTTT
--:-- / 5
3.4763E+0008 1.2717E+0009 50 154
TTTT
--:P- / 5
3.4763E+0008 1.2717E+0009 50 154
TTTT
--:-- / 5
V50P50N20

8.9629E+0008 3.3637E+0009 50 154 (expected value)

4.00 3.00 4.00 4.00 (confidence rate)

DNC CC

0
CC

0
DNF

0
CC

0
CC

0
DNF

0
8.9629E+0008 ? 50 154
T-TT
--:-M / 5
DNC 8.9629E+0008 3.3637E+0009 50 154
TTTT
--:-- / 5
8.9629E+0008 3.3637E+0009 50 154
TTTT
--:-- / 5
8.9629E+0008 3.3637E+0009 50 154
TTTT
--:P- / 5
V50P50N50

1.6769E+0009 6.3374E+0009 50 154 (expected value)

4.00 3.00 4.00 4.00 (confidence rate)

DNC CC

0
CC

0
DNF

0
CC

0
CC

0
DNF

0
1.6769E+0009 ? 50 154
T-TT
--:-M / 5
DNC 1.6769E+0009 6.3374E+0009 50 154
TTTT
--:-- / 5
1.6769E+0009 6.3374E+0009 50 154
TTTT
--:P- / 5
1.6769E+0009 6.3374E+0009 50 154
TTTT
--:-- / 5
V80P20N10

2.4329E+0009 8.9934E+0009 80 184 (expected value)

4.00 3.00 4.00 4.00 (confidence rate)

DNC CC

0
CC

0
CC

0
DNF

0
CC

0
DNF

0
2.4329E+0009 ? 80 184
T-TT
--:-- / 5
DNC 2.4329E+0009 8.9934E+0009 80 184
TTTT
--:-- / 5
2.4329E+0009 8.9934E+0009 80 184
TTTT
--:PM / 5
2.4329E+0009 8.9934E+0009 80 184
TTTT
--:-- / 5
V80P20N20

7.0996E+0009 2.6974E+0010 80 184 (expected value)

3 2 3 3 (confidence rate)

DNC CC

0
CC

0
CC

0
CC

0
CC

0
DNF

0
7.0996E+0009 ? 80 184
T-TT
--:-- / 5
DNC DNF

0
7.0996E+0009 2.6974E+0010 80 184
TTTT
--:PM / 5
7.0996E+0009 2.6974E+0010 80 184
TTTT
--:-- / 5
V80P20N50

1.6235E+0010 ? 80 184 (expected value)

1 0 1 1 (confidence rate)

DNC CC

0
CC

0
CC

0
CC

0
CC

0
DNF

0
1.6235E+0010 ? 80 184
T?TT
--:PM / 5
DNC DNF

0
DNF

0
DNF

0
V80P50N10

2.4329E+0009 8.9934E+0009 80 214 (expected value)

4.00 3.00 4.00 4.00 (confidence rate)

DNC CC

0
CC

0
DNF

0
CC

0
CC

0
DNF

0
2.4329E+0009 ? 80 214
T-TT
--:-- / 5
DNC 2.4329E+0009 8.9934E+0009 80 214
TTTT
--:-- / 5
2.4329E+0009 8.9934E+0009 80 214
TTTT
--:PM / 5
2.4329E+0009 8.9934E+0009 80 214
TTTT
--:-- / 5
V80P50N20

7.0996E+0009 2.6974E+0010 80 214 (expected value)

3 2 3 3 (confidence rate)

DNC CC

0
CC

0
CC

0
DNF

0
CC

0
DNF

0
7.0996E+0009 ? 80 214
T-TT
--:-- / 5
DNC DNF

0
7.0996E+0009 2.6974E+0010 80 214
TTTT
--:-M / 5
7.0996E+0009 2.6974E+0010 80 214
TTTT
--:P- / 5
V80P50N50

2.1619E+0010 ? 80 214 (expected value)

1 0 1 1 (confidence rate)

DNC CC

0
CC

0
CC

0
CC

0
CC

0
DNF

0
2.1619E+0010 ? 80 214
T?TT
--:PM / 5
DNC DNF

0
DNF

0
DNF

0
BridgeAndVehicles — P/T
  LTSMin Tapaal LoLA M4M.full M4M.struct ITS-Tools ITS-Tools.L GreatSPN smart TINA.tedd Irma.full Irma.struct
Score 20 40 0 10 10 20 30 100 25 80 70 70
Road Runner 0 0 0 0 0 0 0 9 0 0 8 3
Camel 0 5 0 0 0 0 0 10 1 0 4 0
V04P05N02

2874 7160 5 17 (expected value)

11.00 5.00 11.00 11.00 (confidence rate)

2874 ? 5 17
T-TT
--:-- / 5
2874 ? 5 17
T-TT
--:-- / 5
CC

0
2874 ? 5 17
T-TT
--:-- / 5
2874 ? 5 17
T-TT
--:-- / 5
2874 ? 5 17
T-TT
--:-- / 5
2874 ? 5 17
T-TT
--:-- / 5
2874 7160 5 17
TTTT
--:PM / 5
2874 7160 5 17
TTTT
--:-- / 5
2874 7160 5 17
TTTT
--:-- / 5
2874 7160 5 17
TTTT
--:-- / 5
2874 7160 5 17
TTTT
--:-- / 5
V10P10N10

2.5956E+0005 8.2128E+0005 10 34 (expected value)

7.00 3.00 7.00 7.00 (confidence rate)

2.5956E+0005 ? 10 34
T-TT
--:-- / 5
2.5956E+0005 ? 10 34
T-TT
--:-M / 5
CC

0
CC

0
CC

0
2.5956E+0005 ? 10 34
T-TT
--:-- / 5
2.5956E+0005 ? 10 34
T-TT
--:-- / 5
2.5956E+0005 8.2128E+0005 10 34
TTTT
--:P- / 5
2.5956E+0005 8.2128E+0005 10 34
TTTT
--:-- / 5
2.5956E+0005 8.2128E+0005 10 34
TTTT
--:-- / 5
CC

0
CC

0
V20P10N10

6.7326E+0006 2.3489E+0007 20 54 (expected value)

7.00 3.00 7.00 7.00 (confidence rate)

6.7326E+0006 ? 20 54
T-TT
--:-- / 5
6.7326E+0006 ? 20 54
T-TT
--:-- / 5
CC

0
CC

0
CC

0
6.7326E+0006 ? 20 54
T-TT
--:-- / 5
6.7326E+0006 ? 20 54
T-TT
--:-- / 5
6.7326E+0006 2.3489E+0007 20 54
TTTT
--:PM / 5
6.7326E+0006 2.3489E+0007 20 54
TTTT
--:-- / 5
6.7326E+0006 2.3489E+0007 20 54
TTTT
--:-- / 5
CC

0
CC

0
V20P10N20

9.0763E+0006 3.1773E+0007 20 54 (expected value)

4.00 2.00 4.00 4.00 (confidence rate)

DNF

0
9.0763E+0006 ? 20 54
T-TT
--:-M / 5
CC

0
CC

0
CC

0
DNF

0
9.0763E+0006 ? 20 54
T-TT
--:-- / 5
9.0763E+0006 3.1773E+0007 20 54
TTTT
--:P- / 5
DNF

0
9.0763E+0006 3.1773E+0007 20 54
TTTT
--:-- / 5
CC

0
CC

0
V20P10N50

9.0809E+0006 3.1786E+0007 20 54 (expected value)

3.00 2.00 3.00 3.00 (confidence rate)

DNF

0
9.0809E+0006 ? 20 54
T-TT
--:-M / 5
CC

0
CC

0
CC

0
CC

0
DNF

0
9.0809E+0006 3.1786E+0007 20 54
TTTT
--:P- / 5
DNF

0
9.0809E+0006 3.1786E+0007 20 54
TTTT
--:-- / 5
CC

0
CC

0
V20P20N10

6.7326E+0006 2.3489E+0007 20 64 (expected value)

10.00 5.00 10.00 10.00 (confidence rate)

6.7326E+0006 ? 20 64
T-TT
--:-- / 5
6.7326E+0006 ? 20 64
T-TT
--:-- / 5
CC

0
6.7326E+0006 ? 20 64
T-TT
--:-- / 5
6.7326E+0006 ? 20 64
T-TT
--:-- / 5
6.7326E+0006 ? 20 64
T-TT
--:-- / 5
DNF

0
6.7326E+0006 2.3489E+0007 20 64
TTTT
--:-M / 5
6.7326E+0006 2.3489E+0007 20 64
TTTT
--:-- / 5
6.7326E+0006 2.3489E+0007 20 64
TTTT
--:-- / 5
6.7326E+0006 2.3489E+0007 20 64
TTTT
--:P- / 5
6.7326E+0006 2.3489E+0007 20 64
TTTT
--:-- / 5
V20P20N20

9.7836E+0006 3.4321E+0007 20 64 (expected value)

6.00 4.00 6.00 6.00 (confidence rate)

DNF

0
9.7836E+0006 ? 20 64
T-TT
--:-M / 5
CC

0
DNF

0
DNF

0
DNF

0
9.7836E+0006 ? 20 64
T-TT
--:-- / 5
9.7836E+0006 3.4321E+0007 20 64
TTTT
--:-- / 5
DNF

0
9.7836E+0006 3.4321E+0007 20 64
TTTT
--:-- / 5
9.7836E+0006 3.4321E+0007 20 64
TTTT
--:-- / 5
9.7836E+0006 3.4321E+0007 20 64
TTTT
--:P- / 5
V20P20N50

9.7923E+0006 3.4346E+0007 20 64 (expected value)

6.00 4.00 6.00 6.00 (confidence rate)

DNF

0
9.7923E+0006 ? 20 64
T-TT
--:-M / 5
CC

0
CC

0
DNF

0
CC

0
9.7923E+0006 ? 20 64
T-TT
--:-- / 5
9.7923E+0006 3.4346E+0007 20 64
TTTT
--:P- / 5
DNF

0
9.7923E+0006 3.4346E+0007 20 64
TTTT
--:-- / 5
9.7923E+0006 3.4346E+0007 20 64
TTTT
--:-- / 5
9.7923E+0006 3.4346E+0007 20 64
TTTT
--:-- / 5
V50P20N10

3.4763E+0008 1.2717E+0009 50 124 (expected value)

4.00 4.00 4.00 4.00 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
CC

0
CC

0
DNF

0
3.4763E+0008 1.2717E+0009 50 124
TTTT
--:-M / 5
DNF

0
3.4763E+0008 1.2717E+0009 50 124
TTTT
--:-- / 5
3.4763E+0008 1.2717E+0009 50 124
TTTT
--:P- / 5
3.4763E+0008 1.2717E+0009 50 124
TTTT
--:-- / 5
V50P20N20

8.9629E+0008 3.3637E+0009 50 124 (expected value)

4.00 4.00 4.00 4.00 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
CC

0
CC

0
DNF

0
8.9629E+0008 3.3637E+0009 50 124
TTTT
--:-M / 5
DNF

0
8.9629E+0008 3.3637E+0009 50 124
TTTT
--:-- / 5
8.9629E+0008 3.3637E+0009 50 124
TTTT
--:-- / 5
8.9629E+0008 3.3637E+0009 50 124
TTTT
--:P- / 5
V50P20N50

1.4546E+0009 5.4840E+0009 50 124 (expected value)

4.00 3.00 4.00 4.00 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
CC

0
CC

0
DNF

0
1.4546E+0009 ? 50 124
T-TT
--:PM / 5
CC

0
1.4546E+0009 5.4840E+0009 50 124
TTTT
--:-- / 5
1.4546E+0009 5.4840E+0009 50 124
TTTT
--:-- / 5
1.4546E+0009 5.4840E+0009 50 124
TTTT
--:-- / 5
V50P50N10

3.4763E+0008 1.2717E+0009 50 154 (expected value)

4.00 4.00 4.00 4.00 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
3.4763E+0008 1.2717E+0009 50 154
TTTT
--:-M / 5
DNF

0
3.4763E+0008 1.2717E+0009 50 154
TTTT
--:-- / 5
3.4763E+0008 1.2717E+0009 50 154
TTTT
--:P- / 5
3.4763E+0008 1.2717E+0009 50 154
TTTT
--:-- / 5
V50P50N20

8.9629E+0008 3.3637E+0009 50 154 (expected value)

5.00 4.00 5.00 5.00 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
CC

0
CC

0
DNF

0
8.9629E+0008 ? 50 154
T-TT
--:-- / 5
8.9629E+0008 3.3637E+0009 50 154
TTTT
--:-M / 5
8.9629E+0008 3.3637E+0009 50 154
TTTT
--:-- / 5
8.9629E+0008 3.3637E+0009 50 154
TTTT
--:P- / 5
8.9629E+0008 3.3637E+0009 50 154
TTTT
--:-- / 5
V50P50N50

1.6769E+0009 6.3374E+0009 50 154 (expected value)

4.00 3.00 4.00 4.00 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
1.6769E+0009 ? 50 154
T-TT
--:-M / 5
CC

0
1.6769E+0009 6.3374E+0009 50 154
TTTT
--:-- / 5
1.6769E+0009 6.3374E+0009 50 154
TTTT
--:P- / 5
1.6769E+0009 6.3374E+0009 50 154
TTTT
--:-- / 5
V80P20N10

2.4329E+0009 8.9934E+0009 80 184 (expected value)

4.00 3.00 4.00 4.00 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
CC

0
CC

0
DNF

0
2.4329E+0009 ? 80 184
T-TT
--:-- / 5
DNF

0
2.4329E+0009 8.9934E+0009 80 184
TTTT
--:-- / 5
2.4329E+0009 8.9934E+0009 80 184
TTTT
--:PM / 5
2.4329E+0009 8.9934E+0009 80 184
TTTT
--:-- / 5
V80P20N20

7.0996E+0009 2.6974E+0010 80 184 (expected value)

3 2 3 3 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
CC

0
CC

0
DNF

0
7.0996E+0009 ? 80 184
T-TT
--:-- / 5
CC

0
DNF

0
7.0996E+0009 2.6974E+0010 80 184
TTTT
--:PM / 5
7.0996E+0009 2.6974E+0010 80 184
TTTT
--:-- / 5
V80P20N50

1.6235E+0010 ? 80 184 (expected value)

1 0 1 1 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
1.6235E+0010 ? 80 184
T?TT
--:PM / 5
CC

0
DNF

0
DNF

0
DNF

0
V80P50N10

2.4329E+0009 8.9934E+0009 80 214 (expected value)

4.00 3.00 4.00 4.00 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
CC

0
CC

0
DNF

0
2.4329E+0009 ? 80 214
T-TT
--:-- / 5
DNF

0
2.4329E+0009 8.9934E+0009 80 214
TTTT
--:-- / 5
2.4329E+0009 8.9934E+0009 80 214
TTTT
--:PM / 5
2.4329E+0009 8.9934E+0009 80 214
TTTT
--:-- / 5
V80P50N20

7.0996E+0009 2.6974E+0010 80 214 (expected value)

3 2 3 3 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
CC

0
CC

0
DNF

0
7.0996E+0009 ? 80 214
T-TT
--:-- / 5
CC

0
DNF

0
7.0996E+0009 2.6974E+0010 80 214
TTTT
--:-M / 5
7.0996E+0009 2.6974E+0010 80 214
TTTT
--:P- / 5
V80P50N50

2.1619E+0010 ? 80 214 (expected value)

1 0 1 1 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
CC

0
CC

0
DNF

0
2.1619E+0010 ? 80 214
T?TT
--:PM / 5
CC

0
DNF

0
DNF

0
DNF

0
CSRepetitions — Colored
  LTSMin Tapaal LoLA M4M.full M4M.struct ITS-Tools ITS-Tools.L GreatSPN smart TINA.tedd Irma.full Irma.struct
Score 0 20 0 0 0 30 20 55 0 33 0 0
Road Runner 0 1 0 0 0 0 0 4 0 0 0 0
Camel 0 1 0 0 0 0 0 4 0 0 0 0
02

7424 37088 2 8 (expected value)

5.00 2.00 5.00 5.00 (confidence rate)

DNC 7424 ? 2 8
T-TT
--:PM / 10
CC

0
CC

0
CC

0
7424 ? 2 8
T-TT
--:-- / 10
7424 ? 2 8
T-TT
--:-- / 10
7424 37088 2 8
TTTT
--:-- / 11
DNC 7424 37088 2 8
TTTT
--:-- / 11
CC

0
CC

0
03

1.3407E+0008 1.2939E+0009 3 15 (expected value)

5.00 2.00 5.00 5.00 (confidence rate)

DNC 1.3407E+0008 ? 3 15
T-TT
--:-- / 10
CC

0
CC

0
CC

0
1.3407E+0008 ? 3 15
T-TT
--:-- / 10
1.3407E+0008 ? 3 15
T-TT
--:-- / 10
1.3407E+0008 1.2939E+0009 3 15
TTTT
--:PM / 11
DNC 1.3407E+0008 1.2939E+0009 3 15
TTTT
--:-- / 11
CC

0
CC

0
04

3.0948E+0013 4.7136E+0014 4 24 (expected value)

3.00 2.00 3.00 3.00 (confidence rate)

DNC CC

0
CC

0
CC

0
CC

0
3.0948E+0013 ? 4 24
T-TT
--:-- / 10
DNF

0
3.0948E+0013 4.7136E+0014 4 24
TTTT
--:PM / 11
DNC 3.0948E+0013 4.7136E+0014 4 24
TTTT
--:-- / 11
CC

0
CC

0
05

6.5491E+0019 1.4258E+0021 5 35 (expected value)

1 1 1 1 (confidence rate)

DNC CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
6.5491E+0019 1.4258E+0021 5 35
TTTT
--:PM / 11
DNC DNF

0
CC

0
CC

0
07

1.1507E+0035 4.3513E+0036 7 63 (expected value)

1 1 1 1 (confidence rate)

DNC CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
1.1507E+0035 4.3513E+0036 7 63
TTTT
--:PM / 11
DNC DNF

0
CC

0
CC

0
10

? (expected value)

0 (confidence rate)

DNC CC

0
CC

0
CC

0
CC

0
CC

0
DNF

0
DNF

0
DNC DNF

0
CC

0
CC

0
CSRepetitions — P/T
  LTSMin Tapaal LoLA M4M.full M4M.struct ITS-Tools ITS-Tools.L GreatSPN smart TINA.tedd Irma.full Irma.struct
Score 30 20 0 0 0 30 20 54 11 33 0 0
Road Runner 0 0 0 0 0 0 0 5 0 0 0 0
Camel 0 0 0 0 0 0 0 5 0 0 0 0
02

7424 37088 2 8 (expected value)

7.00 3.00 7.00 7.00 (confidence rate)

7424 ? 2 8
T-TT
--:-- / 10
7424 ? 2 8
T-TT
--:-- / 10
CC

0
CC

0
CC

0
7424 ? 2 8
T-TT
--:-- / 10
7424 ? 2 8
T-TT
--:-- / 10
7424 37088 2 8
TTTT
--:PM / 11
7424 37088 2 8
TTTT
--:-- / 11
7424 37088 2 8
TTTT
--:-- / 11
CC

0
CC

0
03

1.3407E+0008 1.2939E+0009 3 15 (expected value)

6.00 2.00 6.00 6.00 (confidence rate)

1.3407E+0008 ? 3 15
T-TT
--:-- / 10
1.3407E+0008 ? 3 15
T-TT
--:-- / 10
CC

0
CC

0
CC

0
1.3407E+0008 ? 3 15
T-TT
--:-- / 10
1.3407E+0008 ? 3 15
T-TT
--:-- / 10
1.3407E+0008 1.2939E+0009 3 15
TTTT
--:PM / 11
DNF

0
1.3407E+0008 1.2939E+0009 3 15
TTTT
--:-- / 11
CC

0
CC

0
04

3.0948E+0013 4.7136E+0014 4 24 (expected value)

4.00 2.00 4.00 4.00 (confidence rate)

3.0948E+0013 ? 4 24
T-TT
--:-- / 10
CC

0
CC

0
CC

0
CC

0
3.0948E+0013 ? 4 24
T-TT
--:-- / 10
CC

0
3.0948E+0013 4.7136E+0014 4 24
TTTT
--:PM / 11
DNF

0
3.0948E+0013 4.7136E+0014 4 24
TTTT
--:-- / 11
CC

0
CC

0
05

6.5491E+0019 1.4258E+0021 5 35 (expected value)

1 1 1 1 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
6.5491E+0019 1.4258E+0021 5 35
TTTT
--:PM / 11
DNF

0
DNF

0
CC

0
CC

0
07

1.1507E+0035 ? 7 63 (expected value)

1 0 1 1 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
1.1507E+0035 ? 7 63
T?TT
--:PM / 10
DNF

0
DNF

0
CC

0
CC

0
10

? (expected value)

0 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
CC

0
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
CC

0
CC

0
CircadianClock — P/T
  LTSMin Tapaal LoLA M4M.full M4M.struct ITS-Tools ITS-Tools.L GreatSPN smart TINA.tedd Irma.full Irma.struct
Score 51 34 0 0 34 68 51 95 76 76 38 38
Road Runner 0 0 0 0 0 0 0 4 1 0 0 0
Camel 0 0 0 0 0 0 0 5 0 0 0 0
000001

128 624 1 7 (expected value)

10.00 5.00 10.00 10.00 (confidence rate)

128 ? 1 7
T-TT
--:-- / 17
128 ? 1 7
T-TT
--:-- / 17
CC

0
CC

0
128 ? 1 7
T-TT
--:-- / 17
128 ? 1 7
T-TT
--:-- / 17
128 ? 1 7
T-TT
--:-- / 17
128 624 1 7
TTTT
--:PM / 19
128 624 1 7
TTTT
--:-- / 19
128 624 1 7
TTTT
--:-- / 19
128 624 1 7
TTTT
--:-- / 19
128 624 1 7
TTTT
--:-- / 19
000010

6.4420E+0005 6.7663E+0006 10 52 (expected value)

7.00 3.00 7.00 7.00 (confidence rate)

6.4420E+0005 ? 10 52
T-TT
--:-- / 17
6.4420E+0005 ? 10 52
T-TT
--:-- / 17
CC

0
CC

0
CC

0
6.4420E+0005 ? 10 52
T-TT
--:-- / 17
6.4420E+0005 ? 10 52
T-TT
--:-- / 17
6.4420E+0005 6.7663E+0006 10 52
TTTT
--:PM / 19
6.4420E+0005 6.7663E+0006 10 52
TTTT
--:-- / 19
6.4420E+0005 6.7663E+0006 10 52
TTTT
--:-- / 19
CC

0
CC

0
000100

4.2040E+0010 4.9743E+0011 100 502 (expected value)

6.00 3.00 6.00 6.00 (confidence rate)

4.2040E+0010 ? 100 502
T-TT
--:-- / 17
CC

0
CC

0
CC

0
CC

0
4.2040E+0010 ? 100 502
T-TT
--:-- / 17
4.2040E+0010 ? 100 502
T-TT
--:-- / 17
4.2040E+0010 4.9743E+0011 100 502
TTTT
--:PM / 19
4.2040E+0010 4.9743E+0011 100 502
TTTT
--:-- / 19
4.2040E+0010 4.9743E+0011 100 502
TTTT
--:-- / 19
CC

0
CC

0
001000

4.0200E+0015 4.8172E+0016 1000 5002 (expected value)

7.00 5.00 7.00 7.00 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
4.0200E+0015 ? 1000 5002
T-TT
--:-- / 17
4.0200E+0015 ? 1000 5002
T-TT
--:-- / 17
DNF

0
4.0200E+0015 4.8172E+0016 1000 5002
TTTT
--:-M / 19
4.0200E+0015 4.8172E+0016 1000 5002
TTTT
--:P- / 19
4.0200E+0015 4.8172E+0016 1000 5002
TTTT
--:-- / 19
4.0200E+0015 4.8172E+0016 1000 5002
TTTT
--:-- / 19
4.0200E+0015 4.8172E+0016 1000 5002
TTTT
--:-- / 19
010000

4.0020E+0020 4.8017E+0021 10000 50002 (expected value)

1 1 1 1 (confidence rate)

CC

0
CC

0
CC

0
CC

0
CC

0
DNF

0
DNF

0
4.0020E+0020 4.8017E+0021 10000 50002
TTTT
--:PM / 19
DNF

0
DNF

0
CC

0
CC

0
100000

? (expected value)

0 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
CC

0
CircularTrains — P/T
  LTSMin Tapaal LoLA M4M.full M4M.struct ITS-Tools ITS-Tools.L GreatSPN smart TINA.tedd Irma.full Irma.struct
Score 75 30 0 17 17 105 75 119 102 102 51 51
Road Runner 0 2 0 0 0 0 0 3 2 0 0 0
Camel 0 1 0 0 0 0 0 6 0 0 0 0
012

195 496 2 12 (expected value)

9.00 5.00 9.00 9.00 (confidence rate)

195 ? 2 12
T-TT
--:-- / 15
195 ? 2 12
T-TT
--:PM / 15
CC

0
CC

0
CC

0
195 ? 2 12
T-TT
--:-- / 15
195 ? 2 12
T-TT
--:-- / 15
195 496 2 12
TTTT
--:-- / 17
195 496 2 12
TTTT
--:-- / 17
195 496 2 12
TTTT
--:-- / 17
195 496 2 12
TTTT
--:-- / 17
195 496 2 12
TTTT
--:-- / 17
024

86515 4.1168E+0005 2 24 (expected value)

7.00 3.00 7.00 7.00 (confidence rate)

86515 ? 2 24
T-TT
--:-- / 15
86515 ? 2 24
T-TT
--:P- / 15
CC

0
CC

0
CC

0
86515 ? 2 24
T-TT
--:-- / 15
86515 ? 2 24
T-TT
--:-- / 15
86515 4.1168E+0005 2 24
TTTT
--:-M / 17
86515 4.1168E+0005 2 24
TTTT
--:-- / 17
86515 4.1168E+0005 2 24
TTTT
--:-- / 17
CC

0
CC

0
048

2.3973E+0010 2.2124E+0011 2 48 (expected value)

6.00 3.00 6.00 6.00 (confidence rate)

2.3973E+0010 ? 2 48
T-TT
--:-- / 15
CC

0
CC

0
CC

0
CC

0
2.3973E+0010 ? 2 48
T-TT
--:-- / 15
2.3973E+0010 ? 2 48
T-TT
--:-- / 15
2.3973E+0010 2.2124E+0011 2 48
TTTT
--:-M / 17
2.3973E+0010 2.2124E+0011 2 48
TTTT
--:P- / 17
2.3973E+0010 2.2124E+0011 2 48
TTTT
--:-- / 17
CC

0
CC

0
096

2.5913E+0021 4.7121E+0022 2 96 (expected value)

6.00 3.00 6.00 6.00 (confidence rate)

2.5913E+0021 ? 2 96
T-TT
--:-- / 15
CC

0
CC

0
CC

0
CC

0
2.5913E+0021 ? 2 96
T-TT
--:-- / 15
2.5913E+0021 ? 2 96
T-TT
--:-- / 15
2.5913E+0021 4.7121E+0022 2 96
TTTT
--:-M / 17
2.5913E+0021 4.7121E+0022 2 96
TTTT
--:P- / 17
2.5913E+0021 4.7121E+0022 2 96
TTTT
--:-- / 17
CC

0
CC

0
192

4.2702E+0043 1.5416E+0045 2 192 (expected value)

6.00 3.00 6.00 6.00 (confidence rate)

4.2702E+0043 ? 2 192
T-TT
--:-- / 15
CC

0
CC

0
CC

0
CC

0
4.2702E+0043 ? 2 192
T-TT
--:-- / 15
4.2702E+0043 ? 2 192
T-TT
--:-- / 15
4.2702E+0043 1.5416E+0045 2 192
TTTT
--:PM / 17
4.2702E+0043 1.5416E+0045 2 192
TTTT
--:-- / 17
4.2702E+0043 1.5416E+0045 2 192
TTTT
--:-- / 17
CC

0
CC

0
384

1.6377E+0088 1.1782E+0090 2 384 (expected value)

8.00 7.00 8.00 8.00 (confidence rate)

DNF

0
CC

0
CC

0
1.6377E+0088 1.1782E+0090 2 384
TTTT
--:-- / 17
1.6377E+0088 1.1782E+0090 2 384
TTTT
--:-- / 17
1.6377E+0088 ? 2 384
T-TT
--:-- / 15
CC

0
1.6377E+0088 1.1782E+0090 2 384
TTTT
--:PM / 17
1.6377E+0088 1.1782E+0090 2 384
TTTT
--:-- / 17
1.6377E+0088 1.1782E+0090 2 384
TTTT
--:-- / 17
1.6377E+0088 1.1782E+0090 2 384
TTTT
--:-- / 17
1.6377E+0088 1.1782E+0090 2 384
TTTT
--:-- / 17
768

3.4039E+0177 4.8887E+0179 2 768 (expected value)

4.00 3 4.00 4.00 (confidence rate)

DNF

0
CC

0
CC

0
DNF

0
DNF

0
3.4039E+0177 ? 2 768
T-TT
--:-- / 15
CC

0
3.4039E+0177 4.8887E+0179 2 768
TTTT
--:PM / 17
DNF

0
DNF

0
3.4039E+0177 4.8887E+0179 2 768
TTTT
--:-- / 17
3.4039E+0177 4.8887E+0179 2 768
TTTT
--:-- / 17
ClientsAndServers — P/T
  LTSMin Tapaal LoLA M4M.full M4M.struct ITS-Tools ITS-Tools.L GreatSPN smart TINA.tedd Irma.full Irma.struct
Score 35 21 0 96 96 35 21 104 104 64 93 93
Road Runner 0 1 0 0 0 0 0 3 9 0 0 0
Camel 0 0 0 0 0 0 0 3 10 0 0 0
N0001P0

27576 1.1332E+0005 8 25 (expected value)

11.00 5.00 9.00 9.00 (confidence rate)

27576 ? 8 25
T-TT
--:-- / 7
27576 ? 8 25
T-TT
--:P- / 7
CC

0
27576 1.1332E+0005 8 25
TTTT
--:-- / 8
27576 1.1332E+0005 8 25
TTTT
--:-- / 8
27576 ? 8 25
T-TT
--:-- / 7
27576 ? 8 25
T-TT
--:-- / 7
27576 1.1332E+0005 8 25
TTTT
--:-M / 8
27576 1.1332E+0005 8 25
TTTT
--:-- / 8
27576 1.1332E+0005 8 25
TTTT
--:-- / 8
27576 ? ? ?
T---
--:-- / 5
27576 ? ? ?
T---
--:-- / 5
N0002P0

7.0816E+0006 4.4030E+0007 16 50 (expected value)

11.00 7.00 11.00 11.00 (confidence rate)

7.0816E+0006 ? 16 50
T-TT
--:-- / 7
7.0816E+0006 ? 16 50
T-TT
--:-- / 7
CC

0
7.0816E+0006 4.4030E+0007 16 50
TTTT
--:-- / 8
7.0816E+0006 4.4030E+0007 16 50
TTTT
--:-- / 8
7.0816E+0006 ? 16 50
T-TT
--:-- / 7
7.0816E+0006 ? 16 50
T-TT
--:-- / 7
7.0816E+0006 4.4030E+0007 16 50
TTTT
--:PM / 8
7.0816E+0006 4.4030E+0007 16 50
TTTT
--:-- / 8
7.0816E+0006 4.4030E+0007 16 50
TTTT
--:-- / 8
7.0816E+0006 4.4030E+0007 16 50
TTTT
--:-- / 8
7.0816E+0006 4.4030E+0007 16 50
TTTT
--:-- / 8
N0002P1

1.2462E+0007 7.7859E+0007 16 55 (expected value)

11.00 7.00 11.00 11.00 (confidence rate)

1.2462E+0007 ? 16 55
T-TT
--:-- / 7
1.2462E+0007 ? 16 55
T-TT
--:-- / 7
CC

0
1.2462E+0007 7.7859E+0007 16 55
TTTT
--:-- / 8
1.2462E+0007 7.7859E+0007 16 55
TTTT
--:-- / 8
1.2462E+0007 ? 16 55
T-TT
--:-- / 7
1.2462E+0007 ? 16 55
T-TT
--:-- / 7
1.2462E+0007 7.7859E+0007 16 55
TTTT
--:PM / 8
1.2462E+0007 7.7859E+0007 16 55
TTTT
--:-- / 8
1.2462E+0007 7.7859E+0007 16 55
TTTT
--:-- / 8
1.2462E+0007 7.7859E+0007 16 55
TTTT
--:-- / 8
1.2462E+0007 7.7859E+0007 16 55
TTTT
--:-- / 8
N0005P0

1.2551E+0011 1.2156E+0012 40 125 (expected value)

9.00 7.00 9.00 9.00 (confidence rate)

1.2551E+0011 ? 40 125
T-TT
--:-- / 7
CC

0
CC

0
1.2551E+0011 1.2156E+0012 40 125
TTTT
--:-- / 8
1.2551E+0011 1.2156E+0012 40 125
TTTT
--:-- / 8
1.2551E+0011 ? 40 125
T-TT
--:-- / 7
DNF

0
1.2551E+0011 1.2156E+0012 40 125
TTTT
--:-- / 8
1.2551E+0011 1.2156E+0012 40 125
TTTT
--:PM / 8
1.2551E+0011 1.2156E+0012 40 125
TTTT
--:-- / 8
1.2551E+0011 1.2156E+0012 40 125
TTTT
--:-- / 8
1.2551E+0011 1.2156E+0012 40 125
TTTT
--:-- / 8
N0005P1

2.1171E+0011 2.0632E+0012 40 130 (expected value)

9.00 7.00 9.00 9.00 (confidence rate)

2.1171E+0011 ? 40 130
T-TT
--:-- / 7
CC

0
CC

0
2.1171E+0011 2.0632E+0012 40 130
TTTT
--:-- / 8
2.1171E+0011 2.0632E+0012 40 130
TTTT
--:-- / 8
2.1171E+0011 ? 40 130
T-TT
--:-- / 7
DNF

0
2.1171E+0011 2.0632E+0012 40 130
TTTT
--:P- / 8
2.1171E+0011 2.0632E+0012 40 130
TTTT
--:-M / 8
2.1171E+0011 2.0632E+0012 40 130
TTTT
--:-- / 8
2.1171E+0011 2.0632E+0012 40 130
TTTT
--:-- / 8
2.1171E+0011 2.0632E+0012 40 130
TTTT
--:-- / 8
N0010P0

1.0911E+0015 1.3487E+0016 80 250 (expected value)

7.00 7.00 7.00 7.00 (confidence rate)

DNF

0
CC

0
CC

0
1.0911E+0015 1.3487E+0016 80 250
TTTT
--:-- / 8
1.0911E+0015 1.3487E+0016 80 250
TTTT
--:-- / 8
DNF

0
DNF

0
1.0911E+0015 1.3487E+0016 80 250
TTTT
--:-- / 8
1.0911E+0015 1.3487E+0016 80 250
TTTT
--:PM / 8
1.0911E+0015 1.3487E+0016 80 250
TTTT
--:-- / 8
1.0911E+0015 1.3487E+0016 80 250
TTTT
--:-- / 8
1.0911E+0015 1.3487E+0016 80 250
TTTT
--:-- / 8
N0010P1

1.5502E+0015 1.9213E+0016 80 255 (expected value)

7.00 7.00 7.00 7.00 (confidence rate)

CC

0
CC

0
CC

0
1.5502E+0015 1.9213E+0016 80 255
TTTT
--:-- / 8
1.5502E+0015 1.9213E+0016 80 255
TTTT
--:-- / 8
DNF

0
DNF

0
1.5502E+0015 1.9213E+0016 80 255
TTTT
--:-- / 8
1.5502E+0015 1.9213E+0016 80 255
TTTT
--:PM / 8
1.5502E+0015 1.9213E+0016 80 255
TTTT
--:-- / 8
1.5502E+0015 1.9213E+0016 80 255
TTTT
--:-- / 8
1.5502E+0015 1.9213E+0016 80 255
TTTT
--:-- / 8
N0010P2

1.8980E+0015 2.3544E+0016 80 260 (expected value)

7.00 7.00 7.00 7.00 (confidence rate)

DNF

0
CC

0
CC

0
1.8980E+0015 2.3544E+0016 80 260
TTTT
--:-- / 8
1.8980E+0015 2.3544E+0016 80 260
TTTT
--:-- / 8
DNF

0
DNF

0
1.8980E+0015 2.3544E+0016 80 260
TTTT
--:-- / 8
1.8980E+0015 2.3544E+0016 80 260
TTTT
--:PM / 8
1.8980E+0015 2.3544E+0016 80 260
TTTT
--:-- / 8
1.8980E+0015 2.3544E+0016 80 260
TTTT
--:-- / 8
1.8980E+0015 2.3544E+0016 80 260
TTTT
--:-- / 8
N0020P0

2.7979E+0019 4.0727E+0020 160 500 (expected value)

6.00 6.00 6.00 6.00 (confidence rate)

DNF

0
CC

0
CC

0
2.7979E+0019 4.0727E+0020 160 500
TTTT
--:-- / 8
2.7979E+0019 4.0727E+0020 160 500
TTTT
--:-- / 8
DNF

0
DNF

0
2.7979E+0019 4.0727E+0020 160 500
TTTT
--:-- / 8
2.7979E+0019 4.0727E+0020 160 500
TTTT
--:PM / 8
DNF

0
2.7979E+0019 4.0727E+0020 160 500
TTTT
--:-- / 8
2.7979E+0019 4.0727E+0020 160 500
TTTT
--:-- / 8
N0020P1

3.4330E+0019 5.0014E+0020 160 505 (expected value)

6.00 6.00 6.00 6.00 (confidence rate)

CC

0
CC

0
CC

0
3.4330E+0019 5.0014E+0020 160 505
TTTT
--:-- / 8
3.4330E+0019 5.0014E+0020 160 505
TTTT
--:-- / 8
DNF

0
DNF

0
3.4330E+0019 5.0014E+0020 160 505
TTTT
--:-- / 8
3.4330E+0019 5.0014E+0020 160 505
TTTT
--:PM / 8
DNF

0
3.4330E+0019 5.0014E+0020 160 505
TTTT
--:-- / 8
3.4330E+0019 5.0014E+0020 160 505
TTTT
--:-- / 8
N0020P2

4.0258E+0019 5.8683E+0020 160 510 (expected value)

6.00 6.00 6.00 6.00 (confidence rate)

CC

0
CC

0
CC

0
4.0258E+0019 5.8683E+0020 160 510
TTTT
--:-- / 8
4.0258E+0019 5.8683E+0020 160 510
TTTT
--:-- / 8
DNF

0
DNF

0
4.0258E+0019 5.8683E+0020 160 510
TTTT
--:-- / 8
4.0258E+0019 5.8683E+0020 160 510
TTTT
--:PM / 8
DNF

0
4.0258E+0019 5.8683E+0020 160 510
TTTT
--:-- / 8
4.0258E+0019 5.8683E+0020 160 510
TTTT
--:-- / 8
N0020P3

4.5408E+0019 6.6212E+0020 160 515 (expected value)

2 2 2 2 (confidence rate)

CC

0
CC

0
CC

0
CC

0
CC

0
DNF

0
DNF

0
4.5408E+0019 6.6212E+0020 160 515
TTTT
--:-- / 8
4.5408E+0019 6.6212E+0020 160 515
TTTT
--:PM / 8
DNF

0
CC

0
CC

0
N0020P4

4.9510E+0019 7.2204E+0020 160 520 (expected value)

6.00 6.00 6.00 6.00 (confidence rate)

DNF

0
CC

0
CC

0
4.9510E+0019 7.2204E+0020 160 520
TTTT
--:-- / 8
4.9510E+0019 7.2204E+0020 160 520
TTTT
--:-- / 8
DNF

0
DNF

0
4.9510E+0019 7.2204E+0020 160 520
TTTT
--:-- / 8
4.9510E+0019 7.2204E+0020 160 520
TTTT
--:PM / 8
DNF

0
4.9510E+0019 7.2204E+0020 160 520
TTTT
--:-- / 8
4.9510E+0019 7.2204E+0020 160 520
TTTT
--:-- / 8
N0050P0

? (expected value)

0 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
CC

0
CC

0
N0100P0

? (expected value)

0 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
CC

0
CC

0
N0200P0

? (expected value)

0 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
CC

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
CC

0
N0500P0

? (expected value)

0 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
CC

0
CC

0
N1000P0

? (expected value)

0 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
CC

0
CC

0
N2000P0

? (expected value)

0 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
CC

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
CC

0
N5000P0

? (expected value)

0 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
CC

0
CloudDeployment — P/T
  LTSMin Tapaal LoLA M4M.full M4M.struct ITS-Tools ITS-Tools.L GreatSPN smart TINA.tedd Irma.full Irma.struct
Score 60 30 0 50 50 80 80 88 55 88 54 54
Road Runner 0 1 0 0 0 0 0 1 0 6 0 0
Camel 0 2 0 0 0 0 0 6 0 0 0 0
2a

4807 87600 1 9 (expected value)

11.00 5.00 11.00 11.00 (confidence rate)

4807 ? 1 9
T-TT
--:-- / 10
4807 ? 1 9
T-TT
--:PM / 10
CC

0
4807 ? 1 9
T-TT
--:-- / 10
4807 ? 1 9
T-TT
--:-- / 10
4807 ? 1 9
T-TT
--:-- / 10
4807 ? 1 9
T-TT
--:-- / 10
4807 87600 1 9
TTTT
--:-- / 11
4807 87600 1 9
TTTT
--:-- / 11
4807 87600 1 9
TTTT
--:-- / 11
4807 87600 1 9
TTTT
--:-- / 11
4807 87600 1 9
TTTT
--:-- / 11
2b

1.6766E+0011 1.2270E+0012 1 9 (expected value)

8.00 2.00 8.00 8.00 (confidence rate)

DNF

0
CC

0
CC

0
1.6766E+0011 ? 1 9
T-TT
--:-- / 10
1.6766E+0011 ? 1 9
T-TT
--:-- / 10
1.6766E+0011 ? 1 9
T-TT
--:-- / 10
1.6766E+0011 ? 1 9
T-TT
--:-- / 10
1.6766E+0011 1.2270E+0012 1 9
TTTT
--:-M / 11
DNF

0
1.6766E+0011 1.2270E+0012 1 9
TTTT
--:P- / 11
1.6766E+0011 ? 1 9
T-TT
--:-- / 10
1.6766E+0011 ? 1 9
T-TT
--:-- / 10
3a

1.9010E+0005 7.6981E+0006 1 13 (expected value)

7.00 3.00 7.00 7.00 (confidence rate)

1.9010E+0005 ? 1 13
T-TT
--:-- / 10
1.9010E+0005 ? 1 13
T-TT
--:-M / 10
CC

0
CC

0
CC

0
1.9010E+0005 ? 1 13
T-TT
--:-- / 10
1.9010E+0005 ? 1 13
T-TT
--:-- / 10
1.9010E+0005 7.6981E+0006 1 13
TTTT
--:-- / 11
1.9010E+0005 7.6981E+0006 1 13
TTTT
--:-- / 11
1.9010E+0005 7.6981E+0006 1 13
TTTT
--:P- / 11
CC

0
CC

0
3b

7.4567E+0016 7.7439E+0017 1 13 (expected value)

4.00 2.00 4.00 4.00 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
CC

0
7.4567E+0016 ? 1 13
T-TT
--:-- / 10
7.4567E+0016 ? 1 13
T-TT
--:-- / 10
7.4567E+0016 7.7439E+0017 1 13
TTTT
--:PM / 11
DNF

0
7.4567E+0016 7.7439E+0017 1 13
TTTT
--:-- / 11
CC

0
CC

0
4a

7.0910E+0006 5.0860E+0008 1 17 (expected value)

7.00 3.00 7.00 7.00 (confidence rate)

7.0910E+0006 ? 1 17
T-TT
--:-- / 10
7.0910E+0006 ? 1 17
T-TT
--:-- / 10
CC

0
CC

0
CC

0
7.0910E+0006 ? 1 17
T-TT
--:-- / 10
7.0910E+0006 ? 1 17
T-TT
--:-- / 10
7.0910E+0006 5.0860E+0008 1 17
TTTT
--:-M / 11
7.0910E+0006 5.0860E+0008 1 17
TTTT
--:-- / 11
7.0910E+0006 5.0860E+0008 1 17
TTTT
--:P- / 11
CC

0
CC

0
4b

? (expected value)

0 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
CC

0
5a

2.4883E+0008 2.7853E+0010 1 21 (expected value)

10.00 5.00 10.00 10.00 (confidence rate)

2.4883E+0008 ? 1 21
T-TT
--:-- / 10
CC

0
CC

0
2.4883E+0008 ? 1 21
T-TT
--:-- / 10
2.4883E+0008 ? 1 21
T-TT
--:-- / 10
2.4883E+0008 ? 1 21
T-TT
--:-- / 10
2.4883E+0008 ? 1 21
T-TT
--:-- / 10
2.4883E+0008 2.7853E+0010 1 21
TTTT
--:-M / 11
2.4883E+0008 2.7853E+0010 1 21
TTTT
--:-- / 11
2.4883E+0008 2.7853E+0010 1 21
TTTT
--:P- / 11
2.4883E+0008 2.7853E+0010 1 21
TTTT
--:-- / 11
2.4883E+0008 2.7853E+0010 1 21
TTTT
--:-- / 11
5b

? (expected value)

0 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
DNF

0
CC

0
DNF

0
CC

0
CC

0
6a

8.3047E+0009 1.3382E+0012 1 25 (expected value)

10.00 5.00 10.00 10.00 (confidence rate)

8.3047E+0009 ? 1 25
T-TT
--:-- / 10
CC

0
CC

0
8.3047E+0009 ? 1 25
T-TT
--:-- / 10
8.3047E+0009 ? 1 25
T-TT
--:-- / 10
8.3047E+0009 ? 1 25
T-TT
--:-- / 10
8.3047E+0009 ? 1 25
T-TT
--:-- / 10
8.3047E+0009 1.3382E+0012 1 25
TTTT
--:-M / 11
8.3047E+0009 1.3382E+0012 1 25
TTTT
--:-- / 11
8.3047E+0009 1.3382E+0012 1 25
TTTT
--:P- / 11
8.3047E+0009 1.3382E+0012 1 25
TTTT
--:-- / 11
8.3047E+0009 1.3382E+0012 1 25
TTTT
--:-- / 11
6b

? (expected value)

0 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
DNF

0
CC

0
DNF

0
CC

0
CC

0
7a

2.6648E+0011 5.8448E+0013 1 29 (expected value)

9.00 4.00 9.00 9.00 (confidence rate)

2.6648E+0011 ? 1 29
T-TT
--:-- / 10
CC

0
CC

0
2.6648E+0011 ? 1 29
T-TT
--:-- / 10
2.6648E+0011 ? 1 29
T-TT
--:-- / 10
2.6648E+0011 ? 1 29
T-TT
--:-- / 10
2.6648E+0011 ? 1 29
T-TT
--:-- / 10
2.6648E+0011 5.8448E+0013 1 29
TTTT
--:-M / 11
DNF

0
2.6648E+0011 5.8448E+0013 1 29
TTTT
--:P- / 11
2.6648E+0011 5.8448E+0013 1 29
TTTT
--:-- / 11
2.6648E+0011 5.8448E+0013 1 29
TTTT
--:-- / 11
7b

? (expected value)

0 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
CC

0
CC

0
DNF

0
CC

0
DNF

0
DNF

0
CC

0
CC

0
CloudReconfiguration — P/T
  LTSMin Tapaal LoLA M4M.full M4M.struct ITS-Tools ITS-Tools.L GreatSPN smart TINA.tedd Irma.full Irma.struct
Score 0 0 0 154 154 132 132 154 0 154 132 132
Road Runner 0 0 0 0 0 8 14 0 0 0 0 0
Camel 0 0 0 0 0 0 0 0 0 0 15 7
301

1.3197E+0011 6.0439E+0011 1 5 (expected value)

8.00 4.00 8.00 8.00 (confidence rate)

DNF

0
CC

0
CC

0
1.3197E+0011 6.0439E+0011 1 5
TTTT
--:-- / 7
1.3197E+0011 6.0439E+0011 1 5
TTTT
--:-- / 7
1.3197E+0011 ? 1 5
T-TT
--:-- / 6
1.3197E+0011 ? 1 5
T-TT
--:P- / 6
1.3197E+0011 6.0439E+0011 1 5
TTTT
--:-- / 7
DNF

0
1.3197E+0011 6.0439E+0011 1 5
TTTT
--:-- / 7
1.3197E+0011 ? 1 5
T-TT
--:-M / 6
1.3197E+0011 ? 1 5
T-TT
--:-- / 6
302

2.0254E+0011 9.2748E+0011 1 5 (expected value)

8.00 4.00 8.00 8.00 (confidence rate)

DNF

0
CC

0
CC

0
2.0254E+0011 9.2748E+0011 1 5
TTTT
--:-- / 7
2.0254E+0011 9.2748E+0011 1 5
TTTT
--:-- / 7
2.0254E+0011 ? 1 5
T-TT
--:-- / 6
2.0254E+0011 ? 1 5
T-TT
--:P- / 6
2.0254E+0011 9.2748E+0011 1 5
TTTT
--:-- / 7
DNF

0
2.0254E+0011 9.2748E+0011 1 5
TTTT
--:-- / 7
2.0254E+0011 ? 1 5
T-TT
--:-M / 6
2.0254E+0011 ? 1 5
T-TT
--:-- / 6
303

5.5244E+0010 2.5351E+0011 1 5 (expected value)

8.00 4.00 8.00 8.00 (confidence rate)

DNF

0
CC

0
CC

0
5.5244E+0010 2.5351E+0011 1 5
TTTT
--:-- / 7
5.5244E+0010 2.5351E+0011 1 5
TTTT
--:-- / 7
5.5244E+0010 ? 1 5
T-TT
--:-- / 6
5.5244E+0010 ? 1 5
T-TT
--:P- / 6
5.5244E+0010 2.5351E+0011 1 5
TTTT
--:-- / 7
DNF

0
5.5244E+0010 2.5351E+0011 1 5
TTTT
--:-- / 7
5.5244E+0010 ? 1 5
T-TT
--:-M / 6
5.5244E+0010 ? 1 5
T-TT
--:-- / 6
304

1.3197E+0011 6.0439E+0011 1 5 (expected value)

8.00 4.00 8.00 8.00 (confidence rate)

DNF

0
CC

0
CC

0
1.3197E+0011 6.0439E+0011 1 5
TTTT
--:-- / 7
1.3197E+0011 6.0439E+0011 1 5
TTTT
--:-- / 7
1.3197E+0011 ? 1 5
T-TT
--:-- / 6
1.3197E+0011 ? 1 5
T-TT
--:P- / 6
1.3197E+0011 6.0439E+0011 1 5
TTTT
--:-- / 7
DNF

0
1.3197E+0011 6.0439E+0011 1 5
TTTT
--:-- / 7
1.3197E+0011 ? 1 5
T-TT
--:-M / 6
1.3197E+0011 ? 1 5
T-TT
--:-- / 6
305

1.3139E+0011 6.0156E+0011 1 5 (expected value)

8.00 4.00 8.00 8.00 (confidence rate)

DNF

0
CC

0
CC

0
1.3139E+0011 6.0156E+0011 1 5
TTTT
--:-- / 7
1.3139E+0011 6.0156E+0011 1 5
TTTT
--:-- / 7
1.3139E+0011 ? 1 5
T-TT
--:-- / 6
1.3139E+0011 ? 1 5
T-TT
--:P- / 6
1.3139E+0011 6.0156E+0011 1 5
TTTT
--:-- / 7
DNF

0
1.3139E+0011 6.0156E+0011 1 5
TTTT
--:-- / 7
1.3139E+0011 ? 1 5
T-TT
--:-- / 6
1.3139E+0011 ? 1 5
T-TT
--:-M / 6
306

5.5244E+0010 2.5351E+0011 1 5 (expected value)

8.00 4.00 8.00 8.00 (confidence rate)

DNF

0
CC

0
CC

0
5.5244E+0010 2.5351E+0011 1 5
TTTT
--:-- / 7
5.5244E+0010 2.5351E+0011 1 5
TTTT
--:-- / 7
5.5244E+0010 ? 1 5
T-TT
--:P- / 6
5.5244E+0010 ? 1 5
T-TT
--:-- / 6
5.5244E+0010 2.5351E+0011 1 5
TTTT
--:-- / 7
DNF

0
5.5244E+0010 2.5351E+0011 1 5
TTTT
--:-- / 7
5.5244E+0010 ? 1 5
T-TT
--:-M / 6
5.5244E+0010 ? 1 5
T-TT
--:-- / 6
307

6.9905E+0010 3.1997E+0011 1 5 (expected value)

8.00 4.00 8.00 8.00 (confidence rate)

DNF

0
CC

0
CC

0
6.9905E+0010 3.1997E+0011 1 5
TTTT
--:-- / 7
6.9905E+0010 3.1997E+0011 1 5
TTTT
--:-- / 7
6.9905E+0010 ? 1 5
T-TT
--:P- / 6
6.9905E+0010 ? 1 5
T-TT
--:-- / 6
6.9905E+0010 3.1997E+0011 1 5
TTTT
--:-- / 7
DNF

0
6.9905E+0010 3.1997E+0011 1 5
TTTT
--:-- / 7
6.9905E+0010 ? 1 5
T-TT
--:-M / 6
6.9905E+0010 ? 1 5
T-TT
--:-- / 6
308

2.0254E+0011 9.2748E+0011 1 5 (expected value)

8.00 4.00 8.00 8.00 (confidence rate)

DNF

0
CC

0
CC

0
2.0254E+0011 9.2748E+0011 1 5
TTTT
--:-- / 7
2.0254E+0011 9.2748E+0011 1 5
TTTT
--:-- / 7
2.0254E+0011 ? 1 5
T-TT
--:-- / 6
2.0254E+0011 ? 1 5
T-TT
--:P- / 6
2.0254E+0011 9.2748E+0011 1 5
TTTT
--:-- / 7
DNF

0
2.0254E+0011 9.2748E+0011 1 5
TTTT
--:-- / 7
2.0254E+0011 ? 1 5
T-TT
--:-- / 6
2.0254E+0011 ? 1 5
T-TT
--:-M / 6
309

2.0254E+0011 9.2748E+0011 1 5 (expected value)

8.00 4.00 8.00 8.00 (confidence rate)

DNF

0
CC

0
CC

0
2.0254E+0011 9.2748E+0011 1 5
TTTT
--:-- / 7
2.0254E+0011 9.2748E+0011 1 5
TTTT
--:-- / 7
2.0254E+0011 ? 1 5
T-TT
--:-- / 6
2.0254E+0011 ? 1 5
T-TT
--:P- / 6
2.0254E+0011 9.2748E+0011 1 5
TTTT
--:-- / 7
DNF

0
2.0254E+0011 9.2748E+0011 1 5
TTTT
--:-- / 7
2.0254E+0011 ? 1 5
T-TT
--:-M / 6
2.0254E+0011 ? 1 5
T-TT
--:-- / 6
310

1.3139E+0011 6.0156E+0011 1 5 (expected value)

8.00 4.00 8.00 8.00 (confidence rate)

DNF

0
CC

0
CC

0
1.3139E+0011 6.0156E+0011 1 5
TTTT
--:-- / 7
1.3139E+0011 6.0156E+0011 1 5
TTTT
--:-- / 7
1.3139E+0011 ? 1 5
T-TT
--:-- / 6
1.3139E+0011 ? 1 5
T-TT
--:P- / 6
1.3139E+0011 6.0156E+0011 1 5
TTTT
--:-- / 7
DNF

0
1.3139E+0011 6.0156E+0011 1 5
TTTT
--:-- / 7
1.3139E+0011 ? 1 5
T-TT
--:-M / 6
1.3139E+0011 ? 1 5
T-TT
--:-- / 6
311

1.0768E+0011 4.9371E+0011 1 5 (expected value)

8.00 4.00 8.00 8.00 (confidence rate)

DNF

0
CC

0
CC

0
1.0768E+0011 4.9371E+0011 1 5
TTTT
--:-- / 7
1.0768E+0011 4.9371E+0011 1 5
TTTT
--:-- / 7
1.0768E+0011 ? 1 5
T-TT
--:-- / 6
1.0768E+0011 ? 1 5
T-TT
--:P- / 6
1.0768E+0011 4.9371E+0011 1 5
TTTT
--:-- / 7
DNF

0
1.0768E+0011 4.9371E+0011 1 5
TTTT
--:-- / 7
1.0768E+0011 ? 1 5
T-TT
--:-- / 6
1.0768E+0011 ? 1 5
T-TT
--:-M / 6
312

2.0254E+0011 9.2748E+0011 1 5 (expected value)

8.00 4.00 8.00 8.00 (confidence rate)

DNF

0
CC

0
CC

0
2.0254E+0011 9.2748E+0011 1 5
TTTT
--:-- / 7
2.0254E+0011 9.2748E+0011 1 5
TTTT
--:-- / 7
2.0254E+0011 ? 1 5
T-TT
--:P- / 6
2.0254E+0011 ? 1 5
T-TT
--:-- / 6
2.0254E+0011 9.2748E+0011 1 5
TTTT
--:-- / 7
DNF

0
2.0254E+0011 9.2748E+0011 1 5
TTTT
--:-- / 7
2.0254E+0011 ? 1 5
T-TT
--:-M / 6
2.0254E+0011 ? 1 5
T-TT
--:-- / 6
313

2.0254E+0011 9.2748E+0011 1 5 (expected value)

8.00 4.00 8.00 8.00 (confidence rate)

DNF

0
CC

0
CC

0
2.0254E+0011 9.2748E+0011 1 5
TTTT
--:-- / 7
2.0254E+0011 9.2748E+0011 1 5
TTTT
--:-- / 7
2.0254E+0011 ? 1 5
T-TT
--:P- / 6
2.0254E+0011 ? 1 5
T-TT
--:-- / 6
2.0254E+0011 9.2748E+0011 1 5
TTTT
--:-- / 7
DNF

0
2.0254E+0011 9.2748E+0011 1 5
TTTT
--:-- / 7
2.0254E+0011 ? 1 5
T-TT
--:-- / 6
2.0254E+0011 ? 1 5
T-TT
--:-M / 6
314

1.0768E+0011 4.9371E+0011 1 5 (expected value)

8.00 4.00 8.00 8.00 (confidence rate)

DNF

0
CC

0
CC

0
1.0768E+0011 4.9371E+0011 1 5
TTTT
--:-- / 7
1.0768E+0011 4.9371E+0011 1 5
TTTT
--:-- / 7
1.0768E+0011 ? 1 5
T-TT
--:P- / 6
1.0768E+0011 ? 1 5
T-TT
--:-- / 6