fond
Model Checking Contest 2020
10th edition, Paris, France, June 23, 2020
Results for StateSpace
Last Updated
Jun 28, 2020

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, four 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, D when an inconsistency is detected between the Deadlock examination and the Liveness examination (for those two only), and U when an inconsistency is detected between the UpperBound examination and the OneSafe examination (for those only. Please note that the U flag is computed only on the 8 last values of UpperBound when the P/T net is derived from a Colored one because previous formulas are unfolded from those of the Colored Net. 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 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
  GreatSPN ITS-Tools Tapaal smart TINA.tedd 2019-Gold
Total Points 11390.83 9692.68 3479.69 6956.41 12179.15 11620.33

All «Surprise» models
 
  GreatSPN ITS-Tools Tapaal smart TINA.tedd 2019-Gold
Total Points 4106.59 3180.84 1127.36 2092.20 4019.20 3892.52
fastest 80 24 19 1 30 1
less memory 11 15 1 0 0 128
SatelliteMemory — P/T (451.00 pts max)
  GreatSPN ITS-Tools Tapaal smart TINA.tedd 2019-Gold
Score 349.52 169.16 315.68 360.80 270.59 270.59
fastest 0 0 3 1 0 0
smallest memory 0 0 1 0 0 3
X00100Y0003

76358 2.0948E+0005 100 298 (expected value)

5.99 3.99 5.99 5.99 (confidence rate)

76358 2.0948E+0005 100 298
TTTT
----:-- / 90.20
76358 ? 100 298
T-TT
----:-- / 78.91
76358 ? 100 298
T-TT
----:P- / 78.91
76358 2.0948E+0005 100 298
TTTT
----:-- / 90.20
76358 2.0948E+0005 100 298
TTTT
----:-- / 90.20
76358 2.0948E+0005 100 298
TTTT
----:-M / 90.20
X01000Y0032

7.4995E+0006 2.0619E+0007 1000 2940 (expected value)

5.99 3.99 5.99 4.99 (confidence rate)

7.4995E+0006 2.0619E+0007 1000 2940
TTTT
----:-- / 90.20
7.4995E+0006 ? 1000 2939
T-TX
V---:-- / 45.12
7.4995E+0006 ? 1000 2940
T-TT
----:-- / 78.91
7.4995E+0006 2.0619E+0007 1000 2940
TTTT
----:P- / 90.20
7.4995E+0006 2.0619E+0007 1000 2940
TTTT
----:-- / 90.20
7.4995E+0006 2.0619E+0007 1000 2940
TTTT
----:-M / 90.20
X01500Y0046

1.6913E+0007 4.6504E+0007 1500 4412 (expected value)

5.99 3.99 5.99 4.99 (confidence rate)

1.6913E+0007 4.6504E+0007 1500 4412
TTTT
----:-- / 90.20
1.6913E+0007 ? 1500 4411
T-TX
V---:-- / 45.12
1.6913E+0007 ? 1500 4412
T-TT
----:P- / 78.91
1.6913E+0007 4.6504E+0007 1500 4412
TTTT
----:-- / 90.20
1.6913E+0007 4.6504E+0007 1500 4412
TTTT
----:-- / 90.20
1.6913E+0007 4.6504E+0007 1500 4412
TTTT
----:-M / 90.20
X03000Y0094

6.7523E+0007 1.8567E+0008 3000 8816 (expected value)

2.99 1.00 2.99 2.99 (confidence rate)

6.7523E+0007 ? 3000 8816
T-TT
----:-- / 78.91
DNF

0
6.7523E+0007 ? 3000 8816
T-TT
----:PM / 78.91
6.7523E+0007 1.8567E+0008 3000 8816
TTTT
----:-- / 90.20
DNF

0
DNF

0
X65535Y2048

? (expected value)

0 (confidence rate)

DNF

0
CC

0
CC

0
DNF

0
DNF

0
DNF

0
ShieldIIPs — P/T (624.40 pts max)
  GreatSPN ITS-Tools Tapaal smart TINA.tedd 2019-Gold
Score 312.40 198.72 74.52 142.00 340.80 340.80
fastest 9 0 1 0 3 0
smallest memory 1 0 0 0 0 12
001A

9143 36370 1 10 (expected value)

5.99 3.99 5.99 5.99 (confidence rate)

9143 36370 1 10
TTTT
----:-- / 28.40
9143 ? 1 10
T-TT
----:-- / 24.84
9143 ? 1 10
T-TT
----:P- / 24.84
9143 36370 1 10
TTTT
----:-- / 28.40
9143 36370 1 10
TTTT
----:-- / 28.40
9143 36370 1 10
TTTT
----:-M / 28.40
001B

8.6351E+0005 4.6011E+0006 1 10 (expected value)

5.99 3.99 5.99 5.99 (confidence rate)

8.6351E+0005 4.6011E+0006 1 10
TTTT
----:-- / 28.40
8.6351E+0005 ? 1 10
T-TT
----:-- / 24.84
8.6351E+0005 ? 1 10
T-TT
----:-- / 24.84
8.6351E+0005 4.6011E+0006 1 10
TTTT
----:-- / 28.40
8.6351E+0005 4.6011E+0006 1 10
TTTT
----:P- / 28.40
8.6351E+0005 4.6011E+0006 1 10
TTTT
----:-M / 28.40
002A

4.3960E+0007 3.1064E+0008 1 19 (expected value)

5.99 3.99 5.99 5.99 (confidence rate)

4.3960E+0007 3.1064E+0008 1 19
TTTT
----:P- / 28.40
4.3960E+0007 ? 1 19
T-TT
----:-- / 24.84
4.3960E+0007 ? 1 19
T-TT
----:-- / 24.84
4.3960E+0007 3.1064E+0008 1 19
TTTT
----:-- / 28.40
4.3960E+0007 3.1064E+0008 1 19
TTTT
----:-- / 28.40
4.3960E+0007 3.1064E+0008 1 19
TTTT
----:-M / 28.40
002B

2.5877E+0011 2.5394E+0012 1 19 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

2.5877E+0011 2.5394E+0012 1 19
TTTT
----:P- / 28.40
2.5877E+0011 ? 1 19
T-TT
----:-- / 24.84
CC

0
2.5877E+0011 2.5394E+0012 1 19
TTTT
----:-- / 28.40
2.5877E+0011 2.5394E+0012 1 19
TTTT
----:-- / 28.40
2.5877E+0011 2.5394E+0012 1 19
TTTT
----:-M / 28.40
003A

2.1166E+0011 2.1490E+0012 1 28 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

2.1166E+0011 2.1490E+0012 1 28
TTTT
----:P- / 28.40
2.1166E+0011 ? 1 28
T-TT
----:-- / 24.84
CC

0
2.1166E+0011 2.1490E+0012 1 28
TTTT
----:-- / 28.40
2.1166E+0011 2.1490E+0012 1 28
TTTT
----:-- / 28.40
2.1166E+0011 2.1490E+0012 1 28
TTTT
----:-M / 28.40
003B

7.8269E+0016 1.1189E+0018 1 28 (expected value)

3.99 2.99 3.99 3.99 (confidence rate)

7.8269E+0016 1.1189E+0018 1 28
TTTT
----:P- / 28.40
7.8269E+0016 ? 1 28
T-TT
----:-- / 24.84
CC

0
DNF

0
7.8269E+0016 1.1189E+0018 1 28
TTTT
----:-- / 28.40
7.8269E+0016 1.1189E+0018 1 28
TTTT
----:-M / 28.40
004A

1.0191E+0015 1.3493E+0016 1 37 (expected value)

3.99 2.99 3.99 3.99 (confidence rate)

1.0191E+0015 1.3493E+0016 1 37
TTTT
----:P- / 28.40
1.0191E+0015 ? 1 37
T-TT
----:-- / 24.84
CC

0
CC

0
1.0191E+0015 1.3493E+0016 1 37
TTTT
----:-- / 28.40
1.0191E+0015 1.3493E+0016 1 37
TTTT
----:-M / 28.40
004B

2.3714E+0022 4.4531E+0023 1 37 (expected value)

2.99 2.99 2.99 2.99 (confidence rate)

2.3714E+0022 4.4531E+0023 1 37
TTTT
----:P- / 28.40
DNF

0
CC

0
DNF

0
2.3714E+0022 4.4531E+0023 1 37
TTTT
----:-- / 28.40
2.3714E+0022 4.4531E+0023 1 37
TTTT
----:-M / 28.40
005A

4.9070E+0018 8.0113E+0019 1 46 (expected value)

3.99 2.99 3.99 3.99 (confidence rate)

4.9070E+0018 8.0113E+0019 1 46
TTTT
----:P- / 28.40
4.9070E+0018 ? 1 46
T-TT
----:-- / 24.84
CC

0
CC

0
4.9070E+0018 8.0113E+0019 1 46
TTTT
----:-- / 28.40
4.9070E+0018 8.0113E+0019 1 46
TTTT
----:-M / 28.40
005B

7.1865E+0027 1.6716E+0029 1 46 (expected value)

0.99 0.99 0.99 0.99 (confidence rate)

7.1865E+0027 1.6716E+0029 1 46
TTTT
----:PM / 28.40
DNF

0
CC

0
CC

0
DNF

0
DNF

0
010A

1.2699E+0037 4.0331E+0038 1 91 (expected value)

2.99 2.99 2.99 2.99 (confidence rate)

1.2699E+0037 4.0331E+0038 1 91
TTTT
----:P- / 28.40
DNF

0
CC

0
DNF

0
1.2699E+0037 4.0331E+0038 1 91
TTTT
----:-- / 28.40
1.2699E+0037 4.0331E+0038 1 91
TTTT
----:-M / 28.40
010B

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
020A

8.5049E+0073 5.3263E+0075 1 181 (expected value)

2.00 2.00 2.00 2.00 (confidence rate)

DNF

0
DNF

0
CC

0
DNF

0
8.5049E+0073 5.3263E+0075 1 181
TTTT
----:P- / 28.40
8.5049E+0073 5.3263E+0075 1 181
TTTT
----:-M / 28.40
020B

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
030A

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
030B

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
040A

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
040B

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
050A

2.5549E+0184 3.9659E+0186 1 451 (expected value)

2.00 2.00 2.00 2.00 (confidence rate)

DNF

0
DNF

0
CC

0
DNF

0
2.5549E+0184 3.9659E+0186 1 451
TTTT
----:P- / 28.40
2.5549E+0184 3.9659E+0186 1 451
TTTT
----:-M / 28.40
050B

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
100A

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
100B

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
ShieldIIPt — P/T (624.40 pts max)
  GreatSPN ITS-Tools Tapaal smart TINA.tedd 2019-Gold
Score 482.80 397.44 74.52 227.20 482.80 482.80
fastest 13 1 1 0 2 0
smallest memory 0 0 0 0 0 17
001A

1281 6337 1 10 (expected value)

5.99 3.99 5.99 5.99 (confidence rate)

1281 6337 1 10
TTTT
----:-- / 28.40
1281 ? 1 10
T-TT
----:-- / 24.84
1281 ? 1 10
T-TT
----:P- / 24.84
1281 6337 1 10
TTTT
----:-- / 28.40
1281 6337 1 10
TTTT
----:-- / 28.40
1281 6337 1 10
TTTT
----:-M / 28.40
001B

3.2602E+0006 1.9512E+0007 1 10 (expected value)

5.99 3.99 5.99 5.99 (confidence rate)

3.2602E+0006 1.9512E+0007 1 10
TTTT
----:P- / 28.40
3.2602E+0006 ? 1 10
T-TT
----:-- / 24.84
3.2602E+0006 ? 1 10
T-TT
----:-- / 24.84
3.2602E+0006 1.9512E+0007 1 10
TTTT
----:-- / 28.40
3.2602E+0006 1.9512E+0007 1 10
TTTT
----:-- / 28.40
3.2602E+0006 1.9512E+0007 1 10
TTTT
----:-M / 28.40
002A

8.1920E+0005 7.2909E+0006 1 19 (expected value)

5.99 3.99 5.99 5.99 (confidence rate)

8.1920E+0005 7.2909E+0006 1 19
TTTT
----:P- / 28.40
8.1920E+0005 ? 1 19
T-TT
----:-- / 24.84
8.1920E+0005 ? 1 19
T-TT
----:-- / 24.84
8.1920E+0005 7.2909E+0006 1 19
TTTT
----:-- / 28.40
8.1920E+0005 7.2909E+0006 1 19
TTTT
----:-- / 28.40
8.1920E+0005 7.2909E+0006 1 19
TTTT
----:-M / 28.40
002B

3.4077E+0012 3.7972E+0013 1 19 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

3.4077E+0012 3.7972E+0013 1 19
TTTT
----:P- / 28.40
3.4077E+0012 ? 1 19
T-TT
----:-- / 24.84
CC

0
3.4077E+0012 3.7972E+0013 1 19
TTTT
----:-- / 28.40
3.4077E+0012 3.7972E+0013 1 19
TTTT
----:-- / 28.40
3.4077E+0012 3.7972E+0013 1 19
TTTT
----:-M / 28.40
003A

5.2429E+0008 6.7371E+0009 1 28 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

5.2429E+0008 6.7371E+0009 1 28
TTTT
----:-- / 28.40
5.2429E+0008 ? 1 28
T-TT
----:-- / 24.84
CC

0
5.2429E+0008 6.7371E+0009 1 28
TTTT
----:-- / 28.40
5.2429E+0008 6.7371E+0009 1 28
TTTT
----:P- / 28.40
5.2429E+0008 6.7371E+0009 1 28
TTTT
----:-M / 28.40
003B

3.5255E+0018 5.7476E+0019 1 28 (expected value)

3.99 2.99 3.99 3.99 (confidence rate)

3.5255E+0018 5.7476E+0019 1 28
TTTT
----:-- / 28.40
3.5255E+0018 ? 1 28
T-TT
----:-- / 24.84
CC

0
DNF

0
3.5255E+0018 5.7476E+0019 1 28
TTTT
----:P- / 28.40
3.5255E+0018 5.7476E+0019 1 28
TTTT
----:-M / 28.40
004A

3.3554E+0011 5.6371E+0012 1 37 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

3.3554E+0011 5.6371E+0012 1 37
TTTT
----:P- / 28.40
3.3554E+0011 ? 1 37
T-TT
----:-- / 24.84
CC

0
3.3554E+0011 5.6371E+0012 1 37
TTTT
----:-- / 28.40
3.3554E+0011 5.6371E+0012 1 37
TTTT
----:-- / 28.40
3.3554E+0011 5.6371E+0012 1 37
TTTT
----:-M / 28.40
004B

3.6463E+0024 7.8259E+0025 1 37 (expected value)

3.99 2.99 3.99 3.99 (confidence rate)

3.6463E+0024 7.8259E+0025 1 37
TTTT
----:P- / 28.40
3.6463E+0024 ? 1 37
T-TT
----:-- / 24.84
CC

0
DNF

0
3.6463E+0024 7.8259E+0025 1 37
TTTT
----:-- / 28.40
3.6463E+0024 7.8259E+0025 1 37
TTTT
----:-M / 28.40
005A

2.1475E+0014 4.4560E+0015 1 46 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

2.1475E+0014 4.4560E+0015 1 46
TTTT
----:P- / 28.40
2.1475E+0014 ? 1 46
T-TT
----:-- / 24.84
CC

0
2.1475E+0014 4.4560E+0015 1 46
TTTT
----:-- / 28.40
2.1475E+0014 4.4560E+0015 1 46
TTTT
----:-- / 28.40
2.1475E+0014 4.4560E+0015 1 46
TTTT
----:-M / 28.40
005B

3.7712E+0030 1.0040E+0032 1 46 (expected value)

3.99 2.99 3.99 3.99 (confidence rate)

3.7712E+0030 1.0040E+0032 1 46
TTTT
----:P- / 28.40
3.7712E+0030 ? 1 46
T-TT
----:-- / 24.84
CC

0
DNF

0
3.7712E+0030 1.0040E+0032 1 46
TTTT
----:-- / 28.40
3.7712E+0030 1.0040E+0032 1 46
TTTT
----:-M / 28.40
010A

2.3058E+0028 9.3387E+0029 1 91 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

2.3058E+0028 9.3387E+0029 1 91
TTTT
----:P- / 28.40
2.3058E+0028 ? 1 91
T-TT
----:-- / 24.84
CC

0
2.3058E+0028 9.3387E+0029 1 91
TTTT
----:-- / 28.40
2.3058E+0028 9.3387E+0029 1 91
TTTT
----:-- / 28.40
2.3058E+0028 9.3387E+0029 1 91
TTTT
----:-M / 28.40
010B

4.4630E+0060 2.3395E+0062 1 91 (expected value)

2.99 2.99 2.99 2.99 (confidence rate)

4.4630E+0060 2.3395E+0062 1 91
TTTT
----:P- / 28.40
DNF

0
CC

0
DNF

0
4.4630E+0060 2.3395E+0062 1 91
TTTT
----:-- / 28.40
4.4630E+0060 2.3395E+0062 1 91
TTTT
----:-M / 28.40
020A

2.6585E+0056 2.1268E+0058 1 181 (expected value)

3.99 2.99 3.99 3.99 (confidence rate)

2.6585E+0056 2.1268E+0058 1 181
TTTT
----:P- / 28.40
2.6585E+0056 ? 1 181
T-TT
----:-- / 24.84
CC

0
DNF

0
2.6585E+0056 2.1268E+0058 1 181
TTTT
----:-- / 28.40
2.6585E+0056 2.1268E+0058 1 181
TTTT
----:-M / 28.40
020B

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
030A

3.0650E+0084 3.6627E+0086 1 271 (expected value)

3.99 2.99 3.99 3.99 (confidence rate)

3.0650E+0084 3.6627E+0086 1 271
TTTT
----:P- / 28.40
3.0650E+0084 ? 1 271
T-TT
----:-- / 24.84
CC

0
DNF

0
3.0650E+0084 3.6627E+0086 1 271
TTTT
----:-- / 28.40
3.0650E+0084 3.6627E+0086 1 271
TTTT
----:-M / 28.40
030B

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
040A

3.5337E+0112 5.6186E+0114 1 361 (expected value)

3.99 2.99 3.99 3.99 (confidence rate)

3.5337E+0112 5.6186E+0114 1 361
TTTT
----:P- / 28.40
3.5337E+0112 ? 1 361
T-TT
----:-- / 24.84
CC

0
DNF

0
3.5337E+0112 5.6186E+0114 1 361
TTTT
----:-- / 28.40
3.5337E+0112 5.6186E+0114 1 361
TTTT
----:-M / 28.40
040B

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
050A

4.0741E+0140 8.0870E+0142 1 451 (expected value)

3.99 2.99 3.99 3.99 (confidence rate)

4.0741E+0140 8.0870E+0142 1 451
TTTT
----:P- / 28.40
4.0741E+0140 ? 1 451
T-TT
----:-- / 24.84
CC

0
DNF

0
4.0741E+0140 8.0870E+0142 1 451
TTTT
----:-- / 28.40
4.0741E+0140 8.0870E+0142 1 451
TTTT
----:-M / 28.40
050B

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
100A

8.2990E+0280 3.2864E+0283 1 901 (expected value)

3.99 2.99 3.99 3.99 (confidence rate)

8.2990E+0280 3.2864E+0283 1 901
TTTT
----:-- / 28.40
8.2990E+0280 ? 1 901
T-TT
----:P- / 24.84
CC

0
DNF

0
8.2990E+0280 3.2864E+0283 1 901
TTTT
----:-- / 28.40
8.2990E+0280 3.2864E+0283 1 901
TTTT
----:-M / 28.40
100B

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
ShieldPPPs — P/T (624.40 pts max)
  GreatSPN ITS-Tools Tapaal smart TINA.tedd 2019-Gold
Score 255.59 198.72 49.68 113.59 284.00 284.00
fastest 6 0 1 0 4 0
smallest memory 1 0 0 0 0 10
001A

61496 2.7547E+0005 1 12 (expected value)

5.99 3.99 5.99 5.99 (confidence rate)

61496 2.7547E+0005 1 12
TTTT
----:-- / 28.40
61496 ? 1 12
T-TT
----:-- / 24.84
61496 ? 1 12
T-TT
----:P- / 24.84
61496 2.7547E+0005 1 12
TTTT
----:-- / 28.40
61496 2.7547E+0005 1 12
TTTT
----:-- / 28.40
61496 2.7547E+0005 1 12
TTTT
----:-M / 28.40
001B

5.2130E+0006 2.8813E+0007 1 12 (expected value)

5.99 3.99 5.99 5.99 (confidence rate)

5.2130E+0006 2.8813E+0007 1 12
TTTT
----:P- / 28.40
5.2130E+0006 ? 1 12
T-TT
----:-- / 24.84
5.2130E+0006 ? 1 12
T-TT
----:-- / 24.84
5.2130E+0006 2.8813E+0007 1 12
TTTT
----:-- / 28.40
5.2130E+0006 2.8813E+0007 1 12
TTTT
----:-- / 28.40
5.2130E+0006 2.8813E+0007 1 12
TTTT
----:-M / 28.40
002A

1.9400E+0009 1.6223E+0010 1 23 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

1.9400E+0009 1.6223E+0010 1 23
TTTT
----:P- / 28.40
1.9400E+0009 ? 1 23
T-TT
----:-- / 24.84
CC

0
1.9400E+0009 1.6223E+0010 1 23
TTTT
----:-- / 28.40
1.9400E+0009 1.6223E+0010 1 23
TTTT
----:-- / 28.40
1.9400E+0009 1.6223E+0010 1 23
TTTT
----:-M / 28.40
002B

9.0867E+0012 9.4555E+0013 1 23 (expected value)

3.99 2.99 3.99 3.99 (confidence rate)

9.0867E+0012 9.4555E+0013 1 23
TTTT
----:-- / 28.40
9.0867E+0012 ? 1 23
T-TT
----:-- / 24.84
CC

0
DNF

0
9.0867E+0012 9.4555E+0013 1 23
TTTT
----:P- / 28.40
9.0867E+0012 9.4555E+0013 1 23
TTTT
----:-M / 28.40
003A

6.1293E+0013 7.5063E+0014 1 34 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

6.1293E+0013 7.5063E+0014 1 34
TTTT
----:-- / 28.40
6.1293E+0013 ? 1 34
T-TT
----:-- / 24.84
CC

0
6.1293E+0013 7.5063E+0014 1 34
TTTT
----:-- / 28.40
6.1293E+0013 7.5063E+0014 1 34
TTTT
----:P- / 28.40
6.1293E+0013 7.5063E+0014 1 34
TTTT
----:-M / 28.40
003B

1.5977E+0019 2.4418E+0020 1 34 (expected value)

3.99 2.99 3.99 3.99 (confidence rate)

1.5977E+0019 2.4418E+0020 1 34
TTTT
----:P- / 28.40
1.5977E+0019 ? 1 34
T-TT
----:-- / 24.84
CC

0
DNF

0
1.5977E+0019 2.4418E+0020 1 34
TTTT
----:-- / 28.40
1.5977E+0019 2.4418E+0020 1 34
TTTT
----:-M / 28.40
004A

1.9367E+0018 3.1241E+0019 1 45 (expected value)

3.99 2.99 3.99 3.99 (confidence rate)

1.9367E+0018 3.1241E+0019 1 45
TTTT
----:P- / 28.40
1.9367E+0018 ? 1 45
T-TT
----:-- / 24.84
CC

0
DNF

0
1.9367E+0018 3.1241E+0019 1 45
TTTT
----:-- / 28.40
1.9367E+0018 3.1241E+0019 1 45
TTTT
----:-M / 28.40
004B

2.8163E+0025 5.6772E+0026 1 45 (expected value)

0.99 0.99 0.99 0.99 (confidence rate)

2.8163E+0025 5.6772E+0026 1 45
TTTT
----:PM / 28.40
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
005A

6.1196E+0022 1.2248E+0024 1 56 (expected value)

3.99 2.99 3.99 3.99 (confidence rate)

6.1196E+0022 1.2248E+0024 1 56
TTTT
----:P- / 28.40
6.1196E+0022 ? 1 56
T-TT
----:-- / 24.84
CC

0
DNF

0
6.1196E+0022 1.2248E+0024 1 56
TTTT
----:-- / 28.40
6.1196E+0022 1.2248E+0024 1 56
TTTT
----:-M / 28.40
005B

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
010A

1.9276E+0045 7.6014E+0046 1 111 (expected value)

2.00 2.00 2.00 2.00 (confidence rate)

DNF

0
DNF

0
CC

0
DNF

0
1.9276E+0045 7.6014E+0046 1 111
TTTT
----:P- / 28.40
1.9276E+0045 7.6014E+0046 1 111
TTTT
----:-M / 28.40
010B

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
020A

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
020B

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
030A

1.8974E+0135 2.2221E+0137 1 331 (expected value)

2.00 2.00 2.00 2.00 (confidence rate)

DNF

0
DNF

0
CC

0
DNF

0
1.8974E+0135 2.2221E+0137 1 331
TTTT
----:P- / 28.40
1.8974E+0135 2.2221E+0137 1 331
TTTT
----:-M / 28.40
030B

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
040A

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
040B

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
050A

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
050B

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
100A

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
100B

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
ShieldPPPt — P/T (624.40 pts max)
  GreatSPN ITS-Tools Tapaal smart TINA.tedd 2019-Gold
Score 454.40 397.44 74.52 198.80 454.40 454.40
fastest 12 1 1 0 2 0
smallest memory 0 0 0 0 0 16
001A

8001 43601 1 12 (expected value)

5.99 3.99 5.99 5.99 (confidence rate)

8001 43601 1 12
TTTT
----:-- / 28.40
8001 ? 1 12
T-TT
----:-- / 24.84
8001 ? 1 12
T-TT
----:P- / 24.84
8001 43601 1 12
TTTT
----:-- / 28.40
8001 43601 1 12
TTTT
----:-- / 28.40
8001 43601 1 12
TTTT
----:-M / 28.40
001B

1.7903E+0007 1.0842E+0008 1 12 (expected value)

5.99 3.99 5.99 5.99 (confidence rate)

1.7903E+0007 1.0842E+0008 1 12
TTTT
----:-- / 28.40
1.7903E+0007 ? 1 12
T-TT
----:-- / 24.84
1.7903E+0007 ? 1 12
T-TT
----:-- / 24.84
1.7903E+0007 1.0842E+0008 1 12
TTTT
----:-- / 28.40
1.7903E+0007 1.0842E+0008 1 12
TTTT
----:P- / 28.40
1.7903E+0007 1.0842E+0008 1 12
TTTT
----:-M / 28.40
002A

3.2000E+0007 3.2160E+0008 1 23 (expected value)

5.99 3.99 5.99 5.99 (confidence rate)

3.2000E+0007 3.2160E+0008 1 23
TTTT
----:P- / 28.40
3.2000E+0007 ? 1 23
T-TT
----:-- / 24.84
3.2000E+0007 ? 1 23
T-TT
----:-- / 24.84
3.2000E+0007 3.2160E+0008 1 23
TTTT
----:-- / 28.40
3.2000E+0007 3.2160E+0008 1 23
TTTT
----:-- / 28.40
3.2000E+0007 3.2160E+0008 1 23
TTTT
----:-M / 28.40
002B

1.0017E+0014 1.1513E+0015 1 23 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

1.0017E+0014 1.1513E+0015 1 23
TTTT
----:P- / 28.40
1.0017E+0014 ? 1 23
T-TT
----:-- / 24.84
CC

0
1.0017E+0014 1.1513E+0015 1 23
TTTT
----:-- / 28.40
1.0017E+0014 1.1513E+0015 1 23
TTTT
----:-- / 28.40
1.0017E+0014 1.1513E+0015 1 23
TTTT
----:-M / 28.40
003A

1.2800E+0011 1.8752E+0012 1 34 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

1.2800E+0011 1.8752E+0012 1 34
TTTT
----:P- / 28.40
1.2800E+0011 ? 1 34
T-TT
----:-- / 24.84
CC

0
1.2800E+0011 1.8752E+0012 1 34
TTTT
----:-- / 28.40
1.2800E+0011 1.8752E+0012 1 34
TTTT
----:-- / 28.40
1.2800E+0011 1.8752E+0012 1 34
TTTT
----:-M / 28.40
003B

5.5733E+0020 9.4375E+0021 1 34 (expected value)

3.99 2.99 3.99 3.99 (confidence rate)

5.5733E+0020 9.4375E+0021 1 34
TTTT
----:P- / 28.40
5.5733E+0020 ? 1 34
T-TT
----:-- / 24.84
CC

0
DNF

0
5.5733E+0020 9.4375E+0021 1 34
TTTT
----:-- / 28.40
5.5733E+0020 9.4375E+0021 1 34
TTTT
----:-M / 28.40
004A

5.1200E+0014 9.8560E+0015 1 45 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

5.1200E+0014 9.8560E+0015 1 45
TTTT
----:P- / 28.40
5.1200E+0014 ? 1 45
T-TT
----:-- / 24.84
CC

0
5.1200E+0014 9.8560E+0015 1 45
TTTT
----:-- / 28.40
5.1200E+0014 9.8560E+0015 1 45
TTTT
----:-- / 28.40
5.1200E+0014 9.8560E+0015 1 45
TTTT
----:-M / 28.40
004B

3.1007E+0027 6.9372E+0028 1 45 (expected value)

3.99 2.99 3.99 3.99 (confidence rate)

3.1007E+0027 6.9372E+0028 1 45
TTTT
----:-- / 28.40
3.1007E+0027 ? 1 45
T-TT
----:P- / 24.84
CC

0
DNF

0
3.1007E+0027 6.9372E+0028 1 45
TTTT
----:-- / 28.40
3.1007E+0027 6.9372E+0028 1 45
TTTT
----:-M / 28.40
005A

2.0480E+0018 4.8845E+0019 1 56 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

2.0480E+0018 4.8845E+0019 1 56
TTTT
----:-- / 28.40
2.0480E+0018 ? 1 56
T-TT
----:-- / 24.84
CC

0
2.0480E+0018 4.8845E+0019 1 56
TTTT
----:-- / 28.40
2.0480E+0018 4.8845E+0019 1 56
TTTT
----:P- / 28.40
2.0480E+0018 4.8845E+0019 1 56
TTTT
----:-M / 28.40
005B

1.7251E+0034 4.7979E+0035 1 56 (expected value)

3.99 2.99 3.99 3.99 (confidence rate)

1.7251E+0034 4.7979E+0035 1 56
TTTT
----:P- / 28.40
1.7251E+0034 ? 1 56
T-TT
----:-- / 24.84
CC

0
DNF

0
1.7251E+0034 4.7979E+0035 1 56
TTTT
----:-- / 28.40
1.7251E+0034 4.7979E+0035 1 56
TTTT
----:-M / 28.40
010A

2.0972E+0036 9.8252E+0037 1 111 (expected value)

3.99 2.99 3.99 3.99 (confidence rate)

2.0972E+0036 9.8252E+0037 1 111
TTTT
----:P- / 28.40
2.0972E+0036 ? 1 111
T-TT
----:-- / 24.84
CC

0
DNF

0
2.0972E+0036 9.8252E+0037 1 111
TTTT
----:-- / 28.40
2.0972E+0036 9.8252E+0037 1 111
TTTT
----:-M / 28.40
010B

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
020A

2.1990E+0072 2.0418E+0074 1 221 (expected value)

3.99 2.99 3.99 3.99 (confidence rate)

2.1990E+0072 2.0418E+0074 1 221
TTTT
----:P- / 28.40
2.1990E+0072 ? 1 221
T-TT
----:-- / 24.84
CC

0
DNF

0
2.1990E+0072 2.0418E+0074 1 221
TTTT
----:-- / 28.40
2.1990E+0072 2.0418E+0074 1 221
TTTT
----:-M / 28.40
020B

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
030A

2.3058E+0108 3.2017E+0110 1 331 (expected value)

3.99 2.99 3.99 3.99 (confidence rate)

2.3058E+0108 3.2017E+0110 1 331
TTTT
----:P- / 28.40
2.3058E+0108 ? 1 331
T-TT
----:-- / 24.84
CC

0
DNF

0
2.3058E+0108 3.2017E+0110 1 331
TTTT
----:-- / 28.40
2.3058E+0108 3.2017E+0110 1 331
TTTT
----:-M / 28.40
030B

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
040A

2.4179E+0144 4.4694E+0146 1 441 (expected value)

3.99 2.99 3.99 3.99 (confidence rate)

2.4179E+0144 4.4694E+0146 1 441
TTTT
----:P- / 28.40
2.4179E+0144 ? 1 441
T-TT
----:-- / 24.84
CC

0
DNF

0
2.4179E+0144 4.4694E+0146 1 441
TTTT
----:-- / 28.40
2.4179E+0144 4.4694E+0146 1 441
TTTT
----:-M / 28.40
040B

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
050A

2.5353E+0180 5.8527E+0182 1 551 (expected value)

3.99 2.99 3.99 3.99 (confidence rate)

2.5353E+0180 5.8527E+0182 1 551
TTTT
----:P- / 28.40
2.5353E+0180 ? 1 551
T-TT
----:-- / 24.84
CC

0
DNF

0
2.5353E+0180 5.8527E+0182 1 551
TTTT
----:-- / 28.40
2.5353E+0180 5.8527E+0182 1 551
TTTT
----:-M / 28.40
050B

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
100A

3.2139E+0360 1.4811E+0363 1 1101 (expected value)

3.99 2.99 3.99 3.99 (confidence rate)

3.2139E+0360 1.4811E+0363 1 1101
TTTT
----:P- / 28.40
3.2139E+0360 ? 1 1101
T-TT
----:-- / 24.84
CC

0
DNF

0
3.2139E+0360 1.4811E+0363 1 1101
TTTT
----:-- / 28.40
3.2139E+0360 1.4811E+0363 1 1101
TTTT
----:-M / 28.40
100B

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
ShieldRVs — P/T (624.40 pts max)
  GreatSPN ITS-Tools Tapaal smart TINA.tedd 2019-Gold
Score 596.40 422.27 149.04 227.20 596.40 621.23
fastest 15 0 3 0 3 1
smallest memory 0 0 0 0 0 22
001A

171 423 1 5 (expected value)

5.99 3.99 5.99 5.99 (confidence rate)

171 423 1 5
TTTT
----:-- / 28.40
171 ? 1 5
T-TT
----:-- / 24.84
171 ? 1 5
T-TT
----:P- / 24.84
171 423 1 5
TTTT
----:-- / 28.40
171 423 1 5
TTTT
----:-- / 28.40
171 423 1 5
TTTT
----:-M / 28.40
001B

3596 11341 1 5 (expected value)

5.99 3.99 5.99 5.99 (confidence rate)

3596 11341 1 5
TTTT
----:-- / 28.40
3596 ? 1 5
T-TT
----:-- / 24.84
3596 ? 1 5
T-TT
----:P- / 24.84
3596 11341 1 5
TTTT
----:-- / 28.40
3596 11341 1 5
TTTT
----:-- / 28.40
3596 11341 1 5
TTTT
----:-M / 28.40
002A

16021 68398 1 9 (expected value)

5.99 3.99 5.99 5.99 (confidence rate)

16021 68398 1 9
TTTT
----:-- / 28.40
16021 ? 1 9
T-TT
----:-- / 24.84
16021 ? 1 9
T-TT
----:P- / 24.84
16021 68398 1 9
TTTT
----:-- / 28.40
16021 68398 1 9
TTTT
----:-- / 28.40
16021 68398 1 9
TTTT
----:-M / 28.40
002B

4.2615E+0006 2.4521E+0007 1 9 (expected value)

5.99 3.99 5.99 5.99 (confidence rate)

4.2615E+0006 2.4521E+0007 1 9
TTTT
----:-- / 28.40
4.2615E+0006 ? 1 9
T-TT
----:-- / 24.84
4.2615E+0006 ? 1 9
T-TT
----:-- / 24.84
4.2615E+0006 2.4521E+0007 1 9
TTTT
----:-- / 28.40
4.2615E+0006 2.4521E+0007 1 9
TTTT
----:P- / 28.40
4.2615E+0006 2.4521E+0007 1 9
TTTT
----:-M / 28.40
003A

1.5305E+0006 9.2618E+0006 1 13 (expected value)

5.99 3.99 5.99 5.99 (confidence rate)

1.5305E+0006 9.2618E+0006 1 13
TTTT
----:P- / 28.40
1.5305E+0006 ? 1 13
T-TT
----:-- / 24.84
1.5305E+0006 ? 1 13
T-TT
----:-- / 24.84
1.5305E+0006 9.2618E+0006 1 13
TTTT
----:-- / 28.40
1.5305E+0006 9.2618E+0006 1 13
TTTT
----:-- / 28.40
1.5305E+0006 9.2618E+0006 1 13
TTTT
----:-M / 28.40
003B

5.2813E+0009 4.4080E+0010 1 13 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

5.2813E+0009 4.4080E+0010 1 13
TTTT
----:P- / 28.40
5.2813E+0009 ? 1 13
T-TT
----:-- / 24.84
CC

0
5.2813E+0009 4.4080E+0010 1 13
TTTT
----:-- / 28.40
5.2813E+0009 4.4080E+0010 1 13
TTTT
----:-- / 28.40
5.2813E+0009 4.4080E+0010 1 13
TTTT
----:-M / 28.40
004A

1.4637E+0008 1.1465E+0009 1 17 (expected value)

5.99 3.99 5.99 5.99 (confidence rate)

1.4637E+0008 1.1465E+0009 1 17
TTTT
----:P- / 28.40
1.4637E+0008 ? 1 17
T-TT
----:-- / 24.84
1.4637E+0008 ? 1 17
T-TT
----:-- / 24.84
1.4637E+0008 1.1465E+0009 1 17
TTTT
----:-- / 28.40
1.4637E+0008 1.1465E+0009 1 17
TTTT
----:-- / 28.40
1.4637E+0008 1.1465E+0009 1 17
TTTT
----:-M / 28.40
004B

6.6151E+0012 7.2346E+0013 1 17 (expected value)

3.99 2.99 3.99 3.99 (confidence rate)

6.6151E+0012 7.2346E+0013 1 17
TTTT
----:P- / 28.40
6.6151E+0012 ? 1 17
T-TT
----:-- / 24.84
CC

0
DNF

0
6.6151E+0012 7.2346E+0013 1 17
TTTT
----:-- / 28.40
6.6151E+0012 7.2346E+0013 1 17
TTTT
----:-M / 28.40
005A

1.4001E+0010 1.3460E+0011 1 21 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

1.4001E+0010 1.3460E+0011 1 21
TTTT
----:P- / 28.40
1.4001E+0010 ? 1 21
T-TT
----:-- / 24.84
CC

0
1.4001E+0010 1.3460E+0011 1 21
TTTT
----:-- / 28.40
1.4001E+0010 1.3460E+0011 1 21
TTTT
----:-- / 28.40
1.4001E+0010 1.3460E+0011 1 21
TTTT
----:-M / 28.40
005B

8.3086E+0015 1.1239E+0017 1 21 (expected value)

3.99 2.99 3.99 3.99 (confidence rate)

8.3086E+0015 1.1239E+0017 1 21
TTTT
----:-- / 28.40
8.3086E+0015 ? 1 21
T-TT
----:-- / 24.84
CC

0
DNF

0
8.3086E+0015 1.1239E+0017 1 21
TTTT
----:P- / 28.40
8.3086E+0015 1.1239E+0017 1 21
TTTT
----:-M / 28.40
010A

1.1214E+0020 2.0764E+0021 1 41 (expected value)

3.99 2.99 3.99 3.99 (confidence rate)

1.1214E+0020 2.0764E+0021 1 41
TTTT
----:-- / 28.40
1.1214E+0020 ? 1 41
T-TT
----:-- / 24.84
CC

0
DNF

0
1.1214E+0020 2.0764E+0021 1 41
TTTT
----:P- / 28.40
1.1214E+0020 2.0764E+0021 1 41
TTTT
----:-M / 28.40
010B

2.6109E+0031 6.9131E+0032 1 41 (expected value)

3.99 2.99 3.99 3.99 (confidence rate)

2.6109E+0031 6.9131E+0032 1 41
TTTT
----:P- / 28.40
2.6109E+0031 ? 1 41
T-TT
----:-- / 24.84
CC

0
CC

0
2.6109E+0031 6.9131E+0032 1 41
TTTT
----:-- / 28.40
2.6109E+0031 6.9131E+0032 1 41
TTTT
----:-M / 28.40
020A

7.1936E+0039 2.6129E+0041 1 81 (expected value)

3.99 2.99 3.99 3.99 (confidence rate)

7.1936E+0039 2.6129E+0041 1 81
TTTT
----:P- / 28.40
7.1936E+0039 ? 1 81
T-TT
----:-- / 24.84
CC

0
DNF

0
7.1936E+0039 2.6129E+0041 1 81
TTTT
----:-- / 28.40
7.1936E+0039 2.6129E+0041 1 81
TTTT
----:-M / 28.40
020B

2.5812E+0062 1.3520E+0064 1 81 (expected value)

2.99 2.99 2.99 2.99 (confidence rate)

2.5812E+0062 1.3520E+0064 1 81
TTTT
----:P- / 28.40
DNF

0
CC

0
DNF

0
2.5812E+0062 1.3520E+0064 1 81
TTTT
----:-- / 28.40
2.5812E+0062 1.3520E+0064 1 81
TTTT
----:-M / 28.40
030A

4.6146E+0059 2.4979E+0061 1 121 (expected value)

3.99 2.99 3.99 3.99 (confidence rate)

4.6146E+0059 2.4979E+0061 1 121
TTTT
----:P- / 28.40
4.6146E+0059 ? 1 121
T-TT
----:-- / 24.84
CC

0
DNF

0
4.6146E+0059 2.4979E+0061 1 121
TTTT
----:-- / 28.40
4.6146E+0059 2.4979E+0061 1 121
TTTT
----:-M / 28.40
030B

2.5518E+0093 1.9976E+0095 1 121 (expected value)

2.99 2.99 2.99 2.99 (confidence rate)

2.5518E+0093 1.9976E+0095 1 121
TTTT
----:P- / 28.40
DNF

0
CC

0
DNF

0
2.5518E+0093 1.9976E+0095 1 121
TTTT
----:-- / 28.40
2.5518E+0093 1.9976E+0095 1 121
TTTT
----:-M / 28.40
040A

2.9602E+0079 2.1295E+0081 1 161 (expected value)

3.99 2.99 3.99 3.99 (confidence rate)

2.9602E+0079 2.1295E+0081 1 161
TTTT
----:P- / 28.40
2.9602E+0079 ? 1 161
T-TT
----:-- / 24.84
CC

0
DNF

0
2.9602E+0079 2.1295E+0081 1 161
TTTT
----:-- / 28.40
2.9602E+0079 2.1295E+0081 1 161
TTTT
----:-M / 28.40
040B

2.5228E+0124 2.6283E+0126 1 161 (expected value)

2.99 2.99 2.99 2.99 (confidence rate)

2.5228E+0124 2.6283E+0126 1 161
TTTT
----:P- / 28.40
DNF

0
CC

0
DNF

0
2.5228E+0124 2.6283E+0126 1 161
TTTT
----:-- / 28.40
2.5228E+0124 2.6283E+0126 1 161
TTTT
----:-M / 28.40
050A

1.8989E+0099 1.7042E+0101 1 201 (expected value)

3.99 2.99 3.99 3.99 (confidence rate)

1.8989E+0099 1.7042E+0101 1 201
TTTT
----:P- / 28.40
1.8989E+0099 ? 1 201
T-TT
----:-- / 24.84
CC

0
DNF

0
1.8989E+0099 1.7042E+0101 1 201
TTTT
----:-- / 28.40
1.8989E+0099 1.7042E+0101 1 201
TTTT
----:-M / 28.40
050B

2.4940E+0155 3.2444E+0157 1 201 (expected value)

2.99 2.99 2.99 2.99 (confidence rate)

2.4940E+0155 3.2444E+0157 1 201
TTTT
----:P- / 28.40
DNF

0
CC

0
DNF

0
2.4940E+0155 3.2444E+0157 1 201
TTTT
----:-- / 28.40
2.4940E+0155 3.2444E+0157 1 201
TTTT
----:-M / 28.40
100A

2.0627E+0198 3.6877E+0200 1 401 (expected value)

3.99 2.99 3.99 3.99 (confidence rate)

2.0627E+0198 3.6877E+0200 1 401
TTTT
----:P- / 28.40
2.0627E+0198 ? 1 401
T-TT
----:-- / 24.84
CC

0
DNF

0
2.0627E+0198 3.6877E+0200 1 401
TTTT
----:-- / 28.40
2.0627E+0198 3.6877E+0200 1 401
TTTT
----:-M / 28.40
100B

2.3553E+0310 ? 1 401 (expected value)

1.00 0 1.00 1.00 (confidence rate)

DNF

0
DNF

0
CC

0
DNF

0
DNF

0
2.3553E+0310 ? 1 401
T?TT
----:PM / 24.84
ShieldRVt — P/T (624.40 pts max)
  GreatSPN ITS-Tools Tapaal smart TINA.tedd 2019-Gold
Score 539.59 422.27 173.88 284.00 511.20 511.20
fastest 8 0 5 0 6 0
smallest memory 1 0 0 0 0 18
001A

33 113 1 5 (expected value)

5.99 3.99 5.99 5.99 (confidence rate)

33 113 1 5
TTTT
----:-- / 28.40
33 ? 1 5
T-TT
----:-- / 24.84
33 ? 1 5
T-TT
----:P- / 24.84
33 113 1 5
TTTT
----:-- / 28.40
33 113 1 5
TTTT
----:-- / 28.40
33 113 1 5
TTTT
----:-M / 28.40
001B

21947 87675 1 5 (expected value)

5.99 3.99 5.99 5.99 (confidence rate)

21947 87675 1 5
TTTT
----:-- / 28.40
21947 ? 1 5
T-TT
----:-- / 24.84
21947 ? 1 5
T-TT
----:P- / 24.84
21947 87675 1 5
TTTT
----:-- / 28.40
21947 87675 1 5
TTTT
----:-- / 28.40
21947 87675 1 5
TTTT
----:-M / 28.40
002A

513 3137 1 9 (expected value)

5.99 3.99 5.99 5.99 (confidence rate)

513 3137 1 9
TTTT
----:-- / 28.40
513 ? 1 9
T-TT
----:-- / 24.84
513 ? 1 9
T-TT
----:P- / 24.84
513 3137 1 9
TTTT
----:-- / 28.40
513 3137 1 9
TTTT
----:-- / 28.40
513 3137 1 9
TTTT
----:-M / 28.40
002B

1.6528E+0008 1.2484E+0009 1 9 (expected value)

5.99 3.99 5.99 5.99 (confidence rate)

1.6528E+0008 1.2484E+0009 1 9
TTTT
----:P- / 28.40
1.6528E+0008 ? 1 9
T-TT
----:-- / 24.84
1.6528E+0008 ? 1 9
T-TT
----:-- / 24.84
1.6528E+0008 1.2484E+0009 1 9
TTTT
----:-- / 28.40
1.6528E+0008 1.2484E+0009 1 9
TTTT
----:-- / 28.40
1.6528E+0008 1.2484E+0009 1 9
TTTT
----:-M / 28.40
003A

8193 71681 1 13 (expected value)

5.99 3.99 5.99 5.99 (confidence rate)

8193 71681 1 13
TTTT
----:-- / 28.40
8193 ? 1 13
T-TT
----:-- / 24.84
8193 ? 1 13
T-TT
----:P- / 24.84
8193 71681 1 13
TTTT
----:-- / 28.40
8193 71681 1 13
TTTT
----:-- / 28.40
8193 71681 1 13
TTTT
----:-M / 28.40
003B

1.2269E+0012 1.3619E+0013 1 13 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

1.2269E+0012 1.3619E+0013 1 13
TTTT
----:-- / 28.40
1.2269E+0012 ? 1 13
T-TT
----:-- / 24.84
CC

0
1.2269E+0012 1.3619E+0013 1 13
TTTT
----:-- / 28.40
1.2269E+0012 1.3619E+0013 1 13
TTTT
----:P- / 28.40
1.2269E+0012 1.3619E+0013 1 13
TTTT
----:-M / 28.40
004A

1.3107E+0005 1.4909E+0006 1 17 (expected value)

5.99 3.99 5.99 5.99 (confidence rate)

1.3107E+0005 1.4909E+0006 1 17
TTTT
----:-- / 28.40
1.3107E+0005 ? 1 17
T-TT
----:-- / 24.84
1.3107E+0005 ? 1 17
T-TT
----:P- / 24.84
1.3107E+0005 1.4909E+0006 1 17
TTTT
----:-- / 28.40
1.3107E+0005 1.4909E+0006 1 17
TTTT
----:-- / 28.40
1.3107E+0005 1.4909E+0006 1 17
TTTT
----:-M / 28.40
004B

9.0871E+0015 1.3307E+0017 1 17 (expected value)

3.99 2.99 3.99 3.99 (confidence rate)

9.0871E+0015 1.3307E+0017 1 17
TTTT
----:P- / 28.40
9.0871E+0015 ? 1 17
T-TT
----:-- / 24.84
CC

0
DNF

0
9.0871E+0015 1.3307E+0017 1 17
TTTT
----:-- / 28.40
9.0871E+0015 1.3307E+0017 1 17
TTTT
----:-M / 28.40
005A

2.0972E+0006 2.9360E+0007 1 21 (expected value)

5.99 3.99 5.99 5.99 (confidence rate)

2.0972E+0006 2.9360E+0007 1 21
TTTT
----:P- / 28.40
2.0972E+0006 ? 1 21
T-TT
----:-- / 24.84
2.0972E+0006 ? 1 21
T-TT
----:-- / 24.84
2.0972E+0006 2.9360E+0007 1 21
TTTT
----:-- / 28.40
2.0972E+0006 2.9360E+0007 1 21
TTTT
----:-- / 28.40
2.0972E+0006 2.9360E+0007 1 21
TTTT
----:-M / 28.40
005B

6.7276E+0019 1.2236E+0021 1 21 (expected value)

3.99 2.99 3.99 3.99 (confidence rate)

6.7276E+0019 1.2236E+0021 1 21
TTTT
----:P- / 28.40
6.7276E+0019 ? 1 21
T-TT
----:-- / 24.84
CC

0
DNF

0
6.7276E+0019 1.2236E+0021 1 21
TTTT
----:-- / 28.40
6.7276E+0019 1.2236E+0021 1 21
TTTT
----:-M / 28.40
010A

2.1990E+0012 5.9649E+0013 1 41 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

2.1990E+0012 5.9649E+0013 1 41
TTTT
----:P- / 28.40
2.1990E+0012 ? 1 41
T-TT
----:-- / 24.84
CC

0
2.1990E+0012 5.9649E+0013 1 41
TTTT
----:-- / 28.40
2.1990E+0012 5.9649E+0013 1 41
TTTT
----:-- / 28.40
2.1990E+0012 5.9649E+0013 1 41
TTTT
----:-M / 28.40
010B

1.4954E+0039 5.3687E+0040 1 41 (expected value)

3.99 2.99 3.99 3.99 (confidence rate)

1.4954E+0039 5.3687E+0040 1 41
TTTT
----:P- / 28.40
1.4954E+0039 ? 1 41
T-TT
----:-- / 24.84
CC

0
DNF

0
1.4954E+0039 5.3687E+0040 1 41
TTTT
----:-- / 28.40
1.4954E+0039 5.3687E+0040 1 41
TTTT
----:-M / 28.40
020A

2.4179E+0024 1.2905E+0026 1 81 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

2.4179E+0024 1.2905E+0026 1 81
TTTT
----:-- / 28.40
2.4179E+0024 ? 1 81
T-TT
----:-- / 24.84
CC

0
2.4179E+0024 1.2905E+0026 1 81
TTTT
----:-- / 28.40
2.4179E+0024 1.2905E+0026 1 81
TTTT
----:P- / 28.40
2.4179E+0024 1.2905E+0026 1 81
TTTT
----:-M / 28.40
020B

7.3875E+0077 5.2696E+0079 1 81 (expected value)

2.99 2.99 2.99 2.99 (confidence rate)

7.3875E+0077 5.2696E+0079 1 81
TTTT
----:P- / 28.40
DNF

0
CC

0
DNF

0
7.3875E+0077 5.2696E+0079 1 81
TTTT
----:-- / 28.40
7.3875E+0077 5.2696E+0079 1 81
TTTT
----:-M / 28.40
030A

2.6585E+0036 2.1168E+0038 1 121 (expected value)

3.99 2.99 3.99 3.99 (confidence rate)

2.6585E+0036 2.1168E+0038 1 121
TTTT
----:-- / 28.40
2.6585E+0036 ? 1 121
T-TT
----:-- / 24.84
CC

0
CC

0
2.6585E+0036 2.1168E+0038 1 121
TTTT
----:P- / 28.40
2.6585E+0036 2.1168E+0038 1 121
TTTT
----:-M / 28.40
030B

3.6496E+0116 3.8963E+0118 1 121 (expected value)

0.99 0.99 0.99 0.99 (confidence rate)

3.6496E+0116 3.8963E+0118 1 121
TTTT
----:PM / 28.40
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
040A

2.9230E+0048 3.0947E+0050 1 161 (expected value)

3.99 2.99 3.99 3.99 (confidence rate)

2.9230E+0048 3.0947E+0050 1 161
TTTT
----:-- / 28.40
2.9230E+0048 ? 1 161
T-TT
----:-- / 24.84
CC

0
CC

0
2.9230E+0048 3.0947E+0050 1 161
TTTT
----:P- / 28.40
2.9230E+0048 3.0947E+0050 1 161
TTTT
----:-M / 28.40
040B

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
050A

3.2139E+0060 4.2463E+0062 1 201 (expected value)

3.99 2.99 3.99 3.99 (confidence rate)

3.2139E+0060 4.2463E+0062 1 201
TTTT
----:-- / 28.40
3.2139E+0060 ? 1 201
T-TT
----:-- / 24.84
CC

0
CC

0
3.2139E+0060 4.2463E+0062 1 201
TTTT
----:P- / 28.40
3.2139E+0060 4.2463E+0062 1 201
TTTT
----:-M / 28.40
050B

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
100A

5.1645E+0120 1.3602E+0123 1 401 (expected value)

3.99 2.99 3.99 3.99 (confidence rate)

5.1645E+0120 1.3602E+0123 1 401
TTTT
----:-- / 28.40
5.1645E+0120 ? 1 401
T-TT
----:-- / 24.84
CC

0
DNF

0
5.1645E+0120 1.3602E+0123 1 401
TTTT
----:P- / 28.40
5.1645E+0120 1.3602E+0123 1 401
TTTT
----:-M / 28.40
100B

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
SmartHome — P/T (593.80 pts max)
  GreatSPN ITS-Tools Tapaal smart TINA.tedd 2019-Gold
Score 593.55 519.84 109.44 343.63 593.55 593.55
fastest 4 8 0 0 7 0
smallest memory 0 0 0 0 0 19
01

43201 2.4107E+0006 1 18 (expected value)

5.99 3.99 5.99 5.99 (confidence rate)

43201 2.4107E+0006 1 18
TTTT
----:P- / 31.23
43201 ? 1 18
T-TT
----:-- / 27.36
43201 ? 1 18
T-TT
----:-- / 27.36
43201 2.4107E+0006 1 18
TTTT
----:-- / 31.23
43201 2.4107E+0006 1 18
TTTT
----:-- / 31.23
43201 2.4107E+0006 1 18
TTTT
----:-M / 31.23
02

86401 5.6421E+0006 1 20 (expected value)

5.99 3.99 5.99 5.99 (confidence rate)

86401 5.6421E+0006 1 20
TTTT
----:-- / 31.23
86401 ? 1 20
T-TT
----:-- / 27.36
86401 ? 1 20
T-TT
----:-- / 27.36
86401 5.6421E+0006 1 20
TTTT
----:-- / 31.23
86401 5.6421E+0006 1 20
TTTT
----:P- / 31.23
86401 5.6421E+0006 1 20
TTTT
----:-M / 31.23
03

2.5920E+0005 1.9173E+0007 1 22 (expected value)

5.99 3.99 5.99 5.99 (confidence rate)

2.5920E+0005 1.9173E+0007 1 22
TTTT
----:P- / 31.23
2.5920E+0005 ? 1 22
T-TT
----:-- / 27.36
2.5920E+0005 ? 1 22
T-TT
----:-- / 27.36
2.5920E+0005 1.9173E+0007 1 22
TTTT
----:-- / 31.23
2.5920E+0005 1.9173E+0007 1 22
TTTT
----:-- / 31.23
2.5920E+0005 1.9173E+0007 1 22
TTTT
----:-M / 31.23
04

5.3077E+0006 2.9493E+0007 1 7 (expected value)

5.99 3.99 5.99 5.99 (confidence rate)

5.3077E+0006 2.9493E+0007 1 7
TTTT
----:P- / 31.23
5.3077E+0006 ? 1 7
T-TT
----:-- / 27.36
5.3077E+0006 ? 1 7
T-TT
----:-- / 27.36
5.3077E+0006 2.9493E+0007 1 7
TTTT
----:-- / 31.23
5.3077E+0006 2.9493E+0007 1 7
TTTT
----:-- / 31.23
5.3077E+0006 2.9493E+0007 1 7
TTTT
----:-M / 31.23
05

1.9706E+0010 1.5899E+0011 1 10 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

1.9706E+0010 1.5899E+0011 1 10
TTTT
----:P- / 31.23
1.9706E+0010 ? 1 10
T-TT
----:-- / 27.36
CC

0
1.9706E+0010 1.5899E+0011 1 10
TTTT
----:-- / 31.23
1.9706E+0010 1.5899E+0011 1 10
TTTT
----:-- / 31.23
1.9706E+0010 1.5899E+0011 1 10
TTTT
----:-M / 31.23
06

1.5083E+0010 1.2178E+0011 1 9 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

1.5083E+0010 1.2178E+0011 1 9
TTTT
----:-- / 31.23
1.5083E+0010 ? 1 9
T-TT
----:-- / 27.36
CC

0
1.5083E+0010 1.2178E+0011 1 9
TTTT
----:-- / 31.23
1.5083E+0010 1.2178E+0011 1 9
TTTT
----:P- / 31.23
1.5083E+0010 1.2178E+0011 1 9
TTTT
----:-M / 31.23
07

3.4115E+0011 3.1251E+0012 1 10 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

3.4115E+0011 3.1251E+0012 1 10
TTTT
----:-- / 31.23
3.4115E+0011 ? 1 10
T-TT
----:-- / 27.36
CC

0
3.4115E+0011 3.1251E+0012 1 10
TTTT
----:-- / 31.23
3.4115E+0011 3.1251E+0012 1 10
TTTT
----:P- / 31.23
3.4115E+0011 3.1251E+0012 1 10
TTTT
----:-M / 31.23
08

8.0657E+0011 7.4740E+0012 1 11 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

8.0657E+0011 7.4740E+0012 1 11
TTTT
----:-- / 31.23
8.0657E+0011 ? 1 11
T-TT
----:P- / 27.36
CC

0
8.0657E+0011 7.4740E+0012 1 11
TTTT
----:-- / 31.23
8.0657E+0011 7.4740E+0012 1 11
TTTT
----:-- / 31.23
8.0657E+0011 7.4740E+0012 1 11
TTTT
----:-M / 31.23
09

3.9408E+0011 3.6392E+0012 1 10 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

3.9408E+0011 3.6392E+0012 1 10
TTTT
----:-- / 31.23
3.9408E+0011 ? 1 10
T-TT
----:-- / 27.36
CC

0
3.9408E+0011 3.6392E+0012 1 10
TTTT
----:-- / 31.23
3.9408E+0011 3.6392E+0012 1 10
TTTT
----:P- / 31.23
3.9408E+0011 3.6392E+0012 1 10
TTTT
----:-M / 31.23
10

4.3009E+0011 3.9089E+0012 1 11 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

4.3009E+0011 3.9089E+0012 1 11
TTTT
----:-- / 31.23
4.3009E+0011 ? 1 11
T-TT
----:-- / 27.36
CC

0
4.3009E+0011 3.9089E+0012 1 11
TTTT
----:-- / 31.23
4.3009E+0011 3.9089E+0012 1 11
TTTT
----:P- / 31.23
4.3009E+0011 3.9089E+0012 1 11
TTTT
----:-M / 31.23
11

1.9104E+0012 1.7954E+0013 1 12 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

1.9104E+0012 1.7954E+0013 1 12
TTTT
----:-- / 31.23
1.9104E+0012 ? 1 12
T-TT
----:P- / 27.36
CC

0
1.9104E+0012 1.7954E+0013 1 12
TTTT
----:-- / 31.23
1.9104E+0012 1.7954E+0013 1 12
TTTT
----:-- / 31.23
1.9104E+0012 1.7954E+0013 1 12
TTTT
----:-M / 31.23
12

1.1299E+0014 1.1974E+0015 1 13 (expected value)

3.99 2.99 3.99 3.99 (confidence rate)

1.1299E+0014 1.1974E+0015 1 13
TTTT
----:-- / 31.23
1.1299E+0014 ? 1 13
T-TT
----:-- / 27.36
CC

0
DNF

0
1.1299E+0014 1.1974E+0015 1 13
TTTT
----:P- / 31.23
1.1299E+0014 1.1974E+0015 1 13
TTTT
----:-M / 31.23
13

1.1299E+0014 1.1974E+0015 1 13 (expected value)

3.99 2.99 3.99 3.99 (confidence rate)

1.1299E+0014 1.1974E+0015 1 13
TTTT
----:-- / 31.23
1.1299E+0014 ? 1 13
T-TT
----:-- / 27.36
CC

0
DNF

0
1.1299E+0014 1.1974E+0015 1 13
TTTT
----:P- / 31.23
1.1299E+0014 1.1974E+0015 1 13
TTTT
----:-M / 31.23
14

2.3993E+0015 2.8259E+0016 1 14 (expected value)

3.99 2.99 3.99 3.99 (confidence rate)

2.3993E+0015 2.8259E+0016 1 14
TTTT
----:-- / 31.23
2.3993E+0015 ? 1 14
T-TT
----:P- / 27.36
CC

0
DNF

0
2.3993E+0015 2.8259E+0016 1 14
TTTT
----:-- / 31.23
2.3993E+0015 2.8259E+0016 1 14
TTTT
----:-M / 31.23
15

2.3993E+0015 2.8259E+0016 1 14 (expected value)

3.99 2.99 3.99 3.99 (confidence rate)

2.3993E+0015 2.8259E+0016 1 14
TTTT
----:-- / 31.23
2.3993E+0015 ? 1 14
T-TT
----:P- / 27.36
CC

0
CC

0
2.3993E+0015 2.8259E+0016 1 14
TTTT
----:-- / 31.23
2.3993E+0015 2.8259E+0016 1 14
TTTT
----:-M / 31.23
16

1.4787E+0018 2.0879E+0019 1 16 (expected value)

3.99 2.99 3.99 3.99 (confidence rate)

1.4787E+0018 2.0879E+0019 1 16
TTTT
----:-- / 31.23
1.4787E+0018 ? 1 16
T-TT
----:P- / 27.36
CC

0
DNF

0
1.4787E+0018 2.0879E+0019 1 16
TTTT
----:-- / 31.23
1.4787E+0018 2.0879E+0019 1 16
TTTT
----:-M / 31.23
17

1.0168E+0021 1.6738E+0022 1 18 (expected value)

3.99 2.99 3.99 3.99 (confidence rate)

1.0168E+0021 1.6738E+0022 1 18
TTTT
----:-- / 31.23
1.0168E+0021 ? 1 18
T-TT
----:P- / 27.36
CC

0
DNF

0
1.0168E+0021 1.6738E+0022 1 18
TTTT
----:-- / 31.23
1.0168E+0021 1.6738E+0022 1 18
TTTT
----:-M / 31.23
18

6.7250E+0023 1.2639E+0025 1 20 (expected value)

3.99 2.99 3.99 3.99 (confidence rate)

6.7250E+0023 1.2639E+0025 1 20
TTTT
----:-- / 31.23
6.7250E+0023 ? 1 20
T-TT
----:P- / 27.36
CC

0
DNF

0
6.7250E+0023 1.2639E+0025 1 20
TTTT
----:-- / 31.23
6.7250E+0023 1.2639E+0025 1 20
TTTT
----:-M / 31.23
19

6.3046E+0026 1.3323E+0028 1 22 (expected value)

3.99 2.99 3.99 3.99 (confidence rate)

6.3046E+0026 1.3323E+0028 1 22
TTTT
----:-- / 31.23
6.3046E+0026 ? 1 22
T-TT
----:P- / 27.36
CC

0
DNF

0
6.3046E+0026 1.3323E+0028 1 22
TTTT
----:-- / 31.23
6.3046E+0026 1.3323E+0028 1 22
TTTT
----:-M / 31.23
Sudoku — Colored (404.00 pts max)
  GreatSPN ITS-Tools Tapaal smart TINA.tedd 2019-Gold
Score 106.08 90.95 0.00 0.00 106.08 0.00
fastest 3 14 0 0 3 0
smallest memory 6 14 0 0 0 0
AN01

2 1 1 3 (expected value)

1.99 1.99 1.99 1.99 (confidence rate)

2 1 1 3
TT-T
----:-M / 17.68
CC

0
CC

0
DNC 2 1 1 3
TT-T
----:P- / 17.68
CC

0
AN02

35 72 1 12 (expected value)

1.99 1.99 2.00 1.99 (confidence rate)

35 72 4 12
TT-T
----:-M / 17.68
2 ? 1 3
X--X
V---:-- / -30.31
CC

0
DNC 35 72 1 12
TT-T
----:P- / 17.68
CC

0
AN03

11776 56619 1 27 (expected value)

1.99 1.99 2.00 1.99 (confidence rate)

11776 56619 9 27
TT-T
----:-M / 17.68
2 ? 1 3
X--X
V---:-- / -30.31
CC

0
DNC 11776 56619 1 27
TT-T
----:P- / 17.68
CC

0
AN04

1.2755E+0008 1.1343E+0009 1 48 (expected value)

1.99 1.99 2.00 1.99 (confidence rate)

1.2755E+0008 1.1343E+0009 16 48
TT-T
----:PM / 17.68
2 ? 1 3
X--X
V---:-- / -30.31
CC

0
DNC 1.2755E+0008 1.1343E+0009 1 48
TT-T
----:-- / 17.68
CC

0
AN05

2 ? 1 3 (expected value)

1.00 0 1.00 1.00 (confidence rate)

DNF

0
2 ? 1 3
T?-T
----:PM / 15.16
CC

0
DNC DNF

0
CC

0
AN06

2 ? 1 3 (expected value)

1.00 0 1.00 1.00 (confidence rate)

DNF

0
2 ? 1 3
T?-T
----:PM / 15.16
CC

0
DNC DNF

0
CC

0
AN07

2 ? 1 3 (expected value)

1.00 0 1.00 1.00 (confidence rate)

DNF

0
2 ? 1 3
T?-T
----:PM / 15.16
CC

0
DNC CC

0
CC

0
AN08

2 ? 1 3 (expected value)

1.00 0 1.00 1.00 (confidence rate)

DNF

0
2 ? 1 3
T?-T
----:PM / 15.16
CC

0
DNC DNF

0
CC

0
AN09

2 ? 1 3 (expected value)

1.00 0 1.00 1.00 (confidence rate)

DNF

0
2 ? 1 3
T?-T
----:PM / 15.16
CC

0
DNC CC

0
CC

0
AN10

2 ? 1 3 (expected value)

1.00 0 1.00 1.00 (confidence rate)

DNF

0
2 ? 1 3
T?-T
----:PM / 15.16
CC

0
DNC DNF

0
CC

0
AN11

2 ? 1 3 (expected value)

1.00 0 1.00 1.00 (confidence rate)

DNF

0
2 ? 1 3
T?-T
----:PM / 15.16
CC

0
DNC DNF

0
CC

0
AN12

2 ? 1 3 (expected value)

1.00 0 1.00 1.00 (confidence rate)

DNF

0
2 ? 1 3
T?-T
----:PM / 15.16
CC

0
DNC DNF

0
CC

0
AN13

2 ? 1 3 (expected value)

1.00 0 1.00 1.00 (confidence rate)

DNF

0
2 ? 1 3
T?-T
----:PM / 15.16
CC

0
DNC DNF

0
CC

0
AN14

2 ? 1 3 (expected value)

1.00 0 1.00 1.00 (confidence rate)

DNF

0
2 ? 1 3
T?-T
----:PM / 15.16
CC

0
DNC DNF

0
CC

0
AN15

2 ? 1 3 (expected value)

1.00 0 1.00 1.00 (confidence rate)

DNF

0
2 ? 1 3
T?-T
----:PM / 15.16
CC

0
DNC DNF

0
CC

0
AN16

2 ? 1 3 (expected value)

1.00 0 1.00 1.00 (confidence rate)

CC

0
2 ? 1 3
T?-T
----:PM / 15.16
CC

0
DNC DNF

0
CC

0
BN01

2 1 1 4 (expected value)

1.99 1.99 1.99 1.99 (confidence rate)

2 1 1 4
TT-T
----:PM / 17.68
CC

0
CC

0
DNC 2 1 1 4
TT-T
----:-- / 17.68
CC

0
BN04

6.1556E+0007 5.2630E+0008 1 64 (expected value)

1.99 1.99 2.00 1.99 (confidence rate)

6.1556E+0007 5.2630E+0008 16 64
TT-T
----:PM / 17.68
2 ? 1 4
X--X
V---:-- / -30.31
CC

0
DNC 6.1556E+0007 5.2630E+0008 1 64
TT-T
----:-- / 17.68
CC

0
BN09

2 ? 1 4 (expected value)

1.00 0 1.00 1.00 (confidence rate)

DNF

0
2 ? 1 4
T?-T
----:PM / 15.16
CC

0
DNC DNF

0
CC

0
BN16

2 ? 1 4 (expected value)

1.00 0 1.00 1.00 (confidence rate)

CC

0
2 ? 1 4
T?-T
----:PM / 15.16
CC

0
DNC DNF

0
CC

0
Sudoku — P/T (404.00 pts max)
  GreatSPN ITS-Tools Tapaal smart TINA.tedd 2019-Gold
Score 121.20 106.08 106.08 121.20 121.20 75.76
fastest 2 0 4 0 0 0
smallest memory 1 1 0 0 0 4
AN01

2 1 1 3 (expected value)

5.99 2.99 4.99 4.99 (confidence rate)

2 1 1 3
TTTT
----:-M / 20.20
2 ? 1 3
T-TT
----:-- / 17.68
2 ? 1 3
T-TT
----:P- / 17.68
2 1 1 3
TTTT
----:-- / 20.20
2 1 1 3
TTTT
----:-- / 20.20
2 0 0 0
TXXX
V---:-- / -2.52
AN02

35 72 1 12 (expected value)

5.99 3.99 5.99 5.99 (confidence rate)

35 72 1 12
TTTT
----:-- / 20.20
35 ? 1 12
T-TT
----:-- / 17.68
35 ? 1 12
T-TT
----:P- / 17.68
35 72 1 12
TTTT
----:-- / 20.20
35 72 1 12
TTTT
----:-- / 20.20
35 72 1 12
TTTT
----:-M / 20.20
AN03

11776 56619 1 27 (expected value)

5.99 3.99 5.99 5.99 (confidence rate)

11776 56619 1 27
TTTT
----:-- / 20.20
11776 ? 1 27
T-TT
----:-- / 17.68
11776 ? 1 27
T-TT
----:P- / 17.68
11776 56619 1 27
TTTT
----:-- / 20.20
11776 56619 1 27
TTTT
----:-- / 20.20
11776 56619 1 27
TTTT
----:-M / 20.20
AN04

1.2755E+0008 1.1343E+0009 1 48 (expected value)

5.99 3.99 5.99 5.99 (confidence rate)

1.2755E+0008 1.1343E+0009 1 48
TTTT
----:P- / 20.20
1.2755E+0008 ? 1 48
T-TT
----:-- / 17.68
1.2755E+0008 ? 1 48
T-TT
----:-- / 17.68
1.2755E+0008 1.1343E+0009 1 48
TTTT
----:-- / 20.20
1.2755E+0008 1.1343E+0009 1 48
TTTT
----:-- / 20.20
1.2755E+0008 1.1343E+0009 1 48
TTTT
----:-M / 20.20
AN05

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
CC

0
DNF

0
DNF

0
AN06

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
AN07

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
AN08

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
AN09

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
AN10

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
AN11

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
AN12

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
AN13

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
AN14

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
AN15

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
AN16

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
BN01

2 1 1 4 (expected value)

5.99 2.99 4.99 4.99 (confidence rate)

2 1 1 4
TTTT
----:-- / 20.20
2 ? 1 4
T-TT
----:-M / 17.68
2 ? 1 4
T-TT
----:P- / 17.68
2 1 1 4
TTTT
----:-- / 20.20
2 1 1 4
TTTT
----:-- / 20.20
2 0 0 0
TXXX
V---:-- / -2.52
BN04

6.1556E+0007 5.2630E+0008 1 64 (expected value)

5.99 3.99 5.99 5.99 (confidence rate)

6.1556E+0007 5.2630E+0008 1 64
TTTT
----:P- / 20.20
6.1556E+0007 ? 1 64
T-TT
----:-- / 17.68
6.1556E+0007 ? 1 64
T-TT
----:-- / 17.68
6.1556E+0007 5.2630E+0008 1 64
TTTT
----:-- / 20.20
6.1556E+0007 5.2630E+0008 1 64
TTTT
----:-- / 20.20
6.1556E+0007 5.2630E+0008 1 64
TTTT
----:-M / 20.20
BN09

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
BN16

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
ViralEpidemic — P/T (553.00 pts max)
  GreatSPN ITS-Tools Tapaal smart TINA.tedd 2019-Gold
Score 295.04 257.91 0.00 73.76 258.16 258.16
fastest 8 0 0 0 0 0
smallest memory 1 0 0 0 0 7
S02D1C1A10

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
S02D1C1A12

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
S03D1C1A02

9.1687E+0009 1.3566E+0011 1 53 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

9.1687E+0009 1.3566E+0011 1 53
TTTT
----:P- / 36.88
9.1687E+0009 ? 1 53
T-TT
----:-- / 32.23
CC

0
9.1687E+0009 1.3566E+0011 1 53
TTTT
----:-- / 36.88
9.1687E+0009 1.3566E+0011 1 53
TTTT
----:-- / 36.88
9.1687E+0009 1.3566E+0011 1 53
TTTT
----:-M / 36.88
S03D1C1A04

4.5789E+0089 6.0976E+0091 1 485 (expected value)

3.99 2.99 3.99 3.99 (confidence rate)

4.5789E+0089 6.0976E+0091 1 485
TTTT
----:P- / 36.88
4.5789E+0089 ? 1 485
T-TT
----:-- / 32.23
CC

0
DNF

0
4.5789E+0089 6.0976E+0091 1 485
TTTT
----:-- / 36.88
4.5789E+0089 6.0976E+0091 1 485
TTTT
----:-M / 36.88
S03D1C1A06

8.8481E+0806 1.0605E+0810 1 4373 (expected value)

1.99 0.99 1.99 1.99 (confidence rate)

8.8481E+0806 1.0605E+0810 1 4373
TTTT
----:PM / 36.88
8.8481E+0806 ? 1 4373
T-TT
----:-- / 32.23
CC

0
DNF

0
DNF

0
DNF

0
S03D1C1A08

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
S04D1C1A02

9.9373E+0019 3.1399E+0021 1 106 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

9.9373E+0019 3.1399E+0021 1 106
TTTT
----:P- / 36.88
9.9373E+0019 ? 1 106
T-TT
----:-- / 32.23
CC

0
9.9373E+0019 3.1399E+0021 1 106
TTTT
----:-- / 36.88
9.9373E+0019 3.1399E+0021 1 106
TTTT
----:-- / 36.88
9.9373E+0019 3.1399E+0021 1 106
TTTT
----:-M / 36.88
S04D1C1A03

9.7517E+0079 1.2325E+0082 1 426 (expected value)

3.99 2.99 3.99 3.99 (confidence rate)

9.7517E+0079 1.2325E+0082 1 426
TTTT
----:P- / 36.88
9.7517E+0079 ? 1 426
T-TT
----:-- / 32.23
CC

0
CC

0
9.7517E+0079 1.2325E+0082 1 426
TTTT
----:-- / 36.88
9.7517E+0079 1.2325E+0082 1 426
TTTT
----:-M / 36.88
S04D1C1A04

9.0433E+0319 4.5718E+0322 1 1706 (expected value)

3.99 2.99 3.99 3.99 (confidence rate)

9.0433E+0319 4.5718E+0322 1 1706
TTTT
----:P- / 36.88
9.0433E+0319 ? 1 1706
T-TT
----:-- / 32.23
CC

0
DNF

0
9.0433E+0319 4.5718E+0322 1 1706
TTTT
----:-- / 36.88
9.0433E+0319 4.5718E+0322 1 1706
TTTT
----:-M / 36.88
S04D1C1A06

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
S08D1C2A02

5.0812E+0135 1.2893E+0138 2 731 (expected value)

3.99 2.99 3.99 3.99 (confidence rate)

5.0812E+0135 1.2893E+0138 2 731
TTTT
----:P- / 36.88
5.0812E+0135 ? 2 731
T-TT
----:-- / 32.23
CC

0
CC

0
5.0812E+0135 1.2893E+0138 2 731
TTTT
----:-- / 36.88
5.0812E+0135 1.2893E+0138 2 731
TTTT
----:-M / 36.88
S08D1C2A04

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
S16D2C4A01

1.4587E+0070 2.2037E+0072 4 358 (expected value)

3.99 2.99 3.99 3.99 (confidence rate)

1.4587E+0070 2.2037E+0072 4 358
TTTT
----:P- / 36.88
1.4587E+0070 ? 4 358
T-TT
----:-- / 32.23
CC

0
CC

0
1.4587E+0070 2.2037E+0072 4 358
TTTT
----:-- / 36.88
1.4587E+0070 2.2037E+0072 4 358
TTTT
----:-M / 36.88
S16D2C4A02

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
S16D2C4A03

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0

All «Known» models
 
  GreatSPN ITS-Tools Tapaal smart TINA.tedd 2019-Gold
Total Points 7284.23 6511.84 2352.33 4864.22 8159.95 7727.80
fastest 227 99 98 17 266 24
less memory 31 30 3 2 20 645
ARMCacheCoherence — P/T (102.55 pts max)
  GreatSPN ITS-Tools Tapaal smart TINA.tedd 2019-Gold
Score 102.55 89.73 0.00 0.00 102.55 102.55
fastest 0 0 0 0 1 0
smallest memory 0 0 0 0 0 1
none

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

3.99 2.99 3.99 3.99 (confidence rate)

3.2057E+0008 2.2340E+0010 1 12
TTTT
----:-- / 102.55
3.2057E+0008 ? 1 12
T-TT
----:-- / 89.73
CC

0
DNF

0
3.2057E+0008 2.2340E+0010 1 12
TTTT
----:P- / 102.55
3.2057E+0008 2.2340E+0010 1 12
TTTT
----:-M / 102.55
ASLink — P/T (151.00 pts max)
  GreatSPN ITS-Tools Tapaal smart TINA.tedd 2019-Gold
Score 22.65 46.27 0.00 7.55 83.05 83.05
fastest 0 2 0 0 9 0
smallest memory 0 0 0 0 0 11
01a

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

4.99 3.99 4.99 4.99 (confidence rate)

1.8940E+0008 9.5662E+0008 1 23
TTTT
----:-- / 7.55
1.8940E+0008 ? 1 23
T-TT
----:-- / 6.61
CC

0
1.8940E+0008 9.5662E+0008 1 23
TTTT
----:-- / 7.55
1.8940E+0008 9.5662E+0008 1 23
TTTT
----:P- / 7.55
1.8940E+0008 9.5662E+0008 1 23
TTTT
----:-M / 7.55
01b

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

3.00 2.00 3.00 3.00 (confidence rate)

DNF

0
5.9495E+0014 ? 1 23
T-TT
----:P- / 6.61
CC

0
DNF

0
5.9495E+0014 7.3479E+0015 1 23
TTTT
----:-- / 7.55
5.9495E+0014 7.3479E+0015 1 23
TTTT
----:-M / 7.55
02a

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

3.99 2.99 3.99 3.99 (confidence rate)

8.8673E+0012 7.0218E+0013 1 36
TTTT
----:-- / 7.55
8.8673E+0012 ? 1 36
T-TT
----:P- / 6.61
CC

0
DNF

0
8.8673E+0012 7.0218E+0013 1 36
TTTT
----:-- / 7.55
8.8673E+0012 7.0218E+0013 1 36
TTTT
----:-M / 7.55
02b

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
03a

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

3.99 2.99 3.99 3.99 (confidence rate)

4.2435E+0017 4.5791E+0018 1 49
TTTT
----:-- / 7.55
4.2435E+0017 ? 1 49
T-TT
----:-- / 6.61
CC

0
DNF

0
4.2435E+0017 4.5791E+0018 1 49
TTTT
----:P- / 7.55
4.2435E+0017 4.5791E+0018 1 49
TTTT
----:-M / 7.55
03b

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
04a

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

3.00 2.00 3.00 3.00 (confidence rate)

DNF

0
2.0328E+0022 ? 1 62
T-TT
----:-- / 6.61
CC

0
DNF

0
2.0328E+0022 2.7772E+0023 1 62
TTTT
----:P- / 7.55
2.0328E+0022 2.7772E+0023 1 62
TTTT
----:-M / 7.55
04b

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
05a

9.7382E+0026 1.6101E+0028 1 75 (expected value)

3.00 2.00 3.00 3.00 (confidence rate)

DNF

0
9.7382E+0026 ? 1 75
T-TT
----:-- / 6.61
CC

0
DNF

0
9.7382E+0026 1.6101E+0028 1 75
TTTT
----:P- / 7.55
9.7382E+0026 1.6101E+0028 1 75
TTTT
----:-M / 7.55
05b

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
06a

4.6652E+0031 9.0526E+0032 1 88 (expected value)

3.00 2.00 3.00 3.00 (confidence rate)

DNF

0
4.6652E+0031 ? 1 88
T-TT
----:-- / 6.61
CC

0
DNF

0
4.6652E+0031 9.0526E+0032 1 88
TTTT
----:P- / 7.55
4.6652E+0031 9.0526E+0032 1 88
TTTT
----:-M / 7.55
06b

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
07a

2.2349E+0036 4.9784E+0037 1 101 (expected value)

2.00 2.00 2.00 2.00 (confidence rate)

DNF

0
DNF

0
CC

0
DNF

0
2.2349E+0036 4.9784E+0037 1 101
TTTT
----:P- / 7.55
2.2349E+0036 4.9784E+0037 1 101
TTTT
----:-M / 7.55
07b

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
08a

1.0706E+0041 2.6924E+0042 1 114 (expected value)

2.00 2.00 2.00 2.00 (confidence rate)

DNF

0
DNF

0
CC

0
DNF

0
1.0706E+0041 2.6924E+0042 1 114
TTTT
----:P- / 7.55
1.0706E+0041 2.6924E+0042 1 114
TTTT
----:-M / 7.55
08b

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
09a

5.1289E+0045 1.4371E+0047 1 127 (expected value)

2.00 2.00 2.00 2.00 (confidence rate)

DNF

0
DNF

0
CC

0
DNF

0
5.1289E+0045 1.4371E+0047 1 127
TTTT
----:P- / 7.55
5.1289E+0045 1.4371E+0047 1 127
TTTT
----:-M / 7.55
09b

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
10a

2.4571E+0050 7.5898E+0051 1 140 (expected value)

2.00 2.00 2.00 2.00 (confidence rate)

DNF

0
DNF

0
CC

0
DNF

0
2.4571E+0050 7.5898E+0051 1 140
TTTT
----:P- / 7.55
2.4571E+0050 7.5898E+0051 1 140
TTTT
----:-M / 7.55
10b

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
AirplaneLD — Colored (72.95 pts max)
  GreatSPN ITS-Tools Tapaal smart TINA.tedd 2019-Gold
Score 42.54 54.72 24.31 0.00 63.80 63.80
fastest 0 2 1 0 3 3
smallest memory 0 0 0 0 0 9
0010

43463 1.8366E+0005 1 38 (expected value)

4.99 2.99 4.00 4.99 (confidence rate)

43463 1.8366E+0005 20 38
TT-T
----:-- / 7.09
43463 ? 1 38
T--T
----:-- / 6.08
43463 ? 1 38
T--T
----:P- / 6.08
DNC 43463 1.8366E+0005 1 38
TT-T
----:-- / 7.09
43463 1.8366E+0005 1 38
TT-T
----:-M / 7.09
0020

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

4.99 2.99 4.00 4.99 (confidence rate)

3.0830E+0005 1.3391E+0006 40 68
TT-T
----:-- / 7.09
3.0830E+0005 ? 1 68
T--T
----:-- / 6.08
3.0830E+0005 ? 1 68
T--T
----:-- / 6.08
DNC 3.0830E+0005 1.3391E+0006 1 68
TT-T
----:P- / 7.09
3.0830E+0005 1.3391E+0006 1 68
TT-T
----:-M / 7.09
0050

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

4.99 2.99 4.00 4.99 (confidence rate)

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

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

4.99 2.99 4.00 4.99 (confidence rate)

3.4877E+0007 1.5501E+0008 200 308
TT-T
----:-- / 7.09
3.4877E+0007 ? 1 308
T--T
----:P- / 6.08
3.4877E+0007 ? 1 308
T--T
----:-- / 6.08
DNC 3.4877E+0007 1.5501E+0008 1 308
TT-T
----:-- / 7.09
3.4877E+0007 1.5501E+0008 1 308
TT-T
----:-M / 7.09
0200

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

3.99 2.99 3.00 3.99 (confidence rate)

2.7549E+0008 1.2280E+0009 400 608
TT-T
----:-- / 7.09
2.7549E+0008 ? 1 608
T--T
----:-- / 6.08
CC

0
DNC 2.7549E+0008 1.2280E+0009 1 608
TT-T
----:P- / 7.09
2.7549E+0008 1.2280E+0009 1 608
TT-T
----:-M / 7.09
0500

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

3.99 2.99 3.00 3.99 (confidence rate)

4.2718E+0009 1.9075E+0010 1000 1508
TT-T
----:-- / 7.09
4.2718E+0009 ? 1 1508
T--T
----:P- / 6.08
CC

0
DNC 4.2718E+0009 1.9075E+0010 1 1508
TT-T
----:-- / 7.09
4.2718E+0009 1.9075E+0010 1 1508
TT-T
----:-M / 7.09
1000

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

3.00 2.00 3.00 3.00 (confidence rate)

CC

0
3.4087E+0010 ? 1 3008
T--T
----:-- / 6.08
CC

0
DNC 3.4087E+0010 1.5230E+0011 1 3008
TT-T
----:-- / 7.09
3.4087E+0010 1.5230E+0011 1 3008
TT-T
----:PM / 7.09
2000

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

3.00 2.00 3.00 3.00 (confidence rate)

CC

0
2.7235E+0011 ? 1 6008
T--T
----:-- / 6.08
CC

0
DNC 2.7235E+0011 1.2172E+0012 1 6008
TT-T
----:-- / 7.09
2.7235E+0011 1.2172E+0012 1 6008
TT-T
----:PM / 7.09
4000

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

3.00 2.00 3.00 3.00 (confidence rate)

CC

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

0
DNC 2.1774E+0012 9.7328E+0012 1 12008
TT-T
----:-- / 7.09
2.1774E+0012 9.7328E+0012 1 12008
TT-T
----:PM / 7.09
AirplaneLD — P/T (72.95 pts max)
  GreatSPN ITS-Tools Tapaal smart TINA.tedd 2019-Gold
Score 48.66 63.80 28.36 40.55 72.98 56.77
fastest 0 4 1 0 4 0
smallest memory 0 2 0 0 0 7
0010

43463 1.8366E+0005 1 38 (expected value)

5.99 3.99 5.99 5.99 (confidence rate)

43463 1.8366E+0005 1 38
TTTT
----:-- / 8.11
43463 ? 1 38
T-TT
----:-- / 7.09
43463 ? 1 38
T-TT
----:P- / 7.09
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)

