fond
Model Checking Contest 2021
11th edition, Paris, France, June 23, 2021
Results for StableMarking
Last Updated
Jun 28, 2021

Introduction

Please find here the computed results for the StableMarking 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 StableMarking
  GreatSPN ITS-Tools LoLA Tapaal 2020-gold BVT-2021
Total Points 11136.06 18156.34 16614.81 15229.52 14216.56 18967.25

All «Surprise» models
 
  GreatSPN ITS-Tools LoLA Tapaal 2020-gold BVT-2021
Total Points 2963.40 5262.20 5335.59 4258.68 4178.40 5872.63
fastest 19 2 138 5 2 0
less memory 30 4 69 23 36 4
CANConstruction — P/T (512.20 pts max)
  GreatSPN ITS-Tools LoLA Tapaal 2020-gold BVT-2021
Score 93.12 512.16 512.16 93.12 93.12 512.16
fastest 0 0 11 0 0 0
smallest memory 0 1 9 0 0 1
005

F (expected value)

5.98 (confidence rate)

F
T
----:-- / 46.55
F
T
----:-- / 46.55
F
T
----:PM / 46.55
F
T
----:-- / 46.55
F
T
----:-- / 46.55
F
T
----:-- / 46.55
010

F (expected value)

5.98 (confidence rate)

F
T
----:-- / 46.55
F
T
----:-- / 46.55
F
T
----:PM / 46.55
F
T
----:-- / 46.55
F
T
----:-- / 46.55
F
T
----:-- / 46.55
020

F (expected value)

2.99 (confidence rate)

DNF

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

0
CC

0
F
T
----:-- / 46.55
030

F (expected value)

2.99 (confidence rate)

DNF

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

0
CC

0
F
T
----:-- / 46.55
040

F (expected value)

2.99 (confidence rate)

DNF

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

0
CC

0
F
T
----:-- / 46.55
050

F (expected value)

2.99 (confidence rate)

DNF

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

0
CC

0
F
T
----:-- / 46.55
060

F (expected value)

2.99 (confidence rate)

DNF

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

0
CC

0
F
T
----:-- / 46.55
070

F (expected value)

2.99 (confidence rate)

CC

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

0
CC

0
F
T
----:-- / 46.55
080

F (expected value)

2.99 (confidence rate)

DNF

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

0
CC

0
F
T
----:-- / 46.55
090

F (expected value)

2.99 (confidence rate)

DNF

0
F
T
----:-- / 46.55
F
T
----:P- / 46.55
CC

0
CC

0
F
T
----:-M / 46.55
100

F (expected value)

2.99 (confidence rate)

DNF

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

0
CC

0
F
T
----:-- / 46.55
Election2020 — P/T (410.20 pts max)
  GreatSPN ITS-Tools LoLA Tapaal 2020-gold BVT-2021
Score 0.00 410.20 410.20 410.20 410.20 410.20
fastest 0 0 1 0 0 0
smallest memory 0 0 0 0 1 0
none

F (expected value)

4.99 (confidence rate)

DNF

0
F
T
----:-- / 410.20
F
T
----:P- / 410.20
F
T
----:-- / 410.20
F
T
----:-M / 410.20
F
T
----:-- / 410.20
GPUForwardProgress — P/T (604.00 pts max)
  GreatSPN ITS-Tools LoLA Tapaal 2020-gold BVT-2021
Score 604.00 604.00 604.00 332.20 332.20 604.00
fastest 0 0 20 0 0 0
smallest memory 2 0 10 4 4 0
04a

F (expected value)

5.98 (confidence rate)

F
T
----:-- / 30.20
F
T
----:-- / 30.20
F
T
----:PM / 30.20
F
T
----:-- / 30.20
F
T
----:-- / 30.20
F
T
----:-- / 30.20
04b

F (expected value)

5.98 (confidence rate)

F
T
----:-- / 30.20
F
T
----:-- / 30.20
F
T
----:P- / 30.20
F
T
----:-M / 30.20
F
T
----:-- / 30.20
F
T
----:-- / 30.20
08a

F (expected value)

5.98 (confidence rate)

F
T
----:-M / 30.20
F
T
----:-- / 30.20
F
T
----:P- / 30.20
F
T
----:-- / 30.20
F
T
----:-- / 30.20
F
T
----:-- / 30.20
08b

F (expected value)

3.99 (confidence rate)

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

0
CC

0
F
T
----:-- / 30.20
12a

F (expected value)

5.98 (confidence rate)

F
T
----:-- / 30.20
F
T
----:-- / 30.20
F
T
----:P- / 30.20
F
T
----:-- / 30.20
F
T
----:-M / 30.20
F
T
----:-- / 30.20
12b

F (expected value)

3.99 (confidence rate)

F
T
----:-- / 30.20
F
T
----:-- / 30.20
F
T
----:PM / 30.20
CC

0
CC

0
F
T
----:-- / 30.20
16a

F (expected value)

5.98 (confidence rate)

F
T
----:-- / 30.20
F
T
----:-- / 30.20
F
T
----:P- / 30.20
F
T
----:-M / 30.20
F
T
----:-- / 30.20
F
T
----:-- / 30.20
16b

F (expected value)

3.99 (confidence rate)

F
T
----:-- / 30.20
F
T
----:-- / 30.20
F
T
----:PM / 30.20
CC

0
CC

0
F
T
----:-- / 30.20
20a

F (expected value)

5.98 (confidence rate)

F
T
----:-- / 30.20
F
T
----:-- / 30.20
F
T
----:P- / 30.20
F
T
----:-M / 30.20
F
T
----:-- / 30.20
F
T
----:-- / 30.20
20b

F (expected value)

3.99 (confidence rate)

F
T
----:-- / 30.20
F
T
----:-- / 30.20
F
T
----:PM / 30.20
CC

0
CC

0
F
T
----:-- / 30.20
24a

F (expected value)

5.98 (confidence rate)

F
T
----:-- / 30.20
F
T
----:-- / 30.20
F
T
----:P- / 30.20
F
T
----:-- / 30.20
F
T
----:-M / 30.20
F
T
----:-- / 30.20
24b

F (expected value)

3.99 (confidence rate)

F
T
----:-- / 30.20
F
T
----:-- / 30.20
F
T
----:PM / 30.20
CC

0
CC

0
F
T
----:-- / 30.20
28a

F (expected value)

5.98 (confidence rate)

F
T
----:-- / 30.20
F
T
----:-- / 30.20
F
T
----:P- / 30.20
F
T
----:-- / 30.20
F
T
----:-M / 30.20
F
T
----:-- / 30.20
28b

F (expected value)

3.99 (confidence rate)

F
T
----:-- / 30.20
F
T
----:-- / 30.20
F
T
----:PM / 30.20
CC

0
CC

0
F
T
----:-- / 30.20
32a

F (expected value)

5.98 (confidence rate)

F
T
----:-- / 30.20
F
T
----:-- / 30.20
F
T
----:P- / 30.20
F
T
----:-- / 30.20
F
T
----:-M / 30.20
F
T
----:-- / 30.20
32b

F (expected value)

3.99 (confidence rate)

F
T
----:-- / 30.20
F
T
----:-- / 30.20
F
T
----:PM / 30.20
CC

0
CC

0
F
T
----:-- / 30.20
36a

F (expected value)

5.98 (confidence rate)

F
T
----:-- / 30.20
F
T
----:-- / 30.20
F
T
----:P- / 30.20
F
T
----:-M / 30.20
F
T
----:-- / 30.20
F
T
----:-- / 30.20
36b

F (expected value)

3.99 (confidence rate)

F
T
----:-- / 30.20
F
T
----:-- / 30.20
F
T
----:PM / 30.20
CC

0
CC

0
F
T
----:-- / 30.20
40a

F (expected value)

5.98 (confidence rate)

F
T
----:-- / 30.20
F
T
----:-- / 30.20
F
T
----:PM / 30.20
F
T
----:-- / 30.20
F
T
----:-- / 30.20
F
T
----:-- / 30.20
40b

F (expected value)

3.99 (confidence rate)

F
T
----:-- / 30.20
F
T
----:-- / 30.20
F
T
----:PM / 30.20
CC

0
CC

0
F
T
----:-- / 30.20
HealthRecord — P/T (573.40 pts max)
  GreatSPN ITS-Tools LoLA Tapaal 2020-gold BVT-2021
Score 573.23 573.23 539.52 472.08 438.36 573.23
fastest 2 0 15 0 0 0
smallest memory 0 1 13 3 0 0
01

F (expected value)

5.98 (confidence rate)

F
T
----:-- / 33.72
F
T
----:-- / 33.72
F
T
----:PM / 33.72
F
T
----:-- / 33.72
F
T
----:-- / 33.72
F
T
----:-- / 33.72
02

F (expected value)

5.98 (confidence rate)

F
T
----:-- / 33.72
F
T
----:-- / 33.72
F
T
----:PM / 33.72
F
T
----:-- / 33.72
F
T
----:-- / 33.72
F
T
----:-- / 33.72
03

F (expected value)

5.98 (confidence rate)

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

F (expected value)

5.98 (confidence rate)

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

F (expected value)

5.98 (confidence rate)

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

F (expected value)

4.99 (confidence rate)

F
T
----:-- / 33.72
F
T
----:-- / 33.72
F
T
----:PM / 33.72
F
T
----:-- / 33.72
CC

0
F
T
----:-- / 33.72
07

F (expected value)

5.98 (confidence rate)

F
T
----:-- / 33.72
F
T
----:-- / 33.72
F
T
----:PM / 33.72
F
T
----:-- / 33.72
F
T
----:-- / 33.72
F
T
----:-- / 33.72
08

F (expected value)

4.99 (confidence rate)

F
T
----:-- / 33.72
F
T
----:-- / 33.72
F
T
----:PM / 33.72
F
T
----:-- / 33.72
CC

0
F
T
----:-- / 33.72
09

F (expected value)

4.98 (confidence rate)

F
T
----:-- / 33.72
F
T
----:-- / 33.72
F
T
----:PM / 33.72
CC

0
F
T
----:-- / 33.72
F
T
----:-- / 33.72
10

F (expected value)

5.98 (confidence rate)

F
T
----:-- / 33.72
F
T
----:-- / 33.72
F
T
----:PM / 33.72
F
T
----:-- / 33.72
F
T
----:-- / 33.72
F
T
----:-- / 33.72
11

F (expected value)

5.98 (confidence rate)

F
T
----:-- / 33.72
F
T
----:-- / 33.72
F
T
----:PM / 33.72
F
T
----:-- / 33.72
F
T
----:-- / 33.72
F
T
----:-- / 33.72
12

F (expected value)

5.98 (confidence rate)

F
T
----:-- / 33.72
F
T
----:-- / 33.72
F
T
----:PM / 33.72
F
T
----:-- / 33.72
F
T
----:-- / 33.72
F
T
----:-- / 33.72
13

F (expected value)

5.98 (confidence rate)

F
T
----:-- / 33.72
F
T
----:-- / 33.72
F
T
----:PM / 33.72
F
T
----:-- / 33.72
F
T
----:-- / 33.72
F
T
----:-- / 33.72
14

F (expected value)

5.98 (confidence rate)

F
T
----:-- / 33.72
F
T
----:-- / 33.72
F
T
----:PM / 33.72
F
T
----:-- / 33.72
F
T
----:-- / 33.72
F
T
----:-- / 33.72
15

F (expected value)

5.98 (confidence rate)

F
T
----:-- / 33.72
F
T
----:-- / 33.72
F
T
----:PM / 33.72
F
T
----:-- / 33.72
F
T
----:-- / 33.72
F
T
----:-- / 33.72
16

F (expected value)

3.99 (confidence rate)

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

0
CC

