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

Introduction

Please find here the computed results for the OneSafe 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 OneSafe
  GreatSPN Tapaal smart
Total Points 11408.34 16740.29 6444.68

All «Surprise» models
 
  GreatSPN Tapaal smart
Total Points 4161.40 5469.52 3235.04
fastest 15 173 0
less memory 85 103 0
SatelliteMemory — P/T (451.00 pts max)
  GreatSPN Tapaal smart
Score 360.80 451.00 90.20
fastest 0 5 0
smallest memory 3 2 0
X00100Y0003

F (expected value)

2.99 (confidence rate)

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

F (expected value)

1.99 (confidence rate)

F
T
----:-- / 90.20
F
T
----:PM / 90.20
DNF

0
X01500Y0046

F (expected value)

1.99 (confidence rate)

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

0
X03000Y0094

F (expected value)

1.99 (confidence rate)

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

0
X65535Y2048

F (expected value)

1 (confidence rate)

DNF

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

0
ShieldIIPs — P/T (624.40 pts max)
  GreatSPN Tapaal smart
Score 312.40 596.40 198.80
fastest 0 21 0
smallest memory 8 13 0
001A

T (expected value)

2.99 (confidence rate)

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

T (expected value)

1.99 (confidence rate)

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

0
002A

T (expected value)

2.99 (confidence rate)

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

T (expected value)

2.99 (confidence rate)

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

T (expected value)

2.99 (confidence rate)

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

T (expected value)

2.99 (confidence rate)

T
T
----:-- / 28.40
T
T
----:PM / 28.40
T
T
----:-- / 28.40
004A

T (expected value)

2.99 (confidence rate)

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

T (expected value)

1.99 (confidence rate)

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

0
005A

T (expected value)

2.99 (confidence rate)

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

T (expected value)

1.99 (confidence rate)

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

0
010A

T (expected value)

1.99 (confidence rate)

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

0
010B

T (expected value)

1 (confidence rate)

DNF

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

0
020A

T (expected value)

1 (confidence rate)

DNF

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

0
020B

T (expected value)

1 (confidence rate)

DNF

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

0
030A

T (expected value)

1 (confidence rate)

DNF

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

0
030B

T (expected value)

1 (confidence rate)

DNF

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

0
040A

T (expected value)

1 (confidence rate)

DNF

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

0
040B

T (expected value)

1 (confidence rate)

DNF

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

0
050A

T (expected value)

1 (confidence rate)

DNF

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

0
050B

T (expected value)

1 (confidence rate)

DNF

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

0
100A

T (expected value)

1 (confidence rate)

DNF

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

0
100B

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
ShieldIIPt — P/T (624.40 pts max)
  GreatSPN Tapaal smart
Score 482.80 596.40 454.40
fastest 1 20 0
smallest memory 10 11 0
001A

T (expected value)

2.99 (confidence rate)

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

T (expected value)

2.99 (confidence rate)

T
T
----:-- / 28.40
T
T
----:PM / 28.40
T
T
----:-- / 28.40
002A

T (expected value)

2.99 (confidence rate)

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

T (expected value)

2.99 (confidence rate)

T
T
----:-- / 28.40
T
T
----:PM / 28.40
T
T
----:-- / 28.40
003A

T (expected value)

2.99 (confidence rate)

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

T (expected value)

2.99 (confidence rate)

T
T
----:-- / 28.40
T
T
----:PM / 28.40
T
T
----:-- / 28.40
004A

T (expected value)

2.99 (confidence rate)

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

T (expected value)

2.99 (confidence rate)

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

T (expected value)

2.99 (confidence rate)

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

T (expected value)

2.99 (confidence rate)

T
T
----:-- / 28.40
T
T
----:PM / 28.40
T
T
----:-- / 28.40
010A

T (expected value)

2.99 (confidence rate)

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

T (expected value)

1.99 (confidence rate)

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

0
020A

T (expected value)

2.99 (confidence rate)

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

T (expected value)

1 (confidence rate)

DNF

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

0
030A

T (expected value)

2.99 (confidence rate)

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

T (expected value)

1 (confidence rate)

DNF

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

0
040A

T (expected value)

2.99 (confidence rate)

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

T (expected value)

1 (confidence rate)

DNF

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

0
050A

T (expected value)

2.99 (confidence rate)

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

T (expected value)

1 (confidence rate)

DNF

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

0
100A

T (expected value)

2.99 (confidence rate)

T
T
----:PM / 28.40
T
T
----:-- / 28.40
T
T
----:-- / 28.40
100B

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
ShieldPPPs — P/T (624.40 pts max)
  GreatSPN Tapaal smart
Score 255.59 596.40 198.80
fastest 0 21 0
smallest memory 6 15 0
001A

T (expected value)

2.99 (confidence rate)

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

T (expected value)

2.99 (confidence rate)

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

T (expected value)

2.99 (confidence rate)

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

T (expected value)

2.99 (confidence rate)

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

T (expected value)

2.99 (confidence rate)

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

T (expected value)

1.99 (confidence rate)

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

0
004A

T (expected value)

2.99 (confidence rate)

T
T
----:-- / 28.40
T
T
----:PM / 28.40
T
T
----:-- / 28.40
004B

T (expected value)

1.99 (confidence rate)

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

0
005A

T (expected value)

2.99 (confidence rate)

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

T (expected value)

1 (confidence rate)

DNF

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

0
010A

T (expected value)

1 (confidence rate)

DNF

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

0
010B

T (expected value)

1 (confidence rate)

DNF

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

0
020A

T (expected value)

1 (confidence rate)

DNF

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

0
020B

T (expected value)

1 (confidence rate)

DNF

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

0
030A

T (expected value)

1 (confidence rate)

DNF

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

0
030B

T (expected value)

1 (confidence rate)

DNF

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

0
040A

T (expected value)

1 (confidence rate)

DNF

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

0
040B

T (expected value)

1 (confidence rate)

DNF

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

0
050A

T (expected value)

1 (confidence rate)

DNF

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

0
050B

T (expected value)

1 (confidence rate)

DNF

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

0
100A

T (expected value)

1 (confidence rate)

DNF

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

0
100B

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
ShieldPPPt — P/T (624.40 pts max)
  GreatSPN Tapaal smart
Score 454.40 568.00 426.00
fastest 3 17 0
smallest memory 11 9 0
001A

T (expected value)

2.99 (confidence rate)

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

T (expected value)

2.99 (confidence rate)

T
T
----:-- / 28.40
T
T
----:PM / 28.40
T
T
----:-- / 28.40
002A

T (expected value)

2.99 (confidence rate)

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

T (expected value)

2.99 (confidence rate)

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

T (expected value)

2.99 (confidence rate)

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

T (expected value)

2.99 (confidence rate)

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

T (expected value)

2.99 (confidence rate)

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

T (expected value)

2.99 (confidence rate)

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

T (expected value)

2.99 (confidence rate)

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

T (expected value)

1.99 (confidence rate)

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

0
010A

T (expected value)

2.99 (confidence rate)

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

T (expected value)

1 (confidence rate)

DNF

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

0
020A

T (expected value)

2.99 (confidence rate)

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

T (expected value)

1 (confidence rate)

DNF

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

0
030A

T (expected value)

2.99 (confidence rate)

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

T (expected value)

1 (confidence rate)

DNF

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

0
040A

T (expected value)

2.99 (confidence rate)

T
T
----:PM / 28.40
T
T
----:-- / 28.40
T
T
----:-- / 28.40
040B

T (expected value)

1 (confidence rate)

DNF

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

0
050A

T (expected value)

2.99 (confidence rate)

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

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
100A

T (expected value)

2.99 (confidence rate)

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

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNF

0
ShieldRVs — P/T (624.40 pts max)
  GreatSPN Tapaal smart
Score 624.80 624.80 511.20
fastest 4 18 0
smallest memory 12 10 0
001A

T (expected value)

2.99 (confidence rate)

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

T (expected value)

2.99 (confidence rate)

T
T
----:-- / 28.40
T
T
----:PM / 28.40
T
T
----:-- / 28.40
002A

T (expected value)

2.99 (confidence rate)

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

T (expected value)

2.99 (confidence rate)

T
T
----:-- / 28.40
T
T
----:PM / 28.40
T
T
----:-- / 28.40
003A

T (expected value)

2.99 (confidence rate)

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

T (expected value)

2.99 (confidence rate)

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

T (expected value)

2.99 (confidence rate)

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

T (expected value)

2.99 (confidence rate)

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

T (expected value)

2.99 (confidence rate)

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

T (expected value)

2.99 (confidence rate)

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

T (expected value)

2.99 (confidence rate)

T
T
----:-- / 28.40
T
T
----:PM / 28.40
T
T
----:-- / 28.40
010B

T (expected value)

2.99 (confidence rate)

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

T (expected value)

2.99 (confidence rate)

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

T (expected value)

2.99 (confidence rate)

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

T (expected value)

2.99 (confidence rate)

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

T (expected value)

1.99 (confidence rate)

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

0
040A

T (expected value)

2.99 (confidence rate)

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

T (expected value)

1.99 (confidence rate)

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

0
050A

T (expected value)

2.99 (confidence rate)

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

T (expected value)

1.99 (confidence rate)

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

0
100A

T (expected value)

2.99 (confidence rate)

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

T (expected value)

1.99 (confidence rate)

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

0
ShieldRVt — P/T (624.40 pts max)
  GreatSPN Tapaal smart
Score 539.59 596.40 511.20
fastest 0 21 0
smallest memory 11 10 0
001A

T (expected value)

2.99 (confidence rate)

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

T (expected value)

2.99 (confidence rate)

T
T
----:-- / 28.40
T
T
----:PM / 28.40
T
T
----:-- / 28.40
002A

T (expected value)

2.99 (confidence rate)

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

T (expected value)

2.99 (confidence rate)

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

T (expected value)

2.99 (confidence rate)

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

T (expected value)

2.99 (confidence rate)

T
T
----:-- / 28.40
T
T
----:PM / 28.40
T
T
----:-- / 28.40
004A

T (expected value)

2.99 (confidence rate)

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

T (expected value)

2.99 (confidence rate)

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

T (expected value)

2.99 (confidence rate)

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

T (expected value)

2.99 (confidence rate)

T
T
----:-- / 28.40
T
T
----:PM / 28.40
T
T
----:-- / 28.40
010A

T (expected value)

2.99 (confidence rate)

T
T
----:-- / 28.40
T
T
----:PM / 28.40
T
T
----:-- / 28.40
010B

T (expected value)

2.99 (confidence rate)

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

T (expected value)

2.99 (confidence rate)

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

T (expected value)

2.99 (confidence rate)

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

T (expected value)

2.99 (confidence rate)

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

T (expected value)

1.99 (confidence rate)

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

0
040A

T (expected value)

2.99 (confidence rate)

T
T
----:-- / 28.40
T
T
----:PM / 28.40
T
T
----:-- / 28.40
040B

T (expected value)

1 (confidence rate)

DNF

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

0
050A

T (expected value)

2.99 (confidence rate)

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

T (expected value)

1 (confidence rate)

DNF

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

0
100A

T (expected value)

2.99 (confidence rate)

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

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
SmartHome — P/T (593.80 pts max)
  GreatSPN Tapaal smart
Score 593.55 593.55 468.59
fastest 0 19 0
smallest memory 11 8 0
01

T (expected value)

1.99 (confidence rate)

T
T
----:-- / 31.23
T
T
----:PM / 31.23
CC

0
02

T (expected value)

2.99 (confidence rate)

T
T
----:-M / 31.23
T
T
----:P- / 31.23
T
T
----:-- / 31.23
03

T (expected value)

2.99 (confidence rate)

T
T
----:-M / 31.23
T
T
----:P- / 31.23
T
T
----:-- / 31.23
04

T (expected value)

2.99 (confidence rate)

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

T (expected value)

2.99 (confidence rate)

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

T (expected value)

2.99 (confidence rate)

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

T (expected value)

2.99 (confidence rate)

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

T (expected value)

2.99 (confidence rate)

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

T (expected value)

2.99 (confidence rate)

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

T (expected value)

2.99 (confidence rate)

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

T (expected value)

2.99 (confidence rate)

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

T (expected value)

2.99 (confidence rate)

T
T
----:-M / 31.23
T
T
----:P- / 31.23
T
T
----:-- / 31.23
13

T (expected value)

2.99 (confidence rate)

T
T
----:-- / 31.23
T
T
----:PM / 31.23
T
T
----:-- / 31.23
14

T (expected value)

2.99 (confidence rate)

T
T
----:-- / 31.23
T
T
----:PM / 31.23
T
T
----:-- / 31.23
15

T (expected value)

2.99 (confidence rate)

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

T (expected value)

2.99 (confidence rate)

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

T (expected value)

1.99 (confidence rate)

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

0
18

T (expected value)

1.99 (confidence rate)

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

0
19

T (expected value)

1.99 (confidence rate)

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

0
Sudoku — Colored (404.00 pts max)
  GreatSPN Tapaal smart