5.99 3.99 5.99 5.99 (confidence rate)

3.0830E+0005 1.3391E+0006 1 68
TTTT
----:-- / 8.11
3.0830E+0005 ? 1 68
T-TT
----:-- / 7.09
3.0830E+0005 ? 1 68
T-TT
----:-- / 7.09
3.0830E+0005 1.3391E+0006 1 68
TTTT
----:-- / 8.11
3.0830E+0005 1.3391E+0006 1 68
TTTT
----:P- / 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)

5.99 3.99 5.99 5.99 (confidence rate)

4.4712E+0006 1.9756E+0007 1 158
TTTT
----:-- / 8.11
4.4712E+0006 ? 1 158
T-TT
----:-- / 7.09
4.4712E+0006 ? 1 158
T-TT
----:-- / 7.09
4.4712E+0006 1.9756E+0007 1 158
TTTT
----:-- / 8.11
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)

5.99 3.99 5.99 5.99 (confidence rate)

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

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

3.99 2.99 3.99 3.99 (confidence rate)

2.7549E+0008 1.2280E+0009 1 608
TTTT
----:-- / 8.11
2.7549E+0008 ? 1 608
T-TT
----:-- / 7.09
CC

0
CC

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

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

4.99 3.99 4.99 4.99 (confidence rate)

