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

Introduction

Please find here the computed results for the ReachabilityDeadlock 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 ReachabilityDeadlock
  LTSMin Tapaal LoLA M4M.full M4M.struct ITS-Tools ITS-Tools.L GreatSPN Irma.full Irma.struct
Total Points 6653 13245 11921 3970 2947 12112 12986 7960 5577 5577

All «Surprise» models
 
  LTSMin Tapaal LoLA M4M.full M4M.struct ITS-Tools ITS-Tools.L GreatSPN Irma.full Irma.struct
Total Points 2336 5164 4532 0 0 4260 4924 2396 0 0
Road Runner 0 16 102 0 0 1 0 2 0 0
Camel 0 73 42 0 0 0 0 6 0 0
ASLink — P/T
  LTSMin Tapaal LoLA M4M.full M4M.struct ITS-Tools ITS-Tools.L GreatSPN Irma.full Irma.struct
Score 96 640 640 0 0 320 480 64 0 0
Road Runner 0 0 20 0 0 0 0 0 0 0
Camel 0 1 19 0 0 0 0 0 0 0
01a

T (expected value)

6.00 (confidence rate)

T
T
--:-- / 32
T
T
--:-M / 32
T
T
--:P- / 32
CC

0
CC

0
T
T
--:-- / 32
T
T
--:-- / 32
T
T
--:-- / 32
CC

0
CC

0
01b

T (expected value)

4.00 (confidence rate)

DNF

0
T
T
--:-- / 32
T
T
--:PM / 32
CC

0
CC

0
T
T
--:-- / 32
T
T
--:-- / 32
DNF

0
CC

0
CC

0
02a

T (expected value)

6.00 (confidence rate)

T
T
--:-- / 32
T
T
--:-- / 32
T
T
--:PM / 32
CC

0
CC

0
T
T
--:-- / 32
T
T
--:-- / 32
T
T
--:-- / 32
CC

0
CC

0
02b

T (expected value)

4.00 (confidence rate)

DNF

0
T
T
--:-- / 32
T
T
--:PM / 32
CC

0
CC

0
T
T
--:-- / 32
T
T
--:-- / 32
DNF

0
CC

0
CC

0
03a

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 32
T
T
--:-- / 32
T
T
--:PM / 32
CC

0
CC

0
T
T
--:-- / 32
T
T
--:-- / 32
DNF

0
CC

0
CC

0
03b

T (expected value)

4.00 (confidence rate)

DNF

0
T
T
--:-- / 32
T
T
--:PM / 32
CC

0
CC

0
T
T
--:-- / 32
T
T
--:-- / 32
DNF

0
CC

0
CC

0
04a

T (expected value)

4.00 (confidence rate)

DNF

0
T
T
--:-- / 32
T
T
--:PM / 32
CC

0
CC

0
T
T
--:-- / 32
T
T
--:-- / 32
DNF

0
CC

0
CC

0
04b

T (expected value)

4.00 (confidence rate)

DNF

0
T
T
--:-- / 32
T
T
--:PM / 32
CC

0
CC

0
T
T
--:-- / 32
T
T
--:-- / 32
DNF

0
CC

0
CC

0
05a

T (expected value)

4.00 (confidence rate)

DNF

0
T
T
--:-- / 32
T
T
--:PM / 32
CC

0
CC

0
T
T
--:-- / 32
T
T
--:-- / 32
DNF

0
CC

0
CC

0
05b

T (expected value)

4.00 (confidence rate)

DNF

0
T
T
--:-- / 32
T
T
--:PM / 32
CC

0
CC

0
T
T
--:-- / 32
T
T
--:-- / 32
DNF

0
CC

0
CC

0
06a

T (expected value)

3.00 (confidence rate)

DNF

0
T
T
--:-- / 32
T
T
--:PM / 32
CC

0
CC

0
DNF

0
T
T
--:-- / 32
DNF

0
CC

0
CC

0
06b

T (expected value)

2.00 (confidence rate)

DNF

0
T
T
--:-- / 32
T
T
--:PM / 32
CC

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
CC

0
07a

T (expected value)

3.00 (confidence rate)

DNF

0
T
T
--:-- / 32
T
T
--:PM / 32
CC

0
CC

0
DNF

0
T
T
--:-- / 32
DNF

0
CC

0
CC

0
07b

T (expected value)

2.00 (confidence rate)

DNF

0
T
T
--:-- / 32
T
T
--:PM / 32
CC

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
CC

0
08a

T (expected value)

3.00 (confidence rate)

DNF

0
T
T
--:-- / 32
T
T
--:PM / 32
CC

0
CC

0
DNF

0
T
T
--:-- / 32
DNF

0
CC

0
CC

0
08b

T (expected value)

2.00 (confidence rate)

DNF

0
T
T
--:-- / 32
T
T
--:PM / 32
CC

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
CC

0
09a

T (expected value)

3.00 (confidence rate)

DNF

0
T
T
--:-- / 32
T
T
--:PM / 32
CC

0
CC

0
DNF

0
T
T
--:-- / 32
DNF

0
CC

0
CC

0
09b

T (expected value)

2.00 (confidence rate)

DNF

0
T
T
--:-- / 32
T
T
--:PM / 32
CC

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
CC

0
10a

T (expected value)

3.00 (confidence rate)

DNF

0
T
T
--:-- / 32
T
T
--:PM / 32
CC

0
CC

0
DNF

0
T
T
--:-- / 32
DNF

0
CC

0
CC

0
10b

T (expected value)

2.00 (confidence rate)

DNF

0
T
T
--:-- / 32
T
T
--:PM / 32
CC

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
CC

0
BusinessProcesses — P/T
  LTSMin Tapaal LoLA M4M.full M4M.struct ITS-Tools ITS-Tools.L GreatSPN Irma.full Irma.struct
Score 128 640 608 0 0 640 640 128 0 0
Road Runner 0 1 19 0 0 0 0 0 0 0
Camel 0 19 1 0 0 0 0 0 0 0
01

T (expected value)

6.00 (confidence rate)

T
T
--:-- / 32
T
T
--:-M / 32
T
T
--:P- / 32
CC

0
CC

0
T
T
--:-- / 32
T
T
--:-- / 32
T
T
--:-- / 32
CC

0
CC

0
02

T (expected value)

6.00 (confidence rate)

T
T
--:-- / 32
T
T
--:-M / 32
T
T
--:P- / 32
CC

0
CC

0
T
T
--:-- / 32
T
T
--:-- / 32
T
T
--:-- / 32
CC

0
CC

0
03

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 32
T
T
--:-M / 32
T
T
--:P- / 32
CC

0
CC

0
T
T
--:-- / 32
T
T
--:-- / 32
DNF

0
CC

0
CC

0
04

T (expected value)

5.00 (confidence rate)

DNF

0
T
T
--:-M / 32
T
T
--:P- / 32
CC

0
CC

0
T
T
--:-- / 32
T
T
--:-- / 32
T
T
--:-- / 32
CC

0
CC

0
05

T (expected value)

4.00 (confidence rate)

DNF

0
T
T
--:-M / 32
T
T
--:P- / 32
CC

0
CC

0
T
T
--:-- / 32
T
T
--:-- / 32
DNF

0
CC

0
CC

0
06

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 32
T
T
--:-M / 32
T
T
--:P- / 32
CC

0
CC

0
T
T
--:-- / 32
T
T
--:-- / 32
DNF

0
CC

0
CC

0
07

T (expected value)

3.00 (confidence rate)

DNF

0
T
T
--:PM / 32
CC

0
CC

0
CC

0
T
T
--:-- / 32
T
T
--:-- / 32
DNF

0
CC

0
CC

0
08

T (expected value)

5.00 (confidence rate)

DNF

0
T
T
--:-M / 32
T
T
--:P- / 32
CC

0
CC

0
T
T
--:-- / 32
T
T
--:-- / 32
T
T
--:-- / 32
CC

0
CC

0
09

T (expected value)

4.00 (confidence rate)

DNF

0
T
T
--:-M / 32
T
T
--:P- / 32
CC

0
CC

0
T
T
--:-- / 32
T
T
--:-- / 32
DNF

0
CC

0
CC

0
10

T (expected value)

4.00 (confidence rate)

DNF

0
T
T
--:-M / 32
T
T
--:P- / 32
CC

0
CC

0
T
T
--:-- / 32
T
T
--:-- / 32
DNF

0
CC

0
CC

0
11

T (expected value)

4.00 (confidence rate)

DNF

0
T
T
--:-M / 32
T
T
--:P- / 32
CC

0
CC

0
T
T
--:-- / 32
T
T
--:-- / 32
DNF

0
CC

0
CC

0
12

T (expected value)

4.00 (confidence rate)

DNF

0
T
T
--:-M / 32
T
T
--:P- / 32
CC

0
CC

0
T
T
--:-- / 32
T
T
--:-- / 32
DNF

0
CC

0
CC

0
13

T (expected value)

4.00 (confidence rate)

DNF

0
T
T
--:-M / 32
T
T
--:P- / 32
CC

0
CC

0
T
T
--:-- / 32
T
T
--:-- / 32
DNF

0
CC

0
CC

0
14

T (expected value)

4.00 (confidence rate)

DNF

0
T
T
--:-M / 32
T
T
--:P- / 32
CC

0
CC

0
T
T
--:-- / 32
T
T
--:-- / 32
DNF

0
CC

0
CC

0
15

T (expected value)

4.00 (confidence rate)

DNF

0
T
T
--:-M / 32
T
T
--:P- / 32
CC

0
CC

0
T
T
--:-- / 32
T
T
--:-- / 32
DNF

0
CC

0
CC

0
16

T (expected value)

4.00 (confidence rate)

DNF

0
T
T
--:-M / 32
T
T
--:P- / 32
CC

0
CC

0
T
T
--:-- / 32
T
T
--:-- / 32
DNF

0
CC

0
CC

0
17

T (expected value)

4.00 (confidence rate)

DNF

0
T
T
--:-- / 32
T
T
--:PM / 32
CC

0
CC

0
T
T
--:-- / 32
T
T
--:-- / 32
DNF

0
CC

0
CC

0
18

T (expected value)

4.00 (confidence rate)

DNF

0
T
T
--:-M / 32
T
T
--:P- / 32
CC

0
CC

0
T
T
--:-- / 32
T
T
--:-- / 32
DNF

0
CC

0
CC

0
19

T (expected value)

4.00 (confidence rate)

DNF

0
T
T
--:-M / 32
T
T
--:P- / 32
CC

0
CC

0
T
T
--:-- / 32
T
T
--:-- / 32
DNF

0
CC

0
CC

0
20

T (expected value)

4.00 (confidence rate)

DNF

0
T
T
--:-M / 32
T
T
--:P- / 32
CC

0
CC

0
T
T
--:-- / 32
T
T
--:-- / 32
DNF

0
CC

0
CC

0
DLCflexbar — P/T
  LTSMin Tapaal LoLA M4M.full M4M.struct ITS-Tools ITS-Tools.L GreatSPN Irma.full Irma.struct
Score 80 440 280 0 0 280 280 0 0 0
Road Runner 0 7 7 0 0 0 0 0 0 0
Camel 0 7 7 0 0 0 0 0 0 0
2a

F (expected value)

4.00 (confidence rate)

F
T
--:-- / 40
F
T
--:PM / 40
CC

0
CC

0
CC

0
F
T
--:-- / 40
F
T
--:-- / 40
CC

0
CC

0
CC

0
2b

T (expected value)

2.00 (confidence rate)

DNF

0
T
T
--:-- / 40
T
T
--:PM / 40
CC

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
CC

0
3a

F (expected value)

4.00 (confidence rate)

F
T
--:-- / 40
F
T
--:PM / 40
CC

0
CC

0
CC

0
F
T
--:-- / 40
F
T
--:-- / 40
CC

0
CC

0
CC

0
3b

T (expected value)

2.00 (confidence rate)

DNF

0
T
T
--:-- / 40
T
T
--:PM / 40
CC

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
CC

0
4a

F (expected value)

3.00 (confidence rate)

DNF

0
F
T
--:PM / 40
CC

0
CC

0
CC

0
F
T
--:-- / 40
F
T
--:-- / 40
CC

0
CC

0
CC

