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

Introduction

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

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

The structure of a table cell is always the same. In black, you have the output provided by the tool followed by the interpretation mask stating if the tool did computed something corresponding to the expected values (T means that it is the expected result, ? means that no tool computed the corresponding value and X means that the value is not the expected one). Then, four consistency flags are displayed : V means that at least one value was wrong (i.e. at least one X in the result mask), C means that the tool was not consistent between the colored Petri net and the P/T equivalent one, D when an inconsistency is detected between the Deadlock examination and the Liveness examination (for those two only), and U when an inconsistency is detected between the UpperBound examination and the OneSafe examination (for those only. Please note that the U flag is computed only on the 8 last values of UpperBound when the P/T net is derived from a Colored one because previous formulas are unfolded from those of the Colored Net. This part is displayed in green when some points was considered, in orange when it was not possible («unsafe» values estimated for example) and red when the result is discarded due to an error.

Then a second group of flags outline the fastest tool (P) and the tool having the smallest memory footprint (M). These two flags are followed by the score (without bonus) and a link to the execution report containing: a summary of results, a chart reporting memory and CPU evolution over the execution, a full execution log and the commands applied to the tool for this run.

You will note that DNC means «Do Not Compete» and CC means «Cannot Compute». Results are labelled CC only when no output was produced for this execution and the tool reported a problem. DNF (Did Not Finished) is displayed when no output was produced within the 1 hour time confinement.

The Results

They are displayed in the table below, together with scores (total, sum per category of model and sum per model).

Summary of Results for StateSpace
  GreatSPN ITS-Tools Tapaal tedd 2020-gold BVT-2021
Total Points 11518.09 10076.91 4332.63 13402.15 13220.20 14390.16

All «Surprise» models
 
  GreatSPN ITS-Tools Tapaal tedd 2020-gold BVT-2021
Total Points 2990.31 2654.23 1623.20 4107.04 4035.95 4518.12
fastest 69 14 32 27 0 0
less memory 80 22 33 2 2 3
CANConstruction — P/T (512.20 pts max)
  GreatSPN ITS-Tools Tapaal tedd 2020-gold BVT-2021
Score 93.12 81.52 40.76 93.12 93.12 93.12
fastest 1 0 0 1 0 0
smallest memory 0 1 1 0 0 0
005

97527 4.0670E+0005 5 10 (expected value)

5.99 3.99 5.99 5.99 (confidence rate)

97527 4.0670E+0005 5 10
TTTT
----:P- / 46.55
97527 ? 5 10
T-TT
----:-- / 40.76
97527 ? 5 10
T-TT
----:-M / 40.76
97527 4.0670E+0005 5 10
TTTT
----:-- / 46.55
97527 4.0670E+0005 5 10
TTTT
----:-- / 46.55
97527 4.0670E+0005 5 10
TTTT
----:-- / 46.55
010

8.6526E+0010 8.3209E+0011 10 20 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

8.6526E+0010 8.3209E+0011 10 20
TTTT
----:-- / 46.55
8.6526E+0010 ? 10 20
T-TT
----:-M / 40.76
CC

0
8.6526E+0010 8.3209E+0011 10 20
TTTT
----:P- / 46.55
8.6526E+0010 8.3209E+0011 10 20
TTTT
----:-- / 46.55
8.6526E+0010 8.3209E+0011 10 20
TTTT
----:-- / 46.55
020

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
CC

0
DNF

0
DNC
030

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
CC

0
DNF

0
DNC
040

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
CC

0
DNF

0
DNC
050

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
CC

0
DNF

0
DNC
060

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
CC

0
DNF

0
DNC
070

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
CC

0
DNF

0
DNC
080

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
CC

0
DNF

0
DNC
090

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
CC

0
DNF

0
DNC
100

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
CC

0
DNF

0
DNC
Election2020 — P/T (410.20 pts max)
  GreatSPN ITS-Tools Tapaal tedd 2020-gold BVT-2021
Score 0.00 0.00 0.00 0.00 0.00 0.00
fastest 0 0 0 0 0 0
smallest memory 0 0 0 0 0 0
none

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
CC

0
DNF

0
DNC
GPUForwardProgress — P/T (604.00 pts max)
  GreatSPN ITS-Tools Tapaal tedd 2020-gold BVT-2021
Score 604.00 528.80 105.76 604.00 604.00 604.00
fastest 6 0 1 13 0 0
smallest memory 17 1 1 1 0 0
04a

1373 7374 1 6 (expected value)

5.99 3.99 5.99 5.99 (confidence rate)

1373 7374 1 6
TTTT
----:-- / 30.20
1373 ? 1 6
T-TT
----:-- / 26.44
1373 ? 1 6
T-TT
----:PM / 26.44
1373 7374 1 6
TTTT
----:-- / 30.20
1373 7374 1 6
TTTT
----:-- / 30.20
1373 7374 1 6
TTTT
----:-- / 30.20
04b

8.2827E+0006 4.7734E+0007 1 6 (expected value)

5.99 3.99 5.99 5.99 (confidence rate)

8.2827E+0006 4.7734E+0007 1 6
TTTT
----:PM / 30.20
8.2827E+0006 ? 1 6
T-TT
----:-- / 26.44
8.2827E+0006 ? 1 6
T-TT
----:-- / 26.44
8.2827E+0006 4.7734E+0007 1 6
TTTT
----:-- / 30.20
8.2827E+0006 4.7734E+0007 1 6
TTTT
----:-- / 30.20
8.2827E+0006 4.7734E+0007 1 6
TTTT
----:-- / 30.20
08a

3.8009E+0005 3.2898E+0006 1 10 (expected value)

5.99 3.99 5.99 5.99 (confidence rate)

3.8009E+0005 3.2898E+0006 1 10
TTTT
----:P- / 30.20
3.8009E+0005 ? 1 10
T-TT
----:-- / 26.44
3.8009E+0005 ? 1 10
T-TT
----:-- / 26.44
3.8009E+0005 3.2898E+0006 1 10
TTTT
----:-M / 30.20
3.8009E+0005 3.2898E+0006 1 10
TTTT
----:-- / 30.20
3.8009E+0005 3.2898E+0006 1 10
TTTT
----:-- / 30.20
08b

9.1400E+0011 8.6802E+0012 1 10 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

9.1400E+0011 8.6802E+0012 1 10
TTTT
----:-M / 30.20
9.1400E+0011 ? 1 10
T-TT
----:-- / 26.44
CC

0
9.1400E+0011 8.6802E+0012 1 10
TTTT
----:P- / 30.20
9.1400E+0011 8.6802E+0012 1 10
TTTT
----:-- / 30.20
9.1400E+0011 8.6802E+0012 1 10
TTTT
----:-- / 30.20
12a

9.9600E+0007 1.1941E+0009 1 14 (expected value)

5.99 3.99 5.99 5.99 (confidence rate)

9.9600E+0007 1.1941E+0009 1 14
TTTT
----:-M / 30.20
9.9600E+0007 ? 1 14
T-TT
----:-- / 26.44
9.9600E+0007 ? 1 14
T-TT
----:-- / 26.44
9.9600E+0007 1.1941E+0009 1 14
TTTT
----:P- / 30.20
9.9600E+0007 1.1941E+0009 1 14
TTTT
----:-- / 30.20
9.9600E+0007 1.1941E+0009 1 14
TTTT
----:-- / 30.20
12b

1.0027E+0017 1.3286E+0018 1 14 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

1.0027E+0017 1.3286E+0018 1 14
TTTT
----:-M / 30.20
1.0027E+0017 ? 1 14
T-TT
----:-- / 26.44
CC

0
1.0027E+0017 1.3286E+0018 1 14
TTTT
----:P- / 30.20
1.0027E+0017 1.3286E+0018 1 14
TTTT
----:-- / 30.20
1.0027E+0017 1.3286E+0018 1 14
TTTT
----:-- / 30.20
16a

2.5684E+0010 3.9367E+0011 1 18 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

2.5684E+0010 3.9367E+0011 1 18
TTTT
----:PM / 30.20
2.5684E+0010 ? 1 18
T-TT
----:-- / 26.44
CC

0
2.5684E+0010 3.9367E+0011 1 18
TTTT
----:-- / 30.20
2.5684E+0010 3.9367E+0011 1 18
TTTT
----:-- / 30.20
2.5684E+0010 3.9367E+0011 1 18
TTTT
----:-- / 30.20
16b

1.0889E+0022 1.8532E+0023 1 18 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

1.0889E+0022 1.8532E+0023 1 18
TTTT
----:-M / 30.20
1.0889E+0022 ? 1 18
T-TT
----:-- / 26.44
CC

0
1.0889E+0022 1.8532E+0023 1 18
TTTT
----:P- / 30.20
1.0889E+0022 1.8532E+0023 1 18
TTTT
----:-- / 30.20
1.0889E+0022 1.8532E+0023 1 18
TTTT
----:-- / 30.20
20a

6.5901E+0012 1.2300E+0014 1 22 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

6.5901E+0012 1.2300E+0014 1 22
TTTT
----:PM / 30.20
6.5901E+0012 ? 1 22
T-TT
----:-- / 26.44
CC

0
6.5901E+0012 1.2300E+0014 1 22
TTTT
----:-- / 30.20
6.5901E+0012 1.2300E+0014 1 22
TTTT
----:-- / 30.20
6.5901E+0012 1.2300E+0014 1 22
TTTT
----:-- / 30.20
20b

1.1735E+0027 2.4405E+0028 1 22 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

1.1735E+0027 2.4405E+0028 1 22
TTTT
----:-M / 30.20
1.1735E+0027 ? 1 22
T-TT
----:-- / 26.44
CC

0
1.1735E+0027 2.4405E+0028 1 22
TTTT
----:P- / 30.20
1.1735E+0027 2.4405E+0028 1 22
TTTT
----:-- / 30.20
1.1735E+0027 2.4405E+0028 1 22
TTTT
----:-- / 30.20
24a

1.6883E+0015 3.7141E+0016 1 26 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

1.6883E+0015 3.7141E+0016 1 26
TTTT
----:PM / 30.20
1.6883E+0015 ? 1 26
T-TT
----:-- / 26.44
CC

0
1.6883E+0015 3.7141E+0016 1 26
TTTT
----:-- / 30.20
1.6883E+0015 3.7141E+0016 1 26
TTTT
----:-- / 30.20
1.6883E+0015 3.7141E+0016 1 26
TTTT
----:-- / 30.20
24b

1.2573E+0032 3.0903E+0033 1 26 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

1.2573E+0032 3.0903E+0033 1 26
TTTT
----:-M / 30.20
1.2573E+0032 ? 1 26
T-TT
----:-- / 26.44
CC

0
1.2573E+0032 3.0903E+0033 1 26
TTTT
----:P- / 30.20
1.2573E+0032 3.0903E+0033 1 26
TTTT
----:-- / 30.20
1.2573E+0032 3.0903E+0033 1 26
TTTT
----:-- / 30.20
28a

4.3230E+0017 1.0951E+0019 1 30 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

4.3230E+0017 1.0951E+0019 1 30
TTTT
----:-M / 30.20
4.3230E+0017 ? 1 30
T-TT
----:-- / 26.44
CC

0
4.3230E+0017 1.0951E+0019 1 30
TTTT
----:P- / 30.20
4.3230E+0017 1.0951E+0019 1 30
TTTT
----:-- / 30.20
4.3230E+0017 1.0951E+0019 1 30
TTTT
----:-- / 30.20
28b

1.3410E+0037 3.8039E+0038 1 30 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

1.3410E+0037 3.8039E+0038 1 30
TTTT
----:-M / 30.20
1.3410E+0037 ? 1 30
T-TT
----:-- / 26.44
CC

0
1.3410E+0037 3.8039E+0038 1 30
TTTT
----:P- / 30.20
1.3410E+0037 3.8039E+0038 1 30
TTTT
----:-- / 30.20
1.3410E+0037 3.8039E+0038 1 30
TTTT
----:-- / 30.20
32a

1.1068E+0020 3.1727E+0021 1 34 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

1.1068E+0020 3.1727E+0021 1 34
TTTT
----:PM / 30.20
1.1068E+0020 ? 1 34
T-TT
----:-- / 26.44
CC

0
1.1068E+0020 3.1727E+0021 1 34
TTTT
----:-- / 30.20
1.1068E+0020 3.1727E+0021 1 34
TTTT
----:-- / 30.20
1.1068E+0020 3.1727E+0021 1 34
TTTT
----:-- / 30.20
32b

1.4254E+0042 4.5834E+0043 1 34 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

1.4254E+0042 4.5834E+0043 1 34
TTTT
----:-M / 30.20
1.4254E+0042 ? 1 34
T-TT
----:-- / 26.44
CC

0
1.4254E+0042 4.5834E+0043 1 34
TTTT
----:P- / 30.20
1.4254E+0042 4.5834E+0043 1 34
TTTT
----:-- / 30.20
1.4254E+0042 4.5834E+0043 1 34
TTTT
----:-- / 30.20
36a

2.8334E+0022 9.0668E+0023 1 38 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

2.8334E+0022 9.0668E+0023 1 38
TTTT
----:-M / 30.20
2.8334E+0022 ? 1 38
T-TT
----:-- / 26.44
CC

0
2.8334E+0022 9.0668E+0023 1 38
TTTT
----:P- / 30.20
2.8334E+0022 9.0668E+0023 1 38
TTTT
----:-- / 30.20
2.8334E+0022 9.0668E+0023 1 38
TTTT
----:-- / 30.20
36b

1.5112E+0047 5.4316E+0048 1 38 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

1.5112E+0047 5.4316E+0048 1 38
TTTT
----:-M / 30.20
1.5112E+0047 ? 1 38
T-TT
----:-- / 26.44
CC

0
1.5112E+0047 5.4316E+0048 1 38
TTTT
----:P- / 30.20
1.5112E+0047 5.4316E+0048 1 38
TTTT
----:-- / 30.20
1.5112E+0047 5.4316E+0048 1 38
TTTT
----:-- / 30.20
40a

7.2535E+0024 2.5629E+0026 1 42 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

7.2535E+0024 2.5629E+0026 1 42
TTTT
----:-M / 30.20
7.2535E+0024 ? 1 42
T-TT
----:-- / 26.44
CC

0
7.2535E+0024 2.5629E+0026 1 42
TTTT
----:P- / 30.20
7.2535E+0024 2.5629E+0026 1 42
TTTT
----:-- / 30.20
7.2535E+0024 2.5629E+0026 1 42
TTTT
----:-- / 30.20
40b

1.5987E+0052 6.3520E+0053 1 42 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

1.5987E+0052 6.3520E+0053 1 42
TTTT
----:-- / 30.20
1.5987E+0052 ? 1 42
T-TT
----:-M / 26.44
CC

0
1.5987E+0052 6.3520E+0053 1 42
TTTT
----:P- / 30.20
1.5987E+0052 6.3520E+0053 1 42
TTTT
----:-- / 30.20
1.5987E+0052 6.3520E+0053 1 42
TTTT
----:-- / 30.20
HealthRecord — P/T (573.40 pts max)
  GreatSPN ITS-Tools Tapaal tedd 2020-gold BVT-2021
Score 573.23 501.84 147.59 573.23 573.23 573.23
fastest 5 4 0 8 0 0
smallest memory 6 11 0 0 0 0
01

1.8378E+0006 1.9897E+0007 1 8 (expected value)

5.99 3.99 5.99 5.99 (confidence rate)

1.8378E+0006 1.9897E+0007 1 8
TTTT
----:-M / 33.72
1.8378E+0006 ? 1 8
T-TT
----:-- / 29.52
1.8378E+0006 ? 1 8
T-TT
----:-- / 29.52
1.8378E+0006 1.9897E+0007 1 8
TTTT
----:P- / 33.72
1.8378E+0006 1.9897E+0007 1 8
TTTT
----:-- / 33.72
1.8378E+0006 1.9897E+0007 1 8
TTTT
----:-- / 33.72
02

3.0554E+0006 3.3979E+0007 1 8 (expected value)

5.99 3.99 5.99 5.99 (confidence rate)

3.0554E+0006 3.3979E+0007 1 8
TTTT
----:-M / 33.72
3.0554E+0006 ? 1 8
T-TT
----:-- / 29.52
3.0554E+0006 ? 1 8
T-TT
----:-- / 29.52
3.0554E+0006 3.3979E+0007 1 8
TTTT
----:P- / 33.72
3.0554E+0006 3.3979E+0007 1 8
TTTT
----:-- / 33.72
3.0554E+0006 3.3979E+0007 1 8
TTTT
----:-- / 33.72
03

4.7733E+0006 5.4664E+0007 1 8 (expected value)

5.99 3.99 5.99 5.99 (confidence rate)

4.7733E+0006 5.4664E+0007 1 8
TTTT
----:PM / 33.72
4.7733E+0006 ? 1 8
T-TT
----:-- / 29.52
4.7733E+0006 ? 1 8
T-TT
----:-- / 29.52
4.7733E+0006 5.4664E+0007 1 8
TTTT
----:-- / 33.72
4.7733E+0006 5.4664E+0007 1 8
TTTT
----:-- / 33.72
4.7733E+0006 5.4664E+0007 1 8
TTTT
----:-- / 33.72
04

7.2756E+0006 8.5714E+0007 1 8 (expected value)

5.99 3.99 5.99 5.99 (confidence rate)

7.2756E+0006 8.5714E+0007 1 8
TTTT
----:PM / 33.72
7.2756E+0006 ? 1 8
T-TT
----:-- / 29.52
7.2756E+0006 ? 1 8
T-TT
----:-- / 29.52
7.2756E+0006 8.5714E+0007 1 8
TTTT
----:-- / 33.72
7.2756E+0006 8.5714E+0007 1 8
TTTT
----:-- / 33.72
7.2756E+0006 8.5714E+0007 1 8
TTTT
----:-- / 33.72
05

1.0974E+0007 1.3279E+0008 1 8 (expected value)

5.99 3.99 5.99 5.99 (confidence rate)

1.0974E+0007 1.3279E+0008 1 8
TTTT
----:PM / 33.72
1.0974E+0007 ? 1 8
T-TT
----:-- / 29.52
1.0974E+0007 ? 1 8
T-TT
----:-- / 29.52
1.0974E+0007 1.3279E+0008 1 8
TTTT
----:-- / 33.72
1.0974E+0007 1.3279E+0008 1 8
TTTT
----:-- / 33.72
1.0974E+0007 1.3279E+0008 1 8
TTTT
----:-- / 33.72
06

5.0515E+0008 7.7452E+0009 1 10 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

5.0515E+0008 7.7452E+0009 1 10
TTTT
----:-- / 33.72
5.0515E+0008 ? 1 10
T-TT
----:-M / 29.52
CC

0
5.0515E+0008 7.7452E+0009 1 10
TTTT
----:P- / 33.72
5.0515E+0008 7.7452E+0009 1 10
TTTT
----:-- / 33.72
5.0515E+0008 7.7452E+0009 1 10
TTTT
----:-- / 33.72
07

5.2471E+0008 7.9980E+0009 1 10 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

5.2471E+0008 7.9980E+0009 1 10
TTTT
----:-- / 33.72
5.2471E+0008 ? 1 10
T-TT
----:-M / 29.52
CC

0
5.2471E+0008 7.9980E+0009 1 10
TTTT
----:P- / 33.72
5.2471E+0008 7.9980E+0009 1 10
TTTT
----:-- / 33.72
5.2471E+0008 7.9980E+0009 1 10
TTTT
----:-- / 33.72
08

8.0693E+0008 1.2618E+0010 1 10 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

8.0693E+0008 1.2618E+0010 1 10
TTTT
----:-- / 33.72
8.0693E+0008 ? 1 10
T-TT
----:-M / 29.52
CC

0
8.0693E+0008 1.2618E+0010 1 10
TTTT
----:P- / 33.72
8.0693E+0008 1.2618E+0010 1 10
TTTT
----:-- / 33.72
8.0693E+0008 1.2618E+0010 1 10
TTTT
----:-- / 33.72
09

8.2954E+0008 1.2906E+0010 1 10 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

8.2954E+0008 1.2906E+0010 1 10
TTTT
----:-- / 33.72
8.2954E+0008 ? 1 10
T-TT
----:-M / 29.52
CC

0
8.2954E+0008 1.2906E+0010 1 10
TTTT
----:P- / 33.72
8.2954E+0008 1.2906E+0010 1 10
TTTT
----:-- / 33.72
8.2954E+0008 1.2906E+0010 1 10
TTTT
----:-- / 33.72
10

1.2277E+0009 1.9618E+0010 1 10 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

1.2277E+0009 1.9618E+0010 1 10
TTTT
----:-- / 33.72
1.2277E+0009 ? 1 10
T-TT
----:PM / 29.52
CC

0
1.2277E+0009 1.9618E+0010 1 10
TTTT
----:-- / 33.72
1.2277E+0009 1.9618E+0010 1 10
TTTT
----:-- / 33.72
1.2277E+0009 1.9618E+0010 1 10
TTTT
----:-- / 33.72
11

1.2525E+0009 1.9930E+0010 1 10 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

1.2525E+0009 1.9930E+0010 1 10
TTTT
----:-- / 33.72
1.2525E+0009 ? 1 10
T-TT
----:-M / 29.52
CC

0
1.2525E+0009 1.9930E+0010 1 10
TTTT
----:P- / 33.72
1.2525E+0009 1.9930E+0010 1 10
TTTT
----:-- / 33.72
1.2525E+0009 1.9930E+0010 1 10
TTTT
----:-- / 33.72
12

1.8393E+0009 3.0021E+0010 1 10 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

1.8393E+0009 3.0021E+0010 1 10
TTTT
----:-- / 33.72
1.8393E+0009 ? 1 10
T-TT
----:-M / 29.52
CC

0
1.8393E+0009 3.0021E+0010 1 10
TTTT
----:P- / 33.72
1.8393E+0009 3.0021E+0010 1 10
TTTT
----:-- / 33.72
1.8393E+0009 3.0021E+0010 1 10
TTTT
----:-- / 33.72
13

1.8660E+0009 3.0351E+0010 1 10 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

1.8660E+0009 3.0351E+0010 1 10
TTTT
----:-- / 33.72
1.8660E+0009 ? 1 10
T-TT
----:PM / 29.52
CC

0
1.8660E+0009 3.0351E+0010 1 10
TTTT
----:-- / 33.72
1.8660E+0009 3.0351E+0010 1 10
TTTT
----:-- / 33.72
1.8660E+0009 3.0351E+0010 1 10
TTTT
----:-- / 33.72
14

2.7430E+0009 4.5685E+0010 1 10 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

2.7430E+0009 4.5685E+0010 1 10
TTTT
----:-- / 33.72
2.7430E+0009 ? 1 10
T-TT
----:PM / 29.52
CC

0
2.7430E+0009 4.5685E+0010 1 10
TTTT
----:-- / 33.72
2.7430E+0009 4.5685E+0010 1 10
TTTT
----:-- / 33.72
2.7430E+0009 4.5685E+0010 1 10
TTTT
----:-- / 33.72
15

2.7713E+0009 4.6031E+0010 1 10 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

2.7713E+0009 4.6031E+0010 1 10
TTTT
----:-- / 33.72
2.7713E+0009 ? 1 10
T-TT
----:PM / 29.52
CC

0
2.7713E+0009 4.6031E+0010 1 10
TTTT
----:-- / 33.72
2.7713E+0009 4.6031E+0010 1 10
TTTT
----:-- / 33.72
2.7713E+0009 4.6031E+0010 1 10
TTTT
----:-- / 33.72
16

1.9899E+0012 1.8288E+0013 1 8 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

1.9899E+0012 1.8288E+0013 1 8
TTTT
----:PM / 33.72
1.9899E+0012 ? 1 8
T-TT
----:-- / 29.52
CC

0
1.9899E+0012 1.8288E+0013 1 8
TTTT
----:-- / 33.72
1.9899E+0012 1.8288E+0013 1 8
TTTT
----:-- / 33.72
1.9899E+0012 1.8288E+0013 1 8
TTTT
----:-- / 33.72
17

7.3758E+0015 8.7119E+0016 1 10 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

7.3758E+0015 8.7119E+0016 1 10
TTTT
----:P- / 33.72
7.3758E+0015 ? 1 10
T-TT
----:-M / 29.52
CC

0
7.3758E+0015 8.7119E+0016 1 10
TTTT
----:-- / 33.72
7.3758E+0015 8.7119E+0016 1 10
TTTT
----:-- / 33.72
7.3758E+0015 8.7119E+0016 1 10
TTTT
----:-- / 33.72
HirschbergSinclair — P/T (502.00 pts max)
  GreatSPN ITS-Tools Tapaal tedd 2020-gold BVT-2021
Score -138.08 439.20 43.91 401.59 502.00 502.00
fastest 0 10 0 0 0 0
smallest memory 0 9 1 0 0 0
05

6.1581E+0006 3.1203E+0007 4 15 (expected value)

4.99 2.99 5.99 5.99 (confidence rate)

5.0012E+0006 2.5369E+0007 4 15
XXTT
V---:-- / -62.76
6.1581E+0006 ? 4 15
T-TT
----:P- / 43.91
6.1581E+0006 ? 4 15
T-TT
----:-M / 43.91
6.1581E+0006 3.1203E+0007 4 15
TTTT
----:-- / 50.20
6.1581E+0006 3.1203E+0007 4 15
TTTT
----:-- / 50.20
6.1581E+0006 3.1203E+0007 4 15
TTTT
----:-- / 50.20
10

6.9594E+0012 7.0857E+0013 9 30 (expected value)

3.99 2.99 4.99 4.99 (confidence rate)

5.4125E+0012 5.5093E+0013 9 30
XXTT
V---:-- / -62.76
6.9594E+0012 ? 9 30
T-TT
----:PM / 43.91
CC

0
6.9594E+0012 7.0857E+0013 9 30
TTTT
----:-- / 50.20
6.9594E+0012 7.0857E+0013 9 30
TTTT
----:-- / 50.20
6.9594E+0012 7.0857E+0013 9 30
TTTT
----:-- / 50.20
15

2.9333E+0018 4.4929E+0019 14 45 (expected value)

3.99 2.99 4.99 4.99 (confidence rate)

1.8444E+0018 2.8263E+0019 14 45
XXTT
V---:-- / -62.76
2.9333E+0018 ? 14 45
T-TT
----:PM / 43.91
CC

0
2.9333E+0018 4.4929E+0019 14 45
TTTT
----:-- / 50.20
2.9333E+0018 4.4929E+0019 14 45
TTTT
----:-- / 50.20
2.9333E+0018 4.4929E+0019 14 45
TTTT
----:-- / 50.20
20

2.7792E+0024 5.6883E+0025 19 60 (expected value)

3.99 2.99 3.99 3.99 (confidence rate)

DNF

0
2.7792E+0024 ? 19 60
T-TT
----:PM / 43.91
CC

0
2.7792E+0024 5.6883E+0025 19 60
TTTT
----:-- / 50.20
2.7792E+0024 5.6883E+0025 19 60
TTTT
----:-- / 50.20
2.7792E+0024 5.6883E+0025 19 60
TTTT
----:-- / 50.20
25

1.0359E+0030 2.6527E+0031 24 75 (expected value)

3.99 2.99 3.99 3.99 (confidence rate)

DNF

0
1.0359E+0030 ? 24 75
T-TT
----:PM / 43.91
CC

0
1.0359E+0030 2.6527E+0031 24 75
TTTT
----:-- / 50.20
1.0359E+0030 2.6527E+0031 24 75
TTTT
----:-- / 50.20
1.0359E+0030 2.6527E+0031 24 75
TTTT
----:-- / 50.20
30

3.9084E+0035 1.2016E+0037 29 90 (expected value)

3.99 2.99 3.99 3.99 (confidence rate)

DNF

0
3.9084E+0035 ? 29 90
T-TT
----:PM / 43.91
CC

0
3.9084E+0035 1.2016E+0037 29 90
TTTT
----:-- / 50.20
3.9084E+0035 1.2016E+0037 29 90
TTTT
----:-- / 50.20
3.9084E+0035 1.2016E+0037 29 90
TTTT
----:-- / 50.20
35

3.5829E+0041 1.2865E+0043 34 105 (expected value)

3.99 2.99 3.99 3.99 (confidence rate)

DNF

0
3.5829E+0041 ? 34 105
T-TT
----:PM / 43.91
CC

0
3.5829E+0041 1.2865E+0043 34 105
TTTT
----:-- / 50.20
3.5829E+0041 1.2865E+0043 34 105
TTTT
----:-- / 50.20
3.5829E+0041 1.2865E+0043 34 105
TTTT
----:-- / 50.20
40

1.2538E+0047 5.1464E+0048 39 120 (expected value)

2.99 1.99 2.99 2.99 (confidence rate)

CC

0
1.2538E+0047 ? 39 120
T-TT
----:PM / 43.91
CC

0
CC

0
1.2538E+0047 5.1464E+0048 39 120
TTTT
----:-- / 50.20
1.2538E+0047 5.1464E+0048 39 120
TTTT
----:-- / 50.20
45

4.4033E+0052 2.0338E+0054 44 135 (expected value)

2.99 1.99 2.99 2.99 (confidence rate)

DNF

0
4.4033E+0052 ? 44 135
T-TT
----:PM / 43.91
CC

0
CC

0
4.4033E+0052 2.0338E+0054 44 135
TTTT
----:-- / 50.20
4.4033E+0052 2.0338E+0054 44 135
TTTT
----:-- / 50.20
50

1.5522E+0058 7.9671E+0059 49 150 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

1.5522E+0058 7.9671E+0059 49 150
TTTT
----:-- / 50.20
1.5522E+0058 ? 49 150
T-TT
----:PM / 43.91
CC

0
1.5522E+0058 7.9671E+0059 49 150
TTTT
----:-- / 50.20
1.5522E+0058 7.9671E+0059 49 150
TTTT
----:-- / 50.20
1.5522E+0058 7.9671E+0059 49 150
TTTT
----:-- / 50.20
LeafsetExtension — P/T (522.40 pts max)
  GreatSPN ITS-Tools Tapaal tedd 2020-gold BVT-2021
Score 174.08 152.31 152.31 174.08 174.08 212.16
fastest 2 0 3 0 0 0
smallest memory 1 0 4 0 0 0
S08C2

1.7225E+0005 3.5935E+0005 2 16 (expected value)

5.99 3.99 5.99 5.99 (confidence rate)

1.7225E+0005 3.5935E+0005 2 16
TTTT
----:-- / 43.52
1.7225E+0005 ? 2 16
T-TT
----:-- / 38.08
1.7225E+0005 ? 2 16
T-TT
----:PM / 38.08
1.7225E+0005 3.5935E+0005 2 16
TTTT
----:-- / 43.52
1.7225E+0005 3.5935E+0005 2 16
TTTT
----:-- / 43.52
1.7225E+0005 3.5935E+0005 2 16
TTTT
----:-- / 43.52
S08C3

2.6264E+0007 8.0531E+0007 3 18 (expected value)

5.99 3.99 5.99 5.99 (confidence rate)

2.6264E+0007 8.0531E+0007 3 18
TTTT
----:P- / 43.52
2.6264E+0007 ? 3 18
T-TT
----:-- / 38.08
2.6264E+0007 ? 3 18
T-TT
----:-M / 38.08
2.6264E+0007 8.0531E+0007 3 18
TTTT
----:-- / 43.52
2.6264E+0007 8.0531E+0007 3 18
TTTT
----:-- / 43.52
2.6264E+0007 8.0531E+0007 3 18
TTTT
----:-- / 43.52
S08C4

2.4653E+0009 9.8749E+0009 4 20 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

2.4653E+0009 9.8749E+0009 4 20
TTTT
----:PM / 43.52
2.4653E+0009 ? 4 20
T-TT
----:-- / 38.08
CC

0
2.4653E+0009 9.8749E+0009 4 20
TTTT
----:-- / 43.52
2.4653E+0009 9.8749E+0009 4 20
TTTT
----:-- / 43.52
2.4653E+0009 9.8749E+0009 4 20
TTTT
----:-- / 43.52
S16C2

2.4477E+0006 5.0382E+0006 2 24 (expected value)

5.99 3.99 5.99 5.99 (confidence rate)

2.4477E+0006 5.0382E+0006 2 24
TTTT
----:-- / 43.52
2.4477E+0006 ? 2 24
T-TT
----:-- / 38.08
2.4477E+0006 ? 2 24
T-TT
----:PM / 38.08
2.4477E+0006 5.0382E+0006 2 24
TTTT
----:-- / 43.52
2.4477E+0006 5.0382E+0006 2 24
TTTT
----:-- / 43.52
2.4477E+0006 5.0382E+0006 2 24
TTTT
----:-- / 43.52
S16C3

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
CC

0
DNF

0
DNC
S16C4

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
CC

0
DNF

0
DNC
S32C2

3.6241E+0007 ? 2 40 (expected value)

2.00 0 2.00 2.00 (confidence rate)

DNF

0
DNF

0
3.6241E+0007 ? 2 40
T?TT
----:PM / 38.08
CC

0
DNF

0
3.6241E+0007 ? 2 40
T?TT
----:-- / 38.08
S32C3

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
CC

0
DNF

0
DNC
S32C4

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
CC

0
DNF

0
DNC
S64C2

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
CC

0
DNF

0
DNC
S64C3

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNC
S64C4

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNC
MultiCrashLeafsetExtension — P/T (695.80 pts max)
  GreatSPN ITS-Tools Tapaal tedd 2020-gold BVT-2021
Score 21.00 0.00 252.00 138.00 48.00 273.00
fastest 0 0 12 0 0 0
smallest memory 0 0 12 0 0 0
S16C02

33708 38129 2 46 (expected value)

4.99 2.99 4.99 4.99 (confidence rate)

33708 ? 2 46
T-TT
----:-- / 21.00
DNF

0
33708 ? 2 46
T-TT
----:PM / 21.00
33708 38129 2 46
TTTT
----:-- / 24.00
33708 38129 2 46
TTTT
----:-- / 24.00
33708 38129 2 46
TTTT
----:-- / 24.00
S16C03

2.6807E+0005 3.0361E+0005 3 49 (expected value)

3.99 2.99 3.99 3.99 (confidence rate)

DNF

0
DNF

0
2.6807E+0005 ? 3 49
T-TT
----:PM / 21.00
2.6807E+0005 3.0361E+0005 3 49
TTTT
----:-- / 24.00
2.6807E+0005 3.0361E+0005 3 49
TTTT
----:-- / 24.00
2.6807E+0005 3.0361E+0005 3 49
TTTT
----:-- / 24.00
S16C04

1.3416E+0006 1.5202E+0006 4 52 (expected value)

3.00 2 2.00 2.00 (confidence rate)

DNF

0
DNF

0
1.3416E+0006 ? 4 52
T-TT
----:PM / 21.00
1.3416E+0006 1.5202E+0006 ? ?
TT--
----:-- / 18.00
DNF

0
1.3416E+0006 1.5202E+0006 4 52
TTTT
----:-- / 24.00
S16C05

4.7508E+0006 5.3835E+0006 5 55 (expected value)

3.00 2 2.00 2.00 (confidence rate)

DNF

0
DNF

0
4.7508E+0006 ? 5 55
T-TT
----:PM / 21.00
4.7508E+0006 5.3835E+0006 ? ?
TT--
----:-- / 18.00
DNF

0
4.7508E+0006 5.3835E+0006 5 55
TTTT
----:-- / 24.00
S16C06

1.2699E+0007 1.4389E+0007 6 58 (expected value)

3.00 2 2.00 2.00 (confidence rate)

DNF

0
DNF

0
1.2699E+0007 ? 6 58
T-TT
----:PM / 21.00
1.2699E+0007 1.4389E+0007 ? ?
TT--
----:-- / 18.00
DNF

0
1.2699E+0007 1.4389E+0007 6 58
TTTT
----:-- / 24.00
S16C07

2.6748E+0007 ? 7 61 (expected value)

2.00 0 2.00 2.00 (confidence rate)

CC

0
DNF

0
2.6748E+0007 ? 7 61
T?TT
----:PM / 21.00
CC

0
DNF

0
2.6748E+0007 ? 7 61
T?TT
----:-- / 21.00
S16C08

4.5907E+0007 ? 8 64 (expected value)

2.00 0 2.00 2.00 (confidence rate)

CC

0
DNF

0
4.5907E+0007 ? 8 64
T?TT
----:PM / 21.00
CC

0
DNF

0
4.5907E+0007 ? 8 64
T?TT
----:-- / 21.00
S24C02

1.0802E+0005 ? 2 62 (expected value)

2.00 0 2.00 2.00 (confidence rate)

DNF

0
DNF

0
1.0802E+0005 ? 2 62
T?TT
----:PM / 21.00
DNF

0
DNF

0
1.0802E+0005 ? 2 62
T?TT
----:-- / 21.00
S24C03

1.2917E+0006 1.4676E+0006 3 65 (expected value)

3.00 2 2.00 2.00 (confidence rate)

CC

0
DNF

0
1.2917E+0006 ? 3 65
T-TT
----:PM / 21.00
1.2917E+0006 1.4676E+0006 ? ?
TT--
----:-- / 18.00
DNF

0
1.2917E+0006 1.4676E+0006 3 65
TTTT
----:-- / 24.00
S24C04

9.8934E+0006 ? 4 68 (expected value)

2.00 0 2.00 2.00 (confidence rate)

CC

0
DNF

0
9.8934E+0006 ? 4 68
T?TT
----:PM / 21.00
CC

0
DNF

0
9.8934E+0006 ? 4 68
T?TT
----:-- / 21.00
S24C05

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
CC

0
DNF

0
DNC
S24C06

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
CC

0
DNF

0
DNC
S24C07

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
CC

0
DNF

0
DNC
S24C08

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
CC

0
DNF

0
DNC
S24C09

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
CC

0
DNF

0
DNC
S24C10

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
CC

0
DNF

0
DNC
S24C11

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
CC

0
DNF

0
DNC
S24C12

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
DNF

0
DNF

0
DNC
S32C02

2.4931E+0005 2.8350E+0005 2 78 (expected value)

3.00 2 2.00 2.00 (confidence rate)

CC

0
DNF

0
2.4931E+0005 ? 2 78
T-TT
----:PM / 21.00
2.4931E+0005 2.8350E+0005 ? ?
TT--
----:-- / 18.00
DNF

0
2.4931E+0005 2.8350E+0005 2 78
TTTT
----:-- / 24.00
S32C03

3.9792E+0006 ? 3 81 (expected value)

2.00 0 2.00 2.00 (confidence rate)

CC

0
DNF

0
3.9792E+0006 ? 3 81
T?TT
----:PM / 21.00
DNF

0
DNF

0
3.9792E+0006 ? 3 81
T?TT
----:-- / 21.00
S32C04

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
DNF

0
DNF

0
DNC
S32C05

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
DNF

0
DNF

0
DNC
S32C06

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
DNF

0
DNF

0
DNC
S32C07

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
DNF

0
DNF

0
DNC
S32C08

? (expected value)

0 (confidence rate)

DNF

0
CC

0
CC

0
DNF

0
DNF

0
DNC
S32C09

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNC
S32C10

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
DNF

0
DNF

0
DNC
S32C11

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
DNF

0
DNF

0
DNC
S32C12

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNC
SemanticWebServices — P/T (553.00 pts max)
  GreatSPN ITS-Tools Tapaal tedd 2020-gold BVT-2021
Score 368.80 0.00 0.00 553.20 553.20 553.20
fastest 10 0 0 5 0 0
smallest memory 10 0 0 0 2 3
S064P06

inf inf inf inf (expected value)

3.99 3.99 3.99 3.99 (confidence rate)

inf inf inf inf
TTTT
----:PM / 36.88
DNF

0
CC

0
inf inf inf inf
TTTT
----:-- / 36.88
inf inf inf inf
TTTT
----:-- / 36.88
inf inf inf inf
TTTT
----:-- / 36.88
S064P09

inf inf inf inf (expected value)

3.99 3.99 3.99 3.99 (confidence rate)

inf inf inf inf
TTTT
----:PM / 36.88
DNF

0
CC

0
inf inf inf inf
TTTT
----:-- / 36.88
inf inf inf inf
TTTT
----:-- / 36.88
inf inf inf inf
TTTT
----:-- / 36.88
S064P12

inf inf inf inf (expected value)

3.99 3.99 3.99 3.99 (confidence rate)

inf inf inf inf
TTTT
----:PM / 36.88
DNF

0
CC

0
inf inf inf inf
TTTT
----:-- / 36.88
inf inf inf inf
TTTT
----:-- / 36.88
inf inf inf inf
TTTT
----:-- / 36.88
S064P15

inf inf inf inf (expected value)

3.99 3.99 3.99 3.99 (confidence rate)

inf inf inf inf
TTTT
----:PM / 36.88
DNF

0
CC

0
inf inf inf inf
TTTT
----:-- / 36.88
inf inf inf inf
TTTT
----:-- / 36.88
inf inf inf inf
TTTT
----:-- / 36.88
S064P18

inf inf inf inf (expected value)

3.99 3.99 3.99 3.99 (confidence rate)

inf inf inf inf
TTTT
----:PM / 36.88
DNF

0
CC

0
inf inf inf inf
TTTT
----:-- / 36.88
inf inf inf inf
TTTT
----:-- / 36.88
inf inf inf inf
TTTT
----:-- / 36.88
S128P06

inf inf inf inf (expected value)

3.99 3.99 3.99 3.99 (confidence rate)

inf inf inf inf
TTTT
----:PM / 36.88
DNF

0
CC

0
inf inf inf inf
TTTT
----:-- / 36.88
inf inf inf inf
TTTT
----:-- / 36.88
inf inf inf inf
TTTT
----:-- / 36.88
S128P09

inf inf inf inf (expected value)

3.99 3.99 3.99 3.99 (confidence rate)

inf inf inf inf
TTTT
----:PM / 36.88
DNF

0
CC

0
inf inf inf inf
TTTT
----:-- / 36.88
inf inf inf inf
TTTT
----:-- / 36.88
inf inf inf inf
TTTT
----:-- / 36.88
S128P12

inf inf inf inf (expected value)

3.99 3.99 3.99 3.99 (confidence rate)

inf inf inf inf
TTTT
----:PM / 36.88
DNF

0
CC

0
inf inf inf inf
TTTT
----:-- / 36.88
inf inf inf inf
TTTT
----:-- / 36.88
inf inf inf inf
TTTT
----:-- / 36.88
S128P15

inf inf inf inf (expected value)

3.99 3.99 3.99 3.99 (confidence rate)

inf inf inf inf
TTTT
----:PM / 36.88
DNF

0
CC

0
inf inf inf inf
TTTT
----:-- / 36.88
inf inf inf inf
TTTT
----:-- / 36.88
inf inf inf inf
TTTT
----:-- / 36.88
S128P18

inf inf inf inf (expected value)

3.99 3.99 3.99 3.99 (confidence rate)

inf inf inf inf
TTTT
----:PM / 36.88
DNF

0
CC

0
inf inf inf inf
TTTT
----:-- / 36.88
inf inf inf inf
TTTT
----:-- / 36.88
inf inf inf inf
TTTT
----:-- / 36.88
S256P06

inf inf inf inf (expected value)

2.99 2.99 2.99 2.99 (confidence rate)

CC

0
DNF

0
CC

0
inf inf inf inf
TTTT
----:P- / 36.88
inf inf inf inf
TTTT
----:-M / 36.88
inf inf inf inf
TTTT
----:-- / 36.88
S256P09

inf inf inf inf (expected value)

2.99 2.99 2.99 2.99 (confidence rate)

DNF

0
DNF

0
CC

0
inf inf inf inf
TTTT
----:P- / 36.88
inf inf inf inf
TTTT
----:-- / 36.88
inf inf inf inf
TTTT
----:-M / 36.88
S256P12

inf inf inf inf (expected value)

2.99 2.99 2.99 2.99 (confidence rate)

DNF

0
DNF

0
CC

0
inf inf inf inf
TTTT
----:P- / 36.88
inf inf inf inf
TTTT
----:-- / 36.88
inf inf inf inf
TTTT
----:-M / 36.88
S256P15

inf inf inf inf (expected value)

2.99 2.99 2.99 2.99 (confidence rate)

DNF

0
DNF

0
CC

0
inf inf inf inf
TTTT
----:P- / 36.88
inf inf inf inf
TTTT
----:-- / 36.88
inf inf inf inf
TTTT
----:-M / 36.88
S256P18

inf inf inf inf (expected value)

2.99 2.99 2.99 2.99 (confidence rate)

CC

0
DNF

0
CC

0
inf inf inf inf
TTTT
----:P- / 36.88
inf inf inf inf
TTTT
----:-M / 36.88
inf inf inf inf
TTTT
----:-- / 36.88
ServersAndClients — P/T (512.20 pts max)
  GreatSPN ITS-Tools Tapaal tedd 2020-gold BVT-2021
Score 93.12 326.08 448.36 453.95 372.48 506.36
fastest 0 0 11 0 0 0
smallest memory 0 0 11 0 0 0
100020

2201 4200 1 121 (expected value)

5.99 3.99 5.99 5.99 (confidence rate)

2201 4200 1 121
TTTT
----:-- / 46.55
2201 ? 1 121
T-TT
----:-- / 40.76
2201 ? 1 121
T-TT
----:PM / 40.76
2201 4200 1 121
TTTT
----:-- / 46.55
2201 4200 1 121
TTTT
----:-- / 46.55
2201 4200 1 121
TTTT
----:-- / 46.55
100040

4201 8200 1 141 (expected value)

5.99 3.99 5.99 5.99 (confidence rate)

4201 8200 1 141
TTTT
----:-- / 46.55
4201 ? 1 141
T-TT
----:-- / 40.76
4201 ? 1 141
T-TT
----:PM / 40.76
4201 8200 1 141
TTTT
----:-- / 46.55
4201 8200 1 141
TTTT
----:-- / 46.55
4201 8200 1 141
TTTT
----:-- / 46.55
100080

8201 16200 1 181 (expected value)

4.99 2.99 4.99 4.99 (confidence rate)

CC

0
8201 ? 1 181
T-TT
----:-- / 40.76
8201 ? 1 181
T-TT
----:PM / 40.76
8201 16200 1 181
TTTT
----:-- / 46.55
8201 16200 1 181
TTTT
----:-- / 46.55
8201 16200 1 181
TTTT
----:-- / 46.55
100160

16201 32200 1 261 (expected value)

4.99 2.99 4.99 4.99 (confidence rate)

CC

0
16201 ? 1 261
T-TT
----:-- / 40.76
16201 ? 1 261
T-TT
----:PM / 40.76
16201 32200 1 261
TTTT
----:-- / 46.55
16201 32200 1 261
TTTT
----:-- / 46.55
16201 32200 1 261
TTTT
----:-- / 46.55
100320

32201 64200 1 421 (expected value)

4.00 2 3.00 3.00 (confidence rate)

DNF

0
32201 ? 1 421
T-TT
----:-- / 40.76
32201 ? 1 421
T-TT
----:PM / 40.76
32201 64200 ? ?
TT--
----:-- / 34.91
DNF

0
32201 64200 1 421
TTTT
----:-- / 46.55
200040

8401 16400 1 241 (expected value)

4.99 2.99 4.99 4.99 (confidence rate)

CC

0
8401 ? 1 241
T-TT
----:-- / 40.76
8401 ? 1 241
T-TT
----:PM / 40.76
8401 16400 1 241
TTTT
----:-- / 46.55
8401 16400 1 241
TTTT
----:-- / 46.55
8401 16400 1 241
TTTT
----:-- / 46.55
200080

16401 32400 1 281 (expected value)

4.99 2.99 4.99 4.99 (confidence rate)

CC

0
16401 ? 1 281
T-TT
----:-- / 40.76
16401 ? 1 281
T-TT
----:PM / 40.76
16401 32400 1 281
TTTT
----:-- / 46.55
16401 32400 1 281
TTTT
----:-- / 46.55
16401 32400 1 281
TTTT
----:-- / 46.55
200160

32401 64400 1 361 (expected value)

3.99 2.99 3.99 3.99 (confidence rate)

CC

0
DNF

0
32401 ? 1 361
T-TT
----:PM / 40.76
32401 64400 1 361
TTTT
----:-- / 46.55
32401 64400 1 361
TTTT
----:-- / 46.55
32401 64400 1 361
TTTT
----:-- / 46.55
200320

64401 ? 1 521 (expected value)

2.00 0 2.00 2.00 (confidence rate)

DNF

0
DNF

0
64401 ? 1 521
T?TT
----:PM / 40.76
CC

0
DNF

0
64401 ? 1 521
T?TT
----:-- / 40.76
400080

32801 64800 1 481 (expected value)

4.99 2.99 4.99 4.99 (confidence rate)

CC

0
32801 ? 1 481
T-TT
----:-- / 40.76
32801 ? 1 481
T-TT
----:PM / 40.76
32801 64800 1 481
TTTT
----:-- / 46.55
32801 64800 1 481
TTTT
----:-- / 46.55
32801 64800 1 481
TTTT
----:-- / 46.55
400160

64801 1.2880E+0005 1 561 (expected value)

3.00 2 3.00 3.00 (confidence rate)

DNF

0
DNF

0
64801 ? 1 561
T-TT
----:PM / 40.76
64801 1.2880E+0005 1 561
TTTT
----:-- / 46.55
DNF

0
64801 1.2880E+0005 1 561
TTTT
----:-- / 46.55
TwoPhaseLocking — P/T (624.40 pts max)
  GreatSPN ITS-Tools Tapaal tedd 2020-gold BVT-2021
Score 454.40 298.08 298.08 369.20 369.20 454.40
fastest 12 0 4 0 0 0
smallest memory 13 0 3 0 0 0
nC00004vD

32 57 4 8 (expected value)

5.99 3.99 5.99 5.99 (confidence rate)

32 57 4 8
TTTT
----:-M / 28.40
32 ? 4 8
T-TT
----:-- / 24.84
32 ? 4 8
T-TT
----:P- / 24.84
32 57 4 8
TTTT
----:-- / 28.40
32 57 4 8
TTTT
----:-- / 28.40
32 57 4 8
TTTT
----:-- / 28.40
nC00004vN

45 84 4 9 (expected value)

5.99 3.99 5.99 5.99 (confidence rate)

45 84 4 9
TTTT
----:-- / 28.40
45 ? 4 9
T-TT
----:-- / 24.84
45 ? 4 9
T-TT
----:PM / 24.84
45 84 4 9
TTTT
----:-- / 28.40
45 84 4 9
TTTT
----:-- / 28.40
45 84 4 9
TTTT
----:-- / 28.40
nC00010vD

503 1567 10 20 (expected value)

5.99 3.99 5.99 5.99 (confidence rate)

503 1567 10 20
TTTT
----:-- / 28.40
503 ? 10 20
T-TT
----:-- / 24.84
503 ? 10 20
T-TT
----:PM / 24.84
503 1567 10 20
TTTT
----:-- / 28.40
503 1567 10 20
TTTT
----:-- / 28.40
503 1567 10 20
TTTT
----:-- / 28.40
nC00010vN

624 1978 10 21 (expected value)

5.99 3.99 5.99 5.99 (confidence rate)

624 1978 10 21
TTTT
----:-M / 28.40
624 ? 10 21
T-TT
----:-- / 24.84
624 ? 10 21
T-TT
----:P- / 24.84
624 1978 10 21
TTTT
----:-- / 28.40
624 1978 10 21
TTTT
----:-- / 28.40
624 1978 10 21
TTTT
----:-- / 28.40
nC00020vD

7006 28885 20 40 (expected value)

5.99 3.99 5.99 5.99 (confidence rate)

7006 28885 20 40
TTTT
----:PM / 28.40
7006 ? 20 40
T-TT
----:-- / 24.84
7006 ? 20 40
T-TT
----:-- / 24.84
7006 28885 20 40
TTTT
----:-- / 28.40
7006 28885 20 40
TTTT
----:-- / 28.40
7006 28885 20 40
TTTT
----:-- / 28.40
nC00020vN

7997 33156 20 41 (expected value)

5.99 3.99 5.99 5.99 (confidence rate)

7997 33156 20 41
TTTT
----:P- / 28.40
7997 ? 20 41
T-TT
----:-- / 24.84
7997 ? 20 41
T-TT
----:-M / 24.84
7997 33156 20 41
TTTT
----:-- / 28.40
7997 33156 20 41
TTTT
----:-- / 28.40
7997 33156 20 41
TTTT
----:-- / 28.40
nC00050vD

3.8002E+0005 1.9328E+0006 50 100 (expected value)

5.99 3.99 5.99 5.99 (confidence rate)

3.8002E+0005 1.9328E+0006 50 100
TTTT
----:PM / 28.40
3.8002E+0005 ? 50 100
T-TT
----:-- / 24.84
3.8002E+0005 ? 50 100
T-TT
----:-- / 24.84
3.8002E+0005 1.9328E+0006 50 100
TTTT
----:-- / 28.40
3.8002E+0005 1.9328E+0006 50 100
TTTT
----:-- / 28.40
3.8002E+0005 1.9328E+0006 50 100
TTTT
----:-- / 28.40
nC00050vN

4.0374E+0005 2.0556E+0006 50 101 (expected value)

5.99 3.99 5.99 5.99 (confidence rate)

4.0374E+0005 2.0556E+0006 50 101
TTTT
----:PM / 28.40
4.0374E+0005 ? 50 101
T-TT
----:-- / 24.84
4.0374E+0005 ? 50 101
T-TT
----:-- / 24.84
4.0374E+0005 2.0556E+0006 50 101
TTTT
----:-- / 28.40
4.0374E+0005 2.0556E+0006 50 101
TTTT
----:-- / 28.40
4.0374E+0005 2.0556E+0006 50 101
TTTT
----:-- / 28.40
nC00100vD

9.8038E+0006 5.3997E+0007 100 200 (expected value)

5.99 3.99 5.99 5.99 (confidence rate)

9.8038E+0006 5.3997E+0007 100 200
TTTT
----:PM / 28.40
9.8038E+0006 ? 100 200
T-TT
----:-- / 24.84
9.8038E+0006 ? 100 200
T-TT
----:-- / 24.84
9.8038E+0006 5.3997E+0007 100 200
TTTT
----:-- / 28.40
9.8038E+0006 5.3997E+0007 100 200
TTTT
----:-- / 28.40
9.8038E+0006 5.3997E+0007 100 200
TTTT
----:-- / 28.40
nC00100vN

1.0120E+0007 5.5754E+0007 100 201 (expected value)

5.99 3.99 5.99 5.99 (confidence rate)

1.0120E+0007 5.5754E+0007 100 201
TTTT
----:PM / 28.40
1.0120E+0007 ? 100 201
T-TT
----:-- / 24.84
1.0120E+0007 ? 100 201
T-TT
----:-- / 24.84
1.0120E+0007 5.5754E+0007 100 201
TTTT
----:-- / 28.40
1.0120E+0007 5.5754E+0007 100 201
TTTT
----:-- / 28.40
1.0120E+0007 5.5754E+0007 100 201
TTTT
----:-- / 28.40
nC00200vD

2.8049E+0008 1.6111E+0009 200 400 (expected value)

5.99 3.99 5.99 5.99 (confidence rate)

2.8049E+0008 1.6111E+0009 200 400
TTTT
----:PM / 28.40
2.8049E+0008 ? 200 400
T-TT
----:-- / 24.84
2.8049E+0008 ? 200 400
T-TT
----:-- / 24.84
2.8049E+0008 1.6111E+0009 200 400
TTTT
----:-- / 28.40
2.8049E+0008 1.6111E+0009 200 400
TTTT
----:-- / 28.40
2.8049E+0008 1.6111E+0009 200 400
TTTT
----:-- / 28.40
nC00200vN

2.8508E+0008 1.6376E+0009 200 401 (expected value)

5.99 3.99 5.99 5.99 (confidence rate)

2.8508E+0008 1.6376E+0009 200 401
TTTT
----:PM / 28.40
2.8508E+0008 ? 200 401
T-TT
----:-- / 24.84
2.8508E+0008 ? 200 401
T-TT
----:-- / 24.84
2.8508E+0008 1.6376E+0009 200 401
TTTT
----:-- / 28.40
2.8508E+0008 1.6376E+0009 200 401
TTTT
----:-- / 28.40
2.8508E+0008 1.6376E+0009 200 401
TTTT
----:-- / 28.40
nC00500vD

2.5574E+0010 1.5076E+0011 500 1000 (expected value)

3.99 3.99 3.99 3.99 (confidence rate)

2.5574E+0010 1.5076E+0011 500 1000
TTTT
----:PM / 28.40
DNF

0
CC

0
2.5574E+0010 1.5076E+0011 500 1000
TTTT
----:-- / 28.40
2.5574E+0010 1.5076E+0011 500 1000
TTTT
----:-- / 28.40
2.5574E+0010 1.5076E+0011 500 1000
TTTT
----:-- / 28.40
nC00500vN

2.5743E+0010 1.5176E+0011 500 1001 (expected value)

1.99 1.99 1.99 1.99 (confidence rate)

2.5743E+0010 1.5176E+0011 500 1001
TTTT
----:PM / 28.40
DNF

0
CC

0
CC

0
DNF

0
2.5743E+0010 1.5176E+0011 500 1001
TTTT
----:-- / 28.40
nC01000vD

7.9964E+0011 4.7556E+0012 1000 2000 (expected value)

1.99 1.99 1.99 1.99 (confidence rate)

7.9964E+0011 4.7556E+0012 1000 2000
TTTT
----:PM / 28.40
DNF

0
CC

0
CC

0
DNF

0
7.9964E+0011 4.7556E+0012 1000 2000
TTTT
----:-- / 28.40
nC01000vN

8.0230E+0011 4.7714E+0012 1000 2001 (expected value)

1.99 1.99 1.99 1.99 (confidence rate)

8.0230E+0011 4.7714E+0012 1000 2001
TTTT
----:PM / 28.40
DNF

0
CC

0
CC

0
DNF

0
8.0230E+0011 4.7714E+0012 1000 2001
TTTT
----:-- / 28.40
nC02000vD

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
CC

0
DNF

0
DNC
nC02000vN

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
CC

0
DNF

0
DNC
nC05000vD

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
CC

0
DNF

0
DNC
nC05000vN

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
CC

0
DNF

0
DNC
nC10000vD

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
CC

0
DNF

0
DNC
nC10000vN

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
CC

0
DNF

0
DNC
UtilityControlRoom — Colored (373.40 pts max)
  GreatSPN ITS-Tools Tapaal tedd 2020-gold BVT-2021
Score 373.31 0.00 0.00 373.31 373.31 373.31
fastest 17 0 0 0 0 0
smallest memory 17 0 0 0 0 0
Z2T3N04

2.0834E+0005 1.3937E+0006 4 17 (expected value)

3.99 3.99 3.99 3.99 (confidence rate)

2.0834E+0005 1.3937E+0006 4 17
TTTT
----:PM / 21.95
CC

0
CC

0
2.0834E+0005 1.3937E+0006 4 17
TTTT
----:-- / 21.95
2.0834E+0005 1.3937E+0006 4 17
TTTT
----:-- / 21.95
2.0834E+0005 1.3937E+0006 4 17
TTTT
----:-- / 21.95
Z2T3N06

2.6085E+0007 2.3890E+0008 6 23 (expected value)

3.99 3.99 3.99 3.99 (confidence rate)

2.6085E+0007 2.3890E+0008 6 23
TTTT
----:PM / 21.95
CC

0
CC

0
2.6085E+0007 2.3890E+0008 6 23
TTTT
----:-- / 21.95
2.6085E+0007 2.3890E+0008 6 23
TTTT
----:-- / 21.95
2.6085E+0007 2.3890E+0008 6 23
TTTT
----:-- / 21.95
Z2T3N08

2.6079E+0009 3.0058E+0010 8 29 (expected value)

3.99 3.99 3.99 3.99 (confidence rate)

2.6079E+0009 3.0058E+0010 8 29
TTTT
----:PM / 21.95
CC

0
CC

0
2.6079E+0009 3.0058E+0010 8 29
TTTT
----:-- / 21.95
2.6079E+0009 3.0058E+0010 8 29
TTTT
----:-- / 21.95
2.6079E+0009 3.0058E+0010 8 29
TTTT
----:-- / 21.95
Z2T3N10

2.2712E+0011 3.1466E+0012 10 35 (expected value)

3.99 3.99 3.99 3.99 (confidence rate)

2.2712E+0011 3.1466E+0012 10 35
TTTT
----:PM / 21.95
CC

0
CC

0
2.2712E+0011 3.1466E+0012 10 35
TTTT
----:-- / 21.95
2.2712E+0011 3.1466E+0012 10 35
TTTT
----:-- / 21.95
2.2712E+0011 3.1466E+0012 10 35
TTTT
----:-- / 21.95
Z2T4N02

1092 4208 4 12 (expected value)

3.99 3.99 3.99 3.99 (confidence rate)

1092 4208 4 12
TTTT
----:PM / 21.95
CC

0
CC

0
1092 4208 4 12
TTTT
----:-- / 21.95
1092 4208 4 12
TTTT
----:-- / 21.95
1092 4208 4 12
TTTT
----:-- / 21.95
Z2T4N04

2.1043E+0005 1.4084E+0006 4 18 (expected value)

3.99 3.99 3.99 3.99 (confidence rate)

2.1043E+0005 1.4084E+0006 4 18
TTTT
----:PM / 21.95
CC

0
CC

0
2.1043E+0005 1.4084E+0006 4 18
TTTT
----:-- / 21.95
2.1043E+0005 1.4084E+0006 4 18
TTTT
----:-- / 21.95
2.1043E+0005 1.4084E+0006 4 18
TTTT
----:-- / 21.95
Z2T4N06

2.7622E+0007 2.5317E+0008 6 24 (expected value)

3.99 3.99 3.99 3.99 (confidence rate)

2.7622E+0007 2.5317E+0008 6 24
TTTT
----:PM / 21.95
CC

0
CC

0
2.7622E+0007 2.5317E+0008 6 24
TTTT
----:-- / 21.95
2.7622E+0007 2.5317E+0008 6 24
TTTT
----:-- / 21.95
2.7622E+0007 2.5317E+0008 6 24
TTTT
----:-- / 21.95
Z2T4N08

2.9594E+0009 3.4124E+0010 8 30 (expected value)

3.99 3.99 3.99 3.99 (confidence rate)

2.9594E+0009 3.4124E+0010 8 30
TTTT
----:PM / 21.95
CC

0
CC

0
2.9594E+0009 3.4124E+0010 8 30
TTTT
----:-- / 21.95
2.9594E+0009 3.4124E+0010 8 30
TTTT
----:-- / 21.95
2.9594E+0009 3.4124E+0010 8 30
TTTT
----:-- / 21.95
Z2T4N10

2.7878E+0011 3.8624E+0012 10 36 (expected value)

3.99 3.99 3.99 3.99 (confidence rate)

2.7878E+0011 3.8624E+0012 10 36
TTTT
----:PM / 21.95
CC

0
CC

0
2.7878E+0011 3.8624E+0012 10 36
TTTT
----:-- / 21.95
2.7878E+0011 3.8624E+0012 10 36
TTTT
----:-- / 21.95
2.7878E+0011 3.8624E+0012 10 36
TTTT
----:-- / 21.95
Z4T3N06

2.4719E+0010 2.8658E+0011 6 25 (expected value)

3.99 3.99 3.99 3.99 (confidence rate)

2.4719E+0010 2.8658E+0011 6 25
TTTT
----:PM / 21.95
CC

0
CC

0
2.4719E+0010 2.8658E+0011 6 25
TTTT
----:-- / 21.95
2.4719E+0010 2.8658E+0011 6 25
TTTT
----:-- / 21.95
2.4719E+0010 2.8658E+0011 6 25
TTTT
----:-- / 21.95
Z4T3N08

7.4538E+0012 1.0658E+0014 8 31 (expected value)

3.99 3.99 3.99 3.99 (confidence rate)

7.4538E+0012 1.0658E+0014 8 31
TTTT
----:PM / 21.95
CC

0
CC

0
7.4538E+0012 1.0658E+0014 8 31
TTTT
----:-- / 21.95
7.4538E+0012 1.0658E+0014 8 31
TTTT
----:-- / 21.95
7.4538E+0012 1.0658E+0014 8 31
TTTT
----:-- / 21.95
Z4T3N10

1.8198E+0015 3.0807E+0016 10 37 (expected value)

3.99 3.99 3.99 3.99 (confidence rate)

1.8198E+0015 3.0807E+0016 10 37
TTTT
----:PM / 21.95
CC

0
CC

0
1.8198E+0015 3.0807E+0016 10 37
TTTT
----:-- / 21.95
1.8198E+0015 3.0807E+0016 10 37
TTTT
----:-- / 21.95
1.8198E+0015 3.0807E+0016 10 37
TTTT
----:-- / 21.95
Z4T4N02

57040 2.6876E+0005 4 14 (expected value)

3.99 3.99 3.99 3.99 (confidence rate)

57040 2.6876E+0005 4 14
TTTT
----:PM / 21.95
CC

0
CC

0
57040 2.6876E+0005 4 14
TTTT
----:-- / 21.95
57040 2.6876E+0005 4 14
TTTT
----:-- / 21.95
57040 2.6876E+0005 4 14
TTTT
----:-- / 21.95
Z4T4N04

6.5585E+0007 5.8993E+0008 4 20 (expected value)

3.99 3.99 3.99 3.99 (confidence rate)

6.5585E+0007 5.8993E+0008 4 20
TTTT
----:PM / 21.95
CC

0
CC

0
6.5585E+0007 5.8993E+0008 4 20
TTTT
----:-- / 21.95
6.5585E+0007 5.8993E+0008 4 20
TTTT
----:-- / 21.95
6.5585E+0007 5.8993E+0008 4 20
TTTT
----:-- / 21.95
Z4T4N06

4.2375E+0010 5.2386E+0011 6 26 (expected value)

3.99 3.99 3.99 3.99 (confidence rate)

4.2375E+0010 5.2386E+0011 6 26
TTTT
----:PM / 21.95
CC

0
CC

0
4.2375E+0010 5.2386E+0011 6 26
TTTT
----:-- / 21.95
4.2375E+0010 5.2386E+0011 6 26
TTTT
----:-- / 21.95
4.2375E+0010 5.2386E+0011 6 26
TTTT
----:-- / 21.95
Z4T4N08

1.7424E+0013 2.6594E+0014 8 32 (expected value)

3.99 3.99 3.99 3.99 (confidence rate)

1.7424E+0013 2.6594E+0014 8 32
TTTT
----:PM / 21.95
CC

0
CC

0
1.7424E+0013 2.6594E+0014 8 32
TTTT
----:-- / 21.95
1.7424E+0013 2.6594E+0014 8 32
TTTT
----:-- / 21.95
1.7424E+0013 2.6594E+0014 8 32
TTTT
----:-- / 21.95
Z4T4N10

5.4388E+0015 9.7867E+0016 10 38 (expected value)

3.99 3.99 3.99 3.99 (confidence rate)

5.4388E+0015 9.7867E+0016 10 38
TTTT
----:PM / 21.95
CC

0
CC

0
5.4388E+0015 9.7867E+0016 10 38
TTTT
----:-- / 21.95
5.4388E+0015 9.7867E+0016 10 38
TTTT
----:-- / 21.95
5.4388E+0015 9.7867E+0016 10 38
TTTT
----:-- / 21.95
UtilityControlRoom — P/T (373.40 pts max)
  GreatSPN ITS-Tools Tapaal tedd 2020-gold BVT-2021
Score 373.31 326.40 134.40 373.31 373.31 373.31
fastest 16 0 1 0 0 0
smallest memory 16 0 0 1 0 0
Z2T3N04

2.0834E+0005 1.3937E+0006 4 17 (expected value)

5.99 3.99 5.99 5.99 (confidence rate)

2.0834E+0005 1.3937E+0006 4 17
TTTT
----:PM / 21.95
2.0834E+0005 ? 4 17
T-TT
----:-- / 19.20
2.0834E+0005 ? 4 17
T-TT
----:-- / 19.20
2.0834E+0005 1.3937E+0006 4 17
TTTT
----:-- / 21.95
2.0834E+0005 1.3937E+0006 4 17
TTTT
----:-- / 21.95
2.0834E+0005 1.3937E+0006 4 17
TTTT
----:-- / 21.95
Z2T3N06

2.6085E+0007 2.3890E+0008 6 23 (expected value)

5.99 3.99 5.99 5.99 (confidence rate)

2.6085E+0007 2.3890E+0008 6 23
TTTT
----:PM / 21.95
2.6085E+0007 ? 6 23
T-TT
----:-- / 19.20
2.6085E+0007 ? 6 23
T-TT
----:-- / 19.20
2.6085E+0007 2.3890E+0008 6 23
TTTT
----:-- / 21.95
2.6085E+0007 2.3890E+0008 6 23
TTTT
----:-- / 21.95
2.6085E+0007 2.3890E+0008 6 23
TTTT
----:-- / 21.95
Z2T3N08

2.6079E+0009 3.0058E+0010 8 29 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

2.6079E+0009 3.0058E+0010 8 29
TTTT
----:PM / 21.95
2.6079E+0009 ? 8 29
T-TT
----:-- / 19.20
CC

0
2.6079E+0009 3.0058E+0010 8 29
TTTT
----:-- / 21.95
2.6079E+0009 3.0058E+0010 8 29
TTTT
----:-- / 21.95
2.6079E+0009 3.0058E+0010 8 29
TTTT
----:-- / 21.95
Z2T3N10

2.2712E+0011 3.1466E+0012 10 35 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

2.2712E+0011 3.1466E+0012 10 35
TTTT
----:PM / 21.95
2.2712E+0011 ? 10 35
T-TT
----:-- / 19.20
CC

0
2.2712E+0011 3.1466E+0012 10 35
TTTT
----:-- / 21.95
2.2712E+0011 3.1466E+0012 10 35
TTTT
----:-- / 21.95
2.2712E+0011 3.1466E+0012 10 35
TTTT
----:-- / 21.95
Z2T4N02

1092 4208 4 12 (expected value)

5.99 3.99 5.99 5.99 (confidence rate)

1092 4208 4 12
TTTT
----:-M / 21.95
1092 ? 4 12
T-TT
----:-- / 19.20
1092 ? 4 12
T-TT
----:P- / 19.20
1092 4208 4 12
TTTT
----:-- / 21.95
1092 4208 4 12
TTTT
----:-- / 21.95
1092 4208 4 12
TTTT
----:-- / 21.95
Z2T4N04

2.1043E+0005 1.4084E+0006 4 18 (expected value)

5.99 3.99 5.99 5.99 (confidence rate)

2.1043E+0005 1.4084E+0006 4 18
TTTT
----:P- / 21.95
2.1043E+0005 ? 4 18
T-TT
----:-- / 19.20
2.1043E+0005 ? 4 18
T-TT
----:-- / 19.20
2.1043E+0005 1.4084E+0006 4 18
TTTT
----:-M / 21.95
2.1043E+0005 1.4084E+0006 4 18
TTTT
----:-- / 21.95
2.1043E+0005 1.4084E+0006 4 18
TTTT
----:-- / 21.95
Z2T4N06

2.7622E+0007 2.5317E+0008 6 24 (expected value)

5.99 3.99 5.99 5.99 (confidence rate)

2.7622E+0007 2.5317E+0008 6 24
TTTT
----:PM / 21.95
2.7622E+0007 ? 6 24
T-TT
----:-- / 19.20
2.7622E+0007 ? 6 24
T-TT
----:-- / 19.20
2.7622E+0007 2.5317E+0008 6 24
TTTT
----:-- / 21.95
2.7622E+0007 2.5317E+0008 6 24
TTTT
----:-- / 21.95
2.7622E+0007 2.5317E+0008 6 24
TTTT
----:-- / 21.95
Z2T4N08

2.9594E+0009 3.4124E+0010 8 30 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

2.9594E+0009 3.4124E+0010 8 30
TTTT
----:PM / 21.95
2.9594E+0009 ? 8 30
T-TT
----:-- / 19.20
CC

0
2.9594E+0009 3.4124E+0010 8 30
TTTT
----:-- / 21.95
2.9594E+0009 3.4124E+0010 8 30
TTTT
----:-- / 21.95
2.9594E+0009 3.4124E+0010 8 30
TTTT
----:-- / 21.95
Z2T4N10

2.7878E+0011 3.8624E+0012 10 36 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

2.7878E+0011 3.8624E+0012 10 36
TTTT
----:PM / 21.95
2.7878E+0011 ? 10 36
T-TT
----:-- / 19.20
CC

0
2.7878E+0011 3.8624E+0012 10 36
TTTT
----:-- / 21.95
2.7878E+0011 3.8624E+0012 10 36
TTTT
----:-- / 21.95
2.7878E+0011 3.8624E+0012 10 36
TTTT
----:-- / 21.95
Z4T3N06

2.4719E+0010 2.8658E+0011 6 25 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

2.4719E+0010 2.8658E+0011 6 25
TTTT
----:PM / 21.95
2.4719E+0010 ? 6 25
T-TT
----:-- / 19.20
CC

0
2.4719E+0010 2.8658E+0011 6 25
TTTT
----:-- / 21.95
2.4719E+0010 2.8658E+0011 6 25
TTTT
----:-- / 21.95
2.4719E+0010 2.8658E+0011 6 25
TTTT
----:-- / 21.95
Z4T3N08

7.4538E+0012 1.0658E+0014 8 31 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

7.4538E+0012 1.0658E+0014 8 31
TTTT
----:PM / 21.95
7.4538E+0012 ? 8 31
T-TT
----:-- / 19.20
CC

0
7.4538E+0012 1.0658E+0014 8 31
TTTT
----:-- / 21.95
7.4538E+0012 1.0658E+0014 8 31
TTTT
----:-- / 21.95
7.4538E+0012 1.0658E+0014 8 31
TTTT
----:-- / 21.95
Z4T3N10

1.8198E+0015 3.0807E+0016 10 37 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

1.8198E+0015 3.0807E+0016 10 37
TTTT
----:PM / 21.95
1.8198E+0015 ? 10 37
T-TT
----:-- / 19.20
CC

0
1.8198E+0015 3.0807E+0016 10 37
TTTT
----:-- / 21.95
1.8198E+0015 3.0807E+0016 10 37
TTTT
----:-- / 21.95
1.8198E+0015 3.0807E+0016 10 37
TTTT
----:-- / 21.95
Z4T4N02

57040 2.6876E+0005 4 14 (expected value)

5.99 3.99 5.99 5.99 (confidence rate)

57040 2.6876E+0005 4 14
TTTT
----:PM / 21.95
57040 ? 4 14
T-TT
----:-- / 19.20
57040 ? 4 14
T-TT
----:-- / 19.20
57040 2.6876E+0005 4 14
TTTT
----:-- / 21.95
57040 2.6876E+0005 4 14
TTTT
----:-- / 21.95
57040 2.6876E+0005 4 14
TTTT
----:-- / 21.95
Z4T4N04

6.5585E+0007 5.8993E+0008 4 20 (expected value)

5.99 3.99 5.99 5.99 (confidence rate)

6.5585E+0007 5.8993E+0008 4 20
TTTT
----:PM / 21.95
6.5585E+0007 ? 4 20
T-TT
----:-- / 19.20
6.5585E+0007 ? 4 20
T-TT
----:-- / 19.20
6.5585E+0007 5.8993E+0008 4 20
TTTT
----:-- / 21.95
6.5585E+0007 5.8993E+0008 4 20
TTTT
----:-- / 21.95
6.5585E+0007 5.8993E+0008 4 20
TTTT
----:-- / 21.95
Z4T4N06

4.2375E+0010 5.2386E+0011 6 26 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

4.2375E+0010 5.2386E+0011 6 26
TTTT
----:PM / 21.95
4.2375E+0010 ? 6 26
T-TT
----:-- / 19.20
CC

0
4.2375E+0010 5.2386E+0011 6 26
TTTT
----:-- / 21.95
4.2375E+0010 5.2386E+0011 6 26
TTTT
----:-- / 21.95
4.2375E+0010 5.2386E+0011 6 26
TTTT
----:-- / 21.95
Z4T4N08

1.7424E+0013 2.6594E+0014 8 32 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

1.7424E+0013 2.6594E+0014 8 32
TTTT
----:PM / 21.95
1.7424E+0013 ? 8 32
T-TT
----:-- / 19.20
CC

0
1.7424E+0013 2.6594E+0014 8 32
TTTT
----:-- / 21.95
1.7424E+0013 2.6594E+0014 8 32
TTTT
----:-- / 21.95
1.7424E+0013 2.6594E+0014 8 32
TTTT
----:-- / 21.95
Z4T4N10

5.4388E+0015 9.7867E+0016 10 38 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

5.4388E+0015 9.7867E+0016 10 38
TTTT
----:PM / 21.95
5.4388E+0015 ? 10 38
T-TT
----:-- / 19.20
CC

0
5.4388E+0015 9.7867E+0016 10 38
TTTT
----:-- / 21.95
5.4388E+0015 9.7867E+0016 10 38
TTTT
----:-- / 21.95
5.4388E+0015 9.7867E+0016 10 38
TTTT
----:-- / 21.95

All «Known» models
 
  GreatSPN ITS-Tools Tapaal tedd 2020-gold BVT-2021
Total Points 8527.77 7422.66 2709.44 9295.11 9184.23 9872.04
fastest 323 94 113 263 78 0
less memory 450 164 123 57 28 49
ARMCacheCoherence — P/T (102.55 pts max)
  GreatSPN ITS-Tools Tapaal tedd 2020-gold BVT-2021
Score 102.55 89.73 0.00 102.55 102.55 102.55
fastest 0 0 0 1 0 0
smallest memory 0 1 0 0 0 0
none

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

4.99 3.99 4.99 4.99 (confidence rate)

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

0
3.2057E+0008 2.2340E+0010 1 12
TTTT
----:P- / 102.55
3.2057E+0008 2.2340E+0010 1 12
TTTT
----:-- / 102.55
3.2057E+0008 2.2340E+0010 1 12
TTTT
----:-- / 102.55
ASLink — P/T (151.00 pts max)
  GreatSPN ITS-Tools Tapaal tedd 2020-gold BVT-2021
Score 37.75 46.27 0.00 83.05 83.05 83.05
fastest 0 2 0 9 0 0
smallest memory 0 7 0 0 0 4
01a

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

4.99 3.99 4.99 4.99 (confidence rate)

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

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

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

4.99 3.99 4.99 4.99 (confidence rate)

5.9495E+0014 7.3479E+0015 1 23
TTTT
----:-- / 7.55
5.9495E+0014 ? 1 23
T-TT
----:PM / 6.61
CC

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

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

4.99 3.99 4.99 4.99 (confidence rate)

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

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

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
CC

0
DNF

0
DNC
03a

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

4.99 3.99 4.99 4.99 (confidence rate)

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

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

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
CC

0
DNF

0
DNC
04a

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

4.99 3.99 4.99 4.99 (confidence rate)

2.0328E+0022 2.7772E+0023 1 62
TTTT
----:-- / 7.55
2.0328E+0022 ? 1 62
T-TT
----:-M / 6.61
CC

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

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
CC

0
DNF

0
DNC
05a

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

3.99 2.99 3.99 3.99 (confidence rate)

DNF

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

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

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
CC

0
DNF

0
DNC
06a

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

2.99 2.99 2.99 2.99 (confidence rate)

DNF

0
DNF

0
CC

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

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
CC

0
DNF

0
DNC
07a

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

2.99 2.99 2.99 2.99 (confidence rate)

DNF

0
DNF

0
CC

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

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
CC

0
DNF

0
DNC
08a

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

3.99 2.99 3.99 3.99 (confidence rate)

DNF

0
1.0706E+0041 ? 1 114
T-TT
----:-M / 6.61
CC

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

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
CC

0
DNF

0
DNC
09a

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

2.99 2.99 2.99 2.99 (confidence rate)

DNF

0
DNF

0
CC

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

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
CC

0
DNF

0
DNC
10a

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

2.99 2.99 2.99 2.99 (confidence rate)

DNF

0
DNF

0
CC

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

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
CC

0
DNF

0
DNC
AirplaneLD — Colored (72.95 pts max)
  GreatSPN ITS-Tools Tapaal tedd 2020-gold BVT-2021
Score 48.66 63.80 16.20 72.98 72.98 72.98
fastest 1 1 0 5 2 0
smallest memory 3 6 0 0 0 0
0010

43463 1.8366E+0005 1 38 (expected value)

5.99 3.99 4.99 5.99 (confidence rate)

43463 1.8366E+0005 1 38
TTTT
----:PM / 8.11
43463 ? 1 38
T-TT
----:-- / 7.09
43463 ? 20 38
T-XT
V---:-- / 4.05
43463 1.8366E+0005 1 38
TTTT
----:-- / 8.11
43463 1.8366E+0005 1 38
TTTT
----:-- / 8.11
43463 1.8366E+0005 1 38
TTTT
----:-- / 8.11
0020

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

5.99 3.99 4.99 5.99 (confidence rate)

3.0830E+0005 1.3391E+0006 1 68
TTTT
----:-M / 8.11
3.0830E+0005 ? 1 68
T-TT
----:-- / 7.09
3.0830E+0005 ? 40 68
T-XT
V---:-- / 4.05
3.0830E+0005 1.3391E+0006 1 68
TTTT
----:P- / 8.11
3.0830E+0005 1.3391E+0006 1 68
TTTT
----:-- / 8.11
3.0830E+0005 1.3391E+0006 1 68
TTTT
----:-- / 8.11
0050

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

5.99 3.99 4.99 5.99 (confidence rate)

4.4712E+0006 1.9756E+0007 1 158
TTTT
----:-M / 8.11
4.4712E+0006 ? 1 158
T-TT
----:-- / 7.09
4.4712E+0006 ? 100 158
T-XT
V---:-- / 4.05
4.4712E+0006 1.9756E+0007 1 158
TTTT
----:P- / 8.11
4.4712E+0006 1.9756E+0007 1 158
TTTT
----:-- / 8.11
4.4712E+0006 1.9756E+0007 1 158
TTTT
----:-- / 8.11
0100

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

5.99 3.99 4.99 5.99 (confidence rate)

3.4877E+0007 1.5501E+0008 1 308
TTTT
----:-- / 8.11
3.4877E+0007 ? 1 308
T-TT
----:PM / 7.09
3.4877E+0007 ? 200 308
T-XT
V---:-- / 4.05
3.4877E+0007 1.5501E+0008 1 308
TTTT
----:-- / 8.11
3.4877E+0007 1.5501E+0008 1 308
TTTT
----:-- / 8.11
3.4877E+0007 1.5501E+0008 1 308
TTTT
----:-- / 8.11
0200

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

4.99 3.99 4.99 4.99 (confidence rate)

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

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

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

4.99 3.99 4.99 4.99 (confidence rate)

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

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

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

3.99 2.99 3.99 3.99 (confidence rate)

CC

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

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

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

3.99 2.99 3.99 3.99 (confidence rate)

CC

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

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

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

3.99 2.99 3.99 3.99 (confidence rate)

CC

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

0
2.1774E+0012 9.7328E+0012 1 12008
TTTT
----:-- / 8.11
2.1774E+0012 9.7328E+0012 1 12008
TTTT
----:P- / 8.11
2.1774E+0012 9.7328E+0012 1 12008
TTTT
----:-- / 8.11
AirplaneLD — P/T (72.95 pts max)
  GreatSPN ITS-Tools Tapaal tedd 2020-gold BVT-2021
Score 56.77 63.80 28.36 72.98 72.98 72.98
fastest 0 1 1 7 0 0
smallest memory 1 6 1 1 0 0
0010

43463 1.8366E+0005 1 38 (expected value)

5.99 3.99 5.99 5.99 (confidence rate)

43463 1.8366E+0005 1 38
TTTT
----:-- / 8.11
43463 ? 1 38
T-TT
----:-- / 7.09
43463 ? 1 38
T-TT
----:P- / 7.09
43463 1.8366E+0005 1 38
TTTT
----:-M / 8.11
43463 1.8366E+0005 1 38
TTTT
----:-- / 8.11
43463 1.8366E+0005 1 38
TTTT
----:-- / 8.11
0020

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

5.99 3.99 5.99 5.99 (confidence rate)

3.0830E+0005 1.3391E+0006 1 68
TTTT
----:-- / 8.11
3.0830E+0005 ? 1 68
T-TT
----:-- / 7.09
3.0830E+0005 ? 1 68
T-TT
----:-M / 7.09
3.0830E+0005 1.3391E+0006 1 68
TTTT
----:P- / 8.11
3.0830E+0005 1.3391E+0006 1 68
TTTT
----:-- / 8.11
3.0830E+0005 1.3391E+0006 1 68
TTTT
----:-- / 8.11
0050

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

5.99 3.99 5.99 5.99 (confidence rate)

4.4712E+0006 1.9756E+0007 1 158
TTTT
----:-M / 8.11
4.4712E+0006 ? 1 158
T-TT
----:-- / 7.09
4.4712E+0006 ? 1 158
T-TT
----:-- / 7.09
4.4712E+0006 1.9756E+0007 1 158
TTTT
----:P- / 8.11
4.4712E+0006 1.9756E+0007 1 158
TTTT
----:-- / 8.11
4.4712E+0006 1.9756E+0007 1 158
TTTT
----:-- / 8.11
0100

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

5.99 3.99 5.99 5.99 (confidence rate)

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

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

4.99 3.99 4.99 4.99 (confidence rate)

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

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

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

4.99 3.99 4.99 4.99 (confidence rate)

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

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

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

4.99 3.99 4.99 4.99 (confidence rate)

3.4087E+0010 1.5230E+0011 1 3008
TTTT
----:-- / 8.11
3.4087E+0010 ? 1 3008
T-TT
----:PM / 7.09
CC

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

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

3.99 2.99 3.99 3.99 (confidence rate)

CC

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

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

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

3.99 2.99 3.99 3.99 (confidence rate)

CC

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

0
2.1774E+0012 9.7328E+0012 1 12008
TTTT
----:P- / 8.11
2.1774E+0012 9.7328E+0012 1 12008
TTTT
----:-- / 8.11
2.1774E+0012 9.7328E+0012 1 12008
TTTT
----:-- / 8.11
Angiogenesis — P/T (117.84 pts max)
  GreatSPN ITS-Tools Tapaal tedd 2020-gold BVT-2021
Score 101.04 73.65 29.45 67.36 67.36 101.04
fastest 5 0 1 0 0 0
smallest memory 5 0 1 0 0 0
01

110 288 1 8 (expected value)

5.99 3.99 5.99 5.99 (confidence rate)

110 288 1 8
TTTT
----:-- / 16.84
110 ? 1 8
T-TT
----:-- / 14.73
110 ? 1 8
T-TT
----:PM / 14.73
110 288 1 8
TTTT
----:-- / 16.84
110 288 1 8
TTTT
----:-- / 16.84
110 288 1 8
TTTT
----:-- / 16.84
05

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

5.99 3.99 5.99 5.99 (confidence rate)

4.2735E+0007 4.8687E+0008 5 40
TTTT
----:PM / 16.84
4.2735E+0007 ? 5 40
T-TT
----:-- / 14.73
4.2735E+0007 ? 5 40
T-TT
----:-- / 14.73
4.2735E+0007 4.8687E+0008 5 40
TTTT
----:-- / 16.84
4.2735E+0007 4.8687E+0008 5 40
TTTT
----:-- / 16.84
4.2735E+0007 4.8687E+0008 5 40
TTTT
----:-- / 16.84
10

8.2265E+0011 1.5636E+0013 10 80 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

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

0
8.2265E+0011 1.5636E+0013 10 80
TTTT
----:-- / 16.84
8.2265E+0011 1.5636E+0013 10 80
TTTT
----:-- / 16.84
8.2265E+0011 1.5636E+0013 10 80
TTTT
----:-- / 16.84
15

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

4.99 3.99 4.99 4.99 (confidence rate)

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

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

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

2.99 1.99 2.99 2.99 (confidence rate)

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

0
CC

0
DNF

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

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

1.99 1.99 1.99 1.99 (confidence rate)

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

0
CC

0
CC

0
DNF

0
4.3090E+0019 1.3984E+0021 25 200
TTTT
----:-- / 16.84
50

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
CC

0
DNF

0
DNC
AutoFlight — P/T (151.00 pts max)
  GreatSPN ITS-Tools Tapaal tedd 2020-gold BVT-2021
Score 113.25 99.15 39.66 105.70 105.70 119.86
fastest 8 3 2 3 0 0
smallest memory 10 3 3 0 0 0
01a

253 1120 1 9 (expected value)

5.99 3.99 5.99 5.99 (confidence rate)

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

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

5.99 3.99 5.99 5.99 (confidence rate)

4.8882E+0007 3.5442E+0008 1 9
TTTT
----:PM / 7.55
4.8882E+0007 ? 1 9
T-TT
----:-- / 6.61
4.8882E+0007 ? 1 9
T-TT
----:-- / 6.61
4.8882E+0007 3.5442E+0008 1 9
TTTT
----:-- / 7.55
4.8882E+0007 3.5442E+0008 1 9
TTTT
----:-- / 7.55
4.8882E+0007 3.5442E+0008 1 9
TTTT
----:-- / 7.55
02a

6949 55285 1 15 (expected value)

5.99 3.99 5.99 5.99 (confidence rate)

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

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

4.99 3.99 4.99 4.99 (confidence rate)

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

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

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

5.99 3.99 5.99 5.99 (confidence rate)

1.5768E+0005 1.8212E+0006 1 21
TTTT
----:P- / 7.55
1.5768E+0005 ? 1 21
T-TT
----:-- / 6.61
1.5768E+0005 ? 1 21
T-TT
----:-M / 6.61
1.5768E+0005 1.8212E+0006 1 21
TTTT
----:-- / 7.55
1.5768E+0005 1.8212E+0006 1 21
TTTT
----:-- / 7.55
1.5768E+0005 1.8212E+0006 1 21
TTTT
----:-- / 7.55
03b

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

4.99 3.99 4.99 4.99 (confidence rate)

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

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

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

5.99 3.99 5.99 5.99 (confidence rate)

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

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

4.99 3.99 4.99 4.99 (confidence rate)

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

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

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

5.99 3.99 5.99 5.99 (confidence rate)

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

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

4.99 3.99 4.99 4.99 (confidence rate)

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

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

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

4.99 3.99 4.99 4.99 (confidence rate)

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

0
1.3719E+0009 3.0943E+0010 1 39
TTTT
----:P- / 7.55
1.3719E+0009 3.0943E+0010 1 39
TTTT
----:-- / 7.55
1.3719E+0009 3.0943E+0010 1 39
TTTT
----:-- / 7.55
06b

3.5325E+0034 ? 1 39 (expected value)

2.00 0 2.00 2.00 (confidence rate)

CC

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

0
CC

0
DNF

0
3.5325E+0034 ? 1 39
T?TT
----:-- / 6.61
12a

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

4.99 3.99 4.99 4.99 (confidence rate)

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

0
7.8221E+0016 3.4975E+0018 1 75
TTTT
----:P- / 7.55
7.8221E+0016 3.4975E+0018 1 75
TTTT
----:-- / 7.55
7.8221E+0016 3.4975E+0018 1 75
TTTT
----:-- / 7.55
12b

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
CC

0
DNF

0
DNC
24a

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

4.99 3.99 4.99 4.99 (confidence rate)

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

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

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
CC

0
DNF

0
DNC
48a

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

4.99 3.99 4.99 4.99 (confidence rate)

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

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

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
CC

0
DNF

0
DNC
96a

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

1.99 1.99 1.99 1.99 (confidence rate)

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

0
CC

0
CC

0
DNF

0
2.0424E+0100 5.8990E+0102 1 513
TTTT
----:-- / 7.55
96b

? (expected value)

0 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
DNF

0
DNC
BART — Colored (70.40 pts max)
  GreatSPN ITS-Tools Tapaal tedd 2020-gold BVT-2021
Score 0.00 61.59 4.40 70.40 70.40 70.40
fastest 0 3 0 4 1 0
smallest memory 0 8 0 0 0 0
002

17424 53328 1 274 (expected value)

4.99 2.99 3.99 4.99 (confidence rate)

DNF

0
17424 ? 1 274
T-TT
----:PM / 7.70
17424 ? 230 274
T-XT
V---:-- / 4.40
17424 53328 1 274
TTTT
----:-- / 8.80
17424 53328 1 274
TTTT
----:-- / 8.80
17424 53328 1 274
TTTT
----:-- / 8.80
005

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

3.99 2.99 3.99 3.99 (confidence rate)

CC

0
4.0075E+0010 ? 1 277
T-TT
----:-M / 7.70
CC

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

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

3.99 2.99 3.99 3.99 (confidence rate)

CC

0
1.6060E+0021 ? 1 282
T-TT
----:-M / 7.70
CC

0
1.6060E+0021 2.4576E+0022 1 282
TTTT
----:P- / 8.80
1.6060E+0021 2.4576E+0022 1 282
TTTT
----:-- / 8.80
1.6060E+0021 2.4576E+0022 1 282
TTTT
----:-- / 8.80
020

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

3.99 2.99 3.99 3.99 (confidence rate)

CC

0
2.5792E+0042 ? 1 292
T-TT
----:-M / 7.70
CC

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

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

3.99 2.99 3.99 3.99 (confidence rate)

DNF

0
4.1421E+0063 ? 1 302
T-TT
----:-M / 7.70
CC

0
4.1421E+0063 1.9016E+0065 1 302
TTTT
----:P- / 8.80
4.1421E+0063 1.9016E+0065 1 302
TTTT
----:-- / 8.80
4.1421E+0063 1.9016E+0065 1 302
TTTT
----:-- / 8.80
040

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

3.99 2.99 3.99 3.99 (confidence rate)

DNF

0
6.6521E+0084 ? 1 312
T-TT
----:-M / 7.70
CC

0
6.6521E+0084 4.0719E+0086 1 312
TTTT
----:P- / 8.80
6.6521E+0084 4.0719E+0086 1 312
TTTT
----:-- / 8.80
6.6521E+0084 4.0719E+0086 1 312
TTTT
----:-- / 8.80
050

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

3.99 2.99 3.99 3.99 (confidence rate)

CC

0
1.0683E+0106 ? 1 322
T-TT
----:PM / 7.70
CC

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

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

3.99 2.99 3.99 3.99 (confidence rate)

DNF

0
1.7157E+0127 ? 1 332
T-TT
----:PM / 7.70
CC

0
1.7157E+0127 1.5753E+0129 1 332
TTTT
----:-- / 8.80
1.7157E+0127 1.5753E+0129 1 332
TTTT
----:-- / 8.80
1.7157E+0127 1.5753E+0129 1 332
TTTT
----:-- / 8.80
BART — P/T (70.40 pts max)
  GreatSPN ITS-Tools Tapaal tedd 2020-gold BVT-2021
Score 70.40 61.59 7.70 70.40 70.40 70.40
fastest 0 1 1 6 0 0
smallest memory 1 6 1 0 0 0
002

17424 53328 1 212 (expected value)

5.99 3.99 5.99 5.99 (confidence rate)

17424 53328 1 212
TTTT
----:-- / 8.80
17424 ? 1 212
T-TT
----:-- / 7.70
17424 ? 1 212
T-TT
----:PM / 7.70
17424 53328 1 212
TTTT
----:-- / 8.80
17424 53328 1 212
TTTT
----:-- / 8.80
17424 53328 1 212
TTTT
----:-- / 8.80
005

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

4.99 3.99 4.99 4.99 (confidence rate)

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

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

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

4.99 3.99 4.99 4.99 (confidence rate)

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

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

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

4.99 3.99 4.99 4.99 (confidence rate)

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

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

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

4.99 3.99 4.99 4.99 (confidence rate)

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

0
4.1421E+0063 1.9016E+0065 1 240
TTTT
----:P- / 8.80
4.1421E+0063 1.9016E+0065 1 240
TTTT
----:-- / 8.80
4.1421E+0063 1.9016E+0065 1 240
TTTT
----:-- / 8.80
040

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

4.99 3.99 4.99 4.99 (confidence rate)

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

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

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

4.99 3.99 4.99 4.99 (confidence rate)

1.0683E+0106 8.1742E+0107 1 260
TTTT
----:-- / 8.80
1.0683E+0106 ? 1 260
T-TT
----:-M / 7.70
CC

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

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

4.99 3.99 4.99 4.99 (confidence rate)

1.7157E+0127 1.5753E+0129 1 270
TTTT
----:-- / 8.80
1.7157E+0127 ? 1 270
T-TT
----:PM / 7.70
CC

0
1.7157E+0127 1.5753E+0129 1 270
TTTT
----:-- / 8.80
1.7157E+0127 1.5753E+0129 1 270
TTTT
----:-- / 8.80
1.7157E+0127 1.5753E+0129 1 270
TTTT
----:-- / 8.80
BridgeAndVehicles — Colored (101.00 pts max)
  GreatSPN ITS-Tools Tapaal tedd 2020-gold BVT-2021
Score 87.12 35.36 44.20 90.90 90.90 99.73
fastest 9 0 1 3 7 0
smallest memory 11 0 5 1 1 2
V04P05N02

2874 7160 5 17 (expected value)

5.99 3.99 5.99 5.99 (confidence rate)

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

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

5.99 3.99 5.99 5.99 (confidence rate)

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

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

5.99 3.99 5.99 5.99 (confidence rate)

6.7326E+0006 2.3489E+0007 20 54
TTTT
----:PM / 5.05
6.7326E+0006 ? 20 54
T-TT
----:-- / 4.41
6.7326E+0006 ? 20 54
T-TT
----:-- / 4.41
6.7326E+0006 2.3489E+0007 20 54
TTTT
----:-- / 5.05
6.7326E+0006 2.3489E+0007 20 54
TTTT
----:-- / 5.05
6.7326E+0006 2.3489E+0007 20 54
TTTT
----:-- / 5.05
V20P10N20

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

5.99 3.99 5.99 5.99 (confidence rate)

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

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

5.99 3.99 5.99 5.99 (confidence rate)

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

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

5.99 3.99 5.99 5.99 (confidence rate)

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

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

5.99 3.99 5.99 5.99 (confidence rate)

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

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

5.99 3.99 5.99 5.99 (confidence rate)

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

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

4.99 3.99 4.99 4.99 (confidence rate)

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

0
3.4763E+0008 ? 50 124
T-TT
----:-- / 4.41
3.4763E+0008 1.2717E+0009 50 124
TTTT
----:-- / 5.05
3.4763E+0008 1.2717E+0009 50 124
TTTT
----:P- / 5.05
3.4763E+0008 1.2717E+0009 50 124
TTTT
----:-- / 5.05
V50P20N20

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

3.99 3.99 3.99 3.99 (confidence rate)

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

0
CC

0
8.9629E+0008 3.3637E+0009 50 124
TTTT
----:-- / 5.05
8.9629E+0008 3.3637E+0009 50 124
TTTT
----:P- / 5.05
8.9629E+0008 3.3637E+0009 50 124
TTTT
----:-- / 5.05
V50P20N50

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

2.99 2.99 2.99 2.99 (confidence rate)

CC

0
DNF

0
CC

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

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

4.99 3.99 4.99 4.99 (confidence rate)

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

0
3.4763E+0008 ? 50 154
T-TT
----:-- / 4.41
3.4763E+0008 1.2717E+0009 50 154
TTTT
----:P- / 5.05
3.4763E+0008 1.2717E+0009 50 154
TTTT
----:-- / 5.05
3.4763E+0008 1.2717E+0009 50 154
TTTT
----:-- / 5.05
V50P50N20

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

3.99 2.99 3.99 3.99 (confidence rate)

8.9629E+0008 ? 50 154
T-TT
----:-M / 4.41
DNF

0
CC

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

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

2.99 2.99 2.99 2.99 (confidence rate)

CC

0
DNF

0
CC

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

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

3.99 3.99 3.99 3.99 (confidence rate)

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

0
CC

0
2.4329E+0009 8.9934E+0009 80 184
TTTT
----:P- / 5.05
2.4329E+0009 8.9934E+0009 80 184
TTTT
----:-- / 5.05
2.4329E+0009 8.9934E+0009 80 184
TTTT
----:-- / 5.05
V80P20N20

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

3.99 2.99 3.99 3.99 (confidence rate)

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

0
CC

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

1.6235E+0010 ? 80 184 (expected value)

1.99 0 1.99 1.99 (confidence rate)

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

0
CC

0
CC

0
DNF

0
1.6235E+0010 ? 80 184
T?TT
----:-M / 4.41
V80P50N10

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

3.99 2.99 3.99 3.99 (confidence rate)

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

0
CC

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

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

3.99 2.99 3.99 3.99 (confidence rate)

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

0
CC

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

2.1619E+0010 ? 80 214 (expected value)

1.99 0 1.99 1.99 (confidence rate)

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

0
CC

0
CC

0
DNF

0
2.1619E+0010 ? 80 214
T?TT
----:-M / 4.41
BridgeAndVehicles — P/T (101.00 pts max)
  GreatSPN ITS-Tools Tapaal tedd 2020-gold BVT-2021
Score 87.12 30.94 35.36 90.90 90.90 99.73
fastest 9 0 1 3 7 0
smallest memory 14 0 4 2 0 0
V04P05N02

2874 7160 5 17 (expected value)

5.99 3.99 5.99 5.99 (confidence rate)

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

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

5.99 3.99 5.99 5.99 (confidence rate)

2.5956E+0005 8.2128E+0005 10 34
TTTT
----:PM / 5.05
2.5956E+0005 ? 10 34
T-TT
----:-- / 4.41
2.5956E+0005 ? 10 34
T-TT
----:-- / 4.41
2.5956E+0005 8.2128E+0005 10 34
TTTT
----:-- / 5.05
2.5956E+0005 8.2128E+0005 10 34
TTTT
----:-- / 5.05
2.5956E+0005 8.2128E+0005 10 34
TTTT
----:-- / 5.05
V20P10N10

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

5.99 3.99 5.99 5.99 (confidence rate)

6.7326E+0006 2.3489E+0007 20 54
TTTT
----:PM / 5.05
6.7326E+0006 ? 20 54
T-TT
----:-- / 4.41
6.7326E+0006 ? 20 54
T-TT
----:-- / 4.41
6.7326E+0006 2.3489E+0007 20 54
TTTT
----:-- / 5.05
6.7326E+0006 2.3489E+0007 20 54
TTTT
----:-- / 5.05
6.7326E+0006 2.3489E+0007 20 54
TTTT
----:-- / 5.05
V20P10N20

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

5.99 3.99 5.99 5.99 (confidence rate)

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

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

5.99 3.99 5.99 5.99 (confidence rate)

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

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

5.99 3.99 5.99 5.99 (confidence rate)

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

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

4.99 3.99 4.99 4.99 (confidence rate)

9.7836E+0006 3.4321E+0007 20 64
TTTT
----:P- / 5.05
DNF

0
9.7836E+0006 ? 20 64
T-TT
----:-M / 4.41
9.7836E+0006 3.4321E+0007 20 64
TTTT
----:-- / 5.05
9.7836E+0006 3.4321E+0007 20 64
TTTT
----:-- / 5.05
9.7836E+0006 3.4321E+0007 20 64
TTTT
----:-- / 5.05
V20P20N50

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

5.99 3.99 5.99 5.99 (confidence rate)

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

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

3.99 3.99 3.99 3.99 (confidence rate)

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

0
CC

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

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

3.99 3.99 3.99 3.99 (confidence rate)

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

0
CC

0
8.9629E+0008 3.3637E+0009 50 124
TTTT
----:P- / 5.05
8.9629E+0008 3.3637E+0009 50 124
TTTT
----:-- / 5.05
8.9629E+0008 3.3637E+0009 50 124
TTTT
----:-- / 5.05
V50P20N50

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

2.99 2.99 2.99 2.99 (confidence rate)

CC

0
DNF

0
CC

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

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

3.99 3.99 3.99 3.99 (confidence rate)

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

0
CC

0
3.4763E+0008 1.2717E+0009 50 154
TTTT
----:P- / 5.05
3.4763E+0008 1.2717E+0009 50 154
TTTT
----:-- / 5.05
3.4763E+0008 1.2717E+0009 50 154
TTTT
----:-- / 5.05
V50P50N20

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

3.99 2.99 3.99 3.99 (confidence rate)

8.9629E+0008 ? 50 154
T-TT
----:-M / 4.41
DNF

0
CC

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

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

2.99 2.99 2.99 2.99 (confidence rate)

CC

0
DNF

0
CC

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

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

3.99 3.99 3.99 3.99 (confidence rate)

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

0
CC

0
2.4329E+0009 8.9934E+0009 80 184
TTTT
----:-- / 5.05
2.4329E+0009 8.9934E+0009 80 184
TTTT
----:P- / 5.05
2.4329E+0009 8.9934E+0009 80 184
TTTT
----:-- / 5.05
V80P20N20

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

3.99 2.99 3.99 3.99 (confidence rate)

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

0
CC

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

1.6235E+0010 ? 80 184 (expected value)

1.99 0 1.99 1.99 (confidence rate)

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

0
CC

0
CC

0
DNF

0
1.6235E+0010 ? 80 184
T?TT
----:-- / 4.41
V80P50N10

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

3.99 2.99 3.99 3.99 (confidence rate)

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

0
CC

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

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

3.99 2.99 3.99 3.99 (confidence rate)

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

0
CC

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

2.1619E+0010 ? 80 214 (expected value)

1.99 0 1.99 1.99 (confidence rate)

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

0
CC

0
CC

0
DNF

0
2.1619E+0010 ? 80 214
T?TT
----:-- / 4.41
BusinessProcesses — P/T (151.00 pts max)
  GreatSPN ITS-Tools Tapaal tedd 2020-gold BVT-2021
Score 140.63 118.98 0.00 143.45 143.45 143.45
fastest 4 7 0 8 0 0
smallest memory 10 9 0 0 0 0
01

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

4.99 3.99 4.99 4.99 (confidence rate)

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

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

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

4.99 3.99 4.99 4.99 (confidence rate)

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

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

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

4.99 3.99 4.99 4.99 (confidence rate)

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

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

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

4.99 3.99 4.99 4.99 (confidence rate)

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

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

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

4.99 3.99 4.99 4.99 (confidence rate)

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

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

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

4.99 3.99 4.99 4.99 (confidence rate)

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

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

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

4.99 3.99 4.99 4.99 (confidence rate)

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

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

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

4.99 3.99 4.99 4.99 (confidence rate)

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

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

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

4.99 3.99 4.99 4.99 (confidence rate)

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

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

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

3.99 3.99 3.99 3.99 (confidence rate)

2.0834E+0025 5.2705E+0026 1 54
TTTT
----:PM / 7.55
DNF

0
CC

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

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

4.99 3.99 4.99 4.99 (confidence rate)

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

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

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

4.99 3.99 4.99 4.99 (confidence rate)

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

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

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

4.99 3.99 4.99 4.99 (confidence rate)

3.1266E+0025 1.0051E+0027 1 62
TTTT
----:-- / 7.55
3.1266E+0025 ? 1 62
T-TT
----:PM / 6.61
CC

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

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

4.99 2.99 4.99 4.99 (confidence rate)

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

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

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

4.99 3.99 4.99 4.99 (confidence rate)

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

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

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

4.99 3.99 4.99 4.99 (confidence rate)

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

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

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

4.99 3.99 4.99 4.99 (confidence rate)

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

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

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

4.99 2.99 4.99 4.99 (confidence rate)

3.7276E+0031 ? 1 77
T-TT
----:-- / 6.61
3.7276E+0031 ? 1 77
T-TT
----:PM / 6.61
CC

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

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

4.99 2.99 4.99 4.99 (confidence rate)

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

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

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
CC

0
DNF

0
DNC
CSRepetitions — Colored (65.30 pts max)
  GreatSPN ITS-Tools Tapaal tedd 2020-gold BVT-2021
Score 21.76 38.08 19.04 21.76 21.76 40.80
fastest 1 2 1 0 0 0
smallest memory 1 0 1 0 0 2
02

7424 37088 2 8 (expected value)

5.99 3.99 5.99 5.99 (confidence rate)

7424 37088 2 8
TTTT
----:-- / 10.88
7424 ? 2 8
T-TT
----:-- / 9.52
7424 ? 2 8
T-TT
----:PM / 9.52
7424 37088 2 8
TTTT
----:-- / 10.88
7424 37088 2 8
TTTT
----:-- / 10.88
7424 37088 2 8
TTTT
----:-- / 10.88
03

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

5.99 3.99 5.99 5.99 (confidence rate)

1.3407E+0008 1.2939E+0009 3 15
TTTT
----:PM / 10.88
1.3407E+0008 ? 3 15
T-TT
----:-- / 9.52
1.3407E+0008 ? 3 15
T-TT
----:-- / 9.52
1.3407E+0008 1.2939E+0009 3 15
TTTT
----:-- / 10.88
1.3407E+0008 1.2939E+0009 3 15
TTTT
----:-- / 10.88
1.3407E+0008 1.2939E+0009 3 15
TTTT
----:-- / 10.88
04

3.0948E+0013 ? 4 24 (expected value)

2.00 0 2.00 2.00 (confidence rate)

CC

0
3.0948E+0013 ? 4 24
T?TT
----:P- / 9.52
CC

0
CC

0
DNF

0
3.0948E+0013 ? 4 24
T?TT
----:-M / 9.52
05

6.5491E+0019 ? 5 35 (expected value)

2.00 0 2.00 2.00 (confidence rate)

CC

0
6.5491E+0019 ? 5 35
T?TT
----:P- / 9.52
CC

0
CC

0
DNF

0
6.5491E+0019 ? 5 35
T?TT
----:-M / 9.52
07

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
CC

0
CC

0
DNC
10

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
CC

0
DNF

0
DNC
CSRepetitions — P/T (65.30 pts max)
  GreatSPN ITS-Tools Tapaal tedd 2020-gold BVT-2021
Score 21.76 38.08 19.04 21.76 21.76 40.80
fastest 1 2 1 0 0 0
smallest memory 2 0 0 0 0 2
02

7424 37088 2 8 (expected value)

5.99 3.99 5.99 5.99 (confidence rate)

7424 37088 2 8
TTTT
----:-M / 10.88
7424 ? 2 8
T-TT
----:-- / 9.52
7424 ? 2 8
T-TT
----:P- / 9.52
7424 37088 2 8
TTTT
----:-- / 10.88
7424 37088 2 8
TTTT
----:-- / 10.88
7424 37088 2 8
TTTT
----:-- / 10.88
03

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

5.99 3.99 5.99 5.99 (confidence rate)

1.3407E+0008 1.2939E+0009 3 15
TTTT
----:PM / 10.88
1.3407E+0008 ? 3 15
T-TT
----:-- / 9.52
1.3407E+0008 ? 3 15
T-TT
----:-- / 9.52
1.3407E+0008 1.2939E+0009 3 15
TTTT
----:-- / 10.88
1.3407E+0008 1.2939E+0009 3 15
TTTT
----:-- / 10.88
1.3407E+0008 1.2939E+0009 3 15
TTTT
----:-- / 10.88
04

3.0948E+0013 ? 4 24 (expected value)

2.00 0 2.00 2.00 (confidence rate)

DNF

0
3.0948E+0013 ? 4 24
T?TT
----:P- / 9.52
CC

0
CC

0
DNF

0
3.0948E+0013 ? 4 24
T?TT
----:-M / 9.52
05

6.5491E+0019 ? 5 35 (expected value)

2.00 0 2.00 2.00 (confidence rate)

CC

0
6.5491E+0019 ? 5 35
T?TT
----:P- / 9.52
CC

0
CC

0
DNF

0
6.5491E+0019 ? 5 35
T?TT
----:-M / 9.52
07

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
CC

0
CC

0
DNC
10

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
CC

0
DNF

0
DNC
CircadianClock — P/T (115.30 pts max)
  GreatSPN ITS-Tools Tapaal tedd 2020-gold BVT-2021
Score 96.09 67.23 33.62 76.88 76.88 96.09
fastest 4 0 1 0 0 0
smallest memory 4 0 1 0 0 0
000001

128 624 1 7 (expected value)

5.99 3.99 5.99 5.99 (confidence rate)

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

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

5.99 3.99 5.99 5.99 (confidence rate)

6.4420E+0005 6.7663E+0006 10 52
TTTT
----:PM / 19.22
6.4420E+0005 ? 10 52
T-TT
----:-- / 16.80
6.4420E+0005 ? 10 52
T-TT
----:-- / 16.80
6.4420E+0005 6.7663E+0006 10 52
TTTT
----:-- / 19.22
6.4420E+0005 6.7663E+0006 10 52
TTTT
----:-- / 19.22
6.4420E+0005 6.7663E+0006 10 52
TTTT
----:-- / 19.22
000100

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

4.99 3.99 4.99 4.99 (confidence rate)

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

0
4.2040E+0010 4.9743E+0011 100 502
TTTT
----:-- / 19.22
4.2040E+0010 4.9743E+0011 100 502
TTTT
----:-- / 19.22
4.2040E+0010 4.9743E+0011 100 502
TTTT
----:-- / 19.22
001000

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

4.99 3.99 4.99 4.99 (confidence rate)

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

0
4.0200E+0015 4.8172E+0016 1000 5002
TTTT
----:-- / 19.22
4.0200E+0015 4.8172E+0016 1000 5002
TTTT
----:-- / 19.22
4.0200E+0015 4.8172E+0016 1000 5002
TTTT
----:-- / 19.22
010000

4.0020E+0020 4.8017E+0021 10000 50002 (expected value)

1.99 1.99 1.99 1.99 (confidence rate)

4.0020E+0020 4.8017E+0021 10000 50002
TTTT
----:PM / 19.22
DNF

0
CC

0
CC

0
DNF

0
4.0020E+0020 4.8017E+0021 10000 50002
TTTT
----:-- / 19.22
100000

? (expected value)

0 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
DNF

0
DNC
CircularTrains — P/T (117.84 pts max)
  GreatSPN ITS-Tools Tapaal tedd 2020-gold BVT-2021
Score 117.88 88.38 29.45 101.04 101.04 117.88
fastest 6 0 1 0 0 0
smallest memory 7 0 0 0 0 0
012

195 496 2 12 (expected value)

5.99 3.99 5.99 5.99 (confidence rate)

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

86515 4.1168E+0005 2 24 (expected value)

5.99 3.99 5.99 5.99 (confidence rate)

86515 4.1168E+0005 2 24
TTTT
----:PM / 16.84
86515 ? 2 24
T-TT
----:-- / 14.73
86515 ? 2 24
T-TT
----:-- / 14.73
86515 4.1168E+0005 2 24
TTTT
----:-- / 16.84
86515 4.1168E+0005 2 24
TTTT
----:-- / 16.84
86515 4.1168E+0005 2 24
TTTT
----:-- / 16.84
048

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

4.99 3.99 4.99 4.99 (confidence rate)

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

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

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

4.99 3.99 4.99 4.99 (confidence rate)

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

0
2.5913E+0021 4.7121E+0022 2 96
TTTT
----:-- / 16.84
2.5913E+0021 4.7121E+0022 2 96
TTTT
----:-- / 16.84
2.5913E+0021 4.7121E+0022 2 96
TTTT
----:-- / 16.84
192

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

4.99 3.99 4.99 4.99 (confidence rate)

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

0
4.2702E+0043 1.5416E+0045 2 192
TTTT
----:-- / 16.84
4.2702E+0043 1.5416E+0045 2 192
TTTT
----:-- / 16.84
4.2702E+0043 1.5416E+0045 2 192
TTTT
----:-- / 16.84
384

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

4.99 3.99 4.99 4.99 (confidence rate)

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

0
1.6377E+0088 1.1782E+0090 2 384
TTTT
----:-- / 16.84
1.6377E+0088 1.1782E+0090 2 384
TTTT
----:-- / 16.84
1.6377E+0088 1.1782E+0090 2 384
TTTT
----:-- / 16.84
768

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

1.99 1.99 1.99 1.99 (confidence rate)

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

0
CC

0
CC

0
DNF

0
3.4039E+0177 4.8887E+0179 2 768
TTTT
----:-- / 16.84
ClientsAndServers — P/T (151.00 pts max)
  GreatSPN ITS-Tools Tapaal tedd 2020-gold BVT-2021
Score 67.95 52.88 19.83 105.70 105.70 105.70
fastest 7 0 1 2 4 0
smallest memory 8 0 0 0 0 6
N0001P0

27576 1.1332E+0005 8 25 (expected value)

5.99 3.99 5.99 5.99 (confidence rate)

27576 1.1332E+0005 8 25
TTTT
----:-M / 7.55
27576 ? 8 25
T-TT
----:-- / 6.61
27576 ? 8 25
T-TT
----:P- / 6.61
27576 1.1332E+0005 8 25
TTTT
----:-- / 7.55
27576 1.1332E+0005 8 25
TTTT
----:-- / 7.55
27576 1.1332E+0005 8 25
TTTT
----:-- / 7.55
N0002P0

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

5.99 3.99 5.99 5.99 (confidence rate)

7.0816E+0006 4.4030E+0007 16 50
TTTT
----:PM / 7.55
7.0816E+0006 ? 16 50
T-TT
----:-- / 6.61
7.0816E+0006 ? 16 50
T-TT
----:-- / 6.61
7.0816E+0006 4.4030E+0007 16 50
TTTT
----:-- / 7.55
7.0816E+0006 4.4030E+0007 16 50
TTTT
----:-- / 7.55
7.0816E+0006 4.4030E+0007 16 50
TTTT
----:-- / 7.55
N0002P1

1.2462E+0007 7.7859E+0007 16 55 (expected value)

5.99 3.99 5.99 5.99 (confidence rate)

1.2462E+0007 7.7859E+0007 16 55
TTTT
----:PM / 7.55
1.2462E+0007 ? 16 55
T-TT
----:-- / 6.61
1.2462E+0007 ? 16 55
T-TT
----:-- / 6.61
1.2462E+0007 7.7859E+0007 16 55
TTTT
----:-- / 7.55
1.2462E+0007 7.7859E+0007 16 55
TTTT
----:-- / 7.55
1.2462E+0007 7.7859E+0007 16 55
TTTT
----:-- / 7.55
N0005P0

1.2551E+0011 1.2156E+0012 40 125 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

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

0
1.2551E+0011 1.2156E+0012 40 125
TTTT
----:-- / 7.55
1.2551E+0011 1.2156E+0012 40 125
TTTT
----:-- / 7.55
1.2551E+0011 1.2156E+0012 40 125
TTTT
----:-- / 7.55
N0005P1

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

4.99 3.99 4.99 4.99 (confidence rate)

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

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

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

4.99 3.99 4.99 4.99 (confidence rate)

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

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

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

4.99 3.99 4.99 4.99 (confidence rate)

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

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

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

4.99 3.99 4.99 4.99 (confidence rate)

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

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

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

3.99 3.99 3.99 3.99 (confidence rate)

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

0
CC

0
2.7979E+0019 4.0727E+0020 160 500
TTTT
----:P- / 7.55
2.7979E+0019 4.0727E+0020 160 500
TTTT
----:-- / 7.55
2.7979E+0019 4.0727E+0020 160 500
TTTT
----:-M / 7.55
N0020P1

3.4330E+0019 5.0014E+0020 160 505 (expected value)

2.99 2.99 2.99 2.99 (confidence rate)

DNF

0
DNF

0
CC

0
3.4330E+0019 5.0014E+0020 160 505
TTTT
----:P- / 7.55
3.4330E+0019 5.0014E+0020 160 505
TTTT
----:-- / 7.55
3.4330E+0019 5.0014E+0020 160 505
TTTT
----:-M / 7.55
N0020P2

4.0258E+0019 5.8683E+0020 160 510 (expected value)

2.99 2.99 2.99 2.99 (confidence rate)

DNF

0
DNF

0
CC

0
4.0258E+0019 5.8683E+0020 160 510
TTTT
----:-- / 7.55
4.0258E+0019 5.8683E+0020 160 510
TTTT
----:P- / 7.55
4.0258E+0019 5.8683E+0020 160 510
TTTT
----:-M / 7.55
N0020P3

4.5408E+0019 6.6212E+0020 160 515 (expected value)

2.99 2.99 2.99 2.99 (confidence rate)

DNF

0
DNF

0
CC

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

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

2.99 2.99 2.99 2.99 (confidence rate)

DNF

0
DNF

0
CC

0
4.9510E+0019 7.2204E+0020 160 520
TTTT
----:-- / 7.55
4.9510E+0019 7.2204E+0020 160 520
TTTT
----:P- / 7.55
4.9510E+0019 7.2204E+0020 160 520
TTTT
----:-M / 7.55
N0050P0

5.3924E+0025 8.8483E+0026 400 1250 (expected value)

2.99 2.99 2.99 2.99 (confidence rate)

DNF

0
DNF

0
CC

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

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
CC

0
DNF

0
DNC
N0200P0

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
CC

0
DNF

0
DNC
N0500P0

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
CC

0
DNF

0
DNC
N1000P0

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
CC

0
DNF

0
DNC
N2000P0

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
CC

0
DNF

0
DNC
N5000P0

? (expected value)

0 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
DNF

0
DNC
CloudDeployment — P/T (130.59 pts max)
  GreatSPN ITS-Tools Tapaal tedd 2020-gold BVT-2021
Score 87.04 76.16 28.55 87.04 87.04 87.04
fastest 1 0 1 0 6 0
smallest memory 6 0 2 0 0 0
2a

4807 87600 1 9 (expected value)

5.99 3.99 5.99 5.99 (confidence rate)

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

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

4.99 3.99 4.99 4.99 (confidence rate)

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

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

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

5.99 3.99 5.99 5.99 (confidence rate)

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

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

4.99 3.99 4.99 4.99 (confidence rate)

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

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

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

5.99 3.99 5.99 5.99 (confidence rate)

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

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
CC

0
DNF

0
DNC
5a

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

4.99 3.99 4.99 4.99 (confidence rate)

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

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

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
CC

0
DNF

0
DNC
6a

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

4.99 3.99 4.99 4.99 (confidence rate)

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

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

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
CC

0
DNF

0
DNC
7a

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

4.99 3.99 4.99 4.99 (confidence rate)

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

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

? (expected value)

0 (confidence rate)

CC

0
CC

0
CC

0
CC

0
DNF

0
DNC
CloudOpsManagement — P/T (135.70 pts max)
  GreatSPN ITS-Tools Tapaal tedd 2020-gold BVT-2021
Score 77.52 67.84 16.95 58.13 58.13 77.52
fastest 7 0 1 0 0 0
smallest memory 8 0 0 0 0 0
00002by00001

3857 30090 4 18 (expected value)

5.99 3.99 5.99 5.99 (confidence rate)

3857 30090 4 18
TTTT
----:-M / 9.69
3857 ? 4 18
T-TT
----:-- / 8.48
3857 ? 4 18
T-TT
----:P- / 8.48
3857 30090 4 18
TTTT
----:-- / 9.69
3857 30090 4 18
TTTT
----:-- / 9.69
3857 30090 4 18
TTTT
----:-- / 9.69
00005by00002

1.6127E+0006 1.9148E+0007 9 41 (expected value)

5.99 3.99 5.99 5.99 (confidence rate)

1.6127E+0006 1.9148E+0007 9 41
TTTT
----:PM / 9.69
1.6127E+0006 ? 9 41
T-TT
----:-- / 8.48
1.6127E+0006 ? 9 41
T-TT
----:-- / 8.48
1.6127E+0006 1.9148E+0007 9 41
TTTT
----:-- / 9.69
1.6127E+0006 1.9148E+0007 9 41
TTTT
----:-- / 9.69
1.6127E+0006 1.9148E+0007 9 41
TTTT
----:-- / 9.69
00010by00005

1.0733E+0010 1.8532E+0011 20 90 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

1.0733E+0010 1.8532E+0011 20 90
TTTT
----:PM / 9.69
1.0733E+0010 ? 20 90
T-TT
----:-- / 8.48
CC

0
1.0733E+0010 1.8532E+0011 20 90
TTTT
----:-- / 9.69
1.0733E+0010 1.8532E+0011 20 90
TTTT
----:-- / 9.69
1.0733E+0010 1.8532E+0011 20 90
TTTT
----:-- / 9.69
00020by00010

6.6422E+0013 1.4148E+0015 40 180 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

6.6422E+0013 1.4148E+0015 40 180
TTTT
----:PM / 9.69
6.6422E+0013 ? 40 180
T-TT
----:-- / 8.48
CC

0
6.6422E+0013 1.4148E+0015 40 180
TTTT
----:-- / 9.69
6.6422E+0013 1.4148E+0015 40 180
TTTT
----:-- / 9.69
6.6422E+0013 1.4148E+0015 40 180
TTTT
----:-- / 9.69
00040by00020

1.0905E+0018 2.6614E+0019 80 360 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

1.0905E+0018 2.6614E+0019 80 360
TTTT
----:PM / 9.69
1.0905E+0018 ? 80 360
T-TT
----:-- / 8.48
CC

0
1.0905E+0018 2.6614E+0019 80 360
TTTT
----:-- / 9.69
1.0905E+0018 2.6614E+0019 80 360
TTTT
----:-- / 9.69
1.0905E+0018 2.6614E+0019 80 360
TTTT
----:-- / 9.69
00080by00040

3.3365E+0022 8.8251E+0023 160 720 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

3.3365E+0022 8.8251E+0023 160 720
TTTT
----:PM / 9.69
3.3365E+0022 ? 160 720
T-TT
----:-- / 8.48
CC

0
3.3365E+0022 8.8251E+0023 160 720
TTTT
----:-- / 9.69
3.3365E+0022 8.8251E+0023 160 720
TTTT
----:-- / 9.69
3.3365E+0022 8.8251E+0023 160 720
TTTT
----:-- / 9.69
00160by00080

1.4631E+0027 4.0454E+0028 320 1440 (expected value)

2.99 1.99 2.99 2.99 (confidence rate)

1.4631E+0027 4.0454E+0028 320 1440
TTTT
----:PM / 9.69
1.4631E+0027 ? 320 1440
T-TT
----:-- / 8.48
CC

0
CC

0
DNF

0
1.4631E+0027 4.0454E+0028 320 1440
TTTT
----:-- / 9.69
00320by00160

7.7980E+0031 2.2071E+0033 640 2880 (expected value)

2.99 1.99 2.99 2.99 (confidence rate)

7.7980E+0031 2.2071E+0033 640 2880
TTTT
----:PM / 9.69
7.7980E+0031 ? 640 2880
T-TT
----:-- / 8.48
CC

0
CC

0
DNF

0
7.7980E+0031 2.2071E+0033 640 2880
TTTT
----:-- / 9.69
00640by00320

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
CC

0
DNF

0
DNC
01280by00640

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
CC

0
DNF

0
DNC
02560by01280

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
CC

0
DNF

0
DNC
05120by02560

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
CC

0
DNF

0
DNC
10240by05120

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
CC

0
DNF

0
DNC
20480by10240

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
CC

0
DNF

0
DNC
CloudReconfiguration — P/T (156.09 pts max)
  GreatSPN ITS-Tools Tapaal tedd 2020-gold BVT-2021
Score 156.20 136.62 0.00 156.20 156.20 156.20
fastest 1 20 0 1 0 0
smallest memory 1 21 0 0 0 0
301

1.3197E+0011 6.0439E+0011 1 5 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

1.3197E+0011 6.0439E+0011 1 5
TTTT
----:-- / 7.09
1.3197E+0011 ? 1 5
T-TT
----:PM / 6.20
CC

0
1.3197E+0011 6.0439E+0011 1 5
TTTT
----:-- / 7.09
1.3197E+0011 6.0439E+0011 1 5
TTTT
----:-- / 7.09
1.3197E+0011 6.0439E+0011 1 5
TTTT
----:-- / 7.09
302

2.0254E+0011 9.2748E+0011 1 5 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

2.0254E+0011 9.2748E+0011 1 5
TTTT
----:-- / 7.09
2.0254E+0011 ? 1 5
T-TT
----:PM / 6.20
CC

0
2.0254E+0011 9.2748E+0011 1 5
TTTT
----:-- / 7.09
2.0254E+0011 9.2748E+0011 1 5
TTTT
----:-- / 7.09
2.0254E+0011 9.2748E+0011 1 5
TTTT
----:-- / 7.09
303

5.5244E+0010 2.5351E+0011 1 5 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

5.5244E+0010 2.5351E+0011 1 5
TTTT
----:PM / 7.09
5.5244E+0010 ? 1 5
T-TT
----:-- / 6.20
CC

0
5.5244E+0010 2.5351E+0011 1 5
TTTT
----:-- / 7.09
5.5244E+0010 2.5351E+0011 1 5
TTTT
----:-- / 7.09
5.5244E+0010 2.5351E+0011 1 5
TTTT
----:-- / 7.09
304

1.3197E+0011 6.0439E+0011 1 5 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

1.3197E+0011 6.0439E+0011 1 5
TTTT
----:-- / 7.09
1.3197E+0011 ? 1 5
T-TT
----:PM / 6.20
CC

0
1.3197E+0011 6.0439E+0011 1 5
TTTT
----:-- / 7.09
1.3197E+0011 6.0439E+0011 1 5
TTTT
----:-- / 7.09
1.3197E+0011 6.0439E+0011 1 5
TTTT
----:-- / 7.09
305

1.3139E+0011 6.0156E+0011 1 5 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

1.3139E+0011 6.0156E+0011 1 5
TTTT
----:-- / 7.09
1.3139E+0011 ? 1 5
T-TT
----:PM / 6.20
CC

0
1.3139E+0011 6.0156E+0011 1 5
TTTT
----:-- / 7.09
1.3139E+0011 6.0156E+0011 1 5
TTTT
----:-- / 7.09
1.3139E+0011 6.0156E+0011 1 5
TTTT
----:-- / 7.09
306

5.5244E+0010 2.5351E+0011 1 5 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

5.5244E+0010 2.5351E+0011 1 5
TTTT
----:-- / 7.09
5.5244E+0010 ? 1 5
T-TT
----:PM / 6.20
CC

0
5.5244E+0010 2.5351E+0011 1 5
TTTT
----:-- / 7.09
5.5244E+0010 2.5351E+0011 1 5
TTTT
----:-- / 7.09
5.5244E+0010 2.5351E+0011 1 5
TTTT
----:-- / 7.09
307

6.9905E+0010 3.1997E+0011 1 5 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

6.9905E+0010 3.1997E+0011 1 5
TTTT
----:-- / 7.09
6.9905E+0010 ? 1 5
T-TT
----:PM / 6.20
CC

0
6.9905E+0010 3.1997E+0011 1 5
TTTT
----:-- / 7.09
6.9905E+0010 3.1997E+0011 1 5
TTTT
----:-- / 7.09
6.9905E+0010 3.1997E+0011 1 5
TTTT
----:-- / 7.09
308

2.0254E+0011 9.2748E+0011 1 5 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

2.0254E+0011 9.2748E+0011 1 5
TTTT
----:-- / 7.09
2.0254E+0011 ? 1 5
T-TT
----:PM / 6.20
CC

0
2.0254E+0011 9.2748E+0011 1 5
TTTT
----:-- / 7.09
2.0254E+0011 9.2748E+0011 1 5
TTTT
----:-- / 7.09
2.0254E+0011 9.2748E+0011 1 5
TTTT
----:-- / 7.09
309

2.0254E+0011 9.2748E+0011 1 5 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

2.0254E+0011 9.2748E+0011 1 5
TTTT
----:-- / 7.09
2.0254E+0011 ? 1 5
T-TT
----:PM / 6.20
CC

0
2.0254E+0011 9.2748E+0011 1 5
TTTT
----:-- / 7.09
2.0254E+0011 9.2748E+0011 1 5
TTTT
----:-- / 7.09
2.0254E+0011 9.2748E+0011 1 5
TTTT
----:-- / 7.09
310

1.3139E+0011 6.0156E+0011 1 5 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

1.3139E+0011 6.0156E+0011 1 5
TTTT
----:-- / 7.09
1.3139E+0011 ? 1 5
T-TT
----:PM / 6.20
CC

0
1.3139E+0011 6.0156E+0011 1 5
TTTT
----:-- / 7.09
1.3139E+0011 6.0156E+0011 1 5
TTTT
----:-- / 7.09
1.3139E+0011 6.0156E+0011 1 5
TTTT
----:-- / 7.09
311

1.0768E+0011 4.9371E+0011 1 5 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

1.0768E+0011 4.9371E+0011 1 5
TTTT
----:-- / 7.09
1.0768E+0011 ? 1 5
T-TT
----:PM / 6.20
CC

0
1.0768E+0011 4.9371E+0011 1 5
TTTT
----:-- / 7.09
1.0768E+0011 4.9371E+0011 1 5
TTTT
----:-- / 7.09
1.0768E+0011 4.9371E+0011 1 5
TTTT
----:-- / 7.09
312

2.0254E+0011 9.2748E+0011 1 5 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

2.0254E+0011 9.2748E+0011 1 5
TTTT
----:-- / 7.09
2.0254E+0011 ? 1 5
T-TT
----:PM / 6.20
CC

0
2.0254E+0011 9.2748E+0011 1 5
TTTT
----:-- / 7.09
2.0254E+0011 9.2748E+0011 1 5
TTTT
----:-- / 7.09
2.0254E+0011 9.2748E+0011 1 5
TTTT
----:-- / 7.09
313

2.0254E+0011 9.2748E+0011 1 5 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

2.0254E+0011 9.2748E+0011 1 5
TTTT
----:-- / 7.09
2.0254E+0011 ? 1 5
T-TT
----:PM / 6.20
CC

0
2.0254E+0011 9.2748E+0011 1 5
TTTT
----:-- / 7.09
2.0254E+0011 9.2748E+0011 1 5
TTTT
----:-- / 7.09
2.0254E+0011 9.2748E+0011 1 5
TTTT
----:-- / 7.09
314

1.0768E+0011 4.9371E+0011 1 5 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

1.0768E+0011 4.9371E+0011 1 5
TTTT
----:-- / 7.09
1.0768E+0011 ? 1 5
T-TT
----:PM / 6.20
CC

0
1.0768E+0011 4.9371E+0011 1 5
TTTT
----:-- / 7.09
1.0768E+0011 4.9371E+0011 1 5
TTTT
----:-- / 7.09
1.0768E+0011 4.9371E+0011 1 5
TTTT
----:-- / 7.09
315

1.3139E+0011 6.0156E+0011 1 5 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

1.3139E+0011 6.0156E+0011 1 5
TTTT
----:-- / 7.09
1.3139E+0011 ? 1 5
T-TT
----:PM / 6.20
CC

0
1.3139E+0011 6.0156E+0011 1 5
TTTT
----:-- / 7.09
1.3139E+0011 6.0156E+0011 1 5
TTTT
----:-- / 7.09
1.3139E+0011 6.0156E+0011 1 5
TTTT
----:-- / 7.09
316

1.3139E+0011 6.0156E+0011 1 5 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

1.3139E+0011 6.0156E+0011 1 5
TTTT
----:-- / 7.09
1.3139E+0011 ? 1 5
T-TT
----:PM / 6.20
CC

0
1.3139E+0011 6.0156E+0011 1 5
TTTT
----:-- / 7.09
1.3139E+0011 6.0156E+0011 1 5
TTTT
----:-- / 7.09
1.3139E+0011 6.0156E+0011 1 5
TTTT
----:-- / 7.09
317

1.7272E+0011 7.9212E+0011 1 5 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

1.7272E+0011 7.9212E+0011 1 5
TTTT
----:-- / 7.09
1.7272E+0011 ? 1 5
T-TT
----:PM / 6.20
CC

0
1.7272E+0011 7.9212E+0011 1 5
TTTT
----:-- / 7.09
1.7272E+0011 7.9212E+0011 1 5
TTTT
----:-- / 7.09
1.7272E+0011 7.9212E+0011 1 5
TTTT
----:-- / 7.09
318

2.8613E+0011 1.3103E+0012 1 5 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

2.8613E+0011 1.3103E+0012 1 5
TTTT
----:-- / 7.09
2.8613E+0011 ? 1 5
T-TT
----:PM / 6.20
CC

0
2.8613E+0011 1.3103E+0012 1 5
TTTT
----:-- / 7.09
2.8613E+0011 1.3103E+0012 1 5
TTTT
----:-- / 7.09
2.8613E+0011 1.3103E+0012 1 5
TTTT
----:-- / 7.09
319

1.3140E+0011 6.0158E+0011 1 5 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

1.3140E+0011 6.0158E+0011 1 5
TTTT
----:-- / 7.09
1.3140E+0011 ? 1 5
T-TT
----:PM / 6.20
CC

0
1.3140E+0011 6.0158E+0011 1 5
TTTT
----:-- / 7.09
1.3140E+0011 6.0158E+0011 1 5
TTTT
----:-- / 7.09
1.3140E+0011 6.0158E+0011 1 5
TTTT
----:-- / 7.09
320

1.8547E+0011 8.4914E+0011 1 5 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

1.8547E+0011 8.4914E+0011 1 5
TTTT
----:-- / 7.09
1.8547E+0011 ? 1 5
T-TT
----:PM / 6.20
CC

0
1.8547E+0011 8.4914E+0011 1 5
TTTT
----:-- / 7.09
1.8547E+0011 8.4914E+0011 1 5
TTTT
----:-- / 7.09
1.8547E+0011 8.4914E+0011 1 5
TTTT
----:-- / 7.09
401

1.9294E+0014 1.1020E+0015 1 6 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

1.9294E+0014 1.1020E+0015 1 6
TTTT
----:-- / 7.09
1.9294E+0014 ? 1 6
T-TT
----:PM / 6.20
CC

0
1.9294E+0014 1.1020E+0015 1 6
TTTT
----:-- / 7.09
1.9294E+0014 1.1020E+0015 1 6
TTTT
----:-- / 7.09
1.9294E+0014 1.1020E+0015 1 6
TTTT
----:-- / 7.09
402

1.9294E+0014 1.1020E+0015 1 6 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

1.9294E+0014 1.1020E+0015 1 6
TTTT
----:-- / 7.09
1.9294E+0014 ? 1 6
T-TT
----:-M / 6.20
CC

0
1.9294E+0014 1.1020E+0015 1 6
TTTT
----:P- / 7.09
1.9294E+0014 1.1020E+0015 1 6
TTTT
----:-- / 7.09
1.9294E+0014 1.1020E+0015 1 6
TTTT
----:-- / 7.09
DES — P/T (151.00 pts max)
  GreatSPN ITS-Tools Tapaal tedd 2020-gold BVT-2021
Score 151.00 132.20 6.61 151.00 151.00 151.00
fastest 6 9 0 5 0 0
smallest memory 8 12 0 0 0 0
00a

2.4197E+0010 2.9310E+0011 1 47 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

2.4197E+0010 2.9310E+0011 1 47
TTTT
----:PM / 7.55
2.4197E+0010 ? 1 47
T-TT
----:-- / 6.61
CC

0
2.4197E+0010 2.9310E+0011 1 47
TTTT
----:-- / 7.55
2.4197E+0010 2.9310E+0011 1 47
TTTT
----:-- / 7.55
2.4197E+0010 2.9310E+0011 1 47
TTTT
----:-- / 7.55
00b

2.4601E+0019 4.4365E+0020 1 47 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

2.4601E+0019 4.4365E+0020 1 47
TTTT
----:PM / 7.55
2.4601E+0019 ? 1 47
T-TT
----:-- / 6.61
CC

0
2.4601E+0019 4.4365E+0020 1 47
TTTT
----:-- / 7.55
2.4601E+0019 4.4365E+0020 1 47
TTTT
----:-- / 7.55
2.4601E+0019 4.4365E+0020 1 47
TTTT
----:-- / 7.55
01a

1.0858E+0008 1.2134E+0009 1 48 (expected value)

5.99 3.99 5.99 5.99 (confidence rate)

1.0858E+0008 1.2134E+0009 1 48
TTTT
----:PM / 7.55
1.0858E+0008 ? 1 48
T-TT
----:-- / 6.61
1.0858E+0008 ? 1 48
T-TT
----:-- / 6.61
1.0858E+0008 1.2134E+0009 1 48
TTTT
----:-- / 7.55
1.0858E+0008 1.2134E+0009 1 48
TTTT
----:-- / 7.55
1.0858E+0008 1.2134E+0009 1 48
TTTT
----:-- / 7.55
01b

2.0127E+0017 3.5377E+0018 1 51 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

2.0127E+0017 3.5377E+0018 1 51
TTTT
----:-M / 7.55
2.0127E+0017 ? 1 51
T-TT
----:-- / 6.61
CC

0
2.0127E+0017 3.5377E+0018 1 51
TTTT
----:P- / 7.55
2.0127E+0017 3.5377E+0018 1 51
TTTT
----:-- / 7.55
2.0127E+0017 3.5377E+0018 1 51
TTTT
----:-- / 7.55
02a

4.9532E+0009 5.9186E+0010 1 51 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

4.9532E+0009 5.9186E+0010 1 51
TTTT
----:-M / 7.55
4.9532E+0009 ? 1 51
T-TT
----:-- / 6.61
CC

0
4.9532E+0009 5.9186E+0010 1 51
TTTT
----:P- / 7.55
4.9532E+0009 5.9186E+0010 1 51
TTTT
----:-- / 7.55
4.9532E+0009 5.9186E+0010 1 51
TTTT
----:-- / 7.55
02b

7.1021E+0018 1.2674E+0020 1 51 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

7.1021E+0018 1.2674E+0020 1 51
TTTT
----:-M / 7.55
7.1021E+0018 ? 1 51
T-TT
----:-- / 6.61
CC

0
7.1021E+0018 1.2674E+0020 1 51
TTTT
----:P- / 7.55
7.1021E+0018 1.2674E+0020 1 51
TTTT
----:-- / 7.55
7.1021E+0018 1.2674E+0020 1 51
TTTT
----:-- / 7.55
05a

2.3100E+0011 2.8039E+0012 1 51 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

2.3100E+0011 2.8039E+0012 1 51
TTTT
----:-M / 7.55
2.3100E+0011 ? 1 51
T-TT
----:-- / 6.61
CC

0
2.3100E+0011 2.8039E+0012 1 51
TTTT
----:P- / 7.55
2.3100E+0011 2.8039E+0012 1 51
TTTT
----:-- / 7.55
2.3100E+0011 2.8039E+0012 1 51
TTTT
----:-- / 7.55
05b

2.6140E+0020 4.7052E+0021 1 51 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

2.6140E+0020 4.7052E+0021 1 51
TTTT
----:-- / 7.55
2.6140E+0020 ? 1 51
T-TT
----:-M / 6.61
CC

0
2.6140E+0020 4.7052E+0021 1 51
TTTT
----:P- / 7.55
2.6140E+0020 4.7052E+0021 1 51
TTTT
----:-- / 7.55
2.6140E+0020 4.7052E+0021 1 51
TTTT
----:-- / 7.55
10a

1.6003E+0012 1.9392E+0013 1 51 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

1.6003E+0012 1.9392E+0013 1 51
TTTT
----:-- / 7.55
1.6003E+0012 ? 1 51
T-TT
----:PM / 6.61
CC

0
1.6003E+0012 1.9392E+0013 1 51
TTTT
----:-- / 7.55
1.6003E+0012 1.9392E+0013 1 51
TTTT
----:-- / 7.55
1.6003E+0012 1.9392E+0013 1 51
TTTT
----:-- / 7.55
10b

1.6887E+0021 3.0429E+0022 1 51 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

1.6887E+0021 3.0429E+0022 1 51
TTTT
----:P- / 7.55
1.6887E+0021 ? 1 51
T-TT
----:-M / 6.61
CC

0
1.6887E+0021 3.0429E+0022 1 51
TTTT
----:-- / 7.55
1.6887E+0021 3.0429E+0022 1 51
TTTT
----:-- / 7.55
1.6887E+0021 3.0429E+0022 1 51
TTTT
----:-- / 7.55
20a

7.9693E+0012 9.6542E+0013 1 51 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

7.9693E+0012 9.6542E+0013 1 51
TTTT
----:-- / 7.55
7.9693E+0012 ? 1 51
T-TT
----:PM / 6.61
CC

0
7.9693E+0012 9.6542E+0013 1 51
TTTT
----:-- / 7.55
7.9693E+0012 9.6542E+0013 1 51
TTTT
----:-- / 7.55
7.9693E+0012 9.6542E+0013 1 51
TTTT
----:-- / 7.55
20b

8.2277E+0021 1.4833E+0023 1 51 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

8.2277E+0021 1.4833E+0023 1 51
TTTT
----:P- / 7.55
8.2277E+0021 ? 1 51
T-TT
----:-M / 6.61
CC

0
8.2277E+0021 1.4833E+0023 1 51
TTTT
----:-- / 7.55
8.2277E+0021 1.4833E+0023 1 51
TTTT
----:-- / 7.55
8.2277E+0021 1.4833E+0023 1 51
TTTT
----:-- / 7.55
30a

1.9178E+0013 2.3231E+0014 1 51 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

1.9178E+0013 2.3231E+0014 1 51
TTTT
----:-- / 7.55
1.9178E+0013 ? 1 51
T-TT
----:PM / 6.61
CC

0
1.9178E+0013 2.3231E+0014 1 51
TTTT
----:-- / 7.55
1.9178E+0013 2.3231E+0014 1 51
TTTT
----:-- / 7.55
1.9178E+0013 2.3231E+0014 1 51
TTTT
----:-- / 7.55
30b

1.9679E+0022 3.5482E+0023 1 51 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

1.9679E+0022 3.5482E+0023 1 51
TTTT
----:-- / 7.55
1.9679E+0022 ? 1 51
T-TT
----:PM / 6.61
CC

0
1.9679E+0022 3.5482E+0023 1 51
TTTT
----:-- / 7.55
1.9679E+0022 3.5482E+0023 1 51
TTTT
----:-- / 7.55
1.9679E+0022 3.5482E+0023 1 51
TTTT
----:-- / 7.55
40a

3.5226E+0013 4.2670E+0014 1 51 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

3.5226E+0013 4.2670E+0014 1 51
TTTT
----:-M / 7.55
3.5226E+0013 ? 1 51
T-TT
----:P- / 6.61
CC

0
3.5226E+0013 4.2670E+0014 1 51
TTTT
----:-- / 7.55
3.5226E+0013 4.2670E+0014 1 51
TTTT
----:-- / 7.55
3.5226E+0013 4.2670E+0014 1 51
TTTT
----:-- / 7.55
40b

3.6042E+0022 6.4989E+0023 1 51 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

3.6042E+0022 6.4989E+0023 1 51
TTTT
----:-- / 7.55
3.6042E+0022 ? 1 51
T-TT
----:PM / 6.61
CC

0
3.6042E+0022 6.4989E+0023 1 51
TTTT
----:-- / 7.55
3.6042E+0022 6.4989E+0023 1 51
TTTT
----:-- / 7.55
3.6042E+0022 6.4989E+0023 1 51
TTTT
----:-- / 7.55
50a

5.6113E+0013 6.7971E+0014 1 51 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

5.6113E+0013 6.7971E+0014 1 51
TTTT
----:P- / 7.55
5.6113E+0013 ? 1 51
T-TT
----:-M / 6.61
CC

0
5.6113E+0013 6.7971E+0014 1 51
TTTT
----:-- / 7.55
5.6113E+0013 6.7971E+0014 1 51
TTTT
----:-- / 7.55
5.6113E+0013 6.7971E+0014 1 51
TTTT
----:-- / 7.55
50b

5.7316E+0022 1.0335E+0024 1 51 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

5.7316E+0022 1.0335E+0024 1 51
TTTT
----:-- / 7.55
5.7316E+0022 ? 1 51
T-TT
----:PM / 6.61
CC

0
5.7316E+0022 1.0335E+0024 1 51
TTTT
----:-- / 7.55
5.7316E+0022 1.0335E+0024 1 51
TTTT
----:-- / 7.55
5.7316E+0022 1.0335E+0024 1 51
TTTT
----:-- / 7.55
60a

8.1839E+0013 9.9133E+0014 1 51 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

8.1839E+0013 9.9133E+0014 1 51
TTTT
----:-- / 7.55
8.1839E+0013 ? 1 51
T-TT
----:PM / 6.61
CC

0
8.1839E+0013 9.9133E+0014 1 51
TTTT
----:-- / 7.55
8.1839E+0013 9.9133E+0014 1 51
TTTT
----:-- / 7.55
8.1839E+0013 9.9133E+0014 1 51
TTTT
----:-- / 7.55
60b

8.3503E+0022 1.5058E+0024 1 51 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

8.3503E+0022 1.5058E+0024 1 51
TTTT
----:-- / 7.55
8.3503E+0022 ? 1 51
T-TT
----:PM / 6.61
CC

0
8.3503E+0022 1.5058E+0024 1 51
TTTT
----:-- / 7.55
8.3503E+0022 1.5058E+0024 1 51
TTTT
----:-- / 7.55
8.3503E+0022 1.5058E+0024 1 51
TTTT
----:-- / 7.55
DLCflexbar — P/T (135.70 pts max)
  GreatSPN ITS-Tools Tapaal tedd 2020-gold BVT-2021
Score 67.83 59.36 0.00 67.83 67.83 67.83
fastest 0 0 0 7 0 0
smallest memory 2 5 0 0 0 0
2a

7.9792E+0020 2.0377E+0023 1 196 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

7.9792E+0020 2.0377E+0023 1 196
TTTT
----:-M / 9.69
7.9792E+0020 ? 1 196
T-TT
----:-- / 8.48
CC

0
7.9792E+0020 2.0377E+0023 1 196
TTTT
----:P- / 9.69
7.9792E+0020 2.0377E+0023 1 196
TTTT
----:-- / 9.69
7.9792E+0020 2.0377E+0023 1 196
TTTT
----:-- / 9.69
2b

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
CC

0
DNF

0
DNC
3a

2.2539E+0030 1.0304E+0033 1 355 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

2.2539E+0030 1.0304E+0033 1 355
TTTT
----:-M / 9.69
2.2539E+0030 ? 1 355
T-TT
----:-- / 8.48
CC

0
2.2539E+0030 1.0304E+0033 1 355
TTTT
----:P- / 9.69
2.2539E+0030 1.0304E+0033 1 355
TTTT
----:-- / 9.69
2.2539E+0030 1.0304E+0033 1 355
TTTT
----:-- / 9.69
3b

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
CC

0
DNF

0
DNC
4a

1.5287E+0043 1.1869E+0046 1 608 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

1.5287E+0043 1.1869E+0046 1 608
TTTT
----:-- / 9.69
1.5287E+0043 ? 1 608
T-TT
----:-M / 8.48
CC

0
1.5287E+0043 1.1869E+0046 1 608
TTTT
----:P- / 9.69
1.5287E+0043 1.1869E+0046 1 608
TTTT
----:-- / 9.69
1.5287E+0043 1.1869E+0046 1 608
TTTT
----:-- / 9.69
4b

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
CC

0
DNF

0
DNC
5a

2.4893E+0059 3.0931E+0062 1 979 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

2.4893E+0059 3.0931E+0062 1 979
TTTT
----:-- / 9.69
2.4893E+0059 ? 1 979
T-TT
----:-M / 8.48
CC

0
2.4893E+0059 3.0931E+0062 1 979
TTTT
----:P- / 9.69
2.4893E+0059 3.0931E+0062 1 979
TTTT
----:-- / 9.69
2.4893E+0059 3.0931E+0062 1 979
TTTT
----:-- / 9.69
5b

? (expected value)

0 (confidence rate)

CC

0
CC

0
CC

0
CC

0
DNF

0
DNC
6a

9.7327E+0078 1.8344E+0082 1 1492 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

9.7327E+0078 1.8344E+0082 1 1492
TTTT
----:-- / 9.69
9.7327E+0078 ? 1 1492
T-TT
----:-M / 8.48
CC

0
9.7327E+0078 1.8344E+0082 1 1492
TTTT
----:P- / 9.69
9.7327E+0078 1.8344E+0082 1 1492
TTTT
----:-- / 9.69
9.7327E+0078 1.8344E+0082 1 1492
TTTT
----:-- / 9.69
6b

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
CC

0
DNF

0
DNC
7a

9.1366E+0101 2.4966E+0105 1 2171 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

9.1366E+0101 2.4966E+0105 1 2171
TTTT
----:-- / 9.69
9.1366E+0101 ? 1 2171
T-TT
----:-M / 8.48
CC

0
9.1366E+0101 2.4966E+0105 1 2171
TTTT
----:P- / 9.69
9.1366E+0101 2.4966E+0105 1 2171
TTTT
----:-- / 9.69
9.1366E+0101 2.4966E+0105 1 2171
TTTT
----:-- / 9.69
7b

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
CC

0
DNF

0
DNC
8a

2.0593E+0128 7.8563E+0131 1 3040 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

2.0593E+0128 7.8563E+0131 1 3040
TTTT
----:-- / 9.69
2.0593E+0128 ? 1 3040
T-TT
----:-M / 8.48
CC

0
2.0593E+0128 7.8563E+0131 1 3040
TTTT
----:P- / 9.69
2.0593E+0128 7.8563E+0131 1 3040
TTTT
----:-- / 9.69
2.0593E+0128 7.8563E+0131 1 3040
TTTT
----:-- / 9.69
8b

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
CC

0
DNF

0
DNC
DLCround — P/T (156.09 pts max)
  GreatSPN ITS-Tools Tapaal tedd 2020-gold BVT-2021
Score 78.09 68.30 6.20 78.09 78.09 78.09
fastest 0 0 0 11 0 0
smallest memory 11 0 0 0 0 0
03a

2.4010E+0007 1.6642E+0009 1 52 (expected value)

5.99 3.99 5.99 5.99 (confidence rate)

2.4010E+0007 1.6642E+0009 1 52
TTTT
----:-M / 7.09
2.4010E+0007 ? 1 52
T-TT
----:-- / 6.20
2.4010E+0007 ? 1 52
T-TT
----:-- / 6.20
2.4010E+0007 1.6642E+0009 1 52
TTTT
----:P- / 7.09
2.4010E+0007 1.6642E+0009 1 52
TTTT
----:-- / 7.09
2.4010E+0007 1.6642E+0009 1 52
TTTT
----:-- / 7.09
03b

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
CC

0
DNF

0
DNC
04a

2.4010E+0008 2.1918E+0010 1 69 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

2.4010E+0008 2.1918E+0010 1 69
TTTT
----:-M / 7.09
2.4010E+0008 ? 1 69
T-TT
----:-- / 6.20
CC

0
2.4010E+0008 2.1918E+0010 1 69
TTTT
----:P- / 7.09
2.4010E+0008 2.1918E+0010 1 69
TTTT
----:-- / 7.09
2.4010E+0008 2.1918E+0010 1 69
TTTT
----:-- / 7.09
04b

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
CC

0
DNF

0
DNC
05a

2.4010E+0009 2.7817E+0011 1 88 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

2.4010E+0009 2.7817E+0011 1 88
TTTT
----:-M / 7.09
2.4010E+0009 ? 1 88
T-TT
----:-- / 6.20
CC

0
2.4010E+0009 2.7817E+0011 1 88
TTTT
----:P- / 7.09
2.4010E+0009 2.7817E+0011 1 88
TTTT
----:-- / 7.09
2.4010E+0009 2.7817E+0011 1 88
TTTT
----:-- / 7.09
05b

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
CC

0
DNF

0
DNC
06a

2.4010E+0010 3.4341E+0012 1 109 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

2.4010E+0010 3.4341E+0012 1 109
TTTT
----:-M / 7.09
2.4010E+0010 ? 1 109
T-TT
----:-- / 6.20
CC

0
2.4010E+0010 3.4341E+0012 1 109
TTTT
----:P- / 7.09
2.4010E+0010 3.4341E+0012 1 109
TTTT
----:-- / 7.09
2.4010E+0010 3.4341E+0012 1 109
TTTT
----:-- / 7.09
06b

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
CC

0
DNF

0
DNC
07a

2.4010E+0011 4.1489E+0013 1 132 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

2.4010E+0011 4.1489E+0013 1 132
TTTT
----:-M / 7.09
2.4010E+0011 ? 1 132
T-TT
----:-- / 6.20
CC

0
2.4010E+0011 4.1489E+0013 1 132
TTTT
----:P- / 7.09
2.4010E+0011 4.1489E+0013 1 132
TTTT
----:-- / 7.09
2.4010E+0011 4.1489E+0013 1 132
TTTT
----:-- / 7.09
07b

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
CC

0
DNF

0
DNC
08a

2.4010E+0012 4.9262E+0014 1 157 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

2.4010E+0012 4.9262E+0014 1 157
TTTT
----:-M / 7.09
2.4010E+0012 ? 1 157
T-TT
----:-- / 6.20
CC

0
2.4010E+0012 4.9262E+0014 1 157
TTTT
----:P- / 7.09
2.4010E+0012 4.9262E+0014 1 157
TTTT
----:-- / 7.09
2.4010E+0012 4.9262E+0014 1 157
TTTT
----:-- / 7.09
08b

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
CC

0
DNF

0
DNC
09a

2.4010E+0013 5.7658E+0015 1 184 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

2.4010E+0013 5.7658E+0015 1 184
TTTT
----:-M / 7.09
2.4010E+0013 ? 1 184
T-TT
----:-- / 6.20
CC

0
2.4010E+0013 5.7658E+0015 1 184
TTTT
----:P- / 7.09
2.4010E+0013 5.7658E+0015 1 184
TTTT
----:-- / 7.09
2.4010E+0013 5.7658E+0015 1 184
TTTT
----:-- / 7.09
09b

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
CC

0
DNF

0
DNC
10a

2.4010E+0014 6.6679E+0016 1 213 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

2.4010E+0014 6.6679E+0016 1 213
TTTT
----:-M / 7.09
2.4010E+0014 ? 1 213
T-TT
----:-- / 6.20
CC

0
2.4010E+0014 6.6679E+0016 1 213
TTTT
----:P- / 7.09
2.4010E+0014 6.6679E+0016 1 213
TTTT
----:-- / 7.09
2.4010E+0014 6.6679E+0016 1 213
TTTT
----:-- / 7.09
10b

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
CC

0
DNF

0
DNC
11a

2.4010E+0015 7.6324E+0017 1 244 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

2.4010E+0015 7.6324E+0017 1 244
TTTT
----:-M / 7.09
2.4010E+0015 ? 1 244
T-TT
----:-- / 6.20
CC

0
2.4010E+0015 7.6324E+0017 1 244
TTTT
----:P- / 7.09
2.4010E+0015 7.6324E+0017 1 244
TTTT
----:-- / 7.09
2.4010E+0015 7.6324E+0017 1 244
TTTT
----:-- / 7.09
11b

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
CC

0
DNF

0
DNC
12a

2.4010E+0016 8.6594E+0018 1 277 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

2.4010E+0016 8.6594E+0018 1 277
TTTT
----:-M / 7.09
2.4010E+0016 ? 1 277
T-TT
----:-- / 6.20
CC

0
2.4010E+0016 8.6594E+0018 1 277
TTTT
----:P- / 7.09
2.4010E+0016 8.6594E+0018 1 277
TTTT
----:-- / 7.09
2.4010E+0016 8.6594E+0018 1 277
TTTT
----:-- / 7.09
12b

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
CC

0
DNF

0
DNC
13a

2.4010E+0017 9.7487E+0019 1 312 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

2.4010E+0017 9.7487E+0019 1 312
TTTT
----:-M / 7.09
2.4010E+0017 ? 1 312
T-TT
----:-- / 6.20
CC

0
2.4010E+0017 9.7487E+0019 1 312
TTTT
----:P- / 7.09
2.4010E+0017 9.7487E+0019 1 312
TTTT
----:-- / 7.09
2.4010E+0017 9.7487E+0019 1 312
TTTT
----:-- / 7.09
13b

? (expected value)

0 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
DNF

0
DNC
DLCshifumi — P/T (125.50 pts max)
  GreatSPN ITS-Tools Tapaal tedd 2020-gold BVT-2021
Score 62.75 54.90 0.00 62.75 62.75 62.75
fastest 0 0 0 3 2 0
smallest memory 2 3 0 0 0 0
2a

4.7476E+0014 5.0962E+0016 1 79 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

4.7476E+0014 5.0962E+0016 1 79
TTTT
----:-M / 12.55
4.7476E+0014 ? 1 79
T-TT
----:-- / 10.98
CC

0
4.7476E+0014 5.0962E+0016 1 79
TTTT
----:P- / 12.55
4.7476E+0014 5.0962E+0016 1 79
TTTT
----:-- / 12.55
4.7476E+0014 5.0962E+0016 1 79
TTTT
----:-- / 12.55
2b

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
CC

0
DNF

0
DNC
3a

9.0954E+0035 3.3784E+0038 1 282 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

9.0954E+0035 3.3784E+0038 1 282
TTTT
----:-M / 12.55
9.0954E+0035 ? 1 282
T-TT
----:-- / 10.98
CC

0
9.0954E+0035 3.3784E+0038 1 282
TTTT
----:P- / 12.55
9.0954E+0035 3.3784E+0038 1 282
TTTT
----:-- / 12.55
9.0954E+0035 3.3784E+0038 1 282
TTTT
----:-- / 12.55
3b

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
CC

0
DNF

0
DNC
4a

2.4119E+0067 2.1585E+0070 1 691 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

2.4119E+0067 2.1585E+0070 1 691
TTTT
----:-- / 12.55
2.4119E+0067 ? 1 691
T-TT
----:-M / 10.98
CC

0
2.4119E+0067 2.1585E+0070 1 691
TTTT
----:-- / 12.55
2.4119E+0067 2.1585E+0070 1 691
TTTT
----:P- / 12.55
2.4119E+0067 2.1585E+0070 1 691
TTTT
----:-- / 12.55
4b

? (expected value)

0 (confidence rate)

CC

0
CC

0
CC

0
CC

0
DNF

0
DNC
5a

8.8524E+0108 1.5631E+0112 1 1378 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

8.8524E+0108 1.5631E+0112 1 1378
TTTT
----:-- / 12.55
8.8524E+0108 ? 1 1378
T-TT
----:-M / 10.98
CC

0
8.8524E+0108 1.5631E+0112 1 1378
TTTT
----:P- / 12.55
8.8524E+0108 1.5631E+0112 1 1378
TTTT
----:-- / 12.55
8.8524E+0108 1.5631E+0112 1 1378
TTTT
----:-- / 12.55
5b

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
CC

0
DNF

0
DNC
6a

4.4972E+0160 1.3815E+0164 1 2415 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

4.4972E+0160 1.3815E+0164 1 2415
TTTT
----:-- / 12.55
4.4972E+0160 ? 1 2415
T-TT
----:-M / 10.98
CC

0
4.4972E+0160 1.3815E+0164 1 2415
TTTT
----:-- / 12.55
4.4972E+0160 1.3815E+0164 1 2415
TTTT
----:P- / 12.55
4.4972E+0160 1.3815E+0164 1 2415
TTTT
----:-- / 12.55
6b

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
CC

0
DNF

0
DNC
DNAwalker — P/T (145.90 pts max)
  GreatSPN ITS-Tools Tapaal tedd 2020-gold BVT-2021
Score 137.87 120.52 77.98 137.87 137.87 137.87
fastest 4 6 3 0 4 0
smallest memory 13 2 2 0 0 0
01track12Block1

3795 13149 2 13 (expected value)

5.99 3.99 5.99 5.99 (confidence rate)

3795 13149 2 13
TTTT
----:-M / 8.11
3795 ? 2 13
T-TT
----:-- / 7.09
3795 ? 2 13
T-TT
----:P- / 7.09
3795 13149 2 13
TTTT
----:-- / 8.11
3795 13149 2 13
TTTT
----:-- / 8.11
3795 13149 2 13
TTTT
----:-- / 8.11
02track12Block2

5459 21642 2 13 (expected value)

5.99 3.99 5.99 5.99 (confidence rate)

5459 21642 2 13
TTTT
----:-- / 8.11
5459 ? 2 13
T-TT
----:-- / 7.09
5459 ? 2 13
T-TT
----:PM / 7.09
5459 21642 2 13
TTTT
----:-- / 8.11
5459 21642 2 13
TTTT
----:-- / 8.11
5459 21642 2 13
TTTT
----:-- / 8.11
03track12BlockBoth

5248 20281 2 13 (expected value)

5.99 3.99 5.99 5.99 (confidence rate)

5248 20281 2 13
TTTT
----:-- / 8.11
5248 ? 2 13
T-TT
----:-- / 7.09
5248 ? 2 13
T-TT
----:PM / 7.09
5248 20281 2 13
TTTT
----:-- / 8.11
5248 20281 2 13
TTTT
----:-- / 8.11
5248 20281 2 13
TTTT
----:-- / 8.11
04track28LL

4.3288E+0008 2.9619E+0009 2 29 (expected value)

5.99 3.99 5.99 5.99 (confidence rate)

4.3288E+0008 2.9619E+0009 2 29
TTTT
----:-M / 8.11
4.3288E+0008 ? 2 29
T-TT
----:P- / 7.09
4.3288E+0008 ? 2 29
T-TT
----:-- / 7.09
4.3288E+0008 2.9619E+0009 2 29
TTTT
----:-- / 8.11
4.3288E+0008 2.9619E+0009 2 29
TTTT
----:-- / 8.11
4.3288E+0008 2.9619E+0009 2 29
TTTT
----:-- / 8.11
05track28LR

4.3534E+0008 2.9839E+0009 2 29 (expected value)

5.99 3.99 5.99 5.99 (confidence rate)

4.3534E+0008 2.9839E+0009 2 29
TTTT
----:-M / 8.11
4.3534E+0008 ? 2 29
T-TT
----:-- / 7.09
4.3534E+0008 ? 2 29
T-TT
----:-- / 7.09
4.3534E+0008 2.9839E+0009 2 29
TTTT
----:-- / 8.11
4.3534E+0008 2.9839E+0009 2 29
TTTT
----:P- / 8.11
4.3534E+0008 2.9839E+0009 2 29
TTTT
----:-- / 8.11
06track28RL

4.3534E+0008 2.9839E+0009 2 29 (expected value)

5.99 3.99 5.99 5.99 (confidence rate)

4.3534E+0008 2.9839E+0009 2 29
TTTT
----:-M / 8.11
4.3534E+0008 ? 2 29
T-TT
----:-- / 7.09
4.3534E+0008 ? 2 29
T-TT
----:-- / 7.09
4.3534E+0008 2.9839E+0009 2 29
TTTT
----:-- / 8.11
4.3534E+0008 2.9839E+0009 2 29
TTTT
----:P- / 8.11
4.3534E+0008 2.9839E+0009 2 29
TTTT
----:-- / 8.11
07track28RR

4.3288E+0008 2.9619E+0009 2 29 (expected value)

5.99 3.99 5.99 5.99 (confidence rate)

4.3288E+0008 2.9619E+0009 2 29
TTTT
----:-M / 8.11
4.3288E+0008 ? 2 29
T-TT
----:-- / 7.09
4.3288E+0008 ? 2 29
T-TT
----:-- / 7.09
4.3288E+0008 2.9619E+0009 2 29
TTTT
----:-- / 8.11
4.3288E+0008 2.9619E+0009 2 29
TTTT
----:P- / 8.11
4.3288E+0008 2.9619E+0009 2 29
TTTT
----:-- / 8.11
08ringLL

2.7951E+0007 2.3702E+0008 2 22 (expected value)

5.99 3.99 5.99 5.99 (confidence rate)

2.7951E+0007 2.3702E+0008 2 22
TTTT
----:-M / 8.11
2.7951E+0007 ? 2 22
T-TT
----:P- / 7.09
2.7951E+0007 ? 2 22
T-TT
----:-- / 7.09
2.7951E+0007 2.3702E+0008 2 22
TTTT
----:-- / 8.11
2.7951E+0007 2.3702E+0008 2 22
TTTT
----:-- / 8.11
2.7951E+0007 2.3702E+0008 2 22
TTTT
----:-- / 8.11
09ringLR

2.8210E+0007 2.4089E+0008 2 22 (expected value)

5.99 3.99 5.99 5.99 (confidence rate)

2.8210E+0007 2.4089E+0008 2 22
TTTT
----:-M / 8.11
2.8210E+0007 ? 2 22
T-TT
----:P- / 7.09
2.8210E+0007 ? 2 22
T-TT
----:-- / 7.09
2.8210E+0007 2.4089E+0008 2 22
TTTT
----:-- / 8.11
2.8210E+0007 2.4089E+0008 2 22
TTTT
----:-- / 8.11
2.8210E+0007 2.4089E+0008 2 22
TTTT
----:-- / 8.11
10ringRL

2.7951E+0007 2.3702E+0008 2 22 (expected value)

5.99 3.99 5.99 5.99 (confidence rate)

2.7951E+0007 2.3702E+0008 2 22
TTTT
----:-M / 8.11
2.7951E+0007 ? 2 22
T-TT
----:-- / 7.09
2.7951E+0007 ? 2 22
T-TT
----:-- / 7.09
2.7951E+0007 2.3702E+0008 2 22
TTTT
----:-- / 8.11
2.7951E+0007 2.3702E+0008 2 22
TTTT
----:P- / 8.11
2.7951E+0007 2.3702E+0008 2 22
TTTT
----:-- / 8.11
11ringRR

2.8210E+0007 2.4089E+0008 2 22 (expected value)

5.99 3.99 5.99 5.99 (confidence rate)

2.8210E+0007 2.4089E+0008 2 22
TTTT
----:-M / 8.11
2.8210E+0007 ? 2 22
T-TT
----:P- / 7.09
2.8210E+0007 ? 2 22
T-TT
----:-- / 7.09
2.8210E+0007 2.4089E+0008 2 22
TTTT
----:-- / 8.11
2.8210E+0007 2.4089E+0008 2 22
TTTT
----:-- / 8.11
2.8210E+0007 2.4089E+0008 2 22
TTTT
----:-- / 8.11
12ringLLLarge

1.8854E+0009 1.5271E+0010 2 28 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

1.8854E+0009 1.5271E+0010 2 28
TTTT
----:PM / 8.11
1.8854E+0009 ? 2 28
T-TT
----:-- / 7.09
CC

0
1.8854E+0009 1.5271E+0010 2 28
TTTT
----:-- / 8.11
1.8854E+0009 1.5271E+0010 2 28
TTTT
----:-- / 8.11
1.8854E+0009 1.5271E+0010 2 28
TTTT
----:-- / 8.11
13ringRLLarge

1.8854E+0009 1.5271E+0010 2 28 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

1.8854E+0009 1.5271E+0010 2 28
TTTT
----:PM / 8.11
1.8854E+0009 ? 2 28
T-TT
----:-- / 7.09
CC

0
1.8854E+0009 1.5271E+0010 2 28
TTTT
----:-- / 8.11
1.8854E+0009 1.5271E+0010 2 28
TTTT
----:-- / 8.11
1.8854E+0009 1.5271E+0010 2 28
TTTT
----:-- / 8.11
14ringLRLarge

1.8609E+0009 1.5025E+0010 2 28 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

1.8609E+0009 1.5025E+0010 2 28
TTTT
----:PM / 8.11
1.8609E+0009 ? 2 28
T-TT
----:-- / 7.09
CC

0
1.8609E+0009 1.5025E+0010 2 28
TTTT
----:-- / 8.11
1.8609E+0009 1.5025E+0010 2 28
TTTT
----:-- / 8.11
1.8609E+0009 1.5025E+0010 2 28
TTTT
----:-- / 8.11
15ringRRLarge

1.8609E+0009 1.5025E+0010 2 28 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

1.8609E+0009 1.5025E+0010 2 28
TTTT
----:PM / 8.11
1.8609E+0009 ? 2 28
T-TT
----:-- / 7.09
CC

0
1.8609E+0009 1.5025E+0010 2 28
TTTT
----:-- / 8.11
1.8609E+0009 1.5025E+0010 2 28
TTTT
----:-- / 8.11
1.8609E+0009 1.5025E+0010 2 28
TTTT
----:-- / 8.11
16redondantChoiceR

8.0032E+0011 9.9050E+0012 2 34 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

8.0032E+0011 9.9050E+0012 2 34
TTTT
----:-- / 8.11
8.0032E+0011 ? 2 34
T-TT
----:PM / 7.09
CC

0
8.0032E+0011 9.9050E+0012 2 34
TTTT
----:-- / 8.11
8.0032E+0011 9.9050E+0012 2 34
TTTT
----:-- / 8.11
8.0032E+0011 9.9050E+0012 2 34
TTTT
----:-- / 8.11
17redondantChoiceL

8.0032E+0011 9.9050E+0012 2 34 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

8.0032E+0011 9.9050E+0012 2 34
TTTT
----:-- / 8.11
8.0032E+0011 ? 2 34
T-TT
----:PM / 7.09
CC

0
8.0032E+0011 9.9050E+0012 2 34
TTTT
----:-- / 8.11
8.0032E+0011 9.9050E+0012 2 34
TTTT
----:-- / 8.11
8.0032E+0011 9.9050E+0012 2 34
TTTT
----:-- / 8.11
18lozangeBlock

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
CC

0
DNF

0
DNC
DatabaseWithMutex — Colored (62.75 pts max)
  GreatSPN ITS-Tools Tapaal tedd 2020-gold BVT-2021
Score 25.09 21.95 10.98 25.09 25.09 25.09
fastest 1 0 1 0 0 0
smallest memory 0 1 1 0 0 0
02

153 312 1 6 (expected value)

5.99 3.99 5.99 5.99 (confidence rate)

153 312 1 6
TTTT
----:-- / 12.55
153 ? 1 6
T-TT
----:-- / 10.98
153 ? 1 6
T-TT
----:PM / 10.98
153 312 1 6
TTTT
----:-- / 12.55
153 312 1 6
TTTT
----:-- / 12.55
153 312 1 6
TTTT
----:-- / 12.55
04

4.7179E+0009 3.9697E+0010 1 20 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

4.7179E+0009 3.9697E+0010 1 20
TTTT
----:P- / 12.55
4.7179E+0009 ? 1 20
T-TT
----:-M / 10.98
CC

0
4.7179E+0009 3.9697E+0010 1 20
TTTT
----:-- / 12.55
4.7179E+0009 3.9697E+0010 1 20
TTTT
----:-- / 12.55
4.7179E+0009 3.9697E+0010 1 20
TTTT
----:-- / 12.55
10

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
CC

0
DNF

0
DNC
20

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
CC

0
DNF

0
DNC
40

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
CC

0
DNF

0
DNC
DatabaseWithMutex — P/T (62.75 pts max)
  GreatSPN ITS-Tools Tapaal tedd 2020-gold BVT-2021
Score 25.09 21.95 10.98 25.09 25.09 25.09
fastest 0 0 1 1 0 0
smallest memory 1 1 0 0 0 0
02

153 312 1 6 (expected value)

5.99 3.99 5.99 5.99 (confidence rate)

153 312 1 6
TTTT
----:-M / 12.55
153 ? 1 6
T-TT
----:-- / 10.98
153 ? 1 6
T-TT
----:P- / 10.98
153 312 1 6
TTTT
----:-- / 12.55
153 312 1 6
TTTT
----:-- / 12.55
153 312 1 6
TTTT
----:-- / 12.55
04

4.7179E+0009 3.9697E+0010 1 20 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

4.7179E+0009 3.9697E+0010 1 20
TTTT
----:-- / 12.55
4.7179E+0009 ? 1 20
T-TT
----:-M / 10.98
CC

0
4.7179E+0009 3.9697E+0010 1 20
TTTT
----:P- / 12.55
4.7179E+0009 3.9697E+0010 1 20
TTTT
----:-- / 12.55
4.7179E+0009 3.9697E+0010 1 20
TTTT
----:-- / 12.55
10

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
CC

0
CC

0
DNC
20

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
CC

0
DNF

0
DNC
40

? (expected value)

0 (confidence rate)

CC

0
CC

0
CC

0
CC

0
DNF

0
DNC
Dekker — P/T (115.30 pts max)
  GreatSPN ITS-Tools Tapaal tedd 2020-gold BVT-2021
Score 96.09 100.86 50.43 115.31 115.31 115.31
fastest 0 0 1 5 0 0
smallest memory 3 1 2 0 0 0
010

6144 1.7153E+0005 1 20 (expected value)

5.99 3.99 5.99 5.99 (confidence rate)

6144 1.7153E+0005 1 20
TTTT
----:-- / 19.22
6144 ? 1 20
T-TT
----:-- / 16.80
6144 ? 1 20
T-TT
----:PM / 16.80
6144 1.7153E+0005 1 20
TTTT
----:-- / 19.22
6144 1.7153E+0005 1 20
TTTT
----:-- / 19.22
6144 1.7153E+0005 1 20
TTTT
----:-- / 19.22
015

2.7853E+0005 1.6835E+0007 1 30 (expected value)

5.99 3.99 5.99 5.99 (confidence rate)

2.7853E+0005 1.6835E+0007 1 30
TTTT
----:-- / 19.22
2.7853E+0005 ? 1 30
T-TT
----:-- / 16.80
2.7853E+0005 ? 1 30
T-TT
----:-M / 16.80
2.7853E+0005 1.6835E+0007 1 30
TTTT
----:P- / 19.22
2.7853E+0005 1.6835E+0007 1 30
TTTT
----:-- / 19.22
2.7853E+0005 1.6835E+0007 1 30
TTTT
----:-- / 19.22
020

1.1534E+0007 1.2163E+0009 1 40 (expected value)

5.99 3.99 5.99 5.99 (confidence rate)

1.1534E+0007 1.2163E+0009 1 40
TTTT
----:-M / 19.22
1.1534E+0007 ? 1 40
T-TT
----:-- / 16.80
1.1534E+0007 ? 1 40
T-TT
----:-- / 16.80
1.1534E+0007 1.2163E+0009 1 40
TTTT
----:P- / 19.22
1.1534E+0007 1.2163E+0009 1 40
TTTT
----:-- / 19.22
1.1534E+0007 1.2163E+0009 1 40
TTTT
----:-- / 19.22
050

2.9273E+0016 1.8676E+0019 1 100 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

2.9273E+0016 1.8676E+0019 1 100
TTTT
----:-M / 19.22
2.9273E+0016 ? 1 100
T-TT
----:-- / 16.80
CC

0
2.9273E+0016 1.8676E+0019 1 100
TTTT
----:P- / 19.22
2.9273E+0016 1.8676E+0019 1 100
TTTT
----:-- / 19.22
2.9273E+0016 1.8676E+0019 1 100
TTTT
----:-- / 19.22
100

6.4650E+0031 1.6327E+0035 1 200 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

6.4650E+0031 1.6327E+0035 1 200
TTTT
----:-M / 19.22
6.4650E+0031 ? 1 200
T-TT
----:-- / 16.80
CC

0
6.4650E+0031 1.6327E+0035 1 200
TTTT
----:P- / 19.22
6.4650E+0031 1.6327E+0035 1 200
TTTT
----:-- / 19.22
6.4650E+0031 1.6327E+0035 1 200
TTTT
----:-- / 19.22
200

1.6230E+0062 1.6312E+0066 1 400 (expected value)

3.99 2.99 3.99 3.99 (confidence rate)

DNF

0
1.6230E+0062 ? 1 400
T-TT
----:-M / 16.80
CC

0
1.6230E+0062 1.6312E+0066 1 400
TTTT
----:P- / 19.22
1.6230E+0062 1.6312E+0066 1 400
TTTT
----:-- / 19.22
1.6230E+0062 1.6312E+0066 1 400
TTTT
----:-- / 19.22
Diffusion2D — P/T (173.95 pts max)
  GreatSPN ITS-Tools Tapaal tedd 2020-gold BVT-2021
Score 160.50 126.00 5.25 174.00 120.00 174.00
fastest 3 0 0 26 0 0
smallest memory 3 3 0 23 0 0
D05N010

1.3113E+0008 5.5537E+0009 10 10 (expected value)

5.99 3.99 5.99 5.99 (confidence rate)

1.3113E+0008 5.5537E+0009 10 10
TTTT
----:P- / 6.00
1.3113E+0008 ? 10 10
T-TT
----:-- / 5.25
1.3113E+0008 ? 10 10
T-TT
----:-- / 5.25
1.3113E+0008 5.5537E+0009 10 10
TTTT
----:-M / 6.00
1.3113E+0008 5.5537E+0009 10 10
TTTT
----:-- / 6.00
1.3113E+0008 5.5537E+0009 10 10
TTTT
----:-- / 6.00
D05N050

1.7530E+0019 1.7056E+0021 50 50 (expected value)

4.99 3.99 4.99 4.99 (confidence rate)

1.7530E+0019 1.7056E+0021 50 50
TTTT
----:P- / 6.00
1.7530E+0019 ? 50 50
T-TT
----:-- / 5.25
CC

0
1.7530E+0019 1.7056E+0021 50 50
TTTT
----:-M / 6.00
1.7530E+0019 1.7056E+0021 50 50
TTTT
----:-- / 6.00
1.7530E+0019 1.7056E+0021 50 50