4.2718E+0009 1.9075E+0010 1 1508
TTTT
----:-- / 8.11
4.2718E+0009 ? 1 1508
T-TT
----:P- / 7.09
CC

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

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

3.00 2.00 3.00 3.00 (confidence rate)

CC

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

0
DNF

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

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

2.00 1 2.00 2.00 (confidence rate)

CC

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

0
DNF

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

0
4000

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

2.00 1 2.00 2.00 (confidence rate)

CC

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

0
DNF

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

0
Angiogenesis — P/T (117.84 pts max)
  GreatSPN ITS-Tools Tapaal smart TINA.tedd 2019-Gold
Score 101.04 73.65 29.45 84.20 67.36 61.04
fastest 5 0 1 0 0 0
smallest memory 2 1 0 0 0 3
01

110 288 1 8 (expected value)

5.99 2.99 5.99 5.99 (confidence rate)

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

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

5.99 3.99 5.99 5.99 (confidence rate)

4.2735E+0007 4.8687E+0008 5 40
TTTT
----:P- / 16.84
4.2735E+0007 ? 5 40
T-TT
----:-- / 14.73
4.2735E+0007 ? 5 40
T-TT
----:-- / 14.73
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)

4.99 3.99 4.99 4.99 (confidence rate)

8.2265E+0011 1.5636E+0013 10 80
TTTT
----:P- / 16.84
8.2265E+0011 ? 10 80
T-TT
----:-- / 14.73
CC

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
----:-M / 16.84
15

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

