fond
Model Checking Contest @ Petri Nets 2015
Bruxelles, Belgium, June 23, 2015
Results for ReachabilityDeadlock
Last Updated
August 19, 2015

Introduction

Please find here the computed results for the ReachabilityDeadlock 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 +2 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 ReachabilityDeadlock
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total Points 5810 11744 18654 12300 15858 14958 16924 11074 18678

All «Surprise» models
 
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total Points 608 2616 5720 4072 4224 4768 5632 3928 5408
BridgeAndVehicles — Colored
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 0 0 0 640 0 0 0 0
Bonuses 0 0 0 0 128 0 0 0 0
Scores 0 0 0 0 512 0 0 0 0
V04P05N02

T (expected value)

0.92 (confidence rate)

DNC CC

0
DNC CC

0
T
T
---:PM / 64
DNC DNC DNC DNC
V10P10N10

T (expected value)

0.92 (confidence rate)

DNC CC

0
DNC CC

0
T
T
---:PM / 64
DNC DNC DNC DNC
V20P10N10

T (expected value)

0.92 (confidence rate)

DNC CC

0
DNC CC

0
T
T
---:PM / 64
DNC DNC DNC DNC
V20P10N20

T (expected value)

0.92 (confidence rate)

DNC CC

0
DNC CC

0
T
T
---:PM / 64
DNC DNC DNC DNC
V20P10N50

T (expected value)

0.92 (confidence rate)

DNC CC

0
DNC CC

0
T
T
---:PM / 64
DNC DNC DNC DNC
V20P20N10

T (expected value)

0.92 (confidence rate)

DNC CC

0
DNC CC

0
T
T
---:PM / 64
DNC DNC DNC DNC
V20P20N20

T (expected value)

0.92 (confidence rate)

DNC CC

0
DNC CC

0
T
T
---:PM / 64
DNC DNC DNC DNC
V20P20N50

T (expected value)

0.92 (confidence rate)

DNC CC

0
DNC CC

0
T
T
---:PM / 64
DNC DNC DNC DNC
V50P20N10

? (expected value)

0 (confidence rate)

DNC CC

0
DNC CC

0
DNF

0
DNC DNC DNC DNC
V50P20N20

? (expected value)

0 (confidence rate)

DNC CC

0
DNC CC

0
DNF

0
DNC DNC DNC DNC
V50P20N50

? (expected value)

0 (confidence rate)

DNC CC

0
DNC CC

0
DNF

0
DNC DNC DNC DNC
V50P50N10

? (expected value)

0 (confidence rate)

DNC CC

0
DNC CC

0
DNF

0
DNC DNC DNC DNC
V50P50N20

? (expected value)

0 (confidence rate)

DNC CC

0
DNC CC

0
DNF

0
DNC DNC DNC DNC
V50P50N50

? (expected value)

0 (confidence rate)

DNC CC

0
DNC CC

0
DNF

0
DNC DNC DNC DNC
V80P20N10

? (expected value)

0 (confidence rate)

DNC CC

0
DNC CC

0
DNF

0
DNC DNC DNC DNC
V80P20N20

? (expected value)

0 (confidence rate)

DNC CC

0
DNC CC

0
DNF

0
DNC DNC DNC DNC
V80P20N50

? (expected value)

0 (confidence rate)

DNC CC

0
DNC CC

0
DNF

0
DNC DNC DNC DNC
V80P50N10

? (expected value)

0 (confidence rate)

DNC CC

0
DNC CC

0
DNF

0
DNC DNC DNC DNC
V80P50N20

? (expected value)

0 (confidence rate)

DNC CC

0
DNC CC

0
DNF

0
DNC DNC DNC DNC
V80P50N50

? (expected value)

0 (confidence rate)

DNC CC

0
DNC CC

0
DNF

0
DNC DNC DNC DNC
BridgeAndVehicles — P/T
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 256 1280 512 256 1304 1568 1288 1280
Bonuses 0 0 0 0 0 24 288 8 0
Scores 0 256 1280 512 256 1280 1280 1280 1280
V04P05N02

T (expected value)

5.24 (confidence rate)

DNC T
T
---:-- / 64
T
T
---:-- / 64
T
T
---:-- / 64
T
T
---:-- / 64
T
T
---:-- / 64
T
T
---:P- / 64
T
T
---:-M / 64
T
T
---:-- / 64
V10P10N10

T (expected value)

5.24 (confidence rate)

DNC T
T
---:-- / 64
T
T
---:-- / 64
T
T
---:-- / 64
T
T
---:-- / 64
T
T
---:-- / 64
T
T
---:PM / 64
T
T
---:-- / 64
T
T
---:-- / 64
V20P10N10

T (expected value)

4.62 (confidence rate)

DNC DNF

0
T
T
---:-- / 64
T
T
---:-- / 64
T
T
---:-- / 64
T
T
---:-- / 64
T
T
---:PM / 64
T
T
---:-- / 64
T
T
---:-- / 64
V20P10N20

T (expected value)

3.69 (confidence rate)

DNC DNF

0
T
T
---:-- / 64
T
T
---:-- / 64
DNF

0
T
T
---:-M / 64
T
T
---:P- / 64
T
T
---:-- / 64
T
T
---:-- / 64
V20P10N50

T (expected value)

3.69 (confidence rate)

DNC DNF

0
T
T
---:-- / 64
T
T
---:-- / 64
DNF

0
T
T
---:-- / 64
T
T
---:PM / 64
T
T
---:-- / 64
T
T
---:-- / 64
V20P20N10

T (expected value)

4.62 (confidence rate)

DNC DNF

0
T
T
---:-- / 64
T
T
---:-- / 64
T
T
---:-- / 64
T
T
---:-- / 64
T
T
---:PM / 64
T
T
---:-- / 64
T
T
---:-- / 64
V20P20N20

T (expected value)

3.69 (confidence rate)

DNC DNF

0
T
T
---:-- / 64
T
T
---:-- / 64
DNF

0
T
T
---:-- / 64
T
T
---:PM / 64
T
T
---:-- / 64
T
T
---:-- / 64
V20P20N50

T (expected value)

3.69 (confidence rate)

DNC DNF

0
T
T
---:-- / 64
T
T
---:-- / 64
DNF

0
T
T
---:-- / 64
T
T
---:PM / 64
T
T
---:-- / 64
T
T
---:-- / 64
V50P20N10

T (expected value)

2.90 (confidence rate)

DNC DNF

0
T
T
---:-- / 64
DNF

0
DNF

0
T
T
---:-- / 64
T
T
---:PM / 64
T
T
---:-- / 64
T
T
---:-- / 64
V50P20N20

T (expected value)

3.52 (confidence rate)

DNC T
T
---:-- / 64
T
T
---:-- / 64
?
-
---:-- / 0
DNF

0
T
T
---:-- / 64
T
T
---:PM / 64
T
T
---:-- / 64
T
T
---:-- / 64
V50P20N50

T (expected value)

2.90 (confidence rate)

DNC DNF

0
T
T
---:-- / 64
DNF

0
DNF

0
T
T
---:-M / 64
T
T
---:P- / 64
T
T
---:-- / 64
T
T
---:-- / 64
V50P50N10

T (expected value)

2.90 (confidence rate)

DNC DNF

0
T
T
---:-- / 64
DNF

0
DNF

0
T
T
---:-- / 64
T
T
---:PM / 64
T
T
---:-- / 64
T
T
---:-- / 64
V50P50N20

T (expected value)

3.52 (confidence rate)

DNC T
T
---:-- / 64
T
T
---:-- / 64
?
-
---:-- / 0
DNF

0
T
T
---:-- / 64
T
T
---:PM / 64
T
T
---:-- / 64
T
T
---:-- / 64
V50P50N50

T (expected value)

2.90 (confidence rate)

DNC DNF

0
T
T
---:-- / 64
DNF

0
DNF

0
T
T
---:-- / 64
T
T
---:PM / 64
T
T
---:-- / 64
T
T
---:-- / 64
V80P20N10

T (expected value)

2.90 (confidence rate)

DNC DNF

0
T
T
---:-- / 64
?
-
---:-- / 0
DNF

0
T
T
---:-- / 64
T
T
---:PM / 64
T
T
---:-- / 64
T
T
---:-- / 64
V80P20N20

T (expected value)

2.90 (confidence rate)

DNC DNF

0
T
T
---:-- / 64
DNF

0
DNF

0
T
T
---:-- / 64
T
T
---:PM / 64
T
T
---:-- / 64
T
T
---:-- / 64
V80P20N50

T (expected value)

2.90 (confidence rate)

DNC DNF

0
T
T
---:-- / 64
DNF

0
DNF

0
T
T
---:-- / 64
T
T
---:PM / 64
T
T
---:-- / 64
T
T
---:-- / 64
V80P50N10

T (expected value)

2.90 (confidence rate)

DNC DNF

0
T
T
---:-- / 64
?
-
---:-- / 0
DNF

0
T
T
---:-M / 64
T
T
---:P- / 64
T
T
---:-- / 64
T
T
---:-- / 64
V80P50N20

T (expected value)

2.90 (confidence rate)

DNC DNF

0
T
T
---:-- / 64
DNF

0
DNF

0
T
T
---:-- / 64
T
T
---:PM / 64
T
T
---:-- / 64
T
T
---:-- / 64
V80P50N50

T (expected value)

2.90 (confidence rate)

DNC DNF

0
T
T
---:-- / 64
DNF

0
DNF

0
T
T
---:-- / 64
T
T
---:PM / 64
T
T
---:-- / 64
T
T
---:-- / 64
HypercubeGrid — P/T
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 64 240 0 0 0 0 0 0
Bonuses 0 0 48 0 0 0 0 0 0
Scores 0 64 192 0 0 0 0 0 0
C3K4P4B12

T (expected value)

0.98 (confidence rate)

DNC DNF

0
T
T
---:PM / 64
DNF

0
DNF

0
CC

0
?
-
---:-- / 0
DNF

0
F
X
V--:-- / -
C4K3P3B12

T (expected value)

0.98 (confidence rate)

DNC CC

0
T
T
---:PM / 64
DNF

0
DNF

0
CC

0
?
-
---:-- / 0
DNF

0
DNF

0
C5K3P3B15

T (expected value)

1.60 (confidence rate)

DNC T
T
---:-- / 64
T
T
---:PM / 64
DNF

0
DNF

0
CC

0
?
-
---:-- / 0
DNF

0
DNF

0
IBM319 — P/T
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 64 64 64 64 64 64 80 0 64
Bonuses 0 0 0 0 0 0 16 0 0
Scores 64 64 64 64 64 64 64 0 64
none

T (expected value)

5.77 (confidence rate)

T
T
---:-- / 64
T
T
---:-- / 64
T
T
---:-- / 64
T
T
---:-- / 64
T
T
---:-- / 64
T
T
---:-- / 64
T
T
---:PM / 64
DNF

0
T
T
---:-- / 64
IBM5964 — P/T
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 64 64 64 64 64 80 0 64
Bonuses 0 0 0 0 0 0 16 0 0
Scores 0 64 64 64 64 64 64 0 64
none

T (expected value)

4.80 (confidence rate)

DNC T
T
---:-- / 64
T
T
---:-- / 64
T
T
---:-- / 64
T
T
---:-- / 64
T
T
---:-- / 64
T
T
---:PM / 64
DNF

0
T
T
---:-- / 64
IBM703 — P/T
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 80 64 64 64 64 64 64 0 64
Bonuses 16 0 0 0 0 0 0 0 0
Scores 64 64 64 64 64 64 64 0 64
none

T (expected value)

5.77 (confidence rate)

T
T
---:PM / 64
T
T
---:-- / 64
T
T
---:-- / 64
T
T
---:-- / 64
T
T
---:-- / 64
T
T
---:-- / 64
T
T
---:-- / 64
DNF

0
T
T
---:-- / 64
IOTPpurchase — P/T
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 64 128 288 192 256 192 224 192 256
Bonuses 0 0 32 0 0 0 32 0 0
Scores 64 128 256 192 256 192 192 192 256
C01M01P01D01

F (expected value)

6.21 (confidence rate)

F
T
---:-- / 64
F
T
---:-- / 64
F
T
---:-- / 64
F
T
---:-- / 64
F
T
---:-- / 64
F
T
---:-- / 64
F
T
---:PM / 64
F
T
---:-- / 64
F
T
---:-- / 64
C03M03P03D03

F (expected value)

5.24 (confidence rate)

DNC F
T
---:-- / 64
F
T
---:-- / 64
F
T
---:-- / 64
F
T
---:-- / 64
F
T
---:-- / 64
F
T
---:PM / 64
F
T
---:-- / 64
F
T
---:-- / 64
C05M04P03D02

F (expected value)

4.17 (confidence rate)

DNC T
X
V--:-- / -
F
T
---:PM / 64
F
T
---:-- / 64
F
T
---:-- / 64
F
T
---:-- / 64
F
T
---:-- / 64
DNF

0
F
T
---:-- / 64
C12M10P15D17

F (expected value)

2.83 (confidence rate)

DNC T
X
V--:-- / -
F
T
---:PM / 64
DNF

0
F
T
---:-- / 64
CC

0
?
-
---:-- / 0
F
T
---:-- / 64
F
T
---:-- / 64
Parking — P/T
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 264 192 440 320 256 384 416 128 384
Bonuses 8 0 56 0 0 0 32 0 0
Scores 256 192 384 320 256 384 384 128 384
104

T (expected value)

6.21 (confidence rate)

T
T
---:-M / 64
T
T
---:-- / 64
T
T
---:-- / 64
T
T
---:-- / 64
T
T
---:-- / 64
T
T
---:-- / 64
T
T
---:P- / 64
T
T
---:-- / 64
T
T
---:-- / 64
208

T (expected value)

6.21 (confidence rate)

T
T
---:-- / 64
T
T
---:-- / 64
T
T
---:-- / 64
T
T
---:-- / 64
T
T
---:-- / 64
T
T
---:-- / 64
T
T
---:PM / 64
T
T
---:-- / 64
T
T
---:-- / 64
416

T (expected value)

5.77 (confidence rate)

T
T
---:-- / 64
T
T
---:-- / 64
T
T
---:P- / 64
T
T
---:-- / 64
T
T
---:-- / 64
T
T
---:-- / 64
T
T
---:-M / 64
DNF

0
T
T
---:-- / 64
432

T (expected value)

5.14 (confidence rate)

T
T
---:-- / 64
DNF

0
T
T
---:PM / 64
T
T
---:-- / 64
T
T
---:-- / 64
T
T
---:-- / 64
T
T
---:-- / 64
DNF

0
T
T
---:-- / 64
832

T (expected value)

3.25 (confidence rate)

CC

0
DNF

0
T
T
---:PM / 64
T
T
---:-- / 64
DNF

0
T
T
---:-- / 64
T
T
---:-- / 64
DNF

0
T
T
---:-- / 64
864

T (expected value)

2.46 (confidence rate)

CC

0
DNF

0
T
T
---:PM / 64
DNF

0
DNF

0
T
T
---:-- / 64
T
T
---:-- / 64
DNF

0
T
T
---:-- / 64
PhaseVariation — P/T
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 192 704 512 192 512 608 256 576
Bonuses 0 0 64 0 0 0 96 0 0
Scores 0 192 640 512 192 512 512 256 576
D02CS010

T (expected value)

5.24 (confidence rate)

DNC T
T
---:-- / 64
T
T
---:-- / 64
T
T
---:-- / 64
T
T
---:-- / 64
T
T
---:-- / 64
T
T
---:PM / 64
T
T
---:-- / 64
T
T
---:-- / 64
D02CS100

T (expected value)

5.24 (confidence rate)

DNC T
T
---:-- / 64
T
T
---:-- / 64
T
T
---:-- / 64
T
T
---:-- / 64
T
T
---:-- / 64
T
T
---:PM / 64
T
T
---:-- / 64
T
T
---:-- / 64
D05CS010

T (expected value)

5.24 (confidence rate)

DNC T
T
---:-- / 64
T
T
---:-- / 64
T
T
---:-- / 64
T
T
---:-- / 64
T
T
---:-- / 64
T
T
---:PM / 64
T
T
---:-- / 64
T
T
---:-- / 64
D05CS100

T (expected value)

3.69 (confidence rate)

DNC DNF

0
T
T
---:-- / 64
T
T
---:-- / 64
DNF

0
T
T
---:-- / 64
T
T
---:PM / 64
T
T
---:-- / 64
T
T
---:-- / 64
D10CS010

T (expected value)

3.25 (confidence rate)

DNC DNF

0
T
T
---:-- / 64
T
T
---:-- / 64
DNF

0
T
T
---:-- / 64
T
T
---:PM / 64
DNF

0
T
T
---:-- / 64
D10CS100

T (expected value)

3.25 (confidence rate)

DNC CC

0
T
T
---:-- / 64
T
T
---:-- / 64
DNF

0
T
T
---:-- / 64
T
T
---:PM / 64
DNF

0
T
T
---:-- / 64
D20CS010

T (expected value)

3.25 (confidence rate)

DNC CC

0
T
T
---:PM / 64
T
T
---:-- / 64
DNF

0
T
T
---:-- / 64
T
T
---:-- / 64
DNF

0
T
T
---:-- / 64
D20CS100

T (expected value)

3.25 (confidence rate)

DNC CC

0
T
T
---:PM / 64
T
T
---:-- / 64
DNF

0
T
T
---:-- / 64
T
T
---:-- / 64
DNF

0
T
T
---:-- / 64
D30CS010

T (expected value)

1.46 (confidence rate)

DNC DNF

0
T
T
---:PM / 64
DNF

0
DNF

0
CC

0
?
-
---:-- / 0
DNF

0
T
T
---:-- / 64
D30CS100

T (expected value)

0.98 (confidence rate)

DNC DNF

0
T
T
---:PM / 64
DNF

0
DNF

0
CC

0
?
-
---:-- / 0
DNF

0
DNF

0
Raft — P/T
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 64 376 128 616 448 64 80 64 608
Bonuses 0 56 0 40 0 0 16 0 32
Scores 64 320 128 576 448 64 64 64 576
02

F (expected value)

6.21 (confidence rate)

F
T
---:-- / 64
F
T
---:-- / 64
F
T
---:-- / 64
F
T
---:-- / 64
F
T
---:-- / 64
F
T
---:-- / 64
F
T
---:PM / 64
F
T
---:-- / 64
F
T
---:-- / 64
03

F (expected value)

3.80 (confidence rate)

DNF

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

0
?
-
---:-- / 0
DNF

0
F
T
---:-- / 64
04

F (expected value)

2.82 (confidence rate)

CC

0
F
T
---:PM / 64
?
-
---:-- / 0
F
T
---:-- / 64
F
T
---:-- / 64
CC

0
?
-
---:-- / 0
DNF

0
F
T
---:-- / 64
05

F (expected value)

2.82 (confidence rate)

CC

0
F
T
---:-M / 64
?
-
---:-- / 0
F
T
---:P- / 64
F
T
---:-- / 64
CC

0
?
-
---:-- / 0
DNF

0
F
T
---:-- / 64
06

F (expected value)

2.82 (confidence rate)

CC

0
F
T
---:PM / 64
?
-
---:-- / 0
F
T
---:-- / 64
F
T
---:-- / 64
CC

0
?
-
---:-- / 0
DNF

0
F
T
---:-- / 64
07

F (expected value)

2.20 (confidence rate)

CC

0
DNF

0
?
-
---:-- / 0
F
T
---:P- / 64
F
T
---:-- / 64
CC

0
?
-
---:-- / 0
DNF

0
F
T
---:-M / 64
08

F (expected value)

2.20 (confidence rate)

CC

0
DNF

0
?
-
---:-- / 0
F
T
---:P- / 64
F
T
---:-- / 64
CC

0
?
-
---:-- / 0
DNF

0
F
T
---:-M / 64
09

F (expected value)

1.27 (confidence rate)

CC

0
DNF

0
?
-
---:-- / 0
F
T
---:P- / 64
DNF

0
CC

0
?
-
---:-- / 0
DNF

0
F
T
---:-M / 64
10

F (expected value)

1.27 (confidence rate)

CC

0
DNF

0
DNF

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

0
CC

0
?
-
---:-- / 0
DNF

0
F
T
---:-M / 64
SafeBus — Colored
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 0 0 0 0 0 0 0 0
Bonuses 0 0 0 0 0 0 0 0 0
Scores 0 0 0 0 0 0 0 0 0
03

? (expected value)

0 (confidence rate)

DNC CC

0
DNC CC

0
CC

0
DNC DNC DNC DNC
06

? (expected value)

0 (confidence rate)

DNC CC

0
DNC CC

0
CC

0
DNC DNC DNC DNC
10

? (expected value)

0 (confidence rate)

DNC CC

0
DNC CC

0
CC

0
DNC DNC DNC DNC
15

? (expected value)

0 (confidence rate)

DNC CC

0
DNC CC

0
CC

0
DNC DNC DNC DNC
20

? (expected value)

0 (confidence rate)

DNC CC

0
DNC CC

0
CC

0
DNC DNC DNC DNC
50

? (expected value)

0 (confidence rate)

DNC CC

0
DNC CC

0
CC

0
DNC DNC DNC DNC
80

? (expected value)

0 (confidence rate)

DNC CC

0
DNC CC

0
CC

0
DNC DNC DNC DNC
SafeBus — P/T
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 72 64 144 64 128 64 72 64 128
Bonuses 8 0 16 0 0 0 8 0 0
Scores 64 64 128 64 128 64 64 64 128
03

