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

Introduction

Please find here the computed results for the ReachabilityDeadlock examination. The table is organized as follows:

The information for a model instance is summarized in a «line» where:

The structure of a table cell is always the same. In black, you have the output provided by the tool followed by the interpretation mask stating if the tool did computed something corresponding to the expected values (T means that it is the expected result, ? means that no tool computed the corresponding value and X means that the value is not the expected one). Then, 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 ReachabilityDeadlock
  GreatSPN ITS-Tools ITS-LoLa Tapaal smart
Total Points 11015.76 17102.30 17139.63 14842.27 5713.13

All «Surprise» models
 
  GreatSPN ITS-Tools ITS-LoLa Tapaal smart
Total Points 3977.52 5858.55 6028.95 5336.00 3237.88
fastest 19 26 0 165 1
less memory 31 62 70 48 0
SatelliteMemory — P/T (451.00 pts max)
  GreatSPN ITS-Tools ITS-LoLa Tapaal smart
Score 270.59 451.00 451.00 451.00 90.20
fastest 0 0 0 5 0
smallest memory 0 2 2 1 0
X00100Y0003

F (expected value)

4.99 (confidence rate)

F
T
----:-- / 90.20
F
T
----:-- / 90.20
F
T
----:-- / 90.20
F
T
----:PM / 90.20
F
T
----:-- / 90.20
X01000Y0032

F (expected value)

3.99 (confidence rate)

F
T
----:-- / 90.20
F
T
----:-M / 90.20
F
T
----:-- / 90.20
F
T
----:P- / 90.20
DNF

0
X01500Y0046

F (expected value)

3.99 (confidence rate)

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

0
X03000Y0094

F (expected value)

3.00 (confidence rate)

DNF

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

0
X65535Y2048

F (expected value)

3.00 (confidence rate)

DNF

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

0
ShieldIIPs — P/T (624.40 pts max)
  GreatSPN ITS-Tools ITS-LoLa Tapaal smart
Score 284.00 624.80 624.80 624.80 198.80
fastest 0 0 0 22 0
smallest memory 1 6 7 8 0
001A

T (expected value)

4.99 (confidence rate)

T
T
----:-- / 28.40
T
T
----:-M / 28.40
T
T
----:-- / 28.40
T
T
----:P- / 28.40
T
T
----:-- / 28.40
001B

T (expected value)

3.99 (confidence rate)

T
T
----:-- / 28.40
T
T
----:-- / 28.40
T
T
----:-- / 28.40
T
T
----:PM / 28.40
CC

0
002A

T (expected value)

4.99 (confidence rate)

T
T
----:-- / 28.40
T
T
----:-- / 28.40
T
T
----:-- / 28.40
T
T
----:PM / 28.40
T
T
----:-- / 28.40
002B

T (expected value)

4.99 (confidence rate)

T
T
----:-- / 28.40
T
T
----:-- / 28.40
T
T
----:-M / 28.40
T
T
----:P- / 28.40
T
T
----:-- / 28.40
003A

T (expected value)

4.99 (confidence rate)

T
T
----:-- / 28.40
T
T
----:-- / 28.40
T
T
----:-M / 28.40
T
T
----:P- / 28.40
T
T
----:-- / 28.40
003B

T (expected value)

4.99 (confidence rate)

T
T
----:-M / 28.40
T
T
----:-- / 28.40
T
T
----:-- / 28.40
T
T
----:P- / 28.40
T
T
----:-- / 28.40
004A

T (expected value)

4.99 (confidence rate)

T
T
----:-- / 28.40
T
T
----:-M / 28.40
T
T
----:-- / 28.40
T
T
----:P- / 28.40
T
T
----:-- / 28.40
004B

T (expected value)

3.99 (confidence rate)

T
T
----:-- / 28.40
T
T
----:-- / 28.40
T
T
----:-M / 28.40
T
T
----:P- / 28.40
DNF

0
005A

T (expected value)

4.99 (confidence rate)

T
T
----:-- / 28.40
T
T
----:-M / 28.40
T
T
----:-- / 28.40
T
T
----:P- / 28.40
T
T
----:-- / 28.40
005B

T (expected value)

3.00 (confidence rate)

DNF

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

0
010A

T (expected value)

3.99 (confidence rate)

T
T
----:-- / 28.40
T
T
----:-M / 28.40
T
T
----:-- / 28.40
T
T
----:P- / 28.40
DNF

0
010B

T (expected value)

3.00 (confidence rate)

DNF

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

0
020A

T (expected value)

3.00 (confidence rate)

DNF

0
T
T
----:-- / 28.40
T
T
----:-- / 28.40
T
T
----:PM / 28.40
DNF

0
020B

T (expected value)

3.00 (confidence rate)

DNF

0
T
T
----:-- / 28.40
T
T
----:-- / 28.40
T
T
----:PM / 28.40
DNF

0
030A

T (expected value)

3.00 (confidence rate)

DNF

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

0
030B

T (expected value)

3.00 (confidence rate)

DNF

0
T
T
----:-- / 28.40
T
T
----:-- / 28.40
T
T
----:PM / 28.40
DNF

0
040A

T (expected value)

3.00 (confidence rate)

DNF

0
T
T
----:-- / 28.40
T
T
----:-- / 28.40
T
T
----:PM / 28.40
DNF

0
040B

T (expected value)

3.00 (confidence rate)

DNF

0
T
T
----:-- / 28.40
T
T
----:-- / 28.40
T
T
----:PM / 28.40
DNF

0
050A

T (expected value)

3.00 (confidence rate)

DNF

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

0
050B

T (expected value)

3.00 (confidence rate)

DNF

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

0
100A

T (expected value)

3.00 (confidence rate)

DNF

0
T
T
----:-- / 28.40
T
T
----:-- / 28.40
T
T
----:PM / 28.40
DNF

0
100B

T (expected value)

3.00 (confidence rate)

CC

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

0
ShieldIIPt — P/T (624.40 pts max)
  GreatSPN ITS-Tools ITS-LoLa Tapaal smart
Score 482.80 511.20 596.40 482.80 454.40
fastest 6 1 0 15 0
smallest memory 6 6 7 3 0
001A

F (expected value)

4.99 (confidence rate)

F
T
----:-- / 28.40
F
T
----:-- / 28.40
F
T
----:-- / 28.40
F
T
----:PM / 28.40
F
T
----:-- / 28.40
001B

T (expected value)

4.99 (confidence rate)

T
T
----:-- / 28.40
T
T
----:-M / 28.40
T
T
----:-- / 28.40
T
T
----:P- / 28.40
T
T
----:-- / 28.40
002A

F (expected value)

4.99 (confidence rate)

F
T
----:-M / 28.40
F
T
----:-- / 28.40
F
T
----:-- / 28.40
F
T
----:P- / 28.40
F
T
----:-- / 28.40
002B

T (expected value)

4.99 (confidence rate)

T
T
----:-M / 28.40
T
T
----:-- / 28.40
T
T
----:-- / 28.40
T
T
----:P- / 28.40
T
T
----:-- / 28.40
003A

F (expected value)

4.99 (confidence rate)

F
T
----:-- / 28.40
F
T
----:-- / 28.40
F
T
----:-M / 28.40
F
T
----:P- / 28.40
F
T
----:-- / 28.40
003B

T (expected value)

4.99 (confidence rate)

T
T
----:-- / 28.40
T
T
----:-M / 28.40
T
T
----:-- / 28.40
T
T
----:P- / 28.40
T
T
----:-- / 28.40
004A

F (expected value)

4.99 (confidence rate)

F
T
----:-M / 28.40
F
T
----:-- / 28.40
F
T
----:-- / 28.40
F
T
----:P- / 28.40
F
T
----:-- / 28.40
004B

T (expected value)

4.99 (confidence rate)

T
T
----:-- / 28.40
T
T
----:-- / 28.40
T
T
----:-M / 28.40
T
T
----:P- / 28.40
T
T
----:-- / 28.40
005A

F (expected value)

4.99 (confidence rate)

F
T
----:-M / 28.40
F
T
----:-- / 28.40
F
T
----:-- / 28.40
F
T
----:P- / 28.40
F
T
----:-- / 28.40
005B

T (expected value)

4.99 (confidence rate)

T
T
----:-- / 28.40
T
T
----:-M / 28.40
T
T
----:-- / 28.40
T
T
----:P- / 28.40
T
T
----:-- / 28.40
010A

F (expected value)

4.99 (confidence rate)

F
T
----:P- / 28.40
F
T
----:-- / 28.40
F
T
----:-M / 28.40
F
T
----:-- / 28.40
F
T
----:-- / 28.40
010B

T (expected value)

2.99 (confidence rate)

T
T
----:-M / 28.40
DNF

0
T
T
----:-- / 28.40
T
T
----:P- / 28.40
DNF

0
020A

F (expected value)

3.99 (confidence rate)

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

0
F
T
----:-- / 28.40
020B

T (expected value)

2.00 (confidence rate)

DNF

0
DNF

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

0
030A

F (expected value)

3.99 (confidence rate)

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

0
F
T
----:-- / 28.40
030B

T (expected value)

2.00 (confidence rate)

DNF

0
DNF

0
T
T
----:-- / 28.40
T
T
----:PM / 28.40
DNF

0
040A

F (expected value)

3.99 (confidence rate)

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

0
F
T
----:-- / 28.40
040B

T (expected value)

2.00 (confidence rate)

DNF

0
DNF

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

0
050A

F (expected value)

3.99 (confidence rate)

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

0
F
T
----:-- / 28.40
050B

T (expected value)

3.00 (confidence rate)

DNF

0
T
T
----:PM / 28.40
T
T
----:-- / 28.40
T
T
----:-- / 28.40
DNF

0
100A

F (expected value)

3.99 (confidence rate)

F
T
----:PM / 28.40
F
T
----:-- / 28.40
F
T
----:-- / 28.40
CC

0
F
T
----:-- / 28.40
100B

T (expected value)

2.00 (confidence rate)

CC

0
T
T
----:-- / 28.40
DNF

0
T
T
----:PM / 28.40
DNF

0
ShieldPPPs — P/T (624.40 pts max)
  GreatSPN ITS-Tools ITS-LoLa Tapaal smart
Score 255.59 624.80 624.80 596.40 198.80
fastest 0 2 0 20 0
smallest memory 4 4 7 7 0
001A

T (expected value)

4.99 (confidence rate)

T
T
----:-M / 28.40
T
T
----:-- / 28.40
T
T
----:-- / 28.40
T
T
----:P- / 28.40
T
T
----:-- / 28.40
001B

T (expected value)

4.99 (confidence rate)

T
T
----:-- / 28.40
T
T
----:-M / 28.40
T
T
----:-- / 28.40
T
T
----:P- / 28.40
T
T
----:-- / 28.40
002A

T (expected value)

4.99 (confidence rate)

T
T
----:-- / 28.40
T
T
----:-- / 28.40
T
T
----:-M / 28.40
T
T
----:P- / 28.40
T
T
----:-- / 28.40
002B

T (expected value)

3.99 (confidence rate)

T
T
----:-- / 28.40
T
T
----:PM / 28.40
T
T
----:-- / 28.40
DNF

0
T
T
----:-- / 28.40
003A

T (expected value)

4.99 (confidence rate)

T
T
----:-- / 28.40
T
T
----:-- / 28.40
T
T
----:-- / 28.40
T
T
----:PM / 28.40
T
T
----:-- / 28.40
003B

T (expected value)

3.99 (confidence rate)

T
T
----:-M / 28.40
T
T
----:-- / 28.40
T
T
----:-- / 28.40
T
T
----:P- / 28.40
DNF

0
004A

T (expected value)

4.99 (confidence rate)

T
T
----:-M / 28.40
T
T
----:-- / 28.40
T
T
----:-- / 28.40
T
T
----:P- / 28.40
T
T
----:-- / 28.40
004B

T (expected value)

3.99 (confidence rate)

T
T
----:-- / 28.40
T
T
----:-- / 28.40
T
T
----:-- / 28.40
T
T
----:PM / 28.40
DNF

0
005A

T (expected value)

4.99 (confidence rate)

T
T
----:-M / 28.40
T
T
----:-- / 28.40
T
T
----:-- / 28.40
T
T
----:P- / 28.40
T
T
----:-- / 28.40
005B

T (expected value)

3.00 (confidence rate)

DNF

0
T
T
----:-- / 28.40
T
T
----:-- / 28.40
T
T
----:PM / 28.40
DNF

0
010A

T (expected value)

3.00 (confidence rate)

DNF

0
T
T
----:-- / 28.40
T
T
----:-- / 28.40
T
T
----:PM / 28.40
DNF

0
010B

T (expected value)

3.00 (confidence rate)

DNF

0
T
T
----:-- / 28.40
T
T
----:-- / 28.40
T
T
----:PM / 28.40
DNF

0
020A

T (expected value)

3.00 (confidence rate)

DNF

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

0
020B

T (expected value)

3.00 (confidence rate)

DNF

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

0
030A

T (expected value)

3.00 (confidence rate)

DNF

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

0
030B

T (expected value)

3.00 (confidence rate)

DNF

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

0
040A

T (expected value)

3.00 (confidence rate)

DNF

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

0
040B

T (expected value)

3.00 (confidence rate)

DNF

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

0
050A

T (expected value)

3.00 (confidence rate)

DNF

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

0
050B

T (expected value)

3.00 (confidence rate)

DNF

0
T
T
----:-- / 28.40
T
T
----:-- / 28.40
T
T
----:PM / 28.40
DNF

0
100A

T (expected value)

3.00 (confidence rate)

DNF

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

0
100B

T (expected value)

3.00 (confidence rate)

CC

0
T
T
----:-- / 28.40
T
T
----:-- / 28.40
T
T
----:PM / 28.40
DNF

0
ShieldPPPt — P/T (624.40 pts max)
  GreatSPN ITS-Tools ITS-LoLa Tapaal smart
Score 454.40 482.80 568.00 454.40 426.00
fastest 5 0 0 16 1
smallest memory 3 6 7 6 0
001A

F (expected value)

4.99 (confidence rate)

F
T
----:-- / 28.40
F
T
----:-- / 28.40
F
T
----:-M / 28.40
F
T
----:P- / 28.40
F
T
----:-- / 28.40
001B

T (expected value)

4.99 (confidence rate)

T
T
----:-- / 28.40
T
T
----:-- / 28.40
T
T
----:-M / 28.40
T
T
----:P- / 28.40
T
T
----:-- / 28.40
002A

F (expected value)

4.99 (confidence rate)

F
T
----:-- / 28.40
F
T
----:-M / 28.40
F
T
----:-- / 28.40
F
T
----:P- / 28.40
F
T
----:-- / 28.40
002B

T (expected value)

4.99 (confidence rate)