4.99 3.99 4.99 4.99 (confidence rate)

1.1155E+0015 2.7474E+0016 15 120
TTTT
----:P- / 16.84
1.1155E+0015 ? 15 120
T-TT
----:-- / 14.73
CC

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

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

2.99 1.99 2.99 2.99 (confidence rate)

3.5182E+0017 1.0195E+0019 20 160
TTTT
----:PM / 16.84
3.5182E+0017 ? 20 160
T-TT
----:-- / 14.73
CC

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

0
DNF

0
25

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

0.99 0.99 0.99 0.99 (confidence rate)

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

0
CC

0
CC

0
DNF

0
DNF

0
50

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
CC

0
DNF

0
DNF

0
AutoFlight — P/T (151.00 pts max)
  GreatSPN ITS-Tools Tapaal smart TINA.tedd 2019-Gold
Score 113.25 99.15 39.66 67.95 105.70 105.70
fastest 9 2 2 0 3 0
smallest memory 1 1 0 0 0 14
01a

253 1120 1 9 (expected value)

5.99 3.99 5.99 5.99 (confidence rate)

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

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

5.99 3.99 5.99 5.99 (confidence rate)

4.8882E+0007 3.5442E+0008 1 9
TTTT
----:P- / 7.55
4.8882E+0007 ? 1 9
T-TT
----:-- / 6.61
4.8882E+0007 ? 1 9
T-TT
----:-- / 6.61
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
----:-M / 7.55
02a