0
4b

T (expected value)

2.00 (confidence rate)

DNF

0
T
T
--:-- / 40
T
T
--:PM / 40
CC

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
CC

0
5a

F (expected value)

3.00 (confidence rate)

DNF

0
F
T
--:PM / 40
CC

0
CC

0
CC

0
F
T
--:-- / 40
F
T
--:-- / 40
CC

0
CC

0
CC

0
5b

T (expected value)

2.00 (confidence rate)

DNF

0
T
T
--:-- / 40
T
T
--:PM / 40
CC

0
CC

0
DNF

0
DNF

0
CC

0
CC

0
CC

0
6a

F (expected value)

3.00 (confidence rate)

DNF

0
F
T
--:PM / 40
CC

0
CC

0
CC

0
F
T
--:-- / 40
F
T
--:-- / 40
CC

0
CC

0
CC

0
6b

T (expected value)

1.00 (confidence rate)

?
-
--:-- / 0
CC

0
T
T
--:PM / 40
CC

0
CC

0
CC

0
DNF

0
CC

0
CC

0
CC

0
7a

F (expected value)

3.00 (confidence rate)

DNF

0
F
T
--:PM / 40
CC

0
CC

0
CC

0
F
T
--:-- / 40
F
T
--:-- / 40
CC

0
CC

0
CC

0
7b

T (expected value)

1.00 (confidence rate)

DNF

0
CC

0
T
T
--:PM / 40
CC

0
CC

0
CC

0
DNF

0
CC

0
CC

0
CC

0
8a

F (expected value)

3.00 (confidence rate)

DNF

0
F
T
--:PM / 40
CC

0
CC

0
CC

0
F
T
--:-- / 40
F
T
--:-- / 40
CC

0
CC

0
CC

0
8b

T (expected value)

1.00 (confidence rate)

DNF

0
CC

0
T
T
--:PM / 40
CC

0
CC

0
CC

0
DNF

0
CC

0
CC

0
CC

0
DiscoveryGPU — P/T
  LTSMin Tapaal LoLA M4M.full M4M.struct ITS-Tools ITS-Tools.L GreatSPN Irma.full Irma.struct
Score 320 640 608 0 0 640 640 640 0 0
Road Runner 0 1 19 0 0 0 0 0 0 0
Camel 0 19 1 0 0 0 0 0 0 0
06a

T (expected value)

6.00 (confidence rate)

T
T
--:-- / 32
T
T
--:-M / 32
T
T
--:P- / 32
CC

0
CC

0
T
T
--:-- / 32
T
T
--:-- / 32
T
T
--:-- / 32
CC

0
CC

0
06b

T (expected value)

5.00 (confidence rate)

DNF

0
T
T
--:-M / 32
T
T
--:P- / 32
CC

0
CC

0
T
T
--:-- / 32
T
T
--:-- / 32
T
T
--:-- / 32
CC

0
CC

0
07a

T (expected value)

6.00 (confidence rate)

T
T
--:-- / 32
T
T
--:-M / 32
T
T
--:P- / 32
CC

0
CC

0
T
T
--:-- / 32
T
T
--:-- / 32
T
T
--:-- / 32
CC

0
CC

0
07b

T (expected value)

5.00 (confidence rate)

DNF

0
T
T
--:-M / 32
T
T
--:P- / 32
CC

0
CC

0
T
T
--:-- / 32
T
T
--:-- / 32
T
T
--:-- / 32
CC

0
CC

0
08a

T (expected value)

6.00 (confidence rate)

T
T
--:-- / 32
T
T
--:-- / 32
T
T
--:PM / 32
CC

0
CC

0
T
T
--:-- / 32
T
T
--:-- / 32
T
T
--:-- / 32
CC

0
CC

0
08b

T (expected value)

5.00 (confidence rate)

DNF

0
T
T
--:-M / 32
T
T
--:P- / 32
CC

0
CC

0
T
T
--:-- / 32
T
T
--:-- / 32
T
T
--:-- / 32
CC

0
CC

0
09a

T (expected value)

6.00 (confidence rate)

T
T
--:-- / 32
T
T
--:-M / 32
T
T
--:P- / 32
CC

0
CC

0
T
T
--:-- / 32
T
T
--:-- / 32
T
T
--:-- / 32
CC

0
CC

0
09b

T (expected value)

5.00 (confidence rate)

DNF

0
T
T
--:-M / 32
T
T
--:P- / 32
CC

0
CC

0
T
T
--:-- / 32
T
T
--:-- / 32
T
T
--:-- / 32
CC

0
CC

0
10a

T (expected value)

6.00 (confidence rate)

T
T
--:-- / 32
T
T
--:-M / 32
T
T
--:P- / 32
CC

0
CC

0
T
T
--:-- / 32
T
T
--:-- / 32
T
T
--:-- / 32
CC

0
CC

0
10b

T (expected value)

5.00 (confidence rate)

DNF

0
T
T
--:-M / 32
T
T
--:P- / 32
CC

0
CC

0
T
T
--:-- / 32
T
T
--:-- / 32
T
T
--:-- / 32
CC

0
CC

0
11a

T (expected value)

6.00 (confidence rate)

T
T
--:-- / 32
T
T
--:-M / 32
T
T
--:P- / 32
CC

0
CC

0
T
T
--:-- / 32
T
T
--:-- / 32
T
T
--:-- / 32
CC

0
CC

0
11b

T (expected value)

5.00 (confidence rate)

DNF

0
T
T
--:-M / 32
T
T
--:P- / 32
CC

0
CC

0
T
T
--:-- / 32
T
T
--:-- / 32
T
T
--:-- / 32
CC

0
CC

0
12a

T (expected value)

6.00 (confidence rate)

T
T
--:-- / 32
T
T
--:-M / 32
T
T
--:P- / 32
CC

0
CC

0
T
T
--:-- / 32
T
T
--:-- / 32
T
T
--:-- / 32
CC

0
CC

0
12b

T (expected value)

5.00 (confidence rate)

DNF

0
T
T
--:-M / 32
T
T
--:P- / 32
CC

0
CC

0
T
T
--:-- / 32
T
T
--:-- / 32
T
T
--:-- / 32
CC

0
CC

0
13a

T (expected value)

6.00 (confidence rate)

T
T
--:-- / 32
T
T
--:-M / 32
T
T
--:P- / 32
CC

0
CC

0
T
T
--:-- / 32
T
T
--:-- / 32
T
T
--:-- / 32
CC

0
CC

0
13b

T (expected value)

5.00 (confidence rate)

DNF

0
T
T
--:-M / 32
T
T
--:P- / 32
CC

0
CC

0
T
T
--:-- / 32
T
T
--:-- / 32
T
T
--:-- / 32
CC

0
CC

0
14a

T (expected value)

6.00 (confidence rate)

T
T
--:-- / 32
T
T
--:-M / 32
T
T
--:P- / 32
CC

0
CC

0
T
T
--:-- / 32
T
T
--:-- / 32
T
T
--:-- / 32
CC

0
CC

0
14b

T (expected value)

5.00 (confidence rate)

DNF

0
T
T
--:-M / 32
T
T
--:P- / 32
CC

0
CC

0
T
T
--:-- / 32
T
T
--:-- / 32
T
T
--:-- / 32
CC

0
CC

0
15a

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 32
T
T
--:PM / 32
CC

0
CC

0
CC

0
T
T
--:-- / 32
T
T
--:-- / 32
T
T
--:-- / 32
CC

0
CC

0
15b

T (expected value)

5.00 (confidence rate)

DNF

0
T
T
--:-M / 32
T
T
--:P- / 32
CC

0
CC

0
T
T
--:-- / 32
T
T
--:-- / 32
T
T
--:-- / 32
CC

0
CC

0
DoubleExponent — P/T
  LTSMin Tapaal LoLA M4M.full M4M.struct ITS-Tools ITS-Tools.L GreatSPN Irma.full Irma.struct
Score 420 480 480 0 0 360 360 120 0 0
Road Runner 0 0 8 0 0 0 0 0 0 0
Camel 0 5 2 0 0 0 0 1 0 0
001

T (expected value)

6.00 (confidence rate)

T
T
--:-- / 60
T
T
--:-- / 60
T
T
--:P- / 60
CC

0
CC

0
T
T
--:-- / 60
T
T
--:-- / 60
T
T
--:-M / 60
CC

0
CC

0
002

T (expected value)

6.00 (confidence rate)

T
T
--:-- / 60
T
T
--:-M / 60
T
T
--:P- / 60
CC

0
CC

0
T
T
--:-- / 60
T
T
--:-- / 60
T
T
--:-- / 60
CC

0
CC

0
003

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 60
T
T
--:-M / 60
T
T
--:P- / 60
CC

0
CC

0
T
T
--:-- / 60
T
T
--:-- / 60
DNF

0
CC

0
CC

0
004

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 60
T
T
--:-M / 60
T
T
--:P- / 60
CC

0
CC

0
T
T
--:-- / 60
T
T
--:-- / 60
DNF

0
CC

0
CC

0
010

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 60
T
T
--:-M / 60
T
T
--:P- / 60
CC

0
CC

0
T
T
--:-- / 60
T
T
--:-- / 60
DNF

0
CC

0
CC

0
020

T (expected value)

4.00 (confidence rate)

DNF

0
T
T
--:-M / 60
T
T
--:P- / 60
CC

0
CC

0
T
T
--:-- / 60
T
T
--:-- / 60
DNF

0
CC

0
CC

0
100

T (expected value)

3.00 (confidence rate)

T
T
--:-- / 60
T
T
--:-- / 60
T
T
--:PM / 60
CC

0
CC

0
DNF

0
DNF

0
CC

0
CC

0
CC

0
200

T (expected value)

3.00 (confidence rate)

T
T
--:-- / 60
T
T
--:-- / 60
T
T
--:PM / 60
CC

0
CC

0
DNF

0
DNF

0
CC

0
CC

0
CC

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

T (expected value)

6.00 (confidence rate)

T
T
--:-- / 144
T
T
--:-- / 144
T
T
--:P- / 144
CC

0
CC

0
T
T
--:-- / 144
T
T
--:-- / 144
T
T
--:-M / 144
CC

0
CC

0
10420

F (expected value)

4.00 (confidence rate)

F
T
--:-- / 144
CC

0
CC

0
CC

0
CC

0
F
T
--:-- / 144
F
T
--:-- / 144
F
T
--:PM / 144
CC

0
CC

0
10421

F (expected value)

4.00 (confidence rate)

F
T
--:-- / 144
CC

0
CC

0
CC

0
CC

0
F
T
--:-- / 144
F
T
--:-- / 144
F
T
--:PM / 144
CC

0
CC

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

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 408
F
T
--:PM / 408
CC

0
CC

0
CC

0
F
T
--:-- / 408
F
T
--:-- / 408
F
T
--:-- / 408
CC

0
CC

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

F (expected value)

4.00 (confidence rate)

F
T
--:-- / 212
CC

0
CC

0
CC

0
CC

0
F
T
--:P- / 212
F
T
--:-- / 212
F
T
--:-M / 212
CC

0
CC

0
5320

T (expected value)

5.00 (confidence rate)

DNF

0
T
T
--:-M / 212
T
T
--:P- / 212
CC

0
CC

0
T
T
--:-- / 212
T
T
--:-- / 212
T
T
--:-- / 212
CC

0
CC

0
NQueens — P/T
  LTSMin Tapaal LoLA M4M.full M4M.struct ITS-Tools ITS-Tools.L GreatSPN Irma.full Irma.struct
Score 240 480 480 0 0 180 180 180 0 0
Road Runner 0 0 8 0 0 0 0 0 0 0
Camel 0 7 0 0 0 0 0 1 0 0
05

T (expected value)

6.00 (confidence rate)

T
T
--:-- / 60
T
T
--:-- / 60
T
T
--:P- / 60
CC

0
CC

0
T
T
--:-- / 60
T
T
--:-- / 60
T
T
--:-M / 60
CC

0
CC

0
08

T (expected value)

6.00 (confidence rate)

T
T
--:-- / 60
T
T
--:-M / 60
T
T
--:P- / 60
CC

0
CC

0
T
T
--:-- / 60
T
T
--:-- / 60
T
T
--:-- / 60
CC

