fond
Model Checking Contest @ Petri Nets 2016
6th edition, Toruń, Poland, June 21, 2016
Results for StateSpace
Last Updated
June 30, 2016

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, three 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, S means that the tool is not consistent between the result of the «Stripped» model and of the corresponding «Known» one. 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 tools get a +4 bonus that is always considered for green and orange results. 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
  ITS-Tools LTSMin Tapaal(PAR) Marcie pnmc PNXDD Smart Tapaal(EXP) Tapaal(SEQ) ydd-pt
Total Points 24684 12756 6722 23662 19318 5356 11836 9494 7620 1886

All «Surprise» models
 
  ITS-Tools LTSMin Tapaal(PAR) Marcie pnmc PNXDD Smart Tapaal(EXP) Tapaal(SEQ) ydd-pt
Total Points 5440 3980 1270 6530 6430 1480 2360 2260 1680 370
AirplaneLD — Colored
  ITS-Tools LTSMin Tapaal(PAR) Marcie pnmc PNXDD Smart Tapaal(EXP) Tapaal(SEQ) ydd-pt
Total 1080 0 0 480 0 0 0 0 0 0
Bonuses 360 0 0 0 0 0 0 0 0 0
Scores 720 0 0 480 0 0 0 0 0 0
0010

43463 1.8366E+0005 1 38 (expected value)

1.98 1.98 1.98 1.98 (confidence rate)

43463 1.8366E+0005 1 38
TTTT
---:PM / 80
DNC DNC 43463 1.8366E+0005 1 38
TTTT
---:-- / 80
DNC DNC DNC DNC DNC DNC
0020

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

1.98 1.98 1.98 1.98 (confidence rate)

3.0830E+0005 1.3391E+0006 1 68
TTTT
---:PM / 80
DNC DNC 3.0830E+0005 1.3391E+0006 1 68
TTTT
---:-- / 80
DNC DNC DNC DNC DNC DNC
0050

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

1.98 1.98 1.98 1.98 (confidence rate)

4.4712E+0006 1.9756E+0007 1 158
TTTT
---:PM / 80
DNC DNC 4.4712E+0006 1.9756E+0007 1 158
TTTT
---:-- / 80
DNC DNC DNC DNC DNC DNC
0100

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

1.98 1.98 1.98 1.98 (confidence rate)

3.4877E+0007 1.5501E+0008 1 308
TTTT
---:PM / 80
DNC DNC 3.4877E+0007 1.5501E+0008 1 308
TTTT
---:-- / 80
DNC DNC DNC DNC DNC DNC
0200

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

1.98 1.98 1.98 1.98 (confidence rate)

2.7549E+0008 1.2280E+0009 1 608
TTTT
---:PM / 80
DNC DNC 2.7549E+0008 1.2280E+0009 1 608
TTTT
---:-- / 80
DNC DNC DNC DNC DNC DNC
0500

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

1.98 1.98 1.98 1.98 (confidence rate)

4.2718E+0009 1.9075E+0010 1 1508
TTTT
---:PM / 80
DNC DNC 4.2718E+0009 1.9075E+0010 1 1508
TTTT
---:-- / 80
DNC DNC DNC DNC DNC DNC
1000

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

0.98 0.98 0.98 0.98 (confidence rate)

3.4087E+0010 1.5230E+0011 1 3008
TTTT
---:PM / 80
DNC DNC DNF

0
DNC DNC DNC DNC DNC DNC
2000

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

0.98 0.98 0.98 0.98 (confidence rate)

2.7235E+0011 1.2172E+0012 1 6008
TTTT
---:PM / 80
DNC DNC DNF

0
DNC DNC DNC DNC DNC DNC
4000

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

0.98 0.98 0.98 0.98 (confidence rate)

2.1774E+0012 9.7328E+0012 1 12008
TTTT
---:PM / 80
DNC DNC DNF

0
DNC DNC DNC DNC DNC DNC
AirplaneLD — P/T
  ITS-Tools LTSMin Tapaal(PAR) Marcie pnmc PNXDD Smart Tapaal(EXP) Tapaal(SEQ) ydd-pt
Total 760 360 160 480 420 100 720 320 210 100
Bonuses 120 0 0 0 0 0 160 40 0 0
Scores 640 360 160 480 420 100 560 280 210 100
0010

43463 1.8366E+0005 1 38 (expected value)

8.94 3.97 6.97 5.97 (confidence rate)

43463 1.8366E+0005 1 38
TTTT
---:-- / 80
43463 ? 1 ?
T-T-
---:-- / 60
43463 1.8366E+0005 1 38
TTTT
---:-- / 80
43463 1.8366E+0005 1 38
TTTT
---:-- / 80
43463 ? 1 38
T-TT
---:-- / 70
43463 ? ? ?
T---
---:-- / 50
43463 1.8366E+0005 1 38
TTTT
---:-- / 80
43463 ? 1 38
T-TT
---:PM / 70
43463 ? 1 38
T-TT
---:-- / 70
43463 ? ? ?
T---
---:-- / 50
0020

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

8.94 3.97 6.97 5.97 (confidence rate)

3.0830E+0005 1.3391E+0006 1 68
TTTT
---:-- / 80
3.0830E+0005 ? 1 ?
T-T-
---:-- / 60
3.0830E+0005 1.3391E+0006 1 68
TTTT
---:-- / 80
3.0830E+0005 1.3391E+0006 1 68
TTTT
---:-- / 80
3.0830E+0005 ? 1 68
T-TT
---:-- / 70
3.0830E+0005 ? ? ?
T---
---:-- / 50
3.0830E+0005 1.3391E+0006 1 68
TTTT
---:PM / 80
3.0830E+0005 ? 1 68
T-TT
---:-- / 70
3.0830E+0005 ? 1 68
T-TT
---:-- / 70
3.0830E+0005 ? ? ?
T---
---:-- / 50
0050

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

5.97 2.97 5.97 4.97 (confidence rate)

4.4712E+0006 1.9756E+0007 1 158
TTTT
---:-- / 80
4.4712E+0006 ? 1 ?
T-T-
---:-- / 60
CC

0
4.4712E+0006 1.9756E+0007 1 158
TTTT
---:-- / 80
4.4712E+0006 ? 1 158
T-TT
---:-- / 70
CC

0
4.4712E+0006 1.9756E+0007 1 158
TTTT
---:PM / 80
4.4712E+0006 ? 1 158
T-TT
---:-- / 70
4.4712E+0006 ? 1 158
T-TT
---:-- / 70
DNF

0
0100

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

5.47 2.97 5.47 4.47 (confidence rate)

3.4877E+0007 1.5501E+0008 1 308
TTTT
---:-- / 80
3.4877E+0007 ? 1 ?
T-T-
---:-- / 60
CC

0
3.4877E+0007 1.5501E+0008 1 308
TTTT
---:-- / 80
3.4877E+0007 ? 1 308
T-TT
---:-- / 70
CC

0
3.4877E+0007 1.5501E+0008 1 308
TTTT
---:PM / 80
3.4877E+0007 ? 1 308
T-TT
---:-- / 70
CC

0
CC

0
0200

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

4.97 2.97 4.97 3.97 (confidence rate)

2.7549E+0008 1.2280E+0009 1 608
TTTT
---:-M / 80
2.7549E+0008 ? 1 ?
T-T-
---:-- / 60
CC

0
2.7549E+0008 1.2280E+0009 1 608
TTTT
---:-- / 80
2.7549E+0008 ? 1 608
T-TT
---:-- / 70
CC

0
2.7549E+0008 1.2280E+0009 1 608
TTTT
---:P- / 80
DNF

0
CC

0
CC

0
0500

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

4.97 2.97 4.97 3.97 (confidence rate)

4.2718E+0009 1.9075E+0010 1 1508
TTTT
---:-M / 80
4.2718E+0009 ? 1 ?
T-T-
---:-- / 60
CC

0
4.2718E+0009 1.9075E+0010 1 1508
TTTT
---:-- / 80
4.2718E+0009 ? 1 1508
T-TT
---:-- / 70
CC

0
4.2718E+0009 1.9075E+0010 1 1508
TTTT
---:P- / 80
DNF

0
CC

0
CC

0
1000

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

1.97 1.97 1.97 1.97 (confidence rate)

3.4087E+0010 1.5230E+0011 1 3008
TTTT
---:PM / 80
DNF

0
CC

0
DNF

0
DNF

0
CC

0
3.4087E+0010 1.5230E+0011 1 3008
TTTT
---:-- / 80
CC

0
CC

0
CC

0
2000

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

0.98 0.98 0.98 0.98 (confidence rate)

2.7235E+0011 1.2172E+0012 1 6008
TTTT
---:PM / 80
CC

0
CC

0
DNF

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
4000

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
DNF

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
AutoFlight — P/T
  ITS-Tools LTSMin Tapaal(PAR) Marcie pnmc PNXDD Smart Tapaal(EXP) Tapaal(SEQ) ydd-pt
Total 350 740 340 940 670 410 340 480 300 170
Bonuses 0 20 20 60 120 60 100 60 20 20
Scores 350 720 320 880 550 350 240 420 280 150
01a

253 1120 1 9 (expected value)

7.95 2.00 4.98 3.98 (confidence rate)

253 676 1 9
TXTT
V--:-- / 50
253 ? 1 ?
T-T-
---:-- / 60
253 1120 1 9
TTTT
---:-- / 80
253 1120 1 9
TTTT
---:-- / 80
253 ? ? ?
T---
---:-- / 50
253 ? ? ?
T---
---:-- / 50
DNF

0
253 ? 1 9
T-TT
---:P- / 70
253 ? 1 9
T-TT
---:-- / 70
253 ? ? ?
T---
---:-M / 50
01b

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

5.48 1.98 3.48 2.48 (confidence rate)

CC

0
4.8882E+0007 ? 1 ?
T-T-
---:-- / 60
CC

0
4.8882E+0007 3.5442E+0008 1 9
TTTT
---:-- / 80
4.8882E+0007 ? ? ?
T---
---:-- / 50
4.8882E+0007 ? ? ?
T---
---:-- / 50
4.8882E+0007 3.5442E+0008 1 9
TTTT
---:PM / 80
4.8882E+0007 ? 1 9
T-TT
---:-- / 70
CC

0
DNF

0
02a

6949 55285 1 15 (expected value)

7.95 2.00 4.98 3.98 (confidence rate)

6949 30649 1 15
TXTT
V--:-- / 50
6949 ? 1 ?
T-T-
---:-- / 60
6949 55285 1 15
TTTT
---:-- / 80
6949 55285 1 15
TTTT
---:-- / 80
6949 ? ? ?
T---
---:-- / 50
6949 ? ? ?
T---
---:-- / 50
DNF

0
6949 ? 1 15
T-TT
---:P- / 70
6949 ? 1 15
T-TT
---:-M / 70
6949 ? ? ?
T---
---:-- / 50
02b

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

3.98 1.98 2.98 1.98 (confidence rate)

CC

0
1.6155E+0013 ? 1 ?
T-T-
---:-- / 60
CC

0
1.6155E+0013 2.0351E+0014 1 15
TTTT
---:-- / 80
1.6155E+0013 ? ? ?
T---
---:P- / 50
CC

0
1.6155E+0013 2.0351E+0014 1 15
TTTT
---:-M / 80
DNF

0
CC

0
DNF

0
03a

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

7.95 2.00 4.98 3.98 (confidence rate)

1.5768E+0005 9.7686E+0005 1 21
TXTT
V--:-- / 50
1.5768E+0005 ? 1 ?
T-T-
---:-- / 60
1.5768E+0005 1.8212E+0006 1 21
TTTT
---:P- / 80
1.5768E+0005 1.8212E+0006 1 21
TTTT
---:-- / 80
1.5768E+0005 ? ? ?
T---
---:-- / 50
1.5768E+0005 ? ? ?
T---
---:-- / 50
DNF

0
1.5768E+0005 ? 1 21
T-TT
---:-M / 70
1.5768E+0005 ? 1 21
T-TT
---:-- / 70
1.5768E+0005 ? ? ?
T---
---:-- / 50
03b

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

2.98 0.98 1.98 0.98 (confidence rate)

CC

0
4.0962E+0018 ? 1 ?
T-T-
---:-- / 60
CC

0
DNF

0
4.0962E+0018 ? ? ?
T---
---:-- / 50
CC

0
4.0962E+0018 7.3643E+0019 1 21
TTTT
---:PM / 80
DNF

0
CC

0
DNF

0
04a

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

6.97 2.00 4.98 3.98 (confidence rate)

3.3320E+0006 2.6685E+0007 1 27
TXTT
V--:-- / 50
3.3320E+0006 ? 1 ?
T-T-
---:-- / 60
3.3320E+0006 5.0619E+0007 1 27
TTTT
---:-- / 80
3.3320E+0006 5.0619E+0007 1 27
TTTT
---:-- / 80
3.3320E+0006 ? ? ?
T---
---:P- / 50
3.3320E+0006 ? ? ?
T---
---:-M / 50
DNF

0
3.3320E+0006 ? 1 27
T-TT
---:-- / 70
3.3320E+0006 ? 1 27
T-TT
---:-- / 70
DNF

0
04b

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
DNF

0
DNF

0
CC

0
DNF

0
DNF

0
CC

0
DNF

0
05a

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

5.47 1.00 3.48 2.48 (confidence rate)

6.8180E+0007 6.7091E+0008 1 33
TXTT
V--:-- / 50
6.8180E+0007 ? 1 ?
T-T-
---:-- / 60
CC

0
6.8180E+0007 1.2862E+0009 1 33
TTTT
---:-- / 80
6.8180E+0007 ? ? ?
T---
---:P- / 50
6.8180E+0007 ? ? ?
T---
---:-M / 50
DNF

0
6.8180E+0007 ? 1 33
T-TT
---:-- / 70
CC

0
DNF

0
05b

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
DNF

0
DNF

0
CC

0
DNF

0
DNF

0
CC

0
DNF

0
06a

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

4.98 1.00 2.98 1.98 (confidence rate)

1.3719E+0009 1.6027E+0010 1 39
TXTT
V--:-- / 50
1.3719E+0009 ? 1 ?
T-T-
---:-- / 60
CC

0
1.3719E+0009 3.0943E+0010 1 39
TTTT
---:-- / 80
1.3719E+0009 ? ? ?
T---
---:P- / 50
1.3719E+0009 ? ? ?
T---
---:-M / 50
DNF

0
DNF

0
CC

0
DNF

0
06b

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
DNF

0
DNF

0
CC

0
DNF

0
DNF

0
CC

0
DNF

0
12a

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

3.98 1.00 2.98 1.98 (confidence rate)

7.8221E+0016 1.7804E+0018 1 75
TXTT
V--:-- / 50
7.8221E+0016 ? 1 ?
T-T-
---:-- / 60
CC

0
7.8221E+0016 3.4975E+0018 1 75
TTTT
---:P- / 80
7.8221E+0016 ? ? ?
T---
---:-M / 50
CC

0
DNF

0
DNF

0
CC

0
DNF

0
12b

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
DNF

0
DNF

0
CC

0
DNF

0
DNF

0
CC

0
CC

0
24a

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

3.00 1.00 2.00 1.00 (confidence rate)

CC

0
1.6997E+0032 ? 1 ?
T-T-
---:-- / 60
CC

0
1.6997E+0032 1.5091E+0034 1 147
TTTT
---:P- / 80
1.6997E+0032 ? ? ?
T---
---:-M / 50
CC

0
DNF

0
DNF

0
CC

0
DNF

0
24b

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
DNF

0
DNF

0
CC

0
DNF

0
DNF

0
CC

0
CC

0
48a

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

2.00 1.00 2.00 1.00 (confidence rate)

CC

0
1.6136E+0051 ? 1 ?
T-T-
---:P- / 60
CC

0
1.6136E+0051 2.3370E+0053 1 257
TTTT
---:-M / 80
DNF

0
CC

0
DNF

0
DNF

0
CC

0
CC

0
48b

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
96a

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
DNF

0
DNF

0
CC

0
DNF

0
DNF

0
CC

0
CC

0
96b

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
CloudDeployment — P/T
  ITS-Tools LTSMin Tapaal(PAR) Marcie pnmc PNXDD Smart Tapaal(EXP) Tapaal(SEQ) ydd-pt
Total 150 360 160 480 550 100 0 290 210 100
Bonuses 0 0 0 0 200 0 0 80 0 0
Scores 150 360 160 480 350 100 0 210 210 100
2a

4807 87600 1 9 (expected value)

6.97 2.00 4.00 3.00 (confidence rate)

CC

0
4807 ? 1 ?
T-T-
---:-- / 60
4807 87600 1 9
TTTT
---:-- / 80
4807 87600 1 9
TTTT
---:-- / 80
4807 ? ? ?
T---
---:-- / 50
4807 ? ? ?
T---
---:-- / 50
DNF

0
4807 ? 1 9
T-TT
---:PM / 70
4807 ? 1 9
T-TT
---:-- / 70
4807 ? ? ?
T---
---:-- / 50
2b

1.6766E+0011 ? ? ? (expected value)

1.00 0 0 0 (confidence rate)

CC

0
DNF

0
CC

0
DNF

0
1.6766E+0011 ? ? ?
T???
---:PM / 50
CC

0
DNF

0
DNF

0
CC

0
DNF

0
3a

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

6.97 2.00 4.00 3.00 (confidence rate)

CC

0
1.9010E+0005 ? 1 ?
T-T-
---:-- / 60
1.9010E+0005 7.6981E+0006 1 13
TTTT
---:-- / 80
1.9010E+0005 7.6981E+0006 1 13
TTTT
---:-- / 80
1.9010E+0005 ? ? ?
T---
---:P- / 50
1.9010E+0005 ? ? ?
T---
---:-- / 50
DNF

0
1.9010E+0005 ? 1 13
T-TT
---:-M / 70
1.9010E+0005 ? 1 13
T-TT
---:-- / 70
1.9010E+0005 ? ? ?
T---
---:-- / 50
3b

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
DNF

0
DNF

0
CC

0
DNF

0
DNF

0
CC

0
DNF

0
4a

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

4.00 1.00 3.00 2.00 (confidence rate)

CC

0
7.0910E+0006 ? 1 ?
T-T-
---:-- / 60
CC

0
7.0910E+0006 5.0860E+0008 1 17
TTTT
---:-- / 80
7.0910E+0006 ? ? ?
T---
---:P- / 50
CC

0
DNF

0
7.0910E+0006 ? 1 17
T-TT
---:-M / 70
7.0910E+0006 ? 1 17
T-TT
---:-- / 70
DNF

0
4b

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
DNF

0
DNF

0
CC

0
DNF

0
DNF

0
CC

0
CC

0
5a

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

3.98 1.00 2.98 1.98 (confidence rate)

2.4883E+0008 2.4202E+0009 1 21
TXTT
V--:-- / 50
2.4883E+0008 ? 1 ?
T-T-
---:-- / 60
CC

0
2.4883E+0008 2.7853E+0010 1 21
TTTT
---:-- / 80
2.4883E+0008 ? ? ?
T---
---:PM / 50
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
5b

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
DNF

0
DNF

0
CC

0
DNF

0
DNF

0
CC

0
CC

0
6a

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

3.98 1.00 2.98 1.98 (confidence rate)

8.3047E+0009 9.3741E+0010 1 25
TXTT
V--:-- / 50
8.3047E+0009 ? 1 ?
T-T-
---:-- / 60
CC

0
8.3047E+0009 1.3382E+0012 1 25
TTTT
---:-- / 80
8.3047E+0009 ? ? ?
T---
---:PM / 50
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
6b

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
7a

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

3.98 1.00 2.98 1.98 (confidence rate)

2.6648E+0011 3.4245E+0012 1 29
TXTT
V--:-- / 50
2.6648E+0011 ? 1 ?
T-T-
---:-- / 60
CC

0
2.6648E+0011 5.8448E+0013 1 29
TTTT
---:-- / 80
2.6648E+0011 ? ? ?
T---
---:PM / 50
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
7b

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
DNF

0
DNF

0
CC

0
DES — P/T
  ITS-Tools LTSMin Tapaal(PAR) Marcie pnmc PNXDD Smart Tapaal(EXP) Tapaal(SEQ) ydd-pt
Total 270 420 0 800 1360 100 400 70 0 0
Bonuses 0 0 0 0 560 0 80 0 0 0
Scores 270 420 0 800 800 100 320 70 0 0
00a

2.4197E+0010 2.9310E+0011 1 47 (expected value)

4.98 1.00 2.98 1.98 (confidence rate)

2.4197E+0010 2.5688E+0011 1 47
TXTT
V--:-- / 50
2.4197E+0010 ? 1 ?
T-T-
---:-- / 60
CC

0
2.4197E+0010 2.9310E+0011 1 47
TTTT
---:-- / 80
2.4197E+0010 ? ? ?
T---
---:PM / 50
2.4197E+0010 ? ? ?
T---
---:-- / 50
DNF

0
DNF

0
CC

0
DNF

0
00b