T
T
----:-- / 28.40
T
T
----:-M / 28.40
T
T
----:-- / 28.40
T
T
----:P- / 28.40
T
T
----:-- / 28.40
003A

F (expected value)

4.99 (confidence rate)

F
T
----:-- / 28.40
F
T
----:-- / 28.40
F
T
----:-- / 28.40
F
T
----:PM / 28.40
F
T
----:-- / 28.40
003B

T (expected value)

4.99 (confidence rate)

T
T
----:-- / 28.40
T
T
----:-M / 28.40
T
T
----:-- / 28.40
T
T
----:P- / 28.40
T
T
----:-- / 28.40
004A

F (expected value)

4.99 (confidence rate)

F
T
----:-M / 28.40
F
T
----:-- / 28.40
F
T
----:-- / 28.40
F
T
----:P- / 28.40
F
T
----:-- / 28.40
004B

T (expected value)

4.99 (confidence rate)

T
T
----:-- / 28.40
T
T
----:-- / 28.40
T
T
----:-- / 28.40
T
T
----:PM / 28.40
T
T
----:-- / 28.40
005A

F (expected value)

4.99 (confidence rate)

F
T
----:-- / 28.40
F
T
----:-M / 28.40
F
T
----:-- / 28.40
F
T
----:P- / 28.40
F
T
----:-- / 28.40
005B

T (expected value)

3.99 (confidence rate)

T
T
----:-- / 28.40
T
T
----:-- / 28.40
T
T
----:-- / 28.40
T
T
----:PM / 28.40
DNF

0
010A

F (expected value)

3.99 (confidence rate)

F
T
----:-- / 28.40
F
T
----:-- / 28.40
F
T
----:-M / 28.40
CC

0
F
T
----:P- / 28.40
010B

T (expected value)

2.00 (confidence rate)

DNF

0
DNF

0
T
T
----:-- / 28.40
T
T
----:PM / 28.40
DNF

0
020A

F (expected value)

3.99 (confidence rate)

F
T
----:PM / 28.40
F
T
----:-- / 28.40
F
T
----:-- / 28.40
CC

0
F
T
----:-- / 28.40
020B

T (expected value)

3.00 (confidence rate)

DNF

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

0
030A

F (expected value)

3.99 (confidence rate)

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

0
F
T
----:-- / 28.40
030B

T (expected value)

2.00 (confidence rate)

DNF

0
DNF

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

0
040A

F (expected value)

3.99 (confidence rate)

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

0
F
T
----:-- / 28.40
040B

T (expected value)

1 (confidence rate)

DNF

0
DNF

0
DNF

0
T
T
----:PM / 28.40
DNF

0
050A

F (expected value)

3.99 (confidence rate)

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

0
F
T
----:-- / 28.40
050B

T (expected value)

1 (confidence rate)

DNF

0
DNF

0
DNF

0
T
T
----:PM / 28.40
DNF

0
100A

F (expected value)

3.99 (confidence rate)

F
T
----:PM / 28.40
F
T
----:-- / 28.40
F
T
----:-- / 28.40
CC

0
F
T
----:-- / 28.40
100B

T (expected value)

2.00 (confidence rate)

CC

0
DNF

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

0
ShieldRVs — P/T (624.40 pts max)
  GreatSPN ITS-Tools ITS-LoLa Tapaal smart
Score 596.40 624.80 624.80 624.80 482.80
fastest 0 0 0 22 0
smallest memory 5 6 7 4 0
001A

T (expected value)

4.99 (confidence rate)

T
T
----:-- / 28.40
T
T
----:-M / 28.40
T
T
----:-- / 28.40
T
T
----:P- / 28.40
T
T
----:-- / 28.40
001B

T (expected value)

4.99 (confidence rate)

T
T
----:-M / 28.40
T
T
----:-- / 28.40
T
T
----:-- / 28.40
T
T
----:P- / 28.40
T
T
----:-- / 28.40
002A

T (expected value)

4.99 (confidence rate)

T
T
----:-- / 28.40
T
T
----:-- / 28.40
T
T
----:-M / 28.40
T
T
----:P- / 28.40
T
T
----:-- / 28.40
002B

T (expected value)

4.99 (confidence rate)

T
T
----:-M / 28.40
T
T
----:-- / 28.40
T
T
----:-- / 28.40
T
T
----:P- / 28.40
T
T
----:-- / 28.40
003A

T (expected value)

4.99 (confidence rate)

T
T
----:-- / 28.40
T
T
----:-M / 28.40
T
T
----:-- / 28.40
T
T
----:P- / 28.40
T
T
----:-- / 28.40
003B

T (expected value)

4.99 (confidence rate)

T
T
----:-- / 28.40
T
T
----:-- / 28.40
T
T
----:-M / 28.40
T
T
----:P- / 28.40
T
T
----:-- / 28.40
004A

T (expected value)

4.99 (confidence rate)

T
T
----:-M / 28.40
T
T
----:-- / 28.40
T
T
----:-- / 28.40
T
T
----:P- / 28.40
T
T
----:-- / 28.40
004B

T (expected value)

4.99 (confidence rate)

T
T
----:-- / 28.40
T
T
----:-- / 28.40
T
T
----:-- / 28.40
T
T
----:PM / 28.40
T
T
----:-- / 28.40
005A

T (expected value)

4.99 (confidence rate)

T
T
----:-- / 28.40
T
T
----:-M / 28.40
T
T
----:-- / 28.40
T
T
----:P- / 28.40
T
T
----:-- / 28.40
005B

T (expected value)

4.99 (confidence rate)

T
T
----:-M / 28.40
T
T
----:-- / 28.40
T
T
----:-- / 28.40
T
T
----:P- / 28.40
T
T
----:-- / 28.40
010A

T (expected value)

4.99 (confidence rate)

T
T
----:-- / 28.40
T
T
----:-- / 28.40
T
T
----:-M / 28.40
T
T
----:P- / 28.40
T
T
----:-- / 28.40
010B

T (expected value)

4.99 (confidence rate)

T
T
----:-- / 28.40
T
T
----:-- / 28.40
T
T
----:-- / 28.40
T
T
----:PM / 28.40
T
T
----:-- / 28.40
020A

T (expected value)

4.99 (confidence rate)

T
T
----:-- / 28.40
T
T
----:-M / 28.40
T
T
----:-- / 28.40
T
T
----:P- / 28.40
T
T
----:-- / 28.40
020B

T (expected value)

3.99 (confidence rate)

T
T
----:-- / 28.40
T
T
----:-- / 28.40
T
T
----:-M / 28.40
T
T
----:P- / 28.40
DNF

0
030A

T (expected value)

4.99 (confidence rate)

T
T
----:-- / 28.40
T
T
----:-- / 28.40
T
T
----:-- / 28.40
T
T
----:PM / 28.40
T
T
----:-- / 28.40
030B

T (expected value)

3.99 (confidence rate)

T
T
----:-- / 28.40
T
T
----:-M / 28.40
T
T
----:-- / 28.40
T
T
----:P- / 28.40
DNF

0
040A

T (expected value)

4.99 (confidence rate)

T
T
----:-- / 28.40
T
T
----:-- / 28.40
T
T
----:-M / 28.40
T
T
----:P- / 28.40
T
T
----:-- / 28.40
040B

T (expected value)

3.99 (confidence rate)

T
T
----:-M / 28.40
T
T
----:-- / 28.40
T
T
----:-- / 28.40
T
T
----:P- / 28.40
DNF

0
050A

T (expected value)

4.99 (confidence rate)

T
T
----:-- / 28.40
T
T
----:-- / 28.40
T
T
----:-- / 28.40
T
T
----:PM / 28.40
T
T
----:-- / 28.40
050B

T (expected value)

3.99 (confidence rate)

T
T
----:-- / 28.40
T
T
----:-M / 28.40
T
T
----:-- / 28.40
T
T
----:P- / 28.40
DNF

0
100A

T (expected value)

4.99 (confidence rate)

T
T
----:-- / 28.40
T
T
----:-- / 28.40
T
T
----:-M / 28.40
T
T
----:P- / 28.40
T
T
----:-- / 28.40
100B

T (expected value)

3.00 (confidence rate)

DNF

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

0
ShieldRVt — P/T (624.40 pts max)
  GreatSPN ITS-Tools ITS-LoLa Tapaal smart
Score 539.59 624.80 624.80 624.80 511.20
fastest 0 0 0 22 0
smallest memory 5 6 7 4 0
001A

F (expected value)

4.99 (confidence rate)

F
T
----:-- / 28.40
F
T
----:-- / 28.40
F
T
----:-M / 28.40
F
T
----:P- / 28.40
F
T
----:-- / 28.40
001B

T (expected value)

4.99 (confidence rate)

T
T
----:-- / 28.40
T
T
----:-M / 28.40
T
T
----:-- / 28.40
T
T
----:P- / 28.40
T
T
----:-- / 28.40
002A

F (expected value)

4.99 (confidence rate)

F
T
----:-M / 28.40
F
T
----:-- / 28.40
F
T
----:-- / 28.40
F
T
----:P- / 28.40
F
T
----:-- / 28.40
002B

T (expected value)

4.99 (confidence rate)

T
T
----:-- / 28.40
T
T
----:-- / 28.40
T
T
----:-M / 28.40
T
T
----:P- / 28.40
T
T
----:-- / 28.40
003A

F (expected value)

4.99 (confidence rate)

F
T
----:-- / 28.40
F
T
----:-- / 28.40
F
T
----:-M / 28.40
F
T
----:P- / 28.40
F
T
----:-- / 28.40
003B

T (expected value)

4.99 (confidence rate)

T
T
----:-- / 28.40
T
T
----:-M / 28.40
T
T
----:-- / 28.40
T
T
----:P- / 28.40
T
T
----:-- / 28.40
004A

F (expected value)

4.99 (confidence rate)

F
T
----:-- / 28.40
F
T
----:-- / 28.40
F
T
----:-M / 28.40
F
T
----:P- / 28.40
F
T
----:-- / 28.40
004B

T (expected value)

4.99 (confidence rate)

T
T
----:-- / 28.40
T
T
----:-- / 28.40
T
T
----:-- / 28.40
T
T
----:PM / 28.40
T
T
----:-- / 28.40
005A

F (expected value)

4.99 (confidence rate)

F
T
----:-- / 28.40
F
T
----:-M / 28.40
F
T
----:-- / 28.40
F
T
----:P- / 28.40
F
T
----:-- / 28.40
005B

T (expected value)

4.99 (confidence rate)

T
T
----:-- / 28.40
T
T
----:-M / 28.40
T
T
----:-- / 28.40
T
T
----:P- / 28.40
T
T
----:-- / 28.40
010A

F (expected value)

4.99 (confidence rate)

F
T
----:-- / 28.40
F
T
----:-- / 28.40
F
T
----:-M / 28.40
F
T
----:P- / 28.40
F
T
----:-- / 28.40
010B

T (expected value)

4.99 (confidence rate)

T
T
----:-- / 28.40
T
T
----:-- / 28.40
T
T
----:-- / 28.40
T
T
----:PM / 28.40
T
T
----:-- / 28.40
020A

F (expected value)

4.99 (confidence rate)

F
T
----:-- / 28.40
F
T
----:-- / 28.40
F
T
----:-- / 28.40
F
T
----:PM / 28.40
F
T
----:-- / 28.40
020B

T (expected value)

4.99 (confidence rate)

T
T
----:-- / 28.40
T
T
----:-- / 28.40
T
T
----:-- / 28.40
T
T
----:PM / 28.40
T
T
----:-- / 28.40
030A

F (expected value)

4.99 (confidence rate)

F
T
----:-M / 28.40
F
T
----:-- / 28.40
F
T
----:-- / 28.40
F
T
----:P- / 28.40
F
T
----:-- / 28.40
030B

T (expected value)

3.99 (confidence rate)

T
T
----:-M / 28.40
T
T
----:-- / 28.40
T
T
----:-- / 28.40
T
T
----:P- / 28.40
DNF

0
040A

F (expected value)

4.99 (confidence rate)

F
T
----:-M / 28.40
F
T
----:-- / 28.40
F
T
----:-- / 28.40
F
T
----:P- / 28.40
F
T
----:-- / 28.40
040B

T (expected value)

3.00 (confidence rate)

DNF

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

0
050A

F (expected value)

4.99 (confidence rate)

F
T
----:-M / 28.40
F
T
----:-- / 28.40
F
T
----:-- / 28.40
F
T
----:P- / 28.40
F
T
----:-- / 28.40
050B

T (expected value)

3.00 (confidence rate)

DNF

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

0
100A

F (expected value)

4.99 (confidence rate)

F
T
----:-- / 28.40
F
T
----:-M / 28.40
F
T
----:-- / 28.40
F
T
----:P- / 28.40
F
T
----:-- / 28.40
100B

T (expected value)

3.00 (confidence rate)

DNF

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

0
SmartHome — P/T (593.80 pts max)
  GreatSPN ITS-Tools ITS-LoLa Tapaal smart
Score 593.55 593.55 593.55 593.55 499.84
fastest 0 0 0 19 0
smallest memory 4 4 3 8 0
01

F (expected value)

4.99 (confidence rate)

F
T
----:-- / 31.23
F
T
----:-- / 31.23
F
T
----:-M / 31.23
F
T
----:P- / 31.23
F
T
----:-- / 31.23
02

F (expected value)

4.99 (confidence rate)

F
T
----:-- / 31.23
F
T
----:-- / 31.23
F
T
----:-- / 31.23
F
T
----:PM / 31.23
F
T
----:-- / 31.23
03

F (expected value)

4.99 (confidence rate)

F
T
----:-- / 31.23
F
T
----:-- / 31.23
F
T
----:-- / 31.23
F
T
----:PM / 31.23
F
T
----:-- / 31.23
04

T (expected value)

4.99 (confidence rate)

T
T
----:-- / 31.23
T
T
----:-- / 31.23
T
T
----:-- / 31.23
T
T
----:PM / 31.23
T
T
----:-- / 31.23
05

T (expected value)

4.99 (confidence rate)

T
T
----:-M / 31.23
T
T
----:-- / 31.23
T
T
----:-- / 31.23
T
T
----:P- / 31.23
T
T
----:-- / 31.23
06

T (expected value)

4.99 (confidence rate)

T
T
----:-- / 31.23
T
T
----:-- / 31.23
T
T
----:-- / 31.23
T
T
----:PM / 31.23
T
T
----:-- / 31.23
07

T (expected value)

4.99 (confidence rate)

T
T
----:-- / 31.23
T
T
----:-- / 31.23
T
T
----:-M / 31.23
T
T
----:P- / 31.23
T
T
----:-- / 31.23
08

T (expected value)

4.99 (confidence rate)

T
T
----:-- / 31.23
T
T
----:-M / 31.23
T
T
----:-- / 31.23
T
T
----:P- / 31.23
T
T
----:-- / 31.23
09

