fond
Model Checking Contest 2019
9th edition, Prague, Czech Republic, April 7, 2019 (TOOLympics)
Results for StateSpace
Last Updated
Apr 15, 2019

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
  ITS-Tools ITS-Tools.M LTSMin Tapaal enPAC GreatSPN smart TINA.tedd 2018-Gold
Total Points 5973.09 5477.79 4713.65 2493.12 83.77 7702.31 4248.31 8232.09 7195.23

All «Surprise» models
 
  ITS-Tools ITS-Tools.M LTSMin Tapaal enPAC GreatSPN smart TINA.tedd 2018-Gold
Total Points 357.52 271.36 234.31 67.84 24.23 345.27 271.31 338.16 379.20
Road Runner 4 0 3 0 0 5 0 0 2
Camel 4 0 0 0 0 3 0 0 7
CloudOpsManagement — P/T (542.80 pts max)
  ITS-Tools ITS-Tools.M LTSMin Tapaal enPAC GreatSPN smart TINA.tedd 2018-Gold
Score 203.52 271.36 203.52 67.84 24.23 310.08 271.31 232.55 344.00
fastest 0 0 3 0 0 5 0 0 1
smallest memory 0 0 0 0 0 2 0 0 7
00002by00001

3857 30090 4 18 (expected value)

8.86 4.00 8.00 8.00 (confidence rate)

3857 ? 4 18
T-TT
--:-- / 33.91
3857 ? 4 18
T-TT
--:-- / 33.91
3857 ? 4 18
T-TT
--:P- / 33.91
3857 ? 4 18
T-TT
--:-- / 33.91
3857 ? ? ?
T---
--:-- / 24.23
3857 30090 4 18
TTTT
--:-M / 38.76
3857 30090 4 18
TTTT
--:-- / 38.76
3857 30090 4 18
TTTT
--:-- / 38.76
3857 30090 4 18
TTTT
--:-- / 38.76
00005by00002

1.6127E+0006 1.9148E+0007 9 41 (expected value)

8.00 4.00 8.00 8.00 (confidence rate)

1.6127E+0006 ? 9 41
T-TT
--:-- / 33.91
1.6127E+0006 ? 9 41
T-TT
--:-- / 33.91
1.6127E+0006 ? 9 41
T-TT
--:P- / 33.91
1.6127E+0006 ? 9 41
T-TT
--:-- / 33.91
DNF

0
1.6127E+0006 1.9148E+0007 9 41
TTTT
--:-- / 38.76
1.6127E+0006 1.9148E+0007 9 41
TTTT
--:-- / 38.76
1.6127E+0006 1.9148E+0007 9 41
TTTT
--:-- / 38.76
1.6127E+0006 1.9148E+0007 9 41
TTTT
--:-M / 38.76
00010by00005

1.0733E+0010 1.8532E+0011 20 90 (expected value)

7.00 4.00 7.00 7.00 (confidence rate)

1.0733E+0010 ? 20 90
T-TT
--:-- / 33.91
1.0733E+0010 ? 20 90
T-TT
--:-- / 33.91
1.0733E+0010 ? 20 90
T-TT
--:P- / 33.91
CC

0
DNF

0
1.0733E+0010 1.8532E+0011 20 90
TTTT
--:-- / 38.76
1.0733E+0010 1.8532E+0011 20 90
TTTT
--:-- / 38.76
1.0733E+0010 1.8532E+0011 20 90
TTTT
--:-- / 38.76
1.0733E+0010 1.8532E+0011 20 90
TTTT
--:-M / 38.76
00020by00010

6.6422E+0013 1.4148E+0015 40 180 (expected value)

7.00 4.00 7.00 7.00 (confidence rate)

6.6422E+0013 ? 40 180
T-TT
--:-- / 33.91
6.6422E+0013 ? 40 180
T-TT
--:-- / 33.91
6.6422E+0013 ? 40 180
T-TT
--:-- / 33.91
CC

0
DNF

0
6.6422E+0013 1.4148E+0015 40 180
TTTT
--:P- / 38.76
6.6422E+0013 1.4148E+0015 40 180
TTTT
--:-- / 38.76
6.6422E+0013 1.4148E+0015 40 180
TTTT
--:-- / 38.76
6.6422E+0013 1.4148E+0015 40 180
TTTT
--:-M / 38.76
00040by00020

1.0905E+0018 2.6614E+0019 80 360 (expected value)

7.00 4.00 7.00 7.00 (confidence rate)

1.0905E+0018 ? 80 360
T-TT
--:-- / 33.91
1.0905E+0018 ? 80 360
T-TT
--:-- / 33.91
1.0905E+0018 ? 80 360
T-TT
--:-- / 33.91
CC

0
DNF

0
1.0905E+0018 2.6614E+0019 80 360
TTTT
--:PM / 38.76
1.0905E+0018 2.6614E+0019 80 360
TTTT
--:-- / 38.76
1.0905E+0018 2.6614E+0019 80 360
TTTT
--:-- / 38.76
1.0905E+0018 2.6614E+0019 80 360
TTTT
--:-- / 38.76
00080by00040

3.3365E+0022 8.8251E+0023 160 720 (expected value)

7.00 4.00 7.00 7.00 (confidence rate)

3.3365E+0022 ? 160 720
T-TT
--:-- / 33.91
3.3365E+0022 ? 160 720
T-TT
--:-- / 33.91
3.3365E+0022 ? 160 720
T-TT
--:-- / 33.91
CC

0
DNF

0
3.3365E+0022 8.8251E+0023 160 720
TTTT
--:P- / 38.76
3.3365E+0022 8.8251E+0023 160 720
TTTT
--:-- / 38.76
3.3365E+0022 8.8251E+0023 160 720
TTTT
--:-- / 38.76
3.3365E+0022 8.8251E+0023 160 720
TTTT
--:-M / 38.76
00160by00080

1.4631E+0027 4.0454E+0028 320 1440 (expected value)

4.00 3.00 4.00 4.00 (confidence rate)

DNF

0
1.4631E+0027 ? 320 1440
T-TT
--:-- / 33.91
DNF

0
CC

0
DNF

0
1.4631E+0027 4.0454E+0028 320 1440
TTTT
--:P- / 38.76
1.4631E+0027 4.0454E+0028 320 1440
TTTT
--:-- / 38.76
DNF

0
1.4631E+0027 4.0454E+0028 320 1440
TTTT
--:-M / 38.76
00320by00160

7.7980E+0031 2.2071E+0033 640 2880 (expected value)

3.00 2.00 3.00 3.00 (confidence rate)

CC

0
7.7980E+0031 ? 640 2880
T-TT
--:-- / 33.91
DNF

0
CC

0
DNF

0
7.7980E+0031 2.2071E+0033 640 2880
TTTT
--:P- / 38.76
CC

0
DNF

0
7.7980E+0031 2.2071E+0033 640 2880
TTTT
--:-M / 38.76
00640by00320

4.6016E+0036 ? 1280 5760 (expected value)

1.00 0 1.00 1.00 (confidence rate)

CC

0
CC

0
DNF

0
CC

0
DNF

0
DNF

0
CC

0
DNF

0
4.6016E+0036 ? 1280 5760
T?TT
--:PM / 33.91
01280by00640

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNF

0
CC

0
DNF

0
DNF

0
CC

0
DNF

0
CC

0
02560by01280

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
CC

0
05120by02560

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
10240by05120

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
20480by10240

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
FamilyReunion — Colored (389.06 pts max)
  ITS-Tools ITS-Tools.M LTSMin Tapaal enPAC GreatSPN smart TINA.tedd 2018-Gold
Score 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
fastest 0 0 0 0 0 0 0 0 0
smallest memory 0 0 0 0 0 0 0 0 0
L00010M0001C001P001G001

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNC CC

0
DNC DNF

0
DNC DNF

0
DNF

0
L00020M0002C001P001G001

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNC CC

0
DNC DNF

0
DNC DNF

0
DNF

0
L00050M0005C002P002G001

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNC CC

0
DNC DNF

0
DNC DNF

0
CC

0
L00100M0010C005P005G002

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNC CC

0
DNC DNF

0
DNC DNF

0
DNF

0
L00200M0020C010P010G005

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNC CC

0
DNC DNF

0
DNC DNF

0
DNF

0
L00400M0040C020P020G001

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNC CC

0
DNC DNF

0
DNC DNF

0
DNF

0
L00800M0080C040P040G020

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNC CC

0
DNC DNF

0
DNC DNF

0
DNF

0
L01200M0120C060P060G030

? (expected value)

0 (confidence rate)

CC

0
DNF

0
DNC CC

0
DNC DNF

0
DNC DNF

0
CC

0
L03000M0300G150P150G075

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNC CC

0
DNC CC

0
DNC CC

0
CC

0
L05000M0500C250P250G125

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNC CC

0
DNC CC

0
DNC CC

0
CC

0
L08000M0800C400P400G200

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNC CC

0
DNC CC

0
DNC CC

0
CC

0
L12000M1200C600P600G300

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNC CC

0
DNC CC

0
DNC CC

0
CC

0
FamilyReunion — P/T (194.52 pts max)
  ITS-Tools ITS-Tools.M LTSMin Tapaal enPAC GreatSPN smart TINA.tedd 2018-Gold
Score 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
fastest 0 0 0 0 0 0 0 0 0
smallest memory 0 0 0 0 0 0 0 0 0
L00010M0001C001P001G001

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
L00020M0002C001P001G001

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
L00050M0005C002P002G001

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
CC

0
L00100M0010C005P005G002

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNF

0
CC

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
L00200M0020C010P010G005

? (expected value)

0 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
L00400M0040C020P020G001

? (expected value)

0 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
NoC3x3 — P/T (563.20 pts max)
  ITS-Tools ITS-Tools.M LTSMin Tapaal enPAC GreatSPN smart TINA.tedd 2018-Gold
Score 154.00 0.00 30.80 0.00 0.00 35.20 0.00 105.59 35.20
fastest 4 0 0 0 0 0 0 0 1
smallest memory 4 0 0 0 0 1 0 0 0
1A

2.1507E+0021 1.6406E+0023 1 40 (expected value)

5.00 3.00 5.00 5.00 (confidence rate)

2.1507E+0021 ? 1 40
T-TT
--:-- / 30.80
CC

0
2.1507E+0021 ? 1 40
T-TT
--:-- / 30.80
CC

0
DNF

0
2.1507E+0021 1.6406E+0023 1 40
TTTT
--:-M / 35.20
CC

0
2.1507E+0021 1.6406E+0023 1 40
TTTT
--:-- / 35.20
2.1507E+0021 1.6406E+0023 1 40
TTTT
--:P- / 35.20
1B

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
2A

7.7250E+0028 ? 1 66 (expected value)

1 0 1 1 (confidence rate)

7.7250E+0028 ? 1 66
T?TT
--:PM / 30.80
CC

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
2B

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
3A

2.3745E+0029 1.1193E+0031 1 66 (expected value)

2 1 2 2 (confidence rate)

2.3745E+0029 ? 1 66
T-TT
--:PM / 30.80
CC

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
2.3745E+0029 1.1193E+0031 1 66
TTTT
--:-- / 35.20
DNF

0
3B

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
4A

7.2458E+0036 ? 1 66 (expected value)

1 0 1 1 (confidence rate)

7.2458E+0036 ? 1 66
T?TT
--:PM / 30.80
CC

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
4B

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
5A

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
5B

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
6A

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
6B

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
7A

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
7B

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
8A

7.2480E+0039 7.0411E+0042 1 66 (expected value)

2 1 2 2 (confidence rate)

7.2480E+0039 ? 1 66
T-TT
--:PM / 30.80
CC

0
DNF

0
CC

0
DNF

0
DNF

0
CC

0
7.2480E+0039 7.0411E+0042 1 66
TTTT
--:-- / 35.20
DNF

0
8B

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
VehicularWifi — Colored (410.20 pts max)
  ITS-Tools ITS-Tools.M LTSMin Tapaal enPAC GreatSPN smart TINA.tedd 2018-Gold
Score 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
fastest 0 0 0 0 0 0 0 0 0
smallest memory 0 0 0 0 0 0 0 0 0
none

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNC CC

0
DNC CC

0
DNC CC

0
CC

0

All «Known» models
 
  ITS-Tools ITS-Tools.M LTSMin Tapaal enPAC GreatSPN smart TINA.tedd 2018-Gold
Total Points 5615.58 5206.43 4479.33 2425.27 59.52 7357.04 3977.00 7893.93 6816.04
Road Runner 42 10 87 60 20 79 9 202 187
Camel 41 10 128 59 20 120 9 65 244
ARMCacheCoherence — P/T (102.55 pts max)
  ITS-Tools ITS-Tools.M LTSMin Tapaal enPAC GreatSPN smart TINA.tedd 2018-Gold
Score 89.73 89.73 89.73 0.00 0.00 102.55 0.00 102.55 102.55
fastest 0 0 0 0 0 0 0 1 0
smallest memory 0 0 1 0 0 0 0 0 0
none

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

6.00 3.00 6.00 6.00 (confidence rate)

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

0
DNF

0
3.2057E+0008 2.2340E+0010 1 12
TTTT
--:-- / 102.55
CC

0
3.2057E+0008 2.2340E+0010 1 12
TTTT
--:P- / 102.55
3.2057E+0008 2.2340E+0010 1 12
TTTT
--:-- / 102.55
AirplaneLD — Colored (72.95 pts max)
  ITS-Tools ITS-Tools.M LTSMin Tapaal enPAC GreatSPN smart TINA.tedd 2018-Gold
Score 63.80 56.72 0.00 28.36 0.00 40.55 0.00 72.98 48.66
fastest 2 1 0 2 0 0 0 4 0
smallest memory 5 1 0 2 0 0 0 0 1
0010

43463 1.8366E+0005 1 38 (expected value)

6.00 3.00 6.00 6.00 (confidence rate)

43463 ? 1 38
T-TT
--:-- / 7.09
43463 ? 1 38
T-TT
--:-- / 7.09
DNC 43463 ? 1 38
T-TT
--:PM / 7.09
DNC 43463 1.8366E+0005 1 38
TTTT
--:-- / 8.11
DNC 43463 1.8366E+0005 1 38
TTTT
--:-- / 8.11
43463 1.8366E+0005 1 38
TTTT
--:-- / 8.11
0020

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

6.00 3.00 6.00 6.00 (confidence rate)

3.0830E+0005 ? 1 68
T-TT
--:-- / 7.09
3.0830E+0005 ? 1 68
T-TT
--:-- / 7.09
DNC 3.0830E+0005 ? 1 68
T-TT
--:PM / 7.09
DNC 3.0830E+0005 1.3391E+0006 1 68
TTTT
--:-- / 8.11
DNC 3.0830E+0005 1.3391E+0006 1 68
TTTT
--:-- / 8.11
3.0830E+0005 1.3391E+0006 1 68
TTTT
--:-- / 8.11
0050

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

6.00 3.00 6.00 6.00 (confidence rate)

4.4712E+0006 ? 1 158
T-TT
--:-- / 7.09
4.4712E+0006 ? 1 158
T-TT
--:-- / 7.09
DNC 4.4712E+0006 ? 1 158
T-TT
--:-- / 7.09
DNC 4.4712E+0006 1.9756E+0007 1 158
TTTT
--:-- / 8.11
DNC 4.4712E+0006 1.9756E+0007 1 158
TTTT
--:P- / 8.11
4.4712E+0006 1.9756E+0007 1 158
TTTT
--:-M / 8.11
0100

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

6.00 3.00 6.00 6.00 (confidence rate)

3.4877E+0007 ? 1 308
T-TT
--:-- / 7.09
3.4877E+0007 ? 1 308
T-TT
--:PM / 7.09
DNC 3.4877E+0007 ? 1 308
T-TT
--:-- / 7.09
DNC 3.4877E+0007 1.5501E+0008 1 308
TTTT
--:-- / 8.11
DNC 3.4877E+0007 1.5501E+0008 1 308
TTTT
--:-- / 8.11
3.4877E+0007 1.5501E+0008 1 308
TTTT
--:-- / 8.11
0200

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

5.00 3.00 5.00 5.00 (confidence rate)

2.7549E+0008 ? 1 608
T-TT
--:PM / 7.09
2.7549E+0008 ? 1 608
T-TT
--:-- / 7.09
DNC CC

0
DNC 2.7549E+0008 1.2280E+0009 1 608
TTTT
--:-- / 8.11
DNC 2.7549E+0008 1.2280E+0009 1 608
TTTT
--:-- / 8.11
2.7549E+0008 1.2280E+0009 1 608
TTTT
--:-- / 8.11
0500

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

4.00 2.00 4.00 4.00 (confidence rate)

4.2718E+0009 ? 1 1508
T-TT
--:PM / 7.09
4.2718E+0009 ? 1 1508
T-TT
--:-- / 7.09
DNC CC

0
DNC CC

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

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

3.00 1 3.00 3.00 (confidence rate)

3.4087E+0010 ? 1 3008
T-TT
--:-M / 7.09
3.4087E+0010 ? 1 3008
T-TT
--:-- / 7.09
DNC CC

0
DNC CC

0
DNC 3.4087E+0010 1.5230E+0011 1 3008
TTTT
--:P- / 8.11
DNF

0
2000

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

3.00 1 3.00 3.00 (confidence rate)

2.7235E+0011 ? 1 6008
T-TT
--:-M / 7.09
2.7235E+0011 ? 1 6008
T-TT
--:-- / 7.09
DNC CC

0
DNC CC

0
DNC 2.7235E+0011 1.2172E+0012 1 6008
TTTT
--:P- / 8.11
CC

0
4000

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

2 1 2 2 (confidence rate)

2.1774E+0012 ? 1 12008
T-TT
--:-M / 7.09
CC

0
DNC CC

0
DNC CC

0
DNC 2.1774E+0012 9.7328E+0012 1 12008
TTTT
--:P- / 8.11
CC

0
AirplaneLD — P/T (72.95 pts max)
  ITS-Tools ITS-Tools.M LTSMin Tapaal enPAC GreatSPN smart TINA.tedd 2018-Gold
Score 63.80 56.72 56.72 28.36 -5.05 48.66 48.66 72.98 56.77
fastest 1 0 5 0 0 0 0 3 0
smallest memory 4 0 2 0 0 0 1 0 2
0010

43463 1.8366E+0005 1 38 (expected value)

8.86 4.00 8.00 8.00 (confidence rate)

43463 ? 1 38
T-TT
--:-- / 7.09
43463 ? 1 38
T-TT
--:-- / 7.09
43463 ? 1 38
T-TT
--:P- / 7.09
43463 ? 1 38
T-TT
--:-- / 7.09
43463 ? ? ?
T---
--:-- / 5.06
43463 1.8366E+0005 1 38
TTTT
--:-- / 8.11
43463 1.8366E+0005 1 38
TTTT
--:-- / 8.11
43463 1.8366E+0005 1 38
TTTT
--:-- / 8.11
43463 1.8366E+0005 1 38
TTTT
--:-M / 8.11
0020

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

8.00 4.00 8.00 8.00 (confidence rate)

3.0830E+0005 ? 1 68
T-TT
--:-- / 7.09
3.0830E+0005 ? 1 68
T-TT
--:-- / 7.09
3.0830E+0005 ? 1 68
T-TT
--:P- / 7.09
3.0830E+0005 ? 1 68
T-TT
--:-- / 7.09
DNF

0
3.0830E+0005 1.3391E+0006 1 68
TTTT
--:-- / 8.11
3.0830E+0005 1.3391E+0006 1 68
TTTT
--:-- / 8.11
3.0830E+0005 1.3391E+0006 1 68
TTTT
--:-- / 8.11
3.0830E+0005 1.3391E+0006 1 68
TTTT
--:-M / 8.11
0050

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

8.00 4.00 8.00 8.00 (confidence rate)

4.4712E+0006 ? 1 158
T-TT
--:-- / 7.09
4.4712E+0006 ? 1 158
T-TT
--:-- / 7.09
4.4712E+0006 ? 1 158
T-TT
--:PM / 7.09
4.4712E+0006 ? 1 158
T-TT
--:-- / 7.09
DNF

0
4.4712E+0006 1.9756E+0007 1 158
TTTT
--:-- / 8.11
4.4712E+0006 1.9756E+0007 1 158
TTTT
--:-- / 8.11
4.4712E+0006 1.9756E+0007 1 158
TTTT
--:-- / 8.11
4.4712E+0006 1.9756E+0007 1 158
TTTT
--:-- / 8.11
0100

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

8.00 4.00 8.00 8.00 (confidence rate)

3.4877E+0007 ? 1 308
T-TT
--:-- / 7.09
3.4877E+0007 ? 1 308
T-TT
--:-- / 7.09
3.4877E+0007 ? 1 308
T-TT
--:PM / 7.09
3.4877E+0007 ? 1 308
T-TT
--:-- / 7.09
DNF

0
3.4877E+0007 1.5501E+0008 1 308
TTTT
--:-- / 8.11
3.4877E+0007 1.5501E+0008 1 308
TTTT
--:-- / 8.11
3.4877E+0007 1.5501E+0008 1 308
TTTT
--:-- / 8.11
3.4877E+0007 1.5501E+0008 1 308
TTTT
--:-- / 8.11
0200

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

7.00 4.00 7.00 7.00 (confidence rate)

2.7549E+0008 ? 1 608
T-TT
--:-M / 7.09
2.7549E+0008 ? 1 608
T-TT
--:-- / 7.09
2.7549E+0008 ? 1 608
T-TT
--:P- / 7.09
CC

0
DNF

0
2.7549E+0008 1.2280E+0009 1 608
TTTT
--:-- / 8.11
2.7549E+0008 1.2280E+0009 1 608
TTTT
--:-- / 8.11
2.7549E+0008 1.2280E+0009 1 608
TTTT
--:-- / 8.11
2.7549E+0008 1.2280E+0009 1 608
TTTT
--:-- / 8.11
0500

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

6.00 3.00 6.00 6.00 (confidence rate)

4.2718E+0009 ? 1 1508
T-TT
--:P- / 7.09
4.2718E+0009 ? 1 1508
T-TT
--:-- / 7.09
4.2718E+0009 ? 1 1508
T-TT
--:-- / 7.09
CC

0
DNF

0
CC

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

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