Score 121.20 0.00 0.00
fastest 6 0 0
smallest memory 6 0 0
AN01

T (expected value)

0.99 (confidence rate)

T
T
----:PM / 20.20
CC

0
DNC
AN02

F (expected value)

0.99 (confidence rate)

F
T
----:PM / 20.20
CC

0
DNC
AN03

F (expected value)

0.99 (confidence rate)

F
T
----:PM / 20.20
CC

0
DNC
AN04

F (expected value)

0.99 (confidence rate)

F
T
----:PM / 20.20
CC

0
DNC
AN05

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNC
AN06

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNC
AN07

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNC
AN08

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNC
AN09

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNC
AN10

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNC
AN11

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNC
AN12

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNC
AN13

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNC
AN14

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNC
AN15

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNC
AN16

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNC
BN01

T (expected value)

0.99 (confidence rate)

T
T
----:PM / 20.20
CC

0
DNC
BN04

F (expected value)

0.99 (confidence rate)

F
T
----:PM / 20.20
CC

0
DNC
BN09

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNC
BN16

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNC
Sudoku — P/T (404.00 pts max)
  GreatSPN Tapaal smart
Score 121.20 404.00 80.80
fastest 0 20 0
smallest memory 3 17 0
AN01

T (expected value)

2.99 (confidence rate)

T
T
----:-- / 20.20
T
T
----:PM / 20.20
T
T
----:-- / 20.20
AN02

T (expected value)

2.99 (confidence rate)

T
T
----:-- / 20.20
T
T
----:PM / 20.20
T
T
----:-- / 20.20
AN03

T (expected value)

2.99 (confidence rate)

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

T (expected value)

1.99 (confidence rate)

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

0
AN05

T (expected value)

1 (confidence rate)

DNF

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

0
AN06

T (expected value)

1 (confidence rate)

DNF

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

0
AN07

T (expected value)

1 (confidence rate)

DNF

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

0
AN08

T (expected value)

1 (confidence rate)

DNF

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

0
AN09

T (expected value)

1 (confidence rate)

DNF

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

0
AN10

T (expected value)

1 (confidence rate)

DNF

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

0
AN11

T (expected value)

1 (confidence rate)

DNF

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

0
AN12

T (expected value)

1 (confidence rate)

DNF

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

0
AN13

T (expected value)

1 (confidence rate)

DNF

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

0
AN14

T (expected value)

1 (confidence rate)

DNF

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

0
AN15

T (expected value)

1 (confidence rate)

DNF

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

0
AN16

T (expected value)

1 (confidence rate)

DNF

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

0
BN01

T (expected value)

2.99 (confidence rate)

T
T
----:-- / 20.20
T
T
----:PM / 20.20
T
T
----:-- / 20.20
BN04

T (expected value)

1.99 (confidence rate)

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

0
BN09

T (expected value)

1 (confidence rate)

DNF

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

0
BN16

T (expected value)

1 (confidence rate)

CC

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

0
ViralEpidemic — P/T (553.00 pts max)
  GreatSPN Tapaal smart
Score 295.04 442.55 295.04
fastest 1 11 0
smallest memory 4 8 0
S02D1C1A10

T (expected value)

1 (confidence rate)

CC

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

0
S02D1C1A12

? (expected value)

0 (confidence rate)

CC

0
CC

0
CC

0
S03D1C1A02

T (expected value)

2.99 (confidence rate)

T
T
----:PM / 36.88
T
T
----:-- / 36.88
T
T
----:-- / 36.88
S03D1C1A04

T (expected value)

2.99 (confidence rate)

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

T (expected value)

2.99 (confidence rate)

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

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNF

0
S04D1C1A02

T (expected value)

2.99 (confidence rate)

T
T
----:-- / 36.88
T
T
----:PM / 36.88
T
T
----:-- / 36.88
S04D1C1A03

T (expected value)

2.99 (confidence rate)

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

T (expected value)

2.99 (confidence rate)

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

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNF

0
S08D1C2A02

F (expected value)

2.99 (confidence rate)

F
T
----:-- / 36.88
F
T
----:PM / 36.88
F
T
----:-- / 36.88
S08D1C2A04

F (expected value)

1 (confidence rate)

CC

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

0
S16D2C4A01

F (expected value)

2.99 (confidence rate)

F
T
----:-- / 36.88
F
T
----:PM / 36.88
F
T
----:-- / 36.88
S16D2C4A02

F (expected value)

1 (confidence rate)

CC

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

0
S16D2C4A03

F (expected value)

1 (confidence rate)

CC

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

0

All «Known» models
 
  GreatSPN Tapaal smart
Total Points 7246.95 11270.77 3209.63
fastest 63 901 0
less memory 295 666 3
ARMCacheCoherence — P/T (102.55 pts max)
  GreatSPN Tapaal smart
Score 102.55 102.55 0.00
fastest 0 1 0
smallest memory 1 0 0
none

T (expected value)

1.99 (confidence rate)

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

0
ASLink — P/T (151.00 pts max)
  GreatSPN Tapaal smart
Score 22.65 128.34 7.55
fastest 0 17 0
smallest memory 3 14 0
01a

T (expected value)

2.99 (confidence rate)

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

T (expected value)

1 (confidence rate)

DNF

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

0
02a

T (expected value)

1.99 (confidence rate)

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

0
02b

T (expected value)

1 (confidence rate)

DNF

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

0
03a

T (expected value)

1.99 (confidence rate)

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

0
03b

T (expected value)

1 (confidence rate)

DNF

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

0
04a

T (expected value)

1 (confidence rate)

DNF

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

0
04b

T (expected value)

1 (confidence rate)

DNF

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

0
05a

T (expected value)

1 (confidence rate)

DNF

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

0
05b

T (expected value)

1 (confidence rate)

DNF

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

0
06a

T (expected value)

1 (confidence rate)

DNF

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

0
06b

T (expected value)

1 (confidence rate)

DNF

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

0
07a

T (expected value)

1 (confidence rate)

DNF

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

0
07b

T (expected value)

1 (confidence rate)

DNF

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

0
08a

T (expected value)

1 (confidence rate)

DNF

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

0
08b

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
09a

T (expected value)

1 (confidence rate)

DNF

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

0
09b

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
10a

T (expected value)

1 (confidence rate)

DNF

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

0
10b

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
AirplaneLD — Colored (72.95 pts max)
  GreatSPN Tapaal smart
Score 48.66 72.98 0.00
fastest 0 9 0
smallest memory 2 7 0
0010

F (expected value)

1.99 (confidence rate)

F
T
----:-- / 8.11
F
T
----:PM / 8.11
DNC
0020

F (expected value)

1.99 (confidence rate)

F
T
----:-- / 8.11
F
T
----:PM / 8.11
DNC
0050

F (expected value)

1.99 (confidence rate)

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

F (expected value)

1.99 (confidence rate)

F
T
----:-- / 8.11
F
T
----:PM / 8.11
DNC
0200

F (expected value)

1.99 (confidence rate)

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

F (expected value)

1.99 (confidence rate)

F
T
----:-- / 8.11
F
T
----:PM / 8.11
DNC
1000

F (expected value)

1 (confidence rate)

CC

0
F
T
----:PM / 8.11
DNC
2000

F (expected value)

1 (confidence rate)

CC

0
F
T
----:PM / 8.11
DNC
4000

F (expected value)

1 (confidence rate)

CC

0
F
T
----:PM / 8.11
DNC
AirplaneLD — P/T (72.95 pts max)
  GreatSPN Tapaal smart
Score 48.66 72.98 32.44
fastest 0 9 0
smallest memory 4 5 0
0010

T (expected value)

2.99 (confidence rate)

T
T
----:-- / 8.11
T
T
----:PM / 8.11
T
T
----:-- / 8.11
0020

T (expected value)

2.99 (confidence rate)

T
T
----:-- / 8.11
T
T
----:PM / 8.11
T
T
----:-- / 8.11
0050

T (expected value)

2.99 (confidence rate)

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

T (expected value)

2.99 (confidence rate)

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

T (expected value)

1.99 (confidence rate)

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

0
0500

T (expected value)

1.99 (confidence rate)

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

0
1000

T (expected value)

1 (confidence rate)

CC

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

0
2000

T (expected value)

1 (confidence rate)

CC

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

0
4000

T (expected value)

1 (confidence rate)

CC

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

0
Angiogenesis — P/T (117.84 pts max)
  GreatSPN Tapaal smart
Score 101.04 117.88 33.68
fastest 0 7 0
smallest memory 3 4 0
01

T (expected value)

2.99 (confidence rate)

T
T
----:-- / 16.84
T
T
----:PM / 16.84
T
T
----:-- / 16.84
05

F (expected value)

2.99 (confidence rate)

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

F (expected value)

1.99 (confidence rate)

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

0
15

F (expected value)

1.99 (confidence rate)

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

0
20

F (expected value)

1.99 (confidence rate)

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

0
25

F (expected value)

1.99 (confidence rate)

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

0
50

F (expected value)

1 (confidence rate)

DNF

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

0
AutoFlight — P/T (151.00 pts max)
  GreatSPN Tapaal smart
Score 120.80 143.45 113.25
fastest 0 19 0
smallest memory 12 7 0
01a

T (expected value)

2.99 (confidence rate)

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

T (expected value)

2.99 (confidence rate)

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

T (expected value)

2.99 (confidence rate)

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

T (expected value)

2.99 (confidence rate)

T
T
----:-- / 7.55
T
T
----:PM / 7.55
T
T
----:-- / 7.55
03a

T (expected value)

2.99 (confidence rate)

T
T
----:-- / 7.55
T
T
----:PM / 7.55
T
T
----:-- / 7.55
03b

T (expected value)

2.99 (confidence rate)

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

T (expected value)

2.99 (confidence rate)

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

T (expected value)

2.99 (confidence rate)

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

T (expected value)

2.99 (confidence rate)

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

T (expected value)

2.99 (confidence rate)

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

T (expected value)

2.99 (confidence rate)

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

T (expected value)

1.99 (confidence rate)

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

0
12a

T (expected value)

2.99 (confidence rate)

T
T
----:-- / 7.55
T
T
----:PM / 7.55
T
T
----:-- / 7.55
12b

T (expected value)

1 (confidence rate)

DNF

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

0
24a

T (expected value)

2.99 (confidence rate)

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

T (expected value)

1 (confidence rate)

DNF

0
T
T
----:PM / 7.55
CC

0
48a

T (expected value)

2.99 (confidence rate)

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

T (expected value)

1 (confidence rate)

DNF

0
T
T
----:PM / 7.55
CC

0
96a

T (expected value)

2.99 (confidence rate)

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

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNF

0
BART — Colored (70.40 pts max)
  GreatSPN Tapaal smart
Score 0.00 0.00 0.00
fastest 0 0 0
smallest memory 0 0 0
002

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNC
005

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNC
010

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNC
020

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNC
030

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNC
040

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNC
050

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNC
060

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNC
BART — P/T (70.40 pts max)
  GreatSPN Tapaal smart
Score 52.80 70.40 8.80
fastest 5 3 0
smallest memory 3 5 0
002

T (expected value)

2.99 (confidence rate)

T
T
----:-M / 8.80
T
T
----:P- / 8.80
T
T
----:-- / 8.80
005

T (expected value)

1.99 (confidence rate)

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

0
010

T (expected value)

1.99 (confidence rate)

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

0
020

T (expected value)

1.99 (confidence rate)

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

0
030

T (expected value)

1.99 (confidence rate)

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

0
040

T (expected value)

1.99 (confidence rate)

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

0
050

T (expected value)

1 (confidence rate)

CC

0
T
T
----:PM / 8.80
DNF

0
060

T (expected value)

1 (confidence rate)

CC

0
T
T
----:PM / 8.80
DNF

0
BridgeAndVehicles — Colored (101.00 pts max)
  GreatSPN Tapaal smart
Score 101.00 101.00 0.00
fastest 0 20 0
smallest memory 12 8 0
V04P05N02

F (expected value)

1.99 (confidence rate)

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

F (expected value)

1.99 (confidence rate)

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

F (expected value)

1.99 (confidence rate)

F
T
----:-- / 5.05
F
T
----:PM / 5.05
DNC
V20P10N20

F (expected value)

1.99 (confidence rate)

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

F (expected value)

1.99 (confidence rate)

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

F (expected value)

1.99 (confidence rate)

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

F (expected value)

1.99 (confidence rate)

F
T
----:-- / 5.05
F
T
----:PM / 5.05
DNC
V20P20N50

F (expected value)

1.99 (confidence rate)

F
T
----:-- / 5.05
F
T
----:PM / 5.05
DNC
V50P20N10

F (expected value)

1.99 (confidence rate)

F
T
----:-- / 5.05
F
T
----:PM / 5.05
DNC
V50P20N20

F (expected value)

1.99 (confidence rate)

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

F (expected value)

1.99 (confidence rate)

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

F (expected value)

1.99 (confidence rate)

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

F (expected value)

1.99 (confidence rate)

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

F (expected value)

1.99 (confidence rate)

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

F (expected value)

1.99 (confidence rate)