6949 55285 1 15 (expected value)

5.99 3.99 5.99 5.99 (confidence rate)

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

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

4.99 3.99 4.99 4.99 (confidence rate)

1.6155E+0013 2.0351E+0014 1 15
TTTT
----:-- / 7.55
1.6155E+0013 ? 1 15
T-TT
----:-- / 6.61
CC

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

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

5.99 3.99 5.99 5.99 (confidence rate)

1.5768E+0005 1.8212E+0006 1 21
TTTT
----:P- / 7.55
1.5768E+0005 ? 1 21
T-TT
----:-- / 6.61
1.5768E+0005 ? 1 21
T-TT
----:-- / 6.61
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
----:-M / 7.55
03b

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

3.99 2.99 3.99 3.99 (confidence rate)

4.0962E+0018 7.3643E+0019 1 21
TTTT
----:P- / 7.55
4.0962E+0018 ? 1 21
T-TT
----:-- / 6.61
CC

0
DNF

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

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

5.99 3.99 5.99 5.99 (confidence rate)

3.3320E+0006 5.0619E+0007 1 27
TTTT
----:-- / 7.55
3.3320E+0006 ? 1 27
T-TT
----:-- / 6.61
3.3320E+0006 ? 1 27
T-TT
----:-- / 6.61
3.3320E+0006 5.0619E+0007 1 27
TTTT
----:-- / 7.55
3.3320E+0006 5.0619E+0007 1 27
TTTT
----:P- / 7.55
3.3320E+0006 5.0619E+0007 1 27
TTTT
----:-M / 7.55
04b

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

3.99 2.99 3.99 3.99 (confidence rate)

9.0465E+0023 2.1140E+0025 1 27
TTTT
----:P- / 7.55
9.0465E+0023 ? 1 27
T-TT
----:-- / 6.61
CC

0
DNF

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

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

5.99 3.99 5.99 5.99 (confidence rate)

6.8180E+0007 1.2862E+0009 1 33
TTTT
----:-- / 7.55
6.8180E+0007 ? 1 33
T-TT
----:-- / 6.61
6.8180E+0007 ? 1 33
T-TT
----:-- / 6.61
6.8180E+0007 1.2862E+0009 1 33
TTTT
----:-- / 7.55
6.8180E+0007 1.2862E+0009 1 33
TTTT
----:P- / 7.55
6.8180E+0007 1.2862E+0009 1 33
TTTT
----:-M / 7.55
05b

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

3.99 2.99 3.99 3.99 (confidence rate)

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

0
DNF

0
1.8382E+0029 5.2864E+0030 1 33
TTTT
----:-- / 7.55
1.8382E+0029 5.2864E+0030 1 33
TTTT
----:-M / 7.55
06a

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

4.99 3.99 4.99 4.99 (confidence rate)

1.3719E+0009 3.0943E+0010 1 39
TTTT
----:P- / 7.55
1.3719E+0009 ? 1 39
T-TT
----:-- / 6.61
CC

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
----:-M / 7.55
06b

3.5325E+0034 ? 1 39 (expected value)

1.00 0 1.00 1.00 (confidence rate)

DNF

0
3.5325E+0034 ? 1 39
T?TT
----:PM / 6.61
CC

0
DNF

0
DNF

0
DNF

0
12a

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

4.99 3.99 4.99 4.99 (confidence rate)

7.8221E+0016 3.4975E+0018 1 75
TTTT
----:P- / 7.55
7.8221E+0016 ? 1 75
T-TT
----:-- / 6.61
CC

0
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
----:-M / 7.55
12b

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
24a

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

3.99 2.99 3.99 3.99 (confidence rate)

1.6997E+0032 1.5091E+0034 1 147
TTTT
----:P- / 7.55
1.6997E+0032 ? 1 147
T-TT
----:-- / 6.61
CC

0
DNF

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

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
48a

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

3.99 2.99 3.99 3.99 (confidence rate)

1.6136E+0051 2.3370E+0053 1 257
TTTT
----:P- / 7.55
1.6136E+0051 ? 1 257
T-TT
----:-- / 6.61
CC

0
DNF

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

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
96a

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

0.99 0.99 0.99 0.99 (confidence rate)

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

0
CC

0
DNF

0
DNF

0
DNF

0
96b

? (expected value)

0 (confidence rate)

CC

0
CC

0
CC

0
DNF

0
DNF

0
DNF

0
BART — Colored (70.40 pts max)
  GreatSPN ITS-Tools Tapaal smart TINA.tedd 2019-Gold
Score 0.00 52.80 0.00 0.00 61.59 61.59
fastest 0 4 0 0 3 1
smallest memory 0 0 0 0 0 8
002

17424 53328 1 274 (expected value)

3.00 2.00 3.00 3.00 (confidence rate)

DNF

0
17424 ? 1 274
T--T
----:-- / 6.59
CC

0
DNC 17424 53328 1 274
TT-T
----:-- / 7.70
17424 53328 1 274
TT-T
----:PM / 7.70
005

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

3.00 2.00 3.00 3.00 (confidence rate)

DNF

0
4.0075E+0010 ? 1 277
T--T
----:-- / 6.59
CC

0
DNC 4.0075E+0010 3.0663E+0011 1 277
TT-T
----:P- / 7.70
4.0075E+0010 3.0663E+0011 1 277
TT-T
----:-M / 7.70
010

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

3.00 2.00 3.00 3.00 (confidence rate)

DNF

0
1.6060E+0021 ? 1 282
T--T
----:-- / 6.59
CC

0
DNC 1.6060E+0021 2.4576E+0022 1 282
TT-T
----:P- / 7.70
1.6060E+0021 2.4576E+0022 1 282
TT-T
----:-M / 7.70
020

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

3.00 2.00 3.00 3.00 (confidence rate)

DNF

0
2.5792E+0042 ? 1 292
T--T
----:-- / 6.59
CC

0
DNC 2.5792E+0042 7.8938E+0043 1 292
TT-T
----:P- / 7.70
2.5792E+0042 7.8938E+0043 1 292
TT-T
----:-M / 7.70
030

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

3.00 2.00 3.00 3.00 (confidence rate)

DNF

0
4.1421E+0063 ? 1 302
T--T
----:P- / 6.59
CC

0
DNC 4.1421E+0063 1.9016E+0065 1 302
TT-T
----:-- / 7.70
4.1421E+0063 1.9016E+0065 1 302
TT-T
----:-M / 7.70
040

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

3.00 2.00 3.00 3.00 (confidence rate)

DNF

0
6.6521E+0084 ? 1 312
T--T
----:P- / 6.59
CC

0
DNC 6.6521E+0084 4.0719E+0086 1 312
TT-T
----:-- / 7.70
6.6521E+0084 4.0719E+0086 1 312
TT-T
----:-M / 7.70
050

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

3.00 2.00 3.00 3.00 (confidence rate)

DNF

0
1.0683E+0106 ? 1 322
T--T
----:P- / 6.59
CC

0
DNC 1.0683E+0106 8.1742E+0107 1 322
TT-T
----:-- / 7.70
1.0683E+0106 8.1742E+0107 1 322
TT-T
----:-M / 7.70
060

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

3.00 2.00 3.00 3.00 (confidence rate)

DNF

0
1.7157E+0127 ? 1 332
T--T
----:P- / 6.59
CC

0
DNC 1.7157E+0127 1.5753E+0129 1 332
TT-T
----:-- / 7.70
1.7157E+0127 1.5753E+0129 1 332
TT-T
----:-M / 7.70
BART — P/T (70.40 pts max)
  GreatSPN ITS-Tools Tapaal smart TINA.tedd 2019-Gold
Score 52.80 61.59 7.70 8.80 70.40 70.40
fastest 0 3 1 0 3 1
smallest memory 0 0 0 0 0 8
002

17424 53328 1 212 (expected value)

5.99 3.99 5.99 5.99 (confidence rate)

17424 53328 1 212
TTTT
----:-- / 8.80
17424 ? 1 212
T-TT
----:-- / 7.70
17424 ? 1 212
T-TT
----:P- / 7.70
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)

3.99 2.99 3.99 3.99 (confidence rate)

4.0075E+0010 3.0663E+0011 1 215
TTTT
----:-- / 8.80
4.0075E+0010 ? 1 215
T-TT
----:-- / 7.70
CC

0
DNF

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

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

3.99 2.99 3.99 3.99 (confidence rate)

1.6060E+0021 2.4576E+0022 1 220
TTTT
----:-- / 8.80
1.6060E+0021 ? 1 220
T-TT
----:-- / 7.70
CC

0
DNF

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

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

3.99 2.99 3.99 3.99 (confidence rate)

2.5792E+0042 7.8938E+0043 1 230
TTTT
----:-- / 8.80
2.5792E+0042 ? 1 230
T-TT
----:-- / 7.70
CC

0
DNF

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

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

3.99 2.99 3.99 3.99 (confidence rate)

4.1421E+0063 1.9016E+0065 1 240
TTTT
----:-- / 8.80
4.1421E+0063 ? 1 240
T-TT
----:-- / 7.70
CC

0
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.99 2.99 3.99 3.99 (confidence rate)

6.6521E+0084 4.0719E+0086 1 250
TTTT
----:-- / 8.80
6.6521E+0084 ? 1 250
T-TT
----:P- / 7.70
CC

0
DNF

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

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

3.00 2.00 3.00 3.00 (confidence rate)

CC

0
1.0683E+0106 ? 1 260
T-TT
----:P- / 7.70
CC

0
DNF

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

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

3.00 2.00 3.00 3.00 (confidence rate)

CC

0
1.7157E+0127 ? 1 270
T-TT
----:P- / 7.70
CC

0
DNF

0
1.7157E+0127 1.5753E+0129 1 270
TTTT
----:-- / 8.80
1.7157E+0127 1.5753E+0129 1 270
TTTT
----:-M / 8.80
BridgeAndVehicles — Colored (101.00 pts max)
  GreatSPN ITS-Tools Tapaal smart TINA.tedd 2019-Gold
Score 85.88 30.31 37.90 0.00 79.55 79.55
fastest 9 0 2 0 7 2
smallest memory 2 0 0 0 0 18
V04P05N02

2874 7160 5 17 (expected value)

4.99 2.99 4.99 4.99 (confidence rate)