6.00 3.00 6.00 6.00 (confidence rate)

3.4087E+0010 ? 1 3008
T-TT
--:-M / 7.09
3.4087E+0010 ? 1 3008
T-TT
--:-- / 7.09
3.4087E+0010 ? 1 3008
T-TT
--:-- / 7.09
CC

0
1 ? ? ?
X---
V-:-- / -10.13
3.4087E+0010 1.5230E+0011 1 3008
TTTT
--:-- / 8.11
CC

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

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

4.00 1 4.00 4.00 (confidence rate)

2.7235E+0011 ? 1 6008
T-TT
--:-M / 7.09
2.7235E+0011 ? 1 6008
T-TT
--:-- / 7.09
2.7235E+0011 ? 1 6008
T-TT
--:-- / 7.09
CC

0
DNF

0
CC

0
DNF

0
2.7235E+0011 1.2172E+0012 1 6008
TTTT
--:P- / 8.11
CC

0
4000

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

2 1 2 2 (confidence rate)

2.1774E+0012 ? 1 12008
T-TT
--:-M / 7.09
CC

0
CC

0
CC

0
CC

0
CC

0
CC

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

0
Angiogenesis — P/T (117.84 pts max)
  ITS-Tools ITS-Tools.M LTSMin Tapaal enPAC GreatSPN smart TINA.tedd 2018-Gold
Score 73.65 73.65 44.19 29.45 10.52 101.04 50.52 67.36 101.04
fastest 0 0 1 0 1 0 0 0 4
smallest memory 0 0 1 0 0 0 0 0 5
01

110 288 1 8 (expected value)

8.86 4.00 8.00 8.00 (confidence rate)

110 ? 1 8
T-TT
--:-- / 14.73
110 ? 1 8
T-TT
--:-- / 14.73
110 ? 1 8
T-TT
--:-- / 14.73
110 ? 1 8
T-TT
--:-- / 14.73
110 ? ? ?
T---
--:P- / 10.52
110 288 1 8
TTTT
--:-- / 16.84
110 288 1 8
TTTT
--:-- / 16.84
110 288 1 8
TTTT
--:-- / 16.84
110 288 1 8
TTTT
--:-M / 16.84
05

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

8.00 4.00 8.00 8.00 (confidence rate)

4.2735E+0007 ? 5 40
T-TT
--:-- / 14.73
4.2735E+0007 ? 5 40
T-TT
--:-- / 14.73
4.2735E+0007 ? 5 40
T-TT
--:P- / 14.73
4.2735E+0007 ? 5 40
T-TT
--:-- / 14.73
DNF

0
4.2735E+0007 4.8687E+0008 5 40
TTTT
--:-- / 16.84
4.2735E+0007 4.8687E+0008 5 40
TTTT
--:-- / 16.84
4.2735E+0007 4.8687E+0008 5 40
TTTT
--:-- / 16.84
4.2735E+0007 4.8687E+0008 5 40
TTTT
--:-M / 16.84
10

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

7.00 4.00 7.00 7.00 (confidence rate)

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

0
DNF

0
8.2265E+0011 1.5636E+0013 10 80
TTTT
--:-- / 16.84
8.2265E+0011 1.5636E+0013 10 80
TTTT
--:-- / 16.84
8.2265E+0011 1.5636E+0013 10 80
TTTT
--:-- / 16.84
8.2265E+0011 1.5636E+0013 10 80
TTTT
--:P- / 16.84
15

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

5.00 3.00 5.00 5.00 (confidence rate)

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

0
CC

0
DNF

0
1.1155E+0015 2.7474E+0016 15 120
TTTT
--:-- / 16.84
CC

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

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

4.00 2.00 4.00 4.00 (confidence rate)

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

0
CC

0
DNF

0
3.5182E+0017 1.0195E+0019 20 160
TTTT
--:-- / 16.84
CC

0
DNF

0
3.5182E+0017 1.0195E+0019 20 160
TTTT
--:PM / 16.84
25

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

2.00 2.00 2.00 2.00 (confidence rate)

DNF

0
CC

0
DNF

0
CC

0
DNF

0
4.3090E+0019 1.3984E+0021 25 200
TTTT
--:-- / 16.84
CC

0
DNF

0
4.3090E+0019 1.3984E+0021 25 200
TTTT
--:PM / 16.84
50

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNF

0
CC

0
DNF

0
DNF

0
CC

0
DNF

0
DNF

0
AutoFlight — P/T (151.00 pts max)
  ITS-Tools ITS-Tools.M LTSMin Tapaal enPAC GreatSPN smart TINA.tedd 2018-Gold
Score 79.31 72.70 66.09 39.66 9.44 112.30 75.50 105.70 112.30
fastest 0 0 5 1 1 0 0 0 8
smallest memory 0 0 9 1 0 4 0 0 1
01a

253 1120 1 9 (expected value)

8.86 4.00 8.00 8.00 (confidence rate)

253 ? 1 9
T-TT
--:-- / 6.61
253 ? 1 9
T-TT
--:-- / 6.61
253 ? 1 9
T-TT
--:-- / 6.61
253 ? 1 9
T-TT
--:-M / 6.61
253 ? ? ?
T---
--:P- / 4.72
253 1120 1 9
TTTT
--:-- / 7.55
253 1120 1 9
TTTT
--:-- / 7.55
253 1120 1 9
TTTT
--:-- / 7.55
253 1120 1 9
TTTT
--:-- / 7.55
01b

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

8.00 4.00 8.00 8.00 (confidence rate)

4.8882E+0007 ? 1 9
T-TT
--:-- / 6.61
4.8882E+0007 ? 1 9
T-TT
--:-- / 6.61
4.8882E+0007 ? 1 9
T-TT
--:PM / 6.61
4.8882E+0007 ? 1 9
T-TT
--:-- / 6.61
DNF

0
4.8882E+0007 3.5442E+0008 1 9
TTTT
--:-- / 7.55
4.8882E+0007 3.5442E+0008 1 9
TTTT
--:-- / 7.55
4.8882E+0007 3.5442E+0008 1 9
TTTT
--:-- / 7.55
4.8882E+0007 3.5442E+0008 1 9
TTTT
--:-- / 7.55
02a

6949 55285 1 15 (expected value)

8.86 4.00 8.00 8.00 (confidence rate)

6949 ? 1 15
T-TT
--:-- / 6.61
6949 ? 1 15
T-TT
--:-- / 6.61
6949 ? 1 15
T-TT
--:-M / 6.61
6949 ? 1 15
T-TT
--:P- / 6.61
6949 ? ? ?
T---
--:-- / 4.72
6949 55285 1 15
TTTT
--:-- / 7.55
6949 55285 1 15
TTTT
--:-- / 7.55
6949 55285 1 15
TTTT
--:-- / 7.55
6949 55285 1 15
TTTT
--:-- / 7.55
02b

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

7.00 4.00 7.00 7.00 (confidence rate)

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

0
DNF

0
1.6155E+0013 2.0351E+0014 1 15
TTTT
--:-- / 7.55
1.6155E+0013 2.0351E+0014 1 15
TTTT
--:-- / 7.55
1.6155E+0013 2.0351E+0014 1 15
TTTT
--:-- / 7.55
1.6155E+0013 2.0351E+0014 1 15
TTTT
--:-- / 7.55
03a

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

8.00 4.00 8.00 8.00 (confidence rate)

1.5768E+0005 ? 1 21
T-TT
--:-- / 6.61
1.5768E+0005 ? 1 21
T-TT
--:-- / 6.61
1.5768E+0005 ? 1 21
T-TT
--:PM / 6.61
1.5768E+0005 ? 1 21
T-TT
--:-- / 6.61
DNF

0
1.5768E+0005 1.8212E+0006 1 21
TTTT
--:-- / 7.55
1.5768E+0005 1.8212E+0006 1 21
TTTT
--:-- / 7.55
1.5768E+0005 1.8212E+0006 1 21
TTTT
--:-- / 7.55
1.5768E+0005 1.8212E+0006 1 21
TTTT
--:-- / 7.55
03b

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

6.00 3.00 6.00 6.00 (confidence rate)

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

0
DNF

0
4.0962E+0018 7.3643E+0019 1 21
TTTT
--:-- / 7.55
DNF

0
4.0962E+0018 7.3643E+0019 1 21
TTTT
--:-- / 7.55
4.0962E+0018 7.3643E+0019 1 21
TTTT
--:P- / 7.55
04a

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

8.00 4.00 8.00 8.00 (confidence rate)

3.3320E+0006 ? 1 27
T-TT
--:-- / 6.61
3.3320E+0006 ? 1 27
T-TT
--:-- / 6.61
3.3320E+0006 ? 1 27
T-TT
--:PM / 6.61
3.3320E+0006 ? 1 27
T-TT
--:-- / 6.61
DNF

0
3.3320E+0006 5.0619E+0007 1 27
TTTT
--:-- / 7.55
3.3320E+0006 5.0619E+0007 1 27
TTTT
--:-- / 7.55
3.3320E+0006 5.0619E+0007 1 27
TTTT
--:-- / 7.55
3.3320E+0006 5.0619E+0007 1 27
TTTT
--:-- / 7.55
04b

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

5.00 3.00 5.00 5.00 (confidence rate)

CC

0
9.0465E+0023 ? 1 27
T-TT
--:-- / 6.61
9.0465E+0023 ? 1 27
T-TT
--:-M / 6.61
CC

0
DNF

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

0
9.0465E+0023 2.1140E+0025 1 27
TTTT
--:-- / 7.55
9.0465E+0023 2.1140E+0025 1 27
TTTT
--:P- / 7.55
05a

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

8.00 4.00 8.00 8.00 (confidence rate)

6.8180E+0007 ? 1 33
T-TT
--:-- / 6.61
6.8180E+0007 ? 1 33
T-TT
--:-- / 6.61
6.8180E+0007 ? 1 33
T-TT
--:PM / 6.61
6.8180E+0007 ? 1 33
T-TT
--:-- / 6.61
DNF

0
6.8180E+0007 1.2862E+0009 1 33
TTTT
--:-- / 7.55
6.8180E+0007 1.2862E+0009 1 33
TTTT
--:-- / 7.55
6.8180E+0007 1.2862E+0009 1 33
TTTT
--:-- / 7.55
6.8180E+0007 1.2862E+0009 1 33
TTTT
--:-- / 7.55
05b

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

3.00 1 3.00 3.00 (confidence rate)

CC

0
CC

0
DNF

0
CC

0
DNF

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

0
1.8382E+0029 5.2864E+0030 1 33
TTTT
--:-- / 7.55
1.8382E+0029 ? 1 33
T-TT
--:P- / 6.61
06a

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

7.00 4.00 7.00 7.00 (confidence rate)

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

0
DNF

0
1.3719E+0009 3.0943E+0010 1 39
TTTT
--:-- / 7.55
1.3719E+0009 3.0943E+0010 1 39
TTTT
--:-- / 7.55
1.3719E+0009 3.0943E+0010 1 39
TTTT
--:-- / 7.55
1.3719E+0009 3.0943E+0010 1 39
TTTT
--:P- / 7.55
06b

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
12a

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

6.00 4.00 6.00 6.00 (confidence rate)

7.8221E+0016 ? 1 75
T-TT
--:-- / 6.61
7.8221E+0016 ? 1 75
T-TT
--:-- / 6.61
DNF

0
CC

0
DNF

0
7.8221E+0016 3.4975E+0018 1 75
TTTT
--:-M / 7.55
7.8221E+0016 3.4975E+0018 1 75
TTTT
--:-- / 7.55
7.8221E+0016 3.4975E+0018 1 75
TTTT
--:-- / 7.55
7.8221E+0016 3.4975E+0018 1 75
TTTT
--:P- / 7.55
12b

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
24a

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

5.00 4.00 5.00 5.00 (confidence rate)

1.6997E+0032 ? 1 147
T-TT
--:-- / 6.61
CC

0
DNF

0
CC

0
DNF

0
1.6997E+0032 1.5091E+0034 1 147
TTTT
--:-M / 7.55
1.6997E+0032 1.5091E+0034 1 147
TTTT
--:-- / 7.55
1.6997E+0032 1.5091E+0034 1 147
TTTT
--:-- / 7.55
1.6997E+0032 1.5091E+0034 1 147
TTTT
--:P- / 7.55
24b

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
48a

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

4.00 3.00 4.00 4.00 (confidence rate)

1.6136E+0051 ? 1 257
T-TT
--:-- / 6.61
CC

0
DNF

0
CC

0
DNF

0
1.6136E+0051 2.3370E+0053 1 257
TTTT
--:-M / 7.55
DNF

0
1.6136E+0051 2.3370E+0053 1 257
TTTT
--:-- / 7.55
1.6136E+0051 2.3370E+0053 1 257
TTTT
--:P- / 7.55
48b

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
96a

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

2.00 2.00 2.00 2.00 (confidence rate)

CC

0
CC

0
DNF

0
CC

0
DNF

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

0
DNF

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

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
BART — Colored (70.40 pts max)
  ITS-Tools ITS-Tools.M LTSMin Tapaal enPAC GreatSPN smart TINA.tedd 2018-Gold
Score 61.59 61.59 0.00 0.00 0.00 0.00 0.00 70.40 0.00
fastest 1 1 0 0 0 0 0 6 0
smallest memory 6 2 0 0 0 0 0 0 0
002

17424 53328 1 274 (expected value)

3.00 1 3.00 3.00 (confidence rate)

17424 ? 1 274
T-TT
--:-- / 7.70
17424 ? 1 274
T-TT
--:-M / 7.70
DNC CC

0
DNC DNF

0
DNC 17424 53328 1 274
TTTT
--:P- / 8.80
DNF

0
005

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

3.00 1 3.00 3.00 (confidence rate)

4.0075E+0010 ? 1 277
T-TT
--:-- / 7.70
4.0075E+0010 ? 1 277
T-TT
--:-M / 7.70
DNC CC

0
DNC DNF

0
DNC 4.0075E+0010 3.0663E+0011 1 277
TTTT
--:P- / 8.80
DNF

0
010

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

3.00 1 3.00 3.00 (confidence rate)

1.6060E+0021 ? 1 282
T-TT
--:-M / 7.70
1.6060E+0021 ? 1 282
T-TT
--:-- / 7.70
DNC CC

0
DNC DNF

0
DNC 1.6060E+0021 2.4576E+0022 1 282
TTTT
--:P- / 8.80
DNF

0
020

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

3.00 1 3.00 3.00 (confidence rate)

2.5792E+0042 ? 1 292
T-TT
--:-M / 7.70
2.5792E+0042 ? 1 292
T-TT
--:-- / 7.70
DNC CC

0
DNC DNF

0
DNC 2.5792E+0042 7.8938E+0043 1 292
TTTT
--:P- / 8.80
DNF

0
030

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

3.00 1 3.00 3.00 (confidence rate)

4.1421E+0063 ? 1 302
T-TT
--:PM / 7.70
4.1421E+0063 ? 1 302
T-TT
--:-- / 7.70
DNC CC

0
DNC DNF

0
DNC 4.1421E+0063 1.9016E+0065 1 302
TTTT
--:-- / 8.80
DNF

0
040

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

3.00 1 3.00 3.00 (confidence rate)

6.6521E+0084 ? 1 312
T-TT
--:-M / 7.70
6.6521E+0084 ? 1 312
T-TT
--:-- / 7.70
DNC CC

0
DNC DNF

0
DNC 6.6521E+0084 4.0719E+0086 1 312
TTTT
--:P- / 8.80
DNF

0
050

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

3.00 1 3.00 3.00 (confidence rate)

1.0683E+0106 ? 1 322
T-TT
--:-M / 7.70
1.0683E+0106 ? 1 322
T-TT
--:-- / 7.70
DNC CC

0
DNC DNF

0
DNC 1.0683E+0106 8.1742E+0107 1 322
TTTT
--:P- / 8.80
DNF

0
060

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

3.00 1 3.00 3.00 (confidence rate)

1.7157E+0127 ? 1 332
T-TT
--:-M / 7.70
1.7157E+0127 ? 1 332
T-TT
--:P- / 7.70
DNC CC

0
DNC DNF

0
DNC 1.7157E+0127 1.5753E+0129 1 332
TTTT
--:-- / 8.80
DNF

0
BART — P/T (70.40 pts max)
  ITS-Tools ITS-Tools.M LTSMin Tapaal enPAC GreatSPN smart TINA.tedd 2018-Gold
Score 15.40 15.40 15.40 7.70 -5.50 70.40 8.80 70.40 70.40
fastest 0 0 0 1 0 0 0 2 5
smallest memory 0 0 0 0 0 2 0 0 6
002

17424 53328 1 212 (expected value)

8.86 4.00 8.00 8.00 (confidence rate)

17424 ? 1 212
T-TT
--:-- / 7.70
17424 ? 1 212
T-TT
--:-- / 7.70
17424 ? 1 212
T-TT
--:-- / 7.70
17424 ? 1 212
T-TT
--:P- / 7.70
17424 ? ? ?
T---
--:-- / 5.50
17424 53328 1 212
TTTT
--:-- / 8.80
17424 53328 1 212
TTTT
--:-- / 8.80
17424 53328 1 212
TTTT
--:-- / 8.80
17424 53328 1 212
TTTT
--:-M / 8.80
005

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

6.00 3.00 6.00 6.00 (confidence rate)

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

0
DNF

0
4.0075E+0010 3.0663E+0011 1 215
TTTT
--:-- / 8.80
DNF

0
4.0075E+0010 3.0663E+0011 1 215
TTTT
--:-- / 8.80
4.0075E+0010 3.0663E+0011 1 215
TTTT
--:PM / 8.80
010

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

3.00 3.00 3.00 3.00 (confidence rate)

CC

0
CC

0
DNF

0
CC

0
DNF

0
1.6060E+0021 2.4576E+0022 1 220
TTTT
--:-M / 8.80
DNF

0
1.6060E+0021 2.4576E+0022 1 220
TTTT
--:-- / 8.80
1.6060E+0021 2.4576E+0022 1 220
TTTT
--:P- / 8.80
020

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

3.00 3.00 3.00 3.00 (confidence rate)

CC

0
CC

0
DNF

0
CC

0
DNF

0
2.5792E+0042 7.8938E+0043 1 230
TTTT
--:-M / 8.80
DNF

0
2.5792E+0042 7.8938E+0043 1 230
TTTT
--:P- / 8.80
2.5792E+0042 7.8938E+0043 1 230
TTTT
--:-- / 8.80
030

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

3.00 3.00 3.00 3.00 (confidence rate)

CC

0
CC

0
DNF

0
CC

0
DNF

0
4.1421E+0063 1.9016E+0065 1 240
TTTT
--:-- / 8.80
DNF

0
4.1421E+0063 1.9016E+0065 1 240
TTTT
--:P- / 8.80
4.1421E+0063 1.9016E+0065 1 240
TTTT
--:-M / 8.80
040

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

3.00 3.00 3.00 3.00 (confidence rate)

CC

0
CC

0
DNF

0
CC

0
CC

0
6.6521E+0084 4.0719E+0086 1 250
TTTT
--:-- / 8.80
DNF

0
6.6521E+0084 4.0719E+0086 1 250
TTTT
--:-- / 8.80
6.6521E+0084 4.0719E+0086 1 250
TTTT
--:PM / 8.80
050

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

3.00 3.00 3.00 3.00 (confidence rate)

CC

0
CC

0
DNF

0
CC

0
1 ? ? ?
X---
V-:-- / -11.00
1.0683E+0106 8.1742E+0107 1 260
TTTT
--:-- / 8.80
DNF

0
1.0683E+0106 8.1742E+0107 1 260
TTTT
--:-- / 8.80
1.0683E+0106 8.1742E+0107 1 260
TTTT
--:PM / 8.80
060

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

3.00 3.00 3.00 3.00 (confidence rate)

CC

0
CC

0
CC

0
CC

0
CC

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

0
1.7157E+0127 1.5753E+0129 1 270
TTTT
--:-- / 8.80
1.7157E+0127 1.5753E+0129 1 270
TTTT
--:PM / 8.80
BridgeAndVehicles — Colored (101.00 pts max)
  ITS-Tools ITS-Tools.M LTSMin Tapaal enPAC GreatSPN smart TINA.tedd 2018-Gold
Score 35.36 26.52 0.00 44.20 0.00 87.12 0.00 90.90 95.95
fastest 0 0 0 2 0 0 0 8 10
smallest memory 0 0 0 6 0 3 0 0 11
V04P05N02

2874 7160 5 17 (expected value)

6.00 3.00 6.00 6.00 (confidence rate)

2874 ? 5 17
T-TT
--:-- / 4.41
2874 ? 5 17
T-TT
--:-- / 4.41
DNC 2874 ? 5 17
T-TT
--:PM / 4.41
DNC 2874 7160 5 17
TTTT
--:-- / 5.05
DNC 2874 7160 5 17
TTTT
--:-- / 5.05
2874 7160 5 17
TTTT
--:-- / 5.05
V10P10N10

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

6.00 3.00 6.00 6.00 (confidence rate)

2.5956E+0005 ? 10 34
T-TT
--:-- / 4.41
2.5956E+0005 ? 10 34
T-TT
--:-- / 4.41
DNC 2.5956E+0005 ? 10 34
T-TT
--:PM / 4.41
DNC 2.5956E+0005 8.2128E+0005 10 34
TTTT
--:-- / 5.05
DNC 2.5956E+0005 8.2128E+0005 10 34
TTTT
--:-- / 5.05
2.5956E+0005 8.2128E+0005 10 34
TTTT
--:-- / 5.05
V20P10N10

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

6.00 3.00 6.00 6.00 (confidence rate)

6.7326E+0006 ? 20 54
T-TT
--:-- / 4.41
6.7326E+0006 ? 20 54
T-TT
--:-- / 4.41
DNC 6.7326E+0006 ? 20 54
T-TT
--:-- / 4.41
DNC 6.7326E+0006 2.3489E+0007 20 54
TTTT
--:-M / 5.05
DNC 6.7326E+0006 2.3489E+0007 20 54
TTTT
--:-- / 5.05
6.7326E+0006 2.3489E+0007 20 54
TTTT
--:P- / 5.05
V20P10N20

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

5.00 3.00 5.00 5.00 (confidence rate)