F
T
----:-- / 5.05
F
T
----:PM / 5.05
DNC
V80P20N20

F (expected value)

1.99 (confidence rate)

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

F (expected value)

1.99 (confidence rate)

F
T
----:-M / 5.05
F
T
----:P- / 5.05
DNC
V80P50N10

F (expected value)

1.99 (confidence rate)

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

F (expected value)

1.99 (confidence rate)

F
T
----:-- / 5.05
F
T
----:PM / 5.05
DNC
V80P50N50

F (expected value)

1.99 (confidence rate)

F
T
----:-M / 5.05
F
T
----:P- / 5.05
DNC
BridgeAndVehicles — P/T (101.00 pts max)
  GreatSPN Tapaal smart
Score 101.00 101.00 30.30
fastest 0 20 0
smallest memory 8 12 0
V04P05N02

F (expected value)

2.99 (confidence rate)

F
T
----:-- / 5.05
F
T
----:PM / 5.05
F
T
----:-- / 5.05
V10P10N10

F (expected value)

2.99 (confidence rate)

F
T
----:-- / 5.05
F
T
----:PM / 5.05
F
T
----:-- / 5.05
V20P10N10

F (expected value)

2.99 (confidence rate)

F
T
----:-- / 5.05
F
T
----:PM / 5.05
F
T
----:-- / 5.05
V20P10N20

F (expected value)

1.99 (confidence rate)

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

0
V20P10N50

F (expected value)

2.99 (confidence rate)

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

F (expected value)

2.99 (confidence rate)

F
T
----:-- / 5.05
F
T
----:PM / 5.05
F
T
----:-- / 5.05
V20P20N20

F (expected value)

1.99 (confidence rate)

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

0
V20P20N50

F (expected value)

2.99 (confidence rate)

F
T
----:-- / 5.05
F
T
----:PM / 5.05
F
T
----:-- / 5.05
V50P20N10

F (expected value)

1.99 (confidence rate)

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

0
V50P20N20

F (expected value)

1.99 (confidence rate)

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

0
V50P20N50

F (expected value)

1.99 (confidence rate)

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

0
V50P50N10

F (expected value)

1.99 (confidence rate)

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

0
V50P50N20

F (expected value)

1.99 (confidence rate)

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

0
V50P50N50

F (expected value)

1.99 (confidence rate)

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

0
V80P20N10

F (expected value)

1.99 (confidence rate)

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

0
V80P20N20

F (expected value)

1.99 (confidence rate)

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

0
V80P20N50

F (expected value)

1.99 (confidence rate)

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

0
V80P50N10

F (expected value)

1.99 (confidence rate)

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

0
V80P50N20

F (expected value)

1.99 (confidence rate)

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

0
V80P50N50

F (expected value)

1.99 (confidence rate)

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

0
BusinessProcesses — P/T (151.00 pts max)
  GreatSPN Tapaal smart
Score 151.00 151.00 120.80
fastest 0 20 0
smallest memory 14 4 2
01

T (expected value)

2.99 (confidence rate)

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

T (expected value)

2.99 (confidence rate)

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

T (expected value)

2.99 (confidence rate)

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

T (expected value)

2.99 (confidence rate)

T
T
----:-- / 7.55
T
T
----:PM / 7.55
T
T
----:-- / 7.55
05

T (expected value)

2.99 (confidence rate)

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

T (expected value)

2.99 (confidence rate)

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

T (expected value)

2.99 (confidence rate)

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

T (expected value)

2.99 (confidence rate)

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

T (expected value)

2.99 (confidence rate)

T
T
----:-- / 7.55
T
T
----:PM / 7.55
T
T
----:-- / 7.55
10

T (expected value)

1.99 (confidence rate)

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

0
11

T (expected value)

2.99 (confidence rate)

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

T (expected value)

2.99 (confidence rate)

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

T (expected value)

2.99 (confidence rate)

T
T
----:-M / 7.55
T
T
----:P- / 7.55
T
T
----:-- / 7.55
14

T (expected value)

2.99 (confidence rate)

T
T
----:-M / 7.55
T
T
----:P- / 7.55
T
T
----:-- / 7.55
15

T (expected value)

2.99 (confidence rate)

T
T
----:-- / 7.55
T
T
----:P- / 7.55
T
T
----:-M / 7.55
16

T (expected value)

2.99 (confidence rate)

T
T
----:-M / 7.55
T
T
----:P- / 7.55
T
T
----:-- / 7.55
17

T (expected value)

2.99 (confidence rate)

T
T
----:-- / 7.55
T
T
----:PM / 7.55
T
T
----:-- / 7.55
18

T (expected value)

1.99 (confidence rate)

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

0
19

T (expected value)

1.99 (confidence rate)

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

0
20

T (expected value)

1.99 (confidence rate)

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

0
CSRepetitions — Colored (65.30 pts max)
  GreatSPN Tapaal smart
Score 54.40 65.27 0.00
fastest 0 6 0
smallest memory 3 3 0
02

F (expected value)

1.99 (confidence rate)

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

F (expected value)

1.99 (confidence rate)

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

F (expected value)

1.99 (confidence rate)

F
T
----:-- / 10.88
F
T
----:PM / 10.88
DNC
05

F (expected value)

1.99 (confidence rate)

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

F (expected value)

1.99 (confidence rate)

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

F (expected value)

1 (confidence rate)

DNF

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

F (expected value)

2.99 (confidence rate)

F
T
----:PM / 10.88
F
T
----:-- / 10.88
F
T
----:-- / 10.88
03

F (expected value)

2.99 (confidence rate)

F
T
----:PM / 10.88
F
T
----:-- / 10.88
F
T
----:-- / 10.88
04

F (expected value)

1.99 (confidence rate)

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

0
05

F (expected value)

1.99 (confidence rate)

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

0
07

F (expected value)

1.99 (confidence rate)

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

0
10

F (expected value)

1 (confidence rate)

DNF

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

0
CircadianClock — P/T (115.30 pts max)
  GreatSPN Tapaal smart
Score 76.88 115.31 38.44
fastest 0 6 0
smallest memory 1 5 0
000001

T (expected value)

2.99 (confidence rate)

T
T
----:-- / 19.22
T
T
----:PM / 19.22
T
T
----:-- / 19.22
000010

F (expected value)

2.99 (confidence rate)

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

F (expected value)

1.99 (confidence rate)

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

0
001000

F (expected value)

1.99 (confidence rate)

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

0
010000

F (expected value)

1 (confidence rate)

DNF

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

0
100000

F (expected value)

1 (confidence rate)

DNF

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

0
CircularTrains — P/T (117.84 pts max)
  GreatSPN Tapaal smart
Score 117.88 117.88 33.68
fastest 0 7 0
smallest memory 0 7 0
012

F (expected value)

2.99 (confidence rate)

F
T
----:-- / 16.84
F
T
----:PM / 16.84
F
T
----:-- / 16.84
024

F (expected value)

2.99 (confidence rate)

F
T
----:-- / 16.84
F
T
----:PM / 16.84
F
T
----:-- / 16.84
048

F (expected value)

1.99 (confidence rate)

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

0
096

F (expected value)

1.99 (confidence rate)

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

0
192

F (expected value)

1.99 (confidence rate)

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

0
384

F (expected value)

1.99 (confidence rate)

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

0
768

F (expected value)

1.99 (confidence rate)

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

0
ClientsAndServers — P/T (151.00 pts max)
  GreatSPN Tapaal smart
Score 83.05 151.00 22.65
fastest 0 20 0
smallest memory 4 16 0
N0001P0

F (expected value)

2.99 (confidence rate)

F
T
----:-- / 7.55
F
T
----:PM / 7.55
F
T
----:-- / 7.55
N0002P0

F (expected value)

2.99 (confidence rate)

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

F (expected value)

2.99 (confidence rate)

F
T
----:-- / 7.55
F
T
----:PM / 7.55
F
T
----:-- / 7.55
N0005P0

F (expected value)

1.99 (confidence rate)

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

0
N0005P1

F (expected value)

1.99 (confidence rate)

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

0
N0010P0

F (expected value)

1.99 (confidence rate)

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

0
N0010P1

F (expected value)

1.99 (confidence rate)

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

0
N0010P2

F (expected value)

1.99 (confidence rate)

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

0
N0020P0

F (expected value)

1.99 (confidence rate)

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

0
N0020P1

F (expected value)

1.99 (confidence rate)

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

0
N0020P2

F (expected value)

1.99 (confidence rate)

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

0
N0020P3

F (expected value)

1 (confidence rate)

DNF

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

0
N0020P4

F (expected value)

1 (confidence rate)

DNF

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

0
N0050P0

F (expected value)

1 (confidence rate)

DNF

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

0
N0100P0

F (expected value)

1 (confidence rate)

DNF

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

0
N0200P0

F (expected value)

1 (confidence rate)

DNF

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

0
N0500P0

F (expected value)

1 (confidence rate)

DNF

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

0
N1000P0

F (expected value)

1 (confidence rate)

DNF

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

0
N2000P0

F (expected value)

1 (confidence rate)

DNF

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

0
N5000P0

F (expected value)

1 (confidence rate)

DNF

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

0
CloudDeployment — P/T (130.59 pts max)
  GreatSPN Tapaal smart
Score 87.04 130.55 43.52
fastest 0 12 0
smallest memory 6 6 0
2a

T (expected value)

2.99 (confidence rate)

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

T (expected value)

2.99 (confidence rate)

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

T (expected value)

2.99 (confidence rate)

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

T (expected value)

1.99 (confidence rate)

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

0
4a

T (expected value)

2.99 (confidence rate)

T
T
----:-- / 10.88
T
T
----:PM / 10.88
T
T
----:-- / 10.88
4b

T (expected value)

1 (confidence rate)

DNF

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

0
5a

T (expected value)

1.99 (confidence rate)

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

0
5b

T (expected value)

1 (confidence rate)

DNF

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

0
6a

T (expected value)

1.99 (confidence rate)

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

0
6b

T (expected value)

1 (confidence rate)

CC

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

0
7a

T (expected value)

1.99 (confidence rate)

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

0
7b

T (expected value)

1 (confidence rate)

CC

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

0
CloudOpsManagement — P/T (135.70 pts max)
  GreatSPN Tapaal smart
Score 77.52 135.66 19.38
fastest 0 14 0
smallest memory 6 8 0
00002by00001

F (expected value)

2.99 (confidence rate)

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

F (expected value)

2.99 (confidence rate)

F
T
----:-M / 9.69
F
T
----:P- / 9.69
F
T
----:-- / 9.69
00010by00005

F (expected value)

1.99 (confidence rate)

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

0
00020by00010

F (expected value)

1.99 (confidence rate)

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

0
00040by00020

F (expected value)

1.99 (confidence rate)

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

0
00080by00040

F (expected value)

1.99 (confidence rate)

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

0
00160by00080

F (expected value)

1.99 (confidence rate)

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

0
00320by00160

F (expected value)

1.99 (confidence rate)

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

0
00640by00320

F (expected value)

1 (confidence rate)

DNF

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

0
01280by00640

F (expected value)

1 (confidence rate)

DNF

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

0
02560by01280

F (expected value)

1 (confidence rate)

DNF

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

0
05120by02560

F (expected value)

1 (confidence rate)

DNF

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

0
10240by05120

F (expected value)

1 (confidence rate)

DNF

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

0
20480by10240

F (expected value)

1 (confidence rate)

DNF

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

0
CloudReconfiguration — P/T (156.09 pts max)
  GreatSPN Tapaal smart
Score 156.20 113.59 156.20
fastest 22 0 0
smallest memory 13 9 0
301

T (expected value)

2.99 (confidence rate)

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

T (expected value)

2.99 (confidence rate)

T
T
----:PM / 7.09
T
T
----:-- / 7.09
T
T
----:-- / 7.09
303

T (expected value)

2.99 (confidence rate)

T
T
----:PM / 7.09
T
T
----:-- / 7.09
T
T
----:-- / 7.09
304

T (expected value)

2.99 (confidence rate)

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

T (expected value)

2.99 (confidence rate)

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

T (expected value)

2.99 (confidence rate)

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

T (expected value)

2.99 (confidence rate)

T
T
----:PM / 7.09
T
T
----:-- / 7.09
T
T
----:-- / 7.09
308

T (expected value)

2.99 (confidence rate)

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

T (expected value)

2.99 (confidence rate)

T
T
----:PM / 7.09
T
T
----:-- / 7.09
T
T
----:-- / 7.09
310

T (expected value)

2.99 (confidence rate)

T
T
----:PM / 7.09
T
T
----:-- / 7.09
T
T
----:-- / 7.09
311

T (expected value)

2.99 (confidence rate)

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

T (expected value)

2.99 (confidence rate)

T
T
----:PM / 7.09
T
T
----:-- / 7.09
T
T
----:-- / 7.09
313

T (expected value)

2.99 (confidence rate)

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

T (expected value)

1.99 (confidence rate)

T
T
----:PM / 7.09
CC

0
T
T
----:-- / 7.09
315

T (expected value)