2874 7160 5 17
TT-T
----:-- / 4.41
2874 ? 5 17
T--T
----:-- / 3.79
2874 ? 5 17
T--T
----:P- / 3.79
DNC 2874 7160 5 17
TT-T
----:-- / 4.41
2874 7160 5 17
TT-T
----:-M / 4.41
V10P10N10

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

4.99 2.99 4.99 4.99 (confidence rate)

2.5956E+0005 8.2128E+0005 10 34
TT-T
----:-- / 4.41
2.5956E+0005 ? 10 34
T--T
----:-- / 3.79
2.5956E+0005 ? 10 34
T--T
----:P- / 3.79
DNC 2.5956E+0005 8.2128E+0005 10 34
TT-T
----:-- / 4.41
2.5956E+0005 8.2128E+0005 10 34
TT-T
----:-M / 4.41
V20P10N10

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

4.99 2.99 4.99 4.99 (confidence rate)

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

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

4.99 2.99 4.99 4.99 (confidence rate)

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

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

4.99 2.99 4.99 4.99 (confidence rate)

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

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

4.99 2.99 4.99 4.99 (confidence rate)

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

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

4.99 2.99 4.99 4.99 (confidence rate)

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

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

4.99 2.99 4.99 4.99 (confidence rate)

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

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

3.99 2.99 3.99 3.99 (confidence rate)

3.4763E+0008 1.2717E+0009 50 124
TT-T
----:P- / 4.41
DNF

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

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

2.99 2.99 2.99 2.99 (confidence rate)

8.9629E+0008 3.3637E+0009 50 124
TT-T
----:-- / 4.41
DNF

0
CC

0
DNC 8.9629E+0008 3.3637E+0009 50 124
TT-T
----:-- / 4.41
8.9629E+0008 3.3637E+0009 50 124
TT-T
----:PM / 4.41
V50P20N50

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

2.99 2.99 2.99 2.99 (confidence rate)

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

0
CC

0
DNC 1.4546E+0009 5.4840E+0009 50 124
TT-T
----:P- / 4.41
1.4546E+0009 5.4840E+0009 50 124
TT-T
----:-M / 4.41
V50P50N10

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

3.99 2.99 3.99 3.99 (confidence rate)

3.4763E+0008 1.2717E+0009 50 154
TT-T
----:-- / 4.41
DNF

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

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

2.99 2.99 2.99 2.99 (confidence rate)

8.9629E+0008 3.3637E+0009 50 154
TT-T
----:-- / 4.41
DNF

0
CC

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

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

2.99 2.99 2.99 2.99 (confidence rate)

1.6769E+0009 6.3374E+0009 50 154
TT-T
----:-- / 4.41
DNF

0
CC

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

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

2.99 2.99 2.99 2.99 (confidence rate)

2.4329E+0009 8.9934E+0009 80 184
TT-T
----:-- / 4.41
DNF

0
CC

0
DNC 2.4329E+0009 8.9934E+0009 80 184
TT-T
----:P- / 4.41
2.4329E+0009 8.9934E+0009 80 184
TT-T
----:-M / 4.41
V80P20N20

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

2.99 2.00 2.99 2.99 (confidence rate)

7.0996E+0009 ? 80 184
T--T
----:-- / 3.79
DNF

0
CC

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

1.6235E+0010 ? 80 184 (expected value)

0.99 0 0.99 0.99 (confidence rate)

1.6235E+0010 ? 80 184
T?-T
----:PM / 3.79
DNF

0
CC

0
DNC DNF

0
DNF

0
V80P50N10

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

2.99 2.99 2.99 2.99 (confidence rate)

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

0
CC

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

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

2.99 2.00 2.99 2.99 (confidence rate)

7.0996E+0009 ? 80 214
T--T
----:-- / 3.79
DNF

0
CC

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

2.1619E+0010 ? 80 214 (expected value)

0.99 0 0.99 0.99 (confidence rate)

2.1619E+0010 ? 80 214
T?-T
----:PM / 3.79
DNF

0
CC

0
DNC DNF

0
DNF

0
BridgeAndVehicles — P/T (101.00 pts max)
  GreatSPN ITS-Tools Tapaal smart TINA.tedd 2019-Gold
Score 98.48 35.36 39.77 30.30 90.90 90.90
fastest 10 0 1 0 9 0
smallest memory 2 0 0 0 0 18
V04P05N02

2874 7160 5 17 (expected value)

5.99 3.99 5.99 5.99 (confidence rate)

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

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

5.99 3.99 5.99 5.99 (confidence rate)

2.5956E+0005 8.2128E+0005 10 34
TTTT
----:P- / 5.05
2.5956E+0005 ? 10 34
T-TT
----:-- / 4.41
2.5956E+0005 ? 10 34
T-TT
----:-- / 4.41
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
----:-M / 5.05
V20P10N10

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

5.99 3.99 5.99 5.99 (confidence rate)

6.7326E+0006 2.3489E+0007 20 54
TTTT
----:P- / 5.05
6.7326E+0006 ? 20 54
T-TT
----:-- / 4.41
6.7326E+0006 ? 20 54
T-TT
----:-- / 4.41
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
----:-M / 5.05
V20P10N20

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

4.99 2.99 4.99 4.99 (confidence rate)

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

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

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

5.99 3.99 5.99 5.99 (confidence rate)

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

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

5.99 3.99 5.99 5.99 (confidence rate)

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

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

5.99 3.99 5.99 5.99 (confidence rate)

9.7836E+0006 3.4321E+0007 20 64
TTTT
----:P- / 5.05
9.7836E+0006 ? 20 64
T-TT
----:-- / 4.41
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
----:-- / 5.05
9.7836E+0006 3.4321E+0007 20 64
TTTT
----:-M / 5.05
V20P20N50

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

4.99 2.99 4.99 4.99 (confidence rate)

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

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

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

3.99 2.99 3.99 3.99 (confidence rate)

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

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

0
3.4763E+0008 1.2717E+0009 50 124
TTTT
----:-- / 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)

2.99 2.99 2.99 2.99 (confidence rate)

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

0
CC

0
CC

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)

2.99 2.99 2.99 2.99 (confidence rate)

1.4546E+0009 5.4840E+0009 50 124
TTTT
----:-- / 5.05
DNF

0
CC

0
DNF

0
1.4546E+0009 5.4840E+0009 50 124
TTTT
----:P- / 5.05
1.4546E+0009 5.4840E+0009 50 124
TTTT
----:-M / 5.05
V50P50N10

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

2.99 2.99 2.99 2.99 (confidence rate)

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

0
CC

0
CC

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)

2.99 2.99 2.99 2.99 (confidence rate)

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

0
CC

0
CC

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

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

2.99 2.99 2.99 2.99 (confidence rate)

1.6769E+0009 6.3374E+0009 50 154
TTTT
----:-- / 5.05
DNF

0
CC

0
DNF

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

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

2.99 2.99 2.99 2.99 (confidence rate)

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

0
CC

0
CC

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)

2.99 2.00 2.99 2.99 (confidence rate)

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

0
CC

0
CC

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

1.6235E+0010 ? 80 184 (expected value)

0.99 0 0.99 0.99 (confidence rate)

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

0
CC

0
DNF

0
DNF

0
DNF

0
V80P50N10

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

2.99 2.99 2.99 2.99 (confidence rate)

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

0
CC

0
CC

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

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

2.99 2.00 2.99 2.99 (confidence rate)

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

0
CC

0
CC

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

2.1619E+0010 ? 80 214 (expected value)

0.99 0 0.99 0.99 (confidence rate)

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

0
CC

0
DNF

0
DNF

0
DNF

0
BusinessProcesses — P/T (151.00 pts max)
  GreatSPN ITS-Tools Tapaal smart TINA.tedd 2019-Gold
Score 140.63 118.98 0.00 30.20 143.45 143.45
fastest 2 12 0 0 3 2
smallest memory 0 0 0 0 0 19
01

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

4.99 3.99 4.99 4.99 (confidence rate)

2.4161E+0010 2.7650E+0011 1 22
TTTT
----:-- / 7.55
2.4161E+0010 ? 1 22
T-TT
----:-- / 6.61
CC

0
2.4161E+0010 2.7650E+0011 1 22
TTTT
----:-- / 7.55
2.4161E+0010 2.7650E+0011 1 22
TTTT
----:-- / 7.55
2.4161E+0010 2.7650E+0011 1 22
TTTT
----:PM / 7.55
02

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

4.99 3.99 4.99 4.99 (confidence rate)

3.1432E+0012 5.0565E+0013 1 32
TTTT
----:-- / 7.55
3.1432E+0012 ? 1 32
T-TT
----:P- / 6.61
CC

0
3.1432E+0012 5.0565E+0013 1 32
TTTT
----:-- / 7.55
3.1432E+0012 5.0565E+0013 1 32
TTTT
----:-- / 7.55
3.1432E+0012 5.0565E+0013 1 32
TTTT
----:-M / 7.55
03

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

4.99 3.99 4.99 4.99 (confidence rate)

1.4794E+0013 2.5822E+0014 1 31
TTTT
----:-- / 7.55
1.4794E+0013 ? 1 31
T-TT
----:-- / 6.61
CC

0
1.4794E+0013 2.5822E+0014 1 31
TTTT
----:-- / 7.55
1.4794E+0013 2.5822E+0014 1 31
TTTT
----:P- / 7.55
1.4794E+0013 2.5822E+0014 1 31
TTTT
----:-M / 7.55
04

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

4.99 3.99 4.99 4.99 (confidence rate)

2.1970E+0011 2.5575E+0012 1 25
TTTT
----:-- / 7.55
2.1970E+0011 ? 1 25
T-TT
----:P- / 6.61
CC

0
2.1970E+0011 2.5575E+0012 1 25
TTTT
----:-- / 7.55
2.1970E+0011 2.5575E+0012 1 25
TTTT
----:-- / 7.55
2.1970E+0011 2.5575E+0012 1 25
TTTT
----:-M / 7.55
05

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

3.99 2.99 3.99 3.99 (confidence rate)

2.3839E+0017 5.5862E+0018 1 41
TTTT
----:-- / 7.55
2.3839E+0017 ? 1 41
T-TT
----:-- / 6.61
CC

0
DNF

0
2.3839E+0017 5.5862E+0018 1 41
TTTT
----:-- / 7.55
2.3839E+0017 5.5862E+0018 1 41
TTTT
----:PM / 7.55
06

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

3.99 2.99 3.99 3.99 (confidence rate)

2.9156E+0018 6.7554E+0019 1 56
TTTT
----:-- / 7.55
2.9156E+0018 ? 1 56
T-TT
----:P- / 6.61
CC

0
DNF

0
2.9156E+0018 6.7554E+0019 1 56
TTTT
----:-- / 7.55
2.9156E+0018 6.7554E+0019 1 56
TTTT
----:-M / 7.55
07

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

3.99 2.99 3.99 3.99 (confidence rate)

8.1436E+0017 1.4959E+0019 1 39
TTTT
----:P- / 7.55
8.1436E+0017 ? 1 39
T-TT
----:-- / 6.61
CC

0
DNF

0
8.1436E+0017 1.4959E+0019 1 39
TTTT
----:-- / 7.55
8.1436E+0017 1.4959E+0019 1 39
TTTT
----:-M / 7.55
08

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

3.99 2.99 3.99 3.99 (confidence rate)

4.9400E+0017 1.1592E+0019 1 44
TTTT
----:-- / 7.55
4.9400E+0017 ? 1 44
T-TT
----:-- / 6.61
CC

0
DNF

0
4.9400E+0017 1.1592E+0019 1 44
TTTT
----:P- / 7.55
4.9400E+0017 1.1592E+0019 1 44
TTTT
----:-M / 7.55
09

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

3.99 2.99 3.99 3.99 (confidence rate)

7.5226E+0018 1.4557E+0020 1 41
TTTT
----:-- / 7.55
7.5226E+0018 ? 1 41
T-TT
----:P- / 6.61
CC

0
DNF

0
7.5226E+0018 1.4557E+0020 1 41
TTTT
----:-- / 7.55
7.5226E+0018 1.4557E+0020 1 41
TTTT
----:-M / 7.55
10

2.0834E+0025 5.2705E+0026 1 54 (expected value)

3.99 2.99 3.99 3.99 (confidence rate)

2.0834E+0025 5.2705E+0026 1 54
TTTT
----:P- / 7.55
2.0834E+0025 ? 1 54
T-TT
----:-- / 6.61
CC

0
DNF

0
2.0834E+0025 5.2705E+0026 1 54
TTTT
----:-- / 7.55
2.0834E+0025 5.2705E+0026 1 54
TTTT
----:-M / 7.55
11

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

3.99 2.99 3.99 3.99 (confidence rate)

7.1819E+0022 2.0996E+0024 1 61
TTTT
----:-- / 7.55
7.1819E+0022 ? 1 61
T-TT
----:P- / 6.61
CC

0
DNF

0
7.1819E+0022 2.0996E+0024 1 61
TTTT
----:-- / 7.55
7.1819E+0022 2.0996E+0024 1 61
TTTT
----:-M / 7.55
12

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

3.99 2.99 3.99 3.99 (confidence rate)

6.1433E+0023 1.8594E+0025 1 63
TTTT
----:-- / 7.55
6.1433E+0023 ? 1 63
T-TT
----:P- / 6.61
CC

0
DNF

0
6.1433E+0023 1.8594E+0025 1 63
TTTT
----:-- / 7.55
6.1433E+0023 1.8594E+0025 1 63
TTTT
----:-M / 7.55
13

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

3.99 2.00 3.99 3.99 (confidence rate)

3.1266E+0025 ? 1 62
T-TT
----:-- / 6.61
3.1266E+0025 ? 1 62
T-TT
----:P- / 6.61
CC

0
DNF

0
3.1266E+0025 1.0051E+0027 1 62
TTTT
----:-- / 7.55
3.1266E+0025 1.0051E+0027 1 62
TTTT
----:-M / 7.55
14

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

2.99 2.00 2.99 2.99 (confidence rate)

5.1850E+0026 ? 1 65
T-TT
----:-- / 6.61
DNF

0
CC

0
DNF

0
5.1850E+0026 1.7608E+0028 1 65
TTTT
----:P- / 7.55
5.1850E+0026 1.7608E+0028 1 65
TTTT
----:-M / 7.55
15

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

3.99 2.99 3.99 3.99 (confidence rate)

8.8732E+0025 2.9366E+0027 1 67
TTTT
----:-- / 7.55
8.8732E+0025 ? 1 67
T-TT
----:P- / 6.61
CC

0
DNF

0
8.8732E+0025 2.9366E+0027 1 67
TTTT
----:-- / 7.55
8.8732E+0025 2.9366E+0027 1 67
TTTT
----:-M / 7.55
16

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

3.99 2.99 3.99 3.99 (confidence rate)

3.7427E+0027 1.3080E+0029 1 66
TTTT
----:-- / 7.55
3.7427E+0027 ? 1 66
T-TT
----:P- / 6.61
CC

0
DNF

0
3.7427E+0027 1.3080E+0029 1 66
TTTT
----:-- / 7.55
3.7427E+0027 1.3080E+0029 1 66
TTTT
----:-M / 7.55
17

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

3.99 2.99 3.99 3.99 (confidence rate)

3.7496E+0026 1.2757E+0028 1 70
TTTT
----:-- / 7.55
3.7496E+0026 ? 1 70
T-TT
----:P- / 6.61
CC

0
DNF

0
3.7496E+0026 1.2757E+0028 1 70
TTTT
----:-- / 7.55
3.7496E+0026 1.2757E+0028 1 70
TTTT
----:-M / 7.55
18

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

3.99 2.99 3.99 3.99 (confidence rate)

3.7276E+0031 1.4065E+0033 1 77
TTTT
----:-- / 7.55
3.7276E+0031 ? 1 77
T-TT
----:P- / 6.61
CC

0
DNF

0
3.7276E+0031 1.4065E+0033 1 77
TTTT
----:-- / 7.55
3.7276E+0031 1.4065E+0033 1 77
TTTT
----:-M / 7.55
19

7.1571E+0033 2.9309E+0035 1 84 (expected value)

3.99 2.00 3.99 3.99 (confidence rate)

7.1571E+0033 ? 1 84
T-TT
----:-- / 6.61
7.1571E+0033 ? 1 84
T-TT
----:P- / 6.61
CC

0
DNF

0
7.1571E+0033 2.9309E+0035 1 84
TTTT
----:-- / 7.55
7.1571E+0033 2.9309E+0035 1 84
TTTT
----:-M / 7.55
20

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
CSRepetitions — Colored (65.30 pts max)
  GreatSPN ITS-Tools Tapaal smart TINA.tedd 2019-Gold
Score 47.59 32.63 16.31 0.00 19.04 19.04
fastest 4 0 1 0 0 0
smallest memory 3 0 0 0 0 2
02

7424 37088 2 8 (expected value)

4.99 2.99 4.00 4.99 (confidence rate)

7424 37088 4 8
TT-T
----:-- / 9.52
7424 ? 2 8
T--T
----:-- / 8.16
7424 ? 2 8
T--T
----:P- / 8.16
DNC 7424 37088 2 8
TT-T
----:-- / 9.52
7424 37088 2 8
TT-T
----:-M / 9.52
03

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

4.99 2.99 4.00 4.99 (confidence rate)

1.3407E+0008 1.2939E+0009 9 15
TT-T
----:P- / 9.52
1.3407E+0008 ? 3 15
T--T
----:-- / 8.16
1.3407E+0008 ? 3 15
T--T
----:-- / 8.16
DNC 1.3407E+0008 1.2939E+0009 3 15
TT-T
----:-- / 9.52
1.3407E+0008 1.2939E+0009 3 15
TT-T
----:-M / 9.52
04

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

1.99 0.99 1.00 1.99 (confidence rate)

3.0948E+0013 4.7136E+0014 16 24
TT-T
----:PM / 9.52
3.0948E+0013 ? 4 24
T--T
----:-- / 8.16
CC

0
DNC DNF

0
DNF

0
05

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

1.99 0.99 1.00 1.99 (confidence rate)

6.5491E+0019 1.4258E+0021 25 35
TT-T
----:PM / 9.52
6.5491E+0019 ? 5 35
T--T
----:-- / 8.16
CC

0
DNC DNF

0
DNF

0
07

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

0.99 0.99 0.99 0.99 (confidence rate)

1.1507E+0035 4.3513E+0036 49 63
TT-T
----:PM / 9.52
DNF

0
CC

0
DNC CC

0
DNF

0
10

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
DNC DNF

0
DNF

0
CSRepetitions — P/T (65.30 pts max)
  GreatSPN ITS-Tools Tapaal smart TINA.tedd 2019-Gold
Score 53.04 38.08 19.04 32.63 21.76 21.76
fastest 4 0 1 0 0 0
smallest memory 3 0 0 0 0 2
02

7424 37088 2 8 (expected value)

5.99 3.99 5.99 5.99 (confidence rate)

7424 37088 2 8
TTTT
----:-- / 10.88
7424 ? 2 8
T-TT
----:-- / 9.52
7424 ? 2 8
T-TT
----:P- / 9.52
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)

5.99 3.99 5.99 5.99 (confidence rate)

1.3407E+0008 1.2939E+0009 3 15
TTTT
----:P- / 10.88
1.3407E+0008 ? 3 15
T-TT
----:-- / 9.52
1.3407E+0008 ? 3 15
T-TT
----:-- / 9.52
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
----:-M / 10.88
04

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

2.99 1.99 2.99 2.99 (confidence rate)

3.0948E+0013 4.7136E+0014 4 24
TTTT
----:PM / 10.88
3.0948E+0013 ? 4 24
T-TT
----:-- / 9.52
CC

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

0
DNF

0
05

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

1.99 0.99 1.99 1.99 (confidence rate)

6.5491E+0019 1.4258E+0021 5 35
TTTT
----:PM / 10.88
6.5491E+0019 ? 5 35
T-TT
----:-- / 9.52
CC

0
DNF

0
DNF

0
DNF

0
07

1.1507E+0035 ? 7 63 (expected value)

0.99 0 0.99 0.99 (confidence rate)

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

0
CC

0
DNF

0
CC

0
CC

0
10

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
CircadianClock — P/T (115.30 pts max)
  GreatSPN ITS-Tools Tapaal smart TINA.tedd 2019-Gold
Score 76.88 67.23 33.62 76.88 76.88 76.88
fastest 3 0 1 0 0 0
smallest memory 0 0 0 0 0 4
000001

128 624 1 7 (expected value)

5.99 3.99 5.99 5.99 (confidence rate)

128 624 1 7
TTTT
----:-- / 19.22
128 ? 1 7
T-TT
----:-- / 16.80
128 ? 1 7
T-TT
----:P- / 16.80
128 624 1 7
TTTT
----:-- / 19.22
128 624 1 7
TTTT
----:-- / 19.22
128 624 1 7
TTTT
----:-M / 19.22
000010

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