9.0763E+0006 ? 20 54
T-TT
--:-- / 4.41
CC

0
DNC 9.0763E+0006 ? 20 54
T-TT
--:-M / 4.41
DNC 9.0763E+0006 3.1773E+0007 20 54
TTTT
--:-- / 5.05
DNC 9.0763E+0006 3.1773E+0007 20 54
TTTT
--:-- / 5.05
9.0763E+0006 3.1773E+0007 20 54
TTTT
--:P- / 5.05
V20P10N50

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

6.00 3.00 6.00 6.00 (confidence rate)

9.0809E+0006 ? 20 54
T-TT
--:-- / 4.41
9.0809E+0006 ? 20 54
T-TT
--:-- / 4.41
DNC 9.0809E+0006 ? 20 54
T-TT
--:-M / 4.41
DNC 9.0809E+0006 3.1786E+0007 20 54
TTTT
--:-- / 5.05
DNC 9.0809E+0006 3.1786E+0007 20 54
TTTT
--:-- / 5.05
9.0809E+0006 3.1786E+0007 20 54
TTTT
--:P- / 5.05
V20P20N10

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

6.00 3.00 6.00 6.00 (confidence rate)

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

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

5.00 3.00 5.00 5.00 (confidence rate)

9.7836E+0006 ? 20 64
T-TT
--:-- / 4.41
CC

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

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

6.00 3.00 6.00 6.00 (confidence rate)

9.7923E+0006 ? 20 64
T-TT
--:-- / 4.41
9.7923E+0006 ? 20 64
T-TT
--:-- / 4.41
DNC 9.7923E+0006 ? 20 64
T-TT
--:-M / 4.41
DNC 9.7923E+0006 3.4346E+0007 20 64
TTTT
--:-- / 5.05
DNC 9.7923E+0006 3.4346E+0007 20 64
TTTT
--:-- / 5.05
9.7923E+0006 3.4346E+0007 20 64
TTTT
--:P- / 5.05
V50P20N10

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

4.00 3.00 4.00 4.00 (confidence rate)

DNF

0
CC

0
DNC 3.4763E+0008 ? 50 124
T-TT
--:-- / 4.41
DNC 3.4763E+0008 1.2717E+0009 50 124
TTTT
--:-- / 5.05
DNC 3.4763E+0008 1.2717E+0009 50 124
TTTT
--:P- / 5.05
3.4763E+0008 1.2717E+0009 50 124
TTTT
--:-M / 5.05
V50P20N20

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

3.00 3.00 3.00 3.00 (confidence rate)

DNF

0
CC

0
DNC CC

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

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

2.00 1 2.00 2.00 (confidence rate)

DNF

0
CC

0
DNC CC

0
DNC DNF

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

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

4.00 3.00 4.00 4.00 (confidence rate)

DNF

0
CC

0
DNC 3.4763E+0008 ? 50 154
T-TT
--:-- / 4.41
DNC 3.4763E+0008 1.2717E+0009 50 154
TTTT
--:-- / 5.05
DNC 3.4763E+0008 1.2717E+0009 50 154
TTTT
--:P- / 5.05
3.4763E+0008 1.2717E+0009 50 154
TTTT
--:-M / 5.05
V50P50N20

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

3.00 1 3.00 3.00 (confidence rate)

DNF

0
CC

0
DNC CC

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

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

2.00 1 2.00 2.00 (confidence rate)

DNF

0
CC

0
DNC CC

0
DNC DNF

0
DNC 1.6769E+0009 6.3374E+0009 50 154
TTTT
--:-- / 5.05
1.6769E+0009 ? 50 154
T-TT
--:PM / 4.41
V80P20N10

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

3.00 3.00 3.00 3.00 (confidence rate)

DNF

0
CC

0
DNC CC

0
DNC 2.4329E+0009 8.9934E+0009 80 184
TTTT
--:-- / 5.05
DNC 2.4329E+0009 8.9934E+0009 80 184
TTTT
--:P- / 5.05
2.4329E+0009 8.9934E+0009 80 184
TTTT
--:-M / 5.05
V80P20N20

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

3.00 1 3.00 3.00 (confidence rate)

DNF

0
CC

0
DNC CC

0
DNC 7.0996E+0009 ? 80 184
T-TT
--:-- / 4.41
DNC 7.0996E+0009 2.6974E+0010 80 184
TTTT
--:P- / 5.05
7.0996E+0009 ? 80 184
T-TT
--:-M / 4.41
V80P20N50

1.6235E+0010 ? 80 184 (expected value)

2.00 0 2.00 2.00 (confidence rate)

DNF

0
CC

0
DNC CC

0
DNC 1.6235E+0010 ? 80 184
T?TT
--:-M / 4.41
DNC DNF

0
1.6235E+0010 ? 80 184
T?TT
--:P- / 4.41
V80P50N10

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

3.00 1 3.00 3.00 (confidence rate)

DNF

0
CC

0
DNC CC

0
DNC 2.4329E+0009 ? 80 214
T-TT
--:-- / 4.41
DNC 2.4329E+0009 8.9934E+0009 80 214
TTTT
--:P- / 5.05
2.4329E+0009 ? 80 214
T-TT
--:-M / 4.41
V80P50N20

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

3.00 1 3.00 3.00 (confidence rate)

DNF

0
CC

0
DNC CC

0
DNC 7.0996E+0009 ? 80 214
T-TT
--:-- / 4.41
DNC 7.0996E+0009 2.6974E+0010 80 214
TTTT
--:P- / 5.05
7.0996E+0009 ? 80 214
T-TT
--:-M / 4.41
V80P50N50

2.1619E+0010 ? 80 214 (expected value)

2.00 0 2.00 2.00 (confidence rate)

DNF

0
CC

0
DNC CC

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

0
2.1619E+0010 ? 80 214
T?TT
--:PM / 4.41
BridgeAndVehicles — P/T (101.00 pts max)
  ITS-Tools ITS-Tools.M LTSMin Tapaal enPAC GreatSPN smart TINA.tedd 2018-Gold
Score 17.68 26.52 26.52 44.20 3.16 91.54 19.56 90.90 95.95
fastest 0 0 0 0 0 0 0 8 12
smallest memory 0 0 0 4 0 2 0 0 14
V04P05N02

2874 7160 5 17 (expected value)

8.86 4.00 8.00 8.00 (confidence rate)

2874 ? 5 17
T-TT
--:-- / 4.41
2874 ? 5 17
T-TT
--:-- / 4.41
2874 ? 5 17
T-TT
--:-- / 4.41
2874 ? 5 17
T-TT
--:-- / 4.41
2874 ? ? ?
T---
--:-- / 3.16
2874 7160 5 17
TTTT
--:-M / 5.05
2874 7160 5 17
TTTT
--:-- / 5.05
2874 7160 5 17
TTTT
--:-- / 5.05
2874 7160 5 17
TTTT
--:P- / 5.05
V10P10N10

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

8.00 4.00 8.00 8.00 (confidence rate)

2.5956E+0005 ? 10 34
T-TT
--:-- / 4.41
2.5956E+0005 ? 10 34
T-TT
--:-- / 4.41
2.5956E+0005 ? 10 34
T-TT
--:-- / 4.41
2.5956E+0005 ? 10 34
T-TT
--:-- / 4.41
DNF

0
2.5956E+0005 8.2128E+0005 10 34
TTTT
--:-- / 5.05
2.5956E+0005 8.2128E+0005 10 34
TTTT
--:-- / 5.05
2.5956E+0005 8.2128E+0005 10 34
TTTT
--:-- / 5.05
2.5956E+0005 8.2128E+0005 10 34
TTTT
--:PM / 5.05
V20P10N10

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

8.00 4.00 8.00 8.00 (confidence rate)

6.7326E+0006 ? 20 54
T-TT
--:-- / 4.41
6.7326E+0006 ? 20 54
T-TT
--:-- / 4.41
6.7326E+0006 ? 20 54
T-TT
--:-- / 4.41
6.7326E+0006 ? 20 54
T-TT
--:-- / 4.41
DNF

0
6.7326E+0006 2.3489E+0007 20 54
TTTT
--:-- / 5.05
6.7326E+0006 2.3489E+0007 20 54
TTTT
--:-- / 5.05
6.7326E+0006 2.3489E+0007 20 54
TTTT
--:-- / 5.05
6.7326E+0006 2.3489E+0007 20 54
TTTT
--:PM / 5.05
V20P10N20

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

5.00 3.00 5.00 5.00 (confidence rate)

DNF

0
CC

0
9.0763E+0006 ? 20 54
T-TT
--:-- / 4.41
9.0763E+0006 ? 20 54
T-TT
--:-M / 4.41
DNF

0
9.0763E+0006 3.1773E+0007 20 54
TTTT
--:-- / 5.05
DNF

0
9.0763E+0006 3.1773E+0007 20 54
TTTT
--:-- / 5.05
9.0763E+0006 3.1773E+0007 20 54
TTTT
--:P- / 5.05
V20P10N50

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

5.00 3.00 5.00 5.00 (confidence rate)

CC

0
9.0809E+0006 ? 20 54
T-TT
--:-- / 4.41
DNF

0
9.0809E+0006 ? 20 54
T-TT
--:-M / 4.41
DNF

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

0
9.0809E+0006 3.1786E+0007 20 54
TTTT
--:-- / 5.05
9.0809E+0006 3.1786E+0007 20 54
TTTT
--:P- / 5.05
V20P20N10

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

7.00 3.00 7.00 7.00 (confidence rate)

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

0
6.7326E+0006 2.3489E+0007 20 64
TTTT
--:-- / 5.05
DNF

0
6.7326E+0006 2.3489E+0007 20 64
TTTT
--:-- / 5.05
6.7326E+0006 2.3489E+0007 20 64
TTTT
--:PM / 5.05
V20P20N20

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

6.00 3.00 6.00 6.00 (confidence rate)

DNF

0
CC

0
9.7836E+0006 ? 20 64
T-TT
--:-- / 4.41
9.7836E+0006 ? 20 64
T-TT
--:-M / 4.41
DNF

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

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

5.00 3.00 5.00 5.00 (confidence rate)

CC

0
9.7923E+0006 ? 20 64
T-TT
--:-- / 4.41
DNF

0
9.7923E+0006 ? 20 64
T-TT
--:-M / 4.41
DNF

0
9.7923E+0006 3.4346E+0007 20 64
TTTT
--:-- / 5.05
DNF

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

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

4.00 3.00 4.00 4.00 (confidence rate)

CC

0
CC

0
DNF

0
3.4763E+0008 ? 50 124
T-TT
--:-- / 4.41
DNF

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

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

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

3.00 3.00 3.00 3.00 (confidence rate)

CC

0
CC

0
DNF

0
CC

0
DNF

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

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

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

3.00 1 3.00 3.00 (confidence rate)

CC

0
CC

0
DNF

0
CC

0
DNF

0
1.4546E+0009 ? 50 124
T-TT
--:-- / 4.41
DNF

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

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

4.00 3.00 4.00 4.00 (confidence rate)

CC

0
CC

0
DNF

0
3.4763E+0008 ? 50 154
T-TT
--:-- / 4.41
DNF

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

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

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

3.00 1 3.00 3.00 (confidence rate)

CC

0
CC

0
DNF

0
CC

0
DNF

0
8.9629E+0008 ? 50 154
T-TT
--:-- / 4.41
DNF

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

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

2.00 1 2.00 2.00 (confidence rate)

CC

0
CC

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
1.6769E+0009 6.3374E+0009 50 154
TTTT
--:-- / 5.05
1.6769E+0009 ? 50 154
T-TT
--:PM / 4.41
V80P20N10

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

3.00 3.00 3.00 3.00 (confidence rate)

CC

0
CC

0
DNF

0
CC

0
DNF

0
2.4329E+0009 8.9934E+0009 80 184
TTTT
--:-- / 5.05
DNF

0
2.4329E+0009 8.9934E+0009 80 184
TTTT
--:P- / 5.05
2.4329E+0009 8.9934E+0009 80 184
TTTT
--:-M / 5.05
V80P20N20

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

3.00 1 3.00 3.00 (confidence rate)

CC

0
CC

0
DNF

0
CC

0
DNF

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

0
7.0996E+0009 2.6974E+0010 80 184
TTTT
--:P- / 5.05
7.0996E+0009 ? 80 184
T-TT
--:-M / 4.41
V80P20N50

1.6235E+0010 ? 80 184 (expected value)

2.00 0 2.00 2.00 (confidence rate)

CC

0
CC

0
DNF

0
CC

0
DNF

0
1.6235E+0010 ? 80 184
T?TT
--:-M / 4.41
DNF

0
DNF

0
1.6235E+0010 ? 80 184
T?TT
--:P- / 4.41
V80P50N10

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

3.00 1 3.00 3.00 (confidence rate)

CC

0
CC

0
DNF

0
CC

0
DNF

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

0
2.4329E+0009 8.9934E+0009 80 214
TTTT
--:P- / 5.05
2.4329E+0009 ? 80 214
T-TT
--:-M / 4.41
V80P50N20

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

3.00 1 3.00 3.00 (confidence rate)

CC

0
CC

0
DNF

0
CC

0
DNF

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

0
7.0996E+0009 2.6974E+0010 80 214
TTTT
--:P- / 5.05
7.0996E+0009 ? 80 214
T-TT
--:-M / 4.41
V80P50N50

2.1619E+0010 ? 80 214 (expected value)

2.00 0 2.00 2.00 (confidence rate)

CC

0
CC

0
DNF

0
CC

0
DNF

0
2.1619E+0010 ? 80 214
T?TT
--:-- / 4.41
DNF

0
DNF

0
2.1619E+0010 ? 80 214
T?TT
--:PM / 4.41
CSRepetitions — Colored (65.30 pts max)
  ITS-Tools ITS-Tools.M LTSMin Tapaal enPAC GreatSPN smart TINA.tedd 2018-Gold
Score 28.55 38.08 0.00 19.04 0.00 54.40 0.00 21.76 54.40
fastest 0 0 0 1 0 1 0 0 3
smallest memory 0 0 0 1 0 2 0 0 2
02

7424 37088 2 8 (expected value)

6.00 3.00 6.00 6.00 (confidence rate)

7424 ? 2 8
T-TT
--:-- / 9.52
7424 ? 2 8
T-TT
--:-- / 9.52
DNC 7424 ? 2 8
T-TT
--:PM / 9.52
DNC 7424 37088 2 8
TTTT
--:-- / 10.88
DNC 7424 37088 2 8
TTTT
--:-- / 10.88
7424 37088 2 8
TTTT
--:-- / 10.88
03

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

6.00 3.00 6.00 6.00 (confidence rate)

1.3407E+0008 ? 3 15
T-TT
--:-- / 9.52
1.3407E+0008 ? 3 15
T-TT
--:-- / 9.52
DNC 1.3407E+0008 ? 3 15
T-TT
--:-- / 9.52
DNC 1.3407E+0008 1.2939E+0009 3 15
TTTT
--:PM / 10.88
DNC 1.3407E+0008 1.2939E+0009 3 15
TTTT
--:-- / 10.88
1.3407E+0008 1.2939E+0009 3 15
TTTT
--:-- / 10.88
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
--:-- / 9.52
3.0948E+0013 ? 4 24
T-TT
--:-- / 9.52
DNC CC

0
DNC 3.0948E+0013 4.7136E+0014 4 24
TTTT
--:-M / 10.88
DNC DNF

0
3.0948E+0013 4.7136E+0014 4 24
TTTT
--:P- / 10.88
05

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

3.00 2.00 3.00 3.00 (confidence rate)

CC

0
6.5491E+0019 ? 5 35
T-TT
--:-- / 9.52
DNC CC

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

0
6.5491E+0019 1.4258E+0021 5 35
TTTT
--:PM / 10.88
07

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

2.00 2.00 2.00 2.00 (confidence rate)

CC

0
CC

0
DNC CC

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

0
1.1507E+0035 4.3513E+0036 7 63
TTTT
--:PM / 10.88
10

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNC CC

0
DNC DNF

0
DNC DNF

0
DNF

0
CSRepetitions — P/T (65.30 pts max)
  ITS-Tools ITS-Tools.M LTSMin Tapaal enPAC GreatSPN smart TINA.tedd 2018-Gold
Score 28.55 38.08 28.55 19.04 -13.59 53.04 21.76 21.76 53.04
fastest 0 0 0 1 0 0 0 0 4
smallest memory 0 0 0 0 0 1 0 0 4
02

7424 37088 2 8 (expected value)

8.00 4.00 8.00 8.00 (confidence rate)

7424 ? 2 8
T-TT
--:-- / 9.52
7424 ? 2 8
T-TT
--:-- / 9.52
7424 ? 2 8
T-TT
--:-- / 9.52
7424 ? 2 8
T-TT
--:P- / 9.52
5638 ? ? ?
X---
V-:-- / -13.59
7424 37088 2 8
TTTT
--:-- / 10.88
7424 37088 2 8
TTTT
--:-- / 10.88
7424 37088 2 8
TTTT
--:-- / 10.88
7424 37088 2 8
TTTT
--:-M / 10.88
03

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

8.00 4.00 8.00 8.00 (confidence rate)

1.3407E+0008 ? 3 15
T-TT
--:-- / 9.52
1.3407E+0008 ? 3 15
T-TT
--:-- / 9.52
1.3407E+0008 ? 3 15
T-TT
--:-- / 9.52
1.3407E+0008 ? 3 15
T-TT
--:-- / 9.52
DNF

0
1.3407E+0008 1.2939E+0009 3 15
TTTT
--:-- / 10.88
1.3407E+0008 1.2939E+0009 3 15
TTTT
--:-- / 10.88
1.3407E+0008 1.2939E+0009 3 15
TTTT
--:-- / 10.88
1.3407E+0008 1.2939E+0009 3 15
TTTT
--:PM / 10.88
04

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

5.00 2.00 5.00 5.00 (confidence rate)

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

0
DNF

0
3.0948E+0013 4.7136E+0014 4 24
TTTT
--:-M / 10.88
DNF

0
DNF

0
3.0948E+0013 4.7136E+0014 4 24
TTTT
--:P- / 10.88
05

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

3.00 2.00 3.00 3.00 (confidence rate)

CC

0
6.5491E+0019 ? 5 35
T-TT
--:-- / 9.52
DNF

0
CC

0
DNF

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

0
DNF

0
6.5491E+0019 1.4258E+0021 5 35
TTTT
--:PM / 10.88
07

1.1507E+0035 ? 7 63 (expected value)

2.00 0 2.00 2.00 (confidence rate)

CC

0
CC

0
DNF

0
CC

0
DNF

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

0
DNF

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

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
CircadianClock — P/T (115.30 pts max)
  ITS-Tools ITS-Tools.M LTSMin Tapaal enPAC GreatSPN smart TINA.tedd 2018-Gold
Score 67.23 67.23 50.43 33.62 -12.01 76.88 76.88 76.88 96.09
fastest 0 0 0 0 1 0 0 0 4
smallest memory 0 0 0 0 1 0 0 0 4
000001

128 624 1 7 (expected value)

8.86 4.00 8.00 8.00 (confidence rate)

128 ? 1 7
T-TT
--:-- / 16.80
128 ? 1 7
T-TT
--:-- / 16.80
128 ? 1 7
T-TT
--:-- / 16.80
128 ? 1 7
T-TT
--:-- / 16.80
128 ? ? ?
T---
--:PM / 12.01
128 624 1 7
TTTT
--:-- / 19.22
128 624 1 7
TTTT
--:-- / 19.22
128 624 1 7
TTTT
--:-- / 19.22
128 624 1 7
TTTT
--:-- / 19.22
000010

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

8.00 4.00 8.00 8.00 (confidence rate)

6.4420E+0005 ? 10 52
T-TT
--:-- / 16.80
6.4420E+0005 ? 10 52
T-TT
--:-- / 16.80
6.4420E+0005 ? 10 52
T-TT
--:-- / 16.80
6.4420E+0005 ? 10 52
T-TT
--:-- / 16.80
DNF

0
6.4420E+0005 6.7663E+0006 10 52
TTTT
--:-- / 19.22
6.4420E+0005 6.7663E+0006 10 52
TTTT
--:-- / 19.22
6.4420E+0005 6.7663E+0006 10 52
TTTT
--:-- / 19.22
6.4420E+0005 6.7663E+0006 10 52
TTTT
--:PM / 19.22
000100

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

7.00 4.00 7.00 7.00 (confidence rate)

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

0
DNF

0
4.2040E+0010 4.9743E+0011 100 502
TTTT
--:-- / 19.22
4.2040E+0010 4.9743E+0011 100 502
TTTT
--:-- / 19.22
4.2040E+0010 4.9743E+0011 100 502
TTTT
--:-- / 19.22
4.2040E+0010 4.9743E+0011 100 502
TTTT
--:PM / 19.22
001000

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

6.00 4.00 6.00 6.00 (confidence rate)

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

0
CC

0
DNF

0
4.0200E+0015 4.8172E+0016 1000 5002
TTTT
--:-- / 19.22
4.0200E+0015 4.8172E+0016 1000 5002
TTTT
--:-- / 19.22
4.0200E+0015 4.8172E+0016 1000 5002
TTTT
--:-- / 19.22
4.0200E+0015 4.8172E+0016 1000 5002
TTTT
--:PM / 19.22
010000

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

1.00 1.00 1.00 1.00 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
5 ? ? ?
X---
V-:-- / -24.02
DNF

0
DNF

0
DNF

0
4.0020E+0020 4.8017E+0021 10000 50002
TTTT
--:PM / 19.22
100000

? (expected value)

0 (confidence rate)

CC

0
CC

0
CC

0
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
CircularTrains — P/T (117.84 pts max)
  ITS-Tools ITS-Tools.M LTSMin Tapaal enPAC GreatSPN smart TINA.tedd 2018-Gold
Score 103.11 88.38 103.11 29.45 21.04 117.88 101.04 101.04 117.88
fastest 0 0 4 0 1 0 0 0 2
smallest memory 0 0 3 0 1 0 0 0 3
012

195 496 2 12 (expected value)

8.86 4.00 8.00 8.00 (confidence rate)