2.99 (confidence rate)

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

T (expected value)

2.99 (confidence rate)

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

T (expected value)

1.99 (confidence rate)

T
T
----:PM / 7.09
CC

0
T
T
----:-- / 7.09
318

T (expected value)

2.99 (confidence rate)

T
T
----:PM / 7.09
T
T
----:-- / 7.09
T
T
----:-- / 7.09
319

T (expected value)

1.99 (confidence rate)

T
T
----:PM / 7.09
CC

0
T
T
----:-- / 7.09
320

T (expected value)

1.99 (confidence rate)

T
T
----:PM / 7.09
CC

0
T
T
----:-- / 7.09
401

T (expected value)

1.99 (confidence rate)

T
T
----:PM / 7.09
CC

0
T
T
----:-- / 7.09
402

T (expected value)

1.99 (confidence rate)

T
T
----:PM / 7.09
CC

0
T
T
----:-- / 7.09
DES — P/T (151.00 pts max)
  GreatSPN Tapaal smart
Score 151.00 151.00 37.75
fastest 0 20 0
smallest memory 16 4 0
00a

T (expected value)

2.99 (confidence rate)

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

T (expected value)

2.99 (confidence rate)

T
T
----:-- / 7.55
T
T
----:PM / 7.55
T
T
----:-- / 7.55
01a

T (expected value)

2.99 (confidence rate)

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

T (expected value)

2.99 (confidence rate)

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

T (expected value)

1.99 (confidence rate)

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

0
02b

T (expected value)

2.99 (confidence rate)

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

T (expected value)

1.99 (confidence rate)

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

0
05b

T (expected value)

1.99 (confidence rate)

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

0
10a

T (expected value)

1.99 (confidence rate)

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

0
10b

T (expected value)

1.99 (confidence rate)

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

0
20a

T (expected value)

1.99 (confidence rate)

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

0
20b

T (expected value)

1.99 (confidence rate)

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

0
30a

T (expected value)

1.99 (confidence rate)

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

0
30b

T (expected value)

1.99 (confidence rate)

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

0
40a

T (expected value)

1.99 (confidence rate)

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

0
40b

T (expected value)

1.99 (confidence rate)

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

0
50a

T (expected value)

1.99 (confidence rate)

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

0
50b

T (expected value)

1.99 (confidence rate)

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

0
60a

T (expected value)

1.99 (confidence rate)

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

0
60b

T (expected value)

1.99 (confidence rate)

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

0
DLCflexbar — P/T (135.70 pts max)
  GreatSPN Tapaal smart
Score 58.13 77.52 0.00
fastest 0 8 0
smallest memory 3 5 0
2a

T (expected value)

1.99 (confidence rate)

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

0
2b

T (expected value)

1 (confidence rate)

DNF

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

0
3a

T (expected value)

1.99 (confidence rate)

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

0
3b

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNF

0
4a

T (expected value)

1.99 (confidence rate)

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

0
4b

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNF

0
5a

T (expected value)

1.99 (confidence rate)

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

0
5b

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNF

0
6a

T (expected value)

1.99 (confidence rate)

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

0
6b

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNF

0
7a

T (expected value)

1.99 (confidence rate)

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

0
7b

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNF

0
8a

T (expected value)

1 (confidence rate)

CC

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

0
8b

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
DLCround — P/T (156.09 pts max)
  GreatSPN Tapaal smart
Score 78.09 156.20 7.09
fastest 0 22 0
smallest memory 6 16 0
03a

T (expected value)

2.99 (confidence rate)

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

T (expected value)

1 (confidence rate)

DNF

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

0
04a

T (expected value)

1.99 (confidence rate)

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

0
04b

T (expected value)

1 (confidence rate)

DNF

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

0
05a

T (expected value)

1.99 (confidence rate)

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

0
05b

T (expected value)

1 (confidence rate)

DNF

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

0
06a

T (expected value)

1.99 (confidence rate)

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

0
06b

T (expected value)

1 (confidence rate)

DNF

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

0
07a

T (expected value)

1.99 (confidence rate)

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

0
07b

T (expected value)

1 (confidence rate)

DNF

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

0
08a

T (expected value)

1.99 (confidence rate)

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

0
08b

T (expected value)

1 (confidence rate)

DNF

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

0
09a

T (expected value)

1.99 (confidence rate)

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

0
09b

T (expected value)

1 (confidence rate)

DNF

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

0
10a

T (expected value)

1.99 (confidence rate)

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

0
10b

T (expected value)

1 (confidence rate)

DNF

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

0
11a

T (expected value)

1.99 (confidence rate)

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

0
11b

T (expected value)

1 (confidence rate)

DNF

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

0
12a

T (expected value)

1.99 (confidence rate)

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

0
12b

T (expected value)

1 (confidence rate)

DNF

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

0
13a

T (expected value)

1.99 (confidence rate)

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

0
13b

T (expected value)

1 (confidence rate)

CC

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

0
DLCshifumi — P/T (125.50 pts max)
  GreatSPN Tapaal smart
Score 50.20 87.84 0.00
fastest 0 7 0
smallest memory 3 4 0
2a

T (expected value)

1.99 (confidence rate)

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

0
2b

T (expected value)

1 (confidence rate)

DNF

0
T
T
----:PM / 12.55
DNF

0
3a

T (expected value)

1.99 (confidence rate)

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

0
3b

T (expected value)

1 (confidence rate)

CC

0
T
T
----:PM / 12.55
DNF

0
4a

T (expected value)

1.99 (confidence rate)

T
T
----:-- / 12.55
T
T
----:PM / 12.55
CC

0
4b

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNF

0
5a

T (expected value)

1.99 (confidence rate)

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

0
5b

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNF

0
6a

T (expected value)

1 (confidence rate)

CC

0
T
T
----:PM / 12.55
DNF

0
6b

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNF

0
DNAwalker — P/T (145.90 pts max)
  GreatSPN Tapaal smart
Score 137.87 145.98 89.20
fastest 0 18 0
smallest memory 1 17 0
01track12Block1

F (expected value)

2.99 (confidence rate)

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

F (expected value)

2.99 (confidence rate)

F
T
----:-- / 8.11
F
T
----:PM / 8.11
F
T
----:-- / 8.11
03track12BlockBoth

F (expected value)

2.99 (confidence rate)

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

F (expected value)

2.99 (confidence rate)

F
T
----:-- / 8.11
F
T
----:PM / 8.11
F
T
----:-- / 8.11
05track28LR

F (expected value)

2.99 (confidence rate)

F
T
----:-- / 8.11
F
T
----:PM / 8.11
F
T
----:-- / 8.11
06track28RL

F (expected value)

2.99 (confidence rate)

F
T
----:-- / 8.11
F
T
----:PM / 8.11
F
T
----:-- / 8.11
07track28RR

F (expected value)

2.99 (confidence rate)

F
T
----:-- / 8.11
F
T
----:PM / 8.11
F
T
----:-- / 8.11
08ringLL

F (expected value)

2.99 (confidence rate)

F
T
----:-- / 8.11
F
T
----:PM / 8.11
F
T
----:-- / 8.11
09ringLR

F (expected value)

2.99 (confidence rate)

F
T
----:-- / 8.11
F
T
----:PM / 8.11
F
T
----:-- / 8.11
10ringRL

F (expected value)

2.99 (confidence rate)

F
T
----:-M / 8.11
F
T
----:P- / 8.11
F
T
----:-- / 8.11
11ringRR

F (expected value)

2.99 (confidence rate)

F
T
----:-- / 8.11
F
T
----:PM / 8.11
F
T
----:-- / 8.11
12ringLLLarge

F (expected value)

1.99 (confidence rate)

F
T
----:-- / 8.11
F
T
----:PM / 8.11
CC

0
13ringRLLarge

F (expected value)

1.99 (confidence rate)

F
T
----:-- / 8.11
F
T
----:PM / 8.11
CC

0
14ringLRLarge

F (expected value)

1.99 (confidence rate)

F
T
----:-- / 8.11
F
T
----:PM / 8.11
CC

0
15ringRRLarge

F (expected value)

1.99 (confidence rate)

F
T
----:-- / 8.11
F
T
----:PM / 8.11
CC

0
16redondantChoiceR

F (expected value)

1.99 (confidence rate)

F
T
----:-- / 8.11
F
T
----:PM / 8.11
CC

0
17redondantChoiceL

F (expected value)

1.99 (confidence rate)

F
T
----:-- / 8.11
F
T
----:PM / 8.11
CC

0
18lozangeBlock

F (expected value)

1 (confidence rate)

DNF

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

0
DatabaseWithMutex — Colored (62.75 pts max)
  GreatSPN Tapaal smart
Score 25.09 62.75 0.00
fastest 0 5 0
smallest memory 1 4 0
02

F (expected value)

1.99 (confidence rate)

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

F (expected value)

1.99 (confidence rate)

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

F (expected value)

1 (confidence rate)

DNF

0
F
T
----:PM / 12.55
DNC
20

F (expected value)

1 (confidence rate)

DNF

0
F
T
----:PM / 12.55
DNC
40

F (expected value)

1 (confidence rate)

CC

0
F
T
----:PM / 12.55
DNC
DatabaseWithMutex — P/T (62.75 pts max)
  GreatSPN Tapaal smart
Score 25.09 50.20 12.55
fastest 0 4 0
smallest memory 0 4 0
02

T (expected value)

2.99 (confidence rate)

T
T
----:-- / 12.55
T
T
----:PM / 12.55
T
T
----:-- / 12.55
04

T (expected value)

1.99 (confidence rate)

T
T
----:-- / 12.55
T
T
----:PM / 12.55
DNF

0
10

T (expected value)

1 (confidence rate)

DNF

0
T
T
----:PM / 12.55
DNF

0
20

T (expected value)

1 (confidence rate)

DNF

0
T
T
----:PM / 12.55
DNF

0
40

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNF

0
Dekker — P/T (115.30 pts max)
  GreatSPN Tapaal smart
Score 96.09 115.31 19.22
fastest 0 6 0
smallest memory 2 4 0
010

T (expected value)

2.99 (confidence rate)

T
T
----:-- / 19.22
T
T
----:PM / 19.22
T
T
----:-- / 19.22
015

T (expected value)

1.99 (confidence rate)

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

0
020

T (expected value)

1.99 (confidence rate)

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

0
050

T (expected value)

1.99 (confidence rate)

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

0
100

T (expected value)

1.99 (confidence rate)

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

0
200

T (expected value)

1 (confidence rate)

CC

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

0
Diffusion2D — P/T (173.95 pts max)
  GreatSPN Tapaal smart
Score 90.00 174.00 36.00
fastest 1 28 0
smallest memory 7 22 0
D05N010

F (expected value)

2.99 (confidence rate)

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

F (expected value)

2.99 (confidence rate)

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

F (expected value)

1.99 (confidence rate)

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

0
D05N150

F (expected value)

1.99 (confidence rate)

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

0
D05N200

F (expected value)

1.99 (confidence rate)

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

0
D05N250

F (expected value)

1.99 (confidence rate)

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

0
D05N300

F (expected value)

1 (confidence rate)

DNF

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

0
D05N350

F (expected value)

1 (confidence rate)

DNF

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

0
D10N010

F (expected value)

2.99 (confidence rate)

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

F (expected value)

1.99 (confidence rate)

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

0
D10N100

F (expected value)

1.99 (confidence rate)

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

0
D10N150

F (expected value)

1.99 (confidence rate)

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

0
D10N200

F (expected value)

1.99 (confidence rate)

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

0
D20N010

F (expected value)

2.99 (confidence rate)

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

F (expected value)

1.99 (confidence rate)

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

0
D20N100

F (expected value)

1.99 (confidence rate)

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

0
D20N150

F (expected value)

1 (confidence rate)

CC

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

0
D30N010

F (expected value)

2.99 (confidence rate)

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

F (expected value)

1 (confidence rate)

CC

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

0
D30N100

F (expected value)

1 (confidence rate)

CC

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

0
D30N150

F (expected value)

1 (confidence rate)

CC

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

0
D40N010

F (expected value)

2.00 (confidence rate)

CC

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

F (expected value)

1 (confidence rate)

CC

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

0
D40N100

F (expected value)

1 (confidence rate)

CC

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

0
D40N150

F (expected value)

1 (confidence rate)

CC

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

0
D50N010

F (expected value)

1 (confidence rate)

CC

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

0
D50N050

F (expected value)

1 (confidence rate)

CC

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

0
D50N100

F (expected value)

1 (confidence rate)

CC

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

0
D50N150

F (expected value)

1 (confidence rate)

CC

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

0
DiscoveryGPU — P/T (151.00 pts max)
  GreatSPN Tapaal smart
Score 151.00 151.00 30.20
fastest 0 20 0
smallest memory 11 9 0
06a

T (expected value)

1.99 (confidence rate)

T
T
----:-- / 7.55
T
T
----:PM / 7.55
CC

0
06b

T (expected value)

1.99 (confidence rate)

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

0
07a

T (expected value)

2.99 (confidence rate)

