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

Introduction

Please find here the computed results for the QuasiLiveness 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 QuasiLiveness
  GreatSPN Tapaal smart
Total Points 10909.44 13202.23 5490.51

All «Surprise» models
 
  GreatSPN Tapaal smart
Total Points 3827.04 4032.55 3013.63
fastest 69 84 2
less memory 95 60 0
SatelliteMemory — P/T (451.00 pts max)
  GreatSPN Tapaal smart
Score 270.59 451.00 90.20
fastest 0 5 0
smallest memory 2 3 0
X00100Y0003

T (expected value)

2.99 (confidence rate)

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

T (expected value)

1.99 (confidence rate)

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

0
X01500Y0046

T (expected value)

1.99 (confidence rate)

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

0
X03000Y0094

T (expected value)

1 (confidence rate)

DNF

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

0
X65535Y2048

T (expected value)

1 (confidence rate)

DNF

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

0
ShieldIIPs — P/T (624.40 pts max)
  GreatSPN Tapaal smart
Score 284.00 255.59 198.80
fastest 8 2 0
smallest memory 7 3 0
001A

T (expected value)

2.99 (confidence rate)

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

T (expected value)

1.99 (confidence rate)

T
T
----:PM / 28.40
T
T
----:-- / 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
----:P- / 28.40
T
T
----:-M / 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
----:PM / 28.40
T
T
----:-- / 28.40
T
T
----:-- / 28.40
004A

T (expected value)

2.99 (confidence rate)

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

T (expected value)

0.99 (confidence rate)

T
T
----:PM / 28.40
CC

0
DNF

0
005A

T (expected value)

2.99 (confidence rate)

T
T
----:PM / 28.40
T
T
----:-- / 28.40
T
T
----:-- / 28.40
005B

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
010A

T (expected value)

1.99 (confidence rate)

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

0
010B

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
020A

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
020B

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
030A

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
030B

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
040A

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
040B

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
050A

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
050B

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
100A

? (expected value)

0 (confidence rate)

DNF

0
CC

0
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 397.59 454.40
fastest 13 4 1
smallest memory 15 3 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
----:PM / 28.40
T
T
----:-- / 28.40
T
T
----:-- / 28.40
003A

T (expected value)

2.99 (confidence rate)

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

T (expected value)

2.99 (confidence rate)

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

T (expected value)

2.99 (confidence rate)

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

T (expected value)

2.99 (confidence rate)

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

T (expected value)

2.99 (confidence rate)

T
T
----:PM / 28.40
T
T
----:-- / 28.40
T
T
----:-- / 28.40
005B

T (expected value)

2.99 (confidence rate)

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

T (expected value)

2.99 (confidence rate)

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

T (expected value)

1.99 (confidence rate)

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

0
020A

T (expected value)

2.99 (confidence rate)

T
T
----:PM / 28.40
T
T
----:-- / 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)

1.99 (confidence rate)

T
T
----:PM / 28.40
CC

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

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
040A

T (expected value)

1.99 (confidence rate)

T
T
----:PM / 28.40
CC

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

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
050A

T (expected value)

1.99 (confidence rate)

T
T
----:PM / 28.40
CC

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

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
100A

T (expected value)

1.99 (confidence rate)

T
T
----:PM / 28.40
CC

0
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 284.00 198.80
fastest 1 9 0
smallest memory 8 2 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
----:-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
----:-- / 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)

1.99 (confidence rate)

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

0
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

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
010A

T (expected value)

1 (confidence rate)

DNF

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

0
010B

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
020A

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
020B

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
030A

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
030B

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
040A

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
040B

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
050A

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
050B

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
100A

? (expected value)

0 (confidence rate)

DNF

0
CC

0
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 369.20 426.00
fastest 13 5 0
smallest memory 13 5 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
----:PM / 28.40
T
T
----:-- / 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
----:PM / 28.40
T
T
----:-- / 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
----:PM / 28.40
T
T
----:-- / 28.40
T
T
----:-- / 28.40
004A

T (expected value)

2.99 (confidence rate)

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

T (expected value)

2.99 (confidence rate)

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

T (expected value)

2.99 (confidence rate)

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

T (expected value)

1.99 (confidence rate)

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

0
010A

T (expected value)

2.99 (confidence rate)

T
T
----:PM / 28.40
T
T
----:-- / 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)

1.99 (confidence rate)

T
T
----:PM / 28.40
CC

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

T (expected value)

1 (confidence rate)

DNF

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

0
030A

T (expected value)

1.99 (confidence rate)

T
T
----:PM / 28.40
CC

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

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
040A

T (expected value)

1.99 (confidence rate)

T
T
----:PM / 28.40
CC

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

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
050A

T (expected value)

1.99 (confidence rate)

T
T
----:PM / 28.40
CC

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

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
100A

T (expected value)

1.99 (confidence rate)

T
T
----:PM / 28.40
CC

0
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 482.80 284.00 397.59
fastest 13 3 1
smallest memory 14 3 0
001A

T (expected value)

2.99 (confidence rate)

T
T
----:-M / 28.40
T
T
----:-- / 28.40
T
T
----:P- / 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
----:P- / 28.40
T
T
----:-M / 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
----:PM / 28.40
T
T
----:-- / 28.40
T
T
----:-- / 28.40
004A

T (expected value)

2.99 (confidence rate)

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

T (expected value)

2.99 (confidence rate)

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

T (expected value)

2.99 (confidence rate)

T
T
----:PM / 28.40
T
T
----:-- / 28.40
T
T
----:-- / 28.40
005B

T (expected value)

1.99 (confidence rate)

T
T
----:PM / 28.40
CC

0
T
T
----:-- / 28.40
010A

T (expected value)

2.99 (confidence rate)

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

T (expected value)

0.99 (confidence rate)

T
T
----:PM / 28.40
CC

0
DNF

0
020A

T (expected value)

1.99 (confidence rate)

T
T
----:PM / 28.40
CC

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

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNF

0
030A

T (expected value)

1.99 (confidence rate)

T
T
----:PM / 28.40
CC

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

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNF

0
040A

T (expected value)

1.99 (confidence rate)

T
T
----:PM / 28.40
CC

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

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNF

0
050A

T (expected value)

0.99 (confidence rate)

T
T
----:PM / 28.40
CC

0
DNF

0
050B

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNF

0
100A

T (expected value)

0.99 (confidence rate)

T
T
----:PM / 28.40
CC

0
DNF

0
100B

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
ShieldRVt — P/T (624.40 pts max)
  GreatSPN Tapaal smart
Score 539.59 624.80 482.80
fastest 12 10 0
smallest memory 14 8 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
----:PM / 28.40
T
T
----:-- / 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
----:PM / 28.40
T
T
----:-- / 28.40
T
T
----:-- / 28.40
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)

2.99 (confidence rate)

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

T (expected value)

2.99 (confidence rate)

T
T
----:-- / 28.40
T
T
----:PM / 28.40
T
T
----:-- / 28.40
005B

T (expected value)

2.99 (confidence rate)

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

T (expected value)

2.99 (confidence rate)

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

T (expected value)

2.99 (confidence rate)

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

T (expected value)

2.99 (confidence rate)

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

T (expected value)

1.99 (confidence rate)

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

0
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
----: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
----:P- / 28.40
T
T
----:-M / 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

T (expected value)

1 (confidence rate)

DNF

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

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

T (expected value)

2.99 (confidence rate)

T
T
----:-- / 31.23
T
T
----:PM / 31.23
T
T
----:-- / 31.23
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

F (expected value)

2.99 (confidence rate)

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

F (expected value)

2.99 (confidence rate)

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

F (expected value)

2.99 (confidence rate)

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

F (expected value)

2.99 (confidence rate)

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

F (expected value)

2.99 (confidence rate)

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

F (expected value)

2.99 (confidence rate)

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

F (expected value)

2.99 (confidence rate)

F
T
----:-- / 31.23
F
T
----:PM / 31.23
F
T
----:-- / 31.23
11

F (expected value)

2.99 (confidence rate)

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

F (expected value)

2.99 (confidence rate)

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

F (expected value)

2.99 (confidence rate)

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

F (expected value)

2.99 (confidence rate)

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

F (expected value)

2.99 (confidence rate)

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

F (expected value)

2.99 (confidence rate)

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

F (expected value)

1.99 (confidence rate)

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

0
18

F (expected value)

1.99 (confidence rate)

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

0
19

F (expected value)

1.99 (confidence rate)

F
T
----:-- / 31.23
F
T
----:PM / 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

T (expected value)

0.99 (confidence rate)

T
T
----:PM / 20.20
CC

0
DNC
AN03

T (expected value)

0.99 (confidence rate)