0
F
T
----:-- / 33.72
17

F (expected value)

2.99 (confidence rate)

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

0
CC

0
CC

0
F
T
----:-- / 33.72
HirschbergSinclair — P/T (502.00 pts max)
  GreatSPN ITS-Tools LoLA Tapaal 2020-gold BVT-2021
Score 200.80 502.00 502.00 502.00 502.00 502.00
fastest 0 0 10 0 0 0
smallest memory 0 0 5 3 2 0
05

F (expected value)

5.98 (confidence rate)

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

F (expected value)

5.98 (confidence rate)

F
T
----:-- / 50.20
F
T
----:-- / 50.20
F
T
----:P- / 50.20
F
T
----:-M / 50.20
F
T
----:-- / 50.20
F
T
----:-- / 50.20
15

F (expected value)

5.98 (confidence rate)

F
T
----:-- / 50.20
F
T
----:-- / 50.20
F
T
----:P- / 50.20
F
T
----:-- / 50.20
F
T
----:-M / 50.20
F
T
----:-- / 50.20
20

F (expected value)

4.99 (confidence rate)

DNF

0
F
T
----:-- / 50.20
F
T
----:P- / 50.20
F
T
----:-- / 50.20
F
T
----:-M / 50.20
F
T
----:-- / 50.20
25

F (expected value)

4.99 (confidence rate)

DNF

0
F
T
----:-- / 50.20
F
T
----:P- / 50.20
F
T
----:-M / 50.20
F
T
----:-- / 50.20
F
T
----:-- / 50.20
30

F (expected value)

4.99 (confidence rate)

DNF

0
F
T
----:-- / 50.20
F
T
----:PM / 50.20
F
T
----:-- / 50.20
F
T
----:-- / 50.20
F
T
----:-- / 50.20
35

F (expected value)

4.99 (confidence rate)

DNF

0
F
T
----:-- / 50.20
F
T
----:PM / 50.20
F
T
----:-- / 50.20
F
T
----:-- / 50.20
F
T
----:-- / 50.20
40

F (expected value)

4.99 (confidence rate)

CC

0
F
T
----:-- / 50.20
F
T
----:PM / 50.20
F
T
----:-- / 50.20
F
T
----:-- / 50.20
F
T
----:-- / 50.20
45

F (expected value)

4.99 (confidence rate)

DNF

0
F
T
----:-- / 50.20
F
T
----:PM / 50.20
F
T
----:-- / 50.20
F
T
----:-- / 50.20
F
T
----:-- / 50.20
50

F (expected value)

5.98 (confidence rate)

F
T
----:-- / 50.20
F
T
----:-- / 50.20
F
T
----:PM / 50.20
F
T
----:-- / 50.20
F
T
----:-- / 50.20
F
T
----:-- / 50.20
LeafsetExtension — P/T (522.40 pts max)
  GreatSPN ITS-Tools LoLA Tapaal 2020-gold BVT-2021
Score 174.08 522.23 522.23 217.59 217.59 522.23
fastest 0 0 12 0 0 0
smallest memory 0 0 9 0 0 3
S08C2

F (expected value)

5.98 (confidence rate)

F
T
----:-- / 43.52
F
T
----:-- / 43.52
F
T
----:PM / 43.52
F
T
----:-- / 43.52
F
T
----:-- / 43.52
F
T
----:-- / 43.52
S08C3

F (expected value)

5.98 (confidence rate)

F
T
----:-- / 43.52
F
T
----:-- / 43.52
F
T
----:PM / 43.52
F
T
----:-- / 43.52
F
T
----:-- / 43.52
F
T
----:-- / 43.52
S08C4

F (expected value)

5.98 (confidence rate)

F
T
----:-- / 43.52
F
T
----:-- / 43.52
F
T
----:PM / 43.52
F
T
----:-- / 43.52
F
T
----:-- / 43.52
F
T
----:-- / 43.52
S16C2

F (expected value)

5.98 (confidence rate)

F
T
----:-- / 43.52
F
T
----:-- / 43.52
F
T
----:PM / 43.52
F
T
----:-- / 43.52
F
T
----:-- / 43.52
F
T
----:-- / 43.52
S16C3

F (expected value)

2.99 (confidence rate)

DNF

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

0
CC

0
F
T
----:-- / 43.52
S16C4

F (expected value)

2.99 (confidence rate)

DNF

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

0
CC

0
F
T
----:-- / 43.52
S32C2

F (expected value)

4.99 (confidence rate)

DNF

0
F
T
----:-- / 43.52
F
T
----:PM / 43.52
F
T
----:-- / 43.52
F
T
----:-- / 43.52
F
T
----:-- / 43.52
S32C3

F (expected value)

2.99 (confidence rate)

DNF

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

0
CC

0
F
T
----:-- / 43.52
S32C4

F (expected value)

2.99 (confidence rate)

DNF

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

0
CC

0
F
T
----:-- / 43.52
S64C2

F (expected value)

2.99 (confidence rate)

DNF

0
F
T
----:-- / 43.52
F
T
----:P- / 43.52
CC

0
CC

0
F
T
----:-M / 43.52
S64C3

F (expected value)

2.99 (confidence rate)

DNF

0
F
T
----:-- / 43.52
F
T
----:P- / 43.52
CC

0
CC

0
F
T
----:-M / 43.52
S64C4

F (expected value)

2.99 (confidence rate)

DNF

0
F
T
----:-- / 43.52
F
T
----:P- / 43.52
CC

0
CC

0
F
T
----:-M / 43.52
MultiCrashLeafsetExtension — P/T (695.80 pts max)
  GreatSPN ITS-Tools LoLA Tapaal 2020-gold BVT-2021
Score 24.00 168.00 312.00 168.00 168.00 312.00
fastest 0 0 13 0 0 0
smallest memory 0 1 6 0 6 0
S16C02

T (expected value)

5.98 (confidence rate)

T
T
----:-- / 24.00
T
T
----:-- / 24.00
T
T
----:P- / 24.00
T
T
----:-- / 24.00
T
T
----:-M / 24.00
T
T
----:-- / 24.00
S16C03

T (expected value)

4.99 (confidence rate)

DNF

0
T
T
----:-- / 24.00
T
T
----:P- / 24.00
T
T
----:-- / 24.00
T
T
----:-M / 24.00
T
T
----:-- / 24.00
S16C04

T (expected value)

4.99 (confidence rate)

DNF

0
T
T
----:-- / 24.00
T
T
----:PM / 24.00
T
T
----:-- / 24.00
T
T
----:-- / 24.00
T
T
----:-- / 24.00
S16C05

T (expected value)

4.99 (confidence rate)

DNF

0
T
T
----:-- / 24.00
T
T
----:P- / 24.00
T
T
----:-- / 24.00
T
T
----:-M / 24.00
T
T
----:-- / 24.00
S16C06

T (expected value)

2.99 (confidence rate)

DNF

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

0
CC

0
T
T
----:-- / 24.00
S16C07

T (expected value)

2.99 (confidence rate)

DNF

0
T
T
----:-- / 24.00
T
T
----:PM / 24.00
CC

0
CC

0
T
T
----:-- / 24.00
S16C08

? (expected value)

0 (confidence rate)

CC

0
DNF

0
DNF

0
CC

0
CC

0
DNC
S24C02

T (expected value)

4.99 (confidence rate)

DNF

0
T
T
----:-- / 24.00
T
T
----:P- / 24.00
T
T
----:-- / 24.00
T
T
----:-M / 24.00
T
T
----:-- / 24.00
S24C03

T (expected value)

3.99 (confidence rate)

CC

0
DNF

0
T
T
----:P- / 24.00
T
T
----:-- / 24.00
T
T
----:-M / 24.00
T
T
----:-- / 24.00
S24C04

T (expected value)

1.99 (confidence rate)

CC

0
DNF

0
T
T
----:PM / 24.00
CC

0
CC

0
T
T
----:-- / 24.00
S24C05

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNF

0
CC

0
CC

0
DNC
S24C06

T (expected value)

1.99 (confidence rate)

CC

0
CC

0
T
T
----:PM / 24.00
CC

0
CC

0
T
T
----:-- / 24.00
S24C07

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNF

0
CC

0
CC

0
DNC
S24C08

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNF

0
CC

0
CC

0
DNC
S24C09

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
DNF

0
CC

0
CC

0
DNC
S24C10

? (expected value)

0 (confidence rate)

CC

0
DNF

0
DNF

0
CC

0
CC

0
DNC
S24C11

? (expected value)

0 (confidence rate)

CC

0
DNF

0
DNF

0
CC

0
CC

0
DNC
S24C12

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
DNF

0
CC

0
CC

0
DNC
S32C02

T (expected value)

3.99 (confidence rate)

CC

0
DNF

0
T
T
----:P- / 24.00
T
T
----:-- / 24.00
T
T
----:-M / 24.00
T
T
----:-- / 24.00
S32C03

T (expected value)

1.99 (confidence rate)

CC

0
DNF

0
T
T
----:PM / 24.00
CC

0
CC

0
T
T
----:-- / 24.00
S32C04

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
DNF

0
CC

0
CC

0
DNC
S32C05

T (expected value)

1.99 (confidence rate)

CC

0
DNF

0
T
T
----:PM / 24.00
CC

0
CC

0
T
T
----:-- / 24.00
S32C06

? (expected value)

0 (confidence rate)

CC

0
DNF

0
DNF

0
CC

0
CC

0
DNC
S32C07

? (expected value)

0 (confidence rate)

CC

0
DNF

0
DNF

0
CC

0
CC

0
DNC
S32C08

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
DNF

0
CC

0
CC

0
DNC
S32C09

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
DNF

0
CC

0
CC

0
DNC
S32C10

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
CC

0
CC

0
DNC
S32C11

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
CC

0
CC

0
DNC
S32C12

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
CC

0
CC

0
DNC
SemanticWebServices — P/T (553.00 pts max)
  GreatSPN ITS-Tools LoLA Tapaal 2020-gold BVT-2021
Score 0.00 553.20 516.31 553.20 553.20 553.20
fastest 0 2 8 4 1 0
smallest memory 0 1 4 5 5 0
S064P06

T (expected value)

4.99 (confidence rate)

CC

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

T (expected value)

4.99 (confidence rate)

CC

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

T (expected value)

4.99 (confidence rate)

CC

0
T
T
----:-- / 36.88
T
T
----:PM / 36.88
T
T
----:-- / 36.88
T
T
----:-- / 36.88
T
T
----:-- / 36.88
S064P15

T (expected value)

4.99 (confidence rate)

CC

0
T
T
----:-- / 36.88
T
T
----:PM / 36.88
T
T
----:-- / 36.88
T
T
----:-- / 36.88
T
T
----:-- / 36.88
S064P18

T (expected value)

4.99 (confidence rate)

CC

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

T (expected value)

4.99 (confidence rate)

CC

0
T
T
----:-- / 36.88
T
T
----:PM / 36.88
T
T
----:-- / 36.88
T
T
----:-- / 36.88
T
T
----:-- / 36.88
S128P09

T (expected value)

4.99 (confidence rate)

CC

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

T (expected value)

4.99 (confidence rate)

CC

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

T (expected value)

4.99 (confidence rate)

CC

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

T (expected value)

4.99 (confidence rate)

CC

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

T (expected value)

3.99 (confidence rate)

CC

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

0
T
T
----:-- / 36.88
T
T
----:PM / 36.88
T
T
----:-- / 36.88
S256P09

T (expected value)

4.99 (confidence rate)

DNF

0
T
T
----:PM / 36.88
T
T
----:-- / 36.88
T
T
----:-- / 36.88
T
T
----:-- / 36.88
T
T
----:-- / 36.88
S256P12

T (expected value)