0
CC

0
10

T (expected value)

6.00 (confidence rate)

T
T
--:-- / 60
T
T
--:-M / 60
T
T
--:P- / 60
CC

0
CC

0
T
T
--:-- / 60
T
T
--:-- / 60
T
T
--:-- / 60
CC

0
CC

0
12

T (expected value)

3.00 (confidence rate)

T
T
--:-- / 60
T
T
--:-M / 60
T
T
--:P- / 60
CC

0
CC

0
CC

0
CC

0
DNF

0
CC

0
CC

0
15

T (expected value)

2.00 (confidence rate)

DNF

0
T
T
--:-M / 60
T
T
--:P- / 60
CC

0
CC

0
CC

0
CC

0
DNF

0
CC

0
CC

0
20

T (expected value)

2.00 (confidence rate)

DNF

0
T
T
--:-M / 60
T
T
--:P- / 60
CC

0
CC

0
CC

0
CC

0
DNF

0
CC

0
CC

0
25

T (expected value)

2.00 (confidence rate)

DNF

0
T
T
--:-M / 60
T
T
--:P- / 60
CC

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
CC

0
30

T (expected value)

2.00 (confidence rate)

DNF

0
T
T
--:-M / 60
T
T
--:P- / 60
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 Irma.full Irma.struct
Score 0 504 504 0 0 0 504 0 0 0
Road Runner 0 5 4 0 0 0 0 0 0 0
Camel 0 0 9 0 0 0 0 0 0 0
1

T (expected value)

3.00 (confidence rate)

DNF

0
T
T
--:P- / 56
T
T
--:-M / 56
CC

0
CC

0
CC

0
T
T
--:-- / 56
DNF

0
CC

0
CC

0
2

T (expected value)

3.00 (confidence rate)

DNF

0
T
T
--:P- / 56
T
T
--:-M / 56
CC

0
CC

0
CC

0
T
T
--:-- / 56
DNF

0
CC

0
CC

0
3

T (expected value)

3.00 (confidence rate)

DNF

0
T
T
--:-- / 56
T
T
--:PM / 56
CC

0
CC

0
CC

0
T
T
--:-- / 56
DNF

0
CC

0
CC

0
4

T (expected value)

3.00 (confidence rate)

DNF

0
T
T
--:-- / 56
T
T
--:PM / 56
CC

0
CC

0
CC

0
T
T
--:-- / 56
DNF

0
CC

0
CC

0
5

T (expected value)

3.00 (confidence rate)

DNF

0
T
T
--:P- / 56
T
T
--:-M / 56
CC

0
CC

0
CC

0
T
T
--:-- / 56
DNF

0
CC

0
CC

0
6

T (expected value)

3.00 (confidence rate)

DNF

0
T
T
--:P- / 56
T
T
--:-M / 56
CC

0
CC

0
CC

0
T
T
--:-- / 56
DNF

0
CC

0
CC

0
7

T (expected value)

3.00 (confidence rate)

DNF

0
T
T
--:-- / 56
T
T
--:PM / 56
CC

0
CC

0
CC

0
T
T
--:-- / 56
DNF

0
CC

0
CC

0
8

T (expected value)

3.00 (confidence rate)

DNF

0
T
T
--:P- / 56
T
T
--:-M / 56
CC

0
CC

0
CC

0
T
T
--:-- / 56
DNF

0
CC

0
CC

0
9

T (expected value)

3.00 (confidence rate)

DNF

0
T
T
--:-- / 56
T
T
--:PM / 56
CC

0
CC

0
CC

0
T
T
--:-- / 56
DNF

0
CC

0
CC

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

? (expected value)

0 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

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
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
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
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
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
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
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
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
CC

0
CC

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

? (expected value)

0 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

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
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
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
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
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
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
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
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
CC

0
CC

0
RefineWMG — P/T
  LTSMin Tapaal LoLA M4M.full M4M.struct ITS-Tools ITS-Tools.L GreatSPN Irma.full Irma.struct
Score 0 576 576 0 0 576 576 0 0 0
Road Runner 0 1 15 0 0 0 0 0 0 0
Camel 0 13 3 0 0 0 0 0 0 0
002002

F (expected value)

4.00 (confidence rate)

?
-
--:-- / 0
F
T
--:-M / 36
F
T
--:P- / 36
CC

0
CC

0
F
T
--:-- / 36
F
T
--:-- / 36
CC

0
CC

0
CC

0
002003

F (expected value)

4.00 (confidence rate)

?
-
--:-- / 0
F
T
--:-M / 36
F
T
--:P- / 36
CC

0
CC

0
F
T
--:-- / 36
F
T
--:-- / 36
CC

0
CC

0
CC

0
005005

F (expected value)

4.00 (confidence rate)

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

0
CC

0
F
T
--:-- / 36
F
T
--:-- / 36
CC

0
CC

0
CC

0
005006

F (expected value)

4.00 (confidence rate)

?
-
--:-- / 0
F
T
--:-M / 36
F
T
--:P- / 36
CC

0
CC

0
F
T
--:-- / 36
F
T
--:-- / 36
CC

0
CC

0
CC

0
007007

F (expected value)

4.00 (confidence rate)

?
-
--:-- / 0
F
T
--:-M / 36
F
T
--:P- / 36
CC

0
CC

0
F
T
--:-- / 36
F
T
--:-- / 36
CC

0
CC

0
CC

0
007008

F (expected value)

4.00 (confidence rate)

?
-
--:-- / 0
F
T
--:-M / 36
F
T
--:P- / 36
CC

0
CC

0
F
T
--:-- / 36
F
T
--:-- / 36
CC

0
CC

0
CC

0
010010

F (expected value)

4.00 (confidence rate)

?
-
--:-- / 0
F
T
--:P- / 36
F
T
--:-M / 36
CC

0
CC

0
F
T
--:-- / 36
F
T
--:-- / 36
CC

0
CC

0
CC

0
010011

F (expected value)

4.00 (confidence rate)

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

0
CC

0
F
T
--:-- / 36
F
T
--:-- / 36
CC

0
CC

0
CC

0
015015

F (expected value)

4.00 (confidence rate)

?
-
--:-- / 0
F
T
--:-M / 36
F
T
--:P- / 36
CC

0
CC

0
F
T
--:-- / 36
F
T
--:-- / 36
CC

0
CC

0
CC

0
015016

F (expected value)

4.00 (confidence rate)

?
-
--:-- / 0
F
T
--:-M / 36
F
T
--:P- / 36
CC

0
CC

0
F
T
--:-- / 36
F
T
--:-- / 36
CC

0
CC

0
CC

0
025025

F (expected value)

4.00 (confidence rate)

?
-
--:-- / 0
F
T
--:-M / 36
F
T
--:P- / 36
CC

0
CC

0
F
T
--:-- / 36
F
T
--:-- / 36
CC

0
CC

0
CC

0
025026

F (expected value)

4.00 (confidence rate)

?
-
--:-- / 0
F
T
--:-M / 36
F
T
--:P- / 36
CC

0
CC

0
F
T
--:-- / 36
F
T
--:-- / 36
CC

0
CC

0
CC

0
050050

F (expected value)

4.00 (confidence rate)

?
-
--:-- / 0
F
T
--:-M / 36
F
T
--:P- / 36
CC

0
CC

0
F
T
--:-- / 36
F
T
--:-- / 36
CC

0
CC

0
CC

0
050051

F (expected value)

4.00 (confidence rate)

?
-
--:-- / 0
F
T
--:-M / 36
F
T
--:P- / 36
CC

0
CC

0
F
T
--:-- / 36
F
T
--:-- / 36
CC

0
CC

0
CC

0
100100

F (expected value)

4.00 (confidence rate)

DNF

0
F
T
--:-M / 36
F
T
--:P- / 36
CC

0
CC

0
F
T
--:-- / 36
F
T
--:-- / 36
DNF

0
CC

0
CC

0
100101

F (expected value)

4.00 (confidence rate)

DNF

0
F
T
--:-M / 36
F
T
--:P- / 36
CC

0
CC

0
F
T
--:-- / 36
F
T
--:-- / 36
DNF

0
CC

0
CC

0

All «Known» models
 
  LTSMin Tapaal LoLA M4M.full M4M.struct ITS-Tools ITS-Tools.L GreatSPN Irma.full Irma.struct
Total Points 4317 8081 7389 3970 2947 7852 8062 5564 5577 5577
Road Runner 4 185 460 0 2 48 33 32 2 1
Camel 6 418 236 0 1 10 25 65 4 2
ARMCacheCoherence — P/T
  LTSMin Tapaal LoLA M4M.full M4M.struct ITS-Tools ITS-Tools.L GreatSPN Irma.full Irma.struct
Score 102 102 0 0 0 102 102 102 102 102
Road Runner 0 0 0 0 0 1 0 0 0 0
Camel 0 1 0 0 0 0 0 0 0 0
none

F (expected value)

7.00 (confidence rate)

F
T
--:-- / 102
F
T
--:-M / 102
CC

0
DNF

0
DNF

0
F
T
--:P- / 102
F
T
--:-- / 102
F
T
--:-- / 102
F
T
--:-- / 102
F
T
--:-- / 102
AirplaneLD — Colored
  LTSMin Tapaal LoLA M4M.full M4M.struct ITS-Tools ITS-Tools.L GreatSPN Irma.full Irma.struct
Score 0 72 72 0 0 72 72 8 0 0
Road Runner 0 5 1 0 0 1 1 1 0 0
Camel 0 6 3 0 0 0 0 0 0 0
0010

T (expected value)

5.00 (confidence rate)

DNC T
T
--:-- / 8
T
T
--:-M / 8
?
-
--:-- / 0
?
-
--:-- / 0
T
T
--:-- / 8
T
T
--:-- / 8
T
T
--:P- / 8
?
-
--:-- / 0
?
-
--:-- / 0
0020

T (expected value)

4.00 (confidence rate)

DNC T
T
--:PM / 8
T
T
--:-- / 8
CC

0
CC

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

0
CC

0
CC

0
0050

T (expected value)

4.00 (confidence rate)

DNC T
T
--:PM / 8
T
T
--:-- / 8
CC

0
CC

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

0
CC

0
CC

0
0100

T (expected value)

4.00 (confidence rate)

DNC T
T
--:PM / 8
T
T
--:-- / 8
CC

0
CC

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

0
CC

0
CC

0
0200

T (expected value)

4.00 (confidence rate)

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

0
?
-
--:-- / 0
?
-
--:-- / 0
0500

T (expected value)

4.00 (confidence rate)

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

0
?
-
--:-- / 0
?
-
--:-- / 0
1000

T (expected value)

4.00 (confidence rate)

DNC T
T
--:-M / 8
T
T
--:P- / 8
?
-
--:-- / 0
?
-
--:-- / 0
T
T
--:-- / 8
T
T
--:-- / 8
DNF

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

T (expected value)

4.00 (confidence rate)

DNC T
T
--:-- / 8
T
T
--:-M / 8
?
-
--:-- / 0
?
-
--:-- / 0
T
T
--:-- / 8
T
T
--:P- / 8
CC

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

T (expected value)

4.00 (confidence rate)

DNC T
T
--:-- / 8
T
T
--:-M / 8
?
-
--:-- / 0
?
-
--:-- / 0
T
T
--:P- / 8
T
T
--:-- / 8
CC

0
?
-
--:-- / 0
?
-
--:-- / 0
AirplaneLD — P/T
  LTSMin Tapaal LoLA M4M.full M4M.struct ITS-Tools ITS-Tools.L GreatSPN Irma.full Irma.struct
Score 40 72 72 48 48 72 72 32 48 48
Road Runner 0 4 1 0 0 3 0 1 0 0
Camel 0 4 5 0 0 0 0 0 0 0
0010

T (expected value)

10.00 (confidence rate)

T
T
--:-- / 8
T
T
--:PM / 8
T
T
--:-- / 8
T
T
--:-- / 8
T
T
--:-- / 8
T
T
--:-- / 8
T
T
--:-- / 8
T
T
--:-- / 8
T
T
--:-- / 8
T
T
--:-- / 8
0020

T (expected value)

6.00 (confidence rate)

T
T
--:-- / 8
T
T
--:-- / 8
T
T
--:-M / 8
CC