T
T
----:PM / 20.20
CC

0
DNC
AN04

T (expected value)

0.99 (confidence rate)

T
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

T (expected value)

0.99 (confidence rate)

T
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 2 18 0
smallest memory 1 19 0
AN01

T (expected value)

2.99 (confidence rate)

T
T
----:P- / 20.20
T
T
----:-M / 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
----:-- / 20.20
T
T
----:PM / 20.20
T
T
----:-- / 20.20
AN04

T (expected value)

1.99 (confidence rate)

T
T
----:-- / 20.20
T
T
----:PM / 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
----:PM / 20.20
T
T
----:-- / 20.20
T
T
----:-- / 20.20
BN04

T (expected value)

1.99 (confidence rate)

T
T
----:-- / 20.20
T
T
----:PM / 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 221.27 368.80 184.40
fastest 1 9 0
smallest memory 4 6 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
DNF

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)

1 (confidence rate)

CC

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

0
S03D1C1A08

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNF

0
S04D1C1A02

T (expected value)

2.99 (confidence rate)

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

T (expected value)

2.99 (confidence rate)

T
T
----:-- / 36.88
T
T
----:PM / 36.88
T
T
----:-- / 36.88
S04D1C1A04

T (expected value)

1 (confidence rate)

CC

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

0
S04D1C1A06

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNF

0
S08D1C2A02

T (expected value)

1.99 (confidence rate)

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

0
S08D1C2A04

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNF

0
S16D2C4A01

T (expected value)

2.99 (confidence rate)

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

T (expected value)

1 (confidence rate)

CC

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

0
S16D2C4A03

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNF

0

All «Known» models
 
  GreatSPN Tapaal smart
Total Points 7082.40 9169.66 2476.87
fastest 253 579 4
less memory 354 479 3
ARMCacheCoherence — P/T (102.55 pts max)
  GreatSPN Tapaal smart
Score 102.55 0.00 0.00
fastest 1 0 0
smallest memory 1 0 0
none

T (expected value)

0.99 (confidence rate)

T
T
----:PM / 102.55
CC

0
DNF

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

F (expected value)

1.99 (confidence rate)

F
T
----:PM / 7.55
CC

0
F
T
----:-- / 7.55
01b

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
02a

F (expected value)

0.99 (confidence rate)

F
T
----:PM / 7.55
CC

0
DNF

0
02b

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
03a

F (expected value)

0.99 (confidence rate)

F
T
----:PM / 7.55
CC

0
DNF

0
03b

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
04a

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
04b

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
05a

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
05b

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
06a

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
06b

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
07a

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
07b

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
08a

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
08b

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
09a

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
09b

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
10a

? (expected value)

0 (confidence rate)

DNF

0
CC

0
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 48.66 0.00
fastest 4 2 0
smallest memory 4 2 0
0010

T (expected value)

1.99 (confidence rate)

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

T (expected value)

1.99 (confidence rate)

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

T (expected value)

1.99 (confidence rate)

T
T
----:PM / 8.11
T
T
----:-- / 8.11
DNC
0100

T (expected value)

1.99 (confidence rate)

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

T (expected value)

1.99 (confidence rate)

T
T
----:PM / 8.11
T
T
----:-- / 8.11
DNC
0500

T (expected value)

1.99 (confidence rate)

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

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNC
2000

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNC
4000

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNC
AirplaneLD — P/T (72.95 pts max)
  GreatSPN Tapaal smart
Score 48.66 64.88 32.44
fastest 2 7 0
smallest memory 6 3 0
0010

T (expected value)

2.99 (confidence rate)

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

T (expected value)

2.99 (confidence rate)

T
T
----:-M / 8.11
T
T
----:P- / 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
----:PM / 8.11
T
T
----:-- / 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)

0.99 (confidence rate)

T
T
----:PM / 8.11
CC

0
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 1 6 0
smallest memory 2 5 0
01

F (expected value)

2.99 (confidence rate)

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

T (expected value)

2.99 (confidence rate)

T
T
----:PM / 16.84
T
T
----:-- / 16.84
T
T
----:-- / 16.84
10

T (expected value)

1.99 (confidence rate)

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

0
15

T (expected value)

1.99 (confidence rate)

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

0
20

T (expected value)

1.99 (confidence rate)

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

0
25

T (expected value)

1.99 (confidence rate)

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

0
50

T (expected value)

1 (confidence rate)

DNF

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

0
AutoFlight — P/T (151.00 pts max)
  GreatSPN Tapaal smart
Score 105.70 90.59 67.95
fastest 6 8 0
smallest memory 7 7 0
01a

T (expected value)

2.99 (confidence rate)

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

T (expected value)

2.99 (confidence rate)

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

T (expected value)

2.99 (confidence rate)

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

T (expected value)

2.99 (confidence rate)

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

T (expected value)

2.99 (confidence rate)

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

T (expected value)

1.99 (confidence rate)

T
T
----:PM / 7.55
CC

0
T
T
----:-- / 7.55
04a

T (expected value)

2.99 (confidence rate)

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

T (expected value)

0.99 (confidence rate)

T
T
----:PM / 7.55
CC

0
DNF

0
05a

T (expected value)

1.99 (confidence rate)

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

0
05b

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
06a

T (expected value)

1.99 (confidence rate)

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

0
06b

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
12a

T (expected value)

2.99 (confidence rate)

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

? (expected value)

0 (confidence rate)

DNF

0
CC

0
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

? (expected value)

0 (confidence rate)

DNF

0
CC

0
CC

0
48a

T (expected value)

1.99 (confidence rate)

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

0
48b

? (expected value)

0 (confidence rate)

DNF

0
CC

0
CC

0
96a

T (expected value)

1.99 (confidence rate)

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

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

DNF

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 0 8 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
----:-- / 8.80
T
T
----:PM / 8.80
DNF

0
010

T (expected value)

1.99 (confidence rate)

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

0
020

T (expected value)

1.99 (confidence rate)

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

0
030

T (expected value)

1.99 (confidence rate)

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

0
040

T (expected value)

1.99 (confidence rate)

T
T
----:-M / 8.80
T
T
----:P- / 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 70.70 101.00 0.00
fastest 8 12 0
smallest memory 11 9 0
V04P05N02

T (expected value)

1.99 (confidence rate)

T
T
----:PM / 5.05
T
T
----:-- / 5.05
DNC
V10P10N10

T (expected value)

1.99 (confidence rate)

T
T
----:PM / 5.05
T
T
----:-- / 5.05
DNC
V20P10N10

T (expected value)

1.99 (confidence rate)

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

T (expected value)

1.99 (confidence rate)

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

F (expected value)

1.99 (confidence rate)

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

T (expected value)

1.99 (confidence rate)

T
T
----:PM / 5.05
T
T
----:-- / 5.05
DNC
V20P20N20

T (expected value)

1.99 (confidence rate)

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

F (expected value)

1.99 (confidence rate)

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

T (expected value)

1.99 (confidence rate)

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

T (expected value)

1.99 (confidence rate)

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

T (expected value)

1 (confidence rate)

DNF

0
T
T
----:PM / 5.05
DNC
V50P50N10

T (expected value)

1.99 (confidence rate)

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

T (expected value)

1.99 (confidence rate)

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

T (expected value)

1 (confidence rate)

DNF

0
T
T
----:PM / 5.05
DNC
V80P20N10

T (expected value)

1.99 (confidence rate)

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

T (expected value)

1 (confidence rate)

DNF

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

T (expected value)

1 (confidence rate)

DNF

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

T (expected value)

1.99 (confidence rate)

T
T
----:-- / 5.05
T
T
----:PM / 5.05
DNC
V80P50N20

T (expected value)

1 (confidence rate)

DNF

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

T (expected value)

1 (confidence rate)

DNF

0
T
T
----:PM / 5.05
DNC
BridgeAndVehicles — P/T (101.00 pts max)
  GreatSPN Tapaal smart
Score 90.90 40.40 10.09
fastest 17 1 0
smallest memory 15 3 0
V04P05N02

F (expected value)

2.99 (confidence rate)

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

F (expected value)

2.99 (confidence rate)

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

F (expected value)

1.99 (confidence rate)

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

0
V20P10N20

F (expected value)

1.99 (confidence rate)

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

0
V20P10N50

F (expected value)

1.99 (confidence rate)

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

0
V20P20N10

F (expected value)

1.99 (confidence rate)

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

0
V20P20N20

F (expected value)

1.99 (confidence rate)

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

0
V20P20N50

F (expected value)

1.99 (confidence rate)

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

0
V50P20N10

F (expected value)

0.99 (confidence rate)

F
T
----:PM / 5.05
CC

0
DNF