195 ? 2 12
T-TT
--:-- / 14.73
195 ? 2 12
T-TT
--:-- / 14.73
195 ? 2 12
T-TT
--:-- / 14.73
195 ? 2 12
T-TT
--:-- / 14.73
195 ? ? ?
T---
--:PM / 10.52
195 496 2 12
TTTT
--:-- / 16.84
195 496 2 12
TTTT
--:-- / 16.84
195 496 2 12
TTTT
--:-- / 16.84
195 496 2 12
TTTT
--:-- / 16.84
024

86515 4.1168E+0005 2 24 (expected value)

8.86 4.00 8.00 8.00 (confidence rate)

86515 ? 2 24
T-TT
--:-- / 14.73
86515 ? 2 24
T-TT
--:-- / 14.73
86515 ? 2 24
T-TT
--:PM / 14.73
86515 ? 2 24
T-TT
--:-- / 14.73
86515 ? ? ?
T---
--:-- / 10.52
86515 4.1168E+0005 2 24
TTTT
--:-- / 16.84
86515 4.1168E+0005 2 24
TTTT
--:-- / 16.84
86515 4.1168E+0005 2 24
TTTT
--:-- / 16.84
86515 4.1168E+0005 2 24
TTTT
--:-- / 16.84
048

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

7.00 4.00 7.00 7.00 (confidence rate)

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

0
DNF

0
2.3973E+0010 2.2124E+0011 2 48
TTTT
--:-- / 16.84
2.3973E+0010 2.2124E+0011 2 48
TTTT
--:-- / 16.84
2.3973E+0010 2.2124E+0011 2 48
TTTT
--:-- / 16.84
2.3973E+0010 2.2124E+0011 2 48
TTTT
--:-- / 16.84
096

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

7.00 4.00 7.00 7.00 (confidence rate)

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

0
DNF

0
2.5913E+0021 4.7121E+0022 2 96
TTTT
--:-- / 16.84
2.5913E+0021 4.7121E+0022 2 96
TTTT
--:-- / 16.84
2.5913E+0021 4.7121E+0022 2 96
TTTT
--:-- / 16.84
2.5913E+0021 4.7121E+0022 2 96
TTTT
--:-- / 16.84
192

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

7.00 4.00 7.00 7.00 (confidence rate)

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

0
DNF

0
4.2702E+0043 1.5416E+0045 2 192
TTTT
--:-- / 16.84
4.2702E+0043 1.5416E+0045 2 192
TTTT
--:-- / 16.84
4.2702E+0043 1.5416E+0045 2 192
TTTT
--:-- / 16.84
4.2702E+0043 1.5416E+0045 2 192
TTTT
--:-M / 16.84
384

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

7.00 4.00 7.00 7.00 (confidence rate)

1.6377E+0088 ? 2 384
T-TT
--:-- / 14.73
1.6377E+0088 ? 2 384
T-TT
--:-- / 14.73
1.6377E+0088 ? 2 384
T-TT
--:-- / 14.73
CC

0
DNF

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

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

4.00 2.00 4.00 4.00 (confidence rate)

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

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

0
DNF

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

0
DNF

0
3.4039E+0177 4.8887E+0179 2 768
TTTT
--:PM / 16.84
ClientsAndServers — P/T (151.00 pts max)
  ITS-Tools ITS-Tools.M LTSMin Tapaal enPAC GreatSPN smart TINA.tedd 2018-Gold
Score 33.05 52.88 39.66 19.83 4.72 98.15 60.40 105.70 98.15
fastest 0 0 2 0 1 1 0 6 5
smallest memory 0 0 1 0 1 1 0 1 11
N0001P0

27576 1.1332E+0005 8 25 (expected value)

8.86 4.00 8.00 8.00 (confidence rate)

27576 ? 8 25
T-TT
--:-- / 6.61
27576 ? 8 25
T-TT
--:-- / 6.61
27576 ? 8 25
T-TT
--:-- / 6.61
27576 ? 8 25
T-TT
--:-- / 6.61
27576 ? ? ?
T---
--:-- / 4.72
27576 1.1332E+0005 8 25
TTTT
--:-- / 7.55
27576 1.1332E+0005 8 25
TTTT
--:-- / 7.55
27576 1.1332E+0005 8 25
TTTT
--:-- / 7.55
27576 1.1332E+0005 8 25
TTTT
--:PM / 7.55
N0002P0

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

8.00 4.00 8.00 8.00 (confidence rate)

7.0816E+0006 ? 16 50
T-TT
--:-- / 6.61
7.0816E+0006 ? 16 50
T-TT
--:-- / 6.61
7.0816E+0006 ? 16 50
T-TT
--:P- / 6.61
7.0816E+0006 ? 16 50
T-TT
--:-- / 6.61
DNF

0
7.0816E+0006 4.4030E+0007 16 50
TTTT
--:-- / 7.55
7.0816E+0006 4.4030E+0007 16 50
TTTT
--:-- / 7.55
7.0816E+0006 4.4030E+0007 16 50
TTTT
--:-- / 7.55
7.0816E+0006 4.4030E+0007 16 50
TTTT
--:-M / 7.55
N0002P1

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

8.00 4.00 8.00 8.00 (confidence rate)

1.2462E+0007 ? 16 55
T-TT
--:-- / 6.61
1.2462E+0007 ? 16 55
T-TT
--:-- / 6.61
1.2462E+0007 ? 16 55
T-TT
--:P- / 6.61
1.2462E+0007 ? 16 55
T-TT
--:-- / 6.61
DNF

0
1.2462E+0007 7.7859E+0007 16 55
TTTT
--:-- / 7.55
1.2462E+0007 7.7859E+0007 16 55
TTTT
--:-- / 7.55
1.2462E+0007 7.7859E+0007 16 55
TTTT
--:-- / 7.55
1.2462E+0007 7.7859E+0007 16 55
TTTT
--:-M / 7.55
N0005P0

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

7.00 4.00 7.00 7.00 (confidence rate)

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

0
DNF

0
1.2551E+0011 1.2156E+0012 40 125
TTTT
--:P- / 7.55
1.2551E+0011 1.2156E+0012 40 125
TTTT
--:-- / 7.55
1.2551E+0011 1.2156E+0012 40 125
TTTT
--:-- / 7.55
1.2551E+0011 1.2156E+0012 40 125
TTTT
--:-M / 7.55
N0005P1

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

7.00 4.00 7.00 7.00 (confidence rate)

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

0
DNF

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

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

6.00 4.00 6.00 6.00 (confidence rate)

DNF

0
1.0911E+0015 ? 80 250
T-TT
--:-- / 6.61
1.0911E+0015 ? 80 250
T-TT
--:-- / 6.61
CC

0
DNF

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

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

5.00 4.00 5.00 5.00 (confidence rate)

DNF

0
1.5502E+0015 ? 80 255
T-TT
--:-- / 6.61
DNF

0
CC

0
DNF

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

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

5.00 4.00 5.00 5.00 (confidence rate)

DNF

0
1.8980E+0015 ? 80 260
T-TT
--:-- / 6.61
DNF

0
CC

0
DNF

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

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

3.00 3.00 3.00 3.00 (confidence rate)

DNF

0
CC

0
DNF

0
CC

0
DNF

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

0
2.7979E+0019 4.0727E+0020 160 500
TTTT
--:P- / 7.55
2.7979E+0019 4.0727E+0020 160 500
TTTT
--:-M / 7.55
N0020P1

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

3.00 3.00 3.00 3.00 (confidence rate)

DNF

0
CC

0
DNF

0
CC

0
DNF

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

0
3.4330E+0019 5.0014E+0020 160 505
TTTT
--:P- / 7.55
3.4330E+0019 5.0014E+0020 160 505
TTTT
--:-M / 7.55
N0020P2

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

3.00 3.00 3.00 3.00 (confidence rate)

DNF

0
CC

0
DNF

0
CC

0
DNF

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

0
4.0258E+0019 5.8683E+0020 160 510
TTTT
--:P- / 7.55
4.0258E+0019 5.8683E+0020 160 510
TTTT
--:-M / 7.55
N0020P3

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

3.00 3.00 3.00 3.00 (confidence rate)

DNF

0
CC

0
DNF

0
CC

0
DNF

0
4.5408E+0019 6.6212E+0020 160 515
TTTT
--:-M / 7.55
DNF

0
4.5408E+0019 6.6212E+0020 160 515
TTTT
--:P- / 7.55
4.5408E+0019 6.6212E+0020 160 515
TTTT
--:-- / 7.55
N0020P4

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

3.00 3.00 3.00 3.00 (confidence rate)

DNF

0
CC

0
DNF

0
CC

0
DNF

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

0
4.9510E+0019 7.2204E+0020 160 520
TTTT
--:P- / 7.55
4.9510E+0019 7.2204E+0020 160 520
TTTT
--:-M / 7.55
N0050P0

5.3924E+0025 8.8483E+0026 400 1250 (expected value)

1 1 1 1 (confidence rate)

DNF

0
CC

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
5.3924E+0025 8.8483E+0026 400 1250
TTTT
--:PM / 7.55
DNF

0
N0100P0

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
N0200P0

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
N0500P0

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
N1000P0

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
N2000P0

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
N5000P0

(30001) ? ? ? (expected value)

0.86 0 0 0 (confidence rate)

CC

0
CC

0
DNF

0
CC

0
30001 ? ? ?
????
--:PM / 0.00
DNF

0
CC

0
DNF

0
DNF

0
CloudDeployment — P/T (130.59 pts max)
  ITS-Tools ITS-Tools.M LTSMin Tapaal enPAC GreatSPN smart TINA.tedd 2018-Gold
Score 76.16 57.12 66.63 28.55 0.00 87.04 21.76 87.04 87.04
fastest 0 0 4 1 0 0 0 1 2
smallest memory 0 0 5 0 0 1 0 0 2
2a

4807 87600 1 9 (expected value)

8.00 4.00 8.00 8.00 (confidence rate)

4807 ? 1 9
T-TT
--:-- / 9.52
4807 ? 1 9
T-TT
--:-- / 9.52
4807 ? 1 9
T-TT
--:-M / 9.52
4807 ? 1 9
T-TT
--:P- / 9.52
DNF

0
4807 87600 1 9
TTTT
--:-- / 10.88
4807 87600 1 9
TTTT
--:-- / 10.88
4807 87600 1 9
TTTT
--:-- / 10.88
4807 87600 1 9
TTTT
--:-- / 10.88
2b

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

5.00 3.00 5.00 5.00 (confidence rate)

1.6766E+0011 ? 1 9
T-TT
--:-- / 9.52
CC

0
1.6766E+0011 ? 1 9
T-TT
--:-- / 9.52
CC

0
DNF

0
1.6766E+0011 1.2270E+0012 1 9
TTTT
--:-- / 10.88
DNF

0
1.6766E+0011 1.2270E+0012 1 9
TTTT
--:-- / 10.88
1.6766E+0011 1.2270E+0012 1 9
TTTT
--:PM / 10.88
3a

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

8.00 4.00 8.00 8.00 (confidence rate)

1.9010E+0005 ? 1 13
T-TT
--:-- / 9.52
1.9010E+0005 ? 1 13
T-TT
--:-- / 9.52
1.9010E+0005 ? 1 13
T-TT
--:PM / 9.52
1.9010E+0005 ? 1 13
T-TT
--:-- / 9.52
DNF

0
1.9010E+0005 7.6981E+0006 1 13
TTTT
--:-- / 10.88
1.9010E+0005 7.6981E+0006 1 13
TTTT
--:-- / 10.88
1.9010E+0005 7.6981E+0006 1 13
TTTT
--:-- / 10.88
1.9010E+0005 7.6981E+0006 1 13
TTTT
--:-- / 10.88
3b

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

4.00 3.00 4.00 4.00 (confidence rate)

7.4567E+0016 ? 1 13
T-TT
--:-- / 9.52
CC

0
DNF

0
CC

0
DNF

0
7.4567E+0016 7.7439E+0017 1 13
TTTT
--:-- / 10.88
DNF

0
7.4567E+0016 7.7439E+0017 1 13
TTTT
--:-- / 10.88
7.4567E+0016 7.7439E+0017 1 13
TTTT
--:PM / 10.88
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
--:-- / 9.52
7.0910E+0006 ? 1 17
T-TT
--:-- / 9.52
7.0910E+0006 ? 1 17
T-TT
--:PM / 9.52
7.0910E+0006 ? 1 17
T-TT
--:-- / 9.52
DNF

0
7.0910E+0006 5.0860E+0008 1 17
TTTT
--:-- / 10.88
CC

0
7.0910E+0006 5.0860E+0008 1 17
TTTT
--:-- / 10.88
7.0910E+0006 5.0860E+0008 1 17
TTTT
--:-- / 10.88
4b

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
5a

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

6.00 3.00 6.00 6.00 (confidence rate)

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

0
DNF

0
2.4883E+0008 2.7853E+0010 1 21
TTTT
--:-- / 10.88
CC

0
2.4883E+0008 2.7853E+0010 1 21
TTTT
--:-- / 10.88
2.4883E+0008 2.7853E+0010 1 21
TTTT
--:-- / 10.88
5b

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
6a

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

6.00 3.00 6.00 6.00 (confidence rate)

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

0
DNF

0
8.3047E+0009 1.3382E+0012 1 25
TTTT
--:-- / 10.88
DNF

0
8.3047E+0009 1.3382E+0012 1 25
TTTT
--:-- / 10.88
8.3047E+0009 1.3382E+0012 1 25
TTTT
--:-- / 10.88
6b

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
7a

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

6.00 3.00 6.00 6.00 (confidence rate)

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

0
DNF

0
2.6648E+0011 5.8448E+0013 1 29
TTTT
--:-M / 10.88
DNF

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

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
CC

0
DNF

0
CC

0
DNF

0
DNF

0
CC

0
CloudReconfiguration — P/T (156.09 pts max)
  ITS-Tools ITS-Tools.M LTSMin Tapaal enPAC GreatSPN smart TINA.tedd 2018-Gold
Score 136.62 136.62 136.62 0.00 0.00 156.20 0.00 156.20 156.20
fastest 22 0 0 0 0 0 0 0 0
smallest memory 0 0 22 0 0 0 0 0 0
301

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

6.00 3.00 6.00 6.00 (confidence rate)

1.3197E+0011 ? 1 5
T-TT
--:P- / 6.20
1.3197E+0011 ? 1 5
T-TT
--:-- / 6.20
1.3197E+0011 ? 1 5
T-TT
--:-M / 6.20
CC

0
DNF

0
1.3197E+0011 6.0439E+0011 1 5
TTTT
--:-- / 7.09
DNF

0
1.3197E+0011 6.0439E+0011 1 5
TTTT
--:-- / 7.09
1.3197E+0011 6.0439E+0011 1 5
TTTT
--:-- / 7.09
302

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

6.00 3.00 6.00 6.00 (confidence rate)

2.0254E+0011 ? 1 5
T-TT
--:P- / 6.20
2.0254E+0011 ? 1 5
T-TT
--:-- / 6.20
2.0254E+0011 ? 1 5
T-TT
--:-M / 6.20
CC

0
DNF

0
2.0254E+0011 9.2748E+0011 1 5
TTTT
--:-- / 7.09
DNF

0
2.0254E+0011 9.2748E+0011 1 5
TTTT
--:-- / 7.09
2.0254E+0011 9.2748E+0011 1 5
TTTT
--:-- / 7.09
303

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

6.00 3.00 6.00 6.00 (confidence rate)

5.5244E+0010 ? 1 5
T-TT
--:P- / 6.20
5.5244E+0010 ? 1 5
T-TT
--:-- / 6.20
5.5244E+0010 ? 1 5
T-TT
--:-M / 6.20
CC

0
DNF

0
5.5244E+0010 2.5351E+0011 1 5
TTTT
--:-- / 7.09
DNF

0
5.5244E+0010 2.5351E+0011 1 5
TTTT
--:-- / 7.09
5.5244E+0010 2.5351E+0011 1 5
TTTT
--:-- / 7.09
304

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

6.00 3.00 6.00 6.00 (confidence rate)

1.3197E+0011 ? 1 5
T-TT
--:P- / 6.20
1.3197E+0011 ? 1 5
T-TT
--:-- / 6.20
1.3197E+0011 ? 1 5
T-TT
--:-M / 6.20
CC

0
DNF

0
1.3197E+0011 6.0439E+0011 1 5
TTTT
--:-- / 7.09
DNF

0
1.3197E+0011 6.0439E+0011 1 5
TTTT
--:-- / 7.09
1.3197E+0011 6.0439E+0011 1 5
TTTT
--:-- / 7.09
305

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

6.00 3.00 6.00 6.00 (confidence rate)

1.3139E+0011 ? 1 5
T-TT
--:P- / 6.20
1.3139E+0011 ? 1 5
T-TT
--:-- / 6.20
1.3139E+0011 ? 1 5
T-TT
--:-M / 6.20
CC

0
DNF

0
1.3139E+0011 6.0156E+0011 1 5
TTTT
--:-- / 7.09
DNF

0
1.3139E+0011 6.0156E+0011 1 5
TTTT
--:-- / 7.09
1.3139E+0011 6.0156E+0011 1 5
TTTT
--:-- / 7.09
306

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

6.00 3.00 6.00 6.00 (confidence rate)

5.5244E+0010 ? 1 5
T-TT
--:P- / 6.20
5.5244E+0010 ? 1 5
T-TT
--:-- / 6.20
5.5244E+0010 ? 1 5
T-TT
--:-M / 6.20
CC

0
DNF

0
5.5244E+0010 2.5351E+0011 1 5
TTTT
--:-- / 7.09
DNF

0
5.5244E+0010 2.5351E+0011 1 5
TTTT
--:-- / 7.09
5.5244E+0010 2.5351E+0011 1 5
TTTT
--:-- / 7.09
307

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

6.00 3.00 6.00 6.00 (confidence rate)

6.9905E+0010 ? 1 5
T-TT
--:P- / 6.20
6.9905E+0010 ? 1 5
T-TT
--:-- / 6.20
6.9905E+0010 ? 1 5
T-TT
--:-M / 6.20
CC

0
DNF

0
6.9905E+0010 3.1997E+0011 1 5
TTTT
--:-- / 7.09
DNF

0
6.9905E+0010 3.1997E+0011 1 5
TTTT
--:-- / 7.09
6.9905E+0010 3.1997E+0011 1 5
TTTT
--:-- / 7.09
308

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

6.00 3.00 6.00 6.00 (confidence rate)

2.0254E+0011 ? 1 5
T-TT
--:P- / 6.20
2.0254E+0011 ? 1 5
T-TT
--:-- / 6.20
2.0254E+0011 ? 1 5
T-TT
--:-M / 6.20
CC

0
DNF

0
2.0254E+0011 9.2748E+0011 1 5
TTTT
--:-- / 7.09
DNF

0
2.0254E+0011 9.2748E+0011 1 5
TTTT
--:-- / 7.09
2.0254E+0011 9.2748E+0011 1 5
TTTT
--:-- / 7.09
309

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

6.00 3.00 6.00 6.00 (confidence rate)

2.0254E+0011 ? 1 5
T-TT
--:P- / 6.20
2.0254E+0011 ? 1 5
T-TT
--:-- / 6.20
2.0254E+0011 ? 1 5
T-TT
--:-M / 6.20
CC

0
DNF

0
2.0254E+0011 9.2748E+0011 1 5
TTTT
--:-- / 7.09
DNF

0
2.0254E+0011 9.2748E+0011 1 5
TTTT
--:-- / 7.09
2.0254E+0011 9.2748E+0011 1 5
TTTT
--:-- / 7.09
310

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

6.00 3.00 6.00 6.00 (confidence rate)

1.3139E+0011 ? 1 5
T-TT
--:P- / 6.20
1.3139E+0011 ? 1 5
T-TT
--:-- / 6.20
1.3139E+0011 ? 1 5
T-TT
--:-M / 6.20
CC

0
DNF

0
1.3139E+0011 6.0156E+0011 1 5
TTTT
--:-- / 7.09
DNF

0
1.3139E+0011 6.0156E+0011 1 5
TTTT
--:-- / 7.09
1.3139E+0011 6.0156E+0011 1 5
TTTT
--:-- / 7.09
311

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

6.00 3.00 6.00 6.00 (confidence rate)

1.0768E+0011 ? 1 5
T-TT
--:P- / 6.20
1.0768E+0011 ? 1 5
T-TT
--:-- / 6.20
1.0768E+0011 ? 1 5
T-TT
--:-M / 6.20
CC

0
DNF

0
1.0768E+0011 4.9371E+0011 1 5
TTTT
--:-- / 7.09
DNF

0
1.0768E+0011 4.9371E+0011 1 5
TTTT
--:-- / 7.09
1.0768E+0011 4.9371E+0011 1 5
TTTT
--:-- / 7.09
312

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

6.00 3.00 6.00 6.00 (confidence rate)

2.0254E+0011 ? 1 5
T-TT
--:P- / 6.20
2.0254E+0011 ? 1 5
T-TT
--:-- / 6.20
2.0254E+0011 ? 1 5
T-TT
--:-M / 6.20
CC

0
DNF

0
2.0254E+0011 9.2748E+0011 1 5
TTTT
--:-- / 7.09
DNF

0
2.0254E+0011 9.2748E+0011 1 5
TTTT
--:-- / 7.09
2.0254E+0011 9.2748E+0011 1 5
TTTT
--:-- / 7.09
313

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

6.00 3.00 6.00 6.00 (confidence rate)

2.0254E+0011 ? 1 5
T-TT
--:P- / 6.20
2.0254E+0011 ? 1 5
T-TT
--:-- / 6.20
2.0254E+0011 ? 1 5
T-TT
--:-M / 6.20
CC

0
DNF

0
2.0254E+0011 9.2748E+0011 1 5
TTTT
--:-- / 7.09
DNF

0
2.0254E+0011 9.2748E+0011 1 5
TTTT
--:-- / 7.09
2.0254E+0011 9.2748E+0011 1 5
TTTT
--:-- / 7.09
314

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

6.00 3.00 6.00 6.00 (confidence rate)

1.0768E+0011 ? 1 5
T-TT
--:P- / 6.20
1.0768E+0011 ? 1 5
T-TT
--:-- / 6.20
1.0768E+0011 ? 1 5
T-TT
--:-M / 6.20
CC

0
DNF

0
1.0768E+0011 4.9371E+0011 1 5
TTTT
--:-- / 7.09
DNF