0
CC

0
T
T
--:-- / 8
T
T
--:-- / 8
T
T
--:P- / 8
CC

0
CC

0
0050

T (expected value)

6.00 (confidence rate)

T
T
--:-- / 8
T
T
--:PM / 8
T
T
--:-- / 8
CC

0
CC

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

0
CC

0
0100

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 8
T
T
--:-- / 8
T
T
--:-M / 8
CC

0
CC

0
T
T
--:P- / 8
T
T
--:-- / 8
CC

0
CC

0
CC

0
0200

T (expected value)

9.00 (confidence rate)

T
T
--:-- / 8
T
T
--:PM / 8
T
T
--:-- / 8
T
T
--:-- / 8
T
T
--:-- / 8
T
T
--:-- / 8
T
T
--:-- / 8
CC

0
T
T
--:-- / 8
T
T
--:-- / 8
0500

T (expected value)

8.00 (confidence rate)

DNF

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

0
T
T
--:-- / 8
T
T
--:-- / 8
1000

T (expected value)

9.00 (confidence rate)

DNF

0
T
T
--:-- / 8
T
T
--:-M / 8
T
T
--:-- / 8
T
T
--:-- / 8
T
T
--:P- / 8
T
T
--:-- / 8
T
T
--:-- / 8
T
T
--:-- / 8
T
T
--:-- / 8
2000

T (expected value)

8.00 (confidence rate)

DNF

0
T
T
--:-- / 8
T
T
--:-M / 8
T
T
--:-- / 8
T
T
--:-- / 8
T
T
--:P- / 8
T
T
--:-- / 8
CC

0
T
T
--:-- / 8
T
T
--:-- / 8
4000

T (expected value)

8.00 (confidence rate)

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

0
T
T
--:-- / 8
T
T
--:-- / 8
Angiogenesis — P/T
  LTSMin Tapaal LoLA M4M.full M4M.struct ITS-Tools ITS-Tools.L GreatSPN Irma.full Irma.struct
Score 68 85 102 68 17 102 51 51 68 68
Road Runner 0 2 3 0 0 0 0 1 0 0
Camel 0 3 3 0 0 0 0 0 0 0
01

T (expected value)

10.00 (confidence rate)

T
T
--:-- / 17
T
T
--:-M / 17
T
T
--:-- / 17
T
T
--:-- / 17
T
T
--:-- / 17
T
T
--:-- / 17
T
T
--:-- / 17
T
T
--:P- / 17
T
T
--:-- / 17
T
T
--:-- / 17
05

T (expected value)

6.00 (confidence rate)

T
T
--:-- / 17
T
T
--:PM / 17
T
T
--:-- / 17
CC

0
CC

0
T
T
--:-- / 17
T
T
--:-- / 17
T
T
--:-- / 17
CC

0
CC

0
10

T (expected value)

6.00 (confidence rate)

T
T
--:-- / 17
T
T
--:PM / 17
T
T
--:-- / 17
CC

0
CC

0
T
T
--:-- / 17
T
T
--:-- / 17
T
T
--:-- / 17
CC

0
CC

0
15

T (expected value)

7.00 (confidence rate)

T
T
--:-- / 17
T
T
--:-- / 17
T
T
--:PM / 17
T
T
--:-- / 17
DNF

0
T
T
--:-- / 17
DNF

0
DNF

0
T
T
--:-- / 17
T
T
--:-- / 17
20

T (expected value)

6.00 (confidence rate)

DNF

0
T
T
--:-- / 17
T
T
--:PM / 17
T
T
--:-- / 17
DNF

0
T
T
--:-- / 17
DNF

0
DNF

0
T
T
--:-- / 17
T
T
--:-- / 17
25

T (expected value)

5.00 (confidence rate)

DNF

0
CC

0
T
T
--:PM / 17
T
T
--:-- / 17
DNF

0
T
T
--:-- / 17
DNF

0
DNF

0
T
T
--:-- / 17
T
T
--:-- / 17
50

? (expected value)

0 (confidence rate)

DNF

0
CC

0
CC

0
?
?
--:-- / 0
DNF

0
DNF

0
DNF

0
DNF

0
?
?
--:-- / 0
?
?
--:-- / 0
AutoFlight — P/T
  LTSMin Tapaal LoLA M4M.full M4M.struct ITS-Tools ITS-Tools.L GreatSPN Irma.full Irma.struct
Score 80 160 152 112 112 144 160 112 112 112
Road Runner 0 11 0 0 0 6 1 2 0 0
Camel 0 14 6 0 0 0 0 0 0 0
01a

T (expected value)

10.00 (confidence rate)

T
T
--:-- / 8
T
T
--:-- / 8
T
T
--:-M / 8
T
T
--:-- / 8
T
T
--:-- / 8
T
T
--:-- / 8
T
T
--:-- / 8
T
T
--:P- / 8
T
T
--:-- / 8
T
T
--:-- / 8
01b

T (expected value)

10.00 (confidence rate)

T
T
--:-- / 8
T
T
--:P- / 8
T
T
--:-M / 8
T
T
--:-- / 8
T
T
--:-- / 8
T
T
--:-- / 8
T
T
--:-- / 8
T
T
--:-- / 8
T
T
--:-- / 8
T
T
--:-- / 8
02a

T (expected value)

6.00 (confidence rate)

T
T
--:-- / 8
T
T
--:-- / 8
T
T
--:-M / 8
CC

0
CC

0
T
T
--:P- / 8
T
T
--:-- / 8
T
T
--:-- / 8
CC

0
CC

0
02b

T (expected value)

6.00 (confidence rate)

T
T
--:-- / 8
T
T
--:PM / 8
T
T
--:-- / 8
CC

0
CC

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

0
CC

0
03a

T (expected value)

6.00 (confidence rate)

T
T
--:-- / 8
T
T
--:-- / 8
T
T
--:-M / 8
CC

0
CC

0
T
T
--:P- / 8
T
T
--:-- / 8
T
T
--:-- / 8
CC

0
CC

0
03b

T (expected value)

6.00 (confidence rate)

T
T
--:-- / 8
T
T
--:-M / 8
T
T
--:-- / 8
CC

0
CC

0
T
T
--:P- / 8
T
T
--:-- / 8
T
T
--:-- / 8
CC

0
CC

0
04a

T (expected value)

6.00 (confidence rate)

T
T
--:-- / 8
T
T
--:-M / 8
T
T
--:-- / 8
CC

0
CC

0
T
T
--:-- / 8
T
T
--:-- / 8
T
T
--:P- / 8
CC

0
CC

0
04b

T (expected value)

5.00 (confidence rate)

DNF

0
T
T
--:-M / 8
T
T
--:-- / 8
CC

0
CC

0
T
T
--:P- / 8
T
T
--:-- / 8
T
T
--:-- / 8
CC

0
CC

0
05a

T (expected value)

10.00 (confidence rate)

T
T
--:-- / 8
T
T
--:-- / 8
T
T
--:-M / 8
T
T
--:-- / 8
T
T
--:-- / 8
T
T
--:P- / 8
T
T
--:-- / 8
T
T
--:-- / 8
T
T
--:-- / 8
T
T
--:-- / 8
05b

T (expected value)

7.00 (confidence rate)

DNF

0
T
T
--:-M / 8
CC

0
T
T
--:-- / 8
T
T
--:-- / 8
T
T
--:P- / 8
T
T
--:-- / 8
DNF

0
T
T
--:-- / 8
T
T
--:-- / 8
06a

T (expected value)

10.00 (confidence rate)

T
T
--:-- / 8
T
T
--:P- / 8
T
T
--:-M / 8
T
T
--:-- / 8
T
T
--:-- / 8
T
T
--:-- / 8
T
T
--:-- / 8
T
T
--:-- / 8
T
T
--:-- / 8
T
T
--:-- / 8
06b

T (expected value)

8.00 (confidence rate)

DNF

0
T
T
--:-M / 8
T
T
--:-- / 8
T
T
--:-- / 8
T
T
--:-- / 8
T
T
--:-- / 8
T
T
--:P- / 8
DNF

0
T
T
--:-- / 8
T
T
--:-- / 8
12a

T (expected value)

10.00 (confidence rate)

T
T
--:-- / 8
T
T
--:PM / 8
T
T
--:-- / 8
T
T
--:-- / 8
T
T
--:-- / 8
T
T
--:-- / 8
T
T
--:-- / 8
T
T
--:-- / 8
T
T
--:-- / 8
T
T
--:-- / 8
12b

T (expected value)

8.00 (confidence rate)

DNF

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

0
T
T
--:-- / 8
T
T
--:-- / 8
24a

T (expected value)

9.00 (confidence rate)

DNF

0
T
T
--:PM / 8
T
T
--:-- / 8
T
T
--:-- / 8
T
T
--:-- / 8
T
T
--:-- / 8
T
T
--:-- / 8
T
T
--:-- / 8
T
T
--:-- / 8
T
T
--:-- / 8
24b

T (expected value)

8.00 (confidence rate)

DNF

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

0
T
T
--:-- / 8
T
T
--:-- / 8
48a

T (expected value)

9.00 (confidence rate)

DNF

0
T
T
--:PM / 8
T
T
--:-- / 8
T
T
--:-- / 8
T
T
--:-- / 8
T
T
--:-- / 8
T
T
--:-- / 8
T
T
--:-- / 8
T
T
--:-- / 8
T
T
--:-- / 8
48b

T (expected value)

8.00 (confidence rate)

DNF

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

0
T
T
--:-- / 8
T
T
--:-- / 8
96a

T (expected value)

8.00 (confidence rate)

DNF

0
T
T
--:PM / 8
T
T
--:-- / 8
T
T
--:-- / 8
T
T
--:-- / 8
CC

0
T
T
--:-- / 8
T
T
--:-- / 8
T
T
--:-- / 8
T
T
--:-- / 8
96b

T (expected value)

7.00 (confidence rate)

DNF

0
T
T
--:PM / 8
T
T
--:-- / 8
T
T
--:-- / 8
T
T
--:-- / 8
CC

0
T
T
--:-- / 8
DNF

0
T
T
--:-- / 8
T
T
--:-- / 8
BART — Colored (no check between colored and P/T)
  LTSMin Tapaal LoLA M4M.full M4M.struct ITS-Tools ITS-Tools.L GreatSPN Irma.full Irma.struct
Score 0 0 0 0 0 72 72 0 0 0
Road Runner 0 0 0 0 0 5 3 0 0 0
Camel 0 0 0 0 0 2 6 0 0 0
002

F (expected value)

2.00 (confidence rate)

DNC CC

0
CC

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

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

F (expected value)

2.00 (confidence rate)

DNC CC

0
CC

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

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

F (expected value)

2.00 (confidence rate)

DNC CC

0
CC

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

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

F (expected value)

2.00 (confidence rate)

DNC CC

0
CC

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

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

F (expected value)

2.00 (confidence rate)

DNC CC

0
CC

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

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

F (expected value)

2.00 (confidence rate)

DNC CC

0
CC

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

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

F (expected value)

2.00 (confidence rate)

DNC CC

0
CC

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

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

F (expected value)

2.00 (confidence rate)

DNC CC

0
CC

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

0
?
-
--:-- / 0
?
-
--:-- / 0
BART — P/T (no check between colored and P/T)
  LTSMin Tapaal LoLA M4M.full M4M.struct ITS-Tools ITS-Tools.L GreatSPN Irma.full Irma.struct
Score 9 72 9 9 9 72 72 72 9 9
Road Runner 0 8 0 0 0 0 0 0 0 0
Camel 0 8 0 0 0 0 0 0 0 0
002

F (expected value)

10.00 (confidence rate)

F
T
--:-- / 9
F
T
--:PM / 9
F
T
--:-- / 9
F
T
--:-- / 9
F
T
--:-- / 9
F
T
--:-- / 9
F
T
--:-- / 9
F
T
--:-- / 9
F
T
--:-- / 9
F
T
--:-- / 9
005

F (expected value)

4.00 (confidence rate)

DNF

0
F
T
--:PM / 9
CC

0
DNF

0
DNF

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

0
DNF

0
010

F (expected value)

4.00 (confidence rate)

DNF