0
V50P20N20

F (expected value)

0.99 (confidence rate)

F
T
----:PM / 5.05
CC

0
DNF

0
V50P20N50

F (expected value)

0.99 (confidence rate)

F
T
----:PM / 5.05
CC

0
DNF

0
V50P50N10

F (expected value)

0.99 (confidence rate)

F
T
----:PM / 5.05
CC

0
DNF

0
V50P50N20

F (expected value)

0.99 (confidence rate)

F
T
----:PM / 5.05
CC

0
DNF

0
V50P50N50

F (expected value)

0.99 (confidence rate)

F
T
----:PM / 5.05
CC

0
DNF

0
V80P20N10

F (expected value)

0.99 (confidence rate)

F
T
----:PM / 5.05
CC

0
DNF

0
V80P20N20

F (expected value)

0.99 (confidence rate)

F
T
----:PM / 5.05
CC

0
DNF

0
V80P20N50

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
V80P50N10

F (expected value)

0.99 (confidence rate)

F
T
----:PM / 5.05
CC

0
DNF

0
V80P50N20

F (expected value)

0.99 (confidence rate)

F
T
----:PM / 5.05
CC

0
DNF

0
V80P50N50

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
BusinessProcesses — P/T (151.00 pts max)
  GreatSPN Tapaal smart
Score 135.90 151.00 45.30
fastest 0 20 0
smallest memory 11 9 0
01

F (expected value)

2.99 (confidence rate)

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

F (expected value)

2.99 (confidence rate)

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

F (expected value)

2.99 (confidence rate)

F
T
----:-- / 7.55
F
T
----:PM / 7.55
F
T
----:-- / 7.55
04

F (expected value)

2.99 (confidence rate)

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

F (expected value)

2.99 (confidence rate)

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

F (expected value)

1.99 (confidence rate)

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

0
07

F (expected value)

1.99 (confidence rate)

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

0
08

F (expected value)

2.99 (confidence rate)

F
T
----:-- / 7.55
F
T
----:PM / 7.55
F
T
----:-- / 7.55
09

F (expected value)

1.99 (confidence rate)

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

0
10

F (expected value)

1 (confidence rate)

DNF

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

0
11

F (expected value)

1.99 (confidence rate)

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

0
12

F (expected value)

1.99 (confidence rate)

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

0
13

F (expected value)

1.99 (confidence rate)

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

0
14

F (expected value)

1 (confidence rate)

DNF

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

0
15

F (expected value)

1.99 (confidence rate)

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

0
16

F (expected value)

1.99 (confidence rate)

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

0
17

F (expected value)

1.99 (confidence rate)

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

0
18

F (expected value)

1.99 (confidence rate)

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

0
19

F (expected value)

1.99 (confidence rate)

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

0
20

F (expected value)

1.99 (confidence rate)

F
T
----:-M / 7.55
F
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 2 4 0
02

T (expected value)

1.99 (confidence rate)

T
T
----:-- / 10.88
T
T
----:PM / 10.88
DNC
03

T (expected value)

1.99 (confidence rate)

T
T
----:-- / 10.88
T
T
----:PM / 10.88
DNC
04

T (expected value)

1.99 (confidence rate)

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

T (expected value)

1.99 (confidence rate)

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

T (expected value)

1.99 (confidence rate)

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

T (expected value)

1 (confidence rate)

DNF

0
T
T
----:PM / 10.88
DNC
CSRepetitions — P/T (65.30 pts max)
  GreatSPN Tapaal smart
Score 43.52 65.27 10.88
fastest 1 5 0
smallest memory 3 3 0
02

T (expected value)

2.99 (confidence rate)

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

T (expected value)

1.99 (confidence rate)

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

0
04

T (expected value)

1.99 (confidence rate)

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

0
05

T (expected value)

1.99 (confidence rate)

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

0
07

T (expected value)

1 (confidence rate)

DNF

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

0
10

T (expected value)

1 (confidence rate)

DNF

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

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

T (expected value)

2.99 (confidence rate)

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

T (expected value)

2.99 (confidence rate)

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

T (expected value)

1.99 (confidence rate)

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

0
001000

T (expected value)

1.99 (confidence rate)

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

0
010000

T (expected value)

1 (confidence rate)

DNF

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

0
100000

T (expected value)

1 (confidence rate)

DNF

0
T
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 1 6 0
012

T (expected value)

2.99 (confidence rate)

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

T (expected value)

2.99 (confidence rate)

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

T (expected value)

1.99 (confidence rate)

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

0
096

T (expected value)

1.99 (confidence rate)

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

0
192

T (expected value)

1.99 (confidence rate)

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

0
384

T (expected value)

1.99 (confidence rate)

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

0
768

T (expected value)

1.99 (confidence rate)

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

0
ClientsAndServers — P/T (151.00 pts max)
  GreatSPN Tapaal smart
Score 60.40 151.00 22.65
fastest 2 18 0
smallest memory 3 17 0
N0001P0

T (expected value)

2.99 (confidence rate)

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

T (expected value)

2.99 (confidence rate)

T
T
----:PM / 7.55
T
T
----:-- / 7.55
T
T
----:-- / 7.55
N0002P1

T (expected value)

2.99 (confidence rate)

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

T (expected value)

1.99 (confidence rate)

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

0
N0005P1

T (expected value)

1.99 (confidence rate)

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

0
N0010P0

T (expected value)

1.99 (confidence rate)

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

0
N0010P1

T (expected value)

1.99 (confidence rate)

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

0
N0010P2

T (expected value)

1.99 (confidence rate)

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

0
N0020P0

T (expected value)

1 (confidence rate)

DNF

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

0
N0020P1

T (expected value)

1 (confidence rate)

DNF

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

0
N0020P2

T (expected value)

1 (confidence rate)

DNF

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

0
N0020P3

T (expected value)

1 (confidence rate)

DNF

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

0
N0020P4

T (expected value)

1 (confidence rate)

DNF

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

0
N0050P0

T (expected value)

1 (confidence rate)

DNF

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

0
N0100P0

T (expected value)

1 (confidence rate)

DNF

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

0
N0200P0

T (expected value)

1 (confidence rate)

DNF

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

0
N0500P0

T (expected value)

1 (confidence rate)

DNF

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

0
N1000P0

T (expected value)

1 (confidence rate)

DNF

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

0
N2000P0

T (expected value)

1 (confidence rate)

DNF

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

0
N5000P0

T (expected value)

1 (confidence rate)

DNF

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

0
CloudDeployment — P/T (130.59 pts max)
  GreatSPN Tapaal smart
Score 87.04 87.04 21.76
fastest 4 7 0
smallest memory 6 5 0
2a

T (expected value)

2.99 (confidence rate)

T
T
----:-- / 10.88
T
T
----:PM / 10.88
T
T
----:-- / 10.88
2b

F (expected value)

1.99 (confidence rate)

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

0
3a

T (expected value)

2.99 (confidence rate)

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

F (expected value)

1.99 (confidence rate)

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

0
4a

T (expected value)

1.99 (confidence rate)

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

0
4b

F (expected value)

1 (confidence rate)

DNF

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

0
5a

T (expected value)

0.99 (confidence rate)

T
T
----:PM / 10.88
CC

0
DNF

0
5b

F (expected value)

1 (confidence rate)

DNF

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

0
6a

T (expected value)

0.99 (confidence rate)

T
T
----:PM / 10.88
CC

0
DNF

0
6b

F (expected value)

1 (confidence rate)

CC

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

0
7a

T (expected value)

0.99 (confidence rate)

T
T
----:PM / 10.88
CC

0
DNF

0
7b

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNF

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

T (expected value)

2.99 (confidence rate)

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

T (expected value)

2.99 (confidence rate)

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

T (expected value)

1.99 (confidence rate)

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

0
00020by00010

T (expected value)

1.99 (confidence rate)

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

0
00040by00020

T (expected value)

1.99 (confidence rate)

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

0
00080by00040

T (expected value)

1.99 (confidence rate)

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

0
00160by00080

T (expected value)

1.99 (confidence rate)

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

0
00320by00160

T (expected value)

1.99 (confidence rate)

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

0
00640by00320

T (expected value)

1 (confidence rate)

DNF

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

0
01280by00640

T (expected value)

1 (confidence rate)

DNF

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

0
02560by01280

T (expected value)

1 (confidence rate)

DNF

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

0
05120by02560

T (expected value)

1 (confidence rate)

DNF

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

0
10240by05120

T (expected value)

1 (confidence rate)

DNF

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

0
20480by10240

T (expected value)

1 (confidence rate)

DNF

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

0
CloudReconfiguration — P/T (156.09 pts max)
  GreatSPN Tapaal smart