T (expected value)

4.99 (confidence rate)

T
T
----:-- / 31.23
T
T
----:-- / 31.23
T
T
----:-- / 31.23
T
T
----:PM / 31.23
T
T
----:-- / 31.23
10

T (expected value)

4.99 (confidence rate)

T
T
----:-M / 31.23
T
T
----:-- / 31.23
T
T
----:-- / 31.23
T
T
----:P- / 31.23
T
T
----:-- / 31.23
11

T (expected value)

4.99 (confidence rate)

T
T
----:-- / 31.23
T
T
----:-M / 31.23
T
T
----:-- / 31.23
T
T
----:P- / 31.23
T
T
----:-- / 31.23
12

T (expected value)

4.99 (confidence rate)

T
T
----:-- / 31.23
T
T
----:-- / 31.23
T
T
----:-- / 31.23
T
T
----:PM / 31.23
T
T
----:-- / 31.23
13

T (expected value)

4.99 (confidence rate)

T
T
----:-M / 31.23
T
T
----:-- / 31.23
T
T
----:-- / 31.23
T
T
----:P- / 31.23
T
T
----:-- / 31.23
14

T (expected value)

4.99 (confidence rate)

T
T
----:-- / 31.23
T
T
----:-M / 31.23
T
T
----:-- / 31.23
T
T
----:P- / 31.23
T
T
----:-- / 31.23
15

T (expected value)

4.99 (confidence rate)

T
T
----:-- / 31.23
T
T
----:-- / 31.23
T
T
----:-- / 31.23
T
T
----:PM / 31.23
T
T
----:-- / 31.23
16

T (expected value)

4.99 (confidence rate)

T
T
----:-- / 31.23
T
T
----:-M / 31.23
T
T
----:-- / 31.23
T
T
----:P- / 31.23
T
T
----:-- / 31.23
17

T (expected value)

3.99 (confidence rate)

T
T
----:-M / 31.23
T
T
----:-- / 31.23
T
T
----:-- / 31.23
T
T
----:P- / 31.23
DNF

0
18

T (expected value)

3.99 (confidence rate)

T
T
----:-- / 31.23
T
T
----:-- / 31.23
T
T
----:-- / 31.23
T
T
----:PM / 31.23
DNF

0
19

T (expected value)

3.99 (confidence rate)

T
T
----:-- / 31.23
T
T
----:-- / 31.23
T
T
----:-M / 31.23
T
T
----:P- / 31.23
DNF

0
Sudoku — Colored (404.00 pts max)
  GreatSPN ITS-Tools ITS-LoLa Tapaal smart
Score 121.20 363.59 363.59 0.00 0.00
fastest 4 16 0 0 0
smallest memory 3 7 10 0 0
AN01

T (expected value)

0.99 (confidence rate)

T
T
----:PM / 20.20
CC

0
DNF

0
CC

0
DNC
AN02

T (expected value)

2.99 (confidence rate)

T
T
----:P- / 20.20
T
T
----:-- / 20.20
T
T
----:-M / 20.20
CC

0
DNC
AN03

T (expected value)

2.99 (confidence rate)

T
T
----:PM / 20.20
T
T
----:-- / 20.20
T
T
----:-- / 20.20
CC

0
DNC
AN04

T (expected value)

2.99 (confidence rate)

T
T
----:-- / 20.20
T
T
----:P- / 20.20
T
T
----:-M / 20.20
CC

0
DNC
AN05

T (expected value)

2.00 (confidence rate)

DNF

0
T
T
----:PM / 20.20
T
T
----:-- / 20.20
CC

0
DNC
AN06

T (expected value)

2.00 (confidence rate)

DNF

0
T
T
----:PM / 20.20
T
T
----:-- / 20.20
CC

0
DNC
AN07

T (expected value)

2.00 (confidence rate)

DNF

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

0
DNC
AN08

T (expected value)

2.00 (confidence rate)

DNF

0
T
T
----:PM / 20.20
T
T
----:-- / 20.20
CC

0
DNC
AN09

T (expected value)

2.00 (confidence rate)

DNF

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

0
DNC
AN10

T (expected value)

2.00 (confidence rate)

DNF

0
T
T
----:PM / 20.20
T
T
----:-- / 20.20
CC

0
DNC
AN11

T (expected value)

2.00 (confidence rate)

DNF

0
T
T
----:PM / 20.20
T
T
----:-- / 20.20
CC

0
DNC
AN12

T (expected value)

2.00 (confidence rate)

DNF

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

0
DNC
AN13

T (expected value)

2.00 (confidence rate)

DNF

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

0
DNC
AN14

T (expected value)

2.00 (confidence rate)

DNF

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

0
DNC
AN15

T (expected value)

2.00 (confidence rate)

DNF

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

0
DNC
AN16

T (expected value)

2.00 (confidence rate)

DNF

0
T
T
----:PM / 20.20
T
T
----:-- / 20.20
CC

0
DNC
BN01

T (expected value)

0.99 (confidence rate)

T
T
----:PM / 20.20
CC

0
DNF

0
CC

0
DNC
BN04

T (expected value)

2.99 (confidence rate)

T
T
----:-- / 20.20
T
T
----:PM / 20.20
T
T
----:-- / 20.20
CC

0
DNC
BN09

T (expected value)

2.00 (confidence rate)

DNF

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

0
DNC
BN16

T (expected value)

2.00 (confidence rate)

CC

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

0
DNC
Sudoku — P/T (404.00 pts max)
  GreatSPN ITS-Tools ITS-LoLa Tapaal smart
Score 121.20 404.00 404.00 404.00 80.80
fastest 4 0 0 16 0
smallest memory 0 7 8 5 0
AN01

T (expected value)

4.99 (confidence rate)

T
T
----:P- / 20.20
T
T
----:-- / 20.20
T
T
----:-M / 20.20
T
T
----:-- / 20.20
T
T
----:-- / 20.20
AN02

T (expected value)

4.99 (confidence rate)

T
T
----:P- / 20.20
T
T
----:-- / 20.20
T
T
----:-M / 20.20
T
T
----:-- / 20.20
T
T
----:-- / 20.20
AN03

T (expected value)

4.99 (confidence rate)

T
T
----:P- / 20.20
T
T
----:-M / 20.20
T
T
----:-- / 20.20
T
T
----:-- / 20.20
T
T
----:-- / 20.20
AN04

T (expected value)

3.99 (confidence rate)

T
T
----:-- / 20.20
T
T
----:-- / 20.20
T
T
----:-M / 20.20
T
T
----:P- / 20.20
DNF

0
AN05

T (expected value)

3.00 (confidence rate)

DNF

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

0
AN06

T (expected value)

3.00 (confidence rate)

DNF

0
T
T
----:-- / 20.20
T
T
----:-- / 20.20
T
T
----:PM / 20.20
DNF

0
AN07

T (expected value)

3.00 (confidence rate)

DNF

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

0
AN08

T (expected value)

3.00 (confidence rate)

DNF

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

0
AN09

T (expected value)

3.00 (confidence rate)

DNF

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

0
AN10

T (expected value)

3.00 (confidence rate)

DNF

0
T
T
----:-- / 20.20
T
T
----:-- / 20.20
T
T
----:PM / 20.20
DNF

0
AN11

T (expected value)

3.00 (confidence rate)

DNF

0
T
T
----:-- / 20.20
T
T
----:-- / 20.20
T
T
----:PM / 20.20
DNF

0
AN12

T (expected value)

3.00 (confidence rate)

DNF

0
T
T
----:-- / 20.20
T
T
----:-- / 20.20
T
T
----:PM / 20.20
DNF

0
AN13

T (expected value)

3.00 (confidence rate)

DNF

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

0
AN14

T (expected value)

3.00 (confidence rate)

DNF

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

0
AN15

T (expected value)

3.00 (confidence rate)

DNF

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

0
AN16

T (expected value)

3.00 (confidence rate)

CC

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

0
BN01

T (expected value)

4.99 (confidence rate)

T
T
----:P- / 20.20
T
T
----:-- / 20.20
T
T
----:-M / 20.20
T
T
----:-- / 20.20
T
T
----:-- / 20.20
BN04

T (expected value)

3.99 (confidence rate)

T
T
----:-- / 20.20
T
T
----:-- / 20.20
T
T
----:-M / 20.20
T
T
----:P- / 20.20
DNF

0
BN09

T (expected value)

3.00 (confidence rate)

DNF

0
T
T
----:-- / 20.20
T
T
----:-- / 20.20
T
T
----:PM / 20.20
DNF

0
BN16

T (expected value)

3.00 (confidence rate)

CC

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

0
ViralEpidemic — P/T (553.00 pts max)
  GreatSPN ITS-Tools ITS-LoLa Tapaal smart
Score 258.16 553.20 553.20 479.44 295.04
fastest 0 7 0 8 0
smallest memory 0 8 5 2 0
S02D1C1A10

T (expected value)

3.00 (confidence rate)

CC

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

0
S02D1C1A12

T (expected value)

3.00 (confidence rate)

CC

0
T
T
----:PM / 36.88
T
T
----:-- / 36.88
T
T
----:-- / 36.88
DNF

0
S03D1C1A02

T (expected value)

4.99 (confidence rate)

T
T
----:-- / 36.88
T
T
----:-- / 36.88
T
T
----:-M / 36.88
T
T
----:P- / 36.88
T
T
----:-- / 36.88
S03D1C1A04

T (expected value)

4.99 (confidence rate)

T
T
----:-- / 36.88
T
T
----:P- / 36.88
T
T
----:-- / 36.88
T
T
----:-M / 36.88
T
T
----:-- / 36.88
S03D1C1A06

T (expected value)

4.00 (confidence rate)

CC

0
T
T
----:-- / 36.88
T
T
----:-- / 36.88
T
T
----:PM / 36.88
T
T
----:-- / 36.88
S03D1C1A08

T (expected value)

2.00 (confidence rate)

CC

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

0
DNF

0
S04D1C1A02

T (expected value)

4.99 (confidence rate)

T
T
----:-- / 36.88
T
T
----:-M / 36.88
T
T
----:-- / 36.88
T
T
----:P- / 36.88
T
T
----:-- / 36.88
S04D1C1A03

T (expected value)

4.99 (confidence rate)

T
T
----:-- / 36.88
T
T
----:-- / 36.88
T
T
----:-M / 36.88
T
T
----:P- / 36.88
T
T
----:-- / 36.88
S04D1C1A04

T (expected value)

4.99 (confidence rate)

T
T
----:-- / 36.88
T
T
----:-M / 36.88
T
T
----:-- / 36.88
T
T
----:P- / 36.88
T
T
----:-- / 36.88
S04D1C1A06

T (expected value)

2.00 (confidence rate)

CC

0
T
T
----:PM / 36.88
T
T
----:-- / 36.88
CC

0
DNF

0
S08D1C2A02

T (expected value)

4.99 (confidence rate)

T
T
----:-- / 36.88
T
T
----:-- / 36.88
T
T
----:-M / 36.88
T
T
----:P- / 36.88
T
T
----:-- / 36.88
S08D1C2A04

T (expected value)

3.00 (confidence rate)

CC

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

0
S16D2C4A01

T (expected value)

4.99 (confidence rate)

T
T
----:-- / 36.88
T
T
----:-M / 36.88
T
T
----:-- / 36.88
T
T
----:P- / 36.88
T
T
----:-- / 36.88
S16D2C4A02

T (expected value)

3.00 (confidence rate)

CC

0
T
T
----:PM / 36.88
T
T
----:-- / 36.88
T
T
----:-- / 36.88
CC

0
S16D2C4A03

T (expected value)

3.00 (confidence rate)

CC

0
T
T
----:PM / 36.88
T
T
----:-- / 36.88
T
T
----:-- / 36.88
DNF

0

All «Known» models
 
  GreatSPN ITS-Tools ITS-LoLa Tapaal smart
Total Points 7038.23 11243.75 11110.68 9506.27 2475.26
fastest 124 137 2 712 2
less memory 105 347 360 164 1
ARMCacheCoherence — P/T (102.55 pts max)
  GreatSPN ITS-Tools ITS-LoLa Tapaal smart
Score 102.55 102.55 102.55 102.55 0.00
fastest 0 1 0 0 0
smallest memory 0 0 1 0 0
none

F (expected value)

3.99 (confidence rate)

F
T
----:-- / 102.55
F
T
----:P- / 102.55
F
T
----:-M / 102.55
F
T
----:-- / 102.55
DNF

0
ASLink — P/T (151.00 pts max)
  GreatSPN ITS-Tools ITS-LoLa Tapaal smart
Score 22.65 151.00 151.00 151.00 7.55
fastest 0 0 0 20 0
smallest memory 1 11 6 2 0
01a

T (expected value)

4.99 (confidence rate)

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

T (expected value)

3.00 (confidence rate)

DNF

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

0
02a

T (expected value)

3.99 (confidence rate)

T
T
----:-- / 7.55
T
T
----:-M / 7.55
T
T
----:-- / 7.55
T
T
----:P- / 7.55
DNF

0
02b

T (expected value)

3.00 (confidence rate)

DNF

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

0
03a

T (expected value)

3.99 (confidence rate)

T
T
----:-- / 7.55
T
T
----:-- / 7.55
T
T
----:-M / 7.55
T
T
----:P- / 7.55
DNF

0
03b

T (expected value)

3.00 (confidence rate)

DNF

0
T
T
----:-- / 7.55
T
T
----:-- / 7.55
T
T
----:PM / 7.55
DNF

0
04a

T (expected value)

3.00 (confidence rate)

DNF

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

0
04b

T (expected value)

3.00 (confidence rate)

DNF

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

0
05a

T (expected value)

3.00 (confidence rate)

DNF

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

0
05b

T (expected value)

3.00 (confidence rate)

DNF

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

0
06a

T (expected value)

3.00 (confidence rate)

DNF

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

0
06b

T (expected value)

3.00 (confidence rate)

DNF

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

0
07a

T (expected value)

3.00 (confidence rate)

DNF

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

0
07b

T (expected value)

3.00 (confidence rate)

DNF

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

0
08a

T (expected value)

3.00 (confidence rate)

DNF

0
T
T
----:-- / 7.55
T
T
----:-- / 7.55
T
T
----:PM / 7.55
DNF

0
08b

T (expected value)

3.00 (confidence rate)

DNF

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

0
09a

T (expected value)

3.00 (confidence rate)

DNF

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

0
09b

T (expected value)

3.00 (confidence rate)

CC

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

0
10a

T (expected value)

3.00 (confidence rate)

DNF

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

0
10b

T (expected value)

3.00 (confidence rate)

CC

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

0
AirplaneLD — Colored (72.95 pts max)
  GreatSPN ITS-Tools ITS-LoLa Tapaal smart