0
F
T
--:PM / 9
CC

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

0
DNF

0
020

F (expected value)

4.00 (confidence rate)

DNF

0
F
T
--:PM / 9
CC

0
DNF

0
DNF

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

0
DNF

0
030

F (expected value)

4.00 (confidence rate)

DNF

0
F
T
--:PM / 9
CC

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

F (expected value)

4.00 (confidence rate)

DNF

0
F
T
--:PM / 9
CC

0
DNF

0
DNF

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

0
DNF

0
050

F (expected value)

4.00 (confidence rate)

DNF

0
F
T
--:PM / 9
CC

0
DNF

0
DNF

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

0
DNF

0
060

F (expected value)

4.00 (confidence rate)

DNF

0
F
T
--:PM / 9
CC

0
DNF

0
DNF

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

0
DNF

0
BridgeAndVehicles — Colored
  LTSMin Tapaal LoLA M4M.full M4M.struct ITS-Tools ITS-Tools.L GreatSPN Irma.full Irma.struct
Score 0 100 100 0 0 40 40 40 0 0
Road Runner 0 8 12 0 0 0 0 0 0 0
Camel 0 6 14 0 0 0 0 0 0 0
V04P05N02

T (expected value)

5.00 (confidence rate)

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

T (expected value)

5.00 (confidence rate)

DNC T
T
--:-- / 5
T
T
--:PM / 5
CC

0
CC

0
T
T
--:-- / 5
T
T
--:-- / 5
T
T
--:-- / 5
CC

0
CC

0
V20P10N10

T (expected value)

5.00 (confidence rate)

DNC T
T
--:-- / 5
T
T
--:PM / 5
CC

0
CC

0
T
T
--:-- / 5
T
T
--:-- / 5
T
T
--:-- / 5
CC

0
CC

0
V20P10N20

T (expected value)

5.00 (confidence rate)

DNC T
T
--:-- / 5
T
T
--:PM / 5
CC

0
CC

0
T
T
--:-- / 5
T
T
--:-- / 5
T
T
--:-- / 5
CC

0
CC

0
V20P10N50

T (expected value)

5.00 (confidence rate)

DNC T
T
--:-M / 5
T
T
--:P- / 5
CC

0
CC

0
T
T
--:-- / 5
T
T
--:-- / 5
T
T
--:-- / 5
CC

0
CC

0
V20P20N10

T (expected value)

5.00 (confidence rate)

DNC T
T
--:-- / 5
T
T
--:PM / 5
?
-
--:-- / 0
?
-
--:-- / 0
T
T
--:-- / 5
T
T
--:-- / 5
T
T
--:-- / 5
?
-
--:-- / 0
?
-
--:-- / 0
V20P20N20

T (expected value)

5.00 (confidence rate)

DNC T
T
--:-- / 5
T
T
--:PM / 5
?
-
--:-- / 0
?
-
--:-- / 0
T
T
--:-- / 5
T
T
--:-- / 5
T
T
--:-- / 5
?
-
--:-- / 0
?
-
--:-- / 0
V20P20N50

T (expected value)

5.00 (confidence rate)

DNC T
T
--:P- / 5
T
T
--:-M / 5
?
-
--:-- / 0
?
-
--:-- / 0
T
T
--:-- / 5
T
T
--:-- / 5
T
T
--:-- / 5
?
-
--:-- / 0
?
-
--:-- / 0
V50P20N10

T (expected value)

2.00 (confidence rate)

DNC T
T
--:-- / 5
T
T
--:PM / 5
?
-
--:-- / 0
?
-
--:-- / 0
DNF

0
DNF

0
DNF

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

T (expected value)

2.00 (confidence rate)

DNC T
T
--:-M / 5
T
T
--:P- / 5
?
-
--:-- / 0
?
-
--:-- / 0
DNF

0
DNF

0
DNF

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

T (expected value)

2.00 (confidence rate)

DNC T
T
--:P- / 5
T
T
--:-M / 5
?
-
--:-- / 0
?
-
--:-- / 0
DNF

0
DNF

0
DNF

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

T (expected value)

2.00 (confidence rate)

DNC T
T
--:-M / 5
T
T
--:P- / 5
?
-
--:-- / 0
?
-
--:-- / 0
DNF

0
DNF

0
DNF

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

T (expected value)

2.00 (confidence rate)

DNC T
T
--:-- / 5
T
T
--:PM / 5
?
-
--:-- / 0
?
-
--:-- / 0
DNF

0
DNF

0
DNF

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

T (expected value)

2.00 (confidence rate)

DNC T
T
--:P- / 5
T
T
--:-M / 5
?
-
--:-- / 0
?
-
--:-- / 0
DNF

0
DNF

0
DNF

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

T (expected value)

2.00 (confidence rate)

DNC T
T
--:PM / 5
T
T
--:-- / 5
?
-
--:-- / 0
?
-
--:-- / 0
DNF

0
DNF

0
DNF

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

T (expected value)

2.00 (confidence rate)

DNC T
T
--:P- / 5
T
T
--:-M / 5
?
-
--:-- / 0
?
-
--:-- / 0
DNF

0
DNF

0
DNF

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

T (expected value)

2.00 (confidence rate)

DNC T
T
--:PM / 5
T
T
--:-- / 5
?
-
--:-- / 0
?
-
--:-- / 0
DNF

0
DNF

0
DNF

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

T (expected value)

2.00 (confidence rate)

DNC T
T
--:P- / 5
T
T
--:-M / 5
?
-
--:-- / 0
?
-
--:-- / 0
DNF

0
DNF

0
DNF

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

T (expected value)

2.00 (confidence rate)

DNC T
T
--:-- / 5
T
T
--:PM / 5
?
-
--:-- / 0
?
-
--:-- / 0
DNF

0
DNF

0
DNF

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

T (expected value)

2.00 (confidence rate)

DNC T
T
--:PM / 5
T
T
--:-- / 5
?
-
--:-- / 0
?
-
--:-- / 0
DNF

0
DNF

0
DNF

0
?
-
--:-- / 0
?
-
--:-- / 0
BridgeAndVehicles — P/T
  LTSMin Tapaal LoLA M4M.full M4M.struct ITS-Tools ITS-Tools.L GreatSPN Irma.full Irma.struct
Score 15 100 100 80 80 30 60 40 80 80
Road Runner 0 7 13 0 0 0 0 0 0 0
Camel 0 8 12 0 0 0 0 0 0 0
V04P05N02

T (expected value)

10.00 (confidence rate)

T
T
--:-- / 5
T
T
--:-- / 5
T
T
--:PM / 5
T
T
--:-- / 5
T
T
--:-- / 5
T
T
--:-- / 5
T
T
--:-- / 5
T
T
--:-- / 5
T
T
--:-- / 5
T
T
--:-- / 5
V10P10N10

T (expected value)

6.00 (confidence rate)

T
T
--:-- / 5
T
T
--:-- / 5
T
T
--:PM / 5
CC

0
CC

0
T
T
--:-- / 5
T
T
--:-- / 5
T
T
--:-- / 5
CC

0
CC

0
V20P10N10

T (expected value)

5.00 (confidence rate)

DNF

0
T
T
--:-- / 5
T
T
--:PM / 5
CC

0
CC

0
T
T
--:-- / 5
T
T
--:-- / 5
T
T
--:-- / 5
CC

0
CC

0
V20P10N20

T (expected value)

5.00 (confidence rate)

DNF

0
T
T
--:-- / 5
T
T
--:PM / 5
CC

0
CC

0
T
T
--:-- / 5
T
T
--:-- / 5
T
T
--:-- / 5
CC

0
CC

0
V20P10N50

T (expected value)

4.00 (confidence rate)

DNF

0
T
T
--:-M / 5
T
T
--:P- / 5
CC

0
CC

0
DNF

0
T
T
--:-- / 5
T
T
--:-- / 5
CC

0
CC

0
V20P20N10

T (expected value)

9.00 (confidence rate)

DNF

0
T
T
--:-- / 5
T
T
--:PM / 5
T
T
--:-- / 5
T
T
--:-- / 5
T
T
--:-- / 5
T
T
--:-- / 5
T
T
--:-- / 5
T
T
--:-- / 5
T
T
--:-- / 5
V20P20N20

T (expected value)

10.00 (confidence rate)

T
T
--:-- / 5
T
T
--:-- / 5
T
T
--:PM / 5
T
T
--:-- / 5
T
T
--:-- / 5
T
T
--:-- / 5
T
T
--:-- / 5
T
T
--:-- / 5
T
T
--:-- / 5
T
T
--:-- / 5
V20P20N50

T (expected value)

8.00 (confidence rate)

DNF

0
T
T
--:-M / 5
T
T
--:P- / 5
T
T
--:-- / 5
T
T
--:-- / 5
DNF

0
T
T
--:-- / 5
T
T
--:-- / 5
T
T
--:-- / 5
T
T
--:-- / 5
V50P20N10

T (expected value)

7.00 (confidence rate)

DNF

0
T
T
--:-- / 5
T
T
--:PM / 5
T
T
--:-- / 5
T
T
--:-- / 5
DNF

0
T
T
--:-- / 5
DNF

0
T
T
--:-- / 5
T
T
--:-- / 5
V50P20N20

T (expected value)

7.00 (confidence rate)

DNF

0
T
T
--:-M / 5
T
T
--:P- / 5
T
T
--:-- / 5
T
T
--:-- / 5
DNF

0
T
T
--:-- / 5
DNF

0
T
T
--:-- / 5
T
T
--:-- / 5
V50P20N50

T (expected value)

6.00 (confidence rate)

DNF

0
T
T
--:-- / 5
T
T
--:PM / 5
T
T
--:-- / 5
T
T
--:-- / 5
DNF

0
DNF

0
DNF

0
T
T
--:-- / 5
T
T
--:-- / 5
V50P50N10

T (expected value)

6.00 (confidence rate)

DNF

0
T
T
--:-- / 5
T
T
--:PM / 5
T
T
--:-- / 5
T
T
--:-- / 5
DNF

0
DNF

0
DNF

0
T
T
--:-- / 5
T
T
--:-- / 5
V50P50N20

T (expected value)

7.00 (confidence rate)

DNF

0
T
T
--:PM / 5
T
T
--:-- / 5
T
T
--:-- / 5
T
T
--:-- / 5
DNF

0
T
T
--:-- / 5
DNF

0
T
T
--:-- / 5
T
T
--:-- / 5
V50P50N50

T (expected value)

7.00 (confidence rate)

DNF

0
T
T
--:-- / 5
T
T
--:PM / 5
T
T
--:-- / 5
T
T
--:-- / 5
DNF

0
T
T
--:-- / 5
DNF

0
T
T
--:-- / 5
T
T
--:-- / 5
V80P20N10

T (expected value)

6.00 (confidence rate)

DNF

0
T
T
--:PM / 5
T
T
--:-- / 5
T
T
--:-- / 5
T
T
--:-- / 5
DNF

0
DNF

0
DNF

0
T
T
--:-- / 5
T
T
--:-- / 5
V80P20N20

T (expected value)

6.00 (confidence rate)

DNF

0
T
T
--:P- / 5
T
T
--:-M / 5
T
T
--:-- / 5
T
T
--:-- / 5
DNF

0
DNF

0
DNF

0
T
T
--:-- / 5
T
T
--:-- / 5
V80P20N50

T (expected value)

6.00 (confidence rate)

DNF

0
T
T
--:PM / 5
T
T
--:-- / 5
T
T
--:-- / 5
T
T
--:-- / 5
DNF

0
DNF

0
DNF

0
T
T
--:-- / 5
T
T
--:-- / 5
V80P50N10

T (expected value)

6.00 (confidence rate)

DNF

0
T
T
--:PM / 5
T
T
--:-- / 5
T
T
--:-- / 5
T
T
--:-- / 5
DNF

0
DNF

0
DNF

0
T
T
--:-- / 5
T
T
--:-- / 5
V80P50N20

T (expected value)

6.00 (confidence rate)

DNF

0
T
T
--:P- / 5
T
T
--:-M / 5
T
T
--:-- / 5
T
T
--:-- / 5
DNF

0
DNF

0
DNF

0
T
T
--:-- / 5
T
T
--:-- / 5
V80P50N50

T (expected value)