Score 149.09 78.09 0.00
fastest 10 11 0
smallest memory 19 2 0
301

T (expected value)

0.99 (confidence rate)

T
T
----:PM / 7.09
CC

0
DNF

0
302

T (expected value)

0.99 (confidence rate)

T
T
----:PM / 7.09
CC

0
DNF

0
303

F (expected value)

1.99 (confidence rate)

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

0
304

T (expected value)

0.99 (confidence rate)

T
T
----:PM / 7.09
CC

0
DNF

0
305

F (expected value)

0.99 (confidence rate)

F
T
----:PM / 7.09
CC

0
DNF

0
306

F (expected value)

1.99 (confidence rate)

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

0
307

F (expected value)

1.99 (confidence rate)

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

0
308

T (expected value)

0.99 (confidence rate)

T
T
----:PM / 7.09
CC

0
DNF

0
309

T (expected value)

0.99 (confidence rate)

T
T
----:PM / 7.09
CC

0
DNF

0
310

F (expected value)

0.99 (confidence rate)

F
T
----:PM / 7.09
CC

0
DNF

0
311

F (expected value)

1.99 (confidence rate)

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

0
312

T (expected value)

0.99 (confidence rate)

T
T
----:PM / 7.09
CC

0
DNF

0
313

T (expected value)

0.99 (confidence rate)

T
T
----:PM / 7.09
CC

0
DNF

0
314

F (expected value)

1.99 (confidence rate)

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

0
315

F (expected value)

1.99 (confidence rate)

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

0
316

F (expected value)

1.99 (confidence rate)

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

0
317

F (expected value)

1.99 (confidence rate)

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

0
318

F (expected value)

1.99 (confidence rate)

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

0
319

F (expected value)

1.99 (confidence rate)

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

0
320

F (expected value)

1.99 (confidence rate)

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

0
401

T (expected value)

0.99 (confidence rate)

T
T
----:PM / 7.09
CC

0
DNF

0
402

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
DES — P/T (151.00 pts max)
  GreatSPN Tapaal smart
Score 151.00 75.50 15.09
fastest 18 2 0
smallest memory 17 3 0
00a

T (expected value)

2.99 (confidence rate)

T
T
----:-- / 7.55
T
T
----:PM / 7.55
T
T
----:-- / 7.55
00b

T (expected value)

0.99 (confidence rate)

T
T
----:PM / 7.55
CC

0
DNF

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)

0.99 (confidence rate)

T
T
----:PM / 7.55
CC

0
DNF

0
02a

T (expected value)

1.99 (confidence rate)

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

0
02b

T (expected value)

0.99 (confidence rate)

T
T
----:PM / 7.55
CC

0
DNF

0
05a

T (expected value)

1.99 (confidence rate)

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

0
05b

T (expected value)

0.99 (confidence rate)

T
T
----:PM / 7.55
CC

0
DNF

0
10a

T (expected value)

1.99 (confidence rate)

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

0
10b

T (expected value)

0.99 (confidence rate)

T
T
----:PM / 7.55
CC

0
DNF

0
20a

T (expected value)

1.99 (confidence rate)

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

0
20b

T (expected value)

0.99 (confidence rate)

T
T
----:PM / 7.55
CC

0
DNF

0
30a

T (expected value)

1.99 (confidence rate)

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

0
30b

T (expected value)

0.99 (confidence rate)

T
T
----:PM / 7.55
CC

0
DNF

0
40a

T (expected value)

1.99 (confidence rate)

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

0
40b

T (expected value)

0.99 (confidence rate)

T
T
----:PM / 7.55
CC

0
DNF

0
50a

T (expected value)

1.99 (confidence rate)

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

0
50b

T (expected value)

0.99 (confidence rate)

T
T
----:PM / 7.55
CC

0
DNF

0
60a

T (expected value)

1.99 (confidence rate)

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

0
60b

T (expected value)

0.99 (confidence rate)

T
T
----:PM / 7.55
CC

0
DNF

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

T (expected value)

1.99 (confidence rate)

T
T
----:PM / 9.69
T
T
----:-- / 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
----:P- / 9.69
T
T
----:-M / 9.69
CC

0
3b

T (expected value)

1 (confidence rate)

CC

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

0
4a

T (expected value)

1.99 (confidence rate)

T
T
----:PM / 9.69
T
T
----:-- / 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
----:PM / 9.69
T
T
----:-- / 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
----:PM / 9.69
T
T
----:-- / 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
----:P- / 9.69
T
T
----:-M / 9.69
DNF

0
7b

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNF

0
8a

? (expected value)

0 (confidence rate)

CC

0
CC

0
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 134.90 7.09
fastest 11 8 0
smallest memory 5 14 0
03a

T (expected value)

2.99 (confidence rate)

T
T
----:P- / 7.09
T
T
----:-M / 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
----:PM / 7.09
T
T
----:-- / 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
----:PM / 7.09
T
T
----:-- / 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
----:P- / 7.09
T
T
----:-M / 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
----:PM / 7.09
T
T
----:-- / 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
----:PM / 7.09
T
T
----:-- / 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
----:P- / 7.09
T
T
----:-M / 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
----:PM / 7.09
T
T
----:-- / 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
----:P- / 7.09
T
T
----:-M / 7.09
DNF

0
11b

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
12a

T (expected value)

1.99 (confidence rate)

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

0
12b

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
13a

T (expected value)

1.99 (confidence rate)

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

0
13b

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNF

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

T (expected value)

1.99 (confidence rate)

T
T
----:PM / 12.55
T
T
----:-- / 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
----:PM / 12.55
T
T
----:-- / 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
----:P- / 12.55
T
T
----:-M / 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
----:PM / 12.55
T
T
----:-- / 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 56.77 89.20
fastest 14 0 3
smallest memory 12 5 0
01track12Block1

F (expected value)

2.99 (confidence rate)

F
T
----:-M / 8.11
F
T
----:-- / 8.11
F
T
----:P- / 8.11
02track12Block2

F (expected value)

2.99 (confidence rate)

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

F (expected value)

2.99 (confidence rate)

F
T
----:-M / 8.11
F
T
----:-- / 8.11
F
T
----:P- / 8.11
04track28LL

F (expected value)

1.99 (confidence rate)

F
T
----:PM / 8.11
CC

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

F (expected value)

1.99 (confidence rate)

F
T
----:PM / 8.11
CC

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

F (expected value)

1.99 (confidence rate)

F
T
----:PM / 8.11
CC

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

F (expected value)

1.99 (confidence rate)

F
T
----:PM / 8.11
CC

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

F (expected value)

2.99 (confidence rate)

F
T
----:P- / 8.11
F
T
----:-M / 8.11
F
T
----:-- / 8.11
09ringLR

F (expected value)

2.99 (confidence rate)

F
T
----:P- / 8.11
F
T
----:-M / 8.11
F
T
----:-- / 8.11
10ringRL

F (expected value)

2.99 (confidence rate)

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

F (expected value)

2.99 (confidence rate)

F
T
----:P- / 8.11
F
T
----:-M / 8.11
F
T
----:-- / 8.11
12ringLLLarge

F (expected value)

0.99 (confidence rate)

F
T
----:PM / 8.11
CC

0
CC

0
13ringRLLarge

F (expected value)

0.99 (confidence rate)

F
T
----:PM / 8.11
CC

0
CC

0
14ringLRLarge

F (expected value)

0.99 (confidence rate)

F
T
----:PM / 8.11
CC

0
CC

0
15ringRRLarge

F (expected value)

0.99 (confidence rate)

F
T
----:PM / 8.11
CC

0
CC

0
16redondantChoiceR

F (expected value)

0.99 (confidence rate)

F
T
----:PM / 8.11
CC

0
CC

0
17redondantChoiceL

F (expected value)

0.99 (confidence rate)

F
T
----:PM / 8.11
CC

0
CC

0
18lozangeBlock

? (expected value)

0 (confidence rate)

DNF

0
CC

0
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

T (expected value)

1.99 (confidence rate)

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

T (expected value)

1.99 (confidence rate)

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

T (expected value)

1 (confidence rate)

DNF

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

T (expected value)

1 (confidence rate)

DNF

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

T (expected value)

1 (confidence rate)

CC

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

T (expected value)

2.99 (confidence rate)

T
T
----:P- / 12.55
T
T
----:-M / 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 2 4 0
smallest memory 3 3 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
----:-M / 19.22
T
T
----:P- / 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
----:P- / 19.22
T
T
----:-M / 19.22
DNF

0
100

T (expected value)

1.99 (confidence rate)

T
T
----:PM / 19.22
T
T
----:-- / 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 120.00 24.00
fastest 8 12 0
smallest memory 12 8 0
D05N010