T
T
----:-- / 7.55
T
T
----:PM / 7.55
T
T
----:-- / 7.55
07b

T (expected value)

1.99 (confidence rate)

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

0
08a

T (expected value)

2.99 (confidence rate)

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

T (expected value)

1.99 (confidence rate)

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

0
09a

T (expected value)

2.99 (confidence rate)

T
T
----:-- / 7.55
T
T
----:PM / 7.55
T
T
----:-- / 7.55
09b

T (expected value)

1.99 (confidence rate)

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

0
10a

T (expected value)

2.99 (confidence rate)

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

T (expected value)

1.99 (confidence rate)

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

0
11a

T (expected value)

1.99 (confidence rate)

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

0
11b

T (expected value)

1.99 (confidence rate)

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

0
12a

T (expected value)

1.99 (confidence rate)

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

0
12b

T (expected value)

1.99 (confidence rate)

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

0
13a

T (expected value)

1.99 (confidence rate)

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

0
13b

T (expected value)

1.99 (confidence rate)

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

0
14a

T (expected value)

1.99 (confidence rate)

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

0
14b

T (expected value)

1.99 (confidence rate)

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

0
15a

T (expected value)

1.99 (confidence rate)

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

0
15b

T (expected value)

1.99 (confidence rate)

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

0
DoubleExponent — P/T (120.40 pts max)
  GreatSPN Tapaal smart
Score 30.09 120.40 45.15
fastest 1 7 0
smallest memory 0 8 0
001

F (expected value)

2.99 (confidence rate)

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

F (expected value)

2.99 (confidence rate)

F
T
----:-- / 15.05
F
T
----:PM / 15.05
F
T
----:-- / 15.05
003

F (expected value)

2.00 (confidence rate)

CC

0
F
T
----:PM / 15.05
F
T
----:-- / 15.05
004

F (expected value)

1 (confidence rate)

CC

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

0
010

F (expected value)

1 (confidence rate)

DNF

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

0
020

F (expected value)

1 (confidence rate)

DNF

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

0
100

F (expected value)

1 (confidence rate)

DNF

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

0
200

F (expected value)

1 (confidence rate)

CC

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

0
DrinkVendingMachine — Colored (95.63 pts max)
  GreatSPN Tapaal smart
Score 13.66 54.63 0.00
fastest 0 4 0
smallest memory 1 3 0
02

F (expected value)

1.99 (confidence rate)

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

F (expected value)

1 (confidence rate)

CC

0
F
T
----:PM / 13.66
DNC
16

F (expected value)

1 (confidence rate)

DNF

0
F
T
----:PM / 13.66
DNC
24

F (expected value)

1 (confidence rate)

DNF

0
F
T
----:PM / 13.66
DNC
48

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNC
76

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNC
98

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNC
DrinkVendingMachine — P/T (27.31 pts max)
  GreatSPN Tapaal smart
Score 13.66 27.31 13.66
fastest 0 2 0
smallest memory 0 2 0
02

T (expected value)

2.99 (confidence rate)

T
T
----:-- / 13.66
T
T
----:PM / 13.66
T
T
----:-- / 13.66
10

T (expected value)

1 (confidence rate)

CC

0
T
T
----:PM / 13.66
DNF

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

T (expected value)

2.99 (confidence rate)

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

T (expected value)

1.99 (confidence rate)

T
T
----:-M / 35.88
T
T
----:P- / 35.88
DNF

0
10421

T (expected value)

1.99 (confidence rate)

T
T
----:-- / 35.88
T
T
----:PM / 35.88
DNF

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

T (expected value)

2.99 (confidence rate)

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

F (expected value)

2.99 (confidence rate)

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

F (expected value)

1.99 (confidence rate)

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

0
001000

F (expected value)

1.99 (confidence rate)

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

0
010000

F (expected value)

1 (confidence rate)

DNF

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

0
100000

F (expected value)

1 (confidence rate)

DNF

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

0
Echo — P/T (122.95 pts max)
  GreatSPN Tapaal smart
Score 0.00 122.94 0.00
fastest 0 9 0
smallest memory 0 9 0
d02r09

T (expected value)

1 (confidence rate)

DNF

0
T
T
----:PM / 13.66
DNF

0
d02r11

T (expected value)

1 (confidence rate)

DNF

0
T
T
----:PM / 13.66
DNF

0
d02r15

T (expected value)

1 (confidence rate)

DNF

0
T
T
----:PM / 13.66
DNF

0
d02r19

T (expected value)

1 (confidence rate)

DNF

0
T
T
----:PM / 13.66
DNF

0
d03r03

T (expected value)

1 (confidence rate)

DNF

0
T
T
----:PM / 13.66
DNF

0
d03r05

T (expected value)

1 (confidence rate)

DNF

0
T
T
----:PM / 13.66
DNF

0
d03r07

T (expected value)

1 (confidence rate)

CC

0
T
T
----:PM / 13.66
DNF

0
d04r03

T (expected value)

1 (confidence rate)

DNF

0
T
T
----:PM / 13.66
DNF

0
d05r03

T (expected value)

1 (confidence rate)

CC

0
T
T
----:PM / 13.66
DNF

0
EnergyBus — P/T (102.55 pts max)
  GreatSPN Tapaal smart
Score 102.55 102.55 0.00
fastest 0 1 0
smallest memory 0 1 0
none

T (expected value)

1.99 (confidence rate)

T
T
----:-- / 102.55
T
T
----:PM / 102.55
DNF

0
Eratosthenes — P/T (115.30 pts max)
  GreatSPN Tapaal smart
Score 115.31 115.31 76.88
fastest 0 6 0
smallest memory 2 4 0
010

T (expected value)

2.99 (confidence rate)

T
T
----:-M / 19.22
T
T
----:P- / 19.22
T
T
----:-- / 19.22
020

T (expected value)

2.99 (confidence rate)

T
T
----:-- / 19.22
T
T
----:PM / 19.22
T
T
----:-- / 19.22
050

T (expected value)

2.99 (confidence rate)

T
T
----:-- / 19.22
T
T
----:PM / 19.22
T
T
----:-- / 19.22
100

T (expected value)

2.99 (confidence rate)

T
T
----:-- / 19.22
T
T
----:PM / 19.22
T
T
----:-- / 19.22
200

T (expected value)

1.99 (confidence rate)

T
T
----:-- / 19.22
T
T
----:PM / 19.22
CC

0
500

T (expected value)

1.99 (confidence rate)

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

0
FMS — P/T (135.70 pts max)
  GreatSPN Tapaal smart
Score 77.52 135.66 38.76
fastest 0 14 0
smallest memory 4 10 0
00002

F (expected value)

2.99 (confidence rate)

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

F (expected value)

2.99 (confidence rate)

F
T
----:-- / 9.69
F
T
----:PM / 9.69
F
T
----:-- / 9.69
00010

F (expected value)

2.99 (confidence rate)

F
T
----:-- / 9.69
F
T
----:PM / 9.69
F
T
----:-- / 9.69
00020

F (expected value)

2.99 (confidence rate)

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

F (expected value)

1.99 (confidence rate)

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

0
00100

F (expected value)

1.99 (confidence rate)

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

0
00200

F (expected value)

1.99 (confidence rate)

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

0
00500

F (expected value)

1.99 (confidence rate)

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

0
01000

F (expected value)

1 (confidence rate)

DNF

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

0
02000

F (expected value)

1 (confidence rate)

DNF

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

0
05000

F (expected value)

1 (confidence rate)

DNF

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

0
10000

F (expected value)

1 (confidence rate)

DNF

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

0
20000

F (expected value)

1 (confidence rate)

DNF

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

0
50000

F (expected value)

1 (confidence rate)

DNF

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

0
FamilyReunion — Colored (97.27 pts max)
  GreatSPN Tapaal smart
Score 0.00 48.66 0.00
fastest 0 6 0
smallest memory 0 6 0
L00010M0001C001P001G001

F (expected value)

1 (confidence rate)

DNF

0
F
T
----:PM / 8.11
DNC
L00020M0002C001P001G001

F (expected value)

1 (confidence rate)

DNF

0
F
T
----:PM / 8.11
DNC
L00050M0005C002P002G001

F (expected value)

1 (confidence rate)

CC

0
F
T
----:PM / 8.11
DNC
L00100M0010C005P005G002

F (expected value)

1 (confidence rate)

DNF

0
F
T
----:PM / 8.11
DNC
L00200M0020C010P010G005

F (expected value)

1 (confidence rate)

DNF

0
F
T
----:PM / 8.11
DNC
L00400M0040C020P020G001

F (expected value)

1 (confidence rate)

DNF

0
F
T
----:PM / 8.11
DNC
L00800M0080C040P040G020

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNC
L01200M0120C060P060G030

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNC
L03000M0300G150P150G075

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNC
L05000M0500C250P250G125

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNC
L08000M0800C400P400G200

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNC
L12000M1200C600P600G300

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNC
FamilyReunion — P/T (48.63 pts max)
  GreatSPN Tapaal smart
Score 0.00 40.55 0.00
fastest 0 5 0
smallest memory 0 5 0
L00010M0001C001P001G001

F (expected value)

1 (confidence rate)

DNF

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

0
L00020M0002C001P001G001

F (expected value)

1 (confidence rate)

DNF

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

0
L00050M0005C002P002G001

F (expected value)

1 (confidence rate)

CC

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

0
L00100M0010C005P005G002

F (expected value)

1 (confidence rate)

DNF

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

0
L00200M0020C010P010G005

F (expected value)

1 (confidence rate)

DNF

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

0
L00400M0040C020P020G001

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
FlexibleBarrier — P/T (151.00 pts max)
  GreatSPN Tapaal smart
Score 83.05 113.25 22.65
fastest 0 15 0
smallest memory 6 9 0
04a

T (expected value)

2.99 (confidence rate)

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

T (expected value)

2.99 (confidence rate)

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

T (expected value)

2.99 (confidence rate)

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

T (expected value)

1 (confidence rate)

DNF

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

0
08a

T (expected value)

1.99 (confidence rate)

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

0
08b

T (expected value)

1 (confidence rate)

DNF

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

0
10a

T (expected value)

1.99 (confidence rate)

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

0
10b

T (expected value)

1 (confidence rate)

DNF

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

0
12a

T (expected value)

1.99 (confidence rate)

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

0
12b

T (expected value)

1 (confidence rate)

DNF

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

0
14a

T (expected value)

1.99 (confidence rate)

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

0
14b

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
16a

T (expected value)

1.99 (confidence rate)

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

0
16b

? (expected value)

0 (confidence rate)

DNF

0
CC

0
CC

0
18a

T (expected value)

1.99 (confidence rate)

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

0
18b

? (expected value)

0 (confidence rate)

DNF

0
CC

0
CC

0
20a

T (expected value)

1.99 (confidence rate)

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

0
20b

? (expected value)

0 (confidence rate)

DNF

0
CC

0
CC

0
22a

T (expected value)

1.99 (confidence rate)

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

0
22b

? (expected value)

0 (confidence rate)

CC

0
CC

0
CC

0
GPPP — P/T (143.34 pts max)
  GreatSPN Tapaal smart
Score 67.44 134.88 16.86
fastest 0 16 0
smallest memory 4 12 0
C0001N0000000001

F (expected value)

2.99 (confidence rate)

F
T
----:-M / 8.43
F
T
----:P- / 8.43
F
T
----:-- / 8.43
C0001N0000000010

F (expected value)

2.99 (confidence rate)

F
T
----:-M / 8.43
F
T
----:P- / 8.43
F
T
----:-- / 8.43
C0001N0000000100

F (expected value)

1.99 (confidence rate)

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

0
C0001N0000001000

F (expected value)

1.99 (confidence rate)

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

0
C0001N0000010000

F (expected value)

1 (confidence rate)

DNF

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

0
C0001N0000100000

F (expected value)

1 (confidence rate)

DNF

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

0
C0010N0000000010

F (expected value)

1.99 (confidence rate)

F
T
----:-- / 8.43
F
T
----:PM / 8.43
DNF

0
C0010N0000000100

F (expected value)

1.99 (confidence rate)

F
T
----:-- / 8.43
F
T
----:PM / 8.43
DNF

0
C0010N1000000000

? (expected value)

0 (confidence rate)

CC

0
CC

0
CC

0
C0100N0000000010

F (expected value)

1.99 (confidence rate)

F
T
----:-- / 8.43
F
T
----:PM / 8.43
DNF

0
C0100N0000000100

F (expected value)

1.99 (confidence rate)

F
T
----:-- / 8.43
F
T
----:PM / 8.43
DNF

0
C0100N0000001000

F (expected value)

1 (confidence rate)

DNF

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

0
C0100N0000010000

F (expected value)

1 (confidence rate)

DNF

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

0
C0100N0000100000

F (expected value)

1 (confidence rate)

CC

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

0
C1000N0000000010

F (expected value)

1 (confidence rate)

DNF

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

0
C1000N0000000100

F (expected value)

1 (confidence rate)

DNF

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

0
C1000N0000001000

F (expected value)

1 (confidence rate)