Score 48.66 72.98 72.98 72.98 0.00
fastest 0 3 0 6 0
smallest memory 3 2 3 1 0
0010

T (expected value)

3.99 (confidence rate)

T
T
----:-M / 8.11
T
T
----:-- / 8.11
T
T
----:-- / 8.11
T
T
----:P- / 8.11
DNC
0020

T (expected value)

3.99 (confidence rate)

T
T
----:-M / 8.11
T
T
----:-- / 8.11
T
T
----:-- / 8.11
T
T
----:P- / 8.11
DNC
0050

T (expected value)

3.99 (confidence rate)

T
T
----:-M / 8.11
T
T
----:-- / 8.11
T
T
----:-- / 8.11
T
T
----:P- / 8.11
DNC
0100

T (expected value)

3.99 (confidence rate)

T
T
----:-- / 8.11
T
T
----:-M / 8.11
T
T
----:-- / 8.11
T
T
----:P- / 8.11
DNC
0200

T (expected value)

3.99 (confidence rate)

T
T
----:-- / 8.11
T
T
----:-- / 8.11
T
T
----:-M / 8.11
T
T
----:P- / 8.11
DNC
0500

T (expected value)

3.99 (confidence rate)

T
T
----:-- / 8.11
T
T
----:-- / 8.11
T
T
----:-M / 8.11
T
T
----:P- / 8.11
DNC
1000

T (expected value)

3.00 (confidence rate)

CC

0
T
T
----:P- / 8.11
T
T
----:-M / 8.11
T
T
----:-- / 8.11
DNC
2000

T (expected value)

3.00 (confidence rate)

CC

0
T
T
----:P- / 8.11
T
T
----:-- / 8.11
T
T
----:-M / 8.11
DNC
4000

T (expected value)

3.00 (confidence rate)

CC

0
T
T
----:PM / 8.11
T
T
----:-- / 8.11
T
T
----:-- / 8.11
DNC
AirplaneLD — P/T (72.95 pts max)
  GreatSPN ITS-Tools ITS-LoLa Tapaal smart
Score 48.66 72.98 72.98 72.98 32.44
fastest 0 3 0 6 0
smallest memory 3 3 3 0 0
0010

T (expected value)

4.99 (confidence rate)

T
T
----:-- / 8.11
T
T
----:-- / 8.11
T
T
----:-M / 8.11
T
T
----:P- / 8.11
T
T
----:-- / 8.11
0020

T (expected value)

4.99 (confidence rate)

T
T
----:-- / 8.11
T
T
----:-M / 8.11
T
T
----:-- / 8.11
T
T
----:P- / 8.11
T
T
----:-- / 8.11
0050

T (expected value)

4.99 (confidence rate)

T
T
----:-M / 8.11
T
T
----:-- / 8.11
T
T
----:-- / 8.11
T
T
----:P- / 8.11
T
T
----:-- / 8.11
0100

T (expected value)

4.99 (confidence rate)

T
T
----:-M / 8.11
T
T
----:-- / 8.11
T
T
----:-- / 8.11
T
T
----:P- / 8.11
T
T
----:-- / 8.11
0200

T (expected value)

3.99 (confidence rate)

T
T
----:-- / 8.11
T
T
----:-- / 8.11
T
T
----:-M / 8.11
T
T
----:P- / 8.11
CC

0
0500

T (expected value)

3.99 (confidence rate)

T
T
----:-M / 8.11
T
T
----:-- / 8.11
T
T
----:-- / 8.11
T
T
----:P- / 8.11
CC

0
1000

T (expected value)

3.00 (confidence rate)

CC

0
T
T
----:PM / 8.11
T
T
----:-- / 8.11
T
T
----:-- / 8.11
DNF

0
2000

T (expected value)

3.00 (confidence rate)

CC

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

0
4000

T (expected value)

3.00 (confidence rate)

CC

0
T
T
----:PM / 8.11
T
T
----:-- / 8.11
T
T
----:-- / 8.11
DNF

0
Angiogenesis — P/T (117.84 pts max)
  GreatSPN ITS-Tools ITS-LoLa Tapaal smart
Score 101.04 117.88 117.88 84.20 33.68
fastest 2 4 0 1 0
smallest memory 2 4 1 0 0
01

T (expected value)

4.99 (confidence rate)

T
T
----:-- / 16.84
T
T
----:-- / 16.84
T
T
----:-M / 16.84
T
T
----:P- / 16.84
T
T
----:-- / 16.84
05

T (expected value)

4.99 (confidence rate)

T
T
----:P- / 16.84
T
T
----:-M / 16.84
T
T
----:-- / 16.84
T
T
----:-- / 16.84
T
T
----:-- / 16.84
10

T (expected value)

3.99 (confidence rate)

T
T
----:PM / 16.84
T
T
----:-- / 16.84
T
T
----:-- / 16.84
T
T
----:-- / 16.84
DNF

0
15

T (expected value)

3.99 (confidence rate)

T
T
----:-M / 16.84
T
T
----:P- / 16.84
T
T
----:-- / 16.84
T
T
----:-- / 16.84
DNF

0
20

T (expected value)

3.99 (confidence rate)

T
T
----:-- / 16.84
T
T
----:PM / 16.84
T
T
----:-- / 16.84
T
T
----:-- / 16.84
DNF

0
25

T (expected value)

2.99 (confidence rate)

T
T
----:-- / 16.84
T
T
----:PM / 16.84
T
T
----:-- / 16.84
CC

0
DNF

0
50

T (expected value)

2.00 (confidence rate)

DNF

0
T
T
----:PM / 16.84
T
T
----:-- / 16.84
CC

0
DNF

0
AutoFlight — P/T (151.00 pts max)
  GreatSPN ITS-Tools ITS-LoLa Tapaal smart
Score 113.25 151.00 151.00 151.00 105.70
fastest 0 0 0 20 0
smallest memory 3 8 6 3 0
01a

T (expected value)

4.99 (confidence rate)

T
T
----:-- / 7.55
T
T
----:-- / 7.55
T
T
----:-- / 7.55
T
T
----:PM / 7.55
T
T
----:-- / 7.55
01b

T (expected value)

4.99 (confidence rate)

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

T (expected value)

4.99 (confidence rate)

T
T
----:-- / 7.55
T
T
----:-- / 7.55
T
T
----:-M / 7.55
T
T
----:P- / 7.55
T
T
----:-- / 7.55
02b

T (expected value)

4.99 (confidence rate)

T
T
----:-- / 7.55
T
T
----:-- / 7.55
T
T
----:-M / 7.55
T
T
----:P- / 7.55
T
T
----:-- / 7.55
03a

T (expected value)

4.99 (confidence rate)

T
T
----:-M / 7.55
T
T
----:-- / 7.55
T
T
----:-- / 7.55
T
T
----:P- / 7.55
T
T
----:-- / 7.55
03b

T (expected value)

4.99 (confidence rate)

T
T
----:-- / 7.55
T
T
----:-- / 7.55
T
T
----:-- / 7.55
T
T
----:PM / 7.55
T
T
----:-- / 7.55
04a

T (expected value)

4.99 (confidence rate)

T
T
----:-- / 7.55
T
T
----:-- / 7.55
T
T
----:-- / 7.55
T
T
----:PM / 7.55
T
T
----:-- / 7.55
04b

T (expected value)

4.99 (confidence rate)

T
T
----:-- / 7.55
T
T
----:-M / 7.55
T
T
----:-- / 7.55
T
T
----:P- / 7.55
T
T
----:-- / 7.55
05a

T (expected value)

4.99 (confidence rate)

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

T (expected value)

3.99 (confidence rate)

T
T
----:-- / 7.55
T
T
----:-M / 7.55
T
T
----:-- / 7.55
T
T
----:P- / 7.55
DNF

0
06a

T (expected value)

4.99 (confidence rate)

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

T (expected value)

3.00 (confidence rate)

DNF

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

0
12a

T (expected value)

4.99 (confidence rate)

T
T
----:-- / 7.55
T
T
----:-M / 7.55
T
T
----:-- / 7.55
T
T
----:P- / 7.55
T
T
----:-- / 7.55
12b

T (expected value)

3.00 (confidence rate)

DNF

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

0
24a

T (expected value)

4.99 (confidence rate)

T
T
----:-- / 7.55
T
T
----:-M / 7.55
T
T
----:-- / 7.55
T
T
----:P- / 7.55
T
T
----:-- / 7.55
24b

T (expected value)

3.00 (confidence rate)

DNF

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

0
48a

T (expected value)

4.99 (confidence rate)

T
T
----:-- / 7.55
T
T
----:-- / 7.55
T
T
----:-M / 7.55
T
T
----:P- / 7.55
T
T
----:-- / 7.55
48b

T (expected value)

3.00 (confidence rate)

DNF

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

0
96a

T (expected value)

4.99 (confidence rate)

T
T
----:-M / 7.55
T
T
----:-- / 7.55
T
T
----:-- / 7.55
T
T
----:P- / 7.55
T
T
----:-- / 7.55
96b

T (expected value)

3.00 (confidence rate)

CC

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

0
BART — Colored (70.40 pts max)
  GreatSPN ITS-Tools ITS-LoLa Tapaal smart
Score 0.00 70.40 70.40 0.00 0.00
fastest 0 8 0 0 0
smallest memory 0 4 4 0 0
002

F (expected value)

2.00 (confidence rate)

DNF

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

0
DNC
005

F (expected value)

2.00 (confidence rate)

DNF

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

0
DNC
010

F (expected value)

2.00 (confidence rate)

DNF

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

0
DNC
020

F (expected value)

2.00 (confidence rate)

CC

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

0
DNC
030

F (expected value)

2.00 (confidence rate)

DNF

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

0
DNC
040

F (expected value)

2.00 (confidence rate)

DNF

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

0
DNC
050

F (expected value)

2.00 (confidence rate)

DNF

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

0
DNC
060

F (expected value)

2.00 (confidence rate)

DNF

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

0
DNC
BART — P/T (70.40 pts max)
  GreatSPN ITS-Tools ITS-LoLa Tapaal smart
Score 44.00 70.40 70.40 70.40 8.80
fastest 0 0 0 8 0
smallest memory 1 3 2 2 0
002

F (expected value)

4.99 (confidence rate)

F
T
----:-- / 8.80
F
T
----:-- / 8.80
F
T
----:-- / 8.80
F
T
----:PM / 8.80
F
T
----:-- / 8.80
005

F (expected value)

3.99 (confidence rate)

F
T
----:-- / 8.80
F
T
----:-- / 8.80
F
T
----:-M / 8.80
F
T
----:P- / 8.80
DNF

0
010

F (expected value)

3.99 (confidence rate)

F
T
----:-- / 8.80
F
T
----:-- / 8.80
F
T
----:-M / 8.80
F
T
----:P- / 8.80
DNF

0
020

F (expected value)

3.99 (confidence rate)

F
T
----:-- / 8.80
F
T
----:-- / 8.80
F
T
----:-- / 8.80
F
T
----:PM / 8.80
DNF

0
030

F (expected value)

3.99 (confidence rate)

F
T
----:-M / 8.80
F
T
----:-- / 8.80
F
T
----:-- / 8.80
F
T
----:P- / 8.80
DNF

0
040

F (expected value)

3.00 (confidence rate)

CC

0
F
T
----:-M / 8.80
F
T
----:-- / 8.80
F
T
----:P- / 8.80
DNF

0
050

F (expected value)

3.00 (confidence rate)

CC

0
F
T
----:-M / 8.80
F
T
----:-- / 8.80
F
T
----:P- / 8.80
DNF

0
060

F (expected value)

3.00 (confidence rate)

CC

0
F
T
----:-M / 8.80
F
T
----:-- / 8.80
F
T
----:P- / 8.80
DNF

0
BridgeAndVehicles — Colored (101.00 pts max)
  GreatSPN ITS-Tools ITS-LoLa Tapaal smart
Score 101.00 101.00 101.00 101.00 0.00
fastest 0 0 0 20 0
smallest memory 1 6 9 4 0
V04P05N02

T (expected value)

3.99 (confidence rate)

T
T
----:-- / 5.05
T
T
----:-M / 5.05
T
T
----:-- / 5.05
T
T
----:P- / 5.05
DNC
V10P10N10

T (expected value)

3.99 (confidence rate)

T
T
----:-- / 5.05
T
T
----:-- / 5.05
T
T
----:-M / 5.05
T
T
----:P- / 5.05
DNC
V20P10N10

T (expected value)

3.99 (confidence rate)

T
T
----:-- / 5.05
T
T
----:-- / 5.05
T
T
----:-M / 5.05
T
T
----:P- / 5.05
DNC
V20P10N20

T (expected value)

3.99 (confidence rate)

T
T
----:-- / 5.05
T
T
----:-M / 5.05
T
T
----:-- / 5.05
T
T
----:P- / 5.05
DNC
V20P10N50

T (expected value)

3.99 (confidence rate)

T
T
----:-- / 5.05
T
T
----:-M / 5.05
T
T
----:-- / 5.05
T
T
----:P- / 5.05
DNC
V20P20N10

T (expected value)

3.99 (confidence rate)

T
T
----:-- / 5.05
T
T
----:-M / 5.05
T
T
----:-- / 5.05
T
T
----:P- / 5.05
DNC
V20P20N20

T (expected value)

3.99 (confidence rate)

T
T
----:-- / 5.05
T
T
----:-- / 5.05
T
T
----:-M / 5.05
T
T
----:P- / 5.05
DNC
V20P20N50

T (expected value)

3.99 (confidence rate)

T
T
----:-- / 5.05
T
T
----:-- / 5.05
T
T
----:-M / 5.05
T
T
----:P- / 5.05
DNC
V50P20N10

T (expected value)

3.99 (confidence rate)

T
T
----:-- / 5.05
T
T
----:-- / 5.05
T
T
----:-M / 5.05
T
T
----:P- / 5.05
DNC
V50P20N20

T (expected value)

3.99 (confidence rate)

T
T
----:-- / 5.05
T
T
----:-- / 5.05
T
T
----:-- / 5.05
T
T
----:PM / 5.05
DNC
V50P20N50

T (expected value)

3.99 (confidence rate)

T
T
----:-- / 5.05
T
T
----:-M / 5.05
T
T
----:-- / 5.05
T
T
----:P- / 5.05
DNC
V50P50N10

T (expected value)

3.99 (confidence rate)

T
T
----:-- / 5.05
T
T
----:-M / 5.05
T
T
----:-- / 5.05
T
T
----:P- / 5.05
DNC
V50P50N20

T (expected value)

3.99 (confidence rate)

T
T
----:-- / 5.05
T
T
----:-- / 5.05
T
T
----:-M / 5.05
T
T
----:P- / 5.05
DNC
V50P50N50

T (expected value)

3.99 (confidence rate)