T (expected value)

2.99 (confidence rate)

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

T (expected value)

2.99 (confidence rate)

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

T (expected value)

1.99 (confidence rate)

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

0
D05N150

T (expected value)

1.99 (confidence rate)

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

0
D05N200

T (expected value)

1.99 (confidence rate)

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

0
D05N250

T (expected value)

1.99 (confidence rate)

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

0
D05N300

T (expected value)

1 (confidence rate)

DNF

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

0
D05N350

T (expected value)

1 (confidence rate)

DNF

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

0
D10N010

T (expected value)

2.99 (confidence rate)

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

T (expected value)

1.99 (confidence rate)

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

0
D10N100

T (expected value)

1.99 (confidence rate)

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

0
D10N150

T (expected value)

1.99 (confidence rate)

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

0
D10N200

T (expected value)

1.99 (confidence rate)

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

0
D20N010

T (expected value)

2.99 (confidence rate)

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

T (expected value)

1.99 (confidence rate)

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

0
D20N100

T (expected value)

1.99 (confidence rate)

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

0
D20N150

T (expected value)

1 (confidence rate)

CC

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

0
D30N010

T (expected value)

1.99 (confidence rate)

T
T
----:P- / 6.00
T
T
----:-M / 6.00
DNF

0
D30N050

T (expected value)

1 (confidence rate)

CC

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

0
D30N100

? (expected value)

0 (confidence rate)

CC

0
CC

0
CC

0
D30N150

? (expected value)

0 (confidence rate)

CC

0
CC

0
CC

0
D40N010

T (expected value)

1 (confidence rate)

CC

0
T
T
----:PM / 6.00
DNF

0
D40N050

? (expected value)

0 (confidence rate)

CC

0
CC

0
CC

0
D40N100

? (expected value)

0 (confidence rate)

CC

0
CC

0
CC

0
D40N150

? (expected value)

0 (confidence rate)

CC

0
CC

0
CC

0
D50N010

? (expected value)

0 (confidence rate)

CC

0
CC

0
CC

0
D50N050

? (expected value)

0 (confidence rate)

CC

0
CC

0
CC

0
D50N100

? (expected value)

0 (confidence rate)

CC

0
CC

0
CC

0
D50N150

? (expected value)

0 (confidence rate)

CC

0
CC

0
CC

0
DiscoveryGPU — P/T (151.00 pts max)
  GreatSPN Tapaal smart
Score 151.00 90.59 15.09
fastest 17 3 0
smallest memory 13 7 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
----:P- / 7.55
T
T
----:-M / 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
----:PM / 7.55
T
T
----:-- / 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)

0.99 (confidence rate)

T
T
----:PM / 7.55
CC

0
DNF

0
09a

T (expected value)

2.99 (confidence rate)

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

T (expected value)

0.99 (confidence rate)

T
T
----:PM / 7.55
CC

0
DNF

0
10a

T (expected value)

1.99 (confidence rate)

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

0
10b

T (expected value)

0.99 (confidence rate)

T
T
----:PM / 7.55
CC

0
DNF

0
11a

T (expected value)

1.99 (confidence rate)

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

0
11b

T (expected value)

0.99 (confidence rate)

T
T
----:PM / 7.55
CC

0
DNF

0
12a

T (expected value)

1.99 (confidence rate)

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

0
12b

T (expected value)

0.99 (confidence rate)

T
T
----:PM / 7.55
CC

0
DNF

0
13a

T (expected value)

1.99 (confidence rate)

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

0
13b

T (expected value)

0.99 (confidence rate)

T
T
----:PM / 7.55
CC

0
DNF

0
14a

T (expected value)

1.99 (confidence rate)

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

0
14b

T (expected value)

0.99 (confidence rate)

T
T
----:PM / 7.55
CC

0
DNF

0
15a

T (expected value)

1.99 (confidence rate)

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

0
15b

T (expected value)

0.99 (confidence rate)

T
T
----:PM / 7.55
CC

0
DNF

0
DoubleExponent — P/T (120.40 pts max)
  GreatSPN Tapaal smart
Score 30.09 75.25 30.09
fastest 1 4 0
smallest memory 2 3 0
001

T (expected value)

2.99 (confidence rate)

T
T
----:PM / 15.05
T
T
----:-- / 15.05
T
T
----:-- / 15.05
002

T (expected value)

2.99 (confidence rate)

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

T (expected value)

1 (confidence rate)

CC

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

0
004

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNF

0
010

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
020

F (expected value)

1 (confidence rate)

DNF

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

0
100

? (expected value)

0 (confidence rate)

DNF

0
CC

0
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 40.98 0.00
fastest 0 3 0
smallest memory 0 3 0
02

F (expected value)

1.99 (confidence rate)

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

T (expected value)

1 (confidence rate)

CC

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

T (expected value)

1 (confidence rate)

DNF

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

? (expected value)

0 (confidence rate)

DNF

0
CC

0
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 1 1 0
02

F (expected value)

2.99 (confidence rate)

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

F (expected value)

1 (confidence rate)

CC

0
F
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 3 0 0
02010

F (expected value)

2.99 (confidence rate)

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

F (expected value)

1.99 (confidence rate)

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

0
10421

F (expected value)

1.99 (confidence rate)

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

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

T (expected value)

2.99 (confidence rate)

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

T (expected value)

2.99 (confidence rate)

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

T (expected value)

1.99 (confidence rate)

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

0
001000

T (expected value)

1.99 (confidence rate)

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

0
010000

T (expected value)

1 (confidence rate)

DNF

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

0
100000

T (expected value)

1 (confidence rate)

DNF

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

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

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
d02r11

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
d02r15

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
d02r19

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
d03r03

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
d03r05

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
d03r07

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNF

0
d04r03

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
d05r03

? (expected value)

0 (confidence rate)

CC

0
CC

0
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 1 0 0
none

F (expected value)

1.99 (confidence rate)

F
T
----:-M / 102.55
F
T
----:P- / 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 6 0 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
----:-M / 19.22
T
T
----:P- / 19.22
T
T
----:-- / 19.22
050

T (expected value)

2.99 (confidence rate)

T
T
----:-M / 19.22
T
T
----:P- / 19.22
T
T
----:-- / 19.22
100

T (expected value)

2.99 (confidence rate)

T
T
----:-M / 19.22
T
T
----:P- / 19.22
T
T
----:-- / 19.22
200

T (expected value)

1.99 (confidence rate)

T
T
----:-M / 19.22
T
T
----:P- / 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 4 10 0
smallest memory 5 9 0
00002

T (expected value)

2.99 (confidence rate)

T
T
----:PM / 9.69
T
T
----:-- / 9.69
T
T
----:-- / 9.69
00005

T (expected value)

2.99 (confidence rate)

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

T (expected value)

2.99 (confidence rate)

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

T (expected value)

2.99 (confidence rate)

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

T (expected value)

1.99 (confidence rate)

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

0
00100

T (expected value)

1.99 (confidence rate)

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

0
00200

T (expected value)

1.99 (confidence rate)

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

0
00500

T (expected value)

1.99 (confidence rate)

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

0
01000

T (expected value)

1 (confidence rate)

DNF

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

0
02000

T (expected value)

1 (confidence rate)

DNF

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

0
05000

T (expected value)

1 (confidence rate)

DNF

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

0
10000

T (expected value)

1 (confidence rate)

DNF

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

0
20000

T (expected value)

1 (confidence rate)

DNF

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

0
50000

T (expected value)

1 (confidence rate)

DNF

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

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

T (expected value)

1 (confidence rate)

DNF

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

T (expected value)

1 (confidence rate)

DNF

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

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNC
L00100M0010C005P005G002

T (expected value)

1 (confidence rate)

DNF

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

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNC
L00400M0040C020P020G001

? (expected value)

0 (confidence rate)

DNF

0
CC

0
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 0.00 0.00
fastest 0 0 0
smallest memory 0 0 0
L00010M0001C001P001G001

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
L00020M0002C001P001G001

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
L00050M0005C002P002G001

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNF

0
L00100M0010C005P005G002

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
L00200M0020C010P010G005

? (expected value)

0 (confidence rate)

DNF

0
CC

0
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 83.05 22.65
fastest 8 3 0
smallest memory 6 5 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
----:PM / 7.55
T
T
----:-- / 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

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
08a

T (expected value)

1.99 (confidence rate)

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

0
08b

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
10a

T (expected value)

1.99 (confidence rate)

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

0
10b

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
12a

T (expected value)

1.99 (confidence rate)

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

0
12b

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
14a

T (expected value)

1.99 (confidence rate)