0
1.0768E+0011 4.9371E+0011 1 5
TTTT
--:-- / 7.09
1.0768E+0011 4.9371E+0011 1 5
TTTT
--:-- / 7.09
315

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

6.00 3.00 6.00 6.00 (confidence rate)

1.3139E+0011 ? 1 5
T-TT
--:P- / 6.20
1.3139E+0011 ? 1 5
T-TT
--:-- / 6.20
1.3139E+0011 ? 1 5
T-TT
--:-M / 6.20
CC

0
DNF

0
1.3139E+0011 6.0156E+0011 1 5
TTTT
--:-- / 7.09
DNF

0
1.3139E+0011 6.0156E+0011 1 5
TTTT
--:-- / 7.09
1.3139E+0011 6.0156E+0011 1 5
TTTT
--:-- / 7.09
316

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

6.00 3.00 6.00 6.00 (confidence rate)

1.3139E+0011 ? 1 5
T-TT
--:P- / 6.20
1.3139E+0011 ? 1 5
T-TT
--:-- / 6.20
1.3139E+0011 ? 1 5
T-TT
--:-M / 6.20
CC

0
DNF

0
1.3139E+0011 6.0156E+0011 1 5
TTTT
--:-- / 7.09
DNF

0
1.3139E+0011 6.0156E+0011 1 5
TTTT
--:-- / 7.09
1.3139E+0011 6.0156E+0011 1 5
TTTT
--:-- / 7.09
317

1.7272E+0011 7.9212E+0011 1 5 (expected value)

6.00 3.00 6.00 6.00 (confidence rate)

1.7272E+0011 ? 1 5
T-TT
--:P- / 6.20
1.7272E+0011 ? 1 5
T-TT
--:-- / 6.20
1.7272E+0011 ? 1 5
T-TT
--:-M / 6.20
CC

0
DNF

0
1.7272E+0011 7.9212E+0011 1 5
TTTT
--:-- / 7.09
DNF

0
1.7272E+0011 7.9212E+0011 1 5
TTTT
--:-- / 7.09
1.7272E+0011 7.9212E+0011 1 5
TTTT
--:-- / 7.09
318

2.8613E+0011 1.3103E+0012 1 5 (expected value)

6.00 3.00 6.00 6.00 (confidence rate)

2.8613E+0011 ? 1 5
T-TT
--:P- / 6.20
2.8613E+0011 ? 1 5
T-TT
--:-- / 6.20
2.8613E+0011 ? 1 5
T-TT
--:-M / 6.20
CC

0
DNF

0
2.8613E+0011 1.3103E+0012 1 5
TTTT
--:-- / 7.09
DNF

0
2.8613E+0011 1.3103E+0012 1 5
TTTT
--:-- / 7.09
2.8613E+0011 1.3103E+0012 1 5
TTTT
--:-- / 7.09
319

1.3140E+0011 6.0158E+0011 1 5 (expected value)

6.00 3.00 6.00 6.00 (confidence rate)

1.3140E+0011 ? 1 5
T-TT
--:P- / 6.20
1.3140E+0011 ? 1 5
T-TT
--:-- / 6.20
1.3140E+0011 ? 1 5
T-TT
--:-M / 6.20
CC

0
DNF

0
1.3140E+0011 6.0158E+0011 1 5
TTTT
--:-- / 7.09
DNF

0
1.3140E+0011 6.0158E+0011 1 5
TTTT
--:-- / 7.09
1.3140E+0011 6.0158E+0011 1 5
TTTT
--:-- / 7.09
320

1.8547E+0011 8.4914E+0011 1 5 (expected value)

6.00 3.00 6.00 6.00 (confidence rate)

1.8547E+0011 ? 1 5
T-TT
--:P- / 6.20
1.8547E+0011 ? 1 5
T-TT
--:-- / 6.20
1.8547E+0011 ? 1 5
T-TT
--:-M / 6.20
CC

0
DNF

0
1.8547E+0011 8.4914E+0011 1 5
TTTT
--:-- / 7.09
DNF

0
1.8547E+0011 8.4914E+0011 1 5
TTTT
--:-- / 7.09
1.8547E+0011 8.4914E+0011 1 5
TTTT
--:-- / 7.09
401

1.9294E+0014 1.1020E+0015 1 6 (expected value)

6.00 3.00 6.00 6.00 (confidence rate)

1.9294E+0014 ? 1 6
T-TT
--:P- / 6.20
1.9294E+0014 ? 1 6
T-TT
--:-- / 6.20
1.9294E+0014 ? 1 6
T-TT
--:-M / 6.20
CC

0
DNF

0
1.9294E+0014 1.1020E+0015 1 6
TTTT
--:-- / 7.09
DNF

0
1.9294E+0014 1.1020E+0015 1 6
TTTT
--:-- / 7.09
1.9294E+0014 1.1020E+0015 1 6
TTTT
--:-- / 7.09
402

1.9294E+0014 1.1020E+0015 1 6 (expected value)

6.00 3.00 6.00 6.00 (confidence rate)

1.9294E+0014 ? 1 6
T-TT
--:P- / 6.20
1.9294E+0014 ? 1 6
T-TT
--:-- / 6.20
1.9294E+0014 ? 1 6
T-TT
--:-M / 6.20
CC

0
DNF

0
1.9294E+0014 1.1020E+0015 1 6
TTTT
--:-- / 7.09
DNF

0
1.9294E+0014 1.1020E+0015 1 6
TTTT
--:-- / 7.09
1.9294E+0014 1.1020E+0015 1 6
TTTT
--:-- / 7.09
DES — P/T (151.00 pts max)
  ITS-Tools ITS-Tools.M LTSMin Tapaal enPAC GreatSPN smart TINA.tedd 2018-Gold
Score 59.48 94.43 99.15 6.61 0.00 151.00 75.50 151.00 151.00
fastest 0 0 10 0 0 4 0 1 5
smallest memory 0 0 11 0 0 5 0 0 4
00a

2.4197E+0010 2.9310E+0011 1 47 (expected value)

7.00 4.00 7.00 7.00 (confidence rate)

2.4197E+0010 ? 1 47
T-TT
--:-- / 6.61
2.4197E+0010 ? 1 47
T-TT
--:-- / 6.61
2.4197E+0010 ? 1 47
T-TT
--:-- / 6.61
CC

0
DNF

0
2.4197E+0010 2.9310E+0011 1 47
TTTT
--:-- / 7.55
2.4197E+0010 2.9310E+0011 1 47
TTTT
--:-- / 7.55
2.4197E+0010 2.9310E+0011 1 47
TTTT
--:-- / 7.55
2.4197E+0010 2.9310E+0011 1 47
TTTT
--:PM / 7.55
00b

2.4601E+0019 4.4365E+0020 1 47 (expected value)

7.00 4.00 7.00 7.00 (confidence rate)

2.4601E+0019 ? 1 47
T-TT
--:-- / 6.61
2.4601E+0019 ? 1 47
T-TT
--:-- / 6.61
2.4601E+0019 ? 1 47
T-TT
--:PM / 6.61
CC

0
DNF

0
2.4601E+0019 4.4365E+0020 1 47
TTTT
--:-- / 7.55
2.4601E+0019 4.4365E+0020 1 47
TTTT
--:-- / 7.55
2.4601E+0019 4.4365E+0020 1 47
TTTT
--:-- / 7.55
2.4601E+0019 4.4365E+0020 1 47
TTTT
--:-- / 7.55
01a

1.0858E+0008 1.2134E+0009 1 48 (expected value)

8.00 4.00 8.00 8.00 (confidence rate)

1.0858E+0008 ? 1 48
T-TT
--:-- / 6.61
1.0858E+0008 ? 1 48
T-TT
--:-- / 6.61
1.0858E+0008 ? 1 48
T-TT
--:PM / 6.61
1.0858E+0008 ? 1 48
T-TT
--:-- / 6.61
DNF

0
1.0858E+0008 1.2134E+0009 1 48
TTTT
--:-- / 7.55
1.0858E+0008 1.2134E+0009 1 48
TTTT
--:-- / 7.55
1.0858E+0008 1.2134E+0009 1 48
TTTT
--:-- / 7.55
1.0858E+0008 1.2134E+0009 1 48
TTTT
--:-- / 7.55
01b

2.0127E+0017 3.5377E+0018 1 51 (expected value)

7.00 4.00 7.00 7.00 (confidence rate)

2.0127E+0017 ? 1 51
T-TT
--:-- / 6.61
2.0127E+0017 ? 1 51
T-TT
--:-- / 6.61
2.0127E+0017 ? 1 51
T-TT
--:PM / 6.61
CC

0
DNF

0
2.0127E+0017 3.5377E+0018 1 51
TTTT
--:-- / 7.55
2.0127E+0017 3.5377E+0018 1 51
TTTT
--:-- / 7.55
2.0127E+0017 3.5377E+0018 1 51
TTTT
--:-- / 7.55
2.0127E+0017 3.5377E+0018 1 51
TTTT
--:-- / 7.55
02a

4.9532E+0009 5.9186E+0010 1 51 (expected value)

7.00 4.00 7.00 7.00 (confidence rate)

4.9532E+0009 ? 1 51
T-TT
--:-- / 6.61
4.9532E+0009 ? 1 51
T-TT
--:-- / 6.61
4.9532E+0009 ? 1 51
T-TT
--:-- / 6.61
CC

0
DNF

0
4.9532E+0009 5.9186E+0010 1 51
TTTT
--:-- / 7.55
4.9532E+0009 5.9186E+0010 1 51
TTTT
--:-- / 7.55
4.9532E+0009 5.9186E+0010 1 51
TTTT
--:-- / 7.55
4.9532E+0009 5.9186E+0010 1 51
TTTT
--:PM / 7.55
02b

7.1021E+0018 1.2674E+0020 1 51 (expected value)

6.00 3.00 6.00 6.00 (confidence rate)

7.1021E+0018 ? 1 51
T-TT
--:-- / 6.61
7.1021E+0018 ? 1 51
T-TT
--:-- / 6.61
7.1021E+0018 ? 1 51
T-TT
--:PM / 6.61
CC

0
DNF

0
7.1021E+0018 1.2674E+0020 1 51
TTTT
--:-- / 7.55
DNF

0
7.1021E+0018 1.2674E+0020 1 51
TTTT
--:-- / 7.55
7.1021E+0018 1.2674E+0020 1 51
TTTT
--:-- / 7.55
05a

2.3100E+0011 2.8039E+0012 1 51 (expected value)

7.00 4.00 7.00 7.00 (confidence rate)

2.3100E+0011 ? 1 51
T-TT
--:-- / 6.61
2.3100E+0011 ? 1 51
T-TT
--:-- / 6.61
2.3100E+0011 ? 1 51
T-TT
--:-- / 6.61
CC

0
DNF

0
2.3100E+0011 2.8039E+0012 1 51
TTTT
--:-M / 7.55
2.3100E+0011 2.8039E+0012 1 51
TTTT
--:-- / 7.55
2.3100E+0011 2.8039E+0012 1 51
TTTT
--:-- / 7.55
2.3100E+0011 2.8039E+0012 1 51
TTTT
--:P- / 7.55
05b

2.6140E+0020 4.7052E+0021 1 51 (expected value)

6.00 4.00 6.00 6.00 (confidence rate)

CC

0
2.6140E+0020 ? 1 51
T-TT
--:-- / 6.61
2.6140E+0020 ? 1 51
T-TT
--:PM / 6.61
CC

0
DNF

0
2.6140E+0020 4.7052E+0021 1 51
TTTT
--:-- / 7.55
2.6140E+0020 4.7052E+0021 1 51
TTTT
--:-- / 7.55
2.6140E+0020 4.7052E+0021 1 51
TTTT
--:-- / 7.55
2.6140E+0020 4.7052E+0021 1 51
TTTT
--:-- / 7.55
10a

1.6003E+0012 1.9392E+0013 1 51 (expected value)

6.00 3.00 6.00 6.00 (confidence rate)

1.6003E+0012 ? 1 51
T-TT
--:-- / 6.61
1.6003E+0012 ? 1 51
T-TT
--:-- / 6.61
1.6003E+0012 ? 1 51
T-TT
--:-- / 6.61
CC

0
DNF

0
1.6003E+0012 1.9392E+0013 1 51
TTTT
--:-- / 7.55
DNF

0
1.6003E+0012 1.9392E+0013 1 51
TTTT
--:-- / 7.55
1.6003E+0012 1.9392E+0013 1 51
TTTT
--:PM / 7.55
10b

1.6887E+0021 3.0429E+0022 1 51 (expected value)

6.00 4.00 6.00 6.00 (confidence rate)

CC

0
1.6887E+0021 ? 1 51
T-TT
--:-- / 6.61
1.6887E+0021 ? 1 51
T-TT
--:PM / 6.61
CC

0
DNF

0
1.6887E+0021 3.0429E+0022 1 51
TTTT
--:-- / 7.55
1.6887E+0021 3.0429E+0022 1 51
TTTT
--:-- / 7.55
1.6887E+0021 3.0429E+0022 1 51
TTTT
--:-- / 7.55
1.6887E+0021 3.0429E+0022 1 51
TTTT
--:-- / 7.55
20a

7.9693E+0012 9.6542E+0013 1 51 (expected value)

6.00 4.00 6.00 6.00 (confidence rate)

7.9693E+0012 ? 1 51
T-TT
--:-- / 6.61
7.9693E+0012 ? 1 51
T-TT
--:-- / 6.61
DNF

0
CC

0
DNF

0
7.9693E+0012 9.6542E+0013 1 51
TTTT
--:-- / 7.55
7.9693E+0012 9.6542E+0013 1 51
TTTT
--:-- / 7.55
7.9693E+0012 9.6542E+0013 1 51
TTTT
--:-- / 7.55
7.9693E+0012 9.6542E+0013 1 51
TTTT
--:PM / 7.55
20b

8.2277E+0021 1.4833E+0023 1 51 (expected value)

6.00 4.00 6.00 6.00 (confidence rate)

CC

0
8.2277E+0021 ? 1 51
T-TT
--:-- / 6.61
8.2277E+0021 ? 1 51
T-TT
--:PM / 6.61
CC

0
DNF

0
8.2277E+0021 1.4833E+0023 1 51
TTTT
--:-- / 7.55
8.2277E+0021 1.4833E+0023 1 51
TTTT
--:-- / 7.55
8.2277E+0021 1.4833E+0023 1 51
TTTT
--:-- / 7.55
8.2277E+0021 1.4833E+0023 1 51
TTTT
--:-- / 7.55
30a

1.9178E+0013 2.3231E+0014 1 51 (expected value)

4.00 3.00 4.00 4.00 (confidence rate)

CC

0
1.9178E+0013 ? 1 51
T-TT
--:-- / 6.61
DNF

0
CC

0
DNF

0
1.9178E+0013 2.3231E+0014 1 51
TTTT
--:PM / 7.55
DNF

0
1.9178E+0013 2.3231E+0014 1 51
TTTT
--:-- / 7.55
1.9178E+0013 2.3231E+0014 1 51
TTTT
--:-- / 7.55
30b

1.9679E+0022 3.5482E+0023 1 51 (expected value)

4.00 3.00 4.00 4.00 (confidence rate)

CC

0
CC

0
1.9679E+0022 ? 1 51
T-TT
--:PM / 6.61
CC

0
DNF

0
1.9679E+0022 3.5482E+0023 1 51
TTTT
--:-- / 7.55
DNF

0
1.9679E+0022 3.5482E+0023 1 51
TTTT
--:-- / 7.55
1.9679E+0022 3.5482E+0023 1 51
TTTT
--:-- / 7.55
40a

3.5226E+0013 4.2670E+0014 1 51 (expected value)

4.00 3.00 4.00 4.00 (confidence rate)

CC

0
3.5226E+0013 ? 1 51
T-TT
--:-- / 6.61
DNF

0
CC

0
DNF

0
3.5226E+0013 4.2670E+0014 1 51
TTTT
--:PM / 7.55
DNF

0
3.5226E+0013 4.2670E+0014 1 51
TTTT
--:-- / 7.55
3.5226E+0013 4.2670E+0014 1 51
TTTT
--:-- / 7.55
40b

3.6042E+0022 6.4989E+0023 1 51 (expected value)

4.00 3.00 4.00 4.00 (confidence rate)

CC

0
CC

0
3.6042E+0022 ? 1 51
T-TT
--:PM / 6.61
CC

0
DNF

0
3.6042E+0022 6.4989E+0023 1 51
TTTT
--:-- / 7.55
DNF

0
3.6042E+0022 6.4989E+0023 1 51
TTTT
--:-- / 7.55
3.6042E+0022 6.4989E+0023 1 51
TTTT
--:-- / 7.55
50a

5.6113E+0013 6.7971E+0014 1 51 (expected value)

3.00 3.00 4.00 4.00 (confidence rate)

CC

0
? ? 1 51
--TT
--:-- / 1.88
DNF

0
CC

0
DNF

0
5.6113E+0013 6.7971E+0014 1 51
TTTT
--:PM / 7.55
DNF

0
5.6113E+0013 6.7971E+0014 1 51
TTTT
--:-- / 7.55
5.6113E+0013 6.7971E+0014 1 51
TTTT
--:-- / 7.55
50b

5.7316E+0022 1.0335E+0024 1 51 (expected value)

4.00 3.00 4.00 4.00 (confidence rate)

CC

0
CC

0
5.7316E+0022 ? 1 51
T-TT
--:-M / 6.61
CC

0
DNF

0
5.7316E+0022 1.0335E+0024 1 51
TTTT
--:-- / 7.55
DNF

0
5.7316E+0022 1.0335E+0024 1 51
TTTT
--:P- / 7.55
5.7316E+0022 1.0335E+0024 1 51
TTTT
--:-- / 7.55
60a

8.1839E+0013 9.9133E+0014 1 51 (expected value)

3.00 3.00 3.00 3.00 (confidence rate)

CC

0
CC

0
DNF

0
CC

0
DNF

0
8.1839E+0013 9.9133E+0014 1 51
TTTT
--:PM / 7.55
DNF

0
8.1839E+0013 9.9133E+0014 1 51
TTTT
--:-- / 7.55
8.1839E+0013 9.9133E+0014 1 51
TTTT
--:-- / 7.55
60b

8.3503E+0022 1.5058E+0024 1 51 (expected value)

4.00 3.00 4.00 4.00 (confidence rate)

CC

0
CC

0
8.3503E+0022 ? 1 51
T-TT
--:PM / 6.61
CC

0
DNF

0
8.3503E+0022 1.5058E+0024 1 51
TTTT
--:-- / 7.55
DNF

0
8.3503E+0022 1.5058E+0024 1 51
TTTT
--:-- / 7.55
8.3503E+0022 1.5058E+0024 1 51
TTTT
--:-- / 7.55
DLCround — P/T (156.09 pts max)
  ITS-Tools ITS-Tools.M LTSMin Tapaal enPAC GreatSPN smart TINA.tedd 2018-Gold
Score 68.30 49.68 43.47 6.20 0.00 78.09 49.70 78.09 78.09
fastest 0 0 1 0 0 0 0 10 0
smallest memory 0 0 4 0 0 5 0 0 2
03a

2.4010E+0007 1.6642E+0009 1 52 (expected value)

8.00 4.00 8.00 8.00 (confidence rate)

2.4010E+0007 ? 1 52
T-TT
--:-- / 6.20
2.4010E+0007 ? 1 52
T-TT
--:-- / 6.20
2.4010E+0007 ? 1 52
T-TT
--:-M / 6.20
2.4010E+0007 ? 1 52
T-TT
--:-- / 6.20
DNF

0
2.4010E+0007 1.6642E+0009 1 52
TTTT
--:-- / 7.09
2.4010E+0007 1.6642E+0009 1 52
TTTT
--:-- / 7.09
2.4010E+0007 1.6642E+0009 1 52
TTTT
--:P- / 7.09
2.4010E+0007 1.6642E+0009 1 52
TTTT
--:-- / 7.09
03b

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
04a

2.4010E+0008 2.1918E+0010 1 69 (expected value)

7.00 4.00 7.00 7.00 (confidence rate)

2.4010E+0008 ? 1 69
T-TT
--:-- / 6.20
2.4010E+0008 ? 1 69
T-TT
--:-- / 6.20
2.4010E+0008 ? 1 69
T-TT
--:-M / 6.20
CC

0
DNF

0
2.4010E+0008 2.1918E+0010 1 69
TTTT
--:-- / 7.09
2.4010E+0008 2.1918E+0010 1 69
TTTT
--:-- / 7.09
2.4010E+0008 2.1918E+0010 1 69
TTTT
--:P- / 7.09
2.4010E+0008 2.1918E+0010 1 69
TTTT
--:-- / 7.09
04b

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
05a

2.4010E+0009 2.7817E+0011 1 88 (expected value)

7.00 4.00 7.00 7.00 (confidence rate)

2.4010E+0009 ? 1 88
T-TT
--:-- / 6.20
2.4010E+0009 ? 1 88
T-TT
--:-- / 6.20
2.4010E+0009 ? 1 88
T-TT
--:PM / 6.20
CC

0
DNF

0
2.4010E+0009 2.7817E+0011 1 88
TTTT
--:-- / 7.09
2.4010E+0009 2.7817E+0011 1 88
TTTT
--:-- / 7.09
2.4010E+0009 2.7817E+0011 1 88
TTTT
--:-- / 7.09
2.4010E+0009 2.7817E+0011 1 88
TTTT
--:-- / 7.09
05b

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
06a

2.4010E+0010 3.4341E+0012 1 109 (expected value)

7.00 4.00 7.00 7.00 (confidence rate)

2.4010E+0010 ? 1 109
T-TT
--:-- / 6.20
2.4010E+0010 ? 1 109
T-TT
--:-- / 6.20
2.4010E+0010 ? 1 109
T-TT
--:-- / 6.20
CC

0
DNF

0
2.4010E+0010 3.4341E+0012 1 109
TTTT
--:-M / 7.09
2.4010E+0010 3.4341E+0012 1 109
TTTT
--:-- / 7.09
2.4010E+0010 3.4341E+0012 1 109
TTTT
--:P- / 7.09
2.4010E+0010 3.4341E+0012 1 109
TTTT
--:-- / 7.09
06b

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
07a