4.99 (confidence rate)

DNF

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

T (expected value)

4.99 (confidence rate)

DNF

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

T (expected value)

4.99 (confidence rate)

CC

0
T
T
----:-- / 36.88
T
T
----:-- / 36.88
T
T
----:PM / 36.88
T
T
----:-- / 36.88
T
T
----:-- / 36.88
ServersAndClients — P/T (512.20 pts max)
  GreatSPN ITS-Tools LoLA Tapaal 2020-gold BVT-2021
Score 93.12 419.04 419.04 512.16 465.59 512.16
fastest 0 0 9 1 1 0
smallest memory 0 0 1 1 9 0
100020

F (expected value)

5.98 (confidence rate)

F
T
----:-- / 46.55
F
T
----:-- / 46.55
F
T
----:PM / 46.55
F
T
----:-- / 46.55
F
T
----:-- / 46.55
F
T
----:-- / 46.55
100040

F (expected value)

5.98 (confidence rate)

F
T
----:-- / 46.55
F
T
----:-- / 46.55
F
T
----:P- / 46.55
F
T
----:-- / 46.55
F
T
----:-M / 46.55
F
T
----:-- / 46.55
100080

F (expected value)

4.99 (confidence rate)

CC

0
F
T
----:-- / 46.55
F
T
----:P- / 46.55
F
T
----:-- / 46.55
F
T
----:-M / 46.55
F
T
----:-- / 46.55
100160

F (expected value)

4.99 (confidence rate)

CC

0
F
T
----:-- / 46.55
F
T
----:P- / 46.55
F
T
----:-- / 46.55
F
T
----:-M / 46.55
F
T
----:-- / 46.55
100320

F (expected value)

4.99 (confidence rate)

DNF

0
F
T
----:-- / 46.55
F
T
----:P- / 46.55
F
T
----:-- / 46.55
F
T
----:-M / 46.55
F
T
----:-- / 46.55
200040

F (expected value)

4.99 (confidence rate)

CC

0
F
T
----:-- / 46.55
F
T
----:P- / 46.55
F
T
----:-- / 46.55
F
T
----:-M / 46.55
F
T
----:-- / 46.55
200080

F (expected value)

4.99 (confidence rate)

CC

0
F
T
----:-- / 46.55
F
T
----:P- / 46.55
F
T
----:-- / 46.55
F
T
----:-M / 46.55
F
T
----:-- / 46.55
200160

F (expected value)

4.99 (confidence rate)

DNF

0
F
T
----:-- / 46.55
F
T
----:P- / 46.55
F
T
----:-- / 46.55
F
T
----:-M / 46.55
F
T
----:-- / 46.55
200320

F (expected value)

2.99 (confidence rate)

DNF

0
DNF

0
CC

0
F
T
----:-- / 46.55
F
T
----:PM / 46.55
F
T
----:-- / 46.55
400080

F (expected value)

4.99 (confidence rate)

DNF

0
F
T
----:-- / 46.55
F
T
----:P- / 46.55
F
T
----:-- / 46.55
F
T
----:-M / 46.55
F
T
----:-- / 46.55
400160

F (expected value)

2.00 (confidence rate)

DNF

0
CC

0
CC

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

0
F
T
----:-- / 46.55
TwoPhaseLocking — P/T (624.40 pts max)
  GreatSPN ITS-Tools LoLA Tapaal 2020-gold BVT-2021
Score 454.40 624.80 624.80 624.80 624.80 624.80
fastest 0 0 22 0 0 0
smallest memory 7 0 5 3 7 0
nC00004vD

F (expected value)

5.98 (confidence rate)

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

F (expected value)

5.98 (confidence rate)

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

F (expected value)

5.98 (confidence rate)

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

F (expected value)

5.98 (confidence rate)

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

F (expected value)

5.98 (confidence rate)

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

F (expected value)

5.98 (confidence rate)

F
T
----:-- / 28.40
F
T
----:-- / 28.40
F
T
----:PM / 28.40
F
T
----:-- / 28.40
F
T
----:-- / 28.40
F
T
----:-- / 28.40
nC00050vD

F (expected value)

5.98 (confidence rate)

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

F (expected value)

5.98 (confidence rate)

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

F (expected value)

5.98 (confidence rate)

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

F (expected value)

5.98 (confidence rate)

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

F (expected value)

5.98 (confidence rate)

F
T
----:-- / 28.40
F
T
----:-- / 28.40
F
T
----:PM / 28.40
F
T
----:-- / 28.40
F
T
----:-- / 28.40
F
T
----:-- / 28.40
nC00200vN

F (expected value)

5.98 (confidence rate)

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

F (expected value)

5.98 (confidence rate)

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

F (expected value)

5.98 (confidence rate)

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

F (expected value)

5.98 (confidence rate)

F
T
----:-- / 28.40
F
T
----:-- / 28.40
F
T
----:PM / 28.40
F
T
----:-- / 28.40
F
T
----:-- / 28.40
F
T
----:-- / 28.40
nC01000vN

F (expected value)

5.98 (confidence rate)

F
T
----:-- / 28.40
F
T
----:-- / 28.40
F
T
----:PM / 28.40
F
T
----:-- / 28.40
F
T
----:-- / 28.40
F
T
----:-- / 28.40
nC02000vD

F (expected value)

4.99 (confidence rate)

DNF

0
F
T
----:-- / 28.40
F
T
----:P- / 28.40
F
T
----:-- / 28.40
F
T
----:-M / 28.40
F
T
----:-- / 28.40
nC02000vN

F (expected value)

4.99 (confidence rate)

DNF

0
F
T
----:-- / 28.40
F
T
----:P- / 28.40
F
T
----:-- / 28.40
F
T
----:-M / 28.40
F
T
----:-- / 28.40
nC05000vD

F (expected value)

4.99 (confidence rate)

DNF

0
F
T
----:-- / 28.40
F
T
----:P- / 28.40
F
T
----:-- / 28.40
F
T
----:-M / 28.40
F
T
----:-- / 28.40
nC05000vN

F (expected value)

4.99 (confidence rate)

DNF

0
F
T
----:-- / 28.40
F
T
----:P- / 28.40
F
T
----:-- / 28.40
F
T
----:-M / 28.40
F
T
----:-- / 28.40
nC10000vD

F (expected value)

4.99 (confidence rate)

DNF

0
F
T
----:-- / 28.40
F
T
----:PM / 28.40
F
T
----:-- / 28.40
F
T
----:-- / 28.40
F
T
----:-- / 28.40
nC10000vN

F (expected value)

4.99 (confidence rate)

DNF

0
F
T
----:-- / 28.40
F
T
----:P- / 28.40
F
T
----:-- / 28.40
F
T
----:-M / 28.40
F
T
----:-- / 28.40
UtilityControlRoom — Colored (373.40 pts max)
  GreatSPN ITS-Tools LoLA Tapaal 2020-gold BVT-2021
Score 373.31 0.00 0.00 0.00 0.00 373.31
fastest 17 0 0 0 0 0
smallest memory 17 0 0 0 0 0
Z2T3N04

F (expected value)

1.99 (confidence rate)

F
T
----:PM / 21.95
CC

0
CC

0
CC

0
CC

0
F
T
----:-- / 21.95
Z2T3N06

F (expected value)

1.99 (confidence rate)

F
T
----:PM / 21.95
CC

0
CC

0
CC

0
CC

0
F
T
----:-- / 21.95
Z2T3N08

F (expected value)

1.99 (confidence rate)

F
T
----:PM / 21.95
CC

0
CC

0
CC

0
CC

0
F
T
----:-- / 21.95
Z2T3N10

F (expected value)

1.99 (confidence rate)

F
T
----:PM / 21.95
CC

0
CC

0
CC

0
CC

0
F
T
----:-- / 21.95
Z2T4N02

F (expected value)

1.99 (confidence rate)

F
T
----:PM / 21.95
CC

0
CC

0
CC

0
CC

0
F
T
----:-- / 21.95
Z2T4N04

F (expected value)

1.99 (confidence rate)

F
T
----:PM / 21.95
CC

0
CC

0
CC

0
CC

0
F
T
----:-- / 21.95
Z2T4N06

F (expected value)

1.99 (confidence rate)

F
T
----:PM / 21.95
CC

0
CC

0
CC

0
CC

0
F
T
----:-- / 21.95
Z2T4N08

F (expected value)

1.99 (confidence rate)

F
T
----:PM / 21.95
CC

0
CC

0
CC

0
CC

0
F
T
----:-- / 21.95
Z2T4N10

F (expected value)

1.99 (confidence rate)

F
T
----:PM / 21.95
CC

0
CC

0
CC

0
CC

0
F
T
----:-- / 21.95
Z4T3N06

F (expected value)

1.99 (confidence rate)

F
T
----:PM / 21.95
CC

0
CC

0
CC

0
CC

0
F
T
----:-- / 21.95
Z4T3N08

F (expected value)

1.99 (confidence rate)

F
T
----:PM / 21.95
CC

0
CC

0
CC

0
CC

0
F
T
----:-- / 21.95
Z4T3N10

F (expected value)

1.99 (confidence rate)

F
T
----:PM / 21.95
CC

0
CC

0
CC

0
CC

0
F
T
----:-- / 21.95
Z4T4N02

F (expected value)

1.99 (confidence rate)

F
T
----:PM / 21.95
CC

0
CC

0
CC

0
CC

0
F
T
----:-- / 21.95
Z4T4N04

F (expected value)

1.99 (confidence rate)

F
T
----:PM / 21.95
CC

0
CC

0
CC

0
CC

0
F
T
----:-- / 21.95
Z4T4N06

F (expected value)

1.99 (confidence rate)

F
T
----:PM / 21.95
CC

0
CC

0
CC

0
CC

0
F
T
----:-- / 21.95
Z4T4N08

F (expected value)

1.99 (confidence rate)

F
T
----:PM / 21.95
CC

0
CC

0
CC

0
CC

0
F
T
----:-- / 21.95
Z4T4N10

F (expected value)

1.99 (confidence rate)

F
T
----:PM / 21.95
CC

0
CC

0
CC

0
CC

0
F
T
----:-- / 21.95
UtilityControlRoom — P/T (373.40 pts max)
  GreatSPN ITS-Tools LoLA Tapaal 2020-gold BVT-2021
Score 373.31 373.31 373.31 373.31 373.31 373.31
fastest 0 0 17 0 0 0
smallest memory 4 0 7 4 2 0
Z2T3N04

F (expected value)

5.98 (confidence rate)

F
T
----:-- / 21.95
F
T
----:-- / 21.95
F
T
----:P- / 21.95
F
T
----:-M / 21.95
F
T
----:-- / 21.95
F
T
----:-- / 21.95
Z2T3N06

F (expected value)

5.98 (confidence rate)

F
T
----:-- / 21.95
F
T
----:-- / 21.95
F
T
----:P- / 21.95
F
T
----:-- / 21.95
F
T
----:-M / 21.95
F
T
----:-- / 21.95
Z2T3N08

F (expected value)

5.98 (confidence rate)

F
T
----:-- / 21.95
F
T
----:-- / 21.95
F
T
----:P- / 21.95
F
T
----:-M / 21.95
F
T
----:-- / 21.95
F
T
----:-- / 21.95
Z2T3N10

F (expected value)

5.98 (confidence rate)

F
T
----:-- / 21.95
F
T
----:-- / 21.95
F
T
----:PM / 21.95
F
T
----:-- / 21.95
F
T
----:-- / 21.95
F
T
----:-- / 21.95
Z2T4N02

F (expected value)

5.98 (confidence rate)

F
T
----:-- / 21.95
F
T
----:-- / 21.95
F
T
----:P- / 21.95
F
T
----:-M / 21.95
F
T
----:-- / 21.95
F
T
----:-- / 21.95
Z2T4N04