2.4601E+0019 4.4365E+0020 1 47 (expected value)

2.98 0.98 1.98 0.98 (confidence rate)

CC

0
2.4601E+0019 ? 1 ?
T-T-
---:-- / 60
CC

0
DNF

0
2.4601E+0019 ? ? ?
T---
---:P- / 50
CC

0
2.4601E+0019 4.4365E+0020 1 47
TTTT
---:-M / 80
DNF

0
CC

0
DNF

0
01a

1.0858E+0008 1.2134E+0009 1 48 (expected value)

5.47 1.00 3.48 2.48 (confidence rate)

1.0858E+0008 9.8247E+0008 1 48
TXTT
V--:-- / 50
1.0858E+0008 ? 1 ?
T-T-
---:-- / 60
CC

0
1.0858E+0008 1.2134E+0009 1 48
TTTT
---:-- / 80
1.0858E+0008 ? ? ?
T---
---:PM / 50
1.0858E+0008 ? ? ?
T---
---:-- / 50
DNF

0
1.0858E+0008 ? 1 48
T-TT
---:-- / 70
CC

0
DNF

0
01b

2.0127E+0017 3.5377E+0018 1 51 (expected value)

2.98 0.98 1.98 0.98 (confidence rate)

CC

0
2.0127E+0017 ? 1 ?
T-T-
---:-- / 60
CC

0
DNF

0
2.0127E+0017 ? ? ?
T---
---:P- / 50
CC

0
2.0127E+0017 3.5377E+0018 1 51
TTTT
---:-M / 80
DNF

0
CC

0
DNF

0
02a

4.9532E+0009 5.9186E+0010 1 51 (expected value)

3.98 1.00 2.98 1.98 (confidence rate)

4.9532E+0009 4.9642E+0010 1 51
TXTT
V--:-- / 50
4.9532E+0009 ? 1 ?
T-T-
---:-- / 60
CC

0
4.9532E+0009 5.9186E+0010 1 51
TTTT
---:-- / 80
4.9532E+0009 ? ? ?
T---
---:PM / 50
CC

0
DNF

0
DNF

0
CC

0
DNF

0
02b

7.1021E+0018 1.2674E+0020 1 51 (expected value)

2.98 0.98 1.98 0.98 (confidence rate)

CC

0
7.1021E+0018 ? 1 ?
T-T-
---:-- / 60
CC

0
DNF

0
7.1021E+0018 ? ? ?
T---
---:P- / 50
CC

0
7.1021E+0018 1.2674E+0020 1 51
TTTT
---:-M / 80
DNF

0
CC

0
DNF

0
05a

2.3100E+0011 2.8039E+0012 1 51 (expected value)

2.98 1.00 1.98 1.98 (confidence rate)

2.3100E+0011 2.4280E+0012 1 51
TXTT
V--:-- / 50
CC

0
CC

0
2.3100E+0011 2.8039E+0012 1 51
TTTT
---:-- / 80
2.3100E+0011 ? ? ?
T---
---:PM / 50
CC

0
DNF

0
DNF

0
CC

0
DNF

0
05b

2.6140E+0020 4.7052E+0021 1 51 (expected value)

2.98 0.98 1.98 0.98 (confidence rate)

CC

0
2.6140E+0020 ? 1 ?
T-T-
---:-- / 60
CC

0
DNF

0
2.6140E+0020 ? ? ?
T---
---:P- / 50
CC

0
2.6140E+0020 4.7052E+0021 1 51
TTTT
---:-M / 80
DNF

0
CC

0
DNF

0
10a

1.6003E+0012 1.9392E+0013 1 51 (expected value)

2.98 1.00 1.98 1.98 (confidence rate)

1.6003E+0012 ? 1 51
T-TT
---:-- / 70
DNF

0
CC

0
1.6003E+0012 1.9392E+0013 1 51
TTTT
---:-- / 80
1.6003E+0012 ? ? ?
T---
---:PM / 50
CC

0
DNF

0
DNF

0
CC

0
DNF

0
10b

1.6887E+0021 ? ? ? (expected value)

1.00 0 0 0 (confidence rate)

CC

0
DNF

0
CC

0
DNF

0
1.6887E+0021 ? ? ?
T???
---:PM / 50
CC

0
DNF

0
DNF

0
CC

0
DNF

0
20a

7.9693E+0012 9.6542E+0013 1 51 (expected value)

2.00 1.00 1.00 1.00 (confidence rate)

CC

0
DNF

0
CC

0
7.9693E+0012 9.6542E+0013 1 51
TTTT
---:-- / 80
7.9694E+0012 ? ? ?
T---
---:PM / 50
CC

0
DNF

0
DNF

0
CC

0
DNF

0
20b

8.2277E+0021 ? ? ? (expected value)

1.00 0 0 0 (confidence rate)

CC

0
DNF

0
CC

0
DNF

0
8.2277E+0021 ? ? ?
T???
---:PM / 50
CC

0
DNF

0
DNF

0
CC

0
DNF

0
30a

1.9178E+0013 2.3231E+0014 1 51 (expected value)

2.00 1.00 1.00 1.00 (confidence rate)

CC

0
DNF

0
CC

0
1.9178E+0013 2.3231E+0014 1 51
TTTT
---:-- / 80
1.9178E+0013 ? ? ?
T---
---:PM / 50
CC

0
DNF

0
DNF

0
CC

0
DNF

0
30b

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
DNF

0
DNF

0
CC

0
DNF

0
DNF

0
CC

0
DNF

0
40a

3.5226E+0013 4.2670E+0014 1 51 (expected value)

2.00 1.00 1.00 1.00 (confidence rate)

CC

0
DNF

0
CC

0
3.5226E+0013 4.2670E+0014 1 51
TTTT
---:-- / 80
3.5226E+0013 ? ? ?
T---
---:PM / 50
CC

0
DNF

0
DNF

0
CC

0
DNF

0
40b

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
DNF

0
DNF

0
CC

0
DNF

0
DNF

0
CC

0
DNF

0
50a

5.6113E+0013 6.7971E+0014 1 51 (expected value)

2.00 1.00 1.00 1.00 (confidence rate)

CC

0
DNF

0
CC

0
5.6113E+0013 6.7971E+0014 1 51
TTTT
---:-- / 80
5.6113E+0013 ? ? ?
T---
---:PM / 50
CC

0
DNF

0
DNF

0
CC

0
DNF

0
50b

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
DNF

0
DNF

0
CC

0
DNF

0
DNF

0
CC

0
DNF

0
60a

8.1839E+0013 9.9133E+0014 1 51 (expected value)

2.00 1.00 1.00 1.00 (confidence rate)

CC

0
DNF

0
CC

0
8.1839E+0013 9.9133E+0014 1 51
TTTT
---:-- / 80
8.1839E+0013 ? ? ?
T---
---:PM / 50
CC

0
DNF

0
DNF

0
CC

0
DNF

0
60b

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
DNF

0
DNF

0
CC

0
DNF

0
DNF

0
CC

0
DNF

0
DLCshifumi — P/T
  ITS-Tools LTSMin Tapaal(PAR) Marcie pnmc PNXDD Smart Tapaal(EXP) Tapaal(SEQ) ydd-pt
Total 50 60 0 80 430 70 0 0 0 0
Bonuses 0 0 0 0 180 20 0 0 0 0
Scores 50 60 0 80 250 50 0 0 0 0
2a

4.7476E+0014 5.0962E+0016 1 79 (expected value)

4.98 1.00 2.98 1.98 (confidence rate)

4.7476E+0014 1.2167E+0016 1 79
TXTT
V--:-- / 50
4.7476E+0014 ? 1 ?
T-T-
---:-- / 60
CC

0
4.7476E+0014 5.0962E+0016 1 79
TTTT
---:-- / 80
4.7476E+0014 ? ? ?
T---
---:P- / 50
4.7476E+0014 ? ? ?
T---
---:-M / 50
DNF

0
DNF

0
CC

0
DNF

0
2b

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
3a

9.0954E+0035 ? ? ? (expected value)

1.00 0 0 0 (confidence rate)

CC

0
DNF

0
CC

0
DNF

0
9.0954E+0035 ? ? ?
T???
---:PM / 50
CC

0
DNF

0
DNF

0
CC

0
CC

0
3b

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
4a

2.4119E+0067 ? ? ? (expected value)

1.00 0 0 0 (confidence rate)

CC

0
DNF

0
CC

0
DNF

0
2.4119E+0067 ? ? ?
T???
---:PM / 50
CC

0
DNF

0
DNF

0
CC

0
CC

0
4b

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
DNF

0
DNF

0
CC

0
CC

0
DNF

0
DNF

0
CC

0
5a

8.8524E+0108 ? ? ? (expected value)

1.00 0 0 0 (confidence rate)

CC

0
DNF

0
CC

0
DNF

0
8.8524E+0108 ? ? ?
T???
---:PM / 50
CC

0
DNF

0
DNF

0
CC

0
CC

0
5b

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
DNF

0
DNF

0
CC

0
CC

0
DNF

0
CC

0
CC

0
6a

4.4972E+0160 ? ? ? (expected value)

1.00 0 0 0 (confidence rate)

CC

0
DNF

0
CC

0
DNF

0
4.4972E+0160 ? ? ?
T???
---:PM / 50
CC

0
CC

0
DNF

0
CC

0
CC

0
6b

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
CC

0
DNF

0
CC

0
CC

0
DNF

0
CC

0
CC

0
DNAwalker — P/T
  ITS-Tools LTSMin Tapaal(PAR) Marcie pnmc PNXDD Smart Tapaal(EXP) Tapaal(SEQ) ydd-pt
Total 1680 1020 240 880 1430 350 0 550 550 0
Bonuses 320 0 0 0 240 0 0 60 60 0
Scores 1360 1020 240 880 1190 350 0 490 490 0
01track12Block1

3795 13149 2 13 (expected value)

6.97 2.98 5.98 4.98 (confidence rate)

3795 13149 2 13
TTTT
---:-- / 80
3795 ? 2 ?
T-T-
---:-- / 60
3795 13149 2 13
TTTT
---:-- / 80
3795 13149 2 13
TTTT
---:-- / 80
3795 ? 2 13
T-TT
---:-- / 70
3795 ? ? ?
T---
---:-- / 50
DNF

0
3795 ? 2 13
T-TT
---:PM / 70
3795 ? 2 13
T-TT
---:-- / 70
CC

0
02track12Block2

5459 21642 2 13 (expected value)

6.97 2.98 5.98 4.98 (confidence rate)

5459 21642 2 13
TTTT
---:-- / 80
5459 ? 2 ?
T-T-
---:-- / 60
5459 21642 2 13
TTTT
---:-- / 80
5459 21642 2 13
TTTT
---:-- / 80
5459 ? 2 13
T-TT
---:-- / 70
5459 ? ? ?
T---
---:-- / 50
DNF

0
5459 ? 2 13
T-TT
---:-- / 70
5459 ? 2 13
T-TT
---:PM / 70
CC

0
03track12BlockBoth

5248 20281 2 13 (expected value)

6.97 2.98 5.98 4.98 (confidence rate)

5248 20281 2 13
TTTT
---:-- / 80
5248 ? 2 ?
T-T-
---:-- / 60
5248 20281 2 13
TTTT
---:-- / 80
5248 20281 2 13
TTTT
---:-- / 80
5248 ? 2 13
T-TT
---:-- / 70
5248 ? ? ?
T---
---:-- / 50
DNF

0
5248 ? 2 13
T-TT
---:-M / 70
5248 ? 2 13
T-TT
---:P- / 70
CC

0
04track28LL

4.3288E+0008 2.9619E+0009 2 29 (expected value)

4.98 1.98 3.98 2.98 (confidence rate)

4.3288E+0008 2.9619E+0009 2 29
TTTT
---:-M / 80
4.3288E+0008 ? 2 ?
T-T-
---:-- / 60
CC

0
4.3288E+0008 2.9619E+0009 2 29
TTTT
---:-- / 80
4.3288E+0008 ? 2 29
T-TT
---:P- / 70
4.3289E+0008 ? ? ?
T---
---:-- / 50
DNF

0
DNF

0
CC

0
CC

0
05track28LR

4.3534E+0008 2.9839E+0009 2 29 (expected value)

4.98 1.98 3.98 2.98 (confidence rate)

4.3534E+0008 2.9839E+0009 2 29
TTTT
---:-M / 80
4.3534E+0008 ? 2 ?
T-T-
---:-- / 60
CC

0
4.3534E+0008 2.9839E+0009 2 29
TTTT
---:-- / 80
4.3534E+0008 ? 2 29
T-TT
---:P- / 70
4.3534E+0008 ? ? ?
T---
---:-- / 50
DNF

0
DNF

0
CC

0
CC

0
06track28RL

4.3534E+0008 2.9839E+0009 2 29 (expected value)

4.98 1.98 3.98 2.98 (confidence rate)

4.3534E+0008 2.9839E+0009 2 29
TTTT
---:-M / 80
4.3534E+0008 ? 2 ?
T-T-
---:-- / 60
CC

0
4.3534E+0008 2.9839E+0009 2 29
TTTT
---:-- / 80
4.3534E+0008 ? 2 29
T-TT
---:P- / 70
4.3534E+0008 ? ? ?
T---
---:-- / 50
DNF

0
DNF

0
CC

0
CC

0
07track28RR

4.3288E+0008 2.9619E+0009 2 29 (expected value)

4.98 1.98 3.98 2.98 (confidence rate)

4.3288E+0008 2.9619E+0009 2 29
TTTT
---:-M / 80
4.3288E+0008 ? 2 ?
T-T-
---:-- / 60
CC

0
4.3288E+0008 2.9619E+0009 2 29
TTTT
---:-- / 80
4.3288E+0008 ? 2 29
T-TT
---:P- / 70
4.3289E+0008 ? ? ?
T---
---:-- / 50
DNF

0
DNF

0
CC

0
CC

0
08ringLL

2.7951E+0007 2.3702E+0008 2 22 (expected value)

4.98 1.98 4.98 3.98 (confidence rate)

2.7951E+0007 2.3702E+0008 2 22
TTTT
---:-M / 80
2.7951E+0007 ? 2 ?
T-T-
---:-- / 60
CC

0
2.7951E+0007 2.3702E+0008 2 22
TTTT
---:-- / 80
2.7951E+0007 ? 2 22
T-TT
---:P- / 70
CC

0
DNF

0
2.7951E+0007 ? 2 22
T-TT
---:-- / 70
2.7951E+0007 ? 2 22
T-TT
---:-- / 70
CC

0
09ringLR

2.8210E+0007 2.4089E+0008 2 22 (expected value)

4.98 1.98 4.98 3.98 (confidence rate)

2.8210E+0007 2.4089E+0008 2 22
TTTT
---:-M / 80
2.8210E+0007 ? 2 ?
T-T-
---:-- / 60
CC

0
2.8210E+0007 2.4089E+0008 2 22
TTTT
---:-- / 80
2.8210E+0007 ? 2 22
T-TT
---:P- / 70
CC

0
DNF

0
2.8210E+0007 ? 2 22
T-TT
---:-- / 70
2.8210E+0007 ? 2 22
T-TT
---:-- / 70
CC

0
10ringRL

2.7951E+0007 2.3702E+0008 2 22 (expected value)

4.98 1.98 4.98 3.98 (confidence rate)

2.7951E+0007 2.3702E+0008 2 22
TTTT
---:-M / 80
2.7951E+0007 ? 2 ?
T-T-
---:-- / 60
CC

0
2.7951E+0007 2.3702E+0008 2 22
TTTT
---:-- / 80
2.7951E+0007 ? 2 22
T-TT
---:P- / 70
CC

0
DNF

0
2.7951E+0007 ? 2 22
T-TT
---:-- / 70
2.7951E+0007 ? 2 22
T-TT
---:-- / 70
CC

0
11ringRR

2.8210E+0007 2.4089E+0008 2 22 (expected value)

4.98 1.98 4.98 3.98 (confidence rate)

2.8210E+0007 2.4089E+0008 2 22
TTTT
---:-M / 80
2.8210E+0007 ? 2 ?
T-T-
---:-- / 60
CC

0
2.8210E+0007 2.4089E+0008 2 22
TTTT
---:-- / 80
2.8210E+0007 ? 2 22
T-TT
---:P- / 70
CC

0
DNF

0
2.8210E+0007 ? 2 22
T-TT
---:-- / 70
2.8210E+0007 ? 2 22
T-TT
---:-- / 70
CC

0
12ringLLLarge

1.8854E+0009 1.5271E+0010 2 28 (expected value)

2.98 0.98 2.98 1.98 (confidence rate)

1.8854E+0009 1.5271E+0010 2 28
TTTT
---:-M / 80
1.8854E+0009 ? 2 ?
T-T-
---:-- / 60
CC

0
DNF

0
1.8854E+0009 ? 2 28
T-TT
---:P- / 70
CC

0
DNF

0
CC

0
CC

0
CC

0
13ringRLLarge

1.8854E+0009 1.5271E+0010 2 28 (expected value)

2.98 0.98 2.98 1.98 (confidence rate)

1.8854E+0009 1.5271E+0010 2 28
TTTT
---:-M / 80
1.8854E+0009 ? 2 ?
T-T-
---:-- / 60
CC

0
DNF

0
1.8854E+0009 ? 2 28
T-TT
---:P- / 70
CC

0
DNF

0
CC

0
CC

0
CC

0
14ringLRLarge

1.8609E+0009 1.5025E+0010 2 28 (expected value)

2.98 0.98 2.98 1.98 (confidence rate)

1.8609E+0009 1.5025E+0010 2 28
TTTT
---:-M / 80
1.8609E+0009 ? 2 ?
T-T-
---:-- / 60
CC

0
DNF

0
1.8609E+0009 ? 2 28
T-TT
---:P- / 70
CC

0
DNF

0
CC

0
CC

0
CC

0
15ringRRLarge

1.8609E+0009 1.5025E+0010 2 28 (expected value)

2.98 0.98 2.98 1.98 (confidence rate)

1.8609E+0009 1.5025E+0010 2 28
TTTT
---:-M / 80
1.8609E+0009 ? 2 ?
T-T-
---:-- / 60
CC

0
DNF

0
1.8609E+0009 ? 2 28
T-TT
---:P- / 70
CC

0
DNF

0
DNF

0
CC

0
CC

0
16redondantChoiceR

8.0032E+0011 9.9050E+0012 2 34 (expected value)

2.98 0.98 2.98 1.98 (confidence rate)

8.0032E+0011 9.9050E+0012 2 34
TTTT
---:PM / 80
8.0032E+0011 ? 2 ?
T-T-
---:-- / 60
CC

0
DNF

0
8.0032E+0011 ? 2 34
T-TT
---:-- / 70
CC

0
DNF

0
DNF

0
CC

0
CC

0
17redondantChoiceL

8.0032E+0011 9.9050E+0012 2 34 (expected value)

2.98 0.98 2.98 1.98 (confidence rate)

8.0032E+0011 9.9050E+0012 2 34
TTTT
---:PM / 80
8.0032E+0011 ? 2 ?
T-T-
---:-- / 60
CC

0
DNF

0
8.0032E+0011 ? 2 34
T-TT
---:-- / 70
CC

0
DNF

0
DNF

0
CC

0
CC

0
18lozangeBlock

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
CC

0
DNF

0
CC

0
DNF

0
DNF

0
CC

0
CC

0
GPPP — P/T
  ITS-Tools LTSMin Tapaal(PAR) Marcie pnmc PNXDD Smart Tapaal(EXP) Tapaal(SEQ) ydd-pt
Total 340 420 30 1410 680 0 0 230 70 0
Bonuses 100 0 0 320 120 0 0 20 40 0
Scores 240 420 30 1090 560 0 0 210 30 0
C0001N0000000001

10380 42408 11 41 (expected value)

5.98 2.98 5.98 4.98 (confidence rate)

10380 42408 11 41
TTTT
---:-- / 80
10380 ? 11 ?
T-T-
---:-- / 60
10380 42408 11 41
TTTT
---:-- / 80
10380 42408 11 41
TTTT
---:-- / 80
10380 ? 11 41
T-TT
---:-- / 70
CC

0
CC

0
10380 ? 11 41
T-TT
---:-- / 70
10380 ? 11 41
T-TT
---:PM / 70
CC

0
C0001N0000000010

1.6553E+0006 9.5557E+0006 47 133 (expected value)

5.98 2.98 5.98 4.98 (confidence rate)

1.6553E+0006 9.5557E+0006 47 133
TTTT
---:-- / 80
1.6553E+0006 ? 47 ?
T-T-
---:-- / 60
1.6553E+0006 9.5557E+0006 47 133
TTTT
---:-- / 80
1.6553E+0006 9.5557E+0006 47 133
TTTT
---:-- / 80
1.6553E+0006 ? 47 133
T-TT
---:P- / 70
CC

0
CC

0
1.6553E+0006 ? 47 133
T-TT
---:-M / 70
1.6553E+0006 ? 47 133
T-TT
---:-- / 70
CC