2.4010E+0011 4.1489E+0013 1 132 (expected value)

7.00 4.00 7.00 7.00 (confidence rate)

2.4010E+0011 ? 1 132
T-TT
--:-- / 6.20
2.4010E+0011 ? 1 132
T-TT
--:-- / 6.20
2.4010E+0011 ? 1 132
T-TT
--:-- / 6.20
CC

0
DNF

0
2.4010E+0011 4.1489E+0013 1 132
TTTT
--:-M / 7.09
2.4010E+0011 4.1489E+0013 1 132
TTTT
--:-- / 7.09
2.4010E+0011 4.1489E+0013 1 132
TTTT
--:P- / 7.09
2.4010E+0011 4.1489E+0013 1 132
TTTT
--:-- / 7.09
07b

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
08a

2.4010E+0012 4.9262E+0014 1 157 (expected value)

7.00 4.00 7.00 7.00 (confidence rate)

2.4010E+0012 ? 1 157
T-TT
--:-- / 6.20
2.4010E+0012 ? 1 157
T-TT
--:-- / 6.20
2.4010E+0012 ? 1 157
T-TT
--:-M / 6.20
CC

0
DNF

0
2.4010E+0012 4.9262E+0014 1 157
TTTT
--:-- / 7.09
2.4010E+0012 4.9262E+0014 1 157
TTTT
--:-- / 7.09
2.4010E+0012 4.9262E+0014 1 157
TTTT
--:P- / 7.09
2.4010E+0012 4.9262E+0014 1 157
TTTT
--:-- / 7.09
08b

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
09a

2.4010E+0013 5.7658E+0015 1 184 (expected value)

6.00 4.00 6.00 6.00 (confidence rate)

2.4010E+0013 ? 1 184
T-TT
--:-- / 6.20
2.4010E+0013 ? 1 184
T-TT
--:-- / 6.20
DNF

0
CC

0
DNF

0
2.4010E+0013 5.7658E+0015 1 184
TTTT
--:-M / 7.09
2.4010E+0013 5.7658E+0015 1 184
TTTT
--:-- / 7.09
2.4010E+0013 5.7658E+0015 1 184
TTTT
--:P- / 7.09
2.4010E+0013 5.7658E+0015 1 184
TTTT
--:-- / 7.09
09b

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
10a

2.4010E+0014 6.6679E+0016 1 213 (expected value)

6.00 3.00 6.00 6.00 (confidence rate)

2.4010E+0014 ? 1 213
T-TT
--:-- / 6.20
2.4010E+0014 ? 1 213
T-TT
--:-- / 6.20
2.4010E+0014 ? 1 213
T-TT
--:-- / 6.20
CC

0
DNF

0
2.4010E+0014 6.6679E+0016 1 213
TTTT
--:-- / 7.09
CC

0
2.4010E+0014 6.6679E+0016 1 213
TTTT
--:P- / 7.09
2.4010E+0014 6.6679E+0016 1 213
TTTT
--:-M / 7.09
10b

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
11a

2.4010E+0015 7.6324E+0017 1 244 (expected value)

4.00 3.00 4.00 4.00 (confidence rate)

2.4010E+0015 ? 1 244
T-TT
--:-- / 6.20
CC

0
DNF

0
CC

0
DNF

0
2.4010E+0015 7.6324E+0017 1 244
TTTT
--:-M / 7.09
CC

0
2.4010E+0015 7.6324E+0017 1 244
TTTT
--:P- / 7.09
2.4010E+0015 7.6324E+0017 1 244
TTTT
--:-- / 7.09
11b

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
12a

2.4010E+0016 8.6594E+0018 1 277 (expected value)

4.00 3.00 4.00 4.00 (confidence rate)

2.4010E+0016 ? 1 277
T-TT
--:-- / 6.20
CC

0
DNF

0
CC

0
DNF

0
2.4010E+0016 8.6594E+0018 1 277
TTTT
--:-M / 7.09
CC

0
2.4010E+0016 8.6594E+0018 1 277
TTTT
--:P- / 7.09
2.4010E+0016 8.6594E+0018 1 277
TTTT
--:-- / 7.09
12b

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
13a

2.4010E+0017 9.7487E+0019 1 312 (expected value)

4.00 3.00 4.00 4.00 (confidence rate)

2.4010E+0017 ? 1 312
T-TT
--:-- / 6.20
CC

0
DNF

0
CC

0
DNF

0
2.4010E+0017 9.7487E+0019 1 312
TTTT
--:-- / 7.09
CC

0
2.4010E+0017 9.7487E+0019 1 312
TTTT
--:P- / 7.09
2.4010E+0017 9.7487E+0019 1 312
TTTT
--:-M / 7.09
13b

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
DLCshifumi — P/T (125.50 pts max)
  ITS-Tools ITS-Tools.M LTSMin Tapaal enPAC GreatSPN smart TINA.tedd 2018-Gold
Score 54.90 43.91 32.94 0.00 0.00 62.75 12.55 62.75 62.75
fastest 0 0 2 0 0 0 0 3 0
smallest memory 2 0 3 0 0 0 0 0 0
2a

4.7476E+0014 5.0962E+0016 1 79 (expected value)

7.00 4.00 7.00 7.00 (confidence rate)

4.7476E+0014 ? 1 79
T-TT
--:-- / 10.98
4.7476E+0014 ? 1 79
T-TT
--:-- / 10.98
4.7476E+0014 ? 1 79
T-TT
--:PM / 10.98
CC

0
DNF

0
4.7476E+0014 5.0962E+0016 1 79
TTTT
--:-- / 12.55
4.7476E+0014 5.0962E+0016 1 79
TTTT
--:-- / 12.55
4.7476E+0014 5.0962E+0016 1 79
TTTT
--:-- / 12.55
4.7476E+0014 5.0962E+0016 1 79
TTTT
--:-- / 12.55
2b

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
3a

9.0954E+0035 3.3784E+0038 1 282 (expected value)

6.00 3.00 6.00 6.00 (confidence rate)

9.0954E+0035 ? 1 282
T-TT
--:-- / 10.98
9.0954E+0035 ? 1 282
T-TT
--:-- / 10.98
9.0954E+0035 ? 1 282
T-TT
--:PM / 10.98
CC

0
DNF

0
9.0954E+0035 3.3784E+0038 1 282
TTTT
--:-- / 12.55
CC

0
9.0954E+0035 3.3784E+0038 1 282
TTTT
--:-- / 12.55
9.0954E+0035 3.3784E+0038 1 282
TTTT
--:-- / 12.55
3b

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
4a

2.4119E+0067 2.1585E+0070 1 691 (expected value)

6.00 3.00 6.00 6.00 (confidence rate)

2.4119E+0067 ? 1 691
T-TT
--:-- / 10.98
2.4119E+0067 ? 1 691
T-TT
--:-- / 10.98
2.4119E+0067 ? 1 691
T-TT
--:-M / 10.98
CC

0
DNF

0
2.4119E+0067 2.1585E+0070 1 691
TTTT
--:-- / 12.55
CC

0
2.4119E+0067 2.1585E+0070 1 691
TTTT
--:P- / 12.55
2.4119E+0067 2.1585E+0070 1 691
TTTT
--:-- / 12.55
4b

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNF

0
CC

0
DNF

0
CC

0
DNF

0
DNF

0
CC

0
5a

8.8524E+0108 1.5631E+0112 1 1378 (expected value)

5.00 3.00 5.00 5.00 (confidence rate)

8.8524E+0108 ? 1 1378
T-TT
--:-M / 10.98
8.8524E+0108 ? 1 1378
T-TT
--:-- / 10.98
DNF

0
CC

0
DNF

0
8.8524E+0108 1.5631E+0112 1 1378
TTTT
--:-- / 12.55
CC

0
8.8524E+0108 1.5631E+0112 1 1378
TTTT
--:P- / 12.55
8.8524E+0108 1.5631E+0112 1 1378
TTTT
--:-- / 12.55
5b

? (expected value)

0 (confidence rate)

CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
DNF

0
DNF

0
CC

0
6a

4.4972E+0160 1.3815E+0164 1 2415 (expected value)

4.00 3.00 4.00 4.00 (confidence rate)

4.4972E+0160 ? 1 2415
T-TT
--:-M / 10.98
CC

0
DNF

0
CC

0
CC

0
4.4972E+0160 1.3815E+0164 1 2415
TTTT
--:-- / 12.55
CC

0
4.4972E+0160 1.3815E+0164 1 2415
TTTT
--:P- / 12.55
4.4972E+0160 1.3815E+0164 1 2415
TTTT
--:-- / 12.55
6b

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNF

0
CC

0
CC

0
CC

0
DNF

0
DNF

0
CC

0
DNAwalker — P/T (145.90 pts max)
  ITS-Tools ITS-Tools.M LTSMin Tapaal enPAC GreatSPN smart TINA.tedd 2018-Gold
Score 120.52 113.44 127.62 77.98 -91.16 137.87 121.65 137.87 137.87
fastest 2 1 9 2 0 1 0 0 3
smallest memory 0 0 5 1 0 2 0 0 10
01track12Block1

3795 13149 2 13 (expected value)

8.00 4.00 8.00 8.00 (confidence rate)

3795 ? 2 13
T-TT
--:-- / 7.09
3795 ? 2 13
T-TT
--:-- / 7.09
3795 ? 2 13
T-TT
--:-- / 7.09
3795 ? 2 13
T-TT
--:PM / 7.09
108 ? ? ?
X---
V-:-- / -10.13
3795 13149 2 13
TTTT
--:-- / 8.11
3795 13149 2 13
TTTT
--:-- / 8.11
3795 13149 2 13
TTTT
--:-- / 8.11
3795 13149 2 13
TTTT
--:-- / 8.11
02track12Block2

5459 21642 2 13 (expected value)

8.00 4.00 8.00 8.00 (confidence rate)

5459 ? 2 13
T-TT
--:-- / 7.09
5459 ? 2 13
T-TT
--:-- / 7.09
5459 ? 2 13
T-TT
--:PM / 7.09
5459 ? 2 13
T-TT
--:-- / 7.09
275 ? ? ?
X---
V-:-- / -10.13
5459 21642 2 13
TTTT
--:-- / 8.11
5459 21642 2 13
TTTT
--:-- / 8.11
5459 21642 2 13
TTTT
--:-- / 8.11
5459 21642 2 13
TTTT
--:-- / 8.11
03track12BlockBoth

5248 20281 2 13 (expected value)

8.00 4.00 8.00 8.00 (confidence rate)

5248 ? 2 13
T-TT
--:-- / 7.09
5248 ? 2 13
T-TT
--:-- / 7.09
5248 ? 2 13
T-TT
--:-- / 7.09
5248 ? 2 13
T-TT
--:P- / 7.09
264 ? ? ?
X---
V-:-- / -10.13
5248 20281 2 13
TTTT
--:-- / 8.11
5248 20281 2 13
TTTT
--:-- / 8.11
5248 20281 2 13
TTTT
--:-- / 8.11
5248 20281 2 13
TTTT
--:-M / 8.11
04track28LL

4.3288E+0008 2.9619E+0009 2 29 (expected value)

8.00 4.00 8.00 8.00 (confidence rate)

4.3288E+0008 ? 2 29
T-TT
--:-- / 7.09
4.3288E+0008 ? 2 29
T-TT
--:P- / 7.09
4.3288E+0008 ? 2 29
T-TT
--:-- / 7.09
4.3288E+0008 ? 2 29
T-TT
--:-- / 7.09
22032 ? ? ?
X---
V-:-- / -10.13
4.3288E+0008 2.9619E+0009 2 29
TTTT
--:-M / 8.11
4.3288E+0008 2.9619E+0009 2 29
TTTT
--:-- / 8.11
4.3288E+0008 2.9619E+0009 2 29
TTTT
--:-- / 8.11
4.3288E+0008 2.9619E+0009 2 29
TTTT
--:-- / 8.11
05track28LR

4.3534E+0008 2.9839E+0009 2 29 (expected value)

8.00 4.00 8.00 8.00 (confidence rate)

4.3534E+0008 ? 2 29
T-TT
--:-- / 7.09
4.3534E+0008 ? 2 29
T-TT
--:-- / 7.09
4.3534E+0008 ? 2 29
T-TT
--:P- / 7.09
4.3534E+0008 ? 2 29
T-TT
--:-- / 7.09
21085 ? ? ?
X---
V-:-- / -10.13
4.3534E+0008 2.9839E+0009 2 29
TTTT
--:-- / 8.11
4.3534E+0008 2.9839E+0009 2 29
TTTT
--:-- / 8.11
4.3534E+0008 2.9839E+0009 2 29
TTTT
--:-- / 8.11
4.3534E+0008 2.9839E+0009 2 29
TTTT
--:-M / 8.11
06track28RL

4.3534E+0008 2.9839E+0009 2 29 (expected value)

8.00 4.00 8.00 8.00 (confidence rate)

4.3534E+0008 ? 2 29
T-TT
--:-- / 7.09
4.3534E+0008 ? 2 29
T-TT
--:-- / 7.09
4.3534E+0008 ? 2 29
T-TT
--:P- / 7.09
4.3534E+0008 ? 2 29
T-TT
--:-- / 7.09
21528 ? ? ?
X---
V-:-- / -10.13
4.3534E+0008 2.9839E+0009 2 29
TTTT
--:-- / 8.11
4.3534E+0008 2.9839E+0009 2 29
TTTT
--:-- / 8.11
4.3534E+0008 2.9839E+0009 2 29
TTTT
--:-- / 8.11
4.3534E+0008 2.9839E+0009 2 29
TTTT
--:-M / 8.11
07track28RR

4.3288E+0008 2.9619E+0009 2 29 (expected value)

8.00 4.00 8.00 8.00 (confidence rate)

4.3288E+0008 ? 2 29
T-TT
--:-- / 7.09
4.3288E+0008 ? 2 29
T-TT
--:-- / 7.09
4.3288E+0008 ? 2 29
T-TT
--:P- / 7.09
4.3288E+0008 ? 2 29
T-TT
--:-- / 7.09
21543 ? ? ?
X---
V-:-- / -10.13
4.3288E+0008 2.9619E+0009 2 29
TTTT
--:-- / 8.11
4.3288E+0008 2.9619E+0009 2 29
TTTT
--:-- / 8.11
4.3288E+0008 2.9619E+0009 2 29
TTTT
--:-- / 8.11
4.3288E+0008 2.9619E+0009 2 29
TTTT
--:-M / 8.11
08ringLL

2.7951E+0007 2.3702E+0008 2 22 (expected value)

8.00 4.00 8.00 8.00 (confidence rate)

2.7951E+0007 ? 2 22
T-TT
--:P- / 7.09
2.7951E+0007 ? 2 22
T-TT
--:-- / 7.09
2.7951E+0007 ? 2 22
T-TT
--:-- / 7.09
2.7951E+0007 ? 2 22
T-TT
--:-- / 7.09
33307 ? ? ?
X---
V-:-- / -10.13
2.7951E+0007 2.3702E+0008 2 22
TTTT
--:-- / 8.11
2.7951E+0007 2.3702E+0008 2 22
TTTT
--:-- / 8.11
2.7951E+0007 2.3702E+0008 2 22
TTTT
--:-- / 8.11
2.7951E+0007 2.3702E+0008 2 22
TTTT
--:-M / 8.11
09ringLR

2.8210E+0007 2.4089E+0008 2 22 (expected value)

8.00 4.00 8.00 8.00 (confidence rate)

2.8210E+0007 ? 2 22
T-TT
--:-- / 7.09
2.8210E+0007 ? 2 22
T-TT
--:-- / 7.09
2.8210E+0007 ? 2 22
T-TT
--:P- / 7.09
2.8210E+0007 ? 2 22
T-TT
--:-- / 7.09
31947 ? ? ?
X---
V-:-- / -10.13
2.8210E+0007 2.4089E+0008 2 22
TTTT
--:-- / 8.11
2.8210E+0007 2.4089E+0008 2 22
TTTT
--:-- / 8.11
2.8210E+0007 2.4089E+0008 2 22
TTTT
--:-- / 8.11
2.8210E+0007 2.4089E+0008 2 22
TTTT
--:-M / 8.11
10ringRL

2.7951E+0007 2.3702E+0008 2 22 (expected value)

8.00 4.00 8.00 8.00 (confidence rate)

2.7951E+0007 ? 2 22
T-TT
--:-- / 7.09
2.7951E+0007 ? 2 22
T-TT
--:-- / 7.09
2.7951E+0007 ? 2 22
T-TT
--:P- / 7.09
2.7951E+0007 ? 2 22
T-TT
--:-- / 7.09
DNF

0
2.7951E+0007 2.3702E+0008 2 22
TTTT
--:-- / 8.11
2.7951E+0007 2.3702E+0008 2 22
TTTT
--:-- / 8.11
2.7951E+0007 2.3702E+0008 2 22
TTTT
--:-- / 8.11
2.7951E+0007 2.3702E+0008 2 22
TTTT
--:-M / 8.11
11ringRR

2.8210E+0007 2.4089E+0008 2 22 (expected value)

8.00 4.00 8.00 8.00 (confidence rate)

2.8210E+0007 ? 2 22
T-TT
--:-- / 7.09
2.8210E+0007 ? 2 22
T-TT
--:-- / 7.09
2.8210E+0007 ? 2 22
T-TT
--:PM / 7.09
2.8210E+0007 ? 2 22
T-TT
--:-- / 7.09
DNF

0
2.8210E+0007 2.4089E+0008 2 22
TTTT
--:-- / 8.11
2.8210E+0007 2.4089E+0008 2 22
TTTT
--:-- / 8.11
2.8210E+0007 2.4089E+0008 2 22
TTTT
--:-- / 8.11
2.8210E+0007 2.4089E+0008 2 22
TTTT
--:-- / 8.11
12ringLLLarge

1.8854E+0009 1.5271E+0010 2 28 (expected value)

7.00 4.00 7.00 7.00 (confidence rate)

1.8854E+0009 ? 2 28
T-TT
--:-- / 7.09
1.8854E+0009 ? 2 28
T-TT
--:-- / 7.09
1.8854E+0009 ? 2 28
T-TT
--:-- / 7.09
CC

0
DNF

0
1.8854E+0009 1.5271E+0010 2 28
TTTT
--:-M / 8.11
1.8854E+0009 1.5271E+0010 2 28
TTTT
--:-- / 8.11
1.8854E+0009 1.5271E+0010 2 28
TTTT
--:-- / 8.11
1.8854E+0009 1.5271E+0010 2 28
TTTT
--:P- / 8.11
13ringRLLarge

1.8854E+0009 1.5271E+0010 2 28 (expected value)

7.00 4.00 7.00 7.00 (confidence rate)

1.8854E+0009 ? 2 28
T-TT
--:-- / 7.09
1.8854E+0009 ? 2 28
T-TT
--:-- / 7.09
1.8854E+0009 ? 2 28
T-TT
--:-- / 7.09
CC

0
DNF

0
1.8854E+0009 1.5271E+0010 2 28
TTTT
--:P- / 8.11
1.8854E+0009 1.5271E+0010 2 28
TTTT
--:-- / 8.11
1.8854E+0009 1.5271E+0010 2 28
TTTT
--:-- / 8.11
1.8854E+0009 1.5271E+0010 2 28
TTTT
--:-M / 8.11
14ringLRLarge

1.8609E+0009 1.5025E+0010 2 28 (expected value)

7.00 4.00 7.00 7.00 (confidence rate)

1.8609E+0009 ? 2 28
T-TT
--:-- / 7.09
1.8609E+0009 ? 2 28
T-TT
--:-- / 7.09
1.8609E+0009 ? 2 28
T-TT
--:-- / 7.09
CC

0
DNF

0
1.8609E+0009 1.5025E+0010 2 28
TTTT
--:-- / 8.11
1.8609E+0009 1.5025E+0010 2 28
TTTT
--:-- / 8.11
1.8609E+0009 1.5025E+0010 2 28
TTTT
--:-- / 8.11
1.8609E+0009 1.5025E+0010 2 28
TTTT
--:PM / 8.11
15ringRRLarge

1.8609E+0009 1.5025E+0010 2 28 (expected value)

7.00 4.00 7.00 7.00 (confidence rate)

1.8609E+0009 ? 2 28
T-TT
--:-- / 7.09
1.8609E+0009 ? 2 28
T-TT
--:-- / 7.09
1.8609E+0009 ? 2 28
T-TT
--:P- / 7.09
CC

0
DNF

0
1.8609E+0009 1.5025E+0010 2 28
TTTT
--:-- / 8.11
1.8609E+0009 1.5025E+0010 2 28
TTTT
--:-- / 8.11
1.8609E+0009 1.5025E+0010 2 28
TTTT
--:-- / 8.11
1.8609E+0009 1.5025E+0010 2 28
TTTT
--:-M / 8.11
16redondantChoiceR

8.0032E+0011 9.9050E+0012 2 34 (expected value)

6.00 3.00 6.00 6.00 (confidence rate)

8.0032E+0011 ? 2 34
T-TT
--:-- / 7.09
8.0032E+0011 ? 2 34
T-TT
--:-- / 7.09
8.0032E+0011 ? 2 34
T-TT
--:-M / 7.09
CC

0
DNF

0
8.0032E+0011 9.9050E+0012 2 34
TTTT
--:-- / 8.11
CC

0
8.0032E+0011 9.9050E+0012 2 34
TTTT
--:-- / 8.11
8.0032E+0011 9.9050E+0012 2 34
TTTT
--:P- / 8.11
17redondantChoiceL

8.0032E+0011 9.9050E+0012 2 34 (expected value)

5.00 3.00 5.00 5.00 (confidence rate)

8.0032E+0011 ? 2 34
T-TT
--:P- / 7.09
CC

0
8.0032E+0011 ? 2 34
T-TT
--:-M / 7.09
CC

0
DNF

0
8.0032E+0011 9.9050E+0012 2 34
TTTT
--:-- / 8.11
CC

0
8.0032E+0011 9.9050E+0012 2 34
TTTT
--:-- / 8.11
8.0032E+0011 9.9050E+0012 2 34
TTTT
--:-- / 8.11
18lozangeBlock

8.3503E+0022 ? 1 51 (expected value)

1 0 1 1 (confidence rate)

CC