T
T
----:-M / 5.05
T
T
----:-- / 5.05
T
T
----:-- / 5.05
T
T
----:P- / 5.05
DNC
V80P20N10

T (expected value)

3.99 (confidence rate)

T
T
----:-- / 5.05
T
T
----:-- / 5.05
T
T
----:-M / 5.05
T
T
----:P- / 5.05
DNC
V80P20N20

T (expected value)

3.99 (confidence rate)

T
T
----:-- / 5.05
T
T
----:-- / 5.05
T
T
----:-- / 5.05
T
T
----:PM / 5.05
DNC
V80P20N50

T (expected value)

3.99 (confidence rate)

T
T
----:-- / 5.05
T
T
----:-- / 5.05
T
T
----:-- / 5.05
T
T
----:PM / 5.05
DNC
V80P50N10

T (expected value)

3.99 (confidence rate)

T
T
----:-- / 5.05
T
T
----:-- / 5.05
T
T
----:-M / 5.05
T
T
----:P- / 5.05
DNC
V80P50N20

T (expected value)

3.99 (confidence rate)

T
T
----:-- / 5.05
T
T
----:-- / 5.05
T
T
----:-M / 5.05
T
T
----:P- / 5.05
DNC
V80P50N50

T (expected value)

3.99 (confidence rate)

T
T
----:-- / 5.05
T
T
----:-- / 5.05
T
T
----:-- / 5.05
T
T
----:PM / 5.05
DNC
BridgeAndVehicles — P/T (101.00 pts max)
  GreatSPN ITS-Tools ITS-LoLa Tapaal smart
Score 101.00 101.00 101.00 101.00 30.30
fastest 2 1 0 17 0
smallest memory 4 7 6 3 0
V04P05N02

T (expected value)

4.99 (confidence rate)

T
T
----:P- / 5.05
T
T
----:-- / 5.05
T
T
----:-M / 5.05
T
T
----:-- / 5.05
T
T
----:-- / 5.05
V10P10N10

T (expected value)

4.99 (confidence rate)

T
T
----:P- / 5.05
T
T
----:-- / 5.05
T
T
----:-- / 5.05
T
T
----:-M / 5.05
T
T
----:-- / 5.05
V20P10N10

T (expected value)

4.99 (confidence rate)

T
T
----:-- / 5.05
T
T
----:-- / 5.05
T
T
----:-M / 5.05
T
T
----:P- / 5.05
T
T
----:-- / 5.05
V20P10N20

T (expected value)

3.99 (confidence rate)

T
T
----:-M / 5.05
T
T
----:-- / 5.05
T
T
----:-- / 5.05
T
T
----:P- / 5.05
DNF

0
V20P10N50

T (expected value)

4.99 (confidence rate)

T
T
----:-- / 5.05
T
T
----:-- / 5.05
T
T
----:-M / 5.05
T
T
----:P- / 5.05
T
T
----:-- / 5.05
V20P20N10

T (expected value)

4.99 (confidence rate)

T
T
----:-- / 5.05
T
T
----:-M / 5.05
T
T
----:-- / 5.05
T
T
----:P- / 5.05
T
T
----:-- / 5.05
V20P20N20

T (expected value)

3.99 (confidence rate)

T
T
----:-- / 5.05
T
T
----:-- / 5.05
T
T
----:-M / 5.05
T
T
----:P- / 5.05
DNF

0
V20P20N50

T (expected value)

4.99 (confidence rate)

T
T
----:-M / 5.05
T
T
----:-- / 5.05
T
T
----:-- / 5.05
T
T
----:P- / 5.05
T
T
----:-- / 5.05
V50P20N10

T (expected value)

3.99 (confidence rate)

T
T
----:-- / 5.05
T
T
----:-M / 5.05
T
T
----:-- / 5.05
T
T
----:P- / 5.05
DNF

0
V50P20N20

T (expected value)

3.99 (confidence rate)

T
T
----:-- / 5.05
T
T
----:PM / 5.05
T
T
----:-- / 5.05
T
T
----:-- / 5.05
DNF

0
V50P20N50

T (expected value)

3.99 (confidence rate)

T
T
----:-M / 5.05
T
T
----:-- / 5.05
T
T
----:-- / 5.05
T
T
----:P- / 5.05
DNF

0
V50P50N10

T (expected value)

3.99 (confidence rate)

T
T
----:-- / 5.05
T
T
----:-- / 5.05
T
T
----:-- / 5.05
T
T
----:PM / 5.05
DNF

0
V50P50N20

T (expected value)

3.99 (confidence rate)

T
T
----:-- / 5.05
T
T
----:-M / 5.05
T
T
----:-- / 5.05
T
T
----:P- / 5.05
DNF

0
V50P50N50

T (expected value)

3.99 (confidence rate)

T
T
----:-- / 5.05
T
T
----:-- / 5.05
T
T
----:-M / 5.05
T
T
----:P- / 5.05
DNF

0
V80P20N10

T (expected value)

3.99 (confidence rate)

T
T
----:-- / 5.05
T
T
----:-M / 5.05
T
T
----:-- / 5.05
T
T
----:P- / 5.05
DNF

0
V80P20N20

T (expected value)

3.99 (confidence rate)

T
T
----:-- / 5.05
T
T
----:-M / 5.05
T
T
----:-- / 5.05
T
T
----:P- / 5.05
DNF

0
V80P20N50

T (expected value)

3.99 (confidence rate)

T
T
----:-- / 5.05
T
T
----:-M / 5.05
T
T
----:-- / 5.05
T
T
----:P- / 5.05
DNF

0
V80P50N10

T (expected value)

3.99 (confidence rate)

T
T
----:-M / 5.05
T
T
----:-- / 5.05
T
T
----:-- / 5.05
T
T
----:P- / 5.05
DNF

0
V80P50N20

T (expected value)

3.99 (confidence rate)

T
T
----:-- / 5.05
T
T
----:-- / 5.05
T
T
----:-M / 5.05
T
T
----:P- / 5.05
DNF

0
V80P50N50

T (expected value)

3.99 (confidence rate)

T
T
----:-- / 5.05
T
T
----:-- / 5.05
T
T
----:-- / 5.05
T
T
----:PM / 5.05
DNF

0
BusinessProcesses — P/T (151.00 pts max)
  GreatSPN ITS-Tools ITS-LoLa Tapaal smart
Score 143.45 151.00 151.00 151.00 105.70
fastest 0 0 0 20 0
smallest memory 4 6 6 4 0
01

T (expected value)

4.99 (confidence rate)

T
T
----:-- / 7.55
T
T
----:-- / 7.55
T
T
----:-- / 7.55
T
T
----:PM / 7.55
T
T
----:-- / 7.55
02

T (expected value)

4.99 (confidence rate)

T
T
----:-- / 7.55
T
T
----:-M / 7.55
T
T
----:-- / 7.55
T
T
----:P- / 7.55
T
T
----:-- / 7.55
03

T (expected value)

4.99 (confidence rate)

T
T
----:-- / 7.55
T
T
----:-- / 7.55
T
T
----:-M / 7.55
T
T
----:P- / 7.55
T
T
----:-- / 7.55
04

T (expected value)

4.99 (confidence rate)

T
T
----:-- / 7.55
T
T
----:-- / 7.55
T
T
----:-M / 7.55
T
T
----:P- / 7.55
T
T
----:-- / 7.55
05

T (expected value)

4.99 (confidence rate)

T
T
----:-- / 7.55
T
T
----:-- / 7.55
T
T
----:-M / 7.55
T
T
----:P- / 7.55
T
T
----:-- / 7.55
06

T (expected value)

4.99 (confidence rate)

T
T
----:-M / 7.55
T
T
----:-- / 7.55
T
T
----:-- / 7.55
T
T
----:P- / 7.55
T
T
----:-- / 7.55
07

T (expected value)

4.99 (confidence rate)

T
T
----:-- / 7.55
T
T
----:-- / 7.55
T
T
----:-M / 7.55
T
T
----:P- / 7.55
T
T
----:-- / 7.55
08

T (expected value)

4.99 (confidence rate)

T
T
----:-- / 7.55
T
T
----:-M / 7.55
T
T
----:-- / 7.55
T
T
----:P- / 7.55
T
T
----:-- / 7.55
09

T (expected value)

4.99 (confidence rate)

T
T
----:-- / 7.55
T
T
----:-M / 7.55
T
T
----:-- / 7.55
T
T
----:P- / 7.55
T
T
----:-- / 7.55
10

T (expected value)

3.99 (confidence rate)

T
T
----:-- / 7.55
T
T
----:-- / 7.55
T
T
----:-M / 7.55
T
T
----:P- / 7.55
DNF

0
11

T (expected value)

4.99 (confidence rate)

T
T
----:-- / 7.55
T
T
----:-- / 7.55
T
T
----:-M / 7.55
T
T
----:P- / 7.55
T
T
----:-- / 7.55
12

T (expected value)

4.99 (confidence rate)

T
T
----:-- / 7.55
T
T
----:-M / 7.55
T
T
----:-- / 7.55
T
T
----:P- / 7.55
T
T
----:-- / 7.55
13

T (expected value)

4.99 (confidence rate)

T
T
----:-- / 7.55
T
T
----:-- / 7.55
T
T
----:-- / 7.55
T
T
----:PM / 7.55
T
T
----:-- / 7.55
14

T (expected value)

3.00 (confidence rate)

DNF

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

0
15

T (expected value)

4.99 (confidence rate)

T
T
----:-- / 7.55
T
T
----:-- / 7.55
T
T
----:-- / 7.55
T
T
----:PM / 7.55
T
T
----:-- / 7.55
16

T (expected value)

3.99 (confidence rate)

T
T
----:-M / 7.55
T
T
----:-- / 7.55
T
T
----:-- / 7.55
T
T
----:P- / 7.55
DNF

0
17

T (expected value)

4.99 (confidence rate)

T
T
----:-- / 7.55
T
T
----:-M / 7.55
T
T
----:-- / 7.55
T
T
----:P- / 7.55
T
T
----:-- / 7.55
18

T (expected value)

3.99 (confidence rate)

T
T
----:-- / 7.55
T
T
----:-- / 7.55
T
T
----:-- / 7.55
T
T
----:PM / 7.55
DNF

0
19

T (expected value)

3.99 (confidence rate)

T
T
----:-M / 7.55
T
T
----:-- / 7.55
T
T
----:-- / 7.55
T
T
----:P- / 7.55
DNF

0
20

T (expected value)

3.99 (confidence rate)

T
T
----:-M / 7.55
T
T
----:-- / 7.55
T
T
----:-- / 7.55
T
T
----:P- / 7.55
DNF

0
CSRepetitions — Colored (65.30 pts max)
  GreatSPN ITS-Tools ITS-LoLa Tapaal smart
Score 54.40 65.27 65.27 65.27 0.00
fastest 0 0 0 6 0
smallest memory 0 2 4 0 0
02

T (expected value)

3.99 (confidence rate)

T
T
----:-- / 10.88
T
T
----:-- / 10.88
T
T
----:-M / 10.88
T
T
----:P- / 10.88
DNC
03

T (expected value)

3.99 (confidence rate)

T
T
----:-- / 10.88
T
T
----:-- / 10.88
T
T
----:-M / 10.88
T
T
----:P- / 10.88
DNC
04

T (expected value)

3.99 (confidence rate)

T
T
----:-- / 10.88
T
T
----:-M / 10.88
T
T
----:-- / 10.88
T
T
----:P- / 10.88
DNC
05

T (expected value)

3.99 (confidence rate)

T
T
----:-- / 10.88
T
T
----:-- / 10.88
T
T
----:-M / 10.88
T
T
----:P- / 10.88
DNC
07

T (expected value)

3.99 (confidence rate)

T
T
----:-- / 10.88
T
T
----:-- / 10.88
T
T
----:-M / 10.88
T
T
----:P- / 10.88
DNC
10

T (expected value)

3.00 (confidence rate)

DNF

0
T
T
----:-M / 10.88
T
T
----:-- / 10.88
T
T
----:P- / 10.88
DNC
CSRepetitions — P/T (65.30 pts max)
  GreatSPN ITS-Tools ITS-LoLa Tapaal smart
Score 54.40 65.27 65.27 65.27 21.76
fastest 1 0 0 5 0
smallest memory 0 2 2 2 0
02

T (expected value)

4.99 (confidence rate)

T
T
----:P- / 10.88
T
T
----:-M / 10.88
T
T
----:-- / 10.88
T
T
----:-- / 10.88
T
T
----:-- / 10.88
03

T (expected value)

4.99 (confidence rate)

T
T
----:-- / 10.88
T
T
----:-- / 10.88
T
T
----:-M / 10.88
T
T
----:P- / 10.88
T
T
----:-- / 10.88
04

T (expected value)

3.99 (confidence rate)

T
T
----:-- / 10.88
T
T
----:-M / 10.88
T
T
----:-- / 10.88
T
T
----:P- / 10.88
DNF

0
05

T (expected value)

3.99 (confidence rate)

T
T
----:-- / 10.88
T
T
----:-- / 10.88
T
T
----:-M / 10.88
T
T
----:P- / 10.88
DNF

0
07

T (expected value)

3.99 (confidence rate)

T
T
----:-- / 10.88
T
T
----:-- / 10.88
T
T
----:-- / 10.88
T
T
----:PM / 10.88
DNF

0
10

T (expected value)

3.00 (confidence rate)

DNF

0
T
T
----:-- / 10.88
T
T
----:-- / 10.88
T
T
----:PM / 10.88
DNF

0
CircadianClock — P/T (115.30 pts max)
  GreatSPN ITS-Tools ITS-LoLa Tapaal smart
Score 76.88 115.31 115.31 115.31 38.44
fastest 1 0 0 5 0
smallest memory 1 0 3 2 0
000001

F (expected value)

4.99 (confidence rate)

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

F (expected value)

4.99 (confidence rate)

F
T
----:PM / 19.22
F
T
----:-- / 19.22
F
T
----:-- / 19.22
F
T
----:-- / 19.22
F
T
----:-- / 19.22
000100

F (expected value)

3.99 (confidence rate)

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

0
001000

F (expected value)

3.99 (confidence rate)

F
T
----:-- / 19.22
F
T
----:-- / 19.22
F
T
----:-- / 19.22
F
T
----:PM / 19.22
DNF

0
010000

F (expected value)

3.00 (confidence rate)

DNF

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

0
100000

F (expected value)

3.00 (confidence rate)

DNF

0
F
T
----:-- / 19.22
F
T
----:-M / 19.22
F
T
----:P- / 19.22
DNF

0
CircularTrains — P/T (117.84 pts max)
  GreatSPN ITS-Tools ITS-LoLa Tapaal smart
Score 117.88 117.88 117.88 117.88 -16.83
fastest 0 0 0 7 0
smallest memory 0 0 6 1 0
012