0
C0001N0000000100

1.4548E+0008 8.6974E+0008 407 1033 (expected value)

4.48 1.98 4.48 3.48 (confidence rate)

1.4548E+0008 8.6974E+0008 407 1033
TTTT
---:-M / 80
1.4548E+0008 ? 407 ?
T-T-
---:-- / 60
CC

0
1.4548E+0008 8.6974E+0008 407 1033
TTTT
---:P- / 80
1.4548E+0008 ? 407 1033
T-TT
---:-- / 70
CC

0
CC

0
1.4548E+0008 ? 407 1033
T-TT
---:-- / 70
CC

0
CC

0
C0001N0000001000

1.4354E+0010 8.6140E+0010 4007 10033 (expected value)

2.00 1.00 2.00 2.00 (confidence rate)

CC

0
CC

0
CC

0
1.4354E+0010 8.6140E+0010 4007 10033
TTTT
---:P- / 80
1.4354E+0010 ? 4007 10033
T-TT
---:-M / 70
CC

0
CC

0
DNF

0
CC

0
CC

0
C0001N0000010000

2 1 20000 30011 (expected value)

0.98 0.98 0.98 0.98 (confidence rate)

2 1 20000 30011
TTTT
---:PM / 80
CC

0
CC

0
CC

0
DNF

0
CC

0
CC

0
DNF

0
CC

0
CC

0
C0001N0000100000

4.0488E+0006 1.6211E+0007 6791 7 (expected value)

0.98 0.98 0.98 0.98 (confidence rate)

4.0488E+0006 1.6211E+0007 6791 7
TTTT
---:PM / 80
CC

0
CC

0
CC

0
DNF

0
CC

0
CC

0
CC

0
CC

0
CC

0
C0010N0000000010

2.3537E+0010 2.1047E+0011 110 404 (expected value)

3.00 1.00 3.00 2.00 (confidence rate)

CC

0
2.3537E+0010 ? 110 ?
T-T-
---:-- / 60
CC

0
2.3537E+0010 2.1047E+0011 110 404
TTTT
---:P- / 80
2.3537E+0010 ? 110 404
T-TT
---:-M / 70
CC

0
CC

0
DNF

0
CC

0
CC

0
C0010N0000000100

1.7689E+0011 1.6421E+0012 407 1280 (expected value)

3.00 1.00 3.00 2.00 (confidence rate)

CC

0
1.7689E+0011 ? 407 ?
T-T-
---:-- / 60
CC

0
1.7689E+0011 1.6421E+0012 407 1280
TTTT
---:P- / 80
1.7689E+0011 ? 407 1280
T-TT
---:-M / 70
CC

0
CC

0
CC

0
CC

0
CC

0
C0010N1000000000

1.7689E+0011 1.6421E+0012 4.0000E+0009 4.1007E+0008 (expected value)

1.00 1.00 1.00 1.50 (confidence rate)

CC

0
CC

0
2 1 2.0000E+0009 4.1007E+0008
XXXT
V--:-- / -130
1.7689E+0011 1.6421E+0012 4.0000E+0009 9.0000E+0009
TTTX
V--:-- / 50
CC

0
CC

0
CC

0
CC

0
1 ? BAD_NEG_VALUE 4.1007E+0008
X-XT
V--:-- / -110
CC

0
C0100N0000000010

1.4185E+0010 1.1983E+0011 740 3103 (expected value)

3.00 1.00 3.00 2.00 (confidence rate)

CC

0
1.4185E+0010 ? 740 ?
T-T-
---:-- / 60
CC

0
1.4185E+0010 1.1983E+0011 740 3103
TTTT
---:P- / 80
1.4185E+0010 ? 740 3103
T-TT
---:-M / 70
CC

0
CC

0
CC

0
CC

0
CC

0
C0100N0000000100

2.4540E+0015 2.3484E+0016 1100 4004 (expected value)

1.00 1.00 1.00 1.00 (confidence rate)

CC

0
DNF

0
CC

0
2.4540E+0015 2.3484E+0016 1100 4004
TTTT
---:PM / 80
DNF

0
CC

0
CC

0
CC

0
CC

0
CC

0
C0100N0000001000

2.0293E+0016 1.9832E+0017 4007 12800 (expected value)

1.00 1.00 1.00 1.00 (confidence rate)

CC

0
DNF

0
CC

0
2.0293E+0016 1.9832E+0017 4007 12800
TTTT
---:PM / 80
DNF

0
CC

0
CC

0
CC

0
CC

0
CC

0
C0100N0000010000

2.0293E+0016 1.9832E+0017 40007 93800 (expected value)

1.00 1.00 1.00 1.00 (confidence rate)

2 1 20000 31100
XXXX
V--:-- / -160
DNF

0
CC

0
2.0293E+0016 1.9832E+0017 40007 93800
TTTT
---:PM / 80
DNF

0
CC

0
CC

0
CC

0
CC

0
CC

0
C0100N0000100000

2.0293E+0016 1.9832E+0017 4.0001E+0005 9.0380E+0005 (expected value)

1.00 1.00 1.00 1.00 (confidence rate)

CC

0
DNF

0
CC

0
2.0293E+0016 1.9832E+0017 4.0001E+0005 9.0380E+0005
TTTT
---:PM / 80
DNF

0
CC

0
CC

0
CC

0
CC

0
CC

0
C1000N0000000010

1.4185E+0010 1.1983E+0011 7040 30103 (expected value)

3.00 1.00 3.00 2.00 (confidence rate)

CC

0
1.4185E+0010 ? 7040 ?
T-T-
---:-- / 60
CC

0
1.4185E+0010 1.1983E+0011 7040 30103
TTTT
---:P- / 80
1.4185E+0010 ? 7040 30103
T-TT
---:-M / 70
CC

0
CC

0
CC

0
CC

0
CC

0
C1000N0000000100

1.1406E+0015 1.0253E+0016 7400 31003 (expected value)

1.00 1.00 1.00 1.00 (confidence rate)

CC

0
DNF

0
CC

0
1.1406E+0015 1.0253E+0016 7400 31003
TTTT
---:PM / 80
DNF

0
CC

0
CC

0
CC

0
CC

0
CC

0
C1000N0000001000

? (expected value)

0 (confidence rate)

CC

0
CC

0
CC

0
CC

0
DNF

0
CC

0
CC

0
CC

0
CC

0
CC

0
HypertorusGrid — P/T
  ITS-Tools LTSMin Tapaal(PAR) Marcie pnmc PNXDD Smart Tapaal(EXP) Tapaal(SEQ) ydd-pt
Total 260 120 80 260 140 100 200 90 90 0
Bonuses 20 0 0 20 0 0 40 20 20 0
Scores 240 120 80 240 140 100 160 70 70 0
d2k1p8b00

87552 6.6763E+0005 32 36 (expected value)

7.96 3.97 6.97 5.97 (confidence rate)

87552 6.6763E+0005 32 36
TTTT
---:-- / 80
87552 ? 32 ?
T-T-
---:-- / 60
87552 6.6763E+0005 32 36
TTTT
---:-- / 80
87552 6.6763E+0005 32 36
TTTT
---:-- / 80
87552 ? 32 36
T-TT
---:-- / 70
87552 ? ? ?
T---
---:-- / 50
87552 6.6763E+0005 32 36
TTTT
---:-- / 80
87552 ? 32 36
T-TT
---:-M / 70
87552 ? 32 36
T-TT
---:P- / 70
CC

0
d2k2p1b00

5.1737E+0010 9.2167E+0011 4 32 (expected value)

5.96 2.97 4.97 3.97 (confidence rate)

5.1737E+0010 9.2167E+0011 4 32
TTTT
---:-- / 80
5.1737E+0010 ? 4 ?
T-T-
---:-- / 60
CC

0
5.1737E+0010 9.2167E+0011 4 32
TTTT
---:-- / 80
5.1737E+0010 ? 4 32
T-TT
---:-- / 70
5.1737E+0010 ? ? ?
T---
---:-- / 50
5.1737E+0010 9.2167E+0011 4 32
TTTT
---:PM / 80
DNF

0
CC

0
CC

0
d2k3p2b04

5.4758E+0035 3.0194E+0037 12 144 (expected value)

1.98 1.98 1.98 1.98 (confidence rate)

5.4758E+0035 3.0194E+0037 12 144
TTTT
---:P- / 80
DNF

0
CC

0
5.4758E+0035 3.0194E+0037 12 144
TTTT
---:-M / 80
DNF

0
CC

0
DNF

0
CC

0
CC

0
CC

0
d3k3p2b06

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
DNF

0
DNF

0
CC

0
DNF

0
CC

0
CC

0
CC

0
d4k3p2b08

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
DNF

0
DNF

0
CC

0
DNF

0
CC

0
CC

0
CC

0
d5k3p2b10

? (expected value)

0 (confidence rate)

CC

0
CC

0
CC

0
DNF

0
DNF

0
CC

0
CC

0
CC

0
CC

0
CC

0
PaceMaker — P/T
  ITS-Tools LTSMin Tapaal(PAR) Marcie pnmc PNXDD Smart Tapaal(EXP) Tapaal(SEQ) ydd-pt
Total 100 60 0 80 90 50 0 0 0 0
Bonuses 20 0 0 0 20 0 0 0 0 0
Scores 80 60 0 80 70 50 0 0 0 0
none

3.6803E+0017 8.0565E+0018 949 18085 (expected value)

4.98 1.98 3.98 2.98 (confidence rate)

3.6803E+0017 8.0565E+0018 949 18085
TTTT
---:-M / 80
3.6803E+0017 ? 949 ?
T-T-
---:-- / 60
CC

0
3.6803E+0017 8.0565E+0018 949 18085
TTTT
---:-- / 80
3.6803E+0017 ? 949 18085
T-TT
---:P- / 70
3.6803E+0017 ? ? ?
T---
---:-- / 50
DNF

0
CC

0
CC

0
CC

0
TCPcondis — P/T
  ITS-Tools LTSMin Tapaal(PAR) Marcie pnmc PNXDD Smart Tapaal(EXP) Tapaal(SEQ) ydd-pt
Total 0 180 80 240 270 50 220 70 70 0
Bonuses 0 0 0 0 60 0 60 0 0 0
Scores 0 180 80 240 210 50 160 70 70 0
05

2.9858E+0006 2.4899E+0007 5 20 (expected value)

6.98 2.98 5.98 4.98 (confidence rate)

CC

0
2.9858E+0006 ? 5 ?
T-T-
---:-- / 60
2.9858E+0006 2.4899E+0007 5 20
TTTT
---:-- / 80
2.9858E+0006 2.4899E+0007 5 20
TTTT
---:-- / 80
2.9858E+0006 ? 5 20
T-TT
---:-- / 70
2.9858E+0006 ? ? ?
T---
---:-- / 50
2.9858E+0006 2.4899E+0007 5 20
TTTT
---:PM / 80
2.9858E+0006 ? 5 20
T-TT
---:-- / 70
2.9858E+0006 ? 5 20
T-TT
---:-- / 70
CC

0
10

1.3762E+0010 1.8925E+0011 10 40 (expected value)

3.98 1.98 3.98 2.98 (confidence rate)

CC

0
1.3762E+0010 ? 10 ?
T-T-
---:-- / 60
CC

0
1.3762E+0010 1.8925E+0011 10 40
TTTT
---:-- / 80
1.3762E+0010 ? 10 40
T-TT
---:P- / 70
CC

0
1.3762E+0010 1.8925E+0011 10 40
TTTT
---:-M / 80
DNF

0
CC

0
CC

0
15

5.3971E+0012 9.3109E+0013 15 60 (expected value)

3.00 1.00 3.00 2.00 (confidence rate)

CC

0
5.3971E+0012 ? 15 ?
T-T-
---:-- / 60
CC

0
5.3971E+0012 9.3109E+0013 15 60
TTTT
---:-- / 80
5.3971E+0012 ? 15 60
T-TT
---:PM / 70
CC

0
DNF

0
DNF

0
CC

0
CC

0
20

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
DNF

0
DNF

0
CC

0
DNF

0
DNF

0
CC

0
CC

0
25

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
DNF

0
DNF

0
CC

0
DNF

0
DNF

0
CC

0
CC

0
30

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
DNF

0
DNF

0
CC

0
DNF

0
DNF

0
CC

0
CC

0
35

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
DNF

0
DNF

0
CC

0
DNF

0
DNF

0
CC

0
CC

0
40

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
DNF

0
DNF

0
CC

0
DNF

0
DNF

0
CC

0
CC

0
50

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
DNF

0
DNF

0
CC

0
DNF

0
DNF

0
CC

0
CC

0
TriangularGrid — P/T
  ITS-Tools LTSMin Tapaal(PAR) Marcie pnmc PNXDD Smart Tapaal(EXP) Tapaal(SEQ) ydd-pt
Total 400 240 180 400 390 150 480 160 180 0
Bonuses 0 0 20 0 40 0 80 20 40 0
Scores 400 240 160 400 350 150 400 140 140 0
1200

1.0955E+0005 5.6671E+0005 60 66 (expected value)

7.96 3.97 6.97 5.97 (confidence rate)

1.0955E+0005 5.6671E+0005 60 66
TTTT
---:-- / 80
1.0955E+0005 ? 60 ?
T-T-
---:-- / 60
1.0955E+0005 5.6671E+0005 60 66
TTTT
---:-- / 80
1.0955E+0005 5.6671E+0005 60 66
TTTT
---:-- / 80
1.0955E+0005 ? 60 66
T-TT
---:-- / 70
1.0955E+0005 ? ? ?
T---
---:-- / 50
1.0955E+0005 5.6671E+0005 60 66
TTTT
---:-- / 80
1.0955E+0005 ? 60 66
T-TT
---:-- / 70
1.0955E+0005 ? 60 66
T-TT
---:PM / 70
CC

0
1500

7.0571E+0005 3.6836E+0006 150 156 (expected value)

7.96 3.97 6.97 5.97 (confidence rate)

7.0571E+0005 3.6836E+0006 150 156
TTTT
---:-- / 80
7.0571E+0005 ? 150 ?
T-T-
---:-- / 60
7.0571E+0005 3.6836E+0006 150 156
TTTT
---:P- / 80
7.0571E+0005 3.6836E+0006 150 156
TTTT
---:-- / 80
7.0571E+0005 ? 150 156
T-TT
---:-- / 70
7.0571E+0005 ? ? ?
T---
---:-- / 50
7.0571E+0005 3.6836E+0006 150 156
TTTT
---:-- / 80
7.0571E+0005 ? 150 156
T-TT
---:-M / 70
7.0571E+0005 ? 150 156
T-TT
---:-- / 70
CC

0
2011

9.4010E+0008 1.0543E+0010 4 34 (expected value)

5.96 2.97 4.97 3.97 (confidence rate)

9.4010E+0008 1.0543E+0010 4 34
TTTT
---:-- / 80
9.4010E+0008 ? 4 ?
T-T-
---:-- / 60
CC

0
9.4010E+0008 1.0543E+0010 4 34
TTTT
---:-- / 80
9.4010E+0008 ? 4 34
T-TT
---:-- / 70
9.4010E+0008 ? ? ?
T---
---:-- / 50
9.4010E+0008 1.0543E+0010 4 34
TTTT
---:PM / 80
DNF

0
CC

0
CC

0
3011

2.8468E+0020 6.9469E+0021 4 72 (expected value)

4.97 2.97 4.97 3.97 (confidence rate)

2.8468E+0020 6.9469E+0021 4 72
TTTT
---:-- / 80
2.8468E+0020 ? 4 ?
T-T-
---:-- / 60
CC

0
2.8468E+0020 6.9469E+0021 4 72
TTTT
---:-- / 80
2.8468E+0020 ? 4 72
T-TT
---:P- / 70
CC

0
2.8468E+0020 6.9469E+0021 4 72
TTTT
---:-M / 80
DNF

0
CC

0
CC

0
3026

3.7522E+0028 1.2333E+0030 12 144 (expected value)

3.97 2.97 3.97 3.97 (confidence rate)

3.7522E+0028 1.2333E+0030 12 144
TTTT
---:-- / 80
DNF

0
CC

0
3.7522E+0028 1.2333E+0030 12 144
TTTT
---:-- / 80
3.7522E+0028 ? 12 144
T-TT
---:P- / 70
CC

0
3.7522E+0028 1.2333E+0030 12 144
TTTT
---:-M / 80
CC

0
CC

0
CC

0
4022

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
DNF

0
DNF

0
CC

0
DNF

0
CC

0
CC

0
CC

0
5020

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
DNF

0
DNF

0
CC

0
DNF

0
CC

0
CC

0
CC

0
5046

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
DNF

0
DNF

0
CC

0
DNF

0
CC

0
CC

0
CC

0

All «Stripped» models
 
  ITS-Tools LTSMin Tapaal(PAR) Marcie pnmc PNXDD Smart Tapaal(EXP) Tapaal(SEQ) ydd-pt
Total Points 14034 6576 4128 12888 9336 2916 7152 5424 4470 1134
ARMCacheCoherence (stripped) — P/T
  ITS-Tools LTSMin Tapaal(PAR) Marcie pnmc PNXDD Smart Tapaal(EXP) Tapaal(SEQ) ydd-pt
Total 30 36 0 48 54 0 0 0 0 0
Bonuses 0 0 0 0 24 0 0 0 0 0
Scores 30 36 0 48 30 0 0 0 0 0
none

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

3.98 1.00 2.98 1.98 (confidence rate)

3.2057E+0008 3.8110E+0009 1 12
TXTT
V--:-- / 30
3.2057E+0008 ? 1 ?
T-T-
---:-- / 36
DNF

0
3.2057E+0008 2.2340E+0010 1 12
TTTT
---:-- / 48
3.2057E+0008 ? ? ?
T---
---:PM / 30
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
Angiogenesis (stripped) — P/T
  ITS-Tools LTSMin Tapaal(PAR) Marcie pnmc PNXDD Smart Tapaal(EXP) Tapaal(SEQ) ydd-pt
Total 234 216 48 216 126 30 180 96 96 30
Bonuses 0 36 0 24 0 0 36 12 12 0
Scores 234 180 48 192 126 30 144 84 84 30
01

110 288 1 8 (expected value)

8.94 3.97 6.97 5.97 (confidence rate)

110 288 1 8
TTTT
---:-- / 48
110 ? 1 ?
T-T-
---:-- / 36
110 288 1 8
TTTT
---:-- / 48
110 288 1 8
TTTT
---:-- / 48
110 ? 1 8
T-TT
---:-- / 42
110 ? ? ?
T---
---:-- / 30
110 288 1 8
TTTT
---:-- / 48
110 ? 1 8
T-TT
---:P- / 42
110 ? 1 8
T-TT
---:-M / 42
110 ? ? ?
T---
---:-- / 30
05

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

5.97 2.97 5.97 4.97 (confidence rate)

4.2735E+0007 4.8687E+0008 5 40
TTTT
---:-- / 48
4.2735E+0007 ? 5 ?
T-T-
---:-- / 36
CC

0
4.2735E+0007 4.8687E+0008 5 40
TTTT
---:-- / 48
4.2735E+0007 ? 5 40
T-TT
---:-- / 42
CC

0
4.2735E+0007 4.8687E+0008 5 40
TTTT
---:PM / 48
4.2735E+0007 ? 5 40
T-TT
---:-- / 42
4.2735E+0007 ? 5 40
T-TT
---:-- / 42
CC

0
10

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

4.97 2.97 4.97 3.97 (confidence rate)

8.2265E+0011 1.5636E+0013 10 80
TTTT
---:-- / 48
8.2265E+0011 ? 10 ?
T-T-
---:-- / 36
CC

0
8.2265E+0011 1.5636E+0013 10 80
TTTT
---:P- / 48
8.2265E+0011 ? 10 80
T-TT
---:-- / 42
CC

0
8.2265E+0011 1.5636E+0013 10 80
TTTT
---:-M / 48
DNF

0
CC

0
CC

0
15

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

2.98 1.98 2.98 1.98 (confidence rate)

1.1155E+0015 2.7474E+0016 15 120
TTTT
---:-- / 48
1.1155E+0015 ? 15 ?
T-T-
---:P- / 36
CC

0
1.1155E+0015 2.7474E+0016 15 120
TTTT
---:-M / 48
DNF

0
CC

0
DNF

0
DNF

0
CC

0
CC

0
20

3.5182E+0017 ? 20 160 (expected value)

1.98 0 1.98 0.98 (confidence rate)

3.5182E+0017 ? 20 160
T?TT
---:-- / 42
3.5182E+0017 ? 20 ?
T?T-
---:PM / 36
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
CC

0
CC

0
25

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
DNF

0
DNF

0
CC

0
DNF

0
DNF

0
CC

0
CC

0
50

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
CC

0
CC

0
BridgeAndVehicles (stripped) — Colored
  ITS-Tools LTSMin Tapaal(PAR) Marcie pnmc PNXDD Smart Tapaal(EXP) Tapaal(SEQ) ydd-pt