F (expected value)

6.21 (confidence rate)

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

F (expected value)

2.38 (confidence rate)

DNF

0
DNF

0
F
T
---:PM / 64
DNF

0
F
T
---:-- / 64
DNF

0
?
-
---:-- / 0
DNF

0
F
T
---:-- / 64
10

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
?
?
---:-- / 0
DNF

0
DNF

0
15

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
?
?
---:-- / 0
DNF

0
DNF

0
20

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
?
?
---:-- / 0
DNF

0
DNF

0
SmallOperatingSystem — P/T
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 832 1256 1216 1216 1224 1456 1232 1216
Bonuses 0 0 40 0 0 8 240 16 0
Scores 0 832 1216 1216 1216 1216 1216 1216 1216
MT0016DC0008

T (expected value)

5.24 (confidence rate)

DNC T
T
---:-- / 64
T
T
---:-- / 64
T
T
---:-- / 64
T
T
---:-- / 64
T
T
---:-- / 64
T
T
---:PM / 64
T
T
---:-- / 64
T
T
---:-- / 64
MT0032DC0008

T (expected value)

5.24 (confidence rate)

DNC T
T
---:-- / 64
T
T
---:-- / 64
T
T
---:-- / 64
T
T
---:-- / 64
T
T
---:-- / 64
T
T
---:PM / 64
T
T
---:-- / 64
T
T
---:-- / 64
MT0032DC0016

T (expected value)

5.24 (confidence rate)

DNC T
T
---:-- / 64
T
T
---:-- / 64
T
T
---:-- / 64
T
T
---:-- / 64
T
T
---:-- / 64
T
T
---:PM / 64
T
T
---:-- / 64
T
T
---:-- / 64
MT0064DC0016

T (expected value)

5.24 (confidence rate)

DNC T
T
---:-- / 64
T
T
---:-- / 64
T
T
---:-- / 64
T
T
---:-- / 64
T
T
---:-- / 64
T
T
---:PM / 64
T
T
---:-- / 64
T
T
---:-- / 64
MT0064DC0032

T (expected value)

5.24 (confidence rate)

DNC T
T
---:-- / 64
T
T
---:-M / 64
T
T
---:-- / 64
T
T
---:-- / 64
T
T
---:-- / 64
T
T
---:P- / 64
T
T
---:-- / 64
T
T
---:-- / 64
MT0128DC0032

T (expected value)

5.24 (confidence rate)

DNC T
T
---:-- / 64
T
T
---:-M / 64
T
T
---:-- / 64
T
T
---:-- / 64
T
T
---:-- / 64
T
T
---:P- / 64
T
T
---:-- / 64
T
T
---:-- / 64
MT0128DC0064

T (expected value)

5.24 (confidence rate)

DNC T
T
---:-- / 64
T
T
---:-M / 64
T
T
---:-- / 64
T
T
---:-- / 64
T
T
---:-- / 64
T
T
---:P- / 64
T
T
---:-- / 64
T
T
---:-- / 64
MT0256DC0064

T (expected value)

5.24 (confidence rate)

DNC T
T
---:-- / 64
T
T
---:-M / 64
T
T
---:-- / 64
T
T
---:-- / 64
T
T
---:-- / 64
T
T
---:P- / 64
T
T
---:-- / 64
T
T
---:-- / 64
MT0256DC0128

T (expected value)

5.24 (confidence rate)

DNC T
T
---:-- / 64
T
T
---:-- / 64
T
T
---:-- / 64
T
T
---:-- / 64
T
T
---:-- / 64
T
T
---:PM / 64
T
T
---:-- / 64
T
T
---:-- / 64
MT0512DC0128

T (expected value)

5.24 (confidence rate)

DNC T
T
---:-- / 64
T
T
---:-- / 64
T
T
---:-- / 64
T
T
---:-- / 64
T
T
---:-- / 64
T
T
---:PM / 64
T
T
---:-- / 64
T
T
---:-- / 64
MT0512DC0256

T (expected value)

5.24 (confidence rate)

DNC T
T
---:-- / 64
T
T
---:-M / 64
T
T
---:-- / 64
T
T
---:-- / 64
T
T
---:-- / 64
T
T
---:P- / 64
T
T
---:-- / 64
T
T
---:-- / 64
MT1024DC0256

T (expected value)

5.24 (confidence rate)

DNC T
T
---:-- / 64
T
T
---:-- / 64
T
T
---:-- / 64
T
T
---:-- / 64
T
T
---:-- / 64
T
T
---:PM / 64
T
T
---:-- / 64
T
T
---:-- / 64
MT1024DC0512

T (expected value)

5.24 (confidence rate)

DNC T
T
---:-- / 64
T
T
---:-- / 64
T
T
---:-- / 64
T
T
---:-- / 64
T
T
---:-- / 64
T
T
---:P- / 64
T
T
---:-M / 64
T
T
---:-- / 64
MT2048DC0512

T (expected value)

4.62 (confidence rate)

DNC DNF

0
T
T
---:-- / 64
T
T
---:-- / 64
T
T
---:-- / 64
T
T
---:-- / 64
T
T
---:PM / 64
T
T
---:-- / 64
T
T
---:-- / 64
MT2048DC1024

T (expected value)

4.62 (confidence rate)

DNC DNF

0
T
T
---:-- / 64
T
T
---:-- / 64
T
T
---:-- / 64
T
T
---:-- / 64
T
T
---:PM / 64
T
T
---:-- / 64
T
T
---:-- / 64
MT4096DC1024

T (expected value)

4.62 (confidence rate)

DNC DNF

0
T
T
---:-- / 64
T
T
---:-- / 64
T
T
---:-- / 64
T
T
---:-- / 64
T
T
---:P- / 64
T
T
---:-M / 64
T
T
---:-- / 64
MT4096DC2048

T (expected value)

4.62 (confidence rate)

DNC DNF

0
T
T
---:-- / 64
T
T
---:-- / 64
T
T
---:-- / 64
T
T
---:-- / 64
T
T
---:PM / 64
T
T
---:-- / 64
T
T
---:-- / 64
MT8192DC2048

T (expected value)

4.62 (confidence rate)

DNC DNF

0
T
T
---:-- / 64
T
T
---:-- / 64
T
T
---:-- / 64
T
T
---:-- / 64
T
T
---:PM / 64
T
T
---:-- / 64
T
T
---:-- / 64
MT8192DC4096

T (expected value)

4.62 (confidence rate)

DNC DNF

0
T
T
---:-- / 64
T
T
---:-- / 64
T
T
---:-- / 64
T
T
---:-M / 64
T
T
---:P- / 64
T
T
---:-- / 64
T
T
---:-- / 64
SquareGrid — P/T
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 0 384 64 64 192 208 64 128
Bonuses 0 0 64 0 0 0 16 0 0
Scores 0 0 320 64 64 192 192 64 128
020102

T (expected value)

4.62 (confidence rate)

DNC DNF

0
T
T
---:-- / 64
T
T
---:-- / 64
T
T
---:-- / 64
T
T
---:-- / 64
T
T
---:PM / 64
T
T
---:-- / 64
T
T
---:-- / 64
040204

T (expected value)

2.46 (confidence rate)

DNC DNF

0
T
T
---:PM / 64
DNF

0
DNF

0
T
T
---:-- / 64
T
T
---:-- / 64
DNF

0
T
T
---:-- / 64
080408

T (expected value)

1.98 (confidence rate)

DNC DNF

0
T
T
---:PM / 64
DNF

0
DNF

0
T
T
---:-- / 64
T
T
---:-- / 64
DNF

0
F
X
V--:-- / -
100510

T (expected value)

0.98 (confidence rate)

DNC DNF

0
T
T
---:PM / 64
DNF

0
DNF

0
CC

0
?
-
---:-- / 0
DNF

0
F
X
V--:-- / -
130613

T (expected value)

0.98 (confidence rate)

DNC CC

0
T
T
---:PM / 64
DNF

0
DNF

0
CC

0
?
-
---:-- / 0
DNF

0
DNF

0
SwimmingPool — P/T
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 320 664 384 576 640 776 640 640
Bonuses 0 0 24 0 0 0 136 0 0
Scores 0 320 640 384 576 640 640 640 640
01

F (expected value)

5.24 (confidence rate)

DNC F
T
---:-- / 64
F
T
---:-- / 64
F
T
---:-- / 64
F
T
---:-- / 64
F
T
---:-- / 64
F
T
---:PM / 64
F
T
---:-- / 64
F
T
---:-- / 64
02

F (expected value)

5.24 (confidence rate)

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

F (expected value)

5.24 (confidence rate)

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

F (expected value)

5.24 (confidence rate)

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

F (expected value)

5.24 (confidence rate)

DNC F
T
---:-- / 64
F
T
---:-M / 64
F
T
---:-- / 64
F
T
---:-- / 64
F
T
---:-- / 64
F
T
---:P- / 64
F
T
---:-- / 64
F
T
---:-- / 64
06

F (expected value)

4.62 (confidence rate)

DNC DNF

0
F
T
---:-- / 64
F
T
---:-- / 64
F
T
---:-- / 64
F
T
---:-- / 64
F
T
---:PM / 64
F
T
---:-- / 64
F
T
---:-- / 64
07

F (expected value)

3.83 (confidence rate)

DNC DNF

0
F
T
---:-- / 64
DNF

0
F
T
---:-- / 64
F
T
---:-- / 64
F
T
---:PM / 64
F
T
---:-- / 64
F
T
---:-- / 64
08

F (expected value)

3.83 (confidence rate)

DNC DNF

0
F
T
---:-- / 64
DNF

0
F
T
---:-- / 64
F
T
---:-- / 64
F
T
---:PM / 64
F
T
---:-- / 64
F
T
---:-- / 64
09

F (expected value)

3.83 (confidence rate)

DNC DNF

0
F
T
---:-- / 64
DNF

0
F
T
---:-- / 64
F
T
---:-- / 64
F
T
---:PM / 64
F
T
---:-- / 64
F
T
---:-- / 64
10

F (expected value)

2.90 (confidence rate)

DNC DNF

0
F
T
---:-- / 64
DNF

0
DNF

0
F
T
---:-- / 64
F
T
---:PM / 64
F
T
---:-- / 64
F
T
---:-- / 64

All «Stripped» models
 
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total Points 3852 6834 9570 6174 8700 7662 8592 5364 9972
ARMCacheCoherence (stripped) — P/T
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 0 0 54 54 0 0 0 0
Bonuses 0 0 0 6 6 0 0 0 0
Scores 0 0 0 48 48 0 0 0 0
none

F (expected value)

1.72 (confidence rate)

CC

0
DNF

0
?
-
---:-- / 0
F
T
---:P- / 48
F
T
---:-M / 48
CC

0
?
-
---:-- / 0
DNF

0
DNF

0
Angiogenesis (stripped) — P/T
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 96 348 240 192 96 108 96 108
Bonuses 0 0 60 0 0 0 12 0 12
Scores 0 96 288 240 192 96 96 96 96
01

T (expected value)

5.24 (confidence rate)

F
X
V--:-- / -
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:PM / 48
T
T
---:-- / 48
T
T
---:-- / 48
05

T (expected value)

5.24 (confidence rate)

DNC T
T
---:-- / 48
T
T
---:PM / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
10

T (expected value)

2.70 (confidence rate)

DNC DNF

0
T
T
---:PM / 48
T
T
---:-- / 48
T
T
---:-- / 48
CC

0
?
-
---:-- / 0
DNF

0
F
X
V--:-- / -
15

T (expected value)

2.70 (confidence rate)

DNC DNF

0
T
T
---:PM / 48
T
T
---:-- / 48
T
T
---:-- / 48
CC

0
?
-
---:-- / 0
DNF

0
F
X
V--:-- / -
20

T (expected value)

1.77 (confidence rate)

DNC DNF

0
T
T
---:PM / 48
T
T
---:-- / 48
DNF

0
CC

0
?
-
---:-- / 0
DNF

0
F
X
V--:-- / -
25

T (expected value)

0.98 (confidence rate)

DNC DNF

0
T
T
---:PM / 48
DNF

0
DNF

0
CC

0
?
-
---:-- / 0
DNF

0
F
X
V--:-- / -
50

(F) (expected value)

0.48 (confidence rate)

DNC DNF

0
?
-
---:-- / 0
DNF

0
DNF

0
CC

0
?
-
---:-- / 0
DNF

0
F
?
---:PM / 0
CSRepetitions (stripped) — Colored
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 0 0 0 120 0 0 0 0
Bonuses 0 0 0 0 24 0 0 0 0
Scores 0 0 0 0 96 0 0 0 0
02

T (expected value)

0.92 (confidence rate)

DNC DNC DNC CC

0
T
T
---:PM / 48
DNC DNC DNC DNC
03

T (expected value)

0.92 (confidence rate)

DNC DNC DNC CC

0
T
T
---:PM / 48
DNC DNC DNC DNC
04

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
05

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
07

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
10

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
CSRepetitions (stripped) — P/T
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 96 300 96 96 294 342 192 288
Bonuses 0 0 12 0 0 6 54 0 0
Scores 0 96 288 96 96 288 288 192 288
02

T (expected value)

5.24 (confidence rate)

DNC T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:PM / 48
T
T
---:-- / 48
T
T
---:-- / 48
03

T (expected value)

4.62 (confidence rate)

DNC DNF

0
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:PM / 48
T
T
---:-- / 48
T
T
---:-- / 48
04

T (expected value)

3.52 (confidence rate)

DNC T
T
---:-- / 48
T
T
---:-- / 48
DNF

0
DNF

0
T
T
---:-- / 48
T
T
---:PM / 48
T
T
---:-- / 48
T
T
---:-- / 48
05

T (expected value)

2.90 (confidence rate)

DNC DNF

0
T
T
---:-- / 48
DNF

0
DNF

0
T
T
---:-- / 48
T
T
---:PM / 48
T
T
---:-- / 48
T
T
---:-- / 48
07

T (expected value)

2.46 (confidence rate)

DNC CC

0
T
T
---:-- / 48
DNF

0
DNF

0
T
T
---:P- / 48
T
T
---:-M / 48
DNF

0
T
T
---:-- / 48
10

T (expected value)

2.46 (confidence rate)

DNC CC

0
T
T
---:PM / 48
DNF

0
DNF

0
T
T
---:-- / 48
T
T
---:-- / 48
DNF

0
T
T
---:-- / 48
CircadianClock (stripped) — P/T
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 48 162 96 144 204 96 108 288 318
Bonuses 0 18 0 0 12 0 12 0 30
Scores 48 144 96 144 192 96 96 288 288
000001

F (expected value)

6.21 (confidence rate)

F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:PM / 48
F
T
---:-- / 48
F
T
---:-- / 48
000010

F (expected value)

5.24 (confidence rate)

DNC F
T
---:PM / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
000100

F (expected value)

3.27 (confidence rate)

DNC F
T
---:-M / 48
?
-
---:-- / 0
F
T
---:-- / 48
F
T
---:P- / 48
CC

0
?
-
---:-- / 0
F
T
---:-- / 48
F
T
---:-- / 48
001000

F (expected value)

1.85 (confidence rate)

DNC DNF

0
?
-
---:-- / 0
DNF

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

0
?
-
---:-- / 0
F
T
---:-- / 48
F
T
---:-M / 48
010000

F (expected value)

0.92 (confidence rate)

DNC DNF

0
?
-
---:-- / 0
?
-
---:-- / 0
DNF

0
CC

0
?
-
---:-- / 0
F
T
---:-- / 48
F
T
---:PM / 48
100000

F (expected value)

0.92 (confidence rate)

DNC DNF

0
?
-
---:-- / 0
?
-
---:-- / 0
CC

0
CC

0
?
-
---:-- / 0
F
T
---:-- / 48
F
T
---:PM / 48
CircularTrains (stripped) — P/T
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 96 408 144 288 96 108 96 336
Bonuses 0 0 72 0 0 0 12 0 0
Scores 0 96 336 144 288 96 96 96 336
012

F (expected value)

5.24 (confidence rate)

DNC F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:PM / 48
F
T
---:-- / 48
F
T
---:-- / 48
024

F (expected value)

5.24 (confidence rate)

DNC F
T
---:-- / 48
F
T
---:PM / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
048

F (expected value)

3.18 (confidence rate)

DNC DNF

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

0
?
-
---:-- / 0
DNF

0
F
T
---:-- / 48
096

F (expected value)

2.38 (confidence rate)

DNC DNF

0
F
T
---:PM / 48
DNF

0
F
T
---:-- / 48
CC

0
?
-
---:-- / 0
DNF

0
F
T
---:-- / 48
192

F (expected value)

2.38 (confidence rate)

DNC DNF

0
F
T
---:PM / 48
DNF

0
F
T
---:-- / 48
CC

0
?
-
---:-- / 0
DNF

0
F
T
---:-- / 48
384

F (expected value)

2.38 (confidence rate)

DNC DNF

0
F
T
---:PM / 48
DNF

0
F
T
---:-- / 48
CC

0
?
-
---:-- / 0
DNF

0
F
T
---:-- / 48
768

F (expected value)

1.46 (confidence rate)

DNC DNF

0
F
T
---:PM / 48
DNF

0
DNF

0
CC

0
?
-
---:-- / 0
DNF

0
F
T
---:-- / 48
DatabaseWithMutex (stripped) — Colored
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 0 0 0 120 0 0 0 0
Bonuses 0 0 0 0 24 0 0 0 0
Scores 0 0 0 0 96 0 0 0 0
02

F (expected value)

0.92 (confidence rate)

DNC DNC DNC CC

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

F (expected value)

0.92 (confidence rate)

DNC DNC DNC CC

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

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
20

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
40

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
DatabaseWithMutex (stripped) — P/T
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 96 48 108 48 96 96 108 48 120
Bonuses 0 0 12 0 0 0 12 0 24
Scores 96 48 96 48 96 96 96 48 96
02

F (expected value)

6.21 (confidence rate)

F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:PM / 48
F
T
---:-- / 48
F
T
---:-- / 48
04

F (expected value)

4.35 (confidence rate)

F
T
---:-- / 48
DNF

0
F
T
---:PM / 48
DNF

0
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
DNF

0
F
T
---:-- / 48
10

(F) (expected value)

0.48 (confidence rate)

CC

0
DNF

0
?
-
---:-- / 0
DNF

0
DNF

0
CC

0
?
-
---:-- / 0
DNF

0
F
?
---:PM / 0
20

(F) (expected value)

0.48 (confidence rate)

CC

0
DNF

0
?
-
---:-- / 0
DNF

0
DNF

0
CC

0
?
-
---:-- / 0
DNF

0
F
?
---:PM / 0
40

? (expected value)

0 (confidence rate)

CC

0
CC

0
?
?
---:-- / 0
DNF

0
DNF

0
CC

0
?
?
---:-- / 0
DNF

0
DNF

0
Dekker (stripped) — P/T
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 270 144 264 96 144 96 102 96 96
Bonuses 30 0 24 0 0 0 6 0 0
Scores 240 144 240 96 144 96 96 96 96
010

F (expected value)

6.21 (confidence rate)

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

F (expected value)

6.21 (confidence rate)

F
T
---:PM / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
020

F (expected value)

3.49 (confidence rate)

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

0
F
T
---:-- / 48
DNF

0
?
-
---:-- / 0
DNF

0
DNF

0
050

F (expected value)

1.95 (confidence rate)

F
T
---:P- / 48
DNF

0
F
T
---:-M / 48
DNF

0
DNF

0
DNF

0
?
-
---:-- / 0
DNF

0
DNF

0
100

F (expected value)

1.95 (confidence rate)

F
T
---:P- / 48
DNF

0
F
T
---:-M / 48
DNF

0
DNF

0
DNF

0
?
-
---:-- / 0
DNF

0
DNF

0
200

? (expected value)

0 (confidence rate)

CC

0
DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
?
?
---:-- / 0
DNF

0
DNF

0
Diffusion2D (stripped) — P/T
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 720 48 192 828 0 0 0 660
Bonuses 0 144 0 0 60 0 0 0 36
Scores 0 576 48 192 768 0 0 0 624
D05N010

F (expected value)

3.80 (confidence rate)

DNC F
T
---:PM / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
DNF

0
?
-
---:-- / 0
DNF

0
F
T
---:-- / 48
D05N050

F (expected value)

2.82 (confidence rate)

DNC F
T
---:-M / 48
?
-
---:-- / 0
F
T
---:-- / 48
F
T
---:P- / 48
DNF

0
?
-
---:-- / 0
DNF

0
F
T
---:-- / 48
D05N100

F (expected value)

2.03 (confidence rate)

DNC F
T
---:-M / 48
?
-
---:-- / 0
DNF

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

0
?
-
---:-- / 0
DNF

0
F
T
---:-- / 48
D05N150

F (expected value)

2.03 (confidence rate)

DNC F
T
---:-M / 48
?
-
---:-- / 0
DNF

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

0
?
-
---:-- / 0
DNF

0
F
T
---:-- / 48
D05N200

F (expected value)

2.03 (confidence rate)

DNC F
T
---:-M / 48
?
-
---:-- / 0
DNF

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

0
?
-
---:-- / 0
DNF

0
F
T
---:-- / 48
D05N250

F (expected value)

2.03 (confidence rate)

DNC F
T
---:-M / 48
?
-
---:-- / 0
DNF

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

0
?
-
---:-- / 0
DNF