F (expected value)

5.98 (confidence rate)

F
T
----:-- / 21.95
F
T
----:-- / 21.95
F
T
----:PM / 21.95
F
T
----:-- / 21.95
F
T
----:-- / 21.95
F
T
----:-- / 21.95
Z2T4N06

F (expected value)

5.98 (confidence rate)

F
T
----:-M / 21.95
F
T
----:-- / 21.95
F
T
----:P- / 21.95
F
T
----:-- / 21.95
F
T
----:-- / 21.95
F
T
----:-- / 21.95
Z2T4N08

F (expected value)

5.98 (confidence rate)

F
T
----:-M / 21.95
F
T
----:-- / 21.95
F
T
----:P- / 21.95
F
T
----:-- / 21.95
F
T
----:-- / 21.95
F
T
----:-- / 21.95
Z2T4N10

F (expected value)

5.98 (confidence rate)

F
T
----:-M / 21.95
F
T
----:-- / 21.95
F
T
----:P- / 21.95
F
T
----:-- / 21.95
F
T
----:-- / 21.95
F
T
----:-- / 21.95
Z4T3N06

F (expected value)

5.98 (confidence rate)

F
T
----:-M / 21.95
F
T
----:-- / 21.95
F
T
----:P- / 21.95
F
T
----:-- / 21.95
F
T
----:-- / 21.95
F
T
----:-- / 21.95
Z4T3N08

F (expected value)

5.98 (confidence rate)

F
T
----:-- / 21.95
F
T
----:-- / 21.95
F
T
----:PM / 21.95
F
T
----:-- / 21.95
F
T
----:-- / 21.95
F
T
----:-- / 21.95
Z4T3N10

F (expected value)

5.98 (confidence rate)

F
T
----:-- / 21.95
F
T
----:-- / 21.95
F
T
----:PM / 21.95
F
T
----:-- / 21.95
F
T
----:-- / 21.95
F
T
----:-- / 21.95
Z4T4N02

F (expected value)

5.98 (confidence rate)

F
T
----:-- / 21.95
F
T
----:-- / 21.95
F
T
----:P- / 21.95
F
T
----:-- / 21.95
F
T
----:-M / 21.95
F
T
----:-- / 21.95
Z4T4N04

F (expected value)

5.98 (confidence rate)

F
T
----:-- / 21.95
F
T
----:-- / 21.95
F
T
----:P- / 21.95
F
T
----:-M / 21.95
F
T
----:-- / 21.95
F
T
----:-- / 21.95
Z4T4N06

F (expected value)

5.98 (confidence rate)

F
T
----:-- / 21.95
F
T
----:-- / 21.95
F
T
----:PM / 21.95
F
T
----:-- / 21.95
F
T
----:-- / 21.95
F
T
----:-- / 21.95
Z4T4N08

F (expected value)

5.98 (confidence rate)

F
T
----:-- / 21.95
F
T
----:-- / 21.95
F
T
----:PM / 21.95
F
T
----:-- / 21.95
F
T
----:-- / 21.95
F
T
----:-- / 21.95
Z4T4N10

F (expected value)

5.98 (confidence rate)

F
T
----:-- / 21.95
F
T
----:-- / 21.95
F
T
----:PM / 21.95
F
T
----:-- / 21.95
F
T
----:-- / 21.95
F
T
----:-- / 21.95

All «Known» models
 
  GreatSPN ITS-Tools LoLA Tapaal 2020-gold BVT-2021
Total Points 8172.66 12894.15 11279.22 10970.84 10038.16 13094.61
fastest 24 206 832 112 22 0
less memory 61 151 515 238 218 13
ARMCacheCoherence — P/T (102.55 pts max)
  GreatSPN ITS-Tools LoLA Tapaal 2020-gold BVT-2021
Score 102.55 102.55 102.55 102.55 102.55 102.55
fastest 0 1 0 0 0 0
smallest memory 0 0 1 0 0 0
none

F (expected value)

5.98 (confidence rate)

F
T
----:-- / 102.55
F
T
----:P- / 102.55
F
T
----:-M / 102.55
F
T
----:-- / 102.55
F
T
----:-- / 102.55
F
T
----:-- / 102.55
ASLink — P/T (151.00 pts max)
  GreatSPN ITS-Tools LoLA Tapaal 2020-gold BVT-2021
Score 37.75 75.50 15.09 7.55 0.00 75.50
fastest 0 9 1 0 0 0
smallest memory 0 8 1 0 0 1
01a

F (expected value)

4.99 (confidence rate)

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

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

F (expected value)

3.99 (confidence rate)

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

0
CC

0
F
T
----:-- / 7.55
02a

F (expected value)

2.99 (confidence rate)

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

0
CC

0
CC

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

F (expected value)

2.00 (confidence rate)

DNF

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

0
CC

0
CC

0
F
T
----:-- / 7.55
03a

F (expected value)

2.99 (confidence rate)

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

0
CC

0
CC

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

F (expected value)

2.00 (confidence rate)

DNF

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

0
CC

0
CC

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

F (expected value)

2.99 (confidence rate)

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

0
CC

0
CC

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

F (expected value)

2.00 (confidence rate)

DNF

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

0
CC

0
CC

0
F
T
----:-- / 7.55
05a

F (expected value)

2.00 (confidence rate)

DNF

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

0
CC

0
CC

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

F (expected value)

2.00 (confidence rate)

DNF

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

0
CC

0
CC

0
F
T
----:-M / 7.55
06a

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
DNF

0
CC

0
CC

0
DNC
06b

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
DNF

0
CC

0
CC

0
DNC
07a

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
DNF

0
CC

0
CC

0
DNC
07b

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
DNF

0
CC

0
CC

0
DNC
08a

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
DNF

0
CC

0
CC

0
DNC
08b

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
DNF

0
CC

0
CC

0
DNC
09a

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
DNF

0
CC

0
CC

0
DNC
09b

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
DNF

0
CC

0
CC

0
DNC
10a

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
DNF

0
CC

0
CC

0
DNC
10b

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
DNF

0
CC

0
CC

0
DNC
AirplaneLD — Colored (72.95 pts max)
  GreatSPN ITS-Tools LoLA Tapaal 2020-gold BVT-2021
Score 16.22 72.98 72.98 72.98 72.98 72.98
fastest 0 0 0 9 0 0
smallest memory 0 0 4 2 3 0
0010

T (expected value)

5.98 (confidence rate)

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

T (expected value)

5.98 (confidence rate)

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

T (expected value)

4.99 (confidence rate)

CC

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

T (expected value)

4.99 (confidence rate)

CC

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

T (expected value)

4.99 (confidence rate)

CC

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

T (expected value)

4.99 (confidence rate)

DNF

0
T
T
----:-- / 8.11
T
T
----:-- / 8.11
T
T
----:PM / 8.11
T
T
----:-- / 8.11
T
T
----:-- / 8.11
1000

T (expected value)

4.99 (confidence rate)

CC

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

T (expected value)

4.99 (confidence rate)

CC

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

T (expected value)

4.99 (confidence rate)

CC

0
T
T
----:-- / 8.11
T
T
----:-M / 8.11
T
T
----:P- / 8.11
T
T
----:-- / 8.11
T
T
----:-- / 8.11
AirplaneLD — P/T (72.95 pts max)
  GreatSPN ITS-Tools LoLA Tapaal 2020-gold BVT-2021
Score 32.44 72.98 72.98 72.98 72.98 72.98
fastest 0 0 6 3 0 0
smallest memory 0 0 0 2 7 0
0010

T (expected value)

5.98 (confidence rate)

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

T (expected value)

5.98 (confidence rate)

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

T (expected value)

5.98 (confidence rate)

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

T (expected value)

4.99 (confidence rate)

CC

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

T (expected value)

4.99 (confidence rate)

CC

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

T (expected value)

4.99 (confidence rate)

DNF

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

T (expected value)

5.98 (confidence rate)

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

T (expected value)

4.99 (confidence rate)

CC

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

T (expected value)

4.99 (confidence rate)

CC

0
T
T
----:-- / 8.11
T
T
----:-- / 8.11
T
T
----:PM / 8.11
T
T
----:-- / 8.11
T
T
----:-- / 8.11
Angiogenesis — P/T (117.84 pts max)
  GreatSPN ITS-Tools LoLA Tapaal 2020-gold BVT-2021
Score 101.04 117.88 117.88 117.88 117.88 117.88
fastest 0 0 7 0 0 0
smallest memory 0 0 2 2 3 0
01

T (expected value)

5.98 (confidence rate)

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

F (expected value)

5.98 (confidence rate)

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

F (expected value)

5.98 (confidence rate)

F
T
----:-- / 16.84
F
T
----:-- / 16.84
F
T
----:PM / 16.84
F
T
----:-- / 16.84
F
T
----:-- / 16.84
F
T
----:-- / 16.84
15

F (expected value)

5.98 (confidence rate)

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

F (expected value)

5.98 (confidence rate)

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

F (expected value)

5.98 (confidence rate)

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

F (expected value)

4.99 (confidence rate)

DNF

0
F
T
----:-- / 16.84
F
T
----:PM / 16.84
F
T
----:-- / 16.84
F
T
----:-- / 16.84
F
T
----:-- / 16.84
AutoFlight — P/T (151.00 pts max)
  GreatSPN ITS-Tools LoLA Tapaal 2020-gold BVT-2021
Score 113.25 151.00 120.80 75.50 60.40 151.00
fastest 0 4 16 0 0 0
smallest memory 1 5 9 3 2 0
01a

F (expected value)

5.98 (confidence rate)

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

F (expected value)

5.98 (confidence rate)

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

F (expected value)

5.98 (confidence rate)

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

F (expected value)

5.98 (confidence rate)

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

F (expected value)

5.98 (confidence rate)

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

F (expected value)

3.99 (confidence rate)

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

0
CC

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

F (expected value)

5.98 (confidence rate)

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

F (expected value)

3.99 (confidence rate)

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

0
CC

0
F
T
----:-- / 7.55
05a

F (expected value)

5.98 (confidence rate)

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

F (expected value)

3.99 (confidence rate)

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

0
CC

0
F
T
----:-- / 7.55
06a

F (expected value)

5.98 (confidence rate)

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

F (expected value)

2.00 (confidence rate)

CC

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

0
CC

0
CC

0
F
T
----:-- / 7.55
12a

F (expected value)

4.99 (confidence rate)

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

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

F (expected value)

2.99 (confidence rate)

DNF

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

0
CC

0
F
T
----:-- / 7.55
24a

F (expected value)

4.99 (confidence rate)

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

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

F (expected value)

2.00 (confidence rate)

DNF

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

0
CC

0
CC

0
F
T
----:-- / 7.55
48a

F (expected value)

3.99 (confidence rate)

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

0
CC

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

F (expected value)

2.00 (confidence rate)

DNF

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

0
CC

0
CC

0
F
T
----:-- / 7.55
96a

F (expected value)

3.99 (confidence rate)

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

0
CC

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

F (expected value)

2.00 (confidence rate)

DNF

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

0
CC

0
CC

0
F
T
----:-- / 7.55
BART — Colored (70.40 pts max)
  GreatSPN ITS-Tools LoLA Tapaal 2020-gold BVT-2021
Score 0.00 70.40 70.40 70.40 0.00 70.40
fastest 0 0 8 0 0 0
smallest memory 0 0 4 4 0 0
002

T (expected value)

3.99 (confidence rate)

DNF

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

0
T
T
----:-- / 8.80
005

T (expected value)

3.99 (confidence rate)

CC

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

0
T
T
----:-- / 8.80
010

T (expected value)

3.99 (confidence rate)