5.99 3.99 5.99 5.99 (confidence rate)

6.4420E+0005 6.7663E+0006 10 52
TTTT
----:P- / 19.22
6.4420E+0005 ? 10 52
T-TT
----:-- / 16.80
6.4420E+0005 ? 10 52
T-TT
----:-- / 16.80
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
----:-M / 19.22
000100

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

4.99 3.99 4.99 4.99 (confidence rate)

4.2040E+0010 4.9743E+0011 100 502
TTTT
----:P- / 19.22
4.2040E+0010 ? 100 502
T-TT
----:-- / 16.80
CC

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
----:-M / 19.22
001000

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

4.99 3.99 4.99 4.99 (confidence rate)

4.0200E+0015 4.8172E+0016 1000 5002
TTTT
----:P- / 19.22
4.0200E+0015 ? 1000 5002
T-TT
----:-- / 16.80
CC

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
----:-M / 19.22
010000

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
100000

? (expected value)

0 (confidence rate)

DNF

0
CC

0
CC

0
DNF

0
DNF

0
DNF

0
CircularTrains — P/T (117.84 pts max)
  GreatSPN ITS-Tools Tapaal smart TINA.tedd 2019-Gold
Score 117.88 88.38 29.45 117.88 101.04 101.04
fastest 4 0 2 1 0 0
smallest memory 1 0 0 0 0 6
012

195 496 2 12 (expected value)

5.99 3.99 5.99 5.99 (confidence rate)

195 496 2 12
TTTT
----:-- / 16.84
195 ? 2 12
T-TT
----:-- / 14.73
195 ? 2 12
T-TT
----:P- / 14.73
195 496 2 12
TTTT
----:-- / 16.84
195 496 2 12
TTTT
----:-- / 16.84
195 496 2 12
TTTT
----:-M / 16.84
024

86515 4.1168E+0005 2 24 (expected value)

5.99 3.99 5.99 5.99 (confidence rate)

86515 4.1168E+0005 2 24
TTTT
----:-- / 16.84
86515 ? 2 24
T-TT
----:-- / 14.73
86515 ? 2 24
T-TT
----:P- / 14.73
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
----:-M / 16.84
048

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

4.99 3.99 4.99 4.99 (confidence rate)

2.3973E+0010 2.2124E+0011 2 48
TTTT
----:-- / 16.84
2.3973E+0010 ? 2 48
T-TT
----:-- / 14.73
CC

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

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

4.99 3.99 4.99 4.99 (confidence rate)

2.5913E+0021 4.7121E+0022 2 96
TTTT
----:P- / 16.84
2.5913E+0021 ? 2 96
T-TT
----:-- / 14.73
CC

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
----:-M / 16.84
192

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

4.99 3.99 4.99 4.99 (confidence rate)

4.2702E+0043 1.5416E+0045 2 192
TTTT
----:P- / 16.84
4.2702E+0043 ? 2 192
T-TT
----:-- / 14.73
CC

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
----:-M / 16.84
384

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

4.99 3.99 4.99 4.99 (confidence rate)

1.6377E+0088 1.1782E+0090 2 384
TTTT
----:P- / 16.84
1.6377E+0088 ? 2 384
T-TT
----:-- / 14.73
CC

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
----:-M / 16.84
768

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

1.99 1.99 1.99 1.99 (confidence rate)

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

0
CC

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

0
DNF

0
ClientsAndServers — P/T (151.00 pts max)
  GreatSPN ITS-Tools Tapaal smart TINA.tedd 2019-Gold
Score 97.20 52.88 19.83 75.50 105.70 105.70
fastest 3 0 0 5 5 1
smallest memory 0 0 0 0 0 14
N0001P0

27576 1.1332E+0005 8 25 (expected value)

5.99 3.99 5.99 5.99 (confidence rate)

27576 1.1332E+0005 8 25
TTTT
----:P- / 7.55
27576 ? 8 25
T-TT
----:-- / 6.61
27576 ? 8 25
T-TT
----:-- / 6.61
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
----:-M / 7.55
N0002P0

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

5.99 3.99 5.99 5.99 (confidence rate)

7.0816E+0006 4.4030E+0007 16 50
TTTT
----:P- / 7.55
7.0816E+0006 ? 16 50
T-TT
----:-- / 6.61
7.0816E+0006 ? 16 50
T-TT
----:-- / 6.61
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)

5.99 3.99 5.99 5.99 (confidence rate)

1.2462E+0007 7.7859E+0007 16 55
TTTT
----:P- / 7.55
1.2462E+0007 ? 16 55
T-TT
----:-- / 6.61
1.2462E+0007 ? 16 55
T-TT
----:-- / 6.61
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)

4.99 3.99 4.99 4.99 (confidence rate)

1.2551E+0011 1.2156E+0012 40 125
TTTT
----:-- / 7.55
1.2551E+0011 ? 40 125
T-TT
----:-- / 6.61
CC

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
----:-M / 7.55
N0005P1

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

4.99 3.99 4.99 4.99 (confidence rate)

2.1171E+0011 2.0632E+0012 40 130
TTTT
----:-- / 7.55
2.1171E+0011 ? 40 130
T-TT
----:-- / 6.61
CC

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

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

4.99 3.99 4.99 4.99 (confidence rate)

1.0911E+0015 1.3487E+0016 80 250
TTTT
----:-- / 7.55
1.0911E+0015 ? 80 250
T-TT
----:-- / 6.61
CC

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

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

4.99 3.99 4.99 4.99 (confidence rate)

1.5502E+0015 1.9213E+0016 80 255
TTTT
----:-- / 7.55
1.5502E+0015 ? 80 255
T-TT
----:-- / 6.61
CC

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

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

4.99 3.99 4.99 4.99 (confidence rate)

1.8980E+0015 2.3544E+0016 80 260
TTTT
----:-- / 7.55
1.8980E+0015 ? 80 260
T-TT
----:-- / 6.61
CC

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

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

3.99 3.99 3.99 3.99 (confidence rate)

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

0
CC

0
2.7979E+0019 4.0727E+0020 160 500
TTTT
----:-- / 7.55
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)

2.99 2.99 2.99 2.99 (confidence rate)

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

0
CC

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

2.99 2.99 2.99 2.99 (confidence rate)

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

0
CC

0
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.99 3.00 3.99 3.99 (confidence rate)

4.5408E+0019 ? 160 515
T-TT
----:-- / 6.61
DNF

0
CC

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

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

2.99 2.99 2.99 2.99 (confidence rate)

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

0
CC

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

2.00 2.00 2.00 2.00 (confidence rate)

DNF

0
DNF

0
CC

0
DNF

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

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
N0200P0

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
N0500P0

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
N1000P0

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
N2000P0

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
N5000P0

? (expected value)

0 (confidence rate)

DNF

0
CC

0
CC

0
DNF

0
DNF

0
DNF

0
CloudDeployment — P/T (130.59 pts max)
  GreatSPN ITS-Tools Tapaal smart TINA.tedd 2019-Gold
Score 87.04 76.16 28.55 54.40 87.04 87.04
fastest 1 0 1 0 6 0
smallest memory 0 0 0 0 0 8
2a

4807 87600 1 9 (expected value)

5.99 3.99 5.99 5.99 (confidence rate)

4807 87600 1 9
TTTT
----:-- / 10.88
4807 ? 1 9
T-TT
----:-- / 9.52
4807 ? 1 9
T-TT
----:P- / 9.52
4807 87600 1 9
TTTT
----:-- / 10.88
4807 87600 1 9
TTTT
----:-- / 10.88
4807 87600 1 9
TTTT
----:-M / 10.88
2b

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

3.99 2.99 3.99 3.99 (confidence rate)

1.6766E+0011 1.2270E+0012 1 9
TTTT
----:-- / 10.88
1.6766E+0011 ? 1 9
T-TT
----:-- / 9.52
CC

0
DNF

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

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

5.99 3.99 5.99 5.99 (confidence rate)

1.9010E+0005 7.6981E+0006 1 13
TTTT
----:-- / 10.88
1.9010E+0005 ? 1 13
T-TT
----:-- / 9.52
1.9010E+0005 ? 1 13
T-TT
----:-- / 9.52
1.9010E+0005 7.6981E+0006 1 13
TTTT
----:-- / 10.88
1.9010E+0005 7.6981E+0006 1 13
TTTT
----:P- / 10.88
1.9010E+0005 7.6981E+0006 1 13
TTTT
----:-M / 10.88
3b

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

3.99 2.99 3.99 3.99 (confidence rate)

7.4567E+0016 7.7439E+0017 1 13
TTTT
----:P- / 10.88
7.4567E+0016 ? 1 13
T-TT
----:-- / 9.52
CC

0
DNF

0
7.4567E+0016 7.7439E+0017 1 13
TTTT
----:-- / 10.88
7.4567E+0016 7.7439E+0017 1 13
TTTT
----:-M / 10.88
4a

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

5.99 3.99 5.99 5.99 (confidence rate)

7.0910E+0006 5.0860E+0008 1 17
TTTT
----:-- / 10.88
7.0910E+0006 ? 1 17
T-TT
----:-- / 9.52
7.0910E+0006 ? 1 17
T-TT
----:-- / 9.52
7.0910E+0006 5.0860E+0008 1 17
TTTT
----:-- / 10.88
7.0910E+0006 5.0860E+0008 1 17
TTTT
----:P- / 10.88
7.0910E+0006 5.0860E+0008 1 17
TTTT
----:-M / 10.88
4b

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
5a

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

4.99 3.99 4.99 4.99 (confidence rate)

2.4883E+0008 2.7853E+0010 1 21
TTTT
----:-- / 10.88
2.4883E+0008 ? 1 21
T-TT
----:-- / 9.52
CC

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

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
6a

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

4.99 3.99 4.99 4.99 (confidence rate)

8.3047E+0009 1.3382E+0012 1 25
TTTT
----:-- / 10.88
8.3047E+0009 ? 1 25
T-TT
----:-- / 9.52
CC

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

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
7a

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

3.99 2.99 3.99 3.99 (confidence rate)

2.6648E+0011 5.8448E+0013 1 29
TTTT
----:-- / 10.88
2.6648E+0011 ? 1 29
T-TT
----:-- / 9.52
CC

0
CC

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

? (expected value)

0 (confidence rate)

CC

0
CC

0
CC

0
DNF

0
DNF

0
DNF

0
CloudOpsManagement — P/T (135.70 pts max)
  GreatSPN ITS-Tools Tapaal smart TINA.tedd 2019-Gold
Score 77.52 67.84 16.95 77.52 58.13 58.13
fastest 5 0 1 2 0 0
smallest memory 0 2 0 0 0 6
00002by00001

3857 30090 4 18 (expected value)

5.99 3.99 5.99 5.99 (confidence rate)

3857 30090 4 18
TTTT
----:-- / 9.69
3857 ? 4 18
T-TT
----:-- / 8.48
3857 ? 4 18
T-TT
----:P- / 8.48
3857 30090 4 18
TTTT
----:-- / 9.69
3857 30090 4 18
TTTT
----:-- / 9.69
3857 30090 4 18
TTTT
----:-M / 9.69
00005by00002

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

5.99 3.99 5.99 5.99 (confidence rate)

1.6127E+0006 1.9148E+0007 9 41
TTTT
----:P- / 9.69
1.6127E+0006 ? 9 41
T-TT
----:-- / 8.48
1.6127E+0006 ? 9 41
T-TT
----:-- / 8.48
1.6127E+0006 1.9148E+0007 9 41
TTTT
----:-- / 9.69
1.6127E+0006 1.9148E+0007 9 41
TTTT
----:-- / 9.69
1.6127E+0006 1.9148E+0007 9 41
TTTT
----:-M / 9.69
00010by00005

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

4.99 3.99 4.99 4.99 (confidence rate)

1.0733E+0010 1.8532E+0011 20 90
TTTT
----:P- / 9.69
1.0733E+0010 ? 20 90
T-TT
----:-- / 8.48
CC

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

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

4.99 3.99 4.99 4.99 (confidence rate)

6.6422E+0013 1.4148E+0015 40 180
TTTT
----:P- / 9.69
6.6422E+0013 ? 40 180
T-TT
----:-- / 8.48
CC

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

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

4.99 3.99 4.99 4.99 (confidence rate)

1.0905E+0018 2.6614E+0019 80 360
TTTT
----:P- / 9.69
1.0905E+0018 ? 80 360
T-TT
----:-- / 8.48
CC

0
1.0905E+0018 2.6614E+0019 80 360
TTTT
----:-- / 9.69
1.0905E+0018 2.6614E+0019 80 360
TTTT
----:-- / 9.69
1.0905E+0018 2.6614E+0019 80 360
TTTT
----:-M / 9.69
00080by00040

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

4.99 3.99 4.99 4.99 (confidence rate)

3.3365E+0022 8.8251E+0023 160 720
TTTT
----:P- / 9.69
3.3365E+0022 ? 160 720
T-TT
----:-- / 8.48
CC

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

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

2.99 1.99 2.99 2.99 (confidence rate)

1.4631E+0027 4.0454E+0028 320 1440
TTTT
----:-- / 9.69
1.4631E+0027 ? 320 1440
T-TT
----:-M / 8.48
CC

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

0
DNF

0
00320by00160

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

2.99 1.99 2.99 2.99 (confidence rate)

7.7980E+0031 2.2071E+0033 640 2880
TTTT
----:-- / 9.69
7.7980E+0031 ? 640 2880
T-TT
----:-M / 8.48
CC

0
7.7980E+0031 2.2071E+0033 640 2880
TTTT
----:P- / 9.69
DNF

0
DNF

0
00640by00320

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
CC

0
DNF

0
DNF

0
01280by00640

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
CC

0
DNF

0
DNF

0
02560by01280

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
CC

0
DNF

0
DNF

0
05120by02560

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
CC

0
DNF

0
DNF

0
10240by05120

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
CC

0
DNF

0
DNF

0
20480by10240

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
CC

0
DNF

0
DNF

0
CloudReconfiguration — P/T (156.09 pts max)
  GreatSPN ITS-Tools Tapaal smart TINA.tedd 2019-Gold
Score 156.20 136.62 0.00 0.00 156.20 142.00
fastest 6 16 0 0 0 0
smallest memory 2 0 0 0 0 20
301

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

3.99 2.99 3.99 3.99 (confidence rate)

1.3197E+0011 6.0439E+0011 1 5
TTTT
----:-- / 7.09
1.3197E+0011 ? 1 5
T-TT
----:P- / 6.20
CC

0
DNF

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

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

3.99 2.99 3.99 3.99 (confidence rate)

2.0254E+0011 9.2748E+0011 1 5
TTTT
----:-- / 7.09
2.0254E+0011 ? 1 5
T-TT
----:P- / 6.20
CC

0
DNF

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

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

3.99 2.99 3.99 3.99 (confidence rate)

5.5244E+0010 2.5351E+0011 1 5
TTTT
----:-- / 7.09
5.5244E+0010 ? 1 5
T-TT
----:P- / 6.20
CC

0
DNF

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

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

3.99 2.99 3.99 3.99 (confidence rate)

1.3197E+0011 6.0439E+0011 1 5
TTTT
----:-- / 7.09
1.3197E+0011 ? 1 5
T-TT
----:P- / 6.20
CC

0
DNF

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

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

3.99 2.99 3.99 3.99 (confidence rate)

1.3139E+0011 6.0156E+0011 1 5
TTTT
----:P- / 7.09
1.3139E+0011 ? 1 5
T-TT
----:-- / 6.20
CC

0
DNF

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

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

3.99 2.99 3.99 3.99 (confidence rate)

5.5244E+0010 2.5351E+0011 1 5
TTTT
----:P- / 7.09
5.5244E+0010 ? 1 5
T-TT
----:-- / 6.20
CC

0
DNF

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

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

3.99 2.99 3.99 3.99 (confidence rate)

6.9905E+0010 3.1997E+0011 1 5
TTTT
----:P- / 7.09
6.9905E+0010 ? 1 5
T-TT
----:-- / 6.20
CC

0
DNF

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

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

3.99 2.99 3.99 3.99 (confidence rate)

2.0254E+0011 9.2748E+0011 1 5
TTTT
----:-- / 7.09
2.0254E+0011 ? 1 5
T-TT
----:P- / 6.20
CC

0
DNF

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

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

3.99 2.99 3.99 3.99 (confidence rate)

2.0254E+0011 9.2748E+0011 1 5
TTTT
----:-- / 7.09
2.0254E+0011 ? 1 5
T-TT
----:P- / 6.20
CC

0
DNF

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

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

3.99 2.99 3.99 3.99 (confidence rate)

1.3139E+0011 6.0156E+0011 1 5
TTTT
----:-- / 7.09
1.3139E+0011 ? 1 5
T-TT
----:P- / 6.20
CC

0
DNF

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

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

3.99 2.99 3.99 3.99 (confidence rate)

1.0768E+0011 4.9371E+0011 1 5
TTTT
----:-- / 7.09
1.0768E+0011 ? 1 5
T-TT
----:P- / 6.20
CC

0
DNF

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

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

3.99 2.99 3.99 3.99 (confidence rate)

2.0254E+0011 9.2748E+0011 1 5
TTTT
----:-- / 7.09
2.0254E+0011 ? 1 5
T-TT
----:P- / 6.20
CC

0
DNF

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

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

3.99 2.99 3.99 3.99 (confidence rate)

2.0254E+0011 9.2748E+0011 1 5
TTTT
----:P- / 7.09
2.0254E+0011 ? 1 5
T-TT
----:-- / 6.20
CC

0
DNF

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

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

3.99 2.99 3.99 3.99 (confidence rate)

1.0768E+0011 4.9371E+0011 1 5
TTTT
----:-- / 7.09
1.0768E+0011 ? 1 5
T-TT
----:P- / 6.20
CC

0
DNF

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

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

3.99 2.99 3.99 3.99 (confidence rate)

1.3139E+0011 6.0156E+0011 1 5
TTTT
----:-- / 7.09
1.3139E+0011 ? 1 5
T-TT
----:P- / 6.20
CC

0
DNF

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

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

3.99 2.99 3.99 3.99 (confidence rate)

1.3139E+0011 6.0156E+0011 1 5
TTTT
----:-- / 7.09
1.3139E+0011 ? 1 5
T-TT
----:P- / 6.20
CC

0
DNF

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

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

3.99 2.99 3.99 3.99 (confidence rate)

1.7272E+0011 7.9212E+0011 1 5
TTTT
----:-- / 7.09
1.7272E+0011 ? 1 5
T-TT
----:P- / 6.20
CC

0
DNF

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

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

3.99 2.99 3.99 3.99 (confidence rate)

2.8613E+0011 1.3103E+0012 1 5
TTTT
----:-- / 7.09
2.8613E+0011 ? 1 5
T-TT
----:P- / 6.20
CC

0
DNF

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

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

3.99 2.99 3.99 3.99 (confidence rate)

1.3140E+0011 6.0158E+0011 1 5
TTTT
----:-- / 7.09
1.3140E+0011 ? 1 5
T-TT
----:P- / 6.20
CC

0
DNF

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

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

3.99 2.99 3.99 3.99 (confidence rate)

1.8547E+0011 8.4914E+0011 1 5
TTTT
----:-- / 7.09
1.8547E+0011 ? 1 5
T-TT
----:P- / 6.20
CC

0
DNF

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

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

2.99 1.99 2.99 2.99 (confidence rate)

1.9294E+0014 1.1020E+0015 1 6
TTTT
----:PM / 7.09
1.9294E+0014 ? 1 6
T-TT
----:-- / 6.20
CC

0
DNF

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

0
402

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

2.99 1.99 2.99 2.99 (confidence rate)

1.9294E+0014 1.1020E+0015 1 6
TTTT
----:PM / 7.09
1.9294E+0014 ? 1 6
T-TT
----:-- / 6.20
CC

0
DNF

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

0
DES — P/T (151.00 pts max)
  GreatSPN ITS-Tools Tapaal smart TINA.tedd 2019-Gold
Score 151.00 132.20 6.61 67.95 151.00 151.00
fastest 3 12 0 0 5 0
smallest memory 0 0 0 0 0 20
00a

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

4.99 3.99 4.99 4.99 (confidence rate)

2.4197E+0010 2.9310E+0011 1 47
TTTT
----:P- / 7.55
2.4197E+0010 ? 1 47
T-TT
----:-- / 6.61
CC

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
----:-M / 7.55
00b

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

4.99 3.99 4.99 4.99 (confidence rate)

2.4601E+0019 4.4365E+0020 1 47
TTTT
----:P- / 7.55
2.4601E+0019 ? 1 47
T-TT
----:-- / 6.61
CC

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
----:-M / 7.55
01a

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