Total 576 0 0 384 0 0 0 0 0 0
Bonuses 192 0 0 0 0 0 0 0 0 0
Scores 384 0 0 384 0 0 0 0 0 0
V04P05N02

2874 7160 5 17 (expected value)

1.98 1.98 1.98 1.98 (confidence rate)

2874 7160 5 17
TTTT
---:PM / 48
DNC DNC 2874 7160 5 17
TTTT
---:-- / 48
DNC DNC DNC DNC DNC DNC
V10P10N10

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

1.98 1.98 1.98 1.98 (confidence rate)

2.5956E+0005 8.2128E+0005 10 34
TTTT
---:PM / 48
DNC DNC 2.5956E+0005 8.2128E+0005 10 34
TTTT
---:-- / 48
DNC DNC DNC DNC DNC DNC
V20P10N10

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

1.98 1.98 1.98 1.98 (confidence rate)

6.7326E+0006 2.3489E+0007 20 54
TTTT
---:PM / 48
DNC DNC 6.7326E+0006 2.3489E+0007 20 54
TTTT
---:-- / 48
DNC DNC DNC DNC DNC DNC
V20P10N20

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

1.98 1.98 1.98 1.98 (confidence rate)

9.0763E+0006 3.1773E+0007 20 54
TTTT
---:PM / 48
DNC DNC 9.0763E+0006 3.1773E+0007 20 54
TTTT
---:-- / 48
DNC DNC DNC DNC DNC DNC
V20P10N50

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

1.98 1.98 1.98 1.98 (confidence rate)

9.0809E+0006 3.1786E+0007 20 54
TTTT
---:PM / 48
DNC DNC 9.0809E+0006 3.1786E+0007 20 54
TTTT
---:-- / 48
DNC DNC DNC DNC DNC DNC
V20P20N10

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

1.98 1.98 1.98 1.98 (confidence rate)

6.7326E+0006 2.3489E+0007 20 64
TTTT
---:PM / 48
DNC DNC 6.7326E+0006 2.3489E+0007 20 64
TTTT
---:-- / 48
DNC DNC DNC DNC DNC DNC
V20P20N20

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

1.98 1.98 1.98 1.98 (confidence rate)

9.7836E+0006 3.4321E+0007 20 64
TTTT
---:PM / 48
DNC DNC 9.7836E+0006 3.4321E+0007 20 64
TTTT
---:-- / 48
DNC DNC DNC DNC DNC DNC
V20P20N50

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

1.98 1.98 1.98 1.98 (confidence rate)

9.7923E+0006 3.4346E+0007 20 64
TTTT
---:PM / 48
DNC DNC 9.7923E+0006 3.4346E+0007 20 64
TTTT
---:-- / 48
DNC DNC DNC DNC DNC DNC
V50P20N10

? (expected value)

0 (confidence rate)

CC

0
DNC DNC DNF

0
DNC DNC DNC DNC DNC DNC
V50P20N20

? (expected value)

0 (confidence rate)

CC

0
DNC DNC DNF

0
DNC DNC DNC DNC DNC DNC
V50P20N50

? (expected value)

0 (confidence rate)

CC

0
DNC DNC DNF

0
DNC DNC DNC DNC DNC DNC
V50P50N10

? (expected value)

0 (confidence rate)

CC

0
DNC DNC DNF

0
DNC DNC DNC DNC DNC DNC
V50P50N20

? (expected value)

0 (confidence rate)

CC

0
DNC DNC DNF

0
DNC DNC DNC DNC DNC DNC
V50P50N50

? (expected value)

0 (confidence rate)

CC

0
DNC DNC DNF

0
DNC DNC DNC DNC DNC DNC
V80P20N10

? (expected value)

0 (confidence rate)

CC

0
DNC DNC DNF

0
DNC DNC DNC DNC DNC DNC
V80P20N20

? (expected value)

0 (confidence rate)

CC

0
DNC DNC DNF

0
DNC DNC DNC DNC DNC DNC
V80P20N50

? (expected value)

0 (confidence rate)

CC

0
DNC DNC DNF

0
DNC DNC DNC DNC DNC DNC
V80P50N10

? (expected value)

0 (confidence rate)

CC

0
DNC DNC DNF

0
DNC DNC DNC DNC DNC DNC
V80P50N20

? (expected value)

0 (confidence rate)

CC

0
DNC DNC DNF

0
DNC DNC DNC DNC DNC DNC
V80P50N50

? (expected value)

0 (confidence rate)

CC

0
DNC DNC DNF

0
DNC DNC DNC DNC DNC DNC
BridgeAndVehicles (stripped) — P/T
  ITS-Tools LTSMin Tapaal(PAR) Marcie pnmc PNXDD Smart Tapaal(EXP) Tapaal(SEQ) ydd-pt
Total 192 144 204 480 552 0 0 480 336 0
Bonuses 0 0 12 0 132 0 0 144 0 0
Scores 192 144 192 480 420 0 0 336 336 0
V04P05N02

2874 7160 5 17 (expected value)

5.98 2.98 5.98 4.98 (confidence rate)

2874 7160 5 17
TTTT
---:-- / 48
2874 ? 5 ?
T-T-
---:-- / 36
2874 7160 5 17
TTTT
---:-- / 48
2874 7160 5 17
TTTT
---:-- / 48
2874 ? 5 17
T-TT
---:-- / 42
CC

0
DNF

0
2874 ? 5 17
T-TT
---:PM / 42
2874 ? 5 17
T-TT
---:-- / 42
CC

0
V10P10N10

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

5.98 2.98 5.98 4.98 (confidence rate)

2.5956E+0005 8.2128E+0005 10 34
TTTT
---:-- / 48
2.5956E+0005 ? 10 ?
T-T-
---:-- / 36
2.5956E+0005 8.2128E+0005 10 34
TTTT
---:-- / 48
2.5956E+0005 8.2128E+0005 10 34
TTTT
---:-- / 48
2.5956E+0005 ? 10 34
T-TT
---:-- / 42
CC

0
DNF

0
2.5956E+0005 ? 10 34
T-TT
---:PM / 42
2.5956E+0005 ? 10 34
T-TT
---:-- / 42
CC

0
V20P10N10

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

5.98 2.98 5.98 4.98 (confidence rate)

6.7326E+0006 2.3489E+0007 20 54
TTTT
---:-- / 48
6.7326E+0006 ? 20 ?
T-T-
---:-- / 36
6.7326E+0006 2.3489E+0007 20 54
TTTT
---:-- / 48
6.7326E+0006 2.3489E+0007 20 54
TTTT
---:-- / 48
6.7326E+0006 ? 20 54
T-TT
---:P- / 42
CC

0
DNF

0
6.7326E+0006 ? 20 54
T-TT
---:-M / 42
6.7326E+0006 ? 20 54
T-TT
---:-- / 42
CC

0
V20P10N20

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

3.00 1.00 3.00 3.00 (confidence rate)

CC

0
DNF

0
CC

0
9.0763E+0006 3.1773E+0007 20 54
TTTT
---:-- / 48
9.0763E+0006 ? 20 54
T-TT
---:P- / 42
CC

0
DNF

0
9.0763E+0006 ? 20 54
T-TT
---:-M / 42
9.0763E+0006 ? 20 54
T-TT
---:-- / 42
CC

0
V20P10N50

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

2.00 1.00 2.00 2.00 (confidence rate)

CC

0
DNF

0
CC

0
9.0809E+0006 3.1786E+0007 20 54
TTTT
---:-- / 48
DNF

0
CC

0
DNF

0
9.0809E+0006 ? 20 54
T-TT
---:PM / 42
9.0809E+0006 ? 20 54
T-TT
---:-- / 42
CC

0
V20P20N10

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

5.98 2.98 5.98 4.98 (confidence rate)

6.7326E+0006 2.3489E+0007 20 64
TTTT
---:-- / 48
6.7326E+0006 ? 20 ?
T-T-
---:-- / 36
6.7326E+0006 2.3489E+0007 20 64
TTTT
---:P- / 48
6.7326E+0006 2.3489E+0007 20 64
TTTT
---:-- / 48
6.7326E+0006 ? 20 64
T-TT
---:-- / 42
CC

0
DNF

0
6.7326E+0006 ? 20 64
T-TT
---:-M / 42
6.7326E+0006 ? 20 64
T-TT
---:-- / 42
CC

0
V20P20N20

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

3.00 1.00 3.00 3.00 (confidence rate)

CC

0
DNF

0
CC

0
9.7836E+0006 3.4321E+0007 20 64
TTTT
---:-- / 48
9.7836E+0006 ? 20 64
T-TT
---:P- / 42
CC

0
DNF

0
9.7836E+0006 ? 20 64
T-TT
---:-M / 42
9.7836E+0006 ? 20 64
T-TT
---:-- / 42
CC

0
V20P20N50

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

2.00 1.00 2.00 2.00 (confidence rate)

CC

0
DNF

0
CC

0
9.7923E+0006 3.4346E+0007 20 64
TTTT
---:-- / 48
DNF

0
CC

0
DNF

0
9.7923E+0006 ? 20 64
T-TT
---:PM / 42
9.7923E+0006 ? 20 64
T-TT
---:-- / 42
CC

0
V50P20N10

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

2.00 1.00 2.00 2.00 (confidence rate)

CC

0
DNF

0
CC

0
3.4763E+0008 1.2717E+0009 50 124
TTTT
---:-- / 48
3.4763E+0008 ? 50 124
T-TT
---:PM / 42
CC

0
DNF

0
DNF

0
CC

0
CC

0
V50P20N20

8.9629E+0008 ? 50 124 (expected value)

1.00 0 1.00 1.00 (confidence rate)

CC

0
DNF

0
CC

0
DNF

0
8.9629E+0008 ? 50 124
T?TT
---:PM / 42
CC

0
DNF

0
DNF

0
DNF

0
CC

0
V50P20N50

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
V50P50N10

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

2.00 1.00 2.00 2.00 (confidence rate)

CC

0
DNF

0
CC

0
3.4763E+0008 1.2717E+0009 50 154
TTTT
---:-- / 48
3.4763E+0008 ? 50 154
T-TT
---:PM / 42
CC

0
DNF

0
DNF

0
CC

0
CC

0
V50P50N20

8.9629E+0008 ? 50 154 (expected value)

1.00 0 1.00 1.00 (confidence rate)

CC

0
DNF

0
CC

0
DNF

0
8.9629E+0008 ? 50 154
T?TT
---:PM / 42
CC

0
DNF

0
DNF

0
DNF

0
CC

0
V50P50N50

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
V80P20N10

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
V80P20N20

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
V80P20N50

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
V80P50N10

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
V80P50N20

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
V80P50N50

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
CSRepetitions (stripped) — Colored
  ITS-Tools LTSMin Tapaal(PAR) Marcie pnmc PNXDD Smart Tapaal(EXP) Tapaal(SEQ) ydd-pt
Total 216 0 0 96 0 0 0 0 0 0
Bonuses 72 0 0 0 0 0 0 0 0 0
Scores 144 0 0 96 0 0 0 0 0 0
02

7424 37088 2 8 (expected value)

1.98 1.98 1.98 1.98 (confidence rate)

7424 37088 2 8
TTTT
---:PM / 48
DNC DNC 7424 37088 2 8
TTTT
---:-- / 48
DNC DNC DNC DNC DNC DNC
03

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

1.98 1.98 1.98 1.98 (confidence rate)

1.3407E+0008 1.2939E+0009 3 15
TTTT
---:PM / 48
DNC DNC 1.3407E+0008 1.2939E+0009 3 15
TTTT
---:-- / 48
DNC DNC DNC DNC DNC DNC
04

3.0948E+0013 4.7136E+0014 4 24 (expected value)

0.98 0.98 0.98 0.98 (confidence rate)

3.0948E+0013 4.7136E+0014 4 24
TTTT
---:PM / 48
DNC DNC DNF

0
DNC DNC DNC DNC DNC DNC
05

? (expected value)

0 (confidence rate)

CC

0
DNC DNC DNF

0
DNC DNC DNC DNC DNC DNC
07

? (expected value)

0 (confidence rate)

CC

0
DNC DNC DNF

0
DNC DNC DNC DNC DNC DNC
10

? (expected value)

0 (confidence rate)

CC

0
DNC DNC DNF

0
DNC DNC DNC DNC DNC DNC
CSRepetitions (stripped) — P/T
  ITS-Tools LTSMin Tapaal(PAR) Marcie pnmc PNXDD Smart Tapaal(EXP) Tapaal(SEQ) ydd-pt
Total 192 168 48 96 126 60 0 42 66 0
Bonuses 48 24 0 0 0 0 0 0 24 0
Scores 144 144 48 96 126 60 0 42 42 0
02

7424 37088 2 8 (expected value)

6.97 2.98 5.98 4.98 (confidence rate)

7424 37088 2 8
TTTT
---:-- / 48
7424 ? 2 ?
T-T-
---:-- / 36
7424 37088 2 8
TTTT
---:-- / 48
7424 37088 2 8
TTTT
---:-- / 48
7424 ? 2 8
T-TT
---:-- / 42
7424 ? ? ?
T---
---:-- / 30
DNF

0
7424 ? 2 8
T-TT
---:-- / 42
7424 ? 2 8
T-TT
---:PM / 42
CC

0
03

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

4.98 1.98 3.98 2.98 (confidence rate)

1.3407E+0008 1.2939E+0009 3 15
TTTT
---:PM / 48
1.3407E+0008 ? 3 ?
T-T-
---:-- / 36
CC

0
1.3407E+0008 1.2939E+0009 3 15
TTTT
---:-- / 48
1.3407E+0008 ? 3 15
T-TT
---:-- / 42
1.3408E+0008 ? ? ?
T---
---:-- / 30
DNF

0
DNF

0
CC

0
CC

0
04

3.0948E+0013 4.7136E+0014 4 24 (expected value)

2.98 0.98 2.98 1.98 (confidence rate)

3.0948E+0013 4.7136E+0014 4 24
TTTT
---:PM / 48
3.0948E+0013 ? 4 ?
T-T-
---:-- / 36
CC

0
DNF

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

0
DNF

0
DNF

0
CC

0
CC

0
05

6.5491E+0019 ? 5 ? (expected value)

1.00 0 1.00 0 (confidence rate)

CC

0
6.5491E+0019 ? 5 ?
T?T?
---:PM / 36
CC

0
DNF

0
DNF

0
CC

0
DNF

0
DNF

0
CC

0
CC

0
07

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
DNF

0
DNF

0
CC

0
DNF

0
DNF

0
CC

0
CC

0
10

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
CC

0
CC

0
CircadianClock (stripped) — P/T
  ITS-Tools LTSMin Tapaal(PAR) Marcie pnmc PNXDD Smart Tapaal(EXP) Tapaal(SEQ) ydd-pt
Total 288 108 96 276 168 102 0 120 96 30
Bonuses 48 0 0 36 0 12 0 36 12 0
Scores 240 108 96 240 168 90 0 84 84 30
000001

128 624 1 7 (expected value)

7.95 2.98 5.98 4.98 (confidence rate)

128 624 1 7
TTTT
---:-- / 48
128 ? 1 ?
T-T-
---:-- / 36
128 624 1 7
TTTT
---:-- / 48
128 624 1 7
TTTT
---:-- / 48
128 ? 1 7
T-TT
---:-- / 42
128 ? ? ?
T---
---:-- / 30
DNF

0
128 ? 1 7
T-TT
---:PM / 42
128 ? 1 7
T-TT
---:-- / 42
128 ? ? ?
T---
---:-- / 30
000010

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

6.97 2.98 5.98 4.98 (confidence rate)

6.4420E+0005 6.7663E+0006 10 52
TTTT
---:-- / 48
6.4420E+0005 ? 10 ?
T-T-
---:-- / 36
6.4420E+0005 6.7663E+0006 10 52
TTTT
---:-- / 48
6.4420E+0005 6.7663E+0006 10 52
TTTT
---:-- / 48
6.4420E+0005 ? 10 52
T-TT
---:-- / 42
6.4420E+0005 ? ? ?
T---
---:-- / 30
DNF

0
6.4420E+0005 ? 10 52
T-TT
---:-M / 42
6.4420E+0005 ? 10 52
T-TT
---:P- / 42
CC

0
000100

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

4.98 1.98 3.98 2.98 (confidence rate)

4.2040E+0010 4.9743E+0011 100 502
TTTT
---:P- / 48
4.2040E+0010 ? 100 ?
T-T-
---:-- / 36
CC

0
4.2040E+0010 4.9743E+0011 100 502
TTTT
---:-- / 48
4.2040E+0010 ? 100 502
T-TT
---:-- / 42
4.2040E+0010 ? ? ?
T---
---:-M / 30
DNF

0
DNF

0
DNF

0
CC

0
001000

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

2.98 1.98 2.98 2.98 (confidence rate)

4.0200E+0015 4.8172E+0016 1000 5002
TTTT
---:-M / 48
DNF

0
CC

0
4.0200E+0015 4.8172E+0016 1000 5002
TTTT
---:P- / 48
4.0200E+0015 ? 1000 5002
T-TT
---:-- / 42
DNF

0
DNF

0
DNF

0
DNF

0
CC

0
010000

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

1.00 1.00 1.00 1.00 (confidence rate)

CC

0
DNF

0
CC

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

0
DNF

0
DNF

0
DNF

0
CC

0
CC

0
100000

1 0 1 0 (expected value)

0.98 0.98 0.98 0.98 (confidence rate)

1 0 1 0
TTTT
---:PM / 48
DNF

0
CC

0
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
CC

0
CircularTrains (stripped) — P/T
  ITS-Tools LTSMin Tapaal(PAR) Marcie pnmc PNXDD Smart Tapaal(EXP) Tapaal(SEQ) ydd-pt
Total 336 180 96 288 126 60 456 96 120 0
Bonuses 0 0 0 0 0 0 120 12 36 0
Scores 336 180 96 288 126 60 336 84 84 0
012

195 496 2 12 (expected value)

7.96 3.97 6.97 5.97 (confidence rate)

195 496 2 12
TTTT
---:-- / 48
195 ? 2 ?
T-T-
---:-- / 36
195 496 2 12
TTTT
---:-- / 48
195 496 2 12
TTTT
---:-- / 48
195 ? 2 12
T-TT
---:-- / 42
195 ? ? ?
T---
---:-- / 30
195 496 2 12
TTTT
---:-- / 48
195 ? 2 12
T-TT
---:P- / 42
195 ? 2 12
T-TT
---:-M / 42
CC

0
024

86515 4.1168E+0005 2 24 (expected value)

7.96 3.97 6.97 5.97 (confidence rate)

86515 4.1168E+0005 2 24
TTTT
---:-- / 48
86515 ? 2 ?
T-T-
---:-- / 36
86515 4.1168E+0005 2 24
TTTT
---:-- / 48
86515 4.1168E+0005 2 24
TTTT
---:-- / 48
86515 ? 2 24
T-TT
---:-- / 42
86515 ? ? ?
T---
---:-- / 30
86515 4.1168E+0005 2 24
TTTT
---:-- / 48
86515 ? 2 24
T-TT
---:-- / 42
86515 ? 2 24
T-TT
---:PM / 42
CC

0
048

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

4.97 2.97 4.97 3.97 (confidence rate)

2.3973E+0010 2.2124E+0011 2 48
TTTT
---:-- / 48
2.3973E+0010 ? 2 ?
T-T-
---:-- / 36
CC

0
2.3973E+0010 2.2124E+0011 2 48
TTTT
---:-- / 48
2.3973E+0010 ? 2 48
T-TT
---:-- / 42
CC

0
2.3973E+0010 2.2124E+0011 2 48
TTTT
---:PM / 48
DNF

0
CC

0
CC

0
096

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

3.97 2.97 3.97 2.97 (confidence rate)

2.5913E+0021 4.7121E+0022 2 96
TTTT
---:-- / 48
2.5913E+0021 ? 2 ?
T-T-
---:-- / 36
CC

0
2.5913E+0021 4.7121E+0022 2 96
TTTT
---:-- / 48
DNF

0
CC

0
2.5913E+0021 4.7121E+0022 2 96
TTTT
---:PM / 48
DNF

0
CC

0
CC

0
192

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

3.97 2.97 3.97 2.97 (confidence rate)

4.2702E+0043 1.5416E+0045 2 192
TTTT
---:-- / 48
4.2702E+0043 ? 2 ?
T-T-
---:-- / 36
CC

0
4.2702E+0043 1.5416E+0045 2 192
TTTT
---:-- / 48
DNF

0
CC

0
4.2702E+0043 1.5416E+0045 2 192
TTTT
---:PM / 48
DNF

0
CC

0
CC

0
384

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

2.97 2.97 2.97 2.97 (confidence rate)

1.6377E+0088 1.1782E+0090 2 384
TTTT
---:-- / 48
DNF

0
CC

0
1.6377E+0088 1.1782E+0090 2 384
TTTT
---:-- / 48
DNF

0
CC