0
F
T
---:-- / 48
D05N300

F (expected value)

1.41 (confidence rate)

DNC DNF

0
?
-
---:-- / 0
DNF

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

0
?
-
---:-- / 0
DNF

0
F
T
---:-M / 48
D05N350

F (expected value)

1.41 (confidence rate)

DNC DNF

0
?
-
---:-- / 0
DNF

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

0
?
-
---:-- / 0
DNF

0
F
T
---:-M / 48
D10N010

F (expected value)

2.82 (confidence rate)

DNC F
T
---:PM / 48
?
-
---:-- / 0
F
T
---:-- / 48
F
T
---:-- / 48
DNF

0
?
-
---:-- / 0
DNF

0
F
T
---:-- / 48
D10N050

F (expected value)

2.03 (confidence rate)

DNC F
T
---:-M / 48
?
-
---:-- / 0
DNF

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

0
?
-
---:-- / 0
DNF

0
F
T
---:-- / 48
D10N100

F (expected value)

2.03 (confidence rate)

DNC F
T
---:-- / 48
?
-
---:-- / 0
DNF

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

0
?
-
---:-- / 0
DNF

0
F
T
---:-M / 48
D10N150

F (expected value)

1.41 (confidence rate)

DNC DNF

0
?
-
---:-- / 0
DNF

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

0
?
-
---:-- / 0
DNF

0
F
T
---:-M / 48
D10N200

F (expected value)

1.41 (confidence rate)

DNC DNF

0
?
-
---:-- / 0
DNF

0
F
T
---:-- / 48
CC

0
?
-
---:-- / 0
DNF

0
F
T
---:PM / 48
D20N010

F (expected value)

2.34 (confidence rate)

DNC F
T
---:PM / 48
?
-
---:-- / 0
F
T
---:-- / 48
F
T
---:-- / 48
DNF

0
?
-
---:-- / 0
DNF

0
DNF

0
D20N050

F (expected value)

1.55 (confidence rate)

DNC F
T
---:PM / 48
?
-
---:-- / 0
DNF

0
F
T
---:-- / 48
DNF

0
?
-
---:-- / 0
DNF

0
DNF

0
D20N100

(F) (expected value)

0.63 (confidence rate)

DNC F
?
---:PM / 0
?
-
---:-- / 0
DNF

0
DNF

0
DNF

0
?
-
---:-- / 0
DNF

0
DNF

0
D20N150

? (expected value)

0 (confidence rate)

DNC DNF

0
?
?
---:-- / 0
DNF

0
DNF

0
DNF

0
?
?
---:-- / 0
DNF

0
DNF

0
D30N010

F (expected value)

1.55 (confidence rate)

DNC F
T
---:PM / 48
DNF

0
DNF

0
F
T
---:-- / 48
DNF

0
?
-
---:-- / 0
DNF

0
DNF

0
D30N050

(F) (expected value)

0.63 (confidence rate)

DNC F
?
---:PM / 0
DNF

0
DNF

0
DNF

0
DNF

0
?
-
---:-- / 0
DNF

0
DNF

0
D30N100

? (expected value)

0 (confidence rate)

DNC DNF

0
?
?
---:-- / 0
DNF

0
DNF

0
DNF

0
?
?
---:-- / 0
DNF

0
DNF

0
D30N150

? (expected value)

0 (confidence rate)

DNC DNF

0
?
?
---:-- / 0
DNF

0
DNF

0
DNF

0
?
?
---:-- / 0
DNF

0
DNF

0
D40N010

(F) (expected value)

0.63 (confidence rate)

DNC F
?
---:PM / 0
?
-
---:-- / 0
DNF

0
DNF

0
DNF

0
?
-
---:-- / 0
DNF

0
DNF

0
D40N050

? (expected value)

0 (confidence rate)

DNC DNF

0
?
?
---:-- / 0
DNF

0
DNF

0
DNF

0
?
?
---:-- / 0
DNF

0
DNF

0
D40N100

? (expected value)

0 (confidence rate)

DNC DNF

0
?
?
---:-- / 0
DNF

0
DNF

0
DNF

0
?
?
---:-- / 0
DNF

0
DNF

0
D40N150

? (expected value)

0 (confidence rate)

DNC DNF

0
?
?
---:-- / 0
DNF

0
DNF

0
DNF

0
?
?
---:-- / 0
DNF

0
DNF

0
D50N010

(F) (expected value)

0.63 (confidence rate)

DNC F
?
---:PM / 0
?
-
---:-- / 0
DNF

0
DNF

0
DNF

0
?
-
---:-- / 0
DNF

0
DNF

0
D50N050

? (expected value)

0 (confidence rate)

DNC DNF

0
?
?
---:-- / 0
DNF

0
DNF

0
DNF

0
?
?
---:-- / 0
DNF

0
DNF

0
D50N100

? (expected value)

0 (confidence rate)

DNC DNF

0
?
?
---:-- / 0
DNF

0
DNF

0
DNF

0
?
?
---:-- / 0
DNF

0
DNF

0
D50N150

? (expected value)

0 (confidence rate)

DNC DNF

0
?
?
---:-- / 0
DNF

0
DNF

0
DNF

0
?
?
---:-- / 0
DNF

0
DNF

0
DotAndBoxes (stripped) — Colored
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 0 0 0 60 0 0 0 0
Bonuses 0 0 0 0 12 0 0 0 0
Scores 0 0 0 0 48 0 0 0 0
2

T (expected value)

0.92 (confidence rate)

DNC CC

0
DNC CC

0
T
T
---:PM / 48
DNC DNC DNC DNC
3

? (expected value)

0 (confidence rate)

DNC CC

0
DNC CC

0
DNF

0
DNC DNC DNC DNC
4

? (expected value)

0 (confidence rate)

DNC CC

0
DNC CC

0
DNF

0
DNC DNC DNC DNC
5

? (expected value)

0 (confidence rate)

DNC CC

0
DNC CC

0
DNF

0
DNC DNC DNC DNC
DrinkVendingMachine (stripped) — Colored
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 0 0 0 120 0 0 0 0
Bonuses 0 0 0 0 24 0 0 0 0
Scores 0 0 0 0 96 0 0 0 0
02

F (expected value)

0.92 (confidence rate)

DNC CC

0
DNC CC

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

F (expected value)

0.92 (confidence rate)

DNC CC

0
DNC CC

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

? (expected value)

0 (confidence rate)

DNC CC

0
DNC CC

0
DNF

0
DNC DNC DNC DNC
24

? (expected value)

0 (confidence rate)

DNC CC

0
DNC CC

0
CC

0
DNC DNC DNC DNC
48

? (expected value)

0 (confidence rate)

DNC CC

0
DNC CC

0
CC

0
DNC DNC DNC DNC
76

? (expected value)

0 (confidence rate)

DNC CC

0
DNC CC

0
CC

0
DNC DNC DNC DNC
98

? (expected value)

0 (confidence rate)

DNC CC

0
DNC CC

0
CC

0
DNC DNC DNC DNC
DrinkVendingMachine (stripped) — P/T
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 48 48 48 108 48 60 48 48
Bonuses 0 0 0 0 12 0 12 0 0
Scores 0 48 48 48 96 48 48 48 48
02

F (expected value)

5.24 (confidence rate)

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

F (expected value)

0.92 (confidence rate)

DNC DNF

0
DNF

0
?
-
---:-- / 0
F
T
---:PM / 48
DNF

0
DNF

0
DNF

0
DNF

0
ERK (stripped) — P/T
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 48 96 336 144 192 96 120 288 288
Bonuses 0 0 48 0 0 0 24 0 0
Scores 48 96 288 144 192 96 96 288 288
000001

F (expected value)

6.21 (confidence rate)

F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:PM / 48
F
T
---:-- / 48
F
T
---:-- / 48
000010

F (expected value)

5.24 (confidence rate)

DNC F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:PM / 48
F
T
---:-- / 48
F
T
---:-- / 48
000100

F (expected value)

3.62 (confidence rate)

DNC DNF

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

0
?
-
---:-- / 0
F
T
---:-- / 48
F
T
---:-- / 48
001000

F (expected value)

2.83 (confidence rate)

DNC DNF

0
F
T
---:PM / 48
DNF

0
F
T
---:-- / 48
CC

0
?
-
---:-- / 0
F
T
---:-- / 48
F
T
---:-- / 48
010000

F (expected value)

1.90 (confidence rate)

DNC DNF

0
F
T
---:PM / 48
DNF

0
DNF

0
CC

0
?
-
---:-- / 0
F
T
---:-- / 48
F
T
---:-- / 48
100000

F (expected value)

1.90 (confidence rate)

DNC DNF

0
F
T
---:PM / 48
DNF

0
CC

0
CC

0
?
-
---:-- / 0
F
T
---:-- / 48
F
T
---:-- / 48
Echo (stripped) — P/T
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 0 516 0 0 432 456 0 336
Bonuses 0 0 84 0 0 0 24 0 0
Scores 0 0 432 0 0 432 432 0 336
d02r09

T (expected value)

2.46 (confidence rate)

CC

0
DNF

0
T
T
---:-M / 48
DNF

0
DNF

0
T
T
---:-- / 48
T
T
---:P- / 48
DNF

0
T
T
---:-- / 48
d02r11

T (expected value)

2.46 (confidence rate)

CC

0
DNF

0
T
T
---:PM / 48
DNF

0
DNF

0
T
T
---:-- / 48
T
T
---:-- / 48
DNF

0
T
T
---:-- / 48
d02r15

T (expected value)

2.46 (confidence rate)

CC

0
DNF

0
T
T
---:PM / 48
DNF

0
DNF

0
T
T
---:-- / 48
T
T
---:-- / 48
DNF

0
T
T
---:-- / 48
d02r19

T (expected value)

2.46 (confidence rate)

CC

0
DNF

0
T
T
---:PM / 48
DNF

0
DNF

0
T
T
---:-- / 48
T
T
---:-- / 48
DNF

0
T
T
---:-- / 48
d03r03

T (expected value)

2.46 (confidence rate)

CC

0
DNF

0
T
T
---:-- / 48
DNF

0
DNF

0
T
T
---:-- / 48
T
T
---:PM / 48
DNF

0
T
T
---:-- / 48
d03r05

T (expected value)

2.46 (confidence rate)

CC

0
DNF

0
T
T
---:PM / 48
DNF

0
DNF

0
T
T
---:-- / 48
T
T
---:-- / 48
DNF

0
T
T
---:-- / 48
d03r07

T (expected value)

1.98 (confidence rate)

CC

0
DNF

0
T
T
---:PM / 48
DNF

0
DNF

0
T
T
---:-- / 48
T
T
---:-- / 48
DNF

0
F
X
V--:-- / -
d04r03

T (expected value)

2.46 (confidence rate)

CC

0
DNF

0
T
T
---:-M / 48
DNF

0
DNF

0
T
T
---:-- / 48
T
T
---:P- / 48
DNF

0
T
T
---:-- / 48
d05r03

T (expected value)

1.98 (confidence rate)

DNF

0
CC

0
T
T
---:PM / 48
DNF

0
DNF

0
T
T
---:-- / 48
T
T
---:-- / 48
DNF

0
F
X
V--:-- / -
EnergyBus (stripped) — P/T
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 60 0 0 48 0 0 0 0
Bonuses 0 12 0 0 0 0 0 0 0
Scores 0 48 0 0 48 0 0 0 0
none

F (expected value)

1.55 (confidence rate)

DNF

0
F
T
---:PM / 48
DNF

0
DNF

0
F
T
---:-- / 48
CC

0
?
-
---:-- / 0
DNF

0
DNF

0
Eratosthenes (stripped) — P/T
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 48 192 300 288 288 288 342 246 288
Bonuses 0 0 12 0 0 0 54 6 0
Scores 48 192 288 288 288 288 288 240 288
010

T (expected value)

5.24 (confidence rate)

F
X
V--:-- / -
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:PM / 48
T
T
---:-- / 48
T
T
---:-- / 48
020

T (expected value)

6.21 (confidence rate)

T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:PM / 48
T
T
---:-- / 48
T
T
---:-- / 48
050

T (expected value)

5.24 (confidence rate)

CC

0
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:P- / 48
T
T
---:-M / 48
T
T
---:-- / 48
100

T (expected value)

5.24 (confidence rate)

CC

0
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:PM / 48
T
T
---:-- / 48
T
T
---:-- / 48
200

T (expected value)

4.62 (confidence rate)

CC

0
CC

0
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:PM / 48
T
T
---:-- / 48
T
T
---:-- / 48
500

T (expected value)

4.17 (confidence rate)

CC

0
CC

0
T
T
---:PM / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
DNF

0
T
T
---:-- / 48
FMS (stripped) — P/T
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 336 444 288 288 240 276 384 384
Bonuses 0 0 60 0 0 0 36 0 0
Scores 0 336 384 288 288 240 240 384 384
002

F (expected value)

5.24 (confidence rate)

DNC F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:PM / 48
F
T
---:-- / 48
F
T
---:-- / 48
005

F (expected value)

5.24 (confidence rate)

DNC F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:PM / 48
F
T
---:-- / 48
F
T
---:-- / 48
010

F (expected value)

5.24 (confidence rate)

DNC F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:PM / 48
F
T
---:-- / 48
F
T
---:-- / 48
020

F (expected value)

5.24 (confidence rate)

DNC F
T
---:-- / 48
F
T
---:PM / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
050

F (expected value)

5.24 (confidence rate)

DNC F
T
---:-- / 48
F
T
---:PM / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
100

F (expected value)

4.24 (confidence rate)

DNC F
T
---:-- / 48
F
T
---:PM / 48
F
T
---:-- / 48
F
T
---:-- / 48
CC

0
?
-
---:-- / 0
F
T
---:-- / 48
F
T
---:-- / 48
200

F (expected value)

2.52 (confidence rate)

DNC F
T
---:-- / 48
F
T
---:PM / 48
DNF

0
DNF

0
CC

0
?
-
---:-- / 0
F
T
---:-- / 48
F
T
---:-- / 48
500

F (expected value)

1.90 (confidence rate)

DNC DNF

0
F
T
---:PM / 48
DNF

0
DNF

0
CC

0
?
-
---:-- / 0
F
T
---:-- / 48
F
T
---:-- / 48
GlobalResAllocation (stripped) — Colored
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 0 0 0 60 0 0 0 0
Bonuses 0 0 0 0 12 0 0 0 0
Scores 0 0 0 0 48 0 0 0 0
03

F (expected value)

0.92 (confidence rate)

DNC DNC DNC CC

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

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
06

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
07

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
09

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
10

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
11

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
GlobalResAllocation (stripped) — P/T
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 48 48 0 48 54 54 48 48
Bonuses 0 0 0 0 0 6 6 0 0
Scores 0 48 48 0 48 48 48 48 48
03

F (expected value)

4.45 (confidence rate)

DNC F
T
---:-- / 48
F
T
---:-- / 48
DNF

0
F
T
---:-- / 48
F
T
---:P- / 48
F
T
---:-M / 48
F
T
---:-- / 48
F
T
---:-- / 48
05

? (expected value)

0 (confidence rate)

DNC DNF

0
DNF

0
?
?
---:-- / 0
DNF

0
CC

0
?
?
---:-- / 0
DNF

0
DNF

0
HouseConstruction (stripped) — P/T
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 384 384 192 192 384 474 390 384
Bonuses 0 0 0 0 0 0 90 6 0
Scores 0 384 384 192 192 384 384 384 384
002

T (expected value)

5.24 (confidence rate)

DNC T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:PM / 48
T
T
---:-- / 48
T
T
---:-- / 48
005

T (expected value)

5.24 (confidence rate)

DNC T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:PM / 48
T
T
---:-- / 48
T
T
---:-- / 48
010

T (expected value)

5.24 (confidence rate)

DNC T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:PM / 48
T
T
---:-- / 48
T
T
---:-- / 48
020

T (expected value)

5.24 (confidence rate)

DNC T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:PM / 48
T
T
---:-- / 48
T
T
---:-- / 48
050

T (expected value)

3.52 (confidence rate)

DNC T
T
---:-- / 48
T
T
---:-- / 48
DNF

0
DNF

0
T
T
---:-- / 48
T
T
---:PM / 48
T
T
---:-- / 48
T
T
---:-- / 48
100

T (expected value)

3.52 (confidence rate)

DNC T
T
---:-- / 48
T
T
---:-- / 48
DNF

0
DNF

0
T
T
---:-- / 48
T
T
---:PM / 48
T
T
---:-- / 48
T
T
---:-- / 48
200

T (expected value)

3.52 (confidence rate)

DNC T
T
---:-- / 48
T
T
---:-- / 48
DNF

0
DNF

0
T
T
---:-- / 48
T
T
---:P- / 48
T
T
---:-M / 48
T
T
---:-- / 48
500

T (expected value)

3.52 (confidence rate)

DNC T
T
---:-- / 48
T
T
---:-- / 48
DNF

0
DNF

0
T
T
---:-- / 48
T
T
---:PM / 48
T
T
---:-- / 48
T
T
---:-- / 48
IBMB2S565S3960 (stripped) — P/T
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 0 48 0 48 48 60 0 48
Bonuses 0 0 0 0 0 0 12 0 0
Scores 0 0 48 0 48 48 48 0 48
none

T (expected value)

3.38 (confidence rate)

DNC DNF

0
T
T
---:-- / 48
DNF

0
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:PM / 48
DNF

0
T
T
---:-- / 48
Kanban (stripped) — P/T
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 324 246 192 240 144 168 384 414
Bonuses 0 36 6 0 0 0 24 0 30
Scores 0 288 240 192 240 144 144 384 384
0005

F (expected value)

5.24 (confidence rate)

DNC F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:PM / 48
F
T
---:-- / 48
F
T
---:-- / 48
0010

F (expected value)

5.24 (confidence rate)

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

F (expected value)

5.24 (confidence rate)

DNC F
T
---:P- / 48
F
T
---:-M / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
0050

F (expected value)

4.24 (confidence rate)

DNC F
T
---:PM / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
CC

0
?
-
---:-- / 0
F
T
---:-- / 48
F
T
---:-- / 48
0100

F (expected value)

3.45 (confidence rate)

DNC F
T
---:PM / 48
F
T
---:-- / 48
DNF

0
F
T
---:-- / 48
CC

0
?
-
---:-- / 0
F
T
---:-- / 48
F
T
---:-- / 48
0200

F (expected value)

1.55 (confidence rate)

DNC F
T
---:-M / 48
?
-
---:-- / 0
DNF

0
CC

0
CC

0
?
-
---:-- / 0
F
T
---:-- / 48
F
T
---:P- / 48
0500

F (expected value)

0.92 (confidence rate)

DNC DNF

0
?
-
---:-- / 0
DNF

0
CC

0
CC

0
?
-
---:-- / 0
F
T
---:-- / 48
F
T
---:PM / 48
1000

F (expected value)

0.92 (confidence rate)

DNC DNF

0
?
-
---:-- / 0
DNF

0
CC

0
CC

0
?
-
---:-- / 0
F
T
---:-- / 48
F
T
---:PM / 48
LamportFastMutEx (stripped) — Colored
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 0 0 0 180 0 0 0 0
Bonuses 0 0 0 0 36 0 0 0 0
Scores 0 0 0 0 144 0 0 0 0
2

F (expected value)

0.92 (confidence rate)

DNC DNC DNC CC

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

F (expected value)

0.92 (confidence rate)

DNC DNC DNC CC

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

F (expected value)

0.92 (confidence rate)

DNC DNC DNC CC

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

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
6

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
7

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
8

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
LamportFastMutEx (stripped) — P/T
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 102 144 156 144 144 96 114 144 192
Bonuses 6 0 12 0 0 0 18 0 48
Scores 96 144 144 144 144 96 96 144 144
2

F (expected value)

6.21 (confidence rate)

F
T
---:-M / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:P- / 48
F
T
---:-- / 48
F
T
---:-- / 48
3

F (expected value)

6.21 (confidence rate)

F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:PM / 48
F
T
---:-- / 48
F
T
---:-- / 48
4

F (expected value)

4.24 (confidence rate)

DNF

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

0
?
-
---:-- / 0
F
T
---:-- / 48
F
T
---:-- / 48
5

(F) (expected value)

0.48 (confidence rate)

DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
CC

0
?
-
---:-- / 0
DNF

0
F
?
---:PM / 0
6

(F) (expected value)

0.48 (confidence rate)

DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
CC

0
?
-
---:-- / 0
DNF

0
F
?
---:PM / 0
7

(F) (expected value)

0.48 (confidence rate)

DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
CC

0
?
-
---:-- / 0
DNF

0
F
?
---:PM / 0
8

(F) (expected value)

0.48 (confidence rate)

DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
CC

0
?
-
---:-- / 0
DNF

0
F
?
---:PM / 0
MAPK (stripped) — P/T
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 48 60 192 258 48 48 288 330
Bonuses 0 0 12 0 18 0 0 0 42
Scores 0 48 48 192 240 48 48 288 288
008

F (expected value)

5.24 (confidence rate)

DNC F
T
---:-- / 48
F
T
---:PM / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
020

F (expected value)

2.64 (confidence rate)

DNC DNF

0
?
-
---:-- / 0
F
T
---:-- / 48
F
T
---:P- / 48
CC

0
?
-
---:-- / 0
F
T
---:-- / 48
F
T
---:-M / 48
040

F (expected value)

2.64 (confidence rate)

DNC DNF