DNF

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

0
GlobalResAllocation — Colored (95.63 pts max)
  GreatSPN Tapaal smart
Score 27.31 95.62 0.00
fastest 0 7 0
smallest memory 1 6 0
03

F (expected value)

1.99 (confidence rate)

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

F (expected value)

1.99 (confidence rate)

F
T
----:-- / 13.66
F
T
----:PM / 13.66
DNC
06

F (expected value)

1 (confidence rate)

CC

0
F
T
----:PM / 13.66
DNC
07

F (expected value)

1 (confidence rate)

CC

0
F
T
----:PM / 13.66
DNC
09

F (expected value)

1 (confidence rate)

DNF

0
F
T
----:PM / 13.66
DNC
10

F (expected value)

1 (confidence rate)

DNF

0
F
T
----:PM / 13.66
DNC
11

F (expected value)

1 (confidence rate)

DNF

0
F
T
----:PM / 13.66
DNC
GlobalResAllocation — P/T (27.31 pts max)
  GreatSPN Tapaal smart
Score 27.31 27.31 0.00
fastest 1 1 0
smallest memory 0 2 0
03

F (expected value)

1.99 (confidence rate)

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

0
05

F (expected value)

1.99 (confidence rate)

F
T
----:-- / 13.66
F
T
----:PM / 13.66
DNF

0
HexagonalGrid — P/T (117.84 pts max)
  GreatSPN Tapaal smart
Score 50.52 117.88 33.68
fastest 2 5 0
smallest memory 0 7 0
110

F (expected value)

2.99 (confidence rate)

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

F (expected value)

2.99 (confidence rate)

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

F (expected value)

1.99 (confidence rate)

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

0
316

F (expected value)

1 (confidence rate)

DNF

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

0
410

F (expected value)

1 (confidence rate)

DNF

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

0
516

F (expected value)

1 (confidence rate)

DNF

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

0
816

F (expected value)

1 (confidence rate)

CC

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

0
HospitalTriage — P/T (102.55 pts max)
  GreatSPN Tapaal smart
Score 102.55 102.55 0.00
fastest 0 1 0
smallest memory 1 0 0
none

F (expected value)

1.99 (confidence rate)

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

0
HouseConstruction — P/T (135.70 pts max)
  GreatSPN Tapaal smart
Score 58.13 135.66 38.76
fastest 2 12 0
smallest memory 3 11 0
00002

F (expected value)

2.99 (confidence rate)

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

F (expected value)

2.99 (confidence rate)

F
T
----:-- / 9.69
F
T
----:PM / 9.69
F
T
----:-- / 9.69
00010

F (expected value)

2.99 (confidence rate)

F
T
----:PM / 9.69
F
T
----:-- / 9.69
F
T
----:-- / 9.69
00020

F (expected value)

2.99 (confidence rate)

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

F (expected value)

1.99 (confidence rate)

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

0
00100

F (expected value)

1.99 (confidence rate)

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

0
00200

F (expected value)

1 (confidence rate)

DNF

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

0
00500

F (expected value)

1 (confidence rate)

DNF

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

0
01000

F (expected value)

1 (confidence rate)

DNF

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

0
02000

F (expected value)

1 (confidence rate)

DNF

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

0
04000

F (expected value)

1 (confidence rate)

DNF

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

0
08000

F (expected value)

1 (confidence rate)

DNF

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

0
16000

F (expected value)

1 (confidence rate)

DNF

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

0
32000

F (expected value)

1 (confidence rate)

DNF

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

0
HypercubeGrid — P/T (107.65 pts max)
  GreatSPN Tapaal smart
Score 0.00 107.63 0.00
fastest 0 3 0
smallest memory 0 3 0
C3K4P4B12

F (expected value)

1 (confidence rate)

CC

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

0
C4K3P3B12

F (expected value)

1 (confidence rate)

CC

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

0
C5K3P3B15

F (expected value)

1 (confidence rate)

CC

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

0
HypertorusGrid — P/T (115.30 pts max)
  GreatSPN Tapaal smart
Score 57.66 115.31 19.22
fastest 1 5 0
smallest memory 2 4 0
d2k1p8b00

F (expected value)

2.99 (confidence rate)

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

F (expected value)

1.99 (confidence rate)

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

0
d2k3p2b04

F (expected value)

1.99 (confidence rate)

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

0
d3k3p2b06

F (expected value)

1 (confidence rate)

DNF

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

0
d4k3p2b08

F (expected value)

1 (confidence rate)

CC

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

0
d5k3p2b10

F (expected value)

1 (confidence rate)

CC

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

0
IBM319 — P/T (102.55 pts max)
  GreatSPN Tapaal smart
Score 102.55 102.55 102.55
fastest 0 1 0
smallest memory 0 1 0
none

T (expected value)

2.99 (confidence rate)

T
T
----:-- / 102.55
T
T
----:PM / 102.55
T
T
----:-- / 102.55
IBM5964 — P/T (102.55 pts max)
  GreatSPN Tapaal smart
Score 102.55 102.55 102.55
fastest 0 1 0
smallest memory 1 0 0
none

F (expected value)

2.99 (confidence rate)

F
T
----:-M / 102.55
F
T
----:P- / 102.55
F
T
----:-- / 102.55
IBM703 — P/T (102.55 pts max)
  GreatSPN Tapaal smart
Score 102.55 102.55 102.55
fastest 0 1 0
smallest memory 1 0 0
none

T (expected value)

2.99 (confidence rate)

T
T
----:-M / 102.55
T
T
----:P- / 102.55
T
T
----:-- / 102.55
IBMB2S565S3960 — P/T (102.55 pts max)
  GreatSPN Tapaal smart
Score 102.55 102.55 0.00
fastest 0 1 0
smallest memory 1 0 0
none

F (expected value)

1.99 (confidence rate)

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

0
IOTPpurchase — P/T (110.20 pts max)
  GreatSPN Tapaal smart
Score 110.20 110.20 55.09
fastest 0 4 0
smallest memory 2 2 0
C01M01P01D01

T (expected value)

2.99 (confidence rate)

T
T
----:-M / 27.55
T
T
----:P- / 27.55
T
T
----:-- / 27.55
C03M03P03D03

F (expected value)

2.99 (confidence rate)

F
T
----:-- / 27.55
F
T
----:PM / 27.55
F
T
----:-- / 27.55
C05M04P03D02

F (expected value)

1.99 (confidence rate)

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

0
C12M10P15D17

F (expected value)

1.99 (confidence rate)

F
T
----:-- / 27.55
F
T
----:PM / 27.55
DNF

0
JoinFreeModules — P/T (130.59 pts max)
  GreatSPN Tapaal smart
Score 76.16 130.55 87.04
fastest 1 11 0
smallest memory 5 7 0
0003

F (expected value)

2.99 (confidence rate)

F
T
----:P- / 10.88
F
T
----:-M / 10.88
F
T
----:-- / 10.88
0004

F (expected value)

2.99 (confidence rate)

F
T
----:-M / 10.88
F
T
----:P- / 10.88
F
T
----:-- / 10.88
0005

F (expected value)

2.99 (confidence rate)

F
T
----:-M / 10.88
F
T
----:P- / 10.88
F
T
----:-- / 10.88
0010

F (expected value)

2.99 (confidence rate)

F
T
----:-M / 10.88
F
T
----:P- / 10.88
F
T
----:-- / 10.88
0020

F (expected value)

2.99 (confidence rate)

F
T
----:-- / 10.88
F
T
----:PM / 10.88
F
T
----:-- / 10.88
0050

F (expected value)

2.99 (confidence rate)

F
T
----:-M / 10.88
F
T
----:P- / 10.88
F
T
----:-- / 10.88
0100

F (expected value)

2.99 (confidence rate)

F
T
----:-M / 10.88
F
T
----:P- / 10.88
F
T
----:-- / 10.88
0200

F (expected value)

2.00 (confidence rate)

CC

0
F
T
----:PM / 10.88
F
T
----:-- / 10.88
0500

F (expected value)

1 (confidence rate)

CC

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

0
1000

F (expected value)

1 (confidence rate)

CC

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

0
2000

F (expected value)

1 (confidence rate)

CC

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

0
5000

F (expected value)

1 (confidence rate)

CC

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

0
Kanban — P/T (133.15 pts max)
  GreatSPN Tapaal smart
Score 81.91 133.12 71.68
fastest 2 11 0
smallest memory 5 8 0
00005

F (expected value)

2.99 (confidence rate)

F
T
----:P- / 10.23
F
T
----:-M / 10.23
F
T
----:-- / 10.23
00010

F (expected value)

2.99 (confidence rate)

F
T
----:PM / 10.23
F
T
----:-- / 10.23
F
T
----:-- / 10.23
00020

F (expected value)

2.99 (confidence rate)

F
T
----:-M / 10.23
F
T
----:P- / 10.23
F
T
----:-- / 10.23
00050

F (expected value)

2.99 (confidence rate)

F
T
----:-M / 10.23
F
T
----:P- / 10.23
F
T
----:-- / 10.23
00100

F (expected value)

2.99 (confidence rate)

F
T
----:-- / 10.23
F
T
----:PM / 10.23
F
T
----:-- / 10.23
00200

F (expected value)

2.99 (confidence rate)

F
T
----:-M / 10.23
F
T
----:P- / 10.23
F
T
----:-- / 10.23
00500

F (expected value)

2.99 (confidence rate)

F
T
----:-M / 10.23
F
T
----:P- / 10.23
F
T
----:-- / 10.23
01000

F (expected value)

1.99 (confidence rate)

F
T
----:-- / 10.23
F
T
----:PM / 10.23
DNF

0
02000

F (expected value)

1 (confidence rate)

DNF

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

0
05000

F (expected value)

1 (confidence rate)

DNF

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

0
10000

F (expected value)

1 (confidence rate)

DNF

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

0
20000

F (expected value)

1 (confidence rate)

DNF

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

0
50000

F (expected value)

1 (confidence rate)

DNF

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

0
LamportFastMutEx — Colored (67.84 pts max)
  GreatSPN Tapaal smart
Score 38.76 67.83 0.00
fastest 0 7 0
smallest memory 1 6 0
2

F (expected value)

1.99 (confidence rate)

F
T
----:-M / 9.69
F
T
----:P- / 9.69
DNC
3

F (expected value)

1.99 (confidence rate)

F
T
----:-- / 9.69
F
T
----:PM / 9.69
DNC
4

F (expected value)

1.99 (confidence rate)

F
T
----:-- / 9.69
F
T
----:PM / 9.69
DNC
5

F (expected value)

1.99 (confidence rate)

F
T
----:-- / 9.69
F
T
----:PM / 9.69
DNC
6

F (expected value)

1 (confidence rate)

DNF

0
F
T
----:PM / 9.69
DNC
7

F (expected value)

1 (confidence rate)

DNF

0
F
T
----:PM / 9.69
DNC
8

F (expected value)

1 (confidence rate)

DNF

0
F
T
----:PM / 9.69
DNC
LamportFastMutEx — P/T (67.84 pts max)
  GreatSPN Tapaal smart
Score 48.45 67.83 19.38
fastest 0 7 0
smallest memory 2 5 0
2

T (expected value)

2.99 (confidence rate)

T
T
----:-- / 9.69
T
T
----:PM / 9.69
T
T
----:-- / 9.69
3

T (expected value)

2.99 (confidence rate)

T
T
----:-- / 9.69
T
T
----:PM / 9.69
T
T
----:-- / 9.69
4

T (expected value)

1.99 (confidence rate)

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

0
5

T (expected value)

1.99 (confidence rate)

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

0
6

T (expected value)

1.99 (confidence rate)

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

0
7

T (expected value)

1 (confidence rate)

DNF

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

0
8

T (expected value)

1 (confidence rate)

DNF

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

0
MAPK — P/T (128.05 pts max)
  GreatSPN Tapaal smart
Score 81.48 128.04 0.00
fastest 1 10 0
smallest memory 0 11 0
00008

F (expected value)

1.99 (confidence rate)

F
T
----:-- / 11.63
F
T
----:PM / 11.63
CC

0
00020

F (expected value)

1.99 (confidence rate)

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

0
00040

F (expected value)

1.99 (confidence rate)

F
T
----:-- / 11.63
F
T
----:PM / 11.63
DNF

0
00080

F (expected value)

1.99 (confidence rate)

F
T
----:-- / 11.63
F
T
----:PM / 11.63
DNF

0
00160

F (expected value)

1.99 (confidence rate)

F
T
----:-- / 11.63
F
T
----:PM / 11.63
DNF

0
00320

F (expected value)

1.99 (confidence rate)

F
T
----:-- / 11.63
F
T
----:PM / 11.63
DNF

0
00640

F (expected value)

1.99 (confidence rate)

F
T
----:-- / 11.63
F
T
----:PM / 11.63
DNF

0
01280

F (expected value)

1 (confidence rate)

DNF

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

0
02560

F (expected value)

1 (confidence rate)

DNF

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

0
05120

F (expected value)

1 (confidence rate)

DNF

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

0
10240