0
1.6377E+0088 1.1782E+0090 2 384
TTTT
---:PM / 48
DNF

0
CC

0
CC

0
768

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

1.97 1.97 1.97 1.97 (confidence rate)

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

0
CC

0
DNF

0
DNF

0
CC

0
3.4039E+0177 4.8887E+0179 2 768
TTTT
---:PM / 48
CC

0
CC

0
CC

0
DatabaseWithMutex (stripped) — Colored
  ITS-Tools LTSMin Tapaal(PAR) Marcie pnmc PNXDD Smart Tapaal(EXP) Tapaal(SEQ) ydd-pt
Total 0 0 0 144 0 0 0 0 0 0
Bonuses 0 0 0 48 0 0 0 0 0 0
Scores 0 0 0 96 0 0 0 0 0 0
02

153 312 1 6 (expected value)

1.00 1.00 1.00 1.00 (confidence rate)

153 276 1 6
TXTT
VC-:-- / -
DNC DNC 153 312 1 6
TTTT
---:PM / 48
DNC DNC DNC DNC DNC DNC
04

4.7179E+0009 3.9697E+0010 1 20 (expected value)

1.00 1.00 1.00 1.00 (confidence rate)

4.7179E+0009 3.9523E+0010 1 20
TXTT
VC-:-- / -
DNC DNC 4.7179E+0009 3.9697E+0010 1 20
TTTT
---:PM / 48
DNC DNC DNC DNC DNC DNC
10

? (expected value)

0 (confidence rate)

CC

0
DNC DNC DNF

0
DNC DNC DNC DNC DNC DNC
20

? (expected value)

0 (confidence rate)

CC

0
DNC DNC DNF

0
DNC DNC DNC DNC DNC DNC
40

? (expected value)

0 (confidence rate)

CC

0
DNC DNC CC

0
DNC DNC DNC DNC DNC DNC
DatabaseWithMutex (stripped) — P/T
  ITS-Tools LTSMin Tapaal(PAR) Marcie pnmc PNXDD Smart Tapaal(EXP) Tapaal(SEQ) ydd-pt
Total 0 72 48 96 108 30 48 54 42 42
Bonuses 0 0 0 0 24 0 0 12 0 12
Scores 0 72 48 96 84 30 48 42 42 30
02

153 312 1 6 (expected value)

7.95 2.98 5.98 4.98 (confidence rate)

153 312 1 6
TTTT
-C-:-- / -
153 ? 1 ?
T-T-
---:-- / 36
153 312 1 6
TTTT
---:-- / 48
153 312 1 6
TTTT
---:-- / 48
153 ? 1 6
T-TT
---:-- / 42
153 ? ? ?
T---
---:-- / 30
153 312 1 6
TTTT
---:-- / 48
153 ? 1 6
T-TT
---:P- / 42
153 ? 1 6
T-TT
---:-- / 42
153 ? ? ?
T---
---:-M / 30
04

4.7179E+0009 3.9697E+0010 1 20 (expected value)

3.00 1.00 3.00 2.00 (confidence rate)

4.7179E+0009 3.9697E+0010 1 20
TTTT
-C-:-- / -
4.7179E+0009 ? 1 ?
T-T-
---:-- / 36
CC

0
4.7179E+0009 3.9697E+0010 1 20
TTTT
---:-- / 48
4.7179E+0009 ? 1 20
T-TT
---:PM / 42
CC

0
DNF

0
DNF

0
CC

0
DNF

0
10

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
DNF

0
DNF

0
CC

0
DNF

0
DNF

0
CC

0
DNF

0
20

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
DNF

0
DNF

0
CC

0
DNF

0
DNF

0
CC

0
CC

0
40

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
CC

0
CC

0
CC

0
CC

0
DNF

0
CC

0
CC

0
Dekker (stripped) — P/T
  ITS-Tools LTSMin Tapaal(PAR) Marcie pnmc PNXDD Smart Tapaal(EXP) Tapaal(SEQ) ydd-pt
Total 306 72 108 156 84 60 0 162 138 30
Bonuses 72 0 12 12 0 0 0 36 12 0
Scores 234 72 96 144 84 60 0 126 126 30
010

6144 1.7153E+0005 1 20 (expected value)

7.95 2.00 5.98 4.98 (confidence rate)

6144 61440 1 20
TXTT
V--:-- / 30
6144 ? 1 ?
T-T-
---:-- / 36
6144 1.7153E+0005 1 20
TTTT
---:-- / 48
6144 1.7153E+0005 1 20
TTTT
---:-- / 48
6144 ? 1 20
T-TT
---:-- / 42
6144 ? ? ?
T---
---:-- / 30
DNF

0
6144 ? 1 20
T-TT
---:P- / 42
6144 ? 1 20
T-TT
---:-M / 42
6144 ? ? ?
T---
---:-- / 30
015

2.7853E+0005 1.6835E+0007 1 30 (expected value)

6.97 2.00 5.98 4.98 (confidence rate)

2.7853E+0005 4.1779E+0006 1 30
TXTT
V--:-- / 30
2.7853E+0005 ? 1 ?
T-T-
---:-- / 36
2.7853E+0005 1.6835E+0007 1 30
TTTT
---:P- / 48
2.7853E+0005 1.6835E+0007 1 30
TTTT
---:-- / 48
2.7853E+0005 ? 1 30
T-TT
---:-- / 42
2.7853E+0005 ? ? ?
T---
---:-- / 30
DNF

0
2.7853E+0005 ? 1 30
T-TT
---:-M / 42
2.7853E+0005 ? 1 30
T-TT
---:-- / 42
DNF

0
020

1.1534E+0007 1.2163E+0009 1 40 (expected value)

2.98 1.00 2.98 2.98 (confidence rate)

1.1534E+0007 2.3069E+0008 1 40
TXTT
V--:-- / 30
DNF

0
CC

0
1.1534E+0007 1.2163E+0009 1 40
TTTT
---:P- / 48
DNF

0
CC

0
DNF

0
1.1534E+0007 ? 1 40
T-TT
---:-M / 42
1.1534E+0007 ? 1 40
T-TT
---:-- / 42
DNF

0
050

2.9273E+0016 1.4637E+0018 1 100 (expected value)

0.98 0.98 0.98 0.98 (confidence rate)

2.9273E+0016 1.4637E+0018 1 100
TTTT
---:PM / 48
DNF

0
CC

0
DNF

0
DNF

0
CC

0
DNF

0
DNF

0
CC

0
DNF

0
100

6.4650E+0031 6.4650E+0033 1 200 (expected value)

0.98 0.98 0.98 0.98 (confidence rate)

6.4650E+0031 6.4650E+0033 1 200
TTTT
---:PM / 48
DNF

0
CC

0
DNF

0
DNF

0
CC

0
DNF

0
DNF

0
CC

0
DNF

0
200

1.6230E+0062 3.2460E+0064 1 400 (expected value)

0.98 0.98 0.98 0.98 (confidence rate)

1.6230E+0062 3.2460E+0064 1 400
TTTT
---:PM / 48
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
DNF

0
CC

0
CC

0
Diffusion2D (stripped) — P/T
  ITS-Tools LTSMin Tapaal(PAR) Marcie pnmc PNXDD Smart Tapaal(EXP) Tapaal(SEQ) ydd-pt
Total 1260 288 0 912 1344 180 1176 0 0 0
Bonuses 60 0 0 0 336 0 228 0 0 0
Scores 1200 288 0 912 1008 180 948 0 0 0
D05N010

1.3113E+0008 5.5537E+0009 10 10 (expected value)

5.96 2.97 4.97 3.97 (confidence rate)

1.3113E+0008 5.5537E+0009 10 10
TTTT
---:-- / 48
1.3113E+0008 ? 10 ?
T-T-
---:-- / 36
CC

0
1.3113E+0008 5.5537E+0009 10 10
TTTT
---:-- / 48
1.3113E+0008 ? 10 10
T-TT
---:-- / 42
1.3113E+0008 ? ? ?
T---
---:-- / 30
1.3113E+0008 5.5537E+0009 10 10
TTTT
---:PM / 48
DNF

0
CC

0
CC

0
D05N050

1.7530E+0019 1.7056E+0021 50 50 (expected value)

5.96 2.97 4.97 3.97 (confidence rate)

1.7530E+0019 1.7056E+0021 50 50
TTTT
---:-- / 48
1.7530E+0019 ? 50 ?
T-T-
---:-- / 36
CC

0
1.7530E+0019 1.7056E+0021 50 50
TTTT
---:-- / 48
1.7530E+0019 ? 50 50
T-TT
---:-- / 42
1.7530E+0019 ? ? ?
T---
---:-- / 30
1.7530E+0019 1.7056E+0021 50 50
TTTT
---:PM / 48
DNF

0
CC

0
CC

0
D05N100

2.6011E+0025 3.0206E+0027 100 100 (expected value)

4.96 2.97 3.97 3.97 (confidence rate)

2.6011E+0025 3.0206E+0027 100 100
TTTT
---:-- / 48
DNF

0
CC

0
2.6011E+0025 3.0206E+0027 100 100
TTTT
---:-- / 48
2.6011E+0025 ? 100 100
T-TT
---:P- / 42
2.6011E+0025 ? ? ?
T---
---:-- / 30
2.6011E+0025 3.0206E+0027 100 100
TTTT
---:-M / 48
DNF

0
CC

0
CC

0
D05N150

1.8126E+0029 2.2501E+0031 150 150 (expected value)

3.97 2.97 3.97 3.97 (confidence rate)

1.8126E+0029 2.2501E+0031 150 150
TTTT
---:-- / 48
DNF

0
CC

0
1.8126E+0029 2.2501E+0031 150 150
TTTT
---:-- / 48
1.8126E+0029 ? 150 150
T-TT
---:P- / 42
DNF

0
1.8126E+0029 2.2501E+0031 150 150
TTTT
---:-M / 48
DNF

0
CC

0
CC

0
D05N200

1.1439E+0032 1.4707E+0034 200 200 (expected value)

3.97 2.97 3.97 3.97 (confidence rate)

1.1439E+0032 1.4707E+0034 200 200
TTTT
---:-- / 48
DNF

0
CC

0
1.1439E+0032 1.4707E+0034 200 200
TTTT
---:-- / 48
1.1439E+0032 ? 200 200
T-TT
---:P- / 42
DNF

0
1.1439E+0032 1.4707E+0034 200 200
TTTT
---:-M / 48
DNF

0
CC

0
CC

0
D05N250

1.8314E+0034 2.4062E+0036 250 250 (expected value)

3.97 2.97 3.97 3.97 (confidence rate)

1.8314E+0034 2.4062E+0036 250 250
TTTT
---:-- / 48
DNF

0
CC

0
1.8314E+0034 2.4062E+0036 250 250
TTTT
---:-- / 48
1.8314E+0034 ? 250 250
T-TT
---:P- / 42
DNF

0
1.8314E+0034 2.4062E+0036 250 250
TTTT
---:-M / 48
DNF

0
CC

0
CC

0
D05N300

1.2054E+0036 1.6072E+0038 300 300 (expected value)

3.97 2.97 3.97 3.97 (confidence rate)

1.2054E+0036 1.6072E+0038 300 300
TTTT
---:-- / 48
DNF

0
CC

0
1.2054E+0036 1.6072E+0038 300 300
TTTT
---:-- / 48
1.2054E+0036 ? 300 300
T-TT
---:P- / 42
DNF

0
1.2054E+0036 1.6072E+0038 300 300
TTTT
---:-M / 48
DNF

0
CC

0
CC

0
D05N350

4.2539E+0037 5.7325E+0039 350 350 (expected value)

3.97 2.97 3.97 3.97 (confidence rate)

4.2539E+0037 5.7325E+0039 350 350
TTTT
---:-- / 48
DNF

0
CC

0
4.2539E+0037 5.7325E+0039 350 350
TTTT
---:-- / 48
4.2539E+0037 ? 350 350
T-TT
---:P- / 42
DNF

0
4.2539E+0037 5.7325E+0039 350 350
TTTT
---:-M / 48
DNF

0
CC

0
CC

0
D10N010

4.2634E+0013 2.6754E+0015 10 10 (expected value)

5.96 2.97 4.97 3.97 (confidence rate)

4.2634E+0013 2.6754E+0015 10 10
TTTT
---:-- / 48
4.2634E+0013 ? 10 ?
T-T-
---:-- / 36
CC

0
4.2634E+0013 2.6754E+0015 10 10
TTTT
---:-- / 48
4.2634E+0013 ? 10 10
T-TT
---:-- / 42
4.2634E+0013 ? ? ?
T---
---:-- / 30
4.2634E+0013 2.6754E+0015 10 10
TTTT
---:PM / 48
DNF

0
CC

0
CC

0
D10N050

1.3419E+0040 3.0801E+0042 50 50 (expected value)

5.96 2.97 4.97 3.97 (confidence rate)

1.3419E+0040 3.0801E+0042 50 50
TTTT
---:-- / 48
1.3419E+0040 ? 50 ?
T-T-
---:-- / 36
CC

0
1.3419E+0040 3.0801E+0042 50 50
TTTT
---:-- / 48
1.3419E+0040 ? 50 50
T-TT
---:P- / 42
1.3419E+0040 ? ? ?
T---
---:-- / 30
1.3419E+0040 3.0801E+0042 50 50
TTTT
---:-M / 48
DNF

0
CC

0
CC

0
D10N100

4.5274E+0058 1.5562E+0061 100 100 (expected value)

3.97 2.97 3.97 3.97 (confidence rate)

4.5274E+0058 1.5562E+0061 100 100
TTTT
---:-- / 48
DNF

0
CC

0
4.5274E+0058 1.5562E+0061 100 100
TTTT
---:-- / 48
4.5274E+0058 ? 100 100
T-TT
---:P- / 42
DNF

0
4.5274E+0058 1.5562E+0061 100 100
TTTT
---:-M / 48
DNF

0
CC

0
CC

0
D10N150

2.4252E+0071 9.9930E+0073 150 150 (expected value)

3.97 2.97 3.97 3.97 (confidence rate)

2.4252E+0071 9.9930E+0073 150 150
TTTT
---:-- / 48
DNF

0
CC

0
2.4252E+0071 9.9930E+0073 150 150
TTTT
---:-- / 48
2.4252E+0071 ? 150 150
T-TT
---:P- / 42
DNF

0
2.4252E+0071 9.9930E+0073 150 150
TTTT
---:-M / 48
DNF

0
CC

0
CC

0
D10N200

1.3861E+0081 6.3417E+0083 200 200 (expected value)

3.97 2.97 3.97 3.97 (confidence rate)

1.3861E+0081 6.3417E+0083 200 200
TTTT
---:-- / 48
DNF

0
CC

0
1.3861E+0081 6.3417E+0083 200 200
TTTT
---:-- / 48
1.3861E+0081 ? 200 200
T-TT
---:P- / 42
DNF

0
1.3861E+0081 6.3417E+0083 200 200
TTTT
---:-M / 48
DNF

0
CC

0
CC

0
D20N010

3.2308E+0019 2.3414E+0021 10 10 (expected value)

5.96 2.97 4.97 3.97 (confidence rate)

3.2308E+0019 2.3414E+0021 10 10
TTTT
---:-- / 48
3.2308E+0019 ? 10 ?
T-T-
---:-- / 36
CC

0
3.2308E+0019 2.3414E+0021 10 10
TTTT
---:-- / 48
3.2308E+0019 ? 10 10
T-TT
---:P- / 42
3.2308E+0019 ? ? ?
T---
---:-- / 30
3.2308E+0019 2.3414E+0021 10 10
TTTT
---:-M / 48
DNF

0
CC

0
CC

0
D20N050

7.9113E+0066 2.6113E+0069 50 50 (expected value)

3.97 2.97 3.97 3.97 (confidence rate)

7.9113E+0066 2.6113E+0069 50 50
TTTT
---:-- / 48
DNF

0
CC

0
7.9113E+0066 2.6113E+0069 50 50
TTTT
---:-- / 48
7.9113E+0066 ? 50 50
T-TT
---:P- / 42
DNF

0
7.9113E+0066 2.6113E+0069 50 50
TTTT
---:-M / 48
DNF

0
CC

0
CC

0
D20N100

1.6334E+0107 9.7019E+0109 100 100 (expected value)

3.97 1.00 3.97 3.97 (confidence rate)

1.6334E+0107 ? 100 100
T-TT
---:-- / 42
DNF

0
CC

0
1.6334E+0107 9.7019E+0109 100 100
TTTT
---:-- / 48
1.6334E+0107 ? 100 100
T-TT
---:P- / 42
DNF

0
1.6334E+0107 ? 100 100
T-TT
---:-M / 42
DNF

0
CC

0
CC

0
D20N150

2.5424E+0138 ? 150 150 (expected value)

1.98 0 1.98 1.98 (confidence rate)

2.5424E+0138 ? 150 150
T?TT
---:-- / 42
DNF

0
CC

0
CC

0
2.5424E+0138 ? 150 150
T?TT
---:PM / 42
CC

0
DNF

0
DNF

0
CC

0
CC

0
D30N010

1.0100E+0023 7.6041E+0024 10 10 (expected value)

4.97 2.97 4.97 3.97 (confidence rate)

1.0100E+0023 7.6041E+0024 10 10
TTTT
---:-M / 48
1.0100E+0023 ? 10 ?
T-T-
---:-- / 36
CC

0
1.0100E+0023 7.6041E+0024 10 10
TTTT
---:-- / 48
1.0100E+0023 ? 10 10
T-TT
---:P- / 42
CC

0
1.0100E+0023 7.6041E+0024 10 10
TTTT
---:-- / 48
DNF

0
DNF

0
CC

0
D30N050

6.4510E+0083 ? 50 50 (expected value)

2.97 0 2.97 2.97 (confidence rate)

6.4510E+0083 ? 50 50
T?TT
---:-- / 42
DNF

0
CC

0
CC

0
6.4510E+0083 ? 50 50
T?TT
---:PM / 42
DNF

0
6.4510E+0083 ? 50 50
T?TT
---:-- / 42
DNF

0
DNF

0
CC

0
D30N100

5.7465E+0139 ? 100 100 (expected value)

1.98 0 1.98 1.98 (confidence rate)

5.7465E+0139 ? 100 100
T?TT
---:-- / 42
DNF

0
CC

0
DNF

0
5.7465E+0139 ? 100 100
T?TT
---:PM / 42
DNF

0
DNF

0
DNF

0
DNF

0
CC

0
D30N150

3.1330E+0185 ? 150 150 (expected value)

1.98 0 1.98 1.98 (confidence rate)

3.1330E+0185 ? 150 150
T?TT
---:-- / 42
DNF

0
CC

0
DNF

0
3.1330E+0185 ? 150 150
T?TT
---:PM / 42
DNF

0
DNF

0
DNF

0
DNF

0
CC

0
D40N010

3.1162E+0025 2.3868E+0027 10 10 (expected value)

4.97 2.97 4.97 3.97 (confidence rate)

3.1162E+0025 2.3868E+0027 10 10
TTTT
---:-- / 48
3.1162E+0025 ? 10 ?
T-T-
---:-- / 36
CC

0
3.1162E+0025 2.3868E+0027 10 10
TTTT
---:-- / 48
3.1162E+0025 ? 10 10
T-TT
---:PM / 42
CC

0
3.1162E+0025 2.3868E+0027 10 10
TTTT
---:-- / 48
DNF

0
DNF

0
CC

0
D40N050

1.1273E+0096 ? 50 50 (expected value)

1.98 0 1.98 1.98 (confidence rate)

1.1273E+0096 ? 50 50
T?TT
---:-- / 42
DNF

0
CC

0
DNF

0
1.1273E+0096 ? 50 50
T?TT
---:PM / 42
CC

0
DNF

0
DNF

0
DNF

0
CC

0
D40N100

5.7356E+0163 ? 100 100 (expected value)

0.98 0 0.98 0.98 (confidence rate)

5.7356E+0163 ? 100 100
T?TT
---:PM / 42
DNF

0
CC

0
DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
D40N150

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
D50N010

2.6757E+0027 2.0694E+0029 10 10 (expected value)

4.97 2.97 4.97 3.97 (confidence rate)

2.6757E+0027 2.0694E+0029 10 10
TTTT
---:-- / 48
2.6757E+0027 ? 10 ?
T-T-
---:-- / 36
CC

0
2.6757E+0027 2.0694E+0029 10 10
TTTT
---:-- / 48
2.6757E+0027 ? 10 10
T-TT
---:PM / 42
CC

0
2.6757E+0027 2.0694E+0029 10 10
TTTT
---:-- / 48
DNF

0
DNF

0
CC

0
D50N050

4.2203E+0105 ? 50 50 (expected value)

0.98 0 0.98 0.98 (confidence rate)

4.2203E+0105 ? 50 50
T?TT
---:PM / 42
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
DNF

0
DNF

0
CC

0
D50N100

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
DNF

0
DNF

0
CC

0
D50N150

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
DNF

0
DNF

0
CC