0
?
-
---:-- / 0
F
T
---:-- / 48
F
T
---:P- / 48
CC

0
?
-
---:-- / 0
F
T
---:-- / 48
F
T
---:-M / 48
080

F (expected value)

2.64 (confidence rate)

DNC DNF

0
?
-
---:-- / 0
F
T
---:-- / 48
F
T
---:P- / 48
CC

0
?
-
---:-- / 0
F
T
---:-- / 48
F
T
---:-M / 48
160

F (expected value)

1.85 (confidence rate)

DNC DNF

0
?
-
---:-- / 0
DNF

0
F
T
---:-- / 48
CC

0
?
-
---:-- / 0
F
T
---:-- / 48
F
T
---:PM / 48
320

F (expected value)

0.92 (confidence rate)

DNC DNF

0
?
-
---:-- / 0
DNF

0
DNF

0
CC

0
?
-
---:-- / 0
F
T
---:-- / 48
F
T
---:PM / 48
MultiwaySync (stripped) — P/T
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 60 0 48 48 0 0 0 48
Bonuses 0 12 0 0 0 0 0 0 0
Scores 0 48 0 48 48 0 0 0 48
none

F (expected value)

2.82 (confidence rate)

DNF

0
F
T
---:PM / 48
DNF

0
F
T
---:-- / 48
F
T
---:-- / 48
CC

0
?
-
---:-- / 0
DNF

0
F
T
---:-- / 48
NeoElection (stripped) — Colored
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 0 0 0 120 0 0 0 0
Bonuses 0 0 0 0 24 0 0 0 0
Scores 0 0 0 0 96 0 0 0 0
2

T (expected value)

0.92 (confidence rate)

DNC CC

0
DNC CC

0
T
T
---:PM / 48
DNC DNC DNC DNC
3

T (expected value)

0.92 (confidence rate)

DNC CC

0
DNC CC

0
T
T
---:PM / 48
DNC DNC DNC DNC
4

? (expected value)

0 (confidence rate)

DNC CC

0
DNC CC

0
DNF

0
DNC DNC DNC DNC
5

? (expected value)

0 (confidence rate)

DNC CC

0
DNC CC

0
DNF

0
DNC DNC DNC DNC
6

? (expected value)

0 (confidence rate)

DNC CC

0
DNC CC

0
DNF

0
DNC DNC DNC DNC
7

? (expected value)

0 (confidence rate)

DNC CC

0
DNC CC

0
DNF

0
DNC DNC DNC DNC
8

? (expected value)

0 (confidence rate)

DNC CC

0
DNC CC

0
DNF

0
DNC DNC DNC DNC
NeoElection (stripped) — P/T
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 102 0 348 96 96 306 318 0 258
Bonuses 6 0 12 0 0 18 30 0 18
Scores 96 0 336 96 96 288 288 0 240
2

T (expected value)

5.14 (confidence rate)

T
T
---:-M / 48
DNF

0
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:P- / 48
DNF

0
T
T
---:-- / 48
3

T (expected value)

5.14 (confidence rate)

T
T
---:-- / 48
DNF

0
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:PM / 48
DNF

0
T
T
---:-- / 48
4

T (expected value)

2.46 (confidence rate)

DNF

0
DNF

0
T
T
---:-- / 48
DNF

0
DNF

0
T
T
---:P- / 48
T
T
---:-- / 48
DNF

0
T
T
---:-M / 48
5

T (expected value)

2.46 (confidence rate)

CC

0
DNF

0
T
T
---:-- / 48
DNF

0
DNF

0
T
T
---:P- / 48
T
T
---:-- / 48
DNF

0
T
T
---:-M / 48
6

T (expected value)

2.46 (confidence rate)

DNF

0
CC

0
T
T
---:-- / 48
DNF

0
DNF

0
T
T
---:P- / 48
T
T
---:-- / 48
DNF

0
T
T
---:-M / 48
7

T (expected value)

1.98 (confidence rate)

DNF

0
DNF

0
T
T
---:-- / 48
DNF

0
DNF

0
T
T
---:-- / 48
T
T
---:PM / 48
DNF

0
DNF

0
8

T (expected value)

0.98 (confidence rate)

DNF

0
CC

0
T
T
---:PM / 48
DNF

0
DNF

0
CC

0
?
-
---:-- / 0
DNF

0
DNF

0
ParamProductionCell (stripped) — P/T
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 348 288 288 288 288 288 300 288 288
Bonuses 60 0 0 0 0 0 12 0 0
Scores 288 288 288 288 288 288 288 288 288
0

F (expected value)

6.21 (confidence rate)

F
T
---:PM / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
1

F (expected value)

6.21 (confidence rate)

F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:PM / 48
F
T
---:-- / 48
F
T
---:-- / 48
2

F (expected value)

6.21 (confidence rate)

F
T
---:PM / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
3

F (expected value)

6.21 (confidence rate)

F
T
---:PM / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
4

F (expected value)

6.21 (confidence rate)

F
T
---:PM / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
5

F (expected value)

6.21 (confidence rate)

F
T
---:PM / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
PermAdmissibility (stripped) — Colored
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 0 0 0 60 0 0 0 0
Bonuses 0 0 0 0 12 0 0 0 0
Scores 0 0 0 0 48 0 0 0 0
01

T (expected value)

0.92 (confidence rate)

DNC DNC DNC CC

0
T
T
---:PM / 48
DNC DNC DNC DNC
02

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
05

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
10

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
20

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
50

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
PermAdmissibility (stripped) — P/T
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 240 288 48 48 294 354 288 288
Bonuses 0 0 0 0 0 6 66 0 0
Scores 0 240 288 48 48 288 288 288 288
01

T (expected value)

5.24 (confidence rate)

DNC T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:PM / 48
T
T
---:-- / 48
T
T
---:-- / 48
02

T (expected value)

2.90 (confidence rate)

DNC DNF

0
T
T
---:-- / 48
DNF

0
DNF

0
T
T
---:-M / 48
T
T
---:P- / 48
T
T
---:-- / 48
T
T
---:-- / 48
05

T (expected value)

3.52 (confidence rate)

DNC T
T
---:-- / 48
T
T
---:-- / 48
DNF

0
DNF

0
T
T
---:-- / 48
T
T
---:PM / 48
T
T
---:-- / 48
T
T
---:-- / 48
10

T (expected value)

3.52 (confidence rate)

DNC T
T
---:-- / 48
T
T
---:-- / 48
?
-
---:-- / 0
DNF

0
T
T
---:-- / 48
T
T
---:PM / 48
T
T
---:-- / 48
T
T
---:-- / 48
20

T (expected value)

3.52 (confidence rate)

DNC T
T
---:-- / 48
T
T
---:-- / 48
?
-
---:-- / 0
DNF

0
T
T
---:-- / 48
T
T
---:PM / 48
T
T
---:-- / 48
T
T
---:-- / 48
50

T (expected value)

3.52 (confidence rate)

DNC T
T
---:-- / 48
T
T
---:-- / 48
DNF

0
DNF

0
T
T
---:-- / 48
T
T
---:PM / 48
T
T
---:-- / 48
T
T
---:-- / 48
Peterson (stripped) — Colored
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 0 0 0 120 0 0 0 0
Bonuses 0 0 0 0 24 0 0 0 0
Scores 0 0 0 0 96 0 0 0 0
2

F (expected value)

0.92 (confidence rate)

DNC DNC DNC CC

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

F (expected value)

0.92 (confidence rate)

DNC DNC DNC CC

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

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
5

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
6

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
7

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
Peterson (stripped) — P/T
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 96 96 162 96 96 96 108 48 162
Bonuses 0 0 18 0 0 0 12 0 18
Scores 96 96 144 96 96 96 96 48 144
2

F (expected value)

6.21 (confidence rate)

F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:PM / 48
F
T
---:-- / 48
F
T
---:-- / 48
3

F (expected value)

5.77 (confidence rate)

F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:PM / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
DNF

0
F
T
---:-- / 48
4

F (expected value)

1.46 (confidence rate)

DNF

0
DNF

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

0
DNF

0
DNF

0
?
-
---:-- / 0
DNF

0
F
T
---:-M / 48
5

(F) (expected value)

0.48 (confidence rate)

DNF

0
DNF

0
?
-
---:-- / 0
DNF

0
DNF

0
DNF

0
?
-
---:-- / 0
DNF

0
F
?
---:PM / 0
6

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
?
?
---:-- / 0
DNF

0
DNF

0
DNF

0
?
?
---:-- / 0
DNF

0
DNF

0
7

? (expected value)

0 (confidence rate)

DNF

0
CC

0
?
?
---:-- / 0
DNF

0
DNF

0
DNF

0
?
?
---:-- / 0
DNF

0
DNF

0
Philosophers (stripped) — Colored
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 0 0 0 480 0 0 0 0
Bonuses 0 0 0 0 96 0 0 0 0
Scores 0 0 0 0 384 0 0 0 0
000005

T (expected value)

0.92 (confidence rate)

DNC DNC DNC CC

0
T
T
---:PM / 48
DNC DNC DNC DNC
000010

T (expected value)

0.92 (confidence rate)

DNC DNC DNC CC

0
T
T
---:PM / 48
DNC DNC DNC DNC
000020

T (expected value)

0.92 (confidence rate)

DNC DNC DNC CC

0
T
T
---:PM / 48
DNC DNC DNC DNC
000050

T (expected value)

0.92 (confidence rate)

DNC DNC DNC CC

0
T
T
---:PM / 48
DNC DNC DNC DNC
000100

T (expected value)

0.92 (confidence rate)

DNC DNC DNC CC

0
T
T
---:PM / 48
DNC DNC DNC DNC
000200

T (expected value)

0.92 (confidence rate)

DNC DNC DNC CC

0
T
T
---:PM / 48
DNC DNC DNC DNC
000500

T (expected value)

0.92 (confidence rate)

DNC DNC DNC CC

0
T
T
---:PM / 48
DNC DNC DNC DNC
001000

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
002000

T (expected value)

0.92 (confidence rate)

DNC DNC DNC CC

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

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
010000

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
050000

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
100000

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
Philosophers (stripped) — P/T
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 552 144 558 288 336 192 216 102 144
Bonuses 72 0 30 0 0 0 24 6 0
Scores 480 144 528 288 336 192 192 96 144
000005

T (expected value)

6.21 (confidence rate)

T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:P- / 48
T
T
---:-M / 48
T
T
---:-- / 48
000010

T (expected value)

6.21 (confidence rate)

T
T
---:-M / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:P- / 48
T
T
---:-- / 48
T
T
---:-- / 48
000020

T (expected value)

4.29 (confidence rate)

T
T
---:PM / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
DNF

0
?
-
---:-- / 0
DNF

0
F
X
V--:-- / -
000050

T (expected value)

5.14 (confidence rate)

T
T
---:-- / 48
DNF

0
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:PM / 48
DNF

0
T
T
---:-- / 48
000100

T (expected value)

3.66 (confidence rate)

T
T
---:PM / 48
DNF

0
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
DNF

0
?
-
---:-- / 0
DNF

0
F
X
V--:-- / -
000200

T (expected value)

3.66 (confidence rate)

T
T
---:PM / 48
DNF

0
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
DNF

0
?
-
---:-- / 0
DNF

0
F
X
V--:-- / -
000500

T (expected value)

3.87 (confidence rate)

T
T
---:PM / 48
DNF

0
T
T
---:-- / 48
DNF

0
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
DNF

0
F
X
V--:-- / -
001000

T (expected value)

1.95 (confidence rate)

T
T
---:P- / 48
DNF

0
T
T
---:-M / 48
DNF

0
DNF

0
CC

0
?
-
---:-- / 0
DNF

0
DNF

0
002000

T (expected value)

1.95 (confidence rate)

T
T
---:P- / 48
CC

0
T
T
---:-M / 48
DNF

0
DNF

0
CC

0
?
-
---:-- / 0
DNF

0
DNF

0
005000

T (expected value)

1.95 (confidence rate)

T
T
---:P- / 48
CC

0
T
T
---:-M / 48
DNF

0
DNF

0
DNF

0
?
-
---:-- / 0
CC

0
CC

0
010000

T (expected value)

0.98 (confidence rate)

CC

0
CC

0
T
T
---:PM / 48
?
-
---:-- / 0
DNF

0
CC

0
CC

0
CC

0
CC

0
PhilosophersDyn (stripped) — Colored
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 0 0 0 0 0 0 0 0
Bonuses 0 0 0 0 0 0 0 0 0
Scores 0 0 0 0 0 0 0 0 0
03

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
10

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
20

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
50

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
80

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
PhilosophersDyn (stripped) — P/T
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 48 144 0 48 156 156 102 150
Bonuses 0 0 0 0 0 12 12 6 6
Scores 0 48 144 0 48 144 144 96 144
03

T (expected value)

4.45 (confidence rate)

DNC T
T
---:-- / 48
T
T
---:-- / 48
DNF

0
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:P- / 48
T
T
---:-M / 48
T
T
---:-- / 48
10

T (expected value)

2.90 (confidence rate)

DNC DNF

0
T
T
---:-- / 48
DNF

0
DNF

0
T
T
---:P- / 48
T
T
---:-M / 48
T
T
---:-- / 48
T
T
---:-- / 48
20

T (expected value)

2.46 (confidence rate)

DNC DNF

0
T
T
---:-- / 48
DNF

0
DNF

0
T
T
---:-M / 48
T
T
---:-- / 48
DNF

0
T
T
---:P- / 48
Planning (stripped) — P/T
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 0 0 0 0 0 0 0 12
Bonuses 0 0 0 0 0 0 0 0 12
Scores 0 0 0 0 0 0 0 0 0
none

(F) (expected value)

0.48 (confidence rate)

DNC DNF

0
?
-
---:-- / 0
?
-
---:-- / 0
DNF

0
CC

0
?
-
---:-- / 0
DNF

0
F
?
---:PM / 0
PolyORBLF (stripped) — Colored
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 0 0 0 0 0 0 0 0
Bonuses 0 0 0 0 0 0 0 0 0
Scores 0 0 0 0 0 0 0 0 0
S02J04T06

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
S02J04T08

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
S02J04T10

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
S02J06T06

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
S02J06T08

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
S02J06T10

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
S04J04T06

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
S04J04T08

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
S04J04T10

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
S04J06T06

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
S04J06T08

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
S04J06T10

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
S06J04T04

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
S06J04T06

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
S06J04T08

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
S06J06T04

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
S06J06T06

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
S06J06T08

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
PolyORBLF (stripped) — P/T
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 876 678 480 0 924 960 0 810
Bonuses 0 12 6 0 0 60 96 0 42
Scores 0 864 672 480 0 864 864 0 768
S02J04T06

T (expected value)

3.88 (confidence rate)

DNC T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
DNF

0
T
T
---:-- / 48
T
T
---:PM / 48
DNF

0
T
T
---:-- / 48
S02J04T08

T (expected value)

3.88 (confidence rate)

DNC T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
DNF

0
T
T
---:-- / 48
T
T
---:PM / 48
DNF

0
T
T
---:-- / 48
S02J04T10

T (expected value)

3.88 (confidence rate)

DNC T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
DNF

0
T
T
---:-- / 48
T
T
---:PM / 48
DNF

0
T
T
---:-- / 48
S02J06T06

T (expected value)

3.88 (confidence rate)

DNC T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
DNF

0
T
T
---:-M / 48
T
T
---:P- / 48
DNF

0
T
T
---:-- / 48
S02J06T08

T (expected value)

3.88 (confidence rate)

DNC T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
DNF

0
T
T
---:-- / 48
T
T
---:P- / 48
DNF

0
T
T
---:-M / 48
S02J06T10

T (expected value)

3.88 (confidence rate)

DNC T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
DNF

0
T
T
---:-- / 48
T
T
---:P- / 48
DNF

0
T
T
---:-M / 48
S04J04T06

T (expected value)

3.88 (confidence rate)

DNC T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
DNF

0
T
T
---:PM / 48
T
T
---:-- / 48
DNF

0
T
T
---:-- / 48
S04J04T08

T (expected value)

2.41 (confidence rate)

DNC T
T
---:-- / 48
DNF

0
T
T
---:-- / 48
DNF

0
T
T
---:P- / 48
T
T
---:-M / 48
DNF

0
DNF

0
S04J04T10

T (expected value)

2.89 (confidence rate)

DNC T
T
---:-- / 48
DNF

0
T
T
---:-- / 48
DNF

0
T
T
---:P- / 48
T
T
---:-M / 48
DNF

0
T
T
---:-- / 48
S04J06T06

T (expected value)

2.60 (confidence rate)

DNC T
T
---:PM / 48
T
T
---:-- / 48
DNF

0
DNF

0
T
T
---:-- / 48
T
T
---:-- / 48
DNF

0
DNF

0
S04J06T08

T (expected value)

2.89 (confidence rate)

DNC T
T
---:-- / 48
DNF

0
T
T
---:-- / 48
DNF

0
T
T
---:P- / 48
T
T
---:-M / 48
DNF

0
T
T
---:-- / 48
S04J06T10

T (expected value)

2.10 (confidence rate)

DNC T
T
---:-- / 48
DNF

0
DNF

0
DNF

0
T
T
---:P- / 48
T
T
---:-M / 48
DNF

0
T
T
---:-- / 48
S06J04T04

T (expected value)

3.08 (confidence rate)

DNC T
T
---:-- / 48
T
T
---:P- / 48
DNF

0
DNF

0
T
T
---:-M / 48
T
T
---:-- / 48
DNF

0
T
T
---:-- / 48
S06J04T06

T (expected value)

3.08 (confidence rate)

DNC T
T
---:-- / 48
T
T
---:-- / 48
DNF

0
DNF

0
T
T
---:-M / 48
T
T
---:-- / 48
DNF

0
T
T
---:P- / 48
S06J04T08

T (expected value)

3.08 (confidence rate)

DNC T
T
---:-- / 48
T
T
---:-- / 48
DNF

0
DNF

0
T
T
---:-- / 48
T
T
---:-M / 48
DNF

0
T
T
---:P- / 48
S06J06T04

T (expected value)

3.08 (confidence rate)

DNC T
T
---:-- / 48
T
T
---:-- / 48
DNF

0
DNF

0
T
T
---:-- / 48
T
T
---:-M / 48
DNF

0
T
T
---:P- / 48
S06J06T06

T (expected value)

3.08 (confidence rate)

DNC T
T
---:-- / 48
T
T
---:-- / 48
DNF

0
DNF

0
T
T
---:-- / 48
T
T
---:-M / 48
DNF

0
T
T
---:P- / 48
S06J06T08

T (expected value)

3.08 (confidence rate)

DNC T
T
---:-- / 48
T
T
---:-- / 48
DNF

0
DNF

0
T
T
---:-M / 48
T
T
---:-- / 48
DNF

0
T
T
---:P- / 48
PolyORBNT (stripped) — Colored
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 0 0 0 0 0 0 0 0
Bonuses 0 0 0 0 0 0 0 0 0
Scores 0 0 0 0 0 0 0 0 0
S05J20

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
S05J30

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
S05J40

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
S05J60

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
S05J80

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
S10J20

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
S10J30

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
S10J40

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
S10J60

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
S10J80

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
PolyORBNT (stripped) — P/T
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 480 492 264 0 438 480 0 510
Bonuses 0 0 12 24 0 6 48 0 30
Scores 0 480 480 240 0 432 432 0 480
S05J20

T (expected value)

3.08 (confidence rate)

DNC T
T
---:-- / 48
T
T
---:-- / 48
DNF

0
DNF

0
T
T
---:-- / 48
T
T
---:PM / 48
DNF

0
T
T
---:-- / 48
S05J30

T (expected value)

3.08 (confidence rate)

DNC T
T
---:-- / 48
T
T
---:-- / 48
DNF

0
DNF

0
T
T
---:-- / 48
T
T
---:-M / 48
DNF

0
T
T
---:P- / 48
S05J40

T (expected value)

3.08 (confidence rate)

DNC T
T
---:-- / 48
T
T
---:-- / 48
DNF

0
DNF

0
T
T
---:-- / 48
T
T
---:-M / 48
DNF

0
T
T
---:P- / 48
S05J60

T (expected value)

3.08 (confidence rate)

DNC T
T
---:-- / 48
T
T
---:-- / 48
DNF

0
DNF

0
T
T
---:-M / 48
T
T
---:-- / 48
DNF

0
T
T
---:P- / 48
S05J80

T (expected value)

3.08 (confidence rate)

DNC T
T
---:-- / 48
T
T
---:-M / 48
DNF

0
DNF

0
T
T
---:-- / 48
T
T
---:-- / 48
DNF

0
T
T
---:P- / 48
S10J20

T (expected value)

3.88 (confidence rate)

DNC T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:P- / 48
DNF

0
T
T
---:-- / 48
T
T
---:-M / 48
DNF

0
T
T
---:-- / 48
S10J30

T (expected value)

3.88 (confidence rate)

DNC T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:P- / 48
DNF

0
T
T
---:-- / 48
T
T
---:-M / 48
DNF

0
T
T
---:-- / 48
S10J40

T (expected value)

3.88 (confidence rate)

DNC T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:P- / 48
DNF

0
T
T
---:-- / 48
T
T
---:-M / 48
DNF

0
T
T
---:-- / 48
S10J60

T (expected value)

3.88 (confidence rate)

DNC T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:P- / 48
DNF

0
T
T
---:-- / 48
T
T
---:-M / 48
DNF