F (expected value)

1 (confidence rate)

DNF

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

0
MAPKbis — P/T (105.09 pts max)
  GreatSPN Tapaal smart
Score 105.09 105.09 52.55
fastest 0 2 0
smallest memory 1 1 0
5310

T (expected value)

1.99 (confidence rate)

T
T
----:-- / 52.55
T
T
----:PM / 52.55
DNF

0
5320

T (expected value)

2.99 (confidence rate)

T
T
----:-M / 52.55
T
T
----:P- / 52.55
T
T
----:-- / 52.55
MultiwaySync — P/T (102.55 pts max)
  GreatSPN Tapaal smart
Score 102.55 102.55 0.00
fastest 0 1 0
smallest memory 0 1 0
none

T (expected value)

1.99 (confidence rate)

T
T
----:-- / 102.55
T
T
----:PM / 102.55
DNF

0
NQueens — P/T (120.40 pts max)
  GreatSPN Tapaal smart
Score 45.15 120.40 30.09
fastest 1 7 0
smallest memory 0 8 0
05

T (expected value)

2.99 (confidence rate)

T
T
----:P- / 15.05
T
T
----:-M / 15.05
T
T
----:-- / 15.05
08

T (expected value)

2.99 (confidence rate)

T
T
----:-- / 15.05
T
T
----:PM / 15.05
T
T
----:-- / 15.05
10

T (expected value)

1.99 (confidence rate)

T
T
----:-- / 15.05
T
T
----:PM / 15.05
DNF

0
12

T (expected value)

1 (confidence rate)

DNF

0
T
T
----:PM / 15.05
DNF

0
15

T (expected value)

1 (confidence rate)

DNF

0
T
T
----:PM / 15.05
DNF

0
20

T (expected value)

1 (confidence rate)

DNF

0
T
T
----:PM / 15.05
DNF

0
25

T (expected value)

1 (confidence rate)

DNF

0
T
T
----:PM / 15.05
DNF

0
30

T (expected value)

1 (confidence rate)

DNF

0
T
T
----:PM / 15.05
DNF

0
NeighborGrid — P/T (112.75 pts max)
  GreatSPN Tapaal smart
Score 90.20 112.75 67.65
fastest 3 2 0
smallest memory 1 4 0
d2n3m1c12

F (expected value)

2.99 (confidence rate)

F
T
----:P- / 22.55
F
T
----:-M / 22.55
F
T
----:-- / 22.55
d2n3m1t12

F (expected value)

2.99 (confidence rate)

F
T
----:P- / 22.55
F
T
----:-M / 22.55
F
T
----:-- / 22.55
d3n3m1t11

F (expected value)

2.99 (confidence rate)

F
T
----:P- / 22.55
F
T
----:-M / 22.55
F
T
----:-- / 22.55
d4n3m2c23

F (expected value)

1.99 (confidence rate)

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

0
d5n4m1t35

F (expected value)

1 (confidence rate)

CC

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

0
NeoElection — Colored (67.84 pts max)
  GreatSPN Tapaal smart
Score 29.06 67.83 0.00
fastest 0 7 0
smallest memory 2 5 0
2

F (expected value)

1.99 (confidence rate)

F
T
----:-- / 9.69
F
T
----:PM / 9.69
DNC
3

F (expected value)

1.99 (confidence rate)

F
T
----:-M / 9.69
F
T
----:P- / 9.69
DNC
4

F (expected value)

1.99 (confidence rate)

F
T
----:-M / 9.69
F
T
----:P- / 9.69
DNC
5

F (expected value)

1 (confidence rate)

DNF

0
F
T
----:PM / 9.69
DNC
6

F (expected value)

1 (confidence rate)

CC

0
F
T
----:PM / 9.69
DNC
7

F (expected value)

1 (confidence rate)

DNF

0
F
T
----:PM / 9.69
DNC
8

F (expected value)

1 (confidence rate)

DNF

0
F
T
----:PM / 9.69
DNC
NeoElection — P/T (67.84 pts max)
  GreatSPN Tapaal smart
Score 29.06 67.83 9.69
fastest 0 7 0
smallest memory 0 7 0
2

T (expected value)

2.99 (confidence rate)

T
T
----:-- / 9.69
T
T
----:PM / 9.69
T
T
----:-- / 9.69
3

T (expected value)

1.99 (confidence rate)

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

0
4

T (expected value)

1.99 (confidence rate)

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

0
5

T (expected value)

1 (confidence rate)

DNF

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

0
6

T (expected value)

1 (confidence rate)

CC

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

0
7

T (expected value)

1 (confidence rate)

CC

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

0
8

T (expected value)

1 (confidence rate)

CC

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

0
NoC3x3 — P/T (140.80 pts max)
  GreatSPN Tapaal smart
Score 8.80 123.20 8.80
fastest 0 14 0
smallest memory 1 13 0
1A

T (expected value)

2.99 (confidence rate)

T
T
----:-M / 8.80
T
T
----:P- / 8.80
T
T
----:-- / 8.80
1B

T (expected value)

1 (confidence rate)

DNF

0
T
T
----:PM / 8.80
DNF

0
2A

T (expected value)

1 (confidence rate)

DNF

0
T
T
----:PM / 8.80
DNF

0
2B

T (expected value)

1 (confidence rate)

DNF

0
T
T
----:PM / 8.80
DNF

0
3A

T (expected value)

1 (confidence rate)

DNF

0
T
T
----:PM / 8.80
DNF

0
3B

T (expected value)

1 (confidence rate)

DNF

0
T
T
----:PM / 8.80
DNF

0
4A

T (expected value)

1 (confidence rate)

DNF

0
T
T
----:PM / 8.80
DNF

0
4B

T (expected value)

1 (confidence rate)

DNF

0
T
T
----:PM / 8.80
DNF

0
5A

T (expected value)

1 (confidence rate)

DNF

0
T
T
----:PM / 8.80
DNF

0
5B

T (expected value)

1 (confidence rate)

DNF

0
T
T
----:PM / 8.80
DNF

0
6A

T (expected value)

1 (confidence rate)

DNF

0
T
T
----:PM / 8.80
DNF

0
6B

T (expected value)

1 (confidence rate)

DNF

0
T
T
----:PM / 8.80
DNF

0
7A

T (expected value)

1 (confidence rate)

DNF

0
T
T
----:PM / 8.80
DNF

0
7B

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNF

0
8A

T (expected value)

1 (confidence rate)

DNF

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

0
8B

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNF

0
PaceMaker — P/T (102.55 pts max)
  GreatSPN Tapaal smart
Score 102.55 102.55 0.00
fastest 0 1 0
smallest memory 0 1 0
none

F (expected value)

1.99 (confidence rate)

F
T
----:-- / 102.55
F
T
----:PM / 102.55
DNF

0
ParamProductionCell — P/T (115.30 pts max)
  GreatSPN Tapaal smart
Score 115.31 115.31 115.31
fastest 0 6 0
smallest memory 5 1 0
0

T (expected value)

2.99 (confidence rate)

T
T
----:-- / 19.22
T
T
----:PM / 19.22
T
T
----:-- / 19.22
1

T (expected value)

2.99 (confidence rate)

T
T
----:-M / 19.22
T
T
----:P- / 19.22
T
T
----:-- / 19.22
2

T (expected value)

2.99 (confidence rate)

T
T
----:-M / 19.22
T
T
----:P- / 19.22
T
T
----:-- / 19.22
3

T (expected value)

2.99 (confidence rate)

T
T
----:-M / 19.22
T
T
----:P- / 19.22
T
T
----:-- / 19.22
4

T (expected value)

2.99 (confidence rate)

T
T
----:-M / 19.22
T
T
----:P- / 19.22
T
T
----:-- / 19.22
5

T (expected value)

2.99 (confidence rate)

T
T
----:-M / 19.22
T
T
----:P- / 19.22
T
T
----:-- / 19.22
Parking — P/T (115.30 pts max)
  GreatSPN Tapaal smart
Score 115.31 115.31 115.31
fastest 0 6 0
smallest memory 3 3 0
104

T (expected value)

2.99 (confidence rate)

T
T
----:-M / 19.22
T
T
----:P- / 19.22
T
T
----:-- / 19.22
208

T (expected value)

2.99 (confidence rate)

T
T
----:-- / 19.22
T
T
----:PM / 19.22
T
T
----:-- / 19.22
416

T (expected value)

2.99 (confidence rate)

T
T
----:-M / 19.22
T
T
----:P- / 19.22
T
T
----:-- / 19.22
432

T (expected value)

2.99 (confidence rate)

T
T
----:-M / 19.22
T
T
----:P- / 19.22
T
T
----:-- / 19.22
832

T (expected value)

2.99 (confidence rate)

T
T
----:-- / 19.22
T
T
----:PM / 19.22
T
T
----:-- / 19.22
864

T (expected value)

2.99 (confidence rate)

T
T
----:-- / 19.22
T
T
----:PM / 19.22
T
T
----:-- / 19.22
PermAdmissibility — Colored (65.30 pts max)
  GreatSPN Tapaal smart
Score 10.88 65.27 0.00
fastest 0 6 0
smallest memory 1 5 0
01

F (expected value)

1.99 (confidence rate)

F
T
----:-M / 10.88
F
T
----:P- / 10.88
DNC
02

F (expected value)

1 (confidence rate)

DNF

0
F
T
----:PM / 10.88
DNC
05

F (expected value)

1 (confidence rate)

DNF

0
F
T
----:PM / 10.88
DNC
10

F (expected value)

1 (confidence rate)

DNF

0
F
T
----:PM / 10.88
DNC
20

F (expected value)

1 (confidence rate)

DNF

0
F
T
----:PM / 10.88
DNC
50

F (expected value)

1 (confidence rate)

DNF

0
F
T
----:PM / 10.88
DNC
PermAdmissibility — P/T (65.30 pts max)
  GreatSPN Tapaal smart
Score 10.88 65.27 10.88
fastest 0 6 0
smallest memory 0 6 0
01

T (expected value)

2.99 (confidence rate)

T
T
----:-- / 10.88
T
T
----:PM / 10.88
T
T
----:-- / 10.88
02

F (expected value)

1 (confidence rate)

DNF

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

0
05

F (expected value)

1 (confidence rate)

DNF

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

0
10

F (expected value)

1 (confidence rate)

DNF

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

0
20

F (expected value)

1 (confidence rate)

DNF

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

0
50

F (expected value)

1 (confidence rate)

DNF

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

0
Peterson — Colored (65.30 pts max)
  GreatSPN Tapaal smart
Score 32.63 65.27 0.00
fastest 0 6 0
smallest memory 1 5 0
2

F (expected value)

1.99 (confidence rate)

F
T
----:-- / 10.88
F
T
----:PM / 10.88
DNC
3

F (expected value)

1.99 (confidence rate)

F
T
----:-- / 10.88
F
T
----:PM / 10.88
DNC
4

F (expected value)

1.99 (confidence rate)

F
T
----:-M / 10.88
F
T
----:P- / 10.88
DNC
5

F (expected value)

1 (confidence rate)

DNF

0
F
T
----:PM / 10.88
DNC
6

F (expected value)

1 (confidence rate)

DNF

0
F
T
----:PM / 10.88
DNC
7

F (expected value)

1 (confidence rate)

DNF

0
F
T
----:PM / 10.88
DNC
Peterson — P/T (65.30 pts max)
  GreatSPN Tapaal smart
Score 32.63 65.27 10.88
fastest 0 6 0
smallest memory 0 6 0
2

T (expected value)

2.99 (confidence rate)

T
T
----:-- / 10.88
T
T
----:PM / 10.88
T
T
----:-- / 10.88
3

T (expected value)

1.99 (confidence rate)

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

0
4

T (expected value)

1.99 (confidence rate)

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

0
5

T (expected value)

1 (confidence rate)

DNF

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

0
6

T (expected value)

1 (confidence rate)

DNF

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

0
7

T (expected value)

1 (confidence rate)

DNF

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

0
PhaseVariation — P/T (125.50 pts max)
  GreatSPN Tapaal smart
Score 50.20 125.50 12.55
fastest 0 10 0
smallest memory 1 9 0
D02CS010

F (expected value)

2.99 (confidence rate)

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

F (expected value)

1.99 (confidence rate)

F
T
----:-- / 12.55
F
T
----:PM / 12.55
DNF

0
D05CS010

F (expected value)

1.99 (confidence rate)

F
T
----:-- / 12.55
F
T
----:PM / 12.55
DNF

0
D05CS100

F (expected value)

1.99 (confidence rate)

F
T
----:-- / 12.55
F
T
----:PM / 12.55
DNF

0
D10CS010

F (expected value)

1 (confidence rate)

CC

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

0
D10CS100

F (expected value)

1 (confidence rate)

CC

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

0
D20CS010

F (expected value)

1 (confidence rate)

CC

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

0
D20CS100

F (expected value)

1 (confidence rate)

CC

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

0
D30CS010

F (expected value)

1 (confidence rate)

CC

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

0
D30CS100

F (expected value)

1 (confidence rate)