CC

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

0
T
T
----:-- / 8.80
020

T (expected value)

3.99 (confidence rate)

CC

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

0
T
T
----:-- / 8.80
030

T (expected value)

3.99 (confidence rate)

DNF

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

0
T
T
----:-- / 8.80
040

T (expected value)

3.99 (confidence rate)

DNF

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

0
T
T
----:-- / 8.80
050

T (expected value)

3.99 (confidence rate)

CC

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

0
T
T
----:-- / 8.80
060

T (expected value)

3.99 (confidence rate)

DNF

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

0
T
T
----:-- / 8.80
BART — P/T (70.40 pts max)
  GreatSPN ITS-Tools LoLA Tapaal 2020-gold BVT-2021
Score 70.40 70.40 70.40 70.40 70.40 70.40
fastest 0 4 4 0 0 0
smallest memory 0 0 1 1 6 0
002

T (expected value)

5.98 (confidence rate)

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

T (expected value)

5.98 (confidence rate)

T
T
----:-- / 8.80
T
T
----:-- / 8.80
T
T
----:P- / 8.80
T
T
----:-- / 8.80
T
T
----:-M / 8.80
T
T
----:-- / 8.80
010

T (expected value)

5.98 (confidence rate)

T
T
----:-- / 8.80
T
T
----:-- / 8.80
T
T
----:P- / 8.80
T
T
----:-- / 8.80
T
T
----:-M / 8.80
T
T
----:-- / 8.80
020

T (expected value)

5.98 (confidence rate)

T
T
----:-- / 8.80
T
T
----:P- / 8.80
T
T
----:-- / 8.80
T
T
----:-- / 8.80
T
T
----:-M / 8.80
T
T
----:-- / 8.80
030

T (expected value)

5.98 (confidence rate)

T
T
----:-- / 8.80
T
T
----:-- / 8.80
T
T
----:P- / 8.80
T
T
----:-M / 8.80
T
T
----:-- / 8.80
T
T
----:-- / 8.80
040

T (expected value)

5.98 (confidence rate)

T
T
----:-- / 8.80
T
T
----:P- / 8.80
T
T
----:-- / 8.80
T
T
----:-- / 8.80
T
T
----:-M / 8.80
T
T
----:-- / 8.80
050

T (expected value)

5.98 (confidence rate)

T
T
----:-- / 8.80
T
T
----:P- / 8.80
T
T
----:-- / 8.80
T
T
----:-- / 8.80
T
T
----:-M / 8.80
T
T
----:-- / 8.80
060

T (expected value)

5.98 (confidence rate)

T
T
----:-- / 8.80
T
T
----:P- / 8.80
T
T
----:-- / 8.80
T
T
----:-- / 8.80
T
T
----:-M / 8.80
T
T
----:-- / 8.80
BridgeAndVehicles — Colored (101.00 pts max)
  GreatSPN ITS-Tools LoLA Tapaal 2020-gold BVT-2021
Score 95.95 101.00 101.00 101.00 0.00 101.00
fastest 0 0 19 1 0 0
smallest memory 0 0 16 4 0 0
V04P05N02

T (expected value)

4.99 (confidence rate)

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

T (expected value)

4.99 (confidence rate)

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

T (expected value)

4.99 (confidence rate)

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

T (expected value)

4.99 (confidence rate)

T
T
----:-- / 5.05
T
T
----:-- / 5.05
T
T
----:PM / 5.05
T
T
----:-- / 5.05
DNC T
T
----:-- / 5.05
V20P10N50

T (expected value)

4.99 (confidence rate)

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

T (expected value)

4.99 (confidence rate)

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

T (expected value)

4.99 (confidence rate)

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

T (expected value)

4.99 (confidence rate)

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

T (expected value)

4.99 (confidence rate)

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

T (expected value)

4.99 (confidence rate)

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

T (expected value)

4.99 (confidence rate)

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

T (expected value)

4.99 (confidence rate)

T
T
----:-- / 5.05
T
T
----:-- / 5.05
T
T
----:PM / 5.05
T
T
----:-- / 5.05
DNC T
T
----:-- / 5.05
V50P50N20

T (expected value)

4.99 (confidence rate)

T
T
----:-- / 5.05
T
T
----:-- / 5.05
T
T
----:PM / 5.05
T
T
----:-- / 5.05
DNC T
T
----:-- / 5.05
V50P50N50

T (expected value)

3.99 (confidence rate)

CC

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

T (expected value)

4.99 (confidence rate)

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

T (expected value)

4.99 (confidence rate)

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

T (expected value)

4.99 (confidence rate)

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

T (expected value)

4.99 (confidence rate)

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

T (expected value)

4.99 (confidence rate)

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

T (expected value)

4.99 (confidence rate)

T
T
----:-- / 5.05
T
T
----:-- / 5.05
T
T
----:PM / 5.05
T
T
----:-- / 5.05
DNC T
T
----:-- / 5.05
BridgeAndVehicles — P/T (101.00 pts max)
  GreatSPN ITS-Tools LoLA Tapaal 2020-gold BVT-2021
Score 95.95 101.00 101.00 101.00 0.00 101.00
fastest 2 2 16 0 0 0
smallest memory 1 1 12 6 0 0
V04P05N02

F (expected value)

4.99 (confidence rate)

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

F (expected value)

4.99 (confidence rate)

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

F (expected value)

4.99 (confidence rate)

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

F (expected value)

4.99 (confidence rate)

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

T (expected value)

4.99 (confidence rate)

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

F (expected value)

4.99 (confidence rate)

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

F (expected value)

4.99 (confidence rate)

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

T (expected value)

4.99 (confidence rate)

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

F (expected value)

4.99 (confidence rate)

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

F (expected value)

4.99 (confidence rate)

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

F (expected value)

4.99 (confidence rate)

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

F (expected value)

4.99 (confidence rate)

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

F (expected value)

4.99 (confidence rate)

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

F (expected value)

3.99 (confidence rate)

CC

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

F (expected value)

4.99 (confidence rate)

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

F (expected value)

4.99 (confidence rate)

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

F (expected value)

4.99 (confidence rate)

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

F (expected value)

4.99 (confidence rate)

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

F (expected value)

4.99 (confidence rate)

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

F (expected value)

4.99 (confidence rate)

F
T
----:-- / 5.05
F
T
----:P- / 5.05
F
T
----:-- / 5.05
F
T
----:-M / 5.05
DNC F
T
----:-- / 5.05
BusinessProcesses — P/T (151.00 pts max)
  GreatSPN ITS-Tools LoLA Tapaal 2020-gold BVT-2021
Score 143.45 151.00 135.90 128.34 0.00 151.00
fastest 0 2 17 1 0 0
smallest memory 0 0 9 11 0 0
01

T (expected value)

4.99 (confidence rate)

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

T (expected value)

4.99 (confidence rate)

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

T (expected value)

4.99 (confidence rate)

T
T
----:-- / 7.55
T
T
----:-- / 7.55
T
T
----:PM / 7.55
T
T
----:-- / 7.55
DNC T
T
----:-- / 7.55
04

T (expected value)

4.99 (confidence rate)

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

T (expected value)

4.99 (confidence rate)

T
T
----:-- / 7.55
T
T
----:-- / 7.55
T
T
----:PM / 7.55
T
T
----:-- / 7.55
DNC T
T
----:-- / 7.55
06

T (expected value)

4.99 (confidence rate)

T
T
----:-- / 7.55
T
T
----:-- / 7.55
T
T
----:PM / 7.55
T
T
----:-- / 7.55
DNC T
T
----:-- / 7.55
07

F (expected value)

3.99 (confidence rate)

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

0
DNC F
T
----:-- / 7.55
08

T (expected value)

4.99 (confidence rate)

T
T
----:-- / 7.55
T
T
----:-- / 7.55
T
T
----:PM / 7.55
T
T
----:-- / 7.55
DNC T
T
----:-- / 7.55
09

F (expected value)

3.99 (confidence rate)

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

0
DNC F
T
----:-- / 7.55
10

F (expected value)

3.99 (confidence rate)

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

0
DNC F
T
----:-- / 7.55
11

T (expected value)

4.99 (confidence rate)

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

T (expected value)

4.99 (confidence rate)

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

T (expected value)

4.99 (confidence rate)

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

T (expected value)

3.99 (confidence rate)

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

0
T
T
----:-M / 7.55
DNC T
T
----:-- / 7.55
15

T (expected value)

4.99 (confidence rate)

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

T (expected value)

3.99 (confidence rate)

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

0
T
T
----:-M / 7.55
DNC T
T
----:-- / 7.55
17

T (expected value)

4.99 (confidence rate)

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

T (expected value)

4.99 (confidence rate)

T
T
----:-- / 7.55
T
T
----:-- / 7.55
T
T
----:P- / 7.55
T
T
----:-M / 7.55
DNC T
T
----:-- / 7.55
19

T (expected value)

4.99 (confidence rate)

T
T
----:-- / 7.55
T
T
----:-- / 7.55
T
T
----:PM / 7.55
T
T
----:-- / 7.55
DNC T
T
----:-- / 7.55
20

T (expected value)

3.99 (confidence rate)

DNF

0
T
T
----:-- / 7.55
T
T
----:-- / 7.55
T
T
----:PM / 7.55
DNC T
T
----:-- / 7.55
CSRepetitions — Colored (65.30 pts max)
  GreatSPN ITS-Tools LoLA Tapaal 2020-gold BVT-2021
Score 21.76 65.27 54.40 65.27 0.00 65.27
fastest 0 0 2 4 0 0
smallest memory 0 0 1 5 0 0
02

F (expected value)

3.99 (confidence rate)

F
T
----:-- / 10.88
F
T
----:-- / 10.88
CC

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

F (expected value)

4.99 (confidence rate)

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

F (expected value)

3.99 (confidence rate)

CC

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

F (expected value)

3.99 (confidence rate)

CC

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

F (expected value)

3.99 (confidence rate)

DNF

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

F (expected value)

3.99 (confidence rate)

CC

0
F
T
----:-- / 10.88
F
T
----:-- / 10.88
F
T
----:PM / 10.88
DNC F
T
----:-- / 10.88
CSRepetitions — P/T (65.30 pts max)
  GreatSPN ITS-Tools LoLA Tapaal 2020-gold BVT-2021
Score 21.76 65.27 65.27 65.27 0.00 65.27
fastest 0 0 6 0 0 0
smallest memory 0 0 5 1 0 0
02

F (expected value)

4.99 (confidence rate)

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

F (expected value)

4.99 (confidence rate)

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

F (expected value)

3.99 (confidence rate)

DNF

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

F (expected value)

3.99 (confidence rate)

CC

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

F (expected value)

3.99 (confidence rate)

DNF

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

F (expected value)

3.99 (confidence rate)

CC

0
F
T
----:-- / 10.88
F
T
----:PM / 10.88
F
T
----:-- / 10.88
DNC F
T
----:-- / 10.88
CircadianClock — P/T (115.30 pts max)
  GreatSPN ITS-Tools LoLA Tapaal 2020-gold BVT-2021
Score 96.09 115.31 115.31 115.31 115.31 115.31
fastest 0 0 6 0 0 0
smallest memory 0 0 4 1 1 0
000001

F (expected value)

5.98 (confidence rate)

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

F (expected value)

5.98 (confidence rate)

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

F (expected value)

5.98 (confidence rate)

F
T
----:-- / 19.22
F
T
----:-- / 19.22
F
T
----:PM / 19.22
F
T
----:-- / 19.22
F
T
----:-- / 19.22
F
T
----:-- / 19.22
001000

F (expected value)

5.98 (confidence rate)