0
T
T
---:-- / 48
S10J80

T (expected value)

2.88 (confidence rate)

DNC T
T
---:-- / 48
T
T
---:-M / 48
T
T
---:-- / 48
DNF

0
CC

0
?
-
---:-- / 0
DNF

0
T
T
---:P- / 48
ProductionCell (stripped) — P/T
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 60 0 48 48 0 0 0 48
Bonuses 0 12 0 0 0 0 0 0 0
Scores 0 48 0 48 48 0 0 0 48
none

F (expected value)

2.82 (confidence rate)

DNF

0
F
T
---:PM / 48
?
-
---:-- / 0
F
T
---:-- / 48
F
T
---:-- / 48
CC

0
?
-
---:-- / 0
DNF

0
F
T
---:-- / 48
QuasiCertifProtocol (stripped) — Colored
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 0 0 0 120 0 0 0 0
Bonuses 0 0 0 0 24 0 0 0 0
Scores 0 0 0 0 96 0 0 0 0
02

T (expected value)

0.92 (confidence rate)

DNC DNC DNC CC

0
T
T
---:PM / 48
DNC DNC DNC DNC
06

T (expected value)

0.92 (confidence rate)

DNC DNC DNC CC

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

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
18

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
22

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
CC

0
DNC DNC DNC DNC
28

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
CC

0
DNC DNC DNC DNC
32

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
CC

0
DNC DNC DNC DNC
QuasiCertifProtocol (stripped) — P/T
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 48 48 372 192 96 342 372 48 342
Bonuses 0 0 36 0 0 6 36 0 6
Scores 48 48 336 192 96 336 336 48 336
02

T (expected value)

6.21 (confidence rate)

T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:PM / 48
T
T
---:-- / 48
T
T
---:-- / 48
06

T (expected value)

4.17 (confidence rate)

DNC DNF

0
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:PM / 48
DNF

0
T
T
---:-- / 48
10

T (expected value)

3.25 (confidence rate)

DNC DNF

0
T
T
---:-- / 48
T
T
---:-- / 48
DNF

0
T
T
---:-- / 48
T
T
---:PM / 48
DNF

0
T
T
---:-- / 48
18

T (expected value)

3.25 (confidence rate)

DNC DNF

0
T
T
---:-M / 48
T
T
---:-- / 48
DNF

0
T
T
---:P- / 48
T
T
---:-- / 48
DNF

0
T
T
---:-- / 48
22

T (expected value)

2.46 (confidence rate)

DNC DNF

0
T
T
---:-M / 48
?
-
---:-- / 0
CC

0
T
T
---:-- / 48
T
T
---:-- / 48
DNF

0
T
T
---:P- / 48
28

T (expected value)

2.46 (confidence rate)

DNC DNF

0
T
T
---:PM / 48
?
-
---:-- / 0
CC

0
T
T
---:-- / 48
T
T
---:-- / 48
DNF

0
T
T
---:-- / 48
32

T (expected value)

2.46 (confidence rate)

DNC DNF

0
T
T
---:PM / 48
?
-
---:-- / 0
CC

0
T
T
---:-- / 48
T
T
---:-- / 48
DNF

0
T
T
---:-- / 48
Railroad (stripped) — P/T
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 96 96 162 96 96 102 102 96 150
Bonuses 0 0 18 0 0 6 6 0 6
Scores 96 96 144 96 96 96 96 96 144
005

F (expected value)

6.21 (confidence rate)

F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:P- / 48
F
T
---:-M / 48
F
T
---:-- / 48
F
T
---:-- / 48
010

F (expected value)

6.21 (confidence rate)

F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:PM / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
020

F (expected value)

1.46 (confidence rate)

DNF

0
DNF

0
F
T
---:-M / 48
DNF

0
DNF

0
CC

0
?
-
---:-- / 0
DNF

0
F
T
---:P- / 48
050

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
DNF

0
?
?
---:-- / 0
DNF

0
CC

0
?
?
---:-- / 0
DNF

0
DNF

0
100

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
CC

0
?
?
---:-- / 0
DNF

0
DNF

0
ResAllocation (stripped) — P/T
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 738 624 726 720 720 720 870 582 720
Bonuses 18 0 6 0 0 0 150 6 0
Scores 720 624 720 720 720 720 720 576 720
R002C002

T (expected value)

6.21 (confidence rate)

T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:PM / 48
T
T
---:-- / 48
T
T
---:-- / 48
R003C002

T (expected value)

6.21 (confidence rate)

T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:PM / 48
T
T
---:-- / 48
T
T
---:-- / 48
R003C003

T (expected value)

6.21 (confidence rate)

T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:PM / 48
T
T
---:-- / 48
T
T
---:-- / 48
R003C005

T (expected value)

6.21 (confidence rate)

T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:PM / 48
T
T
---:-- / 48
T
T
---:-- / 48
R003C010

T (expected value)

6.21 (confidence rate)

T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:PM / 48
T
T
---:-- / 48
T
T
---:-- / 48
R003C015

T (expected value)

6.21 (confidence rate)

T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:PM / 48
T
T
---:-- / 48
T
T
---:-- / 48
R003C020

T (expected value)

6.21 (confidence rate)

T
T
---:-M / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:P- / 48
T
T
---:-- / 48
T
T
---:-- / 48
R003C050

T (expected value)

5.77 (confidence rate)

T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:PM / 48
DNF

0
T
T
---:-- / 48
R003C100

T (expected value)

5.77 (confidence rate)

T
T
---:PM / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
DNF

0
T
T
---:-- / 48
R005C002

T (expected value)

6.21 (confidence rate)

T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:P- / 48
T
T
---:-M / 48
T
T
---:-- / 48
R010C002

T (expected value)

6.21 (confidence rate)

T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:PM / 48
T
T
---:-- / 48
T
T
---:-- / 48
R015C002

T (expected value)

6.21 (confidence rate)

T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:PM / 48
T
T
---:-- / 48
T
T
---:-- / 48
R020C002

T (expected value)

6.21 (confidence rate)

T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:PM / 48
T
T
---:-- / 48
T
T
---:-- / 48
R050C002

T (expected value)

5.59 (confidence rate)

T
T
---:-- / 48
DNF

0
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:PM / 48
T
T
---:-- / 48
T
T
---:-- / 48
R100C002

T (expected value)

5.14 (confidence rate)

T
T
---:-- / 48
DNF

0
T
T
---:-M / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:P- / 48
DNF

0
T
T
---:-- / 48
Ring (stripped) — P/T
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 0 0 48 54 0 0 0 54
Bonuses 0 0 0 0 6 0 0 0 6
Scores 0 0 0 48 48 0 0 0 48
none

F (expected value)

2.20 (confidence rate)

CC

0
DNF

0
?
-
---:-- / 0
F
T
---:-- / 48
F
T
---:P- / 48
DNF

0
?
-
---:-- / 0
DNF

0
F
T
---:-M / 48
RwMutex (stripped) — P/T
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 648 384 486 288 288 576 642 240 528
Bonuses 72 0 6 0 0 0 66 0 0
Scores 576 384 480 288 288 576 576 240 528
r0010w0010

F (expected value)

6.21 (confidence rate)

F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:PM / 48
F
T
---:-- / 48
F
T
---:-- / 48
r0010w0020

F (expected value)

6.21 (confidence rate)

F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:PM / 48
F
T
---:-- / 48
F
T
---:-- / 48
r0010w0050

F (expected value)

6.21 (confidence rate)

F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:PM / 48
F
T
---:-- / 48
F
T
---:-- / 48
r0010w0100

F (expected value)

6.21 (confidence rate)

F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:PM / 48
F
T
---:-- / 48
F
T
---:-- / 48
r0010w0500

F (expected value)

5.77 (confidence rate)

F
T
---:PM / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
DNF

0
F
T
---:-- / 48
r0010w1000

F (expected value)

4.98 (confidence rate)

F
T
---:PM / 48
F
T
---:-- / 48
F
T
---:-- / 48
DNF

0
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
DNF

0
F
T
---:-- / 48
r0010w2000

F (expected value)

3.07 (confidence rate)

F
T
---:PM / 48
F
T
---:-- / 48
DNF

0
DNF

0
DNF

0
F
T
---:-- / 48
F
T
---:-- / 48
DNF

0
F
T
---:-- / 48
r0020w0010

F (expected value)

5.28 (confidence rate)

F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
DNF

0
F
T
---:-- / 48
F
T
---:PM / 48
F
T
---:-- / 48
F
T
---:-- / 48
r0100w0010

F (expected value)

3.43 (confidence rate)

F
T
---:-- / 48
DNF

0
F
T
---:-M / 48
?
-
---:-- / 0
CC

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

0
F
T
---:-- / 48
r0500w0010

F (expected value)

3.43 (confidence rate)

F
T
---:PM / 48
DNF

0
F
T
---:-- / 48
?
-
---:-- / 0
CC

0
F
T
---:-- / 48
F
T
---:-- / 48
DNF

0
F
T
---:-- / 48
r1000w0010

F (expected value)

3.43 (confidence rate)

F
T
---:PM / 48
DNF

0
F
T
---:-- / 48
?
-
---:-- / 0
CC

0
F
T
---:-- / 48
F
T
---:-- / 48
DNF

0
F
T
---:-- / 48
r2000w0010

F (expected value)

1.97 (confidence rate)

F
T
---:PM / 48
DNF

0
DNF

0
?
-
---:-- / 0
CC

0
F
T
---:-- / 48
F
T
---:-- / 48
DNF

0
DNF

0
SharedMemory (stripped) — Colored
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 0 0 0 180 0 0 0 0
Bonuses 0 0 0 0 36 0 0 0 0
Scores 0 0 0 0 144 0 0 0 0
000005

F (expected value)

0.92 (confidence rate)

DNC DNC DNC CC

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

F (expected value)

0.92 (confidence rate)

DNC DNC DNC CC

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

F (expected value)

0.92 (confidence rate)

DNC DNC DNC CC

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

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
000100

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
000200

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
000500

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
001000

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
002000

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
CC

0
DNC DNC DNC DNC
005000

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
CC

0
DNC DNC DNC DNC
010000

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
CC

0
DNC DNC DNC DNC
020000

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
CC

0
DNC DNC DNC DNC
050000

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
CC

0
DNC DNC DNC DNC
100000

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
CC

0
DNC DNC DNC DNC
SharedMemory (stripped) — P/T
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 348 96 144 96 144 96 108 48 144
Bonuses 60 0 0 0 0 0 12 0 0
Scores 288 96 144 96 144 96 96 48 144
000005

F (expected value)

6.21 (confidence rate)

F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:PM / 48
F
T
---:-- / 48
F
T
---:-- / 48
000010

F (expected value)

5.77 (confidence rate)

F
T
---:PM / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
DNF

0
F
T
---:-- / 48
000020

F (expected value)

3.35 (confidence rate)

F
T
---:PM / 48
DNF

0
F
T
---:-- / 48
DNF

0
F
T
---:-- / 48
DNF

0
?
-
---:-- / 0
DNF

0
F
T
---:-- / 48
000050

F (expected value)

0.97 (confidence rate)

F
T
---:PM / 48
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
?
-
---:-- / 0
DNF

0
DNF

0
000100

F (expected value)

0.97 (confidence rate)

F
T
---:PM / 48
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
?
-
---:-- / 0
DNF

0
DNF

0
000200

F (expected value)

0.97 (confidence rate)

F
T
---:PM / 48
DNF

0
DNF

0
DNF

0
DNF

0
CC

0
CC

0
CC

0
CC

0
SimpleLoadBal (stripped) — Colored
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 0 0 0 180 0 0 0 0
Bonuses 0 0 0 0 36 0 0 0 0
Scores 0 0 0 0 144 0 0 0 0
02

F (expected value)

0.92 (confidence rate)

DNC CC

0
DNC CC

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

F (expected value)

0.92 (confidence rate)

DNC CC

0
DNC CC

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

F (expected value)

0.92 (confidence rate)

DNC CC

0
DNC CC

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

? (expected value)

0 (confidence rate)

DNC CC

0
DNC CC

0
DNF

0
DNC DNC DNC DNC
20

? (expected value)

0 (confidence rate)

DNC CC

0
DNC CC

0
DNF

0
DNC DNC DNC DNC
SimpleLoadBal (stripped) — P/T
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 96 96 168 144 144 96 108 96 144
Bonuses 0 0 24 0 0 0 12 0 0
Scores 96 96 144 144 144 96 96 96 144
02

F (expected value)

6.21 (confidence rate)

F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:PM / 48
F
T
---:-- / 48
F
T
---:-- / 48
05

F (expected value)

6.21 (confidence rate)

F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:PM / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
10

F (expected value)

3.18 (confidence rate)

DNF

0
DNF

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

0
?
-
---:-- / 0
DNF

0
F
T
---:-- / 48
15

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
CC

0
?
?
---:-- / 0
DNF

0
DNF

0
20

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
CC

0
?
?
---:-- / 0
DNF

0
DNF

0
Solitaire (stripped) — P/T
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 48 300 288 48 288 348 288 288
Bonuses 0 0 12 0 0 0 60 0 0
Scores 0 48 288 288 48 288 288 288 288
EngCT7x7

T (expected value)

3.69 (confidence rate)

DNC DNF

0
T
T
---:-- / 48
T
T
---:-- / 48
DNF

0
T
T
---:-- / 48
T
T
---:PM / 48
T
T
---:-- / 48
T
T
---:-- / 48
EngNC7x7

T (expected value)

3.69 (confidence rate)

DNF

0
DNF

0
T
T
---:-- / 48
T
T
---:-- / 48
DNF

0
T
T
---:-- / 48
T
T
---:PM / 48
T
T
---:-- / 48
T
T
---:-- / 48
FrnCT7x7

T (expected value)

3.69 (confidence rate)

DNC DNF

0
T
T
---:-- / 48
T
T
---:-- / 48
DNF

0
T
T
---:-- / 48
T
T
---:PM / 48
T
T
---:-- / 48
T
T
---:-- / 48
FrnNC7x7

T (expected value)

3.69 (confidence rate)

DNF

0
DNF

0
T
T
---:-M / 48
T
T
---:-- / 48
DNF

0
T
T
---:-- / 48
T
T
---:P- / 48
T
T
---:-- / 48
T
T
---:-- / 48
SqrCT5x5

T (expected value)

4.31 (confidence rate)

DNC T
T
---:-- / 48
T
T
---:-M / 48
T
T
---:-- / 48
DNF

0
T
T
---:-- / 48
T
T
---:P- / 48
T
T
---:-- / 48
T
T
---:-- / 48
SqrNC5x5

T (expected value)

4.62 (confidence rate)

DNF

0
DNF

0
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:PM / 48
T
T
---:-- / 48
T
T
---:-- / 48
TokenRing (stripped) — Colored
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 0 0 0 180 0 0 0 0
Bonuses 0 0 0 0 36 0 0 0 0
Scores 0 0 0 0 144 0 0 0 0
005

F (expected value)

0.92 (confidence rate)

DNC DNC DNC CC

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

F (expected value)

0.92 (confidence rate)

DNC DNC DNC CC

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

F (expected value)

0.92 (confidence rate)

DNC DNC DNC CC

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

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
030

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
040

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
050

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
100

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
200

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
CC

0
DNC DNC DNC DNC
500

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
CC

0
DNC DNC DNC DNC
TokenRing (stripped) — P/T
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 168 48 96 144 144 96 102 102 96
Bonuses 24 0 0 0 0 0 6 6 0
Scores 144 48 96 144 144 96 96 96 96
005

F (expected value)

6.21 (confidence rate)

F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:P- / 48
F
T
---:-M / 48
F
T
---:-- / 48
010

F (expected value)

5.59 (confidence rate)

F
T
---:PM / 48
CC

0
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
015

F (expected value)

2.69 (confidence rate)

F
T
---:PM / 48
CC

0
DNF

0
F
T
---:-- / 48
F
T
---:-- / 48
CC

0
?
-
---:-- / 0
DNF

0
DNF

0
020

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
?
?
---:-- / 0
DNF

0
DNF

0
030

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
?
?
---:-- / 0
DNF

0
DNF

0
040

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNF

0
?
?
---:-- / 0
DNF

0
CC

0
?
?
---:-- / 0
DNF

0
DNF

0
050

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNF

0
?
?
---:-- / 0
DNF

0
CC

0
?
?
---:-- / 0
DNF

0
DNF

0
UtahNoC (stripped) — P/T
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 60 0 0 48 0 0 0 48
Bonuses 0 12 0 0 0 0 0 0 0
Scores 0 48 0 0 48 0 0 0 48
none

F (expected value)

2.03 (confidence rate)

CC

0
F
T
---:PM / 48
DNF

0
DNF

0
F
T
---:-- / 48
CC

0
?
-
---:-- / 0
DNF

0
F
T
---:-- / 48
Vasy2003 (stripped) — P/T
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 0 0 0 54 0 0 0 54
Bonuses 0 0 0 0 6 0 0 0 6
Scores 0 0 0 0 48 0 0 0 48
none

F (expected value)

1.41 (confidence rate)

CC

0
DNF

0
DNF

0
DNF

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

0
?
-
---:-- / 0
DNF

0
F
T
---:-M / 48

All «Known» models
 
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total Points 1350 2294 3364 2054 2934 2528 2700 1782 3298
ARMCacheCoherence — P/T
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 0 0 16 20 0 0 0 0
Bonuses 0 0 0 0 4 0 0 0 0
Scores 0 0 0 16 16 0 0 0 0
none

F (expected value)

1.72 (confidence rate)

CC

0
DNF

0
?
-
---:-- / 0
F
T
---:-- / 16
F
T
---:PM / 16
CC

0
?
-
---:-- / 0
DNF

0
DNF

0
Angiogenesis — P/T
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 32 116 80 64 32 36 32 36
Bonuses 0 0 20 0 0 0 4 0 4
Scores 0 32 96 80 64 32 32 32 32
01

T (expected value)

5.24 (confidence rate)

F
X
V--:-- / -
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:PM / 16
T
T
---:-- / 16
T
T
---:-- / 16
05

T (expected value)

5.24 (confidence rate)

DNC T
T
---:-- / 16
T
T
---:PM / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
10

T (expected value)

2.70 (confidence rate)

DNC DNF

0
T
T
---:PM / 16
T
T
---:-- / 16
T
T
---:-- / 16
CC

0
?
-
---:-- / 0
DNF

0
F
X
V--:-- / -
15

T (expected value)

2.70 (confidence rate)

DNC DNF

0
T
T
---:PM / 16
T
T
---:-- / 16
T
T
---:-- / 16
CC

0
?
-
---:-- / 0
DNF

0
F
X
V--:-- / -
20

T (expected value)

1.77 (confidence rate)

DNC DNF

0
T
T
---:PM / 16
T
T
---:-- / 16
DNF

0
CC

0
?
-
---:-- / 0
DNF

0
F
X
V--:-- / -
25

T (expected value)

0.98 (confidence rate)

DNC DNF

0
T
T
---:PM / 16
DNF

0
DNF

0
CC

0
?
-
---:-- / 0
DNF

0
F
X
V--:-- / -
50

(F) (expected value)

0.48 (confidence rate)

DNC DNF

0
?
-
---:-- / 0
DNF

0
DNF

0
CC

0
?
-
---:-- / 0
DNF

0
F
?
---:PM / 0
CSRepetitions — Colored
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 0 0 0 40 0 0 0 0
Bonuses 0 0 0 0 8 0 0 0 0
Scores 0 0 0 0 32 0 0 0 0
02

T (expected value)

0.92 (confidence rate)

DNC DNC DNC CC

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

T (expected value)

0.92 (confidence rate)

DNC DNC DNC CC

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

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
05

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
07

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
10

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
CSRepetitions — P/T
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 32 108 32 32 96 108 64 96
Bonuses 0 0 12 0 0 0 12 0 0
Scores 0 32 96 32 32 96 96 64 96
02

T (expected value)

5.24 (confidence rate)

DNC T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:PM / 16
T
T
---:-- / 16
T
T
---:-- / 16
03

T (expected value)

4.62 (confidence rate)

DNC DNF

0
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:PM / 16
T
T
---:-- / 16
T
T
---:-- / 16
04

T (expected value)

3.52 (confidence rate)

DNC T
T
---:-- / 16
T
T
---:P- / 16
DNF

0
DNF

0
T
T
---:-- / 16
T
T
---:-M / 16
T
T
---:-- / 16
T
T
---:-- / 16
05

T (expected value)

2.90 (confidence rate)

DNC DNF

0
T
T
---:P- / 16
DNF

0
DNF

0
T
T
---:-- / 16
T
T
---:-M / 16
T
T
---:-- / 16
T
T
---:-- / 16
07

T (expected value)

2.46 (confidence rate)

DNC CC

0
T
T
---:PM / 16
DNF

0
DNF

0
T
T
---:-- / 16
T
T
---:-- / 16
DNF

0
T
T
---:-- / 16
10

T (expected value)

2.46 (confidence rate)

DNC CC

0
T
T
---:PM / 16
DNF

0
DNF

0
T
T
---:-- / 16
T
T
---:-- / 16
DNF

0
T
T
---:-- / 16
CircadianClock — P/T
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 20 54 32 48 68 32 32 96 106
Bonuses 4 6 0 0 4 0 0 0 10
Scores 16 48 32 48 64 32 32 96 96
000001

F (expected value)

6.21 (confidence rate)

F
T
---:PM / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
000010

F (expected value)