F (expected value)

4.99 (confidence rate)

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

F (expected value)

3.99 (confidence rate)

F
T
----:-- / 16.84
F
T
----:-- / 16.84
F
T
----:-M / 16.84
F
T
----:P- / 16.84
T
X
V---:-- / -33.66
048

F (expected value)

3.99 (confidence rate)

F
T
----:-- / 16.84
F
T
----:-- / 16.84
F
T
----:-M / 16.84
F
T
----:P- / 16.84
DNF

0
096

F (expected value)

3.99 (confidence rate)

F
T
----:-- / 16.84
F
T
----:-- / 16.84
F
T
----:-M / 16.84
F
T
----:P- / 16.84
DNF

0
192

F (expected value)

3.99 (confidence rate)

F
T
----:-- / 16.84
F
T
----:-- / 16.84
F
T
----:-M / 16.84
F
T
----:P- / 16.84
DNF

0
384

F (expected value)

3.99 (confidence rate)

F
T
----:-- / 16.84
F
T
----:-- / 16.84
F
T
----:-M / 16.84
F
T
----:P- / 16.84
DNF

0
768

F (expected value)

3.99 (confidence rate)

F
T
----:-- / 16.84
F
T
----:-- / 16.84
F
T
----:-- / 16.84
F
T
----:PM / 16.84
DNF

0
ClientsAndServers — P/T (151.00 pts max)
  GreatSPN ITS-Tools ITS-LoLa Tapaal smart
Score 60.40 151.00 151.00 151.00 22.65
fastest 3 0 0 17 0
smallest memory 1 0 9 10 0
N0001P0

T (expected value)

4.99 (confidence rate)

T
T
----:P- / 7.55
T
T
----:-- / 7.55
T
T
----:-- / 7.55
T
T
----:-M / 7.55
T
T
----:-- / 7.55
N0002P0

T (expected value)

4.99 (confidence rate)

T
T
----:P- / 7.55
T
T
----:-- / 7.55
T
T
----:-- / 7.55
T
T
----:-M / 7.55
T
T
----:-- / 7.55
N0002P1

F (expected value)

4.99 (confidence rate)

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

T (expected value)

3.99 (confidence rate)

T
T
----:-- / 7.55
T
T
----:-- / 7.55
T
T
----:-M / 7.55
T
T
----:P- / 7.55
DNF

0
N0005P1

T (expected value)

3.99 (confidence rate)

T
T
----:-- / 7.55
T
T
----:-- / 7.55
T
T
----:-M / 7.55
T
T
----:P- / 7.55
DNF

0
N0010P0

T (expected value)

3.99 (confidence rate)

T
T
----:-- / 7.55
T
T
----:-- / 7.55
T
T
----:-M / 7.55
T
T
----:P- / 7.55
DNF

0
N0010P1

T (expected value)

3.99 (confidence rate)

T
T
----:-M / 7.55
T
T
----:-- / 7.55
T
T
----:-- / 7.55
T
T
----:P- / 7.55
DNF

0
N0010P2

T (expected value)

3.99 (confidence rate)

T
T
----:-- / 7.55
T
T
----:-- / 7.55
T
T
----:-M / 7.55
T
T
----:P- / 7.55
DNF

0
N0020P0

T (expected value)

3.00 (confidence rate)

DNF

0
T
T
----:-- / 7.55
T
T
----:-- / 7.55
T
T
----:PM / 7.55
DNF

0
N0020P1

T (expected value)

3.00 (confidence rate)

DNF

0
T
T
----:-- / 7.55
T
T
----:-- / 7.55
T
T
----:PM / 7.55
DNF

0
N0020P2

T (expected value)

3.00 (confidence rate)

DNF

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

0
N0020P3

T (expected value)

3.00 (confidence rate)

DNF

0
T
T
----:-- / 7.55
T
T
----:-- / 7.55
T
T
----:PM / 7.55
DNF

0
N0020P4

T (expected value)

3.00 (confidence rate)

DNF

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

0
N0050P0

T (expected value)

3.00 (confidence rate)

DNF

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

0
N0100P0

T (expected value)

3.00 (confidence rate)

DNF

0
T
T
----:-- / 7.55
T
T
----:-- / 7.55
T
T
----:PM / 7.55
DNF

0
N0200P0

T (expected value)

3.00 (confidence rate)

DNF

0
T
T
----:-- / 7.55
T
T
----:-- / 7.55
T
T
----:PM / 7.55
DNF

0
N0500P0

T (expected value)

3.00 (confidence rate)

DNF

0
T
T
----:-- / 7.55
T
T
----:-- / 7.55
T
T
----:PM / 7.55
DNF

0
N1000P0

T (expected value)

3.00 (confidence rate)

DNF

0
T
T
----:-- / 7.55
T
T
----:-- / 7.55
T
T
----:PM / 7.55
DNF

0
N2000P0

T (expected value)

3.00 (confidence rate)

DNF

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

0
N5000P0

T (expected value)

3.00 (confidence rate)

DNF

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

0
CloudDeployment — P/T (130.59 pts max)
  GreatSPN ITS-Tools ITS-LoLa Tapaal smart
Score 87.04 130.55 97.91 119.68 43.52
fastest 3 2 0 7 0
smallest memory 5 0 7 0 0
2a

T (expected value)

4.99 (confidence rate)

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

T (expected value)

4.99 (confidence rate)

T
T
----:-M / 10.88
T
T
----:-- / 10.88
T
T
----:-- / 10.88
T
T
----:P- / 10.88
T
T
----:-- / 10.88
3a

T (expected value)

4.99 (confidence rate)

T
T
----:-- / 10.88
T
T
----:-- / 10.88
T
T
----:-M / 10.88
T
T
----:P- / 10.88
T
T
----:-- / 10.88
3b

T (expected value)

3.99 (confidence rate)

T
T
----:-M / 10.88
T
T
----:-- / 10.88
T
T
----:-- / 10.88
T
T
----:P- / 10.88
DNF

0
4a

T (expected value)

4.99 (confidence rate)

T
T
----:-- / 10.88
T
T
----:-- / 10.88
T
T
----:-M / 10.88
T
T
----:P- / 10.88
T
T
----:-- / 10.88
4b

T (expected value)

3.00 (confidence rate)

DNF

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

0
5a

T (expected value)

2.99 (confidence rate)

T
T
----:PM / 10.88
T
T
----:-- / 10.88
DNF

0
T
T
----:-- / 10.88
DNF

0
5b

T (expected value)

3.00 (confidence rate)

DNF

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

0
6a

T (expected value)

2.99 (confidence rate)

T
T
----:PM / 10.88
T
T
----:-- / 10.88
DNF

0
T
T
----:-- / 10.88
DNF

0
6b

T (expected value)

3.00 (confidence rate)

CC

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

0
7a

T (expected value)

1.99 (confidence rate)

T
T
----:PM / 10.88
T
T
----:-- / 10.88
DNF

0
CC

0
DNF

0
7b

T (expected value)

3.00 (confidence rate)

CC

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

0
CloudOpsManagement — P/T (135.70 pts max)
  GreatSPN ITS-Tools ITS-LoLa Tapaal smart
Score 77.52 135.66 135.66 29.06 -9.70
fastest 6 8 0 0 0
smallest memory 2 0 11 1 0
00002by00001

F (expected value)

4.99 (confidence rate)

F
T
----:PM / 9.69
F
T
----:-- / 9.69
F
T
----:-- / 9.69
F
T
----:-- / 9.69
F
T
----:-- / 9.69
00005by00002

F (expected value)

3.99 (confidence rate)

F
T
----:P- / 9.69
F
T
----:-- / 9.69
F
T
----:-- / 9.69
F
T
----:-M / 9.69
T
X
V---:-- / -19.38
00010by00005

F (expected value)

3.99 (confidence rate)

F
T
----:P- / 9.69
F
T
----:-- / 9.69
F
T
----:-M / 9.69
F
T
----:-- / 9.69
DNF

0
00020by00010

F (expected value)

2.99 (confidence rate)

F
T
----:PM / 9.69
F
T
----:-- / 9.69
F
T
----:-- / 9.69
CC

0
DNF

0
00040by00020

F (expected value)

2.99 (confidence rate)

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

0
CC

0
00080by00040

F (expected value)

2.99 (confidence rate)

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

0
DNF

0
00160by00080

F (expected value)

2.99 (confidence rate)

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

0
CC

0
00320by00160

F (expected value)

2.99 (confidence rate)

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

0
DNF

0
00640by00320

F (expected value)

2.00 (confidence rate)

DNF

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

0
DNF

0
01280by00640

F (expected value)

2.00 (confidence rate)

DNF

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

0
DNF

0
02560by01280

F (expected value)

2.00 (confidence rate)

DNF

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

0
DNF

0
05120by02560

F (expected value)

2.00 (confidence rate)

DNF

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

0
DNF

0
10240by05120

F (expected value)

2.00 (confidence rate)

DNF

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

0
DNF

0
20480by10240

F (expected value)

2.00 (confidence rate)

DNF

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

0
DNF

0
CloudReconfiguration — P/T (156.09 pts max)
  GreatSPN ITS-Tools ITS-LoLa Tapaal smart
Score 156.20 156.20 156.20 156.20 156.20
fastest 0 0 0 22 0
smallest memory 1 11 8 2 0
301

T (expected value)

4.99 (confidence rate)

T
T
----:-- / 7.09
T
T
----:-- / 7.09
T
T
----:-M / 7.09
T
T
----:P- / 7.09
T
T
----:-- / 7.09
302

T (expected value)

4.99 (confidence rate)

T
T
----:-- / 7.09
T
T
----:-M / 7.09
T
T
----:-- / 7.09
T
T
----:P- / 7.09
T
T
----:-- / 7.09
303

T (expected value)

4.99 (confidence rate)

T
T
----:-- / 7.09
T
T
----:-M / 7.09
T
T
----:-- / 7.09
T
T
----:P- / 7.09
T
T
----:-- / 7.09
304

T (expected value)

4.99 (confidence rate)

T
T
----:-- / 7.09
T
T
----:-- / 7.09
T
T
----:-M / 7.09
T
T
----:P- / 7.09
T
T
----:-- / 7.09
305

T (expected value)

4.99 (confidence rate)

T
T
----:-- / 7.09
T
T
----:-M / 7.09
T
T
----:-- / 7.09
T
T
----:P- / 7.09
T
T
----:-- / 7.09
306

T (expected value)

4.99 (confidence rate)

T
T
----:-- / 7.09
T
T
----:-- / 7.09
T
T
----:-M / 7.09
T
T
----:P- / 7.09
T
T
----:-- / 7.09
307

T (expected value)

4.99 (confidence rate)

T
T
----:-- / 7.09
T
T
----:-M / 7.09
T
T
----:-- / 7.09
T
T
----:P- / 7.09
T
T
----:-- / 7.09
308

T (expected value)

4.99 (confidence rate)

T
T
----:-- / 7.09
T
T
----:-- / 7.09
T
T
----:-M / 7.09
T
T
----:P- / 7.09
T
T
----:-- / 7.09
309

T (expected value)

4.99 (confidence rate)

T
T
----:-- / 7.09
T
T
----:-- / 7.09
T
T
----:-M / 7.09
T
T
----:P- / 7.09
T
T
----:-- / 7.09
310

T (expected value)

4.99 (confidence rate)

T
T
----:-- / 7.09
T
T
----:-- / 7.09
T
T
----:-M / 7.09
T
T
----:P- / 7.09
T
T
----:-- / 7.09
311

T (expected value)

4.99 (confidence rate)

T
T
----:-- / 7.09
T
T
----:-M / 7.09
T
T
----:-- / 7.09
T
T
----:P- / 7.09
T
T
----:-- / 7.09
312

T (expected value)

4.99 (confidence rate)

T
T
----:-- / 7.09
T
T
----:-M / 7.09
T
T
----:-- / 7.09
T
T
----:P- / 7.09
T
T
----:-- / 7.09
313

T (expected value)

4.99 (confidence rate)

T
T
----:-- / 7.09
T
T
----:-- / 7.09
T
T
----:-M / 7.09
T
T
----:P- / 7.09
T
T
----:-- / 7.09
314

T (expected value)

4.99 (confidence rate)

T
T
----:-- / 7.09
T
T
----:-M / 7.09
T
T
----:-- / 7.09
T
T
----:P- / 7.09
T
T
----:-- / 7.09
315

T (expected value)

4.99 (confidence rate)

T
T
----:-- / 7.09
T
T
----:-M / 7.09
T
T
----:-- / 7.09
T
T
----:P- / 7.09
T
T
----:-- / 7.09
316

T (expected value)

4.99 (confidence rate)

T
T
----:-- / 7.09
T
T
----:-M / 7.09
T
T
----:-- / 7.09
T
T
----:P- / 7.09
T
T
----:-- / 7.09
317

T (expected value)

4.99 (confidence rate)

T
T
----:-- / 7.09
T
T
----:-- / 7.09
T
T
----:-- / 7.09
T
T
----:PM / 7.09
T
T
----:-- / 7.09
318

T (expected value)

4.99 (confidence rate)

T
T
----:-M / 7.09
T
T
----:-- / 7.09
T
T
----:-- / 7.09
T
T
----:P- / 7.09
T
T
----:-- / 7.09
319

T (expected value)

4.99 (confidence rate)

T
T
----:-- / 7.09
T
T
----:-- / 7.09
T
T
----:-M / 7.09
T
T
----:P- / 7.09
T
T
----:-- / 7.09
320

T (expected value)

4.99 (confidence rate)

T
T
----:-- / 7.09
T
T
----:-M / 7.09
T
T
----:-- / 7.09
T
T
----:P- / 7.09
T
T
----:-- / 7.09
401

T (expected value)

4.99 (confidence rate)

T
T
----:-- / 7.09
T
T
----:-- / 7.09
T
T
----:-- / 7.09
T
T
----:PM / 7.09
T
T
----:-- / 7.09
402

T (expected value)

4.99 (confidence rate)

T
T
----:-- / 7.09
T
T
----:-M / 7.09
T
T
----:-- / 7.09
T
T
----:P- / 7.09
T
T
----:-- / 7.09
DES — P/T (151.00 pts max)
  GreatSPN ITS-Tools ITS-LoLa Tapaal smart
Score 151.00 151.00 151.00 135.90 37.75
fastest 1 1 0 18 0
smallest memory 4 5 10 1 0
00a

T (expected value)

3.99 (confidence rate)

T
T
----:P- / 7.55
T
T
----:-- / 7.55
T
T
----:-M / 7.55
DNF

0
T
T
----:-- / 7.55
00b

T (expected value)

4.99 (confidence rate)

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

T (expected value)

4.99 (confidence rate)

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

T (expected value)

4.99 (confidence rate)

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

T (expected value)

3.99 (confidence rate)