F
T
----:-- / 19.22
F
T
----:-- / 19.22
F
T
----:PM / 19.22
F
T
----:-- / 19.22
F
T
----:-- / 19.22
F
T
----:-- / 19.22
010000

F (expected value)

5.98 (confidence rate)

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

F (expected value)

4.99 (confidence rate)

DNF

0
F
T
----:-- / 19.22
F
T
----:P- / 19.22
F
T
----:-M / 19.22
F
T
----:-- / 19.22
F
T
----:-- / 19.22
CircularTrains — P/T (117.84 pts max)
  GreatSPN ITS-Tools LoLA Tapaal 2020-gold BVT-2021
Score 117.88 117.88 117.88 117.88 117.88 117.88
fastest 0 0 7 0 0 0
smallest memory 2 0 2 3 0 0
012

F (expected value)

5.98 (confidence rate)

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

F (expected value)

5.98 (confidence rate)

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

F (expected value)

5.98 (confidence rate)

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

F (expected value)

5.98 (confidence rate)

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

F (expected value)

5.98 (confidence rate)

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

F (expected value)

5.98 (confidence rate)

F
T
----:-- / 16.84
F
T
----:-- / 16.84
F
T
----:PM / 16.84
F
T
----:-- / 16.84
F
T
----:-- / 16.84
F
T
----:-- / 16.84
768

F (expected value)

5.98 (confidence rate)

F
T
----:-- / 16.84
F
T
----:-- / 16.84
F
T
----:PM / 16.84
F
T
----:-- / 16.84
F
T
----:-- / 16.84
F
T
----:-- / 16.84
ClientsAndServers — P/T (151.00 pts max)
  GreatSPN ITS-Tools LoLA Tapaal 2020-gold BVT-2021
Score 67.95 151.00 151.00 151.00 151.00 151.00
fastest 0 0 20 0 0 0
smallest memory 2 0 5 8 5 0
N0001P0

F (expected value)

5.98 (confidence rate)

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

F (expected value)

5.98 (confidence rate)

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

F (expected value)

5.98 (confidence rate)

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

F (expected value)

5.98 (confidence rate)

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

F (expected value)

5.98 (confidence rate)

F
T
----:-- / 7.55
F
T
----:-- / 7.55
F
T
----:PM / 7.55
F
T
----:-- / 7.55
F
T
----:-- / 7.55
F
T
----:-- / 7.55
N0010P0

F (expected value)

5.98 (confidence rate)

F
T
----:-- / 7.55
F
T
----:-- / 7.55
F
T
----:PM / 7.55
F
T
----:-- / 7.55
F
T
----:-- / 7.55
F
T
----:-- / 7.55
N0010P1

F (expected value)

5.98 (confidence rate)

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

F (expected value)

5.98 (confidence rate)

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

F (expected value)

5.98 (confidence rate)

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

F (expected value)

4.99 (confidence rate)

DNF

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

F (expected value)

4.99 (confidence rate)

DNF

0
F
T
----:-- / 7.55
F
T
----:P- / 7.55
F
T
----:-- / 7.55
F
T
----:-M / 7.55
F
T
----:-- / 7.55
N0020P3

F (expected value)

4.99 (confidence rate)

DNF

0
F
T
----:-- / 7.55
F
T
----:P- / 7.55
F
T
----:-M / 7.55
F
T
----:-- / 7.55
F
T
----:-- / 7.55
N0020P4

F (expected value)

4.99 (confidence rate)

DNF

0
F
T
----:-- / 7.55
F
T
----:P- / 7.55
F
T
----:-- / 7.55
F
T
----:-M / 7.55
F
T
----:-- / 7.55
N0050P0

F (expected value)

4.99 (confidence rate)

DNF

0
F
T
----:-- / 7.55
F
T
----:P- / 7.55
F
T
----:-M / 7.55
F
T
----:-- / 7.55
F
T
----:-- / 7.55
N0100P0

F (expected value)

4.99 (confidence rate)

DNF

0
F
T
----:-- / 7.55
F
T
----:P- / 7.55
F
T
----:-M / 7.55
F
T
----:-- / 7.55
F
T
----:-- / 7.55
N0200P0

F (expected value)

4.99 (confidence rate)

DNF

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

F (expected value)

4.99 (confidence rate)

DNF

0
F
T
----:-- / 7.55
F
T
----:P- / 7.55
F
T
----:-M / 7.55
F
T
----:-- / 7.55
F
T
----:-- / 7.55
N1000P0

F (expected value)

4.99 (confidence rate)

DNF

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

F (expected value)

4.99 (confidence rate)

DNF

0
F
T
----:-- / 7.55
F
T
----:P- / 7.55
F
T
----:-M / 7.55
F
T
----:-- / 7.55
F
T
----:-- / 7.55
N5000P0

F (expected value)

4.99 (confidence rate)

DNF

0
F
T
----:-- / 7.55
F
T
----:P- / 7.55
F
T
----:-M / 7.55
F
T
----:-- / 7.55
F
T
----:-- / 7.55
CloudDeployment — P/T (130.59 pts max)
  GreatSPN ITS-Tools LoLA Tapaal 2020-gold BVT-2021
Score 87.04 119.68 76.16 43.52 32.63 119.68
fastest 2 4 5 0 0 0
smallest memory 2 4 4 1 0 0
2a

F (expected value)

5.98 (confidence rate)

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

F (expected value)

3.99 (confidence rate)

F
T
----:PM / 10.88
F
T
----:-- / 10.88
F
T
----:-- / 10.88
CC

0
CC

0
F
T
----:-- / 10.88
3a

F (expected value)

5.98 (confidence rate)

F
T
----:-- / 10.88
F
T
----:-- / 10.88
F
T
----:PM / 10.88
F
T
----:-- / 10.88
F
T
----:-- / 10.88
F
T
----:-- / 10.88
3b

F (expected value)

2.99 (confidence rate)

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

0
CC

0
CC

0
F
T
----:-- / 10.88
4a

F (expected value)

5.98 (confidence rate)

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

F (expected value)

2.00 (confidence rate)

CC

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

0
CC

0
CC

0
F
T
----:-- / 10.88
5a

F (expected value)

4.99 (confidence rate)

F
T
----:-- / 10.88
F
T
----:-- / 10.88
F
T
----:PM / 10.88
F
T
----:-- / 10.88
CC

0
F
T
----:-- / 10.88
5b

F (expected value)

2.00 (confidence rate)

DNF

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

0
CC

0
CC

0
F
T
----:-- / 10.88
6a

F (expected value)

3.99 (confidence rate)

F
T
----:-- / 10.88
F
T
----:-- / 10.88
F
T
----:PM / 10.88
CC

0
CC

0
F
T
----:-- / 10.88
6b

F (expected value)

2.00 (confidence rate)

CC

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

0
CC

0
CC

0
F
T
----:-- / 10.88
7a

F (expected value)

3.99 (confidence rate)

F
T
----:PM / 10.88
F
T
----:-- / 10.88
F
T
----:-- / 10.88
CC

0
CC

0
F
T
----:-- / 10.88
7b

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNF

0
CC

0
CC

0
DNC
CloudOpsManagement — P/T (135.70 pts max)
  GreatSPN ITS-Tools LoLA Tapaal 2020-gold BVT-2021
Score 77.52 135.66 135.66 135.66 135.66 135.66
fastest 0 0 14 0 0 0
smallest memory 2 0 3 6 3 0
00002by00001

F (expected value)

5.98 (confidence rate)

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

F (expected value)

5.98 (confidence rate)

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

F (expected value)

5.98 (confidence rate)

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

F (expected value)

5.98 (confidence rate)

F
T
----:-- / 9.69
F
T
----:-- / 9.69
F
T
----:P- / 9.69
F
T
----:-M / 9.69
F
T
----:-- / 9.69
F
T
----:-- / 9.69
00040by00020

F (expected value)

5.98 (confidence rate)

F
T
----:-M / 9.69
F
T
----:-- / 9.69
F
T
----:P- / 9.69
F
T
----:-- / 9.69
F
T
----:-- / 9.69
F
T
----:-- / 9.69
00080by00040

F (expected value)

5.98 (confidence rate)

F
T
----:-- / 9.69
F
T
----:-- / 9.69
F
T
----:P- / 9.69
F
T
----:-M / 9.69
F
T
----:-- / 9.69
F
T
----:-- / 9.69
00160by00080

F (expected value)

5.98 (confidence rate)

F
T
----:-- / 9.69
F
T
----:-- / 9.69
F
T
----:P- / 9.69
F
T
----:-M / 9.69
F
T
----:-- / 9.69
F
T
----:-- / 9.69
00320by00160

F (expected value)

5.98 (confidence rate)

F
T
----:-- / 9.69
F
T
----:-- / 9.69
F
T
----:P- / 9.69
F
T
----:-M / 9.69
F
T
----:-- / 9.69
F
T
----:-- / 9.69
00640by00320

F (expected value)

4.99 (confidence rate)

CC

0
F
T
----:-- / 9.69
F
T
----:PM / 9.69
F
T
----:-- / 9.69
F
T
----:-- / 9.69
F
T
----:-- / 9.69
01280by00640

F (expected value)

4.99 (confidence rate)

DNF

0
F
T
----:-- / 9.69
F
T
----:P- / 9.69
F
T
----:-M / 9.69
F
T
----:-- / 9.69
F
T
----:-- / 9.69
02560by01280

F (expected value)

4.99 (confidence rate)

DNF

0
F
T
----:-- / 9.69
F
T
----:P- / 9.69
F
T
----:-M / 9.69
F
T
----:-- / 9.69
F
T
----:-- / 9.69
05120by02560

F (expected value)

4.99 (confidence rate)

DNF

0
F
T
----:-- / 9.69
F
T
----:P- / 9.69
F
T
----:-- / 9.69
F
T
----:-M / 9.69
F
T
----:-- / 9.69
10240by05120

F (expected value)

4.99 (confidence rate)

DNF

0
F
T
----:-- / 9.69
F
T
----:PM / 9.69
F
T
----:-- / 9.69
F
T
----:-- / 9.69
F
T
----:-- / 9.69
20480by10240

F (expected value)

4.99 (confidence rate)

DNF

0
F
T
----:-- / 9.69
F
T
----:P- / 9.69
F
T
----:-- / 9.69
F
T
----:-M / 9.69
F
T
----:-- / 9.69
CloudReconfiguration — P/T (156.09 pts max)
  GreatSPN ITS-Tools LoLA Tapaal 2020-gold BVT-2021
Score 156.20 156.20 106.50 0.00 0.00 156.20
fastest 3 14 5 0 0 0
smallest memory 0 16 6 0 0 0
301

F (expected value)

3.99 (confidence rate)

F
T
----:-- / 7.09
F
T
----:PM / 7.09
F
T
----:-- / 7.09
CC

0
CC

0
F
T
----:-- / 7.09
302

F (expected value)

3.99 (confidence rate)

F
T
----:-- / 7.09
F
T
----:PM / 7.09
F
T
----:-- / 7.09
CC

0
CC

0
F
T
----:-- / 7.09
303

T (expected value)

3.99 (confidence rate)

T
T
----:-- / 7.09
T
T
----:-- / 7.09
T
T
----:PM / 7.09
CC

0
CC

0
T
T
----:-- / 7.09
304

F (expected value)

3.99 (confidence rate)

F
T
----:-- / 7.09
F
T
----:-- / 7.09
F
T
----:PM / 7.09
CC

0
CC

0
F
T
----:-- / 7.09
305

T (expected value)

2.99 (confidence rate)

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

0
CC

0
CC

0
T
T
----:-- / 7.09
306

T (expected value)

3.99 (confidence rate)

T
T
----:-- / 7.09
T
T
----:-- / 7.09
T
T
----:PM / 7.09
CC

0
CC