5.24 (confidence rate)

DNC F
T
---:PM / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
000100

F (expected value)

3.27 (confidence rate)

DNC F
T
---:-M / 16
?
-
---:-- / 0
F
T
---:-- / 16
F
T
---:P- / 16
CC

0
?
-
---:-- / 0
F
T
---:-- / 16
F
T
---:-- / 16
001000

F (expected value)

1.85 (confidence rate)

DNC DNF

0
?
-
---:-- / 0
DNF

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

0
?
-
---:-- / 0
F
T
---:-- / 16
F
T
---:-M / 16
010000

F (expected value)

0.92 (confidence rate)

DNC DNF

0
?
-
---:-- / 0
?
-
---:-- / 0
DNF

0
CC

0
?
-
---:-- / 0
F
T
---:-- / 16
F
T
---:PM / 16
100000

F (expected value)

0.92 (confidence rate)

DNC DNF

0
?
-
---:-- / 0
DNF

0
CC

0
CC

0
?
-
---:-- / 0
F
T
---:-- / 16
F
T
---:PM / 16
CircularTrains — P/T
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 32 136 48 96 32 34 34 112
Bonuses 0 0 24 0 0 0 2 2 0
Scores 0 32 112 48 96 32 32 32 112
012

F (expected value)

5.24 (confidence rate)

DNC F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:P- / 16
F
T
---:-M / 16
F
T
---:-- / 16
024

F (expected value)

5.24 (confidence rate)

DNC F
T
---:-- / 16
F
T
---:PM / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
048

F (expected value)

3.18 (confidence rate)

DNC DNF

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

0
?
-
---:-- / 0
DNF

0
F
T
---:-- / 16
096

F (expected value)

2.38 (confidence rate)

DNC DNF

0
F
T
---:PM / 16
DNF

0
F
T
---:-- / 16
CC

0
?
-
---:-- / 0
DNF

0
F
T
---:-- / 16
192

F (expected value)

2.38 (confidence rate)

DNC DNF

0
F
T
---:PM / 16
DNF

0
F
T
---:-- / 16
CC

0
?
-
---:-- / 0
DNF

0
F
T
---:-- / 16
384

F (expected value)

2.38 (confidence rate)

DNC DNF

0
F
T
---:PM / 16
DNF

0
F
T
---:-- / 16
CC

0
?
-
---:-- / 0
DNF

0
F
T
---:-- / 16
768

F (expected value)

1.46 (confidence rate)

DNC DNF

0
F
T
---:PM / 16
DNF

0
DNF

0
CC

0
?
-
---:-- / 0
DNF

0
F
T
---:-- / 16
DatabaseWithMutex — Colored
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 0 0 0 40 0 0 0 0
Bonuses 0 0 0 0 8 0 0 0 0
Scores 0 0 0 0 32 0 0 0 0
02

F (expected value)

0.92 (confidence rate)

DNC DNC DNC CC

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

F (expected value)

0.92 (confidence rate)

DNC DNC DNC CC

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

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
20

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
40

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
DatabaseWithMutex — P/T
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 34 16 36 16 32 32 32 18 40
Bonuses 2 0 4 0 0 0 0 2 8
Scores 32 16 32 16 32 32 32 16 32
02

F (expected value)

6.21 (confidence rate)

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

F (expected value)

4.35 (confidence rate)

F
T
---:-- / 16
DNF

0
F
T
---:PM / 16
DNF

0
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
DNF

0
F
T
---:-- / 16
10

(F) (expected value)

0.48 (confidence rate)

CC

0
DNF

0
?
-
---:-- / 0
DNF

0
DNF

0
CC

0
?
-
---:-- / 0
DNF

0
F
?
---:PM / 0
20

(F) (expected value)

0.48 (confidence rate)

CC

0
DNF

0
?
-
---:-- / 0
DNF

0
DNF

0
CC

0
?
-
---:-- / 0
DNF

0
F
?
---:PM / 0
40

? (expected value)

0 (confidence rate)

CC

0
CC

0
?
?
---:-- / 0
DNF

0
DNF

0
CC

0
?
?
---:-- / 0
DNF

0
DNF

0
Dekker — P/T
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 92 48 88 32 48 32 32 32 32
Bonuses 12 0 8 0 0 0 0 0 0
Scores 80 48 80 32 48 32 32 32 32
010

F (expected value)

6.21 (confidence rate)

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

F (expected value)

6.21 (confidence rate)

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

F (expected value)

3.49 (confidence rate)

F
T
---:PM / 16
F
T
---:-- / 16
F
T
---:-- / 16
DNF

0
F
T
---:-- / 16
DNF

0
?
-
---:-- / 0
DNF

0
DNF

0
050

F (expected value)

1.95 (confidence rate)

F
T
---:P- / 16
DNF

0
F
T
---:-M / 16
DNF

0
DNF

0
DNF

0
?
-
---:-- / 0
DNF

0
DNF

0
100

F (expected value)

1.95 (confidence rate)

F
T
---:P- / 16
DNF

0
F
T
---:-M / 16
DNF

0
DNF

0
DNF

0
?
-
---:-- / 0
DNF

0
DNF

0
200

? (expected value)

0 (confidence rate)

CC

0
DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
?
?
---:-- / 0
DNF

0
DNF

0
Diffusion2D — P/T
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 258 16 64 276 0 0 0 218
Bonuses 0 50 0 0 20 0 0 0 10
Scores 0 208 16 64 256 0 0 0 208
D05N010

F (expected value)

3.80 (confidence rate)

DNC F
T
---:PM / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
DNF

0
?
-
---:-- / 0
DNF

0
F
T
---:-- / 16
D05N050

F (expected value)

2.82 (confidence rate)

DNC F
T
---:-M / 16
?
-
---:-- / 0
F
T
---:-- / 16
F
T
---:P- / 16
DNF

0
?
-
---:-- / 0
DNF

0
F
T
---:-- / 16
D05N100

F (expected value)

2.03 (confidence rate)

DNC F
T
---:-M / 16
?
-
---:-- / 0
DNF

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

0
?
-
---:-- / 0
DNF

0
F
T
---:-- / 16
D05N150

F (expected value)

2.03 (confidence rate)

DNC F
T
---:-M / 16
?
-
---:-- / 0
DNF

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

0
?
-
---:-- / 0
DNF

0
F
T
---:-- / 16
D05N200

F (expected value)

2.03 (confidence rate)

DNC F
T
---:-M / 16
?
-
---:-- / 0
DNF

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

0
?
-
---:-- / 0
DNF

0
F
T
---:-- / 16
D05N250

F (expected value)

2.03 (confidence rate)

DNC F
T
---:-M / 16
?
-
---:-- / 0
DNF

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

0
?
-
---:-- / 0
DNF

0
F
T
---:-- / 16
D05N300

F (expected value)

2.03 (confidence rate)

DNC F
T
---:-M / 16
?
-
---:-- / 0
DNF

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

0
?
-
---:-- / 0
DNF

0
F
T
---:-- / 16
D05N350

F (expected value)

1.41 (confidence rate)

DNC DNF

0
?
-
---:-- / 0
DNF

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

0
?
-
---:-- / 0
DNF

0
F
T
---:-M / 16
D10N010

F (expected value)

2.82 (confidence rate)

DNC F
T
---:PM / 16
?
-
---:-- / 0
F
T
---:-- / 16
F
T
---:-- / 16
DNF

0
?
-
---:-- / 0
DNF

0
F
T
---:-- / 16
D10N050

F (expected value)

2.03 (confidence rate)

DNC F
T
---:-M / 16
?
-
---:-- / 0
DNF

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

0
?
-
---:-- / 0
DNF

0
F
T
---:-- / 16
D10N100

F (expected value)

2.03 (confidence rate)

DNC F
T
---:-- / 16
?
-
---:-- / 0
DNF

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

0
?
-
---:-- / 0
DNF

0
F
T
---:-M / 16
D10N150

F (expected value)

1.41 (confidence rate)

DNC DNF

0
?
-
---:-- / 0
DNF

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

0
?
-
---:-- / 0
DNF

0
F
T
---:-M / 16
D10N200

F (expected value)

1.41 (confidence rate)

DNC DNF

0
?
-
---:-- / 0
DNF

0
F
T
---:-- / 16
CC

0
?
-
---:-- / 0
DNF

0
F
T
---:PM / 16
D20N010

F (expected value)

2.34 (confidence rate)

DNC F
T
---:PM / 16
?
-
---:-- / 0
F
T
---:-- / 16
F
T
---:-- / 16
DNF

0
?
-
---:-- / 0
DNF

0
DNF

0
D20N050

F (expected value)

1.55 (confidence rate)

DNC F
T
---:PM / 16
?
-
---:-- / 0
DNF

0
F
T
---:-- / 16
DNF

0
?
-
---:-- / 0
DNF

0
DNF

0
D20N100

(F) (expected value)

0.63 (confidence rate)

DNC F
?
---:PM / 0
?
-
---:-- / 0
DNF

0
DNF

0
DNF

0
?
-
---:-- / 0
DNF

0
DNF

0
D20N150

? (expected value)

0 (confidence rate)

DNC DNF

0
?
?
---:-- / 0
DNF

0
DNF

0
DNF

0
?
?
---:-- / 0
DNF

0
DNF

0
D30N010

F (expected value)

1.55 (confidence rate)

DNC F
T
---:PM / 16
?
-
---:-- / 0
DNF

0
F
T
---:-- / 16
DNF

0
?
-
---:-- / 0
DNF

0
DNF

0
D30N050

(F) (expected value)

0.63 (confidence rate)

DNC F
?
---:PM / 0
?
-
---:-- / 0
DNF

0
DNF

0
DNF

0
?
-
---:-- / 0
DNF

0
DNF

0
D30N100

? (expected value)

0 (confidence rate)

DNC DNF

0
?
?
---:-- / 0
DNF

0
DNF

0
DNF

0
?
?
---:-- / 0
DNF

0
DNF

0
D30N150

? (expected value)

0 (confidence rate)

DNC DNF

0
?
?
---:-- / 0
DNF

0
DNF

0
DNF

0
?
?
---:-- / 0
DNF

0
DNF

0
D40N010

(F) (expected value)

0.63 (confidence rate)

DNC F
?
---:PM / 0
?
-
---:-- / 0
DNF

0
DNF

0
DNF

0
?
-
---:-- / 0
DNF

0
DNF

0
D40N050

? (expected value)

0 (confidence rate)

DNC DNF

0
?
?
---:-- / 0
DNF

0
DNF

0
DNF

0
?
?
---:-- / 0
DNF

0
DNF

0
D40N100

? (expected value)

0 (confidence rate)

DNC DNF

0
?
?
---:-- / 0
DNF

0
DNF

0
DNF

0
?
?
---:-- / 0
DNF

0
DNF

0
D40N150

? (expected value)

0 (confidence rate)

DNC DNF

0
?
?
---:-- / 0
DNF

0
DNF

0
DNF

0
?
?
---:-- / 0
DNF

0
DNF

0
D50N010

(F) (expected value)

0.63 (confidence rate)

DNC F
?
---:PM / 0
?
-
---:-- / 0
DNF

0
DNF

0
DNF

0
?
-
---:-- / 0
DNF

0
DNF

0
D50N050

? (expected value)

0 (confidence rate)

DNC DNF

0
?
?
---:-- / 0
DNF

0
DNF

0
DNF

0
?
?
---:-- / 0
DNF

0
DNF

0
D50N100

? (expected value)

0 (confidence rate)

DNC DNF

0
?
?
---:-- / 0
DNF

0
DNF

0
DNF

0
?
?
---:-- / 0
DNF

0
DNF

0
D50N150

? (expected value)

0 (confidence rate)

DNC DNF

0
?
?
---:-- / 0
DNF

0
DNF

0
DNF

0
?
?
---:-- / 0
DNF

0
DNF

0
DotAndBoxes — Colored
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 0 0 0 20 0 0 0 0
Bonuses 0 0 0 0 4 0 0 0 0
Scores 0 0 0 0 16 0 0 0 0
2

T (expected value)

0.92 (confidence rate)

DNC CC

0
DNC CC

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

? (expected value)

0 (confidence rate)

DNC CC

0
DNC CC

0
DNF

0
DNC DNC DNC DNC
4

? (expected value)

0 (confidence rate)

DNC CC

0
DNC CC

0
DNF

0
DNC DNC DNC DNC
5

? (expected value)

0 (confidence rate)

DNC CC

0
DNC CC

0
DNF

0
DNC DNC DNC DNC
DrinkVendingMachine — Colored
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 0 0 0 40 0 0 0 0
Bonuses 0 0 0 0 8 0 0 0 0
Scores 0 0 0 0 32 0 0 0 0
02

F (expected value)

0.92 (confidence rate)

DNC CC

0
DNC CC

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

F (expected value)

0.92 (confidence rate)

DNC CC

0
DNC CC

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

? (expected value)

0 (confidence rate)

DNC CC

0
DNC CC

0
DNF

0
DNC DNC DNC DNC
24

? (expected value)

0 (confidence rate)

DNC CC

0
DNC CC

0
CC

0
DNC DNC DNC DNC
48

? (expected value)

0 (confidence rate)

DNC CC

0
DNC CC

0
CC

0
DNC DNC DNC DNC
76

? (expected value)

0 (confidence rate)

DNC CC

0
DNC CC

0
CC

0
DNC DNC DNC DNC
98

? (expected value)

0 (confidence rate)

DNC CC

0
DNC CC

0
CC

0
DNC DNC DNC DNC
DrinkVendingMachine — P/T
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 16 32 16 36 16 20 16 16
Bonuses 0 0 0 0 4 0 4 0 0
Scores 0 16 32 16 32 16 16 16 16
02

F (expected value)

5.24 (confidence rate)

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

F (expected value)

1.91 (confidence rate)

DNC DNF

0
F
T
---:-- / 16
?
-
---:-- / 0
F
T
---:PM / 16
DNF

0
DNF

0
DNF

0
DNF

0
ERK — P/T
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 20 32 114 48 64 32 34 96 96
Bonuses 4 0 18 0 0 0 2 0 0
Scores 16 32 96 48 64 32 32 96 96
000001

F (expected value)

6.21 (confidence rate)

F
T
---:PM / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
000010

F (expected value)

5.24 (confidence rate)

DNC F
T
---:-- / 16
F
T
---:P- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-M / 16
F
T
---:-- / 16
F
T
---:-- / 16
000100

F (expected value)

3.62 (confidence rate)

DNC DNF

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

0
?
-
---:-- / 0
F
T
---:-- / 16
F
T
---:-- / 16
001000

F (expected value)

2.83 (confidence rate)

DNC DNF

0
F
T
---:PM / 16
DNF

0
F
T
---:-- / 16
CC

0
?
-
---:-- / 0
F
T
---:-- / 16
F
T
---:-- / 16
010000

F (expected value)

1.90 (confidence rate)

DNC DNF

0
F
T
---:PM / 16
DNF

0
DNF

0
CC

0
?
-
---:-- / 0
F
T
---:-- / 16
F
T
---:-- / 16
100000

F (expected value)

1.90 (confidence rate)

DNC DNF

0
F
T
---:PM / 16
DNF

0
CC

0
CC

0
?
-
---:-- / 0
F
T
---:-- / 16
F
T
---:-- / 16
Echo — P/T
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 0 178 0 0 144 146 0 112
Bonuses 0 0 34 0 0 0 2 0 0
Scores 0 0 144 0 0 144 144 0 112
d02r09

T (expected value)

2.46 (confidence rate)

CC

0
DNF

0
T
T
---:PM / 16
DNF

0
DNF

0
T
T
---:-- / 16
T
T
---:-- / 16
DNF

0
T
T
---:-- / 16
d02r11

T (expected value)

2.46 (confidence rate)

DNF

0
DNF

0
T
T
---:PM / 16
DNF

0
DNF

0
T
T
---:-- / 16
T
T
---:-- / 16
DNF

0
T
T
---:-- / 16
d02r15

T (expected value)

2.46 (confidence rate)

CC

0
DNF

0
T
T
---:PM / 16
DNF

0
DNF

0
T
T
---:-- / 16
T
T
---:-- / 16
DNF

0
T
T
---:-- / 16
d02r19

T (expected value)

2.46 (confidence rate)

CC

0
DNF

0
T
T
---:PM / 16
DNF

0
DNF

0
T
T
---:-- / 16
T
T
---:-- / 16
DNF

0
T
T
---:-- / 16
d03r03

T (expected value)

2.46 (confidence rate)

CC

0
DNF

0
T
T
---:P- / 16
DNF

0
DNF

0
T
T
---:-- / 16
T
T
---:-M / 16
DNF

0
T
T
---:-- / 16
d03r05

T (expected value)

2.46 (confidence rate)

CC

0
DNF

0
T
T
---:PM / 16
DNF

0
DNF

0
T
T
---:-- / 16
T
T
---:-- / 16
DNF

0
T
T
---:-- / 16
d03r07

T (expected value)

1.98 (confidence rate)

CC

0
DNF

0
T
T
---:PM / 16
DNF

0
DNF

0
T
T
---:-- / 16
T
T
---:-- / 16
DNF

0
F
X
V--:-- / -
d04r03

T (expected value)

2.46 (confidence rate)

CC

0
DNF

0
T
T
---:PM / 16
DNF

0
DNF

0
T
T
---:-- / 16
T
T
---:-- / 16
DNF

0
T
T
---:-- / 16
d05r03

T (expected value)

1.98 (confidence rate)

CC

0
CC

0
T
T
---:PM / 16
DNF

0
DNF

0
T
T
---:-- / 16
T
T
---:-- / 16
DNF

0
F
X
V--:-- / -
EnergyBus — P/T
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 20 0 0 16 0 0 0 0
Bonuses 0 4 0 0 0 0 0 0 0
Scores 0 16 0 0 16 0 0 0 0
none

F (expected value)

1.55 (confidence rate)

DNF

0
F
T
---:PM / 16
DNF

0
DNF

0
F
T
---:-- / 16
CC

0
?
-
---:-- / 0
DNF

0
DNF

0
Eratosthenes — P/T
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 16 64 104 96 96 96 112 80 96
Bonuses 0 0 8 0 0 0 16 0 0
Scores 16 64 96 96 96 96 96 80 96
010

T (expected value)

5.24 (confidence rate)

F
X
V--:-- / -
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:PM / 16
T
T
---:-- / 16
T
T
---:-- / 16
020

T (expected value)

6.21 (confidence rate)

T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:PM / 16
T
T
---:-- / 16
T
T
---:-- / 16
050

T (expected value)

5.24 (confidence rate)

CC

0
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:PM / 16
T
T
---:-- / 16
T
T
---:-- / 16
100

T (expected value)

5.24 (confidence rate)

CC

0
T
T
---:-- / 16
T
T
---:P- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-M / 16
T
T
---:-- / 16
T
T
---:-- / 16
200

T (expected value)

4.62 (confidence rate)

CC

0
CC

0
T
T
---:P- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-M / 16
T
T
---:-- / 16
T
T
---:-- / 16
500

T (expected value)

4.17 (confidence rate)

CC

0
CC

0
T
T
---:PM / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
DNF

0
T
T
---:-- / 16
FMS — P/T
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 112 150 96 96 80 90 128 128
Bonuses 0 0 22 0 0 0 10 0 0
Scores 0 112 128 96 96 80 80 128 128
002

F (expected value)

5.24 (confidence rate)

DNC F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:PM / 16
F
T
---:-- / 16
F
T
---:-- / 16
005

F (expected value)

5.24 (confidence rate)

DNC F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:PM / 16
F
T
---:-- / 16
F
T
---:-- / 16
010

F (expected value)

5.24 (confidence rate)

DNC F
T
---:-- / 16
F
T
---:P- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-M / 16
F
T
---:-- / 16
F
T
---:-- / 16
020

F (expected value)

5.24 (confidence rate)

DNC F
T
---:-- / 16
F
T
---:PM / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
050

F (expected value)

5.24 (confidence rate)

DNC F
T
---:-- / 16
F
T
---:PM / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
100

F (expected value)

4.24 (confidence rate)

DNC F
T
---:-- / 16
F
T
---:PM / 16
F
T
---:-- / 16
F
T
---:-- / 16
CC

0
?
-
---:-- / 0
F
T
---:-- / 16
F
T
---:-- / 16
200

F (expected value)

2.52 (confidence rate)

DNC F
T
---:-- / 16
F
T
---:PM / 16
DNF

0
DNF

0
CC

0
?
-
---:-- / 0
F
T
---:-- / 16
F
T
---:-- / 16
500

F (expected value)

1.90 (confidence rate)

DNC DNF

0
F
T
---:PM / 16
DNF

0
DNF

0
CC

0
?
-
---:-- / 0
F
T
---:-- / 16
F
T
---:-- / 16
GlobalResAllocation — Colored
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 0 0 0 20 0 0 0 0
Bonuses 0 0 0 0 4 0 0 0 0
Scores 0 0 0 0 16 0 0 0 0
03

F (expected value)

0.92 (confidence rate)

DNC DNC DNC CC

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

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
06

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
07

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
09

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
10

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
11

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
GlobalResAllocation — P/T
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 16 20 0 16 16 16 16 16
Bonuses 0 0 4 0 0 0 0 0 0
Scores 0 16 16 0 16 16 16 16 16
03

F (expected value)

4.45 (confidence rate)

DNC F
T
---:-- / 16
F
T
---:PM / 16
DNF

0
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
05