T
T
----:-- / 7.55
T
T
----:-- / 7.55
T
T
----:-M / 7.55
T
T
----:P- / 7.55
DNF

0
02b

T (expected value)

4.99 (confidence rate)

T
T
----:-- / 7.55
T
T
----:-- / 7.55
T
T
----:-M / 7.55
T
T
----:P- / 7.55
T
T
----:-- / 7.55
05a

T (expected value)

2.99 (confidence rate)

T
T
----:-- / 7.55
T
T
----:P- / 7.55
T
T
----:-M / 7.55
DNF

0
DNF

0
05b

T (expected value)

3.99 (confidence rate)

T
T
----:-- / 7.55
T
T
----:-- / 7.55
T
T
----:-M / 7.55
T
T
----:P- / 7.55
DNF

0
10a

T (expected value)

3.99 (confidence rate)

T
T
----:-- / 7.55
T
T
----:-M / 7.55
T
T
----:-- / 7.55
T
T
----:P- / 7.55
DNF

0
10b

T (expected value)

3.99 (confidence rate)

T
T
----:-- / 7.55
T
T
----:-M / 7.55
T
T
----:-- / 7.55
T
T
----:P- / 7.55
DNF

0
20a

T (expected value)

3.99 (confidence rate)

T
T
----:-M / 7.55
T
T
----:-- / 7.55
T
T
----:-- / 7.55
T
T
----:P- / 7.55
DNF

0
20b

T (expected value)

3.99 (confidence rate)

T
T
----:-- / 7.55
T
T
----:-M / 7.55
T
T
----:-- / 7.55
T
T
----:P- / 7.55
DNF

0
30a

T (expected value)

3.99 (confidence rate)

T
T
----:-M / 7.55
T
T
----:-- / 7.55
T
T
----:-- / 7.55
T
T
----:P- / 7.55
DNF

0
30b

T (expected value)

3.99 (confidence rate)

T
T
----:-M / 7.55
T
T
----:-- / 7.55
T
T
----:-- / 7.55
T
T
----:P- / 7.55
DNF

0
40a

T (expected value)

3.99 (confidence rate)

T
T
----:-- / 7.55
T
T
----:-- / 7.55
T
T
----:-M / 7.55
T
T
----:P- / 7.55
DNF

0
40b

T (expected value)

3.99 (confidence rate)

T
T
----:-- / 7.55
T
T
----:-- / 7.55
T
T
----:-M / 7.55
T
T
----:P- / 7.55
DNF

0
50a

T (expected value)

3.99 (confidence rate)

T
T
----:-- / 7.55
T
T
----:-M / 7.55
T
T
----:-- / 7.55
T
T
----:P- / 7.55
DNF

0
50b

T (expected value)

3.99 (confidence rate)

T
T
----:-- / 7.55
T
T
----:-- / 7.55
T
T
----:-- / 7.55
T
T
----:PM / 7.55
DNF

0
60a

T (expected value)

3.99 (confidence rate)

T
T
----:-M / 7.55
T
T
----:-- / 7.55
T
T
----:-- / 7.55
T
T
----:P- / 7.55
DNF

0
60b

T (expected value)

3.99 (confidence rate)

T
T
----:-- / 7.55
T
T
----:-- / 7.55
T
T
----:-M / 7.55
T
T
----:P- / 7.55
DNF

0
DLCflexbar — P/T (135.70 pts max)
  GreatSPN ITS-Tools ITS-LoLa Tapaal smart
Score 9.69 96.90 96.90 116.27 0.00
fastest 0 0 0 12 0
smallest memory 0 3 4 5 0
2a

F (expected value)

3.99 (confidence rate)

F
T
----:-- / 9.69
F
T
----:-- / 9.69
F
T
----:-M / 9.69
F
T
----:P- / 9.69
DNF

0
2b

T (expected value)

3.00 (confidence rate)

DNF

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

0
3a

F (expected value)

3.00 (confidence rate)

CC

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

0
3b

T (expected value)

3.00 (confidence rate)

CC

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

0
4a

F (expected value)

3.00 (confidence rate)

CC

0
F
T
----:-M / 9.69
F
T
----:-- / 9.69
F
T
----:P- / 9.69
DNF

0
4b

T (expected value)

3.00 (confidence rate)

CC

0
T
T
----:-- / 9.69
T
T
----:-- / 9.69
T
T
----:PM / 9.69
DNF

0
5a

F (expected value)

3.00 (confidence rate)

CC

0
F
T
----:-- / 9.69
F
T
----:-M / 9.69
F
T
----:P- / 9.69
DNF

0
5b

T (expected value)

1 (confidence rate)

CC

0
DNF

0
DNF

0
T
T
----:PM / 9.69
DNF

0
6a

F (expected value)

3.00 (confidence rate)

CC

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

0
6b

T (expected value)

1 (confidence rate)

CC

0
DNF

0
DNF

0
T
T
----:PM / 9.69
DNF

0
7a

F (expected value)

3.00 (confidence rate)

CC

0
F
T
----:-M / 9.69
F
T
----:-- / 9.69
F
T
----:P- / 9.69
DNF

0
7b

? (expected value)

0 (confidence rate)

CC

0
DNF

0
DNF

0
CC

0
DNF

0
8a

F (expected value)

3.00 (confidence rate)

CC

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

0
8b

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
DNF

0
CC

0
DNF

0
DLCround — P/T (156.09 pts max)
  GreatSPN ITS-Tools ITS-LoLa Tapaal smart
Score 49.70 127.80 120.70 156.20 7.09
fastest 0 0 0 22 0
smallest memory 0 6 9 7 0
03a

F (expected value)

4.99 (confidence rate)

F
T
----:-- / 7.09
F
T
----:-- / 7.09
F
T
----:-M / 7.09
F
T
----:P- / 7.09
F
T
----:-- / 7.09
03b

T (expected value)

3.00 (confidence rate)

DNF

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

0
04a

F (expected value)

3.99 (confidence rate)

F
T
----:-- / 7.09
F
T
----:-- / 7.09
F
T
----:-M / 7.09
F
T
----:P- / 7.09
DNF

0
04b

T (expected value)

3.00 (confidence rate)

DNF

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

0
05a

F (expected value)

3.99 (confidence rate)

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

0
05b

T (expected value)

3.00 (confidence rate)

DNF

0
T
T
----:-- / 7.09
T
T
----:-- / 7.09
T
T
----:PM / 7.09
DNF

0
06a

F (expected value)

3.99 (confidence rate)

F
T
----:-- / 7.09
F
T
----:-M / 7.09
F
T
----:-- / 7.09
F
T
----:P- / 7.09
DNF

0
06b

T (expected value)

3.00 (confidence rate)

DNF

0
T
T
----:-- / 7.09
T
T
----:-- / 7.09
T
T
----:PM / 7.09
DNF

0
07a

F (expected value)

3.99 (confidence rate)

F
T
----:-- / 7.09
F
T
----:-- / 7.09
F
T
----:-M / 7.09
F
T
----:P- / 7.09
DNF

0
07b

T (expected value)

2.00 (confidence rate)

DNF

0
DNF

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

0
08a

F (expected value)

3.99 (confidence rate)

F
T
----:-- / 7.09
F
T
----:-- / 7.09
F
T
----:-M / 7.09
F
T
----:P- / 7.09
DNF

0
08b

T (expected value)

2.00 (confidence rate)

DNF

0
T
T
----:-M / 7.09
DNF

0
T
T
----:P- / 7.09
DNF

0
09a

F (expected value)

3.99 (confidence rate)

F
T
----:-- / 7.09
F
T
----:-- / 7.09
F
T
----:-M / 7.09
F
T
----:P- / 7.09
DNF

0
09b

T (expected value)

3.00 (confidence rate)

DNF

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

0
10a

F (expected value)

3.00 (confidence rate)

CC

0
F
T
----:-M / 7.09
F
T
----:-- / 7.09
F
T
----:P- / 7.09
DNF

0
10b

T (expected value)

1 (confidence rate)

DNF

0
DNF

0
DNF

0
T
T
----:PM / 7.09
DNF

0
11a

F (expected value)

3.00 (confidence rate)

CC

0
F
T
----:-- / 7.09
F
T
----:-M / 7.09
F
T
----:P- / 7.09
DNF

0
11b

T (expected value)

1 (confidence rate)

DNF

0
DNF

0
DNF

0
T
T
----:PM / 7.09
DNF

0
12a

F (expected value)

3.00 (confidence rate)

CC

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

0
12b

T (expected value)

2.00 (confidence rate)

CC

0
T
T
----:-M / 7.09
DNF

0
T
T
----:P- / 7.09
DNF

0
13a

F (expected value)

3.00 (confidence rate)

CC

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

0
13b

T (expected value)

1 (confidence rate)

CC

0
DNF

0
DNF

0
T
T
----:PM / 7.09
DNF

0
DLCshifumi — P/T (125.50 pts max)
  GreatSPN ITS-Tools ITS-LoLa Tapaal smart
Score 25.09 100.40 100.40 100.40 0.00
fastest 0 1 0 7 0
smallest memory 0 6 2 0 0
2a

F (expected value)

3.99 (confidence rate)

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

0
2b

T (expected value)

3.00 (confidence rate)

DNF

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

0
3a

F (expected value)

3.99 (confidence rate)

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

0
3b

T (expected value)

3.00 (confidence rate)

CC

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

0
4a

F (expected value)

3.00 (confidence rate)

CC

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

0
4b

T (expected value)

3.00 (confidence rate)

CC

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

0
5a

F (expected value)

3.00 (confidence rate)

CC

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

0
5b

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNF

0
CC

0
DNF

0
6a

F (expected value)

3.00 (confidence rate)

CC

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

0
6b

? (expected value)

0 (confidence rate)

CC

0
DNF

0
DNF

0
CC

0
DNF

0
DNAwalker — P/T (145.90 pts max)
  GreatSPN ITS-Tools ITS-LoLa Tapaal smart
Score 137.87 145.98 113.54 113.54 -8.06
fastest 8 0 0 10 0
smallest memory 0 10 4 4 0
01track12Block1

T (expected value)

4.99 (confidence rate)

T
T
----:-- / 8.11
T
T
----:-- / 8.11
T
T
----:-- / 8.11
T
T
----:PM / 8.11
T
T
----:-- / 8.11
02track12Block2

T (expected value)

4.99 (confidence rate)

T
T
----:-- / 8.11
T
T
----:-- / 8.11
T
T
----:-M / 8.11
T
T
----:P- / 8.11
T
T
----:-- / 8.11
03track12BlockBoth

T (expected value)

4.99 (confidence rate)

T
T
----:-- / 8.11
T
T
----:-- / 8.11
T
T
----:-- / 8.11
T
T
----:PM / 8.11
T
T
----:-- / 8.11
04track28LL

T (expected value)

4.99 (confidence rate)

T
T
----:-- / 8.11
T
T
----:-M / 8.11
T
T
----:-- / 8.11
T
T
----:P- / 8.11
T
T
----:-- / 8.11
05track28LR

T (expected value)

4.99 (confidence rate)

T
T
----:-- / 8.11
T
T
----:-- / 8.11
T
T
----:-M / 8.11
T
T
----:P- / 8.11
T
T
----:-- / 8.11
06track28RL

T (expected value)

4.99 (confidence rate)

T
T
----:-- / 8.11
T
T
----:-- / 8.11
T
T
----:-M / 8.11
T
T
----:P- / 8.11
T
T
----:-- / 8.11
07track28RR

T (expected value)

4.99 (confidence rate)

T
T
----:-- / 8.11
T
T
----:-M / 8.11
T
T
----:-- / 8.11
T
T
----:P- / 8.11
T
T
----:-- / 8.11
08ringLL

F (expected value)

3.99 (confidence rate)

F
T
----:P- / 8.11
F
T
----:-- / 8.11
F
T
----:-- / 8.11
F
T
----:-M / 8.11
T
X
V---:-- / -16.20
09ringLR

F (expected value)

3.99 (confidence rate)

F
T
----:P- / 8.11
F
T
----:-M / 8.11
F
T
----:-- / 8.11
F
T
----:-- / 8.11
T
X
V---:-- / -16.20
10ringRL

F (expected value)

3.99 (confidence rate)

F
T
----:P- / 8.11
F
T
----:-M / 8.11
F
T
----:-- / 8.11
F
T
----:-- / 8.11
T
X
V---:-- / -16.20
11ringRR

F (expected value)

3.99 (confidence rate)

F
T
----:P- / 8.11
F
T
----:-M / 8.11
F
T
----:-- / 8.11
F
T
----:-- / 8.11
T
X
V---:-- / -16.20
12ringLLLarge

F (expected value)

1.99 (confidence rate)

F
T
----:P- / 8.11
F
T
----:-M / 8.11
DNF

0
CC

0
CC

0
13ringRLLarge

F (expected value)

1.99 (confidence rate)

F
T
----:P- / 8.11
F
T
----:-M / 8.11
DNF

0
CC

0
CC

0
14ringLRLarge

F (expected value)

1.99 (confidence rate)

F
T
----:P- / 8.11
F
T
----:-M / 8.11
DNF

0
CC

0
CC

0
15ringRRLarge

F (expected value)

1.99 (confidence rate)

F
T
----:P- / 8.11
F
T
----:-M / 8.11
DNF

0
CC

0
CC

0
16redondantChoiceR

T (expected value)

3.99 (confidence rate)

T
T
----:-- / 8.11
T
T
----:-M / 8.11
T
T
----:-- / 8.11
T
T
----:P- / 8.11
CC

0
17redondantChoiceL

T (expected value)

3.99 (confidence rate)

T
T
----:-- / 8.11
T
T
----:-- / 8.11
T
T
----:-M / 8.11
T
T
----:P- / 8.11
CC

0
18lozangeBlock

T (expected value)

3.00 (confidence rate)

DNF

0
T
T
----:-- / 8.11
T
T
----:-- / 8.11
T
T
----:PM / 8.11
CC

0
DatabaseWithMutex — Colored (62.75 pts max)
  GreatSPN ITS-Tools ITS-LoLa Tapaal smart
Score 25.09 62.75 62.75 25.09 0.00
fastest 0 3 0 2 0
smallest memory 0 3 1 1 0
02

F (expected value)

3.99 (confidence rate)

F
T
----:-- / 12.55
F
T
----:-M / 12.55
F
T
----:-- / 12.55
F
T
----:P- / 12.55
DNC
04

F (expected value)

3.99 (confidence rate)

F
T
----:-- / 12.55
F
T
----:-- / 12.55
F
T
----:-- / 12.55
F
T
----:PM / 12.55
DNC
10

F (expected value)

2.00 (confidence rate)

DNF

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

0
DNC
20

F (expected value)

2.00 (confidence rate)

DNF

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

0
DNC
40

F (expected value)