0
T
T
----:-- / 7.09
307

T (expected value)

2.99 (confidence rate)

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

0
CC

0
CC

0
T
T
----:-- / 7.09
308

F (expected value)

3.99 (confidence rate)

F
T
----:-- / 7.09
F
T
----:PM / 7.09
F
T
----:-- / 7.09
CC

0
CC

0
F
T
----:-- / 7.09
309

F (expected value)

3.99 (confidence rate)

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

0
CC

0
F
T
----:-- / 7.09
310

T (expected value)

2.99 (confidence rate)

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

0
CC

0
CC

0
T
T
----:-- / 7.09
311

T (expected value)

3.99 (confidence rate)

T
T
----:-- / 7.09
T
T
----:-- / 7.09
T
T
----:PM / 7.09
CC

0
CC

0
T
T
----:-- / 7.09
312

F (expected value)

3.99 (confidence rate)

F
T
----:-- / 7.09
F
T
----:PM / 7.09
F
T
----:-- / 7.09
CC

0
CC

0
F
T
----:-- / 7.09
313

F (expected value)

3.99 (confidence rate)

F
T
----:-- / 7.09
F
T
----:PM / 7.09
F
T
----:-- / 7.09
CC

0
CC

0
F
T
----:-- / 7.09
314

T (expected value)

3.99 (confidence rate)

T
T
----:-- / 7.09
T
T
----:-- / 7.09
T
T
----:PM / 7.09
CC

0
CC

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

T (expected value)

2.99 (confidence rate)

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

0
CC

0
CC

0
T
T
----:-- / 7.09
316

T (expected value)

2.99 (confidence rate)

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

0
CC

0
CC

0
T
T
----:-- / 7.09
317

T (expected value)

3.99 (confidence rate)

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

0
CC

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

F (expected value)

3.99 (confidence rate)

F
T
----:-- / 7.09
F
T
----:PM / 7.09
F
T
----:-- / 7.09
CC

0
CC

0
F
T
----:-- / 7.09
319

T (expected value)

2.99 (confidence rate)

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

0
CC

0
CC

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

T (expected value)

2.99 (confidence rate)

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

0
CC

0
CC

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

F (expected value)

3.99 (confidence rate)

F
T
----:-- / 7.09
F
T
----:PM / 7.09
F
T
----:-- / 7.09
CC

0
CC

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

F (expected value)

3.99 (confidence rate)

F
T
----:-- / 7.09
F
T
----:PM / 7.09
F
T
----:-- / 7.09
CC

0
CC

0
F
T
----:-- / 7.09
DES — P/T (151.00 pts max)
  GreatSPN ITS-Tools LoLA Tapaal 2020-gold BVT-2021
Score 151.00 151.00 151.00 75.50 52.84 151.00
fastest 0 5 15 0 0 0
smallest memory 0 5 14 1 0 0
00a

F (expected value)

5.98 (confidence rate)

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

F (expected value)

3.99 (confidence rate)

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

0
CC

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

F (expected value)

5.98 (confidence rate)

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

F (expected value)

3.99 (confidence rate)

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

0
CC

0
F
T
----:-- / 7.55
02a

F (expected value)

5.98 (confidence rate)

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

F (expected value)

3.99 (confidence rate)

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

0
CC

0
F
T
----:-- / 7.55
05a

F (expected value)

5.98 (confidence rate)

F
T
----:-- / 7.55
F
T
----:-- / 7.55
F
T
----:PM / 7.55
F
T
----:-- / 7.55
F
T
----:-- / 7.55
F
T
----:-- / 7.55
05b

F (expected value)

3.99 (confidence rate)

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

0
CC

0
F
T
----:-- / 7.55
10a

F (expected value)

5.98 (confidence rate)

F
T
----:-- / 7.55
F
T
----:-- / 7.55
F
T
----:PM / 7.55
F
T
----:-- / 7.55
F
T
----:-- / 7.55
F
T
----:-- / 7.55
10b

F (expected value)

3.99 (confidence rate)

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

0
CC

0
F
T
----:-- / 7.55
20a

F (expected value)

5.98 (confidence rate)

F
T
----:-- / 7.55
F
T
----:-- / 7.55
F
T
----:PM / 7.55
F
T
----:-- / 7.55
F
T
----:-- / 7.55
F
T
----:-- / 7.55
20b

F (expected value)

3.99 (confidence rate)

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

0
CC

0
F
T
----:-- / 7.55
30a

F (expected value)

5.98 (confidence rate)

F
T
----:-- / 7.55
F
T
----:-- / 7.55
F
T
----:PM / 7.55
F
T
----:-- / 7.55
F
T
----:-- / 7.55
F
T
----:-- / 7.55
30b

F (expected value)

3.99 (confidence rate)

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

0
CC

0
F
T
----:-- / 7.55
40a

F (expected value)

4.99 (confidence rate)

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

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

F (expected value)

3.99 (confidence rate)

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

0
CC

0
F
T
----:-- / 7.55
50a

F (expected value)

4.99 (confidence rate)

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

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

F (expected value)

3.99 (confidence rate)

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

0
CC

0
F
T
----:-- / 7.55
60a

F (expected value)

4.99 (confidence rate)

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

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

F (expected value)

3.99 (confidence rate)

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

0
CC

0
F
T
----:-- / 7.55
DLCflexbar — P/T (135.70 pts max)
  GreatSPN ITS-Tools LoLA Tapaal 2020-gold BVT-2021
Score 0.00 135.66 87.20 87.20 87.20 135.66
fastest 0 10 4 0 0 0
smallest memory 0 10 4 0 0 0
2a

F (expected value)

4.99 (confidence rate)

DNF

0
F
T
----:-- / 9.69
F
T
----:PM / 9.69
F
T
----:-- / 9.69
F
T
----:-- / 9.69
F
T
----:-- / 9.69
2b

F (expected value)

4.99 (confidence rate)

DNF

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

F (expected value)

4.99 (confidence rate)

CC

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

F (expected value)

4.99 (confidence rate)

DNF

0
F
T
----:-M / 9.69
F
T
----:P- / 9.69
F
T
----:-- / 9.69
F
T
----:-- / 9.69
F
T
----:-- / 9.69
4a

F (expected value)

4.99 (confidence rate)

CC

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

F (expected value)

2.99 (confidence rate)

CC

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

0
CC

0
F
T
----:-- / 9.69
5a

F (expected value)

4.99 (confidence rate)

CC

0
F
T
----:PM / 9.69
F
T
----:-- / 9.69
F
T
----:-- / 9.69
F
T
----:-- / 9.69
F
T
----:-- / 9.69
5b

F (expected value)

2.00 (confidence rate)

CC

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

0
CC

0
CC

0
F
T
----:-- / 9.69
6a

F (expected value)

4.99 (confidence rate)

CC

0
F
T
----:PM / 9.69
F
T
----:-- / 9.69
F
T
----:-- / 9.69
F
T
----:-- / 9.69
F
T
----:-- / 9.69
6b

F (expected value)

2.99 (confidence rate)

CC

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

0
CC

0
F
T
----:-- / 9.69
7a

F (expected value)

3.99 (confidence rate)

CC

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

0
F
T
----:-- / 9.69
F
T
----:-- / 9.69
F
T
----:-- / 9.69
7b

F (expected value)

2.00 (confidence rate)

CC

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

0
CC

0
CC

0
F
T
----:-- / 9.69
8a

F (expected value)

3.99 (confidence rate)

CC

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

0
F
T
----:-- / 9.69
F
T
----:-- / 9.69
F
T
----:-- / 9.69
8b

F (expected value)

2.00 (confidence rate)

CC

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

0
CC

0
CC

0
F
T
----:-- / 9.69
DLCround — P/T (156.09 pts max)
  GreatSPN ITS-Tools LoLA Tapaal 2020-gold BVT-2021
Score 56.80 156.20 156.20 156.20 156.20 156.20
fastest 0 8 14 0 0 0
smallest memory 0 5 12 1 4 0
03a

F (expected value)

5.98 (confidence rate)

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

F (expected value)

4.99 (confidence rate)

DNF

0
F
T
----:-- / 7.09
F
T
----:PM / 7.09
F
T
----:-- / 7.09
F
T
----:-- / 7.09
F
T
----:-- / 7.09
04a

F (expected value)

5.98 (confidence rate)

F
T
----:-- / 7.09
F
T
----:-- / 7.09
F
T
----:PM / 7.09
F
T
----:-- / 7.09
F
T
----:-- / 7.09
F
T
----:-- / 7.09
04b

F (expected value)

4.99 (confidence rate)

DNF

0
F
T
----:-- / 7.09
F
T
----:PM / 7.09
F
T
----:-- / 7.09
F
T
----:-- / 7.09
F
T
----:-- / 7.09
05a

F (expected value)

5.98 (confidence rate)

F
T
----:-- / 7.09
F
T
----:-- / 7.09
F
T
----:PM / 7.09
F
T
----:-- / 7.09
F
T
----:-- / 7.09
F
T
----:-- / 7.09
05b

F (expected value)

4.99 (confidence rate)

DNF

0
F
T
----:-- / 7.09
F
T
----:PM / 7.09
F
T
----:-- / 7.09
F
T
----:-- / 7.09
F
T
----:-- / 7.09
06a

F (expected value)

5.98 (confidence rate)

F
T
----:-- / 7.09
F
T
----:-- / 7.09
F
T
----:PM / 7.09
F
T
----:-- / 7.09
F
T
----:-- / 7.09
F
T
----:-- / 7.09
06b

F (expected value)

4.99 (confidence rate)

DNF

0
F
T
----:-- / 7.09
F
T
----:PM / 7.09
F
T
----:-- / 7.09
F
T
----:-- / 7.09
F
T
----:-- / 7.09
07a

F (expected value)

5.98 (confidence rate)

F
T
----:-- / 7.09
F
T
----:-- / 7.09
F
T
----:PM / 7.09
F
T
----:-- / 7.09
F
T
----:-- / 7.09
F
T
----:-- / 7.09
07b

F (expected value)

4.99 (confidence rate)

DNF

0
F
T
----:-- / 7.09
F
T
----:PM / 7.09
F
T
----:-- / 7.09
F
T
----:-- / 7.09
F
T
----:-- / 7.09
08a

F (expected value)

5.98 (confidence rate)

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

F (expected value)

4.99 (confidence rate)

DNF

0
F
T
----:-- / 7.09
F
T
----:PM / 7.09
F
T
----:-- / 7.09
F
T
----:-- / 7.09
F
T
----:-- / 7.09
09a

F (expected value)

5.98 (confidence rate)

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

F (expected value)

4.99 (confidence rate)

DNF

0
F
T
----:-M / 7.09
F
T
----:P- / 7.09
F
T
----:-- / 7.09
F
T
----:-- / 7.09
F
T
----:-- / 7.09
10a

F (expected value)

5.98 (confidence rate)

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

F (expected value)

4.99 (confidence rate)

DNF

0
F
T
----:PM / 7.09
F
T
----:-- / 7.09
F
T
----:-- / 7.09
F
T
----:-- / 7.09
F
T
----:-- / 7.09
11a

F (expected value)

4.99 (confidence rate)

CC

0
F
T
----:P- / 7.09
F
T
----:-- / 7.09
F
T
----:-M / 7.09
F
T
----:-- / 7.09
F
T
----:-- / 7.09
11b

F (expected value)

4.99 (confidence rate)

DNF

0
F
T
----:-M / 7.09
F
T
----:P- / 7.09
F
T
----:-- / 7.09
F
T
----:-- / 7.09
F
T
----:-- / 7.09
12a

F (expected value)

4.99 (confidence rate)

DNF