6.00 (confidence rate)

DNF

0
T
T
--:PM / 5
T
T
--:-- / 5
T
T
--:-- / 5
T
T
--:-- / 5
DNF

0
DNF

0
DNF

0
T
T
--:-- / 5
T
T
--:-- / 5
CSRepetitions — Colored
  LTSMin Tapaal LoLA M4M.full M4M.struct ITS-Tools ITS-Tools.L GreatSPN Irma.full Irma.struct
Score 0 66 55 0 0 66 66 55 0 0
Road Runner 0 1 5 0 0 0 0 0 0 0
Camel 0 2 4 0 0 0 0 0 0 0
02

T (expected value)

5.00 (confidence rate)

DNC T
T
--:-- / 11
T
T
--:PM / 11
CC

0
?
-
--:-- / 0
T
T
--:-- / 11
T
T
--:-- / 11
T
T
--:-- / 11
?
-
--:-- / 0
?
-
--:-- / 0
03

T (expected value)

5.00 (confidence rate)

DNC T
T
--:-- / 11
T
T
--:PM / 11
CC

0
CC

0
T
T
--:-- / 11
T
T
--:-- / 11
T
T
--:-- / 11
CC

0
CC

0
04

T (expected value)

4.00 (confidence rate)

DNC T
T
--:PM / 11
CC

0
CC

0
CC

0
T
T
--:-- / 11
T
T
--:-- / 11
T
T
--:-- / 11
CC

0
CC

0
05

T (expected value)

5.00 (confidence rate)

DNC T
T
--:-- / 11
T
T
--:PM / 11
CC

0
?
-
--:-- / 0
T
T
--:-- / 11
T
T
--:-- / 11
T
T
--:-- / 11
?
-
--:-- / 0
?
-
--:-- / 0
07

T (expected value)

5.00 (confidence rate)

DNC T
T
--:-M / 11
T
T
--:P- / 11
CC

0
?
-
--:-- / 0
T
T
--:-- / 11
T
T
--:-- / 11
T
T
--:-- / 11
?
-
--:-- / 0
?
-
--:-- / 0
10

T (expected value)

4.00 (confidence rate)

DNC T
T
--:-- / 11
T
T
--:PM / 11
CC

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

0
?
-
--:-- / 0
?
-
--:-- / 0
CSRepetitions — P/T
  LTSMin Tapaal LoLA M4M.full M4M.struct ITS-Tools ITS-Tools.L GreatSPN Irma.full Irma.struct
Score 22 66 66 0 44 66 66 55 44 44
Road Runner 0 0 6 0 0 0 0 0 0 0
Camel 0 0 6 0 0 0 0 0 0 0
02

T (expected value)

9.00 (confidence rate)

T
T
--:-- / 11
T
T
--:-- / 11
T
T
--:PM / 11
CC

0
T
T
--:-- / 11
T
T
--:-- / 11
T
T
--:-- / 11
T
T
--:-- / 11
T
T
--:-- / 11
T
T
--:-- / 11
03

T (expected value)

6.00 (confidence rate)

T
T
--:-- / 11
T
T
--:-- / 11
T
T
--:PM / 11
CC

0
CC

0
T
T
--:-- / 11
T
T
--:-- / 11
T
T
--:-- / 11
CC

0
CC

0
04

T (expected value)

5.00 (confidence rate)

DNF

0
T
T
--:-- / 11
T
T
--:PM / 11
CC

0
CC

0
T
T
--:-- / 11
T
T
--:-- / 11
T
T
--:-- / 11
CC

0
CC

0
05

T (expected value)

8.00 (confidence rate)

DNF

0
T
T
--:-- / 11
T
T
--:PM / 11
CC

0
T
T
--:-- / 11
T
T
--:-- / 11
T
T
--:-- / 11
T
T
--:-- / 11
T
T
--:-- / 11
T
T
--:-- / 11
07

T (expected value)

8.00 (confidence rate)

DNF

0
T
T
--:-- / 11
T
T
--:PM / 11
CC

0
T
T
--:-- / 11
T
T
--:-- / 11
T
T
--:-- / 11
T
T
--:-- / 11
T
T
--:-- / 11
T
T
--:-- / 11
10

T (expected value)

7.00 (confidence rate)

DNF

0
T
T
--:-- / 11
T
T
--:PM / 11
CC

0
T
T
--:-- / 11
T
T
--:-- / 11
T
T
--:-- / 11
DNF

0
T
T
--:-- / 11
T
T
--:-- / 11
CircadianClock — P/T
  LTSMin Tapaal LoLA M4M.full M4M.struct ITS-Tools ITS-Tools.L GreatSPN Irma.full Irma.struct
Score 57 114 114 76 76 114 114 95 76 76
Road Runner 0 0 6 0 0 0 0 0 0 0
Camel 1 0 5 0 0 0 0 0 0 0
000001

F (expected value)

10.00 (confidence rate)

F
T
--:-M / 19
F
T
--:-- / 19
F
T
--:P- / 19
F
T
--:-- / 19
F
T
--:-- / 19
F
T
--:-- / 19
F
T
--:-- / 19
F
T
--:-- / 19
F
T
--:-- / 19
F
T
--:-- / 19
000010

F (expected value)

6.00 (confidence rate)

F
T
--:-- / 19
F
T
--:-- / 19
F
T
--:PM / 19
CC

0
CC

0
F
T
--:-- / 19
F
T
--:-- / 19
F
T
--:-- / 19
CC

0
CC

0
000100

F (expected value)

6.00 (confidence rate)

F
T
--:-- / 19
F
T
--:-- / 19
F
T
--:PM / 19
CC

0
CC

0
F
T
--:-- / 19
F
T
--:-- / 19
F
T
--:-- / 19
CC

0
CC

0
001000

F (expected value)

9.00 (confidence rate)

DNF

0
F
T
--:-- / 19
F
T
--:PM / 19
F
T
--:-- / 19
F
T
--:-- / 19
F
T
--:-- / 19
F
T
--:-- / 19
F
T
--:-- / 19
F
T
--:-- / 19
F
T
--:-- / 19
010000

F (expected value)

9.00 (confidence rate)

?
-
--:-- / 0
F
T
--:-- / 19
F
T
--:PM / 19
F
T
--:-- / 19
F
T
--:-- / 19
F
T
--:-- / 19
F
T
--:-- / 19
F
T
--:-- / 19
F
T
--:-- / 19
F
T
--:-- / 19
100000

F (expected value)

8.00 (confidence rate)

DNF

0
F
T
--:-- / 19
F
T
--:PM / 19
F
T
--:-- / 19
F
T
--:-- / 19
F
T
--:-- / 19
F
T
--:-- / 19
DNF

0
F
T
--:-- / 19
F
T
--:-- / 19
CircularTrains — P/T
  LTSMin Tapaal LoLA M4M.full M4M.struct ITS-Tools ITS-Tools.L GreatSPN Irma.full Irma.struct
Score 68 119 119 51 51 119 119 119 51 51
Road Runner 0 0 7 0 0 0 0 0 0 0
Camel 1 4 2 0 0 0 0 0 0 0
012

F (expected value)

10.00 (confidence rate)

F
T
--:-M / 17
F
T
--:-- / 17
F
T
--:P- / 17
F
T
--:-- / 17
F
T
--:-- / 17
F
T
--:-- / 17
F
T
--:-- / 17
F
T
--:-- / 17
F
T
--:-- / 17
F
T
--:-- / 17
024

F (expected value)

6.00 (confidence rate)

F
T
--:-- / 17
F
T
--:-M / 17
F
T
--:P- / 17
CC

0
CC

0
F
T
--:-- / 17
F
T
--:-- / 17
F
T
--:-- / 17
CC

0
CC

0
048

F (expected value)

6.00 (confidence rate)

F
T
--:-- / 17
F
T
--:-M / 17
F
T
--:P- / 17
CC

0
CC

0
F
T
--:-- / 17
F
T
--:-- / 17
F
T
--:-- / 17
CC

0
CC

0
096

F (expected value)

6.00 (confidence rate)

F
T
--:-- / 17
F
T
--:-M / 17
F
T
--:P- / 17
CC

0
CC

0
F
T
--:-- / 17
F
T
--:-- / 17
F
T
--:-- / 17
CC

0
CC

0
192

F (expected value)

5.00 (confidence rate)

DNF

0
F
T
--:-M / 17
F
T
--:P- / 17
CC

0
CC

0
F
T
--:-- / 17
F
T
--:-- / 17
F
T
--:-- / 17
CC

0
CC

0
384

F (expected value)

9.00 (confidence rate)

DNF

0
F
T
--:-- / 17
F
T
--:PM / 17
F
T
--:-- / 17
F
T
--:-- / 17
F
T
--:-- / 17
F
T
--:-- / 17
F
T
--:-- / 17
F
T
--:-- / 17
F
T
--:-- / 17
768

F (expected value)

9.00 (confidence rate)

DNF

0
F
T
--:-- / 17
F
T
--:PM / 17
F
T
--:-- / 17
F
T
--:-- / 17
F
T
--:-- / 17
F
T
--:-- / 17
F
T
--:-- / 17
F
T
--:-- / 17
F
T
--:-- / 17
ClientsAndServers — P/T
  LTSMin Tapaal LoLA M4M.full M4M.struct ITS-Tools ITS-Tools.L GreatSPN Irma.full Irma.struct
Score 104 160 160 40 40 136 136 40 160 160
Road Runner 0 0 20 0 0 0 0 0 0 0
Camel 0 19 1 0 0 0 0 0 0 0
N0001P0

T (expected value)

10.00 (confidence rate)

T
T
--:-- / 8
T
T
--:-M / 8
T
T
--:P- / 8
T
T
--:-- / 8
T
T
--:-- / 8
T
T
--:-- / 8
T
T
--:-- / 8
T
T
--:-- / 8
T
T
--:-- / 8
T
T
--:-- / 8
N0002P0

T (expected value)

10.00 (confidence rate)

T
T
--:-- / 8
T
T
--:-M / 8
T
T
--:P- / 8
T
T
--:-- / 8
T
T
--:-- / 8
T
T
--:-- / 8
T
T
--:-- / 8
T
T
--:-- / 8
T
T
--:-- / 8
T
T
--:-- / 8
N0002P1

F (expected value)

10.00 (confidence rate)

F
T
--:-- / 8
F
T
--:-M / 8
F
T
--:P- / 8
F
T
--:-- / 8
F
T
--:-- / 8
F
T
--:-- / 8
F
T
--:-- / 8
F
T
--:-- / 8
F
T
--:-- / 8
F
T
--:-- / 8
N0005P0

T (expected value)

10.00 (confidence rate)

T
T
--:-- / 8
T
T
--:-M / 8
T
T
--:P- / 8
T
T
--:-- / 8
T
T
--:-- / 8
T
T
--:-- / 8
T
T
--:-- / 8
T
T
--:-- / 8
T
T
--:-- / 8
T
T
--:-- / 8
N0005P1

T (expected value)

10.00 (confidence rate)

T
T
--:-- / 8
T
T
--:-M / 8
T
T
--:P- / 8
T
T
--:-- / 8
T
T
--:-- / 8
T
T
--:-- / 8
T
T
--:-- / 8
T
T
--:-- / 8
T
T
--:-- / 8
T
T
--:-- / 8
N0010P0

T (expected value)

7.00 (confidence rate)

T
T
--:-- / 8
T
T
--:-M / 8
T
T
--:P- / 8
DNF

0
DNF

0
T
T
--:-- / 8
T
T
--:-- / 8
DNF

0
T
T
--:-- / 8
T
T
--:-- / 8
N0010P1

T (expected value)

7.00 (confidence rate)

T
T
--:-- / 8
T
T
--:-M / 8
T
T
--:P- / 8
DNF

0
DNF

0
T
T
--:-- / 8
T
T
--:-- / 8
DNF

0
T
T
--:-- / 8
T
T
--:-- / 8
N0010P2

T (expected value)

7.00 (confidence rate)

T
T
--:-- / 8
T
T
--:-M / 8
T
T
--:P- / 8
DNF

0
DNF

0
T
T
--:-- / 8
T
T
--:-- / 8
DNF

0
T
T
--:-- / 8
T
T
--:-- / 8
N0020P0