0
CC

0
8.3503E+0022 ? 1 51
T?TT
--:PM / 7.09
CC

0
DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DatabaseWithMutex — Colored (62.75 pts max)
  ITS-Tools ITS-Tools.M LTSMin Tapaal enPAC GreatSPN smart TINA.tedd 2018-Gold
Score 0.00 0.00 0.00 10.98 0.00 25.09 0.00 25.09 25.09
fastest 0 0 0 1 0 0 0 0 1
smallest memory 0 0 0 1 0 1 0 0 0
02

153 312 1 6 (expected value)

4.00 3.00 4.00 4.00 (confidence rate)

CC

0
CC

0
DNC 153 ? 1 6
T-TT
--:PM / 10.98
DNC 153 312 1 6
TTTT
--:-- / 12.55
DNC 153 312 1 6
TTTT
--:-- / 12.55
153 312 1 6
TTTT
--:-- / 12.55
04

4.7179E+0009 3.9697E+0010 1 20 (expected value)

3.00 3.00 3.00 3.00 (confidence rate)

CC

0
CC

0
DNC CC

0
DNC 4.7179E+0009 3.9697E+0010 1 20
TTTT
--:-M / 12.55
DNC 4.7179E+0009 3.9697E+0010 1 20
TTTT
--:-- / 12.55
4.7179E+0009 3.9697E+0010 1 20
TTTT
--:P- / 12.55
10

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNC CC

0
DNC DNF

0
DNC CC

0
DNF

0
20

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNC CC

0
DNC DNF

0
DNC DNF

0
DNF

0
40

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNC CC

0
DNC CC

0
DNC DNF

0
CC

0
DatabaseWithMutex — P/T (62.75 pts max)
  ITS-Tools ITS-Tools.M LTSMin Tapaal enPAC GreatSPN smart TINA.tedd 2018-Gold
Score 21.95 21.95 21.95 10.98 7.84 25.09 12.55 25.09 25.09
fastest 1 0 0 0 1 0 0 0 0
smallest memory 0 0 1 0 1 0 0 0 0
02

153 312 1 6 (expected value)

8.86 4.00 8.00 8.00 (confidence rate)

153 ? 1 6
T-TT
--:-- / 10.98
153 ? 1 6
T-TT
--:-- / 10.98
153 ? 1 6
T-TT
--:-- / 10.98
153 ? 1 6
T-TT
--:-- / 10.98
153 ? ? ?
T---
--:PM / 7.84
153 312 1 6
TTTT
--:-- / 12.55
153 312 1 6
TTTT
--:-- / 12.55
153 312 1 6
TTTT
--:-- / 12.55
153 312 1 6
TTTT
--:-- / 12.55
04

4.7179E+0009 3.9697E+0010 1 20 (expected value)

6.00 3.00 6.00 6.00 (confidence rate)

4.7179E+0009 ? 1 20
T-TT
--:P- / 10.98
4.7179E+0009 ? 1 20
T-TT
--:-- / 10.98
4.7179E+0009 ? 1 20
T-TT
--:-M / 10.98
CC

0
DNF

0
4.7179E+0009 3.9697E+0010 1 20
TTTT
--:-- / 12.55
DNF

0
4.7179E+0009 3.9697E+0010 1 20
TTTT
--:-- / 12.55
4.7179E+0009 3.9697E+0010 1 20
TTTT
--:-- / 12.55
10

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNF

0
CC

0
DNF

0
DNF

0
CC

0
CC

0
DNF

0
20

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
40

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNF

0
CC

0
DNF

0
CC

0
DNF

0
DNF

0
CC

0
Dekker — P/T (115.30 pts max)
  ITS-Tools ITS-Tools.M LTSMin Tapaal enPAC GreatSPN smart TINA.tedd 2018-Gold
Score 100.86 33.62 33.62 50.43 12.01 96.09 57.66 96.09 76.88
fastest 1 0 0 0 0 1 0 0 4
smallest memory 2 0 0 0 0 2 0 0 2
010

6144 1.7153E+0005 1 20 (expected value)

8.86 4.00 8.00 8.00 (confidence rate)

6144 ? 1 20
T-TT
--:-- / 16.80
6144 ? 1 20
T-TT
--:-- / 16.80
6144 ? 1 20
T-TT
--:-- / 16.80
6144 ? 1 20
T-TT
--:-- / 16.80
6144 ? ? ?
T---
--:-- / 12.01
6144 1.7153E+0005 1 20
TTTT
--:-- / 19.22
6144 1.7153E+0005 1 20
TTTT
--:-- / 19.22
6144 1.7153E+0005 1 20
TTTT
--:-- / 19.22
6144 1.7153E+0005 1 20
TTTT
--:PM / 19.22
015

2.7853E+0005 1.6835E+0007 1 30 (expected value)

7.00 3 7.00 7.00 (confidence rate)

2.7853E+0005 ? 1 30
T-TT
--:-- / 16.80
2.7853E+0005 ? 1 30
T-TT
--:-- / 16.80
2.7853E+0005 ? 1 30
T-TT
--:-- / 16.80
2.7853E+0005 ? 1 30
T-TT
--:-- / 16.80
DNF

0
2.7853E+0005 1.6835E+0007 1 30
TTTT
--:PM / 19.22
2.7853E+0005 1.6835E+0007 1 30
TTTT
--:-- / 19.22
2.7853E+0005 1.6835E+0007 1 30
TTTT
--:-- / 19.22
[undef]
?
--:-- / 0.00
020

1.1534E+0007 1.2163E+0009 1 40 (expected value)

6.00 4.00 6.00 6.00 (confidence rate)

1.1534E+0007 ? 1 40
T-TT
--:-- / 16.80
CC

0
DNF

0
1.1534E+0007 ? 1 40
T-TT
--:-- / 16.80
DNF

0
1.1534E+0007 1.2163E+0009 1 40
TTTT
--:-- / 19.22
1.1534E+0007 1.2163E+0009 1 40
TTTT
--:-- / 19.22
1.1534E+0007 1.2163E+0009 1 40
TTTT
--:-- / 19.22
1.1534E+0007 1.2163E+0009 1 40
TTTT
--:PM / 19.22
050

2.9273E+0016 1.8676E+0019 1 100 (expected value)

4.00 3.00 4.00 4.00 (confidence rate)

2.9273E+0016 ? 1 100
T-TT
--:-- / 16.80
CC

0
DNF

0
CC

0
DNF

0
2.9273E+0016 1.8676E+0019 1 100
TTTT
--:-M / 19.22
CC

0
2.9273E+0016 1.8676E+0019 1 100
TTTT
--:-- / 19.22
2.9273E+0016 1.8676E+0019 1 100
TTTT
--:P- / 19.22
100

6.4650E+0031 1.6327E+0035 1 200 (expected value)

4.00 3.00 4.00 4.00 (confidence rate)

6.4650E+0031 ? 1 200
T-TT
--:-M / 16.80
CC

0
DNF

0
CC

0
DNF

0
6.4650E+0031 1.6327E+0035 1 200
TTTT
--:-- / 19.22
CC

0
6.4650E+0031 1.6327E+0035 1 200
TTTT
--:-- / 19.22
6.4650E+0031 1.6327E+0035 1 200
TTTT
--:P- / 19.22
200

1.6230E+0062 ? 1 400 (expected value)

1 0 1 1 (confidence rate)

1.6230E+0062 ? 1 400
T?TT
--:PM / 16.80
CC

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
DNF

0
Diffusion2D — P/T (173.95 pts max)
  ITS-Tools ITS-Tools.M LTSMin Tapaal enPAC GreatSPN smart TINA.tedd 2018-Gold
Score 136.50 115.50 36.75 0.00 0.00 117.00 65.25 174.00 123.00
fastest 0 0 0 0 0 2 0 26 1
smallest memory 2 0 4 0 0 2 0 11 10
D05N010

1.3113E+0008 5.5537E+0009 10 10 (expected value)

7.00 4.00 7.00 7.00 (confidence rate)

1.3113E+0008 ? 10 10
T-TT
--:-- / 5.25
1.3113E+0008 ? 10 10
T-TT
--:-- / 5.25
1.3113E+0008 ? 10 10
T-TT
--:-- / 5.25
CC

0
DNF

0
1.3113E+0008 5.5537E+0009 10 10
TTTT
--:-M / 6.00
1.3113E+0008 5.5537E+0009 10 10
TTTT
--:-- / 6.00
1.3113E+0008 5.5537E+0009 10 10
TTTT
--:-- / 6.00
1.3113E+0008 5.5537E+0009 10 10
TTTT
--:P- / 6.00
D05N050

1.7530E+0019 1.7056E+0021 50 50 (expected value)

7.00 4.00 7.00 7.00 (confidence rate)

1.7530E+0019 ? 50 50
T-TT
--:-- / 5.25
1.7530E+0019 ? 50 50
T-TT
--:-- / 5.25
1.7530E+0019 ? 50 50
T-TT
--:-- / 5.25
CC

0
DNF

0
1.7530E+0019 1.7056E+0021 50 50
TTTT
--:P- / 6.00
1.7530E+0019 1.7056E+0021 50 50
TTTT
--:-- / 6.00
1.7530E+0019 1.7056E+0021 50 50
TTTT
--:-- / 6.00
1.7530E+0019 1.7056E+0021 50 50
TTTT
--:-M / 6.00
D05N100

2.6011E+0025 3.0206E+0027 100 100 (expected value)

5.00 2.00 5.00 5.00 (confidence rate)

2.6011E+0025 ? 100 100
T-TT
--:-- / 5.25
2.6011E+0025 ? 100 100
T-TT
--:-- / 5.25
DNF

0
CC

0
DNF

0
2.6011E+0025 ? 100 100
T-TT
--:-- / 5.25
CC

0
2.6011E+0025 3.0206E+0027 100 100
TTTT
--:P- / 6.00
2.6011E+0025 3.0206E+0027 100 100
TTTT
--:-M / 6.00
D05N150

1.8126E+0029 2.2501E+0031 150 150 (expected value)

5.00 1 5.00 5.00 (confidence rate)

1.8126E+0029 ? 150 150
T-TT
--:-- / 5.25
1.8126E+0029 ? 150 150
T-TT
--:-- / 5.25
DNF

0
CC

0
DNF

0
1.8126E+0029 ? 150 150
T-TT
--:-- / 5.25
CC

0
1.8126E+0029 2.2501E+0031 150 150
TTTT
--:P- / 6.00
1.8126E+0029 ? 150 150
T-TT
--:-M / 5.25
D05N200

1.1439E+0032 1.4707E+0034 200 200 (expected value)

5.00 1 5.00 5.00 (confidence rate)

1.1439E+0032 ? 200 200
T-TT
--:-- / 5.25
1.1439E+0032 ? 200 200
T-TT
--:-- / 5.25
DNF

0
CC

0
DNF

0
1.1439E+0032 ? 200 200
T-TT
--:-- / 5.25
CC

0
1.1439E+0032 1.4707E+0034 200 200
TTTT
--:P- / 6.00
1.1439E+0032 ? 200 200
T-TT
--:-M / 5.25
D05N250

1.8314E+0034 2.4062E+0036 250 250 (expected value)

5.00 1 5.00 5.00 (confidence rate)

1.8314E+0034 ? 250 250
T-TT
--:-- / 5.25
1.8314E+0034 ? 250 250
T-TT
--:-- / 5.25
DNF

0
CC

0
DNF

0
1.8314E+0034 ? 250 250
T-TT
--:-- / 5.25
CC

0
1.8314E+0034 2.4062E+0036 250 250
TTTT
--:P- / 6.00
1.8314E+0034 ? 250 250
T-TT
--:-M / 5.25
D05N300

1.2054E+0036 1.6072E+0038 300 300 (expected value)

4.00 1 4.00 4.00 (confidence rate)

1.2054E+0036 ? 300 300
T-TT
--:-- / 5.25
1.2054E+0036 ? 300 300
T-TT
--:-- / 5.25
DNF

0
CC

0
DNF

0
DNF

0
CC

0
1.2054E+0036 1.6072E+0038 300 300
TTTT
--:P- / 6.00
1.2054E+0036 ? 300 300
T-TT
--:-M / 5.25
D05N350

4.2539E+0037 5.7325E+0039 350 350 (expected value)

3.00 1 3.00 3.00 (confidence rate)

4.2539E+0037 ? 350 350
T-TT
--:-M / 5.25
4.2539E+0037 ? 350 350
T-TT
--:-- / 5.25
DNF

0
CC

0
DNF

0
DNF

0
CC

0
4.2539E+0037 5.7325E+0039 350 350
TTTT
--:P- / 6.00
DNF

0
D10N010

4.2634E+0013 2.6754E+0015 10 10 (expected value)

7.00 4.00 7.00 7.00 (confidence rate)

4.2634E+0013 ? 10 10
T-TT
--:-- / 5.25
4.2634E+0013 ? 10 10
T-TT
--:-- / 5.25
4.2634E+0013 ? 10 10
T-TT
--:-- / 5.25
CC

0
DNF

0
4.2634E+0013 2.6754E+0015 10 10
TTTT
--:P- / 6.00
4.2634E+0013 2.6754E+0015 10 10
TTTT
--:-- / 6.00
4.2634E+0013 2.6754E+0015 10 10
TTTT
--:-- / 6.00
4.2634E+0013 2.6754E+0015 10 10
TTTT
--:-M / 6.00
D10N050

1.3419E+0040 3.0801E+0042 50 50 (expected value)

6.00 4.00 6.00 6.00 (confidence rate)

1.3419E+0040 ? 50 50
T-TT
--:-- / 5.25
1.3419E+0040 ? 50 50
T-TT
--:-- / 5.25
DNF

0
CC

0
DNF

0
1.3419E+0040 3.0801E+0042 50 50
TTTT
--:-- / 6.00
1.3419E+0040 3.0801E+0042 50 50
TTTT
--:-- / 6.00
1.3419E+0040 3.0801E+0042 50 50
TTTT
--:P- / 6.00
1.3419E+0040 3.0801E+0042 50 50
TTTT
--:-M / 6.00
D10N100

4.5274E+0058 1.5562E+0061 100 100 (expected value)

5.00 3.00 5.00 5.00 (confidence rate)

4.5274E+0058 ? 100 100
T-TT
--:-- / 5.25
4.5274E+0058 ? 100 100
T-TT
--:-- / 5.25
DNF

0
CC

0
DNF

0
4.5274E+0058 1.5562E+0061 100 100
TTTT
--:-- / 6.00
CC

0
4.5274E+0058 1.5562E+0061 100 100
TTTT
--:P- / 6.00
4.5274E+0058 1.5562E+0061 100 100
TTTT
--:-M / 6.00
D10N150

2.4252E+0071 9.9930E+0073 150 150 (expected value)

5.00 3.00 5.00 5.00 (confidence rate)

2.4252E+0071 ? 150 150
T-TT
--:-- / 5.25
2.4252E+0071 ? 150 150
T-TT
--:-- / 5.25
DNF

0
CC

0
DNF

0
2.4252E+0071 9.9930E+0073 150 150
TTTT
--:-- / 6.00
CC

0
2.4252E+0071 9.9930E+0073 150 150
TTTT
--:P- / 6.00
2.4252E+0071 9.9930E+0073 150 150
TTTT
--:-M / 6.00
D10N200

1.3861E+0081 6.3417E+0083 200 200 (expected value)

5.00 3.00 5.00 5.00 (confidence rate)

1.3861E+0081 ? 200 200
T-TT
--:-- / 5.25
1.3861E+0081 ? 200 200
T-TT
--:-- / 5.25
DNF

0
CC

0
DNF

0
1.3861E+0081 6.3417E+0083 200 200
TTTT
--:-M / 6.00
CC

0
1.3861E+0081 6.3417E+0083 200 200
TTTT
--:P- / 6.00
1.3861E+0081 6.3417E+0083 200 200
TTTT
--:-- / 6.00
D20N010

3.2308E+0019 2.3414E+0021 10 10 (expected value)

7.00 4.00 7.00 7.00 (confidence rate)

3.2308E+0019 ? 10 10
T-TT
--:-- / 5.25
3.2308E+0019 ? 10 10
T-TT
--:-- / 5.25
3.2308E+0019 ? 10 10
T-TT
--:-M / 5.25
CC

0
DNF

0
3.2308E+0019 2.3414E+0021 10 10
TTTT
--:-- / 6.00
3.2308E+0019 2.3414E+0021 10 10
TTTT
--:-- / 6.00
3.2308E+0019 2.3414E+0021 10 10
TTTT
--:P- / 6.00
3.2308E+0019 2.3414E+0021 10 10
TTTT
--:-- / 6.00
D20N050

7.9113E+0066 2.6113E+0069 50 50 (expected value)

6.00 4.00 6.00 6.00 (confidence rate)

7.9113E+0066 ? 50 50
T-TT
--:-M / 5.25
7.9113E+0066 ? 50 50
T-TT
--:-- / 5.25
DNF

0
CC

0
DNF

0
7.9113E+0066 2.6113E+0069 50 50
TTTT
--:-- / 6.00
7.9113E+0066 2.6113E+0069 50 50
TTTT
--:-- / 6.00
7.9113E+0066 2.6113E+0069 50 50
TTTT
--:P- / 6.00
7.9113E+0066 2.6113E+0069 50 50
TTTT
--:-- / 6.00
D20N100

1.6334E+0107 9.7019E+0109 100 100 (expected value)

5.00 3.00 5.00 5.00 (confidence rate)

1.6334E+0107 ? 100 100
T-TT
--:-- / 5.25
1.6334E+0107 ? 100 100
T-TT
--:-- / 5.25
DNF

0
CC

0
DNF

0
1.6334E+0107 9.7019E+0109 100 100
TTTT
--:-- / 6.00
CC

0
1.6334E+0107 9.7019E+0109 100 100
TTTT
--:PM / 6.00
1.6334E+0107 9.7019E+0109 100 100
TTTT
--:-- / 6.00
D20N150

2.5424E+0138 2.0589E+0141 150 150 (expected value)

5.00 3.00 5.00 5.00 (confidence rate)

2.5424E+0138 ? 150 150
T-TT
--:-- / 5.25
2.5424E+0138 ? 150 150
T-TT
--:-- / 5.25
DNF

0
CC

0
DNF

0
2.5424E+0138 2.0589E+0141 150 150
TTTT
--:-- / 6.00
CC

0
2.5424E+0138 2.0589E+0141 150 150
TTTT
--:PM / 6.00
2.5424E+0138 2.0589E+0141 150 150
TTTT
--:-- / 6.00
D30N010

1.0100E+0023 7.6041E+0024 10 10 (expected value)

7.00 4.00 7.00 7.00 (confidence rate)

1.0100E+0023 ? 10 10
T-TT
--:-- / 5.25
1.0100E+0023 ? 10 10
T-TT
--:-- / 5.25
1.0100E+0023 ? 10 10
T-TT
--:-M / 5.25
CC

0
DNF

0
1.0100E+0023 7.6041E+0024 10 10
TTTT
--:-- / 6.00
1.0100E+0023 7.6041E+0024 10 10
TTTT
--:-- / 6.00
1.0100E+0023 7.6041E+0024 10 10
TTTT
--:P- / 6.00
1.0100E+0023 7.6041E+0024 10 10
TTTT
--:-- / 6.00
D30N050

6.4510E+0083 2.3262E+0086 50 50 (expected value)

6.00 4.00 6.00 6.00 (confidence rate)

6.4510E+0083 ? 50 50
T-TT
--:-- / 5.25
6.4510E+0083 ? 50 50
T-TT
--:-- / 5.25
DNF

0
CC

0
DNF

0
6.4510E+0083 2.3262E+0086 50 50
TTTT
--:-- / 6.00
6.4510E+0083 2.3262E+0086 50 50
TTTT
--:-- / 6.00
6.4510E+0083 2.3262E+0086 50 50
TTTT
--:PM / 6.00
6.4510E+0083 2.3262E+0086 50 50
TTTT
--:-- / 6.00
D30N100

5.7465E+0139 3.9369E+0142 100 100 (expected value)

4.00 3.00 4.00 4.00 (confidence rate)

5.7465E+0139 ? 100 100
T-TT
--:-- / 5.25
CC

0
DNF

0
CC

0
DNF

0
5.7465E+0139 3.9369E+0142 100 100
TTTT
--:-- / 6.00
CC

0
5.7465E+0139 3.9369E+0142 100 100
TTTT
--:PM / 6.00
5.7465E+0139 3.9369E+0142 100 100
TTTT
--:-- / 6.00
D30N150

3.1330E+0185 3.0661E+0188 150 150 (expected value)

2 1 2 2 (confidence rate)

3.1330E+0185 ? 150 150
T-TT
--:-- / 5.25
CC

0
DNF

0
CC

0
DNF

0
CC

0
CC

0
3.1330E+0185 3.0661E+0188 150 150
TTTT
--:PM / 6.00
CC

0
D40N010

3.1162E+0025 2.3868E+0027 10 10 (expected value)

7.00 4.00 7.00 7.00 (confidence rate)

3.1162E+0025 ? 10 10
T-TT
--:-- / 5.25
3.1162E+0025 ? 10 10
T-TT
--:-- / 5.25
3.1162E+0025 ? 10 10
T-TT
--:-M / 5.25
CC

0
DNF

0
3.1162E+0025 2.3868E+0027 10 10
TTTT
--:-- / 6.00
3.1162E+0025 2.3868E+0027 10 10
TTTT
--:-- / 6.00
3.1162E+0025 2.3868E+0027 10 10
TTTT
--:P- / 6.00
3.1162E+0025 2.3868E+0027 10 10
TTTT
--:-- / 6.00
D40N050

1.1273E+0096 4.2126E+0098 50 50 (expected value)

4.00 1 4.00 4.00 (confidence rate)

1.1273E+0096 ? 50 50
T-TT
--:-- / 5.25
1.1273E+0096 ? 50 50
T-TT
--:-- / 5.25
DNF

0
CC

0
DNF

0
CC

0
1.1273E+0096 ? 50 50
T-TT
--:-- / 5.25
1.1273E+0096 4.2126E+0098 50 50
TTTT
--:PM / 6.00
CC

0
D40N100

5.7356E+0163 4.1604E+0166 100 100 (expected value)

2 1 2 2 (confidence rate)