0
DotAndBoxes (stripped) — Colored
  ITS-Tools LTSMin Tapaal(PAR) Marcie pnmc PNXDD Smart Tapaal(EXP) Tapaal(SEQ) ydd-pt
Total 90 0 0 216 0 0 0 0 0 0
Bonuses 0 0 0 72 0 0 0 0 0 0
Scores 90 0 0 144 0 0 0 0 0 0
2

11 14 1 13 (expected value)

1.98 1.00 1.98 1.98 (confidence rate)

11 10 1 13
TXTT
V--:-- / 30
DNC DNC 11 14 1 13
TTTT
---:PM / 48
DNC DNC DNC DNC DNC DNC
3

383 559 1 23 (expected value)

1.98 1.00 1.98 1.98 (confidence rate)

383 399 1 23
TXTT
V--:-- / 30
DNC DNC 383 559 1 23
TTTT
---:PM / 48
DNC DNC DNC DNC DNC DNC
4

2.2082E+0005 3.4019E+0005 1 37 (expected value)

1.98 1.00 1.98 1.98 (confidence rate)

2.2082E+0005 2.4699E+0005 1 37
TXTT
V--:-- / 30
DNC DNC 2.2082E+0005 3.4019E+0005 1 37
TTTT
---:PM / 48
DNC DNC DNC DNC DNC DNC
5

? (expected value)

0 (confidence rate)

CC

0
DNC DNC DNF

0
DNC DNC DNC DNC DNC DNC
DrinkVendingMachine (stripped) — Colored
  ITS-Tools LTSMin Tapaal(PAR) Marcie pnmc PNXDD Smart Tapaal(EXP) Tapaal(SEQ) ydd-pt
Total 60 0 0 216 0 0 0 0 0 0
Bonuses 0 0 0 72 0 0 0 0 0 0
Scores 60 0 0 144 0 0 0 0 0 0
02

1024 7680 1 12 (expected value)

1.98 1.00 1.98 1.98 (confidence rate)

1024 7424 1 12
TXTT
V--:-- / 30
DNC DNC 1024 7680 1 12
TTTT
---:PM / 48
DNC DNC DNC DNC DNC DNC
10

1.1529E+0018 3.4501E+0021 1 60 (expected value)

1.98 1.00 1.98 1.98 (confidence rate)

1.1529E+0018 9.6413E+0020 1 60
TXTT
V--:-- / 30
DNC DNC 1.1529E+0018 3.4501E+0021 1 60
TTTT
---:PM / 48
DNC DNC DNC DNC DNC DNC
16

7.9228E+0028 2.4833E+0033 1 96 (expected value)

1.00 1.00 1.00 1.00 (confidence rate)

DNF

0
DNC DNC 7.9228E+0028 2.4833E+0033 1 96
TTTT
---:PM / 48
DNC DNC DNC DNC DNC DNC
24

? (expected value)

0 (confidence rate)

DNF

0
DNC DNC CC

0
DNC DNC DNC DNC DNC DNC
48

? (expected value)

0 (confidence rate)

CC

0
DNC DNC CC

0
DNC DNC DNC DNC DNC DNC
76

? (expected value)

0 (confidence rate)

CC

0
DNC DNC CC

0
DNC DNC DNC DNC DNC DNC
98

? (expected value)

0 (confidence rate)

DNF

0
DNC DNC CC

0
DNC DNC DNC DNC DNC DNC
DrinkVendingMachine (stripped) — P/T
  ITS-Tools LTSMin Tapaal(PAR) Marcie pnmc PNXDD Smart Tapaal(EXP) Tapaal(SEQ) ydd-pt
Total 60 72 48 96 108 30 96 54 54 -60
Bonuses 0 0 0 0 24 0 0 12 12 0
Scores 60 72 48 96 84 30 96 42 42 -60
02

1024 7680 1 12 (expected value)

7.96 2.98 6.97 5.97 (confidence rate)

1024 7424 1 12
TXTT
V--:-- / 30
1024 ? 1 ?
T-T-
---:-- / 36
1024 7680 1 12
TTTT
---:-- / 48
1024 7680 1 12
TTTT
---:-- / 48
1024 ? 1 12
T-TT
---:-- / 42
1024 ? ? ?
T---
---:-- / 30
1024 7680 1 12
TTTT
---:-- / 48
1024 ? 1 12
T-TT
---:-M / 42
1024 ? 1 12
T-TT
---:P- / 42
4096 ? ? ?
X---
V--:-- / -60
10

1.1529E+0018 3.4501E+0021 1 60 (expected value)

4.97 1.98 4.97 3.97 (confidence rate)

1.1529E+0018 9.6413E+0020 1 60
TXTT
V--:-- / 30
1.1529E+0018 ? 1 ?
T-T-
---:-- / 36
DNF

0
1.1529E+0018 3.4501E+0021 1 60
TTTT
---:-- / 48
1.1529E+0018 ? 1 60
T-TT
---:PM / 42
DNF

0
1.1529E+0018 3.4501E+0021 1 60
TTTT
---:-- / 48
DNF

0
DNF

0
DNF

0
ERK (stripped) — P/T
  ITS-Tools LTSMin Tapaal(PAR) Marcie pnmc PNXDD Smart Tapaal(EXP) Tapaal(SEQ) ydd-pt
Total 216 108 96 144 126 60 240 108 108 30
Bonuses 24 0 0 0 0 0 48 24 24 0
Scores 192 108 96 144 126 60 192 84 84 30
000001

13 30 1 5 (expected value)

8.94 3.97 6.97 5.97 (confidence rate)

13 30 1 5
TTTT
---:-- / 48
13 ? 1 ?
T-T-
---:-- / 36
13 30 1 5
TTTT
---:-- / 48
13 30 1 5
TTTT
---:-- / 48
13 ? 1 5
T-TT
---:-- / 42
13 ? ? ?
T---
---:-- / 30
13 30 1 5
TTTT
---:-- / 48
13 ? 1 5
T-TT
---:P- / 42
13 ? 1 5
T-TT
---:-M / 42
13 ? ? ?
T---
---:-- / 30
000010

47047 3.7237E+0005 10 50 (expected value)

7.96 3.97 6.97 5.97 (confidence rate)

47047 3.7237E+0005 10 50
TTTT
---:-- / 48
47047 ? 10 ?
T-T-
---:-- / 36
47047 3.7237E+0005 10 50
TTTT
---:-- / 48
47047 3.7237E+0005 10 50
TTTT
---:-- / 48
47047 ? 10 50
T-TT
---:-- / 42
47047 ? ? ?
T---
---:-- / 30
47047 3.7237E+0005 10 50
TTTT
---:-- / 48
47047 ? 10 50
T-TT
---:-M / 42
47047 ? 10 50
T-TT
---:P- / 42
CC

0
000100

1.5914E+0010 1.6845E+0011 100 500 (expected value)

4.97 2.97 4.97 3.97 (confidence rate)

1.5914E+0010 1.6845E+0011 100 500
TTTT
---:-- / 48
1.5914E+0010 ? 100 ?
T-T-
---:-- / 36
CC

0
1.5914E+0010 1.6845E+0011 100 500
TTTT
---:-- / 48
1.5914E+0010 ? 100 500
T-TT
---:-- / 42
DNF

0
1.5914E+0010 1.6845E+0011 100 500
TTTT
---:PM / 48
CC

0
DNF

0
CC

0
001000

1.4082E+0016 1.5429E+0017 1000 5000 (expected value)

0.98 0.98 0.98 0.98 (confidence rate)

CC

0
CC

0
CC

0
DNF

0
DNF

0
DNF

0
1.4082E+0016 1.5429E+0017 1000 5000
TTTT
---:PM / 48
CC

0
DNF

0
CC

0
010000

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
DNF

0
CC

0
100000

1 0 0 0 (expected value)

0.98 0.98 0.98 0.98 (confidence rate)

1 0 0 0
TTTT
---:PM / 48
DNF

0
CC

0
CC

0
CC

0
DNF

0
DNF

0
CC

0
DNF

0
CC

0
Echo (stripped) — P/T
  ITS-Tools LTSMin Tapaal(PAR) Marcie pnmc PNXDD Smart Tapaal(EXP) Tapaal(SEQ) ydd-pt
Total 0 0 0 0 0 0 0 0 0 0
Bonuses 0 0 0 0 0 0 0 0 0 0
Scores 0 0 0 0 0 0 0 0 0 0
d02r09

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
DNF

0
DNF

0
CC

0
DNF

0
CC

0
CC

0
DNF

0
d02r11

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
DNF

0
DNF

0
CC

0
DNF

0
CC

0
CC

0
CC

0
d02r15

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
DNF

0
DNF

0
CC

0
DNF

0
CC

0
CC

0
CC

0
d02r19

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
DNF

0
DNF

0
CC

0
DNF

0
DNF

0
CC

0
CC

0
d03r03

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
DNF

0
DNF

0
CC

0
DNF

0
DNF

0
CC

0
DNF

0
d03r05

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
DNF

0
DNF

0
CC

0
DNF

0
CC

0
CC

0
CC

0
d03r07

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
DNF

0
DNF

0
CC

0
DNF

0
DNF

0
CC

0
CC

0
d04r03

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
DNF

0
DNF

0
CC

0
DNF

0
CC

0
CC

0
CC

0
d05r03

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
DNF

0
DNF

0
CC

0
DNF

0
CC

0
CC

0
CC

0
EnergyBus (stripped) — P/T
  ITS-Tools LTSMin Tapaal(PAR) Marcie pnmc PNXDD Smart Tapaal(EXP) Tapaal(SEQ) ydd-pt
Total 30 36 0 48 54 0 0 0 0 0
Bonuses 0 0 0 0 24 0 0 0 0 0
Scores 30 36 0 48 30 0 0 0 0 0
none

2.1318E+0012 4.0859E+0013 1 22 (expected value)

3.98 1.00 2.98 1.98 (confidence rate)

2.1318E+0012 3.5168E+0013 1 22
TXTT
V--:-- / 30
2.1318E+0012 ? 1 ?
T-T-
---:-- / 36
CC

0
2.1318E+0012 4.0859E+0013 1 22
TTTT
---:-- / 48
2.1318E+0012 ? ? ?
T---
---:PM / 30
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
Eratosthenes (stripped) — P/T
  ITS-Tools LTSMin Tapaal(PAR) Marcie pnmc PNXDD Smart Tapaal(EXP) Tapaal(SEQ) ydd-pt
Total 180 252 96 288 312 60 90 108 108 60
Bonuses 0 36 0 0 60 0 0 24 24 0
Scores 180 216 96 288 252 60 90 84 84 60
010

32 120 1 9 (expected value)

8.94 2.00 6.97 5.97 (confidence rate)

32 80 1 9
TXTT
V--:-- / 30
32 ? 1 ?
T-T-
---:-- / 36
32 120 1 9
TTTT
---:-- / 48
32 120 1 9
TTTT
---:-- / 48
32 ? 1 9
T-TT
---:-- / 42
32 ? ? ?
T---
---:-- / 30
32 128 1 9
TXTT
V--:-- / 30
32 ? 1 9
T-TT
---:PM / 42
32 ? 1 9
T-TT
---:-- / 42
32 ? ? ?
T---
---:-- / 30
020

2048 23040 1 19 (expected value)

8.94 2.00 6.97 5.97 (confidence rate)

2048 11264 1 19
TXTT
V--:-- / 30
2048 ? 1 ?
T-T-
---:-- / 36
2048 23040 1 19
TTTT
---:-- / 48
2048 23040 1 19
TTTT
---:-- / 48
2048 ? 1 19
T-TT
---:-- / 42
2048 ? ? ?
T---
---:-- / 30
2048 27648 1 19
TXTT
V--:-- / 30
2048 ? 1 19
T-TT
---:-- / 42
2048 ? 1 19
T-TT
---:PM / 42
2048 ? ? ?
T---
---:-- / 30
050

1.7180E+0010 7.3014E+0011 1 49 (expected value)

5.96 1.00 4.97 3.97 (confidence rate)

1.7180E+0010 2.9206E+0011 1 49
TXTT
V--:-- / 30
1.7180E+0010 ? 1 ?
T-T-
---:PM / 36
CC

0
1.7180E+0010 7.3014E+0011 1 49
TTTT
---:-- / 48
1.7180E+0010 ? 1 49
T-TT
---:-- / 42
1.7180E+0010 ? ? ?
T---
---:-- / 30
1.7180E+0010 9.2771E+0011 1 49
TXTT
V--:-- / 30
DNF

0
CC

0
DNF

0
100

1.8889E+0022 2.0259E+0024 1 99 (expected value)

3.98 1.00 3.98 2.98 (confidence rate)

1.8889E+0022 6.9891E+0023 1 99
TXTT
V--:-- / 30
1.8889E+0022 ? 1 ?
T-T-
---:-M / 36
CC

0
1.8889E+0022 2.0259E+0024 1 99
TTTT
---:-- / 48
1.8889E+0022 ? 1 99
T-TT
---:P- / 42
1.8890E+0022 ? ? ?
X---
V--:-- / -60
DNF

0
DNF

0
CC

0
DNF

0
200

1.1418E+0046 2.9173E+0048 1 199 (expected value)

4.98 1.00 3.98 2.98 (confidence rate)

1.1418E+0046 8.7348E+0047 1 199
TXTT
V--:-- / 30
1.1418E+0046 ? 1 ?
T-T-
---:-- / 36
CC

0
1.1418E+0046 2.9173E+0048 1 199
TTTT
---:-- / 48
1.1418E+0046 ? 1 199
T-TT
---:PM / 42
1.1418E+0046 ? ? ?
T---
---:-- / 30
DNF

0
DNF

0
DNF

0
DNF

0
500

4.1316E+0121 3.2061E+0124 1 499 (expected value)

3.98 1.00 3.98 2.98 (confidence rate)

4.1316E+0121 8.3458E+0123 1 499
TXTT
V--:-- / 30
4.1316E+0121 ? 1 ?
T-T-
---:-- / 36
CC

0
4.1316E+0121 3.2061E+0124 1 499
TTTT
---:-- / 48
4.1316E+0121 ? 1 499
T-TT
---:PM / 42
CC

0
DNF

0
DNF

0
DNF

0
CC

0
FMS (stripped) — P/T
  ITS-Tools LTSMin Tapaal(PAR) Marcie pnmc PNXDD Smart Tapaal(EXP) Tapaal(SEQ) ydd-pt
Total 420 288 96 288 276 90 0 96 96 0
Bonuses 84 36 0 0 24 0 0 12 12 0
Scores 336 252 96 288 252 90 0 84 84 0
002

3444 16311 3 12 (expected value)

6.97 2.98 5.98 4.98 (confidence rate)

3444 16311 3 12
TTTT
---:-- / 48
3444 ? 3 ?
T-T-
---:-- / 36
3444 16311 3 12
TTTT
---:-- / 48
3444 16311 3 12
TTTT
---:-- / 48
3444 ? 3 12
T-TT
---:-- / 42
3444 ? ? ?
T---
---:-- / 30
DNF

0
3444 ? 3 12
T-TT
---:P- / 42
3444 ? 3 12
T-TT
---:-M / 42
CC

0
005

2.8950E+0006 2.3527E+0007 5 21 (expected value)

6.97 2.98 5.98 4.98 (confidence rate)

2.8950E+0006 2.3527E+0007 5 21
TTTT
---:-- / 48
2.8950E+0006 ? 5 ?
T-T-
---:PM / 36
2.8950E+0006 2.3527E+0007 5 21
TTTT
---:-- / 48
2.8950E+0006 2.3527E+0007 5 21
TTTT
---:-- / 48
2.8950E+0006 ? 5 21
T-TT
---:-- / 42
2.8950E+0006 ? ? ?
T---
---:-- / 30
DNF

0
2.8950E+0006 ? 5 21
T-TT
---:-- / 42
2.8950E+0006 ? 5 21
T-TT
---:-- / 42
CC

0
010

2.5014E+0009 2.7568E+0010 10 36 (expected value)

4.98 1.98 3.98 2.98 (confidence rate)

2.5014E+0009 2.7568E+0010 10 36
TTTT
---:-M / 48
2.5014E+0009 ? 10 ?
T-T-
---:P- / 36
CC

0
2.5014E+0009 2.7568E+0010 10 36
TTTT
---:-- / 48
2.5014E+0009 ? 10 36
T-TT
---:-- / 42
2.5014E+0009 ? ? ?
T---
---:-- / 30
DNF

0
DNF

0
CC

0
CC

0
020

6.0292E+0012 8.1442E+0013 20 66 (expected value)

3.98 1.98 3.98 2.98 (confidence rate)

6.0292E+0012 8.1442E+0013 20 66
TTTT
---:-M / 48
6.0292E+0012 ? 20 ?
T-T-
---:-- / 36
CC

0
6.0292E+0012 8.1442E+0013 20 66
TTTT
---:-- / 48
6.0292E+0012 ? 20 66
T-TT
---:P- / 42
CC

0
DNF

0
DNF

0
CC

0
CC

0
050

4.2403E+0017 6.6135E+0018 50 156 (expected value)

3.98 1.98 3.98 2.98 (confidence rate)

4.2403E+0017 6.6135E+0018 50 156
TTTT
---:-M / 48
4.2403E+0017 ? 50 ?
T-T-
---:-- / 36
CC

0
4.2403E+0017 6.6135E+0018 50 156
TTTT
---:-- / 48
4.2403E+0017 ? 50 156
T-TT
---:P- / 42
DNF

0
DNF

0
DNF

0
CC

0
CC

0
100

2.7031E+0021 4.4401E+0022 100 306 (expected value)

3.98 1.98 3.98 2.98 (confidence rate)

2.7031E+0021 4.4401E+0022 100 306
TTTT
---:PM / 48
2.7031E+0021 ? 100 ?
T-T-
---:-- / 36
CC

0
2.7031E+0021 4.4401E+0022 100 306
TTTT
---:-- / 48
2.7031E+0021 ? 100 306
T-TT
---:-- / 42
DNF

0
DNF

0
DNF

0
CC

0
CC

0
200

1.9536E+0025 3.2957E+0026 200 606 (expected value)

1.98 0.98 1.98 0.98 (confidence rate)

1.9536E+0025 3.2957E+0026 200 606
TTTT
---:PM / 48
1.9536E+0025 ? 200 ?
T-T-
---:-- / 36
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
CC

0
CC

0
500

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
CC

0
CC

0
CC

0
GlobalResAllocation (stripped) — Colored
  ITS-Tools LTSMin Tapaal(PAR) Marcie pnmc PNXDD Smart Tapaal(EXP) Tapaal(SEQ) ydd-pt
Total 102 0 0 72 0 0 0 0 0 0
Bonuses 24 0 0 24 0 0 0 0 0 0
Scores 78 0 0 48 0 0 0 0 0 0
03

6320 1.1618E+0005 4 18 (expected value)

1.98 1.00 1.98 1.98 (confidence rate)

6320 61308 4 18
TXTT
V--:-- / 30
DNC DNC 6320 1.1618E+0005 4 18
TTTT
---:PM / 48
DNC DNC DNC DNC DNC DNC
05

1.0660E+0008 1.9765E+0009 4 30 (expected value)

0.98 0.98 0.98 0.98 (confidence rate)

1.0660E+0008 1.9765E+0009 4 30
TTTT
---:PM / 48
DNC DNC DNF

0
DNC DNC DNC DNC DNC DNC
06

? (expected value)

0 (confidence rate)

CC

0
DNC DNC DNF

0
DNC DNC DNC DNC DNC DNC
07

? (expected value)

0 (confidence rate)

CC

0
DNC DNC DNF

0
DNC DNC DNC DNC DNC DNC
09

? (expected value)

0 (confidence rate)

CC

0
DNC DNC DNF

0
DNC DNC DNC DNC DNC DNC
10

? (expected value)

0 (confidence rate)

CC

0
DNC DNC DNF

0
DNC DNC DNC DNC DNC DNC
11

? (expected value)

0 (confidence rate)

DNF

0
DNC DNC CC

0
DNC DNC DNC DNC DNC DNC
GlobalResAllocation (stripped) — P/T
  ITS-Tools LTSMin Tapaal(PAR) Marcie pnmc PNXDD Smart Tapaal(EXP) Tapaal(SEQ) ydd-pt
Total 78 84 48 48 96 30 48 66 42 0
Bonuses 0 12 0 0 12 0 0 24 0 0
Scores 78 72 48 48 84 30 48 42 42 0
03

6320 1.1618E+0005 4 18 (expected value)

7.96 2.98 6.97 5.97 (confidence rate)

6320 61308 4 18
TXTT
V--:-- / 30
6320 ? 4 ?
T-T-
---:-- / 36
6320 1.1618E+0005 4 18
TTTT
---:-- / 48
6320 1.1618E+0005 4 18
TTTT
---:-- / 48
6320 ? 4 18
T-TT
---:-- / 42
6320 ? ? ?
T---
---:-- / 30
6320 1.1618E+0005 4 18
TTTT
---:-- / 48
6320 ? 4 18
T-TT
---:PM / 42
6320 ? 4 18
T-TT
---:-- / 42
CC