T
T
----:PM / 7.55
T
T
----:-- / 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
----:P- / 7.55
T
T
----:-M / 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
----:P- / 7.55
T
T
----:-M / 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
----:PM / 7.55
T
T
----:-- / 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
----:PM / 7.55
T
T
----:-- / 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 2 14 0
smallest memory 3 13 0
C0001N0000000001

T (expected value)

2.99 (confidence rate)

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

T (expected value)

2.99 (confidence rate)

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

T (expected value)

1.99 (confidence rate)

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

0
C0001N0000001000

T (expected value)

1.99 (confidence rate)

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

0
C0001N0000010000

T (expected value)

1 (confidence rate)

DNF

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

0
C0001N0000100000

T (expected value)

1 (confidence rate)

DNF

0
T
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
----:-M / 8.43
F
T
----:P- / 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 68.30 0.00
fastest 2 3 0
smallest memory 1 4 0
03

T (expected value)

1.99 (confidence rate)

T
T
----:PM / 13.66
T
T
----:-- / 13.66
DNC
05

T (expected value)

1.99 (confidence rate)

T
T
----:P- / 13.66
T
T
----:-M / 13.66
DNC
06

T (expected value)

1 (confidence rate)

CC

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

T (expected value)

1 (confidence rate)

CC

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

T (expected value)

1 (confidence rate)

DNF

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

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNC
11

? (expected value)

0 (confidence rate)

DNF

0
CC

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

F (expected value)

2.99 (confidence rate)

F
T
----:PM / 13.66
F
T
----:-- / 13.66
F
T
----:-- / 13.66
05

F (expected value)

1.99 (confidence rate)

F
T
----:-M / 13.66
F
T
----:P- / 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 6 1
110

T (expected value)

2.99 (confidence rate)

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

T (expected value)

2.99 (confidence rate)

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

T (expected value)

1.99 (confidence rate)

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

0
316

T (expected value)

1 (confidence rate)

DNF

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

0
410

T (expected value)

1 (confidence rate)

DNF

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

0
516

T (expected value)

1 (confidence rate)

DNF

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

0
816

T (expected value)

1 (confidence rate)

CC

0
T
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 0 1 0
none

F (expected value)

1.99 (confidence rate)

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

0
HouseConstruction — P/T (135.70 pts max)
  GreatSPN Tapaal smart
Score 58.13 135.66 29.06
fastest 3 11 0
smallest memory 3 10 1
00002

T (expected value)

2.99 (confidence rate)

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

T (expected value)

2.99 (confidence rate)

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

T (expected value)

2.99 (confidence rate)

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

T (expected value)

1.99 (confidence rate)

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

0
00050

T (expected value)

1.99 (confidence rate)

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

0
00100

T (expected value)

1.99 (confidence rate)

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

0
00200

T (expected value)

1 (confidence rate)

DNF

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

0
00500

T (expected value)

1 (confidence rate)

DNF

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

0
01000

T (expected value)

1 (confidence rate)

DNF

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

0
02000

T (expected value)

1 (confidence rate)

DNF

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

0
04000

T (expected value)

1 (confidence rate)

DNF

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

0
08000

T (expected value)

1 (confidence rate)

DNF

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

0
16000

T (expected value)

1 (confidence rate)

DNF

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

0
32000

T (expected value)

1 (confidence rate)

DNF

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

T (expected value)

1 (confidence rate)

CC

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

0
C4K3P3B12

T (expected value)

1 (confidence rate)

CC

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

0
C5K3P3B15

T (expected value)

1 (confidence rate)

CC

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

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

T (expected value)

2.99 (confidence rate)

T
T
----:PM / 19.22
T
T
----:-- / 19.22
T
T
----:-- / 19.22
d2k2p1b00

T (expected value)

1.99 (confidence rate)

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

0
d2k3p2b04

T (expected value)

1.99 (confidence rate)

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

0
d3k3p2b06

T (expected value)

1 (confidence rate)

DNF

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

0
d4k3p2b08

T (expected value)

1 (confidence rate)

CC

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

0
d5k3p2b10

T (expected value)

1 (confidence rate)

CC

0
T
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 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
IBM5964 — 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

F (expected value)

2.99 (confidence rate)

F
T
----:-- / 102.55
F
T
----:PM / 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 0 1 0
none

T (expected value)

1.99 (confidence rate)

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

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

T (expected value)

2.99 (confidence rate)

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

T (expected value)

1.99 (confidence rate)

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

0
C05M04P03D02

T (expected value)

1.99 (confidence rate)

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

0
C12M10P15D17

T (expected value)

1.99 (confidence rate)

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

0
JoinFreeModules — P/T (130.59 pts max)
  GreatSPN Tapaal smart
Score 76.16 130.55 43.52
fastest 4 8 0
smallest memory 4 7 1
0003

T (expected value)

2.99 (confidence rate)

T
T
----:PM / 10.88
T
T
----:-- / 10.88
T
T
----:-- / 10.88
0004

T (expected value)

2.99 (confidence rate)

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

T (expected value)

2.99 (confidence rate)

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

T (expected value)

2.99 (confidence rate)

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

T (expected value)

1.99 (confidence rate)

T
T
----:-M / 10.88
T
T
----:P- / 10.88
CC

0
0050

T (expected value)

1.99 (confidence rate)

T
T
----:-M / 10.88
T
T
----:P- / 10.88
CC

0
0100

T (expected value)

1.99 (confidence rate)

T
T
----:-M / 10.88
T
T
----:P- / 10.88
CC

0
0200

T (expected value)

1 (confidence rate)

CC

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

0
0500

T (expected value)

1 (confidence rate)

CC

0
T
T
----:PM / 10.88
CC

0
1000

T (expected value)

1 (confidence rate)

CC

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

0
2000

T (expected value)

1 (confidence rate)

CC

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

0
5000

T (expected value)

1 (confidence rate)

CC

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

0
Kanban — P/T (133.15 pts max)
  GreatSPN Tapaal smart
Score 71.68 133.12 71.68
fastest 4 9 0
smallest memory 3 10 0
00005

T (expected value)

2.99 (confidence rate)

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

T (expected value)

2.99 (confidence rate)

T
T
----:P- / 10.23
T
T
----:-M / 10.23
T
T
----:-- / 10.23
00020

T (expected value)

2.99 (confidence rate)

T
T
----:PM / 10.23
T
T
----:-- / 10.23
T
T
----:-- / 10.23
00050

T (expected value)

2.99 (confidence rate)

T
T
----:PM / 10.23
T
T
----:-- / 10.23
T
T
----:-- / 10.23
00100

T (expected value)

2.99 (confidence rate)

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

T (expected value)

2.99 (confidence rate)

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

T (expected value)

2.99 (confidence rate)

T
T
----:-- / 10.23
T
T
----:PM / 10.23
T
T
----:-- / 10.23
01000

T (expected value)

1 (confidence rate)

DNF

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

0
02000

T (expected value)

1 (confidence rate)

DNF

0
T
T
----:PM / 10.23
CC

0
05000

T (expected value)

1 (confidence rate)

DNF

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

0
10000

T (expected value)

1 (confidence rate)

DNF

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

0
20000

T (expected value)

1 (confidence rate)

DNF

0
T
T
----:PM / 10.23
CC

0
50000

T (expected value)

1 (confidence rate)

DNF

0
T
T
----:PM / 10.23
CC

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

T (expected value)

1.99 (confidence rate)

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

T (expected value)

1.99 (confidence rate)

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

T (expected value)

1.99 (confidence rate)

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

T (expected value)

1.99 (confidence rate)

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

T (expected value)

1.99 (confidence rate)

T
T
----:-M / 9.69
T
T
----:P- / 9.69
DNC
7

T (expected value)

1 (confidence rate)

DNF

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

T (expected value)

1 (confidence rate)

DNF

0
T
T
----:PM / 9.69
DNC
LamportFastMutEx — P/T (67.84 pts max)
  GreatSPN Tapaal smart
Score 48.45 67.83 19.38
fastest 1 6 0
smallest memory 3 4 0
2

F (expected value)

2.99 (confidence rate)

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

F (expected value)

2.99 (confidence rate)

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

F (expected value)

1.99 (confidence rate)

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

0
5

F (expected value)

1.99 (confidence rate)

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

0
6

F (expected value)

1.99 (confidence rate)

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

0
7

F (expected value)

1 (confidence rate)

DNF

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

0
8

F (expected value)

1 (confidence rate)

DNF

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

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

T (expected value)

1.99 (confidence rate)

T
T
----:P- / 11.63
T
T
----:-M / 11.63
CC

0
00020

T (expected value)

1.99 (confidence rate)

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

0
00040

T (expected value)

1.99 (confidence rate)

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