5.7356E+0163 ? 100 100
T-TT
--:-- / 5.25
CC

0
DNF

0
CC

0
DNF

0
CC

0
CC

0
5.7356E+0163 4.1604E+0166 100 100
TTTT
--:PM / 6.00
CC

0
D40N150

6.3692E+0220 6.7319E+0223 150 150 (expected value)

1 1 1 1 (confidence rate)

CC

0
CC

0
DNF

0
CC

0
DNF

0
CC

0
CC

0
6.3692E+0220 6.7319E+0223 150 150
TTTT
--:PM / 6.00
CC

0
D50N010

2.6757E+0027 2.0694E+0029 10 10 (expected value)

7.00 4.00 7.00 7.00 (confidence rate)

2.6757E+0027 ? 10 10
T-TT
--:-- / 5.25
2.6757E+0027 ? 10 10
T-TT
--:-- / 5.25
2.6757E+0027 ? 10 10
T-TT
--:-M / 5.25
CC

0
DNF

0
2.6757E+0027 2.0694E+0029 10 10
TTTT
--:-- / 6.00
2.6757E+0027 2.0694E+0029 10 10
TTTT
--:-- / 6.00
2.6757E+0027 2.0694E+0029 10 10
TTTT
--:P- / 6.00
2.6757E+0027 2.0694E+0029 10 10
TTTT
--:-- / 6.00
D50N050

4.2203E+0105 1.6063E+0108 50 50 (expected value)

2 1 2 2 (confidence rate)

4.2203E+0105 ? 50 50
T-TT
--:-- / 5.25
CC

0
DNF

0
CC

0
DNF

0
CC

0
CC

0
4.2203E+0105 1.6063E+0108 50 50
TTTT
--:PM / 6.00
CC

0
D50N100

4.7067E+0182 3.5140E+0185 100 100 (expected value)

1 1 1 1 (confidence rate)

CC

0
CC

0
DNF

0
CC

0
DNF

0
CC

0
CC

0
4.7067E+0182 3.5140E+0185 100 100
TTTT
--:PM / 6.00
CC

0
D50N150

6.8837E+0248 7.5635E+0251 150 150 (expected value)

1 1 1 1 (confidence rate)

DNF

0
CC

0
DNF

0
CC

0
DNF

0
CC

0
CC

0
6.8837E+0248 7.5635E+0251 150 150
TTTT
--:PM / 6.00
CC

0
DrinkVendingMachine — Colored (95.63 pts max)
  ITS-Tools ITS-Tools.M LTSMin Tapaal enPAC GreatSPN smart TINA.tedd 2018-Gold
Score 23.90 11.95 0.00 11.95 0.00 27.31 0.00 27.31 27.31
fastest 0 0 0 1 0 0 0 1 0
smallest memory 1 0 0 1 0 0 0 0 0
02

1024 7680 1 12 (expected value)

6.00 3.00 6.00 6.00 (confidence rate)

1024 ? 1 12
T-TT
--:-- / 11.95
1024 ? 1 12
T-TT
--:-- / 11.95
DNC 1024 ? 1 12
T-TT
--:PM / 11.95
DNC 1024 7680 1 12
TTTT
--:-- / 13.66
DNC 1024 7680 1 12
TTTT
--:-- / 13.66
1024 7680 1 12
TTTT
--:-- / 13.66
10

1.1529E+0018 3.4501E+0021 1 60 (expected value)

4.00 3.00 4.00 4.00 (confidence rate)

1.1529E+0018 ? 1 60
T-TT
--:-M / 11.95
CC

0
DNC CC

0
DNC 1.1529E+0018 3.4501E+0021 1 60
TTTT
--:-- / 13.66
DNC 1.1529E+0018 3.4501E+0021 1 60
TTTT
--:P- / 13.66
1.1529E+0018 3.4501E+0021 1 60
TTTT
--:-- / 13.66
16

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNC CC

0
DNC CC

0
DNC CC

0
CC

0
24

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNC CC

0
DNC DNF

0
DNC DNF

0
DNF

0
48

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
DNC CC

0
DNC DNF

0
DNC CC

0
DNF

0
76

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNC CC

0
DNC DNF

0
DNC CC

0
DNF

0
98

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
DNC CC

0
DNC DNF

0
DNC CC

0
DNF

0
DrinkVendingMachine — P/T (27.31 pts max)
  ITS-Tools ITS-Tools.M LTSMin Tapaal enPAC GreatSPN smart TINA.tedd 2018-Gold
Score 23.90 11.95 11.95 11.95 8.54 27.31 13.66 27.31 27.31
fastest 0 0 0 1 0 0 0 1 0
smallest memory 0 0 0 0 1 0 0 0 1
02

1024 7680 1 12 (expected value)

8.86 4.00 8.00 8.00 (confidence rate)

1024 ? 1 12
T-TT
--:-- / 11.95
1024 ? 1 12
T-TT
--:-- / 11.95
1024 ? 1 12
T-TT
--:-- / 11.95
1024 ? 1 12
T-TT
--:P- / 11.95
1024 ? ? ?
T---
--:-M / 8.54
1024 7680 1 12
TTTT
--:-- / 13.66
1024 7680 1 12
TTTT
--:-- / 13.66
1024 7680 1 12
TTTT
--:-- / 13.66
1024 7680 1 12
TTTT
--:-- / 13.66
10

1.1529E+0018 3.4501E+0021 1 60 (expected value)

4.00 3.00 4.00 4.00 (confidence rate)

1.1529E+0018 ? 1 60
T-TT
--:-- / 11.95
CC

0
DNF

0
CC

0
CC

0
1.1529E+0018 3.4501E+0021 1 60
TTTT
--:-- / 13.66
DNF

0
1.1529E+0018 3.4501E+0021 1 60
TTTT
--:P- / 13.66
1.1529E+0018 3.4501E+0021 1 60
TTTT
--:-M / 13.66
ERK — P/T (115.30 pts max)
  ITS-Tools ITS-Tools.M LTSMin Tapaal enPAC GreatSPN smart TINA.tedd 2018-Gold
Score 50.43 67.23 50.43 33.62 0.00 76.88 76.88 115.31 76.88
fastest 0 0 0 0 1 1 0 3 1
smallest memory 0 0 0 0 1 0 1 2 2
000001

13 30 1 5 (expected value)

8.86 4.00 8.00 8.00 (confidence rate)

13 ? 1 5
T-TT
--:-- / 16.80
13 ? 1 5
T-TT
--:-- / 16.80
13 ? 1 5
T-TT
--:-- / 16.80
13 ? 1 5
T-TT
--:-- / 16.80
13 ? ? ?
T---
--:PM / 12.01
13 30 1 5
TTTT
--:-- / 19.22
13 30 1 5
TTTT
--:-- / 19.22
13 30 1 5
TTTT
--:-- / 19.22
13 30 1 5
TTTT
--:-- / 19.22
000010

47047 3.7237E+0005 10 50 (expected value)

8.86 4.00 8.00 8.00 (confidence rate)

47047 ? 10 50
T-TT
--:-- / 16.80
47047 ? 10 50
T-TT
--:-- / 16.80
47047 ? 10 50
T-TT
--:-- / 16.80
47047 ? 10 50
T-TT
--:-- / 16.80
47047 ? ? ?
T---
--:-- / 12.01
47047 3.7237E+0005 10 50
TTTT
--:-- / 19.22
47047 3.7237E+0005 10 50
TTTT
--:-- / 19.22
47047 3.7237E+0005 10 50
TTTT
--:-- / 19.22
47047 3.7237E+0005 10 50
TTTT
--:PM / 19.22
000100

1.5914E+0010 1.6845E+0011 100 500 (expected value)

7.00 4.00 7.00 7.00 (confidence rate)

1.5914E+0010 ? 100 500
T-TT
--:-- / 16.80
1.5914E+0010 ? 100 500
T-TT
--:-- / 16.80
1.5914E+0010 ? 100 500
T-TT
--:-- / 16.80
CC

0
DNF

0
1.5914E+0010 1.6845E+0011 100 500
TTTT
--:P- / 19.22
1.5914E+0010 1.6845E+0011 100 500
TTTT
--:-- / 19.22
1.5914E+0010 1.6845E+0011 100 500
TTTT
--:-- / 19.22
1.5914E+0010 1.6845E+0011 100 500
TTTT
--:-M / 19.22
001000

1.4082E+0016 1.5429E+0017 1000 5000 (expected value)

5.00 4.00 5.00 5.00 (confidence rate)

CC

0
1.4082E+0016 ? 1000 5000
T-TT
--:-- / 16.80
CC

0
CC

0
DNF

0
1.4082E+0016 1.5429E+0017 1000 5000
TTTT
--:-- / 19.22
1.4082E+0016 1.5429E+0017 1000 5000
TTTT
--:-M / 19.22
1.4082E+0016 1.5429E+0017 1000 5000
TTTT
--:P- / 19.22
1.4082E+0016 1.5429E+0017 1000 5000
TTTT
--:-- / 19.22
010000

1.3908E+0022 1.5293E+0023 10000 50000 (expected value)

1 1 1 1 (confidence rate)

CC

0
CC

0
CC

0
CC

0
6 ? ? ?
X---
V-:-- / -24.02
DNF

0
CC

0
1.3908E+0022 1.5293E+0023 10000 50000
TTTT
--:PM / 19.22
DNF

0
100000

1.3891E+0028 1.5279E+0029 1.0000E+0005 5.0000E+0005 (expected value)

1 1 1 1 (confidence rate)

CC

0
CC

0
CC

0
CC

0
DNF

0
DNF

0
DNF

0
1.3891E+0028 1.5279E+0029 1.0000E+0005 5.0000E+0005
TTTT
--:PM / 19.22
DNF

0
Echo — P/T (122.95 pts max)
  ITS-Tools ITS-Tools.M LTSMin Tapaal enPAC GreatSPN smart TINA.tedd 2018-Gold
Score 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
fastest 0 0 0 0 0 0 0 0 0
smallest memory 0 0 0 0 0 0 0 0 0
d02r09

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
d02r11

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
d02r15

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
d02r19

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
d03r03

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
d03r05

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
d03r07

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
d04r03

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
d05r03

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
EnergyBus — P/T (102.55 pts max)
  ITS-Tools ITS-Tools.M LTSMin Tapaal enPAC GreatSPN smart TINA.tedd 2018-Gold
Score 89.73 89.73 0.00 0.00 0.00 102.55 0.00 102.55 102.55
fastest 0 0 0 0 0 0 0 1 0
smallest memory 0 0 0 0 0 0 0 0 1
none

2.1318E+0012 4.0859E+0013 1 22 (expected value)

5.00 3.00 5.00 5.00 (confidence rate)

2.1318E+0012 ? 1 22
T-TT
--:-- / 89.73
2.1318E+0012 ? 1 22
T-TT
--:-- / 89.73
DNF

0
CC

0
DNF

0
2.1318E+0012 4.0859E+0013 1 22
TTTT
--:-- / 102.55
DNF

0
2.1318E+0012 4.0859E+0013 1 22
TTTT
--:P- / 102.55
2.1318E+0012 4.0859E+0013 1 22
TTTT
--:-M / 102.55
Eratosthenes — P/T (115.30 pts max)
  ITS-Tools ITS-Tools.M LTSMin Tapaal enPAC GreatSPN smart TINA.tedd 2018-Gold
Score 100.86 100.86 100.86 33.62 24.02 115.31 57.66 115.31 115.31
fastest 0 0 4 0 1 1 0 0 0
smallest memory 0 0 0 0 0 0 0 0 6
010

32 120 1 9 (expected value)

8.86 4.00 8.00 8.00 (confidence rate)

32 ? 1 9
T-TT
--:-- / 16.80
32 ? 1 9
T-TT
--:-- / 16.80
32 ? 1 9
T-TT
--:-- / 16.80
32 ? 1 9
T-TT
--:-- / 16.80
32 ? ? ?
T---
--:P- / 12.01
32 120 1 9
TTTT
--:-- / 19.22
32 120 1 9
TTTT
--:-- / 19.22
32 120 1 9
TTTT
--:-- / 19.22
32 120 1 9
TTTT
--:-M / 19.22
020

2048 23040 1 19 (expected value)

8.86 4.00 8.00 8.00 (confidence rate)

2048 ? 1 19
T-TT
--:-- / 16.80
2048 ? 1 19
T-TT
--:-- / 16.80
2048 ? 1 19
T-TT
--:P- / 16.80
2048 ? 1 19
T-TT
--:-- / 16.80
2048 ? ? ?
T---
--:-- / 12.01
2048 23040 1 19
TTTT
--:-- / 19.22
2048 23040 1 19
TTTT
--:-- / 19.22
2048 23040 1 19
TTTT
--:-- / 19.22
2048 23040 1 19
TTTT
--:-M / 19.22
050

1.7180E+0010 7.3014E+0011 1 49 (expected value)

7.00 4.00 7.00 7.00 (confidence rate)

1.7180E+0010 ? 1 49
T-TT
--:-- / 16.80
1.7180E+0010 ? 1 49
T-TT
--:-- / 16.80
1.7180E+0010 ? 1 49
T-TT
--:-- / 16.80
CC

0
DNF

0
1.7180E+0010 7.3014E+0011 1 49
TTTT
--:P- / 19.22
1.7180E+0010 7.3014E+0011 1 49
TTTT
--:-- / 19.22
1.7180E+0010 7.3014E+0011 1 49
TTTT
--:-- / 19.22
1.7180E+0010 7.3014E+0011 1 49
TTTT
--:-M / 19.22
100

1.8889E+0022 2.0259E+0024 1 99 (expected value)

6.00 3.00 6.00 6.00 (confidence rate)

1.8889E+0022 ? 1 99
T-TT
--:-- / 16.80
1.8889E+0022 ? 1 99
T-TT
--:-- / 16.80
1.8889E+0022 ? 1 99
T-TT
--:P- / 16.80
CC

0
DNF

0
1.8889E+0022 2.0259E+0024 1 99
TTTT
--:-- / 19.22
CC

0
1.8889E+0022 2.0259E+0024 1 99
TTTT
--:-- / 19.22
1.8889E+0022 2.0259E+0024 1 99
TTTT
--:-M / 19.22
200

1.1418E+0046 2.9173E+0048 1 199 (expected value)

6.00 3.00 6.00 6.00 (confidence rate)

1.1418E+0046 ? 1 199
T-TT
--:-- / 16.80
1.1418E+0046 ? 1 199
T-TT
--:-- / 16.80
1.1418E+0046 ? 1 199
T-TT
--:P- / 16.80
CC

0
DNF

0
1.1418E+0046 2.9173E+0048 1 199
TTTT
--:-- / 19.22
CC

0
1.1418E+0046 2.9173E+0048 1 199
TTTT
--:-- / 19.22
1.1418E+0046 2.9173E+0048 1 199
TTTT
--:-M / 19.22
500

4.1316E+0121 3.2061E+0124 1 499 (expected value)

6.00 3.00 6.00 6.00 (confidence rate)

4.1316E+0121 ? 1 499
T-TT
--:-- / 16.80
4.1316E+0121 ? 1 499
T-TT
--:-- / 16.80
4.1316E+0121 ? 1 499
T-TT
--:P- / 16.80
CC

0
DNF

0
4.1316E+0121 3.2061E+0124 1 499
TTTT
--:-- / 19.22
CC

0
4.1316E+0121 3.2061E+0124 1 499
TTTT
--:-- / 19.22
4.1316E+0121 3.2061E+0124 1 499
TTTT
--:-M / 19.22
FMS — P/T (135.70 pts max)
  ITS-Tools ITS-Tools.M LTSMin Tapaal enPAC GreatSPN smart TINA.tedd 2018-Gold
Score 59.36 59.36 59.36 16.95 6.05 77.52 67.83 67.83 77.52
fastest 0 0 0 0 1 1 1 0 6
smallest memory 0 0 0 0 1 1 0 0 7
00002

3444 16311 3 12 (expected value)

8.86 4.00 8.00 8.00 (confidence rate)

3444 ? 3 12
T-TT
--:-- / 8.48
3444 ? 3 12
T-TT
--:-- / 8.48
3444 ? 3 12
T-TT
--:-- / 8.48
3444 ? 3 12
T-TT
--:-- / 8.48
3444 ? ? ?
T---
--:-- / 6.05
3444 16311 3 12
TTTT
--:-M / 9.69
3444 16311 3 12
TTTT
--:-- / 9.69
3444 16311 3 12
TTTT
--:-- / 9.69
3444 16311 3 12
TTTT
--:P- / 9.69
00005

2.8950E+0006 2.3527E+0007 5 21 (expected value)

8.00 4.00 8.00 8.00 (confidence rate)

2.8950E+0006 ? 5 21
T-TT
--:-- / 8.48
2.8950E+0006 ? 5 21
T-TT
--:-- / 8.48
2.8950E+0006 ? 5 21
T-TT
--:-- / 8.48
2.8950E+0006 ? 5 21
T-TT
--:-- / 8.48
DNF

0
2.8950E+0006 2.3527E+0007 5 21
TTTT
--:P- / 9.69
2.8950E+0006 2.3527E+0007 5 21
TTTT
--:-- / 9.69
2.8950E+0006 2.3527E+0007 5 21
TTTT
--:-- / 9.69
2.8950E+0006 2.3527E+0007 5 21
TTTT
--:-M / 9.69
00010

2.5014E+0009 2.7568E+0010 10 36 (expected value)

7.00 4.00 7.00 7.00 (confidence rate)

2.5014E+0009 ? 10 36
T-TT
--:-- / 8.48
2.5014E+0009 ? 10 36
T-TT
--:-- / 8.48
2.5014E+0009 ? 10 36
T-TT
--:-- / 8.48
CC

0
DNF

0
2.5014E+0009 2.7568E+0010 10 36
TTTT
--:-- / 9.69
2.5014E+0009 2.7568E+0010 10 36
TTTT
--:-- / 9.69
2.5014E+0009 2.7568E+0010 10 36
TTTT
--:-- / 9.69
2.5014E+0009 2.7568E+0010 10 36
TTTT
--:PM / 9.69
00020

6.0292E+0012 8.1442E+0013 20 66 (expected value)

7.00 4.00 7.00 7.00 (confidence rate)

6.0292E+0012 ? 20 66
T-TT
--:-- / 8.48
6.0292E+0012 ? 20 66
T-TT
--:-- / 8.48
6.0292E+0012 ? 20 66
T-TT
--:-- / 8.48
CC

0
DNF

0
6.0292E+0012 8.1442E+0013 20 66
TTTT
--:-- / 9.69
6.0292E+0012 8.1442E+0013 20 66
TTTT
--:-- / 9.69
6.0292E+0012 8.1442E+0013 20 66
TTTT
--:-- / 9.69
6.0292E+0012 8.1442E+0013 20 66
TTTT
--:PM / 9.69
00050

4.2403E+0017 6.6135E+0018 50 156 (expected value)

7.00 4.00 7.00 7.00 (confidence rate)

4.2403E+0017 ? 50 156
T-TT
--:-- / 8.48
4.2403E+0017 ? 50 156
T-TT
--:-- / 8.48
4.2403E+0017 ? 50 156
T-TT
--:-- / 8.48
CC

0
DNF

0
4.2403E+0017 6.6135E+0018 50 156
TTTT
--:-- / 9.69
4.2403E+0017 6.6135E+0018 50 156
TTTT
--:-- / 9.69
4.2403E+0017 6.6135E+0018 50 156
TTTT
--:-- / 9.69
4.2403E+0017 6.6135E+0018 50 156
TTTT
--:PM / 9.69
00100

2.7031E+0021 4.4401E+0022 100 306 (expected value)

6.00 3.00 6.00 6.00 (confidence rate)

2.7031E+0021 ? 100 306
T-TT
--:-- / 8.48
2.7031E+0021 ? 100 306
T-TT
--:-- / 8.48
2.7031E+0021 ? 100 306
T-TT
--:-- / 8.48
CC

0
DNF

0
2.7031E+0021 4.4401E+0022 100 306
TTTT
--:-- / 9.69
CC

0
2.7031E+0021 4.4401E+0022 100 306
TTTT
--:-- / 9.69
2.7031E+0021 4.4401E+0022 100 306
TTTT
--:PM / 9.69
00200

1.9536E+0025 3.2957E+0026 200 606 (expected value)

7.00 4.00 7.00 7.00 (confidence rate)

1.9536E+0025 ? 200 606
T-TT
--:-- / 8.48
1.9536E+0025 ? 200 606
T-TT
--:-- / 8.48
1.9536E+0025 ? 200 606
T-TT
--:-- / 8.48
CC

0
DNF

0
1.9536E+0025 3.2957E+0026 200 606
TTTT
--:-- / 9.69
1.9536E+0025 3.2957E+0026 200 606
TTTT
--:-- / 9.69
1.9536E+0025 3.2957E+0026 200 606
TTTT
--:-- / 9.69
1.9536E+0025 3.2957E+0026 200 606
TTTT
--:PM / 9.69
00500

2.7006E+0030 4.6302E+0031 500 1506 (expected value)

3.00 3.00 3.00 3.00 (confidence rate)

DNF

0
CC

0
DNF

0
CC

0
DNF

0
2.7006E+0030 4.6302E+0031 500 1506
TTTT
--:-- / 9.69
2.7006E+0030 4.6302E+0031 500 1506
TTTT
--:P- / 9.69
DNF

0
2.7006E+0030 4.6302E+0031 500 1506
TTTT
--:-M / 9.69
01000

? (expected value)

0 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
DNF

0
DNF

0
CC

0
DNF

0
DNF

0
02000

? (expected value)

0 (confidence rate)

CC

0
CC

0
CC

0
CC

0
DNF

0
DNF

0
CC

0
DNF

0
DNF

0
05000

? (expected value)

0 (confidence rate)

CC

0
CC

0
CC

0
CC

0
DNF

0
DNF

0
CC

0
DNF

0
DNF

0
10000

(16) ? ? ? (expected value)

0.86 0 0 0 (confidence rate)

CC

0
CC

0
CC

0
CC

0
16 ? ? ?
????
--:PM / 0.00
DNF

0
DNF

0
DNF

0
DNF

0
20000

? (expected value)

0 (confidence rate)

CC

0
CC

0
CC

0
CC

0
DNF

0