0
05

1.0660E+0008 1.9765E+0009 4 30 (expected value)

2.98 0.98 2.98 1.98 (confidence rate)

1.0660E+0008 1.9765E+0009 4 30
TTTT
---:-- / 48
1.0660E+0008 ? 4 ?
T-T-
---:P- / 36
CC

0
DNF

0
1.0660E+0008 ? 4 30
T-TT
---:-M / 42
DNF

0
DNF

0
DNF

0
DNF

0
CC

0
HouseConstruction (stripped) — P/T
  ITS-Tools LTSMin Tapaal(PAR) Marcie pnmc PNXDD Smart Tapaal(EXP) Tapaal(SEQ) ydd-pt
Total 192 144 96 276 168 90 252 96 96 0
Bonuses 0 0 0 36 0 0 60 12 12 0
Scores 192 144 96 240 168 90 192 84 84 0
002

1501 4780 2 12 (expected value)

7.96 3.97 6.97 5.97 (confidence rate)

1501 4780 2 12
TTTT
---:-- / 48
1501 ? 2 ?
T-T-
---:-- / 36
1501 4780 2 12
TTTT
---:-- / 48
1501 4780 2 12
TTTT
---:-- / 48
1501 ? 2 12
T-TT
---:-- / 42
1501 ? ? ?
T---
---:-- / 30
1501 4780 2 12
TTTT
---:-- / 48
1501 ? 2 12
T-TT
---:P- / 42
1501 ? 2 12
T-TT
---:-M / 42
CC

0
005

1.1880E+0006 7.1911E+0006 5 30 (expected value)

7.96 3.97 6.97 5.97 (confidence rate)

1.1880E+0006 7.1911E+0006 5 30
TTTT
---:-- / 48
1.1880E+0006 ? 5 ?
T-T-
---:-- / 36
1.1880E+0006 7.1911E+0006 5 30
TTTT
---:-- / 48
1.1880E+0006 7.1911E+0006 5 30
TTTT
---:-- / 48
1.1880E+0006 ? 5 30
T-TT
---:-- / 42
1.1880E+0006 ? ? ?
T---
---:-- / 30
1.1880E+0006 7.1911E+0006 5 30
TTTT
---:PM / 48
1.1880E+0006 ? 5 30
T-TT
---:-- / 42
1.1880E+0006 ? 5 30
T-TT
---:-- / 42
CC

0
010

1.6636E+0009 1.4808E+0010 10 60 (expected value)

5.96 2.97 4.97 3.97 (confidence rate)

1.6636E+0009 1.4808E+0010 10 60
TTTT
---:-- / 48
1.6636E+0009 ? 10 ?
T-T-
---:-- / 36
CC

0
1.6636E+0009 1.4808E+0010 10 60
TTTT
---:-- / 48
1.6636E+0009 ? 10 60
T-TT
---:-- / 42
1.6636E+0009 ? ? ?
T---
---:-- / 30
1.6636E+0009 1.4808E+0010 10 60
TTTT
---:PM / 48
DNF

0
CC

0
CC

0
020

1.3666E+0013 1.6144E+0014 20 120 (expected value)

4.97 2.97 4.97 3.97 (confidence rate)

1.3666E+0013 1.6144E+0014 20 120
TTTT
---:-- / 48
1.3666E+0013 ? 20 ?
T-T-
---:-- / 36
CC

0
1.3666E+0013 1.6144E+0014 20 120
TTTT
---:P- / 48
1.3666E+0013 ? 20 120
T-TT
---:-- / 42
CC

0
1.3666E+0013 1.6144E+0014 20 120
TTTT
---:-M / 48
CC

0
CC

0
CC

0
050

1.5682E+0019 2.3266E+0020 50 300 (expected value)

1.00 1.00 1.00 1.00 (confidence rate)

CC

0
DNF

0
CC

0
1.5682E+0019 2.3266E+0020 50 300
TTTT
---:PM / 48
DNF

0
CC

0
DNF

0
CC

0
CC

0
CC

0
100

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
CC

0
DNF

0
CC

0
DNF

0
CC

0
CC

0
CC

0
200

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
CC

0
DNF

0
CC

0
DNF

0
CC

0
CC

0
CC

0
500

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
CC

0
DNF

0
CC

0
DNF

0
CC

0
CC

0
CC

0
HypercubeGrid (stripped) — P/T
  ITS-Tools LTSMin Tapaal(PAR) Marcie pnmc PNXDD Smart Tapaal(EXP) Tapaal(SEQ) ydd-pt
Total 0 0 0 0 0 0 0 0 0 0
Bonuses 0 0 0 0 0 0 0 0 0 0
Scores 0 0 0 0 0 0 0 0 0 0
C3K4P4B12

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
DNF

0
DNF

0
CC

0
DNF

0
CC

0
CC

0
CC

0
C4K3P3B12

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
DNF

0
DNF

0
CC

0
DNF

0
CC

0
CC

0
CC

0
C5K3P3B15

? (expected value)

0 (confidence rate)

CC

0
CC

0
CC

0
DNF

0
DNF

0
CC

0
CC

0
CC

0
CC

0
CC

0
IBM319 (stripped) — P/T
  ITS-Tools LTSMin Tapaal(PAR) Marcie pnmc PNXDD Smart Tapaal(EXP) Tapaal(SEQ) ydd-pt
Total 48 36 48 48 42 30 48 54 54 30
Bonuses 0 0 0 0 0 0 0 12 12 0
Scores 48 36 48 48 42 30 48 42 42 30
none

2482 6705 1 7 (expected value)

8.94 3.97 6.97 5.97 (confidence rate)

2482 6705 1 7
TTTT
---:-- / 48
2482 ? 1 ?
T-T-
---:-- / 36
2482 6705 1 7
TTTT
---:-- / 48
2482 6705 1 7
TTTT
---:-- / 48
2482 ? 1 7
T-TT
---:-- / 42
2482 ? ? ?
T---
---:-- / 30
2482 6705 1 7
TTTT
---:-- / 48
2482 ? 1 7
T-TT
---:P- / 42
2482 ? 1 7
T-TT
---:-M / 42
2482 ? ? ?
T---
---:-- / 30
IBM5964 (stripped) — P/T
  ITS-Tools LTSMin Tapaal(PAR) Marcie pnmc PNXDD Smart Tapaal(EXP) Tapaal(SEQ) ydd-pt
Total 48 36 48 48 42 30 48 66 42 0
Bonuses 0 0 0 0 0 0 0 24 0 0
Scores 48 36 48 48 42 30 48 42 42 0
none

15546 59846 5 17 (expected value)

7.96 3.97 6.97 5.97 (confidence rate)

15546 59846 5 17
TTTT
---:-- / 48
15546 ? 5 ?
T-T-
---:-- / 36
15546 59846 5 17
TTTT
---:-- / 48
15546 59846 5 17
TTTT
---:-- / 48
15546 ? 5 17
T-TT
---:-- / 42
15546 ? ? ?
T---
---:-- / 30
15546 59846 5 17
TTTT
---:-- / 48
15546 ? 5 17
T-TT
---:PM / 42
15546 ? 5 17
T-TT
---:-- / 42
CC

0
IBM703 (stripped) — P/T
  ITS-Tools LTSMin Tapaal(PAR) Marcie pnmc PNXDD Smart Tapaal(EXP) Tapaal(SEQ) ydd-pt
Total 48 36 48 48 42 30 48 54 54 30
Bonuses 0 0 0 0 0 0 0 12 12 0
Scores 48 36 48 48 42 30 48 42 42 30
none

8370 20499 1 3 (expected value)

8.94 3.97 6.97 5.97 (confidence rate)

8370 20499 1 3
TTTT
---:-- / 48
8370 ? 1 ?
T-T-
---:-- / 36
8370 20499 1 3
TTTT
---:-- / 48
8370 20499 1 3
TTTT
---:-- / 48
8370 ? 1 3
T-TT
---:-- / 42
8370 ? ? ?
T---
---:-- / 30
8370 20499 1 3
TTTT
---:-- / 48
8370 ? 1 3
T-TT
---:P- / 42
8370 ? 1 3
T-TT
---:-M / 42
8370 ? ? ?
T---
---:-- / 30
IBMB2S565S3960 (stripped) — P/T
  ITS-Tools LTSMin Tapaal(PAR) Marcie pnmc PNXDD Smart Tapaal(EXP) Tapaal(SEQ) ydd-pt
Total 0 36 0 48 42 0 72 0 0 0
Bonuses 0 0 0 0 0 0 24 0 0 0
Scores 0 36 0 48 42 0 48 0 0 0
none

1.5511E+0016 2.0113E+0017 7 60 (expected value)

3.98 1.98 3.98 2.98 (confidence rate)

CC

0
1.5511E+0016 ? 7 ?
T-T-
---:-- / 36
CC

0
1.5511E+0016 2.0113E+0017 7 60
TTTT
---:-- / 48
1.5511E+0016 ? 7 60
T-TT
---:-- / 42
CC

0
1.5511E+0016 2.0113E+0017 7 60
TTTT
---:PM / 48
DNF

0
CC

0
CC

0
IOTPpurchase (stripped) — P/T
  ITS-Tools LTSMin Tapaal(PAR) Marcie pnmc PNXDD Smart Tapaal(EXP) Tapaal(SEQ) ydd-pt
Total 156 144 108 216 138 0 0 150 138 30
Bonuses 12 0 12 24 12 0 0 24 12 0
Scores 144 144 96 192 126 0 0 126 126 30
C01M01P01D01

204 436 1 22 (expected value)

6.96 2.98 5.98 4.98 (confidence rate)

204 436 1 22
TTTT
---:-- / 48
204 ? 1 ?
T-T-
---:-- / 36
204 436 1 22
TTTT
---:-- / 48
204 436 1 22
TTTT
---:-- / 48
204 ? 1 22
T-TT
---:-- / 42
CC

0
DNF

0
204 ? 1 22
T-TT
---:P- / 42
204 ? 1 22
T-TT
---:-M / 42
204 ? ? ?
T---
---:-- / 30
C03M03P03D03

3.5418E+0005 1.6841E+0006 3 40 (expected value)

5.98 2.98 5.98 4.98 (confidence rate)

3.5418E+0005 1.6841E+0006 3 40
TTTT
---:-- / 48
3.5418E+0005 ? 3 ?
T-T-
---:-- / 36
3.5418E+0005 1.6841E+0006 3 40
TTTT
---:P- / 48
3.5418E+0005 1.6841E+0006 3 40
TTTT
---:-- / 48
3.5418E+0005 ? 3 40
T-TT
---:-- / 42
CC

0
DNF

0
3.5418E+0005 ? 3 40
T-TT
---:-M / 42
3.5418E+0005 ? 3 40
T-TT
---:-- / 42
CC

0
C05M04P03D02

1.7406E+0007 1.0842E+0008 5 51 (expected value)

4.98 1.98 4.98 3.98 (confidence rate)

1.7406E+0007 1.0842E+0008 5 51
TTTT
---:-M / 48
1.7406E+0007 ? 5 ?
T-T-
---:-- / 36
CC

0
1.7406E+0007 1.0842E+0008 5 51
TTTT
---:-- / 48
1.7406E+0007 ? 5 51
T-TT
---:P- / 42
CC

0
DNF

0
1.7406E+0007 ? 5 51
T-TT
---:-- / 42
1.7406E+0007 ? 5 51
T-TT
---:-- / 42
CC

0
C12M10P15D17

9.2677E+0013 1.0921E+0015 17 125 (expected value)

2.00 1.00 2.00 1.00 (confidence rate)

CC

0
9.2677E+0013 ? 17 ?
T-T-
---:-- / 36
CC

0
9.2677E+0013 1.0921E+0015 17 125
TTTT
---:PM / 48
DNF

0
CC

0
DNF

0
CC

0
CC

0
CC

0
Kanban (stripped) — P/T
  ITS-Tools LTSMin Tapaal(PAR) Marcie pnmc PNXDD Smart Tapaal(EXP) Tapaal(SEQ) ydd-pt
Total 288 108 48 288 210 90 504 42 42 0
Bonuses 0 0 0 0 0 0 168 0 0 0
Scores 288 108 48 288 210 90 336 42 42 0
0005

2.5464E+0006 2.4460E+0007 5 20 (expected value)

7.96 3.97 6.97 5.97 (confidence rate)

2.5464E+0006 2.4460E+0007 5 20
TTTT
---:-- / 48
2.5464E+0006 ? 5 ?
T-T-
---:-- / 36
2.5464E+0006 2.4460E+0007 5 20
TTTT
---:-- / 48
2.5464E+0006 2.4460E+0007 5 20
TTTT
---:-- / 48
2.5464E+0006 ? 5 20
T-TT
---:-- / 42
2.5464E+0006 ? ? ?
T---
---:-- / 30
2.5464E+0006 2.4460E+0007 5 20
TTTT
---:PM / 48
2.5464E+0006 ? 5 20
T-TT
---:-- / 42
2.5464E+0006 ? 5 20
T-TT
---:-- / 42
CC

0
0010

1.0059E+0009 1.2032E+0010 10 40 (expected value)

5.96 2.97 4.97 3.97 (confidence rate)

1.0059E+0009 1.2032E+0010 10 40
TTTT
---:-- / 48
1.0059E+0009 ? 10 ?
T-T-
---:-- / 36
CC

0
1.0059E+0009 1.2032E+0010 10 40
TTTT
---:-- / 48
1.0059E+0009 ? 10 40
T-TT
---:-- / 42
1.0059E+0009 ? ? ?
T---
---:-- / 30
1.0059E+0009 1.2032E+0010 10 40
TTTT
---:PM / 48
DNF

0
CC

0
CC

0
0020

8.0542E+0011 1.1012E+0013 20 80 (expected value)

5.96 2.97 4.97 3.97 (confidence rate)

8.0542E+0011 1.1012E+0013 20 80
TTTT
---:-- / 48
8.0542E+0011 ? 20 ?
T-T-
---:-- / 36
CC

0
8.0542E+0011 1.1012E+0013 20 80
TTTT
---:-- / 48
8.0542E+0011 ? 20 80
T-TT
---:-- / 42
8.0542E+0011 ? ? ?
T---
---:-- / 30
8.0542E+0011 1.1012E+0013 20 80
TTTT
---:PM / 48
DNF

0
CC

0
CC

0
0050

1.0426E+0016 1.5612E+0017 50 200 (expected value)

3.97 2.97 3.97 3.97 (confidence rate)

1.0426E+0016 1.5612E+0017 50 200
TTTT
---:-- / 48
DNF

0
CC

0
1.0426E+0016 1.5612E+0017 50 200
TTTT
---:-- / 48
1.0426E+0016 ? 50 200
T-TT
---:-- / 42
DNF

0
1.0426E+0016 1.5612E+0017 50 200
TTTT
---:PM / 48
DNF

0
CC

0
CC

0
0100

1.7263E+0019 2.6705E+0020 100 400 (expected value)

3.97 2.97 3.97 3.97 (confidence rate)

1.7263E+0019 2.6705E+0020 100 400
TTTT
---:-- / 48
DNF

0
CC

0
1.7263E+0019 2.6705E+0020 100 400
TTTT
---:-- / 48
1.7263E+0019 ? 100 400
T-TT
---:-- / 42
CC

0
1.7263E+0019 2.6705E+0020 100 400
TTTT
---:PM / 48
DNF

0
CC

0
CC

0
0200

3.1732E+0022 4.9914E+0023 200 800 (expected value)

2.97 2.97 2.97 2.97 (confidence rate)

3.1732E+0022 4.9914E+0023 200 800
TTTT
---:-- / 48
DNF

0
CC

0
3.1732E+0022 4.9914E+0023 200 800
TTTT
---:-- / 48
DNF

0
CC

0
3.1732E+0022 4.9914E+0023 200 800
TTTT
---:PM / 48
DNF

0
CC

0
CC

0
0500

7.0860E+0026 1.1260E+0028 500 2000 (expected value)

0.98 0.98 0.98 0.98 (confidence rate)

CC

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
7.0860E+0026 1.1260E+0028 500 2000
TTTT
---:PM / 48
DNF

0
CC

0
CC

0
1000

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
DNF

0
CC

0
CC

0
DNF

0
DNF

0
CC

0
CC

0
LamportFastMutEx (stripped) — Colored
  ITS-Tools LTSMin Tapaal(PAR) Marcie pnmc PNXDD Smart Tapaal(EXP) Tapaal(SEQ) ydd-pt
Total 288 0 0 192 0 0 0 0 0 0
Bonuses 96 0 0 0 0 0 0 0 0 0
Scores 192 0 0 192 0 0 0 0 0 0
2

380 716 1 8 (expected value)

1.98 1.98 1.98 1.98 (confidence rate)

380 716 1 8
TTTT
---:PM / 48
DNC DNC 380 716 1 8
TTTT
---:-- / 48
DNC DNC DNC DNC DNC DNC
3

19742 58272 1 14 (expected value)

1.98 1.98 1.98 1.98 (confidence rate)

19742 58272 1 14
TTTT
---:PM / 48
DNC DNC 19742 58272 1 14
TTTT
---:-- / 48
DNC DNC DNC DNC DNC DNC
4

1.9148E+0006 9.0460E+0006 1 22 (expected value)

1.98 1.98 1.98 1.98 (confidence rate)

1.9148E+0006 9.0460E+0006 1 22
TTTT
---:PM / 48
DNC DNC 1.9148E+0006 9.0460E+0006 1 22
TTTT
---:-- / 48
DNC DNC DNC DNC DNC DNC
5

5.3068E+0008 4.1382E+0009 1 32 (expected value)

1.98 1.98 1.98 1.98 (confidence rate)

5.3068E+0008 4.1382E+0009 1 32
TTTT
---:PM / 48
DNC DNC 5.3068E+0008 4.1382E+0009 1 32
TTTT
---:-- / 48
DNC DNC DNC DNC DNC DNC
6

? (expected value)

0 (confidence rate)

CC

0
DNC DNC DNF

0
DNC DNC DNC DNC DNC DNC
7

? (expected value)

0 (confidence rate)

CC

0
DNC DNC DNF

0
DNC DNC DNC DNC DNC DNC
8

? (expected value)

0 (confidence rate)

CC

0
DNC DNC DNF

0
DNC DNC DNC DNC DNC DNC
LamportFastMutEx (stripped) — P/T
  ITS-Tools LTSMin Tapaal(PAR) Marcie pnmc PNXDD Smart Tapaal(EXP) Tapaal(SEQ) ydd-pt
Total 288 144 156 192 168 60 0 174 138 60
Bonuses 48 0 12 0 0 0 0 48 12 0
Scores 240 144 144 192 168 60 0 126 126 60
2

380 716 1 8 (expected value)

7.95 2.98 5.98 4.98 (confidence rate)

380 716 1 8
TTTT
---:-- / 48
380 ? 1 ?
T-T-
---:-- / 36
380 716 1 8
TTTT
---:-- / 48
380 716 1 8
TTTT
---:-- / 48
380 ? 1 8
T-TT
---:-- / 42
380 ? ? ?
T---
---:-- / 30
DNF

0
380 ? 1 8
T-TT
---:P- / 42
380 ? 1 8
T-TT
---:-M / 42
380 ? ? ?
T---
---:-- / 30
3

19742 58272 1 14 (expected value)

7.95 2.98 5.98 4.98 (confidence rate)

19742 58272 1 14
TTTT
---:-- / 48
19742 ? 1 ?
T-T-
---:-- / 36
19742 58272 1 14
TTTT
---:-- / 48
19742 58272 1 14
TTTT
---:-- / 48
19742 ? 1 14
T-TT
---:-- / 42
19742 ? ? ?
T---
---:-- / 30
DNF

0
19742 ? 1 14
T-TT
---:PM / 42
19742 ? 1 14
T-TT
---:-- / 42
19742 ? ? ?
T---
---:-- / 30
4

1.9148E+0006 9.0460E+0006 1 22 (expected value)

5.98 2.98 5.98 4.98 (confidence rate)

1.9148E+0006 9.0460E+0006 1 22
TTTT
---:-- / 48
1.9148E+0006 ? 1 ?
T-T-
---:-- / 36
1.9148E+0006 9.0460E+0006 1 22
TTTT
---:P- / 48
1.9148E+0006 9.0460E+0006 1 22
TTTT
---:-- / 48
1.9148E+0006 ? 1 22
T-TT
---:-- / 42
CC

0
DNF

0
1.9148E+0006 ? 1 22
T-TT
---:-M / 42
1.9148E+0006 ? 1 22
T-TT
---:-- / 42
DNF

0
5

5.3068E+0008 4.1382E+0009 1 32 (expected value)

3.98 1.98 3.98 2.98 (confidence rate)

5.3068E+0008 4.1382E+0009 1 32
TTTT
---:PM / 48
5.3068E+0008 ? 1 ?
T-T-
---:-- / 36
CC