0
00080

T (expected value)

1.99 (confidence rate)

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

0
00160

T (expected value)

1.99 (confidence rate)

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

0
00320

T (expected value)

1.99 (confidence rate)

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

0
00640

T (expected value)

1.99 (confidence rate)

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

0
01280

T (expected value)

1 (confidence rate)

DNF

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

0
02560

T (expected value)

1 (confidence rate)

DNF

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

0
05120

T (expected value)

1 (confidence rate)

DNF

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

0
10240

T (expected value)

1 (confidence rate)

DNF

0
T
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 2 0 0
5310

F (expected value)

1.99 (confidence rate)

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

0
5320

F (expected value)

2.99 (confidence rate)

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

T (expected value)

0.99 (confidence rate)

T
T
----:PM / 102.55
CC

0
DNF

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

T (expected value)

2.99 (confidence rate)

T
T
----:-- / 15.05
T
T
----:PM / 15.05
T
T
----:-- / 15.05
08

T (expected value)

2.99 (confidence rate)

T
T
----:-M / 15.05
T
T
----:P- / 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 1 4 0
smallest memory 2 3 0
d2n3m1c12

T (expected value)

2.99 (confidence rate)

T
T
----:-M / 22.55
T
T
----:P- / 22.55
T
T
----:-- / 22.55
d2n3m1t12

T (expected value)

2.99 (confidence rate)

T
T
----:P- / 22.55
T
T
----:-M / 22.55
T
T
----:-- / 22.55
d3n3m1t11

T (expected value)

2.99 (confidence rate)

T
T
----:-- / 22.55
T
T
----:PM / 22.55
T
T
----:-- / 22.55
d4n3m2c23

T (expected value)

1.99 (confidence rate)

T
T
----:-M / 22.55
T
T
----:P- / 22.55
CC

0
d5n4m1t35

T (expected value)

1 (confidence rate)

CC

0
T
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
----:-M / 9.69
F
T
----:P- / 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
----:-- / 9.69
F
T
----:PM / 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 19.38
fastest 0 7 0
smallest memory 0 7 0
2

F (expected value)

2.99 (confidence rate)

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

F (expected value)

2.99 (confidence rate)

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

F (expected value)

1.99 (confidence rate)

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

0
5

F (expected value)

1 (confidence rate)

DNF

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

0
6

F (expected value)

1 (confidence rate)

CC

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

0
7

F (expected value)

1 (confidence rate)

CC

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

0
8

F (expected value)

1 (confidence rate)

CC

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

0
NoC3x3 — P/T (140.80 pts max)
  GreatSPN Tapaal smart
Score 8.80 44.00 8.80
fastest 1 4 0
smallest memory 0 5 0
1A

T (expected value)

2.99 (confidence rate)

T
T
----:P- / 8.80
T
T
----:-M / 8.80
T
T
----:-- / 8.80
1B

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
2A

T (expected value)

1 (confidence rate)

DNF

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

0
2B

F (expected value)

1 (confidence rate)

DNF

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

0
3A

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
3B

F (expected value)

1 (confidence rate)

DNF

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

0
4A

T (expected value)

1 (confidence rate)

DNF

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

0
4B

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
5A

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
5B

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
6A

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
6B

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
7A

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
7B

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNF

0
8A

? (expected value)

0 (confidence rate)

DNF

0
CC

0
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 0.00 0.00
fastest 1 0 0
smallest memory 1 0 0
none

T (expected value)

0.99 (confidence rate)

T
T
----:PM / 102.55
CC

0
DNF

0
ParamProductionCell — P/T (115.30 pts max)
  GreatSPN Tapaal smart
Score 115.31 115.31 96.09
fastest 0 6 0
smallest memory 3 3 0
0

T (expected value)

1.99 (confidence rate)

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

0
1

F (expected value)

2.99 (confidence rate)

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

T (expected value)

2.99 (confidence rate)

T
T
----:-- / 19.22
T
T
----:PM / 19.22
T
T
----:-- / 19.22
3

T (expected value)

2.99 (confidence rate)

T
T
----:-- / 19.22
T
T
----:PM / 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 38.44 38.44
fastest 4 2 0
smallest memory 5 1 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)

0.99 (confidence rate)

T
T
----:PM / 19.22
CC

0
DNF

0
432

T (expected value)

0.99 (confidence rate)

T
T
----:PM / 19.22
CC

0
DNF

0
832

T (expected value)

0.99 (confidence rate)

T
T
----:PM / 19.22
CC

0
DNF

0
864

T (expected value)

0.99 (confidence rate)

T
T
----:PM / 19.22
CC

0
DNF

0
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

T (expected value)

1.99 (confidence rate)

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

T (expected value)

1 (confidence rate)

DNF

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

T (expected value)

1 (confidence rate)

DNF

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

T (expected value)

1 (confidence rate)

DNF

0
T
T
----:PM / 10.88
DNC
20

T (expected value)

1 (confidence rate)

DNF

0
T
T
----:PM / 10.88
DNC
50

T (expected value)

1 (confidence rate)

DNF

0
T
T
----:PM / 10.88
DNC
PermAdmissibility — P/T (65.30 pts max)
  GreatSPN Tapaal smart
Score 10.88 21.76 10.88
fastest 0 2 0
smallest memory 0 2 0
01

F (expected value)

2.99 (confidence rate)

F
T
----:-- / 10.88
F
T
----:PM / 10.88
F
T
----:-- / 10.88
02

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
05

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
10

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
20

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
50

T (expected value)

1 (confidence rate)

DNF

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

0
Peterson — Colored (65.30 pts max)
  GreatSPN Tapaal smart
Score 32.63 65.27 0.00
fastest 1 5 0
smallest memory 2 4 0
2

T (expected value)

1.99 (confidence rate)

T
T
----:-- / 10.88
T
T
----:PM / 10.88
DNC
3

T (expected value)

1.99 (confidence rate)

T
T
----:PM / 10.88
T
T
----:-- / 10.88
DNC
4

T (expected value)

1.99 (confidence rate)

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

T (expected value)

1 (confidence rate)

DNF

0
T
T
----:PM / 10.88
DNC
6

T (expected value)

1 (confidence rate)

DNF

0
T
T
----:PM / 10.88
DNC
7

T (expected value)

1 (confidence rate)

DNF

0
T
T
----:PM / 10.88
DNC
Peterson — P/T (65.30 pts max)
  GreatSPN Tapaal smart
Score 32.63 21.76 10.88
fastest 3 0 0
smallest memory 2 1 0
2

T (expected value)

2.99 (confidence rate)

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

T (expected value)

1.99 (confidence rate)

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

0
4

T (expected value)

0.99 (confidence rate)

T
T
----:PM / 10.88
CC

0
DNF

0
5

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
6

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
7

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
PhaseVariation — P/T (125.50 pts max)
  GreatSPN Tapaal smart
Score 37.65 125.50 12.55
fastest 1 9 0
smallest memory 2 8 0
D02CS010

T (expected value)

2.99 (confidence rate)

T
T
----:PM / 12.55
T
T
----:-- / 12.55
T
T
----:-- / 12.55
D02CS100

T (expected value)

1.99 (confidence rate)

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

0
D05CS010

F (expected value)

1.99 (confidence rate)

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

0
D05CS100

T (expected value)

1 (confidence rate)

DNF

0
T
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 67.20 0.00
fastest 0 10 0
smallest memory 5 5 0
000005

T (expected value)

1.99 (confidence rate)

T
T
----:-M / 6.72
T
T
----:P- / 6.72
DNC
000010

T (expected value)

1.99 (confidence rate)

T
T
----:-- / 6.72
T
T
----:PM / 6.72
DNC
000020

T (expected value)

1.99 (confidence rate)

T
T
----:-- / 6.72
T
T
----:PM / 6.72
DNC
000050

T (expected value)

1.99 (confidence rate)

T
T
----:-M / 6.72
T
T
----:P- / 6.72
DNC
000100

T (expected value)

1.99 (confidence rate)

T
T
----:-M / 6.72
T
T
----:P- / 6.72
DNC
000200

T (expected value)

1.99 (confidence rate)

T
T
----:-M / 6.72
T
T
----:P- / 6.72
DNC
000500

T (expected value)

1.99 (confidence rate)

T
T
----:-M / 6.72
T
T
----:P- / 6.72
DNC
001000

T (expected value)

1.99 (confidence rate)

T
T
----:-- / 6.72
T
T
----:PM / 6.72
DNC
002000

T (expected value)

1 (confidence rate)

CC

0
T
T
----:PM / 6.72
DNC
005000

T (expected value)

1 (confidence rate)

CC