? (expected value)

0 (confidence rate)

DNC DNF

0
DNF

0
?
?
---:-- / 0
DNF

0
CC

0
?
?
---:-- / 0
DNF

0
DNF

0
HouseConstruction — P/T
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 128 128 64 64 128 158 130 128
Bonuses 0 0 0 0 0 0 30 2 0
Scores 0 128 128 64 64 128 128 128 128
002

T (expected value)

5.24 (confidence rate)

DNC T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:PM / 16
T
T
---:-- / 16
T
T
---:-- / 16
005

T (expected value)

5.24 (confidence rate)

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

T (expected value)

5.24 (confidence rate)

DNC T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:PM / 16
T
T
---:-- / 16
T
T
---:-- / 16
020

T (expected value)

5.24 (confidence rate)

DNC T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:PM / 16
T
T
---:-- / 16
T
T
---:-- / 16
050

T (expected value)

3.52 (confidence rate)

DNC T
T
---:-- / 16
T
T
---:-- / 16
DNF

0
DNF

0
T
T
---:-- / 16
T
T
---:PM / 16
T
T
---:-- / 16
T
T
---:-- / 16
100

T (expected value)

3.52 (confidence rate)

DNC T
T
---:-- / 16
T
T
---:-- / 16
DNF

0
DNF

0
T
T
---:-- / 16
T
T
---:PM / 16
T
T
---:-- / 16
T
T
---:-- / 16
200

T (expected value)

3.52 (confidence rate)

DNC T
T
---:-- / 16
T
T
---:-- / 16
DNF

0
DNF

0
T
T
---:-- / 16
T
T
---:PM / 16
T
T
---:-- / 16
T
T
---:-- / 16
500

T (expected value)

3.52 (confidence rate)

DNC T
T
---:-- / 16
T
T
---:-- / 16
DNF

0
DNF

0
T
T
---:-- / 16
T
T
---:PM / 16
T
T
---:-- / 16
T
T
---:-- / 16
IBMB2S565S3960 — P/T
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 0 20 0 16 16 16 0 16
Bonuses 0 0 4 0 0 0 0 0 0
Scores 0 0 16 0 16 16 16 0 16
none

T (expected value)

3.38 (confidence rate)

DNC DNF

0
T
T
---:PM / 16
DNF

0
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
DNF

0
T
T
---:-- / 16
Kanban — P/T
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 106 88 64 80 48 52 128 138
Bonuses 0 10 8 0 0 0 4 0 10
Scores 0 96 80 64 80 48 48 128 128
0005

F (expected value)

5.24 (confidence rate)

DNC F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:PM / 16
F
T
---:-- / 16
F
T
---:-- / 16
0010

F (expected value)

5.24 (confidence rate)

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

F (expected value)

5.24 (confidence rate)

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

F (expected value)

4.24 (confidence rate)

DNC F
T
---:PM / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
CC

0
?
-
---:-- / 0
F
T
---:-- / 16
F
T
---:-- / 16
0100

F (expected value)

3.45 (confidence rate)

DNC F
T
---:PM / 16
F
T
---:-- / 16
DNF

0
F
T
---:-- / 16
CC

0
?
-
---:-- / 0
F
T
---:-- / 16
F
T
---:-- / 16
0200

F (expected value)

1.55 (confidence rate)

DNC F
T
---:-M / 16
?
-
---:-- / 0
DNF

0
CC

0
CC

0
?
-
---:-- / 0
F
T
---:-- / 16
F
T
---:P- / 16
0500

F (expected value)

0.92 (confidence rate)

DNC DNF

0
?
-
---:-- / 0
DNF

0
CC

0
CC

0
?
-
---:-- / 0
F
T
---:-- / 16
F
T
---:PM / 16
1000

F (expected value)

0.92 (confidence rate)

DNC DNF

0
?
-
---:-- / 0
DNF

0
CC

0
CC

0
?
-
---:-- / 0
F
T
---:-- / 16
F
T
---:PM / 16
LamportFastMutEx — Colored
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 0 0 0 60 0 0 0 0
Bonuses 0 0 0 0 12 0 0 0 0
Scores 0 0 0 0 48 0 0 0 0
2

F (expected value)

0.92 (confidence rate)

DNC DNC DNC CC

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

F (expected value)

0.92 (confidence rate)

DNC DNC DNC CC

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

F (expected value)

0.92 (confidence rate)

DNC DNC DNC CC

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

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
6

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
7

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
8

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
LamportFastMutEx — P/T
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 34 48 54 48 48 32 36 48 64
Bonuses 2 0 6 0 0 0 4 0 16
Scores 32 48 48 48 48 32 32 48 48
2

F (expected value)

6.21 (confidence rate)

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

F (expected value)

6.21 (confidence rate)

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

F (expected value)

4.24 (confidence rate)

DNF

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

0
?
-
---:-- / 0
F
T
---:-- / 16
F
T
---:-- / 16
5

(F) (expected value)

0.48 (confidence rate)

DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
CC

0
?
-
---:-- / 0
DNF

0
F
?
---:PM / 0
6

(F) (expected value)

0.48 (confidence rate)

DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
CC

0
?
-
---:-- / 0
DNF

0
F
?
---:PM / 0
7

(F) (expected value)

0.48 (confidence rate)

DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
CC

0
?
-
---:-- / 0
DNF

0
F
?
---:PM / 0
8

(F) (expected value)

0.48 (confidence rate)

DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
CC

0
?
-
---:-- / 0
DNF

0
F
?
---:PM / 0
MAPK — P/T
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 16 20 64 86 16 16 96 110
Bonuses 0 0 4 0 6 0 0 0 14
Scores 0 16 16 64 80 16 16 96 96
008

F (expected value)

5.24 (confidence rate)

DNC F
T
---:-- / 16
F
T
---:PM / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
020

F (expected value)

2.64 (confidence rate)

DNC DNF

0
?
-
---:-- / 0
F
T
---:-- / 16
F
T
---:P- / 16
CC

0
?
-
---:-- / 0
F
T
---:-- / 16
F
T
---:-M / 16
040

F (expected value)

2.64 (confidence rate)

DNC DNF

0
?
-
---:-- / 0
F
T
---:-- / 16
F
T
---:P- / 16
CC

0
?
-
---:-- / 0
F
T
---:-- / 16
F
T
---:-M / 16
080

F (expected value)

2.64 (confidence rate)

DNC DNF

0
?
-
---:-- / 0
F
T
---:-- / 16
F
T
---:P- / 16
CC

0
?
-
---:-- / 0
F
T
---:-- / 16
F
T
---:-M / 16
160

F (expected value)

1.85 (confidence rate)

DNC DNF

0
?
-
---:-- / 0
DNF

0
F
T
---:-- / 16
CC

0
?
-
---:-- / 0
F
T
---:-- / 16
F
T
---:PM / 16
320

F (expected value)

0.92 (confidence rate)

DNC DNF

0
?
-
---:-- / 0
DNF

0
DNF

0
CC

0
?
-
---:-- / 0
F
T
---:-- / 16
F
T
---:PM / 16
MultiwaySync — P/T
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 20 0 16 16 0 0 0 16
Bonuses 0 4 0 0 0 0 0 0 0
Scores 0 16 0 16 16 0 0 0 16
none

F (expected value)

2.82 (confidence rate)

DNF

0
F
T
---:PM / 16
DNF

0
F
T
---:-- / 16
F
T
---:-- / 16
CC

0
?
-
---:-- / 0
DNF

0
F
T
---:-- / 16
NeoElection — Colored
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 0 0 0 40 0 0 0 0
Bonuses 0 0 0 0 8 0 0 0 0
Scores 0 0 0 0 32 0 0 0 0
2

T (expected value)

0.92 (confidence rate)

DNC CC

0
DNC CC

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

T (expected value)

0.92 (confidence rate)

DNC CC

0
DNC CC

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

? (expected value)

0 (confidence rate)

DNC CC

0
DNC CC

0
DNF

0
DNC DNC DNC DNC
5

? (expected value)

0 (confidence rate)

DNC CC

0
DNC CC

0
DNF

0
DNC DNC DNC DNC
6

? (expected value)

0 (confidence rate)

DNC CC

0
DNC CC

0
DNF

0
DNC DNC DNC DNC
7

? (expected value)

0 (confidence rate)

DNC CC

0
DNC CC

0
DNF

0
DNC DNC DNC DNC
8

? (expected value)

0 (confidence rate)

DNC CC

0
DNC CC

0
DNF

0
DNC DNC DNC DNC
NeoElection — P/T
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 36 0 116 32 32 98 108 0 86
Bonuses 4 0 4 0 0 2 12 0 6
Scores 32 0 112 32 32 96 96 0 80
2

T (expected value)

5.14 (confidence rate)

T
T
---:PM / 16
DNF

0
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
DNF

0
T
T
---:-- / 16
3

T (expected value)

5.14 (confidence rate)

T
T
---:-- / 16
DNF

0
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:PM / 16
DNF

0
T
T
---:-- / 16
4

T (expected value)

2.46 (confidence rate)

DNF

0
DNF

0
T
T
---:-- / 16
DNF

0
DNF

0
T
T
---:-- / 16
T
T
---:P- / 16
DNF

0
T
T
---:-M / 16
5

T (expected value)

2.46 (confidence rate)

CC

0
DNF

0
T
T
---:-- / 16
DNF

0
DNF

0
T
T
---:P- / 16
T
T
---:-- / 16
DNF

0
T
T
---:-M / 16
6

T (expected value)

2.46 (confidence rate)

DNF

0
CC

0
T
T
---:-- / 16
DNF

0
DNF

0
T
T
---:-- / 16
T
T
---:P- / 16
DNF

0
T
T
---:-M / 16
7

T (expected value)

1.98 (confidence rate)

DNF

0
DNF

0
T
T
---:-- / 16
DNF

0
DNF

0
T
T
---:-- / 16
T
T
---:PM / 16
DNF

0
DNF

0
8

T (expected value)

0.98 (confidence rate)

DNF

0
CC

0
T
T
---:PM / 16
DNF

0
DNF

0
CC

0
?
-
---:-- / 0
DNF

0
DNF

0
ParamProductionCell — P/T
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 112 96 102 96 96 96 98 96 96
Bonuses 16 0 6 0 0 0 2 0 0
Scores 96 96 96 96 96 96 96 96 96
0

F (expected value)

6.21 (confidence rate)

F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:PM / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
1

F (expected value)

6.21 (confidence rate)

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

F (expected value)

6.21 (confidence rate)

F
T
---:PM / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
3

F (expected value)

6.21 (confidence rate)

F
T
---:PM / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
4

F (expected value)

6.21 (confidence rate)

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

F (expected value)

6.21 (confidence rate)

F
T
---:PM / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
PermAdmissibility — Colored
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 0 0 0 20 0 0 0 0
Bonuses 0 0 0 0 4 0 0 0 0
Scores 0 0 0 0 16 0 0 0 0
01

T (expected value)

0.92 (confidence rate)

DNC DNC DNC CC

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

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
05

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
10

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
20

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
50

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
PermAdmissibility — P/T
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 80 108 16 16 96 108 96 96
Bonuses 0 0 12 0 0 0 12 0 0
Scores 0 80 96 16 16 96 96 96 96
01

T (expected value)

5.24 (confidence rate)

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

T (expected value)

2.90 (confidence rate)

DNC DNF

0
T
T
---:P- / 16
DNF

0
DNF

0
T
T
---:-- / 16
T
T
---:-M / 16
T
T
---:-- / 16
T
T
---:-- / 16
05

T (expected value)

3.52 (confidence rate)

DNC T
T
---:-- / 16
T
T
---:P- / 16
DNF

0
DNF

0
T
T
---:-- / 16
T
T
---:-M / 16
T
T
---:-- / 16
T
T
---:-- / 16
10

T (expected value)

3.52 (confidence rate)

DNC T
T
---:-- / 16
T
T
---:P- / 16
?
-
---:-- / 0
DNF

0
T
T
---:-- / 16
T
T
---:-M / 16
T
T
---:-- / 16
T
T
---:-- / 16
20

T (expected value)

3.52 (confidence rate)

DNC T
T
---:-- / 16
T
T
---:P- / 16
?
-
---:-- / 0
DNF

0
T
T
---:-- / 16
T
T
---:-M / 16
T
T
---:-- / 16
T
T
---:-- / 16
50

T (expected value)

3.52 (confidence rate)

DNC T
T
---:-- / 16
T
T
---:P- / 16
DNF

0
DNF

0
T
T
---:-- / 16
T
T
---:-M / 16
T
T
---:-- / 16
T
T
---:-- / 16
Peterson — Colored
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 0 0 0 40 0 0 0 0
Bonuses 0 0 0 0 8 0 0 0 0
Scores 0 0 0 0 32 0 0 0 0
2

F (expected value)

0.92 (confidence rate)

DNC DNC DNC CC

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

F (expected value)

0.92 (confidence rate)

DNC DNC DNC CC

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

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
5

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
6

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
7

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
Peterson — P/T
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 34 32 58 32 32 32 32 16 52
Bonuses 2 0 10 0 0 0 0 0 4
Scores 32 32 48 32 32 32 32 16 48
2

F (expected value)

6.21 (confidence rate)

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

F (expected value)

5.77 (confidence rate)

F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:PM / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
DNF

0
F
T
---:-- / 16
4

F (expected value)

1.46 (confidence rate)

DNF

0
DNF

0
F
T
---:PM / 16
DNF

0
DNF

0
DNF

0
?
-
---:-- / 0
DNF

0
F
T
---:-- / 16
5

(F) (expected value)

0.48 (confidence rate)

DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
?
-
---:-- / 0
DNF

0
F
?
---:PM / 0
6

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
?
?
---:-- / 0
DNF

0
DNF

0
7

? (expected value)

0 (confidence rate)

DNF

0
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
?
?
---:-- / 0
DNF

0
DNF

0
Philosophers — Colored
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 0 0 0 160 0 0 0 0
Bonuses 0 0 0 0 32 0 0 0 0
Scores 0 0 0 0 128 0 0 0 0
000005

T (expected value)

0.92 (confidence rate)

DNC DNC DNC CC

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

T (expected value)

0.92 (confidence rate)

DNC DNC DNC CC

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

T (expected value)

0.92 (confidence rate)

DNC DNC DNC CC

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

T (expected value)

0.92 (confidence rate)

DNC DNC DNC CC

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

T (expected value)

0.92 (confidence rate)

DNC DNC DNC CC

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

T (expected value)

0.92 (confidence rate)

DNC DNC DNC CC

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

T (expected value)

0.92 (confidence rate)

DNC DNC DNC CC

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

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
002000

T (expected value)

0.92 (confidence rate)

DNC DNC DNC CC

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

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
010000

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
050000

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
100000

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
Philosophers — P/T
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 176 48 200 96 112 64 68 32 48
Bonuses 16 0 24 0 0 0 4 0 0
Scores 160 48 176 96 112 64 64 32 48
000005

T (expected value)

6.21 (confidence rate)

T
T
---:PM / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
000010

T (expected value)

6.21 (confidence rate)

T
T
---:P- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-M / 16
T
T
---:-- / 16
T
T
---:-- / 16
000020

T (expected value)

4.29 (confidence rate)

T
T
---:P- / 16
T
T
---:-- / 16
T
T
---:-M / 16
T
T
---:-- / 16
T
T
---:-- / 16
DNF

0
?
-
---:-- / 0
DNF

0
F
X
V--:-- / -
000050

T (expected value)

5.14 (confidence rate)

T
T
---:P- / 16
DNF

0
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-M / 16
DNF

0
T
T
---:-- / 16
000100

T (expected value)

3.66 (confidence rate)

T
T
---:P- / 16
DNF

0
T
T
---:-M / 16
T
T
---:-- / 16
T
T
---:-- / 16
DNF

0
?
-
---:-- / 0
DNF

0
F
X
V--:-- / -
000200

T (expected value)

3.66 (confidence rate)

T
T
---:-- / 16
DNF

0
T
T
---:PM / 16
T
T
---:-- / 16
T
T
---:-- / 16
DNF

0
?
-
---:-- / 0
DNF

0
F
X
V--:-- / -
000500

T (expected value)

3.87 (confidence rate)

T
T
---:PM / 16
DNF

0
T
T
---:-- / 16
DNF

0
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
DNF

0
F
X
V--:-- / -
001000

T (expected value)

1.95 (confidence rate)

T
T
---:-- / 16
DNF

0
T
T
---:PM / 16
DNF

0
DNF

0
CC

0
?
-
---:-- / 0
DNF

0
DNF

0
002000

T (expected value)

1.95 (confidence rate)

T
T
---:-- / 16
CC

0
T
T
---:PM / 16
DNF

0
DNF

0
CC

0
?
-
---:-- / 0
DNF

0
DNF

0
005000

T (expected value)

1.95 (confidence rate)

T
T
---:-- / 16
CC

0
T
T
---:PM / 16
DNF

0
DNF

0
DNF

0
?
-
---:-- / 0
CC

0
CC

0
010000

T (expected value)

0.98 (confidence rate)

CC

0
CC

0
T
T
---:PM / 16
?
-
---:-- / 0
DNF

0
CC

0
CC

0
CC

0
CC

0
PhilosophersDyn — Colored
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 0 0 0 0 0 0 0 0
Bonuses 0 0 0 0 0 0 0 0 0
Scores 0 0 0 0 0 0 0 0 0
03

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
10

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
20

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
50

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
80

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
PhilosophersDyn — P/T
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 16 56 0 16 48 52 32 48
Bonuses 0 0 8 0 0 0 4 0 0
Scores 0 16 48 0 16 48 48 32 48
03

T (expected value)

4.45 (confidence rate)

DNC T
T
---:-- / 16
T
T
---:P- / 16
DNF

0
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-M / 16
T
T
---:-- / 16
T
T
---:-- / 16
10

T (expected value)

2.90 (confidence rate)

DNC DNF

0
T
T
---:PM / 16
DNF

0
DNF

0
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
20

T (expected value)

2.46 (confidence rate)

DNC DNF

0
T
T
---:P- / 16
DNF

0
DNF

0
T
T
---:-- / 16
T
T
---:-M / 16
DNF

0
T
T
---:-- / 16
Planning — P/T
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 0 0 0 0 0 0 0 4
Bonuses 0 0 0 0 0 0 0 0 4
Scores 0 0 0 0 0 0 0 0 0
none

(F) (expected value)

0.48 (confidence rate)

DNC DNF

0
?
-
---:-- / 0
?
-
---:-- / 0
DNF

0
CC

0
?
-
---:-- / 0
DNF

0
F
?
---:PM / 0
PolyORBLF — Colored
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 0 0 0 0 0 0 0 0
Bonuses 0 0 0 0 0 0 0 0 0
Scores 0 0 0 0 0 0 0 0 0
S02J04T06

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
S02J04T08

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
S02J04T10

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
S02J06T06

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
S02J06T08

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
S02J06T10

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
S04J04T06

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
S04J04T08

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
S04J04T10

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
S04J06T06

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
S04J06T08

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
S04J06T10

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
S06J04T04

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
S06J04T06

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
S06J04T08

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
S06J06T04

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
S06J06T06

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
S06J06T08

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
PolyORBLF — P/T
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 292 248 160 0 302 314 0 260
Bonuses 0 4 24 0 0 14 26 0 4
Scores 0 288 224 160 0 288 288 0 256
S02J04T06

T (expected value)

3.88 (confidence rate)

DNC T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
DNF

0
T
T
---:-- / 16
T
T
---:PM / 16
DNF

0
T
T
---:-- / 16
S02J04T08

T (expected value)

3.88 (confidence rate)

DNC T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
DNF

0
T
T
---:-- / 16
T
T
---:PM / 16
DNF

0
T
T
---:-- / 16
S02J04T10

T (expected value)

3.88 (confidence rate)

DNC T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
DNF

0
T
T
---:-- / 16
T
T
---:PM / 16
DNF

0
T
T
---:-- / 16
S02J06T06

T (expected value)

3.88 (confidence rate)

DNC T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
DNF

0
T
T
---:-M / 16
T
T
---:P- / 16
DNF

0
T
T
---:-- / 16
S02J06T08

T (expected value)

3.88 (confidence rate)

DNC T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
DNF

0
T
T
---:-- / 16
T
T
---:P- / 16
DNF

0
T
T
---:-M / 16
S02J06T10

T (expected value)

3.88 (confidence rate)

DNC T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
DNF

0
T
T
---:P- / 16
T
T
---:-- / 16
DNF

0
T
T
---:-M / 16
S04J04T06

T (expected value)

3.88 (confidence rate)

DNC T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
DNF

0
T
T
---:P- / 16
T
T
---:-M / 16
DNF

0
T
T
---:-- / 16
S04J04T08

T (expected value)

2.41 (confidence rate)

DNC T
T
---:-- / 16
DNF

0
T
T
---:-- / 16
DNF

0
T
T
---:P- / 16
T
T
---:-M / 16
DNF

0
DNF

0
S04J04T10

T (expected value)

2.89 (confidence rate)

DNC T
T
---:-- / 16
DNF

0
T
T
---:-- / 16
DNF

0
T
T
---:P- / 16
T
T
---:-M / 16
DNF

0
T
T
---:-- / 16
S04J06T06

T (expected value)

2.60 (confidence rate)

DNC T
T
---:PM / 16
T
T
---:-- / 16
DNF

0
DNF

0
T
T
---:-- / 16
T
T
---:-- / 16
DNF