0
F
T
----:P- / 7.09
F
T
----:-- / 7.09
F
T
----:-- / 7.09
F
T
----:-M / 7.09
F
T
----:-- / 7.09
12b

F (expected value)

4.99 (confidence rate)

DNF

0
F
T
----:-M / 7.09
F
T
----:P- / 7.09
F
T
----:-- / 7.09
F
T
----:-- / 7.09
F
T
----:-- / 7.09
13a

F (expected value)

4.99 (confidence rate)

DNF

0
F
T
----:P- / 7.09
F
T
----:-M / 7.09
F
T
----:-- / 7.09
F
T
----:-- / 7.09
F
T
----:-- / 7.09
13b

F (expected value)

4.99 (confidence rate)

DNF

0
F
T
----:PM / 7.09
F
T
----:-- / 7.09
F
T
----:-- / 7.09
F
T
----:-- / 7.09
F
T
----:-- / 7.09
DLCshifumi — P/T (125.50 pts max)
  GreatSPN ITS-Tools LoLA Tapaal 2020-gold BVT-2021
Score 12.55 125.50 87.84 87.84 87.84 125.50
fastest 0 6 4 0 0 0
smallest memory 0 7 3 0 0 0
2a

F (expected value)

5.98 (confidence rate)

F
T
----:-- / 12.55
F
T
----:-- / 12.55
F
T
----:PM / 12.55
F
T
----:-- / 12.55
F
T
----:-- / 12.55
F
T
----:-- / 12.55
2b

F (expected value)

4.99 (confidence rate)

DNF

0
F
T
----:-- / 12.55
F
T
----:PM / 12.55
F
T
----:-- / 12.55
F
T
----:-- / 12.55
F
T
----:-- / 12.55
3a

F (expected value)

4.99 (confidence rate)

CC

0
F
T
----:-M / 12.55
F
T
----:P- / 12.55
F
T
----:-- / 12.55
F
T
----:-- / 12.55
F
T
----:-- / 12.55
3b

F (expected value)

4.99 (confidence rate)

DNF

0
F
T
----:-- / 12.55
F
T
----:PM / 12.55
F
T
----:-- / 12.55
F
T
----:-- / 12.55
F
T
----:-- / 12.55
4a

F (expected value)

4.99 (confidence rate)

CC

0
F
T
----:PM / 12.55
F
T
----:-- / 12.55
F
T
----:-- / 12.55
F
T
----:-- / 12.55
F
T
----:-- / 12.55
4b

F (expected value)

2.99 (confidence rate)

CC

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

0
CC

0
F
T
----:-- / 12.55
5a

F (expected value)

4.99 (confidence rate)

CC

0
F
T
----:PM / 12.55
F
T
----:-- / 12.55
F
T
----:-- / 12.55
F
T
----:-- / 12.55
F
T
----:-- / 12.55
5b

F (expected value)

2.00 (confidence rate)

CC

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

0
CC

0
CC

0
F
T
----:-- / 12.55
6a

F (expected value)

3.99 (confidence rate)

CC

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

0
F
T
----:-- / 12.55
F
T
----:-- / 12.55
F
T
----:-- / 12.55
6b

F (expected value)

2.00 (confidence rate)

CC

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

0
CC

0
CC

0
F
T
----:-- / 12.55
DNAwalker — P/T (145.90 pts max)
  GreatSPN ITS-Tools LoLA Tapaal 2020-gold BVT-2021
Score 137.87 145.98 145.98 145.98 145.98 145.98
fastest 0 0 18 0 0 0
smallest memory 4 0 7 1 6 0
01track12Block1

F (expected value)

5.98 (confidence rate)

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

F (expected value)

5.98 (confidence rate)

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

F (expected value)

5.98 (confidence rate)

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

F (expected value)

5.98 (confidence rate)

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

F (expected value)

5.98 (confidence rate)

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

F (expected value)

5.98 (confidence rate)

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

F (expected value)

5.98 (confidence rate)

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

F (expected value)

5.98 (confidence rate)

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

F (expected value)

5.98 (confidence rate)

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

F (expected value)

5.98 (confidence rate)

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

F (expected value)

5.98 (confidence rate)

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

F (expected value)

5.98 (confidence rate)

F
T
----:-- / 8.11
F
T
----:-- / 8.11
F
T
----:P- / 8.11
F
T
----:-M / 8.11
F
T
----:-- / 8.11
F
T
----:-- / 8.11
13ringRLLarge

F (expected value)

5.98 (confidence rate)

F
T
----:-- / 8.11
F
T
----:-- / 8.11
F
T
----:PM / 8.11
F
T
----:-- / 8.11
F
T
----:-- / 8.11
F
T
----:-- / 8.11
14ringLRLarge

F (expected value)

5.98 (confidence rate)

F
T
----:-- / 8.11
F
T
----:-- / 8.11
F
T
----:P- / 8.11
F
T
----:-- / 8.11
F
T
----:-M / 8.11
F
T
----:-- / 8.11
15ringRRLarge

F (expected value)

5.98 (confidence rate)

F
T
----:-- / 8.11
F
T
----:-- / 8.11
F
T
----:PM / 8.11
F
T
----:-- / 8.11
F
T
----:-- / 8.11
F
T
----:-- / 8.11
16redondantChoiceR

F (expected value)

5.98 (confidence rate)

F
T
----:-- / 8.11
F
T
----:-- / 8.11
F
T
----:PM / 8.11
F
T
----:-- / 8.11
F
T
----:-- / 8.11
F
T
----:-- / 8.11
17redondantChoiceL

F (expected value)

5.98 (confidence rate)

F
T
----:-- / 8.11
F
T
----:-- / 8.11
F
T
----:PM / 8.11
F
T
----:-- / 8.11
F
T
----:-- / 8.11
F
T
----:-- / 8.11
18lozangeBlock

F (expected value)

4.99 (confidence rate)

DNF

0
F
T
----:-- / 8.11
F
T
----:PM / 8.11
F
T
----:-- / 8.11
F
T
----:-- / 8.11
F
T
----:-- / 8.11
DatabaseWithMutex — Colored (62.75 pts max)
  GreatSPN ITS-Tools LoLA Tapaal 2020-gold BVT-2021
Score 25.09 62.75 12.55 62.75 62.75 62.75
fastest 0 2 0 2 1 0
smallest memory 1 1 0 3 0 0
02

F (expected value)

5.98 (confidence rate)

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

F (expected value)

4.99 (confidence rate)

F
T
----:-- / 12.55
F
T
----:-- / 12.55
CC

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

F (expected value)

3.99 (confidence rate)

DNF

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

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

F (expected value)

3.99 (confidence rate)

DNF

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

0
F
T
----:-M / 12.55
F
T
----:-- / 12.55
F
T
----:-- / 12.55
40

F (expected value)

3.99 (confidence rate)

CC

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

0
F
T
----:-- / 12.55
F
T
----:-- / 12.55
F
T
----:-- / 12.55
DatabaseWithMutex — P/T (62.75 pts max)
  GreatSPN ITS-Tools LoLA Tapaal 2020-gold BVT-2021
Score 25.09 62.75 62.75 50.20 37.65 62.75
fastest 0 0 5 0 0 0
smallest memory 0 0 4 0 1 0
02

F (expected value)

5.98 (confidence rate)

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

F (expected value)

5.98 (confidence rate)

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

F (expected value)

4.99 (confidence rate)

DNF

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

F (expected value)

3.99 (confidence rate)

DNF

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

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

F (expected value)

2.99 (confidence rate)

CC

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

0
CC

0
F
T
----:-- / 12.55
Dekker — P/T (115.30 pts max)
  GreatSPN ITS-Tools LoLA Tapaal 2020-gold BVT-2021
Score 96.09 96.09 96.09 115.31 115.31 115.31
fastest 0 0 4 0 2 0
smallest memory 0 0 1 0 5 0
010

F (expected value)

5.98 (confidence rate)

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

F (expected value)

5.98 (confidence rate)

F
T
----:-- / 19.22
F
T
----:-- / 19.22
F
T
----:PM / 19.22
F
T
----:-- / 19.22
F
T
----:-- / 19.22
F
T
----:-- / 19.22
020

F (expected value)

5.98 (confidence rate)

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

F (expected value)

5.98 (confidence rate)

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

F (expected value)

5.98 (confidence rate)

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

F (expected value)

2.99 (confidence rate)

DNF

0
CC

0
CC

0
F
T
----:-- / 19.22
F
T
----:PM / 19.22
F
T
----:-- / 19.22
Diffusion2D — P/T (173.95 pts max)
  GreatSPN ITS-Tools LoLA Tapaal 2020-gold BVT-2021
Score 126.00 174.00 174.00 156.00 144.00 174.00
fastest 1 13 15 0 0 0
smallest memory 2 13 13 1 0 0
D05N010

F (expected value)

5.98 (confidence rate)

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

F (expected value)

5.98 (confidence rate)

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

F (expected value)

5.98 (confidence rate)

F
T
----:-- / 6.00
F
T
----:-- / 6.00
F
T
----:PM / 6.00
F
T
----:-- / 6.00
F
T
----:-- / 6.00
F
T
----:-- / 6.00
D05N150

F (expected value)

5.98 (confidence rate)

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

F (expected value)

5.98 (confidence rate)

F
T
----:-- / 6.00
F
T
----:-- / 6.00
F
T
----:PM / 6.00
F
T
----:-- / 6.00
F
T
----:-- / 6.00
F
T
----:-- / 6.00
D05N250

F (expected value)

5.98 (confidence rate)

F
T
----:-- / 6.00
F
T
----:-- / 6.00
F
T
----:PM / 6.00
F
T
----:-- / 6.00
F
T
----:-- / 6.00
F
T
----:-- / 6.00
D05N300

F (expected value)

5.98 (confidence rate)

F
T
----:-- / 6.00
F
T
----:-- / 6.00
F
T
----:PM / 6.00
F
T
----:-- / 6.00
F
T
----:-- / 6.00
F
T
----:-- / 6.00
D05N350

F (expected value)

4.99 (confidence rate)

DNF

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

F (expected value)

5.98 (confidence rate)

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

F (expected value)

5.98 (confidence rate)

F
T
----:-- / 6.00
F
T
----:-- / 6.00
F
T
----:PM / 6.00
F
T
----:-- / 6.00
F
T
----:-- / 6.00
F
T
----:-- / 6.00
D10N100

F (expected value)

5.98 (confidence rate)

F
T
----:-- / 6.00
F
T
----:-- / 6.00
F
T
----:PM / 6.00
F
T
----:-- / 6.00
F
T
----:-- / 6.00
F
T
----:-- / 6.00
D10N150

F (expected value)

5.98 (confidence rate)

F
T
----:-- / 6.00
F
T
----:-- / 6.00
F
T
----:PM / 6.00
F
T
----:-- / 6.00
F
T
----:-- / 6.00
F
T
----:-- / 6.00
D10N200

F (expected value)

5.98 (confidence rate)

F
T
----:-- / 6.00
F
T
----:-- / 6.00
F
T
----:PM / 6.00
F
T
----:-- / 6.00
F
T
----:-- / 6.00
F
T
----:-- / 6.00
D20N010

F (expected value)

5.98 (confidence rate)

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

F (expected value)

5.98 (confidence rate)

F
T
----:-- / 6.00
F
T
----:-- / 6.00
F
T
----:PM / 6.00
F
T
----:-- / 6.00
F
T
----:-- / 6.00
F
T
----:-- / 6.00
D20N100

F (expected value)

5.98 (confidence rate)

F
T
----:-- / 6.00
F
T
----:-- / 6.00
F
T
----:PM / 6.00
F
T
----:-- / 6.00
F
T
----:-- / 6.00
F
T
----:-- / 6.00
D20N150

F (expected value)

5.98 (confidence rate)

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