0
T
T
----:PM / 6.72
DNC
010000

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNC
050000

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNC
100000

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNC
Philosophers — P/T (73.88 pts max)
  GreatSPN Tapaal smart
Score 53.76 67.20 13.44
fastest 4 6 0
smallest memory 5 5 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
----:PM / 6.72
T
T
----:-- / 6.72
T
T
----:-- / 6.72
000020

T (expected value)

1.99 (confidence rate)

T
T
----:PM / 6.72
T
T
----:-- / 6.72
DNF

0
000050

T (expected value)

1.99 (confidence rate)

T
T
----:P- / 6.72
T
T
----:-M / 6.72
DNF

0
000100

T (expected value)

1.99 (confidence rate)

T
T
----:-M / 6.72
T
T
----:P- / 6.72
DNF

0
000200

T (expected value)

1.99 (confidence rate)

T
T
----:-M / 6.72
T
T
----:P- / 6.72
DNF

0
000500

T (expected value)

1.99 (confidence rate)

T
T
----:-- / 6.72
T
T
----:PM / 6.72
DNF

0
001000

T (expected value)

1.99 (confidence rate)

T
T
----:-M / 6.72
T
T
----:P- / 6.72
DNF

0
002000

T (expected value)

1 (confidence rate)

CC

0
T
T
----:PM / 6.72
DNF

0
005000

T (expected value)

1 (confidence rate)

CC

0
T
T
----:PM / 6.72
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

T (expected value)

1.99 (confidence rate)

T
T
----:-- / 15.05
T
T
----:PM / 15.05
DNC
10

T (expected value)

1.99 (confidence rate)

T
T
----:-M / 15.05
T
T
----:P- / 15.05
DNC
20

T (expected value)

1 (confidence rate)

CC

0
T
T
----:PM / 15.05
DNC
50

T (expected value)

1 (confidence rate)

CC

0
T
T
----:PM / 15.05
DNC
80

T (expected value)

1 (confidence rate)

CC

0
T
T
----:PM / 15.05
DNC
PhilosophersDyn — P/T (45.15 pts max)
  GreatSPN Tapaal smart
Score 30.09 45.15 0.00
fastest 0 3 0
smallest memory 1 2 0
03

F (expected value)

1.99 (confidence rate)

F
T
----:-- / 15.05
F
T
----:PM / 15.05
CC

0
10

F (expected value)

1.99 (confidence rate)

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

0
20

F (expected value)

1 (confidence rate)

CC

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

T (expected value)

1 (confidence rate)

CC

0
T
T
----:PM / 102.55
CC

0
PolyORBLF — Colored (95.90 pts max)
  GreatSPN Tapaal smart
Score 10.66 63.95 0.00
fastest 2 12 0
smallest memory 2 12 0
S02J04T06

F (expected value)

0.99 (confidence rate)

F
T
----:PM / 5.33
CC

0
DNC
S02J04T08

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNC
S02J04T10

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNC
S02J06T06

F (expected value)

0.99 (confidence rate)

F
T
----:PM / 5.33
CC

0
DNC
S02J06T08

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNC
S02J06T10

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNC
S04J04T06

T (expected value)

1 (confidence rate)

DNF

0
T
T
----:PM / 5.33
DNC
S04J04T08

T (expected value)

1 (confidence rate)

CC

0
T
T
----:PM / 5.33
DNC
S04J04T10

T (expected value)

1 (confidence rate)

CC

0
T
T
----:PM / 5.33
DNC
S04J06T06

T (expected value)

1 (confidence rate)

DNF

0
T
T
----:PM / 5.33
DNC
S04J06T08

T (expected value)

1 (confidence rate)

CC

0
T
T
----:PM / 5.33
DNC
S04J06T10

T (expected value)

1 (confidence rate)

CC

0
T
T
----:PM / 5.33
DNC
S06J04T04

T (expected value)

1 (confidence rate)

CC

0
T
T
----:PM / 5.33
DNC
S06J04T06

T (expected value)

1 (confidence rate)

CC

0
T
T
----:PM / 5.33
DNC
S06J04T08

T (expected value)

1 (confidence rate)

CC

0
T
T
----:PM / 5.33
DNC
S06J06T04

T (expected value)

1 (confidence rate)

CC

0
T
T
----:PM / 5.33
DNC
S06J06T06

T (expected value)

1 (confidence rate)

CC

0
T
T
----:PM / 5.33
DNC
S06J06T08

T (expected value)

1 (confidence rate)

CC

0
T
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 2 16 0
S02J04T06

F (expected value)

1.99 (confidence rate)

F
T
----:-M / 5.33
F
T
----:P- / 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
----:-M / 5.33
F
T
----:P- / 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 0.00 0.00 0.00
fastest 0 0 0
smallest memory 0 0 0
S05J20

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNC
S05J30

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNC
S05J40

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNC
S05J60

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNC
S05J80

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNC
S10J20

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNC
S10J30

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNC
S10J40

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNC
S10J60

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNC
S10J80

? (expected value)

0 (confidence rate)

CC

0
CC

0
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 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
QuasiCertifProtocol — Colored (67.84 pts max)
  GreatSPN Tapaal smart
Score 19.38 67.83 0.00
fastest 0 7 0
smallest memory 2 5 0
02

T (expected value)

1.99 (confidence rate)

T
T
----:-M / 9.69
T
T
----:P- / 9.69
DNC
06

T (expected value)

1.99 (confidence rate)

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

T (expected value)

1 (confidence rate)

DNF

0
T
T
----:PM / 9.69
DNC
18

T (expected value)

1 (confidence rate)

DNF

0
T
T
----:PM / 9.69
DNC
22

T (expected value)

1 (confidence rate)

DNF

0
T
T
----:PM / 9.69
DNC
28

T (expected value)

1 (confidence rate)

CC

0
T
T
----:PM / 9.69
DNC
32

T (expected value)

1 (confidence rate)

CC

0
T
T
----:PM / 9.69
DNC
QuasiCertifProtocol — P/T (67.84 pts max)
  GreatSPN Tapaal smart
Score 19.38 67.83 9.69
fastest 1 6 0
smallest memory 1 6 0
02

T (expected value)

2.99 (confidence rate)

T
T
----:P- / 9.69
T
T
----:-M / 9.69
T
T
----:-- / 9.69
06

T (expected value)

1.99 (confidence rate)

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

0
10

T (expected value)

1 (confidence rate)

DNF

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

0
18

T (expected value)

1 (confidence rate)

DNF

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

0
22

T (expected value)

1 (confidence rate)

DNF

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

0
28

T (expected value)

1 (confidence rate)

CC

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

0
32

T (expected value)

1 (confidence rate)

CC

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

0
RERS17pb113 — P/T (122.95 pts max)
  GreatSPN Tapaal smart
Score 0.00 13.66 0.00
fastest 0 1 0
smallest memory 0 1 0
1

F (expected value)

1 (confidence rate)

DNF

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

0
2

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNF

0
3

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNF

0
4

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNF

0
5

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNF

0
6

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNF

0
7

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNF

0
8

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNF

0
9

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNF

0
RERS17pb114 — P/T (122.95 pts max)
  GreatSPN Tapaal smart
Score 0.00 0.00 0.00
fastest 0 0 0
smallest memory 0 0 0
1

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
2

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
3

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
4

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
5

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
6

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
7

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
8

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
9

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
RERS17pb115 — P/T (122.95 pts max)
  GreatSPN Tapaal smart
Score 0.00 0.00 0.00
fastest 0 0 0
smallest memory 0 0 0
1

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
2

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
3

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
4

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
5

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
6

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
7

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
8

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
9

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
Raft — P/T (122.95 pts max)
  GreatSPN Tapaal smart
Score 122.94 68.30 27.31
fastest 8 1 0
smallest memory 7 2 0
02

T (expected value)

2.99 (confidence rate)

T
T
----:-M / 13.66
T
T
----:P- / 13.66
T
T
----:-- / 13.66
03

T (expected value)

2.99 (confidence rate)

T
T
----:P- / 13.66
T
T
----:-M / 13.66
T
T
----:-- / 13.66
04

T (expected value)

1.99 (confidence rate)

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

0
05

T (expected value)

1.99 (confidence rate)

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

0
06

T (expected value)

1.99 (confidence rate)

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

0
07

T (expected value)

0.99 (confidence rate)

T
T
----:PM / 13.66
CC

0
DNF

0
08

T (expected value)

0.99 (confidence rate)

T
T
----:PM / 13.66
CC

0
DNF

0
09

T (expected value)

0.99 (confidence rate)

T
T
----:PM / 13.66
CC

0
DNF

0
10

T (expected value)

0.99 (confidence rate)

T
T
----:PM / 13.66