T (expected value)

7.00 (confidence rate)

T
T
--:-- / 8
T
T
--:-M / 8
T
T
--:P- / 8
DNF

0
DNF

0
T
T
--:-- / 8
T
T
--:-- / 8
DNF

0
T
T
--:-- / 8
T
T
--:-- / 8
N0020P1

T (expected value)

7.00 (confidence rate)

T
T
--:-- / 8
T
T
--:-M / 8
T
T
--:P- / 8
DNF

0
DNF

0
T
T
--:-- / 8
T
T
--:-- / 8
DNF

0
T
T
--:-- / 8
T
T
--:-- / 8
N0020P2

T (expected value)

7.00 (confidence rate)

T
T
--:-- / 8
T
T
--:-M / 8
T
T
--:P- / 8
DNF

0
DNF

0
T
T
--:-- / 8
T
T
--:-- / 8
DNF

0
T
T
--:-- / 8
T
T
--:-- / 8
N0020P3

T (expected value)

7.00 (confidence rate)

T
T
--:-- / 8
T
T
--:-M / 8
T
T
--:P- / 8
DNF

0
DNF

0
T
T
--:-- / 8
T
T
--:-- / 8
DNF

0
T
T
--:-- / 8
T
T
--:-- / 8
N0020P4

T (expected value)

7.00 (confidence rate)

T
T
--:-- / 8
T
T
--:-M / 8
T
T
--:P- / 8
DNF

0
DNF

0
T
T
--:-- / 8
T
T
--:-- / 8
DNF

0
T
T
--:-- / 8
T
T
--:-- / 8
N0050P0

T (expected value)

6.00 (confidence rate)

DNF

0
T
T
--:-M / 8
T
T
--:P- / 8
DNF

0
DNF

0
T
T
--:-- / 8
T
T
--:-- / 8
DNF

0
T
T
--:-- / 8
T
T
--:-- / 8
N0100P0

T (expected value)

6.00 (confidence rate)

DNF

0
T
T
--:-M / 8
T
T
--:P- / 8
DNF

0
DNF

0
T
T
--:-- / 8
T
T
--:-- / 8
DNF

0
T
T
--:-- / 8
T
T
--:-- / 8
N0200P0

T (expected value)

6.00 (confidence rate)

DNF

0
T
T
--:-M / 8
T
T
--:P- / 8
DNF

0
DNF

0
T
T
--:-- / 8
T
T
--:-- / 8
DNF

0
T
T
--:-- / 8
T
T
--:-- / 8
N0500P0

T (expected value)

6.00 (confidence rate)

DNF

0
T
T
--:-M / 8
T
T
--:P- / 8
DNF

0
DNF

0
T
T
--:-- / 8
T
T
--:-- / 8
DNF

0
T
T
--:-- / 8
T
T
--:-- / 8
N1000P0

T (expected value)

4.00 (confidence rate)

DNF

0
T
T
--:-M / 8
T
T
--:P- / 8
DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
T
T
--:-- / 8
T
T
--:-- / 8
N2000P0

T (expected value)

4.00 (confidence rate)

DNF

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

0
DNF

0
DNF

0
DNF

0
DNF

0
T
T
--:-- / 8
T
T
--:-- / 8
N5000P0

T (expected value)

4.00 (confidence rate)

DNF

0
T
T
--:-M / 8
T
T
--:P- / 8
DNF

0
DNF

0
CC

0
CC

0
DNF

0
T
T
--:-- / 8
T
T
--:-- / 8
CloudDeployment — P/T
  LTSMin Tapaal LoLA M4M.full M4M.struct ITS-Tools ITS-Tools.L GreatSPN Irma.full Irma.struct
Score 66 132 110 55 22 99 132 66 88 88
Road Runner 0 3 7 0 0 1 1 0 0 0
Camel 0 4 6 0 0 0 0 1 1 0
2a

T (expected value)

10.00 (confidence rate)

T
T
--:-- / 11
T
T
--:-M / 11
T
T
--:P- / 11
T
T
--:-- / 11
T
T
--:-- / 11
T
T
--:-- / 11
T
T
--:-- / 11
T
T
--:-- / 11
T
T
--:-- / 11
T
T
--:-- / 11
2b

T (expected value)

7.00 (confidence rate)

DNF

0
T
T
--:-M / 11
T
T
--:P- / 11
T
T
--:-- / 11
DNF

0
T
T
--:-- / 11
T
T
--:-- / 11
DNF

0
T
T
--:-- / 11
T
T
--:-- / 11
3a

T (expected value)

6.00 (confidence rate)

T
T
--:-- / 11
T
T
--:P- / 11
T
T
--:-M / 11
CC

0
CC

0
T
T
--:-- / 11
T
T
--:-- / 11
T
T
--:-- / 11
CC

0
CC

0
3b

T (expected value)

4.00 (confidence rate)

DNF

0
T
T
--:-M / 11
T
T
--:P- / 11
CC

0
CC

0
T
T
--:-- / 11
T
T
--:-- / 11
DNF

0
CC

0
CC

0
4a

T (expected value)

6.00 (confidence rate)

T
T
--:-- / 11
T
T
--:P- / 11
T
T
--:-M / 11
CC

0
CC

0
T
T
--:-- / 11
T
T
--:-- / 11
T
T
--:-- / 11
CC

0
CC

0
4b

T (expected value)

4.00 (confidence rate)

DNF

0
T
T
--:-- / 11
T
T
--:PM / 11
CC

0
CC

0
T
T
--:-- / 11
T
T
--:-- / 11
DNF

0
CC

0
CC

0
5a

T (expected value)

10.00 (confidence rate)

T
T
--:-- / 11
T
T
--:PM / 11
T
T
--:-- / 11
T
T
--:-- / 11
T
T
--:-- / 11
T
T
--:-- / 11
T
T
--:-- / 11
T
T
--:-- / 11
T
T
--:-- / 11
T
T
--:-- / 11
5b

T (expected value)

5.00 (confidence rate)

DNF

0
T
T
--:-- / 11
T
T
--:PM / 11
DNF

0
DNF

0
DNF

0
T
T
--:-- / 11
DNF

0
T
T
--:-- / 11
T
T
--:-- / 11
6a

T (expected value)

8.00 (confidence rate)

T
T
--:-- / 11
T
T
--:-- / 11
CC

0
T
T
--:-- / 11
DNF

0
T
T
--:P- / 11
T
T
--:-- / 11
T
T
--:-M / 11
T
T
--:-- / 11
T
T
--:-- / 11
6b

T (expected value)

5.00 (confidence rate)

DNF

0
T
T
--:-- / 11
T
T
--:PM / 11
DNF

0
DNF

0
DNF

0
T
T
--:-- / 11
DNF

0
T
T
--:-- / 11
T
T
--:-- / 11
7a

T (expected value)

8.00 (confidence rate)

T
T
--:-- / 11
T
T
--:-- / 11
CC

0
T
T
--:-- / 11
DNF

0
T
T
--:-- / 11
T
T
--:P- / 11
T
T
--:-- / 11
T
T
--:-M / 11
T
T
--:-- / 11
7b

T (expected value)

5.00 (confidence rate)

DNF

0
T
T
--:-- / 11
T
T
--:PM / 11
DNF

0
DNF

0
DNF

0
T
T
--:-- / 11
CC

0
T
T
--:-- / 11
T
T
--:-- / 11
CloudReconfiguration — P/T
  LTSMin Tapaal LoLA M4M.full M4M.struct ITS-Tools ITS-Tools.L GreatSPN Irma.full Irma.struct
Score 21 154 154 154 154 154 154 0 154 154
Road Runner 0 0 22 0 0 0 0 0 0 0
Camel 0 0 22 0 0 0 0 0 0 0
301

T (expected value)

8.00 (confidence rate)

DNF

0
T
T
--:-- / 7
T
T
--:PM / 7
T
T
--:-- / 7
T
T
--:-- / 7
T
T
--:-- / 7
T
T
--:-- / 7
DNF

0
T
T
--:-- / 7
T
T
--:-- / 7
302

T (expected value)

8.00 (confidence rate)

DNF

0
T
T
--:-- / 7
T
T
--:PM / 7
T
T
--:-- / 7
T
T
--:-- / 7
T
T
--:-- / 7
T
T
--:-- / 7
DNF

0
T
T
--:-- / 7
T
T
--:-- / 7
303

T (expected value)

8.00 (confidence rate)

DNF

0
T
T
--:-- / 7
T
T
--:PM / 7
T
T
--:-- / 7
T
T
--:-- / 7
T
T
--:-- / 7
T
T
--:-- / 7
DNF

0
T
T
--:-- / 7
T
T
--:-- / 7
304

T (expected value)

8.00 (confidence rate)

DNF

0
T
T
--:-- / 7
T
T
--:PM / 7
T
T
--:-- / 7
T
T
--:-- / 7
T
T
--:-- / 7
T
T
--:-- / 7
DNF

0
T
T
--:-- / 7
T
T
--:-- / 7
305

T (expected value)

8.00 (confidence rate)

DNF

0
T
T
--:-- / 7
T
T
--:PM / 7
T
T
--:-- / 7
T
T
--:-- / 7
T
T
--:-- / 7
T
T
--:-- / 7
DNF

0
T
T
--:-- / 7
T
T
--:-- / 7
306

T (expected value)

8.00 (confidence rate)

DNF

0
T
T
--:-- / 7
T
T
--:PM / 7
T
T
--:-- / 7
T
T
--:-- / 7
T
T
--:-- / 7
T
T
--:-- / 7
DNF

0
T
T
--:-- / 7
T
T
--:-- / 7
307

T (expected value)

8.00 (confidence rate)

DNF

0
T
T
--:-- / 7
T
T
--:PM / 7
T
T
--:-- / 7
T
T
--:-- / 7
T
T
--:-- / 7
T
T
--:-- / 7
DNF

0
T
T
--:-- / 7
T
T
--:-- / 7
308

T (expected value)

8.00 (confidence rate)

DNF

0
T
T
--:-- / 7
T
T
--:PM / 7
T
T
--:-- / 7
T
T
--:-- / 7
T
T
--:-- / 7
T
T
--:-- / 7
DNF

0
T
T
--:-- / 7
T
T
--:-- / 7
309

T (expected value)

8.00 (confidence rate)

DNF

0
T
T
--:-- / 7
T
T
--:PM / 7
T
T
--:-- / 7
T
T
--:-- / 7
T
T
--:-- / 7
T
T
--:-- / 7
DNF

0
T
T
--:-- / 7
T
T
--:-- / 7
310

T (expected value)

8.00 (confidence rate)

DNF

0
T
T
--:-- / 7
T
T
--:PM / 7
T
T
--:-- / 7
T
T
--:-- / 7
T
T
--:-- / 7
T
T
--:-- / 7
DNF

0
T
T
--:-- / 7
T
T
--:-- / 7
311

T (expected value)

8.00 (confidence rate)

DNF

0
T
T
--:-- / 7
T
T
--:PM / 7
T
T
--:-- / 7
T
T
--:-- / 7
T
T
--:-- / 7
T
T
--:-- / 7
DNF

0
T
T
--:-- / 7
T
T
--:-- / 7
312

T (expected value)

8.00 (confidence rate)

DNF

0
T
T
--:-- / 7
T
T
--:PM / 7
T
T
--:-- / 7
T
T
--:-- / 7
T
T
--:-- / 7
T
T
--:-- / 7
DNF

0
T
T
--:-- / 7
T
T
--:-- / 7
313

T (expected value)

8.00 (confidence rate)

DNF

0
T
T
--:-- / 7
T
T
--:PM / 7
T
T
--:-- / 7
T
T
--:-- / 7
T
T
--:-- / 7
T
T
--:-- / 7
DNF

0
T
T
--:-- / 7
T
T
--:-- / 7
314

T (expected value)

8.00 (confidence rate)

DNF

0
T
T
--:-- / 7
T
T
--:PM / 7
T
T
--:-- / 7
T
T
--:-- / 7
T
T
--:-- / 7
T
T
--:-- / 7
DNF

0
T
T
--:-- / 7
T
T
--:-- / 7
315

T (expected value)

8.00 (confidence rate)

DNF