CC

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

0
Philosophers — Colored (87.31 pts max)
  GreatSPN Tapaal smart
Score 53.76 87.36 0.00
fastest 0 13 0
smallest memory 3 10 0
000005

F (expected value)

1.99 (confidence rate)

F
T
----:-- / 6.72
F
T
----:PM / 6.72
DNC
000010

F (expected value)

1.99 (confidence rate)

F
T
----:-- / 6.72
F
T
----:PM / 6.72
DNC
000020

F (expected value)

1.99 (confidence rate)

F
T
----:-M / 6.72
F
T
----:P- / 6.72
DNC
000050

F (expected value)

1.99 (confidence rate)

F
T
----:-- / 6.72
F
T
----:PM / 6.72
DNC
000100

F (expected value)

1.99 (confidence rate)

F
T
----:-M / 6.72
F
T
----:P- / 6.72
DNC
000200

F (expected value)

1.99 (confidence rate)

F
T
----:-- / 6.72
F
T
----:PM / 6.72
DNC
000500

F (expected value)

1.99 (confidence rate)

F
T
----:-M / 6.72
F
T
----:P- / 6.72
DNC
001000

F (expected value)

1.99 (confidence rate)

F
T
----:-- / 6.72
F
T
----:PM / 6.72
DNC
002000

F (expected value)

1 (confidence rate)

CC

0
F
T
----:PM / 6.72
DNC
005000

F (expected value)

1 (confidence rate)

CC

0
F
T
----:PM / 6.72
DNC
010000

F (expected value)

1 (confidence rate)

CC

0
F
T
----:PM / 6.72
DNC
050000

F (expected value)

1 (confidence rate)

DNF

0
F
T
----:PM / 6.72
DNC
100000

F (expected value)

1 (confidence rate)

DNF

0
F
T
----:PM / 6.72
DNC
Philosophers — P/T (73.88 pts max)
  GreatSPN Tapaal smart
Score 53.76 60.48 13.44
fastest 8 1 0
smallest memory 3 6 0
000005

T (expected value)

2.99 (confidence rate)

T
T
----:P- / 6.72
T
T
----:-M / 6.72
T
T
----:-- / 6.72
000010

T (expected value)

2.99 (confidence rate)

T
T
----:P- / 6.72
T
T
----:-M / 6.72
T
T
----:-- / 6.72
000020

T (expected value)

1.99 (confidence rate)

T
T
----:P- / 6.72
T
T
----:-M / 6.72
DNF

0
000050

T (expected value)

1.99 (confidence rate)

T
T
----:PM / 6.72
T
T
----:-- / 6.72
DNF

0
000100

T (expected value)

1.99 (confidence rate)

T
T
----:PM / 6.72
T
T
----:-- / 6.72
DNF

0
000200

T (expected value)

1.99 (confidence rate)

T
T
----:P- / 6.72
T
T
----:-M / 6.72
DNF

0
000500

T (expected value)

1.99 (confidence rate)

T
T
----:P- / 6.72
T
T
----:-M / 6.72
DNF

0
001000

T (expected value)

1.99 (confidence rate)

T
T
----:PM / 6.72
T
T
----:-- / 6.72
DNF

0
002000

T (expected value)

1 (confidence rate)

CC

0
T
T
----:PM / 6.72
DNF

0
005000

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNF

0
010000

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNF

0
PhilosophersDyn — Colored (75.25 pts max)
  GreatSPN Tapaal smart
Score 30.09 75.25 0.00
fastest 0 5 0
smallest memory 1 4 0
03

F (expected value)

1.99 (confidence rate)

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

F (expected value)

1.99 (confidence rate)

F
T
----:-M / 15.05
F
T
----:P- / 15.05
DNC
20

F (expected value)

1 (confidence rate)

CC

0
F
T
----:PM / 15.05
DNC
50

F (expected value)

1 (confidence rate)

CC

0
F
T
----:PM / 15.05
DNC
80

F (expected value)

1 (confidence rate)

CC

0
F
T
----:PM / 15.05
DNC
PhilosophersDyn — P/T (45.15 pts max)
  GreatSPN Tapaal smart
Score 30.09 45.15 0.00
fastest 1 2 0
smallest memory 1 2 0
03

T (expected value)

1.99 (confidence rate)

T
T
----:PM / 15.05
T
T
----:-- / 15.05
CC

0
10

T (expected value)

1.99 (confidence rate)

T
T
----:-- / 15.05
T
T
----:PM / 15.05
DNF

0
20

T (expected value)

1 (confidence rate)

CC

0
T
T
----:PM / 15.05
DNF

0
Planning — P/T (102.55 pts max)
  GreatSPN Tapaal smart
Score 0.00 102.55 0.00
fastest 0 1 0
smallest memory 0 1 0
none

F (expected value)

1 (confidence rate)

CC

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

0
PolyORBLF — Colored (95.90 pts max)
  GreatSPN Tapaal smart
Score 10.66 95.94 0.00
fastest 0 18 0
smallest memory 0 18 0
S02J04T06

F (expected value)

1.99 (confidence rate)

F
T
----:-- / 5.33
F
T
----:PM / 5.33
DNC
S02J04T08

F (expected value)

1 (confidence rate)

DNF

0
F
T
----:PM / 5.33
DNC
S02J04T10

F (expected value)

1 (confidence rate)

DNF

0
F
T
----:PM / 5.33
DNC
S02J06T06

F (expected value)

1.99 (confidence rate)

F
T
----:-- / 5.33
F
T
----:PM / 5.33
DNC
S02J06T08

F (expected value)

1 (confidence rate)

DNF

0
F
T
----:PM / 5.33
DNC
S02J06T10

F (expected value)

1 (confidence rate)

DNF

0
F
T
----:PM / 5.33
DNC
S04J04T06

F (expected value)

1 (confidence rate)

DNF

0
F
T
----:PM / 5.33
DNC
S04J04T08

F (expected value)

1 (confidence rate)

CC

0
F
T
----:PM / 5.33
DNC
S04J04T10

F (expected value)

1 (confidence rate)

CC

0
F
T
----:PM / 5.33
DNC
S04J06T06

F (expected value)

1 (confidence rate)

DNF

0
F
T
----:PM / 5.33
DNC
S04J06T08

F (expected value)

1 (confidence rate)

CC

0
F
T
----:PM / 5.33
DNC
S04J06T10

F (expected value)

1 (confidence rate)

CC

0
F
T
----:PM / 5.33
DNC
S06J04T04

F (expected value)

1 (confidence rate)

CC

0
F
T
----:PM / 5.33
DNC
S06J04T06

F (expected value)

1 (confidence rate)

CC

0
F
T
----:PM / 5.33
DNC
S06J04T08

F (expected value)

1 (confidence rate)

CC

0
F
T
----:PM / 5.33
DNC
S06J06T04

F (expected value)

1 (confidence rate)

CC

0
F
T
----:PM / 5.33
DNC
S06J06T06

F (expected value)

1 (confidence rate)

CC

0
F
T
----:PM / 5.33
DNC
S06J06T08

F (expected value)

1 (confidence rate)

CC

0
F
T
----:PM / 5.33
DNC
PolyORBLF — P/T (95.90 pts max)
  GreatSPN Tapaal smart
Score 10.66 95.94 0.00
fastest 0 18 0
smallest memory 0 18 0
S02J04T06

F (expected value)

1.99 (confidence rate)

F
T
----:-- / 5.33
F
T
----:PM / 5.33
DNF

0
S02J04T08

F (expected value)

1 (confidence rate)

DNF

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

0
S02J04T10

F (expected value)

1 (confidence rate)

DNF

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

0
S02J06T06

F (expected value)

1.99 (confidence rate)

F
T
----:-- / 5.33
F
T
----:PM / 5.33
DNF

0
S02J06T08

F (expected value)

1 (confidence rate)

DNF

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

0
S02J06T10

F (expected value)

1 (confidence rate)

DNF

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

0
S04J04T06

F (expected value)

1 (confidence rate)

DNF

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

0
S04J04T08

F (expected value)

1 (confidence rate)

CC

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

0
S04J04T10

F (expected value)

1 (confidence rate)

CC

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

0
S04J06T06

F (expected value)

1 (confidence rate)

DNF

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

0
S04J06T08

F (expected value)

1 (confidence rate)

CC

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

0
S04J06T10

F (expected value)

1 (confidence rate)

CC

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

0
S06J04T04

F (expected value)

1 (confidence rate)

CC

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

0
S06J04T06

F (expected value)

1 (confidence rate)

CC

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

0
S06J04T08

F (expected value)

1 (confidence rate)

CC

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

0
S06J06T04

F (expected value)

1 (confidence rate)

CC

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

0
S06J06T06

F (expected value)

1 (confidence rate)

CC

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

0
S06J06T08

F (expected value)

1 (confidence rate)

CC

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

0
PolyORBNT — Colored (75.50 pts max)
  GreatSPN Tapaal smart
Score 7.55 75.50 0.00
fastest 0 10 0
smallest memory 1 9 0
S05J20

F (expected value)

1.99 (confidence rate)

F
T
----:-M / 7.55
F
T
----:P- / 7.55
DNC
S05J30

F (expected value)

1 (confidence rate)

DNF

0
F
T
----:PM / 7.55
DNC
S05J40

F (expected value)

1 (confidence rate)

DNF

0
F
T
----:PM / 7.55
DNC
S05J60

F (expected value)

1 (confidence rate)

DNF

0
F
T
----:PM / 7.55
DNC
S05J80

F (expected value)

1 (confidence rate)

CC

0
F
T
----:PM / 7.55
DNC
S10J20

F (expected value)

1 (confidence rate)

CC

0
F
T
----:PM / 7.55
DNC
S10J30

F (expected value)

1 (confidence rate)

CC

0
F
T
----:PM / 7.55
DNC
S10J40

F (expected value)

1 (confidence rate)

CC

0
F
T
----:PM / 7.55
DNC
S10J60

F (expected value)

1 (confidence rate)

CC

0
F
T
----:PM / 7.55
DNC
S10J80

F (expected value)

1 (confidence rate)

CC

0
F
T
----:PM / 7.55
DNC
PolyORBNT — P/T (75.50 pts max)
  GreatSPN Tapaal smart
Score 0.00 75.50 0.00
fastest 0 10 0
smallest memory 0 10 0
S05J20

F (expected value)

1 (confidence rate)

DNF

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

0
S05J30

F (expected value)

1 (confidence rate)

DNF

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

0
S05J40

F (expected value)

1 (confidence rate)

DNF

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

0
S05J60

F (expected value)

1 (confidence rate)

DNF

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

0
S05J80

F (expected value)

1 (confidence rate)

DNF

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

0
S10J20

F (expected value)

1 (confidence rate)

CC

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

0
S10J30

F (expected value)

1 (confidence rate)

CC

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

0
S10J40

F (expected value)

1 (confidence rate)

CC

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

0
S10J60

F (expected value)

1 (confidence rate)

CC

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

0
S10J80

F (expected value)

1 (confidence rate)

CC

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

0
ProductionCell — P/T (102.55 pts max)
  GreatSPN Tapaal smart
Score 102.55 102.55 102.55
fastest 0 1 0
smallest memory 0 1 0
none

T (expected value)

2.99 (confidence rate)

T
T
----:-- / 102.55
T
T
----:PM / 102.55
T
T
----:-- / 102.55
QuasiCertifProtocol — Colored (67.84 pts max)
  GreatSPN Tapaal smart
Score 29.06 67.83 0.00
fastest 0 7 0
smallest memory 3 4 0
02

F (expected value)

1.99 (confidence rate)

F
T
----:-M / 9.69
F
T
----:P- / 9.69
DNC
06

F (expected value)

1.99 (confidence rate)

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

F (expected value)

1.99 (confidence rate)

F
T
----:-M / 9.69
F
T
----:P- / 9.69
DNC
18

F (expected value)

1 (confidence rate)

DNF

0
F
T
----:PM / 9.69
DNC
22

F (expected value)

1 (confidence rate)

DNF

0
F
T
----:PM / 9.69
DNC
28

F (expected value)

1 (confidence rate)

CC

0
F
T
----:PM / 9.69
DNC
32

F (expected value)

1 (confidence rate)

CC

0
F
T
----:PM / 9.69
DNC
QuasiCertifProtocol — P/T (67.84 pts max)
  GreatSPN Tapaal smart
Score 29.06 67.83 19.38
fastest 0 7 0
smallest memory 0 7 0
02

T (expected value)

2.99 (confidence rate)

T
T
----:-- / 9.69
T
T
----:PM / 9.69
T
T
----:-- / 9.69
06

F (expected value)

2.99 (confidence rate)

F
T
----:-- / 9.69
F
T
----:PM / 9.69
F
T
----:-- / 9.69
10

F (expected value)

1.99 (confidence rate)

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

0
18

F (expected value)

1 (confidence rate)

DNF

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

0
22

F (expected value)

1 (confidence rate)

DNF

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

0
28

F (expected value)

1 (confidence rate)

CC

0
F
T
----:PM / 9.69