0
DNF

0
S04J06T08

T (expected value)

2.89 (confidence rate)

DNC T
T
---:-- / 16
DNF

0
T
T
---:-- / 16
DNF

0
T
T
---:P- / 16
T
T
---:-M / 16
DNF

0
T
T
---:-- / 16
S04J06T10

T (expected value)

2.10 (confidence rate)

DNC T
T
---:-- / 16
DNF

0
DNF

0
DNF

0
T
T
---:P- / 16
T
T
---:-M / 16
DNF

0
T
T
---:-- / 16
S06J04T04

T (expected value)

3.08 (confidence rate)

DNC T
T
---:-- / 16
T
T
---:PM / 16
DNF

0
DNF

0
T
T
---:-- / 16
T
T
---:-- / 16
DNF

0
T
T
---:-- / 16
S06J04T06

T (expected value)

3.08 (confidence rate)

DNC T
T
---:-- / 16
T
T
---:PM / 16
DNF

0
DNF

0
T
T
---:-- / 16
T
T
---:-- / 16
DNF

0
T
T
---:-- / 16
S06J04T08

T (expected value)

3.08 (confidence rate)

DNC T
T
---:-- / 16
T
T
---:PM / 16
DNF

0
DNF

0
T
T
---:-- / 16
T
T
---:-- / 16
DNF

0
T
T
---:-- / 16
S06J06T04

T (expected value)

3.08 (confidence rate)

DNC T
T
---:-- / 16
T
T
---:PM / 16
DNF

0
DNF

0
T
T
---:-- / 16
T
T
---:-- / 16
DNF

0
T
T
---:-- / 16
S06J06T06

T (expected value)

3.08 (confidence rate)

DNC T
T
---:-- / 16
T
T
---:PM / 16
DNF

0
DNF

0
T
T
---:-- / 16
T
T
---:-- / 16
DNF

0
T
T
---:-- / 16
S06J06T08

T (expected value)

3.08 (confidence rate)

DNC T
T
---:-- / 16
T
T
---:PM / 16
DNF

0
DNF

0
T
T
---:-- / 16
T
T
---:-- / 16
DNF

0
T
T
---:-- / 16
PolyORBNT — Colored
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 0 0 0 0 0 0 0 0
Bonuses 0 0 0 0 0 0 0 0 0
Scores 0 0 0 0 0 0 0 0 0
S05J20

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
S05J30

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
S05J40

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
S05J60

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
CC

0
DNC DNC DNC DNC
S05J80

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
CC

0
DNC DNC DNC DNC
S10J20

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
S10J30

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
CC

0
DNC DNC DNC DNC
S10J40

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
CC

0
DNC DNC DNC DNC
S10J60

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
S10J80

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
PolyORBNT — P/T
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 160 192 86 0 144 144 0 162
Bonuses 0 0 32 6 0 0 0 0 2
Scores 0 160 160 80 0 144 144 0 160
S05J20

T (expected value)

3.08 (confidence rate)

DNC T
T
---:-- / 16
T
T
---:PM / 16
DNF

0
DNF

0
T
T
---:-- / 16
T
T
---:-- / 16
DNF

0
T
T
---:-- / 16
S05J30

T (expected value)

3.08 (confidence rate)

DNC T
T
---:-- / 16
T
T
---:PM / 16
DNF

0
CC

0
T
T
---:-- / 16
T
T
---:-- / 16
DNF

0
T
T
---:-- / 16
S05J40

T (expected value)

3.08 (confidence rate)

DNC T
T
---:-- / 16
T
T
---:PM / 16
DNF

0
CC

0
T
T
---:-- / 16
T
T
---:-- / 16
DNF

0
T
T
---:-- / 16
S05J60

T (expected value)

3.08 (confidence rate)

DNC T
T
---:-- / 16
T
T
---:PM / 16
DNF

0
CC

0
T
T
---:-- / 16
T
T
---:-- / 16
DNF

0
T
T
---:-- / 16
S05J80

T (expected value)

3.08 (confidence rate)

DNC T
T
---:-- / 16
T
T
---:PM / 16
DNF

0
CC

0
T
T
---:-- / 16
T
T
---:-- / 16
DNF

0
T
T
---:-- / 16
S10J20

T (expected value)

3.88 (confidence rate)

DNC T
T
---:-- / 16
T
T
---:PM / 16
T
T
---:-- / 16
DNF

0
T
T
---:-- / 16
T
T
---:-- / 16
DNF

0
T
T
---:-- / 16
S10J30

T (expected value)

3.88 (confidence rate)

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

0
T
T
---:-- / 16
T
T
---:-- / 16
DNF

0
T
T
---:-- / 16
S10J40

T (expected value)

3.88 (confidence rate)

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

0
T
T
---:-- / 16
T
T
---:-- / 16
DNF

0
T
T
---:-- / 16
S10J60

T (expected value)

3.88 (confidence rate)

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

0
T
T
---:-- / 16
T
T
---:-- / 16
DNF

0
T
T
---:-- / 16
S10J80

T (expected value)

2.88 (confidence rate)

DNC T
T
---:-- / 16
T
T
---:-M / 16
T
T
---:-- / 16
DNF

0
CC

0
?
-
---:-- / 0
DNF

0
T
T
---:P- / 16
ProductionCell — P/T
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 20 0 16 16 0 0 0 16
Bonuses 0 4 0 0 0 0 0 0 0
Scores 0 16 0 16 16 0 0 0 16
none

F (expected value)

2.82 (confidence rate)

DNF

0
F
T
---:PM / 16
?
-
---:-- / 0
F
T
---:-- / 16
F
T
---:-- / 16
CC

0
?
-
---:-- / 0
DNF

0
F
T
---:-- / 16
QuasiCertifProtocol — Colored
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 0 0 0 40 0 0 0 0
Bonuses 0 0 0 0 8 0 0 0 0
Scores 0 0 0 0 32 0 0 0 0
02

T (expected value)

0.92 (confidence rate)

DNC DNC DNC CC

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

T (expected value)

0.92 (confidence rate)

DNC DNC DNC CC

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

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
18

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
22

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
CC

0
DNC DNC DNC DNC
28

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
CC

0
DNC DNC DNC DNC
32

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
CC

0
DNC DNC DNC DNC
QuasiCertifProtocol — P/T
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 20 16 132 64 32 112 116 16 112
Bonuses 4 0 20 0 0 0 4 0 0
Scores 16 16 112 64 32 112 112 16 112
02

T (expected value)

6.21 (confidence rate)

T
T
---:PM / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
06

T (expected value)

4.17 (confidence rate)

DNC DNF

0
T
T
---:P- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-M / 16
DNF

0
T
T
---:-- / 16
10

T (expected value)

3.25 (confidence rate)

DNC DNF

0
T
T
---:P- / 16
T
T
---:-- / 16
DNF

0
T
T
---:-- / 16
T
T
---:-M / 16
DNF

0
T
T
---:-- / 16
18

T (expected value)

3.25 (confidence rate)

DNC DNF

0
T
T
---:PM / 16
T
T
---:-- / 16
DNF

0
T
T
---:-- / 16
T
T
---:-- / 16
DNF

0
T
T
---:-- / 16
22

T (expected value)

2.46 (confidence rate)

DNC DNF

0
T
T
---:PM / 16
?
-
---:-- / 0
CC

0
T
T
---:-- / 16
T
T
---:-- / 16
DNF

0
T
T
---:-- / 16
28

T (expected value)

2.46 (confidence rate)

DNC DNF

0
T
T
---:PM / 16
?
-
---:-- / 0
CC

0
T
T
---:-- / 16
T
T
---:-- / 16
DNF

0
T
T
---:-- / 16
32

T (expected value)

2.46 (confidence rate)

DNC DNF

0
T
T
---:PM / 16
?
-
---:-- / 0
CC

0
T
T
---:-- / 16
T
T
---:-- / 16
DNF

0
T
T
---:-- / 16
Railroad — P/T
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 34 32 54 32 32 32 34 32 50
Bonuses 2 0 6 0 0 0 2 0 2
Scores 32 32 48 32 32 32 32 32 48
005

F (expected value)

6.21 (confidence rate)

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

F (expected value)

6.21 (confidence rate)

F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:PM / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
020

F (expected value)

1.46 (confidence rate)

DNF

0
DNF

0
F
T
---:-M / 16
DNF

0
DNF

0
CC

0
?
-
---:-- / 0
DNF

0
F
T
---:P- / 16
050

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
DNF

0
?
?
---:-- / 0
DNF

0
CC

0
?
?
---:-- / 0
DNF

0
DNF

0
100

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
CC

0
?
?
---:-- / 0
DNF

0
DNF

0
ResAllocation — P/T
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 268 208 258 240 240 240 254 192 240
Bonuses 28 0 18 0 0 0 14 0 0
Scores 240 208 240 240 240 240 240 192 240
R002C002

T (expected value)

6.21 (confidence rate)

T
T
---:P- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-M / 16
T
T
---:-- / 16
T
T
---:-- / 16
R003C002

T (expected value)

6.21 (confidence rate)

T
T
---:PM / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
R003C003

T (expected value)

6.21 (confidence rate)

T
T
---:P- / 16
T
T
---:-- / 16
T
T
---:-M / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
R003C005

T (expected value)

6.21 (confidence rate)

T
T
---:P- / 16
T
T
---:-- / 16
T
T
---:-M / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
R003C010

T (expected value)

6.21 (confidence rate)

T
T
---:P- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-M / 16
T
T
---:-- / 16
T
T
---:-- / 16
R003C015

T (expected value)

6.21 (confidence rate)

T
T
---:P- / 16
T
T
---:-- / 16
T
T
---:-M / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
R003C020

T (expected value)

6.21 (confidence rate)

T
T
---:P- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-M / 16
T
T
---:-- / 16
T
T
---:-- / 16
R003C050

T (expected value)

5.77 (confidence rate)

T
T
---:P- / 16
T
T
---:-- / 16
T
T
---:-M / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
DNF

0
T
T
---:-- / 16
R003C100

T (expected value)

5.77 (confidence rate)

T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:PM / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
DNF

0
T
T
---:-- / 16
R005C002

T (expected value)

6.21 (confidence rate)

T
T
---:P- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-M / 16
T
T
---:-- / 16
T
T
---:-- / 16
R010C002

T (expected value)

6.21 (confidence rate)

T
T
---:PM / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
R015C002

T (expected value)

6.21 (confidence rate)

T
T
---:P- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-M / 16
T
T
---:-- / 16
T
T
---:-- / 16
R020C002

T (expected value)

6.21 (confidence rate)

T
T
---:P- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-M / 16
T
T
---:-- / 16
T
T
---:-- / 16
R050C002

T (expected value)

5.59 (confidence rate)

T
T
---:-- / 16
DNF

0
T
T
---:P- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-M / 16
T
T
---:-- / 16
T
T
---:-- / 16
R100C002

T (expected value)

5.14 (confidence rate)

T
T
---:-- / 16
DNF

0
T
T
---:PM / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
DNF

0
T
T
---:-- / 16
Ring — P/T
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 0 0 16 18 0 0 0 18
Bonuses 0 0 0 0 2 0 0 0 2
Scores 0 0 0 16 16 0 0 0 16
none

F (expected value)

2.20 (confidence rate)

CC

0
DNF

0
?
-
---:-- / 0
F
T
---:-- / 16
F
T
---:P- / 16
DNF

0
?
-
---:-- / 0
DNF

0
F
T
---:-M / 16
RwMutex — P/T
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 238 128 160 96 128 192 194 80 176
Bonuses 46 0 0 0 0 0 2 0 0
Scores 192 128 160 96 128 192 192 80 176
r0010w0010

F (expected value)

6.21 (confidence rate)

F
T
---:PM / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
r0010w0020

F (expected value)

6.21 (confidence rate)

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

F (expected value)

6.21 (confidence rate)

F
T
---:PM / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
r0010w0100

F (expected value)

6.21 (confidence rate)

F
T
---:PM / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
r0010w0500

F (expected value)

5.77 (confidence rate)

F
T
---:PM / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
DNF

0
F
T
---:-- / 16
r0010w1000

F (expected value)

4.98 (confidence rate)

F
T
---:PM / 16
F
T
---:-- / 16
F
T
---:-- / 16
DNF

0
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
DNF

0
F
T
---:-- / 16
r0010w2000

F (expected value)

4.00 (confidence rate)

F
T
---:PM / 16
F
T
---:-- / 16
DNF

0
DNF

0
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
DNF

0
F
T
---:-- / 16
r0020w0010

F (expected value)

6.21 (confidence rate)

F
T
---:PM / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
r0100w0010

F (expected value)

3.43 (confidence rate)

F
T
---:PM / 16
DNF

0
F
T
---:-- / 16
?
-
---:-- / 0
CC

0
F
T
---:-- / 16
F
T
---:-- / 16
DNF

0
F
T
---:-- / 16
r0500w0010

F (expected value)

3.43 (confidence rate)

F
T
---:PM / 16
DNF

0
F
T
---:-- / 16
?
-
---:-- / 0
CC

0
F
T
---:-- / 16
F
T
---:-- / 16
DNF

0
F
T
---:-- / 16
r1000w0010

F (expected value)

3.43 (confidence rate)

F
T
---:PM / 16
DNF

0
F
T
---:-- / 16
?
-
---:-- / 0
CC

0
F
T
---:-- / 16
F
T
---:-- / 16
DNF

0
F
T
---:-- / 16
r2000w0010

F (expected value)

1.97 (confidence rate)

F
T
---:PM / 16
DNF

0
DNF

0
?
-
---:-- / 0
CC

0
F
T
---:-- / 16
F
T
---:-- / 16
DNF

0
DNF

0
SharedMemory — Colored
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 0 0 0 60 0 0 0 0
Bonuses 0 0 0 0 12 0 0 0 0
Scores 0 0 0 0 48 0 0 0 0
000005

F (expected value)

0.92 (confidence rate)

DNC DNC DNC CC

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

F (expected value)

0.92 (confidence rate)

DNC DNC DNC CC

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

F (expected value)

0.92 (confidence rate)

DNC DNC DNC CC

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

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
000100

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
000200

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
000500

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
001000

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
002000

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
CC

0
DNC DNC DNC DNC
005000

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
CC

0
DNC DNC DNC DNC
010000

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
CC

0
DNC DNC DNC DNC
020000

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
CC

0
DNC DNC DNC DNC
050000

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
CC

0
DNC DNC DNC DNC
100000

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
CC

0
DNC DNC DNC DNC
SharedMemory — P/T
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 120 32 48 32 48 32 32 16 48
Bonuses 24 0 0 0 0 0 0 0 0
Scores 96 32 48 32 48 32 32 16 48
000005

F (expected value)

6.21 (confidence rate)

F
T
---:PM / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
000010

F (expected value)

5.77 (confidence rate)

F
T
---:PM / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
DNF

0
F
T
---:-- / 16
000020

F (expected value)

3.35 (confidence rate)

F
T
---:PM / 16
DNF

0
F
T
---:-- / 16
DNF

0
F
T
---:-- / 16
DNF

0
?
-
---:-- / 0
DNF

0
F
T
---:-- / 16
000050

F (expected value)

0.97 (confidence rate)

F
T
---:PM / 16
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
?
-
---:-- / 0
DNF

0
DNF

0
000100

F (expected value)

0.97 (confidence rate)

F
T
---:PM / 16
CC

0
DNF

0
DNF

0
DNF

0
DNF

0
?
-
---:-- / 0
DNF

0
DNF

0
000200

F (expected value)

0.97 (confidence rate)

F
T
---:PM / 16
DNF

0
?
-
---:-- / 0
DNF

0
DNF

0
CC

0
CC

0
CC

0
CC

0
SimpleLoadBal — Colored
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 0 0 0 60 0 0 0 0
Bonuses 0 0 0 0 12 0 0 0 0
Scores 0 0 0 0 48 0 0 0 0
02

F (expected value)

0.92 (confidence rate)

DNC CC

0
DNC CC

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

F (expected value)

0.92 (confidence rate)

DNC CC

0
DNC CC

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

F (expected value)

0.92 (confidence rate)

DNC CC

0
DNC CC

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

? (expected value)

0 (confidence rate)

DNC CC

0
DNC CC

0
DNF

0
DNC DNC DNC DNC
20

? (expected value)

0 (confidence rate)

DNC CC

0
DNC CC

0
DNF

0
DNC DNC DNC DNC
SimpleLoadBal — P/T
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 38 32 54 48 48 32 32 32 48
Bonuses 6 0 6 0 0 0 0 0 0
Scores 32 32 48 48 48 32 32 32 48
02

F (expected value)

6.21 (confidence rate)

F
T
---:PM / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
05

F (expected value)

6.21 (confidence rate)

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

F (expected value)

3.18 (confidence rate)

DNF

0
DNF

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

0
?
-
---:-- / 0
DNF

0
F
T
---:-- / 16
15

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
CC

0
?
?
---:-- / 0
DNF

0
DNF

0
20

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
CC

0
?
?
---:-- / 0
DNF

0
DNF

0
Solitaire — P/T
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 16 104 96 16 96 112 96 96
Bonuses 0 0 8 0 0 0 16 0 0
Scores 0 16 96 96 16 96 96 96 96
EngCT7x7

T (expected value)

3.69 (confidence rate)

DNC DNF

0
T
T
---:P- / 16
T
T
---:-- / 16
DNF

0
T
T
---:-- / 16
T
T
---:-M / 16
T
T
---:-- / 16
T
T
---:-- / 16
EngNC7x7

T (expected value)

3.69 (confidence rate)

DNF

0
DNF

0
T
T
---:P- / 16
T
T
---:-- / 16
DNF

0
T
T
---:-- / 16
T
T
---:-M / 16
T
T
---:-- / 16
T
T
---:-- / 16
FrnCT7x7

T (expected value)

3.69 (confidence rate)

DNC DNF

0
T
T
---:P- / 16
T
T
---:-- / 16
CC

0
T
T
---:-- / 16
T
T
---:-M / 16
T
T
---:-- / 16
T
T
---:-- / 16
FrnNC7x7

T (expected value)

3.69 (confidence rate)

DNF

0
DNF

0
T
T
---:P- / 16
T
T
---:-- / 16
CC

0
T
T
---:-- / 16
T
T
---:-M / 16
T
T
---:-- / 16
T
T
---:-- / 16
SqrCT5x5

T (expected value)

4.31 (confidence rate)

DNC T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
DNF

0
T
T
---:-- / 16
T
T
---:PM / 16
T
T
---:-- / 16
T
T
---:-- / 16
SqrNC5x5

T (expected value)

4.62 (confidence rate)

DNF

0
DNF

0
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:PM / 16
T
T
---:-- / 16
T
T
---:-- / 16
TokenRing — Colored
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 0 0 0 60 0 0 0 0
Bonuses 0 0 0 0 12 0 0 0 0
Scores 0 0 0 0 48 0 0 0 0
005

F (expected value)

0.92 (confidence rate)

DNC DNC DNC CC

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

F (expected value)

0.92 (confidence rate)

DNC DNC DNC CC

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

F (expected value)

0.92 (confidence rate)

DNC DNC DNC CC

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

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
030

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
040

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
050

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
100

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
DNF

0
DNC DNC DNC DNC
200

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
CC

0
DNC DNC DNC DNC
500

? (expected value)

0 (confidence rate)

DNC DNC DNC CC

0
CC

0
DNC DNC DNC DNC
TokenRing — P/T
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 58 16 34 48 48 32 32 32 32
Bonuses 10 0 2 0 0 0 0 0 0
Scores 48 16 32 48 48 32 32 32 32
005

F (expected value)

6.21 (confidence rate)

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

F (expected value)

5.59 (confidence rate)

F
T
---:PM / 16
CC

0
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
015

F (expected value)

2.69 (confidence rate)

F
T
---:PM / 16
CC

0
DNF

0
F
T
---:-- / 16
F
T
---:-- / 16
CC

0
?
-
---:-- / 0
DNF

0
DNF

0
020

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
?
?
---:-- / 0
DNF

0
DNF

0
030

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNF

0
DNF

0
DNF

0
CC

0
?
?
---:-- / 0
DNF

0
DNF

0
040

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNF

0
?
?
---:-- / 0
DNF

0
CC

0
?
?
---:-- / 0
DNF

0
DNF

0
050

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNF

0
?
?
---:-- / 0
DNF

0
CC

0
?
?
---:-- / 0
DNF

0
DNF

0
UtahNoC — P/T
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 20 0 0 16 0 0 0 16
Bonuses 0 4 0 0 0 0 0 0 0
Scores 0 16 0 0 16 0 0 0 16
none

F (expected value)

2.03 (confidence rate)

CC

0
F
T
---:PM / 16
DNF

0
DNF

0
F
T
---:-- / 16
CC

0
?
-
---:-- / 0
DNF

0
F
T
---:-- / 16
Vasy2003 — P/T
  Cunf GreatSPN-Meddly LoLA2.0 LTSMin Marcie TAPAAL(MC) TAPAAL(SEQ) TAPAAL-OTF(PAR) TAPAAL-OTF(SEQ)
Total 0 0 0 0 18 0 0 0 18
Bonuses 0 0 0 0 2 0 0 0 2
Scores 0 0 0 0 16 0 0 0 16
none

F (expected value)

1.41 (confidence rate)

CC

0
DNF

0
DNF

0
DNF

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

0
?
-
---:-- / 0
DNF

0
F
T
---:-M / 16