5.99 3.99 5.99 5.99 (confidence rate)

1.0858E+0008 1.2134E+0009 1 48
TTTT
----:P- / 7.55
1.0858E+0008 ? 1 48
T-TT
----:-- / 6.61
1.0858E+0008 ? 1 48
T-TT
----:-- / 6.61
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
----:-M / 7.55
01b

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

4.99 3.99 4.99 4.99 (confidence rate)

2.0127E+0017 3.5377E+0018 1 51
TTTT
----:-- / 7.55
2.0127E+0017 ? 1 51
T-TT
----:-- / 6.61
CC

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

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

4.99 3.99 4.99 4.99 (confidence rate)

4.9532E+0009 5.9186E+0010 1 51
TTTT
----:-- / 7.55
4.9532E+0009 ? 1 51
T-TT
----:-- / 6.61
CC

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

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

3.99 2.99 3.99 3.99 (confidence rate)

7.1021E+0018 1.2674E+0020 1 51
TTTT
----:-- / 7.55
7.1021E+0018 ? 1 51
T-TT
----:-- / 6.61
CC

0
DNF

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

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

4.99 3.99 4.99 4.99 (confidence rate)

2.3100E+0011 2.8039E+0012 1 51
TTTT
----:-- / 7.55
2.3100E+0011 ? 1 51
T-TT
----:-- / 6.61
CC

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

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

3.99 2.99 3.99 3.99 (confidence rate)

2.6140E+0020 4.7052E+0021 1 51
TTTT
----:-- / 7.55
2.6140E+0020 ? 1 51
T-TT
----:P- / 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
----:-M / 7.55
10a

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

4.99 3.99 4.99 4.99 (confidence rate)

1.6003E+0012 1.9392E+0013 1 51
TTTT
----:-- / 7.55
1.6003E+0012 ? 1 51
T-TT
----:P- / 6.61
CC

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

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

3.99 2.99 3.99 3.99 (confidence rate)

1.6887E+0021 3.0429E+0022 1 51
TTTT
----:-- / 7.55
1.6887E+0021 ? 1 51
T-TT
----:P- / 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
----:-M / 7.55
20a

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

4.99 3.99 4.99 4.99 (confidence rate)

7.9693E+0012 9.6542E+0013 1 51
TTTT
----:-- / 7.55
7.9693E+0012 ? 1 51
T-TT
----:P- / 6.61
CC

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
----:-M / 7.55
20b

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

3.99 2.99 3.99 3.99 (confidence rate)

8.2277E+0021 1.4833E+0023 1 51
TTTT
----:-- / 7.55
8.2277E+0021 ? 1 51
T-TT
----:P- / 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
----:-M / 7.55
30a

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

4.99 3.99 4.99 4.99 (confidence rate)

1.9178E+0013 2.3231E+0014 1 51
TTTT
----:-- / 7.55
1.9178E+0013 ? 1 51
T-TT
----:P- / 6.61
CC

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

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

3.99 2.99 3.99 3.99 (confidence rate)

1.9679E+0022 3.5482E+0023 1 51
TTTT
----:-- / 7.55
1.9679E+0022 ? 1 51
T-TT
----:P- / 6.61
CC

0
DNF

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

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

3.99 2.99 3.99 3.99 (confidence rate)

3.5226E+0013 4.2670E+0014 1 51
TTTT
----:-- / 7.55
3.5226E+0013 ? 1 51
T-TT
----:P- / 6.61
CC

0
DNF

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

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

3.99 2.99 3.99 3.99 (confidence rate)

3.6042E+0022 6.4989E+0023 1 51
TTTT
----:-- / 7.55
3.6042E+0022 ? 1 51
T-TT
----:P- / 6.61
CC

0
DNF

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

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

3.99 2.99 3.99 3.99 (confidence rate)

5.6113E+0013 6.7971E+0014 1 51
TTTT
----:-- / 7.55
5.6113E+0013 ? 1 51
T-TT
----:P- / 6.61
CC

0
DNF

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

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

3.99 2.99 3.99 3.99 (confidence rate)

5.7316E+0022 1.0335E+0024 1 51
TTTT
----:-- / 7.55
5.7316E+0022 ? 1 51
T-TT
----:-- / 6.61
CC

0
DNF

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

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

3.99 2.99 3.99 3.99 (confidence rate)

8.1839E+0013 9.9133E+0014 1 51
TTTT
----:-- / 7.55
8.1839E+0013 ? 1 51
T-TT
----:P- / 6.61
CC

0
DNF

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

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

3.99 2.99 3.99 3.99 (confidence rate)

8.3503E+0022 1.5058E+0024 1 51
TTTT
----:-- / 7.55
8.3503E+0022 ? 1 51
T-TT
----:P- / 6.61
CC

0
DNF

0
8.3503E+0022 1.5058E+0024 1 51
TTTT
----:-- / 7.55
8.3503E+0022 1.5058E+0024 1 51
TTTT
----:-M / 7.55
DLCflexbar — P/T (135.70 pts max)
  GreatSPN ITS-Tools Tapaal smart TINA.tedd 2019-Gold
Score 58.13 59.36 0.00 0.00 67.83 67.83
fastest 0 1 0 0 5 1
smallest memory 0 0 0 0 0 7
2a

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

3.99 2.99 3.99 3.99 (confidence rate)

7.9792E+0020 2.0377E+0023 1 196
TTTT
----:-- / 9.69
7.9792E+0020 ? 1 196
T-TT
----:-- / 8.48
CC

0
CC

0
7.9792E+0020 2.0377E+0023 1 196
TTTT
----:P- / 9.69
7.9792E+0020 2.0377E+0023 1 196
TTTT
----:-M / 9.69
2b

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
3a

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

3.99 2.99 3.99 3.99 (confidence rate)

2.2539E+0030 1.0304E+0033 1 355
TTTT
----:-- / 9.69
2.2539E+0030 ? 1 355
T-TT
----:-- / 8.48
CC

0
CC

0
2.2539E+0030 1.0304E+0033 1 355
TTTT
----:P- / 9.69
2.2539E+0030 1.0304E+0033 1 355
TTTT
----:-M / 9.69
3b

? (expected value)

0 (confidence rate)

CC

0
CC

0
CC

0
DNF

0
DNF

0
DNF

0
4a

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

3.99 2.99 3.99 3.99 (confidence rate)

1.5287E+0043 1.1869E+0046 1 608
TTTT
----:-- / 9.69
1.5287E+0043 ? 1 608
T-TT
----:-- / 8.48
CC

0
CC

0
1.5287E+0043 1.1869E+0046 1 608
TTTT
----:P- / 9.69
1.5287E+0043 1.1869E+0046 1 608
TTTT
----:-M / 9.69
4b

? (expected value)

0 (confidence rate)

CC

0
CC

0
CC

0
DNF

0
DNF

0
DNF

0
5a

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

3.99 2.99 3.99 3.99 (confidence rate)

2.4893E+0059 3.0931E+0062 1 979
TTTT
----:-- / 9.69
2.4893E+0059 ? 1 979
T-TT
----:-- / 8.48
CC

0
DNF

0
2.4893E+0059 3.0931E+0062 1 979
TTTT
----:P- / 9.69
2.4893E+0059 3.0931E+0062 1 979
TTTT
----:-M / 9.69
5b

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
6a

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

3.99 2.99 3.99 3.99 (confidence rate)

9.7327E+0078 1.8344E+0082 1 1492
TTTT
----:-- / 9.69
9.7327E+0078 ? 1 1492
T-TT
----:-- / 8.48
CC

0
DNF

0
9.7327E+0078 1.8344E+0082 1 1492
TTTT
----:P- / 9.69
9.7327E+0078 1.8344E+0082 1 1492
TTTT
----:-M / 9.69
6b

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
7a

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

3.99 2.99 3.99 3.99 (confidence rate)

9.1366E+0101 2.4966E+0105 1 2171
TTTT
----:-- / 9.69
9.1366E+0101 ? 1 2171
T-TT
----:-- / 8.48
CC

0
DNF

0
9.1366E+0101 2.4966E+0105 1 2171
TTTT
----:-- / 9.69
9.1366E+0101 2.4966E+0105 1 2171
TTTT
----:PM / 9.69
7b

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
8a

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

3.00 2.00 3.00 3.00 (confidence rate)

CC

0
2.0593E+0128 ? 1 3040
T-TT
----:P- / 8.48
CC

0
DNF

0
2.0593E+0128 7.8563E+0131 1 3040
TTTT
----:-- / 9.69
2.0593E+0128 7.8563E+0131 1 3040
TTTT
----:-M / 9.69
8b

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
DLCround — P/T (156.09 pts max)
  GreatSPN ITS-Tools Tapaal smart TINA.tedd 2019-Gold
Score 78.09 68.30 6.20 42.59 78.09 78.09
fastest 0 0 0 0 11 0
smallest memory 0 0 0 0 0 11
03a

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

5.99 3.99 5.99 5.99 (confidence rate)

2.4010E+0007 1.6642E+0009 1 52
TTTT
----:-- / 7.09
2.4010E+0007 ? 1 52
T-TT
----:-- / 6.20
2.4010E+0007 ? 1 52
T-TT
----:-- / 6.20
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
----:-M / 7.09
03b

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
04a

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

3.99 2.99 3.99 3.99 (confidence rate)

2.4010E+0008 2.1918E+0010 1 69
TTTT
----:-- / 7.09
2.4010E+0008 ? 1 69
T-TT
----:-- / 6.20
CC

0
CC

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

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
05a

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

4.99 3.99 4.99 4.99 (confidence rate)

2.4010E+0009 2.7817E+0011 1 88
TTTT
----:-- / 7.09
2.4010E+0009 ? 1 88
T-TT
----:-- / 6.20
CC

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

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
06a

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

4.99 3.99 4.99 4.99 (confidence rate)

2.4010E+0010 3.4341E+0012 1 109
TTTT
----:-- / 7.09
2.4010E+0010 ? 1 109
T-TT
----:-- / 6.20
CC

0
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
----:-M / 7.09
06b

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
07a

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

4.99 3.99 4.99 4.99 (confidence rate)

2.4010E+0011 4.1489E+0013 1 132
TTTT
----:-- / 7.09
2.4010E+0011 ? 1 132
T-TT
----:-- / 6.20
CC

0
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
----:-M / 7.09
07b

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
08a

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

3.99 2.99 3.99 3.99 (confidence rate)

2.4010E+0012 4.9262E+0014 1 157
TTTT
----:-- / 7.09
2.4010E+0012 ? 1 157
T-TT
----:-- / 6.20
CC

0
CC

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

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
09a

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

4.99 3.99 4.99 4.99 (confidence rate)

2.4010E+0013 5.7658E+0015 1 184
TTTT
----:-- / 7.09
2.4010E+0013 ? 1 184
T-TT
----:-- / 6.20
CC

0
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
----:-M / 7.09
09b

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
10a

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

3.99 2.99 3.99 3.99 (confidence rate)

2.4010E+0014 6.6679E+0016 1 213
TTTT
----:-- / 7.09
2.4010E+0014 ? 1 213
T-TT
----:-- / 6.20
CC

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

DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
11a

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

4.99 3.99 4.99 4.99 (confidence rate)

2.4010E+0015 7.6324E+0017 1 244
TTTT
----:-- / 7.09
2.4010E+0015 ? 1 244
T-TT
----:-- / 6.20
CC

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

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
12a

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

3.99 2.99 3.99 3.99 (confidence rate)

2.4010E+0016 8.6594E+0018 1 277
TTTT
----:-- / 7.09
2.4010E+0016 ? 1 277
T-TT
----:-- / 6.20
CC

0
CC

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

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
13a

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

3.99 2.99 3.99 3.99 (confidence rate)

2.4010E+0017 9.7487E+0019 1 312
TTTT
----:-- / 7.09
2.4010E+0017 ? 1 312
T-TT
----:-- / 6.20
CC

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

0
CC

0
DNF

0
DNF

0
DNF

0
DLCshifumi — P/T (125.50 pts max)
  GreatSPN ITS-Tools Tapaal smart TINA.tedd 2019-Gold
Score 50.20 54.90 0.00 12.55 62.75 62.75
fastest 0 0 0 0 5 0
smallest memory 0 0 0 0 0 5
2a

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

4.99 3.99 4.99 4.99 (confidence rate)

4.7476E+0014 5.0962E+0016 1 79
TTTT
----:-- / 12.55
4.7476E+0014 ? 1 79
T-TT
----:-- / 10.98
CC

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

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
3a

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

3.99 2.99 3.99 3.99 (confidence rate)

9.0954E+0035 3.3784E+0038 1 282
TTTT
----:-- / 12.55
9.0954E+0035 ? 1 282
T-TT
----:-- / 10.98
CC

0
CC

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

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
4a

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

3.99 2.99 3.99 3.99 (confidence rate)

2.4119E+0067 2.1585E+0070 1 691
TTTT
----:-- / 12.55
2.4119E+0067 ? 1 691
T-TT
----:-- / 10.98
CC

0
CC

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

? (expected value)

0 (confidence rate)

CC

0
CC

0
CC

0
DNF

0
DNF

0
DNF

0
5a

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

3.99 2.99 3.99 3.99 (confidence rate)

8.8524E+0108 1.5631E+0112 1 1378
TTTT
----:-- / 12.55
8.8524E+0108 ? 1 1378
T-TT
----:-- / 10.98
CC

0
DNF

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

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
6a

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

3.00 2.00 3.00 3.00 (confidence rate)

CC

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

0
DNF

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

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
DNAwalker — P/T (145.90 pts max)
  GreatSPN ITS-Tools Tapaal smart TINA.tedd 2019-Gold
Score 137.87 120.52 77.98 105.43 137.87 137.87
fastest 2 7 3 0 5 0
smallest memory 0 0 0 0 0 17
01track12Block1

3795 13149 2 13 (expected value)

5.99 3.99 5.99 5.99 (confidence rate)

3795 13149 2 13
TTTT
----:-- / 8.11
3795 ? 2 13
T-TT
----:-- / 7.09
3795 ? 2 13
T-TT
----:P- / 7.09
3795 13149 2 13
TTTT
----:-- / 8.11
3795 13149 2 13
TTTT
----:-- / 8.11
3795 13149 2 13
TTTT
----:-M / 8.11
02track12Block2

5459 21642 2 13 (expected value)

5.99 3.99 5.99 5.99 (confidence rate)

5459 21642 2 13
TTTT
----:-- / 8.11
5459 ? 2 13
T-TT
----:-- / 7.09
5459 ? 2 13
T-TT
----:P- / 7.09
5459 21642 2 13
TTTT
----:-- / 8.11
5459 21642 2 13
TTTT
----:-- / 8.11
5459 21642 2 13
TTTT
----:-M / 8.11
03track12BlockBoth

5248 20281 2 13 (expected value)

5.99 3.99 5.99 5.99 (confidence rate)

5248 20281 2 13
TTTT
----:-- / 8.11
5248 ? 2 13
T-TT
----:-- / 7.09
5248 ? 2 13
T-TT
----:P- / 7.09
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)

5.99 3.99 5.99 5.99 (confidence rate)

4.3288E+0008 2.9619E+0009 2 29
TTTT
----:-- / 8.11
4.3288E+0008 ? 2 29
T-TT
----:P- / 7.09
4.3288E+0008 ? 2 29
T-TT
----:-- / 7.09
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
05track28LR

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

5.99 3.99 5.99 5.99 (confidence rate)

4.3534E+0008 2.9839E+0009 2 29
TTTT
----:-- / 8.11
4.3534E+0008 ? 2 29
T-TT
----:P- / 7.09
4.3534E+0008 ? 2 29
T-TT
----:-- / 7.09
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)

5.99 3.99 5.99 5.99 (confidence rate)

4.3534E+0008 2.9839E+0009 2 29
TTTT
----:-- / 8.11
4.3534E+0008 ? 2 29
T-TT
----:-- / 7.09
4.3534E+0008 ? 2 29
T-TT
----:-- / 7.09
4.3534E+0008 2.9839E+0009 2 29
TTTT
----:-- / 8.11
4.3534E+0008 2.9839E+0009 2 29
TTTT
----:P- / 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)

5.99 3.99 5.99 5.99 (confidence rate)

4.3288E+0008 2.9619E+0009 2 29
TTTT
----:-- / 8.11
4.3288E+0008 ? 2 29
T-TT
----:-- / 7.09
4.3288E+0008 ? 2 29
T-TT
----:-- / 7.09
4.3288E+0008 2.9619E+0009 2 29
TTTT
----:-- / 8.11
4.3288E+0008 2.9619E+0009 2 29
TTTT
----:P- / 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)

5.99 3.99 5.99 5.99 (confidence rate)

2.7951E+0007 2.3702E+0008 2 22
TTTT
----:-- / 8.11
2.7951E+0007 ? 2 22
T-TT
----:P- / 7.09
2.7951E+0007 ? 2 22
T-TT
----:-- / 7.09
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)

5.99 3.99 5.99 5.99 (confidence rate)

2.8210E+0007 2.4089E+0008 2 22
TTTT
----:-- / 8.11
2.8210E+0007 ? 2 22
T-TT
----:P- / 7.09
2.8210E+0007 ? 2 22
T-TT
----:-- / 7.09
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)

5.99 3.99 5.99 5.99 (confidence rate)

2.7951E+0007 2.3702E+0008 2 22
TTTT
----:-- / 8.11
2.7951E+0007 ? 2 22
T-TT
----:-- / 7.09
2.7951E+0007 ? 2 22
T-TT
----:-- / 7.09
2.7951E+0007 2.3702E+0008 2 22
TTTT
----:-- / 8.11
2.7951E+0007 2.3702E+0008 2 22
TTTT
----:P- / 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)

5.99 3.99 5.99 5.99 (confidence rate)

2.8210E+0007 2.4089E+0008 2 22
TTTT
----:-- / 8.11
2.8210E+0007 ? 2 22
T-TT
----:P- / 7.09
2.8210E+0007 ? 2 22
T-TT
----:-- / 7.09
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
12ringLLLarge

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

4.99 3.99 4.99 4.99 (confidence rate)

1.8854E+0009 1.5271E+0010 2 28
TTTT
----:-- / 8.11
1.8854E+0009 ? 2 28
T-TT
----:-- / 7.09
CC

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

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

3.99 2.99 3.99 3.99 (confidence rate)

1.8854E+0009 1.5271E+0010 2 28
TTTT
----:P- / 8.11
1.8854E+0009 ? 2 28
T-TT
----:-- / 7.09
CC

0
CC

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

4.99 3.99 4.99 4.99 (confidence rate)

1.8609E+0009 1.5025E+0010 2 28
TTTT
----:-- / 8.11
1.8609E+0009 ? 2 28
T-TT
----:-- / 7.09
CC

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

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

3.99 2.99 3.99 3.99 (confidence rate)

1.8609E+0009 1.5025E+0010 2 28
TTTT
----:P- / 8.11
1.8609E+0009 ? 2 28
T-TT
----:-- / 7.09
CC

0
CC

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

3.99 2.99 3.99 3.99 (confidence rate)

8.0032E+0011 9.9050E+0012 2 34
TTTT
----:-- / 8.11
8.0032E+0011 ? 2 34
T-TT
----:P- / 7.09
CC

0
CC

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

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

3.99 2.99 3.99 3.99 (confidence rate)

8.0032E+0011 9.9050E+0012 2 34
TTTT
----:-- / 8.11
8.0032E+0011 ? 2 34
T-TT
----:P- / 7.09
CC

0
CC

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

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
DatabaseWithMutex — Colored (62.75 pts max)
  GreatSPN ITS-Tools Tapaal smart TINA.tedd 2019-Gold
Score 21.95 18.81 9.41 0.00 21.95 21.95
fastest 0 1 1 0 0 0
smallest memory 0 0 0 0 0 2
02

153 312 1 6 (expected value)

4.99 2.99 4.00 4.99 (confidence rate)

153 312 2 6
TT-T
----:-- / 10.98
153 ? 1 6
T--T
----:-- / 9.41
153 ? 1 6
T--T
----:P- / 9.41
DNC 153 312 1 6
TT-T
----:-- / 10.98
153 312 1 6
TT-T
----:-M / 10.98
04

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

3.99 2.99 3.00 3.99 (confidence rate)

4.7179E+0009 3.9697E+0010 12 20
TT-T
----:-- / 10.98
4.7179E+0009 ? 1 20
T--T
----:P- / 9.41
CC

0
DNC 4.7179E+0009 3.9697E+0010 1 20
TT-T
----:-- / 10.98
4.7179E+0009 3.9697E+0010 1 20
TT-T
----:-M / 10.98
10

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
DNC DNF

0