0
T
T
--:-- / 7
T
T
--:PM / 7
T
T
--:-- / 7
T
T
--:-- / 7
T
T
--:-- / 7
T
T
--:-- / 7
DNF

0
T
T
--:-- / 7
T
T
--:-- / 7
316

T (expected value)

8.00 (confidence rate)

DNF

0
T
T
--:-- / 7
T
T
--:PM / 7
T
T
--:-- / 7
T
T
--:-- / 7
T
T
--:-- / 7
T
T
--:-- / 7
DNF

0
T
T
--:-- / 7
T
T
--:-- / 7
317

T (expected value)

9.00 (confidence rate)

T
T
--:-- / 7
T
T
--:-- / 7
T
T
--:PM / 7
T
T
--:-- / 7
T
T
--:-- / 7
T
T
--:-- / 7
T
T
--:-- / 7
DNF

0
T
T
--:-- / 7
T
T
--:-- / 7
318

T (expected value)

8.00 (confidence rate)

DNF

0
T
T
--:-- / 7
T
T
--:PM / 7
T
T
--:-- / 7
T
T
--:-- / 7
T
T
--:-- / 7
T
T
--:-- / 7
DNF

0
T
T
--:-- / 7
T
T
--:-- / 7
319

T (expected value)

9.00 (confidence rate)

T
T
--:-- / 7
T
T
--:-- / 7
T
T
--:PM / 7
T
T
--:-- / 7
T
T
--:-- / 7
T
T
--:-- / 7
T
T
--:-- / 7
DNF

0
T
T
--:-- / 7
T
T
--:-- / 7
320

T (expected value)

9.00 (confidence rate)

T
T
--:-- / 7
T
T
--:-- / 7
T
T
--:PM / 7
T
T
--:-- / 7
T
T
--:-- / 7
T
T
--:-- / 7
T
T
--:-- / 7
DNF

0
T
T
--:-- / 7
T
T
--:-- / 7
401

T (expected value)

8.00 (confidence rate)

DNF

0
T
T
--:-- / 7
T
T
--:PM / 7
T
T
--:-- / 7
T
T
--:-- / 7
T
T
--:-- / 7
T
T
--:-- / 7
DNF

0
T
T
--:-- / 7
T
T
--:-- / 7
402

T (expected value)

8.00 (confidence rate)

DNF

0
T
T
--:-- / 7
T
T
--:PM / 7
T
T
--:-- / 7
T
T
--:-- / 7
T
T
--:-- / 7
T
T
--:-- / 7
DNF

0
T
T
--:-- / 7
T
T
--:-- / 7
DES — P/T
  LTSMin Tapaal LoLA M4M.full M4M.struct ITS-Tools ITS-Tools.L GreatSPN Irma.full Irma.struct
Score 160 160 160 56 16 160 160 56 112 112
Road Runner 0 0 20 0 0 0 0 0 0 0
Camel 0 20 0 0 0 0 0 0 0 0
00a

T (expected value)

10.00 (confidence rate)

T
T
--:-- / 8
T
T
--:-M / 8
T
T
--:P- / 8
T
T
--:-- / 8
T
T
--:-- / 8
T
T
--:-- / 8
T
T
--:-- / 8
T
T
--:-- / 8
T
T
--:-- / 8
T
T
--:-- / 8
00b

T (expected value)

10.00 (confidence rate)

T
T
--:-- / 8
T
T
--:-M / 8
T
T
--:P- / 8
T
T
--:-- / 8
T
T
--:-- / 8
T
T
--:-- / 8
T
T
--:-- / 8
T
T
--:-- / 8
T
T
--:-- / 8
T
T
--:-- / 8
01a

T (expected value)

6.00 (confidence rate)

T
T
--:-- / 8
T
T
--:-M / 8
T
T
--:P- / 8
CC

0
CC

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

0
CC

0
01b

T (expected value)

6.00 (confidence rate)

T
T
--:-- / 8
T
T
--:-M / 8
T
T
--:P- / 8
CC

0
CC

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

0
CC

0
02a

T (expected value)

6.00 (confidence rate)

T
T
--:-- / 8
T
T
--:-M / 8
T
T
--:P- / 8
CC

0
CC

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

0
CC

0
02b

T (expected value)

6.00 (confidence rate)

T
T
--:-- / 8
T
T
--:-M / 8
T
T
--:P- / 8
CC

0
CC

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

0
CC

0
05a

T (expected value)

6.00 (confidence rate)

T
T
--:-- / 8
T
T
--:-M / 8
T
T
--:P- / 8
CC

0
CC

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

0
CC

0
05b

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 8
T
T
--:-M / 8
T
T
--:P- / 8
CC

0
CC

0
T
T
--:-- / 8
T
T
--:-- / 8
DNF

0
CC

0
CC

0
10a

T (expected value)

7.00 (confidence rate)

T
T
--:-- / 8
T
T
--:-M / 8
T
T
--:P- / 8
CC

0
DNF

0
T
T
--:-- / 8
T
T
--:-- / 8
DNF

0
T
T
--:-- / 8
T
T
--:-- / 8
10b

T (expected value)

7.00 (confidence rate)

T
T
--:-- / 8
T
T
--:-M / 8
T
T
--:P- / 8
CC

0
DNF

0
T
T
--:-- / 8
T
T
--:-- / 8
DNF

0
T
T
--:-- / 8
T
T
--:-- / 8
20a

T (expected value)

8.00 (confidence rate)

T
T
--:-- / 8
T
T
--:-M / 8
T
T
--:P- / 8
T
T
--:-- / 8
DNF

0
T
T
--:-- / 8
T
T
--:-- / 8
DNF

0
T
T
--:-- / 8
T
T
--:-- / 8
20b

T (expected value)

8.00 (confidence rate)

T
T
--:-- / 8
T
T
--:-M / 8
T
T
--:P- / 8
T
T
--:-- / 8
DNF

0
T
T
--:-- / 8
T
T
--:-- / 8
DNF

0
T
T
--:-- / 8
T
T
--:-- / 8
30a

T (expected value)

7.00 (confidence rate)

T
T
--:-- / 8
T
T
--:-M / 8
T
T
--:P- / 8
CC

0
DNF

0
T
T
--:-- / 8
T
T
--:-- / 8
DNF

0
T
T
--:-- / 8
T
T
--:-- / 8
30b

T (expected value)

8.00 (confidence rate)

T
T
--:-- / 8
T
T
--:-M / 8
T
T
--:P- / 8
T
T
--:-- / 8
DNF

0
T
T
--:-- / 8
T
T
--:-- / 8
DNF

0
T
T
--:-- / 8
T
T
--:-- / 8
40a

T (expected value)

7.00 (confidence rate)

T
T
--:-- / 8
T
T
--:-M / 8
T
T
--:P- / 8
CC

0
DNF

0
T
T
--:-- / 8
T
T
--:-- / 8
DNF

0
T
T
--:-- / 8
T
T
--:-- / 8
40b

T (expected value)

8.00 (confidence rate)

T
T
--:-- / 8
T
T
--:-M / 8
T
T
--:P- / 8
T
T
--:-- / 8
DNF

0
T
T
--:-- / 8
T
T
--:-- / 8
DNF

0
T
T
--:-- / 8
T
T
--:-- / 8
50a

T (expected value)

8.00 (confidence rate)

T
T
--:-- / 8
T
T
--:-M / 8
T
T
--:P- / 8
T
T
--:-- / 8
DNF

0
T
T
--:-- / 8
T
T
--:-- / 8
DNF

0
T
T
--:-- / 8
T
T
--:-- / 8
50b

T (expected value)

7.00 (confidence rate)

T
T
--:-- / 8
T
T
--:-M / 8
T
T
--:P- / 8
DNF

0
DNF

0
T
T
--:-- / 8
T
T
--:-- / 8
DNF

0
T
T
--:-- / 8
T
T
--:-- / 8
60a

T (expected value)

7.00 (confidence rate)

T
T
--:-- / 8
T
T
--:-M / 8
T
T
--:P- / 8
CC

0
DNF

0
T
T
--:-- / 8
T
T
--:-- / 8
DNF

0
T
T
--:-- / 8
T
T
--:-- / 8
60b

T (expected value)

7.00 (confidence rate)

T
T
--:-- / 8
T
T
--:-M / 8
T
T
--:P- / 8
DNF

0
DNF

0
T
T
--:-- / 8
T
T
--:-- / 8
DNF

0
T
T
--:-- / 8
T
T
--:-- / 8
DLCround — P/T
  LTSMin Tapaal LoLA M4M.full M4M.struct ITS-Tools ITS-Tools.L GreatSPN Irma.full Irma.struct
Score 77 140 56 63 70 77 98 63 126 126
Road Runner 0 15 3 0 1 0 0 0 0 1
Camel 0 12 5 0 1 0 0 0 1 1
03a

F (expected value)

10.00 (confidence rate)

F
T
--:-- / 7
F
T
--:PM / 7
F
T
--:-- / 7
F
T
--:-- / 7
F
T
--:-- / 7
F
T
--:-- / 7
F
T
--:-- / 7
F
T
--:-- / 7
F
T
--:-- / 7
F
T
--:-- / 7
03b

T (expected value)

7.00 (confidence rate)

DNF

0
T
T
--:-- / 7
T
T
--:PM / 7
T
T
--:-- / 7
T
T
--:-- / 7
DNF

0
T
T
--:-- / 7
DNF

0
T
T
--:-- / 7
T
T
--:-- / 7
04a

F (expected value)

10.00 (confidence rate)

F
T
--:-- / 7
F
T
--:PM / 7
F
T
--:-- / 7
F
T
--:-- / 7
F
T
--:-- / 7
F
T
--:-- / 7
F
T
--:-- / 7
F
T
--:-- / 7
F
T
--:-- / 7
F
T
--:-- / 7
04b

T (expected value)

7.00 (confidence rate)

DNF

0
T
T
--:P- / 7
T
T
--:-M / 7
T
T
--:-- / 7
T
T
--:-- / 7
DNF

0
T
T
--:-- / 7
DNF

0
T
T
--:-- / 7
T
T
--:-- / 7
05a

F (expected value)

7.00 (confidence rate)

F
T
--:-- / 7
F
T
--:PM / 7
CC

0
DNF

0
DNF

0
F
T
--:-- / 7
F
T
--:-- / 7
F
T
--:-- / 7
F
T
--:-- / 7
F
T
--:-- / 7
05b

T (expected value)

7.00 (confidence rate)

DNF

0
T
T
--:-- / 7
T
T
--:PM / 7
T
T
--:-- / 7
T
T
--:-- / 7
DNF

0
T
T
--:-- / 7
DNF

0
T
T
--:-- / 7
T
T
--:-- / 7
06a

F (expected value)

7.00 (confidence rate)

F
T
--:-- / 7
F
T
--:PM / 7
CC

0
DNF

0
DNF

0
F
T
--:-- / 7
F
T
--:-- / 7
F
T
--:-- / 7
F
T
--:-- / 7
F
T
--:-- / 7
06b

T (expected value)

6.00 (confidence rate)

DNF

0
T
T
--:-- / 7
T
T
--:PM / 7
T
T
--:-- / 7
T
T
--:-- / 7
DNF

0
DNF

0
DNF

0
T
T
--:-- / 7
T
T
--:-- / 7
07a

F (expected value)

7.00 (confidence rate)

F
T
--:-- / 7
F
T
--:PM / 7
CC

0
DNF

0
DNF

0
F
T
--:-- / 7
F
T
--:-- / 7
F
T
--:-- / 7
F
T
--:-- / 7
F
T
--:-- / 7
07b

T (expected value)

6.00 (confidence rate)

DNF

0
T
T
--:P- / 7
T
T
--:-- / 7
T
T
--:-- / 7
T
T
--:-- / 7
DNF

0
DNF

0
DNF

0
T
T
--:-M / 7
T
T
--:-- / 7
08a

F (expected value)

7.00 (confidence rate)

F
T
--:-- / 7
F
T
--:PM / 7
CC

0
DNF

0
DNF

0
F
T
--:-- / 7
F
T
--:-- / 7
F
T
--:-- / 7
F
T
--:-- / 7
F
T
--:-- / 7
08b

T (expected value)

6.00 (confidence rate)