0
5.3068E+0008 4.1382E+0009 1 32
TTTT
---:-- / 48
5.3068E+0008 ? 1 32
T-TT
---:-- / 42
CC

0
DNF

0
DNF

0
CC

0
DNF

0
6

5.4723E+0011 6.7730E+0012 1 44 (expected value)

0.98 0.98 0.98 0.98 (confidence rate)

5.4723E+0011 6.7730E+0012 1 44
TTTT
---:PM / 48
DNF

0
CC

0
DNF

0
DNF

0
CC

0
DNF

0
DNF

0
CC

0
DNF

0
7

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
DNF

0
DNF

0
CC

0
DNF

0
DNF

0
CC

0
DNF

0
8

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
DNF

0
DNF

0
CC

0
DNF

0
DNF

0
CC

0
DNF

0
MAPK (stripped) — P/T
  ITS-Tools LTSMin Tapaal(PAR) Marcie pnmc PNXDD Smart Tapaal(EXP) Tapaal(SEQ) ydd-pt
Total 144 144 48 288 288 60 396 42 42 0
Bonuses 0 0 0 0 36 0 108 0 0 0
Scores 144 144 48 288 252 60 288 42 42 0
008

6.1106E+0006 7.8949E+0007 8 36 (expected value)

7.96 3.97 6.97 5.97 (confidence rate)

6.1106E+0006 7.8949E+0007 8 36
TTTT
---:-- / 48
6.1106E+0006 ? 8 ?
T-T-
---:-- / 36
6.1106E+0006 7.8949E+0007 8 36
TTTT
---:-- / 48
6.1106E+0006 7.8949E+0007 8 36
TTTT
---:-- / 48
6.1106E+0006 ? 8 36
T-TT
---:-- / 42
6.1106E+0006 ? ? ?
T---
---:-- / 30
6.1106E+0006 7.8949E+0007 8 36
TTTT
---:PM / 48
6.1106E+0006 ? 8 36
T-TT
---:-- / 42
6.1106E+0006 ? 8 36
T-TT
---:-- / 42
CC

0
020

8.8126E+0010 1.6890E+0012 20 90 (expected value)

5.96 2.97 4.97 3.97 (confidence rate)

8.8126E+0010 1.6890E+0012 20 90
TTTT
---:-- / 48
8.8126E+0010 ? 20 ?
T-T-
---:-- / 36
CC

0
8.8126E+0010 1.6890E+0012 20 90
TTTT
---:-- / 48
8.8126E+0010 ? 20 90
T-TT
---:-- / 42
8.8126E+0010 ? ? ?
T---
---:-- / 30
8.8126E+0010 1.6890E+0012 20 90
TTTT
---:PM / 48
DNF

0
CC

0
CC

0
040

4.7829E+0014 1.1099E+0016 40 180 (expected value)

4.97 2.97 4.97 3.97 (confidence rate)

4.7829E+0014 1.1099E+0016 40 180
TTTT
---:-- / 48
4.7829E+0014 ? 40 ?
T-T-
---:-- / 36
CC

0
4.7829E+0014 1.1099E+0016 40 180
TTTT
---:-- / 48
4.7829E+0014 ? 40 180
T-TT
---:-- / 42
DNF

0
4.7829E+0014 1.1099E+0016 40 180
TTTT
---:PM / 48
DNF

0
CC

0
CC

0
080

5.6349E+0018 1.4704E+0020 80 360 (expected value)

3.98 1.98 3.98 2.98 (confidence rate)

CC

0
5.6349E+0018 ? 80 ?
T-T-
---:-- / 36
CC

0
5.6349E+0018 1.4704E+0020 80 360
TTTT
---:-- / 48
5.6349E+0018 ? 80 360
T-TT
---:P- / 42
DNF

0
5.6349E+0018 1.4704E+0020 80 360
TTTT
---:-M / 48
DNF

0
CC

0
CC

0
160

1.0640E+0023 2.9670E+0024 160 720 (expected value)

2.98 1.98 2.98 2.98 (confidence rate)

CC

0
DNF

0
CC

0
1.0640E+0023 2.9670E+0024 160 720
TTTT
---:-- / 48
1.0640E+0023 ? 160 720
T-TT
---:P- / 42
DNF

0
1.0640E+0023 2.9670E+0024 160 720
TTTT
---:-M / 48
DNF

0
CC

0
CC

0
320

2.6163E+0027 7.5604E+0028 320 1440 (expected value)

2.98 1.98 2.98 2.98 (confidence rate)

CC

0
DNF

0
CC

0
2.6163E+0027 7.5604E+0028 320 1440
TTTT
---:-- / 48
2.6163E+0027 ? 320 1440
T-TT
---:P- / 42
DNF

0
2.6163E+0027 7.5604E+0028 320 1440
TTTT
---:-M / 48
DNF

0
CC

0
CC

0
MultiwaySync (stripped) — P/T
  ITS-Tools LTSMin Tapaal(PAR) Marcie pnmc PNXDD Smart Tapaal(EXP) Tapaal(SEQ) ydd-pt
Total 30 36 0 48 54 0 0 0 0 0
Bonuses 0 0 0 0 24 0 0 0 0 0
Scores 30 36 0 48 30 0 0 0 0 0
none

5.2596E+0019 2.1892E+0021 1 27 (expected value)

3.98 1.00 2.98 1.98 (confidence rate)

5.2596E+0019 1.2618E+0021 1 27
TXTT
V--:-- / 30
5.2596E+0019 ? 1 ?
T-T-
---:-- / 36
CC

0
5.2596E+0019 2.1892E+0021 1 27
TTTT
---:-- / 48
5.2596E+0019 ? ? ?
T---
---:PM / 30
CC

0
DNF

0
DNF

0
CC

0
DNF

0
NeoElection (stripped) — Colored
  ITS-Tools LTSMin Tapaal(PAR) Marcie pnmc PNXDD Smart Tapaal(EXP) Tapaal(SEQ) ydd-pt
Total 276 0 0 108 0 0 0 0 0 0
Bonuses 84 0 0 12 0 0 0 0 0 0
Scores 192 0 0 96 0 0 0 0 0 0
2

241 448 1 14 (expected value)

1.98 1.98 1.98 1.98 (confidence rate)

241 448 1 14
TTTT
---:-M / 48
DNC DNC 241 448 1 14
TTTT
---:P- / 48
DNC DNC DNC DNC DNC DNC
3

9.7433E+0005 3.5991E+0006 1 30 (expected value)

1.98 1.98 1.98 1.98 (confidence rate)

9.7433E+0005 3.5991E+0006 1 30
TTTT
---:PM / 48
DNC DNC 9.7433E+0005 3.5991E+0006 1 30
TTTT
---:-- / 48
DNC DNC DNC DNC DNC DNC
4

2.9191E+0011 1.8650E+0012 1 52 (expected value)

0.98 0.98 0.98 0.98 (confidence rate)

2.9191E+0011 1.8650E+0012 1 52
TTTT
---:PM / 48
DNC DNC DNF

0
DNC DNC DNC DNC DNC DNC
5

6.3569E+0018 6.4783E+0019 1 80 (expected value)

0.98 0.98 0.98 0.98 (confidence rate)

6.3569E+0018 6.4783E+0019 1 80
TTTT
---:PM / 48
DNC DNC DNF

0
DNC DNC DNC DNC DNC DNC
6

? (expected value)

0 (confidence rate)

CC

0
DNC DNC DNF

0
DNC DNC DNC DNC DNC DNC
7

? (expected value)

0 (confidence rate)

CC

0
DNC DNC DNF

0
DNC DNC DNC DNC DNC DNC
8

? (expected value)

0 (confidence rate)

CC

0
DNC DNC DNF

0
DNC DNC DNC DNC DNC DNC
NeoElection (stripped) — P/T
  ITS-Tools LTSMin Tapaal(PAR) Marcie pnmc PNXDD Smart Tapaal(EXP) Tapaal(SEQ) ydd-pt
Total 156 108 48 96 150 30 0 108 96 30
Bonuses 12 0 0 0 24 0 0 24 12 0
Scores 144 108 48 96 126 30 0 84 84 30
2

241 448 1 14 (expected value)

7.95 2.98 5.98 4.98 (confidence rate)

241 448 1 14
TTTT
---:-- / 48
241 ? 1 ?
T-T-
---:-- / 36
241 448 1 14
TTTT
---:-- / 48
241 448 1 14
TTTT
---:-- / 48
241 ? 1 14
T-TT
---:-- / 42
241 ? ? ?
T---
---:-- / 30
DNF

0
241 ? 1 14
T-TT
---:P- / 42
241 ? 1 14
T-TT
---:-M / 42
241 ? ? ?
T---
---:-- / 30
3

9.7433E+0005 3.5991E+0006 1 30 (expected value)

4.98 1.98 4.98 3.98 (confidence rate)

9.7433E+0005 3.5991E+0006 1 30
TTTT
---:-- / 48
9.7433E+0005 ? 1 ?
T-T-
---:-- / 36
CC

0
9.7433E+0005 3.5991E+0006 1 30
TTTT
---:-- / 48
9.7433E+0005 ? 1 30
T-TT
---:P- / 42
CC

0
DNF

0
9.7433E+0005 ? 1 30
T-TT
---:-M / 42
9.7433E+0005 ? 1 30
T-TT
---:-- / 42
CC

0
4

2.9191E+0011 1.8650E+0012 1 52 (expected value)

2.98 0.98 2.98 1.98 (confidence rate)

2.9191E+0011 1.8650E+0012 1 52
TTTT
---:-M / 48
2.9191E+0011 ? 1 ?
T-T-
---:-- / 36
CC

0
DNF

0
2.9191E+0011 ? 1 52
T-TT
---:P- / 42
CC

0
DNF

0
DNF

0
CC

0
CC

0
5

? (expected value)

0 (confidence rate)

CC

0
CC

0
CC

0
DNF

0
DNF

0
CC

0
DNF

0
DNF

0
CC

0
CC

0
6

? (expected value)

0 (confidence rate)

CC

0
CC

0
CC

0
DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
7

? (expected value)

0 (confidence rate)

CC

0
CC

0
CC

0
DNF

0
DNF

0
CC

0
CC

0
DNF

0
DNF

0
CC

0
8

? (expected value)

0 (confidence rate)

CC

0
CC

0
CC

0
DNF

0
DNF

0
CC

0
CC

0
DNF

0
DNF

0
CC

0
ParamProductionCell (stripped) — P/T
  ITS-Tools LTSMin Tapaal(PAR) Marcie pnmc PNXDD Smart Tapaal(EXP) Tapaal(SEQ) ydd-pt
Total 288 216 252 288 300 180 0 336 252 0
Bonuses 0 0 12 0 48 0 0 84 0 0
Scores 288 216 240 288 252 180 0 252 252 0
0

2.7769E+0006 1.3152E+0007 1 32 (expected value)

6.97 2.98 5.98 4.98 (confidence rate)

2.7769E+0006 1.3152E+0007 1 32
TTTT
---:-- / 48
2.7769E+0006 ? 1 ?
T-T-
---:-- / 36
2.7769E+0006 1.3152E+0007 1 32
TTTT
---:-- / 48
2.7769E+0006 1.3152E+0007 1 32
TTTT
---:-- / 48
2.7769E+0006 ? 1 32
T-TT
---:P- / 42
2.7769E+0006 ? ? ?
T---
---:-- / 30
DNF

0
2.7769E+0006 ? 1 32
T-TT
---:-M / 42
2.7769E+0006 ? 1 32
T-TT
---:-- / 42
DNF

0
1

25632 96722 1 36 (expected value)

6.97 2.98 5.98 4.98 (confidence rate)

25632 96722 1 36
TTTT
---:-- / 48
25632 ? 1 ?
T-T-
---:-- / 36
25632 96722 1 36
TTTT
---:-- / 48
25632 96722 1 36
TTTT
---:-- / 48
25632 ? 1 36
T-TT
---:-- / 42
25632 ? ? ?
T---
---:-- / 30
DNF

0
25632 ? 1 36
T-TT
---:PM / 42
25632 ? 1 36
T-TT
---:-- / 42
DNF

0
2

3.4987E+0005 1.3807E+0006 1 36 (expected value)

6.97 2.98 5.98 4.98 (confidence rate)

3.4987E+0005 1.3807E+0006 1 36
TTTT
---:-- / 48
3.4987E+0005 ? 1 ?
T-T-
---:-- / 36
3.4987E+0005 1.3807E+0006 1 36
TTTT
---:P- / 48
3.4987E+0005 1.3807E+0006 1 36
TTTT
---:-- / 48
3.4987E+0005 ? 1 36
T-TT
---:-- / 42
3.4987E+0005 ? ? ?
T---
---:-- / 30
DNF

0
3.4987E+0005 ? 1 36
T-TT
---:-M / 42
3.4987E+0005 ? 1 36
T-TT
---:-- / 42
DNF

0
3

1.4652E+0006 5.9227E+0006 1 36 (expected value)

6.97 2.98 5.98 4.98 (confidence rate)

1.4652E+0006 5.9227E+0006 1 36
TTTT
---:-- / 48
1.4652E+0006 ? 1 ?
T-T-
---:-- / 36
1.4652E+0006 5.9227E+0006 1 36
TTTT
---:-- / 48
1.4652E+0006 5.9227E+0006 1 36
TTTT
---:-- / 48
1.4652E+0006 ? 1 36
T-TT
---:P- / 42
1.4652E+0006 ? ? ?
T---
---:-- / 30
DNF

0
1.4652E+0006 ? 1 36
T-TT
---:-M / 42
1.4652E+0006 ? 1 36
T-TT
---:-- / 42
DNF

0
4

2.4097E+0006 9.8277E+0006 1 36 (expected value)

5.97 1.98 4.98 3.98 (confidence rate)

2.4097E+0006 9.8277E+0006 1 36
TTTT
---:-- / 48
2.4097E+0006 ? 1 ?
T-T-
---:-- / 36
CC

0
2.4097E+0006 9.8277E+0006 1 36
TTTT
---:-- / 48
2.4097E+0006 ? 1 36
T-TT
---:P- / 42
2.4097E+0006 ? ? ?
T---
---:-- / 30
DNF

0
2.4097E+0006 ? 1 36
T-TT
---:-M / 42
2.4097E+0006 ? 1 36
T-TT
---:-- / 42
DNF

0
5

1.6572E+0006 6.7464E+0006 1 36 (expected value)

6.97 2.98 5.98 4.98 (confidence rate)

1.6572E+0006 6.7464E+0006 1 36
TTTT
---:-- / 48
1.6572E+0006 ? 1 ?
T-T-
---:-- / 36
1.6572E+0006 6.7464E+0006 1 36
TTTT
---:-- / 48
1.6572E+0006 6.7464E+0006 1 36
TTTT
---:-- / 48
1.6572E+0006 ? 1 36
T-TT
---:P- / 42
1.6572E+0006 ? ? ?
T---
---:-- / 30
DNF

0
1.6572E+0006 ? 1 36
T-TT
---:-M / 42
1.6572E+0006 ? 1 36
T-TT
---:-- / 42
DNF

0
Parking (stripped) — P/T
  ITS-Tools LTSMin Tapaal(PAR) Marcie pnmc PNXDD Smart Tapaal(EXP) Tapaal(SEQ) ydd-pt
Total 180 144 48 312 174 102 0 42 66 30
Bonuses 0 0 0 24 84 12 0 0 24 0
Scores 180 144 48 288 90 90 0 42 42 30
104

31745 3.3920E+0005 1 15 (expected value)

7.95 2.00 4.98 3.98 (confidence rate)

31745 1.7383E+0005 1 15
TXTT
V--:-- / 30
31745 ? 1 ?
T-T-
---:-- / 36
31745 3.3920E+0005 1 15
TTTT
---:-- / 48
31745 3.3920E+0005 1 15
TTTT
---:-- / 48
31745 ? ? ?
T---
---:-- / 30
31745 ? ? ?
T---
---:-- / 30
DNF

0
31745 ? 1 15
T-TT
---:-- / 42
31745 ? 1 15
T-TT
---:PM / 42
31745 ? ? ?
T---
---:-- / 30
208

4.5676E+0009 1.0637E+0011 1 32 (expected value)

4.98 1.00 2.98 1.98 (confidence rate)

4.5676E+0009 5.4465E+0010 1 32
TXTT
V--:-- / 30
4.5676E+0009 ? 1 ?
T-T-
---:-- / 36
CC

0
4.5676E+0009 1.0637E+0011 1 32
TTTT
---:-- / 48
4.5676E+0009 ? ? ?
T---
---:P- / 30
4.5676E+0009 ? ? ?
T---
---:-M / 30
DNF

0
DNF

0
DNF

0
DNF

0
416

8.4405E+0021 4.5829E+0023 1 72 (expected value)

4.98 1.00 2.98 1.98 (confidence rate)

8.4405E+0021 2.3428E+0023 1 72
TXTT
V--:-- / 30
8.4405E+0021 ? 1 ?
T-T-
---:-- / 36
CC

0
8.4405E+0021 4.5829E+0023 1 72
TTTT
---:-- / 48
8.4405E+0021 ? ? ?
T---
---:PM / 30
8.4405E+0021 ? ? ?
T---
---:-- / 30
DNF

0
DNF

0
DNF

0
DNF

0
432

3.6702E+0032 3.1753E+0034 1 120 (expected value)

3.98 1.00 2.98 1.98 (confidence rate)

3.6702E+0032 1.6071E+0034 1 120
TXTT
V--:-- / 30
3.6702E+0032 ? 1 ?
T-T-
---:-- / 36
CC

0
3.6702E+0032 3.1753E+0034 1 120
TTTT
---:-- / 48
3.6703E+0032 ? ? ?
T---
---:PM / 30
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
832

1.4648E+0054 2.0475E+0056 1 176 (expected value)

2.98 1.00 1.98 1.98 (confidence rate)

1.4648E+0054 1.0436E+0056 1 176
TXTT
V--:-- / 30
DNF

0
CC

0
1.4648E+0054 2.0475E+0056 1 176
TTTT
---:-- / 48
1.4648E+0054 ? ? ?
T---
---:PM / 30
CC

0
DNF

0
DNF

0
CC

0
CC

0
864

1.4450E+0075 2.9547E+0077 1 272 (expected value)

1.98 1.00 1.98 1.98 (confidence rate)

1.4450E+0075 1.4942E+0077 1 272
TXTT
V--:-- / 30
DNF

0
CC

0
1.4450E+0075 2.9547E+0077 1 272
TTTT
---:PM / 48
1.4449E+0075 ? ? ?
X---
V--:-- / -60
CC

0
DNF

0
DNF

0
CC

0
CC

0
PermAdmissibility (stripped) — Colored
  ITS-Tools LTSMin Tapaal(PAR) Marcie pnmc PNXDD Smart Tapaal(EXP) Tapaal(SEQ) ydd-pt
Total 72 0 0 48 0 0 0 0 0 0
Bonuses 24 0 0 0 0 0 0 0 0 0
Scores 48 0 0 48 0 0 0 0 0 0
01

52537 54600 1 9 (expected value)

1.98 1.98 1.98 1.98 (confidence rate)

52537 54600 1 9
TTTT
---:PM / 48
DNC DNC 52537 54600 1 9
TTTT
---:-- / 48
DNC DNC DNC DNC DNC DNC
02

? (expected value)

0 (confidence rate)

CC

0
DNC DNC DNF

0
DNC DNC DNC DNC DNC DNC
05

? (expected value)

0 (confidence rate)

CC

0
DNC DNC DNF

0
DNC DNC DNC DNC DNC DNC
10

? (expected value)

0 (confidence rate)

CC

0
DNC DNC DNF

0
DNC DNC DNC DNC DNC DNC
20

? (expected value)

0 (confidence rate)

CC

0
DNC DNC DNF

0
DNC DNC DNC DNC DNC DNC
50

? (expected value)

0 (confidence rate)

CC

0
DNC DNC DNF

0
DNC DNC DNC DNC DNC DNC
PermAdmissibility (stripped) — P/T
  ITS-Tools LTSMin Tapaal(PAR) Marcie pnmc PNXDD Smart Tapaal(EXP) Tapaal(SEQ) ydd-pt
Total 48 36 48 48 42 30 48 66 42 30
Bonuses 0 0 0 0 0 0 0 24 0 0
Scores 48 36 48 48 42 30 48 42 42 30
01

52537 54600 1 9 (expected value)

8.94 3.97 6.97 5.97 (confidence rate)

52537 54600 1 9
TTTT
---:-- / 48
52537 ? 1 ?
T-T-
---:-- / 36
52537 54600 1 9
TTTT
---:-- / 48
52537 54600 1 9
TTTT
---:-- / 48
52537 ? 1 9
T-TT
---:-- / 42
52537 ? ? ?
T---
---:-- / 30
52537 54600 1 9
TTTT
---:-- / 48
52537 ? 1 9
T-TT
---:PM / 42
52537 ? 1 9
T-TT
---:-- / 42
52537 ? ? ?
T---
---:-- / 30
02

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0 <