2.00 (confidence rate)

CC

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

0
DNC
DatabaseWithMutex — P/T (62.75 pts max)
  GreatSPN ITS-Tools ITS-LoLa Tapaal smart
Score 25.09 62.75 62.75 25.09 12.55
fastest 1 3 0 1 0
smallest memory 0 0 5 0 0
02

F (expected value)

4.99 (confidence rate)

F
T
----:P- / 12.55
F
T
----:-- / 12.55
F
T
----:-M / 12.55
F
T
----:-- / 12.55
F
T
----:-- / 12.55
04

F (expected value)

3.99 (confidence rate)

F
T
----:-- / 12.55
F
T
----:-- / 12.55
F
T
----:-M / 12.55
F
T
----:P- / 12.55
DNF

0
10

F (expected value)

2.00 (confidence rate)

DNF

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

0
DNF

0
20

F (expected value)

2.00 (confidence rate)

DNF

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

0
DNF

0
40

F (expected value)

2.00 (confidence rate)

CC

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

0
DNF

0
Dekker — P/T (115.30 pts max)
  GreatSPN ITS-Tools ITS-LoLa Tapaal smart
Score 96.09 115.31 115.31 76.88 19.22
fastest 2 1 0 3 0
smallest memory 0 2 4 0 0
010

F (expected value)

4.99 (confidence rate)

F
T
----:-- / 19.22
F
T
----:-- / 19.22
F
T
----:-M / 19.22
F
T
----:P- / 19.22
F
T
----:-- / 19.22
015

F (expected value)

3.99 (confidence rate)

F
T
----:-- / 19.22
F
T
----:-- / 19.22
F
T
----:-M / 19.22
F
T
----:P- / 19.22
DNF

0
020

F (expected value)

3.99 (confidence rate)

F
T
----:-- / 19.22
F
T
----:-- / 19.22
F
T
----:-M / 19.22
F
T
----:P- / 19.22
DNF

0
050

F (expected value)

3.99 (confidence rate)

F
T
----:P- / 19.22
F
T
----:-M / 19.22
F
T
----:-- / 19.22
F
T
----:-- / 19.22
DNF

0
100

F (expected value)

2.99 (confidence rate)

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

0
DNF

0
200

F (expected value)

2.00 (confidence rate)

CC

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

0
DNF

0
Diffusion2D — P/T (173.95 pts max)
  GreatSPN ITS-Tools ITS-LoLa Tapaal smart
Score 90.00 174.00 174.00 174.00 42.00
fastest 1 0 0 28 0
smallest memory 7 6 6 10 0
D05N010

F (expected value)

4.99 (confidence rate)

F
T
----:PM / 6.00
F
T
----:-- / 6.00
F
T
----:-- / 6.00
F
T
----:-- / 6.00
F
T
----:-- / 6.00
D05N050

F (expected value)

4.99 (confidence rate)

F
T
----:-- / 6.00
F
T
----:-- / 6.00
F
T
----:-- / 6.00
F
T
----:PM / 6.00
F
T
----:-- / 6.00
D05N100

F (expected value)

3.99 (confidence rate)

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

0
D05N150

F (expected value)

3.99 (confidence rate)

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

0
D05N200

F (expected value)

3.99 (confidence rate)

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

0
D05N250

F (expected value)

3.99 (confidence rate)

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

0
D05N300

F (expected value)

3.99 (confidence rate)

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

0
D05N350

F (expected value)

3.00 (confidence rate)

DNF

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

0
D10N010

F (expected value)

4.99 (confidence rate)

F
T
----:-- / 6.00
F
T
----:-- / 6.00
F
T
----:-- / 6.00
F
T
----:PM / 6.00
F
T
----:-- / 6.00
D10N050

F (expected value)

3.99 (confidence rate)

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

0
D10N100

F (expected value)

3.99 (confidence rate)

F
T
----:-- / 6.00
F
T
----:-- / 6.00
F
T
----:-- / 6.00
F
T
----:PM / 6.00
CC

0
D10N150

F (expected value)

3.99 (confidence rate)

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

0
D10N200

F (expected value)

3.99 (confidence rate)

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

0
D20N010

F (expected value)

4.99 (confidence rate)

F
T
----:-- / 6.00
F
T
----:-- / 6.00
F
T
----:-- / 6.00
F
T
----:PM / 6.00
F
T
----:-- / 6.00
D20N050

F (expected value)

3.99 (confidence rate)

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

0
D20N100

F (expected value)

3.00 (confidence rate)

CC

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

0
D20N150

F (expected value)

3.00 (confidence rate)

CC

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

0
D30N010

F (expected value)

4.99 (confidence rate)

F
T
----:-- / 6.00
F
T
----:-- / 6.00
F
T
----:-- / 6.00
F
T
----:PM / 6.00
F
T
----:-- / 6.00
D30N050

F (expected value)

3.00 (confidence rate)

CC

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

0
D30N100

F (expected value)

3.00 (confidence rate)

CC

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

0
D30N150

F (expected value)

3.00 (confidence rate)

CC

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

0
D40N010

F (expected value)

4.00 (confidence rate)

CC

0
F
T
----:-M / 6.00
F
T
----:-- / 6.00
F
T
----:P- / 6.00
F
T
----:-- / 6.00
D40N050

F (expected value)

3.00 (confidence rate)

CC

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

0
D40N100

F (expected value)

3.00 (confidence rate)

CC

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

0
D40N150

F (expected value)

3.00 (confidence rate)

CC

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

0
D50N010

F (expected value)

4.00 (confidence rate)

CC

0
F
T
----:-- / 6.00
F
T
----:-- / 6.00
F
T
----:PM / 6.00
F
T
----:-- / 6.00
D50N050

F (expected value)

3.00 (confidence rate)

CC

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

0
D50N100

F (expected value)

3.00 (confidence rate)

CC

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

0
D50N150

F (expected value)

3.00 (confidence rate)

CC

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

0
DiscoveryGPU — P/T (151.00 pts max)
  GreatSPN ITS-Tools ITS-LoLa Tapaal smart
Score 151.00 151.00 151.00 151.00 30.20
fastest 0 0 0 20 0
smallest memory 3 8 6 3 0
06a

T (expected value)

3.99 (confidence rate)

T
T
----:-- / 7.55
T
T
----:-- / 7.55
T
T
----:-M / 7.55
T
T
----:P- / 7.55
CC

0
06b

T (expected value)

3.99 (confidence rate)

T
T
----:-- / 7.55
T
T
----:-M / 7.55
T
T
----:-- / 7.55
T
T
----:P- / 7.55
DNF

0
07a

T (expected value)

4.99 (confidence rate)

T
T
----:-- / 7.55
T
T
----:-M / 7.55
T
T
----:-- / 7.55
T
T
----:P- / 7.55
T
T
----:-- / 7.55
07b

T (expected value)

3.99 (confidence rate)

T
T
----:-- / 7.55
T
T
----:-M / 7.55
T
T
----:-- / 7.55
T
T
----:P- / 7.55
DNF

0
08a

T (expected value)

4.99 (confidence rate)

T
T
----:-- / 7.55
T
T
----:-- / 7.55
T
T
----:-- / 7.55
T
T
----:PM / 7.55
T
T
----:-- / 7.55
08b

T (expected value)

3.99 (confidence rate)

T
T
----:-- / 7.55
T
T
----:-M / 7.55
T
T
----:-- / 7.55
T
T
----:P- / 7.55
DNF

0
09a

T (expected value)

4.99 (confidence rate)

T
T
----:-M / 7.55
T
T
----:-- / 7.55
T
T
----:-- / 7.55
T
T
----:P- / 7.55
T
T
----:-- / 7.55
09b

T (expected value)

3.99 (confidence rate)

T
T
----:-- / 7.55
T
T
----:-- / 7.55
T
T
----:-M / 7.55
T
T
----:P- / 7.55
DNF

0
10a

T (expected value)

4.99 (confidence rate)

T
T
----:-- / 7.55
T
T
----:-M / 7.55
T
T
----:-- / 7.55
T
T
----:P- / 7.55
T
T
----:-- / 7.55
10b

T (expected value)

3.99 (confidence rate)

T
T
----:-- / 7.55
T
T
----:-- / 7.55
T
T
----:-M / 7.55
T
T
----:P- / 7.55
DNF

0
11a

T (expected value)

3.99 (confidence rate)

T
T
----:-- / 7.55
T
T
----:-- / 7.55
T
T
----:-- / 7.55
T
T
----:PM / 7.55
DNF

0
11b

T (expected value)

3.99 (confidence rate)

T
T
----:-- / 7.55
T
T
----:-M / 7.55
T
T
----:-- / 7.55
T
T
----:P- / 7.55
DNF

0
12a

T (expected value)

3.99 (confidence rate)

T
T
----:-- / 7.55
T
T
----:-- / 7.55
T
T
----:-M / 7.55
T
T
----:P- / 7.55
DNF

0
12b

T (expected value)

3.99 (confidence rate)

T
T
----:-- / 7.55
T
T
----:-- / 7.55
T
T
----:-M / 7.55
T
T
----:P- / 7.55
DNF

0
13a

T (expected value)

3.99 (confidence rate)

T
T
----:-- / 7.55
T
T
----:-M / 7.55
T
T
----:-- / 7.55
T
T
----:P- / 7.55
DNF

0
13b

T (expected value)

3.99 (confidence rate)

T
T
----:-- / 7.55
T
T
----:-- / 7.55
T
T
----:-M / 7.55
T
T
----:P- / 7.55
DNF

0
14a

T (expected value)

3.99 (confidence rate)

T
T
----:-M / 7.55
T
T
----:-- / 7.55
T
T
----:-- / 7.55
T
T
----:P- / 7.55
DNF

0
14b

T (expected value)

3.99 (confidence rate)

T
T
----:-M / 7.55
T
T
----:-- / 7.55
T
T
----:-- / 7.55
T
T
----:P- / 7.55
DNF

0
15a

T (expected value)

3.99 (confidence rate)

T
T
----:-- / 7.55
T
T
----:-- / 7.55
T
T
----:-- / 7.55
T
T
----:PM / 7.55
DNF

0
15b

T (expected value)

3.99 (confidence rate)

T
T
----:-- / 7.55
T
T
----:-M / 7.55
T
T
----:-- / 7.55
T
T
----:P- / 7.55
DNF

0
DoubleExponent — P/T (120.40 pts max)
  GreatSPN ITS-Tools ITS-LoLa Tapaal smart
Score 30.09 120.40 120.40 120.40 45.15
fastest 1 0 0 7 0
smallest memory 1 3 3 1 0
001

T (expected value)

4.99 (confidence rate)

T
T
----:P- / 15.05
T
T
----:-- / 15.05
T
T
----:-- / 15.05
T
T
----:-M / 15.05
T
T
----:-- / 15.05
002

T (expected value)

4.99 (confidence rate)

T
T
----:-M / 15.05
T
T
----:-- / 15.05
T
T
----:-- / 15.05
T
T
----:P- / 15.05
T
T
----:-- / 15.05
003

T (expected value)

4.00 (confidence rate)

CC

0
T
T
----:-M / 15.05
T
T
----:-- / 15.05
T
T
----:P- / 15.05
T
T
----:-- / 15.05
004

T (expected value)

3.00 (confidence rate)

CC

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

0
010

T (expected value)

3.00 (confidence rate)

DNF

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

0
020

T (expected value)

3.00 (confidence rate)

DNF

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

0
100

T (expected value)

3.00 (confidence rate)

DNF

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

0
200

T (expected value)

3.00 (confidence rate)

CC

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

0
DrinkVendingMachine — Colored (95.63 pts max)
  GreatSPN ITS-Tools ITS-LoLa Tapaal smart
Score 13.66 40.98 40.98 27.31 0.00
fastest 0 2 0 1 0
smallest memory 0 1 2 0 0
02

F (expected value)

3.99 (confidence rate)

F
T
----:-- / 13.66
F
T
----:-- / 13.66
F
T
----:-M / 13.66
F
T
----:P- / 13.66
DNC
10

F (expected value)

3.00 (confidence rate)

CC

0
F
T
----:P- / 13.66
F
T
----:-M / 13.66
F
T
----:-- / 13.66
DNC
16

F (expected value)

2.00 (confidence rate)

DNF

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

0
DNC
24

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
DNF

0
CC

0
DNC
48

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
DNF

0
CC

0
DNC
76

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
DNF

0
CC

0
DNC
98

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
DNF

0
CC

0
DNC
DrinkVendingMachine — P/T (27.31 pts max)
  GreatSPN ITS-Tools ITS-LoLa Tapaal smart
Score 13.66 27.31 27.31 27.31 13.66
fastest 1 1 0 0 0
smallest memory 0 0 1 1 0
02

F (expected value)

4.99 (confidence rate)

F
T
----:P- / 13.66
F
T
----:-- / 13.66
F
T
----:-M / 13.66
F
T
----:-- / 13.66
F
T
----:-- / 13.66
10

F (expected value)

3.00 (confidence rate)

CC

0
F
T
----:P- / 13.66
F
T
----:-- / 13.66
F
T
----:-M / 13.66
DNF

0
EGFr — P/T (107.65 pts max)
  GreatSPN ITS-Tools ITS-LoLa Tapaal smart
Score 107.63 107.63 107.63 35.88 35.88
fastest 2 0 0 1 0
smallest memory 0 2 1 0 0
02010

T (expected value)

4.99 (confidence rate)

T
T
----:-- / 35.88
T
T
----:-- / 35.88
T
T
----:-M / 35.88
T
T
----:P- / 35.88
T
T
----:-- / 35.88
10420

F (expected value)

2.99 (confidence rate)

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

0
DNF

0
10421

F (expected value)

2.99 (confidence rate)

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

0
DNF

0
ERK — P/T (115.30 pts max)
  GreatSPN ITS-Tools ITS-LoLa Tapaal smart
Score 76.88 115.31 115.31 115.31 38.44
fastest 2 0 0 4 0
smallest memory 1 1 4 0 0
000001

F (expected value)

4.99 (confidence rate)

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

F (expected value)

4.99 (confidence rate)

F
T
----:P- / 19.22
F
T
----:-M / 19.22
F
T
----:-- / 19.22
F
T
----:-- / 19.22
F
T
----:-- / 19.22
000100

F (expected value)

3.99 (confidence rate)

F
T
----:P- / 19.22
F
T
----:-- / 19.22
F
T
----:-M / 19.22
F
T
----:-- / 19.22
DNF

0
001000

F (expected value)

3.99 (confidence rate)

F
T
----:-- / 19.22
F
T
----:-- / 19.22
F
T
----:-M / 19.22
F
T
----:P- / 19.22
DNF

0
010000

F (expected value)

3.00 (confidence rate)

DNF

0
F
T
----:-- / 19.22
F
T
----:-M / 19.22